250281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6384721629025494311.key
250281 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.2ns
250296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
254510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s
254557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6384721629025494311.key
254557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
254572 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
254650 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
254682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1798675962970176165.key
254682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.7ns
254682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
258918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s
258966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1798675962970176165.key
258981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
258981 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
259028 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''