311817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14443709828685998927.key
311817 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.4ns
311817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
317101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s
317148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14443709828685998927.key
317164 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.7ns
317164 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
317239 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
317258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8437074286696762175.key
317258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.1ns
317274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
322462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s
322509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8437074286696762175.key
322525 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
322525 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
322557 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''