297701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13169799502916370048.key
297701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.87ms
297701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
302555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s
302602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13169799502916370048.key
302617 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
302617 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
302711 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
302742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command16643201198851063561.key
302742 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 321.1ns
302742 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
307708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s
307755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16643201198851063561.key
307770 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
307770 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
307802 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''