271235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command17962405267316314912.key
271235 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.4ns
271236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
275901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s
275943 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command17962405267316314912.key
275948 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
275949 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
276011 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 1, command: 'focus 'i=1 ==> i = 3''
276034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/key-focus-command13768119896005390972.key
276035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 695.41ns
276036 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
280584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s
280620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command13768119896005390972.key
280623 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
280624 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 1, command: 'macro 'nosplit-prop''
280643 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 3, source line: 1, command: 'focus 'i=1 ==> i = 4''