| #612 |
[1, 0, 0, -4176582334201…, 10268185160310…] |
≥ 24 |
trivial |
233.73 |
315.53 |
25.10 |
326.75 |
| #599 |
[1, 0, 0, -3791183144889…, 90691670784852…] |
≥ 23 |
trivial |
201.46 |
259.77 |
20.46 |
271.22 |
| #600 |
[1, 0, 0, -2673631332732…, 16765556663649…] |
≥ 23 |
trivial |
205.75 |
264.68 |
20.91 |
277.06 |
| #601 |
[1, -1, 1, -4326804635479…, 11432527941771…] |
≥ 23 |
trivial |
206.60 |
275.54 |
21.72 |
285.50 |
| #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 |
| #604 |
[1, 0, 0, -7053387147055…, 69499765670503…] |
≥ 23 |
trivial |
220.65 |
283.68 |
22.41 |
293.78 |
| #605 |
[1, 0, 0, -3063265546394…, 65315896909451…] |
≥ 23 |
trivial |
218.19 |
284.42 |
22.62 |
298.19 |
| #606 |
[1, 0, 0, -5267727988707…, 14240104759255…] |
≥ 23 |
trivial |
206.21 |
289.61 |
22.90 |
299.82 |
| #607 |
[0, 1, 0, -8308566718293…, 29090995118799…] |
≥ 23 |
trivial |
231.39 |
288.22 |
22.90 |
301.18 |
| #608 |
[0, 1, 0, -9731843170770…, 19361583264996…] |
≥ 23 |
trivial |
219.27 |
293.88 |
23.19 |
301.66 |
| #609 |
[0, 0, 0, -1602690988179…, 76454445328134…] |
≥ 23 |
trivial |
208.65 |
292.52 |
23.16 |
303.15 |
| #611 |
[1, 0, 0, -2743864279444…, 17229086578114…] |
≥ 23 |
trivial |
242.95 |
307.62 |
24.43 |
318.58 |
| #610 |
[1, 0, 0, -2217570089183…, 40214866532442…] |
≥ 23 |
trivial |
227.23 |
310.51 |
24.82 |
324.85 |
| #433 |
[0, 0, 0, -1365250332763…, 20124145234049…] |
≥ 22 |
trivial |
188.68 |
230.45 |
17.97 |
240.58 |
| #427 |
[1, -1, 1, -2642276113242…, 60338761815319…] |
≥ 21 |
trivial |
170.27 |
220.11 |
17.07 |
228.96 |
| #458 |
[1, 0, 0, -2445964722300…, 14758661157123…] |
≥ 21 |
trivial |
184.45 |
236.35 |
18.57 |
249.17 |
| #428 |
[0, 1, 0, -2491723894062…, 15274681766761…] |
≥ 21 |
trivial |
178.80 |
237.74 |
18.63 |
249.23 |
| #436 |
[1, 0, 0, -8566228587832…, 93053940831271…] |
≥ 21 |
trivial |
181.50 |
242.81 |
19.00 |
252.92 |
| #439 |
[1, 0, 0, -8328436298661…, 13323832744501…] |
≥ 21 |
trivial |
194.92 |
245.45 |
19.16 |
253.57 |
| #434 |
[1, 0, 0, -1197486596523…, 15870961531086…] |
≥ 21 |
trivial |
181.72 |
241.85 |
19.00 |
253.93 |
| #432 |
[1, 0, 0, -1344224784441…, 19105637503606…] |
≥ 21 |
trivial |
180.31 |
242.58 |
19.04 |
254.29 |
| #457 |
[0, 1, 0, -2747726803882…, 55109431017839…] |
≥ 21 |
trivial |
195.02 |
244.52 |
19.21 |
256.42 |
| #429 |
[1, -1, 1, -3548379898700…, 25962449845551…] |
≥ 20 |
trivial |
160.07 |
211.19 |
16.42 |
222.66 |
| #421 |
[0, 1, 0, -9174555732805…, 10766496995514…] |
≥ 20 |
trivial |
165.77 |
213.71 |
16.64 |
225.51 |
| #419 |
[1, 0, 0, -2440374636485…, 46771399861468…] |
≥ 20 |
trivial |
158.46 |
216.84 |
16.89 |
228.45 |
| #431 |
[0, 1, 0, -4213562206349…, 10587746666051…] |
≥ 20 |
trivial |
166.60 |
218.15 |
17.01 |
230.08 |
| #449 |
[1, 0, 0, -4598555976487…, 84640033039127…] |
≥ 20 |
trivial |
168.19 |
222.19 |
17.22 |
230.33 |
| #451 |
[1, 0, 0, -1253145795119…, 51579652249629…] |
≥ 20 |
trivial |
175.68 |
223.45 |
17.38 |
233.34 |
| #454 |
[1, 0, 0, -1312351629216…, 57806195890871…] |
≥ 20 |
trivial |
169.67 |
219.84 |
17.23 |
233.48 |
| #420 |
[1, 0, 0, -1819422319095…, 99794633909955…] |
≥ 20 |
trivial |
160.27 |
224.85 |
17.49 |
234.57 |
| #453 |
[1, 0, 0, -9477222977104…, 10741271823987…] |
≥ 20 |
trivial |
189.08 |
229.49 |
17.88 |
239.41 |
| #465 |
[1, -1, 1, -1081299566142…, 13444054816725…] |
≥ 20 |
trivial |
172.10 |
229.00 |
17.87 |
239.80 |
| #456 |
[1, 0, 0, -1205908701884…, 14443705704500…] |
≥ 20 |
trivial |
177.68 |
231.05 |
17.99 |
240.13 |
| #446 |
[1, -1, 0, -1342601048927…, 18899547549448…] |
≥ 20 |
trivial |
184.82 |
227.41 |
17.83 |
240.45 |
| #450 |
[1, 0, 0, -2010468055035…, 23314207811821…] |
≥ 20 |
trivial |
186.39 |
233.61 |
18.17 |
241.66 |
| #463 |
[1, 0, 0, -4682646150937…, 11866065387776…] |
≥ 20 |
trivial |
171.29 |
234.15 |
18.28 |
244.20 |
| #462 |
[1, 0, 0, -5831269123044…, 13392429571165…] |
≥ 20 |
trivial |
177.92 |
236.46 |
18.42 |
244.86 |
| #447 |
[1, 0, 0, -8223603166187…, 28942341419739…] |
≥ 20 |
trivial |
176.51 |
234.34 |
18.35 |
245.91 |
| #437 |
[1, 0, 1, -2046187443144…, 11275547294269…] |
≥ 20 |
trivial |
185.24 |
234.80 |
18.49 |
248.63 |
| #438 |
[0, 1, 0, -2664397989090…, 16659371198868…] |
≥ 20 |
trivial |
185.01 |
237.31 |
18.62 |
249.42 |
| #455 |
[0, 1, 0, -5111853193370…, 43560254092118…] |
≥ 20 |
trivial |
174.90 |
240.73 |
18.85 |
251.37 |
| #452 |
[1, 0, 0, -5500020650354…, 52966771503147…] |
≥ 20 |
trivial |
180.46 |
242.16 |
18.93 |
251.72 |
| #448 |
[1, 0, 0, -7449400621708…, 77869597736394…] |
≥ 20 |
trivial |
174.42 |
240.43 |
18.88 |
252.50 |
| #445 |
[1, 0, 0, -9087268318217…, 10534068423995…] |
≥ 20 |
trivial |
166.90 |
239.35 |
18.86 |
253.10 |
| #430 |
[1, 0, 0, -1058543411123…, 13004863393089…] |
≥ 20 |
trivial |
160.56 |
242.82 |
19.02 |
253.56 |
| #435 |
[1, 0, 0, -4912078235647…, 13413225629897…] |
≥ 20 |
trivial |
198.23 |
247.00 |
19.39 |
258.18 |
| #459 |
[1, 0, 0, -1928281706386…, 10412727745428…] |
≥ 20 |
trivial |
192.24 |
250.93 |
19.72 |
262.28 |
| #464 |
[1, 0, 0, -3540160526446…, 80481020268953…] |
≥ 20 |
trivial |
183.40 |
259.31 |
20.43 |
270.99 |
| #422 |
[1, -1, 1, -7563743114616…, 25010503377156…] |
≥ 19 |
trivial |
143.32 |
193.02 |
14.89 |
204.19 |
| #407 |
[1, 0, 1, -3709951130930…, 27719787279462…] |
≥ 18 |
trivial |
151.10 |
169.73 |
12.97 |
181.35 |
| #405 |
[1, -1, 1, -1654889316573…, 26839119952931…] |
≥ 18 |
trivial |
143.64 |
175.74 |
13.41 |
185.89 |
| #406 |
[1, -1, 1, -2109725107883…, 37018745916232…] |
≥ 18 |
trivial |
146.04 |
174.89 |
13.40 |
186.55 |
| #408 |
[1, -1, 0, -2768917408479…, 18845328323416…] |
≥ 18 |
trivial |
152.62 |
184.77 |
14.15 |
194.39 |
| #409 |
[1, -1, 0, -4446761962800…, 32977686151489…] |
≥ 18 |
trivial |
159.47 |
186.44 |
14.27 |
195.69 |