309297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props7308223657013154020.key
309298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 802.71ns
309299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
314584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s
314617 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props7308223657013154020.key
314620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 82.3ns
314620 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
314625 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
314626 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>''
314628 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4''
314638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props12121249394138069687.key
314638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.6ns
314639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
319951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s
319979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props12121249394138069687.key
319981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
319981 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
319985 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
319986 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''
319991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props10465264668263687450.key
319992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167ns
319993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
325227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s
325256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props10465264668263687450.key
325259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
325259 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft'
325261 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
325262 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)]
325264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props11281857303589868547.key
325264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114ns
325266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
330410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s
330438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props11281857303589868547.key
330440 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
330442 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
330451 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"'
330455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props5487871887430044219.key
330455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.3ns
330456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
335777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s
335803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props5487871887430044219.key
335805 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
335806 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
335819 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"'
335823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props3337542898303946182.key
335823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.6ns
335824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
341097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s
341121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props3337542898303946182.key
341123 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
341124 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight'
341127 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props14217670157479295124.key
341128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.8ns
341129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
346342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s
346365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14217670157479295124.key
346368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
346371 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
346376 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"'
346377 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
346377 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b]