234215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command477497324228906665.key
234215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.1ns
234215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
238189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s
238236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command477497324228906665.key
238236 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
238236 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
238299 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
238320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command12789306329646681833.key
238320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.7ns
238335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
242310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s
242341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command12789306329646681833.key
242341 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
242356 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
242388 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''