Id If Then
10 ( ∧ )
56
62 ( ∧ )
65 ( ∧ )
77
132 ( ∧ )
177
181
202 ( ∧ ∧ )
219 ( ∧ )
239 ( ∧ ∧ ∧ )
264
265 ( ∧ )
407
409 ( ∧ )