fp t9058; fp t9057; fp t9060; fp t9696; fp t8960; fp t9307; fp t9063; fp t8964; fp t9563; fp t9262; fp t10201; fp t9021; fp t9025; fp t9767; fp t9759; fp t10200; fp t9059; fp t9061; fp t9065; fp t9571; fp t8975; fp t9774; fp t9510; fp t10199; fp t9046; fp t9681; fp t9016; fp t9616; fp t9064; fp t8809; fp t10198; fp t9598; fp t9062; fp t9372; fp t9733; fp t9251; fp t10197; fp t9649; fp t9037; fp t10196; fp t9662; fp t9434; fp t9583; fp t10195; fp t8997; fp t9622; fp t8972; fp t9569; fp t10194; fp t9719; fp t9764; fp t9449; fp t10193; fp t8995; fp t9699; fp t9723; fp t10192; fp t9000; fp t9639; fp t9005; fp t9674; fp t9326; fp t10191; fp t9782; fp t9023; fp t9019; fp t9769; fp t10190; fp t9742; fp t9457; fp t9675; fp t9554; fp t10189; fp t9600; fp t9508; fp t9690; fp t9549; fp t10188; fp t9673; fp t9589; fp t10187; fp t9702; fp t9788; fp t9011; fp t10186; fp t9601; fp t9047; fp t9652; fp t10185; fp t9461; fp t9724; fp t9289; fp t10184; fp t9608; fp t9440; fp t9380; fp t10183; fp t10182; fp t8963; fp t9772; fp t9615; fp t9243; fp t10181; fp t9017; fp t8983; fp t9590; fp t10180; fp t8962; fp t9297; fp t10179; fp t9003; fp t9635; fp t9225; fp t9001; fp t9657; fp t10178; fp t9646; fp t9629; fp t9235; fp t10177; fp t9779; fp t9018; fp t9503; fp t9777; fp t8982; fp t10176; fp t9008; fp t9015; fp t9645; fp t10175; fp t9052; fp t10174; fp t9738; fp t9685; fp t10173; fp t9698; fp t8634; fp t9042; fp t9587; fp t10172; fp t8977; fp t10171; fp t9627; fp t8998; fp t10170; fp t9614; fp t8641; fp t10169; fp t9642; fp t8723; fp t9566; fp t8832; fp t10168; fp t9605; fp t10167; fp t10166; fp t9632; fp t9558; fp t10165; fp t9752; fp t10164; fp t9040; fp t9055; fp t9786; fp t10163; fp t9594; fp t9732; fp t10162; fp t9004; fp t9597; fp t10161; fp t8968; fp t9596; fp t10160; fp t9741; fp t9500; fp t9462; fp t10159; fp t9056; fp t9634; fp t9640; fp t10158; fp t9705; fp t10157; fp t9041; fp t9577; fp t10156; fp t9570; fp t9002; fp t9581; fp t10155; fp t10154; fp t9526; fp t10153; fp t9751; fp t10152; fp t8970; fp t8973; fp t10151; fp t9661; fp t8815; fp t10150; fp t9726; fp t10149; fp t8981; fp t9038; fp t9636; fp t10148; fp t9531; fp t9745; fp t10147; fp t8716; fp t8713; fp t10146; fp t9682; fp t10145; fp t9770; fp t9760; fp t10144; fp t8958; fp t10143; fp t10142; fp t8959; fp t9643; fp t9753; fp t10141; fp t9754; fp t10140; fp t9660; fp t10139; fp t9565; fp t10138; fp t9013; fp t9707; fp t9787; fp t10137; fp t10136; fp t9035; fp t9027; fp t9585; fp t10135; fp t8976; fp t9708; fp t9410; fp t9562; fp t10134; fp t9617; fp t9196; fp t10133; fp t9762; fp t9735; fp t9007; fp t9666; fp t9241; fp t10132; fp t9790; fp t9543; fp t9655; fp t9207; fp t9584; fp t9253; fp t10029; fp t9700; fp t9430; fp t9381; fp t7750; fp t10131; fp t8979; fp t9775; fp t9504; fp t8986; fp t9619; fp t9489; fp t10130; fp t9781; fp t9547; fp t9778; fp t9497; fp t10129; fp t9766; fp t9572; fp t9582; fp t9310; fp t10128; fp t8829; fp t10127; fp t9722; fp t10126; fp t9039; fp t9574; fp t9044; fp t10125; fp t9656; fp t9505; fp t7739; fp t9443; fp t9339; fp t9268; fp t10015; fp t9518; fp t10124; fp t9654; fp t10123; fp t9665; fp t10122; fp t9612; fp t10121; fp t9595; fp t10120; fp t9687; fp t10119; fp t9591; fp t9453; fp t10118; fp t9743; fp t9513; fp t10117; fp t9784; fp t9468; fp t9704; fp t9507; fp t10116; fp t10115; fp t9206; fp t10114; fp t9715; fp t9613; fp t10113; fp t9501; fp t10112; fp t9647; fp t9467; fp t9433; fp t10111; fp t9620; fp t9276; fp t9299; fp t9470; fp t10110; fp t9306; fp t10109; fp t9680; fp t9485; fp t9431; fp t9737; fp t9541; fp t10079; fp t10108; fp t9400; fp t9285; fp t10107; fp t9229; fp t9261; fp t10106; fp t9298; fp t10105; fp t9791; fp t9417; fp t10104; fp t9528; fp t10103; fp t9325; fp t9272; fp t10102; fp t8967; fp t9283; fp t8969; fp t10101; fp t9221; fp t10100; fp t9329; fp t8980; fp t9248; fp t10099; fp t9219; fp t10098; fp t9267; fp t9367; fp t10097; fp t9376; fp t9313; fp t8974; fp t8971; fp t10096; fp t9588; fp t9256; fp t9269; fp t10095; fp t10094; fp t9694; fp t9264; fp t9308; fp t10093; fp t10092; fp t9050; fp t9670; fp t9373; fp t10091; fp t9378; fp t10090; fp t8999; fp t9028; fp t10089; fp t9033; fp t9302; fp t10088; fp t10087; fp t9201; fp t10086; fp t10085; fp t9604; fp t9362; fp t10084; fp t10083; fp t10082; fp t9424; fp t10081; fp t9281; fp t9575; fp t9414; fp t10080; fp t9303; fp t9343; fp t9631; fp t9312; fp t10078; fp t9198; fp t9483; fp t10077; fp t9757; fp t9498; fp t9209; fp t10076; fp t9346; fp t9559; fp t9200; fp t10075; fp t9678; fp t9442; fp t10074; fp t9347; fp t10073; fp t9481; fp t9290; fp t10072; fp t9428; fp t9556; fp t9713; fp t9493; fp t10071; fp t10070; fp t9542; fp t10069; fp t9333; fp t10068; fp t10067; fp t8990; fp t9437; fp t9517; fp t9291; fp t9419; fp t10066; fp t9749; fp t9469; fp t9514; fp t10065; fp t9024; fp t9049; fp t9034; fp t9036; fp t10064; fp t9464; fp t9651; fp t9353; fp t10063; fp t9650; fp t9368; fp t9720; fp t9478; fp t9288; fp t10062; fp t9511; fp t9521; fp t10061; fp t9369; fp t8608; fp t10060; fp t10059; fp t9477; fp t9475; fp t10058; fp t9389; fp t9279; fp t10057; fp t9195; fp t9271; fp t10056; fp t9697; fp t9340; fp t10055; fp t8834; fp t9548; fp t8629; fp t10054; fp t9216; fp t10053; fp t9592; fp t9361; fp t10052; fp t10051; fp t9533; fp t9427; fp t10050; fp t10049; fp t9456; fp t9618; fp t9226; fp t9287; fp t10048; fp t10047; fp t8994; fp t9026; fp t9573; fp t9593; fp t8989; fp t10046; fp t8748; fp t9676; fp t8616; fp t10045; fp t9667; fp t9332; fp t9716; fp t9413; fp t10044; fp t10043; fp t9448; fp t10042; fp t9022; fp t9568; fp t9473; fp t10041; fp t10040; fp t9659; fp t9370; fp t9644; fp t9357; fp t8668; fp t10039; fp t9730; fp t9502; fp t9395; fp t9211; fp t10038; fp t9217; fp t10037; fp t9454; fp t9249; fp t10036; fp t10035; fp t9399; fp t10034; fp t9405; fp t9671; fp t8649; fp t9296; fp t10033; fp t10032; fp t9274; fp t9204; fp t8686; fp t10031; fp t8673; fp t9280; fp t10030; fp t10028; fp t10027; fp t9761; fp t9534; fp t9292; fp t10026; fp t9776; fp t9551; fp t9250; fp t10025; fp t10024; fp t10023; fp t9197; fp t9331; fp t10022; fp t9265; fp t9491; fp t10021; fp t9535; fp t9527; fp t9205; fp t9630; fp t9282; fp t10020; fp t9321; fp t10019; fp t10018; fp t9599; fp t9295; fp t9354; fp t9553; fp t10017; fp t9536; fp t9387; fp t9270; fp t9409; fp t10016; fp t9611; fp t10014; fp t9771; fp t9460; fp t10013; fp t10012; fp t9383; fp t9247; fp t10011; fp t10010; fp t10009; fp t9232; fp t10008; fp t9792; fp t9610; fp t9277; fp t9218; fp t10007; fp t9363; fp t9451; fp t10006; fp t9429; fp t10005; fp t9746; fp t9684; fp t10004; fp t9411; fp t10003; fp t10002; fp t9736; fp t8597; fp t10001; fp t8670; fp t9496; fp t10000; fp t9624; fp t8644; fp t9275; fp t9999; fp t9546; fp t9445; fp t9663; fp t9998; fp t9335; fp t9532; fp t9997; fp t9486; fp t9552; fp t9499; fp t9996; fp t9484; fp t9995; fp t9537; fp t9479; fp t9482; fp t9994; fp t9773; fp t9471; fp t9993; fp t9356; fp t9314; fp t9992; fp t9452; fp t9991; fp t9322; fp t9990; fp t9579; fp t9224; fp t9989; fp t9260; fp t9988; fp t9606; fp t9444; fp t9609; fp t9520; fp t9987; fp t9692; fp t8756; fp t9785; fp t9986; fp t9524; fp t9985; fp t9984; fp t9783; fp t9637; fp t9672; fp t8721; fp t9744; fp t9983; fp t9982; fp t8598; fp t9981; fp t9980; fp t9576; fp t8606; fp t9979; fp t9561; fp t9231; fp t9978; fp t8701; fp t9305; fp t9212; fp t9623; fp t9174; fp t9977; fp t9976; fp t9446; fp t9975; fp t9459; fp t9974; fp t9401; fp t9973; fp t9972; fp t8603; fp t9240; fp t9227; fp t9159; fp t8725; fp t9971; fp t9970; fp t9968; fp t9633; fp t9641; fp t8620; fp t9967; fp t9966; fp t9509; fp t9965; fp t9964; fp t8677; fp t9963; fp t9273; fp t9962; fp t9961; fp t9960; fp t9958; fp t7925; fp t9957; fp t9544; fp t9530; fp t9956; fp t9350; fp t9955; fp t9954; fp t9953; fp t9341; fp t9328; fp t9952; fp t9348; fp t9951; fp t9950; fp t9949; fp t9948; fp t9242; fp t9379; fp t9947; fp t9342; fp t9679; fp t9516; fp t9398; fp t9946; fp t9945; fp t9220; fp t9944; fp t9943; fp t9942; fp t9941; fp t9940; fp t9352; fp t9939; fp t9344; fp t9364; fp t9938; fp t9371; fp t9937; fp t9625; fp t9626; fp t9653; fp t8689; fp t9936; fp t9664; fp t9257; fp t9412; fp t9396; fp t9935; fp t7687; fp t9934; fp t9933; fp t9402; fp t9450; fp t9580; fp t9932; fp t9931; fp t9930; fp t9390; fp t9929; fp t9375; fp t9366; fp t9330; fp t9432; fp t9320; fp t9928; fp t9927; fp t9259; fp t9926; fp t9925; fp t9924; fp t9683; fp t9923; fp t9922; fp t9921; fp t9920; fp t9919; fp t9729; fp t9441; fp t9918; fp t9917; fp t8139; fp t9916; fp t9915; fp t9914; fp t8595; fp t9913; fp t9912; fp t9789; fp t9564; fp t9266; fp t9557; fp t9658; fp t9911; fp t9293; fp t9910; fp t9909; fp t9908; fp t9907; fp t9238; fp t9906; fp t9435; fp t8071; fp t9905; fp t9711; fp t9263; fp t9904; fp t9391; fp t9540; fp t9436; fp t9213; fp t9903; fp t9902; fp t9718; fp t9515; fp t9901; fp t9900; fp t9899; fp t9337; fp t9525; fp t9418; fp t9898; fp t9578; fp t8931; fp t9319; fp t8929; fp t9897; fp t9309; fp t9896; fp t9480; fp t9895; fp t9317; fp t9894; fp t9358; fp t9893; fp t9892; fp t9891; fp t9890; fp t9286; fp t9889; fp t9385; fp t9210; fp t9888; fp t9887; fp t7990; fp t9886; fp t9885; fp t8148; fp t9884; fp t9883; fp t9882; fp t8895; fp t8890; fp t9881; fp t9203; fp t9880; fp t9879; fp t9878; fp t9408; fp t9877; fp t9876; fp t9875; fp t9874; fp t9873; fp t9872; fp t9871; fp t8714; fp t8927; fp t9388; fp t8923; fp t9870; fp t9143; fp t9869; fp t9868; fp t9147; fp t9867; fp t9458; fp t9490; fp t9866; fp t9439; fp t9865; fp t8684; fp t9712; fp t9864; fp t9316; fp t9404; fp t9863; fp t9862; fp t9425; fp t8662; fp t9740; fp t9861; fp t9860; fp t9426; fp t9355; fp t9545; fp t9529; fp t9859; fp t8738; fp t9202; fp t9734; fp t9858; fp t9351; fp t9602; fp t9857; fp t8754; fp t9686; fp t9555; fp t9415; fp t9856; fp t9855; fp t9438; fp t9854; fp t9689; fp t8751; fp t8661; fp t9853; fp t9701; fp t9607; fp t8752; fp t8683; fp t9852; fp t9474; fp t9851; fp t9717; fp t9669; fp t8770; fp t8659; fp t9850; fp t9849; fp t9728; fp t9848; fp t9847; fp t9739; fp t9233; fp t9846; fp t9386; fp t9294; fp t9688; fp t8710; fp t9845; fp t9710; fp t9709; fp t9394; fp t9844; fp t9843; fp t9721; fp t9311; fp t9842; fp t9841; fp t9768; fp t9495; fp t9840; fp t9714; fp t9839; fp t9382; fp t8744; fp t9731; fp t9838; fp t9567; fp t9638; fp t9837; fp t8746; fp t9300; fp t9836; fp t8839; fp t9835; fp t9834; fp t9833; fp t9392; fp t9832; fp t9214; fp t9831; fp t8794; fp t9830; fp t9756; fp t9403; fp t8827; fp t9829; fp t8625; fp t9828; fp t8687; fp t9827; fp t8763; fp t8753; fp t9826; fp t9825; fp t9824; fp t9750; fp t9823; fp t9822; fp t9677; fp t9821; fp t8775; fp t9706; fp t8776; fp t9725; fp t9820; fp t9727; fp t8592; fp t9819; fp t8602; fp t9818; fp t9817; fp t9816; fp t9815; fp t9814; fp t9813; fp t9812; fp t9811; fp t9810; fp t9809; fp t9808; fp t9807; fp t9806; fp t9805; fp t9804; fp t7923; fp t9803; fp t9802; fp t9801; fp t9800; fp t9799; fp t9798; fp t9797; fp t9796; fp t9795; fp t9794; fp t9793; fp t8952; fp t9703; fp t8950; fp t9693; fp t7904; fp t9691; fp t9668; fp t8949; fp t9628; fp t7817; fp t9621; fp t8945; fp t9603; fp t7706; fp t9560; fp t8845; fp t9487; fp t8833; fp t8853; fp t9422; fp t9416; fp t9397; fp t9374; fp t9194; fp t9193; fp t9192; fp t9191; fp t9188; fp t9187; fp t9186; fp t9185; fp t9184; fp t9183; fp t9030; fp t8966; fp t8987; fp t9180; fp t9010; fp t9009; fp t9048; fp t9179; fp t9178; fp t9006; fp t9043; fp t9177; fp t9029; fp t8993; fp t8991; fp t9176; fp t9045; fp t9054; fp t9175; fp t9014; fp t9032; fp t9173; fp t8984; fp t9172; fp t9012; fp t8978; fp t9171; fp t9170; fp t9169; fp t9051; fp t8992; fp t9168; fp t8965; fp t9167; fp t9166; fp t9165; fp t8996; fp t9164; fp t9053; fp t9163; fp t9162; fp t9020; fp t9031; fp t9161; fp t9160; fp t9158; fp t8985; fp t9157; fp t9156; fp t9155; fp t9154; fp t9153; fp t9152; fp t9151; fp t9150; fp t9148; fp t9146; fp t9145; fp t9144; fp t9142; fp t9141; fp t9140; fp t8988; fp t8961; fp t9139; fp t9138; fp t9137; fp t9136; fp t9135; fp t9134; fp t9133; fp t9132; fp t9131; fp t9130; fp t9129; fp t9128; fp t9127; fp t9126; fp t9125; fp t9124; fp t9123; fp t9122; fp t9121; fp t9120; fp t9119; fp t9118; fp t9117; fp t9116; fp t9115; fp t9114; fp t9113; fp t9112; fp t9111; fp t9110; fp t9109; fp t9108; fp t9107; fp t9106; fp t9105; fp t9104; fp t9103; fp t9102; fp t9101; fp t9100; fp t9099; fp t9098; fp t9097; fp t9096; fp t9095; fp t9094; fp t9093; fp t9092; fp t9091; fp t9090; fp t9089; fp t9088; fp t9087; fp t9086; fp t9085; fp t9084; fp t9083; fp t9082; fp t9081; fp t9080; fp t9079; fp t9078; fp t9077; fp t9076; fp t9075; fp t9074; fp t9073; fp t9072; t9058 = z*z; t9057 = x*x; t9060 = t9057*x; t9696 = t9058*t9060; t8960 = RATIONAL(1.0,1728.0); t9307 = t8960*t9696; t9063 = t9058*t9058; t8964 = RATIONAL(-1.0,1728.0); t9563 = t9063*t8964; t9262 = t9060*t9563; t10201 = t9262+t9307; t9021 = RATIONAL(-1.0,54.0); t9025 = RATIONAL(2.0,27.0); t9767 = x*t9025; t9759 = z*t9060; t10200 = t9021*t9759+z*t9767; t9059 = y*y; t9061 = t9059*y; t9065 = t9057*t9057; t9571 = t9061*t9065; t8975 = RATIONAL(1.0,216.0); t9774 = y*t9065; t9510 = t9021*t9774; t10199 = t8975*t9571+t9510; t9046 = RATIONAL(-1.0,9.0); t9681 = t9046*t9060; t9016 = RATIONAL(-1.0,36.0); t9616 = t9016*t9060; t9064 = t9059*t9059; t8809 = t9064*t9616; t10198 = t9681+t8809; t9598 = t9064*t9057; t9062 = t9058*z; t9372 = t9062*t9598; t9733 = t9062*t9065; t9251 = t9059*t9733; t10197 = t9251+t9372; t9649 = t9065*t9046; t9037 = RATIONAL(1.0,36.0); t10196 = t9037*t9733+z*t9649; t9662 = t9021*t9063; t9434 = y*t9662; t9583 = t9061*t8975; t10195 = t9434+t9063*t9583; t8997 = RATIONAL(-1.0,288.0); t9622 = t8997*t9058; t8972 = RATIONAL(-5.0,1152.0); t9569 = t9063*t8972; t10194 = t9057*t9569+t9622; t9719 = t9061*t8964; t9764 = z*t8960; t9449 = t9061*t9764; t10193 = t9062*t9719+t9449; t8995 = RATIONAL(1.0,288.0); t9699 = t8995*t9058; t9723 = t9063*t8997; t10192 = t9699+t9723; t9000 = RATIONAL(1.0,144.0); t9639 = t9062*t9000; t9005 = RATIONAL(1.0,576.0); t9674 = t9065*t9005; t9326 = t9062*t9674; t10191 = t9326+t9639; t9782 = z*t9065; t9023 = RATIONAL(-2.0,27.0); t9019 = RATIONAL(8.0,27.0); t9769 = z*t9019; t10190 = t9023*t9782+t9057*t9769; t9742 = t9062*t9059; t9457 = x*t9742; t9675 = t9060*t9059; t9554 = z*t9675; t10189 = t9554+t9457; t9600 = t9058*t9059; t9508 = x*t9600; t9690 = t9063*t9064; t9549 = x*t9690; t10188 = t9549+t9508; t9673 = t9061*t9063; t9589 = t9063*t9046; t10187 = y*t9589+t9037*t9673; t9702 = t9063*t9060; t9788 = x*t9063; t9011 = RATIONAL(1.0,54.0); t10186 = t9023*t9788+t9011*t9702; t9601 = t9065*t9016; t9047 = RATIONAL(1.0,9.0); t9652 = t9047*t9065; t10185 = t9062*t9601+z*t9652; t9461 = z*t9719; t9724 = t9062*t8960; t9289 = t9061*t9724; t10184 = t9461+t9289; t9608 = t9058*t9064; t9440 = x*t9608; t9380 = t9060*t9600; t10183 = t9380+t9440; t10182 = t9065*t9639+z*t9601; t8963 = RATIONAL(-1.0,3456.0); t9772 = y*t9058; t9615 = t9063*t8963; t9243 = t9061*t9615; t10181 = t9243+t8963*t9772; t9017 = RATIONAL(1.0,27.0); t8983 = RATIONAL(-1.0,108.0); t9590 = t9063*t9059; t10180 = t8983*t9590+t9017*t9600; t8962 = RATIONAL(1.0,3456.0); t9297 = t8962*t9696; t10179 = t9060*t9615+t9297; t9003 = RATIONAL(5.0,576.0); t9635 = t9003*t9058; t9225 = t9061*t9635; t9001 = RATIONAL(-1.0,144.0); t9657 = t9061*t9001; t10178 = t9657+t9225; t9646 = t9062*t9064; t9629 = t8962*t9059; t9235 = t9062*t9629; t10177 = t8963*t9646+t9235; t9779 = z*t9059; t9018 = RATIONAL(-1.0,27.0); t9503 = t9018*t9779; t9777 = z*t9064; t8982 = RATIONAL(1.0,108.0); t10176 = t9503+t8982*t9777; t9008 = RATIONAL(-1.0,72.0); t9015 = RATIONAL(-1.0,18.0); t9645 = t9015*t9057; t10175 = t9645+t9008*t9598; t9052 = RATIONAL(-4.0,9.0); t10174 = x*t9052+t9047*t9060; t9738 = t9064*t9046; t9685 = t9064*t9060; t10173 = t9037*t9685+x*t9738; t9698 = t8995*t9065; t8634 = t9062*t9698; t9042 = RATIONAL(1.0,72.0); t9587 = t9042*t9062; t10172 = t8634+t9587; t8977 = RATIONAL(-1.0,432.0); t10171 = t9064*t9563+t8977*t9600; t9627 = t9015*t9059; t8998 = RATIONAL(-5.0,288.0); t10170 = t9627+t8998*t9608; t9614 = t9061*t9008; t8641 = t8997*t9571; t10169 = t9614+t8641; t9642 = t9042*t9065; t8723 = y*t9642; t9566 = t9008*t9065; t8832 = t9061*t9566; t10168 = t8723+t8832; t9605 = t9061*t9057; t10167 = t9657+t9003*t9605; t10166 = t9019*t9772+t9011*t9673; t9632 = t9011*t9064; t9558 = t9062*t9023; t10165 = t9059*t9558+t9062*t9632; t9752 = t9065*t9037; t10164 = t9016*t9057+t9752; t9040 = RATIONAL(-5.0,36.0); t9055 = RATIONAL(5.0,9.0); t9786 = y*t9057; t10163 = t9055*t9786+t9040*t9605; t9594 = t9061*t9016; t9732 = t9063*t9047; t10162 = y*t9732+t9063*t9594; t9004 = RATIONAL(-1.0,576.0); t9597 = t9064*t9004; t10161 = z*t9597+t9639; t8968 = RATIONAL(-1.0,6912.0); t9596 = t8968*t9058; t10160 = t9064*t9596+t8968*t9590; t9741 = t9065*t9059; t9500 = z*t9741; t9462 = z*t9598; t10159 = t9462+t9500; t9056 = RATIONAL(4.0,9.0); t9634 = t9056*t9057; t9640 = t9063*t9057; t10158 = t9047*t9640+t9634; t9705 = t9021*t9059; t10157 = t9062*t9705+t9025*t9779; t9041 = RATIONAL(-5.0,72.0); t9577 = t9058*t9041; t10156 = t9057*t9577+t9065*t9723; t9570 = t9062*t9001; t9002 = RATIONAL(-5.0,576.0); t9581 = t9002*t9057; t10155 = z*t9581+t9570; t10154 = t8964*t9608+t8977*t9590; t9526 = z*t9571; t10153 = t9526+y*t9733; t9751 = t9047*t9064; t10152 = t9016*t9646+z*t9751; t8970 = RATIONAL(5.0,1152.0); t8973 = RATIONAL(1.0,1152.0); t10151 = t8973*t9608+t8970*t9590; t9661 = t9061*t9047; t8815 = t9037*t9571; t10150 = t9661+t8815; t9726 = t9062*t9046; t10149 = t9726+z*t9056; t8981 = RATIONAL(5.0,288.0); t9038 = RATIONAL(1.0,18.0); t9636 = t9038*t9058; t10148 = t8981*t9640+t9636; t9531 = z*t9605; t9745 = z*t9774; t10147 = t9531+t9745; t8716 = y*t9566; t8713 = t9042*t9571; t10146 = t8713+t8716; t9682 = t9001*t9060; t10145 = x*t9000+t9682; t9770 = y*t8982; t9760 = y*t9018; t10144 = t9057*t9760+t9065*t9770; t8958 = RATIONAL(-1.0,1152.0); t10143 = t8958*t9590+t8972*t9608; t10142 = t8963*t9786+t8962*t9774; t8959 = RATIONAL(1.0,6912.0); t9643 = t8959*t9065; t9753 = t9059*t9057; t10141 = t9064*t9643+t8959*t9753; t9754 = t9064*t9065; t10140 = t9059*t9643+t8968*t9754; t9660 = t9016*t9059; t10139 = t9064*t9037+t9660; t9565 = t8958*t9064; t10138 = t9059*t9569+t9622+t9058*t9565; t9013 = RATIONAL(-8.0,27.0); t9707 = t9061*t9058; t9787 = y*t9063; t10137 = t9013*t9772+(t9707+t9787)*t9025; t10136 = t9590+t9741; t9035 = RATIONAL(1.0,24.0); t9027 = RATIONAL(-5.0,96.0); t9585 = t9027*t9057; t10135 = t9035+t9585; t8976 = RATIONAL(1.0,432.0); t9708 = t9061*t9060; t9410 = t8976*t9708; t9562 = z*t9760; t10134 = x*t9562+t9062*t9410; t9617 = t8981*t9058; t9196 = t9061*t9617; t10133 = t9196+t9614; t9762 = y*t8975; t9735 = z*t9762; t9007 = RATIONAL(-1.0,864.0); t9666 = t9007*t9060; t9241 = t9061*t9666; t10132 = t9062*t9241+x*t9735; t9790 = x*z; t9543 = t9017*t9779; t9655 = t8982*t9059; t9207 = t9060*t9655; t9584 = t9064*t8983; t9253 = t9060*t9646; t10029 = t9062*t9207+x*t9543+t9584*t9790+t8977*t9253; t9700 = t9062*t8983; t9430 = x*t9700; t9381 = t8976*t9646; t7750 = x*t9381; t10131 = t9059*t9430+t10029+t10176*t9060+t7750; t8979 = RATIONAL(1.0,864.0); t9775 = t9061*z; t9504 = t8979*t9775; t8986 = RATIONAL(-1.0,216.0); t9619 = t8986*t9060; t9489 = y*t9619; t10130 = x*t9504+t9062*t9489; t9781 = x*t8986; t9547 = t9061*t9781; t9778 = y*t9060; t9497 = t8979*t9778; t10129 = z*t9547+t9062*t9497; t9766 = y*t9017; t9572 = x*t9766; t9582 = t9061*t8977; t9310 = t9062*t9582; t10128 = t9060*t9310+z*t9572; t8829 = t9016*t9571; t10127 = t8829+y*t9652; t9722 = t8997*t9059; t10126 = t8972*t9598+t9722; t9039 = RATIONAL(5.0,24.0); t9574 = t9039*t9059; t9044 = RATIONAL(-1.0,6.0); t10125 = t9044+t9574; t9656 = t9064*t8977; t9505 = x*t9656; t7739 = t9062*t9505; t9443 = x*t9655; t9339 = t9060*t9584; t9268 = t9062*t9675; t10015 = t8976*t9253+t8983*t9268+t10176*x; t9518 = t9017*t9759; t10124 = t7739+z*t9339+t9062*t9443+t9059*t9518+t10015; t9654 = t9058*t9065; t10123 = t9608+t9654; t9665 = t8997*t9057; t10122 = t9057*t9565+t9665; t9612 = t9058*t9037; t10121 = t9612+t9063*t9016; t9595 = t9063*t8973; t10120 = t8970*t9654+t9057*t9595; t9687 = t8995*t9057; t10119 = t8997*t9065+t9687; t9591 = t9062*t9007; t9453 = x*t9591; t10118 = t9061*t9453+t9060*t9735; t9743 = x*t9775; t9513 = t9060*t9770; t10117 = t9062*t9513+t8983*t9743; t9784 = x*t8982; t9468 = t9062*t9784; t9704 = t8983*t9060; t9507 = y*t9704; t10116 = z*t9507+t9061*t9468; t10115 = t9636+t8981*t9590; t9206 = t9061*t9700; t10114 = x*t9206+z*t9513; t9715 = t9063*t9037; t9613 = t9058*t9016; t10113 = t9613+t9715; t9501 = t9061*x*t9062; t10112 = t8979*t9501+z*t9489; t9647 = t9061*t8982; t9467 = z*t9647; t9433 = y*t9700; t10111 = x*t9467+t9060*t9433; t9620 = t8976*t9058; t9276 = t9060*t9620; t9299 = t9061*t9563; t9470 = x*t9707; t10110 = y*t9276+x*t9299+t8960*t9470; t9306 = t9061*t9620; t10109 = x*t9306+t10201*y; t9680 = t9062*t8986; t9485 = x*t9680; t9431 = z*t9583; t9737 = t9062*t9060; t9541 = y*t9737; t10079 = x*t9431+t9007*t9541; t10108 = z*t9497+t9061*t9485+t10079; t9400 = t9063*t9598; t9285 = t9065*t9600; t10107 = t8962*t9400+t9007*t9285; t9229 = t9064*t9615; t9261 = t8979*t9600; t10106 = t9057*t9261+t9065*t9229; t9298 = t8979*t9640; t10105 = t9064*t9298+t8963*t9285; t9791 = y*z; t9417 = t8979*t9708; t10104 = t9062*t9417+t9781*t9791; t9528 = t9062*t9762; t10103 = z*t9241+x*t9528; t9325 = t9065*t9590; t9272 = t9007*t9598; t10102 = t9058*t9272+t8962*t9325; t8967 = RATIONAL(5.0,2304.0); t9283 = t9058*t9598; t8969 = RATIONAL(-1.0,2304.0); t10101 = t8967*t9283+t8969*t9325; t9221 = t8979*t9590; t10100 = t9065*t9221+t8963*t9283; t9329 = t9065*t9608; t8980 = RATIONAL(-5.0,144.0); t9248 = t8980*t9590; t10099 = t9005*t9329+t9057*t9248; t9219 = t9064*t9581; t10098 = t9058*t9219+t9000*t9325; t9267 = t8980*t9600; t9367 = t9005*t9598; t10097 = t9065*t9267+t9063*t9367; t9376 = t9057*t9600; t9313 = t9065*t9690; t8974 = RATIONAL(1.0,2304.0); t8971 = RATIONAL(-5.0,2304.0); t10096 = t8971*t9376+t8974*t9313; t9588 = t8986*t9059; t9256 = t9063*t9588; t9269 = t8975*t9608; t10095 = t9057*t9269+t9065*t9256; t10094 = t8969*t9400+t8967*t9285; t9694 = t8979*t9065; t9264 = t9063*t9694; t9308 = t9057*t9705; t10093 = t9064*t9264+t9058*t9308; t10092 = t9005*t9325+t8980*t9283; t9050 = RATIONAL(-5.0,9.0); t9670 = t9050*t9057; t9373 = t9058*t9670; t10091 = t9000*t9313+t9059*t9373; t9378 = t9000*t9690; t10090 = t9057*t9378+t9002*t9285; t8999 = RATIONAL(25.0,24.0); t9028 = RATIONAL(-1.0,96.0); t10089 = t8999*t9376+t9028*t9313; t9033 = RATIONAL(5.0,36.0); t9302 = t9033*t9640; t10088 = t9059*t9302+t9016*t9329; t10087 = t8986*t9400+t8975*t9285; t9201 = t9063*t9581; t10086 = t9059*t9201+t9000*t9329; t10085 = RATIONAL(1.0,384.0)*t9313+RATIONAL(-25.0,384.0)*t9376; t9604 = t9063*t9007; t9362 = t9057*t9604; t10084 = t9059*t9362+t8962*t9329; t10083 = t9011*t9283+t9007*t9325; t10082 = t9016*t9325+t9033*t9283; t9424 = t9057*t9590; t10081 = t8979*t9329+t8963*t9424; t9281 = t8986*t9608; t9575 = t8975*t9057; t9414 = t9063*t9575; t10080 = t9065*t9281+t9059*t9414; t9303 = t9058*t9583; t9343 = t9060*t9673; t9631 = t8975*t9058; t9312 = t9060*t9631; t10078 = t8979*t9343+x*t9303+y*t9312; t9198 = t8982*t9605; t9483 = t9057*t9766; t10077 = t9065*t9433+t9062*t9483+z*t9198; t9757 = t9062*t9057; t9498 = y*t9757; t9209 = t8982*t9733; t10076 = y*t9209+t8983*t9531+t9018*t9498; t9346 = t9065*t9591; t9559 = t8986*t9057; t9200 = t9061*t9559; t10075 = z*t9200+t8986*t9498+t9061*t9346; t9678 = t9065*t8983; t9442 = z*t9678; t10074 = t9061*t9442+t9017*t9531+t8982*t9498; t9347 = t9058*t9619; t10073 = y*t9347+t8986*t9470+t9063*t9241; t9481 = y*t9575; t9290 = t9062*t9694; t10072 = t9062*t9481+t9061*t9290+t9057*t9431; t9428 = x*t9724; t9556 = x*t9646; t9713 = t8976*t9059; t9493 = z*t9713; t10071 = t9060*t9493+t9059*t9428+t8964*t9556; t10070 = t8979*t9253+t10189*t8975; t9542 = t9063*t9784; t10069 = t9058*t9507+t9018*t9470+t9061*t9542; t9333 = t9018*t9605; t10068 = t9057*t9433+z*t9333+t9065*t9467; t10067 = t9007*t9253+t10189*t8986; t8990 = RATIONAL(5.0,144.0); t9437 = t8990*t9779; t9517 = z*t9754; t9291 = t9057*t9742; t9419 = t9062*t9597; t10066 = t9002*t9291+t9057*t9437+t9065*t9419+t9000*t9517; t9749 = t9063*t9065; t9469 = y*t9749; t9514 = t9021*t9786; t10065 = t8986*t9469+t9058*t9514+t9061*t9264+t9057*t9303; t9024 = RATIONAL(5.0,96.0); t9049 = RATIONAL(-5.0,6.0); t9034 = RATIONAL(-1.0,24.0); t9036 = RATIONAL(-5.0,24.0); t10064 = t9034*t9690+t9036*t9285+t9024*t9400+t9049*t9600; t9464 = x*t9021*t9058; t9651 = t8979*t9064; t9353 = t9063*t9651; t10063 = t8986*t9549+t9060*t9353+(t9312+t9464)*t9059; t9650 = t8976*t9057; t9368 = t8964*t9733; t9720 = t9065*t8977; t9478 = z*t9720; t9288 = t9062*t9605; t10062 = y*t9478+t8960*t9288+t9650*t9791+t9061*t9368; t9511 = t8964*t9777; t9521 = t8960*t9759; t10061 = t8976*t9457+t7739+t9060*t9511+t9059*t9521; t9369 = t9033*t9605; t8608 = t9000*t9571; t10060 = t9063*t8608+y*t9373+t9016*t9469+t9058*t9369; t10059 = t10106+t10107; t9477 = x*t9713; t9475 = t8960*t9788; t10058 = t9058*t9477+t9064*t9475+t10171*t9060; t9389 = t9063*t9565; t9279 = t8970*t9600; t10057 = t9060*t9389+t8973*t9549+x*t9279+t8972*t9380; t9195 = t9011*t9600; t9271 = t9064*t9604; t10056 = t9065*t9195+t9057*t9271+t10095; t9697 = t9063*t8976; t9340 = t9060*t9697; t10055 = t9059*t9340+t9064*t9307+t10154*x; t8834 = t9064*t9752; t9548 = z*t9753; t8629 = t9065*t9570; t10054 = t9040*t9291+z*t8834+t9055*t9548+t9064*t8629; t9216 = t9060*t9595; t10053 = t9060*t9279+t9064*t9216+x*t9389+t8972*t9508; t9592 = t9064*t8960; t9361 = t9060*t9592; t10052 = t9063*t9361+t9059*t9276+t10171*x; t10051 = t10100+t10107; t9533 = y*t9620; t9427 = t8977*t9788; t10050 = x*t9533+y*t9427+t10201*t9061; t10049 = t10084+t10100; t9456 = t8976*t9782; t9618 = t8977*t9059; t9226 = t9062*t9618; t9287 = t8964*t9757; t10048 = t9064*t9287+t8960*t9462+t9065*t9226+t9059*t9456; t10047 = t10080+t10083; t8994 = RATIONAL(-5.0,384.0); t9026 = RATIONAL(1.0,96.0); t9573 = t9026*t9065; t9593 = t9024*t9058; t8989 = RATIONAL(5.0,384.0); t10046 = t8989*t9283+t9057*t9593+t9063*t9573+t8994*t9325; t8748 = t9065*t9715; t9676 = t9063*t9001; t8616 = t9065*t9676; t10045 = y*t8748+t9061*t8616+t10163*t9058; t9667 = t9064*t9007; t9332 = t9065*t9667; t9716 = t8975*t9064; t9413 = t9065*t9716; t10044 = t9062*t9332+z*t9413+t9011*t9548+t8986*t9291; t10043 = t9065*t9310+t9062*t9198+z*t9483+y*t9442; t9448 = x*t9716; t10042 = t9059*t9347+t9063*t9448+x*t9195+t9060*t9271; t9022 = RATIONAL(5.0,72.0); t9568 = t9022*t9057; t9473 = y*t9568; t10041 = t8995*t9469+t9058*t9473+t10156*t9061; t10040 = t10103+t10104; t9659 = t9003*t9059; t9370 = t9060*t9659; t9644 = t9064*t9005; t9357 = t9060*t9644; t8668 = t9064*t9676; t10039 = t9058*t9370+t9063*t9357+(t9267+t8668)*x; t9730 = t8977*t9057; t9502 = z*t9730; t9395 = t9062*t9592; t9211 = t9062*t9650; t10038 = (t9211+t9502)*t9059+(t9395+t9511)*t9065; t9217 = t9058*t9582; t10037 = t9065*t9299+t8960*t9469+(t9217+t9533)*t9057; t9454 = z*t9670; t9249 = t9033*t9742; t10036 = t9059*t9454+t9057*t9249+t10182*t9064; t10035 = y*t9485+z*t9417+t10132; t9399 = t9062*t9571; t10034 = t8976*t9399+t9057*t9206+t10144*z; t9405 = t9063*t9685; t9671 = t8997*t9064; t8649 = x*t9671; t9296 = t9022*t9675; t10033 = t9063*t8649+t8995*t9405+t9041*t9508+t9058*t9296; t10032 = t8964*t9462+t9059*t9478+t8960*t9372+t8976*t9251; t9274 = t9065*t9671; t9204 = t9059*t9568; t8686 = z*t9698; t10031 = t9064*t8686+t9041*t9291+z*t9204+t9062*t9274; t8673 = t8995*t9571; t9280 = t9061*t9568; t10030 = t9063*t8673+t9058*t9280+t10156*y; t10028 = t10104+t10118; t10027 = t8960*t9517+t9064*t9368+(t9226+t9493)*t9057; t9761 = x*t8979; t9534 = t9062*t9761; t9292 = t9061*t9619; t10026 = y*t9534+z*t9292+t10079; t9776 = y*t9011; t9551 = t9057*t9776; t9250 = t9061*t9604; t10025 = t9065*t9250+t8975*t9469+(t9200+t9551)*t9058; t10024 = t9060*t9467+y*t9430+t10128; t10023 = t10080+t10093; t9197 = t9063*t9597; t9331 = t8990*t9600; t10022 = t9060*t9197+t9002*t9380+(t9378+t9331)*x; t9265 = t8960*t9673; t9491 = t8977*t9772; t10021 = t9065*t9265+t8964*t9469+(t9491+t9306)*t9057; t9535 = t8983*t9787; t9527 = t9058*t9766; t9205 = t9058*t9647; t9630 = t8977*t9060; t9282 = t9063*t9630; t10020 = t9060*t9205+t9061*t9282+(t9535+t9527)*x; t9321 = t8986*t9754; t10019 = t9064*t9290+t8975*t9291+(t9308+t9321)*z; t10018 = t9061*t9287+t9065*t9289+(t9456+t9502)*y; t9599 = t9058*t9002; t9295 = t9061*t9599; t9354 = t9063*t9571; t9553 = t9057*t9772; t10017 = t9004*t9354+t9000*t9469+t8990*t9553+t9057*t9295; t9536 = x*t9590; t9387 = t8977*t9608; t9270 = t8976*t9608; t9409 = t9060*t9590; t10016 = t8960*t9409+t9060*t9270+t8964*t9536+x*t9387; t9611 = t9026*t9064; t10014 = t9063*t9611+t9059*t9593+t8989*t9285+t8994*t9400; t9771 = z*t9041; t9460 = t9059*t9771; t10013 = t9064*t8634+t9057*t9460+t9062*t9204+z*t9274; t10012 = t10103+t10130; t9383 = t9058*t9605; t9247 = t8958*t9749; t10011 = t8970*t9553+t8972*t9383+t8973*t9469+t9061*t9247; t10010 = t10087+t10093; t10009 = t8960*t9268+t8964*t9253+(t9477+t9505)*z; t9232 = t8970*t9605; t10008 = t8973*t9354+t8972*t9553+t9058*t9232+y*t9247; t9792 = y*x; t9610 = t9058*t9018; t9277 = t8976*t9673; t9218 = t9061*t9704; t10007 = t9610*t9792+y*t9542+t9058*t9218+t9060*t9277; t9363 = t8964*t9696; t9451 = x*t9697; t10006 = x*t9491+t9060*t9265+t9061*t9363+y*t9451; t9429 = x*t8976*t9064; t10005 = t8964*t9268+z*t9429+t9618*t9790+t8960*t9253; t9746 = t9034*t9065; t9684 = t9049*t9057; t10004 = t9063*t9746+t9058*t9684+t9024*t9325+t9036*t9283; t9411 = t9011*t9640; t10003 = t9059*t9411+t9007*t9329+t10095; t10002 = z*t9218+y*t9468+t10134; t9736 = t9065*t9001; t8597 = t9064*t9736; t10001 = t8980*t9548+t9064*t9326+t9003*t9291+z*t8597; t8670 = t9063*t9674; t9496 = t8980*t9786; t10000 = t9057*t9225+y*t8616+t9058*t9496+t9061*t8670; t9624 = t8995*t9064; t8644 = x*t9624; t9275 = t9060*t9577; t9999 = t9022*t9508+t9063*t8644+t9059*t9275+t8997*t9405; t9546 = y*t9666; t9445 = t9063*t9761; t9663 = x*t9772; t9998 = t8986*t9663+t9063*t9546+y*t9445+x*t9250+t9058*t9292; t9335 = t9064*t9666; t9532 = z*t9651; t9997 = t8986*t9268+t9588*t9790+x*t9532+z*t9335+t9064*t9453; t9486 = z*t9705; t9552 = z*t9685; t9499 = x*t9632; t9996 = z*t9499+x*t9486+t9007*t9268+t9064*t9485+t8986*t9552; t9484 = t9065*t9762; t9995 = t8979*t9288+t9062*t9484+(t9551+t10199)*z; t9537 = y*t9559; t9479 = t9007*t9775; t9482 = y*t9694; t9994 = t9065*t9479+t9062*t9200+y*t9346+(t9482+t9537)*z; t9773 = x*t9059; t9471 = t8975*t9773; t9993 = t9064*t9534+t9060*t9532+t8975*t9268+z*t9471+t9667*t9790; t9356 = t8975*t9702; t9314 = t8979*t9707; t9992 = t9060*t9314+t9011*t9663+y*t9356+t10195*x; t9452 = t9007*t9774; t9991 = t8975*t9288+y*t9290+t9065*t9504+(t9452+t9481)*z; t9322 = t9065*t9680; t9990 = t9007*t9288+y*t9322+t9011*t9745+z*t9514+t8986*t9526; t9579 = x*t9787; t9224 = t9060*t9583; t9989 = t9007*t9579+t9631*t9792+t9058*t9224+t9061*t9445+t9063*t9497; t9260 = t9063*t9619; t9988 = t9011*t9579+t9063*t9547+t9058*t9241+(t9464+t9260)*y; t9606 = t9021*t9064; t9444 = z*t9716; t9609 = t9011*t9059; t9520 = x*t9609; t9987 = t9062*t9448+t8979*t9268+t9606*t9790+z*t9520+t9060*t9444; t9692 = t9042*t9064; t8756 = z*t9692; t9785 = z*t9038; t9986 = t8998*t9268+t8995*t9253+t9060*t9587+(t8756+t9460+t9785)*x; t9524 = t9057*t9771; t9985 = t8998*t9288+z*t8723+(t9785+t9524)*y+t10172*t9061; t9984 = t10027+t10084; t9783 = x*t9015; t9637 = t9008*t9060; t9672 = t9008*t9064; t8721 = x*t9672; t9744 = z*t9773; t9983 = t8981*t9268+t9062*t9637+t9022*t9744+t8997*t9253+(t8721+t9783)*z; t9982 = t9015*t9791+t8981*t9288+t10169*t9062+(t8716+t9473)*z; t8598 = t9000*t9741; t9981 = t9037*t9598+t8598+t10090+t10092; t9980 = t8977*t9462+t8964*t9500+t8960*t9251+t9064*t9211+t10105; t9576 = t9037*t9059; t8606 = t9000*t9598; t9979 = t8606+t9065*t9576+t10097+t10098; t9561 = t9062*t9018; t9231 = t9059*t9561; t9978 = t9064*t9468+x*t9231+t8983*t9554+t10029; t8701 = t9000*t9640; t9305 = t9003*t9590; t9212 = t9001*t9598; t9623 = t9057*t9331+t9065*t9197; t9174 = t9057*t9613+t8616+t9058*t9212+t9065*t9305+t9623; t9977 = t9065*t9612+t8701+t9174+t10086+t10097; t9976 = t9057*t9449+t9065*t9461+y*t9211+t10018; t9446 = y*t9630; t9975 = t8964*t9470+x*t9265+t9058*t9446+t10050; t9459 = y*t9724; t9974 = t8976*t9531+y*t9368+t9057*t9459+t10018; t9401 = t8983*t9673; t9973 = t9017*t9470+t9058*t9513+x*t9401+t10007; t9972 = t10034+t10077; t8603 = t9000*t9590; t9240 = t9003*t9598; t9227 = t9059*t9736; t9159 = t9058*t9227+t9063*t9240+t9016*t9600+t8668+t9623; t8725 = t9037*t9608; t9971 = t8603+t9159+t8725+t10086+t10092; t9970 = t10006+t10110; t9968 = t10034+t10074; t9633 = t9037*t9057; t9641 = t9058*t9000; t8620 = t9065*t9641; t9967 = t9063*t9633+t8620+t9174+t10090+t10099; t9966 = t10020+t10069; t9509 = z*t9630; t9965 = t9059*t9509+t8964*t9457+x*t9395+t10009; t9964 = t9064*t9430+t9017*t9457+z*t9207+t10015; t8677 = t9000*t9608; t9963 = t9159+t9063*t9576+t8677+t10098+t10099; t9273 = t9062*t9730; t9962 = t9065*t9449+t9057*t9461+y*t9273+t10062; t9961 = t9061*t9502+y*t9287+t9065*t9459+t10062; t9960 = t10043+t10076; t9958 = t10043+t10068; t7925 = t9064*t9509; t9957 = t7925+t9964; t9544 = y*t9640; t9530 = y*t9654; t9956 = t9065*t9217+t8976*t9530+t9057*t9299+t8960*t9544+t10021; t9350 = t8986*t9654; t9955 = t9057*t9250+y*t9414+t9061*t9350+t9011*t9530+t10065; t9954 = t10055+t10058; t9953 = x*t9310+y*t9518+t10002+t10111; t9341 = t9060*t9610; t9328 = t8982*t9608; t9952 = t9060*t9328+t9064*t9282+t9059*t9341+t8983*t9440+(t9207+t9429)* t9063+t10180*x; t9348 = t8979*t9598; t9951 = t9065*t9486+t8975*t9251+t9062*t9348+t8986*t9462+t10044; t9950 = z*t9224+y*t9453+t10112+t10129+t10132; t9949 = t9060*t9256+t9063*t9520+x*t9269+t9058*t9335+t10063; t9948 = z*t9361+t8964*t9554+x*t9226+t7750+t10009; t9242 = t9059*t9678; t9379 = t9065*t9656; t9947 = t9059*t9209+z*t9242+t9062*t9379+t8983*t9462+t9064*t9456+t8982* t9372+(t9231+t9543)*t9057; t9342 = t8963*t9707; t9679 = t8962*t9063; t9516 = x*t9679; t9398 = t9060*t9679; t9946 = y*t9398+t8963*t9579+t8962*t9663+x*t9342+t10181*t9060+(t9297+t9516 )*t9061; t9945 = t8959*t9462+t10141*t9062+t10140*z+(t9548+t10197)*t8968; t9220 = t8959*t9685; t9944 = t9063*t9220+t10160*t9060+t10188*t8968+(t9536+t10183)*t8959; t9943 = (t9325+t9376+t9400+t9329)*RATIONAL(-1.0,13824.0)+(t9285+t9313+ t9283+t9424)*RATIONAL(1.0,13824.0); t9942 = t10038+t10048; t9941 = x*t9270+t9060*t9387+t10052+(t9475+t9262)*t9059; t9940 = t8975*t9500+t8986*t9372+t9011*t9462+t9007*t9251+t10019; t9352 = t8983*t9707; t9939 = t9017*t9383+t8977*t9469+t9057*t9401+t8982*t9544+(t9277+t9352)* t9065+t10144*t9058; t9344 = t8962*t9605; t9364 = t8962*t9571; t9938 = t9063*t9344+t9057*t9342+t8979*t9553+t9065*t9243+(t9364+t9452)* t9058+(t9362+t9264)*y; t9371 = t9058*t9571; t9937 = t8977*t9544+t9057*t9277+t8964*t9530+t8960*t9371+t10037; t9625 = t9005*t9057; t9626 = t9063*t9004; t9653 = t9065*t9004; t8689 = t9058*t9653; t9936 = t8971*t9325+t9057*t9626+t8670+t8974*t9283+t8689+t9058*t9625+ t10094; t9664 = t8962*t9064; t9257 = t9060*t9664; t9412 = t8979*t9608; t9396 = t8963*t9685; t9935 = t9063*t9257+t9007*t9508+t9058*t9396+t10179*t9059+(t9412+t9221+ t9271)*x; t7687 = t8976*t9552; t9934 = t7687+t9978; t9933 = y*t9350+t9065*t9314+t10025+t10195*t9057; t9402 = t9011*t9708; t9450 = t9062*t9776; t9580 = x*t9769; t9932 = t9060*t9450+t9062*t9292+z*t9402+t9558*t9792+t9011*t9501+t9023* t9743+(t9580+t9023*t9759)*y; t9931 = z*t9410+t9561*t9792+t10116+t10117+t10128; t9930 = t9996+t10070; t9390 = t9007*t9590; t9929 = t8963*t9380+t9058*t9257+t9007*t9440+t9059*t9398+t9060*t9229+( t9390+t9261+t9353)*x; t9375 = t8968*t9640; t9366 = t9061*t9596; t9330 = t8959*t9605; t9432 = t8959*t9787; t9320 = t9058*t9643; t9928 = t9057*t9432+t9058*t9330+t8959*t9354+y*t9320+t9061*t9375+t9065* t9366+(t9469+t9553)*t8968; t9927 = t9060*t9528+x*t9479+t10035+t10112; t9259 = t9021*t9598; t9926 = t8979*t9251+t8986*t9500+t8975*t9372+z*t9259+t10044; t9925 = t9062*t9572+t9061*t9509+t10111+t10114+t10134; t9924 = t9065*t9205+t8976*t9469+t9057*t9535+t8983*t9530+t8977*t9354+t9063 *t9198+(t9483+t9333)*t9058; t9683 = z*t9786; t9923 = z*t9364+t10142*t9062+(t9288+t9683)*t8962+(t9399+t10147)*t8963; t9922 = t9060*t9342+(t9343+t9470)*t8962+t10181*x+(t9516+t10179)*y; t9921 = t9062*t9364+t8962*t9498+(t9288+t10153)*t8963+(t9344+t10142)*z; t9920 = t8959*t9553+t9063*t9330+t9061*t9320+t9057*t9366+t9065*t9432+y* t9375+(t9530+t9354)*t8968; t9919 = t10006+t10040; t9729 = t8964*t9792; t9441 = t8964*t9778; t9918 = t9062*t9441+z*t9729+t10184*t9060+(t9428+t9521)*y+t10193*x; t9917 = t10063+t9063*t9471+t9011*t9440+(t9281+t9390)*t9060; t8139 = x*t9277; t9916 = t8139+x*t9217+t10050+(t8960*t9702+t9363)*y; t9915 = t9997+t10070; t9914 = t9992+t10073; t8595 = t9058*t9597; t9913 = t8974*t9285+t9005*t9600+t8595+t9063*t9644+t9004*t9590+t8971*t9400 +t10101; t9912 = t9058*t9220+(t9405+t9380)*t8968+t10160*x+(t9409+t10188)*t8959; t9789 = y*t9062; t9564 = t9061*t9021; t9266 = t9062*t9564; t9557 = t9025*t9060; t9658 = t9013*t9790; t9911 = t9062*t9224+x*t9266+t9557*t9791+y*t9658+t9021*t9541+t9767*t9789+ t10200*t9061; t9293 = t9021*t9590; t9910 = t9060*t9412+t9059*t9356+t10042+(t9293+t9281)*x; t9909 = t9060*t9562+t8976*t9501+t10024+t10117; t9908 = t10052+t8960*t9440+t9059*t9451+t10154*t9060; t9907 = t9063*t9507+t10007+t10023+t9060*t9527+x*t9205+t10056; t9238 = t9065*t9609; t9906 = t8986*t9251+t9062*t9272+z*t9238+t9057*t9444+t10019; t9435 = t8976*t9789; t8071 = t9065*t9435; t9905 = t8071+t9962; t9711 = x*t9777; t9263 = t9060*t9632; t9904 = t9011*t9268+t8986*t9253+t9059*t9580+z*t9263+(t9711+t9554)*t9023+ t10165*x; t9391 = t8962*t9646; t9540 = z*t9629; t9436 = t8963*t9779; t9213 = t8962*t9737; t9903 = z*t9257+t9059*t9213+t9060*t9436+(t9540+t9391)*x+(t9457+t9711+ t9253)*t8963; t9902 = t10027+t10032; t9718 = t9058*t9023; t9515 = y*t9718; t9901 = t9058*t9402+t9061*t9260+t9023*t9470+t9060*t9515+t10186*y+t10166*x ; t9900 = t9060*t9540+z*t9396+t8963*t9268+t9064*t9213+t9664*t9790+(t9436+ t10177)*x; t9899 = t8983*t9372+t9062*t9242+t9057*t9503+t9017*t9291+t9065*t9381+z* t9379+t10159*t8982; t9337 = t9058*t9557; t9525 = x*t9662; t9418 = t9061*t9696; t9898 = y*t9337+t9021*t9418+t9060*t9434+t9063*t9224+t9061*t9525+t10137*x; t9578 = t9046*t9059; t8931 = t9065*t9578; t9319 = t8980*t9654; t8929 = t9046*t9598; t9897 = t8931+t8834+t10082+t9064*t9319+t8929+t10158*t9059; t9309 = t9058*t9606; t9896 = t9013*t9508+t9059*t9337+(t9293+t9309)*t9060+(t9536+t9440)*t9025+( t9356+t9525)*t9064; t9480 = y*t9720; t9895 = t9065*t9306+t9058*t9480+t8964*t9544+t9057*t9265+t10037; t9317 = t9011*t9571; t9894 = t9065*t9450+z*t9317+t9011*t9288+t9061*t9322+(t9498+t9531)*t9023+ t10190*y; t9358 = t9065*t9564; t9893 = z*t9358+t9013*t9683+t9057*t9266+t10199*t9062+(t9498+t10147)*t9025 ; t9892 = t10042+(t9221+t9269)*t9060+(t9309+t9256)*x; t9891 = t10003+t10010; t9890 = t8975*t9253+t9021*t9556+t9025*t9457+t9059*t9658+t10157*t9060+ t10200*t9064; t9286 = t9019*t9600; t9889 = t9058*t9263+t9064*t9260+x*t9286+t9063*t9499+t10183*t9023+t10186* t9059; t9385 = t9023*t9640; t9210 = t9057*t9718; t9888 = t9058*t9317+y*t9385+t9061*t9210+t9065*t9515+t8986*t9354+t9011* t9469+t10166*t9057; t9887 = t9018*t9743+t9060*t9435+t10024+t10116; t7990 = y*t9340; t9886 = t7990+t9975; t9885 = z*t9441+t9764*t9792+t9062*t9729+t10184*x+(t9459+t10193)*t9060; t8148 = t9062*t9480; t9884 = t8148+t9976; t9883 = t8962*t9354+t9063*t9452+t9007*t9553+t9065*t9342+t9057*t9243+y* t9298+(t9344+t9482)*t9058; t9882 = t8959*t9372+t10140*t9062+t10141*z+(t9291+t10159)*t8968; t8895 = t9057*t9589; t8890 = t9058*t9649; t9881 = t9065*t9248+t9058*t9634+t8748+t9047*t9283+t8895+t8890+t10088; t9203 = t9065*t9632; t9880 = t9023*t9462+z*t9203+t10165*t9057+t10190*t9059+(t9238+t9321)*t9062 ; t9879 = t9018*t9508+t9058*t9339+t9063*t9443+x*t9328+t10180*t9060+(t9427+ t9340)*t9064; t9878 = t9063*t9200+y*t9411+t9007*t9371+t9058*t9484+t10065; t9408 = t9063*t9605; t9877 = t9058*t9358+t9025*t9530+t9021*t9408+t10195*t9065+t10137*t9057; t9876 = z*t9546+t8975*t9501+t10035+t10129; t9875 = t9065*t9303+t9058*t9510+t9063*t9537+t9061*t9298+t10025; t9874 = t9013*t9548+t9021*t9517+t10157*t9065+(t9462+t9291)*t9025+(t9259+ t9413)*t9062; t9873 = t9017*t9743+t9062*t9446+t10002+t10114; t9872 = t9063*t9238+t9064*t9210+t9057*t9286+t9058*t9203+t9023*t9285+t9011 *t9400+t9059*t9385+t8986*t9313; t9871 = t8960*t9530+t8976*t9544+t8977*t9408+t8964*t9371+t10021; t8714 = t9037*t9690; t8927 = t9046*t9608; t9388 = t8980*t9598; t8923 = t9063*t9578; t9870 = t9056*t9600+t10088+t10091+t8714+t8927+t9047*t9285+t8923+t9063* t9388+t10082; t9143 = t10020+t10023; t9869 = t8139+y*t9341+t9143+x*t9352+t9063*t9513+t10056; t9868 = t10096+t10101+t9065*t9644+t9057*t9597+t10094+t8974*t9424+t8971* t9329+(t9625+t9653)*t9059; t9147 = t10038+t10084+t10106; t9867 = t9064*t9273+t8976*t9462+t9147+t8960*t9500+t8964*t9251+t10102+ t10105; t9458 = t8979*t9779; t9490 = t9007*t9779; t9866 = z*t9272+t8979*t9517+t9057*t9458+t8962*t9372+t10081+t8963*t9291+( t9490+t10177)*t9065; t9439 = x*t9644; t9865 = t9003*t9457+t9005*t9253+t10161*t9060+(t9744+t9268)*t9002+(t9419+ t9570)*x+(t9370+t9439+t10145)*z; t8684 = t8997*t9702; t9712 = t9063*t8995; t9864 = t8684+t8995*t9696+t10057+t10151*t9060+(t9712+t10138)*x; t9316 = t9008*t9640; t9404 = t9042*t9640; t9863 = t8998*t9530+t9065*t9196+t9038*t9605+t9061*t9404+t10041+(t9645+ t9316)*y+t10168; t9862 = t10081+t10102+(t9490+t9235)*t9057+(t9391+t9458)*t9065+t10197* t8963+(t9348+t9332)*z; t9425 = t8970*t9608; t8662 = t9060*t9624; t9740 = t8995*t9059; t9861 = t10053+t8997*t9675+t8649+t8662+t8973*t9536+t10143*t9060+(t9740+ t9425)*x; t9860 = t9057*t9639+t8980*t9500+t9062*t9367+t8629+t9003*t9251+t10066+( t9212+t10164)*z; t9426 = t9060*t9635; t9355 = t9060*t9626; t9545 = t9005*t9788; t9529 = x*t9626; t9859 = t9000*t9708+t9599*t9792+t9005*t9343+t9060*t9295+t9061*t9529+ t10178*x+(t9355+t9426+t9545+t10145)*y; t8738 = t9037*t9646; t9202 = t8990*t9675; t9734 = t9047*t9062; t9858 = t9055*t9744+t9001*t9253+t10189*t9040+(t9202+t9616)*t9062+(t9734+ t8738)*x+(t10173+t10174)*z; t9351 = t9016*t9640; t9602 = t9061*t9046; t9857 = t8815+t9057*t9602+t9033*t9530+t10060+(t9351+t9319)*t9061+(t9649+ t10158)*y; t8754 = t9063*t9616; t9686 = t9061*t9037; t9555 = y*t9696; t9415 = t8980*t9696; t9856 = t9000*t9343+t9061*t9415+t9060*t9686+t9056*t9792+t9050*t9663+( t9470+t9555)*t9033+(t8754+t9681)*y+(t9602+t10162)*x; t9855 = t9004*t9372+t9065*t9437+t9002*t9251+t9057*t9570+t10001+(t9633+ t8606)*z+t10182; t9438 = t9040*t9786; t9854 = t8990*t9288+t9061*t8629+t9052*t9791+(t9594+t9438)*t9062+(t9734+ t10196)*y+(t10150+t10163)*z; t9689 = t9015*t9062; t8751 = t9008*t9646; t8661 = t9060*t9671; t9853 = t8981*t9554+t9022*t9457+t9986+(t9637+t8661)*z+(t9689+t8751)*x; t9701 = t9038*t9060; t9607 = t9042*t9060; t8752 = t9064*t9607; t8683 = t9062*t9624; t9852 = t9060*t9460+t8998*t9457+t9983+(t8752+t9701)*z+(t9587+t8683)*x; t9474 = t9033*t9779; t9851 = t8980*t9268+t9037*t9737+t9000*t9253+t9050*t9744+t9060*t9474+ t10198*z+(t9249+t10149+t10152)*x; t9717 = t9015*t9060; t9669 = t9008*t9062; t8770 = t9064*t9637; t8659 = t8997*t9646; t9850 = t8981*t9457+t9986+(t8659+t9669)*x+(t9296+t9717+t8770)*z; t9849 = t8980*t9251+t9065*t9474+t9047*t9462+t9016*t9372+t9057*t9726+z* t9634+t10036+t10196; t9728 = t9052*t9057; t9848 = t9037*t9372+t9057*t9734+t9040*t9500+t8990*t9251+t10054+(t8929+ t9728)*z+t10185; t9847 = t8980*t9288+t9033*t9498+(t8608+t9686)*t9062+(t9369+t8829+t9602)*z +(t9454+t10149+t10185)*y; t9739 = t9038*t9057; t9233 = t8998*t9707; t9846 = t9015*t9605+t8981*t9530+t9061*t9316+t9065*t9233+t10030+(t9404+ t9739)*y+t10146; t9386 = t9060*t9599; t9294 = t8990*t9608; t9688 = t9064*t9016; t8710 = x*t9688; t9845 = t9000*t9685+t9001*t9675+t8710+t9059*t9355+t9064*t9386+t10039+( t9576+t8603+t9294)*x; t9710 = t9061*t9000; t9709 = t9000*t9060; t9394 = t9005*t9702; t9844 = t9061*t9545+t9004*t9343+t10178*t9060+(t9001+t9635)*t9792+(t9710+ t9295)*x+(t9386+t9529+t9709+t9394)*y; t9843 = t9060*t9425+t8995*t9675+t8661+t10057+t9059*t9216+t8644+(t9722+ t10143)*x; t9721 = t9038*t9059; t9311 = t9042*t9590; t9842 = t9008*t9409+t8721+t8752+t8981*t9440+t10033+t10170*t9060+(t9311+ t9721)*x; t9841 = t10017+t9065*t9225+t9000*t9605+t9005*t9408+(t9544+t9571)*t9001+( t9319+t10164)*y; t9768 = z*t9001; t9495 = t9003*t9786; t9840 = t9004*t9399+t9653*t9791+t9005*t9526+t9002*t9498+t9003*t9288+( t9710+t9495)*z+t10155*t9061+(t9768+t10191)*y; t9714 = t9056*t9059; t9839 = t9047*t9500+t8738+t9062*t9578+t8980*t9372+t9033*t9462+t9016*t9251 +t10036+(t9738+t9714)*z; t9382 = t8998*t9605; t8744 = t9042*t9673; t9731 = t9063*t9008; t9838 = t8744+t9015*t9707+t9063*t9382+t10030+t10168*t9058+(t9731+t10148)* y; t9567 = t9047*t9059; t9638 = t9052*t9059; t9837 = t9040*t9462+t9062*t9567+t9037*t9251+t8990*t9372+t10054+(t8931+ t9638)*z+t10152; t8746 = t9037*t9702; t9300 = t9040*t9696; t9836 = t9001*t9343+t8990*t9418+t9060*t9594+t9040*t9470+t9055*t9663+( t9661+t10187)*x+(t8746+t9300+t10174)*y; t8839 = t9062*t9566; t9835 = t9062*t9473+t9985+t8981*t9531+t10169*z+(t8839+t9689)*y; t9834 = t9004*t9408+t8990*t9530+t9065*t9295+t9001*t9605+t8608+t10000+( t8701+t9601+t9633)*y; t9833 = t9037*t9408+t9047*t9605+t9040*t9530+t10127+t8990*t9371+t10045+( t9728+t8895)*y; t9392 = t9060*t9617; t9832 = t9064*t9392+t9038*t9675+t9060*t9311+t9008*t9536+t8770+t9999+( t9692+t10170)*x; t9214 = t9001*t9590; t9831 = t10022+t9059*t9394+t9000*t9675+t8980*t9440+(t9426+t9682)*t9064+( t9214+t10139)*x; t8794 = z*t9642; t9830 = t8998*t9500+t8981*t9251+t8794+t8839+t9062*t9739+t9042*t9372+ t10031+t10175*z; t9756 = t9062*t9038; t9403 = t8998*t9675; t8827 = t9064*t9587; t9829 = t9041*t9457+t9983+(t9756+t8827)*x+(t8662+t9403+t9607)*z; t8625 = t8995*t9673; t9828 = t8970*t9544+t8973*t9530+t8625+t8958*t9371+t10008+t10192*y+t10194* t9061; t8687 = t8995*t9702; t9827 = t10053+t8687+t10138*t9060+(t10151+t10192)*x; t8763 = t9065*t9587; t8753 = z*t9566; t9826 = t8998*t9251+t9042*t9462+t8763+t8753+z*t9739+t8981*t9500+t10013+ t10175*t9062; t9825 = t9002*t9288+t9062*t9495+t10153*t9004+t10167*z+t10155*y+(t9674+ t9000)*t9791+t10191*t9061; t9824 = t8998*t9372+t9059*t8794+t9062*t9627+t9008*t9251+t8981*t9462+t8827 +t10013+(t9721+t9672)*z; t9750 = t9061*t9042; t9823 = t9041*t9498+t9982+(t9756+t8763)*y+(t8673+t9382+t9750)*z; t9822 = t9062*t9439+t9003*t9268+t9659*t9790+t9004*t9253+t9060*t9570+ t10189*t9002+(t9357+t9709)*z+(t9768+t10161)*x; t9677 = t9061*t9038; t9821 = t8998*t9498+t9061*t9524+t9982+(t9677+t8713)*z+t10172*y; t8775 = t9063*t9614; t9706 = t9042*t9063; t8776 = y*t9706; t9725 = t9015*t9058; t9820 = t10041+t8776+y*t9725+t8775+t8998*t9544+t10146*t9058+t10148*t9061; t9727 = t9061*t9015; t8592 = t8997*t9733; t9819 = t8981*t9498+t9985+(t8592+t9669)*y+(t9280+t8832+t9727)*z; t8602 = t8997*t9673; t9818 = t9061*t9699+t9063*t9232+t8958*t9530+t8602+t8973*t9371+t10011+( t9712+t10194)*y; t9817 = t8998*t9462+t9059*t8753+t8751+z*t9627+t8756+t9042*t9251+t9062* t9721+t8981*t9372+t10031; t9816 = t10072+t9990+t10131; t9815 = t9950+t9989; t9814 = t10075+t9995+t10124; t9813 = t9937+t9991; t9812 = t9998+t10026+t10028; t9811 = t9871+t9994; t9810 = t9956+t9961; t9809 = t9919+t10108+t10109; t9808 = t9895+t9974; t9807 = t9941+t9965; t9806 = t9895+t9961; t9805 = t9956+t9974; t9804 = t10005+t10016+t10058+t10071; t7923 = t9061*t9427; t9803 = t7923+t9876+t10006+t10109; t9802 = t9875+t9952; t9801 = t9909+t9951; t9800 = t9916+t10040+t10108; t9799 = t9906+t9909; t9798 = t9879+t9955; t9797 = t9876+t9916; t9796 = t9906+t9953; t9795 = t9929+t10005+t10061; t9794 = t9951+t9953; t9793 = t9935+t9948; t8952 = t9044*t9064; t9703 = t8071+t7990; t8950 = t9044*t9065; t9693 = t9024*t9059; t7904 = t9061*t9456; t9691 = t7925+t7904; t9668 = t9056*t9058; t8949 = t9035*t9064; t9628 = t9058*t9052; t7817 = t9061*t9478; t9621 = t7817+t7687; t8945 = t9035*t9065; t9603 = t9027*t9059; t7706 = y*t9282; t9560 = t8148+t7706; t8845 = x*t9731; t9487 = t9022*t9772; t8833 = t9063*t9607; t8853 = t9063*t9637; t9422 = t8973*t9754; t9416 = t9065*t9565; t9397 = t8990*t9640; t9374 = t8958*t9640; t9194 = t7706+t10067; t9193 = t7904+t10078; t9192 = t7923+t10075; t9191 = t7817+t10078; t9188 = t9064*t9351+t9033*t9285+t10091; t9187 = t8969*t9329+t8967*t9424+t10096; t9186 = t7923+t10072; t9185 = t7706+t10070; t9184 = t7817+t10073; t9183 = t7990+t10067; t9030 = RATIONAL(5.0,48.0); t8966 = RATIONAL(-25.0,192.0); t8987 = RATIONAL(5.0,192.0); t9180 = t8966*t9057+t8987*t9065+t9030; t9010 = RATIONAL(-5.0,16.0); t9009 = RATIONAL(1.0,16.0); t9048 = RATIONAL(1.0,4.0); t9179 = t9048+t9010*t9057+t9009*t9065; t9178 = t9573+t10135; t9006 = RATIONAL(25.0,16.0); t9043 = RATIONAL(-5.0,4.0); t9177 = t9006*t9057+t9010*t9065+t9043; t9029 = RATIONAL(1.0,48.0); t8993 = RATIONAL(1.0,192.0); t8991 = RATIONAL(-5.0,192.0); t9176 = t9029+t8993*t9065+t8991*t9057; t9045 = RATIONAL(1.0,6.0); t9054 = RATIONAL(2.0,3.0); t9175 = t9045*t9065+t9684+t9054; t9014 = RATIONAL(1.0,12.0); t9032 = RATIONAL(-5.0,48.0); t9173 = t9032*t9057+t9029*t9065+t9014; t8984 = RATIONAL(-25.0,96.0); t9172 = t8984*t9057+t9039+t9024*t9065; t9012 = RATIONAL(-5.0,64.0); t8978 = RATIONAL(25.0,64.0); t9171 = t9012*t9065+t8978*t9057+t9010; t9170 = t9045+t9036*t9057+t8945; t9169 = t9034*t9064+t10125; t9051 = RATIONAL(5.0,6.0); t8992 = RATIONAL(-25.0,24.0); t9168 = t8992*t9057+t9051+t9039*t9065; t8965 = RATIONAL(25.0,192.0); t9167 = t8965*t9057+t9032+t8991*t9065; t9166 = t8949+t9036*t9059+t9045; t9165 = t9024*t9329+t9064*t9746+t9036*t9424+t9059*t9684+t10089; t8996 = RATIONAL(25.0,96.0); t9164 = t9027*t9065+t9036+t8996*t9057; t9053 = RATIONAL(-2.0,3.0); t9163 = t9053+t9051*t9057+t8950; t9162 = t9044+t9746+t9039*t9057; t9020 = RATIONAL(-1.0,12.0); t9031 = RATIONAL(-1.0,48.0); t9161 = t9020+t9031*t9065+t9030*t9057; t9160 = t9064*t9573+t8989*t9424+t8994*t9329+t9057*t9693+t10085; t9158 = t8597+t9003*t9329+t9623+(t9214+t9660)*t9057; t8985 = RATIONAL(-1.0,192.0); t9157 = t8987*t9057+t9031+t8985*t9065; t9156 = t8999*t9057+t9049+t9036*t9065; t9155 = t9028*t9065+t9034+t9024*t9057; t9154 = t10058+t10059; t9153 = t9984+t10106; t9152 = t10005+t10102+t10106; t9151 = t10010+t10034; t9150 = t10028+t10059; t9148 = t8972*t9291+t9062*t9416+t8970*t9548+z*t9422+t9187; t9146 = t9001*t9405+x*t8714+t9059*t9300+t9055*t9508+t9188; t9145 = t10010+t10043; t9144 = t8972*t9548+t9062*t9422+t8970*t9291+z*t9416+t9187; t9142 = t9063*t8710+t9033*t9380+t9060*t9378+t9050*t9508+t9188; t9141 = t9158+t8997*t9343+x*t9487+t10133*t9060+(t9783+t8845)*y; t9140 = t9060*t9233+t9061*t9607+t9158+x*t8776+t8995*t9343+(t9577+t9038)* t9792; t8988 = RATIONAL(-1.0,384.0); t8961 = RATIONAL(25.0,384.0); t9139 = t10014+t9027*t9590+t8988*t9329+t9034*t9058+t10085+t8961*t9424+ t10046+t10123*t9028+t10135*t9063; t9138 = t9034*t9059+t8949+t9064*t9585+t9027*t9608+t8961*t9283+t9160+t8988 *t9325+t10014+t10136*t9028; t9137 = t9065*t9574+t9165+t8984*t9285+t10004+t9035*t9400+t8950+t9039* t9654+(t9054+(t9064+t9063)*t9045)*t9057; t9136 = t9034*t9057+t9065*t9603+t8945+t8961*t9285+t8988*t9400+t9160+t9027 *t9654+t10046+(t9640+t9598)*t9028; t9135 = t8984*t9283+t10064+t9054*t9059+t8952+t9165+t9035*t9325+(t9608+ t9598)*t9039+t10136*t9045; t9134 = t9035*t9329+t10064+t9054*t9058+t9039*t9640+t10089+t8984*t9424+ t10004+t10123*t9045+t10125*t9063; t9133 = t9180*t9058+t9157*t9063+t9161; t9132 = t9167*t9059+t9176*t9064+t9173; t9131 = t9020+t9031*t9064+t9030*t9059+(t8987*t9064+t9030+t8966*t9059)* t9058+(t9031+t8985*t9064+t8987*t9059)*t9063; t9130 = t9167*t9058+t9176*t9063+t9173; t9129 = t9180*t9059+t9157*t9064+t9161; t9128 = t9029*t9064+t9014+t9032*t9059+(t8991*t9064+t9032+t8965*t9059)* t9058+(t8991*t9059+t9029+t8993*t9064)*t9063; t9127 = t9060*t9578+t9064*t9415+t9142+t9047*t9536+t9033*t9440+x*t9714+ t9016*t9409+t9897+t10173; t9126 = t8998*t9555+t9141+t9041*t9470+t9981+(t9607+t8687)*y+(t8744+t9677) *x; t9125 = t8973*t9251+t9148+t9913+t8958*t9500+t9062*t9740+t8659+t8970*t9372 +(t9624+t10126)*z; t9124 = t9141+t9979+(t8833+t9275+t9701)*y+(t9233+t8625+t9750)*x; t9123 = t9870+t8980*t9408+t10060+(t9302+t9668)*y+(t9602+t10127)*t9058+ t10187; t9122 = t9059*t9570+t9971+t9062*t9219+t8990*t9462+t9064*t9639+t10001+ t9004*t9251+(t9688+t9576+t8598)*z; t9121 = t9061*t9641+t10017+t9005*t9371+t9001*t9530+t9963+t10113*y+(t9496+ t10167)*t9063; t9120 = t8972*t9530+t9868+t8995*t9605+t8641+t10011+t10120*t9061+(t9665+ t9698+t9374)*y; t9119 = t9000*t9702+t9967+t9060*t8595+t9058*t9682+t8990*t9536+t9002*t9409 +t10039+(t8677+t10121)*x; t9118 = t9058*t8770+t9042*t9440+t9015*t9696+t9063*t9403+t8833+t8845+t9977 +t10033+t10115*x; t9117 = t9063*t9202+t8754+t9881+t9040*t9536+t9060*t8725+t9146+t9047*t9696 +(t9732+t9628+t8927)*x; t9116 = t9060*t9248+t9881+t9047*t9440+t9142+t8746+t9033*t9536+t10198* t9058+(t9589+t9668)*x; t9115 = t9060*t9487+t9140+t9979+(t9717+t8853)*y+(t8602+t10133)*x; t9114 = t8970*t9462+t8683+t8958*t9251+t9144+t9913+t8973*t9500+t10126* t9062+(t9671+t9740)*z; t9113 = t8972*t9371+t8673+t9868+t8997*t9605+t9061*t9374+t10008+(t10119+ t10120)*y; t9112 = t9005*t9251+t9062*t9240+t9971+t9059*t9639+t10066+t9064*t9570+( t9388+t9227+t10139)*z; t9111 = t8973*t9372+t8970*t9251+t9062*t9687+t8592+t9148+t8686+t8972*t9500 +t9936+t10122*z; t9110 = t8998*t9536+t9977+t8853+t9058*t8752+t9999+t9008*t9440+t10115* t9060+(t9725+t9706)*x; t9109 = t9963+t9058*t9657+t9000*t9673+t10000+(t9201+t8689)*t9061+(t9397+ t8620+t10121)*y; t9108 = t9140+t9022*t9470+t9981+(t8775+t9727)*x+(t9392+t9637+t8684)*y; t9107 = t8634+t9144+t8970*t9500+t8973*t9462+t8972*t9251+t9936+t10122* t9062+t10119*z; t9106 = t9061*t9397+t9870+t10045+t9063*t9438+t10150*t9058+(t8890+t9628)*y +t10162; t9105 = t9967+t10022+t9058*t9357+t9001*t9440+(t9676+t9305+t9641)*t9060+( t9248+t10113)*x; t9104 = t9040*t9440+t9897+t9146+t8809+t9037*t9409+(t9294+t9567)*t9060+( t9751+t8923+t9638)*x; t9103 = t9957+t9191+t9151+t9988+t10003+t10077; t9102 = t9877+t9874+t9872+t9894; t9101 = t9150+t9883+t9993+t10012+t10049+t10067; t9100 = t8071+t9194+t9973+t9145+t9987+t10047+t10068; t9099 = t9900+t9920+t9885+t9943; t9098 = t9950+t9862+t9998+t10059+t10078; t9097 = t9150+t9862+t9989+t10026+t10073; t9096 = t9869+t9952+t9955; t9095 = t9151+t9940+t9939+t8148+t10047+t10074; t9094 = t9893+t9889+t9872+t9911; t9093 = t9905+t9927+t9154+t10049+t10055; t9092 = t9878+t9145+t9947+t7904+t10003+t10076; t9091 = t9186+t9907+t9990+t10124; t9090 = t9867+t9937+t9994+t10072; t9089 = t9928+t9882+t9923+t9943; t9088 = t7687+t9154+t9866+t9965+t10016+t10102; t9087 = t9143+t9917+t9924+t7990+t10069+t10083+t10087; t9086 = t9192+t9907+t9995+t10131; t9085 = t9884+t9147+t9938+t10048+t10051; t9084 = t9929+t9153+t9948+t9980+t10102; t9083 = t9880+t9890+t9872+t9896; t9082 = t9918+t9943+t9921+t9944; t9081 = t9926+t9930+t9892+t10010+t10047; t9080 = t9152+t9935+t9980+t9984+t10061; t9079 = t9914+t9891+t9899+t9931; t9078 = t9912+t9903+t9943+t9945; t9077 = t9891+t9925+t9933+t9934; t9076 = t9888+t9904+t9872+t9932; t9075 = t9908+t9153+t9915+t10032+t10051; t9074 = t9871+t9867+t9991+t10075; t9073 = t9869+t9875+t9879; t9072 = t9152+t7925+t9941+t9866+t10071+t10107; coeffs_I->coeff_m2_m2_m2 = t9912+t9882+t9099+t9921+t9922; coeffs_I->coeff_m1_m2_m2 = t9800+t9074+t9793; coeffs_I->coeff_0_m2_m2 = t9125+t9818+t9825; coeffs_I->coeff_p1_m2_m2 = t9795+t9074+t9803; coeffs_I->coeff_p2_m2_m2 = t9082+t9903+t9882+t9920+t9946; coeffs_I->coeff_m2_m1_m2 = t9942+t9908+t9962+t9101+t9703+t9975; coeffs_I->coeff_m1_m1_m2 = t9931+t9103+t9910+t9933+t9947; coeffs_I->coeff_0_m1_m2 = t9109+t9823+t9824; coeffs_I->coeff_p1_m1_m2 = t9077+t9949+t9947+t9184+t9972+t9992; coeffs_I->coeff_p2_m1_m2 = t9942+t9185+t9883+t9093+t9970+t9997; coeffs_I->coeff_m2_0_m2 = t9865+t9111+t9864; coeffs_I->coeff_m1_0_m2 = t9826+t9119+t9829; coeffs_I->coeff_0_0_m2 = t9129*t9062+t9139+t9132*z; coeffs_I->coeff_p1_0_m2 = t9826+t9853+t9105; coeffs_I->coeff_p2_0_m2 = t9822+t9827+t9111; coeffs_I->coeff_m2_p1_m2 = t9194+t9085+t9908+t9927+t9970+t9993; coeffs_I->coeff_m1_p1_m2 = t9092+t9914+t9910+t9925+t9957; coeffs_I->coeff_0_p1_m2 = t9835+t9121+t9824; coeffs_I->coeff_p1_p1_m2 = t9949+t9931+t9092+t9934+t9988+t10078; coeffs_I->coeff_p2_p1_m2 = t9085+t9954+t9915+t9886+t10012+t10028; coeffs_I->coeff_m2_p2_m2 = t9900+t9089+t9918+t9912+t9946; coeffs_I->coeff_m1_p2_m2 = t9803+t9090+t9793; coeffs_I->coeff_0_p2_m2 = t9828+t9840+t9125; coeffs_I->coeff_p1_p2_m2 = t9795+t9800+t9090; coeffs_I->coeff_p2_p2_m2 = t9089+t9903+t9922+t9885+t9944; coeffs_I->coeff_m2_m2_m1 = t7687+t9097+t9810+t9807+t7904; coeffs_I->coeff_m1_m2_m1 = t9887+t9924+t9560+t9081+t9968+t9973; coeffs_I->coeff_0_m2_m1 = t9821+t9122+t9838; coeffs_I->coeff_p1_m2_m1 = t9926+t9087+t9873+t8148+t9968+t9987+t10067; coeffs_I->coeff_p2_m2_m1 = t9098+t9810+t9804+t9691; coeffs_I->coeff_m2_m1_m1 = t9802+t9091+t9801; coeffs_I->coeff_m1_m1_m1 = t9102+t9901+t9896+t9904+t9911; coeffs_I->coeff_0_m1_m1 = t9106+t9847+t9837; coeffs_I->coeff_p1_m1_m1 = t9890+t9898+t9102+t9889+t9932; coeffs_I->coeff_p2_m1_m1 = t9073+t9816+t9794; coeffs_I->coeff_m2_0_m1 = t9118+t9855+t9852; coeffs_I->coeff_m1_0_m1 = t9851+t9848+t9117; coeffs_I->coeff_0_0_m1 = (t9168*t9059+t9162*t9064+t9163)*z+(t9164*t9059+ t9178*t9064+t9170)*t9062+t9134; coeffs_I->coeff_p1_0_m1 = t9858+t9116+t9848; coeffs_I->coeff_p2_0_m1 = t9110+t9850+t9855; coeffs_I->coeff_m2_p1_m1 = t9814+t9794+t9096; coeffs_I->coeff_m1_p1_m1 = t9076+t9893+t9896+t9874+t9898; coeffs_I->coeff_0_p1_m1 = t9854+t9837+t9123; coeffs_I->coeff_p1_p1_m1 = t9890+t9094+t9888+t9874+t9901; coeffs_I->coeff_p2_p1_m1 = t9086+t9801+t9798; coeffs_I->coeff_m2_p2_m1 = t9808+t9098+t9807+t9621; coeffs_I->coeff_m1_p2_m1 = t9958+t9939+t9081+t9873+t9703+t9966; coeffs_I->coeff_0_p2_m1 = t9122+t9819+t9820; coeffs_I->coeff_p1_p2_m1 = t9100+t9887+t9917+t9926+t9939; coeffs_I->coeff_p2_p2_m1 = t7817+t9808+t9097+t7925+t9804; coeffs_I->coeff_m2_m2_0 = t9843+t9120+t9859; coeffs_I->coeff_m1_m2_0 = t9846+t9126+t9845; coeffs_I->coeff_0_m2_0 = t9138+t9130*y+t9133*t9061; coeffs_I->coeff_p1_m2_0 = t9846+t9108+t9831; coeffs_I->coeff_p2_m2_0 = t9861+t9844+t9120; coeffs_I->coeff_m2_m1_0 = t9842+t9124+t9834; coeffs_I->coeff_m1_m1_0 = t9856+t9104+t9833; coeffs_I->coeff_0_m1_0 = t9135+(t9164*t9058+t9178*t9063+t9170)*t9061+( t9168*t9058+t9162*t9063+t9163)*y; coeffs_I->coeff_p1_m1_0 = t9127+t9836+t9833; coeffs_I->coeff_p2_m1_0 = t9115+t9834+t9832; coeffs_I->coeff_m2_0_0 = t9131*t9060+t9136+t9128*x; coeffs_I->coeff_m1_0_0 = (t9051*t9059+t8952+t9053+(t8992*t9059+t9039* t9064+t9051)*t9058+t9169*t9063)*x+((t8996*t9059+t9027*t9064+t9036)*t9058+(t9611 +t9035+t9603)*t9063+t9166)*t9060+t9137; coeffs_I->coeff_0_0_0 = t9043*t9057+RATIONAL(1.0,1.0)+t9048*t9065+t9177* t9059+t9179*t9064+((RATIONAL(-125.0,64.0)*t9057+t9006+t8978*t9065)*t9059+t9171* t9064+t9177)*t9058+(t9171*t9059+(RATIONAL(1.0,64.0)*t9065+t9009+t9012*t9057)* t9064+t9179)*t9063; coeffs_I->coeff_p1_0_0 = ((t9024*t9064+t9039+t8984*t9059)*t9058+(t9693+ t9028*t9064+t9034)*t9063+t9169)*t9060+t9137+(t9054+t9049*t9059+t9045*t9064+( t8999*t9059+t9049+t9036*t9064)*t9058+t9166*t9063)*x; coeffs_I->coeff_p2_0_0 = t9136+t9131*x+t9128*t9060; coeffs_I->coeff_m2_p1_0 = t9842+t9115+t9841; coeffs_I->coeff_m1_p1_0 = t9104+t9836+t9857; coeffs_I->coeff_0_p1_0 = t9135+(t9156*t9058+t9170*t9063+t9175)*y+(t9172* t9058+t9155*t9063+t9162)*t9061; coeffs_I->coeff_p1_p1_0 = t9856+t9127+t9857; coeffs_I->coeff_p2_p1_0 = t9124+t9841+t9832; coeffs_I->coeff_m2_p2_0 = t9113+t9844+t9843; coeffs_I->coeff_m1_p2_0 = t9863+t9108+t9845; coeffs_I->coeff_0_p2_0 = t9138+t9130*t9061+t9133*y; coeffs_I->coeff_p1_p2_0 = t9863+t9126+t9831; coeffs_I->coeff_p2_p2_0 = t9113+t9861+t9859; coeffs_I->coeff_m2_m2_p1 = t9815+t9072+t9805+t9184; coeffs_I->coeff_m1_m2_p1 = t9100+t9924+t9873+t9892+t9940; coeffs_I->coeff_0_m2_p1 = t9819+t9112+t9838; coeffs_I->coeff_p1_m2_p1 = t8071+t9887+t9940+t9087+t9930+t9958; coeffs_I->coeff_p2_m2_p1 = t9088+t9191+t9805+t9812; coeffs_I->coeff_m2_m1_p1 = t9802+t9086+t9796; coeffs_I->coeff_m1_m1_p1 = t9893+t9901+t9083+t9877+t9932; coeffs_I->coeff_0_m1_p1 = t9106+t9854+t9839; coeffs_I->coeff_p1_m1_p1 = t9880+t9898+t9094+t9877+t9904; coeffs_I->coeff_p2_m1_p1 = t9814+t9073+t9799; coeffs_I->coeff_m2_0_p1 = t9118+t9850+t9860; coeffs_I->coeff_m1_0_p1 = t9849+t9858+t9117; coeffs_I->coeff_0_0_p1 = (t9156*t9059+t9170*t9064+t9175)*z+t9134+(t9172* t9059+t9155*t9064+t9162)*t9062; coeffs_I->coeff_p1_0_p1 = t9849+t9851+t9116; coeffs_I->coeff_p2_0_p1 = t9110+t9860+t9852; coeffs_I->coeff_m2_p1_p1 = t9816+t9799+t9096; coeffs_I->coeff_m1_p1_p1 = t9898+t9083+t9888+t9894+t9911; coeffs_I->coeff_0_p1_p1 = t9847+t9839+t9123; coeffs_I->coeff_p1_p1_p1 = t9880+t9076+t9889+t9894+t9901; coeffs_I->coeff_p2_p1_p1 = t9091+t9796+t9798; coeffs_I->coeff_m2_p2_p1 = t9806+t9193+t9072+t9812; coeffs_I->coeff_m1_p2_p1 = t9095+t9887+t9183+t9892+t9966+t9987; coeffs_I->coeff_0_p2_p1 = t9821+t9112+t9820; coeffs_I->coeff_p1_p2_p1 = t9095+t9185+t9917+t9873+t9973+t9996; coeffs_I->coeff_p2_p2_p1 = t9806+t9088+t9815+t7904+t10073; coeffs_I->coeff_m2_m2_p2 = t9078+t9918+t9922+t9920+t9923; coeffs_I->coeff_m1_m2_p2 = t9080+t9811+t9797+t10072; coeffs_I->coeff_0_m2_p2 = t9840+t9818+t9114; coeffs_I->coeff_p1_m2_p2 = t9811+t9809+t9084+t9186; coeffs_I->coeff_p2_m2_p2 = t9945+t9099+t9923+t9944+t9946; coeffs_I->coeff_m2_m1_p2 = t9884+t9886+t9883+t9075+t9927; coeffs_I->coeff_m1_m1_p2 = t9077+t9193+t9899+t9910+t9960+t9988; coeffs_I->coeff_0_m1_p2 = t9835+t9109+t9817; coeffs_I->coeff_p1_m1_p2 = t9079+t9949+t9691+t9960+t9933+t9964; coeffs_I->coeff_p2_m1_p2 = t9902+t9970+t9101+t9954+t9560+t9976; coeffs_I->coeff_m2_0_p2 = t9107+t9822+t9864; coeffs_I->coeff_m1_0_p2 = t9119+t9853+t9830; coeffs_I->coeff_0_0_p2 = t9129*z+t9139+t9132*t9062; coeffs_I->coeff_p1_0_p2 = t9830+t9829+t9105; coeffs_I->coeff_p2_0_p2 = t9107+t9865+t9827; coeffs_I->coeff_m2_p1_p2 = t9905+t9919+t7706+t9075+t9938+t10110+t10118+ t10130; coeffs_I->coeff_m1_p1_p2 = t9079+t9878+t9910+t9972+t9621+t9978; coeffs_I->coeff_0_p1_p2 = t9121+t9817+t9823; coeffs_I->coeff_p1_p1_p2 = t9103+t9878+t9899+t9925+t9949; coeffs_I->coeff_p2_p1_p2 = t9902+t9183+t9093+t9938+t9975+t9993; coeffs_I->coeff_m2_p2_p2 = t9928+t9078+t9885+t9921+t9946; coeffs_I->coeff_m1_p2_p2 = t9080+t9192+t9809+t9813; coeffs_I->coeff_0_p2_p2 = t9828+t9825+t9114; coeffs_I->coeff_p1_p2_p2 = t9813+t9084+t9797+t10075; coeffs_I->coeff_p2_p2_p2 = t9900+t9928+t9082+t9922+t9945;