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