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