Order	Degree	Degree sequence	Minimal polynomial	Details	Existence
8	2	[ 2, 2, 1, 2 ]	[ x-2, x, x+2, x^2-2]	'data2-8-1.txt'	AS
9	2	[ 2, 2, 2, 2 ]	[ x-2, x+1, x^3-3*x+1]	'data2-9-1.txt'	AS
12	4	[ 4, 1, 2, 4 ]	[x-4, x-2, x, x+2, x+4]	'data4-12-1.txt'	AS
14	4	[ 4, 1, 4, 4 ]	[x-4, x, x^3+2*x^2-8*x-8]	'data4-14-1.txt'	AS
16	4	[ 4, 6, 1, 4]	[ x-4, x-2, x, x+2, x+4]	'data4-16-1.txt'	AS
16	6	[ 6, 6, 1, 2]	[ x-6, x, x+2, x^2-12]	'data6-16-2.txt'	TA-xR
16	6	[ 6, 1, 2, 6]	[ x-6, x, x+2, x^2-6]	'data6-16-9.txt'	TA-xR
16	6	[ 6, 1, 2, 6]	[ x-6, x-2, x, x+2, x+6]		AS
17	4	[ 4, 4, 4, 4 ]	[x-4, x^4+x^3-6*x^2-x+1]	'data4-17-1.txt'	AS
18	3	[ 3, 6, 2, 6 ]	[ x-3, x, x+3, x^2-3]	'data3-18-1.txt'	AS
18	6	[ 6, 6, 2, 3]	[x-6, x, x+6, x^2-3]	'data6-18-1.txt'	AS
18	6	[ 6, 2, 3, 6]	[x-6, x-3, x, x+3, x+6]	'data6-18-11.txt'	AS
20	4	[ 4, 6, 3, 6]	[ x-4, x, x+4, x^2-6]	'data4-20-1.txt'	TA-xR
20	6	[ 6, 1, 6, 6 ]	[ x-6, x, x+2, x^2-2*x-14]	'data6-20-1.txt'	TA-xR
20	6	[ 6, 6, 3, 4 ]	[x-6, x, x+6, x^2-6 ]	'data6-20-2.txt'	TA-xR
20	6	[ 6, 1, 3, 9 ]	[x-6, x-3, x, x+2, x+4 ]	'data6-20-3.txt'	TA-xHL
20	6	[ 6, 1, 4, 8 ]	[x-6, x, x+6, x^2-6 ]	'data6-20-4.txt'	TA-xR
20	8	[ 8, 2, 1, 8 ]	[ x-8, x, x+2, x^2-8]	'data8-20-10.txt'	O
21	4	[ 4, 8, 4, 4]	[x-4, x^2-2, x^2+x-5]	'data4-21-1.txt'	TA-xR
21	6	[6, 2, 6, 6]	[ x-6, x, x^3+3*x^2-18*x-48]	'data6-21-1.txt'	TA-xR
21	6	[ 6, 2, 6, 6 ]	[x-6, x, x^3+3*x^2-18*x-27]	'data6-21-2.txt'	TA-xR
24	6	[ 6, 1, 6, 10 ]	[x-6, x-5, x, x+2, x+3 ]	'data6-24-1.txt'	O
24	6	[ 6, 2, 6, 9 ]	[x-6, x, x+6, x^2-12 ]		TA-xR
24	6	[ 6, 8, 3, 6 ]	[ x-6, x-2, x, x+2, x+6 ]	'data6-24-2.txt'	AS
24	8	[ 8, 3, 8, 4 ]	[ x-8, x-4, x, x+4 ,x+8]	'data8-24-11.txt'	AS
24	8	[ 8, 6, 1, 8 ]	[ x-8, x-4, x, x+2 ,x+4]	'data8-24-16.txt'	AS
24	8	[ 8, 6, 1, 8 ]	[ x-8, x, x+4 ,x^2-8]		AS
24	9	[ 9, 2, 3, 9 ]	[ x-9, x-3, x, x+3, x+9]	'data9-24-2.txt'	AS
24	10	[ 10, 1, 2, 10 ]	[ x-10, x, x+2, x^2-20 ]	'data10-24-1.txt'	AS
24	10	[ 10, 1, 2, 10 ]	[ x-10, x-2, x,x+2, x+10 ]	'data10-24-3.txt'	AS
24	10	[ 10, 2, 1, 10 ]	[ x-10, x, x+2, x^2-10 ]	'data10-24-11.txt'	AS
24	10	[ 10, 1, 2, 10 ]	[ x-10, x, x+2, x^2+4*x-20 ]	'data10-24-2.txt'	TA-xIM
24	12	[ 12, 1, 4, 6 ]	[ x-12, x-2, x, x+4, x+6]	'data12-24-2.txt'	AS
25	6	[ 6, 6, 6, 6]	[ x-6, x^2-2*x-4, x^2+3*x+1]	'data6-25-1.txt'	AS
26	8	[ 8, 1, 8, 8]	[ x-8, x, x^3+2*x^2-16*x+8]	'data8-26-1.txt'	AS
27	6	[ 6, 2, 6, 12]	[x-6, x, x+3, x^2-18]		TA-xR
27	6	[ 6, 6, 2, 12]	[x-6, x, x+3, x^2-6]		TA-xR
27	8	[ 8, 8, 2, 8 ]	[ x-8, x+1,x^3-12*x-8]		TA-xR
27	12	[ 12, 2, 6, 6]	[x-12, x, x+6, x^2-18]	'data12-27-1.txt'	O
27	12	[12, 4, 4, 6 ]	[ x-12, x-3, x, x+3, x+6]	'data12-27-2.txt'	AS
27	12	[12, 6, 2, 6]	[ x-12, x, x+6, x^2-6]	'data12-27-3.txt'	TA-xR
27	12	[ 12, 2, 6, 6 ]	[ x-12, x, x+6, x^2-18 ]	'data12-27-19.txt'	TA-xR
28	3	[ 3, 6, 6, 12 ]	[x-3, x-2, x+1, x^2+2*x-1 ]	'data3-28-1.txt'	AS
28	6	[ 6, 6, 3, 12 ]	[x-6, x-1, x+2, x^2-8 ]		AS
28	6	[ 6, 1, 8, 12 ]	[x-6, x, x+6, x^2-8 ]		AS
28	8	[ 8, 3, 8, 8]	[ x-8, x, x^3+4*x^2-32*x-64]	'data8-28-1.txt'	AS
28	8	[ 8, 1, 6, 12]	[ x-8, x, x+8, x^2-8]	'data8-28-3.txt'	AS
28	12	[ 12, 1, 2, 12]	[ x-12, x-2, x, x+2, x+12]	'data12-28-1.txt'	AS
28	12	[ 12, 2, 1, 12]	[ x-12, x, x+2, x^2-12]	'data12-28-15.txt'	TA-xR
30	3	[ 3, 6, 8, 12]	[x-3, x-2, x, x+2, x+3 ]	'data3-30-1.txt'	AS
30	8	[8, 1, 8, 12]	[ x-8, x-6, x, x+2, x+4]	'data8-30-1.txt'	TA-xR
30	8	[8, 1, 4, 16]	[ x-8, x-4, x, x+2, x+4]	'data8-30-2.txt'	AS
30	8	[8, 6, 3, 12]	[ x-8, x-6, x, x+2, x+4]	'data8-30-2.txt'	TA-xR
30	9	[ 9, 2, 9, 9]	[x-9, x-6, x, x+3, x+6 ]	'data9-30-1.txt'	TA-xHL
30	10	[ 10, 4, 5, 10 ]	[ x-10, x-5, x, x+5, x+10]	'data10-30-15.txt'	AS
30	10	[ 10, 8, 1, 10 ]	[ x-10, x-5, x, x+2, x+5]	'data10-30-21.txt'	TA-xIM
30	12	[12, 1, 8, 8]	[x-12, x-4, x, x+3, x+6]	'data12-30-1.txt'	TA-xIM
30	12	[ 12, 6, 3, 8]	[x-12, x-4, x, x+3, x+6]	'data12-30-2.txt'	TA-xIM
30	12	[ 12, 9, 2, 6]	[x-12, x-3, x, x+2, x+8]	'data12-30-3.txt'	TA-xIM
30	12	[ 12, 9, 2, 6 ]	[ x-12, x-3, x, x+2, x+8]	'data12-30-17.txt'	TA-xIM
32	4	[ 4, 6, 9, 12 ]	[x-4, x, x+4, x^2-8 ]	'data4-32-1.txt'	TA-xR
32	4	[ 4, 12, 3, 12]	[x-4, x-2, x, x+2, x+4]	'data4-32-2.txt'	AS
32	5	[ 5, 20, 1, 5]	[ x-5, x-1, x+3, x^2-5]	'data5-32-1.txt'	AS
32	6	[6, 10, 5, 10]	[x-6, x, x+6, x^2-12 ]	'data6-32-1.txt'	TA-xR
32	6	[6, 1, 6, 18]	[x-6, x, x+2, x^2-12 ]		TA-xR
32	6	[6, 3, 10, 12]	[x-6, x, x+6, x^2-20 ]		TA-xR
32	6	[6, 6, 1, 18]	[x-6, x-2, x+2, x^2-6 ]		TA-xR
32	8	[ 8, 14, 1, 8]	[x-8, x, x+8, x^2-8]	'data8-32-1.txt'	AS
32	10	[10, 1, 10, 10]	[x-10, x-6, x, x+2, x+6 ]	'data10-32-1.txt'	TA-xIM
32	10	[10, 10, 5, 6]	[x-10, x, x+10, x^2-12]	'data10-32-2.txt'	TA-xR
32	10	[10, 1, 10, 10]	[x-10, x-6, x, x+2, x+6]	'data10-32-6.txt'	TA-xIM
32	10	[10, 3, 6, 12]	[x-10, x, x+10, x^2-20]	'data10-32-13.txt'	TA-xR
32	12	[12, 4, 3, 12 ]	[x-12, x-4, x, x+2, x+4]	'data12-32-1.txt'	AS
32	12	[12, 4, 3, 12 ]	[x-12, x, x+4, x^2-8]	'data12-32-2.txt'	AS
32	12	[12, 12, 3, 4 ]	[x-12, x-2, x, x+2, x+12]	'data12-32-3.txt'	AS
32	12	[ 12, 3, 4, 12 ]	[ x-12, x, x+4, x^2-48]	'data12-32-42.txt'	TA-xR
32	12	[ 12, 6, 4, 9 ]	[ x-12, x, x+12, x^2-8]	'data12-32-32.txt'	TA-xR
32	12	[ 12, 12, 1, 6 ]	[ x-12, x-2, x, x+4, x+6]		TA-xR
32	12	[ 12, 12, 1, 6 ]	[ x-12, x-6, x, x+2, x+4]	'data12-32-62.txt'	TA-xR
32	12	[ 12, 12, 1, 6 ]	[ x-12, x, x+4, x^2-12]	'data12-32-63.txt'	AS
32	12	[ 12, 12, 3, 4 ]	[ x-12, x, x+4, x^2-48]		TA-xR
32	18	[18, 1, 6, 6]	[x-18, x, x+6, x^2-12]	'data18-32-1.txt'	O
33	10	[ 10, 10, 2, 10 ]	[ x-10, x+1, x+5, x^2-x-8]	'data10-33-22.txt'	AS
35	10	[ 10, 4, 10, 10 ]	[ x-10, x, x^3+5*x^2-50*x-125 ]	'data10-35-1.txt'	AS
35	4	[ 4, 12, 6, 12 ]	[ x-4, x+1, x^3-6*x+2 ]	'data4-35-1.txt'	TA-xR
35	6	[ 6, 12, 4, 12 ]	[ x-6, x-4, x-1, x+1, x+3 ]	'data6-35-1.txt'	TA-xR
35	6	[ 6, 4, 12, 12 ]	[ x-6, x-4, x-1, x+1, x+3 ]	'data6-35-2.txt'	TA-xR
35	12	[ 12, 4, 6, 12 ]	[ x-12, x+3, x^3-12*x-2 ]	'data12-35-50.txt'	TA-xR
35	12	[ 12, 4, 6, 12 ]	[ x-12, x-2, x, x+2, x+7 ]	'data12-35-51.txt'	TA-xR
36	5	[ 5, 15, 5, 10 ]	[ x-5, x-2, x-1, x+2, x+4]	'data5-36-1.txt'	TA-xHL
36	6	[ 6, 15, 2, 12 ]	[ x-6, x-2, x+6, x^2-6]	'data5-36-1.txt'	AS
36	7	[ 7, 14, 7, 7 ]	[ x-7, x-1, x^3+3*x^2-9*x-19 ]	'data7-36-1.txt'	TA-xR
36	7	[ 7, 7, 7, 14 ]	[ x-7, x+2, x^3-x^2-9*x+1 ]	'data7-36-1.txt'	AS
36	8	[ 8, 1, 10, 16 ]	[ x-8, x, x+8,x^2-10 ]	'data8-36-6.txt'	TA-xR
36	9	[ 9, 2, 6, 18 ]	[ x-9, x, x+3, x^2-27 ]		TA-xR
36	10	[ 10, 10, 5, 10 ]	[ x-10, x+2, x^3-12*x+8]	'data10-36-1.txt'	TA-xR
36	10	[ 10, 1, 10, 14 ]	[ x-10, x-7, x, x+2, x+5 ]	'data10-36-2.txt'	TA-xIM
36	10	[ 10, 1, 4, 20 ]	[ x-10, x-4, x, x+2, x+5 ]	'data10-36-4.txt'	TA-xIM
36	10	[ 10, 1, 8, 16 ]	[ x-10, x, x+10, x^2-10]	'data10-36-5.txt'	TA-xR
36	10	[ 10, 5, 10, 10 ]	[ x-10, x-2, x+2, x^2+x-11]	'data10-36-19.txt'	AS
36	12	[ 12, 2, 9, 12]	[ x-12, x, x+6, x^2-6*x-24 ]	'data12-36-20.txt'	TA-xIM
36	12	[ 12, 2, 6, 15 ]	[ x-12, x, x+12, x^2-6]	'data12-36-16.txt'	AS
36	12	[ 12, 3, 8, 12 ]	[ x-12, x, x+6, x^2-6*x-36]	'data12-36-46.txt'	TA-xIM
36	12	[ 12, 2, 6, 15 ]	[ x-12, x-5, x, x+4, x+6]	'data12-36-20.txt'	TA-xIM
36	12	[ 12, 8, 3, 12 ]	[ x-12, x-4, x, x+2, x+6]	'data12-36-34.txt'	AS
36	12	[ 12, 8, 3, 12 ]	[ x-12, x-2, x, x+4, x+6]		AS
36	12	[ 12, 12, 1, 10 ]	[ x-12, x, x+6, x^2-12]	'data12-36-67.txt'	TA-xR
36	12	[ 12, 12, 3, 8 ]	[ x-12, x, x+6, x^2-4*x-8]		TA-xIM
36	12	[ 12, 12, 5, 6 ]	[ x-12, x-6, x, x+6, x+12]	'data12-36-55.txt'	AS
38	12	[ 12, 1, 12, 12]	[ x-12, x, x^3+2*x^2-24*x-56 ]	'data12-38-5.txt'	AS
39	12	[ 12, 2, 12, 12 ]	[ x-12, x, x^3+3*x^2-36*x-129 ]	'data12-39-23.txt'	TA-xR
39	12	[ 12, 2, 12, 12 ]	[ x-12, x, x^3+3*x^2-36*x-12]	'data12-39-26.txt'	TA-xR
39	12	[ 12, 2, 12, 12 ]	[ x-12, x, x^3+3*x^2-36*x+27]	'data12-39-28.txt'	AS
40	5	[ 5, 10, 4, 20 ]	[ x-5, x, x+3, x^2-2*x-5]	'data5-40-1.txt'	TA-xIM
40	6	[ 6, 1, 8, 24 ]	[ x-6, x-3, x, x+2, x+4]		TA-xIM
40	8	[ 8, 3, 12, 16 ]	[ x-8, x, x+8, x^2-24]	'data8-40-14.txt'	O
40	8	[ 8, 4, 3, 24 ]	[ x-8, x-2, x, x+2 ,x+4]	'data8-40-15.txt'	O
40	9	[ 9, 9, 3, 18 ]	[ x-9, x-7, x-1, x+1, x+3 ]	'data9-40-1.txt'	O
40	9	[ 9, 9, 3, 18 ]	[ x-9, x-3, x+1, x^2+4*x-1 ]	'data9-40-6.txt'	TA-xHL
40	9	[ 9, 9, 3, 18 ]	[ x-9, x+1, x+3, x^2-4*x-1 ]	'data9-40-8.txt'	TA-xHL
40	9	[ 9, 9, 9, 12 ]	[ x-9, x+1, x+3, x^2+4*x-11 ]	'data9-40-7.txt'	TA-xHL
40	10	[ 10, 18, 1, 10 ]	[ x-10, x, x+10, x^2-10 ]		O
40	12	[ 12, 3, 6, 18 ]	[ x-12, x-6, x, x+4, x+8 ]	'data12-40-44.txt'	TA-xIM
40	12	[ 12, 3, 8, 16 ]	[ x-12, x, x+12, x^2-24 ]		O
40	12	[ 12, 3, 12, 12 ]	[ x-12, x-4, x-2, x+2, x+4 ]	'data12-40-38.txt'	O
40	12	[ 12, 3, 12, 12 ]	[ x-12, x-2, x+4, x^2-8 ]	'data12-40-40.txt'	O
40	12	[ 12, 3, 12, 12 ]	[ x-12, x, x+4, x^2-4*x-56 ]	'data12-40-47.txt'	O
40	12	[ 12, 6, 9, 12 ]	[ x-12, x-4, x, x+4, x+8]	'data12-40-64.txt'	TA-xIM
40	12	[ 12, 12, 3, 12 ]	[ x-12, x-2, x, x+4, x+8]	'data12-40-41.txt'	TA-xIM
41	10	[ 10, 10, 10, 10 ]	[ x-10, x^4+x^3-15*x^2+18*x-4 ]	'data10-41-1.txt'	O
42	5	[ 5, 1, 15, 20 ]	[ x-5, x-3, x, x+2, x+4 ]	'data5-42-1.txt'	TA-xHL
42	6	[ 6, 2, 15, 18 ]	[ x-6, x, x+6, x^2-15 ]		O
42	6	[ 6, 10, 10, 15 ]	[ x-6, x, x+6, x^2-15 ]		O
42	8	[ 8, 1, 16, 16 ]	[ x-8, x-3, x, x+4, x+6 ]	'data8-42-1.txt'	TA-xIM
42	8	[ 8, 1, 16, 16 ]	[ x-8, x, x+4, x^2-4*x-4]	'data8-42-2.txt'	O
42	9	[ 9, 2, 12, 18 ]	[ x-9, x, x+9, x^2-18 ]	'data9-42-4.txt'	O
42	10	[ 10, 20, 1, 10 ]	[ x-10, x-5, x-1, x+2, x+4]	'data10-42-1.txt'	O
42	10	[ 10, 1, 10, 20 ]	[ x-10, x, x+4, x^2-2*x-14]	'data10-42-8.txt'	O
42	10	[ 10, 1, 10, 20 ]	[ x-10, x, x+2, x^2-6*x-26]	'data10-42-7.txt'	O
42	10	[ 10, 20, 1, 20 ]	[ x-10, x-5, x-1, x+2, x+4]	'data10-42-30.txt'	O
42	12	[ 12, 1, 12, 16 ]	[ x-12, x-8, x, x+2, x+6]	'data12-42-4.txt'	TA-xIM
42	12	[ 12, 2, 9, 18 ]	[ x-12, x, x+12, x^2-18]	'data12-42-22.txt'	O
42	12	[ 12, 3, 2, 24 ]	[ x-12, x-4, x, x+2, x+3]	'data12-42-30.txt'	O
42	12	[ 12, 5, 12, 12 ]	[ x-12, x, x^3+6*x^2-72*x-384]	'data12-42-57.txt'	O
42	12	[ 12, 5, 12, 12 ]	[ x-12, x, x^3+6*x^2-72*x-216]	'data12-42-59.txt'	O
44	10	[ 10, 1, 12, 20 ]	[ x-10, x, x+10, x^2-12]	'data10-44-10.txt'	O
44	12	[ 12, 1, 10, 20 ]	[x-12, x-3, x, x^2+9*x+12]	'data12-44-2.txt'	O
44	12	[ 12, 1, 10, 20 ]	[ x-12, x, x+12, x^2-12]	'data12-44-4.txt'	O
45	4	[ 4, 8, 16, 16 ]	[ x-4, x-3, x-1, x+1, x+2 ]	'data4-45-1.txt'	AS
45	6	[ 6, 24, 2, 12 ]	[ x-6, x-3, x-1, x+2, x+3 ]	'data6-45-1.txt'	AS
45	8	[ 8, 12, 8, 16 ]	[ x-8, x-5, x, x+4, x+7 ]	'data8-45-1.txt'	TA-xIM
45	8	[ 8, 8, 4, 24 ]	[ x-8, x+1, x^3-12*x+14]	'data8-45-18.txt'	O
45	12	[ 12, 2, 12, 18]	[ x-12, x-9, x, x+3, x+6 ]	'data12-45-22.txt'	O
45	12	[ 12, 24, 2, 6]	[ x-12, x, x+3, x^2-12 ]	'data12-45-61.txt'	O
45	12	[ 12, 24, 4, 4]	[ x-12, x, x+3, x^2-18 ]	'data12-45-52.txt'	O
48	8	[ 8, 3, 12, 24 ]	[ x-8, x, x+4, x^2-32]	'data8-48-13.txt'	TA-xIM
48	8	[ 8, 12, 3, 24 ]	[ x-8, x, x+4, x^2-4*x-8]	'data8-48-22.txt'	TA-xIM
48	8	[ 8, 12, 3, 24 ]	[ x-8, x, x+4, x^2-8]		O
48	10	[ 10, 1, 6, 30 ]	[ x-10, x, x+2, x^2-20]		O
48	10	[ 10, 2, 10, 25 ]	[ x-10, x, x+10, x^2-20]		TA-xIM
48	10	[ 10, 3, 14, 20 ]	[ x-10, x, x+10, x^2-28]		O
48	10	[ 10, 15, 2, 20 ]	[ x-10, x-2, x+2, x^2-10]		O
48	12	[ 12, 3, 8, 24 ]	[ x-12, x-8, x, x+4, x+6]	'data12-48-45.txt'	TA-xIM
48	12	[ 12, 3, 12, 20 ]	[ x-12, x-10, x, x+4, x+6]	'data12-48-48.txt'	TA-xIM
48	12	[ 12, 3, 12, 20 ]	[ x-12, x, x+12, x^2-8]		O
48	12	[ 12, 7, 12, 16 ]	[ x-12, x, x+12, x^2-72]	'data12-48-65.txt'	O
48	12	[ 12, 9, 2, 24 ]	[ x-12, x-2, x, x+4, x+6]		O
48	12	[ 12, 18, 5, 12 ]	[ x-12, x, x+12, x^2-48]	'data12-48-58.txt'	O
48	12	[ 12, 22, 1, 12 ]	[ x-12, x, x+12, x^2-12]		O
49	8	[ 8, 24, 8, 8 ]	[ x-8, x-1, x^3+4*x^2-11*x-43 ]	'data8-49-1.txt'	O
49	12	[ 12, 12, 12, 12 ]	[ x-12, x+2, x^3-x^2-16*x+29]	'data12-49-69.txt'	O
50	5	[ 5, 20, 4, 20 ]	[ x-5, x, x+5, x^2-5]		O
52	6	[ 6, 1, 20, 24 ]	[ x-6, x, x+6, x^2-10]		O
52	6	[ 6, 15, 10, 20 ]	[ x-6, x, x+6, x^2-10]		O
52	8	[ 8, 1, 18, 24 ]	[ x-8, x, x+8, x^2-12]	'data8-52-9.txt'	O
52	12	[ 12, 1, 14, 24 ]	[ x-12, x, x+12, x^2-14]	'data12-52-10.txt'	O
52	12	[ 12, 3, 12, 24 ]	[ x-12, x-2, x+4, x^2+2*x-12]	'data12-52-39.txt'	O
52	12	[ 12, 3, 12, 24 ]	[ x-12, x-4, x+2, x^2+2*x-12]	'data12-52-37.txt'	O
54	9	[ 9, 24, 2, 18 ]	[ x-9, x-3, x, x+3, x+9]	'data9-54-1.txt'	O
54	12	[ 12, 1, 16, 24]	[ x-12, x, x+6, x^2-6*x-18 ]	'data12-54-6.txt'	TA-xIM
54	12	[ 12, 1, 16, 24]	[ x-12, x-6, x, x+3, x+6 ]	'data12-54-7.txt'	O
54	12	[ 12, 1, 16, 24]	[ x-12, x, x+6, x^2-18 ]	'data12-54-8.txt'	O
54	12	[ 12, 8, 9, 24]	[ x-12, x-3, x, x+3, x+6 ]		O
54	12	[ 12, 8, 15, 18]	[ x-12, x, x, x+12, x^2-90 ]	'data12-54-66.txt'	O
54	12	[ 12, 15, 2, 24]	[ x-12, x, x+6, x^2-12]		O
54	12	[ 12, 24, 5, 12]	[ x-12, x, x+6, x^2-72]	'data12-54-56.txt'	O
56	9	[ 9, 36, 1, 9 ]	[ x-9, x-3, x-1, x+3, x+5 ]	'data9-56-1.txt'	O
56	10	[ 10, 15, 15, 15 ]	[ x-10, x-4, x, x+4, x+6]	'data10-56-1.txt'	TA-xHL
56	12	[ 12, 1, 12, 30 ]	[ x-12, x-10, x, x+2, x+4 ]	'data12-56-3.txt'	O
56	12	[ 12, 1, 18, 24 ]	[ x-12, x, x+2, x^2-48 ]	'data12-56-9.txt'	TA-xIM
57	10	[ 10, 10, 6, 30 ]	[ x-10, x^2-5, x^2+x-14]	'data10-57-23.txt'	O
60	12	[ 12, 2, 12, 33 ]	[ x-12, x-11, x, x+3, x+4 ]	'data12-60-21.txt'	TA-xIM
60	9	[ 9, 2, 21, 27 ]	[ x-9, x, x+9, x^2-21 ]		O
60	10	[ 10, 4, 20, 25 ]	[ x-10, x, x+10, x^2-40 ]	'data10-60-17.txt'	O
60	12	[ 12, 2, 9, 36 ]	[ x-12, x-9, x, x+3, x+4 ]		TA-xIM
60	12	[ 12, 2, 18, 27 ]	[ x-12, x, x+12, x^2-24 ]	'data12-60-29.txt'	O
60	12	[ 12, 2, 12, 32 ]	[ x-12, x-4, x-2, x+2, x+6 ]	'data12-60-35.txt'	O
60	12	[ 12, 12, 15, 20 ]	[ x-12, x, x+3, x^2-4*x-16 ]	'data12-60-68.txt'	O
60	12	[ 12, 24, 5, 18 ]	[ x-12, x, x+12, x^2-54 ]	'data12-60-60.txt'	O