1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
|
fp t750,
t779,
t748,
t778,
t749,
t777,
t776,
t775,
t740,
t761,
t688,
t713,
t774,
t711,
t773,
t744,
t759,
t687,
t732,
t772,
t718,
t771,
t735,
t677,
t770,
t680,
t769,
t717,
t698,
t768,
t767,
t670,
t728,
t766,
t765,
t710,
t714,
t764,
t763,
t668,
t712,
t762,
t760,
t758,
t741,
t757,
t734,
t695,
t756,
t755,
t736,
t708,
t754,
t743,
t721,
t700,
t753,
t752,
t747,
t746,
t745,
t742,
t739,
t738,
t737,
t733,
t731,
t730,
t729,
t727,
t726,
t725,
t724,
t722,
t720,
t719,
t715,
t709,
t707,
t706,
t705,
t703,
t702,
t701,
t699,
t697,
t696,
t694,
t693,
t692,
t691,
t690,
t686,
t683,
t681,
t679,
t676,
t675,
t673,
t672,
t669,
t666,
t663,
t658,
t656,
t655,
t651;
t750 = x*x;
t779 = y*t750;
t748 = y*y;
t778 = x*t748;
t749 = t750*x;
t777 = t749+x;
t776 = y*t749;
t775 = t748*t750;
t740 = RATIONAL(1.0,3.0);
t761 = t748*t749;
t688 = t740*t761;
t713 = RATIONAL(5.0,18.0);
t774 = t688+t713*t779;
t711 = RATIONAL(7.0,48.0);
t773 = t711*t748;
t744 = RATIONAL(-1.0,3.0);
t759 = t744*t748;
t687 = t749*t759;
t732 = RATIONAL(-7.0,18.0);
t772 = t687+t732*t779;
t718 = RATIONAL(-7.0,48.0);
t771 = t718*t748;
t735 = RATIONAL(7.0,3.0);
t677 = t735*t761;
t770 = t735*t779+t677;
t680 = RATIONAL(-7.0,3.0)*t761;
t769 = RATIONAL(-35.0,6.0)*t779+t680;
t717 = RATIONAL(7.0,18.0);
t698 = t717*t749;
t768 = RATIONAL(-16.0,3.0)*t761+RATIONAL(-70.0,9.0)*t779;
t767 = t750*RATIONAL(-5.0,12.0);
t670 = t718*t761;
t728 = RATIONAL(-1.0,12.0);
t766 = t728*t779+t670;
t765 = t740*t748;
t710 = RATIONAL(-1.0,48.0);
t714 = RATIONAL(-1.0,36.0);
t764 = t714*t779+t710*t761;
t763 = RATIONAL(7.0,9.0)*t779+t688;
t668 = t711*t761;
t712 = RATIONAL(5.0,24.0);
t762 = t712*t779+t668;
t760 = RATIONAL(1.0,48.0)*t748;
t758 = y*t777;
t741 = RATIONAL(-4.0,9.0);
t757 = RATIONAL(25.0,6.0)*t779+t741*x+t677;
t734 = RATIONAL(1.0,18.0);
t695 = t734*x;
t756 = t695+t687+RATIONAL(-5.0,9.0)*t779;
t755 = t695+RATIONAL(-49.0,48.0)*t761+RATIONAL(-5.0,4.0)*t779;
t736 = RATIONAL(1.0,6.0);
t708 = RATIONAL(-1.0,144.0);
t754 = t668+t708*x+t736*t779;
t743 = RATIONAL(-5.0,3.0);
t721 = RATIONAL(-1.0,18.0);
t700 = t721*x;
t753 = t700+t680+t743*t779;
t752 = t700+y*t767+t670;
t747 = RATIONAL(-2.0,9.0);
t746 = RATIONAL(2.0,9.0);
t745 = RATIONAL(-2.0,3.0);
t742 = RATIONAL(-1.0,9.0);
t739 = RATIONAL(2.0,3.0);
t738 = RATIONAL(4.0,9.0);
t737 = RATIONAL(1.0,9.0);
t733 = RATIONAL(-5.0,18.0);
t731 = RATIONAL(1.0,72.0);
t730 = RATIONAL(7.0,36.0);
t729 = RATIONAL(-1.0,24.0);
t727 = RATIONAL(7.0,12.0);
t726 = RATIONAL(-7.0,12.0);
t725 = RATIONAL(1.0,24.0);
t724 = RATIONAL(-1.0,72.0);
t722 = RATIONAL(1.0,36.0);
t720 = RATIONAL(-5.0,24.0);
t719 = RATIONAL(1.0,12.0);
t715 = RATIONAL(-7.0,36.0);
t709 = RATIONAL(10.0,3.0);
t707 = RATIONAL(1.0,144.0);
t706 = t738*x;
t705 = RATIONAL(-8.0,9.0)*t749;
t703 = RATIONAL(8.0,9.0)*t749;
t702 = t737*t749;
t701 = t742*t749;
t699 = t721*t749;
t697 = t732*t749;
t696 = t734*t749;
t694 = RATIONAL(7.0,144.0)*t749;
t693 = RATIONAL(-7.0,144.0)*t749;
t692 = t708*t749;
t691 = t707*x;
t690 = t707*t749;
t686 = t736*t778;
t683 = RATIONAL(7.0,6.0)*t778;
t681 = RATIONAL(-1.0,6.0)*t778;
t679 = RATIONAL(-7.0,6.0)*t778;
t676 = x*t765;
t675 = RATIONAL(-8.0,3.0)*t778;
t673 = RATIONAL(8.0,3.0)*t778;
t672 = x*t759;
t669 = t710*t778;
t666 = x*t760;
t663 = t749*t760;
t658 = x*t773;
t656 = x*t771;
t655 = RATIONAL(16.0,3.0)*t761;
t651 = RATIONAL(49.0,48.0)*t761;
coeff_dy_m2_m2 = t690+t666+t663+t691+(t724+t729*t748)*t750+(t734*t750+
t777*t714)*y;
coeff_dy_m1_m2 = t681+t693+(RATIONAL(5.0,48.0)+RATIONAL(5.0,16.0)*t748)*
t750+(t730*t749+t746*x)*y+t752;
coeff_dy_0_m2 = t719+t715*t750+t702+(t726*t750+RATIONAL(1.0,4.0))*t748+(
t741*t749+t744)*y+t763;
coeff_dy_p1_m2 = t686+t701+(RATIONAL(5.0,36.0)+RATIONAL(5.0,12.0)*t748)*
t750+(t738*t749+t747*x)*y+t756;
coeff_dy_p2_m2 = t669+t694+(t729+RATIONAL(-1.0,8.0)*t748)*t750+(t722*x+
t715*t749)*y+t754;
coeff_dy_p3_m2 = t692+t722*t776+(t707+t760)*t750+t764;
coeff_dy_m2_m1 = t656+t699+(t737+RATIONAL(7.0,24.0)*t748)*t750+t712*t758+
t752;
coeff_dy_m1_m1 = t698+t683+t706+t651+(RATIONAL(-5.0,6.0)+RATIONAL(-35.0,
16.0)*t748)*t750+(RATIONAL(25.0,8.0)*t750+RATIONAL(-35.0,24.0)*t749+t743*x)*y;
coeff_dy_0_m1 = t745+RATIONAL(14.0,9.0)*t750+t705+(RATIONAL(49.0,12.0)*
t750+RATIONAL(-7.0,4.0))*t748+(RATIONAL(5.0,2.0)+t709*t749)*y+t769;
coeff_dy_p1_m1 = t703+t679+(RATIONAL(-10.0,9.0)+RATIONAL(-35.0,12.0)*t748
)*t750+(RATIONAL(-10.0,3.0)*t749+RATIONAL(5.0,3.0)*x)*y+t757;
coeff_dy_p2_m1 = t697+t658+(t740+RATIONAL(7.0,8.0)*t748)*t750+(RATIONAL(
35.0,24.0)*t749+t720*x)*y+t755;
coeff_dy_p3_m1 = t720*t776+t696+(t721+t771)*t750+t762;
coeff_dy_m2_0 = t745*t775+t676+t732*t758+t763;
coeff_dy_m1_0 = RATIONAL(5.0,1.0)*t775+t675+(RATIONAL(28.0,9.0)*x+
RATIONAL(49.0,18.0)*t749)*y+t769;
coeff_dy_0_0 = t655+(RATIONAL(-28.0,3.0)*t750+RATIONAL(4.0,1.0))*t748+(
RATIONAL(-56.0,9.0)*t749+RATIONAL(-14.0,3.0)+RATIONAL(98.0,9.0)*t750)*y;
coeff_dy_p1_0 = t673+RATIONAL(20.0,3.0)*t775+(RATIONAL(-28.0,9.0)*x+
RATIONAL(56.0,9.0)*t749)*y+t768;
coeff_dy_p2_0 = t672+RATIONAL(-2.0,1.0)*t775+(t717*x+RATIONAL(-49.0,18.0)
*t749)*y+t770;
coeff_dy_p3_0 = t750*t765+y*t698+t772;
coeff_dy_m2_p1 = t672+t696+(t739*t748+t742)*t750+t713*t758+t756;
coeff_dy_m1_p1 = t697+t673+(RATIONAL(-5.0,1.0)*t748+RATIONAL(5.0,6.0))*
t750+(RATIONAL(-35.0,18.0)*t749+RATIONAL(-20.0,9.0)*x)*y+t757;
coeff_dy_0_p1 = t739+t703+RATIONAL(-14.0,9.0)*t750+(RATIONAL(28.0,3.0)*
t750+RATIONAL(-4.0,1.0))*t748+(t709+RATIONAL(40.0,9.0)*t749)*y+t768;
coeff_dy_p1_p1 = t675+t705+t655+t706+(RATIONAL(-20.0,3.0)*t748+RATIONAL(
10.0,9.0))*t750+(RATIONAL(50.0,9.0)*t750+RATIONAL(20.0,9.0)*x+RATIONAL(-40.0,
9.0)*t749)*y;
coeff_dy_p2_p1 = t676+t698+(RATIONAL(2.0,1.0)*t748+t744)*t750+(RATIONAL(
35.0,18.0)*t749+t733*x)*y+t753;
coeff_dy_p3_p1 = t699+t733*t776+(t759+t734)*t750+t774;
coeff_dy_m2_p2 = t658+t692+(t731+RATIONAL(-7.0,24.0)*t748)*t750+t728*t758
+t754;
coeff_dy_m1_p2 = t679+t694+(RATIONAL(35.0,16.0)*t748+RATIONAL(-5.0,48.0))
*t750+(t739*x+t727*t749)*y+t755;
coeff_dy_0_p2 = RATIONAL(-4.0,3.0)*t776+t701+t728+t730*t750-y+(RATIONAL(
-49.0,12.0)*t750+RATIONAL(7.0,4.0))*t748+t770;
coeff_dy_p1_p2 = t702+t683+(RATIONAL(35.0,12.0)*t748+RATIONAL(-5.0,36.0))
*t750+(t745*x+RATIONAL(4.0,3.0)*t749)*y+t753;
coeff_dy_p2_p2 = t691+t656+t693+t651+(t725+RATIONAL(-7.0,8.0)*t748)*t750+
(RATIONAL(1.0,2.0)*t750+t719*x+t726*t749)*y;
coeff_dy_p3_p2 = t690+t719*t776+(t773+t708)*t750+t766;
coeff_dy_m2_p3 = t725*t775+t669+t731*t758+t764;
coeff_dy_m1_p3 = t686+RATIONAL(-5.0,16.0)*t775+(RATIONAL(-7.0,72.0)*t749+
t742*x)*y+t762;
coeff_dy_0_p3 = (RATIONAL(-1.0,4.0)+t727*t750)*t748+(t736+t746*t749)*y+
t772;
coeff_dy_p1_p3 = t681+t748*t767+(t737*x+t747*t749)*y+t774;
coeff_dy_p2_p3 = RATIONAL(1.0,8.0)*t775+t666+(RATIONAL(7.0,72.0)*t749+
t724*x)*y+t766;
coeff_dy_p3_p3 = t710*t775+t663+(t731*t750+t724*t749)*y;
|
