fp t2786; fp t2784; fp t2992; fp t2787; fp t2783; fp t2984; fp t2879; fp t2880; fp t2751; fp t2701; fp t2755; fp t2956; fp t3078; fp t2758; fp t2937; fp t2785; fp t2867; fp t2533; fp t2759; fp t2955; fp t2780; fp t3077; fp t2994; fp t2773; fp t2946; fp t2763; fp t2648; fp t2537; fp t3076; fp t2743; fp t2838; fp t2959; fp t2889; fp t2769; fp t2551; fp t3075; fp t2635; fp t2494; fp t2765; fp t2782; fp t2774; fp t3074; fp t2568; fp t3073; fp t2725; fp t2935; fp t2749; fp t2697; fp t3072; fp t2905; fp t2453; fp t2918; fp t2861; fp t2529; fp t3071; fp t2868; fp t2709; fp t2719; fp t2597; fp t3070; fp t2722; fp t2960; fp t2901; fp t2971; fp t3069; fp t2871; fp t2768; fp t2770; fp t3068; fp t2728; fp t2829; fp t2370; fp t2737; fp t3067; fp t2748; fp t2961; fp t2634; fp t3066; fp t2885; fp t2459; fp t2733; fp t3065; fp t2754; fp t2928; fp t2660; fp t2760; fp t2931; fp t2649; fp t3064; fp t2713; fp t2976; fp t2781; fp t3063; fp t2746; fp t2954; fp t2608; fp t2762; fp t2939; fp t2899; fp t3062; fp t2986; fp t2724; fp t2881; fp t2406; fp t2716; fp t3061; fp t2951; fp t2858; fp t2659; fp t3060; fp t2750; fp t2908; fp t2665; fp t2990; fp t2604; fp t3059; fp t2757; fp t2969; fp t2730; fp t2977; fp t2898; fp t3058; fp t2764; fp t2926; fp t2666; fp t3057; fp t2924; fp t2736; fp t2922; fp t2687; fp t3056; fp t2646; fp t2941; fp t2668; fp t3055; fp t2699; fp t2887; fp t2439; fp t2845; fp t3054; fp t2766; fp t2982; fp t2884; fp t2909; fp t2834; fp t2475; fp t3053; fp t2741; fp t2919; fp t2900; fp t3052; fp t2575; fp t2975; fp t2673; fp t3051; fp t2947; fp t2859; fp t2703; fp t2886; fp t3050; fp t2702; fp t2771; fp t2929; fp t3049; fp t2402; fp t3048; fp t3047; fp t3046; fp t2778; fp t2974; fp t2828; fp t2490; fp t3045; fp t2691; fp t2693; fp t3044; fp t3043; fp t2539; fp t3042; fp t2419; fp t3041; fp t2433; fp t3040; fp t2997; fp t2776; fp t2944; fp t2893; fp t2579; fp t3039; fp t2832; fp t3038; fp t2853; fp t3037; fp t3036; fp t2981; fp t2896; fp t2385; fp t3035; fp t3034; fp t2945; fp t3033; fp t2772; fp t2603; fp t3032; fp t3031; fp t2727; fp t3030; fp t2731; fp t2957; fp t2642; fp t3029; fp t2683; fp t2842; fp t3028; fp t2742; fp t2936; fp t3027; fp t2949; fp t2671; fp t2667; fp t3026; fp t2933; fp t2678; fp t2654; fp t3025; fp t2989; fp t2650; fp t2729; fp t2710; fp t3024; fp t2907; fp t2636; fp t2717; fp t3023; fp t2980; fp t2775; fp t3022; fp t3021; fp t2985; fp t3020; fp t2645; fp t2921; fp t2857; fp t2507; fp t2897; fp t2469; fp t3019; fp t2739; fp t2934; fp t2600; fp t2991; fp t3018; fp t2670; fp t2948; fp t2629; fp t3017; fp t3016; fp t2996; fp t2686; fp t2912; fp t2694; fp t3015; fp t2756; fp t2920; fp t2851; fp t2463; fp t3014; fp t2913; fp t2523; fp t3013; fp t2767; fp t2894; fp t2440; fp t3012; fp t2617; fp t3011; fp t2987; fp t2651; fp t2910; fp t2852; fp t2863; fp t2587; fp t3010; fp t3009; fp t2738; fp t2973; fp t2588; fp t2983; fp t2639; fp t3008; fp t2930; fp t2856; fp t2679; fp t3007; fp t2708; fp t2715; fp t2592; fp t2726; fp t3006; fp t3005; fp t3004; fp t2361; fp t2888; fp t2598; fp t3003; fp t2998; fp t3002; fp t2408; fp t3001; fp t2747; fp t2672; fp t2752; fp t3000; fp t2999; fp t2995; fp t2993; fp t2745; fp t2988; fp t2698; fp t2705; fp t2704; fp t2707; fp t2979; fp t2978; fp t2700; fp t2777; fp t2972; fp t2970; fp t2968; fp t2966; fp t2965; fp t2831; fp t2543; fp t2903; fp t2964; fp t2914; fp t2638; fp t2963; fp t2695; fp t2962; fp t2546; fp t2911; fp t2958; fp t2706; fp t2942; fp t2827; fp t2953; fp t2952; fp t2779; fp t2950; fp t2943; fp t2940; fp t2938; fp t2932; fp t2927; fp t2578; fp t2925; fp t2761; fp t2923; fp t2917; fp t2916; fp t2837; fp t2653; fp t2558; fp t2915; fp t2906; fp t2640; fp t2685; fp t2902; fp t2895; fp t2658; fp t2647; fp t2892; fp t2891; fp t2890; fp t2740; fp t2676; fp t2883; fp t2882; fp t2621; fp t2662; fp t2878; fp t2721; fp t2855; fp t2378; fp t2877; fp t2876; fp t2875; fp t2373; fp t2599; fp t2874; fp t2637; fp t2873; fp t2872; fp t2367; fp t2870; fp t2467; fp t2869; fp t2627; fp t2866; fp t2865; fp t2864; fp t2690; fp t2681; fp t2862; fp t2860; fp t2854; fp t2850; fp t2849; fp t2550; fp t2848; fp t2847; fp t2624; fp t2846; fp t2844; fp t2590; fp t2843; fp t2374; fp t2841; fp t2840; fp t2711; fp t2360; fp t2839; fp t2836; fp t2835; fp t2833; fp t2830; fp t2664; fp t2826; fp t2825; fp t2824; fp t2823; fp t2822; fp t2732; fp t2821; fp t2820; fp t2819; fp t2817; fp t2816; fp t2814; fp t2501; fp t2813; fp t2452; fp t2812; fp t2462; fp t2811; fp t2810; fp t2506; fp t2396; fp t2809; fp t2808; fp t2807; fp t2718; fp t2352; fp t2806; fp t2340; fp t2805; fp t2804; fp t2431; fp t2803; fp t2366; fp t2802; fp t2801; fp t2800; fp t2799; fp t2723; fp t2392; fp t2798; fp t2566; fp t2797; fp t2796; fp t2496; fp t2795; fp t2616; fp t2794; fp t2744; fp t2793; fp t2753; fp t2515; fp t2792; fp t2791; fp t2559; fp t2790; fp t2735; fp t2734; fp t2720; fp t2712; fp t2692; fp t2663; fp t2633; fp t2626; fp t2614; fp t2612; fp t2610; fp t2609; fp t2607; fp t2606; fp t2591; fp t2589; fp t2584; fp t2582; fp t2581; fp t2577; fp t2574; fp t2573; fp t2570; fp t2563; fp t2560; fp t2555; fp t2553; fp t2552; fp t2549; fp t2538; fp t2534; fp t2530; fp t2527; fp t2522; fp t2521; fp t2514; fp t2503; fp t2489; fp t2487; fp t2486; fp t2484; fp t2481; fp t2470; fp t2468; fp t2465; fp t2464; fp t2458; fp t2454; fp t2449; fp t2448; fp t2444; fp t2442; fp t2436; fp t2432; fp t2430; fp t2426; fp t2422; fp t2418; fp t2417; fp t2416; fp t2415; fp t2414; fp t2411; fp t2401; fp t2379; fp t2375; fp t2358; fp t2354; fp t2350; fp t2347; fp t2338; fp t2337; t2786 = y*y; t2784 = t2786*y; t2992 = t2784+y; t2787 = x*x; t2783 = t2787*x; t2984 = t2783+x; t2879 = z*t2984; t2880 = z*t2992; t2751 = RATIONAL(1.0,4.0); t2701 = t2751*t2784; t2755 = RATIONAL(-5.0,8.0); t2956 = t2787*t2755; t3078 = t2701+t2784*t2956; t2758 = RATIONAL(9.0,8.0); t2937 = t2784*t2758; t2785 = z*z; t2867 = t2785*t2937; t2533 = t2787*t2867; t2759 = RATIONAL(-5.0,2.0); t2955 = t2783*t2786; t2780 = z*t2955; t3077 = t2533+t2759*t2780; t2994 = t2786*z; t2773 = x*t2994; t2946 = t2784*t2785; t2763 = RATIONAL(-9.0,4.0); t2648 = t2763*t2946; t2537 = t2787*t2648; t3076 = t2537+t2773+t2780; t2743 = RATIONAL(-9.0,2.0); t2838 = t2785*t2955; t2959 = t2783*t2785; t2889 = y*t2959; t2769 = RATIONAL(-9.0,8.0); t2551 = t2769*t2889; t3075 = t2743*t2838+t2551; t2635 = t2783*t2937; t2494 = t2785*t2635; t2765 = RATIONAL(-5.0,1.0); t2782 = t2787*t2786; t2774 = z*t2782; t3074 = t2494+t2765*t2774; t2568 = t2758*t2889; t3073 = t2568+t2763*t2838; t2725 = RATIONAL(-15.0,8.0); t2935 = t2786*t2725; t2749 = RATIONAL(3.0,4.0); t2697 = t2749*t2783; t3072 = t2783*t2935+t2697; t2905 = x*t2946; t2453 = t2769*t2905; t2918 = t2743*t2785; t2861 = t2787*t2918; t2529 = t2784*t2861; t3071 = t2453+t2529; t2868 = t2787*t2946; t2709 = RATIONAL(-135.0,8.0); t2719 = RATIONAL(27.0,4.0); t2597 = t2719*t2946; t3070 = t2709*t2868+t2597; t2722 = RATIONAL(45.0,8.0); t2960 = t2787*t2785; t2901 = y*t2960; t2971 = t2763*t2785; t3069 = y*t2971+t2722*t2901; t2871 = t2786*t2960; t2768 = RATIONAL(-1.0,4.0); t2770 = RATIONAL(9.0,4.0); t3068 = t2770*t2871+t2768*t2782; t2728 = RATIONAL(27.0,8.0); t2829 = t2728*t2959; t2370 = t2784*t2829; t2737 = RATIONAL(-4.0,1.0); t3067 = t2370+t2737*t2774; t2748 = RATIONAL(-3.0,2.0); t2961 = t2787*t2784; t2634 = t2748*t2961; t3066 = t2635+t2634; t2885 = z*t2697; t2459 = t2784*t2885; t2733 = RATIONAL(-15.0,4.0); t3065 = t2459+t2733*t2871; t2754 = RATIONAL(3.0,8.0); t2928 = t2783*t2754; t2660 = t2786*t2928; t2760 = RATIONAL(-1.0,2.0); t2931 = t2760*t2784; t2649 = t2787*t2931; t3064 = z*t2649+t2785*t2660; t2713 = RATIONAL(45.0,4.0); t2976 = t2783*t2784; t2781 = z*t2976; t3063 = t2713*t2781+RATIONAL(-45.0,2.0)*t2871; t2746 = RATIONAL(-3.0,8.0); t2954 = t2746*t2784; t2608 = t2783*t2954; t2762 = RATIONAL(3.0,2.0); t2939 = t2762*t2784; t2899 = z*t2939; t3062 = t2608+t2783*t2899; t2986 = t2784*z; t2724 = RATIONAL(15.0,4.0); t2881 = t2724*t2986; t2406 = t2783*t2881; t2716 = RATIONAL(-45.0,4.0); t3061 = t2406+t2716*t2871; t2951 = t2725*t2787; t2858 = t2785*t2951; t2659 = t2749*t2946; t3060 = t2784*t2858+t2659; t2750 = RATIONAL(1.0,2.0); t2908 = t2787*t2750; t2665 = y*t2908; t2990 = t2783*y; t2604 = t2746*t2990; t3059 = t2665+t2604; t2757 = RATIONAL(-3.0,4.0); t2969 = t2757*t2785; t2730 = RATIONAL(15.0,8.0); t2977 = t2786*t2785; t2898 = x*t2977; t3058 = x*t2969+t2730*t2898; t2764 = RATIONAL(-5.0,4.0); t2926 = t2787*t2764; t2666 = t2786*t2926; t3057 = t2494+z*t2666; t2924 = t2787*t2751; t2736 = RATIONAL(-1.0,8.0); t2922 = t2783*t2736; t2687 = y*t2922; t3056 = t2687+y*t2924; t2646 = t2769*t2976; t2941 = t2762*t2783; t2668 = t2786*t2941; t3055 = t2646+t2668; t2699 = t2757*t2784; t2887 = z*t2699; t2439 = t2783*t2887; t2845 = t2730*t2960; t3054 = t2786*t2845+t2439; t2766 = RATIONAL(5.0,4.0); t2982 = z*t2766; t2884 = t2784*t2982; t2909 = t2769*t2785; t2834 = t2786*t2909; t2475 = t2783*t2834; t3053 = t2787*t2884+t2475; t2741 = RATIONAL(-3.0,1.0); t2919 = t2741*t2784; t2900 = z*t2919; t3052 = t2783*t2900+t2608; t2575 = t2746*t2889; t2975 = t2749*t2785; t2673 = y*t2975; t3051 = t2787*t2673+t2575; t2947 = t2787*t2757; t2859 = t2785*t2947; t2703 = t2751*t2783; t2886 = z*t2703; t3050 = t2786*t2859+t2784*t2886; t2702 = t2768*t2784; t2771 = RATIONAL(5.0,8.0); t2929 = t2787*t2771; t3049 = t2784*t2929+t2702; t2402 = y*t2829; t3048 = t2402+y*t2861; t3047 = t2730*t2961+t2699; t3046 = (t2845+t2969)*y; t2778 = z*t2961; t2974 = t2785*t2758; t2828 = t2786*t2974; t2490 = t2783*t2828; t3045 = t2490+t2759*t2778; t2691 = t2784*t2922; t2693 = t2784*t2924; t3044 = t2691+t2693; t3043 = t2765*t2780+t2728*t2868; t2539 = x*t2867; t3042 = t2539+t2748*t2898; t2419 = t2785*t2646; t3041 = t2419+t2774; t2433 = t2786*t2861; t3040 = t2406+t2433; t2997 = x*z; t2776 = y*t2997; t2944 = t2746*t2785; t2893 = y*t2944; t2579 = x*t2893; t3039 = t2750*t2776+t2579; t2832 = t2785*t2935; t3038 = t2783*t2832+t2749*t2959; t2853 = t2763*t2960; t3037 = t2786*t2853+t2783*t2884; t3036 = y*t2858+t2673; t2981 = z*t2733; t2896 = t2783*t2981; t2385 = t2784*t2896; t3035 = t2385+t2722*t2871; t3034 = t2722*t2868+t2648; t2945 = t2786*t2771; t3033 = (t2768+t2945)*t2783; t2772 = RATIONAL(5.0,2.0); t2603 = t2772*t2994; t3032 = t2724*t2780+t2603; t3031 = t2755*t2955+t2703; t2727 = RATIONAL(-15.0,2.0); t3030 = t2727*t2871+t2770*t2781; t2731 = RATIONAL(-45.0,8.0); t2957 = t2770*t2785; t2642 = x*t2957; t3029 = t2731*t2898+t2642; t2683 = t2770*t2946; t2842 = t2731*t2960; t3028 = t2683+t2784*t2842; t2742 = RATIONAL(-9.0,1.0); t2936 = t2759*t2787; t3027 = t2786*t2936+t2742*t2781+RATIONAL(45.0,2.0)*t2871; t2949 = t2786*t2757; t2671 = t2783*t2949; t2667 = t2784*t2908; t3026 = t2785*t2671+(t2667+t2665)*z; t2933 = t2783*t2748; t2678 = t2786*t2933; t2654 = t2757*t2946; t3025 = t2784*t2845+z*t2678+t2654; t2989 = t2765*z; t2650 = t2786*t2989; t2729 = RATIONAL(15.0,1.0); t2710 = RATIONAL(-27.0,2.0); t3024 = t2729*t2780+t2710*t2868+x*t2650; t2907 = t2772*t2787; t2636 = t2786*t2907; t2717 = RATIONAL(15.0,2.0); t3023 = t2636+t2717*t2871+t2743*t2781; t2980 = y*t2787; t2775 = z*t2980; t3022 = t2775+t3073; t3021 = t2730*t2838+z*t2634+t2757*t2959; t2985 = t2760*y; t3020 = -t2782+t2741*t2871+t2985*t2997; t2645 = t2786*t2908; t2921 = t2762*t2785; t2857 = t2787*t2921; t2507 = t2786*t2857; t2897 = t2748*t2986; t2469 = t2783*t2897; t3019 = t2645+t2507+t2469; t2739 = RATIONAL(5.0,1.0); t2934 = RATIONAL(-27.0,4.0)*t2785; t2600 = t2783*t2934; t2991 = z*t2787; t3018 = t2786*t2600+t2992*t2739*t2991; t2670 = t2787*t2939; t2948 = t2787*t2760; t2629 = y*t2948; t3017 = t2785*t2678+(t2670+t2629)*z; t3016 = x*t2603+t2772*t2780+t2537; t2996 = x*t2786; t2686 = t2750*t2996; t2912 = t2783*t2750; t2694 = t2786*t2912; t3015 = t2787*t2654+(t2694+t2686)*z; t2756 = RATIONAL(9.0,2.0); t2920 = t2756*t2785; t2851 = t2787*t2920; t2463 = t2786*t2851; t3014 = t2463+t3052; t2913 = x*t2982; t2523 = t2784*t2851; t3013 = t2733*t2780+t2523+t2786*t2913; t2767 = RATIONAL(3.0,1.0); t2894 = t2767*t2986; t2440 = t2783*t2894; t3012 = t2440+(t2842+t2929)*t2786; t2617 = z*t2907; t3011 = y*t2617+t2772*t2778+t3073; t2987 = t2760*x; t2651 = t2786*t2987; t2910 = t2748*t2785; t2852 = t2787*t2910; t2863 = t2784*t2944; t2587 = x*t2863; t3010 = t2784*t2852+t2587+(t2668+t2651)*z; t3009 = t2717*t2780+t2759*t2773+t3071; t2738 = RATIONAL(-2.0,1.0); t2973 = t2768*t2787; t2588 = t2787*t2683; t2983 = t2738*z; t2639 = t2786*t2983; t3008 = t2588+x*t2639+y*t2973+t2738*t2780; t2930 = t2742*t2785; t2856 = t2787*t2930; t2679 = t2784*t2928; t3007 = t2440+t2786*t2856+t2679+t2782; t2708 = RATIONAL(135.0,8.0); t2715 = RATIONAL(-10.0,1.0); t2592 = t2715*t2991; t2726 = RATIONAL(-15.0,1.0); t3006 = t2726*t2778+t2600+t2592+t2708*t2838; t3005 = t2727*t2780+t2650+t3034; t3004 = t2666+t2713*t2871+t3052; t2361 = t2728*t2905; t2888 = t2739*t2994; t2598 = t2784*t2934; t3003 = t2787*t2598+t2361+t2739*t2780+x*t2888; t2998 = y*z; t3002 = t2936*t2998+t2717*t2778+t3075; t2408 = t2741*t2780; t3001 = t2408+t2639+t3034; t2747 = RATIONAL(2.0,1.0); t2672 = y*t2928; t2752 = RATIONAL(-6.0,1.0); t3000 = t2747*t2773+t2672+t2523+t2752*t2780+t2629; t2999 = x*y; t2995 = x*t2736; t2993 = t2783*z; t2745 = RATIONAL(1.0,8.0); t2988 = x*t2745; t2698 = t2768*x; t2705 = t2751*y; t2704 = t2751*x; t2707 = t2768*y; t2979 = z*t2764; t2978 = x*t2784; t2700 = t2757*t2783; t2777 = z*t2990; t2972 = t2746*t2955+t2679; t2970 = t2787*t2954+t2679; t2968 = t2747*t2787; t2966 = t2539+x*t2834; t2965 = -t2776-t2777; t2831 = t2785*t2928; t2543 = t2784*t2831; t2903 = z*t2702; t2964 = t2543+t2783*t2903; t2914 = t2745*t2784; t2638 = x*t2914; t2963 = t2786*t2995+t2638; t2695 = t2786*t2948; t2962 = t2695-t2773; t2546 = y*t2831; t2911 = z*t2707; t2958 = t2783*t2911+t2546; t2706 = t2749*t2784; t2942 = t2785*t2754; t2827 = t2787*t2942; t2953 = y*t2827+t2575; t2952 = t2494+t2738*t2774; t2779 = z*t2978; t2950 = -t2779-t2781; t2943 = t2785*t2741; t2940 = t2781-t2778; t2938 = t2741*t2783; t2932 = t2783*t2745; t2927 = t2784*t2736; t2578 = t2786*t2852; t2925 = t2578-t2778; t2761 = RATIONAL(9.0,1.0); t2923 = t2761*t2785; t2917 = t2691+t2787*t2914; t2916 = t2784+t2783; t2837 = t2786*t2944; t2653 = t2754*t2978; t2558 = t2785*t2653; t2915 = x*t2837+t2558; t2906 = t2760*t2783; t2640 = t2787*t2989; t2685 = t2787*t2983; t2902 = t2784*t2981; t2895 = z*t2968; t2658 = x*t2975; t2647 = y*t2957; t2892 = t2747*t2986; t2891 = t2750*t2986; t2890 = z*t2931; t2740 = RATIONAL(4.0,1.0); t2676 = t2740*t2994; t2883 = t2783*t2979; t2882 = t2784*t2979; t2621 = x*t2954; t2662 = y*t2988; t2878 = t2686+t2621+t2662; t2721 = RATIONAL(-27.0,8.0); t2855 = t2783*t2946; t2378 = t2721*t2855; t2877 = t2378+t2568+t2756*t2838; t2876 = t2786*t2921; t2875 = t2786*t2920; t2373 = RATIONAL(81.0,8.0)*t2855; t2599 = t2719*t2959; t2874 = t2373+t2709*t2838+t2599; t2637 = t2786*t2906; t2873 = t2786*t2971; t2872 = t2785*t2949; t2367 = t2721*t2889; t2870 = t2367+t2378+t2786*t2599; t2467 = t2974*t2999; t2869 = t2467+t2539+x*t2873; t2627 = t2783*t2957; t2866 = t2731*t2838+t2370+t2627; t2865 = t2787*t2909; t2864 = t2706+t2635+t2784*t2951; t2690 = y*t2995; t2681 = x*t2927; t2862 = t2690+t2681+t2786*t2704; t2860 = y*t2842+t2402+t2647; t2854 = t2787*t2923; t2850 = t2370+t3028; t2849 = t2672+t2705+y*t2956; t2550 = t2942*t2999; t2848 = t2453+x*t2876+t2550; t2847 = t2755*t2996+t2653+t2704; t2624 = y*t2932; t2846 = t2546+t2624+t2906*t2998; t2844 = t2646+t2700+t2730*t2955; t2590 = t2785*t2608; t2843 = t2787*t2659+t2590+t2587; t2374 = t2721*t2905; t2841 = t2374+t2722*t2898+x*t2971; t2840 = t2419+t3062; t2711 = RATIONAL(27.0,2.0); t2360 = RATIONAL(-81.0,8.0)*t2855; t2839 = t2361+t2711*t2868+t2360; t2836 = t2539+x*t2832+t2658; t2835 = t2550+x*t2872+t2558; t2833 = t2786*t2627+t2419+t2551; t2830 = t2763*t2959+t2378+t2722*t2838; t2664 = t2749*t2955; t2826 = t2467+t2374+x*t2875; t2825 = t2910+t2760; t2824 = t2724*t2785+t2766; t2823 = t2786*t2879; t2822 = t2957+t2768; t2732 = RATIONAL(25.0,4.0); t2821 = t2759+t2732*t2787; t2820 = t2764+t2713*t2785; t2819 = t2787*t2880; t2817 = t2759+t2732*t2786; t2816 = t2918+t2750; t2814 = t2975+t2751-z; t2501 = t2784*t2865; t2813 = t2766*t2780+t2501+t3057; t2452 = t2787*t2888; t2812 = t2786*t2829+t2452+t2378+t2765*t2778; t2462 = z*t2645; t2811 = t2784*t2827+z*t2637+t2590+t2462; t2810 = t2533-t2780+t3041; t2506 = t2909*t2999; t2396 = t2786*t2592; t2809 = t2506+t2385+y*t2913+t2370+t2786*t2854+t2396; t2808 = t2439+t2704*t2998+t2767*t2871+t2579+t2952; t2807 = t2787*t2892+t2681+t2475+t2786*t2988+t2952; t2718 = RATIONAL(-25.0,4.0); t2352 = t2718*t2774; t2806 = t2787*t2881+t2617+t2352+t2866; t2340 = RATIONAL(-20.0,1.0)*t2774; t2805 = y*t2640+t2367+t2373+t2710*t2838+t2729*t2778+t2340; t2804 = t2745*t2980+t2687+t2747*t2780+t2501+t2952; t2431 = z*t2636; t2803 = t2926*t2998+t2431+t2787*t2882+t2833; t2366 = RATIONAL(25.0,1.0)*t2774; t2802 = t2366+t2715*t2994+t2598+t2726*t2780+t2708*t2868+t2360; t2801 = t2431+t2787*t2832+t2786*t2956+t2840; t2800 = t2724*t2871+t2469+t2766*t2782+t2679+t3074; t2799 = t2787*t2902+t2452+t2766*t2775+t2877; t2723 = RATIONAL(25.0,2.0); t2392 = t2723*t2774; t2798 = t2727*t2778+t2640+t2392+t2830; t2566 = t2787*t2900; t2797 = t2566+t2452+t2685+t2830; t2796 = t2431+t2786*t2883+t2764*t2773+t2453+t2419+t2588; t2496 = t2787*t2894; t2795 = t2496-t2775+t3067+t3075; t2616 = t2783*t2914; t2794 = t2749*t2871+t2616-t2774+t2543+t2786*t2924+t2783*t2890; t2744 = RATIONAL(6.0,1.0); t2793 = t2676+y*t2929+t2744*t2780+t2707+t2396+t2604+t2850; t2753 = RATIONAL(8.0,1.0); t2515 = t2753*t2774; t2792 = y*t2895+t2515+t2690+t2651+t2653+t2752*t2778+t2877; t2791 = x*t2945+t2698+t2621+t2740*t2991+t2396+t2744*t2778+t2866; t2559 = t2787*t2676; t2790 = y*t2685+t2662+t2638+t2786*t2698+t2559+t2738*t2778+t2833; t2735 = RATIONAL(75.0,4.0); t2734 = RATIONAL(12.0,1.0); t2720 = RATIONAL(-12.0,1.0); t2712 = RATIONAL(-75.0,4.0); t2692 = t2751*t2955; t2663 = t2784*t2947; t2633 = t2786*t2932; t2626 = t2736*t2980; t2614 = t2768*t2955; t2612 = t2787*t2702; t2610 = t2754*t2961; t2609 = t2787*t2927; t2607 = t2787*t2706; t2606 = t2786*t2922; t2591 = t2783*t2891; t2589 = t2767*t2780; t2584 = t2785*t2668; t2582 = t2912*t2998; t2581 = x*t2891; t2577 = t2786*t2658; t2574 = t2785*t2664; t2573 = y*t2859; t2570 = t2933*t2998; t2563 = t2784*t2857; t2560 = t2787*t2893; t2555 = t2941*t2998; t2553 = x*t2890; t2552 = y*t2857; t2549 = t2787*t2863; t2538 = x*t2897; t2534 = x*t2903; t2530 = x*t2899; t2527 = t2756*t2781; t2522 = x*t2884; t2521 = x*t2911; t2514 = t2786*t2642; t2503 = t2701*t2997; t2489 = t2758*t2901; t2487 = t2783*t2837; t2486 = t2766*t2777; t2484 = t2783*t2882; t2481 = t2754*t2898; t2470 = t2979*t2999; t2468 = y*t2853; t2465 = y*t2885; t2464 = x*t2882; t2458 = t2761*t2781; t2454 = y*t2883; t2449 = t2743*t2898; t2448 = t2757*t2777; t2444 = t2787*t2647; t2442 = t2938*t2998; t2436 = y*t2851; t2432 = t2767*t2777; t2430 = y*t2865; t2426 = y*t2886; t2422 = x*t2828; t2418 = t2706*t2997; t2417 = x*t2900; t2416 = t2763*t2781; t2415 = x*t2894; t2414 = y*t2852; t2411 = x*t2887; t2401 = y*t2896; t2379 = x*t2881; t2375 = t2787*t2597; t2358 = x*t2902; t2354 = t2721*t2868; t2350 = t2711*t2838; t2347 = t2724*t2777; t2338 = t2721*t2838; t2337 = t2716*t2781; coeffs_dz->coeff_m1_m1_m1 = t2962-t2775+t2591+t2581+t2692+t2786*t2895+ t2862+t2582-t2780+t2843+t2925+t2574+t2577+t3039+t3044+t3051+t3056; coeffs_dz->coeff_0_m1_m1 = t2800+t2570+t2671+(t2747*t2786-t2992)*z+t2825* t2786+t2589+t2849+t3011+t3036+t3060+t3078; coeffs_dz->coeff_p1_m1_m1 = t2773+t2552+t2553+t2790+t2563+t2408+t2667+ t2555+t2664+t2835+t3020+t3059+t3062; coeffs_dz->coeff_p2_m1_m1 = t2626+t2780+t2794+t2614+t2609+t2549+t2560+ t2846+t3026; coeffs_dz->coeff_m1_0_m1 = t2538+t2800+(t2968-t2984)*z+t2496+t2663+t2825* t2787+t2836+t2847+t3016+t3031+t3038; coeffs_dz->coeff_0_0_m1 = t2798+t2824*t2787+(t2747+t2916*t2767)*z+(( RATIONAL(-25.0,8.0)+RATIONAL(-75.0,8.0)*t2785)*t2787+t2824)*t2786+t2527+t2825+ t2844+t3005+t3047; coeffs_dz->coeff_p1_0_m1 = t2530-t2787+t2787*t2943+t2791+(t2938+x)*z+ t3009+t3023+t3058+t3066+t3072; coeffs_dz->coeff_p2_0_m1 = t2993+t2610+t2814*t2787+t2801+t3021+t3033+ t3077; coeffs_dz->coeff_m1_p1_m1 = t2566+t2530+t2775+t2840+t2848+t2559+t2573+ t2846+t2878+t2694+t2607+t2584+t3008+t3020; coeffs_dz->coeff_0_p1_m1 = -t2786+t2786*t2943+t2678+t2555+(y+t2919)*z+ t2793+t2864+t3002+t3023+t3046; coeffs_dz->coeff_p1_p1_m1 = t2414+(t2738+t2752*t2785)*t2782+t2538+t2670+ t2570+t2527+t2792+t3000+t3039+t3042+t3055; coeffs_dz->coeff_p2_p1_m1 = t2582+t2637+t2804+t2953+t2970+t3017+t3019; coeffs_dz->coeff_m1_p2_m1 = t2606+t2778+t2553+t2612+t2794+t2487+t2915+ t2963+t3015; coeffs_dz->coeff_0_p2_m1 = t2660+t2986+t2814*t2786+t2801+t3025+t3045+ t3049; coeffs_dz->coeff_p1_p2_m1 = t2581+t2481+t2807+t2649+t2972+t3010+t3019; coeffs_dz->coeff_p2_p2_m1 = t2591+t2633+(t2736+t2944)*t2782+t2811+t2917+ t3064; coeffs_dz->coeff_m1_m1_0 = t2470+t2454+t2484+t2468+t2463+t2464+t2869+ t3011+t3016+t3074; coeffs_dz->coeff_0_m1_0 = t2347+t2392+t2875+(t2772+t2718*t2787)*t2880+ t2870+t3005+t3061+t3069; coeffs_dz->coeff_p1_m1_0 = t2401+t2809+t2514+t2522+t3009+t3018+t3048; coeffs_dz->coeff_p2_m1_0 = t2486+t2489+t2803+t3037+t3077; coeffs_dz->coeff_m1_0_0 = t2379+t2375+t2851+(t2772+t2718*t2786)*t2879+ t2798+t2841+t3061; coeffs_dz->coeff_0_0_0 = t2337+(t2756+t2716*t2787+(t2716+RATIONAL(225.0, 8.0)*t2787)*t2786)*t2785+(t2765+t2916*t2727+(t2723+t2735*t2784)*t2787+(t2735* t2783+RATIONAL(-125.0,4.0)*t2787+t2723)*t2786)*z+t2874+t3070; coeffs_dz->coeff_p1_0_0 = t2366+t2854+t2358+((t2717+t2712*t2786)*t2783+ t2817*x)*z+t2839+t3006+t3029+t3063; coeffs_dz->coeff_p2_0_0 = t2354+t2853+t2817*t2993+t2806+t3035; coeffs_dz->coeff_m1_p1_0 = t2486+t2449+t2358+t2809+t2444+t3002+t3003; coeffs_dz->coeff_0_p1_0 = t2350+t2786*t2923+t2401+((t2717+t2712*t2787)* t2784+t2821*y)*z+t2802+t2860+t3063; coeffs_dz->coeff_p1_p1_0 = t2470+t2337+t2805+RATIONAL(18.0,1.0)*t2871+ t2436+t2379+t2347+t2826+t3024; coeffs_dz->coeff_p2_p1_0 = t2454+t2430+t2799+t3040+t3043; coeffs_dz->coeff_m1_p2_0 = t2522+t2422+t2796+t3037+t3045; coeffs_dz->coeff_0_p2_0 = t2352+t2338+t2873+t2821*t2986+t2850+t3032+t3035 ; coeffs_dz->coeff_p1_p2_0 = t2464+t2812+t2966+t3013+t3040; coeffs_dz->coeff_p2_p2_0 = t2484+t2787*t2828+t2813+t3053; coeffs_dz->coeff_m1_m1_p1 = t2616+t2645+t2506+t2444+t2453+t2612+t2790+ t2514+t2433+t2624+t2614-t2950-t2965+t3008; coeffs_dz->coeff_0_m1_p1 = t2738*t2880+t2442+t2664+t2816*t2786+t2793+ t2860+t3004+t3018+t3049; coeffs_dz->coeff_p1_m1_p1 = t2432+t2737*t2819+t2515+t2869+t2671-t2779+ t2436+t2862-t2776+t2870+t2649+t3000+t3007; coeffs_dz->coeff_p2_m1_p1 = -t2777+t2692+t2430+t2804+t2917-t2940+t3022+ t3068; coeffs_dz->coeff_m1_0_p1 = t2738*t2879+t2417+t2791+t2607+t2816*t2787+ t3003+t3004+t3029+t3033; coeffs_dz->coeff_0_0_p1 = t2458+t2820*t2787+t2802+(t2740+t2916*t2744)*z+( (RATIONAL(-225.0,8.0)*t2785+RATIONAL(25.0,8.0))*t2787+t2820)*t2786+t2816+t2864+ t3006+t3072; coeffs_dz->coeff_p1_0_p1 = (t2747*x+t2752*t2783+(t2753+t2734*t2784)*t2787 )*z+t2670+t2787+t2844+t2856+t2841+t2340+t2415+t2847+t2874+t3024+t3027; coeffs_dz->coeff_p2_0_p1 = t2747*t2993+t2822*t2787+t2797+t2970+t3012+ t3031+t3043; coeffs_dz->coeff_m1_p1_p1 = t2468+t2375+t2663+t2737*t2823+t2637+t2792+ t2415+t2826+t2965+t3007+t3056; coeffs_dz->coeff_0_p1_p1 = t2432+(t2747*y+t2752*t2784+(t2734*t2783+t2753) *t2786)*z+t2786+t2786*t2930+t2805+t2849+t3027+t3047+t3055+t3069+t3070; coeffs_dz->coeff_p1_p1_p1 = t2449+t2350+t2458+t2506+t2417+t2839+t2678+ t2776+t2442+(t2747+RATIONAL(-18.0,1.0)*t2785)*t2782+((t2740*y+t2720*t2784)* t2787+(RATIONAL(16.0,1.0)*t2787+t2720*t2783+t2740*x)*t2786)*z+t2878+t3048+t3059 +t3066; coeffs_dz->coeff_p2_p1_p1 = t2626+t2777+t2783*t2676+t2610+t2489+t2354+ t2694+t2624+t2795+t2695+t3014; coeffs_dz->coeff_m1_p2_p1 = t2633+t2807+t2950+t2966+t3044+t3068+t3076; coeffs_dz->coeff_0_p2_p1 = t2892+t2822*t2786+t2812+t2972+t3001+t3012+ t3078; coeffs_dz->coeff_p1_p2_p1 = t2422+t2667+t2740*t2778+t2338+t2779+t2589+ t2660+t2962+t2963+t3014+t3067+t3071; coeffs_dz->coeff_p2_p2_p1 = t2490+t2606+t2616+t2609+(t2909+t2745)*t2782+ t2810+t2940; coeffs_dz->coeff_m1_m1_p2 = t2507+t2534+t2521+t2573-t2774+t2835+t2958+ t2964+t3015+t3026; coeffs_dz->coeff_0_m1_p2 = t2876+t2465+(-t2786+t2992*t2750)*z+t2803+t3025 +t3046+t3065; coeffs_dz->coeff_p1_m1_p2 = t2414+t2503+t2808+t2778+t2448+t2577+t3010+ t3022; coeffs_dz->coeff_p2_m1_p2 = t2426+t2574+t2768*t2819+t2811+t2953+t3050; coeffs_dz->coeff_m1_0_p2 = t2857+t2418+(-t2787+t2984*t2750)*z+t2796+t3021 +t3058+t3065; coeffs_dz->coeff_0_0_p2 = t2416+(-1.0+t2916*t2748)*z+(t2762+t2733*t2787+( t2733+RATIONAL(75.0,8.0)*t2787)*t2786)*t2785+t2806+t3028+t3032; coeffs_dz->coeff_p1_0_p2 = t2767*t2960+t2411+(t2941+t2987)*z+t2797+t2836+ t3013+t3030; coeffs_dz->coeff_p2_0_p2 = t2859+(t2906+(t2750+t2706)*t2787)*z+t2813+ t3038+t3054; coeffs_dz->coeff_m1_p1_p2 = t2808+t2426+t2411+t3017+t3042+t3051+t3076; coeffs_dz->coeff_0_p1_p2 = t2448+t2767*t2977+(t2985+t2939)*z+t2799+t3001+ t3030+t3036; coeffs_dz->coeff_p1_p1_p2 = -t2773+t2521+t2552+t2418+t2744*t2871+t2416+ t2795+t2465+t2589+t2529+t2848; coeffs_dz->coeff_p2_p1_p2 = t2578+t2560+t2459+t2584+(t2699+t2705)*t2991+ t2810+t2958; coeffs_dz->coeff_m1_p2_p2 = t2462+t2481+t2503+t2768*t2823+t2843+t3050+ t3064; coeffs_dz->coeff_0_p2_p2 = t2872+(t2931+(t2750+t2697)*t2786)*z+t3053+ t3054+t3057+t3060; coeffs_dz->coeff_p1_p2_p2 = t2459+t2534+t2563+t2490+(t2700+t2704)*t2994+ t2915+t2925+t3041; coeffs_dz->coeff_p2_p2_p2 = t2549+t2786*t2827+t2487+(t2693+(t2703+t2973)* t2786)*z+t2964;