Exception in thread "Thread-0" java.lang.OutOfMemoryError
	at java.lang.AbstractStringBuilder.hugeCapacity(AbstractStringBuilder.java:161)
	at java.lang.AbstractStringBuilder.newCapacity(AbstractStringBuilder.java:155)
	at java.lang.AbstractStringBuilder.ensureCapacityInternal(AbstractStringBuilder.java:125)
	at java.lang.AbstractStringBuilder.append(AbstractStringBuilder.java:448)
	at java.lang.StringBuffer.append(StringBuffer.java:263)
	at com.nti.proof.Proof.printIfVerbose(Proof.java:228)
	at com.nti.program.LP.TOPLAS06.LP_TOPLAS06.proveNonTermination(LP_TOPLAS06.java:183)
	at com.nti.program.LP.LP.proveTermination(LP.java:223)
	at com.nti.proof.Prover.run(Prover.java:90)