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