!.def

[fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9]
(1) C0CCN1CCN2.3C4.1CC2.4C2.1    -    CpCCNqCCNrsCtqCCrtCrq    -    0\imply((\not1\imply((\not2\imply3)\imply(4\imply1)))\imply((2\imply4)\imply(2\imply1)))
#removals;1:0,3:0,5:0,7:0,9:0,11:1,13:1,15:3,17:2,19:5,21:9,23:10,25:11,27:17,29:21,31:27,33:30,35:38,37:55,39:62,41:76,43:108,45:123,47:158,49:214,51:241,53:313,55:419,57:493,59:611,61:818,63:996,65:1231,67:1584,69:1917,71:2371,73:3056,75:3697,77:4578,79:5848,81:7128,83:8741,85:11116,87:13582,89:16719,91:21154,93:25904,95:31910,97:40229,99:49441,101:60845,103:76245,105:94116,107:115887,109:144871,111:178915,113:220741,115:275135,117:340210,119:419274,121:522189,123:645923,125:796951,127:990110,129:1225551,131:1512445,133:1877420,135:2323727,137:2868956,139:3557830,141:4404759,143:5439714,145:6741506,147:8345930,149:10311828,151:12772155