Elliptic Curve Rank Leaderboard

Curves with rank lower bound ≥ 17

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 811 of 4205 curves
curve a-invariants rank torsion log N log |Δ| Faltings height naive height
#3900 [1, 0, 0, -3940426800090…, 29972230203581…] ≥ 31 trivial 325.25 404.20 32.53 416.38
#752 [1, 0, 1, -3676470571326…, 98299706024123…] ≥ 31 trivial 329.44 414.46 33.26 423.35
#3842 [1, -1, 1, -8283605744379…, 10696452582629…] ≥ 31 trivial 330.79 410.13 32.90 418.91
#848 [1, 0, 0, -1116466441828…, 45234770608313…] ≥ 31 trivial 333.08 400.25 32.21 412.59
#3845 [1, 0, 0, -4214067749659…, 33298967813974…] ≥ 31 trivial 338.19 427.88 34.70 444.21
#846 [1, 0, 0, -8903886886058…, 10383942932786…] ≥ 31 trivial 340.29 394.08 31.64 405.04
#3856 [0, 1, 0, -3961378257896…, 95705220291190…] ≥ 31 trivial 342.89 410.63 33.09 423.30
#4029 [1, 0, 0, -8195829956634…, 88305598351542…] ≥ 31 trivial 346.75 421.81 33.93 432.39
#845 [1, 0, 0, -6890645832588…, 21972625654265…] ≥ 31 trivial 348.28 425.78 34.36 438.78
#3926 [1, 0, 1, -3060769098988…, 20561800937356…] ≥ 31 trivial 348.68 416.63 33.59 429.43
#3857 [1, 1, 1, -4362362153060…, 35120382342661…] ≥ 31 trivial 349.39 417.20 33.66 430.50
#751 [1, -1, 0, -3134548491017…, 66974244086367…] ≥ 31 trivial 360.77 424.88 34.23 436.41
#302 [1, 1, 1, -1284727764113…, 56036832145426…] ≥ 31 trivial 375.22 453.05 36.74 468.28
#3545 [1, 0, 0, -1322551785398…, 55452317563606…] ≥ 31 trivial 381.61 458.63 36.97 468.36
#724 [1, 0, 0, -5001558189388…, 13572664950135…] ≥ 31 trivial 386.84 452.90 36.60 465.45
#3587 [1, 0, 0, -4653858206784…, 12202016210404…] ≥ 31 trivial 401.61 465.76 37.71 479.05
#3593 [1, -1, 1, -9526711476845…, 46320690718187…] ≥ 31 trivial 409.53 487.16 39.31 495.53
#3897 [0, 1, 0, -4587543358931…, 11926002057406…] ≥ 30 trivial 279.89 342.03 27.37 354.66
#3792 [1, 0, 0, -4098141596902…, 10104627355538…] ≥ 30 trivial 293.02 367.89 29.59 381.96
#4031 [1, 0, 0, -2834307652069…, 19310796059394…] ≥ 30 trivial 300.63 378.05 30.26 387.86
#3837 [1, 0, 0, -1397137398325…, 63579973743948…] ≥ 30 trivial 302.74 384.44 31.01 399.45
#398 [1, 0, 0, -1289259977445…, 56075504634839…] ≥ 30 trivial 304.98 400.92 32.25 413.03
#3869 [0, 1, 0, -2229591518961…, 12811503617206…] ≥ 30 trivial 307.36 371.75 29.97 387.04
#3422 [0, 1, 0, -1403690649658…, 20330956262404…] ≥ 30 trivial 307.90 352.74 28.24 364.94
#3868 [1, 1, 0, -1642701139192…, 81044676718443…] ≥ 30 trivial 311.10 370.03 29.87 386.12
#3898 [0, 1, 0, -2052962004410…, 85628753138890…] ≥ 30 trivial 311.34 378.49 30.25 386.79
#4034 [1, 0, 0, -2171478679014…, 38699482352077…] ≥ 30 trivial 316.97 423.49 34.12 435.31
#3841 [1, 0, 0, -2934096924860…, 62632505752474…] ≥ 30 trivial 318.09 398.10 31.96 408.63
#1766 [1, 0, 0, -2750383399686…, 59612650110392…] ≥ 30 trivial 319.69 412.87 33.15 422.35
#3899 [1, 0, 0, -2746692311281…, 54092881535727…] ≥ 30 trivial 322.92 384.06 30.78 394.57
#3873 [0, 0, 0, -1581589324389…, 76617015317149…] ≥ 30 trivial 323.25 399.72 32.23 413.64
#1765 [0, 1, 0, -7881991213096…, 28354485776494…] ≥ 30 trivial 323.69 388.06 31.09 397.84
#819 [1, 0, 0, -6495649539452…, 63027456602332…] ≥ 30 trivial 324.78 378.96 30.39 390.25
#4032 [0, 1, 0, -1201491108930…, 18790993345506…] ≥ 30 trivial 325.03 383.65 30.69 392.41
#3870 [0, 1, 0, -9972939709506…, 98388049480660…] ≥ 30 trivial 325.09 383.00 30.63 391.53
#3874 [0, 1, 0, -1586623788437…, 77065873118412…] ≥ 30 trivial 325.44 414.41 33.42 427.47
#3567 [1, -1, 1, -3435682356668…, 19874455250473…] ≥ 30 trivial 326.60 393.62 31.52 402.15
#3579 [1, 0, 0, -1973363778157…, 10744078567379…] ≥ 30 trivial 327.85 402.58 32.38 414.32
#3432 [1, 0, 0, -4145899592619…, 10235765988595…] ≥ 30 trivial 329.15 383.47 30.81 395.81
#3772 [1, 0, 0, -1052458062289…, 41546073567641…] ≥ 30 trivial 331.49 397.50 32.10 412.42
#715 [1, 0, 0, -1679004499732…, 26418612714859…] ≥ 30 trivial 333.13 407.90 32.87 420.73
#3773 [1, -1, 1, -3547734409526…, 25718625797957…] ≥ 30 trivial 335.83 399.62 32.35 416.06
#3872 [1, 0, 0, -1440153332432…, 66651265801578…] ≥ 30 trivial 337.16 386.54 31.09 399.55
#273 [1, 0, 0, -2017690352604…, 11511079391410…] ≥ 30 trivial 339.35 432.12 34.77 442.09
#3871 [1, 0, 0, -2463136883753…, 53647853529681…] ≥ 30 trivial 339.36 385.59 30.86 394.51
#1845 [0, 0, 0, -3168235150996…, 67203942736728…] ≥ 30 trivial 347.24 411.99 33.12 422.63
#717 [1, 0, 0, -2052692960467…, 28269786512731…] ≥ 30 trivial 347.82 412.90 33.12 421.33
#684 [1, 0, 0, -3548762533798…, 91542842811256…] ≥ 30 trivial 347.86 441.82 35.55 450.84
#3568 [1, -1, 1, -6381801692903…, 63243823102798…] ≥ 30 trivial 349.04 393.30 31.56 404.05
#582 [1, 0, 0, -1803195243443…, 29183115887827…] ≥ 30 trivial 363.21 437.18 35.25 448.57
#3835 [1, 0, 0, -8627907103327…, 30971754295011…] ≥ 29 trivial 265.37 344.29 27.54 356.57
#3895 [1, 0, 0, -1534127213299…, 23132490049982…] ≥ 29 trivial 265.59 322.23 25.85 337.56
#4030 [1, 0, 0, -3915103529771…, 81259884168171…] ≥ 29 trivial 267.24 331.56 26.35 340.37
#3896 [1, 0, 0, -3822459097618…, 91968781629487…] ≥ 29 trivial 271.88 342.86 27.38 354.14
#3771 [1, 0, 0, -7651939281551…, 16886644932728…] ≥ 29 trivial 273.65 362.00 28.87 370.01
#728 [1, 0, 0, -2695272471630…, 58070645430746…] ≥ 29 trivial 275.32 357.61 28.54 367.03
#4088 [1, -1, 0, -1750396705504…, 89462689062839…] ≥ 29 trivial 275.67 318.68 25.41 331.06
#3577 [1, 0, 0, -5996165352822…, 16444679018757…] ≥ 29 trivial 278.47 346.14 27.58 355.47
#3770 [1, -1, 0, -1262738198438…, 54549384979346…] ≥ 29 trivial 279.63 344.23 27.59 357.70
#3864 [0, 1, 0, -3733775913554…, 27935373603927…] ≥ 29 trivial 280.84 321.44 25.62 333.33
#3769 [1, -1, 0, -8402721511290…, 29915728702683…] ≥ 29 trivial 282.46 345.02 27.57 356.50
#3739 [1, 0, 0, -6064810055984…, 42494882122498…] ≥ 29 trivial 283.96 354.16 28.22 362.41
#3840 [1, 0, 0, -5860809872007…, 17279357124827…] ≥ 29 trivial 286.04 341.15 27.37 355.40
#3866 [1, -1, 1, -1712056371922…, 27134729768478…] ≥ 29 trivial 287.67 325.79 25.99 337.89
#847 [1, 0, 0, -2729907813046…, 15186393506666…] ≥ 29 trivial 288.24 351.11 27.99 360.01
#3768 [1, -1, 1, -1609464537315…, 25001376588434…] ≥ 29 trivial 288.80 339.65 27.14 351.53
#3578 [1, -1, 1, -6817920111441…, 21719320993920…] ≥ 29 trivial 290.09 343.04 27.46 355.86
#3867 [1, 0, 0, -8967277611382…, 32934534993106…] ≥ 29 trivial 291.34 345.04 27.58 356.69
#817 [1, 0, 0, -4344574600050…, 35681906690471…] ≥ 29 trivial 291.96 378.55 30.33 389.09
#4044 [1, 0, 0, -2819938906619…, 57870557820143…] ≥ 29 trivial 292.60 340.93 27.26 353.21
#3588 [1, -1, 1, -6225908449799…, 20061322583644…] ≥ 29 trivial 292.69 346.05 27.59 355.70
#3551 [0, 1, 0, -2321652341338…, 43135967315528…] ≥ 29 trivial 292.99 339.56 27.18 352.62
#4028 [1, 1, 1, -4284079954890…, 71155462727252…] ≥ 29 trivial 293.63 341.30 27.13 349.02
#1843 [0, 1, 0, -3369016350358…, 70698067086567…] ≥ 29 trivial 294.37 357.96 28.58 367.55
#3557 [1, 0, 0, -1533976805855…, 72604084425919…] ≥ 29 trivial 294.62 346.58 27.71 358.28
#818 [1, 0, 0, -3769886486772…, 69359739347729…] ≥ 29 trivial 295.73 373.32 29.82 381.71
#827 [0, 1, 0, -4491970142384…, 12133070584363…] ≥ 29 trivial 295.76 358.62 28.64 368.51
#1392 [0, 1, 0, -1012621607539…, 12461776334855…] ≥ 29 trivial 296.95 351.84 28.16 363.96
#1844 [0, 1, 0, -2468453417299…, 16558170545316…] ≥ 29 trivial 298.97 364.61 29.12 373.74
#4036 [1, -1, 1, -2068083997717…, 35763418219340…] ≥ 29 trivial 299.66 341.09 27.23 352.27
#692 [1, 0, 0, -2219824741881…, 35925615261202…] ≥ 29 trivial 300.13 371.07 29.65 380.12
#3720 [1, 0, 0, -7652858946939…, 80775611096478…] ≥ 29 trivial 301.03 351.60 28.12 363.11
#731 [1, 0, 0, -1070854797641…, 43222957983039…] ≥ 29 trivial 301.70 373.77 29.95 384.86
#1385 [1, -1, 1, -6219292758775…, 18904201373673…] ≥ 29 trivial 301.93 369.86 29.72 383.21
#693 [0, 1, 0, -2061017599086…, 36878430076454…] ≥ 29 trivial 302.56 397.05 31.87 407.57
#857 [1, 1, 1, -1475653266186…, 68873347827081…] ≥ 29 trivial 303.15 358.89 28.79 371.98
#1388 [1, -1, 1, -2167206242540…, 39143445242357…] ≥ 29 trivial 303.31 354.64 28.38 366.25
#809 [1, -1, 1, -7039598348668…, 22735039547489…] ≥ 29 trivial 304.56 380.90 30.80 397.39
#399 [1, 0, 0, -1122638888418…, 45019426548276…] ≥ 29 trivial 306.00 401.75 32.27 412.61
#4033 [1, 0, 1, -3363028110766…, 69957897356498…] ≥ 29 trivial 309.61 344.25 27.43 353.73
#1842 [0, 1, 0, -6903391083041…, 22463911478337…] ≥ 29 trivial 312.09 345.09 27.55 355.92
#3431 [0, 0, 0, -1766183547840…, 28556806087110…] ≥ 29 trivial 314.62 351.13 28.21 365.62
#356 [0, 1, 0, -2439187674471…, 46943906433780…] ≥ 29 trivial 317.89 383.07 30.73 394.24
#816 [1, 0, 0, -4082329307875…, 31648198951982…] ≥ 29 trivial 327.27 390.14 31.37 402.67
#719 [1, 0, 0, -3551607220526…, 81533224999298…] ≥ 29 trivial 331.04 436.72 35.32 450.61
#543 [1, 0, 0, -7485602905718…, 82713802842012…] ≥ 29 trivial 331.55 394.74 31.65 404.58
#579 [0, 1, 0, -2197382726409…, 32559411551889…] ≥ 29 trivial 339.24 412.96 33.13 421.53
#12 [1, 0, 0, -2700618324163…, 55258058551342…] ≥ 29 trivial 343.72 425.44 34.24 436.01
#385 [1, -1, 1, -3318274966744…, 23228532820536…] ≥ 29 trivial 345.65 430.29 34.75 443.49
#808 [1, 0, 0, -1701294948517…, 27588128433763…] ≥ 29 trivial 346.40 396.36 31.81 406.99
#3762 [1, -1, 1, -1943711712401…, 32811883327559…] ≥ 28 trivial 242.93 298.62 23.72 310.64
#3861 [1, 1, 1, -4267142609424…, 33987799547261…] ≥ 28 trivial 249.47 306.81 24.45 319.91
#3919 [0, -1, 0, -3318296635770…, 23260808169917…] ≥ 28 trivial 249.93 303.98 24.32 319.15
#3863 [1, 0, 1, -2356390572083…, 47075392633829…] ≥ 28 trivial 250.82 329.45 26.20 338.98
#3763 [0, 1, 0, -8539511541823…, 29814559944351…] ≥ 28 trivial 254.48 304.32 24.15 315.08
#729 [1, 0, 0, -4341658947509…, 11891969904721…] ≥ 28 trivial 254.73 331.43 26.36 340.84
#1393 [1, 0, 0, -1153289144392…, 47712996503581…] ≥ 28 trivial 257.20 316.00 25.25 329.80
#3838 [1, 0, 0, -5705244439710…, 16514759577995…] ≥ 28 trivial 258.08 315.48 25.14 327.69
#3893 [1, 0, 0, -3405324705900…, 24475550135699…] ≥ 28 trivial 258.89 308.05 24.48 319.25
#3862 [1, 0, 1, -3132358014522…, 68802021969921…] ≥ 28 trivial 259.61 315.21 25.05 325.93
#3894 [1, 0, 0, -3740669774748…, 32010370053700…] ≥ 28 trivial 259.67 338.55 26.94 347.42
#3854 [1, -1, 1, -4781157890529…, 48193588635978…] ≥ 28 trivial 261.08 325.78 25.87 334.43
#613 [0, 1, 0, -1107604775133…, 43299169350019…] ≥ 28 trivial 261.42 333.36 26.55 343.49
#726 [1, 0, 0, -4827965089853…, 38701221767869…] ≥ 28 trivial 262.55 351.98 28.09 361.72
#3855 [0, 0, 0, -1365544794022…, 19641088255738…] ≥ 28 trivial 265.51 325.97 25.97 337.24
#4035 [1, 1, 0, -2170454549922…, 12364156592190…] ≥ 28 trivial 266.29 305.74 24.32 317.89
#3818 [1, 0, 0, -4476387259413…, 11274980614518…] ≥ 28 trivial 267.16 344.00 27.45 354.59
#4024 [1, 1, 1, -8605955895520…, 29753911343471…] ≥ 28 trivial 268.83 304.88 24.18 315.10
#3850 [1, 0, 0, -2441378836242…, 15365026440334…] ≥ 28 trivial 269.12 308.43 24.46 318.32
#3851 [1, 0, 0, -3449632259821…, 75232919318974…] ≥ 28 trivial 269.38 316.05 25.10 326.18
#3764 [0, 1, 0, -2887361902143…, 19361010302257…] ≥ 28 trivial 269.57 322.12 25.62 332.60
#689 [1, 0, 0, -2408214175466…, 11826617260736…] ≥ 28 trivial 269.83 337.24 26.82 345.82
#4089 [0, 1, 0, -8926348659862…, 99238472333975…] ≥ 28 trivial 270.17 298.12 23.61 308.31
#3791 [0, 1, 0, -1267511693911…, 17788012567100…] ≥ 28 trivial 271.03 354.15 28.29 364.67
#3790 [1, 0, 0, -6636591581221…, 66225947671334…] ≥ 28 trivial 272.22 323.24 25.77 335.06
#1391 [1, 0, 0, -1594004883499…, 75926464472051…] ≥ 28 trivial 272.89 347.71 27.76 358.40
#1841 [1, 0, 0, -7997445396315…, 27483097130657…] ≥ 28 trivial 273.02 356.97 28.64 370.15
#3839 [1, 0, 0, -4055648439911…, 31913924419645…] ≥ 28 trivial 273.23 322.63 25.68 333.60
#3849 [1, -1, 0, -1506545495063…, 71029152860301…] ≥ 28 trivial 273.33 303.82 24.20 316.78
#400 [1, 0, 0, -2847874483810…, 58635720945607…] ≥ 28 trivial 274.49 354.25 28.39 367.05
#1840 [1, 0, 0, -5147550501498…, 44930302648413…] ≥ 28 trivial 274.77 347.52 27.91 361.92
#3767 [1, 0, 0, -2203362364098…, 12267591661511…] ≥ 28 trivial 274.88 362.74 29.01 373.19
#3853 [1, 1, 0, -4167651837141…, 10801976290132…] ≥ 28 trivial 275.29 316.86 25.17 326.83
#1838 [1, 0, 1, -5921341610039…, 17547737575563…] ≥ 28 trivial 276.02 341.18 27.37 355.43
#1389 [0, 1, 0, -3608975996914…, 26346619884875…] ≥ 28 trivial 276.17 333.84 26.71 347.04
#3576 [0, 1, 0, -1195639619672…, 50914019745958…] ≥ 28 trivial 279.08 332.53 26.52 343.75
#3860 [1, 0, 1, -3864060914177…, 31091450970139…] ≥ 28 trivial 279.82 310.12 24.59 319.73
#3429 [1, -1, 1, -1802557687022…, 30708160212876…] ≥ 28 trivial 279.88 341.96 27.26 351.94
#3572 [1, -1, 0, -2479432928530…, 15004821937163…] ≥ 28 trivial 280.20 318.82 25.46 332.09
#3789 [0, 1, 0, -2399590224585…, 99312098861166…] ≥ 28 trivial 280.38 323.88 25.70 332.00
#3602 [0, 1, 0, -8848731226961…, 38932707329267…] ≥ 28 trivial 280.80 320.81 25.45 329.39
#3766 [1, 0, 1, -2880007595622…, 59475614097603…] ≥ 28 trivial 281.84 324.31 26.01 339.45
#3574 [1, 0, 0, -9805175431075…, 37365348283288…] ≥ 28 trivial 282.35 327.51 26.30 343.13
#3765 [1, 0, 0, -6348442729357…, 60478377644486…] ≥ 28 trivial 282.40 324.11 25.80 334.91
#1839 [1, 0, 0, -6790230636963…, 22189702787203…] ≥ 28 trivial 284.16 345.60 27.57 355.90
#3561 [1, 0, 1, -2750616591267…, 53391440442331…] ≥ 28 trivial 284.47 315.46 25.05 325.50
#3575 [1, -1, 1, -1069079866322…, 43121528314800…] ≥ 28 trivial 286.06 332.33 26.50 343.41
#1390 [0, 0, 0, -1348563007659…, 19195671484860…] ≥ 28 trivial 286.73 353.09 28.25 364.82
#3852 [0, 0, 0, -3476549271377…, 79731413777477…] ≥ 28 trivial 287.10 314.89 25.05 326.22
#3573 [1, 0, 1, -8321870298112…, 29678348939035…] ≥ 28 trivial 287.12 331.73 26.44 342.67
#1837 [1, -1, 1, -8533020035946…, 90842475872750…] ≥ 28 trivial 290.70 339.89 27.08 349.62
#3733 [0, 1, 0, -2030836362952…, 11159522869797…] ≥ 28 trivial 292.41 332.24 26.57 345.31
#3430 [0, 1, 0, -1223494376800…, 52200700509255…] ≥ 28 trivial 292.75 344.70 27.60 357.61
#723 [1, 0, 0, -5665164947414…, 17447225019358…] ≥ 28 trivial 293.12 373.43 29.87 383.05
#3556 [0, 1, 1, -3125229222804…, 21101875395855…] ≥ 28 trivial 293.33 334.97 26.74 346.60
#1386 [0, 1, 0, -1149949192482…, 14747307816557…] ≥ 28 trivial 293.81 367.33 29.40 378.14
#1764 [1, 0, 1, -8454543806792…, 10038097348976…] ≥ 28 trivial 294.11 353.88 28.24 363.52
#3732 [1, -1, 0, -9554242798575…, 36616912467083…] ≥ 28 trivial 296.35 332.32 26.48 343.09
#722 [1, 0, 0, -5152250234687…, 11153142351341…] ≥ 28 trivial 296.81 360.42 28.75 368.83
#395 [1, -1, 1, -1571436138788…, 74572864524469…] ≥ 28 trivial 297.51 375.11 30.05 385.99
#1394 [1, -1, 1, -6078624890026…, 57269382975418…] ≥ 28 trivial 299.16 350.72 28.05 362.42
#423 [1, 0, 0, -2777623740454…, 17457165649209…] ≥ 28 trivial 299.37 390.84 31.36 401.51
#615 [1, 0, 0, -2382061443891…, 28922404172177…] ≥ 28 trivial 299.98 365.92 29.18 373.42
#391 [1, 0, 0, -2533580830669…, 15818917486191…] ≥ 28 trivial 300.43 390.53 31.33 401.27
#1387 [0, 1, 0, -2244768669885…, 41433615071223…] ≥ 28 trivial 304.78 355.17 28.40 366.36
#635 [1, 0, 0, -7362759937775…, 23646078749575…] ≥ 28 trivial 306.30 373.35 29.89 383.71
#531 [1, 0, 0, -1443487482540…, 66629508359708…] ≥ 28 trivial 307.16 358.86 28.79 371.92
#364 [1, 1, 1, -1307500861006…, 18384836769279…] ≥ 28 trivial 307.81 367.20 29.41 378.55
#618 [1, 0, 0, -6970137122541…, 22335442032364…] ≥ 28 trivial 307.97 398.54 32.08 411.18
#403 [1, 0, 0, -4789549597347…, 40388950701005…] ≥ 28 trivial 313.99 375.75 30.22 389.33
#536 [1, 0, 0, -2063039700273…, 11463632399445…] ≥ 28 trivial 316.65 388.58 31.22 400.63
#619 [1, 0, 0, -1382175065636…, 20242130248207…] ≥ 28 trivial 318.98 409.64 32.92 420.19
#633 [1, 0, 0, -4818054992018…, 37879967083194…] ≥ 28 trivial 320.92 393.70 31.55 403.17
#545 [1, -1, 1, -2626518053858…, 52202360216817…] ≥ 28 trivial 322.54 382.79 30.72 394.45
#11 [1, -1, 1, -2006776241557…, 34481611795030…] ≥ 28 trivial 325.90 381.20 30.62 393.63
#617 [0, 0, 0, -1243709484034…, 54848633773028…] ≥ 28 trivial 329.65 374.94 30.02 385.34
#616 [0, 1, 0, -3654616687548…, 27183952546218…] ≥ 28 trivial 334.16 418.69 33.70 429.99
#581 [1, 0, 0, -3119558663717…, 21249667847085…] ≥ 28 trivial 337.72 402.70 32.44 415.68
#620 [1, 0, 0, -4159381325735…, 10259184475722…] ≥ 28 trivial 342.02 411.63 33.13 423.45
#580 [1, 0, 0, -7840182382694…, 88374410056343…] ≥ 28 trivial 342.08 408.62 32.81 418.53
#534 [1, 0, 0, -4490028373400…, 11573405293947…] ≥ 28 trivial 343.19 409.50 33.06 423.68
#636 [0, 1, 0, -8451453402582…, 28863778245289…] ≥ 28 trivial 344.99 415.44 33.39 425.57
#544 [1, 0, 0, -1232908441991…, 16968416538854…] ≥ 28 trivial 345.53 395.23 31.73 406.02
#638 [1, 0, 0, -2160114071712…, 45527987555658…] ≥ 28 trivial 348.69 426.90 34.29 435.63
#535 [1, 0, 0, -9058527942382…, 10558319813569…] ≥ 28 trivial 351.92 420.84 33.90 432.70
#634 [1, 0, 0, -3570335928218…, 25939804893999…] ≥ 28 trivial 368.21 430.07 34.75 443.71
#4043 [1, 0, 0, -8570253126523…, 30302792783384…] ≥ 27 trivial 231.22 317.28 25.26 328.91
#3836 [0, 1, 0, -8424130123243…, 28840392298011…] ≥ 27 trivial 232.35 290.97 23.02 301.22
#4090 [1, 0, 0, -7399395255648…, 23989822738620…] ≥ 27 trivial 233.61 276.37 21.82 287.02
#1675 [0, 0, 0, -1849576243056…, 96311345590303…] ≥ 27 trivial 235.01 277.75 21.99 289.77
#4191 [0, 1, 0, -1877003524652…, 97526024341299…] ≥ 27 trivial 240.97 292.64 23.18 303.63
#3560 [0, 1, 0, -2045552020582…, 11173215816736…] ≥ 27 trivial 240.97 278.45 22.03 290.07
#3819 [1, 0, 0, -1918373892861…, 10114743013354…] ≥ 27 trivial 242.67 333.86 26.63 345.14
#614 [1, -1, 1, -1145284361078…, 14243815623171…] ≥ 27 trivial 242.80 340.62 27.14 350.50
#1676 [1, 0, 0, -2349255761373…, 43941095751430…] ≥ 27 trivial 243.30 312.31 24.90 325.03
#725 [1, 0, 0, -8503329646203…, 26829099816035…] ≥ 27 trivial 244.81 333.68 26.54 342.70
#3820 [1, -1, 0, -8316587724381…, 30925426164869…] ≥ 27 trivial 246.86 291.63 23.05 301.30
#402 [1, -1, 1, -1272607077445…, 17471855868336…] ≥ 27 trivial 247.24 335.00 26.94 350.82
#3821 [1, 0, 0, -1425569150578…, 63856309020124…] ≥ 27 trivial 248.92 306.17 24.29 316.62
#1821 [1, -1, 1, -3546190682677…, 80299166509927…] ≥ 27 trivial 255.42 301.26 23.91 312.44
#3428 [1, 0, 0, -9217104967507…, 11396747029931…] ≥ 27 trivial 255.82 340.27 27.11 349.96
#4170 [0, 1, 1, -5161608230189…, 13838603396583…] ≥ 27 trivial 256.06 303.30 24.05 313.57
#1682 [1, 0, 0, -4234532411108…, 33640712803155…] ≥ 27 trivial 257.01 321.14 25.62 333.71
#401 [0, 0, 0, -9462421028937…, 35673551381852…] ≥ 27 trivial 258.76 303.66 24.13 315.40
#4129 [0, 0, 0, -2646902124941…, 52651752481930…] ≥ 27 trivial 259.16 299.41 23.80 311.58
#1683 [0, 0, 0, -4195811137977…, 32913882651475…] ≥ 27 trivial 259.52 321.62 25.64 333.67
#1677 [1, 0, 0, -7361352324983…, 24399021522455…] ≥ 27 trivial 260.21 316.08 25.19 328.46
#1678 [1, -1, 1, -8536804896831…, 33116974373886…] ≥ 27 trivial 261.51 319.78 25.39 329.07
#1681 [1, -1, 1, -3062087415713…, 18134486195682…] ≥ 27 trivial 262.08 323.79 25.71 332.73
#1822 [0, 1, 0, -3797496588981…, 27710817073667…] ≥ 27 trivial 262.70 309.18 24.54 319.56
#4196 [1, -1, 1, -1636204316577…, 11567916063921…] ≥ 27 trivial 263.35 295.82 23.35 303.94
#1823 [1, -1, 1, -7449739848396…, 28924546508203…] ≥ 27 trivial 264.06 320.03 25.39 328.80
#1824 [1, 0, 0, -1458272749314…, 67802353297142…] ≥ 27 trivial 264.77 315.69 25.28 330.50
#363 [1, 0, 1, -7778486110551…, 97293729940243…] ≥ 27 trivial 265.17 327.04 25.98 335.83
#1680 [0, 1, 0, -2295357140044…, 13161121965732…] ≥ 27 trivial 265.45 321.00 25.54 331.86
#1825 [0, 1, 0, -1953543419888…, 10500831663741…] ≥ 27 trivial 265.68 317.52 25.38 331.38
#1679 [1, 0, 0, -1018157143997…, 39228414259158…] ≥ 27 trivial 268.29 317.83 25.31 329.42
#814 [1, 0, 0, -4943552598545…, 13502437335795…] ≥ 27 trivial 268.89 329.63 26.29 341.09
#630 [0, 1, 0, -4780847590649…, 11914273121243…] ≥ 27 trivial 275.84 331.42 26.37 340.97
#585 [1, 0, 0, -6226812508901…, 18611512199406…] ≥ 27 trivial 281.27 358.49 28.67 369.40
#628 [1, -1, 1, -1286302193798…, 17802205930101…] ≥ 27 trivial 282.75 338.12 27.05 350.85
#629 [1, 0, 0, -2061464727961…, 11053114193386…] ≥ 27 trivial 283.62 348.88 27.85 359.17
#67 [1, 0, 0, -5567114686524…, 16198189532278…] ≥ 27 trivial 287.01 344.16 27.48 355.27
#627 [1, 0, 0, -8810888018746…, 31850830142264…] ≥ 27 trivial 295.67 342.37 27.47 356.62
#537 [1, -1, 1, -1919140652138…, 25277597117582…] ≥ 27 trivial 307.07 371.28 29.65 379.68
#404 [1, 0, 0, -1928799613292…, 98335186873093…] ≥ 27 trivial 309.03 362.93 29.00 372.79
#416 [1, 0, 0, -2802454225692…, 17664367286108…] ≥ 27 trivial 325.36 390.94 31.36 401.54
#542 [0, 1, 0, -5411384853356…, 14766150358652…] ≥ 26 trivial 216.77 303.62 24.07 313.71
#4203 [0, 0, 0, -1007654472649…, 31859821476895…] ≥ 26 trivial 217.13 293.20 23.15 301.76
#4132 [0, 1, 0, -8764955019259…, 99987295276432…] ≥ 26 trivial 219.04 267.04 21.16 280.62
#3549 [1, 0, 0, -3557596497014…, 25716507030882…] ≥ 26 trivial 225.20 265.70 20.99 277.92
#4151 [1, 0, 0, -2645847709956…, 17756007073838…] ≥ 26 trivial 225.28 295.30 23.35 304.80
#3822 [1, 0, 0, -3506410405399…, 24284761895045…] ≥ 26 trivial 227.41 309.29 24.54 319.32
#4204 [1, -1, 1, -1621238076635…, 79678800128515…] ≥ 26 trivial 229.04 290.56 23.08 303.19
#727 [0, -1, 0, -5446465581739…, 55309675006724…] ≥ 26 trivial 229.54 284.27 22.42 293.25
#1896 [0, 1, 0, -3099621747347…, 19846332444367…] ≥ 26 trivial 229.79 281.63 22.22 291.32
#4195 [1, 0, 0, -7774240685907…, 22971180753893…] ≥ 26 trivial 230.81 305.93 24.22 314.80
#4201 [1, 0, 0, -2467817786679…, 14908654825665…] ≥ 26 trivial 231.06 318.27 25.44 332.08
#4190 [1, -1, 1, -4169027949887…, 10332451213081…] ≥ 26 trivial 231.49 272.64 21.59 285.30
#3823 [1, 0, 0, -3566862264456…, 27759019812225…] ≥ 26 trivial 231.51 337.62 26.88 347.14
#3824 [1, 0, 0, -3203533674325…, 21229266551247…] ≥ 26 trivial 232.67 295.18 23.36 305.23
#690 [0, 1, 1, -7169785383374…, 70800336601941…] ≥ 26 trivial 233.53 311.51 24.72 321.46
#1895 [0, 1, 0, -1671357633439…, 83082888544391…] ≥ 26 trivial 233.85 275.81 21.90 289.46
#716 [1, 0, 0, -1066664697319…, 42060244039691…] ≥ 26 trivial 235.28 304.16 24.17 315.75
#4188 [1, -1, 0, -1117416425241…, 26788623429131…] ≥ 26 trivial 236.20 280.38 22.06 288.26
#1899 [0, -1, 1, -9879768853699…, 38484502402457…] ≥ 26 trivial 238.18 290.94 23.04 301.74
#1990 [1, 0, 0, -5750418146139…, 53595239428616…] ≥ 26 trivial 238.67 281.79 22.30 293.19
#3425 [1, 0, 0, -4479062810003…, 39861603322416…] ≥ 26 trivial 238.68 283.33 22.35 292.60
#3427 [1, 0, 0, -7652251054419…, 25849658077969…] ≥ 26 trivial 239.27 316.09 25.20 328.57
#1991 [0, 1, 0, -3567115698422…, 83494519247819…] ≥ 26 trivial 240.64 287.89 22.78 298.68
#3426 [1, -1, 1, -8926617002688…, 33517907430312…] ≥ 26 trivial 242.00 291.23 23.04 301.46
#815 [1, 0, 0, -4704485889547…, 39115431696570…] ≥ 26 trivial 242.51 294.12 23.36 306.38
#1902 [1, 1, 1, -4713277155979…, 39350896414899…] ≥ 26 trivial 242.80 292.58 23.30 306.39
#4130 [1, 0, 1, -1389931819058…, 31268758710668…] ≥ 26 trivial 243.23 274.93 21.61 282.90
#1989 [1, -1, 1, -4431320649836…, 37356896601507…] ≥ 26 trivial 243.85 282.44 22.30 292.47
#393 [1, -1, 1, -1741982199429…, 33616270057492…] ≥ 26 trivial 246.56 315.86 25.04 324.49
#66 [1, 0, 0, -2715681648014…, 16735233520457…] ≥ 26 trivial 247.86 308.22 24.46 318.55
#390 [0, 0, 0, -3430010766159…, 26817639167403…] ≥ 26 trivial 248.04 296.39 23.43 305.62
#1901 [0, 0, 0, -3848794475019…, 67376313288663…] ≥ 26 trivial 248.21 298.27 23.55 305.78
#1900 [0, 0, 0, -1009191665104…, 39359800917564…] ≥ 26 trivial 248.40 290.26 23.01 301.78
#3522 [0, 1, 0, -5889164632083…, 18700957228143…] ≥ 26 trivial 252.88 290.84 22.98 300.30
#807 [1, 0, 0, -2820484832206…, 18075406825544…] ≥ 26 trivial 254.19 320.96 25.57 332.48
#4131 [0, 0, 1, -8583077787883…, 99585150201960…] ≥ 26 trivial 254.78 279.90 22.02 287.47
#1898 [1, -1, 1, -6178783315619…, 63220136427164…] ≥ 26 trivial 262.14 283.99 22.41 293.52
#417 [1, -1, 1, -9072741087856…, 12098701628080…] ≥ 26 trivial 276.91 327.40 26.01 336.27
#813 [0, 1, 0, -1814074900073…, 29688398854301…] ≥ 26 trivial 278.40 324.93 25.97 338.06
#4187 [1, 1, 1, -4583222396885…, 11930222616148…] ≥ 25 trivial 203.47 258.15 20.42 271.77
#622 [0, 1, 0, -3105168035620…, 66668424497574…] ≥ 25 trivial 206.83 270.77 21.48 284.42
#3825 [1, 0, 0, -3459372289032…, 24560055695247…] ≥ 25 trivial 207.75 266.27 21.01 277.83
#1879 [1, 0, 1, -1855084544775…, 10501411733572…] ≥ 25 trivial 211.47 252.90 19.82 262.30
#3880 [1, 0, 0, -1311421576771…, 18282241809969…] ≥ 25 trivial 212.97 266.30 21.20 281.83
#3826 [1, 0, 1, -6030254103319…, 60024785549483…] ≥ 25 trivial 213.18 269.83 21.24 279.60
#3827 [1, 0, 0, -1754153798909…, 83849718652993…] ≥ 25 trivial 213.87 280.04 22.08 289.61
#4171 [1, 0, 0, -3403754968083…, 24219194971781…] ≥ 25 trivial 214.63 278.63 22.10 291.60
#4152 [1, 0, 0, -1119988002679…, 45508083635338…] ≥ 25 trivial 214.96 289.32 22.98 302.08
#3828 [1, -1, 0, -3530921356290…, 81191986818542…] ≥ 25 trivial 215.11 286.63 22.72 298.63
#3829 [1, -1, 1, -8571082975466…, 30428223401115…] ≥ 25 trivial 217.40 261.29 20.63 273.65
#3722 [0, 1, 1, -1366954638717…, 60986388749272…] ≥ 25 trivial 217.79 249.71 19.63 261.23
#3830 [1, 0, 0, -1826450898202…, 94674887411606…] ≥ 25 trivial 218.65 304.95 24.27 317.36
#1880 [1, 1, 1, -4714919966926…, 37410297003693…] ≥ 25 trivial 218.91 268.99 21.17 278.76
#721 [0, 1, 0, -1171236522107…, 48322109580855…] ≥ 25 trivial 219.56 276.98 21.90 288.40
#691 [1, -1, 1, -1707003840269…, 41367248002250…] ≥ 25 trivial 219.75 267.99 21.03 275.71
#4133 [1, -1, 1, -5534586167028…, 50050921972045…] ≥ 25 trivial 220.54 265.83 21.05 279.24
#1985 [0, 0, 0, -8542053944912…, 30355534757417…] ≥ 25 trivial 220.82 260.01 20.58 273.64
#1988 [1, 0, 0, -3702866564000…, 99404505709503…] ≥ 25 trivial 221.84 303.96 24.06 312.85
#1891 [1, 0, 0, -3561875774444…, 81829052393335…] ≥ 25 trivial 221.89 296.43 23.73 312.46
#1987 [0, 0, 0, -6691138199936…, 21091410435479…] ≥ 25 trivial 221.94 273.21 21.67 286.72
#1881 [1, 0, 0, -1115370772374…, 14375882358703…] ≥ 25 trivial 222.40 268.66 21.26 281.35
#4128 [0, 1, 0, -3019514202229…, 19971943821188…] ≥ 25 trivial 223.41 266.15 20.99 277.42
#1892 [1, 0, 0, -4847596953102…, 13832276440364…] ≥ 25 trivial 223.43 303.92 24.07 313.51
#1888 [1, 1, 1, -9925088037535…, 12272139498997…] ≥ 25 trivial 223.72 284.13 22.46 294.85
#1885 [1, 0, 0, -2276833089938…, 12236384492332…] ≥ 25 trivial 224.04 281.00 22.16 290.39
#1889 [1, 0, 0, -2819076826652…, 57883150559257…] ≥ 25 trivial 224.36 285.82 22.66 297.95
#1893 [1, 0, 0, -1474345065228…, 66263879489586…] ≥ 25 trivial 225.16 306.68 24.32 316.72
#541 [1, 0, 0, -2086462968545…, 35169420298107…] ≥ 25 trivial 225.17 287.07 22.68 297.04
#351 [1, -1, 1, -2509189159341…, 45913507617476…] ≥ 25 trivial 225.72 287.83 22.74 297.59
#688 [1, 0, 0, -5246793618117…, 13873790754321…] ≥ 25 trivial 228.24 290.05 22.92 299.80
#1886 [1, -1, 1, -4229641193545…, 33598905495388…] ≥ 25 trivial 228.82 279.84 22.18 292.26
#1884 [1, 0, 0, -2174721818493…, 12215129607937…] ≥ 25 trivial 228.92 278.93 22.05 290.25
#1986 [0, 0, 0, -2006083739717…, 11027668392147…] ≥ 25 trivial 229.06 264.65 20.87 276.21
#65 [1, 0, 0, -1222583105876…, 52396744720020…] ≥ 25 trivial 229.19 290.63 23.05 302.36
#1882 [1, -1, 0, -3763110016484…, 88650546705548…] ≥ 25 trivial 234.36 272.14 21.55 284.99
#1883 [1, 1, 1, -3874636681786…, 92104320408916…] ≥ 25 trivial 235.54 273.46 21.61 285.08
#396 [0, 1, 0, -6189212217027…, 14121721321765…] ≥ 25 trivial 238.98 285.88 22.51 293.39
#3902 [1, -1, 0, -4425108824146…, 35649725560474…] ≥ 25 trivial 240.07 252.69 19.90 264.75
#810 [1, 0, 0, -5324915436989…, 14938172842608…] ≥ 25 trivial 242.09 286.36 22.77 299.85
#540 [1, 0, 0, -4499601412550…, 25806241660529…] ≥ 25 trivial 243.28 279.44 21.98 287.12
#546 [0, 1, 0, -1824691033242…, 94478240051467…] ≥ 25 trivial 244.16 318.92 25.43 331.17
#414 [1, 0, 0, -4179126749228…, 26742720798117…] ≥ 25 trivial 244.59 311.31 24.66 319.85
#749 [1, 1, 1, -4258703406896…, 33413670726930…] ≥ 25 trivial 246.95 281.10 22.23 292.27
#748 [0, 1, 0, -4940241630142…, 12993348308627…] ≥ 25 trivial 251.30 289.27 22.88 299.62
#4192 [1, 1, 0, -1562296098883…, 54652404781176…] ≥ 24 trivial 193.69 253.42 19.83 261.63
#3831 [1, 0, 0, -8077025532831…, 87764197349911…] ≥ 24 trivial 193.84 254.79 20.06 266.56
#4189 [1, -1, 1, -2840370614549…, 18000368144687…] ≥ 24 trivial 194.11 266.70 21.01 277.24
#3832 [0, 1, 0, -1065693155739…, 41964786898793…] ≥ 24 trivial 196.25 262.82 20.72 274.30
#3581 [1, 0, 1, -1065725121464…, 12296003729998…] ≥ 24 trivial 196.93 230.45 17.94 239.76
#4202 [1, 0, 0, -1430648523620…, 21226789013218…] ≥ 24 trivial 197.67 271.38 21.40 282.13
#1870 [0, 1, 0, -4604360124906…, 38170786966000…] ≥ 24 trivial 197.83 266.35 21.05 278.70
#623 [0, 1, 0, -9224660970981…, 33113220943823…] ≥ 24 trivial 198.06 263.55 20.74 273.87
#3833 [0, 0, 0, -2084062841114…, 36586509997281…] ≥ 24 trivial 198.42 269.45 21.37 283.22
#720 [1, 1, 1, -3001854188196…, 77900848309025…] ≥ 24 trivial 198.65 248.56 19.43 257.10
#1869 [1, 0, 0, -2334461606227…, 16327837443116…] ≥ 24 trivial 199.18 268.32 21.08 277.00
#548 [0, 0, 0, -1311391639263…, 16989724982818…] ≥ 24 trivial 199.31 258.56 20.29 268.01
#3817 [1, 0, 0, -5023088244082…, 43320531347065…] ≥ 24 trivial 199.41 277.73 22.12 292.77
#1983 [1, 0, 1, -1936667328553…, 31395075406030…] ≥ 24 trivial 199.60 259.25 20.36 269.18
#1877 [1, -1, 1, -2216139194364…, 13296800425454…] ≥ 24 trivial 203.01 308.15 24.44 318.03
#1866 [0, 1, 0, -7915311735656…, 26210358121810…] ≥ 24 trivial 203.31 263.22 20.70 273.41
#3540 [1, 0, 1, -1602868874857…, 93200781377561…] ≥ 24 trivial 203.69 239.58 18.68 248.25
#1867 [1, -1, 1, -1309248683610…, 46854322714610…] ≥ 24 trivial 203.71 266.38 20.92 274.92
#1873 [1, 0, 0, -4593342402277…, 11935187951211…] ≥ 24 trivial 206.01 287.10 22.78 299.41
#1984 [1, -1, 1, -7771655213948…, 26288472044990…] ≥ 24 trivial 207.74 260.82 20.60 273.35
#1876 [0, 1, 0, -1250090156918…, 53289180322402…] ≥ 24 trivial 208.56 304.80 24.21 316.22
#413 [1, 0, 0, -6128282860470…, 58524346082432…] ≥ 24 trivial 209.87 252.88 19.95 265.74
#3903 [1, -1, 1, -1867095925566…, 19383704514376…] ≥ 24 trivial 210.11 247.31 19.31 255.26
#1875 [1, 0, 0, -1775696843283…, 90920212687918…] ≥ 24 trivial 210.47 290.33 23.08 303.46
#1865 [1, 0, 0, -2662291733866…, 71627605505467…] ≥ 24 trivial 210.95 262.50 20.58 270.75
#1872 [0, 1, 0, -3724411371365…, 34181910963598…] ≥ 24 trivial 211.29 283.77 22.36 292.29
#1874 [0, 1, 0, -6877941241205…, 20144866619475…] ≥ 24 trivial 211.55 291.32 23.02 300.62
#389 [1, 0, 0, -1095282788134…, 15295153953560…] ≥ 24 trivial 211.82 272.23 21.42 281.47
#1868 [1, 0, 0, -1276954784788…, 57734246095204…] ≥ 24 trivial 212.60 264.87 20.84 274.92
#4037 [0, -1, 0, -1684395392396…, 84255860782057…] ≥ 24 trivial 212.69 234.67 18.45 248.04
#1871 [1, -1, 1, -2098752329156…, 36453013198670…] ≥ 24 trivial 213.15 272.27 21.49 283.24
#583 [1, 0, 0, -2193143064754…, 11434859229838…] ≥ 24 trivial 213.24 281.01 22.16 290.28
#378 [0, 1, 0, -3896830274733…, 93850226586476…] ≥ 24 trivial 214.70 272.28 21.56 285.10
#1948 [1, 0, 0, -4314320559270…, 11046371053638…] ≥ 24 trivial 218.01 246.65 19.36 257.80
#10 [1, 0, 1, -1200398220369…, 50422499248491…] ≥ 24 trivial 219.93 262.35 20.71 274.66
#4134 [0, 1, 1, -2898759786060…, 19815688667945…] ≥ 24 trivial 222.45 253.60 19.89 263.57
#1950 [1, 0, 0, -1257119307640…, 17441265343790…] ≥ 24 trivial 222.57 257.04 20.21 267.92
#1949 [0, 1, 0, -4384732162429…, 35399762508112…] ≥ 24 trivial 224.05 251.59 19.85 264.73
#750 [0, 0, 0, -3264995869286…, 11454913227076…] ≥ 24 trivial 229.11 263.73 20.67 271.68
#612 [1, 0, 0, -4176582334201…, 10268185160310…] ≥ 24 trivial 233.73 315.53 25.10 326.75
#3816 [1, 0, 0, -1572982400080…, 44191837505825…] ≥ 23 trivial 173.22 239.97 18.70 247.84
#3541 [0, 1, 0, -4699688885115…, 12417309445748…] ≥ 23 trivial 174.53 217.01 16.98 230.40
#1854 [0, 1, 0, -9286474923986…, 19356615041645…] ≥ 23 trivial 176.27 218.85 16.93 226.68
#624 [1, 0, 0, -2885578293337…, 17601289199485…] ≥ 23 trivial 177.43 240.16 18.76 249.66
#4180 [1, -1, 1, -3560901272312…, 28665543152950…] ≥ 23 trivial 177.55 227.54 17.69 236.68
#3550 [0, 0, 0, -2400055453305…, 36700078011396…] ≥ 23 trivial 180.45 206.04 15.89 214.56
#3815 [0, 1, 0, -6214354189123…, 19769111906394…] ≥ 23 trivial 181.07 235.29 18.36 245.14
#1982 [0, 1, 0, -2435385745225…, 14598678237140…] ≥ 23 trivial 184.17 236.19 18.56 249.15
#1855 [1, 0, 0, -4586159601547…, 11901397300988…] ≥ 23 trivial 184.44 231.95 18.18 244.14
#3881 [1, -1, 1, -4720150013688…, 12076282525913…] ≥ 23 trivial 185.79 234.02 18.27 244.23
#1856 [1, 0, 0, -1690451157857…, 26565003696314…] ≥ 23 trivial 186.52 243.23 19.10 254.96
#1860 [1, 0, 0, -3121164980444…, 67490359782208…] ≥ 23 trivial 186.66 244.85 19.24 256.81
#1857 [1, 0, 0, -2173786455309…, 38438259774458…] ≥ 23 trivial 186.96 244.72 19.19 255.71
#1981 [1, 0, 0, -2009475594014…, 34468074562278…] ≥ 23 trivial 189.14 229.76 17.98 241.66
#1859 [1, 0, 0, -2557527588894…, 50372551092376…] ≥ 23 trivial 189.83 245.01 19.22 256.23
#539 [1, 0, 0, -6902067553778…, 69831375895199…] ≥ 23 trivial 191.07 251.80 19.93 266.09
#1858 [0, 0, 0, -2274925760117…, 42359589753279…] ≥ 23 trivial 191.48 244.85 19.20 255.88
#377 [0, 1, 0, -5458253078691…, 15550812048772…] ≥ 23 trivial 192.36 259.27 20.49 272.30
#498 [1, -1, 0, -1529740894738…, 76250177232086…] ≥ 23 trivial 193.94 237.96 18.59 247.84
#1944 [0, 0, 0, -1502232884768…, 21283701096908…] ≥ 23 trivial 195.47 217.20 16.85 226.97
#3882 [1, 0, 1, -4476836485051…, 11552548155581…] ≥ 23 trivial 196.33 231.10 18.14 244.07
#1863 [0, 1, 0, -1832598158409…, 32046899106401…] ≥ 23 trivial 197.26 273.31 21.53 282.95
#1864 [1, 0, 0, -2047987586302…, 99393303326841…] ≥ 23 trivial 197.26 281.12 22.16 290.07
#1862 [1, 0, 0, -2684093477623…, 17323477213919…] ≥ 23 trivial 197.79 266.57 21.00 277.12
#1945 [1, -1, 1, -5888117435153…, 52460684050240…] ≥ 23 trivial 198.94 228.12 17.77 237.98
#1946 [1, -1, 1, -8979997388703…, 32879440823960…] ≥ 23 trivial 199.38 233.83 18.34 246.16
#599 [1, 0, 0, -3791183144889…, 90691670784852…] ≥ 23 trivial 201.46 259.77 20.46 271.22
#747 [0, -1, 0, -9008852820377…, 35596279844313…] ≥ 23 trivial 202.40 236.94 18.49 246.32
#9 [1, 0, 1, -1925296640867…, 32685500727716…] ≥ 23 trivial 205.06 257.15 20.27 269.18
#746 [1, 0, 0, -1322791863836…, 64806950107585…] ≥ 23 trivial 205.38 252.18 19.75 261.33
#600 [1, 0, 0, -2673631332732…, 16765556663649…] ≥ 23 trivial 205.75 264.68 20.91 277.06
#606 [1, 0, 0, -5267727988707…, 14240104759255…] ≥ 23 trivial 206.21 289.61 22.90 299.82
#574 [1, 1, 1, -6068091530466…, 57059145123560…] ≥ 23 trivial 206.53 226.51 17.70 238.07
#601 [1, -1, 1, -4326804635479…, 11432527941771…] ≥ 23 trivial 206.60 275.54 21.72 285.50
#478 [1, -1, 1, -1424396228057…, 56418700493321…] ≥ 23 trivial 207.54 266.35 20.92 275.17
#609 [0, 0, 0, -1602690988179…, 76454445328134…] ≥ 23 trivial 208.65 292.52 23.16 303.15
#741 [1, -1, 1, -2471918021282…, 47391702870825…] ≥ 23 trivial 212.89 256.86 20.29 269.92
#1947 [0, 1, 0, -2441597304278…, 14508252944371…] ≥ 23 trivial 213.49 237.96 18.64 249.16
#745 [0, 1, 0, -1648933977423…, 25613929920741…] ≥ 23 trivial 216.37 256.84 20.24 268.70
#605 [1, 0, 0, -3063265546394…, 65315896909451…] ≥ 23 trivial 218.19 284.42 22.62 298.19
#608 [0, 1, 0, -9731843170770…, 19361583264996…] ≥ 23 trivial 219.27 293.88 23.19 301.66
#740 [0, 1, 0, -1876514960051…, 99623284488885…] ≥ 23 trivial 219.38 250.45 19.70 262.19
#604 [1, 0, 0, -7053387147055…, 69499765670503…] ≥ 23 trivial 220.65 283.68 22.41 293.78
#602 [1, 0, 1, -3648010319241…, 26323576023494…] ≥ 23 trivial 221.33 281.04 22.21 291.81
#603 [1, 0, 0, -4775047765830…, 40549316153068…] ≥ 23 trivial 223.87 281.22 22.25 292.63
#610 [1, 0, 0, -2217570089183…, 40214866532442…] ≥ 23 trivial 227.23 310.51 24.82 324.85
#607 [0, 1, 0, -8308566718293…, 29090995118799…] ≥ 23 trivial 231.39 288.22 22.90 301.18
#611 [1, 0, 0, -2743864279444…, 17229086578114…] ≥ 23 trivial 242.95 307.62 24.43 318.58
#441 [1, 0, 0, -1009193317631…, 39367306465101…] ≥ 23 trivial 266.65 331.73 26.46 343.23
#3883 [1, -1, 1, -1371835850523…, 19283941770922…] ≥ 22 trivial 163.74 215.66 16.77 226.70
#625 [1, -1, 1, -4704723986051…, 39336166825851…] ≥ 22 trivial 164.25 196.40 15.26 209.68
#3814 [1, 0, 1, -1208324064247…, 50734085363020…] ≥ 22 trivial 164.65 207.77 16.14 219.41
#1979 [1, 0, 0, -4154577512147…, 10255271834578…] ≥ 22 trivial 166.78 217.97 17.01 230.03
#1980 [1, 0, 0, -1134042225153…, 46673596002938…] ≥ 22 trivial 169.11 220.78 17.25 233.05
#1848 [1, -1, 1, -4407502257701…, 34156204281029…] ≥ 22 trivial 169.74 213.32 16.54 223.30
#3918 [1, -1, 1, -1321456503683…, 57127931365304…] ≥ 22 trivial 170.39 209.13 16.21 219.68
#3813 [1, 0, 0, -9801878445678…, 12058534260744…] ≥ 22 trivial 170.40 242.71 19.01 253.37
#1849 [1, 1, 1, -2884105997722…, 17367724857177…] ≥ 22 trivial 170.52 226.50 17.62 235.84
#376 [1, 0, 0, -1445990013167…, 21128721995181…] ≥ 22 trivial 170.96 227.51 17.85 240.68
#3886 [1, 0, 0, -1258388360053…, 17157070715388…] ≥ 22 trivial 171.51 240.77 18.96 254.07
#1851 [1, 0, 0, -8644621550971…, 30952054057700…] ≥ 22 trivial 172.54 245.52 19.40 259.86
#575 [0, 1, 0, -4699284842405…, 12474799783649…] ≥ 22 trivial 173.50 218.54 17.04 230.41
#626 [1, 0, 0, -1824519766025…, 71000315025379…] ≥ 22 trivial 174.43 226.19 17.56 234.47
#3721 [0, 1, 0, -5100446049204…, 13748806420152…] ≥ 22 trivial 175.01 192.30 14.81 203.01
#1941 [0, 1, 0, -3409519797322…, 24356164608922…] ≥ 22 trivial 176.11 210.49 16.38 222.54
#1940 [1, -1, 0, -3806974528207…, 10000286554289…] ≥ 22 trivial 176.12 207.00 15.98 216.15
#3884 [1, 0, 0, -8591186491956…, 29109843399218…] ≥ 22 trivial 178.02 208.61 16.14 218.39
#3885 [1, -1, 1, -3170616465080…, 25507037642731…] ≥ 22 trivial 180.69 213.88 16.54 222.63
#1850 [1, 0, 0, -2162022522244…, 37932309716061…] ≥ 22 trivial 181.05 245.00 19.20 255.70
#1852 [1, 0, 0, -8909630566922…, 24324373632051…] ≥ 22 trivial 182.25 251.66 19.68 259.95
#1853 [0, 0, 0, -2028600625447…, 35357091311489…] ≥ 22 trivial 182.41 257.34 20.28 269.33
#8 [1, 0, 1, -9402995177763…, 10707363070719…] ≥ 22 trivial 182.72 229.26 17.87 239.38
#566 [1, 0, 0, -3182987460122…, 20390075715776…] ≥ 22 trivial 183.89 226.64 17.63 236.14
#739 [0, 1, 0, -1746892040458…, 96283203949551…] ≥ 22 trivial 186.49 238.95 18.65 248.31
#744 [1, 0, 0, -1520516072003…, 72081515358692…] ≥ 22 trivial 186.82 248.04 19.58 261.55
#538 [0, 1, 0, -3328799528155…, 26046095202214…] ≥ 22 trivial 187.77 227.39 17.68 236.49
#1942 [1, 0, 0, -8261321569487…, 29224295289611…] ≥ 22 trivial 188.10 220.84 17.21 232.11
#304 [1, 0, 0, -1998675662524…, 34278416330918…] ≥ 22 trivial 188.12 229.17 17.96 241.65
#433 [0, 0, 0, -1365250332763…, 20124145234049…] ≥ 22 trivial 188.68 230.45 17.97 240.58
#1943 [0, 1, 0, -3935496949853…, 30338229386192…] ≥ 22 trivial 189.07 225.37 17.60 236.79
#397 [1, 0, 1, -4143582771172…, 40810549011543…] ≥ 22 trivial 191.71 228.93 17.79 237.38
#4118 [1, 0, 1, -1737195285250…, 65528379010285…] ≥ 22 ℤ/2ℤ 228.67 391.85 31.36 400.10
#4119 [1, 0, 1, 43053899560358…, 42065719258948…] ≥ 22 ℤ/2ℤ 228.67 396.29 31.71 403.23
#578 [1, 1, 0, -1066071946332…, 37288863716128…] ≥ 21 trivial 149.77 168.65 12.78 177.59
#3812 [0, 1, 0, -4566944160470…, 39270205594015…] ≥ 21 trivial 152.74 185.94 14.25 195.86
#3811 [0, -1, 0, -2472819512175…, 44260379138221…] ≥ 21 trivial 156.74 205.12 15.84 214.65
#1970 [1, -1, 1, -1357743975352…, 61043701061732…] ≥ 21 trivial 158.01 193.18 14.97 205.95
#3916 [0, 1, 0, -3308406614993…, 23063397043884…] ≥ 21 trivial 160.42 210.21 16.37 222.44
#577 [0, 0, 0, -2987698161763…, 21347618256187…] ≥ 21 trivial 160.59 198.99 15.33 208.46
#1978 [1, 0, 0, -2742996211721…, 12231266217498…] ≥ 21 trivial 160.77 208.87 16.09 216.55
#3917 [1, 0, 0, -5796617593355…, 16065983650291…] ≥ 21 trivial 162.31 235.14 18.35 244.84
#1972 [1, -1, 1, -1540001358480…, 24206507105281…] ≥ 21 trivial 163.30 203.29 15.70 213.31
#3887 [1, 0, 0, -5289088285297…, 14790330565002…] ≥ 21 trivial 163.46 230.91 18.15 244.57
#1974 [1, 0, 0, -2059175582472…, 10915524198883…] ≥ 21 trivial 163.70 211.02 16.35 221.01
#3616 [1, 0, 1, -4514119852645…, 20622182825417…] ≥ 21 trivial 166.03 243.17 18.96 251.00
#394 [1, 0, 0, -3548030896746…, 25581945458922…] ≥ 21 trivial 166.25 224.49 17.54 236.46
#738 [1, 0, 0, -2235623135069…, 12694697511138…] ≥ 21 trivial 166.28 210.17 16.32 221.26
#1846 [1, 0, 0, -6525683777729…, 64019778262885…] ≥ 21 trivial 166.71 239.24 18.81 252.10
#1971 [1, 0, 1, -2139330653933…, 11470198310581…] ≥ 21 trivial 168.17 197.48 15.21 207.31
#1847 [1, 0, 0, -6940840024400…, 70516346543863…] ≥ 21 trivial 169.50 266.89 21.12 279.92
#743 [1, 0, 0, -1348330406330…, 59928026358939…] ≥ 21 trivial 169.60 235.41 18.45 247.37
#427 [1, -1, 1, -2642276113242…, 60338761815319…] ≥ 21 trivial 170.27 220.11 17.07 228.96
#742 [1, 0, 0, -2574544395995…, 15901427835211…] ≥ 21 trivial 172.15 247.01 19.62 263.13
#285 [0, -1, 0, -1083918045849…, 13755098120758…] ≥ 21 trivial 173.25 198.87 15.47 212.18
#1973 [1, -1, 0, -1395049016570…, 58040001816546…] ≥ 21 trivial 177.24 210.57 16.29 219.85
#286 [1, -1, 1, -1152569102849…, 18833323594165…] ≥ 21 trivial 177.88 218.15 16.89 226.63
#412 [1, 0, 0, -3076118474164…, 22905024024726…] ≥ 21 trivial 178.43 227.05 17.65 236.23
#428 [0, 1, 0, -2491723894062…, 15274681766761…] ≥ 21 trivial 178.80 237.74 18.63 249.23
#432 [1, 0, 0, -1344224784441…, 19105637503606…] ≥ 21 trivial 180.31 242.58 19.04 254.29
#436 [1, 0, 0, -8566228587832…, 93053940831271…] ≥ 21 trivial 181.50 242.81 19.00 252.92
#434 [1, 0, 0, -1197486596523…, 15870961531086…] ≥ 21 trivial 181.72 241.85 19.00 253.93
#410 [1, -1, 1, -5170975719143…, 45175663847032…] ≥ 21 trivial 184.12 224.53 17.60 237.59
#458 [1, 0, 0, -2445964722300…, 14758661157123…] ≥ 21 trivial 184.45 236.35 18.57 249.17
#387 [1, -1, 1, -1008664620257…, 12314457652529…] ≥ 21 trivial 184.49 239.98 18.90 253.41
#439 [1, 0, 0, -8328436298661…, 13323832744501…] ≥ 21 trivial 194.92 245.45 19.16 253.57
#457 [0, 1, 0, -2747726803882…, 55109431017839…] ≥ 21 trivial 195.02 244.52 19.21 256.42
#74 [1, 1, 1, -2158437724224…, -1947436127778…] ≥ 21 trivial 196.68 247.94 19.36 255.69
#4120 [1, -1, 1, -2828222626474…, 57888571992079…] ≥ 21 ℤ/2ℤ 201.75 364.35 29.42 380.84
#4121 [1, -1, 1, -3006113064908…, 50193876987428…] ≥ 21 ℤ/2ℤ 201.75 372.59 29.76 381.03
#4076 [1, 0, 0, -9816912725444…, 11818799450661…] ≥ 21 ℤ/2ℤ 224.63 378.34 30.42 391.48
#4077 [1, 0, 0, -1315443004499…, 30837963679351…] ≥ 21 ℤ/2ℤ 224.63 384.88 30.76 392.36
#4115 [1, -1, 1, -1249826097099…, 77851438628858…] ≥ 21 ℤ/2ℤ 228.81 398.33 31.89 406.02
#4116 [1, -1, 1, -1681059155848…, 83847739603376…] ≥ 21 ℤ/2ℤ 228.81 399.52 32.24 413.82
#4122 [0, 1, 0, -7031654147618…, -8707579298767…] ≥ 21 ℤ/2ℤ 231.09 403.75 32.34 411.21
#4123 [0, 1, 0, -4736178915182…, 12502716343001…] ≥ 21 ℤ/2ℤ 231.09 397.58 31.99 410.02
#418 [1, 0, 0, -8150731417842…, 10148734322864…] ≥ 21 trivial 287.58 354.58 28.28 363.55
#631 [1, 0, 0, -4283778575303…, 29497464752795…] ≥ 20 trivial 139.02 186.75 14.29 195.58
#3563 [1, 0, 1, -1245160038830…, 16924795101824…] ≥ 20 trivial 140.56 157.23 12.03 171.15
#576 [0, 0, 1, -2286810610450…, 41652066806095…] ≥ 20 trivial 144.06 175.46 13.43 186.79
#3615 [1, 0, 1, -7146369925765…, 72919163662538…] ≥ 20 trivial 145.33 171.75 13.13 183.30
#3915 [1, 0, 0, -4264798624262…, 33721476931318…] ≥ 20 trivial 147.68 211.19 16.44 223.20
#532 [0, 1, 0, -1859482717558…, 30757232937977…] ≥ 20 trivial 148.79 201.36 15.64 213.80
#3891 [1, 0, 0, -1466639293608…, 22068302031556…] ≥ 20 trivial 149.69 216.28 16.81 226.94
#245 [1, -1, 1, -2588041147235…, 16066636977479…] ≥ 20 trivial 150.67 195.16 15.13 207.89
#3888 [1, -1, 1, -5673102070833…, 16184597021656…] ≥ 20 trivial 150.79 192.42 14.83 203.33
#1966 [0, -1, 0, -1164629707839…, 15147197885324…] ≥ 20 trivial 151.07 187.19 14.41 198.58
#3890 [1, -1, 1, -3180500270674…, 21700196925689…] ≥ 20 trivial 151.60 210.44 16.37 222.32
#3889 [1, -1, 1, -2054691654614…, 36397308322812…] ≥ 20 trivial 151.64 216.98 16.88 227.94
#1969 [0, 1, 0, -8604128000645…, 30945496309682…] ≥ 20 trivial 152.23 206.73 16.05 218.41
#735 [1, 0, 0, -1227767750695…, 52639535092266…] ≥ 20 trivial 152.57 221.28 17.28 233.29
#262 [1, -1, 1, -2106587108001…, 11928388164896…] ≥ 20 trivial 154.61 196.21 15.15 207.29
#1968 [1, 1, 1, -5890255592483…, 22998209106529…] ≥ 20 trivial 155.12 209.51 16.17 217.82
#758 [1, 0, 0, -4659208505549…, 38723390289136…] ≥ 20 trivial 155.14 208.78 16.36 223.46
#1967 [1, 0, 0, -5827131715135…, 39046976158471…] ≥ 20 trivial 156.23 202.13 15.55 210.32
#1965 [0, 0, 0, -6388055151692…, 63584626953745…] ≥ 20 trivial 158.24 186.26 14.30 196.82
#419 [1, 0, 0, -2440374636485…, 46771399861468…] ≥ 20 trivial 158.46 216.84 16.89 228.45
#499 [0, 0, 0, -1527601939027…, 22645025924456…] ≥ 20 trivial 159.07 188.40 14.50 199.39
#733 [1, 1, 1, -4092116727688…, 11072192069362…] ≥ 20 trivial 159.50 193.32 14.85 202.54
#92 [1, 1, 1, -4437412060110…, 35868422168221…] ≥ 20 trivial 159.93 210.76 16.43 223.32
#429 [1, -1, 1, -3548379898700…, 25962449845551…] ≥ 20 trivial 160.07 211.19 16.42 222.66
#420 [1, 0, 0, -1819422319095…, 99794633909955…] ≥ 20 trivial 160.27 224.85 17.49 234.57
#430 [1, 0, 0, -1058543411123…, 13004863393089…] ≥ 20 trivial 160.56 242.82 19.02 253.56
#275 [1, 0, 1, -2034488389107…, 35847670110541…] ≥ 20 trivial 162.64 189.29 14.57 200.28
#243 [1, 0, 1, -7911987478128…, 29167873598527…] ≥ 20 trivial 163.70 208.85 16.15 218.29
#533 [1, 0, 1, -1266487529831…, 16706282943794…] ≥ 20 trivial 164.36 188.75 14.49 198.83
#226 [1, 0, 0, -5332481796538…, 15260056923094…] ≥ 20 trivial 164.52 220.01 17.12 230.81
#421 [0, 1, 0, -9174555732805…, 10766496995514…] ≥ 20 trivial 165.77 213.71 16.64 225.51
#431 [0, 1, 0, -4213562206349…, 10587746666051…] ≥ 20 trivial 166.60 218.15 17.01 230.08
#445 [1, 0, 0, -9087268318217…, 10534068423995…] ≥ 20 trivial 166.90 239.35 18.86 253.10
#449 [1, 0, 0, -4598555976487…, 84640033039127…] ≥ 20 trivial 168.19 222.19 17.22 230.33
#340 [1, -1, 0, -4478863882000…, 11480846456140…] ≥ 20 trivial 169.51 190.54 14.72 202.62
#454 [1, 0, 0, -1312351629216…, 57806195890871…] ≥ 20 trivial 169.67 219.84 17.23 233.48
#567 [1, -1, 1, -2127038624691…, 11517299575092…] ≥ 20 trivial 170.08 183.36 14.05 193.48
#7 [1, 0, 0, -4310929807663…, 51562835553666…] ≥ 20 trivial 170.09 229.81 17.85 237.85
#621 [1, 1, 1, -3144313531552…, 21460313928164…] ≥ 20 trivial 170.50 229.96 18.41 249.91
#463 [1, 0, 0, -4682646150937…, 11866065387776…] ≥ 20 trivial 171.29 234.15 18.28 244.20
#465 [1, -1, 1, -1081299566142…, 13444054816725…] ≥ 20 trivial 172.10 229.00 17.87 239.80
#355 [0, 0, 0, -2528553115672…, 49319408860526…] ≥ 20 trivial 173.46 244.55 19.20 256.18
#448 [1, 0, 0, -7449400621708…, 77869597736394…] ≥ 20 trivial 174.42 240.43 18.88 252.50
#329 [1, 1, 1, -1657581664797…, 25996833738682…] ≥ 20 trivial 174.46 213.41 16.71 227.27
#455 [0, 1, 0, -5111853193370…, 43560254092118…] ≥ 20 trivial 174.90 240.73 18.85 251.37
#451 [1, 0, 0, -1253145795119…, 51579652249629…] ≥ 20 trivial 175.68 223.45 17.38 233.34
#327 [1, 0, 0, -2622455522825…, 44358788730180…] ≥ 20 trivial 175.69 247.49 19.35 256.28
#328 [1, 1, 1, -1738637644733…, 88314544781539…] ≥ 20 trivial 176.47 220.49 17.29 234.32
#447 [1, 0, 0, -8223603166187…, 28942341419739…] ≥ 20 trivial 176.51 234.34 18.35 245.91
#456 [1, 0, 0, -1205908701884…, 14443705704500…] ≥ 20 trivial 177.68 231.05 17.99 240.13
#462 [1, 0, 0, -5831269123044…, 13392429571165…] ≥ 20 trivial 177.92 236.46 18.42 244.86
#440 [1, 0, 0, -2519996755099…, 56079773175596…] ≥ 20 trivial 179.07 247.58 19.36 256.44
#452 [1, 0, 0, -5500020650354…, 52966771503147…] ≥ 20 trivial 180.46 242.16 18.93 251.72
#386 [1, 0, 0, -1959597671778…, 31215574828451…] ≥ 20 trivial 182.83 232.06 18.08 241.59
#464 [1, 0, 0, -3540160526446…, 80481020268953…] ≥ 20 trivial 183.40 259.31 20.43 270.99
#4124 [1, 0, 0, -3008493699994…, 20084977696520…] ≥ 20 ℤ/2ℤ 184.41 353.51 28.74 374.12
#4125 [1, 0, 0, -3032638279143…, 19746203858984…] ≥ 20 ℤ/2ℤ 184.41 363.81 29.09 374.15
#446 [1, -1, 0, -1342601048927…, 18899547549448…] ≥ 20 trivial 184.82 227.41 17.83 240.45
#438 [0, 1, 0, -2664397989090…, 16659371198868…] ≥ 20 trivial 185.01 237.31 18.62 249.42
#282 [0, 1, 0, -7243925927858…, 71180727803339…] ≥ 20 trivial 185.17 228.85 17.82 238.60
#437 [1, 0, 1, -2046187443144…, 11275547294269…] ≥ 20 trivial 185.24 234.80 18.49 248.63
#4126 [1, 1, 1, -1493417539891…, 70182813171693…] ≥ 20 ℤ/2ℤ 185.51 316.79 25.32 330.57
#4127 [1, 1, 1, -1861324862377…, 32957342268366…] ≥ 20 ℤ/2ℤ 185.51 323.66 25.66 331.23
#450 [1, 0, 0, -2010468055035…, 23314207811821…] ≥ 20 trivial 186.39 233.61 18.17 241.66
#453 [1, 0, 0, -9477222977104…, 10741271823987…] ≥ 20 trivial 189.08 229.49 17.88 239.41
#4112 [1, 0, 0, -6250228875840…, 52753452389369…] ≥ 20 ℤ/2ℤ 189.09 353.58 28.19 362.50
#4113 [1, 0, 0, -9655018350892…, 36514844378786…] ≥ 20 ℤ/2ℤ 189.09 353.09 28.54 370.71
#4079 [1, -1, 1, -2378435901085…, 11871098670888…] ≥ 20 ℤ/2ℤ 190.60 350.92 27.96 359.60
#4080 [1, -1, 1, -3634658042725…, 84339127251430…] ≥ 20 ℤ/2ℤ 190.60 350.70 28.31 367.78
#459 [1, 0, 0, -1928281706386…, 10412727745428…] ≥ 20 trivial 192.24 250.93 19.72 262.28
#4110 [0, 1, 0, -3298135651449…, -5527823704103…] ≥ 20 ℤ/2ℤ 192.29 339.25 26.96 346.77
#4111 [0, 1, 0, -3147444400185…, 67517856203171…] ≥ 20 ℤ/2ℤ 192.29 341.74 27.31 353.53
#4106 [1, -1, 1, -2778651284357…, 56051416651443…] ≥ 20 ℤ/2ℤ 192.44 355.06 28.42 366.98
#4107 [1, -1, 1, -1091761463896…, 12342076216748…] ≥ 20 ℤ/2ℤ 192.44 361.07 28.77 368.54
#4108 [1, 0, 0, -9882697330631…, 39846882748632…] ≥ 20 ℤ/2ℤ 193.61 344.92 27.43 352.47
#4109 [1, 0, 0, -2457618528259…, 14800284758957…] ≥ 20 ℤ/2ℤ 193.61 346.70 27.77 359.70
#4072 [1, -1, 1, -8676766356775…, 31108845308574…] ≥ 20 ℤ/2ℤ 195.26 364.54 29.61 384.21
#4073 [1, -1, 1, -8565250670166…, 31947384642773…] ≥ 20 ℤ/2ℤ 195.26 374.37 29.96 384.26
#435 [1, 0, 0, -4912078235647…, 13413225629897…] ≥ 20 trivial 198.23 247.00 19.39 258.18
#4074 [1, 0, 0, -6373524210489…, 19568234964109…] ≥ 20 ℤ/2ℤ 199.48 369.44 29.71 383.28
#4075 [1, 0, 0, -4934750083481…, 14866495631511…] ≥ 20 ℤ/2ℤ 199.48 368.02 29.36 375.61
#4063 [1, -1, 1, -3611038765921…, 22818917951506…] ≥ 20 ℤ/2ℤ 201.67 365.84 29.21 374.67
#4064 [1, -1, 1, -5556504497393…, 15941909013456…] ≥ 20 ℤ/2ℤ 201.67 365.46 29.56 382.87
#4078 [1, 0, 0, -1240660412230…, 53175884514971…] ≥ 20 ℤ/2ℤ 206.39 342.63 27.53 357.65
#4082 [1, 0, 0, -1404603265027…, 38222115369149…] ≥ 20 ℤ/2ℤ 206.39 350.13 27.88 358.02
#4083 [1, 0, 0, -1469442246932…, 68541572760905…] ≥ 20 ℤ/2ℤ 206.93 357.04 28.73 371.97
#4084 [1, 0, 0, -1045076954961…, 75641504467573…] ≥ 20 ℤ/2ℤ 206.93 356.17 28.38 364.04
#4061 [1, 0, 0, -6387039322288…, -2000682293681…] ≥ 20 ℤ/2ℤ 207.96 355.00 28.28 362.56
#4062 [1, 0, 0, -3593975211501…, 25998463263987…] ≥ 20 ℤ/2ℤ 207.96 349.32 27.93 360.84
#802 [1, 0, 0, -2918870306905…, 19149137396656…] ≥ 20 ℤ/2ℤ 208.23 361.21 28.97 374.03
#1992 [1, 0, 0, -1779353550079…, 34258366504667…] ≥ 20 ℤ/2ℤ 208.23 367.66 29.32 375.19
#4070 [1, 0, 1, -4413954289751…, 32412073255594…] ≥ 20 ℤ/2ℤ 209.05 376.70 30.08 384.29
#4071 [1, 0, 1, -1028059201791…, 12668424643103…] ≥ 20 ℤ/2ℤ 209.05 378.36 30.42 391.62
#4059 [1, 0, 0, -3251469747483…, 49107828061327…] ≥ 20 ℤ/2ℤ 209.58 373.17 29.80 381.26
#4060 [1, 0, 0, 89321413964676…, 33020401925829…] ≥ 20 ℤ/2ℤ 209.58 377.55 30.15 384.33
#40 [1, -1, 1, -2445376733363…, 96171018205318…] ≥ 20 ℤ/2ℤ 216.79 393.12 31.46 401.13
#313 [1, -1, 1, -2201688153834…, 12571948427558…] ≥ 20 ℤ/2ℤ 216.79 385.44 31.12 400.82
#3726 [0, 1, 0, -6481628948079…, 20124165015889…] ≥ 19 trivial 129.14 176.91 13.62 189.92
#3594 [0, 1, 0, -6139623020352…, 58644442303563…] ≥ 19 trivial 130.22 169.60 13.03 182.85
#3542 [0, 0, 0, -1046682249624…, 41476069532893…] ≥ 19 trivial 132.83 165.71 12.64 177.55
#1958 [0, 1, 0, -6975831472259…, 89827365686935…] ≥ 19 trivial 135.67 175.27 13.32 183.70
#718 [1, 0, 0, -4168911634456…, 10390898261941…] ≥ 19 trivial 136.09 203.63 15.83 216.23
#1961 [1, -1, 1, -1420969103876…, 55003831797115…] ≥ 19 trivial 136.43 183.57 14.02 192.27
#3612 [0, 1, 0, -1208726270344…, 50229208582736…] ≥ 19 trivial 137.18 181.00 13.87 191.78
#3613 [0, 1, 0, -8132197384905…, 32102525064072…] ≥ 19 trivial 137.67 181.91 13.89 190.85
#1959 [1, 0, 0, -5144172087686…, 14296347465764…] ≥ 19 trivial 137.97 177.46 13.62 189.23
#3892 [1, -1, 1, -4918626708330…, 42971607142455…] ≥ 19 trivial 138.12 199.31 15.39 209.86
#3614 [1, -1, 1, -3565267067359…, 26010590967585…] ≥ 19 trivial 139.70 210.34 16.38 222.67
#637 [1, 0, 0, -8799554752512…, 31781550723053…] ≥ 19 trivial 139.85 203.63 15.94 218.46
#598 [1, -1, 1, -6229212651440…, 18987511484414…] ≥ 19 trivial 140.86 218.80 17.09 231.25
#280 [1, 1, 1, -1475758023603…, 21467548255862…] ≥ 19 trivial 141.16 188.40 14.49 199.29
#1964 [1, 0, 0, -2448453635331…, 14873433893647…] ≥ 19 trivial 141.26 210.02 16.32 221.55
#1962 [1, -1, 1, -1868137169385…, 32157571671558…] ≥ 19 trivial 141.71 203.71 15.74 213.88
#1960 [0, 1, 0, -6144082701371…, 18979078636187…] ≥ 19 trivial 141.85 179.27 13.72 189.80
#695 [1, 0, 0, -2002873673357…, 89367182565100…] ≥ 19 trivial 142.71 198.55 15.26 207.11
#234 [1, 0, 1, -2770478907376…, 17751384795734…] ≥ 19 trivial 142.95 164.66 12.74 180.46
#1963 [0, 1, 1, -9928086701207…, 39046431327718…] ≥ 19 trivial 143.22 208.41 16.15 218.87
#422 [1, -1, 1, -7563743114616…, 25010503377156…] ≥ 19 trivial 143.32 193.02 14.89 204.19
#736 [1, -1, 1, -6233071538505…, 59944564784889…] ≥ 19 trivial 144.42 196.63 15.31 210.52
#322 [1, -1, 1, -8662150489313…, 89490938437992…] ≥ 19 trivial 144.60 188.46 14.44 197.69
#160 [1, -1, 0, -7321856729836…, 24500058176508…] ≥ 19 trivial 146.22 179.39 13.74 190.31
#240 [1, -1, 0, -2901585273794…, 19500338179289…] ≥ 19 trivial 146.55 156.34 11.81 166.83
#4136 [1, -1, 1, -1095852622006…, 13852523739455…] ≥ 19 trivial 147.06 172.98 13.24 184.58
#4135 [1, 1, 0, -2993481564762…, 57978319654553…] ≥ 19 trivial 148.65 164.46 12.44 173.78
#347 [1, 0, 0, -7825076977946…, 26712930332009…] ≥ 19 trivial 149.34 191.59 14.83 204.30
#6 [1, -1, 1, -2063758701246…, 32838647793306…] ≥ 19 trivial 149.99 191.08 14.66 200.30
#294 [0, 1, 0, -4101421576978…, 10100783138291…] ≥ 19 trivial 150.45 188.59 14.63 202.36
#225 [1, 0, 0, -7493044811565…, 24956345253788…] ≥ 19 trivial 150.79 217.09 17.05 231.80
#694 [1, 0, 1, -1479394361826…, 66336348463073…] ≥ 19 trivial 151.29 168.63 12.81 178.57
#290 [1, -1, 1, -1430641213130…, 64403389265680…] ≥ 19 trivial 151.41 181.71 13.92 192.29
#90 [1, -1, 1, -1049634928262…, 12127108227154…] ≥ 19 trivial 152.53 188.86 14.48 198.27
#331 [1, 1, 0, -1976589981599…, 93070638926001…] ≥ 19 trivial 153.30 198.20 15.24 207.07
#292 [1, 1, 0, -6463890105137…, 19998554362363…] ≥ 19 trivial 154.36 174.67 13.54 189.91
#332 [1, 1, 1, -8789621129176…, 10032036623674…] ≥ 19 trivial 154.37 196.26 15.35 211.55
#330 [0, -1, 0, -4828861268377…, 12887550036122…] ≥ 19 trivial 156.30 203.77 15.86 216.66
#336 [1, -1, 1, -1556258089679…, 23456109321321…] ≥ 19 trivial 156.42 215.41 16.78 227.08
#333 [1, 0, 0, -2389110518868…, 14196012150934…] ≥ 19 trivial 156.85 194.18 15.08 207.64
#341 [1, -1, 0, -3084587601676…, 65997762542852…] ≥ 19 trivial 156.88 187.71 14.56 201.50
#321 [1, -1, 1, -2521604575949…, 15199478795713…] ≥ 19 trivial 156.95 224.38 17.50 235.44
#3914 [1, -1, 0, -1532843794986…, 21742703900122…] ≥ 19 trivial 157.64 175.96 13.41 185.59
#296 [1, 0, 0, -3190204396715…, 66819798277603…] ≥ 19 trivial 158.60 205.33 15.88 215.42
#346 [1, 0, 0, -1650879174392…, 82791225908140…] ≥ 19 trivial 158.65 209.33 16.24 220.38
#281 [1, 0, 0, -2620963113310…, 16293457063716…] ≥ 19 trivial 159.07 195.11 15.13 207.92
#320 [1, 0, 0, -3487873891980…, 24443456667622…] ≥ 19 trivial 159.54 212.13 16.46 222.59
#323 [1, 0, 0, -4885832009149…, 13965569369020…] ≥ 19 trivial 159.59 207.19 16.01 216.82
#334 [1, -1, 0, -2008805871910…, 10587070699068…] ≥ 19 trivial 160.41 196.96 15.18 207.12
#338 [1, 1, 1, -8556314674380…, 30545123720525…] ≥ 19 trivial 160.90 205.70 16.01 218.38
#345 [1, 0, 0, -4849583885280…, 37444799703117…] ≥ 19 trivial 161.62 186.73 14.30 195.95
#335 [1, -1, 1, -1096484663303…, 14831224909223…] ≥ 19 trivial 162.14 202.69 15.64 212.33
#388 [1, 0, 0, -2271278066069…, 41395746156416…] ≥ 19 trivial 162.61 216.40 16.86 228.22
#337 [1, 0, 0, -1622682797685…, 41794466887288…] ≥ 19 trivial 162.63 226.34 17.56 234.11
#381 [1, -1, 0, -1098236516565…, 13881034132195…] ≥ 19 trivial 165.15 200.75 15.55 212.22
#291 [1, 0, 0, -3235689396243…, 70815900914955…] ≥ 19 trivial 165.75 214.65 16.85 229.28
#295 [1, 0, 1, -1737623861410…, 27567969093931…] ≥ 19 trivial 167.11 216.15 16.82 227.41
#293 [1, -1, 0, -5903488565485…, 55188035745958…] ≥ 19 trivial 170.67 209.54 16.42 224.17
#339 [1, 1, 0, -4918297554360…, 13244459911694…] ≥ 19 trivial 172.91 203.92 15.87 216.72
#3553 [1, 0, 0, -2011143219219…, 30156900228721…] ≥ 19 ℤ/2ℤ 173.46 315.70 25.03 324.56
#3875 [1, 0, 0, -3099002508611…, 20997686720958…] ≥ 19 ℤ/2ℤ 173.46 315.28 25.38 332.76
#297 [1, -1, 1, -1020568041189…, 12353237625156…] ≥ 19 trivial 174.17 242.52 19.01 253.45
#342 [1, 1, 1, -1391553064700…, 63223760170886…] ≥ 19 trivial 175.94 205.74 16.08 219.84
#343 [1, -1, 1, -4328588152353…, 10961498966678…] ≥ 19 trivial 176.62 211.30 16.79 230.15
#39 [1, -1, 1, 31368015812338…, 30203880269856…] ≥ 19 ℤ/2ℤ 192.85 335.25 26.62 342.70
#312 [1, -1, 1, -6568019580778…, 63570487024691…] ≥ 19 ℤ/2ℤ 192.85 338.09 26.96 348.83
#1951 [1, -1, 1, -5402916719086…, 48337258598865…] ≥ 19 ℤ/2ℤ 193.19 330.64 26.67 348.25
#1996 [1, -1, 1, -5598400084645…, 44651244271983…] ≥ 19 ℤ/2ℤ 193.19 339.44 27.01 348.35
#442 [1, -1, 1, -1372671280100…, 19558755605299…] ≥ 19 trivial 387.98 461.52 37.38 475.38
#443 [1, 0, 1, -4702051609187…, 37908382840446…] ≥ 19 trivial 515.22 558.72 45.33 568.88
#3727 [0, 1, 0, -1870073332603…, 33354634447365…] ≥ 18 trivial 119.50 163.01 12.33 172.51
#3589 [0, 1, 0, -4301363910709…, 10878063415201…] ≥ 18 trivial 120.29 175.62 13.52 188.69
#3543 [1, 0, 1, -1049350512320…, 14226219483736…] ≥ 18 trivial 121.25 175.30 13.35 184.62
#3609 [0, 1, 0, -3263173554665…, 21625886361755…] ≥ 18 trivial 121.68 184.92 14.17 194.76
#1955 [0, 1, 0, -3142848387624…, 68945569305984…] ≥ 18 trivial 121.88 163.08 12.38 173.96
#3610 [0, 1, 0, -2122166949958…, 11914429338377…] ≥ 18 trivial 125.02 180.05 13.91 193.48
#4026 [1, 0, 0, -1523876251498…, 20751154116233…] ≥ 18 trivial 125.33 176.39 13.43 185.57
#644 [1, 0, 1, -1743277697864…, 26865014546188…] ≥ 18 trivial 125.60 162.18 12.28 172.16
#1956 [1, 0, 0, -3269080460443…, 71978041884815…] ≥ 18 trivial 126.43 187.30 14.55 201.68
#3611 [0, 1, 0, -1723763493025…, 87345722413451…] ≥ 18 trivial 126.77 180.18 13.88 192.85
#754 [1, -1, 1, -4958352887138…, 13735005088804…] ≥ 18 trivial 127.06 178.55 13.66 189.15
#161 [1, -1, 1, -1861192220801…, 96678496113457…] ≥ 18 trivial 127.07 181.78 13.96 193.08
#1957 [1, -1, 1, -4504429865794…, 11202292510121…] ≥ 18 trivial 127.84 192.57 14.81 202.64
#222 [1, -1, 1, -3331019292820…, 88471823270026…] ≥ 18 trivial 128.53 151.99 11.38 160.64
#4200 [0, 0, 0, -1572754513082…, 25243298865338…] ≥ 18 trivial 128.68 148.33 11.12 158.14
#314 [0, 1, 0, -5259979010001…, 46425513899592…] ≥ 18 trivial 129.32 166.85 12.91 182.38
#698 [1, -1, 1, -3906347754441…, 90963878019286…] ≥ 18 trivial 129.44 164.36 12.47 174.58
#4183 [1, -1, 0, -1268740341977…, 14832398592309…] ≥ 18 trivial 130.32 134.82 9.96 143.58
#223 [1, -1, 0, -1382729158078…, 19952277912018…] ≥ 18 trivial 130.47 173.72 13.30 185.30
#224 [1, 0, 1, -6673066689650…, 20937863941408…] ≥ 18 trivial 130.69 190.88 14.79 203.82
#734 [1, 0, 0, -3224767683946…, 70605626370702…] ≥ 18 trivial 130.81 174.69 13.45 187.82
#375 [1, -1, 1, -5294538512342…, 14733383852439…] ≥ 18 trivial 132.48 191.31 14.77 203.12
#737 [1, 0, 0, -2788197723414…, 17936870653793…] ≥ 18 trivial 133.00 208.20 16.27 221.92
#3913 [0, 0, 0, -4166524067493…, 10340681841173…] ≥ 18 trivial 133.25 161.16 12.34 174.77
#146 [1, 0, 1, -5556025348607…, 48509071506063…] ≥ 18 trivial 133.46 172.48 13.14 182.54
#4193 [0, 0, 0, -1693886074426…, 24856451483538…] ≥ 18 trivial 134.06 148.85 11.15 158.26
#4194 [1, 1, 1, -1549270804866…, 65475142420251…] ≥ 18 trivial 137.21 155.94 11.72 164.90
#241 [1, 1, 1, -3002323607176…, 63157734310826…] ≥ 18 trivial 137.34 147.24 11.14 159.97
#102 [1, -1, 1, -3544239687172…, 25619866461531…] ≥ 18 trivial 138.99 182.23 14.06 195.01
#697 [1, 0, 1, -6257697026634…, 49438311480526…] ≥ 18 trivial 139.24 160.51 12.09 169.09
#696 [1, 0, 1, -9546074523488…, 11363356629829…] ≥ 18 trivial 139.81 156.65 11.97 170.35
#4138 [1, -1, 0, -1249877609713…, 16379978983978…] ≥ 18 trivial 140.10 161.08 12.19 171.16
#147 [1, 0, 0, -3043757926484…, 65348316359688…] ≥ 18 trivial 141.22 162.57 12.36 173.85
#4137 [1, 1, 0, -1624610542966…, 25053011057178…] ≥ 18 trivial 141.40 160.07 12.17 171.95
#324 [1, 0, 1, -1000664131356…, 12262133853164…] ≥ 18 trivial 141.65 172.51 13.21 184.32
#94 [1, 0, 0, -5275155636558…, 46558488291896…] ≥ 18 trivial 141.91 196.83 15.29 210.02
#98 [1, -1, 1, -8117883423458…, 30875068238268…] ≥ 18 trivial 142.52 181.54 13.86 190.77
#405 [1, -1, 1, -1654889316573…, 26839119952931…] ≥ 18 trivial 143.64 175.74 13.41 185.89
#87 [1, 1, 1, -1280679737602…, 55128352431001…] ≥ 18 trivial 143.73 180.75 13.87 191.96
#4139 [1, 1, 0, -1414297519753…, 17291015394305…] ≥ 18 trivial 143.94 162.83 12.29 171.53
#732 [1, 0, 1, -7586870943422…, 21935424575188…] ≥ 18 trivial 144.47 167.76 12.70 176.57
#406 [1, -1, 1, -2109725107883…, 37018745916232…] ≥ 18 trivial 146.04 174.89 13.40 186.55
#215 [1, -1, 0, -5096888366016…, 51845518611945…] ≥ 18 trivial 146.80 160.02 12.06 168.79
#233 [1, 0, 0, -4705971343623…, 12429123434853…] ≥ 18 trivial 149.32 173.99 13.47 188.95
#382 [1, -1, 1, -3491794285041…, 24818984665985…] ≥ 18 trivial 149.78 197.57 15.27 208.78
#63 [1, 0, 0, -1718612993735…, 44567762612833…] ≥ 18 ℤ/2ℤ 149.80 295.60 23.33 303.36
#307 [1, 0, 0, -1474705521041…, 68901672366892…] ≥ 18 ℤ/2ℤ 149.80 288.33 22.98 302.90
#407 [1, 0, 1, -3709951130930…, 27719787279462…] ≥ 18 trivial 151.10 169.73 12.97 181.35
#380 [1, 0, 1, -5976631508664…, 48800073540677…] ≥ 18 trivial 151.61 173.91 13.22 182.76
#383 [1, 0, 0, -2027806420493…, 34519698985201…] ≥ 18 trivial 152.05 203.26 15.73 214.06
#408 [1, -1, 0, -2768917408479…, 18845328323416…] ≥ 18 trivial 152.62 184.77 14.15 194.39
#242 [1, 0, 1, -3095262589640…, 21616096889033…] ≥ 18 trivial 153.50 184.39 14.14 194.67
#409 [1, -1, 0, -4446761962800…, 32977686151489…] ≥ 18 trivial 159.47 186.44 14.27 195.69
#3237 [1, 0, 0, -1569482960904…, 75676715828990…] ≥ 18 ℤ/2ℤ 164.34 300.20 24.08 316.91
#3239 [1, 0, 0, -1036384623437…, 10412633142849…] ≥ 18 ℤ/2ℤ 164.34 300.23 23.74 308.75
#73 [1, 0, 0, -1310927671383…, 11513825206543…] ≥ 18 ℤ/2ℤ 164.54 287.68 22.68 295.64
#310 [1, 0, 0, -1873940813132…, 98716542165119…] ≥ 18 ℤ/2ℤ 164.54 288.40 23.02 303.62
#384 [1, 1, 1, -6583856027874…, 78046218014936…] ≥ 18 trivial 166.76 202.41 15.58 211.05
#3233 [1, 0, 0, -6202714082793…, 13295318602026…] ≥ 18 ℤ/2ℤ 172.35 319.79 25.36 327.94
#3235 [1, 0, 0, -5683314401210…, 16489084803631…] ≥ 18 ℤ/2ℤ 172.35 311.92 25.01 327.68
#3232 [1, -1, 1, -5639193550250…, 16287718866634…] ≥ 18 ℤ/2ℤ 173.49 313.66 25.07 327.65
#3236 [1, -1, 1, -4302960497497…, 13378615184009…] ≥ 18 ℤ/2ℤ 173.49 312.31 24.72 319.93
#3723 [1, 0, 0, -3930848753786…, 29157092491487…] ≥ 18 ℤ/2ℤ 177.30 281.68 22.25 292.03
#4023 [1, 0, 0, 11846273771479…, 99664097399755…] ≥ 18 ℤ/2ℤ 177.30 286.98 22.59 294.43
#3229 [1, 0, 0, -1383174634046…, 83630063023303…] ≥ 18 ℤ/2ℤ 188.92 322.65 25.59 330.92
#3230 [1, 0, 0, -1508424869978…, 71299826352455…] ≥ 18 ℤ/2ℤ 188.92 314.67 25.25 330.60
#38 [1, 0, 0, -2617596009270…, 51069381476131…] ≥ 18 ℤ/2ℤ 189.76 341.53 27.28 352.98
#311 [1, 0, 0, -4727234268812…, -4294150883777…] ≥ 18 ℤ/2ℤ 189.76 347.17 27.62 354.75
#505 [1, 0, 1, -2497797449771…, 46349171130280…] ≥ 18 ℤ/2ℤ 191.25 315.09 25.02 325.21
#1997 [1, 0, 1, -2473171297950…, 47340055711440…] ≥ 18 ℤ/2ℤ 191.25 305.00 24.68 325.18
#506 [1, 0, 0, -2594964848240…, 50016117156480…] ≥ 18 ℤ/2ℤ 196.97 328.29 26.15 339.14
#1998 [1, 0, 0, -5450464199885…, -7985404066455…] ≥ 18 ℤ/2ℤ 196.97 333.60 26.50 341.37
#481 [0, 0, 0, -2018433972704…, 12890206002478…] ≥ 18 ℤ/2ℤ 197.40 364.46 29.09 373.23
#504 [1, 0, 0, -1261852208040…, 17207833052907…] ≥ 18 ℤ/2ℤ 216.54 379.53 30.50 392.24
#503 [1, 0, 0, -2828153504755…, 18290495106905…] ≥ 18 ℤ/2ℤ 253.26 443.02 35.84 456.83
#467 [1, 0, 0, -1375414938269…, 20780863582673…] ≥ 17 trivial 108.68 148.06 11.09 157.75
#4176 [1, -1, 0, -3602863180316…, 79239789780197…] ≥ 17 trivial 110.50 136.88 10.16 146.71
#3604 [1, -1, 1, -6837782126389…, 68862484008206…] ≥ 17 trivial 111.69 155.18 11.87 169.35
#97 [1, 0, 0, -1036323527324…, 42020398420720…] ≥ 17 trivial 113.21 153.59 11.57 163.76
#701 [0, 1, 0, -6191340641930…, 17937321812412…] ≥ 17 trivial 113.30 138.41 10.29 148.33
#3605 [1, 0, 0, -2623053812959…, 52242922963576…] ≥ 17 trivial 113.42 175.87 13.47 187.22
#702 [1, 0, 1, -1735685605337…, 28910213719956…] ≥ 17 trivial 113.76 148.34 11.13 158.41
#3606 [0, 0, 0, -1139739147444…, 46377750964744…] ≥ 17 trivial 114.26 152.58 11.53 163.98
#4186 [0, -1, 0, -3578451727666…, 82774132683222…] ≥ 17 trivial 115.48 120.73 8.91 132.88
#703 [1, -1, 1, -3687882898070…, 26964563097723…] ≥ 17 trivial 116.16 142.39 10.68 153.68
#3607 [1, 0, 1, -7086975756605…, 74001808570287…] ≥ 17 trivial 116.42 172.56 13.17 183.31
#3608 [1, -1, 1, -1659881656972…, 25350586146647…] ≥ 17 trivial 116.83 161.59 12.24 172.01
#4182 [1, -1, 0, -3319748837937…, 87521530701989…] ≥ 17 trivial 117.95 124.31 9.08 132.99
#699 [1, 1, 0, -2853103906472…, 58454184659943…] ≥ 17 trivial 119.20 133.58 9.99 146.01
#1953 [0, 1, 0, -5940225874167…, 55723131604546…] ≥ 17 trivial 120.11 193.47 15.20 210.38
#1952 [1, 0, 0, -2929637761621…, 56324115934467…] ≥ 17 trivial 120.15 191.98 14.74 201.35
#4142 [1, -1, 1, -4813409916184…, 37795368638508…] ≥ 17 trivial 120.19 145.03 10.83 154.48
#4154 [0, 0, 0, -1366448151659…, 62587284169342…] ≥ 17 trivial 120.40 139.94 10.45 150.74
#1954 [0, 1, 0, -8884003805353…, 10182512992613…] ≥ 17 trivial 120.64 225.48 17.71 239.21
#755 [0, 1, 0, -6600328628343…, 66382853650800…] ≥ 17 trivial 120.71 172.24 13.15 183.09
#229 [1, -1, 0, -2029899277894…, 11513710620645…] ≥ 17 trivial 120.87 141.78 10.58 151.96
#159 [1, -1, 0, -1321749187079…, 24766324232811…] ≥ 17 trivial 121.87 129.14 9.46 136.79
#4143 [1, -1, 0, -5124387699510…, 43781425071113…] ≥ 17 trivial 121.96 143.96 10.78 154.67
#4179 [1, 1, 0, -1120623063185…, 42271699119015…] ≥ 17 trivial 123.08 140.71 10.47 150.11
#756 [1, 0, 0, -3906786995489…, 29752516312638…] ≥ 17 trivial 123.54 195.48 15.20 209.12
#4140 [1, 1, 0, -3982663993633…, 24190402304924…] ≥ 17 trivial 123.66 145.48 10.84 153.91
#4141 [1, 1, 1, -3990812171620…, 29322719750485…] ≥ 17 trivial 124.06 144.02 10.76 153.92
#3912 [1, 0, 0, -1833958817674…, 95594724490422…] ≥ 17 trivial 124.08 146.03 11.38 165.40
#4162 [1, 0, 1, -1431184224820…, 22169060926184…] ≥ 17 trivial 124.09 134.45 9.95 144.06
#4177 [1, 0, 1, -2622634267561…, 44493515720160…] ≥ 17 trivial 124.33 136.95 10.14 145.75
#85 [0, 0, 0, -1230093728114…, 17818691304061…] ≥ 17 trivial 124.73 156.63 11.74 164.21
#232 [1, 1, 0, -3197289214260…, 73862336294883…] ≥ 17 trivial 124.99 136.83 10.15 146.47
#700 [1, 0, 1, -4492271259793…, 11737155322392…] ≥ 17 trivial 125.07 136.25 10.16 147.39
#4178 [1, 0, 0, -1048027674245…, 38256790690307…] ≥ 17 trivial 125.24 140.50 10.45 149.91
#4153 [1, -1, 0, -4406779617095…, 27885988174132…] ≥ 17 trivial 126.20 145.81 10.86 154.22
#216 [1, 0, 0, -2921640089721…, 60777760375298…] ≥ 17 trivial 126.45 157.74 12.17 173.71
#140 [1, 0, 0, -3594058853231…, 71746738560038…] ≥ 17 trivial 127.52 151.68 11.37 160.51
#227 [1, 1, 1, -3093247876694…, 62533675385974…] ≥ 17 trivial 128.72 150.39 11.28 160.06
#163 [1, 0, 0, -2263625835910…, 41564547766350…] ≥ 17 trivial 129.88 174.08 13.37 186.76
#228 [0, -1, 0, -1054784785150…, 13065457517847…] ≥ 17 trivial 130.98 145.37 10.93 156.84
#164 [1, -1, 1, -4936153897237…, 42404178534919…] ≥ 17 trivial 130.99 170.04 13.02 182.20
#165 [1, 0, 1, -2716995354209…, 54214482321365…] ≥ 17 trivial 132.87 175.33 13.45 187.31
#230 [1, -1, 0, -6816265614735…, 69068431292254…] ≥ 17 trivial 133.00 143.98 10.82 155.54
#96 [1, 0, 1, -3764690650150…, 89019354183527…] ≥ 17 trivial 134.50 147.21 11.17 160.66
#231 [1, 0, 0, -2356513159556…, 45035945457332…] ≥ 17 trivial 135.76 148.72 11.18 159.29
#5 [0, 1, 0, -1847801808769…, 96678875493491…] ≥ 17 trivial 136.21 186.20 14.81 206.87
#166 [1, -1, 1, -3687257198396…, 27247408785741…] ≥ 17 trivial 136.89 165.93 12.82 181.31
#187 [1, 0, 0, -1189299700325…, 15790705709481…] ≥ 17 trivial 140.02 183.66 14.28 198.64
#219 [1, 0, 1, -7654227590476…, 48997878008750…] ≥ 17 trivial 140.12 161.79 12.18 169.69
#3565 [1, -1, 0, -1754543736470…, 10629934898753…] ≥ 17 ℤ/2ℤ 143.79 247.46 19.32 255.07
#4022 [1, -1, 0, -2287191864007…, 13303626229078…] ≥ 17 ℤ/2ℤ 143.79 248.84 19.66 262.77
#3485 [1, 0, 0, -5384108389823…, 15204073247883…] ≥ 17 ℤ/2ℤ 146.35 256.58 20.39 272.25
#4021 [1, 0, 0, -4874003875703…, 18200677353321…] ≥ 17 ℤ/2ℤ 146.35 264.43 20.74 272.61
#189 [1, 0, 0, -1656344031782…, 79985539388309…] ≥ 17 trivial 147.21 182.27 13.97 192.73
#190 [1, 0, 0, -4628404804980…, 38153011899362…] ≥ 17 trivial 149.72 183.65 14.15 195.81
#3472 [1, 1, 1, -9040157640002…, 71844692098536…] ≥ 17 ℤ/2ℤ 150.36 272.62 21.42 280.71
#4019 [1, 1, 1, -5595393575697…, -1555752648266…] ≥ 17 ℤ/2ℤ 150.36 276.03 21.77 286.18
#316 [1, 0, 0, -1185784901231…, 15709973088316…] ≥ 17 trivial 150.92 184.09 14.30 198.63
#1101 [1, 0, 0, -1243378215801…, 53356855174745…] ≥ 17 ℤ/2ℤ 151.24 286.79 22.91 302.39
#2000 [1, 0, 0, -7010823537213…, 10033288229518…] ≥ 17 ℤ/2ℤ 151.24 286.28 22.56 294.45
#3692 [1, 0, 0, -3345085019976…, 23231015871477…] ≥ 17 ℤ/2ℤ 151.47 280.47 22.17 291.55
#4018 [1, 0, 0, -6612733002897…, -2958400401188…] ≥ 17 ℤ/2ℤ 151.47 285.91 22.52 293.59
#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
#3693 [1, 0, 0, -3501576044837…, 25104351887403…] ≥ 17 ℤ/2ℤ 156.76 265.72 20.99 277.87
#4020 [1, 0, 0, -1602563868323…, 52224737496818…] ≥ 17 ℤ/2ℤ 156.76 271.85 21.33 279.32
#37 [1, 0, 1, -9570894890557…, 35159825297065…] ≥ 17 ℤ/2ℤ 161.57 291.12 23.04 301.61
#309 [1, 0, 1, -1392478974260…, -1217114826246…] ≥ 17 ℤ/2ℤ 161.57 287.91 22.69 295.82
#519 [1, 0, 0, -2394980359951…, -2831350656023…] ≥ 17 ℤ/2ℤ 163.85 289.50 22.83 297.45
#1999 [1, 0, 0, -1607547610816…, 76377482560170…] ≥ 17 ℤ/2ℤ 163.85 292.75 23.17 303.16
#2146 [1, -1, 1, -1018436625192…, 58853455947619…] ≥ 17 ℤ/2ℤ 168.69 273.37 21.48 281.07
#2160 [1, -1, 1, -1376287698021…, 62114650230038…] ≥ 17 ℤ/2ℤ 168.69 274.52 21.82 288.88
#511 [1, -1, 1, -1347598821245…, 59588718300454…] ≥ 17 ℤ/2ℤ 171.70 318.93 25.39 330.27
#526 [1, 0, 0, 10740287287663…, 42244751666753…] ≥ 17 ℤ/2ℤ 172.58 312.90 24.75 320.35
#514 [1, -1, 1, -9688649196963…, 37092251763493…] ≥ 17 ℤ/2ℤ 177.05 317.96 25.31 329.30
#518 [1, 0, 0, -7014295011545…, 70569323689335…] ≥ 17 ℤ/2ℤ 177.58 351.74 28.11 362.85
#411 [1, 0, 0, -3591481020811…, 78382925089462…] ≥ 17 trivial 179.24 233.69 18.23 243.41
#517 [1, 0, 0, -4676250172766…, 12302853014843…] ≥ 17 ℤ/2ℤ 182.41 354.03 28.46 368.54
#513 [1, -1, 1, -8545878596603…, 85931558533293…] ≥ 17 ℤ/2ℤ 182.97 312.93 24.81 321.99
#523 [1, 1, 1, -9101887567534…, 89795409530709…] ≥ 17 ℤ/2ℤ 186.11 341.08 27.15 349.81
#508 [1, -1, 1, -5379288624256…, 47976421655098…] ≥ 17 ℤ/2ℤ 187.55 320.68 25.64 334.42
#512 [1, 0, 0, -2125729794087…, 37478276525551…] ≥ 17 ℤ/2ℤ 190.49 340.55 27.21 352.36
#515 [1, 0, 0, -1547542866227…, 72336427195558…] ≥ 17 ℤ/2ℤ 190.78 333.98 26.61 344.50
#509 [0, -1, 0, -5424376854878…, 47838663251397…] ≥ 17 ℤ/2ℤ 194.52 323.55 25.76 334.44
#525 [1, 0, 1, -5519473106759…, 15709950916757…] ≥ 17 ℤ/2ℤ 196.17 329.27 26.28 341.40
#520 [1, 0, 0, -8200472632584…, 84810127818880…] ≥ 17 ℤ/2ℤ 198.44 326.10 25.92 335.68
#510 [1, 0, 1, -8953711021620…, 10309659961796…] ≥ 17 ℤ/2ℤ 202.27 362.34 29.17 377.39
#522 [1, 1, 1, -9560119373282…, 11205917328296…] ≥ 17 ℤ/2ℤ 212.12 366.63 29.35 377.59
#516 [1, 0, 0, -1642440073507…, 80559514409142…] ≥ 17 ℤ/2ℤ 212.87 374.18 30.02 386.12
#521 [1, -1, 1, -3356619719174…, 30321206348307…] ≥ 17 ℤ/2ℤ 221.59 366.55 29.26 374.94
#507 [1, 0, 0, -8489423401566…, 30039718721636…] ≥ 17 ℤ/2ℤ 229.40 398.90 32.12 411.77
#524 [1, 0, 1, -2047287438765…, 35383097091233…] ≥ 17 ℤ/2ℤ 229.76 382.05 30.66 393.69