Standard output
183424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command17249107104681839651.key
183424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.1ns
183425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
186632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
186667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17249107104681839651.key
186674 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
186674 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
186705 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
186719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command382452928542070465.key
186720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.11ns
186721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
189917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s
189951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command382452928542070465.key
189953 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
189954 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
189966 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''