278566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10652086742498554036.key
278566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.6ns
278581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
283296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s
283343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10652086742498554036.key
283359 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
283359 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
283421 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
283452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6867208981604708896.key
283452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.5ns
283452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
288250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s
288281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6867208981604708896.key
288297 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
288485 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
288527 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''