c speed 1428.5714285714284 dec/s, 1/4
c speed 2057.9710144927535 dec/s, 1/87
c speed 2225.6809338521402 dec/s, 1/101
c speed 1063.4081902245707 dec/s, 2/202
c speed 2054.878048780488 dec/s, 1/103
c speed 1093.973442288049 dec/s, 2/253
c speed 484.7044847044847 dec/s, 3/479
c speed 399.7564935064935 dec/s, 4/621
c speed 10000.0 dec/s, 1/4
c speed 2535.714285714286 dec/s, 1/87
c speed 2306.451612903226 dec/s, 1/101
c speed 1076.2032085561498 dec/s, 2/202
c speed 2073.846153846154 dec/s, 1/103
c speed 1101.851851851852 dec/s, 2/253
c speed 480.70692194403534 dec/s, 3/479
c speed 400.3251371672424 dec/s, 4/621
c speed 24700.0 dec/s, 1/0
c speed 5000.0 dec/s, 1/0
c speed 28166.666666666668 dec/s, 1/3
c speed 12000.0 dec/s, 1/1
c speed 22000.0 dec/s, 1/4
c speed 36000.0 dec/s, 1/0
c speed 41000.0 dec/s, 1/1
c speed 20928.571428571428 dec/s, 1/2
c speed 22400.0 dec/s, 1/3
c speed 32484.848484848484 dec/s, 1/32
c speed 29571.428571428572 dec/s, 1/100
c speed 19863.636363636364 dec/s, 2/250
c speed 15456.521739130436 dec/s, 3/475
c speed 13554.216867469879 dec/s, 4/814
c speed 10961.290322580646 dec/s, 5/1320
c speed 9421.245421245421 dec/s, 6/2081
c speed 8028.865979381443 dec/s, 7/3220
c speed 6310.60606060606 dec/s, 8/4932
c speed 5012.738853503184 dec/s, 9/7497
c speed 4200.64829821718 dec/s, 10/11342
c speed 3250.2094855036034 dec/s, 11/17110
c speed 2217.454378865389 dec/s, 12/25760
c speed 1540.17507650701 dec/s, 13/38738
c speed 864.4063271707935 dec/s, 14/58200
c speed 479.65061425549453 dec/s, 15/87393
c speed 404.6452404285248 dec/s, 16/110112
c speed 22400.0 dec/s, 1/101
c speed 12468.75 dec/s, 2/251
c speed 10615.384615384615 dec/s, 3/476
c speed 9982.300884955752 dec/s, 4/814
c speed 8743.718592964824 dec/s, 5/1320
c speed 7787.172011661807 dec/s, 6/2080
c speed 6716.193656093489 dec/s, 7/3219
c speed 5774.0705433746425 dec/s, 8/4930
c speed 5078.531073446327 dec/s, 9/7493
c speed 3446.2254395036193 dec/s, 10/11337
c speed 2460.5522682445758 dec/s, 11/17106
c speed 1949.526607900751 dec/s, 12/25757
c speed 1341.881625176421 dec/s, 13/38734
c speed 931.3823425958494 dec/s, 14/58196
c speed 645.9466544334491 dec/s, 15/87390
c speed 470.0796298827051 dec/s, 16/126070
c speed 14000.0 dec/s, 1/100
c speed 9704.545454545456 dec/s, 2/252
c speed 8465.116279069769 dec/s, 3/478
c speed 7869.86301369863 dec/s, 4/821
c speed 7031.128404669261 dec/s, 5/1327
c speed 6495.238095238095 dec/s, 6/2086
c speed 5811.347517730497 dec/s, 7/3225
c speed 4860.53882725832 dec/s, 8/4936
c speed 3929.130434782609 dec/s, 9/7499
c speed 3110.4933981931895 dec/s, 10/11344
c speed 2279.396871835265 dec/s, 11/17111
c speed 1515.2631313386146 dec/s, 12/25761
c speed 1157.0023999380662 dec/s, 13/38739
c speed 759.7500710025561 dec/s, 14/58202
c speed 616.1823445344278 dec/s, 15/87395
c speed 496.42175015916297 dec/s, 16/126390
c speed 31500.0 dec/s, 1/100
c speed 14189.18918918919 dec/s, 2/250
c speed 10851.351351351352 dec/s, 3/476
c speed 8258.503401360545 dec/s, 4/817
c speed 7447.154471544715 dec/s, 5/1324
c speed 6123.042505592841 dec/s, 6/2084
c speed 5115.288220551378 dec/s, 7/3224
c speed 4282.593375616631 dec/s, 8/4934
c speed 3065.6786796901315 dec/s, 9/7499
c speed 2715.5484130172763 dec/s, 10/11345
c speed 1853.416264389157 dec/s, 11/17112
c speed 1479.1956997810075 dec/s, 12/25764
c speed 979.8468538453002 dec/s, 13/38740
c speed 760.3291498115686 dec/s, 14/58203
c speed 565.0328437054851 dec/s, 15/87396
c speed 452.3770636605747 dec/s, 16/121885
c speed 23928.571428571428 dec/s, 1/101
c speed 10529.411764705883 dec/s, 2/251
c speed 8205.882352941177 dec/s, 3/478
c speed 7265.536723163842 dec/s, 4/816
c speed 6282.894736842105 dec/s, 5/1322
c speed 5386.9731800766285 dec/s, 6/2084
c speed 4733.181299885975 dec/s, 7/3223
c speed 3997.389033942559 dec/s, 8/4933
c speed 3471.6544543000387 dec/s, 9/7497
c speed 2630.4991122509373 dec/s, 10/11341
c speed 2117.7971507548373 dec/s, 11/17108
c speed 1477.0573566084788 dec/s, 12/25758
c speed 1071.650938807277 dec/s, 13/38734
c speed 834.6085932901707 dec/s, 14/58196
c speed 611.2897036342705 dec/s, 15/87390
c speed 445.4014559611744 dec/s, 16/120349
c speed 15476.190476190475 dec/s, 1/101
c speed 9383.333333333334 dec/s, 2/251
c speed 6671.875 dec/s, 3/476
c speed 5391.666666666667 dec/s, 4/814
c speed 4533.957845433255 dec/s, 5/1320
c speed 4134.393063583815 dec/s, 6/2080
c speed 3910.0091827364554 dec/s, 7/3219
c speed 3340.9453000531066 dec/s, 8/4928
c speed 2693.954295632051 dec/s, 9/7493
c speed 2328.127652351044 dec/s, 10/11338
c speed 1804.9126540746654 dec/s, 11/17105
c speed 1469.2405186701765 dec/s, 12/25757
c speed 1088.1708919274001 dec/s, 13/38733
c speed 825.8399148325122 dec/s, 14/58197
c speed 598.5043899485316 dec/s, 15/87392
c speed 472.4556427016703 dec/s, 16/126085
c speed 37538.46153846154 dec/s, 1/102
c speed 11409.83606557377 dec/s, 2/253
c speed 7870.229007633588 dec/s, 3/478
c speed 6379.746835443038 dec/s, 4/817
c speed 5675.257731958763 dec/s, 5/1323
c speed 5004.739336492891 dec/s, 6/2082
c speed 4136.239782016349 dec/s, 7/3224
c speed 3301.952929394091 dec/s, 8/4935
c speed 2539.7970085470083 dec/s, 9/7498
c speed 1778.7964876033059 dec/s, 10/11343
c speed 1510.9499743646084 dec/s, 11/17111
c speed 1204.7586998693534 dec/s, 12/25763
c speed 878.3030633720476 dec/s, 13/38738
c speed 682.1986950634002 dec/s, 14/58203
c speed 473.63986691878694 dec/s, 15/87397
c speed 404.40112794736245 dec/s, 16/107569
c speed 25789.473684210527 dec/s, 1/102
c speed 8782.051282051281 dec/s, 2/253
c speed 5898.2035928143705 dec/s, 3/482
c speed 5265.232974910394 dec/s, 4/823
c speed 4466.52719665272 dec/s, 5/1329
c speed 3867.410161090458 dec/s, 6/2089
c speed 3433.2321699544764 dec/s, 7/3229
c speed 2827.6010318142735 dec/s, 8/4938
c speed 2460.415065334358 dec/s, 9/7501
c speed 1865.5878025946233 dec/s, 10/11345
c speed 1415.1905713694948 dec/s, 11/17112
c speed 1162.9937310103458 dec/s, 12/25763
c speed 695.2722418824114 dec/s, 13/38738
c speed 653.965883413986 dec/s, 14/58200
c speed 516.367150553111 dec/s, 15/87393
c speed 441.7438027272333 dec/s, 16/115703
c speed 14257.142857142855 dec/s, 1/102
c speed 6188.524590163935 dec/s, 2/279
c speed 4587.234042553192 dec/s, 3/504
c speed 4109.289617486339 dec/s, 4/842
c speed 3590.6821963394345 dec/s, 5/1350
c speed 3074.183976261128 dec/s, 6/2109
c speed 2932.0388349514565 dec/s, 7/3249
c speed 2438.854204921043 dec/s, 8/4958
c speed 2128.501556247221 dec/s, 9/7521
c speed 1835.7640257522007 dec/s, 10/11368
c speed 1533.5647293405214 dec/s, 11/17135
c speed 1285.216734505476 dec/s, 12/25788
c speed 988.4304736956996 dec/s, 13/38765
c speed 755.4933944459423 dec/s, 14/58231
c speed 557.1853076544975 dec/s, 15/87425
c speed 471.7005029614396 dec/s, 16/125289
c speed 39200.0 dec/s, 1/102
c speed 9680.327868852459 dec/s, 2/252
c speed 5560.885608856088 dec/s, 3/477
c speed 4208.768267223382 dec/s, 4/817
c speed 3301.9801980198017 dec/s, 5/1324
c speed 2729.7096053611317 dec/s, 6/2083
c speed 2373.386737872719 dec/s, 7/3224
c speed 2032.5379609544468 dec/s, 8/4934
c speed 1785.6417202844566 dec/s, 9/7497
c speed 1429.6267869135565 dec/s, 10/11341
c speed 1114.2738416787868 dec/s, 11/17108
c speed 982.2578647510528 dec/s, 12/25761
c speed 794.0621654232449 dec/s, 13/38737
c speed 540.2608661386295 dec/s, 14/58201
c speed 381.0236524026578 dec/s, 15/87395
c speed 369.769775108246 dec/s, 16/96481
c speed 29727.272727272724 dec/s, 1/100
c speed 7275.4491017964065 dec/s, 2/251
c speed 4629.179331306991 dec/s, 3/476
c speed 3646.8468468468463 dec/s, 4/815
c speed 2922.1491228070176 dec/s, 5/1322
c speed 2500.336247478144 dec/s, 6/2082
c speed 1944.5910290237466 dec/s, 7/3222
c speed 1762.0307988450434 dec/s, 8/4931
c speed 1568.5466058017964 dec/s, 9/7494
c speed 1265.4346565012015 dec/s, 10/11339
c speed 1063.6750705640338 dec/s, 11/17106
c speed 847.667126388925 dec/s, 12/25756
c speed 699.9184520720588 dec/s, 13/38732
c speed 508.17416758141235 dec/s, 14/58194
c speed 396.1440676350968 dec/s, 15/87387
c speed 388.9790707674052 dec/s, 16/98953
c speed 21066.666666666668 dec/s, 1/102
c speed 6222.222222222223 dec/s, 2/252
c speed 3979.1666666666665 dec/s, 3/477
c speed 2799.1631799163183 dec/s, 4/815
c speed 2349.7797356828196 dec/s, 5/1321
c speed 1917.3249078462347 dec/s, 6/2080
c speed 1665.1612903225805 dec/s, 7/3220
c speed 1493.4879934879937 dec/s, 8/4930
c speed 1294.1462229778965 dec/s, 9/7493
c speed 1097.3534290041105 dec/s, 10/11337
c speed 949.4170096021949 dec/s, 11/17104
c speed 765.3509808555897 dec/s, 12/25755
c speed 692.4341148408867 dec/s, 13/38731
c speed 542.4298803509291 dec/s, 14/58195
c speed 450.3117428242191 dec/s, 15/87389
c speed 418.4924087128977 dec/s, 16/107962
c speed 35081.08108108108 dec/s, 1/102
c speed 9268.292682926829 dec/s, 2/252
c speed 5320.916905444126 dec/s, 3/480
c speed 3913.0434782608695 dec/s, 4/818
c speed 2749.0774907749073 dec/s, 5/1325
c speed 2152.5515743756787 dec/s, 6/2086
c speed 1779.927845195146 dec/s, 7/3247
c speed 1477.4218448475492 dec/s, 8/4956
c speed 1276.4678141947654 dec/s, 9/7521
c speed 1062.4365138484459 dec/s, 10/11366
c speed 898.1562774363476 dec/s, 11/17133
c speed 812.903710380051 dec/s, 12/25784
c speed 678.297198011957 dec/s, 13/38759
c speed 512.4544079708211 dec/s, 14/58222
c speed 405.9291499266629 dec/s, 15/87415
c speed 374.3912804359782 dec/s, 16/96646
c speed 28608.695652173912 dec/s, 1/100
c speed 7344.497607655503 dec/s, 2/253
c speed 4274.193548387097 dec/s, 3/479
c speed 3032.594524119948 dec/s, 4/817
c speed 2420.545746388443 dec/s, 5/1323
c speed 1854.578923147722 dec/s, 6/2082
c speed 1688.6115444617785 dec/s, 7/3221
c speed 1477.721813250678 dec/s, 8/4930
c speed 1312.7842949485278 dec/s, 9/7495
c speed 1107.9065841305571 dec/s, 10/11339
c speed 946.5954044272368 dec/s, 11/17106
c speed 752.6571621275903 dec/s, 12/25756
c speed 551.9072055241563 dec/s, 13/38735
c speed 485.3318303508525 dec/s, 14/58198
c speed 430.259434563516 dec/s, 15/87391
c speed 391.1576870258523 dec/s, 16/102241
c speed 20390.625 dec/s, 1/102
c speed 5992.1875 dec/s, 2/252
c speed 3536.312849162011 dec/s, 3/478
c speed 2519.74386339381 dec/s, 4/816
c speed 1847.8924862553451 dec/s, 5/1324
c speed 1585.0897736143638 dec/s, 6/2084
c speed 1405.439121756487 dec/s, 7/3224
c speed 1263.2253927540878 dec/s, 8/4934
c speed 1084.5358814352574 dec/s, 9/7497
c speed 931.8788441452941 dec/s, 10/11341
c speed 840.3342943688186 dec/s, 11/17109
c speed 794.3207981580967 dec/s, 12/25760
c speed 672.1016529854942 dec/s, 13/38735
c speed 541.9791975299016 dec/s, 14/58198
c speed 390.7469470204756 dec/s, 15/87394
c speed 376.4241191960268 dec/s, 16/97101
c speed 40275.0 dec/s, 1/101
c speed 8281.818181818182 dec/s, 2/251
c speed 4442.857142857143 dec/s, 3/478
c speed 3654.6961325966854 dec/s, 4/816
c speed 2679.3522267206476 dec/s, 5/1322
c speed 1911.99649737303 dec/s, 6/2081
c speed 1599.057910778609 dec/s, 7/3221
c speed 1395.1769054743884 dec/s, 8/4931
c speed 1129.2215815485997 dec/s, 9/7494
c speed 1012.8632060071825 dec/s, 10/11338
c speed 844.1819076829869 dec/s, 11/17106
c speed 694.7459272844967 dec/s, 12/25756
c speed 558.4159833864442 dec/s, 13/38734
c speed 403.43302132973616 dec/s, 14/58196
c speed 323.37932022945677 dec/s, 15/83791
c speed 27950.0 dec/s, 1/101
c speed 5798.219584569732 dec/s, 2/252
c speed 3555.0387596899222 dec/s, 3/478
c speed 2992.4406047516195 dec/s, 4/818
c speed 2080.684596577017 dec/s, 5/1325
c speed 1885.2248394004282 dec/s, 6/2084
c speed 1553.8057742782153 dec/s, 7/3223
c speed 1267.4055572900406 dec/s, 8/4933
c speed 1150.817686250757 dec/s, 9/7497
c speed 934.9171141723091 dec/s, 10/11342
c speed 788.1423982869378 dec/s, 11/17109
c speed 643.3066524706733 dec/s, 12/25759
c speed 528.2031924072477 dec/s, 13/38734
c speed 379.4690246698654 dec/s, 14/58197
c cleaning 34994 clauses out of 70002 for limit 372891.7341742811
c cleaning 17741 clauses out of 35506 for limit 1209980.3557183992
c cleaning 9372 clauses out of 18765 for limit 6226489.692881891
c cleaning 4931 clauses out of 9893 for limit 1.947689487521309E7
c cleaning 3222 clauses out of 6462 for limit 1.3373603300153214E8
c cleaning 3611 clauses out of 7242 for limit 6.541434384348942E9
c cleaning 2054 clauses out of 4129 for limit 1.8883108585297245E10
c cleaning 1276 clauses out of 2576 for limit 4.99646573553229E10
c cleaning 899 clauses out of 1799 for limit 1.1786883310335744E11
c cleaning 700 clauses out of 1401 for limit 2.4985175876953787E11
c cleaning 592 clauses out of 1203 for limit 4.808170166148454E11
c cleaning 540 clauses out of 1109 for limit 8.584218708693137E11
c cleaning 534 clauses out of 1068 for limit 1.4685287142830005E12
c cleaning 509 clauses out of 1036 for limit 2.501605658480375E12
c cleaning 513 clauses out of 1026 for limit 4.1615260778982764E12
c speed 369.93868438778134 dec/s, 15/87392
c speed 381.5875872873023 dec/s, 16/93421
c speed 24420.28985507246 dec/s, 1/101
c speed 5068.421052631579 dec/s, 2/251
c speed 3291.9075144508674 dec/s, 3/476
c speed 2345.959595959596 dec/s, 4/815
c speed 1818.3705241307732 dec/s, 5/1322
c speed 1378.1640744129309 dec/s, 6/2093
c speed 1312.5408942202835 dec/s, 7/3232
c speed 1143.9330543933054 dec/s, 8/4941
c speed 957.3987278205557 dec/s, 9/7507
c speed 843.4217368694748 dec/s, 10/11353
c speed 755.0800743664178 dec/s, 11/17120
c speed 622.5742720508133 dec/s, 12/25770
c speed 492.0496402804696 dec/s, 13/38746
c speed 435.0775430455489 dec/s, 14/58208
c cleaning 32494 clauses out of 65002 for limit 2699.029400551925
c cleaning 16497 clauses out of 33006 for limit 8748.393370940772
c cleaning 8498 clauses out of 17009 for limit 27996.14950224705
c cleaning 5500 clauses out of 11014 for limit 528950.4408062538
c cleaning 3007 clauses out of 6014 for limit 1597542.8608728205
c cleaning 1743 clauses out of 3506 for limit 4514663.710643446
c cleaning 1127 clauses out of 2265 for limit 1.1547660893626533E7
c cleaning 816 clauses out of 1635 for limit 2.6302487508999676E7
c cleaning 649 clauses out of 1318 for limit 5.3755207795315444E7
c speed 433.69043669641627 dec/s, 15/87403
c speed 428.3019119490147 dec/s, 16/104986
c speed 38000.0 dec/s, 1/102
c speed 8569.23076923077 dec/s, 2/253
c speed 4208.333333333333 dec/s, 3/479
c speed 2856.470588235294 dec/s, 4/817
c speed 1950.203712086917 dec/s, 5/1323
c speed 1642.8571428571427 dec/s, 6/2083
c speed 1409.805544062888 dec/s, 7/3223
c speed 1166.6450019498245 dec/s, 8/4934
c speed 995.0827733158499 dec/s, 9/7498
c speed 745.4412208475234 dec/s, 10/11343
c speed 652.6573032199157 dec/s, 11/17111
c speed 538.5192244598246 dec/s, 12/25762
c speed 444.39020862711067 dec/s, 13/38743
c cleaning 25996 clauses out of 52001 for limit 0.007568940048521263
c cleaning 13493 clauses out of 27005 for limit 0.039638239106555166
c cleaning 7999 clauses out of 16014 for limit 0.8169719941288313
c cleaning 4244 clauses out of 8512 for limit 2.527130853505832
c speed 332.4950407551214 dec/s, 14/58208
c speed 325.84254682297103 dec/s, 15/80273
c speed 30139.53488372093 dec/s, 1/103
c speed 6128.540305010893 dec/s, 2/255
c speed 3498.8888888888887 dec/s, 3/481
c speed 2258.2247051520794 dec/s, 4/822
c speed 1616.591928251121 dec/s, 5/1328
c speed 1332.1150097465886 dec/s, 6/2087
c speed 1042.5119331742244 dec/s, 7/3226
c speed 845.2173913043478 dec/s, 8/4935
c speed 722.9859056899252 dec/s, 9/7500
c speed 696.1963390272739 dec/s, 10/11345
c speed 554.6765832769889 dec/s, 11/17113
c speed 529.4135415565389 dec/s, 12/25763
c speed 452.16573015916106 dec/s, 13/38738
c cleaning 22744 clauses out of 45500 for limit 1.2950135756255043E-5
c cleaning 11625 clauses out of 23257 for limit 4.182369739824237E-5
c cleaning 6057 clauses out of 12131 for limit 1.3209941340102259E-4
c speed 414.7014062911217 dec/s, 14/58200
c cleaning 16276 clauses out of 32576 for limit 1.6118728140872415E7
c cleaning 8388 clauses out of 16798 for limit 5.144673444790429E7
c speed 365.23173841307937 dec/s, 15/87335
c speed 20228.346456692914 dec/s, 1/102
c speed 5082.5852782764805 dec/s, 2/252
c speed 2930.3621169916437 dec/s, 3/477
c speed 2070.3346568349407 dec/s, 4/815
c speed 1475.9825327510919 dec/s, 5/1323
c speed 1058.8928150765605 dec/s, 6/2082
c speed 865.0803538059051 dec/s, 7/3223
c speed 747.8394313868023 dec/s, 8/4933
c speed 603.9505471081427 dec/s, 9/7497
c speed 539.6029131788099 dec/s, 10/11341
c speed 486.7982372101935 dec/s, 11/17108
c cleaning 12492 clauses out of 25000 for limit 2916448.7008621534
c cleaning 6491 clauses out of 13009 for limit 9252111.022639077
c speed 418.0576631259484 dec/s, 12/25758
c cleaning 3503 clauses out of 7017 for limit 2.8258860656104144E7
c cleaning 1998 clauses out of 4014 for limit 8.146754765327373E7
c speed 404.9236244994809 dec/s, 13/38733
c cleaning 13247 clauses out of 26516 for limit 0.00545245970296234
c speed 368.346957311535 dec/s, 14/58196
c cleaning 11622 clauses out of 23270 for limit 137.67539892885682
c cleaning 11816 clauses out of 23647 for limit 2.216069884657316E7
c speed 370.33407661463696 dec/s, 15/77445
c speed 7000.0 dec/s, 1/0
c speed 9000.0 dec/s, 1/9
c speed Infinity dec/s, 1/0
c speed 35000.0 dec/s, 1/32
c speed Infinity dec/s, 1/0
c speed 23200.0 dec/s, 1/100
c speed 24800.0 dec/s, 2/109
c speed 22000.0 dec/s, 1/0
c speed 21000.0 dec/s, 1/101
c speed 22214.285714285714 dec/s, 2/251
c speed 19620.689655172413 dec/s, 3/472
c speed 29000.0 dec/s, 1/0
c speed 22000.0 dec/s, 1/101
c speed 20666.666666666668 dec/s, 2/253
c speed 18774.1935483871 dec/s, 3/480
c speed 16250.0 dec/s, 4/819
c speed 14109.09090909091 dec/s, 5/1326
c speed 10769.23076923077 dec/s, 6/2086
c speed 9904.942965779468 dec/s, 7/2285
c speed Infinity dec/s, 1/0
c speed 24666.666666666668 dec/s, 1/100
c speed 20235.294117647056 dec/s, 2/250
c speed 17885.714285714283 dec/s, 3/480
c speed 15151.51515151515 dec/s, 4/818
c speed 12885.245901639344 dec/s, 5/1324
c speed 10675.438596491227 dec/s, 6/2083
c speed 8095.444685466377 dec/s, 7/3224
c speed 6143.634385201305 dec/s, 8/4933
c speed 4509.845662586482 dec/s, 9/7496
c speed 4057.9710144927535 dec/s, 10/8461
c speed 46000.0 dec/s, 1/0
c speed 26000.0 dec/s, 1/100
c speed 18388.88888888889 dec/s, 2/251
c speed 16236.842105263158 dec/s, 3/476
c speed 14222.222222222223 dec/s, 4/814
c speed 11625.0 dec/s, 5/1320
c speed 10319.327731092437 dec/s, 6/2079
c speed 8394.209354120267 dec/s, 7/3218
c speed 7101.25 dec/s, 8/4927
c speed 5406.190777005686 dec/s, 9/7490
c speed 3552.5152017689334 dec/s, 10/11334
c speed 2532.7545382794 dec/s, 11/17102
c speed 1540.443539747161 dec/s, 12/25752
c speed 926.0404587037752 dec/s, 13/38729
c speed 671.4793586301967 dec/s, 14/50011