[02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c]
(1) CC0CCN0.1.2C3CCN4C2.4C0.4    -    CCpCCNpqrCsCCNtCrtCpt    -    (0\imply((\not0\imply1)\imply2))\imply(3\imply((\not4\imply(2\imply4))\imply(0\imply4)))
#removals;1:0,3:0,5:0,7:0,9:0,11:0,13:0,15:0,17:1,19:2,21:2,23:2,25:1,27:2,29:1,31:3,33:11,35:19,37:22,39:28,41:28,43:31,45:39,47:55,49:86,51:125,53:169,55:214,57:258,59:295,61:386,63:534,65:748,67:1014,69:1388,71:1759,73:2141,75:2672,77:3403,79:4455,81:6012,83:8059,85:10536,87:13375,89:16601,91:20714,93:26285,95:34139,97:44769,99:58832,101:76284,103:97164,105:122355,107:153738,109:194880,111:250893,113:326218,115:423787,117:546877,119:698282,121:884751,123:1119518,125:1424696,127:1827997,129:2358256,131:3044205,133:3913588,135:5001838,137:6364145,139:8096264
