fp t2131; fp t2104; fp t2070; fp t1999; fp t2099; fp t2132; fp t2133; fp t2248; fp t1925; fp t2448; fp t2102; fp t2095; fp t2450; fp t2096; fp t2281; fp t1947; fp t2353; fp t1953; fp t2449; fp t2110; fp t2134; fp t2292; fp t1998; fp t2130; fp t2304; fp t2117; fp t2012; fp t2447; fp t1914; fp t2090; fp t2265; fp t2446; fp t2069; fp t1906; fp t2094; fp t1952; fp t2445; fp t2347; fp t2348; fp t2444; fp t1988; fp t2111; fp t2303; fp t2443; fp t2065; fp t2106; fp t2048; fp t1792; fp t2442; fp t2277; fp t2015; fp t2036; fp t2441; fp t2279; fp t2028; fp t1769; fp t2125; fp t2080; fp t1994; fp t2440; fp t2114; fp t2239; fp t2196; fp t1888; fp t2260; fp t1990; fp t2037; fp t2387; fp t2105; fp t2439; fp t2274; fp t1940; fp t2101; fp t2345; fp t1930; fp t2438; fp t2064; fp t1934; fp t1957; fp t2437; fp t2061; fp t1923; fp t2240; fp t1933; fp t2243; fp t2081; fp t1989; fp t2116; fp t2076; fp t2436; fp t2120; fp t2263; fp t2033; fp t1798; fp t2291; fp t2017; fp t1774; fp t2018; fp t1832; fp t2128; fp t2127; fp t2295; fp t2233; fp t2416; fp t2435; fp t1924; fp t1921; fp t2326; fp t2271; fp t1922; fp t1702; fp t2108; fp t2349; fp t2283; fp t2434; fp t2235; fp t1851; fp t2433; fp t2344; fp t2280; fp t2257; fp t2230; fp t2432; fp t2307; fp t1975; fp t2427; fp t2084; fp t2044; fp t1825; fp t2275; fp t2049; fp t1776; fp t2431; fp t2112; fp t2043; fp t2119; fp t2242; fp t2211; fp t2016; fp t2430; fp t2316; fp t2232; fp t2329; fp t2429; fp t2087; fp t2078; fp t1977; fp t2428; fp t2113; fp t2217; fp t2312; fp t2006; fp t2426; fp t2305; fp t2003; fp t2425; fp t2301; fp t1959; fp t2424; fp t2121; fp t2246; fp t2067; fp t1965; fp t2423; fp t2052; fp t2346; fp t2030; fp t2422; fp t1907; fp t2093; fp t2261; fp t1966; fp t1732; fp t2068; fp t1900; fp t2247; fp t2421; fp t2098; fp t2229; fp t1751; fp t2420; fp t2026; fp t2419; fp t2418; fp t2062; fp t2063; fp t1920; fp t2417; fp t2234; fp t2088; fp t2288; fp t2415; fp t2077; fp t2056; fp t1886; fp t1986; fp t2414; fp t2413; fp t2194; fp t1841; fp t2014; fp t2412; fp t2186; fp t1932; fp t1709; fp t2411; fp t2352; fp t1991; fp t1992; fp t2410; fp t2409; fp t1981; fp t2073; fp t2408; fp t2097; fp t2407; fp t2022; fp t2406; fp t2285; fp t2199; fp t2405; fp t2236; fp t2027; fp t2404; fp t1881; fp t2403; fp t2029; fp t2293; fp t2011; fp t2402; fp t2086; fp t1995; fp t2401; fp t2203; fp t1720; fp t2308; fp t2400; fp t1983; fp t1838; fp t1847; fp t2342; fp t1987; fp t1801; fp t2399; fp t2054; fp t1802; fp t1738; fp t1968; fp t1756; fp t2290; fp t2398; fp t2092; fp t2286; fp t1912; fp t2397; fp t2041; fp t1984; fp t2396; fp t2031; fp t2395; fp t1978; fp t1788; fp t2394; fp t1973; fp t2393; fp t1889; fp t2392; fp t2107; fp t2391; fp t1797; fp t2390; fp t1931; fp t2252; fp t2231; fp t2389; fp t1943; fp t1701; fp t2388; fp t2386; fp t2000; fp t2251; fp t2002; fp t2385; fp t2200; fp t1821; fp t2384; fp t1874; fp t2383; fp t2082; fp t1997; fp t2382; fp t2381; fp t2262; fp t2040; fp t2380; fp t1944; fp t2379; fp t1980; fp t2378; fp t2287; fp t1945; fp t2278; fp t2226; fp t1749; fp t1949; fp t2335; fp t2377; fp t2325; fp t2020; fp t2255; fp t2376; fp t2375; fp t2313; fp t1982; fp t2321; fp t2374; fp t1910; fp t1733; fp t1844; fp t2373; fp t2372; fp t1950; fp t1754; fp t2371; fp t2370; fp t2205; fp t2369; fp t1909; fp t2368; fp t2197; fp t2267; fp t1901; fp t2367; fp t1876; fp t2238; fp t2225; fp t1820; fp t2174; fp t2366; fp t2072; fp t2365; fp t2331; fp t2008; fp t2364; fp t2209; fp t1829; fp t1970; fp t2363; fp t1941; fp t2362; fp t2343; fp t2058; fp t1805; fp t2361; fp t2075; fp t2360; fp t2208; fp t1736; fp t2317; fp t2314; fp t2359; fp t2039; fp t1833; fp t2216; fp t1826; fp t1795; fp t2358; fp t2289; fp t2337; fp t2323; fp t1942; fp t1695; fp t2357; fp t2227; fp t2356; fp t2035; fp t1856; fp t1787; fp t2355; fp t2354; fp t2351; fp t2350; fp t2341; fp t2100; fp t2339; fp t1937; fp t2336; fp t2334; fp t1848; fp t1938; fp t2333; fp t2330; fp t2328; fp t2009; fp t1781; fp t2327; fp t2324; fp t1870; fp t2320; fp t2319; fp t2318; fp t2074; fp t2315; fp t2228; fp t1854; fp t2311; fp t1730; fp t2237; fp t1752; fp t2310; fp t2309; fp t1712; fp t2306; fp t1823; fp t1961; fp t2302; fp t2300; fp t1704; fp t1725; fp t2299; fp t2298; fp t1877; fp t2296; fp t2294; fp t2198; fp t1834; fp t2282; fp t2276; fp t2272; fp t2034; fp t2053; fp t2270; fp t2122; fp t2269; fp t2268; fp t2024; fp t2266; fp t2264; fp t2244; fp t1905; fp t2259; fp t2258; fp t2091; fp t2256; fp t2254; fp t2013; fp t1705; fp t2253; fp t2118; fp t2250; fp t2249; fp t2245; fp t2241; fp t2045; fp t2057; fp t2032; fp t1985; fp t2224; fp t1890; fp t2223; fp t1770; fp t2222; fp t1715; fp t2221; fp t1778; fp t2220; fp t1857; fp t1799; fp t2219; fp t2218; fp t2195; fp t1786; fp t2215; fp t2038; fp t2213; fp t2126; fp t2212; fp t2210; fp t1804; fp t2204; fp t2202; fp t1767; fp t2201; fp t2115; fp t2193; fp t2192; fp t2191; fp t2190; fp t2189; fp t2188; fp t2187; fp t2185; fp t2184; fp t1882; fp t1858; fp t2183; fp t2182; fp t2181; fp t2180; fp t2179; fp t2178; fp t2177; fp t2176; fp t2175; fp t2173; fp t2172; fp t2171; fp t2170; fp t1816; fp t2169; fp t1865; fp t2167; fp t1716; fp t2166; fp t1972; fp t2165; fp t1717; fp t2164; fp t2163; fp t1719; fp t2162; fp t1913; fp t2161; fp t1811; fp t2160; fp t1908; fp t1735; fp t2159; fp t2158; fp t2157; fp t2156; fp t2155; fp t1817; fp t2124; fp t2154; fp t2153; fp t2152; fp t1887; fp t2151; fp t2150; fp t2149; fp t2148; fp t2147; fp t1819; fp t2146; fp t1946; fp t2145; fp t2144; fp t2143; fp t2142; fp t1967; fp t2141; fp t2140; fp t1862; fp t2139; fp t2138; fp t2137; fp t2123; fp t2109; fp t2103; fp t2089; fp t2042; fp t1894; fp t1891; fp t1859; fp t1855; fp t1796; fp t1784; fp t1748; fp t1742; fp t1708; fp t1707; t2131 = z*z; t2104 = RATIONAL(-1.0,6.0); t2070 = t2104*t2131; t1999 = y*t2070; t2099 = RATIONAL(-1.0,12.0); t2132 = y*y; t2133 = t2132*y; t2248 = t2133*t2131; t1925 = t2099*t2248; t2448 = t1999+t1925; t2102 = RATIONAL(1.0,18.0); t2095 = RATIONAL(-1.0,18.0); t2450 = t2102+t2095*t2131; t2096 = RATIONAL(-1.0,36.0); t2281 = t2096*t2133; t1947 = z*t2281; t2353 = y*z; t1953 = t2095*t2353; t2449 = t1947+t1953; t2110 = RATIONAL(1.0,4.0); t2134 = z*t2131; t2292 = t2110*t2134; t1998 = y*t2292; t2130 = x*x; t2304 = t2130*t2133; t2117 = RATIONAL(-3.0,4.0); t2012 = t2117*t2304; t2447 = z*t2012+t1998; t1914 = t2096*t2353; t2090 = RATIONAL(1.0,108.0); t2265 = t2090*t2134; t2446 = t2130*t1914+t2133*t2265; t2069 = t2099*t2131; t1906 = y*t2069; t2094 = RATIONAL(1.0,12.0); t1952 = t2094*t2248; t2445 = t1906+t1952; t2347 = t2133*z; t2348 = y*t2134; t2444 = t2347+t2348; t1988 = t2110*t2353; t2111 = RATIONAL(-1.0,4.0); t2303 = t2111*t2133; t2443 = z*t2303+t1988; t2065 = t2094*y; t2106 = RATIONAL(-1.0,8.0); t2048 = t2106*t2248; t1792 = t2130*t2048; t2442 = t1792+t2131*t2065; t2277 = t2130*t2134; t2015 = t2117*t2277; t2036 = t2110*t2347; t2441 = t2036+y*t2015; t2279 = t2134*t2106; t2028 = t2133*t2279; t1769 = t2130*t2028; t2125 = RATIONAL(-1.0,3.0); t2080 = t2125*z; t1994 = y*t2080; t2440 = t1769+t1994; t2114 = RATIONAL(1.0,8.0); t2239 = t2130*t2114; t2196 = t2134*t2239; t1888 = y*t2196; t2260 = t1888+t1769; t1990 = t2132*t2292; t2037 = t2111*t2277; t2387 = t2130*t1990+t2037; t2105 = RATIONAL(1.0,6.0); t2439 = t2260+t2387+t2105*z; t2274 = t2096*t2134; t1940 = y*t2274; t2101 = RATIONAL(1.0,36.0); t2345 = t2101*y; t1930 = z*t2345; t2438 = t1940+t1930; t2064 = t2099*t2133; t1934 = z*t2064; t1957 = z*t2065; t2437 = t1934+t1957; t2061 = t2099*t2132; t1923 = z*t2061; t2240 = t2132*t2094; t1933 = t2134*t2240; t2243 = t1923+t1933; t2081 = t2111*t2132; t1989 = z*t2081; t2116 = RATIONAL(1.0,2.0); t2076 = t2116*t2132; t2436 = t1990+t1989+t2076; t2120 = RATIONAL(-1.0,2.0); t2263 = t2120*t2134; t2033 = x*t2263; t1798 = y*t2033; t2291 = t2133*t2134; t2017 = t2110*t2291; t1774 = x*t2017; t2018 = z*t2076; t1832 = x*t2018; t2128 = x*z; t2127 = y*t2128; t2295 = t2120*t2133; t2233 = z*t2295; t2416 = t2127+x*t2233; t2435 = t1798+t1774+t1832+t2416; t1924 = t2102*t2347; t1921 = t2102*t2348; t2326 = (t1921+t1924)*x; t2271 = t2101*t2134; t1922 = t2133*t2271; t1702 = x*t1922; t2108 = RATIONAL(1.0,9.0); t2349 = t2108*z; t2283 = x*t2349; t2434 = t2326+t1702+y*t2283; t2235 = x*t2248; t1851 = t2116*t2235; t2433 = t1851+(t2295+t2036)*x; t2344 = y*t2130; t2280 = z*t2344; t2257 = t2114*t2134; t2230 = x*t2291; t2432 = t2116*t2230+t2133*t2257+t2117*t2280; t2307 = t2116*t2133; t1975 = x*t2307; t2427 = z*t1975+t2128; t2084 = t2120*y; t2044 = z*t2084; t1825 = x*t2044; t2275 = t2116*t2134; t2049 = x*t2275; t1776 = t2132*t2049; t2431 = t1825+t2427+t2033+t1776+x*t1998; t2112 = RATIONAL(3.0,4.0); t2043 = t2112*t2304; t2119 = RATIONAL(3.0,8.0); t2242 = t2130*t2119; t2211 = t2133*t2242; t2016 = t2111*t2348; t2430 = t2084+t2016+t2131*t2043+t2012+z*t2211; t2316 = t2130*t2131; t2232 = y*t2316; t2329 = t2116*t2130; t2429 = t2120*t2232+y*t2329; t2087 = t2105*t2134; t2078 = t2104*t2134; t1977 = t2132*t2078; t2428 = t2087+t1977; t2113 = RATIONAL(-3.0,8.0); t2217 = t2113*t2316; t2312 = t2132*t2131; t2006 = t2110*t2312; t2426 = t2132*t2217+t2006; t2305 = t2130*t2132; t2003 = t2117*t2305; t2425 = t2131*t2003+t2006; t2301 = t2130*t2094; t1959 = t2133*t2301; t2424 = t1959+t2130*t1925; t2121 = RATIONAL(1.0,3.0); t2246 = t2121*t2128; t2067 = t2094*t2133; t1965 = z*t2067; t2423 = t2133*t2246+t1965; t2052 = t2132*t2087; t2346 = t2132*z; t2030 = t2121*t2346; t2422 = (t2030+t2052)*x; t1907 = y*t2271; t2093 = RATIONAL(1.0,24.0); t2261 = t2093*t2133; t1966 = t2134*t2261; t1732 = t2130*t1966; t2068 = t2102*z; t1900 = y*t2068; t2247 = t1732+t1900; t2421 = t1907+t2247; t2098 = RATIONAL(-1.0,24.0); t2229 = y*t2277; t1751 = t2093*t2229; t2420 = t1751+t2098*t2280; t2026 = t2110*t2277; t2419 = t2026+t2132*t2037; t2418 = t2052+t2078; t2062 = t2094*t2134; t2063 = t2099*t2134; t1920 = t2132*t2063; t2417 = t2062+t1920; t2234 = z*t2304; t2088 = RATIONAL(-1.0,108.0); t2288 = t2134*t2088; t2415 = t2101*t2234+y*t2288; t2077 = t2116*t2131; t2056 = x*t2077; t1886 = y*t2056; t1986 = t2111*t2248; t2414 = t1886+x*t1986; t2413 = t2130*t2006+t2105*t2312; t2194 = t2113*t2304; t1841 = t2134*t2194; t2014 = t2112*t2277; t2412 = y*t2014+t1841; t2186 = t2120+t2076; t1932 = t2098*t2291; t1709 = t2130*t1932; t2411 = t1709+y*t2349; t2352 = y*t2131; t1991 = t2121*t2352; t1992 = t2105*t2248; t2410 = (t1992+t1991)*x; t2409 = t2448*x; t1981 = t2104*t2248; t2073 = t2105*t2133; t2408 = t1981+t2073; t2097 = RATIONAL(1.0,72.0); t2407 = t2097*t2229+t2090*t2347; t2022 = t2106*t2312; t2406 = t2130*t2022+t2099*t2312; t2285 = t2097*t2130; t2199 = t2133*t2285; t2405 = y*t2265+z*t2199; t2236 = z*t2305; t2027 = z*t2329; t2404 = t2120*t2236+t2027; t1881 = x*t1994; t2403 = t1881+t2448; t2029 = t2130*t2303; t2293 = t2110*t2130; t2011 = t2133*t2293; t2402 = t2131*t2029+t2011; t2086 = t2104*t2132; t1995 = z*t2086; t2401 = (t1920+t1995)*x; t2203 = t2099*t2305; t1720 = z*t2203; t2308 = t2097*t2132; t2400 = t1720+t2134*t2308; t1983 = z*t2073; t1838 = x*t1983; t1847 = t2104*t2230; t2342 = x*t2104; t1987 = y*t2342; t1801 = z*t1987; t2399 = t1847+t1838+t1801; t2054 = x*t2087; t1802 = y*t2054; t1738 = x*t1965; t1968 = t2133*t2063; t1756 = x*t1968; t2290 = t1738+t1756; t2398 = t1801+t1802+t2290; t2092 = RATIONAL(-1.0,72.0); t2286 = t2133*t2092; t1912 = t2097*t2291; t2397 = t1912+z*t2286; t2041 = t2117*t2316; t1984 = y*t2077; t2396 = t1984+y*t2041; t2031 = t2110*t2248; t2395 = t2130*t2031+t2029; t1978 = t2111*t2316; t1788 = y*t1978; t2394 = t1999+t1788; t1973 = t2130*t2062; t2393 = t1973+t2134*t2203; t1889 = t2105*t2230; t2392 = y*t2246+t1889; t2107 = RATIONAL(-1.0,9.0); t2391 = t2107*t2127+t2102*t2230; t1797 = t2132*t2196; t2390 = t1995+t1797; t1931 = t2132*t2274; t2252 = t2093*t2130; t2231 = z*t2252; t2389 = t2132*t2231+t1931; t1943 = t2134*t2286; t1701 = t2130*t1943; t2388 = t2088*t2353+t1701; t2386 = t2132*t2033+t1832; t2000 = t2111*t2305; t2251 = (t2000+t2240)*t2131; t2002 = t2131*t2293; t2385 = t2069+t2251+t2002; t2200 = t2113*t2277; t1821 = t2132*t2200; t2384 = t1776+t1821+t2132*t2257; t1874 = t2131*t2194; t2383 = t1874+t2114*t2248+t1851; t2082 = t2105*y; t1997 = z*t2082; t2382 = t2080+t2030+t1997; t2381 = t2132*t2015+y*t2200+t2014; t2262 = t2120*t2132; t2040 = t2131*t2262; t2380 = t2031+t2040+t2077; t1944 = z*t2240; t2379 = t1944+t2422; t1980 = t2132*t2293; t2378 = t2061+t2251+t1980; t2287 = t2101*t2133; t1945 = z*t2287; t2278 = t2134*t2095; t2226 = x*t2278; t1749 = y*t2226; t1949 = t2133*t2274; t2335 = (t1900+t1949)*x; t2377 = x*t1945+t1749+t2335; t2325 = t2105*t2131; t2020 = y*t2325; t2255 = (t2020+t1981)*x; t2376 = t2255+x*t2073+t1987; t2375 = t1920+t2401; t2313 = t2105*t2132; t1982 = z*t2313; t2321 = (t1982+t1977)*x; t2374 = t2054+z*t2342+t2321; t1910 = t2133*t2062; t1733 = x*t1910; t1844 = y*t2027; t2373 = t1733+t1910+t1844+t2440; t2372 = t1733+t1949+t1881; t1950 = t2095*t2347; t1754 = x*t1950; t2371 = t1754+x*t1907+t2335; t2370 = t2104*z+t1982+t2387; t2205 = t1825+(t2049+x)*y; t2369 = t2043+t2131*t2012+z*t2194+t2205; t1909 = t2099*t2304; t2368 = t2131*t1959+t1909+t2450*y; t2197 = t2130*t2240; t2267 = t2095*t2132; t1901 = t2130*t2063; t2367 = t2134*t2197+t1901+t2068+z*t2267; t1876 = t2133*t2196; t2238 = t2130*t2106; t2225 = z*t2238; t1820 = t2133*t2225; t2174 = t1876+t1820+t2402; t2366 = t2125*y+t2174+t1991+t1997; t2072 = t2104*y; t2365 = t2072+t2020+t2395; t2331 = t2130*t2111; t2008 = y*t2331; t2364 = t2008+t2064+t2065+t2445; t2209 = t2133*t2239; t1829 = z*t2209; t1970 = t2099*t2353; t2363 = t1829+t2082+t1970+t2395; t1941 = t2093*t2248; t2362 = t1941+t1788+t2410+t2442; t2343 = x*t2125; t2058 = z*t2343; t1805 = x*t1997; t2361 = t2058+x*t2078+t1805+t2422; t2075 = t2104*t2133; t2360 = x*t2075+t1805+y*t2343+t2410; t2208 = t2131*t2252; t1736 = t2133*t2208; t2317 = t2102*t2131; t2314 = t2101*t2248+t2094*t2232; t2359 = t1736+t2314+y*t2317+t2406; t2039 = t2134*t2081; t1833 = z*t2003; t2216 = t2134*t2242; t1826 = t2132*t2216; t1795 = x*t2039; t2358 = t2039+t1833+t1826+t1795+t2018; t2289 = z*t2197+t2132*t2271; t2337 = t2102*t2132; t2323 = t2093*t2134; t1942 = t2132*t2323; t1695 = t2130*t1942; t2357 = z*t2337+t2289+t1695+t2401; t2227 = y*t2239; t2356 = t1932+y*t2323+t2098*t2353+(t2261+t2227)*z; t2035 = t2111*t2291; t1856 = t2134*t2211; t1787 = x*t2035; t2355 = t2044+t2035+t2112*t2280+t1856+t1787; t2354 = t1841+y*t2216+t2132*t2014+t2120*z+t2015+t2018+t2443; t2351 = z*t2130; t2350 = x*t2131; t2341 = 1.0-t2132; t2100 = RATIONAL(-1.0,54.0); t2339 = z*t2100; t1937 = t2098*t2248; t2336 = t2130*t1937+t2131*t2345; t2334 = t2132*t2134; t1848 = y*t2026; t1938 = y*t2063; t2333 = t1848+t1938; t2330 = t1732+t1943; t2328 = t1769+t1966; t2009 = t2132*t2279; t1781 = t2130*t2009; t2327 = t1781+t1942; t2324 = t2133*t2231+t1709; t1870 = y*t2002; t2320 = t1870+t1802; t2319 = t1949+t1945; t2318 = t2134-t2131; t2074 = t2111*t2131; t2315 = t2120*t2130; t2228 = y*t2238; t1854 = t2134*t2228; t2311 = t1854+t1876; t1730 = y*t1901; t2237 = y*t2301; t1752 = z*t2237; t2310 = t1730+t1752; t2309 = y*t2350; t1712 = t2134*t2199; t2306 = t1712+t2092*t2229; t1823 = z*t2000; t1961 = y*t2062; t2302 = t1823+t1961; t2300 = t2133+t2134; t1704 = y*t1973; t1725 = t2099*t2280; t2299 = t1704+t1725; t2298 = x*t2346; t1877 = z*t2011; t2296 = t1877+t1934; t2294 = t2243*x; t2198 = t2132*t2239; t1834 = z*t2198; t2282 = t1781+t1834; t2276 = t1995+t1881; t2272 = t1922+t1947; t2034 = y*t2074; t2053 = t2112*t2316; t2270 = t2034+y*t2053; t2122 = RATIONAL(-2.0,1.0); t2269 = t2122-t2134; t2268 = t2133-t2132; t2024 = t2112*t2305; t2266 = t1989+z*t2024; t2264 = t2445*x; t2244 = t2098*t2132; t1905 = t2134*t2244; t2259 = t2130*t1905+t2101*t2346; t2258 = t1910+t1938; t2091 = RATIONAL(1.0,216.0); t2256 = t2091*t2133; t2254 = x*t2348; t2013 = z*t2072; t1705 = z*t1959; t2253 = t1705+t1725; t2118 = RATIONAL(3.0,2.0); t2250 = t2118*t2131; t2249 = (t2244+t2198)*t2131; t2245 = t2097*t2131; t2241 = t1906+t1792; t2045 = z*t2315; t2057 = y*t2293; t2032 = z*t2075; t1985 = y*t2078; t2224 = t1732+t1922+t1756; t1890 = x*t1985; t2223 = t1890+t1704+t1921; t1770 = x*t2006; t2222 = t1770+t2409; t1715 = z*t1909; t2221 = t1838+t1950+t1715; t1778 = t2130*t1997; t2220 = t1705+t1823+t1778; t1857 = t2130*t2013; t1799 = z*t1980; t2219 = t1857+t1799+t1715; t2218 = t2110+t2106*z; t2195 = t2131*t2242; t1786 = x*t2040; t2215 = t1786+t2132*t2195+t2022; t2038 = y*t2087; t2213 = t2038+t1968+t1933; t2126 = x*t2312; t2212 = t2126+t1886+t2120*t2235; t2210 = t1890+t1985+t1848; t1804 = x*t2032; t2204 = t1877+t2032+t1804; t2202 = t1770+t2426; t1767 = z*t2029; t2201 = t1838+t1767+t1983; t2115 = RATIONAL(-3.0,2.0); t2193 = t2115*t2132+t2118; t2192 = t2313+t2104; t2191 = t2121+t2125*t2132; t2190 = t2115+t2118*t2132; t2189 = t2105+t2086; t2188 = t2099*t2130+t2101; t2187 = t2262+t2116; t2185 = t1786+t2436*x; t2184 = t1751+t1709+t2092*t2348+t1912; t1882 = z*t2057; t1858 = y*t2037; t2183 = t2116*t2232+y*t2315+t1882+t1858; t2182 = t1767+t1882+t2045+t2130*t2018; t2181 = t2092*t2334+t2098*t2236+z*t2308+t1695; t2180 = t1702+(t1947+t2438)*x; t2179 = t1733+(t1938+t2437)*x; t2178 = t1905+t2093*t2346+t2132*t2225+t1797; t2177 = t2134*t2256+t2101*t2280+t2388; t2176 = t1786+t2056+(t2031+t2034)*x; t2175 = y*t2245+t2098*t2232+t1736+t2092*t2248; t2173 = t1914+t1907+t2324; t2172 = t2324+t2438; t2171 = t1968+t2075+t1965+t1992; t2170 = t2311+t2419; t1816 = z*t2008; t2169 = t1816+t1957+t2328; t1865 = t2131*t2209; t2167 = t1865+t2093*t2352+t1937+t2131*t2228; t1716 = x*t1961; t2166 = t1961+t1968+t1716+t1756+t2311; t1972 = t2096*t2248; t2165 = y*t2208+t1972+t2264+t2336; t1717 = t2098*t2229; t2164 = t1940+t1716+t1717+t2224; t2163 = t1940+t1704+t2327+t2330; t1719 = t2099*t2232; t2162 = t1719+t2133*t2245+t2249+t2336; t1913 = y*t2339; t2161 = t1712+t1913+t2088*t2347+t2101*t2229+t2259; t1811 = t2131*t2227; t2160 = t1952+t1811+t2241+t2264; t1908 = y*t2278; t1735 = t2098*t2234; t2159 = t1908+t1735+t2247+t2294; t2158 = t1923+t1781+t2013+t1858+t1965+t1876; t2157 = t1941+t1870+t2241+t2249; t2156 = t2028+t2120*t2230+t1856+t2266+t2270; t2155 = t2092*t2353+t1735+y*t2231+t1717+t2330+t2444*t2097; t1817 = y*t2045; t2124 = RATIONAL(2.0,3.0); t2154 = t1932+t2124*t2127+t1847+t1817+t1876+t1997+t2215; t2153 = t1865+t1952+t1770+t2394+t2406+t2414; t2152 = t1924+t1730+t2222+t2390+t2411; t1887 = t2133*t2195; t2151 = t1887+t1986+t2202+t2396+t2414; t2150 = t2113*t2236+t2009+t2126+t2081+t2024+t1826+t2114*t2346+t2386+t2425 ; t2149 = t1887+t2048+t2074+t2114*t2352+y*t2217+t2053+t2212+t2425; t2148 = t1914+t1945+t1715+t1752+t2167+t2184; t2147 = t1925+t1978+t1811+t2070+t2176+t2413+t2442; t1819 = t2131*t2024; t2146 = t2041+t1874+t2034+t1819+y*t2195+t2176+t2380; t1946 = t2098*t2347; t2145 = t1829+t1946+t2169+t2178+t2333; t2144 = t2173+t2179+t2319+t2420; t2143 = t2003+t1821+t2040+t2119*t2236+t1819+t2185+t2436; t2142 = t2173+t2178+t2310+t2397; t1967 = t2098*t2348; t2141 = t1888+t1967+t2167+t2169+t2296; t2140 = t1920+t2086+t2000+t1944+t2185+t2282+t2413; t1862 = y*t2225; t2139 = t1862+t1829+t2179+t2258+t2260+t2437; t2138 = t2212+t2049+t1774+t1975+t2386+((y+z)*t2120+1.0+t2016+t2443)*x; t2137 = t1799+t2170+t2243+t1820+t2063+t2356+(t2094+t2331)*z; t2123 = RATIONAL(-2.0,3.0); t2109 = RATIONAL(2.0,1.0); t2103 = RATIONAL(1.0,54.0); t2089 = RATIONAL(-1.0,216.0); t2042 = z*t2293; t1894 = t2133*t2288; t1891 = t2089*t2291; t1859 = t2121*t2254; t1855 = t2133*t2058; t1796 = z*t2043; t1784 = t2125*t2254; t1748 = t2096*t2229; t1742 = t2096*t2234; t1708 = t2092*t2234; t1707 = t2133*t2226; coeffs_dx->coeff_m1_m1_m1 = t2357+t2222+(t2100*t2134+(RATIONAL(-1.0,27.0) +t2095*t2130)*z)*y+t1748+t2133*t2339+t1701+t1894+t1742+t2359+t2434; coeffs_dx->coeff_0_m1_m1 = t1707+(RATIONAL(-2.0,9.0)*t2353+t2444*t2107)*x +t2163+t2215+t2220+t2362+t2379+t2449; coeffs_dx->coeff_p1_m1_m1 = t1870+t1865+t1922+t2152+t1921+t2219+t2375+ t2426+t2434+t2448; coeffs_dx->coeff_p2_m1_m1 = t2161+t2130*t1900+t1891+t2162+t2400+t2415; coeffs_dx->coeff_m1_0_m1 = t2164+t1924+(t2267+t2102)*t2134+t1953+(t2108+ t2107*t2132+t2189*t2130)*z+t2147+t1804+t2253+t2361+t2393; coeffs_dx->coeff_0_0_m1 = t1890+(-t2131+t2191*t2134+(t2123*t2132+t2124)*z )*x+t1889+t1966+t1970+t2149+t1967+t2182+t2276+t2417+t2423+t2439; coeffs_dx->coeff_p1_0_m1 = t2166+t1816+t2146+t2204+t2361+t2382+t2404+ t2418+t2419; coeffs_dx->coeff_p2_0_m1 = t2192*t2351+t2148+t1931+t2271+t2367+t2385; coeffs_dx->coeff_m1_p1_m1 = t1778+t2153+t2221+t2223+t2357+t2372+t2411; coeffs_dx->coeff_0_p1_m1 = t1855+t1858-t2309+t1859+t2154+t2270+t2296+ t2302+t2327+t2379+t2383; coeffs_dx->coeff_p1_p1_m1 = t2151+t1799+t1797+t2201+t2210+t2276+t2373+ t2375; coeffs_dx->coeff_p2_p1_m1 = t1705+t2157+t1857+t1943+t1730+t1947+t2259+ t2400+t2421; coeffs_dx->coeff_m1_p2_m1 = t1913+t2165+t2103*t2347+t2306+t2371+t2415+ t2446; coeffs_dx->coeff_0_p2_m1 = t2148+t2133*t2283+t1749+t2255+t2391; coeffs_dx->coeff_p1_p2_m1 = t1950+t1949+t1717+t2160+t2253+t2371+t2421; coeffs_dx->coeff_p2_p2_m1 = t1742+t2089*t2348+t2175+t2177+t2407; coeffs_dx->coeff_m1_m1_0 = t2140+t2450*t2133+t2223+(t2108+t2107*t2131+( t2105+t2070)*t2130)*y+t1725+t1738+t1735+t2224+t2360+t2424+t2449; coeffs_dx->coeff_0_m1_0 = t2150+t1961+t2183+(-t2132+(t2125*t2131+t2121)* t2133+(t2123*t2131+t2124)*y)*x+t1946+t1889+t1859+t2067+t1804+t2328+t2363+t2403; coeffs_dx->coeff_p1_m1_0 = t2143+t2171+t1816+t2210+t2290+t2360+t2366+ t2429; coeffs_dx->coeff_p2_m1_0 = t2287+t2142+t1972+(t2104+t2325)*t2344+t2368+ t2378; coeffs_dx->coeff_m1_0_0 = t1862+t2125+(t2329-x+t2121)*t2132+t2315+t2302+ t1995+(-x+t2187*t2130+t2191)*t2131+t2042+t2171+t2363+t2057+t2138+t2394+t2418+ t2439; coeffs_dx->coeff_0_0_0 = (t2257+t2218)*y+t2300*t2111+t2369+(-t2133+(t2134 -z+t2109)*t2132+(t2109-y+t2122*t2132+t2133)*t2131+t2269)*x+(t2114*t2133+t2110)* z+(t2118+t2117*z+t2132*t2250+(t2132+t2131)*t2115+(t2119*z+t2117)*y)*t2130+t2156 +t1990+t2380+t2381+t2186+t2427; coeffs_dx->coeff_p1_0_0 = (-1.0+t2263-x)*t2132+(-x+t2295-t2341)*t2131+ t1833+t2300*t2116+t2354+RATIONAL(1.0,1.0)+t2138+t2017+(t2112*z+t2193*t2131+( t2113*z+t2112)*y+t2190)*t2130+t2396+t2430; coeffs_dx->coeff_p2_0_0 = t1870+t2189*t2131+t2137+(t2186*t2131+t2187)* t2130+t2192+t2364+t2402; coeffs_dx->coeff_m1_p1_0 = t2140+t2183-t2309+t1934+t1910+t1985+t1787+ t2205+t2366+t2408+t2433; coeffs_dx->coeff_0_p1_0 = t2150+t2218*t2133+t1988+t1984+(t2115*t2131+ t2118)*t2344+(-t2248+(t2109*t2131+t2269)*y+t2268)*x+t1986+t2412+t2416+t2430+ t2432; coeffs_dx->coeff_p1_p1_0 = (t2120+t2077)*t2133+t2143+(1.0+t2275-t2131- t2350+(t2115+t2250)*t2130)*y+t2355+t2369+t2433+t2441; coeffs_dx->coeff_p2_p1_0 = t1925+t2145+t2067+t2365+t2378+t2429; coeffs_dx->coeff_m1_p2_0 = t1719+(t2095+t2317)*t2133+t2237+t2144+t2368+ t2376; coeffs_dx->coeff_0_p2_0 = t1854+t2174+((y+t2248)*t2121+(t2133+t2352)* t2125)*x+t2320+t2356+t2364+t2399; coeffs_dx->coeff_p1_p2_0 = t2139+t2057+t1788+t2365+t2376+t2408; coeffs_dx->coeff_p2_p2_0 = t2281+(t2096*t2131+t2188)*y+t2155+t2314+t2424; coeffs_dx->coeff_m1_m1_p1 = t1802+t2152+t1832+t1795+t1908+t1933+t1804+ t2220+t2359+t2372; coeffs_dx->coeff_0_m1_p1 = t1767-t2298+t2154+t1784+t2266+t2333+t2362+ t2384+t2423; coeffs_dx->coeff_p1_m1_p1 = t2204+t2038+t1865+t2358+t2202+t1858+t2320+ t1832+t2373+t2403+t2409; coeffs_dx->coeff_p2_m1_p1 = t1923+t1945+t1900+t2162+t2163+t2219; coeffs_dx->coeff_m1_0_p1 = t2170+t2182-t2298+t2032+t1787+t2147+t2258+ t2382+t2428+t2431; coeffs_dx->coeff_0_0_p1 = t1798+t2039+(t2106*y+t2110)*t2134+t2127+t2354+ t2193*t2351+(-t2334+(t2109*t2132-t2133+t2122)*z+t2318)*x+t2149+t1796+t2432; coeffs_dx->coeff_p1_0_p1 = t2186*t2134+(t2307-t2132*x+t2190*t2130+t2341)* z+t2146+t2355+t2381+t2431+t2447; coeffs_dx->coeff_p2_0_p1 = t2141+t2370+t2385+t2404+t2417; coeffs_dx->coeff_m1_p1_p1 = t1877+t1823+t1983+t1817+t2153+t1848+t1795+ t2213+t2390+t2435+t2440; coeffs_dx->coeff_0_p1_p1 = t2118*t2280+t2044+(t2268*z+(t2122*z+t2318)*y)* x+t2156+t2215+t2383+t2384+t2441+t2447; coeffs_dx->coeff_p1_p1_p1 = t2151+(t2115*t2351+t2263+z)*y+t2233+t2017+ t1796+t2358+t2412+t2435; coeffs_dx->coeff_p2_p1_p1 = t1932+t2157+t1767+t1799+t1961+t1844+t1942+ t2158; coeffs_dx->coeff_m1_p2_p1 = t2164+t1801+t1900+t1752+t2165+t2221; coeffs_dx->coeff_0_p2_p1 = t1890+t1855+t2141+t2255+t2392; coeffs_dx->coeff_p1_p2_p1 = t2013+t1801+t1882+t2160+t2166+t2201; coeffs_dx->coeff_p2_p2_p1 = t1947+t1930+t2175+t2184+t2253; coeffs_dx->coeff_m1_m1_p2 = t2161+t1708+t2103*t2348+t2294+t2377+t2389+ t2446; coeffs_dx->coeff_0_m1_p2 = t1754+t2108*t2254+t2142+t2321+t2391; coeffs_dx->coeff_p1_m1_p2 = t2159+t2243+t2282+t2299+t2319+t2377; coeffs_dx->coeff_p2_m1_p2 = t2089*t2347+t1748+t2177+t2181+t2405; coeffs_dx->coeff_m1_0_p2 = z*t2301+t1720+t2144+(t2095+t2337)*t2134+t2367+ t2374; coeffs_dx->coeff_0_0_p2 = ((t2334+z)*t2121+(t2346+t2134)*t2125)*x+t2137+ t1802+t2399; coeffs_dx->coeff_p1_0_p2 = t2139+t1823+t2042+t2370+t2374+t2428; coeffs_dx->coeff_p2_0_p2 = t2274+(t2096*t2132+t2188)*z+t2155+t2289+t2393; coeffs_dx->coeff_m1_p1_p2 = t2159+t2259+t2272+t2310+t2389+t2398; coeffs_dx->coeff_0_p1_p2 = t2145+t1784+t1804+t2321+t2392; coeffs_dx->coeff_p1_p1_p2 = t2158+t1882+t1834+t1820+t2213+t2294+t2398; coeffs_dx->coeff_p2_p1_p2 = t2172+t2181+t2299+t2397; coeffs_dx->coeff_m1_p2_p2 = t1894+t2092*t2280+t2180+t2388+t2405+t2407; coeffs_dx->coeff_0_p2_p2 = x*t1953+t1707+t2155+t2326; coeffs_dx->coeff_p1_p2_p2 = t2172+t2180+t2272+t2420; coeffs_dx->coeff_p2_p2_p2 = t1891+t1708+z*t2256+(t2091*t2134+(t2285+t2089 )*z)*y+t2306;