[478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed]
(1) CCCCC0.1CN2N3.2.4CC4.0C3.0    -    CCCCCpqCNrNsrtCCtpCsp    -    ((((0\imply1)\imply(\not2\imply\not3))\imply2)\imply4)\imply((4\imply0)\imply(3\imply0))
#removals;1:0,3:0,5:0,7:0,9:0,11:0,13:4,15:7,17:12,19:22,21:27,23:46,25:75,27:135,29:230,31:357,33:587,35:945,37:1585,39:2588,41:4144,43:6745,45:11093,47:18065,49:29426,51:47973,53:78565,55:128870,57:210642,59:345273,61:567680,63:932181,65:1531673,67:2520051,69:4149963
