Build Number: 1210d13
Project Version: 0.25.4
Build Date: 2022-07-25T20:13:44

EOstdin$EOnext_line.class: 1973
EOstdin.class: 1794
EOstdout.class: 1894
EOstdin$EOφ.class: 2369
package-info.class: 125
