Standard output
172184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command243213811376494701.key
172184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.6ns
172185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
175088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s
175120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command243213811376494701.key
175122 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns
175123 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
175147 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
175157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command6877675409907542973.key
175157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.5ns
175158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
178123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.96s
178188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6877675409907542973.key
178191 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
178192 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
178215 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''