261574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props6351884970611071542.key
261574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 593.4ns
261576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
265977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s
266013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props6351884970611071542.key
266019 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
266020 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
266030 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
266032 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==>''
266038 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [4] goal: 4, source line: 4, command: 'unhide '==> 3=4''
266054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props9322581615358833814.key
266055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.28ms
266057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
270586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s
270610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props9322581615358833814.key
270614 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
270615 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule impRight'
270618 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide '2=3 ==> 3=4''
270620 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 3, source line: 3, command: 'unhide '2=3 ==> 3=4''
270624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props2531613917928434321.key
270624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.4ns
270625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
275178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s
275202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props2531613917928434321.key
275204 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.5ns
275205 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andLeft'
275206 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
275207 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)]
275209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props3941777067147702281.key
275209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.5ns
275210 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
279837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s
279860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props3941777067147702281.key
279862 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
279863 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
279872 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 2, command: 'select formula="b"'
279875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props16212038270350334472.key
279876 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.8ns
279877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
284660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s
284682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props16212038270350334472.key
284684 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
284685 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
284704 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 5, source line: 2, command: 'hide "a ==> d, e"'
284710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props1435725227786534564.key
284710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.9ns
284712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
289507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s
289529 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props1435725227786534564.key
289531 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
289532 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'rule andRight'
289536 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props1546874393610455596.key
289537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 550.7ns
289538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
294224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s
294250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1546874393610455596.key
294252 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
294253 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro split-prop'
294257 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 2, command: 'hide "b ==>"'
294258 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1
294258 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b]