fp t19474; fp t19472; fp t19960; fp t19475; fp t19625; fp t19473; fp t19975; fp t19945; fp t19844; fp t20231; fp t19976; fp t19852; fp t20232; fp t19624; fp t19258; fp t19798; fp t18752; fp t19906; fp t19680; fp t19365; fp t20230; fp t19465; fp t20229; fp t19366; fp t19965; fp t19657; fp t19980; fp t19979; fp t19393; fp t18408; fp t20228; fp t18281; fp t19311; fp t19706; fp t20227; fp t19237; fp t19701; fp t19402; fp t19949; fp t20226; fp t19354; fp t19893; fp t18896; fp t19372; fp t19156; fp t19645; fp t20225; fp t19213; fp t19779; fp t18563; fp t19255; fp t20224; fp t19249; fp t19667; fp t18109; fp t19310; fp t19725; fp t18745; fp t20223; fp t19879; fp t19982; fp t18380; fp t19243; fp t18734; fp t20222; fp t19392; fp t19695; fp t19389; fp t19932; fp t20221; fp t19290; fp t19859; fp t18767; fp t19278; fp t19868; fp t18848; fp t20220; fp t19400; fp t19847; fp t18911; fp t19284; fp t20219; fp t19825; fp t20218; fp t19900; fp t20217; fp t19295; fp t19799; fp t19300; fp t19726; fp t18706; fp t20216; fp t19292; fp t19942; fp t19646; fp t18100; fp t19413; fp t19787; fp t20215; fp t19790; fp t19273; fp t19663; fp t20214; fp t19272; fp t19950; fp t19671; fp t19351; fp t19964; fp t20213; fp t19240; fp t19855; fp t18701; fp t20212; fp t19461; fp t19977; fp t19912; fp t18488; fp t19468; fp t19704; fp t19650; fp t20211; fp t19935; fp t19910; fp t19192; fp t18081; fp t19409; fp t19665; fp t20210; fp t20209; fp t19219; fp t18548; fp t19318; fp t19807; fp t18146; fp t20208; fp t19329; fp t19769; fp t19226; fp t19933; fp t19682; fp t20207; fp t19917; fp t19411; fp t18289; fp t19362; fp t20206; fp t19142; fp t19257; fp t19647; fp t18151; fp t20205; fp t19443; fp t19131; fp t20204; fp t19353; fp t18348; fp t19355; fp t19836; fp t20203; fp t19421; fp t19728; fp t19087; fp t20202; fp t18819; fp t20201; fp t19189; fp t19684; fp t19262; fp t20200; fp t19435; fp t19102; fp t20199; fp t19440; fp t19956; fp t19115; fp t18471; fp t19642; fp t19406; fp t20198; fp t19469; fp t19699; fp t19116; fp t20197; fp t19386; fp t19238; fp t19842; fp t18697; fp t20196; fp t19471; fp t19952; fp t18481; fp t19433; fp t19762; fp t20195; fp t19356; fp t19928; fp t18336; fp t19349; fp t18957; fp t20194; fp t19832; fp t19673; fp t19301; fp t19796; fp t18702; fp t20193; fp t19391; fp t19823; fp t20192; fp t20191; fp t19448; fp t19947; fp t19649; fp t19230; fp t19872; fp t18556; fp t20190; fp t18780; fp t19323; fp t19641; fp t20189; fp t19368; fp t19655; fp t19383; fp t19887; fp t19013; fp t20188; fp t19768; fp t19266; fp t20187; fp t19358; fp t19835; fp t19644; fp t20186; fp t19306; fp t19828; fp t18840; fp t19333; fp t18351; fp t20185; fp t19445; fp t19946; fp t19683; fp t20184; fp t20183; fp t19418; fp t19845; fp t19071; fp t19263; fp t20182; fp t19972; fp t19915; fp t18202; fp t19407; fp t19676; fp t20181; fp t19449; fp t19815; fp t19635; fp t18460; fp t19250; fp t20180; fp t19181; fp t19666; fp t20179; fp t18425; fp t19367; fp t20178; fp t19312; fp t19415; fp t19892; fp t20177; fp t18906; fp t18221; fp t19436; fp t19783; fp t19651; fp t20176; fp t19359; fp t19369; fp t20175; fp t19439; fp t19970; fp t19346; fp t18921; fp t20174; fp t19388; fp t19974; fp t19911; fp t18381; fp t19452; fp t19184; fp t20173; fp t18552; fp t19380; fp t18966; fp t20172; fp t19920; fp t19277; fp t20171; fp t19450; fp t19862; fp t20170; fp t19337; fp t20169; fp t20168; fp t19282; fp t19863; fp t20167; fp t19177; fp t20166; fp t19692; fp t20165; fp t19455; fp t19419; fp t18940; fp t18402; fp t20164; fp t18089; fp t19315; fp t20163; fp t19678; fp t19766; fp t20162; fp t19736; fp t19434; fp t20161; fp t19916; fp t19973; fp t19420; fp t20160; fp t19429; fp t18888; fp t19345; fp t19941; fp t19661; fp t20159; fp t19759; fp t18280; fp t20158; fp t19831; fp t20157; fp t18203; fp t20156; fp t18666; fp t20155; fp t19422; fp t19427; fp t20154; fp t19416; fp t18931; fp t20153; fp t19918; fp t18216; fp t20152; fp t19233; fp t19743; fp t18578; fp t20151; fp t19236; fp t18842; fp t19837; fp t19634; fp t18294; fp t20150; fp t19747; fp t18688; fp t20149; fp t19937; fp t19919; fp t18342; fp t20148; fp t19672; fp t19245; fp t19698; fp t20147; fp t19957; fp t20146; fp t19963; fp t19299; fp t20145; fp t19711; fp t19404; fp t19948; fp t20144; fp t19377; fp t19763; fp t19632; fp t20143; fp t19826; fp t20142; fp t19694; fp t19656; fp t20141; fp t18161; fp t20140; fp t19969; fp t20139; fp t19334; fp t19858; fp t18980; fp t20138; fp t19325; fp t19754; fp t18999; fp t19347; fp t19924; fp t19662; fp t20137; fp t20136; fp t19133; fp t20135; fp t19247; fp t19709; fp t20134; fp t19430; fp t18350; fp t19304; fp t20133; fp t18839; fp t19305; fp t18213; fp t20132; fp t19643; fp t18079; fp t20131; fp t19954; fp t20130; fp t20129; fp t19265; fp t19753; fp t18739; fp t19376; fp t19658; fp t20128; fp t19921; fp t18927; fp t18411; fp t20127; fp t18925; fp t18241; fp t19702; fp t19118; fp t20126; fp t19221; fp t19830; fp t18572; fp t20125; fp t20124; fp t18592; fp t19342; fp t19821; fp t20123; fp t19745; fp t19051; fp t18087; fp t20122; fp t19398; fp t19913; fp t18208; fp t20121; fp t20120; fp t19962; fp t18929; fp t20119; fp t19444; fp t19968; fp t18472; fp t19428; fp t20118; fp t19343; fp t20117; fp t18915; fp t18406; fp t20116; fp t19242; fp t19708; fp t20115; fp t19934; fp t18318; fp t19773; fp t18976; fp t20114; fp t19800; fp t20113; fp t18148; fp t19316; fp t20112; fp t19241; fp t19675; fp t19727; fp t20111; fp t19770; fp t19679; fp t20110; fp t19215; fp t19877; fp t18585; fp t19264; fp t19659; fp t20109; fp t20108; fp t20107; fp t19776; fp t19668; fp t18246; fp t19814; fp t20106; fp t19103; fp t18477; fp t20105; fp t18071; fp t20104; fp t18413; fp t19341; fp t19801; fp t19092; fp t20103; fp t20102; fp t19907; fp t19660; fp t20101; fp t18967; fp t18422; fp t19718; fp t19132; fp t20100; fp t20099; fp t20098; fp t19032; fp t20097; fp t19350; fp t19260; fp t18862; fp t20096; fp t19379; fp t19749; fp t20095; fp t19339; fp t19705; fp t19030; fp t19385; fp t19774; fp t19080; fp t20094; fp t20093; fp t18403; fp t20092; fp t19399; fp t19811; fp t19085; fp t20091; fp t19908; fp t20090; fp t19670; fp t19194; fp t19817; fp t18554; fp t20089; fp t18084; fp t19206; fp t20088; fp t18504; fp t20087; fp t19374; fp t19772; fp t20086; fp t18751; fp t20085; fp t19871; fp t20084; fp t19722; fp t19690; fp t19669; fp t20083; fp t19425; fp t19630; fp t20082; fp t19674; fp t18435; fp t20081; fp t19296; fp t19274; fp t20080; fp t19693; fp t18678; fp t18133; fp t19148; fp t20079; fp t19981; fp t18962; fp t19320; fp t20078; fp t18880; fp t18182; fp t18733; fp t20077; fp t19387; fp t19246; fp t19729; fp t20076; fp t19207; fp t20075; fp t19944; fp t18230; fp t19024; fp t20074; fp t18912; fp t19707; fp t20073; fp t18363; fp t20072; fp t19951; fp t18997; fp t20071; fp t19361; fp t18944; fp t18235; fp t19338; fp t19373; fp t20070; fp t18542; fp t20069; fp t19441; fp t19107; fp t20068; fp t19294; fp t19697; fp t19719; fp t19792; fp t18820; fp t18196; fp t20067; fp t18987; fp t20066; fp t19271; fp t19715; fp t19966; fp t20065; fp t19780; fp t18178; fp t19804; fp t18902; fp t20064; fp t19216; fp t19348; fp t20063; fp t19308; fp t18482; fp t20062; fp t19195; fp t19303; fp t19196; fp t20061; fp t18206; fp t18941; fp t18649; fp t20060; fp t19636; fp t20059; fp t19261; fp t19833; fp t19146; fp t18514; fp t20058; fp t20057; fp t19328; fp t18328; fp t19259; fp t19696; fp t20056; fp t20055; fp t20054; fp t20053; fp t19700; fp t19025; fp t19412; fp t19897; fp t19001; fp t20052; fp t18244; fp t19234; fp t20051; fp t18476; fp t19319; fp t19721; fp t20050; fp t19384; fp t18325; fp t19691; fp t20049; fp t19332; fp t18975; fp t18309; fp t20048; fp t18399; fp t20047; fp t19321; fp t18255; fp t20046; fp t19280; fp t19943; fp t20045; fp t18437; fp t20044; fp t19223; fp t19370; fp t19228; fp t20043; fp t19464; fp t18508; fp t19330; fp t19940; fp t18974; fp t19866; fp t20042; fp t19648; fp t19291; fp t19953; fp t18689; fp t20041; fp t19431; fp t19939; fp t20040; fp t20039; fp t19971; fp t18788; fp t18220; fp t20038; fp t20037; fp t18732; fp t20036; fp t18900; fp t19160; fp t19062; fp t18264; fp t18978; fp t20035; fp t19279; fp t19784; fp t18868; fp t20034; fp t19923; fp t18484; fp t20033; fp t18312; fp t19775; fp t20032; fp t19134; fp t19038; fp t19735; fp t18808; fp t18115; fp t20031; fp t19378; fp t20030; fp t19820; fp t19034; fp t20029; fp t19664; fp t19276; fp t19782; fp t19927; fp t20028; fp t19167; fp t19210; fp t20027; fp t19286; fp t19109; fp t18517; fp t20026; fp t19652; fp t18323; fp t19730; fp t20025; fp t18511; fp t19203; fp t20024; fp t20023; fp t19898; fp t19003; fp t18774; fp t19023; fp t19336; fp t18415; fp t19902; fp t20022; fp t18501; fp t18989; fp t19840; fp t19463; fp t20021; fp t19202; fp t18561; fp t20020; fp t19188; fp t18502; fp t19767; fp t20019; fp t20018; fp t18187; fp t19302; fp t19723; fp t20017; fp t18579; fp t18764; fp t20016; fp t19190; fp t19027; fp t18306; fp t19285; fp t19741; fp t20015; fp t18423; fp t19638; fp t20014; fp t19446; fp t19169; fp t20013; fp t19179; fp t20012; fp t19309; fp t19752; fp t20011; fp t19760; fp t19162; fp t20010; fp t19193; fp t20009; fp t18338; fp t19065; fp t19785; fp t20008; fp t19253; fp t19174; fp t20007; fp t20006; fp t19395; fp t20005; fp t19352; fp t20004; fp t19802; fp t19687; fp t20003; fp t19204; fp t18332; fp t20002; fp t18418; fp t20001; fp t18194; fp t20000; fp t19170; fp t19999; fp t18334; fp t19340; fp t19810; fp t19998; fp t19171; fp t19716; fp t19997; fp t19172; fp t19996; fp t19209; fp t19995; fp t19994; fp t19993; fp t19761; fp t19180; fp t19992; fp t19740; fp t19991; fp t19256; fp t19990; fp t19843; fp t19161; fp t19989; fp t19988; fp t18086; fp t19987; fp t19986; fp t19218; fp t19235; fp t19344; fp t19985; fp t19176; fp t19984; fp t19713; fp t19983; fp t19424; fp t19978; fp t19967; fp t19961; fp t19307; fp t19959; fp t19244; fp t19958; fp t19955; fp t19938; fp t19936; fp t19405; fp t19931; fp t19930; fp t19269; fp t19929; fp t19926; fp t19925; fp t19447; fp t19922; fp t19914; fp t19875; fp t18377; fp t19689; fp t19909; fp t19331; fp t19905; fp t19437; fp t19904; fp t18212; fp t19903; fp t19901; fp t19899; fp t19881; fp t18400; fp t19896; fp t19895; fp t18407; fp t19164; fp t19028; fp t19894; fp t19891; fp t18404; fp t19890; fp t19681; fp t18410; fp t19889; fp t18938; fp t19888; fp t19886; fp t19857; fp t18346; fp t19885; fp t19884; fp t19883; fp t19882; fp t19880; fp t19878; fp t18097; fp t19874; fp t19873; fp t18210; fp t19870; fp t19248; fp t19869; fp t19867; fp t19865; fp t19864; fp t18964; fp t19861; fp t19860; fp t19856; fp t19007; fp t19854; fp t19853; fp t19851; fp t19173; fp t19460; fp t19850; fp t18093; fp t19849; fp t19157; fp t18627; fp t19848; fp t19159; fp t18193; fp t19846; fp t19677; fp t18158; fp t19841; fp t18217; fp t19009; fp t19839; fp t19838; fp t18337; fp t19834; fp t19829; fp t19093; fp t19827; fp t19824; fp t18201; fp t19822; fp t19819; fp t19818; fp t19816; fp t18518; fp t19813; fp t19812; fp t19809; fp t19808; fp t18341; fp t19806; fp t19805; fp t19803; fp t19797; fp t18878; fp t19795; fp t19794; fp t19793; fp t19789; fp t19788; fp t19786; fp t19781; fp t19777; fp t18731; fp t19771; fp t18749; fp t19765; fp t19764; fp t19758; fp t19757; fp t19456; fp t19756; fp t19755; fp t19423; fp t18405; fp t19751; fp t18412; fp t18838; fp t19750; fp t19748; fp t18222; fp t19744; fp t19746; fp t19031; fp t18416; fp t19742; fp t19739; fp t19738; fp t19737; fp t18168; fp t18198; fp t19734; fp t19254; fp t19733; fp t18333; fp t19732; fp t19731; fp t18357; fp t19724; fp t19720; fp t19239; fp t19717; fp t19714; fp t19712; fp t19710; fp t19703; fp t19688; fp t19136; fp t19081; fp t19026; fp t18937; fp t18836; fp t18817; fp t18744; fp t19686; fp t19685; fp t19106; fp t19123; fp t18932; fp t18827; fp t19654; fp t19408; fp t19653; fp t19640; fp t19639; fp t19637; fp t19633; fp t19313; fp t19631; fp t19629; fp t19414; fp t19628; fp t19627; fp t19626; fp t19467; fp t19623; fp t19394; fp t18394; fp t19622; fp t18430; fp t19621; fp t19438; fp t19620; fp t18155; fp t19224; fp t18055; fp t19619; fp t19618; fp t18958; fp t19617; fp t19616; fp t19615; fp t18801; fp t18758; fp t19614; fp t18156; fp t19613; fp t18144; fp t19612; fp t19611; fp t19610; fp t18566; fp t19609; fp t18426; fp t19608; fp t19607; fp t19606; fp t19317; fp t19605; fp t19604; fp t19603; fp t18509; fp t19602; fp t18379; fp t19601; fp t19600; fp t19459; fp t19599; fp t19298; fp t18054; fp t19598; fp t19597; fp t18180; fp t19596; fp t19252; fp t18157; fp t19595; fp t19371; fp t19594; fp t19593; fp t19592; fp t19591; fp t18330; fp t19590; fp t19589; fp t19588; fp t19587; fp t18326; fp t19586; fp t18103; fp t19585; fp t19326; fp t19584; fp t18860; fp t19583; fp t19582; fp t18695; fp t19581; fp t19580; fp t18284; fp t19579; fp t18388; fp t19578; fp t19577; fp t19576; fp t19575; fp t18094; fp t19574; fp t19573; fp t19572; fp t19293; fp t19571; fp t19570; fp t18279; fp t19567; fp t18218; fp t19566; fp t18867; fp t19565; fp t19564; fp t19563; fp t19562; fp t19561; fp t18248; fp t18638; fp t18658; fp t19560; fp t19281; fp t19559; fp t19558; fp t19557; fp t19556; fp t19555; fp t18641; fp t19554; fp t19553; fp t18625; fp t19552; fp t18648; fp t19551; fp t18683; fp t19550; fp t19549; fp t19548; fp t19547; fp t19197; fp t19457; fp t19289; fp t19546; fp t19545; fp t18908; fp t19270; fp t18632; fp t19544; fp t19543; fp t19287; fp t18735; fp t19542; fp t19541; fp t19540; fp t18679; fp t19539; fp t19251; fp t18794; fp t19538; fp t18907; fp t19537; fp t19536; fp t19535; fp t18960; fp t19534; fp t19533; fp t18965; fp t19532; fp t19531; fp t19530; fp t19529; fp t19288; fp t18786; fp t19528; fp t19113; fp t19527; fp t19526; fp t19525; fp t19524; fp t18531; fp t19523; fp t19522; fp t18582; fp t19521; fp t19520; fp t19519; fp t19518; fp t18647; fp t19517; fp t19516; fp t19515; fp t18771; fp t19514; fp t19513; fp t19512; fp t19511; fp t18571; fp t19510; fp t18782; fp t19509; fp t19508; fp t19507; fp t19506; fp t19137; fp t19505; fp t19504; fp t19503; fp t18988; fp t19502; fp t19067; fp t19501; fp t19500; fp t19499; fp t18755; fp t19498; fp t19497; fp t19496; fp t19495; fp t19275; fp t18643; fp t19494; fp t19493; fp t19364; fp t19492; fp t19491; fp t19227; fp t19490; fp t19059; fp t19489; fp t19488; fp t19487; fp t19486; fp t19485; fp t19484; fp t19483; fp t19482; fp t19039; fp t19481; fp t19480; fp t19479; fp t19478; fp t19470; fp t19466; fp t19462; fp t19458; fp t19454; fp t19451; fp t19432; fp t19426; fp t19417; fp t19410; fp t19403; fp t19401; fp t19397; fp t19390; fp t19382; fp t19381; fp t19375; fp t19360; fp t19324; fp t19322; fp t19314; fp t19297; fp t19283; fp t19268; fp t19267; fp t19231; fp t19229; fp t19225; fp t19222; fp t19217; fp t19214; fp t19212; fp t19211; fp t19208; fp t19205; fp t19201; fp t19200; fp t19199; fp t19198; fp t19191; fp t19186; fp t19139; fp t19128; fp t19124; fp t19119; fp t19112; fp t19100; fp t19096; fp t19084; fp t19083; fp t19075; fp t19073; fp t19072; fp t19061; fp t19046; fp t19040; fp t19033; fp t19021; fp t19018; fp t19017; fp t19010; fp t19008; fp t19005; fp t19004; fp t19002; fp t19000; fp t18998; fp t18994; fp t18993; fp t18991; fp t18986; fp t18985; fp t18983; fp t18982; fp t18981; fp t18977; fp t18970; fp t18950; fp t18947; fp t18936; fp t18905; fp t18904; fp t18898; fp t18897; fp t18886; fp t18885; fp t18882; fp t18881; fp t18879; fp t18877; fp t18875; fp t18873; fp t18871; fp t18870; fp t18869; fp t18865; fp t18864; fp t18857; fp t18856; fp t18855; fp t18851; fp t18845; fp t18843; fp t18837; fp t18833; fp t18829; fp t18826; fp t18822; fp t18821; fp t18812; fp t18811; fp t18803; fp t18796; fp t18795; fp t18793; fp t18792; fp t18791; fp t18775; fp t18768; fp t18763; fp t18760; fp t18754; fp t18753; fp t18750; fp t18743; fp t18742; fp t18741; fp t18727; fp t18725; fp t18723; fp t18720; fp t18715; fp t18714; fp t18711; fp t18704; fp t18693; fp t18692; fp t18687; fp t18676; fp t18672; fp t18671; fp t18669; fp t18668; fp t18664; fp t18663; fp t18659; fp t18656; fp t18653; fp t18651; fp t18645; fp t18633; fp t18628; fp t18619; fp t18618; fp t18617; fp t18613; fp t18612; fp t18608; fp t18599; fp t18597; fp t18596; fp t18594; fp t18593; fp t18588; fp t18583; fp t18581; fp t18580; fp t18576; fp t18573; fp t18570; fp t18564; fp t18560; fp t18559; fp t18551; fp t18550; fp t18545; fp t18539; fp t18529; fp t18524; fp t18519; fp t18510; fp t18507; fp t18503; fp t18498; fp t18494; fp t18493; fp t18487; fp t18485; fp t18473; fp t18470; fp t18469; fp t18467; fp t18463; fp t18462; fp t18456; fp t18455; fp t18454; fp t18452; fp t18451; fp t18450; fp t18449; fp t18443; fp t18442; fp t18441; fp t18436; fp t18434; fp t18433; fp t18428; fp t18427; fp t18421; fp t18420; fp t18414; fp t18401; fp t18396; fp t18386; fp t18383; fp t18382; fp t18376; fp t18374; fp t18371; fp t18367; fp t18364; fp t18354; fp t18347; fp t18335; fp t18331; fp t18327; fp t18324; fp t18322; fp t18315; fp t18305; fp t18302; fp t18301; fp t18296; fp t18282; fp t18276; fp t18273; fp t18267; fp t18266; fp t18263; fp t18256; fp t18251; fp t18250; fp t18247; fp t18238; fp t18234; fp t18223; fp t18214; fp t18211; fp t18200; fp t18197; fp t18195; fp t18190; fp t18186; fp t18181; fp t18176; fp t18175; fp t18173; fp t18172; fp t18162; fp t18154; fp t18149; fp t18142; fp t18132; fp t18126; fp t18107; fp t18099; fp t18088; fp t18083; fp t18075; fp t18074; fp t18069; fp t18064; t19474 = z*z; t19472 = z*t19474; t19960 = z+t19472; t19475 = y*y; t19625 = t19475*t19960; t19473 = y*t19475; t19975 = y+t19473; t19945 = z*t19475; t19844 = t19475*t19472; t20231 = t19844+t19945; t19976 = y*t19474; t19852 = t19473*t19474; t20232 = t19852+t19976; t19624 = t19975*t19474; t19258 = RATIONAL(-14.0,27.0); t19798 = t19258*t19473; t18752 = t19472*t19798; t19906 = t19475*t19474; t19680 = x*t19906; t19365 = RATIONAL(28.0,9.0); t20230 = t18752+t19365*t19680; t19465 = RATIONAL(7.0,3.0); t20229 = t19465*t19475+t19365*t19844; t19366 = RATIONAL(7.0,18.0); t19965 = x*t19474; t19657 = t19366*t19965; t19980 = x*z; t19979 = y*t19980; t19393 = RATIONAL(-7.0,36.0); t18408 = t19393*t19979; t20228 = y*t19657+t18408; t18281 = t19473*t19657; t19311 = RATIONAL(-25.0,72.0); t19706 = t19475*t19311; t20227 = t18281+t19472*t19706; t19237 = RATIONAL(-10.0,27.0); t19701 = t19237*t19474; t19402 = RATIONAL(5.0,27.0); t19949 = y*t19402; t20226 = t19473*t19701+t19474*t19949; t19354 = RATIONAL(7.0,27.0); t19893 = t19354*t19472; t18896 = t19473*t19893; t19372 = RATIONAL(-5.0,12.0); t19156 = t19372*t19474; t19645 = x*t19156; t20225 = t19475*t19645+t18896; t19213 = RATIONAL(-35.0,288.0); t19779 = t19472*t19213; t18563 = t19473*t19779; t19255 = RATIONAL(35.0,48.0); t20224 = t18563+t19255*t19680; t19249 = RATIONAL(-7.0,288.0); t19667 = t19249*t19965; t18109 = t19473*t19667; t19310 = RATIONAL(1.0,144.0); t19725 = t19475*t19310; t18745 = t19472*t19725; t20223 = t18109+t18745; t19879 = t19393*t19472; t19982 = x*y; t18380 = t19879*t19982; t19243 = RATIONAL(-35.0,72.0); t18734 = t19243*t19844; t20222 = x*t18734+t18380; t19392 = RATIONAL(-7.0,72.0); t19695 = t19392*t19474; t19389 = RATIONAL(1.0,24.0); t19932 = x*t19389; t20221 = y*t19932+t19695*t19982; t19290 = RATIONAL(35.0,12.0); t19859 = t19475*t19290; t18767 = t19474*t19859; t19278 = RATIONAL(-35.0,18.0); t19868 = t19278*t19473; t18848 = t19472*t19868; t20220 = t18848+x*t18767; t19400 = RATIONAL(-7.0,54.0); t19847 = t19473*t19400; t18911 = t19472*t19847; t19284 = RATIONAL(35.0,24.0); t20219 = t18911+t19284*t19680; t19825 = t19475*t19393; t20218 = t18281+t19472*t19825; t19900 = t19473*t19472; t20217 = t19278*t19680+RATIONAL(16.0,27.0)*t19900; t19295 = RATIONAL(1.0,432.0); t19799 = t19472*t19295; t19300 = RATIONAL(-1.0,144.0); t19726 = t19300*t19475; t18706 = t19474*t19726; t20216 = t19473*t19799+x*t18706; t19292 = RATIONAL(7.0,288.0); t19942 = x*t19473; t19646 = t19292*t19942; t18100 = t19474*t19646; t19413 = RATIONAL(-1.0,72.0); t19787 = t19475*t19413; t20215 = t19472*t19787+t18100; t19790 = t19475*t19295; t19273 = RATIONAL(-1.0,288.0); t19663 = t19273*t19965; t20214 = t19473*t19663+t19472*t19790; t19272 = RATIONAL(-49.0,72.0); t19950 = x*t19475; t19671 = t19272*t19950; t19351 = RATIONAL(7.0,24.0); t19964 = x*t19351; t20213 = (t19964+t19671)*z; t19240 = RATIONAL(35.0,18.0); t19855 = t19240*t19473; t18701 = t19472*t19855; t20212 = RATIONAL(-49.0,12.0)*t19680+t18701; t19461 = RATIONAL(-4.0,9.0); t19977 = z*t19461; t19912 = x*t19977; t18488 = t19473*t19912; t19468 = RATIONAL(5.0,6.0); t19704 = t19468*t19474; t19650 = x*t19704; t20211 = t19473*t19650+t18488; t19935 = x*t19472; t19910 = y*t19935; t19192 = RATIONAL(49.0,288.0); t18081 = t19192*t19910; t19409 = RATIONAL(-7.0,48.0); t19665 = t19409*t19965; t20210 = t18081+y*t19665; t20209 = RATIONAL(-49.0,864.0)*t19900+RATIONAL(5.0,16.0)*t19680; t19219 = RATIONAL(245.0,72.0); t18548 = t19219*t19852; t19318 = RATIONAL(49.0,36.0); t19807 = t19473*t19318; t18146 = t19807*t19980; t20208 = x*t18548+t18146; t19329 = RATIONAL(5.0,48.0); t19769 = t19475*t19329; t19226 = RATIONAL(-49.0,288.0); t19933 = x*t19226; t19682 = t19473*t19933; t20207 = t19474*t19682+t19472*t19769; t19917 = y*t19965; t19411 = RATIONAL(64.0,9.0); t18289 = t19411*t19910; t19362 = RATIONAL(-80.0,9.0); t20206 = t19362*t19917+t18289; t19142 = t19475*t19704; t19257 = RATIONAL(-49.0,18.0); t19647 = x*t19900; t18151 = t19257*t19647; t20205 = t19142+t18151; t19443 = RATIONAL(7.0,9.0); t19131 = t19443*t19900; t20204 = t19131+RATIONAL(-245.0,24.0)*t19680; t19353 = RATIONAL(56.0,9.0); t18348 = t19353*t19647; t19355 = RATIONAL(-25.0,9.0); t19836 = t19474*t19355; t20203 = t19475*t19836+t18348; t19421 = RATIONAL(7.0,72.0); t19728 = t19475*t19421; t19087 = t19472*t19728; t20202 = z*t19787+t19087; t18819 = RATIONAL(98.0,27.0)*t19900; t20201 = t18819+RATIONAL(-70.0,3.0)*t19680; t19189 = RATIONAL(-343.0,72.0); t19684 = x*t19852; t19262 = RATIONAL(49.0,24.0); t20200 = t19262*t19942+t19189*t19684; t19435 = RATIONAL(-7.0,9.0); t19102 = t19435*t19900; t20199 = t19102+RATIONAL(49.0,12.0)*t19680; t19440 = RATIONAL(-8.0,9.0); t19956 = y*t19472; t19115 = t19440*t19956; t18471 = x*t19115; t19642 = x*t19844; t19406 = RATIONAL(-16.0,3.0); t20198 = t18471+t19406*t19642; t19469 = RATIONAL(1.0,9.0); t19699 = t19469*t19472; t19116 = t19473*t19699; t20197 = t19474*t19671+t19116; t19386 = RATIONAL(-28.0,9.0); t19238 = RATIONAL(10.0,27.0); t19842 = t19238*t19472; t18697 = t19473*t19842; t20196 = t19386*t19680+t18697; t19471 = RATIONAL(2.0,9.0); t19952 = t19471*z; t18481 = t19952*t19982; t19433 = RATIONAL(5.0,9.0); t19762 = t19475*t19433; t20195 = t18481+t19762*t19980; t19356 = RATIONAL(-14.0,9.0); t19928 = y*t19356; t18336 = t19928*t19980; t19349 = RATIONAL(-35.0,9.0); t18957 = t19349*t19976; t20194 = t18336+x*t18957; t19832 = t19356*t19475; t19673 = x*t19832; t19301 = RATIONAL(14.0,27.0); t19796 = t19301*t19472; t18702 = t19473*t19796; t20193 = t18702+t19474*t19673; t19391 = RATIONAL(1.0,72.0); t19823 = t19391*t19474; t20192 = t19975*t19823; t20191 = t19262*t19935+t19189*t19642; t19448 = RATIONAL(-1.0,3.0); t19947 = x*t19448; t19649 = t19474*t19947; t19230 = RATIONAL(49.0,216.0); t19872 = t19230*t19473; t18556 = t19472*t19872; t20190 = t18556+t19475*t19649; t18780 = RATIONAL(-70.0,27.0)*t19900; t19323 = RATIONAL(20.0,3.0); t19641 = t19323*t19950; t20189 = t19474*t19641+t18780; t19368 = RATIONAL(-5.0,72.0); t19655 = t19368*t19950; t19383 = RATIONAL(1.0,54.0); t19887 = t19383*t19472; t19013 = t19473*t19887; t20188 = t19474*t19655+t19013; t19768 = t19237*t19475; t19266 = RATIONAL(20.0,27.0); t20187 = z*t19768+t19266*t19844; t19358 = RATIONAL(-10.0,9.0); t19835 = t19474*t19358; t19644 = x*t19835; t20186 = t18488+t19473*t19644; t19306 = RATIONAL(7.0,216.0); t19828 = t19473*t19306; t18840 = t19474*t19828; t19333 = RATIONAL(-1.0,18.0); t18351 = t19333*t19642; t20185 = t18840+t18351; t19445 = RATIONAL(1.0,3.0); t19946 = x*t19445; t19683 = t19435*t19965; t20184 = (t19683+t19946)*y; t20183 = t19475*t19644+t18697; t19418 = RATIONAL(5.0,18.0); t19845 = t19418*t19473; t19071 = t19472*t19845; t19263 = RATIONAL(-49.0,36.0); t20182 = t19071+t19263*t19680; t19972 = t19273*x; t19915 = z*t19972; t18202 = t19473*t19915; t19407 = RATIONAL(-1.0,48.0); t19676 = t19407*t19965; t20181 = t19473*t19676+t18202; t19449 = RATIONAL(8.0,9.0); t19815 = t19473*t19449; t19635 = x*t19815; t18460 = t19472*t19635; t19250 = RATIONAL(-49.0,27.0); t20180 = t18460+t19250*t19906; t19181 = t19443*t19474; t19666 = x*t19181; t20179 = (t19666+t19947)*y; t18425 = z*t19635; t19367 = RATIONAL(-16.0,9.0); t20178 = t18425+t19367*t19684; t19312 = RATIONAL(49.0,72.0); t19415 = RATIONAL(-7.0,24.0); t19892 = t19415*t19472; t20177 = x*t19892+t19312*t19642; t18906 = t19366*t19956; t18221 = x*t18906; t19436 = RATIONAL(-5.0,6.0); t19783 = t19436*t19474; t19651 = x*t19783; t20176 = t18221+y*t19651; t19359 = RATIONAL(14.0,3.0); t19369 = RATIONAL(-98.0,9.0); t20175 = t19369*t19684+t19359*t19942; t19439 = RATIONAL(-2.0,3.0); t19970 = t19439*y; t19346 = RATIONAL(14.0,9.0); t18921 = t19346*t19976; t20174 = (t19970+t18921)*x; t19388 = RATIONAL(1.0,36.0); t19974 = t19388*z; t19911 = x*t19974; t18381 = y*t19911; t19452 = RATIONAL(1.0,6.0); t19184 = t19452*t19475; t20173 = t19184*t19980+t18381; t18552 = t19219*t19844; t19380 = RATIONAL(35.0,9.0); t18966 = t19380*t19945; t20172 = t18552+t18966; t19920 = x*RATIONAL(32.0,3.0); t19277 = RATIONAL(-224.0,9.0); t20171 = t19277*t19684+t19473*t19920; t19450 = RATIONAL(2.0,3.0); t19862 = t19450*t19473; t20170 = x*t19862+t19356*t19684; t19337 = RATIONAL(7.0,48.0); t20169 = t18563+t19337*t19680; t20168 = RATIONAL(70.0,3.0)*t19680+t18780; t19282 = RATIONAL(-5.0,216.0); t19863 = t19282*t19472; t20167 = t19473*t19863+t19469*t19680; t19177 = t19443*t19475; t20166 = t19177*t19980+z*t19947; t19692 = t19474*t19295; t20165 = t19273*t19642+t19473*t19692; t19455 = RATIONAL(-7.0,3.0); t19419 = RATIONAL(-7.0,18.0); t18940 = t19419*t19956; t18402 = x*t18940; t20164 = t19455*t19642+t18402; t18089 = t19249*t19910; t19315 = RATIONAL(7.0,144.0); t20163 = t18089+t19315*t19917; t19678 = t19312*t19965; t19766 = t19415*t19473; t20162 = x*t19766+t19473*t19678; t19736 = t19306*t19472; t19434 = RATIONAL(-1.0,9.0); t20161 = t19434*t19680+t19473*t19736; t19916 = x*t19945; t19973 = x*t19465; t19420 = RATIONAL(-49.0,9.0); t20160 = t19420*t19916+z*t19973; t19429 = RATIONAL(7.0,54.0); t18888 = t19429*t19900; t19345 = RATIONAL(-7.0,12.0); t19941 = x*t19345; t19661 = t19474*t19941; t20159 = t18888+t19475*t19661; t19759 = t19474*t19311; t18280 = t19366*t19642; t20158 = t19473*t19759+t18280; t19831 = t19329*t19474; t20157 = t19226*t19642+t19473*t19831; t18203 = y*t19915; t20156 = t18203+y*t19676; t18666 = RATIONAL(-98.0,27.0)*t19900; t20155 = RATIONAL(28.0,3.0)*t19680+t18666; t19422 = RATIONAL(-14.0,3.0); t19427 = RATIONAL(98.0,9.0); t20154 = t19427*t19642+t19422*t19935; t19416 = RATIONAL(-5.0,36.0); t18931 = t19416*t19945; t20153 = t18931+t19475*t19779; t19918 = t19249*t19980; t18216 = t19473*t19918; t20152 = t18216+t19473*t19665; t19233 = RATIONAL(-49.0,216.0); t19743 = t19233*t19472; t18578 = t19473*t19743; t20151 = x*t19142+t18578; t19236 = RATIONAL(35.0,72.0); t18842 = t19236*t19844; t19837 = t19419*t19473; t19634 = x*t19837; t18294 = t19474*t19634; t20150 = t18842+t18294; t19747 = t19473*t19315; t18688 = t19472*t19747; t20149 = t18688+t19475*t19665; t19937 = z*t19473; t19919 = x*t19937; t18342 = t19411*t19919; t20148 = t18342+t19362*t19916; t19672 = t19440*t19965; t19245 = RATIONAL(35.0,54.0); t19698 = t19475*t19245; t20147 = t19473*t19672+t19472*t19698; t19957 = t19450*z; t20146 = z*t19673+x*t19957; t19963 = x*t19406; t19299 = RATIONAL(112.0,9.0); t20145 = y*t19963+t19299*t19917; t19711 = t19474*t19421; t19404 = RATIONAL(-1.0,24.0); t19948 = t19404*y; t20144 = t19711*t19982+x*t19948; t19377 = RATIONAL(10.0,9.0); t19763 = t19377*t19474; t19632 = x*t19763; t20143 = t18752+t19475*t19632; t19826 = t19420*t19474; t20142 = t19826*t19982+y*t19973; t19694 = t19474*t19393; t19656 = x*t19694; t20141 = t19013+t19475*t19656; t18161 = t19292*t19642; t20140 = t18161+t19413*t19852; t19969 = x*t19415; t20139 = (t19969+t19678)*y; t19334 = RATIONAL(-5.0,18.0); t19858 = t19334*t19473; t18980 = t19472*t19858; t20138 = t19475*t19678+t18980; t19325 = RATIONAL(-7.0,27.0); t19754 = t19473*t19325; t18999 = t19472*t19754; t19347 = RATIONAL(7.0,12.0); t19924 = x*t19347; t19662 = t19474*t19924; t20137 = t18999+t19475*t19662; t20136 = t19427*t19684+t19422*t19942; t19133 = t19434*t19900; t20135 = t19318*t19680+t19133; t19247 = RATIONAL(5.0,144.0); t19709 = t19475*t19247; t20134 = t18109+t19472*t19709; t19430 = RATIONAL(1.0,18.0); t18350 = t19430*t19642; t19304 = RATIONAL(-7.0,108.0); t20133 = t19304*t19852+t18350; t18839 = t19300*t19976; t19305 = RATIONAL(1.0,288.0); t18213 = t19305*t19910; t20132 = t18213+x*t18839; t19643 = t19472*t19933; t18079 = y*t19643; t20131 = t18079+t19337*t19917; t19954 = t19404*z; t20130 = t19728*t19980+x*t19954; t20129 = RATIONAL(-160.0,27.0)*t19900+RATIONAL(280.0,9.0)*t19680; t19265 = RATIONAL(7.0,864.0); t19753 = t19265*t19473; t18739 = t19472*t19753; t19376 = RATIONAL(-5.0,96.0); t19658 = t19376*t19950; t20128 = t18739+t19474*t19658; t19921 = y*t19333; t18927 = t19472*t19921; t18411 = x*t18927; t20127 = t18411+t19448*t19642; t18925 = z*t19921; t18241 = x*t18925; t19702 = t19469*t19474; t19118 = y*t19702; t20126 = x*t19118+t18241; t19221 = RATIONAL(35.0,216.0); t19830 = t19473*t19221; t18572 = t19472*t19830; t20125 = t18572+t19475*t19651; t20124 = t19392*t19916+z*t19932; t18592 = RATIONAL(245.0,18.0)*t19906; t19342 = RATIONAL(-40.0,9.0); t19821 = t19342*t19473; t20123 = x*t18592+t19472*t19821; t19745 = t19389*t19474; t19051 = t19475*t19745; t18087 = t19473*t19643; t20122 = t19051+t18087; t19398 = RATIONAL(1.0,48.0); t19913 = t19305*t19980; t18208 = y*t19913; t20121 = t19398*t19916+t18208; t20120 = t19312*t19916+z*t19969; t19962 = x*t19450; t18929 = t19474*t19928; t20119 = x*t18929+y*t19962; t19444 = RATIONAL(-2.0,9.0); t19968 = t19444*y; t18472 = t19968*t19980; t19428 = RATIONAL(5.0,12.0); t20118 = t19428*t19917+t18472; t19343 = RATIONAL(-20.0,9.0); t20117 = t19343*t19680+t18702; t18915 = t19366*t19937; t18406 = x*t18915; t20116 = t19465*t19684+t18406; t19242 = RATIONAL(-5.0,288.0); t19708 = t19242*t19474; t20115 = t19473*t19708+t18161; t19934 = z*t19346; t18318 = t19934*t19982; t19773 = t19380*t19474; t18976 = y*t19773; t20114 = t18318+x*t18976; t19800 = t19351*t19472; t20113 = t19272*t19642+x*t19800; t18148 = RATIONAL(-128.0,9.0)*t19647; t19316 = RATIONAL(160.0,9.0); t20112 = t19316*t19684+t18148; t19241 = RATIONAL(-7.0,144.0); t19675 = t19241*t19965; t19727 = t19310*t19472; t20111 = t19475*t19675+t19473*t19727; t19770 = t19351*t19473; t19679 = t19272*t19965; t20110 = t19473*t19679+x*t19770; t19215 = RATIONAL(35.0,288.0); t19877 = t19215*t19472; t18585 = t19473*t19877; t19264 = RATIONAL(-35.0,96.0); t19659 = t19264*t19965; t20109 = t18585+t19475*t19659; t20108 = RATIONAL(-280.0,9.0)*t19680+RATIONAL(224.0,27.0)*t19900; t20107 = t18848+RATIONAL(245.0,24.0)*t19680; t19776 = t19430*t19474; t19668 = x*t19776; t18246 = t19473*t19668; t19814 = t19475*t19304; t20106 = t18246+t19472*t19814; t19103 = t19449*t19956; t18477 = x*t19103; t20105 = t19367*t19642+t18477; t18071 = t19192*t19647; t20104 = RATIONAL(-25.0,48.0)*t19906+t18071; t18413 = t19421*t19680; t19341 = RATIONAL(-1.0,54.0); t19801 = t19341*t19472; t19092 = t19473*t19801; t20103 = t18413+t19092; t20102 = RATIONAL(125.0,24.0)*t19906+t18151; t19907 = t19475*t19236; t19660 = x*t19907; t20101 = t19474*t19660+t19133; t18967 = t19430*t19956; t18422 = x*t18967; t19718 = t19475*t19434; t19132 = t19472*t19718; t20100 = x*t19132+t18422; t20099 = RATIONAL(5.0,1.0)*t19680+RATIONAL(-245.0,216.0)*t19900; t20098 = t18246+t19282*t19844; t19032 = t19392*t19844; t20097 = x*t19032+t19472*t19932; t19350 = RATIONAL(5.0,96.0); t19260 = RATIONAL(-7.0,432.0); t18862 = t19260*t19900; t20096 = t19350*t19680+t18862; t19379 = RATIONAL(5.0,36.0); t19749 = t19472*t19379; t20095 = t18294+t19475*t19749; t19339 = RATIONAL(7.0,36.0); t19705 = t19475*t19339; t19030 = t19474*t19705; t19385 = RATIONAL(-1.0,27.0); t19774 = t19385*t19472; t19080 = t19473*t19774; t20094 = x*t19030+t19080; t20093 = t19245*t19852+t19440*t19642; t18403 = z*t19634; t20092 = t18403+t19473*t19666; t19399 = RATIONAL(5.0,72.0); t19811 = t19399*t19474; t19085 = t19475*t19811; t20091 = x*t19085+t19080; t19908 = t19439*t19473; t20090 = x*t19908+t19346*t19684; t19670 = t19475*t19946; t19194 = RATIONAL(-35.0,216.0); t19817 = t19194*t19472; t18554 = t19473*t19817; t20089 = t19474*t19670+t18554; t18084 = t19192*t19919; t19206 = RATIONAL(-49.0,144.0); t20088 = t18084+t19206*t19684; t18504 = t19461*t19910; t20087 = t19449*t19917+t18504; t19374 = RATIONAL(-8.0,27.0); t19772 = t19473*t19374; t20086 = t19240*t19680+t19472*t19772; t18751 = RATIONAL(70.0,27.0)*t19900; t20085 = t18751+RATIONAL(-28.0,3.0)*t19680; t19871 = t19450*t19472; t20084 = x*t19871+t19356*t19642; t19722 = t19473*t19242; t19690 = t19475*t19315; t19669 = x*t19690; t20083 = t19472*t19722+t19474*t19669; t19425 = RATIONAL(-20.0,3.0); t19630 = t19425*t19950; t20082 = t18819+t19474*t19630; t19674 = t19474*t19946; t18435 = t19473*t19674; t20081 = t19475*t19743+t18435+t19306*t19945; t19296 = RATIONAL(-35.0,48.0); t19274 = RATIONAL(49.0,48.0); t20080 = y*t19831+t19274*t19642+t19296*t19852; t19693 = t19474*t19236; t18678 = t19473*t19693; t18133 = x*t18678; t19148 = t19469*t19945; t20079 = t19444*t19844+t18133+t19148; t19981 = y*z; t18962 = t19430*t19981; t19320 = RATIONAL(-35.0,12.0); t20078 = t19131+t19320*t19680+t18962; t18880 = t19430*t19945; t18182 = t19473*t19659; t18733 = t19472*t19690; t20077 = t18880+t18182+t18733; t19387 = RATIONAL(16.0,9.0); t19246 = RATIONAL(-35.0,54.0); t19729 = t19475*t19246; t20076 = t19387*t19684+t19960*t19729; t19207 = RATIONAL(-245.0,96.0); t20075 = y*t19704+t19207*t19642+t19255*t19852; t19944 = t19413*y; t18230 = t19409*t19642; t19024 = t19473*t19711; t20074 = t18230+t19474*t19944+t19024; t18912 = t19379*t19945; t19707 = t19475*t19334; t20073 = t19472*t19707+t18912+t18133; t18363 = t19358*t19642; t20072 = t18363+t19266*t19852+y*t19701; t19951 = y*t19341; t18997 = z*t19951; t20071 = RATIONAL(49.0,432.0)*t19900+RATIONAL(-5.0,16.0)*t19680+t18997; t19361 = RATIONAL(70.0,9.0); t18944 = t19361*t19852; t18235 = x*t18944; t19338 = RATIONAL(25.0,9.0); t19373 = RATIONAL(-50.0,9.0); t20070 = t18235+t19373*t19844+t19338*t19945; t18542 = RATIONAL(-175.0,24.0)*t19906; t20069 = t19358*t19981+x*t18542+t18701; t19441 = RATIONAL(4.0,9.0); t19107 = t19441*t19981; t20068 = t19107+t19102+RATIONAL(175.0,24.0)*t19680; t19294 = RATIONAL(5.0,288.0); t19697 = t19294*t19472; t19719 = t19475*t19294; t19792 = t19473*t19241; t18820 = t19474*t19792; t18196 = x*t18820; t20067 = t19475*t19697+z*t19719+t18196; t18987 = t19379*t19981; t20066 = t18987+RATIONAL(35.0,16.0)*t19680+RATIONAL(-245.0,288.0)*t19900; t19271 = RATIONAL(-1.0,432.0); t19715 = t19473*t19271; t19966 = y*t19271; t20065 = x*t18745+(t19715+t19966)*t19474; t19780 = t19474*t19334; t18178 = x*t18842; t19804 = t19474*t19379; t18902 = y*t19804; t20064 = t19473*t19780+t18178+t18902; t19216 = RATIONAL(49.0,144.0); t19348 = RATIONAL(-5.0,48.0); t20063 = t19216*t19642+t20232*t19348; t19308 = RATIONAL(25.0,72.0); t18482 = t19435*t19642; t20062 = t18482+t20232*t19308; t19195 = RATIONAL(280.0,27.0); t19303 = RATIONAL(-160.0,9.0); t19196 = RATIONAL(-140.0,27.0); t20061 = t19303*t19684+t19196*t19945+t19195*t19844; t18206 = t19264*t19642; t18941 = y*t19776; t18649 = t19474*t19747; t20060 = t18206+t18941+t18649; t19636 = t19474*t19962; t20059 = t19306*t19981+t19475*t19636+t18578; t19261 = RATIONAL(5.0,216.0); t19833 = t19434*t19474; t19146 = t19473*t19833; t18514 = x*t19146; t20058 = t18514+t20231*t19261; t20057 = t19398*t19684+t19260*t19844+z*t19790; t19328 = RATIONAL(-35.0,6.0); t18328 = t19328*t19642; t19259 = RATIONAL(35.0,36.0); t19696 = t19474*t19259; t20056 = y*t19763+t18328+t19473*t19696; t20055 = t19216*t19900+t18925+RATIONAL(-35.0,16.0)*t19680; t20054 = t18688+t19296*t19680+t18962; t20053 = t19295*t19981+x*t19051+t18862; t19700 = t19474*t19416; t19025 = t19475*t19700; t19412 = RATIONAL(1.0,27.0); t19897 = t19412*t19472; t19001 = t19473*t19897; t20052 = x*t19025+t19001+t18997; t18244 = t19337*t19684; t19234 = RATIONAL(-35.0,144.0); t20051 = z*t19709+t18244+t19234*t19844; t18476 = t19465*t19642; t19319 = RATIONAL(-35.0,36.0); t19721 = t19473*t19319; t20050 = t19474*t19721+t18476+t18902; t19384 = RATIONAL(35.0,6.0); t18325 = t19384*t19642; t19691 = t19473*t19263; t20049 = t18325+t19474*t19691+t18929; t19332 = RATIONAL(-70.0,9.0); t18975 = t19332*t19844; t18309 = x*t18975; t20048 = t18944+t18309+t18957; t18399 = t19339*t19979; t20047 = t19319*t19680+t18399+t18925+t19116; t19321 = RATIONAL(-28.0,27.0); t18255 = t19473*t19632; t20046 = t19301*t19945+t18255+t19321*t19844; t19280 = RATIONAL(-1.0,864.0); t19943 = t19280*y; t20045 = t18739+z*t19943+t19404*t19680; t18437 = t19473*t19649; t20044 = t19221*t19844+t18437+t19282*t19945; t19223 = RATIONAL(140.0,27.0); t19370 = RATIONAL(-40.0,3.0); t19228 = RATIONAL(245.0,54.0); t20043 = t19223*t19945+t19228*t19844+t19370*t19684; t19464 = RATIONAL(5.0,3.0); t18508 = x*t19107; t19330 = RATIONAL(-5.0,27.0); t19940 = y*t19330; t18974 = z*t19940; t19866 = t18508+t18974; t20042 = t19866+t18554+t19464*t19680; t19648 = t19428*t19950; t19291 = RATIONAL(-1.0,108.0); t19953 = t19291*y; t18689 = z*t19953; t20041 = t18911+t19474*t19648+t18689; t19431 = RATIONAL(4.0,27.0); t19939 = y*t19431; t20040 = t18999+z*t19939+RATIONAL(25.0,24.0)*t19680; t20039 = t19223*t19976+t19228*t19852+t19370*t19642; t19971 = y*t19310; t18788 = t19474*t19971; t18220 = t19337*t19642; t20038 = t18788+t18820+t18220; t20037 = t19398*t19642+y*t19692+t19260*t19852; t18732 = t19475*t19696; t20036 = t18987+x*t18732+t18980; t18900 = t19361*t19844; t19160 = t19332*t19474; t19062 = t19473*t19160; t18264 = x*t19062; t18978 = t19349*t19945; t20035 = t18900+t18264+t18978; t19279 = RATIONAL(-7.0,864.0); t19784 = t19279*t19473; t18868 = t19472*t19784; t20034 = t18868+t19329*t19680+t18689; t19923 = z*t19354; t18484 = t19473*t19651; t20033 = t19230*t19844+t18484+t19475*t19923; t18312 = x*t18900; t19775 = t19473*t19386; t20032 = t18312+t19474*t19775+t18921; t19134 = t19475*t19699; t19038 = t19333*t19945; t19735 = t19474*t19243; t18808 = t19473*t19735; t18115 = x*t18808; t20031 = t19134+t19038+t18115; t19378 = RATIONAL(-2.0,27.0); t20030 = t18888+RATIONAL(-25.0,24.0)*t19680+t19378*t19981; t19820 = t19474*t19339; t19034 = y*t19820; t20029 = t19473*t19820+t19034+t18482; t19664 = t19376*t19965; t19276 = RATIONAL(7.0,432.0); t19782 = t19472*t19276; t19927 = z*t19383; t20028 = t19473*t19664+(t19927+t19782)*t19475; t19167 = t19418*t19475; t19210 = RATIONAL(35.0,144.0); t20027 = t19210*t19844+z*t19167+t18182; t19286 = RATIONAL(-5.0,108.0); t19109 = t19473*t19702; t18517 = x*t19109; t20026 = t18517+t19286*t19625; t19652 = t19384*t19965; t18323 = t19473*t19652; t19730 = t19263*t19472; t20025 = t18323+z*t19832+t19475*t19730; t18511 = t19436*t19642; t19203 = RATIONAL(35.0,108.0); t20024 = t18511+t19203*t19852+t19238*t19976; t20023 = t18751+RATIONAL(-50.0,3.0)*t19680+RATIONAL(-40.0,27.0)*t19981; t19898 = t19475*t19348; t19003 = t19474*t19898; t18774 = t19473*t19782; t19023 = y*t19927; t19336 = RATIONAL(-1.0,36.0); t18415 = t19336*t19979; t19902 = t19023+t18415; t20022 = x*t19003+t18774+t19902; t18501 = y*t19912; t18989 = y*t19923; t19840 = t18501+t18989; t19463 = RATIONAL(-5.0,3.0); t20021 = t19840+t18556+t19463*t19680; t19202 = RATIONAL(-245.0,72.0); t18561 = t19202*t19844; t20020 = y*t19783+x*t18561+t19464*t19852; t19188 = RATIONAL(-49.0,108.0); t18502 = t19468*t19642; t19767 = t19258*t19474; t20019 = t19188*t19852+y*t19767+t18502; t20018 = t19368*t19642+t19412*t19852+t19474*t19951; t18187 = x*t18733; t19302 = RATIONAL(-5.0,144.0); t19723 = t19474*t19302; t20017 = t18187+t19975*t19723; t18579 = t19202*t19852; t18764 = y*t19693; t20016 = t18579+t18764+t18476; t19190 = RATIONAL(-35.0,108.0); t19027 = t19430*t19937; t18306 = x*t19027; t19285 = RATIONAL(5.0,108.0); t19741 = t19475*t19285; t20015 = z*t19741+t18435+t19190*t19844+t18306; t18423 = x*t18962; t19638 = t19439*t19965; t20014 = t19475*t19638+t18423+t18572+t19282*t19981; t19446 = RATIONAL(-5.0,9.0); t19169 = t19372*t19475; t20013 = t19446*t19844+t19169+t20162; t19179 = t19446*t19474; t20012 = t19473*t19179+t19156+t20177; t19309 = RATIONAL(7.0,108.0); t19752 = t19473*t19309; t20011 = t19474*t19752+t19309*t19976+t20100; t19760 = t19258*t19475; t19162 = t19419*t19475; t20010 = t19162+t19472*t19760+t20090; t19193 = RATIONAL(175.0,72.0); t20009 = y*t19759+t19193*t19852+t20164; t18338 = t19365*t19919; t19065 = t19475*t19934; t19785 = t19472*t19386; t20008 = t18235+t18338+t19065+t19475*t19785; t19253 = RATIONAL(-20.0,27.0); t19174 = t19446*t19475; t20007 = t19253*t19844+t19174+t20090; t20006 = t19167+t19475*t19842+t20170; t19395 = RATIONAL(5.0,24.0); t20005 = t19395*t19475+t19418*t19844+t20110; t19352 = RATIONAL(-1.0,12.0); t20004 = t19352*t19475+t19132+t20162; t19802 = t19261*t19474; t19687 = t19473*t19261; t20003 = y*t19802+t19474*t19687+t20100; t19204 = RATIONAL(-175.0,72.0); t18332 = t19775*t19980; t20002 = t18323+t19204*t19844+t18332+t19355*t19945; t18418 = t19336*t19919; t20001 = t19368*t19684+t18418+t19341*t19945+t19412*t19844; t18194 = t19292*t19910; t20000 = t19234*t19852+t18220+t18194+t19247*t19976; t19170 = t19328*t19475; t19999 = t18975+t19170+t20136; t18334 = t19785*t19982; t19340 = RATIONAL(20.0,9.0); t19810 = t19473*t19340; t19998 = t18309+t18334+y*t19835+t19474*t19810; t19171 = t19336*t19474; t19716 = t19385*t19474; t19997 = t19404*t19935+t19171+x*t19087+t19473*t19716; t19172 = t19418*t19474; t19996 = t19238*t19852+t19172+t20084; t19209 = RATIONAL(49.0,108.0); t19995 = t19209*t19852+t19304*t19976+t20127; t19994 = z*t19760+t19188*t19844+t20211; t19993 = t19474*t19807+y*t19694+t20164; t19761 = t19473*t19343; t19180 = t19463*t19474; t19992 = t19474*t19761+t19180+t20154; t19740 = t19433*t19474; t19991 = t19473*t19740+y*t19780+t20222; t19256 = RATIONAL(28.0,27.0); t19990 = t19256*t19852+t19181+t20084; t19843 = t19473*t19404; t19161 = t19336*t19475; t19989 = t19161+t19475*t19774+(t19843+t19024)*x; t19988 = t19463*t19475+t19343*t19844+t20136; t18086 = z*t19682; t19987 = t19348*t19844+t19216*t19684+z*t19898+t18086; t19986 = t18561+z*t19907+t20116; t19218 = RATIONAL(-280.0,27.0); t19235 = RATIONAL(224.0,9.0); t19344 = RATIONAL(-32.0,3.0); t19985 = t19344*t19935+t19218*t19852+t19235*t19642+t19160; t19176 = t19452*t19474; t19984 = t19471*t19852+t19176+t20113; t19713 = t19472*t19416; t19983 = t18931+t19475*t19713+t20092; t19424 = RATIONAL(16.0,3.0); t19978 = x*t19424; t19967 = t19439*z; t19961 = x*t19455; t19307 = RATIONAL(-7.0,216.0); t19959 = t19307*y; t19244 = RATIONAL(1.0,108.0); t19958 = t19244*z; t19955 = y*t19325; t19938 = t19434*y; t19936 = t19343*y; t19405 = RATIONAL(-4.0,27.0); t19931 = t19405*y; t19930 = t19434*z; t19269 = RATIONAL(1.0,864.0); t19929 = y*t19269; t19926 = x*RATIONAL(1.0,4.0); t19925 = t19300*z; t19447 = RATIONAL(-4.0,3.0); t19922 = x*t19447; t19914 = t19292*t19980; t19875 = t19339*t19473; t18377 = t19875*t19980; t19689 = t19473*t19333; t19909 = z*t19689+t18377; t19331 = RATIONAL(8.0,27.0); t19905 = t18504+t19331*t19956; t19437 = RATIONAL(7.0,6.0); t19904 = t19437*t19474; t18212 = t19305*t19647; t19903 = t19472*t19715+t18212; t19901 = t19475*t19309; t19899 = t19383*t19473; t19881 = t19339*t19472; t18400 = t19881*t19982; t19896 = y*t19656+t18400; t19895 = t19279*t19472; t18407 = t19366*t19647; t19164 = t19419*t19474; t19028 = t19475*t19164; t19894 = t18407+t19028; t19891 = t19265*t19472; t18404 = t19472*t19634; t19890 = t18732+t18404; t19681 = x*t19689; t18410 = z*t19681; t19889 = t18410+z*t19687; t18938 = z*t19949; t19888 = t18501+t18938; t19886 = t19441*t19472; t19857 = t19388*t19473; t18346 = t19857*t19980; t19885 = t19161*t19980+t18346; t19884 = t18089+y*t19782; t19883 = t19280*t19472; t19882 = t18071+t19472*t19792; t19880 = t19334*t19472; t19878 = t19341*t19473; t18097 = y*t19914; t19874 = y*t19925+t18097; t19873 = t19388*t19472; t18210 = t19473*t19913; t19870 = t18210+t19475*t19915; t19248 = RATIONAL(49.0,27.0); t19869 = t18332+t19248*t19937; t19867 = t19300*t19472; t19865 = t19475+t19474; t19864 = t19473+t19472; t18964 = z*t19955; t19861 = t18964+t18508; t19860 = t19441*t19473; t19856 = t18194+y*t19867; t19007 = t19416*t19981; t19854 = t19007+t18399; t19853 = t19393*t19473; t19851 = t19444*t19473; t19173 = t19328*t19474; t19460 = RATIONAL(-7.0,6.0); t19850 = t19460*t19474; t18093 = y*t19918; t19849 = t18093+t19294*t19981; t19157 = t19395*t19474; t18627 = t19474*t19729; t19848 = t18627+t18460; t19159 = t19352*t19474; t18193 = z*t19646; t19846 = z*t19722+t18193; t19677 = t19305*t19965; t18158 = t19273*t19647; t19841 = t19473*t19677+t18158; t18217 = t19249*t19647; t19009 = t19475*t19823; t19839 = t18217+t19009; t19838 = t19307*t19473; t18337 = t19365*t19910; t19834 = t19115+t18337; t19829 = t19473*t19276; t19093 = z*t19878; t19827 = t18306+t19093; t19824 = t19377*t19475; t18201 = t19273*t19910; t19822 = t18201+y*t19677; t19819 = t18767+t18151; t19818 = t19473*t19280; t19816 = t18423+z*t19959; t18518 = t19860*t19980; t19813 = z*t19754+t18518; t19812 = t18404+t19030; t19809 = t19439*t19472; t19808 = t19259*t19472; t18341 = x*t19038; t19806 = t18341+t18306; t19805 = t19475*t19460; t19803 = t19473*t19213; t19797 = t19307*t19475; t18878 = y*t19958; t19795 = t18415+t18878; t19794 = t19301*t19474; t19793 = t19307*t19472; t19789 = t19237*t19472; t19788 = t18213+y*t19663; t19786 = t19473*t19310; t19781 = t19475*t19436; t19777 = t18407+t19025; t18731 = RATIONAL(-25.0,36.0)*t19906; t19771 = t18731+t18407; t18749 = t19475*t19735; t19765 = t18407+t18749; t19764 = t19475*t19271; t19758 = t19473*t19233; t19757 = t19340*t19472; t19456 = RATIONAL(5.0,8.0); t19756 = t19475*t19456; t19755 = t19475*t19242; t19423 = RATIONAL(-56.0,9.0); t18405 = t19423*t19647; t19751 = t19475*t19773+t18405; t18412 = t19333*t19647; t18838 = t19474*t19901; t19750 = t18412+t18838; t19748 = t19248*t19956+t18334; t18222 = t19430*t19647; t19744 = t19286*t19474; t19746 = t19475*t19744+t18222; t19031 = y*t19887; t18416 = t19336*t19910; t19742 = t19031+t18416; t19739 = t19475*t19308; t19738 = t19475*t19468; t19737 = t19304*t19956+t18400; t18168 = t19249*t19642; t18198 = t19472*t19646; t19734 = t18168+t18198; t19254 = RATIONAL(-1.0,216.0); t19733 = t19254*t19474; t18333 = RATIONAL(-32.0,9.0)*t19979; t19732 = t18333+RATIONAL(40.0,27.0)*t19981; t19731 = t19473*t19269; t18357 = t19853*t19980; t19724 = z*t19752+t18357; t19720 = t19473*t19331; t19239 = RATIONAL(49.0,54.0); t19717 = t19239*t19474; t19714 = t18377+t19416*t19937; t19712 = t18416+t19244*t19956; t19710 = t19474*t19739+t18404; t19703 = t19282*t19474; t19688 = t19319*t19472; t19136 = z*t19718; t19081 = z*t19825; t19026 = z*t19705; t18937 = t19358*t19945; t18836 = z*t19725; t18817 = z*t19726; t18744 = t19243*t19945; t19686 = x*t19781; t19685 = x*t19738; t19106 = t19440*t19937; t19123 = y*t19833; t18932 = t19474*t19921; t18827 = y*t19735; t19654 = x*t19173; t19408 = RATIONAL(40.0,3.0); t19653 = t19408*t19965; t19640 = x*t19824; t19639 = t19415*t19965; t19637 = t19474*t19964; t19633 = x*t19811; t19313 = RATIONAL(35.0,96.0); t19631 = t19313*t19950; t19629 = t19352*x+t19430; t19414 = RATIONAL(50.0,9.0); t19628 = t19370*x+t19414; t19627 = RATIONAL(25.0,8.0)+RATIONAL(-35.0,8.0)*x; t19626 = t19391+t19404*x; t19467 = RATIONAL(1.0,2.0); t19623 = RATIONAL(-7.0,4.0)*x+t19467; t19394 = RATIONAL(-64.0,9.0); t18394 = t19394*t19919; t19622 = t19299*t19916+z*t19963+t18394; t18430 = t19440*t19647; t19621 = t19346*t19642+x*t19809+t18430; t19438 = RATIONAL(-8.0,3.0); t19620 = t18337+t19438*t19917+t18501; t18155 = t19691*t19980; t19224 = RATIONAL(245.0,96.0); t18055 = RATIONAL(-343.0,288.0)*t19647; t19619 = t18155+t19224*t19684+t18055; t19618 = x*t18827+t18221+t18408; t18958 = t19473*t19695; t19617 = x*t18958+t19473*t19932+t18222; t19616 = t18407+t19473*t19683+t18406; t19615 = t18216+x*t18649+t18217; t18801 = t19241*t19844; t18758 = t19472*t19726; t19614 = t18210+x*t18817+t18208; t18156 = t19730*t19982; t19613 = t18156+t19290*t19917+t18336; t18144 = t19318*t19910; t19612 = t18144+t18408+t19850*t19982; t19611 = t18518+z*t19946+t19435*t19916; t19610 = t18348+t20175; t18566 = RATIONAL(-175.0,18.0)*t19906; t19609 = t18381+t19399*t19916+t18410; t18426 = x*t19106; t19608 = t18426+(t19065+t19967)*x; t19607 = t18381+t18346+t18341; t19606 = t18460+t20186; t19317 = RATIONAL(-112.0,9.0); t19605 = t18289+t19317*t19917+y*t19978; t19604 = t18144+t19320*t19917+t18318; t19603 = x*t19134+t18411+t18412; t18509 = t19886*t19982; t19602 = t19179*t19982+t18509+t18472; t18379 = t19472*t19640; t19601 = t18379+t18509+t18430; t19600 = t18381+z*t19658+t18193; t19459 = RATIONAL(-1.0,6.0); t19599 = t19459*t19916+t18415+t18377; t19298 = RATIONAL(-49.0,48.0); t18054 = RATIONAL(343.0,288.0)*t19647; t19598 = t19298*t19684+t18054+t18086; t19597 = t18221+(t19679+t19964)*y; t18180 = RATIONAL(128.0,9.0)*t19647; t19596 = t19472*t19920+t19277*t19642+t18180; t19252 = RATIONAL(49.0,18.0); t18157 = t19252*t19647; t19595 = t18403+t19455*t19684+t18157; t19371 = RATIONAL(49.0,9.0); t19594 = z*t19961+t18332+t19371*t19916; t19593 = t19443*t19642+t18404+t18402; t19592 = t18087+t19472*t19631+t18380; t19591 = t18399+t18156+t19904*t19982; t18330 = t19473*t19654; t19590 = t18330+t18338+t18157; t19589 = t18481+t18377+t19169*t19980; t19588 = t18201+x*t18788+t18203; t19587 = t18342+t19317*t19916+z*t19978; t18326 = RATIONAL(32.0,9.0)*t19979; t19586 = t18326+t18338+z*t19630; t18103 = t19313*t19684; t19585 = t18087+t18357+t18103; t19326 = RATIONAL(80.0,9.0); t19584 = t18326+t19326*t19916+t18394; t18860 = t19300*t19852; t19583 = t18071+t20152; t19582 = t19445*t19642+t18404+t18422; t18695 = t19474*t19786; t19581 = t18399+t18081+y*t19659; t19580 = t18408+t19313*t19917+t18079; t18284 = t19394*t19910; t19579 = t18284+t18405+t19408*t19642; t18388 = t19873*t19982; t19578 = t19399*t19642+t18412+t18388; t19577 = t18221+t18241+y*t19649; t19576 = t18508+z*t19640+t18426; t19575 = t18334+t19371*t19917+y*t19961; t18094 = x*t18801; t19574 = t18198+t18094+t18194; t19573 = t18348+t19369*t19642+t19359*t19935; t19572 = t19350*t19684+t18217+t18418; t19293 = RATIONAL(-49.0,54.0); t19571 = t19366+t19293*t19474; t19570 = t19293*t19475+t19366; t18279 = t19419*t19642; t19567 = t19473*t19804+t18279+t19777; t18218 = t19392*t19680; t19566 = t19001+t18218+t19750; t18867 = t19475*t19723; t19565 = t18867+t19247*t19852+t19734; t19564 = t18351+t19285*t19852+t19746; t19563 = t19475*t19676+t18774+t19839; t19562 = t19071+x*t18749+t19710; t19561 = t19003+t19474*t19631+t19882; t18248 = t19474*t19681; t18638 = t19475*t19736; t18658 = t19474*t19797; t19560 = t18222+t18248+t18638+t18658; t19281 = RATIONAL(-35.0,24.0); t19559 = t18896+t19281*t19680+t19890; t19558 = t18868+t19398*t19680+t18198+t18706; t19557 = t18279+t18678+t19765; t19556 = t19473*t19694+t18280+t19812; t19555 = t19472*t19741+t18248+t19746; t18641 = t19474*t19764; t19554 = t19472*t19818+t18212+t19310*t19680+t18641; t19553 = RATIONAL(-245.0,18.0)*t19680+t19387*t19900+t19751; t18625 = t19474*t19719; t19552 = t19472*t19755+t18217+t18100+t18625; t18648 = t19475*t19802; t19551 = t18648+t18412+t18350+t19473*t19703; t18683 = t19473*t19789; t19550 = t18683+t19346*t19680+t19848; t19549 = t18731+t19616+t19960*t19739; t19548 = t18333+t18348+RATIONAL(50.0,3.0)*t19680+t18566+RATIONAL(56.0, 27.0)*t19981+t18666; t19547 = t19209*t19844+t18437+z*t19814+t18410+t19894; t19197 = RATIONAL(343.0,72.0); t19457 = RATIONAL(-5.0,4.0); t19289 = RATIONAL(-49.0,24.0); t19546 = t19289*t19935+t19197*t19642+t19457*t19474+t19473*t19180+t19819; t19545 = t19197*t19684+t19457*t19475+t19463*t19844+t19289*t19942+t19819; t18908 = y*t19700; t19270 = RATIONAL(25.0,96.0); t18632 = t19270*t19906; t19544 = t18908+t18632+t19474*t19803+t19592; t19543 = t18337+t18328+t18548+t18157+t18542+t18976; t19287 = RATIONAL(-25.0,12.0); t18735 = t19287*t19906; t19542 = t18735+t19193*t19844+z*t19706+t19595; t19541 = t19471*t19844+t19184+t19894+t20110; t19540 = t18758+t19009+t18817+t19615; t18679 = RATIONAL(-25.0,27.0)*t19906; t19539 = t18679+t18683+t18460+t19340*t19680+t19888; t19251 = RATIONAL(35.0,27.0); t18794 = t19251*t19906; t19538 = t19253*t19852+t19179+t18794+t19621; t18907 = t19475*t19159; t19537 = t18907+z*t19971+t19475*t19637+t18093+t19882; t19536 = t18504+t19474*t19940+t18502+t19194*t19852+t19710; t19535 = t19354*t19976+t18511+t18509+t19230*t19852+t19765; t18960 = RATIONAL(5.0,54.0)*t19906; t19534 = t18960+t19603+t19975*t19744; t19533 = t19177+t19256*t19844+t20170+t20180; t18965 = t19475*t19157; t19532 = t19123+t18958+t18965+t19592; t19531 = t18592+t18405+t19062+t19173+t20154; t19530 = y*t19703+t19474*t19830+t19777+t20127; t19529 = t19472*t19762+t18357+z*t19707+t18115+t19771; t19288 = RATIONAL(1.0,216.0); t18786 = t19288*t19906; t19528 = t18786+x*t18695+t18202+t18158+t19960*t19764; t19113 = t19474*t19756; t19527 = t18084+t19274*t19684+t19113+t18055+z*t19769+t19296*t19844; t19526 = t18867+t19474*t19829+t18198+t19376*t19642+t18388+t19383*t19976; t19525 = t19003+t19215*t19844+z*t19755+t19583; t19524 = t19325*t19945+t18627+t19475*t19796+t19606; t18531 = RATIONAL(125.0,18.0)*t19906; t19523 = t18312+t18531+t18337+t18405+t19373*t19852+t19338*t19976; t19522 = t18585+t18087+t18097+t19242*t19981+t19475*t19639+t18965; t18582 = RATIONAL(490.0,27.0)*t19906; t19521 = t19218*t19844+t19235*t19684+t19332*t19475+t19344*t19942+t18148+ t18582; t19520 = t19474*t19758+t19030+t19306*t19976+t19582; t19519 = t18932+t19109+t19777+t20222; t19518 = t18744+t18734+t19890+t20092; t18647 = RATIONAL(-25.0,16.0)*t19906; t19517 = t18647+t19255*t19844+t19207*t19684+z*t19738+t18054+t18146; t19516 = t19159+t19146+t19812+t20177; t19515 = t19321*t19852+t18794+y*t19794+t19601; t18771 = t19475*t19717; t19514 = t18771+t19473*t19767+t19164+t19621; t19513 = t18839+t18860+t18089+t18187+t19839; t19512 = t18965+t19136+t19032+t19585; t19511 = t19026+t19472*t19705+t19028+t19616; t18571 = RATIONAL(-350.0,27.0)*t19906; t19510 = t18284+t18571+t19196*t19976+t18180+t19195*t19852+t19303*t19642; t18782 = t19474*t19838; t19509 = t19474*t19959+t18838+t18782+t19603; t19508 = t18735+t18155+x*t18579+t18157+z*t19781+t19464*t19844; t19507 = t19238*t19945+t19203*t19844+t18484+t18518+t19771; t19506 = t18363+t19473*t19794+t18504+t19474*t19955+t19848; t19137 = t19474*t19805; t19505 = t19318*t19844+t19137+t19081+t19595; t19504 = t19379*t19680+t19092+t19746+t19795; t19503 = y*t19172+t18400+t19210*t19852+t18206+t20104; t18988 = t19475*t19172; t19502 = t19285*t19976+t18988+t19190*t19852+t19582; t19067 = t19400*t19906; t19501 = t19067+z*t19901+t18222+t18306+t18514+t19309*t19844; t19500 = t19474*t19845+t19157+t19765+t20113; t19499 = t19003+t18230+t19215*t19852+t18071+t18089+y*t19708; t18755 = t19475*t19793; t19498 = t18755+t18517+z*t19797+t18410+t19750; t19497 = t18735+t19475*t19808+z*t19824+t19590; t19496 = t18471+t18430+t19387*t19642+t18794+t20232*t19246; t19495 = t18912+t19475*t19688+t20116+t20205; t19275 = RATIONAL(25.0,54.0); t18643 = t19275*t19906; t19494 = t18643+t18255+t19402*t19945+t18518+t18430+t19472*t19768; t19493 = t19085+t19615+t20231*t19302; t19364 = RATIONAL(25.0,6.0); t19492 = t19364*t19474+t18566+t19414*t19852+t19573; t19491 = t18836+t18244+t18193+t18801+t20122; t19227 = RATIONAL(-245.0,54.0); t19490 = t19227*t19844+t18425+t19424*t19684+z*t19698+t19751; t19059 = t19475*t19171; t19489 = t19059+t18196+t18198+t18193+t20231*t19391; t19488 = t18988+t18400+t18404+t19474*t19851+t19118+t18178; t19487 = t18908+t18988+t19473*t19700+t19593; t19486 = t18827+t18808+t18732+t19593; t19485 = RATIONAL(343.0,216.0)*t19900+RATIONAL(-5.0,1.0)*t19680+t19819+ t19861; t19484 = t19330*t19945+t19475*t19817+t19710+t20211; t19483 = t18867+t19574+t19294*t19624; t19482 = t19475*t19757+t18332+t18264+t18937+t20203; t19039 = t19475*t19826; t19481 = t19039+t19465*t19474+t19365*t19852+t19573; t19480 = t19204*t19852+t18334+t18325+y*t19836+t20102; t19479 = t19424*t19642+t19245*t19976+t18477+t19227*t19852+t19751; t19478 = t19414*t19844+t18566+t19364*t19475+t19610; t19470 = RATIONAL(8.0,3.0); t19466 = RATIONAL(4.0,1.0); t19462 = RATIONAL(-4.0,1.0); t19458 = RATIONAL(7.0,4.0); t19454 = RATIONAL(4.0,3.0); t19451 = RATIONAL(-1.0,4.0); t19432 = RATIONAL(-5.0,8.0); t19426 = RATIONAL(-5.0,24.0); t19417 = RATIONAL(-49.0,6.0); t19410 = RATIONAL(-56.0,3.0); t19403 = RATIONAL(40.0,9.0); t19401 = RATIONAL(2.0,27.0); t19397 = RATIONAL(1.0,12.0); t19390 = RATIONAL(-10.0,3.0); t19382 = RATIONAL(10.0,3.0); t19381 = RATIONAL(-25.0,6.0); t19375 = RATIONAL(-10.0,1.0); t19360 = RATIONAL(35.0,8.0); t19324 = RATIONAL(10.0,1.0); t19322 = RATIONAL(-35.0,27.0); t19314 = RATIONAL(-25.0,54.0); t19297 = RATIONAL(-80.0,27.0); t19283 = RATIONAL(-25.0,96.0); t19268 = RATIONAL(80.0,27.0); t19267 = RATIONAL(25.0,12.0); t19231 = RATIONAL(-200.0,27.0); t19229 = RATIONAL(392.0,27.0); t19225 = RATIONAL(-175.0,96.0); t19222 = RATIONAL(175.0,54.0); t19217 = RATIONAL(-100.0,27.0); t19214 = RATIONAL(196.0,27.0); t19212 = RATIONAL(100.0,27.0); t19211 = RATIONAL(-175.0,54.0); t19208 = RATIONAL(175.0,96.0); t19205 = RATIONAL(-112.0,27.0); t19201 = RATIONAL(-196.0,27.0); t19200 = RATIONAL(343.0,54.0); t19199 = RATIONAL(200.0,27.0); t19198 = RATIONAL(112.0,27.0); t19191 = RATIONAL(-343.0,54.0); t19186 = RATIONAL(-392.0,27.0); t19139 = y*t19699; t19128 = t19472*t19938; t19124 = t19469*t19937; t19119 = z*t19815; t19112 = y*t19977; t19100 = t19473*t19930; t19096 = t19418*t19956; t19084 = z*t19761; t19083 = t19385*t19937; t19075 = t19429*t19937; t19073 = z*t19845; t19072 = t19473*t19923; t19061 = t19412*t19937; t19046 = t19367*t19900; t19040 = t19330*t19937; t19033 = t19379*t19937; t19021 = z*t19931; t19018 = t19374*t19956; t19017 = t19472*t19720; t19010 = t19400*t19956; t19008 = y*t19713; t19005 = t19405*t19937; t19004 = z*t19772; t19002 = y*t19757; t19000 = y*t19801; t18998 = z*t19847; t18994 = t19472*t19939; t18993 = t19377*t19981; t18991 = t19472*t19936; t18986 = y*t19749; t18985 = z*t19858; t18983 = y*t19893; t18982 = z*t19810; t18981 = t19472*t19940; t18977 = t19429*t19956; t18970 = t19472*t19955; t18950 = t19472*t19949; t18947 = t19402*t19937; t18936 = z*t19837; t18905 = t19401*t19981; t18904 = t19472*t19931; t18898 = z*t19720; t18897 = t19431*t19937; t18886 = y*t19897; t18885 = y*t19774; t18882 = t19403*t19900; t18881 = z*t19899; t18879 = y*t19880; t18877 = y*t19796; t18875 = z*t19784; t18873 = t19472*t19953; t18871 = z*t19715; t18870 = z*t19966; t18869 = t19260*t19956; t18865 = t19271*t19956; t18864 = z*t19721; t18857 = y*t19799; t18856 = t19260*t19937; t18855 = t19294*t19937; t18851 = t19472*t19731; t18845 = y*t19793; t18843 = t19473*t19793; t18837 = t19258*t19956; t18833 = y*t19789; t18829 = z*t19838; t18826 = t19472*t19687; t18822 = t19261*t19981; t18821 = t19242*t19956; t18812 = z*t19798; t18811 = t19473*t19867; t18803 = y*t19842; t18796 = t19472*t19929; t18795 = t19315*t19956; t18793 = z*t19929; t18792 = y*t19736; t18791 = z*t19731; t18775 = z*t19829; t18768 = t19297*t19937; t18763 = z*t19792; t18760 = t19291*t19937; t18754 = t19241*t19956; t18753 = t19251*t19956; t18750 = y*t19883; t18743 = t19304*t19937; t18742 = z*t19753; t18741 = y*t19891; t18727 = y*t19808; t18725 = t19295*t19937; t18723 = t19259*t19937; t18720 = y*t19688; t18715 = t19322*t19937; t18714 = t19250*t19956; t18711 = t19301*t19937; t18704 = RATIONAL(-56.0,27.0)*t19981; t18693 = t19250*t19937; t18692 = t19238*t19937; t18687 = z*t19828; t18676 = t19297*t19956; t18672 = t19268*t19956; t18671 = t19282*t19937; t18669 = t19251*t19937; t18668 = z*t19786; t18664 = t19237*t19937; t18663 = t19261*t19956; t18659 = t19268*t19937; t18656 = t19322*t19956; t18653 = z*t19747; t18651 = y*t19863; t18645 = y*t19895; t18633 = z*t19818; t18628 = y*t19697; t18619 = y*t19727; t18618 = t19309*t19956; t18617 = t19244*t19937; t18613 = t19473*t19925; t18612 = t19473*t19697; t18608 = RATIONAL(-16.0,27.0)*t19900; t18599 = y*t19779; t18597 = RATIONAL(160.0,27.0)*t19900; t18596 = y*t19877; t18594 = RATIONAL(-224.0,27.0)*t19900; t18593 = t19215*t19937; t18588 = t19230*t19956; t18583 = t19198*t19937; t18581 = y*t19743; t18580 = y*t19817; t18576 = z*t19758; t18573 = z*t19830; t18570 = t19221*t19956; t18564 = z*t19803; t18560 = z*t19872; t18559 = RATIONAL(-49.0,432.0)*t19900; t18551 = t19205*t19956; t18550 = t19194*t19937; t18545 = t19198*t19956; t18539 = t19205*t19937; t18529 = t19206*t19900; t18524 = RATIONAL(49.0,864.0)*t19900; t18519 = x*t19148; t18510 = y*t19672; t18507 = z*t19686; t18503 = z*t19685; t18498 = t19470*t19916; t18494 = y*t19650; t18493 = z*t19670; t18487 = t19448*t19916; t18485 = t19440*t19916; t18473 = t19805*t19980; t18470 = t19449*t19916; t18469 = t19174*t19980; t18467 = t19438*t19916; t18463 = t19474*t19635; t18462 = RATIONAL(245.0,288.0)*t19900; t18456 = t19441*t19916; t18455 = t19475*t19912; t18454 = x*t19136; t18452 = t19461*t19917; t18451 = t19176*t19982; t18450 = t19470*t19917; t18449 = t19441*t19917; t18443 = t19437*t19916; t18442 = t19459*t19917; t18441 = t19740*t19982; t18436 = RATIONAL(-343.0,216.0)*t19900; t18434 = y*t19674; t18433 = RATIONAL(245.0,216.0)*t19900; t18428 = t19449*t19642; t18427 = x*t19123; t18421 = t19350*t19642; t18420 = t19350*t19916; t18414 = x*t18941; t18401 = t19164*t19982; t18396 = t19407*t19916; t18386 = x*t18932; t18383 = t19350*t19917; t18382 = t19473*t19653; t18376 = t19162*t19980; t18374 = t19407*t19642; t18371 = x*t18937; t18367 = z*t19655; t18364 = t19409*t19916; t18354 = t19366*t19916; t18347 = x*t18880; t18335 = x*t19034; t18331 = z*t19641; t18327 = t19425*t19917; t18324 = t19323*t19917; t18322 = z*t19648; t18315 = x*t18966; t18305 = y*t19664; t18302 = x*t18978; t18301 = t19475*t19911; t18296 = t19398*t19917; t18282 = x*t19081; t18276 = x*t19026; t18273 = t19368*t19917; t18267 = t19388*t19917; t18266 = t19473*t19633; t18263 = y*t19633; t18256 = t19326*t19917; t18251 = y*t19644; t18250 = y*t19632; t18247 = t19406*t19684; t18238 = t19171*t19982; t18234 = y*t19645; t18223 = t19337*t19916; t18214 = x*t18860; t18211 = x*t18758; t18200 = x*t18836; t18197 = t19241*t19916; t18195 = y*t19675; t18190 = t19264*t19916; t18186 = z*t19631; t18181 = x*t18744; t18176 = z*t19660; t18175 = t19249*t19916; t18173 = t19305*t19642; t18172 = t19475*t19913; t18162 = t19475*t19914; t18154 = t19859*t19980; t18149 = t19320*t19916; t18142 = t19298*t19642; t18132 = x*t18764; t18126 = t19316*t19642; t18107 = y*t19667; t18099 = t19292*t19917; t18088 = z*t19669; t18083 = t19206*t19642; t18075 = t19224*t19642; t18074 = t19192*t19684; t18069 = x*t18552; t18064 = t19192*t19642; coeffs_dxx->coeff_m2_m2_m2 = t18865+t18211+t18871+t18870+t18214+t19288* t19624+(t19960*t19288+(t19291+t19391*x)*t19474)*t19475+t19614+t19903+t20132; coeffs_dxx->coeff_m1_m2_m2 = t18855+t18612+t18628+t18088+t18218+t19493+ t19849+t20017+t20163; coeffs_dxx->coeff_0_m2_m2 = t18843+t18427+t19501+t18454+t18845+t18829+ t19471*t19680+t19816+t20011; coeffs_dxx->coeff_p1_m2_m2 = t19534+t18663+t18519+t18822+t18826+t19444* t19680+t19889+t20026+t20126; coeffs_dxx->coeff_p2_m2_m2 = t18811+t18613+t18195+t18413+t18197+t19489+ t18094+t19856+t19874+t20192; coeffs_dxx->coeff_p3_m2_m2 = t18851+t19413*t19680+t18791+t18796+t19528+ t18200+t18793+t19588+t20065; coeffs_dxx->coeff_m2_m1_m2 = t18775+t18421+t18420+t18782+y*t19716+t18414+ t19493+t19742+t20022; coeffs_dxx->coeff_m1_m1_m2 = t18564+t18190+t19008+t18401+t19270*t19625+ t19503+t19854+t20088+t20224; coeffs_dxx->coeff_0_m1_m2 = t18983+t19518+t18503+t18560+t20019+t20021+ t20087; coeffs_dxx->coeff_p1_m1_m2 = t18507+t18509+t19549+t18550+t18510+t18981+ t20024+t20042; coeffs_dxx->coeff_p2_m1_m2 = t18967+t18186+t19532+t18653+t19987+t20054+ t20228; coeffs_dxx->coeff_p3_m1_m2 = t18875+t18873+t19526+t18386+t19600+t20034+ t20067; coeffs_dxx->coeff_m2_0_m2 = t19083+t19960*t19336+(t19401*t19473+t19629)* t19474+t19501+t20094+t20097+t20124; coeffs_dxx->coeff_m1_0_m2 = t19073+t19662+t19960*t19395+t19518+t20012+ t20120+t20182; coeffs_dxx->coeff_0_0_m2 = t19474*t19922+t18812+t19960*(t19419+t19239* t19475)+t19990+t20146+t20178+t20180+t20230; coeffs_dxx->coeff_p1_0_m2 = t19454*t19965+t18692+t19960*t19418+t19538+ t19608+t20076+t20196; coeffs_dxx->coeff_p2_0_m2 = t19661+t19100+t19960*t19352+t19511+t19984+ t20135+t20213; coeffs_dxx->coeff_p3_0_m2 = t18881+t19397*t19965+t19960*t19391+t19498+ t19997+t20130+t20141; coeffs_dxx->coeff_m2_p1_m2 = t19061+t18386+t18960+t19000+(t19378*t19473+ t19412*y)*t19474+t19578+t19609+t20026+t20052; coeffs_dxx->coeff_m1_p1_m2 = t19549+t18986+t18181+t18985+t19991+t20036+ t20228; coeffs_dxx->coeff_0_p1_m2 = t18711+t18964+t19515+t18970+t18510+t19576+ t20076+t20117; coeffs_dxx->coeff_p1_p1_m2 = t18950+t18664+t18371+t19275*t19625+t19539+ t20072+t20087+t20178; coeffs_dxx->coeff_p2_p1_m2 = t18927+t18401+t19488+t18176+t19124+t19983+ t20047; coeffs_dxx->coeff_p3_p1_m2 = t18367+t19504+t18414+t19712+t19827+t20018+ t20058; coeffs_dxx->coeff_m2_p2_m2 = t18856+t18840+t19489+t18396+y*t19733+t18374+ t18857+t19588+t20053; coeffs_dxx->coeff_m1_p2_m2 = t18593+t18195+t18223+t19522+t18821+t19987+ t20000; coeffs_dxx->coeff_0_p2_m2 = t18487+t18792+t18576+t19511+t19995+t20059+ t20126; coeffs_dxx->coeff_p1_p2_m2 = t18651+t18427+t18573+t18493+t19502+t19983+ t20014; coeffs_dxx->coeff_p2_p2_m2 = t18364+t18619+t18763+t19389*t19625+t19537+ t20074+t20088+t20163; coeffs_dxx->coeff_p3_p2_m2 = t19540+t18742+t18750+t20037+t20045+t20121+ t20132; coeffs_dxx->coeff_m2_p3_m2 = t18725+t18172+t18173+t19473*t19733+t19528+ t20216; coeffs_dxx->coeff_m1_p3_m2 = t18175+t19565+t19846+t20067+t20083; coeffs_dxx->coeff_0_p3_m2 = t18347+t18687+t19498+t20133+t20161; coeffs_dxx->coeff_p1_p3_m2 = t18671+t19564+t19806+t20058+t20167; coeffs_dxx->coeff_p2_p3_m2 = t18668+t18162+t19540+t20111+t20140; coeffs_dxx->coeff_p3_p3_m2 = t18214+t18633+t19269*t19625+t19554+t19870+ t20165; coeffs_dxx->coeff_m2_m2_m1 = t18755+t19085+t18881+t18347+t19385*t19945+ t18383+t19572+t19884+t20017+t20022; coeffs_dxx->coeff_m1_m2_m1 = t18083+t18599+t19007+t18376+t19270*t19624+ t19581+t19714+t20027+t20104+t20224; coeffs_dxx->coeff_0_m2_m1 = t19486+t18588+t18494+t18470+t19072+t19994+ t20021; coeffs_dxx->coeff_p1_m2_m1 = t18580+t18485+t19507+t19040+t20042+t20062+ t20176; coeffs_dxx->coeff_p2_m2_m1 = t19027+t18795+t19512+t18354+t19580+t20054+ t20063; coeffs_dxx->coeff_p3_m2_m1 = t18305+t18760+t19483+t18645+t19607+t20028+ t20034; coeffs_dxx->coeff_m2_m1_m1 = RATIONAL(25.0,32.0)*t19680+t18559+t18234+ t19010+t18998+t19021+t19503+t19589+t20027; coeffs_dxx->coeff_m1_m1_m1 = t18462+t18993+t18727+t18075+t18154+t18723+( t19287*y+t19225*t19473)*t19474+(t19225*t19472+t19287*z+(RATIONAL(125.0,32.0)+ RATIONAL(-175.0,32.0)*x)*t19474)*t19475+t19613+t19619; coeffs_dxx->coeff_0_m1_m1 = t18330+t18704+t18327+t18436+t18714+RATIONAL( 25.0,2.0)*t19680+t19543+t18693+t19586+t20172; coeffs_dxx->coeff_p1_m1_m1 = t18433+t18324+t18331+t19480+RATIONAL(-25.0, 2.0)*t19680+t18753+t18669+t19732+t20002; coeffs_dxx->coeff_p2_m1_m1 = t18936+t18940+t18529+t18149+t19517+RATIONAL( 175.0,32.0)*t19680+t19112+t19604+t20075; coeffs_dxx->coeff_p3_m1_m1 = t18524+t19544+t18103+t18618+t18322+t18905+ RATIONAL(-25.0,32.0)*t19680+t19724+t20118+t20153; coeffs_dxx->coeff_m2_0_m1 = t18898+t19881+t19952+t19456*t19965+t19559+ t19994+t20012+t20166; coeffs_dxx->coeff_m1_0_m1 = t19281*t19472+t19084+t19463*z+t18542+(t19364* t19473+t19627)*t19474+t19590+t20107+t20160+t20172+t20191; coeffs_dxx->coeff_0_0_m1 = t19324*t19965+t18583+t18382+(t19252+t19191* t19475)*t19472+(t19365+t19201*t19475)*z+t19531+t19622+t20201; coeffs_dxx->coeff_p1_0_m1 = t18768+t19278*t19472+t19492+t19375*t19965+ t19343*z+t19587+t20043+t20168; coeffs_dxx->coeff_p2_0_m1 = t19119+t19347*t19472+t19546+t19957+t19360* t19965+t19594+t20025+t20204; coeffs_dxx->coeff_p3_0_m1 = t19392*t19472+t19432*t19965+t19005+t19930+ t19500+t19611+t20033+t20219; coeffs_dxx->coeff_m2_p1_m1 = t18469+t19507+t18977+t19004+t19991+t20040+ t20118; coeffs_dxx->coeff_m1_p1_m1 = t18720+t18982+t18315+t18069+(t19267*y+t19381 *t19473)*t19474+t19604+t20002+t20069+t20102; coeffs_dxx->coeff_0_p1_m1 = t18539+t18324+t19548+t19748+t20043+t20048+ t20148; coeffs_dxx->coeff_p1_p1_m1 = t18659+t18656+t18382+t18327+(t19217*z+t19211 *t19472)*t19475+t19523+t19584+t20023; coeffs_dxx->coeff_p2_p1_m1 = t18302+t19106+t18906+t19497+t19613+t20020+ t20068; coeffs_dxx->coeff_p3_p1_m1 = t18234+t19484+t18897+t19737+t20030+t20064+ t20195; coeffs_dxx->coeff_m2_p2_m1 = t18305+t19075+t18869+t19512+t20000+t20071+ t20173; coeffs_dxx->coeff_m1_p2_m1 = t18864+t18596+t18473+t18142+(t19208*t19473+ t19283*y)*t19474+t19517+t19580+t20066; coeffs_dxx->coeff_0_p2_m1 = t18581+t18498+t19485+t19869+t20016+t20025+ t20176; coeffs_dxx->coeff_p1_p2_m1 = t18715+t18467+t19497+t18494+t18570+t19888+ t20009+t20099; coeffs_dxx->coeff_p2_p2_m1 = t18443+t19113+t18915+t18754+(t19892+t19448*z )*t19475+t19581+t19619+t20055+t20080; coeffs_dxx->coeff_p3_p2_m1 = t19499+t18743+t18383+t18878+t18741+t19599+ t20077+t20209; coeffs_dxx->coeff_m2_p3_m1 = t19093+t19565+t19885+t20028+t20096; coeffs_dxx->coeff_m1_p3_m1 = t18064+t18632+t18276+t19033+t19283*t19852+ t19585+t20109+t20153; coeffs_dxx->coeff_0_p3_m1 = t18455+t19557+t19813+t20033+t20151; coeffs_dxx->coeff_p1_p3_m1 = t18947+t18456+t19484+t20125+t20158; coeffs_dxx->coeff_p2_p3_m1 = t18282+t19561+t19909+t20077+t20157; coeffs_dxx->coeff_p3_p3_m1 = t18625+t18301+t18617+(t19291*z+t19895)* t19475+t19572+t20115+t20128; coeffs_dxx->coeff_m2_m2_0 = t19067+t18885+t19975*t19336+(t19401*t19472+ t19629)*t19475+t19617+t20011+t20094+t20221; coeffs_dxx->coeff_m1_m2_0 = t19096+t19475*t19924+t19975*t19395+t19486+ t20013+t20139+t20182; coeffs_dxx->coeff_0_m2_0 = t18837+t19475*t19922+t19533+t19975*(t19419+ t19717)+t20105+t20119+t20230; coeffs_dxx->coeff_p1_m2_0 = t19454*t19950+t18803+t19975*t19418+t19496+ t20007+t20174+t20196; coeffs_dxx->coeff_p2_m2_0 = t19475*t19941+t19128+t19975*t19352+t19541+ t19597+t20029+t20135; coeffs_dxx->coeff_p3_m2_0 = t19031+t19397*t19950+t19975*t19391+t19509+ t19989+t20141+t20144; coeffs_dxx->coeff_m2_m1_0 = t19471*y+t19875+x*t19756+t19559+t19905+t20013 +t20019+t20179; coeffs_dxx->coeff_m1_m1_0 = t18991+t19281*t19473+t19463*y+(t19364*t19472+ t19627)*t19475+t19543+t20107+t20142+t20200; coeffs_dxx->coeff_0_m1_0 = t18592+t18545+t19324*t19950+(t19191*t19474+ t19252)*t19473+(t19201*t19474+t19365)*y+t19579+t19999+t20145+t20201; coeffs_dxx->coeff_p1_m1_0 = t19478+t19375*t19950+t18676+t19868+t19936+ t19605+t20039+t20168; coeffs_dxx->coeff_p2_m1_0 = t19103+t19360*t19950+t19347*t19473+t19450*y+ t19545+t19575+t20049+t20204; coeffs_dxx->coeff_p3_m1_0 = t18904+t19432*t19950+t19392*t19473+t19938+ t19535+t20005+t20184+t20219; coeffs_dxx->coeff_m2_0_0 = t18608+t19448+t19864*t19461+(t19467+t19850+( t19252*t19474+t19460)*t19475)*x+t19533+t19990; coeffs_dxx->coeff_m1_0_0 = t18882+RATIONAL(5.0,2.0)+t19864*t19382+( RATIONAL(-7.0,2.0)+RATIONAL(-343.0,18.0)*t19906+t19865*RATIONAL(49.0,6.0))*x+ t19531+t19999; coeffs_dxx->coeff_0_0_0 = t18594+t19422+RATIONAL(8.0,1.0)*x+t19864*t19423 +(t19229*t19473+t19410*x+t19427)*t19474+(t19229*t19472+RATIONAL(-686.0,27.0)* t19474+t19427+(RATIONAL(392.0,9.0)*t19474+t19410)*x)*t19475+t19596+t20171; coeffs_dxx->coeff_p1_0_0 = t18597+t19382+t19864*t19403+(RATIONAL(-8.0,1.0 )+RATIONAL(-392.0,9.0)*t19906+t19865*RATIONAL(56.0,3.0))*x+t19521+t19985; coeffs_dxx->coeff_p2_0_0 = t19046+RATIONAL(-1.0,1.0)+t19864*t19447+( t19417*t19474+RATIONAL(7.0,2.0)+(t19417+RATIONAL(343.0,18.0)*t19474)*t19475)*x+ t19481+t20175+t20229; coeffs_dxx->coeff_p3_0_0 = t19452+t19017+t19864*t19471+(t19904+RATIONAL( -1.0,2.0)+(t19437+t19257*t19474)*t19475)*x+t19514+t20010; coeffs_dxx->coeff_m2_p1_0 = t19515+t19685+t19860+t19018+t19968+t20007+ t20184+t20217; coeffs_dxx->coeff_m1_p1_0 = t19478+x*t19170+t19390*t19473+t19464*y+t19002 +t19575+t20048+t20123; coeffs_dxx->coeff_0_p1_0 = t19408*t19950+t18126+t18551+(t19186*t19474+ t19353)*t19473+(t19386+t19214*t19474)*y+t19521+t19605+t20108; coeffs_dxx->coeff_p1_p1_0 = t19821+t18672+t19340*y+(t19199*t19472+t19628) *t19475+t19510+t20129+t20145+t20171; coeffs_dxx->coeff_p2_p1_0 = t19454*t19473+t19384*t19950+t19970+t19553+ t19834+t19988+t20032+t20142; coeffs_dxx->coeff_p3_p1_0 = t19686+t19851+t18994+t19506+t19469*y+t20006+ t20086+t20179; coeffs_dxx->coeff_m2_p2_0 = t19541+t19451*t19950+t19853+t19388*y+t18886+ t19995+t20137+t20144; coeffs_dxx->coeff_m1_p2_0 = t18879+t19458*t19950+t19426*y+t19284*t19473+ t19545+t19597+t20016+t20212; coeffs_dxx->coeff_0_p2_0 = t18877+t19039+t19462*t19950+(t19200*t19474+ t19257)*t19473+t19571*y+t19610+t20155+t20174+t20198+t20229; coeffs_dxx->coeff_p1_p2_0 = t19334*y+t19466*t19950+t19855+t19479+t18833+ t19988+t20085+t20119; coeffs_dxx->coeff_p2_p2_0 = t18157+t19139+t19137+t19345*t19473+t19397*y+( t19871+t19623)*t19475+t19993+t20139+t20199+t20200; coeffs_dxx->coeff_p3_p2_0 = t19475*t19926+t19421*t19473+t19520+t19944+ t19000+t20004+t20159+t20221; coeffs_dxx->coeff_m2_p3_0 = t19857+t19475*t19932+t19566+t19989+t20133; coeffs_dxx->coeff_m1_p3_0 = t19415*t19950+t19426*t19473+t19557+t20005+ t20138; coeffs_dxx->coeff_0_p3_0 = t18428+t18430+t19450*t19950+t18771+t19571* t19473+t20010+t20193; coeffs_dxx->coeff_p1_p3_0 = t19439*t19950+t19858+t19550+t20006+t20093; coeffs_dxx->coeff_p2_p3_0 = t19397*t19473+t19351*t19950+t19556+t20004+ t20197; coeffs_dxx->coeff_p3_p3_0 = t18658+t19413*t19473+(t19887+t19626)*t19475+ t19617+t20103+t20185; coeffs_dxx->coeff_m2_m2_p1 = t19093+t18263+t18266+t18886+(t19378*t19472+ t19412*z)*t19475+t19534+t19607+t20052; coeffs_dxx->coeff_m1_m2_p1 = t18879+t19033+t19529+t18354+t19618+t20036+ t20062; coeffs_dxx->coeff_0_m2_p1 = t18485+t18250+t19496+t18877+t19813+t19861+ t20046+t20117; coeffs_dxx->coeff_p1_m2_p1 = t18251+t18947+t18833+t18470+t19275*t19624+ t19539+t20105+t20186+t20187; coeffs_dxx->coeff_p2_m2_p1 = t19139+t18132+t18376+t19487+t19909+t20047+ t20079; coeffs_dxx->coeff_p3_m2_p1 = t18347+t18617+t19504+t18273+t19000+t20001+ t20003; coeffs_dxx->coeff_m2_m1_p1 = t19075+t19018+t18322+t19529+t19602+t20024+ t20040; coeffs_dxx->coeff_m1_m1_p1 = t18149+t19002+t18864+(t19381*t19472+t19267*z )*t19475+t19480+t20069+t20114+t20208; coeffs_dxx->coeff_0_m1_p1 = t18551+t18331+t19548+t19869+t20035+t20039+ t20206; coeffs_dxx->coeff_p1_m1_p1 = t18531+t18672+t18715+t18256+(t19211*t19473+ t19217*y)*t19474+t19579+t19586+t20023+t20070; coeffs_dxx->coeff_p2_m1_p1 = t19508+t18915+t18154+t19834+t20056+t20068+ t20194; coeffs_dxx->coeff_p3_m1_p1 = t18743+t18441+t19536+t18994+t19589+t20030+ t20073; coeffs_dxx->coeff_m2_0_p1 = t19538+t19886+t19444*z+t19650+t19004+t19611+ t20046+t20217; coeffs_dxx->coeff_m1_0_p1 = t19390*t19472+t19492+t19464*z+t18982+t19654+ t19594+t20035+t20123; coeffs_dxx->coeff_0_0_p1 = t19653+t18539+t18582+(t19353+t19186*t19475)* t19472+(t19386+t19214*t19475)*z+t19587+t19985+t20108+t20112; coeffs_dxx->coeff_p1_0_p1 = t18571+t19340*z+t19342*t19472+t18659+(t19199* t19473+t19628)*t19474+t19596+t19622+t20061+t20129; coeffs_dxx->coeff_p2_0_p1 = t19106+t19967+t19652+t19454*t19472+t19553+ t19992+t20008+t20160; coeffs_dxx->coeff_p3_0_p1 = t19444*t19472+t19469*z+t19524+t19651+t18897+ t19996+t20086+t20166; coeffs_dxx->coeff_m2_p1_p1 = t19021+t18608+t18679+t18441+t18898+RATIONAL( 25.0,18.0)*t19680+t19606+t19905+t20072+t20187+t20195; coeffs_dxx->coeff_m1_p1_p1 = t18991+x*t18566+t18302+t18338+t18882+t19523+ t18993+t19084+t20070+t20194; coeffs_dxx->coeff_0_p1_p1 = t18256+RATIONAL(200.0,9.0)*t19680+t18583+ t18704+t18545+t19510+t18594+t19584+t20061; coeffs_dxx->coeff_p1_p1_p1 = t18126+t18676+t18597+t18768+(t19231*t19473+ t19212*y)*t19474+(t19212*z+t19231*t19472+(RATIONAL(-200.0,9.0)*x+RATIONAL(250.0 ,27.0))*t19474)*t19475+t19732+t20112+t20148+t20206; coeffs_dxx->coeff_p2_p1_p1 = t19119+t19103+RATIONAL(175.0,18.0)*t19680+ t19046+t18315+t19482+t19112+t19998+t20114; coeffs_dxx->coeff_p3_p1_p1 = t18904+t18379+t18469+t19017+t19005+t18905+ RATIONAL(-25.0,18.0)*t19680+t19494+t19602+t20226; coeffs_dxx->coeff_m2_p2_p1 = t19023+t18998+t18273+t18885+t19502+t19599+ t20079+t20225; coeffs_dxx->coeff_m1_p2_p1 = t19508+t18723+t18443+t18132+t19096+t19854+ t20009+t20220; coeffs_dxx->coeff_0_p2_p1 = t18467+t18251+t19479+t18837+t18693+t19840+ t20008+t20082; coeffs_dxx->coeff_p1_p2_p1 = t18669+t18498+t18250+t18803+(t19222*t19473+ t19314*y)*t19474+t19482+t19866+t20189+t20198; coeffs_dxx->coeff_p2_p2_p1 = t19128+t18473+t18936+(t19445*z+t19809)* t19475+t19618+t20050+t20078+t20205+t20208; coeffs_dxx->coeff_p3_p2_p1 = t18263+t19031+t19530+t19724+t20031+t20041+ t20173; coeffs_dxx->coeff_m2_p3_p1 = t18301+t18881+t19564+t20001+t20091; coeffs_dxx->coeff_m1_p3_p1 = t18282+t19562+t19714+t20073+t20158; coeffs_dxx->coeff_0_p3_p1 = t18456+t19072+t19524+t20093+t20143; coeffs_dxx->coeff_p1_p3_p1 = t18455+t18428+t19314*t19852+t19040+t19494+ t20183; coeffs_dxx->coeff_p2_p3_p1 = t19027+t18276+t18357+t19567+t20031+t20101; coeffs_dxx->coeff_p3_p3_p1 = t18760+t18266+(t19958+t19801)*t19475+t19551+ t19885+t20188; coeffs_dxx->coeff_m2_m2_p2 = t18725+t19254*t19945+t18869+t18638+t19059+ t18200+t19574+t20053+t20156+t20181+t20192; coeffs_dxx->coeff_m1_m2_p2 = t18596+t18197+t19522+t19846+t20051+t20063+ t20131; coeffs_dxx->coeff_0_m2_p2 = t18687+t18519+t18581+t19547+t19577+t20029+ t20059; coeffs_dxx->coeff_p1_m2_p2 = t18671+t18570+t18454+t19487+t18434+t20014+ t20015; coeffs_dxx->coeff_p2_m2_p2 = t18088+t18754+t18083+t18668+t19389*t19624+ t19537+t20152+t20202+t20210; coeffs_dxx->coeff_p3_m2_p2 = t19513+t18296+t18741+t18633+t19614+t20045+ t20057; coeffs_dxx->coeff_m2_m1_p2 = t18856+t18451+t19532+t18977+t19600+t20051+ t20071; coeffs_dxx->coeff_m1_m1_p2 = t18593+t18647+t18720+t18186+(t19283*z+t19208 *t19472)*t19475+t19598+t19612+t20066+t20075; coeffs_dxx->coeff_0_m1_p2 = t18507+t18576+t18450+t19485+t19748+t19986+ t20049; coeffs_dxx->coeff_p1_m1_p2 = t19542+t18503+t18573+t18656+t18938+t19620+ t20056+t20099; coeffs_dxx->coeff_p2_m1_p2 = t18190+t18906+t18763+t18075+(t19448*y+t19766 )*t19474+t19527+t19591+t20055; coeffs_dxx->coeff_p3_m1_p2 = t19525+t18420+t18742+t18442+t19737+t19795+ t20060+t20209; coeffs_dxx->coeff_m2_0_p2 = t19879+t19974+t19061+t19451*t19965+t19547+ t19984+t20130+t20137; coeffs_dxx->coeff_m1_0_p2 = t19426*z+t19284*t19472+t19546+t19458*t19965+ t18985+t19986+t20212+t20213; coeffs_dxx->coeff_0_0_p2 = t18247+t18711+t19462*t19965+(t19257+t19200* t19475)*t19472+t19570*z+t19481+t19608+t20155; coeffs_dxx->coeff_p1_0_p2 = t19490+t18664+t19240*t19472+t19334*z+t19466* t19965+t19992+t20085+t20146; coeffs_dxx->coeff_p2_0_p2 = t19397*z+t19345*t19472+t19124+(t19862+t19623) *t19474+t19505+t20120+t20191+t20199; coeffs_dxx->coeff_p3_0_p2 = t19421*t19472+t19413*z+t19516+t19474*t19926+ t19827+t20081+t20124+t20159; coeffs_dxx->coeff_m2_p1_p2 = t19083+t18367+t19010+t19488+t18442+t19902+ t20015+t20225; coeffs_dxx->coeff_m1_p1_p2 = t19007+t18727+t19542+t19073+t18176+t19591+ t20020+t20220; coeffs_dxx->coeff_0_p1_p2 = t19490+t18371+t18812+t18714+t18989+t19620+ t20032+t20082; coeffs_dxx->coeff_p1_p1_p2 = t18450+t18247+t18692+t18753+t18974+(t19314*z +t19222*t19472)*t19475+t19576+t19998+t20189+t20203; coeffs_dxx->coeff_p2_p1_p2 = t18181+t18069+t19100+t18940+(t19908+t19445*y )*t19474+t19495+t19612+t20078; coeffs_dxx->coeff_p3_p1_p2 = t18451+t18618+t19519+t18881+t19609+t20041+ t20044; coeffs_dxx->coeff_m2_p2_p2 = t18296+t18559+t18870+RATIONAL(1.0,8.0)* t19680+t18907+t18775+t19583+t19884+t20074+t20121+t20202; coeffs_dxx->coeff_m1_p2_p2 = t18599+RATIONAL(-7.0,8.0)*t19680+t18564+ t19527+t18364+t18462+t19849+t20080+t20210; coeffs_dxx->coeff_0_p2_p2 = t18588+t18560+t18493+t19505+t18436+t18434+ RATIONAL(2.0,1.0)*t19680+t19816+t19993; coeffs_dxx->coeff_p1_p2_p2 = t18487+t18580+t19495+t18433+t18822+t18550+ RATIONAL(-2.0,1.0)*t19680+t19577+t20050; coeffs_dxx->coeff_p2_p2_p2 = t18653+t18529+t18795+t18223+t18142+(t19770+ t19948)*t19474+(t19954+t19800+(t19451+RATIONAL(7.0,8.0)*x)*t19474)*t19475+ t19598+t19874+t20131; coeffs_dxx->coeff_p3_p2_p2 = t18875+t18524+t18396+t18194+t18793+t19491+ RATIONAL(-1.0,8.0)*t19680+t18645+t20038+t20156; coeffs_dxx->coeff_m2_p3_p2 = t18871+t19563+t19870+t20057+t20140; coeffs_dxx->coeff_m1_p3_p2 = t18162+t18855+t19525+t20157+t20169; coeffs_dxx->coeff_0_p3_p2 = t18829+t19556+t19806+t20081+t20190; coeffs_dxx->coeff_p1_p3_p2 = t18347+t19567+t19889+t20044+t20089; coeffs_dxx->coeff_p2_p3_p2 = t18613+t18064+t19474*t19843+t18175+t19491+ t20149; coeffs_dxx->coeff_p3_p3_p2 = t18695+t18791+t18172+t18168+(t19280*z+t19891 )*t19475+t19558+t20181; coeffs_dxx->coeff_m2_m2_p3 = t18786+t18857+t19254*t19844+t19822+t19841+ t20065+t20216; coeffs_dxx->coeff_m1_m2_p3 = t18821+t18107+t19483+t20083+t20134; coeffs_dxx->coeff_0_m2_p3 = t18414+t18792+t19509+t20106+t20161; coeffs_dxx->coeff_p1_m2_p3 = t18386+t18651+t19555+t20003+t20167; coeffs_dxx->coeff_p2_m2_p3 = t18099+t18619+t19513+t20111+t20215; coeffs_dxx->coeff_p3_m2_p3 = t18750+t18211+t19269*t19624+t19554+t19788+ t20214; coeffs_dxx->coeff_m2_m1_p3 = t18238+t19000+t19526+t20096+t20134; coeffs_dxx->coeff_m1_m1_p3 = t18986+t18335+t18074+t19283*t19844+t19544+ t20109; coeffs_dxx->coeff_0_m1_p3 = t18970+t18452+t19535+t20150+t20151; coeffs_dxx->coeff_p1_m1_p3 = t18449+t18950+t19536+t20125+t20227; coeffs_dxx->coeff_p2_m1_p3 = t18927+t19561+t19896+t20060+t20207; coeffs_dxx->coeff_p3_m1_p3 = t18421+t18267+(t19953+t19784)*t19474+t19552+ t19712+t20128; coeffs_dxx->coeff_m2_0_p3 = x*t19745+t19873+t19566+t19997+t20106; coeffs_dxx->coeff_m1_0_p3 = t19426*t19472+t19639+t19500+t20138+t20150; coeffs_dxx->coeff_0_0_p3 = t18463+t19636+t19570*t19472+t19514+t20193; coeffs_dxx->coeff_p1_0_p3 = t19638+t19880+t19550+t19996+t20147; coeffs_dxx->coeff_p2_0_p3 = t19637+t19397*t19472+t19516+t20197+t20218; coeffs_dxx->coeff_p3_0_p3 = t19413*t19472+(t19899+t19626)*t19474+t19560+ t20097+t20103; coeffs_dxx->coeff_m2_p1_p3 = t18267+t19555+t19742+t20018+t20091; coeffs_dxx->coeff_m1_p1_p3 = t19008+t19562+t19896+t20064+t20227; coeffs_dxx->coeff_0_p1_p3 = t18983+t18449+t19506+t20143+t20147; coeffs_dxx->coeff_p1_p1_p3 = t19314*t19844+t18981+t18452+t18643+t18463+ t19601+t20183+t20226; coeffs_dxx->coeff_p2_p1_p3 = t18967+t18335+t19519+t20095+t20101; coeffs_dxx->coeff_p3_p1_p3 = t18648+t18238+t18873+(t19244*y+t19878)* t19474+t19578+t20098+t20188; coeffs_dxx->coeff_m2_p2_p3 = t18865+t19563+t19788+t20037+t20215; coeffs_dxx->coeff_m1_p2_p3 = t18099+t18628+t19499+t20169+t20207; coeffs_dxx->coeff_0_p2_p3 = t18386+t18845+t19520+t20190+t20218; coeffs_dxx->coeff_p1_p2_p3 = t18414+t18663+t19530+t20089+t20095; coeffs_dxx->coeff_p2_p2_p3 = t19404*t19844+t18107+t18074+t19856+t20038+ t20122+t20149; coeffs_dxx->coeff_p3_p2_p3 = t18796+t18374+(t19943+t19753)*t19474+t19558+ t19822+t20223; coeffs_dxx->coeff_m2_p3_p3 = t18641+t19475*t19677+t19903+t20165+t20214; coeffs_dxx->coeff_m1_p3_p3 = t18612+t19475*t19667+t19552+t20115; coeffs_dxx->coeff_0_p3_p3 = t19475*t19668+t18843+t19560+t20185; coeffs_dxx->coeff_p1_p3_p3 = t18826+t19333*t19680+t19551+t20098; coeffs_dxx->coeff_p2_p3_p3 = t18695+t19292*t19680+t18811+t18706+t19734+ t20223; coeffs_dxx->coeff_p3_p3_p3 = t19474*t19818+t18851+t18173+(t19883+(t19269+ t19972)*t19474)*t19475+t19841;