fp t17661; fp t17669; fp t17770; fp t17769; fp t17773; fp t17771; fp t17916; fp t17941; fp t18327; fp t18326; fp t17768; fp t17772; fp t17917; fp t17945; fp t18325; fp t18324; fp t17663; fp t17671; fp t18323; fp t18322; fp t17774; fp t17904; fp t17879; fp t17905; fp t17880; fp t18321; fp t17906; fp t17882; fp t17907; fp t17900; fp t18320; fp t17885; fp t17890; fp t18319; fp t17886; fp t17893; fp t18318; fp t17908; fp t17888; fp t17910; fp t17889; fp t18317; fp t17909; fp t17891; fp t17913; fp t17896; fp t18265; fp t17883; fp t17892; fp t18316; fp t17912; fp t17895; fp t17937; fp t17933; fp t18315; fp t17915; fp t17898; fp t17955; fp t17954; fp t18314; fp t17911; fp t17894; fp t17918; fp t17902; fp t18313; fp t18312; fp t18311; fp t18263; fp t17938; fp t18310; fp t17942; fp t18309; fp t17939; fp t17929; fp t17943; fp t17932; fp t18308; fp t17914; fp t17897; fp t17935; fp t17930; fp t18307; fp t18306; fp t17884; fp t17927; fp t18262; fp t18261; fp t17699; fp t18305; fp t18304; fp t17666; fp t17702; fp t18303; fp t18302; fp t17376; fp t18301; fp t17584; fp t17956; fp t16549; fp t18300; fp t18299; fp t17374; fp t18298; fp t18297; fp t17582; fp t17957; fp t16553; fp t18296; fp t17662; fp t17881; fp t18295; fp t17710; fp t17415; fp t18294; fp t17413; fp t18293; fp t17674; fp t17713; fp t18292; fp t18291; fp t17433; fp t18290; fp t17590; fp t16623; fp t18289; fp t18288; fp t17431; fp t18287; fp t18286; fp t17588; fp t16627; fp t18285; fp t17648; fp t18284; fp t18283; fp t17706; fp t16788; fp t17599; fp t18282; fp t17934; fp t17928; fp t17215; fp t18185; fp t18281; fp t16783; fp t17597; fp t18280; fp t17936; fp t17931; fp t17216; fp t18184; fp t18279; fp t17717; fp t17899; fp t18162; fp t18278; fp t17901; fp t18161; fp t18277; fp t17704; fp t18276; fp t18275; fp t16924; fp t17605; fp t18274; fp t17261; fp t18182; fp t18273; fp t16919; fp t17604; fp t18272; fp t17262; fp t18183; fp t18271; fp t17610; fp t18152; fp t18270; fp t17608; fp t18153; fp t18269; fp t17670; fp t17742; fp t18268; fp t17755; fp t17740; fp t17924; fp t18267; fp t17749; fp t17761; fp t17919; fp t18266; fp t18264; fp t18260; fp t18259; fp t18258; fp t18257; fp t16621; fp t17589; fp t18256; fp t16547; fp t17583; fp t18255; fp t17602; fp t17757; fp t18254; fp t16840; fp t18253; fp t17600; fp t18252; fp t18251; fp t16706; fp t18250; fp t18249; fp t17645; fp t17649; fp t18248; fp t17137; fp t17138; fp t17159; fp t18247; fp t18246; fp t18245; fp t18244; fp t18243; fp t18242; fp t18241; fp t18240; fp t18239; fp t17667; fp t17715; fp t18238; fp t18237; fp t17357; fp t18236; fp t17711; fp t17720; fp t17745; fp t18235; fp t16734; fp t18234; fp t17739; fp t17751; fp t18233; fp t17373; fp t18232; fp t17375; fp t18231; fp t17627; fp t17629; fp t18230; fp t17675; fp t18229; fp t18228; fp t18227; fp t18226; fp t17697; fp t17700; fp t18225; fp t16867; fp t18224; fp t16871; fp t18223; fp t17760; fp t18222; fp t17430; fp t18221; fp t17432; fp t18220; fp t17620; fp t17622; fp t18219; fp t18218; fp t17664; fp t17672; fp t18187; fp t18093; fp t17887; fp t18174; fp t18217; fp t16738; fp t17668; fp t17660; fp t17644; fp t18126; fp t17851; fp t18216; fp t18215; fp t18094; fp t18214; fp t17852; fp t18213; fp t18212; fp t18154; fp t18163; fp t17848; fp t18211; fp t17869; fp t18210; fp t17870; fp t18209; fp t18208; fp t18207; fp t18206; fp t17643; fp t17647; fp t18205; fp t18204; fp t18203; fp t18202; fp t18201; fp t18200; fp t18199; fp t18198; fp t18197; fp t18196; fp t17681; fp t17696; fp t17733; fp t18195; fp t18194; fp t17655; fp t17721; fp t17767; fp t18193; fp t18192; fp t18191; fp t17658; fp t18190; fp t17665; fp t18189; fp t18188; fp t17214; fp t18186; fp t17650; fp t18181; fp t18180; fp t18179; fp t18178; fp t18176; fp t18173; fp t17641; fp t17673; fp t18172; fp t17274; fp t17678; fp t18171; fp t18170; fp t18169; fp t18168; fp t18167; fp t17687; fp t17698; fp t18166; fp t17691; fp t18165; fp t17695; fp t17701; fp t18164; fp t17601; fp t18160; fp t17723; fp t18158; fp t18157; fp t17703; fp t18156; fp t17705; fp t17735; fp t18155; fp t17708; fp t17731; fp t18150; fp t17677; fp t18149; fp t18148; fp t17709; fp t17722; fp t18147; fp t17609; fp t18146; fp t17712; fp t17730; fp t18145; fp t17716; fp t17763; fp t18144; fp t18143; fp t18142; fp t17724; fp t18141; fp t18140; fp t17737; fp t18139; fp t17654; fp t17752; fp t18138; fp t17693; fp t18137; fp t17689; fp t17766; fp t18136; fp t17719; fp t17940; fp t18135; fp t17944; fp t18134; fp t18133; fp t18132; fp t18131; fp t18130; fp t18129; fp t18128; fp t18127; fp t18125; fp t18124; fp t18123; fp t17656; fp t17676; fp t18122; fp t18121; fp t18120; fp t18119; fp t17460; fp t17657; fp t18118; fp t18117; fp t17458; fp t18116; fp t18115; fp t17690; fp t17725; fp t18114; fp t18113; fp t18112; fp t18111; fp t18110; fp t17688; fp t18109; fp t18108; fp t18107; fp t17540; fp t17686; fp t17728; fp t18106; fp t17536; fp t18105; fp t17186; fp t17593; fp t17726; fp t17746; fp t18104; fp t17734; fp t17756; fp t17765; fp t18103; fp t17867; fp t18102; fp t17865; fp t18101; fp t17185; fp t17607; fp t17428; fp t18100; fp t17606; fp t17426; fp t18099; fp t17369; fp t18098; fp t17371; fp t18097; fp t18096; fp t18095; fp t17414; fp t16838; fp t17871; fp t18092; fp t17875; fp t18091; fp t17416; fp t16845; fp t17873; fp t18090; fp t17877; fp t18089; fp t17596; fp t17359; fp t16711; fp t17874; fp t18088; fp t17878; fp t18087; fp t17598; fp t17358; fp t16704; fp t17872; fp t18086; fp t17876; fp t18085; fp t18084; fp t18083; fp t18082; fp t18081; fp t18080; fp t18079; fp t18078; fp t18077; fp t18076; fp t17953; fp t18075; fp t18074; fp t18073; fp t18072; fp t18071; fp t17951; fp t18070; fp t18069; fp t17465; fp t18068; fp t17952; fp t18067; fp t17407; fp t17948; fp t18066; fp t17462; fp t18065; fp t18064; fp t17410; fp t18063; fp t17950; fp t18062; fp t17592; fp t18061; fp t17753; fp t17556; fp t17692; fp t17743; fp t17747; fp t18060; fp t17532; fp t17949; fp t18059; fp t17554; fp t18058; fp t17534; fp t18057; fp t18056; fp t18055; fp t17947; fp t18054; fp t18053; fp t18052; fp t18051; fp t18050; fp t17727; fp t17758; fp t18049; fp t18048; fp t17946; fp t18047; fp t18046; fp t17404; fp t17903; fp t17857; fp t18045; fp t17406; fp t17858; fp t18044; fp t18043; fp t18042; fp t18041; fp t18040; fp t18039; fp t18038; fp t18037; fp t18036; fp t18035; fp t18034; fp t18033; fp t18032; fp t18031; fp t18030; fp t18029; fp t18028; fp t18027; fp t18026; fp t18025; fp t18024; fp t18023; fp t18022; fp t18021; fp t18020; fp t18019; fp t18018; fp t18017; fp t18016; fp t18015; fp t18014; fp t18013; fp t18012; fp t18011; fp t18010; fp t18009; fp t18008; fp t18007; fp t18006; fp t18005; fp t18004; fp t18003; fp t18002; fp t18001; fp t18000; fp t17999; fp t17998; fp t17997; fp t17996; fp t17995; fp t17994; fp t17993; fp t17992; fp t17991; fp t17990; fp t17659; fp t17679; fp t17989; fp t17988; fp t17987; fp t17986; fp t17985; fp t17984; fp t17983; fp t17982; fp t17981; fp t17980; fp t17576; fp t17979; fp t17574; fp t17978; fp t17977; fp t17976; fp t17847; fp t17975; fp t17974; fp t17633; fp t17973; fp t17631; fp t17972; fp t17971; fp t17970; fp t17969; fp t17968; fp t17967; fp t17966; fp t17965; fp t17964; fp t17963; fp t17962; fp t17961; fp t17960; fp t17959; fp t17958; fp t17594; fp t17595; fp t17926; fp t17925; fp t17612; fp t17613; fp t17923; fp t17922; fp t17921; fp t17920; fp t17529; fp t17551; fp t17388; fp t17390; fp t17443; fp t17445; fp t17528; fp t17530; fp t17541; fp t17550; fp t17552; fp t17560; fp t17864; fp t17707; fp t17729; fp t17748; fp t17863; fp t17653; fp t17762; fp t17862; fp t17694; fp t17718; fp t17754; fp t17861; fp t17860; fp t17750; fp t17859; fp t17856; fp t17855; fp t17850; fp t17849; fp t17846; fp t17845; fp t17640; fp t17714; fp t17844; fp t17843; fp t17683; fp t17744; fp t17842; fp t17841; fp t17651; fp t17840; fp t17682; fp t17839; fp t17838; fp t17837; fp t17836; fp t17835; fp t17834; fp t17833; fp t17832; fp t17831; fp t17830; fp t17829; fp t17828; fp t17738; fp t17759; fp t17827; fp t17826; fp t17825; fp t17824; fp t17823; fp t17822; fp t17821; fp t17820; fp t17819; fp t17818; fp t17817; fp t17816; fp t17815; fp t17814; fp t17813; fp t17812; fp t17811; fp t17810; fp t17809; fp t17808; fp t17807; fp t17806; fp t17805; fp t17804; fp t17803; fp t17802; fp t17801; fp t17800; fp t17799; fp t17798; fp t17797; fp t17796; fp t17795; fp t17794; fp t17793; fp t17792; fp t17791; fp t17790; fp t17789; fp t17788; fp t17787; fp t17786; fp t17785; fp t17784; fp t17783; fp t17782; fp t17781; fp t17780; fp t17779; fp t17764; fp t17741; fp t17736; fp t17732; fp t17685; fp t17684; fp t17680; fp t17652; t17661 = RATIONAL(1.0,576.0); t17669 = RATIONAL(-1.0,576.0); t17770 = z*z; t17769 = z*t17770; t17773 = y*y; t17771 = t17773*t17773; t17916 = t17769*t17771; t17941 = t17771*z; t18327 = t17661*t17916+t17669*t17941; t18326 = t17661*t17941+t17669*t17916; t17768 = t17770*t17770; t17772 = y*t17773; t17917 = t17768*t17772; t17945 = t17768*y; t18325 = t17661*t17917+t17669*t17945; t18324 = t17661*t17945+t17669*t17917; t17663 = RATIONAL(1.0,288.0); t17671 = RATIONAL(-1.0,288.0); t18323 = t17663*t17770+t17671*t17768; t18322 = t17663*t17773+t17671*t17771; t17774 = x*x; t17904 = t17774*t17773; t17879 = t17768*t17904; t17905 = t17774*t17771; t17880 = t17770*t17905; t18321 = t17880+t17879; t17906 = t17774*t17770; t17882 = t17772*t17906; t17907 = t17774*t17768; t17900 = y*t17907; t18320 = t17882+t17900; t17885 = t17769*t17905; t17890 = z*t17904; t18319 = t17885+t17890; t17886 = t17772*t17907; t17893 = y*t17906; t18318 = t17886+t17893; t17908 = t17773*t17768; t17888 = x*t17908; t17910 = t17771*t17770; t17889 = x*t17910; t18317 = t17889+t17888; t17909 = t17772*t17774; t17891 = z*t17909; t17913 = t17769*t17774; t17896 = y*t17913; t18265 = t17891+t17896; t17883 = t17769*t17904; t17892 = z*t17905; t18316 = t17892+t17883; t17912 = t17770*t17772; t17895 = x*t17912; t17937 = x*t17768; t17933 = y*t17937; t18315 = t17895+t17933; t17915 = t17769*t17772; t17898 = x*t17915; t17955 = y*z; t17954 = x*t17955; t18314 = t17898+t17954; t17911 = t17770*t17773; t17894 = x*t17911; t17918 = t17768*t17771; t17902 = x*t17918; t18313 = t17902+t17894; t18312 = t17910+t17908; t18311 = t17912+t17945; t18263 = t17915+t17955; t17938 = t17773*z; t18310 = t17916+t17938; t17942 = t17770*y; t18309 = t17917+t17942; t17939 = t17772*z; t17929 = x*t17939; t17943 = t17769*y; t17932 = x*t17943; t18308 = t17929+t17932; t17914 = t17769*t17773; t17897 = x*t17914; t17935 = x*t17771; t17930 = z*t17935; t18307 = t17930+t17897; t18306 = t17941+t17914; t17884 = t17769*t17909; t17927 = t17774*t17955; t18262 = t17927+t17884; t18261 = t17939+t17943; t17699 = RATIONAL(1.0,72.0); t18305 = t17663*t17889+t17699*t17888; t18304 = t17663*t17888+t17699*t17889; t17666 = RATIONAL(1.0,144.0); t17702 = RATIONAL(1.0,36.0); t18303 = t17666*t17889+t17702*t17888; t18302 = t17666*t17930+t17702*t17897; t17376 = t17702*t17945; t18301 = t17666*t17895+x*t17376; t17584 = t17666*t17772; t17956 = x*z; t16549 = t17584*t17956; t18300 = t16549+t17702*t17932; t18299 = t17666*t17888+t17702*t17889; t17374 = t17702*t17941; t18298 = t17666*t17897+x*t17374; t18297 = t17666*t17933+t17702*t17895; t17582 = t17666*t17769; t17957 = x*y; t16553 = t17582*t17957; t18296 = t16553+t17702*t17929; t17662 = RATIONAL(1.0,432.0); t17881 = t17770*t17904; t18295 = t17671*t17881+t17662*t17918; t17710 = RATIONAL(-1.0,72.0); t17415 = t17710*t17908; t18294 = t17671*t17889+x*t17415; t17413 = t17710*t17910; t18293 = t17671*t17888+x*t17413; t17674 = RATIONAL(-1.0,144.0); t17713 = RATIONAL(-1.0,36.0); t18292 = t17674*t17889+t17713*t17888; t18291 = t17674*t17930+t17713*t17897; t17433 = t17713*t17945; t18290 = t17674*t17895+x*t17433; t17590 = t17674*t17772; t16623 = t17590*t17956; t18289 = t16623+t17713*t17932; t18288 = t17674*t17888+t17713*t17889; t17431 = t17713*t17941; t18287 = t17674*t17897+x*t17431; t18286 = t17674*t17933+t17713*t17895; t17588 = t17674*t17769; t16627 = t17588*t17957; t18285 = t16627+t17713*t17929; t17648 = RATIONAL(-1.0,1728.0); t18284 = t17699*t17880+t17648*t17908; t18283 = t17699*t17879+t17648*t17910; t17706 = RATIONAL(1.0,18.0); t16788 = t17706*t17932; t17599 = t17699*t17772; t18282 = t17599*t17956+t16788; t17934 = x*t17773; t17928 = z*t17934; t17215 = t17663*t17916; t18185 = x*t17215+t17671*t17897; t18281 = t17699*t17928+t18185; t16783 = t17706*t17929; t17597 = t17699*t17769; t18280 = t17597*t17957+t16783; t17936 = x*t17770; t17931 = y*t17936; t17216 = t17663*t17917; t18184 = x*t17216+t17671*t17895; t18279 = t17699*t17931+t18184; t17717 = RATIONAL(-1.0,18.0); t17899 = x*t17916; t18162 = t17699*t17899+t17717*t17897; t18278 = t17706*t17928+t18162; t17901 = x*t17917; t18161 = t17699*t17901+t17717*t17895; t18277 = t17706*t17931+t18161; t17704 = RATIONAL(1.0,27.0); t18276 = t17710*t17880+t17704*t17908; t18275 = t17710*t17879+t17704*t17910; t16924 = t17717*t17932; t17605 = t17710*t17772; t18274 = t17605*t17956+t16924; t17261 = t17671*t17916; t18182 = t17663*t17897+x*t17261; t18273 = t17710*t17928+t18182; t16919 = t17717*t17929; t17604 = t17710*t17769; t18272 = t17604*t17957+t16919; t17262 = t17671*t17917; t18183 = t17663*t17895+x*t17262; t18271 = t17710*t17931+t18183; t17610 = t17717*t17773; t18152 = t17706*t17897+t17710*t17899; t18270 = t17610*t17956+t18152; t17608 = t17717*t17770; t18153 = t17706*t17895+t17710*t17901; t18269 = t17608*t17957+t18153; t17670 = RATIONAL(-1.0,432.0); t17742 = RATIONAL(2.0,9.0); t18268 = t17742*t17881+t17670*t17918; t17755 = RATIONAL(-1.0,3.0); t17740 = RATIONAL(4.0,3.0); t17924 = t17740*t17774; t18267 = z*t17924+t17755*t17913; t17749 = RATIONAL(1.0,3.0); t17761 = RATIONAL(-4.0,3.0); t17919 = t17761*t17774; t18266 = t17749*t17913+z*t17919; t18264 = t17906+t17904; t18260 = t17663*t17930+t17671*t17928+t18182; t18259 = t18185+t18322*t17956; t18258 = t17663*t17933+t17671*t17931+t18183; t18257 = t18184+t18323*t17957; t16621 = t17674*t17898; t17589 = t17674*z; t18256 = t16549+t17589*t17957+t16553+t16621; t16547 = t17666*t17898; t17583 = t17666*z; t18255 = t17583*t17957+t16623+t16547+t16627; t17602 = t17706*t17771; t17757 = RATIONAL(-2.0,9.0); t18254 = t17602*t17956+t17757*t17928+t18152; t16840 = t17710*t17898; t18253 = t16783+t17757*t17954+t16788+t16840; t17600 = t17706*t17768; t18252 = t17600*t17957+t17757*t17931+t18153; t18251 = t17717*t17930+t17742*t17928+t18162; t16706 = t17699*t17898; t18250 = t16919+t17742*t17954+t16706+t16924; t18249 = t17717*t17933+t17742*t17931+t18161; t17645 = RATIONAL(1.0,1152.0); t17649 = RATIONAL(-1.0,1152.0); t18248 = t18317*t17649+t18313*t17645; t17137 = t17645*t17910; t17138 = t17645*t17908; t17159 = t17649*t17918; t18247 = t17649*t17894+(t17137+t17138+t17159)*x; t18246 = t18317*t17669+t18313*t17661; t18245 = t17661*t17928+t17669*t17897+t18327*x; t18244 = t18313*t17669+t18317*t17661; t18243 = t17661*t17897+t17669*t17928+t18326*x; t18242 = t17661*t17931+t17669*t17895+t18325*x; t18241 = t17661*t17895+t17669*t17931+t18324*x; t18240 = t18308*t17671+t18314*t17663; t18239 = t18314*t17671+t18308*t17663; t17667 = RATIONAL(1.0,108.0); t17715 = RATIONAL(-1.0,27.0); t18238 = t17699*t17885+t17717*t17892+t17667*t17914+t17715*t17938; t18237 = t17699*t17883+t17717*t17890+t17667*t17916+t17715*t17941; t17357 = t17699*t17918; t18236 = x*t17357+t17742*t17894+t18317*t17717; t17711 = RATIONAL(-1.0,54.0); t17720 = RATIONAL(-2.0,27.0); t17745 = RATIONAL(1.0,9.0); t18235 = t17702*t17884+t17745*t17927+t17711*t17915+t17720*t17955; t16734 = t17702*t17891; t18234 = t16734+t17745*t17896+t17711*t17939+t17720*t17943; t17739 = RATIONAL(4.0,9.0); t17751 = RATIONAL(-1.0,9.0); t18233 = t17702*t17902+t17739*t17894+t18317*t17751; t17373 = t17702*t17916; t18232 = x*t17373+t17739*t17928+t18307*t17751; t17375 = t17702*t17917; t18231 = x*t17375+t17739*t17931+t18315*t17751; t17627 = t17751*t17769; t17629 = t17751*t17772; t18230 = t17702*t17898+t17739*t17954+t17629*t17956+t17627*t17957; t17675 = RATIONAL(-1.0,108.0); t18229 = t17706*t17892+t17710*t17885+t17675*t17914+t17704*t17938; t18228 = t17706*t17883+t17757*t17890+t17662*t17916+t17675*t17941; t18227 = t17706*t17890+t17710*t17883+t17675*t17916+t17704*t17941; t18226 = t17710*t17902+t17757*t17894+t18317*t17706; t17697 = RATIONAL(2.0,27.0); t17700 = RATIONAL(1.0,54.0); t18225 = t17713*t17884+t17751*t17927+t17697*t17955+t17700*t17915; t16867 = t17713*t17891; t18224 = t16867+t17751*t17896+t17697*t17943+t17700*t17939; t16871 = t17713*t17896; t18223 = t16871+t17751*t17891+t17697*t17939+t17700*t17943; t17760 = RATIONAL(-4.0,9.0); t18222 = t17713*t17902+t17760*t17894+t18317*t17745; t17430 = t17713*t17916; t18221 = x*t17430+t17760*t17928+t18307*t17745; t17432 = t17713*t17917; t18220 = x*t17432+t17760*t17931+t18315*t17745; t17620 = t17745*t17769; t17622 = t17745*t17772; t18219 = t17713*t17898+t17622*t17956+t17620*t17957+t17760*t17954; t18218 = t17717*t17883+t17742*t17890+t17667*t17941+t17670*t17916; t17664 = RATIONAL(1.0,216.0); t17672 = RATIONAL(-1.0,216.0); t18187 = t17663*t17879+t17670*t17910; t18093 = t17666*t17900+t17674*t17886+t17664*t17942+t17672*t17912+t18187; t17887 = t17768*t17905; t18174 = t17671*t17887+t17662*t17911; t18217 = t17666*t17882+t17674*t17893+t17664*t17917+t17672*t17945+t18093+ t18174; t16738 = t17702*t17896; t17668 = RATIONAL(-1.0,864.0); t17660 = RATIONAL(1.0,864.0); t17644 = RATIONAL(1.0,1728.0); t18126 = t17710*t17881+t17644*t17918+t18174; t17851 = t17674*t17884+t17713*t17927+t17660*t17915+t17664*t17955+t18126; t18216 = t17666*t17891+t16738+t17668*t17939+t17672*t17943+t17851; t18215 = t17666*t17896+t16734+t17668*t17943+t17672*t17939+t17851; t18094 = t17666*t17886+t17674*t17900+t17664*t17912+t17672*t17942+t18187; t18214 = t17666*t17893+t17674*t17882+t17664*t17945+t17672*t17917+t18094+ t18174; t17852 = t17666*t17884+t17702*t17927+t17668*t17915+t17672*t17955+t18126; t18213 = t17674*t17891+t16871+t17660*t17939+t17664*t17943+t17852; t18212 = t17674*t17896+t16867+t17660*t17943+t17664*t17939+t17852; t18154 = t17706*t17881+t17675*t17918; t18163 = t17699*t17887+t17715*t17911; t17848 = t18154+t18163+t18225; t18211 = t16738+t17745*t17891+t17711*t17943+t17720*t17939+t17848; t17869 = t17710*t17884+t18261*t17675; t18210 = t17710*t17927+t17869+t18265*t17699+t18263*t17667; t17870 = t17699*t17884+t18261*t17667; t18209 = t17699*t17927+t17870+t18265*t17710+t18263*t17675; t18208 = t17704*t17955+t17869+t17757*t17927+t17662*t17915+t18265*t17706; t18207 = t17715*t17955+t17870+t17742*t17927+t17670*t17915+t18265*t17717; t18206 = t18321*t17649+(t17918+t17911)*RATIONAL(-1.0,6912.0)+(t17887+ t17881)*t17645+t18312*RATIONAL(1.0,6912.0); t17643 = RATIONAL(1.0,3456.0); t17647 = RATIONAL(-1.0,3456.0); t18205 = t18316*t17669+t18319*t17661+t18310*t17647+t18306*t17643; t18204 = t18319*t17669+t18316*t17661+t18306*t17647+t18310*t17643; t18203 = t18320*t17669+t18318*t17661+t18309*t17647+t18311*t17643; t18202 = t18318*t17669+t18320*t17661+t18311*t17647+t18309*t17643; t18201 = t17663*t17885+t17671*t17883+t17699*t17890+t17710*t17892+t17644* t17914+t17648*t17916+t17662*t17941+t17670*t17938; t18200 = t17663*t17886+t17671*t17882+t17699*t17893+t17710*t17900+t17644* t17912+t17648*t17917+t17662*t17945+t17670*t17942; t18199 = t17663*t17882+t17671*t17886+t17699*t17900+t17710*t17893+t17644* t17917+t17648*t17912+t17662*t17942+t17670*t17945; t18198 = t17663*t17883+t17671*t17885+t17699*t17892+t17710*t17890+t17644* t17916+t17648*t17914+t17662*t17938+t17670*t17941; t18197 = t17702*t17885+t17713*t17892+t17745*t17890+t17751*t17883+t17697* t17914+t17700*t17941+t17711*t17916+t17720*t17938; t18196 = t17702*t17892+t17713*t17885+t17745*t17883+t17751*t17890+t17697* t17938+t17700*t17916+t17711*t17941+t17720*t17914; t17681 = RATIONAL(-16.0,27.0); t17696 = RATIONAL(4.0,27.0); t17733 = RATIONAL(8.0,9.0); t18195 = t17706*t17885+t17733*t17890+t17681*t17938+t17715*t17916+t18316* t17757+t18306*t17696; t18194 = t17706*t17886+t17733*t17893+t17681*t17942+t17715*t17917+t18320* t17757+t18311*t17696; t17655 = RATIONAL(16.0,27.0); t17721 = RATIONAL(-4.0,27.0); t17767 = RATIONAL(-8.0,9.0); t18193 = t17717*t17887+t17704*t17918+t17767*t17881+t17655*t17911+t18321* t17742+t18312*t17721; t18192 = t17717*t17885+t17704*t17916+t17767*t17890+t17655*t17938+t18316* t17742+t18306*t17721; t18191 = t17717*t17886+t17704*t17917+t17767*t17893+t17655*t17942+t18320* t17742+t18311*t17721; t17658 = RATIONAL(5.0,192.0); t18190 = t17658*t17881+t17159; t17665 = RATIONAL(1.0,192.0); t18189 = t17658*t17894+t17665*t17902; t18188 = t17663*t17880+t17670*t17908; t17214 = t17663*t17918; t18186 = x*t17214+t17699*t17894; t17650 = RATIONAL(-5.0,1152.0); t18181 = t17665*t17887+t17650*t17911; t18180 = t17666*t17902+t17702*t17894; t18179 = t17666*t17899+t17702*t17928; t18178 = t17666*t17901+t17702*t17931; t18176 = t16547+t17702*t17954; t18173 = t17671*t17902+t17710*t17894; t17641 = RATIONAL(5.0,1152.0); t17673 = RATIONAL(-1.0,192.0); t18172 = t17673*t17880+t17641*t17908; t17274 = t17673*t17918; t17678 = RATIONAL(-5.0,192.0); t18171 = x*t17274+t17678*t17894; t18170 = t17674*t17902+t17713*t17894; t18169 = t17674*t17899+t17713*t17928; t18168 = t17674*t17901+t17713*t17931; t18167 = t16621+t17713*t17954; t17687 = RATIONAL(5.0,96.0); t17698 = RATIONAL(1.0,96.0); t18166 = t17687*t17894+t17698*t17902; t17691 = RATIONAL(5.0,32.0); t18165 = t17691*t17881+t17678*t17918; t17695 = RATIONAL(5.0,12.0); t17701 = RATIONAL(1.0,48.0); t18164 = t17695*t17894+t17701*t17902; t17601 = t17706*z; t18160 = t16706+t17601*t17957; t17723 = RATIONAL(-5.0,72.0); t18158 = t17701*t17880+t17723*t17908; t18157 = t17701*t17879+t17723*t17910; t17703 = RATIONAL(1.0,32.0); t18156 = t17703*t17887+RATIONAL(-25.0,192.0)*t17911; t17705 = RATIONAL(1.0,24.0); t17735 = RATIONAL(5.0,6.0); t18155 = t17705*t17902+t17735*t17894; t17708 = RATIONAL(1.0,12.0); t17731 = RATIONAL(-10.0,9.0); t18150 = t17708*t17887+t17731*t17911; t17677 = RATIONAL(-5.0,288.0); t18149 = t17708*t17880+t17677*t17908; t18148 = t17708*t17879+t17677*t17910; t17709 = RATIONAL(-1.0,96.0); t17722 = RATIONAL(-5.0,96.0); t18147 = t17709*t17902+t17722*t17894; t17609 = t17717*z; t18146 = t16840+t17609*t17957; t17712 = RATIONAL(-1.0,48.0); t17730 = RATIONAL(-5.0,12.0); t18145 = t17712*t17902+t17730*t17894; t17716 = RATIONAL(-1.0,24.0); t17763 = RATIONAL(-5.0,6.0); t18144 = t17716*t17902+t17763*t17894; t18143 = t17717*t17880+t17667*t17908; t18142 = t17717*t17879+t17667*t17910; t17724 = RATIONAL(-5.0,48.0); t18141 = t17724*t17881+t17357; t18140 = t17730*t17881+t17214; t17737 = RATIONAL(5.0,3.0); t18139 = t17737*t17881+t17717*t17918; t17654 = RATIONAL(25.0,12.0); t17752 = RATIONAL(-1.0,8.0); t18138 = t17752*t17887+t17654*t17911; t17693 = RATIONAL(5.0,18.0); t18137 = t17755*t17880+t17693*t17908; t17689 = RATIONAL(5.0,48.0); t17766 = RATIONAL(-5.0,2.0); t18136 = t17766*t17881+t17689*t17918; t17719 = RATIONAL(-1.0,12.0); t17940 = t17772*x; t18135 = t17689*t17895+t17712*t17901+t17719*t17940; t17944 = t17769*x; t18134 = t17689*t17897+t17712*t17899+t17719*t17944; t18133 = t17701*t17899+t17724*t17897+t17708*t17944; t18132 = t17701*t17901+t17724*t17895+t17708*t17940; t18131 = t18176+t18186; t18130 = t18167+t18186; t18129 = t18160+t18180; t18128 = t18146+t18180; t18127 = t18173+t18176; t18125 = t18167+t18173; t18124 = t18160+t18170; t18123 = t18146+t18170; t17656 = RATIONAL(5.0,576.0); t17676 = RATIONAL(-5.0,576.0); t18122 = t17698*t17885+t17709*t17892+t17656*t17914+t17676*t17938; t18121 = t17698*t17892+t17709*t17885+t17656*t17938+t17676*t17914; t18120 = t17698*t17886+t17709*t17900+t17656*t17912+t17676*t17942; t18119 = t17698*t17900+t17709*t17886+t17656*t17942+t17676*t17912; t17460 = t17719*t17905; t17657 = RATIONAL(5.0,288.0); t18118 = t17701*t17885+z*t17460+t17657*t17914+t17723*t17938; t18117 = t18148+t18158; t17458 = t17719*t17907; t18116 = t17701*t17886+y*t17458+t17657*t17912+t17723*t17942; t18115 = t18149+t18157; t17690 = RATIONAL(5.0,36.0); t17725 = RATIONAL(-5.0,36.0); t18114 = t17705*t17885+t17716*t17892+t17690*t17914+t17725*t17938; t18113 = t17705*t17892+t17716*t17885+t17690*t17938+t17725*t17914; t18112 = t17705*t17886+t17716*t17900+t17690*t17912+t17725*t17942; t18111 = t17705*t17900+t17716*t17886+t17690*t17942+t17725*t17912; t18110 = t17708*t17885+t17755*t17892+t17693*t17914+t17731*t17938; t17688 = RATIONAL(5.0,72.0); t18109 = t17708*t17892+t17712*t17885+t17677*t17914+t17688*t17938; t18108 = t17708*t17886+t17755*t17900+t17693*t17912+t17731*t17942; t18107 = t17708*t17900+t17712*t17886+t17677*t17912+t17688*t17942; t17540 = t17749*t17905; t17686 = RATIONAL(10.0,9.0); t17728 = RATIONAL(-5.0,18.0); t18106 = t17719*t17885+z*t17540+t17686*t17938+t17728*t17914; t17536 = t17749*t17907; t18105 = t17719*t17886+y*t17536+t17686*t17942+t17728*t17912; t17186 = t17658*t17908; t17593 = t17689*t17773; t17726 = RATIONAL(-5.0,32.0); t17746 = RATIONAL(1.0,8.0); t18104 = t17726*t17880+t17186+t17746*t17905+t17593; t17734 = RATIONAL(5.0,8.0); t17756 = RATIONAL(-1.0,2.0); t17765 = RATIONAL(-5.0,3.0); t18103 = t17734*t17880+t17730*t17908+t17756*t17905+t17765*t17773; t17867 = t17673*t17879+t17641*t17910+t18181; t18102 = t17665*t17881+t17650*t17918+t17867+t18172; t17865 = t17755*t17879+t17693*t17910+t18150; t18101 = t17740*t17881+t17723*t17918+t17865+t18137; t17185 = t17658*t17910; t17607 = t17712*t17771; t17428 = x*t17607; t18100 = x*t17185+t17665*t17888+t17701*t17934+t17428+t18171; t17606 = t17712*t17768; t17426 = x*t17606; t18099 = x*t17186+t17665*t17889+t17701*t17936+t17426+t18171; t17369 = t17701*t17937; t18098 = t17673*t17889+t17678*t17888+t17369+t17712*t17936+t18189; t17371 = t17701*t17935; t18097 = t17673*t17888+t17678*t17889+t17371+t17712*t17934+t18189; t18096 = t17666*t17885+t17674*t17892+t17664*t17914+t17672*t17938+t18188; t18095 = t17666*t17892+t17674*t17885+t17664*t17938+t17672*t17914+t18188; t17414 = t17710*t17941; t16838 = x*t17414; t17871 = t16838+t18168; t18092 = t17871+t18281+t18297; t17875 = t16838+t18178; t18091 = t17875+t18281+t18286; t17416 = t17710*t17945; t16845 = x*t17416; t17873 = t16845+t18169; t18090 = t17873+t18279+t18302; t17877 = t16845+t18179; t18089 = t17877+t18279+t18291; t17596 = t17699*t17768; t17359 = y*t17596; t16711 = x*t17359; t17874 = t16711+t18169; t18088 = t17874+t18271+t18302; t17878 = t16711+t18179; t18087 = t17878+t18271+t18291; t17598 = t17699*t17771; t17358 = z*t17598; t16704 = x*t17358; t17872 = t16704+t18168; t18086 = t17872+t18273+t18297; t17876 = t16704+t18178; t18085 = t17876+t18273+t18286; t18084 = t17871+t18278+t18301; t18083 = t17872+t18270+t18301; t18082 = t17873+t18277+t18298; t18081 = t17874+t18269+t18298; t18080 = t17875+t18278+t18290; t18079 = t17876+t18270+t18290; t18078 = t17877+t18277+t18287; t18077 = t17878+t18269+t18287; t18076 = t17687*t17889+t17698*t17888+t17705*t17934+t17716*t17935+t18147; t17953 = t17705*x; t18075 = t17687*t17895+t17698*t17933+t17709*t17901+t17722*t17931+y*t17953 +t17716*t17940; t18074 = t17687*t17888+t17698*t17889+t17705*t17936+t17716*t17937+t18147; t18073 = t17687*t17897+t17698*t17930+t17709*t17899+t17722*t17928+z*t17953 +t17716*t17944; t18072 = t17709*t17889+t17722*t17888+t17705*t17937+t17716*t17936+t18166; t18071 = t17709*t17888+t17722*t17889+t17705*t17935+t17716*t17934+t18166; t17951 = t17716*x; t18070 = t17687*t17928+t17698*t17899+t17709*t17930+t17722*t17897+t17705* t17944+z*t17951; t18069 = t17687*t17931+t17698*t17901+t17709*t17933+t17722*t17895+t17705* t17940+y*t17951; t17465 = t17719*t17935; t18068 = t17689*t17889+t17708*t17888+t17465+t17749*t17934+t18145; t17952 = t17708*x; t18067 = t17724*t17931+t18135+(t17369+t17952)*y; t17407 = t17708*t17937; t17948 = t17749*x; t18066 = t17730*t17931+t18135+(t17407+t17948)*y; t17462 = t17719*t17937; t18065 = t17689*t17888+t17708*t17889+t17462+t17749*t17936+t18145; t18064 = t17724*t17928+t18134+(t17371+t17952)*z; t17410 = t17708*t17935; t18063 = t17730*t17928+t18134+(t17410+t17948)*z; t17950 = t17719*x; t18062 = t17593*t17956+t18133+(t17428+t17950)*z; t17592 = t17689*t17770; t18061 = t17592*t17957+t18132+(t17426+t17950)*y; t17753 = RATIONAL(-1.0,6.0); t17556 = t17753*t17935; t17692 = RATIONAL(5.0,24.0); t17743 = RATIONAL(2.0,3.0); t17747 = RATIONAL(1.0,6.0); t18060 = t17692*t17889+t17747*t17888+t17743*t17934+t17556+t18144; t17532 = t17747*t17937; t17949 = t17743*x; t18059 = t17692*t17895+t17716*t17901+t17763*t17931+t17753*t17940+(t17532+ t17949)*y; t17554 = t17753*t17937; t18058 = t17692*t17888+t17747*t17889+t17743*t17936+t17554+t18144; t17534 = t17747*t17935; t18057 = t17692*t17897+t17716*t17899+t17763*t17928+t17753*t17944+(t17534+ t17949)*z; t18056 = t17719*t17889+t17724*t17888+t17407+t17755*t17936+t18164; t18055 = t17719*t17888+t17724*t17889+t17410+t17755*t17934+t18164; t17947 = t17755*x; t18054 = t17695*t17928+t18133+(t17465+t17947)*z; t18053 = t17695*t17931+t18132+(t17462+t17947)*y; t18052 = t18143+t18238; t18051 = t17699*t17886+t17717*t17900+t17667*t17912+t17715*t17942+t18142; t18050 = t18154+t18235; t17727 = RATIONAL(-5.0,24.0); t17758 = RATIONAL(-2.0,3.0); t18049 = t17727*t17889+t17753*t17888+t17534+t17758*t17934+t18155; t18048 = t17727*t17888+t17753*t17889+t17532+t17758*t17936+t18155; t17946 = t17758*x; t18047 = t17705*t17899+t17727*t17897+t17735*t17928+t17747*t17944+(t17556+ t17946)*z; t18046 = t17705*t17901+t17727*t17895+t17735*t17931+t17747*t17940+(t17554+ t17946)*y; t17404 = t17708*t17906; t17903 = t17712*t17887+t17688*t17911; t17857 = t17689*t17879+t17413+t17458+t17608+t17903; t18045 = t17404+t17600+t17857+t18141+t18158; t17406 = t17708*t17904; t17858 = t17689*t17880+t17415+t17460+t17610+t17903; t18044 = t17406+t17602+t17858+t18141+t18157; t18043 = t17749*t17906+t17596+t17857+t18140+t18149; t18042 = t17749*t17904+t17598+t17858+t18140+t18148; t18041 = t18245+t18248; t18040 = t18243+t18248; t18039 = t18245+t18247; t18038 = t18243+t18247; t18037 = t18246+t18259; t18036 = t18246+t18260; t18035 = t18244+t18259; t18034 = t18244+t18260; t18033 = t18240+t18242; t18032 = t18239+t18242; t18031 = t18240+t18241; t18030 = t18239+t18241; t18029 = t18131+t18289+t18294; t18028 = t18131+t18285+t18293; t18027 = t18130+t18294+t18300; t18026 = t18130+t18293+t18296; t18025 = t18127+t18289+t18305; t18024 = t18125+t18300+t18305; t18023 = t18255+t18257; t18022 = t18256+t18257; t18021 = t18255+t18258; t18020 = t18256+t18258; t18019 = t18127+t18285+t18304; t18018 = t18125+t18296+t18304; t18017 = t18129+t18274+t18292; t18016 = t18128+t18282+t18292; t18015 = t18129+t18272+t18288; t18014 = t18128+t18280+t18288; t18013 = t18124+t18274+t18303; t18012 = t18123+t18282+t18303; t18011 = t18124+t18272+t18299; t18010 = t18123+t18280+t18299; t18009 = t17698*t17890+t17709*t17883+t17656*t17941+t17676*t17916+t18122; t18008 = t17698*t17883+t17709*t17890+t17656*t17916+t17676*t17941+t18121; t18007 = t17698*t17893+t17709*t17882+t17656*t17945+t17676*t17917+t18120; t18006 = t17698*t17882+t17709*t17893+t17656*t17917+t17676*t17945+t18119; t18005 = t18236+t18251; t18004 = t18236+t18254; t18003 = t18226+t18251; t18002 = t18249+t18250; t18001 = t18249+t18253; t18000 = t18250+t18252; t17999 = z*t17406+t17712*t17883+t17677*t17916+t17688*t17941+t18118; t17998 = y*t17404+t17712*t17882+t17677*t17917+t17688*t17945+t18116; t17997 = t17701*t17882+t17719*t17893+t17657*t17917+t17723*t17945+t18107; t17996 = t17701*t17883+t17719*t17890+t17657*t17916+t17723*t17941+t18109; t17995 = t18232+t18233; t17994 = t18221+t18233; t17993 = t18222+t18232; t17992 = t18230+t18231; t17991 = t18219+t18231; t17990 = t18220+t18230; t17659 = RATIONAL(5.0,144.0); t17679 = RATIONAL(-5.0,144.0); t17989 = t17747*t17890+t17753*t17883+t17659*t17941+t17679*t17916+t18114; t17988 = t17747*t17883+t17753*t17890+t17659*t17916+t17679*t17941+t18113; t17987 = t17747*t17893+t17753*t17882+t17659*t17945+t17679*t17917+t18112; t17986 = t17747*t17882+t17753*t17893+t17659*t17917+t17679*t17945+t18111; t17985 = t18226+t18254; t17984 = t18252+t18253; t17983 = t17740*t17890+t17755*t17883+t17693*t17941+t17723*t17916+t18110; t17982 = t17740*t17893+t17755*t17882+t17693*t17945+t17723*t17917+t18108; t17981 = t18221+t18222; t17980 = t18219+t18220; t17576 = t17761*t17904; t17979 = t17749*t17883+z*t17576+t17688*t17916+t17728*t17941+t18106; t17574 = t17761*t17906; t17978 = t17749*t17882+y*t17574+t17688*t17917+t17728*t17945+t18105; t17977 = t17678*t17880+t17138+t17701*t17905+t17712*t17904+t17867+t18190+ t18322; t17976 = t17678*t17879+t17137+t17701*t17907+t17712*t17906+t18172+t18181+ t18190+t18323; t17847 = t17706*t17900+t17710*t17886+t17675*t17912+t17704*t17942+t18142+ t18163; t17975 = t17699*t17882+t17717*t17893+t17667*t17917+t17715*t17945+t17847+ t18154+t18276; t17974 = t17706*t17882+t17757*t17893+t17662*t17917+t17675*t17945+t17847+ t18143+t18268; t17633 = t17757*t17771; t17973 = t17730*t17880+t17742*t17908+t17540+t17576+t17733*t17773+t17633+ t17865+t18139; t17631 = t17757*t17768; t17972 = t17730*t17879+t17742*t17910+t17536+t17574+t17733*t17770+t17631+ t18137+t18150+t18139; t17971 = t17702*t17900+t17713*t17886+t17745*t17882+t17751*t17893+t17697* t17942+t17700*t17917+t17711*t17945+t17720*t17912+t18275; t17970 = t17666*t17890+t17674*t17883+t17664*t17941+t17672*t17916+t18096+ t18295; t17969 = t17702*t17890+t17713*t17883+t17660*t17941+t17668*t17916+t18096+ t18283; t17968 = t17666*t17883+t17674*t17890+t17664*t17916+t17672*t17941+t18095+ t18295; t17967 = t17702*t17883+t17713*t17890+t17660*t17916+t17668*t17941+t18095+ t18283; t17966 = t17702*t17893+t17713*t17882+t17660*t17945+t17668*t17917+t18094+ t18284; t17965 = t17702*t17882+t17713*t17893+t17660*t17917+t17668*t17945+t18093+ t18284; t17964 = t17706*t17893+t17710*t17882+t17675*t17917+t17704*t17945+t18051+ t18276; t17963 = t17717*t17882+t17742*t17893+t17667*t17945+t17670*t17917+t18051+ t18268; t17962 = t17702*t17886+t17713*t17900+t17745*t17893+t17751*t17882+t17697* t17912+t17700*t17945+t17711*t17917+t17720*t17942+t18143+t18275; t17961 = t18206+t18265*t17671+t18262*t17663+t18263*t17648+t18261*t17644; t17960 = t18206+t18262*t17671+t18265*t17663+t18261*t17648+t18263*t17644; t17959 = t17733*t17927+t17715*t17915+t17681*t17955+t18193+t17706*t17884+ t18265*t17757+t18261*t17696; t17958 = t17767*t17927+t17704*t17915+t17655*t17955+t17717*t17884+t18193+ t18265*t17742+t18261*t17721; t17594 = t17695*t17768; t17595 = t17695*t17771; t17926 = t17705*t17774; t17925 = t17716*t17774; t17612 = t17724*t17768; t17613 = t17724*t17771; t17923 = t17747*t17774; t17922 = t17749*t17774; t17921 = t17753*t17774; t17920 = t17755*t17774; t17529 = z*t17923; t17551 = z*t17921; t17388 = t17705*t17913; t17390 = t17705*t17909; t17443 = t17716*t17913; t17445 = t17716*t17909; t17528 = t17747*t17913; t17530 = t17747*t17909; t17541 = t17749*t17909; t17550 = t17753*t17913; t17552 = t17753*t17909; t17560 = t17755*t17909; t17864 = t17719*t17881+t17657*t17918+t17903; t17707 = RATIONAL(1.0,16.0); t17729 = RATIONAL(-5.0,16.0); t17748 = RATIONAL(1.0,4.0); t17863 = t17748+t17729*t17773+t17707*t17771; t17653 = RATIONAL(25.0,32.0); t17762 = RATIONAL(-5.0,8.0); t17862 = t17653*t17773+t17726*t17771+t17762; t17694 = RATIONAL(5.0,16.0); t17718 = RATIONAL(-1.0,16.0); t17754 = RATIONAL(-1.0,4.0); t17861 = t17718*t17771+t17694*t17773+t17754; t17860 = t17734*t17773+t17756+t17752*t17771; t17750 = RATIONAL(1.0,2.0); t17859 = t17746*t17771+t17762*t17773+t17750; t17856 = t17726*t17879+t17185+t17746*t17907+t17592+t18156; t17855 = t17734*t17879+t17730*t17910+t17756*t17907+t17765*t17770+t18138; t17850 = t18050+t18163; t17849 = t18143+t18163+t18229; t17846 = t17705*t17884+y*t17529+t17679*t17915+t17725*t17955+t17864; t17845 = t17716*t17884+y*t17551+t17659*t17915+t17690*t17955+t17864; t17640 = RATIONAL(25.0,192.0); t17714 = RATIONAL(-1.0,32.0); t17844 = t17714*t17880+t17640*t17908+t17752*t17906+t17612+t17856+t18165; t17843 = t17714*t17879+t17640*t17910+t17752*t17904+t17613+t18104+t18156+ t18165; t17683 = RATIONAL(-25.0,48.0); t17744 = RATIONAL(2.0,1.0); t17842 = t17750*t17879+t17683*t17910+t17744*t17904+t17595+t18103+t18136+ t18138; t17841 = t17750*t17880+t17683*t17908+t17744*t17906+t17594+t17855+t18136; t17651 = RATIONAL(25.0,96.0); t17840 = t17727+t17651*t17773+t17722*t17771+t17863*t17774; t17682 = RATIONAL(-25.0,96.0); t17839 = t17682*t17770+t17692+t17687*t17768+(t17754+t17718*t17768+t17694* t17770)*t17774; t17838 = t17682*t17773+t17687*t17771+t17692+t17861*t17774; t17837 = t17722*t17768+t17727+t17651*t17770+(t17748+t17707*t17768+t17729* t17770)*t17774; t17836 = t18102+t18265*t17712+t18262*t17701+t18263*t17677+t18261*t17657; t17835 = t18102+t18262*t17712+t18265*t17701+t18261*t17677+t18263*t17657; t17834 = y*t17550+t17846+t17659*t17939+t17690*t17943+z*t17445+t18117; t17833 = t17725*t17943+t17845+t17679*t17939+y*t17528+z*t17390+t18117; t17832 = y*t17443+t17846+t17690*t17939+z*t17552+t17659*t17943+t18115; t17831 = z*t17530+y*t17388+t17845+t17679*t17943+t17725*t17939+t18115; t17830 = t17708*t17884+t17723*t17915+z*t17560+t18101+t17731*t17955+t18267 *y+t18261*t17693; t17829 = t17719*t17884+z*t17541+t18101+t17686*t17955+t17688*t17915+t18266 *y+t18261*t17728; t17828 = t17606+t17750*t17774+t17607+t17653*t17881+t17719+t17856+t17274+ t18104+t18264*t17762; t17738 = RATIONAL(5.0,2.0); t17759 = RATIONAL(-2.0,1.0); t17827 = t17855+t18103+t17740+t17759*t17774+t17708*t17918+RATIONAL(-25.0, 8.0)*t17881+(t17768+t17771)*t17749+t18264*t17738; t17826 = t17976+t17582+t17687*t17883+t17722*t17890+z*t17926+t17443+t17589 +t18121+t18327; t17825 = t17722*t17883+z*t17925+t17388+t17588+t17583+t17976+t17687*t17890 +t18122+t18326; t17824 = t17584+t17445+t17977+t17722*t17893+t17687*t17882+t18119+(t17926+ t17674)*y+t18325; t17823 = t17722*t17882+t17390+t17687*t17893+t17977+t17590+t18120+(t17666+ t17925)*y+t18324; t17822 = t17599+t17719*t17909+t17416+t18042+t17730*t17893+t17689*t17882+ t17216+t18107+(t17922+t17717)*y; t17821 = t17433+t18044+t17375+t17622+t17727*t17893+t17692*t17882+t17552+ t18111+(t17751+t17923)*y; t17820 = t17692*t17893+t18044+t17376+t17432+t17629+t17530+t17727*t17882+ t18112+(t17921+t17745)*y; t17819 = t17724*t17882+t17359+t17605+t17708*t17909+t18042+t17262+t17695* t17893+t18116+(t17920+t17706)*y; t17818 = t18043+t17730*t17890+t17689*t17883+z*t17922+t17414+t17215+t17597 +t17719*t17913+t17609+t18109; t17817 = t17727*t17890+t18045+t17692*t17883+t17373+t17620+t17751*z+t17550 +t17431+t17529+t18113; t17816 = t17745*z+t17430+t18045+t17627+t17528+t17374+t17692*t17890+t17551 +t17727*t17883+t18114; t17815 = t17604+t18043+t17708*t17913+z*t17920+t17695*t17890+t17601+t17724 *t17883+t17261+t17358+t18118; t17814 = t17973+t17695*t17882+t17742*t17772+t17560+t18105+t17706*t17917+ t17765*t17893+(t17767+t17924+t17631)*y; t17813 = t17972+t17742*t17769+t17695*t17883+t17765*t17890+t17706*t17916+ t18106+(t17767+t17633)*z+t18267; t17812 = t17972+t17733*z+t17742*t17941+t17737*t17890+t17757*t17769+t17717 *t17916+t17730*t17883+t18110+t18266; t17811 = t17717*t17917+t17742*t17945+t17973+t17757*t17772+t17730*t17882+ t17541+t17737*t17893+t18108+(t17733+t17919)*y; t17810 = t18203+t17960+t18204; t17809 = t18203+t17961+t18205; t17808 = t17965+t18198+t18215; t17807 = t17966+t18198+t18212; t17806 = t17966+t18201+t18215; t17805 = t17970+t18210+t18214; t17804 = t17968+t18209+t18214; t17803 = t17968+t18210+t18217; t17802 = t17970+t18209+t18217; t17801 = t17965+t18201+t18212; t17800 = t17969+t18200+t18216; t17799 = t17969+t18199+t18213; t17798 = t17849+t17971+t18050+t18223+t18237; t17797 = t17967+t18200+t18213; t17796 = t17967+t18199+t18216; t17795 = t17963+t18052+t18163+t18207+t18218; t17794 = t17975+t18197+t18225+t18234; t17793 = t17964+t17850+t18197+t18224; t17792 = t18194+t17958+t18195; t17791 = t18192+t17959+t18194; t17790 = t18191+t17959+t18195; t17789 = t18202+t17960+t18205; t17788 = t17961+t18202+t18204; t17787 = t17963+t17849+t18208+t18228; t17786 = t17974+t18208+t18218+t18238; t17785 = t17975+t18196+t18224+t18235; t17784 = t17964+t17848+t18196+t18234; t17783 = t17974+t18207+t18228+t18229; t17782 = t17962+t18211+t18229+t18237; t17781 = t17962+t17850+t18223+t18227+t18238; t17780 = t17971+t18052+t18211+t18227; t17779 = t17958+t18191+t18192; t17764 = RATIONAL(-5.0,4.0); t17741 = RATIONAL(3.0,4.0); t17736 = RATIONAL(5.0,4.0); t17732 = RATIONAL(-15.0,4.0); t17685 = RATIONAL(25.0,8.0); t17684 = RATIONAL(-25.0,12.0); t17680 = RATIONAL(-15.0,16.0); t17652 = RATIONAL(25.0,48.0); coeffs_dxx->coeff_m2_m2_m2 = t18032+t17788+t18039; coeffs_dxx->coeff_m1_m2_m2 = t17805+t18021+t18036; coeffs_dxx->coeff_0_m2_m2 = t18006+t17836+t18008; coeffs_dxx->coeff_p1_m2_m2 = t18022+t17805+t18035; coeffs_dxx->coeff_p2_m2_m2 = t17788+t18031+t18040; coeffs_dxx->coeff_m2_m1_m2 = t17800+t18029+t18088; coeffs_dxx->coeff_m1_m1_m2 = t17785+t18012+t18080; coeffs_dxx->coeff_0_m1_m2 = t17833+t17989+t17998; coeffs_dxx->coeff_p1_m1_m2 = t17785+t18017+t18083; coeffs_dxx->coeff_p2_m1_m2 = t17800+t18024+t18089; coeffs_dxx->coeff_m2_0_m2 = t17826+t18070+t18099; coeffs_dxx->coeff_m1_0_m2 = t17816+t18064+t18072; coeffs_dxx->coeff_0_0_m2 = t17840*z+t17838*t17769+t17844; coeffs_dxx->coeff_p1_0_m2 = t17816+t18062+t18074; coeffs_dxx->coeff_p2_0_m2 = t17826+t18073+t18098; coeffs_dxx->coeff_m2_p1_m2 = t17799+t18027+t18090; coeffs_dxx->coeff_m1_p1_m2 = t17784+t18013+t18084; coeffs_dxx->coeff_0_p1_m2 = t17834+t17989+t17997; coeffs_dxx->coeff_p1_p1_m2 = t17784+t18016+t18079; coeffs_dxx->coeff_p2_p1_m2 = t17799+t18025+t18087; coeffs_dxx->coeff_m2_p2_m2 = t17810+t18031+t18039; coeffs_dxx->coeff_m1_p2_m2 = t17802+t18022+t18036; coeffs_dxx->coeff_0_p2_m2 = t18007+t17835+t18008; coeffs_dxx->coeff_p1_p2_m2 = t17802+t18021+t18035; coeffs_dxx->coeff_p2_p2_m2 = t18032+t17810+t18040; coeffs_dxx->coeff_m2_m2_m1 = t17806+t18028+t18086; coeffs_dxx->coeff_m1_m2_m1 = t17798+t18010+t18078; coeffs_dxx->coeff_0_m2_m1 = t17831+t17987+t17999; coeffs_dxx->coeff_p1_m2_m1 = t17798+t18015+t18081; coeffs_dxx->coeff_p2_m2_m1 = t17806+t18018+t18091; coeffs_dxx->coeff_m2_m1_m1 = t17783+t18001+t18003; coeffs_dxx->coeff_m1_m1_m1 = t17990+t17792+t17994; coeffs_dxx->coeff_0_m1_m1 = t17830+t17978+t17979; coeffs_dxx->coeff_p1_m1_m1 = t17792+t17991+t17993; coeffs_dxx->coeff_p2_m1_m1 = t17783+t18000+t18004; coeffs_dxx->coeff_m2_0_m1 = t17815+t18056+t18063; coeffs_dxx->coeff_m1_0_m1 = t17813+t18047+t18058; coeffs_dxx->coeff_0_0_m1 = t17841+(t17595+t17737+t17684*t17773+(t17759+ t17738*t17773+t17756*t17771)*t17774)*z+(t17613+t17730+t17652*t17773+t17859* t17774)*t17769; coeffs_dxx->coeff_p1_0_m1 = t17813+t18048+t18057; coeffs_dxx->coeff_p2_0_m1 = t17815+t18054+t18065; coeffs_dxx->coeff_m2_p1_m1 = t17787+t18000+t18003; coeffs_dxx->coeff_m1_p1_m1 = t17991+t17790+t17994; coeffs_dxx->coeff_0_p1_m1 = t17979+t17829+t17982; coeffs_dxx->coeff_p1_p1_m1 = t17990+t17790+t17993; coeffs_dxx->coeff_p2_p1_m1 = t17787+t18001+t18004; coeffs_dxx->coeff_m2_p2_m1 = t17801+t18026+t18085; coeffs_dxx->coeff_m1_p2_m1 = t17782+t18011+t18077; coeffs_dxx->coeff_0_p2_m1 = t17986+t17832+t17999; coeffs_dxx->coeff_p1_p2_m1 = t17782+t18014+t18082; coeffs_dxx->coeff_p2_p2_m1 = t17801+t18019+t18092; coeffs_dxx->coeff_m2_m2_0 = t17824+t18069+t18100; coeffs_dxx->coeff_m1_m2_0 = t17820+t18067+t18071; coeffs_dxx->coeff_0_m2_0 = t17843+t17837*y+t17839*t17772; coeffs_dxx->coeff_p1_m2_0 = t17820+t18061+t18076; coeffs_dxx->coeff_p2_m2_0 = t17824+t18075+t18097; coeffs_dxx->coeff_m2_m1_0 = t17819+t18055+t18066; coeffs_dxx->coeff_m1_m1_0 = t17814+t18046+t18060; coeffs_dxx->coeff_0_m1_0 = (t17652*t17770+t17730+t17612+(t17762*t17770+ t17750+t17746*t17768)*t17774)*t17772+t17842+(t17684*t17770+t17594+t17737+( t17759+t17738*t17770+t17756*t17768)*t17774)*y; coeffs_dxx->coeff_p1_m1_0 = t17814+t18049+t18059; coeffs_dxx->coeff_p2_m1_0 = t17819+t18053+t18068; coeffs_dxx->coeff_m2_0_0 = t17828+((t17691*t17771+RATIONAL(-25.0,32.0)* t17773+t17734)*t17770+(t17752+t17714*t17771+t17691*t17773)*t17768+t17860)*x; coeffs_dxx->coeff_m1_0_0 = t17827+(t17764*t17773+t17748*t17771+1.0+( t17729*t17771+RATIONAL(25.0,16.0)*t17773+t17764)*t17770+t17863*t17768)*x; coeffs_dxx->coeff_0_0_0 = t17685*t17773+t17766+t17762*t17771+(RATIONAL( -125.0,32.0)*t17773+t17653*t17771+t17685)*t17770+t17862*t17768+(t17741*t17771+ t17732*t17773+RATIONAL(3.0,1.0)+(t17680*t17771+RATIONAL(75.0,16.0)*t17773+ t17732)*t17770+(t17680*t17773+RATIONAL(3.0,16.0)*t17771+t17741)*t17768)*t17774; coeffs_dxx->coeff_p1_0_0 = t17827+(-1.0+t17736*t17773+t17754*t17771+( t17736+RATIONAL(-25.0,16.0)*t17773+t17694*t17771)*t17770+t17861*t17768)*x; coeffs_dxx->coeff_p2_0_0 = (t17862*t17770+(t17726*t17773+t17703*t17771+ t17746)*t17768+t17859)*x+t17828; coeffs_dxx->coeff_m2_p1_0 = t17822+t18053+t18055; coeffs_dxx->coeff_m1_p1_0 = t17811+t18059+t18060; coeffs_dxx->coeff_0_p1_0 = (t17765+t17730*t17768+t17654*t17770+(t17744+ t17766*t17770+t17750*t17768)*t17774)*y+(t17683*t17770+t17689*t17768+t17695+( t17752*t17768+t17756+t17734*t17770)*t17774)*t17772+t17842; coeffs_dxx->coeff_p1_p1_0 = t17811+t18046+t18049; coeffs_dxx->coeff_p2_p1_0 = t17822+t18066+t18068; coeffs_dxx->coeff_m2_p2_0 = t17823+t18075+t18100; coeffs_dxx->coeff_m1_p2_0 = t17821+t18061+t18071; coeffs_dxx->coeff_0_p2_0 = t17843+t17839*y+t17837*t17772; coeffs_dxx->coeff_p1_p2_0 = t17821+t18067+t18076; coeffs_dxx->coeff_p2_p2_0 = t17823+t18069+t18097; coeffs_dxx->coeff_m2_m2_p1 = t17807+t18026+t18092; coeffs_dxx->coeff_m1_m2_p1 = t17780+t18011+t18082; coeffs_dxx->coeff_0_m2_p1 = t17832+t17987+t17996; coeffs_dxx->coeff_p1_m2_p1 = t17780+t18014+t18077; coeffs_dxx->coeff_p2_m2_p1 = t17807+t18019+t18085; coeffs_dxx->coeff_m2_m1_p1 = t17985+t17786+t18002; coeffs_dxx->coeff_m1_m1_p1 = t17791+t17980+t17995; coeffs_dxx->coeff_0_m1_p1 = t17978+t17829+t17983; coeffs_dxx->coeff_p1_m1_p1 = t17981+t17791+t17992; coeffs_dxx->coeff_p2_m1_p1 = t17984+t17786+t18005; coeffs_dxx->coeff_m2_0_p1 = t17818+t18054+t18056; coeffs_dxx->coeff_m1_0_p1 = t17812+t18057+t18058; coeffs_dxx->coeff_0_0_p1 = (t17683*t17773+t17695+t17689*t17771+t17860* t17774)*t17769+t17841+(t17654*t17773+t17730*t17771+t17765+(t17744+t17750*t17771 +t17766*t17773)*t17774)*z; coeffs_dxx->coeff_p1_0_p1 = t17812+t18047+t18048; coeffs_dxx->coeff_p2_0_p1 = t17818+t18063+t18065; coeffs_dxx->coeff_m2_p1_p1 = t17984+t17795+t17985; coeffs_dxx->coeff_m1_p1_p1 = t17779+t17992+t17995; coeffs_dxx->coeff_0_p1_p1 = t17982+t17830+t17983; coeffs_dxx->coeff_p1_p1_p1 = t17779+t17980+t17981; coeffs_dxx->coeff_p2_p1_p1 = t18002+t17795+t18005; coeffs_dxx->coeff_m2_p2_p1 = t17808+t18028+t18091; coeffs_dxx->coeff_m1_p2_p1 = t17781+t18010+t18081; coeffs_dxx->coeff_0_p2_p1 = t17986+t17831+t17996; coeffs_dxx->coeff_p1_p2_p1 = t17781+t18015+t18078; coeffs_dxx->coeff_p2_p2_p1 = t17808+t18018+t18086; coeffs_dxx->coeff_m2_m2_p2 = t18033+t17789+t18038; coeffs_dxx->coeff_m1_m2_p2 = t17804+t18020+t18037; coeffs_dxx->coeff_0_m2_p2 = t18006+t17835+t18009; coeffs_dxx->coeff_p1_m2_p2 = t17804+t18023+t18034; coeffs_dxx->coeff_p2_m2_p2 = t17789+t18030+t18041; coeffs_dxx->coeff_m2_m1_p2 = t17797+t18027+t18087; coeffs_dxx->coeff_m1_m1_p2 = t17794+t18013+t18079; coeffs_dxx->coeff_0_m1_p2 = t17988+t17834+t17998; coeffs_dxx->coeff_p1_m1_p2 = t17794+t18016+t18084; coeffs_dxx->coeff_p2_m1_p2 = t17797+t18025+t18090; coeffs_dxx->coeff_m2_0_p2 = t17825+t18073+t18099; coeffs_dxx->coeff_m1_0_p2 = t17817+t18062+t18072; coeffs_dxx->coeff_0_0_p2 = t17840*t17769+t17838*z+t17844; coeffs_dxx->coeff_p1_0_p2 = t17817+t18064+t18074; coeffs_dxx->coeff_p2_0_p2 = t17825+t18070+t18098; coeffs_dxx->coeff_m2_p1_p2 = t17796+t18029+t18089; coeffs_dxx->coeff_m1_p1_p2 = t17793+t18012+t18083; coeffs_dxx->coeff_0_p1_p2 = t17988+t17833+t17997; coeffs_dxx->coeff_p1_p1_p2 = t17793+t18017+t18080; coeffs_dxx->coeff_p2_p1_p2 = t17796+t18024+t18088; coeffs_dxx->coeff_m2_p2_p2 = t17809+t18030+t18038; coeffs_dxx->coeff_m1_p2_p2 = t17803+t18023+t18037; coeffs_dxx->coeff_0_p2_p2 = t18007+t17836+t18009; coeffs_dxx->coeff_p1_p2_p2 = t17803+t18020+t18034; coeffs_dxx->coeff_p2_p2_p2 = t18033+t17809+t18041;