Standard output
173757 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command1045464110770784726.key
173757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.2ns
173758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
176721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s
176752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1045464110770784726.key
176754 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
176755 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
176776 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
176788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command15045721661567829726.key
176788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.4ns
176789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
179727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s
179761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15045721661567829726.key
179763 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns
179763 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
179775 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''