$use Convert StdIO; Main = { >; ; }, { >; ; }, { >; ; }, { >; ; }, { >; ; }, { >; ; }, { >; ; }, { >; ; };