244703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17620668223490596619.key
244703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.8ns
244703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
248931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s
248978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17620668223490596619.key
248978 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
248978 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
249041 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
249057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10703626737786871686.key
249057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226ns
249057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
253286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s
253333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10703626737786871686.key
253333 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
253333 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
253380 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''