283135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props16896952985486266743.key
283136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms
283138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
287584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s
287615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props16896952985486266743.key
287620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
287622 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
287633 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
287635 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>''
287642 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4''
287654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props6083680587687671452.key
287655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 454.5ns
287656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
292338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s
292363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props6083680587687671452.key
292375 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
292377 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
292389 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
292390 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''
292395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props11315415591872146770.key
292405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 10.47ms
292407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
297348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s
297374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props11315415591872146770.key
297376 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
297377 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft'
297378 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
297378 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)]
297381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props10652153483364033990.key
297381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.9ns
297382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
302272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s
302296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props10652153483364033990.key
302298 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
302299 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
302309 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"'
302312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props9292500003190622309.key
302312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.8ns
302313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
307170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s
307195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props9292500003190622309.key
307198 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
307206 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
307233 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"'
307245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props9995027966661231616.key
307245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.4ns
307247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
312248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s
312270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props9995027966661231616.key
312272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
312273 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight'
312277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props4192360193072315264.key
312277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.8ns
312278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
317066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s
317087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4192360193072315264.key
317089 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns
317090 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
317094 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"'
317095 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
317095 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b]