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