Standard output
151140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command18339367046052491644.key
151141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 510ns
151150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
153893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s
153925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command18339367046052491644.key
153928 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
153928 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
153956 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
153967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command45676360945610634.key
153967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.7ns
153969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
156598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s
156626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command45676360945610634.key
156628 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns
156629 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
156645 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''