Context Navigation

king_3_colors_l.tst @ 6263f2

spielwiese

Last change on this file since 6263f2 was 341696, checked in by Hans Schönemann <hannes@…>, 14 years ago
Adding Id property to all files git-svn-id: file:///usr/local/Singular/svn/trunk@12231 2c84dea3-7e68-4137-9b89-c4e89433aadc
Property mode set to `100644`
File size: 127.8 KB

Line
1	// $Id$
2
3	//
4	//
5
6
7	LIB "tst.lib";
8
9	LIB "poly.lib";
10
11	tst_init();
12	tst_ignore("CVS: $Id$");
13
14	proc char_out(ideal i){
15	return(sort(simplify(lead(i),1))[1]);
16	}
17	ring r=0,x(1..44),dp;
18
19	ideal i=-x(1)x(3)^3-2x(2)*x(4)^3+x(3)^2,
20	-x(1)x(3)x(4)^2-x(2)x(4)x(8)^2-x(2)x(4)x(6)x(13)+x(3)x(4),
21	-x(1)x(4)^2x(8)-x(2)x(8)^2x(9)-x(2)x(6)x(13)x(14)+x(3)x(8),
22	-x(1)x(4)^2x(6)-2x(2)x(6)x(8)x(14)+x(3)*x(6),
23	-x(1)x(4)^2x(13)-2x(2)x(8)x(13)x(14)+x(3)*x(13),
24	-x(1)x(8)^3-x(2)x(9)^3-x(2)x(14)^3+x(3)x(9),
25	-x(1)x(6)x(8)x(13)-x(2)x(9)x(14)^2-x(2)x(14)^3+x(3)*x(14),
26	-x(1)x(3)x(6)x(13)-x(2)x(4)x(7)x(27)-x(2)x(4)x(25)*x(32)+x(4)^2,
27	-x(1)x(3)x(8)^2-2x(2)x(4)x(25)x(32)+x(4)^2,
28	-x(1)x(4)^2x(5)-x(2)x(8)^2x(11)-x(2)x(6)x(13)*x(15)+x(4)^2,
29	-x(1)x(4)x(10)x(13)-x(2)x(6)x(20)x(27)-x(2)x(8)x(25)x(33)+x(4)x(8),
30	-x(1)x(4)x(8)x(10)-x(2)x(6)x(18)x(25)-x(2)x(8)x(26)x(32)+x(4)x(6),
31	-x(1)x(4)^2x(5)-2x(2)x(8)x(10)x(13)+x(4)^2,
32	-x(1)x(4)x(13)x(15)-x(2)x(13)x(18)x(25)-x(2)x(8)x(20)x(27)+x(4)x(13),
33	-x(1)x(4)x(8)x(11)-x(2)x(13)x(26)x(32)-x(2)x(8)x(25)x(33)+x(4)x(8),
34	-x(1)x(4)x(6)x(21)-x(2)x(7)x(13)x(28)-x(2)x(8)x(32)x(42)+x(4)x(8),
35	-x(1)x(4)x(8)x(21)-x(2)x(8)x(23)x(25)-x(2)x(13)x(32)x(34)+x(4)x(13),
36	-x(1)x(5)^2x(8)-x(2)x(9)x(11)^2-x(2)x(14)x(15)^2+x(4)*x(8),
37	-x(1)x(8)x(10)x(21)-x(2)x(14)x(20)x(28)-x(2)x(9)x(33)x(42)+x(4)x(9),
38	-x(1)x(8)x(10)x(21)-x(2)x(9)x(23)x(26)-x(2)x(14)x(18)x(34)+x(4)x(14),
39	-x(1)x(5)^2x(6)-x(2)x(10)x(11)x(14)-x(2)x(10)x(14)x(15)+x(4)*x(6),
40	-x(1)x(6)x(15)x(21)-x(2)x(14)x(20)x(28)-x(2)x(14)x(18)x(42)+x(4)x(14),
41	-x(1)x(6)x(11)x(21)-x(2)x(14)x(23)x(26)-x(2)x(14)x(33)x(34)+x(4)x(14),
42	-x(1)x(4)^2x(5)-2x(2)x(6)x(8)x(21)+x(4)^2,
43	-x(1)x(4)x(6)x(15)-x(2)x(7)x(8)x(28)-x(2)x(6)x(32)x(34)+x(4)x(6),
44	-x(1)x(4)x(8)x(11)-x(2)x(6)x(23)x(25)-x(2)x(8)x(32)x(42)+x(4)x(8),
45	-x(1)x(5)^2x(13)-x(2)x(11)x(14)x(21)-x(2)x(14)x(15)x(21)+x(4)*x(13),
46	-x(1)x(10)x(13)x(15)-x(2)x(14)x(20)x(28)-x(2)x(14)x(33)x(34)+x(4)x(14),
47	-x(1)x(10)x(11)x(13)-x(2)x(14)x(23)x(26)-x(2)x(14)x(18)x(42)+x(4)x(14),
48	-x(1)x(5)^2x(8)-x(2)x(9)x(10)x(21)-x(2)x(10)x(14)x(21)+x(4)*x(8),
49	-x(1)x(8)x(15)^2-x(2)x(9)x(20)x(28)-x(2)x(14)x(18)x(34)+x(4)*x(14),
50	-x(1)x(8)x(11)^2-x(2)x(14)x(23)x(26)-x(2)x(9)x(33)x(42)+x(4)*x(9),
51	-x(1)x(6)x(13)x(22)-x(2)x(7)x(27)x(31)-x(2)x(25)x(32)*x(43)+x(8)^2,
52	-x(1)x(6)x(8)x(16)-x(2)x(7)x(25)x(29)-x(2)x(32)^2x(35)+x(6)*x(8),
53	-x(1)x(8)x(13)x(16)-x(2)x(24)x(25)^2-x(2)x(27)x(32)x(40)+x(8)*x(13),
54	-x(1)x(8)^2x(12)-2x(2)x(25)x(32)x(44)+x(8)^2,
55	-x(1)x(5)x(10)x(21)-x(2)x(15)x(20)x(28)-x(2)x(11)x(33)*x(42)+x(8)^2,
56	-x(1)x(5)x(11)x(21)-x(2)x(15)x(23)x(34)-x(2)x(11)x(23)x(42)+x(8)x(13),
57	-x(1)x(10)x(21)x(22)-x(2)x(20)x(28)x(31)-x(2)x(33)x(42)x(43)+x(8)x(9),
58	-x(1)x(10)x(16)x(21)-x(2)x(20)x(29)x(34)-x(2)x(23)x(33)x(35)+x(8)x(14),
59	-x(1)x(5)x(10)x(11)-x(2)x(15)x(18)x(26)-x(2)x(11)x(26)x(33)+x(6)x(8),
60	-x(1)x(10)x(16)x(21)-x(2)x(18)x(28)x(40)-x(2)x(24)x(26)x(42)+x(8)x(14),
61	-x(1)x(10)x(12)x(21)-x(2)x(23)x(26)x(44)-x(2)x(18)x(34)x(44)+x(8)x(14),
62	-x(1)x(5)x(10)x(15)-x(2)x(10)x(20)x(28)-x(2)x(10)x(33)x(34)+x(6)x(8),
63	-x(1)x(5)x(11)^2-2x(2)x(10)x(23)x(42)+x(8)^2,
64	-x(1)x(5)x(15)x(21)-x(2)x(20)x(21)x(28)-x(2)x(18)x(21)x(42)+x(8)x(13),
65	-x(1)x(15)^2x(22)-x(2)x(20)x(28)x(31)-x(2)x(18)x(34)x(43)+x(8)*x(14),
66	-x(1)x(11)x(15)x(16)-x(2)x(18)x(23)x(35)-x(2)x(20)x(29)x(42)+x(8)x(14),
67	-x(1)x(5)x(11)^2-2x(2)x(21)x(26)x(33)+x(8)^2,
68	-x(1)x(11)x(15)x(16)-x(2)x(24)x(26)x(34)-x(2)x(28)x(33)x(40)+x(8)x(14),
69	-x(1)x(11)^2x(12)-x(2)x(23)x(26)x(44)-x(2)x(33)x(42)x(44)+x(8)*x(9),
70	-x(1)x(6)^2x(17)-2x(2)x(7)x(32)x(36)+x(6)^2,
71	-x(1)x(8)^2x(22)-2x(2)x(25)x(32)x(37)+x(6)*x(13),
72	-x(1)x(5)x(15)^2-x(2)x(11)x(20)x(28)-x(2)x(15)x(18)x(34)+x(6)*x(13),
73	-x(1)x(10)x(11)x(16)-x(2)x(20)x(26)x(29)-x(2)x(33)^2x(35)+x(6)*x(9),
74	-x(1)x(10)x(15)x(17)-x(2)x(18)x(20)x(36)-x(2)x(20)x(33)x(36)+x(6)x(14),
75	-x(1)x(5)x(10)^2-2x(2)x(10)x(18)x(26)+x(6)^2,
76	-x(1)x(10)x(11)x(22)-x(2)x(18)x(26)x(37)-x(2)x(26)x(33)x(37)+x(6)x(14),
77	-x(1)x(10)x(15)x(16)-x(2)x(20)x(26)x(29)-x(2)x(18)^2x(35)+x(6)*x(14),
78	-x(1)x(13)^2x(17)-2x(2)x(19)x(25)x(27)+x(13)^2,
79	-x(1)x(5)x(21)^2-2x(2)x(21)x(23)x(34)+x(13)^2,
80	-x(1)x(11)x(16)x(21)-x(2)x(23)x(28)x(40)-x(2)x(24)x(42)^2+x(9)*x(13),
81	-x(1)x(11)x(21)x(22)-x(2)x(23)x(34)x(37)-x(2)x(23)x(37)x(42)+x(13)x(14),
82	-x(1)x(15)x(17)x(21)-x(2)x(19)x(28)x(34)-x(2)x(19)x(28)x(42)+x(13)x(14),
83	-x(1)x(15)x(16)x(21)-x(2)x(24)x(34)^2-x(2)x(23)x(28)x(40)+x(13)*x(14),
84	-x(1)x(22)^3-x(2)x(31)^3-x(2)*x(43)^3+x(9)^2,
85	-x(1)x(16)^2x(22)-x(2)x(29)x(31)x(40)-x(2)x(24)x(35)x(43)+x(9)*x(14),
86	-x(1)x(12)x(16)^2-x(2)x(24)x(35)x(44)-x(2)x(29)x(40)x(44)+x(9)*x(14),
87	-x(1)x(12)^3-2x(2)*x(44)^3+x(9)^2,
88	-x(1)x(17)^2x(22)-x(2)x(19)x(31)x(36)-x(2)x(19)x(36)x(43)+x(14)^2,
89	-x(1)x(16)^2x(22)-x(2)x(24)x(35)x(37)-x(2)x(29)x(37)x(40)+x(14)^2,
90	-x(1)x(16)^2x(17)-2x(2)x(19)x(29)x(35)+x(14)^2,
91	-x(1)x(16)^2x(17)-2x(2)x(24)x(36)x(40)+x(14)^2,
92	-x(1)x(12)x(22)^2-2x(2)x(37)^2x(44)+x(14)^2, -x(1)x(3)^2x(4)-2x(2)x(4)^2x(5)+x(4)^2,
93	-x(1)x(3)x(4)x(13)-x(2)x(4)x(13)x(15)-x(2)x(4)x(8)x(21)+x(4)x(13),
94	-x(1)x(3)x(4)x(8)-x(2)x(4)x(8)x(11)-x(2)x(4)x(6)x(21)+x(4)x(8),
95	-x(1)x(4)^2x(25)-x(2)x(6)x(13)x(34)-x(2)x(8)^2x(42)+x(4)x(25),
96	-2x(2)x(6)x(8)x(23)-x(1)x(4)^2x(32)+x(4)*x(32),
97	-x(1)x(4)^2x(27)-2x(2)x(8)x(13)x(28)+x(4)*x(27),
98	-x(1)x(4)^3-x(2)x(5)x(8)^2-x(2)x(5)x(6)x(13)+x(4)*x(5),
99	-x(1)x(4)x(8)x(13)-x(2)x(13)x(14)x(15)-x(2)x(8)x(9)x(21)+x(4)x(21),
100	-x(1)x(4)x(8)x(13)-x(2)x(11)x(13)x(14)-x(2)x(8)x(14)x(21)+x(4)x(21),
101	-x(1)x(4)x(8)^2-x(2)x(8)x(9)x(11)-x(2)x(6)x(14)x(21)+x(4)*x(11),
102	-x(1)x(8)^2x(25)-x(2)x(14)^2x(34)-x(2)x(9)^2x(42)+x(4)*x(42),
103	-x(2)x(9)x(14)x(23)-x(2)x(14)^2x(23)-x(1)x(8)x(13)x(32)+x(4)*x(23),
104	-x(1)x(4)x(6)x(13)-x(2)x(8)x(14)x(15)-x(2)x(6)x(14)x(21)+x(4)x(15),
105	-x(1)x(6)x(8)x(27)-x(2)x(9)x(14)x(28)-x(2)x(14)^2x(28)+x(4)*x(28),
106	-x(1)x(6)x(13)x(25)-x(2)x(14)^2x(34)-x(2)x(14)^2x(42)+x(4)x(34),
107	-x(1)x(3)x(4)x(8)-x(2)x(4)x(8)x(11)-x(2)x(4)x(10)x(13)+x(4)x(8),
108	-x(1)x(3)x(13)x(14)-x(2)x(4)x(23)x(25)-x(2)x(4)x(20)x(27)+x(8)x(13),
109	-x(1)x(3)x(8)x(9)-x(2)x(4)x(25)x(33)-x(2)x(4)x(32)*x(42)+x(8)^2,
110	-x(1)x(4)^2x(11)-x(2)x(8)^2x(12)-x(2)x(6)x(13)*x(16)+x(8)^2,
111	-x(1)x(4)x(13)x(26)-x(2)x(6)x(27)x(40)-x(2)x(8)x(25)x(44)+x(8)x(25),
112	-x(2)x(6)x(24)x(25)-x(1)x(4)x(8)x(33)-x(2)x(8)x(32)x(44)+x(8)x(32),
113	-x(2)x(8)x(13)x(16)-x(1)x(4)^2x(21)-x(2)x(8)x(13)x(22)+x(8)*x(13),
114	-x(1)x(4)x(13)x(28)-x(2)x(13)x(25)x(29)-x(2)x(8)x(27)x(31)+x(8)x(27),
115	-x(2)x(13)x(32)x(35)-x(1)x(4)x(8)x(42)-x(2)x(8)x(25)x(43)+x(8)x(25),
116	-x(1)x(4)x(5)x(8)-x(2)x(8)x(11)^2-x(2)x(10)x(13)x(15)+x(5)*x(8),
117	-x(1)x(4)x(14)x(21)-x(2)x(13)x(20)x(28)-x(2)x(8)x(23)x(42)+x(8)x(21),
118	-x(1)x(4)x(9)x(21)-x(2)x(13)x(33)x(34)-x(2)x(8)x(23)x(42)+x(8)x(21),
119	-x(1)x(5)x(8)x(11)-x(2)x(9)x(11)x(12)-x(2)x(14)x(15)x(16)+x(8)x(11),
120	-x(1)x(8)x(21)x(26)-x(2)x(14)x(28)x(40)-x(2)x(9)x(42)x(44)+x(8)x(42),
121	-x(1)x(8)x(21)x(33)-x(2)x(14)x(24)x(34)-x(2)x(9)x(23)x(44)+x(8)x(23),
122	-x(2)x(11)x(14)x(16)-x(1)x(5)x(6)x(21)-x(2)x(14)x(15)x(22)+x(8)x(15),
123	-x(1)x(6)x(21)x(28)-x(2)x(14)x(28)x(31)-x(2)x(14)x(29)x(42)+x(8)x(28),
124	-x(2)x(14)x(23)x(35)-x(1)x(6)x(21)x(42)-x(2)x(14)x(34)x(43)+x(8)x(34),
125	-x(1)x(4)x(5)x(8)-x(2)x(8)x(10)x(21)-x(2)x(6)x(11)x(21)+x(5)x(8),
126	-x(1)x(4)x(14)x(15)-x(2)x(8)x(20)x(28)-x(2)x(6)x(23)x(34)+x(8)x(15),
127	-x(1)x(4)x(9)x(11)-x(2)x(6)x(23)x(42)-x(2)x(8)x(33)x(42)+x(8)x(11),
128	-x(1)x(5)x(11)x(13)-x(2)x(12)x(14)x(21)-x(2)x(14)x(16)x(21)+x(8)x(21),
129	-x(1)x(13)x(15)x(26)-x(2)x(14)x(28)x(40)-x(2)x(14)x(34)x(44)+x(8)x(34),
130	-x(1)x(11)x(13)x(33)-x(2)x(14)x(24)x(42)-x(2)x(14)x(23)x(44)+x(8)x(23),
131	-x(1)x(5)x(8)x(21)-x(2)x(14)x(16)x(21)-x(2)x(9)x(21)x(22)+x(8)x(21),
132	-x(1)x(8)x(15)x(28)-x(2)x(9)x(28)x(31)-x(2)x(14)x(29)x(34)+x(8)x(28),
133	-x(2)x(14)x(23)x(35)-x(1)x(8)x(11)x(42)-x(2)x(9)x(42)x(43)+x(8)x(42),
134	-x(1)x(3)x(4)x(6)-x(2)x(4)x(8)x(10)-x(2)x(4)x(6)x(15)+x(4)x(6),
135	-x(1)x(3)x(8)x(14)-x(2)x(4)x(18)x(25)-x(2)x(4)x(32)x(34)+x(6)x(13),
136	-x(1)x(3)x(6)x(14)-x(2)x(4)x(7)x(28)-x(2)x(4)x(26)x(32)+x(6)x(8),
137	-x(1)x(4)^2x(10)-x(2)x(6)x(8)x(16)-x(2)x(6)x(8)x(22)+x(6)*x(8),
138	-x(1)x(4)x(8)x(26)-x(2)x(8)x(32)x(35)-x(2)x(6)x(25)x(37)+x(6)x(25),
139	-x(1)x(4)x(6)x(18)-x(2)x(7)x(8)x(29)-x(2)x(6)x(32)x(37)+x(6)x(32),
140	-x(1)x(4)^2x(15)-x(2)x(8)^2x(16)-x(2)x(6)x(13)x(17)+x(6)x(13),
141	-x(1)x(4)x(8)x(28)-x(2)x(8)x(25)x(29)-x(2)x(13)x(32)x(36)+x(6)x(27),
142	-x(1)x(4)x(6)x(34)-x(2)x(8)x(32)x(35)-x(2)x(7)x(13)x(36)+x(6)x(25),
143	-x(1)x(4)x(5)x(6)-x(2)x(10)^2x(13)-x(2)x(8)x(10)x(15)+x(5)*x(6),
144	-x(1)x(4)x(11)x(14)-x(2)x(13)x(18)x(26)-x(2)x(8)x(33)x(34)+x(6)x(21),
145	-x(1)x(4)x(14)x(15)-x(2)x(13)x(18)x(26)-x(2)x(8)x(20)x(28)+x(6)x(21),
146	-x(1)x(5)x(8)x(10)-x(2)x(9)x(10)x(16)-x(2)x(10)x(14)x(22)+x(6)x(11),
147	-x(1)x(8)x(11)x(26)-x(2)x(9)x(33)x(35)-x(2)x(14)x(26)x(37)+x(6)x(42),
148	-x(1)x(8)x(15)x(18)-x(2)x(9)x(20)x(29)-x(2)x(14)x(18)x(37)+x(6)x(23),
149	-x(1)x(5)x(6)x(15)-x(2)x(10)x(14)x(16)-x(2)x(10)x(14)x(17)+x(6)x(15),
150	-x(1)x(6)x(11)x(28)-x(2)x(14)x(26)x(29)-x(2)x(14)x(33)x(36)+x(6)x(28),
151	-x(1)x(6)x(15)x(34)-x(2)x(14)x(18)x(35)-x(2)x(14)x(20)x(36)+x(6)x(34),
152	-x(1)x(4)x(5)x(6)-x(2)x(8)x(10)x(11)-x(2)x(6)x(15)^2+x(5)*x(6),
153	-x(1)x(4)x(10)x(14)-x(2)x(8)x(18)x(26)-x(2)x(6)x(18)x(34)+x(6)x(15),
154	-x(1)x(4)x(10)x(14)-x(2)x(6)x(20)x(28)-x(2)x(8)x(26)x(33)+x(6)x(11),
155	-x(1)x(5)x(10)x(13)-x(2)x(14)x(15)x(16)-x(2)x(11)x(14)x(22)+x(6)x(21),
156	-x(1)x(10)x(13)x(26)-x(2)x(14)x(18)x(35)-x(2)x(14)x(26)x(37)+x(6)x(34),
157	-x(1)x(10)x(13)x(18)-x(2)x(14)x(20)x(29)-x(2)x(14)x(33)x(37)+x(6)x(23),
158	-x(1)x(5)x(8)x(15)-x(2)x(9)x(11)x(16)-x(2)x(14)x(15)x(17)+x(6)x(21),
159	-x(1)x(8)x(10)x(28)-x(2)x(9)x(26)x(29)-x(2)x(14)x(18)x(36)+x(6)x(28),
160	-x(1)x(8)x(10)x(34)-x(2)x(9)x(33)x(35)-x(2)x(14)x(20)x(36)+x(6)x(42),
161	-x(2)x(6)x(13)x(18)-x(1)x(4)^2x(32)-x(2)x(8)^2x(33)+x(4)x(32),
162	-x(1)x(4)x(13)x(18)-x(2)x(8)x(24)x(25)-x(2)x(6)x(19)x(27)+x(13)x(32),
163	-x(2)x(6)x(24)x(25)-x(1)x(4)x(8)x(33)-x(2)x(8)x(32)x(43)+x(8)x(32),
164	-x(1)x(4)x(6)x(23)-x(2)x(7)x(13)x(29)-x(2)x(8)x(32)x(44)+x(8)x(32),
165	-x(1)x(6)x(13)x(37)-x(2)x(25)x(32)x(38)-x(2)x(7)x(27)x(39)+x(25)x(32),
166	-x(1)x(6)x(8)x(24)-x(2)x(7)x(25)x(30)-x(2)x(32)^2x(38)+x(32)^2,
167	-x(1)x(4)x(8)x(23)-x(2)x(8)x(24)x(25)-x(2)x(13)x(32)x(37)+x(13)x(32),
168	-x(1)x(8)x(13)x(29)-x(2)x(25)^2x(30)-x(2)x(27)x(32)x(39)+x(27)*x(32),
169	-2x(2)x(25)x(32)x(38)-x(1)x(8)^2x(44)+x(25)*x(32),
170	-x(2)x(15)^2x(18)-x(1)x(5)^2x(32)-x(2)x(11)^2x(33)+x(5)*x(32),
171	-x(1)x(5)x(18)x(21)-x(2)x(15)x(19)x(28)-x(2)x(11)x(24)x(42)+x(21)x(32),
172	-x(1)x(5)x(21)x(33)-x(2)x(15)x(24)x(34)-x(2)x(11)x(23)x(43)+x(21)x(32),
173	-x(1)x(5)x(10)x(23)-x(2)x(15)x(20)x(29)-x(2)x(11)x(33)x(44)+x(11)x(32),
174	-x(1)x(10)x(21)x(37)-x(2)x(20)x(28)x(39)-x(2)x(33)x(38)x(42)+x(32)x(42),
175	-x(1)x(10)x(21)x(24)-x(2)x(20)x(30)x(34)-x(2)x(23)x(33)x(38)+x(23)x(32),
176	-x(1)x(5)x(10)x(23)-x(2)x(11)x(24)x(26)-x(2)x(15)x(18)x(37)+x(15)x(32),
177	-x(1)x(10)x(21)x(29)-x(2)x(18)x(28)x(39)-x(2)x(26)x(30)x(42)+x(28)x(32),
178	-x(2)x(23)x(26)x(38)-x(2)x(18)x(34)x(38)-x(1)x(10)x(21)x(44)+x(32)x(34),
179	-x(2)x(10)x(18)x(21)-x(1)x(5)^2x(32)-x(2)x(10)x(21)x(33)+x(5)*x(32),
180	-x(1)x(5)x(15)x(18)-x(2)x(10)x(19)x(28)-x(2)x(10)x(24)x(34)+x(15)x(32),
181	-x(1)x(5)x(11)x(33)-x(2)x(10)x(24)x(42)-x(2)x(10)x(23)x(43)+x(11)x(32),
182	-x(1)x(5)x(15)x(23)-x(2)x(20)x(21)x(29)-x(2)x(18)x(21)x(44)+x(21)x(32),
183	-x(1)x(15)^2x(37)-x(2)x(18)x(34)x(38)-x(2)x(20)x(28)x(39)+x(32)*x(34),
184	-x(1)x(11)x(15)x(24)-x(2)x(18)x(23)x(38)-x(2)x(20)x(30)x(42)+x(23)x(32),
185	-x(1)x(5)x(11)x(23)-x(2)x(21)x(24)x(26)-x(2)x(21)x(33)x(37)+x(21)x(32),
186	-x(1)x(11)x(15)x(29)-x(2)x(26)x(30)x(34)-x(2)x(28)x(33)x(39)+x(28)x(32),
187	-x(2)x(23)x(26)x(38)-x(2)x(33)x(38)x(42)-x(1)x(11)^2x(44)+x(32)*x(42),
188	-x(1)x(4)^2x(7)-2x(2)x(6)x(8)x(20)+x(4)*x(7),
189	-x(1)x(4)x(8)x(20)-x(2)x(6)x(19)x(25)-x(2)x(8)x(32)x(40)+x(7)x(13),
190	-x(1)x(4)x(6)x(20)-x(2)x(7)x(8)x(31)-x(2)x(6)x(32)x(40)+x(7)x(8),
191	-x(2)x(7)x(25)x(39)-x(1)x(6)x(8)x(40)-x(2)x(32)^2x(41)+x(7)*x(25),
192	-x(1)x(6)^2x(19)-2x(2)x(7)x(32)x(39)+x(7)*x(32),
193	-x(1)x(8)^2x(31)-2x(2)x(25)x(32)x(39)+x(7)*x(27),
194	-x(1)x(5)^2x(7)-x(2)x(10)x(11)x(20)-x(2)x(10)x(15)x(20)+x(5)*x(7),
195	-x(1)x(5)x(11)x(20)-x(2)x(15)x(19)x(26)-x(2)x(11)x(33)x(40)+x(7)x(21),
196	-x(1)x(5)x(15)x(20)-x(2)x(11)x(20)x(31)-x(2)x(15)x(18)x(40)+x(7)x(21),
197	-x(1)x(5)x(10)x(20)-x(2)x(10)x(20)x(31)-x(2)x(10)x(33)x(40)+x(7)x(11),
198	-x(2)x(20)x(26)x(39)-x(1)x(10)x(11)x(40)-x(2)x(33)^2x(41)+x(7)*x(42),
199	-x(1)x(10)x(15)x(19)-x(2)x(18)x(20)x(39)-x(2)x(20)x(33)x(39)+x(7)x(23),
200	-x(1)x(5)x(10)x(20)-x(2)x(10)x(19)x(26)-x(2)x(10)x(18)x(40)+x(7)x(15),
201	-x(1)x(10)x(11)x(31)-x(2)x(18)x(26)x(39)-x(2)x(26)x(33)x(39)+x(7)x(28),
202	-x(2)x(20)x(26)x(39)-x(1)x(10)x(15)x(40)-x(2)x(18)^2x(41)+x(7)*x(34),
203	-x(1)x(4)^2x(25)-2x(2)x(8)x(13)x(26)+x(4)*x(25),
204	-x(1)x(4)x(13)x(34)-x(2)x(13)x(25)x(37)-x(2)x(8)x(27)x(40)+x(13)x(25),
205	-x(2)x(13)x(32)x(35)-x(1)x(4)x(8)x(42)-x(2)x(8)x(25)x(44)+x(8)x(25),
206	-x(1)x(8)x(13)x(35)-x(2)x(25)^2x(38)-x(2)x(27)x(32)x(41)+x(25)^2,
207	-2x(2)x(25)x(32)x(38)-x(1)x(8)^2x(43)+x(25)*x(32),
208	-x(1)x(13)^2x(36)-2x(2)x(25)x(27)x(39)+x(25)*x(27),
209	-x(1)x(5)^2x(25)-x(2)x(11)x(21)x(26)-x(2)x(15)x(21)x(26)+x(5)*x(25),
210	-x(1)x(5)x(21)x(34)-x(2)x(21)x(28)x(40)-x(2)x(21)x(37)x(42)+x(21)x(25),
211	-x(2)x(21)x(23)x(35)-x(1)x(5)x(21)x(42)-x(2)x(21)x(34)x(44)+x(21)x(25),
212	-x(2)x(15)x(23)x(35)-x(1)x(5)x(11)x(42)-x(2)x(11)x(42)x(44)+x(11)x(25),
213	-x(1)x(11)x(21)x(35)-x(2)x(23)x(28)x(41)-x(2)x(38)x(42)^2+x(25)*x(42),
214	-x(2)x(23)x(34)x(38)-x(2)x(23)x(38)x(42)-x(1)x(11)x(21)x(43)+x(23)x(25),
215	-x(1)x(5)x(15)x(34)-x(2)x(15)x(34)x(37)-x(2)x(11)x(28)x(40)+x(15)x(25),
216	-x(1)x(15)x(21)x(36)-x(2)x(28)x(34)x(39)-x(2)x(28)x(39)x(42)+x(25)x(28),
217	-x(1)x(15)x(21)x(35)-x(2)x(34)^2x(38)-x(2)x(23)x(28)x(41)+x(25)*x(34),
218	-x(1)x(4)x(5)x(13)-x(2)x(13)x(15)^2-x(2)x(8)x(11)x(21)+x(5)*x(13),
219	-x(1)x(4)x(5)x(8)-x(2)x(10)x(11)x(13)-x(2)x(8)x(10)x(21)+x(5)x(8),
220	-x(1)x(4)x(5)x(8)-x(2)x(8)x(11)^2-x(2)x(6)x(15)x(21)+x(5)*x(8),
221	-x(1)x(5)^2x(25)-x(2)x(15)^2x(34)-x(2)x(11)^2x(42)+x(5)*x(25),
222	-x(2)x(10)x(11)x(23)-x(2)x(10)x(15)x(23)-x(1)x(5)^2x(32)+x(5)*x(32),
223	-x(1)x(4)x(5)x(13)-x(2)x(8)x(15)x(21)-x(2)x(6)x(21)^2+x(5)*x(13),
224	-x(1)x(5)^2x(27)-x(2)x(11)x(21)x(28)-x(2)x(15)x(21)x(28)+x(5)*x(27),
225	-x(1)x(5)^2x(25)-x(2)x(10)x(21)x(34)-x(2)x(10)x(21)x(42)+x(5)*x(25),
226	-x(1)x(4)x(6)x(13)-x(2)x(5)x(7)x(27)-x(2)x(5)x(25)*x(32)+x(5)^2,
227	-x(1)x(10)x(13)^2-x(2)x(15)x(20)x(27)-x(2)x(21)x(25)x(33)+x(5)*x(21),
228	-x(1)x(8)x(13)x(15)-x(2)x(18)x(21)x(25)-x(2)x(11)x(20)x(27)+x(5)x(21),
229	-x(1)x(6)x(8)x(21)-x(2)x(7)x(21)x(28)-x(2)x(11)x(32)x(42)+x(5)x(11),
230	-x(1)x(10)x(21)x(25)-x(2)x(20)x(28)x(34)-x(2)x(33)x(42)^2+x(5)*x(42),
231	-x(2)x(20)x(23)x(28)-x(1)x(15)x(21)x(32)-x(2)x(18)x(23)x(42)+x(5)x(23),
232	-x(1)x(6)x(13)x(15)-x(2)x(7)x(21)x(28)-x(2)x(15)x(32)x(34)+x(5)x(15),
233	-x(1)x(10)x(15)x(27)-x(2)x(20)x(28)^2-x(2)x(28)x(33)x(34)+x(5)*x(28),
234	-x(1)x(15)^2x(25)-x(2)x(18)x(34)^2-x(2)x(20)x(28)x(42)+x(5)x(34),
235	-x(1)x(4)x(8)^2-2x(2)x(5)x(25)x(32)+x(5)^2,
236	-x(1)x(8)x(10)x(13)-x(2)x(15)x(18)x(25)-x(2)x(21)x(26)x(32)+x(5)x(15),
237	-x(1)x(8)^2x(11)-x(2)x(21)x(26)x(32)-x(2)x(11)x(25)x(33)+x(5)*x(11),
238	-x(1)x(8)^2x(21)-x(2)x(11)x(23)x(25)-x(2)x(21)x(32)x(34)+x(5)*x(21),
239	-x(1)x(10)x(21)x(25)-x(2)x(18)x(34)^2-x(2)x(23)x(26)x(42)+x(5)*x(34),
240	-x(2)x(23)^2x(26)-x(1)x(11)x(21)x(32)-x(2)x(23)x(33)x(34)+x(5)*x(23),
241	-x(1)x(8)x(11)x(13)-x(2)x(15)x(23)x(25)-x(2)x(21)x(32)x(42)+x(5)x(21),
242	-x(1)x(10)x(11)x(27)-x(2)x(23)x(26)x(28)-x(2)x(18)x(28)x(42)+x(5)x(28),
243	-x(1)x(11)^2x(25)-x(2)x(23)x(26)x(34)-x(2)x(33)x(42)^2+x(5)x(42),
244	-x(1)x(4)x(8)^2-x(2)x(8)x(9)x(11)-x(2)x(10)x(13)x(14)+x(4)*x(11),
245	-x(1)x(4)x(14)x(21)-x(2)x(13)x(20)x(28)-x(2)x(8)x(23)x(42)+x(11)x(13),
246	-x(1)x(4)x(9)x(11)-x(2)x(13)x(26)x(33)-x(2)x(8)x(33)x(42)+x(8)x(11),
247	-x(1)x(5)x(21)x(26)-x(2)x(15)x(28)x(40)-x(2)x(11)x(42)x(44)+x(11)x(25),
248	-x(2)x(15)x(24)x(26)-x(1)x(5)x(11)x(33)-x(2)x(11)x(33)x(44)+x(11)x(32),
249	-x(1)x(5)x(8)x(21)-x(2)x(9)x(16)x(21)-x(2)x(14)x(21)x(22)+x(11)x(13),
250	-x(1)x(5)x(21)x(28)-x(2)x(21)x(28)x(31)-x(2)x(21)x(29)x(42)+x(11)x(27),
251	-x(2)x(21)x(33)x(35)-x(1)x(5)x(11)x(42)-x(2)x(21)x(26)x(43)+x(11)x(25),
252	-x(1)x(8)x(10)x(13)-x(2)x(10)x(20)x(27)-x(2)x(11)x(25)x(33)+x(5)x(11),
253	-x(1)x(13)x(14)x(22)-x(2)x(20)x(27)x(31)-x(2)x(23)x(25)x(43)+x(11)x(21),
254	-x(1)x(9)x(13)x(16)-x(2)x(27)x(33)x(40)-x(2)x(24)x(25)x(42)+x(11)x(21),
255	-x(1)x(10)x(11)x(21)-x(2)x(16)x(20)x(28)-x(2)x(12)x(33)*x(42)+x(11)^2,
256	-x(1)x(21)x(22)x(26)-x(2)x(28)x(31)x(40)-x(2)x(42)x(43)x(44)+x(11)x(42),
257	-x(1)x(16)x(21)x(33)-x(2)x(24)x(28)x(40)-x(2)x(24)x(42)x(44)+x(11)x(23),
258	-x(1)x(10)x(15)x(21)-x(2)x(20)x(22)x(28)-x(2)x(16)x(33)x(34)+x(11)x(15),
259	-x(1)x(15)x(22)x(28)-x(2)x(28)x(31)^2-x(2)x(29)x(34)x(43)+x(11)*x(28),
260	-x(2)x(24)x(34)x(35)-x(1)x(15)x(16)x(42)-x(2)x(28)x(40)x(43)+x(11)x(34),
261	-x(1)x(8)^2x(11)-x(2)x(10)x(23)x(25)-x(2)x(11)x(32)x(42)+x(5)*x(11),
262	-x(1)x(8)x(14)x(16)-x(2)x(20)x(25)x(29)-x(2)x(23)x(32)x(35)+x(11)x(15),
263	-x(1)x(8)x(9)x(12)-x(2)x(25)x(33)x(44)-x(2)x(32)x(42)*x(44)+x(11)^2,
264	-x(1)x(11)^2x(21)-x(2)x(16)x(23)x(34)-x(2)x(12)x(23)x(42)+x(11)*x(21),
265	-x(1)x(16)x(21)x(26)-x(2)x(29)x(34)x(40)-x(2)x(23)x(35)x(44)+x(11)x(34),
266	-x(1)x(12)x(21)x(33)-x(2)x(24)x(34)x(44)-x(2)x(23)x(44)^2+x(11)*x(23),
267	-x(1)x(11)^2x(21)-x(2)x(16)x(23)x(42)-x(2)x(22)x(23)x(42)+x(11)*x(21),
268	-x(1)x(11)x(16)x(28)-x(2)x(23)x(29)x(35)-x(2)x(29)x(31)x(42)+x(11)x(28),
269	-x(1)x(11)x(12)x(42)-x(2)x(23)x(35)x(44)-x(2)x(42)x(43)x(44)+x(11)x(42),
270	-x(1)x(4)x(6)x(13)-x(2)x(10)x(13)x(14)-x(2)x(8)x(14)x(15)+x(4)x(15),
271	-x(1)x(4)x(14)x(21)-x(2)x(13)x(18)x(34)-x(2)x(8)x(23)x(34)+x(13)x(15),
272	-x(1)x(4)x(14)x(15)-x(2)x(13)x(18)x(26)-x(2)x(8)x(20)x(28)+x(8)x(15),
273	-x(1)x(5)x(10)x(13)-x(2)x(11)x(14)x(16)-x(2)x(14)x(15)x(22)+x(8)x(15),
274	-x(1)x(5)x(21)x(26)-x(2)x(11)x(23)x(35)-x(2)x(15)x(34)x(37)+x(15)x(25),
275	-x(1)x(5)x(15)x(18)-x(2)x(11)x(20)x(29)-x(2)x(15)x(18)x(37)+x(15)x(32),
276	-x(1)x(5)x(13)x(15)-x(2)x(14)x(16)x(21)-x(2)x(14)x(17)x(21)+x(13)x(15),
277	-x(1)x(5)x(21)x(28)-x(2)x(21)x(29)x(34)-x(2)x(21)x(23)x(36)+x(15)x(27),
278	-x(1)x(5)x(15)x(34)-x(2)x(18)x(21)x(35)-x(2)x(20)x(21)x(36)+x(15)x(25),
279	-x(1)x(6)x(13)x(15)-x(2)x(15)x(18)x(25)-x(2)x(10)x(20)x(27)+x(5)x(15),
280	-x(1)x(13)x(14)x(16)-x(2)x(24)x(25)x(34)-x(2)x(18)x(27)x(40)+x(15)x(21),
281	-x(1)x(13)x(14)x(17)-x(2)x(19)x(26)x(27)-x(2)x(19)x(25)x(28)+x(15)x(21),
282	-x(1)x(10)x(15)x(21)-x(2)x(20)x(22)x(28)-x(2)x(16)x(18)x(42)+x(11)x(15),
283	-x(1)x(16)x(21)x(26)-x(2)x(28)x(37)x(40)-x(2)x(24)x(35)x(42)+x(15)x(42),
284	-x(1)x(17)x(18)x(21)-x(2)x(19)x(28)x(37)-x(2)x(19)x(29)x(42)+x(15)x(23),
285	-x(1)x(15)^3-x(2)x(16)x(20)x(28)-x(2)x(17)x(18)*x(34)+x(15)^2,
286	-x(1)x(15)x(16)x(28)-x(2)x(24)x(34)x(36)-x(2)x(28)x(29)x(40)+x(15)x(28),
287	-x(1)x(15)x(17)x(34)-x(2)x(19)x(28)x(35)-x(2)x(19)x(34)x(36)+x(15)x(34),
288	-x(1)x(6)x(8)x(21)-x(2)x(10)x(23)x(25)-x(2)x(15)x(32)x(34)+x(5)x(15),
289	-x(1)x(8)x(14)x(22)-x(2)x(18)x(25)x(37)-x(2)x(32)x(34)*x(37)+x(15)^2,
290	-x(1)x(8)x(14)x(16)-x(2)x(24)x(25)x(26)-x(2)x(28)x(32)x(40)+x(11)x(15),
291	-x(1)x(10)x(21)^2-x(2)x(16)x(23)x(34)-x(2)x(22)x(23)x(34)+x(15)*x(21),
292	-x(1)x(21)x(22)x(26)-x(2)x(23)x(35)x(37)-x(2)x(34)x(37)^2+x(15)*x(34),
293	-x(1)x(16)x(18)x(21)-x(2)x(24)x(34)x(37)-x(2)x(23)x(29)x(40)+x(15)x(23),
294	-x(1)x(11)x(15)x(21)-x(2)x(17)x(23)x(34)-x(2)x(16)x(23)x(42)+x(15)x(21),
295	-x(1)x(11)x(22)x(28)-x(2)x(23)x(36)x(37)-x(2)x(29)x(37)x(42)+x(15)x(28),
296	-x(1)x(11)x(16)x(34)-x(2)x(23)x(36)x(40)-x(2)x(24)x(35)x(42)+x(15)x(42),
297	-x(1)x(4)x(6)x(8)-x(2)x(8)x(9)x(10)-x(2)x(6)x(14)x(15)+x(4)x(10),
298	-x(1)x(5)x(8)x(15)-x(2)x(9)x(11)x(16)-x(2)x(14)x(15)x(17)+x(10)x(13),
299	-x(1)x(5)x(8)x(10)-x(2)x(10)x(14)x(16)-x(2)x(9)x(10)x(22)+x(8)x(10),
300	-x(1)x(4)x(10)x(14)-x(2)x(6)x(20)x(28)-x(2)x(8)x(26)x(33)+x(8)x(10),
301	-x(1)x(5)x(10)x(34)-x(2)x(11)x(33)x(35)-x(2)x(15)x(20)x(36)+x(10)x(25),
302	-x(1)x(5)x(10)x(18)-x(2)x(10)x(20)x(29)-x(2)x(10)x(33)x(37)+x(10)x(32),
303	-x(1)x(4)x(11)x(14)-x(2)x(6)x(23)x(34)-x(2)x(8)x(18)x(42)+x(10)x(13),
304	-x(1)x(5)x(11)x(28)-x(2)x(15)x(23)x(36)-x(2)x(11)x(29)x(42)+x(10)x(27),
305	-x(1)x(5)x(11)x(26)-x(2)x(10)x(23)x(35)-x(2)x(10)x(37)x(42)+x(10)x(25),
306	-x(1)x(6)^2x(21)-x(2)x(7)x(15)x(28)-x(2)x(10)x(32)x(42)+x(5)*x(10),
307	-x(1)x(10)x(15)x(21)-x(2)x(17)x(20)x(28)-x(2)x(16)x(33)x(42)+x(10)x(21),
308	-x(1)x(10)x(15)x(21)-x(2)x(16)x(20)x(28)-x(2)x(18)x(22)x(42)+x(10)x(21),
309	-x(1)x(6)x(14)x(22)-x(2)x(7)x(28)x(31)-x(2)x(26)x(32)x(43)+x(10)x(11),
310	-x(1)x(10)x(22)x(34)-x(2)x(20)x(31)x(36)-x(2)x(33)x(35)x(43)+x(10)x(42),
311	-x(1)x(15)x(18)x(22)-x(2)x(20)x(29)x(31)-x(2)x(18)x(37)x(43)+x(10)x(23),
312	-x(1)x(6)x(14)x(16)-x(2)x(7)x(29)x(34)-x(2)x(18)x(32)x(35)+x(10)x(15),
313	-x(1)x(10)x(16)x(28)-x(2)x(29)x(33)x(35)-x(2)x(20)x(29)x(36)+x(10)x(28),
314	-x(1)x(15)x(16)x(26)-x(2)x(20)x(29)x(35)-x(2)x(18)x(35)x(37)+x(10)x(34),
315	-x(1)x(6)x(8)x(11)-x(2)x(15)x(26)x(32)-x(2)x(10)x(25)x(33)+x(5)x(10),
316	-x(1)x(10)x(11)x(15)-x(2)x(17)x(18)x(26)-x(2)x(16)x(26)x(33)+x(10)x(15),
317	-x(1)x(10)x(11)^2-x(2)x(16)x(26)x(33)-x(2)x(22)x(26)x(33)+x(10)*x(11),
318	-x(1)x(8)x(14)x(16)-x(2)x(24)x(25)x(26)-x(2)x(28)x(32)x(40)+x(10)x(21),
319	-x(1)x(10)x(16)x(34)-x(2)x(24)x(26)x(35)-x(2)x(18)x(36)x(40)+x(10)x(34),
320	-x(1)x(11)x(16)x(18)-x(2)x(24)x(26)x(37)-x(2)x(29)x(33)x(40)+x(10)x(23),
321	-x(1)x(8)x(12)x(14)-x(2)x(18)x(25)x(44)-x(2)x(32)x(34)x(44)+x(10)x(21),
322	-x(1)x(10)x(12)x(28)-x(2)x(26)x(29)x(44)-x(2)x(18)x(36)x(44)+x(10)x(28),
323	-x(1)x(11)x(12)x(26)-x(2)x(33)x(35)x(44)-x(2)x(26)x(37)x(44)+x(10)x(42),
324	-x(2)x(14)^2x(18)-x(1)x(8)^2x(32)-x(2)x(9)^2x(33)+x(4)*x(33),
325	-x(1)x(8)x(18)x(21)-x(2)x(14)x(19)x(28)-x(2)x(9)x(24)x(42)+x(13)x(33),
326	-x(2)x(14)x(24)x(26)-x(1)x(8)x(11)x(33)-x(2)x(9)x(33)x(43)+x(8)x(33),
327	-x(1)x(8)x(10)x(23)-x(2)x(14)x(20)x(29)-x(2)x(9)x(33)x(44)+x(8)x(33),
328	-x(1)x(10)x(21)x(37)-x(2)x(20)x(28)x(39)-x(2)x(33)x(38)x(42)+x(25)x(33),
329	-x(1)x(10)x(11)x(24)-x(2)x(20)x(26)x(30)-x(2)x(33)^2x(38)+x(32)*x(33),
330	-x(1)x(8)x(11)x(23)-x(2)x(14)x(23)x(37)-x(2)x(9)x(24)x(42)+x(13)x(33),
331	-x(1)x(11)x(21)x(29)-x(2)x(23)x(28)x(39)-x(2)x(30)x(42)^2+x(27)*x(33),
332	-x(2)x(23)x(26)x(38)-x(2)x(33)x(38)x(42)-x(1)x(11)^2x(44)+x(25)*x(33),
333	-x(2)x(18)x(20)x(28)-x(1)x(10)x(21)x(32)-x(2)x(33)^2x(42)+x(5)*x(33),
334	-x(1)x(18)x(21)x(22)-x(2)x(19)x(28)x(31)-x(2)x(24)x(42)x(43)+x(21)x(33),
335	-x(1)x(16)x(21)x(33)-x(2)x(24)x(28)x(40)-x(2)x(24)x(42)x(43)+x(21)x(33),
336	-x(1)x(10)x(22)x(23)-x(2)x(20)x(29)x(31)-x(2)x(33)x(43)x(44)+x(11)x(33),
337	-x(1)x(22)^2x(37)-x(2)x(31)^2x(39)-x(2)x(38)x(43)^2+x(33)*x(42),
338	-x(1)x(16)x(22)x(24)-x(2)x(30)x(31)x(40)-x(2)x(24)x(38)x(43)+x(23)x(33),
339	-x(1)x(10)x(16)x(23)-x(2)x(24)x(33)x(35)-x(2)x(20)x(29)x(37)+x(15)x(33),
340	-x(1)x(16)x(22)x(29)-x(2)x(29)x(31)x(39)-x(2)x(30)x(35)x(43)+x(28)x(33),
341	-x(2)x(24)x(35)x(38)-x(2)x(29)x(38)x(40)-x(1)x(16)^2x(44)+x(33)*x(34),
342	-x(2)x(18)x(23)x(26)-x(1)x(11)^2x(32)-x(2)x(33)^2x(42)+x(5)x(33),
343	-x(1)x(11)x(16)x(18)-x(2)x(19)x(26)x(29)-x(2)x(24)x(33)x(35)+x(15)x(33),
344	-x(1)x(11)x(12)x(33)-x(2)x(24)x(26)x(44)-x(2)x(33)x(43)x(44)+x(11)x(33),
345	-x(1)x(11)x(16)x(23)-x(2)x(23)x(29)x(40)-x(2)x(24)x(42)x(44)+x(21)x(33),
346	-x(1)x(16)^2x(37)-x(2)x(24)x(35)x(38)-x(2)x(29)x(39)x(40)+x(33)*x(34),
347	-x(1)x(12)x(16)x(24)-x(2)x(24)x(38)x(44)-x(2)x(30)x(40)x(44)+x(23)x(33),
348	-x(1)x(11)x(12)x(23)-x(2)x(23)x(37)x(44)-x(2)x(24)x(42)x(44)+x(21)x(33),
349	-x(1)x(12)x(16)x(29)-x(2)x(30)x(35)x(44)-x(2)x(29)x(39)x(44)+x(28)x(33),
350	-x(1)x(12)^2x(44)-2x(2)x(38)x(44)^2+x(33)x(42),
351	-x(1)x(7)x(8)x(13)-x(2)x(9)x(14)x(20)-x(2)x(14)^2x(20)+x(4)*x(20),
352	-x(1)x(8)x(20)x(21)-x(2)x(14)x(19)x(34)-x(2)x(9)x(23)x(40)+x(13)x(20),
353	-x(1)x(8)x(15)x(20)-x(2)x(9)x(20)x(31)-x(2)x(14)x(18)x(40)+x(8)x(20),
354	-x(1)x(10)x(13)x(20)-x(2)x(14)x(20)x(31)-x(2)x(14)x(33)x(40)+x(8)x(20),
355	-x(2)x(20)x(34)x(39)-x(1)x(10)x(21)x(40)-x(2)x(23)x(33)x(41)+x(20)x(25),
356	-x(1)x(10)x(15)x(19)-x(2)x(18)x(20)x(39)-x(2)x(20)x(33)x(39)+x(20)x(32),
357	-x(1)x(11)x(13)x(20)-x(2)x(14)x(23)x(40)-x(2)x(14)x(19)x(42)+x(13)x(20),
358	-x(1)x(11)x(21)x(31)-x(2)x(23)x(34)x(39)-x(2)x(23)x(39)x(42)+x(20)x(27),
359	-x(1)x(11)x(15)x(40)-x(2)x(18)x(23)x(41)-x(2)x(20)x(39)x(42)+x(20)x(25),
360	-x(1)x(7)x(15)x(21)-x(2)x(20)^2x(28)-x(2)x(18)x(20)x(42)+x(5)*x(20),
361	-x(1)x(16)x(20)x(21)-x(2)x(19)x(28)x(40)-x(2)x(24)x(40)x(42)+x(20)x(21),
362	-x(1)x(17)x(20)x(21)-x(2)x(19)x(28)x(40)-x(2)x(19)x(31)x(42)+x(20)x(21),
363	-x(1)x(15)x(20)x(22)-x(2)x(20)x(31)^2-x(2)x(18)x(40)x(43)+x(11)*x(20),
364	-x(1)x(16)x(22)x(40)-x(2)x(31)x(39)x(40)-x(2)x(24)x(41)x(43)+x(20)x(42),
365	-x(1)x(17)x(19)x(22)-x(2)x(19)x(31)x(39)-x(2)x(19)x(39)x(43)+x(20)x(23),
366	-x(1)x(15)x(16)x(20)-x(2)x(18)x(19)x(35)-x(2)x(20)x(29)x(40)+x(15)x(20),
367	-x(1)x(16)^2x(31)-x(2)x(24)x(35)x(39)-x(2)x(29)x(39)x(40)+x(20)*x(28),
368	-x(2)x(19)x(35)x(39)-x(1)x(16)x(17)x(40)-x(2)x(19)x(29)x(41)+x(20)x(34),
369	-x(1)x(7)x(11)x(21)-x(2)x(20)x(23)x(26)-x(2)x(20)x(33)x(34)+x(5)x(20),
370	-x(1)x(11)x(20)x(22)-x(2)x(19)x(26)x(37)-x(2)x(33)x(37)x(40)+x(15)x(20),
371	-x(1)x(11)x(16)x(20)-x(2)x(24)x(26)x(40)-x(2)x(31)x(33)x(40)+x(11)x(20),
372	-x(1)x(16)x(20)x(21)-x(2)x(23)x(31)x(40)-x(2)x(24)x(34)x(40)+x(20)x(21),
373	-x(1)x(16)x(22)x(40)-x(2)x(37)x(39)x(40)-x(2)x(24)x(37)x(41)+x(20)x(34),
374	-x(1)x(16)^2x(19)-2x(2)x(24)x(39)x(40)+x(20)*x(23),
375	-x(1)x(12)x(20)x(21)-x(2)x(19)x(34)x(44)-x(2)x(23)x(40)x(44)+x(20)x(21),
376	-x(1)x(12)x(22)x(31)-2x(2)x(37)x(39)x(44)+x(20)x(28),
377	-x(1)x(12)x(16)x(40)-x(2)x(39)x(40)x(44)-x(2)x(24)x(41)x(44)+x(20)x(42),
378	-x(1)x(4)x(6)x(8)-x(2)x(8)x(10)x(14)-x(2)x(6)x(11)x(14)+x(4)x(10),
379	-x(2)x(14)x(15)x(16)-x(1)x(5)x(6)x(21)-x(2)x(11)x(14)x(22)+x(10)x(13),
380	-x(1)x(5)x(6)x(11)-x(2)x(10)x(12)x(14)-x(2)x(10)x(14)x(16)+x(8)x(10),
381	-x(1)x(4)x(9)x(10)-x(2)x(8)x(26)x(33)-x(2)x(6)x(18)x(42)+x(8)x(10),
382	-x(2)x(15)x(18)x(35)-x(1)x(5)x(10)x(42)-x(2)x(11)x(26)x(43)+x(10)x(25),
383	-x(2)x(10)x(24)x(26)-x(1)x(5)x(10)x(33)-x(2)x(10)x(18)x(44)+x(10)x(32),
384	-x(1)x(4)x(14)x(15)-x(2)x(8)x(20)x(28)-x(2)x(6)x(23)x(34)+x(10)x(13),
385	-x(1)x(5)x(15)x(28)-x(2)x(11)x(28)x(31)-x(2)x(15)x(29)x(34)+x(10)x(27),
386	-x(1)x(5)x(15)x(26)-x(2)x(10)x(28)x(40)-x(2)x(10)x(34)x(44)+x(10)x(25),
387	-x(1)x(6)x(8)x(15)-x(2)x(7)x(11)x(28)-x(2)x(10)x(32)x(34)+x(5)x(10),
388	-x(1)x(10)x(15)x(21)-x(2)x(16)x(20)x(28)-x(2)x(22)x(33)x(34)+x(10)x(21),
389	-x(1)x(11)x(15)^2-x(2)x(12)x(20)x(28)-x(2)x(16)x(18)x(34)+x(10)*x(21),
390	-x(1)x(6)x(9)x(16)-x(2)x(32)x(33)x(35)-x(2)x(7)x(29)x(42)+x(10)x(11),
391	-x(2)x(20)x(29)x(35)-x(1)x(10)x(16)x(42)-x(2)x(33)x(35)x(43)+x(10)x(42),
392	-x(1)x(15)x(16)x(33)-x(2)x(18)x(24)x(35)-x(2)x(20)x(29)x(44)+x(10)x(23),
393	-x(1)x(6)x(14)x(17)-x(2)x(7)x(23)x(36)-x(2)x(20)x(32)x(36)+x(10)x(15),
394	-x(1)x(10)x(17)x(28)-x(2)x(20)x(29)x(36)-x(2)x(31)x(33)x(36)+x(10)x(28),
395	-x(1)x(15)x(17)x(26)-x(2)x(18)x(36)x(40)-x(2)x(20)x(36)x(44)+x(10)x(34),
396	-x(1)x(8)^2x(10)-x(2)x(10)x(18)x(25)-x(2)x(11)x(26)x(32)+x(5)*x(10),
397	-x(1)x(10)^2x(21)-x(2)x(16)x(18)x(26)-x(2)x(18)x(22)x(26)+x(10)*x(15),
398	-x(1)x(10)x(11)^2-x(2)x(16)x(18)x(26)-x(2)x(12)x(26)x(33)+x(10)*x(11),
399	-x(1)x(8)x(9)x(22)-x(2)x(25)x(33)x(37)-x(2)x(32)x(37)x(42)+x(10)x(21),
400	-x(2)x(18)x(35)x(37)-x(1)x(10)x(22)x(42)-x(2)x(26)x(37)x(43)+x(10)x(34),
401	-x(1)x(11)x(22)x(33)-x(2)x(24)x(26)x(37)-x(2)x(33)x(37)x(44)+x(10)x(23),
402	-x(1)x(8)x(14)x(16)-x(2)x(20)x(25)x(29)-x(2)x(23)x(32)x(35)+x(10)x(21),
403	-x(1)x(10)x(16)x(28)-x(2)x(26)x(29)x(31)-x(2)x(18)x(29)x(35)+x(10)x(28),
404	-x(1)x(11)x(16)x(26)-x(2)x(26)x(29)x(40)-x(2)x(33)x(35)x(44)+x(10)x(42),
405	-x(1)x(6)x(8)x(25)-x(2)x(9)x(14)x(26)-x(2)x(14)^2x(26)+x(4)*x(26),
406	-x(1)x(6)x(21)x(34)-x(2)x(14)x(28)x(40)-x(2)x(14)x(37)x(42)+x(13)x(26),
407	-x(2)x(14)x(33)x(35)-x(1)x(6)x(11)x(42)-x(2)x(14)x(26)x(44)+x(8)x(26),
408	-x(2)x(14)x(18)x(35)-x(1)x(8)x(10)x(42)-x(2)x(9)x(26)x(44)+x(8)x(26),
409	-x(1)x(10)x(21)x(35)-x(2)x(18)x(28)x(41)-x(2)x(26)x(38)x(42)+x(25)x(26),
410	-x(2)x(18)x(26)x(38)-x(2)x(26)x(33)x(38)-x(1)x(10)x(11)x(43)+x(26)x(32),
411	-x(1)x(8)x(15)x(34)-x(2)x(14)x(34)x(37)-x(2)x(9)x(28)x(40)+x(13)x(26),
412	-x(1)x(15)x(21)x(36)-x(2)x(28)x(34)x(39)-x(2)x(28)x(39)x(42)+x(26)x(27),
413	-x(1)x(11)x(15)x(35)-x(2)x(26)x(34)x(38)-x(2)x(28)x(33)x(41)+x(25)x(26),
414	-x(1)x(10)x(15)x(25)-x(2)x(20)x(26)x(28)-x(2)x(26)x(33)x(34)+x(5)x(26),
415	-x(1)x(15)x(22)x(34)-x(2)x(28)x(31)x(40)-x(2)x(34)x(37)x(43)+x(21)x(26),
416	-x(2)x(24)x(34)x(35)-x(1)x(15)x(16)x(42)-x(2)x(28)x(40)x(44)+x(21)x(26),
417	-x(2)x(20)x(29)x(35)-x(1)x(10)x(16)x(42)-x(2)x(33)x(35)x(44)+x(11)x(26),
418	-x(1)x(16)x(22)x(35)-x(2)x(29)x(31)x(41)-x(2)x(35)x(38)x(43)+x(26)x(42),
419	-x(2)x(24)x(35)x(38)-x(2)x(29)x(38)x(40)-x(1)x(16)^2x(43)+x(23)*x(26),
420	-x(1)x(10)x(17)x(34)-x(2)x(20)x(36)x(37)-x(2)x(33)x(36)x(40)+x(15)x(26),
421	-x(1)x(17)x(22)x(36)-x(2)x(31)x(36)x(39)-x(2)x(36)x(39)x(43)+x(26)x(28),
422	-x(1)x(16)x(17)x(35)-x(2)x(36)x(38)x(40)-x(2)x(24)x(36)x(41)+x(26)x(34),
423	-x(1)x(10)x(11)x(25)-x(2)x(23)x(26)^2-x(2)x(18)x(26)x(42)+x(5)*x(26),
424	-x(1)x(10)x(16)x(34)-x(2)x(18)x(35)x(37)-x(2)x(26)x(29)x(40)+x(15)x(26),
425	-x(1)x(10)x(12)x(42)-x(2)x(18)x(35)x(44)-x(2)x(26)x(44)^2+x(11)*x(26),
426	-x(2)x(23)x(35)x(37)-x(1)x(11)x(22)x(42)-x(2)x(37)x(42)x(44)+x(21)x(26),
427	-x(1)x(16)x(22)x(35)-x(2)x(35)x(37)x(38)-x(2)x(29)x(37)x(41)+x(26)x(34),
428	-x(1)x(12)x(22)x(43)-2x(2)x(37)x(38)x(44)+x(23)x(26),
429	-x(1)x(11)x(16)x(34)-x(2)x(23)x(35)x(37)-x(2)x(29)x(40)x(42)+x(21)x(26),
430	-x(1)x(16)^2x(36)-2x(2)x(29)x(35)x(39)+x(26)*x(28),
431	-x(1)x(12)x(16)x(35)-x(2)x(35)x(38)x(44)-x(2)x(29)x(41)x(44)+x(26)x(42),
432	-x(2)x(14)^2x(18)-x(1)x(6)x(13)x(32)-x(2)x(14)^2x(33)+x(4)x(18),
433	-x(1)x(6)x(21)x(23)-x(2)x(14)x(24)x(34)-x(2)x(14)x(23)x(37)+x(13)x(18),
434	-x(1)x(6)x(15)x(23)-x(2)x(14)x(20)x(29)-x(2)x(14)x(18)x(44)+x(8)x(18),
435	-x(2)x(14)x(24)x(26)-x(1)x(10)x(13)x(33)-x(2)x(14)x(18)x(43)+x(8)x(18),
436	-x(2)x(23)x(26)x(38)-x(2)x(18)x(34)x(38)-x(1)x(10)x(21)x(44)+x(18)x(25),
437	-x(1)x(10)x(15)x(24)-x(2)x(20)x(26)x(30)-x(2)x(18)^2x(38)+x(18)*x(32),
438	-x(1)x(13)x(15)x(18)-x(2)x(14)x(19)x(28)-x(2)x(14)x(24)x(34)+x(13)x(18),
439	-x(1)x(15)x(21)x(29)-x(2)x(30)x(34)^2-x(2)x(23)x(28)x(39)+x(18)*x(27),
440	-x(1)x(15)^2x(37)-x(2)x(18)x(34)x(38)-x(2)x(20)x(28)x(39)+x(18)*x(25),
441	-x(1)x(15)^2x(32)-x(2)x(20)x(28)x(33)-x(2)x(18)^2x(34)+x(5)x(18),
442	-x(1)x(15)x(16)x(23)-x(2)x(24)x(34)x(37)-x(2)x(24)x(28)x(40)+x(18)x(21),
443	-x(1)x(15)x(17)x(23)-x(2)x(19)x(29)x(34)-x(2)x(19)x(28)x(44)+x(18)x(21),
444	-x(1)x(15)x(16)x(33)-x(2)x(18)x(24)x(35)-x(2)x(20)x(29)x(43)+x(11)x(18),
445	-x(2)x(24)x(35)x(38)-x(2)x(29)x(38)x(40)-x(1)x(16)^2x(44)+x(18)*x(42),
446	-x(1)x(16)x(17)x(24)-x(2)x(19)x(30)x(35)-x(2)x(19)x(29)x(38)+x(18)x(23),
447	-x(1)x(15)x(17)x(18)-x(2)x(18)x(19)x(36)-x(2)x(20)x(24)x(36)+x(15)x(18),
448	-x(1)x(16)x(17)x(29)-x(2)x(24)x(36)x(39)-x(2)x(30)x(36)x(40)+x(18)x(28),
449	-x(1)x(17)^2x(37)-x(2)x(19)x(36)x(38)-x(2)x(19)x(36)x(39)+x(18)*x(34),
450	-x(1)x(10)x(21)x(32)-x(2)x(23)x(26)x(33)-x(2)x(18)^2x(34)+x(5)*x(18),
451	-x(1)x(10)x(22)x(23)-x(2)x(24)x(26)x(37)-x(2)x(18)x(37)^2+x(15)*x(18),
452	-x(1)x(10)x(16)x(23)-x(2)x(18)x(29)x(40)-x(2)x(24)x(26)x(44)+x(11)x(18),
453	-x(1)x(21)x(22)x(33)-x(2)x(24)x(34)x(37)-x(2)x(23)x(37)x(43)+x(18)x(21),
454	-2x(2)x(37)^2x(38)-x(1)x(22)^2x(44)+x(18)x(34),
455	-x(1)x(16)x(22)x(24)-x(2)x(24)x(37)x(38)-x(2)x(30)x(37)x(40)+x(18)x(23),
456	-x(1)x(16)x(18)x(21)-x(2)x(19)x(29)x(34)-x(2)x(23)x(24)x(35)+x(18)x(21),
457	-x(1)x(16)x(22)x(29)-x(2)x(30)x(35)x(37)-x(2)x(29)x(37)x(39)+x(18)x(28),
458	-x(1)x(16)^2x(37)-x(2)x(24)x(35)x(38)-x(2)x(29)x(39)x(40)+x(18)*x(42),
459	-x(1)x(3)x(4)^2-2x(2)x(4)*x(5)^2+x(8)^2,
460	-x(1)x(3)x(6)x(13)-x(2)x(4)x(15)^2-x(2)x(4)x(10)x(21)+x(8)*x(14),
461	-x(1)x(3)x(8)^2-x(2)x(4)x(11)^2-x(2)x(4)x(10)x(21)+x(8)x(9),
462	-x(1)x(4)^2x(8)-x(2)x(5)x(8)x(11)-x(2)x(5)x(6)x(21)+x(8)*x(11),
463	-x(1)x(4)x(6)x(25)-x(2)x(6)x(15)x(34)-x(2)x(8)x(10)x(42)+x(8)x(26),
464	-x(2)x(8)x(10)x(23)-x(2)x(6)x(11)x(23)-x(1)x(4)x(8)x(32)+x(8)x(33),
465	-x(1)x(4)^2x(13)-x(2)x(5)x(13)x(15)-x(2)x(5)x(8)x(21)+x(8)*x(21),
466	-x(1)x(4)x(6)x(27)-x(2)x(10)x(13)x(28)-x(2)x(8)x(15)x(28)+x(8)x(28),
467	-x(1)x(4)x(8)x(25)-x(2)x(10)x(13)x(34)-x(2)x(8)x(11)x(42)+x(8)x(42),
468	-x(1)x(4)^2x(8)-x(2)x(5)x(8)x(11)-x(2)x(5)x(10)x(13)+x(8)*x(11),
469	-x(2)x(13)x(15)x(18)-x(1)x(4)x(13)x(32)-x(2)x(8)x(21)x(33)+x(8)x(23),
470	-x(1)x(4)x(8)x(25)-x(2)x(11)x(13)x(26)-x(2)x(8)x(21)x(26)+x(8)x(42),
471	-x(1)x(8)^3-x(2)x(9)x(11)^2-x(2)x(10)x(14)x(21)+x(8)*x(12),
472	-x(1)x(8)x(25)x(32)-x(2)x(14)x(18)x(34)-x(2)x(9)x(33)x(42)+x(8)x(44),
473	-x(2)x(9)x(23)x(26)-x(2)x(14)x(23)x(26)-x(1)x(8)x(25)x(32)+x(8)x(44),
474	-x(1)x(6)x(8)x(13)-x(2)x(11)x(14)x(15)-x(2)x(10)x(14)x(21)+x(8)x(16),
475	-x(2)x(14)x(18)x(28)-x(1)x(6)x(27)x(32)-x(2)x(14)x(28)x(33)+x(8)x(29),
476	-x(1)x(6)x(25)^2-x(2)x(14)x(26)x(34)-x(2)x(14)x(26)x(42)+x(8)*x(35),
477	-x(1)x(4)^2x(6)-x(2)x(5)x(8)x(10)-x(2)x(5)x(6)x(15)+x(8)*x(10),
478	-x(1)x(4)x(7)x(13)-x(2)x(8)x(15)x(20)-x(2)x(6)x(20)x(21)+x(8)x(20),
479	-x(2)x(6)x(18)x(21)-x(1)x(4)x(8)x(32)-x(2)x(8)x(11)x(33)+x(8)x(33),
480	-x(1)x(7)x(13)x(25)-x(2)x(14)x(20)x(34)-x(2)x(14)x(20)x(42)+x(8)x(40),
481	-x(2)x(14)x(18)x(23)-x(1)x(13)x(32)^2-x(2)x(14)x(23)x(33)+x(8)*x(24),
482	-x(1)x(6)x(8)x(13)-x(2)x(14)x(15)^2-x(2)x(9)x(10)x(21)+x(8)*x(22),
483	-x(1)x(7)x(8)x(27)-x(2)x(9)x(20)x(28)-x(2)x(14)x(20)x(28)+x(8)x(31),
484	-x(1)x(8)x(25)x(32)-x(2)x(14)x(18)x(34)-x(2)x(9)x(33)x(42)+x(8)x(43),
485	-x(1)x(3)x(14)^2-x(2)x(4)x(23)x(26)-x(2)x(4)x(20)x(28)+x(9)*x(14),
486	-x(1)x(3)x(9)^2-2x(2)x(4)x(33)x(42)+x(9)^2,
487	-x(1)x(4)x(8)x(11)-x(2)x(8)x(11)x(12)-x(2)x(6)x(16)x(21)+x(9)x(11),
488	-x(1)x(4)x(14)x(26)-x(2)x(6)x(28)x(40)-x(2)x(8)x(26)x(44)+x(9)x(26),
489	-x(1)x(4)x(9)x(33)-x(2)x(6)x(24)x(42)-x(2)x(8)x(33)x(44)+x(9)x(33),
490	-x(2)x(11)x(13)x(16)-x(1)x(4)x(8)x(21)-x(2)x(8)x(21)x(22)+x(9)x(21),
491	-x(1)x(4)x(14)x(28)-x(2)x(13)x(26)x(29)-x(2)x(8)x(28)x(31)+x(9)x(28),
492	-x(2)x(13)x(33)x(35)-x(1)x(4)x(9)x(42)-x(2)x(8)x(42)x(43)+x(9)x(42),
493	-x(1)x(4)x(8)x(11)-x(2)x(8)x(11)x(12)-x(2)x(10)x(13)x(16)+x(9)x(11),
494	-x(1)x(4)x(14)x(23)-x(2)x(13)x(20)x(29)-x(2)x(8)x(23)x(44)+x(9)x(23),
495	-x(2)x(13)x(33)x(35)-x(1)x(4)x(9)x(42)-x(2)x(8)x(42)x(44)+x(9)x(42),
496	-x(1)x(8)x(11)^2-x(2)x(9)x(12)^2-x(2)x(14)x(16)^2+x(9)*x(12),
497	-x(1)x(8)x(23)x(26)-x(2)x(14)x(29)x(40)-x(2)x(9)x(44)^2+x(9)*x(44),
498	-x(2)x(14)x(24)x(35)-x(1)x(8)x(33)x(42)-x(2)x(9)x(44)^2+x(9)*x(44),
499	-x(2)x(12)x(14)x(16)-x(1)x(6)x(11)x(21)-x(2)x(14)x(16)x(22)+x(9)x(16),
500	-x(1)x(6)x(23)x(28)-x(2)x(14)x(29)x(31)-x(2)x(14)x(29)x(44)+x(9)x(29),
501	-x(1)x(6)x(42)^2-x(2)x(14)x(35)x(43)-x(2)x(14)x(35)x(44)+x(9)*x(35),
502	-x(1)x(4)x(8)x(10)-x(2)x(6)x(11)x(16)-x(2)x(8)x(10)x(22)+x(9)x(10),
503	-x(1)x(4)x(14)x(20)-x(2)x(8)x(20)x(31)-x(2)x(6)x(23)x(40)+x(9)x(20),
504	-x(1)x(4)x(9)x(33)-x(2)x(6)x(24)x(42)-x(2)x(8)x(33)x(43)+x(9)x(33),
505	-x(1)x(10)x(11)x(13)-x(2)x(12)x(14)x(16)-x(2)x(14)x(16)x(22)+x(9)x(16),
506	-x(1)x(13)x(20)x(26)-x(2)x(14)x(31)x(40)-x(2)x(14)x(40)x(44)+x(9)x(40),
507	-x(1)x(13)x(33)^2-x(2)x(14)x(24)x(43)-x(2)x(14)x(24)x(44)+x(9)*x(24),
508	-x(2)x(14)x(16)^2-x(1)x(8)x(10)x(21)-x(2)x(9)x(22)^2+x(9)x(22),
509	-x(1)x(8)x(20)x(28)-x(2)x(9)x(31)^2-x(2)x(14)x(29)x(40)+x(9)*x(31),
510	-x(2)x(14)x(24)x(35)-x(1)x(8)x(33)x(42)-x(2)x(9)x(43)^2+x(9)*x(43),
511	-x(1)x(3)x(14)^2-2x(2)x(4)x(18)x(34)+x(14)^2,
512	-x(1)x(4)x(10)x(13)-x(2)x(8)x(15)x(16)-x(2)x(6)x(21)x(22)+x(11)x(14),
513	-x(1)x(4)x(14)x(26)-x(2)x(8)x(18)x(35)-x(2)x(6)x(34)x(37)+x(14)x(26),
514	-x(1)x(4)x(14)x(18)-x(2)x(8)x(20)x(29)-x(2)x(6)x(23)x(37)+x(14)x(33),
515	-x(1)x(4)x(13)x(15)-x(2)x(13)x(15)x(17)-x(2)x(8)x(16)x(21)+x(14)x(21),
516	-x(1)x(4)x(14)x(28)-x(2)x(8)x(29)x(34)-x(2)x(13)x(18)x(36)+x(14)x(28),
517	-x(1)x(4)x(14)x(34)-x(2)x(8)x(23)x(35)-x(2)x(13)x(20)x(36)+x(14)x(42),
518	-x(2)x(8)x(15)x(16)-x(1)x(4)x(6)x(21)-x(2)x(10)x(13)x(22)+x(11)x(14),
519	-x(1)x(4)x(14)x(23)-x(2)x(8)x(24)x(34)-x(2)x(13)x(18)x(37)+x(14)x(23),
520	-x(1)x(4)x(14)x(34)-x(2)x(13)x(26)x(37)-x(2)x(8)x(28)x(40)+x(14)x(42),
521	-x(2)x(9)x(16)^2-x(1)x(8)x(10)x(21)-x(2)x(14)x(22)^2+x(12)x(14),
522	-x(1)x(8)x(23)x(26)-x(2)x(9)x(24)x(35)-x(2)x(14)x(37)^2+x(14)*x(44),
523	-x(1)x(8)x(18)x(34)-x(2)x(14)x(37)^2-x(2)x(9)x(29)x(40)+x(14)*x(44),
524	-x(2)x(14)x(16)x(17)-x(1)x(6)x(15)x(21)-x(2)x(14)x(16)x(22)+x(14)x(16),
525	-x(1)x(6)x(23)x(28)-x(2)x(14)x(24)x(36)-x(2)x(14)x(29)x(37)+x(14)x(29),
526	-x(1)x(6)x(34)^2-x(2)x(14)x(35)x(37)-x(2)x(14)x(36)x(40)+x(14)*x(35),
527	-x(1)x(4)x(6)x(15)-x(2)x(8)x(10)x(16)-x(2)x(6)x(15)x(17)+x(10)x(14),
528	-x(1)x(4)x(14)x(20)-x(2)x(6)x(19)x(34)-x(2)x(8)x(18)x(40)+x(14)x(20),
529	-x(1)x(4)x(14)x(18)-x(2)x(8)x(24)x(26)-x(2)x(6)x(19)x(28)+x(14)x(33),
530	-x(1)x(10)x(13)x(15)-x(2)x(14)x(16)x(17)-x(2)x(14)x(16)x(22)+x(14)x(16),
531	-x(1)x(13)x(20)x(26)-x(2)x(14)x(19)x(35)-x(2)x(14)x(37)x(40)+x(14)x(40),
532	-x(1)x(13)x(18)^2-x(2)x(14)x(19)x(29)-x(2)x(14)x(24)x(37)+x(14)*x(24),
533	-x(1)x(8)x(15)^2-x(2)x(9)x(16)^2-x(2)x(14)x(17)^2+x(14)*x(22),
534	-x(1)x(8)x(20)x(28)-x(2)x(14)x(19)x(36)-x(2)x(9)x(29)x(40)+x(14)x(31),
535	-x(1)x(8)x(18)x(34)-x(2)x(9)x(24)x(35)-x(2)x(14)x(19)x(36)+x(14)x(43),
536	-x(1)x(4)x(6)x(14)-x(2)x(5)x(7)x(28)-x(2)x(5)x(26)x(32)+x(10)x(11),
537	-x(1)x(6)^2x(34)-x(2)x(10)x(32)x(35)-x(2)x(7)x(15)x(36)+x(10)*x(26),
538	-x(1)x(6)x(8)x(18)-x(2)x(7)x(11)x(29)-x(2)x(10)x(32)x(37)+x(10)x(33),
539	-x(1)x(4)x(8)x(14)-x(2)x(5)x(18)x(25)-x(2)x(5)x(32)x(34)+x(10)x(21),
540	-x(1)x(6)x(8)x(28)-x(2)x(10)x(25)x(29)-x(2)x(15)x(32)x(36)+x(10)x(28),
541	-x(1)x(8)^2x(26)-x(2)x(11)x(32)x(35)-x(2)x(10)x(25)x(37)+x(10)*x(42),
542	-x(1)x(5)x(6)x(8)-x(2)x(10)x(11)^2-x(2)x(10)x(15)^2+x(10)x(11),
543	-x(2)x(15)x(17)x(18)-x(1)x(5)x(15)x(32)-x(2)x(11)x(16)x(33)+x(10)x(23),
544	-x(1)x(5)x(10)x(25)-x(2)x(15)x(16)x(26)-x(2)x(11)x(22)x(26)+x(10)x(42),
545	-x(1)x(8)x(10)x(14)-x(2)x(10)x(20)x(28)-x(2)x(11)x(26)x(33)+x(10)x(12),
546	-x(1)x(10)x(32)x(34)-x(2)x(33)^2x(35)-x(2)x(18)x(20)x(36)+x(10)*x(44),
547	-x(1)x(10)x(18)x(25)-x(2)x(20)x(26)x(29)-x(2)x(26)x(33)x(37)+x(10)x(44),
548	-x(1)x(8)x(10)x(14)-x(2)x(11)x(18)x(26)-x(2)x(10)x(18)x(34)+x(10)x(16),
549	-x(1)x(10)x(28)x(32)-x(2)x(26)x(29)x(33)-x(2)x(18)^2x(36)+x(10)*x(29),
550	-x(1)x(10)x(25)x(26)-x(2)x(18)x(26)x(35)-x(2)x(26)^2x(37)+x(10)*x(35),
551	-x(1)x(5)x(6)^2-2x(2)x(10)^2*x(15)+x(10)^2,
552	-x(1)x(5)x(7)x(15)-x(2)x(10)x(16)x(20)-x(2)x(10)x(17)x(20)+x(10)x(20),
553	-x(2)x(10)x(18)x(22)-x(1)x(5)x(10)x(32)-x(2)x(10)x(16)x(33)+x(10)x(33),
554	-x(1)x(6)x(14)x(15)-x(2)x(15)x(18)x(26)-x(2)x(10)x(20)x(28)+x(10)x(16),
555	-x(1)x(7)x(15)x(34)-x(2)x(18)x(20)x(35)-x(2)x(20)^2x(36)+x(10)*x(40),
556	-x(1)x(15)x(18)x(32)-x(2)x(20)x(29)x(33)-x(2)x(18)^2x(37)+x(10)*x(24),
557	-x(1)x(6)x(11)x(14)-x(2)x(15)x(18)x(26)-x(2)x(10)x(33)x(34)+x(10)x(22),
558	-x(1)x(7)x(11)x(28)-x(2)x(20)x(26)x(29)-x(2)x(20)x(33)x(36)+x(10)x(31),
559	-x(1)x(11)x(26)x(32)-x(2)x(33)^2x(35)-x(2)x(18)x(26)x(37)+x(10)*x(43),
560	-x(1)x(6)x(8)x(23)-x(2)x(7)x(21)x(29)-x(2)x(11)x(32)x(44)+x(11)x(33),
561	-x(1)x(6)x(14)x(37)-x(2)x(26)x(32)x(38)-x(2)x(7)x(28)x(39)+x(26)x(33),
562	-x(1)x(6)x(9)x(24)-x(2)x(32)x(33)x(38)-x(2)x(7)x(30)*x(42)+x(33)^2,
563	-x(1)x(8)^2x(23)-x(2)x(11)x(24)x(25)-x(2)x(21)x(32)x(37)+x(21)*x(33),
564	-x(1)x(8)x(14)x(29)-x(2)x(25)x(26)x(30)-x(2)x(28)x(32)x(39)+x(28)x(33),
565	-x(2)x(25)x(33)x(38)-x(2)x(32)x(38)x(42)-x(1)x(8)x(9)x(44)+x(33)x(42),
566	-x(2)x(15)x(16)x(18)-x(1)x(5)x(11)x(32)-x(2)x(11)x(12)x(33)+x(11)x(33),
567	-x(1)x(5)x(18)x(23)-x(2)x(15)x(19)x(29)-x(2)x(11)x(24)x(44)+x(23)x(33),
568	-x(2)x(15)x(24)x(35)-x(1)x(5)x(33)x(42)-x(2)x(11)x(43)x(44)+x(33)x(42),
569	-x(1)x(10)x(11)x(23)-x(2)x(16)x(20)x(29)-x(2)x(12)x(33)x(44)+x(12)x(33),
570	-x(1)x(10)x(23)x(37)-x(2)x(20)x(29)x(39)-x(2)x(33)x(38)x(44)+x(33)x(44),
571	-x(2)x(20)x(30)x(35)-x(1)x(10)x(24)x(42)-x(2)x(33)x(38)x(44)+x(33)x(44),
572	-x(1)x(10)x(11)x(23)-x(2)x(12)x(24)x(26)-x(2)x(16)x(18)x(37)+x(16)x(33),
573	-x(1)x(10)x(23)x(29)-x(2)x(18)x(29)x(39)-x(2)x(26)x(30)x(44)+x(29)x(33),
574	-x(2)x(18)x(35)x(38)-x(2)x(26)x(38)x(44)-x(1)x(10)x(42)x(44)+x(33)x(35),
575	-x(1)x(5)x(18)x(20)-x(2)x(10)x(19)x(31)-x(2)x(10)x(24)x(40)+x(20)x(33),
576	-x(1)x(5)x(33)^2-2x(2)x(10)x(24)x(43)+x(33)^2,
577	-x(1)x(10)x(15)x(23)-x(2)x(20)x(22)x(29)-x(2)x(16)x(18)x(44)+x(16)x(33),
578	-x(1)x(15)x(20)x(37)-x(2)x(20)x(31)x(39)-x(2)x(18)x(38)x(40)+x(33)x(40),
579	-x(1)x(15)x(24)x(33)-x(2)x(18)x(24)x(38)-x(2)x(20)x(30)x(43)+x(24)x(33),
580	-x(1)x(10)x(11)x(23)-x(2)x(16)x(24)x(26)-x(2)x(22)x(33)x(37)+x(22)x(33),
581	-x(1)x(11)x(20)x(29)-x(2)x(31)x(33)x(39)-x(2)x(26)x(30)x(40)+x(31)x(33),
582	-x(2)x(24)x(26)x(38)-x(2)x(33)x(38)x(43)-x(1)x(11)x(33)x(44)+x(33)x(43),
583	-x(1)x(6)x(13)x(20)-x(2)x(7)x(21)x(31)-x(2)x(15)x(32)x(40)+x(11)x(20),
584	-x(2)x(7)x(34)x(39)-x(1)x(6)x(14)x(40)-x(2)x(18)x(32)x(41)+x(20)x(26),
585	-x(1)x(6)x(14)x(19)-x(2)x(7)x(23)x(39)-x(2)x(20)x(32)x(39)+x(20)x(33),
586	-x(1)x(8)x(13)x(20)-x(2)x(15)x(19)x(25)-x(2)x(21)x(32)x(40)+x(20)x(21),
587	-x(1)x(8)x(14)x(31)-x(2)x(18)x(25)x(39)-x(2)x(32)x(34)x(39)+x(20)x(28),
588	-x(2)x(20)x(25)x(39)-x(1)x(8)x(14)x(40)-x(2)x(23)x(32)x(41)+x(20)x(42),
589	-x(2)x(11)x(16)x(20)-x(1)x(5)x(7)x(21)-x(2)x(15)x(20)x(22)+x(11)x(20),
590	-x(1)x(5)x(20)x(23)-x(2)x(15)x(19)x(37)-x(2)x(11)x(24)x(40)+x(20)x(23),
591	-x(1)x(5)x(20)x(34)-x(2)x(11)x(31)x(40)-x(2)x(15)x(37)x(40)+x(20)x(42),
592	-x(1)x(10)x(20)x(21)-x(2)x(20)x(22)x(31)-x(2)x(16)x(33)x(40)+x(12)x(20),
593	-x(2)x(20)x(37)x(39)-x(1)x(10)x(23)x(40)-x(2)x(24)x(33)x(41)+x(20)x(44),
594	-x(1)x(10)x(19)x(34)-x(2)x(20)x(37)x(39)-x(2)x(33)x(39)x(40)+x(20)x(44),
595	-x(1)x(10)x(20)x(21)-x(2)x(16)x(19)x(26)-x(2)x(18)x(22)x(40)+x(16)x(20),
596	-x(1)x(10)x(23)x(31)-x(2)x(24)x(26)x(39)-x(2)x(18)x(37)x(39)+x(20)x(29),
597	-x(1)x(10)x(34)x(40)-x(2)x(26)x(39)x(40)-x(2)x(18)x(37)x(41)+x(20)x(35),
598	-x(1)x(5)x(20)^2-2x(2)x(10)x(19)x(40)+x(20)^2,
599	-x(1)x(15)^2x(20)-x(2)x(16)x(20)x(31)-x(2)x(17)x(18)x(40)+x(16)*x(20),
600	-x(1)x(15)x(20)x(40)-x(2)x(20)x(39)x(40)-x(2)x(18)x(19)x(41)+x(20)x(40),
601	-x(1)x(15)x(18)x(19)-x(2)x(18)x(19)x(39)-x(2)x(20)x(24)x(39)+x(20)x(24),
602	-x(1)x(11)x(15)x(20)-x(2)x(17)x(19)x(26)-x(2)x(16)x(33)x(40)+x(20)x(22),
603	-x(1)x(11)x(20)x(31)-x(2)x(19)x(26)x(39)-x(2)x(33)x(39)x(40)+x(20)x(31),
604	-x(2)x(19)x(26)x(39)-x(1)x(11)x(18)x(40)-x(2)x(24)x(33)x(41)+x(20)x(43),
605	-x(1)x(4)x(8)x(9)-x(2)x(5)x(25)x(33)-x(2)x(5)x(32)*x(42)+x(11)^2,
606	-x(2)x(15)x(32)x(35)-x(1)x(6)x(8)x(42)-x(2)x(10)x(25)x(43)+x(11)x(26),
607	-x(2)x(10)x(24)x(25)-x(1)x(8)^2x(33)-x(2)x(11)x(32)x(44)+x(11)*x(33),
608	-x(1)x(4)x(13)x(14)-x(2)x(5)x(23)x(25)-x(2)x(5)x(20)x(27)+x(11)x(21),
609	-x(1)x(6)x(13)x(28)-x(2)x(15)x(25)x(29)-x(2)x(10)x(27)x(31)+x(11)x(28),
610	-x(1)x(8)x(13)x(26)-x(2)x(10)x(27)x(40)-x(2)x(11)x(25)x(44)+x(11)x(42),
611	-x(1)x(5)x(8)^2-2x(2)x(10)x(11)x(21)+x(11)^2,
612	-x(2)x(16)x(18)x(21)-x(1)x(5)x(21)x(32)-x(2)x(21)x(22)x(33)+x(11)x(23),
613	-x(1)x(5)x(11)x(25)-x(2)x(12)x(21)x(26)-x(2)x(16)x(21)x(26)+x(11)x(42),
614	-x(1)x(8)x(9)x(11)-x(2)x(10)x(23)x(42)-x(2)x(11)x(33)x(42)+x(11)x(12),
615	-x(2)x(18)x(23)x(35)-x(1)x(11)x(32)x(42)-x(2)x(33)x(42)x(43)+x(11)x(44),
616	-x(1)x(11)x(25)x(33)-x(2)x(24)x(26)x(42)-x(2)x(23)x(26)x(44)+x(11)x(44),
617	-x(1)x(8)x(14)x(15)-x(2)x(11)x(20)x(28)-x(2)x(10)x(23)x(34)+x(11)x(16),
618	-x(1)x(15)x(28)x(32)-x(2)x(28)x(31)x(33)-x(2)x(18)x(29)x(34)+x(11)x(29),
619	-x(1)x(15)x(25)x(26)-x(2)x(26)x(28)x(40)-x(2)x(26)x(34)x(44)+x(11)x(35),
620	-x(1)x(6)x(9)x(21)-x(2)x(15)x(33)x(34)-x(2)x(10)x(23)x(42)+x(11)x(16),
621	-x(2)x(20)x(23)x(35)-x(1)x(7)x(21)x(42)-x(2)x(20)x(34)x(43)+x(11)x(40),
622	-x(1)x(21)x(32)x(33)-x(2)x(18)x(24)x(34)-x(2)x(23)x(33)x(44)+x(11)x(24),
623	-x(1)x(6)x(14)x(21)-x(2)x(15)x(20)x(28)-x(2)x(10)x(23)x(42)+x(11)x(22),
624	-x(1)x(7)x(21)x(28)-x(2)x(20)x(28)x(31)-x(2)x(20)x(29)x(42)+x(11)x(31),
625	-x(1)x(21)x(26)x(32)-x(2)x(18)x(28)x(40)-x(2)x(33)x(42)x(44)+x(11)x(43),
626	-x(2)x(21)x(32)x(35)-x(1)x(8)^2x(42)-x(2)x(11)x(25)x(44)+x(11)*x(42),
627	-x(1)x(8)x(14)x(35)-x(2)x(25)x(26)x(38)-x(2)x(28)x(32)x(41)+x(26)x(42),
628	-x(2)x(25)x(33)x(38)-x(2)x(32)x(38)x(42)-x(1)x(8)x(9)x(43)+x(33)x(42),
629	-x(1)x(8)x(13)x(34)-x(2)x(21)x(25)x(37)-x(2)x(11)x(27)x(40)+x(21)x(42),
630	-x(1)x(13)x(14)x(36)-x(2)x(26)x(27)x(39)-x(2)x(25)x(28)x(39)+x(28)x(42),
631	-x(1)x(9)x(13)x(35)-x(2)x(27)x(33)x(41)-x(2)x(25)x(38)*x(42)+x(42)^2,
632	-x(1)x(5)x(23)x(34)-x(2)x(21)x(29)x(40)-x(2)x(21)x(37)x(44)+x(23)x(42),
633	-x(1)x(5)x(42)^2-2x(2)x(21)x(35)x(44)+x(42)^2,
634	-x(2)x(16)x(23)x(35)-x(1)x(11)^2x(42)-x(2)x(12)x(42)x(44)+x(12)*x(42),
635	-x(1)x(11)x(23)x(35)-x(2)x(23)x(29)x(41)-x(2)x(38)x(42)x(44)+x(42)x(44),
636	-x(2)x(23)x(35)x(38)-x(1)x(11)x(42)x(43)-x(2)x(38)x(42)x(44)+x(42)x(44),
637	-x(1)x(11)x(15)x(34)-x(2)x(16)x(34)x(37)-x(2)x(12)x(28)x(40)+x(16)x(42),
638	-x(1)x(15)x(23)x(36)-x(2)x(29)x(34)x(39)-x(2)x(28)x(39)x(44)+x(29)x(42),
639	-x(2)x(34)x(35)x(38)-x(1)x(15)x(35)x(42)-x(2)x(28)x(41)x(44)+x(35)x(42),
640	-x(2)x(22)x(23)x(35)-x(1)x(10)x(21)x(42)-x(2)x(16)x(34)x(44)+x(16)x(42),
641	-x(1)x(20)x(21)x(35)-x(2)x(34)x(38)x(40)-x(2)x(23)x(31)x(41)+x(40)x(42),
642	-x(2)x(24)x(34)x(38)-x(1)x(21)x(33)x(43)-x(2)x(23)x(38)x(43)+x(24)x(42),
643	-x(1)x(10)x(21)x(34)-x(2)x(16)x(28)x(40)-x(2)x(22)x(37)x(42)+x(22)x(42),
644	-x(1)x(20)x(21)x(36)-x(2)x(28)x(39)x(40)-x(2)x(31)x(39)x(42)+x(31)x(42),
645	-x(1)x(21)x(33)x(35)-x(2)x(24)x(28)x(41)-x(2)x(38)x(42)x(43)+x(42)x(43),
646	-x(2)x(15)x(24)x(25)-x(1)x(8)x(13)x(33)-x(2)x(21)x(32)x(43)+x(11)x(23),
647	-x(2)x(18)x(25)x(38)-x(2)x(32)x(34)x(38)-x(1)x(8)x(14)x(44)+x(23)x(26),
648	-x(1)x(8)x(14)x(24)-x(2)x(20)x(25)x(30)-x(2)x(23)x(32)x(38)+x(23)x(33),
649	-x(1)x(13)^2x(18)-x(2)x(21)x(24)x(25)-x(2)x(15)x(19)x(27)+x(21)*x(23),
650	-x(1)x(13)x(14)x(29)-x(2)x(25)x(30)x(34)-x(2)x(18)x(27)x(39)+x(23)x(28),
651	-x(1)x(13)x(14)x(37)-x(2)x(23)x(25)x(38)-x(2)x(20)x(27)x(39)+x(23)x(42),
652	-x(1)x(5)x(23)^2-2x(2)x(21)x(24)x(37)+x(23)^2,
653	-x(1)x(11)x(21)x(33)-x(2)x(16)x(24)x(42)-x(2)x(22)x(23)x(43)+x(12)x(23),
654	-x(2)x(23)x(37)x(38)-x(2)x(24)x(38)x(42)-x(1)x(11)x(23)x(44)+x(23)x(44),
655	-x(1)x(11)x(24)x(34)-x(2)x(23)x(37)x(38)-x(2)x(30)x(40)x(42)+x(23)x(44),
656	-x(1)x(15)x(18)x(21)-x(2)x(16)x(19)x(28)-x(2)x(22)x(24)x(34)+x(16)x(23),
657	-x(1)x(15)x(23)x(29)-x(2)x(30)x(34)x(37)-x(2)x(24)x(28)x(39)+x(23)x(29),
658	-x(1)x(15)x(34)x(37)-x(2)x(34)x(37)x(38)-x(2)x(28)x(39)x(40)+x(23)x(35),
659	-x(1)x(15)x(21)x(33)-x(2)x(17)x(24)x(34)-x(2)x(16)x(23)x(43)+x(16)x(23),
660	-x(2)x(19)x(34)x(38)-x(2)x(23)x(38)x(40)-x(1)x(20)x(21)x(44)+x(23)x(40),
661	-x(1)x(18)x(21)x(24)-x(2)x(19)x(30)x(34)-x(2)x(23)x(24)x(38)+x(23)x(24),
662	-x(1)x(15)x(18)x(21)-x(2)x(17)x(19)x(28)-x(2)x(16)x(24)x(42)+x(22)x(23),
663	-x(1)x(20)x(21)x(29)-x(2)x(19)x(28)x(39)-x(2)x(30)x(40)x(42)+x(23)x(31),
664	-x(1)x(18)x(21)x(37)-x(2)x(19)x(28)x(39)-x(2)x(24)x(38)x(42)+x(23)x(43),
665	-x(1)x(5)x(8)x(13)-x(2)x(11)^2x(21)-x(2)x(15)^2x(21)+x(11)x(21),
666	-x(1)x(5)x(15)x(25)-x(2)x(15)x(17)x(34)-x(2)x(11)x(16)x(42)+x(21)x(26),
667	-x(2)x(15)x(16)x(23)-x(2)x(11)x(22)x(23)-x(1)x(5)x(21)x(32)+x(21)x(33),
668	-x(1)x(5)x(13)^2-2x(2)x(15)*x(21)^2+x(21)^2,
669	-x(1)x(5)x(15)x(27)-x(2)x(16)x(21)x(28)-x(2)x(17)x(21)x(28)+x(21)x(28),
670	-x(1)x(5)x(21)x(25)-x(2)x(21)x(22)x(34)-x(2)x(16)x(21)x(42)+x(21)x(42),
671	-x(1)x(8)x(14)x(21)-x(2)x(20)x(21)x(28)-x(2)x(11)x(23)x(42)+x(12)x(21),
672	-x(1)x(18)x(21)x(25)-x(2)x(19)x(28)x(34)-x(2)x(24)x(42)^2+x(21)*x(44),
673	-x(1)x(21)x(32)x(34)-x(2)x(23)x(28)x(40)-x(2)x(23)x(37)x(42)+x(21)x(44),
674	-x(1)x(13)x(14)x(15)-x(2)x(20)x(21)x(28)-x(2)x(15)x(23)x(34)+x(16)x(21),
675	-x(1)x(15)x(18)x(27)-x(2)x(19)x(28)^2-x(2)x(24)x(28)x(34)+x(21)*x(29),
676	-x(1)x(15)x(25)x(34)-x(2)x(34)^2x(37)-x(2)x(28)x(40)x(42)+x(21)*x(35),
677	-x(1)x(8)x(14)x(21)-x(2)x(18)x(21)x(34)-x(2)x(11)x(23)x(34)+x(16)x(21),
678	-x(1)x(20)x(21)x(25)-x(2)x(19)x(34)^2-x(2)x(23)x(40)x(42)+x(21)*x(40),
679	-x(1)x(21)x(23)x(32)-x(2)x(23)x(24)x(34)-x(2)x(23)^2x(37)+x(21)*x(24),
680	-x(1)x(11)x(13)x(14)-x(2)x(15)x(23)x(34)-x(2)x(18)x(21)x(42)+x(21)x(22),
681	-x(1)x(11)x(20)x(27)-x(2)x(23)x(28)x(40)-x(2)x(19)x(28)x(42)+x(21)x(31),
682	-x(1)x(11)x(23)x(25)-x(2)x(23)x(34)x(37)-x(2)x(24)x(42)^2+x(21)*x(43),
683	-x(1)x(5)x(11)x(25)-x(2)x(15)x(16)x(34)-x(2)x(11)x(12)x(42)+x(11)x(42),
684	-x(1)x(5)x(26)x(34)-x(2)x(15)x(36)x(40)-x(2)x(11)x(35)x(44)+x(26)x(42),
685	-x(1)x(5)x(28)x(34)-x(2)x(21)x(29)x(35)-x(2)x(21)x(31)x(36)+x(28)x(42),
686	-x(1)x(5)x(42)^2-2x(2)x(21)x(35)x(43)+x(42)^2,
687	-x(1)x(11)x(21)x(26)-x(2)x(16)x(28)x(40)-x(2)x(12)x(42)x(44)+x(12)x(42),
688	-x(1)x(21)x(26)x(37)-x(2)x(28)x(39)x(40)-x(2)x(38)x(42)x(44)+x(42)x(44),
689	-x(1)x(21)x(33)x(35)-x(2)x(24)x(28)x(41)-x(2)x(38)x(42)x(44)+x(42)x(44),
690	-x(1)x(15)x(21)x(26)-x(2)x(22)x(28)x(40)-x(2)x(16)x(34)x(44)+x(16)x(42),
691	-x(1)x(15)x(28)x(37)-x(2)x(29)x(34)x(38)-x(2)x(28)x(31)x(39)+x(29)x(42),
692	-x(2)x(34)x(35)x(38)-x(1)x(15)x(35)x(42)-x(2)x(28)x(41)x(43)+x(35)x(42),
693	-x(1)x(11)x(21)x(26)-x(2)x(12)x(23)x(35)-x(2)x(16)x(34)x(37)+x(16)x(42),
694	-x(1)x(21)x(26)x(40)-x(2)x(34)x(39)x(40)-x(2)x(23)x(41)x(44)+x(40)x(42),
695	-x(2)x(24)x(34)x(38)-x(1)x(21)x(33)x(44)-x(2)x(23)x(38)x(44)+x(24)x(42),
696	-x(1)x(11)x(21)x(26)-x(2)x(16)x(23)x(35)-x(2)x(22)x(37)x(42)+x(22)x(42),
697	-x(1)x(11)x(28)x(40)-x(2)x(23)x(29)x(41)-x(2)x(31)x(39)x(42)+x(31)x(42),
698	-x(2)x(23)x(35)x(38)-x(2)x(38)x(42)x(43)-x(1)x(11)x(42)x(44)+x(42)x(43),
699	-x(1)x(5)x(10)x(27)-x(2)x(11)x(16)x(28)-x(2)x(15)x(22)x(28)+x(11)x(28),
700	-x(1)x(5)x(26)x(28)-x(2)x(11)x(29)x(35)-x(2)x(15)x(36)x(37)+x(26)x(28),
701	-x(1)x(5)x(18)x(28)-x(2)x(11)x(29)x(31)-x(2)x(15)x(29)x(37)+x(28)x(33),
702	-x(1)x(5)x(28)^2-2x(2)x(21)x(29)x(36)+x(28)^2,
703	-x(1)x(10)x(21)x(28)-x(2)x(22)x(28)x(31)-x(2)x(16)x(29)x(42)+x(12)x(28),
704	-x(1)x(21)x(26)x(29)-x(2)x(28)x(37)x(39)-x(2)x(30)x(35)x(42)+x(28)x(44),
705	-x(1)x(18)x(21)x(36)-x(2)x(28)x(37)x(39)-x(2)x(29)x(39)x(42)+x(28)x(44),
706	-x(1)x(15)^2x(28)-x(2)x(16)x(28)x(31)-x(2)x(17)x(29)x(34)+x(16)*x(28),
707	-x(1)x(15)x(28)x(29)-x(2)x(30)x(34)x(36)-x(2)x(28)x(29)x(39)+x(28)x(29),
708	-x(1)x(15)x(34)x(36)-x(2)x(28)x(35)x(39)-x(2)x(34)x(36)x(39)+x(28)x(35),
709	-x(1)x(10)x(21)x(28)-x(2)x(22)x(29)x(34)-x(2)x(16)x(23)x(36)+x(16)x(28),
710	-x(1)x(21)x(26)x(31)-x(2)x(23)x(35)x(39)-x(2)x(34)x(37)x(39)+x(28)x(40),
711	-x(1)x(18)x(21)x(29)-x(2)x(30)x(34)x(37)-x(2)x(23)x(29)x(39)+x(24)x(28),
712	-x(1)x(11)x(15)x(28)-x(2)x(17)x(23)x(36)-x(2)x(16)x(29)x(42)+x(22)x(28),
713	-x(1)x(11)x(28)x(31)-x(2)x(23)x(36)x(39)-x(2)x(29)x(39)x(42)+x(28)x(31),
714	-x(1)x(11)x(29)x(34)-x(2)x(23)x(36)x(39)-x(2)x(30)x(35)x(42)+x(28)x(43),
715	-x(1)x(10)x(13)x(14)-x(2)x(15)x(20)x(28)-x(2)x(21)x(26)x(33)+x(11)x(22),
716	-x(1)x(10)x(15)x(34)-x(2)x(16)x(33)x(35)-x(2)x(17)x(20)x(36)+x(22)x(26),
717	-x(1)x(10)x(18)x(21)-x(2)x(16)x(20)x(29)-x(2)x(22)x(33)x(37)+x(22)x(33),
718	-x(1)x(14)^2x(22)-x(2)x(20)x(28)x(31)-x(2)x(23)x(26)x(43)+x(12)*x(22),
719	-x(1)x(18)x(22)x(34)-x(2)x(19)x(31)x(36)-x(2)x(24)x(35)x(43)+x(22)x(44),
720	-x(1)x(18)x(22)x(34)-x(2)x(29)x(31)x(40)-x(2)x(37)^2x(43)+x(22)*x(44),
721	-x(1)x(14)^2x(16)-x(2)x(20)x(29)x(34)-x(2)x(18)x(23)x(35)+x(16)*x(22),
722	-x(1)x(16)x(18)x(28)-x(2)x(24)x(29)x(35)-x(2)x(19)x(29)x(36)+x(22)x(29),
723	-x(1)x(16)x(26)x(34)-x(2)x(35)x(37)^2-x(2)x(29)x(35)x(40)+x(22)*x(35),
724	-x(1)x(14)^2x(16)-x(2)x(24)x(26)x(34)-x(2)x(18)x(28)x(40)+x(16)*x(22),
725	-x(1)x(16)x(20)x(34)-x(2)x(24)x(35)x(40)-x(2)x(19)x(36)x(40)+x(22)x(40),
726	-x(1)x(16)x(18)x(23)-x(2)x(24)x(37)^2-x(2)x(24)x(29)x(40)+x(22)*x(24),
727	-x(1)x(12)x(14)^2-2x(2)x(18)x(34)x(44)+x(22)^2,
728	-x(1)x(12)x(20)x(28)-x(2)x(19)x(36)x(44)-x(2)x(29)x(40)x(44)+x(22)x(31),
729	-x(1)x(12)x(23)x(26)-x(2)x(24)x(35)x(44)-x(2)x(37)^2x(44)+x(22)*x(43),
730	-x(1)x(10)x(23)x(25)-x(2)x(20)x(29)x(34)-x(2)x(33)x(42)x(44)+x(11)x(43),
731	-x(1)x(10)x(34)x(37)-x(2)x(33)x(35)x(38)-x(2)x(20)x(36)x(39)+x(26)x(43),
732	-x(2)x(20)x(30)x(35)-x(1)x(10)x(24)x(42)-x(2)x(33)x(38)x(43)+x(33)x(43),
733	-x(1)x(22)x(23)x(26)-x(2)x(29)x(31)x(40)-x(2)x(43)x(44)^2+x(12)*x(43),
734	-x(1)x(22)x(37)^2-x(2)x(31)x(39)^2-x(2)x(38)^2x(43)+x(43)*x(44),
735	-x(1)x(22)x(24)x(35)-x(2)x(30)x(31)x(41)-x(2)x(38)^2x(43)+x(43)*x(44),
736	-x(1)x(16)x(23)x(26)-x(2)x(29)x(37)x(40)-x(2)x(24)x(35)x(44)+x(16)x(43),
737	-x(1)x(16)x(29)x(37)-x(2)x(30)x(35)x(38)-x(2)x(29)x(39)^2+x(29)*x(43),
738	-x(2)x(35)x(38)^2-x(2)x(29)x(38)x(41)-x(1)x(16)x(35)x(44)+x(35)*x(43),
739	-x(1)x(16)x(37)x(40)-x(2)x(39)^2x(40)-x(2)x(24)x(38)x(41)+x(40)*x(43),
740	-x(2)x(24)x(38)^2-x(2)x(30)x(38)x(40)-x(1)x(16)x(24)x(44)+x(24)*x(43),
741	-x(1)x(12)x(29)x(40)-x(2)x(39)^2x(44)-x(2)x(30)x(41)x(44)+x(31)*x(43),
742	-2x(2)x(38)^2x(44)-x(1)x(12)*x(44)^2+x(43)^2,
743	-x(1)x(10)x(20)x(27)-x(2)x(20)x(28)x(31)-x(2)x(28)x(33)x(40)+x(11)x(31),
744	-x(2)x(20)x(36)x(39)-x(1)x(10)x(28)x(40)-x(2)x(29)x(33)x(41)+x(26)x(31),
745	-x(1)x(10)x(19)x(28)-x(2)x(20)x(29)x(39)-x(2)x(31)x(33)x(39)+x(31)x(33),
746	-x(1)x(20)x(22)x(28)-x(2)x(31)^3-x(2)x(29)x(40)x(43)+x(12)x(31),
747	-x(2)x(31)x(39)^2-x(1)x(22)x(29)x(40)-x(2)x(30)x(41)x(43)+x(31)*x(44),
748	-x(1)x(19)x(22)x(36)-x(2)x(31)x(39)^2-x(2)x(39)^2x(43)+x(31)x(44),
749	-x(1)x(16)x(20)x(28)-x(2)x(19)x(29)x(35)-x(2)x(29)x(31)x(40)+x(16)x(31),
750	-x(1)x(16)x(29)x(31)-x(2)x(30)x(35)x(39)-x(2)x(29)x(39)^2+x(29)*x(31),
751	-x(2)x(35)x(39)^2-x(1)x(16)x(36)x(40)-x(2)x(29)x(39)x(41)+x(31)*x(35),
752	-x(1)x(16)x(20)x(28)-x(2)x(29)x(31)x(40)-x(2)x(24)x(36)x(40)+x(16)x(31),
753	-x(1)x(16)x(31)x(40)-x(2)x(39)^2x(40)-x(2)x(24)x(39)x(41)+x(31)*x(40),
754	-x(1)x(16)x(19)x(29)-x(2)x(24)x(39)^2-x(2)x(30)x(39)x(40)+x(24)*x(31),
755	-x(1)x(12)x(31)^2-2x(2)x(39)^2*x(44)+x(31)^2,
756	-x(1)x(9)x(10)x(13)-x(2)x(21)x(26)x(33)-x(2)x(15)x(18)x(42)+x(11)x(16),
757	-x(2)x(17)x(18)x(35)-x(1)x(10)x(15)x(42)-x(2)x(16)x(26)x(43)+x(16)x(26),
758	-x(2)x(22)x(24)x(26)-x(1)x(10)x(21)x(33)-x(2)x(16)x(18)x(44)+x(16)x(33),
759	-x(1)x(9)x(14)x(16)-x(2)x(23)x(33)x(35)-x(2)x(20)x(29)x(42)+x(12)x(16),
760	-x(2)x(19)x(29)x(35)-x(1)x(16)x(18)x(42)-x(2)x(24)x(35)x(43)+x(16)x(44),
761	-x(1)x(16)x(33)x(34)-x(2)x(24)x(35)x(37)-x(2)x(29)x(40)x(44)+x(16)x(44),
762	-x(1)x(14)^2x(17)-2x(2)x(20)x(23)x(36)+x(16)^2,
763	-x(1)x(17)x(18)x(28)-x(2)x(19)x(29)x(36)-x(2)x(24)x(31)x(36)+x(16)x(29),
764	-x(1)x(17)x(26)x(34)-x(2)x(36)x(37)x(40)-x(2)x(36)x(40)x(44)+x(16)x(35),
765	-x(1)x(9)x(14)x(22)-x(2)x(33)x(34)x(37)-x(2)x(18)x(37)*x(42)+x(16)^2,
766	-x(2)x(19)x(35)x(37)-x(1)x(20)x(22)x(42)-x(2)x(37)x(40)x(43)+x(16)x(40),
767	-x(1)x(22)x(23)x(33)-x(2)x(24)x(37)^2-x(2)x(24)x(37)x(44)+x(16)*x(24),
768	-x(2)x(18)x(34)x(35)-x(1)x(10)x(25)x(42)-x(2)x(26)x(42)x(44)+x(11)x(35),
769	-x(1)x(10)x(34)x(35)-x(2)x(26)x(35)x(38)-x(2)x(18)x(36)x(41)+x(26)x(35),
770	-x(2)x(18)x(35)x(38)-x(2)x(26)x(38)x(43)-x(1)x(10)x(42)x(43)+x(33)x(35),
771	-x(2)x(29)x(35)x(40)-x(1)x(16)x(26)x(42)-x(2)x(35)x(44)^2+x(12)*x(35),
772	-x(1)x(16)x(35)x(37)-x(2)x(35)x(38)^2-x(2)x(29)x(39)x(41)+x(35)*x(44),
773	-x(2)x(35)x(38)^2-x(2)x(29)x(38)x(41)-x(1)x(16)x(35)x(43)+x(35)*x(44),
774	-x(1)x(17)x(36)x(37)-x(2)x(36)x(38)x(39)-x(2)x(36)x(39)^2+x(29)*x(35),
775	-x(1)x(17)x(35)^2-2x(2)x(36)x(38)x(41)+x(35)^2,
776	-x(2)x(35)x(37)^2-x(1)x(22)x(26)x(42)-x(2)x(35)x(37)x(44)+x(16)*x(35),
777	-x(1)x(22)x(35)x(40)-x(2)x(37)x(38)x(41)-x(2)x(37)x(39)x(41)+x(35)x(40),
778	-2x(2)x(37)x(38)^2-x(1)x(22)x(43)x(44)+x(24)*x(35),
779	-x(2)x(24)x(26)x(28)-x(1)x(10)x(27)x(33)-x(2)x(18)x(28)x(43)+x(11)x(29),
780	-x(2)x(26)x(29)x(38)-x(2)x(18)x(36)x(38)-x(1)x(10)x(28)x(44)+x(26)x(29),
781	-x(1)x(10)x(24)x(28)-x(2)x(26)x(30)x(31)-x(2)x(18)x(29)x(38)+x(29)x(33),
782	-x(1)x(16)x(28)x(33)-x(2)x(24)x(29)x(35)-x(2)x(29)x(31)x(43)+x(12)x(29),
783	-x(2)x(30)x(35)x(38)-x(2)x(29)x(38)x(39)-x(1)x(16)x(29)x(44)+x(29)x(44),
784	-x(1)x(16)x(24)x(36)-x(2)x(30)x(35)x(39)-x(2)x(29)x(38)x(39)+x(29)x(44),
785	-x(1)x(17)x(29)^2-2x(2)x(30)x(36)x(39)+x(29)^2,
786	-x(1)x(22)x(28)x(33)-x(2)x(24)x(36)x(37)-x(2)x(29)x(37)x(43)+x(16)x(29),
787	-2x(2)x(37)x(38)x(39)-x(1)x(22)x(31)x(44)+x(29)x(40),
788	-x(1)x(22)x(24)x(29)-x(2)x(30)x(37)x(38)-x(2)x(30)x(37)x(39)+x(24)x(29),
789	-x(1)x(5)x(10)x(25)-x(2)x(10)x(16)x(34)-x(2)x(10)x(22)x(42)+x(11)x(26),
790	-x(2)x(10)x(12)x(23)-x(2)x(10)x(16)x(23)-x(1)x(5)x(11)x(32)+x(11)x(33),
791	-x(1)x(8)x(9)x(11)-x(2)x(21)x(26)x(33)-x(2)x(11)x(33)x(42)+x(11)x(12),
792	-x(1)x(11)x(25)x(33)-x(2)x(24)x(26)x(34)-x(2)x(33)x(42)x(43)+x(11)x(44),
793	-x(2)x(23)x(33)x(35)-x(1)x(11)x(32)x(42)-x(2)x(23)x(26)x(44)+x(11)x(44),
794	-x(1)x(8)x(14)x(15)-x(2)x(18)x(21)x(26)-x(2)x(11)x(20)x(28)+x(11)x(16),
795	-x(1)x(15)x(20)x(25)-x(2)x(18)x(34)x(40)-x(2)x(20)x(31)x(42)+x(11)x(40),
796	-x(2)x(20)x(23)x(29)-x(1)x(15)x(23)x(32)-x(2)x(18)x(23)x(44)+x(11)x(24),
797	-x(1)x(5)x(18)x(26)-x(2)x(10)x(29)x(40)-x(2)x(10)x(37)x(44)+x(26)x(33),
798	-x(1)x(5)x(33)^2-2x(2)x(10)x(24)x(44)+x(33)^2,
799	-x(2)x(16)x(24)x(26)-x(1)x(11)^2x(33)-x(2)x(12)x(33)x(44)+x(12)*x(33),
800	-x(1)x(11)x(24)x(26)-x(2)x(26)x(30)x(40)-x(2)x(33)x(38)x(44)+x(33)x(44),
801	-x(2)x(24)x(26)x(38)-x(1)x(11)x(33)x(43)-x(2)x(33)x(38)x(44)+x(33)x(44),
802	-x(1)x(11)x(15)x(18)-x(2)x(12)x(20)x(29)-x(2)x(16)x(18)x(37)+x(16)x(33),
803	-x(1)x(15)x(19)x(26)-x(2)x(18)x(39)x(40)-x(2)x(20)x(39)x(44)+x(33)x(40),
804	-x(1)x(15)x(24)x(33)-x(2)x(18)x(24)x(38)-x(2)x(20)x(30)x(44)+x(24)x(33),
805	-x(1)x(5)x(26)^2-2x(2)x(10)x(35)x(37)+x(26)^2,
806	-x(2)x(16)x(33)x(35)-x(1)x(10)x(11)x(42)-x(2)x(22)x(26)x(43)+x(12)x(26),
807	-x(2)x(33)x(35)x(38)-x(2)x(26)x(37)x(38)-x(1)x(11)x(26)x(44)+x(26)x(44),
808	-x(1)x(11)x(18)x(35)-x(2)x(26)x(37)x(38)-x(2)x(29)x(33)x(41)+x(26)x(44),
809	-x(1)x(10)x(15)x(34)-x(2)x(18)x(22)x(35)-x(2)x(16)x(20)x(36)+x(16)x(26),
810	-x(2)x(20)x(35)x(39)-x(1)x(15)x(26)x(40)-x(2)x(18)x(37)x(41)+x(26)x(40),
811	-x(1)x(15)x(18)x(37)-x(2)x(18)x(37)x(38)-x(2)x(20)x(29)x(39)+x(24)x(26),
812	-x(1)x(9)x(14)x(16)-x(2)x(28)x(33)x(40)-x(2)x(24)x(26)x(42)+x(12)x(16),
813	-x(1)x(16)x(33)x(34)-x(2)x(24)x(36)x(40)-x(2)x(24)x(35)x(43)+x(16)x(44),
814	-x(2)x(24)x(35)x(37)-x(1)x(16)x(18)x(42)-x(2)x(29)x(40)x(44)+x(16)x(44),
815	-x(1)x(14)^2x(17)-2x(2)x(19)x(26)x(28)+x(16)^2,
816	-x(1)x(17)x(20)x(34)-x(2)x(19)x(31)x(35)-x(2)x(19)x(36)x(40)+x(16)x(40),
817	-x(1)x(17)x(18)x(23)-x(2)x(19)x(29)x(37)-x(2)x(19)x(29)x(44)+x(16)x(24),
818	-x(1)x(16)x(23)x(33)-x(2)x(24)x(29)x(40)-x(2)x(24)x(44)^2+x(12)*x(24),
819	-x(1)x(16)x(24)x(37)-x(2)x(24)x(38)^2-x(2)x(30)x(39)x(40)+x(24)*x(44),
820	-x(2)x(24)x(38)^2-x(2)x(30)x(38)x(40)-x(1)x(16)x(24)x(43)+x(24)*x(44),
821	-x(1)x(17)x(19)x(37)-x(2)x(19)x(38)x(39)-x(2)x(19)x(39)^2+x(24)*x(40),
822	-x(1)x(17)x(24)^2-2x(2)x(19)x(30)x(38)+x(24)^2,
823	-x(2)x(24)x(35)x(40)-x(1)x(16)x(20)x(42)-x(2)x(31)x(40)x(43)+x(12)x(40),
824	-x(2)x(38)x(39)x(40)-x(2)x(24)x(38)x(41)-x(1)x(16)x(40)x(44)+x(40)x(44),
825	-x(1)x(16)x(19)x(35)-x(2)x(38)x(39)x(40)-x(2)x(24)x(39)x(41)+x(40)x(44),
826	-x(1)x(17)x(40)^2-2x(2)x(19)x(39)x(41)+x(40)^2,
827	-x(1)x(9)^2x(12)-2x(2)x(33)x(42)x(44)+x(12)^2,
828	-x(1)x(12)x(33)x(42)-x(2)x(24)x(35)x(44)-x(2)x(43)^2x(44)+x(12)*x(44),
829	-x(1)x(12)x(33)x(42)-x(2)x(24)x(35)x(44)-x(2)x(44)^3+x(12)x(44),
830	-x(1)x(12)x(24)x(35)-x(2)x(38)^2x(44)-x(2)x(30)x(41)x(44)+x(44)^2,
831	-x(1)x(12)x(43)^2-2x(2)x(38)^2x(44)+x(44)^2, -2x(2)x(38)^2x(44)-x(1)x(12)x(44)^2+x(44)^2,
832	-x(1)x(3)x(4)^2-2x(2)x(4)x(5)^2+x(6)x(13),
833	-x(1)x(3)x(6)x(8)-x(2)x(4)x(10)x(11)-x(2)x(4)x(10)x(15)+x(6)x(14),
834	-x(1)x(4)^2x(6)-x(2)x(5)x(8)x(10)-x(2)x(5)x(6)x(15)+x(6)*x(15),
835	-x(2)x(6)x(15)x(18)-x(1)x(4)x(6)x(32)-x(2)x(8)x(10)x(33)+x(6)x(18),
836	-x(1)x(4)x(7)x(8)-x(2)x(8)x(10)x(20)-x(2)x(6)x(11)x(20)+x(6)x(20),
837	-x(1)x(4)^2x(8)-x(2)x(5)x(8)x(11)-x(2)x(5)x(10)x(13)+x(6)*x(21),
838	-x(1)x(4)x(6)x(25)-x(2)x(10)x(13)x(26)-x(2)x(8)x(15)x(26)+x(6)x(34),
839	-x(2)x(10)x(13)x(18)-x(1)x(4)x(8)x(32)-x(2)x(8)x(11)x(33)+x(6)x(23),
840	-x(1)x(6)x(8)^2-x(2)x(9)x(10)x(11)-x(2)x(10)x(14)x(15)+x(6)*x(16),
841	-x(2)x(14)x(18)^2-x(1)x(8)x(32)^2-x(2)x(9)x(33)^2+x(6)*x(24),
842	-x(1)x(7)x(8)x(25)-x(2)x(9)x(20)x(26)-x(2)x(14)x(20)x(26)+x(6)x(40),
843	-x(1)x(6)x(8)^2-2x(2)x(10)x(11)x(14)+x(6)*x(22),
844	-x(2)x(14)x(18)x(26)-x(1)x(6)x(25)x(32)-x(2)x(14)x(26)x(33)+x(6)x(37),
845	-x(1)x(6)^2x(13)-2x(2)x(10)x(14)x(15)+x(6)*x(17),
846	-x(2)x(14)x(18)x(20)-x(1)x(7)x(13)x(32)-x(2)x(14)x(20)x(33)+x(6)x(19),
847	-x(1)x(3)x(8)x(13)-x(2)x(4)x(11)x(21)-x(2)x(4)x(15)x(21)+x(13)x(14),
848	-x(1)x(3)x(14)^2-x(2)x(4)x(23)x(26)-x(2)x(4)x(20)x(28)+x(14)^2,
849	-x(1)x(3)x(9)x(14)-x(2)x(4)x(33)x(34)-x(2)x(4)x(18)*x(42)+x(14)^2,
850	-x(1)x(4)x(8)x(15)-x(2)x(8)x(11)x(16)-x(2)x(6)x(17)x(21)+x(14)x(15),
851	-x(1)x(4)x(14)x(18)-x(2)x(8)x(24)x(26)-x(2)x(6)x(19)x(28)+x(14)x(18),
852	-x(1)x(4)x(9)x(20)-x(2)x(8)x(33)x(40)-x(2)x(6)x(19)x(42)+x(14)x(20),
853	-x(1)x(4)x(8)x(21)-x(2)x(8)x(16)x(21)-x(2)x(11)x(13)x(22)+x(14)x(21),
854	-x(1)x(4)x(14)x(34)-x(2)x(13)x(26)x(37)-x(2)x(8)x(28)x(40)+x(14)x(34),
855	-x(1)x(4)x(9)x(23)-x(2)x(13)x(33)x(37)-x(2)x(8)x(24)x(42)+x(14)x(23),
856	-x(1)x(4)x(11)x(13)-x(2)x(13)x(15)x(16)-x(2)x(8)x(12)x(21)+x(14)x(21),
857	-x(1)x(4)x(14)x(23)-x(2)x(13)x(20)x(29)-x(2)x(8)x(23)x(44)+x(14)x(23),
858	-x(2)x(13)x(18)x(35)-x(1)x(4)x(14)x(42)-x(2)x(8)x(34)x(44)+x(14)x(34),
859	-x(1)x(8)x(11)x(15)-x(2)x(9)x(12)x(16)-x(2)x(14)x(16)x(17)+x(14)x(16),
860	-x(1)x(8)x(18)x(23)-x(2)x(14)x(19)x(29)-x(2)x(9)x(24)x(44)+x(14)x(24),
861	-x(2)x(14)x(19)x(35)-x(1)x(8)x(20)x(42)-x(2)x(9)x(40)x(44)+x(14)x(40),
862	-x(2)x(14)x(16)^2-x(1)x(6)x(11)x(21)-x(2)x(12)x(14)x(22)+x(14)*x(22),
863	-x(1)x(6)x(23)x(34)-x(2)x(14)x(29)x(40)-x(2)x(14)x(37)x(44)+x(14)x(37),
864	-x(2)x(14)x(24)x(35)-x(1)x(6)x(23)x(42)-x(2)x(14)x(37)x(44)+x(14)x(37),
865	-x(1)x(4)x(10)x(13)-x(2)x(6)x(16)x(21)-x(2)x(8)x(15)x(22)+x(14)x(15),
866	-x(1)x(4)x(14)x(20)-x(2)x(8)x(20)x(31)-x(2)x(6)x(23)x(40)+x(14)x(20),
867	-x(1)x(4)x(14)x(33)-x(2)x(6)x(24)x(34)-x(2)x(8)x(18)x(43)+x(14)x(18),
868	-x(1)x(10)x(13)x(15)-x(2)x(14)x(16)^2-x(2)x(14)x(17)x(22)+x(14)*x(17),
869	-x(1)x(13)x(18)x(20)-x(2)x(14)x(19)x(31)-x(2)x(14)x(24)x(40)+x(14)x(19),
870	-x(1)x(13)x(20)x(33)-x(2)x(14)x(24)x(40)-x(2)x(14)x(19)x(43)+x(14)x(19),
871	-x(1)x(8)x(10)x(21)-x(2)x(9)x(16)x(22)-x(2)x(14)x(16)x(22)+x(14)x(16),
872	-x(1)x(8)x(20)x(34)-x(2)x(9)x(31)x(40)-x(2)x(14)x(37)x(40)+x(14)x(40),
873	-x(1)x(8)x(23)x(33)-x(2)x(14)x(24)x(37)-x(2)x(9)x(24)x(43)+x(14)x(24),
874	-x(1)x(4)^2x(8)-x(2)x(5)x(8)x(11)-x(2)x(5)x(6)x(21)+x(10)*x(13),
875	-x(1)x(4)x(6)x(11)-x(2)x(8)x(10)x(12)-x(2)x(6)x(15)x(16)+x(10)x(14),
876	-x(1)x(4)x(8)x(10)-x(2)x(8)x(10)x(16)-x(2)x(6)x(11)x(22)+x(10)x(14),
877	-x(1)x(4)x(6)x(14)-x(2)x(5)x(7)x(28)-x(2)x(5)x(26)x(32)+x(10)x(15),
878	-x(1)x(6)^2x(23)-x(2)x(7)x(15)x(29)-x(2)x(10)x(32)x(44)+x(10)*x(18),
879	-x(1)x(6)x(8)x(20)-x(2)x(7)x(11)x(31)-x(2)x(10)x(32)x(40)+x(10)x(20),
880	-x(1)x(4)x(8)x(9)-x(2)x(5)x(25)x(33)-x(2)x(5)x(32)x(42)+x(10)x(21),
881	-x(2)x(15)x(32)x(35)-x(1)x(6)x(8)x(42)-x(2)x(10)x(25)x(44)+x(10)x(34),
882	-x(2)x(10)x(24)x(25)-x(1)x(8)^2x(33)-x(2)x(11)x(32)x(43)+x(10)*x(23),
883	-x(1)x(5)x(8)^2-x(2)x(11)^3-x(2)x(10)x(15)x(21)+x(10)*x(21),
884	-x(2)x(15)x(16)x(18)-x(1)x(5)x(11)x(32)-x(2)x(11)x(12)x(33)+x(10)x(23),
885	-x(1)x(5)x(10)x(25)-x(2)x(11)x(16)x(26)-x(2)x(15)x(22)x(26)+x(10)x(34),
886	-x(1)x(8)x(10)x(14)-x(2)x(10)x(20)x(28)-x(2)x(11)x(26)x(33)+x(10)x(16),
887	-x(2)x(18)x(20)x(29)-x(1)x(10)x(23)x(32)-x(2)x(33)^2x(44)+x(10)*x(24),
888	-x(1)x(10)x(20)x(25)-x(2)x(20)x(26)x(31)-x(2)x(26)x(33)x(40)+x(10)x(40),
889	-x(1)x(8)x(9)x(10)-x(2)x(11)x(26)x(33)-x(2)x(10)x(18)x(42)+x(10)x(22),
890	-x(2)x(18)^2x(35)-x(1)x(10)x(32)x(42)-x(2)x(26)x(33)x(44)+x(10)*x(37),
891	-x(2)x(24)x(26)^2-x(1)x(10)x(25)x(33)-x(2)x(18)x(26)x(43)+x(10)*x(37),
892	-x(1)x(5)x(6)x(8)-x(2)x(10)x(11)x(15)-x(2)x(10)^2x(21)+x(10)*x(15),
893	-x(1)x(5)x(7)x(11)-x(2)x(10)x(12)x(20)-x(2)x(10)x(16)x(20)+x(10)x(20),
894	-x(2)x(10)x(16)x(18)-x(1)x(5)x(10)x(32)-x(2)x(10)x(22)x(33)+x(10)x(18),
895	-x(1)x(6)x(14)x(15)-x(2)x(15)x(18)x(26)-x(2)x(10)x(20)x(28)+x(10)x(17),
896	-x(1)x(7)x(15)x(23)-x(2)x(20)^2x(29)-x(2)x(18)x(20)x(44)+x(10)*x(19),
897	-x(1)x(15)x(20)x(32)-x(2)x(20)x(31)x(33)-x(2)x(18)^2x(40)+x(10)*x(19),
898	-x(1)x(6)x(9)x(11)-x(2)x(15)x(26)x(33)-x(2)x(10)x(33)x(42)+x(10)x(16),
899	-x(2)x(20)x(33)x(35)-x(1)x(7)x(11)x(42)-x(2)x(20)x(26)x(44)+x(10)x(40),
900	-x(2)x(18)x(24)x(26)-x(1)x(11)x(32)x(33)-x(2)x(33)^2x(43)+x(10)*x(24),
901	-x(1)x(4)x(8)x(25)-x(2)x(6)x(21)x(34)-x(2)x(8)x(11)x(42)+x(13)x(26),
902	-x(1)x(4)x(14)x(26)-x(2)x(6)x(28)x(40)-x(2)x(8)x(26)x(44)+x(14)x(26),
903	-x(1)x(4)x(9)x(26)-x(2)x(8)x(33)x(35)-x(2)x(6)x(37)x(42)+x(14)x(26),
904	-x(1)x(6)x(8)x(34)-x(2)x(11)x(32)x(35)-x(2)x(7)x(21)x(36)+x(15)x(26),
905	-x(1)x(6)x(14)x(37)-x(2)x(26)x(32)x(38)-x(2)x(7)x(28)x(39)+x(18)x(26),
906	-x(1)x(6)x(9)x(40)-x(2)x(32)x(33)x(41)-x(2)x(7)x(39)x(42)+x(20)x(26),
907	-x(2)x(21)x(32)x(35)-x(1)x(8)^2x(42)-x(2)x(11)x(25)x(43)+x(21)*x(26),
908	-x(1)x(8)x(14)x(35)-x(2)x(25)x(26)x(38)-x(2)x(28)x(32)x(41)+x(26)x(34),
909	-x(2)x(25)x(33)x(38)-x(2)x(32)x(38)x(42)-x(1)x(8)x(9)x(44)+x(23)x(26),
910	-x(1)x(5)x(11)x(25)-x(2)x(15)x(16)x(34)-x(2)x(11)x(12)x(42)+x(21)x(26),
911	-x(1)x(5)x(23)x(26)-x(2)x(15)x(29)x(40)-x(2)x(11)x(44)^2+x(23)*x(26),
912	-x(2)x(15)x(35)x(37)-x(1)x(5)x(26)x(42)-x(2)x(11)x(35)x(44)+x(26)x(34),
913	-x(1)x(10)x(11)x(34)-x(2)x(12)x(33)x(35)-x(2)x(16)x(20)x(36)+x(16)x(26),
914	-x(1)x(10)x(23)x(37)-x(2)x(20)x(29)x(39)-x(2)x(33)x(38)x(44)+x(24)x(26),
915	-x(2)x(20)x(35)x(39)-x(1)x(10)x(40)x(42)-x(2)x(33)x(41)x(44)+x(26)x(40),
916	-x(2)x(16)x(18)x(35)-x(1)x(10)x(11)x(42)-x(2)x(12)x(26)x(43)+x(22)x(26),
917	-x(1)x(10)x(23)x(35)-x(2)x(18)x(29)x(41)-x(2)x(26)x(38)x(44)+x(26)x(37),
918	-x(2)x(18)x(35)x(38)-x(2)x(26)x(38)x(44)-x(1)x(10)x(42)x(44)+x(26)x(37),
919	-x(1)x(5)x(10)x(25)-x(2)x(10)x(22)x(34)-x(2)x(10)x(16)x(42)+x(15)x(26),
920	-x(1)x(5)x(20)x(26)-x(2)x(10)x(31)x(40)-x(2)x(10)x(40)x(44)+x(20)x(26),
921	-x(1)x(5)x(26)x(33)-x(2)x(10)x(24)x(35)-x(2)x(10)x(37)x(43)+x(18)x(26),
922	-x(1)x(10)x(15)x(34)-x(2)x(16)x(18)x(35)-x(2)x(20)x(22)x(36)+x(17)x(26),
923	-x(1)x(15)x(20)x(37)-x(2)x(20)x(31)x(39)-x(2)x(18)x(38)x(40)+x(19)x(26),
924	-x(1)x(15)x(33)x(40)-x(2)x(18)x(24)x(41)-x(2)x(20)x(39)x(43)+x(19)x(26),
925	-x(2)x(22)x(33)x(35)-x(1)x(10)x(11)x(42)-x(2)x(16)x(26)x(43)+x(16)x(26),
926	-x(1)x(11)x(20)x(35)-x(2)x(26)x(38)x(40)-x(2)x(31)x(33)x(41)+x(26)x(40),
927	-x(2)x(24)x(26)x(38)-x(2)x(33)x(38)x(43)-x(1)x(11)x(33)x(44)+x(24)x(26),
928	-x(2)x(8)x(15)x(23)-x(2)x(6)x(21)x(23)-x(1)x(4)x(13)x(32)+x(13)x(18),
929	-x(1)x(4)x(14)x(33)-x(2)x(6)x(24)x(34)-x(2)x(8)x(18)x(44)+x(14)x(18),
930	-x(1)x(4)x(14)x(18)-x(2)x(8)x(20)x(29)-x(2)x(6)x(23)x(37)+x(14)x(18),
931	-x(1)x(6)x(13)x(18)-x(2)x(7)x(21)x(29)-x(2)x(15)x(32)x(37)+x(15)x(18),
932	-x(1)x(6)x(14)x(24)-x(2)x(7)x(30)x(34)-x(2)x(18)x(32)*x(38)+x(18)^2,
933	-x(1)x(6)x(14)x(19)-x(2)x(7)x(23)x(39)-x(2)x(20)x(32)x(39)+x(18)x(20),
934	-x(2)x(15)x(24)x(25)-x(1)x(8)x(13)x(33)-x(2)x(21)x(32)x(44)+x(18)x(21),
935	-x(2)x(18)x(25)x(38)-x(2)x(32)x(34)x(38)-x(1)x(8)x(14)x(43)+x(18)x(34),
936	-x(1)x(8)x(14)x(24)-x(2)x(20)x(25)x(30)-x(2)x(23)x(32)x(38)+x(18)x(23),
937	-x(2)x(11)x(16)x(23)-x(2)x(15)x(22)x(23)-x(1)x(5)x(21)x(32)+x(18)x(21),
938	-x(1)x(5)x(23)x(33)-x(2)x(15)x(24)x(37)-x(2)x(11)x(24)x(44)+x(18)x(23),
939	-x(1)x(5)x(18)x(34)-x(2)x(15)x(37)^2-x(2)x(11)x(29)x(40)+x(18)*x(34),
940	-x(1)x(10)x(18)x(21)-x(2)x(20)x(22)x(29)-x(2)x(16)x(33)x(37)+x(16)x(18),
941	-x(1)x(10)x(23)x(24)-x(2)x(20)x(30)x(37)-x(2)x(24)x(33)x(38)+x(18)x(24),
942	-x(1)x(10)x(19)x(34)-x(2)x(20)x(37)x(39)-x(2)x(33)x(39)x(40)+x(18)x(40),
943	-x(2)x(16)x(24)x(26)-x(1)x(10)x(21)x(33)-x(2)x(18)x(22)x(44)+x(18)x(22),
944	-x(2)x(24)x(26)x(38)-x(2)x(18)x(37)x(38)-x(1)x(10)x(23)x(43)+x(18)x(37),
945	-x(1)x(10)x(24)x(34)-x(2)x(18)x(37)x(38)-x(2)x(26)x(30)x(40)+x(18)x(37),
946	-x(2)x(10)x(16)x(23)-x(2)x(10)x(17)x(23)-x(1)x(5)x(15)x(32)+x(15)x(18),
947	-x(1)x(5)x(20)x(33)-x(2)x(10)x(24)x(40)-x(2)x(10)x(19)x(44)+x(18)x(20),
948	-x(1)x(5)x(18)^2-x(2)x(10)x(19)x(29)-x(2)x(10)x(24)x(37)+x(18)^2,
949	-x(1)x(15)^2x(18)-x(2)x(16)x(20)x(29)-x(2)x(17)x(18)x(37)+x(17)*x(18),
950	-x(1)x(15)x(20)x(24)-x(2)x(18)x(19)x(38)-x(2)x(20)x(30)x(40)+x(18)x(19),
951	-x(1)x(15)x(18)x(19)-x(2)x(18)x(19)x(39)-x(2)x(20)x(24)x(39)+x(18)x(19),
952	-x(2)x(17)x(24)x(26)-x(1)x(11)x(15)x(33)-x(2)x(16)x(33)x(44)+x(16)x(18),
953	-x(2)x(19)x(26)x(38)-x(2)x(33)x(38)x(40)-x(1)x(11)x(20)x(43)+x(18)x(40),
954	-x(1)x(11)x(18)x(24)-x(2)x(19)x(26)x(30)-x(2)x(24)x(33)x(38)+x(18)x(24),
955	-x(1)x(4)^2x(13)-x(2)x(5)x(13)x(15)-x(2)x(5)x(8)x(21)+x(13)*x(15),
956	-x(2)x(10)x(13)x(16)-x(1)x(4)x(6)x(21)-x(2)x(8)x(15)x(22)+x(14)x(15),
957	-x(1)x(4)x(8)x(15)-x(2)x(8)x(11)x(16)-x(2)x(10)x(13)x(17)+x(14)x(15),
958	-x(1)x(4)x(8)x(14)-x(2)x(5)x(18)x(25)-x(2)x(5)x(32)*x(34)+x(15)^2,
959	-x(1)x(6)x(8)x(23)-x(2)x(10)x(24)x(25)-x(2)x(15)x(32)x(37)+x(15)x(18),
960	-x(1)x(8)^2x(20)-x(2)x(10)x(19)x(25)-x(2)x(11)x(32)x(40)+x(15)*x(20),
961	-x(1)x(4)x(13)x(14)-x(2)x(5)x(23)x(25)-x(2)x(5)x(20)x(27)+x(15)x(21),
962	-x(1)x(6)x(13)x(34)-x(2)x(15)x(25)x(37)-x(2)x(10)x(27)x(40)+x(15)x(34),
963	-x(1)x(8)x(13)x(18)-x(2)x(11)x(24)x(25)-x(2)x(10)x(19)x(27)+x(15)x(23),
964	-x(1)x(5)x(8)x(13)-x(2)x(11)x(15)x(21)-x(2)x(10)x(21)^2+x(15)*x(21),
965	-x(2)x(18)x(21)x(22)-x(1)x(5)x(21)x(32)-x(2)x(16)x(21)x(33)+x(15)x(23),
966	-x(1)x(5)x(15)x(25)-x(2)x(16)x(21)x(26)-x(2)x(17)x(21)x(26)+x(15)x(34),
967	-x(1)x(8)x(11)x(14)-x(2)x(10)x(23)x(34)-x(2)x(11)x(18)x(42)+x(15)x(16),
968	-x(1)x(11)x(23)x(32)-x(2)x(18)x(23)x(37)-x(2)x(24)x(33)x(42)+x(15)x(24),
969	-x(1)x(11)x(20)x(25)-x(2)x(23)x(26)x(40)-x(2)x(19)x(26)x(42)+x(15)x(40),
970	-x(1)x(8)x(14)x(15)-x(2)x(11)x(20)x(28)-x(2)x(10)x(23)x(34)+x(15)x(22),
971	-x(1)x(15)x(32)x(34)-x(2)x(18)x(34)x(37)-x(2)x(28)x(33)x(40)+x(15)x(37),
972	-x(1)x(15)x(18)x(25)-x(2)x(19)x(26)x(28)-x(2)x(24)x(26)x(34)+x(15)x(37),
973	-x(1)x(5)x(6)x(13)-x(2)x(15)^3-x(2)x(10)x(11)*x(21)+x(15)^2,
974	-x(2)x(15)x(16)x(20)-x(1)x(5)x(7)x(21)-x(2)x(11)x(20)x(22)+x(15)x(20),
975	-x(2)x(15)x(17)x(18)-x(1)x(5)x(15)x(32)-x(2)x(11)x(16)x(33)+x(15)x(18),
976	-x(1)x(6)x(14)x(21)-x(2)x(15)x(18)x(34)-x(2)x(10)x(23)x(34)+x(15)x(17),
977	-x(1)x(7)x(21)x(23)-x(2)x(20)x(24)x(34)-x(2)x(20)x(23)x(37)+x(15)x(19),
978	-x(1)x(20)x(21)x(32)-x(2)x(18)x(19)x(34)-x(2)x(23)x(33)x(40)+x(15)x(19),
979	-x(1)x(6)x(14)x(21)-x(2)x(15)x(20)x(28)-x(2)x(10)x(23)x(42)+x(15)x(16),
980	-x(1)x(7)x(21)x(34)-x(2)x(20)x(28)x(40)-x(2)x(20)x(37)x(42)+x(15)x(40),
981	-x(2)x(18)x(19)x(28)-x(1)x(18)x(21)x(32)-x(2)x(24)x(33)x(42)+x(15)x(24),
982	-x(1)x(4)x(8)x(27)-x(2)x(11)x(13)x(28)-x(2)x(8)x(21)x(28)+x(13)x(28),
983	-x(1)x(4)x(14)x(28)-x(2)x(13)x(26)x(29)-x(2)x(8)x(28)x(31)+x(14)x(28),
984	-x(1)x(4)x(9)x(28)-x(2)x(13)x(33)x(36)-x(2)x(8)x(29)x(42)+x(14)x(28),
985	-x(1)x(8)^2x(28)-x(2)x(11)x(25)x(29)-x(2)x(21)x(32)x(36)+x(15)*x(28),
986	-x(1)x(8)x(14)x(29)-x(2)x(25)x(26)x(30)-x(2)x(28)x(32)x(39)+x(18)x(28),
987	-x(1)x(8)x(9)x(31)-x(2)x(25)x(33)x(39)-x(2)x(32)x(39)x(42)+x(20)x(28),
988	-x(1)x(8)x(13)x(28)-x(2)x(21)x(25)x(29)-x(2)x(11)x(27)x(31)+x(21)x(28),
989	-x(1)x(13)x(14)x(36)-x(2)x(26)x(27)x(39)-x(2)x(25)x(28)x(39)+x(28)x(34),
990	-x(1)x(9)x(13)x(29)-x(2)x(27)x(33)x(39)-x(2)x(25)x(30)x(42)+x(23)x(28),
991	-x(1)x(5)x(11)x(27)-x(2)x(12)x(21)x(28)-x(2)x(16)x(21)x(28)+x(21)x(28),
992	-x(1)x(5)x(23)x(28)-x(2)x(21)x(29)x(31)-x(2)x(21)x(29)x(44)+x(23)x(28),
993	-x(2)x(21)x(29)x(35)-x(1)x(5)x(28)x(42)-x(2)x(21)x(36)x(44)+x(28)x(34),
994	-x(1)x(11)^2x(28)-x(2)x(16)x(23)x(36)-x(2)x(12)x(29)x(42)+x(16)*x(28),
995	-x(1)x(11)x(23)x(29)-x(2)x(23)x(29)x(39)-x(2)x(30)x(42)x(44)+x(24)x(28),
996	-x(2)x(23)x(35)x(39)-x(1)x(11)x(31)x(42)-x(2)x(39)x(42)x(44)+x(28)x(40),
997	-x(1)x(11)x(15)x(28)-x(2)x(12)x(28)x(31)-x(2)x(16)x(29)x(34)+x(22)x(28),
998	-x(1)x(15)x(23)x(36)-x(2)x(29)x(34)x(39)-x(2)x(28)x(39)x(44)+x(28)x(37),
999	-x(2)x(30)x(34)x(35)-x(1)x(15)x(29)x(42)-x(2)x(28)x(39)x(44)+x(28)x(37),
1000	-x(1)x(5)x(10)x(27)-x(2)x(15)x(16)x(28)-x(2)x(11)x(22)x(28)+x(15)x(28),
1001	-x(1)x(5)x(20)x(28)-x(2)x(11)x(31)^2-x(2)x(15)x(29)x(40)+x(20)*x(28),
1002	-x(1)x(5)x(28)x(33)-x(2)x(15)x(24)x(36)-x(2)x(11)x(29)x(43)+x(18)x(28),
1003	-x(1)x(10)x(21)x(28)-x(2)x(16)x(29)x(34)-x(2)x(22)x(23)x(36)+x(17)x(28),
1004	-x(1)x(20)x(21)x(29)-x(2)x(23)x(31)x(39)-x(2)x(30)x(34)x(40)+x(19)x(28),
1005	-x(1)x(21)x(31)x(33)-x(2)x(24)x(34)x(39)-x(2)x(23)x(39)x(43)+x(19)x(28),
1006	-x(1)x(10)x(21)x(28)-x(2)x(16)x(28)x(31)-x(2)x(22)x(29)x(42)+x(16)x(28),
1007	-x(1)x(20)x(21)x(36)-x(2)x(28)x(39)x(40)-x(2)x(31)x(39)x(42)+x(28)x(40),
1008	-x(1)x(21)x(29)x(33)-x(2)x(24)x(28)x(39)-x(2)x(30)x(42)x(43)+x(24)x(28),
1009	-x(1)x(4)x(13)x(25)-x(2)x(13)x(15)x(34)-x(2)x(8)x(21)x(42)+x(13)x(34),
1010	-x(2)x(13)x(18)x(35)-x(1)x(4)x(14)x(42)-x(2)x(8)x(34)x(43)+x(14)x(34),
1011	-x(1)x(4)x(14)x(34)-x(2)x(8)x(23)x(35)-x(2)x(13)x(20)x(36)+x(14)x(34),
1012	-x(1)x(8)x(13)x(26)-x(2)x(21)x(32)x(35)-x(2)x(15)x(25)x(37)+x(15)x(34),
1013	-x(2)x(18)x(25)x(38)-x(2)x(32)x(34)x(38)-x(1)x(8)x(14)x(44)+x(18)x(34),
1014	-x(2)x(20)x(25)x(39)-x(1)x(8)x(14)x(40)-x(2)x(23)x(32)x(41)+x(20)x(34),
1015	-x(1)x(13)^2x(26)-x(2)x(15)x(27)x(40)-x(2)x(21)x(25)x(44)+x(21)*x(34),
1016	-x(1)x(13)x(14)x(35)-x(2)x(25)x(34)x(38)-x(2)x(18)x(27)*x(41)+x(34)^2,
1017	-x(1)x(13)x(14)x(37)-x(2)x(23)x(25)x(38)-x(2)x(20)x(27)x(39)+x(23)x(34),
1018	-x(1)x(5)x(21)x(25)-x(2)x(16)x(21)x(34)-x(2)x(21)x(22)x(42)+x(21)x(34),
1019	-x(2)x(21)x(24)x(35)-x(1)x(5)x(23)x(42)-x(2)x(21)x(37)x(43)+x(23)x(34),
1020	-x(1)x(5)x(34)^2-x(2)x(21)x(35)x(37)-x(2)x(21)x(36)x(40)+x(34)^2,
1021	-x(1)x(11)x(21)x(26)-x(2)x(22)x(23)x(35)-x(2)x(16)x(37)x(42)+x(16)x(34),
1022	-x(2)x(23)x(37)x(38)-x(2)x(24)x(38)x(42)-x(1)x(11)x(23)x(44)+x(24)x(34),
1023	-x(1)x(11)x(34)x(40)-x(2)x(23)x(37)x(41)-x(2)x(39)x(40)x(42)+x(34)x(40),
1024	-x(1)x(15)x(21)x(26)-x(2)x(16)x(28)x(40)-x(2)x(22)x(34)x(44)+x(22)x(34),
1025	-x(1)x(15)x(23)x(35)-x(2)x(34)x(37)x(38)-x(2)x(24)x(28)x(41)+x(34)x(37),
1026	-x(1)x(15)x(34)x(37)-x(2)x(34)x(37)x(38)-x(2)x(28)x(39)x(40)+x(34)x(37),
1027	-x(1)x(5)x(15)x(25)-x(2)x(15)x(17)x(34)-x(2)x(11)x(16)x(42)+x(15)x(34),
1028	-x(2)x(15)x(19)x(35)-x(1)x(5)x(20)x(42)-x(2)x(11)x(40)x(43)+x(20)x(34),
1029	-x(1)x(5)x(18)x(34)-x(2)x(11)x(24)x(35)-x(2)x(15)x(19)x(36)+x(18)x(34),
1030	-x(1)x(15)x(21)x(26)-x(2)x(16)x(23)x(35)-x(2)x(17)x(34)x(37)+x(17)x(34),
1031	-x(2)x(19)x(34)x(38)-x(2)x(23)x(38)x(40)-x(1)x(20)x(21)x(44)+x(19)x(34),
1032	-x(2)x(19)x(34)x(39)-x(1)x(18)x(21)x(40)-x(2)x(23)x(24)x(41)+x(19)x(34),
1033	-x(1)x(15)x(21)x(26)-x(2)x(17)x(28)x(40)-x(2)x(16)x(42)x(44)+x(16)x(34),
1034	-x(1)x(20)x(21)x(35)-x(2)x(19)x(28)x(41)-x(2)x(38)x(40)x(42)+x(34)x(40),
1035	-x(1)x(18)x(21)x(37)-x(2)x(19)x(28)x(39)-x(2)x(24)x(38)x(42)+x(24)x(34),
1036	-x(1)x(8)^2x(13)-x(2)x(9)x(11)x(21)-x(2)x(14)x(15)x(21)+x(13)*x(16),
1037	-x(1)x(10)x(13)x(14)-x(2)x(15)x(20)x(28)-x(2)x(21)x(26)x(33)+x(15)x(16),
1038	-x(1)x(10)x(15)x(23)-x(2)x(17)x(20)x(29)-x(2)x(16)x(33)x(44)+x(16)x(18),
1039	-x(1)x(10)x(20)x(21)-x(2)x(16)x(20)x(31)-x(2)x(22)x(33)x(40)+x(16)x(20),
1040	-x(1)x(9)x(11)x(13)-x(2)x(15)x(23)x(42)-x(2)x(21)x(33)x(42)+x(16)x(21),
1041	-x(2)x(17)x(23)x(35)-x(1)x(11)x(15)x(42)-x(2)x(16)x(42)x(44)+x(16)x(34),
1042	-x(1)x(11)x(21)x(33)-x(2)x(22)x(24)x(42)-x(2)x(16)x(23)x(43)+x(16)x(23),
1043	-x(1)x(8)x(14)x(21)-x(2)x(20)x(21)x(28)-x(2)x(11)x(23)x(42)+x(16)x(21),
1044	-x(1)x(11)x(18)x(21)-x(2)x(16)x(19)x(28)-x(2)x(12)x(24)x(42)+x(16)x(23),
1045	-x(1)x(10)x(21)x(34)-x(2)x(22)x(28)x(40)-x(2)x(16)x(37)x(42)+x(16)x(34),
1046	-x(1)x(14)^2x(22)-x(2)x(20)x(28)x(31)-x(2)x(23)x(26)x(43)+x(16)^2,
1047	-x(1)x(18)x(22)x(23)-x(2)x(19)x(29)x(31)-x(2)x(24)x(43)x(44)+x(16)x(24),
1048	-x(1)x(20)x(22)x(34)-x(2)x(31)^2x(40)-x(2)x(37)x(40)x(43)+x(16)*x(40),
1049	-x(1)x(9)x(14)x(16)-x(2)x(23)x(33)x(35)-x(2)x(20)x(29)x(42)+x(16)x(22),
1050	-x(2)x(19)x(29)x(35)-x(1)x(16)x(18)x(42)-x(2)x(24)x(35)x(44)+x(16)x(37),
1051	-x(1)x(16)x(33)x(34)-x(2)x(24)x(35)x(37)-x(2)x(29)x(40)x(43)+x(16)x(37),
1052	-x(1)x(8)x(11)x(14)-x(2)x(18)x(21)x(26)-x(2)x(11)x(33)x(34)+x(15)x(16),
1053	-x(1)x(11)^2x(20)-x(2)x(16)x(19)x(26)-x(2)x(12)x(33)x(40)+x(16)*x(20),
1054	-x(1)x(10)x(11)x(23)-x(2)x(22)x(24)x(26)-x(2)x(16)x(33)x(37)+x(16)x(18),
1055	-x(1)x(14)^2x(16)-x(2)x(24)x(26)x(34)-x(2)x(18)x(28)x(40)+x(16)*x(17),
1056	-x(1)x(16)x(20)x(23)-x(2)x(19)x(29)x(40)-x(2)x(24)x(40)x(44)+x(16)x(19),
1057	-x(1)x(16)x(20)x(23)-x(2)x(24)x(31)x(40)-x(2)x(24)x(37)x(40)+x(16)x(19),
1058	-x(1)x(9)x(12)x(14)-x(2)x(33)x(34)x(44)-x(2)x(18)x(42)*x(44)+x(16)^2,
1059	-x(1)x(12)x(20)x(42)-x(2)x(19)x(35)x(44)-x(2)x(40)x(44)^2+x(16)*x(40),
1060	-x(1)x(12)x(23)x(33)-x(2)x(24)x(37)x(44)-x(2)x(24)x(43)x(44)+x(16)x(24),
1061	-x(1)x(8)x(25)^2-x(2)x(14)x(34)^2-x(2)x(9)x(42)^2+x(13)*x(35),
1062	-x(1)x(8)x(26)x(34)-x(2)x(14)x(36)x(40)-x(2)x(9)x(35)x(44)+x(14)x(35),
1063	-x(2)x(14)x(35)x(37)-x(1)x(8)x(26)x(42)-x(2)x(9)x(35)x(43)+x(14)x(35),
1064	-x(1)x(10)x(25)x(34)-x(2)x(20)x(34)x(36)-x(2)x(33)x(35)x(42)+x(15)x(35),
1065	-x(1)x(10)x(34)x(37)-x(2)x(33)x(35)x(38)-x(2)x(20)x(36)x(39)+x(18)x(35),
1066	-x(2)x(20)x(35)x(39)-x(1)x(10)x(40)x(42)-x(2)x(33)x(41)x(43)+x(20)x(35),
1067	-x(2)x(23)x(34)x(35)-x(1)x(11)x(25)x(42)-x(2)x(42)^2x(43)+x(21)*x(35),
1068	-x(1)x(11)x(34)x(35)-x(2)x(23)x(36)x(41)-x(2)x(35)x(38)x(42)+x(34)x(35),
1069	-x(2)x(23)x(35)x(38)-x(2)x(38)x(42)x(43)-x(1)x(11)x(42)x(44)+x(23)x(35),
1070	-x(1)x(21)x(25)x(26)-x(2)x(28)x(34)x(40)-x(2)x(42)^2x(44)+x(21)*x(35),
1071	-x(1)x(21)x(26)x(37)-x(2)x(28)x(39)x(40)-x(2)x(38)x(42)x(44)+x(23)x(35),
1072	-x(1)x(21)x(26)x(35)-x(2)x(28)x(37)x(41)-x(2)x(35)x(38)x(42)+x(34)x(35),
1073	-x(1)x(22)x(26)x(34)-x(2)x(31)x(36)x(40)-x(2)x(35)x(43)x(44)+x(16)x(35),
1074	-x(1)x(22)x(37)^2-x(2)x(31)x(39)^2-x(2)x(38)^2x(43)+x(24)*x(35),
1075	-x(1)x(22)x(35)x(40)-x(2)x(31)x(39)x(41)-x(2)x(38)x(41)x(43)+x(35)x(40),
1076	-x(2)x(29)x(35)x(40)-x(1)x(16)x(26)x(42)-x(2)x(35)x(43)x(44)+x(22)x(35),
1077	-x(1)x(16)x(35)x(37)-x(2)x(35)x(38)^2-x(2)x(29)x(39)x(41)+x(35)*x(37),
1078	-x(2)x(35)x(38)^2-x(2)x(29)x(38)x(41)-x(1)x(16)x(35)x(44)+x(35)*x(37),
1079	-x(1)x(11)x(25)x(26)-x(2)x(26)x(34)x(37)-x(2)x(33)x(35)x(42)+x(15)x(35),
1080	-x(1)x(11)x(26)x(40)-x(2)x(26)x(39)x(40)-x(2)x(33)x(41)x(44)+x(20)x(35),
1081	-x(2)x(33)x(35)x(38)-x(2)x(26)x(37)x(38)-x(1)x(11)x(26)x(44)+x(18)x(35),
1082	-x(1)x(16)x(26)x(34)-x(2)x(24)x(35)^2-x(2)x(36)x(37)x(40)+x(17)*x(35),
1083	-x(1)x(16)x(37)x(40)-x(2)x(39)^2x(40)-x(2)x(24)x(38)x(41)+x(19)*x(35),
1084	-x(2)x(38)x(39)x(40)-x(2)x(24)x(38)x(41)-x(1)x(16)x(40)x(44)+x(19)x(35),
1085	-x(1)x(12)x(26)x(42)-x(2)x(35)x(37)x(44)-x(2)x(35)x(43)x(44)+x(16)x(35),
1086	-x(1)x(12)x(35)x(40)-x(2)x(38)x(41)x(44)-x(2)x(39)x(41)x(44)+x(35)x(40),
1087	-2x(2)x(38)^2x(44)-x(1)x(12)x(44)^2+x(24)x(35),
1088	-x(2)x(9)x(23)x(28)-x(2)x(14)x(23)x(28)-x(1)x(8)x(27)x(32)+x(13)x(29),
1089	-x(1)x(8)x(28)x(33)-x(2)x(14)x(24)x(36)-x(2)x(9)x(29)x(44)+x(14)x(29),
1090	-x(1)x(8)x(18)x(28)-x(2)x(9)x(29)x(31)-x(2)x(14)x(29)x(37)+x(14)x(29),
1091	-x(1)x(10)x(18)x(27)-x(2)x(20)x(28)x(29)-x(2)x(28)x(33)x(37)+x(15)x(29),
1092	-x(1)x(10)x(24)x(28)-x(2)x(20)x(30)x(36)-x(2)x(29)x(33)x(38)+x(18)x(29),
1093	-x(1)x(10)x(19)x(28)-x(2)x(20)x(29)x(39)-x(2)x(31)x(33)x(39)+x(20)x(29),
1094	-x(1)x(11)x(27)x(33)-x(2)x(24)x(28)x(42)-x(2)x(23)x(28)x(44)+x(21)x(29),
1095	-x(2)x(23)x(36)x(38)-x(2)x(29)x(38)x(42)-x(1)x(11)x(28)x(43)+x(29)x(34),
1096	-x(1)x(11)x(24)x(28)-x(2)x(23)x(29)x(38)-x(2)x(30)x(31)x(42)+x(23)x(29),
1097	-x(2)x(23)x(28)x(31)-x(1)x(21)x(28)x(32)-x(2)x(23)x(29)x(42)+x(21)x(29),
1098	-x(1)x(21)x(29)x(33)-x(2)x(24)x(28)x(39)-x(2)x(30)x(42)x(44)+x(23)x(29),
1099	-x(1)x(18)x(21)x(36)-x(2)x(28)x(37)x(39)-x(2)x(29)x(39)x(42)+x(29)x(34),
1100	-x(1)x(18)x(22)x(28)-x(2)x(29)x(31)^2-x(2)x(29)x(37)x(43)+x(16)*x(29),
1101	-x(1)x(22)x(24)x(29)-x(2)x(30)x(31)x(39)-x(2)x(30)x(38)x(43)+x(24)x(29),
1102	-x(1)x(19)x(22)x(36)-x(2)x(31)x(39)^2-x(2)x(39)^2x(43)+x(29)x(40),
1103	-x(1)x(16)x(28)x(33)-x(2)x(24)x(29)x(35)-x(2)x(29)x(31)x(44)+x(22)x(29),
1104	-x(2)x(30)x(35)x(38)-x(2)x(29)x(38)x(39)-x(1)x(16)x(29)x(43)+x(29)x(37),
1105	-x(1)x(16)x(24)x(36)-x(2)x(30)x(35)x(39)-x(2)x(29)x(38)x(39)+x(29)x(37),
1106	-x(2)x(23)x(26)x(29)-x(1)x(11)x(28)x(32)-x(2)x(23)x(33)x(36)+x(15)x(29),
1107	-x(1)x(11)x(31)x(33)-x(2)x(24)x(26)x(39)-x(2)x(33)x(39)x(44)+x(20)x(29),
1108	-x(1)x(11)x(18)x(29)-x(2)x(26)x(30)x(37)-x(2)x(29)x(33)x(39)+x(18)x(29),
1109	-x(1)x(16)x(18)x(28)-x(2)x(24)x(36)x(37)-x(2)x(29)^2x(40)+x(17)*x(29),
1110	-x(1)x(16)x(24)x(31)-x(2)x(24)x(38)x(39)-x(2)x(30)x(39)x(40)+x(19)x(29),
1111	-x(1)x(16)x(19)x(29)-x(2)x(24)x(39)^2-x(2)x(30)x(39)x(40)+x(19)*x(29),
1112	-x(1)x(12)x(28)x(33)-x(2)x(24)x(36)x(44)-x(2)x(29)x(44)^2+x(16)*x(29),
1113	-x(1)x(12)x(31)x(43)-2x(2)x(38)x(39)x(44)+x(29)x(40),
1114	-x(1)x(12)x(24)x(29)-x(2)x(30)x(38)x(44)-x(2)x(30)x(39)x(44)+x(24)x(29),
1115	-x(1)x(6)x(13)^2-2x(2)x(14)x(15)x(21)+x(13)*x(17),
1116	-x(2)x(14)x(16)^2-x(1)x(6)x(15)x(21)-x(2)x(14)x(17)x(22)+x(14)*x(17),
1117	-x(1)x(10)x(13)x(14)-x(2)x(18)x(21)x(26)-x(2)x(15)x(18)x(34)+x(15)x(17),
1118	-x(1)x(10)x(15)x(23)-x(2)x(16)x(24)x(26)-x(2)x(17)x(18)x(37)+x(17)x(18),
1119	-x(1)x(10)x(20)x(21)-x(2)x(19)x(22)x(26)-x(2)x(16)x(18)x(40)+x(17)x(20),
1120	-x(1)x(13)x(14)x(15)-x(2)x(20)x(21)x(28)-x(2)x(15)x(23)x(34)+x(17)x(21),
1121	-x(1)x(15)^2x(34)-x(2)x(17)x(34)x(37)-x(2)x(16)x(28)x(40)+x(17)*x(34),
1122	-x(1)x(15)x(18)x(21)-x(2)x(19)x(22)x(28)-x(2)x(16)x(24)x(34)+x(17)x(23),
1123	-x(1)x(14)^2x(16)-x(2)x(20)x(29)x(34)-x(2)x(18)x(23)x(35)+x(16)*x(17),
1124	-x(1)x(16)x(18)x(23)-x(2)x(24)^2x(35)-x(2)x(19)x(29)x(37)+x(17)*x(24),
1125	-x(1)x(16)x(20)x(34)-x(2)x(19)x(35)x(37)-x(2)x(29)x(40)^2+x(17)*x(40),
1126	-x(1)x(14)^2x(17)-2x(2)x(20)x(23)x(36)+x(17)*x(22),
1127	-x(1)x(17)x(18)x(34)-x(2)x(19)x(36)x(37)-x(2)x(24)x(36)x(40)+x(17)x(37),
1128	-x(1)x(14)^2x(22)-2x(2)x(18)x(34)x(37)+x(17)^2,
1129	-x(1)x(20)x(22)x(23)-x(2)x(19)x(37)^2-x(2)x(24)x(37)x(40)+x(17)*x(19),
1130	-x(1)x(6)x(25)x(27)-x(2)x(14)x(28)x(34)-x(2)x(14)x(28)x(42)+x(13)x(36),
1131	-x(1)x(6)x(28)x(34)-x(2)x(14)x(29)x(35)-x(2)x(14)x(31)x(36)+x(14)x(36),
1132	-x(2)x(14)x(29)x(35)-x(1)x(6)x(28)x(42)-x(2)x(14)x(36)x(43)+x(14)x(36),
1133	-x(1)x(10)x(25)x(28)-x(2)x(18)x(34)x(36)-x(2)x(26)x(29)x(42)+x(15)x(36),
1134	-x(1)x(10)x(29)x(34)-x(2)x(26)x(30)x(35)-x(2)x(18)x(36)x(39)+x(18)x(36),
1135	-x(2)x(18)x(35)x(39)-x(1)x(10)x(31)x(42)-x(2)x(26)x(39)x(43)+x(20)x(36),
1136	-x(1)x(15)x(25)x(28)-x(2)x(29)x(34)^2-x(2)x(28)x(31)x(42)+x(21)*x(36),
1137	-x(1)x(15)x(34)x(36)-x(2)x(28)x(35)x(39)-x(2)x(34)x(36)x(39)+x(34)x(36),
1138	-x(2)x(30)x(34)x(35)-x(1)x(15)x(29)x(42)-x(2)x(28)x(39)x(43)+x(23)x(36),
1139	-x(1)x(15)x(26)x(27)-x(2)x(28)^2x(40)-x(2)x(28)x(34)x(44)+x(21)*x(36),
1140	-x(1)x(15)x(28)x(37)-x(2)x(29)x(34)x(38)-x(2)x(28)x(31)x(39)+x(23)x(36),
1141	-x(1)x(15)x(28)x(35)-x(2)x(34)x(36)x(38)-x(2)x(28)x(29)x(41)+x(34)x(36),
1142	-x(1)x(16)x(26)x(28)-x(2)x(29)x(36)x(40)-x(2)x(29)x(35)x(44)+x(16)x(36),
1143	-x(1)x(16)x(29)x(37)-x(2)x(30)x(35)x(38)-x(2)x(29)x(39)^2+x(24)*x(36),
1144	-x(1)x(16)x(31)x(35)-x(2)x(35)x(38)x(39)-x(2)x(29)x(39)x(41)+x(36)x(40),
1145	-x(1)x(17)x(26)x(28)-x(2)x(29)x(36)x(40)-x(2)x(31)x(36)x(44)+x(22)x(36),
1146	-x(1)x(17)x(36)x(37)-x(2)x(36)x(38)x(39)-x(2)x(36)x(39)^2+x(36)*x(37),
1147	-x(1)x(17)x(29)x(35)-x(2)x(36)x(38)x(39)-x(2)x(30)x(36)x(41)+x(36)x(37),
1148	-x(1)x(10)x(26)x(27)-x(2)x(18)x(28)x(35)-x(2)x(26)x(28)x(37)+x(15)x(36),
1149	-x(2)x(26)x(31)x(39)-x(1)x(10)x(28)x(40)-x(2)x(18)x(29)x(41)+x(20)x(36),
1150	-x(2)x(26)x(29)x(38)-x(2)x(18)x(36)x(38)-x(1)x(10)x(28)x(44)+x(18)x(36),
1151	-x(1)x(22)x(26)x(28)-x(2)x(29)x(35)x(37)-x(2)x(36)x(37)^2+x(17)*x(36),
1152	-x(2)x(37)x(39)^2-x(1)x(22)x(29)x(40)-x(2)x(30)x(37)x(41)+x(19)*x(36),
1153	-2x(2)x(37)x(38)x(39)-x(1)x(22)x(31)x(44)+x(19)x(36),
1154	-x(1)x(16)x(26)x(28)-x(2)x(29)x(31)x(35)-x(2)x(29)x(35)x(37)+x(16)x(36),
1155	-x(2)x(35)x(39)^2-x(1)x(16)x(36)x(40)-x(2)x(29)x(39)x(41)+x(36)*x(40),
1156	-x(2)x(30)x(35)x(38)-x(2)x(29)x(38)x(39)-x(1)x(16)x(29)x(44)+x(24)x(36),
1157	-x(1)x(8)^2x(13)-2x(2)x(11)x(14)x(21)+x(13)*x(22),
1158	-x(1)x(10)x(11)x(13)-x(2)x(14)x(16)^2-x(2)x(12)x(14)x(22)+x(14)*x(22),
1159	-x(1)x(8)x(14)x(15)-x(2)x(18)x(21)x(26)-x(2)x(11)x(20)x(28)+x(15)x(22),
1160	-x(1)x(10)x(15)x(23)-x(2)x(16)x(20)x(29)-x(2)x(18)x(22)x(44)+x(18)x(22),
1161	-x(1)x(11)x(15)x(20)-x(2)x(12)x(20)x(31)-x(2)x(16)x(18)x(40)+x(20)x(22),
1162	-x(1)x(8)x(9)x(21)-x(2)x(21)x(33)x(34)-x(2)x(11)x(23)x(42)+x(21)x(22),
1163	-x(2)x(16)x(23)x(35)-x(1)x(10)x(21)x(42)-x(2)x(22)x(34)x(44)+x(22)x(34),
1164	-x(1)x(11)x(21)x(33)-x(2)x(16)x(24)x(34)-x(2)x(12)x(23)x(43)+x(22)x(23),
1165	-x(1)x(9)x(14)x(16)-x(2)x(28)x(33)x(40)-x(2)x(24)x(26)x(42)+x(16)x(22),
1166	-x(1)x(16)x(23)x(33)-x(2)x(24)x(29)x(40)-x(2)x(24)x(43)x(44)+x(22)x(24),
1167	-x(2)x(24)x(35)x(40)-x(1)x(16)x(20)x(42)-x(2)x(31)x(40)x(44)+x(22)x(40),
1168	-x(1)x(9)^2x(22)-2x(2)x(33)x(37)x(42)+x(22)^2,
1169	-x(2)x(24)x(35)x(37)-x(1)x(22)x(33)x(42)-x(2)x(37)x(43)x(44)+x(22)x(37),
1170	-x(1)x(14)^2x(17)-2x(2)x(19)x(26)x(28)+x(17)*x(22),
1171	-x(1)x(17)x(20)x(23)-x(2)x(19)x(29)x(40)-x(2)x(19)x(31)x(44)+x(19)x(22),
1172	-x(1)x(13)x(25)x(32)-x(2)x(14)x(23)x(34)-x(2)x(14)x(23)x(42)+x(13)x(37),
1173	-x(1)x(13)x(18)x(26)-x(2)x(14)x(29)x(40)-x(2)x(14)x(37)x(44)+x(14)x(37),
1174	-x(1)x(13)x(26)x(33)-x(2)x(14)x(24)x(35)-x(2)x(14)x(37)x(44)+x(14)x(37),
1175	-x(1)x(15)x(32)x(34)-x(2)x(18)x(23)x(35)-x(2)x(20)x(23)x(36)+x(15)x(37),
1176	-x(1)x(15)x(18)x(37)-x(2)x(18)x(37)x(38)-x(2)x(20)x(29)x(39)+x(18)x(37),
1177	-x(1)x(15)x(33)x(40)-x(2)x(18)x(24)x(41)-x(2)x(20)x(39)x(44)+x(20)x(37),
1178	-x(2)x(23)^2x(35)-x(1)x(21)x(32)x(42)-x(2)x(23)x(34)x(43)+x(21)*x(37),
1179	-x(1)x(18)x(21)x(35)-x(2)x(34)x(37)x(38)-x(2)x(23)x(29)x(41)+x(34)x(37),
1180	-x(2)x(24)x(34)x(38)-x(1)x(21)x(33)x(44)-x(2)x(23)x(38)x(44)+x(23)x(37),
1181	-x(1)x(21)x(25)x(33)-x(2)x(24)x(34)^2-x(2)x(23)x(42)x(44)+x(21)*x(37),
1182	-x(1)x(21)x(24)x(26)-x(2)x(30)x(34)x(40)-x(2)x(23)x(38)x(44)+x(23)x(37),
1183	-x(2)x(23)x(35)x(38)-x(2)x(34)x(37)x(38)-x(1)x(21)x(26)x(43)+x(34)x(37),
1184	-x(1)x(16)x(33)x(34)-x(2)x(24)x(36)x(40)-x(2)x(24)x(35)x(44)+x(16)x(37),
1185	-x(1)x(16)x(24)x(37)-x(2)x(24)x(38)^2-x(2)x(30)x(39)x(40)+x(24)*x(37),
1186	-x(2)x(38)x(39)x(40)-x(2)x(24)x(38)x(41)-x(1)x(16)x(40)x(43)+x(37)x(40),
1187	-x(1)x(22)x(24)x(35)-x(2)x(37)x(38)^2-x(2)x(30)x(37)x(41)+x(37)^2,
1188	-2x(2)x(37)x(38)^2-x(1)x(22)x(43)x(44)+x(37)^2,
1189	-x(1)x(15)x(18)x(25)-x(2)x(18)x(34)x(37)-x(2)x(20)x(29)x(42)+x(15)x(37),
1190	-x(1)x(15)x(19)x(26)-x(2)x(18)x(39)x(40)-x(2)x(20)x(39)x(44)+x(20)x(37),
1191	-x(1)x(15)x(24)x(26)-x(2)x(20)x(30)x(35)-x(2)x(18)x(37)x(38)+x(18)x(37),
1192	-x(1)x(17)x(18)x(34)-x(2)x(19)x(29)x(35)-x(2)x(19)x(36)x(37)+x(17)x(37),
1193	-x(1)x(17)x(19)x(37)-x(2)x(19)x(38)x(39)-x(2)x(19)x(39)^2+x(19)*x(37),
1194	-x(2)x(19)x(38)x(39)-x(1)x(17)x(24)x(40)-x(2)x(19)x(30)x(41)+x(19)x(37),
1195	-x(2)x(24)x(35)x(37)-x(1)x(16)x(18)x(42)-x(2)x(29)x(40)x(43)+x(16)x(37),
1196	-x(1)x(16)x(19)x(35)-x(2)x(38)x(39)x(40)-x(2)x(24)x(39)x(41)+x(37)x(40),
1197	-x(2)x(24)x(38)^2-x(2)x(30)x(38)x(40)-x(1)x(16)x(24)x(44)+x(24)*x(37),
1198	-x(1)x(4)^3-2x(2)x(5)^3+x(25)x(32),
1199	-x(1)x(4)x(6)x(13)-x(2)x(5)x(15)^2-x(2)x(5)x(10)x(21)+x(18)*x(25),
1200	-x(1)x(4)x(8)^2-x(2)x(5)x(11)^2-x(2)x(5)x(10)x(21)+x(25)x(33),
1201	-x(1)x(4)x(8)x(13)-x(2)x(5)x(11)x(21)-x(2)x(5)x(15)x(21)+x(23)x(25),
1202	-x(1)x(6)x(13)x(25)-x(2)x(15)^2x(34)-x(2)x(10)x(21)x(42)+x(25)*x(37),
1203	-x(2)x(11)x(15)x(23)-x(2)x(10)x(21)x(23)-x(1)x(8)x(13)x(32)+x(24)x(25),
1204	-x(1)x(6)x(8)x(27)-x(2)x(11)x(15)x(28)-x(2)x(10)x(21)x(28)+x(25)x(29),
1205	-x(1)x(8)^2x(25)-x(2)x(10)x(21)x(34)-x(2)x(11)^2x(42)+x(25)x(44),
1206	-x(2)x(15)x(18)x(21)-x(1)x(8)x(13)x(32)-x(2)x(11)x(21)x(33)+x(24)x(25),
1207	-x(1)x(8)^2x(25)-2x(2)x(11)x(21)x(26)+x(25)*x(43),
1208	-x(1)x(25)^2x(32)-x(2)x(18)x(34)^2-x(2)x(33)x(42)^2+x(25)*x(38),
1209	-x(1)x(25)^2x(32)-x(2)x(23)x(26)x(34)-x(2)x(23)x(26)x(42)+x(25)*x(38),
1210	-x(2)x(18)x(23)x(28)-x(1)x(27)x(32)^2-x(2)x(23)x(28)x(33)+x(25)*x(30),
1211	-x(1)x(7)x(13)^2-2x(2)x(15)x(20)x(21)+x(19)*x(25),
1212	-x(1)x(7)x(25)x(27)-x(2)x(20)x(28)x(34)-x(2)x(20)x(28)x(42)+x(25)x(39),
1213	-x(1)x(4)x(8)^2-x(2)x(5)x(11)^2-x(2)x(5)x(10)x(21)+x(32)x(42),
1214	-x(1)x(4)x(14)^2-x(2)x(5)x(23)x(26)-x(2)x(5)x(20)x(28)+x(18)*x(42),
1215	-x(1)x(4)x(9)^2-2x(2)x(5)x(33)x(42)+x(33)*x(42),
1216	-x(1)x(8)x(11)x(13)-x(2)x(11)x(12)x(21)-x(2)x(15)x(16)x(21)+x(23)x(42),
1217	-x(1)x(13)x(14)x(26)-x(2)x(15)x(28)x(40)-x(2)x(21)x(26)x(44)+x(37)x(42),
1218	-x(1)x(9)x(13)x(33)-x(2)x(15)x(24)x(42)-x(2)x(21)x(33)x(44)+x(24)x(42),
1219	-x(1)x(8)^2x(21)-x(2)x(11)x(16)x(21)-x(2)x(11)x(21)x(22)+x(23)*x(42),
1220	-x(1)x(8)x(14)x(28)-x(2)x(21)x(26)x(29)-x(2)x(11)x(28)x(31)+x(29)x(42),
1221	-x(2)x(21)x(33)x(35)-x(1)x(8)x(9)x(42)-x(2)x(11)x(42)x(43)+x(42)x(44),
1222	-x(1)x(8)^2x(11)-x(2)x(11)^2x(12)-x(2)x(10)x(16)x(21)+x(33)x(42),
1223	-x(1)x(8)x(14)x(23)-x(2)x(20)x(21)x(29)-x(2)x(11)x(23)x(44)+x(24)x(42),
1224	-x(2)x(21)x(33)x(35)-x(1)x(8)x(9)x(42)-x(2)x(11)x(42)x(44)+x(42)x(43),
1225	-x(1)x(11)^2x(25)-x(2)x(16)^2x(34)-x(2)x(12)^2x(42)+x(42)*x(44),
1226	-x(1)x(23)x(25)x(26)-x(2)x(29)x(34)x(40)-x(2)x(42)x(44)^2+x(38)*x(42),
1227	-x(2)x(24)x(34)x(35)-x(1)x(25)x(33)x(42)-x(2)x(42)x(44)^2+x(38)*x(42),
1228	-x(2)x(12)x(16)x(23)-x(2)x(16)x(22)x(23)-x(1)x(11)x(21)x(32)+x(24)x(42),
1229	-x(2)x(23)x(29)x(31)-x(1)x(23)x(28)x(32)-x(2)x(23)x(29)x(44)+x(30)x(42),
1230	-x(1)x(32)x(42)^2-x(2)x(23)x(35)x(43)-x(2)x(23)x(35)x(44)+x(38)*x(42),
1231	-x(1)x(8)x(10)x(13)-x(2)x(11)x(15)x(16)-x(2)x(10)x(21)x(22)+x(18)x(42),
1232	-x(1)x(13)x(14)x(20)-x(2)x(20)x(21)x(31)-x(2)x(15)x(23)x(40)+x(19)x(42),
1233	-x(1)x(9)x(13)x(33)-x(2)x(15)x(24)x(42)-x(2)x(21)x(33)x(43)+x(24)x(42),
1234	-x(1)x(10)x(11)x(27)-x(2)x(12)x(16)x(28)-x(2)x(16)x(22)x(28)+x(29)x(42),
1235	-x(1)x(20)x(26)x(27)-x(2)x(28)x(31)x(40)-x(2)x(28)x(40)x(44)+x(39)x(42),
1236	-x(1)x(27)x(33)^2-x(2)x(24)x(28)x(43)-x(2)x(24)x(28)x(44)+x(30)*x(42),
1237	-x(1)x(10)x(21)x(25)-x(2)x(16)^2x(34)-x(2)x(22)^2x(42)+x(37)x(42),
1238	-x(1)x(20)x(25)x(28)-x(2)x(29)x(34)x(40)-x(2)x(31)^2x(42)+x(39)*x(42),
1239	-x(2)x(24)x(34)x(35)-x(1)x(25)x(33)x(42)-x(2)x(42)x(43)^2+x(38)*x(42),
1240	-x(1)x(4)x(6)x(13)-x(2)x(5)x(15)^2-x(2)x(5)x(10)x(21)+x(32)*x(34),
1241	-x(1)x(4)x(14)^2-2x(2)x(5)x(18)x(34)+x(18)*x(34),
1242	-x(1)x(4)x(14)^2-x(2)x(5)x(23)x(26)-x(2)x(5)x(20)x(28)+x(33)*x(34),
1243	-x(1)x(10)x(13)^2-x(2)x(15)x(16)x(21)-x(2)x(15)x(21)x(22)+x(23)*x(34),
1244	-x(1)x(13)x(14)x(26)-x(2)x(18)x(21)x(35)-x(2)x(15)x(34)x(37)+x(34)x(37),
1245	-x(1)x(13)x(14)x(18)-x(2)x(20)x(21)x(29)-x(2)x(15)x(23)x(37)+x(24)x(34),
1246	-x(1)x(8)x(13)x(15)-x(2)x(11)x(16)x(21)-x(2)x(15)x(17)x(21)+x(23)x(34),
1247	-x(1)x(8)x(14)x(28)-x(2)x(11)x(29)x(34)-x(2)x(18)x(21)x(36)+x(29)x(34),
1248	-x(1)x(8)x(14)x(34)-x(2)x(11)x(23)x(35)-x(2)x(20)x(21)x(36)+x(34)x(44),
1249	-x(2)x(11)x(15)x(16)-x(1)x(6)x(8)x(21)-x(2)x(10)x(21)x(22)+x(33)x(34),
1250	-x(1)x(8)x(14)x(23)-x(2)x(11)x(24)x(34)-x(2)x(18)x(21)x(37)+x(24)x(34),
1251	-x(1)x(8)x(14)x(34)-x(2)x(21)x(26)x(37)-x(2)x(11)x(28)x(40)+x(34)x(43),
1252	-x(1)x(10)x(21)x(25)-x(2)x(22)^2x(34)-x(2)x(16)^2x(42)+x(34)x(44),
1253	-x(1)x(23)x(25)x(26)-x(2)x(34)x(37)^2-x(2)x(24)x(35)x(42)+x(34)*x(38),
1254	-x(1)x(18)x(25)x(34)-x(2)x(34)x(37)^2-x(2)x(29)x(40)x(42)+x(34)*x(38),
1255	-x(2)x(16)x(17)x(23)-x(2)x(16)x(22)x(23)-x(1)x(15)x(21)x(32)+x(24)x(34),
1256	-x(1)x(23)x(28)x(32)-x(2)x(23)x(24)x(36)-x(2)x(23)x(29)x(37)+x(30)x(34),
1257	-x(1)x(32)x(34)^2-x(2)x(23)x(35)x(37)-x(2)x(23)x(36)x(40)+x(34)*x(38),
1258	-x(1)x(6)x(13)x(15)-x(2)x(15)^2x(17)-x(2)x(10)x(16)x(21)+x(18)*x(34),
1259	-x(1)x(13)x(14)x(20)-x(2)x(15)x(19)x(34)-x(2)x(18)x(21)x(40)+x(19)x(34),
1260	-x(1)x(13)x(14)x(18)-x(2)x(21)x(24)x(26)-x(2)x(15)x(19)x(28)+x(24)x(34),
1261	-x(1)x(10)x(15)x(27)-x(2)x(16)x(17)x(28)-x(2)x(16)x(22)x(28)+x(29)x(34),
1262	-x(1)x(20)x(26)x(27)-x(2)x(19)x(28)x(35)-x(2)x(28)x(37)x(40)+x(34)x(39),
1263	-x(1)x(18)^2x(27)-x(2)x(19)x(28)x(29)-x(2)x(24)x(28)x(37)+x(30)*x(34),
1264	-x(1)x(15)^2x(25)-x(2)x(17)^2x(34)-x(2)x(16)^2x(42)+x(34)*x(37),
1265	-x(1)x(20)x(25)x(28)-x(2)x(19)x(34)x(36)-x(2)x(29)x(40)x(42)+x(34)x(39),
1266	-x(1)x(18)x(25)x(34)-x(2)x(19)x(34)x(36)-x(2)x(24)x(35)x(42)+x(34)x(38),
1267	-x(1)x(4)x(6)x(8)-x(2)x(5)x(10)x(11)-x(2)x(5)x(10)x(15)+x(26)x(32),
1268	-x(1)x(6)x(8)x(15)-x(2)x(10)x(11)x(16)-x(2)x(10)x(15)x(17)+x(18)x(26),
1269	-x(1)x(8)^2x(10)-x(2)x(10)x(11)x(16)-x(2)x(10)x(11)x(22)+x(26)*x(33),
1270	-x(1)x(4)x(14)^2-x(2)x(5)x(23)x(26)-x(2)x(5)x(20)x(28)+x(23)*x(26),
1271	-x(1)x(6)x(14)x(34)-x(2)x(10)x(23)x(35)-x(2)x(15)x(20)x(36)+x(26)x(37),
1272	-x(1)x(8)x(14)x(18)-x(2)x(11)x(20)x(29)-x(2)x(10)x(23)x(37)+x(24)x(26),
1273	-x(1)x(4)x(9)x(14)-x(2)x(5)x(33)x(34)-x(2)x(5)x(18)x(42)+x(23)x(26),
1274	-x(1)x(6)x(9)x(28)-x(2)x(15)x(33)x(36)-x(2)x(10)x(29)x(42)+x(26)x(29),
1275	-x(1)x(8)x(9)x(26)-x(2)x(11)x(33)x(35)-x(2)x(10)x(37)x(42)+x(26)x(44),
1276	-x(1)x(6)x(8)x(11)-x(2)x(10)x(11)x(12)-x(2)x(10)x(15)x(16)+x(26)x(33),
1277	-x(2)x(16)x(17)x(18)-x(1)x(11)x(15)x(32)-x(2)x(12)x(16)x(33)+x(24)x(26),
1278	-x(1)x(10)x(11)x(25)-x(2)x(16)^2x(26)-x(2)x(12)x(22)x(26)+x(26)*x(43),
1279	-x(1)x(8)x(14)x(26)-x(2)x(10)x(28)x(40)-x(2)x(11)x(26)x(44)+x(26)x(44),
1280	-x(1)x(26)x(32)x(34)-x(2)x(18)x(36)x(40)-x(2)x(33)x(35)x(44)+x(26)x(38),
1281	-x(1)x(18)x(25)x(26)-x(2)x(26)x(29)x(40)-x(2)x(26)x(37)x(44)+x(26)x(38),
1282	-x(1)x(8)x(14)x(33)-x(2)x(10)x(24)x(34)-x(2)x(11)x(18)x(44)+x(24)x(26),
1283	-x(1)x(28)x(32)x(33)-x(2)x(18)x(24)x(36)-x(2)x(29)x(33)x(44)+x(26)x(30),
1284	-x(1)x(25)x(26)x(33)-x(2)x(24)x(26)x(35)-x(2)x(26)x(37)x(44)+x(26)x(38),
1285	-x(2)x(10)x(15)x(16)-x(1)x(6)^2x(21)-x(2)x(10)x(15)x(22)+x(18)*x(26),
1286	-x(2)x(16)^2x(20)-x(1)x(7)x(15)x(21)-x(2)x(17)x(20)x(22)+x(19)*x(26),
1287	-x(2)x(16)x(18)x(22)-x(1)x(10)x(21)x(32)-x(2)x(16)x(22)x(33)+x(24)x(26),
1288	-x(1)x(6)x(14)x(28)-x(2)x(15)x(26)x(29)-x(2)x(10)x(28)x(31)+x(26)x(29),
1289	-x(1)x(7)x(28)x(34)-x(2)x(20)x(29)x(35)-x(2)x(20)x(31)x(36)+x(26)x(39),
1290	-x(1)x(18)x(28)x(32)-x(2)x(29)x(31)x(33)-x(2)x(18)x(29)x(37)+x(26)x(30),
1291	-x(2)x(15)x(18)x(35)-x(1)x(6)x(14)x(42)-x(2)x(10)x(34)x(43)+x(26)x(37),
1292	-x(2)x(20)x(29)x(35)-x(1)x(7)x(28)x(42)-x(2)x(20)x(36)x(43)+x(26)x(39),
1293	-x(2)x(18)x(35)x(37)-x(1)x(26)x(32)x(42)-x(2)x(33)x(35)x(43)+x(26)x(38),
1294	-x(2)x(10)x(18)x(21)-x(1)x(8)^2x(32)-x(2)x(11)^2x(33)+x(32)x(44),
1295	-x(1)x(8)x(14)x(18)-x(2)x(11)x(24)x(26)-x(2)x(10)x(19)x(28)+x(18)x(44),
1296	-x(1)x(8)x(9)x(33)-x(2)x(10)x(24)x(42)-x(2)x(11)x(33)x(43)+x(33)x(44),
1297	-x(1)x(8)x(14)x(23)-x(2)x(20)x(21)x(29)-x(2)x(11)x(23)x(44)+x(23)x(44),
1298	-x(1)x(14)^2x(37)-x(2)x(23)x(26)x(38)-x(2)x(20)x(28)x(39)+x(37)*x(44),
1299	-x(1)x(9)x(14)x(24)-x(2)x(23)x(33)x(38)-x(2)x(20)x(30)x(42)+x(24)x(44),
1300	-x(1)x(8)x(9)x(23)-x(2)x(21)x(33)x(37)-x(2)x(11)x(24)x(42)+x(23)x(44),
1301	-x(1)x(9)x(14)x(29)-x(2)x(28)x(33)x(39)-x(2)x(26)x(30)x(42)+x(29)x(44),
1302	-2x(2)x(33)x(38)x(42)-x(1)x(9)^2x(44)+x(44)^2,
1303	-x(2)x(16)^2x(18)-x(1)x(11)^2x(32)-x(2)x(12)^2x(33)+x(33)*x(44),
1304	-x(1)x(11)x(18)x(23)-x(2)x(16)x(19)x(29)-x(2)x(12)x(24)x(44)+x(24)x(44),
1305	-x(2)x(16)x(24)x(35)-x(1)x(11)x(33)x(42)-x(2)x(12)x(43)x(44)+x(43)x(44),
1306	-x(1)x(11)x(23)x(26)-x(2)x(16)x(29)x(40)-x(2)x(12)x(44)^2+x(44)^2,
1307	-x(1)x(23)x(26)x(37)-x(2)x(29)x(39)x(40)-x(2)x(38)x(44)^2+x(38)*x(44),
1308	-x(2)x(30)x(35)x(40)-x(1)x(24)x(26)x(42)-x(2)x(38)x(44)^2+x(38)*x(44),
1309	-x(1)x(11)x(23)x(33)-x(2)x(16)x(24)x(37)-x(2)x(12)x(24)x(44)+x(24)x(44),
1310	-x(1)x(23)x(29)x(33)-x(2)x(24)x(29)x(39)-x(2)x(30)x(44)^2+x(30)*x(44),
1311	-x(2)x(24)x(35)x(38)-x(1)x(33)x(42)x(44)-x(2)x(38)x(44)^2+x(38)*x(44),
1312	-x(2)x(18)x(22)^2-x(1)x(10)x(21)x(32)-x(2)x(16)^2x(33)+x(18)x(44),
1313	-x(1)x(18)x(20)x(21)-x(2)x(19)x(22)x(31)-x(2)x(16)x(24)x(40)+x(19)x(44),
1314	-x(1)x(21)x(33)^2-x(2)x(16)x(24)x(43)-x(2)x(22)x(24)x(43)+x(24)*x(44),
1315	-x(1)x(10)x(23)x(28)-x(2)x(22)x(29)x(31)-x(2)x(16)x(29)x(44)+x(29)x(44),
1316	-x(1)x(20)x(28)x(37)-x(2)x(31)^2x(39)-x(2)x(29)x(38)x(40)+x(39)*x(44),
1317	-x(1)x(24)x(28)x(33)-x(2)x(24)x(29)x(38)-x(2)x(30)x(31)x(43)+x(30)x(44),
1318	-x(2)x(16)x(24)x(35)-x(1)x(10)x(23)x(42)-x(2)x(22)x(37)x(43)+x(37)x(44),
1319	-x(2)x(30)x(35)x(40)-x(1)x(20)x(29)x(42)-x(2)x(31)x(39)x(43)+x(39)x(44),
1320	-x(2)x(24)x(35)x(38)-x(2)x(38)x(43)^2-x(1)x(33)x(42)x(44)+x(38)*x(44),
1321	-x(1)x(7)x(8)x(13)-x(2)x(11)x(15)x(20)-x(2)x(10)x(20)x(21)+x(32)x(40),
1322	-x(1)x(8)x(14)x(20)-x(2)x(10)x(19)x(34)-x(2)x(11)x(18)x(40)+x(18)x(40),
1323	-x(1)x(8)x(14)x(20)-x(2)x(11)x(20)x(31)-x(2)x(10)x(23)x(40)+x(33)x(40),
1324	-x(1)x(13)x(14)x(20)-x(2)x(20)x(21)x(31)-x(2)x(15)x(23)x(40)+x(23)x(40),
1325	-x(2)x(20)x(34)x(39)-x(1)x(14)^2x(40)-x(2)x(18)x(23)x(41)+x(37)*x(40),
1326	-x(1)x(14)^2x(19)-2x(2)x(20)x(23)x(39)+x(24)*x(40),
1327	-x(1)x(9)x(13)x(20)-x(2)x(21)x(33)x(40)-x(2)x(15)x(19)x(42)+x(23)x(40),
1328	-x(1)x(9)x(14)x(31)-x(2)x(33)x(34)x(39)-x(2)x(18)x(39)x(42)+x(29)x(40),
1329	-x(1)x(9)x(14)x(40)-x(2)x(23)x(33)x(41)-x(2)x(20)x(39)x(42)+x(40)x(44),
1330	-x(2)x(12)x(16)x(20)-x(1)x(7)x(11)x(21)-x(2)x(16)x(20)x(22)+x(33)x(40),
1331	-x(1)x(11)x(20)x(23)-x(2)x(16)x(19)x(37)-x(2)x(12)x(24)x(40)+x(24)x(40),
1332	-x(1)x(11)x(20)x(34)-x(2)x(12)x(31)x(40)-x(2)x(16)x(37)x(40)+x(40)x(43),
1333	-x(1)x(20)x(21)x(26)-x(2)x(22)x(31)x(40)-x(2)x(16)x(40)x(44)+x(40)x(44),
1334	-x(1)x(23)x(26)x(40)-x(2)x(37)x(39)x(40)-x(2)x(24)x(41)x(44)+x(38)x(40),
1335	-x(1)x(19)x(26)x(34)-x(2)x(37)x(39)x(40)-x(2)x(39)x(40)x(44)+x(38)x(40),
1336	-x(1)x(20)x(21)x(33)-x(2)x(22)x(24)x(40)-x(2)x(16)x(19)x(44)+x(24)x(40),
1337	-x(1)x(23)x(31)x(33)-x(2)x(24)x(37)x(39)-x(2)x(24)x(39)x(44)+x(30)x(40),
1338	-x(1)x(33)x(34)x(40)-x(2)x(24)x(37)x(41)-x(2)x(39)x(40)x(44)+x(38)x(40),
1339	-x(2)x(16)x(17)x(20)-x(1)x(7)x(15)x(21)-x(2)x(16)x(20)x(22)+x(18)x(40),
1340	-x(1)x(20)^2x(21)-x(2)x(16)x(19)x(40)-x(2)x(19)x(22)x(40)+x(19)*x(40),
1341	-x(1)x(18)x(20)x(21)-x(2)x(16)x(19)x(31)-x(2)x(22)x(24)x(40)+x(24)x(40),
1342	-x(1)x(15)x(20)x(28)-x(2)x(16)x(31)^2-x(2)x(17)x(29)x(40)+x(29)*x(40),
1343	-x(1)x(20)x(28)x(40)-x(2)x(31)x(39)x(40)-x(2)x(19)x(29)x(41)+x(39)x(40),
1344	-x(1)x(18)x(19)x(28)-x(2)x(19)x(29)x(39)-x(2)x(24)x(31)x(39)+x(30)x(40),
1345	-x(2)x(17)x(19)x(35)-x(1)x(15)x(20)x(42)-x(2)x(16)x(40)x(43)+x(37)x(40),
1346	-x(2)x(19)x(35)x(39)-x(1)x(20)x(31)x(42)-x(2)x(39)x(40)x(43)+x(39)x(40),
1347	-x(2)x(19)x(35)x(39)-x(1)x(18)x(40)x(42)-x(2)x(24)x(41)x(43)+x(38)x(40),
1348	-x(1)x(6)x(8)x(25)-x(2)x(11)x(15)x(26)-x(2)x(10)x(21)x(26)+x(32)x(35),
1349	-x(1)x(6)x(14)x(34)-x(2)x(15)x(26)x(37)-x(2)x(10)x(28)x(40)+x(18)x(35),
1350	-x(2)x(15)x(33)x(35)-x(1)x(6)x(9)x(42)-x(2)x(10)x(42)x(44)+x(33)x(35),
1351	-x(2)x(18)x(21)x(35)-x(1)x(8)x(14)x(42)-x(2)x(11)x(34)x(44)+x(23)x(35),
1352	-x(1)x(14)^2x(35)-x(2)x(26)x(34)x(38)-x(2)x(18)x(28)x(41)+x(35)*x(37),
1353	-x(2)x(33)x(34)x(38)-x(2)x(18)x(38)x(42)-x(1)x(9)x(14)x(43)+x(24)x(35),
1354	-x(1)x(8)x(14)x(34)-x(2)x(21)x(26)x(37)-x(2)x(11)x(28)x(40)+x(23)x(35),
1355	-x(1)x(14)^2x(36)-2x(2)x(26)x(28)x(39)+x(29)*x(35),
1356	-x(1)x(9)x(14)x(35)-x(2)x(28)x(33)x(41)-x(2)x(26)x(38)x(42)+x(35)x(44),
1357	-x(1)x(10)x(11)x(25)-x(2)x(12)x(16)x(26)-x(2)x(16)x(22)x(26)+x(33)x(35),
1358	-x(1)x(10)x(23)x(34)-x(2)x(22)x(29)x(40)-x(2)x(16)x(37)x(44)+x(24)x(35),
1359	-x(1)x(10)x(42)^2-x(2)x(16)x(35)x(44)-x(2)x(22)x(35)x(44)+x(35)*x(43),
1360	-x(2)x(16)x(35)x(37)-x(1)x(11)x(26)x(42)-x(2)x(12)x(35)x(44)+x(35)x(44),
1361	-x(1)x(23)x(26)x(35)-x(2)x(29)x(37)x(41)-x(2)x(35)x(38)x(44)+x(35)x(38),
1362	-x(2)x(35)x(37)x(38)-x(1)x(26)x(42)x(43)-x(2)x(35)x(38)x(44)+x(35)x(38),
1363	-x(1)x(11)x(18)x(34)-x(2)x(16)x(37)^2-x(2)x(12)x(29)x(40)+x(24)*x(35),
1364	-x(1)x(18)x(23)x(36)-x(2)x(29)x(37)x(39)-x(2)x(29)x(39)x(44)+x(30)x(35),
1365	-x(2)x(35)x(37)x(38)-x(1)x(18)x(35)x(42)-x(2)x(29)x(41)x(44)+x(35)x(38),
1366	-x(1)x(10)x(15)x(25)-x(2)x(16)x(17)x(26)-x(2)x(16)x(22)x(26)+x(18)x(35),
1367	-x(1)x(15)x(20)x(34)-x(2)x(16)x(31)x(40)-x(2)x(17)x(37)x(40)+x(19)x(35),
1368	-x(2)x(17)x(24)x(35)-x(1)x(15)x(33)x(42)-x(2)x(16)x(43)x(44)+x(24)x(35),
1369	-x(2)x(22)x(29)x(35)-x(1)x(10)x(28)x(42)-x(2)x(16)x(36)x(44)+x(29)x(35),
1370	-x(1)x(20)x(28)x(35)-x(2)x(36)x(38)x(40)-x(2)x(29)x(31)x(41)+x(35)x(39),
1371	-x(2)x(24)x(36)x(38)-x(1)x(28)x(33)x(43)-x(2)x(29)x(38)x(43)+x(30)x(35),
1372	-x(1)x(10)x(34)^2-x(2)x(22)x(35)x(37)-x(2)x(16)x(36)x(40)+x(35)*x(37),
1373	-x(1)x(20)x(34)x(36)-x(2)x(31)x(35)x(39)-x(2)x(36)x(39)x(40)+x(35)x(39),
1374	-x(1)x(33)x(34)x(35)-x(2)x(24)x(36)x(41)-x(2)x(35)x(38)x(43)+x(35)x(38),
1375	-x(2)x(15)^2x(18)-x(1)x(6)x(13)x(32)-x(2)x(10)x(21)x(33)+x(32)*x(37),
1376	-x(1)x(6)x(14)x(23)-x(2)x(10)x(24)x(34)-x(2)x(15)x(18)x(37)+x(18)x(37),
1377	-x(1)x(6)x(14)x(23)-x(2)x(15)x(20)x(29)-x(2)x(10)x(23)x(44)+x(33)x(37),
1378	-x(1)x(13)x(14)x(33)-x(2)x(15)x(24)x(34)-x(2)x(18)x(21)x(43)+x(23)x(37),
1379	-2x(2)x(18)x(34)x(38)-x(1)x(14)^2x(44)+x(37)^2,
1380	-x(1)x(14)^2x(24)-x(2)x(20)x(30)x(34)-x(2)x(18)x(23)x(38)+x(24)*x(37),
1381	-x(1)x(13)x(14)x(18)-x(2)x(21)x(24)x(26)-x(2)x(15)x(19)x(28)+x(23)x(37),
1382	-x(1)x(14)^2x(29)-x(2)x(26)x(30)x(34)-x(2)x(18)x(28)x(39)+x(29)*x(37),
1383	-x(2)x(16)^2x(18)-x(1)x(10)x(21)x(32)-x(2)x(22)^2x(33)+x(33)x(37),
1384	-x(1)x(10)x(23)^2-x(2)x(16)x(24)x(37)-x(2)x(22)x(24)x(37)+x(24)*x(37),
1385	-x(1)x(10)x(23)x(34)-x(2)x(16)x(29)x(40)-x(2)x(22)x(37)x(44)+x(37)x(43),
1386	-x(1)x(21)x(26)x(33)-x(2)x(16)x(24)x(35)-x(2)x(22)x(37)x(43)+x(37)x(44),
1387	-x(2)x(24)x(35)x(38)-x(2)x(37)^2x(38)-x(1)x(23)x(26)x(44)+x(37)*x(38),
1388	-x(1)x(24)x(26)x(34)-x(2)x(37)^2x(38)-x(2)x(30)x(35)x(40)+x(37)*x(38),
1389	-x(1)x(18)^2x(21)-x(2)x(16)x(19)x(29)-x(2)x(22)x(24)x(37)+x(24)*x(37),
1390	-x(1)x(18)x(23)x(29)-x(2)x(30)x(37)^2-x(2)x(24)x(29)x(39)+x(30)*x(37),
1391	-x(1)x(18)x(34)x(37)-x(2)x(37)^2x(38)-x(2)x(29)x(39)x(40)+x(37)*x(38),
1392	-x(2)x(17)^2x(18)-x(1)x(15)^2x(32)-x(2)x(16)^2x(33)+x(18)*x(37),
1393	-x(1)x(15)x(20)x(23)-x(2)x(17)x(19)x(37)-x(2)x(16)x(24)x(40)+x(19)x(37),
1394	-x(1)x(15)x(18)x(23)-x(2)x(17)x(19)x(29)-x(2)x(16)x(24)x(44)+x(24)x(37),
1395	-x(1)x(15)x(28)x(33)-x(2)x(17)x(24)x(36)-x(2)x(16)x(29)x(43)+x(29)x(37),
1396	-x(2)x(19)x(36)x(38)-x(2)x(29)x(38)x(40)-x(1)x(20)x(28)x(44)+x(37)x(39),
1397	-x(1)x(18)x(24)x(28)-x(2)x(19)x(30)x(36)-x(2)x(24)x(29)x(38)+x(30)x(37),
1398	-x(1)x(15)x(18)x(34)-x(2)x(16)x(24)x(35)-x(2)x(17)x(19)*x(36)+x(37)^2,
1399	-x(1)x(20)x(29)x(34)-x(2)x(19)x(36)x(39)-x(2)x(30)x(35)x(40)+x(37)x(39),
1400	-x(1)x(18)x(34)x(37)-x(2)x(24)x(35)x(38)-x(2)x(19)x(36)x(39)+x(37)x(38),
1401	-x(1)x(6)x(8)x(25)-x(2)x(10)x(15)x(34)-x(2)x(10)x(11)x(42)+x(32)x(35),
1402	-x(1)x(6)x(14)x(34)-x(2)x(10)x(23)x(35)-x(2)x(15)x(20)x(36)+x(18)x(35),
1403	-x(2)x(15)x(33)x(35)-x(1)x(6)x(9)x(42)-x(2)x(10)x(42)x(43)+x(33)x(35),
1404	-x(1)x(11)x(15)x(25)-x(2)x(16)x(17)x(34)-x(2)x(12)x(16)x(42)+x(23)x(35),
1405	-x(1)x(15)x(26)x(34)-x(2)x(17)x(36)x(40)-x(2)x(16)x(35)x(44)+x(35)x(37),
1406	-x(1)x(10)x(21)x(25)-x(2)x(16)x(22)x(34)-x(2)x(16)x(22)x(42)+x(23)x(35),
1407	-x(1)x(10)x(28)x(34)-x(2)x(22)x(29)x(35)-x(2)x(16)x(31)x(36)+x(29)x(35),
1408	-x(1)x(10)x(42)^2-x(2)x(16)x(35)x(43)-x(2)x(22)x(35)x(43)+x(35)*x(44),
1409	-x(1)x(8)x(14)x(26)-x(2)x(10)x(28)x(40)-x(2)x(11)x(26)x(44)+x(33)x(35),
1410	-x(1)x(14)^2x(37)-x(2)x(23)x(26)x(38)-x(2)x(20)x(28)x(39)+x(24)*x(35),
1411	-x(1)x(9)x(14)x(35)-x(2)x(28)x(33)x(41)-x(2)x(26)x(38)x(42)+x(35)x(43),
1412	-x(1)x(11)x(26)x(34)-x(2)x(16)x(36)x(40)-x(2)x(12)x(35)x(44)+x(35)x(44),
1413	-x(1)x(26)x(34)x(37)-x(2)x(36)x(39)x(40)-x(2)x(35)x(38)x(44)+x(35)x(38),
1414	-x(1)x(33)x(34)x(35)-x(2)x(24)x(36)x(41)-x(2)x(35)x(38)x(44)+x(35)x(38),
1415	-x(1)x(18)x(21)x(26)-x(2)x(22)x(29)x(40)-x(2)x(16)x(37)x(44)+x(24)x(35),
1416	-x(1)x(18)x(28)x(37)-x(2)x(29)x(37)x(38)-x(2)x(29)x(31)x(39)+x(30)x(35),
1417	-x(2)x(35)x(37)x(38)-x(1)x(18)x(35)x(42)-x(2)x(29)x(41)x(43)+x(35)x(38),
1418	-x(1)x(8)x(14)x(26)-x(2)x(11)x(18)x(35)-x(2)x(10)x(34)x(37)+x(18)x(35),
1419	-x(2)x(20)x(34)x(39)-x(1)x(14)^2x(40)-x(2)x(18)x(23)x(41)+x(19)*x(35),
1420	-x(2)x(33)x(34)x(38)-x(2)x(18)x(38)x(42)-x(1)x(9)x(14)x(44)+x(24)x(35),
1421	-x(1)x(11)x(26)x(28)-x(2)x(12)x(29)x(35)-x(2)x(16)x(36)x(37)+x(29)x(35),
1422	-x(1)x(26)x(28)x(40)-x(2)x(36)x(39)x(40)-x(2)x(29)x(41)x(44)+x(35)x(39),
1423	-x(2)x(24)x(36)x(38)-x(1)x(28)x(33)x(44)-x(2)x(29)x(38)x(44)+x(30)x(35),
1424	-x(1)x(21)x(26)^2-x(2)x(16)x(35)x(37)-x(2)x(22)x(35)x(37)+x(35)*x(37),
1425	-x(2)x(31)x(35)x(39)-x(1)x(26)x(28)x(40)-x(2)x(29)x(37)x(41)+x(35)x(39),
1426	-x(2)x(35)x(37)x(38)-x(2)x(35)x(38)x(43)-x(1)x(26)x(42)x(44)+x(35)x(38),
1427	-x(1)x(6)^2x(27)-2x(2)x(10)x(15)x(28)+x(32)*x(36),
1428	-x(1)x(6)x(14)x(28)-x(2)x(10)x(29)x(34)-x(2)x(15)x(18)x(36)+x(18)x(36),
1429	-x(1)x(6)x(14)x(28)-x(2)x(15)x(26)x(29)-x(2)x(10)x(28)x(31)+x(33)x(36),
1430	-x(1)x(10)x(15)x(27)-x(2)x(16)^2x(28)-x(2)x(17)x(22)x(28)+x(23)*x(36),
1431	-x(1)x(15)x(26)x(28)-x(2)x(16)x(29)x(35)-x(2)x(17)x(36)x(37)+x(36)x(37),
1432	-x(1)x(15)x(18)x(28)-x(2)x(16)x(29)x(31)-x(2)x(17)x(29)x(37)+x(24)x(36),
1433	-x(1)x(10)x(28)^2-x(2)x(16)x(29)x(36)-x(2)x(22)x(29)x(36)+x(29)*x(36),
1434	-x(1)x(10)x(28)x(34)-x(2)x(16)x(29)x(35)-x(2)x(22)x(31)x(36)+x(36)x(44),
1435	-x(1)x(14)^2x(29)-x(2)x(26)x(30)x(34)-x(2)x(18)x(28)x(39)+x(24)*x(36),
1436	-x(1)x(14)^2x(36)-2x(2)x(26)x(28)x(39)+x(36)*x(43),
1437	-x(1)x(26)x(29)x(34)-x(2)x(30)x(35)^2-x(2)x(36)x(37)x(39)+x(36)*x(38),
1438	-x(1)x(18)x(34)x(36)-x(2)x(29)x(35)x(39)-x(2)x(36)x(37)x(39)+x(36)x(38),
1439	-x(1)x(18)x(28)x(29)-x(2)x(30)x(36)x(37)-x(2)x(29)^2x(39)+x(30)*x(36),
1440	-x(1)x(14)^2x(31)-2x(2)x(18)x(34)x(39)+x(19)*x(36),
1441	-x(1)x(26)x(28)x(31)-x(2)x(29)x(35)x(39)-x(2)x(36)x(37)x(39)+x(36)x(39),
1442	-x(1)x(25)x(32)^2-x(2)x(18)^2x(34)-x(2)x(33)^2x(42)+x(32)*x(38),
1443	-x(1)x(18)x(32)x(34)-x(2)x(24)x(33)x(35)-x(2)x(18)x(19)x(36)+x(18)x(38),
1444	-x(2)x(18)x(24)x(35)-x(1)x(32)x(33)x(42)-x(2)x(33)x(43)^2+x(33)*x(38),
1445	-x(1)x(18)x(23)x(25)-x(2)x(19)x(29)x(34)-x(2)x(24)x(42)x(44)+x(23)x(38),
1446	-x(2)x(19)x(30)x(35)-x(1)x(18)x(24)x(42)-x(2)x(24)x(38)x(43)+x(24)x(38),
1447	-x(1)x(23)x(25)x(33)-x(2)x(24)x(34)x(37)-x(2)x(24)x(42)x(43)+x(23)x(38),
1448	-x(1)x(29)x(33)x(34)-x(2)x(24)x(36)x(39)-x(2)x(30)x(35)x(43)+x(29)x(38),
1449	-x(1)x(23)x(26)x(32)-x(2)x(18)x(29)x(40)-x(2)x(33)x(44)^2+x(33)*x(38),
1450	-x(1)x(18)x(23)x(37)-x(2)x(19)x(29)x(39)-x(2)x(24)x(38)x(44)+x(24)x(38),
1451	-x(1)x(23)x(33)x(35)-x(2)x(24)x(29)x(41)-x(2)x(38)x(43)x(44)+x(38)x(43),
1452	-x(1)x(37)^3-x(2)x(38)^3-x(2)*x(39)^3+x(38)^2,
1453	-x(1)x(24)x(35)x(37)-x(2)x(38)^3-x(2)x(30)x(39)*x(41)+x(38)^2,
1454	-x(1)x(23)x(24)x(26)-x(2)x(30)x(37)x(40)-x(2)x(24)x(38)x(44)+x(24)x(38),
1455	-x(1)x(24)x(29)x(37)-x(2)x(30)x(38)^2-x(2)x(30)x(39)^2+x(30)x(38),
1456	-x(2)x(38)^3-x(2)x(30)x(38)x(41)-x(1)x(24)x(35)*x(44)+x(38)^2,
1457	-x(1)x(23)x(26)x(32)-x(2)x(24)x(33)x(35)-x(2)x(18)x(37)^2+x(18)*x(38),
1458	-x(2)x(19)x(37)x(39)-x(1)x(18)x(23)x(40)-x(2)x(24)^2x(41)+x(19)*x(38),
1459	-x(2)x(24)x(37)x(38)-x(2)x(24)x(38)x(43)-x(1)x(23)x(33)x(44)+x(24)x(38),
1460	-x(1)x(23)x(26)x(29)-x(2)x(29)x(37)x(39)-x(2)x(30)x(35)x(44)+x(29)x(38),
1461	-x(2)x(39)^3-x(1)x(29)x(37)x(40)-x(2)x(30)x(38)x(41)+x(38)x(39),
1462	-x(2)x(30)x(38)^2-x(2)x(30)x(38)x(39)-x(1)x(24)x(29)x(44)+x(30)*x(38),
1463	-x(2)x(38)x(39)^2-x(2)x(30)x(38)x(41)-x(1)x(29)x(40)x(44)+x(38)*x(39),
1464	-2x(2)x(38)^3-x(1)*x(44)^3+x(38)^2,
1465	-x(2)x(18)x(20)x(28)-x(1)x(7)x(27)x(32)-x(2)x(20)x(28)x(33)+x(32)x(39),
1466	-x(1)x(20)x(28)x(32)-x(2)x(18)x(19)x(36)-x(2)x(29)x(33)x(40)+x(18)x(39),
1467	-x(1)x(20)x(28)x(32)-x(2)x(31)^2x(33)-x(2)x(18)x(29)x(40)+x(33)*x(39),
1468	-x(1)x(18)x(20)x(27)-x(2)x(19)x(28)x(31)-x(2)x(24)x(28)x(40)+x(23)x(39),
1469	-x(2)x(19)x(36)x(39)-x(1)x(18)x(28)x(40)-x(2)x(24)x(29)x(41)+x(37)x(39),
1470	-x(1)x(18)x(19)x(28)-x(2)x(19)x(29)x(39)-x(2)x(24)x(31)x(39)+x(24)x(39),
1471	-x(1)x(20)x(27)x(33)-x(2)x(24)x(28)x(40)-x(2)x(19)x(28)x(43)+x(23)x(39),
1472	-x(1)x(28)x(31)x(33)-x(2)x(24)x(36)x(39)-x(2)x(29)x(39)x(43)+x(29)x(39),
1473	-x(1)x(28)x(33)x(40)-x(2)x(24)x(29)x(41)-x(2)x(31)x(39)x(43)+x(39)x(44),
1474	-x(1)x(7)x(23)x(28)-x(2)x(20)x(29)x(31)-x(2)x(20)x(29)x(44)+x(33)x(39),
1475	-x(1)x(20)x(23)x(29)-x(2)x(19)x(29)x(39)-x(2)x(30)x(40)x(44)+x(24)x(39),
1476	-x(1)x(20)x(23)x(36)-x(2)x(29)x(39)x(40)-x(2)x(31)x(39)x(44)+x(39)x(43),
1477	-x(1)x(19)x(36)x(37)-x(2)x(38)x(39)^2-x(2)x(39)^3+x(38)*x(39),
1478	-x(1)x(20)x(24)x(28)-x(2)x(19)x(29)x(38)-x(2)x(30)x(31)x(40)+x(24)x(39),
1479	-x(1)x(24)x(29)x(31)-x(2)x(30)x(38)x(39)-x(2)x(30)x(39)^2+x(30)*x(39),
1480	-x(2)x(38)x(39)^2-x(1)x(24)x(36)x(40)-x(2)x(30)x(39)x(41)+x(38)*x(39),
1481	-x(1)x(7)x(23)x(28)-x(2)x(20)x(24)x(36)-x(2)x(20)x(29)x(37)+x(18)x(39),
1482	-x(1)x(20)x(23)x(31)-x(2)x(19)x(37)x(39)-x(2)x(24)x(39)x(40)+x(19)x(39),
1483	-x(1)x(20)x(23)x(29)-x(2)x(24)x(31)x(39)-x(2)x(30)x(37)x(40)+x(24)x(39),
1484	-x(1)x(20)x(28)x(29)-x(2)x(29)x(31)x(39)-x(2)x(30)x(36)x(40)+x(29)x(39),
1485	-x(2)x(39)^3-x(1)x(29)x(31)x(40)-x(2)x(30)x(39)*x(41)+x(39)^2,
1486	-x(1)x(19)x(29)^2-2x(2)x(30)x(39)^2+x(30)x(39),
1487	-2x(2)x(38)x(39)^2-x(1)x(31)^2*x(44)+x(39)^2,
1488	-x(1)x(7)x(25)^2-x(2)x(20)x(26)x(34)-x(2)x(20)x(26)x(42)+x(32)*x(41),
1489	-x(1)x(7)x(34)^2-x(2)x(20)x(35)x(37)-x(2)x(20)x(36)x(40)+x(18)*x(41),
1490	-x(1)x(7)x(42)^2-x(2)x(20)x(35)x(43)-x(2)x(20)x(35)x(44)+x(33)*x(41),
1491	-x(2)x(19)x(34)x(35)-x(1)x(20)x(25)x(42)-x(2)x(40)x(42)x(44)+x(23)x(41),
1492	-x(1)x(20)x(34)x(35)-x(2)x(35)x(38)x(40)-x(2)x(19)x(36)x(41)+x(37)x(41),
1493	-x(2)x(19)x(35)x(38)-x(2)x(38)x(40)x(43)-x(1)x(20)x(42)x(43)+x(24)x(41),
1494	-x(1)x(20)x(25)x(34)-x(2)x(34)x(37)x(40)-x(2)x(31)x(40)x(42)+x(23)x(41),
1495	-x(1)x(20)x(34)x(36)-x(2)x(31)x(35)x(39)-x(2)x(36)x(39)x(40)+x(29)x(41),
1496	-x(2)x(35)x(38)x(40)-x(1)x(20)x(35)x(42)-x(2)x(31)x(41)x(43)+x(41)x(44),
1497	-x(1)x(20)x(25)x(26)-x(2)x(26)x(31)x(40)-x(2)x(26)x(40)x(44)+x(33)x(41),
1498	-x(1)x(20)x(34)x(37)-x(2)x(37)x(38)x(40)-x(2)x(31)x(39)x(40)+x(24)x(41),
1499	-x(2)x(35)x(38)x(40)-x(1)x(20)x(35)x(42)-x(2)x(31)x(41)x(44)+x(41)x(43),
1500	-x(2)x(35)x(39)x(40)-x(1)x(26)x(40)x(42)-x(2)x(41)x(44)^2+x(41)*x(44),
1501	-x(1)x(35)x(37)x(40)-x(2)x(38)^2x(41)-x(2)x(39)^2x(41)+x(38)x(41),
1502	-x(2)x(38)^2x(41)-x(2)x(38)x(39)x(41)-x(1)x(35)x(40)x(43)+x(38)*x(41),
1503	-x(1)x(19)x(26)x(34)-x(2)x(37)x(39)x(40)-x(2)x(39)x(40)x(44)+x(24)x(41),
1504	-x(1)x(19)x(36)x(37)-x(2)x(38)x(39)^2-x(2)x(39)^3+x(30)*x(41),
1505	-x(1)x(19)x(35)^2-2x(2)x(38)x(39)x(41)+x(38)*x(41),
1506	-x(1)x(20)x(25)x(26)-x(2)x(19)x(26)x(35)-x(2)x(26)x(37)x(40)+x(18)x(41),
1507	-x(1)x(20)x(34)x(40)-x(2)x(39)x(40)^2-x(2)x(19)x(37)x(41)+x(19)*x(41),
1508	-x(2)x(19)x(35)x(38)-x(2)x(38)x(40)x(44)-x(1)x(20)x(42)x(44)+x(24)x(41),
1509	-x(2)x(35)x(37)x(39)-x(1)x(26)x(31)x(42)-x(2)x(35)x(39)x(44)+x(29)x(41),
1510	-x(1)x(31)x(35)x(40)-x(2)x(38)x(39)x(41)-x(2)x(39)^2x(41)+x(39)*x(41),
1511	-2x(2)x(38)^2x(39)-x(1)x(31)x(43)x(44)+x(30)*x(41),
1512	-x(1)x(26)x(34)x(40)-x(2)x(35)x(39)x(40)-x(2)x(37)^2x(41)+x(37)*x(41),
1513	-x(1)x(36)x(40)^2-2x(2)x(39)^2x(41)+x(39)x(41),
1514	-x(2)x(38)^2x(41)-x(2)x(38)x(39)x(41)-x(1)x(35)x(40)x(44)+x(38)*x(41),
1515	-2x(2)x(10)x(11)x(23)-x(1)x(8)^2x(32)+x(32)*x(43),
1516	-x(1)x(8)x(14)x(18)-x(2)x(11)x(20)x(29)-x(2)x(10)x(23)x(37)+x(18)x(43),
1517	-x(1)x(8)x(9)x(33)-x(2)x(10)x(24)x(42)-x(2)x(11)x(33)x(44)+x(33)x(43),
1518	-x(2)x(16)^2x(23)-x(2)x(12)x(22)x(23)-x(1)x(11)x(21)x(32)+x(23)*x(43),
1519	-x(1)x(18)x(21)x(26)-x(2)x(16)x(29)x(40)-x(2)x(22)x(37)x(44)+x(37)x(43),
1520	-x(1)x(21)x(33)^2-x(2)x(16)x(24)x(44)-x(2)x(22)x(24)x(44)+x(24)*x(43),
1521	-x(1)x(11)x(18)x(28)-x(2)x(12)x(29)x(31)-x(2)x(16)x(29)x(37)+x(29)x(43),
1522	-x(1)x(9)x(14)x(24)-x(2)x(23)x(33)x(38)-x(2)x(20)x(30)x(42)+x(24)x(43),
1523	-2x(2)x(33)x(38)x(42)-x(1)x(9)^2x(43)+x(43)^2,
1524	-x(2)x(30)x(35)x(40)-x(1)x(24)x(26)x(42)-x(2)x(38)x(43)x(44)+x(38)x(43),
1525	-x(2)x(24)x(35)x(38)-x(1)x(33)x(42)x(43)-x(2)x(38)x(43)x(44)+x(38)x(43),
1526	-x(1)x(24)x(28)x(33)-x(2)x(24)x(29)x(38)-x(2)x(30)x(31)x(44)+x(30)x(43),
1527	-x(1)x(14)^2x(19)-2x(2)x(20)x(23)x(39)+x(19)*x(43),
1528	-x(1)x(19)x(26)x(28)-x(2)x(29)x(39)x(40)-x(2)x(31)x(39)x(44)+x(39)x(43),
1529	-x(2)x(18)x(23)x(26)-x(1)x(25)x(32)^2-x(2)x(23)x(26)x(33)+x(32)*x(38),
1530	-x(1)x(18)^2x(25)-x(2)x(19)x(26)x(29)-x(2)x(24)x(26)x(37)+x(18)*x(38),
1531	-x(1)x(25)x(33)^2-x(2)x(24)x(26)x(43)-x(2)x(24)x(26)x(44)+x(33)*x(38),
1532	-x(1)x(23)x(32)x(34)-x(2)x(23)x(29)x(40)-x(2)x(23)x(37)x(44)+x(23)x(38),
1533	-x(1)x(24)x(33)x(34)-x(2)x(24)x(37)x(38)-x(2)x(30)x(40)x(44)+x(24)x(38),
1534	-x(2)x(23)x(24)x(35)-x(1)x(23)x(32)x(42)-x(2)x(23)x(37)x(44)+x(23)x(38),
1535	-x(2)x(30)x(35)x(37)-x(1)x(18)x(29)x(42)-x(2)x(29)x(39)x(44)+x(29)x(38),
1536	-x(2)x(18)x(24)x(35)-x(1)x(32)x(33)x(42)-x(2)x(33)x(44)^2+x(33)*x(38),
1537	-x(2)x(19)x(30)x(35)-x(1)x(18)x(24)x(42)-x(2)x(24)x(38)x(44)+x(24)x(38),
1538	-x(1)x(23)x(33)x(35)-x(2)x(24)x(29)x(41)-x(2)x(38)x(44)^2+x(38)*x(44),
1539	-x(2)x(38)^3-x(2)x(30)x(38)x(41)-x(1)x(24)x(35)*x(43)+x(38)^2,
1540	-x(2)x(24)x(37)x(38)-x(1)x(23)x(33)x(43)-x(2)x(24)x(38)x(44)+x(24)x(38),
1541	-x(2)x(30)x(38)^2-x(2)x(30)x(38)x(39)-x(1)x(24)x(29)x(43)+x(30)*x(38),
1542	-2x(2)x(38)^3-x(1)x(43)^2x(44)+x(38)^2,
1543	-x(1)x(18)x(32)x(34)-x(2)x(18)x(37)^2-x(2)x(29)x(33)x(40)+x(18)*x(38),
1544	-x(1)x(18)x(19)x(34)-x(2)x(19)x(37)x(39)-x(2)x(24)x(39)x(40)+x(19)x(38),
1545	-x(1)x(24)x(33)x(34)-x(2)x(24)x(37)x(38)-x(2)x(30)x(40)x(43)+x(24)x(38),
1546	-x(1)x(18)x(23)x(36)-x(2)x(29)x(37)x(39)-x(2)x(29)x(39)x(44)+x(29)x(38),
1547	-x(1)x(24)^2x(36)-2x(2)x(30)x(38)x(39)+x(30)*x(38),
1548	-x(1)x(18)x(23)x(35)-x(2)x(37)^2x(38)-x(2)x(24)x(29)x(41)+x(37)*x(38),
1549	-x(1)x(19)x(29)x(35)-x(2)x(38)x(39)^2-x(2)x(30)x(39)x(41)+x(38)*x(39),
1550	-x(1)x(4)^3-2x(2)x(5)^3+x(7)x(27),
1551	-x(1)x(4)x(8)x(13)-x(2)x(5)x(11)x(21)-x(2)x(5)x(15)x(21)+x(20)x(27),
1552	-x(1)x(8)x(13)x(25)-x(2)x(15)x(21)x(34)-x(2)x(11)x(21)x(42)+x(27)x(40),
1553	-2x(2)x(15)x(21)x(23)-x(1)x(13)^2x(32)+x(19)*x(27),
1554	-x(1)x(8)^2x(27)-2x(2)x(11)x(21)x(28)+x(27)*x(31),
1555	-x(1)x(25)^3-x(2)x(34)^3-x(2)x(42)^3+x(27)x(41),
1556	-x(1)x(25)x(27)x(32)-x(2)x(23)x(28)x(34)-x(2)x(23)x(28)x(42)+x(27)x(39),
1557	-x(1)x(4)x(6)x(8)-x(2)x(5)x(10)x(11)-x(2)x(5)x(10)x(15)+x(7)x(28),
1558	-x(1)x(4)x(14)^2-x(2)x(5)x(23)x(26)-x(2)x(5)x(20)x(28)+x(20)*x(28),
1559	-x(1)x(4)x(9)x(14)-x(2)x(5)x(33)x(34)-x(2)x(5)x(18)x(42)+x(20)x(28),
1560	-x(1)x(6)x(11)x(13)-x(2)x(15)^2x(16)-x(2)x(10)x(12)x(21)+x(20)*x(28),
1561	-x(1)x(13)x(14)x(26)-x(2)x(15)x(28)x(40)-x(2)x(21)x(26)x(44)+x(28)x(40),
1562	-x(1)x(13)x(14)x(33)-x(2)x(15)x(24)x(34)-x(2)x(18)x(21)x(44)+x(19)x(28),
1563	-x(1)x(6)x(8)x(21)-x(2)x(10)x(16)x(21)-x(2)x(11)x(15)x(22)+x(20)x(28),
1564	-x(1)x(8)x(14)x(28)-x(2)x(21)x(26)x(29)-x(2)x(11)x(28)x(31)+x(28)x(31),
1565	-x(2)x(18)x(21)x(35)-x(1)x(8)x(14)x(42)-x(2)x(11)x(34)x(43)+x(28)x(40),
1566	-x(1)x(8)^2x(15)-x(2)x(11)^2x(16)-x(2)x(10)x(17)x(21)+x(20)x(28),
1567	-x(1)x(8)x(14)x(34)-x(2)x(11)x(23)x(35)-x(2)x(20)x(21)x(36)+x(28)x(40),
1568	-x(1)x(8)x(9)x(28)-x(2)x(21)x(33)x(36)-x(2)x(11)x(29)x(42)+x(28)x(31),
1569	-x(1)x(11)x(15)x(25)-x(2)x(16)x(17)x(34)-x(2)x(12)x(16)x(42)+x(28)x(40),
1570	-x(1)x(25)x(26)x(34)-x(2)x(34)x(36)x(40)-x(2)x(35)x(42)x(44)+x(28)x(41),
1571	-x(1)x(25)x(28)x(33)-x(2)x(24)x(34)x(36)-x(2)x(29)x(42)x(44)+x(28)x(39),
1572	-x(2)x(16)^2x(23)-x(2)x(17)x(22)x(23)-x(1)x(15)x(21)x(32)+x(19)*x(28),
1573	-x(1)x(28)x(32)x(34)-x(2)x(23)x(29)x(35)-x(2)x(23)x(31)x(36)+x(28)x(39),
1574	-x(2)x(23)x(29)x(35)-x(1)x(28)x(32)x(42)-x(2)x(23)x(36)x(43)+x(28)x(39),
1575	-x(1)x(8)x(10)x(13)-x(2)x(10)x(16)x(21)-x(2)x(11)x(15)x(22)+x(20)x(28),
1576	-x(1)x(13)x(14)x(18)-x(2)x(20)x(21)x(29)-x(2)x(15)x(23)x(37)+x(19)x(28),
1577	-x(1)x(9)x(13)x(26)-x(2)x(21)x(33)x(35)-x(2)x(15)x(37)x(42)+x(28)x(40),
1578	-x(1)x(10)x(11)x(27)-x(2)x(16)^2x(28)-x(2)x(12)x(22)x(28)+x(28)*x(31),
1579	-x(1)x(18)x(26)x(27)-x(2)x(28)x(29)x(40)-x(2)x(28)x(37)x(44)+x(28)x(39),
1580	-x(1)x(26)x(27)x(33)-x(2)x(24)x(28)x(35)-x(2)x(28)x(37)x(44)+x(28)x(39),
1581	-x(1)x(10)x(21)x(25)-x(2)x(16)x(22)x(34)-x(2)x(16)x(22)x(42)+x(28)x(40),
1582	-x(1)x(18)x(25)x(28)-x(2)x(29)x(34)x(37)-x(2)x(29)x(31)x(42)+x(28)x(39),
1583	-x(2)x(34)x(35)x(37)-x(1)x(25)x(26)x(42)-x(2)x(35)x(42)x(43)+x(28)x(41),
1584	-x(2)x(10)x(15)x(18)-x(1)x(6)x(8)x(32)-x(2)x(10)x(11)x(33)+x(7)x(29),
1585	-x(1)x(8)x(14)x(18)-x(2)x(11)x(24)x(26)-x(2)x(10)x(19)x(28)+x(20)x(29),
1586	-x(1)x(8)x(14)x(33)-x(2)x(10)x(24)x(34)-x(2)x(11)x(18)x(43)+x(20)x(29),
1587	-x(1)x(6)x(14)x(23)-x(2)x(15)x(20)x(29)-x(2)x(10)x(23)x(44)+x(20)x(29),
1588	-x(1)x(14)^2x(37)-x(2)x(23)x(26)x(38)-x(2)x(20)x(28)x(39)+x(29)*x(40),
1589	-x(1)x(14)^2x(24)-x(2)x(20)x(30)x(34)-x(2)x(18)x(23)x(38)+x(19)*x(29),
1590	-x(1)x(6)x(9)x(23)-x(2)x(15)x(33)x(37)-x(2)x(10)x(24)x(42)+x(20)x(29),
1591	-x(1)x(9)x(14)x(29)-x(2)x(28)x(33)x(39)-x(2)x(26)x(30)x(42)+x(29)x(31),
1592	-x(2)x(33)x(34)x(38)-x(2)x(18)x(38)x(42)-x(1)x(9)x(14)x(44)+x(29)x(40),
1593	-x(2)x(16)x(17)x(18)-x(1)x(11)x(15)x(32)-x(2)x(12)x(16)x(33)+x(20)x(29),
1594	-x(1)x(11)x(18)x(34)-x(2)x(12)x(24)x(35)-x(2)x(16)x(19)x(36)+x(29)x(40),
1595	-x(1)x(11)x(28)x(33)-x(2)x(16)x(24)x(36)-x(2)x(12)x(29)x(43)+x(29)x(31),
1596	-x(1)x(15)x(23)x(26)-x(2)x(17)x(29)x(40)-x(2)x(16)x(44)^2+x(29)*x(40),
1597	-x(1)x(26)x(34)x(37)-x(2)x(36)x(39)x(40)-x(2)x(35)x(38)x(44)+x(29)x(41),
1598	-x(1)x(24)x(26)x(28)-x(2)x(30)x(36)x(40)-x(2)x(29)x(38)x(44)+x(29)x(39),
1599	-x(1)x(15)x(23)x(33)-x(2)x(17)x(24)x(37)-x(2)x(16)x(24)x(44)+x(19)x(29),
1600	-x(1)x(29)x(33)x(34)-x(2)x(24)x(36)x(39)-x(2)x(30)x(35)x(44)+x(29)x(39),
1601	-x(2)x(24)x(36)x(38)-x(1)x(28)x(33)x(44)-x(2)x(29)x(38)x(44)+x(29)x(39),
1602	-x(2)x(16)x(18)x(22)-x(1)x(10)x(21)x(32)-x(2)x(16)x(22)x(33)+x(20)x(29),
1603	-x(1)x(18)^2x(21)-x(2)x(19)x(22)x(29)-x(2)x(16)x(24)x(37)+x(19)*x(29),
1604	-x(1)x(21)x(26)x(33)-x(2)x(22)x(24)x(35)-x(2)x(16)x(37)x(43)+x(29)x(40),
1605	-x(1)x(10)x(23)x(28)-x(2)x(16)x(29)x(31)-x(2)x(22)x(29)x(44)+x(29)x(31),
1606	-x(1)x(18)x(28)x(37)-x(2)x(29)x(37)x(38)-x(2)x(29)x(31)x(39)+x(29)x(39),
1607	-x(1)x(24)x(26)x(28)-x(2)x(30)x(31)x(35)-x(2)x(29)x(37)x(38)+x(29)x(39),
1608	-x(2)x(22)x(24)x(35)-x(1)x(10)x(23)x(42)-x(2)x(16)x(37)x(43)+x(29)x(40),
1609	-x(2)x(30)x(35)x(37)-x(1)x(18)x(29)x(42)-x(2)x(29)x(39)x(43)+x(29)x(39),
1610	-x(2)x(35)x(37)x(38)-x(2)x(35)x(38)x(43)-x(1)x(26)x(42)x(44)+x(29)x(41),
1611	-x(1)x(7)x(8)^2-2x(2)x(10)x(11)x(20)+x(7)*x(31),
1612	-x(1)x(8)x(9)x(20)-x(2)x(11)x(33)x(40)-x(2)x(10)x(19)x(42)+x(20)x(31),
1613	-x(1)x(8)x(14)x(20)-x(2)x(11)x(20)x(31)-x(2)x(10)x(23)x(40)+x(20)x(31),
1614	-x(1)x(9)x(14)x(40)-x(2)x(23)x(33)x(41)-x(2)x(20)x(39)x(42)+x(31)x(40),
1615	-x(1)x(14)^2x(19)-2x(2)x(20)x(23)x(39)+x(19)*x(31),
1616	-x(1)x(9)^2x(31)-2x(2)x(33)x(39)x(42)+x(31)^2,
1617	-x(2)x(16)^2x(20)-x(1)x(7)x(11)x(21)-x(2)x(12)x(20)x(22)+x(20)*x(31),
1618	-x(2)x(16)x(19)x(35)-x(1)x(11)x(20)x(42)-x(2)x(12)x(40)x(43)+x(31)x(40),
1619	-x(1)x(11)x(20)x(28)-x(2)x(12)x(31)^2-x(2)x(16)x(29)x(40)+x(31)^2,
1620	-x(1)x(20)x(21)x(26)-x(2)x(16)x(31)x(40)-x(2)x(22)x(40)x(44)+x(31)x(40),
1621	-x(2)x(35)x(39)x(40)-x(1)x(26)x(40)x(42)-x(2)x(41)x(43)x(44)+x(31)x(41),
1622	-x(1)x(19)x(26)x(28)-x(2)x(29)x(39)x(40)-x(2)x(31)x(39)x(44)+x(31)x(39),
1623	-x(1)x(20)x(21)x(33)-x(2)x(16)x(24)x(40)-x(2)x(19)x(22)x(44)+x(19)x(31),
1624	-x(2)x(24)x(35)x(39)-x(1)x(31)x(33)x(42)-x(2)x(39)x(43)x(44)+x(31)x(39),
1625	-x(1)x(28)x(33)x(40)-x(2)x(24)x(29)x(41)-x(2)x(31)x(39)x(44)+x(31)x(39),
1626	-x(1)x(6)^2x(25)-2x(2)x(10)x(15)x(26)+x(7)*x(36),
1627	-x(1)x(6)x(14)x(34)-x(2)x(15)x(26)x(37)-x(2)x(10)x(28)x(40)+x(20)x(36),
1628	-x(2)x(15)x(18)x(35)-x(1)x(6)x(14)x(42)-x(2)x(10)x(34)x(44)+x(20)x(36),
1629	-x(1)x(14)^2x(35)-x(2)x(26)x(34)x(38)-x(2)x(18)x(28)x(41)+x(36)*x(40),
1630	-2x(2)x(18)x(34)x(38)-x(1)x(14)^2x(43)+x(19)*x(36),
1631	-x(1)x(14)^2x(36)-2x(2)x(26)x(28)x(39)+x(31)*x(36),
1632	-x(1)x(10)x(15)x(25)-x(2)x(16)^2x(26)-x(2)x(17)x(22)x(26)+x(20)*x(36),
1633	-x(1)x(10)x(34)^2-x(2)x(16)x(35)x(37)-x(2)x(22)x(36)x(40)+x(36)*x(40),
1634	-x(2)x(16)x(29)x(35)-x(1)x(10)x(28)x(42)-x(2)x(22)x(36)x(44)+x(31)x(36),
1635	-x(2)x(17)x(35)x(37)-x(1)x(15)x(26)x(42)-x(2)x(16)x(35)x(44)+x(36)x(40),
1636	-x(1)x(26)x(34)x(35)-x(2)x(35)^2x(38)-x(2)x(36)x(37)x(41)+x(36)*x(41),
1637	-x(2)x(29)x(35)x(38)-x(2)x(36)x(37)x(38)-x(1)x(26)x(28)x(43)+x(36)x(39),
1638	-x(1)x(15)x(18)x(34)-x(2)x(17)x(37)^2-x(2)x(16)x(29)x(40)+x(19)*x(36),
1639	-x(1)x(18)x(34)x(36)-x(2)x(29)x(35)x(39)-x(2)x(36)x(37)x(39)+x(36)x(39),
1640	-x(1)x(18)x(28)x(35)-x(2)x(36)x(37)x(38)-x(2)x(29)^2x(41)+x(36)*x(39),
1641	-x(2)x(18)^3-x(1)x(32)^3-x(2)x(33)^3+x(7)x(30),
1642	-x(2)x(18)x(19)x(29)-x(1)x(18)x(23)x(32)-x(2)x(24)x(33)x(44)+x(20)x(30),
1643	-x(1)x(23)x(32)x(33)-x(2)x(18)x(24)x(37)-x(2)x(24)x(33)x(43)+x(20)x(30),
1644	-x(1)x(18)x(23)x(37)-x(2)x(19)x(29)x(39)-x(2)x(24)x(38)x(44)+x(30)x(40),
1645	-x(1)x(18)x(23)x(24)-x(2)x(19)x(30)x(37)-x(2)x(24)^2x(38)+x(19)*x(30),
1646	-x(1)x(23)x(29)x(33)-x(2)x(24)x(29)x(39)-x(2)x(30)x(43)x(44)+x(30)x(31),
1647	-x(2)x(24)x(37)x(38)-x(2)x(24)x(38)x(43)-x(1)x(23)x(33)x(44)+x(30)x(40),
1648	-x(1)x(37)^3-x(2)x(38)^3-x(2)x(39)^3+x(30)x(41),
1649	-x(1)x(24)x(29)x(37)-x(2)x(30)x(38)^2-x(2)x(30)x(39)^2+x(30)x(39),
1650	-x(2)x(30)x(38)^2-x(2)x(30)x(38)x(39)-x(1)x(24)x(29)x(44)+x(30)*x(39),
1651	-2x(2)x(38)^3-x(1)x(44)^3+x(30)x(41),
1652	-x(2)x(18)x(20)x(26)-x(1)x(7)x(25)x(32)-x(2)x(20)x(26)x(33)+x(7)x(39),
1653	-x(2)x(18)x(19)x(35)-x(1)x(20)x(32)x(42)-x(2)x(33)x(40)x(44)+x(20)x(39),
1654	-x(1)x(20)x(32)x(34)-x(2)x(31)x(33)x(40)-x(2)x(18)x(37)x(40)+x(20)x(39),
1655	-x(1)x(18)x(20)x(25)-x(2)x(19)x(26)x(31)-x(2)x(24)x(26)x(40)+x(20)x(39),
1656	-x(2)x(19)x(35)x(39)-x(1)x(18)x(40)x(42)-x(2)x(24)x(41)x(44)+x(39)x(40),
1657	-x(1)x(18)x(19)x(34)-x(2)x(19)x(37)x(39)-x(2)x(24)x(39)x(40)+x(19)x(39),
1658	-x(1)x(20)x(25)x(33)-x(2)x(24)x(26)x(40)-x(2)x(19)x(26)x(43)+x(20)x(39),
1659	-x(1)x(33)x(34)x(40)-x(2)x(24)x(37)x(41)-x(2)x(39)x(40)x(43)+x(39)x(40),
1660	-x(1)x(7)x(23)x(34)-x(2)x(20)x(29)x(40)-x(2)x(20)x(37)x(44)+x(20)x(39),
1661	-x(1)x(20)x(23)x(35)-x(2)x(19)x(29)x(41)-x(2)x(38)x(40)x(44)+x(39)x(40),
1662	-x(1)x(20)x(23)x(36)-x(2)x(29)x(39)x(40)-x(2)x(31)x(39)x(44)+x(31)x(39),
1663	-x(1)x(20)x(34)x(37)-x(2)x(37)x(38)x(40)-x(2)x(31)x(39)x(40)+x(39)x(40),
1664	-x(1)x(35)x(37)x(40)-x(2)x(38)^2x(41)-x(2)x(39)^2x(41)+x(39)x(41),
1665	-x(1)x(19)x(36)x(37)-x(2)x(38)x(39)^2-x(2)x(39)^3+x(39)^2,
1666	-x(1)x(20)x(24)x(34)-x(2)x(19)x(37)x(38)-x(2)x(30)x(40)^2+x(19)*x(39),
1667	-x(1)x(24)x(31)x(35)-x(2)x(38)^2x(39)-x(2)x(30)x(39)x(41)+x(39)^2,
1668	-x(2)x(38)x(39)^2-x(1)x(24)x(36)x(40)-x(2)x(30)x(39)x(41)+x(39)^2,
1669	-x(2)x(20)x(24)x(35)-x(1)x(7)x(23)x(42)-x(2)x(20)x(37)x(44)+x(20)x(39),
1670	-x(2)x(19)x(37)x(38)-x(2)x(24)x(38)x(40)-x(1)x(20)x(23)x(43)+x(19)x(39),
1671	-x(1)x(20)x(23)x(35)-x(2)x(37)x(38)x(40)-x(2)x(24)x(31)x(41)+x(39)x(40),
1672	-x(2)x(30)x(35)x(40)-x(1)x(20)x(29)x(42)-x(2)x(31)x(39)x(44)+x(31)x(39),
1673	-x(2)x(38)x(39)^2-x(2)x(30)x(38)x(41)-x(1)x(29)x(40)x(43)+x(39)^2,
1674	-x(1)x(19)x(29)x(35)-x(2)x(38)x(39)^2-x(2)x(30)x(39)x(41)+x(39)^2,
1675	-x(2)x(19)x(35)x(38)-x(2)x(38)x(40)x(44)-x(1)x(20)x(42)x(44)+x(39)x(40),
1676	-2x(2)x(38)^2x(39)-x(1)x(31)x(43)x(44)+x(39)^2,
1677	-x(2)x(38)^2x(41)-x(2)x(38)x(39)x(41)-x(1)x(35)x(40)x(44)+x(39)*x(41);
1678	i=slimgb(i);
1679	char_out(i);
1680
1681	tst_status(1);$

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format