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