859.33/223.10	java.util.concurrent.ExecutionException: java.lang.OutOfMemoryError: GC overhead limit exceeded
859.33/223.10		at java.util.concurrent.FutureTask.report(FutureTask.java:122)
859.33/223.10		at java.util.concurrent.FutureTask.get(FutureTask.java:192)
859.33/223.10		at de.dieter_hofbauer.ParallelProofStep.applyTyped(ParallelProofStep.java:143)
859.33/223.10		at de.dieter_hofbauer.ParallelProofStep.apply(ParallelProofStep.java:102)
859.33/223.10		at de.dieter_hofbauer.MultumNonMulta.main(MultumNonMulta.java:246)
859.33/223.10	Caused by: java.lang.OutOfMemoryError: GC overhead limit exceeded
859.33/223.10		at java.lang.AbstractStringBuilder.<init>(AbstractStringBuilder.java:68)
859.33/223.10		at java.lang.StringBuilder.<init>(StringBuilder.java:112)
859.33/223.10		at de.dieter_hofbauer.RewriteStep.apply(RewriteStep.java:63)
859.33/223.10		at de.dieter_hofbauer.Derivation.<init>(Derivation.java:71)
859.33/223.10		at de.dieter_hofbauer.ForwardOptimizedExpander.expand(Expander.java:171)
859.33/223.10		at de.dieter_hofbauer.Derivations$1.next(Derivations.java:105)
859.33/223.10		at de.dieter_hofbauer.Derivations$1.next(Derivations.java:1)
859.33/223.10		at de.dieter_hofbauer.LoopFinder.call(LoopFinder.java:180)
859.33/223.10		at de.dieter_hofbauer.LoopFinderProofStep.searchLoopSequentially(LoopFinderProofStep.java:309)
859.33/223.10		at de.dieter_hofbauer.LoopFinderProofStep.apply(LoopFinderProofStep.java:161)
859.33/223.10		at de.dieter_hofbauer.ParallelProofStep.lambda$0(ParallelProofStep.java:136)
859.33/223.10		at de.dieter_hofbauer.ParallelProofStep$$Lambda$11/495053715.call(Unknown Source)
859.33/223.10		at java.util.concurrent.FutureTask.run(FutureTask.java:266)
859.33/223.10		at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
859.33/223.10		at java.util.concurrent.FutureTask.run(FutureTask.java:266)
859.33/223.10		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
859.33/223.10		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
859.33/223.10		at java.lang.Thread.run(Thread.java:748)
859.33/223.10	Exception in thread "main" java.lang.NullPointerException
859.33/223.10		at de.dieter_hofbauer.ParallelProofStep.applyTyped(ParallelProofStep.java:147)
859.33/223.10		at de.dieter_hofbauer.ParallelProofStep.apply(ParallelProofStep.java:102)
859.33/223.10		at de.dieter_hofbauer.MultumNonMulta.main(MultumNonMulta.java:246)
864.30/228.05	EOF