Standard output
185804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7971327287796085596.key
185804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.7ns
185804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
188898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s
188929 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7971327287796085596.key
188944 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
188944 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
188991 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
189007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9504724380117994142.key
189007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.2ns
189007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
192202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s
192234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9504724380117994142.key
192249 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
192249 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
192280 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''