source: git/Tst/Long/king_3_colors_l.tst @ 1ebec3

spielwiese
Last change on this file since 1ebec3 was ef52d6, checked in by Oleksandr Motsak <motsak@…>, 11 years ago
Update testsuite wrt current master (320c4f5e64cad778b4ada9556a9b0a6c71cab83a) NOTE: some wrong/bad tests were removed... TODO: add the reset of these updates after updating LIB/
  • Property mode set to 100644
File size: 127.8 KB
Line 
1//
2//
3
4
5LIB "tst.lib";
6
7LIB "poly.lib";
8
9tst_init();
10
11proc char_out(ideal i){
12  return(sort(simplify(lead(i),1))[1]);
13}
14ring r=0,x(1..44),dp;
15
16ideal i=-x(1)*x(3)^3-2*x(2)*x(4)^3+x(3)^2,
17-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),
18-x(1)*x(4)^2*x(8)-x(2)*x(8)^2*x(9)-x(2)*x(6)*x(13)*x(14)+x(3)*x(8),
19-x(1)*x(4)^2*x(6)-2*x(2)*x(6)*x(8)*x(14)+x(3)*x(6),
20-x(1)*x(4)^2*x(13)-2*x(2)*x(8)*x(13)*x(14)+x(3)*x(13),
21-x(1)*x(8)^3-x(2)*x(9)^3-x(2)*x(14)^3+x(3)*x(9),
22-x(1)*x(6)*x(8)*x(13)-x(2)*x(9)*x(14)^2-x(2)*x(14)^3+x(3)*x(14),
23-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,
24-x(1)*x(3)*x(8)^2-2*x(2)*x(4)*x(25)*x(32)+x(4)^2,
25-x(1)*x(4)^2*x(5)-x(2)*x(8)^2*x(11)-x(2)*x(6)*x(13)*x(15)+x(4)^2,
26-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),
27-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),
28-x(1)*x(4)^2*x(5)-2*x(2)*x(8)*x(10)*x(13)+x(4)^2,
29-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),
30-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),
31-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),
32-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),
33-x(1)*x(5)^2*x(8)-x(2)*x(9)*x(11)^2-x(2)*x(14)*x(15)^2+x(4)*x(8),
34-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),
35-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),
36-x(1)*x(5)^2*x(6)-x(2)*x(10)*x(11)*x(14)-x(2)*x(10)*x(14)*x(15)+x(4)*x(6),
37-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),
38-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),
39-x(1)*x(4)^2*x(5)-2*x(2)*x(6)*x(8)*x(21)+x(4)^2,
40-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),
41-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),
42-x(1)*x(5)^2*x(13)-x(2)*x(11)*x(14)*x(21)-x(2)*x(14)*x(15)*x(21)+x(4)*x(13),
43-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),
44-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),
45-x(1)*x(5)^2*x(8)-x(2)*x(9)*x(10)*x(21)-x(2)*x(10)*x(14)*x(21)+x(4)*x(8),
46-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),
47-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),
48-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,
49-x(1)*x(6)*x(8)*x(16)-x(2)*x(7)*x(25)*x(29)-x(2)*x(32)^2*x(35)+x(6)*x(8),
50-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),
51-x(1)*x(8)^2*x(12)-2*x(2)*x(25)*x(32)*x(44)+x(8)^2,
52-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,
53-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),
54-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),
55-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),
56-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),
57-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),
58-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),
59-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),
60-x(1)*x(5)*x(11)^2-2*x(2)*x(10)*x(23)*x(42)+x(8)^2,
61-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),
62-x(1)*x(15)^2*x(22)-x(2)*x(20)*x(28)*x(31)-x(2)*x(18)*x(34)*x(43)+x(8)*x(14),
63-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),
64-x(1)*x(5)*x(11)^2-2*x(2)*x(21)*x(26)*x(33)+x(8)^2,
65-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),
66-x(1)*x(11)^2*x(12)-x(2)*x(23)*x(26)*x(44)-x(2)*x(33)*x(42)*x(44)+x(8)*x(9),
67-x(1)*x(6)^2*x(17)-2*x(2)*x(7)*x(32)*x(36)+x(6)^2,
68-x(1)*x(8)^2*x(22)-2*x(2)*x(25)*x(32)*x(37)+x(6)*x(13),
69-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),
70-x(1)*x(10)*x(11)*x(16)-x(2)*x(20)*x(26)*x(29)-x(2)*x(33)^2*x(35)+x(6)*x(9),
71-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),
72-x(1)*x(5)*x(10)^2-2*x(2)*x(10)*x(18)*x(26)+x(6)^2,
73-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),
74-x(1)*x(10)*x(15)*x(16)-x(2)*x(20)*x(26)*x(29)-x(2)*x(18)^2*x(35)+x(6)*x(14),
75-x(1)*x(13)^2*x(17)-2*x(2)*x(19)*x(25)*x(27)+x(13)^2,
76-x(1)*x(5)*x(21)^2-2*x(2)*x(21)*x(23)*x(34)+x(13)^2,
77-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),
78-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),
79-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),
80-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),
81-x(1)*x(22)^3-x(2)*x(31)^3-x(2)*x(43)^3+x(9)^2,
82-x(1)*x(16)^2*x(22)-x(2)*x(29)*x(31)*x(40)-x(2)*x(24)*x(35)*x(43)+x(9)*x(14),
83-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),
84-x(1)*x(12)^3-2*x(2)*x(44)^3+x(9)^2,
85-x(1)*x(17)^2*x(22)-x(2)*x(19)*x(31)*x(36)-x(2)*x(19)*x(36)*x(43)+x(14)^2,
86-x(1)*x(16)^2*x(22)-x(2)*x(24)*x(35)*x(37)-x(2)*x(29)*x(37)*x(40)+x(14)^2,
87-x(1)*x(16)^2*x(17)-2*x(2)*x(19)*x(29)*x(35)+x(14)^2,
88-x(1)*x(16)^2*x(17)-2*x(2)*x(24)*x(36)*x(40)+x(14)^2,
89-x(1)*x(12)*x(22)^2-2*x(2)*x(37)^2*x(44)+x(14)^2, -x(1)*x(3)^2*x(4)-2*x(2)*x(4)^2*x(5)+x(4)^2,
90-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),
91-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),
92-x(1)*x(4)^2*x(25)-x(2)*x(6)*x(13)*x(34)-x(2)*x(8)^2*x(42)+x(4)*x(25),
93-2*x(2)*x(6)*x(8)*x(23)-x(1)*x(4)^2*x(32)+x(4)*x(32),
94-x(1)*x(4)^2*x(27)-2*x(2)*x(8)*x(13)*x(28)+x(4)*x(27),
95-x(1)*x(4)^3-x(2)*x(5)*x(8)^2-x(2)*x(5)*x(6)*x(13)+x(4)*x(5),
96-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),
97-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),
98-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),
99-x(1)*x(8)^2*x(25)-x(2)*x(14)^2*x(34)-x(2)*x(9)^2*x(42)+x(4)*x(42),
100-x(2)*x(9)*x(14)*x(23)-x(2)*x(14)^2*x(23)-x(1)*x(8)*x(13)*x(32)+x(4)*x(23),
101-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),
102-x(1)*x(6)*x(8)*x(27)-x(2)*x(9)*x(14)*x(28)-x(2)*x(14)^2*x(28)+x(4)*x(28),
103-x(1)*x(6)*x(13)*x(25)-x(2)*x(14)^2*x(34)-x(2)*x(14)^2*x(42)+x(4)*x(34),
104-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),
105-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),
106-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,
107-x(1)*x(4)^2*x(11)-x(2)*x(8)^2*x(12)-x(2)*x(6)*x(13)*x(16)+x(8)^2,
108-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),
109-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),
110-x(2)*x(8)*x(13)*x(16)-x(1)*x(4)^2*x(21)-x(2)*x(8)*x(13)*x(22)+x(8)*x(13),
111-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),
112-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),
113-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),
114-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),
115-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),
116-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),
117-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),
118-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),
119-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),
120-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),
121-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),
122-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),
123-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),
124-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),
125-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),
126-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),
127-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),
128-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),
129-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),
130-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),
131-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),
132-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),
133-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),
134-x(1)*x(4)^2*x(10)-x(2)*x(6)*x(8)*x(16)-x(2)*x(6)*x(8)*x(22)+x(6)*x(8),
135-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),
136-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),
137-x(1)*x(4)^2*x(15)-x(2)*x(8)^2*x(16)-x(2)*x(6)*x(13)*x(17)+x(6)*x(13),
138-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),
139-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),
140-x(1)*x(4)*x(5)*x(6)-x(2)*x(10)^2*x(13)-x(2)*x(8)*x(10)*x(15)+x(5)*x(6),
141-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),
142-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),
143-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),
144-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),
145-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),
146-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),
147-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),
148-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),
149-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),
150-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),
151-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),
152-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),
153-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),
154-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),
155-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),
156-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),
157-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),
158-x(2)*x(6)*x(13)*x(18)-x(1)*x(4)^2*x(32)-x(2)*x(8)^2*x(33)+x(4)*x(32),
159-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),
160-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),
161-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),
162-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),
163-x(1)*x(6)*x(8)*x(24)-x(2)*x(7)*x(25)*x(30)-x(2)*x(32)^2*x(38)+x(32)^2,
164-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),
165-x(1)*x(8)*x(13)*x(29)-x(2)*x(25)^2*x(30)-x(2)*x(27)*x(32)*x(39)+x(27)*x(32),
166-2*x(2)*x(25)*x(32)*x(38)-x(1)*x(8)^2*x(44)+x(25)*x(32),
167-x(2)*x(15)^2*x(18)-x(1)*x(5)^2*x(32)-x(2)*x(11)^2*x(33)+x(5)*x(32),
168-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),
169-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),
170-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),
171-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),
172-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),
173-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),
174-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),
175-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),
176-x(2)*x(10)*x(18)*x(21)-x(1)*x(5)^2*x(32)-x(2)*x(10)*x(21)*x(33)+x(5)*x(32),
177-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),
178-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),
179-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),
180-x(1)*x(15)^2*x(37)-x(2)*x(18)*x(34)*x(38)-x(2)*x(20)*x(28)*x(39)+x(32)*x(34),
181-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),
182-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),
183-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),
184-x(2)*x(23)*x(26)*x(38)-x(2)*x(33)*x(38)*x(42)-x(1)*x(11)^2*x(44)+x(32)*x(42),
185-x(1)*x(4)^2*x(7)-2*x(2)*x(6)*x(8)*x(20)+x(4)*x(7),
186-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),
187-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),
188-x(2)*x(7)*x(25)*x(39)-x(1)*x(6)*x(8)*x(40)-x(2)*x(32)^2*x(41)+x(7)*x(25),
189-x(1)*x(6)^2*x(19)-2*x(2)*x(7)*x(32)*x(39)+x(7)*x(32),
190-x(1)*x(8)^2*x(31)-2*x(2)*x(25)*x(32)*x(39)+x(7)*x(27),
191-x(1)*x(5)^2*x(7)-x(2)*x(10)*x(11)*x(20)-x(2)*x(10)*x(15)*x(20)+x(5)*x(7),
192-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),
193-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),
194-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),
195-x(2)*x(20)*x(26)*x(39)-x(1)*x(10)*x(11)*x(40)-x(2)*x(33)^2*x(41)+x(7)*x(42),
196-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),
197-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),
198-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),
199-x(2)*x(20)*x(26)*x(39)-x(1)*x(10)*x(15)*x(40)-x(2)*x(18)^2*x(41)+x(7)*x(34),
200-x(1)*x(4)^2*x(25)-2*x(2)*x(8)*x(13)*x(26)+x(4)*x(25),
201-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),
202-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),
203-x(1)*x(8)*x(13)*x(35)-x(2)*x(25)^2*x(38)-x(2)*x(27)*x(32)*x(41)+x(25)^2,
204-2*x(2)*x(25)*x(32)*x(38)-x(1)*x(8)^2*x(43)+x(25)*x(32),
205-x(1)*x(13)^2*x(36)-2*x(2)*x(25)*x(27)*x(39)+x(25)*x(27),
206-x(1)*x(5)^2*x(25)-x(2)*x(11)*x(21)*x(26)-x(2)*x(15)*x(21)*x(26)+x(5)*x(25),
207-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),
208-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),
209-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),
210-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),
211-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),
212-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),
213-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),
214-x(1)*x(15)*x(21)*x(35)-x(2)*x(34)^2*x(38)-x(2)*x(23)*x(28)*x(41)+x(25)*x(34),
215-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),
216-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),
217-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),
218-x(1)*x(5)^2*x(25)-x(2)*x(15)^2*x(34)-x(2)*x(11)^2*x(42)+x(5)*x(25),
219-x(2)*x(10)*x(11)*x(23)-x(2)*x(10)*x(15)*x(23)-x(1)*x(5)^2*x(32)+x(5)*x(32),
220-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),
221-x(1)*x(5)^2*x(27)-x(2)*x(11)*x(21)*x(28)-x(2)*x(15)*x(21)*x(28)+x(5)*x(27),
222-x(1)*x(5)^2*x(25)-x(2)*x(10)*x(21)*x(34)-x(2)*x(10)*x(21)*x(42)+x(5)*x(25),
223-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,
224-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),
225-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),
226-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),
227-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),
228-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),
229-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),
230-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),
231-x(1)*x(15)^2*x(25)-x(2)*x(18)*x(34)^2-x(2)*x(20)*x(28)*x(42)+x(5)*x(34),
232-x(1)*x(4)*x(8)^2-2*x(2)*x(5)*x(25)*x(32)+x(5)^2,
233-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),
234-x(1)*x(8)^2*x(11)-x(2)*x(21)*x(26)*x(32)-x(2)*x(11)*x(25)*x(33)+x(5)*x(11),
235-x(1)*x(8)^2*x(21)-x(2)*x(11)*x(23)*x(25)-x(2)*x(21)*x(32)*x(34)+x(5)*x(21),
236-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),
237-x(2)*x(23)^2*x(26)-x(1)*x(11)*x(21)*x(32)-x(2)*x(23)*x(33)*x(34)+x(5)*x(23),
238-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),
239-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),
240-x(1)*x(11)^2*x(25)-x(2)*x(23)*x(26)*x(34)-x(2)*x(33)*x(42)^2+x(5)*x(42),
241-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),
242-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),
243-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),
244-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),
245-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),
246-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),
247-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),
248-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),
249-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),
250-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),
251-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),
252-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,
253-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),
254-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),
255-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),
256-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),
257-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),
258-x(1)*x(8)^2*x(11)-x(2)*x(10)*x(23)*x(25)-x(2)*x(11)*x(32)*x(42)+x(5)*x(11),
259-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),
260-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,
261-x(1)*x(11)^2*x(21)-x(2)*x(16)*x(23)*x(34)-x(2)*x(12)*x(23)*x(42)+x(11)*x(21),
262-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),
263-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),
264-x(1)*x(11)^2*x(21)-x(2)*x(16)*x(23)*x(42)-x(2)*x(22)*x(23)*x(42)+x(11)*x(21),
265-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),
266-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),
267-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),
268-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),
269-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),
270-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),
271-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),
272-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),
273-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),
274-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),
275-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),
276-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),
277-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),
278-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),
279-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),
280-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),
281-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),
282-x(1)*x(15)^3-x(2)*x(16)*x(20)*x(28)-x(2)*x(17)*x(18)*x(34)+x(15)^2,
283-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),
284-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),
285-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),
286-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,
287-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),
288-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),
289-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),
290-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),
291-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),
292-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),
293-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),
294-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),
295-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),
296-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),
297-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),
298-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),
299-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),
300-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),
301-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),
302-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),
303-x(1)*x(6)^2*x(21)-x(2)*x(7)*x(15)*x(28)-x(2)*x(10)*x(32)*x(42)+x(5)*x(10),
304-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),
305-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),
306-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),
307-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),
308-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),
309-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),
310-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),
311-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),
312-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),
313-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),
314-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),
315-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),
316-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),
317-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),
318-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),
319-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),
320-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),
321-x(2)*x(14)^2*x(18)-x(1)*x(8)^2*x(32)-x(2)*x(9)^2*x(33)+x(4)*x(33),
322-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),
323-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),
324-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),
325-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),
326-x(1)*x(10)*x(11)*x(24)-x(2)*x(20)*x(26)*x(30)-x(2)*x(33)^2*x(38)+x(32)*x(33),
327-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),
328-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),
329-x(2)*x(23)*x(26)*x(38)-x(2)*x(33)*x(38)*x(42)-x(1)*x(11)^2*x(44)+x(25)*x(33),
330-x(2)*x(18)*x(20)*x(28)-x(1)*x(10)*x(21)*x(32)-x(2)*x(33)^2*x(42)+x(5)*x(33),
331-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),
332-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),
333-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),
334-x(1)*x(22)^2*x(37)-x(2)*x(31)^2*x(39)-x(2)*x(38)*x(43)^2+x(33)*x(42),
335-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),
336-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),
337-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),
338-x(2)*x(24)*x(35)*x(38)-x(2)*x(29)*x(38)*x(40)-x(1)*x(16)^2*x(44)+x(33)*x(34),
339-x(2)*x(18)*x(23)*x(26)-x(1)*x(11)^2*x(32)-x(2)*x(33)^2*x(42)+x(5)*x(33),
340-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),
341-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),
342-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),
343-x(1)*x(16)^2*x(37)-x(2)*x(24)*x(35)*x(38)-x(2)*x(29)*x(39)*x(40)+x(33)*x(34),
344-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),
345-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),
346-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),
347-x(1)*x(12)^2*x(44)-2*x(2)*x(38)*x(44)^2+x(33)*x(42),
348-x(1)*x(7)*x(8)*x(13)-x(2)*x(9)*x(14)*x(20)-x(2)*x(14)^2*x(20)+x(4)*x(20),
349-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),
350-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),
351-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),
352-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),
353-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),
354-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),
355-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),
356-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),
357-x(1)*x(7)*x(15)*x(21)-x(2)*x(20)^2*x(28)-x(2)*x(18)*x(20)*x(42)+x(5)*x(20),
358-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),
359-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),
360-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),
361-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),
362-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),
363-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),
364-x(1)*x(16)^2*x(31)-x(2)*x(24)*x(35)*x(39)-x(2)*x(29)*x(39)*x(40)+x(20)*x(28),
365-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),
366-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),
367-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),
368-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),
369-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),
370-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),
371-x(1)*x(16)^2*x(19)-2*x(2)*x(24)*x(39)*x(40)+x(20)*x(23),
372-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),
373-x(1)*x(12)*x(22)*x(31)-2*x(2)*x(37)*x(39)*x(44)+x(20)*x(28),
374-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),
375-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),
376-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),
377-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),
378-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),
379-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),
380-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),
381-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),
382-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),
383-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),
384-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),
385-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),
386-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),
387-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),
388-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),
389-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),
390-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),
391-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),
392-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),
393-x(1)*x(8)^2*x(10)-x(2)*x(10)*x(18)*x(25)-x(2)*x(11)*x(26)*x(32)+x(5)*x(10),
394-x(1)*x(10)^2*x(21)-x(2)*x(16)*x(18)*x(26)-x(2)*x(18)*x(22)*x(26)+x(10)*x(15),
395-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),
396-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),
397-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),
398-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),
399-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),
400-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),
401-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),
402-x(1)*x(6)*x(8)*x(25)-x(2)*x(9)*x(14)*x(26)-x(2)*x(14)^2*x(26)+x(4)*x(26),
403-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),
404-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),
405-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),
406-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),
407-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),
408-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),
409-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),
410-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),
411-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),
412-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),
413-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),
414-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),
415-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),
416-x(2)*x(24)*x(35)*x(38)-x(2)*x(29)*x(38)*x(40)-x(1)*x(16)^2*x(43)+x(23)*x(26),
417-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),
418-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),
419-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),
420-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),
421-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),
422-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),
423-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),
424-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),
425-x(1)*x(12)*x(22)*x(43)-2*x(2)*x(37)*x(38)*x(44)+x(23)*x(26),
426-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),
427-x(1)*x(16)^2*x(36)-2*x(2)*x(29)*x(35)*x(39)+x(26)*x(28),
428-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),
429-x(2)*x(14)^2*x(18)-x(1)*x(6)*x(13)*x(32)-x(2)*x(14)^2*x(33)+x(4)*x(18),
430-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),
431-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),
432-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),
433-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),
434-x(1)*x(10)*x(15)*x(24)-x(2)*x(20)*x(26)*x(30)-x(2)*x(18)^2*x(38)+x(18)*x(32),
435-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),
436-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),
437-x(1)*x(15)^2*x(37)-x(2)*x(18)*x(34)*x(38)-x(2)*x(20)*x(28)*x(39)+x(18)*x(25),
438-x(1)*x(15)^2*x(32)-x(2)*x(20)*x(28)*x(33)-x(2)*x(18)^2*x(34)+x(5)*x(18),
439-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),
440-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),
441-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),
442-x(2)*x(24)*x(35)*x(38)-x(2)*x(29)*x(38)*x(40)-x(1)*x(16)^2*x(44)+x(18)*x(42),
443-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),
444-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),
445-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),
446-x(1)*x(17)^2*x(37)-x(2)*x(19)*x(36)*x(38)-x(2)*x(19)*x(36)*x(39)+x(18)*x(34),
447-x(1)*x(10)*x(21)*x(32)-x(2)*x(23)*x(26)*x(33)-x(2)*x(18)^2*x(34)+x(5)*x(18),
448-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),
449-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),
450-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),
451-2*x(2)*x(37)^2*x(38)-x(1)*x(22)^2*x(44)+x(18)*x(34),
452-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),
453-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),
454-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),
455-x(1)*x(16)^2*x(37)-x(2)*x(24)*x(35)*x(38)-x(2)*x(29)*x(39)*x(40)+x(18)*x(42),
456-x(1)*x(3)*x(4)^2-2*x(2)*x(4)*x(5)^2+x(8)^2,
457-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),
458-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),
459-x(1)*x(4)^2*x(8)-x(2)*x(5)*x(8)*x(11)-x(2)*x(5)*x(6)*x(21)+x(8)*x(11),
460-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),
461-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),
462-x(1)*x(4)^2*x(13)-x(2)*x(5)*x(13)*x(15)-x(2)*x(5)*x(8)*x(21)+x(8)*x(21),
463-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),
464-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),
465-x(1)*x(4)^2*x(8)-x(2)*x(5)*x(8)*x(11)-x(2)*x(5)*x(10)*x(13)+x(8)*x(11),
466-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),
467-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),
468-x(1)*x(8)^3-x(2)*x(9)*x(11)^2-x(2)*x(10)*x(14)*x(21)+x(8)*x(12),
469-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),
470-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),
471-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),
472-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),
473-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),
474-x(1)*x(4)^2*x(6)-x(2)*x(5)*x(8)*x(10)-x(2)*x(5)*x(6)*x(15)+x(8)*x(10),
475-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),
476-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),
477-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),
478-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),
479-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),
480-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),
481-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),
482-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),
483-x(1)*x(3)*x(9)^2-2*x(2)*x(4)*x(33)*x(42)+x(9)^2,
484-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),
485-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),
486-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),
487-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),
488-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),
489-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),
490-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),
491-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),
492-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),
493-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),
494-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),
495-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),
496-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),
497-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),
498-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),
499-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),
500-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),
501-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),
502-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),
503-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),
504-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),
505-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),
506-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),
507-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),
508-x(1)*x(3)*x(14)^2-2*x(2)*x(4)*x(18)*x(34)+x(14)^2,
509-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),
510-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),
511-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),
512-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),
513-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),
514-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),
515-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),
516-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),
517-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),
518-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),
519-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),
520-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),
521-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),
522-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),
523-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),
524-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),
525-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),
526-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),
527-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),
528-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),
529-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),
530-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),
531-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),
532-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),
533-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),
534-x(1)*x(6)^2*x(34)-x(2)*x(10)*x(32)*x(35)-x(2)*x(7)*x(15)*x(36)+x(10)*x(26),
535-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),
536-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),
537-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),
538-x(1)*x(8)^2*x(26)-x(2)*x(11)*x(32)*x(35)-x(2)*x(10)*x(25)*x(37)+x(10)*x(42),
539-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),
540-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),
541-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),
542-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),
543-x(1)*x(10)*x(32)*x(34)-x(2)*x(33)^2*x(35)-x(2)*x(18)*x(20)*x(36)+x(10)*x(44),
544-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),
545-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),
546-x(1)*x(10)*x(28)*x(32)-x(2)*x(26)*x(29)*x(33)-x(2)*x(18)^2*x(36)+x(10)*x(29),
547-x(1)*x(10)*x(25)*x(26)-x(2)*x(18)*x(26)*x(35)-x(2)*x(26)^2*x(37)+x(10)*x(35),
548-x(1)*x(5)*x(6)^2-2*x(2)*x(10)^2*x(15)+x(10)^2,
549-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),
550-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),
551-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),
552-x(1)*x(7)*x(15)*x(34)-x(2)*x(18)*x(20)*x(35)-x(2)*x(20)^2*x(36)+x(10)*x(40),
553-x(1)*x(15)*x(18)*x(32)-x(2)*x(20)*x(29)*x(33)-x(2)*x(18)^2*x(37)+x(10)*x(24),
554-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),
555-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),
556-x(1)*x(11)*x(26)*x(32)-x(2)*x(33)^2*x(35)-x(2)*x(18)*x(26)*x(37)+x(10)*x(43),
557-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),
558-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),
559-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,
560-x(1)*x(8)^2*x(23)-x(2)*x(11)*x(24)*x(25)-x(2)*x(21)*x(32)*x(37)+x(21)*x(33),
561-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),
562-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),
563-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),
564-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),
565-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),
566-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),
567-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),
568-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),
569-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),
570-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),
571-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),
572-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),
573-x(1)*x(5)*x(33)^2-2*x(2)*x(10)*x(24)*x(43)+x(33)^2,
574-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),
575-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),
576-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),
577-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),
578-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),
579-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),
580-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),
581-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),
582-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),
583-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),
584-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),
585-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),
586-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),
587-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),
588-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),
589-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),
590-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),
591-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),
592-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),
593-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),
594-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),
595-x(1)*x(5)*x(20)^2-2*x(2)*x(10)*x(19)*x(40)+x(20)^2,
596-x(1)*x(15)^2*x(20)-x(2)*x(16)*x(20)*x(31)-x(2)*x(17)*x(18)*x(40)+x(16)*x(20),
597-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),
598-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),
599-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),
600-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),
601-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),
602-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,
603-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),
604-x(2)*x(10)*x(24)*x(25)-x(1)*x(8)^2*x(33)-x(2)*x(11)*x(32)*x(44)+x(11)*x(33),
605-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),
606-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),
607-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),
608-x(1)*x(5)*x(8)^2-2*x(2)*x(10)*x(11)*x(21)+x(11)^2,
609-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),
610-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),
611-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),
612-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),
613-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),
614-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),
615-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),
616-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),
617-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),
618-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),
619-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),
620-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),
621-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),
622-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),
623-x(2)*x(21)*x(32)*x(35)-x(1)*x(8)^2*x(42)-x(2)*x(11)*x(25)*x(44)+x(11)*x(42),
624-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),
625-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),
626-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),
627-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),
628-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,
629-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),
630-x(1)*x(5)*x(42)^2-2*x(2)*x(21)*x(35)*x(44)+x(42)^2,
631-x(2)*x(16)*x(23)*x(35)-x(1)*x(11)^2*x(42)-x(2)*x(12)*x(42)*x(44)+x(12)*x(42),
632-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),
633-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),
634-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),
635-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),
636-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),
637-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),
638-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),
639-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),
640-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),
641-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),
642-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),
643-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),
644-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),
645-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),
646-x(1)*x(13)^2*x(18)-x(2)*x(21)*x(24)*x(25)-x(2)*x(15)*x(19)*x(27)+x(21)*x(23),
647-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),
648-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),
649-x(1)*x(5)*x(23)^2-2*x(2)*x(21)*x(24)*x(37)+x(23)^2,
650-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),
651-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),
652-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),
653-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),
654-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),
655-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),
656-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),
657-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),
658-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),
659-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),
660-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),
661-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),
662-x(1)*x(5)*x(8)*x(13)-x(2)*x(11)^2*x(21)-x(2)*x(15)^2*x(21)+x(11)*x(21),
663-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),
664-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),
665-x(1)*x(5)*x(13)^2-2*x(2)*x(15)*x(21)^2+x(21)^2,
666-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),
667-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),
668-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),
669-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),
670-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),
671-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),
672-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),
673-x(1)*x(15)*x(25)*x(34)-x(2)*x(34)^2*x(37)-x(2)*x(28)*x(40)*x(42)+x(21)*x(35),
674-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),
675-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),
676-x(1)*x(21)*x(23)*x(32)-x(2)*x(23)*x(24)*x(34)-x(2)*x(23)^2*x(37)+x(21)*x(24),
677-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),
678-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),
679-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),
680-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),
681-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),
682-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),
683-x(1)*x(5)*x(42)^2-2*x(2)*x(21)*x(35)*x(43)+x(42)^2,
684-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),
685-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),
686-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),
687-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),
688-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),
689-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),
690-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),
691-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),
692-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),
693-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),
694-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),
695-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),
696-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),
697-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),
698-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),
699-x(1)*x(5)*x(28)^2-2*x(2)*x(21)*x(29)*x(36)+x(28)^2,
700-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),
701-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),
702-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),
703-x(1)*x(15)^2*x(28)-x(2)*x(16)*x(28)*x(31)-x(2)*x(17)*x(29)*x(34)+x(16)*x(28),
704-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),
705-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),
706-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),
707-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),
708-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),
709-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),
710-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),
711-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),
712-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),
713-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),
714-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),
715-x(1)*x(14)^2*x(22)-x(2)*x(20)*x(28)*x(31)-x(2)*x(23)*x(26)*x(43)+x(12)*x(22),
716-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),
717-x(1)*x(18)*x(22)*x(34)-x(2)*x(29)*x(31)*x(40)-x(2)*x(37)^2*x(43)+x(22)*x(44),
718-x(1)*x(14)^2*x(16)-x(2)*x(20)*x(29)*x(34)-x(2)*x(18)*x(23)*x(35)+x(16)*x(22),
719-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),
720-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),
721-x(1)*x(14)^2*x(16)-x(2)*x(24)*x(26)*x(34)-x(2)*x(18)*x(28)*x(40)+x(16)*x(22),
722-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),
723-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),
724-x(1)*x(12)*x(14)^2-2*x(2)*x(18)*x(34)*x(44)+x(22)^2,
725-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),
726-x(1)*x(12)*x(23)*x(26)-x(2)*x(24)*x(35)*x(44)-x(2)*x(37)^2*x(44)+x(22)*x(43),
727-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),
728-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),
729-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),
730-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),
731-x(1)*x(22)*x(37)^2-x(2)*x(31)*x(39)^2-x(2)*x(38)^2*x(43)+x(43)*x(44),
732-x(1)*x(22)*x(24)*x(35)-x(2)*x(30)*x(31)*x(41)-x(2)*x(38)^2*x(43)+x(43)*x(44),
733-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),
734-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),
735-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),
736-x(1)*x(16)*x(37)*x(40)-x(2)*x(39)^2*x(40)-x(2)*x(24)*x(38)*x(41)+x(40)*x(43),
737-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),
738-x(1)*x(12)*x(29)*x(40)-x(2)*x(39)^2*x(44)-x(2)*x(30)*x(41)*x(44)+x(31)*x(43),
739-2*x(2)*x(38)^2*x(44)-x(1)*x(12)*x(44)^2+x(43)^2,
740-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),
741-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),
742-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),
743-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),
744-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),
745-x(1)*x(19)*x(22)*x(36)-x(2)*x(31)*x(39)^2-x(2)*x(39)^2*x(43)+x(31)*x(44),
746-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),
747-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),
748-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),
749-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),
750-x(1)*x(16)*x(31)*x(40)-x(2)*x(39)^2*x(40)-x(2)*x(24)*x(39)*x(41)+x(31)*x(40),
751-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),
752-x(1)*x(12)*x(31)^2-2*x(2)*x(39)^2*x(44)+x(31)^2,
753-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),
754-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),
755-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),
756-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),
757-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),
758-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),
759-x(1)*x(14)^2*x(17)-2*x(2)*x(20)*x(23)*x(36)+x(16)^2,
760-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),
761-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),
762-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,
763-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),
764-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),
765-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),
766-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),
767-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),
768-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),
769-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),
770-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),
771-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),
772-x(1)*x(17)*x(35)^2-2*x(2)*x(36)*x(38)*x(41)+x(35)^2,
773-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),
774-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),
775-2*x(2)*x(37)*x(38)^2-x(1)*x(22)*x(43)*x(44)+x(24)*x(35),
776-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),
777-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),
778-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),
779-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),
780-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),
781-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),
782-x(1)*x(17)*x(29)^2-2*x(2)*x(30)*x(36)*x(39)+x(29)^2,
783-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),
784-2*x(2)*x(37)*x(38)*x(39)-x(1)*x(22)*x(31)*x(44)+x(29)*x(40),
785-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),
786-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),
787-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),
788-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),
789-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),
790-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),
791-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),
792-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),
793-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),
794-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),
795-x(1)*x(5)*x(33)^2-2*x(2)*x(10)*x(24)*x(44)+x(33)^2,
796-x(2)*x(16)*x(24)*x(26)-x(1)*x(11)^2*x(33)-x(2)*x(12)*x(33)*x(44)+x(12)*x(33),
797-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),
798-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),
799-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),
800-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),
801-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),
802-x(1)*x(5)*x(26)^2-2*x(2)*x(10)*x(35)*x(37)+x(26)^2,
803-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),
804-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),
805-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),
806-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),
807-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),
808-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),
809-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),
810-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),
811-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),
812-x(1)*x(14)^2*x(17)-2*x(2)*x(19)*x(26)*x(28)+x(16)^2,
813-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),
814-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),
815-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),
816-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),
817-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),
818-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),
819-x(1)*x(17)*x(24)^2-2*x(2)*x(19)*x(30)*x(38)+x(24)^2,
820-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),
821-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),
822-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),
823-x(1)*x(17)*x(40)^2-2*x(2)*x(19)*x(39)*x(41)+x(40)^2,
824-x(1)*x(9)^2*x(12)-2*x(2)*x(33)*x(42)*x(44)+x(12)^2,
825-x(1)*x(12)*x(33)*x(42)-x(2)*x(24)*x(35)*x(44)-x(2)*x(43)^2*x(44)+x(12)*x(44),
826-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),
827-x(1)*x(12)*x(24)*x(35)-x(2)*x(38)^2*x(44)-x(2)*x(30)*x(41)*x(44)+x(44)^2,
828-x(1)*x(12)*x(43)^2-2*x(2)*x(38)^2*x(44)+x(44)^2, -2*x(2)*x(38)^2*x(44)-x(1)*x(12)*x(44)^2+x(44)^2,
829-x(1)*x(3)*x(4)^2-2*x(2)*x(4)*x(5)^2+x(6)*x(13),
830-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),
831-x(1)*x(4)^2*x(6)-x(2)*x(5)*x(8)*x(10)-x(2)*x(5)*x(6)*x(15)+x(6)*x(15),
832-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),
833-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),
834-x(1)*x(4)^2*x(8)-x(2)*x(5)*x(8)*x(11)-x(2)*x(5)*x(10)*x(13)+x(6)*x(21),
835-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),
836-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),
837-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),
838-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),
839-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),
840-x(1)*x(6)*x(8)^2-2*x(2)*x(10)*x(11)*x(14)+x(6)*x(22),
841-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),
842-x(1)*x(6)^2*x(13)-2*x(2)*x(10)*x(14)*x(15)+x(6)*x(17),
843-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),
844-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),
845-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,
846-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,
847-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),
848-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),
849-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),
850-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),
851-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),
852-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),
853-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),
854-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),
855-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),
856-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),
857-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),
858-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),
859-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),
860-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),
861-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),
862-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),
863-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),
864-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),
865-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),
866-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),
867-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),
868-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),
869-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),
870-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),
871-x(1)*x(4)^2*x(8)-x(2)*x(5)*x(8)*x(11)-x(2)*x(5)*x(6)*x(21)+x(10)*x(13),
872-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),
873-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),
874-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),
875-x(1)*x(6)^2*x(23)-x(2)*x(7)*x(15)*x(29)-x(2)*x(10)*x(32)*x(44)+x(10)*x(18),
876-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),
877-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),
878-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),
879-x(2)*x(10)*x(24)*x(25)-x(1)*x(8)^2*x(33)-x(2)*x(11)*x(32)*x(43)+x(10)*x(23),
880-x(1)*x(5)*x(8)^2-x(2)*x(11)^3-x(2)*x(10)*x(15)*x(21)+x(10)*x(21),
881-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),
882-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),
883-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),
884-x(2)*x(18)*x(20)*x(29)-x(1)*x(10)*x(23)*x(32)-x(2)*x(33)^2*x(44)+x(10)*x(24),
885-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),
886-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),
887-x(2)*x(18)^2*x(35)-x(1)*x(10)*x(32)*x(42)-x(2)*x(26)*x(33)*x(44)+x(10)*x(37),
888-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),
889-x(1)*x(5)*x(6)*x(8)-x(2)*x(10)*x(11)*x(15)-x(2)*x(10)^2*x(21)+x(10)*x(15),
890-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),
891-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),
892-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),
893-x(1)*x(7)*x(15)*x(23)-x(2)*x(20)^2*x(29)-x(2)*x(18)*x(20)*x(44)+x(10)*x(19),
894-x(1)*x(15)*x(20)*x(32)-x(2)*x(20)*x(31)*x(33)-x(2)*x(18)^2*x(40)+x(10)*x(19),
895-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),
896-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),
897-x(2)*x(18)*x(24)*x(26)-x(1)*x(11)*x(32)*x(33)-x(2)*x(33)^2*x(43)+x(10)*x(24),
898-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),
899-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),
900-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),
901-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),
902-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),
903-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),
904-x(2)*x(21)*x(32)*x(35)-x(1)*x(8)^2*x(42)-x(2)*x(11)*x(25)*x(43)+x(21)*x(26),
905-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),
906-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),
907-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),
908-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),
909-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),
910-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),
911-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),
912-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),
913-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),
914-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),
915-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),
916-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),
917-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),
918-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),
919-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),
920-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),
921-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),
922-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),
923-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),
924-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),
925-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),
926-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),
927-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),
928-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),
929-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,
930-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),
931-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),
932-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),
933-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),
934-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),
935-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),
936-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),
937-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),
938-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),
939-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),
940-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),
941-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),
942-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),
943-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),
944-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),
945-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,
946-x(1)*x(15)^2*x(18)-x(2)*x(16)*x(20)*x(29)-x(2)*x(17)*x(18)*x(37)+x(17)*x(18),
947-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),
948-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),
949-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),
950-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),
951-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),
952-x(1)*x(4)^2*x(13)-x(2)*x(5)*x(13)*x(15)-x(2)*x(5)*x(8)*x(21)+x(13)*x(15),
953-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),
954-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),
955-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,
956-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),
957-x(1)*x(8)^2*x(20)-x(2)*x(10)*x(19)*x(25)-x(2)*x(11)*x(32)*x(40)+x(15)*x(20),
958-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),
959-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),
960-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),
961-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),
962-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),
963-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),
964-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),
965-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),
966-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),
967-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),
968-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),
969-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),
970-x(1)*x(5)*x(6)*x(13)-x(2)*x(15)^3-x(2)*x(10)*x(11)*x(21)+x(15)^2,
971-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),
972-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),
973-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),
974-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),
975-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),
976-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),
977-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),
978-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),
979-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),
980-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),
981-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),
982-x(1)*x(8)^2*x(28)-x(2)*x(11)*x(25)*x(29)-x(2)*x(21)*x(32)*x(36)+x(15)*x(28),
983-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),
984-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),
985-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),
986-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),
987-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),
988-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),
989-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),
990-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),
991-x(1)*x(11)^2*x(28)-x(2)*x(16)*x(23)*x(36)-x(2)*x(12)*x(29)*x(42)+x(16)*x(28),
992-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),
993-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),
994-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),
995-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),
996-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),
997-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),
998-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),
999-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),
1000-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),
1001-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),
1002-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),
1003-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),
1004-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),
1005-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),
1006-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),
1007-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),
1008-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),
1009-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),
1010-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),
1011-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),
1012-x(1)*x(13)^2*x(26)-x(2)*x(15)*x(27)*x(40)-x(2)*x(21)*x(25)*x(44)+x(21)*x(34),
1013-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,
1014-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),
1015-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),
1016-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),
1017-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,
1018-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),
1019-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),
1020-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),
1021-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),
1022-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),
1023-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),
1024-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),
1025-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),
1026-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),
1027-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),
1028-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),
1029-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),
1030-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),
1031-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),
1032-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),
1033-x(1)*x(8)^2*x(13)-x(2)*x(9)*x(11)*x(21)-x(2)*x(14)*x(15)*x(21)+x(13)*x(16),
1034-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),
1035-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),
1036-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),
1037-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),
1038-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),
1039-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),
1040-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),
1041-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),
1042-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),
1043-x(1)*x(14)^2*x(22)-x(2)*x(20)*x(28)*x(31)-x(2)*x(23)*x(26)*x(43)+x(16)^2,
1044-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),
1045-x(1)*x(20)*x(22)*x(34)-x(2)*x(31)^2*x(40)-x(2)*x(37)*x(40)*x(43)+x(16)*x(40),
1046-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),
1047-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),
1048-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),
1049-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),
1050-x(1)*x(11)^2*x(20)-x(2)*x(16)*x(19)*x(26)-x(2)*x(12)*x(33)*x(40)+x(16)*x(20),
1051-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),
1052-x(1)*x(14)^2*x(16)-x(2)*x(24)*x(26)*x(34)-x(2)*x(18)*x(28)*x(40)+x(16)*x(17),
1053-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),
1054-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),
1055-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,
1056-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),
1057-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),
1058-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),
1059-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),
1060-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),
1061-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),
1062-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),
1063-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),
1064-x(2)*x(23)*x(34)*x(35)-x(1)*x(11)*x(25)*x(42)-x(2)*x(42)^2*x(43)+x(21)*x(35),
1065-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),
1066-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),
1067-x(1)*x(21)*x(25)*x(26)-x(2)*x(28)*x(34)*x(40)-x(2)*x(42)^2*x(44)+x(21)*x(35),
1068-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),
1069-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),
1070-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),
1071-x(1)*x(22)*x(37)^2-x(2)*x(31)*x(39)^2-x(2)*x(38)^2*x(43)+x(24)*x(35),
1072-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),
1073-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),
1074-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),
1075-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),
1076-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),
1077-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),
1078-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),
1079-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),
1080-x(1)*x(16)*x(37)*x(40)-x(2)*x(39)^2*x(40)-x(2)*x(24)*x(38)*x(41)+x(19)*x(35),
1081-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),
1082-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),
1083-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),
1084-2*x(2)*x(38)^2*x(44)-x(1)*x(12)*x(44)^2+x(24)*x(35),
1085-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),
1086-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),
1087-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),
1088-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),
1089-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),
1090-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),
1091-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),
1092-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),
1093-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),
1094-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),
1095-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),
1096-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),
1097-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),
1098-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),
1099-x(1)*x(19)*x(22)*x(36)-x(2)*x(31)*x(39)^2-x(2)*x(39)^2*x(43)+x(29)*x(40),
1100-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),
1101-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),
1102-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),
1103-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),
1104-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),
1105-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),
1106-x(1)*x(16)*x(18)*x(28)-x(2)*x(24)*x(36)*x(37)-x(2)*x(29)^2*x(40)+x(17)*x(29),
1107-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),
1108-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),
1109-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),
1110-x(1)*x(12)*x(31)*x(43)-2*x(2)*x(38)*x(39)*x(44)+x(29)*x(40),
1111-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),
1112-x(1)*x(6)*x(13)^2-2*x(2)*x(14)*x(15)*x(21)+x(13)*x(17),
1113-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),
1114-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),
1115-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),
1116-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),
1117-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),
1118-x(1)*x(15)^2*x(34)-x(2)*x(17)*x(34)*x(37)-x(2)*x(16)*x(28)*x(40)+x(17)*x(34),
1119-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),
1120-x(1)*x(14)^2*x(16)-x(2)*x(20)*x(29)*x(34)-x(2)*x(18)*x(23)*x(35)+x(16)*x(17),
1121-x(1)*x(16)*x(18)*x(23)-x(2)*x(24)^2*x(35)-x(2)*x(19)*x(29)*x(37)+x(17)*x(24),
1122-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),
1123-x(1)*x(14)^2*x(17)-2*x(2)*x(20)*x(23)*x(36)+x(17)*x(22),
1124-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),
1125-x(1)*x(14)^2*x(22)-2*x(2)*x(18)*x(34)*x(37)+x(17)^2,
1126-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),
1127-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),
1128-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),
1129-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),
1130-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),
1131-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),
1132-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),
1133-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),
1134-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),
1135-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),
1136-x(1)*x(15)*x(26)*x(27)-x(2)*x(28)^2*x(40)-x(2)*x(28)*x(34)*x(44)+x(21)*x(36),
1137-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),
1138-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),
1139-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),
1140-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),
1141-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),
1142-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),
1143-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),
1144-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),
1145-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),
1146-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),
1147-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),
1148-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),
1149-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),
1150-2*x(2)*x(37)*x(38)*x(39)-x(1)*x(22)*x(31)*x(44)+x(19)*x(36),
1151-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),
1152-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),
1153-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),
1154-x(1)*x(8)^2*x(13)-2*x(2)*x(11)*x(14)*x(21)+x(13)*x(22),
1155-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),
1156-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),
1157-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),
1158-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),
1159-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),
1160-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),
1161-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),
1162-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),
1163-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),
1164-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),
1165-x(1)*x(9)^2*x(22)-2*x(2)*x(33)*x(37)*x(42)+x(22)^2,
1166-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),
1167-x(1)*x(14)^2*x(17)-2*x(2)*x(19)*x(26)*x(28)+x(17)*x(22),
1168-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),
1169-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),
1170-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),
1171-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),
1172-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),
1173-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),
1174-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),
1175-x(2)*x(23)^2*x(35)-x(1)*x(21)*x(32)*x(42)-x(2)*x(23)*x(34)*x(43)+x(21)*x(37),
1176-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),
1177-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),
1178-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),
1179-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),
1180-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),
1181-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),
1182-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),
1183-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),
1184-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,
1185-2*x(2)*x(37)*x(38)^2-x(1)*x(22)*x(43)*x(44)+x(37)^2,
1186-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),
1187-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),
1188-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),
1189-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),
1190-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),
1191-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),
1192-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),
1193-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),
1194-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),
1195-x(1)*x(4)^3-2*x(2)*x(5)^3+x(25)*x(32),
1196-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),
1197-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),
1198-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),
1199-x(1)*x(6)*x(13)*x(25)-x(2)*x(15)^2*x(34)-x(2)*x(10)*x(21)*x(42)+x(25)*x(37),
1200-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),
1201-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),
1202-x(1)*x(8)^2*x(25)-x(2)*x(10)*x(21)*x(34)-x(2)*x(11)^2*x(42)+x(25)*x(44),
1203-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),
1204-x(1)*x(8)^2*x(25)-2*x(2)*x(11)*x(21)*x(26)+x(25)*x(43),
1205-x(1)*x(25)^2*x(32)-x(2)*x(18)*x(34)^2-x(2)*x(33)*x(42)^2+x(25)*x(38),
1206-x(1)*x(25)^2*x(32)-x(2)*x(23)*x(26)*x(34)-x(2)*x(23)*x(26)*x(42)+x(25)*x(38),
1207-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),
1208-x(1)*x(7)*x(13)^2-2*x(2)*x(15)*x(20)*x(21)+x(19)*x(25),
1209-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),
1210-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),
1211-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),
1212-x(1)*x(4)*x(9)^2-2*x(2)*x(5)*x(33)*x(42)+x(33)*x(42),
1213-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),
1214-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),
1215-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),
1216-x(1)*x(8)^2*x(21)-x(2)*x(11)*x(16)*x(21)-x(2)*x(11)*x(21)*x(22)+x(23)*x(42),
1217-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),
1218-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),
1219-x(1)*x(8)^2*x(11)-x(2)*x(11)^2*x(12)-x(2)*x(10)*x(16)*x(21)+x(33)*x(42),
1220-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),
1221-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),
1222-x(1)*x(11)^2*x(25)-x(2)*x(16)^2*x(34)-x(2)*x(12)^2*x(42)+x(42)*x(44),
1223-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),
1224-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),
1225-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),
1226-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),
1227-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),
1228-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),
1229-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),
1230-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),
1231-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),
1232-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),
1233-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),
1234-x(1)*x(10)*x(21)*x(25)-x(2)*x(16)^2*x(34)-x(2)*x(22)^2*x(42)+x(37)*x(42),
1235-x(1)*x(20)*x(25)*x(28)-x(2)*x(29)*x(34)*x(40)-x(2)*x(31)^2*x(42)+x(39)*x(42),
1236-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),
1237-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),
1238-x(1)*x(4)*x(14)^2-2*x(2)*x(5)*x(18)*x(34)+x(18)*x(34),
1239-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),
1240-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),
1241-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),
1242-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),
1243-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),
1244-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),
1245-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),
1246-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),
1247-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),
1248-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),
1249-x(1)*x(10)*x(21)*x(25)-x(2)*x(22)^2*x(34)-x(2)*x(16)^2*x(42)+x(34)*x(44),
1250-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),
1251-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),
1252-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),
1253-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),
1254-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),
1255-x(1)*x(6)*x(13)*x(15)-x(2)*x(15)^2*x(17)-x(2)*x(10)*x(16)*x(21)+x(18)*x(34),
1256-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),
1257-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),
1258-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),
1259-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),
1260-x(1)*x(18)^2*x(27)-x(2)*x(19)*x(28)*x(29)-x(2)*x(24)*x(28)*x(37)+x(30)*x(34),
1261-x(1)*x(15)^2*x(25)-x(2)*x(17)^2*x(34)-x(2)*x(16)^2*x(42)+x(34)*x(37),
1262-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),
1263-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),
1264-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),
1265-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),
1266-x(1)*x(8)^2*x(10)-x(2)*x(10)*x(11)*x(16)-x(2)*x(10)*x(11)*x(22)+x(26)*x(33),
1267-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),
1268-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),
1269-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),
1270-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),
1271-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),
1272-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),
1273-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),
1274-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),
1275-x(1)*x(10)*x(11)*x(25)-x(2)*x(16)^2*x(26)-x(2)*x(12)*x(22)*x(26)+x(26)*x(43),
1276-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),
1277-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),
1278-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),
1279-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),
1280-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),
1281-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),
1282-x(2)*x(10)*x(15)*x(16)-x(1)*x(6)^2*x(21)-x(2)*x(10)*x(15)*x(22)+x(18)*x(26),
1283-x(2)*x(16)^2*x(20)-x(1)*x(7)*x(15)*x(21)-x(2)*x(17)*x(20)*x(22)+x(19)*x(26),
1284-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),
1285-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),
1286-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),
1287-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),
1288-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),
1289-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),
1290-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),
1291-x(2)*x(10)*x(18)*x(21)-x(1)*x(8)^2*x(32)-x(2)*x(11)^2*x(33)+x(32)*x(44),
1292-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),
1293-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),
1294-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),
1295-x(1)*x(14)^2*x(37)-x(2)*x(23)*x(26)*x(38)-x(2)*x(20)*x(28)*x(39)+x(37)*x(44),
1296-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),
1297-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),
1298-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),
1299-2*x(2)*x(33)*x(38)*x(42)-x(1)*x(9)^2*x(44)+x(44)^2,
1300-x(2)*x(16)^2*x(18)-x(1)*x(11)^2*x(32)-x(2)*x(12)^2*x(33)+x(33)*x(44),
1301-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),
1302-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),
1303-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,
1304-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),
1305-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),
1306-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),
1307-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),
1308-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),
1309-x(2)*x(18)*x(22)^2-x(1)*x(10)*x(21)*x(32)-x(2)*x(16)^2*x(33)+x(18)*x(44),
1310-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),
1311-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),
1312-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),
1313-x(1)*x(20)*x(28)*x(37)-x(2)*x(31)^2*x(39)-x(2)*x(29)*x(38)*x(40)+x(39)*x(44),
1314-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),
1315-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),
1316-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),
1317-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),
1318-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),
1319-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),
1320-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),
1321-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),
1322-x(2)*x(20)*x(34)*x(39)-x(1)*x(14)^2*x(40)-x(2)*x(18)*x(23)*x(41)+x(37)*x(40),
1323-x(1)*x(14)^2*x(19)-2*x(2)*x(20)*x(23)*x(39)+x(24)*x(40),
1324-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),
1325-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),
1326-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),
1327-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),
1328-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),
1329-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),
1330-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),
1331-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),
1332-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),
1333-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),
1334-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),
1335-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),
1336-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),
1337-x(1)*x(20)^2*x(21)-x(2)*x(16)*x(19)*x(40)-x(2)*x(19)*x(22)*x(40)+x(19)*x(40),
1338-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),
1339-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),
1340-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),
1341-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),
1342-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),
1343-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),
1344-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),
1345-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),
1346-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),
1347-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),
1348-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),
1349-x(1)*x(14)^2*x(35)-x(2)*x(26)*x(34)*x(38)-x(2)*x(18)*x(28)*x(41)+x(35)*x(37),
1350-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),
1351-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),
1352-x(1)*x(14)^2*x(36)-2*x(2)*x(26)*x(28)*x(39)+x(29)*x(35),
1353-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),
1354-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),
1355-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),
1356-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),
1357-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),
1358-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),
1359-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),
1360-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),
1361-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),
1362-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),
1363-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),
1364-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),
1365-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),
1366-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),
1367-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),
1368-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),
1369-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),
1370-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),
1371-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),
1372-x(2)*x(15)^2*x(18)-x(1)*x(6)*x(13)*x(32)-x(2)*x(10)*x(21)*x(33)+x(32)*x(37),
1373-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),
1374-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),
1375-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),
1376-2*x(2)*x(18)*x(34)*x(38)-x(1)*x(14)^2*x(44)+x(37)^2,
1377-x(1)*x(14)^2*x(24)-x(2)*x(20)*x(30)*x(34)-x(2)*x(18)*x(23)*x(38)+x(24)*x(37),
1378-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),
1379-x(1)*x(14)^2*x(29)-x(2)*x(26)*x(30)*x(34)-x(2)*x(18)*x(28)*x(39)+x(29)*x(37),
1380-x(2)*x(16)^2*x(18)-x(1)*x(10)*x(21)*x(32)-x(2)*x(22)^2*x(33)+x(33)*x(37),
1381-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),
1382-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),
1383-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),
1384-x(2)*x(24)*x(35)*x(38)-x(2)*x(37)^2*x(38)-x(1)*x(23)*x(26)*x(44)+x(37)*x(38),
1385-x(1)*x(24)*x(26)*x(34)-x(2)*x(37)^2*x(38)-x(2)*x(30)*x(35)*x(40)+x(37)*x(38),
1386-x(1)*x(18)^2*x(21)-x(2)*x(16)*x(19)*x(29)-x(2)*x(22)*x(24)*x(37)+x(24)*x(37),
1387-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),
1388-x(1)*x(18)*x(34)*x(37)-x(2)*x(37)^2*x(38)-x(2)*x(29)*x(39)*x(40)+x(37)*x(38),
1389-x(2)*x(17)^2*x(18)-x(1)*x(15)^2*x(32)-x(2)*x(16)^2*x(33)+x(18)*x(37),
1390-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),
1391-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),
1392-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),
1393-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),
1394-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),
1395-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,
1396-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),
1397-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),
1398-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),
1399-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),
1400-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),
1401-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),
1402-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),
1403-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),
1404-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),
1405-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),
1406-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),
1407-x(1)*x(14)^2*x(37)-x(2)*x(23)*x(26)*x(38)-x(2)*x(20)*x(28)*x(39)+x(24)*x(35),
1408-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),
1409-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),
1410-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),
1411-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),
1412-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),
1413-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),
1414-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),
1415-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),
1416-x(2)*x(20)*x(34)*x(39)-x(1)*x(14)^2*x(40)-x(2)*x(18)*x(23)*x(41)+x(19)*x(35),
1417-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),
1418-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),
1419-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),
1420-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),
1421-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),
1422-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),
1423-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),
1424-x(1)*x(6)^2*x(27)-2*x(2)*x(10)*x(15)*x(28)+x(32)*x(36),
1425-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),
1426-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),
1427-x(1)*x(10)*x(15)*x(27)-x(2)*x(16)^2*x(28)-x(2)*x(17)*x(22)*x(28)+x(23)*x(36),
1428-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),
1429-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),
1430-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),
1431-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),
1432-x(1)*x(14)^2*x(29)-x(2)*x(26)*x(30)*x(34)-x(2)*x(18)*x(28)*x(39)+x(24)*x(36),
1433-x(1)*x(14)^2*x(36)-2*x(2)*x(26)*x(28)*x(39)+x(36)*x(43),
1434-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),
1435-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),
1436-x(1)*x(18)*x(28)*x(29)-x(2)*x(30)*x(36)*x(37)-x(2)*x(29)^2*x(39)+x(30)*x(36),
1437-x(1)*x(14)^2*x(31)-2*x(2)*x(18)*x(34)*x(39)+x(19)*x(36),
1438-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),
1439-x(1)*x(25)*x(32)^2-x(2)*x(18)^2*x(34)-x(2)*x(33)^2*x(42)+x(32)*x(38),
1440-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),
1441-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),
1442-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),
1443-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),
1444-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),
1445-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),
1446-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),
1447-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),
1448-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),
1449-x(1)*x(37)^3-x(2)*x(38)^3-x(2)*x(39)^3+x(38)^2,
1450-x(1)*x(24)*x(35)*x(37)-x(2)*x(38)^3-x(2)*x(30)*x(39)*x(41)+x(38)^2,
1451-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),
1452-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),
1453-x(2)*x(38)^3-x(2)*x(30)*x(38)*x(41)-x(1)*x(24)*x(35)*x(44)+x(38)^2,
1454-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),
1455-x(2)*x(19)*x(37)*x(39)-x(1)*x(18)*x(23)*x(40)-x(2)*x(24)^2*x(41)+x(19)*x(38),
1456-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),
1457-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),
1458-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),
1459-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),
1460-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),
1461-2*x(2)*x(38)^3-x(1)*x(44)^3+x(38)^2,
1462-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),
1463-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),
1464-x(1)*x(20)*x(28)*x(32)-x(2)*x(31)^2*x(33)-x(2)*x(18)*x(29)*x(40)+x(33)*x(39),
1465-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),
1466-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),
1467-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),
1468-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),
1469-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),
1470-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),
1471-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),
1472-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),
1473-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),
1474-x(1)*x(19)*x(36)*x(37)-x(2)*x(38)*x(39)^2-x(2)*x(39)^3+x(38)*x(39),
1475-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),
1476-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),
1477-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),
1478-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),
1479-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),
1480-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),
1481-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),
1482-x(2)*x(39)^3-x(1)*x(29)*x(31)*x(40)-x(2)*x(30)*x(39)*x(41)+x(39)^2,
1483-x(1)*x(19)*x(29)^2-2*x(2)*x(30)*x(39)^2+x(30)*x(39),
1484-2*x(2)*x(38)*x(39)^2-x(1)*x(31)^2*x(44)+x(39)^2,
1485-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),
1486-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),
1487-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),
1488-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),
1489-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),
1490-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),
1491-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),
1492-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),
1493-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),
1494-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),
1495-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),
1496-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),
1497-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),
1498-x(1)*x(35)*x(37)*x(40)-x(2)*x(38)^2*x(41)-x(2)*x(39)^2*x(41)+x(38)*x(41),
1499-x(2)*x(38)^2*x(41)-x(2)*x(38)*x(39)*x(41)-x(1)*x(35)*x(40)*x(43)+x(38)*x(41),
1500-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),
1501-x(1)*x(19)*x(36)*x(37)-x(2)*x(38)*x(39)^2-x(2)*x(39)^3+x(30)*x(41),
1502-x(1)*x(19)*x(35)^2-2*x(2)*x(38)*x(39)*x(41)+x(38)*x(41),
1503-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),
1504-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),
1505-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),
1506-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),
1507-x(1)*x(31)*x(35)*x(40)-x(2)*x(38)*x(39)*x(41)-x(2)*x(39)^2*x(41)+x(39)*x(41),
1508-2*x(2)*x(38)^2*x(39)-x(1)*x(31)*x(43)*x(44)+x(30)*x(41),
1509-x(1)*x(26)*x(34)*x(40)-x(2)*x(35)*x(39)*x(40)-x(2)*x(37)^2*x(41)+x(37)*x(41),
1510-x(1)*x(36)*x(40)^2-2*x(2)*x(39)^2*x(41)+x(39)*x(41),
1511-x(2)*x(38)^2*x(41)-x(2)*x(38)*x(39)*x(41)-x(1)*x(35)*x(40)*x(44)+x(38)*x(41),
1512-2*x(2)*x(10)*x(11)*x(23)-x(1)*x(8)^2*x(32)+x(32)*x(43),
1513-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),
1514-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),
1515-x(2)*x(16)^2*x(23)-x(2)*x(12)*x(22)*x(23)-x(1)*x(11)*x(21)*x(32)+x(23)*x(43),
1516-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),
1517-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),
1518-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),
1519-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),
1520-2*x(2)*x(33)*x(38)*x(42)-x(1)*x(9)^2*x(43)+x(43)^2,
1521-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),
1522-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),
1523-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),
1524-x(1)*x(14)^2*x(19)-2*x(2)*x(20)*x(23)*x(39)+x(19)*x(43),
1525-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),
1526-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),
1527-x(1)*x(18)^2*x(25)-x(2)*x(19)*x(26)*x(29)-x(2)*x(24)*x(26)*x(37)+x(18)*x(38),
1528-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),
1529-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),
1530-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),
1531-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),
1532-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),
1533-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),
1534-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),
1535-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),
1536-x(2)*x(38)^3-x(2)*x(30)*x(38)*x(41)-x(1)*x(24)*x(35)*x(43)+x(38)^2,
1537-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),
1538-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),
1539-2*x(2)*x(38)^3-x(1)*x(43)^2*x(44)+x(38)^2,
1540-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),
1541-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),
1542-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),
1543-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),
1544-x(1)*x(24)^2*x(36)-2*x(2)*x(30)*x(38)*x(39)+x(30)*x(38),
1545-x(1)*x(18)*x(23)*x(35)-x(2)*x(37)^2*x(38)-x(2)*x(24)*x(29)*x(41)+x(37)*x(38),
1546-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),
1547-x(1)*x(4)^3-2*x(2)*x(5)^3+x(7)*x(27),
1548-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),
1549-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),
1550-2*x(2)*x(15)*x(21)*x(23)-x(1)*x(13)^2*x(32)+x(19)*x(27),
1551-x(1)*x(8)^2*x(27)-2*x(2)*x(11)*x(21)*x(28)+x(27)*x(31),
1552-x(1)*x(25)^3-x(2)*x(34)^3-x(2)*x(42)^3+x(27)*x(41),
1553-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),
1554-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),
1555-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),
1556-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),
1557-x(1)*x(6)*x(11)*x(13)-x(2)*x(15)^2*x(16)-x(2)*x(10)*x(12)*x(21)+x(20)*x(28),
1558-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),
1559-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),
1560-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),
1561-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),
1562-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),
1563-x(1)*x(8)^2*x(15)-x(2)*x(11)^2*x(16)-x(2)*x(10)*x(17)*x(21)+x(20)*x(28),
1564-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),
1565-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),
1566-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),
1567-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),
1568-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),
1569-x(2)*x(16)^2*x(23)-x(2)*x(17)*x(22)*x(23)-x(1)*x(15)*x(21)*x(32)+x(19)*x(28),
1570-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),
1571-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),
1572-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),
1573-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),
1574-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),
1575-x(1)*x(10)*x(11)*x(27)-x(2)*x(16)^2*x(28)-x(2)*x(12)*x(22)*x(28)+x(28)*x(31),
1576-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),
1577-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),
1578-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),
1579-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),
1580-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),
1581-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),
1582-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),
1583-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),
1584-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),
1585-x(1)*x(14)^2*x(37)-x(2)*x(23)*x(26)*x(38)-x(2)*x(20)*x(28)*x(39)+x(29)*x(40),
1586-x(1)*x(14)^2*x(24)-x(2)*x(20)*x(30)*x(34)-x(2)*x(18)*x(23)*x(38)+x(19)*x(29),
1587-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),
1588-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),
1589-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),
1590-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),
1591-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),
1592-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),
1593-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),
1594-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),
1595-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),
1596-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),
1597-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),
1598-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),
1599-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),
1600-x(1)*x(18)^2*x(21)-x(2)*x(19)*x(22)*x(29)-x(2)*x(16)*x(24)*x(37)+x(19)*x(29),
1601-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),
1602-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),
1603-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),
1604-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),
1605-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),
1606-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),
1607-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),
1608-x(1)*x(7)*x(8)^2-2*x(2)*x(10)*x(11)*x(20)+x(7)*x(31),
1609-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),
1610-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),
1611-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),
1612-x(1)*x(14)^2*x(19)-2*x(2)*x(20)*x(23)*x(39)+x(19)*x(31),
1613-x(1)*x(9)^2*x(31)-2*x(2)*x(33)*x(39)*x(42)+x(31)^2,
1614-x(2)*x(16)^2*x(20)-x(1)*x(7)*x(11)*x(21)-x(2)*x(12)*x(20)*x(22)+x(20)*x(31),
1615-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),
1616-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,
1617-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),
1618-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),
1619-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),
1620-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),
1621-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),
1622-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),
1623-x(1)*x(6)^2*x(25)-2*x(2)*x(10)*x(15)*x(26)+x(7)*x(36),
1624-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),
1625-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),
1626-x(1)*x(14)^2*x(35)-x(2)*x(26)*x(34)*x(38)-x(2)*x(18)*x(28)*x(41)+x(36)*x(40),
1627-2*x(2)*x(18)*x(34)*x(38)-x(1)*x(14)^2*x(43)+x(19)*x(36),
1628-x(1)*x(14)^2*x(36)-2*x(2)*x(26)*x(28)*x(39)+x(31)*x(36),
1629-x(1)*x(10)*x(15)*x(25)-x(2)*x(16)^2*x(26)-x(2)*x(17)*x(22)*x(26)+x(20)*x(36),
1630-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),
1631-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),
1632-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),
1633-x(1)*x(26)*x(34)*x(35)-x(2)*x(35)^2*x(38)-x(2)*x(36)*x(37)*x(41)+x(36)*x(41),
1634-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),
1635-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),
1636-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),
1637-x(1)*x(18)*x(28)*x(35)-x(2)*x(36)*x(37)*x(38)-x(2)*x(29)^2*x(41)+x(36)*x(39),
1638-x(2)*x(18)^3-x(1)*x(32)^3-x(2)*x(33)^3+x(7)*x(30),
1639-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),
1640-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),
1641-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),
1642-x(1)*x(18)*x(23)*x(24)-x(2)*x(19)*x(30)*x(37)-x(2)*x(24)^2*x(38)+x(19)*x(30),
1643-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),
1644-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),
1645-x(1)*x(37)^3-x(2)*x(38)^3-x(2)*x(39)^3+x(30)*x(41),
1646-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),
1647-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),
1648-2*x(2)*x(38)^3-x(1)*x(44)^3+x(30)*x(41),
1649-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),
1650-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),
1651-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),
1652-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),
1653-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),
1654-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),
1655-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),
1656-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),
1657-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),
1658-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),
1659-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),
1660-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),
1661-x(1)*x(35)*x(37)*x(40)-x(2)*x(38)^2*x(41)-x(2)*x(39)^2*x(41)+x(39)*x(41),
1662-x(1)*x(19)*x(36)*x(37)-x(2)*x(38)*x(39)^2-x(2)*x(39)^3+x(39)^2,
1663-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),
1664-x(1)*x(24)*x(31)*x(35)-x(2)*x(38)^2*x(39)-x(2)*x(30)*x(39)*x(41)+x(39)^2,
1665-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,
1666-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),
1667-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),
1668-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),
1669-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),
1670-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,
1671-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,
1672-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),
1673-2*x(2)*x(38)^2*x(39)-x(1)*x(31)*x(43)*x(44)+x(39)^2,
1674-x(2)*x(38)^2*x(41)-x(2)*x(38)*x(39)*x(41)-x(1)*x(35)*x(40)*x(44)+x(39)*x(41);
1675i=slimgb(i);
1676char_out(i);
1677
1678tst_status(1);$
Note: See TracBrowser for help on using the repository browser.