blob: fbeb40bc4ba3e4189aa1038cf2a7aacd8f18b894 [file] [edit]
hi!
<stdin>:1:0: warning: using 'exit' to interrupt Lean
1
0
"ho!\n"
"hu!\n"
flush of broken pipe failed
100001
100000
0
0
0
0