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