Standard output
189474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command3066227940611958469.key
189475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 524.4ns
189476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
192744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
192780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3066227940611958469.key
192782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
192783 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
192827 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
192841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command3865052965161971289.key
192842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 531.61ns
192843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
196148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s
196180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3865052965161971289.key
196186 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
196187 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
196216 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''