!.def

[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
#iterations;1:1,3:1,5:2,7:3,9:8,11:21,13:40,15:69,17:126,19:247,21:442,23:756,25:1314,27:2311,29:4012,31:6851,33:11656,35:19943,37:33920,39:57366,41:96836,43:163405,45:275584,47:463792,49:779092,51:1308757,53:2198024,55:3688065,57:6183668,59:10366617,61:17377700,63:29119708,65:48779702,67:81708667,69:136861838,71:229211380
#iterations-unfiltered71+;73:397509772,75:692977377,77:1198182438,79:2091875434,81:3720990150,83:6668078395,85:11946174746