inference2-just.trig d13-1 d13-2 id changed to d131 d132 because
liveservice doesn't accept - in ids