297467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props15874377595127982972.key
297468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.91ns
297470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
302507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s
302541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props15874377595127982972.key
302544 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
302545 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
302550 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
302552 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>''
302554 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4''
302564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props6471096458815241776.key
302565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 295.4ns
302566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
307875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s
307900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props6471096458815241776.key
307903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
307904 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
307909 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
307910 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''
307914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props14923739868619943380.key
307915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 352.01ns
307917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
313233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s
313257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props14923739868619943380.key
313260 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
313260 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft'
313262 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
313262 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)]
313265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props5197062803655054691.key
313265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.8ns
313266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
318460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s
318483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5197062803655054691.key
318485 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
318486 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
318496 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"'
318499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props12172822632438475022.key
318499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.3ns
318501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
323624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s
323649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12172822632438475022.key
323651 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns
323652 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
323669 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"'
323673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props13519282386765535908.key
323673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.3ns
323674 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
328970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s
328991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props13519282386765535908.key
328993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
328994 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight'
328998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props17030108915053020585.key
328998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116ns
328999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
334070 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s
334093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props17030108915053020585.key
334096 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
334098 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
334103 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"'
334104 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
334104 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b]