fp t3620; fp t3653; fp t3651; fp t3654; fp t3780; fp t3463; fp t3625; fp t3603; fp t3523; fp t3978; fp t3623; fp t3616; fp t3977; fp t3655; fp t3631; fp t3781; fp t3637; fp t3593; fp t3927; fp t3632; fp t3601; fp t3505; fp t3976; fp t3614; fp t3768; fp t3462; fp t3652; fp t3627; fp t3772; fp t3731; fp t3409; fp t3619; fp t3801; fp t3488; fp t3975; fp t3617; fp t3793; fp t3494; fp t3622; fp t3867; fp t3422; fp t3974; fp t3615; fp t3453; fp t3584; fp t3424; fp t3854; fp t3449; fp t3825; fp t3635; fp t3535; fp t3389; fp t3838; fp t3649; fp t3648; fp t3607; fp t3548; fp t3336; fp t3645; fp t3973; fp t3581; fp t3445; fp t3785; fp t3428; fp t3853; fp t3600; fp t3517; fp t3972; fp t3594; fp t3539; fp t3332; fp t3971; fp t3764; fp t3876; fp t3536; fp t3970; fp t3880; fp t3641; fp t3969; fp t3874; fp t3471; fp t3968; fp t3634; fp t3778; fp t3725; fp t3283; fp t3784; fp t3633; fp t3567; fp t3967; fp t3502; fp t3866; fp t3765; fp t3966; fp t3501; fp t3638; fp t3543; fp t3965; fp t3583; fp t3489; fp t3588; fp t3467; fp t3964; fp t3804; fp t3545; fp t3384; fp t3963; fp t3732; fp t3569; fp t3932; fp t3812; fp t3761; fp t3864; fp t3626; fp t3595; fp t3592; fp t3566; fp t3962; fp t3646; fp t3504; fp t3558; fp t3763; fp t3390; fp t3707; fp t3642; fp t3814; fp t3549; fp t3961; fp t3773; fp t3755; fp t3589; fp t3464; fp t3850; fp t3797; fp t3470; fp t3219; fp t3629; fp t3875; fp t3807; fp t3960; fp t3836; fp t3541; fp t3311; fp t3724; fp t3307; fp t3959; fp t3794; fp t3573; fp t3958; fp t3640; fp t3806; fp t3737; fp t3319; fp t3520; fp t3834; fp t3525; fp t3284; fp t3957; fp t3605; fp t3529; fp t3394; fp t3322; fp t3813; fp t3577; fp t3914; fp t3798; fp t3956; fp t3828; fp t3511; fp t3734; fp t3955; fp t3721; fp t3532; fp t3954; fp t3563; fp t3953; fp t3628; fp t3952; fp t3458; fp t3454; fp t3273; fp t3951; fp t3609; fp t3791; fp t3800; fp t3476; fp t3950; fp t3618; fp t3869; fp t3758; fp t3216; fp t3949; fp t3437; fp t3230; fp t3948; fp t3597; fp t3571; fp t3329; fp t3865; fp t3782; fp t3947; fp t3760; fp t3946; fp t3945; fp t3527; fp t3944; fp t3499; fp t3400; fp t3559; fp t3943; fp t3574; fp t3942; fp t3612; fp t3756; fp t3941; fp t3510; fp t3399; fp t3753; fp t3940; fp t3811; fp t3939; fp t3546; fp t3608; fp t3938; fp t3774; fp t3430; fp t3232; fp t3937; fp t3512; fp t3337; fp t3936; fp t3460; fp t3935; fp t3531; fp t3934; fp t3613; fp t3766; fp t3726; fp t3221; fp t3868; fp t3933; fp t3611; fp t3879; fp t3736; fp t3931; fp t3585; fp t3433; fp t3930; fp t3821; fp t3757; fp t3718; fp t3268; fp t3929; fp t3515; fp t3928; fp t3926; fp t3873; fp t3496; fp t3382; fp t3852; fp t3606; fp t3516; fp t3315; fp t3925; fp t3924; fp t3722; fp t3923; fp t3469; fp t3922; fp t3820; fp t3560; fp t3754; fp t3921; fp t3572; fp t3522; fp t3920; fp t3256; fp t3919; fp t3482; fp t3918; fp t3917; fp t3374; fp t3916; fp t3257; fp t3473; fp t3845; fp t3276; fp t3799; fp t3472; fp t3851; fp t3915; fp t3790; fp t3528; fp t3913; fp t3604; fp t3565; fp t3338; fp t3376; fp t3912; fp t3833; fp t3514; fp t3859; fp t3911; fp t3910; fp t3537; fp t3805; fp t3602; fp t3909; fp t3787; fp t3822; fp t3519; fp t3908; fp t3586; fp t3487; fp t3907; fp t3318; fp t3906; fp t3580; fp t3905; fp t3751; fp t3842; fp t3493; fp t3904; fp t3727; fp t3835; fp t3903; fp t3863; fp t3728; fp t3582; fp t3483; fp t3902; fp t3901; fp t3551; fp t3759; fp t3293; fp t3871; fp t3900; fp t3796; fp t3723; fp t3899; fp t3898; fp t3288; fp t3897; fp t3361; fp t3896; fp t3530; fp t3309; fp t3858; fp t3466; fp t3895; fp t3524; fp t3339; fp t3474; fp t3280; fp t3455; fp t3894; fp t3285; fp t3599; fp t3506; fp t3893; fp t3554; fp t3408; fp t3334; fp t3348; fp t3892; fp t3819; fp t3370; fp t3882; fp t3891; fp t3830; fp t3840; fp t3224; fp t3890; fp t3387; fp t3889; fp t3490; fp t3402; fp t3888; fp t3368; fp t3497; fp t3887; fp t3843; fp t3552; fp t3886; fp t3223; fp t3885; fp t3716; fp t3817; fp t3884; fp t3883; fp t3881; fp t3621; fp t3878; fp t3877; fp t3872; fp t3870; fp t3314; fp t3860; fp t3360; fp t3856; fp t3423; fp t3855; fp t3849; fp t3492; fp t3302; fp t3848; fp t3769; fp t3440; fp t3847; fp t3610; fp t3275; fp t3846; fp t3844; fp t3841; fp t3578; fp t3839; fp t3837; fp t3434; fp t3233; fp t3832; fp t3831; fp t3829; fp t3827; fp t3826; fp t3824; fp t3636; fp t3823; fp t3818; fp t3720; fp t3270; fp t3239; fp t3815; fp t3242; fp t3810; fp t3809; fp t3808; fp t3456; fp t3803; fp t3439; fp t3802; fp t3775; fp t3396; fp t3795; fp t3792; fp t3352; fp t3347; fp t3788; fp t3643; fp t3786; fp t3783; fp t3779; fp t3777; fp t3776; fp t3771; fp t3767; fp t3544; fp t3762; fp t3576; fp t3436; fp t3556; fp t3752; fp t3509; fp t3750; fp t3335; fp t3457; fp t3749; fp t3748; fp t3346; fp t3747; fp t3746; fp t3344; fp t3745; fp t3744; fp t3300; fp t3743; fp t3555; fp t3350; fp t3735; fp t3741; fp t3570; fp t3740; fp t3333; fp t3739; fp t3500; fp t3738; fp t3564; fp t3733; fp t3729; fp t3647; fp t3717; fp t3639; fp t3715; fp t3714; fp t3713; fp t3712; fp t3711; fp t3710; fp t3709; fp t3708; fp t3706; fp t3218; fp t3705; fp t3385; fp t3704; fp t3703; fp t3702; fp t3701; fp t3700; fp t3699; fp t3698; fp t3465; fp t3245; fp t3697; fp t3696; fp t3695; fp t3694; fp t3693; fp t3692; fp t3690; fp t3689; fp t3451; fp t3688; fp t3229; fp t3231; fp t3687; fp t3686; fp t3259; fp t3685; fp t3262; fp t3684; fp t3683; fp t3446; fp t3682; fp t3568; fp t3681; fp t3240; fp t3680; fp t3679; fp t3678; fp t3316; fp t3677; fp t3676; fp t3395; fp t3298; fp t3675; fp t3674; fp t3426; fp t3673; fp t3672; fp t3671; fp t3670; fp t3669; fp t3401; fp t3668; fp t3667; fp t3666; fp t3665; fp t3664; fp t3663; fp t3442; fp t3662; fp t3661; fp t3660; fp t3659; fp t3658; fp t3644; fp t3630; fp t3624; fp t3419; fp t3342; fp t3320; fp t3308; fp t3306; fp t3305; fp t3291; fp t3274; fp t3248; fp t3237; fp t3217; fp t3214; t3620 = RATIONAL(-1.0,12.0); t3653 = y*y; t3651 = x*x; t3654 = t3651*x; t3780 = t3654*t3653; t3463 = t3620*t3780; t3625 = RATIONAL(-1.0,6.0); t3603 = t3625*t3653; t3523 = x*t3603; t3978 = t3523+t3463; t3623 = RATIONAL(1.0,18.0); t3616 = RATIONAL(-1.0,18.0); t3977 = t3616*t3653+t3623; t3655 = t3653*y; t3631 = RATIONAL(1.0,4.0); t3781 = t3651*t3631; t3637 = RATIONAL(1.0,2.0); t3593 = t3637*t3651; t3927 = t3655*t3781+t3593; t3632 = RATIONAL(-1.0,4.0); t3601 = t3632*t3651; t3505 = y*t3601; t3976 = t3505+t3927; t3614 = RATIONAL(1.0,24.0); t3768 = t3614*t3654; t3462 = t3655*t3768; t3652 = z*z; t3627 = RATIONAL(-1.0,8.0); t3772 = t3652*t3627; t3731 = t3655*t3772; t3409 = t3654*t3731; t3619 = RATIONAL(-1.0,24.0); t3801 = t3619*t3654; t3488 = y*t3801; t3975 = t3462+t3409+t3488; t3617 = RATIONAL(-1.0,36.0); t3793 = t3617*t3654; t3494 = y*t3793; t3622 = RATIONAL(1.0,36.0); t3867 = t3622*y; t3422 = x*t3867; t3974 = t3494+t3422; t3615 = RATIONAL(1.0,12.0); t3453 = t3615*t3780; t3584 = t3620*t3653; t3424 = x*t3584; t3854 = t3453+t3424; t3449 = t3655*t3801; t3825 = t3654*t3655; t3635 = RATIONAL(1.0,8.0); t3535 = t3635*t3825; t3389 = t3652*t3535; t3838 = t3449+t3389; t3649 = x*z; t3648 = y*t3649; t3607 = t3625*t3655; t3548 = z*t3607; t3336 = t3654*t3548; t3645 = RATIONAL(2.0,3.0); t3973 = t3336+t3838+t3645*t3648; t3581 = t3620*t3651; t3445 = y*t3581; t3785 = t3651*t3655; t3428 = t3615*t3785; t3853 = t3445+t3428; t3600 = t3632*t3653; t3517 = x*t3600; t3972 = t3631*t3780+t3517; t3594 = t3637*t3653; t3539 = z*t3594; t3332 = x*t3539; t3971 = t3453+t3332; t3764 = t3632*t3655; t3876 = t3631*x; t3536 = y*t3876; t3970 = x*t3764+t3536; t3880 = y*t3654; t3641 = RATIONAL(-1.0,2.0); t3969 = t3641*y+t3632*t3880; t3874 = y*t3616; t3471 = x*t3874; t3968 = t3471+t3494; t3634 = RATIONAL(-3.0,8.0); t3778 = t3652*t3634; t3725 = t3654*t3778; t3283 = t3655*t3725; t3784 = t3652*t3654; t3633 = RATIONAL(3.0,4.0); t3567 = t3633*t3784; t3967 = t3283+y*t3567; t3502 = t3654*t3764; t3866 = x*t3652; t3765 = y*t3866; t3966 = t3502+t3633*t3765; t3501 = t3655*t3876; t3638 = RATIONAL(-3.0,4.0); t3543 = t3638*t3784; t3965 = t3501+y*t3543; t3583 = t3615*y; t3489 = x*t3583; t3588 = t3620*t3654; t3467 = y*t3588; t3964 = t3489+t3467; t3804 = t3631*t3652; t3545 = t3652*t3600; t3384 = x*t3545; t3963 = t3384+x*t3804; t3732 = t3652*t3785; t3569 = t3652*t3764; t3932 = t3631*t3732+t3569; t3812 = t3635*t3652; t3761 = x*t3812; t3864 = t3655*t3761+t3409; t3626 = RATIONAL(1.0,6.0); t3595 = t3626*y; t3592 = t3625*t3651; t3566 = y*t3592; t3962 = t3595+t3864+t3932+t3566; t3646 = RATIONAL(-1.0,3.0); t3504 = t3632*t3780; t3558 = t3631*t3784; t3763 = y*t3784; t3390 = t3627*t3763; t3707 = t3389+t3558+t3390+t3652*t3504; t3642 = RATIONAL(1.0,3.0); t3814 = t3642*t3653; t3549 = x*t3814; t3961 = t3707+t3646*x+t3549; t3773 = t3655*t3623; t3755 = z*t3773; t3589 = t3623*y; t3464 = t3654*t3589; t3850 = x*t3755+z*t3464; t3797 = t3622*t3655; t3470 = t3654*t3797; t3219 = z*t3470; t3629 = RATIONAL(1.0,9.0); t3875 = t3629*x; t3807 = z*t3875; t3960 = t3850+y*t3807+t3219; t3836 = t3652*t3633; t3541 = t3653*t3836; t3311 = x*t3541; t3724 = t3653*t3778; t3307 = t3654*t3724; t3959 = t3307+t3311+t3517+t3635*t3780; t3794 = t3637*t3655; t3573 = z*t3794; t3958 = t3535+t3654*t3573+t3638*t3765; t3640 = RATIONAL(3.0,8.0); t3806 = t3652*t3640; t3737 = t3653*t3806; t3319 = t3654*t3737; t3520 = x*t3594; t3834 = t3652*t3638; t3525 = t3653*t3834; t3284 = x*t3525; t3957 = t3319+t3504+t3520+t3284+t3332; t3605 = t3641*x; t3529 = z*t3605; t3394 = y*t3529; t3322 = z*t3502; t3813 = t3631*t3654; t3577 = y*t3813; t3914 = x*t3573+t3649; t3798 = t3641*t3654; t3956 = t3394+t3914+t3322+(t3798+t3577)*z; t3828 = t3652*t3655; t3511 = t3638*t3828; t3734 = t3655*t3806; t3955 = t3511+t3633*t3732+x*t3734+t3969; t3721 = t3651*t3778; t3532 = t3653*t3781; t3954 = t3653*t3721+t3532; t3563 = t3626*t3780; t3953 = (t3549+t3563)*z; t3628 = RATIONAL(-1.0,9.0); t3952 = t3654*t3755+t3628*t3648; t3458 = x*t3797; t3454 = t3654*t3874; t3273 = z*t3454; t3951 = t3273+z*t3458; t3609 = RATIONAL(-1.0,108.0); t3791 = t3655*t3609; t3800 = t3622*t3654; t3476 = y*t3800; t3950 = t3652*t3476+x*t3791; t3618 = RATIONAL(1.0,72.0); t3869 = y*t3652; t3758 = t3651*t3869; t3216 = t3620*t3758; t3949 = t3216+t3618*t3785; t3437 = t3615*t3784; t3230 = y*t3437; t3948 = t3230+t3458; t3597 = t3626*t3655; t3571 = z*t3597; t3329 = t3654*t3571; t3865 = y*t3642; t3782 = z*t3865; t3947 = t3329+x*t3782; t3760 = y*t3798; t3946 = z*t3760+t3648; t3945 = t3532+t3651*t3525; t3527 = t3655*t3804; t3944 = t3527+t3632*t3732; t3499 = t3652*t3601; t3400 = y*t3499; t3559 = y*t3804; t3943 = t3400+t3559; t3574 = t3632*t3784; t3942 = t3574+t3653*t3558; t3612 = RATIONAL(1.0,216.0); t3756 = t3622*t3866; t3941 = y*t3756+t3612*t3825; t3510 = y*t3593; t3399 = z*t3510; t3753 = z*t3785; t3940 = t3399+t3641*t3753; t3811 = t3626*t3653; t3939 = t3651*t3811+t3652*t3532; t3546 = t3625*t3780; t3608 = t3626*t3654; t3938 = t3546+t3608; t3774 = t3655*t3616; t3430 = x*t3774; t3232 = t3652*t3488; t3937 = t3430+t3232; t3512 = z*t3608; t3337 = y*t3512; t3936 = t3454+t3337; t3460 = t3620*t3784; t3935 = t3437+t3653*t3460; t3531 = t3625*t3785; t3934 = t3531+t3597; t3613 = RATIONAL(-1.0,72.0); t3766 = t3613*t3655; t3726 = t3652*t3766; t3221 = t3654*t3726; t3868 = y*t3609; t3933 = x*t3868+t3221; t3611 = RATIONAL(1.0,108.0); t3879 = x*t3655; t3736 = t3618*t3784; t3931 = t3611*t3879+y*t3736; t3585 = t3615*t3655; t3433 = t3620*t3785; t3930 = t3585+t3433; t3821 = t3619*t3652; t3757 = x*t3821; t3718 = t3652*t3768; t3268 = y*t3718; t3929 = y*t3757+t3268; t3515 = t3651*t3764; t3928 = t3510+t3515; t3926 = t3462+t3619*t3879; t3873 = t3646*z; t3496 = x*t3873; t3382 = y*t3496; t3852 = t3382+t3523; t3606 = t3625*t3654; t3516 = y*t3606; t3315 = z*t3516; t3925 = t3852+t3463+t3315; t3924 = t3978*z; t3722 = t3651*t3772; t3923 = t3651*t3584+t3653*t3722; t3469 = t3652*t3585; t3922 = t3620*t3732+t3469; t3820 = t3637*t3652; t3560 = x*t3820; t3754 = t3653*t3866; t3921 = t3560+t3641*t3754; t3572 = t3626*t3785; t3522 = t3651*t3865; t3920 = (t3522+t3572)*z; t3256 = z*t3430; t3919 = z*t3476+t3256; t3482 = t3613*t3880; t3918 = t3482+t3268; t3917 = y*t3820+t3641*t3758; t3374 = t3635*t3732; t3916 = t3566+t3374; t3257 = t3655*t3718; t3473 = t3654*t3766; t3845 = t3257+t3473; t3276 = x*t3469; t3799 = t3617*t3655; t3472 = x*t3799; t3851 = t3276+t3472; t3915 = t3845+t3851; t3790 = t3641*t3655; t3528 = z*t3790; t3913 = t3627*t3825+t3654*t3528; t3604 = t3625*y; t3565 = z*t3604; t3338 = x*t3565; t3376 = x*t3571; t3912 = t3336+t3338+t3376+t3337; t3833 = t3626*t3651; t3514 = y*t3833; t3859 = (t3531+t3514)*z; t3911 = t3859+t3565+t3571; t3910 = y*t3725+t3567+t3653*t3543; t3537 = x*t3811; t3805 = (t3537+t3546)*z; t3602 = t3625*x; t3909 = t3805+t3512+z*t3602; t3787 = t3651*t3615; t3822 = t3651*t3545+t3653*t3787; t3519 = t3653*t3804; t3908 = t3822+t3584+t3519; t3586 = t3615*t3654; t3487 = y*t3586; t3907 = t3606+t3487+t3563; t3318 = x*t3519; t3906 = t3318+t3924; t3580 = t3652*t3781; t3905 = t3580+t3581+t3822; t3751 = t3614*t3869; t3842 = t3853*z; t3493 = t3617*t3785; t3904 = t3651*t3751+t3842+t3493; t3727 = t3651*t3821; t3835 = t3651*t3867+t3655*t3727; t3903 = t3835+t3655*t3756+t3654*t3868; t3863 = t3616*t3651; t3728 = t3652*t3787; t3582 = t3620*t3655; t3483 = t3652*t3582; t3902 = t3655*t3728+y*t3863+t3589+t3483; t3901 = t3602+t3537+t3942; t3551 = x*t3595; t3759 = z*t3780; t3293 = t3637*t3759; t3871 = t3653*x; t3900 = t3551+t3293-z*t3871+t3467; t3796 = t3653*t3615; t3723 = t3652*t3796; t3899 = t3654*t3723+t3460+t3977*x; t3898 = t3604+t3514+t3932; t3288 = t3651*t3541; t3897 = t3307+t3525+x*t3737+t3288; t3361 = t3637*t3753; t3896 = z*t3501+t3322+t3528+t3361; t3530 = t3627*t3780; t3309 = t3652*t3530; t3858 = t3653*t3768+t3309; t3466 = x*t3796; t3895 = t3858+t3466+t3953; t3524 = y*t3875; t3339 = t3626*t3765; t3474 = t3654*t3585; t3280 = z*t3474; t3455 = t3655*t3793; t3894 = t3524+t3339+t3280+t3455; t3285 = y*t3560; t3599 = t3646*y; t3506 = x*t3599; t3893 = t3474+t3285+t3506+t3280; t3554 = t3655*t3813; t3408 = z*t3554; t3334 = z*t3504; t3348 = x*t3528; t3892 = t3408+t3334+t3348+t3946; t3819 = t3614*t3655; t3370 = x*t3731; t3882 = y*x; t3891 = x*t3819+t3370+t3619*t3882+(t3768+t3761)*y; t3830 = t3623*t3653; t3840 = x*t3723+t3622*t3780; t3224 = t3653*t3718; t3890 = t3840+t3224+x*t3830+t3924; t3387 = z*t3551; t3889 = t3387+y*t3873+t3548+t3920; t3490 = t3620*t3882; t3402 = t3635*t3763; t3888 = t3490+t3402+t3626*x+t3942; t3368 = t3654*t3734; t3497 = y*t3605; t3887 = t3293+t3368+t3577+x*t3511+t3497; t3843 = t3652*t3632; t3552 = y*t3843; t3886 = t3582+t3552+t3583+t3944; t3223 = z*t3487; t3885 = t3223+t3387+t3496+z*t3606+t3953; t3716 = t3653*t3812; t3817 = x*t3716+t3309; t3884 = t3817+t3463+t3466+t3545+t3603+t3939; t3883 = t3283+t3640*t3763+t3520+t3605+t3653*t3567+t3543+t3970; t3881 = -1.0-z; t3621 = RATIONAL(-1.0,54.0); t3878 = y*t3621; t3877 = y*t3651; t3872 = 1.0-t3653; t3870 = t3654*z; t3314 = y*t3580; t3860 = t3445+t3314; t3360 = y*t3574; t3856 = t3360+t3487; t3423 = x*t3589; t3855 = t3257+t3423; t3849 = t3652*t3615; t3492 = x*t3585; t3302 = x*t3569; t3848 = t3492+t3302; t3769 = t3619*t3653; t3440 = t3654*t3769; t3847 = t3652*t3440+t3622*t3871; t3610 = RATIONAL(-1.0,216.0); t3275 = t3655*t3736; t3846 = t3610*t3825+t3275; t3844 = t3655+t3654; t3841 = t3654-t3651; t3578 = t3651*t3836; t3839 = y*t3578+t3505; t3837 = z*t3877; t3434 = t3654*t3582; t3233 = z*t3434; t3832 = t3233+t3338; t3831 = -t3653+t3655; t3829 = (t3716+t3769)*t3651; t3827 = y*t3728+t3622*t3785; t3826 = t3641*t3652; t3824 = t3623*t3651; t3636 = RATIONAL(-3.0,2.0); t3823 = t3636*t3652; t3818 = t3653*t3651; t3720 = t3652*t3819; t3270 = x*t3720; t3239 = t3652*t3449; t3815 = t3270+t3239; t3242 = y*t3460; t3810 = t3476+t3242; t3809 = t3637*t3654; t3808 = y*t3870; t3456 = x*t3582; t3803 = t3474+t3456; t3439 = t3618*t3825; t3802 = t3439+t3239; t3775 = t3651*t3614; t3396 = t3655*t3722; t3795 = t3396+t3655*t3775; t3792 = t3641*t3653; t3352 = x*t3552; t3347 = y*t3558; t3788 = t3352+t3347; t3643 = RATIONAL(-2.0,1.0); t3786 = -t3654+t3643; t3783 = t3635*t3758+t3396; t3779 = t3618*t3653; t3777 = t3854*z; t3776 = t3651*t3627; t3771 = (t3423+t3455)*z; t3767 = t3611*t3654; t3544 = x*t3826; t3762 = y*t3849; t3576 = z*t3809; t3436 = t3618*t3879; t3556 = x*t3607; t3752 = x*t3772; t3509 = x*t3597; t3750 = t3376+t3302+t3509; t3335 = z*t3556; t3457 = x*t3773; t3749 = t3335+t3276+t3457; t3748 = t3233+t3257+t3470; t3346 = x*t3527; t3747 = t3335+t3346+t3556; t3746 = t3230+t3315+t3464; t3344 = y*t3544; t3745 = t3346+t3384+t3344; t3744 = t3631+t3627*y; t3300 = z*t3532; t3743 = t3399+z*t3515+t3300; t3555 = t3651*t3792; t3350 = z*t3555; t3735 = t3651*t3806; t3741 = t3350+(t3735+t3776)*t3653; t3570 = t3651*t3834; t3740 = t3300+(t3566+t3433)*z; t3333 = t3654*t3716; t3739 = t3242+t3239+t3333; t3500 = y*t3608; t3738 = t3500+t3360+t3337; t3564 = t3633*t3828; t3733 = t3394+(t3576+z)*y; t3729 = t3409+t3347+t3333; t3647 = z*t3818; t3717 = t3647+t3641*t3759+t3332; t3639 = RATIONAL(3.0,2.0); t3715 = t3639*t3653+t3636; t3714 = t3603+t3626; t3713 = t3636*t3653+t3639; t3712 = t3642+t3646*t3653; t3711 = t3594+t3641; t3710 = t3625+t3811; t3709 = t3620*t3652+t3622; t3708 = t3613*t3780+t3619*t3754+x*t3779+t3224; t3706 = t3350+t3976*z; t3218 = t3651*t3720; t3705 = y*t3727+t3651*t3766+t3618*t3877+t3218; t3385 = x*t3559; t3704 = t3544+t3302+t3637*t3754+t3385; t3703 = t3594+t3555+t3972; t3702 = t3572+t3492+t3607+t3434; t3701 = t3350+t3539+t3972*z; t3700 = t3614*t3871+t3440+t3333+t3653*t3752; t3699 = t3219+(t3472+t3974)*z; t3698 = t3864+t3964; t3465 = t3617*t3882; t3245 = x*t3762; t3697 = t3465+t3245+t3802; t3696 = t3619*t3785+t3374+(t3722+t3775)*y; t3695 = t3838+t3860; t3694 = t3280+(t3456+t3964)*z; t3693 = t3815+t3974; t3692 = t3652*t3436+y*t3767+t3933; t3690 = y*t3826+t3360+t3385+t3637*t3758; t3689 = (t3637+t3792)*t3652; t3451 = t3617*t3780; t3688 = t3614*t3754+t3451+t3777+t3847; t3229 = z*t3492; t3231 = t3655*t3757; t3687 = t3229+t3472+t3231+t3748; t3686 = t3783+t3842+t3853; t3259 = x*t3483; t3685 = t3494+t3259+t3835+t3855; t3262 = t3620*t3754; t3684 = t3262+t3654*t3779+t3829+t3847; t3683 = t3318+t3424+t3829+t3858; t3446 = x*t3878; t3682 = t3617*t3765+t3655*t3767+t3446+t3275+t3771; t3568 = x*t3604; t3681 = t3389+t3568+t3385+t3434+t3832; t3240 = t3620*t3765; t3680 = t3240+t3455+t3771+t3855; t3679 = t3777+t3817+t3854; t3678 = x*t3751+t3436+t3618*t3880+t3231+t3613*t3882+t3232+t3845; t3316 = t3655*t3721; t3677 = t3316+t3635*t3785+t3361+t3741+t3839; t3676 = t3218+y*t3824+t3740+t3827+t3923; t3395 = y*t3570; t3298 = t3640*t3732; t3675 = t3395+t3298+t3743+t3928+t3954; t3674 = t3314+t3433+t3740+t3916+t3954; t3426 = y*t3787; t3673 = t3426+t3400+t3741+t3795+t3920; t3672 = t3400+t3428+t3743+t3916+t3923; t3671 = t3319+t3530+t3600+x*t3724+t3541+t3635*t3871+t3717+t3945; t3670 = t3647+t3635*t3877+t3298+y*t3721+t3601+t3578+t3655*t3776+t3940+ t3945; t3669 = t3564+t3368+t3778*t3879+t3638*t3732+t3703+t3733; t3401 = y*t3752; t3668 = t3402+t3401+t3694+t3698+t3803; t3667 = t3458+t3259+t3696+t3697+t3918; t3666 = t3465+t3476+t3458+t3455+t3694+t3815+t3929; t3665 = t3570+t3555+t3316+t3288+y*t3735+t3706+t3976; t3664 = t3489+t3456+t3402+t3346+t3352+t3696+t3975; t3663 = t3698+t3700+t3788+t3926; t3442 = x*t3766; t3662 = t3270+t3442+t3697+t3700+t3810; t3661 = t3551+t3370+t3516+t3522+t3389+t3599+t3701+t3944; t3660 = t3426+t3499+t3592+t3433+t3706+t3783+t3939; t3659 = t3408+t3573+t3940+t3576+t3529+t3717+(1.0+t3969+t3970)*z; t3658 = t3318+t3449+t3854+t3588+t3707+t3891+(t3843+t3615)*x; t3644 = RATIONAL(-2.0,3.0); t3630 = RATIONAL(2.0,1.0); t3624 = RATIONAL(1.0,54.0); t3419 = t3654*t3791; t3342 = x*t3564; t3320 = t3654*t3782; t3308 = t3646*t3808; t3306 = t3655*t3496; t3305 = t3642*z*t3879; t3291 = t3625*t3765; t3274 = t3652*t3482; t3248 = t3774*t3870; t3237 = x*t3726; t3217 = t3652*t3472; t3214 = t3652*t3494; coeffs_dz->coeff_m1_m1_m1 = (t3621*t3655+(RATIONAL(-1.0,27.0)+t3616*t3652 )*y)*x+t3654*t3878+t3221+t3217+t3676+t3419+t3214+t3890+t3960; coeffs_dz->coeff_0_m1_m1 = t3471+t3240+t3884+(t3623+t3863)*t3655+(t3626* t3652+t3629+(t3628+t3625*t3652)*t3651)*y+t3746+t3687+t3701+t3889+t3922; coeffs_dz->coeff_p1_m1_m1 = t3334+t3384+t3676+t3739+t3749+t3852+t3894+ t3936+t3971; coeffs_dz->coeff_p2_m1_m1 = t3682+t3237+t3624*t3880+t3688+t3950+t3951; coeffs_dz->coeff_m1_0_m1 = t3977*t3654+t3240+t3660+t3748+(t3629+t3628* t3653+t3714*t3652)*x+t3232+t3749+t3885+t3935+t3968; coeffs_dz->coeff_0_0_m1 = t3646+t3826+t3702+t3888+(-z+t3689+t3712)*t3651+ (t3820-z+t3642)*t3653+t3401+t3659+t3523+t3907+t3943+t3962+t3963; coeffs_dz->coeff_p1_0_m1 = t3660+t3474+t3556+t3704+t3900+t3938+t3956+ t3961; coeffs_dz->coeff_p2_0_m1 = t3262+t3666+(t3616+t3830)*t3654+x*t3849+t3899+ t3909; coeffs_dz->coeff_m1_p1_m1 = t3672+t3376+t3430+t3259+t3239+t3382+t3746+ t3890+t3894; coeffs_dz->coeff_0_p1_m1 = t3690+t3884-t3837+t3661+t3803+t3733+t3896+ t3934; coeffs_dz->coeff_p1_p1_m1 = t3672+t3500+t3506+t3523+t3434+t3509+t3729+ t3745+t3892+t3971; coeffs_dz->coeff_p2_p1_m1 = t3338+t3242+t3245+t3687+t3423+t3688+t3936; coeffs_dz->coeff_m1_p2_m1 = t3682+t3624*t3879+t3274+t3903+t3904+t3919; coeffs_dz->coeff_0_p2_m1 = t3666+(t3616+t3824)*t3655+t3762+t3216+t3902+ t3911; coeffs_dz->coeff_p1_p2_m1 = t3685+t3376+t3223+t3245+t3470+t3832+t3904+ t3937; coeffs_dz->coeff_p2_p2_m1 = t3419+t3613*t3765+t3692+t3699+t3931; coeffs_dz->coeff_m1_m1_0 = t3248+(t3628*t3880+(t3628*t3655+RATIONAL(-2.0, 9.0)*y)*x)*z+t3673+t3384+t3230+t3339+t3895+t3915+t3968; coeffs_dz->coeff_0_m1_0 = t3490+t3335+t3329+t3690+t3320+(-t3653+(t3646* t3651+t3642)*t3655+(t3645+t3644*t3651)*y)*z+t3487+t3671+t3382+t3926+t3930+t3962 ; coeffs_dz->coeff_p1_m1_0 = t3673+t3344+t3347+t3305+t3308+t3848+t3900+ t3959+t3973; coeffs_dz->coeff_p2_m1_0 = t3662+t3256+t3629*t3808+t3805+t3952; coeffs_dz->coeff_m1_0_0 = t3329+(-t3651+t3712*t3654+(t3644*t3653+t3645)*x )*z+t3305+t3586+t3492+t3670+t3704+t3888+t3925+t3975; coeffs_dz->coeff_0_0_0 = t3311+(t3635*t3655+t3744)*x+(t3635*t3654+t3631)* y+t3844*t3632+(t3639*t3818+t3639+t3638*y+(t3651+t3653)*t3636+(t3638+t3640*y)*x) *t3652+t3669+t3641+(-t3655+(t3630-x+t3654)*t3653+(t3643*t3653+t3630+t3655-y)* t3651+t3786)*z+t3839+t3910+t3913+t3914+t3927; coeffs_dz->coeff_p1_0_0 = t3342+t3744*t3654+t3504+t3670+(-t3780+(t3630* t3653+t3643-t3655)*x+t3841)*z+t3883+t3713*t3866+t3946+t3958; coeffs_dz->coeff_p2_0_0 = t3658+((t3646+t3814)*t3654+t3712*x)*z+t3912; coeffs_dz->coeff_m1_p1_0 = t3306+t3456+t3551-t3837+t3677+t3320+t3745+ t3856+t3895+t3973; coeffs_dz->coeff_0_p1_0 = (t3627*x+t3631)*t3655+t3648+(t3639+t3636*t3651) *t3869+(-t3785+(t3630*t3651+t3786)*y+t3831)*z+t3536+t3348+t3671+t3928+t3955+ t3958+t3967; coeffs_dz->coeff_p1_p1_0 = t3677+(t3841*y+(t3643*y+t3831)*x)*z+t3639* t3765+t3887+t3913+t3959+t3965; coeffs_dz->coeff_p2_p1_0 = t3335+t3308+t3663+t3805+t3947; coeffs_dz->coeff_m1_p2_0 = t3273+t3655*t3807+t3667+t3859+t3952; coeffs_dz->coeff_0_p2_0 = ((t3785+y)*t3642+(t3655+t3877)*t3646)*z+t3428+ t3390+t3695+t3886+t3891+t3912; coeffs_dz->coeff_p1_p2_0 = t3306+t3315+t3664+t3859+t3947; coeffs_dz->coeff_p2_p2_0 = t3248+z*t3471+t3678+t3850; coeffs_dz->coeff_m1_m1_p1 = t3674+t3524+t3457+t3291+t3259+t3464+t3470+ t3739+t3906+t3960+t3978; coeffs_dz->coeff_0_m1_p1 = t3233+t3229+t3703+t3702+t3661+t3315+t3788+ t3889+t3897+t3917; coeffs_dz->coeff_p1_m1_p1 = t3674+t3334+t3409+t3382+t3738+t3747+t3893+ t3957; coeffs_dz->coeff_p2_m1_p1 = t3454+t3679+t3231+t3680+t3948+t3951; coeffs_dz->coeff_m1_0_p1 = t3233+t3551+t3352+t3747+t3885+t3665+t3434+ t3907+t3921+t3961; coeffs_dz->coeff_0_0_p1 = t3510+t3554+(t3790-z-t3872)*t3651+t3844*t3637+ t3395+t3284+RATIONAL(1.0,1.0)+(t3798+t3881)*t3653+t3659+t3883+(t3633*y+t3713* t3651+(t3633+t3634*y)*x+t3715)*t3652+t3955; coeffs_dz->coeff_p1_0_p1 = t3711*t3654+(t3794-t3653*z+t3715*t3652+t3872)* x+t3665+t3887+t3910+t3956+t3966; coeffs_dz->coeff_p2_0_p1 = t3668+t3901+t3909+t3938+t3963; coeffs_dz->coeff_m1_p1_p1 = t3675+t3516+t3729+t3750+t3893+t3906+t3925; coeffs_dz->coeff_0_p1_p1 = (t3593+t3641)*t3655+t3669+(t3809+1.0+t3823+( t3639*t3652+t3881)*t3651)*y+t3701+t3497+t3896+t3897+t3965+t3966; coeffs_dz->coeff_p1_p1_p1 = t3342+(y+t3790+y*t3823)*x+t3554+t3675+t3760+ t3892+t3957+t3967; coeffs_dz->coeff_p2_p1_p1 = t3229+t3370+t3679+t3492+t3681+t3738; coeffs_dz->coeff_m1_p2_p1 = t3276+t3476+t3680+t3686+t3919+t3937; coeffs_dz->coeff_0_p2_p1 = t3668+t3898+t3911+t3934+t3943; coeffs_dz->coeff_p1_p2_p1 = t3223+t3487+t3681+t3390+t3686+t3750; coeffs_dz->coeff_p2_p2_p1 = t3472+t3470+t3693+t3699+t3929; coeffs_dz->coeff_m1_m1_p2 = t3623*t3765+t3684+t3446+t3846+t3903+t3949+ t3950; coeffs_dz->coeff_0_m1_p2 = t3662+t3797+(t3625+t3833)*t3869+t3493+t3902+ t3908; coeffs_dz->coeff_p1_m1_p2 = t3291+t3683+t3473+t3685+t3948+t3949; coeffs_dz->coeff_p2_m1_p2 = t3214+t3610*t3879+t3692+t3708+t3941; coeffs_dz->coeff_m1_0_p2 = t3800+t3667+t3710*t3866+t3451+t3899+t3905; coeffs_dz->coeff_0_0_p2 = t3658+t3314+t3689+(t3711*t3652+t3714)*t3651+ t3710+t3853+t3886; coeffs_dz->coeff_p1_0_p2 = t3463+t3586+t3664+t3901+t3905+t3921; coeffs_dz->coeff_p2_0_p2 = t3793+(t3617*t3653+t3709)*x+t3678+t3840+t3935; coeffs_dz->coeff_m1_p1_p2 = t3291+t3684+t3423+t3795+t3810+t3860+t3915; coeffs_dz->coeff_0_p1_p2 = t3663+t3898+t3908+t3917+t3930; coeffs_dz->coeff_p1_p1_p2 = t3285+t3683+t3568+t3695+t3795+t3848+t3856; coeffs_dz->coeff_p2_p1_p2 = t3230+t3240+t3442+t3439+t3693+t3708; coeffs_dz->coeff_m1_p2_p2 = t3217+t3610*t3880+t3705+t3931+t3933+t3941; coeffs_dz->coeff_0_p2_p2 = t3799+(t3617*t3651+t3709)*y+t3678+t3827+t3922; coeffs_dz->coeff_p1_p2_p2 = t3422+t3240+t3705+t3802+t3851+t3918; coeffs_dz->coeff_p2_p2_p2 = t3237+t3274+t3612*t3880+(t3612*t3655+(t3618* t3652+t3610)*y)*x+t3846;