280665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props5611133673088676546.key
280666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 764.31ns
280667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
285259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s
285287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props5611133673088676546.key
285289 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
285290 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
285295 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
285296 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>''
285298 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4''
285309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props9885719606469464881.key
285309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.3ns
285310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
289939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s
289968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props9885719606469464881.key
289970 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
289971 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
289975 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
289975 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''
289978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props8792899653470614158.key
289978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.7ns
289985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
294694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s
294716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props8792899653470614158.key
294719 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
294719 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft'
294720 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
294721 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)]
294723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props4149435147574297814.key
294723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.9ns
294724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
299305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s
299332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props4149435147574297814.key
299344 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
299354 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
299409 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"'
299421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props2476066284277067165.key
299423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.19ms
299426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
304089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s
304112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2476066284277067165.key
304115 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
304116 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
304128 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"'
304132 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props17087588772956975389.key
304132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 435.8ns
304134 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
308819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s
308840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props17087588772956975389.key
308843 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
308844 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight'
308849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props12124089944920484606.key
308850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.14ms
308852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
313492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s
313514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props12124089944920484606.key
313516 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
313517 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
313521 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"'
313521 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
313521 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b]