Standard output
187679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command2216642478291903723.key
187680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.4ns
187681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
190835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s
190870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2216642478291903723.key
190872 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
190873 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
190903 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
190914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command15806343101389295342.key
190914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.1ns
190915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
193987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s
194019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15806343101389295342.key
194021 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
194022 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
194035 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''