300452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17080499049307350980.key
300452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.4ns
300452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
305505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s
305552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17080499049307350980.key
305552 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
305552 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
305630 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
305661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8796364056077025521.key
305661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.2ns
305677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
310734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s
310781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8796364056077025521.key
310796 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
310796 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
310846 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''