244400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command13518947699441235677.key
244401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 505.03ns
244402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
248574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s
248605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13518947699441235677.key
248608 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
248610 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
248650 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
248671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command3347180576417150643.key
248671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 473.23ns
248672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
252903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s
252933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3347180576417150643.key
252935 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
252936 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
252953 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''