Standard output
157429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2808647682537839056.key
157445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.2ns
157445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
160118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
160165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2808647682537839056.key
160165 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
160165 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
160243 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
160258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3110628795297713469.key
160258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.1ns
160258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
162964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s
162995 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3110628795297713469.key
162995 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
163011 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
163027 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''