Id If Then
4
76
110 ( ∧ )
386 ( ∧ )
398 ( ∧ ∧ )