Fix threephase init status after file loading

Author: Gregor Billing

threephase/src/main/java/cs/threephase/Tools.java

@@ -58,6 +58,7 @@ public synchronized static void initFrom(DataInput in) throws IOException {
 		Edge3.initMvrot();
 		Edge3.initRaw2Sym();
 		read(Edge3.eprun, in);
+		Edge3.done = Edge3.prunValues[Edge3.MAX_DEPTH - 1];
 
 		System.out.println("OK");