Standard output
259323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7616528282336631865.key
259323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.9ns
259323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
263732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s
263763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7616528282336631865.key
263779 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
263779 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
263841 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
263872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10755096749729766651.key
263872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.4ns
263872 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
268250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s
268297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10755096749729766651.key
268297 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
268297 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
268359 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''