fp t17016; fp t17015; fp t17141; fp t17145; fp t18084; fp t18083; fp t17139; fp t17146; fp t17551; fp t17605; fp t18082; fp t17579; fp t17568; fp t18081; fp t17140; fp t17144; fp t17582; fp t17295; fp t17457; fp t17266; fp t18080; fp t17080; fp t17493; fp t17529; fp t17111; fp t17278; fp t18079; fp t17062; fp t17631; fp t17143; fp t17580; fp t17061; fp t17270; fp t18078; fp t17550; fp t17413; fp t17142; fp t17524; fp t17320; fp t18033; fp t17020; fp t17013; fp t18077; fp t17014; fp t17548; fp t17483; fp t17017; fp t17635; fp t17448; fp t18076; fp t17464; fp t17627; fp t17540; fp t17478; fp t18075; fp t17617; fp t17646; fp t17482; fp t18074; fp t17648; fp t18073; fp t18072; fp t18071; fp t17117; fp t17009; fp t17071; fp t17531; fp t18013; fp t17645; fp t17053; fp t16949; fp t17060; fp t18070; fp t17492; fp t17447; fp t16503; fp t18069; fp t17133; fp t17125; fp t17497; fp t18068; fp t17059; fp t17474; fp t17538; fp t18067; fp t17284; fp t17505; fp t17351; fp t18066; fp t17055; fp t17088; fp t17444; fp t18065; fp t17070; fp t17636; fp t17087; fp t17527; fp t18064; fp t18063; fp t17084; fp t17067; fp t17473; fp t18062; fp t17072; fp t17589; fp t16709; fp t17104; fp t17556; fp t16714; fp t18061; fp t16493; fp t18060; fp t16960; fp t16610; fp t18059; fp t17127; fp t17138; fp t18058; fp t17028; fp t17534; fp t16646; fp t17029; fp t17504; fp t18057; fp t16993; fp t17073; fp t17459; fp t18056; fp t17103; fp t16991; fp t17118; fp t18055; fp t17519; fp t16804; fp t18054; fp t17075; fp t16832; fp t17039; fp t17541; fp t16639; fp t18053; fp t16970; fp t17095; fp t17535; fp t18052; fp t17123; fp t17566; fp t18051; fp t17077; fp t17570; fp t17465; fp t17302; fp t18050; fp t17100; fp t17136; fp t17552; fp t18049; fp t16963; fp t17064; fp t18048; fp t18047; fp t17637; fp t18046; fp t17615; fp t17078; fp t17555; fp t18045; fp t17099; fp t17567; fp t17091; fp t16739; fp t18044; fp t18043; fp t16488; fp t18042; fp t16996; fp t17079; fp t17495; fp t17998; fp t17051; fp t17453; fp t17049; fp t17307; fp t18041; fp t17449; fp t17076; fp t17629; fp t18040; fp t17409; fp t17626; fp t17613; fp t18039; fp t16987; fp t17092; fp t17487; fp t18038; fp t17559; fp t17600; fp t18037; fp t18036; fp t17137; fp t18035; fp t17030; fp t17553; fp t17063; fp t17494; fp t16589; fp t18034; fp t17641; fp t18032; fp t17581; fp t18031; fp t18030; fp t17643; fp t17561; fp t18029; fp t17041; fp t17360; fp t18028; fp t17446; fp t16582; fp t18027; fp t16509; fp t18026; fp t17573; fp t16938; fp t18025; fp t16981; fp t16831; fp t18024; fp t17466; fp t17633; fp t18023; fp t17458; fp t18022; fp t17558; fp t17539; fp t18021; fp t17442; fp t16738; fp t17031; fp t17622; fp t17379; fp t18020; fp t17472; fp t17578; fp t18019; fp t16735; fp t17101; fp t17445; fp t17089; fp t17343; fp t18018; fp t17024; fp t16479; fp t18017; fp t17549; fp t18016; fp t17058; fp t16560; fp t17590; fp t18015; fp t17057; fp t16598; fp t18014; fp t18012; fp t16636; fp t17475; fp t17418; fp t18011; fp t17364; fp t16608; fp t18010; fp t17043; fp t17575; fp t16633; fp t17507; fp t17408; fp t18009; fp t17271; fp t17027; fp t17634; fp t16526; fp t18008; fp t17517; fp t17263; fp t17056; fp t17523; fp t16627; fp t17083; fp t17533; fp t16836; fp t17490; fp t17314; fp t17604; fp t18007; fp t16623; fp t17592; fp t17318; fp t18006; fp t16597; fp t17638; fp t17422; fp t18005; fp t16571; fp t17419; fp t18004; fp t16532; fp t18003; fp t17516; fp t18002; fp t16570; fp t18001; fp t17632; fp t16824; fp t18000; fp t17999; fp t17131; fp t17134; fp t17997; fp t16628; fp t17476; fp t17427; fp t17996; fp t17995; fp t17616; fp t16613; fp t17994; fp t17485; fp t17993; fp t16957; fp t16523; fp t17992; fp t17102; fp t17116; fp t17991; fp t17397; fp t17038; fp t16632; fp t17990; fp t16951; fp t17376; fp t17500; fp t17989; fp t17583; fp t16642; fp t17988; fp t17609; fp t16826; fp t17628; fp t16777; fp t17987; fp t17644; fp t16759; fp t17331; fp t17986; fp t16790; fp t17611; fp t17366; fp t17985; fp t17515; fp t17456; fp t17984; fp t17546; fp t17279; fp t17983; fp t16818; fp t17652; fp t17496; fp t17982; fp t17440; fp t17981; fp t17324; fp t17489; fp t17980; fp t17509; fp t16573; fp t17557; fp t16563; fp t17290; fp t17394; fp t17979; fp t17455; fp t17375; fp t17978; fp t16586; fp t17436; fp t16593; fp t17521; fp t17258; fp t17977; fp t17976; fp t17569; fp t16554; fp t17940; fp t16674; fp t17435; fp t17649; fp t16756; fp t17939; fp t17536; fp t16574; fp t17935; fp t17853; fp t17975; fp t17451; fp t16781; fp t17514; fp t17283; fp t17974; fp t16556; fp t17378; fp t16858; fp t17296; fp t17866; fp t17498; fp t17431; fp t17973; fp t17393; fp t17330; fp t17565; fp t16780; fp t16948; fp t17342; fp t17869; fp t16620; fp t17972; fp t17461; fp t16798; fp t17587; fp t16631; fp t17310; fp t17861; fp t16629; fp t17411; fp t17971; fp t17513; fp t17970; fp t17404; fp t17506; fp t16649; fp t17289; fp t17264; fp t17335; fp t17854; fp t17969; fp t17968; fp t16652; fp t17522; fp t16625; fp t17434; fp t17879; fp t17967; fp t16640; fp t17433; fp t17334; fp t17370; fp t17851; fp t17966; fp t16525; fp t17326; fp t17406; fp t16577; fp t17926; fp t16775; fp t16551; fp t17943; fp t17868; fp t16592; fp t17374; fp t17880; fp t17221; fp t17965; fp t17357; fp t17349; fp t17428; fp t17964; fp t17012; fp t17963; fp t17396; fp t17510; fp t17341; fp t17322; fp t17962; fp t17361; fp t16603; fp t17333; fp t17961; fp t17960; fp t17654; fp t17959; fp t17260; fp t16557; fp t17958; fp t17614; fp t17957; fp t17308; fp t17439; fp t17956; fp t17955; fp t17025; fp t17316; fp t17365; fp t17021; fp t17317; fp t17954; fp t17953; fp t17348; fp t17952; fp t17484; fp t17344; fp t17951; fp t17950; fp t17259; fp t17110; fp t17403; fp t17949; fp t16638; fp t17948; fp t17438; fp t17947; fp t17410; fp t17945; fp t17105; fp t17625; fp t17395; fp t17944; fp t17023; fp t17450; fp t16470; fp t17265; fp t17942; fp t17416; fp t17941; fp t17938; fp t17093; fp t17128; fp t17937; fp t17285; fp t16527; fp t17936; fp t16504; fp t17363; fp t17934; fp t17022; fp t17544; fp t16477; fp t17933; fp t16495; fp t17932; fp t16672; fp t17108; fp t17362; fp t17931; fp t17086; fp t17930; fp t17400; fp t17297; fp t17019; fp t17929; fp t17032; fp t16968; fp t17303; fp t17928; fp t16481; fp t17927; fp t17112; fp t17261; fp t17925; fp t16669; fp t17924; fp t17327; fp t17381; fp t17923; fp t16579; fp t16562; fp t17922; fp t17035; fp t17921; fp t16478; fp t17920; fp t16966; fp t16727; fp t16529; fp t17919; fp t17354; fp t17918; fp t17269; fp t17917; fp t16622; fp t17352; fp t17916; fp t16538; fp t17915; fp t17914; fp t16671; fp t17603; fp t17424; fp t17913; fp t17486; fp t17346; fp t17912; fp t16616; fp t16602; fp t17911; fp t16659; fp t17910; fp t16635; fp t17909; fp t17273; fp t17908; fp t17305; fp t16605; fp t17907; fp t17618; fp t17373; fp t17906; fp t17607; fp t17905; fp t17325; fp t17904; fp t16803; fp t17903; fp t16575; fp t17328; fp t17902; fp t17106; fp t17124; fp t17114; fp t17901; fp t17003; fp t17268; fp t17900; fp t17899; fp t16641; fp t17898; fp t17642; fp t17405; fp t17897; fp t17047; fp t17470; fp t16715; fp t16711; fp t17651; fp t17098; fp t17399; fp t17896; fp t17895; fp t17414; fp t16764; fp t17894; fp t17332; fp t17044; fp t17893; fp t17337; fp t17892; fp t17503; fp t17891; fp t17890; fp t17889; fp t17291; fp t17888; fp t16568; fp t17887; fp t16600; fp t17377; fp t17886; fp t17520; fp t17885; fp t16752; fp t17653; fp t17884; fp t16626; fp t17883; fp t17882; fp t16606; fp t17429; fp t17881; fp t17562; fp t17359; fp t17878; fp t16591; fp t17560; fp t16774; fp t17877; fp t17275; fp t17368; fp t17876; fp t16787; fp t16772; fp t16619; fp t16545; fp t17875; fp t17045; fp t16521; fp t17052; fp t17306; fp t17874; fp t16653; fp t17873; fp t17281; fp t17872; fp t16624; fp t17586; fp t17437; fp t17871; fp t17870; fp t17867; fp t16588; fp t16730; fp t17571; fp t16673; fp t17380; fp t17865; fp t17864; fp t17863; fp t16612; fp t16681; fp t17372; fp t17319; fp t17862; fp t17286; fp t17860; fp t17859; fp t17858; fp t17857; fp t16852; fp t17301; fp t17856; fp t17855; fp t17852; fp t17452; fp t17491; fp t17850; fp t17598; fp t17525; fp t17545; fp t17256; fp t17849; fp t17630; fp t17608; fp t17383; fp t17848; fp t17048; fp t17046; fp t17847; fp t17846; fp t17845; fp t17844; fp t16867; fp t17255; fp t17528; fp t16851; fp t17585; fp t17421; fp t17843; fp t16685; fp t17511; fp t17292; fp t17537; fp t16533; fp t17288; fp t17842; fp t17841; fp t17840; fp t17839; fp t17107; fp t16944; fp t17109; fp t17838; fp t17130; fp t17462; fp t17097; fp t17358; fp t17837; fp t17836; fp t16768; fp t17576; fp t17835; fp t17834; fp t17833; fp t16736; fp t16783; fp t17832; fp t16766; fp t16833; fp t17831; fp t17312; fp t17830; fp t17298; fp t17336; fp t16677; fp t17829; fp t17828; fp t16518; fp t17246; fp t17827; fp t17826; fp t17825; fp t17824; fp t16607; fp t17355; fp t17823; fp t17822; fp t16975; fp t16684; fp t17821; fp t17820; fp t16965; fp t16779; fp t17819; fp t17818; fp t17817; fp t17386; fp t17816; fp t17621; fp t16753; fp t16704; fp t17276; fp t17232; fp t17815; fp t17814; fp t16630; 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 t17299; fp t17798; fp t17367; fp t17797; fp t17796; fp t17795; fp t15875; fp t17794; fp t17793; fp t16969; fp t16865; fp t16679; fp t17480; fp t17792; fp t16973; fp t17282; fp t17391; fp t17398; fp t17791; fp t17790; fp t17789; fp t17085; fp t17042; fp t17407; fp t17788; fp t16840; fp t17423; fp t17415; fp t17787; fp t17392; fp t17786; fp t17606; fp t17612; fp t17026; fp t17785; fp t16802; fp t17294; fp t17784; fp t17783; fp t17441; fp t17426; fp t17782; fp t17781; fp t17338; fp t17350; fp t17780; fp t17471; fp t17779; fp t16656; fp t17778; fp t17777; fp t17776; fp t17775; fp t17774; fp t17463; fp t17300; fp t17387; fp t17773; fp t17772; fp t17432; fp t17771; fp t17304; fp t17547; fp t17477; fp t17770; fp t16918; fp t17769; fp t17768; fp t15940; fp t17767; fp t16534; fp t17766; fp t17382; fp t17430; fp t17765; fp t17764; fp t17267; fp t17763; fp t17762; fp t17761; fp t17760; fp t17759; fp t17758; fp t16916; fp t16767; fp t17369; fp t17757; fp t17756; fp t17755; fp t16751; fp t17754; fp t16702; fp t17753; fp t17311; fp t17752; fp t17751; fp t17750; fp t17610; fp t17749; fp t17748; fp t17747; fp t17746; fp t17745; fp t16892; fp t16797; fp t17402; fp t17744; fp t17743; fp t17742; fp t17741; fp t17740; fp t17739; fp t17738; fp t17737; fp t17736; fp t17735; fp t17384; fp t17011; fp t16937; fp t17734; fp t17733; fp t17732; fp t17731; fp t17730; fp t17729; fp t17728; fp t17727; fp t17726; fp t15971; fp t17725; fp t17624; fp t16943; fp t17126; fp t17724; fp t16813; fp t17723; fp t17722; fp t17347; fp t17420; fp t17721; fp t16838; fp t16854; fp t17720; fp t17719; fp t17718; fp t16864; fp t17717; fp t17716; fp t17715; fp t17481; fp t17714; fp t17713; fp t16897; fp t16924; fp t16994; fp t16917; fp t17712; fp t17711; fp t17639; fp t17293; fp t17710; fp t17709; fp t16873; fp t17650; fp t17620; fp t17708; fp t17096; fp t17468; fp t17329; fp t17707; fp t16718; fp t16884; fp t17313; fp t17706; fp t17543; fp t17467; fp t17339; fp t17705; fp t17704; fp t17508; fp t17703; fp t16988; fp t17443; fp t17702; fp t17701; fp t17640; fp t17700; fp t17574; fp t17699; fp t17698; fp t17647; fp t17697; fp t16845; fp t16932; fp t17696; fp t17695; fp t17694; fp t16724; fp t17577; fp t17693; fp t17601; fp t16848; fp t17692; fp t17412; fp t17599; fp t17691; fp t16786; fp t17499; fp t16719; fp t17690; fp t17588; fp t17689; fp t17688; fp t17687; fp t17686; fp t17623; fp t17685; fp t17684; fp t16771; fp t17683; fp t17682; fp t17681; fp t17680; fp t17679; fp t16853; fp t17678; fp t17677; fp t17676; fp t17675; fp t17674; fp t17673; fp t17593; fp t17672; fp t17671; fp t17670; fp t17460; fp t17669; fp t17596; fp t17668; fp t17667; fp t17666; fp t17665; fp t17664; fp t17356; fp t17321; fp t17663; fp t17662; fp t17661; fp t17660; fp t17659; fp t17658; fp t17657; fp t17656; fp t17655; fp t16956; fp t17619; fp t15847; fp t15741; fp t17597; fp t17595; fp t17584; fp t17563; fp t17554; fp t15685; fp t15966; fp t17532; fp t17530; fp t15849; fp t17518; fp t17488; fp t17479; fp t17469; fp t17454; fp t17425; fp t16868; fp t16877; fp t17390; fp t17388; fp t16808; fp t16822; fp t17340; fp t17323; fp t17309; fp t17274; fp t17262; fp t17257; fp t17254; fp t17253; fp t17252; fp t17250; fp t17248; fp t17245; fp t17244; fp t17243; fp t17242; fp t17135; fp t17241; fp t17240; fp t17074; fp t17034; fp t17119; fp t17239; fp t17238; fp t17237; fp t17236; fp t17065; fp t17066; fp t17121; fp t17235; fp t17233; fp t17231; fp t17230; fp t17229; fp t17228; fp t17227; fp t17226; fp t17225; fp t17224; fp t17223; fp t17222; fp t17219; fp t17218; fp t17018; fp t17217; fp t17036; fp t17216; fp t17215; fp t17214; fp t17040; fp t17213; fp t17054; fp t17212; fp t17211; fp t17210; fp t17209; fp t17208; fp t17207; fp t17206; fp t17205; fp t17204; fp t17203; fp t17202; fp t17050; fp t17201; fp t17200; fp t17199; fp t17198; fp t17197; fp t17196; fp t17195; fp t17194; fp t17193; fp t17192; fp t17191; fp t17190; fp t17189; fp t17188; fp t17187; fp t17186; fp t17185; fp t17184; fp t17183; fp t17182; fp t17181; fp t17180; fp t17179; fp t17178; fp t17177; fp t17176; fp t17175; fp t17174; fp t17173; fp t17172; fp t17171; fp t17170; fp t17169; fp t17168; fp t17167; fp t17166; fp t17165; fp t17164; fp t17163; fp t17162; fp t17161; fp t17160; fp t17159; fp t17158; fp t17157; fp t17156; fp t17155; fp t17154; fp t17153; fp t17152; fp t17132; fp t17122; fp t17120; fp t17115; fp t17113; fp t17094; fp t17090; fp t17082; fp t17081; fp t17069; fp t17068; fp t17037; fp t17033; t17016 = RATIONAL(-1.0,3456.0); t17015 = RATIONAL(1.0,3456.0); t17141 = y*y; t17145 = t17141*t17141; t18084 = t17016*t17141+t17015*t17145; t18083 = t17015*t17141+t17016*t17145; t17139 = x*x; t17146 = t17139*t17139; t17551 = t17146*t17141; t17605 = t17145*t17139; t18082 = t17551+t17605; t17579 = t17146*t17145; t17568 = t17141*t17139; t18081 = t17579+t17568; t17140 = z*z; t17144 = z*t17140; t17582 = t17144*t17139; t17295 = t17145*t17582; t17457 = t17146*t17144; t17266 = t17141*t17457; t18080 = t17295+t17266; t17080 = RATIONAL(-1.0,54.0); t17493 = t17146*t17080; t17529 = t17140*t17146; t17111 = RATIONAL(1.0,72.0); t17278 = t17111*t17529; t18079 = t17493+t17278; t17062 = RATIONAL(1.0,576.0); t17631 = y*t17140; t17143 = t17141*y; t17580 = t17140*t17143; t17061 = RATIONAL(-1.0,576.0); t17270 = t17061*t17580; t18078 = t17270+t17062*t17631; t17550 = t17140*t17145; t17413 = x*t17550; t17142 = x*t17139; t17524 = t17142*t17141; t17320 = t17140*t17524; t18033 = t17320+t17413; t17020 = RATIONAL(-1.0,6912.0); t17013 = RATIONAL(1.0,6912.0); t18077 = t18082*t17013+t18081*t17020; t17014 = RATIONAL(1.0,1728.0); t17548 = t17142*t17014; t17483 = t17143*t17014; t17017 = RATIONAL(-1.0,1728.0); t17635 = y*t17017; t17448 = t17017*t17143; t18076 = t17142*t17448+y*t17548+(t17635+t17483)*x; t17464 = t17016*t17139; t17627 = y*t17146; t17540 = t17146*t17016; t17478 = t17015*t17143; t18075 = t17015*t17627+t17143*t17540+t17139*t17478+y*t17464; t17617 = y*t17142; t17646 = y*t17014; t17482 = t17142*t17143; t18074 = t17014*t17482+t17017*t17617+(t17646+t17448)*x; t17648 = y*t17139; t18073 = t17146*t17478+t17015*t17648+t17143*t17464+y*t17540; t18072 = t18083*t17142+t18084*x; t18071 = t18084*t17142+t18083*x; t17117 = RATIONAL(-1.0,9.0); t17009 = t17117*t17145; t17071 = RATIONAL(1.0,12.0); t17531 = t17140*t17071; t18013 = t17009+t17145*t17531; t17645 = z*t17146; t17053 = RATIONAL(1.0,288.0); t16949 = t17053*t17139; t17060 = RATIONAL(5.0,576.0); t18070 = t17144*t16949+t17060*t17645; t17492 = t17141*t17014; t17447 = t17017*t17145; t16503 = t17142*t17447; t18069 = t17142*t17492+t16503; t17133 = RATIONAL(-4.0,9.0); t17125 = RATIONAL(1.0,3.0); t17497 = t17140*t17125; t18068 = t17133+t17497; t17059 = RATIONAL(-5.0,576.0); t17474 = t17059*t17139; t17538 = t17143*t17139; t18067 = y*t17474+t17060*t17538; t17284 = t17141*t17529; t17505 = t17140*t17139; t17351 = t17145*t17505; t18066 = t17284+t17351; t17055 = RATIONAL(-1.0,288.0); t17088 = RATIONAL(1.0,96.0); t17444 = t17140*t17088; t18065 = t17444+t17055; t17070 = RATIONAL(-8.0,27.0); t17636 = x*t17070; t17087 = RATIONAL(2.0,27.0); t17527 = t17087*t17144; t18064 = t17142*t17527+t17144*t17636; t18063 = t17071*t17529+t17117*t17146; t17084 = RATIONAL(-2.0,27.0); t17067 = RATIONAL(1.0,54.0); t17473 = t17067*t17145; t18062 = t17084*t17524+t17142*t17473; t17072 = RATIONAL(-1.0,18.0); t17589 = t17072*t17144; t16709 = t17143*t17589; t17104 = RATIONAL(1.0,18.0); t17556 = t17144*t17104; t16714 = y*t17556; t18061 = t16714+t16709; t16493 = t17145*t17548; t18060 = t16493+t17017*t17524; t16960 = t17053*t17145; t16610 = t17142*t16960; t18059 = t16610+t17111*t17142; t17127 = RATIONAL(-1.0,3.0); t17138 = RATIONAL(4.0,9.0); t18058 = t17138+t17140*t17127; t17028 = RATIONAL(1.0,432.0); t17534 = t17028*t17139; t16646 = y*t17534; t17029 = RATIONAL(-1.0,432.0); t17504 = t17146*t17029; t18057 = t16646+y*t17504; t16993 = t17117*t17143; t17073 = RATIONAL(-1.0,36.0); t17459 = t17073*t17143; t18056 = t16993+t17146*t17459; t17103 = RATIONAL(1.0,36.0); t16991 = t17103*t17146; t17118 = RATIONAL(1.0,9.0); t18055 = (t17118+t16991)*t17143; t17519 = t17080*t17145; t16804 = t17142*t17519; t18054 = t16804+t17087*t17524; t17075 = RATIONAL(1.0,27.0); t16832 = t17075*t17648; t17039 = RATIONAL(-1.0,108.0); t17541 = t17146*t17039; t16639 = y*t17541; t18053 = t16639+t16832; t16970 = t17103*t17145; t17095 = RATIONAL(-1.0,48.0); t17535 = t17140*t17095; t18052 = t16970+t17145*t17535; t17123 = RATIONAL(-2.0,9.0); t17566 = t17140*t17141; t18051 = t17084*t17145+t17123*t17566; t17077 = RATIONAL(-1.0,27.0); t17570 = t17077*t17143; t17465 = t17067*t17144; t17302 = t17143*t17465; t18050 = t17302+z*t17570; t17100 = RATIONAL(-5.0,12.0); t17136 = RATIONAL(5.0,9.0); t17552 = t17141*t17136; t18049 = t17552+t17100*t17566; t16963 = t17055*t17145; t17064 = RATIONAL(-1.0,72.0); t18048 = (t16963+t17064)*t17142; t18047 = t17087*t17538+t17143*t17493; t17637 = x*t17141; t18046 = t17059*t17524+t17060*t17637; t17615 = y*t17084; t17078 = RATIONAL(8.0,27.0); t17555 = t17078*t17139; t18045 = t17146*t17615+y*t17555; t17099 = RATIONAL(-1.0,24.0); t17567 = t17140*t17099; t17091 = RATIONAL(-1.0,96.0); t16739 = t17091*t17529; t18044 = t16739+t17567; t18043 = t17059*t17637+t17060*t17524; t16488 = t17146*t17448; t18042 = t17139*t17483+t16488; t16996 = t17118*t17145; t17079 = RATIONAL(-1.0,12.0); t17495 = t17140*t17079; t17998 = t17145*t17495+t16996; t17051 = RATIONAL(1.0,192.0); t17453 = t17140*t17051; t17049 = RATIONAL(-5.0,192.0); t17307 = t17049*t17505; t18041 = t17307+t17146*t17453; t17449 = t17084*t17144; t17076 = RATIONAL(4.0,27.0); t17629 = z*t17143; t18040 = t17076*t17629+t17143*t17449; t17409 = z*t17524; t17626 = z*t17145; t17613 = x*t17626; t18039 = t17613+t17409; t16987 = t17073*t17145; t17092 = RATIONAL(1.0,48.0); t17487 = t17092*t17145; t18038 = t17140*t17487+t16987; t17559 = t17142*t17144; t17600 = t17133*t17144; t18037 = x*t17600+t17118*t17559; t18036 = t17060*t17648+t17143*t17474; t17137 = RATIONAL(2.0,9.0); t18035 = t17137*t17566+t17087*t17145; t17030 = RATIONAL(1.0,864.0); t17553 = t17030*t17145; t17063 = RATIONAL(-1.0,864.0); t17494 = t17142*t17063; t16589 = t17145*t17494; t18034 = t16589+x*t17553; t17641 = x*t17145; t18032 = t17029*t17637+t17028*t17641; t17581 = t17146*t17067; t18031 = t17084*t17538+t17143*t17581; t18030 = (t17495+t17118)*t17146; t17643 = z*t17072; t17561 = t17118*t17144; t18029 = t17643+t17561; t17041 = RATIONAL(-1.0,192.0); t17360 = t17041*t17529; t18028 = t17535+t17360; t17446 = t17141*t17028; t16582 = x*t17446; t18027 = t16582+t17029*t17641; t16509 = t17146*t17483; t18026 = t17139*t17448+t16509; t17573 = t17138*t17144; t16938 = t17144*t16993; t18025 = t16938+y*t17573; t16981 = t17064*t17145; t16831 = t17139*t16981; t18024 = t16831+t17072*t17139; t17466 = t17142*t17030; t17633 = x*t17063; t18023 = (t17466+t17633)*t17145; t17458 = t17063*t17143; t18022 = t17030*t17627+t17146*t17458; t17558 = t17029*t17139; t17539 = t17146*t17028; t18021 = (t17539+t17558)*y; t17442 = t17111*t17144; t16738 = t17142*t17442; t17031 = RATIONAL(-5.0,144.0); t17622 = z*t17031; t17379 = t17142*t17622; t18020 = t16738+t17379; t17472 = t17146*t17063; t17578 = t17030*t17143; t18019 = t17146*t17578+y*t17472; t16735 = t17146*t17444; t17101 = RATIONAL(1.0,24.0); t17445 = t17140*t17101; t17089 = RATIONAL(-5.0,96.0); t17343 = t17089*t17505; t18018 = t16735+t17343+t17445; t17024 = RATIONAL(1.0,1152.0); t16479 = t17024*t17605; t18017 = t16949+t16479+t17055*t17146; t17549 = t17146*t17024; t18016 = t16963+(t17549+t17053)*t17141; t17058 = RATIONAL(-1.0,144.0); t16560 = t17062*t17641; t17590 = t17142*t17145; t18015 = t17058*t17142+t17061*t17590+t16560; t17057 = RATIONAL(1.0,144.0); t16598 = t17061*t17641; t18014 = t17058*x+t16598+t17062*t17590+t17057*t17142; t18012 = t17072*t17141+t17064*t17551; t16636 = t17039*t17617; t17475 = t17140*t17103; t17418 = x*t17475; t18011 = t16636+t17143*t17418; t17364 = t17144*t17568; t16608 = t17145*t17504; t18010 = z*t16608+t17087*t17364; t17043 = RATIONAL(-1.0,216.0); t17575 = t17043*t17143; t16633 = x*t17575; t17507 = t17140*t17053; t17408 = y*t17507; t18009 = t16633+t17142*t17408; t17271 = t17140*t17482; t17027 = RATIONAL(1.0,216.0); t17634 = y*t17027; t16526 = x*t17634; t18008 = t16526+t17055*t17271; t17517 = t17103*t17144; t17263 = t17145*t17517; t17056 = RATIONAL(-5.0,288.0); t17523 = t17141*t17056; t16627 = t17146*t17523; t17083 = RATIONAL(5.0,72.0); t17533 = t17083*t17139; t16836 = t17141*t17533; t17490 = t17058*t17145; t17314 = t17144*t17490; t17604 = z*t16836+t17146*t17314; t18007 = t17604+z*t16627+t17139*t17263; t16623 = t17145*t17539; t17592 = t17141*t17144; t17318 = t17063*t17592; t18006 = t17139*t17318+z*t16623; t16597 = t17142*t17458; t17638 = x*t17140; t17422 = t17111*t17638; t18005 = t16597+y*t17422; t16571 = t17027*t17617; t17419 = x*t17580; t18004 = t16571+t17055*t17419; t16532 = y*t17494; t18003 = t17111*t17419+t16532; t17516 = t17055*t17143; t18002 = t17064*t17143+t17146*t17516; t16570 = t17039*t17482; t18001 = t16570+y*t17418; t17632 = x*t17075; t16824 = y*t17632; t18000 = t17058*t17271+t16824; t17999 = (t16987+t17117)*t17142; t17131 = RATIONAL(5.0,6.0); t17134 = RATIONAL(-2.0,3.0); t17997 = t17131*t17141+t17134; t16628 = t17143*t17466; t17476 = t17140*t17064; t17427 = y*t17476; t17996 = t16628+x*t17427; t17995 = (t16970+t17118)*t17142; t17616 = y*t17043; t16613 = x*t17616; t17994 = t17053*t17271+t16613; t17485 = t17095*t17146; t17993 = t17079+t17485; t16957 = t17053*t17146; t16523 = t17143*t16957; t17992 = t16523+t17111*t17143; t17102 = RATIONAL(-5.0,24.0); t17116 = RATIONAL(1.0,6.0); t17991 = t17116+t17102*t17141; t17397 = t17073*t17631; t17038 = RATIONAL(1.0,108.0); t16632 = t17038*t17482; t17990 = x*t17397+t16632; t16951 = t17058*y; t17376 = t17140*t16951; t17500 = t17075*t17143; t17989 = x*t17500+t17142*t17376; t17583 = t17142*t17043; t16642 = y*t17583; t17988 = t16642+t17053*t17419; t17609 = z*t17617; t16826 = x*t17570; t17628 = x*t17087; t16777 = t17143*t17628; t17987 = t17144*t16826+z*t16777+t17067*t17609; t17644 = x*t17143; t16759 = t17084*t17644; t17331 = t17144*t17500; t17986 = z*t16759+t17080*t17609+x*t17331; t16790 = t17087*t17617; t17611 = x*t17629; t17366 = y*t17559; t17985 = z*t16790+t17067*t17611+t17077*t17366; t17515 = t17146*t17061; t17456 = t17146*t17062; t17984 = y*t17456+(t17515+t17058)*t17143; t17546 = t17140*t17057; t17279 = t17141*t17546; t17983 = x*t17279+t18069; t16818 = t17142*t17615; t17652 = x*z; t17496 = t17080*t17143; t17982 = t17496*t17652+z*t16818+t17075*t17366; t17440 = x*t17566; t17981 = t17140*t16598+t17142*t17446+t17062*t17440; t17324 = t17145*t17507; t17489 = t17043*t17139; t17980 = t17145*t17489+t17139*t17324+t18079*t17141; t17509 = t17142*t17028; t16573 = t17145*t17509; t17557 = t17039*t17145; t16563 = x*t17557; t17290 = t17141*t17465; t17394 = x*t17449; t17979 = t17142*t17290+t17141*t17394+(t16573+t16563)*z; t17455 = t17140*t17055; t17375 = y*t17455; t17978 = t17027*t17482+x*t17375+t17988; t16586 = t17143*t17504; t17436 = y*t17527; t16593 = t17038*t17627; t17521 = t17080*t17139; t17258 = t17144*t17521; t17977 = t17139*t17436+t17143*t17258+(t16593+t16586)*z; t17976 = t17140*t16831+t17027*t17551+t17055*t17284+t17139*t17473; t17569 = t17143*t17038; t16554 = x*t17569; t17940 = t17142*t17397+t16554; t16674 = t17029*t17482; t17435 = t17118*t17638; t17649 = y*t17077; t16756 = x*t17649; t17939 = t16756+t17057*t17271; t17536 = t17142*t17038; t16574 = y*t17536; t17935 = t17073*t17419+t16574; t17853 = t17935+t17939; t17975 = y*t17435+t17940+t16674+t17853; t17451 = t17111*t17139; t16781 = t17145*t17451; t17514 = t17043*t17141; t17283 = t17141*t17507; t17974 = t17139*t17519+t17140*t16781+(t17283+t17514)*t17146; t16556 = t17039*t17524; t17378 = x*t16970; t16858 = t17141*t17632; t17296 = t17142*t17550; t17866 = t16858+t17103*t17320+t16563+t17058*t17296; t17498 = t17140*t17117; t17431 = x*t17498; t17973 = t17141*t17431+t16556+t17140*t17378+t17866; t17393 = y*t17505; t17330 = t17073*t17505; t17565 = t17077*t17139; t16780 = y*t17565; t16948 = t17057*t17143; t17342 = t17140*t16948; t17869 = t16780+t17146*t17342+t16593+t17143*t17330; t16620 = t17038*t17538; t17972 = t17118*t17393+t17146*t17397+t17869+t16620; t17461 = t17077*t17141; t16798 = x*t17461; t17587 = t17038*t17145; t16631 = x*t17587; t17310 = t17073*t17566; t17861 = t17057*t17296+t16798+t16631+t17142*t17310; t16629 = t17038*t17524; t17411 = x*t16987; t17971 = t17141*t17435+t17140*t17411+t17861+t16629; t17513 = t17027*t17145; t17970 = t17067*t17551+t17064*t17284+t17139*t17513+t17055*t17351; t17404 = y*t17529; t17506 = t17039*t17139; t16649 = t17143*t17506; t17289 = t17139*t17498; t17264 = t17139*t17475; t17335 = t17058*t17529; t17854 = (t17264+t17335)*t17143+t18053; t17969 = y*t17289+t17103*t17404+t16649+t17854; t17968 = t16951+y*t17515+t16948+t17143*t17456; t16652 = t17028*t17482; t17522 = t17143*t17039; t16625 = x*t17522; t17434 = t17140*t17617; t17879 = t16625+t17103*t17434+t18000; t17967 = t16652+y*t17431+t17879+t18011; t16640 = t17143*t17539; t17433 = t17139*t17615; t17334 = t17143*t17457; t17370 = y*t17465; t17851 = t17146*t17370+t17043*t17334+(t16649+t16832)*z; t17966 = t17139*t17302+t17144*t17433+t17851+(t16639+t16640)*z; t16525 = t17029*t17590; t17326 = t17144*t17524; t17406 = t17141*t17628; t16577 = t17038*t17551; t17926 = z*t16577+t17145*t17258; t16775 = t17139*t17461; t16551 = t17146*t17513; t17943 = z*t16775+t17144*t16551; t17868 = t17926+t17943; t16592 = t17142*t17513; t17374 = t17144*t17641; t17880 = t17080*t17374+t17144*t16592+(t16798+t16629)*z; t17221 = t17868+t17880; t17965 = t17144*t17406+t17080*t17326+t17221+(t16525+t16631)*z; t17357 = t17144*t17538; t17349 = t17017*t17582; t17428 = t17144*t17646; t17964 = t17146*t17428+t17144*t16488+t17014*t17357+y*t17349+t18073*z; t17012 = RATIONAL(-1.0,1152.0); t17963 = t18033*t17024+(t17440+t17296)*t17012+t18071; t17396 = t17144*t17633; t17510 = t17030*t17144; t17341 = t17143*t17510; t17322 = t17144*t17494; t17962 = y*t17396+t17143*t17322+t17030*t17366+x*t17341+t18074*z; t17361 = t17141*t17505; t16603 = t17139*t17587; t17333 = t17145*t17546; t17961 = t17145*t17330+t16603+t16775+t16577+t17073*t17284+t17146*t17333+ t16608+t17118*t17361; t17960 = t17143*t17349+t17457*t17635+t17139*t17428+t17144*t16509+t18075*z ; t17654 = y*x; t17959 = y*t17322+t17143*t17396+t17510*t17654+t17142*t17341+t18076*z; t17260 = t17103*t17551; t16557 = t17146*t17490; t17958 = t16623+t17075*t17568+(t17506+t17264)*t17145+(t17289+t17541)* t17141+(t16557+t17260)*t17140; t17614 = x*t17631; t17957 = t17062*t17419+t17061*t17614+t18078*t17142+t18074; t17308 = t17144*t17492; t17439 = x*t17592; t17956 = t17014*t17374+t17017*t17439+t17144*t16503+t17142*t17308+t18071*z ; t17955 = t17061*t17434+t17062*t17271+t18078*x+t18076; t17025 = RATIONAL(1.0,2304.0); t17316 = t17025*t17505; t17365 = t17145*t17529; t17021 = RATIONAL(-1.0,2304.0); t17317 = t17021*t17550; t17954 = t17139*t17317+t17025*t17365+t17021*t17284+t17141*t17316+t18077; t17953 = x*t17308+t17144*t16493+(t17326+t17374)*t17017+t18072*z; t17348 = t17145*t17457; t17952 = (t17348+t17364)*t17015+t18080*t17016+t18077*z; t17484 = t17140*t17024; t17344 = t17141*t17484; t17951 = t17024*t17296+x*t17344+t18033*t17012+t18072; t17950 = t17146*t17317+t17145*t17316+t17025*t17284+t17021*t17361+t18081* t17013+t18082*t17020; t17259 = t17057*t17592; t17110 = RATIONAL(-5.0,72.0); t17403 = t17110*t17626; t17949 = t17146*t17259+t17139*t17403; t16638 = t17145*t17558; t17948 = t17030*t17266+z*t16638; t17438 = z*t17579; t17947 = t17039*t17438+t17139*t17290; t17410 = z*t17605; t17945 = t17075*t17410+t17043*t17266; t17105 = RATIONAL(-10.0,9.0); t17625 = z*t17139; t17395 = t17105*t17625; t17944 = t17141*t17395+t17146*t17263; t17023 = RATIONAL(-5.0,1152.0); t17450 = t17141*t17023; t16470 = t17139*t17450; t17265 = t17145*t17456; t17942 = t17144*t17265+z*t16470; t17416 = z*t17551; t17941 = t17043*t17295+t17075*t17416; t17938 = t17080*t17266+z*t16603; t17093 = RATIONAL(5.0,48.0); t17128 = RATIONAL(-5.0,6.0); t17937 = t17128*t17364+t17093*t17438; t17285 = t17145*t17510; t16527 = t17141*t17504; t17936 = t17139*t17285+z*t16527; t16504 = t17014*t17579; t17363 = t17144*t17514; t17934 = t17139*t17363+z*t16504; t17022 = RATIONAL(5.0,1152.0); t17544 = t17022*t17139; t16477 = t17145*t17544; t17933 = z*t16477+t17061*t17266; t16495 = t17017*t17551; t17932 = t17027*t17295+z*t16495; t16672 = t17146*t16960; t17108 = RATIONAL(-5.0,36.0); t17362 = t17108*t17592; t17931 = z*t16672+t17139*t17362; t17086 = RATIONAL(5.0,96.0); t17930 = t17049*t17438+t17086*t17364; t17400 = z*t17568; t17297 = t17088*t17579; t17019 = RATIONAL(-25.0,192.0); t17929 = t17144*t17297+t17019*t17400; t17032 = RATIONAL(5.0,288.0); t16968 = t17073*t17141; t17303 = t17144*t16968; t17928 = t17032*t17438+t17139*t17303; t16481 = t17012*t17579; t17927 = t17060*t17364+z*t16481; t17112 = RATIONAL(5.0,18.0); t17261 = t17144*t17009; t17925 = t17112*t17416+t17139*t17261; t16669 = t17056*t17605; t17924 = t17144*t17260+z*t16669; t17327 = t17144*t17552; t17381 = t17146*t17643; t17923 = t17139*t17327+t17145*t17381; t16579 = t17139*t17446; t16562 = t17145*t17472; t17922 = t17144*t16562+z*t16579; t17035 = RATIONAL(25.0,12.0); t17921 = t17035*t17400+t17099*t17348; t16478 = t17139*t17447; t17920 = t17027*t17266+z*t16478; t16966 = t17111*t17145; t16727 = z*t16966; t16529 = t17031*t17568; t17919 = t17146*t16727+t17144*t16529; t17354 = t17144*t17482; t17918 = t17043*t17354+(t16625+t16636)*z; t17269 = t17144*t17509; t17917 = y*t17269+(t16633+t16532)*z; t16622 = t17027*t17538; t17352 = t17140*t17451; t17916 = t16622+y*t17352+t17140*t16523; t16538 = x*t17458; t17915 = t17028*t17144*t17644+(t16538+t16642)*z; t17914 = t17058*t17440+t18060; t16671 = x*t17578; t17603 = t17029*t17144; t17424 = x*t17603; t17913 = t17143*t17424+(t16571+t16671)*z; t17486 = t17027*t17144; t17346 = t17143*t17486; t17912 = t17142*t17346+(t16574+t16554)*z; t16616 = y*t17466; t16602 = t17027*t17644; t17911 = t17029*t17366+(t16616+t16602)*z; t16659 = t17142*t17514; t17910 = t16659+t17055*t17296+t17064*t17440; t16635 = t17027*t17524; t17909 = t17141*t17422+t17053*t17296+t16635; t17273 = t17061*t17566; t17908 = t17029*t17524+x*t17273+t17140*t16560; t17305 = t17146*t17455; t16605 = t17143*t17489; t17907 = t17143*t17305+t17064*t17393+t16605; t17618 = x*t17039; t17373 = t17144*t17618; t17906 = y*t17373+t17029*t17354+(t16628+t16526)*z; t17607 = t17108*t17652; t17905 = x*t16714+y*t17607+t18020*t17143; t17325 = t17140*t17456; t17904 = t17143*t17325+t17139*t17270+t18021; t16803 = y*t17493; t17903 = t17144*t16803+t17027*t17334+(t16780+t16620)*z; t16575 = t17139*t17634; t17328 = t17028*t17457; t17902 = t17029*t17334+y*t17328+(t16605+t16575)*z; t17106 = RATIONAL(5.0,24.0); t17124 = RATIONAL(-5.0,3.0); t17114 = RATIONAL(-1.0,6.0); t17901 = t17114*t17457+t17124*t17625+t17106*t17266+t17100*t17410; t17003 = t17138*t17139; t17268 = t17144*t17003; t17900 = t17141*t17268+t17146*t17403+t17925; t17899 = t18049*t17139+t18052*t17146; t16641 = t17145*t17583; t17898 = t17067*t17374+t17144*t16641+(t16858+t16556)*z; t17642 = y*t17038; t17405 = t17144*t17642; t17897 = x*t17405+t17143*t17269+(t16597+t16613)*z; t17047 = RATIONAL(5.0,144.0); t17470 = t17144*t17064; t16715 = t17142*t17470; t16711 = y*t17589; t17651 = y*t17652; t17098 = RATIONAL(5.0,36.0); t17399 = z*t17482; t17896 = t17047*t17399+t17098*t17651+x*t16711+t17143*t16715; t17895 = t17936+t18006; t17414 = t17144*t17632; t16764 = t17080*t17482; t17894 = y*t17414+z*t16764+t17615*t17652+t17038*t17354; t17332 = t17145*t17453; t17044 = RATIONAL(5.0,192.0); t17893 = t17044*t17361+t16529+t17146*t17332+t16557; t17337 = t17140*t17515; t17892 = t16579+t16504+t17058*t17361+t17145*t17337; t17503 = t17067*t17139; t17891 = t17064*t17361+t17145*t17305+t17141*t17503+t16551; t17890 = t17932+t17948; t17889 = t18008+t18009; t17291 = t17144*t17506; t17888 = t17139*t17405+t17143*t17291+t18022*z; t16568 = t17142*t17557; t17887 = x*t17290+z*t16568+t17075*t17613+t17043*t17326; t16600 = y*t17489; t17377 = y*t17603; t17886 = t17146*t17377+t17143*t17328+(t16600+t16622)*z; t17520 = t17142*t17075; t17885 = y*t17520+t17058*t17419+t17940; t16752 = t17067*t17482; t17653 = y*z; t17884 = t17628*t17653+t17144*t16756+t17039*t17354+z*t16752; t16626 = x*t17514; t17883 = t17145*t17269+t17029*t17374+(t16635+t16626)*z; t17882 = t17945+t17947; t16606 = t17146*t17522; t17429 = t17075*t17645; t17881 = t17139*t17370+y*t17429+z*t16606+t17043*t17357; t17562 = t17110*t17141; t17359 = t17106*t17505; t17878 = t17141*t17359+t17139*t17562+t17140*t17297+t17146*t16963; t16591 = t17142*t17523; t17560 = t17083*t17141; t16774 = x*t17560; t17877 = t17142*t17314+x*t17263+(t16591+t16774)*z; t17275 = t17055*t17457; t17368 = y*t16957; t17876 = t17144*t17368+t17143*t17275+t18036*z; t16787 = t17110*t17648; t16772 = t17073*t17457; t16619 = t17032*t17538; t16545 = t17057*t17457; t17875 = y*t16772+t17143*t16545+(t16619+t16787)*z; t17045 = RATIONAL(-1.0,384.0); t16521 = t17145*t17549; t17052 = RATIONAL(-5.0,384.0); t17306 = t17052*t17505; t17874 = t16521+t17045*t17365+(t17306+t17544)*t17141; t16653 = t17027*t17637; t17873 = t17028*t17374+t17144*t16525+(t16659+t16653)*z; t17281 = t17055*t17559; t17872 = t17145*t17281+t17053*t17374+t18046*z; t16624 = t17146*t17575; t17586 = t17146*t17027; t17437 = y*t17586; t17871 = t17144*t16646+t17029*t17357+(t17437+t16624)*z; t17870 = t17922+t17934; t17867 = t17932+t17934; t16588 = t17032*t17524; t16730 = t17144*t16987; t17571 = t17057*t17145; t16673 = t17144*t17571; t17380 = z*t17562; t17865 = t17142*t16673+z*t16588+(t16730+t17380)*x; t17864 = t17062*t17320+t17061*t17296+t18027; t17863 = t17139*t17279+t17141*t17558+t17146*t17447+t17140*t17265; t16612 = t17145*t17536; t16681 = t17080*t17637; t17372 = t17077*t17626; t17319 = t17141*t17486; t17862 = t17142*t17319+z*t16612+x*t17372+t17144*t16681; t17286 = t17062*t17505; t17860 = t17143*t17286+t17146*t17270+t18057; t17859 = t17935+t17989; t17858 = t17055*t17374+t17144*t16610+t18043*z; t17857 = t17144*t16523+y*t17275+t18067*z; t16852 = t17091*t17550; t17301 = t17102*t17505; t17856 = t17141*t17301+t16672+t17146*t16852+t16836; t17855 = t17939+t18001; t17852 = t17941+t17947; t17452 = t17047*t17141; t17491 = t17146*t17057; t17850 = t17141*t17307+t17139*t17452+(t17360+t17491)*t17145; t17598 = t17093*t17141; t17525 = t17101*t17145; t17545 = t17044*t17141; t17256 = t17146*t17545; t17849 = t17089*t17295+t17144*t17525+(t17256+t17598)*z; t17630 = z*t17141; t17608 = x*t17630; t17383 = z*t17142*t17112; t17848 = t17141*t17383+t17105*t17608+t17142*t17263+x*t17261; t17048 = RATIONAL(1.0,384.0); t17046 = RATIONAL(5.0,384.0); t17847 = t17046*t17361+t16481+t16470+t17048*t17365; t17846 = t17924+t17928; t17845 = t17142*t17375+t16602+t17994; t17844 = t17996+t18008; t16867 = y*t17470; t17255 = t17146*t17442; t17528 = t17098*t17143; t16851 = t17139*t17528; t17585 = t17108*t17139; t17421 = y*t17585; t17843 = t17146*t16867+t17143*t17255+(t16851+t17421)*z; t16685 = y*t17533; t17511 = t17058*t17144; t17292 = t17143*t17511; t17537 = t17143*t17056; t16533 = t17139*t17537; t17288 = t17103*t17457; t17842 = y*t17288+t17146*t17292+(t16685+t16533)*z; t17841 = t17142*t17273+t17062*t17296+t18032; t17840 = t17043*t17579+t17146*t17324+(t17352+t17521)*t17141; t17839 = t17938+t17943; t17107 = RATIONAL(10.0,9.0); t16944 = t17144*t16996; t17109 = RATIONAL(-5.0,18.0); t17838 = t17109*t17409+t17142*t16730+x*t16944+t17107*t17608; t17130 = RATIONAL(-5.0,9.0); t17462 = t17130*t17139; t17097 = RATIONAL(5.0,12.0); t17358 = t17097*t17505; t17837 = (t17462+t17358)*t17141+t18038*t17146; t17836 = t17922+t17948; t16768 = t17108*t17538; t17576 = t17098*t17139; t17835 = y*t17255+t17576*t17653+z*t16768+t17064*t17334; t17834 = t17922+t17936; t17833 = t16772+t17047*t17266+t18024*z; t16736 = x*t17473; t16783 = x*t16981; t17832 = t16736+t16681+t17140*t16783+t17055*t17320+t16641; t16766 = x*t17519; t16833 = x*t16966; t17831 = t17140*t16833+t16766+t16592+t17067*t17637+t17142*t17283; t17312 = t17143*t17476; t17830 = y*t17305+t16600+t17139*t17312+t18022; t17298 = t17146*t17476; t17336 = t17139*t17516; t16677 = y*t17581; t17829 = t16624+t17140*t17336+t16677+(t17521+t17298)*y; t17828 = t17928+t17949+t18007; t16518 = t17022*t17551; t17246 = t17061*t17295+z*t16518+t17942; t17827 = t17062*t17364+t17246+t17023*t17438+t17933; t17826 = x*t17324+t17111*t17320+t16653+t18023; t17825 = t17064*t17320+t16626+t17055*t17413+t18034; t17824 = t17140*t17368+t17143*t17352+t16575+t18019; t16607 = t17143*t17586; t17355 = t17143*t17505; t17823 = t16803+t16607+t17053*t17355+(t17278+t17503)*y; t17822 = t17898+t17926; t16975 = t17064*t17146; t16684 = y*t16975; t17821 = t17086*t17355+t16684+t16685+t17072*y+t18044*t17143; t17820 = t17142*t17445+t17088*t17296+t16833+t17089*t17320+(t17562+t17104) *x; t16965 = t17111*t17146; t16779 = y*t16965; t17819 = t16779+t17104*y+t16787+t18018*t17143; t17818 = t17086*t17320+t17072*x+t16783+t16774+t17142*t17567+t17091*t17296 ; t17817 = t17894+t17987; t17386 = y*t17546; t17816 = t17139*t17386+t17904+t18042; t17621 = z*t17104; t16753 = t17145*t17621; t16704 = t17141*t17517; t17276 = t17047*t17582; t17232 = t16730+t17145*t17276+t17604+t18012*z; t17815 = t16753+t16704+t17232+t17919+t17949; t17814 = t16568+t17861+(t17418+t17520)*t17141; t16630 = t17146*t17569; t17813 = t17077*t17538+t16630+y*t17330+t17854; t17812 = t17884+t17986; t17811 = t17841+t17983; t17810 = t17864+t17914; t17809 = t16612+t17142*t17461+x*t17310+t17866; t17808 = t17139*t17376+t17860+t18026; t17807 = t17906+t17917; t17806 = t17864+t17908; t17805 = t17143*t17534+t17904+(t17337+t17286)*y; t17804 = t17897+t17911; t17803 = t17029*t17538+y*t17325+t17061*t17393+t17860; t17802 = t17841+t17981; t17801 = t16606+t17139*t17500+y*t17264+t17869; t17800 = t16727+t17141*t17561+t17232+t17924+t17931; t17799 = t17139*t17561+z*t16965+t17833+t17931+t18007; t17299 = t17144*t17557; t17798 = t17075*t17326+t17144*t16798+t17038*t17374+t17142*t17299+(t16766+ t17406+t18062)*z; t17367 = t17144*t17616; t17797 = t17146*t17367+t17063*t17357+t17144*t16575+t17030*t17334+(t18021+ t18042)*z; t17796 = x*t17319+t17043*t17374+(t17285+t17318)*t17142+(t18032+t18069)*z; t17795 = t17891+t17980; t15875 = x*t17333; t17794 = t15875+t17809; t17793 = t17886+t17888; t16969 = t17072*t17142; t16865 = t17144*t16969; t16679 = t17143*t17470; t17480 = t17142*t17098; t17792 = x*t16679+y*t16865+t17047*t17611+t17480*t17653+t17905; t16973 = t17104*t17139; t17282 = t17143*t16973; t17391 = t17123*t17631; t17398 = t17104*t17631; t17791 = t17143*t17298+t17146*t17398+t17139*t17391+t17140*t17282+t18031+ t18045; t17790 = t17844+t18003+t18009; t17789 = t17839+t17852; t17085 = RATIONAL(-4.0,27.0); t17042 = RATIONAL(16.0,27.0); t17407 = z*t17590; t17788 = t17075*t17407+t17042*t17608+t17144*t16804+t17087*t17374+t18064* t17141+t18039*t17085; t16840 = t17139*t17517; t17423 = t17083*t17645; t17415 = z*t17537; t17787 = t17875+t17146*t17415+t17139*t17292+(t17423+t16840)*y; t17392 = t17059*t17626; t17786 = t17060*t17613+t17053*t17439+t17141*t17281+t17142*t17392+t17858; t17606 = y*t17625; t17612 = z*t17627; t17026 = RATIONAL(-16.0,27.0); t17785 = t17076*t17612+t17026*t17606+t18040*t17139+t18045*t17144+t18050* t17146; t16802 = t17078*t17654; t17294 = t17142*t17449; t17784 = y*t17294+t17076*t17609+t17144*t16802+t17026*t17651+t18050*t17142 +t18040*x; t17783 = t17064*t17271+t17104*t17419+t17142*t17398+t16802+t16759+t16818+ t16752+x*t17391; t17441 = y*t17582; t17426 = t17032*t17629; t17782 = t17057*t17357+t17110*t17612+t17073*t17441+t17146*t17426+t17842; t17781 = t17111*t17296+t17141*t17636+t18033*t17072+t18035*x+t18054; t17338 = t17143*t17527; t17350 = t17144*t17496; t17780 = t17042*t17651+x*t17338+t17075*t17399+t17142*t17350+(t17609+ t17611)*t17085+t18064*y; t17471 = t17070*t17139; t17779 = t17087*t17551+t17141*t17471+t18035*t17139+t18079*t17145+t18066* t17072; t16656 = t17139*t17571; t17778 = t16495+t17062*t17284+t16638+t17140*t16656+t17892; t17777 = t17513*t17652+z*t16641+t17029*t17326+t17144*t16582+t17883; t17776 = t16586+t17805; t17775 = x*t17392+t17055*t17439+t17053*t17326+t17060*t17407+t17872; t17774 = t17618*t17653+t17043*t17366+z*t16570+t17486*t17654+t17144*t16633 +t17912; t17463 = t17140*t17072; t17300 = t17143*t17463; t17387 = y*t17463; t17773 = t17111*t17271+t16790+y*t17636+t16777+x*t17300+t17142*t17387+ t16764+t17137*t17614; t17772 = t17862+t17898; t17432 = t17059*t17645; t17771 = t17144*t17336+t17143*t17432+t17857+t18070*y; t17304 = t17012*t17505; t17547 = t17030*t17141; t17477 = t17063*t17139; t17770 = t17139*t17547+t17146*t17553+t17145*t17477+t17024*t17284+(t17472+ t17304)*t17141+(t16481+t16479)*t17140; t16918 = x*t17573; t17769 = t17117*t17326+t17141*t16918+t17112*t17613+t17142*t17403+t17848; t17768 = t17891+t17974; t15940 = t17143*t17373; t17767 = t15940+t17894+t17985; t16534 = t17139*t17490; t17766 = t17863+t17140*t16534+t17145*t17534+(t17492+t17273)*t17146; t17382 = t17143*t17622; t17430 = t17047*t17645; t17765 = y*t17430+t17146*t17382+t17843+t18061*t17139; t17764 = t17876+y*t17432+t17055*t17441+t18070*t17143; t17267 = t17144*t17565; t17763 = t17039*t17334+t17146*t17405+t17139*t17331+t17087*t17606+y*t17267 +(t16803+t18031)*z; t17762 = t17891+t17894; t17761 = t17871+t17886; t17760 = t17058*t17284+t17146*t17446+t17014*t17605+t17061*t17351+t17863; t17759 = t17146*t17547+t17141*t17477+t16562+t17145*t17304+t17140*t16521+ t17012*t17284+(t17344+t17553)*t17139; t17758 = t17142*t17427+t16671+t17994+t18004+t18005; t16916 = t17117*t17559; t16767 = t17142*t17517; t17369 = t17110*t17629; t17757 = t17112*t17611+t17142*t17369+t17105*t17651+t17143*t16767+(t17383+ t16916)*y+t18025*x; t17756 = t17889+t17978; t17755 = x*t17408+t17043*t17482+t17845+t18004; t16751 = t17078*t17637; t17754 = t17064*t17296+t16751+t18033*t17104+t18051*x+t18062; t16702 = t17143*t17556; t17753 = x*t16702+t17143*t17607+t17896+t18020*y; t17311 = t17142*t17465; t17752 = t17144*t16751+t17142*t17372+t17145*t17311+t17084*t17374+t17026* t17608+t17141*t17294+t18039*t17076; t17751 = t17143*t17430+t17139*t16711+t17031*t17612+t17144*t17282+t17835; t17750 = t17528*t17652+y*t16715+t17047*t17609+x*t16709+t17905; t17610 = z*t17649; t17749 = z*t16630+t17146*t17610+t17139*t17346+y*t17258+t17851; t17748 = t17841+t17889; t17747 = t17834+t17948+t18006; t17746 = t17881+t17903; t17745 = t17030*t17326+t17144*t16589+t17027*t17374+x*t17363+(t18027+ t18060)*z; t16892 = t17143*t17561; t16797 = t17144*t17459; t17402 = t17109*t17629; t17744 = t17083*t17399+t17109*t17609+t17142*t16797+t17107*t17651+t18037*y +(t16892+t17402)*x; t17743 = t17840+t17976; t17742 = t17824+t17907; t17741 = t17043*t17613+z*t16592+t17873+(t17424+t17269)*t17141; t17740 = t17840+t17884; t17739 = t17823+t17907; t17738 = t16478+t17145*t17286+t16527+t17146*t17279+t17892; t17737 = t17880+t17887; t17736 = x*t17312+t16616+t17845+t18005; t17735 = t17111*t17434+t16538+t17844+t17988; t17384 = t17083*t17626; t17011 = t17133*t17141; t16937 = t17144*t17011; t17734 = t17109*t17613+t17142*t17384+x*t16937+t17118*t17326+t17838; t17733 = t17027*t17366+t17642*t17652+z*t16632+t17918+(t17367+t17346)*x; t17732 = t17139*t17377+z*t16607+t17028*t17357+t17043*t17612+t17902; t17731 = t16826+t17142*t17386+t17990+t18000+t18011; t17730 = t17840+t17855; t17729 = t17143*t17267+t17038*t17334+t18053*t17144+(t16677+t17433+t18047) *z; t17728 = t17831+t17910; t17727 = t17084*t17608+x*t17299+t17141*t17414+t17144*t16612+t17077*t17326 +(t16736+t18054)*z; t17726 = t17077*t17617+x*t17342+t17879+t17990; t15971 = t17144*t16554; t17725 = t15971+t17884+t17982; t17624 = z*t17123; t16943 = t17145*t17624; t17126 = RATIONAL(8.0,9.0); t17724 = t17108*t17295+t17137*t17416+t16937+t16943+t16944+t17126*t17630+ t17923; t16813 = t17087*t17627; t17723 = t17146*t17387+t16813+t17137*t17393+t17139*t17300+y*t17471+t17143 *t17278+t18047; t17722 = t17084*t17551+t17146*t17473+t17141*t17555+t17145*t17298+t18051* t17139+t18066*t17104; t17347 = t17144*t17471; t17420 = z*t17538; t17721 = t17139*t17338+y*t17347+t17042*t17606+t17143*t17429+t17080*t17334 +t17144*t16813+(t17612+t17420)*t17085; t16838 = t17142*t17556; t16854 = t17143*t17442; t17720 = y*t16838+t17108*t17609+t17896+(t16854+t17382)*x; t17719 = t17144*t17437+t17063*t17334+(t17367+t17341)*t17139+(t18026+ t18057)*z; t17718 = t17145*t17429+t17042*t17400+t17080*t17348+t17141*t17347+t18080* t17087+(t17416+t17410)*t17085; t16864 = t17146*t17621; t17717 = t16840+t16864+t17833+t17919; t17716 = t17902+y*t17291+t17038*t17357+t18019*z; t17715 = t17059*t17266+t17139*t17511+t17246+t17927+t16545+t18017*z; t17481 = t17058*t17141; t17714 = t17059*t17295+t16673+t17927+t17942+t17144*t17481+t17933+t18016*z ; t17713 = t17883+t17039*t17326+t17920+t17834+t17038*t17439+t17934+t18034*z ; t16897 = t17146*t17624; t16924 = t17118*t17457; t16994 = t17133*t17139; t16917 = t17144*t16994; t17712 = t16897+t17108*t17266+t16924+t17137*t17410+t17126*t17625+t16917+ t17925+t17944+t17923; t17711 = x*t17302+t17918+t18010+(t16652+t16824)*z+(t17311+t17394)*y; t17639 = z*t17118; t17293 = t17144*t17533; t17710 = t17843+t16991*t17653+t16711+t16702+t17110*t17357+t18056*z+( t17293+t17639)*y; t17709 = t16994+t17108*t17551+t17899+t17093*t17284+(t17497+t18013)*t17139 +t18030; t16873 = t17130*t17637; t17650 = z*RATIONAL(-8.0,9.0); t17620 = z*t17137; t17708 = t17098*t17326+t17144*t16873+t16916+t16918+t17838+(t17620+t16753) *t17142+(t17650+t16943)*x; t17096 = RATIONAL(-5.0,48.0); t17468 = t17096*t17139; t17329 = t17140*t17468; t17707 = t17138*t17141+t17118*t17551+t17127*t17566+t18013+t17079*t17284+ t17837+(t17576+t17329)*t17145; t16718 = t17140*t17485; t16884 = t17136*t17648; t17313 = t17093*t17505; t17706 = t16768+t17100*t17393+t16884+(t17495+t16718+t17313)*t17143+( t18063+t18068)*y+t18055; t17543 = t17031*t17145; t17467 = t17044*t17145; t17339 = t17139*t17467; t17705 = t17139*t17543+t17146*t17481+t16968+t17051*t17284+t17140*t17339+ t17092*t17566+t17850+t18052; t17704 = t17086*t17440+t17083*t17524+t17142*t16981+t16969+t17820+(t17567+ t16852)*x; t17508 = t17047*t17145; t17703 = t17139*t17508+t17041*t17284+t17145*t17307+t17893+(t17491+t17535+ t17103)*t17141+t18038; t16988 = t17073*t17146; t17443 = t17092*t17146; t17702 = t16988+t17140*t17443+t17095*t17505+t17103*t17139+t17041*t17351+ t17146*t17452+t16656+t17049*t17284+t17893; t17701 = t17048*t17351+t16739+t17146*t17450+t16957+t17874+t17046*t17284+ t17012*t17605+t18065*t17139; t17640 = z*t17117; t17700 = t17143*t17293+t16988*t17653+t17835+y*t17640+t17144*t16787+t18055 *z+t18061; t17574 = t17140*t17092; t17699 = t17044*t17355+t17968+t18028*t17143+(t17574+t18041)*y+t18036; t17698 = t17048*t17284+t17023*t17605+t16852+t17046*t17351+t17012*t17551+ t16960+t17874+t18065*t17141; t17647 = z*t17126; t17697 = t17142*t17624+t17137*t17613+t17072*t17407+t17108*t17326+t17848+( t17647+t17327)*x+t18037; t16845 = t17143*t17574; t16932 = y*t17462; t17696 = t17146*t16845+t16851+t16932+(t17329+t17531)*t17143+(t17358+ t18030+t18058)*y+t18056; t17695 = t17117*t17551+t17011+t17071*t17284+t17141*t17497+t17899+t17998+( t17313+t17585)*t17145; t17694 = t17056*t17439+t17032*t17326+t16715+x*t17442+t17872+t18014*z; t16724 = t17145*t17445; t17577 = t17032*t17139; t17693 = t17099*t17284+t17111*t17551+t17104*t17141+t17114*t17566+t16724+ t16981+t17878+(t17343+t17577)*t17145; t17601 = t17140*t17114; t16848 = t17099*t17529; t17692 = t16619+t18002+t17819+(t16848+t17359+t17601)*y; t17412 = t17098*t17637; t17599 = t17117*t17144; t17691 = t17144*t17412+t16767+t17031*t17326+t17865+t18048*z+(t17621+ t17599+t16727)*x; t16786 = t17146*t17445; t17499 = t17099*t17145; t16719 = t17140*t17499; t17690 = t17139*t16719+t16973+t17032*t17551+t16781+t16786+t16975+t17114* t17505+t17089*t17284+t17878; t17588 = t17140*t17116; t17689 = t17821+t16533+t17992+(t16786+t17301+t17588)*y; t17688 = t16669+t17116*t17566+t16966+t17101*t17284+t16719+t17086*t17351+ t17856+t18012; t17687 = t17877+t17047*t17326+t17073*t17559+(t16783+t18059)*z+(t17362+ t18029)*x; t17686 = t17080*t17366+t17912+t17938+z*t16674+t18010+(t17350+t17610+ t17436)*x; t17623 = z*t17057; t17685 = t16738+t17858+t17056*t17326+t17032*t17439+(t17623+t17470)*x+ t18015*z; t17684 = t16735+t17052*t17284+t17091*t17505+t17045*t17351+t16518+t17847+ t18017; t16771 = t17145*t17444; t17683 = t16477+t16771+t17145*t17306+t17091*t17566+t17045*t17284+t17847+ t18016; t17682 = t17044*t17393+t16845+t17984+t18041*t17143+(t17057+t18028)*y+ t18067; t17681 = t17873+t17038*t17326+t17141*t17373+t17920+t17936+t18023*z; t17680 = t17116*t17505+t16627+t17139*t16724+t17086*t17284+t16848+t16965+ t17856+t18024; t17679 = t17140*t17256+t16991+t16534+t17031*t17551+t16718+t17092*t17505+ t17850+(t17073+t17332)*t17139; t16853 = t17142*t16966; t17678 = t17104*t17142+t17110*t17524+t16853+t17089*t17440+t17818+(t17445+ t16771)*x; t17677 = t17003+t17127*t17505+t17096*t17284+t17098*t17551+t17837+t17998* t17139+t18063; t17676 = t17760+t17825; t17675 = t17738+t17826; t17674 = t17735+t17816; t17673 = t16525+t16586+t17971+t17972; t17593 = t16573+t16586; t17672 = t17593+t17972+t17973; t17671 = t17797+t17906+t17915; t17670 = t17735+t17808; t17460 = t16573+t16640; t17669 = t17460+t17969+t17973; t17596 = t16525+t16640; t17668 = t17596+t17969+t17971; t17667 = t17758+t17816; t17666 = t17719+t17897+t17913; t17665 = t17758+t17808; t17664 = t17958+t17967; t17356 = t17012*t17529; t17321 = t17143*t17484; t17663 = t17143*t17304+t17952+y*t17356+t17146*t17321+t17024*t17393+t18075 ; t17662 = t17139*t17321+t17143*t17356+t17952+y*t17304+t17024*t17404+t18073 ; t17661 = t17960+t17962; t17660 = t17961+t17967; t17659 = t17961+t17975; t17658 = t17950+t17959; t17657 = t17958+t17975; t17656 = t17951+t17964; t17655 = t17954+t17963; t16956 = t17057*x; t17619 = z*t17056; t15847 = t17146*t17386; t15741 = t17039*t17366; t17597 = t15847+t15741; t17595 = t15971+t15875; t17584 = t17093*t17139; t17563 = t17096*t17146; t17554 = t17095*t17145; t15685 = y*t17335; t15966 = t17038*t17366; t17532 = t15685+t15966; t17530 = t17097*t17146; t15849 = t17058*t17413; t17518 = t15849+t15940; t17488 = t17096*t17145; t17479 = t17097*t17145; t17469 = t17131*t17139; t17454 = t17114*t17145; t17425 = t17144*t16956; t16868 = x*t17556; t16877 = y*t17599; t17390 = z*t17508; t17388 = t17142*t17619; t16808 = t17108*t17524; t16822 = t17141*t17480; t17340 = t17144*t17576; t17323 = t17144*t17560; t17309 = t17144*t17562; t17274 = t17144*t17577; t17262 = t17145*t17470; t17257 = t17141*t17589; t17254 = t17146*t17380+t17057*t17295+t17604; t17253 = t15847+t17910; t17252 = t15849+t17916; t17250 = t15875+t17916; t17248 = t17117*t17266+t17112*t17410+t17944; t17245 = t15849+t17907; t17244 = t15685+t17909; t17243 = t15847+t17909; t17242 = t17454+t17997; t17135 = RATIONAL(2.0,3.0); t17241 = t17116*t17145+t17128*t17141+t17135; t17240 = t17071+t17487+t17096*t17141; t17074 = RATIONAL(-5.0,32.0); t17034 = RATIONAL(25.0,32.0); t17119 = RATIONAL(-5.0,8.0); t17239 = t17119+t17074*t17145+t17034*t17141; t17238 = t17499+t17106*t17141+t17114; t17237 = t17525+t17991; t17236 = t17554+t17598+t17079; t17065 = RATIONAL(1.0,16.0); t17066 = RATIONAL(-5.0,16.0); t17121 = RATIONAL(1.0,4.0); t17235 = t17065*t17145+t17066*t17141+t17121; t17233 = t17929+t17089*t17266+t17101*t17457+(t17584+t17339)*z; t17231 = t17144*t17454+t17124*t17630+t17106*t17295+t17100*t17416+t17921; t17230 = t17139*t17402+t17107*t17606+t17073*t17334+y*t16924+t17248; t17229 = t17144*t16853+x*t17262+t17141*t17607+z*t16822+t17254; t17228 = t17855+t17943+t17947; t17227 = t17836+t17864; t17226 = t17111*t17374+t17142*t17262+t17254+(t17412+t16808)*z; t17225 = t17822+t17943; t17224 = t17839+t17903; t17223 = t17112*t17420+t17143*t17288+y*t17395+t17146*t16877+t17248; t17222 = t17836+t17886; t17219 = t17870+t17906; t17218 = t17870+t17897; t17018 = RATIONAL(25.0,192.0); t17217 = t17099*t17582+z*t17563+t17091*t17295+t17018*t17416+t17233+t17930 ; t17036 = RATIONAL(-25.0,48.0); t17216 = t17135*t17582+z*t17530+t17116*t17295+t17036*t17416+t17901+t17921 +t17937; t17215 = z*t17488+t17099*t17592+t17018*t17410+t17091*t17266+t17849+t17929 +t17930; t17214 = t17135*t17592+t17036*t17410+z*t17479+t17116*t17266+t17231+t17937 ; t17040 = RATIONAL(-25.0,96.0); t17213 = t17236*t17144+(t17086*t17145+t17106+t17040*t17141)*z; t17054 = RATIONAL(25.0,96.0); t17212 = t17240*t17144+(t17102+t17054*t17141+t17089*t17145)*z; t17211 = (t17468+t17443+t17071)*t17144+(t17089*t17146+t17054*t17139+ t17102)*z; t17210 = (t17584+t17993)*t17144+(t17040*t17139+t17106+t17086*t17146)*z; t17209 = t17141*t16868+x*t17390+t17142*t17257+t17229+t17145*t17379+t17846 ; t17208 = t17109*t17612+y*t16917+t17143*t17423+t17230+t17139*t16892+t17900 ; t17207 = t17057*t17354+t17619*t17654+y*t17425+t17032*t17609+t17058*t17366 +t17143*t17388+t17827+(t17292+t17426)*x; t17206 = t17828+t17142*t17259+t17032*t17407+t17877+(t17303+t17403)*x; t17205 = t17145*t17388+t17865+t17058*t17326+t17828+(t17384+t16704)*x; t17204 = t17112*t17612+y*t17268+t17139*t16938+t17146*t17369+t17223+t17900 ; t17203 = t17142*t17390+t17104*t17326+t17543*t17652+t17226+x*t17257+t17846 ; t17202 = t17511*t17654+t17143*t17425+t17142*t17292+x*t17415+t17827+y* t17388+t17057*t17366+(t17399+t17651)*t17032; t17050 = RATIONAL(-25.0,24.0); t17201 = t17050*t17364+t17071*t17438+t17231+t17901+RATIONAL(4.0,3.0)*z+( t17626+t17645)*t17125+(t17469+t17997)*t17144; t17200 = t17054*t17364+t17102*t17582+t17233+t17041*t17438+t17849+t17991* t17144+(t17554+t17993)*z; t17199 = t17110*t17538+t17815+t17821+(t17104+t16965)*t17143+t18018*y; t17198 = t17230+t17144*t16932+t17724+(t16897+t17650)*y+(t16864+t17620+ t17340)*t17143+t18025; t17197 = t16591+t17799+t17102*t17440+t17818+(t17588+t16724)*x+t18059; t17196 = t17717+t17229+t17142*t17309+t16838+(t17378+t17999)*z+(t17589+ t17323+t17639)*x; t17195 = t17142*t17531+t17097*t17440+t16822+t17096*t17320+t16873+t17712+ t17092*t17296+(t17998+t18058)*x+t17999; t17194 = t17800+t17144*t17421+t17143*t17276+t16797+t17842+t18029*y+( t16684+t17992)*z; t17193 = t17144*t16884+t16892+t17724+t17108*t17357+t17137*t17612+t17223+( t17381+t17624)*t17143+(t17647+t17600)*y; t17192 = t17031*t17357+t16877+t17800+t17143*t17517+t17875+(t17621+t17340) *y+(t16779+t18002)*z; t17191 = t17715+t17049*t17440+t17041*t17296+t17044*t17320+t17142*t17535+( t17574+t17332)*x+t18014+t18046; t17190 = t17056*t17357+t16867+t16854+t17714+t17857+(t17623+t17274)*y+ t17984*z; t17189 = t16588+t17799+t17106*t17440+t17820+(t16719+t17601)*x+t18048; t17188 = t17717+t16865+t16868+t17142*t17323+t17226+(t17309+t17640)*x+( t17411+t17995)*z; t17187 = t17715+t17044*t17440+t17049*t17320+t16956+t17051*t17296+t17041* t17413+x*t17535+t17142*t17574+t18015+t18043; t17186 = t16679+t17056*t17441+t17714+y*t17442+t17143*t17274+t17876+t17968 *z; t17185 = t17142*t17495+t16808+t17712+t17095*t17296+t17093*t17320+(t18013+ t18049+t18068)*x+t17995; t17184 = t17815+t17086*t17393+t17819+t18044*y+(t17072+t16975+t17533)* t17143; t17183 = t17224+t17767+t17727+t17852+t17881; t17182 = t17760+t17713+t17826+t17910; t17181 = t17953+t17663+t17955; t17180 = t15971+t17811+t17219+t17252+t17830+t17890+t17917; t17179 = t17225+t17686+t17966+t17979; t17178 = t17763+t17228+t17728+t17859+t17926+t17945; t17177 = t17681+t15741+t17218+t17797+t17913; t17176 = t17752+t17718+t17722+t17781; t17175 = t17711+t17938+t17965+t17966; t17174 = t17770+t17222+t17776+t17871+t17895; t17173 = t17716+t15940+t17796+t17218+t17890+t17911; t17172 = t17756+t17747+t17759+t17774; t17171 = t17813+t17243+t15966+t17812+t17832+t17868+t17882; t17170 = t17789+t17749+t17739+t17840+t17970; t17169 = t17228+t17725+t17795+t17885+t17938+t17941; t17168 = t17718+t17754+t17773+t17785; t17167 = t17686+t17903+t17965+t17977; t17166 = t17721+t17718+t17780+t17788; t17165 = t15875+t17745+t17227+t17778+t17867+t17914; t17164 = t17738+t17713+t17825+t17909; t17163 = t17732+t17755+t16525+t17747+t17802; t17162 = t17225+t17801+t15685+t17731+t17862+t17882; t17161 = t17953+t17662+t17957; t17160 = t17956+t17663+t17957; t17159 = t17729+t17817+t17221+t15741+t17882+t17887; t17158 = t17766+t17222+t17742+t17867+t17888; t17157 = t17779+t17718+t17783+t17784; t17156 = t17224+t17711+t17822+t17977+t17979; t17155 = t17955+t17662+t17956; t17154 = t17227+t17460+t17733+t17803+t17895+t17908; t17153 = t17726+t17798+t17789+t17829+t17916; t17152 = t17681+t17219+t15966+t17719+t17915; t17132 = RATIONAL(-1.0,8.0); t17122 = RATIONAL(1.0,8.0); t17120 = RATIONAL(5.0,3.0); t17115 = RATIONAL(5.0,8.0); t17113 = RATIONAL(-5.0,4.0); t17094 = RATIONAL(-1.0,16.0); t17090 = RATIONAL(5.0,64.0); t17082 = RATIONAL(5.0,32.0); t17081 = RATIONAL(5.0,16.0); t17069 = RATIONAL(-5.0,64.0); t17068 = RATIONAL(25.0,8.0); t17037 = RATIONAL(25.0,48.0); t17033 = RATIONAL(-25.0,12.0); coeffs_dz->coeff_m2_m2_m2 = t17658+t17656+t17160; coeffs_dz->coeff_m1_m2_m2 = t17158+t17736+t17595+t17796+t17807+t17810; coeffs_dz->coeff_0_m2_m2 = t17698+t17682+t17186; coeffs_dz->coeff_p1_m2_m2 = t17745+t17158+t17804+t17518+t17748+t17983+ t17996+t18003; coeffs_dz->coeff_p2_m2_m2 = t17181+t17963+t17950+t17962+t17964; coeffs_dz->coeff_m2_m1_m2 = t17182+t15847+t15966+t17671+t17665; coeffs_dz->coeff_m1_m1_m2 = t17664+t17179+t17673; coeffs_dz->coeff_0_m1_m2 = t17693+t17689+t17192; coeffs_dz->coeff_p1_m1_m2 = t17657+t17175+t17672; coeffs_dz->coeff_p2_m1_m2 = t17243+t17676+t17177+t17670; coeffs_dz->coeff_m2_0_m2 = t17701+t17694+t17187; coeffs_dz->coeff_m1_0_m2 = t17691+t17690+t17197; coeffs_dz->coeff_0_0_m2 = (t17049*t17145+t17018*t17141+t17096)*t17139+( RATIONAL(-1.0,4.0)+t17094*t17145+t17081*t17141+(RATIONAL(-25.0,64.0)*t17141+ t17081+t17090*t17145)*t17139+(t17094+t17090*t17141+RATIONAL(-1.0,64.0)*t17145)* t17146)*t17140+(t17049*t17141+t17051*t17145+t17092)*t17146+t17200+t17240; coeffs_dz->coeff_p1_0_m2 = t17189+t17687+t17690; coeffs_dz->coeff_p2_0_m2 = t17701+t17685+t17191; coeffs_dz->coeff_m2_p1_m2 = t17674+t17182+t15685+t17666+t15741; coeffs_dz->coeff_m1_p1_m2 = t17657+t17156+t17668; coeffs_dz->coeff_0_p1_m2 = t17693+t17194+t17692; coeffs_dz->coeff_p1_p1_m2 = t17664+t17167+t17669; coeffs_dz->coeff_p2_p1_m2 = t17667+t17244+t17676+t17152; coeffs_dz->coeff_m2_p2_m2 = t17661+t17155+t17950+t17951; coeffs_dz->coeff_m1_p2_m2 = t17790+t17766+t17173+t17250+t17810+t17830; coeffs_dz->coeff_0_p2_m2 = t17699+t17698+t17190; coeffs_dz->coeff_p1_p2_m2 = t17745+t17716+t17736+t17180+t17766; coeffs_dz->coeff_p2_p2_m2 = t17161+t17658+t17960+t17963; coeffs_dz->coeff_m2_m2_m1 = t17755+t17154+t17759+t17761+t17777; coeffs_dz->coeff_m1_m2_m1 = t17762+t17763+t17162+t17832+t15741+t17909+ t17974+t17987; coeffs_dz->coeff_0_m2_m1 = t17710+t17703+t17199; coeffs_dz->coeff_p1_m2_m1 = t17178+t17801+t17532+t17768+t17737+t17812; coeffs_dz->coeff_p2_m2_m1 = t17802+t17596+t17761+t17741+t17172+t17803; coeffs_dz->coeff_m2_m1_m1 = t17762+t17814+t17153+t17518+t17749+t17980+ t17985; coeffs_dz->coeff_m1_m1_m1 = t17779+t17752+t17168+t17780+t17791; coeffs_dz->coeff_0_m1_m1 = t17198+t17695+t17696; coeffs_dz->coeff_p1_m1_m1 = t17788+t17785+t17157+t17781+t17791; coeffs_dz->coeff_p2_m1_m1 = t17250+t17749+t17169+t17727+t17809+t17829; coeffs_dz->coeff_m2_0_m1 = t17196+t17702+t17678; coeffs_dz->coeff_m1_0_m1 = t17709+t17195+t17708; coeffs_dz->coeff_0_0_m1 = t17201+t17238*t17146+(t17122*t17145+RATIONAL( 1.0,2.0)+t17119*t17141+t17239*t17139+(t17074*t17141+RATIONAL(1.0,32.0)*t17145+ t17122)*t17146)*t17140+(t17131+t17106*t17145+t17050*t17141)*t17139+t17242; coeffs_dz->coeff_p1_0_m1 = t17697+t17709+t17185; coeffs_dz->coeff_p2_0_m1 = t17188+t17702+t17704; coeffs_dz->coeff_m2_p1_m1 = t17798+t17245+t17169+t17746+t17814+t17823; coeffs_dz->coeff_m1_p1_m1 = t17723+t17752+t17157+t17721+t17754; coeffs_dz->coeff_0_p1_m1 = t17695+t17706+t17193; coeffs_dz->coeff_p1_p1_m1 = t17723+t17779+t17166+t17773+t17781; coeffs_dz->coeff_p2_p1_m1 = t17726+t17794+t17183+t17739+t17795; coeffs_dz->coeff_m2_p2_m1 = t17732+t17593+t17777+t17172+t17805+t17806; coeffs_dz->coeff_m1_p2_m1 = t17729+t17772+t17171+t17768+t17853+t17989+ t18001; coeffs_dz->coeff_0_p2_m1 = t17184+t17703+t17700; coeffs_dz->coeff_p1_p2_m1 = t17253+t17159+t17731+t17768+t17813+t17831; coeffs_dz->coeff_p2_p2_m1 = t17733+t17163+t17759+t17741+t17776; coeffs_dz->coeff_m2_m2_0 = t17207+t17764+t17775; coeffs_dz->coeff_m1_m2_0 = t17753+t17205+t17765; coeffs_dz->coeff_0_m2_0 = t17215+t17211*y+t17210*t17143; coeffs_dz->coeff_p1_m2_0 = t17750+t17206+t17765; coeffs_dz->coeff_p2_m2_0 = t17202+t17764+t17786; coeffs_dz->coeff_m2_m1_0 = t17720+t17209+t17787; coeffs_dz->coeff_m1_m1_0 = t17208+t17734+t17757; coeffs_dz->coeff_0_m1_0 = t17214+((t17116+t17101*t17146+t17102*t17139)* t17144+(t17563+t17037*t17139+t17100)*z)*t17143+((t17134+t17469+t17114*t17146)* t17144+(t17120+t17033*t17139+t17530)*z)*y; coeffs_dz->coeff_p1_m1_0 = t17208+t17744+t17769; coeffs_dz->coeff_p2_m1_0 = t17203+t17787+t17792; coeffs_dz->coeff_m2_0_0 = t17213*t17142+t17212*x+t17217; coeffs_dz->coeff_m1_0_0 = t17216+(t17242*t17144+(t17479+t17120+t17033* t17141)*z)*x+(t17237*t17144+(t17488+t17100+t17037*t17141)*z)*t17142; coeffs_dz->coeff_0_0_0 = (t17113*t17141+1.0+t17121*t17145+(t17113+t17066* t17145+RATIONAL(25.0,16.0)*t17141)*t17139+t17235*t17146)*t17144+(t17119*t17145+ t17068*t17141+RATIONAL(-5.0,2.0)+(t17034*t17145+t17068+RATIONAL(-125.0,32.0)* t17141)*t17139+t17239*t17146)*z; coeffs_dz->coeff_p1_0_0 = t17216+(t17238*t17144+(t17093*t17145+t17036* t17141+t17097)*z)*t17142+(t17241*t17144+(t17035*t17141+t17124+t17100*t17145)*z) *x; coeffs_dz->coeff_p2_0_0 = t17212*t17142+t17217+t17213*x; coeffs_dz->coeff_m2_p1_0 = t17782+t17209+t17792; coeffs_dz->coeff_m1_p1_0 = t17204+t17734+t17744; coeffs_dz->coeff_0_p1_0 = t17214+((t17116*t17146+t17128*t17139+t17135)* t17144+(t17124+t17035*t17139+t17100*t17146)*z)*y+((t17114+t17099*t17146+t17106* t17139)*t17144+(t17097+t17036*t17139+t17093*t17146)*z)*t17143; coeffs_dz->coeff_p1_p1_0 = t17204+t17757+t17769; coeffs_dz->coeff_p2_p1_0 = t17720+t17203+t17782; coeffs_dz->coeff_m2_p2_0 = t17202+t17771+t17775; coeffs_dz->coeff_m1_p2_0 = t17750+t17205+t17751; coeffs_dz->coeff_0_p2_0 = t17211*t17143+t17215+t17210*y; coeffs_dz->coeff_p1_p2_0 = t17206+t17751+t17753; coeffs_dz->coeff_p2_p2_0 = t17207+t17771+t17786; coeffs_dz->coeff_m2_m2_p1 = t16525+t17733+t17174+t17777+t17748+t17978+ t17981; coeffs_dz->coeff_m1_m2_p1 = t17178+t17772+t17813+t17743+t17597+t17817; coeffs_dz->coeff_0_m2_p1 = t17184+t17705+t17710; coeffs_dz->coeff_p1_m2_p1 = t17171+t17731+t17737+t17743+t17763; coeffs_dz->coeff_p2_m2_p1 = t17755+t16573+t17174+t17774+t17741+t17806; coeffs_dz->coeff_m2_m1_p1 = t17170+t17794+t17767+t17798+t17855+t17885; coeffs_dz->coeff_m1_m1_p1 = t17723+t17176+t17783+t17780+t17785; coeffs_dz->coeff_0_m1_p1 = t17198+t17707+t17706; coeffs_dz->coeff_p1_m1_p1 = t17723+t17168+t17722+t17784+t17788; coeffs_dz->coeff_p2_m1_p1 = t17726+t17170+t15849+t17725+t17727+t17814; coeffs_dz->coeff_m2_0_p1 = t17196+t17679+t17704; coeffs_dz->coeff_m1_0_p1 = t17677+t17185+t17708; coeffs_dz->coeff_0_0_p1 = (t17115*t17141+t17132*t17145+RATIONAL(-1.0,2.0) +(t17082*t17145+RATIONAL(-25.0,32.0)*t17141+t17115)*t17139+(t17082*t17141+ RATIONAL(-1.0,32.0)*t17145+t17132)*t17146)*t17140+t17201+t17237*t17146+(t17102* t17145+RATIONAL(25.0,24.0)*t17141+t17128)*t17139+t17241; coeffs_dz->coeff_p1_0_p1 = t17697+t17677+t17195; coeffs_dz->coeff_p2_0_p1 = t17188+t17679+t17678; coeffs_dz->coeff_m2_p1_p1 = t17740+t17153+t17595+t17809+t17746+t17970+ t17982; coeffs_dz->coeff_m1_p1_p1 = t17176+t17721+t17784+t17773+t17791; coeffs_dz->coeff_0_p1_p1 = t17707+t17696+t17193; coeffs_dz->coeff_p1_p1_p1 = t17166+t17722+t17754+t17783+t17791; coeffs_dz->coeff_p2_p1_p1 = t17814+t17252+t17183+t17730+t17829+t17885+ t17970; coeffs_dz->coeff_m2_p2_p1 = t17770+t17163+t16640+t17777+t17774+t17803; coeffs_dz->coeff_m1_p2_p1 = t17729+t17740+t15966+t17162+t17728+t17976+ t17986; coeffs_dz->coeff_0_p2_p1 = t17705+t17199+t17700; coeffs_dz->coeff_p1_p2_p1 = t17159+t17244+t17801+t17730+t17832+t17859+ t17976; coeffs_dz->coeff_p2_p2_p1 = t17732+t17756+t17154+t17741+t17770; coeffs_dz->coeff_m2_m2_p2 = t17155+t17959+t17655+t17964; coeffs_dz->coeff_m1_m2_p2 = t17778+t17790+t17793+t17180+t17796; coeffs_dz->coeff_0_m2_p2 = t17699+t17683+t17186; coeffs_dz->coeff_p1_m2_p2 = t17165+t17736+t15940+t17793+t17804+t17830+ t17916; coeffs_dz->coeff_p2_m2_p2 = t17161+t17656+t17954+t17962; coeffs_dz->coeff_m2_m1_p2 = t17674+t17164+t17532+t17671; coeffs_dz->coeff_m1_m1_p2 = t17179+t17659+t17669; coeffs_dz->coeff_0_m1_p2 = t17192+t17688+t17692; coeffs_dz->coeff_p1_m1_p2 = t17175+t17668+t17660; coeffs_dz->coeff_p2_m1_p2 = t17667+t17675+t15685+t17177+t17910; coeffs_dz->coeff_m2_0_p2 = t17191+t17694+t17684; coeffs_dz->coeff_m1_0_p2 = t17189+t17691+t17680; coeffs_dz->coeff_0_0_p2 = (t17041*t17145+t17545+t17095)*t17146+(t17019* t17141+t17093+t17467)*t17139+((t17066+t17069*t17145+RATIONAL(25.0,64.0)*t17141) *t17139+(t17065+t17069*t17141+RATIONAL(1.0,64.0)*t17145)*t17146+t17235)*t17140+ t17200+t17236; coeffs_dz->coeff_p1_0_p2 = t17687+t17680+t17197; coeffs_dz->coeff_p2_0_p2 = t17685+t17187+t17684; coeffs_dz->coeff_m2_p1_p2 = t17164+t17666+t17665+t17597; coeffs_dz->coeff_m1_p1_p2 = t17156+t17672+t17660; coeffs_dz->coeff_0_p1_p2 = t17689+t17194+t17688; coeffs_dz->coeff_p1_p1_p2 = t17167+t17659+t17673; coeffs_dz->coeff_p2_p1_p2 = t17253+t17675+t17152+t17670; coeffs_dz->coeff_m2_p2_p2 = t17661+t17160+t17655; coeffs_dz->coeff_m1_p2_p2 = t17778+t17173+t17736+t17245+t17811+t17824; coeffs_dz->coeff_0_p2_p2 = t17683+t17682+t17190; coeffs_dz->coeff_p1_p2_p2 = t15971+t17790+t17716+t17165+t17742+t17807; coeffs_dz->coeff_p2_p2_p2 = t17181+t17951+t17954+t17959+t17960;