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