Standard output
152122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1902021745241874318.key
152122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 555.9ns
152122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
154743 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s
154790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1902021745241874318.key
154790 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
154790 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
154821 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
154837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13529779231859939033.key
154837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.1ns
154837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
157419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s
157450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13529779231859939033.key
157466 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
157466 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
157513 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''