Standard output
151430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1151789278656818932.key
151430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175ns
151430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
154038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s
154070 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1151789278656818932.key
154085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
154085 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
154117 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
154226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13979070439286610667.key
154226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.2ns
154226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
156829 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s
156860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13979070439286610667.key
156860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
156860 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
156904 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''