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