322534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11362751176470876436.key
322534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.5ns
322534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
327931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s
327977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11362751176470876436.key
327993 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.6ns
327993 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
328074 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
328105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7485200699340488459.key
328105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.1ns
328105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
333528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s
333559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7485200699340488459.key
333574 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
333574 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
333606 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''