func main() var N: int :: cui@input().toInt(&) var ans: []char :: N % 2 = 0 ?("1".repeat(N / 2), "7" ~ "1".repeat(N / 2 - 1)) do cui@print("\{ans}\n") end func