Build Number: 14f9d55
Project Version: 0.28.10
Build Date: 2022-10-10T14:05:25Z

EOstdin$EOnext_line.class: 1857
EOstdin.class: 1794
Input.class: 1338
EOstdout.class: 1894
EOstdin$EOφ.class: 1521
