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