Standard output
183877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14797468219701231212.key
183877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 717.3ns
183893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
187203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s
187234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14797468219701231212.key
187250 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
187250 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
187297 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' on goal 1 (script from line 1)
187312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3004372694122149998.key
187312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 510.3ns
187312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
190389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s
190420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3004372694122149998.key
190420 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
190420 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
190451 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4'' on goal 3 (script from line 1)