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