Elliptic Curve Rank Leaderboard

← home

Curves with trivial torsion

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 1120 of 3920 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
#845 [1, 0, 0, -6890645832588…, 21972625654265…] ≥ 31 trivial 348.28 425.78 34.36 438.78
#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
#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
#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
#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
#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
#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
#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
#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
#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
#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
#3818 [1, 0, 0, -4476387259413…, 11274980614518…] ≥ 28 trivial 267.16 344.00 27.45 354.59
#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
#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
#3836 [0, 1, 0, -8424130123243…, 28840392298011…] ≥ 27 trivial 232.35 290.97 23.02 301.22
#1675 [0, 0, 0, -1849576243056…, 96311345590303…] ≥ 27 trivial 235.01 277.75 21.99 289.77
#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
#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
#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
#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
#3549 [1, 0, 0, -3557596497014…, 25716507030882…] ≥ 26 trivial 225.20 265.70 20.99 277.92
#3822 [1, 0, 0, -3506410405399…, 24284761895045…] ≥ 26 trivial 227.41 309.29 24.54 319.32
#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
#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
#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
#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
#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
#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
#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
#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
#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
#3831 [1, 0, 0, -8077025532831…, 87764197349911…] ≥ 24 trivial 193.84 254.79 20.06 266.56
#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
#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
#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
#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
#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
#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
#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
#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
#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
#459 [1, 0, 0, -1928281706386…, 10412727745428…] ≥ 20 trivial 192.24 250.93 19.72 262.28
#435 [1, 0, 0, -4912078235647…, 13413225629897…] ≥ 20 trivial 198.23 247.00 19.39 258.18
#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
#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
#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
#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
#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
#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
#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
#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
#147 [1, 0, 0, -3043757926484…, 65348316359688…] ≥ 18 trivial 141.22 162.57 12.36 173.85
#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
#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
#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
#384 [1, 1, 1, -6583856027874…, 78046218014936…] ≥ 18 trivial 166.76 202.41 15.58 211.05
#467 [1, 0, 0, -1375414938269…, 20780863582673…] ≥ 17 trivial 108.68 148.06 11.09 157.75
#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
#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
#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
#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
#756 [1, 0, 0, -3906786995489…, 29752516312638…] ≥ 17 trivial 123.54 195.48 15.20 209.12
#3912 [1, 0, 0, -1833958817674…, 95594724490422…] ≥ 17 trivial 124.08 146.03 11.38 165.40
#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
#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
#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
#316 [1, 0, 0, -1185784901231…, 15709973088316…] ≥ 17 trivial 150.92 184.09 14.30 198.63
#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
#411 [1, 0, 0, -3591481020811…, 78382925089462…] ≥ 17 trivial 179.24 233.69 18.23 243.41
#683 [1, -1, 1, -3980003539856…, 14278165486418…] ≥ 16 trivial 98.07 125.71 9.17 133.19
#682 [1, 0, 0, -3180985009490…, 21842327450443…] ≥ 16 trivial 100.12 138.18 10.50 153.24
#141 [1, -1, 1, -6254103958828…, 19264446237794…] ≥ 16 trivial 101.99 150.99 11.39 162.20
#708 [0, -1, 0, -1116967888345…, 16973991578891…] ≥ 16 trivial 104.03 148.63 11.11 157.34
#709 [1, -1, 1, -5601577808704…, 46624093905548…] ≥ 16 trivial 104.39 145.68 10.88 154.94
#706 [1, 1, 0, -3944737570086…, 86140454424768…] ≥ 16 trivial 105.68 124.02 9.07 133.16
#3810 [1, -1, 1, -9646294246971…, 61409182828693…] ≥ 16 trivial 107.40 148.78 11.10 156.57
#3603 [1, -1, 1, -4436141870069…, 98513667991088…] ≥ 16 trivial 107.48 166.12 12.57 174.96
#104 [0, 0, 0, -2877601677369…, 19025737102846…] ≥ 16 trivial 107.50 114.18 8.32 125.33
#3809 [1, 0, 0, -1139640908065…, 47583450462694…] ≥ 16 trivial 107.67 153.10 11.55 164.01
#705 [1, 1, 0, -3063678476597…, 52804619400469…] ≥ 16 trivial 108.84 123.89 9.04 132.40
#707 [0, -1, 0, -6259638613734…, 18642918451357…] ≥ 16 trivial 109.69 123.96 9.11 134.55
#704 [0, 1, 0, -2787721411725…, 56713426965241…] ≥ 16 trivial 110.72 118.52 8.79 132.12
#3911 [1, 1, 0, -7523735096714…, -2634878899180…] ≥ 16 trivial 111.88 134.55 9.90 142.01
#167 [1, -1, 1, -4322087140978…, 11321887318127…] ≥ 16 trivial 114.55 150.98 11.35 161.14
#168 [1, 0, 0, -1749969305205…, 24444545444646…] ≥ 16 trivial 115.14 177.13 13.49 185.99
#93 [1, 0, 0, -2888333461706…, 69181091953326…] ≥ 16 trivial 118.19 151.33 11.33 160.15
#169 [0, 1, 0, -1253916882048…, 54040913415204…] ≥ 16 trivial 118.31 147.87 11.37 164.26
#217 [1, -1, 0, -5392334889373…, 15240817506986…] ≥ 16 trivial 118.78 143.62 11.11 161.73
#170 [1, 1, 1, -1002421447003…, 12481234946887…] ≥ 16 trivial 119.20 146.10 10.96 156.73
#820 [0, 1, 0, -1614852809997…, 25084698427586…] ≥ 16 trivial 120.24 132.09 9.85 144.31
#171 [1, 0, 0, -2430331277948…, 46065726780475…] ≥ 16 trivial 120.27 159.56 12.21 173.16
#172 [1, -1, 1, -1459322281852…, 22189248867258…] ≥ 16 trivial 120.68 161.50 12.23 171.69
#173 [1, 1, 1, -2834094933042…, 18363501622562…] ≥ 16 trivial 120.80 163.44 12.71 180.52
#174 [1, -1, 0, -2235680741254…, 12832599367576…] ≥ 16 trivial 122.41 167.11 12.79 179.81
#91 [1, 1, 0, -6540850922519…, -1851537704759…] ≥ 16 trivial 123.84 134.05 9.86 141.59
#175 [1, 0, 0, -2912632959608…, 62423713413815…] ≥ 16 trivial 125.13 177.32 13.55 187.58
#236 [0, 0, 0, -4016926442136…, 20620924859313…] ≥ 16 trivial 125.19 159.72 12.01 167.76
#176 [1, -1, 1, -3945740361744…, 29952368094157…] ≥ 16 trivial 126.20 155.99 11.83 167.70
#177 [1, 0, 0, -6002261379293…, 56433748756196…] ≥ 16 trivial 127.24 156.37 11.89 168.96
#178 [1, -1, 1, -2319335225418…, 13598277174623…] ≥ 16 trivial 127.71 178.50 13.86 193.74
#179 [1, 1, 1, -5156525671696…, 14388758042202…] ≥ 16 trivial 127.84 150.19 11.33 161.62
#180 [1, 0, 0, -1968021916331…, 32257087916682…] ≥ 16 trivial 129.11 162.52 12.31 172.52
#317 [1, 0, 0, -4315862856022…, 10790462918687…] ≥ 16 trivial 130.29 149.81 11.29 161.06
#181 [1, 0, 0, -3994635920327…, 10060897392188…] ≥ 16 trivial 132.21 150.74 11.33 160.90
#182 [1, 0, 0, -7055924819678…, 22806853038273…] ≥ 16 trivial 133.99 202.79 15.88 217.80
#183 [1, 1, 1, -3232021975415…, 22065614348458…] ≥ 16 trivial 134.52 183.65 14.11 194.73
#184 [1, 1, 1, -1169167431674…, 15401506519118…] ≥ 16 trivial 134.57 184.84 14.32 198.59
#185 [1, 0, 0, -1392638906885…, 18667175679332…] ≥ 16 trivial 135.02 175.80 13.40 185.30
#186 [1, -1, 1, -4333759863456…, 10799819135615…] ≥ 16 trivial 135.64 164.02 12.46 174.89
#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
#303 [1, -1, 1, -1441840644112…, 57413576853372…] ≥ 16 trivial 137.39 155.87 11.71 164.68
#188 [1, 0, 0, -5018014340458…, 13880560562181…] ≥ 16 trivial 146.36 178.16 13.65 189.18
#191 [1, 0, 0, -6092326288167…, 18243575053562…] ≥ 16 trivial 155.34 218.68 17.08 231.18
#213 [1, 0, 0, -7454077345019…, 24406669293963…] ≥ 16 trivial 175.04 220.79 17.20 231.78
#379 [0, 1, 0, -6518816843212…, 61687014344042…] ≥ 16 trivial 183.83 200.58 15.48 210.65
#811 [1, 1, 0, -1661237516922, 10180211449362…] ≥ 15 trivial 81.57 87.93 6.04 96.45
#812 [1, -1, 0, -438546442624, 12039212549310…] ≥ 15 trivial 82.05 82.75 5.64 92.18
#1226 [1, -1, 0, -1407918189274, 64861954223550…] ≥ 15 trivial 83.34 84.03 5.82 95.55
#466 [1, 0, 1, -1556038331383…, 23661751256860…] ≥ 15 trivial 84.10 103.32 7.50 116.56
#1229 [1, 1, 0, -3452523650433, 25582848489435…] ≥ 15 trivial 84.76 88.16 6.11 98.29
#1230 [1, -1, 0, -2210571130630, 13285977470954…] ≥ 15 trivial 84.86 87.16 6.02 96.98
#1231 [0, 0, 0, -1336053036892, 64884688390810…] ≥ 15 trivial 84.88 86.27 5.93 95.55
#1225 [1, 1, 0, -2785429754167, 90559939620521…] ≥ 15 trivial 85.64 89.83 6.18 97.58
#1227 [1, -1, 0, -2671180080340, 15192879118390…] ≥ 15 trivial 86.00 88.30 6.09 97.45
#1228 [1, -1, 0, -1053711230239, 57387108823915…] ≥ 15 trivial 86.41 87.10 5.96 95.31
#415 [0, 0, 0, -4276705032892…, 33998857246073…] ≥ 15 trivial 90.28 99.24 7.17 112.68
#711 [1, 0, 1, -2224691425238…, 34460003896785…] ≥ 15 trivial 91.48 122.69 8.95 131.44
#148 [1, 0, 0, -8063477980719…, 27871147443545…] ≥ 15 trivial 93.46 132.52 10.10 149.12
#713 [1, 1, 1, -7137486693538…, 73056351883999…] ≥ 15 trivial 94.07 129.71 9.65 141.85
#86 [1, 0, 0, -5284128322984…, -1928191506104…] ≥ 15 trivial 94.13 119.68 8.66 127.13
#730 [0, -1, 0, -8399821783515…, 84637557598554…] ≥ 15 trivial 94.69 119.38 8.68 128.52
#235 [0, 0, 0, -6073700298618…, 17577001762786…] ≥ 15 trivial 96.34 110.52 7.98 120.64
#710 [1, -1, 0, -7298593818992…, 78596077250179…] ≥ 15 trivial 96.41 104.21 7.45 114.36
#757 [1, -1, 1, -1637348438442…, 78079572052975…] ≥ 15 trivial 97.83 154.84 11.67 165.06
#218 [1, 0, 1, -7743343218965…, 18441578642223…] ≥ 15 trivial 99.33 127.05 9.29 135.19
#276 [0, 0, 0, -3173985189420…, 71466484807091…] ≥ 15 trivial 100.53 108.69 7.82 118.77
#712 [1, -1, 1, -1007837936464…, 39082286460118…] ≥ 15 trivial 100.55 109.76 8.00 122.17
#192 [1, 0, 0, -8515564996455…, 94870260230348…] ≥ 15 trivial 103.04 144.61 10.87 156.19
#193 [1, 0, 0, -8732522681340…, 84461015559908…] ≥ 15 trivial 104.44 161.35 12.17 170.09
#194 [0, -1, 0, -1152498815741…, 15103590903163…] ≥ 15 trivial 105.94 130.69 9.76 143.29
#239 [0, -1, 0, -2235939201109…, 40692284642676…] ≥ 15 trivial 109.82 128.79 9.79 145.27
#237 [0, 1, 0, -1651640332674…, 91071592520866…] ≥ 15 trivial 112.30 128.59 9.45 137.68
#238 [1, -1, 1, -2567476684162…, 15844732034607…] ≥ 15 trivial 122.00 152.29 11.63 166.41
#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
#4 [1, 0, 0, -2098119445112…, 26653992551590…] ≥ 15 trivial 129.44 205.97 15.87 214.16
#220 [1, 0, 0, -1384235320449…, 63557025579745…] ≥ 15 trivial 133.75 153.53 11.59 164.59
#210 [1, 1, 1, -1467803987964…, 59614947549628…] ≥ 15 trivial 155.77 197.31 15.17 206.18
#211 [1, 0, 0, -2164487921238…, 12261011280970…] ≥ 15 trivial 156.31 206.40 16.17 221.16
#207 [1, 0, 0, -3341292704781…, 23590877785029…] ≥ 15 trivial 172.56 210.06 16.36 222.47
#199 [1, 0, 0, -2082020786419…, 36732936589138…] ≥ 15 trivial 182.68 215.81 16.83 227.96
#759 [0, 0, 0, -162487804927, 24573741560967…] ≥ 14 trivial 72.30 78.60 5.33 89.06
#1224 [1, -1, 0, -69256750159, 73632441472559…] ≥ 14 trivial 72.93 76.76 5.15 86.59
#685 [1, -1, 0, -17511333709, 74514797469532…] ≥ 14 trivial 73.03 73.72 4.86 82.37
#244 [0, 0, 0, -44788551847, 24622037869881…] ≥ 14 trivial 73.66 77.13 5.13 85.19
#1221 [1, -1, 0, -33047232934, 18472311900249…] ≥ 14 trivial 73.73 75.81 5.03 84.28
#592 [1, -1, 0, -51643728544, 44405357753733…] ≥ 14 trivial 74.08 74.77 5.02 85.62
#1222 [0, 0, 0, -423412235407, 10713766934484…] ≥ 14 trivial 74.19 80.60 5.53 91.95
#1223 [1, -1, 0, -111652073395, 14513129257645…] ≥ 14 trivial 74.33 76.63 5.20 87.95
#797 [0, 0, 0, -77127840412, 92882366180648…] ≥ 14 trivial 74.59 78.05 5.23 87.06
#593 [1, -1, 0, -47306953864, 41038696992715…] ≥ 14 trivial 74.60 75.29 5.04 85.42
#798 [0, 0, 0, -398361252247, 96907515571559…] ≥ 14 trivial 74.92 78.39 5.43 91.75
#799 [0, 0, 0, -394654495872, 90997119655445…] ≥ 14 trivial 74.98 81.86 5.58 91.72
#587 [1, -1, 0, -6935133529, 13230870021401…] ≥ 14 trivial 74.98 75.68 4.99 83.16
#800 [1, 1, 0, -174627385832, 27982674874382…] ≥ 14 trivial 75.13 76.92 5.26 89.27
#714 [0, 0, 1, -21939919267, 64933794078576…] ≥ 14 trivial 75.28 75.28 4.97 83.05
#590 [1, -1, 0, -37987453366, 33156400891066…] ≥ 14 trivial 75.51 76.20 5.07 85.00
#103 [1, -1, 0, -277442745099, 47682424180908…] ≥ 14 trivial 76.85 81.94 5.55 90.66
#753 [1, -1, 1, -7284626753853…, 23946566213414…] ≥ 14 trivial 82.22 120.91 9.01 135.00
#3 [0, 0, 1, -2248232106757, 13294720913796…] ≥ 14 trivial 86.48 86.48 5.99 96.99
#221 [1, 1, 1, -1771379373053…, 92256564201965…] ≥ 14 trivial 89.87 126.82 9.36 137.70
#195 [1, -1, 1, -5443169133558…, 18054823366157…] ≥ 14 trivial 91.28 139.48 10.34 148.25
#196 [1, -1, 1, -5850789825527…, 17942601723146…] ≥ 14 trivial 92.52 124.43 9.13 134.43
#197 [1, -1, 1, -1584800197502…, 24771530688804…] ≥ 14 trivial 94.87 133.58 9.92 144.28
#198 [1, 1, 0, -1519707018181…, 22869247242133…] ≥ 14 trivial 95.19 145.33 10.98 157.94
#491 [0, -1, 0, -4198748675932…, 10467745656896…] ≥ 14 trivial 98.09 104.95 7.70 119.53
#471 [1, 0, 0, -1074823784146…, 42871915872437…] ≥ 14 trivial 99.98 121.63 9.09 136.17
#214 [1, -1, 1, -5791297226839…, -1024153228236…] ≥ 14 trivial 101.10 147.55 10.99 155.04
#639 [0, 0, 1, 0, 90519072625313…] ≥ 14 trivial 148.06 157.84 11.83 165.29
#204 [1, 0, 0, -4081611266679…, 31752380371548…] ≥ 14 trivial 160.98 194.70 15.18 209.25
#206 [1, 0, 0, -3740816273221…, 84694590726964…] ≥ 14 trivial 171.85 205.85 15.92 215.90
#158 [0, -1, 1, -1876573260, 32705933898332] ≥ 13 trivial 64.74 65.84 4.25 75.76
#763 [1, -1, 0, -7636625866, 27121884890420…] ≥ 13 trivial 65.49 70.26 4.61 79.99
#3803 [1, 0, 1, -104090690933, 12923707417896…] ≥ 13 trivial 65.65 72.34 5.02 87.72
#3804 [0, 0, 0, -10687932892, 42856717953442…] ≥ 13 trivial 65.80 69.27 4.60 80.91
#89 [0, 0, 0, -6529826212, 19599566294890…] ≥ 13 trivial 65.81 69.28 4.54 79.41
#3877 [0, 0, 0, -39991088332, 32195711257064…] ≥ 13 trivial 65.86 75.03 5.01 84.94
#3878 [0, 0, 1, -69573490077, 70613765523175…] ≥ 13 trivial 66.10 71.59 4.94 86.51
#790 [0, 0, 1, -13219745917, 23623704347694…] ≥ 13 trivial 66.20 73.90 4.85 81.53
#3879 [1, -1, 0, -37686930696, 28155748359043…] ≥ 13 trivial 66.27 69.16 4.77 84.67
#791 [0, 0, 0, -2831015167, 93401186864770] ≥ 13 trivial 66.45 69.92 4.52 77.86
#1218 [0, 0, 1, -38590905927, 29256145755271…] ≥ 13 trivial 66.55 72.04 4.87 84.75
#792 [0, 0, 0, -20005572727, 93274165731097…] ≥ 13 trivial 66.56 73.99 4.89 82.77
#793 [0, 1, 1, -4070928502, 78946908330992] ≥ 13 trivial 66.62 69.56 4.51 78.00
#1219 [1, 1, 0, -413296473437, 10273172023281…] ≥ 13 trivial 66.64 79.70 5.49 91.86
#1220 [0, 1, 0, -74484832620, 78290214494647…] ≥ 13 trivial 66.67 72.53 4.98 86.72
#794 [0, 1, 1, -3915257350, 93169964920370] ≥ 13 trivial 66.68 66.68 4.36 77.88
#795 [1, -1, 0, -27545930239, 17954870441477…] ≥ 13 trivial 66.72 73.08 4.88 83.77
#796 [1, 1, 0, -3995010842, 89438160269040] ≥ 13 trivial 66.82 68.61 4.46 77.94
#588 [0, 0, 1, -1129201567, 23953648602246] ≥ 13 trivial 67.22 67.22 4.30 75.14
#591 [0, 0, 1, -1141015057, 26061092520366] ≥ 13 trivial 67.46 67.46 4.32 75.31
#477 [0, 0, 1, -3096136477, 19662705790596] ≥ 13 trivial 69.63 69.63 4.49 77.17
#106 [0, 0, 0, -77547091492, 64550111722388…] ≥ 13 trivial 69.91 78.46 5.25 86.84
#200 [1, -1, 1, -1213916060668…, 55537316802098…] ≥ 13 trivial 77.81 127.27 9.35 136.69
#201 [1, -1, 1, -2033019015003…, 11118397813741…] ≥ 13 trivial 79.65 125.66 9.33 138.08
#202 [1, 0, 0, -7699301552946…, 82603709601203…] ≥ 13 trivial 81.92 129.93 9.67 142.09
#203 [1, 0, 1, -6897389822833…, 71134655768361…] ≥ 13 trivial 83.94 131.10 9.71 141.79
#61 [0, 0, 1, 0, 75255852424198…] ≥ 13 trivial 87.29 88.39 6.04 95.85
#205 [0, 1, 0, -1803128213046…, 93791269484285…] ≥ 13 trivial 167.56 194.99 15.08 206.81
#212 [0, 1, 0, -2215561807403…, 35386140191724…] ≥ 13 trivial 172.79 205.37 15.84 214.33
#208 [1, 0, 0, -3046953821561…, 64760983700857…] ≥ 13 trivial 172.80 200.65 15.68 215.28
#209 [1, 0, 0, -2961803807151…, 61324180930341…] ≥ 13 trivial 176.04 217.78 16.96 229.01
#157 [1, -1, 0, -227292004, 882331831684] ≥ 12 trivial 57.76 61.29 3.81 69.34
#761 [0, 0, 1, -2558717707, 49801921968156] ≥ 12 trivial 58.33 61.77 4.12 76.60
#762 [1, 1, 0, -546508862, 5450614684680] ≥ 12 trivial 58.42 63.04 3.99 72.18
#88 [0, 0, 0, -932733487, 11052354147250] ≥ 12 trivial 58.53 61.99 3.99 73.59
#784 [0, 0, 0, -1410298617, 20439456397265] ≥ 12 trivial 58.54 62.13 4.05 74.82
#785 [1, -1, 0, -266451964, 1712164041364] ≥ 12 trivial 58.59 59.28 3.72 69.86
#3460 [0, -1, 0, -3750893540, 87321690999876] ≥ 12 trivial 58.60 66.59 4.35 77.75
#786 [1, -1, 1, -40458649392, 31233082188297…] ≥ 12 trivial 58.72 72.27 4.89 84.88
#787 [0, -1, 0, -1006329305, 12582779623101] ≥ 12 trivial 58.76 63.32 4.06 73.85
#788 [1, -1, 0, -1865252986, 30958962950848] ≥ 12 trivial 58.79 62.42 4.09 75.65
#789 [0, 0, 0, -1809511249, 29321959247689] ≥ 12 trivial 59.12 64.22 4.16 75.56
#476 [0, 0, 1, -332557057, 2359264710636] ≥ 12 trivial 59.19 59.19 3.74 70.50
#556 [0, 0, 1, -160923919, 872942963892] ≥ 12 trivial 59.40 59.40 3.68 68.51
#475 [0, 0, 1, -113679727, 682491235476] ≥ 12 trivial 59.94 59.94 3.70 68.02
#681 [0, -1, 0, -226840098905, 45234150343722…] ≥ 12 trivial 60.51 80.90 5.48 90.22
#105 [1, -1, 1, -46496231372, 38274332589385…] ≥ 12 trivial 62.40 73.73 4.96 85.30
#3910 [0, 0, 1, -628089007, 12966075470706] ≥ 12 trivial 66.21 66.21 4.21 73.91
#1 [0, 0, 1, -6349808647, 19314634691103…] ≥ 12 trivial 67.77 67.77 4.47 79.33
#50 [0, 0, 1, -16359067, 26274178986] ≥ 11 trivial 51.25 51.25 3.04 61.51
#686 [0, 0, 0, -127265047, 551353318330] ≥ 11 trivial 51.28 54.74 3.44 67.60
#687 [0, 0, 1, -36274357, 72401493396] ≥ 11 trivial 51.31 55.03 3.31 63.83
#777 [1, 0, 1, -97954983, 366459823862] ≥ 11 trivial 51.48 56.02 3.46 66.81
#778 [0, 1, 1, -2741906470, 54779656199380] ≥ 11 trivial 51.65 65.30 4.26 76.81
#3456 [0, 0, 1, -445365697, 5911837823466] ≥ 11 trivial 51.67 64.42 4.06 72.34
#779 [1, -1, 1, -3391172427, 83084924109915] ≥ 11 trivial 51.80 68.36 4.43 77.62
#780 [0, 0, 0, -70554967, 233196593050] ≥ 11 trivial 51.81 55.28 3.39 65.87
#781 [0, 0, 0, -192733272, 1043780189985] ≥ 11 trivial 52.00 57.78 3.62 68.87
#782 [0, 0, 1, -138457897, 681816984246] ≥ 11 trivial 52.12 58.69 3.63 68.02
#1556 [0, 0, 1, -623707357, 5855834156712] ≥ 11 trivial 52.18 61.83 3.93 72.37
#783 [0, 0, 0, -83202007, 213124102810] ≥ 11 trivial 52.25 58.11 3.55 66.32
#136 [1, -1, 0, -38099014, 115877816224] ≥ 11 trivial 52.55 56.08 3.38 64.47
#145 [1, -1, 0, -103672594, 405866860144] ≥ 11 trivial 52.74 53.43 3.36 66.98
#552 [0, 0, 1, -13073767, -11170229244] ≥ 11 trivial 52.84 52.84 3.10 60.77
#137 [1, -1, 0, -41032399, 106082399089] ≥ 11 trivial 53.75 54.44 3.29 64.30
#138 [1, -1, 0, -34125664, 69523358164] ≥ 11 trivial 53.78 54.48 3.27 63.65
#139 [1, -1, 0, -56880994, 168642718624] ≥ 11 trivial 53.89 54.58 3.33 65.23
#3909 [0, -1, 1, -71678910, 360169416462] ≥ 11 trivial 58.74 58.74 3.59 66.74
#326 [0, -1, 0, -399667220820, 32642129216035…] ≥ 11 trivial 68.29 84.18 5.71 91.76
#344 [1, -1, 1, -2170332799426…, 38217297474283…] ≥ 11 trivial 71.62 106.77 7.69 117.55
#49 [0, 0, 1, -16312387, 25970162646] ≥ 10 trivial 43.77 50.96 3.03 61.48
#760 [1, -1, 1, -44785887, 113653147335] ≥ 10 trivial 44.48 53.49 3.25 64.47
#95 [0, -1, 0, -9581420, 11213539236] ≥ 10 trivial 44.49 49.05 2.88 59.84
#99 [1, -1, 0, -10194109, 12647638369] ≥ 10 trivial 44.54 48.60 2.87 60.04
#100 [0, 0, 1, -21078967, 35688990786] ≥ 10 trivial 44.57 52.25 3.11 62.20
#60 [1, -1, 0, -1536664, 648294124] ≥ 10 trivial 44.68 45.38 2.51 54.35
#101 [1, -1, 0, -4513546, 3716615296] ≥ 10 trivial 45.12 45.81 2.65 57.59
#774 [0, 0, 0, -27718327, 55094082970] ≥ 10 trivial 45.22 52.30 3.15 63.03
#775 [1, -1, 0, -3401281, 2458689193] ≥ 10 trivial 45.27 45.96 2.62 56.77
#776 [0, 0, 1, -2917747, 2367256296] ≥ 10 trivial 45.34 48.17 2.73 56.69
#82 [0, 0, 1, -1788817, 843180666] ≥ 10 trivial 45.53 45.53 2.53 54.80
#83 [0, 1, 1, -1856500, 1072474760] ≥ 10 trivial 45.92 45.92 2.56 55.11
#84 [0, 0, 1, -2438527, 1545098346] ≥ 10 trivial 46.08 46.08 2.59 55.84
#359 [0, -1, 0, -306746316, 2202727337316] ≥ 10 trivial 52.21 60.78 3.81 70.36
#371 [0, 0, 0, -851586267, 7403133843290] ≥ 10 trivial 52.72 64.93 4.12 73.30
#468 [0, -1, 0, -17449247001, 88689718750310…] ≥ 10 trivial 53.00 67.58 4.60 82.36
#370 [1, -1, 0, -49868394, 160512600824] ≥ 10 trivial 53.53 56.42 3.42 65.13
#564 [1, 1, 0, -9202148400, 34482288940200…] ≥ 10 trivial 54.25 69.48 4.59 80.47
#572 [1, -1, 1, -68837738612, 64365579431205…] ≥ 10 trivial 55.82 77.08 5.17 86.48
#315 [0, 1, 0, -8110664060, 28728277448606…] ≥ 10 trivial 56.06 69.49 4.57 80.11
#472 [1, 1, 1, -8613625056, 34496645078835…] ≥ 10 trivial 56.33 71.43 4.68 80.47
#474 [0, 1, 0, -323494567865, 68724510883515…] ≥ 10 trivial 56.34 80.82 5.51 91.12
#595 [0, 0, 1, -22193305147, 12869882002645…] ≥ 10 trivial 56.63 71.85 4.80 83.11
#562 [0, 0, 0, -25908117228, 15947814022800…] ≥ 10 trivial 57.10 71.74 4.81 83.55
#349 [1, 0, 0, -60329721215, 59410902286031…] ≥ 10 trivial 57.25 76.16 5.11 86.16
#470 [1, 1, 1, -315277608363, 72862525021888…] ≥ 10 trivial 57.32 81.65 5.55 91.18
#460 [1, -1, 1, -1255871985167, 53288797353969…] ≥ 10 trivial 57.38 84.30 5.82 95.19
#555 [1, -1, 1, -50167445243, 39424916889835…] ≥ 10 trivial 57.51 76.30 5.10 85.53
#553 [1, 1, 0, -1798458358, 29149735456048] ≥ 10 trivial 57.58 63.82 4.15 75.54
#301 [0, 1, 0, -11454891505, 53595111623457…] ≥ 10 trivial 68.94 72.41 4.76 81.35
#48 [1, -1, 0, -135004, 97151644] ≥ 9 trivial 38.01 42.81 2.25 50.31
#132 [1, -1, 0, -613069, 98885089] ≥ 9 trivial 38.31 43.80 2.35 51.59
#144 [0, 0, 0, -1996617, 1025754145] ≥ 9 trivial 38.57 45.45 2.54 55.13
#133 [0, 0, 1, -3835819, 2889890730] ≥ 9 trivial 38.68 42.89 2.51 57.09
#134 [1, 0, 1, -1493028, 701820182] ≥ 9 trivial 38.82 39.51 2.26 54.26
#135 [1, 0, 1, -1076185, 496031340] ≥ 9 trivial 38.89 44.73 2.45 53.57
#771 [0, 0, 0, -3368092, 2377730260] ≥ 9 trivial 39.06 42.53 2.48 56.70
#59 [0, 0, 1, -167419, 30261330] ≥ 9 trivial 39.10 39.10 1.98 47.97
#772 [0, 0, 0, -2905252, 1828929700] ≥ 9 trivial 39.19 46.27 2.62 56.26
#773 [0, 0, 1, -970459, 361564062] ≥ 9 trivial 39.20 42.15 2.30 52.97
#79 [0, 0, 1, -514507, 140806716] ≥ 9 trivial 39.56 39.56 2.11 51.07
#80 [0, 0, 1, -402157, 96291336] ≥ 9 trivial 39.60 39.60 2.09 50.33
#81 [0, 0, 1, -826609, 289956150] ≥ 9 trivial 39.69 39.69 2.18 52.49
#150 [1, -1, 0, -1743349, 886895689] ≥ 9 trivial 39.75 40.44 2.31 54.73
#589 [1, -1, 1, -176907, 16703700] ≥ 9 trivial 40.00 40.00 2.03 47.86
#151 [0, 0, 0, -5347108, 4740882532] ≥ 9 trivial 40.69 45.76 2.67 58.09
#152 [1, -1, 0, -1495909, 697025989] ≥ 9 trivial 40.89 42.97 2.39 54.27
#153 [1, -1, 0, -1240549, 521297989] ≥ 9 trivial 40.96 43.04 2.37 53.71
#154 [0, 0, 0, -3926559, 3073474946] ≥ 9 trivial 41.11 46.78 2.68 57.22
#155 [1, -1, 0, -1188709, 494972209] ≥ 9 trivial 41.33 42.03 2.32 53.58
#156 [1, -1, 0, -759880, 142095100] ≥ 9 trivial 42.11 44.41 2.40 52.24
#565 [0, 0, 0, -374961132, 2743046554356] ≥ 9 trivial 44.17 60.08 3.80 70.84
#479 [1, -1, 1, -197123177, 1056496302505] ≥ 9 trivial 45.33 57.35 3.60 68.91
#366 [1, -1, 1, -19968242, 24608110065] ≥ 9 trivial 45.43 53.87 3.20 62.04
#300 [1, 0, 0, -550746640, 4883372708096] ≥ 9 trivial 45.91 61.23 3.89 71.99
#392 [1, 1, 1, -936464551, 11031352038749] ≥ 9 trivial 46.20 57.92 3.84 73.59
#501 [0, 1, 0, -113180608, 437534000388] ≥ 9 trivial 46.22 57.57 3.55 67.25
#547 [0, 0, 0, -52953057, 145874677545] ≥ 9 trivial 46.36 54.09 3.30 64.97
#573 [1, 0, 0, -3749297445, 77479439249025] ≥ 9 trivial 46.67 68.83 4.46 77.75
#640 [0, 0, 0, -620529987, 5709245168770] ≥ 9 trivial 46.88 62.36 3.96 72.35
#563 [0, 0, 0, -22560191100, 13034843109000…] ≥ 9 trivial 47.41 68.94 4.68 83.13
#353 [1, 1, 0, -50591622, 140974764984] ≥ 9 trivial 47.44 54.06 3.30 64.87
#497 [1, 1, 1, -13901959588, 61375239232618…] ≥ 9 trivial 47.72 71.30 4.72 81.68
#360 [1, 0, 0, -238158975, 1544082864921] ≥ 9 trivial 47.95 60.37 3.77 69.65
#569 [1, 0, 1, -429654351, 3202490757598] ≥ 9 trivial 48.01 61.73 3.89 71.25
#473 [1, -1, 1, -2444705780, 53729427292247] ≥ 9 trivial 48.05 67.91 4.38 76.75
#529 [0, 1, 0, -1465825433, 25826562932263] ≥ 9 trivial 48.34 66.63 4.27 75.29
#162 [0, 1, 0, -1029869656, 15913087721444] ≥ 9 trivial 48.63 65.85 4.20 74.32
#500 [1, 0, 0, -11796582015, 57625346472322…] ≥ 9 trivial 48.78 72.73 4.78 81.50
#560 [1, -1, 0, -18301838892, 96818753383751…] ≥ 9 trivial 48.87 71.61 4.76 82.54
#284 [0, 0, 0, -5565379300, 17073013504810…] ≥ 9 trivial 49.14 69.52 4.54 79.07
#358 [1, 1, 0, -71192370, 226048177800] ≥ 9 trivial 49.31 55.27 3.39 65.86
#494 [1, -1, 1, -539761739, 7376782316379] ≥ 9 trivial 50.30 64.77 4.10 72.78
#30 [1, -1, 1, -1608154463, 25555312501831] ≥ 9 trivial 50.62 64.94 4.18 75.27
#47 [1, -1, 0, -106384, 13075804] ≥ 8 trivial 33.15 35.79 1.76 46.34
#142 [0, 0, 0, -2220127, 1296242146] ≥ 8 trivial 33.17 44.69 2.51 55.49
#77 [1, -1, 0, -222751, 40537273] ≥ 8 trivial 33.31 34.00 1.79 48.56
#143 [1, -1, 0, -1336456, 594673996] ≥ 8 trivial 33.37 39.69 2.25 53.93
#129 [0, 0, 0, -481663, 128212738] ≥ 8 trivial 33.38 38.46 2.06 50.87
#130 [1, -1, 0, -71899, 5522449] ≥ 8 trivial 33.38 36.91 1.78 45.16
#131 [1, -1, 0, -124294, 14418784] ≥ 8 trivial 33.39 38.05 1.89 46.80
#769 [1, -1, 1, -311982, 54679485] ≥ 8 trivial 33.40 41.02 2.14 49.57
#78 [1, -1, 0, -201814, 34925104] ≥ 8 trivial 33.40 34.10 1.78 48.26
#770 [0, 0, 1, -135109, 18252072] ≥ 8 trivial 33.41 37.17 1.86 47.06
#75 [0, 1, 1, -23846, 1022562] ≥ 8 trivial 33.64 33.64 1.51 41.85
#260 [1, -1, 0, -27589, 1109929] ≥ 8 trivial 33.65 34.34 1.56 42.29
#76 [0, 0, 1, -23737, 960366] ≥ 8 trivial 33.76 33.76 1.52 41.84
#259 [1, -1, 0, -27019, 779689] ≥ 8 trivial 33.85 34.54 1.57 42.23
#58 [0, 1, 1, -16440, 1394010] ≥ 8 trivial 33.96 33.96 1.52 41.83
#258 [1, -1, 1, -10479, 1611834] ≥ 8 trivial 34.58 34.58 1.56 42.11
#261 [1, -1, 0, -14926, 2493976] ≥ 8 trivial 34.75 35.44 1.64 42.98
#3908 [1, -1, 1, -27999, 5048034] ≥ 8 trivial 36.80 36.80 1.75 44.39
#469 [0, 1, 0, -14856176, 21132808740] ≥ 8 trivial 37.72 51.18 3.03 61.16
#348 [1, 0, 1, -25465228, 50335019942] ≥ 8 trivial 37.86 51.99 3.12 62.81
#480 [1, 0, 0, -257481715, 1584902692961] ≥ 8 trivial 37.95 57.25 3.63 69.71
#365 [1, 1, 1, -14063345, 20355846671] ≥ 8 trivial 38.34 48.45 2.90 61.00
#357 [1, -1, 0, -1285029, 500060929] ≥ 8 trivial 38.59 44.78 2.46 53.81
#361 [1, 1, 1, -435052160, 3407298580001] ≥ 8 trivial 38.98 60.80 3.85 71.29
#369 [0, -1, 0, -2360940, 1452162276] ≥ 8 trivial 39.15 45.66 2.57 55.71
#354 [1, -1, 1, -1339654280, 18843018310347] ≥ 8 trivial 39.34 61.46 4.01 74.66
#493 [1, -1, 0, -263551, 239613121] ≥ 8 trivial 39.40 44.61 2.40 52.11
#502 [1, 0, 0, -316681338, 2589479672292] ≥ 8 trivial 39.76 62.02 3.89 70.69
#372 [1, -1, 0, -475339, 77898769] ≥ 8 trivial 39.80 42.90 2.28 50.83
#461 [0, 0, 0, -5371828, 4980588448] ≥ 8 trivial 39.96 48.13 2.77 58.18
#495 [1, -1, 1, -4621932, 5354780655] ≥ 8 trivial 39.97 50.16 2.88 58.33
#492 [1, -1, 1, -37863705, 78707115897] ≥ 8 trivial 40.17 55.04 3.31 63.96
#368 [1, -1, 1, -10380258, 13686541281] ≥ 8 trivial 40.17 50.59 2.96 60.20
#496 [0, 1, 0, -10411132, 35308102064] ≥ 8 trivial 40.41 54.50 3.23 62.10
#554 [0, 1, 0, -430685105, 3395677107603] ≥ 8 trivial 40.42 60.14 3.81 71.26
#367 [1, -1, 1, -52835555, 169776941347] ≥ 8 trivial 40.55 56.36 3.42 65.24
#570 [1, -1, 1, -4127631017, 10172352544804…] ≥ 8 trivial 40.71 65.59 4.32 78.04
#557 [1, -1, 1, -68838998, 241276942181] ≥ 8 trivial 40.73 56.71 3.46 65.94
#641 [0, 0, 0, -159082068, 802247943908] ≥ 8 trivial 40.87 58.28 3.62 68.34
#550 [1, 0, 0, -2957089613, 62531771459217] ≥ 8 trivial 41.06 65.71 4.29 77.06
#551 [0, -1, 0, -9219233, 12758883237] ≥ 8 trivial 41.18 51.36 3.00 60.06
#559 [0, 0, 0, -47601468, 129141736992] ≥ 8 trivial 41.26 54.06 3.29 64.69
#597 [0, 0, 1, -110520787, 448335516090] ≥ 8 trivial 41.49 54.43 3.41 67.18
#269 [0, 0, 0, -2308801, 2365444] ≥ 8 trivial 47.42 48.12 2.70 55.57
#263 [0, 0, 0, -6243121, 181090849] ≥ 8 trivial 47.77 51.10 2.95 58.55
#264 [0, 0, 0, -7179721, 11215801] ≥ 8 trivial 48.19 51.52 2.98 58.97
#29 [1, -1, 1, -6494556985832, 63514020689002…] ≥ 8 trivial 59.54 87.55 6.16 100.12
#44 [0, 0, 0, -10012, 346900] ≥ 7 trivial 26.67 30.14 1.24 39.25
#120 [1, 0, 1, -14733, 694232] ≥ 7 trivial 27.01 29.09 1.24 40.43
#121 [0, 0, 1, -36673, 2704878] ≥ 7 trivial 27.43 29.04 1.35 43.14
#122 [1, -1, 0, -92656, 10865908] ≥ 7 trivial 27.48 32.43 1.61 45.92
#123 [1, -1, 0, -18664, 958204] ≥ 7 trivial 27.52 30.78 1.34 41.12
#766 [1, -1, 0, -14569, 719329] ≥ 7 trivial 27.52 30.78 1.32 40.49
#125 [1, 0, 1, -5983, 164022] ≥ 7 trivial 27.64 28.33 1.10 37.70
#767 [0, 0, 0, -101647, 12379090] ≥ 7 trivial 27.65 34.55 1.70 46.20
#126 [1, 0, 1, -14505, 667472] ≥ 7 trivial 27.70 28.39 1.20 40.36
#768 [0, 0, 0, -12979, 405826] ≥ 7 trivial 27.70 31.86 1.36 40.03
#3907 [1, -1, 0, -15304, 737284] ≥ 7 trivial 28.03 28.73 1.22 40.53
#57 [0, 0, 1, -1387, 68046] ≥ 7 trivial 28.24 28.24 1.04 35.78
#124 [0, 0, 1, -5707, 151416] ≥ 7 trivial 28.32 28.32 1.10 37.56
#127 [0, 0, 1, -15577, 744876] ≥ 7 trivial 28.42 28.42 1.21 40.57
#128 [1, -1, 0, -22221159, 40791791609] ≥ 7 trivial 30.20 51.15 3.07 62.39
#549 [1, 0, 1, -1022026, 371573048] ≥ 7 trivial 30.90 43.60 2.38 53.13
#530 [0, -1, 0, -8018800, 8753953552] ≥ 7 trivial 30.98 45.89 2.73 59.31
#362 [1, -1, 1, -4886412, 4017333135] ≥ 7 trivial 31.32 47.66 2.74 57.82
#558 [0, -1, 0, -3114065, 2150586837] ≥ 7 trivial 31.37 45.60 2.59 56.50
#373 [1, 0, 0, -22215005, 40008831921] ≥ 7 trivial 31.40 50.66 3.05 62.36
#571 [0, -1, 1, -372290, 88905518] ≥ 7 trivial 31.63 39.17 2.06 50.13
#350 [0, 1, 0, -13546745, 19183095339] ≥ 7 trivial 32.09 45.51 2.79 60.88
#596 [1, -1, 0, -8638954, 9794013928] ≥ 7 trivial 32.26 46.50 2.76 59.53
#594 [0, 1, 0, -6701660, 6764724400] ≥ 7 trivial 32.29 47.70 2.78 58.79
#266 [0, 0, 0, -42484, 47524] ≥ 7 trivial 32.66 36.13 1.70 43.58
#352 [1, -1, 0, -281475, 65390161] ≥ 7 trivial 32.77 40.57 2.11 49.51
#561 [0, 1, 0, -10967350, 13246628873] ≥ 7 trivial 32.79 50.50 2.96 60.24
#283 [1, 1, 0, -1027782, 318095064] ≥ 7 trivial 32.91 44.69 2.44 53.14
#254 [0, 0, 0, 72351, 71289] ≥ 7 trivial 34.14 37.73 1.83 45.18
#255 [0, 0, 0, 97151, 91204] ≥ 7 trivial 34.48 38.61 1.91 46.07
#253 [0, 0, 0, 43319, 61009] ≥ 7 trivial 34.80 36.19 1.71 43.64
#256 [0, 0, 0, 47522, 1] ≥ 7 trivial 35.77 36.47 1.73 43.92
#265 [0, 0, 0, 54722, 519841] ≥ 7 trivial 36.21 36.90 1.76 44.34
#257 [0, 0, 0, 159359, 101761] ≥ 7 trivial 36.76 40.10 2.03 47.55
#246 [0, 0, 0, -75661452, 253314869625] ≥ 7 trivial 36.89 45.72 3.08 66.04
#247 [0, 1, 0, -482829160, 4083394233624] ≥ 7 trivial 38.52 49.30 3.50 71.60
#248 [0, -1, 0, -4719619360, 12479984594873…] ≥ 7 trivial 40.23 48.17 3.91 78.44
#250 [0, -1, 0, -1926296120, 32541777273856] ≥ 7 trivial 41.89 51.44 3.80 75.75
#249 [0, 1, 0, -7547876161, 25239510901286…] ≥ 7 trivial 45.30 53.45 4.10 79.85
#278 [0, 0, 0, -25876904769, 17761329193328…] ≥ 7 trivial 56.06 74.61 4.95 83.75
#279 [0, 0, 0, -2010516977329, 71337059553120…] ≥ 7 trivial 68.12 89.14 6.12 96.60
#43 [1, 1, 0, -2582, 48720] ≥ 6 trivial 22.37 24.16 0.81 35.18
#112 [0, 0, 1, -7077, 235516] ≥ 6 trivial 22.38 27.88 1.10 38.26
#113 [1, -1, 0, -2326, 43456] ≥ 6 trivial 22.47 23.16 0.76 34.87
#114 [1, -1, 0, -16249, 799549] ≥ 6 trivial 22.61 27.83 1.20 40.70
#115 [1, -1, 1, -63147, 6081915] ≥ 6 trivial 22.62 33.02 1.58 44.77
#444 [0, 0, 1, -547, -2934] ≥ 6 trivial 22.63 22.63 0.59 30.53
#116 [1, 0, 0, -9227, 340354] ≥ 6 trivial 22.64 22.64 0.93 39.00
#764 [1, -1, 0, -1486, 21688] ≥ 6 trivial 22.65 23.35 0.71 33.53
#765 [0, 0, 0, -9907, 306370] ≥ 6 trivial 22.70 30.71 1.27 39.22
#56 [0, 0, 1, -277, 4566] ≥ 6 trivial 22.76 22.76 0.58 30.38
#117 [0, 0, 1, -379, 5172] ≥ 6 trivial 22.81 22.81 0.59 30.63
#118 [0, 0, 1, -889, 9150] ≥ 6 trivial 22.90 22.90 0.64 31.98
#119 [0, 1, 1, -390, 5460] ≥ 6 trivial 22.99 22.99 0.61 30.78
#267 [0, 0, 0, -2452, 2500] ≥ 6 trivial 24.10 27.57 0.99 35.03
#3906 [1, 1, 1, -1277, 5402] ≥ 6 trivial 24.40 25.49 0.82 33.07
#584 [0, 1, 1, -39504, 1614116] ≥ 6 trivial 24.58 35.57 1.66 43.37
#252 [0, 1, 0, -2093345, 1165078600] ≥ 6 trivial 27.86 37.29 2.24 55.28
#272 [0, 0, 0, 0, 1190790012412] ≥ 6 trivial 38.10 61.68 3.82 69.13
#277 [0, 0, 0, -606045924, 5289852801024] ≥ 6 trivial 44.79 62.94 3.99 72.28
#41 [0, 0, 1, -79, 342] ≥ 5 trivial 16.76 16.76 0.11 25.19
#55 [1, 0, 0, -22, 219] ≥ 5 trivial 16.83 16.83 0.08 24.32
#107 [0, 0, 1, -247, 1476] ≥ 5 trivial 16.95 16.95 0.22 28.14
#108 [1, -1, 0, -415, 3481] ≥ 5 trivial 17.36 19.66 0.40 29.77
#109 [0, 0, 0, -532, 4420] ≥ 5 trivial 17.44 20.90 0.49 30.44
#3904 [1, -1, 0, -1234, 16624] ≥ 5 trivial 17.81 22.39 0.65 32.97
#110 [0, 1, 1, -100, 110] ≥ 5 trivial 17.84 17.84 0.18 25.44
#111 [0, 0, 1, -139, 732] ≥ 5 trivial 17.91 17.91 0.21 26.72
#1232 [1, -1, 0, -324, 2844] ≥ 5 trivial 17.94 20.83 0.45 29.37
#149 [0, 0, 1, -169, 930] ≥ 5 trivial 17.99 17.99 0.23 27.19
#676 [0, 1, 1, -30, 390] ≥ 5 trivial 18.03 18.03 0.18 25.51
#677 [0, 0, 1, -301, 2052] ≥ 5 trivial 18.12 18.12 0.30 28.78
#678 [0, 0, 1, -457, 3786] ≥ 5 trivial 18.25 18.25 0.35 30.00
#680 [1, 0, 0, -575, 5236] ≥ 5 trivial 18.49 18.49 0.39 30.68
#669 [1, 0, 0, -245, 1366] ≥ 5 trivial 18.53 18.53 0.29 28.12
#670 [0, -1, 1, -82, 622] ≥ 5 trivial 18.58 18.58 0.24 26.30
#671 [0, -1, 1, -400, 3262] ≥ 5 trivial 18.63 18.63 0.35 29.62
#672 [1, -1, 1, -147, 420] ≥ 5 trivial 18.75 18.75 0.26 26.58
#268 [0, 0, 1, -139, 72] ≥ 5 trivial 18.95 18.95 0.27 26.42
#251 [0, 0, 0, -292, 1105] ≥ 5 trivial 19.40 20.79 0.43 28.64
#54 [1, -1, 0, -79, 289] ≥ 4 trivial 12.36 13.06 -0.09 24.73
#426 [0, 1, 1, -72, 210] ≥ 4 trivial 13.12 13.12 -0.10 24.46
#72 [0, 0, 1, -7, 36] ≥ 4 trivial 13.21 13.21 -0.22 20.70
#3433 [1, 0, 1, -35, 90] ≥ 4 trivial 13.23 13.92 -0.12 22.59
#664 [1, 0, 0, -202, 1089] ≥ 4 trivial 13.31 13.31 0.05 27.54
#586 [1, -1, 1, -762, 8505] ≥ 4 trivial 13.56 21.18 0.54 31.57
#271 [0, 1, 1, -2, 42] ≥ 4 trivial 13.59 13.59 -0.19 21.05
#665 [0, 1, 1, -32, 72] ≥ 4 trivial 13.61 13.61 -0.15 22.36
#2786 [0, 0, 0, -169, 841] ≥ 4 trivial 13.64 15.03 0.09 27.00
#666 [1, 0, 0, -49, 120] ≥ 4 trivial 13.70 13.70 -0.11 23.29
#2774 [0, 0, 0, -127, 610] ≥ 4 trivial 13.74 17.20 0.17 26.35
#667 [0, 0, 1, -67, 216] ≥ 4 trivial 13.77 13.77 -0.07 24.28
#668 [1, 0, 0, -25, 66] ≥ 4 trivial 13.82 13.82 -0.15 21.96
#2752 [0, 0, 0, -64, 169] ≥ 4 trivial 13.92 15.31 -0.00 24.09
#675 [0, 0, 1, -19, 60] ≥ 4 trivial 13.94 13.94 -0.15 21.72
#2788 [1, -1, 0, -1, 73] ≥ 4 trivial 13.95 14.64 -0.10 22.10
#2792 [0, -1, 1, -35, 72] ≥ 4 trivial 14.03 14.03 -0.12 22.31
#270 [0, 1, 0, 18, 121] ≥ 4 trivial 14.23 15.62 -0.02 23.01
#2808 [1, 0, 0, -12, 61] ≥ 4 trivial 14.25 14.25 -0.13 21.78
#2804 [0, 1, 1, -30, 0] ≥ 4 trivial 14.37 14.37 -0.11 21.85
#2785 [1, 0, 0, -34, 39] ≥ 4 trivial 14.38 14.38 -0.10 22.19
#2799 [0, 1, 1, 16, 72] ≥ 4 trivial 14.60 14.60 -0.10 21.93
#2778 [0, -1, 1, -10, 82] ≥ 4 trivial 14.78 14.78 -0.09 22.26
#71 [0, -1, 0, -75, -134] ≥ 4 trivial 16.61 16.61 0.09 24.58
#53 [0, 0, 1, -7, 6] ≥ 3 trivial 8.53 8.53 -0.56 17.45
#70 [1, -1, 1, -6, 0] ≥ 3 trivial 9.32 9.32 -0.53 16.83
#659 [1, -1, 0, -16, 28] ≥ 3 trivial 9.36 10.06 -0.40 19.97
#660 [0, -1, 1, -10, 12] ≥ 3 trivial 9.42 10.51 -0.42 18.62
#661 [1, 0, 1, -23, 42] ≥ 3 trivial 9.53 11.61 -0.29 21.10
#662 [0, 0, 1, -1, 6] ≥ 3 trivial 9.73 9.73 -0.51 17.19
#663 [1, 1, 1, -10, 6] ≥ 3 trivial 9.80 9.80 -0.46 18.53
#673 [1, 0, 1, -20, 30] ≥ 3 trivial 9.83 10.52 -0.36 20.53
#679 [0, 1, 1, -146, 636] ≥ 3 trivial 9.84 14.58 0.05 26.58
#674 [0, 0, 0, -52, 100] ≥ 3 trivial 9.95 15.36 -0.01 23.47
#2676 [1, 1, 1, -5, 6] ≥ 3 trivial 9.97 9.97 -0.48 17.75
#2672 [1, -1, 1, 6, 2] ≥ 3 trivial 10.02 10.02 -0.48 17.14
#3089 [1, 0, 0, -44, 109] ≥ 3 trivial 10.10 10.10 -0.28 22.97
#2704 [0, 0, 1, -49, 132] ≥ 3 trivial 10.17 10.17 -0.27 23.29
#2669 [1, 0, 0, 6, -5] ≥ 3 trivial 10.19 10.19 -0.46 16.98
#2698 [1, -1, 1, -21, 42] ≥ 3 trivial 10.23 10.23 -0.37 20.75
#2713 [0, -1, 1, -4, 10] ≥ 3 trivial 10.26 10.26 -0.46 17.88
#2711 [0, 1, 1, -4, 8] ≥ 3 trivial 10.47 10.47 -0.44 18.06
#2702 [1, -1, 1, -6, 12] ≥ 3 trivial 10.57 10.57 -0.43 18.29
#3079 [0, -1, 1, 8, -8] ≥ 3 trivial 10.60 10.60 -0.43 17.72
#2707 [1, 0, 0, -9, -2] ≥ 3 trivial 10.74 10.74 -0.41 18.21
#3082 [0, 1, 1, 9, 9] ≥ 3 trivial 10.98 10.98 -0.40 18.09
#2689 [0, 0, 1, -1, 12] ≥ 3 trivial 11.08 11.08 -0.40 18.53
#2 [0, 1, 1, -2, 0] ≥ 2 trivial 5.96 5.96 -0.80 14.16
#69 [1, 0, 0, 0, 1] ≥ 2 trivial 6.07 6.07 -0.82 13.53
#650 [1, -1, 0, -4, 4] ≥ 2 trivial 6.10 6.79 -0.70 15.91
#651 [1, 1, 1, -15, 16] ≥ 2 trivial 6.33 6.33 -0.57 19.74
#652 [0, 1, 1, -4, 2] ≥ 2 trivial 6.35 6.35 -0.72 16.12
#653 [1, 0, 0, -4, 3] ≥ 2 trivial 6.47 6.47 -0.72 15.93
#654 [0, 0, 1, -13, 18] ≥ 2 trivial 6.48 8.09 -0.52 19.33
#655 [0, 0, 0, -7, 10] ≥ 2 trivial 6.50 9.96 -0.47 18.13
#656 [0, -1, 1, 0, 2] ≥ 2 trivial 6.52 7.62 -0.69 15.08
#657 [0, 1, 1, -12, 12] ≥ 2 trivial 6.56 8.51 -0.51 19.15
#2664 [0, -1, 1, -2, 0] ≥ 2 trivial 6.56 6.56 -0.76 14.16
#3072 [0, -1, 1, -24, 54] ≥ 2 trivial 6.90 6.90 -0.48 21.19
#3076 [0, -1, 1, -5, -3] ≥ 2 trivial 6.90 6.90 -0.67 16.64
#2667 [1, -1, 1, -3, 0] ≥ 2 trivial 7.07 7.07 -0.72 14.58
#2743 [0, 1, 1, 2, 2] ≥ 2 trivial 7.30 7.30 -0.71 14.53
#2747 [1, 1, 1, -3, -2] ≥ 2 trivial 7.39 7.39 -0.69 14.93
#2750 [1, -1, 1, -1, 2] ≥ 2 trivial 7.54 7.54 -0.69 15.00
#3068 [1, 0, 0, 1, -2] ≥ 2 trivial 7.57 7.57 -0.69 14.99
#3065 [1, 1, 1, 3, 0] ≥ 2 trivial 7.69 7.69 -0.67 14.89
#274 [1, -1, 0, 456, -913] ≥ 2 trivial 21.47 22.57 0.57 29.98
#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
#42 [0, 0, 1, -1, 0] ≥ 1 trivial 3.61 3.61 -1.00 11.61
#424 [0, 1, 1, 0, 0] ≥ 1 trivial 3.76 3.76 -1.00 11.27
#425 [1, -1, 1, 0, 0] ≥ 1 trivial 3.97 3.97 -0.99 11.39
#642 [0, -1, 1, -2, 2] ≥ 1 trivial 4.04 5.14 -0.84 14.35
#643 [1, -1, 0, -1, 1] ≥ 1 trivial 4.06 4.75 -0.90 12.86
#645 [1, 0, 0, -2, 1] ≥ 1 trivial 4.11 4.11 -0.91 13.83
#648 [0, 0, 1, 2, 0] ≥ 1 trivial 4.34 6.29 -0.79 13.69
#649 [1, 1, 1, -2, 0] ≥ 1 trivial 4.37 4.37 -0.90 13.72
#972 [1, 1, 1, 1, 0] ≥ 1 trivial 4.42 4.42 -0.94 11.55
#3333 [0, 0, 0, -4, 4] ≥ 1 trivial 4.48 7.94 -0.63 16.30
#974 [1, 1, 1, -1, 0] ≥ 1 trivial 4.49 4.49 -0.93 12.51
#980 [0, 0, 1, 1, 0] ≥ 1 trivial 4.51 4.51 -0.94 11.61
#985 [0, 1, 1, -1, -1] ≥ 1 trivial 4.62 4.62 -0.92 12.48
#993 [0, -1, 1, 1, -1] ≥ 1 trivial 4.81 4.81 -0.92 12.10
#994 [0, -1, 1, 1, 0] ≥ 1 trivial 4.88 4.88 -0.91 12.17
#996 [0, -1, 1, -1, 0] ≥ 1 trivial 4.95 4.95 -0.90 12.48
#1016 [1, -1, 1, 1, 0] ≥ 1 trivial 5.69 5.69 -0.84 12.48
#374 [0, 0, 0, -1417436021846…, 47247867394883…] ≥ 1 trivial 610.76 1214.06 99.86 1221.52
#568 [0, 0, 0, 18375504142518…, 1] ≥ 1 trivial 2997.04 2997.04 248.44 3004.50
#289 [0, 0, 0, 1, 10000000000000…] ≥ 1 trivial ? 1000.79 82.08 1008.24
#858 [0, -1, 1, -7820, -263580] ≥ 0 trivial 2.40 2.40 0.50 38.51
#878 [0, 1, 1, -769, -8470] ≥ 0 trivial 2.94 2.94 0.03 31.55
#904 [1, 0, 1, -460, -3830] ≥ 0 trivial 3.26 8.80 0.05 30.00
#906 [1, -1, 1, -213, -1257] ≥ 0 trivial 3.26 18.65 0.29 27.88
#907 [0, 0, 1, -270, -1708] ≥ 0 trivial 3.30 12.08 0.05 28.41
#922 [0, 1, 1, -131, -650] ≥ 0 trivial 3.56 16.43 0.13 26.34
#926 [0, 1, 1, -1873, -31833] ≥ 0 trivial 3.61 3.61 0.22 34.22
#928 [1, 0, 1, -86, -2456] ≥ 0 trivial 3.64 21.66 0.49 29.13
#931 [1, 1, 1, -70, -279] ≥ 0 trivial 3.64 15.42 0.02 24.56
#965 [0, 1, 1, -12, -21] ≥ 0 trivial 4.20 4.20 -0.68 19.15