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