| #4023 |
[1, 0, 0, 11846273771479…, 99664097399755…] |
≥ 18 |
ℤ/2ℤ |
177.30 |
286.98 |
22.59 |
294.43 |
| #4022 |
[1, -1, 0, -2287191864007…, 13303626229078…] |
≥ 17 |
ℤ/2ℤ |
143.79 |
248.84 |
19.66 |
262.77 |
| #4021 |
[1, 0, 0, -4874003875703…, 18200677353321…] |
≥ 17 |
ℤ/2ℤ |
146.35 |
264.43 |
20.74 |
272.61 |
| #4020 |
[1, 0, 0, -1602563868323…, 52224737496818…] |
≥ 17 |
ℤ/2ℤ |
156.76 |
271.85 |
21.33 |
279.32 |
| #4019 |
[1, 1, 1, -5595393575697…, -1555752648266…] |
≥ 17 |
ℤ/2ℤ |
150.36 |
276.03 |
21.77 |
286.18 |
| #4018 |
[1, 0, 0, -6612733002897…, -2958400401188…] |
≥ 17 |
ℤ/2ℤ |
151.47 |
285.91 |
22.52 |
293.59 |
| #4017 |
[1, 0, 0, -1141865506832…, -9167608505731…] |
≥ 16 |
ℤ/2ℤ |
131.97 |
225.57 |
17.49 |
233.06 |
| #4014 |
[1, 0, 0, -3390104022415…, 14395024788791…] |
≥ 16 |
ℤ/2ℤ |
132.79 |
237.06 |
18.43 |
244.51 |
| #4016 |
[1, 0, 0, -9653012624918…, 28070442893659…] |
≥ 16 |
ℤ/2ℤ |
132.64 |
245.76 |
19.17 |
253.28 |
| #4015 |
[1, 1, 1, -1019188320158…, -2957900894242…] |
≥ 16 |
ℤ/2ℤ |
132.27 |
252.08 |
19.72 |
260.35 |
| #4013 |
[0, 1, 0, -7208738335743…, 73924293996585…] |
≥ 15 |
ℤ/2ℤ |
114.72 |
185.51 |
14.28 |
197.14 |
| #4012 |
[1, 1, 0, -1262685454892…, -3086991656509…] |
≥ 15 |
ℤ/2ℤ |
114.37 |
191.34 |
14.63 |
198.82 |
| #4011 |
[1, 1, 0, -3205515501576…, 22088128131622…] |
≥ 15 |
ℤ/2ℤ |
116.99 |
192.37 |
15.07 |
208.53 |
| #4010 |
[1, -1, 1, 32948675568318…, 46586716650661…] |
≥ 15 |
ℤ/2ℤ |
113.04 |
211.80 |
16.33 |
219.23 |
| #4009 |
[1, 0, 0, -6372841881075…, 61921687077691…] |
≥ 15 |
ℤ/2ℤ |
115.70 |
206.28 |
16.33 |
224.40 |
| #4008 |
[1, 0, 0, -1132980808475…, 95053227636999…] |
≥ 15 |
ℤ/2ℤ |
114.31 |
222.39 |
17.21 |
229.86 |
| #4007 |
[1, -1, 1, 61047107813121…, 35394671499384…] |
≥ 15 |
ℤ/2ℤ |
116.45 |
225.04 |
17.43 |
232.49 |
| #4006 |
[1, 0, 0, -4392076037989…, 46671635543273…] |
≥ 15 |
ℤ/2ℤ |
115.90 |
236.36 |
18.39 |
244.01 |
| #4005 |
[0, 0, 0, 62224547647428…, 18642056625464…] |
≥ 14 |
ℤ/2ℤ |
101.16 |
177.80 |
13.50 |
185.16 |
| #4004 |
[1, 0, 0, -7122837686554…, 12936335300587…] |
≥ 14 |
ℤ/2ℤ |
100.67 |
181.58 |
13.81 |
189.03 |
| #4003 |
[1, 0, 1, -9572499989897…, -2233397097131…] |
≥ 14 |
ℤ/2ℤ |
98.29 |
190.50 |
14.57 |
197.99 |
| #4002 |
[1, 0, 0, -5251564154980…, 14639874124131…] |
≥ 14 |
ℤ/2ℤ |
95.52 |
202.67 |
15.83 |
216.91 |
| #4001 |
[1, 1, 1, -1385318294350…, 62758481984595…] |
≥ 14 |
ℤ/2ℤ |
101.15 |
196.80 |
15.83 |
219.82 |
| #4000 |
[0, 0, 0, -6280594502823…, 68211218952129…] |
≥ 13 |
ℤ/2ℤ |
89.81 |
146.51 |
10.94 |
155.52 |
| #3999 |
[1, 0, 0, -2190782847830…, 12480287472209…] |
≥ 13 |
ℤ/2ℤ |
85.04 |
149.31 |
11.50 |
165.94 |
| #3998 |
[1, 0, 1, -2752360851282…, 17575130938991…] |
≥ 13 |
ℤ/2ℤ |
89.21 |
148.91 |
11.53 |
166.62 |
| #3997 |
[1, 1, 1, -6370393981054…, 11868055398390…] |
≥ 13 |
ℤ/2ℤ |
89.01 |
162.67 |
12.25 |
170.44 |
| #3995 |
[1, 1, 1, -3627822624372…, 13399783863351…] |
≥ 13 |
ℤ/2ℤ |
90.05 |
167.33 |
12.64 |
175.29 |
| #3996 |
[1, 1, 1, -1320217134497…, 58386929433855…] |
≥ 13 |
ℤ/2ℤ |
87.85 |
185.48 |
14.73 |
205.86 |
| #3994 |
[1, 0, 1, -2548858708107…, 15513998795270…] |
≥ 12 |
ℤ/2ℤ |
74.05 |
126.57 |
9.23 |
134.14 |
| #3993 |
[1, -1, 0, -2583167927740…, 14625458243583…] |
≥ 12 |
ℤ/2ℤ |
76.91 |
135.76 |
9.99 |
143.23 |
| #3992 |
[1, -1, 1, -3362445101854…, 75032628385235…] |
≥ 12 |
ℤ/2ℤ |
77.31 |
144.96 |
11.07 |
160.31 |
| #3991 |
[1, 1, 1, -3546566101391…, -4504877355684…] |
≥ 12 |
ℤ/2ℤ |
77.75 |
152.65 |
11.42 |
160.47 |
| #3990 |
[1, 1, 1, -1201732941499…, 16033036983896…] |
≥ 12 |
ℤ/2ℤ |
77.11 |
155.09 |
11.95 |
171.04 |
| #3989 |
[0, 1, 0, -2650518517969…, 51817925876915…] |
≥ 12 |
ℤ/2ℤ |
78.43 |
162.34 |
12.33 |
173.42 |
| #3988 |
[1, 0, 0, -8155605971906…, 19748854862733…] |
≥ 12 |
ℤ/2ℤ × ℤ/2ℤ |
113.28 |
306.82 |
24.27 |
314.94 |
| #3987 |
[1, -1, 1, -1793852737626…, 83222938474154…] |
≥ 12 |
ℤ/2ℤ × ℤ/2ℤ |
131.34 |
335.82 |
26.72 |
344.94 |
| #3986 |
[1, 1, 0, -1388678595957…, 12271669240718…] |
≥ 11 |
ℤ/2ℤ |
68.68 |
122.57 |
8.90 |
130.03 |
| #3985 |
[1, 1, 0, -6133096345249…, 18486894505181…] |
≥ 11 |
ℤ/2ℤ |
68.70 |
116.09 |
8.83 |
134.49 |
| #3984 |
[0, -1, 0, -7208029236337…, 26635077865552…] |
≥ 11 |
ℤ/2ℤ |
65.94 |
126.24 |
9.25 |
135.22 |
| #3983 |
[1, 1, 0, -1311514981363…, -2445315301606…] |
≥ 11 |
ℤ/2ℤ |
69.64 |
129.11 |
9.45 |
136.77 |
| #3981 |
[1, 0, 0, -3203199999473…, -4229942764464…] |
≥ 11 |
ℤ/2ℤ |
70.06 |
138.44 |
10.24 |
146.35 |
| #3982 |
[1, 0, 1, -6078615304318…, 41273113829342…] |
≥ 11 |
ℤ/2ℤ |
68.38 |
147.01 |
10.96 |
155.18 |
| #3980 |
[1, 0, 0, -9063398804234…, 10365657026340…] |
≥ 11 |
ℤ/2ℤ |
69.93 |
145.27 |
10.91 |
156.38 |
| #3979 |
[1, 1, 1, -5090212997558…, 11115122109289…] |
≥ 11 |
ℤ/2ℤ × ℤ/2ℤ |
86.19 |
208.37 |
16.08 |
216.82 |
| #3978 |
[1, -1, 0, -7252203858536…, 13588867949539…] |
≥ 11 |
ℤ/2ℤ × ℤ/2ℤ |
84.14 |
210.03 |
16.20 |
217.88 |
| #3977 |
[1, 0, 0, -8971274392553…, -2021208100120…] |
≥ 11 |
ℤ/2ℤ × ℤ/2ℤ |
90.08 |
224.40 |
17.40 |
232.34 |
| #3976 |
[1, -1, 0, -9785338624630…, -5825826861087…] |
≥ 11 |
ℤ/2ℤ × ℤ/2ℤ |
93.46 |
231.77 |
18.01 |
239.50 |
| #3975 |
[1, 0, 1, 52506820321303, 10779070569158…] |
≥ 10 |
ℤ/2ℤ |
56.17 |
107.53 |
7.64 |
114.99 |
| #3974 |
[1, 0, 1, -5141619342686…, 44748371944456…] |
≥ 10 |
ℤ/2ℤ |
57.64 |
114.41 |
8.40 |
127.05 |
| #3973 |
[1, 1, 0, -8002557031210…, 87134702007321…] |
≥ 10 |
ℤ/2ℤ |
61.17 |
106.58 |
8.24 |
128.38 |
| #3972 |
[1, 0, 0, -6561361428700…, -1094291941753…] |
≥ 10 |
ℤ/2ℤ |
59.33 |
126.90 |
9.27 |
134.69 |
| #3971 |
[0, -1, 0, -3872509128953…, 29331630951864…] |
≥ 10 |
ℤ/2ℤ |
60.50 |
119.72 |
9.24 |
140.01 |
| #3970 |
[0, 0, 0, -1328737230675…, -9490989457113…] |
≥ 10 |
ℤ/2ℤ × ℤ/2ℤ |
74.72 |
177.41 |
13.48 |
185.16 |
| #3968 |
[1, 1, 0, -1068263567637…, -4158220470450…] |
≥ 10 |
ℤ/2ℤ × ℤ/2ℤ |
76.26 |
190.77 |
14.59 |
198.32 |
| #3969 |
[0, 0, 0, -1999716720835…, 24310580713109…] |
≥ 10 |
ℤ/2ℤ × ℤ/2ℤ |
76.18 |
192.06 |
14.71 |
200.20 |
| #3967 |
[1, 0, 0, -1804166658196…, -2967307044392…] |
≥ 10 |
ℤ/2ℤ × ℤ/2ℤ |
75.70 |
213.06 |
16.45 |
220.62 |
| #3966 |
[0, 0, 0, -4821916513965…, 97323785926993…] |
≥ 9 |
ℤ/2ℤ × ℤ/2ℤ |
63.40 |
160.85 |
12.09 |
168.30 |
| #3965 |
[1, -1, 1, -6272106137079…, -2761181947863…] |
≥ 9 |
ℤ/2ℤ × ℤ/2ℤ |
63.59 |
161.40 |
12.15 |
169.09 |
| #3964 |
[0, 0, 0, -8687424785744…, 41850248655558…] |
≥ 9 |
ℤ/2ℤ × ℤ/2ℤ |
63.48 |
162.42 |
12.23 |
170.07 |
| #3963 |
[0, 1, 0, -4587549704696…, 11478652160683…] |
≥ 9 |
ℤ/2ℤ × ℤ/2ℤ |
61.55 |
165.07 |
12.52 |
175.06 |
| #3962 |
[1, 1, 1, -1843541751890…, 96043201482693…] |
≥ 9 |
ℤ/2ℤ × ℤ/2ℤ |
64.09 |
166.70 |
12.75 |
179.23 |
| #3961 |
[1, -1, 1, -2175082126494…, -3309785886671…] |
≥ 9 |
ℤ/2ℤ × ℤ/2ℤ |
63.05 |
172.20 |
13.04 |
179.73 |
| #3960 |
[1, 1, 0, -2907011096793…, 19077296876449…] |
≥ 9 |
ℤ/2ℤ × ℤ/2ℤ |
63.47 |
161.13 |
12.65 |
180.60 |
| #3959 |
[1, -1, 1, -7371072159835…, 24248643159687…] |
≥ 9 |
ℤ/2ℤ × ℤ/2ℤ |
62.92 |
178.13 |
13.69 |
190.30 |
| #3958 |
[1, -1, 1, -7624807087516…, -1649064524047…] |
≥ 9 |
ℤ/2ℤ × ℤ/2ℤ |
60.75 |
182.41 |
13.90 |
190.40 |
| #3957 |
[1, 0, 0, -2612745051972…, 11697600296815…] |
≥ 9 |
ℤ/6ℤ |
85.34 |
268.81 |
21.11 |
276.99 |
| #3956 |
[1, -1, 1, -1911650025077…, 84651114747569…] |
≥ 8 |
ℤ/2ℤ × ℤ/2ℤ |
48.17 |
129.26 |
9.49 |
137.90 |
| #3955 |
[0, 1, 0, -2555814488519…, 15395279683847…] |
≥ 8 |
ℤ/2ℤ × ℤ/2ℤ |
50.29 |
128.14 |
9.46 |
138.77 |
| #3954 |
[1, 0, 1, -2586482221334…, -3351559100334…] |
≥ 8 |
ℤ/2ℤ × ℤ/2ℤ |
51.32 |
137.68 |
10.18 |
145.71 |
| #3953 |
[1, -1, 1, -6344860994667…, 19452762020753…] |
≥ 8 |
ℤ/2ℤ × ℤ/2ℤ |
51.25 |
123.78 |
9.85 |
148.40 |
| #3952 |
[1, -1, 1, -1058884285731…, 28319330910032…] |
≥ 8 |
ℤ/2ℤ × ℤ/2ℤ |
49.29 |
141.88 |
10.53 |
149.94 |
| #3951 |
[1, 1, 1, -1205304763469…, 50924419737394…] |
≥ 8 |
ℤ/2ℤ × ℤ/2ℤ |
50.32 |
134.80 |
10.24 |
150.33 |
| #3950 |
[1, 0, 0, -2288886873048…, 13237633660648…] |
≥ 8 |
ℤ/2ℤ × ℤ/2ℤ |
51.20 |
140.50 |
10.54 |
152.25 |
| #3949 |
[1, 0, 0, 58777292179154…, 11916169537565…] |
≥ 8 |
ℤ/6ℤ |
58.71 |
186.04 |
14.18 |
193.48 |
| #3948 |
[0, 0, 0, -4752687020236…, 67724202933393…] |
≥ 7 |
ℤ/2ℤ × ℤ/2ℤ |
41.46 |
105.51 |
7.48 |
113.00 |
| #3947 |
[0, -1, 0, -8374688157394…, 93267615526874…] |
≥ 7 |
ℤ/2ℤ × ℤ/2ℤ |
41.90 |
99.21 |
7.27 |
114.70 |
| #3946 |
[1, 1, 1, -3661223359692…, 85264883940878…] |
≥ 7 |
ℤ/2ℤ × ℤ/2ℤ |
40.81 |
102.23 |
7.59 |
119.12 |
| #3945 |
[1, -1, 1, -1687128780539…, 51394533255226…] |
≥ 7 |
ℤ/2ℤ × ℤ/2ℤ |
40.75 |
115.79 |
8.35 |
123.71 |
| #3944 |
[1, -1, 1, -1149861788410…, 15007193935328…] |
≥ 7 |
ℤ/2ℤ × ℤ/2ℤ |
41.75 |
112.56 |
8.46 |
129.46 |
| #3943 |
[1, 1, 1, -4414216092894…, 11240051266803…] |
≥ 7 |
ℤ/2ℤ × ℤ/2ℤ |
42.09 |
121.28 |
8.95 |
133.50 |
| #3942 |
[1, 0, 0, -3816977694006…, 90766898840468…] |
≥ 7 |
ℤ/6ℤ |
47.04 |
137.94 |
10.91 |
160.69 |
| #3941 |
[1, 0, 1, -1349954484785…, 60370780184310…] |
≥ 7 |
ℤ/6ℤ |
48.71 |
140.49 |
11.20 |
164.48 |
| #3939 |
[1, -1, 1, -1893004855905…, 31727543526925…] |
≥ 7 |
ℤ/6ℤ |
48.88 |
158.55 |
12.13 |
172.41 |
| #3940 |
[1, 0, 1, -3797124002213…, 91443227117108…] |
≥ 7 |
ℤ/6ℤ |
47.55 |
163.56 |
12.43 |
174.53 |
| #3938 |
[0, 1, 0, -840828, -219917852] |
≥ 6 |
ℤ/2ℤ |
26.56 |
44.29 |
2.40 |
52.54 |
| #3937 |
[0, 1, 0, -1147625, 471662119] |
≥ 6 |
ℤ/2ℤ |
26.50 |
40.70 |
2.26 |
53.47 |
| #3936 |
[1, 0, 1, -3095603390356…, 66292753193209…] |
≥ 6 |
ℤ/6ℤ |
38.91 |
109.11 |
8.54 |
132.44 |
| #3935 |
[1, 0, 1, -8617824201765…, 30171059052781…] |
≥ 6 |
ℤ/6ℤ |
34.92 |
124.83 |
9.19 |
135.51 |
| #3934 |
[1, 0, 1, -4268027171338…, 10732196171056…] |
≥ 6 |
ℤ/6ℤ |
39.67 |
126.18 |
9.83 |
147.21 |
| #3933 |
[1, -1, 1, -4366452718275…, 11103226554784…] |
≥ 6 |
ℤ/6ℤ |
38.73 |
145.88 |
11.14 |
161.10 |
| #3932 |
[1, 1, 0, -4267, 2190505] |
≥ 5 |
ℤ/2ℤ |
20.88 |
35.27 |
1.62 |
42.72 |
| #3931 |
[0, 1, 1, 9, 0] |
≥ 3 |
trivial |
10.71 |
10.71 |
-0.42 |
18.09 |
| #3930 |
[0, -1, 0, -732479, 241399368] |
≥ 3 |
ℤ/4ℤ |
15.47 |
37.88 |
2.10 |
52.13 |
| #3929 |
[0, -1, 0, 16, -180] |
≥ 0 |
ℤ/2ℤ |
3.18 |
16.41 |
0.05 |
23.85 |