fp t2013; fp t2226; fp t1833; fp t2019; fp t2052; fp t2051; fp t2211; fp t1866; fp t2050; fp t2049; fp t2212; fp t1868; fp t2153; fp t2324; fp t2022; fp t2195; fp t1883; fp t2036; fp t1996; fp t1945; fp t2265; fp t2015; fp t2021; fp t2323; fp t2219; fp t2223; fp t2308; fp t2053; fp t2196; fp t1891; fp t1671; fp t1841; fp t2322; fp t2037; fp t2197; fp t1951; fp t2024; fp t2220; fp t2189; fp t2321; fp t2033; fp t1993; fp t1929; fp t1746; fp t1952; fp t2320; fp t2191; fp t1959; fp t1772; fp t2031; fp t2206; fp t2319; fp t2035; fp t2039; fp t2146; fp t2318; fp t2192; fp t1917; fp t2042; fp t2190; fp t2136; fp t2317; fp t1915; fp t2043; fp t1975; fp t2316; fp t1976; fp t1808; fp t1913; fp t2315; fp t2016; fp t1847; fp t1986; fp t1889; fp t2155; fp t2193; fp t1849; fp t1988; fp t1887; fp t2314; fp t1982; fp t1854; fp t1987; fp t1884; fp t2313; fp t1885; fp t1999; fp t1943; fp t2312; fp t2002; fp t1955; fp t2311; fp t2310; fp t2030; fp t1990; fp t2029; fp t2145; fp t1705; fp t2194; fp t2139; fp t1748; fp t2167; fp t1958; fp t2138; fp t2282; fp t2309; fp t2307; fp t1893; fp t2306; fp t1914; fp t2001; fp t1957; fp t2305; fp t1919; fp t2005; fp t2304; fp t2023; fp t1681; fp t1895; fp t2137; fp t2143; fp t2303; fp t1977; fp t2302; fp t2008; fp t2011; fp t2301; fp t2300; fp t2010; fp t2299; fp t2014; fp t1624; fp t2017; fp t2298; fp t1867; fp t2142; fp t2297; fp t1627; fp t2296; fp t2034; fp t2046; fp t2295; fp t1647; fp t2294; fp t2293; fp t2020; fp t1656; fp t2028; fp t1897; fp t2292; fp t1658; fp t1673; fp t2291; fp t1856; fp t2290; fp t1855; fp t2289; fp t1670; fp t2288; fp t2287; fp t1709; fp t2032; fp t2286; fp t1903; fp t2218; fp t1927; fp t2285; fp t1905; fp t2222; fp t1926; fp t2284; fp t1961; fp t2283; fp t2281; fp t1924; fp t1721; fp t1837; fp t2280; fp t1983; fp t1848; fp t2188; fp t2279; fp t2204; fp t1934; fp t2278; fp t1994; fp t1935; fp t1744; fp t2140; fp t2277; fp t2141; fp t2276; fp t1751; fp t2275; fp t2274; fp t1757; fp t1857; fp t2273; fp t1998; fp t1949; fp t1760; fp t2038; fp t2003; fp t1964; fp t1783; fp t2272; fp t1995; fp t1944; fp t1763; fp t2271; fp t1920; fp t2270; fp t1962; fp t1770; fp t1922; fp t2269; fp t2203; fp t1930; fp t2268; fp t2144; fp t2267; fp t2201; fp t1971; fp t2266; fp t1981; fp t2264; fp t2263; fp t2262; fp t1940; fp t1991; fp t2261; fp t1942; fp t1989; fp t2260; fp t2259; fp t1877; fp t1665; fp t2217; fp t1831; fp t1979; fp t1845; fp t1864; fp t2180; fp t2258; fp t1623; fp t2177; fp t2215; fp t2257; fp t1846; fp t1641; fp t2256; fp t1699; fp t1758; fp t1870; fp t1910; fp t2026; fp t2255; fp t1912; fp t1711; fp t1908; fp t1714; fp t1997; fp t1946; fp t1765; fp t2164; fp t2254; fp t1739; fp t2253; fp t2207; fp t1907; fp t2165; fp t2252; fp t2000; fp t2208; fp t1909; fp t2163; fp t2251; fp t1921; fp t2158; fp t2250; fp t2249; fp t1892; fp t2248; fp t2209; fp t2247; fp t1918; fp t1968; fp t2246; fp t1684; fp t1978; fp t1806; fp t1928; fp t1954; fp t2245; fp t1794; fp t2244; fp t1702; fp t2243; fp t1853; fp t1749; fp t2160; fp t2242; fp t2241; fp t2240; fp t1741; fp t1795; fp t1894; fp t2170; fp t2239; fp t1941; fp t2238; fp t1826; fp t1618; fp t1843; fp t2181; fp t2237; fp t1700; fp t2236; fp t2235; fp t2202; fp t1960; fp t1985; fp t2234; fp t1774; fp t2200; fp t1973; fp t1793; fp t2205; fp t1932; fp t2122; fp t2233; fp t1743; fp t2232; fp t2004; fp t1750; fp t1923; fp t2100; fp t2231; fp t1701; fp t1852; fp t1890; fp t2230; fp t1716; fp t2229; fp t2228; fp t2227; fp t2225; fp t2224; fp t2221; fp t2216; fp t2214; fp t2213; fp t2199; fp t2044; fp t2198; fp t1881; fp t2187; fp t2186; fp t2185; fp t1612; fp t2184; fp t1622; fp t2183; fp t2182; fp t1635; fp t2179; fp t2178; fp t2176; fp t1643; fp t1882; fp t1674; fp t2175; fp t2174; fp t2173; fp t2172; fp t2171; fp t1754; fp t2169; fp t2168; fp t2166; fp t1718; fp t2162; fp t1834; fp t2161; fp t2159; fp t2157; fp t1888; fp t2156; fp t2152; fp t2151; fp t2150; fp t2149; fp t2148; fp t1828; fp t2147; fp t1879; fp t1969; fp t1896; fp t1967; fp t2135; fp t2134; fp t2133; fp t1638; fp t1708; fp t2132; fp t1668; fp t2131; fp t1729; fp t2130; fp t1791; fp t2129; fp t2127; fp t1767; fp t1904; fp t2126; fp t1722; fp t1786; fp t2125; fp t2124; fp t2045; fp t2120; fp t2119; fp t2118; fp t2116; fp t2115; fp t2114; fp t2113; fp t2112; fp t2111; fp t2025; fp t2110; fp t2109; fp t2007; fp t2108; fp t2107; fp t2106; fp t2105; fp t1625; fp t2104; fp t1640; fp t1869; fp t2103; fp t2102; fp t2101; fp t2099; fp t2098; fp t2097; fp t1724; fp t2095; fp t1771; fp t2094; fp t2093; fp t2092; fp t1773; fp t2091; fp t2090; fp t2089; fp t2018; fp t1863; fp t2088; fp t1666; fp t2087; fp t2086; fp t1645; fp t1661; fp t2085; fp t2084; fp t1865; fp t2083; fp t2082; fp t2081; fp t2080; fp t1672; fp t2079; fp t2078; fp t1723; fp t2077; fp t2076; fp t1693; fp t1797; fp t2075; fp t2074; fp t2073; fp t2072; fp t2071; fp t1725; fp t1789; fp t2070; fp t1682; fp t2069; fp t2068; fp t2067; fp t2066; fp t2065; fp t1756; fp t2064; fp t1692; fp t2063; fp t2062; fp t1875; fp t2061; fp t1872; fp t2060; fp t1704; fp t2059; fp t2058; fp t2057; fp t2056; fp t2041; fp t2040; fp t2027; fp t2012; fp t2009; fp t1815; fp t1814; fp t1782; fp t1781; fp t1734; fp t1690; fp t1664; fp t1651; fp t1650; fp t1648; t2013 = RATIONAL(1.0,36.0); t2226 = y*z; t1833 = t2013*t2226; t2019 = RATIONAL(-1.0,36.0); t2052 = y*y; t2051 = y*t2052; t2211 = t2019*t2051; t1866 = z*t2211; t2050 = z*z; t2049 = z*t2050; t2212 = t2019*t2049; t1868 = y*t2212; t2153 = t1866+t1868; t2324 = t1833+t2153; t2022 = RATIONAL(-1.0,12.0); t2195 = t2051*t2050; t1883 = t2022*t2195; t2036 = RATIONAL(-1.0,6.0); t1996 = t2036*t2050; t1945 = y*t1996; t2265 = t1883+t1945; t2015 = RATIONAL(1.0,18.0); t2021 = RATIONAL(-1.0,18.0); t2323 = t2021*t2050+t2015; t2219 = y*t2049; t2223 = t2051*z; t2308 = t2219+t2223; t2053 = x*x; t2196 = t2049*t2053; t1891 = t2022*t2196; t1671 = y*t1891; t1841 = t2015*t2223; t2322 = t1671+t1841; t2037 = RATIONAL(-1.0,4.0); t2197 = t2049*t2051; t1951 = t2037*t2197; t2024 = RATIONAL(3.0,4.0); t2220 = t2053*z; t2189 = y*t2220; t2321 = t2024*t2189+t1951; t2033 = RATIONAL(1.0,2.0); t1993 = t2033*t2050; t1929 = y*t1993; t1746 = x*t1929; t1952 = t2037*t2195; t2320 = t1746+x*t1952; t2191 = t2053*t2050; t1959 = t2037*t2191; t1772 = y*t1959; t2031 = RATIONAL(1.0,4.0); t2206 = t2031*t2053; t2319 = t1772+y*t2206; t2035 = RATIONAL(-1.0,8.0); t2039 = RATIONAL(-1.0,2.0); t2146 = x*t2197; t2318 = t2039*t2146+t2035*t2197; t2192 = t2052*t2050; t1917 = t2031*t2192; t2042 = RATIONAL(-3.0,8.0); t2190 = t2053*t2052; t2136 = t2050*t2190; t2317 = t2042*t2136+t1917; t1915 = t2031*t2223; t2043 = RATIONAL(-3.0,4.0); t1975 = t2043*t2196; t2316 = y*t1975+t1915; t1976 = t2043*t2191; t1808 = y*t1976; t1913 = t2031*t2197; t2315 = t1808+t1913; t2016 = RATIONAL(1.0,12.0); t1847 = t2016*t2195; t1986 = t2022*t2050; t1889 = y*t1986; t2155 = t1847+t1889; t2193 = t2052*t2049; t1849 = t2016*t2193; t1988 = t2022*t2052; t1887 = z*t1988; t2314 = t1849+t1887; t1982 = t2016*z; t1854 = y*t1982; t1987 = t2022*t2051; t1884 = z*t1987; t2313 = t1854+t1884; t1885 = t2022*t2193; t1999 = t2036*t2052; t1943 = z*t1999; t2312 = t1885+t1943; t2002 = t2037*t2052; t1955 = z*t2002; t2311 = t2031*t2193+t1955; t2310 = t2037*t2219+t2039*y; t2030 = RATIONAL(1.0,6.0); t1990 = t2030*z; t2029 = RATIONAL(1.0,8.0); t2145 = y*t2196; t1705 = t2029*t2145; t2194 = t2051*t2053; t2139 = t2049*t2194; t1748 = t2035*t2139; t2167 = t1705+t1748; t1958 = t2037*t2196; t2138 = t2049*t2190; t2282 = t2031*t2138+t1958; t2309 = t1990+t2167+t2282; t2307 = t2033*t2146+t2043*t2189+t2029*t2197; t1893 = t2024*t2196; t2306 = t2042*t2145+t2043*t2138+t1893; t1914 = t2031*t2195; t2001 = t2037*t2050; t1957 = y*t2001; t2305 = t1914+t1957+t1993; t1919 = t2031*t2226; t2005 = t2039*z; t2304 = t1919+t2037*t2223+t2005; t2023 = RATIONAL(3.0,8.0); t1681 = t2023*t2139; t1895 = t2024*t2194; t2137 = t2051*t2191; t2143 = z*t2194; t2303 = t1681+t2042*t2143+t2043*t2137+t1895; t1977 = t2043*t2194; t2302 = t2023*t2143+t2024*t2137+t1977+t2310; t2008 = RATIONAL(1.0,108.0); t2011 = RATIONAL(1.0,72.0); t2301 = t2011*t2143+t2008*t2219; t2300 = t2011*t2145+t2008*t2223; t2010 = RATIONAL(-1.0,108.0); t2299 = t2013*t2143+t2010*t2219; t2014 = RATIONAL(1.0,24.0); t1624 = t2014*t2143; t2017 = RATIONAL(-1.0,72.0); t2298 = t1624+t2017*t2223; t1867 = t2019*t2193; t2142 = z*t2190; t2297 = t2014*t2142+t1867; t1627 = t2014*t2145; t2296 = t1627+t2017*t2219; t2034 = RATIONAL(-1.0,9.0); t2046 = x*t2226; t2295 = t2015*t2146+t2034*t2046; t1647 = t2017*t2139; t2294 = t1647+t2010*t2226; t2293 = t2019*t2189+t2008*t2197; t2020 = RATIONAL(-1.0,24.0); t1656 = t2020*t2139; t2028 = RATIONAL(1.0,9.0); t1897 = t2028*t2226; t2292 = t1656+t1897; t1658 = t2020*t2143; t1673 = t2022*t2189; t2291 = t1658+t1673; t1856 = t2016*t2194; t2290 = t2022*t2137+t1856; t1855 = t2016*t2196; t2289 = t2022*t2138+t1855; t1670 = t2022*t2142; t2288 = t1670+t2011*t2193; t2287 = t2265*x; t1709 = t2030*t2146; t2032 = RATIONAL(1.0,3.0); t2286 = t1709+t2032*t2046; t1903 = t2030*t2195; t2218 = y*t2050; t1927 = t2032*t2218; t2285 = (t1903+t1927)*x; t1905 = t2030*t2193; t2222 = t2052*z; t1926 = t2032*t2222; t2284 = (t1905+t1926)*x; t1961 = t2037*t2194; t2283 = t2031*t2137+t1961; t2281 = t2031*t2136+t2030*t2192; t1924 = t2031*t2190; t1721 = z*t1924; t1837 = t2014*t2193; t2280 = t1721+t1837; t1983 = t2016*t2051; t1848 = z*t1983; t2188 = x*t2223; t2279 = t2032*t2188+t1848; t2204 = t2033*t2051; t1934 = x*t2204; t2278 = (t1934+x)*z; t1994 = t2033*t2052; t1935 = x*t1994; t1744 = z*t1935; t2140 = x*t2193; t2277 = t1744+t2039*t2140; t2141 = x*t2195; t2276 = t1746+t2039*t2141; t1751 = t2035*t2138; t2275 = t1751+t2016*t2222; t2274 = t2035*t2136+t2022*t2192; t1757 = t2036*t2189; t1857 = t2017*t2197; t2273 = t1757+t1857; t1998 = t2036*t2051; t1949 = x*t1998; t1760 = z*t1949; t2038 = RATIONAL(-1.0,3.0); t2003 = t2038*z; t1964 = y*t2003; t1783 = x*t1964; t2272 = t1760+t1783; t1995 = t2036*t2049; t1944 = y*t1995; t1763 = x*t1944; t2271 = t1763+t1783; t1920 = t2031*t2196; t2270 = t2037*t2138+t1920; t1962 = t2037*t2190; t1770 = z*t1962; t1922 = z*t2206; t2269 = t1770+t1922; t2203 = t2033*t2053; t1930 = z*t2203; t2268 = t2039*t2142+t1930; t2144 = y*t2191; t2267 = t2039*t2144+y*t2203; t2201 = t2039*t2049; t1971 = x*t2201; t2266 = y*t1971+t2046; t1981 = t2016*t2049; t2264 = t1885+t1981; t2263 = t1905+t1995; t2262 = t1929+t1952; t1940 = t2036*t2195; t1991 = t2030*t2051; t2261 = t1940+t1991; t1942 = t2036*t2193; t1989 = t2030*t2049; t2260 = t1942+t1989; t2259 = t2039+t1993; t1877 = t2021*t2223; t1665 = x*t1877; t2217 = t2013*t2049; t1831 = y*t2217; t1979 = t2015*z; t1845 = y*t1979; t1864 = t2019*t2197; t2180 = (t1845+t1864)*x; t2258 = x*t1831+t1665+t2180; t1623 = t2014*t2137; t2177 = t2016*t2144+t2013*t2195; t2215 = t2015*t2050; t2257 = t1623+y*t2215+t2177; t1846 = t2016*t2197; t1641 = x*t1846; t2256 = t1641+t2271+t2320; t1699 = t2029*t2139; t1758 = t2036*t2146; t1870 = t2020*t2197; t1910 = y*t1990; t2026 = RATIONAL(2.0,3.0); t2255 = t2026*t2046+t1910+t1699+t1758+t1870; t1912 = x*t1991; t1711 = z*t1912; t1908 = y*t1989; t1714 = x*t1908; t1997 = t2036*z; t1946 = y*t1997; t1765 = x*t1946; t2164 = t1714+t1765; t2254 = t1711+t1758+t2164; t1739 = y*t1930; t2253 = t1739+t1846+t1964; t2207 = t2030*t2052; t1907 = z*t2207; t2165 = (t1907+t1942)*x; t2252 = t2165+(t1989+t1997)*x; t2000 = t2036*y; t2208 = t2030*t2050; t1909 = y*t2208; t2163 = (t1909+t1940)*x; t2251 = t1912+x*t2000+t2163; t1921 = t2031*t2191; t2158 = t2037*t2136+t2016*t2192; t2250 = t1921+t1986+t2158; t2249 = t1924+t1988+t2158; t1892 = t2022*t2194; t2248 = t2016*t2137+t1892+t2323*y; t2209 = t2021*t2052; t2247 = t2016*t2138+z*t2209+t1891+t1979; t1918 = t2031*t2219; t1968 = y*t2005; t2246 = t1681+z*t1977+t1918+t1968; t1684 = t2023*t2138; t1978 = t2043*t2190; t1806 = z*t1978; t1928 = z*t1994; t1954 = t2037*t2193; t2245 = t1684+t1806+t1928+t1954+t2317; t1794 = t2042*t2139; t2244 = y*t1893+t1794+t2262; t1702 = t2029*t2138; t2243 = t1702+t1770+t2274; t1853 = t2016*t2218; t1749 = t2035*t2137; t2160 = t1749+t2014*t2195; t2242 = t1853+t2160+t2285; t2241 = t1909+t2000+t2283; t2240 = t1907+t1997+t2282; t1741 = t2033*t2141; t1795 = t2042*t2137; t1894 = t2024*t2191; t2170 = y*t1894+t1957; t2239 = t1741+t1795+t2029*t2195+t2170; t1941 = z*t1998; t2238 = t1910+t1926+t1941+t2003; t1826 = t2013*t2197; t1618 = x*t1826; t1843 = t2015*t2219; t2181 = (t1841+t1843)*x; t2237 = t1618+x*t1897+t2181+t2287; t1700 = t2029*t2137; t2236 = t1700+t1843+t1945+t2292; t2235 = t2029*t2189+t1870+t2020*t2226+t2308*t2014; t2202 = t2037*t2053; t1960 = z*t2202; t1985 = t2022*t2049; t2234 = t1721+t1960+t1982+t1985+t2314; t1774 = x*t1951; t2200 = t2039*t2051; t1973 = x*t2200; t1793 = x*t1968; t2205 = t2033*t2049; t1932 = x*t2205; t2122 = t1793+(t1932+x)*y; t2233 = x*t1915+t1741+t1774+t1973+t2122; t1743 = t2033*t2140; t2232 = x*t1918+t1743+t1774+t1971+t1793+t2278; t2004 = t2038*y; t1750 = t2035*t2143; t1923 = t2031*t2194; t2100 = t1699+t1750+t2037*t2137+t1923; t2231 = t1910+t1927+t1944+t2004+t2100; t1701 = t2029*t2143; t1852 = y*t1981; t1890 = t2022*t2226; t2230 = t1701+t1852+t1890+t2030*y+t2283; t1716 = x*t1910; t2229 = t1716+t1763+t1949+x*t2004+t2285; t2228 = t1716+t1760+t2284+(t1995+t2003)*x; t2227 = t2023*t2145+t2024*t2138+t1794+t1928+t1975+t2304; t2225 = -1.0-x; t2224 = y+z; t2221 = t2053*y; t2216 = t2013*t2051; t2214 = t2015*t2052; t2213 = t2016*t2053; t2199 = t2039*t2053; t2044 = RATIONAL(-3.0,2.0); t2198 = t2044*t2053; t1881 = t2021*t2226; t2187 = x*t2222; t2186 = x*t2219; t2185 = x*t2218; t1612 = t2011*t2139; t2184 = t1612+t2017*t2145; t1622 = t2014*t2139; t2183 = t1622+t1845; t2182 = t1622+t1857; t1635 = z*t1856; t2179 = t1635+t1673; t2178 = t2016*t2142+t2013*t2193; t2176 = t2155*x; t1643 = x*t1848; t1882 = t2022*t2197; t1674 = x*t1882; t2175 = t1643+t1674; t2174 = t2314*x; t2173 = t1656+t2011*t2197; t2172 = t2020*t2137+t2013*t2218; t2171 = t2020*t2138+t2013*t2222; t1754 = t2035*t2145; t2169 = t1699+t1754; t2168 = t2029*t2136+t2020*t2192; t2166 = t2029*t2144+t1749; t1718 = z*t1923; t2162 = t1718+t1884; t1834 = t2014*t2197; t2161 = t1748+t1834; t2159 = t1751+t1887; t2157 = t1831+t1864; t1888 = y*t1985; t2156 = t1846+t1888; t2152 = t1943+t1945; t2151 = t2049-t2050; t2150 = t2049+t2051; t2149 = t2050+t2052; t2148 = t2051-t2052; t1828 = z*t2216; t2147 = z*t2213; t1879 = t2021*t2219; t1969 = z*t2199; t1896 = t2024*t2190; t1967 = t2039*t2192; t2135 = 1.0+t2198; t2134 = t2035*z+t2031; t2133 = t1622+t1674+t1826; t1638 = y*t1855; t1708 = t2030*t2189; t2132 = t1638+t1708+t1772; t1668 = z*t1892; t2131 = t1668+t1711+t1877; t1729 = x*t1917; t2130 = t1729+t2312*x; t1791 = x*t1967; t2129 = t2023*t2136+t1791+t2035*t2192; t2127 = t1700+t1718+t1748; t1767 = z*t1961; t1904 = z*t1991; t2126 = t1711+t1767+t1904; t1722 = y*t1920; t1786 = y*t1969; t2125 = t1722+t1772+t1786; t2124 = t1729+t1744+x*t1954; t2045 = x*t2192; t2120 = t2043*t2136+t1917+t2045; t2119 = t1849+t1864+t1879; t2118 = t1849+t1882+t1908; t2116 = t2013+t2022*t2053; t2115 = t2028+t2030*t2053; t2114 = t2030+t2199; t2113 = t2034+t2036*t2053; t2112 = t2036+t2203; t2111 = t2038+t2199; t2025 = RATIONAL(3.0,2.0); t2110 = t2025*t2053+t2225; t2109 = t2203-x+t2032; t2007 = RATIONAL(1.0,216.0); t2108 = t2013*t2189+t2007*t2197+t2294; t2107 = t1618+t2324*x; t2106 = t1623+t2020*t2144+t2011*t2218+t2017*t2195; t2105 = t1624+t1627+t1656+t2020*t2189; t1625 = t2014*t2138; t2104 = t1625+t2020*t2142+t2011*t2222+t2017*t2193; t1640 = y*t2147; t1869 = t2019*t2226; t2103 = t1640+t1869+t2173; t2102 = t1641+(t1888+t2313)*x; t2101 = t1673+t1833+t2173; t2099 = t2169+t2270; t2098 = t1700+t2035*t2144+t2014*t2218+t2020*t2195; t2097 = t1702+t2035*t2142+t2014*t2222+t2020*t2193; t1724 = y*t1922; t2095 = t1724+t2033*t2142+t1767+t1969; t1771 = y*t1958; t2094 = t1724+t2033*t2144+t1771+y*t2199; t2093 = t1791+t2305*x; t2092 = t1791+t1935+t2311*x; t1773 = y*t1960; t2091 = t1773+t1854+t2161; t2090 = t1848+t1882+t1903+t1998; t2089 = t1967+t1994+t2311; t2018 = RATIONAL(-1.0,54.0); t1863 = t2018*t2226; t2088 = t1612+t2013*t2145+t2010*t2223+t1863+t2171; t1666 = x*t1879; t2087 = x*t1828+t1666+t2174+t2180; t2086 = t1638+t1828+t2159+t2183; t1645 = x*t1852; t1661 = t2020*t2145; t2085 = t1645+t1661+t1868+t2133; t2084 = t1671+t1866+t2171+t2183; t1865 = t2019*t2195; t2083 = t2014*t2144+t1865+t2172+t2176; t2082 = t2155+t2166+t2176; t2081 = t2164+t2174+t2175; t2080 = t1645+t1674+t1852+t1882+t2169; t1672 = t2022*t2144; t2079 = t1672+t2011*t2195+t2168+t2172; t2078 = t1699+t1771+t1848+t1946+t2159; t1723 = y*t1921; t2077 = t1723+t1889+t2160+t2168; t2076 = t2014*t2189+t1658+t1661+t2017*t2226+t2182+t2308*t2011; t1693 = z*t1896; t1797 = t2042*t2138; t2075 = t1693+t1743+t1797+t2029*t2193+t1955+t2129; t2074 = t1625+z*t2214+t2130+t2178+t2274; t2073 = t1641+t1714+t2124+t2272+t2287; t2072 = t1702+t1721+t2130+t2312+t2317; t2071 = t1770+t1837+t2129+t2275+t2284; t1725 = x*t1913; t1789 = z*t1973; t2070 = t1725+t1789+t2124+t2266+t2320; t1682 = t2023*t2137; t2069 = t1682+t2042*t2144+t1894+t2029*t2218+t2035*t2195+t2001+t2120+t2276 ; t2068 = t1684+t2042*t2142+t1896+t2029*t2222+t2035*t2193+t2002+t2120+t2277 ; t2067 = t1828+t1869+t2102+t2105+t2157; t2066 = t1671+t1831+t2097+t2103+t2298; t2065 = t1668+t1828+t2098+t2103+t2296; t1756 = t2035*t2189; t2064 = t1701+t1756+t2102+t2156+t2167+t2313; t1692 = t2024*t2136; t2063 = t2023*t2142+t1692+t1797+t1978+t2089+t2092; t2062 = t2023*t2144+t1692+t1795+t1967+t1976+t2093+t2305; t1875 = t2020*t2219; t2061 = t1705+t1875+t2091+t2098+t2162; t1872 = t2020*t2223; t2060 = t1701+t1722+t1872+t1888+t2091+t2097; t1704 = t2029*t2142; t2059 = t1704+t1885+t1962+t1999+t2092+t2275+t2281; t2058 = t1853+t1883+t1959+t1996+t2093+t2166+t2281; t2057 = t1725+t1934+t2276+t2277+t1932+t2045+(1.0+t2304+t2310)*x; t2056 = t1723+t1754+t2155+t2235+t1987+t2100+(t2202+t2016)*y; t2041 = RATIONAL(-2.0,1.0); t2040 = RATIONAL(-2.0,3.0); t2027 = RATIONAL(2.0,1.0); t2012 = RATIONAL(1.0,54.0); t2009 = RATIONAL(-1.0,216.0); t1815 = t2010*t2197; t1814 = t2009*t2197; t1782 = t2038*t2186; t1781 = t2038*t2188; t1734 = t2032*t2186; t1690 = z*t1895; t1664 = t2021*t2146; t1651 = t2019*t2145; t1650 = t2019*t2143; t1648 = t2017*t2143; coeffs_dx->coeff_m1_m1_m1 = t1815+(t2018*t2049+(t2021*t2053+RATIONAL(-1.0 ,27.0))*z)*y+t1651+t1647+t2074+t2018*t2223+t1650+t2237+t2257; coeffs_dx->coeff_0_m1_m1 = t1635+(RATIONAL(-2.0,9.0)*t2226+t2308*t2034)*x +t1664+t2071+t1881+t2132+t2153+t2182+t2242; coeffs_dx->coeff_p1_m1_m1 = t1723+t1883+t1757+t2072+t1668+t1826+t2236+ t2237+t2322; coeffs_dx->coeff_p2_m1_m1 = t2079+t1814+t2015*t2189+t2088+t2288+t2299; coeffs_dx->coeff_m1_0_m1 = (t2113*t2052+t2115)*z+(t2209+t2015)*t2049+ t1841+t2085+t2058+t1881+t2179+t2228+t2289; coeffs_dx->coeff_0_0_m1 = t1834+t2095+t1890+t1943+t1709+t2069+(-t2050+( t2026+t2040*t2052)*z+(t2032+t2038*t2052)*t2049)*x+t1875+t2264+t2271+t2279+t2309 ; coeffs_dx->coeff_p1_0_m1 = t2062+t2228+t2080+t1773+t1718+t2238+t2263+ t2268+t2270; coeffs_dx->coeff_p2_0_m1 = t1867+t2065+(t2036+t2207)*t2220+t2217+t2247+ t2250; coeffs_dx->coeff_m1_p1_m1 = t1864+t2074+t1847+t2131+t2132+t2236+t2256; coeffs_dx->coeff_0_p1_m1 = t1734+t1781+t1771+t1852+t2071+t1786-t2185+ t2162+t2239+t2255; coeffs_dx->coeff_p1_p1_m1 = t1748+t1808+t1944+t1682+t2072+t1722+t2126+ t2253+t2256+t2262; coeffs_dx->coeff_p2_p1_m1 = t1635+t1831+t2077+t2084+t2273+t2288; coeffs_dx->coeff_m1_p2_m1 = t1863+t2012*t2223+t2083+t2184+t2258+t2293+ t2299; coeffs_dx->coeff_0_p2_m1 = t2028*t2188+t2065+t1666+t2163+t2295; coeffs_dx->coeff_p1_p2_m1 = t1661+t2082+t1877+t2157+t2179+t2183+t2258; coeffs_dx->coeff_p2_p2_m1 = t2009*t2219+t1650+t2106+t2108+t2300; coeffs_dx->coeff_m1_m1_0 = t1843+t1643+t1866+t2059+t2229+(t2113*t2050+ t2115)*y+t2133+t2323*t2051+t1638+t1881+t2290+t2291; coeffs_dx->coeff_0_m1_0 = t2230+t2094+(-t2052+t2032*t2051+t2026*y+(t2038* t2051+t2040*y)*t2050)*x+t1709+t1734+t1872+t2068+t2161+t1983+t2265+t2272; coeffs_dx->coeff_p1_m1_0 = t2175+t2063+t2229+t2090+t1773+t1722+t2231+ t2267; coeffs_dx->coeff_p2_m1_0 = t1865+t2066+t2216+(t2208+t2036)*t2221+t2248+ t2249; coeffs_dx->coeff_m1_0_0 = t2230+t1756+t2152+t2057+t2111+t2109*t2052+( t2111*t2052+t2109)*t2050+t2090+t2263+t2269+t2309+t2319; coeffs_dx->coeff_0_0_0 = (t2023*t2226+t2025*t2192+t2025+t2149*t2044+t2224 *t2043)*t2053+t2150*t2037+t1914+t2122+(t2029*t2049+t2134)*y+t2089+t2170+t2259+( t2041+(-z+t2027+t2049)*t2052+(t2041*t2052+t2051-y+t2027)*t2050-t2150)*x+t2278+ t2303+t1693+(t2029*t2051+t2031)*z+t2306+t2318; coeffs_dx->coeff_p1_0_0 = (t2044*t2192+t2044+t2042*t2226+t2149*t2025+ t2224*t2024)*t2053+t2227+t2150*t2033+RATIONAL(1.0,1.0)+t2057+(t2201+t2225)* t2052+t1806+t1929+(t2200+t2052+t2225)*t2050+t2302+t2315; coeffs_dx->coeff_p2_0_0 = (t2112*t2052+t2114)*t2050+t2056+t2114*t2052+ t2112+t2234+t2270; coeffs_dx->coeff_m1_p1_0 = t1846+t1884+t2094+t2059-t2185+t2231+t2233+ t2261; coeffs_dx->coeff_0_p1_0 = (t2044*t2050+t2025)*t2221+t1919+t2134*t2051+ t1789+(-t2195+(t2027*t2050+t2041-t2049)*y+t2148)*x+t2068+t2046+t2244+t2302+ t2307; coeffs_dx->coeff_p1_p1_0 = t2063+t1968+t2259*t2051+(t2205+t2110*t2050+ t2135)*y+t2233+t2303+t2316+t2321; coeffs_dx->coeff_p2_p1_0 = t1883+t2060+t1983+t2241+t2249+t2267; coeffs_dx->coeff_m1_p2_0 = (t2215+t2021)*t2051+t1672+t2067+y*t2213+t2248+ t2251; coeffs_dx->coeff_0_p2_0 = ((t2051+t2218)*t2038+(y+t2195)*t2032)*x+t2056+ t2254; coeffs_dx->coeff_p1_p2_0 = t2064+t2241+t2251+t2261+t2319; coeffs_dx->coeff_p2_p2_0 = t2211+(t2019*t2050+t2116)*y+t2076+t2177+t2290; coeffs_dx->coeff_m1_m1_p1 = t1708+t1635+t1943+t2073+t2119+t2243+t2257+ t2292+t2322; coeffs_dx->coeff_0_m1_p1 = t1888+t2075+t1782-t2187+t1767+t2125+t2242+ t2255+t2279; coeffs_dx->coeff_p1_m1_p1 = t1723+t1941+t1771+t2073+t1908+t2127+t2245+ t2253+t2265; coeffs_dx->coeff_p2_m1_p1 = t2079+t1868+t1668+t2086+t2273+t2280; coeffs_dx->coeff_m1_0_p1 = t2095+t2099+t2058-t2187+t2156+t2232+t2238+ t2260; coeffs_dx->coeff_0_0_p1 = t1690+t2227+t1954+(t2044*t2052+t2025)*t2220+ t2069+(-t2193+(-t2051+t2027*t2052+t2041)*z+t2151)*x+(t2035*y+t2031)*t2049+t2266 +t2307; coeffs_dx->coeff_p1_0_p1 = (t2039+t1994)*t2049+t2062+(t2204+t2110*t2052+ t2135)*z+t2232+t2246+t2306+t2321; coeffs_dx->coeff_p2_0_p1 = t2061+t2240+t2250+t2264+t2268; coeffs_dx->coeff_m1_p1_p1 = t2070+t1964+t1904+t1847+t2118+t2125+t2127+ t2152+t2243; coeffs_dx->coeff_0_p1_p1 = t2075+(t2148*z+(t2041*z+t2151)*y)*x+t2025* t2189+t2239+t2246+t2316+t2318; coeffs_dx->coeff_p1_p1_p1 = z*t2200+t1690+t1682+t2070+(z+t2201+z*t2198)*y +t2244+t2245+t2315; coeffs_dx->coeff_p2_p1_p1 = t1870+t1852+t2077+t1739+t1767+t2078+t2280; coeffs_dx->coeff_m1_p2_p1 = t1845+t1765+t1640+t2083+t2085+t2131; coeffs_dx->coeff_0_p2_p1 = t1763+t1781+t2061+t2163+t2286; coeffs_dx->coeff_p1_p2_p1 = t1946+t1724+t1765+t2080+t2082+t2126; coeffs_dx->coeff_p2_p2_p1 = t1866+t1635+t2101+t2106+t2296; coeffs_dx->coeff_m1_m1_p2 = t1648+t2012*t2219+t2087+t2088+t2293+t2297; coeffs_dx->coeff_0_m1_p2 = t2066+t2028*t2186+t1665+t2165+t2295; coeffs_dx->coeff_p1_m1_p2 = t1704+t2086+t2087+t2119+t2291; coeffs_dx->coeff_p2_m1_p2 = t1651+t2009*t2223+t2104+t2108+t2301; coeffs_dx->coeff_m1_0_p2 = t1670+t2067+(t2021+t2214)*t2049+t2147+t2247+ t2252; coeffs_dx->coeff_0_0_p2 = ((t2222+t2049)*t2038+(z+t2193)*t2032)*x+t2099+ t1750+t2234+t2235+t2254; coeffs_dx->coeff_p1_0_p2 = t2064+t2240+t2252+t2260+t2269; coeffs_dx->coeff_p2_0_p2 = t2212+(t2019*t2052+t2116)*z+t2076+t2178+t2289; coeffs_dx->coeff_m1_p1_p2 = t1658+t2081+t1640+t1879+t1826+t2084+t2297; coeffs_dx->coeff_0_p1_p2 = t1760+t2060+t1782+t2165+t2286; coeffs_dx->coeff_p1_p1_p2 = t1724+t1704+t1750+t2078+t2081+t2118; coeffs_dx->coeff_p2_p1_p2 = t1868+t1638+t2101+t2104+t2298; coeffs_dx->coeff_m1_p2_p2 = t1815+t2017*t2189+t2107+t2294+t2300+t2301; coeffs_dx->coeff_0_p2_p2 = t1664+x*t1881+t2076+t2181; coeffs_dx->coeff_p1_p2_p2 = t1826+t2105+t2107+t2324; coeffs_dx->coeff_p2_p2_p2 = t1648+t2007*t2223+t1814+(t2007*t2049+(t2009+ t2011*t2053)*z)*y+t2184;