Standard output
248097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command10863574827005603444.key
248098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 511.2ns
248099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
252356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s
252391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10863574827005603444.key
252401 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
252402 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
252450 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
252510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command15852452048252708784.key
252510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 501.7ns
252512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
256756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s
256788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15852452048252708784.key
256791 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
256792 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
256809 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''