Standard output
238382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command4543874261766495869.key
238382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.5ns
238382 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
242307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s
242354 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command4543874261766495869.key
242354 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.6ns
242354 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
242432 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
242479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10834777552066282911.key
242479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.8ns
242479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
246451 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s
246483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10834777552066282911.key
246498 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
246498 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
246514 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''