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