def a:=["def a:=", "def main:=IO.println s!\"{a.head (by decide)}{a.map λx↦s!\"\\\"{x.replace \"\\\\\" \"\\\\\\\\\"|>.replace \"\\\"\" \"\\\\\\\"\"}\\\"\"}{a.tail.head (by decide)}\""]def main:=IO.println s!"{a.head (by decide)}{a.map λx↦s!"\"{x.replace "\\" "\\\\"|>.replace "\"" "\\\""}\""}{a.tail.head (by decide)}"