Standard output
230866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command16755698554009359973.key
230866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.8ns
230866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
234306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s
234353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16755698554009359973.key
234368 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
234368 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
234415 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
234446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17772981632798360182.key
234446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.1ns
234446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
237870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s
237917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17772981632798360182.key
237917 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
237917 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
237948 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''