Standard output
184100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command93912014436664743.key
184100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.3ns
184100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
187212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s
187243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command93912014436664743.key
187259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
187259 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
187290 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
187306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10816210587114979968.key
187306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.3ns
187321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
190402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s
190434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10816210587114979968.key
190434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
190449 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
190465 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''