301894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6530811033012936121.key
301894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 650.8ns
301894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
306843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s
306890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6530811033012936121.key
306890 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns
306890 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
306974 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
307005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11232534491713968851.key
307005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 699ns
307005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
311976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s
312007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11232534491713968851.key
312023 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
312023 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
312054 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''