Standard output
163644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command980897921355460067.key
163644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.4ns
163645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
166305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s
166334 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command980897921355460067.key
166336 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns
166337 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
166358 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
166368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command7508160971412561919.key
166368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.9ns
166369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
169197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s
169225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7508160971412561919.key
169227 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns
169228 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
169240 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''