CRLF to LF
Various fixes to output format

InverseCheck needs more testing. Also, I don't remember how it works.