Standard output
212383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10196985133110020490.key
212383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 569.6ns
212383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
215966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s
215997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10196985133110020490.key
216013 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
216013 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
216075 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
216091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command15402875609346625555.key
216091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.4ns
216091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
219624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s
219671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command15402875609346625555.key
219671 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
219687 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
219702 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''