301275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5947131064960782957.key
301275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.3ns
301291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
306280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s
306327 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5947131064960782957.key
306342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
306342 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
306405 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
306452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4594015967071913357.key
306452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 380.6ns
306452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
311475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s
311506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4594015967071913357.key
311521 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
311521 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
311553 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''