convert disprover log output to ascii