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