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