299488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17291806533608443412.key
299488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.6ns
299488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
304444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s
304491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17291806533608443412.key
304506 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
304506 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
304585 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
304631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6048845471518580792.key
304631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.3ns
304631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
309493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s
309556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command6048845471518580792.key
309556 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
309556 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
309587 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''