Standard output
160806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13355966288602209693.key
160806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 563.4ns
160806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
163515 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
163562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13355966288602209693.key
163562 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns
163562 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
163608 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
163624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command2442678561838517795.key
163624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.2ns
163624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
166330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
166377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command2442678561838517795.key
166377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.2ns
166377 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
166423 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''