245739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14950199300538517585.key
245740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.1ns
245743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
250054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s
250101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14950199300538517585.key
250101 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.3ns
250101 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
250194 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
250226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command830284915692055426.key
250226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.7ns
250226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
254480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s
254530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command830284915692055426.key
254530 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.4ns
254530 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
254574 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''