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