fp t14452; fp t14523; fp t14525; fp t14424; fp t15465; fp t14469; fp t14913; fp t14462; fp t14522; fp t14526; fp t14949; fp t15464; fp t14521; fp t14528; fp t15028; fp t14410; fp t14054; fp t14411; fp t15017; fp t14029; fp t15463; fp t14396; fp t14870; fp t13886; fp t14399; fp t14882; fp t15462; fp t14460; fp t15018; fp t14449; fp t14524; fp t14907; fp t14527; fp t14187; fp t15461; fp t15006; fp t14204; fp t14915; fp t14222; fp t15460; fp t14916; fp t14712; fp t14466; fp t14997; fp t14784; fp t15459; fp t14901; fp t14848; fp t15429; fp t14911; fp t13963; fp t15458; fp t15012; fp t14090; fp t15457; fp t14420; fp t14929; fp t13920; fp t14459; fp t14914; fp t15456; fp t14899; fp t14937; fp t14454; fp t14519; fp t15455; fp t14873; fp t13853; fp t15454; fp t14646; fp t14457; fp t14989; fp t14790; fp t15453; fp t14723; fp t14749; fp t15452; fp t14983; fp t15004; fp t14984; fp t15451; fp t14947; fp t15450; fp t14467; fp t15010; fp t15449; fp t14458; fp t15032; fp t14408; fp t14878; fp t15008; fp t15448; fp t14515; fp t14507; fp t15447; fp t14446; fp t14928; fp t14439; fp t15446; fp t14442; fp t14441; fp t15025; fp t14918; fp t15445; fp t14888; fp t14426; fp t14665; fp t14423; fp t14932; fp t15444; fp t14437; fp t14345; fp t14010; fp t15443; fp t14499; fp t14382; fp t14520; fp t14845; fp t15442; fp t14425; fp t14857; fp t13923; fp t14891; fp t14136; fp t15441; fp t14097; fp t15440; fp t14461; fp t14096; fp t14500; fp t15439; fp t14351; fp t14147; fp t15438; fp t14509; fp t15437; fp t14440; fp t14493; fp t15436; fp t14936; fp t15435; fp t14924; fp t14954; fp t14031; fp t15434; fp t14360; fp t14435; fp t14333; fp t13959; fp t15433; fp t14474; fp t15432; fp t14455; fp t14389; fp t14883; fp t15431; fp t14964; fp t15015; fp t15430; fp t14421; fp t14930; fp t14688; fp t14990; fp t14782; fp t15428; fp t14412; fp t14876; fp t14445; fp t15427; fp t13895; fp t15426; fp t13988; fp t15425; fp t14923; fp t14902; fp t15424; fp t15423; fp t14363; fp t15422; fp t14468; fp t14481; fp t14963; fp t15421; fp t13986; fp t15420; fp t14854; fp t14922; fp t15419; fp t15418; fp t14477; fp t14898; fp t14122; fp t14485; fp t14355; fp t15417; fp t14453; fp t15416; fp t15415; fp t13922; fp t14350; fp t15414; fp t13919; fp t15413; fp t14394; fp t14406; fp t14645; fp t15412; fp t14855; fp t15411; fp t14863; fp t13904; fp t15410; fp t15409; fp t15408; fp t14342; fp t14443; fp t15013; fp t14444; fp t15407; fp t14919; fp t13984; fp t15406; fp t13917; fp t15405; fp t14880; fp t13857; fp t14340; fp t15404; fp t13949; fp t15403; fp t15402; fp t14868; fp t15024; fp t15401; fp t14397; fp t14398; fp t15026; fp t14896; fp t15400; fp t14402; fp t14395; fp t14973; fp t14841; fp t14910; fp t15399; fp t15398; fp t14912; fp t15005; fp t15397; fp t15396; fp t15030; fp t15395; fp t14388; fp t14070; fp t15394; fp t14934; fp t15393; fp t15392; fp t15001; fp t14192; fp t14655; fp t15391; fp t14931; fp t14797; fp t15002; fp t13976; fp t15390; fp t13952; fp t14102; fp t14667; fp t14948; fp t14008; fp t14697; fp t15260; fp t14652; fp t13048; fp t14877; fp t14809; fp t15389; fp t14038; fp t15388; fp t15021; fp t14157; fp t14747; fp t15387; fp t14967; fp t14957; fp t15386; fp t14240; fp t15385; fp t15384; fp t14904; fp t14117; fp t15383; fp t14414; fp t14792; fp t14858; fp t13910; fp t14465; fp t14925; fp t14059; fp t14900; fp t14354; fp t14748; fp t15382; fp t13931; fp t14691; fp t15381; fp t13902; fp t14409; fp t13975; fp t15380; fp t14041; fp t13129; fp t14057; fp t14962; fp t14232; fp t15217; fp t15379; fp t14020; fp t15378; fp t14498; fp t14484; fp t15377; fp t14037; fp t15019; fp t14802; fp t15376; fp t14513; fp t14516; fp t15375; fp t14052; fp t14966; fp t14791; fp t15374; fp t14367; fp t14243; fp t14413; fp t14842; fp t13993; fp t15373; fp t14960; fp t14668; fp t15372; fp t14996; fp t13916; fp t14759; fp t15318; fp t13990; fp t15371; fp t14998; fp t14778; fp t14940; fp t13925; fp t14941; fp t14745; fp t15306; fp t15370; fp t14105; fp t13998; fp t15289; fp t14647; fp t15369; fp t14016; fp t15368; fp t14906; fp t14789; fp t14210; fp t14718; fp t14851; fp t14769; fp t15220; fp t15367; fp t15366; fp t13908; fp t14862; fp t14757; fp t13855; fp t15309; fp t14043; fp t15302; fp t14036; fp t13933; fp t15291; fp t14601; fp t15365; fp t13974; fp t14368; fp t14804; fp t14892; fp t14225; fp t14024; fp t15311; fp t13926; fp t14170; fp t15299; fp t15252; fp t14738; fp t15364; fp t14875; fp t14681; fp t14946; fp t14053; fp t13983; fp t14704; fp t14720; fp t14145; fp t15277; fp t15363; fp t14015; fp t14943; fp t14206; fp t14709; fp t15250; fp t15362; fp t14837; fp t15361; fp t14971; fp t14822; fp t14887; fp t14708; fp t14828; fp t15243; fp t15360; fp t14093; fp t15003; fp t15235; fp t14119; fp t14727; fp t15359; fp t14730; fp t13978; fp t14807; fp t15358; fp t14781; fp t13909; fp t15213; fp t15357; fp t14056; fp t14945; fp t14743; fp t15356; fp t14866; fp t13991; fp t15355; fp t13970; fp t14806; fp t15354; fp t14092; fp t14908; fp t14230; fp t14677; fp t13930; fp t15272; fp t14773; fp t15214; fp t14605; fp t15353; fp t13905; fp t14005; fp t14353; fp t14795; fp t14827; fp t15352; fp t14814; fp t14042; fp t13979; fp t14921; fp t14780; fp t13972; fp t15225; fp t15351; fp t14044; fp t13239; fp t15000; fp t14007; fp t14011; fp t14706; fp t15273; fp t15350; fp t14707; fp t15254; fp t15349; fp t14872; fp t14680; fp t14740; fp t14871; fp t14649; fp t15227; fp t13927; fp t15348; fp t14986; fp t15347; fp t13950; fp t14009; fp t14657; fp t15248; fp t14869; fp t14831; fp t14763; fp t15346; fp t15345; fp t14755; fp t14717; fp t15251; fp t15344; fp t13937; fp t14909; fp t14673; fp t15241; fp t14608; fp t15343; fp t14654; fp t15226; fp t14682; fp t15342; fp t15231; fp t15341; fp t14035; fp t14905; fp t14751; fp t14045; fp t15265; fp t15340; fp t14249; fp t14032; fp t15287; fp t15339; fp t14776; fp t14221; fp t14191; fp t13946; fp t15284; fp t15338; fp t13934; fp t14700; fp t14689; fp t15337; fp t14959; fp t14788; fp t14683; fp t15336; fp t15014; fp t14151; fp t14172; fp t15335; fp t14803; fp t14808; fp t15334; fp t14838; fp t14897; fp t14735; fp t15333; fp t14999; fp t14229; fp t15332; fp t14812; fp t15331; fp t14977; fp t14799; fp t15330; fp t14884; fp t14829; fp t14669; fp t14656; fp t15329; fp t14662; fp t15328; fp t14505; fp t14771; fp t14933; fp t14216; fp t14486; fp t14658; fp t14767; fp t14725; fp t15327; fp t14648; fp t15326; fp t14073; fp t15325; fp t14356; fp t14698; fp t14956; fp t14152; fp t15324; fp t14752; fp t14787; fp t15323; fp t15322; fp t15016; fp t14976; fp t14813; fp t14981; fp t14794; fp t15321; fp t15320; fp t15319; fp t13997; fp t14716; fp t15317; fp t14492; fp t14801; fp t13948; fp t15316; fp t14783; fp t14518; fp t14968; fp t14256; fp t15315; fp t14826; fp t14431; fp t14765; fp t15314; fp t13929; fp t14768; fp t15313; fp t14475; fp t14510; fp t15312; fp t14860; fp t13967; fp t15310; fp t14696; fp t14993; fp t14815; fp t15307; fp t14438; fp t13992; fp t15305; fp t13955; fp t15303; fp t13911; fp t15301; fp t15300; fp t13914; fp t14033; fp t15298; fp t14404; fp t13877; fp t14674; fp t15297; fp t14405; fp t13872; fp t14762; fp t15296; fp t13953; fp t15295; fp t14417; fp t14836; fp t15294; fp t13866; fp t14758; fp t15293; fp t14401; fp t14470; fp t14894; fp t14670; fp t15292; fp t13899; fp t15290; fp t14281; fp t14494; fp t14834; fp t15288; fp t13968; fp t15286; fp t14034; fp t15285; fp t15283; fp t15282; fp t15281; fp t14785; fp t15280; fp t14679; fp t15279; fp t14991; fp t14770; fp t14687; fp t15278; fp t14650; fp t14733; fp t14490; fp t14886; fp t14480; fp t14082; fp t15031; fp t15275; fp t14491; fp t14489; fp t14988; fp t14262; fp t15274; fp t13889; fp t14428; fp t14692; fp t14430; fp t14715; fp t15271; fp t14980; fp t14644; fp t14429; fp t14850; fp t14238; fp t15270; fp t15269; fp t14433; fp t14849; fp t14737; fp t15268; fp t13973; fp t14659; fp t15267; fp t14793; fp t14672; fp t15266; fp t14741; fp t15264; fp t14482; fp t14661; fp t15263; fp t14950; fp t14246; fp t14811; fp t14978; fp t15262; fp t14874; fp t14110; fp t14927; fp t14651; fp t15261; fp t14987; fp t15259; fp t15258; fp t14137; fp t14935; fp t14744; fp t14885; fp t13945; fp t15257; fp t15256; fp t14483; fp t14903; fp t14471; fp t14844; fp t15255; fp t13999; fp t15253; fp t14512; fp t14939; fp t14861; fp t14174; fp t14479; fp t14695; fp t15249; fp t14000; fp t15247; fp t15246; fp t15245; fp t14893; fp t14211; fp t15244; fp t15242; fp t14427; fp t14702; fp t14434; fp t15240; fp t15239; fp t14244; fp t15238; fp t14711; fp t15237; fp t15236; fp t15234; fp t14879; fp t13913; fp t14113; fp t14942; fp t14133; fp t15233; fp t15232; fp t14488; fp t14496; fp t14852; fp t14840; fp t14506; fp t15011; fp t15230; fp t14719; fp t15229; fp t14047; fp t14830; fp t15228; fp t15224; fp t14663; fp t14185; fp t15222; fp t14856; fp t13996; fp t14223; fp t15221; fp t13918; fp t15219; fp t15218; fp t14722; fp t15216; fp t14881; fp t14048; fp t14212; fp t14684; fp t15215; fp t15212; fp t15211; fp t15210; fp t13957; fp t15209; fp t15208; fp t15207; fp t14796; fp t14779; fp t15206; fp t14140; fp t14671; fp t15205; fp t15204; fp t15203; fp t14731; fp t14364; fp t15202; fp t14160; fp t15201; fp t15200; fp t14473; fp t14118; fp t15199; fp t15198; fp t15197; fp t15196; fp t15195; fp t15194; fp t15193; fp t14224; fp t14995; fp t14199; fp t15192; fp t14171; fp t14068; fp t15191; fp t13938; fp t15190; fp t15188; fp t15186; fp t14764; fp t15185; fp t14675; fp t15184; fp t14195; fp t14186; fp t15183; fp t14165; fp t14226; fp t15182; fp t14994; fp t14261; fp t14074; fp t14508; fp t15023; fp t14259; fp t15181; fp t14678; fp t14969; fp t14833; fp t15180; fp t15179; fp t14742; fp t15178; fp t14772; fp t14750; fp t15177; fp t15176; fp t14101; fp t14134; fp t15175; fp t15174; fp t15173; fp t14336; fp t14982; fp t14805; fp t15172; fp t14326; fp t14786; fp t15171; fp t14756; fp t14775; fp t15170; fp t13343; fp t15169; fp t14760; fp t14766; fp t15168; fp t13262; fp t15167; fp t14690; fp t15166; fp t14754; fp t14685; fp t15165; fp t15164; fp t15163; fp t14798; fp t15162; fp t15161; fp t14003; fp t15160; fp t14821; fp t15159; fp t15158; fp t15157; fp t14703; fp t15156; fp t14264; fp t15155; fp t14666; fp t15154; fp t15153; fp t15152; fp t14729; fp t14824; fp t15151; fp t15150; fp t13865; fp t13846; fp t14736; fp t15149; fp t14126; fp t15148; fp t14267; fp t15020; fp t14774; fp t14979; fp t15147; fp t15146; fp t15145; fp t15144; fp t15143; fp t15142; fp t15141; fp t14818; fp t14084; fp t14065; fp t15140; fp t15139; fp t14407; fp t14403; fp t14714; fp t15138; fp t15137; fp t15136; fp t14701; fp t15135; fp t15134; fp t15133; fp t15132; fp t15131; fp t15130; fp t15129; fp t15128; fp t15127; fp t14636; fp t15126; fp t15125; fp t14132; fp t14777; fp t14270; fp t14287; fp t14271; fp t15124; fp t14710; fp t15123; fp t15122; fp t15121; fp t14664; fp t14705; fp t15120; fp t15119; fp t15022; fp t15118; fp t14066; fp t14972; fp t15117; fp t14839; fp t15116; fp t14182; fp t14938; fp t15115; fp t15114; fp t15113; fp t14846; fp t14724; fp t15112; fp t14131; fp t15111; fp t15110; fp t14189; fp t15109; fp t15108; fp t15107; fp t14325; fp t15106; fp t15105; fp t15104; fp t14859; fp t15103; fp t14067; fp t15102; fp t15029; fp t15101; fp t14478; fp t15100; fp t15099; fp t15098; fp t15097; fp t14176; fp t15096; fp t14761; fp t15095; fp t14952; fp t14236; fp t14739; fp t15094; fp t14676; fp t15093; fp t14992; fp t15092; fp t14106; fp t15091; fp t14304; fp t15090; fp t15089; fp t15088; fp t14694; fp t15087; fp t14890; fp t14114; fp t15086; fp t15085; fp t15084; fp t15083; fp t15082; fp t13101; fp t14643; fp t15081; fp t14631; fp t15080; fp t15079; fp t13276; fp t14847; fp t15078; fp t15077; fp t13309; fp t14944; fp t15076; fp t14953; fp t15075; fp t15074; fp t15073; fp t15072; fp t15071; fp t15070; fp t15069; fp t15068; fp t15067; fp t15066; fp t15065; fp t15064; fp t15063; fp t15062; fp t15061; fp t15060; fp t15059; fp t15058; fp t15057; fp t15056; fp t15055; fp t15054; fp t15053; fp t15052; fp t15051; fp t15050; fp t15049; fp t15048; fp t15047; fp t15046; fp t15045; fp t15044; fp t15043; fp t15042; fp t15041; fp t15040; fp t14819; fp t15039; fp t15038; fp t15037; fp t15036; fp t15035; fp t15034; fp t15033; fp t14975; fp t14970; fp t14958; fp t14955; fp t14373; fp t14926; fp t14920; fp t14889; fp t14865; fp t14864; fp t14843; fp t14835; fp t14283; fp t14825; fp t14820; fp t14810; fp t14746; fp t14699; fp t14653; fp t14642; fp t14641; fp t14635; fp t14629; fp t14628; fp t14627; fp t14626; fp t14625; fp t14456; fp t14416; fp t14501; fp t14624; fp t14623; fp t14447; fp t14448; fp t14503; fp t14622; fp t14621; fp t14436; fp t14620; fp t14517; fp t14619; fp t14422; fp t14618; fp t14617; fp t14616; fp t14614; fp t14613; fp t14610; fp t14609; fp t14607; fp t14606; fp t14604; fp t14603; fp t14599; fp t14598; fp t14400; fp t14597; fp t14596; fp t14418; fp t14595; fp t14594; fp t14593; fp t14592; fp t14591; fp t14590; fp t14589; fp t14588; fp t14587; fp t14586; fp t14585; fp t14584; fp t14432; fp t14583; fp t14582; fp t14581; fp t14580; fp t14579; fp t14578; fp t14577; fp t14576; fp t14575; fp t14574; fp t14573; fp t14572; fp t14571; fp t14570; fp t14569; fp t14568; fp t14567; fp t14566; fp t14565; fp t14564; fp t14563; fp t14562; fp t14561; fp t14560; fp t14559; fp t14558; fp t14557; fp t14556; fp t14555; fp t14554; fp t14553; fp t14552; fp t14551; fp t14550; fp t14549; fp t14548; fp t14547; fp t14546; fp t14545; fp t14544; fp t14543; fp t14542; fp t14541; fp t14540; fp t14539; fp t14538; fp t14537; fp t14536; fp t14535; fp t14534; fp t14514; fp t14504; fp t14502; fp t14497; fp t14495; fp t14476; fp t14472; fp t14464; fp t14463; fp t14451; fp t14450; fp t14419; fp t14415; t14452 = RATIONAL(-8.0,27.0); t14523 = y*y; t14525 = t14523*y; t14424 = RATIONAL(16.0,27.0); t15465 = t14452*t14525+y*t14424; t14469 = RATIONAL(2.0,27.0); t14913 = t14525*t14469; t14462 = RATIONAL(-1.0,54.0); t14522 = z*z; t14526 = t14522*z; t14949 = t14462*t14526; t15464 = z*t14913+t14525*t14949; t14521 = x*x; t14528 = t14521*t14521; t15028 = z*t14528; t14410 = RATIONAL(1.0,432.0); t14054 = t14410*t15028; t14411 = RATIONAL(-1.0,432.0); t15017 = z*t14411; t14029 = t14521*t15017; t15463 = t14054+t14029; t14396 = RATIONAL(1.0,1728.0); t14870 = t14526*t14396; t13886 = t14528*t14870; t14399 = RATIONAL(-1.0,1728.0); t14882 = t14526*t14399; t15462 = t13886+t14521*t14882; t14460 = RATIONAL(8.0,27.0); t15018 = x*t14460; t14449 = RATIONAL(1.0,54.0); t14524 = x*t14521; t14907 = t14449*t14524; t14527 = t14522*t14522; t14187 = t14527*t14907; t15461 = t14187+t14522*t15018; t15006 = x*t14469; t14204 = t14526*t15006; t14915 = t14469*t14524; t14222 = z*t14915; t15460 = t14204+t14222; t14916 = t14526*t14449; t14712 = t14525*t14916; t14466 = RATIONAL(-2.0,27.0); t14997 = z*t14466; t14784 = t14525*t14997; t15459 = t14712+t14784; t14901 = t14527*t14521; t14848 = t14528*t14522; t15429 = t14848+t14901; t14911 = t14410*t14521; t13963 = z*t14911; t15458 = t14528*t15017+t13963; t15012 = x*t14526; t14090 = t14466*t15012; t15457 = t14090+z*t15018; t14420 = RATIONAL(1.0,108.0); t14929 = t14420*t14524; t13920 = t14527*t14929; t14459 = RATIONAL(-1.0,27.0); t14914 = t14459*t14524; t15456 = t14522*t14914+t13920; t14899 = t14523*t14521; t14937 = t14528*t14523; t14454 = RATIONAL(-1.0,18.0); t14519 = RATIONAL(2.0,9.0); t15455 = t14519*t14899+t14454*t14937; t14873 = t14528*t14399; t13853 = t14526*t14873; t15454 = t13853+t14521*t14870; t14646 = t14521*t14913; t14457 = RATIONAL(1.0,27.0); t14989 = y*t14528; t14790 = t14457*t14989; t15453 = t14790+t14646; t14723 = t14527*t14899; t14749 = t14523*t14848; t15452 = t14749+t14723; t14983 = y*t15012; t15004 = z*t14524; t14984 = y*t15004; t15451 = t14984+t14983; t14947 = t14524*t14527; t15450 = t14522*t14915+t14462*t14947; t14467 = RATIONAL(-4.0,27.0); t15010 = y*t14527; t15449 = t14467*t15010+t15465*t14522; t14458 = RATIONAL(4.0,27.0); t15032 = y*x; t14408 = RATIONAL(-16.0,27.0); t14878 = t14466*t14524; t15008 = y*t14524; t15448 = t14525*t14878+t14408*t15032+t14458*t15008; t14515 = RATIONAL(-4.0,9.0); t14507 = RATIONAL(1.0,3.0); t15447 = t14523*t14507+t14515; t14446 = RATIONAL(-1.0,72.0); t14928 = t14525*t14446; t14439 = RATIONAL(1.0,144.0); t15446 = y*t14439+t14928; t14442 = RATIONAL(5.0,576.0); t14441 = RATIONAL(-5.0,576.0); t15025 = z*t14521; t14918 = t14526*t14521; t15445 = t14441*t14918+t14442*t15025; t14888 = t14523*t14522; t14426 = RATIONAL(5.0,192.0); t14665 = t14426*t14888; t14423 = RATIONAL(-1.0,192.0); t14932 = t14523*t14527; t15444 = t14423*t14932+t14665; t14437 = RATIONAL(-1.0,288.0); t14345 = t14437*t14527; t14010 = t14524*t14345; t15443 = t14010+t14446*t14524; t14499 = RATIONAL(-1.0,9.0); t14382 = t14499*t14524; t14520 = RATIONAL(4.0,9.0); t14845 = t14525*t14520; t15442 = x*t14845+t14525*t14382; t14425 = RATIONAL(-1.0,216.0); t14857 = t14425*t14526; t13923 = t14528*t14857; t14891 = t14528*t14449; t14136 = z*t14891; t15441 = t13923+t14136; t14097 = t14446*t14848; t15440 = t14454*t14522+t14097; t14461 = RATIONAL(-1.0,12.0); t14096 = t14461*t14937; t14500 = RATIONAL(1.0,9.0); t15439 = t14096+t14500*t14528; t14351 = t14446*t14527; t14147 = x*t14351; t15438 = t14147+t14454*x; t14509 = RATIONAL(-1.0,3.0); t15437 = t14520+t14523*t14509; t14440 = RATIONAL(-1.0,144.0); t14493 = RATIONAL(1.0,72.0); t15436 = y*t14440+t14525*t14493; t14936 = t14522*t14524; t15435 = t14396*t14947+t14399*t14936; t14924 = t14410*t14527; t14954 = t14522*t14411; t14031 = x*t14954; t15434 = x*t14924+t14031; t14360 = t14493*t14524; t14435 = RATIONAL(1.0,288.0); t14333 = t14435*t14527; t13959 = t14524*t14333; t15433 = t14360+t13959; t14474 = RATIONAL(1.0,48.0); t15432 = t14440+t14523*t14474; t14455 = RATIONAL(-1.0,36.0); t14389 = t14499*t14526; t14883 = t14528*t14526; t15431 = t14389+t14455*t14883; t14964 = t14410*t14522; t15015 = x*t14527; t15430 = x*t14964+t14411*t15015; t14421 = RATIONAL(-1.0,108.0); t14930 = t14525*t14421; t14688 = t14526*t14930; t14990 = z*t14420; t14782 = t14525*t14990; t15428 = t14782+t14688; t14412 = RATIONAL(1.0,864.0); t14876 = t14412*t14528; t14445 = RATIONAL(-1.0,864.0); t15427 = z*t14876+t14445*t14883; t13895 = t14396*t14936; t15426 = t13895+t14399*t14947; t13988 = t14526*t14876; t15425 = t14445*t15028+t13988; t14923 = t14522*t14441; t14902 = t14442*t14522; t15424 = t14524*t14923+x*t14902; t15423 = t14462*t14883+t14469*t14918; t14363 = t14446*t14528; t15422 = (t14363+t14454)*z; t14468 = RATIONAL(5.0,96.0); t14481 = RATIONAL(-1.0,24.0); t14963 = t14523*t14481; t15421 = t14963+t14468*t14899; t13986 = t14412*t14947; t15420 = t13986+t14445*t15015; t14854 = t14525*t14515; t14922 = t14525*t14500; t15419 = x*t14854+t14524*t14922; t15418 = (t14454+t14351)*t14521; t14477 = RATIONAL(-1.0,48.0); t14898 = t14477*t14527; t14122 = t14523*t14898; t14485 = RATIONAL(1.0,36.0); t14355 = t14485*t14527; t15417 = t14355+t14122; t14453 = RATIONAL(1.0,12.0); t15416 = t14499*t14528+t14453*t14937; t15415 = x*t14923+t14524*t14902; t13922 = t14435*t14883; t14350 = t14493*t14526; t15414 = t13922+t14350; t13919 = t14437*t14883; t15413 = t14446*t14526+t13919; t14394 = RATIONAL(-1.0,1152.0); t14406 = RATIONAL(1.0,1152.0); t14645 = t14406*t14937; t15412 = t14394*t14899+t14645; t14855 = t14466*t14521; t15411 = t14526*t14855+t14449*t14883; t14863 = t14445*t14524; t13904 = t14527*t14863; t15410 = t14412*t15015+t13904; t15409 = t14485*t14883+t14500*t14526; t15408 = t14442*t14918+t14441*t15025; t14342 = t14439*t14526; t14443 = RATIONAL(-1.0,576.0); t15013 = z*t14443; t14444 = RATIONAL(1.0,576.0); t15407 = t14444*t14883+t14528*t15013+t14342; t14919 = t14444*t14527; t13984 = t14443*t15015; t15406 = t13984+(t14439+t14919)*t14524; t13917 = t14444*t15028; t15405 = t14443*t14883+t13917+t14440*t14526; t14880 = t14406*t14527; t13857 = t14521*t14880; t14340 = t14437*t14528; t15404 = t14435*t14521+t13857+t14340; t13949 = t14443*t14947; t15403 = t13949+t14440*t14524+x*t14919; t15402 = t14345+t14435*t14522+t14406*t14848; t14868 = t14526*t14524; t15024 = z*t14396; t15401 = t14396*t14868+t14399*t15004+(t15024+t14882)*x; t14397 = RATIONAL(1.0,3456.0); t14398 = RATIONAL(-1.0,3456.0); t15026 = x*t14522; t14896 = t14397*t14524; t15400 = t14527*t14896+t14397*t15026+(t15015+t14936)*t14398; t14402 = RATIONAL(-1.0,6912.0); t14395 = RATIONAL(1.0,6912.0); t14973 = t14522*t14521; t14841 = t14395*t14527; t14910 = t14528*t14527; t15399 = t14395*t14848+t14521*t14841+(t14910+t14973)*t14402; t15398 = t14397*t15015+t14522*t14896+(t15026+t14947)*t14398; t14912 = t14398*t14521; t15005 = z*t14397; t15397 = t14398*t15028+t14397*t14883+t14521*t15005+t14526*t14912; t15396 = t14528*t15005+z*t14912+t14398*t14883+t14397*t14918; t15030 = x*z; t15395 = x*t14870+t14396*t15004+(t14868+t15030)*t14399; t14388 = t14500*t14527; t14070 = t14461*t14932; t15394 = t14388+t14070; t14934 = t14525*t14521; t15393 = t14435*t14934+t14442*t14989; t15392 = (t14500+t14355)*t14524; t15001 = z*t14457; t14192 = x*t15001; t14655 = t14440*t14868; t15391 = t14192+t14523*t14655; t14931 = t14523*t14524; t14797 = z*t14931; t15002 = x*t14421; t13976 = t14526*t15002; t15390 = t13976+t14485*t14797; t13952 = t14420*t14883; t14102 = t14521*t15001; t14667 = t14440*t14937; t14948 = t14528*t14421; t14008 = z*t14948; t14697 = t14485*t14899; t15260 = t14102+t14008+(t14697+t14667)*t14526; t14652 = t14439*t14937; t13048 = z*t14652; t14877 = t14523*t14455; t14809 = z*t14877; t15389 = t13048+t14521*t14809+t13952+t14459*t14918+t15260; t14038 = t14420*t14868; t15388 = x*t14809+t14038; t15021 = x*t14459; t14157 = z*t15021; t14747 = t14523*t14342; t15387 = t14524*t14747+t14157; t14967 = t14525*t14485; t14957 = t14525*t14499; t15386 = t14526*t14967+z*t14957; t14240 = t14453*t14932; t15385 = t14240+t14499*t14527; t15384 = t14461+t14898; t14904 = t14455*t14524; t14117 = t14527*t14904; t15383 = t14117+t14382; t14414 = RATIONAL(5.0,288.0); t14792 = t14414*t14989; t14858 = t14440*t14527; t13910 = t14528*t14858; t14465 = RATIONAL(5.0,72.0); t14925 = t14465*t14521; t14059 = t14522*t14925; t14900 = y*t14059+t14525*t13910; t14354 = t14455*t14522; t14748 = t14525*t14354; t15382 = t14900+t14527*t14792+t14521*t14748; t13931 = z*t14929; t14691 = t14526*t14877; t15381 = x*t14691+t13931; t13902 = t14399*t14901; t14409 = RATIONAL(1.0,216.0); t13975 = t14409*t14848; t15380 = y*t13902+t14525*t13975; t14041 = t14421*t14883; t13129 = z*t14667; t14057 = t14528*t14990; t14962 = t14459*t14521; t14232 = z*t14962; t15217 = t14057+t14521*t14691+t14526*t14652+t14232; t15379 = t14041+t14457*t14918+z*t14697+t15217+t13129; t14020 = t14420*t15012; t15378 = t14455*t14797+t14020; t14498 = RATIONAL(1.0,6.0); t14484 = RATIONAL(-5.0,24.0); t15377 = t14484*t14522+t14498; t14037 = t14412*t14868; t15019 = z*t14523; t14802 = t14446*t15019; t15376 = t14037+x*t14802; t14513 = RATIONAL(5.0,6.0); t14516 = RATIONAL(-2.0,3.0); t15375 = t14513*t14521+t14516; t14052 = z*t14863; t14966 = t14523*t14526; t14791 = x*t14966; t15374 = t14493*t14791+t14052; t14367 = t14493*t14527; t14243 = y*t14367; t14413 = RATIONAL(-5.0,144.0); t14842 = t14413*t14521; t13993 = t14522*t14842; t15373 = t14900+t14528*t14243+t14525*t13993; t14960 = t14477*t14523; t14668 = t14423*t14937; t15372 = t14668+t14426*t14899+t14960; t14996 = z*t14409; t13916 = t14524*t14996; t14759 = t14437*t14966; t15318 = t13916+x*t14759; t13990 = t14412*t15012; t15371 = t15318+t14446*t14797+t13990; t14998 = x*t14523; t14778 = t14437*t14998; t14940 = t14425*t14524; t13925 = z*t14940; t14941 = t14523*t14435; t14745 = t14526*t14941; t15306 = t13925+x*t14745; t15370 = t14409*t14868+z*t14778+t15306; t14105 = t14462*t14848; t13998 = t14420*t14901; t15289 = t14525*t14105+y*t13998; t14647 = t14425*t14934; t15369 = t14522*t14790+t15289+t14527*t14647; t14016 = t14411*t14910; t15368 = t14522*t14646+y*t14016+t15289; t14906 = t14525*t14459; t14789 = z*t14906; t14210 = t14462*t14868; t14718 = t14525*t14868; t14851 = t14457*t14525; t14769 = x*t14851; t15220 = t14420*t14718+z*t14769+y*t14210+t14997*t15032; t15367 = t14524*t14789+y*t14222+t14916*t15032+t15220; t15366 = t15374+t15376; t13908 = t14445*t15012; t14862 = t14523*t14493; t14757 = t14524*t14862; t13855 = t14396*t14910; t15309 = t14522*t14647+y*t13855; t14043 = x*t14996; t15302 = t14524*t14759+t14043; t14036 = t14522*t14911; t13933 = t14445*t14910; t15291 = t14525*t13933+y*t14036; t14601 = t15291+t15302+t15309+t15376; t15365 = t13908+z*t14757+t14601+t15306; t13974 = t14420*t14918; t14368 = t14455*t14528; t14804 = z*t14368; t14892 = t14462*t14521; t14225 = t14527*t14892; t14024 = t14420*t14848; t15311 = y*t14024+t14525*t14225; t13926 = t14409*t14910; t14170 = t14522*t14962; t15299 = y*t14170+t14525*t13926; t15252 = t15299+t15311; t14738 = t14500*t14899; t15364 = t15217+t15252+t13974+t14523*t14804+z*t14738; t14875 = t14457*t14524; t14681 = t14485*t14888; t14946 = t14421*t14527; t14053 = t14524*t14946; t13983 = t14420*t15015; t14704 = t14439*t14932; t14720 = t14522*t14877; t14145 = t14522*t15021; t15277 = t13983+t14145+(t14720+t14704)*t14524; t15363 = t14522*t14875+x*t14681+t14053+t15277; t14015 = x*t14946; t14943 = t14457*t14522; t14206 = x*t14943; t14709 = t14523*t14858; t15250 = t14015+t14206+(t14709+t14681)*t14524; t15362 = t15250+x*t14720+t15456; t14837 = z*t14899; t15361 = t14439*t14837+t13129+t15454; t14971 = t14525*t14526; t14822 = x*t14971; t14887 = t14525*t14411; t14708 = t14526*t14887; t14828 = z*t14930; t15243 = x*t14828+t14524*t14708+(t14037+t14043)*y; t15360 = t14410*t14822+t15243+(t13908+t13925)*y; t14093 = t14449*t14868; t15003 = z*t14469; t15235 = x*t14789+t15003*t15032+t14524*t14688+y*t14093; t14119 = z*t14878; t14727 = t14524*t14851; t15359 = z*t14727+t15235+y*t14119+t14949*t15032; t14730 = t14524*t14888; t13978 = t14409*t15026; t14807 = x*t14932; t15358 = t14493*t14730+t14435*t14807+t13978+t15420; t14781 = t14485*t14998; t13909 = t14421*t14868; t15213 = z*t14781+t13909+t15387; t15357 = t14440*t14791+z*t14875+t15213+t15378; t14056 = t14411*t14868; t14945 = t14525*t14524; t14743 = t14462*t14945; t15356 = z*t14743+(t14056+t14157)*y+t15464*x; t14866 = t14425*t14522; t13991 = x*t14866; t15355 = t14446*t14730+t13991+t14527*t14778+t15410; t13970 = t14410*t14868; t14806 = z*t14907; t15354 = t14525*t14806+(t14192+t13970)*y+t15459*x; t14092 = t14493*t14848; t14908 = t14449*t14521; t14230 = t14522*t14908; t14677 = t14446*t14899; t13930 = t14528*t14345; t15272 = t13926+t14522*t14677+t14523*t13930+t14230; t14773 = y*t14948; t15214 = t14527*t14773+t14525*t14230+t15299; t14605 = t15214+t15272; t15353 = t14105+t14425*t14901+t14523*t14092+t14435*t14723+t14605; t13905 = t14410*t14883; t14005 = t14421*t14918; t14353 = t14485*t14528; t14795 = z*t14353; t14827 = t14499*t15019; t15352 = t15252+t15260+t13905+t14521*t14827+t14523*t14795+t14005; t14814 = t14522*t15006; t14042 = t14411*t14947; t13979 = t14409*t14947; t14921 = t14525*t14527; t14780 = x*t14921; t13972 = t14522*t14929; t15225 = t14525*t13979+t14462*t14780+(t14145+t13972)*y; t15351 = t15225+t14522*t14743+t14525*t14814+(t13983+t14042)*y; t14044 = t14421*t15004; t13239 = t14525*t14044; t15000 = x*t14425; t14007 = z*t15000; t14011 = t14526*t14863; t14706 = t14410*t14945; t15273 = t14526*t14706+x*t14782+(t14011+t14007)*y; t15350 = t15273+t13239+x*t14708+(t13990+t13916)*y; t14707 = t14525*t14918; t15254 = t15441*t14525+(t14102+t14005)*y; t15349 = y*t13905+t14521*t14784+t14449*t14707+z*t14773+t15254; t14872 = t14523*t14444; t14680 = t14527*t14872; t14740 = t14523*t14910; t14871 = t14440*t14522; t14649 = t14523*t14871; t15227 = t14036+t13855+t14521*t14649+t14443*t14740; t13927 = t14411*t14848; t15348 = t13902+t15227+t14521*t14680+t13927+t14522*t14652; t14986 = z*t14998; t15347 = t14056+t14500*t14986+t15381+t15387+t15378; t13950 = t14524*t14924; t14009 = t14421*t14936; t14657 = t14525*t14940; t15248 = t14527*t14657+t14449*t14780+(t14206+t14009)*y; t14869 = t14522*t14466; t14831 = x*t14869; t14763 = t14525*t14936; t15346 = t15248+t14449*t14763+t14525*t14831+(t13950+t14015)*y; t15345 = x*t14747+t15388+t15391+z*t14914+t15390; t14755 = t14526*t14899; t14717 = t14443*t14966; t15251 = t14444*t14755+t14528*t14717+t15458; t15344 = t14440*t14837+t15251+t13048+t15462; t13937 = t14528*t14333; t14909 = t14528*t14425; t14673 = t14521*t14862; t15241 = t14527*t14909+t14523*t13937+(t14673+t14892)*t14522; t14608 = t15214+t15241; t15343 = t14523*t14097+t14409*t14901+t14437*t14723+t14608+t14449*t14848; t14654 = t14439*t14888; t15226 = t14528*t14680+t14527*t14873+(t14954+t14654)*t14521; t14682 = t14443*t14899; t15342 = t14527*t14682+t14410*t14848+t14396*t14901+t15226+t14528*t14649; t15231 = t14526*t14781+t14044+t15391; t15341 = t13970+x*t14827+t15231+t15390; t14035 = t14411*t14883; t14905 = t14528*t14525; t14751 = t14462*t14905; t14045 = t14409*t14883; t15265 = t14525*t14045+z*t14751+(t14232+t13974)*y; t15340 = t14462*t14707+z*t14646+t15265+(t14035+t14057)*y; t14249 = z*t14892; t14032 = t14409*t14918; t15287 = t14523*t13922+z*t14673+t14032; t15339 = t14437*t14755+t14249+t15287+t14528*t14802+t15441; t14776 = z*t14862; t14221 = t14462*t15028; t14191 = z*t14908; t13946 = t14521*t14857; t15284 = t14523*t13919+t13946+z*t14677; t15338 = t14528*t14776+t14045+t14221+t14191+t14521*t14745+t15284; t13934 = t14410*t14910; t14700 = t14499*t14888; t14689 = t14521*t14355; t15337 = t14528*t14681+t14523*t14689+t13934+t14527*t14667+(t14700+t14943) *t14521+t15429*t14421; t14959 = t14525*t14425; t14788 = z*t14959; t14683 = t14409*t14934; t15336 = t14445*t14707+t14525*t13988+t14528*t14788+z*t14683+(t15454+ t15463)*y; t15014 = x*t14462; t14151 = t14527*t15014; t14172 = t14524*t14869; t15335 = t14420*t14780+t14522*t14727+(t14145+t14053)*t14525+(t14814+ t14172+t14187+t14151)*y; t14803 = y*t14936; t14808 = y*t14947; t15334 = t14469*t14780+t14467*t14803+t14457*t14808+t15450*t14525+t15449*x ; t14838 = t14528*t14996; t14897 = t14525*t14445; t14735 = t14526*t14897; t15333 = z*t14647+t14525*t14838+t14528*t14735+t14412*t14707+(t15458+ t15462)*y; t14999 = x*t14449; t14229 = t14527*t14999; t15332 = t14522*t14769+t14421*t14780+t15456*t14525+(t14831+t14229+t15450) *y; t14812 = y*t14868; t15331 = t14458*t14983+t14459*t14812+t14524*t14712+t15457*t14525+t15448*z ; t14977 = x*t15010; t14799 = t14459*t15010; t15330 = t14524*t14799+t14458*t14977+t14466*t14780+t15461*t14525+t15448* t14522; t14884 = t14469*t14527; t14829 = x*t14888; t14669 = t14454*t14936; t14656 = t14527*t14862; t15329 = t14454*t14807+t14524*t14656+t14523*t14669+t14452*t15026+t14519* t14829+x*t14884+t15450; t14662 = t14527*t14877; t15328 = t14521*t14662+t14016+t14528*t14720+t13998+t14522*t14738+t14024+ t14170+t14527*t14652; t14505 = RATIONAL(-2.0,9.0); t14771 = t14505*t15019; t14933 = t14460*t14521; t14216 = z*t14933; t14486 = RATIONAL(1.0,18.0); t14658 = t14486*t14918; t14767 = t14486*t15019; t14725 = t14523*t14883; t15327 = t14446*t14725+t14521*t14771+t14216+t14523*t14658+t15411+(t14767+ t14997)*t14528; t14648 = t14505*t14888; t15326 = t14446*t14740+t14466*t14848+t14521*t14648+t14522*t14933+(t14891+ t14855)*t14527+t15452*t14486; t14073 = t14524*t14351; t15325 = x*t14648+t14523*t14073+t14466*t15015+t14172+(t14730+t14807)* t14486+t15461; t14356 = t14454*t14526; t14698 = t14523*t14356; t14956 = t14452*t14521; t14152 = z*t14956; t15324 = t14521*t14698+t14528*t15003+t14152+t14493*t14725+t15423+t15455*z ; t14752 = t14525*t14848; t14787 = t14467*t14989; t15323 = t14522*t14787+t14469*t14752+t15449*t14521+(t14751+t15453)*t14527 ; t15322 = t14457*t14812+t14462*t14718+t15460*t14525+t15465*t15030+t15451* t14467; t15016 = y*t14521; t14976 = z*t15016; t14813 = y*t14918; t14981 = z*t14989; t14794 = t14459*t14989; t15321 = t14466*t14707+t14526*t14794+t14408*t14976+t14525*t14216+(t14813+ t14981)*t14458+t15459*t14528; t15320 = t14462*t14910+t14469*t14848+t14521*t14884+t14454*t14723+t14528* t14656+(t14956+t15455)*t14522; t15319 = z*t14787+t14525*t14152+t14424*t14976+t14467*t14813+t15453*t14526 +t15464*t14528; t13997 = x*t14857; t14716 = t14435*t14931; t15317 = t13997+z*t14716; t14492 = RATIONAL(-5.0,72.0); t14801 = t14492*t14989; t13948 = t14439*t14921; t15316 = t14521*t13948+t14522*t14801; t14783 = t14454*t15010; t14518 = RATIONAL(5.0,9.0); t14968 = t14518*t14522; t14256 = t14521*t14968; t15315 = t14528*t14783+t14525*t14256; t14826 = y*t14910; t14431 = RATIONAL(-5.0,192.0); t14765 = t14522*t14934; t15314 = t14468*t14765+t14431*t14826; t13929 = t14439*t14905; t14768 = t14492*t15010; t15313 = t14521*t14768+t14522*t13929; t14475 = RATIONAL(5.0,48.0); t14510 = RATIONAL(-5.0,6.0); t15312 = t14510*t14765+t14475*t14826; t14860 = t14412*t14521; t13967 = t14527*t14860; t15310 = y*t13927+t14525*t13967; t14696 = t14525*t14355; t14993 = y*RATIONAL(-10.0,9.0); t14815 = t14521*t14993; t15307 = t14522*t14815+t14528*t14696; t14438 = RATIONAL(-5.0,288.0); t13992 = t14438*t14848; t15305 = t14525*t14689+y*t13992; t13955 = t14445*t14973; t15303 = y*t13934+t14525*t13955; t13911 = t14438*t14901; t15301 = y*t13911+t14485*t14752; t15300 = t14007+t14526*t14716; t13914 = t14412*t14848; t14033 = t14411*t14901; t15298 = y*t14033+t14525*t13914; t14404 = RATIONAL(5.0,1152.0); t13877 = t14404*t14901; t14674 = t14443*t14848; t15297 = t14525*t14674+y*t13877; t14405 = RATIONAL(-5.0,1152.0); t13872 = t14405*t14973; t14762 = t14527*t14905; t15296 = y*t13872+t14444*t14762; t13953 = t14409*t15012; t15295 = t14437*t14797+t13953; t14417 = RATIONAL(25.0,12.0); t14836 = y*t14973; t15294 = t14417*t14836+t14481*t14762; t13866 = t14404*t14848; t14758 = t14525*t14901; t15293 = y*t13866+t14443*t14758; t14401 = RATIONAL(-25.0,192.0); t14470 = RATIONAL(1.0,96.0); t14894 = t14528*t14470; t14670 = t14527*t14894; t15292 = t14401*t14836+t14525*t14670; t13899 = t14399*t14848; t15290 = t14527*t14683+y*t13899; t14281 = t14499*t14901; t14494 = RATIONAL(5.0,18.0); t14834 = y*t14848; t15288 = t14525*t14281+t14494*t14834; t13968 = t14524*t14866; t15286 = t13968+t14446*t14829+t14523*t14010; t14034 = t14409*t14936; t15285 = t14523*t13959+t14034+t14493*t14829; t15283 = t14526*t14657+(t13976+t14044)*y; t15282 = t14409*t14718+(t14020+t13931)*y; t15281 = x*t14654+t15426; t14785 = t14523*t15013; t15280 = t14528*t14785+t14444*t14837+t14526*t14911; t14679 = t14522*t14872; t15279 = t14410*t14936+x*t14679+t14523*t13984; t14991 = x*t14525; t14770 = t14435*t14991; t14687 = t14525*t14345; t15278 = t14527*t14770+t14524*t14687+t15424*y; t14650 = t14493*t14905; t14733 = t14446*t14905; t14490 = RATIONAL(-5.0,36.0); t14886 = t14490*t14521; t14480 = RATIONAL(5.0,36.0); t14082 = t14480*t14918; t15031 = y*z; t15275 = y*t14082+t14886*t15031+z*t14733+t14526*t14650; t14491 = RATIONAL(-5.0,18.0); t14489 = RATIONAL(10.0,9.0); t14988 = t14489*t15032; t14262 = t14525*t14388; t15274 = x*t14262+t14525*t14117+t14491*t14803+t14522*t14988; t13889 = t14394*t14910; t14428 = RATIONAL(5.0,384.0); t14692 = t14428*t14899; t14430 = RATIONAL(1.0,384.0); t14715 = t14430*t14937; t15271 = t13889+t13872+t14527*t14715+t14522*t14692; t14980 = t14480*t15031; t14644 = t14446*t14868; t14429 = RATIONAL(5.0,144.0); t14850 = t14525*t14454; t14238 = z*t14850; t15270 = t14525*t14644+t14429*t14812+(t14238+t14980)*x; t15269 = t15291+t15298; t14433 = RATIONAL(1.0,192.0); t14849 = t14523*t14433; t14737 = t14527*t14849; t15268 = t13910+t14528*t14737+t14521*t14665+t13993; t13973 = t14521*t14996; t14659 = t14528*t14887; t15267 = t14525*t14054+t14526*t14659+(t13946+t13973)*y; t14793 = z*t14340; t14672 = t14435*t14905; t15266 = t14525*t14793+t14526*t14672+t15408*y; t14741 = t14521*t14888; t15264 = t14431*t14741+t14429*t14973+t14439*t14910+t14527*t14668; t14482 = RATIONAL(-5.0,12.0); t14661 = t14482*t14899; t15263 = t14522*t14661+t14256+t15417*t14528; t14950 = t14525*t14486; t14246 = z*t14950; t14811 = t14413*t15008; t14978 = t14490*t15032; t15262 = t14493*t14718+z*t14978+x*t14246+t14526*t14811; t14874 = t14480*t14522; t14110 = t14524*t14874; t14927 = t14490*t14522; t14651 = t14493*t14921; t15261 = y*t14110+t14927*t15032+t14524*t14651+t14446*t14780; t14987 = x*t14993; t15259 = t14494*t14803+t14499*t14780+t14522*t14987+t14524*t14696; t15258 = x*t14776+t14011+t15300; t14137 = t14465*t15026; t14935 = t14525*t14440; t14744 = t14524*t14935; t14885 = t14438*t14522; t13945 = t14524*t14885; t15257 = x*t14696+t14527*t14744+(t14137+t13945)*y; t15256 = t14525*t14042+t14410*t14780+(t13978+t13968)*y; t14483 = RATIONAL(1.0,24.0); t14903 = t14483*t14527; t14471 = RATIONAL(-5.0,96.0); t14844 = t14475*t14522; t15255 = t14471*t14758+y*t14844+t14426*t14834+t14525*t14903; t13999 = t14425*t15025; t15253 = t14525*t13905+z*t14659+(t14032+t13999)*y; t14512 = RATIONAL(-5.0,9.0); t14939 = t14512*t14521; t14861 = t14474*t14527; t14174 = t14523*t14861; t14479 = RATIONAL(5.0,12.0); t14695 = t14479*t14899; t15249 = t14528*t14174+t14455*t14910+(t14939+t14695)*t14522; t14000 = t14412*t15004; t15247 = t14000+t14446*t14791+t15295; t15246 = z*t14672+t14525*t13919+t15445*y; t15245 = x*t14687+t14525*t13959+t15415*y; t14893 = t14490*t14524; t14211 = t14522*t14893; t15244 = y*t14211+x*t14651+t14874*t15032+t14525*t14073; t15242 = t14523*t13949+t14524*t14679+t15430; t14427 = RATIONAL(-1.0,384.0); t14702 = t14427*t14932; t14434 = RATIONAL(-5.0,384.0); t15240 = t14404*t14973+t14434*t14741+(t14702+t14880)*t14528; t15239 = t15290+t15309; t14244 = t14526*t14886; t15238 = y*t14244+t14526*t14733+z*t14650+t14480*t14976; t14711 = t14522*t14845; t15237 = t14528*t14768+t14521*t14711+t15288; t15236 = t15290+t15298; t15234 = t14411*t14780+t14527*t14706+(t14034+t13991)*y; t14879 = t14526*t14414; t13913 = t14521*t14879; t14113 = t14455*t14905; t14942 = t14492*t14521; t14133 = z*t14942; t15233 = t14526*t13929+z*t14113+(t14133+t13913)*y; t15232 = t14526*t14682+t14444*t14725+t15463; t14488 = RATIONAL(5.0,24.0); t14496 = RATIONAL(-1.0,6.0); t14852 = t14496*t14528; t14840 = y*t14901; t14506 = RATIONAL(-5.0,3.0); t15011 = y*t14506; t15230 = t14525*t14852+t14482*t14840+t14521*t15011+t14488*t14752; t14719 = t14437*t14888; t15229 = t14527*t14677+t14449*t14901+t14528*t14719+t13975; t14047 = t14425*t14848; t14830 = t14457*t15010; t15228 = t14525*t14047+t14521*t14830+t15311; t15224 = t14225+t14521*t14656+t14047+t14435*t14749; t14663 = t14429*t14934; t14185 = t14455*t14921; t15222 = t14527*t14663+t14185+t15440*y; t14856 = t14522*t14414; t13996 = t14524*t14856; t14223 = t14492*t15026; t15221 = x*t14185+t14524*t13948+(t13996+t14223)*y; t13918 = t14429*t14848; t15219 = t14113+t14525*t13918+t15418*y; t15218 = t15302+t15317; t14722 = t14443*t14931; t15216 = t14522*t14722+t14524*t14680+t15434; t14881 = t14438*t14526; t14048 = t14521*t14881; t14212 = z*t14925; t14684 = t14526*t14935; t15215 = t14525*t14795+t14528*t14684+(t14212+t14048)*y; t15212 = t14525*t13963+t14411*t14707+(t13923+t14838)*y; t15211 = t15303+t15310; t15210 = t15428*t14521+t15427*y; t13957 = t14527*t14940; t15209 = t14524*t14719+t14523*t14147+t14522*t15014+t13957+t14229; t15208 = t15293+t15296+t14405*t14826+t14444*t14765+t15297; t15207 = t15301+t15316+t15382; t14796 = x*t14959; t14779 = t14409*t14991; t15206 = t15002*t15031+y*t13909+t14526*t14796+(t14779+t14657)*z; t14140 = t14522*t14999; t14671 = t14435*t14936; t15205 = t13979+t14140+x*t14656+t14523*t14671+t14151; t15204 = x*t14788+y*t14038+t14990*t15032+t14526*t14779+t14525*t13916; t15203 = t15313+t15305+t15382; t14731 = t14471*t14899; t14364 = t14493*t14528; t15202 = t14470*t14725+t14526*t14731+t14483*t14966+t14133+(t14486+t14364) *z; t14160 = t14470*t14932; t15201 = t14471*t14730+t14524*t14160+t14483*t14931+t14223+(t14486+t14367) *x; t15200 = t15258+t15309; t14473 = RATIONAL(-1.0,96.0); t14118 = t14473*t14932; t15199 = t14481*t14931+t14468*t14730+t14524*t14118+t14137+t15438; t15198 = t14212+t14473*t14725+t15421*t14526+t15422; t15197 = t15216+t15279; t15196 = t15232+t15280; t15195 = z*t14706+t15243+(t14052+t13997)*y; t15194 = x*t14649+t15242+t15435; t15193 = t14887*t15004+t15273+(t14000+t13953)*y; t14224 = t14522*t14967; t14995 = y*t14486; t14199 = t14527*t14995; t15192 = t15222+t14224+t14199+t15313+t15373; t14171 = t14486*t14989; t14068 = t14485*t14934; t15191 = t14171+t15219+t14068+t15316+t15373; t13938 = t14411*t14936; t15190 = t13938+x*t14680+t14443*t14829+t15242; t15188 = t15216+t15281; t15186 = t14526*t14769+t14462*t14984+t15214+t15235+y*t14090+t15228; t14764 = t14524*t14872; t15185 = x*t14785+t14524*t14717+z*t14764+t14444*t14791+t15401; t14675 = t14521*t14851; t15184 = t14469*t14976+t14525*t14232+t14526*t14675+t15428*t14528+(t14221+ t15411)*y; t14195 = t14526*t14950; t14186 = t14493*t14945; t15183 = t15270+t14526*t14978+x*t14195+(t14811+t14186)*z; t14165 = t14524*t14928; t14226 = t14526*t14850; t15182 = x*t14226+z*t14165+t14480*t14983+t14429*t14984+t15262; t14994 = y*t14505; t14261 = t14527*t14994; t14074 = t14527*t14886; t14508 = RATIONAL(8.0,9.0); t15023 = y*t14508; t14259 = t14522*t14854; t15181 = t14261+t14525*t14074+t14522*t15023+t14519*t14834+t14262+t14259+ t15315; t14678 = t14522*t14950; t14969 = t14525*t14522; t14833 = x*t14969; t15180 = t14454*t14833+t14524*t14678+t14413*t14977+t14429*t14808+t15244; t15179 = t14872*t15030+x*t14717+t14526*t14764+z*t14722+t15395; t14742 = t14439*t14945; t15178 = t15257+t14522*t14742+t14414*t14808+(t14748+t14768)*x; t14772 = t14409*t15015; t14750 = t14412*t14945; t15177 = (t14796+t14750)*t14522+(t13904+t14772)*t14525+(t15430+t15435)*y; t15176 = t14521*t14828+t14420*t14707+t15267+t15425*y; t14101 = t14524*t14850; t14134 = t14526*t14928; t15175 = t14429*t14983+z*t14101+t14524*t14980+x*t14134+t15262; t15174 = t15247+t15258; t15173 = t14525*t14140+x*t14830+y*t14053+t14522*t14657+t15225; t14336 = t14439*z; t14982 = t14414*t15031; t14805 = y*t14879; t15172 = t14524*t14982+z*t14744+t14439*t14718+t14991*t14336+(y*t15030+ t14812)*t14438+(t14805+t14684)*x; t14326 = t14522*t14922; t14786 = t14465*t15008; t15171 = t14527*t14786+t14491*t14977+t14524*t14326+x*t14259+t15274; t14756 = t14525*t14863; t14775 = t14527*t15000; t15170 = (t14779+t14756)*t14522+(t13986+t14775)*t14525+(t15426+t15434)*y; t13343 = x*t14704; t15169 = t13343+t15194; t14760 = t14437*t14969; t14766 = t14442*t15010; t15168 = x*t14760+t14441*t14977+t14524*t14766+t14525*t14671+t15278; t13262 = x*t14688; t15167 = t13262+t15193; t14690 = t14525*t14964; t15166 = t15256+t14524*t14690+t14525*t14031+(t13979+t14775)*y; t14754 = t14523*t14880; t14685 = t14394*t14931; t15165 = t14527*t14685+t14394*t14829+x*t14754+t14406*t14730+t15400; t15164 = t14243+t14326+t15222+t15301; t15163 = t14528*t14679+t13899+t14033+t14521*t14704+t15227; t14798 = t14412*t14991; t15162 = t14445*t14718+t14526*t14798+t14897*t15030+z*t14750+t15401*y; t15161 = t14439*t14797+t14459*t15012+t15231+t15388; t14003 = t14521*t14858; t15160 = t15226+t14410*t14901+t14396*t14848+(t14003+t14674)*t14523; t14821 = z*t14941; t15159 = t14524*t14857+x*t14821+t15295+t15300+t15318; t15158 = t14440*t14797+t14457*t15012+t15213+t15381; t15157 = t14526*t14673+t13973+t14528*t14821+t15284+t15425; t14703 = t14394*t14937; t15156 = t14406*t14837+z*t14703+t15412*t14526+t15396; t14264 = t14525*t14389; t15155 = x*t14264+t14485*t14718+t14492*t14812+t15451*t14494+(t14987+ t15442)*z; t14666 = t14399*t14921; t15154 = t14524*t14666+t14396*t14780+t14525*t13895+t14399*t14833+t15400*y ; t15153 = t15218+t15370; t15152 = t15218+t15253; t14729 = t14522*t14957; t14824 = t14494*t15010; t15151 = t15259+(t14729+t14768)*t14524+(t14711+t14824)*x; t15150 = t14525*t13938+x*t14690+t15234+(t13957+t14772)*y; t13865 = t14394*t14901; t13846 = t14394*t14848; t14736 = t14406*t14888; t15149 = t14527*t14645+t13914+t13933+t14521*t14736+t13955+t13967+(t13846+ t13865)*t14523; t14126 = y*t14364; t15148 = t14126+t14521*t14922+t15219+t15305; t14267 = t14526*t14922; t15020 = y*t14526; t14774 = t14491*t15020; t14979 = t14491*t15031; t15147 = t14455*t14718+t14524*t14979+t14526*t14786+(t14774+t14267)*x+( t14988+t15419)*z; t15146 = t14412*t14718+x*t14735+(t14756+t14798)*z+t15395*y; t15145 = x*t14736+t14522*t14685+t14524*t14754+t14394*t14807+t15398; t15144 = (t14752+t14758)*t14398+(t14762+t14765)*t14397+t15399*y; t15143 = x*t14666+t14396*t14833+t15435*t14525+t15398*y; t15142 = t13950+t15190; t15141 = t14438*t14808+t14522*t14744+x*t14224+t14465*t14977+t15221; t14818 = t14413*t15020; t14084 = t14525*t14350; t14065 = t14486*t14945; t15140 = z*t14065+t14893*t15031+t15270+(t14084+t14818)*x; t15139 = t14525*t14029+t14410*t14707+t14909*t15031+y*t14045+t15267; t14407 = RATIONAL(1.0,2304.0); t14403 = RATIONAL(-1.0,2304.0); t14714 = t14407*t14888; t15138 = t14407*t14723+t14395*t14973+(t14741+t14740)*t14403+(t14841+ t14714)*t14528+t15429*t14402; t15137 = t14413*t14808+x*t14678+t14525*t14669+t14429*t14977+t15261; t15136 = t14407*t14740+t14521*t14714+t15452*t14403+t15399; t14701 = t14526*t14906; t15135 = t14521*t14701+t14855*t15031+z*t14675+(t13952+t14008)*t14525+( t14136+t15423)*y; t15134 = t14523*t13857+(t14876+t14703)*t14527+t15429*t14445+(t14860+ t15412)*t14522; t15133 = t15206+t15282; t15132 = t14438*t14984+t14881*t15032+t14935*t15030+t14525*t14655+z*t14742 +x*t14982+t14439*t14822+t14524*t14805; t15131 = t14406*t14755+t14526*t14703+t15412*z+t15397; t15130 = t14526*t14677+t13999+t14523*t14793+t15287+t15427; t15129 = t14462*t14833+t14525*t14034+y*t13920+x*t14799+t15248; t15128 = t14524*t14760+t14522*t14770+x*t14766+t14441*t14808+t15245; t15127 = t14411*t14918+t13905+t14523*t13917+z*t14682+t15251; t14636 = y*t13889+t14442*t14765+t15296; t15126 = t14440*t14934+t13929+t15293+t14636+t14441*t14752+t15404*y; t15125 = t14441*t14758+t14525*t14871+t13948+t14636+t15297+t15402*y; t14132 = t14490*t14848; t14777 = t14519*t15010; t14270 = t14505*t14989; t14287 = t14521*t14854; t14271 = t14500*t14905; t15124 = t15288+t15307+t14525*t14132+t14270+t14287+t14508*t15016+t14521* t14777+t14271+t15315; t14710 = t14522*t14930; t15123 = x*t14710+t14525*t13972+t15256+t15380+t15420*y; t15122 = x*t14700+t14009+t14527*t14781+t15250+t15368; t15121 = t14500*t14829+x*t14662+t13972+t15277+t15368; t14664 = t14525*t14856; t14705 = t14525*t14885; t15120 = t15245+t14524*t14705+t14186+t15403*y+(t14664+t15446)*x; t15119 = t14477*t14931+t14431*t14829+t15444*t14524+(t14737+t15432)*x+ t15406+t15424; t15022 = y*t14500; t15118 = t14525*t14212+t14195+t14492*t14707+t14238+t15275+z*t15022+( t14795+t15431)*y; t14066 = t14523*t14894; t14972 = t14483*t14523; t15117 = t14492*t14918+t14486*t14526+t14493*t14883+t15198+(t14972+t14731+ t14066)*z; t14839 = z*t14934; t15116 = t15266+t14414*t14839+t14084+t14438*t14707+t15446*z+t15405*y; t14182 = t14481*t14932; t14938 = t14523*t14496; t15115 = t13996+t14488*t14829+t15201+(t14938+t14182)*x+t15443; t15114 = t14470*t14888+t14333+t14405*t14901+t14118+t13846+t14527*t14692+ t15240+(t14437+t14715)*t14522; t15113 = t13877+t14434*t14723+t14473*t14888+t14427*t14749+t14160+t15271+ t15402; t14846 = t14525*t14480; t14724 = t14522*t14846; t15112 = t14413*t14763+t14485*t14945+t15221+t15443*y+(t14995+t14957+ t14243+t14724)*x; t14131 = t14481*t14937; t15111 = t13913+t15202+t14488*t14837+(t14131+t14938)*z+t15413; t15110 = t15246+t14438*t14839+t14414*t14707+t14134+t15436*z+t15407*y; t14189 = t14455*t14971; t15109 = t14490*t14839+t14526*t14663+z*t14922+t14189+t15215+(t15414+ t15422)*y; t15108 = t14475*t14749+t14132+t15263+t14281+(t14240+t15447)*t14521+t15439 ; t15107 = t14518*t14833+t14525*t14211+t15259+(t14994+t14783)*t14524+( t14777+t15023)*x+t15419; t14325 = t14518*t15025; t15106 = t14475*t14755+t14461*t14966+t14477*t14725+t14244+t14325+(t14661+ t15416+t15447)*z+t15409; t15105 = z*t14794+t14526*t14683+y*t13952+t14525*t14249+t15254+t15369; t15104 = t14524*t14664+t15278+t14165+t15406*y+(t14705+t15436)*x; t14859 = t14474*t14528; t15103 = t14439*t14901+t14423*t14723+t14485*t14521+t14368+t13918+t14431* t14749+t14477*t14899+t14523*t14859+t15268; t14067 = t14465*t14936; t15102 = t14067+t14073+t14468*t14829+t14454*t14524+t15201+(t14118+t14963) *x; t15029 = y*RATIONAL(-8.0,9.0); t15101 = t14512*t14833+t14519*t15008+t15274+(t14724+t14199)*t14524+( t15029+t14261)*x+t15442; t14478 = RATIONAL(-5.0,48.0); t15100 = t14480*t14848+t14509*t14899+t14500*t14901+t14478*t14749+t15249+( t14070+t14520)*t14521+t15416; t15099 = t15234+t14420*t14833+t15380+t14524*t14710+t15310+t15410*y; t15098 = x*t14701+t13239+t15220+t15228+(t14204+t14806)*y; t15097 = t14433*t14723+t14003+t14413*t14848+t14353+t14528*t14665+t14455* t14521+t14474*t14899+t14477*t14937+t15264; t14176 = t14492*t14936; t15096 = t14176+t14486*t14524+t14471*t14829+t14527*t14360+t15199+(t14160+ t14972)*x; t14761 = t14525*t14927; t15095 = t15257+t14525*t14904+t14429*t14763+(t14922+t14761)*x+(t15433+ t15438)*y; t14952 = t14523*t14498; t14236 = t14523*t14903; t14739 = t14484*t14888; t15094 = t15199+t13945+(t14952+t14236+t14739)*x+t15433; t14676 = t14478*t14899; t15093 = t14480*t14901+t14500*t14848+t15249+t14509*t14888+t14527*t14676+ t15385+(t14096+t14520)*t14522; t14992 = y*t14499; t15092 = t14246+z*t14992+t14465*t14707+t14525*t14133+t14226+t15238+( t14804+t15409)*y; t14106 = t14473*t14937; t15091 = t14356+t14446*t14883+t14465*t14918+t15202+(t14106+t15421)*z; t14304 = z*t14939; t15090 = t14304+t14453*t14966+t14526*t14676+t14474*t14725+t14082+(t14695+ t15437+t15439)*z+t15431; t15089 = t14524*t14737+t14474*t14931+t14431*t14730+(t14960+t14439+t15444) *x+t15403+t15415; t15088 = t14453*t14749+t14475*t14723+t15263+t15394+t14499*t14848+t14074+ t15447*t14522; t14694 = t14521*t14846; t15087 = t14413*t14707+t15386+t15233+t15413*y+(t14126+t14995+t14694)*z; t14890 = t14483*t14528; t14114 = t14523*t14890; t15086 = t14484*t14837+t14048+t15198+(t14114+t14952)*z+t15414; t15085 = t14525*t14191+t14526*t14647+z*t14790+y*t14041+t15265+t15369; t15084 = t15285+t15209+t15379; t15083 = t15286+t15350+t15358; t15082 = t15286+t15205+t15389; t13101 = t14524*t14782; t14643 = t13101+t15286; t15081 = t14643+t15358+t15360; t14631 = t13101+t15285; t15080 = t14631+t15355+t15360; t15079 = t15285+t15350+t15355; t13276 = x*t14709; t14847 = t13276+t13262; t15078 = t14847+t15363+t15367; t15077 = t13343+t13262+t15362+t15367; t13309 = t14525*t14020; t14944 = t13276+t13309; t15076 = t14944+t15359+t15363; t14953 = t13343+t13309; t15075 = t14953+t15359+t15362; t15074 = t15165+t15185; t15073 = t15341+t15349; t15072 = t15333+t15342; t15071 = t15336+t15348; t15070 = t15158+t15224+t15272; t15069 = t15173+t15184; t15068 = t15347+t15349; t15067 = t15335+t15357; t15066 = t15332+t15345; t15065 = t15154+t15162; t15064 = t15319+t15334; t15063 = t15336+t15342; t15062 = t14093+t14523*t14644+t14119+t14524*t14767+x*t14771+t14486*t14791 +t15323+t15457; t15061 = t15319+t15330; t15060 = t15337+t15351; t15059 = t15143+t15162; t15058 = t15138+t15156; t15057 = t15161+t15229+t15241; t15056 = t15129+t15135; t15055 = t15327+t15329; t15054 = t15135+t15173; t15053 = t15340+t15347; t15052 = t15324+t15329; t15051 = t15328+t15351; t15050 = t15146+t15154; t15049 = t14210+t14519*t14986+t14526*t14757+x*t14698+t14452*t15030+t15323 +t14454*t14797+t15460; t15048 = t15131+t15136; t15047 = t15332+t15357; t15046 = t15337+t15346; t15045 = t15324+t15325; t15044 = t15333+t15348; t15043 = t15328+t15346; t15042 = t15129+t15184; t15041 = t15321+t15334; t15040 = t15325+t15327; t14819 = t14525*t15024; t15039 = t15144+t14396*t14707+t14525*t13853+t14399*t14839+t14528*t14819+ t15397*y; t15038 = t15144+t14399*t14707+t14521*t14819+(z*t14873+t13886)*t14525+ t15396*y; t15037 = t15143+t15146; t15036 = t15145+t15179; t15035 = t15335+t15345; t15034 = t15321+t15330; t15033 = t15340+t15341; t14975 = t14478*t14528; t14970 = t14478*t14527; t14958 = t14479*t14527; t14955 = t14477*t14528; t14373 = t14455*t14527; t14926 = t14525*t14481; t14920 = t14479*t14528; t14889 = t14484*t14521; t14865 = t14496*t14527; t14864 = t14475*t14521; t14843 = t14513*t14522; t14835 = y*t14883; t14283 = z*t14845; t14825 = t14465*t14989; t14820 = t14441*t14989; t14810 = t14429*t14989; t14746 = t14431*t14899; t14699 = t14471*t14848; t14653 = t14426*t14901; t14642 = t14521*t14761+y*t13937+t14900; t14641 = t14035+t15283; t14635 = t13950+t15282; t14629 = t14042+t15283; t14628 = t14521*t14824+t14528*t14729+t15307; t14627 = t14453+t14859+t14478*t14521; t14626 = t14461+t14955+t14864; t14625 = t14481*t14527+t14496+t14488*t14522; t14456 = RATIONAL(-5.0,32.0); t14416 = RATIONAL(25.0,32.0); t14501 = RATIONAL(-5.0,8.0); t14624 = t14501+t14416*t14522+t14456*t14527; t14623 = t14844+t15384; t14447 = RATIONAL(1.0,16.0); t14448 = RATIONAL(-5.0,16.0); t14503 = RATIONAL(1.0,4.0); t14622 = t14448*t14522+t14447*t14527+t14503; t14621 = t14861+t14453+t14478*t14522; t14436 = RATIONAL(25.0,96.0); t14620 = t14484+t14436*t14521+t14471*t14528; t14517 = RATIONAL(2.0,3.0); t14619 = t14510*t14522+t14517+t14498*t14527; t14422 = RATIONAL(-25.0,96.0); t14618 = t14468*t14528+t14422*t14521+t14488; t14617 = t14903+t15377; t14616 = t14865+t14843+t14516; t14614 = t14482*t14834+t14525*t14865+t14522*t15011+t14488*t14758+t15294; t14613 = t15292+(t14890+t14699)*t14525+(t14864+t14653)*y; t14610 = t14521*t14739+t13937+t14528*t14118+t14059+t14642; t14609 = t15216+t15269; t14607 = t15200+t15291; t14606 = t14521*t14774+z*t14271+t14489*t14976+t14528*t14189+t14628; t14604 = z*t14815+t14494*t14813+t14628+t15386*t14528; t14603 = t15232+t15291+t15310; t14599 = t14488*t14741+t13930+t14522*t14942+t14523*t14670+t14642; t14598 = t15253+t15269; t14400 = RATIONAL(25.0,192.0); t14597 = y*t14975+t14400*t14834+t14473*t14758+t14521*t14926+t14613+t15314 ; t14596 = t14473*t14752+t14522*t14926+t14400*t14840+y*t14970+t15255+t15292 +t15314; t14418 = RATIONAL(-25.0,48.0); t14595 = y*t14920+t14498*t14758+t14418*t14834+t14517*t14934+t15230+t15294 +t15312; t14594 = t14517*t14969+t14498*t14752+t14418*t14840+y*t14958+t14614+t15312 ; t14593 = t14623*t14525+(t14422*t14522+t14468*t14527+t14488)*y; t14592 = t14621*t14525+(t14471*t14527+t14484+t14436*t14522)*y; t14591 = t14525*t14658+t14526*t14810+t14413*t14981+t14521*t14238+t15203+ t15238; t14590 = t14454*t14707+t14521*t14246+t14528*t14818+z*t14810+t15203+t15275 ; t14589 = t14526*t14792+t14455*t14839+t14439*t14707+z*t14801+t15207+t15215 ; t14588 = t15208+t14437*t14839+z*t14820+t15246+t15393*t14526; t14587 = t14521*t14283+t14604+t14494*t14981+t14499*t14707+t14526*t14801+ t15237; t14586 = t14438*t14835+t15233+t14521*t14684+t15207+(t14825+t14068)*z; t14585 = t14526*t14820+t15266+t14437*t14707+t15208+t15393*z; t14584 = t14500*t14707+t14526*t14825+z*t14287+t14528*t14979+t14606+t15237 ; t14432 = RATIONAL(-25.0,24.0); t14583 = RATIONAL(4.0,3.0)*y+t14614+t14432*t14765+t14453*t14826+t15230+( t15010+t14989)*t14507+(t14843+t15375)*t14525; t14582 = t14613+t14423*t14826+t14436*t14765+t15255+(t14889+t15377)*t14525 +(t14955+t15384)*y; t14581 = t13865+t14405*t14848+t14437*t14521+t14106+t14435*t14528+t15126+ t14430*t14723+t14470*t14899+t14428*t14749+t15240; t14580 = t15124+t14211+t14524*t14122+t14475*t14730+t14461*t14931+t14482* t14829+(t14968+t15385+t15447)*x+t15392; t14579 = t14468*t14723+t13911+t15164+t14610+t14182+t14367+t14522*t14114+ t14498*t14888+t15440; t14578 = t14336+t14433*t14725+t14526*t14746+t14474*t14966+t15125+t15372*z +t15405+t15408; t14577 = t14477*t14888+t14429*t14901+t14174+t14439*t14848+t14373+t15268+ t14431*t14723+t15192+(t14668+t14485)*t14522; t14576 = t14599+t15148+t14114+t14363+t14493*t14901+t14496*t14899+t14523* t14699+t14414*t14848+(t14486+t14182)*t14521; t14575 = t15181+t14264+t14283+t14525*t14304+t14606+t14519*t15020+(t14694+ t14171)*t14526+(t14270+t15029)*z; t14574 = t14492*t14833+t15244+t15191+t14101+t14373*t15032+t14525*t14067+ t15392*y+(t14992+t14950)*x; t14573 = t14066+t14434*t14749+t13866+t15126+t14521*t14702+t14473*t14899+ t15271+t15404; t14572 = t14355*t15032+t15191+t14065+t15261+(t14137+t14176)*t14525+t15383 *y+(t14850+t15022)*x; t14571 = t15148+t13992+t14131+t14610+t14521*t14236+t14364+t14468*t14749+ t14498*t14899+t15418; t14570 = t14849*t15028+t15125+t15372*t14526+(t14746+t15432)*z+t15407+ t15445; t14569 = t14354+t14527*t14842+t14433*t14749+t14523*t14653+t14474*t14888+ t15192+t14440*t14848+t15264+t15417; t14568 = t14599+t14414*t14901+t14351+t14092+t14236+t14496*t14888+t15164+ t14471*t14723+(t14486+t14131)*t14522; t14567 = t15124+t14524*t14174+t14512*t15026+t14479*t14829+t14110+t14478* t14730+t14453*t14931+(t15394+t15437)*x+t15383; t14566 = t15181+t14267+t14519*t14981+t14604+t14526*t14994+t14525*t14325+ t14490*t14707+t14454*t14835+(t14854+t15023)*z; t14565 = t14603+t15123+t15200+t15361+t15371; t14564 = t15105+t15339+t15353; t14563 = t15133+t14598+t15166+t15211+t15212; t14562 = t14042+t15121+t14035+t15282+t15356+t15364; t14561 = t14643+t15186+t15205+t15379; t14560 = t13950+t14641+t15122+t15354+t15364; t14559 = t15049+t15320+t15322; t14558 = t15098+t14608+t15158+t15229; t14557 = t15062+t15322+t15326; t14556 = t14598+t15167+t15177+t15210+t15239; t14555 = t15145+t15039+t15185; t14554 = t14607+t15099+t15344+t15371; t14553 = t15099+t15232+t15361+t15365; t14552 = t15122+t14635+t15352+t15356; t14551 = t15176+t15169+t14601+t15236+t15317+t15374; t14550 = t15136+t15038+t15156; t14549 = t15326+t15049+t15331; t14548 = t14603+t15149+t15139+t14035+t15280+t15298+t15303; t14547 = t15062+t15320+t15331; t14546 = t15121+t14629+t15352+t15354; t14545 = t15105+t15338+t15343; t14544 = t14607+t15157+t15170+t15236+t15247; t14543 = t15098+t14605+t15161+t15224; t14542 = t15131+t15038+t15138; t14541 = t15123+t15310+t15344+t15365; t14540 = t15130+t14944+t15195+t14609+t15239+t15281; t14539 = t15085+t15339+t15343; t14538 = t15186+t14631+t15209+t15389; t14537 = t15085+t15338+t15353; t14536 = t15127+t15142+t15204+t15211+t15269+t15283; t14535 = t14042+t15134+t14609+t15150+t15211+t15279; t14534 = t15165+t15039+t15179; t14514 = RATIONAL(-1.0,8.0); t14504 = RATIONAL(1.0,8.0); t14502 = RATIONAL(5.0,3.0); t14497 = RATIONAL(5.0,8.0); t14495 = RATIONAL(-5.0,4.0); t14476 = RATIONAL(-1.0,16.0); t14472 = RATIONAL(5.0,64.0); t14464 = RATIONAL(5.0,32.0); t14463 = RATIONAL(5.0,16.0); t14451 = RATIONAL(-5.0,64.0); t14450 = RATIONAL(25.0,8.0); t14419 = RATIONAL(25.0,48.0); t14415 = RATIONAL(-25.0,12.0); coeffs_dy->coeff_m2_m2_m2 = t14555+t15058+t15050; coeffs_dy->coeff_m1_m2_m2 = t14544+t15195+t15160+t15194+t14953+t15210+ t15253; coeffs_dy->coeff_0_m2_m2 = t15114+t15110+t14578; coeffs_dy->coeff_p1_m2_m2 = t13276+t15188+t15160+t14556+t15157+t15218+ t15366; coeffs_dy->coeff_p2_m2_m2 = t15058+t15059+t14534; coeffs_dy->coeff_m2_m1_m2 = t14536+t15159+t15149+t15150+t15212+t15253; coeffs_dy->coeff_m1_m1_m2 = t14543+t15084+t15042; coeffs_dy->coeff_0_m1_m2 = t15117+t14577+t15118; coeffs_dy->coeff_p1_m1_m2 = t14561+t15069+t15070; coeffs_dy->coeff_p2_m1_m2 = t14042+t15127+t15149+t14563+t15153+t15197; coeffs_dy->coeff_m2_0_m2 = t14588+t15168+t15172; coeffs_dy->coeff_m1_0_m2 = t14590+t15141+t15183; coeffs_dy->coeff_0_0_m2 = (t14626*t14526+t14627*z)*t14525+(t14618*t14526+ t14620*z)*y+t14596; coeffs_dy->coeff_p1_0_m2 = t14590+t15178+t15182; coeffs_dy->coeff_p2_0_m2 = t15128+t14588+t15132; coeffs_dy->coeff_m2_p1_m2 = t15196+t15152+t14641+t14535+t15204+t15212+ t15370; coeffs_dy->coeff_m1_p1_m2 = t14558+t15042+t15082; coeffs_dy->coeff_0_p1_m2 = t15091+t15118+t14569; coeffs_dy->coeff_p1_p1_m2 = t14538+t15069+t15057; coeffs_dy->coeff_p2_p1_m2 = t15134+t15159+t14563+t14035+t15142+t15196; coeffs_dy->coeff_m2_p2_m2 = t15048+t14534+t15050; coeffs_dy->coeff_m1_p2_m2 = t15152+t15163+t14540+t15170+t15210+t15366; coeffs_dy->coeff_0_p2_m2 = t15113+t14570+t15110; coeffs_dy->coeff_p1_p2_m2 = t15130+t15169+t14556+t15163+t15174; coeffs_dy->coeff_p2_p2_m2 = t14555+t15048+t15059; coeffs_dy->coeff_m2_m2_m1 = t14554+t15063+t15081; coeffs_dy->coeff_m1_m2_m1 = t14562+t15073+t15046; coeffs_dy->coeff_0_m2_m1 = t14568+t15087+t15086; coeffs_dy->coeff_p1_m2_m1 = t15060+t14560+t15068; coeffs_dy->coeff_p2_m2_m1 = t15079+t14541+t15063; coeffs_dy->coeff_m2_m1_m1 = t14564+t15035+t15078; coeffs_dy->coeff_m1_m1_m1 = t14559+t15040+t15034; coeffs_dy->coeff_0_m1_m1 = t14575+t15088+t15090; coeffs_dy->coeff_p1_m1_m1 = t14547+t15055+t15041; coeffs_dy->coeff_p2_m1_m1 = t15047+t15075+t14564; coeffs_dy->coeff_m2_0_m1 = t15137+t14586+t15140; coeffs_dy->coeff_m1_0_m1 = t14584+t15155+t15171; coeffs_dy->coeff_0_0_m1 = t14594+((t14419*t14521+t14975+t14482)*t14526+( t14920+t14415*t14521+t14502)*z)*y+((t14498+t14889+t14890)*t14526+(t14852+t15375 )*z)*t14525; coeffs_dy->coeff_p1_0_m1 = t14584+t15147+t15151; coeffs_dy->coeff_p2_0_m1 = t15175+t14586+t15180; coeffs_dy->coeff_m2_p1_m1 = t14545+t15067+t15077; coeffs_dy->coeff_m1_p1_m1 = t14557+t15034+t15052; coeffs_dy->coeff_0_p1_m1 = t15093+t15106+t14575; coeffs_dy->coeff_p1_p1_m1 = t15045+t14549+t15041; coeffs_dy->coeff_p2_p1_m1 = t14545+t15066+t15076; coeffs_dy->coeff_m2_p2_m1 = t15071+t15080+t14553; coeffs_dy->coeff_m1_p2_m1 = t15043+t14552+t15068; coeffs_dy->coeff_0_p2_m1 = t14579+t15087+t15111; coeffs_dy->coeff_p1_p2_m1 = t14546+t15073+t15051; coeffs_dy->coeff_p2_p2_m1 = t14565+t15083+t15071; coeffs_dy->coeff_m2_m2_0 = t15089+t14581+t15104; coeffs_dy->coeff_m1_m2_0 = t14576+t15094+t15112; coeffs_dy->coeff_0_m2_0 = (t14476*t14527+RATIONAL(-1.0,4.0)+t14463*t14522 +(t14463+t14472*t14527+RATIONAL(-25.0,64.0)*t14522)*t14521+(RATIONAL(-1.0,64.0) *t14527+t14476+t14472*t14522)*t14528)*t14523+(t14400*t14522+t14478+t14431* t14527)*t14521+(t14433*t14527+t14431*t14522+t14474)*t14528+t14582+t14621; coeffs_dy->coeff_p1_m2_0 = t15115+t14576+t15095; coeffs_dy->coeff_p2_m2_0 = t15119+t14581+t15120; coeffs_dy->coeff_m2_m1_0 = t15103+t14572+t15096; coeffs_dy->coeff_m1_m1_0 = t15101+t14567+t15108; coeffs_dy->coeff_0_m1_0 = t14625*t14528+t14583+(t14488*t14527+t14513+ t14432*t14522)*t14521+(RATIONAL(1.0,2.0)+t14501*t14522+t14504*t14527+t14624* t14521+(t14456*t14522+RATIONAL(1.0,32.0)*t14527+t14504)*t14528)*t14523+t14616; coeffs_dy->coeff_p1_m1_0 = t14580+t15108+t15107; coeffs_dy->coeff_p2_m1_0 = t14574+t15103+t15102; coeffs_dy->coeff_m2_0_0 = t14592*x+t14597+t14593*t14524; coeffs_dy->coeff_m1_0_0 = (t14617*t14525+(t14970+t14482+t14419*t14522)*y) *t14524+(t14616*t14525+(t14502+t14958+t14415*t14522)*y)*x+t14595; coeffs_dy->coeff_0_0_0 = (t14503*t14527+t14495*t14522+1.0+(t14448*t14527+ t14495+RATIONAL(25.0,16.0)*t14522)*t14521+t14622*t14528)*t14525+(t14501*t14527+ RATIONAL(-5.0,2.0)+t14450*t14522+(t14416*t14527+RATIONAL(-125.0,32.0)*t14522+ t14450)*t14521+t14624*t14528)*y; coeffs_dy->coeff_p1_0_0 = (t14625*t14525+(t14418*t14522+t14479+t14475* t14527)*y)*t14524+t14595+(t14619*t14525+(t14417*t14522+t14506+t14482*t14527)*y) *x; coeffs_dy->coeff_p2_0_0 = t14592*t14524+t14597+t14593*x; coeffs_dy->coeff_m2_p1_0 = t15097+t15102+t14572; coeffs_dy->coeff_m1_p1_0 = t15101+t14580+t15100; coeffs_dy->coeff_0_p1_0 = t14583+t14617*t14528+(t14514*t14527+t14497* t14522+RATIONAL(-1.0,2.0)+(RATIONAL(-25.0,32.0)*t14522+t14497+t14464*t14527)* t14521+(t14464*t14522+RATIONAL(-1.0,32.0)*t14527+t14514)*t14528)*t14523+( RATIONAL(25.0,24.0)*t14522+t14484*t14527+t14510)*t14521+t14619; coeffs_dy->coeff_p1_p1_0 = t14567+t15100+t15107; coeffs_dy->coeff_p2_p1_0 = t15097+t14574+t15096; coeffs_dy->coeff_m2_p2_0 = t15119+t15104+t14573; coeffs_dy->coeff_m1_p2_0 = t14571+t15115+t15112; coeffs_dy->coeff_0_p2_0 = (t14475+t14401*t14522+t14426*t14527)*t14521+(( RATIONAL(25.0,64.0)*t14522+t14451*t14527+t14448)*t14521+(t14447+t14451*t14522+ RATIONAL(1.0,64.0)*t14527)*t14528+t14622)*t14523+(t14423*t14527+t14426*t14522+ t14477)*t14528+t14582+t14623; coeffs_dy->coeff_p1_p2_0 = t14571+t15095+t15094; coeffs_dy->coeff_p2_p2_0 = t15089+t15120+t14573; coeffs_dy->coeff_m2_m2_p1 = t15072+t15083+t14553; coeffs_dy->coeff_m1_m2_p1 = t14546+t15046+t15053; coeffs_dy->coeff_0_m2_p1 = t15109+t14568+t15111; coeffs_dy->coeff_p1_m2_p1 = t14552+t15060+t15033; coeffs_dy->coeff_p2_m2_p1 = t15072+t14565+t15080; coeffs_dy->coeff_m2_m1_p1 = t14537+t15067+t15076; coeffs_dy->coeff_m1_m1_p1 = t14547+t15045+t15061; coeffs_dy->coeff_0_m1_p1 = t15106+t15088+t14566; coeffs_dy->coeff_p1_m1_p1 = t14559+t15052+t15064; coeffs_dy->coeff_p2_m1_p1 = t14537+t15077+t15066; coeffs_dy->coeff_m2_0_p1 = t14589+t15137+t15175; coeffs_dy->coeff_m1_0_p1 = t14587+t15147+t15171; coeffs_dy->coeff_0_0_p1 = t14594+((t14475*t14528+t14418*t14521+t14479)* t14526+(t14506+t14482*t14528+t14417*t14521)*z)*y+((t14481*t14528+t14496+t14488* t14521)*t14526+(t14510*t14521+t14498*t14528+t14517)*z)*t14525; coeffs_dy->coeff_p1_0_p1 = t15151+t14587+t15155; coeffs_dy->coeff_p2_0_p1 = t15140+t14589+t15180; coeffs_dy->coeff_m2_p1_p1 = t14539+t15075+t15035; coeffs_dy->coeff_m1_p1_p1 = t15055+t14549+t15061; coeffs_dy->coeff_0_p1_p1 = t15093+t15090+t14566; coeffs_dy->coeff_p1_p1_p1 = t14557+t15040+t15064; coeffs_dy->coeff_p2_p1_p1 = t15047+t14539+t15078; coeffs_dy->coeff_m2_p2_p1 = t15079+t14554+t15044; coeffs_dy->coeff_m1_p2_p1 = t15043+t14560+t15033; coeffs_dy->coeff_0_p2_p1 = t15109+t14579+t15086; coeffs_dy->coeff_p1_p2_p1 = t14562+t15051+t15053; coeffs_dy->coeff_p2_p2_p1 = t14541+t15044+t15081; coeffs_dy->coeff_m2_m2_p2 = t15036+t14542+t15065; coeffs_dy->coeff_m1_m2_p2 = t15130+t14551+t15160+t15167+t15170; coeffs_dy->coeff_0_m2_p2 = t14570+t15114+t15116; coeffs_dy->coeff_p1_m2_p2 = t15174+t15176+t15160+t14540+t15177; coeffs_dy->coeff_p2_m2_p2 = t14542+t15037+t15074; coeffs_dy->coeff_m2_m1_p2 = t14548+t15150+t14635+t15153+t15190+t15206; coeffs_dy->coeff_m1_m1_p2 = t14538+t15056+t15070; coeffs_dy->coeff_0_m1_p2 = t14577+t15091+t15092; coeffs_dy->coeff_p1_m1_p2 = t15054+t14543+t15082; coeffs_dy->coeff_p2_m1_p2 = t14629+t14548+t15159+t15166+t15197+t15204; coeffs_dy->coeff_m2_0_p2 = t15132+t14585+t15168; coeffs_dy->coeff_m1_0_p2 = t15141+t14591+t15182; coeffs_dy->coeff_0_0_p2 = (t14627*t14526+t14626*z)*t14525+(t14620*t14526+ t14618*z)*y+t14596; coeffs_dy->coeff_p1_0_p2 = t14591+t15178+t15183; coeffs_dy->coeff_p2_0_p2 = t15128+t14585+t15172; coeffs_dy->coeff_m2_p1_p2 = t15133+t15127+t15139+t14535+t15159; coeffs_dy->coeff_m1_p1_p2 = t14561+t15056+t15057; coeffs_dy->coeff_0_p1_p2 = t15117+t14569+t15092; coeffs_dy->coeff_p1_p1_p2 = t15054+t15084+t14558; coeffs_dy->coeff_p2_p1_p2 = t14536+t15134+t15139+t15153+t15166; coeffs_dy->coeff_m2_p2_p2 = t15065+t14550+t15074; coeffs_dy->coeff_m1_p2_p2 = t15176+t14544+t14847+t15188+t15163+t15193; coeffs_dy->coeff_0_p2_p2 = t15113+t14578+t15116; coeffs_dy->coeff_p1_p2_p2 = t14551+t15163+t15157+t13309+t15177+t15195; coeffs_dy->coeff_p2_p2_p2 = t15036+t15037+t14550;