forked from xamidi/pmGenerator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path!.def
5 lines (5 loc) · 1.58 KB
/
!.def
1
2
3
4
5
[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
#iterations;1:1,3:1,5:2,7:5,9:8,11:10,13:10,15:10,17:10,19:15,21:26,23:40,25:52,27:63,29:74,31:86,33:118,35:167,37:244,39:340,41:446,43:551,45:688,47:869,49:1128,51:1509,53:2046,55:2758,57:3636,59:4659,61:5848,63:7415,65:9546,67:12520,69:16626,71:21997,73:28576,75:36634,77:46614,79:59337,81:76266,83:99080,85:129482,87:168717,89:218196,91:279663,93:357074,95:456119,97:585294,99:755798,101:979916,103:1269838,105:1639296,107:2106748,109:2698758,111:3457865,113:4441498,115:5724404,117:7393098,119:9547567,121:12303220,123:15814238,125:20294070,127:26041382,129:33464926,131:43088171,133:55549258,135:71608010,137:92211954,139:118581507,141:152368710
#iterations-unfiltered141+;143:216457445,145:308369644,147:453382622,149:650543112,151:891383185,153:1176314122,155:1558170072,157:2083519342,159:2814993667,161:3806955248,163:5149688506