Standard output
243980 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command373920187340023973.key
243981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 598.4ns
243985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
247968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s
247999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command373920187340023973.key
248015 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
248015 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
248079 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
248103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8041732929028506813.key
248103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.9ns
248103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
252116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s
252148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8041732929028506813.key
252163 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
252163 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
252194 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''