298867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11949815950339799792.key
298867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.6ns
298867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
303841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s
303888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11949815950339799792.key
303888 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
303904 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
303986 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
304012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9436994301265114340.key
304012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 355.7ns
304012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
308990 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s
309037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9436994301265114340.key
309037 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
309037 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
309099 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''