Standard output
163280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command17500934780440308397.key
163280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.6ns
163280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
165973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s
166005 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17500934780440308397.key
166020 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
166020 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
166055 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
166071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command14579582778373351667.key
166071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.4ns
166071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
168825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s
168857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command14579582778373351667.key
168857 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
168857 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
168888 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''