#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <gc/gc_typed.h>
#include <unistd.h>
#define INLINE inline __attribute__ ((always_inline))
#define NORETURN __attribute__ ((noreturn))
GC_API __attribute__ ((malloc)) GC_PTR GC_malloc_explicitly_typed GC_PROTO((size_t size_in_bytes, GC_descr d));
static INLINE NORETURN void panic(char *x);
static INLINE double read_real(void);
static INLINE double write_real(double x);
static void f211(double a_f211_2189,double a_f211_2190,double a_f211_2191,double a_f211_2192,double a_f211_2193,double a_f211_2194,double a_f211_2195,double a_f211_2196,double a_f211_2197);
static double r_f211_2387;
static double r_f211_2388;
static void f212(double a_f212_2200,double a_f212_2201,double a_f212_2202,double a_f212_2203,double a_f212_2204,double a_f212_2205,double a_f212_2206,double a_f212_2207,double a_f212_2208);
static double r_f212_2947;
static double r_f212_2948;
static void f213(double a_f213_4377,double a_f213_4378,double a_f213_4381,double a_f213_4382,double a_f213_4383,double a_f213_4384,double a_f213_4385,double a_f213_4386,double a_f213_4387);
static double r_f213_3060;
static double r_f213_3061;
static void f230(double a_f230_2220,double a_f230_2221,double a_f230_2222,double a_f230_2223,double a_f230_2224);
static double r_f230_3663;
static double r_f230_3664;
static double r_f230_3665;
static double r_f230_3666;
static void f280(double a_f280_4397,double a_f280_4398,double a_f280_4399,double a_f280_4400,double a_f280_4401,double a_f280_4402,double a_f280_4403,double a_f280_4404,double a_f280_4405,double a_f280_4406,double a_f280_4407,double a_f280_4408,double a_f280_4409,double a_f280_4410,double a_f280_4411,double a_f280_4412,double a_f280_4413,double a_f280_4414);
static double r_f280_4005;
static double r_f280_4006;
static double r_f280_4007;
static double r_f280_4008;
static void f286(double a_f286_2251,double a_f286_2252,double a_f286_2253,double a_f286_2254,double a_f286_2255,double a_f286_2256,double a_f286_2257,double a_f286_2258,double a_f286_2259,double a_f286_2260,double a_f286_2261,double a_f286_2262,double a_f286_2263,double a_f286_2264,double a_f286_2265,double a_f286_2266);
static double r_f286_4351;
static double r_f286_4352;
static double r_f286_4353;
static double r_f286_4354;
int main(void);
static INLINE NORETURN void panic(char *x){
fputs(x,stderr);
fputc('\n',stderr);
exit(EXIT_FAILURE);
}
static INLINE double read_real(void){
return ({
double x;
scanf("%lf",&x);
x;
});
}
static INLINE double write_real(double x){
return ({
printf("%.18lg\n",x);
x;
});
}
static void f211(double a_f211_2189,double a_f211_2190,double a_f211_2191,double a_f211_2192,double a_f211_2193,double a_f211_2194,double a_f211_2195,double a_f211_2196,double a_f211_2197){
double t288630;
double t288631;
double t1785=(a_f211_2194*a_f211_2194);
double t1801=(a_f211_2195*a_f211_2195);
double t1878=(t1801+0.);
double t1883=(t1785+t1878);
double t1884=sqrt(t1883);
int t1890=((t1884<=1e-05)?0:1);
if((t1890==0)){
t288630=a_f211_2191;
t288631=a_f211_2192;
}
 else {
int t2009=((a_f211_2197==10.)?0:1);
if((t2009==0)){
double t2164=(2.*a_f211_2196);
double t288634;
double t288635;
double t288636;
double t288637;
double t288638;
double t288639;
double t288640;
double t288641;
double t288642;
t288634=a_f211_2189;
t288635=a_f211_2190;
t288636=a_f211_2191;
t288637=a_f211_2192;
t288638=a_f211_2193;
t288639=a_f211_2194;
t288640=a_f211_2195;
t288641=t2164;
t288642=0.;
f211(t288634,t288635,t288636,t288637,t288638,t288639,t288640,t288641,t288642);
double t2185=r_f211_2387;
double t2184=r_f211_2388;
t288630=t2185;
t288631=t2184;
}
 else {
double t2265=(a_f211_2196*a_f211_2194);
double t2291=(a_f211_2196*a_f211_2195);
double t2346=(a_f211_2191-t2265);
double t2377=(a_f211_2192-t2291);
double t2449=(t2346-a_f211_2191);
double t2480=(t2377-a_f211_2192);
double t2508=(t2449*t2449);
double t2524=(t2480*t2480);
double t2601=(t2524+0.);
double t2606=(t2508+t2601);
double t2607=sqrt(t2606);
int t2613=((t2607<=1e-05)?0:1);
if((t2613==0)){
t288630=a_f211_2191;
t288631=a_f211_2192;
}
 else {
double t2793=(a_f211_2189*a_f211_2189);
double t2798=(a_f211_2190*a_f211_2190);
double t2803=(t2793+t2798);
double t2808=(t2346*t2346);
double t2813=(t2377*t2377);
double t2818=(t2808+t2813);
double t2823=(t2803-t2818);
double t2828=(0.-t2823);
int t2834=((t2828<a_f211_2193)?0:1);
if((t2834==0)){
double t3674=(a_f211_2189*a_f211_2189);
double t3678=(a_f211_2189*0.);
double t3682=(a_f211_2189*0.);
double t3687=(t3678+t3682);
double t3719=(a_f211_2190*a_f211_2190);
double t3723=(a_f211_2190*0.);
double t3727=(a_f211_2190*0.);
double t3732=(t3723+t3727);
double t3790=(t3674+t3719);
double t3795=(t3687+t3732);
double t3853=(t2346*t2346);
double t3858=(t2346*1.);
double t3863=(t2346*1.);
double t3868=(t3858+t3863);
double t3926=(t2377*t2377);
double t3931=(t2377*0.);
double t3936=(t2377*0.);
double t3941=(t3931+t3936);
double t3999=(t3853+t3926);
double t4004=(t3868+t3941);
double t4062=(t3790-t3999);
double t4067=(t3795-t4004);
double t4125=(0.-t4062);
double t4130=(0.-t4067);
double t4835=(a_f211_2189*a_f211_2189);
double t4839=(a_f211_2189*0.);
double t4843=(a_f211_2189*0.);
double t4848=(t4839+t4843);
double t4880=(a_f211_2190*a_f211_2190);
double t4884=(a_f211_2190*0.);
double t4888=(a_f211_2190*0.);
double t4893=(t4884+t4888);
double t4951=(t4835+t4880);
double t4956=(t4848+t4893);
double t5014=(t2346*t2346);
double t5019=(t2346*0.);
double t5024=(t2346*0.);
double t5029=(t5019+t5024);
double t5087=(t2377*t2377);
double t5092=(t2377*1.);
double t5097=(t2377*1.);
double t5102=(t5092+t5097);
double t5160=(t5014+t5087);
double t5165=(t5029+t5102);
double t5223=(t4951-t5160);
double t5228=(t4956-t5165);
double t5286=(0.-t5223);
double t5291=(0.-t5228);
double t5313=(a_f211_2197+1.);
double t288645;
double t288646;
double t288647;
double t288648;
double t288649;
double t288650;
double t288651;
double t288652;
double t288653;
t288645=a_f211_2189;
t288646=a_f211_2190;
t288647=t2346;
t288648=t2377;
t288649=t2828;
t288650=t4130;
t288651=t5291;
t288652=a_f211_2196;
t288653=t5313;
f211(t288645,t288646,t288647,t288648,t288649,t288650,t288651,t288652,t288653);
double t5333=r_f211_2387;
double t5332=r_f211_2388;
t288630=t5333;
t288631=t5332;
}
 else {
double t5380=(a_f211_2196/2.);
double t288656;
double t288657;
double t288658;
double t288659;
double t288660;
double t288661;
double t288662;
double t288663;
double t288664;
t288656=a_f211_2189;
t288657=a_f211_2190;
t288658=a_f211_2191;
t288659=a_f211_2192;
t288660=a_f211_2193;
t288661=a_f211_2194;
t288662=a_f211_2195;
t288663=t5380;
t288664=0.;
f211(t288656,t288657,t288658,t288659,t288660,t288661,t288662,t288663,t288664);
double t5401=r_f211_2387;
double t5400=r_f211_2388;
t288630=t5401;
t288631=t5400;
}
}
}
}
r_f211_2387=t288630;
r_f211_2388=t288631;
}
static void f212(double a_f212_2200,double a_f212_2201,double a_f212_2202,double a_f212_2203,double a_f212_2204,double a_f212_2205,double a_f212_2206,double a_f212_2207,double a_f212_2208){
double t288665;
double t288666;
double t27504=(a_f212_2205*a_f212_2205);
double t27520=(a_f212_2206*a_f212_2206);
double t27597=(t27520+0.);
double t27602=(t27504+t27597);
double t27603=sqrt(t27602);
int t27609=((t27603<=1e-05)?0:1);
if((t27609==0)){
t288665=a_f212_2202;
t288666=a_f212_2203;
}
 else {
int t27728=((a_f212_2208==10.)?0:1);
if((t27728==0)){
double t27883=(2.*a_f212_2207);
double t288669;
double t288670;
double t288671;
double t288672;
double t288673;
double t288674;
double t288675;
double t288676;
double t288677;
t288669=a_f212_2200;
t288670=a_f212_2201;
t288671=a_f212_2202;
t288672=a_f212_2203;
t288673=a_f212_2204;
t288674=a_f212_2205;
t288675=a_f212_2206;
t288676=t27883;
t288677=0.;
f212(t288669,t288670,t288671,t288672,t288673,t288674,t288675,t288676,t288677);
double t27904=r_f212_2947;
double t27903=r_f212_2948;
t288665=t27904;
t288666=t27903;
}
 else {
double t27984=(a_f212_2207*a_f212_2205);
double t28010=(a_f212_2207*a_f212_2206);
double t28065=(a_f212_2202-t27984);
double t28096=(a_f212_2203-t28010);
double t28168=(t28065-a_f212_2202);
double t28199=(t28096-a_f212_2203);
double t28227=(t28168*t28168);
double t28243=(t28199*t28199);
double t28320=(t28243+0.);
double t28325=(t28227+t28320);
double t28326=sqrt(t28325);
int t28332=((t28326<=1e-05)?0:1);
if((t28332==0)){
t288665=a_f212_2202;
t288666=a_f212_2203;
}
 else {
double t28563=(t28065*t28065);
double t28568=(t28096*t28096);
double t28573=(t28563+t28568);
double t28578=(a_f212_2200*a_f212_2200);
double t28583=(a_f212_2201*a_f212_2201);
double t28588=(t28578+t28583);
double t28593=(t28573-t28588);
double t28598=(0.-t28593);
double t29310=(t28065*t28065);
double t29314=(t28065*0.);
double t29318=(t28065*0.);
double t29323=(t29314+t29318);
double t29355=(t28096*t28096);
double t29359=(t28096*0.);
double t29363=(t28096*0.);
double t29368=(t29359+t29363);
double t29426=(t29310+t29355);
double t29431=(t29323+t29368);
double t29489=(a_f212_2200*a_f212_2200);
double t29494=(a_f212_2200*1.);
double t29499=(a_f212_2200*1.);
double t29504=(t29494+t29499);
double t29562=(a_f212_2201*a_f212_2201);
double t29567=(a_f212_2201*0.);
double t29572=(a_f212_2201*0.);
double t29577=(t29567+t29572);
double t29635=(t29489+t29562);
double t29640=(t29504+t29577);
double t29698=(t29426-t29635);
double t29703=(t29431-t29640);
double t29761=(0.-t29698);
double t29766=(0.-t29703);
double t30471=(t28065*t28065);
double t30475=(t28065*0.);
double t30479=(t28065*0.);
double t30484=(t30475+t30479);
double t30516=(t28096*t28096);
double t30520=(t28096*0.);
double t30524=(t28096*0.);
double t30529=(t30520+t30524);
double t30587=(t30471+t30516);
double t30592=(t30484+t30529);
double t30650=(a_f212_2200*a_f212_2200);
double t30655=(a_f212_2200*0.);
double t30660=(a_f212_2200*0.);
double t30665=(t30655+t30660);
double t30723=(a_f212_2201*a_f212_2201);
double t30728=(a_f212_2201*1.);
double t30733=(a_f212_2201*1.);
double t30738=(t30728+t30733);
double t30796=(t30650+t30723);
double t30801=(t30665+t30738);
double t30859=(t30587-t30796);
double t30864=(t30592-t30801);
double t30922=(0.-t30859);
double t30927=(0.-t30864);
double t288680;
double t288681;
double t288682;
double t288683;
double t288684;
double t288685;
double t288686;
double t288687;
double t288688;
t288680=t28065;
t288681=t28096;
t288682=a_f212_2200;
t288683=a_f212_2201;
t288684=t28598;
t288685=t29766;
t288686=t30927;
t288687=1e-05;
t288688=0.;
f211(t288680,t288681,t288682,t288683,t288684,t288685,t288686,t288687,t288688);
double t30965=r_f211_2387;
double t30964=r_f211_2388;
double t31001=(t28065*t28065);
double t31006=(t28096*t28096);
double t31011=(t31001+t31006);
double t31016=(t30965*t30965);
double t31021=(t30964*t30964);
double t31026=(t31016+t31021);
double t31031=(t31011-t31026);
int t31037=((t31031<a_f212_2204)?0:1);
if((t31037==0)){
double t32055=(t28065*t28065);
double t32060=(t28065*1.);
double t32065=(t28065*1.);
double t32070=(t32060+t32065);
double t32128=(t28096*t28096);
double t32133=(t28096*0.);
double t32138=(t28096*0.);
double t32143=(t32133+t32138);
double t32201=(t32055+t32128);
double t32206=(t32070+t32143);
double t32238=(a_f212_2200*a_f212_2200);
double t32242=(a_f212_2200*0.);
double t32246=(a_f212_2200*0.);
double t32251=(t32242+t32246);
double t32283=(a_f212_2201*a_f212_2201);
double t32287=(a_f212_2201*0.);
double t32291=(a_f212_2201*0.);
double t32296=(t32287+t32291);
double t32354=(t32238+t32283);
double t32359=(t32251+t32296);
double t32417=(t32201-t32354);
double t32422=(t32206-t32359);
double t32480=(0.-t32417);
double t32485=(0.-t32422);
double t37260=(t28065*t28065);
double t37265=(t28065*1.);
double t37270=(t28065*1.);
double t37275=(t37265+t37270);
double t37307=(t28065*0.);
double t37311=(0.*1.);
double t37315=(t28065*0.);
double t37320=(t37311+t37315);
double t37352=(t28065*0.);
double t37356=(0.*1.);
double t37360=(t28065*0.);
double t37365=(t37356+t37360);
double t37423=(t37307+t37352);
double t37428=(t37320+t37365);
double t37800=(t28096*t28096);
double t37805=(t28096*0.);
double t37810=(t28096*0.);
double t37815=(t37805+t37810);
double t37847=(t28096*0.);
double t37851=(0.*0.);
double t37855=(t28096*0.);
double t37860=(t37851+t37855);
double t37892=(t28096*0.);
double t37896=(0.*0.);
double t37900=(t28096*0.);
double t37905=(t37896+t37900);
double t37963=(t37847+t37892);
double t37968=(t37860+t37905);
double t38690=(t37260+t37800);
double t38695=(t37275+t37815);
double t38753=(t37423+t37963);
double t38758=(t37428+t37968);
double t39254=(a_f212_2200*a_f212_2200);
double t39258=(a_f212_2200*0.);
double t39262=(a_f212_2200*0.);
double t39267=(t39258+t39262);
double t39311=(a_f212_2200*1.);
double t39315=(1.*0.);
double t39320=(a_f212_2200*0.);
double t39325=(t39315+t39320);
double t39369=(a_f212_2200*1.);
double t39373=(1.*0.);
double t39378=(a_f212_2200*0.);
double t39383=(t39373+t39378);
double t39441=(t39311+t39369);
double t39446=(t39325+t39383);
double t39942=(a_f212_2201*a_f212_2201);
double t39946=(a_f212_2201*0.);
double t39950=(a_f212_2201*0.);
double t39955=(t39946+t39950);
double t39999=(a_f212_2201*0.);
double t40003=(0.*0.);
double t40008=(a_f212_2201*0.);
double t40013=(t40003+t40008);
double t40057=(a_f212_2201*0.);
double t40061=(0.*0.);
double t40066=(a_f212_2201*0.);
double t40071=(t40061+t40066);
double t40129=(t39999+t40057);
double t40134=(t40013+t40071);
double t40856=(t39254+t39942);
double t40861=(t39267+t39955);
double t40919=(t39441+t40129);
double t40924=(t39446+t40134);
double t41646=(t38690-t40856);
double t41651=(t38695-t40861);
double t41709=(t38753-t40919);
double t41714=(t38758-t40924);
double t42436=(0.-t41646);
double t42441=(0.-t41651);
double t42499=(0.-t41709);
double t42504=(0.-t41714);
double t47386=(t28065*t28065);
double t47391=(t28065*1.);
double t47396=(t28065*1.);
double t47401=(t47391+t47396);
double t47433=(t28065*0.);
double t47437=(0.*1.);
double t47441=(t28065*0.);
double t47446=(t47437+t47441);
double t47478=(t28065*0.);
double t47482=(0.*1.);
double t47486=(t28065*0.);
double t47491=(t47482+t47486);
double t47549=(t47433+t47478);
double t47554=(t47446+t47491);
double t47926=(t28096*t28096);
double t47931=(t28096*0.);
double t47936=(t28096*0.);
double t47941=(t47931+t47936);
double t47973=(t28096*0.);
double t47977=(0.*0.);
double t47981=(t28096*0.);
double t47986=(t47977+t47981);
double t48018=(t28096*0.);
double t48022=(0.*0.);
double t48026=(t28096*0.);
double t48031=(t48022+t48026);
double t48089=(t47973+t48018);
double t48094=(t47986+t48031);
double t48816=(t47386+t47926);
double t48821=(t47401+t47941);
double t48879=(t47549+t48089);
double t48884=(t47554+t48094);
double t49380=(a_f212_2200*a_f212_2200);
double t49384=(a_f212_2200*0.);
double t49388=(a_f212_2200*0.);
double t49393=(t49384+t49388);
double t49437=(a_f212_2200*0.);
double t49441=(0.*0.);
double t49446=(a_f212_2200*0.);
double t49451=(t49441+t49446);
double t49495=(a_f212_2200*0.);
double t49499=(0.*0.);
double t49504=(a_f212_2200*0.);
double t49509=(t49499+t49504);
double t49567=(t49437+t49495);
double t49572=(t49451+t49509);
double t50068=(a_f212_2201*a_f212_2201);
double t50072=(a_f212_2201*0.);
double t50076=(a_f212_2201*0.);
double t50081=(t50072+t50076);
double t50125=(a_f212_2201*1.);
double t50129=(1.*0.);
double t50134=(a_f212_2201*0.);
double t50139=(t50129+t50134);
double t50183=(a_f212_2201*1.);
double t50187=(1.*0.);
double t50192=(a_f212_2201*0.);
double t50197=(t50187+t50192);
double t50255=(t50125+t50183);
double t50260=(t50139+t50197);
double t50982=(t49380+t50068);
double t50987=(t49393+t50081);
double t51045=(t49567+t50255);
double t51050=(t49572+t50260);
double t51772=(t48816-t50982);
double t51777=(t48821-t50987);
double t51835=(t48879-t51045);
double t51840=(t48884-t51050);
double t52562=(0.-t51772);
double t52567=(0.-t51777);
double t52625=(0.-t51835);
double t52630=(0.-t51840);
double t288693;
double t288694;
double t288695;
double t288696;
double t288697;
double t288698;
double t288699;
double t288700;
double t288701;
double t288702;
double t288703;
double t288704;
double t288705;
double t288706;
double t288707;
double t288708;
t288693=t28065;
t288694=1.;
t288695=t28096;
t288696=0.;
t288697=a_f212_2200;
t288698=a_f212_2201;
t288699=t32480;
t288700=t42499;
t288701=t52625;
t288702=1e-05;
t288703=0.;
t288704=t32485;
t288705=t42504;
t288706=t52630;
t288707=0.;
t288708=0.;
f286(t288693,t288694,t288695,t288696,t288697,t288698,t288699,t288700,t288701,t288702,t288703,t288704,t288705,t288706,t288707,t288708);
double t53034=r_f286_4351;
double t53033=r_f286_4352;
double t53032=r_f286_4353;
double t53031=r_f286_4354;
double t53821=(t28065*t28065);
double t53826=(t28065*1.);
double t53831=(t28065*1.);
double t53836=(t53826+t53831);
double t53894=(t28096*t28096);
double t53899=(t28096*0.);
double t53904=(t28096*0.);
double t53909=(t53899+t53904);
double t53967=(t53821+t53894);
double t53972=(t53836+t53909);
double t54030=(t53034*t53034);
double t54035=(t53034*t53032);
double t54040=(t53034*t53032);
double t54045=(t54035+t54040);
double t54103=(t53033*t53033);
double t54108=(t53033*t53031);
double t54113=(t53033*t53031);
double t54118=(t54108+t54113);
double t54176=(t54030+t54103);
double t54181=(t54045+t54118);
double t54239=(t53967-t54176);
double t54244=(t53972-t54181);
double t55127=(t28065*t28065);
double t55132=(t28065*0.);
double t55137=(t28065*0.);
double t55142=(t55132+t55137);
double t55200=(t28096*t28096);
double t55205=(t28096*1.);
double t55210=(t28096*1.);
double t55215=(t55205+t55210);
double t55273=(t55127+t55200);
double t55278=(t55142+t55215);
double t55310=(a_f212_2200*a_f212_2200);
double t55314=(a_f212_2200*0.);
double t55318=(a_f212_2200*0.);
double t55323=(t55314+t55318);
double t55355=(a_f212_2201*a_f212_2201);
double t55359=(a_f212_2201*0.);
double t55363=(a_f212_2201*0.);
double t55368=(t55359+t55363);
double t55426=(t55310+t55355);
double t55431=(t55323+t55368);
double t55489=(t55273-t55426);
double t55494=(t55278-t55431);
double t55552=(0.-t55489);
double t55557=(0.-t55494);
double t60332=(t28065*t28065);
double t60337=(t28065*0.);
double t60342=(t28065*0.);
double t60347=(t60337+t60342);
double t60379=(t28065*0.);
double t60383=(0.*0.);
double t60387=(t28065*0.);
double t60392=(t60383+t60387);
double t60424=(t28065*0.);
double t60428=(0.*0.);
double t60432=(t28065*0.);
double t60437=(t60428+t60432);
double t60495=(t60379+t60424);
double t60500=(t60392+t60437);
double t60872=(t28096*t28096);
double t60877=(t28096*1.);
double t60882=(t28096*1.);
double t60887=(t60877+t60882);
double t60919=(t28096*0.);
double t60923=(0.*1.);
double t60927=(t28096*0.);
double t60932=(t60923+t60927);
double t60964=(t28096*0.);
double t60968=(0.*1.);
double t60972=(t28096*0.);
double t60977=(t60968+t60972);
double t61035=(t60919+t60964);
double t61040=(t60932+t60977);
double t61762=(t60332+t60872);
double t61767=(t60347+t60887);
double t61825=(t60495+t61035);
double t61830=(t60500+t61040);
double t62326=(a_f212_2200*a_f212_2200);
double t62330=(a_f212_2200*0.);
double t62334=(a_f212_2200*0.);
double t62339=(t62330+t62334);
double t62383=(a_f212_2200*1.);
double t62387=(1.*0.);
double t62392=(a_f212_2200*0.);
double t62397=(t62387+t62392);
double t62441=(a_f212_2200*1.);
double t62445=(1.*0.);
double t62450=(a_f212_2200*0.);
double t62455=(t62445+t62450);
double t62513=(t62383+t62441);
double t62518=(t62397+t62455);
double t63014=(a_f212_2201*a_f212_2201);
double t63018=(a_f212_2201*0.);
double t63022=(a_f212_2201*0.);
double t63027=(t63018+t63022);
double t63071=(a_f212_2201*0.);
double t63075=(0.*0.);
double t63080=(a_f212_2201*0.);
double t63085=(t63075+t63080);
double t63129=(a_f212_2201*0.);
double t63133=(0.*0.);
double t63138=(a_f212_2201*0.);
double t63143=(t63133+t63138);
double t63201=(t63071+t63129);
double t63206=(t63085+t63143);
double t63928=(t62326+t63014);
double t63933=(t62339+t63027);
double t63991=(t62513+t63201);
double t63996=(t62518+t63206);
double t64718=(t61762-t63928);
double t64723=(t61767-t63933);
double t64781=(t61825-t63991);
double t64786=(t61830-t63996);
double t65508=(0.-t64718);
double t65513=(0.-t64723);
double t65571=(0.-t64781);
double t65576=(0.-t64786);
double t70458=(t28065*t28065);
double t70463=(t28065*0.);
double t70468=(t28065*0.);
double t70473=(t70463+t70468);
double t70505=(t28065*0.);
double t70509=(0.*0.);
double t70513=(t28065*0.);
double t70518=(t70509+t70513);
double t70550=(t28065*0.);
double t70554=(0.*0.);
double t70558=(t28065*0.);
double t70563=(t70554+t70558);
double t70621=(t70505+t70550);
double t70626=(t70518+t70563);
double t70998=(t28096*t28096);
double t71003=(t28096*1.);
double t71008=(t28096*1.);
double t71013=(t71003+t71008);
double t71045=(t28096*0.);
double t71049=(0.*1.);
double t71053=(t28096*0.);
double t71058=(t71049+t71053);
double t71090=(t28096*0.);
double t71094=(0.*1.);
double t71098=(t28096*0.);
double t71103=(t71094+t71098);
double t71161=(t71045+t71090);
double t71166=(t71058+t71103);
double t71888=(t70458+t70998);
double t71893=(t70473+t71013);
double t71951=(t70621+t71161);
double t71956=(t70626+t71166);
double t72452=(a_f212_2200*a_f212_2200);
double t72456=(a_f212_2200*0.);
double t72460=(a_f212_2200*0.);
double t72465=(t72456+t72460);
double t72509=(a_f212_2200*0.);
double t72513=(0.*0.);
double t72518=(a_f212_2200*0.);
double t72523=(t72513+t72518);
double t72567=(a_f212_2200*0.);
double t72571=(0.*0.);
double t72576=(a_f212_2200*0.);
double t72581=(t72571+t72576);
double t72639=(t72509+t72567);
double t72644=(t72523+t72581);
double t73140=(a_f212_2201*a_f212_2201);
double t73144=(a_f212_2201*0.);
double t73148=(a_f212_2201*0.);
double t73153=(t73144+t73148);
double t73197=(a_f212_2201*1.);
double t73201=(1.*0.);
double t73206=(a_f212_2201*0.);
double t73211=(t73201+t73206);
double t73255=(a_f212_2201*1.);
double t73259=(1.*0.);
double t73264=(a_f212_2201*0.);
double t73269=(t73259+t73264);
double t73327=(t73197+t73255);
double t73332=(t73211+t73269);
double t74054=(t72452+t73140);
double t74059=(t72465+t73153);
double t74117=(t72639+t73327);
double t74122=(t72644+t73332);
double t74844=(t71888-t74054);
double t74849=(t71893-t74059);
double t74907=(t71951-t74117);
double t74912=(t71956-t74122);
double t75634=(0.-t74844);
double t75639=(0.-t74849);
double t75697=(0.-t74907);
double t75702=(0.-t74912);
double t288713;
double t288714;
double t288715;
double t288716;
double t288717;
double t288718;
double t288719;
double t288720;
double t288721;
double t288722;
double t288723;
double t288724;
double t288725;
double t288726;
double t288727;
double t288728;
t288713=t28065;
t288714=0.;
t288715=t28096;
t288716=1.;
t288717=a_f212_2200;
t288718=a_f212_2201;
t288719=t55552;
t288720=t65571;
t288721=t75697;
t288722=1e-05;
t288723=0.;
t288724=t55557;
t288725=t65576;
t288726=t75702;
t288727=0.;
t288728=0.;
f286(t288713,t288714,t288715,t288716,t288717,t288718,t288719,t288720,t288721,t288722,t288723,t288724,t288725,t288726,t288727,t288728);
double t76106=r_f286_4351;
double t76105=r_f286_4352;
double t76104=r_f286_4353;
double t76103=r_f286_4354;
double t76893=(t28065*t28065);
double t76898=(t28065*0.);
double t76903=(t28065*0.);
double t76908=(t76898+t76903);
double t76966=(t28096*t28096);
double t76971=(t28096*1.);
double t76976=(t28096*1.);
double t76981=(t76971+t76976);
double t77039=(t76893+t76966);
double t77044=(t76908+t76981);
double t77102=(t76106*t76106);
double t77107=(t76106*t76104);
double t77112=(t76106*t76104);
double t77117=(t77107+t77112);
double t77175=(t76105*t76105);
double t77180=(t76105*t76103);
double t77185=(t76105*t76103);
double t77190=(t77180+t77185);
double t77248=(t77102+t77175);
double t77253=(t77117+t77190);
double t77311=(t77039-t77248);
double t77316=(t77044-t77253);
double t77338=(a_f212_2208+1.);
double t288731;
double t288732;
double t288733;
double t288734;
double t288735;
double t288736;
double t288737;
double t288738;
double t288739;
t288731=a_f212_2200;
t288732=a_f212_2201;
t288733=t28065;
t288734=t28096;
t288735=t31031;
t288736=t54244;
t288737=t77316;
t288738=a_f212_2207;
t288739=t77338;
f212(t288731,t288732,t288733,t288734,t288735,t288736,t288737,t288738,t288739);
double t77358=r_f212_2947;
double t77357=r_f212_2948;
t288665=t77358;
t288666=t77357;
}
 else {
double t77405=(a_f212_2207/2.);
double t288742;
double t288743;
double t288744;
double t288745;
double t288746;
double t288747;
double t288748;
double t288749;
double t288750;
t288742=a_f212_2200;
t288743=a_f212_2201;
t288744=a_f212_2202;
t288745=a_f212_2203;
t288746=a_f212_2204;
t288747=a_f212_2205;
t288748=a_f212_2206;
t288749=t77405;
t288750=0.;
f212(t288742,t288743,t288744,t288745,t288746,t288747,t288748,t288749,t288750);
double t77426=r_f212_2947;
double t77425=r_f212_2948;
t288665=t77426;
t288666=t77425;
}
}
}
}
r_f212_2947=t288665;
r_f212_2948=t288666;
}
static void f213(double a_f213_4377,double a_f213_4378,double a_f213_4381,double a_f213_4382,double a_f213_4383,double a_f213_4384,double a_f213_4385,double a_f213_4386,double a_f213_4387){
double t288751;
double t288752;
double t79211=(a_f213_4384*a_f213_4384);
double t79227=(a_f213_4385*a_f213_4385);
double t79304=(t79227+0.);
double t79309=(t79211+t79304);
double t79310=sqrt(t79309);
int t79316=((t79310<=1e-05)?0:1);
if((t79316==0)){
t288751=a_f213_4381;
t288752=a_f213_4382;
}
 else {
int t79435=((a_f213_4387==10.)?0:1);
if((t79435==0)){
double t79590=(2.*a_f213_4386);
double t288753;
double t288754;
double t288757;
double t288758;
double t288759;
double t288760;
double t288761;
double t288762;
double t288763;
t288753=a_f213_4377;
t288754=a_f213_4378;
t288757=a_f213_4381;
t288758=a_f213_4382;
t288759=a_f213_4383;
t288760=a_f213_4384;
t288761=a_f213_4385;
t288762=t79590;
t288763=0.;
f213(t288753,t288754,t288757,t288758,t288759,t288760,t288761,t288762,t288763);
double t79611=r_f213_3060;
double t79610=r_f213_3061;
t288751=t79611;
t288752=t79610;
}
 else {
double t79691=(a_f213_4386*a_f213_4384);
double t79717=(a_f213_4386*a_f213_4385);
double t79772=(a_f213_4381-t79691);
double t79803=(a_f213_4382-t79717);
double t79875=(t79772-a_f213_4381);
double t79906=(t79803-a_f213_4382);
double t79934=(t79875*t79875);
double t79950=(t79906*t79906);
double t80027=(t79950+0.);
double t80032=(t79934+t80027);
double t80033=sqrt(t80032);
int t80039=((t80033<=1e-05)?0:1);
if((t80039==0)){
t288751=a_f213_4381;
t288752=a_f213_4382;
}
 else {
double t80219=(a_f213_4377*a_f213_4377);
double t80224=(a_f213_4378*a_f213_4378);
double t80229=(t80219+t80224);
double t80234=(t79772*t79772);
double t80239=(t79803*t79803);
double t80244=(t80234+t80239);
double t80249=(t80229-t80244);
double t80254=(0.-t80249);
int t80260=((t80254<a_f213_4383)?0:1);
if((t80260==0)){
double t81100=(a_f213_4377*a_f213_4377);
double t81104=(a_f213_4377*0.);
double t81108=(a_f213_4377*0.);
double t81113=(t81104+t81108);
double t81145=(a_f213_4378*a_f213_4378);
double t81149=(a_f213_4378*0.);
double t81153=(a_f213_4378*0.);
double t81158=(t81149+t81153);
double t81216=(t81100+t81145);
double t81221=(t81113+t81158);
double t81279=(t79772*t79772);
double t81284=(t79772*1.);
double t81289=(t79772*1.);
double t81294=(t81284+t81289);
double t81352=(t79803*t79803);
double t81357=(t79803*0.);
double t81362=(t79803*0.);
double t81367=(t81357+t81362);
double t81425=(t81279+t81352);
double t81430=(t81294+t81367);
double t81488=(t81216-t81425);
double t81493=(t81221-t81430);
double t81551=(0.-t81488);
double t81556=(0.-t81493);
double t82261=(a_f213_4377*a_f213_4377);
double t82265=(a_f213_4377*0.);
double t82269=(a_f213_4377*0.);
double t82274=(t82265+t82269);
double t82306=(a_f213_4378*a_f213_4378);
double t82310=(a_f213_4378*0.);
double t82314=(a_f213_4378*0.);
double t82319=(t82310+t82314);
double t82377=(t82261+t82306);
double t82382=(t82274+t82319);
double t82440=(t79772*t79772);
double t82445=(t79772*0.);
double t82450=(t79772*0.);
double t82455=(t82445+t82450);
double t82513=(t79803*t79803);
double t82518=(t79803*1.);
double t82523=(t79803*1.);
double t82528=(t82518+t82523);
double t82586=(t82440+t82513);
double t82591=(t82455+t82528);
double t82649=(t82377-t82586);
double t82654=(t82382-t82591);
double t82712=(0.-t82649);
double t82717=(0.-t82654);
double t82739=(a_f213_4387+1.);
double t288764;
double t288765;
double t288768;
double t288769;
double t288770;
double t288771;
double t288772;
double t288773;
double t288774;
t288764=a_f213_4377;
t288765=a_f213_4378;
t288768=t79772;
t288769=t79803;
t288770=t80254;
t288771=t81556;
t288772=t82717;
t288773=a_f213_4386;
t288774=t82739;
f213(t288764,t288765,t288768,t288769,t288770,t288771,t288772,t288773,t288774);
double t82759=r_f213_3060;
double t82758=r_f213_3061;
t288751=t82759;
t288752=t82758;
}
 else {
double t82806=(a_f213_4386/2.);
double t288775;
double t288776;
double t288779;
double t288780;
double t288781;
double t288782;
double t288783;
double t288784;
double t288785;
t288775=a_f213_4377;
t288776=a_f213_4378;
t288779=a_f213_4381;
t288780=a_f213_4382;
t288781=a_f213_4383;
t288782=a_f213_4384;
t288783=a_f213_4385;
t288784=t82806;
t288785=0.;
f213(t288775,t288776,t288779,t288780,t288781,t288782,t288783,t288784,t288785);
double t82827=r_f213_3060;
double t82826=r_f213_3061;
t288751=t82827;
t288752=t82826;
}
}
}
}
r_f213_3060=t288751;
r_f213_3061=t288752;
}
static void f230(double a_f230_2220,double a_f230_2221,double a_f230_2222,double a_f230_2223,double a_f230_2224){
double t288786;
double t288787;
double t288788;
double t288789;
int t105720=((a_f230_2220==0.)?0:1);
if((t105720==0)){
t288786=a_f230_2221;
t288787=a_f230_2222;
t288788=a_f230_2223;
t288789=a_f230_2224;
}
 else {
double t105765=(a_f230_2220-1.);
double t105888=(1.*1.);
double t105893=(1.*1.);
double t105898=(t105888+t105893);
double t105903=(1.*1.);
double t105908=(1.*1.);
double t105913=(t105903+t105908);
double t105918=(t105898-t105913);
double t105923=(0.-t105918);
double t106635=(1.*1.);
double t106639=(1.*0.);
double t106643=(1.*0.);
double t106648=(t106639+t106643);
double t106680=(1.*1.);
double t106684=(1.*0.);
double t106688=(1.*0.);
double t106693=(t106684+t106688);
double t106751=(t106635+t106680);
double t106756=(t106648+t106693);
double t106814=(1.*1.);
double t106819=(1.*1.);
double t106824=(1.*1.);
double t106829=(t106819+t106824);
double t106887=(1.*1.);
double t106892=(1.*0.);
double t106897=(1.*0.);
double t106902=(t106892+t106897);
double t106960=(t106814+t106887);
double t106965=(t106829+t106902);
double t107023=(t106751-t106960);
double t107028=(t106756-t106965);
double t107086=(0.-t107023);
double t107091=(0.-t107028);
double t107796=(1.*1.);
double t107800=(1.*0.);
double t107804=(1.*0.);
double t107809=(t107800+t107804);
double t107841=(1.*1.);
double t107845=(1.*0.);
double t107849=(1.*0.);
double t107854=(t107845+t107849);
double t107912=(t107796+t107841);
double t107917=(t107809+t107854);
double t107975=(1.*1.);
double t107980=(1.*0.);
double t107985=(1.*0.);
double t107990=(t107980+t107985);
double t108048=(1.*1.);
double t108053=(1.*1.);
double t108058=(1.*1.);
double t108063=(t108053+t108058);
double t108121=(t107975+t108048);
double t108126=(t107990+t108063);
double t108184=(t107912-t108121);
double t108189=(t107917-t108126);
double t108247=(0.-t108184);
double t108252=(0.-t108189);
double t288792;
double t288793;
double t288794;
double t288795;
double t288796;
double t288797;
double t288798;
double t288799;
double t288800;
t288792=1.;
t288793=1.;
t288794=1.;
t288795=1.;
t288796=t105923;
t288797=t107091;
t288798=t108252;
t288799=1e-05;
t288800=0.;
f211(t288792,t288793,t288794,t288795,t288796,t288797,t288798,t288799,t288800);
double t108290=r_f211_2387;
double t108289=r_f211_2388;
double t108326=(1.*1.);
double t108331=(1.*1.);
double t108336=(t108326+t108331);
double t108341=(t108290*t108290);
double t108346=(t108289*t108289);
double t108351=(t108341+t108346);
double t108356=(t108336-t108351);
double t109246=(1.*1.);
double t109251=(1.*1.);
double t109256=(1.*1.);
double t109261=(t109251+t109256);
double t109319=(1.*1.);
double t109324=(1.*0.);
double t109329=(1.*0.);
double t109334=(t109324+t109329);
double t109392=(t109246+t109319);
double t109397=(t109261+t109334);
double t109429=(1.*1.);
double t109433=(1.*0.);
double t109437=(1.*0.);
double t109442=(t109433+t109437);
double t109474=(1.*1.);
double t109478=(1.*0.);
double t109482=(1.*0.);
double t109487=(t109478+t109482);
double t109545=(t109429+t109474);
double t109550=(t109442+t109487);
double t109608=(t109392-t109545);
double t109613=(t109397-t109550);
double t109671=(0.-t109608);
double t109676=(0.-t109613);
double t114451=(1.*1.);
double t114456=(1.*1.);
double t114461=(1.*1.);
double t114466=(t114456+t114461);
double t114498=(1.*0.);
double t114502=(0.*1.);
double t114506=(1.*0.);
double t114511=(t114502+t114506);
double t114543=(1.*0.);
double t114547=(0.*1.);
double t114551=(1.*0.);
double t114556=(t114547+t114551);
double t114614=(t114498+t114543);
double t114619=(t114511+t114556);
double t114991=(1.*1.);
double t114996=(1.*0.);
double t115001=(1.*0.);
double t115006=(t114996+t115001);
double t115038=(1.*0.);
double t115042=(0.*0.);
double t115046=(1.*0.);
double t115051=(t115042+t115046);
double t115083=(1.*0.);
double t115087=(0.*0.);
double t115091=(1.*0.);
double t115096=(t115087+t115091);
double t115154=(t115038+t115083);
double t115159=(t115051+t115096);
double t115881=(t114451+t114991);
double t115886=(t114466+t115006);
double t115944=(t114614+t115154);
double t115949=(t114619+t115159);
double t116445=(1.*1.);
double t116449=(1.*0.);
double t116453=(1.*0.);
double t116458=(t116449+t116453);
double t116502=(1.*1.);
double t116506=(1.*0.);
double t116511=(1.*0.);
double t116516=(t116506+t116511);
double t116560=(1.*1.);
double t116564=(1.*0.);
double t116569=(1.*0.);
double t116574=(t116564+t116569);
double t116632=(t116502+t116560);
double t116637=(t116516+t116574);
double t117133=(1.*1.);
double t117137=(1.*0.);
double t117141=(1.*0.);
double t117146=(t117137+t117141);
double t117190=(1.*0.);
double t117194=(0.*0.);
double t117199=(1.*0.);
double t117204=(t117194+t117199);
double t117248=(1.*0.);
double t117252=(0.*0.);
double t117257=(1.*0.);
double t117262=(t117252+t117257);
double t117320=(t117190+t117248);
double t117325=(t117204+t117262);
double t118047=(t116445+t117133);
double t118052=(t116458+t117146);
double t118110=(t116632+t117320);
double t118115=(t116637+t117325);
double t118837=(t115881-t118047);
double t118842=(t115886-t118052);
double t118900=(t115944-t118110);
double t118905=(t115949-t118115);
double t119627=(0.-t118837);
double t119632=(0.-t118842);
double t119690=(0.-t118900);
double t119695=(0.-t118905);
double t124577=(1.*1.);
double t124582=(1.*1.);
double t124587=(1.*1.);
double t124592=(t124582+t124587);
double t124624=(1.*0.);
double t124628=(0.*1.);
double t124632=(1.*0.);
double t124637=(t124628+t124632);
double t124669=(1.*0.);
double t124673=(0.*1.);
double t124677=(1.*0.);
double t124682=(t124673+t124677);
double t124740=(t124624+t124669);
double t124745=(t124637+t124682);
double t125117=(1.*1.);
double t125122=(1.*0.);
double t125127=(1.*0.);
double t125132=(t125122+t125127);
double t125164=(1.*0.);
double t125168=(0.*0.);
double t125172=(1.*0.);
double t125177=(t125168+t125172);
double t125209=(1.*0.);
double t125213=(0.*0.);
double t125217=(1.*0.);
double t125222=(t125213+t125217);
double t125280=(t125164+t125209);
double t125285=(t125177+t125222);
double t126007=(t124577+t125117);
double t126012=(t124592+t125132);
double t126070=(t124740+t125280);
double t126075=(t124745+t125285);
double t126571=(1.*1.);
double t126575=(1.*0.);
double t126579=(1.*0.);
double t126584=(t126575+t126579);
double t126628=(1.*0.);
double t126632=(0.*0.);
double t126637=(1.*0.);
double t126642=(t126632+t126637);
double t126686=(1.*0.);
double t126690=(0.*0.);
double t126695=(1.*0.);
double t126700=(t126690+t126695);
double t126758=(t126628+t126686);
double t126763=(t126642+t126700);
double t127259=(1.*1.);
double t127263=(1.*0.);
double t127267=(1.*0.);
double t127272=(t127263+t127267);
double t127316=(1.*1.);
double t127320=(1.*0.);
double t127325=(1.*0.);
double t127330=(t127320+t127325);
double t127374=(1.*1.);
double t127378=(1.*0.);
double t127383=(1.*0.);
double t127388=(t127378+t127383);
double t127446=(t127316+t127374);
double t127451=(t127330+t127388);
double t128173=(t126571+t127259);
double t128178=(t126584+t127272);
double t128236=(t126758+t127446);
double t128241=(t126763+t127451);
double t128963=(t126007-t128173);
double t128968=(t126012-t128178);
double t129026=(t126070-t128236);
double t129031=(t126075-t128241);
double t129753=(0.-t128963);
double t129758=(0.-t128968);
double t129816=(0.-t129026);
double t129821=(0.-t129031);
double t288805;
double t288806;
double t288807;
double t288808;
double t288809;
double t288810;
double t288811;
double t288812;
double t288813;
double t288814;
double t288815;
double t288816;
double t288817;
double t288818;
double t288819;
double t288820;
t288805=1.;
t288806=1.;
t288807=1.;
t288808=0.;
t288809=1.;
t288810=1.;
t288811=t109671;
t288812=t119690;
t288813=t129816;
t288814=1e-05;
t288815=0.;
t288816=t109676;
t288817=t119695;
t288818=t129821;
t288819=0.;
t288820=0.;
f286(t288805,t288806,t288807,t288808,t288809,t288810,t288811,t288812,t288813,t288814,t288815,t288816,t288817,t288818,t288819,t288820);
double t130225=r_f286_4351;
double t130224=r_f286_4352;
double t130223=r_f286_4353;
double t130222=r_f286_4354;
double t131012=(1.*1.);
double t131017=(1.*1.);
double t131022=(1.*1.);
double t131027=(t131017+t131022);
double t131085=(1.*1.);
double t131090=(1.*0.);
double t131095=(1.*0.);
double t131100=(t131090+t131095);
double t131158=(t131012+t131085);
double t131163=(t131027+t131100);
double t131221=(t130225*t130225);
double t131226=(t130225*t130223);
double t131231=(t130225*t130223);
double t131236=(t131226+t131231);
double t131294=(t130224*t130224);
double t131299=(t130224*t130222);
double t131304=(t130224*t130222);
double t131309=(t131299+t131304);
double t131367=(t131221+t131294);
double t131372=(t131236+t131309);
double t131430=(t131158-t131367);
double t131435=(t131163-t131372);
double t132318=(1.*1.);
double t132323=(1.*0.);
double t132328=(1.*0.);
double t132333=(t132323+t132328);
double t132391=(1.*1.);
double t132396=(1.*1.);
double t132401=(1.*1.);
double t132406=(t132396+t132401);
double t132464=(t132318+t132391);
double t132469=(t132333+t132406);
double t132501=(1.*1.);
double t132505=(1.*0.);
double t132509=(1.*0.);
double t132514=(t132505+t132509);
double t132546=(1.*1.);
double t132550=(1.*0.);
double t132554=(1.*0.);
double t132559=(t132550+t132554);
double t132617=(t132501+t132546);
double t132622=(t132514+t132559);
double t132680=(t132464-t132617);
double t132685=(t132469-t132622);
double t132743=(0.-t132680);
double t132748=(0.-t132685);
double t137523=(1.*1.);
double t137528=(1.*0.);
double t137533=(1.*0.);
double t137538=(t137528+t137533);
double t137570=(1.*0.);
double t137574=(0.*0.);
double t137578=(1.*0.);
double t137583=(t137574+t137578);
double t137615=(1.*0.);
double t137619=(0.*0.);
double t137623=(1.*0.);
double t137628=(t137619+t137623);
double t137686=(t137570+t137615);
double t137691=(t137583+t137628);
double t138063=(1.*1.);
double t138068=(1.*1.);
double t138073=(1.*1.);
double t138078=(t138068+t138073);
double t138110=(1.*0.);
double t138114=(0.*1.);
double t138118=(1.*0.);
double t138123=(t138114+t138118);
double t138155=(1.*0.);
double t138159=(0.*1.);
double t138163=(1.*0.);
double t138168=(t138159+t138163);
double t138226=(t138110+t138155);
double t138231=(t138123+t138168);
double t138953=(t137523+t138063);
double t138958=(t137538+t138078);
double t139016=(t137686+t138226);
double t139021=(t137691+t138231);
double t139517=(1.*1.);
double t139521=(1.*0.);
double t139525=(1.*0.);
double t139530=(t139521+t139525);
double t139574=(1.*1.);
double t139578=(1.*0.);
double t139583=(1.*0.);
double t139588=(t139578+t139583);
double t139632=(1.*1.);
double t139636=(1.*0.);
double t139641=(1.*0.);
double t139646=(t139636+t139641);
double t139704=(t139574+t139632);
double t139709=(t139588+t139646);
double t140205=(1.*1.);
double t140209=(1.*0.);
double t140213=(1.*0.);
double t140218=(t140209+t140213);
double t140262=(1.*0.);
double t140266=(0.*0.);
double t140271=(1.*0.);
double t140276=(t140266+t140271);
double t140320=(1.*0.);
double t140324=(0.*0.);
double t140329=(1.*0.);
double t140334=(t140324+t140329);
double t140392=(t140262+t140320);
double t140397=(t140276+t140334);
double t141119=(t139517+t140205);
double t141124=(t139530+t140218);
double t141182=(t139704+t140392);
double t141187=(t139709+t140397);
double t141909=(t138953-t141119);
double t141914=(t138958-t141124);
double t141972=(t139016-t141182);
double t141977=(t139021-t141187);
double t142699=(0.-t141909);
double t142704=(0.-t141914);
double t142762=(0.-t141972);
double t142767=(0.-t141977);
double t147649=(1.*1.);
double t147654=(1.*0.);
double t147659=(1.*0.);
double t147664=(t147654+t147659);
double t147696=(1.*0.);
double t147700=(0.*0.);
double t147704=(1.*0.);
double t147709=(t147700+t147704);
double t147741=(1.*0.);
double t147745=(0.*0.);
double t147749=(1.*0.);
double t147754=(t147745+t147749);
double t147812=(t147696+t147741);
double t147817=(t147709+t147754);
double t148189=(1.*1.);
double t148194=(1.*1.);
double t148199=(1.*1.);
double t148204=(t148194+t148199);
double t148236=(1.*0.);
double t148240=(0.*1.);
double t148244=(1.*0.);
double t148249=(t148240+t148244);
double t148281=(1.*0.);
double t148285=(0.*1.);
double t148289=(1.*0.);
double t148294=(t148285+t148289);
double t148352=(t148236+t148281);
double t148357=(t148249+t148294);
double t149079=(t147649+t148189);
double t149084=(t147664+t148204);
double t149142=(t147812+t148352);
double t149147=(t147817+t148357);
double t149643=(1.*1.);
double t149647=(1.*0.);
double t149651=(1.*0.);
double t149656=(t149647+t149651);
double t149700=(1.*0.);
double t149704=(0.*0.);
double t149709=(1.*0.);
double t149714=(t149704+t149709);
double t149758=(1.*0.);
double t149762=(0.*0.);
double t149767=(1.*0.);
double t149772=(t149762+t149767);
double t149830=(t149700+t149758);
double t149835=(t149714+t149772);
double t150331=(1.*1.);
double t150335=(1.*0.);
double t150339=(1.*0.);
double t150344=(t150335+t150339);
double t150388=(1.*1.);
double t150392=(1.*0.);
double t150397=(1.*0.);
double t150402=(t150392+t150397);
double t150446=(1.*1.);
double t150450=(1.*0.);
double t150455=(1.*0.);
double t150460=(t150450+t150455);
double t150518=(t150388+t150446);
double t150523=(t150402+t150460);
double t151245=(t149643+t150331);
double t151250=(t149656+t150344);
double t151308=(t149830+t150518);
double t151313=(t149835+t150523);
double t152035=(t149079-t151245);
double t152040=(t149084-t151250);
double t152098=(t149142-t151308);
double t152103=(t149147-t151313);
double t152825=(0.-t152035);
double t152830=(0.-t152040);
double t152888=(0.-t152098);
double t152893=(0.-t152103);
double t288825;
double t288826;
double t288827;
double t288828;
double t288829;
double t288830;
double t288831;
double t288832;
double t288833;
double t288834;
double t288835;
double t288836;
double t288837;
double t288838;
double t288839;
double t288840;
t288825=1.;
t288826=0.;
t288827=1.;
t288828=1.;
t288829=1.;
t288830=1.;
t288831=t132743;
t288832=t142762;
t288833=t152888;
t288834=1e-05;
t288835=0.;
t288836=t132748;
t288837=t142767;
t288838=t152893;
t288839=0.;
t288840=0.;
f286(t288825,t288826,t288827,t288828,t288829,t288830,t288831,t288832,t288833,t288834,t288835,t288836,t288837,t288838,t288839,t288840);
double t153297=r_f286_4351;
double t153296=r_f286_4352;
double t153295=r_f286_4353;
double t153294=r_f286_4354;
double t154084=(1.*1.);
double t154089=(1.*0.);
double t154094=(1.*0.);
double t154099=(t154089+t154094);
double t154157=(1.*1.);
double t154162=(1.*1.);
double t154167=(1.*1.);
double t154172=(t154162+t154167);
double t154230=(t154084+t154157);
double t154235=(t154099+t154172);
double t154293=(t153297*t153297);
double t154298=(t153297*t153295);
double t154303=(t153297*t153295);
double t154308=(t154298+t154303);
double t154366=(t153296*t153296);
double t154371=(t153296*t153294);
double t154376=(t153296*t153294);
double t154381=(t154371+t154376);
double t154439=(t154293+t154366);
double t154444=(t154308+t154381);
double t154502=(t154230-t154439);
double t154507=(t154235-t154444);
double t288843;
double t288844;
double t288845;
double t288846;
double t288847;
double t288848;
double t288849;
double t288850;
double t288851;
t288843=1.;
t288844=1.;
t288845=1.;
t288846=1.;
t288847=t108356;
t288848=t131435;
t288849=t154507;
t288850=1e-05;
t288851=0.;
f212(t288843,t288844,t288845,t288846,t288847,t288848,t288849,t288850,t288851);
double t154545=r_f212_2947;
double t154544=r_f212_2948;
double t154625=(t154545*t154545);
double t154630=(t154544*t154544);
double t154635=(t154625+t154630);
double t154640=(1.*1.);
double t154645=(1.*1.);
double t154650=(t154640+t154645);
double t154655=(t154635-t154650);
double t154660=(0.-t154655);
double t155372=(t154545*t154545);
double t155376=(t154545*0.);
double t155380=(t154545*0.);
double t155385=(t155376+t155380);
double t155417=(t154544*t154544);
double t155421=(t154544*0.);
double t155425=(t154544*0.);
double t155430=(t155421+t155425);
double t155488=(t155372+t155417);
double t155493=(t155385+t155430);
double t155551=(1.*1.);
double t155556=(1.*1.);
double t155561=(1.*1.);
double t155566=(t155556+t155561);
double t155624=(1.*1.);
double t155629=(1.*0.);
double t155634=(1.*0.);
double t155639=(t155629+t155634);
double t155697=(t155551+t155624);
double t155702=(t155566+t155639);
double t155760=(t155488-t155697);
double t155765=(t155493-t155702);
double t155823=(0.-t155760);
double t155828=(0.-t155765);
double t156533=(t154545*t154545);
double t156537=(t154545*0.);
double t156541=(t154545*0.);
double t156546=(t156537+t156541);
double t156578=(t154544*t154544);
double t156582=(t154544*0.);
double t156586=(t154544*0.);
double t156591=(t156582+t156586);
double t156649=(t156533+t156578);
double t156654=(t156546+t156591);
double t156712=(1.*1.);
double t156717=(1.*0.);
double t156722=(1.*0.);
double t156727=(t156717+t156722);
double t156785=(1.*1.);
double t156790=(1.*1.);
double t156795=(1.*1.);
double t156800=(t156790+t156795);
double t156858=(t156712+t156785);
double t156863=(t156727+t156800);
double t156921=(t156649-t156858);
double t156926=(t156654-t156863);
double t156984=(0.-t156921);
double t156989=(0.-t156926);
double t288852;
double t288853;
double t288856;
double t288857;
double t288858;
double t288859;
double t288860;
double t288861;
double t288862;
t288852=t154545;
t288853=t154544;
t288856=1.;
t288857=1.;
t288858=t154660;
t288859=t155828;
t288860=t156989;
t288861=1e-05;
t288862=0.;
f213(t288852,t288853,t288856,t288857,t288858,t288859,t288860,t288861,t288862);
double t157027=r_f213_3060;
double t157026=r_f213_3061;
double t157031=write_real(t154545);
double t157032=write_real(t154544);
double t157036=write_real(t157027);
double t157037=write_real(t157026);
double t288863;
double t288864;
double t288865;
double t288866;
double t288867;
t288863=t105765;
t288864=t157031;
t288865=t157032;
t288866=t157036;
t288867=t157037;
f230(t288863,t288864,t288865,t288866,t288867);
double t157055=r_f230_3663;
double t157054=r_f230_3664;
double t157053=r_f230_3665;
double t157052=r_f230_3666;
t288786=t157055;
t288787=t157054;
t288788=t157053;
t288789=t157052;
}
r_f230_3663=t288786;
r_f230_3664=t288787;
r_f230_3665=t288788;
r_f230_3666=t288789;
}
static void f280(double a_f280_4397,double a_f280_4398,double a_f280_4399,double a_f280_4400,double a_f280_4401,double a_f280_4402,double a_f280_4403,double a_f280_4404,double a_f280_4405,double a_f280_4406,double a_f280_4407,double a_f280_4408,double a_f280_4409,double a_f280_4410,double a_f280_4411,double a_f280_4412,double a_f280_4413,double a_f280_4414){
double t288868;
double t288869;
double t288870;
double t288871;
double t176587=(a_f280_4404*a_f280_4404);
double t176592=(a_f280_4404*a_f280_4411);
double t176597=(a_f280_4404*a_f280_4411);
double t176602=(t176592+t176597);
double t176784=(a_f280_4405*a_f280_4405);
double t176789=(a_f280_4405*a_f280_4412);
double t176794=(a_f280_4405*a_f280_4412);
double t176799=(t176789+t176794);
double t177725=(t176784+0.);
double t177730=(t176799+0.);
double t177788=(t176587+t177725);
double t177793=(t176602+t177730);
double t177807=sqrt(t177788);
double t177809=sqrt(t177788);
double t177810=sqrt(t177788);
double t177815=(t177809+t177810);
double t177820=(t177793/t177815);
int t177875=((t177807<=1e-05)?0:1);
if((t177875==0)){
if((t177875==0)){
t288868=a_f280_4401;
t288869=a_f280_4402;
t288870=a_f280_4408;
t288871=a_f280_4409;
}
 else {
panic("Arguments to bundle do not conform");
}
}
 else {
if((t177875==0)){
panic("Arguments to bundle do not conform");
}
 else {
int t180139=((a_f280_4407==10.)?0:1);
if((t180139==0)){
if((t180139==0)){
double t182668=(2.*a_f280_4406);
double t182673=(a_f280_4406*0.);
double t182678=(2.*a_f280_4413);
double t182683=(t182673+t182678);
double t288876;
double t288877;
double t288878;
double t288879;
double t288880;
double t288881;
double t288882;
double t288883;
double t288884;
double t288885;
double t288886;
double t288887;
double t288888;
double t288889;
double t288890;
double t288891;
double t288892;
double t288893;
t288876=a_f280_4397;
t288877=a_f280_4398;
t288878=a_f280_4399;
t288879=a_f280_4400;
t288880=a_f280_4401;
t288881=a_f280_4402;
t288882=a_f280_4403;
t288883=a_f280_4404;
t288884=a_f280_4405;
t288885=t182668;
t288886=0.;
t288887=a_f280_4408;
t288888=a_f280_4409;
t288889=a_f280_4410;
t288890=a_f280_4411;
t288891=a_f280_4412;
t288892=t182683;
t288893=0.;
f280(t288876,t288877,t288878,t288879,t288880,t288881,t288882,t288883,t288884,t288885,t288886,t288887,t288888,t288889,t288890,t288891,t288892,t288893);
double t182919=r_f280_4005;
double t182918=r_f280_4006;
double t182917=r_f280_4007;
double t182916=r_f280_4008;
t288868=t182919;
t288869=t182918;
t288870=t182917;
t288871=t182916;
}
 else {
panic("Arguments to bundle do not conform");
}
}
 else {
if((t180139==0)){
panic("Arguments to bundle do not conform");
}
 else {
double t184196=(a_f280_4406*a_f280_4404);
double t184201=(a_f280_4404*a_f280_4413);
double t184206=(a_f280_4406*a_f280_4411);
double t184211=(t184201+t184206);
double t184501=(a_f280_4406*a_f280_4405);
double t184506=(a_f280_4405*a_f280_4413);
double t184511=(a_f280_4406*a_f280_4412);
double t184516=(t184506+t184511);
double t185212=(a_f280_4401-t184196);
double t185217=(a_f280_4408-t184211);
double t185581=(a_f280_4402-t184501);
double t185586=(a_f280_4409-t184516);
double t186500=(t185212-a_f280_4401);
double t186505=(t185217-a_f280_4408);
double t186869=(t185581-a_f280_4402);
double t186874=(t185586-a_f280_4409);
double t187193=(t186500*t186500);
double t187198=(t186500*t186505);
double t187203=(t186500*t186505);
double t187208=(t187198+t187203);
double t187390=(t186869*t186869);
double t187395=(t186869*t186874);
double t187400=(t186869*t186874);
double t187405=(t187395+t187400);
double t188331=(t187390+0.);
double t188336=(t187405+0.);
double t188394=(t187193+t188331);
double t188399=(t187208+t188336);
double t188413=sqrt(t188394);
double t188415=sqrt(t188394);
double t188416=sqrt(t188394);
double t188421=(t188415+t188416);
double t188426=(t188399/t188421);
int t188481=((t188413<=1e-05)?0:1);
if((t188481==0)){
if((t188481==0)){
t288868=a_f280_4401;
t288869=a_f280_4402;
t288870=a_f280_4408;
t288871=a_f280_4409;
}
 else {
panic("Arguments to bundle do not conform");
}
}
 else {
if((t188481==0)){
panic("Arguments to bundle do not conform");
}
 else {
double t191763=(a_f280_4397*a_f280_4397);
double t191768=(a_f280_4397*a_f280_4398);
double t191773=(a_f280_4397*a_f280_4398);
double t191778=(t191768+t191773);
double t191836=(a_f280_4399*a_f280_4399);
double t191841=(a_f280_4399*a_f280_4400);
double t191846=(a_f280_4399*a_f280_4400);
double t191851=(t191841+t191846);
double t191909=(t191763+t191836);
double t191914=(t191778+t191851);
double t191972=(t185212*t185212);
double t191977=(t185212*t185217);
double t191982=(t185212*t185217);
double t191987=(t191977+t191982);
double t192045=(t185581*t185581);
double t192050=(t185581*t185586);
double t192055=(t185581*t185586);
double t192060=(t192050+t192055);
double t192118=(t191972+t192045);
double t192123=(t191987+t192060);
double t192181=(t191909-t192118);
double t192186=(t191914-t192123);
double t192244=(0.-t192181);
double t192249=(0.-t192186);
int t192297=((t192244<a_f280_4403)?0:1);
if((t192297==0)){
if((t192297==0)){
double t202750=(a_f280_4397*a_f280_4397);
double t202755=(a_f280_4397*a_f280_4398);
double t202760=(a_f280_4397*a_f280_4398);
double t202765=(t202755+t202760);
double t202797=(a_f280_4397*0.);
double t202801=(0.*a_f280_4398);
double t202805=(a_f280_4397*0.);
double t202810=(t202801+t202805);
double t202842=(a_f280_4397*0.);
double t202846=(0.*a_f280_4398);
double t202850=(a_f280_4397*0.);
double t202855=(t202846+t202850);
double t202913=(t202797+t202842);
double t202918=(t202810+t202855);
double t203290=(a_f280_4399*a_f280_4399);
double t203295=(a_f280_4399*a_f280_4400);
double t203300=(a_f280_4399*a_f280_4400);
double t203305=(t203295+t203300);
double t203337=(a_f280_4399*0.);
double t203341=(0.*a_f280_4400);
double t203345=(a_f280_4399*0.);
double t203350=(t203341+t203345);
double t203382=(a_f280_4399*0.);
double t203386=(0.*a_f280_4400);
double t203390=(a_f280_4399*0.);
double t203395=(t203386+t203390);
double t203453=(t203337+t203382);
double t203458=(t203350+t203395);
double t204180=(t202750+t203290);
double t204185=(t202765+t203305);
double t204243=(t202913+t203453);
double t204248=(t202918+t203458);
double t204970=(t185212*t185212);
double t204975=(t185212*t185217);
double t204980=(t185212*t185217);
double t204985=(t204975+t204980);
double t205043=(t185212*1.);
double t205048=(1.*t185217);
double t205053=(t185212*0.);
double t205058=(t205048+t205053);
double t205116=(t185212*1.);
double t205121=(1.*t185217);
double t205126=(t185212*0.);
double t205131=(t205121+t205126);
double t205189=(t205043+t205116);
double t205194=(t205058+t205131);
double t205916=(t185581*t185581);
double t205921=(t185581*t185586);
double t205926=(t185581*t185586);
double t205931=(t205921+t205926);
double t205989=(t185581*0.);
double t205994=(0.*t185586);
double t205999=(t185581*0.);
double t206004=(t205994+t205999);
double t206062=(t185581*0.);
double t206067=(0.*t185586);
double t206072=(t185581*0.);
double t206077=(t206067+t206072);
double t206135=(t205989+t206062);
double t206140=(t206004+t206077);
double t206862=(t204970+t205916);
double t206867=(t204985+t205931);
double t206925=(t205189+t206135);
double t206930=(t205194+t206140);
double t207652=(t204180-t206862);
double t207657=(t204185-t206867);
double t207715=(t204243-t206925);
double t207720=(t204248-t206930);
double t208442=(0.-t207652);
double t208447=(0.-t207657);
double t208505=(0.-t207715);
double t208510=(0.-t207720);
double t216781=(a_f280_4397*a_f280_4397);
double t216786=(a_f280_4397*a_f280_4398);
double t216791=(a_f280_4397*a_f280_4398);
double t216796=(t216786+t216791);
double t216828=(a_f280_4397*0.);
double t216832=(0.*a_f280_4398);
double t216836=(a_f280_4397*0.);
double t216841=(t216832+t216836);
double t216873=(a_f280_4397*0.);
double t216877=(0.*a_f280_4398);
double t216881=(a_f280_4397*0.);
double t216886=(t216877+t216881);
double t216944=(t216828+t216873);
double t216949=(t216841+t216886);
double t217321=(a_f280_4399*a_f280_4399);
double t217326=(a_f280_4399*a_f280_4400);
double t217331=(a_f280_4399*a_f280_4400);
double t217336=(t217326+t217331);
double t217368=(a_f280_4399*0.);
double t217372=(0.*a_f280_4400);
double t217376=(a_f280_4399*0.);
double t217381=(t217372+t217376);
double t217413=(a_f280_4399*0.);
double t217417=(0.*a_f280_4400);
double t217421=(a_f280_4399*0.);
double t217426=(t217417+t217421);
double t217484=(t217368+t217413);
double t217489=(t217381+t217426);
double t218211=(t216781+t217321);
double t218216=(t216796+t217336);
double t218274=(t216944+t217484);
double t218279=(t216949+t217489);
double t219001=(t185212*t185212);
double t219006=(t185212*t185217);
double t219011=(t185212*t185217);
double t219016=(t219006+t219011);
double t219074=(t185212*0.);
double t219079=(0.*t185217);
double t219084=(t185212*0.);
double t219089=(t219079+t219084);
double t219147=(t185212*0.);
double t219152=(0.*t185217);
double t219157=(t185212*0.);
double t219162=(t219152+t219157);
double t219220=(t219074+t219147);
double t219225=(t219089+t219162);
double t219947=(t185581*t185581);
double t219952=(t185581*t185586);
double t219957=(t185581*t185586);
double t219962=(t219952+t219957);
double t220020=(t185581*1.);
double t220025=(1.*t185586);
double t220030=(t185581*0.);
double t220035=(t220025+t220030);
double t220093=(t185581*1.);
double t220098=(1.*t185586);
double t220103=(t185581*0.);
double t220108=(t220098+t220103);
double t220166=(t220020+t220093);
double t220171=(t220035+t220108);
double t220893=(t219001+t219947);
double t220898=(t219016+t219962);
double t220956=(t219220+t220166);
double t220961=(t219225+t220171);
double t221683=(t218211-t220893);
double t221688=(t218216-t220898);
double t221746=(t218274-t220956);
double t221751=(t218279-t220961);
double t222473=(0.-t221683);
double t222478=(0.-t221688);
double t222536=(0.-t221746);
double t222541=(0.-t221751);
double t222752=(a_f280_4407+1.);
double t222756=(a_f280_4414+0.);
double t288898;
double t288899;
double t288900;
double t288901;
double t288902;
double t288903;
double t288904;
double t288905;
double t288906;
double t288907;
double t288908;
double t288909;
double t288910;
double t288911;
double t288912;
double t288913;
double t288914;
double t288915;
t288898=a_f280_4397;
t288899=a_f280_4398;
t288900=a_f280_4399;
t288901=a_f280_4400;
t288902=t185212;
t288903=t185581;
t288904=t192244;
t288905=t208505;
t288906=t222536;
t288907=a_f280_4406;
t288908=t222752;
t288909=t185217;
t288910=t185586;
t288911=t192249;
t288912=t208510;
t288913=t222541;
t288914=a_f280_4413;
t288915=t222756;
f280(t288898,t288899,t288900,t288901,t288902,t288903,t288904,t288905,t288906,t288907,t288908,t288909,t288910,t288911,t288912,t288913,t288914,t288915);
double t222983=r_f280_4005;
double t222982=r_f280_4006;
double t222981=r_f280_4007;
double t222980=r_f280_4008;
t288868=t222983;
t288869=t222982;
t288870=t222981;
t288871=t222980;
}
 else {
panic("Arguments to bundle do not conform");
}
}
 else {
if((t192297==0)){
panic("Arguments to bundle do not conform");
}
 else {
double t223551=(a_f280_4406/2.);
double t223556=(2.*a_f280_4413);
double t223561=(a_f280_4406*0.);
double t223566=(t223556-t223561);
double t223571=(2.*2.);
double t223576=(t223566/t223571);
double t288920;
double t288921;
double t288922;
double t288923;
double t288924;
double t288925;
double t288926;
double t288927;
double t288928;
double t288929;
double t288930;
double t288931;
double t288932;
double t288933;
double t288934;
double t288935;
double t288936;
double t288937;
t288920=a_f280_4397;
t288921=a_f280_4398;
t288922=a_f280_4399;
t288923=a_f280_4400;
t288924=a_f280_4401;
t288925=a_f280_4402;
t288926=a_f280_4403;
t288927=a_f280_4404;
t288928=a_f280_4405;
t288929=t223551;
t288930=0.;
t288931=a_f280_4408;
t288932=a_f280_4409;
t288933=a_f280_4410;
t288934=a_f280_4411;
t288935=a_f280_4412;
t288936=t223576;
t288937=0.;
f280(t288920,t288921,t288922,t288923,t288924,t288925,t288926,t288927,t288928,t288929,t288930,t288931,t288932,t288933,t288934,t288935,t288936,t288937);
double t223812=r_f280_4005;
double t223811=r_f280_4006;
double t223810=r_f280_4007;
double t223809=r_f280_4008;
t288868=t223812;
t288869=t223811;
t288870=t223810;
t288871=t223809;
}
}
}
}
}
}
}
}
r_f280_4005=t288868;
r_f280_4006=t288869;
r_f280_4007=t288870;
r_f280_4008=t288871;
}
static void f286(double a_f286_2251,double a_f286_2252,double a_f286_2253,double a_f286_2254,double a_f286_2255,double a_f286_2256,double a_f286_2257,double a_f286_2258,double a_f286_2259,double a_f286_2260,double a_f286_2261,double a_f286_2262,double a_f286_2263,double a_f286_2264,double a_f286_2265,double a_f286_2266){
double t288938;
double t288939;
double t288940;
double t288941;
double t243000=(a_f286_2258*a_f286_2258);
double t243005=(a_f286_2258*a_f286_2263);
double t243010=(a_f286_2258*a_f286_2263);
double t243015=(t243005+t243010);
double t243197=(a_f286_2259*a_f286_2259);
double t243202=(a_f286_2259*a_f286_2264);
double t243207=(a_f286_2259*a_f286_2264);
double t243212=(t243202+t243207);
double t244138=(t243197+0.);
double t244143=(t243212+0.);
double t244201=(t243000+t244138);
double t244206=(t243015+t244143);
double t244220=sqrt(t244201);
double t244222=sqrt(t244201);
double t244223=sqrt(t244201);
double t244228=(t244222+t244223);
double t244233=(t244206/t244228);
int t244288=((t244220<=1e-05)?0:1);
if((t244288==0)){
if((t244288==0)){
t288938=a_f286_2255;
t288939=a_f286_2256;
t288940=0.;
t288941=0.;
}
 else {
panic("Arguments to bundle do not conform");
}
}
 else {
if((t244288==0)){
panic("Arguments to bundle do not conform");
}
 else {
int t246291=((a_f286_2261==10.)?0:1);
if((t246291==0)){
if((t246291==0)){
double t248622=(2.*a_f286_2260);
double t248627=(a_f286_2260*0.);
double t248632=(2.*a_f286_2265);
double t248637=(t248627+t248632);
double t288946;
double t288947;
double t288948;
double t288949;
double t288950;
double t288951;
double t288952;
double t288953;
double t288954;
double t288955;
double t288956;
double t288957;
double t288958;
double t288959;
double t288960;
double t288961;
t288946=a_f286_2251;
t288947=a_f286_2252;
t288948=a_f286_2253;
t288949=a_f286_2254;
t288950=a_f286_2255;
t288951=a_f286_2256;
t288952=a_f286_2257;
t288953=a_f286_2258;
t288954=a_f286_2259;
t288955=t248622;
t288956=0.;
t288957=a_f286_2262;
t288958=a_f286_2263;
t288959=a_f286_2264;
t288960=t248637;
t288961=0.;
f286(t288946,t288947,t288948,t288949,t288950,t288951,t288952,t288953,t288954,t288955,t288956,t288957,t288958,t288959,t288960,t288961);
double t248859=r_f286_4351;
double t248858=r_f286_4352;
double t248857=r_f286_4353;
double t248856=r_f286_4354;
t288938=t248859;
t288939=t248858;
t288940=t248857;
t288941=t248856;
}
 else {
panic("Arguments to bundle do not conform");
}
}
 else {
if((t246291==0)){
panic("Arguments to bundle do not conform");
}
 else {
double t250079=(a_f286_2260*a_f286_2258);
double t250084=(a_f286_2258*a_f286_2265);
double t250089=(a_f286_2260*a_f286_2263);
double t250094=(t250084+t250089);
double t250384=(a_f286_2260*a_f286_2259);
double t250389=(a_f286_2259*a_f286_2265);
double t250394=(a_f286_2260*a_f286_2264);
double t250399=(t250389+t250394);
double t250895=(a_f286_2255-t250079);
double t250899=(0.-t250094);
double t251156=(a_f286_2256-t250384);
double t251160=(0.-t250399);
double t251799=(t250895-a_f286_2255);
double t251803=(t250899-0.);
double t252060=(t251156-a_f286_2256);
double t252064=(t251160-0.);
double t252382=(t251799*t251799);
double t252387=(t251799*t251803);
double t252392=(t251799*t251803);
double t252397=(t252387+t252392);
double t252579=(t252060*t252060);
double t252584=(t252060*t252064);
double t252589=(t252060*t252064);
double t252594=(t252584+t252589);
double t253520=(t252579+0.);
double t253525=(t252594+0.);
double t253583=(t252382+t253520);
double t253588=(t252397+t253525);
double t253602=sqrt(t253583);
double t253604=sqrt(t253583);
double t253605=sqrt(t253583);
double t253610=(t253604+t253605);
double t253615=(t253588/t253610);
int t253670=((t253602<=1e-05)?0:1);
if((t253670==0)){
if((t253670==0)){
t288938=a_f286_2255;
t288939=a_f286_2256;
t288940=0.;
t288941=0.;
}
 else {
panic("Arguments to bundle do not conform");
}
}
 else {
if((t253670==0)){
panic("Arguments to bundle do not conform");
}
 else {
double t256677=(a_f286_2251*a_f286_2251);
double t256682=(a_f286_2251*a_f286_2252);
double t256687=(a_f286_2251*a_f286_2252);
double t256692=(t256682+t256687);
double t256750=(a_f286_2253*a_f286_2253);
double t256755=(a_f286_2253*a_f286_2254);
double t256760=(a_f286_2253*a_f286_2254);
double t256765=(t256755+t256760);
double t256823=(t256677+t256750);
double t256828=(t256692+t256765);
double t256886=(t250895*t250895);
double t256891=(t250895*t250899);
double t256896=(t250895*t250899);
double t256901=(t256891+t256896);
double t256959=(t251156*t251156);
double t256964=(t251156*t251160);
double t256969=(t251156*t251160);
double t256974=(t256964+t256969);
double t257032=(t256886+t256959);
double t257037=(t256901+t256974);
double t257095=(t256823-t257032);
double t257100=(t256828-t257037);
double t257158=(0.-t257095);
double t257163=(0.-t257100);
int t257211=((t257158<a_f286_2257)?0:1);
if((t257211==0)){
if((t257211==0)){
double t267586=(a_f286_2251*a_f286_2251);
double t267591=(a_f286_2251*a_f286_2252);
double t267596=(a_f286_2251*a_f286_2252);
double t267601=(t267591+t267596);
double t267633=(a_f286_2251*0.);
double t267637=(0.*a_f286_2252);
double t267641=(a_f286_2251*0.);
double t267646=(t267637+t267641);
double t267678=(a_f286_2251*0.);
double t267682=(0.*a_f286_2252);
double t267686=(a_f286_2251*0.);
double t267691=(t267682+t267686);
double t267749=(t267633+t267678);
double t267754=(t267646+t267691);
double t268126=(a_f286_2253*a_f286_2253);
double t268131=(a_f286_2253*a_f286_2254);
double t268136=(a_f286_2253*a_f286_2254);
double t268141=(t268131+t268136);
double t268173=(a_f286_2253*0.);
double t268177=(0.*a_f286_2254);
double t268181=(a_f286_2253*0.);
double t268186=(t268177+t268181);
double t268218=(a_f286_2253*0.);
double t268222=(0.*a_f286_2254);
double t268226=(a_f286_2253*0.);
double t268231=(t268222+t268226);
double t268289=(t268173+t268218);
double t268294=(t268186+t268231);
double t269016=(t267586+t268126);
double t269021=(t267601+t268141);
double t269079=(t267749+t268289);
double t269084=(t267754+t268294);
double t269806=(t250895*t250895);
double t269811=(t250895*t250899);
double t269816=(t250895*t250899);
double t269821=(t269811+t269816);
double t269879=(t250895*1.);
double t269884=(1.*t250899);
double t269889=(t250895*0.);
double t269894=(t269884+t269889);
double t269952=(t250895*1.);
double t269957=(1.*t250899);
double t269962=(t250895*0.);
double t269967=(t269957+t269962);
double t270025=(t269879+t269952);
double t270030=(t269894+t269967);
double t270752=(t251156*t251156);
double t270757=(t251156*t251160);
double t270762=(t251156*t251160);
double t270767=(t270757+t270762);
double t270825=(t251156*0.);
double t270830=(0.*t251160);
double t270835=(t251156*0.);
double t270840=(t270830+t270835);
double t270898=(t251156*0.);
double t270903=(0.*t251160);
double t270908=(t251156*0.);
double t270913=(t270903+t270908);
double t270971=(t270825+t270898);
double t270976=(t270840+t270913);
double t271698=(t269806+t270752);
double t271703=(t269821+t270767);
double t271761=(t270025+t270971);
double t271766=(t270030+t270976);
double t272488=(t269016-t271698);
double t272493=(t269021-t271703);
double t272551=(t269079-t271761);
double t272556=(t269084-t271766);
double t273278=(0.-t272488);
double t273283=(0.-t272493);
double t273341=(0.-t272551);
double t273346=(0.-t272556);
double t281617=(a_f286_2251*a_f286_2251);
double t281622=(a_f286_2251*a_f286_2252);
double t281627=(a_f286_2251*a_f286_2252);
double t281632=(t281622+t281627);
double t281664=(a_f286_2251*0.);
double t281668=(0.*a_f286_2252);
double t281672=(a_f286_2251*0.);
double t281677=(t281668+t281672);
double t281709=(a_f286_2251*0.);
double t281713=(0.*a_f286_2252);
double t281717=(a_f286_2251*0.);
double t281722=(t281713+t281717);
double t281780=(t281664+t281709);
double t281785=(t281677+t281722);
double t282157=(a_f286_2253*a_f286_2253);
double t282162=(a_f286_2253*a_f286_2254);
double t282167=(a_f286_2253*a_f286_2254);
double t282172=(t282162+t282167);
double t282204=(a_f286_2253*0.);
double t282208=(0.*a_f286_2254);
double t282212=(a_f286_2253*0.);
double t282217=(t282208+t282212);
double t282249=(a_f286_2253*0.);
double t282253=(0.*a_f286_2254);
double t282257=(a_f286_2253*0.);
double t282262=(t282253+t282257);
double t282320=(t282204+t282249);
double t282325=(t282217+t282262);
double t283047=(t281617+t282157);
double t283052=(t281632+t282172);
double t283110=(t281780+t282320);
double t283115=(t281785+t282325);
double t283837=(t250895*t250895);
double t283842=(t250895*t250899);
double t283847=(t250895*t250899);
double t283852=(t283842+t283847);
double t283910=(t250895*0.);
double t283915=(0.*t250899);
double t283920=(t250895*0.);
double t283925=(t283915+t283920);
double t283983=(t250895*0.);
double t283988=(0.*t250899);
double t283993=(t250895*0.);
double t283998=(t283988+t283993);
double t284056=(t283910+t283983);
double t284061=(t283925+t283998);
double t284783=(t251156*t251156);
double t284788=(t251156*t251160);
double t284793=(t251156*t251160);
double t284798=(t284788+t284793);
double t284856=(t251156*1.);
double t284861=(1.*t251160);
double t284866=(t251156*0.);
double t284871=(t284861+t284866);
double t284929=(t251156*1.);
double t284934=(1.*t251160);
double t284939=(t251156*0.);
double t284944=(t284934+t284939);
double t285002=(t284856+t284929);
double t285007=(t284871+t284944);
double t285729=(t283837+t284783);
double t285734=(t283852+t284798);
double t285792=(t284056+t285002);
double t285797=(t284061+t285007);
double t286519=(t283047-t285729);
double t286524=(t283052-t285734);
double t286582=(t283110-t285792);
double t286587=(t283115-t285797);
double t287309=(0.-t286519);
double t287314=(0.-t286524);
double t287372=(0.-t286582);
double t287377=(0.-t286587);
double t287588=(a_f286_2261+1.);
double t287592=(a_f286_2266+0.);
double t288966;
double t288967;
double t288968;
double t288969;
double t288970;
double t288971;
double t288972;
double t288973;
double t288974;
double t288975;
double t288976;
double t288977;
double t288978;
double t288979;
double t288980;
double t288981;
double t288982;
double t288983;
t288966=a_f286_2251;
t288967=a_f286_2252;
t288968=a_f286_2253;
t288969=a_f286_2254;
t288970=t250895;
t288971=t251156;
t288972=t257158;
t288973=t273341;
t288974=t287372;
t288975=a_f286_2260;
t288976=t287588;
t288977=t250899;
t288978=t251160;
t288979=t257163;
t288980=t273346;
t288981=t287377;
t288982=a_f286_2265;
t288983=t287592;
f280(t288966,t288967,t288968,t288969,t288970,t288971,t288972,t288973,t288974,t288975,t288976,t288977,t288978,t288979,t288980,t288981,t288982,t288983);
double t287819=r_f280_4005;
double t287818=r_f280_4006;
double t287817=r_f280_4007;
double t287816=r_f280_4008;
t288938=t287819;
t288939=t287818;
t288940=t287817;
t288941=t287816;
}
 else {
panic("Arguments to bundle do not conform");
}
}
 else {
if((t257211==0)){
panic("Arguments to bundle do not conform");
}
 else {
double t288343=(a_f286_2260/2.);
double t288348=(2.*a_f286_2265);
double t288353=(a_f286_2260*0.);
double t288358=(t288348-t288353);
double t288363=(2.*2.);
double t288368=(t288358/t288363);
double t288988;
double t288989;
double t288990;
double t288991;
double t288992;
double t288993;
double t288994;
double t288995;
double t288996;
double t288997;
double t288998;
double t288999;
double t289000;
double t289001;
double t289002;
double t289003;
t288988=a_f286_2251;
t288989=a_f286_2252;
t288990=a_f286_2253;
t288991=a_f286_2254;
t288992=a_f286_2255;
t288993=a_f286_2256;
t288994=a_f286_2257;
t288995=a_f286_2258;
t288996=a_f286_2259;
t288997=t288343;
t288998=0.;
t288999=a_f286_2262;
t289000=a_f286_2263;
t289001=a_f286_2264;
t289002=t288368;
t289003=0.;
f286(t288988,t288989,t288990,t288991,t288992,t288993,t288994,t288995,t288996,t288997,t288998,t288999,t289000,t289001,t289002,t289003);
double t288590=r_f286_4351;
double t288589=r_f286_4352;
double t288588=r_f286_4353;
double t288587=r_f286_4354;
t288938=t288590;
t288939=t288589;
t288940=t288588;
t288941=t288587;
}
}
}
}
}
}
}
}
r_f286_4351=t288938;
r_f286_4352=t288939;
r_f286_4353=t288940;
r_f286_4354=t288941;
}
int main(void){
double t289004;
double t289005;
double t289006;
double t289007;
double t289008;
t289004=1000.;
t289005=0.;
t289006=0.;
t289007=0.;
t289008=0.;
f230(t289004,t289005,t289006,t289007,t289008);
double t288629=r_f230_3663;
double t288628=r_f230_3664;
double t288627=r_f230_3665;
double t288626=r_f230_3666;
return 0;
}