281672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2930580989455984907.key
281672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.5ns
281672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
286425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s
286472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2930580989455984907.key
286472 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
286472 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
286566 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
286597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9469814890133853806.key
286597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.1ns
286597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
291414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s
291445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9469814890133853806.key
291461 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns
291461 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
291476 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''