diff options
Diffstat (limited to 'src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c')
-rw-r--r-- | src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c | 2720 |
1 files changed, 2720 insertions, 0 deletions
diff --git a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c new file mode 100644 index 0000000..4044656 --- /dev/null +++ b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c @@ -0,0 +1,2720 @@ +fp t11752; +fp t11751; +fp t11876; +fp t11880; +fp t12847; +fp t11877; +fp t11882; +fp t11756; +fp t11749; +fp t12846; +fp t11816; +fp t11875; +fp t11878; +fp t12197; +fp t12367; +fp t11823; +fp t12124; +fp t12845; +fp t11799; +fp t11766; +fp t12231; +fp t12199; +fp t12844; +fp t11839; +fp t11854; +fp t12843; +fp t11840; +fp t12378; +fp t11853; +fp t12842; +fp t11753; +fp t11879; +fp t11881; +fp t12210; +fp t11750; +fp t12285; +fp t12841; +fp t11796; +fp t11795; +fp t12325; +fp t12400; +fp t12840; +fp t11806; +fp t11873; +fp t12392; +fp t12839; +fp t11748; +fp t12206; +fp t12092; +fp t11760; +fp t12280; +fp t12040; +fp t12838; +fp t11808; +fp t12384; +fp t12318; +fp t12837; +fp t11847; +fp t12255; +fp t11794; +fp t12836; +fp t12256; +fp t12032; +fp t11821; +fp t12382; +fp t12835; +fp t11763; +fp t12221; +fp t11791; +fp t12281; +fp t12057; +fp t12834; +fp t12322; +fp t11664; +fp t11874; +fp t12302; +fp t12833; +fp t12207; +fp t12061; +fp t12270; +fp t12832; +fp t11820; +fp t12211; +fp t11803; +fp t12831; +fp t11846; +fp t12234; +fp t12830; +fp t12238; +fp t12829; +fp t11213; +fp t12250; +fp t12828; +fp t12375; +fp t12827; +fp t11809; +fp t12826; +fp t11513; +fp t12825; +fp t11462; +fp t12212; +fp t12824; +fp t11736; +fp t12823; +fp t12822; +fp t11764; +fp t12398; +fp t11765; +fp t12399; +fp t12821; +fp t11861; +fp t11869; +fp t12820; +fp t11811; +fp t12333; +fp t12819; +fp t12818; +fp t12317; +fp t12817; +fp t12816; +fp t12815; +fp t12814; +fp t11835; +fp t12330; +fp t11822; +fp t12304; +fp t12014; +fp t12813; +fp t12812; +fp t11828; +fp t12346; +fp t12811; +fp t12328; +fp t11814; +fp t12810; +fp t12289; +fp t11439; +fp t12809; +fp t12808; +fp t11837; +fp t12348; +fp t11825; +fp t12058; +fp t12807; +fp t12390; +fp t12376; +fp t12806; +fp t12239; +fp t12237; +fp t12805; +fp t11844; +fp t11440; +fp t11872; +fp t12300; +fp t12804; +fp t12279; +fp t11588; +fp t11779; +fp t11391; +fp t12803; +fp t12205; +fp t11331; +fp t12802; +fp t12241; +fp t12225; +fp t12801; +fp t12307; +fp t11815; +fp t12800; +fp t12193; +fp t12799; +fp t11834; +fp t11414; +fp t11866; +fp t12798; +fp t11831; +fp t12262; +fp t11780; +fp t12016; +fp t12797; +fp t11812; +fp t12374; +fp t12796; +fp t12795; +fp t11762; +fp t12405; +fp t12794; +fp t11789; +fp t11354; +fp t12793; +fp t12792; +fp t12753; +fp t11807; +fp t12272; +fp t12791; +fp t12790; +fp t11295; +fp t11800; +fp t12789; +fp t11200; +fp t12788; +fp t11785; +fp t11787; +fp t12005; +fp t12787; +fp t12397; +fp t12786; +fp t11827; +fp t11473; +fp t12785; +fp t11863; +fp t12784; +fp t11841; +fp t11848; +fp t12385; +fp t12783; +fp t11792; +fp t12162; +fp t11768; +fp t12267; +fp t12782; +fp t12200; +fp t11688; +fp t12781; +fp t11797; +fp t12273; +fp t11798; +fp t11793; +fp t11685; +fp t12780; +fp t11684; +fp t12320; +fp t12779; +fp t12309; +fp t12778; +fp t12380; +fp t12777; +fp t12776; +fp t12371; +fp t12287; +fp t12404; +fp t12775; +fp t12344; +fp t12209; +fp t12774; +fp t12773; +fp t12394; +fp t12772; +fp t12771; +fp t11767; +fp t12220; +fp t11725; +fp t12770; +fp t11330; +fp t12769; +fp t11774; +fp t12338; +fp t11387; +fp t12265; +fp t12156; +fp t12768; +fp t12298; +fp t11285; +fp t12090; +fp t12767; +fp t12766; +fp t11852; +fp t11838; +fp t12765; +fp t12349; +fp t12172; +fp t11775; +fp t12201; +fp t11336; +fp t12764; +fp t12204; +fp t11712; +fp t11497; +fp t12763; +fp t12387; +fp t11260; +fp t12245; +fp t12145; +fp t12762; +fp t12236; +fp t12761; +fp t12760; +fp t11744; +fp t12242; +fp t12759; +fp t11705; +fp t12758; +fp t12342; +fp t11416; +fp t11505; +fp t12757; +fp t11813; +fp t12321; +fp t12756; +fp t11604; +fp t11694; +fp t12003; +fp t12755; +fp t12314; +fp t12754; +fp t12752; +fp t12037; +fp t11275; +fp t12751; +fp t12181; +fp t11819; +fp t12284; +fp t11559; +fp t12263; +fp t12062; +fp t12337; +fp t12019; +fp t12750; +fp t11867; +fp t11870; +fp t12749; +fp t12748; +fp t12213; +fp t12327; +fp t12120; +fp t12054; +fp t12747; +fp t12301; +fp t11342; +fp t12222; +fp t11343; +fp t12335; +fp t12126; +fp t12746; +fp t11276; +fp t11726; +fp t12184; +fp t12187; +fp t12745; +fp t12323; +fp t12141; +fp t12744; +fp t12080; +fp t11329; +fp t12743; +fp t11995; +fp t12111; +fp t12742; +fp t12269; +fp t12047; +fp t12741; +fp t12383; +fp t11300; +fp t11267; +fp t12031; +fp t12740; +fp t11393; +fp t12244; +fp t12130; +fp t12739; +fp t11355; +fp t11226; +fp t12044; +fp t12738; +fp t12737; +fp t11361; +fp t12319; +fp t11485; +fp t12171; +fp t12259; +fp t12046; +fp t12736; +fp t10549; +fp t12735; +fp t12246; +fp t11290; +fp t12373; +fp t12180; +fp t12734; +fp t12326; +fp t12123; +fp t12056; +fp t12227; +fp t12050; +fp t11296; +fp t12733; +fp t11315; +fp t12403; +fp t12053; +fp t12074; +fp t12732; +fp t11999; +fp t12076; +fp t12731; +fp t12045; +fp t12730; +fp t12729; +fp t11204; +fp t12069; +fp t11407; +fp t12728; +fp t12059; +fp t12268; +fp t12727; +fp t11364; +fp t12070; +fp t12177; +fp t12224; +fp t12029; +fp t12726; +fp t11366; +fp t12202; +fp t11385; +fp t12725; +fp t12306; +fp t12113; +fp t12196; +fp t12020; +fp t12724; +fp t12146; +fp t11269; +fp t12723; +fp t11363; +fp t12248; +fp t11586; +fp t12722; +fp t12257; +fp t11282; +fp t12065; +fp t12721; +fp t12030; +fp t11410; +fp t12720; +fp t12240; +fp t11488; +fp t12208; +fp t11308; +fp t12719; +fp t12253; +fp t12004; +fp t11317; +fp t12718; +fp t12366; +fp t11337; +fp t12088; +fp t12717; +fp t11758; +fp t12249; +fp t11254; +fp t12716; +fp t12264; +fp t11205; +fp t12715; +fp t12401; +fp t12108; +fp t12104; +fp t12714; +fp t12105; +fp t12713; +fp t11397; +fp t12712; +fp t12711; +fp t12114; +fp t12710; +fp t12709; +fp t12188; +fp t12708; +fp t11408; +fp t12707; +fp t11771; +fp t12706; +fp t12228; +fp t11383; +fp t12704; +fp t11824; +fp t11755; +fp t12703; +fp t12015; +fp t12702; +fp t11268; +fp t12701; +fp t12700; +fp t12369; +fp t12140; +fp t11284; +fp t12699; +fp t12216; +fp t11571; +fp t12698; +fp t11372; +fp t12697; +fp t12296; +fp t11322; +fp t12329; +fp t12161; +fp t12696; +fp t12365; +fp t12695; +fp t11220; +fp t12694; +fp t12125; +fp t11368; +fp t12693; +fp t12157; +fp t12048; +fp t12692; +fp t11370; +fp t12691; +fp t11829; +fp t11864; +fp t12690; +fp t11722; +fp t11527; +fp t12689; +fp t12203; +fp t12035; +fp t12688; +fp t11759; +fp t12288; +fp t11255; +fp t12687; +fp t11297; +fp t12082; +fp t12686; +fp t11262; +fp t12012; +fp t12064; +fp t12685; +fp t11367; +fp t12006; +fp t12684; +fp t12683; +fp t12311; +fp t11447; +fp t12121; +fp t12356; +fp t12682; +fp t11435; +fp t12251; +fp t12110; +fp t11467; +fp t12681; +fp t11351; +fp t11706; +fp t12143; +fp t12680; +fp t12010; +fp t11335; +fp t12679; +fp t12271; +fp t11577; +fp t12055; +fp t12678; +fp t12388; +fp t12115; +fp t12677; +fp t12166; +fp t11400; +fp t12676; +fp t12324; +fp t11316; +fp t12350; +fp t12183; +fp t12675; +fp t12674; +fp t12232; +fp t11535; +fp t12389; +fp t12361; +fp t12235; +fp t12085; +fp t12673; +fp t11324; +fp t12672; +fp t12363; +fp t12063; +fp t12671; +fp t11601; +fp t12670; +fp t11541; +fp t11489; +fp t12021; +fp t12669; +fp t11845; +fp t12173; +fp t11650; +fp t11843; +fp t11511; +fp t12395; +fp t12354; +fp t12668; +fp t12381; +fp t12159; +fp t11563; +fp t12667; +fp t12666; +fp t11476; +fp t12357; +fp t12665; +fp t12664; +fp t11998; +fp t12112; +fp t12663; +fp t12662; +fp t12661; +fp t11842; +fp t11836; +fp t11850; +fp t12229; +fp t12191; +fp t11860; +fp t12660; +fp t11283; +fp t12659; +fp t12658; +fp t12219; +fp t11442; +fp t12657; +fp t12656; +fp t12072; +fp t12655; +fp t12654; +fp t11291; +fp t12653; +fp t11328; +fp t12018; +fp t12652; +fp t11782; +fp t11256; +fp t11784; +fp t11997; +fp t12103; +fp t12651; +fp t12292; +fp t11340; +fp t12650; +fp t11302; +fp t12649; +fp t12386; +fp t11259; +fp t12095; +fp t12648; +fp t12647; +fp t12186; +fp t12646; +fp t11346; +fp t12645; +fp t11600; +fp t12079; +fp t12644; +fp t12027; +fp t12643; +fp t11281; +fp t12642; +fp t11833; +fp t12086; +fp t12218; +fp t11514; +fp t12226; +fp t12641; +fp t12013; +fp t12640; +fp t12142; +fp t12639; +fp t11477; +fp t12066; +fp t12638; +fp t11338; +fp t12637; +fp t11603; +fp t12160; +fp t12359; +fp t12636; +fp t12635; +fp t11731; +fp t11673; +fp t12634; +fp t11531; +fp t11353; +fp t12633; +fp t12051; +fp t12000; +fp t12632; +fp t12039; +fp t11521; +fp t12631; +fp t12630; +fp t12261; +fp t12067; +fp t11783; +fp t12313; +fp t11777; +fp t12075; +fp t12629; +fp t12628; +fp t12089; +fp t12043; +fp t12627; +fp t12626; +fp t12138; +fp t12625; +fp t11386; +fp t12355; +fp t12624; +fp t11636; +fp t12167; +fp t12362; +fp t12623; +fp t12278; +fp t12178; +fp t12622; +fp t12621; +fp t12620; +fp t12243; +fp t11288; +fp t12033; +fp t12619; +fp t12254; +fp t12192; +fp t12618; +fp t11591; +fp t11576; +fp t12274; +fp t11561; +fp t12144; +fp t12617; +fp t12283; +fp t11484; +fp t12291; +fp t11457; +fp t11472; +fp t12616; +fp t12615; +fp t12614; +fp t12230; +fp t11381; +fp t12022; +fp t12613; +fp t12612; +fp t12611; +fp t12402; +fp t12148; +fp t12610; +fp t12339; +fp t12609; +fp t11710; +fp t12147; +fp t11356; +fp t12084; +fp t11463; +fp t12608; +fp t12607; +fp t12372; +fp t12128; +fp t12606; +fp t12605; +fp t12604; +fp t11357; +fp t12603; +fp t12602; +fp t11781; +fp t11788; +fp t12601; +fp t12600; +fp t12215; +fp t11348; +fp t11538; +fp t12599; +fp t12598; +fp t12597; +fp t12011; +fp t12596; +fp t12595; +fp t12594; +fp t12593; +fp t12118; +fp t12592; +fp t12591; +fp t12590; +fp t12119; +fp t12083; +fp t12589; +fp t12028; +fp t12135; +fp t12588; +fp t12155; +fp t12169; +fp t11620; +fp t11979; +fp t12587; +fp t12586; +fp t12358; +fp t12585; +fp t12370; +fp t11560; +fp t11359; +fp t12584; +fp t11487; +fp t11517; +fp t12583; +fp t12071; +fp t12582; +fp t12581; +fp t12580; +fp t11265; +fp t12579; +fp t12578; +fp t12577; +fp t11719; +fp t11507; +fp t12576; +fp t11700; +fp t11465; +fp t12297; +fp t11417; +fp t12106; +fp t12575; +fp t12574; +fp t12573; +fp t12572; +fp t12571; +fp t12570; +fp t12569; +fp t12568; +fp t12260; +fp t11309; +fp t11960; +fp t12293; +fp t12567; +fp t11371; +fp t11962; +fp t11506; +fp t12566; +fp t12565; +fp t12564; +fp t12185; +fp t12563; +fp t12562; +fp t12561; +fp t11640; +fp t12560; +fp t11512; +fp t11509; +fp t12559; +fp t12558; +fp t12557; +fp t12152; +fp t11596; +fp t12556; +fp t12555; +fp t12554; +fp t12102; +fp t12553; +fp t12552; +fp t12551; +fp t12550; +fp t12098; +fp t12549; +fp t12174; +fp t12179; +fp t12548; +fp t12547; +fp t11519; +fp t11425; +fp t12546; +fp t12545; +fp t12100; +fp t12093; +fp t12165; +fp t12544; +fp t12189; +fp t12543; +fp t12364; +fp t12542; +fp t12117; +fp t12541; +fp t12007; +fp t12540; +fp t12539; +fp t12538; +fp t12537; +fp t12290; +fp t11557; +fp t11778; +fp t12134; +fp t12536; +fp t12535; +fp t12534; +fp t12533; +fp t12532; +fp t12531; +fp t12530; +fp t12529; +fp t12528; +fp t11455; +fp t12527; +fp t12312; +fp t12526; +fp t12525; +fp t12524; +fp t12175; +fp t12523; +fp t12522; +fp t12266; +fp t11495; +fp t12038; +fp t12521; +fp t12520; +fp t12233; +fp t12034; +fp t12519; +fp t12518; +fp t12517; +fp t12516; +fp t12107; +fp t11478; +fp t12515; +fp t11859; +fp t12163; +fp t12514; +fp t12513; +fp t12026; +fp t12122; +fp t12512; +fp t12511; +fp t12510; +fp t12509; +fp t12508; +fp t12507; +fp t12506; +fp t12505; +fp t12504; +fp t12503; +fp t12502; +fp t12501; +fp t12151; +fp t12002; +fp t12500; +fp t12017; +fp t12499; +fp t11580; +fp t12498; +fp t12497; +fp t12347; +fp t12049; +fp t12190; +fp t12496; +fp t12001; +fp t12495; +fp t11264; +fp t12494; +fp t12493; +fp t12492; +fp t11994; +fp t12491; +fp t12336; +fp t12041; +fp t12009; +fp t12490; +fp t11558; +fp t12489; +fp t12488; +fp t12094; +fp t12487; +fp t11325; +fp t12168; +fp t12137; +fp t12486; +fp t12485; +fp t11757; +fp t11761; +fp t12073; +fp t12484; +fp t12483; +fp t12482; +fp t12481; +fp t12480; +fp t12277; +fp t12133; +fp t11613; +fp t12479; +fp t12478; +fp t12477; +fp t12476; +fp t12158; +fp t12475; +fp t11735; +fp t11630; +fp t12474; +fp t12473; +fp t12472; +fp t12471; +fp t11402; +fp t12470; +fp t12469; +fp t12468; +fp t12467; +fp t12466; +fp t12465; +fp t12464; +fp t12463; +fp t12462; +fp t12461; +fp t12460; +fp t12077; +fp t12459; +fp t12458; +fp t12457; +fp t12456; +fp t12455; +fp t12334; +fp t11483; +fp t11583; +fp t12454; +fp t12453; +fp t12452; +fp t10451; +fp t12451; +fp t12450; +fp t12449; +fp t12448; +fp t12447; +fp t12446; +fp t11369; +fp t12445; +fp t12444; +fp t12443; +fp t12442; +fp t11654; +fp t11660; +fp t11536; +fp t12441; +fp t11981; +fp t12440; +fp t12439; +fp t11626; +fp t11458; +fp t12438; +fp t12396; +fp t12437; +fp t11832; +fp t12194; +fp t12060; +fp t12436; +fp t11523; +fp t12435; +fp t12315; +fp t11490; +fp t12434; +fp t12096; +fp t12433; +fp t12276; +fp t11547; +fp t12432; +fp t11582; +fp t12431; +fp t12430; +fp t12429; +fp t12025; +fp t12068; +fp t11713; +fp t12428; +fp t12427; +fp t12252; +fp t12426; +fp t11598; +fp t12425; +fp t12424; +fp t11723; +fp t12391; +fp t12423; +fp t12422; +fp t12421; +fp t12420; +fp t12419; +fp t12097; +fp t12418; +fp t11572; +fp t12417; +fp t12416; +fp t12415; +fp t12414; +fp t12413; +fp t12412; +fp t12411; +fp t12410; +fp t12299; +fp t11569; +fp t12409; +fp t12408; +fp t12407; +fp t12406; +fp t12345; +fp t10342; +fp t10375; +fp t12341; +fp t10419; +fp t10357; +fp t12332; +fp t12331; +fp t12310; +fp t12305; +fp t12295; +fp t12294; +fp t10556; +fp t12286; +fp t12258; +fp t12247; +fp t10416; +fp t12217; +fp t12170; +fp t12164; +fp t12078; +fp t11433; +fp t11993; +fp t11992; +fp t11991; +fp t11988; +fp t11987; +fp t11985; +fp t11984; +fp t11983; +fp t11980; +fp t11978; +fp t11977; +fp t11976; +fp t11975; +fp t11790; +fp t11974; +fp t11973; +fp t11802; +fp t11857; +fp t11801; +fp t11972; +fp t11971; +fp t11776; +fp t11970; +fp t11969; +fp t11968; +fp t11871; +fp t11967; +fp t11966; +fp t11965; +fp t11964; +fp t11770; +fp t11810; +fp t11855; +fp t11963; +fp t11961; +fp t11959; +fp t11958; +fp t11957; +fp t11956; +fp t11955; +fp t11954; +fp t11953; +fp t11952; +fp t11951; +fp t11950; +fp t11754; +fp t11949; +fp t11772; +fp t11948; +fp t11947; +fp t11946; +fp t11945; +fp t11944; +fp t11943; +fp t11942; +fp t11941; +fp t11940; +fp t11939; +fp t11938; +fp t11937; +fp t11786; +fp t11936; +fp t11935; +fp t11934; +fp t11933; +fp t11932; +fp t11931; +fp t11930; +fp t11929; +fp t11928; +fp t11927; +fp t11926; +fp t11925; +fp t11924; +fp t11923; +fp t11922; +fp t11921; +fp t11920; +fp t11919; +fp t11918; +fp t11917; +fp t11916; +fp t11915; +fp t11914; +fp t11913; +fp t11912; +fp t11911; +fp t11910; +fp t11909; +fp t11908; +fp t11907; +fp t11906; +fp t11905; +fp t11904; +fp t11903; +fp t11902; +fp t11901; +fp t11900; +fp t11899; +fp t11898; +fp t11897; +fp t11896; +fp t11895; +fp t11894; +fp t11893; +fp t11892; +fp t11891; +fp t11890; +fp t11889; +fp t11888; +fp t11868; +fp t11858; +fp t11856; +fp t11851; +fp t11849; +fp t11830; +fp t11826; +fp t11818; +fp t11817; +fp t11805; +fp t11804; +fp t11773; +fp t11769; + t11752 = RATIONAL(-1.0,3456.0); + t11751 = RATIONAL(1.0,3456.0); + t11876 = z*z; + t11880 = z*t11876; + t12847 = t11751*t11880+z*t11752; + t11877 = y*y; + t11882 = t11877*t11877; + t11756 = RATIONAL(-1.0,6912.0); + t11749 = RATIONAL(1.0,6912.0); + t12846 = t11882*t11756+t11877*t11749; + t11816 = RATIONAL(-1.0,54.0); + t11875 = x*x; + t11878 = t11875*x; + t12197 = t11816*t11878; + t12367 = z*t11878; + t11823 = RATIONAL(2.0,27.0); + t12124 = t11823*t12367; + t12845 = t11880*t12197+t12124; + t11799 = RATIONAL(-1.0,864.0); + t11766 = RATIONAL(1.0,864.0); + t12231 = t11882*t11766; + t12199 = t11882*t11880; + t12844 = t11799*t12199+z*t12231; + t11839 = RATIONAL(1.0,36.0); + t11854 = RATIONAL(1.0,9.0); + t12843 = t11854*t11880+t11839*t12199; + t11840 = RATIONAL(1.0,18.0); + t12378 = x*t11840; + t11853 = RATIONAL(-1.0,9.0); + t12842 = t12378+t11878*t11853; + t11753 = RATIONAL(-1.0,1728.0); + t11879 = y*t11877; + t11881 = t11876*t11876; + t12210 = t11879*t11881; + t11750 = RATIONAL(1.0,1728.0); + t12285 = t11876*t11750; + t12841 = t11753*t12210+t11879*t12285; + t11796 = RATIONAL(5.0,576.0); + t11795 = RATIONAL(-5.0,576.0); + t12325 = t11876*t11879; + t12400 = y*t11876; + t12840 = t11795*t12400+t11796*t12325; + t11806 = RATIONAL(-8.0,27.0); + t11873 = RATIONAL(2.0,9.0); + t12392 = y*t11875; + t12839 = t11873*t12392+y*t11806; + t11748 = RATIONAL(-1.0,1152.0); + t12206 = t11877*t11748; + t12092 = t11875*t12206; + t11760 = RATIONAL(1.0,1152.0); + t12280 = t11760*t11875; + t12040 = t11882*t12280; + t12838 = t12092+t12040; + t11808 = RATIONAL(-1.0,18.0); + t12384 = x*t11808; + t12318 = t11854*t11878; + t12837 = t12318+t12384; + t11847 = RATIONAL(1.0,72.0); + t12255 = t11847*t11878; + t11794 = RATIONAL(-1.0,144.0); + t12836 = t12255+x*t11794; + t12256 = t11876*t11878; + t12032 = t11823*t12256; + t11821 = RATIONAL(-4.0,27.0); + t12382 = x*t11821; + t12835 = t12032+t11876*t12382; + t11763 = RATIONAL(1.0,216.0); + t12221 = t11882*t11763; + t11791 = RATIONAL(-1.0,288.0); + t12281 = t11791*t11875; + t12057 = t11882*t12281; + t12834 = t12057+t12221; + t12322 = t11878*t11880; + t11664 = t11853*t12322; + t11874 = RATIONAL(4.0,9.0); + t12302 = t11874*t11878; + t12833 = t11664+z*t12302; + t12207 = t11882*t11748; + t12061 = t11875*t12207; + t12270 = t11877*t11875; + t12832 = t11760*t12270+t12061; + t11820 = RATIONAL(-2.0,27.0); + t12211 = t11880*t11820; + t11803 = RATIONAL(1.0,54.0); + t12831 = t11803*t12199+t11877*t12211; + t11846 = RATIONAL(-5.0,72.0); + t12234 = t11876*t11846; + t12830 = t12234+t11840; + t12238 = t11877*t11880; + t12829 = t11753*t12238+t11750*t12199; + t11213 = t11750*t12210; + t12250 = t11753*t11879; + t12828 = t11213+t11876*t12250; + t12375 = y*t11881; + t12827 = t11799*t12210+t11766*t12375; + t11809 = RATIONAL(-1.0,36.0); + t12826 = t11853*t11880+t11809*t12199; + t11513 = t11839*t12210; + t12825 = t11513+t11854*t11879; + t11462 = t11816*t12210; + t12212 = t11879*t11823; + t12824 = t11462+t11876*t12212; + t11736 = t11853*t11879; + t12823 = t11809*t12210+t11736; + t12822 = t11877*t11799+t12061; + t11764 = RATIONAL(1.0,432.0); + t12398 = z*t11882; + t11765 = RATIONAL(-1.0,432.0); + t12399 = z*t11877; + t12821 = t11764*t12398+t11765*t12399; + t11861 = RATIONAL(1.0,3.0); + t11869 = RATIONAL(-4.0,9.0); + t12820 = t11869+t11861*t11875; + t11811 = RATIONAL(1.0,27.0); + t12333 = t11811*t11879; + t12819 = y*t12382+x*t12333; + t12818 = t11765*t12375+t11764*t12400; + t12317 = t11869*t11878; + t12817 = y*t12317+t11879*t12318; + t12816 = t11796*t12399+t11795*t12238; + t12815 = t11879*t12280+t11748*t12392; + t12814 = t11882*t11823+t11873*t12270; + t11835 = RATIONAL(-1.0,24.0); + t12330 = t11835*t11875; + t11822 = RATIONAL(5.0,96.0); + t12304 = t11876*t11875; + t12014 = t11822*t12304; + t12813 = t12330+t12014; + t12812 = t11766*t12199+t11799*t12398; + t11828 = RATIONAL(1.0,48.0); + t12346 = t11828*t11875; + t12811 = t11794+t12346; + t12328 = t11880*t11875; + t11814 = RATIONAL(8.0,27.0); + t12810 = t11840*t12328+z*t11814; + t12289 = t11820*t11881; + t11439 = t11803*t12210; + t12809 = y*t12289+t11439; + t12808 = t11823*t12238+t11816*t12199; + t11837 = RATIONAL(1.0,24.0); + t12348 = t11837*t11875; + t11825 = RATIONAL(-5.0,96.0); + t12058 = t11825*t12304; + t12807 = t12058+t12348; + t12390 = x*RATIONAL(8.0,9.0); + t12376 = x*t11881; + t12806 = t11873*t12376+t12390; + t12239 = t11876*t11765; + t12237 = t11764*t11881; + t12805 = (t12239+t12237)*y; + t11844 = RATIONAL(-5.0,36.0); + t11440 = t11844*t12238; + t11872 = RATIONAL(5.0,9.0); + t12300 = t11877*t11872; + t12804 = t11440+z*t12300; + t12279 = t11803*t11881; + t11588 = y*t12279; + t11779 = RATIONAL(-1.0,216.0); + t11391 = t11779*t12210; + t12803 = t11588+t11391; + t12205 = t11766*t11879; + t11331 = t11881*t12205; + t12802 = t11799*t12375+t11331; + t12241 = t11882*t11765; + t12225 = t11877*t11764; + t12801 = (t12225+t12241)*z; + t12307 = t11882*t11875; + t11815 = RATIONAL(-1.0,12.0); + t12800 = t11854*t11882+t11815*t12307; + t12193 = t11839*t11875; + t12799 = t11882*t12193+t11853*t12270; + t11834 = RATIONAL(5.0,36.0); + t11414 = t11834*t12238; + t11866 = RATIONAL(-5.0,9.0); + t12798 = t11866*t12399+t11414; + t11831 = RATIONAL(-1.0,48.0); + t12262 = t11831*t11875; + t11780 = RATIONAL(5.0,192.0); + t12016 = t11780*t12304; + t12797 = t12016+t12262; + t11812 = RATIONAL(4.0,27.0); + t12374 = x*t11812; + t12796 = t11814*t12367+t11880*t12374; + t12795 = t12262+t11839; + t11762 = RATIONAL(-16.0,27.0); + t12405 = y*x; + t12794 = t11879*t12374+t11762*t12405; + t11789 = RATIONAL(1.0,288.0); + t11354 = t11789*t12210; + t12793 = t11354+t11847*t11879; + t12792 = t11795*t12399+t11796*t12238; + t12753 = y*t12302+t11878*t11736; + t11807 = RATIONAL(1.0,12.0); + t12272 = t11807*t11875; + t12791 = (t11853+t12272)*t11882; + t12790 = t11796*t12400+t11795*t12325; + t11295 = t11791*t12210; + t11800 = RATIONAL(-1.0,72.0); + t12789 = t11295+t11800*t11879; + t11200 = t11750*t12238; + t12788 = t11753*t12199+t11200; + t11785 = RATIONAL(-5.0,192.0); + t11787 = RATIONAL(1.0,192.0); + t12005 = t11787*t12307; + t12787 = t12005+t11785*t12270; + t12397 = x*t11882; + t12786 = t12390+t11873*t12397; + t11827 = RATIONAL(-1.0,96.0); + t11473 = t11827*t12307; + t12785 = t11473+t11822*t12270; + t11863 = RATIONAL(-1.0,3.0); + t12784 = t11874+t11863*t11875; + t11841 = RATIONAL(-10.0,9.0); + t11848 = RATIONAL(5.0,18.0); + t12385 = x*t11879; + t12783 = t11841*t12405+t11848*t12385; + t11792 = RATIONAL(-5.0,288.0); + t12162 = t11792*t12385; + t11768 = RATIONAL(5.0,288.0); + t12267 = t11794*t11878; + t12782 = t11768*t12405+y*t12267+t12162; + t12200 = t11876*t11760; + t11688 = t11791*t11881; + t12781 = t11789*t11876+t11882*t12200+t11688; + t11797 = RATIONAL(-1.0,576.0); + t12273 = t11882*t11797; + t11798 = RATIONAL(1.0,576.0); + t11793 = RATIONAL(1.0,144.0); + t11685 = t11793*t11880; + t12780 = t11798*t12199+t11685+z*t12273; + t11684 = t11789*t11877; + t12320 = t11877*t11881; + t12779 = t11791*t11882+t11760*t12320+t11684; + t12309 = t11752*t11876; + t12778 = t11879*t12309+t11752*t12375+(t12400+t12210)*t11751; + t12380 = z*t11751; + t12777 = t11752*t12199+t11882*t12380+t12847*t11877; + t12776 = t11752*t12238+t11877*t12380+t12847*t11882; + t12371 = z*t11879; + t12287 = t11880*t11750; + t12404 = y*z; + t12775 = t11750*t12371+y*t12287+t11753*t12404+t11880*t12250; + t12344 = t11877*t11876; + t12209 = t11882*t11749; + t12774 = t11756*t12344+t11876*t12209+t12846*t11881; + t12773 = t11752*t12210+y*t12309+(t12375+t12325)*t11751; + t12394 = y*t11880; + t12772 = t11750*t12404+t11753*t12394+t11879*t12287+z*t12250; + t12771 = t11794*t11880+t11793*z+t11797*t12199+t11798*t12398; + t11767 = RATIONAL(-5.0,144.0); + t12220 = t11882*t11767; + t11725 = t11808*t11877; + t12770 = x*t12220+t11878*t11725; + t11330 = t11789*t12199; + t12769 = t11330+t11847*t11880; + t11774 = RATIONAL(1.0,108.0); + t12338 = t11774*t11880; + t11387 = t11879*t12338; + t12265 = t11809*t11875; + t12156 = z*t12265; + t12768 = y*t12156+t11387; + t12298 = t11879*t11779; + t11285 = z*t12298; + t12090 = t11789*t12328; + t12767 = t11285+y*t12090; + t12766 = t11800*t11880+t11791*t12199; + t11852 = RATIONAL(1.0,6.0); + t11838 = RATIONAL(-5.0,24.0); + t12765 = t11852+t11838*t11877; + t12349 = t11879*t11875; + t12172 = z*t12349; + t11775 = RATIONAL(-1.0,108.0); + t12201 = t11775*t11880; + t11336 = y*t12201; + t12764 = t11336+t11839*t12172; + t12204 = t11878*t11840; + t11712 = t11808*t11879; + t11497 = t11878*t11712; + t12763 = y*t12204+t11497; + t12387 = y*t11799; + t11260 = t11880*t12387; + t12245 = t11847*t11875; + t12145 = z*t12245; + t12762 = t11260+t11879*t12145; + t12236 = t11791*t11878; + t12761 = t11795*t12397+t11877*t12236; + t12760 = t11878*t11684+t11796*t12397; + t11744 = t11854*t11881; + t12242 = t11875*t11881; + t12759 = t11744+t11815*t12242; + t11705 = t11800*t11881; + t12758 = t11877*t11705+t11725; + t12342 = t11808*t11878; + t11416 = y*t12342; + t11505 = t11879*t12204; + t12757 = t11416+t11505; + t11813 = RATIONAL(-1.0,27.0); + t12321 = t11813*t11880; + t12756 = y*t12321+t11793*t12172; + t11604 = t11811*t12404; + t11694 = t11794*t11879; + t12003 = t11880*t11694; + t12755 = t11875*t12003+t11604; + t12314 = t11882*t11876; + t12754 = t11808*t11876+t11800*t12314; + t12752 = t11831*t11882+t11815; + t12037 = t11880*t12193; + t11275 = t11775*t12371; + t12751 = y*t12037+t11275; + t12181 = t11768*t12397; + t11819 = RATIONAL(5.0,72.0); + t12284 = t11877*t11819; + t11559 = t11876*t12284; + t12263 = t11882*t11878; + t12062 = t11881*t12263; + t12337 = t11794*t12062+x*t11559; + t12019 = t11877*t12256; + t12750 = t12337+t11809*t12019+t11881*t12181; + t11867 = RATIONAL(5.0,6.0); + t11870 = RATIONAL(-2.0,3.0); + t12749 = t11867*t11876+t11870; + t12748 = t11798*t12210+t11793*t11879+t11797*t12375; + t12213 = t11879*t11765; + t12327 = t11797*t11875; + t12120 = y*t12327; + t12054 = t11798*t12242; + t12747 = y*t12054+(t12213+t12120)*t11876; + t12301 = t11879*t11763; + t11342 = z*t12301; + t12222 = t11766*t11880; + t11343 = y*t12222; + t12335 = t11878*t11765; + t12126 = y*t12335; + t12746 = t11880*t12126+(t11343+t11342)*x; + t11276 = t11774*t12325; + t11726 = t11809*t11881; + t12184 = y*t11726; + t12187 = y*t12304; + t12745 = t11875*t12184+t11854*t12187+t11276; + t12323 = t11794*t11875; + t12141 = y*t12323; + t12744 = t11876*t12141+t12828; + t12080 = t11876*t12193; + t11329 = t11775*t12210; + t12743 = y*t12080+t11811*t12325+t11329; + t11995 = t11798*t12270; + t12111 = z*t12307; + t12742 = t11797*t12111+t11880*t12225+z*t11995; + t12269 = t11877*t11793; + t12047 = t11875*t12269; + t12741 = z*t12047+t12788; + t12383 = y*t11763; + t11300 = t11880*t12383; + t11267 = z*t12205; + t12031 = t11878*t12213; + t12740 = z*t12031+(t11300+t11267)*x; + t11393 = t11877*t12201; + t12244 = t11774*t11878; + t12130 = z*t12244; + t12739 = t11878*t11393+t11877*t12130+t12844*x; + t11355 = t11882*t12239; + t11226 = t11753*t12320; + t12044 = t11793*t12307; + t12738 = t11355+t11226+t11881*t11995+t11876*t12044; + t12737 = t12751+t12756; + t11361 = t11775*t12199; + t12319 = t11877*t11803; + t11485 = z*t12319; + t12171 = t11811*t12397; + t12259 = t11779*t11880; + t12046 = t11878*t12259; + t12736 = z*t12171+t11878*t11485+t11877*t12046+x*t11361; + t10549 = t11878*t11275; + t12735 = t10549+t12746; + t12246 = t11764*t11879; + t11290 = t11880*t12246; + t12373 = y*t11853; + t12180 = t11875*t12373; + t12734 = z*t12180+t11290+t12764; + t12326 = t11775*t11881; + t12123 = x*t12326; + t12056 = t11803*t12256; + t12227 = t11878*t11820; + t12050 = t11876*t12227; + t11296 = t11764*t12210; + t12733 = t11879*t12056+x*t11296+(t12050+t12123)*y; + t11315 = t11779*t12199; + t12403 = x*z; + t12053 = t11877*t12335; + t12074 = t11878*t12225; + t12732 = t12221*t12403+z*t12074+t11880*t12053+x*t11315; + t11999 = t11877*t12242; + t12076 = t11882*t12304; + t12731 = t11764*t12314+t11794*t12076+t11797*t11999+t11750*t12320; + t12045 = t11876*t12273; + t12730 = t11881*t12225+t11882*t12285+t11875*t12045+t11794*t11999; + t12729 = t11793*y+t11797*t12210+t11694+t11798*t12375; + t11204 = t11753*t12314; + t12069 = t11798*t12304; + t11407 = t11765*t12320; + t12728 = t11204+t11793*t11999+t11407+t11882*t12069; + t12059 = t11875*t11685; + t12268 = t11879*t11813; + t12727 = z*t12268+y*t12059+t12764; + t11364 = t11774*t12210; + t12070 = t11876*t12197; + t12177 = t11813*t12376; + t12224 = t11878*t11763; + t12029 = t11876*t12224; + t12726 = x*t11364+t11879*t12029+(t12177+t12070)*y; + t11366 = t11765*t12199; + t12202 = t11882*t11774; + t11385 = z*t12202; + t12725 = t12845*t11877+(t11366+t11385)*x; + t12306 = t11877*t11846; + t12113 = x*t12306; + t12196 = t11793*t11878; + t12020 = t11876*t12196; + t12724 = t11882*t12020+t11881*t12113; + t12146 = y*t12193; + t11269 = t11879*t12201; + t12723 = z*t12146+t11269; + t11363 = t11876*t12202; + t12248 = t11816*t11881; + t11586 = t11877*t12248; + t12722 = x*t11363+t11878*t11586; + t12257 = t11792*t11876; + t11282 = t11882*t12257; + t12065 = t11878*t12320; + t12721 = t11839*t12065+x*t11282; + t12030 = t11879*t12281; + t11410 = z*t12383; + t12720 = t11880*t12030+t11410; + t12240 = t11839*t11878; + t11488 = t11876*t12240; + t12208 = t11792*t11877; + t11308 = t11881*t12208; + t12719 = x*t11308+t11882*t11488; + t12253 = t11809*t11880; + t12004 = t11875*t12253; + t11317 = t11774*t12371; + t12718 = y*t12004+t11317; + t12366 = z*t11779; + t11337 = y*t12366; + t12088 = t11879*t12328; + t12717 = t11337+t11789*t12088; + t11758 = RATIONAL(5.0,1152.0); + t12249 = t11877*t11758; + t11254 = t11881*t12249; + t12716 = t11878*t12045+x*t11254; + t12264 = t11882*t11881; + t11205 = t11750*t12264; + t12715 = t11779*t12019+x*t11205; + t12401 = x*t11877; + t12108 = t11848*t12401; + t12104 = t11882*t12256; + t12714 = t11853*t12104+t11881*t12108; + t12105 = t11880*t12281; + t12713 = t11342+y*t12105; + t11397 = y*t12259; + t12712 = t11789*t12172+t11397; + t12711 = t11300+z*t12030; + t12114 = x*t12344; + t12710 = t11841*t12114+t11839*t12062; + t12709 = t11803*t12019+t11882*t12123; + t12188 = x*t12264; + t12708 = t11785*t12188+t11822*t12019; + t11408 = t11876*t12225; + t12707 = t11799*t12062+x*t11408; + t11771 = RATIONAL(25.0,12.0); + t12706 = t11835*t12062+t11771*t12114; + t12228 = t11774*t11881; + t11383 = t11877*t12228; + t12704 = t11882*t12070+x*t11383; + t11824 = RATIONAL(1.0,96.0); + t11755 = RATIONAL(-25.0,192.0); + t12703 = t11824*t12062+t11755*t12114; + t12015 = t11878*t12221; + t12702 = t11876*t12015+x*t11226; + t11268 = t11766*t12320; + t12701 = t11878*t11268+x*t11355; + t12700 = t11808*t12188+t11872*t12019; + t12369 = z*t11875; + t12140 = t11800*t12369; + t11284 = t11880*t12205; + t12699 = y*t12140+t11284; + t12216 = t11877*t11813; + t11571 = t11876*t12216; + t12698 = x*t11571+t11881*t12015; + t11372 = t11789*t12264; + t12697 = t11844*t12019+x*t11372; + t12296 = t11779*t11881; + t11322 = t11877*t12296; + t12329 = t11876*t11811; + t12161 = x*t12329; + t12696 = t11882*t12161+t11878*t11322; + t12365 = y*t11813; + t12695 = z*t12365+t11879*t12059; + t11220 = t11758*t12314; + t12694 = x*t11220+t11797*t12065; + t12125 = x*t12234; + t11368 = t11881*t12196; + t12693 = t11882*t12125+t11877*t11368; + t12157 = t11811*t12376; + t12048 = t11779*t12263; + t12692 = t11876*t12048+t11877*t12157; + t11370 = t11881*t12241; + t12691 = t11823*t12019+x*t11370; + t11829 = RATIONAL(5.0,48.0); + t11864 = RATIONAL(-5.0,6.0); + t12690 = t11864*t12019+t11829*t12188; + t11722 = t11847*t11881; + t11527 = x*t11722; + t12689 = t11882*t11527+t11767*t12019; + t12203 = t11766*t11876; + t12035 = t11878*t12203; + t12688 = x*t11407+t11882*t12035; + t11759 = RATIONAL(-5.0,1152.0); + t12288 = t11876*t11759; + t11255 = t11877*t12288; + t12687 = t11798*t12062+x*t11255; + t11297 = t11763*t12238; + t12082 = t11877*t12245; + t12686 = t11297+z*t12082+t11875*t11330; + t11262 = t11876*t12298; + t12012 = t11875*t12210; + t12064 = t11800*t12304; + t12685 = t11262+y*t12064+t11791*t12012; + t11367 = y*t12338; + t12006 = t11879*t12322; + t12684 = t11763*t12006+(t11367+t11317)*x; + t12683 = t11779*t12006+(t11336+t11275)*x; + t12311 = t11823*t11880; + t11447 = y*t12311; + t12121 = t11878*t12365; + t12356 = x*t12371; + t12682 = x*t11447+t11880*t12121+t11803*t12356; + t11435 = t11811*t12394; + t12251 = t11816*t11879; + t12110 = z*t12251; + t11467 = y*t12211; + t12681 = t11878*t11435+(t11467+t12110)*x; + t11351 = t11774*t12199; + t11706 = t11809*t11877; + t12143 = z*t11706; + t12680 = t11351+t11880*t12216+t11875*t12143; + t12010 = t11800*t12270; + t11335 = t11779*t12238; + t12679 = z*t12010+t11880*t12057+t11335; + t12271 = t11803*t11880; + t11577 = z*t12212; + t12055 = t11878*t12268; + t12678 = t12271*t12405+x*t11577+z*t12055; + t12388 = y*t11878; + t12115 = t11764*t12388; + t12677 = t11880*t12115+(t11260+t11285)*x; + t12166 = y*t12245; + t11400 = t11876*t12301; + t12676 = t11876*t12166+t11789*t12012+t11400; + t12324 = t11879*t11799; + t11316 = z*t12324; + t12350 = t11879*t11878; + t12183 = z*t12350; + t12675 = t11764*t12183+(t11397+t11316)*x; + t12674 = t11393+t12799*z; + t12232 = t11879*t11820; + t11535 = z*t12232; + t12389 = x*t11880; + t12361 = y*t12389; + t12235 = t11811*t11878; + t12085 = t11879*t12235; + t12673 = z*t12085+t11816*t12361+x*t11535; + t11324 = t11876*t12383; + t12672 = (t12115+t12031)*t11881+(t11262+t11324)*x; + t12363 = x*t12375; + t12063 = t11764*t12256; + t12671 = x*t11391+t11876*t12031+t11763*t12363+y*t12063; + t11601 = z*t12216; + t12670 = t11877*t12004+t11880*t12044+t11601+t11385; + t11541 = y*t12248; + t11489 = t11876*t12365; + t12021 = t11881*t12224; + t12669 = t11878*t11541+t11879*t12021+(t11489+t11276)*x; + t11845 = RATIONAL(-5.0,18.0); + t12173 = t11845*t12385; + t11650 = t11878*t11744; + t11843 = RATIONAL(10.0,9.0); + t11511 = t11878*t11726; + t12395 = x*t11876; + t12354 = y*t12395; + t12668 = t11843*t12354+y*t11650+t11876*t12173+t11879*t11511; + t12381 = z*t11820; + t12159 = y*t12235; + t11563 = t11880*t12251; + t12667 = z*t12159+t12381*t12405+t11774*t12006+x*t11563; + t12666 = t12834*t11881+(t12010+t12319)*t11876; + t11476 = t11879*t12271; + t12357 = t11823*t12403; + t12665 = y*t12357+x*t11476+z*t12121+t11775*t12006; + t12664 = t12692+t12722; + t11998 = t11878*t12199; + t12112 = z*t12263; + t12663 = t11791*t12112+t11789*t11998+t12792*x; + t12662 = t12702+t12715; + t12661 = t12751+t12755; + t11842 = RATIONAL(5.0,24.0); + t11836 = RATIONAL(-5.0,12.0); + t11850 = RATIONAL(-1.0,6.0); + t12229 = t11850*t11881; + t12191 = x*t12314; + t11860 = RATIONAL(-5.0,3.0); + t12660 = t11842*t12065+t11836*t12191+t11860*t12395+t11878*t12229; + t11283 = t11882*t12237; + t12659 = x*t11283+t11799*t12019+t12688; + t12658 = t11880*t12301+t12281*t12404+t12712; + t12219 = t11877*t11811; + t11442 = z*t12219; + t12657 = t11803*t12112+t11779*t11998+(t11442+t11393)*x; + t12656 = t11847*t11999+t11789*t12076+t11586+t11779*t12314; + t12072 = t11800*t12328; + t12655 = t11267+y*t12072+t12711; + t12654 = t10549+t12682; + t11291 = t11774*t12238; + t12653 = t11816*t12112+t11763*t11998+(t11601+t11291)*x; + t11328 = y*t12228; + t12018 = t11876*t12265; + t12652 = t11328+t11489+t11879*t12018+t11793*t12012; + t11782 = RATIONAL(5.0,384.0); + t11256 = t11881*t12207; + t11784 = RATIONAL(1.0,384.0); + t11997 = t11784*t12307; + t12103 = t11876*t12270; + t12651 = t11255+t11256+t11782*t12103+t11881*t11997; + t12292 = t11877*t11763; + t11340 = z*t12292; + t12650 = t11764*t12112+t11765*t11998+(t11335+t11340)*x; + t11302 = t11877*t12366; + t12649 = t11764*t11998+t11765*t12112+(t11302+t11297)*x; + t12386 = z*t11775; + t11259 = t11882*t12386; + t12095 = t11880*t12323; + t12648 = t11877*t12037+t11259+t11442+t11882*t12095; + t12647 = t11789*t12112+t11791*t11998+t12816*x; + t12186 = t11844*t12399; + t12646 = t11800*t12112+t11847*t11998+(t12186+t11414)*x; + t11346 = t11794*t12264; + t12645 = t11346+t11877*t12016+t11767*t12344+t11881*t12005; + t11600 = t11824*t12242; + t12079 = t11842*t12304; + t12644 = t11791*t12264+t11882*t11600+(t12079+t12234)*t11877; + t12027 = t11882*t12245; + t12643 = t11322+t11816*t12314+t11876*t12027+t11789*t11999; + t11281 = y*t12326; + t12642 = y*t12329+t11879*t12080+t11794*t12012+t11281; + t11833 = RATIONAL(5.0,12.0); + t12086 = t11833*t12270; + t12218 = t11828*t11881; + t11514 = t11875*t12218; + t12226 = t11866*t11876; + t12641 = t11809*t12264+t11876*t12086+t11877*t12226+t11882*t11514; + t12013 = t11879*t12327; + t12640 = t11876*t12013+t11798*t12012+t12805; + t12142 = y*t11688; + t12639 = (t11354+t12142)*t11878+t12840*x; + t11477 = t11831*t12242; + t12066 = t11836*t12270; + t12638 = t11839*t12264+t11882*t11477+(t12300+t12066)*t11876; + t11338 = t11880*t12324; + t12637 = t11338+y*t12145+t12717; + t11603 = z*t12204; + t12160 = t11767*t12385; + t12359 = t11844*t12405; + t12636 = t11847*t12006+z*t12359+y*t11603+t11880*t12160; + t12635 = t11879*t12156+t11367+t12695; + t11731 = t11853*t11881; + t11673 = y*t11731; + t12634 = (t11673+t11513)*t11878+t12783*t11876; + t11531 = z*t12284; + t11353 = t11880*t12208; + t12633 = t11794*t11998+t11839*t12112+(t11531+t11353)*x; + t12051 = t11798*t12328; + t12000 = t11797*t12270; + t12632 = t11882*t12051+t11880*t12000+t12821; + t12039 = t11838*t12270; + t11521 = t11827*t12242; + t12631 = t11372+t11876*t12039+t11882*t11521+t11559; + t12630 = t11343+t11879*t12140+t12713; + t12261 = t11785*t11876; + t12067 = t11875*t12261; + t11783 = RATIONAL(5.0,144.0); + t12313 = t11877*t11783; + t11777 = RATIONAL(-1.0,192.0); + t12075 = t11777*t12307; + t12629 = t11876*t12313+t11793*t12264+t11877*t12067+t11881*t12075; + t12628 = t12691+t12722; + t12089 = t11882*t12242; + t12043 = t11794*t12270; + t12627 = t11408+t11205+t11797*t12089+t11876*t12043; + t12626 = t11877*t12021+x*t11204+t12688; + t12138 = t11775*t12388; + t12625 = z*t12138+t11765*t12006+(t11410+t11284)*x; + t11386 = t11880*t12213; + t12355 = y*t12369; + t12624 = t11854*t12355+t11386+t12718; + t11636 = t11854*t12263; + t12167 = t11845*t12389; + t12362 = x*t12399; + t12623 = z*t11636+t11877*t12167+t11843*t12362+t11809*t11998; + t12278 = t11877*t11834; + t12178 = z*t12278; + t12622 = t11847*t12112+t11800*t11998+(t11440+t12178)*x; + t12621 = t12720+t12767; + t12620 = t12755+t12768; + t12243 = t11876*t11768; + t11288 = t11879*t12243; + t12033 = t11879*t12196; + t12619 = x*t11288+t11881*t12033+(t11511+t12125)*y; + t12254 = t11837*t11878; + t12192 = t11829*t11876; + t12618 = t11881*t12254+x*t12192+t11825*t12065+t11780*t12191; + t11591 = t11800*t12210; + t11576 = y*t11722; + t12274 = t11844*t11879; + t11561 = t11876*t12274; + t12144 = t11834*t12400; + t12617 = (t11591+t11576)*t11878+(t11561+t12144)*x; + t12283 = t11844*t11876; + t11484 = y*t11705; + t12291 = t11834*t11879; + t11457 = t11876*t12291; + t11472 = t11847*t12210; + t12616 = x*t11457+t12283*t12405+(t11472+t11484)*t11878; + t12615 = t12698+t12704; + t12614 = t12699+t12762; + t12230 = t11876*t11775; + t11381 = t11879*t12230; + t12022 = t11876*t12244; + t12613 = t11878*t11381+y*t12022+t12827*x; + t12612 = z*t12333+y*t12095+t12723; + t12611 = t11876*t12047+t11877*t12239+t11882*t12054+t11753*t12264; + t12402 = y*t12403; + t12148 = t11783*t12389; + t12610 = z*t11416+t11800*t12006+t11879*t12148+t11834*t12402; + t12339 = t11816*t11876; + t12609 = t11877*t12339+t11876*t12082+t11789*t12089+t11779*t12264; + t11710 = t11839*t11881; + t12147 = y*t11710; + t11356 = t11879*t12257; + t12084 = t11879*t12267; + t11463 = t11819*t12400; + t12608 = t11878*t12147+t11881*t12084+(t11463+t11356)*x; + t12607 = t11797*t12012+t11879*t12069+t12818; + t12372 = y*t11789; + t12128 = t11878*t12372; + t12606 = t11881*t12128+t11878*t11295+t12790*x; + t12605 = t12701+t12702; + t12604 = t12696+t12704; + t11357 = t11779*t12400; + t12603 = t11881*t12126+t11878*t11296+(t11400+t11357)*x; + t12602 = y*t12130+t11764*t12006+(t11338+t11337)*x; + t11781 = RATIONAL(-1.0,384.0); + t11788 = RATIONAL(-5.0,384.0); + t12601 = t11760*t12264+t11876*t12249+t11781*t12089+t11788*t12103; + t12600 = t12699+t12720; + t12215 = t11877*t11768; + t11348 = t11880*t12215; + t11538 = t11809*t12263; + t12599 = x*t11348+t11793*t11998+(t12113+t11538)*z; + t12598 = t12707+t12715; + t12597 = t11853*t12112+t11880*t12108+t11841*t12362+t11839*t11998; + t12011 = t11880*t12327; + t12596 = t11880*t11995+t11882*t12011+t12801; + t12595 = y*t12161+x*t11381+t12803*t11878; + t12594 = t12698+t12709; + t12593 = t12701+t12707; + t12118 = z*t12224; + t12592 = t11879*t12118+t11774*t12402+x*t11387+(t11300+t11337)*t11878; + t12591 = t11878*t11285+x*t11269+t12386*t12405+(t12118+t12046)*y; + t12590 = t11357+t11879*t12064+t11875*t12142+t12827; + t12119 = t11875*t12372; + t12083 = t11879*t12304; + t12589 = t11324+t11881*t12119+t11847*t12083+t12802; + t12028 = t11878*t12271; + t12135 = z*t12227; + t12588 = t11803*t12183+(t12028+t12135)*y+(t11290+t11604)*x; + t12155 = t11846*t12397; + t12169 = t11848*t12397; + t11620 = t11877*t11731; + t11979 = t11878*t11620+t11876*t12169+t12710; + t12587 = t11874*t12019+t11881*t12155+t11979+t12714; + t12586 = t12724+t12721+t12750; + t12358 = t11813*t12403; + t12585 = t11878*t12110+x*t11386+(t12358+t12845)*y; + t12370 = z*t11816; + t11560 = t11882*t12370; + t11359 = t11763*t12199; + t12584 = z*t12027+t11560+t11485+t11877*t12090+t11359; + t11487 = t11803*t12398; + t11517 = t11877*t12370; + t12583 = t11315+t11800*t12111+t11877*t12105+t11487+t11517; + t12071 = t11800*t12242; + t12582 = t11876*t12030+(t12339+t12071)*y+t12803; + t12581 = t11880*t12010+t11302+z*t12057+t12844; + t12580 = t12719+t12693+t12750; + t11265 = t11763*t12210; + t12579 = t11541+t11265+t11875*t11576+t11789*t12083+t11803*t12400; + t12578 = t12687+t12694+t11759*t12188+t11798*t12019+t12716; + t12577 = t11880*t12082+t11340+t11789*t12111+t12812; + t11719 = t11800*t11882; + t11507 = z*t11719; + t12576 = t11835*t12328+t11808*z+t11531+t11507+t12785*t11880; + t11700 = t11847*t11882; + t11465 = z*t11700; + t12297 = t11824*t11875; + t11417 = t11882*t12297; + t12106 = t11875*t12238; + t12575 = t11825*t12106+t11465+t11880*t11417+t11837*t12328+(t11840+t12306) +*z; + t12574 = t11808*y+t11463+t11827*t12012+t11484+t12813*t11879; + t12573 = t11576+t11824*t12012+t12807*t11879+t12830*y; + t12572 = z*t12043+t12596+t12829; + t12571 = t12607+t12744; + t12570 = t11381+t11881*t12146+t11876*t12180+t12642; + t12569 = t11765*t12238+t11798*t12111+z*t12000+t12596; + t12568 = t12665+t12681; + t12260 = t11882*t11783; + t11309 = t11876*t12260; + t11960 = t11538+t11878*t11309+t12337+t12758*x; + t12293 = t11877*t11854; + t12567 = t11960+t11878*t12293+x*t11700+t12697+t12721; + t11371 = t11881*t12313; + t11962 = t12337+t11878*t11371+t11511+t12754*x; + t11506 = t11840*t12376; + t12566 = t11962+t11506+t11488+t12689+t12724; + t12565 = t12625+t12677; + t12564 = t12625+t12675; + t12185 = t11793*t12392; + t12563 = t11876*t12185+t12640+t12841; + t12562 = t12648+t12674; + t12561 = t12652+t12743; + t11640 = t11854*t12256; + t12560 = t11962+t11640+t11527+t12697+t12719; + t11512 = t11877*t12240; + t11509 = t11882*t12378; + t12559 = t11960+t11512+t11509+t12689+t12693; + t12558 = t11364+y*t12018+t11876*t12268+t12642; + t12557 = t12652+t12745; + t12152 = z*t12270; + t11596 = t11880*t12219; + t12556 = t11839*t12152+t11361+t11596+t12670; + t12555 = y*t12069+t11881*t12120+t11876*t12246+t12640; + t12554 = t12665+t12673; + t12102 = t11854*t12270; + t12553 = t11291+z*t12102+t11809*t12111+t12670; + t12552 = t12632+t12741; + t12551 = t12648+t12680; + t12550 = t11798*t12355+y*t12011+t11879*t12051+z*t12013+t12775; + t12098 = t11878*t12238; + t12549 = t11766*t11998+z*t12048+t11799*t12098+t11877*t12118+(t12788+ +t12821)*x; + t12174 = y*t12256; + t12179 = x*t12210; + t12548 = t11846*t12363+t11768*t12179+t11879*t12020+t11809*t12174+t12608; + t12547 = t12595+t12726; + t11519 = t11880*t12204; + t11425 = t11879*t12255; + t12546 = t12610+t11880*t12359+y*t11519+(t12160+t11425)*z; + t12545 = z*t12119+t11879*t12259+t12711+t12713+t12717; + t12100 = t11879*t12256; + t12093 = t11876*t12236; + t12165 = t11796*t12376; + t12544 = y*t12093+t11795*t12363+t11789*t12100+t11879*t12165+t12606; + t12189 = y*t12242; + t12543 = t11748*t12012+t11760*t12189+t12815*t11876+t12778; + t12364 = z*t12397; + t12542 = z*t12053+t11779*t12364+x*t11359+t11880*t12074+t12650; + t12117 = x*t12321; + t12541 = t11803*t12006+t11878*t11467+(t12117+t12135)*t11879+t12794*z+ +t12796*y; + t12007 = t11880*t12196; + t12540 = t11878*t12143+z*t12155+t11877*t12007+t11880*t12181+t12633; + t12539 = z*t12084+t12196*t12404+t11793*t12006+t11768*t12356+t11792*t12402 ++t12782*t11880; + t12538 = t12598+t12626; + t12537 = t12627+t12728; + t12290 = t11823*t11881; + t11557 = t11877*t12290; + t11778 = RATIONAL(16.0,27.0); + t12134 = t11877*t12382; + t12536 = t11881*t12134+t11878*t11557+t11778*t12114+t11816*t12062+t11806* +t12019+(t12157+t12835)*t11882; + t12535 = t12649+t12732; + t12534 = t12669+x*t11329+t11878*t11262+(t12056+t12157)*y; + t12533 = t12582+t12676; + t12532 = t12630+t12637; + t12531 = (t12062+t12019)*t11751+(t12104+t12065)*t11752+t12774*x; + t12530 = t12649+t12739; + t12529 = t12661+t12734; + t12528 = t12653+t12725; + t11455 = t11880*t12255; + t12527 = t12274*t12403+y*t11455+z*t11505+t11767*t12361+t12610; + t12312 = t11876*t11820; + t12526 = t12312*t12405+(t11364+t11281)*t11878+(t12159+t12055)*t11876+( +t11588+t12824)*x; + t12525 = t12611+t12731; + t12524 = t11366+t12553; + t12175 = t11880*t12385; + t12523 = y*t11664+t11839*t12006+t11846*t12175+t11848*t12361+(t12783+ +t12753)*z; + t12522 = t12637+t12655; + t12266 = t11877*t11806; + t11495 = z*t12266; + t12038 = t11878*t12311; + t12521 = t11823*t12112+t11821*t12364+t11878*t11495+t11816*t11998+t11778* +t12362+t11877*t12038+(t12134+t12171)*t11880; + t12520 = t12603+t12671; + t12233 = t11808*t11875; + t12034 = t11880*t12233; + t12519 = t11495+t11880*t12027+t11808*t12111+t11877*t12034+t12814*z+t12808 +; + t12518 = t12607+t12649; + t12517 = t12653+t12736; + t12516 = t12603+t12613; + t12107 = t11806*t12388; + t11478 = y*t12290; + t12515 = t11876*t12107+t11778*t12354+t12819*t11881+(t11478+t11462)*t11878 ++t12835*t11879; + t11859 = RATIONAL(-2.0,9.0); + t12163 = t11859*t12392; + t12514 = t11535+t11879*t12072+t11840*t12172+z*t12163+t11467+t11476+t12810 +*y; + t12513 = t11879*t12011+y*t12051+t11798*t12172+z*t12120+t12772; + t12026 = t11878*t12324; + t12122 = y*t12296; + t12512 = y*t12029+t11876*t12026+(t11331+t12122)*t11878+(t12805+t12841)*x; + t12511 = t12627+t12738; + t12510 = y*t12038+t11879*t12124+t11821*t12356+t11778*t12402+z*t12107+ +t11816*t12006+t12819*t11880; + t12509 = t11366+t12632+t12742; + t12508 = t12672+t11876*t12126+t11879*t12063+(t11265+t12122)*x; + t12507 = t12595+t12733; + t12506 = t12588+t12683; + t12505 = t12590+t12676; + t12504 = t12593+t12659; + t12503 = t11878*t11357+t11881*t12026+y*t12021+t11879*t12035+(t12818+ +t12828)*x; + t12502 = t12615+t12628; + t12501 = t11775*t12320+t11882*t12230+t11283+t11839*t11999+t11875*t11346+( +t12219+t12799)*t11876; + t12151 = t11878*t12375; + t12002 = t11753*t12256; + t12500 = t11878*t11213+t11750*t12174+t11879*t12002+t11753*t12151+t12773*x +; + t12017 = t11875*t12200; + t12499 = t11760*t11999+t11799*t12314+t11882*t12017+t11876*t12092+t11877* +t12203+(t12231+t12822)*t11881; + t11580 = t11800*t12322; + t12498 = z*t11497+t12291*t12403+t12636+(t11580+t12148)*y; + t12497 = t11876*t12138+t11879*t12022+t12672+t12802*x; + t12347 = t11877*t11878; + t12049 = t11753*t12347; + t12190 = z*t12347; + t12496 = t11880*t12049+t11753*t12112+(t11998+t12190)*t11750+t12777*x; + t12001 = t11878*t12216; + t12495 = t11820*t12362+t11880*t12001+t11774*t11998+t11775*t12112+t11878* +t11442+(t11487+t12808)*x; + t11264 = t11764*t12199; + t12494 = t11264+t12569; + t12493 = t12621+t12632; + t12492 = t11268+t11882*t12203+t11877*t12017+t11799*t12264+t11881*t12040+ +t11748*t11999+t12822*t11876; + t11994 = t11876*t12233; + t12491 = t11808*t12189+t11847*t12012+t11879*t11994+t11478+t12839*t11876+ +t12824; + t12336 = t11876*t11814; + t12041 = t11859*t12270; + t12009 = t11840*t12304; + t12490 = t11803*t12264+t11876*t12041+t11840*t11999+(t12336+t12289)*t11877 ++(t12009+t12312+t12071)*t11882; + t11558 = t11876*t12232; + t12489 = t11800*t12012+t11558+t11840*t12189+t11879*t12009+y*t12336+t11876 +*t12163+t12809; + t12488 = t11363+t11882*t12018+t11809*t11999+t11383+t11571+t11876*t12102+ +t11881*t12044+t11370; + t12094 = t11878*t12222; + t12487 = z*t12015+t11878*t11302+t11799*t11998+t11877*t12094+(t12801+ +t12829)*x; + t11325 = t11877*t12267; + t12168 = t11792*t12389; + t12137 = t11819*t12397; + t12486 = t12599+t11882*t12168+t11880*t11325+(t12137+t11512)*z; + t12485 = t12609+t11800*t11999+t11877*t12279+t12834*t11876; + t11757 = RATIONAL(-1.0,2304.0); + t11761 = RATIONAL(1.0,2304.0); + t12073 = t11757*t12304; + t12484 = t11882*t12073+t11757*t11999+(t12089+t12103)*t11761+t12774; + t12483 = t11823*t12354+(t11328+t11329)*t11878+(t12121+t12085)*t11876+( +t11541+t11558+t11439)*x; + t12482 = t12635+t12653; + t12481 = t12611+t12730; + t12480 = t12652+t12653; + t12277 = t11879*t11819; + t12133 = x*t12277; + t11613 = t11880*t12318; + t12479 = t11880*t12133+t11809*t12006+t11843*t12402+(t12167+t11613)*y+( +t12173+t12817)*z; + t12478 = t11878*t11596+t11877*t12357+t11775*t11998+z*t12001+t11774*t12112 ++(t11560+t12831)*x; + t12477 = z*t12041+t11840*t12111+t12810*t11877+(t12381+t12072)*t11882+ +t12831; + t12476 = y*t12002+t11750*t12151+t12841*t11878+t12778*x; + t12158 = t11766*t12367; + t12475 = y*t12158+z*t12026+t11766*t12006+t11878*t11260+t12775*x; + t11735 = t11869*t11877; + t11630 = t11878*t11735; + t12474 = t11880*t12137+z*t11630+t11877*t11613+t11845*t12364+t12623; + t12473 = t12602+t12627; + t12472 = t11447+t11577+t11808*t12172+y*t12034+t11563+t11847*t12088+t12839 +*z; + t12471 = t12650+t11878*t11291+t11775*t12190+t12812*x; + t11402 = t11765*t12210; + t12470 = t11402+t12555; + t12469 = t11756*t12320+t11877*t12073+t11881*t12209+t11757*t12089+(t12076+ +t11999)*t11761+t12846*t11876; + t12468 = t11296+t12607+t12747; + t12467 = t12367*t12387+y*t12094+t11799*t12006+t11879*t12158+t12772*x; + t12466 = t12832*t11880+t12838*z+t12776; + t12465 = t11881*t12292+t11791*t11999+t11882*t12064+t11803*t12314+t12609; + t12464 = t11812*t12363+t11814*t12174+t12809*t11878+(t12177+t12050)*t11879 ++t12794*t11876; + t12463 = t11768*t12175+t11878*t12003+(t12168+t12007)*y+(t12033+t12782)*z; + t12462 = t12595+t12661; + t12461 = t11316+t11880*t12166+t12600+t12712; + t12460 = t12838*t11880+t12832*z+t12777; + t12077 = t11877*t12227; + t12459 = t11877*t12028+z*t12077+t12657+(t11264+t11259)*x; + t12458 = y*t12017+t11748*t12083+t12815*t11881+t12773; + t12457 = t11753*t11998+z*t12049+t11750*t12112+t11878*t11200+t12776*x; + t12456 = y*t12032+t11879*t12070+t12669+(t11328+t11402)*x; + t12455 = t11435+t11794*t12172+t12695+t12718+t12723; + t12334 = t11800*t11878; + t11483 = t11879*t12334; + t11583 = t11808*t12322; + t12454 = y*t11583+t11834*t12361+z*t11483+t11783*t12356+t12636; + t12453 = t12657+x*t11351+t11882*t12358+(t11297+t11517)*t11878; + t12452 = t12602+t12611; + t10451 = z*t12044; + t12451 = t10451+t12572; + t12450 = t12592+t12683; + t12449 = t12597+t11880*t12155+z*t12169+t12833*t11877; + t12448 = t11876*t12128+t11795*t12179+y*t12165+t11879*t12093+t12639; + t12447 = t11812*t12364+t11880*t12077+t11803*t11998+t11820*t12112+t11762* +t12362+t11882*t12117+t12796*t11877; + t12446 = t12620+t12666; + t11369 = t11794*t12256; + t12445 = y*t11488+t11881*t12162+t11879*t11369+t11819*t12363+t12619; + t12444 = t11296+t12570; + t12443 = t12620+t12667; + t12442 = t11557+t11808*t11999+t11881*t12027+(t12248+t11994)*t11882+( +t12266+t12814)*t11876; + t11654 = t11869*t12256; + t11660 = t11859*t12376; + t11536 = t11844*t12320; + t12441 = t11650+t11654+t11660+t11878*t11536+t12714+t12700+t12710+t12786* +t11876; + t11981 = t11796*t12019+x*t11256+t12687; + t12440 = t11325+t11795*t12104+t12694+t11882*t12196+t11981+t12779*x; + t12439 = t11369+t11981+t11368+t11795*t12065+t12716+t12781*x; + t11626 = t11859*t12397; + t11458 = t11882*t12283; + t12438 = t11636+t11630+t11626+t12700+t11878*t11458+t11979+t12806*t11877; + t12396 = x*RATIONAL(-8.0,9.0); + t12437 = t11879*t11506+t11866*t12174+t11873*t12385+t12753+t11878*t11457+ +t12668+(t11660+t12396)*y; + t11832 = RATIONAL(-5.0,48.0); + t12194 = t11832*t11876; + t12060 = t11875*t12194; + t12436 = t11815*t11999+t11881*t12293+t11882*t12060+t11874*t11877+t11834* +t12314+t11863*t12270+t12641+t12791; + t11523 = t11837*t12242; + t12435 = t11881*t12215+t11825*t11999+t11705+t11840*t11876+t11835*t12076+ +t11850*t12304+t11847*t12314+t11523+t12644; + t12315 = t11875*t11850; + t11490 = t11835*t12307; + t12434 = t11348+t12766+t11842*t12152+t12575+(t12315+t11490)*z; + t12096 = t11844*t12256; + t12433 = t12608+t11809*t12350+t11783*t12100+(t12096+t12837)*y+(t11484+ +t12793)*x; + t12276 = t11837*t11882; + t11547 = t11875*t12276; + t12432 = t11835*t11999+t11850*t12270+t11719+t11547+t12644+(t11722+t11840) +*t11877+(t12058+t12243)*t11882; + t11582 = t11828*t12328; + t12431 = t11582+t11780*t12152+t12787*t11880+(t12075+t12262)*z+t12771+ +t12792; + t12430 = t11861*t12270+t11735+t11807*t11999+t11620+t11458+t11829*t12076+ +t12638+t12800; + t12429 = t12663+t11455+t11878*t11353+z*t12334+t11768*t12190+t12771*x; + t12025 = t11878*t12306; + t12068 = t11878*t12284; + t11713 = t11809*t11882; + t12428 = t11880*t12068+t11603+t11583+t12622+z*t12025+(t11853+t11713)* +t12403+t12843*x; + t12427 = t11873*t12389+t11880*t11509+t12623+t12798*t11878+(t12396+t11626) +*z+t12833; + t12252 = t11767*t11881; + t12426 = t11477+t11877*t12252+t11794*t12314+t11710+t11780*t11999+t11828* +t12304+t12629+(t11809+t12005)*t11876; + t11598 = t11880*t12262; + t12425 = t11815*t12328+t11829*t12106+t11882*t11598+(t12066+t12791+t12820) +*z+t12804+t12843; + t12424 = t11882*t11582+t11880*t12272+t11832*t12106+(t12086+t12784+t12800) +*z+t12798+t12826; + t11723 = t11839*t11882; + t12391 = x*t11854; + t12423 = t11519+t12646+t11723*t12403+t11880*t12025+t12826*x+(t12068+ +t12391+t12342)*z; + t12422 = t11859*t12389+t12597+t11613+t12199*t12384+t12804*t11878+(t12317+ +t12786)*z; + t12421 = t11598+t11880*t12075+t11780*t12106+(t12787+t12811)*z+t12780+ +t12816; + t12420 = t11878*t12144+t11767*t12100+t12619+t11879*t12240+t12842*y+( +t11576+t12789)*x; + t12419 = t11282+t11837*t11999+t11882*t12014+t11700+t11852*t12270+t11490+ +t12631+t12758; + t12097 = t11878*t12234; + t12418 = y*t12391+t11819*t12174+t12616+t12757+t11879*t12097+(t12147+ +t12823)*x; + t11572 = t11876*t12277; + t12417 = t11712+t11591+t11572+t12573+(t11521+t12813)*y; + t12416 = t11787*t12189+t11777*t12012+t12748+t12797*t11879+(t12067+t12811) +*y+t12790; + t12415 = t11472+t12574+t12830*t11879+(t11600+t12807)*y; + t12414 = t11879*t12096+t11859*t12385+t12634+t11872*t12174+t11808*t12179+ +t12806*y+t12817; + t12413 = t11878*t11572+t12617+y*t12097+t12763+(t12373+t12184+t12825)*x; + t12412 = t11881*t12206+t11791*t11877+t11784*t11999+t11782*t12076+t11473+ +t11824*t12270+t12601+(t11789+t12288)*t11882; + t12411 = t11417+t11827*t12270+t11220+t11781*t11999+t11788*t12076+t12651+ +t12779; + t12410 = t12729+t11777*t12189+t11787*t12012+(t12067+t12346)*t11879+t12797 +*y+t12840; + t12299 = t11852*t11875; + t11569 = t11835*t12242; + t12409 = t11822*t11999+t11837*t12076+t11876*t12299+t11722+t11569+t11308+ +t12631+t12754; + t12408 = t11726+t11514+t11785*t11999+t11793*t12314+t11371+t12645+(t12075+ +t12795)*t11876; + t12407 = t12576+t12769+t11353+(t12039+t11547+t12299)*z; + t12406 = t11580+t11878*t11348+t11792*t12190+t12647+t12836*z+t12780*x; + t12345 = t11867*t11877; + t10342 = t11880*t12138; + t10375 = t11881*t12141; + t12341 = t10342+t10375; + t10419 = t11878*t11367; + t10357 = t11881*t12185; + t12332 = t10419+t10357; + t12331 = t11829*t11877; + t12310 = t11832*t11882; + t12305 = t11828*t11882; + t12295 = t11833*t11881; + t12294 = t11832*t11881; + t10556 = t11879*t12130; + t12286 = t10451+t10556; + t12258 = t11831*t11881; + t12247 = t11833*t11882; + t10416 = t11794*t12111; + t12217 = t10549+t10416; + t12170 = x*t12320; + t12164 = t11783*t12376; + t12078 = t11878*t12243; + t11433 = t11807*t12242; + t11993 = t11296+t12684; + t11992 = t10357+t12686; + t11991 = t10375+t12679; + t11988 = t10342+t12686; + t11987 = t10416+t12676; + t11985 = t10419+t12679; + t11984 = t10416+t12685; + t11983 = t10451+t12685; + t11980 = t11366+t12684; + t11978 = t11402+t12684; + t11977 = t11264+t12683; + t11976 = t11807+t11832*t11877+t12305; + t11975 = t12331+t12752; + t11790 = RATIONAL(25.0,96.0); + t11974 = t11838+t11825*t11882+t11790*t11877; + t11973 = t11852+t11838*t11876+t11837*t11881; + t11802 = RATIONAL(-5.0,16.0); + t11857 = RATIONAL(1.0,4.0); + t11801 = RATIONAL(1.0,16.0); + t11972 = t11857+t11801*t11881+t11802*t11876; + t11971 = t11838+t11825*t11881+t11790*t11876; + t11776 = RATIONAL(-25.0,96.0); + t11970 = t11776*t11876+t11842+t11822*t11881; + t11969 = t11842*t11876+t11850+t11835*t11881; + t11968 = t11842+t11822*t11882+t11776*t11877; + t11871 = RATIONAL(2.0,3.0); + t11967 = t11852*t11881+t11864*t11876+t11871; + t11966 = t12229+t12749; + t11965 = t12192+t11815+t12258; + t11964 = t11807+t12218+t12194; + t11770 = RATIONAL(25.0,32.0); + t11810 = RATIONAL(-5.0,32.0); + t11855 = RATIONAL(-5.0,8.0); + t11963 = t11855+t11810*t11881+t11770*t11876; + t11961 = t11836*t12170+t11842*t12104+t11850*t12263+t11860*t12401+t12706; + t11959 = t11825*t12104+x*t12331+t11780*t12170+t11882*t12254+t12703; + t11958 = t12615+t12635; + t11957 = t12593+t12603; + t11956 = t12594+t12667; + t11955 = t12594+t12666; + t11954 = t12594+t12665; + t11953 = t12593+t12621; + t11952 = t12598+t12637; + t11951 = t12648+t12698+t12722; + t11950 = t12598+t12625; + t11754 = RATIONAL(25.0,192.0); + t11949 = t11835*t12256+t11827*t12104+x*t12294+t11754*t12170+t12618+t12703 ++t12708; + t11772 = RATIONAL(-25.0,48.0); + t11948 = t11852*t12065+t11772*t12191+t11871*t12347+x*t12247+t11961+t12690 +; + t11947 = x*t12295+t11852*t12104+t11871*t12256+t11772*t12170+t12660+t12690 ++t12706; + t11946 = t11835*t12347+t11827*t12065+x*t12310+t11754*t12191+t11959+t12708 +; + t11945 = t12647+t12578+t12760*t11880+t12761*z; + t11944 = t11877*t11603+t12260*t12403+t12586+t12646+t12770*t11880; + t11943 = t11848*t12363+t11846*t12179+t12587+t12634+t12753*t11876; + t11942 = t12586+t11877*t11519+t11882*t12148+t12622+t12770*z; + t11941 = t12578+t12663+t12761*t11880+t12760*z; + t11940 = t12580+t12616+t11881*t12160+y*t12164+t12763*t11876; + t11939 = t12580+t12252*t12405+t11879*t12164+t12617+t12757*t11876; + t11938 = t11881*t12133+y*t11654+t11845*t12363+t11879*t11640+t12587+t12668 +; + t11937 = t12618+t11777*t12188+t11838*t12256+t11790*t12019+t11959+t12765* +t11878+(t12258+t12752)*x; + t11786 = RATIONAL(-25.0,24.0); + t11936 = t11807*t12188+t12660+t11961+RATIONAL(4.0,3.0)*x+t11786*t12019+( +t12376+t12397)*t11861+(t12345+t12749)*t11878; + t11935 = t11828*t12270+t11723+t12559+t11706+t11787*t11999+t11876*t12220+ +t11794*t12320+t12629+t12797*t11882; + t11934 = t12439+t11759*t12320+t11521+t11789*t11881+t12601+t11782*t11999+( +t11997+t12207+t12297+t11791)*t11876; + t11933 = t11869*t11876+t11829*t11999+t11853*t12314+t12441+t11536+t11861* +t12304+t11807*t12076+t12638+t12759; + t11932 = t12566+t11825*t12152+t11846*t12238+t11840*t11880+t11847*t12199+ +t12576+(t11417+t12348)*z; + t11931 = t11288+t12573+t12567+(t12315+t11569+t12079)*y+t12789; + t11930 = t12438+t11833*t12187+t11828*t12012+t11457+(t12060+t12272)*t11879 ++(t12226+t12759+t12784)*y+t12823; + t11929 = t11483+t12440+t11792*t12174+t11879*t12078+t12606+t12836*y+t12748 +*x; + t11928 = t12439+t11600+t11827*t12304+t11781*t12076+t11788*t11999+t11254+ +t12651+t12781; + t11927 = t12566+t11808*t11880+t11800*t12199+t11819*t12238+t12575+(t12330+ +t12785)*z; + t11926 = t11878*t12178+t11880*t12240+t11767*t12098+t12560+t12599+t12842*z ++(t11465+t12766)*x; + t11925 = t11874*t11876+t11815*t12076+t12441+t11731+t11854*t12314+t11881* +t12278+t11863*t12304+t11433+t11832*t11999+t12641; + t11924 = t11356+t12574+t11838*t12187+t12567+(t11523+t12299)*y+t12793; + t11923 = t11309+t11881*t12269+t11882*t12067+t12559+t11875*t12305+t11713+ +t11777*t11999+t12645+t12795*t11877; + t11922 = t12639+t12440+t11425+t11878*t11356+(t12334+t12078)*y+t12729*x; + t11921 = t11783*t12098+t12560+t12633+(t12253+t12186)*t11878+t12837*z+( +t11507+t12769)*x; + t11920 = t11673+t11561+t12438+t11831*t12012+t11829*t12083+t11815*t12349+ +t11872*t12400+t11836*t12187+(t11433+t12820)*y+t12825; + t11919 = t11954+t12465+t10419+t12604+t12620+t12673+t12727; + t11918 = t11264+t12570+t11993+t11951+t12585+t12674+t12691+t12704; + t11917 = t12509+t12504+t12508+t12545; + t11916 = t11954+t12556+t10556+t11984+t12579+t12664+t12681; + t11915 = t12476+t12496+t12467+t12531; + t11914 = t12518+t11952+t10357+t12626+t12655+t12739+t12744; + t11913 = t12584+t10342+t10357+t11956+t12558+t12604+t12678+t12679; + t11912 = t11957+t12468+t12492+t12659+t12671; + t11911 = t12483+t11955+t10375+t12561+t12604+t12643; + t11910 = t12452+t11953+t12614+t12662+t12731+t12735; + t11909 = t12497+t12487+t10556+t11950+t12605+t12677; + t11908 = t12538+t12503+t12461+t12577+t12679; + t11907 = t12521+t12477+t12490+t12536; + t11906 = t12495+t12534+t11956+t12654+t12664; + t11905 = t12506+t11958+t12501+t12624+t12628; + t11904 = t11955+t12547+t12533+t12656+t12664; + t11903 = t12489+t12464+t12442+t12536; + t11902 = t12485+t10451+t12478+t11951+t12680+t12692+t12709; + t11901 = t12460+t12531+t12500+t12550; + t11900 = t12581+t12563+t10419+t10375+t11950+t12626+t12675+t12686; + t11899 = t12524+t12502+t12462+t12733+t12734; + t11898 = t12475+t12466+t12531+t12543; + t11897 = t12513+t12458+t12457+t12531; + t11896 = t12538+t12512+t12471+t10342+t12602+t12740; + t11895 = t12494+t12504+t11978+t12555+t12591; + t11894 = t12491+t12510+t12519+t12536; + t11893 = t12505+t11957+t12511+t12613+t12662; + t11892 = t11952+t12549+t12589+t12605+t12630+t12685; + t11891 = t12499+t12450+t11953+t12658+t12659; + t11890 = t12536+t12515+t12447+t12541; + t11889 = t11958+t12526+t12583+t12612+t12686+t12696+t12709; + t11888 = t11402+t12502+t12488+t12456+t12557; + t11868 = RATIONAL(-1.0,8.0); + t11858 = RATIONAL(1.0,8.0); + t11856 = RATIONAL(5.0,3.0); + t11851 = RATIONAL(5.0,8.0); + t11849 = RATIONAL(-5.0,4.0); + t11830 = RATIONAL(-1.0,16.0); + t11826 = RATIONAL(5.0,64.0); + t11818 = RATIONAL(5.0,32.0); + t11817 = RATIONAL(5.0,16.0); + t11805 = RATIONAL(-5.0,64.0); + t11804 = RATIONAL(25.0,8.0); + t11773 = RATIONAL(25.0,48.0); + t11769 = RATIONAL(-25.0,12.0); + coeffs_dx->coeff_m2_m2_m2 = t11897+t12460+t12475+t12469+t12476; + coeffs_dx->coeff_m1_m2_m2 = t11912+t12535+t11977+t12545+t12569+t12592; + coeffs_dx->coeff_0_m2_m2 = t11945+t12539+t12544; + coeffs_dx->coeff_p1_m2_m2 = t12509+t11891+t12470+t12520+t12535; + coeffs_dx->coeff_p2_m2_m2 = t12476+t12457+t12484+t11898+t12550; + coeffs_dx->coeff_m2_m1_m2 = t11914+t12512+t12481+t11985+t12564+t12577; + coeffs_dx->coeff_m1_m1_m2 = t12217+t12556+t11904+t12443+t12478+t12682+ +t12737; + coeffs_dx->coeff_0_m1_m2 = t12445+t11944+t12546; + coeffs_dx->coeff_p1_m1_m2 = t12455+t11902+t12579+t12547+t12654+t12667+ +t12685; + coeffs_dx->coeff_p2_m1_m2 = t11900+t12512+t12530+t12461+t12537; + coeffs_dx->coeff_m2_0_m2 = t12406+t12431+t11934; + coeffs_dx->coeff_m1_0_m2 = t11932+t12423+t12408; + coeffs_dx->coeff_0_0_m2 = t11949+(t11968*t11880+t11974*z)*x+(t11975* +t11880+t11976*z)*t11878; + coeffs_dx->coeff_p1_0_m2 = t12426+t12423+t11927; + coeffs_dx->coeff_p2_0_m2 = t11928+t12421+t12406; + coeffs_dx->coeff_m2_p1_m2 = t11908+t12452+t12563+t12530+t12341+t12730+ +t12740; + coeffs_dx->coeff_m1_p1_m2 = t11916+t12455+t12478+t12534+t12656+t12666; + coeffs_dx->coeff_0_p1_m2 = t12454+t11944+t12548; + coeffs_dx->coeff_p1_p1_m2 = t11902+t12568+t10556+t12534+t12533+t12620+ +t12737; + coeffs_dx->coeff_p2_p1_m2 = t11914+t11988+t12503+t12473+t12581+t12728+ +t12740; + coeffs_dx->coeff_m2_p2_m2 = t12457+t11901+t12467+t12469+t12543; + coeffs_dx->coeff_m1_p2_m2 = t12535+t11895+t12492+t12508+t12621+t12658; + coeffs_dx->coeff_0_p2_m2 = t11945+t12448+t12463; + coeffs_dx->coeff_p1_p2_m2 = t12499+t11917+t12518+t11993+t12591+t12732+ +t12747; + coeffs_dx->coeff_p2_p2_m2 = t11897+t12484+t12466+t12467+t12500; + coeffs_dx->coeff_m2_m2_m1 = t12516+t12286+t11892+t12525+t12565+t12572; + coeffs_dx->coeff_m1_m2_m1 = t12453+t11911+t11988+t12443+t12583+t12678+ +t12727; + coeffs_dx->coeff_0_m2_m1 = t12486+t11940+t12527; + coeffs_dx->coeff_p1_m2_m1 = t12465+t12453+t12483+t11913+t12612+t12635; + coeffs_dx->coeff_p2_m2_m1 = t12493+t11893+t10416+t10556+t12549+t12565+ +t12614+t12741; + coeffs_dx->coeff_m2_m1_m1 = t11899+t11978+t12501+t12459+t12557+t12585; + coeffs_dx->coeff_m1_m1_m1 = t11903+t12472+t12477+t12447+t12510; + coeffs_dx->coeff_0_m1_m1 = t12474+t11938+t12523; + coeffs_dx->coeff_p1_m1_m1 = t12464+t11894+t12447+t12490+t12514; + coeffs_dx->coeff_p2_m1_m1 = t12507+t12488+t11918+t12459+t12624+t12635; + coeffs_dx->coeff_m2_0_m1 = t12435+t12407+t11926; + coeffs_dx->coeff_m1_0_m1 = t12424+t12427+t11933; + coeffs_dx->coeff_0_0_m1 = t11947+((t12276+t12765)*t11880+(t11870+t12345+ +t11850*t11882)*z)*t11878+((t11773*t11877+t12310+t11836)*t11880+(t11769*t11877+ +t12247+t11856)*z)*x; + coeffs_dx->coeff_p1_0_m1 = t12425+t11925+t12427; + coeffs_dx->coeff_p2_0_m1 = t12434+t12409+t11926; + coeffs_dx->coeff_m2_p1_m1 = t12444+t11905+t12456+t12459+t12524; + coeffs_dx->coeff_m1_p1_m1 = t12491+t11890+t12477+t12442+t12514; + coeffs_dx->coeff_0_p1_m1 = t12474+t11943+t12479; + coeffs_dx->coeff_p1_p1_m1 = t12472+t12489+t11890+t12490+t12519; + coeffs_dx->coeff_p2_p1_m1 = t12529+t11888+t11977+t12459+t12562+t12588; + coeffs_dx->coeff_m2_p2_m1 = t12451+t12505+t12497+t11910+t12549; + coeffs_dx->coeff_m1_p2_m1 = t11889+t12453+t12554+t12332+t12558+t12643+ +t12666; + coeffs_dx->coeff_0_p2_m1 = t11939+t12486+t12498; + coeffs_dx->coeff_p1_p2_m1 = t11919+t12453+t11991+t12526+t12561+t12584; + coeffs_dx->coeff_p2_p2_m1 = t12217+t12552+t12497+t11892+t12473+t12738+ +t12746; + coeffs_dx->coeff_m2_m2_0 = t12410+t11929+t12412; + coeffs_dx->coeff_m1_m2_0 = t12418+t12415+t11923; + coeffs_dx->coeff_0_m2_0 = (t11965*t11879+t11964*y)*t11878+t11946+(t11970* +t11879+t11971*y)*x; + coeffs_dx->coeff_p1_m2_0 = t12417+t11935+t12418; + coeffs_dx->coeff_p2_m2_0 = t12411+t12416+t11929; + coeffs_dx->coeff_m2_m1_0 = t11924+t12432+t12420; + coeffs_dx->coeff_m1_m1_0 = t11930+t12430+t12437; + coeffs_dx->coeff_0_m1_0 = t11948+(t11973*t11879+t11966*y)*t11878+((t11836 ++t12294+t11773*t11876)*t11879+(t12295+t11769*t11876+t11856)*y)*x; + coeffs_dx->coeff_p1_m1_0 = t12436+t11920+t12437; + coeffs_dx->coeff_p2_m1_0 = t11931+t12420+t12419; + coeffs_dx->coeff_m2_0_0 = t11937+(t11787*t11881+t11828+t12261)*t11882+( +t11754*t11876+t11785*t11881+t11832)*t11877+(RATIONAL(-1.0,4.0)+t11830*t11881+ +t11817*t11876+(t11817+t11826*t11881+RATIONAL(-25.0,64.0)*t11876)*t11877+(t11830 ++t11826*t11876+RATIONAL(-1.0,64.0)*t11881)*t11882)*t11875+t11964; + coeffs_dx->coeff_m1_0_0 = (t11867+t11786*t11876+t11842*t11881)*t11877+ +t11936+(RATIONAL(1.0,2.0)+t11858*t11881+t11855*t11876+t11963*t11877+(t11810* +t11876+t11858+RATIONAL(1.0,32.0)*t11881)*t11882)*t11875+t11969*t11882+t11966; + coeffs_dx->coeff_0_0_0 = (1.0+t11849*t11876+t11857*t11881+(t11802*t11881+ +RATIONAL(25.0,16.0)*t11876+t11849)*t11877+t11972*t11882)*t11878+(t11804*t11876+ +t11855*t11881+RATIONAL(-5.0,2.0)+(t11804+RATIONAL(-125.0,32.0)*t11876+t11770* +t11881)*t11877+t11963*t11882)*x; + coeffs_dx->coeff_p1_0_0 = t11973*t11882+(RATIONAL(25.0,24.0)*t11876+ +t11838*t11881+t11864)*t11877+t11936+(t11868*t11881+RATIONAL(-1.0,2.0)+t11851* +t11876+(RATIONAL(-25.0,32.0)*t11876+t11818*t11881+t11851)*t11877+(RATIONAL(-1.0 +,32.0)*t11881+t11818*t11876+t11868)*t11882)*t11875+t11967; + coeffs_dx->coeff_p2_0_0 = t11937+((RATIONAL(25.0,64.0)*t11876+t11802+ +t11805*t11881)*t11877+(t11805*t11876+t11801+RATIONAL(1.0,64.0)*t11881)*t11882+ +t11972)*t11875+(t11831+t11780*t11876+t11777*t11881)*t11882+(t11755*t11876+ +t11780*t11881+t11829)*t11877+t11965; + coeffs_dx->coeff_m2_p1_0 = t11931+t12433+t12432; + coeffs_dx->coeff_m1_p1_0 = t12414+t11920+t12430; + coeffs_dx->coeff_0_p1_0 = t11948+((t11833+t11829*t11881+t11772*t11876)* +t11879+(t11836*t11881+t11860+t11771*t11876)*y)*x+(t11969*t11879+t11967*y)* +t11878; + coeffs_dx->coeff_p1_p1_0 = t12436+t11930+t12414; + coeffs_dx->coeff_p2_p1_0 = t11924+t12433+t12419; + coeffs_dx->coeff_m2_p2_0 = t12416+t12412+t11922; + coeffs_dx->coeff_m1_p2_0 = t12417+t12413+t11923; + coeffs_dx->coeff_0_p2_0 = t11946+(t11971*t11879+t11970*y)*x+(t11964* +t11879+t11965*y)*t11878; + coeffs_dx->coeff_p1_p2_0 = t11935+t12415+t12413; + coeffs_dx->coeff_p2_p2_0 = t12410+t12411+t11922; + coeffs_dx->coeff_m2_m2_p1 = t12516+t12487+t11910+t11984+t12552+t12589; + coeffs_dx->coeff_m1_m2_p1 = t12482+t11911+t12554+t11985+t12584+t12612+ +t12736; + coeffs_dx->coeff_0_m2_p1 = t11940+t12498+t12540; + coeffs_dx->coeff_p1_m2_p1 = t11919+t12517+t12483+t11992+t12558+t12583; + coeffs_dx->coeff_p2_m2_p1 = t12451+t11893+t12487+t12532+t12602+t12735; + coeffs_dx->coeff_m2_m1_p1 = t11264+t11402+t12562+t11905+t12507+t12480+ +t12725+t12745; + coeffs_dx->coeff_m1_m1_p1 = t12521+t11903+t12519+t12514+t12541; + coeffs_dx->coeff_0_m1_p1 = t12449+t11938+t12479; + coeffs_dx->coeff_p1_m1_p1 = t12491+t12472+t11907+t12464+t12541; + coeffs_dx->coeff_p2_m1_p1 = t12444+t12506+t11899+t12488+t12528; + coeffs_dx->coeff_m2_0_p1 = t12435+t11921+t12434; + coeffs_dx->coeff_m1_0_p1 = t12425+t12422+t11933; + coeffs_dx->coeff_0_0_p1 = ((t11772*t11877+t11833+t11829*t11882)*t11880+( +t11836*t11882+t11771*t11877+t11860)*z)*x+t11947+((t11850+t11835*t11882+t11842* +t11877)*t11880+(t11864*t11877+t11852*t11882+t11871)*z)*t11878; + coeffs_dx->coeff_p1_0_p1 = t12424+t11925+t12422; + coeffs_dx->coeff_p2_0_p1 = t11921+t12407+t12409; + coeffs_dx->coeff_m2_p1_p1 = t12528+t12456+t12501+t11918+t12529; + coeffs_dx->coeff_m1_p1_p1 = t12472+t12442+t12515+t11894+t12521; + coeffs_dx->coeff_0_p1_p1 = t11943+t12449+t12523; + coeffs_dx->coeff_p1_p1_p1 = t12489+t12510+t11907+t12514+t12515; + coeffs_dx->coeff_p2_p1_p1 = t12482+t12553+t11980+t11888+t12585+t12624+ +t12725; + coeffs_dx->coeff_m2_p2_p1 = t11909+t11987+t12532+t12525+t12552+t12590; + coeffs_dx->coeff_m1_p2_p1 = t12517+t12446+t11913+t12526+t12643+t12727; + coeffs_dx->coeff_0_p2_p1 = t11939+t12527+t12540; + coeffs_dx->coeff_p1_p2_p1 = t11889+t12465+t12480+t12341+t12667+t12678+ +t12736+t12743; + coeffs_dx->coeff_p2_p2_p1 = t11909+t12572+t11983+t12511+t12589+t12600+ +t12762+t12767; + coeffs_dx->coeff_m2_m2_p2 = t12458+t11915+t12466+t12469+t12550; + coeffs_dx->coeff_m1_m2_p2 = t12493+t11912+t12542+t11980+t12591+t12658+ +t12742; + coeffs_dx->coeff_0_m2_p2 = t11941+t12463+t12544; + coeffs_dx->coeff_p1_m2_p2 = t12499+t12542+t11895+t12520+t12545; + coeffs_dx->coeff_p2_m2_p2 = t12513+t12460+t12484+t11915+t12543; + coeffs_dx->coeff_m2_m1_p2 = t11896+t12481+t12461+t11992+t12571+t12581; + coeffs_dx->coeff_m1_m1_p2 = t12455+t12495+t11904+t12286+t12551+t12568; + coeffs_dx->coeff_0_m1_p2 = t11942+t12445+t12454; + coeffs_dx->coeff_p1_m1_p2 = t11916+t12495+t12462+t12485+t12726+t12756+ +t12768; + coeffs_dx->coeff_p2_m1_p2 = t11896+t12522+t11991+t12537+t12563+t12577; + coeffs_dx->coeff_m2_0_p2 = t12429+t12421+t11934; + coeffs_dx->coeff_m1_0_p2 = t12428+t12408+t11927; + coeffs_dx->coeff_0_0_p2 = t11949+(t11974*t11880+t11968*z)*x+(t11976* +t11880+t11975*z)*t11878; + coeffs_dx->coeff_p1_0_p2 = t12428+t11932+t12426; + coeffs_dx->coeff_p2_0_p2 = t11928+t12429+t12431; + coeffs_dx->coeff_m2_p1_p2 = t11900+t12481+t12471+t12503+t12522; + coeffs_dx->coeff_m1_p1_p2 = t11906+t12446+t11983+t12551+t12579+t12656+ +t12737; + coeffs_dx->coeff_0_p1_p2 = t11942+t12546+t12548; + coeffs_dx->coeff_p1_p1_p2 = t11906+t11987+t12455+t12485+t12556+t12582; + coeffs_dx->coeff_p2_p1_p2 = t11908+t12564+t12537+t12471+t12332+t12571; + coeffs_dx->coeff_m2_p2_p2 = t12496+t11898+t12469+t12500+t12513; + coeffs_dx->coeff_m1_p2_p2 = t11917+t12492+t12450+t12470+t12542; + coeffs_dx->coeff_0_p2_p2 = t12448+t11941+t12539; + coeffs_dx->coeff_p1_p2_p2 = t12494+t11891+t12468+t12508+t12542; + coeffs_dx->coeff_p2_p2_p2 = t12458+t12475+t12484+t11901+t12496; |