Standard output
189198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command14092160536810221392.key
189198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.9ns
189200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
192444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
192477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14092160536810221392.key
192480 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
192481 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
192508 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
192521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command9256965019176385447.key
192521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.8ns
192523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
195780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
195813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9256965019176385447.key
195815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns
195816 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
195830 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''