Started: Thu Nov 29 10:35:56 2018

Available threads: 0

Problem: dat/MoonL2_08_PQ.dat at {9.8784047964724527381120663958251740974197535751686e-1 ,0 ,5.0644858141232630405189961763459109770587852488612e-4 ,0 ,6.9154374214944116223427911923883824821016882820805 ,0 }
Validate the existence of a branch of period-1 points:
proveBranchHaloOrbits(this->cr3bpFixPointsSolver.pm,this->cr3bpFixPointsSolver.pm,c,s,this->fp,0,4,2,3,5,&(this->Dfp)): true
############################

y0[i][3]=[-6.8486764239894425106768233409586623877337006155919e-50 ,6.1743084402602180887656726583396909792884676559265e-50 ]
D0[i][3][0]=[-3.9828001451833447771067813395109582569471252714470e-3 ,-3.9828001451833447771067813395109582569471252644980e-3 ]
D0[i][3][2]=[-3.4349686782831458079780165457898734305280741536341e-48 ,3.5020151629944602443188589020284129977343218130903e-48 ]
dy0=[-1.3103361012360405687964062228897698420871696892777e-49 ,1.2428993028579468395019007647221515602946077377208e-49 ]
Ddy=[1.6366119642447405845385561149102974956341940371950e4 ,1.6366119642447405845385561149706404167580691237372e4 ]
dy=[-7.5943432530845316416571543370432243791233710333516e-54 ,8.0063944897331301804540035939487192066290444704332e-54 ]
r[4]=[-1.0000000000000000000271798329841508718702332634030e-35 ,1.0000000000000000000271798329841508718702332634030e-35 ]
subset(dy,r[4])=true
Validate the existence of Lyapunov-Schmidt reduction in the considered domain:
computeLyapunovSchmidtReduction(i): true
############################

y0[i][3]=[-6.3333582597893905964120984187280776629296424679482e-45 ,6.3373980098613427678767440043473949211877349174373e-45 ]
D0[i][3][0]=[1.9503691425104454791912126474440038614013003964483 ,1.9503691425104454791912126474440038614013024882175 ]
D0[i][3][2]=[-1.8385413252155403311484327320216161955028383286071e-41 ,1.8385373977091112899112219154124940676671847076396e-41 ]
dy0=[-6.3639873231933037421305539475609817103780255431506e-45 ,6.3680270732655565546974884935939497538575170045038e-45 ]
Ddy=[-9.5156693494211482853771740016392916361408879578633e6 ,-9.5156693494211482853771740016083843059155974075381e6 ]
dy=[-6.6879029624757129164398386142340198771277392426885e-52 ,6.6921483286437781785177955131640492420047430085871e-52 ]
r[4]=[-1.0000000000000000000271798329841508718702332634030e-35 ,1.0000000000000000000271798329841508718702332634030e-35 ]
subset(dy,r[4])=true
Validate the existence of Lyapunov-Schmidt reduction in the considered domain:
computeLyapunovSchmidtReduction(i): true
############################

y0[i][3]=[-8.5317165327291675118136045289889103123700557206248e-42 ,8.5317165226512066811600249537662949797609700854084e-42 ]
D0[i][3][0]=[-3.9828001451833447771067813395109582604623688705182e-3 ,-3.9828001451833447771067813395109582534318816599023e-3 ]
D0[i][3][2]=[-8.1968377135311289443800164683497702332343630945651e-38 ,8.1968377135404018942452588052461574667642754537354e-38 ]
dy0=[-8.5317165952760133957375871856447704023850560894607e-42 ,8.5317165851980525643525280982680220072025813249629e-42 ]
Ddy=[2.3154257081261046307332683349297026704363941816737e4 ,2.3154257081261046307332683349661816479485254801596e4 ]
dy=[-3.6847291430062117788413263444842426933148253115518e-46 ,3.6847291473587421994961292520818970346876829988174e-46 ]
r[4]=[-1.0000000000000000000271798329841508718702332634030e-35 ,1.0000000000000000000271798329841508718702332634030e-35 ]
subset(dy,r[4])=true
Validate the existence of Lyapunov-Schmidt reduction in the considered domain:
computeLyapunovSchmidtReduction(i): true
############################

y0[i][3]=[-8.2603851166523829490633304848419937891681946628978e-37 ,8.2603851166812269850939467289096673968368381510600e-37 ]
D0[i][3][0]=[-3.4290182376622047104050258073372894622795242672821e-34 ,3.4290182376600435101542377270541909401329793940832e-34 ]
D0[i][3][2]=[-1.2647663992894601388951610381151065908517464789615e-32 ,1.2647663992894578948492078582789383792200042906636e-32 ]
dy0=[-8.2603851166523829490633306113186337181724029556502e-37 ,8.2603851166812269850958011516618199554499468686332e-37 ]
Ddy=[-5.8722514037245602532013366201379976990083239120518e6 ,-5.8722514037245602532013366188688040773664286910280e6 ]
dy=[-1.4066811089547553093045829394563204155606037075628e-43 ,1.4066811089596672304825787919426027632996936407277e-43 ]
r[4]=[-1.0000000000000000000271798329841508718702332634030e-35 ,1.0000000000000000000271798329841508718702332634030e-35 ]
subset(dy,r[4])=true
Validate the existence of Lyapunov-Schmidt reduction in the considered domain:
computeLyapunovSchmidtReduction(i): true
############################

Intersection of two enclosures of dy(x,z) along fixed point curve:
intersection(r[4],fp[4],fp[4]): true
############################

DBif[i][3][4]=[1.6366119642447405845385561149404689557810527663681e4 ,1.6366119642447405845385561149404689566112103945641e4 ]
D0[i][5][0]=[3.8440530933102576938380596968407532751644804863342e-2 ,3.8440530933102576938380596968407532751644804919166e-2 ]
D0[i][3][0]=[-3.9828001451833447771067813395109582569471252714470e-3 ,-3.9828001451833447771067813395109582569471252644980e-3 ]
DBif[i][5][0]=[3.8440530933102576938380596968407532747923650047611e-2 ,3.8440530933102576938380596968407532755365959734897e-2 ]
DBif[i][3][0]=[-3.9828001451833447771067813395109582582493820486563e-3 ,-3.9828001451833447771067813395109582556448684872888e-3 ]
D[k][3][4]=[1.6366119642447405845385561149398051648265738980251e4 ,1.6366119642447405845385561149411327475656892629071e4 ]
_H(5,0,0)=[-3.6485683877543458351699331544379104134891936531537e-3 ,-3.6485683877543458351698750131833800323270770703216e-3 ]
_H(5,0,2)=[-7.9389206135805799271946184258054517150116555251124e-3 ,-7.9389206135805799271945059843010780128841323233665e-3 ]
Dg!=0.: true
############################

Check principal period of new branch:
!intersection(-g/Dg,r[2],tmp): true
############################

DBif[i][3][4]=[-9.5156693494211482853771740016238379711573008074553e6 ,-9.5156693494211482853771740016238379708991845579461e6 ]
D0[i][5][0]=[9.1385468065289094944397635615648429173448224799370e-2 ,9.1385468065289094944397635615648429173498531178163e-2 ]
D0[i][3][0]=[1.9503691425104454791912126474440038614013003964483 ,1.9503691425104454791912126474440038614013024882175 ]
DBif[i][5][0]=[9.1385468065289094944397635615648429168569951861919e-2 ,9.1385468065289094944397635615648429178376804115615e-2 ]
DBif[i][3][0]=[1.9503691425104454791912126474440038607606794257986 ,1.9503691425104454791912126474440038620419234588673 ]
D[k][3][4]=[-9.5156693494211482853771740016301346320227503294497e6 ,-9.5156693494211482853771740016175413100337350359517e6 ]
_H(5,0,0)=[-1.5760718297587573697435372126395333824922032077547e-2 ,-1.5760718297579141611102017771055606588044230769771e-2 ]
_H(5,0,2)=[-1.4372241678268898843507905112341027434321647144442e-2 ,-1.4372241678262752941438649158906269335301441054911e-2 ]
Dg!=0.: true
############################

Check principal period of new branch:
!intersection(-g/Dg,r[2],tmp): true
############################

DBif[i][3][4]=[2.3154257081261046307332683349479420469386647105704e4 ,2.3154257081261046307332683349479422714462549512629e4 ]
D0[i][5][0]=[3.8440530933102576938380596968407532723474531048417e-2 ,3.8440530933102576938380596968407532779815078434650e-2 ]
D0[i][3][0]=[-3.9828001451833447771067813395109582604623688705182e-3 ,-3.9828001451833447771067813395109582534318816599023e-3 ]
DBif[i][5][0]=[3.8440530933102576938380596968407532693493517465936e-2 ,3.8440530933102576938380596968407532809796092017131e-2 ]
DBif[i][3][0]=[-3.9828001451833447771067813395109582607482129840482e-3 ,-3.9828001451833447771067813395109582531460375463724e-3 ]
D[k][3][4]=[2.3154257081261046307332683349466975858344391956200e4 ,2.3154257081261046307332683349491867325504804662133e4 ]
_H(5,0,0)=[-3.2822550834369334104958028494799332684737736896529e-2 ,-3.2822550818950676842602327775126160831445850084139e-2 ]
_H(5,0,2)=[-2.0777157680270885045877588350611875579061590954604e-2 ,-2.0777157666930619049022625467325962557692743047020e-2 ]
Dg!=0.: true
############################

Check principal period of new branch:
!intersection(-g/Dg,r[2],tmp): true
############################

DBif[i][3][4]=[-5.8722514037245602532013366195035737208995367944576e6 ,-5.8722514037245602532013366195032280554752158086222e6 ]
D0[i][5][0]=[-4.9743341945208909899422824742387683659193368711444e-33 ,4.9743341945203790045063130954861967887770653247891e-33 ]
D0[i][3][0]=[-3.4290182376622047104050258073372894622795242672821e-34 ,3.4290182376600435101542377270541909401329793940832e-34 ]
DBif[i][5][0]=[-4.9744022684453774996191514286154483825307040920560e-33 ,4.9744022684448655141831820498628768053884325457007e-33 ]
DBif[i][3][0]=[-3.4348104905814358260511136595058078383371981049723e-34 ,3.4348104905792746258003255792227093161906532317733e-34 ]
D[k][3][4]=[-5.8722514037245602532013366195088202694295161358582e6 ,-5.8722514037245602532013366194979815069452364672216e6 ]
_H(5,0,0)=[-4.2481941145578291869149347360343496780964609627044e-8 ,4.2481941145578348022769465900836412860816862304504e-8 ]
_H(5,0,2)=[-3.5986989710287656157961141323142022686341191592104e-2 ,-3.5986786930224499924410926542550188936947367162996e-2 ]
g=[-4.9883710916684259770024889885058994690826171863607e-33 ,4.9883710916679052023118178816743955544059424395053e-33 ]
Dg=[-3.5986989710287656157961141323142024097797901601663e-2 ,-3.5986786930224499924410926542550187525490657153437e-2 ]
r[2]=[-1.0000000000000000000316901234324314520230954186913e-30 ,1.0000000000000000000316901234324314520230954186913e-30 ]
Dg!=0.: true
############################

-g/Dg=[-1.3861674012021351997160397794511644350833796246396e-31 ,1.3861674012019904869658626526955593304263331407108e-31 ]
Check existence of period-n branch:
subset(-g/Dg,r[2]): true
############################

Check intersection of two enclosures of hessian at bif point:intersection(H1,H[3],H[3]): true
############################

Check intersection of two enclosures of derivative at bif point:intersection(D1,D[3],D[3]): true
############################

T1={[-3.3224863835029059964070665745960221675884997187084e-29 ,3.3224863835029059966101580754772874836015624786967e-29 ],[0 ,0 ],[1.0000000000000000000000000000000000000000000000000 ,1.0000000000000000000000000000000000000000000000000 ],[0 ,0 ],[-7.1280513565247055492999003920323341894802563409533e-35 ,7.1280513565247055510134441542014990980383087594452e-35 ],[0 ,0 ]}
DH[2]=[-6.8363897454646002456750524684504608257736507209533e-3 ,-6.8363897454646002456750524612569148389154507604112e-3 ]
Is Jacobi integral monotone along space-parameter of fixed point curve:
!isSingular(DH[2]): true
############################

DH*T1=[-6.8363897454646002456750524752016548861637034919450e-3 ,-6.8363897454646002456750524545057207785253979910425e-3 ]
Is Jacobi integral monotone along fixed point curve:
!isSingular(DH*T1): true
############################

D[k][3][4]=[-5.8722514037245602532013366195043009802486236761323e6 ,-5.8722514037245602532013366195025007961261290028717e6 ]
_H(5,0,0)=[-1.7924528810245082487208793349189823045348774215112e-14 ,1.7924528810245082486626434885058450347112273796312e-14 ]
_H(5,0,2)=[-3.5986888320292535339116369714853705896579092866440e-2 ,-3.5986888320219620743396568604983083999539388619914e-2 ]
T2={[1.0000000000000000000000000000000000000000000000000 ,1.0000000000000000000000000000000000000000000000000 ],[0 ,0 ],[-4.9808498725281543575350889425801576120626294490127e-13 ,4.9808498725281543573732637636568194906668205338982e-13 ],[0 ,0 ],[-4.9808498193664232533066500349077610691595467718311e-13 ,4.9808498193664232534684752121039026450970737082616e-13 ],[0 ,0 ]}
DH*T2=[-4.7175145718606596381954504643018123113095654516121e-8 ,4.7175145718606596380421809321946260260783187961073e-8 ]
Does bound on derivative Jacobi(bifCurve(x)) contain zero:
isSingular(DH*T2): true
############################

Verification of convexity for period-tupling bifurcation is skipped, as indicated by the flag in the config file.
Bound on Jacobi constant: [3.1042899780347865524710880928627569609646795250322 ,3.1042899780347865524710880928704276236736206061660 ]
dat/MoonL2_08_PQ.dat at {9.8784047964724527381120663958251740974197535751686e-1 ,0 ,5.0644858141232630405189961763459109770587852488612e-4 ,0 ,6.9154374214944116223427911923883824821016882820805 ,0 } completed.
Final result: false
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


Finished: Thu Nov 29 12:11:10 2018
elapsed time: 1hours 35minutes 13seconds