246785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command5538302394670854767.key
246785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.2ns
246801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
250975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s
251006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command5538302394670854767.key
251022 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
251022 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
251100 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
251116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14942295755881587376.key
251131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 317.8ns
251131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
255322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s
255369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14942295755881587376.key
255369 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
255369 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
255401 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''