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