Standard output
311360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2849449641649846176.key
311360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 753.1ns
311360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
316812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s
316859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2849449641649846176.key
316875 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.1ns
316875 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
316962 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
317025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4513377099887851143.key
317025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.2ns
317025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
322624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.6s
322686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4513377099887851143.key
322686 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
322686 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
322749 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''