241331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4021366630240303336.key
241331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 302ns
241335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
245658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s
245689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4021366630240303336.key
245705 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
245705 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
245774 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
245806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1909131015529579102.key
245806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.7ns
245806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
250123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s
250155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1909131015529579102.key
250170 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
250170 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
250233 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''