Curves with rank lower bound = 12

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

curve	a-invariants	rank	log N	naive height	Faltings height	log \|Δ\|
#42	`[0, 0, 1, -1, 0]`	≥ 1	3.61	11.61	-1.00	3.61
#2	`[0, 1, 1, -2, 0]`	≥ 2	5.96	14.16	-0.80	5.96
#69	`[1, 0, 0, 0, 1]`	≥ 2	6.07	13.53	-0.82	6.07
#53	`[0, 0, 1, -7, 6]`	≥ 3	8.53	17.45	-0.56	8.53
#70	`[1, -1, 1, -6, 0]`	≥ 3	9.32	16.83	-0.53	9.32
#54	`[1, -1, 0, -79, 289]`	≥ 4	12.36	24.73	-0.09	13.06
#13	`[0, 0, 0, -82, 0]`	≥ 3	12.97	24.83	0.14	17.38
#72	`[0, 0, 1, -7, 36]`	≥ 4	13.21	20.70	-0.22	13.21
#271	`[0, 1, 1, -2, 42]`	≥ 4	13.59	21.05	-0.19	13.59
#270	`[0, 1, 0, 18, 121]`	≥ 4	14.23	23.01	-0.02	15.62
#14	`[0, -1, 0, -24649, 1355209]`	≥ 4	16.40	41.95	1.47	32.79
#71	`[0, -1, 0, -75, -134]`	≥ 4	16.61	24.58	0.09	16.61
#41	`[0, 0, 1, -79, 342]`	≥ 5	16.76	25.19	0.11	16.76
#55	`[1, 0, 0, -22, 219]`	≥ 5	16.83	24.32	0.08	16.83
#107	`[0, 0, 1, -247, 1476]`	≥ 5	16.95	28.14	0.22	16.95
#108	`[1, -1, 0, -415, 3481]`	≥ 5	17.36	29.77	0.40	19.66
#109	`[0, 0, 0, -532, 4420]`	≥ 5	17.44	30.44	0.49	20.90
#110	`[0, 1, 1, -100, 110]`	≥ 5	17.84	25.44	0.18	17.84
#111	`[0, 0, 1, -139, 732]`	≥ 5	17.91	26.72	0.21	17.91
#149	`[0, 0, 1, -169, 930]`	≥ 5	17.99	27.19	0.23	17.99
#268	`[0, 0, 1, -139, 72]`	≥ 5	18.95	26.42	0.27	18.95
#251	`[0, 0, 0, -292, 1105]`	≥ 5	19.40	28.64	0.43	20.79
#274	`[1, -1, 0, 456, -913]`	≥ 1	21.47	29.98	0.57	22.57
#43	`[1, 1, 0, -2582, 48720]`	≥ 6	22.37	35.18	0.81	24.16
#112	`[0, 0, 1, -7077, 235516]`	≥ 6	22.38	38.26	1.10	27.88
#113	`[1, -1, 0, -2326, 43456]`	≥ 6	22.47	34.87	0.76	23.16
#114	`[1, -1, 0, -16249, 799549]`	≥ 6	22.61	40.70	1.20	27.83
#115	`[1, -1, 1, -63147, 6081915]`	≥ 6	22.62	44.77	1.58	33.02
#116	`[1, 0, 0, -9227, 340354]`	≥ 6	22.64	39.00	0.93	22.64
#56	`[0, 0, 1, -277, 4566]`	≥ 6	22.76	30.38	0.58	22.76
#117	`[0, 0, 1, -379, 5172]`	≥ 6	22.81	30.63	0.59	22.81
#118	`[0, 0, 1, -889, 9150]`	≥ 6	22.90	31.98	0.64	22.90
#119	`[0, 1, 1, -390, 5460]`	≥ 6	22.99	30.78	0.61	22.99
#15	`[0, 0, 0, -856967076, 0]`	≥ 4	23.34	73.32	4.18	65.87
#267	`[0, 0, 0, -2452, 2500]`	≥ 6	24.10	35.03	0.99	27.57
#44	`[0, 0, 0, -10012, 346900]`	≥ 7	26.67	39.25	1.24	30.14
#120	`[1, 0, 1, -14733, 694232]`	≥ 7	27.01	40.43	1.24	29.09
#121	`[0, 0, 1, -36673, 2704878]`	≥ 7	27.43	43.14	1.35	29.04
#122	`[1, -1, 0, -92656, 10865908]`	≥ 7	27.48	45.92	1.61	32.43
#123	`[1, -1, 0, -18664, 958204]`	≥ 7	27.52	41.12	1.34	30.78
#125	`[1, 0, 1, -5983, 164022]`	≥ 7	27.64	37.70	1.10	28.33
#126	`[1, 0, 1, -14505, 667472]`	≥ 7	27.70	40.36	1.20	28.39
#252	`[0, 1, 0, -2093345, 1165078600]`	≥ 6	27.86	55.28	2.24	37.29
#57	`[0, 0, 1, -1387, 68046]`	≥ 7	28.24	35.78	1.04	28.24
#124	`[0, 0, 1, -5707, 151416]`	≥ 7	28.32	37.56	1.10	28.32
#127	`[0, 0, 1, -15577, 744876]`	≥ 7	28.42	40.57	1.21	28.42
#16	`[0, -1, 0, -23308665, 43082703225]`	≥ 6	29.68	62.51	3.05	50.54
#128	`[1, -1, 0, -22221159, 40791791609]`	≥ 7	30.20	62.39	3.07	51.15
#362	`[1, -1, 1, -4886412, 4017333135]`	≥ 7	31.32	57.82	2.74	47.66
#373	`[1, 0, 0, -22215005, 40008831921]`	≥ 7	31.40	62.36	3.05	50.66
#350	`[0, 1, 0, -13546745, 19183095339]`	≥ 7	32.09	60.88	2.79	45.51
#266	`[0, 0, 0, -42484, 47524]`	≥ 7	32.66	43.58	1.70	36.13
#352	`[1, -1, 0, -281475, 65390161]`	≥ 7	32.77	49.51	2.11	40.57
#283	`[1, 1, 0, -1027782, 318095064]`	≥ 7	32.91	53.14	2.44	44.69
#47	`[1, -1, 0, -106384, 13075804]`	≥ 8	33.15	46.34	1.76	35.79
#142	`[0, 0, 0, -2220127, 1296242146]`	≥ 8	33.17	55.49	2.51	44.69
#77	`[1, -1, 0, -222751, 40537273]`	≥ 8	33.31	48.56	1.79	34.00
#143	`[1, -1, 0, -1336456, 594673996]`	≥ 8	33.37	53.93	2.25	39.69
#129	`[0, 0, 0, -481663, 128212738]`	≥ 8	33.38	50.87	2.06	38.46
#130	`[1, -1, 0, -71899, 5522449]`	≥ 8	33.38	45.16	1.78	36.91
#131	`[1, -1, 0, -124294, 14418784]`	≥ 8	33.39	46.80	1.89	38.05
#78	`[1, -1, 0, -201814, 34925104]`	≥ 8	33.40	48.26	1.78	34.10
#75	`[0, 1, 1, -23846, 1022562]`	≥ 8	33.64	41.85	1.51	33.64
#260	`[1, -1, 0, -27589, 1109929]`	≥ 8	33.65	42.29	1.56	34.34
#76	`[0, 0, 1, -23737, 960366]`	≥ 8	33.76	41.84	1.52	33.76
#259	`[1, -1, 0, -27019, 779689]`	≥ 8	33.85	42.23	1.57	34.54
#58	`[0, 1, 1, -16440, 1394010]`	≥ 8	33.96	41.83	1.52	33.96
#254	`[0, 0, 0, 72351, 71289]`	≥ 7	34.14	45.18	1.83	37.73
#255	`[0, 0, 0, 97151, 91204]`	≥ 7	34.48	46.07	1.91	38.61
#258	`[1, -1, 1, -10479, 1611834]`	≥ 8	34.58	42.11	1.56	34.58
#261	`[1, -1, 0, -14926, 2493976]`	≥ 8	34.75	42.98	1.64	35.44
#253	`[0, 0, 0, 43319, 61009]`	≥ 7	34.80	43.64	1.71	36.19
#256	`[0, 0, 0, 47522, 1]`	≥ 7	35.77	43.92	1.73	36.47
#21	`[0, -1, 0, -852210116, 9511510378980]`	≥ 6	36.17	73.30	3.96	61.54
#265	`[0, 0, 0, 54722, 519841]`	≥ 7	36.21	44.34	1.76	36.90
#257	`[0, 0, 0, 159359, 101761]`	≥ 7	36.76	47.55	2.03	40.10
#246	`[0, 0, 0, -75661452, 253314869625]`	≥ 7	36.89	66.04	3.08	45.72
#18	`[0, -1, 0, -2069247973, 36191779888342]`	≥ 6	37.60	75.96	4.11	62.36
#20	`[0, -1, 0, -122985156, 232744673700]`	≥ 6	37.83	67.50	3.68	59.82
#348	`[1, 0, 1, -25465228, 50335019942]`	≥ 8	37.86	62.81	3.12	51.99
#48	`[1, -1, 0, -135004, 97151644]`	≥ 9	38.01	50.31	2.25	42.81
#272	`[0, 0, 0, 0, 1190790012412]`	≥ 6	38.10	69.13	3.82	61.68
#132	`[1, -1, 0, -613069, 98885089]`	≥ 9	38.31	51.59	2.35	43.80
#365	`[1, 1, 1, -14063345, 20355846671]`	≥ 8	38.34	61.00	2.90	48.45
#247	`[0, 1, 0, -482829160, 4083394233624]`	≥ 7	38.52	71.60	3.50	49.30
#144	`[0, 0, 0, -1996617, 1025754145]`	≥ 9	38.57	55.13	2.54	45.45
#357	`[1, -1, 0, -1285029, 500060929]`	≥ 8	38.59	53.81	2.46	44.78
#133	`[0, 0, 1, -3835819, 2889890730]`	≥ 9	38.68	57.09	2.51	42.89
#134	`[1, 0, 1, -1493028, 701820182]`	≥ 9	38.82	54.26	2.26	39.51
#135	`[1, 0, 1, -1076185, 496031340]`	≥ 9	38.89	53.57	2.45	44.73
#361	`[1, 1, 1, -435052160, 3407298580001]`	≥ 8	38.98	71.29	3.85	60.80
#59	`[0, 0, 1, -167419, 30261330]`	≥ 9	39.10	47.97	1.98	39.10
#369	`[0, -1, 0, -2360940, 1452162276]`	≥ 8	39.15	55.71	2.57	45.66
#354	`[1, -1, 1, -1339654280, 18843018310347]`	≥ 8	39.34	74.66	4.01	61.46
#79	`[0, 0, 1, -514507, 140806716]`	≥ 9	39.56	51.07	2.11	39.56
#80	`[0, 0, 1, -402157, 96291336]`	≥ 9	39.60	50.33	2.09	39.60
#81	`[0, 0, 1, -826609, 289956150]`	≥ 9	39.69	52.49	2.18	39.69
#150	`[1, -1, 0, -1743349, 886895689]`	≥ 9	39.75	54.73	2.31	40.44
#372	`[1, -1, 0, -475339, 77898769]`	≥ 8	39.80	50.83	2.28	42.90
#368	`[1, -1, 1, -10380258, 13686541281]`	≥ 8	40.17	60.20	2.96	50.59
#22	`[0, -1, 0, -1664597956, 26095909440100]`	≥ 6	40.19	75.31	4.07	62.19
#248	`[0, -1, 0, -4719619360, 12479984594873…]`	≥ 7	40.23	78.44	3.91	48.17
#23	`[0, -1, 0, -1980651076, 33887665543876]`	≥ 6	40.36	75.83	4.10	62.36
#24	`[0, -1, 0, -2388994756, 44907381038500]`	≥ 6	40.54	76.40	4.13	62.54
#367	`[1, -1, 1, -52835555, 169776941347]`	≥ 8	40.55	65.24	3.42	56.36
#151	`[0, 0, 0, -5347108, 4740882532]`	≥ 9	40.69	58.09	2.67	45.76
#25	`[0, -1, 0, -3002115396, 63280268148996]`	≥ 6	40.77	77.08	4.17	62.77
#152	`[1, -1, 0, -1495909, 697025989]`	≥ 9	40.89	54.27	2.39	42.97
#153	`[1, -1, 0, -1240549, 521297989]`	≥ 9	40.96	53.71	2.37	43.04
#154	`[0, 0, 0, -3926559, 3073474946]`	≥ 9	41.11	57.22	2.68	46.78
#155	`[1, -1, 0, -1188709, 494972209]`	≥ 9	41.33	53.58	2.32	42.03
#17	`[0, -1, 0, -832328021, 9183124281870]`	≥ 6	41.51	73.23	3.95	61.43
#250	`[0, -1, 0, -1926296120, 32541777273856]`	≥ 7	41.89	75.75	3.80	51.44
#156	`[1, -1, 0, -759880, 142095100]`	≥ 9	42.11	52.24	2.40	44.41
#19	`[0, -1, 0, -3272444581, 72023792282806]`	≥ 6	42.91	77.34	4.19	62.83
#49	`[0, 0, 1, -16312387, 25970162646]`	≥ 10	43.77	61.48	3.03	50.96
#95	`[0, -1, 0, -9581420, 11213539236]`	≥ 10	44.49	59.84	2.88	49.05
#99	`[1, -1, 0, -10194109, 12647638369]`	≥ 10	44.54	60.04	2.87	48.60
#100	`[0, 0, 1, -21078967, 35688990786]`	≥ 10	44.57	62.20	3.11	52.25
#60	`[1, -1, 0, -1536664, 648294124]`	≥ 10	44.68	54.35	2.51	45.38
#277	`[0, 0, 0, -606045924, 5289852801024]`	≥ 6	44.79	72.28	3.99	62.94
#101	`[1, -1, 0, -4513546, 3716615296]`	≥ 10	45.12	57.59	2.65	45.81
#249	`[0, 1, 0, -7547876161, 25239510901286…]`	≥ 7	45.30	79.85	4.10	53.45
#366	`[1, -1, 1, -19968242, 24608110065]`	≥ 9	45.43	62.04	3.20	53.87
#82	`[0, 0, 1, -1788817, 843180666]`	≥ 10	45.53	54.80	2.53	45.53
#300	`[1, 0, 0, -550746640, 4883372708096]`	≥ 9	45.91	71.99	3.89	61.23
#83	`[0, 1, 1, -1856500, 1072474760]`	≥ 10	45.92	55.11	2.56	45.92
#84	`[0, 0, 1, -2438527, 1545098346]`	≥ 10	46.08	55.84	2.59	46.08
#392	`[1, 1, 1, -936464551, 11031352038749]`	≥ 9	46.20	73.59	3.84	57.92
#269	`[0, 0, 0, -2308801, 2365444]`	≥ 8	47.42	55.57	2.70	48.12
#353	`[1, 1, 0, -50591622, 140974764984]`	≥ 9	47.44	64.87	3.30	54.06
#263	`[0, 0, 0, -6243121, 181090849]`	≥ 8	47.77	58.55	2.95	51.10
#360	`[1, 0, 0, -238158975, 1544082864921]`	≥ 9	47.95	69.65	3.77	60.37
#264	`[0, 0, 0, -7179721, 11215801]`	≥ 8	48.19	58.97	2.98	51.52
#162	`[0, 1, 0, -1029869656, 15913087721444]`	≥ 9	48.63	74.32	4.20	65.85
#284	`[0, 0, 0, -5565379300, 17073013504810…]`	≥ 9	49.14	79.07	4.54	69.52
#358	`[1, 1, 0, -71192370, 226048177800]`	≥ 9	49.31	65.86	3.39	55.27
#30	`[1, -1, 1, -1608154463, 25555312501831]`	≥ 9	50.62	75.27	4.18	64.94
#50	`[0, 0, 1, -16359067, 26274178986]`	≥ 11	51.25	61.51	3.04	51.25
#359	`[0, -1, 0, -306746316, 2202727337316]`	≥ 10	52.21	70.36	3.81	60.78
#136	`[1, -1, 0, -38099014, 115877816224]`	≥ 11	52.55	64.47	3.38	56.08
#371	`[0, 0, 0, -851586267, 7403133843290]`	≥ 10	52.72	73.30	4.12	64.93
#145	`[1, -1, 0, -103672594, 405866860144]`	≥ 11	52.74	66.98	3.36	53.43
#370	`[1, -1, 0, -49868394, 160512600824]`	≥ 10	53.53	65.13	3.42	56.42
#137	`[1, -1, 0, -41032399, 106082399089]`	≥ 11	53.75	64.30	3.29	54.44
#138	`[1, -1, 0, -34125664, 69523358164]`	≥ 11	53.78	63.65	3.27	54.48
#139	`[1, -1, 0, -56880994, 168642718624]`	≥ 11	53.89	65.23	3.33	54.58
#26	`[0, -1, 0, -1485019900716, 65825200707202…]`	≥ 7	55.54	95.69	5.92	86.00
#278	`[0, 0, 0, -25876904769, 17761329193328…]`	≥ 6	56.06	83.75	4.95	74.61
#315	`[0, 1, 0, -8110664060, 28728277448606…]`	≥ 10	56.06	80.11	4.57	69.49
#27	`[0, -1, 0, -3225667994796, 22059166727085…]`	≥ 7	56.26	98.02	6.04	86.72
#28	`[0, -1, 0, -3289744045996, 22729513134882…]`	≥ 7	56.28	98.08	6.04	86.74
#349	`[1, 0, 0, -60329721215, 59410902286031…]`	≥ 10	57.25	86.16	5.11	76.16
#157	`[1, -1, 0, -227292004, 882331831684]`	≥ 12	57.76	69.34	3.81	61.29
#88	`[0, 0, 0, -932733487, 11052354147250]`	≥ 12	58.53	73.59	3.99	61.99
#29	`[1, -1, 1, -6494556985832, 63514020689002…]`	≥ 8	59.54	100.12	6.16	87.55
#105	`[1, -1, 1, -46496231372, 38274332589385…]`	≥ 12	62.40	85.30	4.96	73.73
#158	`[0, -1, 1, -1876573260, 32705933898332]`	≥ 13	64.74	75.76	4.25	65.84
#89	`[0, 0, 0, -6529826212, 19599566294890…]`	≥ 13	65.81	79.41	4.54	69.28
#1	`[0, 0, 1, -6349808647, 19314634691103…]`	≥ 12	67.77	79.33	4.47	67.77
#279	`[0, 0, 0, -2010516977329, 71337059553120…]`	≥ 6	68.12	96.60	6.12	89.14
#326	`[0, -1, 0, -399667220820, 32642129216035…]`	≥ 10	68.29	91.76	5.71	84.18
#301	`[0, 1, 0, -11454891505, 53595111623457…]`	≥ 10	68.94	81.35	4.76	72.41
#106	`[0, 0, 0, -77547091492, 64550111722388…]`	≥ 13	69.91	86.84	5.25	78.46
#344	`[1, -1, 1, -2170332799426…, 38217297474283…]`	≥ 11	71.62	117.55	7.69	106.77
#287	`[0, 1, 0, -2820812090847…, -5766460856060…]`	≥ 1	72.33	173.60	11.82	141.90
#244	`[0, 0, 0, -44788551847, 24622037869881…]`	≥ 14	73.66	85.19	5.13	77.13
#31	`[1, 0, 0, -2060795223235…, 10378603920734…]`	≥ 10	74.56	138.12	9.48	128.89
#103	`[1, -1, 0, -277442745099, 47682424180908…]`	≥ 14	76.85	90.66	5.55	81.94
#200	`[1, -1, 1, -1213916060668…, 55537316802098…]`	≥ 13	77.81	136.69	9.35	127.27
#201	`[1, -1, 1, -2033019015003…, 11118397813741…]`	≥ 13	79.65	138.08	9.33	125.66
#202	`[1, 0, 0, -7699301552946…, 82603709601203…]`	≥ 13	81.92	142.09	9.67	129.93
#33	`[0, 1, 0, -1033620669162…, 40420462114230…]`	≥ 11	82.27	136.05	9.10	121.97
#32	`[1, 0, 0, -3414948705808…, 14626404709123…]`	≥ 10	82.82	139.64	9.68	131.73
#203	`[1, 0, 1, -6897389822833…, 71134655768361…]`	≥ 13	83.94	141.79	9.71	131.10
#3	`[0, 0, 1, -2248232106757, 13294720913796…]`	≥ 14	86.48	96.99	5.99	86.48
#61	`[0, 0, 1, 0, 75255852424198…]`	≥ 13	87.29	95.85	6.04	88.39
#221	`[1, 1, 1, -1771379373053…, 92256564201965…]`	≥ 14	89.87	137.70	9.36	126.82
#195	`[1, -1, 1, -5443169133558…, 18054823366157…]`	≥ 14	91.28	148.25	10.34	139.48
#196	`[1, -1, 1, -5850789825527…, 17942601723146…]`	≥ 14	92.52	134.43	9.13	124.43
#148	`[1, 0, 0, -8063477980719…, 27871147443545…]`	≥ 15	93.46	149.12	10.10	132.52
#86	`[1, 0, 0, -5284128322984…, -1928191506104…]`	≥ 15	94.13	127.13	8.66	119.68
#197	`[1, -1, 1, -1584800197502…, 24771530688804…]`	≥ 14	94.87	144.28	9.92	133.58
#34	`[0, 1, 0, -1153065301657…, 30495001386492…]`	≥ 11	94.87	150.20	10.55	142.21
#198	`[1, 1, 0, -1519707018181…, 22869247242133…]`	≥ 14	95.19	157.94	10.98	145.33
#235	`[0, 0, 0, -6073700298618…, 17577001762786…]`	≥ 15	96.34	120.64	7.98	110.52
#218	`[1, 0, 1, -7743343218965…, 18441578642223…]`	≥ 15	99.33	135.19	9.29	127.05
#276	`[0, 0, 0, -3173985189420…, 71466484807091…]`	≥ 15	100.53	118.77	7.82	108.69
#214	`[1, -1, 1, -5791297226839…, -1024153228236…]`	≥ 14	101.10	155.04	10.99	147.55
#141	`[1, -1, 1, -6254103958828…, 19264446237794…]`	≥ 16	101.99	162.20	11.39	150.99
#192	`[1, 0, 0, -8515564996455…, 94870260230348…]`	≥ 15	103.04	156.19	10.87	144.61
#193	`[1, 0, 0, -8732522681340…, 84461015559908…]`	≥ 15	104.44	170.09	12.17	161.35
#299	`[0, 0, 0, 0, 10000000005900…]`	≥ 1	104.46	124.05	8.39	116.59
#194	`[0, -1, 0, -1152498815741…, 15103590903163…]`	≥ 15	105.94	143.29	9.76	130.69
#104	`[0, 0, 0, -2877601677369…, 19025737102846…]`	≥ 16	107.50	125.33	8.32	114.18
#298	`[0, 0, 0, 0, 10000000000140…]`	≥ 1	108.85	124.05	8.39	116.59
#239	`[0, -1, 0, -2235939201109…, 40692284642676…]`	≥ 15	109.82	145.27	9.79	128.79
#237	`[0, 1, 0, -1651640332674…, 91071592520866…]`	≥ 15	112.30	137.68	9.45	128.59
#97	`[1, 0, 0, -1036323527324…, 42020398420720…]`	≥ 17	113.21	163.76	11.57	153.59
#167	`[1, -1, 1, -4322087140978…, 11321887318127…]`	≥ 16	114.55	161.14	11.35	150.98
#168	`[1, 0, 0, -1749969305205…, 24444545444646…]`	≥ 16	115.14	185.99	13.49	177.13
#93	`[1, 0, 0, -2888333461706…, 69181091953326…]`	≥ 16	118.19	160.15	11.33	151.33
#169	`[0, 1, 0, -1253916882048…, 54040913415204…]`	≥ 16	118.31	164.26	11.37	147.87
#217	`[1, -1, 0, -5392334889373…, 15240817506986…]`	≥ 16	118.78	161.73	11.11	143.62
#170	`[1, 1, 1, -1002421447003…, 12481234946887…]`	≥ 16	119.20	156.73	10.96	146.10
#171	`[1, 0, 0, -2430331277948…, 46065726780475…]`	≥ 16	120.27	173.16	12.21	159.56
#172	`[1, -1, 1, -1459322281852…, 22189248867258…]`	≥ 16	120.68	171.69	12.23	161.50
#173	`[1, 1, 1, -2834094933042…, 18363501622562…]`	≥ 16	120.80	180.52	12.71	163.44
#229	`[1, -1, 0, -2029899277894…, 11513710620645…]`	≥ 17	120.87	151.96	10.58	141.78
#159	`[1, -1, 0, -1321749187079…, 24766324232811…]`	≥ 17	121.87	136.79	9.46	129.14
#238	`[1, -1, 1, -2567476684162…, 15844732034607…]`	≥ 15	122.00	166.41	11.63	152.29
#174	`[1, -1, 0, -2235680741254…, 12832599367576…]`	≥ 16	122.41	179.81	12.79	167.11
#68	`[0, 0, 0, 0, 46974552981863…]`	≥ 15	122.91	131.75	9.04	124.29
#305	`[0, 0, 0, 0, -1268312930510…]`	≥ 15	122.91	138.34	9.59	130.88
#51	`[0, 0, 0, 90389647280869…, 0]`	≥ 13	123.00	190.91	13.98	183.46
#91	`[1, 1, 0, -6540850922519…, -1851537704759…]`	≥ 16	123.84	141.59	9.86	134.05
#85	`[0, 0, 0, -1230093728114…, 17818691304061…]`	≥ 17	124.73	164.21	11.74	156.63
#232	`[1, 1, 0, -3197289214260…, 73862336294883…]`	≥ 17	124.99	146.47	10.15	136.83
#175	`[1, 0, 0, -2912632959608…, 62423713413815…]`	≥ 16	125.13	187.58	13.55	177.32
#236	`[0, 0, 0, -4016926442136…, 20620924859313…]`	≥ 16	125.19	167.76	12.01	159.72
#176	`[1, -1, 1, -3945740361744…, 29952368094157…]`	≥ 16	126.20	167.70	11.83	155.99
#216	`[1, 0, 0, -2921640089721…, 60777760375298…]`	≥ 17	126.45	173.71	12.17	157.74
#161	`[1, -1, 1, -1861192220801…, 96678496113457…]`	≥ 18	127.07	193.08	13.96	181.78
#177	`[1, 0, 0, -6002261379293…, 56433748756196…]`	≥ 16	127.24	168.96	11.89	156.37
#140	`[1, 0, 0, -3594058853231…, 71746738560038…]`	≥ 17	127.52	160.51	11.37	151.68
#52	`[0, 0, 0, -2827529113871…, 0]`	≥ 13	127.69	201.24	14.84	193.79
#178	`[1, -1, 1, -2319335225418…, 13598277174623…]`	≥ 16	127.71	193.74	13.86	178.50
#179	`[1, 1, 1, -5156525671696…, 14388758042202…]`	≥ 16	127.84	161.62	11.33	150.19
#45	`[1, 0, 0, -5607159337021…, 52994280301716…]`	≥ 13	127.97	279.35	21.20	269.24
#222	`[1, -1, 1, -3331019292820…, 88471823270026…]`	≥ 18	128.53	160.64	11.38	151.99
#227	`[1, 1, 1, -3093247876694…, 62533675385974…]`	≥ 17	128.72	160.06	11.28	150.39
#180	`[1, 0, 0, -1968021916331…, 32257087916682…]`	≥ 16	129.11	172.52	12.31	162.52
#314	`[0, 1, 0, -5259979010001…, 46425513899592…]`	≥ 18	129.32	182.38	12.91	166.85
#4	`[1, 0, 0, -2098119445112…, 26653992551590…]`	≥ 15	129.44	214.16	15.87	205.97
#163	`[1, 0, 0, -2263625835910…, 41564547766350…]`	≥ 17	129.88	186.76	13.37	174.08
#317	`[1, 0, 0, -4315862856022…, 10790462918687…]`	≥ 16	130.29	161.06	11.29	149.81
#223	`[1, -1, 0, -1382729158078…, 19952277912018…]`	≥ 18	130.47	185.30	13.30	173.72
#224	`[1, 0, 1, -6673066689650…, 20937863941408…]`	≥ 18	130.69	203.82	14.79	190.88
#228	`[0, -1, 0, -1054784785150…, 13065457517847…]`	≥ 17	130.98	156.84	10.93	145.37
#164	`[1, -1, 1, -4936153897237…, 42404178534919…]`	≥ 17	130.99	182.20	13.02	170.04
#181	`[1, 0, 0, -3994635920327…, 10060897392188…]`	≥ 16	132.21	160.90	11.33	150.74
#375	`[1, -1, 1, -5294538512342…, 14733383852439…]`	≥ 18	132.48	203.12	14.77	191.31
#165	`[1, 0, 1, -2716995354209…, 54214482321365…]`	≥ 17	132.87	187.31	13.45	175.33
#230	`[1, -1, 0, -6816265614735…, 69068431292254…]`	≥ 17	133.00	155.54	10.82	143.98
#35	`[0, 1, 0, -1692310759026…, 83937939884098…]`	≥ 14	133.06	220.42	16.23	208.99
#146	`[1, 0, 1, -5556025348607…, 48509071506063…]`	≥ 18	133.46	182.54	13.14	172.48
#220	`[1, 0, 0, -1384235320449…, 63557025579745…]`	≥ 15	133.75	164.59	11.59	153.53
#182	`[1, 0, 0, -7055924819678…, 22806853038273…]`	≥ 16	133.99	217.80	15.88	202.79
#96	`[1, 0, 1, -3764690650150…, 89019354183527…]`	≥ 17	134.50	160.66	11.17	147.21
#183	`[1, 1, 1, -3232021975415…, 22065614348458…]`	≥ 16	134.52	194.73	14.11	183.65
#184	`[1, 1, 1, -1169167431674…, 15401506519118…]`	≥ 16	134.57	198.59	14.32	184.84
#185	`[1, 0, 0, -1392638906885…, 18667175679332…]`	≥ 16	135.02	185.30	13.40	175.80
#186	`[1, -1, 1, -4333759863456…, 10799819135615…]`	≥ 16	135.64	174.89	12.46	164.02
#231	`[1, 0, 0, -2356513159556…, 45035945457332…]`	≥ 17	135.76	159.29	11.18	148.72
#64	`[0, 0, 1, 0, 18128458663461…]`	≥ 16	136.20	143.66	10.03	136.20
#46	`[0, 0, 1, 0, -4894683839134…]`	≥ 16	136.20	150.25	10.58	142.79
#5	`[0, 1, 0, -1847801808769…, 96678875493491…]`	≥ 17	136.21	206.87	14.81	186.20
#166	`[1, -1, 1, -3687257198396…, 27247408785741…]`	≥ 17	136.89	181.31	12.82	165.93
#241	`[1, 1, 1, -3002323607176…, 63157734310826…]`	≥ 18	137.34	159.97	11.14	147.24
#303	`[1, -1, 1, -1441840644112…, 57413576853372…]`	≥ 16	137.39	164.68	11.71	155.87
#102	`[1, -1, 1, -3544239687172…, 25619866461531…]`	≥ 18	138.99	195.01	14.06	182.23
#187	`[1, 0, 0, -1189299700325…, 15790705709481…]`	≥ 17	140.02	198.64	14.28	183.66
#219	`[1, 0, 1, -7654227590476…, 48997878008750…]`	≥ 17	140.12	169.69	12.18	161.79
#280	`[1, 1, 1, -1475758023603…, 21467548255862…]`	≥ 19	141.16	199.29	14.49	188.40
#147	`[1, 0, 0, -3043757926484…, 65348316359688…]`	≥ 18	141.22	173.85	12.36	162.57
#324	`[1, 0, 1, -1000664131356…, 12262133853164…]`	≥ 18	141.65	184.32	13.21	172.51
#94	`[1, 0, 0, -5275155636558…, 46558488291896…]`	≥ 18	141.91	210.02	15.29	196.83
#98	`[1, -1, 1, -8117883423458…, 30875068238268…]`	≥ 18	142.52	190.77	13.86	181.54
#234	`[1, 0, 1, -2770478907376…, 17751384795734…]`	≥ 19	142.95	180.46	12.74	164.66
#405	`[1, -1, 1, -1654889316573…, 26839119952931…]`	≥ 18	143.64	185.89	13.41	175.74
#87	`[1, 1, 1, -1280679737602…, 55128352431001…]`	≥ 18	143.73	191.96	13.87	180.75
#322	`[1, -1, 1, -8662150489313…, 89490938437992…]`	≥ 19	144.60	197.69	14.44	188.46
#318	`[1, 0, 1, -1074047301641…, 48976939778870…]`	≥ 15	145.16	339.06	26.31	331.53
#406	`[1, -1, 1, -2109725107883…, 37018745916232…]`	≥ 18	146.04	186.55	13.40	174.89
#160	`[1, -1, 0, -7321856729836…, 24500058176508…]`	≥ 19	146.22	190.31	13.74	179.39
#188	`[1, 0, 0, -5018014340458…, 13880560562181…]`	≥ 16	146.36	189.18	13.65	178.16
#240	`[1, -1, 0, -2901585273794…, 19500338179289…]`	≥ 19	146.55	166.83	11.81	156.34
#215	`[1, -1, 0, -5096888366016…, 51845518611945…]`	≥ 18	146.80	168.79	12.06	160.02
#189	`[1, 0, 0, -1656344031782…, 79985539388309…]`	≥ 17	147.21	192.73	13.97	182.27
#306	`[1, 0, 1, -1906355408328…, 99001560981475…]`	≥ 15	147.23	276.04	20.91	265.49
#36	`[1, 0, 1, 34318214642441…, 31843768958141…]`	≥ 15	147.23	278.33	21.25	270.88
#233	`[1, 0, 0, -4705971343623…, 12429123434853…]`	≥ 18	149.32	188.95	13.47	173.99
#347	`[1, 0, 0, -7825076977946…, 26712930332009…]`	≥ 19	149.34	204.30	14.83	191.59
#190	`[1, 0, 0, -4628404804980…, 38153011899362…]`	≥ 17	149.72	195.81	14.15	183.65
#382	`[1, -1, 1, -3491794285041…, 24818984665985…]`	≥ 18	149.78	208.78	15.27	197.57
#307	`[1, 0, 0, -1474705521041…, 68901672366892…]`	≥ 15	149.80	302.90	22.98	288.33
#63	`[1, 0, 0, -1718612993735…, 44567762612833…]`	≥ 18	149.80	303.36	23.33	295.60
#6	`[1, -1, 1, -2063758701246…, 32838647793306…]`	≥ 19	149.99	200.30	14.66	191.08
#294	`[0, 1, 0, -4101421576978…, 10100783138291…]`	≥ 19	150.45	202.36	14.63	188.59
#245	`[1, -1, 1, -2588041147235…, 16066636977479…]`	≥ 20	150.67	207.89	15.13	195.16
#225	`[1, 0, 0, -7493044811565…, 24956345253788…]`	≥ 19	150.79	231.80	17.05	217.09
#316	`[1, 0, 0, -1185784901231…, 15709973088316…]`	≥ 17	150.92	198.63	14.30	184.09
#407	`[1, 0, 1, -3709951130930…, 27719787279462…]`	≥ 18	151.10	181.35	12.97	169.73
#290	`[1, -1, 1, -1430641213130…, 64403389265680…]`	≥ 19	151.41	192.29	13.92	181.71
#380	`[1, 0, 1, -5976631508664…, 48800073540677…]`	≥ 18	151.61	182.76	13.22	173.91
#383	`[1, 0, 0, -2027806420493…, 34519698985201…]`	≥ 18	152.05	214.06	15.73	203.26
#90	`[1, -1, 1, -1049634928262…, 12127108227154…]`	≥ 19	152.53	198.27	14.48	188.86
#408	`[1, -1, 0, -2768917408479…, 18845328323416…]`	≥ 18	152.62	194.39	14.15	184.77
#331	`[1, 1, 0, -1976589981599…, 93070638926001…]`	≥ 19	153.30	207.07	15.24	198.20
#242	`[1, 0, 1, -3095262589640…, 21616096889033…]`	≥ 18	153.50	194.67	14.14	184.39
#292	`[1, 1, 0, -6463890105137…, 19998554362363…]`	≥ 19	154.36	189.91	13.54	174.67
#332	`[1, 1, 1, -8789621129176…, 10032036623674…]`	≥ 19	154.37	211.55	15.35	196.26
#262	`[1, -1, 1, -2106587108001…, 11928388164896…]`	≥ 20	154.61	207.29	15.15	196.21
#191	`[1, 0, 0, -6092326288167…, 18243575053562…]`	≥ 16	155.34	231.18	17.08	218.68
#62	`[0, 0, 0, 0, -9088007366299…]`	≥ 17	155.36	165.30	11.83	157.85
#308	`[0, 0, 0, 0, 24537619889008…]`	≥ 15	155.36	171.89	12.38	164.44
#210	`[1, 1, 1, -1467803987964…, 59614947549628…]`	≥ 15	155.77	206.18	15.17	197.31
#330	`[0, -1, 0, -4828861268377…, 12887550036122…]`	≥ 19	156.30	216.66	15.86	203.77
#211	`[1, 0, 0, -2164487921238…, 12261011280970…]`	≥ 15	156.31	221.16	16.17	206.40
#336	`[1, -1, 1, -1556258089679…, 23456109321321…]`	≥ 19	156.42	227.08	16.78	215.41
#333	`[1, 0, 0, -2389110518868…, 14196012150934…]`	≥ 19	156.85	207.64	15.08	194.18
#341	`[1, -1, 0, -3084587601676…, 65997762542852…]`	≥ 19	156.88	201.50	14.56	187.71
#321	`[1, -1, 1, -2521604575949…, 15199478795713…]`	≥ 19	156.95	235.44	17.50	224.38
#325	`[0, 1, 0, -1014448194215…, 38021628663351…]`	≥ 13	157.83	412.31	32.28	402.12
#296	`[1, 0, 0, -3190204396715…, 66819798277603…]`	≥ 19	158.60	215.42	15.88	205.33
#346	`[1, 0, 0, -1650879174392…, 82791225908140…]`	≥ 19	158.65	220.38	16.24	209.33
#281	`[1, 0, 0, -2620963113310…, 16293457063716…]`	≥ 19	159.07	207.92	15.13	195.11
#409	`[1, -1, 0, -4446761962800…, 32977686151489…]`	≥ 18	159.47	195.69	14.27	186.44
#320	`[1, 0, 0, -3487873891980…, 24443456667622…]`	≥ 19	159.54	222.59	16.46	212.13
#323	`[1, 0, 0, -4885832009149…, 13965569369020…]`	≥ 19	159.59	216.82	16.01	207.19
#92	`[1, 1, 1, -4437412060110…, 35868422168221…]`	≥ 20	159.93	223.32	16.43	210.76
#334	`[1, -1, 0, -2008805871910…, 10587070699068…]`	≥ 19	160.41	207.12	15.18	196.96
#338	`[1, 1, 1, -8556314674380…, 30545123720525…]`	≥ 19	160.90	218.38	16.01	205.70
#204	`[1, 0, 0, -4081611266679…, 31752380371548…]`	≥ 14	160.98	209.25	15.18	194.70
#309	`[1, 0, 1, -1392478974260…, -1217114826246…]`	≥ 15	161.57	295.82	22.69	287.91
#37	`[1, 0, 1, -9570894890557…, 35159825297065…]`	≥ 17	161.57	301.61	23.04	291.12
#345	`[1, 0, 0, -4849583885280…, 37444799703117…]`	≥ 19	161.62	195.95	14.30	186.73
#335	`[1, -1, 1, -1096484663303…, 14831224909223…]`	≥ 19	162.14	212.33	15.64	202.69
#388	`[1, 0, 0, -2271278066069…, 41395746156416…]`	≥ 19	162.61	228.22	16.86	216.40
#337	`[1, 0, 0, -1622682797685…, 41794466887288…]`	≥ 19	162.63	234.11	17.56	226.34
#275	`[1, 0, 1, -2034488389107…, 35847670110541…]`	≥ 20	162.64	200.28	14.57	189.29
#243	`[1, 0, 1, -7911987478128…, 29167873598527…]`	≥ 20	163.70	218.29	16.15	208.85
#226	`[1, 0, 0, -5332481796538…, 15260056923094…]`	≥ 20	164.52	230.81	17.12	220.01
#73	`[1, 0, 0, -1310927671383…, 11513825206543…]`	≥ 18	164.54	295.64	22.68	287.68
#310	`[1, 0, 0, -1873940813132…, 98716542165119…]`	≥ 15	164.54	303.62	23.02	288.40
#381	`[1, -1, 0, -1098236516565…, 13881034132195…]`	≥ 19	165.15	212.22	15.55	200.75
#291	`[1, 0, 0, -3235689396243…, 70815900914955…]`	≥ 19	165.75	229.28	16.85	214.65
#394	`[1, 0, 0, -3548030896746…, 25581945458922…]`	≥ 21	166.25	236.46	17.54	224.49
#384	`[1, 1, 1, -6583856027874…, 78046218014936…]`	≥ 18	166.76	211.05	15.58	202.41
#295	`[1, 0, 1, -1737623861410…, 27567969093931…]`	≥ 19	167.11	227.41	16.82	216.15
#205	`[0, 1, 0, -1803128213046…, 93791269484285…]`	≥ 13	167.56	206.81	15.08	194.99
#340	`[1, -1, 0, -4478863882000…, 11480846456140…]`	≥ 20	169.51	202.62	14.72	190.54
#7	`[1, 0, 0, -4310929807663…, 51562835553666…]`	≥ 20	170.09	237.85	17.85	229.81
#293	`[1, -1, 0, -5903488565485…, 55188035745958…]`	≥ 19	170.67	224.17	16.42	209.54
#376	`[1, 0, 0, -1445990013167…, 21128721995181…]`	≥ 22	170.96	240.68	17.85	227.51
#206	`[1, 0, 0, -3740816273221…, 84694590726964…]`	≥ 12	171.85	215.90	15.92	205.85
#207	`[1, 0, 0, -3341292704781…, 23590877785029…]`	≥ 15	172.56	222.47	16.36	210.06
#212	`[0, 1, 0, -2215561807403…, 35386140191724…]`	≥ 11	172.79	214.33	15.84	205.37
#208	`[1, 0, 0, -3046953821561…, 64760983700857…]`	≥ 12	172.80	215.28	15.68	200.65
#339	`[1, 1, 0, -4918297554360…, 13244459911694…]`	≥ 19	172.91	216.72	15.87	203.92
#285	`[0, -1, 0, -1083918045849…, 13755098120758…]`	≥ 21	173.25	212.18	15.47	198.87
#355	`[0, 0, 0, -2528553115672…, 49319408860526…]`	≥ 20	173.46	256.18	19.20	244.55
#297	`[1, -1, 1, -1020568041189…, 12353237625156…]`	≥ 19	174.17	253.45	19.01	242.52
#329	`[1, 1, 1, -1657581664797…, 25996833738682…]`	≥ 20	174.46	227.27	16.71	213.41
#213	`[1, 0, 0, -7454077345019…, 24406669293963…]`	≥ 16	175.04	231.78	17.20	220.79
#327	`[1, 0, 0, -2622455522825…, 44358788730180…]`	≥ 20	175.69	256.28	19.35	247.49
#342	`[1, 1, 1, -1391553064700…, 63223760170886…]`	≥ 19	175.94	219.84	16.08	205.74
#209	`[1, 0, 0, -2961803807151…, 61324180930341…]`	≥ 13	176.04	229.01	16.96	217.78
#328	`[1, 1, 1, -1738637644733…, 88314544781539…]`	≥ 20	176.47	234.32	17.29	220.49
#343	`[1, -1, 1, -4328588152353…, 10961498966678…]`	≥ 19	176.62	230.15	16.79	211.30
#286	`[1, -1, 1, -1152569102849…, 18833323594165…]`	≥ 21	177.88	226.63	16.89	218.15
#412	`[1, 0, 0, -3076118474164…, 22905024024726…]`	≥ 21	178.43	236.23	17.65	227.05
#411	`[1, 0, 0, -3591481020811…, 78382925089462…]`	≥ 17	179.24	243.41	18.23	233.69
#199	`[1, 0, 0, -2082020786419…, 36732936589138…]`	≥ 13	182.68	227.96	16.83	215.81
#8	`[1, 0, 1, -9402995177763…, 10707363070719…]`	≥ 22	182.72	239.38	17.87	229.26
#386	`[1, 0, 0, -1959597671778…, 31215574828451…]`	≥ 20	182.83	241.59	18.08	232.06
#319	`[1, -1, 0, -1478818379630…, 21612333371564…]`	≥ 15	183.53	406.53	31.75	395.39
#379	`[0, 1, 0, -6518816843212…, 61687014344042…]`	≥ 16	183.83	210.65	15.48	200.58
#410	`[1, -1, 1, -5170975719143…, 45175663847032…]`	≥ 21	184.12	237.59	17.60	224.53
#387	`[1, -1, 1, -1008664620257…, 12314457652529…]`	≥ 21	184.49	253.41	18.90	239.98
#282	`[0, 1, 0, -7243925927858…, 71180727803339…]`	≥ 20	185.17	238.60	17.82	228.85
#304	`[1, 0, 0, -1998675662524…, 34278416330918…]`	≥ 22	188.12	241.65	17.96	229.17
#38	`[1, 0, 0, -2617596009270…, 51069381476131…]`	≥ 18	189.76	352.98	27.28	341.53
#311	`[1, 0, 0, -4727234268812…, -4294150883777…]`	≥ 15	189.76	354.75	27.62	347.17
#397	`[1, 0, 1, -4143582771172…, 40810549011543…]`	≥ 22	191.71	237.38	17.79	228.93
#377	`[0, 1, 0, -5458253078691…, 15550812048772…]`	≥ 23	192.36	272.30	20.49	259.27
#39	`[1, -1, 1, 31368015812338…, 30203880269856…]`	≥ 19	192.85	342.70	26.62	335.25
#312	`[1, -1, 1, -6568019580778…, 63570487024691…]`	≥ 15	192.85	348.83	26.96	338.09
#74	`[1, 1, 1, -2158437724224…, -1947436127778…]`	≥ 21	196.68	255.69	19.36	247.94
#9	`[1, 0, 1, -1925296640867…, 32685500727716…]`	≥ 23	205.06	269.18	20.27	257.15
#413	`[1, 0, 0, -6128282860470…, 58524346082432…]`	≥ 24	209.87	265.74	19.95	252.88
#389	`[1, 0, 0, -1095282788134…, 15295153953560…]`	≥ 24	211.82	281.47	21.42	272.23
#378	`[0, 1, 0, -3896830274733…, 93850226586476…]`	≥ 24	214.70	285.10	21.56	272.28
#313	`[1, -1, 1, -2201688153834…, 12571948427558…]`	≥ 15	216.79	400.82	31.12	385.44
#40	`[1, -1, 1, -2445376733363…, 96171018205318…]`	≥ 20	216.79	401.13	31.46	393.12
#10	`[1, 0, 1, -1200398220369…, 50422499248491…]`	≥ 24	219.93	274.66	20.71	262.35
#351	`[1, -1, 1, -2509189159341…, 45913507617476…]`	≥ 25	225.72	297.59	22.74	287.83
#65	`[1, 0, 0, -1222583105876…, 52396744720020…]`	≥ 25	229.19	302.36	23.05	290.63
#396	`[0, 1, 0, -6189212217027…, 14121721321765…]`	≥ 25	238.98	293.39	22.51	285.88
#393	`[1, -1, 1, -1741982199429…, 33616270057492…]`	≥ 26	246.56	324.49	25.04	315.86
#402	`[1, -1, 1, -1272607077445…, 17471855868336…]`	≥ 27	247.24	350.82	26.94	335.00
#66	`[1, 0, 0, -2715681648014…, 16735233520457…]`	≥ 26	247.86	318.55	24.46	308.22
#390	`[0, 0, 0, -3430010766159…, 26817639167403…]`	≥ 26	248.04	305.62	23.43	296.39
#401	`[0, 0, 0, -9462421028937…, 35673551381852…]`	≥ 27	258.76	315.40	24.13	303.66
#363	`[1, 0, 1, -7778486110551…, 97293729940243…]`	≥ 27	265.17	335.83	25.98	327.04
#400	`[1, 0, 0, -2847874483810…, 58635720945607…]`	≥ 28	274.49	367.05	28.39	354.25
#67	`[1, 0, 0, -5567114686524…, 16198189532278…]`	≥ 27	287.01	355.27	27.48	344.16
#395	`[1, -1, 1, -1571436138788…, 74572864524469…]`	≥ 28	297.51	385.99	30.05	375.11
#391	`[1, 0, 0, -2533580830669…, 15818917486191…]`	≥ 28	300.43	401.27	31.33	390.53
#398	`[1, 0, 0, -1289259977445…, 56075504634839…]`	≥ 30	304.98	413.03	32.25	400.92
#399	`[1, 0, 0, -1122638888418…, 45019426548276…]`	≥ 29	306.00	412.61	32.27	401.75
#364	`[1, 1, 1, -1307500861006…, 18384836769279…]`	≥ 28	307.81	378.55	29.41	367.20
#404	`[1, 0, 0, -1928799613292…, 98335186873093…]`	≥ 27	309.03	372.79	29.00	362.93
#403	`[1, 0, 0, -4789549597347…, 40388950701005…]`	≥ 28	313.99	389.33	30.22	375.75
#356	`[0, 1, 0, -2439187674471…, 46943906433780…]`	≥ 29	317.89	394.24	30.73	383.07
#11	`[1, -1, 1, -2006776241557…, 34481611795030…]`	≥ 28	325.90	393.63	30.62	381.20
#273	`[1, 0, 0, -2017690352604…, 11511079391410…]`	≥ 30	339.35	442.09	34.77	432.12
#12	`[1, 0, 0, -2700618324163…, 55258058551342…]`	≥ 29	343.72	436.01	34.24	425.44
#385	`[1, -1, 1, -3318274966744…, 23228532820536…]`	≥ 29	345.65	443.49	34.75	430.29
#302	`[1, 1, 1, -1284727764113…, 56036832145426…]`	≥ 31	375.22	468.28	36.74	453.05
#288	`[0, -1, 0, -1219834374841…, -1639832218579…]`	≥ 1	?	557.92	42.96	370.56
#289	`[0, 0, 0, 1, 10000000000000…]`	≥ 1	?	1008.24	82.08	1000.79
#374	`[0, 0, 0, -1417436021846…, 47247867394883…]`	≥ 1	?	1221.52	99.86	1214.06