[0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314]
(1) C0CCN1CCN2.3C0.4CC4.1C2.1    -    CpCCNqCCNrsCptCCtqCrq    -    0\imply((\not1\imply((\not2\imply3)\imply(0\imply4)))\imply((4\imply1)\imply(2\imply1)))
#removals;1:0,3:0,5:0,7:0,9:0,11:1,13:4,15:5,17:16,19:34,21:82,23:128,25:218,27:378,29:608,31:995,33:1643,35:2748,37:4547,39:7630,41:12727,43:21090,45:35227,47:58017,49:96136,51:158721,53:262111,55:432102,57:711992,59:1172935,61:1930622,63:3176747
