[52436f9e87daeb2c361a73a9f389b061258328e641f750b1767addf7]
(1) C0C1.0              -    CpCqp            -    0\imply(1\imply0)
(2) CC0C1.2CC0.1C0.2    -    CCpCqrCCpqCpr    -    (0\imply(1\imply2))\imply((0\imply1)\imply(0\imply2))
(3) CCN0N1C1.0          -    CCNpNqCqp        -    (\not0\imply\not1)\imply(1\imply0)
#removals;1:0,3:0,5:3,7:6,9:24,11:59,13:171,15:504,17:1428,19:4141,21:12115,23:35338,25:104815,27:310497,29:926015,31:2782763,33:8374498