296224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4949791755328061379.key
296224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.9ns
296240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
301145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s
301192 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4949791755328061379.key
301192 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
301192 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
301254 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
301287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8865380247881473308.key
301287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.8ns
301287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
306247 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s
306278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8865380247881473308.key
306294 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns
306465 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
306544 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''