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
|
fp t1848;
fp t1813;
fp t1847;
fp t1815;
fp t1883;
fp t1809;
fp t1882;
fp t1846;
fp t1819;
fp t1820;
fp t1881;
fp t1849;
fp t1816;
fp t1880;
fp t1879;
fp t1807;
fp t1834;
fp t1878;
fp t1814;
fp t1877;
fp t1822;
fp t1811;
fp t1876;
fp t1838;
fp t1824;
fp t1806;
fp t1875;
fp t1817;
fp t1874;
fp t1818;
fp t1873;
fp t1833;
fp t1808;
fp t1872;
fp t1871;
fp t1870;
fp t1869;
fp t1868;
fp t1812;
fp t1867;
fp t1866;
fp t1865;
fp t1864;
fp t1863;
fp t1862;
fp t1861;
fp t1860;
fp t1810;
fp t1859;
fp t1858;
fp t1857;
fp t1856;
fp t1855;
fp t1854;
fp t1805;
fp t1853;
fp t1852;
fp t1851;
fp t1850;
fp t1843;
fp t1841;
fp t1840;
fp t1839;
fp t1837;
fp t1836;
fp t1835;
fp t1832;
fp t1831;
fp t1829;
fp t1828;
fp t1827;
fp t1823;
fp t1821;
t1848 = RATIONAL(1.0,80.0);
t1813 = t1848*y;
t1847 = RATIONAL(-1.0,80.0);
t1815 = t1847*z;
t1883 = t1813+t1815;
t1809 = RATIONAL(3.0,1000.0)*x;
t1882 = RATIONAL(-1.0,250.0)+t1809;
t1846 = RATIONAL(-3.0,80.0);
t1819 = t1846*z;
t1820 = t1846*y;
t1881 = t1819+t1820;
t1849 = RATIONAL(3.0,80.0);
t1816 = t1849*y;
t1880 = t1819+t1816;
t1879 = RATIONAL(2.0,125.0)+t1809;
t1807 = RATIONAL(1.0,1000.0)*x;
t1834 = RATIONAL(-3.0,1000.0);
t1878 = t1807+t1834;
t1814 = t1847*y;
t1877 = t1819+t1814;
t1822 = RATIONAL(-19.0,2000.0);
t1811 = RATIONAL(9.0,1000.0)*x;
t1876 = t1822+t1811;
t1838 = RATIONAL(-9.0,1000.0);
t1824 = RATIONAL(-27.0,1000.0);
t1806 = t1824*x;
t1875 = t1838+t1806;
t1817 = t1849*z;
t1874 = t1817+t1816;
t1818 = t1848*z;
t1873 = t1818+t1814;
t1833 = RATIONAL(-1.0,1000.0);
t1808 = t1833*x;
t1872 = RATIONAL(-1.0,500.0)+t1808;
t1871 = t1817+t1809;
t1870 = t1819+t1813;
t1869 = RATIONAL(37.0,2000.0)+t1809;
t1868 = t1809+t1816;
t1812 = t1838*x;
t1867 = t1812+t1816;
t1866 = t1818+t1820;
t1865 = t1814+t1815;
t1864 = t1811+t1813;
t1863 = t1824+t1811;
t1862 = t1817+t1820;
t1861 = RATIONAL(13.0,1000.0)+t1811;
t1860 = t1820+t1815;
t1810 = t1834*x;
t1859 = t1810+t1815;
t1858 = t1820+t1812;
t1857 = t1817+t1812;
t1856 = RATIONAL(49.0,2000.0)+t1812;
t1855 = t1810+t1814;
t1854 = t1818+t1813;
t1805 = RATIONAL(27.0,1000.0)*x;
t1853 = t1819+t1805;
t1852 = t1810+t1813;
t1851 = t1818+t1810;
t1850 = t1817+t1805;
t1843 = RATIONAL(-7.0,250.0);
t1841 = RATIONAL(-9.0,250.0);
t1840 = RATIONAL(-9.0,500.0);
t1839 = RATIONAL(-17.0,500.0);
t1837 = RATIONAL(11.0,500.0);
t1836 = RATIONAL(-1.0,2000.0);
t1835 = RATIONAL(-7.0,2000.0);
t1832 = RATIONAL(-37.0,1000.0);
t1831 = RATIONAL(-31.0,1000.0);
t1829 = RATIONAL(19.0,1000.0);
t1828 = RATIONAL(31.0,2000.0);
t1827 = RATIONAL(43.0,2000.0);
t1823 = RATIONAL(-13.0,2000.0);
t1821 = RATIONAL(-21.0,2000.0);
coeffs_dyz->coeff_m1_m1_m1 = t1806+RATIONAL(147.0,2000.0)+t1881;
coeffs_dyz->coeff_0_m1_m1 = RATIONAL(129.0,2000.0)+t1819+t1858;
coeffs_dyz->coeff_p1_m1_m1 = t1811+RATIONAL(111.0,2000.0)+t1881;
coeffs_dyz->coeff_p2_m1_m1 = t1820+RATIONAL(93.0,2000.0)+t1853;
coeffs_dyz->coeff_m1_0_m1 = t1836+t1815+t1867;
coeffs_dyz->coeff_0_0_m1 = t1835+t1816+t1859;
coeffs_dyz->coeff_p1_0_m1 = t1815+t1823+t1868;
coeffs_dyz->coeff_p2_0_m1 = t1815+t1816+t1876;
coeffs_dyz->coeff_m1_p1_m1 = t1811+t1832+t1818+t1816;
coeffs_dyz->coeff_0_p1_m1 = t1818+t1839+t1868;
coeffs_dyz->coeff_p1_p1_m1 = t1816+t1831+t1851;
coeffs_dyz->coeff_p2_p1_m1 = t1843+t1818+t1867;
coeffs_dyz->coeff_m1_p2_m1 = t1820+t1841+t1850;
coeffs_dyz->coeff_0_p2_m1 = t1862+t1863;
coeffs_dyz->coeff_p1_p2_m1 = t1840+t1820+t1857;
coeffs_dyz->coeff_p2_p2_m1 = t1862+t1875;
coeffs_dyz->coeff_m1_m1_0 = t1814+t1836+t1857;
coeffs_dyz->coeff_0_m1_0 = t1817+t1835+t1855;
coeffs_dyz->coeff_p1_m1_0 = t1823+t1814+t1871;
coeffs_dyz->coeff_p2_m1_0 = t1814+t1817+t1876;
coeffs_dyz->coeff_m1_0_0 = t1813+RATIONAL(-17.0,2000.0)+t1851;
coeffs_dyz->coeff_0_0_0 = t1822+t1808+t1854;
coeffs_dyz->coeff_p1_0_0 = t1821+t1807+t1854;
coeffs_dyz->coeff_p2_0_0 = t1809+RATIONAL(-23.0,2000.0)+t1854;
coeffs_dyz->coeff_m1_p1_0 = t1882+t1883;
coeffs_dyz->coeff_0_p1_0 = t1878+t1883;
coeffs_dyz->coeff_p1_p1_0 = t1872+t1883;
coeffs_dyz->coeff_p2_p1_0 = t1815+t1833+t1852;
coeffs_dyz->coeff_m1_p2_0 = t1861+t1877;
coeffs_dyz->coeff_0_p2_0 = t1877+t1879;
coeffs_dyz->coeff_p1_p2_0 = t1829+t1819+t1855;
coeffs_dyz->coeff_p2_p2_0 = t1812+t1837+t1877;
coeffs_dyz->coeff_m1_m1_p1 = t1817+t1832+t1864;
coeffs_dyz->coeff_0_m1_p1 = t1813+t1839+t1871;
coeffs_dyz->coeff_p1_m1_p1 = t1817+t1831+t1852;
coeffs_dyz->coeff_p2_m1_p1 = t1843+t1813+t1857;
coeffs_dyz->coeff_m1_0_p1 = t1873+t1882;
coeffs_dyz->coeff_0_0_p1 = t1873+t1878;
coeffs_dyz->coeff_p1_0_p1 = t1872+t1873;
coeffs_dyz->coeff_p2_0_p1 = t1833+t1814+t1851;
coeffs_dyz->coeff_m1_p1_p1 = t1815+RATIONAL(33.0,2000.0)+t1855;
coeffs_dyz->coeff_0_p1_p1 = t1828+t1808+t1865;
coeffs_dyz->coeff_p1_p1_p1 = RATIONAL(29.0,2000.0)+t1807+t1865;
coeffs_dyz->coeff_p2_p1_p1 = RATIONAL(27.0,2000.0)+t1809+t1865;
coeffs_dyz->coeff_m1_p2_p1 = t1856+t1870;
coeffs_dyz->coeff_0_p2_p1 = t1819+t1827+t1852;
coeffs_dyz->coeff_p1_p2_p1 = t1869+t1870;
coeffs_dyz->coeff_p2_p2_p1 = t1819+t1828+t1864;
coeffs_dyz->coeff_m1_m1_p2 = t1841+t1816+t1853;
coeffs_dyz->coeff_0_m1_p2 = t1863+t1880;
coeffs_dyz->coeff_p1_m1_p2 = t1840+t1819+t1867;
coeffs_dyz->coeff_p2_m1_p2 = t1875+t1880;
coeffs_dyz->coeff_m1_0_p2 = t1860+t1861;
coeffs_dyz->coeff_0_0_p2 = t1860+t1879;
coeffs_dyz->coeff_p1_0_p2 = t1829+t1820+t1859;
coeffs_dyz->coeff_p2_0_p2 = t1837+t1815+t1858;
coeffs_dyz->coeff_m1_p1_p2 = t1856+t1866;
coeffs_dyz->coeff_0_p1_p2 = t1827+t1820+t1851;
coeffs_dyz->coeff_p1_p1_p2 = t1866+t1869;
coeffs_dyz->coeff_p2_p1_p2 = t1828+t1811+t1866;
coeffs_dyz->coeff_m1_p2_p2 = RATIONAL(-3.0,2000.0)+t1806+t1874;
coeffs_dyz->coeff_0_p2_p2 = t1821+t1816+t1857;
coeffs_dyz->coeff_p1_p2_p2 = t1811+RATIONAL(-39.0,2000.0)+t1874;
coeffs_dyz->coeff_p2_p2_p2 = t1816+RATIONAL(-57.0,2000.0)+t1850;
|
