Standard output
192122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5879781248800880116.key
192122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 721.4ns
192294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
195586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
195618 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5879781248800880116.key
195618 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
195633 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
195696 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' on goal 1 (script from line 1)
195727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17280986725268628794.key
195727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.8ns
195727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
198978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s
199025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17280986725268628794.key
199025 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
199025 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
199041 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4'' on goal 3 (script from line 1)