301695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props9985764712838905226.key
301696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 756.41ns
301698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
306689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s
306734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props9985764712838905226.key
306741 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
306742 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
306754 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
306756 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>''
306759 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4''
306769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props17785970199208088091.key
306770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 671.61ns
306772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
311972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s
312002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props17785970199208088091.key
312005 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
312006 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
312014 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
312015 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''
312021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props16371616032305687948.key
312021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 655.91ns
312023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
317213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s
317244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props16371616032305687948.key
317246 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
317247 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft'
317248 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
317249 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)]
317251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props8243898912440063836.key
317252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.6ns
317253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
322368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s
322398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props8243898912440063836.key
322400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 28.3ns
322401 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
322411 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"'
322414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props5326942795592557097.key
322415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118ns
322416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
327464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s
327486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props5326942795592557097.key
327488 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
327489 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
327501 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"'
327505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props9355691192865272618.key
327505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.4ns
327506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
332668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s
332695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props9355691192865272618.key
332697 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
332698 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight'
332703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props10412919171678740942.key
332703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.3ns
332704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
337735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s
337757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props10412919171678740942.key
337759 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
337759 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
337764 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"'
337765 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
337765 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b]