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 t1727,
t1695,
t1697,
t1766,
t1728,
t1696,
t1726,
t1698,
t1765,
t1725,
t1694,
t1699,
t1764,
t1687,
t1763,
t1693,
t1762,
t1692,
t1761,
t1760,
t1759,
t1758,
t1685,
t1757,
t1716,
t1686,
t1756,
t1689,
t1755,
t1754,
t1753,
t1752,
t1751,
t1750,
t1714,
t1688,
t1749,
t1748,
t1747,
t1709,
t1746,
t1745,
t1744,
t1743,
t1717,
t1690,
t1742,
t1741,
t1711,
t1740,
t1739,
t1738,
t1737,
t1736,
t1735,
t1703,
t1684,
t1734,
t1733,
t1732,
t1731,
t1691,
t1730,
t1729,
t1724,
t1723,
t1722,
t1721,
t1720,
t1708,
t1705,
t1701,
t1700;
t1727 = RATIONAL(-3.0,80.0);
t1695 = t1727*x;
t1697 = t1727*z;
t1766 = t1695+t1697;
t1728 = RATIONAL(3.0,80.0);
t1696 = t1728*z;
t1726 = RATIONAL(1.0,80.0);
t1698 = t1726*x;
t1765 = t1696+t1698;
t1725 = RATIONAL(-1.0,80.0);
t1694 = t1725*z;
t1699 = t1725*x;
t1764 = t1694+t1699;
t1687 = RATIONAL(3.0,1000.0)*y;
t1763 = t1687+RATIONAL(-17.0,500.0);
t1693 = t1728*x;
t1762 = t1693+t1696;
t1692 = t1726*z;
t1761 = t1692+t1693;
t1760 = RATIONAL(37.0,2000.0)+t1687;
t1759 = t1697+t1698;
t1758 = t1695+t1696;
t1685 = RATIONAL(27.0,1000.0)*y;
t1757 = RATIONAL(-9.0,250.0)+t1685;
t1716 = RATIONAL(-3.0,1000.0);
t1686 = t1716*y;
t1756 = t1686+RATIONAL(-31.0,1000.0);
t1689 = RATIONAL(9.0,1000.0)*y;
t1755 = t1689+t1696;
t1754 = t1692+t1695;
t1753 = t1693+t1697;
t1752 = t1694+t1693;
t1751 = t1696+t1699;
t1750 = t1686+RATIONAL(19.0,1000.0);
t1714 = RATIONAL(-9.0,1000.0);
t1688 = t1714*y;
t1749 = t1688+t1696;
t1748 = t1689+RATIONAL(13.0,1000.0);
t1747 = t1689+t1697;
t1709 = RATIONAL(31.0,2000.0);
t1746 = t1689+t1709;
t1745 = t1692+t1699;
t1744 = t1694+t1698;
t1743 = t1694+t1695;
t1717 = RATIONAL(-1.0,1000.0);
t1690 = t1717*y;
t1742 = t1690+t1694;
t1741 = t1688+t1697;
t1711 = RATIONAL(-19.0,2000.0);
t1740 = t1689+t1711;
t1739 = t1697+t1699;
t1738 = t1686+RATIONAL(43.0,2000.0);
t1737 = t1686+RATIONAL(-7.0,2000.0);
t1736 = t1688+t1695;
t1735 = t1688+RATIONAL(11.0,500.0);
t1703 = RATIONAL(-27.0,1000.0);
t1684 = t1703*y;
t1734 = t1684+t1714;
t1733 = t1688+RATIONAL(-1.0,2000.0);
t1732 = t1692+t1698;
t1731 = t1699+t1687;
t1691 = RATIONAL(1.0,1000.0)*y;
t1730 = t1691+t1716;
t1729 = t1686+t1717;
t1724 = RATIONAL(2.0,125.0);
t1723 = RATIONAL(-1.0,250.0);
t1722 = RATIONAL(-9.0,500.0);
t1721 = RATIONAL(-1.0,500.0);
t1720 = RATIONAL(-7.0,250.0);
t1708 = RATIONAL(-21.0,2000.0);
t1705 = RATIONAL(-13.0,2000.0);
t1701 = RATIONAL(49.0,2000.0);
t1700 = RATIONAL(-37.0,1000.0);
coeff_dxz_m1_m1_m1 = RATIONAL(147.0,2000.0)+t1684+t1766;
coeff_dxz_0_m1_m1 = t1733+t1752;
coeff_dxz_p1_m1_m1 = t1700+t1689+t1761;
coeff_dxz_p2_m1_m1 = t1757+t1758;
coeff_dxz_m1_0_m1 = t1697+RATIONAL(129.0,2000.0)+t1736;
coeff_dxz_0_0_m1 = t1737+t1752;
coeff_dxz_p1_0_m1 = t1761+t1763;
coeff_dxz_p2_0_m1 = t1695+t1703+t1755;
coeff_dxz_m1_p1_m1 = RATIONAL(111.0,2000.0)+t1695+t1747;
coeff_dxz_0_p1_m1 = t1687+t1705+t1752;
coeff_dxz_p1_p1_m1 = t1756+t1761;
coeff_dxz_p2_p1_m1 = t1722+t1696+t1736;
coeff_dxz_m1_p2_m1 = RATIONAL(93.0,2000.0)+t1685+t1766;
coeff_dxz_0_p2_m1 = t1740+t1752;
coeff_dxz_p1_p2_m1 = t1720+t1688+t1761;
coeff_dxz_p2_p2_m1 = t1734+t1758;
coeff_dxz_m1_m1_0 = t1733+t1751;
coeff_dxz_0_m1_0 = t1686+RATIONAL(-17.0,2000.0)+t1732;
coeff_dxz_p1_m1_0 = t1723+t1687+t1744;
coeff_dxz_p2_m1_0 = t1739+t1748;
coeff_dxz_m1_0_0 = t1737+t1751;
coeff_dxz_0_0_0 = t1711+t1690+t1732;
coeff_dxz_p1_0_0 = t1730+t1744;
coeff_dxz_p2_0_0 = t1724+t1697+t1731;
coeff_dxz_m1_p1_0 = t1696+t1705+t1731;
coeff_dxz_0_p1_0 = t1691+t1708+t1732;
coeff_dxz_p1_p1_0 = t1721+t1698+t1742;
coeff_dxz_p2_p1_0 = t1739+t1750;
coeff_dxz_m1_p2_0 = t1740+t1751;
coeff_dxz_0_p2_0 = RATIONAL(-23.0,2000.0)+t1687+t1732;
coeff_dxz_p1_p2_0 = t1729+t1744;
coeff_dxz_p2_p2_0 = t1735+t1739;
coeff_dxz_m1_m1_p1 = t1700+t1698+t1755;
coeff_dxz_0_m1_p1 = t1692+t1723+t1731;
coeff_dxz_p1_m1_p1 = RATIONAL(33.0,2000.0)+t1686+t1764;
coeff_dxz_p2_m1_p1 = t1698+t1701+t1741;
coeff_dxz_m1_0_p1 = t1763+t1765;
coeff_dxz_0_0_p1 = t1730+t1745;
coeff_dxz_p1_0_p1 = t1709+t1699+t1742;
coeff_dxz_p2_0_p1 = t1738+t1759;
coeff_dxz_m1_p1_p1 = t1756+t1765;
coeff_dxz_0_p1_p1 = t1690+t1721+t1745;
coeff_dxz_p1_p1_p1 = RATIONAL(29.0,2000.0)+t1691+t1764;
coeff_dxz_p2_p1_p1 = t1759+t1760;
coeff_dxz_m1_p2_p1 = t1720+t1698+t1749;
coeff_dxz_0_p2_p1 = t1729+t1745;
coeff_dxz_p1_p2_p1 = RATIONAL(27.0,2000.0)+t1694+t1731;
coeff_dxz_p2_p2_p1 = t1746+t1759;
coeff_dxz_m1_m1_p2 = t1753+t1757;
coeff_dxz_0_m1_p2 = t1743+t1748;
coeff_dxz_p1_m1_p2 = t1701+t1692+t1736;
coeff_dxz_p2_m1_p2 = RATIONAL(-3.0,2000.0)+t1684+t1762;
coeff_dxz_m1_0_p2 = t1703+t1693+t1747;
coeff_dxz_0_0_p2 = t1687+t1724+t1743;
coeff_dxz_p1_0_p2 = t1738+t1754;
coeff_dxz_p2_0_p2 = t1693+t1708+t1749;
coeff_dxz_m1_p1_p2 = t1693+t1722+t1741;
coeff_dxz_0_p1_p2 = t1743+t1750;
coeff_dxz_p1_p1_p2 = t1754+t1760;
coeff_dxz_p2_p1_p2 = RATIONAL(-39.0,2000.0)+t1693+t1755;
coeff_dxz_m1_p2_p2 = t1734+t1753;
coeff_dxz_0_p2_p2 = t1735+t1743;
coeff_dxz_p1_p2_p2 = t1746+t1754;
coeff_dxz_p2_p2_p2 = RATIONAL(-57.0,2000.0)+t1685+t1762;
|
