Standard output
284462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8391887405441430807.key
284462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234ns
284462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
289286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s
289333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command8391887405441430807.key
289333 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
289333 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
289411 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
289442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13081827314048251487.key
289442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.4ns
289442 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
294261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s
294293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13081827314048251487.key
294308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
294308 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
294355 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''