Standard output
154656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command13629102702527342965.key
154671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.73ms
154671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
157282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s
157329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13629102702527342965.key
157329 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
157329 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
157376 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
157392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command1649005356704644438.key
157392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.8ns
157392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
160033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s
160080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1649005356704644438.key
160080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
160080 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
160095 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''