Standard output
157767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17813695896591807339.key
157767 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.5ns
157767 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
160355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s
160402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17813695896591807339.key
160402 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
160402 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
160449 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
160471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7940808518431946854.key
160471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.9ns
160471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
163121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s
163153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7940808518431946854.key
163153 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns
163153 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
163184 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''