fp t30715; fp t30750; fp t30779; fp t31096; fp t31648; fp t30693; fp t30692; fp t31208; fp t30778; fp t30780; fp t30782; fp t31072; fp t31647; fp t30781; fp t30783; fp t31094; fp t31259; fp t30321; fp t31646; fp t30706; fp t30675; fp t31056; fp t31645; fp t31172; fp t31147; fp t31644; fp t30684; fp t31065; fp t30899; fp t30663; fp t31643; fp t30657; fp t31642; fp t30734; fp t30602; fp t30695; fp t31095; fp t30907; fp t31641; fp t31246; fp t31197; fp t31144; fp t30890; fp t31640; fp t30223; fp t31639; fp t31021; fp t30658; fp t31064; fp t31638; fp t30784; fp t30245; fp t31086; fp t31637; fp t31164; fp t31008; fp t31043; fp t31636; fp t30711; fp t30718; fp t31635; fp t30689; fp t30688; fp t30592; fp t30968; fp t31634; fp t31139; fp t31059; fp t31633; fp t30698; fp t31632; fp t30768; fp t30637; fp t30776; fp t31066; fp t31631; fp t30758; fp t30639; fp t31630; fp t30703; fp t31225; fp t31629; fp t30704; fp t31146; fp t31628; fp t30707; fp t30661; fp t31082; fp t31627; fp t30660; fp t31128; fp t31083; fp t30650; fp t31626; fp t30678; fp t30716; fp t31625; fp t31102; fp t31624; fp t30747; fp t31060; fp t30543; fp t30745; fp t31191; fp t30544; fp t31623; fp t31216; fp t31206; fp t30552; fp t31622; fp t31222; fp t31209; fp t30541; fp t31621; fp t31097; fp t30547; fp t31192; fp t30546; fp t31620; fp t30759; fp t30730; fp t31619; fp t30710; fp t31145; fp t30457; fp t30765; fp t31214; fp t31618; fp t31167; fp t30762; fp t30553; fp t31617; fp t30667; fp t30687; fp t31616; fp t30729; fp t31177; fp t30731; fp t31160; fp t30406; fp t31615; fp t31614; fp t30690; fp t30721; fp t31125; fp t31613; fp t31105; fp t30527; fp t30761; fp t31188; fp t31612; fp t31093; fp t31611; fp t31260; fp t31610; fp t31254; fp t30719; fp t30998; fp t31219; fp t31609; fp t31263; fp t31608; fp t30739; fp t30737; fp t31607; fp t30720; fp t31264; fp t31606; fp t31223; fp t30991; fp t31217; fp t31045; fp t31605; fp t30702; fp t31604; fp t30924; fp t31077; fp t31024; fp t31603; fp t30741; fp t31114; fp t30915; fp t31602; fp t31002; fp t30733; fp t31111; fp t31031; fp t31601; fp t30913; fp t30958; fp t31600; fp t31266; fp t29631; fp t31109; fp t31003; fp t31599; fp t31181; fp t30686; fp t31100; fp t31027; fp t30239; fp t31458; fp t31598; fp t30619; fp t31041; fp t31050; fp t30604; fp t31036; fp t31442; fp t31597; fp t30571; fp t31596; fp t31595; fp t31148; fp t29895; fp t31594; fp t31123; fp t30598; fp t31014; fp t29588; fp t31593; fp t31238; fp t30348; fp t30972; fp t31592; fp t30894; fp t31591; fp t30618; fp t31049; fp t30953; fp t31461; fp t31252; fp t31199; fp t31590; fp t30471; fp t30590; fp t31012; fp t31589; fp t30593; fp t31023; fp t30222; fp t31476; fp t31235; fp t31200; fp t31588; fp t31190; fp t31040; fp t30502; fp t31587; fp t30255; fp t31486; fp t31265; fp t31586; fp t31016; fp t30904; fp t31585; fp t31202; fp t30600; fp t31005; fp t29552; fp t31584; fp t30664; fp t31101; fp t30986; fp t31583; fp t31149; fp t31038; fp t29956; fp t30606; fp t31006; fp t31582; fp t30601; fp t31044; fp t31581; fp t31124; fp t31011; fp t31580; fp t31015; fp t31579; fp t30621; fp t31052; fp t31099; fp t29886; fp t31578; fp t30603; fp t31462; fp t31577; fp t30596; fp t29510; fp t31203; fp t31576; fp t30495; fp t31575; fp t30911; fp t31574; fp t30287; fp t30599; fp t31009; fp t31441; fp t31573; fp t31091; fp t31071; fp t30954; fp t31572; fp t30922; fp t31463; fp t31112; fp t31571; fp t31570; fp t30754; fp t30751; fp t31569; fp t30757; fp t30760; fp t31568; fp t31162; fp t29658; fp t31567; fp t31033; fp t31566; fp t31565; fp t30981; fp t30714; fp t30725; fp t30610; fp t30888; fp t31156; fp t30740; fp t31119; fp t30722; fp t31564; fp t31563; fp t31230; fp t31010; fp t30616; fp t31022; fp t31562; fp t31079; fp t30622; fp t31001; fp t31561; fp t31113; fp t31560; fp t31211; fp t31201; fp t31559; fp t31204; fp t31558; fp t31557; fp t29887; fp t31556; fp t31267; fp t29628; fp t31555; fp t30595; fp t31554; fp t29621; fp t31553; fp t31140; fp t31034; fp t31552; fp t29946; fp t31551; fp t31017; fp t30608; fp t30385; fp t30971; fp t31550; fp t31549; fp t30993; fp t31168; fp t31032; fp t31548; fp t31547; fp t30163; fp t30164; fp t30170; fp t31546; fp t31545; fp t31187; fp t31048; fp t31205; fp t31544; fp t30674; fp t31179; fp t30892; fp t30709; fp t31244; fp t30931; fp t31543; fp t31542; fp t31039; fp t31541; fp t30679; fp t30662; fp t31058; fp t30928; fp t31540; fp t30994; fp t30665; fp t31258; fp t30694; fp t31169; fp t31539; fp t30951; fp t31142; fp t30896; fp t31538; fp t30440; fp t30771; fp t31026; fp t31537; fp t31262; fp t31536; fp t30999; fp t31535; fp t30777; fp t30749; fp t31019; fp t30506; fp t30996; fp t31534; fp t30258; fp t31030; fp t31533; fp t31532; fp t30388; fp t31531; fp t31530; fp t31198; fp t30626; fp t30625; fp t31529; fp t31092; fp t31037; fp t31528; fp t30919; fp t31070; fp t31251; fp t31018; fp t31527; fp t30933; fp t31526; fp t30937; fp t31249; fp t31184; fp t31053; fp t31525; fp t31524; fp t31523; fp t30397; fp t31522; fp t30648; fp t30646; fp t31521; fp t31218; fp t31120; fp t30939; fp t31482; fp t31256; fp t30985; fp t31468; fp t31242; fp t30629; fp t31054; fp t31165; fp t31349; fp t29943; fp t31520; fp t31474; fp t30982; fp t31448; fp t31122; fp t30857; fp t31250; fp t31519; fp t31232; fp t30955; fp t31439; fp t31410; fp t30861; fp t31518; fp t30859; fp t31517; fp t31152; fp t30855; fp t30944; fp t31224; fp t29958; fp t31516; fp t31515; fp t31143; fp t30973; fp t31514; fp t31080; fp t30921; fp t31513; fp t30967; fp t31233; fp t31078; fp t30950; fp t31171; fp t31512; fp t31511; fp t30952; fp t31510; fp t31158; fp t30362; fp t30942; fp t31509; fp t30654; fp t31196; fp t31257; fp t31508; fp t31157; fp t30979; fp t30925; fp t31076; fp t31507; fp t30656; fp t31234; fp t31506; fp t31505; fp t31241; fp t30977; fp t31504; fp t30539; fp t31129; fp t30887; fp t30959; fp t31503; fp t30623; fp t30469; fp t30964; fp t31502; fp t31501; fp t30763; fp t31243; fp t31500; fp t31108; fp t31499; fp t31047; fp t31498; fp t30437; fp t31497; fp t31496; fp t31495; fp t31494; fp t31493; fp t30708; fp t31492; fp t30752; fp t30897; fp t31491; fp t30717; fp t31490; fp t31067; fp t30938; fp t31488; fp t31110; fp t30918; fp t31487; fp t30284; fp t31485; fp t30726; fp t31175; fp t30949; fp t31484; fp t31483; fp t31253; fp t30485; fp t30727; fp t31084; fp t30995; fp t31481; fp t30331; fp t30735; fp t31090; fp t31480; fp t31479; fp t31478; fp t30683; fp t30975; fp t30680; fp t30980; fp t31477; fp t31475; fp t31473; fp t30390; fp t30769; fp t31472; fp t30742; fp t30932; fp t31471; fp t31470; fp t30609; fp t31469; fp t30677; fp t30275; fp t30682; fp t30997; fp t31467; fp t31004; fp t31466; fp t31464; fp t31180; fp t30914; fp t31460; fp t31459; fp t31457; fp t31456; fp t30614; fp t31455; fp t31261; fp t30427; fp t30767; fp t31454; fp t31453; fp t30659; fp t31452; fp t30770; fp t30671; fp t31126; fp t31451; fp t31450; fp t30988; fp t30748; fp t30723; fp t31449; fp t30992; fp t31446; fp t30655; fp t30884; fp t31445; fp t31443; fp t30713; fp t31440; fp t31073; fp t30499; fp t31438; fp t31227; fp t31155; fp t30936; fp t31436; fp t30613; fp t30379; fp t31221; fp t30965; fp t31435; fp t30519; fp t31434; fp t30893; fp t30934; fp t31433; fp t31432; fp t31431; fp t31154; fp t30901; fp t30691; fp t31430; fp t30738; fp t31141; fp t30728; fp t31183; fp t31429; fp t31428; fp t30926; fp t31427; fp t31426; fp t30487; fp t31161; fp t31425; fp t30423; fp t31178; fp t30930; fp t31248; fp t31424; fp t31231; fp t31423; fp t31422; fp t31421; fp t30666; fp t31063; fp t31240; fp t31420; fp t31419; fp t30517; fp t30895; fp t31418; fp t31417; fp t30681; fp t31115; fp t31226; fp t31416; fp t31415; fp t31414; fp t30746; fp t30775; fp t31106; fp t31413; fp t30176; fp t30756; fp t31121; fp t30605; fp t30705; fp t31412; fp t31411; fp t30491; fp t31130; fp t30912; fp t31409; fp t31408; fp t30566; fp t31407; fp t31406; fp t31405; fp t30442; fp t29927; fp t30987; fp t31404; fp t30905; fp t31403; fp t30467; fp t29810; fp t30970; fp t31402; fp t30736; fp t31401; fp t31400; fp t29806; fp t31399; fp t30990; fp t31398; fp t29931; fp t30957; fp t31397; fp t31020; fp t30886; fp t31396; fp t31395; fp t31104; fp t31394; fp t30493; fp t29911; fp t30962; fp t31393; fp t31392; fp t30267; fp t31391; fp t31193; fp t31228; fp t30482; fp t31390; fp t31207; fp t31098; fp t31195; fp t31055; fp t31389; fp t31388; fp t30507; fp t30607; fp t31387; fp t30989; fp t31386; fp t31170; fp t31385; fp t31384; fp t31229; fp t31383; fp t30351; fp t31382; fp t31173; fp t30488; fp t31255; fp t31381; fp t31380; fp t31379; fp t31378; fp t31189; fp t30927; fp t31377; fp t31376; fp t31057; fp t30732; fp t30961; fp t31375; fp t30563; fp t31374; fp t31373; fp t31134; fp t31372; fp t31151; fp t31371; fp t31370; fp t31369; fp t31150; fp t30945; fp t31368; fp t31367; fp t30542; fp t31366; fp t31365; fp t30984; fp t31364; fp t31363; fp t31132; fp t31362; fp t31035; fp t31361; fp t31360; fp t31359; fp t31358; fp t31357; fp t31356; fp t30908; fp t31355; fp t31354; fp t31353; fp t31352; fp t31351; fp t31350; fp t31348; fp t31347; fp t30416; fp t30496; fp t30872; fp t31346; fp t31194; fp t30574; fp t31345; fp t30354; fp t31344; fp t31343; fp t31342; fp t31341; fp t31340; fp t31339; fp t30929; fp t31338; fp t31337; fp t31336; fp t31335; fp t31136; fp t31334; fp t30946; fp t30943; fp t31333; fp t31332; fp t31153; fp t30438; fp t30572; fp t31331; fp t31330; fp t31329; fp t31215; fp t31328; fp t30940; fp t31327; fp t30916; fp t31326; fp t31325; fp t31068; fp t30492; fp t31324; fp t31323; fp t31322; fp t31321; fp t31320; fp t31319; fp t31318; fp t31317; fp t31316; fp t30456; fp t30589; fp t31315; fp t31314; fp t31061; fp t31182; fp t31313; fp t31312; fp t31311; fp t31310; fp t31127; fp t31309; fp t31308; fp t31307; fp t31306; fp t31305; fp t31304; fp t31303; fp t30537; fp t31116; fp t31302; fp t31301; fp t31300; fp t31212; fp t30560; fp t31299; fp t31298; fp t30966; fp t30645; fp t31297; fp t31296; fp t31295; fp t31294; fp t31293; fp t31292; fp t31291; fp t31290; fp t31289; fp t31288; fp t31287; fp t31286; fp t31285; fp t31284; fp t30525; fp t30638; fp t30534; fp t31283; fp t29870; fp t31282; fp t30516; fp t31281; fp t30858; fp t31280; fp t31279; fp t31075; fp t31278; fp t31277; fp t31276; fp t31275; fp t31117; fp t31274; fp t30956; fp t31273; fp t31272; fp t31176; fp t31138; fp t31271; fp t30522; fp t31270; fp t31269; fp t31268; fp t31239; fp t30612; fp t30617; fp t30764; fp t31159; fp t30611; fp t30615; fp t31137; fp t31135; fp t31133; fp t31103; fp t31081; fp t31069; fp t31046; fp t30983; fp t30976; fp t30974; fp t30383; fp t30969; fp t30947; fp t30910; fp t30900; fp t30889; fp t30883; fp t30881; fp t30880; fp t30696; fp t30753; fp t30697; fp t30877; fp t30724; fp t30766; fp t30712; fp t30876; fp t30875; fp t30874; fp t30670; fp t30873; fp t30871; fp t30869; fp t30868; fp t30867; fp t30866; fp t30864; fp t30863; fp t30862; fp t30860; fp t30856; fp t30672; fp t30854; fp t30651; fp t30699; fp t30853; fp t30852; fp t30851; fp t30676; fp t30850; fp t30849; fp t30685; fp t30848; fp t30847; fp t30846; fp t30845; fp t30844; fp t30843; fp t30842; fp t30841; fp t30840; fp t30839; fp t30838; fp t30837; fp t30836; fp t30835; fp t30834; fp t30833; fp t30832; fp t30831; fp t30830; fp t30829; fp t30828; fp t30827; fp t30826; fp t30825; fp t30824; fp t30823; fp t30822; fp t30821; fp t30820; fp t30819; fp t30818; fp t30817; fp t30816; fp t30815; fp t30814; fp t30813; fp t30812; fp t30811; fp t30810; fp t30809; fp t30808; fp t30807; fp t30806; fp t30805; fp t30804; fp t30803; fp t30802; fp t30801; fp t30800; fp t30799; fp t30798; fp t30797; fp t30796; fp t30795; fp t30794; fp t30793; fp t30792; fp t30791; fp t30790; fp t30789; fp t30774; fp t30744; fp t30743; fp t30701; fp t30700; fp t30673; fp t30669; fp t30668; t30715 = RATIONAL(-2.0,27.0); t30750 = RATIONAL(1.0,9.0); t30779 = z*z; t31096 = t30750*t30779; t31648 = t30715+t31096; t30693 = RATIONAL(1.0,576.0); t30692 = RATIONAL(-1.0,576.0); t31208 = y*t30692; t30778 = x*x; t30780 = y*y; t30782 = t30780*y; t31072 = t30778*t30782; t31647 = t30778*t31208+t30693*t31072; t30781 = x*t30778; t30783 = t30780*t30780; t31094 = t30781*t30783; t31259 = x*t30783; t30321 = t30692*t31259; t31646 = t30693*t31094+t30321; t30706 = RATIONAL(1.0,27.0); t30675 = RATIONAL(-1.0,108.0); t31056 = t30675*t30781; t31645 = x*t30706+t31056; t31172 = t30780*t30779; t31147 = t30693*t30779; t31644 = t30692*t31172+t30783*t31147; t30684 = RATIONAL(1.0,288.0); t31065 = t30782*t30684; t30899 = t30779*t31065; t30663 = RATIONAL(1.0,432.0); t31643 = t30899+y*t30663; t30657 = RATIONAL(-1.0,3456.0); t31642 = (t31147+t30657)*t30780; t30734 = RATIONAL(1.0,18.0); t30602 = t30734*x; t30695 = RATIONAL(-1.0,72.0); t31095 = t30695*t30779; t30907 = t30781*t31095; t31641 = t30907+t30779*t30602; t31246 = x*t30779; t31197 = y*t31246; t31144 = t30782*t30779; t30890 = t30781*t31144; t31640 = t30890+t31197; t30223 = t30692*t31094; t31639 = t30223+t30693*t31259; t31021 = x*t31095; t30658 = RATIONAL(-1.0,1728.0); t31064 = t30658*t30781; t31638 = t31064+t31021; t30784 = t30778*t30778; t30245 = t30784*t31208; t31086 = t30784*t30693; t31637 = t30782*t31086+t30245; t31164 = t30781*t30779; t31008 = y*t31164; t31043 = x*t31144; t31636 = t31043+t31008; t30711 = RATIONAL(-1.0,54.0); t30718 = RATIONAL(2.0,27.0); t31635 = t30711*t30783+t30780*t30718; t30689 = RATIONAL(-1.0,144.0); t30688 = RATIONAL(1.0,144.0); t30592 = t30688*t30781; t30968 = t30779*t30592; t31634 = t30689*t31246+t30968; t31139 = t30778*t30783; t31059 = t30784*t30780; t31633 = t31139+t31059; t30698 = RATIONAL(1.0,54.0); t31632 = t30784*t30698+t30778*t31096; t30768 = RATIONAL(-8.0,9.0); t30637 = t30768*y; t30776 = RATIONAL(2.0,9.0); t31066 = t30779*t30776; t31631 = t30782*t31066+t30779*t30637; t30758 = RATIONAL(-2.0,9.0); t30639 = t30758*t30783; t31630 = t30734*t31094+x*t30639; t30703 = RATIONAL(-1.0,18.0); t31225 = x*t30776; t31629 = t30703*t31094+t30783*t31225; t30704 = RATIONAL(-1.0,36.0); t31146 = t30704*t30779; t31628 = t30783*t31146+t31648*t30780; t30707 = RATIONAL(4.0,27.0); t30661 = RATIONAL(-16.0,27.0); t31082 = t30779*t30758; t31627 = x*t30661+(t31082+t30707)*t30781; t30660 = RATIONAL(1.0,1152.0); t31128 = t30780*t30778; t31083 = t30660*t30783; t30650 = RATIONAL(-1.0,1152.0); t31626 = t30650*t31059+t30660*t31128+t30784*t31083; t30678 = RATIONAL(16.0,27.0); t30716 = RATIONAL(-4.0,27.0); t31625 = x*t30678+(t31066+t30716)*t30781; t31102 = t30692*t30782; t31624 = y*t31147+t30779*t31102; t30747 = RATIONAL(1.0,6.0); t31060 = t30782*t30747; t30543 = t30779*t31060; t30745 = RATIONAL(-1.0,6.0); t31191 = t30745*t30779; t30544 = y*t31191; t31623 = t30544+t30543; t31216 = z*RATIONAL(2.0,3.0); t31206 = z*t30747; t30552 = t30783*t31206; t31622 = t30552+t31216; t31222 = z*RATIONAL(-2.0,3.0); t31209 = z*t30745; t30541 = t30783*t31209; t31621 = t30541+t31222; t31097 = t30745*t30782; t30547 = t30779*t31097; t31192 = t30747*t30779; t30546 = y*t31192; t31620 = t30547+t30546; t30759 = RATIONAL(-5.0,3.0); t30730 = RATIONAL(-5.0,12.0); t31619 = t30730*t30783+t30759; t30710 = RATIONAL(-1.0,12.0); t31145 = t30710*t30783; t30457 = z*t31145; t30765 = RATIONAL(-1.0,3.0); t31214 = z*t30765; t31618 = t31214+t30457; t31167 = t30779*RATIONAL(-4.0,3.0); t30762 = RATIONAL(1.0,3.0); t30553 = t30762*t31164; t31617 = t30553+x*t31167; t30667 = RATIONAL(5.0,288.0); t30687 = RATIONAL(-5.0,288.0); t31616 = y*t30687+t30667*t30782; t30729 = RATIONAL(-1.0,24.0); t31177 = t30729*t30779; t30731 = RATIONAL(1.0,24.0); t31160 = t30731*t30779; t30406 = t30781*t31160; t31615 = x*t31177+t30406; t31614 = t31648*x; t30690 = RATIONAL(-5.0,576.0); t30721 = RATIONAL(-1.0,96.0); t31125 = t30721*t30779; t31613 = t30690*t30783+t30780*t31125; t31105 = t30779*t30765; t30527 = t30782*t31105; t30761 = RATIONAL(4.0,3.0); t31188 = t30761*t30779; t31612 = t30527+y*t31188; t31093 = t30721*t30783; t31611 = t30780*t30690+t30779*t31093; t31260 = t30784*y; t31610 = t31072+t31260; t31254 = t30784*z; t30719 = RATIONAL(1.0,96.0); t30998 = t30719*t31254; t31219 = z*t30731; t31609 = t30998+t31219; t31263 = z*t30783; t31608 = t30719*t31263+t31219; t30739 = RATIONAL(-5.0,18.0); t30737 = RATIONAL(10.0,9.0); t31607 = t30781*t30739+x*t30737; t30720 = RATIONAL(-5.0,96.0); t31264 = z*t30780; t31606 = t30720*t31264+t31608; t31223 = z*t30704; t30991 = t30780*t31223; t31217 = z*t30689; t31045 = t30783*t31217; t31605 = t30781*t30991+x*t31045; t30702 = RATIONAL(1.0,12.0); t31604 = x*t31105+t30702*t31164; t30924 = t30689*t31072; t31077 = t30784*t30704; t31024 = z*t31077; t31603 = y*t31024+z*t30924; t30741 = RATIONAL(1.0,72.0); t31114 = t30780*t30741; t30915 = t30779*t31114; t31602 = t30658*t31139+t30784*t30915; t31002 = z*t31059; t30733 = RATIONAL(1.0,36.0); t31111 = t30688*t30783; t31031 = z*t31111; t31601 = t30778*t31031+t30733*t31002; t30913 = t30741*t31139; t30958 = t30684*t31059; t31600 = (t30958+t30913)*z; t31266 = y*z; t29631 = t30592*t31266; t31109 = t30782*t30733; t31003 = z*t31109; t31599 = x*t31003+t29631; t31181 = t30778*t30741; t30686 = RATIONAL(-1.0,288.0); t31100 = t30686*t30782; t31027 = z*t31100; t30239 = t30784*t31065; t31458 = t30778*t31027+z*t30239; t31598 = t31181*t31266+t31458; t30619 = t30703*t30778; t31041 = z*t30619; t31050 = z*t31072; t30604 = t30695*t30782; t31036 = z*t30604; t31442 = t30734*t31050+t30784*t31036; t31597 = y*t31041+t31442; t30571 = t30781*t31105; t31596 = t30571+x*t31188; t31595 = t30779*t30913+t30658*t31059; t31148 = t30703*t30781; t29895 = t31148*t31266; t31594 = x*t31036+t29895; t31123 = t30781*t30704; t30598 = t30689*t30782; t31014 = z*t30598; t29588 = x*t31014; t31593 = t31123*t31266+t29588; t31238 = y*t30733; t30348 = t30784*t31238; t30972 = t30688*t31072; t31592 = (t30972+t30348)*z; t30894 = t30784*t31095; t31591 = t30706*t31139+t30780*t30894; t30618 = t30741*t30781; t31049 = z*t30618; t30953 = t30780*t31148; t31461 = z*t30953+t30783*t31049; t31252 = x*t30780; t31199 = z*t31252; t31590 = t31461+t30734*t31199; t30471 = t30695*t31059; t30590 = t30686*t30783; t31012 = z*t30590; t31589 = z*t30471+t30778*t31012; t30593 = t30684*t30778; t31023 = z*t30593; t30222 = t30784*t31100; t31476 = z*t30222+t30782*t31023; t31235 = z*t30778; t31200 = y*t31235; t31588 = t31476+t30695*t31200; t31190 = t30780*t30781; t31040 = z*t31190; t30502 = t30704*t31259; t31587 = t30689*t31040+z*t30502; t30255 = t30684*t31094; t31486 = z*t30255+t30686*t31040; t31265 = x*z; t31586 = t31486+t31114*t31265; t31016 = t30784*t31217; t30904 = t30704*t31072; t31585 = y*t31016+z*t30904; t31202 = z*t31238; t30600 = t30688*t30782; t31005 = z*t30600; t29552 = x*t31005; t31584 = t30781*t31202+t29552; t30664 = RATIONAL(-1.0,432.0); t31101 = t30784*t30664; t30986 = t30778*t31066; t31583 = t30780*t30986+t30783*t31101; t31149 = t30781*t30734; t31038 = z*t31149; t29956 = y*t31038; t30606 = t30741*t30782; t31006 = z*t30606; t31582 = t29956+x*t31006; t30601 = t30688*y; t31044 = t30784*t30601; t31581 = z*t31044+t30778*t31003; t31124 = t30733*t30783; t31011 = z*t31124; t31580 = x*t31011+t30688*t31040; t31015 = x*t31111; t31579 = t30733*t31040+z*t31015; t30621 = t30695*t30781; t31052 = z*t30621; t31099 = t30703*t30782; t29886 = t31099*t31265; t31578 = y*t31052+t29886; t30603 = t30703*t30780; t31462 = t30780*t31038+t30783*t31052; t31577 = t30603*t31265+t31462; t30596 = t30689*t30781; t29510 = t30596*t31266; t31203 = x*t31223; t31576 = t29510+t30782*t31203; t30495 = t30695*t31139; t31575 = t30686*t31002+z*t30495; t30911 = t30783*t30593; t31574 = z*t30911+t30741*t31002; t30287 = t30686*t31094; t30599 = t30684*t30780; t31009 = z*t30599; t31441 = z*t30287+t30781*t31009; t31573 = t31441+t30695*t31199; t31091 = t30663*t30783; t31071 = t30686*t30780; t30954 = t30779*t31071; t31572 = t30778*t30954+t30784*t31091; t30922 = t30784*t30606; t31463 = t30782*t31041+z*t30922; t31112 = t30778*t30734; t31571 = t31463+t31112*t31266; t31570 = t30706*t31059+t30779*t30495; t30754 = RATIONAL(1.0,2.0); t30751 = RATIONAL(-5.0,8.0); t31569 = t30751*t30778+t30754; t30757 = RATIONAL(5.0,2.0); t30760 = RATIONAL(-2.0,1.0); t31568 = t30757*t30778+t30760; t31162 = t30782*t30734; t29658 = t31162*t31265; t31567 = y*t31049+t29658; t31033 = z*t31139; t31566 = t30784*t30991+t30689*t31033; t31565 = t30704*t31033+t30689*t31002; t30981 = t30779*t31059; t30714 = RATIONAL(5.0,72.0); t30725 = RATIONAL(-1.0,48.0); t30610 = t30725*t30783; t30888 = t30784*t30610; t31156 = t30714*t31128+t30779*t30888; t30740 = RATIONAL(-5.0,72.0); t31119 = t30740*t30783; t30722 = RATIONAL(1.0,48.0); t31564 = t31156+t30722*t30981+t30778*t31119; t31563 = t30688*t31002+t30778*t31011; t31230 = x*t30758; t31010 = t30780*t31230; t30616 = t30734*t30783; t31022 = z*t30616; t31562 = x*t31022+t31462+z*t31010; t31079 = t30778*t30758; t30622 = t30734*t30784; t31001 = y*t30622; t31561 = t31079*t31266+z*t31001+t31442; t31113 = t30784*t30684; t31560 = t31476+t30686*t31200+t31113*t31266; t31211 = z*t30684; t31201 = x*t31211; t31559 = t31441+t31071*t31265+t30783*t31201; t31204 = y*t31254; t31558 = t31463+t30703*t31204+t30776*t31200; t31557 = t31486+(t31009+t31012)*x; t29887 = t30781*t31006; t31556 = t31225*t31266+t29887+t29895+t29886; t31267 = y*x; t29628 = t30781*t31014; t31555 = t29631+t29628+t29552+t31217*t31267; t30595 = t30686*t30784; t31554 = t31458+t30595*t31266+y*t31023; t29621 = t30781*t31005; t31553 = t29588+t29510+t29621+t30601*t31265; t31140 = t30703*t30783; t31034 = t30780*t31225; t31552 = z*t31034+t31461+t31140*t31265; t29946 = t30781*t31036; t31551 = t29956+t29946+t29658+t31230*t31266; t31017 = z*t31128; t30608 = t30741*t30783; t30385 = t30784*t30608; t30971 = t30703*t31059; t31550 = t30703*t31033+t30776*t31017+(t30971+t30385)*z; t31549 = t31641*t30783+t31645*t30780; t30993 = t30693*t31235; t31168 = t30784*t30783; t31032 = z*t31168; t31548 = t30783*t30993+t30693*t31002+(t31032+t31017)*t30692; t31547 = t30758*t31017+t30695*t31032+t30734*t31002+t30778*t31022; t30163 = t30650*t31168; t30164 = t30660*t31059; t30170 = t30778*t31083; t31546 = t30650*t31017+(t30163+t30164+t30170)*z; t31545 = t31645*t30783+t31641*t30780; t31187 = t30781*t30782; t31048 = z*t31187; t31205 = t30686*t31266; t31544 = x*t31027+y*t31201+t30684*t31048+t30781*t31205; t30674 = RATIONAL(1.0,108.0); t31179 = t30674*t30781; t30892 = t30741*t31164; t30709 = RATIONAL(-1.0,27.0); t31244 = x*t30709; t30931 = t30779*t31140; t31543 = t30783*t30892+x*t30931+(t31179+t31244)*t30780; t31542 = y*t30993+t30692*t31050+t31637*z; t31039 = t30692*t31264; t31541 = t30781*t31039+t30693*t31199+t31646*z; t30679 = RATIONAL(-1.0,216.0); t30662 = RATIONAL(1.0,216.0); t31058 = t30778*t30662; t30928 = t30689*t31144; t31540 = t30679*t31072+t30784*t30928+y*t31058+t30779*t31044; t30994 = t30778*t31238; t30665 = RATIONAL(1.0,864.0); t31258 = y*t30665; t30694 = RATIONAL(-1.0,864.0); t31169 = t30694*t30782; t31539 = (t30994+t30904)*t30779+(t31169+t31258)*t30784; t30951 = t30779*t31123; t31142 = t30780*t30733; t30896 = t30779*t31142; t31538 = t30665*t31259+t30694*t31094+t30780*t30951+x*t30896; t30440 = t30704*t31094; t30771 = RATIONAL(-4.0,9.0); t31026 = t30750*t31263; t31537 = x*t31026+t30771*t31199+t30750*t31040+z*t30440; t31262 = y*t30781; t31536 = t30781*t31027+t31211*t31262+t31065*t31265+x*t31205; t30999 = t30750*t31254; t31535 = t30778*t31026+t30771*t31017+t30780*t30999+t30783*t31024; t30777 = RATIONAL(4.0,9.0); t30749 = RATIONAL(-1.0,9.0); t31019 = t30749*t31263; t30506 = t30733*t31094; t30996 = t30749*t31264; t31534 = t30781*t30996+x*t31019+z*t30506+t30777*t31199; t30258 = t30784*t31102; t31030 = z*t31086; t31533 = y*t31030+(t30258+t31647)*z; t31532 = t30780*t30993+t30783*t31030+(t31033+t31002)*t30692; t30388 = t30784*t31109; t31531 = t30777*t31200+z*t30388+(t31204+t31050)*t30749; t31530 = x*t31039+t30693*t31040+t31639*z; t31198 = t30771*t31266; t30626 = t30750*t30782; t30625 = t30750*t30781; t31529 = x*t31198+t30704*t31048+t30626*t31265+t30625*t31266; t31092 = t30674*t30783; t31037 = x*t31172; t31528 = t30781*t31092+t30783*t31244+t30703*t31037+t30780*t30892; t30919 = t30779*t31109; t31070 = t30665*t30782; t31251 = y*t30778; t31018 = t30704*t31251; t31527 = t30694*t31260+t30779*t31018+t30784*t31070+t30778*t30919; t30933 = t30779*t30596; t31526 = t30688*t31037+t30662*t31259+t30679*t31094+t30780*t30933; t30937 = t30784*t31144; t31249 = t30679*y; t31184 = t30784*t30779; t31053 = y*t31184; t31525 = t30782*t31058+t30688*t30937+t30778*t31249+t30689*t31053; t31524 = t30778*t31019+t30777*t31017+(t30996+t31011)*t30784; t31523 = t30650*t31033+t31626*z; t30397 = t30782*t31077; t31522 = t30750*t31050+t30778*t31198+y*t30999+z*t30397; t30648 = t30749*t30781; t30646 = t30749*t30782; t31521 = t30648*t31266+t30781*t31003+(t30646+t30777*y)*t31265; t31218 = y*t30715; t31120 = t30778*t30709; t30939 = t30779*t30608; t31482 = t30784*t30939+t30780*t31120; t31256 = x*t30782; t30985 = t30779*t31112; t31468 = t30675*t31168+t30780*t30985; t31242 = x*t30718; t30629 = t30749*y; t31054 = t30779*t30629; t31165 = t30781*t30698; t31349 = x*t31054+t30782*t31165+y*t31242+t30704*t30890+t31468; t29943 = x*t30919; t31520 = t30750*t31008+t31349+t31482+t30781*t31218+t29943+t30711*t31256; t31474 = t30664*t31059+t30779*t30911; t30982 = t30779*t31168; t31448 = t30663*t31128+t30686*t30982; t31122 = t30679*t30781; t30857 = t30783*t30933+t30662*t31252+t30780*t31122+t30779*t31015+t31448+ t31474; t31250 = x*t30679; t31519 = t30662*t31094+t30783*t31250+t30857+t31634*t30780; t31232 = x*t30675; t30955 = t30779*t31149; t31439 = t30674*t31059+t30778*t30931; t31410 = t31439+t31482; t30861 = t31410+t31549; t31518 = t30779*t31010+t30781*t31091+t30780*t30955+t30861+t30783*t31232; t30859 = t31410+t31543; t31517 = x*t31092+t30859+t30664*t31094+(t30953+t31034)*t30779; t31152 = t30781*t30711; t30855 = t31468+t30782*t31152+t30733*t30890+t31482+t31614*y; t30944 = t30779*t30648; t31224 = x*t30698; t29958 = t30704*t31043; t31516 = t30782*t31224+y*t30944+t30855+t29958+t30718*t31262; t31515 = t30781*t30896+t30857+t30665*t31094+t30704*t31037+t30694*t31259; t31143 = t30674*t30782; t30973 = t30741*t30890+y*t31179+x*t31143; t31514 = t30973+t30741*t31197+(t31021+t31056)*t30782+(t31232+t30907)*y; t31080 = t30664*t30782; t30921 = t30779*t31099; t31513 = t31066*t31267+t30781*t31080+t30703*t31008+t30973+y*t31244+x* t30921; t30967 = t30734*t31144; t31233 = y*t30706; t31078 = t30675*t30782; t30950 = y*t31056+x*t31078+t30695*t30890; t31171 = t30782*t30663; t31512 = t30950+t31082*t31267+y*t30955+t30781*t31171+(t30967+t31233)*x; t31511 = t30950+t30781*t31143+t30741*t31043+t30674*t31267+(t30892+t31021) *y; t30952 = t30779*t31139; t31510 = t30650*t30952+(t31128+t31168)*RATIONAL(-1.0,6912.0)+t31633* RATIONAL(1.0,6912.0)+t31626*t30779; t31158 = t30784*t30711; t30362 = y*t31077; t30942 = t30749*t31144; t31509 = t30718*t31072+t30784*t30919+t30782*t31158+t30779*t30362+(t31218+ t30942)*t30778+t31632*y; t30654 = RATIONAL(1.0,1728.0); t31196 = t30654*t30782; t31257 = y*t30654; t31508 = t30782*t31064+t30658*t31267+x*t31196+t30781*t31257+t31640*t30684 +t31636*t30686; t31157 = t30658*t30782; t30979 = t30779*t31072; t30925 = t30779*t31181; t31076 = t30664*t30778; t31507 = t30686*t30979+t30654*t31072+(t31076+t30925+t30894)*y+(t31157+ t31643)*t30784; t30656 = RATIONAL(1.0,3456.0); t31234 = x*t30656; t31506 = t30656*t31190+t30779*t30321+t30657*t31094+t30783*t31234+t31644* t30781+t31642*x; t31505 = t30780*t30944+t30783*t31224+t30779*t30506+t31635*t30781+t31628*x ; t31241 = x*t30664; t30977 = t30684*t31164; t31504 = t30779*t30287+t30663*t31252+t30654*t31094+t30783*t31241+x*t30939 +(t30977+t31638)*t30780; t30539 = t30776*t31139; t31129 = t30784*t30706; t30887 = t30784*t31066; t30959 = t30768*t31172; t31503 = t30779*t30539+t30778*t30959+t30783*t31129+t30678*t31128+t30780* t30887+t30784*t30931+t31633*t30716; t30623 = t30741*t30784; t30469 = y*t30623; t30964 = t30778*t31095; t31502 = t30784*t31196+t30686*t30937+t30658*t31072+t30779*t30469+t31643* t30778+(t31101+t30964)*y; t31501 = t30654*t31190+t30780*t31241+t30781*t30954+t30779*t30255+t31638* t30783+(t30915+t31091)*x; t30763 = RATIONAL(8.0,9.0); t31243 = x*t30707; t31500 = t30763*t31037+t30783*t31243+t30709*t31094+t31630*t30779+t31627* t30780; t31108 = t30706*t30782; t31499 = t30716*t31256+t30781*t31108+t30703*t30890+t31631*x+t31625*y; t31047 = t30779*t31238; t31498 = t30715*t31072+t30784*t31047+t30704*t30937+t30718*t31251+t30778* t31054+y*t31158+t31632*t30782; t30437 = x*t31124; t31497 = t30698*t31094+t30749*t31037+t30779*t30437+t31635*x+t31628*t30781 ; t31496 = t30656*t31094+t30780*t31234+t30779*t30223+t30657*t31259+t31642* t30781+t31644*x; t31495 = x*t30959+t30716*t31259+t30706*t31094+t31629*t30779+t31625*t30780 ; t31494 = t30758*t31043+t30763*t31197+t30709*t31187+t30734*t30890+t30782* t31243+t31627*y; t31493 = t30654*t31187+t31640*t30686+(t31064+t30977)*y+(t31157+t31257+ t30899)*x; t30708 = RATIONAL(1.0,32.0); t31492 = t30708*t30982+RATIONAL(-25.0,192.0)*t31128; t30752 = RATIONAL(5.0,3.0); t30897 = t30752*t31172; t31491 = t30784*t31140+t30778*t30897; t30717 = RATIONAL(5.0,96.0); t31490 = t30783*t30998+t30717*t31017; t31067 = t30784*t30667; t30938 = t30710*t31172; t31488 = t30783*t31067+t30778*t30938; t31110 = t30702*t30783; t30918 = t30778*t31110; t31487 = t30687*t31059+t30779*t30918; t30284 = t30783*t31113; t31485 = t30741*t31017+z*t30284; t30726 = RATIONAL(-5.0,48.0); t31175 = t30778*t30726; t30949 = t30779*t31175; t31484 = t30780*t30949+t30385; t31483 = t30783*t31076+t30779*t30958; t31253 = z*t30722; t30485 = t30783*t31253; t30727 = RATIONAL(5.0,12.0); t31084 = t30780*t30727; t30995 = z*t31084; t31481 = t30784*t30485+t30778*t30995; t30331 = t30784*t31110; t30735 = RATIONAL(-10.0,9.0); t31090 = t30735*t30780; t31480 = t30778*t31090+t30779*t30331; t31479 = x*t30991+t30781*t31045; t31478 = t30695*t31017+t30784*t31012; t30683 = RATIONAL(1.0,192.0); t30975 = t30683*t31168; t30680 = RATIONAL(5.0,192.0); t30980 = t30680*t31128; t31477 = (t30975+t30980)*z; t31475 = t30784*t31031+t30733*t31017; t31473 = t30654*t31168+t30780*t30964; t30390 = t30783*t31219; t30769 = RATIONAL(5.0,6.0); t31472 = t30769*t31017+t30784*t30390; t30742 = RATIONAL(5.0,18.0); t30932 = t30784*t31105; t31471 = t30780*t30932+t30742*t31139; t31470 = t29621+x*t31202; t30609 = t30734*y; t31469 = t30609*t31265+t29887; t30677 = RATIONAL(-1.0,192.0); t30275 = t30677*t31168; t30682 = RATIONAL(-5.0,192.0); t30997 = t30682*t31235; t31467 = z*t30275+t30780*t30997; t31004 = t30721*t31254; t31466 = t30720*t31017+t30783*t31004; t31464 = t30778*t30991+t30783*t31016; t31180 = t30778*t30730; t30914 = t30779*t31180; t31460 = t30284+t30780*t30914; t31459 = y*t31203+t29628; t31457 = t30784*t31005+z*t30994; t31456 = t30781*t31031+t31142*t31265; t30614 = t30703*y; t31455 = t30614*t31265+t29946; t31261 = z*t30729; t30427 = t30783*t31261; t30767 = RATIONAL(-5.0,6.0); t31454 = t30784*t30427+t30767*t31017; t31453 = t30163+t30779*t30980; t30659 = RATIONAL(-5.0,1152.0); t31452 = t30779*t30975+t30659*t31128; t30770 = RATIONAL(-1.0,8.0); t30671 = RATIONAL(25.0,12.0); t31126 = t30671*t30778; t31451 = t30780*t31126+t30770*t30982; t31450 = t30784*t31014+z*t31018; t30988 = t30779*t31128; t30748 = RATIONAL(-5.0,2.0); t30723 = RATIONAL(5.0,48.0); t31449 = t30748*t30988+t30723*t31168; t30992 = t30730*t31264; t31446 = z*t30888+t30778*t30992; t30655 = RATIONAL(5.0,1152.0); t30884 = t30677*t31139; t31445 = t30655*t31059+t30779*t30884; t31443 = t30779*t30971+t30778*t31092; t30713 = RATIONAL(5.0,32.0); t31440 = t30713*t30988+t30682*t31168; t31073 = t30722*t30779; t30499 = t30783*t31073; t31438 = t30740*t31059+t30778*t30499; t31227 = z*t30781; t31155 = t30780*t30726; t30936 = t30781*t31155; t31436 = t30702*t31227+t30781*t30485+z*t30936; t30613 = t30725*t30784; t30379 = z*t30613; t31221 = z*t30782; t30965 = t30723*t31072; t31435 = t30710*t31221+t30782*t30379+z*t30965; t30519 = t30784*t31253; t31434 = t30782*t30519+t30702*t31221+t30726*t31050; t30893 = t30725*t31094; t30934 = t30723*t31190; t31433 = t30710*t31227+(t30934+t30893)*z; t31432 = t31455+t31475; t31431 = t31470+t31478; t31154 = t30719*t30779; t30901 = t30783*t31154; t30691 = RATIONAL(5.0,576.0); t31430 = t30691*t31252+x*t30901+t31611*t30781; t30738 = RATIONAL(-5.0,36.0); t31141 = t30780*t30738; t30728 = RATIONAL(5.0,36.0); t31183 = t30728*t30780; t31429 = t30781*t31183+x*t31141+t31615*t30783; t31428 = t31470+t31485; t30926 = t30778*t31188; t31427 = t30780*t30926+t30784*t31119+t31471; t31426 = t31438+t31488; t30487 = t30779*t31145; t31161 = t30667*t30781; t31425 = t30740*t31252+x*t30487+t30780*t31161+t30781*t30499; t30423 = y*t31177; t31178 = t30731*t30782; t30930 = t30784*t31178; t31248 = y*t30738; t31424 = t30728*t31072+t30778*t31248+t30779*t30930+t30784*t30423; t31231 = y*t30735; t31423 = y*t30932+t30778*t31231+t30702*t30937+t30742*t31072; t31422 = t31110*t31246+t30687*t31190+t30714*t31252+t30779*t30893; t31421 = t31464+t31469; t30666 = RATIONAL(-5.0,144.0); t31063 = t30781*t30666; t31240 = x*t30738; t31420 = x*t30546+t30782*t31063+t30731*t30890+y*t31240; t31419 = t31469+t31475; t30517 = x*t31160; t30895 = t30729*t31094; t31418 = t30783*t30517+x*t31183+t30781*t31141+t30779*t30895; t31417 = t31455+t31464; t30681 = RATIONAL(5.0,144.0); t31115 = t30681*t30782; t31226 = y*t30728; t31416 = t30781*t31115+t30729*t30890+(t31226+t30544)*x; t31415 = t30659*t31168+t30683*t30988+t31445; t31414 = t31459+t31478; t30746 = RATIONAL(5.0,8.0); t30775 = RATIONAL(-1.0,2.0); t31106 = t30775*t30784; t31413 = t30746*t30981+t30779*t31106+t31619*t30778; t30176 = t30680*t31139; t30756 = RATIONAL(1.0,8.0); t31121 = t30756*t30779; t30605 = t30723*t30778; t30705 = RATIONAL(-5.0,32.0); t31412 = t30784*t31121+t30176+t30605+t30705*t30981; t31411 = t30781*t30901+t30691*t31190+t31611*x; t30491 = y*t31160; t31130 = t30729*t30782; t30912 = t30784*t31130; t31409 = t30778*t31226+t30784*t30491+t30738*t31072+t30779*t30912; t31408 = t30471+t30603+t30487+t30723*t30952; t30566 = t30762*t31184; t31407 = t30737*t31251+t30739*t31072+y*t30566+t30710*t30937; t31406 = t31459+t31485; t31405 = t31487+t31488+t31564; t30442 = t30695*t31259; t29927 = z*t30442; t30987 = t29927+t31450; t31404 = t30987+t31581+t31586; t30905 = t29927+t31457; t31403 = t30905+t31585+t31586; t30467 = t30695*t31260; t29810 = z*t30467; t30970 = t29810+t31456; t31402 = t30970+t31571+t31587; t30736 = RATIONAL(5.0,24.0); t31401 = t30736*t31033+t30747*t31002+t30780*t31216+t30541+t31454; t31400 = t30970+t31598+t31605; t29806 = t30733*t31008; t31399 = y*t31122+x*t31169+t29806+t30688*t31043+t31602; t30990 = t29810+t31479; t31398 = t30990+t31579+t31598; t29931 = z*t30469; t30957 = t29931+t31479; t31397 = t30957+t31579+t31588; t31020 = z*t31093; t30886 = t30717*t31190; t31396 = z*t30886+t30729*t31227+t30781*t31020+t31606*x; t31395 = t30721*t31002+t30390+t30780*t31261+t30720*t31033+t31490; t31104 = t30781*t30662; t31394 = t31474+t31634*t30783+(t31104+t31250)*t30780; t30493 = x*t30608; t29911 = z*t30493; t30962 = t29911+t31450; t31393 = t30962+t31573+t31581; t31392 = t30782*t30998+t30720*t31050+t30717*t31200+z*t31178+(t31004+ t31261)*y; t30267 = t30680*t31059; t31391 = t30722*t31235+t30379+t30683*t31033+z*t30267+t31467; t31193 = t30778*t30727; t31228 = z*t30710; t30482 = t30784*t31228; t31390 = t31193*t31266+t31434+(t31214+t30482)*y; t31207 = y*t30662; t31098 = t30784*t30679; t31195 = t30778*t30779; t31055 = y*t31195; t31389 = t30779*t30924+t30688*t31055+t30782*t31098+t30784*t31207+t31572; t31388 = t31483+t31540; t30507 = z*t30610; t30607 = t30723*t30780; t31387 = t30607*t31265+t31436+(t31228+t30507)*x; t30989 = t29931+t31456; t31386 = t30989+t31587+t31597; t31170 = t30780*t30725; t31385 = z*t31170+t30677*t31002+t30485+t30783*t30997+t31477; t31384 = t31436+(t30995+t31618)*x; t31229 = z*t30702; t31383 = t31175*t31266+t31435+(t31229+t30519)*y; t30351 = z*t31110; t31382 = t30351+t30780*t31214+t30710*t31002+t30726*t31033+t31481; t31173 = t30784*t30702; t30488 = z*t31173; t31255 = z*t30762; t31381 = t31180*t31266+t31435+(t30488+t31255)*y; t31380 = t30488+t30726*t31002+t31481+t31618*t30778; t31379 = t30778*t31233+t30675*t31072+t30779*t31001+t30782*t30894+t31443; t31378 = t30962+t31577+t31592; t31189 = t30720*t30778; t30927 = t30717*t31072; t31377 = t30782*t31004+t31189*t31266+(t31130+t30927)*z+t31609*y; t31376 = t30729*t31235+t30720*t31002+t30784*t31219+t30778*t31020+t31490; t31057 = t30781*t30747; t30732 = RATIONAL(-5.0,24.0); t30961 = t30732*t31190; t31375 = t30769*t31199+t30781*t30390+(t30961+t31057)*z+t31621*x; t30563 = t30784*t31206; t31374 = t31472+t30563+t30732*t31002+t31621*t30778; t31373 = t30507+t30780*t31253+z*t30176+t30683*t31002+t31467; t31134 = t30781*t30694; t31372 = t30782*t31134+t30688*t30890+t31473+(t31047+t31249)*x; t31151 = t30778*t30725; t31371 = t30519+t30682*t31002+t31477+(t31151+t30884)*z; t31370 = t30717*t31199+(t31020+t31261)*x+t31606*t30781; t31369 = t31483+t31525; t31150 = t30745*t30781; t30945 = t30736*t31190; t31368 = t30767*t31199+t31622*x+(t31150+t30945+t30895)*z; t31367 = t31466+t30427+t30717*t31033+t31609*t30780; t30542 = t30784*t31209; t31366 = t30542+t30736*t31002+t31454+t31622*t30778; t31365 = t30905+t31590+t31603; t30984 = t29911+t31457; t31364 = t30984+t31577+t31603; t31363 = t31146*t31267+t30689*t30890+x*t31207+t30781*t31070+t31473; t31132 = t30780*t30762; t31362 = z*t31132+t30702*t31002+t30457+t30723*t31033+t31446; t31035 = t30779*t30614; t31361 = t30779*t30922+y*t31120+t30674*t31072+t30784*t31035+t31443; t31360 = t31466+t30729*t31254+t30717*t31002+t31608*t30778; t31359 = t30987+t31590+t31592; t31358 = t30605*t31266+t31434+(t31228+t30379)*y; t31357 = t30957+t31580+t31597; t31356 = t30984+t31573+t31585; t30908 = t30723*t31059; t31355 = t30762*t31235+t30482+t31446+(t30918+t30908)*z; t31354 = t30745*t31002+t30732*t31033+t30552+t30780*t31222+t31472; t31353 = t31155*t31265+t31433+(t30485+t31229)*x; t31352 = t31433+(t30992+t31255+t30351)*x; t31351 = t30990+t31571+t31580; t31350 = t30769*t31200+t30732*t31050+(t30930+t31060)*z+(t30542+t31222)*y; t31348 = t30767*t31200+t30736*t31050+(t30912+t31097)*z+(t30563+t31216)*y; t31347 = t30989+t31588+t31605; t30416 = t30702*t31195; t30496 = t30710*t31184; t30872 = t30495+t30619+t30779*t30908+t30496+t31156; t31346 = t30416+t30872+t30622+t31438+t31484; t31194 = t30779*t30762; t30574 = t30778*t31194; t31345 = t30623+t30872+t30574+t31460+t31487; t30354 = t30702*t31172; t31344 = t31408+t30354+t30616+t31484+t31564; t31343 = t31431+t31574+t31593; t31342 = t31428+t31575+t31576; t31341 = t31548+t31553; t31340 = t31548+t31555; t31339 = t31522+t31524; t30929 = t30780*t31154; t31338 = t30691*t31094+t30781*t30929+t31430+t31613*x; t31337 = t31431+t31576+t31600; t31336 = t31554+t31559; t31335 = t31521+t31537; t31136 = t30687*t30782; t31334 = t30781*t31136+t31073*t31267+y*t31161+t30722*t30890+t31636*t30725 +t31616*x; t30946 = t30745*t31172; t30943 = t30747*t31172; t31333 = t30781*t30946+x*t30943+t30783*t31063+t30681*t31259+t31429; t31332 = t31414+t31599+t31600; t31153 = t30666*t30782; t30438 = t30731*t31144; t30572 = t30779*t31057; t31331 = t31416+t30781*t31248+y*t30572+(t30438+t31153)*x; t31330 = t31406+t31575+t31599; t31329 = t31432+t31566+t31582; t31215 = y*t30681; t31328 = t31424+t31620*t30778+(t31215+t31153)*t30784; t30940 = t30781*t31073; t31327 = t30780*t30940+t30667*t31094+t31422+(t30938+t31119)*x; t30916 = t30782*t31073; t31326 = t30667*t31267+y*t30940+t31640*t30725+t31616*t30781+(t31136+ t30916)*x; t31325 = t30691*t31259+x*t30929+t31411+t31613*t30781; t31068 = t30714*t30783; t30492 = t30779*t31170; t31324 = t30781*t30492+t30687*t31094+t31425+(t30354+t31068)*x; t31323 = t30784*t31115+t30666*t31260+t31409+t31623*t30778; t31322 = t31521+t31534; t31321 = t31428+t31589+t31593; t31320 = t31532+t31555; t31319 = t31557+t31560; t31318 = t31524+t31531; t31317 = t31421+t31594+t31601; t31316 = t31558+t31562; t30456 = t30779*t31130; t30589 = t30779*t31150; t31315 = t30781*t31226+y*t30589+t31420+(t30456+t31115)*x; t31314 = t30599+t30499+t30164+t30492+t30682*t30952+t30590+t31453; t31061 = t30781*t30740; t31182 = t30742*t30781; t31313 = t30782*t31061+t30742*t31256+t30702*t30890+(t30571+t31182)*y+( t31231+t31612)*x; t31312 = t31421+t31563+t31578; t31311 = t31417+t31563+t31567; t31310 = t31419+t31565+t31578; t31127 = t30784*t30740; t31309 = t30778*t30527+t30782*t31127+y*t30926+t30742*t31260+t31423; t31308 = t31559+t31560; t31307 = t31417+t31582+t31601; t31306 = t30681*t31094+x*t30946+t30666*t31259+t30781*t30943+t31418; t31305 = t31414+t31574+t31584; t31304 = t31406+t31584+t31589; t31303 = t31522+t31535; t30537 = t30778*t31167; t31116 = t30714*t30782; t31302 = y*t30537+t30784*t31116+t30739*t31260+t30782*t30574+t31407; t31301 = t31529+t31537; t31300 = t31550+t31556; t31212 = x*t30739; t30560 = t30762*t31144; t31299 = t30781*t31116+x*t30560+t30710*t30890+t30782*t31212+(t31607+ t31617)*y; t31298 = t31544+t31546; t30966 = t30730*t31172; t30645 = t30758*t30784; t31297 = t30539+t30645+t30537+t30763*t30778+t30566+t30784*t30966+t31491; t31296 = t31547+t31556; t31295 = t31533+t31536; t31294 = t31551+t31552; t31293 = t31523+t31541; t31292 = t30608+t30779*t31132+t31408+t31460; t31291 = t31529+t31534; t31290 = t31554+t31557; t31289 = t31530+t31542; t31288 = t31532+t31553; t31287 = t31531+t31535; t31286 = t31432+t31565+t31567; t31285 = t31561+t31562; t31284 = t31419+t31566+t31594; t30525 = t30780*t31167; t30638 = t30762*t30783; t30534 = t30779*t30638; t31283 = t30639+t30763*t30780+t30525+t30783*t30914+t30776*t31059+t31480+ t31491+t30534+t31471; t29870 = y*t30951; t31282 = t30782*t31242+t29870+x*t30942+t30855+y*t31165+t31439+t31591; t30516 = t30779*t31151; t31281 = t30682*t30981+t30595+t30170+t30593+t30516+t30784*t31073+t31445+ t31452+t31453; t30858 = t31363+t31448; t31280 = t30858+t30782*t31250+t31595+t29943+t31483+(t31134+t30968)*y; t31279 = t31361+t31570+t30784*t31078+t30782*t30964+(t31129+t30985)*y; t31075 = t30662*t30782; t31278 = t30689*t31055+t30784*t31075+t30779*t30972+y*t31098+t31388+t31572 ; t31277 = t30784*t31080+t30778*t30921+t30674*t31260+y*t30986+t31361+t31583 ; t31276 = t31372+y*t31104+t29870+t31602+(t30928+t31070)*x; t31275 = t30781*t31258+x*t31075+y*t30933+t29958+t31372+t31595; t31117 = t30784*t30709; t31274 = t30778*t31035+t30784*t31143+t30782*t30925+y*t31117+t31379+t31570 ; t30956 = t30779*t31079; t31273 = t30675*t31260+t30784*t31171+t30778*t30967+y*t30956+t31379+t31583 ; t31272 = y*t31152+t29806+t31349+t31591+t31614*t30782; t31176 = t30784*t30657; t31138 = t30784*t30656; t31271 = y*t31176+t30656*t31251+t31510+t30782*t31138+t30657*t31072+t31647 *t30779+t31624*t30784; t30522 = y*t30645; t31270 = t30763*t31055+t30734*t30937+t30779*t30522+t30661*t31251+t31503+( t30956+t31117)*t30782+t31610*t30707; t31269 = y*t30887+t31503+t30678*t31251+t31610*t30716+t31631*t30778+( t31108+t30921)*t30784; t31268 = t30656*t31072+t30693*t30937+t30779*t30245+t31510+t30782*t31176+y *t31138+t30657*t31251+t31624*t30778; t31239 = y*t30690; t30612 = t30726*t30784; t30617 = t30727*t30784; t30764 = RATIONAL(2.0,1.0); t31159 = t30764*t30779; t30611 = t30726*t30783; t30615 = t30727*t30783; t31137 = t30775*t30783; t31135 = t30751*t30780; t31133 = t30757*t30780; t31103 = t30784*t30691; t31081 = t30770*t30779; t31069 = t30690*t30782; t31046 = y*t31154; t30983 = t30779*t31084; t30976 = t30732*t31195; t30974 = t30779*t31173; t30383 = t30729*t31164; t30969 = t30720*t31172; t30947 = t30779*t31189; t30910 = t30778*t31125; t30900 = t30779*t31193; t30889 = t30719*t31144; t30883 = t30742*t31059+t30765*t30952+t31480; t30881 = t30655*t31139+t30677*t30981+t31452; t30880 = t30687*t31139+t30780*t30974+t31156; t30696 = RATIONAL(1.0,16.0); t30753 = RATIONAL(1.0,4.0); t30697 = RATIONAL(-5.0,16.0); t30877 = t30753+t30697*t30780+t30696*t30783; t30724 = RATIONAL(-1.0,16.0); t30766 = RATIONAL(-1.0,4.0); t30712 = RATIONAL(5.0,16.0); t30876 = t30724*t30783+t30766+t30712*t30780; t30875 = t30754+t31135+t30756*t30783; t30874 = t30775+t30746*t30780+t30770*t30783; t30670 = RATIONAL(25.0,32.0); t30873 = t30670*t30780+t30705*t30783+t30751; t30871 = t30607+t30267+t30783*t31121+t30705*t30952+t31492; t30869 = t30730*t31059+t30779*t31137+t30746*t30952+t30759*t30780+t31451; t30868 = t30691*t31251+t30721*t30937+t30778*t31069+t30784*t31046+t30881; t30867 = x*t30534+t30781*t30487+t30883+t31607*t30780; t30866 = t30778*t31239+t30691*t31072+t30721*t31053+t30784*t30889+t30881; t30864 = t31394+t31448; t30863 = t31369+t31448; t30862 = t30714*t31251+t30687*t31072+y*t30974+t30725*t30937+t30880; t30860 = y*t30496+t30740*t31251+t30667*t31072+t30784*t30916+t30880; t30856 = x*t31090+t30780*t31182+t30883+t31604*t30783; t30672 = RATIONAL(-25.0,48.0); t30854 = t30754*t30981+t30615+t30672*t31139+t30780*t31159+t30869+t31449; t30651 = RATIONAL(25.0,192.0); t30699 = RATIONAL(-1.0,32.0); t30853 = t30651*t31059+t30699*t30952+t30612+t30778*t31081+t31412+t31440+ t31492; t30852 = t30754*t30952+t30617+t30672*t31059+t30778*t31159+t31413+t31449+ t31451; t30851 = t30651*t31139+t30611+t30780*t31081+t30699*t30981+t30871+t31440; t30676 = RATIONAL(-25.0,96.0); t30850 = t30676*t30780+t30736+t30717*t30783+t30876*t30779; t30849 = t30736+t30717*t30784+t30676*t30778+(t30712*t30778+t30724*t30784+ t30766)*t30779; t30685 = RATIONAL(25.0,96.0); t30848 = t30720*t30784+t30732+t30685*t30778+(t30696*t30784+t30697*t30778+ t30753)*t30779; t30847 = t30685*t30780+t30732+t30720*t30783+t30877*t30779; t30846 = x*t30547+y*t30383+t30781*t31215+t30728*t31256+t31405+t31420; t30845 = x*t30525+t30783*t31212+t30781*t31068+t30780*t30553+t30867+t31427 ; t30844 = t30782*t31103+y*t30910+t30784*t31239+t30868+t30778*t30889+t31415 ; t30843 = t30782*t31067+t30862+t30778*t30916+t30710*t31055+y*t31127+t31426 ; t30842 = t30784*t31136+t30714*t31260+t30860+t30782*t30516+y*t30416+t31426 ; t30841 = t30778*t31046+t30784*t31069+t30866+t30782*t30910+y*t31103+t31415 ; t30840 = t31405+t30782*t31240+x*t30543+t31416+(t30406+t31063)*y; t30839 = t30742*t31259+t31427+t30856+t30783*t31061+t31596*t30780; t30838 = t30275+t30710+t30610+t30613+t30871+t30670*t30988+t31412+(t31135+ t31569)*t30779; t30837 = t30331+t31413+RATIONAL(-25.0,8.0)*t30988+t30869+t30761+t30762* t30784+t30638+(t31133+t31568)*t30779; t30836 = t30440+t30736*t31037+t30779*t30961+t30648+t31346+t30437+t30572+ t31429+(t31191+t30750)*x; t30835 = t30388+t30736*t30979+y*t30976+t31344+t30629+t30626+t30362+t31409 +t31620; t30834 = t30258+t30866+t30423+y*t31086+t30601+t30782*t30947+t30598+t31314 +t30438+t30717*t31055; t30833 = t30784*t31099+t30776*t31260+t30560+t31283+t30752*t31055+t31423+( t30758+t30914)*t30782+(t31167+t30763)*y; t30832 = t30862+t30467+t31292+t30614+t30239+t30606+t30710*t31144+t30779* t30965+(t31194+t30914)*y; t30831 = t30348+t30750*y+t31344+t30397+t30782*t30976+t30736*t31055+t30646 +t31424+t31623; t30830 = t30625+t31346+t30589+t30779*t30945+t30502+t31418+t30732*t31037+ t30506+(t30749+t31192)*x; t30829 = t30287+t31345+x*t30983+t30621+t30779*t30936+t30493+t30602+t31425 +t31604; t30828 = t30781*t30969+t30717*t31037+t31281+t30688*x+t30596+t31411+t31615 +t31639; t30827 = t30456+t30491+t30779*t30927+t30868+t31314+t30600+(t30689+t30947) *y+t31637; t30826 = t30637+t30759*t31055+t31283+t30784*t31162+t30522+t31407+(t30776+ t30900)*t30782+t31612; t30825 = t30255+t31345+t30710*t31164+t30442+t30779*t30934+t30618+t31422+( t30703+t31194+t30966)*x; t30824 = t31297+t30856+(t30758+t30966)*t30781+(t30897+t30763)*x+t31617+ t31629; t30823 = t30702*t31144+t30609+t30782*t30949+t30469+t30860+t31292+t30604+ t30222+(t30900+t31105)*y; t30822 = t31281+t30383+t30517+t30779*t30886+t30592+t31430+(t30969+t30689) *x+t31646; t30821 = t31297+t30759*t31037+t30867+t30768*x+(t30983+t30776)*t30781+ t31596+t31630; t30820 = t31276+t31507+t31515; t30819 = t31389+t31369+t31514+t31519; t30818 = t31278+t30864+t31514+t31526; t30817 = t31506+t31268+t31508; t30816 = t31363+t31399+t31502+t31515; t30815 = t31493+t31271+t31506; t30814 = t31494+t31269+t31500; t30813 = t31399+t31394+t30858+t31507+t31538; t30812 = t31279+t31505+t31516; t30811 = t31277+t31513+t31517; t30810 = t31272+t30859+t31498+t31545; t30809 = t31389+t30863+t31394+t31511+t31526; t30808 = t31494+t31270+t31495; t30807 = t31499+t31270+t31500; t30806 = t31504+t31280+t31527+t31540; t30805 = t31501+t31280+t31525+t31539; t30804 = t31273+t31513+t31518; t30803 = t31282+t31498+t31528+t31549; t30802 = t31273+t31512+t31517; t30801 = t31496+t31271+t31508; t30800 = t31272+t30861+t31509+t31528; t30799 = t31388+t31275+t31448+t31501+t31527; t30798 = t31282+t31509+t31543+t31545; t30797 = t31277+t31512+t31518; t30796 = t31493+t31268+t31496; t30795 = t31269+t31495+t31499; t30794 = t31275+t30863+t31504+t31539; t30793 = t31279+t31497+t31520; t30792 = t31276+t30864+t31502+t31538; t30791 = t31274+t31497+t31516; t30790 = t31278+t31511+t31519; t30789 = t31274+t31505+t31520; t30774 = RATIONAL(5.0,4.0); t30744 = RATIONAL(3.0,4.0); t30743 = RATIONAL(-5.0,4.0); t30701 = RATIONAL(-15.0,4.0); t30700 = RATIONAL(25.0,8.0); t30673 = RATIONAL(25.0,48.0); t30669 = RATIONAL(-25.0,12.0); t30668 = RATIONAL(-15.0,16.0); coeffs_dzz->coeff_m2_m2_m2 = t30801+t31536+t31541+t31542+t31546; coeffs_dzz->coeff_m1_m2_m2 = t30805+t31342+t31393; coeffs_dzz->coeff_0_m2_m2 = t30827+t31373+t31392; coeffs_dzz->coeff_p1_m2_m2 = t30794+t31330+t31404; coeffs_dzz->coeff_p2_m2_m2 = t31289+t30815+t31298; coeffs_dzz->coeff_m2_m1_m2 = t30813+t31321+t31397; coeffs_dzz->coeff_m1_m1_m2 = t30804+t31294+t31547+t31558; coeffs_dzz->coeff_0_m1_m2 = t30823+t31381+t31382; coeffs_dzz->coeff_p1_m1_m2 = t31296+t30802+t31316; coeffs_dzz->coeff_p2_m1_m2 = t30820+t31304+t31347; coeffs_dzz->coeff_m2_0_m2 = t30822+t31370+t31391; coeffs_dzz->coeff_m1_0_m2 = t30829+t31352+t31380; coeffs_dzz->coeff_0_0_m2 = ((RATIONAL(-25.0,32.0)*t30780+t30746+t30713* t30783)*t30778+(t30770+t30699*t30783+t30713*t30780)*t30784+t30874)*z+t30838; coeffs_dzz->coeff_p1_0_m2 = t30825+t31380+t31384; coeffs_dzz->coeff_p2_0_m2 = t30828+t31391+t31396; coeffs_dzz->coeff_m2_p1_m2 = t30792+t31304+t31398; coeffs_dzz->coeff_m1_p1_m2 = t30797+t31296+t31552+t31561; coeffs_dzz->coeff_0_p1_m2 = t30832+t31382+t31390; coeffs_dzz->coeff_p1_p1_m2 = t30811+t31285+t31547+t31551; coeffs_dzz->coeff_p2_p1_m2 = t30816+t31321+t31400; coeffs_dzz->coeff_m2_p2_m2 = t30796+t31298+t31533+t31541; coeffs_dzz->coeff_m1_p2_m2 = t30799+t31330+t31356; coeffs_dzz->coeff_0_p2_m2 = t30834+t31373+t31377; coeffs_dzz->coeff_p1_p2_m2 = t30806+t31342+t31403; coeffs_dzz->coeff_p2_p2_m2 = t30817+t31295+t31530+t31546; coeffs_dzz->coeff_m2_m2_m1 = t30809+t31288+t31308; coeffs_dzz->coeff_m1_m2_m1 = t30803+t31311+t31402; coeffs_dzz->coeff_0_m2_m1 = t30831+t31383+t31395; coeffs_dzz->coeff_p1_m2_m1 = t30810+t31312+t31351; coeffs_dzz->coeff_p2_m2_m1 = t31319+t30819+t31320; coeffs_dzz->coeff_m2_m1_m1 = t30791+t31307+t31365; coeffs_dzz->coeff_m1_m1_m1 = t30807+t31335+t31339; coeffs_dzz->coeff_0_m1_m1 = t30826+t31350+t31401; coeffs_dzz->coeff_p1_m1_m1 = t30808+t31291+t31339; coeffs_dzz->coeff_p2_m1_m1 = t30789+t31317+t31364; coeffs_dzz->coeff_m2_0_m1 = t30836+t31353+t31376; coeffs_dzz->coeff_m1_0_m1 = t30821+t31366+t31375; coeffs_dzz->coeff_0_0_m1 = (t30753*t30783+1.0+t30743*t30780+(RATIONAL( 25.0,16.0)*t30780+t30743+t30697*t30783)*t30778+t30877*t30784)*z+t30837; coeffs_dzz->coeff_p1_0_m1 = t30824+t31366+t31368; coeffs_dzz->coeff_p2_0_m1 = t30830+t31376+t31387; coeffs_dzz->coeff_m2_p1_m1 = t30793+t31317+t31359; coeffs_dzz->coeff_m1_p1_m1 = t31301+t30814+t31318; coeffs_dzz->coeff_0_p1_m1 = t30833+t31348+t31401; coeffs_dzz->coeff_p1_p1_m1 = t30795+t31318+t31322; coeffs_dzz->coeff_p2_p1_m1 = t30812+t31307+t31378; coeffs_dzz->coeff_m2_p2_m1 = t30818+t31320+t31336; coeffs_dzz->coeff_m1_p2_m1 = t30800+t31312+t31386; coeffs_dzz->coeff_0_p2_m1 = t30835+t31358+t31395; coeffs_dzz->coeff_p1_p2_m1 = t30798+t31311+t31357; coeffs_dzz->coeff_p2_p2_m1 = t31288+t30790+t31290; coeffs_dzz->coeff_m2_m2_0 = t31334+t30844+t31338; coeffs_dzz->coeff_m1_m2_0 = t31324+t30840+t31328; coeffs_dzz->coeff_0_m2_0 = t30849*t30782+t30851+t30848*y; coeffs_dzz->coeff_p1_m2_0 = t31327+t30846+t31328; coeffs_dzz->coeff_p2_m2_0 = t31325+t30844+t31326; coeffs_dzz->coeff_m2_m1_0 = t31331+t30842+t31333; coeffs_dzz->coeff_m1_m1_0 = t30845+t31302+t31313; coeffs_dzz->coeff_0_m1_0 = t30854+(t30730+t30612+t30673*t30778+(t30756* t30784+t31569)*t30779)*t30782+(t30617+t30752+t30669*t30778+(t31106+t31568)* t30779)*y; coeffs_dzz->coeff_p1_m1_0 = t31299+t30839+t31302; coeffs_dzz->coeff_p2_m1_0 = t31306+t30842+t31315; coeffs_dzz->coeff_m2_0_0 = t30853+t30847*x+t30850*t30781; coeffs_dzz->coeff_m1_0_0 = (t30730+t30611+t30673*t30780+t30875*t30779)* t30781+(t30615+t30752+t30669*t30780+(t31133+t31137+t30760)*t30779)*x+t30852; coeffs_dzz->coeff_0_0_0 = t30751*t30783+t30748+t30700*t30780+(t30700+ RATIONAL(-125.0,32.0)*t30780+t30670*t30783)*t30778+t30873*t30784+(t30701*t30780 +t30744*t30783+RATIONAL(3.0,1.0)+(t30701+t30668*t30783+RATIONAL(75.0,16.0)* t30780)*t30778+(t30668*t30780+RATIONAL(3.0,16.0)*t30783+t30744)*t30784)*t30779; coeffs_dzz->coeff_p1_0_0 = (t30672*t30780+t30727+t30723*t30783+t30874* t30779)*t30781+(t30671*t30780+(t30764+t30754*t30783+t30748*t30780)*t30779+ t31619)*x+t30852; coeffs_dzz->coeff_p2_0_0 = t30853+t30847*t30781+t30850*x; coeffs_dzz->coeff_m2_p1_0 = t30843+t31315+t31333; coeffs_dzz->coeff_m1_p1_0 = t31299+t30845+t31309; coeffs_dzz->coeff_0_p1_0 = (t30672*t30778+t30723*t30784+t30727+(t30770* t30784+t30775+t30746*t30778)*t30779)*t30782+(t31126+t30759+t30730*t30784+( t30754*t30784+t30748*t30778+t30764)*t30779)*y+t30854; coeffs_dzz->coeff_p1_p1_0 = t30839+t31309+t31313; coeffs_dzz->coeff_p2_p1_0 = t30843+t31306+t31331; coeffs_dzz->coeff_m2_p2_0 = t31326+t30841+t31338; coeffs_dzz->coeff_m1_p2_0 = t31323+t30846+t31324; coeffs_dzz->coeff_0_p2_0 = t30851+t30848*t30782+t30849*y; coeffs_dzz->coeff_p1_p2_0 = t31323+t30840+t31327; coeffs_dzz->coeff_p2_p2_0 = t30841+t31325+t31334; coeffs_dzz->coeff_m2_m2_p1 = t31290+t30809+t31340; coeffs_dzz->coeff_m1_m2_p1 = t30803+t31310+t31357; coeffs_dzz->coeff_0_m2_p1 = t30831+t31358+t31367; coeffs_dzz->coeff_p1_m2_p1 = t30810+t31286+t31386; coeffs_dzz->coeff_p2_m2_p1 = t31336+t30819+t31341; coeffs_dzz->coeff_m2_m1_p1 = t30791+t31284+t31378; coeffs_dzz->coeff_m1_m1_p1 = t30807+t31287+t31291; coeffs_dzz->coeff_0_m1_p1 = t30826+t31348+t31354; coeffs_dzz->coeff_p1_m1_p1 = t30808+t31287+t31335; coeffs_dzz->coeff_p2_m1_p1 = t30789+t31329+t31359; coeffs_dzz->coeff_m2_0_p1 = t30836+t31360+t31387; coeffs_dzz->coeff_m1_0_p1 = t30821+t31368+t31374; coeffs_dzz->coeff_0_0_p1 = t30837+(-1.0+t30766*t30783+t30774*t30780+( RATIONAL(-25.0,16.0)*t30780+t30712*t30783+t30774)*t30778+t30876*t30784)*z; coeffs_dzz->coeff_p1_0_p1 = t30824+t31374+t31375; coeffs_dzz->coeff_p2_0_p1 = t30830+t31353+t31360; coeffs_dzz->coeff_m2_p1_p1 = t30793+t31329+t31364; coeffs_dzz->coeff_m1_p1_p1 = t30814+t31303+t31322; coeffs_dzz->coeff_0_p1_p1 = t30833+t31350+t31354; coeffs_dzz->coeff_p1_p1_p1 = t30795+t31301+t31303; coeffs_dzz->coeff_p2_p1_p1 = t30812+t31284+t31365; coeffs_dzz->coeff_m2_p2_p1 = t30818+t31319+t31341; coeffs_dzz->coeff_m1_p2_p1 = t30800+t31286+t31351; coeffs_dzz->coeff_0_p2_p1 = t30835+t31367+t31383; coeffs_dzz->coeff_p1_p2_p1 = t30798+t31310+t31402; coeffs_dzz->coeff_p2_p2_p1 = t31308+t30790+t31340; coeffs_dzz->coeff_m2_m2_p2 = t30801+t31523+t31530+t31533+t31544; coeffs_dzz->coeff_m1_m2_p2 = t30805+t31332+t31403; coeffs_dzz->coeff_0_m2_p2 = t30827+t31377+t31385; coeffs_dzz->coeff_p1_m2_p2 = t30794+t31337+t31356; coeffs_dzz->coeff_p2_m2_p2 = t31293+t30815+t31295; coeffs_dzz->coeff_m2_m1_p2 = t30813+t31305+t31400; coeffs_dzz->coeff_m1_m1_p2 = t30804+t31285+t31300; coeffs_dzz->coeff_0_m1_p2 = t30823+t31362+t31390; coeffs_dzz->coeff_p1_m1_p2 = t31294+t30802+t31550+t31561; coeffs_dzz->coeff_p2_m1_p2 = t30820+t31343+t31398; coeffs_dzz->coeff_m2_0_p2 = t30822+t31371+t31396; coeffs_dzz->coeff_m1_0_p2 = t30829+t31355+t31384; coeffs_dzz->coeff_0_0_p2 = (t30873*t30778+(t30705*t30780+t30756+t30708* t30783)*t30784+t30875)*z+t30838; coeffs_dzz->coeff_p1_0_p2 = t30825+t31352+t31355; coeffs_dzz->coeff_p2_0_p2 = t30828+t31370+t31371; coeffs_dzz->coeff_m2_p1_p2 = t30792+t31343+t31347; coeffs_dzz->coeff_m1_p1_p2 = t31316+t30797+t31550+t31551; coeffs_dzz->coeff_0_p1_p2 = t30832+t31362+t31381; coeffs_dzz->coeff_p1_p1_p2 = t30811+t31300+t31552+t31558; coeffs_dzz->coeff_p2_p1_p2 = t30816+t31305+t31397; coeffs_dzz->coeff_m2_p2_p2 = t30796+t31289+t31523+t31536; coeffs_dzz->coeff_m1_p2_p2 = t30799+t31337+t31404; coeffs_dzz->coeff_0_p2_p2 = t30834+t31385+t31392; coeffs_dzz->coeff_p1_p2_p2 = t30806+t31332+t31393; coeffs_dzz->coeff_p2_p2_p2 = t30817+t31293+t31542+t31544;