Standard output
163371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command3635616101291471216.key
163372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 495.21ns
163373 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
166231 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s
166258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3635616101291471216.key
166264 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
166265 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
166305 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
166319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command9745962615701975307.key
166320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221ns
166321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
169162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s
169188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9745962615701975307.key
169190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns
169190 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
169200 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''