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