252973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props898211992293353589.key
252973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.11ns
252974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
257255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s
257279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props898211992293353589.key
257282 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
257283 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
257287 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
257289 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>''
257290 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4''
257298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props8978714443570637544.key
257298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.91ns
257299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
261591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s
261615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props8978714443570637544.key
261621 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
261622 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
261630 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
261631 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''
261637 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props1717556365472071531.key
261637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.31ns
261638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
265975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s
265995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props1717556365472071531.key
265997 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
265998 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft'
265999 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
265999 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)]
266001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props7862741677704903210.key
266002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.81ns
266002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
270348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s
270371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props7862741677704903210.key
270374 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
270375 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
270390 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"'
270395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props6111337860358337213.key
270397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.47ms
270399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
274656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s
274676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props6111337860358337213.key
274678 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
274679 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
274689 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"'
274694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props13152075259948242553.key
274697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.35ms
274698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
278961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s
278980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props13152075259948242553.key
278982 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
278983 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight'
278987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props9186665676363446396.key
278988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.83ns
278989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
283295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s
283314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props9186665676363446396.key
283315 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
283316 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
283320 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"'
283320 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
283320 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b]