[[Vecsmall([30, 40, 42, 118, 17, 38, 20, 21, 6, 32, 49, 33, 1, 34, 2, 3, 41, 23, 24, 50, 51, 52, 57, 59, 5, 10, 43, 12, 60, 45, 29, 46, 48, 65, 125, 7, 8, 44, 22, 56, 25, 58, 61, 9, 13, 26, 27, 28, 35, 36, 37, 63, 18, 19, 14, 15, 53, 16, 54, 62, 47, 31, 39, 74, 55, 90, 98, 82, 67, 75, 113, 76, 114, 115, 110, 111, 66, 92, 93, 94, 101, 102, 103, 116, 120, 68, 71, 104, 73, 107, 85, 121, 122, 4, 64, 81, 83, 100, 84, 69, 117, 86, 119, 124, 70, 72, 77, 78, 79, 105, 106, 88, 126, 127, 95, 128, 96, 80, 97, 123, 108, 109, 91, 112, 11, 87, 89, 99]), Vecsmall([56, 84, 22, 122, 19, 117, 4, 65, 96, 67, 36, 6, 15, 78, 116, 52, 54, 61, 124, 94, 34, 126, 43, 104, 24, 98, 72, 38, 46, 40, 26, 69, 9, 108, 20, 118, 55, 101, 87, 99, 59, 39, 106, 81, 2, 100, 76, 44, 50, 80, 14, 113, 47, 112, 92, 128, 27, 63, 88, 32, 111, 10, 71, 8, 121, 58, 119, 18, 97, 41, 66, 102, 1, 37, 17, 82, 16, 115, 49, 79, 85, 53, 29, 127, 48, 23, 90, 70, 30, 42, 28, 74, 11, 109, 21, 120, 60, 103, 89, 83, 91, 57, 31, 105, 25, 86, 3, 95, 35, 5, 68, 75, 77, 13, 51, 114, 123, 93, 62, 33, 64, 125, 12, 110, 7, 107, 45, 73]), Vecsmall([66, 3, 2, 65, 68, 67, 8, 7, 69, 12, 74, 10, 77, 80, 16, 15, 82, 19, 18, 21, 20, 84, 24, 23, 86, 28, 88, 26, 85, 90, 91, 33, 32, 94, 95, 37, 36, 98, 99, 42, 102, 40, 104, 100, 107, 48, 112, 46, 115, 51, 50, 116, 54, 53, 118, 58, 59, 56, 57, 120, 124, 123, 128, 125, 4, 1, 6, 5, 9, 72, 73, 70, 71, 11, 76, 75, 13, 79, 78, 14, 83, 17, 81, 22, 29, 25, 89, 27, 87, 30, 31, 93, 92, 34, 35, 97, 96, 38, 39, 44, 103, 41, 101, 43, 106, 105, 45, 109, 108, 111, 110, 47, 114, 113, 49, 52, 119, 55, 117, 60, 122, 121, 62, 61, 64, 127, 126, 63]), Vecsmall([62, 97, 96, 41, 94, 39, 24, 23, 63, 127, 104, 126, 60, 68, 119, 117, 4, 8, 7, 59, 57, 44, 21, 20, 80, 114, 74, 113, 13, 31, 45, 89, 87, 82, 112, 19, 18, 22, 38, 83, 118, 81, 115, 52, 29, 73, 64, 71, 124, 54, 53, 9, 37, 36, 86, 103, 51, 101, 50, 1, 95, 30, 6, 27, 102, 123, 99, 34, 128, 79, 28, 78, 26, 43, 93, 92, 120, 76, 75, 5, 58, 65, 56, 100, 77, 14, 48, 11, 46, 91, 107, 111, 110, 17, 47, 42, 40, 84, 98, 116, 16, 55, 15, 49, 109, 108, 85, 72, 70, 122, 121, 125, 12, 10, 61, 69, 3, 25, 2, 66, 106, 105, 90, 35, 88, 33, 32, 67]), Vecsmall([34, 108, 109, 90, 91, 104, 113, 114, 88, 53, 22, 54, 14, 13, 121, 122, 85, 32, 33, 126, 127, 11, 46, 48, 123, 57, 69, 59, 82, 65, 68, 18, 19, 1, 63, 71, 73, 124, 125, 78, 120, 79, 67, 112, 55, 23, 100, 24, 52, 87, 89, 49, 10, 12, 45, 92, 26, 93, 28, 102, 98, 86, 35, 99, 30, 94, 43, 31, 27, 101, 36, 103, 37, 84, 117, 119, 80, 40, 42, 77, 105, 29, 106, 74, 17, 62, 50, 9, 51, 4, 5, 56, 58, 66, 128, 110, 111, 61, 64, 47, 70, 60, 72, 6, 81, 83, 118, 2, 3, 96, 97, 44, 7, 8, 116, 115, 75, 107, 76, 41, 15, 16, 25, 38, 39, 20, 21, 95])], Vecsmall([4, 4, 2, 2, 2])]
