forked from xamidi/pmGenerator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path!.def
5 lines (5 loc) · 1.71 KB
/
!.def
1
2
3
4
5
[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
#iterations;1:1,3:1,5:2,7:3,9:4,11:7,13:10,15:13,17:16,19:26,21:36,23:42,25:54,27:80,29:100,31:126,33:162,35:221,37:282,39:359,41:454,43:615,45:778,47:1002,49:1298,51:1678,53:2134,55:2803,57:3534,59:4530,61:5848,63:7496,65:9424,67:12147,69:15402,71:19615,73:24892,75:31620,77:39936,79:50946,81:64168,83:81204,85:102794,87:130094,89:163718,91:207474,93:261220,95:329568,97:415628,99:524144,101:658432,103:831003,105:1044792,107:1313760,109:1651616,111:2077927,113:2606646,115:3277103,117:4112052,119:5160229,121:6472942,123:8122690,125:10173684,127:12760188,129:15985436,131:20022824,133:25070468,135:31402887,137:39284338,139:49176381,141:61517174,143:76945234,145:96208206,147:120320734,149:150346484,151:187924390,153:234799156
#iterations-unfiltered153+;155:324945288,157:440272080,159:592215521,161:784979956,163:1089248702,165:1480315260,167:2016753823,169:2734328708,171:3843524189