fp t23938; fp t23946; fp t24047; fp t24046; fp t24051; fp t24049; fp t24194; fp t24219; fp t24606; fp t24605; fp t24045; fp t24050; fp t24196; fp t24224; fp t24604; fp t24603; fp t23940; fp t23948; fp t24602; fp t24601; fp t24048; fp t24183; fp t24158; fp t24185; fp t24159; fp t24600; fp t24187; fp t24161; fp t24189; fp t24181; fp t24599; fp t24164; fp t24169; fp t24598; fp t24165; fp t24188; fp t24174; fp t24597; fp t24184; fp t24167; fp t24186; fp t24168; fp t24596; fp t24170; fp t24195; fp t24178; fp t24544; fp t24162; fp t24171; fp t24595; fp t24191; fp t24173; fp t24214; fp t24212; fp t24594; fp t24193; fp t24176; fp t24234; fp t24233; fp t24593; fp t24190; fp t24172; fp t24197; fp t24180; fp t24592; fp t24591; fp t24590; fp t24235; fp t24542; fp t24215; fp t24589; fp t24221; fp t24588; fp t24217; fp t24207; fp t24222; fp t24211; fp t24587; fp t24192; fp t24175; fp t24208; fp t24586; fp t24585; fp t24163; fp t24209; fp t24541; fp t24223; fp t24540; fp t23976; fp t24584; fp t24583; fp t23943; fp t23979; fp t24582; fp t24581; fp t23653; fp t24580; fp t23861; fp t22821; fp t24579; fp t24578; fp t23651; fp t24577; fp t24576; fp t23859; fp t24236; fp t22830; fp t24575; fp t23987; fp t23692; fp t24574; fp t23939; fp t24160; fp t24573; fp t23690; fp t24572; fp t23951; fp t23990; fp t24571; fp t24570; fp t23710; fp t24569; fp t23867; fp t22895; fp t24568; fp t24567; fp t23708; fp t24566; fp t24565; fp t23865; fp t22904; fp t24564; fp t23925; fp t24563; fp t23983; fp t23065; fp t23876; fp t24562; fp t24561; fp t24206; fp t23492; fp t24465; fp t24560; fp t23054; fp t23874; fp t24559; fp t24213; fp t24210; fp t23493; fp t24464; fp t24558; fp t23994; fp t24177; fp t24441; fp t24557; fp t24179; fp t24440; fp t24556; fp t23981; fp t24555; fp t23201; fp t23882; fp t24554; fp t24553; fp t23538; fp t24461; fp t24552; fp t23190; fp t23881; fp t24551; fp t23539; fp t24463; fp t24550; fp t23887; fp t24431; fp t24549; fp t23885; fp t24433; fp t24548; fp t23947; fp t24019; fp t24547; fp t24032; fp t24017; fp t24203; fp t24546; fp t24026; fp t24038; fp t24198; fp t24545; fp t24543; fp t24539; fp t24538; fp t24537; fp t24536; fp t22893; fp t23866; fp t24535; fp t22819; fp t23860; fp t24534; fp t23879; fp t24034; fp t24533; fp t23109; fp t24532; fp t23877; fp t24531; fp t24530; fp t22976; fp t24529; fp t24528; fp t23922; fp t23926; fp t24527; fp t23414; fp t23415; fp t23436; fp t24526; fp t24525; fp t24524; fp t24523; fp t24522; fp t24521; fp t24520; fp t24519; fp t24518; fp t23944; fp t23992; fp t24517; fp t23634; fp t24516; fp t24515; fp t24016; fp t24028; fp t24514; fp t23650; fp t24513; fp t23988; fp t23997; fp t24022; fp t24512; fp t23015; fp t24511; fp t23652; fp t24510; fp t23904; fp t23906; fp t24509; fp t23952; fp t24508; fp t24507; fp t24506; fp t24505; fp t24037; fp t24504; fp t23707; fp t24503; fp t23974; fp t23977; fp t24502; fp t23148; fp t24501; fp t23709; fp t24500; fp t23897; fp t23899; fp t24499; fp t23160; fp t24498; fp t24497; fp t23941; fp t23949; fp t24462; fp t24366; fp t24166; fp t24453; fp t24496; fp t23027; fp t23945; fp t23937; fp t23921; fp t24405; fp t24126; fp t24495; fp t24494; fp t24367; fp t24493; fp t24127; fp t24492; fp t24491; fp t24432; fp t24442; fp t24123; fp t24490; fp t24148; fp t24489; fp t24149; fp t24488; fp t24487; fp t24486; fp t24485; fp t23920; fp t23924; fp t24484; fp t24483; fp t24482; fp t24481; fp t24480; fp t24479; fp t24478; fp t24477; fp t24476; fp t24475; fp t23958; fp t23973; fp t24010; fp t24474; fp t24473; fp t23932; fp t23998; fp t24044; fp t24472; fp t24471; fp t24470; fp t23935; fp t24469; fp t23942; fp t24468; fp t24467; fp t23491; fp t24466; fp t23927; fp t24460; fp t24459; fp t24458; fp t24457; fp t24455; fp t24452; fp t23918; fp t23950; fp t24451; fp t23551; fp t23955; fp t24450; fp t24449; fp t24448; fp t24447; fp t24446; fp t23964; fp t23975; fp t24445; fp t23968; fp t24444; fp t23972; fp t23978; fp t24443; fp t23878; fp t24439; fp t24000; fp t24437; fp t24436; fp t23980; fp t24435; fp t23982; fp t24012; fp t24434; fp t23985; fp t24008; fp t24429; fp t23954; fp t24428; fp t24427; fp t23986; fp t23999; fp t24426; fp t23886; fp t24425; fp t23989; fp t24007; fp t24424; fp t23993; fp t24040; fp t24423; fp t24422; fp t24421; fp t24001; fp t24420; fp t24419; fp t24014; fp t24418; fp t23931; fp t24029; fp t24417; fp t23970; fp t24416; fp t23966; fp t24043; fp t24415; fp t23996; fp t24218; fp t24414; fp t24413; fp t24412; fp t24411; fp t24410; fp t24409; fp t24408; fp t24407; fp t24406; fp t24404; fp t24403; fp t24402; fp t23933; fp t23953; fp t24401; fp t24400; fp t24399; fp t24398; fp t23740; fp t23934; fp t24397; fp t24396; fp t23735; fp t24395; fp t24394; fp t23967; fp t24002; fp t24393; fp t24392; fp t24391; fp t24390; fp t24389; fp t23965; fp t24388; fp t24387; fp t24386; fp t23819; fp t23963; fp t24005; fp t24385; fp t23813; fp t24384; fp t23463; fp t23870; fp t24003; fp t24023; fp t24383; fp t24011; fp t24033; fp t24042; fp t24382; fp t24146; fp t24381; fp t24144; fp t24380; fp t23462; fp t23884; fp t23704; fp t24216; fp t24379; fp t23883; fp t23702; fp t24378; fp t23645; fp t24377; fp t24220; fp t23648; fp t24376; fp t24375; fp t24374; fp t23691; fp t23103; fp t24150; fp t24373; fp t24154; fp t24372; fp t23693; fp t23122; fp t24152; fp t24371; fp t24156; fp t24370; fp t23873; fp t23636; fp t22988; fp t24153; fp t24369; fp t24157; fp t24368; fp t23875; fp t23635; fp t22970; fp t24151; fp t24365; fp t24155; fp t24364; fp t24363; fp t24362; fp t24361; fp t24360; fp t24359; fp t24358; fp t24357; fp t24356; fp t24355; fp t24232; fp t24354; fp t24353; fp t24352; fp t24351; fp t24350; fp t24230; fp t24349; fp t24348; fp t23741; fp t24347; fp t24231; fp t24346; fp t23681; fp t24227; fp t24345; fp t23737; fp t24344; fp t24343; fp t23685; fp t24342; fp t24229; fp t24341; fp t23869; fp t24340; fp t24030; fp t23831; fp t23969; fp t24020; fp t24024; fp t24339; fp t23807; fp t24228; fp t24338; fp t23829; fp t24337; fp t23809; fp t24336; fp t24335; fp t24334; fp t24226; fp t24333; fp t24332; fp t24331; fp t24330; fp t24329; fp t24004; fp t24035; fp t24328; fp t24327; fp t24225; fp t24326; fp t24325; fp t23680; fp t24182; fp t24132; fp t24324; fp t23688; fp t24133; fp t24323; fp t24322; fp t24321; fp t24320; fp t24319; fp t24318; fp t24317; fp t24316; fp t24315; fp t24314; fp t24313; fp t24312; fp t24311; fp t24310; fp t24309; fp t24308; fp t24307; fp t24306; fp t24305; fp t24304; fp t24303; fp t24302; fp t24301; fp t24300; fp t24299; fp t24298; fp t24297; fp t24296; fp t24295; fp t24294; fp t24293; fp t24292; fp t24291; fp t24290; fp t24289; fp t24288; fp t24287; fp t24286; fp t24285; fp t24284; fp t24283; fp t24282; fp t24281; fp t24280; fp t24279; fp t24278; fp t24277; fp t24276; fp t24275; fp t24274; fp t24273; fp t24272; fp t24271; fp t24270; fp t24269; fp t23936; fp t23956; fp t24268; fp t24267; fp t24266; fp t24265; fp t24264; fp t24263; fp t24262; fp t24261; fp t24260; fp t24259; fp t23853; fp t24258; fp t23851; fp t24257; fp t24256; fp t24255; fp t24122; fp t24254; fp t24253; fp t23910; fp t24252; fp t23908; fp t24251; fp t24250; fp t24249; fp t24248; fp t24247; fp t24246; fp t24245; fp t24244; fp t24243; fp t24242; fp t24241; fp t24240; fp t24239; fp t24238; fp t24237; fp t23871; fp t23872; fp t24205; fp t24204; fp t23889; fp t23890; fp t24202; fp t24201; fp t24200; fp t24199; fp t23812; fp t23834; fp t23665; fp t23672; fp t23720; fp t23727; fp t23805; fp t23810; fp t23814; fp t23827; fp t23832; fp t23835; fp t24143; fp t23928; fp t24142; fp t24027; fp t24039; fp t24141; fp t23971; fp t23995; fp t24031; fp t24140; fp t23930; fp t24139; fp t23959; fp t24138; fp t24137; fp t23984; fp t24006; fp t24025; fp t24136; fp t24135; fp t24134; fp t24131; fp t24130; fp t24125; fp t24124; fp t24121; fp t24120; fp t23917; fp t23991; fp t24119; fp t24118; fp t23960; fp t24021; fp t24117; fp t24116; fp t24115; fp t24114; fp t24113; fp t24112; fp t24111; fp t24110; fp t24109; fp t24108; fp t24107; fp t24106; fp t24105; fp t24015; fp t24036; fp t24104; fp t24103; fp t24102; fp t24101; fp t24100; fp t24099; fp t24098; fp t24097; fp t24096; fp t24095; fp t24094; fp t24093; fp t24092; fp t24091; fp t24090; fp t24089; fp t24088; fp t24087; fp t24086; fp t24085; fp t24084; fp t24083; fp t24082; fp t24081; fp t24080; fp t24079; fp t24078; fp t24077; fp t24076; fp t24075; fp t24074; fp t24073; fp t24072; fp t24071; fp t24070; fp t24069; fp t24068; fp t24067; fp t24066; fp t24065; fp t24064; fp t24063; fp t24062; fp t24061; fp t24060; fp t24059; fp t24058; fp t24057; fp t24056; fp t24041; fp t24018; fp t24013; fp t24009; fp t23962; fp t23961; fp t23957; fp t23929; t23938 = RATIONAL(1.0,576.0); t23946 = RATIONAL(-1.0,576.0); t24047 = z*z; t24046 = z*t24047; t24051 = x*x; t24049 = t24051*t24051; t24194 = t24046*t24049; t24219 = t24049*z; t24606 = t23938*t24194+t23946*t24219; t24605 = t23938*t24219+t23946*t24194; t24045 = t24047*t24047; t24050 = x*t24051; t24196 = t24045*t24050; t24224 = t24045*x; t24604 = t23938*t24196+t23946*t24224; t24603 = t23938*t24224+t23946*t24196; t23940 = RATIONAL(1.0,288.0); t23948 = RATIONAL(-1.0,288.0); t24602 = t23940*t24047+t23948*t24045; t24601 = t23940*t24051+t23948*t24049; t24048 = y*y; t24183 = t24051*t24048; t24158 = t24045*t24183; t24185 = t24049*t24048; t24159 = t24047*t24185; t24600 = t24159+t24158; t24187 = t24048*t24050; t24161 = t24047*t24187; t24189 = t24048*t24045; t24181 = x*t24189; t24599 = t24161+t24181; t24164 = t24046*t24185; t24169 = z*t24183; t24598 = t24164+t24169; t24165 = t24045*t24187; t24188 = t24048*t24047; t24174 = x*t24188; t24597 = t24165+t24174; t24184 = t24051*t24045; t24167 = y*t24184; t24186 = t24049*t24047; t24168 = y*t24186; t24596 = t24168+t24167; t24170 = z*t24187; t24195 = t24046*t24048; t24178 = x*t24195; t24544 = t24170+t24178; t24162 = t24046*t24183; t24171 = z*t24185; t24595 = t24171+t24162; t24191 = t24047*t24050; t24173 = y*t24191; t24214 = y*t24045; t24212 = x*t24214; t24594 = t24173+t24212; t24193 = t24046*t24050; t24176 = y*t24193; t24234 = y*z; t24233 = x*t24234; t24593 = t24176+t24233; t24190 = t24047*t24051; t24172 = y*t24190; t24197 = t24045*t24049; t24180 = y*t24197; t24592 = t24180+t24172; t24591 = t24186+t24184; t24590 = t24191+t24224; t24235 = x*z; t24542 = t24193+t24235; t24215 = t24051*z; t24589 = t24194+t24215; t24221 = t24047*x; t24588 = t24196+t24221; t24217 = t24050*z; t24207 = y*t24217; t24222 = t24046*y; t24211 = x*t24222; t24587 = t24207+t24211; t24192 = t24046*t24051; t24175 = y*t24192; t24208 = y*t24219; t24586 = t24208+t24175; t24585 = t24219+t24192; t24163 = t24046*t24187; t24209 = t24048*t24235; t24541 = t24209+t24163; t24223 = t24046*x; t24540 = t24217+t24223; t23976 = RATIONAL(1.0,72.0); t24584 = t23940*t24168+t23976*t24167; t24583 = t23940*t24167+t23976*t24168; t23943 = RATIONAL(1.0,144.0); t23979 = RATIONAL(1.0,36.0); t24582 = t23943*t24168+t23979*t24167; t24581 = t23943*t24208+t23979*t24175; t23653 = t23979*t24224; t24580 = t23943*t24173+y*t23653; t23861 = t23943*t24050; t22821 = t23861*t24234; t24579 = t22821+t23979*t24211; t24578 = t23943*t24167+t23979*t24168; t23651 = t23979*t24219; t24577 = t23943*t24175+y*t23651; t24576 = t23943*t24212+t23979*t24173; t23859 = t23943*t24046; t24236 = x*y; t22830 = t23859*t24236; t24575 = t22830+t23979*t24207; t23987 = RATIONAL(-1.0,72.0); t23692 = t23987*t24184; t24574 = t23948*t24168+y*t23692; t23939 = RATIONAL(1.0,432.0); t24160 = t24047*t24183; t24573 = t23948*t24160+t23939*t24197; t23690 = t23987*t24186; t24572 = t23948*t24167+y*t23690; t23951 = RATIONAL(-1.0,144.0); t23990 = RATIONAL(-1.0,36.0); t24571 = t23951*t24168+t23990*t24167; t24570 = t23951*t24208+t23990*t24175; t23710 = t23990*t24224; t24569 = t23951*t24173+y*t23710; t23867 = t23951*t24050; t22895 = t23867*t24234; t24568 = t22895+t23990*t24211; t24567 = t23951*t24167+t23990*t24168; t23708 = t23990*t24219; t24566 = t23951*t24175+y*t23708; t24565 = t23951*t24212+t23990*t24173; t23865 = t23951*t24046; t22904 = t23865*t24236; t24564 = t22904+t23990*t24207; t23925 = RATIONAL(-1.0,1728.0); t24563 = t23976*t24159+t23925*t24184; t23983 = RATIONAL(1.0,18.0); t23065 = t23983*t24211; t23876 = t23976*t24050; t24562 = t23876*t24234+t23065; t24561 = t23976*t24158+t23925*t24186; t24206 = y*t24215; t23492 = t23940*t24194; t24465 = y*t23492+t23948*t24175; t24560 = t23976*t24206+t24465; t23054 = t23983*t24207; t23874 = t23976*t24046; t24559 = t23874*t24236+t23054; t24213 = y*t24047; t24210 = x*t24213; t23493 = t23940*t24196; t24464 = y*t23493+t23948*t24173; t24558 = t23976*t24210+t24464; t23994 = RATIONAL(-1.0,18.0); t24177 = y*t24194; t24441 = t23976*t24177+t23994*t24175; t24557 = t23983*t24206+t24441; t24179 = y*t24196; t24440 = t23976*t24179+t23994*t24173; t24556 = t23983*t24210+t24440; t23981 = RATIONAL(1.0,27.0); t24555 = t23987*t24159+t23981*t24184; t23201 = t23994*t24211; t23882 = t23987*t24050; t24554 = t23882*t24234+t23201; t24553 = t23987*t24158+t23981*t24186; t23538 = t23948*t24194; t24461 = t23940*t24175+y*t23538; t24552 = t23987*t24206+t24461; t23190 = t23994*t24207; t23881 = t23987*t24046; t24551 = t23881*t24236+t23190; t23539 = t23948*t24196; t24463 = t23940*t24173+y*t23539; t24550 = t23987*t24210+t24463; t23887 = t23994*t24051; t24431 = t23983*t24175+t23987*t24177; t24549 = t23887*t24234+t24431; t23885 = t23994*t24047; t24433 = t23983*t24173+t23987*t24179; t24548 = t23885*t24236+t24433; t23947 = RATIONAL(-1.0,432.0); t24019 = RATIONAL(2.0,9.0); t24547 = t24019*t24160+t23947*t24197; t24032 = RATIONAL(-1.0,3.0); t24017 = RATIONAL(4.0,3.0); t24203 = t24017*t24048; t24546 = x*t24203+t24032*t24187; t24026 = RATIONAL(1.0,3.0); t24038 = RATIONAL(-4.0,3.0); t24198 = t24038*t24048; t24545 = t24026*t24187+x*t24198; t24543 = t24183+t24188; t24539 = t23940*t24208+t23948*t24206+t24461; t24538 = t24465+t24601*t24234; t24537 = t23940*t24212+t23948*t24210+t24463; t24536 = t24464+t24602*t24236; t22893 = t23951*t24176; t23866 = t23951*z; t24535 = t22821+t23866*t24236+t22830+t22893; t22819 = t23943*t24176; t23860 = t23943*z; t24534 = t23860*t24236+t22895+t22819+t22904; t23879 = t23983*t24049; t24034 = RATIONAL(-2.0,9.0); t24533 = t23879*t24234+t24034*t24206+t24431; t23109 = t23987*t24176; t24532 = t23054+t24034*t24233+t23065+t23109; t23877 = t23983*t24045; t24531 = t23877*t24236+t24034*t24210+t24433; t24530 = t23994*t24208+t24019*t24206+t24441; t22976 = t23976*t24176; t24529 = t23190+t24019*t24233+t22976+t23201; t24528 = t23994*t24212+t24019*t24210+t24440; t23922 = RATIONAL(1.0,1152.0); t23926 = RATIONAL(-1.0,1152.0); t24527 = t24596*t23926+t24592*t23922; t23414 = t23922*t24186; t23415 = t23922*t24184; t23436 = t23926*t24197; t24526 = t23926*t24172+(t23414+t23415+t23436)*y; t24525 = t24596*t23946+t24592*t23938; t24524 = t23938*t24206+t23946*t24175+t24606*y; t24523 = t24592*t23946+t24596*t23938; t24522 = t23938*t24175+t23946*t24206+t24605*y; t24521 = t23938*t24210+t23946*t24173+t24604*y; t24520 = t23938*t24173+t23946*t24210+t24603*y; t24519 = t24587*t23948+t24593*t23940; t24518 = t24593*t23948+t24587*t23940; t23944 = RATIONAL(1.0,108.0); t23992 = RATIONAL(-1.0,27.0); t24517 = t23976*t24164+t23994*t24171+t23944*t24192+t23992*t24215; t23634 = t23976*t24197; t24516 = y*t23634+t24019*t24172+t24596*t23994; t24515 = t23976*t24162+t23994*t24169+t23944*t24194+t23992*t24219; t24016 = RATIONAL(4.0,9.0); t24028 = RATIONAL(-1.0,9.0); t24514 = t23979*t24180+t24016*t24172+t24596*t24028; t23650 = t23979*t24194; t24513 = y*t23650+t24016*t24206+t24586*t24028; t23988 = RATIONAL(-1.0,54.0); t23997 = RATIONAL(-2.0,27.0); t24022 = RATIONAL(1.0,9.0); t24512 = t23979*t24163+t24022*t24209+t23988*t24193+t23997*t24235; t23015 = t23979*t24170; t24511 = t23015+t24022*t24178+t23988*t24217+t23997*t24223; t23652 = t23979*t24196; t24510 = y*t23652+t24016*t24210+t24594*t24028; t23904 = t24028*t24046; t23906 = t24028*t24050; t24509 = t23979*t24176+t24016*t24233+t23906*t24234+t23904*t24236; t23952 = RATIONAL(-1.0,108.0); t24508 = t23983*t24171+t23987*t24164+t23952*t24192+t23981*t24215; t24507 = t23987*t24180+t24034*t24172+t24596*t23983; t24506 = t23983*t24162+t24034*t24169+t23939*t24194+t23952*t24219; t24505 = t23983*t24169+t23987*t24162+t23952*t24194+t23981*t24219; t24037 = RATIONAL(-4.0,9.0); t24504 = t23990*t24180+t24037*t24172+t24596*t24022; t23707 = t23990*t24194; t24503 = y*t23707+t24037*t24206+t24586*t24022; t23974 = RATIONAL(2.0,27.0); t23977 = RATIONAL(1.0,54.0); t24502 = t23990*t24163+t24028*t24209+t23974*t24235+t23977*t24193; t23148 = t23990*t24170; t24501 = t23148+t24028*t24178+t23974*t24223+t23977*t24217; t23709 = t23990*t24196; t24500 = y*t23709+t24037*t24210+t24594*t24022; t23897 = t24022*t24046; t23899 = t24022*t24050; t24499 = t23990*t24176+t23899*t24234+t23897*t24236+t24037*t24233; t23160 = t23990*t24178; t24498 = t23160+t24028*t24170+t23974*t24217+t23977*t24223; t24497 = t23994*t24162+t24019*t24169+t23944*t24219+t23947*t24194; t23941 = RATIONAL(1.0,216.0); t23949 = RATIONAL(-1.0,216.0); t24462 = t23940*t24158+t23947*t24186; t24366 = t23943*t24181+t23951*t24165+t23941*t24221+t23949*t24191+t24462; t24166 = t24045*t24185; t24453 = t23948*t24166+t23939*t24190; t24496 = t23943*t24161+t23951*t24174+t23941*t24196+t23949*t24224+t24366+ t24453; t23027 = t23979*t24178; t23945 = RATIONAL(-1.0,864.0); t23937 = RATIONAL(1.0,864.0); t23921 = RATIONAL(1.0,1728.0); t24405 = t23987*t24160+t23921*t24197+t24453; t24126 = t23951*t24163+t23990*t24209+t23937*t24193+t23941*t24235+t24405; t24495 = t23943*t24170+t23027+t23945*t24217+t23949*t24223+t24126; t24494 = t23943*t24178+t23015+t23945*t24223+t23949*t24217+t24126; t24367 = t23943*t24165+t23951*t24181+t23941*t24191+t23949*t24221+t24462; t24493 = t23943*t24174+t23951*t24161+t23941*t24224+t23949*t24196+t24367+ t24453; t24127 = t23943*t24163+t23979*t24209+t23945*t24193+t23949*t24235+t24405; t24492 = t23951*t24170+t23160+t23937*t24217+t23941*t24223+t24127; t24491 = t23951*t24178+t23148+t23937*t24223+t23941*t24217+t24127; t24432 = t23983*t24160+t23952*t24197; t24442 = t23976*t24166+t23992*t24190; t24123 = t24432+t24442+t24502; t24490 = t23027+t24022*t24170+t23988*t24223+t23997*t24217+t24123; t24148 = t23987*t24163+t24540*t23952; t24489 = t23987*t24209+t24148+t24544*t23976+t24542*t23944; t24149 = t23976*t24163+t24540*t23944; t24488 = t23976*t24209+t24149+t24544*t23987+t24542*t23952; t24487 = t23981*t24235+t24148+t24034*t24209+t23939*t24193+t24544*t23983; t24486 = t23992*t24235+t24149+t24019*t24209+t23947*t24193+t24544*t23994; t24485 = t24600*t23926+(t24197+t24190)*RATIONAL(-1.0,6912.0)+(t24166+ t24160)*t23922+t24591*RATIONAL(1.0,6912.0); t23920 = RATIONAL(1.0,3456.0); t23924 = RATIONAL(-1.0,3456.0); t24484 = t24595*t23946+t24598*t23938+t24589*t23924+t24585*t23920; t24483 = t24598*t23946+t24595*t23938+t24585*t23924+t24589*t23920; t24482 = t24599*t23946+t24597*t23938+t24588*t23924+t24590*t23920; t24481 = t24597*t23946+t24599*t23938+t24590*t23924+t24588*t23920; t24480 = t23940*t24164+t23948*t24162+t23976*t24169+t23987*t24171+t23921* t24192+t23925*t24194+t23939*t24219+t23947*t24215; t24479 = t23940*t24165+t23948*t24161+t23976*t24174+t23987*t24181+t23921* t24191+t23925*t24196+t23939*t24224+t23947*t24221; t24478 = t23940*t24161+t23948*t24165+t23976*t24181+t23987*t24174+t23921* t24196+t23925*t24191+t23939*t24221+t23947*t24224; t24477 = t23940*t24162+t23948*t24164+t23976*t24171+t23987*t24169+t23921* t24194+t23925*t24192+t23939*t24215+t23947*t24219; t24476 = t23979*t24164+t23990*t24171+t24022*t24169+t24028*t24162+t23974* t24192+t23977*t24219+t23988*t24194+t23997*t24215; t24475 = t23979*t24171+t23990*t24164+t24022*t24162+t24028*t24169+t23974* t24215+t23977*t24194+t23988*t24219+t23997*t24192; t23958 = RATIONAL(-16.0,27.0); t23973 = RATIONAL(4.0,27.0); t24010 = RATIONAL(8.0,9.0); t24474 = t23983*t24164+t24010*t24169+t23958*t24215+t23992*t24194+t24595* t24034+t24585*t23973; t24473 = t23983*t24165+t24010*t24174+t23958*t24221+t23992*t24196+t24599* t24034+t24590*t23973; t23932 = RATIONAL(16.0,27.0); t23998 = RATIONAL(-4.0,27.0); t24044 = RATIONAL(-8.0,9.0); t24472 = t23994*t24166+t23981*t24197+t24044*t24160+t23932*t24190+t24600* t24019+t24591*t23998; t24471 = t23994*t24164+t23981*t24194+t24044*t24169+t23932*t24215+t24595* t24019+t24585*t23998; t24470 = t23994*t24165+t23981*t24196+t24044*t24174+t23932*t24221+t24599* t24019+t24590*t23998; t23935 = RATIONAL(5.0,192.0); t24469 = t23935*t24160+t23436; t23942 = RATIONAL(1.0,192.0); t24468 = t23935*t24172+t23942*t24180; t24467 = t23940*t24159+t23947*t24184; t23491 = t23940*t24197; t24466 = y*t23491+t23976*t24172; t23927 = RATIONAL(-5.0,1152.0); t24460 = t23942*t24166+t23927*t24190; t24459 = t23943*t24180+t23979*t24172; t24458 = t23943*t24177+t23979*t24206; t24457 = t23943*t24179+t23979*t24210; t24455 = t22819+t23979*t24233; t24452 = t23948*t24180+t23987*t24172; t23918 = RATIONAL(5.0,1152.0); t23950 = RATIONAL(-1.0,192.0); t24451 = t23950*t24159+t23918*t24184; t23551 = t23950*t24197; t23955 = RATIONAL(-5.0,192.0); t24450 = y*t23551+t23955*t24172; t24449 = t23951*t24180+t23990*t24172; t24448 = t23951*t24177+t23990*t24206; t24447 = t23951*t24179+t23990*t24210; t24446 = t22893+t23990*t24233; t23964 = RATIONAL(5.0,96.0); t23975 = RATIONAL(1.0,96.0); t24445 = t23964*t24172+t23975*t24180; t23968 = RATIONAL(5.0,32.0); t24444 = t23968*t24160+t23955*t24197; t23972 = RATIONAL(5.0,12.0); t23978 = RATIONAL(1.0,48.0); t24443 = t23972*t24172+t23978*t24180; t23878 = t23983*z; t24439 = t22976+t23878*t24236; t24000 = RATIONAL(-5.0,72.0); t24437 = t23978*t24159+t24000*t24184; t24436 = t23978*t24158+t24000*t24186; t23980 = RATIONAL(1.0,32.0); t24435 = t23980*t24166+RATIONAL(-25.0,192.0)*t24190; t23982 = RATIONAL(1.0,24.0); t24012 = RATIONAL(5.0,6.0); t24434 = t23982*t24180+t24012*t24172; t23985 = RATIONAL(1.0,12.0); t24008 = RATIONAL(-10.0,9.0); t24429 = t23985*t24166+t24008*t24190; t23954 = RATIONAL(-5.0,288.0); t24428 = t23985*t24159+t23954*t24184; t24427 = t23985*t24158+t23954*t24186; t23986 = RATIONAL(-1.0,96.0); t23999 = RATIONAL(-5.0,96.0); t24426 = t23986*t24180+t23999*t24172; t23886 = t23994*z; t24425 = t23109+t23886*t24236; t23989 = RATIONAL(-1.0,48.0); t24007 = RATIONAL(-5.0,12.0); t24424 = t23989*t24180+t24007*t24172; t23993 = RATIONAL(-1.0,24.0); t24040 = RATIONAL(-5.0,6.0); t24423 = t23993*t24180+t24040*t24172; t24422 = t23994*t24159+t23944*t24184; t24421 = t23994*t24158+t23944*t24186; t24001 = RATIONAL(-5.0,48.0); t24420 = t24001*t24160+t23634; t24419 = t24007*t24160+t23491; t24014 = RATIONAL(5.0,3.0); t24418 = t24014*t24160+t23994*t24197; t23931 = RATIONAL(25.0,12.0); t24029 = RATIONAL(-1.0,8.0); t24417 = t24029*t24166+t23931*t24190; t23970 = RATIONAL(5.0,18.0); t24416 = t24032*t24159+t23970*t24184; t23966 = RATIONAL(5.0,48.0); t24043 = RATIONAL(-5.0,2.0); t24415 = t24043*t24160+t23966*t24197; t23996 = RATIONAL(-1.0,12.0); t24218 = t24050*y; t24414 = t23966*t24173+t23989*t24179+t23996*t24218; t24413 = t23966*t24175+t23989*t24177+t23996*t24222; t24412 = t23978*t24177+t24001*t24175+t23985*t24222; t24411 = t23978*t24179+t24001*t24173+t23985*t24218; t24410 = t24455+t24466; t24409 = t24446+t24466; t24408 = t24439+t24459; t24407 = t24425+t24459; t24406 = t24452+t24455; t24404 = t24446+t24452; t24403 = t24439+t24449; t24402 = t24425+t24449; t23933 = RATIONAL(5.0,576.0); t23953 = RATIONAL(-5.0,576.0); t24401 = t23975*t24164+t23986*t24171+t23933*t24192+t23953*t24215; t24400 = t23975*t24171+t23986*t24164+t23933*t24215+t23953*t24192; t24399 = t23975*t24165+t23986*t24181+t23933*t24191+t23953*t24221; t24398 = t23975*t24181+t23986*t24165+t23933*t24221+t23953*t24191; t23740 = t23996*t24185; t23934 = RATIONAL(5.0,288.0); t24397 = t23978*t24164+z*t23740+t23934*t24192+t24000*t24215; t24396 = t24427+t24437; t23735 = t23996*t24189; t24395 = t23978*t24165+x*t23735+t23934*t24191+t24000*t24221; t24394 = t24428+t24436; t23967 = RATIONAL(5.0,36.0); t24002 = RATIONAL(-5.0,36.0); t24393 = t23982*t24164+t23993*t24171+t23967*t24192+t24002*t24215; t24392 = t23982*t24171+t23993*t24164+t23967*t24215+t24002*t24192; t24391 = t23982*t24165+t23993*t24181+t23967*t24191+t24002*t24221; t24390 = t23982*t24181+t23993*t24165+t23967*t24221+t24002*t24191; t24389 = t23985*t24164+t24032*t24171+t23970*t24192+t24008*t24215; t23965 = RATIONAL(5.0,72.0); t24388 = t23985*t24171+t23989*t24164+t23954*t24192+t23965*t24215; t24387 = t23985*t24165+t24032*t24181+t23970*t24191+t24008*t24221; t24386 = t23985*t24181+t23989*t24165+t23954*t24191+t23965*t24221; t23819 = t24026*t24185; t23963 = RATIONAL(10.0,9.0); t24005 = RATIONAL(-5.0,18.0); t24385 = t23996*t24164+z*t23819+t23963*t24215+t24005*t24192; t23813 = t24026*t24189; t24384 = t23996*t24165+x*t23813+t23963*t24221+t24005*t24191; t23463 = t23935*t24184; t23870 = t23966*t24051; t24003 = RATIONAL(-5.0,32.0); t24023 = RATIONAL(1.0,8.0); t24383 = t24003*t24159+t23463+t24023*t24185+t23870; t24011 = RATIONAL(5.0,8.0); t24033 = RATIONAL(-1.0,2.0); t24042 = RATIONAL(-5.0,3.0); t24382 = t24011*t24159+t24007*t24184+t24033*t24185+t24042*t24051; t24146 = t23950*t24158+t23918*t24186+t24460; t24381 = t23942*t24160+t23927*t24197+t24146+t24451; t24144 = t24032*t24158+t23970*t24186+t24429; t24380 = t24017*t24160+t24000*t24197+t24144+t24416; t23462 = t23935*t24186; t23884 = t23989*t24049; t23704 = y*t23884; t24216 = t24051*y; t24379 = y*t23462+t23942*t24167+t23978*t24216+t23704+t24450; t23883 = t23989*t24045; t23702 = y*t23883; t24378 = y*t23463+t23942*t24168+t23978*t24213+t23702+t24450; t23645 = t23978*t24214; t24377 = t23950*t24168+t23955*t24167+t23645+t23989*t24213+t24468; t24220 = t24049*y; t23648 = t23978*t24220; t24376 = t23950*t24167+t23955*t24168+t23648+t23989*t24216+t24468; t24375 = t23943*t24164+t23951*t24171+t23941*t24192+t23949*t24215+t24467; t24374 = t23943*t24171+t23951*t24164+t23941*t24215+t23949*t24192+t24467; t23691 = t23987*t24219; t23103 = y*t23691; t24150 = t23103+t24447; t24373 = t24150+t24560+t24576; t24154 = t23103+t24457; t24372 = t24154+t24560+t24565; t23693 = t23987*t24224; t23122 = y*t23693; t24152 = t23122+t24448; t24371 = t24152+t24558+t24581; t24156 = t23122+t24458; t24370 = t24156+t24558+t24570; t23873 = t23976*t24045; t23636 = x*t23873; t22988 = y*t23636; t24153 = t22988+t24448; t24369 = t24153+t24550+t24581; t24157 = t22988+t24458; t24368 = t24157+t24550+t24570; t23875 = t23976*t24049; t23635 = z*t23875; t22970 = y*t23635; t24151 = t22970+t24447; t24365 = t24151+t24552+t24576; t24155 = t22970+t24457; t24364 = t24155+t24552+t24565; t24363 = t24150+t24557+t24580; t24362 = t24151+t24549+t24580; t24361 = t24152+t24556+t24577; t24360 = t24153+t24548+t24577; t24359 = t24154+t24557+t24569; t24358 = t24155+t24549+t24569; t24357 = t24156+t24556+t24566; t24356 = t24157+t24548+t24566; t24355 = t23964*t24168+t23975*t24167+t23982*t24216+t23993*t24220+t24426; t24232 = t23982*y; t24354 = t23964*t24173+t23975*t24212+t23986*t24179+t23999*t24210+x*t24232 +t23993*t24218; t24353 = t23964*t24167+t23975*t24168+t23982*t24213+t23993*t24214+t24426; t24352 = t23964*t24175+t23975*t24208+t23986*t24177+t23999*t24206+z*t24232 +t23993*t24222; t24351 = t23986*t24168+t23999*t24167+t23982*t24214+t23993*t24213+t24445; t24350 = t23986*t24167+t23999*t24168+t23982*t24220+t23993*t24216+t24445; t24230 = t23993*y; t24349 = t23964*t24206+t23975*t24177+t23986*t24208+t23999*t24175+t23982* t24222+z*t24230; t24348 = t23964*t24210+t23975*t24179+t23986*t24212+t23999*t24173+t23982* t24218+x*t24230; t23741 = t23996*t24220; t24347 = t23966*t24168+t23985*t24167+t23741+t24026*t24216+t24424; t24231 = t23985*y; t24346 = t24001*t24210+t24414+(t23645+t24231)*x; t23681 = t23985*t24214; t24227 = t24026*y; t24345 = t24007*t24210+t24414+(t23681+t24227)*x; t23737 = t23996*t24214; t24344 = t23966*t24167+t23985*t24168+t23737+t24026*t24213+t24424; t24343 = t24001*t24206+t24413+(t23648+t24231)*z; t23685 = t23985*t24220; t24342 = t24007*t24206+t24413+(t23685+t24227)*z; t24229 = t23996*y; t24341 = t23870*t24234+t24412+(t23704+t24229)*z; t23869 = t23966*t24047; t24340 = t23869*t24236+t24411+(t23702+t24229)*x; t24030 = RATIONAL(-1.0,6.0); t23831 = t24030*t24220; t23969 = RATIONAL(5.0,24.0); t24020 = RATIONAL(2.0,3.0); t24024 = RATIONAL(1.0,6.0); t24339 = t23969*t24168+t24024*t24167+t24020*t24216+t23831+t24423; t23807 = t24024*t24214; t24228 = t24020*y; t24338 = t23969*t24173+t23993*t24179+t24040*t24210+t24030*t24218+(t23807+ t24228)*x; t23829 = t24030*t24214; t24337 = t23969*t24167+t24024*t24168+t24020*t24213+t23829+t24423; t23809 = t24024*t24220; t24336 = t23969*t24175+t23993*t24177+t24040*t24206+t24030*t24222+(t23809+ t24228)*z; t24335 = t23996*t24168+t24001*t24167+t23681+t24032*t24213+t24443; t24334 = t23996*t24167+t24001*t24168+t23685+t24032*t24216+t24443; t24226 = t24032*y; t24333 = t23972*t24206+t24412+(t23741+t24226)*z; t24332 = t23972*t24210+t24411+(t23737+t24226)*x; t24331 = t24422+t24517; t24330 = t23976*t24165+t23994*t24181+t23944*t24191+t23992*t24221+t24421; t24329 = t24432+t24512; t24004 = RATIONAL(-5.0,24.0); t24035 = RATIONAL(-2.0,3.0); t24328 = t24004*t24168+t24030*t24167+t23809+t24035*t24216+t24434; t24327 = t24004*t24167+t24030*t24168+t23807+t24035*t24213+t24434; t24225 = t24035*y; t24326 = t23982*t24177+t24004*t24175+t24012*t24206+t24024*t24222+(t23831+ t24225)*z; t24325 = t23982*t24179+t24004*t24173+t24012*t24210+t24024*t24218+(t23829+ t24225)*x; t23680 = t23985*t24188; t24182 = t23989*t24166+t23965*t24190; t24132 = t23966*t24158+t23690+t23735+t23885+t24182; t24324 = t23680+t23877+t24132+t24420+t24437; t23688 = t23985*t24183; t24133 = t23966*t24159+t23692+t23740+t23887+t24182; t24323 = t23688+t23879+t24133+t24420+t24436; t24322 = t24026*t24188+t23873+t24132+t24419+t24428; t24321 = t24026*t24183+t23875+t24133+t24419+t24427; t24320 = t24524+t24527; t24319 = t24522+t24527; t24318 = t24524+t24526; t24317 = t24522+t24526; t24316 = t24525+t24538; t24315 = t24525+t24539; t24314 = t24523+t24538; t24313 = t24523+t24539; t24312 = t24519+t24521; t24311 = t24518+t24521; t24310 = t24519+t24520; t24309 = t24518+t24520; t24308 = t24410+t24568+t24574; t24307 = t24410+t24564+t24572; t24306 = t24409+t24574+t24579; t24305 = t24409+t24572+t24575; t24304 = t24406+t24568+t24584; t24303 = t24404+t24579+t24584; t24302 = t24534+t24536; t24301 = t24535+t24536; t24300 = t24534+t24537; t24299 = t24535+t24537; t24298 = t24406+t24564+t24583; t24297 = t24404+t24575+t24583; t24296 = t24408+t24554+t24571; t24295 = t24407+t24562+t24571; t24294 = t24408+t24551+t24567; t24293 = t24407+t24559+t24567; t24292 = t24403+t24554+t24582; t24291 = t24402+t24562+t24582; t24290 = t24403+t24551+t24578; t24289 = t24402+t24559+t24578; t24288 = t23975*t24169+t23986*t24162+t23933*t24219+t23953*t24194+t24401; t24287 = t23975*t24162+t23986*t24169+t23933*t24194+t23953*t24219+t24400; t24286 = t23975*t24174+t23986*t24161+t23933*t24224+t23953*t24196+t24399; t24285 = t23975*t24161+t23986*t24174+t23933*t24196+t23953*t24224+t24398; t24284 = t24516+t24530; t24283 = t24516+t24533; t24282 = t24507+t24530; t24281 = t24528+t24529; t24280 = t24528+t24532; t24279 = t24529+t24531; t24278 = z*t23688+t23989*t24162+t23954*t24194+t23965*t24219+t24397; t24277 = x*t23680+t23989*t24161+t23954*t24196+t23965*t24224+t24395; t24276 = t23978*t24161+t23996*t24174+t23934*t24196+t24000*t24224+t24386; t24275 = t23978*t24162+t23996*t24169+t23934*t24194+t24000*t24219+t24388; t24274 = t24513+t24514; t24273 = t24503+t24514; t24272 = t24504+t24513; t24271 = t24509+t24510; t24270 = t24499+t24510; t24269 = t24500+t24509; t23936 = RATIONAL(5.0,144.0); t23956 = RATIONAL(-5.0,144.0); t24268 = t24024*t24169+t24030*t24162+t23936*t24219+t23956*t24194+t24393; t24267 = t24024*t24162+t24030*t24169+t23936*t24194+t23956*t24219+t24392; t24266 = t24024*t24174+t24030*t24161+t23936*t24224+t23956*t24196+t24391; t24265 = t24024*t24161+t24030*t24174+t23936*t24196+t23956*t24224+t24390; t24264 = t24507+t24533; t24263 = t24531+t24532; t24262 = t24017*t24169+t24032*t24162+t23970*t24219+t24000*t24194+t24389; t24261 = t24017*t24174+t24032*t24161+t23970*t24224+t24000*t24196+t24387; t24260 = t24503+t24504; t24259 = t24499+t24500; t23853 = t24038*t24183; t24258 = t24026*t24162+z*t23853+t23965*t24194+t24005*t24219+t24385; t23851 = t24038*t24188; t24257 = t24026*t24161+x*t23851+t23965*t24196+t24005*t24224+t24384; t24256 = t23955*t24159+t23415+t23978*t24185+t23989*t24183+t24146+t24469+ t24601; t24255 = t23955*t24158+t23414+t23978*t24189+t23989*t24188+t24451+t24460+ t24469+t24602; t24122 = t23983*t24181+t23987*t24165+t23952*t24191+t23981*t24221+t24421+ t24442; t24254 = t23976*t24161+t23994*t24174+t23944*t24196+t23992*t24224+t24122+ t24432+t24555; t24253 = t23983*t24161+t24034*t24174+t23939*t24196+t23952*t24224+t24122+ t24422+t24547; t23910 = t24034*t24049; t24252 = t24007*t24159+t24019*t24184+t23819+t23853+t24010*t24051+t23910+ t24144+t24418; t23908 = t24034*t24045; t24251 = t24007*t24158+t24019*t24186+t23813+t23851+t24010*t24047+t23908+ t24416+t24429+t24418; t24250 = t23979*t24181+t23990*t24165+t24022*t24161+t24028*t24174+t23974* t24221+t23977*t24196+t23988*t24224+t23997*t24191+t24553; t24249 = t23943*t24169+t23951*t24162+t23941*t24219+t23949*t24194+t24375+ t24573; t24248 = t23979*t24169+t23990*t24162+t23937*t24219+t23945*t24194+t24375+ t24561; t24247 = t23943*t24162+t23951*t24169+t23941*t24194+t23949*t24219+t24374+ t24573; t24246 = t23979*t24162+t23990*t24169+t23937*t24194+t23945*t24219+t24374+ t24561; t24245 = t23979*t24174+t23990*t24161+t23937*t24224+t23945*t24196+t24367+ t24563; t24244 = t23979*t24161+t23990*t24174+t23937*t24196+t23945*t24224+t24366+ t24563; t24243 = t23983*t24174+t23987*t24161+t23952*t24196+t23981*t24224+t24330+ t24555; t24242 = t23994*t24161+t24019*t24174+t23944*t24224+t23947*t24196+t24330+ t24547; t24241 = t23979*t24165+t23990*t24181+t24022*t24174+t24028*t24161+t23974* t24191+t23977*t24224+t23988*t24196+t23997*t24221+t24422+t24553; t24240 = t24485+t24544*t23948+t24541*t23940+t24542*t23925+t24540*t23921; t24239 = t24485+t24541*t23948+t24544*t23940+t24540*t23925+t24542*t23921; t24238 = t24472+t23958*t24235+t23983*t24163+t24010*t24209+t23992*t24193+ t24544*t24034+t24540*t23973; t24237 = t24472+t23981*t24193+t24044*t24209+t23994*t24163+t23932*t24235+ t24544*t24019+t24540*t23998; t23871 = t23972*t24045; t23872 = t23972*t24049; t24205 = t23982*t24048; t24204 = t23993*t24048; t23889 = t24001*t24045; t23890 = t24001*t24049; t24202 = t24024*t24048; t24201 = t24026*t24048; t24200 = t24030*t24048; t24199 = t24032*t24048; t23812 = x*t24202; t23834 = x*t24200; t23665 = t23982*t24195; t23672 = t23982*t24187; t23720 = t23993*t24195; t23727 = t23993*t24187; t23805 = t24024*t24195; t23810 = t24024*t24187; t23814 = t24026*t24195; t23827 = t24030*t24195; t23832 = t24030*t24187; t23835 = t24032*t24195; t24143 = t23996*t24160+t23934*t24197+t24182; t23928 = RATIONAL(25.0,96.0); t24142 = t24004+t23999*t24045+t23928*t24047; t24027 = RATIONAL(1.0,2.0); t24039 = RATIONAL(-5.0,8.0); t24141 = t24027+t24023*t24049+t24039*t24051; t23971 = RATIONAL(5.0,16.0); t23995 = RATIONAL(-1.0,16.0); t24031 = RATIONAL(-1.0,4.0); t24140 = t24031+t23971*t24047+t23995*t24045; t23930 = RATIONAL(25.0,32.0); t24139 = t24039+t24003*t24049+t23930*t24051; t23959 = RATIONAL(-25.0,96.0); t24138 = t23964*t24045+t23959*t24047+t23969; t24137 = t23971*t24051+t23995*t24049+t24031; t23984 = RATIONAL(1.0,16.0); t24006 = RATIONAL(-5.0,16.0); t24025 = RATIONAL(1.0,4.0); t24136 = t23984*t24049+t24025+t24006*t24051; t24135 = t24006*t24047+t24025+t23984*t24045; t24134 = t24029*t24049+t24033+t24011*t24051; t24131 = t24003*t24158+t23462+t24023*t24189+t23869+t24435; t24130 = t24011*t24158+t24007*t24186+t24033*t24189+t24042*t24047+t24417; t24125 = t24329+t24442; t24124 = t24422+t24442+t24508; t24121 = t23982*t24163+z*t23812+t23956*t24193+t24002*t24235+t24143; t24120 = t23993*t24163+z*t23834+t23936*t24193+t23967*t24235+t24143; t23917 = RATIONAL(25.0,192.0); t23991 = RATIONAL(-1.0,32.0); t24119 = t23991*t24159+t23917*t24184+t24029*t24188+t23889+t24131+t24444; t24118 = t23991*t24158+t23917*t24186+t24029*t24183+t23890+t24383+t24435+ t24444; t23960 = RATIONAL(-25.0,48.0); t24021 = RATIONAL(2.0,1.0); t24117 = t24027*t24158+t23960*t24186+t24021*t24183+t23872+t24382+t24415+ t24417; t24116 = t24027*t24159+t23960*t24184+t24021*t24188+t23871+t24130+t24415; t24115 = t23969+t23964*t24049+t23959*t24051+t24137*t24048; t24114 = t24004+t23928*t24051+t23999*t24049+t24136*t24048; t24113 = t24381+t24544*t23989+t24541*t23978+t24542*t23954+t24540*t23934; t24112 = t24381+t24541*t23989+t24544*t23978+t24540*t23954+t24542*t23934; t24111 = z*t23727+t24121+t23936*t24217+t23967*t24223+x*t23827+t24396; t24110 = z*t23672+t24120+t23956*t24217+t24002*t24223+x*t23805+t24396; t24109 = t23936*t24223+t24121+z*t23832+t23967*t24217+x*t23720+t24394; t24108 = t23956*t24223+x*t23665+t24002*t24217+t24120+z*t23810+t24394; t24107 = t23985*t24163+t24000*t24193+t24008*t24235+x*t23835+t24380+t24546 *z+t24540*t23970; t24106 = t23996*t24163+t23965*t24193+x*t23814+t23963*t24235+t24380+t24545 *z+t24540*t24005; t24105 = t23930*t24160+t23551+t23883+t24027*t24048+t24131+t23884+t23996+ t24383+t24543*t24039; t24015 = RATIONAL(5.0,2.0); t24036 = RATIONAL(-2.0,1.0); t24104 = RATIONAL(-25.0,8.0)*t24160+t24036*t24048+t24017+t23985*t24197+ t24382+t24130+(t24045+t24049)*t24026+t24543*t24015; t24103 = t23720+t24255+t23859+t23866+t23964*t24162+z*t24205+t23999*t24169 +t24400+t24606; t24102 = t23964*t24169+t23860+t23999*t24162+t24255+t23665+z*t24204+t23865 +t24401+t24605; t24101 = t23964*t24161+t23861+t23727+t24256+t23999*t24174+t24398+(t24205+ t23951)*x+t24604; t24100 = t23999*t24161+t23964*t24174+t23672+t23867+t24256+t24399+(t23943+ t24204)*x+t24603; t24099 = t23876+t24007*t24174+t23693+t23966*t24161+t23996*t24187+t24386+ t23493+t24321+(t24201+t23994)*x; t24098 = t23832+t23812+t24028*x+t23969*t24161+t23899+t23652+t24323+t23710 +t24004*t24174+t24390; t24097 = t24004*t24161+t24022*x+t23709+t23810+t23969*t24174+t23906+t24323 +t23834+t23653+t24391; t24096 = t23636+t23882+t24001*t24161+t23972*t24174+t24321+t24395+t23539+ t23985*t24187+(t24199+t23983)*x; t24095 = t23996*t24195+t23886+t23691+t24007*t24169+t23874+t24322+t23492+ t23966*t24162+z*t24201+t24388; t24094 = t23708+t23969*t24162+t24324+t23897+t24004*t24169+t24392+t23650+ t23827+(t24202+t24028)*z; t24093 = t23805+t23651+t23969*t24169+t24324+t23707+t24393+t23904+t24004* t24162+(t24022+t24200)*z; t24092 = t23881+t23972*t24169+z*t24199+t24001*t24162+t23878+t23985*t24195 +t24322+t23635+t23538+t24397; t24091 = t23983*t24196+t24042*t24174+t24019*t24050+t23972*t24161+t24252+ t24384+(t23908+t24044)*x+t24546; t24090 = t24251+t24019*t24046+t23983*t24194+t23835+t24385+t23972*t24162+ t24042*t24169+(t24044+t23910+t24203)*z; t24089 = t23994*t24194+t24389+t24251+t24034*t24046+t24007*t24162+t23814+ t24019*t24219+t24014*t24169+(t24010+t24198)*z; t24088 = t24007*t24161+t24019*t24224+t24034*t24050+t24010*x+t24252+t23994 *t24196+t24014*t24174+t24387+t24545; t24087 = t24240+t24482+t24484; t24086 = t24482+t24239+t24483; t24085 = t24481+t24240+t24483; t24084 = t24481+t24239+t24484; t24083 = t24247+t24488+t24493; t24082 = t24244+t24480+t24491; t24081 = t24249+t24488+t24496; t24080 = t24244+t24477+t24494; t24079 = t24246+t24479+t24492; t24078 = t24250+t24331+t24490+t24505; t24077 = t24254+t24475+t24501+t24512; t24076 = t24125+t24243+t24476+t24501; t24075 = t24254+t24476+t24502+t24511; t24074 = t24123+t24243+t24475+t24511; t24073 = t24125+t24241+t24498+t24505+t24517; t24072 = t24253+t24487+t24497+t24517; t24071 = t24331+t24242+t24442+t24486+t24497; t24070 = t24245+t24477+t24491; t24069 = t24247+t24489+t24496; t24068 = t24249+t24489+t24493; t24067 = t24248+t24478+t24492; t24066 = t24245+t24480+t24494; t24065 = t24246+t24478+t24495; t24064 = t24248+t24479+t24495; t24063 = t24253+t24486+t24506+t24508; t24062 = t24124+t24242+t24487+t24506; t24061 = t24124+t24250+t24329+t24498+t24515; t24060 = t24241+t24490+t24508+t24515; t24059 = t24238+t24471+t24473; t24058 = t24238+t24470+t24474; t24057 = t24237+t24470+t24471; t24056 = t24473+t24237+t24474; t24041 = RATIONAL(-5.0,4.0); t24018 = RATIONAL(3.0,4.0); t24013 = RATIONAL(5.0,4.0); t24009 = RATIONAL(-15.0,4.0); t23962 = RATIONAL(25.0,8.0); t23961 = RATIONAL(-25.0,12.0); t23957 = RATIONAL(-15.0,16.0); t23929 = RATIONAL(25.0,48.0); coeffs_dyy->coeff_m2_m2_m2 = t24085+t24311+t24318; coeffs_dyy->coeff_m1_m2_m2 = t24064+t24308+t24369; coeffs_dyy->coeff_0_m2_m2 = t24103+t24349+t24378; coeffs_dyy->coeff_p1_m2_m2 = t24067+t24306+t24371; coeffs_dyy->coeff_p2_m2_m2 = t24086+t24310+t24318; coeffs_dyy->coeff_m2_m1_m2 = t24068+t24300+t24315; coeffs_dyy->coeff_m1_m1_m2 = t24077+t24291+t24359; coeffs_dyy->coeff_0_m1_m2 = t24093+t24343+t24351; coeffs_dyy->coeff_p1_m1_m2 = t24074+t24292+t24363; coeffs_dyy->coeff_p2_m1_m2 = t24081+t24301+t24315; coeffs_dyy->coeff_m2_0_m2 = t24285+t24113+t24287; coeffs_dyy->coeff_m1_0_m2 = t24268+t24110+t24277; coeffs_dyy->coeff_0_0_m2 = t24115*t24046+t24119+t24114*z; coeffs_dyy->coeff_p1_0_m2 = t24268+t24111+t24276; coeffs_dyy->coeff_p2_0_m2 = t24286+t24112+t24287; coeffs_dyy->coeff_m2_p1_m2 = t24301+t24068+t24314; coeffs_dyy->coeff_m1_p1_m2 = t24077+t24296+t24362; coeffs_dyy->coeff_0_p1_m2 = t24093+t24341+t24353; coeffs_dyy->coeff_p1_p1_m2 = t24074+t24295+t24358; coeffs_dyy->coeff_p2_p1_m2 = t24081+t24300+t24314; coeffs_dyy->coeff_m2_p2_m2 = t24085+t24310+t24319; coeffs_dyy->coeff_m1_p2_m2 = t24064+t24303+t24370; coeffs_dyy->coeff_0_p2_m2 = t24103+t24352+t24377; coeffs_dyy->coeff_p1_p2_m2 = t24067+t24304+t24368; coeffs_dyy->coeff_p2_p2_m2 = t24086+t24311+t24319; coeffs_dyy->coeff_m2_m2_m1 = t24066+t24307+t24365; coeffs_dyy->coeff_m1_m2_m1 = t24280+t24063+t24282; coeffs_dyy->coeff_0_m2_m1 = t24092+t24335+t24342; coeffs_dyy->coeff_p1_m2_m1 = t24279+t24062+t24282; coeffs_dyy->coeff_p2_m2_m1 = t24082+t24305+t24364; coeffs_dyy->coeff_m2_m1_m1 = t24061+t24289+t24357; coeffs_dyy->coeff_m1_m1_m1 = t24269+t24056+t24273; coeffs_dyy->coeff_0_m1_m1 = t24090+t24326+t24337; coeffs_dyy->coeff_p1_m1_m1 = t24058+t24270+t24273; coeffs_dyy->coeff_p2_m1_m1 = t24060+t24290+t24356; coeffs_dyy->coeff_m2_0_m1 = t24266+t24108+t24278; coeffs_dyy->coeff_m1_0_m1 = t24107+t24257+t24258; coeffs_dyy->coeff_0_0_m1 = (t23961*t24051+t23872+t24014+(t24015*t24051+ t24036+t24033*t24049)*t24048)*z+(t23890+t24007+t23929*t24051+t24141*t24048)* t24046+t24116; coeffs_dyy->coeff_p1_0_m1 = t24258+t24106+t24261; coeffs_dyy->coeff_p2_0_m1 = t24265+t24109+t24278; coeffs_dyy->coeff_m2_p1_m1 = t24061+t24294+t24360; coeffs_dyy->coeff_m1_p1_m1 = t24270+t24056+t24272; coeffs_dyy->coeff_0_p1_m1 = t24090+t24327+t24336; coeffs_dyy->coeff_p1_p1_m1 = t24269+t24058+t24272; coeffs_dyy->coeff_p2_p1_m1 = t24060+t24293+t24361; coeffs_dyy->coeff_m2_p2_m1 = t24066+t24297+t24372; coeffs_dyy->coeff_m1_p2_m1 = t24063+t24279+t24283; coeffs_dyy->coeff_0_p2_m1 = t24092+t24333+t24344; coeffs_dyy->coeff_p1_p2_m1 = t24280+t24062+t24283; coeffs_dyy->coeff_p2_p2_m1 = t24082+t24298+t24373; coeffs_dyy->coeff_m2_m2_0 = t24101+t24348+t24379; coeffs_dyy->coeff_m1_m2_0 = t24096+t24334+t24345; coeffs_dyy->coeff_0_m2_0 = t24105+((t23968*t24049+RATIONAL(-25.0,32.0)* t24051+t24011)*t24047+(t24029+t23968*t24051+t23991*t24049)*t24045+t24134)*y; coeffs_dyy->coeff_p1_m2_0 = t24099+t24332+t24334; coeffs_dyy->coeff_p2_m2_0 = t24100+t24354+t24379; coeffs_dyy->coeff_m2_m1_0 = t24097+t24346+t24350; coeffs_dyy->coeff_m1_m1_0 = t24091+t24325+t24339; coeffs_dyy->coeff_0_m1_0 = t24104+(t24041*t24051+t24025*t24049+1.0+( t24041+t24006*t24049+RATIONAL(25.0,16.0)*t24051)*t24047+t24136*t24045)*y; coeffs_dyy->coeff_p1_m1_0 = t24088+t24338+t24339; coeffs_dyy->coeff_p2_m1_0 = t24098+t24340+t24350; coeffs_dyy->coeff_m2_0_0 = t24118+t24142*x+(t24135*x+t24140*t24050)* t24048+t24138*t24050; coeffs_dyy->coeff_m1_0_0 = ((t24015*t24047+t24033*t24045+t24036)*x+( t24023*t24045+t24027+t24039*t24047)*t24050)*t24048+(t23871+t24014+t23961*t24047 )*x+(t23929*t24047+t23889+t24007)*t24050+t24117; coeffs_dyy->coeff_0_0_0 = t24039*t24049+t24043+t23962*t24051+(t23930* t24049+RATIONAL(-125.0,32.0)*t24051+t23962)*t24047+t24139*t24045+(t24009*t24051 +RATIONAL(3.0,1.0)+t24018*t24049+(RATIONAL(75.0,16.0)*t24051+t24009+t23957* t24049)*t24047+(t24018+RATIONAL(3.0,16.0)*t24049+t23957*t24051)*t24045)*t24048; coeffs_dyy->coeff_p1_0_0 = (t23966*t24045+t23960*t24047+t23972)*t24050+(( t24021+t24043*t24047+t24027*t24045)*x+(t24029*t24045+t24011*t24047+t24033)* t24050)*t24048+(t24042+t23931*t24047+t24007*t24045)*x+t24117; coeffs_dyy->coeff_p2_0_0 = (t24140*x+t24135*t24050)*t24048+t24118+t24142* t24050+t24138*x; coeffs_dyy->coeff_m2_p1_0 = t24097+t24340+t24355; coeffs_dyy->coeff_m1_p1_0 = t24091+t24328+t24338; coeffs_dyy->coeff_0_p1_0 = t24104+(-1.0+t24031*t24049+t24013*t24051+( t24013+t23971*t24049+RATIONAL(-25.0,16.0)*t24051)*t24047+t24137*t24045)*y; coeffs_dyy->coeff_p1_p1_0 = t24088+t24325+t24328; coeffs_dyy->coeff_p2_p1_0 = t24098+t24346+t24355; coeffs_dyy->coeff_m2_p2_0 = t24101+t24354+t24376; coeffs_dyy->coeff_m1_p2_0 = t24096+t24332+t24347; coeffs_dyy->coeff_0_p2_0 = (t24139*t24047+(t24003*t24051+t23980*t24049+ t24023)*t24045+t24141)*y+t24105; coeffs_dyy->coeff_p1_p2_0 = t24099+t24345+t24347; coeffs_dyy->coeff_p2_p2_0 = t24100+t24348+t24376; coeffs_dyy->coeff_m2_m2_p1 = t24070+t24305+t24373; coeffs_dyy->coeff_m1_m2_p1 = t24072+t24264+t24281; coeffs_dyy->coeff_0_m2_p1 = t24095+t24333+t24335; coeffs_dyy->coeff_p1_m2_p1 = t24071+t24263+t24264; coeffs_dyy->coeff_p2_m2_p1 = t24080+t24307+t24372; coeffs_dyy->coeff_m2_m1_p1 = t24078+t24290+t24361; coeffs_dyy->coeff_m1_m1_p1 = t24059+t24259+t24274; coeffs_dyy->coeff_0_m1_p1 = t24089+t24336+t24337; coeffs_dyy->coeff_p1_m1_p1 = t24271+t24057+t24274; coeffs_dyy->coeff_p2_m1_p1 = t24073+t24289+t24360; coeffs_dyy->coeff_m2_0_p1 = t24109+t24266+t24275; coeffs_dyy->coeff_m1_0_p1 = t24257+t24106+t24262; coeffs_dyy->coeff_0_0_p1 = (t24007*t24049+t23931*t24051+t24042+(t24043* t24051+t24021+t24027*t24049)*t24048)*z+(t23966*t24049+t23960*t24051+t23972+ t24134*t24048)*t24046+t24116; coeffs_dyy->coeff_p1_0_p1 = t24261+t24107+t24262; coeffs_dyy->coeff_p2_0_p1 = t24265+t24108+t24275; coeffs_dyy->coeff_m2_p1_p1 = t24078+t24293+t24356; coeffs_dyy->coeff_m1_p1_p1 = t24059+t24260+t24271; coeffs_dyy->coeff_0_p1_p1 = t24089+t24326+t24327; coeffs_dyy->coeff_p1_p1_p1 = t24259+t24057+t24260; coeffs_dyy->coeff_p2_p1_p1 = t24073+t24294+t24357; coeffs_dyy->coeff_m2_p2_p1 = t24070+t24298+t24364; coeffs_dyy->coeff_m1_p2_p1 = t24072+t24263+t24284; coeffs_dyy->coeff_0_p2_p1 = t24095+t24342+t24344; coeffs_dyy->coeff_p1_p2_p1 = t24281+t24071+t24284; coeffs_dyy->coeff_p2_p2_p1 = t24080+t24297+t24365; coeffs_dyy->coeff_m2_m2_p2 = t24084+t24312+t24317; coeffs_dyy->coeff_m1_m2_p2 = t24079+t24306+t24368; coeffs_dyy->coeff_0_m2_p2 = t24102+t24352+t24378; coeffs_dyy->coeff_p1_m2_p2 = t24065+t24308+t24370; coeffs_dyy->coeff_p2_m2_p2 = t24087+t24309+t24317; coeffs_dyy->coeff_m2_m1_p2 = t24083+t24299+t24316; coeffs_dyy->coeff_m1_m1_p2 = t24075+t24292+t24358; coeffs_dyy->coeff_0_m1_p2 = t24094+t24341+t24351; coeffs_dyy->coeff_p1_m1_p2 = t24076+t24291+t24362; coeffs_dyy->coeff_p2_m1_p2 = t24302+t24069+t24316; coeffs_dyy->coeff_m2_0_p2 = t24285+t24112+t24288; coeffs_dyy->coeff_m1_0_p2 = t24111+t24267+t24277; coeffs_dyy->coeff_0_0_p2 = t24119+t24115*z+t24114*t24046; coeffs_dyy->coeff_p1_0_p2 = t24267+t24110+t24276; coeffs_dyy->coeff_p2_0_p2 = t24286+t24113+t24288; coeffs_dyy->coeff_m2_p1_p2 = t24302+t24083+t24313; coeffs_dyy->coeff_m1_p1_p2 = t24075+t24295+t24363; coeffs_dyy->coeff_0_p1_p2 = t24094+t24343+t24353; coeffs_dyy->coeff_p1_p1_p2 = t24076+t24296+t24359; coeffs_dyy->coeff_p2_p1_p2 = t24069+t24299+t24313; coeffs_dyy->coeff_m2_p2_p2 = t24084+t24309+t24320; coeffs_dyy->coeff_m1_p2_p2 = t24079+t24304+t24371; coeffs_dyy->coeff_0_p2_p2 = t24102+t24349+t24377; coeffs_dyy->coeff_p1_p2_p2 = t24065+t24303+t24369; coeffs_dyy->coeff_p2_p2_p2 = t24312+t24087+t24320;