284719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10310518167526692265.key
284719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.1ns
284719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
289686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s
289717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10310518167526692265.key
289732 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns
289732 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
289811 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
289842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4971834729883137491.key
289842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.1ns
289842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
294810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s
294857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4971834729883137491.key
294857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
294857 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
294904 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''