225353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command114831555588296034.key
225353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.7ns
225369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
229121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s
229152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command114831555588296034.key
229168 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
229168 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
229231 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
229262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11090681545611968740.key
229262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.6ns
229262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
233061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s
233108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11090681545611968740.key
233108 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
233108 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
233139 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''