Order	Degree	Degree sequence	Minimal polynomial	Details	Existence
6	2	[ 2, 2, 1 ]	[ x-2, x-1, x+1, x+2 ]	'data2-6-1.txt'	AS
7	2	[ 2, 2, 2 ]	[ x-2, x^3+x^2-2*x-1 ]	'data2-7-2.txt'	AS
8	3	[ 3, 3, 1 ]	[ x-3, x+1, x^2-3 ]	'data3-8-1.txt'	TA-xHL
8	3	[ 3, 3, 1 ]	[ x-3, x-1, x+1, x+3 ]	'data3-8-2.txt'	AS
10	4	[ 4, 1, 4 ]	[ x-4, x, x^2+2*x-4 ]	'data4-10-1.txt'	AS
10	4	[ 4, 4, 1 ]	[ x-4, x-1, x+1, x+4 ]	'data4-10-6.txt'	AS
12	5	[ 5, 1, 5 ]	[ x-5, x-2, x, x+3 ]	'data5-12-1.txt'	TA-xHL
12	5	[ 5, 1, 5 ]	[ x-5, x-1, x, x+4 ]	'data5-12-3.txt'	TA-xHL
12	5	[ 5, 5, 1 ]	[ x-5, x+1, x^2-5 ]	'data5-12-4.txt'	AS
12	5	[ 5, 5, 1 ]	[ x-5, x-1, x+1, x+5 ]	'data5-12-7.txt'	AS
12	6	[ 6, 2, 3 ]	[ x-6, x-1, x+2, x+3 ]	'data6-12-2.txt'	AS
13	4	[ 4, 4, 4 ]	[ x-4, x^3+x^2-4*x+1 ]	'data4-13-3.txt'	AS
14	4	[ 4, 6, 3 ]	[ x-4, x+4, x^2-2 ]	'data4-14-7.txt'	AS
14	6	[ 6, 1, 6 ]	[ x-6, x, x^2+2*x-6 ]	'data6-14-1.txt'	TA-xR
14	6	[ 6, 6, 1 ]	[ x-6, x-1, x+1, x+6 ]	'data6-14-7.txt'	TA
15	4	[ 4, 4, 6 ]	[ x-4, x-3, x+1, x+2 ]	'data4-15-2.txt'	TA-xR
15	4	[ 4, 8, 2 ]	[ x-4, x-2, x+1, x+2 ]	'data4-15-8.txt'	AS
15	6	[ 6, 6, 2 ]	[ x-6, x, x^2+3*x-9 ]	'data6-15-3.txt'	AS
15	8	[ 8, 2, 4 ]	[ x-8, x-1, x+2, x+4]	'data8-15-1.txt'	AS
16	7	[ 7, 7, 1 ]	[ x-7, x+1, x^2-7 ]	'data7-16-1.txt'	TA-xHL
16	7	[ 7, 7, 1 ]	[ x-7, x-1, x+1, x+7 ]	'data7-16-3.txt'	AS
18	8	[ 8, 1, 8 ]	[ x-8, x-2, x, x+4 ]	'data8-18-1.txt'	AS
18	8	[ 8, 8, 1 ]	[ x-8, x-1, x+1, x+8 ]	'data8-18-13.txt'	AS
18	10	[ 10, 2, 5 ]	[ x-10, x-1, x+2, x+5 ]	'data10-18-3.txt'	AS
18	10	[ 10, 2, 5 ]	[ x-10, x-1, x, x+6 ]	'data10-18-5.txt'	AS
18	10	[ 10, 5, 2 ]	[ x-10, x-1, x+2, x+5 ]	'data10-18-9.txt'	AS
19	6	[ 6, 6, 6 ]	[ x-6, x^3+x^2-6*x-7 ]	'data6-19-7.txt'	AS
20	6	[ 6, 1, 12 ]	[ x-6, x-2, x, x+4 ]	'data6-20-1.txt'	AS
20	8	[ 8, 3, 8 ]	[ x-8, x, x^2+4*x-16 ]	'data8-20-3.txt'	AS
20	9	[ 9, 9, 1 ]	[ x-9, x-3, x+1, x+3 ]	'data9-20-7.txt'	AS
20	9	[ 9, 9, 1 ]	[ x-9, x-1, x+1, x+9 ]	'data9-20-9.txt'	AS
20	12	[ 12, 1, 6 ]	[ x-12, x-2, x, x+4 ]	'data12-20-4.txt'	AS
20	12	[ 12, 3, 4 ]	[ x-12, x-1, x+3, x+4 ]	'data12-20-8.txt'	AS
21	4	[ 4, 8, 8 ]	[ x-4, x+2, x^2-2*x-1 ]	'data4-21-9.txt'	AS
21	6	[ 6, 6, 8 ]	[ x-6, x-4, x+1, x+3 ]	'data6-21-8.txt'	TA
21	8	[ 8, 4, 8 ]	[ x-8, x-2, x^2+4*x+2 ]	'data8-21-4.txt'	AS
21	8	[ 8, 4, 8 ]	[ x-8, x+1, x^2-8 ]	'data8-21-5.txt'	AS
21	12	[ 12, 2, 6 ]	[ x-12, x-1, x+2, x+6 ]	'data12-21-5.txt'	AS
22	5	[ 5, 1, 15 ]	[ x-5, x, x^2+x-8 ]	'data5-22-1.txt'	TA-xHL
22	6	[ 6, 10, 5 ]	[ x-6, x+6, x^2-3 ]	'data6-22-13.txt'	AS
22	10	[ 10, 1, 10 ]	[ x-10, x, x^2+2*x-10 ]	'data10-22-2.txt'	TA
22	10	[ 10, 10, 1 ]	[ x-10, x-1, x+1, x+10 ]	'data10-22-17.txt'	AS
24	5	[ 5, 15, 3 ]	[ x-5, x+1, x^2-5 ]	'data5-24-8.txt'	TA-xHL
24	7	[ 7, 14, 2 ]	[ x-7, x+1, x^2-7 ]	'data7-24-4.txt'	AS
24	10	[ 10, 3, 10 ]	[ x-10, x-4, x, x+6 ]	'data10-24-6.txt'	TA
24	10	[ 10, 3, 10 ]	[ x-10, x-2, x, x+8 ]	'data10-24-7.txt'	TA
24	11	[ 11, 11, 1 ]	[ x-11, x+1, x^2-11 ]	'data11-24-1.txt'	TA-xHL
24	11	[ 11, 11, 1 ]	[ x-11, x-1, x+1, x+11 ]	'data11-24-2.txt'	AS
24	14	[ 14, 2, 7 ]	[ x-14, x+2, x^2-7 ]	'data14-24-3.txt'	AS
24	14	[ 14, 2, 7 ]	[ x-14, x-1, x+2, x+7 ]	'data14-24-4.txt'	AS
24	14	[ 14, 2, 7 ]	[ x-14, x-2, x, x+6 ]	'data14-24-5.txt'	TA-xIM
25	10	[ 10, 4, 10 ]	[ x-10, x, x^2+5*x-25 ]	'data10-25-8.txt'	AS
26	9	[ 9, 12, 4 ]	[ x-9, x+9, x^2-3 ]	'data9-26-11.txt'	AS
26	12	[ 12, 1, 12 ]	[ x-12, x, x^2+2*x-12 ]	'data12-26-2.txt'	AS
26	12	[ 12, 12, 1 ]	[ x-12, x-1, x+1, x+12 ]	'data12-26-31.txt'	AS
27	6	[ 6, 12, 8 ]	[ x-6, x-3, x, x+3 ]	'data6-27-14.txt'	AS
27	8	[ 8, 16, 2 ]	[ x-8, x-2, x+1, x+4 ]	'data8-27-16.txt'	AS
27	8	[ 8, 8, 10 ]	[ x-8, x-5, x+1, x+4 ]	'data8-27-9.txt'	TA
27	8	[ 8, 6, 12 ]	[ x-8, x-2, x+1, x+4 ]	'data8-27-7.txt'	AS
27	12	[ 12, 2, 12 ]	[ x-12, x-3, x, x+6 ]	'data12-27-6.txt'	AS
27	12	[ 12, 6, 8 ]	[ x-12, x-3, x, x+3 ]	'data12-27-17.txt'	AS
28	6	[ 6, 6, 15 ]	[ x-6, x-5, x+1, x+2 ]	'data6-28-6.txt'	TA
28	9	[ 9, 3, 15 ]	[ x-9, x, x^2+3*x-24 ]	'data9-28-3.txt'	TA-xHL
28	9	[ 9, 9, 9 ]	[ x-9, x+1, x^2-4*x-17 ]	'data9-28-4.txt'	TA
28	9	[ 9, 9, 9 ]	[ x-9, x^3+x^2-9*x-1 ]	'data9-28-6.txt'	TA
28	12	[ 12, 3, 12 ]	[ x-12, x-2, x+2, x+4 ]	'data12-28-7.txt'	AS
28	12	[ 12, 3, 12 ]	[ x-12, x, x^2+4*x-24 ]	'data12-28-11.txt'	AS
28	12	[ 12, 6, 9 ]	[ x-12, x-3, x+2, x+4 ]	'data12-28-18.txt'	TA-xIM
28	13	[ 13, 13, 1 ]	[ x-13, x+1, x^2-13 ]	'data13-28-2.txt'	AS
28	13	[ 13, 13, 1 ]	[ x-13, x-1, x+1, x+13 ]	'data13-28-4.txt'	AS
30	7	[ 7, 1, 21 ]	[ x-7, x-4, x, x+3 ]	'data7-30-1.txt'	TA-xHL
30	8	[ 8, 14, 7 ]	[ x-8, x-2, x+2, x+8 ]	'data8-30-15.txt'	AS
30	9	[ 9, 2, 18 ]	[ x-9, x-3, x, x+6 ]	'data9-30-2.txt'	AS
30	12	[ 12, 1, 16 ]	[ x-12, x-2, x, x+6 ]	'data12-30-3.txt'	AS
30	13	[ 13, 3, 13 ]	[ x-13, x-3, x, x+8 ]	'data13-30-1.txt'	TA-xHL
30	14	[ 14, 1, 14 ]	[ x-14, x-2, x, x+6 ]	'data14-30-2.txt'	TA-xIM
30	14	[ 14, 14, 1 ]	[ x-14, x, x^2+2*x-14 ]	'data14-30-11.txt'	AS
30	14	[ 14, 14, 1 ]	[ x-14, x-1, x+1, x+14 ]	'data14-30-14.txt'	AS
31	10	[ 10, 10, 10 ]	[ x-10, x^3+x^2-10*x-8 ]	'data10-31-11.txt'	TA
32	10	[ 10, 1, 20 ]	[ x-10, x-2, x, x+6 ]	'data10-32-1.txt'	AS
32	10	[ 10, 15, 6 ]	[ x-10, x-2, x+2, x+10 ]	'data10-32-18.txt'	AS
32	12	[ 12, 1, 18 ]	[ x-12, x-4, x, x+4 ]	'data12-32-1.txt'	AS
33	10	[ 10, 2, 20 ]	[ x-10, x, x^2+2*x-21 ]	'data10-33-4.txt'	TA-xR
33	10	[ 10, 20, 2 ]	[ x-10, x+1, x^2-10 ]	'data10-33-20.txt'	TA-xR
35	6	[ 6, 24, 4 ]	[ x-6, x+1, x^2-6 ]	'data6-35-16.txt'	AS
35	12	[ 12, 4, 18 ]	[ x-12, x-3, x+2, x+3 ]	'data12-35-12.txt'	O
35	12	[ 12, 6, 16 ]	[ x-12, x+2, x^2-4*x-6 ]	'data12-35-15.txt'	O
35	12	[ 12, 16, 6 ]	[ x-12, x-7, x, x+2 ]	'data12-35-32.txt'	O
35	12	[ 12, 18, 4 ]	[ x-12, x-5, x, x+3 ]	'data12-35-36.txt'	AS
35	14	[ 14, 6, 14 ]	[ x-14, x, x^2+7*x-49 ]	'data14-35-7.txt'	AS
35	16	[ 16, 6, 12 ]	[ x-16, x-2, x, x+14 ]	'data16-35-5.txt'	TA-xIM
35	18	[ 18, 4, 12 ]	[ x-18, x-3, x, x+10 ]	'data18-35-9.txt'	TA-xIM
35	24	[ 24, 4, 6 ]	[ x-24, x+4, x^2-6 ]	'data24-35-4.txt'	O
35	24	[ 24, 4, 6 ]	[ x-24, x-1, x+4, x+6 ]	'data24-35-5.txt'	AS
36	12	[ 12, 3, 20 ]	[ x-12, x-6, x, x+6 ]	'data12-36-9.txt'	O
36	15	[ 15, 5, 15 ]	[ x-15, x+3, x^2-12*x-9 ]	'data15-36-5.txt'	TA-xIM
36	15	[ 15, 5, 15 ]	[ x-15, x-9, x+1, x+3 ]	'data15-36-6.txt'	O
36	15	[ 15, 5, 15 ]	[ x-15, x-1, x+3, x+9 ]	'data15-36-7.txt'	O
36	15	[ 15, 5, 15 ]	[ x-15, x-6, x, x+9 ]	'data15-36-11.txt'	TA-xHL
36	15	[ 15, 5, 15 ]	[ x-15, x-3, x, x+12 ]	'data15-36-12.txt'	TA-xHL
36	16	[ 16, 3, 16 ]	[ x-16, x-4, x, x+8 ]	'data16-36-4.txt'	AS
36	17	[ 17, 17, 1 ]	[ x-17, x+1, x^2-17 ]	'data17-36-1.txt'	O
36	17	[ 17, 17, 1 ]	[ x-17, x-1, x+1, x+17 ]	'data17-36-2.txt'	AS
36	20	[ 20, 3, 12 ]	[ x-20, x-2, x, x+10 ]	'data20-36-5.txt'	O
36	20	[ 20, 5, 10 ]	[ x-20, x-4, x+1, x+4 ]	'data20-36-7.txt'	O
36	22	[ 22, 2, 11 ]	[ x-22, x-1, x+2, x+11 ]	'data22-36-1.txt'	AS
36	22	[ 22, 2, 11 ]	[ x-22, x-4, x, x+6 ]	'data22-36-2.txt'	TA-xIM
36	24	[ 24, 3, 8 ]	[ x-24, x-1, x+3, x+8 ]	'data24-36-2.txt'	AS
37	12	[ 12, 12, 12 ]	[ x-12, x^3+x^2-12*x+11 ]	'data12-37-23.txt'	O
38	9	[ 9, 1, 27 ]	[ x-9, x, x^2+x-14 ]	'data9-38-1.txt'	TA-xHL
38	10	[ 10, 18, 9 ]	[ x-10, x+10, x^2-5 ]	'data10-38-19.txt'	AS
38	18	[ 18, 1, 18 ]	[ x-18, x, x^2+2*x-18 ]	'data18-38-1.txt'	O
38	18	[ 18, 18, 1 ]	[ x-18, x-1, x+1, x+18 ]	'data18-38-25.txt'	AS
38	27	[ 27, 1, 9 ]	[ x-27, x, x^2+3*x-12 ]	'data27-38-1.txt'	TA-xHL
39	12	[ 12, 12, 14 ]	[ x-12, x-7, x+1, x+6 ]	'data12-39-24.txt'	O
39	18	[ 18, 2, 18 ]	[ x-18, x, x^2+3*x-27 ]	'data18-39-4.txt'	O
39	24	[ 24, 2, 12 ]	[ x-24, x-1, x+2, x+12 ]	'data24-39-1.txt'	O
39	24	[ 24, 6, 8 ]	[ x-24, x, x^2+4*x-9 ]	'data24-39-7.txt'	TA-xIM
40	9	[ 9, 9, 21 ]	[ x-9, x-7, x+1, x+3 ]	'data9-40-5.txt'	TA
40	9	[ 9, 12, 18 ]	[ x-9, x-1, x^2+2*x-9 ]	'data9-40-10.txt'	TA
40	9	[ 9, 27, 3 ]	[ x-9, x-3, x+1, x+3 ]	'data9-40-16.txt'	TA
40	12	[ 12, 3, 24 ]	[ x-12, x-4, x, x+8 ]	'data12-40-10.txt'	AS
40	14	[ 14, 4, 21 ]	[ x-14, x-4, x, x+10 ]	'data14-40-6.txt'	O
40	16	[ 16, 7, 16 ]	[ x-16, x, x^2+8*x-64 ]	'data16-40-6.txt'	AS
40	18	[ 18, 3, 18 ]	[ x-18, x+2, x^2-12 ]	'data18-40-6.txt'	O
40	18	[ 18, 3, 18 ]	[ x-18, x-2, x, x+12 ]	'data18-40-8.txt'	TA-xIM
40	18	[ 18, 9, 12 ]	[ x-18, x-10, x, x+2 ]	'data18-40-11.txt'	O
40	18	[ 18, 9, 12 ]	[ x-18, x-4, x+2, x+6 ]	'data18-40-12.txt'	O
40	18	[ 18, 9, 12 ]	[ x-18, x-2, x^2+4*x-6 ]	'data18-40-13.txt'	O
40	19	[ 19, 1, 19 ]	[ x-19, x-4, x, x+5 ]	'data19-40-1.txt'	TA-xHL
40	19	[ 19, 19, 1 ]	[ x-19, x+1, x^2-8*x-19 ]	'data19-40-2.txt'	TA-xHL
40	19	[ 19, 19, 1 ]	[ x-19, x+1, x^2-19 ]	'data19-40-3.txt'	TA-xHL
40	19	[ 19, 19, 1 ]	[ x-19, x-1, x+1, x+19 ]	'data19-40-5.txt'	AS
40	21	[ 21, 4, 14 ]	[ x-21, x-5, x, x+9 ]	'data21-40-3.txt'	O
40	22	[ 22, 6, 11 ]	[ x-22, x-2, x, x+14 ]	'data22-40-3.txt'	TA-xIM
40	24	[ 24, 3, 12 ]	[ x-24, x-4, x, x+8 ]	'data24-40-3.txt'	AS
40	27	[ 27, 3, 9 ]	[ x-27, x-1, x+3, x+9 ]	'data27-40-2.txt'	AS
40	28	[ 28, 4, 7 ]	[ x-28, x-1, x+4, x+7 ]	'data28-40-1.txt'	AS
42	6	[ 6, 30, 5]	[ x-6, x-2, x+1, x+3]	'data6-42-17.txt'	AS
42	13	[ 13, 26, 2 ]	[ x-13, x+1, x^2-13]	'data13-42-5.txt'	O
43	14	[ 14, 14, 14 ]	[ x-14, x^3+x^2-14*x+8 ]	'data14-43-11.txt'	O
44	7	[ 7, 1, 35]	[ x-7, x-3, x, x+4 ]	'data7-44-2.txt'	TA-xHL
44	10	[ 10, 3, 30]	[ x-10, x, x^2+2*x-32]	'data10-44-7.txt'	O
45	8	[ 8, 32, 4]	[ x-8, x-4, x+1, x+2]	'data8-45-18.txt'	O
45	8	[ 8, 8, 28]	[ x-8, x-7, x+1, x+2]	'data8-45-8.txt'	O
45	12	[ 12, 4, 28 ]	[ x-12, x, x^2+3*x-45]	'data12-45-14.txt'	O
45	14	[ 14, 14, 16 ]	[ x-14, x-8, x+1, x+7 ]	'data14-45-13.txt'	TA-xIM
46	12	[ 12, 22, 11 ]	[ x-12, x+12, x^2-6]	'data12-46-43.txt'	O
48	7	[ 7, 35, 3]	[ x-7, x+1, x^2-7]	'data7-48-7.txt'	TA-xHL
48	10	[ 10, 2, 35]	[ x-10, x-4, x, x+6]	'data10-48-4.txt'	O
48	12	[ 12, 21, 14 ]	[x-12, x-6, x, x+4]	'data12-48-42.txt'	TA-xIM
48	12	[ 12, 15, 20 ]	[ x-12, x+6, x^2-6*x-8]	'data12-48-33.txt'	TA-xIM
50	14	[ 14, 14, 21 ]	[ x-14, x-9, x+1, x+6 ]	'data14-50-12.txt'	TA-xIM
50	14	[ 14, 28, 7 ]	[ x-14, x-4, x+1, x+6 ]	'data14-50-20.txt'	O
51	8	[ 8, 2, 40 ]	[ x-8, x, x^2+x-21 ]	'data8-51-1.txt'	O
51	16	[ 16, 2, 32 ]	[ x-16, x, x^2+2*x-33 ]	'data16-51-1.txt'	O
51	16	[ 16, 32, 2 ]	[ x-16, x-4, x+1, x+4 ]	'data16-51-3.txt'	O
51	16	[ 16, 32, 2 ]	[ x-16, x, x^2+2*x-33 ]	'data16-51-4.txt'	O
51	24	[ 24, 2, 24 ]	[ x-24, x, x^2+3*x-36 ]	'data24-51-2.txt'	O
51	32	[ 32, 2, 16 ]	[ x-32, x-4, x+2, x+4 ]	'data32-51-2.txt'	O
51	32	[ 32, 2, 16 ]	[ x-32, x-1, x+2, x+16 ]	'data32-51-3.txt'	O
51	32	[ 32, 2, 16 ]	[ x-32, x, x^2+4*x-30 ]	'data32-51-4.txt'	O
51	40	[ 40, 2, 8 ]	[ x-40, x, x^2+5*x-15 ]	'data40-51-2.txt'	O
52	12	[ 12, 12, 27 ]	[ x-12, x-9, x+1, x+4 ]	'data12-52-2.txt'	TA-xIM
52	16	[ 16, 3, 32 ]	[ x-16, x-4, x, x+10 ]	'data16-52-2.txt'	TA-xIM
52	17	[ 17, 17, 17 ]	[ x-17, x^3+x^2-17*x-25 ]	'data17-52-1.txt'	O
52	18	[ 18, 6, 27 ]	[ x-18, x-2, x^2+6*x-3 ]	'data18-52-3.txt'	O
52	20	[ 20, 1, 30 ]	[ x-20, x-7, x, x+4 ]	'data20-52-1.txt'	TA-xIM
52	20	[ 20, 1, 30 ]	[ x-20, x-4, x, x+6 ]	'data20-52-2.txt'	O
52	24	[ 24, 3, 24 ]	[ x-24, x, x^2+4*x-48 ]	'data24-52-3.txt'	O
52	24	[ 24, 12, 15 ]	[ x-24, x-5, x+2, x+8 ]	'data24-52-8.txt'	TA-xIM
52	25	[ 25, 25, 1 ]	[ x-25, x-5, x+1, x+5 ]	'data25-52-5.txt'	O
52	25	[ 25, 25, 1 ]	[ x-25, x-1, x+1, x+25 ]	'data25-52-8.txt'	O
52	27	[ 27, 6, 18 ]	[ x-27, x+1, x^2-27 ]	'data27-52-2.txt'	O
52	30	[ 30, 1, 20 ]	[ x-30, x-4, x, x+6 ]	'data30-52-1.txt'	O
52	32	[ 32, 3, 16 ]	[ x-32, x-6, x, x+8 ]	'data32-52-6.txt'	TA-xIM
52	36	[ 36, 3, 12 ]	[ x-36, x-1, x+3, x+12 ]	'data36-52-3.txt'	O
54	12	[ 12, 1, 40 ]	[ x-12, x-3, x, x+6 ]	'data12-54-1.txt'	O
54	13	[ 13, 1, 39 ]	[ x-13, x-4, x, x+5 ]	'data13-54-1.txt'	TA-xHL
54	14	[ 14, 26, 13 ]	[ x-14, x+14, x^2-7 ]	'data14-54-3.txt'	O
54	15	[ 15, 8, 30 ]	[ x-15, x-9, x, x+12 ]	'data15-54-1.txt'	TA-xIM
54	20	[ 20, 1, 32 ]	[ x-20, x-2, x, x+10 ]	'data20-54-3.txt'	O
54	21	[ 21, 4, 28 ]	[ x-21, x-3, x, x+15 ]	'data21-54-1.txt'	TA-xIM
54	24	[ 24, 5, 24 ]	[ x-24, x-6, x, x+12 ]	'data24-54-5.txt'	O
54	26	[ 26, 1, 26 ]	[ x-26, x, x^2+2*x-26 ]	'data26-54-1.txt'	O
54	26	[ 26, 26, 1 ]	[ x-26, x-1, x+1, x+26 ]	'data26-54-3.txt'	O
54	30	[ 30, 3, 20 ]	[ x-30, x-3, x, x+12 ]	'data30-54-3.txt'	TA-xIM
54	30	[ 30, 8, 15 ]	[ x-30, x-3, x, x+18 ]	'data30-54-7.txt'	TA-xIM
54	32	[ 32, 1, 20 ]	[ x-32, x-8, x, x+4 ]	'data32-54-1.txt'	O
54	34	[ 34, 2, 17 ]	[ x-34, x-1, x+2, x+17 ]	'data34-54-1.txt'	O
54	39	[ 39, 1, 13 ]	[ x-39, x-3, x, x+6 ]	'data39-54-1.txt'	TA-xHL
54	40	[ 40, 1, 12 ]	[ x-40, x-4, x, x+5 ]	'data40-54-1.txt'	O
54	40	[ 40, 5, 8 ]	[ x-40, x-1, x+5, x+8 ]	'data40-54-4.txt'	O
55	18	[ 18, 18, 18 ]	[ x-18, x+4, x^2-x-11 ]	'data18-55-5.txt'	O
55	20	[ 20, 10, 24 ]	[ x-20, x-6, x+2, x+5 ]	'data20-55-6.txt'	TA-xIM
55	22	[ 22, 10, 22 ]	[ x-22, x, x^2+11*x-121 ]	'data22-55-2.txt'	O
55	40	[ 40, 4, 10 ]	[ x-40, x-1, x+4, x+10 ]	'data40-55-3.txt'	O
56	10	[ 10, 15, 30 ]	[ x-10, x-3, x+1, x+6 ]	'data10-56-1.txt'	O
56	13	[ 13, 3, 39 ]	[ x-13, x-5, x, x+8 ]	'data13-56-2.txt'	TA-xHL
56	13	[ 13, 39, 3 ]	[ x-13, x+1, x^2-13 ]	'data13-56-3.txt'	O
56	15	[ 15, 10, 30 ]	[ x-15, x-7, x-1, x+3 ]	'data15-56-2.txt'	O
56	15	[ 15, 30, 10 ]	[ x-15, x+1, x^2-2*x-27 ]	'data15-56-8.txt'	O
56	18	[ 18, 1, 36 ]	[ x-18, x-2, x, x+10 ]	'data18-56-1.txt'	O
56	18	[ 18, 7, 30 ]	[ x-18, x, x^2+6*x-96 ]	'data18-56-4.txt'	O
56	20	[ 20, 5, 30 ]	[ x-20, x-4, x^2+4*x-4 ]	'data20-56-4.txt'	O
56	20	[ 20, 15, 20 ]	[ x-20, x-6, x, x+4 ]	'data20-56-7.txt'	TA-xIM
56	24	[ 24, 1, 30 ]	[ x-24, x-8, x, x+4 ]	'data24-56-1.txt'	O
56	24	[ 24, 7, 24 ]	[ x-24, x, x^2+8*x-96 ]	'data24-56-6.txt'	O
56	25	[ 25, 5, 25 ]	[ x-25, x-4, x, x+15 ]	'data25-56-1.txt'	TA-xHL
56	27	[ 27, 1, 27 ]	[ x-27, x-3, x, x+8 ]	'data27-56-1.txt'	TA-xHL
56	27	[ 27, 27, 1 ]	[ x-27, x-9, x+1, x+3 ]	'data27-56-4.txt'	O
56	27	[ 27, 27, 1 ]	[ x-27, x+1, x^2-27 ]	'data27-56-5.txt'	O
56	27	[ 27, 27, 1 ]	[ x-27, x-3, x+1, x+9 ]	'data27-56-7.txt'	O
56	27	[ 27, 27, 1 ]	[ x-27, x-1, x+1, x+27 ]	'data27-56-8.txt'	O
56	30	[ 30, 1, 24 ]	[ x-30, x-2, x, x+10 ]	'data30-56-2.txt'	O
56	30	[ 30, 5, 20 ]	[ x-30, x+2, x^2-18 ]	'data30-56-4.txt'	O
56	30	[ 30, 7, 18 ]	[ x-30, x, x^2+10*x-80 ]	'data30-56-6.txt'	O
56	30	[ 30, 10, 15 ]	[ x-30, x+2, x^2-4*x-24 ]	'data30-56-8.txt'	O
56	30	[ 30, 10, 15 ]	[ x-30, x-3, x+2, x+5 ]	'data30-56-9.txt'	O
56	36	[ 36, 1, 18 ]	[ x-36, x-8, x, x+4 ]	'data36-56-1.txt'	O
56	39	[ 39, 3, 13 ]	[ x-39, x+3, x^2-13 ]	'data39-56-2.txt'	TA-xHL
56	39	[ 39, 3, 13 ]	[ x-39, x-1, x+3, x+13 ]	'data39-56-3.txt'	O
56	39	[ 39, 3, 13 ]	[ x-39, x-4, x, x+9 ]	'data39-56-4.txt'	O
56	42	[ 42, 6, 7 ]	[ x-42, x-1, x+6, x+7 ]	'data42-56-5.txt'	O
57	18	[ 18, 18, 20 ]	[ x-18, x-10, x+1, x+9 ]	'data18-57-7.txt'	TA-xIM
57	20	[ 20, 6, 30 ]	[ x-20, x+1, x^2-20 ]	'data20-57-5.txt'	O
57	30	[ 30, 6, 20 ]	[ x-30, x-3, x^2+5*x-5 ]	'data30-57-5.txt'	O
57	36	[ 36, 2, 18 ]	[ x-36, x-1, x+2, x+18 ]	'data36-57-2.txt'	O
58	21	[ 21, 28, 8 ]	[ x-21, x+21, x^2-6 ]	'data21-58-5.txt'	O
58	28	[ 28, 1, 28 ]	[ x-28, x, x^2+2*x-28 ]	'data28-58-1.txt'	O
58	28	[ 28, 28, 1 ]	[ x-28, x-1, x+1, x+28 ]	'data28-58-5.txt'	O
60	11	[ 11, 44, 4 ]	[ x-11, x+1, x^2-11 ]	'data11-60-1.txt'	O
60	14	[ 14, 3, 42 ]	[ x-14, x-8, x, x+6 ]	'data14-60-1.txt'	O
60	14	[ 14, 3, 42 ]	[ x-14, x, x^2+2*x-44 ]	'data14-60-2.txt'	O
60	14	[ 14, 42, 3 ]	[ x-14, x-7, x+1, x+2 ]	'data14-60-4.txt'	O
60	15	[ 15, 20, 24 ]	[ x-15, x-3, x, x+5 ]	'data15-60-3.txt'	O
60	18	[ 18, 5, 36 ]	[ x-18, x-6, x, x+12 ]	'data18-60-2.txt'	O
60	19	[ 19, 2, 38 ]	[ x-19, x-9, x, x+5 ]	'data19-60-1.txt'	TA-xIM
60	20	[ 20, 15, 24 ]	[ x-20, x-5, x, x+4 ]	'data20-60-8.txt'	O
60	21	[ 21, 14, 24 ]	[ x-21, x-3, x+4, x+7 ]	'data21-60-2.txt'	O
60	22	[ 22, 4, 33 ]	[ x-22, x-10, x, x+8 ]	'data22-60-1.txt'	TA-xIM
60	24	[ 24, 3, 32 ]	[ x-24, x-4, x, x+12 ]	'data24-60-4.txt'	O
60	24	[ 24, 11, 24 ]	[ x-24, x, x^2+12*x-144 ]	'data24-60-7.txt'	O
60	24	[ 24, 14, 21 ]	[ x-24, x-4, x+3, x+8 ]	'data24-60-9.txt'	O
60	24	[ 24, 15, 20 ]	[ x-24, x-4, x, x+6 ]	'data24-60-10.txt'	O
60	25	[ 25, 9, 25 ]	[ x-25, x-10, x, x+15 ]	'data25-60-2.txt'	TA-xHL
60	25	[ 25, 9, 25 ]	[ x-25, x-5, x, x+20 ]	'data25-60-3.txt'	TA-xHL
60	28	[ 28, 3, 28 ]	[ x-28, x, x^2+4*x-56 ]	'data28-60-2.txt'	O
60	32	[ 32, 3, 24 ]	[ x-32, x-8, x, x+8 ]	'data32-60-5.txt'	O
60	32	[ 32, 3, 24 ]	[ x-32, x-2, x, x+16 ]	'data32-60-7.txt'	TA-xIM
60	32	[ 32, 11, 16 ]	[ x-32, x-2, x, x+24 ]	'data32-60-8.txt'	TA-xIM
60	33	[ 33, 4, 22 ]	[ x-33, x-3, x, x+15 ]	'data33-60-1.txt'	TA-xIM
60	36	[ 36, 5, 18 ]	[ x-36, x-6, x, x+12 ]	'data36-60-4.txt'	O
60	38	[ 38, 2, 19 ]	[ x-38, x+2, x^2-19 ]	'data38-60-1.txt'	O
60	42	[ 42, 3, 14 ]	[ x-42, x-2, x+3, x+7 ]	'data42-60-1.txt'	O
60	42	[ 42, 3, 14 ]	[ x-42, x-1, x+3, x+14 ]	'data42-60-2.txt'	O
60	42	[ 42, 3, 14 ]	[ x-42, x, x^2+6*x-36 ]	'data42-60-3.txt'	O
60	42	[ 42, 3, 14 ]	[ x-42, x-2, x, x+12 ]	'data42-60-4.txt'	O
60	44	[ 44, 4, 11 ]	[ x-44, x+4, x^2-11 ]	'data44-60-1.txt'	O
60	44	[ 44, 4, 11 ]	[ x-44, x-1, x+4, x+11 ]	'data44-60-2.txt'	O
60	45	[ 45, 5, 9 ]	[ x-45, x-1, x+5, x+9 ]	'data45-60-1.txt'	O