Elliptic Curve Rank Leaderboard

Mordell curves

Click a column header to sort; click again to reverse. Curves missing a value (no primes of bad reduction supplied yet) sort last.

Download the database (JSON) ↓

showing 429 of 5563 curves
curve a-invariants rank torsion log N log |Δ| Faltings height naive height
#62 [0, 0, 0, 0, -9088007366299…] ≥ 17 trivial 155.36 157.85 11.83 165.30
#308 [0, 0, 0, 0, 24537619889008…] ≥ 17 trivial 155.36 164.44 12.38 171.89
#5545 [0, 0, 1, 0, -4548387139104…] ≥ 17 trivial 156.02 184.09 14.02 191.55
#5546 [0, 0, 1, 0, 16845878292979…] ≥ 17 trivial 156.02 177.50 13.47 184.96
#5551 [0, 0, 1, 0, 47295953934055…] ≥ 17 trivial 156.07 165.75 12.49 173.21
#5552 [0, 0, 1, 0, -1276990756219…] ≥ 17 trivial 156.07 172.34 13.04 179.80
#5446 [0, 0, 0, 0, 23799778972095…] ≥ 17 trivial 157.09 173.59 13.14 181.04
#5448 [0, 0, 0, 0, -6425940322465…] ≥ 17 trivial 157.09 180.18 13.69 187.64
#5353 [0, 0, 1, 0, -3721250327597…] ≥ 17 trivial 162.09 169.88 12.84 177.33
#5355 [0, 0, 1, 0, 10047375884514…] ≥ 17 trivial 162.09 176.47 13.38 183.92
#5352 [0, 0, 1, 0, 38164268996399…] ≥ 17 trivial 168.83 169.93 12.84 177.38
#5354 [0, 0, 1, 0, -1030435262902…] ≥ 17 trivial 168.83 176.52 13.39 183.97
#46 [0, 0, 1, 0, -4894683839134…] ≥ 16 trivial 136.20 142.79 10.58 150.25
#64 [0, 0, 1, 0, 18128458663461…] ≥ 16 trivial 136.20 136.20 10.03 143.66
#68 [0, 0, 0, 0, 46974552981863…] ≥ 15 trivial 122.91 124.29 9.04 131.75
#305 [0, 0, 0, 0, -1268312930510…] ≥ 15 trivial 122.91 130.88 9.59 138.34
#5410 [0, 0, 1, 0, 33372439031705…] ≥ 15 trivial 158.78 169.66 12.82 177.11
#5411 [0, 0, 1, 0, -9010558538560…] ≥ 15 trivial 158.78 176.25 13.37 183.71
#4756 [0, 0, 1, 0, 12280460053296…] ≥ 14 trivial 103.19 103.19 7.28 110.64
#4757 [0, 0, 1, 0, -3315724214390…] ≥ 14 trivial 103.19 109.78 7.83 117.23
#4886 [0, 0, 1, 0, -1197774028283…] ≥ 14 trivial 142.92 153.79 11.50 161.25
#4959 [0, 0, 1, 0, 32339898763664…] ≥ 14 trivial 142.92 160.39 12.04 167.84
#639 [0, 0, 1, 0, 90519072625313…] ≥ 14 trivial 148.06 157.84 11.83 165.29
#4957 [0, 0, 1, 0, -2444014960883…] ≥ 14 trivial 148.06 164.43 12.38 171.89
#61 [0, 0, 1, 0, 75255852424198…] ≥ 13 trivial 87.29 88.39 6.04 95.85
#4952 [0, 0, 1, 0, -2031908015453…] ≥ 13 trivial 87.29 94.98 6.59 102.44
#5141 [0, 0, 0, 0, 19779840574906…] ≥ 13 trivial 91.06 94.93 6.59 102.39
#5162 [0, 0, 0, 0, -5340556955224…] ≥ 13 trivial 91.06 101.52 7.14 108.98
#4755 [0, 0, 0, 0, -1239793764346…] ≥ 13 trivial 91.22 94.00 6.51 101.45
#4921 [0, 0, 0, 0, 33474431637362…] ≥ 13 trivial 91.22 100.59 7.06 108.04
#5502 [0, 0, 0, 0, -3478138365920…] ≥ 13 trivial 120.04 142.11 10.52 149.57
#5503 [0, 0, 0, 0, 12881993947854…] ≥ 13 trivial 120.04 135.52 9.97 142.97
#4753 [0, 0, 0, 0, 41025014649039…] ≥ 12 trivial 80.09 82.57 5.56 90.03
#4923 [0, 0, 0, 0, -1107675395524…] ≥ 12 trivial 80.09 89.17 6.11 96.62
#4701 [0, 0, 1, 0, -1020920553852…] ≥ 12 trivial 83.30 84.40 5.71 91.85
#4702 [0, 0, 1, 0, 27564854954029…] ≥ 12 trivial 83.30 90.99 6.26 98.44
#4754 [0, 0, 0, 0, -2272988568342…] ≥ 12 trivial 84.61 86.00 5.85 93.45
#4924 [0, 0, 0, 0, 61370691345258…] ≥ 12 trivial 84.61 92.59 6.39 100.04
#4677 [0, 0, 0, 0, 25099601227316…] ≥ 12 trivial 88.32 90.80 6.25 98.26
#4953 [0, 0, 0, 0, -6776892331375…] ≥ 12 trivial 88.32 97.39 6.80 104.85
#4751 [0, 0, 0, 0, -9988201913147…] ≥ 11 trivial 72.66 75.14 4.94 82.60
#4926 [0, 0, 0, 0, 26968145165498…] ≥ 11 trivial 72.66 81.74 5.49 89.19
#4752 [0, 0, 0, 0, 12553604844459…] ≥ 11 trivial 74.21 75.60 4.98 83.06
#4927 [0, 0, 0, 0, -3389473308004…] ≥ 11 trivial 74.21 82.19 5.53 89.65
#4699 [0, 0, 0, 0, 35470887868736…] ≥ 11 trivial 76.58 82.28 5.54 89.74
#4817 [0, 0, 0, 0, -9577139724558…] ≥ 11 trivial 76.58 88.88 6.09 96.33
#5379 [0, 0, 1, 0, 39846666468086…] ≥ 11 trivial 77.10 82.52 5.56 89.97
#5412 [0, 0, 1, 0, -1075859994638…] ≥ 11 trivial 77.10 89.11 6.10 96.56
#5415 [0, 0, 0, 0, 16426738543362…] ≥ 11 trivial 78.07 85.35 5.79 92.80
#5418 [0, 0, 0, 0, -4435219406707…] ≥ 11 trivial 78.07 91.94 6.34 99.40
#4700 [0, 0, 0, 0, -4611148774373…] ≥ 11 trivial 80.04 82.81 5.58 90.26
#4816 [0, 0, 0, 0, 12450101690807…] ≥ 11 trivial 80.04 89.40 6.13 96.85
#3165 [0, 0, 1, 0, 44182596082121…] ≥ 11 ℤ/3ℤ 118.99 234.69 18.24 242.15
#4748 [0, 0, 1, 0, -1192930094217…] ≥ 11 trivial 118.99 241.28 18.79 248.74
#4749 [0, 0, 0, 0, 3612077876156] ≥ 10 trivial 61.13 63.90 4.00 71.35
#4928 [0, 0, 0, 0, -9752610265621…] ≥ 10 trivial 61.13 70.49 4.55 77.95
#4750 [0, 0, 0, 0, -5721469548799] ≥ 10 trivial 63.43 64.82 4.08 72.27
#4929 [0, 0, 0, 0, 15447967781757…] ≥ 10 trivial 63.43 71.41 4.63 78.87
#4693 [0, 0, 0, 0, -5673632565728…] ≥ 10 trivial 65.54 69.41 4.46 76.86
#4814 [0, 0, 0, 0, 15318807927467…] ≥ 10 trivial 65.54 76.00 5.01 83.45
#4691 [0, 0, 0, 0, 68513487607153] ≥ 10 trivial 67.30 69.78 4.49 77.24
#4815 [0, 0, 0, 0, -1849864165393…] ≥ 10 trivial 67.30 76.38 5.04 83.83
#5414 [0, 0, 1, 0, 72989388244528…] ≥ 10 trivial 67.73 79.12 5.27 86.58
#5416 [0, 0, 1, 0, -2703310675723…] ≥ 10 trivial 67.73 72.53 4.72 79.98
#5465 [0, 0, 0, 0, -7869883814381…] ≥ 10 trivial 68.68 70.06 4.52 77.52
#5464 [0, 0, 0, 0, -1215942493949…] ≥ 10 trivial 69.02 75.54 4.97 82.99
#5472 [0, 0, 1, 0, -7733905284046…] ≥ 10 trivial 71.41 74.63 4.90 82.09
#3107 [0, 0, 0, 0, 46927269375243…] ≥ 10 ℤ/3ℤ 82.21 161.13 12.11 168.59
#4747 [0, 0, 0, 0, -1267036273131…] ≥ 10 trivial 82.21 167.72 12.66 175.18
#5480 [0, 0, 1, 0, 14585801770] ≥ 9 trivial 51.78 52.88 3.09 60.33
#5482 [0, 0, 1, 0, -393816647797] ≥ 9 trivial 51.78 59.47 3.63 66.92
#4668 [0, 0, 0, 0, -44865147851] ≥ 9 trivial 52.64 55.12 3.27 62.58
#4950 [0, 0, 0, 0, 1211358991977] ≥ 9 trivial 52.64 61.71 3.82 69.17
#5496 [0, 0, 1, 0, -22548031687] ≥ 9 trivial 53.75 53.75 3.16 61.20
#5497 [0, 0, 1, 0, 608796855542] ≥ 9 trivial 53.75 60.34 3.71 67.79
#5500 [0, 0, 1, 0, -25185466405] ≥ 9 trivial 53.97 53.97 3.18 61.42
#5501 [0, 0, 1, 0, 680007592928] ≥ 9 trivial 53.97 60.56 3.73 68.01
#4684 [0, 0, 0, 0, 185418133372] ≥ 9 trivial 54.09 57.96 3.51 65.41
#4812 [0, 0, 0, 0, -5006289601044] ≥ 9 trivial 54.09 64.55 4.06 72.01
#5413 [0, 0, 0, 0, 19593731193566…] ≥ 9 trivial 56.96 76.49 5.05 83.95
#5417 [0, 0, 0, 0, -7256937479098…] ≥ 9 trivial 56.96 69.90 4.50 77.35
#4685 [0, 0, 0, 0, -463066403167] ≥ 9 trivial 57.31 59.79 3.66 67.25
#4813 [0, 0, 0, 0, 12502792885509] ≥ 9 trivial 57.31 66.38 4.21 73.84
#5470 [0, 0, 0, 0, 73325700650350…] ≥ 9 trivial 58.33 74.53 4.89 81.98
#5471 [0, 0, 0, 0, -1979793917559…] ≥ 9 trivial 58.33 81.12 5.44 88.57
#5468 [0, 0, 0, 0, -2961478305789…] ≥ 9 trivial 60.35 81.92 5.51 89.38
#5469 [0, 0, 0, 0, 79959914256319…] ≥ 9 trivial 60.35 88.51 6.06 95.97
#5361 [0, 0, 0, 0, 47700681504129] ≥ 9 trivial 65.48 69.06 4.43 76.52
#1643 [0, 0, 0, 0, 30457819633596…] ≥ 9 ℤ/3ℤ 69.17 137.24 10.12 144.70
#4746 [0, 0, 0, 0, -8223611301071…] ≥ 9 trivial 69.17 143.83 10.66 151.29
#3080 [0, 0, 1, 0, 87299817093221…] ≥ 9 ℤ/3ℤ 78.23 153.16 11.44 160.62
#5419 [0, 0, 1, 0, -2357095061516…] ≥ 9 trivial 78.23 159.75 11.99 167.21
#3081 [0, 0, 0, 0, 19988905798337…] ≥ 9 ℤ/3ℤ 88.37 177.84 13.50 185.30
#5420 [0, 0, 0, 0, -7403298443828…] ≥ 9 trivial 88.37 171.25 12.95 178.71
#5455 [0, 0, 1, 0, -163332357] ≥ 8 trivial 42.79 43.89 2.34 51.35
#5463 [0, 0, 1, 0, 4409973632] ≥ 8 trivial 42.79 50.48 2.89 57.94
#5459 [0, 0, 1, 0, -1133042644] ≥ 8 trivial 44.55 47.76 2.66 55.22
#5473 [0, 0, 1, 0, 30592151381] ≥ 8 trivial 44.55 54.36 3.21 61.81
#5377 [0, 0, 0, 0, 925219837] ≥ 8 trivial 44.87 47.36 2.63 54.81
#5398 [0, 0, 0, 0, -24980935599] ≥ 8 trivial 44.87 53.95 3.17 61.41
#5456 [0, 0, 1, 0, -469155968] ≥ 8 trivial 44.90 46.00 2.51 53.46
#5474 [0, 0, 1, 0, 12667211129] ≥ 8 trivial 44.90 52.59 3.06 60.05
#5444 [0, 0, 1, 0, 271151945] ≥ 8 trivial 44.90 44.90 2.42 52.36
#5466 [0, 0, 1, 0, -7321102522] ≥ 8 trivial 44.90 51.50 2.97 58.95
#5445 [0, 0, 1, 0, 331045189] ≥ 8 trivial 45.30 45.30 2.45 52.76
#5467 [0, 0, 1, 0, -8938220110] ≥ 8 trivial 45.30 51.90 3.00 59.35
#5462 [0, 0, 1, 0, -4014704591] ≥ 8 trivial 45.30 50.29 2.87 57.75
#4809 [0, 0, 0, 0, -2520963512] ≥ 8 trivial 45.49 49.36 2.79 56.82
#4810 [0, 0, 0, 0, 68066014824] ≥ 8 trivial 45.49 55.96 3.34 63.41
#5381 [0, 0, 0, 0, 1546290924] ≥ 8 trivial 45.61 48.39 2.71 55.84
#5392 [0, 0, 0, 0, -41749854948] ≥ 8 trivial 45.61 54.98 3.26 62.43
#5447 [0, 0, 1, 0, 440676412] ≥ 8 trivial 45.88 45.88 2.50 53.33
#4679 [0, 0, 0, 0, 1632201497] ≥ 8 trivial 46.01 48.49 2.72 55.95
#4811 [0, 0, 0, 0, -44069440419] ≥ 8 trivial 46.01 55.09 3.27 62.54
#5388 [0, 0, 0, 0, 2396616764] ≥ 8 trivial 46.49 49.26 2.78 56.72
#5407 [0, 0, 0, 0, -64708652628] ≥ 8 trivial 46.49 55.85 3.33 63.31
#5460 [0, 0, 1, 0, -1181122676] ≥ 8 trivial 46.75 47.85 2.67 55.30
#5457 [0, 0, 1, 0, 852863894] ≥ 8 trivial 47.20 47.20 2.61 54.65
#5391 [0, 0, 0, 0, 3120110801] ≥ 8 trivial 47.31 49.79 2.83 57.25
#5397 [0, 0, 0, 0, 3915127212] ≥ 8 trivial 47.47 50.24 2.87 57.70
#5458 [0, 0, 1, 0, 990890692] ≥ 8 trivial 47.50 47.50 2.64 54.95
#5394 [0, 0, 0, 0, 3653125129] ≥ 8 trivial 47.62 50.11 2.85 57.56
#5399 [0, 0, 0, 0, 4296777208] ≥ 8 trivial 47.66 50.43 2.88 57.89
#5401 [0, 0, 0, 0, 4860223021] ≥ 8 trivial 48.19 50.68 2.90 58.13
#4744 [0, 0, 0, 0, -5062143495128…] ≥ 8 trivial 59.45 119.84 8.67 127.29
#4862 [0, 0, 0, 0, 13667787436846…] ≥ 8 ℤ/3ℤ 59.45 126.43 9.21 133.88
#3064 [0, 0, 0, 0, 70829139273819…] ≥ 8 ℤ/3ℤ 59.60 115.90 8.34 123.36
#4745 [0, 0, 0, 0, -1912386760393…] ≥ 8 trivial 59.60 122.49 8.89 129.95
#5409 [0, 0, 1, 0, 100813889] ≥ 7 trivial 36.33 42.93 2.26 50.38
#5454 [0, 0, 1, 0, -3733848] ≥ 7 trivial 36.33 36.33 1.71 43.79
#5375 [0, 0, 1, 0, 9836254] ≥ 7 trivial 37.17 38.27 1.87 45.73
#5400 [0, 0, 1, 0, -265578865] ≥ 7 trivial 37.17 44.86 2.42 52.32
#5449 [0, 0, 1, 0, -58623144] ≥ 7 trivial 37.52 41.84 2.17 49.30
#5461 [0, 0, 1, 0, 1582824881] ≥ 7 trivial 37.52 48.43 2.71 55.89
#5376 [0, 0, 1, 0, 15327649] ≥ 7 trivial 38.06 39.16 1.94 46.61
#5402 [0, 0, 1, 0, -413846530] ≥ 7 trivial 38.06 45.75 2.49 53.21
#5408 [0, 0, 0, 0, 6216230601] ≥ 7 trivial 38.20 51.17 2.94 58.62
#5475 [0, 0, 0, 0, -230230763] ≥ 7 trivial 38.20 44.58 2.39 52.03
#5363 [0, 0, 0, 0, 66567068] ≥ 7 trivial 38.22 42.10 2.19 49.55
#5403 [0, 0, 0, 0, -1797310836] ≥ 7 trivial 38.22 48.69 2.74 56.14
#5378 [0, 0, 0, 0, 974152504] ≥ 7 trivial 38.46 47.46 2.63 54.92
#5404 [0, 0, 0, 0, -26302117608] ≥ 7 trivial 38.46 54.05 3.18 61.51
#5380 [0, 0, 1, 0, 21703674] ≥ 7 trivial 38.76 39.85 2.00 47.31
#5405 [0, 0, 1, 0, -585999205] ≥ 7 trivial 38.76 46.45 2.55 53.90
#5383 [0, 0, 1, 0, 22053844] ≥ 7 trivial 38.79 39.89 2.00 47.34
#5393 [0, 0, 1, 0, -595453795] ≥ 7 trivial 38.79 46.48 2.55 53.93
#5384 [0, 0, 1, 0, 24372984] ≥ 7 trivial 38.99 40.09 2.02 47.54
#5395 [0, 0, 1, 0, -658070575] ≥ 7 trivial 38.99 46.68 2.57 54.13
#5382 [0, 0, 0, 0, 1590760188] ≥ 7 trivial 39.08 48.44 2.72 55.90
#5396 [0, 0, 0, 0, -58917044] ≥ 7 trivial 39.08 41.85 2.17 49.31
#5374 [0, 0, 0, 0, 612038449] ≥ 7 trivial 39.25 46.53 2.56 53.99
#5385 [0, 0, 1, 0, 28185942] ≥ 7 trivial 39.28 40.38 2.04 47.83
#5386 [0, 0, 1, 0, 28267428] ≥ 7 trivial 39.28 40.38 2.04 47.84
#4798 [0, 0, 0, 0, -56877643] ≥ 7 trivial 39.30 41.78 2.16 49.24
#4805 [0, 0, 0, 0, 1535696361] ≥ 7 trivial 39.30 48.37 2.71 55.83
#5450 [0, 0, 1, 0, -18736173] ≥ 7 trivial 39.56 39.56 1.98 47.02
#5387 [0, 0, 1, 0, 33660145] ≥ 7 trivial 39.63 40.73 2.07 48.19
#5451 [0, 0, 1, 0, -22599765] ≥ 7 trivial 39.94 39.94 2.01 47.39
#5367 [0, 0, 0, 0, 156818348] ≥ 7 trivial 39.94 43.81 2.33 51.26
#5368 [0, 0, 0, 0, 157753592] ≥ 7 trivial 39.95 43.82 2.33 51.28
#5389 [0, 0, 1, 0, 39632977] ≥ 7 trivial 39.96 41.06 2.10 48.51
#5390 [0, 0, 1, 0, 40392892] ≥ 7 trivial 40.00 41.10 2.10 48.55
#4675 [0, 0, 0, 0, 47550317] ≥ 7 trivial 40.04 41.42 2.13 48.88
#4808 [0, 0, 0, 0, -1283858559] ≥ 7 trivial 40.04 48.01 2.68 55.47
#5452 [0, 0, 1, 0, -24158772] ≥ 7 trivial 40.07 40.07 2.02 47.52
#5369 [0, 0, 0, 0, 172260476] ≥ 7 trivial 40.13 44.00 2.35 51.45
#5371 [0, 0, 0, 0, 180552844] ≥ 7 trivial 40.22 44.09 2.35 51.55
#5453 [0, 0, 1, 0, -27068320] ≥ 7 trivial 40.30 40.30 2.04 47.75
#5370 [0, 0, 0, 0, 178836129] ≥ 7 trivial 40.49 44.07 2.35 51.53
#5362 [0, 0, 0, 0, 63229253] ≥ 7 trivial 40.61 41.99 2.18 49.45
#5364 [0, 0, 0, 0, 71949237] ≥ 7 trivial 40.87 42.25 2.20 49.71
#5365 [0, 0, 0, 0, 76721389] ≥ 7 trivial 40.99 42.38 2.21 49.83
#5372 [0, 0, 0, 0, 110540545] ≥ 7 trivial 41.72 43.11 2.27 50.56
#5373 [0, 0, 0, 0, 121528249] ≥ 7 trivial 41.91 43.30 2.29 50.75
#2923 [0, 0, 1, 0, 32742536500558…] ≥ 7 ℤ/3ℤ 45.01 86.73 5.91 94.18
#4710 [0, 0, 1, 0, -8840484855150…] ≥ 7 trivial 45.01 93.32 6.46 100.77
#4819 [0, 0, 1, 0, 155357] ≥ 6 trivial 29.98 29.98 1.18 37.43
#4931 [0, 0, 1, 0, -4194646] ≥ 6 trivial 29.98 36.57 1.73 44.02
#4908 [0, 0, 1, 0, 218492] ≥ 6 trivial 30.66 30.66 1.23 38.11
#4944 [0, 0, 1, 0, -5899291] ≥ 6 trivial 30.66 37.25 1.78 44.70
#4717 [0, 0, 0, 0, 1358556] ≥ 6 trivial 31.54 34.31 1.54 41.77
#4777 [0, 0, 0, 0, -36681012] ≥ 6 trivial 31.54 40.90 2.09 48.36
#5366 [0, 0, 0, 0, 27157308] ≥ 6 trivial 31.64 40.30 2.04 47.76
#5406 [0, 0, 0, 0, -733247316] ≥ 6 trivial 31.64 46.89 2.59 54.35
#5159 [0, 0, 0, 0, 1482568] ≥ 6 trivial 31.71 34.49 1.55 41.94
#5163 [0, 0, 0, 0, -40029336] ≥ 6 trivial 31.71 41.08 2.10 48.53
#5215 [0, 0, 1, 0, -1892169] ≥ 6 trivial 31.76 34.97 1.59 42.43
#5359 [0, 0, 1, 0, 51088556] ≥ 6 trivial 31.76 41.57 2.14 49.02
#4968 [0, 0, 1, 0, 468467] ≥ 6 trivial 32.18 32.18 1.36 39.64
#4969 [0, 0, 1, 0, -12648616] ≥ 6 trivial 32.18 38.77 1.91 46.23
#5099 [0, 0, 1, 0, -830402] ≥ 6 trivial 32.23 33.33 1.46 40.78
#4737 [0, 0, 0, 0, -975379] ≥ 6 trivial 32.26 33.65 1.48 41.10
#4775 [0, 0, 0, 0, 26335233] ≥ 6 trivial 32.26 40.24 2.03 47.70
#5104 [0, 0, 1, 0, -910097] ≥ 6 trivial 32.41 33.51 1.47 40.97
#5107 [0, 0, 1, 0, -1004802] ≥ 6 trivial 32.61 33.71 1.49 41.16
#4998 [0, 0, 1, 0, 726811] ≥ 6 trivial 33.06 33.06 1.43 40.52
#4999 [0, 0, 1, 0, -19623904] ≥ 6 trivial 33.06 39.65 1.98 47.11
#5102 [0, 0, 1, 0, 926738] ≥ 6 trivial 33.55 33.55 1.47 41.00
#5103 [0, 0, 1, 0, 944028] ≥ 6 trivial 33.58 33.58 1.48 41.04
#2879 [0, 0, 1, 0, 15087003774597…] ≥ 6 ℤ/3ℤ 35.13 71.36 4.63 78.82
#4742 [0, 0, 1, 0, -5587779175777] ≥ 6 trivial 35.13 64.77 4.08 72.23
#2884 [0, 0, 1, 0, 24514990441382] ≥ 6 ℤ/3ℤ 35.51 67.73 4.32 75.18
#4743 [0, 0, 1, 0, -6619047419173…] ≥ 6 trivial 35.51 74.32 4.87 81.78
#272 [0, 0, 0, 0, 1190790012412] ≥ 6 trivial 38.10 61.68 3.82 69.13
#4970 [0, 0, 0, 0, -7619706212673…] ≥ 6 trivial 102.43 208.15 16.02 215.61
#5106 [0, 0, 0, 0, -5323723938651…] ≥ 6 trivial 108.98 221.25 17.12 228.71
#4711 [0, 0, 1, 0, 8002] ≥ 5 trivial 22.94 24.04 0.68 31.50
#4925 [0, 0, 1, 0, -216061] ≥ 5 trivial 22.94 30.64 1.23 38.09
#4712 [0, 0, 1, 0, 10704] ≥ 5 trivial 23.53 24.63 0.73 32.08
#4932 [0, 0, 1, 0, -289015] ≥ 5 trivial 23.53 31.22 1.28 38.67
#4914 [0, 0, 1, 0, 241599] ≥ 5 trivial 23.87 30.86 1.25 38.31
#4946 [0, 0, 1, 0, -6523180] ≥ 5 trivial 23.87 37.45 1.80 44.90
#4707 [0, 0, 0, 0, -28279] ≥ 5 trivial 24.08 26.57 0.89 34.02
#4783 [0, 0, 0, 0, 763533] ≥ 5 trivial 24.08 33.16 1.44 40.61
#4910 [0, 0, 1, 0, 233570] ≥ 5 trivial 24.20 30.79 1.24 38.25
#4945 [0, 0, 1, 0, -8651] ≥ 5 trivial 24.20 24.20 0.70 31.65
#4779 [0, 0, 1, 0, 15625] ≥ 5 trivial 24.28 25.38 0.79 32.84
#4933 [0, 0, 1, 0, -421882] ≥ 5 trivial 24.28 31.97 1.34 39.43
#4785 [0, 0, 1, 0, 18082] ≥ 5 trivial 24.58 25.67 0.82 33.13
#4930 [0, 0, 1, 0, 287489] ≥ 5 trivial 24.61 31.21 1.28 38.66
#4947 [0, 0, 1, 0, -10648] ≥ 5 trivial 24.61 24.61 0.73 32.07
#5529 [0, 0, 1, 0, -11647] ≥ 5 trivial 24.79 24.79 0.75 32.25
#5525 [0, 0, 1, 0, -12746] ≥ 5 trivial 24.97 24.97 0.76 32.43
#4901 [0, 0, 1, 0, -124494] ≥ 5 trivial 25.21 29.53 1.14 36.99
#5526 [0, 0, 1, 0, -15345] ≥ 5 trivial 25.35 25.35 0.79 32.80
#5527 [0, 0, 1, 0, -15770] ≥ 5 trivial 25.40 25.40 0.80 32.85
#4799 [0, 0, 1, 0, 28722] ≥ 5 trivial 25.50 26.60 0.90 34.05
#4803 [0, 0, 1, 0, 35524] ≥ 5 trivial 25.93 27.02 0.93 34.48
#4804 [0, 0, 1, 0, 37785] ≥ 5 trivial 26.05 27.15 0.94 34.60
#4806 [0, 0, 1, 0, 38487] ≥ 5 trivial 26.09 27.18 0.94 34.64
#5528 [0, 0, 1, 0, -23302] ≥ 5 trivial 26.18 26.18 0.86 33.64
#4781 [0, 0, 1, 0, 54865] ≥ 5 trivial 26.80 27.89 1.00 35.35
#4782 [0, 0, 1, 0, 55054] ≥ 5 trivial 26.80 27.90 1.00 35.36
#4706 [0, 0, 0, 0, 66265] ≥ 5 trivial 26.88 28.27 1.03 35.73
#4790 [0, 0, 0, 0, -1789155] ≥ 5 trivial 26.88 34.86 1.58 42.32
#4739 [0, 0, 0, 0, -5390481963] ≥ 5 trivial 28.19 50.88 2.92 58.34
#4714 [0, 0, 1, 0, 59899870280] ≥ 5 ℤ/3ℤ 29.50 55.70 3.32 63.16
#4741 [0, 0, 1, 0, -1617296497567] ≥ 5 trivial 29.50 62.29 3.87 69.75
#5109 [0, 0, 1, 0, -1871363967019] ≥ 5 trivial 29.64 62.58 3.89 70.04
#5498 [0, 0, 1, 0, 69309776556] ≥ 5 ℤ/3ℤ 29.64 55.99 3.34 63.45
#5111 [0, 0, 0, 0, -2403142067185…] ≥ 5 trivial 29.71 67.69 4.32 75.14
#5110 [0, 0, 0, 0, -1703506615470…] ≥ 5 trivial 30.47 67.00 4.26 74.46
#5108 [0, 0, 0, 0, -5506571052675] ≥ 5 trivial 30.72 64.74 4.07 72.20
#4709 [0, 0, 1, 0, 475] ≥ 4 trivial 18.40 18.40 0.21 25.85
#4934 [0, 0, 1, 0, -12832] ≥ 4 trivial 18.40 24.99 0.76 32.44
#4989 [0, 0, 1, 0, -825] ≥ 4 trivial 18.40 19.50 0.30 26.95
#4990 [0, 0, 1, 0, 22268] ≥ 4 trivial 18.40 26.09 0.85 33.54
#5222 [0, 0, 1, 0, -2619] ≥ 4 trivial 18.59 21.81 0.50 29.26
#5357 [0, 0, 1, 0, 70706] ≥ 4 trivial 18.59 28.40 1.05 35.86
#5442 [0, 0, 0, 0, -3896] ≥ 4 trivial 18.73 22.60 0.56 30.06
#5476 [0, 0, 0, 0, 105192] ≥ 4 trivial 18.73 29.20 1.11 36.65
#5074 [0, 0, 1, 0, -1007] ≥ 4 trivial 18.80 19.90 0.34 27.35
#5358 [0, 0, 1, 0, 27182] ≥ 4 trivial 18.80 26.49 0.89 33.94
#4705 [0, 0, 0, 0, 2089] ≥ 4 trivial 18.87 21.36 0.46 28.81
#4857 [0, 0, 0, 0, -56403] ≥ 4 trivial 18.87 27.95 1.01 35.40
#5346 [0, 0, 1, 0, -3394] ≥ 4 trivial 19.11 22.33 0.54 29.78
#4794 [0, 0, 1, 0, 729] ≥ 4 trivial 19.25 19.25 0.28 26.71
#4937 [0, 0, 1, 0, -19690] ≥ 4 trivial 19.25 25.84 0.83 33.30
#5158 [0, 0, 1, 0, 1284464] ≥ 4 trivial 19.29 34.20 1.53 41.65
#5183 [0, 0, 1, 0, -47573] ≥ 4 trivial 19.29 27.61 0.98 35.06
#4796 [0, 0, 1, 0, 2540] ≥ 4 trivial 19.55 21.75 0.49 29.20
#4938 [0, 0, 1, 0, -68587] ≥ 4 trivial 19.55 28.34 1.04 35.79
#4922 [0, 0, 1, 0, 267077] ≥ 4 trivial 19.67 31.06 1.27 38.51
#4949 [0, 0, 1, 0, -9892] ≥ 4 trivial 19.67 24.47 0.72 31.92
#5148 [0, 0, 1, 0, -1646] ≥ 4 trivial 19.78 20.88 0.42 28.34
#4919 [0, 0, 1, 0, 259288] ≥ 4 trivial 19.98 31.00 1.26 38.45
#4948 [0, 0, 1, 0, -7000783] ≥ 4 trivial 19.98 37.59 1.81 45.05
#4761 [0, 0, 0, 0, -2351] ≥ 4 trivial 20.21 21.59 0.48 29.05
#4778 [0, 0, 0, 0, 63477] ≥ 4 trivial 20.21 28.19 1.03 35.64
#4807 [0, 0, 1, 0, 1268] ≥ 4 trivial 20.36 20.36 0.38 27.81
#4715 [0, 0, 1, 0, 1546] ≥ 4 trivial 20.76 20.76 0.41 28.21
#4780 [0, 0, 1, 0, 1637] ≥ 4 trivial 20.87 20.87 0.42 28.32
#4788 [0, 0, 1, 0, 1870] ≥ 4 trivial 21.14 21.14 0.44 28.59
#4792 [0, 0, 1, 0, 2178] ≥ 4 trivial 21.44 21.44 0.47 28.90
#4800 [0, 0, 1, 0, 3067] ≥ 4 trivial 22.13 22.13 0.52 29.58
#4740 [0, 0, 0, 0, -8130418443] ≥ 4 trivial 23.11 51.71 2.99 59.16
#4738 [0, 0, 1, 0, -3175871497] ≥ 4 trivial 23.27 49.83 2.83 57.28
#5327 [0, 0, 1, 0, -2811375469] ≥ 4 trivial 24.32 49.58 2.81 57.04
#5313 [0, 0, 0, 0, -115506075] ≥ 4 trivial 24.35 43.20 2.28 50.65
#5318 [0, 0, 1, 0, -123745519] ≥ 4 trivial 24.41 43.34 2.29 50.79
#5319 [0, 0, 0, 0, -135273675] ≥ 4 trivial 24.50 43.51 2.31 50.97
#5325 [0, 0, 0, 0, -571485612] ≥ 4 trivial 24.56 46.40 2.55 53.85
#5320 [0, 0, 1, 0, -155628019] ≥ 4 trivial 24.64 43.79 2.33 51.25
#5321 [0, 0, 0, 0, -172596675] ≥ 4 trivial 24.75 44.00 2.35 51.46
#5322 [0, 0, 0, 0, -417083043] ≥ 4 trivial 25.63 45.77 2.49 53.22
#5323 [0, 0, 0, 0, -500236707] ≥ 4 trivial 25.81 46.13 2.52 53.58
#5324 [0, 0, 1, 0, -520070167] ≥ 4 trivial 25.85 46.21 2.53 53.66
#5326 [0, 0, 1, 0, -576257221] ≥ 4 trivial 25.95 46.41 2.55 53.87
#5112 [0, 0, 0, 0, -1367238210612…] ≥ 4 trivial 31.63 66.56 4.23 74.02
#4793 [0, 0, 1, 0, 722] ≥ 3 trivial 12.64 19.23 0.28 26.69
#4849 [0, 0, 1, 0, -27] ≥ 3 trivial 12.64 12.64 -0.27 20.10
#4824 [0, 0, 1, 0, -1546] ≥ 3 trivial 13.06 20.75 0.41 28.21
#4861 [0, 0, 1, 0, 57] ≥ 3 trivial 13.06 14.16 -0.14 21.62
#4826 [0, 0, 1, 0, -1735] ≥ 3 trivial 13.30 20.99 0.43 28.44
#4866 [0, 0, 1, 0, 64] ≥ 3 trivial 13.30 14.39 -0.12 21.85
#5440 [0, 0, 0, 0, 316] ≥ 3 trivial 13.71 17.58 0.14 25.03
#5477 [0, 0, 0, 0, -8532] ≥ 3 trivial 13.71 24.17 0.69 31.63
#4791 [0, 0, 1, 0, 649] ≥ 3 trivial 14.03 19.02 0.26 26.47
#4846 [0, 0, 1, 0, -17530] ≥ 3 trivial 14.03 25.61 0.81 33.07
#4713 [0, 0, 1, 0, 107912] ≥ 3 ℤ/3ℤ 14.07 29.25 1.12 36.70
#4736 [0, 0, 1, 0, -3997] ≥ 3 trivial 14.07 22.65 0.57 30.11
#4703 [0, 0, 0, 0, 113] ≥ 3 trivial 14.14 15.52 -0.03 22.98
#4818 [0, 0, 0, 0, -3051] ≥ 3 trivial 14.14 22.11 0.52 29.57
#4825 [0, 0, 1, 0, -519] ≥ 3 trivial 14.25 18.57 0.23 26.03
#4855 [0, 0, 1, 0, -64] ≥ 3 trivial 14.38 14.38 -0.12 21.83
#4786 [0, 0, 1, 0, 5745] ≥ 3 trivial 14.50 23.38 0.63 30.84
#4708 [0, 0, 1, 0, 118] ≥ 3 trivial 14.52 15.61 -0.02 23.07
#5441 [0, 0, 0, 0, 141] ≥ 3 trivial 14.58 15.97 0.01 23.42
#4836 [0, 0, 1, 0, -83] ≥ 3 trivial 14.90 14.90 -0.08 22.35
#4840 [0, 0, 1, 0, -92] ≥ 3 trivial 15.11 15.11 -0.06 22.56
#4784 [0, 0, 1, 0, 174] ≥ 3 trivial 15.29 16.39 0.04 23.84
#4787 [0, 0, 1, 0, 183] ≥ 3 trivial 15.39 16.49 0.05 23.94
#4789 [0, 0, 1, 0, 190] ≥ 3 trivial 15.47 16.57 0.06 24.02
#4732 [0, 0, 1, 0, 4906] ≥ 3 trivial 15.53 23.06 0.60 30.52
#4844 [0, 0, 1, 0, -126] ≥ 3 trivial 15.74 15.74 -0.01 23.19
#5170 [0, 0, 0, 0, -7022700] ≥ 3 trivial 15.76 37.60 1.81 45.05
#5493 [0, 0, 0, 0, 260100] ≥ 3 ℤ/3ℤ 15.76 31.01 1.26 38.46
#5178 [0, 0, 0, 0, -24162732] ≥ 3 trivial 15.90 40.07 2.02 47.52
#4795 [0, 0, 1, 0, 246] ≥ 3 trivial 15.98 17.08 0.10 24.54
#4704 [0, 0, 0, 0, -174] ≥ 3 trivial 16.39 16.39 0.04 23.84
#4801 [0, 0, 1, 0, 307] ≥ 3 trivial 16.43 17.52 0.14 24.98
#5179 [0, 0, 1, 0, -10835701] ≥ 3 trivial 16.49 38.47 1.88 45.92
#5499 [0, 0, 1, 0, 401322] ≥ 3 ℤ/3ℤ 16.49 31.87 1.34 39.33
#4828 [0, 0, 1, 0, -190] ≥ 3 trivial 16.56 16.56 0.06 24.01
#5172 [0, 0, 0, 0, -11940075] ≥ 3 trivial 16.58 38.66 1.90 46.11
#5495 [0, 0, 0, 0, 442225] ≥ 3 ℤ/3ℤ 16.58 32.07 1.35 39.52
#5180 [0, 0, 1, 0, -12102217] ≥ 3 trivial 16.60 38.69 1.90 46.14
#4802 [0, 0, 1, 0, 336] ≥ 3 trivial 16.61 17.70 0.15 25.16
#4830 [0, 0, 1, 0, -209] ≥ 3 trivial 16.75 16.75 0.07 24.21
#5166 [0, 0, 0, 0, -4922883] ≥ 3 trivial 16.80 36.89 1.75 44.34
#5489 [0, 0, 0, 0, 182329] ≥ 3 ℤ/3ℤ 16.80 30.30 1.20 37.75
#4832 [0, 0, 1, 0, -216] ≥ 3 trivial 16.82 16.82 0.08 24.27
#5177 [0, 0, 0, 0, -21821427] ≥ 3 trivial 17.19 39.87 2.00 47.32
#5171 [0, 0, 0, 0, -8497467] ≥ 3 trivial 17.34 37.98 1.84 45.43
#5494 [0, 0, 0, 0, 314721] ≥ 3 ℤ/3ℤ 17.34 31.39 1.29 38.84
#5174 [0, 0, 0, 0, -13725963] ≥ 3 trivial 17.82 38.94 1.92 46.39
#5175 [0, 0, 0, 0, -14825187] ≥ 3 trivial 17.90 39.09 1.94 46.55
#5176 [0, 0, 0, 0, -16300683] ≥ 3 trivial 17.99 39.28 1.95 46.74
#4827 [0, 0, 1, 0, -6] ≥ 2 trivial 8.47 9.57 -0.52 17.02
#4935 [0, 0, 1, 0, 155] ≥ 2 trivial 8.47 16.16 0.03 23.61
#4835 [0, 0, 1, 0, -8] ≥ 2 trivial 9.07 10.16 -0.47 17.62
#4936 [0, 0, 1, 0, 209] ≥ 2 trivial 9.07 16.76 0.08 24.21
#2947 [0, 0, 1, 0, 90] ≥ 2 ℤ/3ℤ 9.18 15.07 -0.06 22.53
#4735 [0, 0, 1, 0, -2437] ≥ 2 trivial 9.18 21.67 0.48 29.12
#5438 [0, 0, 0, 0, 17] ≥ 2 trivial 9.25 11.73 -0.34 19.19
#5439 [0, 0, 0, 0, -459] ≥ 2 trivial 9.25 18.33 0.21 25.78
#4820 [0, 0, 0, 0, 297] ≥ 2 trivial 9.48 17.46 0.13 24.91
#4850 [0, 0, 0, 0, -11] ≥ 2 trivial 9.48 10.86 -0.42 18.32
#5437 [0, 0, 0, 0, 24] ≥ 2 trivial 9.65 12.42 -0.29 19.88
#4829 [0, 0, 1, 0, -196] ≥ 2 trivial 10.03 16.62 0.06 24.08
#4868 [0, 0, 1, 0, 7] ≥ 2 trivial 10.03 10.03 -0.49 17.49
#2954 [0, 0, 0, 0, 225] ≥ 2 ℤ/3ℤ 10.10 16.90 0.09 24.36
#5165 [0, 0, 0, 0, -6075] ≥ 2 trivial 10.10 23.49 0.64 30.95
#4834 [0, 0, 1, 0, -7448] ≥ 2 trivial 10.16 23.90 0.67 31.35
#4797 [0, 0, 1, 0, 8] ≥ 2 trivial 10.29 10.29 -0.46 17.74
#4833 [0, 0, 1, 0, -223] ≥ 2 trivial 10.29 16.88 0.09 24.34
#4852 [0, 0, 1, 0, -15] ≥ 2 trivial 10.35 11.45 -0.37 18.91
#4831 [0, 0, 1, 0, -2144] ≥ 2 trivial 10.41 21.41 0.46 28.86
#3251 [0, 0, 1, 0, 342] ≥ 2 ℤ/3ℤ 10.52 17.74 0.16 25.19
#5421 [0, 0, 1, 0, -9241] ≥ 2 trivial 10.52 24.33 0.71 31.79
#5426 [0, 0, 0, 0, -147] ≥ 2 trivial 10.77 16.05 0.02 23.50
#4821 [0, 0, 0, 0, -405] ≥ 2 trivial 11.48 18.08 0.19 25.53
#4845 [0, 0, 0, 0, 15] ≥ 2 trivial 11.48 11.48 -0.36 18.94
#4851 [0, 0, 1, 0, -35] ≥ 2 trivial 12.07 13.16 -0.22 20.62
#4847 [0, 0, 1, 0, -21] ≥ 2 trivial 12.13 12.13 -0.31 19.59
#4848 [0, 0, 1, 0, -22] ≥ 2 trivial 12.23 12.23 -0.30 19.68
#4869 [0, 0, 1, 0, 26] ≥ 2 trivial 12.60 12.60 -0.27 20.06
#4837 [0, 0, 1, 0, -84] ≥ 2 trivial 14.92 14.92 -0.08 22.38
#4839 [0, 0, 1, 0, -85] ≥ 2 trivial 14.95 14.95 -0.08 22.40
#4841 [0, 0, 1, 0, -95] ≥ 2 trivial 15.17 15.17 -0.06 22.63
#4843 [0, 0, 1, 0, -103] ≥ 2 trivial 15.33 15.33 -0.04 22.79
#299 [0, 0, 0, 0, 10000000005900…] ≥ 2 trivial 104.46 116.59 8.39 124.05
#298 [0, 0, 0, 0, 10000000000140…] ≥ 2 trivial 108.85 116.59 8.39 124.05
#4875 [0, 0, 1, 0, -34] ≥ 1 trivial 5.42 13.11 -0.23 20.56
#4877 [0, 0, 1, 0, 1] ≥ 1 trivial 5.42 6.51 -0.78 13.97
#4733 [0, 0, 1, 0, -1] ≥ 1 trivial 5.49 5.49 -0.86 12.95
#4858 [0, 0, 1, 0, 20] ≥ 1 ℤ/3ℤ 5.49 12.08 -0.31 19.54
#5428 [0, 0, 0, 0, -4] ≥ 1 trivial 6.07 8.84 -0.58 16.30
#5433 [0, 0, 0, 0, 108] ≥ 1 trivial 6.07 15.43 -0.04 22.89
#4876 [0, 0, 1, 0, 12] ≥ 1 ℤ/3ℤ 6.09 11.08 -0.40 18.53
#4942 [0, 0, 1, 0, -331] ≥ 1 trivial 6.09 17.67 0.15 25.13
#5430 [0, 0, 0, 0, 8] ≥ 1 ℤ/2ℤ 6.36 10.23 -0.47 17.68
#5434 [0, 0, 0, 0, -216] ≥ 1 ℤ/2ℤ 6.36 16.82 0.08 24.27
#4873 [0, 0, 1, 0, 31] ≥ 1 trivial 6.51 12.95 -0.24 20.41
#4943 [0, 0, 1, 0, -844] ≥ 1 trivial 6.51 19.54 0.31 27.00
#5120 [0, 0, 0, 0, -2700] ≥ 1 trivial 6.80 21.87 0.50 29.33
#5185 [0, 0, 0, 0, 100] ≥ 1 ℤ/3ℤ 6.80 15.28 -0.05 22.73
#3245 [0, 0, 0, 0, 9] ≥ 1 ℤ/3ℤ 6.88 10.46 -0.45 17.92
#4734 [0, 0, 0, 0, -243] ≥ 1 trivial 6.88 17.05 0.10 24.51
#5164 [0, 0, 0, 0, -972] ≥ 1 trivial 6.88 19.83 0.33 27.28
#5184 [0, 0, 0, 0, 36] ≥ 1 ℤ/3ℤ 6.88 13.24 -0.22 20.69
#4860 [0, 0, 1, 0, -2] ≥ 1 trivial 7.19 7.19 -0.72 14.64
#4879 [0, 0, 1, 0, 47] ≥ 1 trivial 7.19 13.78 -0.17 21.23
#4872 [0, 0, 1, 0, -88] ≥ 1 trivial 7.33 15.02 -0.07 22.47
#4874 [0, 0, 1, 0, 3] ≥ 1 trivial 7.33 8.43 -0.62 15.88
#4822 [0, 0, 0, 0, -54] ≥ 1 trivial 7.45 14.05 -0.15 21.50
#4823 [0, 0, 0, 0, 54] ≥ 1 trivial 7.45 14.05 -0.15 21.50
#4853 [0, 0, 0, 0, 2] ≥ 1 trivial 7.45 7.45 -0.70 14.91
#4854 [0, 0, 0, 0, -2] ≥ 1 trivial 7.45 7.45 -0.70 14.91
#5429 [0, 0, 0, 0, 5] ≥ 1 trivial 7.90 9.29 -0.55 16.74
#5427 [0, 0, 0, 0, 3] ≥ 1 trivial 8.27 8.27 -0.63 15.72
#5531 [0, 0, 1, 0, -1141] ≥ 1 trivial 8.43 20.15 0.36 27.60
#5117 [0, 0, 0, 0, -5292] ≥ 1 trivial 8.57 23.22 0.61 30.67
#4878 [0, 0, 1, 0, 4] ≥ 1 trivial 8.96 8.96 -0.57 16.42
#4859 [0, 0, 1, 0, 5] ≥ 1 trivial 9.38 9.38 -0.54 16.84
#5118 [0, 0, 0, 0, -4563] ≥ 1 trivial 9.81 22.92 0.59 30.37
#5425 [0, 0, 0, 0, -75] ≥ 1 trivial 10.10 14.70 -0.10 22.16
#4871 [0, 0, 1, 0, -9] ≥ 1 trivial 10.41 10.41 -0.45 17.86
#5119 [0, 0, 1, 0, -8269] ≥ 1 trivial 10.41 24.11 0.69 31.56
#870 [0, 0, 1, 0, 0] ≥ 0 ℤ/3ℤ 3.30 3.30 -1.05 10.75
#890 [0, 0, 1, 0, -7] ≥ 0 ℤ/3ℤ 3.30 9.89 -0.50 17.34
#924 [0, 0, 0, 0, 1] ≥ 0 ℤ/6ℤ 3.58 6.07 -0.82 13.52
#4838 [0, 0, 0, 0, -27] ≥ 0 ℤ/2ℤ 3.58 12.66 -0.27 20.11
#5113 [0, 0, 0, 0, -108] ≥ 0 trivial 4.68 15.43 -0.04 22.89
#5186 [0, 0, 0, 0, 4] ≥ 0 ℤ/3ℤ 4.68 8.84 -0.58 16.30
#4842 [0, 0, 0, 0, 27] ≥ 0 ℤ/2ℤ 4.97 12.66 -0.27 20.11
#4856 [0, 0, 0, 0, -1] ≥ 0 ℤ/2ℤ 4.97 6.07 -0.82 13.52
#5114 [0, 0, 1, 0, -4219] ≥ 0 trivial 5.42 22.76 0.58 30.22
#5187 [0, 0, 1, 0, 156] ≥ 0 ℤ/3ℤ 5.42 16.17 0.03 23.63
#4864 [0, 0, 1, 0, -61] ≥ 0 trivial 5.49 14.28 -0.13 21.74
#4867 [0, 0, 1, 0, 2] ≥ 0 ℤ/3ℤ 5.49 7.69 -0.68 15.15
#4865 [0, 0, 1, 0, 6] ≥ 0 ℤ/3ℤ 6.51 9.73 -0.51 17.19
#5422 [0, 0, 1, 0, -169] ≥ 0 trivial 6.51 16.33 0.04 23.78
#5423 [0, 0, 0, 0, -3] ≥ 0 trivial 6.88 8.27 -0.63 15.72
#5424 [0, 0, 0, 0, -12] ≥ 0 trivial 6.88 11.04 -0.40 18.49
#5115 [0, 0, 1, 0, -817] ≥ 0 trivial 6.99 19.48 0.30 26.93
#5116 [0, 0, 0, 0, -675] ≥ 0 trivial 7.90 19.10 0.27 26.55
#4870 [0, 0, 1, 0, -3] ≥ 0 trivial 8.09 8.09 -0.65 15.55
#4863 [0, 0, 1, 0, -19] ≥ 0 trivial 8.71 11.93 -0.33 19.39