255318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6360742492748541011.key
255318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251ns
255318 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
259542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s
259574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6360742492748541011.key
259589 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns
259589 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
259662 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
259687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2836393302425800932.key
259687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.7ns
259690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
263931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s
263962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2836393302425800932.key
263962 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns
263978 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
264009 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''