TLE file is saved incorrectly, after fixing it, it loads in the web version, but when verifying the proof, Aris hangs

[kovzol]

The XML file has some issues on saving, see lines n=5 and n=30. There is no error message in the web version, however, only in the JavaScript console.
After removing the erroneous characters, the file loads in the web version, but when clicking on proof checking, GNU Aris hangs.
6-xmlissue.tle.txt
6-arishangs.tle.txt