LLP + LINEAR + LOGIC = PROLOG 112 + 189470 + 16583 = 206165