#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 f1595(double a_f1595_1681,double a_f1595_1682,double a_f1595_1683,double a_f1595_1684);
static double r_f1595_3330;
static double r_f1595_3331;
static double r_f1595_3332;
static double r_f1595_3333;
static double r_f1595_3334;
static void f1602(double a_f1602_1685,double a_f1602_1686,double a_f1602_1687);
static double r_f1602_3352;
static double r_f1602_3353;
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 f1595(double a_f1595_1681,double a_f1595_1682,double a_f1595_1683,double a_f1595_1684){
double t801263;
double t801264;
double t801265;
double t801266;
double t801267;
int t156970=((a_f1595_1683==0.)?0:1);
if((t156970==0)){
double t157041=(1.-a_f1595_1681);
double t157105=(1.-a_f1595_1682);
double t158517=(1.*1.);
double t158695=(t158517+0.);
double t158737=(t158517/t158695);
double t159094=(t158737*1.);
double t159628=(t159094+0.);
double t159724=(t159094/t159628);
double t162265=(1.*1.);
double t162443=(t162265+0.);
double t162485=(t162265/t162443);
double t162842=(t162485*1.);
double t163376=(t162842+0.);
double t163472=(t162842/t163376);
double t164567=(1.*1.);
double t164658=(t164567+0.);
double t164682=(t164567/t164658);
double t164762=(1.*t164682);
double t164854=(t164762+0.);
double t164878=(t164762/t164854);
double t164917=(t157105*t164878);
double t165662=(1.*1.);
double t165753=(t165662+0.);
double t165777=(t165662/t165753);
double t165857=(1.*t165777);
double t165949=(t165857+0.);
double t165973=(t165857/t165949);
double t166003=(a_f1595_1682*t165973);
double t166132=(t166003+0.);
double t166137=(t164917+t166132);
double t166169=(t164917/t166137);
double t166199=(t166003/t166137);
double t166318=(t163472*t166169);
double t166464=(t163472*t166199);
double t166667=(t166464+0.);
double t166672=(t166318+t166667);
double t166704=(t166318/t166672);
double t166734=(t166464/t166672);
double t166823=(1.*t166704);
double t166927=(1.*t166734);
double t167114=(t166927+0.);
double t167119=(t166823+t167114);
double t167151=(t166823/t167119);
double t167181=(t166927/t167119);
double t167270=(1.*t167151);
double t167374=(1.*t167181);
double t167562=(t167374+0.);
double t167567=(t167270+t167562);
double t167599=(t167270/t167567);
double t167629=(t167374/t167567);
double t167677=(t157041*t167599);
double t167724=(t157041*t167629);
double t168521=(1.*1.);
double t168612=(t168521+0.);
double t168636=(t168521/t168612);
double t168716=(1.*t168636);
double t168808=(t168716+0.);
double t168832=(t168716/t168808);
double t168862=(a_f1595_1681*t168832);
double t169057=(t168862+0.);
double t169062=(t167724+t169057);
double t169067=(t167677+t169062);
double t169107=(t167677/t169067);
double t169146=(t167724/t169067);
double t169176=(t168862/t169067);
double t169305=(t159724*t169107);
double t169460=(t159724*t169146);
double t169606=(t159724*t169176);
double t169952=(t169606+0.);
double t169957=(t169460+t169952);
double t169962=(t169305+t169957);
double t170002=(t169305/t169962);
double t170041=(t169460/t169962);
double t170071=(t169606/t169962);
double t170245=(t170071+0.);
double t170250=(0.+t170245);
double t170255=(0.+t170250);
double t170421=(0.+0.);
double t170426=(t170041+t170421);
double t170431=(0.+t170426);
double t170601=(0.+0.);
double t170606=(0.+t170601);
double t170611=(t170002+t170606);
double t170781=(0.+0.);
double t170786=(0.+t170781);
double t170791=(t170002+t170786);
double t170848=(t170791*1.);
double t170853=(t170611*t170848);
double t170858=(t170431*t170853);
double t170863=(t170255*t170858);
double t171345=(1.-a_f1595_1681);
double t171349=(0.-1.);
double t172166=(1.-a_f1595_1682);
double t172170=(0.-0.);
double t188218=(1.*1.);
double t188222=(1.*0.);
double t188226=(1.*0.);
double t188231=(t188222+t188226);
double t190295=(t188218+0.);
double t190299=(t188231+0.);
double t190790=(t188218/t190295);
double t190795=(t190295*t188231);
double t190800=(t188218*t190299);
double t190805=(t190795-t190800);
double t190810=(t190295*t190295);
double t190815=(t190805/t190810);
double t195224=(t190790*1.);
double t195229=(1.*t190815);
double t195233=(t190790*0.);
double t195238=(t195229+t195233);
double t200823=(t195224+0.);
double t200827=(t195238+0.);
double t201846=(t195224/t200823);
double t201851=(t200823*t195238);
double t201856=(t195224*t200827);
double t201861=(t201851-t201856);
double t201866=(t200823*t200823);
double t201871=(t201861/t201866);
double t231798=(1.*1.);
double t231802=(1.*0.);
double t231806=(1.*0.);
double t231811=(t231802+t231806);
double t233875=(t231798+0.);
double t233879=(t231811+0.);
double t234370=(t231798/t233875);
double t234375=(t233875*t231811);
double t234380=(t231798*t233879);
double t234385=(t234375-t234380);
double t234390=(t233875*t233875);
double t234395=(t234385/t234390);
double t238804=(t234370*1.);
double t238809=(1.*t234395);
double t238813=(t234370*0.);
double t238818=(t238809+t238813);
double t244403=(t238804+0.);
double t244407=(t238818+0.);
double t245426=(t238804/t244403);
double t245431=(t244403*t238818);
double t245436=(t238804*t244407);
double t245441=(t245431-t245436);
double t245446=(t244403*t244403);
double t245451=(t245441/t245446);
double t258662=(1.*1.);
double t258666=(1.*0.);
double t258670=(1.*0.);
double t258675=(t258666+t258670);
double t259398=(t258662+0.);
double t259402=(t258675+0.);
double t259672=(t258662/t259398);
double t259677=(t259398*t258675);
double t259682=(t258662*t259402);
double t259687=(t259677-t259682);
double t259692=(t259398*t259398);
double t259697=(t259687/t259692);
double t260515=(1.*t259672);
double t260519=(t259672*0.);
double t260524=(1.*t259697);
double t260529=(t260519+t260524);
double t261254=(t260515+0.);
double t261258=(t260529+0.);
double t261528=(t260515/t261254);
double t261533=(t261254*t260529);
double t261538=(t260515*t261258);
double t261543=(t261533-t261538);
double t261548=(t261254*t261254);
double t261553=(t261543/t261548);
double t262015=(t172166*t261528);
double t262020=(t261528*t172170);
double t262025=(t172166*t261553);
double t262030=(t262020+t262025);
double t270973=(1.*1.);
double t270977=(1.*0.);
double t270981=(1.*0.);
double t270986=(t270977+t270981);
double t271709=(t270973+0.);
double t271713=(t270986+0.);
double t271983=(t270973/t271709);
double t271988=(t271709*t270986);
double t271993=(t270973*t271713);
double t271998=(t271988-t271993);
double t272003=(t271709*t271709);
double t272008=(t271998/t272003);
double t272826=(1.*t271983);
double t272830=(t271983*0.);
double t272835=(1.*t272008);
double t272840=(t272830+t272835);
double t273565=(t272826+0.);
double t273569=(t272840+0.);
double t273839=(t272826/t273565);
double t273844=(t273565*t272840);
double t273849=(t272826*t273569);
double t273854=(t273844-t273849);
double t273859=(t273565*t273565);
double t273864=(t273854/t273859);
double t274206=(a_f1595_1682*t273839);
double t274211=(t273839*0.);
double t274216=(a_f1595_1682*t273864);
double t274221=(t274211+t274216);
double t275601=(t274206+0.);
double t275605=(t274221+0.);
double t275663=(t262015+t275601);
double t275668=(t262030+t275605);
double t276038=(t262015/t275663);
double t276043=(t275663*t262030);
double t276048=(t262015*t275668);
double t276053=(t276043-t276048);
double t276058=(t275663*t275663);
double t276063=(t276053/t276058);
double t276401=(t274206/t275663);
double t276406=(t275663*t274221);
double t276411=(t274206*t275668);
double t276416=(t276406-t276411);
double t276421=(t275663*t275663);
double t276426=(t276416/t276421);
double t277775=(t245426*t276038);
double t277780=(t276038*t245451);
double t277785=(t245426*t276063);
double t277790=(t277780+t277785);
double t279175=(t245426*t276401);
double t279180=(t276401*t245451);
double t279185=(t245426*t276426);
double t279190=(t279180+t279185);
double t281141=(t279175+0.);
double t281145=(t279190+0.);
double t281203=(t277775+t281141);
double t281208=(t277790+t281145);
double t281578=(t277775/t281203);
double t281583=(t281203*t277790);
double t281588=(t277775*t281208);
double t281593=(t281583-t281588);
double t281598=(t281203*t281203);
double t281603=(t281593/t281598);
double t281941=(t279175/t281203);
double t281946=(t281203*t279190);
double t281951=(t279175*t281208);
double t281956=(t281946-t281951);
double t281961=(t281203*t281203);
double t281966=(t281956/t281961);
double t282906=(1.*t281578);
double t282910=(t281578*0.);
double t282915=(1.*t281603);
double t282920=(t282910+t282915);
double t283842=(1.*t281941);
double t283846=(t281941*0.);
double t283851=(1.*t281966);
double t283856=(t283846+t283851);
double t285746=(t283842+0.);
double t285750=(t283856+0.);
double t285808=(t282906+t285746);
double t285813=(t282920+t285750);
double t286183=(t282906/t285808);
double t286188=(t285808*t282920);
double t286193=(t282906*t285813);
double t286198=(t286188-t286193);
double t286203=(t285808*t285808);
double t286208=(t286198/t286203);
double t286546=(t283842/t285808);
double t286551=(t285808*t283856);
double t286556=(t283842*t285813);
double t286561=(t286551-t286556);
double t286566=(t285808*t285808);
double t286571=(t286561/t286566);
double t287511=(1.*t286183);
double t287515=(t286183*0.);
double t287520=(1.*t286208);
double t287525=(t287515+t287520);
double t288447=(1.*t286546);
double t288451=(t286546*0.);
double t288456=(1.*t286571);
double t288461=(t288451+t288456);
double t290352=(t288447+0.);
double t290356=(t288461+0.);
double t290414=(t287511+t290352);
double t290419=(t287525+t290356);
double t290789=(t287511/t290414);
double t290794=(t290414*t287525);
double t290799=(t287511*t290419);
double t290804=(t290794-t290799);
double t290809=(t290414*t290414);
double t290814=(t290804/t290809);
double t291152=(t288447/t290414);
double t291157=(t290414*t288461);
double t291162=(t288447*t290419);
double t291167=(t291157-t291162);
double t291172=(t290414*t290414);
double t291177=(t291167/t291172);
double t291761=(t171345*t290789);
double t291766=(t290789*t171349);
double t291771=(t171345*t290814);
double t291776=(t291766+t291771);
double t292296=(t171345*t291152);
double t292301=(t291152*t171349);
double t292306=(t171345*t291177);
double t292311=(t292301+t292306);
double t301894=(1.*1.);
double t301898=(1.*0.);
double t301902=(1.*0.);
double t301907=(t301898+t301902);
double t302630=(t301894+0.);
double t302634=(t301907+0.);
double t302904=(t301894/t302630);
double t302909=(t302630*t301907);
double t302914=(t301894*t302634);
double t302919=(t302909-t302914);
double t302924=(t302630*t302630);
double t302929=(t302919/t302924);
double t303747=(1.*t302904);
double t303751=(t302904*0.);
double t303756=(1.*t302929);
double t303761=(t303751+t303756);
double t304486=(t303747+0.);
double t304490=(t303761+0.);
double t304760=(t303747/t304486);
double t304765=(t304486*t303761);
double t304770=(t303747*t304490);
double t304775=(t304765-t304770);
double t304780=(t304486*t304486);
double t304785=(t304775/t304780);
double t305127=(a_f1595_1681*t304760);
double t305132=(t304760*1.);
double t305137=(a_f1595_1681*t304785);
double t305142=(t305132+t305137);
double t307362=(t305127+0.);
double t307366=(t305142+0.);
double t307424=(t292296+t307362);
double t307429=(t292311+t307366);
double t307487=(t291761+t307424);
double t307492=(t291776+t307429);
double t307959=(t291761/t307487);
double t307964=(t307487*t291776);
double t307969=(t291761*t307492);
double t307974=(t307964-t307969);
double t307979=(t307487*t307487);
double t307984=(t307974/t307979);
double t308437=(t292296/t307487);
double t308442=(t307487*t292311);
double t308447=(t292296*t307492);
double t308452=(t308442-t308447);
double t308457=(t307487*t307487);
double t308462=(t308452/t308457);
double t308800=(t305127/t307487);
double t308805=(t307487*t305142);
double t308810=(t305127*t307492);
double t308815=(t308805-t308810);
double t308820=(t307487*t307487);
double t308825=(t308815/t308820);
double t310305=(t201846*t307959);
double t310310=(t307959*t201871);
double t310315=(t201846*t307984);
double t310320=(t310310+t310315);
double t311820=(t201846*t308437);
double t311825=(t308437*t201871);
double t311830=(t201846*t308462);
double t311835=(t311825+t311830);
double t313220=(t201846*t308800);
double t313225=(t308800*t201871);
double t313230=(t201846*t308825);
double t313235=(t313225+t313230);
double t316928=(t313220+0.);
double t316932=(t313235+0.);
double t316990=(t311820+t316928);
double t316995=(t311835+t316932);
double t317053=(t310305+t316990);
double t317058=(t310320+t316995);
double t317525=(t310305/t317053);
double t317530=(t317053*t310320);
double t317535=(t310305*t317058);
double t317540=(t317530-t317535);
double t317545=(t317053*t317053);
double t317550=(t317540/t317545);
double t318003=(t311820/t317053);
double t318008=(t317053*t311835);
double t318013=(t311820*t317058);
double t318018=(t318008-t318013);
double t318023=(t317053*t317053);
double t318028=(t318018/t318023);
double t318366=(t313220/t317053);
double t318371=(t317053*t313235);
double t318376=(t313220*t317058);
double t318381=(t318371-t318376);
double t318386=(t317053*t317053);
double t318391=(t318381/t318386);
double t320584=(t318366+0.);
double t320588=(t318391+0.);
double t320632=(0.+t320584);
double t320636=(0.+t320588);
double t320680=(0.+t320632);
double t320684=(0.+t320636);
double t322793=(0.+0.);
double t322833=(t318003+t322793);
double t322837=(t318028+0.);
double t322881=(0.+t322833);
double t322885=(0.+t322837);
double t325034=(0.+0.);
double t325062=(0.+t325034);
double t325102=(t317525+t325062);
double t325106=(t317550+0.);
double t327255=(0.+0.);
double t327283=(0.+t327255);
double t327323=(t317525+t327283);
double t327327=(t317550+0.);
double t328126=(t327323*1.);
double t328131=(1.*t327327);
double t328135=(t327323*0.);
double t328140=(t328131+t328135);
double t328198=(t325102*t328126);
double t328203=(t328126*t325106);
double t328208=(t325102*t328140);
double t328213=(t328203+t328208);
double t328271=(t322881*t328198);
double t328276=(t328198*t322885);
double t328281=(t322881*t328213);
double t328286=(t328276+t328281);
double t328344=(t320680*t328271);
double t328349=(t328271*t320684);
double t328354=(t320680*t328286);
double t328359=(t328349+t328354);
double t328842=(1.-a_f1595_1681);
double t328846=(0.-0.);
double t329663=(1.-a_f1595_1682);
double t329667=(0.-1.);
double t345715=(1.*1.);
double t345719=(1.*0.);
double t345723=(1.*0.);
double t345728=(t345719+t345723);
double t347792=(t345715+0.);
double t347796=(t345728+0.);
double t348287=(t345715/t347792);
double t348292=(t347792*t345728);
double t348297=(t345715*t347796);
double t348302=(t348292-t348297);
double t348307=(t347792*t347792);
double t348312=(t348302/t348307);
double t352721=(t348287*1.);
double t352726=(1.*t348312);
double t352730=(t348287*0.);
double t352735=(t352726+t352730);
double t358320=(t352721+0.);
double t358324=(t352735+0.);
double t359343=(t352721/t358320);
double t359348=(t358320*t352735);
double t359353=(t352721*t358324);
double t359358=(t359348-t359353);
double t359363=(t358320*t358320);
double t359368=(t359358/t359363);
double t389295=(1.*1.);
double t389299=(1.*0.);
double t389303=(1.*0.);
double t389308=(t389299+t389303);
double t391372=(t389295+0.);
double t391376=(t389308+0.);
double t391867=(t389295/t391372);
double t391872=(t391372*t389308);
double t391877=(t389295*t391376);
double t391882=(t391872-t391877);
double t391887=(t391372*t391372);
double t391892=(t391882/t391887);
double t396301=(t391867*1.);
double t396306=(1.*t391892);
double t396310=(t391867*0.);
double t396315=(t396306+t396310);
double t401900=(t396301+0.);
double t401904=(t396315+0.);
double t402923=(t396301/t401900);
double t402928=(t401900*t396315);
double t402933=(t396301*t401904);
double t402938=(t402928-t402933);
double t402943=(t401900*t401900);
double t402948=(t402938/t402943);
double t416159=(1.*1.);
double t416163=(1.*0.);
double t416167=(1.*0.);
double t416172=(t416163+t416167);
double t416895=(t416159+0.);
double t416899=(t416172+0.);
double t417169=(t416159/t416895);
double t417174=(t416895*t416172);
double t417179=(t416159*t416899);
double t417184=(t417174-t417179);
double t417189=(t416895*t416895);
double t417194=(t417184/t417189);
double t418012=(1.*t417169);
double t418016=(t417169*0.);
double t418021=(1.*t417194);
double t418026=(t418016+t418021);
double t418751=(t418012+0.);
double t418755=(t418026+0.);
double t419025=(t418012/t418751);
double t419030=(t418751*t418026);
double t419035=(t418012*t418755);
double t419040=(t419030-t419035);
double t419045=(t418751*t418751);
double t419050=(t419040/t419045);
double t419512=(t329663*t419025);
double t419517=(t419025*t329667);
double t419522=(t329663*t419050);
double t419527=(t419517+t419522);
double t428470=(1.*1.);
double t428474=(1.*0.);
double t428478=(1.*0.);
double t428483=(t428474+t428478);
double t429206=(t428470+0.);
double t429210=(t428483+0.);
double t429480=(t428470/t429206);
double t429485=(t429206*t428483);
double t429490=(t428470*t429210);
double t429495=(t429485-t429490);
double t429500=(t429206*t429206);
double t429505=(t429495/t429500);
double t430323=(1.*t429480);
double t430327=(t429480*0.);
double t430332=(1.*t429505);
double t430337=(t430327+t430332);
double t431062=(t430323+0.);
double t431066=(t430337+0.);
double t431336=(t430323/t431062);
double t431341=(t431062*t430337);
double t431346=(t430323*t431066);
double t431351=(t431341-t431346);
double t431356=(t431062*t431062);
double t431361=(t431351/t431356);
double t431703=(a_f1595_1682*t431336);
double t431708=(t431336*1.);
double t431713=(a_f1595_1682*t431361);
double t431718=(t431708+t431713);
double t433098=(t431703+0.);
double t433102=(t431718+0.);
double t433160=(t419512+t433098);
double t433165=(t419527+t433102);
double t433535=(t419512/t433160);
double t433540=(t433160*t419527);
double t433545=(t419512*t433165);
double t433550=(t433540-t433545);
double t433555=(t433160*t433160);
double t433560=(t433550/t433555);
double t433898=(t431703/t433160);
double t433903=(t433160*t431718);
double t433908=(t431703*t433165);
double t433913=(t433903-t433908);
double t433918=(t433160*t433160);
double t433923=(t433913/t433918);
double t435272=(t402923*t433535);
double t435277=(t433535*t402948);
double t435282=(t402923*t433560);
double t435287=(t435277+t435282);
double t436672=(t402923*t433898);
double t436677=(t433898*t402948);
double t436682=(t402923*t433923);
double t436687=(t436677+t436682);
double t438638=(t436672+0.);
double t438642=(t436687+0.);
double t438700=(t435272+t438638);
double t438705=(t435287+t438642);
double t439075=(t435272/t438700);
double t439080=(t438700*t435287);
double t439085=(t435272*t438705);
double t439090=(t439080-t439085);
double t439095=(t438700*t438700);
double t439100=(t439090/t439095);
double t439438=(t436672/t438700);
double t439443=(t438700*t436687);
double t439448=(t436672*t438705);
double t439453=(t439443-t439448);
double t439458=(t438700*t438700);
double t439463=(t439453/t439458);
double t440403=(1.*t439075);
double t440407=(t439075*0.);
double t440412=(1.*t439100);
double t440417=(t440407+t440412);
double t441339=(1.*t439438);
double t441343=(t439438*0.);
double t441348=(1.*t439463);
double t441353=(t441343+t441348);
double t443243=(t441339+0.);
double t443247=(t441353+0.);
double t443305=(t440403+t443243);
double t443310=(t440417+t443247);
double t443680=(t440403/t443305);
double t443685=(t443305*t440417);
double t443690=(t440403*t443310);
double t443695=(t443685-t443690);
double t443700=(t443305*t443305);
double t443705=(t443695/t443700);
double t444043=(t441339/t443305);
double t444048=(t443305*t441353);
double t444053=(t441339*t443310);
double t444058=(t444048-t444053);
double t444063=(t443305*t443305);
double t444068=(t444058/t444063);
double t445008=(1.*t443680);
double t445012=(t443680*0.);
double t445017=(1.*t443705);
double t445022=(t445012+t445017);
double t445944=(1.*t444043);
double t445948=(t444043*0.);
double t445953=(1.*t444068);
double t445958=(t445948+t445953);
double t447849=(t445944+0.);
double t447853=(t445958+0.);
double t447911=(t445008+t447849);
double t447916=(t445022+t447853);
double t448286=(t445008/t447911);
double t448291=(t447911*t445022);
double t448296=(t445008*t447916);
double t448301=(t448291-t448296);
double t448306=(t447911*t447911);
double t448311=(t448301/t448306);
double t448649=(t445944/t447911);
double t448654=(t447911*t445958);
double t448659=(t445944*t447916);
double t448664=(t448654-t448659);
double t448669=(t447911*t447911);
double t448674=(t448664/t448669);
double t449258=(t328842*t448286);
double t449263=(t448286*t328846);
double t449268=(t328842*t448311);
double t449273=(t449263+t449268);
double t449793=(t328842*t448649);
double t449798=(t448649*t328846);
double t449803=(t328842*t448674);
double t449808=(t449798+t449803);
double t459391=(1.*1.);
double t459395=(1.*0.);
double t459399=(1.*0.);
double t459404=(t459395+t459399);
double t460127=(t459391+0.);
double t460131=(t459404+0.);
double t460401=(t459391/t460127);
double t460406=(t460127*t459404);
double t460411=(t459391*t460131);
double t460416=(t460406-t460411);
double t460421=(t460127*t460127);
double t460426=(t460416/t460421);
double t461244=(1.*t460401);
double t461248=(t460401*0.);
double t461253=(1.*t460426);
double t461258=(t461248+t461253);
double t461983=(t461244+0.);
double t461987=(t461258+0.);
double t462257=(t461244/t461983);
double t462262=(t461983*t461258);
double t462267=(t461244*t461987);
double t462272=(t462262-t462267);
double t462277=(t461983*t461983);
double t462282=(t462272/t462277);
double t462624=(a_f1595_1681*t462257);
double t462629=(t462257*0.);
double t462634=(a_f1595_1681*t462282);
double t462639=(t462629+t462634);
double t464859=(t462624+0.);
double t464863=(t462639+0.);
double t464921=(t449793+t464859);
double t464926=(t449808+t464863);
double t464984=(t449258+t464921);
double t464989=(t449273+t464926);
double t465456=(t449258/t464984);
double t465461=(t464984*t449273);
double t465466=(t449258*t464989);
double t465471=(t465461-t465466);
double t465476=(t464984*t464984);
double t465481=(t465471/t465476);
double t465934=(t449793/t464984);
double t465939=(t464984*t449808);
double t465944=(t449793*t464989);
double t465949=(t465939-t465944);
double t465954=(t464984*t464984);
double t465959=(t465949/t465954);
double t466297=(t462624/t464984);
double t466302=(t464984*t462639);
double t466307=(t462624*t464989);
double t466312=(t466302-t466307);
double t466317=(t464984*t464984);
double t466322=(t466312/t466317);
double t467802=(t359343*t465456);
double t467807=(t465456*t359368);
double t467812=(t359343*t465481);
double t467817=(t467807+t467812);
double t469317=(t359343*t465934);
double t469322=(t465934*t359368);
double t469327=(t359343*t465959);
double t469332=(t469322+t469327);
double t470717=(t359343*t466297);
double t470722=(t466297*t359368);
double t470727=(t359343*t466322);
double t470732=(t470722+t470727);
double t474425=(t470717+0.);
double t474429=(t470732+0.);
double t474487=(t469317+t474425);
double t474492=(t469332+t474429);
double t474550=(t467802+t474487);
double t474555=(t467817+t474492);
double t475022=(t467802/t474550);
double t475027=(t474550*t467817);
double t475032=(t467802*t474555);
double t475037=(t475027-t475032);
double t475042=(t474550*t474550);
double t475047=(t475037/t475042);
double t475500=(t469317/t474550);
double t475505=(t474550*t469332);
double t475510=(t469317*t474555);
double t475515=(t475505-t475510);
double t475520=(t474550*t474550);
double t475525=(t475515/t475520);
double t475863=(t470717/t474550);
double t475868=(t474550*t470732);
double t475873=(t470717*t474555);
double t475878=(t475868-t475873);
double t475883=(t474550*t474550);
double t475888=(t475878/t475883);
double t478081=(t475863+0.);
double t478085=(t475888+0.);
double t478129=(0.+t478081);
double t478133=(0.+t478085);
double t478177=(0.+t478129);
double t478181=(0.+t478133);
double t480290=(0.+0.);
double t480330=(t475500+t480290);
double t480334=(t475525+0.);
double t480378=(0.+t480330);
double t480382=(0.+t480334);
double t482531=(0.+0.);
double t482559=(0.+t482531);
double t482599=(t475022+t482559);
double t482603=(t475047+0.);
double t484752=(0.+0.);
double t484780=(0.+t484752);
double t484820=(t475022+t484780);
double t484824=(t475047+0.);
double t485623=(t484820*1.);
double t485628=(1.*t484824);
double t485632=(t484820*0.);
double t485637=(t485628+t485632);
double t485695=(t482599*t485623);
double t485700=(t485623*t482603);
double t485705=(t482599*t485637);
double t485710=(t485700+t485705);
double t485768=(t480378*t485695);
double t485773=(t485695*t480382);
double t485778=(t480378*t485710);
double t485783=(t485773+t485778);
double t485841=(t478177*t485768);
double t485846=(t485768*t478181);
double t485851=(t478177*t485783);
double t485856=(t485846+t485851);
t801263=a_f1595_1681;
t801264=a_f1595_1682;
t801265=t170863;
t801266=t328359;
t801267=t485856;
}
 else {
double t486377=(1.-a_f1595_1681);
double t486381=(0.-1.);
double t487198=(1.-a_f1595_1682);
double t487202=(0.-0.);
double t503250=(1.*1.);
double t503254=(1.*0.);
double t503258=(1.*0.);
double t503263=(t503254+t503258);
double t505327=(t503250+0.);
double t505331=(t503263+0.);
double t505822=(t503250/t505327);
double t505827=(t505327*t503263);
double t505832=(t503250*t505331);
double t505837=(t505827-t505832);
double t505842=(t505327*t505327);
double t505847=(t505837/t505842);
double t510256=(t505822*1.);
double t510261=(1.*t505847);
double t510265=(t505822*0.);
double t510270=(t510261+t510265);
double t515855=(t510256+0.);
double t515859=(t510270+0.);
double t516878=(t510256/t515855);
double t516883=(t515855*t510270);
double t516888=(t510256*t515859);
double t516893=(t516883-t516888);
double t516898=(t515855*t515855);
double t516903=(t516893/t516898);
double t546830=(1.*1.);
double t546834=(1.*0.);
double t546838=(1.*0.);
double t546843=(t546834+t546838);
double t548907=(t546830+0.);
double t548911=(t546843+0.);
double t549402=(t546830/t548907);
double t549407=(t548907*t546843);
double t549412=(t546830*t548911);
double t549417=(t549407-t549412);
double t549422=(t548907*t548907);
double t549427=(t549417/t549422);
double t553836=(t549402*1.);
double t553841=(1.*t549427);
double t553845=(t549402*0.);
double t553850=(t553841+t553845);
double t559435=(t553836+0.);
double t559439=(t553850+0.);
double t560458=(t553836/t559435);
double t560463=(t559435*t553850);
double t560468=(t553836*t559439);
double t560473=(t560463-t560468);
double t560478=(t559435*t559435);
double t560483=(t560473/t560478);
double t573694=(1.*1.);
double t573698=(1.*0.);
double t573702=(1.*0.);
double t573707=(t573698+t573702);
double t574430=(t573694+0.);
double t574434=(t573707+0.);
double t574704=(t573694/t574430);
double t574709=(t574430*t573707);
double t574714=(t573694*t574434);
double t574719=(t574709-t574714);
double t574724=(t574430*t574430);
double t574729=(t574719/t574724);
double t575547=(1.*t574704);
double t575551=(t574704*0.);
double t575556=(1.*t574729);
double t575561=(t575551+t575556);
double t576286=(t575547+0.);
double t576290=(t575561+0.);
double t576560=(t575547/t576286);
double t576565=(t576286*t575561);
double t576570=(t575547*t576290);
double t576575=(t576565-t576570);
double t576580=(t576286*t576286);
double t576585=(t576575/t576580);
double t577047=(t487198*t576560);
double t577052=(t576560*t487202);
double t577057=(t487198*t576585);
double t577062=(t577052+t577057);
double t586005=(1.*1.);
double t586009=(1.*0.);
double t586013=(1.*0.);
double t586018=(t586009+t586013);
double t586741=(t586005+0.);
double t586745=(t586018+0.);
double t587015=(t586005/t586741);
double t587020=(t586741*t586018);
double t587025=(t586005*t586745);
double t587030=(t587020-t587025);
double t587035=(t586741*t586741);
double t587040=(t587030/t587035);
double t587858=(1.*t587015);
double t587862=(t587015*0.);
double t587867=(1.*t587040);
double t587872=(t587862+t587867);
double t588597=(t587858+0.);
double t588601=(t587872+0.);
double t588871=(t587858/t588597);
double t588876=(t588597*t587872);
double t588881=(t587858*t588601);
double t588886=(t588876-t588881);
double t588891=(t588597*t588597);
double t588896=(t588886/t588891);
double t589238=(a_f1595_1682*t588871);
double t589243=(t588871*0.);
double t589248=(a_f1595_1682*t588896);
double t589253=(t589243+t589248);
double t590633=(t589238+0.);
double t590637=(t589253+0.);
double t590695=(t577047+t590633);
double t590700=(t577062+t590637);
double t591070=(t577047/t590695);
double t591075=(t590695*t577062);
double t591080=(t577047*t590700);
double t591085=(t591075-t591080);
double t591090=(t590695*t590695);
double t591095=(t591085/t591090);
double t591433=(t589238/t590695);
double t591438=(t590695*t589253);
double t591443=(t589238*t590700);
double t591448=(t591438-t591443);
double t591453=(t590695*t590695);
double t591458=(t591448/t591453);
double t592807=(t560458*t591070);
double t592812=(t591070*t560483);
double t592817=(t560458*t591095);
double t592822=(t592812+t592817);
double t594207=(t560458*t591433);
double t594212=(t591433*t560483);
double t594217=(t560458*t591458);
double t594222=(t594212+t594217);
double t596173=(t594207+0.);
double t596177=(t594222+0.);
double t596235=(t592807+t596173);
double t596240=(t592822+t596177);
double t596610=(t592807/t596235);
double t596615=(t596235*t592822);
double t596620=(t592807*t596240);
double t596625=(t596615-t596620);
double t596630=(t596235*t596235);
double t596635=(t596625/t596630);
double t596973=(t594207/t596235);
double t596978=(t596235*t594222);
double t596983=(t594207*t596240);
double t596988=(t596978-t596983);
double t596993=(t596235*t596235);
double t596998=(t596988/t596993);
double t597938=(1.*t596610);
double t597942=(t596610*0.);
double t597947=(1.*t596635);
double t597952=(t597942+t597947);
double t598874=(1.*t596973);
double t598878=(t596973*0.);
double t598883=(1.*t596998);
double t598888=(t598878+t598883);
double t600778=(t598874+0.);
double t600782=(t598888+0.);
double t600840=(t597938+t600778);
double t600845=(t597952+t600782);
double t601215=(t597938/t600840);
double t601220=(t600840*t597952);
double t601225=(t597938*t600845);
double t601230=(t601220-t601225);
double t601235=(t600840*t600840);
double t601240=(t601230/t601235);
double t601578=(t598874/t600840);
double t601583=(t600840*t598888);
double t601588=(t598874*t600845);
double t601593=(t601583-t601588);
double t601598=(t600840*t600840);
double t601603=(t601593/t601598);
double t602543=(1.*t601215);
double t602547=(t601215*0.);
double t602552=(1.*t601240);
double t602557=(t602547+t602552);
double t603479=(1.*t601578);
double t603483=(t601578*0.);
double t603488=(1.*t601603);
double t603493=(t603483+t603488);
double t605384=(t603479+0.);
double t605388=(t603493+0.);
double t605446=(t602543+t605384);
double t605451=(t602557+t605388);
double t605821=(t602543/t605446);
double t605826=(t605446*t602557);
double t605831=(t602543*t605451);
double t605836=(t605826-t605831);
double t605841=(t605446*t605446);
double t605846=(t605836/t605841);
double t606184=(t603479/t605446);
double t606189=(t605446*t603493);
double t606194=(t603479*t605451);
double t606199=(t606189-t606194);
double t606204=(t605446*t605446);
double t606209=(t606199/t606204);
double t606793=(t486377*t605821);
double t606798=(t605821*t486381);
double t606803=(t486377*t605846);
double t606808=(t606798+t606803);
double t607328=(t486377*t606184);
double t607333=(t606184*t486381);
double t607338=(t486377*t606209);
double t607343=(t607333+t607338);
double t616926=(1.*1.);
double t616930=(1.*0.);
double t616934=(1.*0.);
double t616939=(t616930+t616934);
double t617662=(t616926+0.);
double t617666=(t616939+0.);
double t617936=(t616926/t617662);
double t617941=(t617662*t616939);
double t617946=(t616926*t617666);
double t617951=(t617941-t617946);
double t617956=(t617662*t617662);
double t617961=(t617951/t617956);
double t618779=(1.*t617936);
double t618783=(t617936*0.);
double t618788=(1.*t617961);
double t618793=(t618783+t618788);
double t619518=(t618779+0.);
double t619522=(t618793+0.);
double t619792=(t618779/t619518);
double t619797=(t619518*t618793);
double t619802=(t618779*t619522);
double t619807=(t619797-t619802);
double t619812=(t619518*t619518);
double t619817=(t619807/t619812);
double t620159=(a_f1595_1681*t619792);
double t620164=(t619792*1.);
double t620169=(a_f1595_1681*t619817);
double t620174=(t620164+t620169);
double t622394=(t620159+0.);
double t622398=(t620174+0.);
double t622456=(t607328+t622394);
double t622461=(t607343+t622398);
double t622519=(t606793+t622456);
double t622524=(t606808+t622461);
double t622991=(t606793/t622519);
double t622996=(t622519*t606808);
double t623001=(t606793*t622524);
double t623006=(t622996-t623001);
double t623011=(t622519*t622519);
double t623016=(t623006/t623011);
double t623469=(t607328/t622519);
double t623474=(t622519*t607343);
double t623479=(t607328*t622524);
double t623484=(t623474-t623479);
double t623489=(t622519*t622519);
double t623494=(t623484/t623489);
double t623832=(t620159/t622519);
double t623837=(t622519*t620174);
double t623842=(t620159*t622524);
double t623847=(t623837-t623842);
double t623852=(t622519*t622519);
double t623857=(t623847/t623852);
double t625337=(t516878*t622991);
double t625342=(t622991*t516903);
double t625347=(t516878*t623016);
double t625352=(t625342+t625347);
double t626852=(t516878*t623469);
double t626857=(t623469*t516903);
double t626862=(t516878*t623494);
double t626867=(t626857+t626862);
double t628252=(t516878*t623832);
double t628257=(t623832*t516903);
double t628262=(t516878*t623857);
double t628267=(t628257+t628262);
double t631960=(t628252+0.);
double t631964=(t628267+0.);
double t632022=(t626852+t631960);
double t632027=(t626867+t631964);
double t632085=(t625337+t632022);
double t632090=(t625352+t632027);
double t632557=(t625337/t632085);
double t632562=(t632085*t625352);
double t632567=(t625337*t632090);
double t632572=(t632562-t632567);
double t632577=(t632085*t632085);
double t632582=(t632572/t632577);
double t633035=(t626852/t632085);
double t633040=(t632085*t626867);
double t633045=(t626852*t632090);
double t633050=(t633040-t633045);
double t633055=(t632085*t632085);
double t633060=(t633050/t633055);
double t633398=(t628252/t632085);
double t633403=(t632085*t628267);
double t633408=(t628252*t632090);
double t633413=(t633403-t633408);
double t633418=(t632085*t632085);
double t633423=(t633413/t633418);
double t635616=(t633398+0.);
double t635620=(t633423+0.);
double t635664=(0.+t635616);
double t635668=(0.+t635620);
double t635712=(0.+t635664);
double t635716=(0.+t635668);
double t637825=(0.+0.);
double t637865=(t633035+t637825);
double t637869=(t633060+0.);
double t637913=(0.+t637865);
double t637917=(0.+t637869);
double t640066=(0.+0.);
double t640094=(0.+t640066);
double t640134=(t632557+t640094);
double t640138=(t632582+0.);
double t642287=(0.+0.);
double t642315=(0.+t642287);
double t642355=(t632557+t642315);
double t642359=(t632582+0.);
double t643158=(t642355*1.);
double t643163=(1.*t642359);
double t643167=(t642355*0.);
double t643172=(t643163+t643167);
double t643230=(t640134*t643158);
double t643235=(t643158*t640138);
double t643240=(t640134*t643172);
double t643245=(t643235+t643240);
double t643303=(t637913*t643230);
double t643308=(t643230*t637917);
double t643313=(t637913*t643245);
double t643318=(t643308+t643313);
double t643376=(t635712*t643303);
double t643381=(t643303*t635716);
double t643386=(t635712*t643318);
double t643391=(t643381+t643386);
double t643874=(1.-a_f1595_1681);
double t643878=(0.-0.);
double t644695=(1.-a_f1595_1682);
double t644699=(0.-1.);
double t660747=(1.*1.);
double t660751=(1.*0.);
double t660755=(1.*0.);
double t660760=(t660751+t660755);
double t662824=(t660747+0.);
double t662828=(t660760+0.);
double t663319=(t660747/t662824);
double t663324=(t662824*t660760);
double t663329=(t660747*t662828);
double t663334=(t663324-t663329);
double t663339=(t662824*t662824);
double t663344=(t663334/t663339);
double t667753=(t663319*1.);
double t667758=(1.*t663344);
double t667762=(t663319*0.);
double t667767=(t667758+t667762);
double t673352=(t667753+0.);
double t673356=(t667767+0.);
double t674375=(t667753/t673352);
double t674380=(t673352*t667767);
double t674385=(t667753*t673356);
double t674390=(t674380-t674385);
double t674395=(t673352*t673352);
double t674400=(t674390/t674395);
double t704327=(1.*1.);
double t704331=(1.*0.);
double t704335=(1.*0.);
double t704340=(t704331+t704335);
double t706404=(t704327+0.);
double t706408=(t704340+0.);
double t706899=(t704327/t706404);
double t706904=(t706404*t704340);
double t706909=(t704327*t706408);
double t706914=(t706904-t706909);
double t706919=(t706404*t706404);
double t706924=(t706914/t706919);
double t711333=(t706899*1.);
double t711338=(1.*t706924);
double t711342=(t706899*0.);
double t711347=(t711338+t711342);
double t716932=(t711333+0.);
double t716936=(t711347+0.);
double t717955=(t711333/t716932);
double t717960=(t716932*t711347);
double t717965=(t711333*t716936);
double t717970=(t717960-t717965);
double t717975=(t716932*t716932);
double t717980=(t717970/t717975);
double t731191=(1.*1.);
double t731195=(1.*0.);
double t731199=(1.*0.);
double t731204=(t731195+t731199);
double t731927=(t731191+0.);
double t731931=(t731204+0.);
double t732201=(t731191/t731927);
double t732206=(t731927*t731204);
double t732211=(t731191*t731931);
double t732216=(t732206-t732211);
double t732221=(t731927*t731927);
double t732226=(t732216/t732221);
double t733044=(1.*t732201);
double t733048=(t732201*0.);
double t733053=(1.*t732226);
double t733058=(t733048+t733053);
double t733783=(t733044+0.);
double t733787=(t733058+0.);
double t734057=(t733044/t733783);
double t734062=(t733783*t733058);
double t734067=(t733044*t733787);
double t734072=(t734062-t734067);
double t734077=(t733783*t733783);
double t734082=(t734072/t734077);
double t734544=(t644695*t734057);
double t734549=(t734057*t644699);
double t734554=(t644695*t734082);
double t734559=(t734549+t734554);
double t743502=(1.*1.);
double t743506=(1.*0.);
double t743510=(1.*0.);
double t743515=(t743506+t743510);
double t744238=(t743502+0.);
double t744242=(t743515+0.);
double t744512=(t743502/t744238);
double t744517=(t744238*t743515);
double t744522=(t743502*t744242);
double t744527=(t744517-t744522);
double t744532=(t744238*t744238);
double t744537=(t744527/t744532);
double t745355=(1.*t744512);
double t745359=(t744512*0.);
double t745364=(1.*t744537);
double t745369=(t745359+t745364);
double t746094=(t745355+0.);
double t746098=(t745369+0.);
double t746368=(t745355/t746094);
double t746373=(t746094*t745369);
double t746378=(t745355*t746098);
double t746383=(t746373-t746378);
double t746388=(t746094*t746094);
double t746393=(t746383/t746388);
double t746735=(a_f1595_1682*t746368);
double t746740=(t746368*1.);
double t746745=(a_f1595_1682*t746393);
double t746750=(t746740+t746745);
double t748130=(t746735+0.);
double t748134=(t746750+0.);
double t748192=(t734544+t748130);
double t748197=(t734559+t748134);
double t748567=(t734544/t748192);
double t748572=(t748192*t734559);
double t748577=(t734544*t748197);
double t748582=(t748572-t748577);
double t748587=(t748192*t748192);
double t748592=(t748582/t748587);
double t748930=(t746735/t748192);
double t748935=(t748192*t746750);
double t748940=(t746735*t748197);
double t748945=(t748935-t748940);
double t748950=(t748192*t748192);
double t748955=(t748945/t748950);
double t750304=(t717955*t748567);
double t750309=(t748567*t717980);
double t750314=(t717955*t748592);
double t750319=(t750309+t750314);
double t751704=(t717955*t748930);
double t751709=(t748930*t717980);
double t751714=(t717955*t748955);
double t751719=(t751709+t751714);
double t753670=(t751704+0.);
double t753674=(t751719+0.);
double t753732=(t750304+t753670);
double t753737=(t750319+t753674);
double t754107=(t750304/t753732);
double t754112=(t753732*t750319);
double t754117=(t750304*t753737);
double t754122=(t754112-t754117);
double t754127=(t753732*t753732);
double t754132=(t754122/t754127);
double t754470=(t751704/t753732);
double t754475=(t753732*t751719);
double t754480=(t751704*t753737);
double t754485=(t754475-t754480);
double t754490=(t753732*t753732);
double t754495=(t754485/t754490);
double t755435=(1.*t754107);
double t755439=(t754107*0.);
double t755444=(1.*t754132);
double t755449=(t755439+t755444);
double t756371=(1.*t754470);
double t756375=(t754470*0.);
double t756380=(1.*t754495);
double t756385=(t756375+t756380);
double t758275=(t756371+0.);
double t758279=(t756385+0.);
double t758337=(t755435+t758275);
double t758342=(t755449+t758279);
double t758712=(t755435/t758337);
double t758717=(t758337*t755449);
double t758722=(t755435*t758342);
double t758727=(t758717-t758722);
double t758732=(t758337*t758337);
double t758737=(t758727/t758732);
double t759075=(t756371/t758337);
double t759080=(t758337*t756385);
double t759085=(t756371*t758342);
double t759090=(t759080-t759085);
double t759095=(t758337*t758337);
double t759100=(t759090/t759095);
double t760040=(1.*t758712);
double t760044=(t758712*0.);
double t760049=(1.*t758737);
double t760054=(t760044+t760049);
double t760976=(1.*t759075);
double t760980=(t759075*0.);
double t760985=(1.*t759100);
double t760990=(t760980+t760985);
double t762881=(t760976+0.);
double t762885=(t760990+0.);
double t762943=(t760040+t762881);
double t762948=(t760054+t762885);
double t763318=(t760040/t762943);
double t763323=(t762943*t760054);
double t763328=(t760040*t762948);
double t763333=(t763323-t763328);
double t763338=(t762943*t762943);
double t763343=(t763333/t763338);
double t763681=(t760976/t762943);
double t763686=(t762943*t760990);
double t763691=(t760976*t762948);
double t763696=(t763686-t763691);
double t763701=(t762943*t762943);
double t763706=(t763696/t763701);
double t764290=(t643874*t763318);
double t764295=(t763318*t643878);
double t764300=(t643874*t763343);
double t764305=(t764295+t764300);
double t764825=(t643874*t763681);
double t764830=(t763681*t643878);
double t764835=(t643874*t763706);
double t764840=(t764830+t764835);
double t774423=(1.*1.);
double t774427=(1.*0.);
double t774431=(1.*0.);
double t774436=(t774427+t774431);
double t775159=(t774423+0.);
double t775163=(t774436+0.);
double t775433=(t774423/t775159);
double t775438=(t775159*t774436);
double t775443=(t774423*t775163);
double t775448=(t775438-t775443);
double t775453=(t775159*t775159);
double t775458=(t775448/t775453);
double t776276=(1.*t775433);
double t776280=(t775433*0.);
double t776285=(1.*t775458);
double t776290=(t776280+t776285);
double t777015=(t776276+0.);
double t777019=(t776290+0.);
double t777289=(t776276/t777015);
double t777294=(t777015*t776290);
double t777299=(t776276*t777019);
double t777304=(t777294-t777299);
double t777309=(t777015*t777015);
double t777314=(t777304/t777309);
double t777656=(a_f1595_1681*t777289);
double t777661=(t777289*0.);
double t777666=(a_f1595_1681*t777314);
double t777671=(t777661+t777666);
double t779891=(t777656+0.);
double t779895=(t777671+0.);
double t779953=(t764825+t779891);
double t779958=(t764840+t779895);
double t780016=(t764290+t779953);
double t780021=(t764305+t779958);
double t780488=(t764290/t780016);
double t780493=(t780016*t764305);
double t780498=(t764290*t780021);
double t780503=(t780493-t780498);
double t780508=(t780016*t780016);
double t780513=(t780503/t780508);
double t780966=(t764825/t780016);
double t780971=(t780016*t764840);
double t780976=(t764825*t780021);
double t780981=(t780971-t780976);
double t780986=(t780016*t780016);
double t780991=(t780981/t780986);
double t781329=(t777656/t780016);
double t781334=(t780016*t777671);
double t781339=(t777656*t780021);
double t781344=(t781334-t781339);
double t781349=(t780016*t780016);
double t781354=(t781344/t781349);
double t782834=(t674375*t780488);
double t782839=(t780488*t674400);
double t782844=(t674375*t780513);
double t782849=(t782839+t782844);
double t784349=(t674375*t780966);
double t784354=(t780966*t674400);
double t784359=(t674375*t780991);
double t784364=(t784354+t784359);
double t785749=(t674375*t781329);
double t785754=(t781329*t674400);
double t785759=(t674375*t781354);
double t785764=(t785754+t785759);
double t789457=(t785749+0.);
double t789461=(t785764+0.);
double t789519=(t784349+t789457);
double t789524=(t784364+t789461);
double t789582=(t782834+t789519);
double t789587=(t782849+t789524);
double t790054=(t782834/t789582);
double t790059=(t789582*t782849);
double t790064=(t782834*t789587);
double t790069=(t790059-t790064);
double t790074=(t789582*t789582);
double t790079=(t790069/t790074);
double t790532=(t784349/t789582);
double t790537=(t789582*t784364);
double t790542=(t784349*t789587);
double t790547=(t790537-t790542);
double t790552=(t789582*t789582);
double t790557=(t790547/t790552);
double t790895=(t785749/t789582);
double t790900=(t789582*t785764);
double t790905=(t785749*t789587);
double t790910=(t790900-t790905);
double t790915=(t789582*t789582);
double t790920=(t790910/t790915);
double t793113=(t790895+0.);
double t793117=(t790920+0.);
double t793161=(0.+t793113);
double t793165=(0.+t793117);
double t793209=(0.+t793161);
double t793213=(0.+t793165);
double t795322=(0.+0.);
double t795362=(t790532+t795322);
double t795366=(t790557+0.);
double t795410=(0.+t795362);
double t795414=(0.+t795366);
double t797563=(0.+0.);
double t797591=(0.+t797563);
double t797631=(t790054+t797591);
double t797635=(t790079+0.);
double t799784=(0.+0.);
double t799812=(0.+t799784);
double t799852=(t790054+t799812);
double t799856=(t790079+0.);
double t800655=(t799852*1.);
double t800660=(1.*t799856);
double t800664=(t799852*0.);
double t800669=(t800660+t800664);
double t800727=(t797631*t800655);
double t800732=(t800655*t797635);
double t800737=(t797631*t800669);
double t800742=(t800732+t800737);
double t800800=(t795410*t800727);
double t800805=(t800727*t795414);
double t800810=(t795410*t800742);
double t800815=(t800805+t800810);
double t800873=(t793209*t800800);
double t800878=(t800800*t793213);
double t800883=(t793209*t800815);
double t800888=(t800878+t800883);
double t800955=(a_f1595_1684*t643391);
double t800960=(a_f1595_1681+t800955);
double t801005=(a_f1595_1684*t800888);
double t801010=(a_f1595_1682+t801005);
double t801022=(a_f1595_1683-1.);
double t801268;
double t801269;
double t801270;
double t801271;
t801268=t800960;
t801269=t801010;
t801270=t801022;
t801271=a_f1595_1684;
f1595(t801268,t801269,t801270,t801271);
double t801038=r_f1595_3330;
double t801037=r_f1595_3331;
double t801036=r_f1595_3332;
double t801035=r_f1595_3333;
double t801034=r_f1595_3334;
t801263=t801038;
t801264=t801037;
t801265=t801036;
t801266=t801035;
t801267=t801034;
}
r_f1595_3330=t801263;
r_f1595_3331=t801264;
r_f1595_3332=t801265;
r_f1595_3333=t801266;
r_f1595_3334=t801267;
}
static void f1602(double a_f1602_1685,double a_f1602_1686,double a_f1602_1687){
double t801272;
double t801273;
int t801113=((a_f1602_1685==0.)?0:1);
if((t801113==0)){
t801272=a_f1602_1686;
t801273=a_f1602_1687;
}
 else {
double t801274;
double t801275;
double t801276;
double t801277;
t801274=0.5;
t801275=0.5;
t801276=1000.;
t801277=0.1;
f1595(t801274,t801275,t801276,t801277);
double t801159=r_f1595_3330;
double t801158=r_f1595_3331;
double t801157=r_f1595_3332;
double t801156=r_f1595_3333;
double t801155=r_f1595_3334;
double t801169=(a_f1602_1685-1.);
double t801196=write_real(t801159);
double t801236=write_real(t801158);
double t801278;
double t801279;
double t801280;
t801278=t801169;
t801279=t801196;
t801280=t801236;
f1602(t801278,t801279,t801280);
double t801244=r_f1602_3352;
double t801243=r_f1602_3353;
t801272=t801244;
t801273=t801243;
}
r_f1602_3352=t801272;
r_f1602_3353=t801273;
}
int main(void){
double t801281;
double t801282;
double t801283;
t801281=100000.;
t801282=0.;
t801283=0.;
f1602(t801281,t801282,t801283);
double t801262=r_f1602_3352;
double t801261=r_f1602_3353;
return 0;
}
