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