Standard output
150324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3748186018255233504.key
150324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.7ns
150324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
152887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s
152918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3748186018255233504.key
152918 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
152918 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
152965 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
152981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command16542829151434258636.key
152981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.7ns
152981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
155530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s
155561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command16542829151434258636.key
155576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
155576 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
155592 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''