#include #include #include #include #include #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; }