Standard output
164182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command7985283510462052523.key
164182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.8ns
164182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
166919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s
166950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command7985283510462052523.key
166950 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
166950 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
166997 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
168076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command10820500893927922046.key
168076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.5ns
168076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
170749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
170780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command10820500893927922046.key
170780 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
170780 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
170811 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''