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