fp t24172; fp t24176; fp t24086; fp t24080; fp t24974; fp t24047; fp t24174; fp t24044; fp t24973; fp t24972; fp t24079; fp t24056; fp t24971; fp t24970; fp t24043; fp t24170; fp t24463; fp t24048; fp t24389; fp t24969; fp t24143; fp t24096; fp t24398; fp t24968; fp t24155; fp t24033; fp t24169; fp t24967; fp t24136; fp t24128; fp t24903; fp t24085; fp t24454; fp t23448; fp t24405; fp t24966; fp t24144; fp t24171; fp t24175; fp t24411; fp t23905; fp t24162; fp t24017; fp t24965; fp t24416; fp t24433; fp t24964; fp t24052; fp t24088; fp t23970; fp t24963; fp t24106; fp t24450; fp t23830; fp t24092; fp t23833; fp t24962; fp t24111; fp t24431; fp t24113; fp t24173; fp t24495; fp t24319; fp t24961; fp t24072; fp t24083; fp t23956; fp t24435; fp t24960; fp t24125; fp t24110; fp t24385; fp t24959; fp t24099; fp t24448; fp t24482; fp t24958; fp t24054; fp t23950; fp t24053; fp t23511; fp t24957; fp t24412; fp t23421; fp t24453; fp t24956; fp t24109; fp t24443; fp t24102; fp t23975; fp t24955; fp t24107; fp t24500; fp t24954; fp t24095; fp t24455; fp t24168; fp t24953; fp t24473; fp t24952; fp t23998; fp t24312; fp t24471; fp t24951; fp t24154; fp t24950; fp t24418; fp t24949; fp t24153; fp t24094; fp t24948; fp t24947; fp t24150; fp t24403; fp t24124; fp t24946; fp t24522; fp t24336; fp t24543; fp t24129; fp t24945; fp t24425; fp t23747; fp t24944; fp t24390; fp t24943; fp t24479; fp t23748; fp t24942; fp t24127; fp t24476; fp t24941; fp t24082; fp t24940; fp t24076; fp t23952; fp t24486; fp t24939; fp t24051; fp t24447; fp t24071; fp t24460; fp t24938; fp t24391; fp t23424; fp t24388; fp t24937; fp t23971; fp t24936; fp t24935; fp t24120; fp t24112; fp t24934; fp t24065; fp t24519; fp t23961; fp t24933; fp t24089; fp t23985; fp t24875; fp t23958; fp t24932; fp t24526; fp t23702; fp t24931; fp t24064; fp t24493; fp t23947; fp t24930; fp t24929; fp t24928; fp t24070; fp t24927; fp t24101; fp t23621; fp t24926; fp t23972; fp t24078; fp t24925; fp t24075; fp t24924; fp t24525; fp t23773; fp t23657; fp t24923; fp t23498; fp t24922; fp t24032; fp t24921; fp t24084; fp t23966; fp t24074; fp t24920; fp t24919; fp t24020; fp t23852; fp t24918; fp t24045; fp t24046; fp t24917; fp t24406; fp t24299; fp t24916; fp t23503; fp t24915; fp t24914; fp t23943; fp t24913; fp t23945; fp t24386; fp t24912; fp t24440; fp t24402; fp t24911; fp t24451; fp t24910; fp t24909; fp t24908; fp t24457; fp t24907; fp t24520; fp t24906; fp t24116; fp t23994; fp t24069; fp t24905; fp t24904; fp t24902; fp t23658; fp t24464; fp t23647; fp t24901; fp t24367; fp t24098; fp t24900; fp t23964; fp t23461; fp t24468; fp t23603; fp t24899; fp t24512; fp t24119; fp t24459; fp t23625; fp t24462; fp t24324; fp t24490; fp t24133; fp t24313; fp t24898; fp t24897; fp t23788; fp t23547; fp t24896; fp t23695; fp t23984; fp t24895; fp t24118; fp t23613; fp t24159; fp t24894; fp t24893; fp t23987; fp t23801; fp t24892; fp t23954; fp t24441; fp t24373; fp t24891; fp t24445; fp t24484; fp t24890; fp t24889; fp t24888; fp t24384; fp t23643; fp t24414; fp t23583; fp t24887; fp t24002; fp t24294; fp t24886; fp t24885; fp t24884; fp t24317; fp t24883; fp t24882; fp t24881; fp t24533; fp t23819; fp t24392; fp t23834; fp t24880; fp t24879; fp t23667; fp t23851; fp t24878; fp t24030; fp t24877; fp t24876; fp t23467; fp t23651; fp t24874; fp t23965; fp t24873; fp t24055; fp t24417; fp t23434; fp t24872; fp t24871; fp t23639; fp t24485; fp t24296; fp t24470; fp t24870; fp t23532; fp t24393; fp t24869; fp t24300; fp t23516; fp t24868; fp t24413; fp t23491; fp t24867; fp t24432; fp t23771; fp t23732; fp t24866; fp t24346; fp t24151; fp t24478; fp t24347; fp t24865; fp t24461; fp t23670; fp t24100; fp t24474; fp t24348; fp t24864; fp t24121; fp t24508; fp t24863; fp t23509; fp t24862; fp t23479; fp t23510; fp t24861; fp t24487; fp t24380; fp t24114; fp t24496; fp t24378; fp t24117; fp t24860; fp t24135; fp t23770; fp t24328; fp t24859; fp t23981; fp t23823; fp t24858; fp t24166; fp t24511; fp t24857; fp t24502; fp t24856; fp t24401; fp t23493; fp t23576; fp t24855; fp t23635; fp t24105; fp t24854; fp t24494; fp t23757; fp t24853; fp t24852; fp t23832; fp t24134; fp t24524; fp t24359; fp t24851; fp t24132; fp t24850; fp t23536; fp t23456; fp t24849; fp t23951; fp t24848; fp t23805; fp t24847; fp t24139; fp t24122; fp t24846; fp t24005; fp t24844; fp t23815; fp t24506; fp t24337; fp t24843; fp t23420; fp t24841; fp t23949; fp t23426; fp t24840; fp t23508; fp t23499; fp t24839; fp t23997; fp t23640; fp t24838; fp t24837; fp t23570; fp t23558; fp t24836; fp t24444; fp t23472; fp t24835; fp t24437; fp t23604; fp t23982; fp t23622; fp t24834; fp t24427; fp t23782; fp t23785; fp t24309; fp t24833; fp t23960; fp t24330; fp t24832; fp t24420; fp t24831; fp t23739; fp t23730; fp t24830; fp t23990; fp t23776; fp t24545; fp t24829; fp t23561; fp t24828; fp t23592; fp t24303; fp t24827; fp t23515; fp t24826; fp t24825; fp t24824; fp t24823; fp t23497; fp t24822; fp t23419; fp t24821; fp t24820; fp t24424; fp t24028; fp t24365; fp t24157; fp t24323; fp t24819; fp t23865; fp t23780; fp t24523; fp t23660; fp t24818; fp t23962; fp t23599; fp t24531; fp t24375; fp t24817; fp t24421; fp t23594; fp t24816; fp t23565; fp t24815; fp t23969; fp t23571; fp t24814; fp t23862; fp t23701; fp t24297; fp t24813; fp t23743; fp t23736; fp t24419; fp t24315; fp t24812; fp t24541; fp t23587; fp t23450; fp t24318; fp t24811; fp t24810; fp t24809; fp t24308; fp t24808; fp t23514; fp t23733; fp t24807; fp t23543; fp t24316; fp t24806; fp t24805; fp t23646; fp t24001; fp t24804; fp t24452; fp t23682; fp t24803; fp t24542; fp t24802; fp t24123; fp t24394; fp t23843; fp t24801; fp t24800; fp t24456; fp t23769; fp t24004; fp t23610; fp t24137; fp t24507; fp t23606; fp t24799; fp t23973; fp t24798; fp t24011; fp t24475; fp t24797; fp t24796; fp t23991; fp t24795; fp t24794; fp t24513; fp t23741; fp t23573; fp t24793; fp t23786; fp t23778; fp t24792; fp t24535; fp t24349; fp t23811; fp t24529; fp t24791; fp t24790; fp t23483; fp t24789; fp t24788; fp t24073; fp t24428; fp t23559; fp t23868; fp t24527; fp t23618; fp t24787; fp t24481; fp t23858; fp t24786; fp t24785; fp t23706; fp t24409; fp t23821; fp t24010; fp t23721; fp t24784; fp t24407; fp t23803; fp t24439; fp t23845; fp t24783; fp t23717; fp t23612; fp t24782; fp t24538; fp t23608; fp t23626; fp t24381; fp t24781; fp t23835; fp t24780; fp t24515; fp t24408; fp t23930; fp t23883; fp t24779; fp t23520; fp t23439; fp t24778; fp t23983; fp t24423; fp t23690; fp t24304; fp t24777; fp t24130; fp t24395; fp t24539; fp t24160; fp t24340; fp t24776; fp t24775; fp t24108; fp t23798; fp t23989; fp t24332; fp t24774; fp t24426; fp t24325; fp t24773; fp t23728; fp t24466; fp t24772; fp t24771; fp t23863; fp t23438; fp t24770; fp t23473; fp t24769; fp t24768; fp t24767; fp t24766; fp t24765; fp t24341; fp t24764; fp t24345; fp t23891; fp t24763; fp t24344; fp t23624; fp t24762; fp t24438; fp t23449; fp t24761; fp t24760; fp t23700; fp t24310; fp t24759; fp t24343; fp t24758; fp t23800; fp t24757; fp t24756; fp t23729; fp t23750; fp t24755; fp t24754; fp t24753; fp t24752; fp t24751; fp t23553; fp t24750; fp t24400; fp t23664; fp t24749; fp t24530; fp t24360; fp t24283; fp t24748; fp t24747; fp t23765; fp t24306; fp t24746; fp t24745; fp t23996; fp t24339; fp t24744; fp t23468; fp t24358; fp t24743; fp t24301; fp t24742; fp t24741; fp t24740; fp t23772; fp t23584; fp t23652; fp t24739; fp t23645; fp t24738; fp t24161; fp t24104; fp t24737; fp t24149; fp t24097; fp t24736; fp t23909; fp t24022; fp t24305; fp t24735; fp t24734; fp t23429; fp t24733; fp t24514; fp t23976; fp t23857; fp t24732; fp t23839; fp t24446; fp t24731; fp t23705; fp t24254; fp t24730; fp t24729; fp t24728; fp t23535; fp t24727; fp t24726; fp t24725; fp t23661; fp t24724; fp t24516; fp t24723; fp t23812; fp t24383; fp t24722; fp t24721; fp t24720; fp t24326; fp t23892; fp t24719; fp t23826; fp t24718; fp t24717; fp t24544; fp t24716; fp t24311; fp t24715; fp t24058; fp t24298; fp t24714; fp t24141; fp t24713; fp t24370; fp t24712; fp t24327; fp t24711; fp t24353; fp t24449; fp t24331; fp t24710; fp t24709; fp t24050; fp t24458; fp t23524; fp t24369; fp t24465; fp t24342; fp t24708; fp t23638; fp t24429; fp t24352; fp t24707; fp t24706; fp t24705; fp t24540; fp t24377; fp t24704; fp t24302; fp t24703; fp t24702; fp t24314; fp t24701; fp t24700; fp t24374; fp t24699; fp t23977; fp t24698; fp t24131; fp t24387; fp t24368; fp t24697; fp t24696; fp t24372; fp t24695; fp t23123; fp t24694; fp t24376; fp t24693; fp t24469; fp t24692; fp t24691; fp t24690; fp t24689; fp t23633; fp t24410; fp t23928; fp t24688; fp t24517; fp t24510; fp t24687; fp t24686; fp t24321; fp t24685; fp t24534; fp t24338; fp t24684; fp t24038; fp t24295; fp t24683; fp t23915; fp t24682; fp t24681; fp t24680; fp t24351; fp t24364; fp t24679; fp t23719; fp t24354; fp t24499; fp t24678; fp t24677; fp t24329; fp t24676; fp t24675; fp t24674; fp t24673; fp t24672; fp t24671; fp t23073; fp t24670; fp t24669; fp t24039; fp t23902; fp t23849; fp t24668; fp t24667; fp t24472; fp t24666; fp t24382; fp t23459; fp t24665; fp t23234; fp t24664; fp t24663; fp t24322; fp t24662; fp t24363; fp t24661; fp t23575; fp t24660; fp t24659; fp t23557; fp t23672; fp t23850; fp t24658; fp t24657; fp t24656; fp t24503; fp t24655; fp t24528; fp t23855; fp t24362; fp t24654; fp t24307; fp t24653; fp t23501; fp t24652; fp t24651; fp t24650; fp t24505; fp t24649; fp t23676; fp t24648; fp t23577; fp t24371; fp t24647; fp t24646; fp t24645; fp t24644; fp t24537; fp t23523; fp t24643; fp t23225; fp t24642; fp t24356; fp t24641; fp t24640; fp t24639; fp t24638; fp t24637; fp t23767; fp t24636; fp t24635; fp t24634; fp t24489; fp t24396; fp t24633; fp t24632; fp t24631; fp t23683; fp t24630; fp t24629; fp t24628; fp t24627; fp t23794; fp t24626; fp t24504; fp t24126; fp t24625; fp t24041; fp t23934; fp t24415; fp t24333; fp t24361; fp t24624; fp t24049; fp t24623; fp t24622; fp t24621; fp t24620; fp t24619; fp t24618; fp t24366; fp t24617; fp t23877; fp t24616; fp t24615; fp t24158; fp t24037; fp t23871; fp t24614; fp t24613; fp t24422; fp t24612; fp t24611; fp t24610; fp t24609; fp t24608; fp t24607; fp t24034; fp t23867; fp t24536; fp t23654; fp t24606; fp t24605; fp t24604; fp t24603; fp t24602; fp t24241; fp t24601; fp t24600; fp t23433; fp t24243; fp t24599; fp t24242; fp t24598; fp t24115; fp t24597; fp t24090; fp t24596; fp t23462; fp t24595; fp t24404; fp t24164; fp t24594; fp t24434; fp t24593; fp t24091; fp t24147; fp t24592; fp t24436; fp t23869; fp t23687; fp t24591; fp t23796; fp t24026; fp t23876; fp t24590; fp t24589; fp t24588; fp t24587; fp t24016; fp t23936; fp t24163; fp t24586; fp t24585; fp t24584; fp t24018; fp t24156; fp t24103; fp t24583; fp t24582; fp t24581; fp t24483; fp t24580; fp t24579; fp t24284; fp t24578; fp t24577; fp t24279; fp t24576; fp t24575; fp t24574; fp t24573; fp t24399; fp t24572; fp t24571; fp t24570; fp t24569; fp t24498; fp t24568; fp t24567; fp t24566; fp t24565; fp t24564; fp t24563; fp t24562; fp t24561; fp t24560; fp t24559; fp t24558; fp t24557; fp t24556; fp t24555; fp t24554; fp t24553; fp t24552; fp t24551; fp t24550; fp t24549; fp t24548; fp t24547; fp t24546; fp t24146; fp t24518; fp t24497; fp t24492; fp t24491; fp t24027; fp t24480; fp t24467; fp t24357; fp t24355; fp t24350; fp t24334; fp t24293; fp t24292; fp t24289; fp t24288; fp t24285; fp t24282; fp t24278; fp t24277; fp t24276; fp t24275; fp t24274; fp t24273; fp t24063; fp t24272; fp t24271; fp t24059; fp t24270; fp t24140; fp t24269; fp t24145; fp t24268; fp t24077; fp t24267; fp t24266; fp t24265; fp t24264; fp t24263; fp t24262; fp t24261; fp t24260; fp t24259; fp t24258; fp t24087; fp t24138; fp t24257; fp t24256; fp t24255; fp t24253; fp t24252; fp t24251; fp t24068; fp t24250; fp t24249; fp t24248; fp t24247; fp t24246; fp t24245; fp t24244; fp t24152; fp t24240; fp t24239; fp t24238; fp t24237; fp t24236; fp t24235; fp t24234; fp t24233; fp t24232; fp t24231; fp t24230; fp t24229; fp t24228; fp t24227; fp t24226; fp t24225; fp t24224; fp t24223; fp t24222; fp t24221; fp t24220; fp t24219; fp t24218; fp t24217; fp t24216; fp t24215; fp t24214; fp t24213; fp t24212; fp t24211; fp t24210; fp t24209; fp t24208; fp t24207; fp t24206; fp t24205; fp t24204; fp t24203; fp t24202; fp t24201; fp t24200; fp t24199; fp t24198; fp t24197; fp t24196; fp t24195; fp t24194; fp t24193; fp t24192; fp t24191; fp t24190; fp t24189; fp t24188; fp t24187; fp t24186; fp t24185; fp t24184; fp t24183; fp t24182; fp t24181; t24172 = y*y; t24176 = t24172*t24172; t24086 = RATIONAL(1.0,576.0); t24080 = RATIONAL(1.0,144.0); t24974 = t24086*t24176+t24080; t24047 = RATIONAL(-1.0,1728.0); t24174 = t24172*y; t24044 = RATIONAL(1.0,1728.0); t24973 = t24047*t24174+t24044*y; t24972 = t24047*y+t24044*t24174; t24079 = RATIONAL(-5.0,288.0); t24056 = RATIONAL(5.0,288.0); t24971 = y*t24056+t24174*t24079; t24970 = t24174*t24056+y*t24079; t24043 = RATIONAL(-1.0,1152.0); t24170 = x*x; t24463 = t24172*t24170; t24048 = RATIONAL(1.0,1152.0); t24389 = t24048*t24170; t24969 = t24043*t24463+t24176*t24389; t24143 = RATIONAL(-1.0,9.0); t24096 = RATIONAL(-1.0,36.0); t24398 = t24096*t24176; t24968 = t24398+t24143; t24155 = RATIONAL(-1.0,3.0); t24033 = t24155*t24170; t24169 = RATIONAL(4.0,9.0); t24967 = t24033+t24169; t24136 = RATIONAL(1.0,72.0); t24128 = RATIONAL(1.0,18.0); t24903 = t24136*t24176+t24128; t24085 = RATIONAL(-1.0,576.0); t24454 = t24085*t24170; t23448 = t24176*t24454; t24405 = t24172*t24086; t24966 = t24170*t24405+t23448; t24144 = RATIONAL(1.0,9.0); t24171 = z*z; t24175 = t24171*z; t24411 = t24174*t24175; t23905 = t24144*t24411; t24162 = RATIONAL(-4.0,9.0); t24017 = t24162*t24175; t24965 = t23905+y*t24017; t24416 = t24170*t24086; t24433 = t24174*t24170; t24964 = t24085*t24433+y*t24416; t24052 = RATIONAL(1.0,432.0); t24088 = RATIONAL(-1.0,864.0); t23970 = t24088*t24174; t24963 = t24052*t24411+z*t23970; t24106 = RATIONAL(-2.0,27.0); t24450 = t24175*t24106; t23830 = y*t24450; t24092 = RATIONAL(1.0,54.0); t23833 = t24092*t24411; t24962 = t23830+t23833; t24111 = RATIONAL(-5.0,96.0); t24431 = t24171*t24111; t24113 = RATIONAL(1.0,48.0); t24173 = x*t24170; t24495 = t24173*t24171; t24319 = t24113*t24495; t24961 = x*t24431+t24319; t24072 = RATIONAL(5.0,192.0); t24083 = RATIONAL(-5.0,576.0); t23956 = t24083*t24172; t24435 = t24172*t24171; t24960 = t23956+t24072*t24435; t24125 = RATIONAL(1.0,24.0); t24110 = RATIONAL(1.0,96.0); t24385 = t24171*t24110; t24959 = t24176*t24385+t24125*t24171; t24099 = RATIONAL(4.0,27.0); t24448 = t24174*t24099; t24482 = t24173*t24174; t24958 = x*t24448+t24106*t24482; t24054 = RATIONAL(1.0,864.0); t23950 = t24054*t24174; t24053 = RATIONAL(-1.0,432.0); t23511 = t24053*t24411; t24957 = t23511+z*t23950; t24412 = t24085*t24171; t23421 = t24172*t24412; t24453 = t24176*t24171; t24956 = t23421+t24086*t24453; t24109 = RATIONAL(2.0,27.0); t24443 = t24109*t24172; t24102 = RATIONAL(-1.0,54.0); t23975 = t24102*t24176; t24955 = t24443+t23975; t24107 = RATIONAL(-4.0,27.0); t24500 = t24107*t24174; t24954 = x*t24500+t24109*t24482; t24095 = RATIONAL(-1.0,18.0); t24455 = t24095*t24170; t24168 = RATIONAL(2.0,9.0); t24953 = t24168*t24463+t24176*t24455; t24473 = t24173*t24054; t24952 = t24088*t24482+y*t24473; t23998 = t24128*t24173; t24312 = t24171*t23998; t24471 = t24143*t24171; t24951 = t24312+x*t24471; t24154 = RATIONAL(8.0,9.0); t24950 = t24168*t24176+t24154; t24418 = t24095*t24171; t24949 = t24176*t24418+t24168*t24435; t24153 = RATIONAL(1.0,3.0); t24094 = RATIONAL(1.0,12.0); t24948 = t24153*t24171+t24094*t24453; t24947 = t24174*t24416+y*t24454; t24150 = RATIONAL(-2.0,9.0); t24403 = t24150*t24171; t24124 = RATIONAL(8.0,27.0); t24946 = (t24124+t24403)*t24173; t24522 = x*t24099; t24336 = t24175*t24522; t24543 = x*z; t24129 = RATIONAL(-8.0,27.0); t24945 = t24129*t24543+t24336; t24425 = t24175*t24129; t23747 = t24109*t24411; t24944 = y*t24425+t23747; t24390 = t24176*t24128; t24943 = t24171*t24390+t24172*t24403; t24479 = t24136*t24170; t23748 = t24176*t24479; t24942 = t23748+t23975; t24127 = RATIONAL(1.0,36.0); t24476 = t24127*t24176; t24941 = t24144+t24476; t24082 = RATIONAL(-1.0,144.0); t24940 = t24085*t24176+t24082; t24076 = RATIONAL(1.0,288.0); t23952 = t24088*t24176; t24486 = t24176*t24170; t24939 = t23952+t24076*t24486; t24051 = RATIONAL(1.0,216.0); t24447 = t24173*t24051; t24071 = RATIONAL(-1.0,216.0); t24460 = t24173*t24071; t24938 = t24174*t24460+y*t24447; t24391 = t24175*t24051; t23424 = t24174*t24391; t24388 = t24071*t24175; t24937 = t23424+y*t24388; t23971 = t24053*t24176; t24936 = t23971+t24052*t24172; t24935 = t24150*t24463+t24170*t24390; t24120 = RATIONAL(-1.0,24.0); t24112 = RATIONAL(-1.0,96.0); t24934 = t24112*t24453+t24120*t24171; t24065 = RATIONAL(-1.0,108.0); t24519 = y*t24065; t23961 = t24051*y; t24933 = z*t23961+t24175*t24519; t24089 = RATIONAL(-1.0,72.0); t23985 = t24089*t24176; t24875 = t23985+t24095; t23958 = t24052*t24176; t24932 = t23958+t24053*t24172; t24526 = y*t24175; t23702 = t24106*t24411; t24931 = t23702+t24124*t24526; t24064 = RATIONAL(1.0,108.0); t24493 = t24173*t24064; t23947 = t24071*y; t24930 = x*t23947+y*t24493; t24929 = t24174*t24447+y*t24460; t24928 = t24172*t24454+t24176*t24416; t24070 = RATIONAL(16.0,27.0); t24927 = t24070*t24172+t24107*t24176; t24101 = RATIONAL(-1.0,12.0); t23621 = t24101*t24486; t24926 = t24144*t24176+t23621; t23972 = t24054*t24176; t24078 = RATIONAL(-1.0,288.0); t24925 = t24078*t24453+t23972; t24075 = RATIONAL(1.0,192.0); t24924 = t24113*t24171+t24075*t24453; t24525 = y*t24109; t23773 = t24175*t24525; t23657 = t24102*t24411; t24923 = t23657+t23773; t23498 = t24174*t24388; t24922 = y*t24391+t23498; t24032 = t24155*t24171; t24921 = t24032+t24101*t24453; t24084 = RATIONAL(5.0,576.0); t23966 = t24084*t24172; t24074 = RATIONAL(-5.0,192.0); t24920 = t23966+t24074*t24435; t24919 = t24088*y*t24173+t24174*t24473; t24020 = t24143*t24176; t23852 = t24094*t24486; t24918 = t24020+t23852; t24045 = RATIONAL(1.0,3456.0); t24046 = RATIONAL(-1.0,3456.0); t24917 = t24046*t24176+t24045*t24172; t24406 = t24173*t24078; t24299 = t24171*t24406; t24916 = t24447+t24299; t23503 = t24171*t24405; t24915 = t23503+t24176*t24412; t24914 = t24089*t24175+t24974*z; t23943 = t24046*t24172; t24913 = t23943+t24172*t24389+t24043*t24486; t23945 = t24045*t24176; t24386 = t24043*t24171; t24912 = t24048*t24435+t23945+t24176*t24386; t24440 = t24175*t24172; t24402 = t24047*t24176; t24911 = t24175*t24402+t24044*t24440+z*t23945; t24451 = t24173*t24044; t24910 = x*t23943+t24172*t24451+t24173*t24402; t24909 = t24048*t24453+t24172*t24386+t24917; t24908 = t24054*t24526+t24088*t24411+t24972*z; t24457 = t24174*t24171; t24907 = t24086*t24457+y*t24412+t24973; t24520 = y*t24171; t24906 = t24174*t24412+t24086*t24520+t24972; t24116 = RATIONAL(-1.0,48.0); t23994 = t24116*t24171; t24069 = RATIONAL(-1.0,192.0); t24905 = t24069*t24453+t23994+t24974; t24904 = t24088*t24526+t24054*t24411+t24973*z; t24902 = t24967*t24175; t23658 = t24127*t24457; t24464 = t24096*t24170; t23647 = y*t24464; t24901 = t23658+t23647; t24367 = y*t23994; t24098 = RATIONAL(1.0,27.0); t24900 = t24170*t24367+t24098*t24174; t23964 = t24064*t24176; t23461 = t24175*t23964; t24468 = t24173*t24053; t23603 = t24172*t24468; t24899 = z*t23603+x*t23461; t24512 = t24176*t24543; t24119 = RATIONAL(5.0,36.0); t24459 = t24119*t24172; t23625 = x*t24459; t24462 = t24173*t24175; t24324 = t24176*t24462; t24490 = t24096*t24324+z*t23625; t24133 = RATIONAL(-5.0,36.0); t24313 = t24173*t24440; t24898 = t24490+t24127*t24313+t24133*t24512; t24897 = t24082*t24526+t24080*t24411; t23788 = y*t24479; t23547 = t24078*t24457; t24896 = t23788+t23547; t23695 = t24110*t24486; t23984 = t24125*t24170; t24895 = t23695+t23984; t24118 = RATIONAL(5.0,12.0); t23613 = t24118*t24435; t24159 = RATIONAL(-5.0,9.0); t24894 = t23613+t24159*t24172; t24893 = t24970*x; t23987 = t24120*t24170; t23801 = t24112*t24486; t24892 = t23987+t23801; t23954 = t24071*t24174; t24441 = t24171*t24170; t24373 = y*t24441; t24891 = t23954+t24110*t24373; t24445 = t24173*t24080; t24484 = t24173*t24082; t24890 = y*t24484+t24174*t24445; t24889 = t24968*x; t24888 = t24971*x; t24384 = t24171*t24136; t23643 = y*t24384; t24414 = t24078*t24170; t23583 = t24174*t24414; t24887 = t23643+t23583; t24002 = t24098*y; t24294 = t24116*t24457; t24886 = t24002+t24170*t24294; t24885 = t24082*t24482+y*t24445; t24884 = t24153*t24495+t24162*t24173; t24317 = t24171*t24433; t24883 = t23961+t24112*t24317; t24882 = t23950+t24120*t24373; t24881 = t24082*t24411+t24080*t24526; t24533 = y*t24170; t23819 = t24127*t24533; t24392 = t24096*t24171; t23834 = t24174*t24392; t24880 = t23819+t23834; t24879 = t24116*t24170+t24069*t24486; t23667 = t24127*t24433; t23851 = y*t24392; t24878 = t23667+t23851; t24030 = t24169*t24173; t24877 = t24173*t24032+t24030; t24876 = t23947+t24110*t24317; t23467 = t24076*t24433; t23651 = t24089*t24520; t24874 = t23467+t23651; t23965 = t24051*t24174; t24873 = t23965+t24112*t24373; t24055 = RATIONAL(-5.0,144.0); t24417 = t24176*t24055; t23434 = z*t24417; t24872 = x*t23434+t24144*t24313+t24490; t24871 = t24113*t24170+t24075*t24486+t24940; t23639 = t24170*t23985; t24485 = t24175*t24170; t24296 = t24082*t24485; t24470 = t24176*t24051; t24870 = t24052*t24440+t24172*t24296+(t24470+t23639)*z; t23532 = t24076*t24520; t24393 = t24089*t24174; t24869 = t23532+t24170*t24393+t24873; t24300 = t24175*t24464; t23516 = t24176*t24414; t24868 = t24172*t24300+t24064*t24440+(t23972+t23516)*z; t24413 = t24173*t24065; t23491 = t24176*t24413; t24867 = t24172*t24336+z*t23491; t24432 = t24174*t24096; t23771 = t24170*t24432; t23732 = t24127*t24520; t24866 = t23771+t23732; t24346 = x*t24440; t24151 = RATIONAL(-5.0,3.0); t24478 = t24173*t24176; t24347 = z*t24478; t24865 = t24118*t24347+t24151*t24346; t24461 = t24173*t24098; t23670 = t24172*t24461; t24100 = RATIONAL(-1.0,27.0); t24474 = t24175*t24100; t24348 = x*t24474; t24864 = z*t23670+t24176*t24348; t24121 = RATIONAL(-20.0,9.0); t24508 = t24172*t24543; t24863 = t24121*t24508+t24144*t24324; t23509 = z*t23956; t24862 = t24080*t24324+x*t23509; t23479 = t24173*t23958; t23510 = t24065*t24440; t24861 = z*t23479+x*t23510; t24487 = t24176*t24175; t24380 = x*t24487; t24114 = RATIONAL(5.0,48.0); t24496 = t24173*t24172; t24378 = z*t24496; t24117 = RATIONAL(-5.0,48.0); t24860 = t24117*t24380+t24114*t24378; t24135 = RATIONAL(-5.0,72.0); t23770 = t24135*t24496; t24328 = t24175*t24390; t24859 = x*t24328+z*t23770; t23981 = t24092*t24176; t23823 = z*t23981; t24858 = x*t23823+t24106*t24313; t24166 = RATIONAL(5.0,9.0); t24511 = t24166*t24543; t24857 = t24162*t24313+t24176*t24511; t24502 = RATIONAL(-25.0,96.0)*t24172; t24856 = t24125*t24324+t24502*t24543; t24401 = t24172*t24056; t23493 = t24175*t24401; t23576 = t24176*t24406; t24855 = x*t23493+z*t23576; t23635 = t24095*t24440; t24105 = RATIONAL(5.0,72.0); t24854 = t24105*t24347+x*t23635; t24494 = t24172*t24106; t23757 = x*t24494; t24853 = t24092*t24324+z*t23757; t24852 = t24151*t24378+t24118*t24380; t23832 = t24136*t24487; t24134 = RATIONAL(-5.0,18.0); t24524 = z*t24134; t24359 = t24173*t24524; t24851 = t24172*t24359+x*t23832; t24132 = RATIONAL(10.0,9.0); t24850 = t24132*t24346+t24150*t24347; t23536 = t24078*t24487; t23456 = t24173*t24401; t24849 = x*t23536+z*t23456; t23951 = t24064*t24174; t24848 = t23951+t24101*t24373; t23805 = t24135*t24440; t24847 = x*t23805+t24128*t24347; t24139 = RATIONAL(-1.0,6.0); t24122 = RATIONAL(25.0,6.0); t24846 = t24122*t24508+t24139*t24324; t24005 = t24100*y; t24844 = t24005+t24113*t24317; t23815 = t24098*t24440; t24506 = t24173*t24100; t24337 = z*t24506; t24843 = t24176*t24337+x*t23815; t23420 = x*t23952; t24841 = t24092*t24313+z*t23420; t23949 = t24051*t24172; t23426 = x*t23949; t24840 = t24071*t24324+z*t23426; t23508 = t24053*t24440; t23499 = t24173*t23964; t24839 = z*t23499+x*t23508; t23997 = t24136*t24173; t23640 = t24176*t23997; t24838 = t24134*t24346+z*t23640; t24837 = t24114*t24346+t24117*t24347; t23570 = t24172*t24413; t23558 = t24175*t23958; t24836 = x*t23558+z*t23570; t24444 = t24071*t24176; t23472 = x*t24444; t24835 = z*t23472+t24051*t24313; t24437 = t24176*t24105; t23604 = x*t24437; t23982 = t24095*t24173; t23622 = t24172*t23982; t24834 = z*t23622+t24175*t23604; t24427 = t24089*t24172; t23782 = t24171*t24427; t23785 = t24170*t24427; t24309 = t24176*t24441; t24833 = t23782+t23785+t24112*t24309; t23960 = t24065*t24174; t24330 = t24173*t24457; t24832 = t24089*t24330+(t23851+t23960)*x; t24420 = t24172*t24082; t24831 = t24170*t24420+t24956; t23739 = t24172*t24384; t23730 = t24136*t24463; t24830 = t23739+t24110*t24309+t23730; t23990 = t24106*t24174; t23776 = t24174*t24461; t24545 = y*x; t24829 = t23776+t24418*t24545+x*t23990; t23561 = t24076*t24533; t24828 = y*t24296+(t23561+t23965)*z; t23592 = z*t23960; t24303 = t24170*t24411; t24827 = t23592+t24089*t24303+z*t23647; t23515 = x*t23951; t24826 = t23515+t24136*t24330+x*t23732; t24825 = t24171*t24420+t24928; t24824 = z*t23788+t24957; t24823 = t24136*t24303+(t23951+t23819)*z; t23497 = t24174*t24468; t24822 = t23497+(t23643+t23950)*x; t23419 = t24072*t24463; t24821 = t24175*t23695+t23509+t23536+z*t23419; t24820 = t24176*t24296+t23558+(t23949+t23785)*z; t24424 = t24132*t24172; t24028 = t24144*t24173; t24365 = x*t24435; t24157 = RATIONAL(-5.0,6.0); t24323 = t24173*t24453; t24819 = x*t24424+t24157*t24365+t24101*t24323+t24176*t24028; t23865 = t24098*t24526; t23780 = t24095*t24433; t24523 = y*t24106; t23660 = z*t24523; t24818 = t23865+z*t23780+t24127*t24303+t23660; t23962 = t24065*t24176; t23599 = t24175*t23962; t24531 = t24173*z; t24375 = t24099*t24531; t24817 = t24172*t24375+x*t23599+t24843; t24421 = t24144*t24171; t23594 = t24082*t24433; t24816 = y*t24421+t23594+t24848; t23565 = t24076*t24496; t24815 = t24079*t24380+z*t23565+t24855; t23969 = t24071*t24172; t23571 = t24080*t24486; t24814 = (t23971+t23571)*t24175+(t23969+t23730)*z; t23862 = x*t24525; t23701 = t24128*t24457; t24297 = t24173*t24432; t24813 = x*t23701+y*t24506+t23862+t24171*t24297; t23743 = y*t24461; t23736 = t24174*t24418; t24419 = t24173*t24127; t24315 = t24174*t24419; t24812 = t23743+t24171*t24315+(t23736+t24523)*x; t24541 = y*t24064; t23587 = x*t24541; t23450 = t24064*t24526; t24318 = t24175*t24413; t24811 = t24174*t24318+z*t23587+t24173*t23450+x*t23592; t24810 = t24876+t24896; t24809 = t24841+t24861; t24308 = t24170*t24435; t24808 = t24075*t24308+t24069*t24309+t24936; t23514 = t24076*t24457; t23733 = t24089*t24533; t24807 = t23514+t23733+t24883; t23543 = y*t24413; t24316 = t24171*t24484; t24806 = t23543+t24174*t24316+(t23514+t23961)*x; t24805 = t24176*t24468+t24080*t24323+(t23969+t23739)*x; t23646 = t24127*t24463; t24001 = t24100*t24172; t24804 = t24942*t24175+(t24001+t23646)*z; t24452 = t24174*t24092; t23682 = x*t24452; t24803 = x*t23660+z*t23682+t24962*t24173; t24542 = y*t24543; t24802 = t24121*t24542+t24174*t24511+t24965*t24173; t24123 = RATIONAL(-5.0,12.0); t24394 = t24171*t24123; t23843 = t24172*t24394; t24801 = t24120*t24323+x*t23843+t23640+t23625; t24800 = t24174*t24296+z*t23467+t24933; t24456 = t24174*t24134; t23769 = z*t24456; t24004 = t24128*t24175; t23610 = y*t24004; t24137 = RATIONAL(5.0,18.0); t24507 = t24137*t24545; t23606 = t24095*t24411; t24799 = x*t23769+z*t24507+(t23606+t23610)*t24173; t23973 = t24098*t24172; t24798 = t24116*t24309+t23962+t24094*t24308+t23973; t24011 = t24089*t24173; t24475 = t24172*t24133; t24797 = t24176*t24011+t24125*t24323+(t24475+t23613)*x; t24796 = t24853+t24864; t23991 = t24109*t24176; t24795 = t24102*t24313+t23991*t24543+t24843; t24794 = t24075*t24309+t24069*t24308+t24932; t24513 = t24107*t24545; t23741 = t24098*t24411; t23573 = t24064*t24482; t24793 = y*t24337+t24175*t24513+z*t23573+x*t23741; t23786 = t24175*t23985; t23778 = t24096*t24463; t24792 = t24170*t23786+t24175*t23981+(t23778+t23973)*z; t24535 = x*t24171; t24349 = t24117*t24535; t23811 = y*t23998; t24529 = x*t24133; t24791 = t23811+t24174*t24349+t24125*t24330+y*t24529; t24790 = t23479+x*t23782+t23426+t24176*t24316; t23483 = t24076*t24440; t24789 = x*t23483+t24079*t24347+t24849; t24788 = t24076*t24478+t24112*t24323+t24920*x; t24073 = RATIONAL(5.0,144.0); t24428 = t24174*t24073; t23559 = x*t24428; t23868 = t24143*t24462; t24527 = z*t24133; t23618 = y*t24527; t24787 = x*t23618+y*t23868+z*t23559+t24175*t24315; t24481 = t24174*t24102; t23858 = x*t24481; t24786 = (t23858+t23862)*z+t24923*t24173; t24785 = t23450+t24080*t24303+(t23947+t23583)*z; t23706 = t24128*t24411; t24409 = t24137*t24174; t23821 = z*t24409; t24010 = t24095*t24175; t23721 = y*t24010; t24784 = t24524*t24545+x*t23821+(t23706+t23721)*t24173; t24407 = t24120*t24176; t23803 = t24170*t24407; t24439 = t24170*t24123; t23845 = t24172*t24439; t24783 = t23832+t24175*t23803+(t23845+t24459)*z; t23717 = t24176*t23984; t23612 = t24118*t24463; t24782 = t24175*t23717+t23786+(t23612+t24475)*z; t24538 = y*t24119; t23608 = x*t24538; t23626 = y*t23982; t24381 = t24114*t24535; t24781 = t23608+t23626+t24174*t24381+t24120*t24330; t23835 = t24127*t24435; t24780 = t24173*t23975+t24136*t24323+(t24001+t23835)*x; t24515 = t24174*t24543; t24408 = t24143*t24174; t23930 = t24175*t24408; t23883 = t24175*t24030; t24779 = y*t23883+t24173*t23930+RATIONAL(20.0,9.0)*t24542+t24159*t24515; t23520 = x*t24519; t23439 = t24064*t24411; t24778 = y*t24318+t24173*t23439+(t23520+t23515)*z; t23983 = t24105*t24172; t24423 = t24170*t24111; t23690 = t24172*t24423; t24304 = t24116*t24485; t24777 = t24175*t24476+t24176*t24304+(t23983+t23690)*z; t24130 = RATIONAL(-10.0,9.0); t24395 = t24172*t24130; t24539 = z*t24170; t24160 = RATIONAL(5.0,6.0); t24340 = t24160*t24539; t24776 = z*t24395+t24172*t24340+t24918*t24175; t24775 = t24876+t24887; t24108 = RATIONAL(5.0,96.0); t23798 = t24108*t24463; t23989 = t24135*t24172; t24332 = t24113*t24485; t24774 = t24175*t24398+t24176*t24332+(t23989+t23798)*z; t24426 = t24171*t24080; t24325 = t24173*t24426; t24773 = x*t23547+t24174*t24325+t24930; t23728 = t24172*t24392; t24466 = t24173*t24092; t24772 = t24089*t24323+t24176*t24466+(t23728+t23973)*x; t24771 = t23964+t24001+t24113*t24309+t24101*t24308; t23863 = t24100*t24411; t23438 = t24174*t24413; t24770 = x*t23863+y*t24336+(t23743+t23438)*z; t23473 = t24074*t24463; t24769 = t24175*t23801+t24076*t24487+(t23473+t23966)*z; t24768 = t24853+t24858; t24767 = t24835+t24840; t24766 = t24844+t24880; t24765 = t24844+t24866; t24341 = z*t24433; t24764 = t23610+t24117*t24341+t23618+t24125*t24303; t24345 = y*t24028; t23891 = y*t24403; t24763 = t24171*t24345+x*t23891+t23858+t23573; t24344 = t24157*t24539; t23624 = z*t24424; t24762 = t24172*t24344+t23624+t24926*t24175; t24438 = t24174*t24055; t23449 = z*t24438; t24761 = z*t23608+x*t23449+(t24297+t24345)*t24175; t24760 = t24836+t24840; t23700 = t24172*t24431; t24310 = t24116*t24478; t24759 = t24171*t24310+t24176*t24419+(t23700+t23983)*x; t24343 = t24160*t24535; t24758 = t24094*t24323+x*t24395+t24172*t24343+t24173*t24020; t23800 = t24108*t24435; t24757 = t24173*t24398+t24176*t24319+(t23989+t23800)*x; t24756 = t24094*t24373+t23960+t24886; t23729 = t24128*t24433; t23750 = y*t24474; t24755 = t23750+t24174*t24300+(t24525+t23729)*z; t24754 = t24114*t24341+t23721+z*t24538+t24120*t24303; t24753 = t24110*t24323+t23576+t24960*x; t24752 = t24851+t24854+t24872; t24751 = t24175*t23733+(t24519+t23771)*z+t24922; t23553 = t24076*t24453; t24750 = t23553+t23949+t24125*t24308+t24939; t24400 = t24176*t24134; t23664 = x*t24400; t24749 = t24154*t24378+t24175*t23664+t24850+t24863+t24857; t24530 = x*t24175; t24360 = t24150*t24530; t24283 = t24173*t23624+t24176*t24360+t24863; t24748 = t24134*t24347+t24283+t24154*t24346+t24857; t24747 = t24854+t24859+t24898; t23765 = t24176*t24384; t24306 = t24172*t24385; t24746 = t24170*t24306+t24092*t24172+t23765+t24942; t24745 = t23969+t24120*t24308+t23516+t24925; t23996 = t24136*t24175; t24339 = y*t23996; t24744 = t24170*t24339+(t24541+t23667)*z+t24937; t23468 = t24080*t24433; t24358 = y*t24485; t24743 = t24128*t24358+(t23468+t24002)*z+t24962; t24301 = t24175*t24455; t24742 = y*t24301+(t24005+t23594)*z+t24923; t24741 = t24847+t24834+t24898; t24740 = t24834+t24838+t24872; t23772 = t24173*t24523; t23584 = t24174*t24426; t23652 = t24173*t24452; t24739 = t23772+t23652+y*t24312+(t24002+t23584)*x; t23645 = t24089*t24453; t24738 = t24102*t24172+t23639+t23645+t24112*t24308+t23981; t24161 = RATIONAL(-1.0,8.0); t24104 = RATIONAL(5.0,32.0); t24737 = RATIONAL(-1.0,32.0)*t24309+t23983+t24104*t24308+t24161*t24441+ t24875; t24149 = RATIONAL(1.0,8.0); t24097 = RATIONAL(-5.0,32.0); t24736 = t24149*t24441+t23989+t24097*t24308+RATIONAL(1.0,32.0)*t24309+ t24903; t23909 = t24168*t24533; t24022 = t24143*t24175; t24305 = t24170*t24022; t24735 = y*t24305+t24818+(t24452+t23909)*z; t24734 = t23587+t24173*t23643+x*t23658+t24899+t24929; t23429 = y*t24414; t24733 = t24080*t24358+t24800+(t23954+t23429)*z; t24514 = x*t24520; t23976 = t24109*t24174; t23857 = t24100*t24482; t24732 = t23857+x*t23976+t24128*t24514+t24812; t23839 = t24170*t24398; t24446 = t24144*t24170; t24731 = t23835+t23839+t24172*t24446+t24771; t23705 = x*t24004; t24254 = t24119*t24313+t23868+t24490+t24889*z; t24730 = t24168*t24531+t23705+t24254+t24847+t24851; t24729 = z*t23733+t24800+t24963; t24728 = t24813+t24829; t23535 = t24052*t24482; t24727 = t23535+t24806+(t23970+t23651)*x; t24726 = t24773+t24822; t24725 = t24785+t24824; t23661 = t24176*t24392; t24724 = t23661+t24172*t24421+t23646+t24771; t24516 = z*t24533; t24723 = t23863+t24128*t24516+z*t23976+t24818; t23812 = t24170*t24476; t24383 = t24143*t24172; t24722 = t23812+t23728+t24170*t24383+t24798; t24721 = t24080*t24463+t24794+t24915; t24720 = t24172*t24426+t24794+t24966; t24326 = t24175*t24446; t23892 = t24150*t24533; t24719 = y*t24326+t24755+(t24481+t23892)*z; t23826 = t24127*t24453; t24718 = t23826+t24171*t24383+t23778+t24798; t24717 = z*t23998+t24254+t24168*t24530+t24838+t24859; t24544 = y*z; t24716 = t24455*t24544+z*t23990+t23741+t24755; t24311 = t24069*t24441; t24715 = t24075*t24373+t24174*t24311+t24907+t24947; t24058 = RATIONAL(-1.0,384.0); t24298 = RATIONAL(1.0,384.0)*t24441; t24714 = t24176*t24298+t24058*t24308+t24912+t24913; t24141 = RATIONAL(1.0,6.0); t24713 = t24124*y+t23990+t23701+t24120*t24317+t23891+t23729+t23892+t24141 *t24373; t24370 = t24102*t24526; t24712 = (t24370+t23424)*t24173+(t23497+t24930)*z+(t23450+t24957)*x; t24327 = t24170*t24440; t24711 = t23508+t24080*t24327+t24820+(t24444+t23748)*z; t24353 = x*t24421; t24449 = t24173*t24129; t24331 = t24173*t24435; t24710 = t24168*t24331+t24109*t24478+t24172*t24449+t24162*t24365+t24095* t24323+t24176*t24353+t24927*x; t24709 = t24127*t24327+t23510+t24820+t24939*z; t24050 = RATIONAL(-16.0,27.0); t24458 = t24172*t24050; t23524 = z*t24458; t24369 = z*t24486; t24465 = t24176*t24099; t24342 = t24169*t24539; t24708 = z*t24465+t24176*t24450+t23524+t24143*t24369+t24172*t24342+t24170 *t24328+t24150*t24327+t24124*t24440; t23638 = t24175*t23987; t24429 = t24119*t24174; t24352 = t24114*t24539; t24707 = z*t24429+t23606+t24764+(t24352+t23638)*y; t24706 = t24108*t24516+t24113*t24303+t24111*t24341+y*t24304+t24881+t24970 *z; t24705 = t24750+t24833; t24540 = y*t24070; t24377 = y*t24495; t24704 = t24168*t24377+x*t24540+y*t24449+t24174*t24353+t24095*t24330+ t24162*t24514+t24954; t24302 = t24173*t24392; t24703 = t24805+(t24493+t24302)*t24172+t24925*x; t24702 = t24775+t24882+t24896; t24314 = t24052*t24462; t24701 = t24173*t23511+y*t24314+t24919*z+t24904*x; t24700 = y*t24471+t23468+t24756+t24901; t24374 = y*t24462; t24699 = t24174*t24314+t24053*t24374+t24952*z+t24908*x; t23977 = t24106*t24176; t24698 = t24141*t24308+t23977+t24120*t24309+t24124*t24172+t24935+t24943; t24131 = RATIONAL(5.0,24.0); t24387 = t24131*t24171; t24368 = x*t24387; t24697 = t24176*t24368+t23664+t24162*t24496+t24153*t24331+t24819; t24696 = t24175*t23429+t24076*t24303+t24964*z+t24908; t24372 = t24092*t24526; t24695 = (t23543+t23535)*z+(t24372+t23498)*t24173+(t24933+t24963)*x; t23123 = y*t24300; t24694 = t23123+t24723; t24376 = t24162*t24539; t24693 = t24144*t24341+y*t24376+t24174*t24301+t24175*t23909+(t24500+ t24540)*z+t24944; t24469 = t24176*t24098; t24692 = t24092*t24440+t24089*t24327+t24804+(t23839+t24469)*z; t24691 = t24176*t24451+t24085*t24323+t24047*t24496+t24173*t23503+t24909*x ; t24690 = t24172*t24298+t24058*t24309+t24909+t24969; t24689 = t24054*t24324+t24088*t24313+t24910*z+t24911*x; t23633 = t24175*t24393; t24410 = t24139*t24175; t23928 = t24170*t24410; t24688 = y*t23928+t23633+t24118*t24516+z*t24428+t24764; t24517 = x*t24526; t24510 = y*t24531; t24687 = t24154*t24517+t24132*t24510+t24802+(t24360+t24359)*t24174; t24686 = t24176*t24301+t24109*t24487+t24168*t24327+t24144*t24369+(t24376+ t24425)*t24172+t24927*z; t24321 = t24175*t24416; t24685 = t24044*t24487+t24172*t24321+t24047*t24440+t24175*t23448+(t24917+ t24969)*z; t24534 = t24131*z; t24338 = t24170*t24534; t24684 = t24162*t24440+z*t24400+t24153*t24327+t24176*t24338+t24762; t24038 = t24139*t24170; t24295 = t24172*t24038; t24683 = t24125*t24309+t24171*t24295+t23991+t24129*t24172+t24949+t24953; t23915 = t24168*t24520; t24682 = t23976+t24129*y+t24139*t24373+t23736+t23915+t23909+t24125*t24317 +t23780; t24681 = t23429+t24174*t24384+t24874+t24883+t24891; t24680 = t24143*t24533+t23584+t24756+t24878; t24351 = t24107*t24531; t24364 = x*t24411; t24679 = t24107*t24364+t24124*t24515+t24174*t24351+RATIONAL(-32.0,27.0)* t24542+(t24510+t24517)*t24070+t24944*t24173; t23719 = t24175*t23984; t24354 = t24117*t24539; t24499 = t24174*t24133; t24678 = t23706+z*t24499+t24754+(t23719+t24354)*y; t24677 = t24795+t24796; t24329 = t24076*t24485; t24676 = t24172*t24391+t24078*t24327+(t24329+t24388)*t24176+(t24932+ t24966)*z; t24675 = t24765+t24880+t24900; t24674 = t23472+t23603+x*t23765+t24172*t24325+t24790; t24673 = t24780+t24172*t24466+t24173*t23782+(t24469+t23661)*x; t24672 = t23970+t24125*t24373+t24807+t24874; t24671 = t24778+t24938*z+(t24372+t23657)*x; t23073 = y*t24302; t24670 = t23073+t24732; t24669 = t24814+t24868; t24039 = t24141*t24170; t23902 = t24175*t24039; t23849 = t24136*t24411; t24668 = t24439*t24544+y*t23902+t23449+t23849+t24754; t24667 = t24086*t24323+t24173*t23421+t24912*x+t24910; t24472 = t24176*t24073; t24666 = z*t24472+t24128*t24440+t24175*t24295+t24176*t24354+t24782; t24382 = t24176*t24082; t23459 = t24171*t24382; t24665 = t24780+t24095*t24331+t24173*t24443+(t23459+t23964)*x; t23234 = t24173*t23732; t24664 = t23234+t24727; t24663 = t24811+t24929*z+(t24370+t23833)*x; t24322 = t24173*t24471; t24662 = y*t24322+x*t23915+t23438+t23682+t24812; t24363 = t24108*t24535; t24661 = t24888+t24174*t24363+t24173*t24294+t24890+t24961*y; t23575 = t24176*t24426; t24660 = t24173*t24494+t24172*t24312+t24772+(t23962+t23575)*x; t24659 = t24171*t24393+t23561+t24775+t24873; t23557 = t24082*t24457; t23672 = t24173*t24525; t23850 = t24173*t24481; t24658 = t23850+t24095*t24377+t23672+t24826+(t23557+t24005)*x; t24657 = t23815+t23599+t23823+t24172*t24305+t24175*t23812+(t24494+t24953) *z; t24656 = t24173*t23977+t24169*t24365+t24946*t24172+t24951*t24176+(t24458+ t24465)*x; t24503 = t24176*t24100; t24655 = t24173*t23739+t24102*t24496+t24772+(t23826+t24503)*x; t24528 = y*t24132; t23855 = x*t24528; t24362 = z*t24482; t24654 = t24150*t24362+t24134*t24364+t24154*t24510+t24175*t23855+t24802; t24307 = t24175*t24461; t24653 = t24173*t23863+y*t24307+t24522*t24544+(t23830+t23747)*x+(t23772+ t24954)*z; t23501 = t24078*t24520; t24652 = t24136*t24433+t23501+t24807+t24891; t24651 = t24127*t24331+t23570+t23420+x*t23553+t24790; t24650 = t24136*t24327+t24102*t24440+t24792+(t24503+t23812)*z; t24505 = t24084*t24176; t24649 = t24074*t24369+t24112*t24327+z*t24505+t23483+t24821; t23676 = t24120*t24495; t24648 = x*t24429+t24174*t23982+t24791+(t23676+t24381)*y; t23577 = x*t24505; t24371 = x*t24453; t24647 = t24112*t24331+t23577+t23565+t24074*t24371+t24753; t24646 = t24174*t24299+t24173*t23532+t24907*x+t24919; t24645 = t24078*t24303+y*t24329+t24947*z+t24904; t24644 = t24760+t24809; t24537 = y*t24050; t23523 = x*t24537; t24643 = t23523+t24169*t24514+t24951*t24174+t24946*y+t24958; t23225 = t24175*t23819; t24642 = t23225+t24729; t24356 = z*t24423; t24641 = z*t24437+t24127*t24440+t24172*t24304+t24176*t24356+t24774; t24640 = t24805+t24172*t24316+t24052*t24496+(t23645+t24470)*x; t24639 = t24173*t24444+t24076*t24323+t24916*t24172+(t24915+t24932)*x; t24638 = y*t24311+t24075*t24317+t24906+t24964; t24637 = y*t24446+t23557+t24765+t24848; t23767 = t24125*t24495; t24636 = t24781+t24174*t23998+x*t24499+(t23767+t24349)*y; t24635 = t24127*t24323+t23670+t23491+t24172*t24322+t23757+(t23981+t24949) *x; t24634 = x*t24417+t24141*t24331+t24114*t24371+t23622+t24801; t24489 = t24083*t24176; t24396 = t24078*t24172; t24633 = t24175*t24396+t24110*t24327+z*t24489+t24072*t24369+t24769; t24632 = t24085*t24327+t24176*t24321+t24913*z+t24911; t24631 = z*t23850+t24466*t24544+t24778+t24922*x; t23683 = t24174*t23997; t24630 = t24761+t24105*t24364+t24134*t24517+(t23683+t23626)*z; t24629 = t23499+t24144*t24331+t24173*t24001+t24176*t24302+(t24943+t24955) *x; t24628 = t24113*t24373+t24100*t24174+t24878+t24886+t24901; t24627 = t23225+t24716; t23794 = t24173*t24393; t24626 = t24175*t24507+t24135*t24364+t24787+(t23811+t23794)*z; t24504 = t24137*t24176; t24126 = RATIONAL(-5.0,24.0); t24625 = z*t24504+t24155*t24327+t24126*t24369+t24169*t24440+t24776; t24041 = t24143*t24173; t23934 = t24174*t24028; t24415 = t24119*t24175; t24333 = x*t24415; t24361 = t24175*t24529; t24624 = t24041*t24544+t24174*t24333+y*t24361+z*t23934+t24799; t24049 = RATIONAL(32.0,27.0); t24623 = t24099*t24347+t24106*t24324+t24050*t24346+t24173*t23524+t24124* t24313+t24049*t24508+t24945*t24176; t24622 = t24175*t23523+t24050*t24510+t24049*t24542+t24099*t24362+t24945* t24174+t24931*t24173; t24621 = t24143*t24341+y*t24342+t24128*t24303+t24175*t23892+(t24537+ t24448)*z+t24931; t24620 = t24746+t24833; t24619 = t24897+t24116*t24303+t24108*t24341+t24971*z+(t24332+t24356)*y; t24618 = t24176*t24300+t24175*t24001+t23461+t24172*t24326+(t24935+t24955) *z; t24366 = t24126*t24535; t24617 = t24155*t24331+t24176*t24366+x*t24504+t24172*t24030+t24758; t23877 = t24173*t24408; t24616 = t24784+t24174*t24361+y*t24333+(t23877+t24345)*z; t24615 = t24141*t24327+t23635+t23434+t24176*t24352+t24783; t24158 = RATIONAL(-8.0,9.0); t24037 = t24158*x; t23871 = t24175*t24037; t24614 = t24168*t24364+t24137*t24362+t24130*t24510+y*t23871+t24779; t24613 = t24139*t24331+x*t24472+t24176*t24349+t24172*t23998+t24797; t24422 = t24176*t24135; t24612 = z*t24422+t24096*t24440+t24108*t24369+t24113*t24327+t24777; t24611 = t24173*t23750+t24174*t24307+(t23702+t23773)*x+(t24513+t23672+ t24958)*z; t24610 = t24788+t24072*t24371+x*t24489+(t24396+t24306)*t24173; t24609 = t24173*t24367+t24893+y*t24363+t24885+t24961*t24174; t24608 = y*t24299+t24076*t24330+t24906*x+t24952; t24607 = t24810+t24814; t24034 = t24158*z; t23867 = t24173*t24034; t24536 = y*t24130; t23654 = x*t24536; t24606 = t24137*t24364+t24168*t24362+t24175*t23654+y*t23867+t24779; t24605 = t24176*t24391+t24172*t24388+t24170*t23536+t24076*t24327+(t24928+ t24936)*z; t24604 = t24811+t24102*t24510+z*t23652+t24937*x; t24603 = t24173*t23969+t24076*t24331+t24916*t24176+(t24936+t24956)*x; t24602 = RATIONAL(16.0,9.0)*t24543+t24159*t24313+t23867+t24283+t23871+ t24169*t24512+t23883+t24850; t24241 = t24768+t24786; t24601 = t24241+t24817+z*t23776+x*t23439+(t24348+t24351)*y; t24600 = t24862+t24175*t24419+t24855+t24849+z*t24011+t24055*t24313+t24914 *x; t23433 = t24065*t24411; t24243 = t24768+t24803; t24599 = z*t23857+y*t24375+t24243+t24817+(t23865+t23433)*x; t24242 = t24760+t24773; t24598 = t23438+t24242+y*t24316+t24835+t24839+(t23532+t23965)*x; t24115 = RATIONAL(-1.0,16.0); t24597 = RATIONAL(5.0,64.0)*t24308+t24115*t24441+t23473+RATIONAL(-1.0, 64.0)*t24309+t24871+t24920+t24924; t24090 = RATIONAL(1.0,16.0); t24596 = t23419+t24090*t24441+RATIONAL(1.0,64.0)*t24309+RATIONAL(-5.0, 64.0)*t24308+t24879+t24905+t24960; t23462 = t24170*t24382; t24595 = t24172*t24301+t24109*t24440+t24867+t24804+t24858+(t23964+t23462) *z; t24404 = t24150*t24176; t24164 = RATIONAL(2.0,3.0); t24594 = t24034+t24164*t24539+z*t24404+t24141*t24369+t24159*t24440+t24118 *t24327+t24762+t24902; t24434 = t24172*t24079; t24593 = t23676+t23997+t24788+(t23800+t24434)*t24173+(t24924+t24940)*x; t24091 = RATIONAL(-5.0,16.0); t24147 = RATIONAL(1.0,4.0); t24592 = t24147*t24441+t24091*t24308+t24090*t24309+t23612+t24894+t24921+ t24926+t24967; t24436 = t24173*t24141; t23869 = t24171*t24436; t23687 = t24126*t24435; t24591 = t24173*t23687+t23869+t24105*t24496+t24797+t23982+(t24921+t24941) *x; t23796 = t24172*t24387; t24026 = t24139*t24171; t23876 = t24173*t24026; t24590 = t23770+t24173*t23796+t24801+t23998+t23876+t24889+t24948*x; t24589 = t24806+t23573+y*t24325+t24836+t24839+(t23501+t23954)*x; t24588 = t23796+t24026+t24171*t24407+t23798+t24736+t24892; t24587 = t24117*t24331+t24173*t24459+t24041+t24757+t24094*t24495+(t24934+ t24903)*x; t24016 = t24153*t24170; t23936 = t24175*t24016; t24163 = RATIONAL(-2.0,3.0); t24586 = t24166*t24440+t24163*t24539+t24123*t24327+t24139*t24369+t24776+ t23936+t24017+t24950*z; t24585 = t24106*t24440+t24864+t24128*t24327+t24792+t24867+(t23571+t23962) *z; t24584 = t24125*t24453+t23687+t24141*t24171+t23690+t24737+t24895; t24018 = t24166*t24172; t24156 = RATIONAL(-1.0,4.0); t24103 = RATIONAL(5.0,16.0); t24583 = t24018+t23845+t24162+t23843+t24016+t24103*t24308+t24115*t24309+ t24156*t24441+t24918+t24948; t24582 = t24753+t24173*t23700+t24011+t23767+t23456+t24905*x; t24581 = t24782+t23902+t24010+t24126*t24327+t24105*t24440+(t24033+t23621+ t24941)*z; t24483 = t24101*t24173; t24580 = t24759+t24028+t24171*t24483+t24173*t24475+t24114*t24331+(t24875+ t24959)*x; t24579 = t24131*t24327+t23805+t24004+t23928+t24783+(t24016+t23852+t24968) *z; t24284 = t23571+t24823; t24578 = t24284+t24751+t24808+t24831; t24577 = t24742+t24770+t24803; t24279 = t23462+t24827; t24576 = t24279+t24721+t24744; t24575 = t24743+t24786+t24793; t24574 = t24660+t24739; t24573 = t24629+t24718; t24399 = t23439+t23459; t24572 = t24399+t24720+t24733; t24571 = t24680+t24731; t24570 = t24657+t24719; t24569 = t24680+t24722; t24498 = t23433+t23575; t24568 = t24498+t24785+t24808+t24825+t24828; t24567 = t24635+t24724; t24566 = t24618+t24735; t24565 = t24637+t24722; t24564 = t24637+t24731; t24563 = t24662+t24700; t24562 = t24629+t23462+t24724; t24561 = t24652+t24814+t24870; t24560 = t24711+t24810+t24869; t24559 = t24676+t24681; t24558 = t24652+t24711; t24557 = t24605+t24681; t24556 = t24603+t24604; t24555 = t24663+t24674; t24554 = t24635+t23571+t24718; t24553 = t24659+t24676; t24552 = t24640+t24671; t24551 = t24658+t24665; t24550 = t24631+t24639; t24549 = t24605+t24659; t24548 = t24763+t24766+t24813+t24816; t24547 = t23520+t24173*t23651+x*t23834+t24767+t24826+t24861+t24899+t24938 ; t24546 = t24607+t24869+t24870; t24146 = RATIONAL(5.0,3.0); t24518 = t24146*z; t24497 = t24108*t24176; t24492 = t24146*t24175; t24491 = t24123*t24175; t24027 = t24144*t24175; t24480 = t24094*t24175; t24467 = t24101*t24175; t24357 = t24055*t24531; t24355 = t24173*t24527; t24350 = t24119*t24531; t24334 = t24073*t24531; t24293 = t23571+t24827; t24292 = t23123+t24833; t24289 = t23234+t24830; t24288 = t23575+t24832; t24285 = t23462+t24823; t24282 = z*t23577+t24082*t24313+t24862; t24278 = t23459+t24832; t24277 = t23225+t24830; t24276 = t23073+t24830; t24275 = t24131*t24175+RATIONAL(-25.0,48.0)*z; t24274 = t24126*z+t24480; t24273 = t24534+t24467; t24063 = RATIONAL(25.0,48.0); t24272 = t24063*z+t24126*t24175; t24271 = t24157*t24172+t24141*t24176+t24164; t24059 = RATIONAL(-25.0,12.0); t24270 = t24146+t24118*t24176+t24059*t24172; t24140 = RATIONAL(5.0,8.0); t24269 = t24140+t24104*t24176+RATIONAL(-25.0,32.0)*t24172; t24145 = RATIONAL(-5.0,8.0); t24268 = RATIONAL(25.0,8.0)*t24172+t24145*t24176+RATIONAL(-5.0,2.0); t24077 = RATIONAL(25.0,96.0); t24267 = t24126+t24111*t24176+t24077*t24172; t24266 = t24131+t24502+t24497; t24265 = t24113*t24176+t24117*t24172+t24094; t24264 = t24163+t24160*t24172+t24139*t24176; t24263 = t24101+t24114*t24172+t24116*t24176; t24262 = t24097*t24176+t24145+RATIONAL(25.0,32.0)*t24172; t24261 = t24103*t24176+RATIONAL(5.0,4.0)+RATIONAL(-25.0,16.0)*t24172; t24260 = t24147+t24091*t24172+t24090*t24176; t24259 = RATIONAL(1.0,2.0)+t24149*t24176+t24145*t24172; t24258 = RATIONAL(-1.0,2.0)+t24140*t24172+t24161*t24176; t24087 = RATIONAL(25.0,16.0); t24138 = RATIONAL(-5.0,4.0); t24257 = t24138+t24087*t24172+t24091*t24176; t24256 = t24115*t24176+t24156+t24103*t24172; t24255 = RATIONAL(25.0,12.0)*t24172+t24123*t24176+t24151; t24253 = t24497*t24543+t24175*t24436+t24126*t24313+x*t24534+t24856; t24252 = RATIONAL(-10.0,3.0)*t24543+t24160*t24313+t24157*t24512+t24163* t24462+t24846; t24251 = t24077*t24512+t24120*t24313+t24837+t24856+t24860; t24068 = RATIONAL(-25.0,24.0); t24250 = t24164*t24313+t24068*t24512+t24846+t24852+t24865; t24249 = t24282+t24888*z+(t24339+t23633)*t24173; t24248 = t24173*t23849+t24089*t24374+t24282+t24893*z; t24247 = t24785+t24840+t24861; t24246 = t24766+t24796; t24245 = t24767+t24808; t24244 = t24796+t24813; t24152 = RATIONAL(4.0,3.0); t24240 = t24152*t24531+x*t24492+t24153*t24347+t24059*t24346+t24252+t24852 ; t24239 = t24253+x*t24491+t24063*t24346+t24860+(t24483+t24310)*z; t24238 = t24152*t24530+t24153*t24380+t24173*t24518+t24059*t24378+t24252+ t24865; t24237 = t24116*t24380+t24123*t24531+x*t24467+t24063*t24378+t24253+t24837 ; t24236 = t24248+t24073*t24517+t24055*t24364+t24815+t24885*z; t24235 = x*t23930+t24027*t24545+y*t24350+t24174*t24355+t24747+t24784; t24234 = t23559+t23794+y*t23876+t24118*t24514+t24740+t24791; t24233 = t23877+x*t24409+t24094*t24330+t23654+t24174*t24366+t24749+( t24343+t24877)*y; t24232 = t24135*t24362+t24137*t24510+y*t23705+x*t23633+t24752+t24787; t24231 = y*t24357+t24249+t24174*t24334+t24789+t24897*x; t24230 = t24174*t24368+t23934+t24157*t24514+x*t24456+t23855+t24101*t24330 +t24749+t24884*y; t24229 = t24174*t24357+t24248+y*t24334+t24789+t24881*x; t24228 = t24172*t24319+x*t24422+t24176*t24363+t24096*t24496+t24741+t24759 ; t24227 = t24748+z*t24536+t23821+t24126*t24341+t23930+t24094*t24303+( t24340+t24902)*y; t24226 = x*t23905+t24174*t24350+y*t24355+t24022*t24545+t24747+t24799; t24225 = x*t24438+t23683+y*t23869+t24394*t24545+t24740+t24781; t24224 = t24249+t24055*t24517+t24073*t24364+t24815+t24890*z; t24223 = t24752+t24105*t24362+y*t24359+t24761+(t23721+t23849)*x; t24222 = t23769+t24174*t24338+t24101*t24303+z*t24528+t24748+(t24344+ t23936)*y+t24965; t24221 = t23604+t24111*t24371+t24172*t24419+t24116*t24331+t24741+t24757; t24220 = t24039+t24126*t24463+t24730+t23717+t23700+t24737+t24959; t24219 = t24123*t24331+t24602+t24163*t24535+t24139*t24371+t24173*t24018+ t24758+t24950*x+t24884; t24218 = t24027+t24717+t24133*t24440+t24170*t24467+t24777+t24114*t24327+( t24875+t24895)*z; t24217 = t24117*t24327+t24170*t24480+t24022+t24172*t24415+t24774+t24717+( t24892+t24903)*z; t24216 = t24038+t23800+t23803+t24730+t24131*t24463+t24736+t24934; t24215 = t23996+t23638+t24108*t24327+t24175*t24434+t24600+t24769+t24871*z ; t24214 = t24141*t24371+x*t24404+t24037+t24164*t24535+t24602+t24819+t24894 *t24173+t24877; t24213 = t23493+t23719+t24600+t24111*t24327+t24821+t24879*z+t24914; t24212 = t24547+t24671+t24674; t24211 = t24727+t24247+t24289+t23123+t24745+t24824+t24836+t24841; t24210 = t24246+t24595+t24662+t24816; t24209 = t24285+t24721+t24589+t24751+t24767; t24208 = t24623+t24622+t24621+t24708; t24207 = t24601+t24665+t24739+t24832; t24206 = t24623+t24679+t24656+t24704; t24205 = t24655+t24627+t24246+t24795+t24866+t24900; t24204 = t24677+t24276+t24694+t24732+t24738; t24203 = t24241+t24585+t24742+t24793+t24823; t24202 = t24638+t24689+t24690+t24701; t24201 = t24242+t24669+t24672+t23073+t24809+t24822; t24200 = t24691+t24685+t24689+t24714; t24199 = t24245+t24589+t24293+t24744+t24831; t24198 = t24603+t24598+t24631; t24197 = t24623+t24643+t24683+t24693; t24196 = t23433+t24720+t24247+t24278+t24734+t24828+t24835; t24195 = t24620+t24611+t24628+t24677; t24194 = t24585+t24243+t24743+t24770+t24827; t24193 = t24618+t23439+t24599+t24719; t24192 = t24667+t24608+t24689+t24699; t24191 = t24644+t24702+t24705+t24712; t24190 = t24632+t24689+t24646+t24715; t24189 = t24244+t24595+t24700+t24763; t24188 = t24245+t24733+t23439+t24288+t24734+t24825+t24861; t24187 = t24547+t24640+t24663; t24186 = t24642+t24695+t24644+t24709; t24185 = t24623+t24698+t24686+t24710; t24184 = t24604+t24598+t24639; t24183 = t24653+t24244+t24673+t23234+t24795+t24829; t24182 = t24601+t24658+t24660; t24181 = t23433+t24657+t24599+t24735; coeffs_dxz->coeff_m2_m2_m2 = t24200+t24608+t24701+t24696+t24715; coeffs_dxz->coeff_m1_m2_m2 = t24553+t24188+t24552; coeffs_dxz->coeff_0_m2_m2 = t24609+t24224+t24610; coeffs_dxz->coeff_p1_m2_m2 = t24196+t24557+t24552; coeffs_dxz->coeff_p2_m2_m2 = t24202+t24632+t24608+t24645+t24691; coeffs_dxz->coeff_m2_m1_m2 = t24191+t24642+t24669+t24664+t24703; coeffs_dxz->coeff_m1_m1_m2 = t24563+t24203+t24562; coeffs_dxz->coeff_0_m1_m2 = t24225+t24613+t24626; coeffs_dxz->coeff_p1_m1_m2 = t24573+t24210+t24575+t24293; coeffs_dxz->coeff_p2_m1_m2 = t24703+t24211+t24672+t24709+t24712; coeffs_dxz->coeff_m2_0_m2 = t24215+t24596+t24593; coeffs_dxz->coeff_m1_0_m2 = t24217+t24584+t24591; coeffs_dxz->coeff_0_0_m2 = (t24256*t24171+t24265)*t24173+t24239+(t24269* t24171+t24267)*x; coeffs_dxz->coeff_p1_0_m2 = t24218+t24588+t24591; coeffs_dxz->coeff_p2_0_m2 = t24597+t24593+t24213; coeffs_dxz->coeff_m2_p1_m2 = t24695+t24703+t24201+t24292+t24725+t24750; coeffs_dxz->coeff_m1_p1_m2 = t24194+t24548+t24562; coeffs_dxz->coeff_0_p1_m2 = t24234+t24613+t24630; coeffs_dxz->coeff_p1_p1_m2 = t24573+t24577+t24189+t24284; coeffs_dxz->coeff_p2_p1_m2 = t24703+t24186+t24702+t24276+t24726+t24745; coeffs_dxz->coeff_m2_p2_m2 = t24200+t24638+t24645+t24646+t24699; coeffs_dxz->coeff_m1_p2_m2 = t24187+t24559+t24568; coeffs_dxz->coeff_0_p2_m2 = t24610+t24236+t24661; coeffs_dxz->coeff_p1_p2_m2 = t24187+t24572+t24549; coeffs_dxz->coeff_p2_p2_m2 = t24691+t24190+t24690+t24696+t24699; coeffs_dxz->coeff_m2_m2_m1 = t24550+t24546+t24199; coeffs_dxz->coeff_m1_m2_m1 = t24204+t24653+t24628+t24650+t24655; coeffs_dxz->coeff_0_m2_m1 = t24616+t24221+t24636; coeffs_dxz->coeff_p1_m2_m1 = t24620+t24653+t24205+t24670+t24692; coeffs_dxz->coeff_p2_m2_m1 = t24209+t24550+t24558; coeffs_dxz->coeff_m2_m1_m1 = t23433+t24571+t24182+t23459+t24566; coeffs_dxz->coeff_m1_m1_m1 = t24698+t24693+t24206+t24682+t24708; coeffs_dxz->coeff_0_m1_m1 = t24233+t24606+t24697; coeffs_dxz->coeff_p1_m1_m1 = t24206+t24621+t24686+t24683+t24713; coeffs_dxz->coeff_p2_m1_m1 = t23575+t24565+t23439+t24182+t24570; coeffs_dxz->coeff_m2_0_m1 = t24220+t24581+t24587; coeffs_dxz->coeff_m1_0_m1 = t24594+t24592+t24214; coeffs_dxz->coeff_0_0_m1 = (t24259*t24171+t24264)*t24173+t24240+(t24257* t24171+t24270)*x; coeffs_dxz->coeff_p1_0_m1 = t24586+t24214+t24583; coeffs_dxz->coeff_p2_0_m1 = t24216+t24587+t24579; coeffs_dxz->coeff_m2_p1_m1 = t24564+t24193+t24574+t24278; coeffs_dxz->coeff_m1_p1_m1 = t24698+t24643+t24208+t24656+t24713; coeffs_dxz->coeff_0_p1_m1 = t24230+t24654+t24697; coeffs_dxz->coeff_p1_p1_m1 = t24197+t24622+t24682+t24656+t24686; coeffs_dxz->coeff_p2_p1_m1 = t24569+t24181+t24574+t24288; coeffs_dxz->coeff_m2_p2_m1 = t24184+t24561+t24578; coeffs_dxz->coeff_m1_p2_m1 = t24205+t24289+t24611+t24650+t24728+t24738; coeffs_dxz->coeff_0_p2_m1 = t24624+t24221+t24648; coeffs_dxz->coeff_p1_p2_m1 = t24195+t24655+t24692+t23234+t24694+t24728; coeffs_dxz->coeff_p2_p2_m1 = t24184+t24560+t24576; coeffs_dxz->coeff_m2_m2_0 = t24231+t24633+t24706; coeffs_dxz->coeff_m1_m2_0 = t24235+t24641+t24678; coeffs_dxz->coeff_0_m2_0 = (t24273*t24174+t24274*y)*t24173+(t24275*t24174 +t24272*y)*x+t24251; coeffs_dxz->coeff_p1_m2_0 = t24612+t24235+t24707; coeffs_dxz->coeff_p2_m2_0 = t24231+t24619+t24649; coeffs_dxz->coeff_m2_m1_0 = t24232+t24666+t24668; coeffs_dxz->coeff_m1_m1_0 = t24614+t24227+t24684; coeffs_dxz->coeff_0_m1_0 = ((t24141*t24175+t24123*z)*t24174+(t24163* t24175+t24518)*y)*t24173+((t24491+RATIONAL(25.0,24.0)*z)*t24174+(t24492+ RATIONAL(-25.0,6.0)*z)*y)*x+t24250; coeffs_dxz->coeff_p1_m1_0 = t24614+t24222+t24625; coeffs_dxz->coeff_p2_m1_0 = t24232+t24615+t24688; coeffs_dxz->coeff_m2_0_0 = t24237+(t24256*t24170+t24265)*t24175+(t24269* t24170+t24267)*z; coeffs_dxz->coeff_m1_0_0 = (t24259*t24170+t24264)*t24175+(t24257*t24170+ t24270)*z+t24238; coeffs_dxz->coeff_0_0_0 = ((t24138*t24172+1.0+t24147*t24176)*t24175+ t24268*z)*t24173+(t24268*t24175+(RATIONAL(-125.0,16.0)*t24172+t24087*t24176+ RATIONAL(25.0,4.0))*z)*x; coeffs_dxz->coeff_p1_0_0 = t24238+(t24258*t24170+t24271)*t24175+(t24261* t24170+t24255)*z; coeffs_dxz->coeff_p2_0_0 = (t24260*t24170+t24263)*t24175+(t24262*t24170+ t24266)*z+t24237; coeffs_dxz->coeff_m2_p1_0 = t24223+t24666+t24688; coeffs_dxz->coeff_m1_p1_0 = t24684+t24222+t24687; coeffs_dxz->coeff_0_p1_0 = ((t24410+t24118*z)*t24174+(t24151*z+t24164* t24175)*y)*t24173+((t24068*z+t24118*t24175)*t24174+(t24151*t24175+t24122*z)*y)* x+t24250; coeffs_dxz->coeff_p1_p1_0 = t24227+t24625+t24687; coeffs_dxz->coeff_p2_p1_0 = t24223+t24615+t24668; coeffs_dxz->coeff_m2_p2_0 = t24229+t24619+t24633; coeffs_dxz->coeff_m1_p2_0 = t24641+t24226+t24707; coeffs_dxz->coeff_0_p2_0 = (t24274*t24174+t24273*y)*t24173+(t24272*t24174 +t24275*y)*x+t24251; coeffs_dxz->coeff_p1_p2_0 = t24612+t24226+t24678; coeffs_dxz->coeff_p2_p2_0 = t24229+t24649+t24706; coeffs_dxz->coeff_m2_m2_p1 = t24198+t24561+t24576; coeffs_dxz->coeff_m1_m2_p1 = t24183+t24675+t24292+t24650+t24723+t24746; coeffs_dxz->coeff_0_m2_p1 = t24228+t24616+t24648; coeffs_dxz->coeff_p1_m2_p1 = t24183+t24692+t24277+t24628+t24716+t24738; coeffs_dxz->coeff_p2_m2_p1 = t24198+t24560+t24578; coeffs_dxz->coeff_m2_m1_p1 = t24207+t24565+t24498+t24566; coeffs_dxz->coeff_m1_m1_p1 = t24197+t24679+t24710+t24708+t24713; coeffs_dxz->coeff_0_m1_p1 = t24230+t24606+t24617; coeffs_dxz->coeff_p1_m1_p1 = t24679+t24643+t24185+t24621+t24682; coeffs_dxz->coeff_p2_m1_p1 = t24571+t24207+t24570+t24399; coeffs_dxz->coeff_m2_0_p1 = t24580+t24581+t24216; coeffs_dxz->coeff_m1_0_p1 = t24594+t24219+t24583; coeffs_dxz->coeff_0_0_p1 = t24240+(t24258*t24171+t24271)*t24173+(t24261* t24171+t24255)*x; coeffs_dxz->coeff_p1_0_p1 = t24219+t24592+t24586; coeffs_dxz->coeff_p2_0_p1 = t24220+t24580+t24579; coeffs_dxz->coeff_m2_p1_p1 = t24551+t23575+t24569+t24193; coeffs_dxz->coeff_m1_p1_p1 = t24208+t24683+t24682+t24704+t24710; coeffs_dxz->coeff_0_p1_p1 = t24233+t24617+t24654; coeffs_dxz->coeff_p1_p1_p1 = t24693+t24622+t24185+t24704+t24713; coeffs_dxz->coeff_p2_p1_p1 = t24551+t24564+t24181+t23459; coeffs_dxz->coeff_m2_p2_p1 = t24209+t24556+t24546; coeffs_dxz->coeff_m1_p2_p1 = t24195+t24627+t24670+t24650+t24673; coeffs_dxz->coeff_0_p2_p1 = t24228+t24624+t24636; coeffs_dxz->coeff_p1_p2_p1 = t24204+t24673+t24675+t24611+t24692; coeffs_dxz->coeff_p2_p2_p1 = t24556+t24558+t24199; coeffs_dxz->coeff_m2_m2_p2 = t24667+t24202+t24685+t24646+t24696; coeffs_dxz->coeff_m1_m2_p2 = t24212+t24559+t24572; coeffs_dxz->coeff_0_m2_p2 = t24647+t24224+t24661; coeffs_dxz->coeff_p1_m2_p2 = t24212+t24568+t24549; coeffs_dxz->coeff_p2_m2_p2 = t24667+t24190+t24645+t24701+t24714; coeffs_dxz->coeff_m2_m1_p2 = t24277+t24201+t24712+t24651+t24729+t24745; coeffs_dxz->coeff_m1_m1_p2 = t24203+t24548+t24554; coeffs_dxz->coeff_0_m1_p2 = t24234+t24626+t24634; coeffs_dxz->coeff_p1_m1_p2 = t24567+t24279+t24575+t24189; coeffs_dxz->coeff_p2_m1_p2 = t24191+t24709+t24651+t24725+t23123+t23073+ t24726; coeffs_dxz->coeff_m2_0_p2 = t24215+t24582+t24597; coeffs_dxz->coeff_m1_0_p2 = t24217+t24588+t24590; coeffs_dxz->coeff_0_0_p2 = t24239+(t24260*t24171+t24263)*t24173+(t24262* t24171+t24266)*x; coeffs_dxz->coeff_p1_0_p2 = t24218+t24584+t24590; coeffs_dxz->coeff_p2_0_p2 = t24596+t24582+t24213; coeffs_dxz->coeff_m2_p1_p2 = t24695+t24607+t24211+t24651+t24868+t24882+ t24887; coeffs_dxz->coeff_m1_p1_p2 = t24563+t24194+t24554; coeffs_dxz->coeff_0_p1_p2 = t24630+t24225+t24634; coeffs_dxz->coeff_p1_p1_p2 = t24567+t24285+t24210+t24577; coeffs_dxz->coeff_p2_p1_p2 = t24186+t24672+t24651+t24664+t24705; coeffs_dxz->coeff_m2_p2_p2 = t24192+t24685+t24645+t24690+t24715; coeffs_dxz->coeff_m1_p2_p2 = t24555+t24196+t24553; coeffs_dxz->coeff_0_p2_p2 = t24236+t24609+t24647; coeffs_dxz->coeff_p1_p2_p2 = t24555+t24557+t24188; coeffs_dxz->coeff_p2_p2_p2 = t24638+t24632+t24192+t24696+t24714;