240610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14579698455597054374.key
240610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.2ns
240610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
244457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s
244503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14579698455597054374.key
244503 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
244503 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
244566 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
244598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command11911152590032798223.key
244598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 584ns
244598 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
248458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s
248505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command11911152590032798223.key
248505 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
248505 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
248562 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''