236841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command16858490540408955148.key
236841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.2ns
236841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
240856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s
240903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16858490540408955148.key
240903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
240903 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
240965 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
241001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8149058963641931075.key
241001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.6ns
241003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
245068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s
245130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8149058963641931075.key
245137 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
245139 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
245183 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''