Build Number: 4d3b9de
Project Version: 0.28.17
Build Date: 2023-01-15T07:04:21Z

package-info.class: 125
EOstdin$EOnext_line.class: 1857
EOstdin$EOφ.class: 1521
EOstdout.class: 1894
EOstdin.class: 1794
Input.class: 1338
