Id If Then
47
49
88 ( ) ¬
89 ( ∧¬ ) ¬
280 ( )
305 ( )
426 ( )