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