!.def

[7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69]
(1) CCC0.1CCCN2N3.2.4CC4.0C3.0    -    CCCpqCCCNrNsrtCCtpCsp    -    ((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:2,13:1,15:4,17:10,19:14,21:22,23:31,25:54,27:90,29:157,31:255,33:437,35:701,37:1144,39:1767,41:2719,43:4081,45:6112,47:9069,49:13547,51:20148,53:30296,55:45109,57:67733,59:100916,61:151189,63:225369,65:337556,67:503710,69:754964,71:1127730,73:1691484,75:2529076,77:3795683,79:5681764,81:8533114
#iterations;1:1,3:1,5:2,7:5,9:10,11:22,13:38,15:71,17:118,19:202,21:334,23:569,25:950,27:1592,29:2608,31:4241,33:6762,35:10683,37:16666,39:25862,41:39912,43:61603,45:94986,47:146305,49:224682,51:343672,53:523454,55:794596,57:1203760,59:1822563,61:2759474,63:4180702,65:6335388,67:9603788,69:14556142,71:22063703,73:33439008,75:50690848,77:76854816,79:116576814,81:176882404,83:268514198
#iterations-unfiltered83+;85:433296910,87:692467431,89:1120159490,91:1817170079,93:2979484674,95:4844444054,97:7912094178