Id If Then
21
24 ( ∧ )
50 ( ∧ )
93
199
201 ( ∧ )
271
275 ( ∧ ∧ )
404 ( ∧ ∧ )
409 ( ∧ )
417 ( ∧ )