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