Standard output
219012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6154334646046189642.key
219012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.4ns
219012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
222686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
222733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6154334646046189642.key
222733 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.5ns
222749 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
222796 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' on goal 1 (script from line 1)
222811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17835203008227356486.key
222811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403ns
222811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
226518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s
226564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17835203008227356486.key
226580 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
226580 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
226611 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4'' on goal 3 (script from line 1)