282467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command9967326788573510260.key
282467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.7ns
282468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
287308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s
287346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9967326788573510260.key
287349 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
287350 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
287395 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
287418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command15597407334667201151.key
287418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.9ns
287419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
292384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s
292419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15597407334667201151.key
292422 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
292422 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
292444 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''