Standard output
179341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command3845193886213595532.key
179341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.4ns
179348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
182626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s
182661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3845193886213595532.key
182664 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
182666 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
182697 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3'' on goal 1 (script from line 1)
182712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command1571237499578314128.key
182712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 455.3ns
182713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
185877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s
185912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command1571237499578314128.key
185914 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
185915 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop'' on goal 0 (script from line 1)
185932 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4'' on goal 3 (script from line 1)