Standard output
159440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2671505624200234912.key
159440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200ns
159440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
162152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
162200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2671505624200234912.key
162200 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
162200 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
162246 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
162278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8943011367602707640.key
162278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.5ns
162278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
164992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
165024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8943011367602707640.key
165024 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns
165024 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
165102 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''