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