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