Id If Then
43 ( ∧ )
46
47
52 ( ∧ ) ¬
108 ( ∧ )
269 ( ∧ ∧ )
396 ( ∧ )