Standard output
292836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8013406325810721518.key
292836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.2ns
292836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
297777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s
297840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8013406325810721518.key
297840 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
297840 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
297934 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
297965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9001358167648519260.key
297965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.9ns
297965 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
303000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s
303047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9001358167648519260.key
303062 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
303062 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
303093 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''