XYPHER_AIMED_FORESIGHT_PROOF CAL-CEF-4 primary=(3,2,8,2) worlds=18 steady_states=66 agents=LOCAL,AIM-k,GLOBAL
G01 PASS grounding -- routes are V^tau in lexicographic order; N_2 by enumeration equals e_x^T (I+A_G)^2 1; state and orbit counts match section 4.1
G02 PASS executable rules -- destinations are states; STEP, REPLAN, WEATHER, FUEL follow sections 1.3 and 1.4
G03 PASS reciprocity -- every channel has a reverse in its class, bridge, and store; STEP/REPLAN 1:1, WEATHER 1:b_c, FUEL 1:b_h
G04 PASS accounting -- one packet per bridge change with its named store; hot outflow equals cold inflow; J = (b_c+1)<|G|>_p - K
G05 PASS undriven world -- undriven graph strongly connected; b_c^(-|G|) in detailed balance on every undriven channel
G06 PASS driven steady state -- driven graph strongly connected; every channel symmetric under relabelling; orbit solution positive; lifted law balances every state
G07 PASS GLOBAL calibration -- GLOBAL steady states are q^|G| with q = 2/(b_c + b_h); H_global and J_global equal their closed forms
G08 PASS second law and the floor -- J > 0; second law in store symbols; nonnegative pair terms; certified eta in (0,1); GLOBAL eta meets its closed form
G09 PASS warming rival -- s*(J) > 0 inverts J_warm with r_(s*) = rho wherever J < J_max; GLOBAL has rho = 2/(b_c+b_h+2), s* = 1, E = 1
G10 PASS Xypher slot reading -- slots bound; Ruby empty, Opal absent; rates read only [State, Bridge, Class, StoreRatio, PermissionSet] (RateInputs) and equal the section 1.3 rule
G11 PASS frozen values -- section 4.1 and 4.2 values reproduced exactly; Y_global and eta_global decimals match
C01 PASS one-way-fuel observed G03 check 1 G03_REVERSE_IN_CLASS world (3,2,8,2) agent LOCAL configuration none expected G03 check 1 G03_REVERSE_IN_CLASS agent LOCAL configuration none -- FUEL bridge {0,1} rate 1 z0[G=none r=000 t=0] -> z27[G={0,1} r=000 t=0]: no reverse FUEL channel on the same bridge with the same store
C02 PASS free-protection observed G02 check 3 G02_WEATHER_RULES world (3,2,8,2) agent LOCAL configuration {0,1} expected G02 check 3 G02_WEATHER_RULES agent LOCAL configuration {0,1} -- WEATHER wear of {0,1} at z30[G={0,1} r=001 t=0] is missing
C03 PASS equal-stores observed G08 check 1 G08_POSITIVE_FUEL_FLOW world (3,2,8,8) agent LOCAL world-level value 0 expected G08 check 1 G08_POSITIVE_FUEL_FLOW agent LOCAL world-level value 0 (J = 0) -- J = 0 is not positive
C04 PASS biased-step observed G03 check 2 G03_RATE_RATIOS world (3,2,8,2) agent LOCAL configuration none expected G03 check 2 G03_RATE_RATIOS agent LOCAL configuration none -- STEP rate 2 z0[G=none r=000 t=0] -> z1[G=none r=000 t=1]: rates 2 : 1 (forward : reverse), declared 1 : 1
C05 PASS aim-off-by-one observed G02 check 4 G02_FUEL_RULES world (3,2,8,2) agent AIM-1 configuration none expected G02 check 4 G02_FUEL_RULES agent AIM-1 configuration none -- FUEL toggles {0,1} at z3[G=none r=001 t=0], outside the declared A(r, t) = none
C06 PASS wrong-calibration observed G07 check 1 G07_PRODUCT_LAW world (3,2,8,2) agent GLOBAL configuration none expected G07 check 1 G07_PRODUCT_LAW agent GLOBAL configuration none -- z0[G=none r=000 t=0]: p = 125/5832 differs from q^|G| / Z with q = 1/8
C07 PASS wrong-rival observed G09 check 1 G09_RIVAL_INVERSE world (3,2,8,2) agent LOCAL world-level expected G09 check 1 G09_RIVAL_INVERSE agent LOCAL world-level -- J_warm(s*) = 981915916910255102592171983282411630898504046408818763746101150097096417785590379562371412/1034678410967951496801282335382820820465651061125204446076434599188055426065385131617566179 differs from J = 327305305636751700864057327760803876966168015469606254582033716699032139261863459854123804/326709175565053182219090926918673391434874352848978912326476326579405578729469296102848515 at s* = 490957958455127551296085991641205815449252023204409381873050575048548208892795189781185706/871025758149575646369253671502418881982567053390401318785417740838539356434453401690504277
WORLD (3,1,3,2) LOCAL states=48 orbits=28 N2_p=70315713081565345/24623055577297592 ~2.8557 N2_pi_c=21/8 ~2.6250 H=2840096095579583/12311527788648796 ~0.2307 J=28377405207620563/98492222309190368 ~0.2881 Y=22720768764636664/28377405207620563 ~0.8007 rho=323854072135191667/1181906667710284416 ~0.2740 s*=113509620830482252/210344451304709415 ~0.5396 E=161122968590565809923799294048569344/118193332621529010203457107870598697 ~1.3632 eta=[0.444480731989, 0.444480731990] Y_bound=[1.801347084150, 1.801347084151]
WORLD (3,1,3,2) AIM-1 states=48 orbits=28 N2_p=1758660169/649584708 ~2.7074 N2_pi_c=21/8 ~2.6250 H=107000621/1299169416 ~0.0824 J=16512502/162396177 ~0.1017 Y=107000621/132100016 ~0.8100 rho=503701033/1948754124 ~0.2585 s*=66050008/437651025 ~0.1509 E=156388426083233253/112898485017503872 ~1.3852 eta=[0.405234459716, 0.405234459717] Y_bound=[1.998835522084, 1.998835522085]
WORLD (3,1,3,2) GLOBAL states=48 orbits=28 N2_p=141/49 ~2.8776 N2_pi_c=21/8 ~2.6250 H=99/392 ~0.2526 J=3/7 ~0.4286 Y=33/56 ~0.5893 rho=2/7 ~0.2857 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.449660286786, 0.449660286787] Y_bound=[1.310513139811, 1.310513139812]
WORLD (3,2,3,2) LOCAL states=216 orbits=114 N2_p=35047135115830306337475948842119717746856425631230081286141580300387502674373312185903860/12274490174932164869658485121422772955856946553977636667840568632238325388098892218466811 ~2.8553 N2_pi_c=21/8 ~2.6250 H=22612787253066988436979403187079509901855527416310280264480701126095188244909760899427849/98195921399457318957267880971382183646855572431821093342724549057906603104791137747734488 ~0.2303 J=3544677933540818891457110017616330496971630478358549217069235665552247527778495985592686/12274490174932164869658485121422772955856946553977636667840568632238325388098892218466811 ~0.2888 Y=22612787253066988436979403187079509901855527416310280264480701126095188244909760899427849/28357423468326551131656880140930643975773043826868393736553885324417980222227967884741488 ~0.7974 rho=40368148458337313500432565381884649364542470140291459220590941562267223692075172640993119/147293882099185978435901821457073275470283358647731640014086823586859904657186706621601732 ~0.2741 s*=14178711734163275565828440070465321987886521913434196868276942662208990111113983942370744/26189436724174037934604125311419327376655948226857262352313998900058233580961188698622375 ~0.5414 E=2498043914690418421342609911703346669254352336594566239176014005745926142210294724514900910842331793919989842257259552955442954903519188182650739434145921283271695824217060575851/1839947549331447701780066287076598321708067596575251159747747936113496204750606889100546315046256302813062410240429027067104016832173422195266853327499984242654926179301021157128 ~1.3577 eta=[0.442976180077, 0.442976180078] Y_bound=[1.800142785900, 1.800142785901]
WORLD (3,2,3,2) AIM-1 states=216 orbits=114 N2_p=35521556897429658534028507858421420378904471671918634311318946869288057119987/13029726050862246104889494951230813199144100432517015051266590654248668994480 ~2.7262 N2_pi_c=21/8 ~2.6250 H=1318526013916262508693583611440535731151208036561469801744146401885301009477/13029726050862246104889494951230813199144100432517015051266590654248668994480 ~0.1012 J=102460688027155369089351480675700558046541995143700899218792862908515700738/814357878178890381555593434451925824946506277032313440704161915890541812155 ~0.1258 Y=1318526013916262508693583611440535731151208036561469801744146401885301009477/1639371008434485905429623690811208928744671922299214387500685806536251211808 ~0.8043 rho=848511440854608837918710594677159344295353608746880407110426203526713712401/3257431512715561526222373737807703299786025108129253762816647663562167248620 ~0.2605 s*=136614250702873825452468640900934077395389326858267865625057150544687600984/711897190151735012466241953776225266899964281888612541485369052982026111417 ~0.1919 E=1073752047016517627991119200790446217912488191870659938389169484660700741340327135933504898104993649987737723668632830868128356463316337892298408792935/781103171006627644708642376391414231981754234415576356996063063087352858846875747405016407831004557273639976639626880812921487575027092673769597844672 ~1.3747 eta=[0.393704401137, 0.393704401138] Y_bound=[2.042872124604, 2.042872124605]
WORLD (3,2,3,2) AIM-2 states=216 orbits=114 N2_p=510562346758295104971198302611974698913077178421354703356830841336568297171/185889836105850077886269761533775347864087338160925414095847821195684069648 ~2.7466 N2_pi_c=21/8 ~2.6250 H=22601526980438650519740178585814410769847915748925491355230310697897614345/185889836105850077886269761533775347864087338160925414095847821195684069648 ~0.1216 J=188615353319362988652281779250341253334724792541393243647449906718418697/1106487119677679035037320009129615165857662727148365560094332269021928986 ~0.1705 Y=22601526980438650519740178585814410769847915748925491355230310697897614345/31687379357652982093583338914057330560233765146954064932771584328694341096 ~0.7133 rho=1169358904117466697921413935546395583635904324662163307976815571261401885/4425948478710716140149280036518460663430650908593462240377329076087715944 ~0.2642 s*=251487137759150651536375705667121671112966390055190991529933208957891596/917871766358316046385038229879273912522937934606972316446882362303510289 ~0.2740 E=25008298488902912764308780586136268245724519814525473873991815640604944307191325084153903708670712140730807064660716030639580200920645819404904170/20535655070941817312082287065169936864393265123235137254811466000487161100036005816726587522066454719363779039427269782409400103039631822232569937 ~1.2178 eta=[0.398592007727, 0.398592007728] Y_bound=[1.789463613485, 1.789463613486]
WORLD (3,2,3,2) GLOBAL states=216 orbits=114 N2_p=141/49 ~2.8776 N2_pi_c=21/8 ~2.6250 H=99/392 ~0.2526 J=3/7 ~0.4286 Y=33/56 ~0.5893 rho=2/7 ~0.2857 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.449660286786, 0.449660286787] Y_bound=[1.310513139811, 1.310513139812]
WORLD (3,3,3,2) LOCAL states=864 orbits=440 N2_p=80543861499547334420910009731637850108877528598462926736558635148726574177080445068504931982592620179780979710003652432201984507634093525949788772774835722458937274808487812237137015444381870678802055468072412422549343801217092004658742990915765569102387178199908173364041054356318851382464516560821709819170363499411940413025750017221788154274520/28210724759302693963371278594032460799909518333024615591212240151292247635917523209184232231902939009128402427842208095206628901082331301581518017320335454507091559033429590806034142764999211785936795856605650302678868603506518859577614155994857261672106690195435096903907689407544933038814451611029591948145698026239503459267626486446154105552143 ~2.8551 N2_pi_c=21/8 ~2.6250 H=51925672051022102136483227378421124072920343794186486477012038012675393062375573155170578990779242246551386695342849458276669138343790874386431818471641235022575458765881090970379125490071517925743730755860643024138509736099839986140046651434122057704856931495128351930266957292107217244612648654952247642303249444265950659585843922405069017601157/225685798074421551706970228752259686399276146664196924729697921210337981087340185673473857855223512073027219422737664761653031208658650412652144138562683636056732472267436726448273142119993694287494366852845202421430948828052150876620913247958858093376853521563480775231261515260359464310515612888236735585165584209916027674141011891569232844417144 ~0.2301 J=8156252322260368022354876912959851319899669477659248840739452761062390787404881682888023388236871749003395617705013962899870067815402190090438611523198330478211291733143063838894638341765972309660587760708771016187925745524392490201144844963273119341594606947326998468870707349798560413005805729792138539097390357167815614845644903814820073207757/28210724759302693963371278594032460799909518333024615591212240151292247635917523209184232231902939009128402427842208095206628901082331301581518017320335454507091559033429590806034142764999211785936795856605650302678868603506518859577614155994857261672106690195435096903907689407544933038814451611029591948145698026239503459267626486446154105552143 ~0.2891 Y=51925672051022102136483227378421124072920343794186486477012038012675393062375573155170578990779242246551386695342849458276669138343790874386431818471641235022575458765881090970379125490071517925743730755860643024138509736099839986140046651434122057704856931495128351930266957292107217244612648654952247642303249444265950659585843922405069017601157/65250018578082944178839015303678810559197355821273990725915622088499126299239053463104187105894973992027164941640111703198960542523217520723508892185586643825690333865144510711157106734127778477284702085670168129503405964195139921609158759706184954732756855578615987750965658798388483304046445838337108312779122857342524918765159230518560585662056 ~0.7958 rho=46394213300084224956234356347528616859814112238366547807188086607469566847578725655220360041972844388194301450615819124259878385531198047417496331742102346999742984416715918128498533318381803833735487665262860962112265778021974534466993656473922452178957338766816144590296887786216679764724580281440457191767242217943162996324262181576641194932093/169264348555816163780227671564194764799457109998147693547273440907753485815505139255105393391417634054770414567053248571239773406493987809489108103922012727042549354200577544836204856589995270715620775139633901816073211621039113157465684935969143570032640141172610581423446136445269598232886709666177551688874188157437020755605758918676924633312858 ~0.2741 s*=16312504644520736044709753825919702639799338955318497681478905522124781574809763365776046776473743498006791235410027925799740135630804380180877223046396660956422583466286127677789276683531944619321175521417542032375851491048784980402289689926546238683189213894653996937741414699597120826011611459584277078194780714335631229691289807629640146415514/30081708655563488911524602521608914220014773283048050125709181085344785272768962289444313265499100890187510215205791198460138249900393667236619108695705686043320400950429790450709256634849859214414312143845318929736414286973189554064703966547376213495768124872162147652555473086619558938712968821856180113572461503607531766632972373947001048516579 ~0.5423 E=13183747579558810039245797597420056260469703764416088698549912239637163790219083246491740672442424502571546921234315694406101066735061606047689197007688707775467905894822541965297876972115249321074959374400977711986680888080453597482345777177908063422240401208888489065023255716738325960591450449979643690552022188911972208553340262188065133467502858571969979600350302376412321714722577178799740455837691643415620833434025146075138598357567866706783515700678243923061407950789973858205486393467604801400505716567342098251981085465233695518177518928633390173849668074021527081738408374359556379328020964642033806597389674982221714687439760452965799661294657930296411185461899734897237963565665059/9730463603834225339141831468695729013706756258800797650970373359871548940422303210427289725016687580807877328796853784116147677899913149679341605723055935890544913267437416048344939607268764989502861583782810607472519227395124067104819871111464693253291876430193720523158480411004588246463456231909637901337185965502006922641467732299046977591997082196283189109755856283069088156108722955891393020496277047353493652329595096708043577786693790612527951075189582744244694873936890483516105396328570568478513965628085058838044146205401597941317032383511130961287727251223366048944325490667464485313317793060616855150534325603851988042961463849649086800442113136669586140630631960155605948379047591 ~1.3549 eta=[0.442222579374, 0.442222579375] Y_bound=[1.799536140353, 1.799536140354]
WORLD (3,3,3,2) AIM-1 states=864 orbits=440 N2_p=391122277735227548573285046064324361903973014502942735729201781481218825161321449921400912890771563455416538479557210787122871861033162967531101560922810165526439764225531652295421463407177654641390672679648802612791119187692006230981496848230790226906561430989900666729601364262537505461023943146472919969457429047/143005469568338736682245546524032389639764004703440627927350397777161418547857498505142671593212710451359332190384915243983255769978023559661967964739322059704654404637324759592887590481620051190650571256268824990870704963163580055464163814127645468722865242764065952354270961067668262212798419810825257093038729488 ~2.7350 N2_pi_c=21/8 ~2.6250 H=15732920118338364782390486438739339099592502156411087419906987316170101473195516345401399958588198520598291479796808271666825464840851123418435653482089758801721952052554158364091538392925020265932923131943137011755518659387608585388066836145720871509040168734227541799640091459908317152428091143056620100230764141/143005469568338736682245546524032389639764004703440627927350397777161418547857498505142671593212710451359332190384915243983255769978023559661967964739322059704654404637324759592887590481620051190650571256268824990870704963163580055464163814127645468722865242764065952354270961067668262212798419810825257093038729488 ~0.1100 J=175087549314229274353623479457422362110173342428006764470057843716449941661650798101024268222264667002804503164817507949419630137608416203836685909081336156153330446062823339672856101793536252797437842374844290458751172121544189581701529871180077368087905560049380047133825538789601505186528579224891197421667883/1276834549717310148948620951107432050355035756280719892208485694438941237034441950938773853510827771887136894557008171821279069374803781782696142542315375533077271469976113924936496343585893314202237243359543080275631294313960536209501462626139691685025582524679160288877419295247038055471414462596654081187845799 ~0.1371 Y=15732920118338364782390486438739339099592502156411087419906987316170101473195516345401399958588198520598291479796808271666825464840851123418435653482089758801721952052554158364091538392925020265932923131943137011755518659387608585388066836145720871509040168734227541799640091459908317152428091143056620100230764141/19609805523193678727605829699231304556339414351936757620646478496242393466104889387314718040893642704314104354459560890334998575412142614829708821817109649489173009959036214043359883400876060313313038345982560531380131277612949233150571345572168665225845422725530565278988460344435368580891200873187814111226802896 ~0.8023 rho=1001397799616539930299871583194929628293820152817541610273878731758318413191244162729336457188686995666053796708960505853314209565504940387981278384006865688846286213997791278620586283137804048851037393113368382821411263765856449552551479437399788105791163283521715228441520856132678917900192991753713360246301320/3830503649151930446845862853322296151065107268842159676625457083316823711103325852816321560532483315661410683671024515463837208124411345348088427626946126599231814409928341774809489030757679942606711730078629240826893882941881608628504387878419075055076747574037480866632257885741114166414243387789962243563537397 ~0.2614 s*=175087549314229274353623479457422362110173342428006764470057843716449941661650798101024268222264667002804503164817507949419630137608416203836685909081336156153330446062823339672856101793536252797437842374844290458751172121544189581701529871180077368087905560049380047133825538789601505186528579224891197421667883/826310250302310655946248103737507266183646810389534845803820888041868471529593364628312188966422328663249293544142997903894579427896524184144592474925529532692955767934967938947730181344267796053599550738524092362660091644312259970849949566219710737703257723472335181307695317343077412713664412528822162824633437 ~0.2119 E=180795023775332783098227787467494338154924584062793555137099612227245178695027135187895136224933785594820426245047800780971945177025362986055928539748592987171727601237144491018801740531619778975162560827048069518641972361898617299941484599329467081396147507023992877825934221307855933469921618572274993341762700257484719864637655294919219684873663443907667490247415306820924569898221099062289966623925730377378512279338102693794280326794003571680039657623525749914039346004069663902121354167864967387701513449555472438955882911382927001575926729569029203874591474945690310068229908123402452897038484540141420990756559020242931/131881184426515944629732258586317508153340403609322571337831083281849855162884551403289562734484153433686925394036662813511508694009933871033633501245755359120893316561941126188611695728215176945960237855656412767612752648561789785602424797700295894196379796006938363108008886077136093543363142183796565913029902729322689935291800165125211417428476093230651631909710301598090683449349180770738232474614524280561348541769890174554562170380380871203367050590767725157779792116469097624967817746007038307571035848728225975691714965011932876742772499025681219480702974828945373252103537580802917694120297391586868086814117878651642 ~1.3709 eta=[0.390905384936, 0.390905384937] Y_bound=[2.052411303490, 2.052411303491]
WORLD (3,3,3,2) AIM-2 states=864 orbits=440 N2_p=69605907950728569618408885790724185548693711027195286836662984775902611350675378618907190288597950866892466638505487129894771711513008868553037662662430761795536014089540186335860513212159027145748028234739037222834975907908377223178871078941319185596763049998565291302794205185353575402154129579174227923369914086994203718465/25205778804747747635029534225538591768401598511711949281168120313280659557142386017937941154301500980089387795291618743657121452828100376869521171339915144433221139564206506342175116197456696836484031658176729972177198020904864220862500409820481573020329639419782316751535930757077199889967773048583178337986789348441080691594 ~2.7615 N2_pi_c=21/8 ~2.6250 H=13762954353062928305825433794741528626558059735805679894386675814163520052706461287280379034226043176631294703459951711179311591356981517082178351580614030633322090933992428750603332775340791799909780528100484183479324412132434573659230012650220225673590986086546839320049547792103702763954901306573539144618368189345467612123/100823115218990990540118136902154367073606394046847797124672481253122638228569544071751764617206003920357551181166474974628485811312401507478084685359660577732884558256826025368700464789826787345936126632706919888708792083619456883450001639281926292081318557679129267006143723028308799559871092194332713351947157393764322766376 ~0.1365 J=191825850610945417724850239140838830021025329938418835032034306176329855180482503922273858951037569388302382185384363510398368637934795653744435100026065746129392254116513919346134766676911385944314431984798206035809458277843376991858464686233877270458026645095595792659956728622279582294533556664025391447903431579957932804/969453030951836447501135931751484298784676865835074972352620012049256136813168692997613121319288499234207222895831490140658517416465399110366198897689044016662351521700250243929812161440642186018616602237566537391430693111725546956250015762326214346935755362299319875059074259887584611152606655714737628384107282632349257369 ~0.1979 Y=13762954353062928305825433794741528626558059735805679894386675814163520052706461287280379034226043176631294703459951711179311591356981517082178351580614030633322090933992428750603332775340791799909780528100484183479324412132434573659230012650220225673590986086546839320049547792103702763954901306573539144618368189345467612123/19949888463538323443384424870647238322186634313595558843331567842338304938770180407916481330907907216383447747279973805081430338345218747989421250402710837597456794428117447611998015734398784138208700926419013427724183660895711207153280327368323236127634771089941962436635499776717076558631489893058640710581956884315625011616 ~0.6899 rho=3100184943466454760228258034395291726375055927443643752089894342324098265619988582915113222908903067090924050872878833932373920887330992984843031793093197796116446819217264651135571250998837944000164238697497818210101537613020017860608511973212520311265292731993555417837179508285033415752353523808238276600225279477005704911/11633436371422037370013631181017811585416122390020899668231440144591073641758024315971357455831461990810486674749977881687902208997584789324394386772268528199948218260403002927157745937287706232223399226850798448697168317340706563475000189147914572163229064347591838500708891118651015333831279868576851540609287391588191088428 ~0.2665 s*=767303402443781670899400956563355320084101319753675340128137224705319420721930015689095435804150277553209528741537454041593474551739182614977740400104262984517569016466055677384539066707645543777257727939192824143237833111373507967433858744935509081832106580382383170639826914489118329178134226656101565791613726319831731216/2332881541022673089328857077831936406290954607689968411961757117618778844898058567226017787104752789537714522131341379890780446335591810369865291392988934811598877802751208973751032184291192400222906510758304994066863704501646509893174653228277011229433186151611172247197352593795915086574219297152136710808611553157173973695 ~0.3289 E=120082840311857644847654510785060686107508410178388176161961092475766208972746724226445019071293438133782249978391023477931620411207928560851275705826760613719979743108070902039027943817368063820503139099998395322904457290880592740679658067605585559746214326216313566022620701018178037012675683097914734759803498787326275945157335104034548693813560524573081693491892963795819305607758725786539818659926018090092040031874262737504452139651079018225011718592151561955458652933414549101050992419607256809305457962408495614098853997331123802005967787360950232077218943535629000330905313117323522164807891517374190815150326973583446843338621582187123359483/102015882190687557249436045839352686156366065364111123409016121133134676801737604147637970543122838458654921477665679705037693755687439835804655165734789861387174347073160009987635595668083977587991668967883272176698101618793422185014218617210337716767583086597996959625238748920786386930503931137229930932149362409811382770883826420374587834333020523481741843316992312881878060194705666268987330525924793981250971391470870215898414705767243310136661554917891841903365709980013336434119103155616073080723315985795441737442875623149674259894309631648571720801835085989564651012572082025990655379984575137753091016508167088643492183335178268669623572504 ~1.1771 eta=[0.399439034233, 0.399439034234] Y_bound=[1.727112766869, 1.727112766870]
WORLD (3,3,3,2) AIM-3 states=864 orbits=440 N2_p=114525056307104244748607988751804316389615008581345131373368445480754744581285042055889432985030146640021126971413146893493616949421515480966858948635159859809434639584854982048417968298814015498416548342233337459642585884548419234703001896231196002280411965692690565897390294781501568242229527275105159177058290766535002696219113/41264235132180425811116338418772325925221454996465782959305473392837316903032845730122962148034672360643344024545370454132431534556547551024906751360822798813363449101179236036915276603629471635311278804450614075631213915445310960781325830990448942552253656655347839287793394881036989304661469102142510196223502122028280098068802 ~2.7754 N2_pi_c=21/8 ~2.6250 H=24825756340522507977710401610107843343634756862489804420766311298227150843295288057266629385756526773329395627926197805583936684842312638105914905252000051697422342777037949806061468857146609822897765922201902044442597426017911850608086359525070112322984467889609951067730532875117885269972683527924279647886390784843069755154031/165056940528721703244465353675089303700885819985863131837221893571349267612131382920491848592138689442573376098181481816529726138226190204099627005443291195253453796404716944147661106414517886541245115217802456302524855661781243843125303323961795770209014626621391357151173579524147957218645876408570040784894008488113120392275208 ~0.1504 J=355887151463342849315258705131071355496762519088992588708869218784854688449959431280376213321829950434910197907702686313497947272946834721893859840270569341139654828406948618689805035656182321866304025264105665731518012024034748118187844881503364807525553876330974407347980503886516921255254418425655000228213066777882104273727/1587085966622324069658320708414320227893132884479453190742518207416819880885878681927806236462872013870897847097898863620478135944482598116342567360031646108206286503891509078342895253985748909050433800171177464447354381363281190799281762730401882405855909871359532280299745956962961127102364196236250392162442389308780003771877 ~0.2242 Y=24825756340522507977710401610107843343634756862489804420766311298227150843295288057266629385756526773329395627926197805583936684842312638105914905252000051697422342777037949806061468857146609822897765922201902044442597426017911850608086359525070112322984467889609951067730532875117885269972683527924279647886390784843069755154031/37012263752187656328786905333631420971663301985255229225722398753624887598795780853159126185470314845230660582401079376603786516386470811076961423388139211478524102154322656343739723708242961474095618627466989236077873250499613804291535867676349939982657603138421338364189972404197759810546459516268120023734158944899738844467608 ~0.6707 rho=2558572525665157529145110415187016019588080586263676080468211920517657165553797738531897461355222996023801869600699638587466177553197314535460780960182753832879257170040737926859245398806714524508802712888819029536790578056939160258016566536354506012546641745204785624123609187387700151281173503567203088357770117352111057794679/9522515799733944417949924250485921367358797306876719144455109244500919285315272091566837418777232083225387082587393181722868815666895588698055404160189876649237719023349054470057371523914493454302602801027064786684126288179687144795690576382411294435135459228157193681798475741777766762614185177417502352974654335852680022631262 ~0.2687 s*=711774302926685698630517410262142710993525038177985177417738437569709376899918862560752426643659900869820395815405372626995894545893669443787719680541138682279309656813897237379610071312364643732608050528211331463036024048069496236375689763006729615051107752661948814695961007773033842510508836851310000456426133555764208547454/1846798222738471830514593004924873308594555548085690903050473482947947788653878875971145034711563095153981473785294265960470283007303645091673061279641615150599947513226840689479635327494349880776194662360607698073754554008869664021640876773347776397495533992542836809427648179614666308770664666715893087901343983796346849247225 ~0.3854 E=354605485489456097130543409134723659255541029628283822652169467557489089405497572245645677977991105718885622765744800240350448146888880558415438971782464240096505514549814748709869737322743534972233821840655071492924349727653565171099391971296297589155648527693254386349828665994457747233063676994498922221139806770901724968603444139894344207074418294210016146224804568463650054070782673878402917776885667324611267630227140338153425207046538379137765523002121065309668174981539728792718109703481311265411510158407212387593665930761766691439398316191419936240139420658923252339315732672488567626850777391260695331661497987748795030732567802396999370088875683/310040156708108057604576780182428986962869178895501469957258034241796767083799417478290522534693845849416616659261692966753934279129457781745805443265496558111197116588875530786049664413094223304828001090245204489182012444872683656192710883933329944553253161972687280285247935385114311454345935180620443733447941804242655365360825602974202996793967981059050885640024221997827679772472368605102015234926368332135859360041614277971530841318285574356716783749008976495610953187076453073373709944438292737031126603097423931062592452271186502733258964642433695478357495131500289276181539188338684629234885234201148880558987562813917571792072902225632089078383011 ~1.1437 eta=[0.407732721497, 0.407732721498] Y_bound=[1.645058226244, 1.645058226245]
WORLD (3,3,3,2) GLOBAL states=864 orbits=440 N2_p=141/49 ~2.8776 N2_pi_c=21/8 ~2.6250 H=99/392 ~0.2526 J=3/7 ~0.4286 Y=33/56 ~0.5893 rho=2/7 ~0.2857 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.449660286786, 0.449660286787] Y_bound=[1.310513139811, 1.310513139812]
WORLD (4,1,3,2) LOCAL states=512 orbits=120 N2_p=30440250708100571697901873719686528434138028868918173887887041986010115144457060884782868742/7617203649390758894814311921880409169386451990480000677152638827553097332074442376987415415 ~3.9963 N2_pi_c=29/8 ~3.6250 H=22623099832472565633599944022960361560897123227425371465669809889041098525497658145627902901/60937629195126071158514495375043273355091615923840005417221110620424778656595539015899323320 ~0.3713 J=30622763947311647220033361040780710931682558753/70557792961619142018974264585245443644356254745 ~0.4340 Y=22623099832472565633599944022960361560897123227425371465669809889041098525497658145627902901/26447519912736369580719223789664194305195461347755897445771062071808625246391005690833823608 ~0.8554 rho=151323173905675499777959649517417790932606695741/564462343692953136151794116681963549154850037960 ~0.2681 s*=40830351929748862960044481387707614575576745004/110492821975926636817915168129710176357029950737 ~0.3695 E=6384943976518559929575048186658005156083866739650506618138932372242744848539826297405461393651206090544140878322853201767469810627522060980/3765902942005619236310668787877969891157637465978545332512820720447513534440183282856871557157493979067897907614249039274549721155190141621 ~1.6955 eta=[0.441894302306, 0.441894302307] Y_bound=[1.935747724004, 1.935747724005]
WORLD (4,1,3,2) AIM-1 states=512 orbits=120 N2_p=1726507393285/463243172836 ~3.7270 N2_pi_c=29/8 ~3.6250 H=94501783509/926486345672 ~0.1020 J=67884719373/579053966045 ~0.1172 Y=966275905/1110588456 ~0.8701 rho=1180736171881/4632431728360 ~0.2549 s*=90512959164/1090223212717 ~0.0830 E=319729082905126654700/184188947559660215661 ~1.7359 eta=[0.387299613445, 0.387299613446] Y_bound=[2.246471595458, 2.246471595459]
WORLD (4,1,3,2) GLOBAL states=512 orbits=120 N2_p=199/49 ~4.0612 N2_pi_c=29/8 ~3.6250 H=171/392 ~0.4362 J=6/7 ~0.8571 Y=57/112 ~0.5089 rho=2/7 ~0.2857 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.449660286786, 0.449660286787] Y_bound=[1.131806802564, 1.131806802565]
WORLD (4,2,3,2) LOCAL states=3072 orbits=612 N2_p=2096754511447105231599981437951769973263626476935137787037532104340035600365211342526596810778157070850450732710136301643720735079047919938604807338048409998158068081515457135399708608600160549834397580731827709258268344990339199439744312737593249600141775087120057861942162652393053925379603877378653310095288489815229284036363915104470941196384765786232082749663302639494468473724946743574162509091134157119802300932070432024710582095139945096960859386390333172626858511057782496136211631250964986967972280802925070817546252092681831269241296298385552488152183563189288999139877179763188031994388172164163907847006697006453056205933144906690173493577127769727637115/524821943247831598604626245318259866872800382820874379944402933426677944924368291647840780425785062272953236274932107976033756210536654019322775425645048245505928635080853753890764827953420241718371794345374617359771279414114147482994050554757031135346632931096022409278651072998607033768372930987706298583281357209718292502873656263147489888911618359797325028058651038609088536383825742050037031784147907590311519190343412781400113577265743522916987463113097289050817664798631582148220349182131196524030368336118705703137015111282830249732120509509415592917204599780203899927010878593825707524832335754565812880494936806827121992150033484763878290964667990349943547 ~3.9952 N2_pi_c=29/8 ~3.6250 H=1554199737389725493265690389384623646797800713675745277912571765346624400115010282425391853877489760887962009708059281844786950526820392948477971360680880865592614234778898220365488858152097388842398609838757770632779656913403318511127035812792093876081845695175813026456420102184827423754016020385743821847148559440003789707575289204490322792641193855734236183605540996292180234668627429142226150988783936839384350936604485537081363020412998611094238660842843998541155809301944086791302923725915196546897564675958101149396578514252572911698875611311367710618535111888398895235701958884558737734967640430902689241700408653637911875114188195368917510641650437672734057/4198575545982652788837009962546078934982403062566995039555223467413423559394946333182726243406280498183625890199456863808270049684293232154582203405160385964047429080646830031126118623627361933746974354762996938878170235312913179863952404438056249082773063448768179274229208583988856270146983447901650388666250857677746340022989250105179919111292946878378600224469208308872708291070605936400296254273183260722492153522747302251200908618125948183335899704904778312406541318389052657185762793457049572192242946688949645625096120890262641997856964076075324743337636798241631199416087028750605660198658686036526503043959494454616975937200267878111026327717343922799548376 ~0.3702 J=20781351560094724950054306844276030111456825938216505176355852638276802567118236579927672778924401836628896866451543178180542989136988845149059962565722677499409434838936383216030694826076064861950372208831385088864207062434382166133828634230821735677822140918718330498762105330949279538361305974508476337663150299286327959981537949239772164285800256913587147046374077059342643805762695130609872047791615911824309923443971860718345799312196235888486810216573488505811179070982084707970952859197839572196781126247509557095121035972928650070082240335157202531117705254376223350679944649276773426420524132408470325380367406209622392007692837383119406281325951905220034/47711085749802872600420567756205442442981852983715852722218448493334358629488026513440070947798642024813930570448373452366705110048786729029343220513186204136902603189168523080978620723038203792579254031397692487251934492192195225726731868614275557758784811917820219025331915727146093978942993726155118053025577928156208409352150569377044535355601669072484093459877367146280776034893249277276093798558900690028319926394855707400010325205976683901544314828463389913710696799875598377110940834739199684002760757828973245739728646480257295430192773591765053901564054525473081811546443508529609774984757795869619352772266982438829272013639407705807117360424362759085777 ~0.4356 Y=1554199737389725493265690389384623646797800713675745277912571765346624400115010282425391853877489760887962009708059281844786950526820392948477971360680880865592614234778898220365488858152097388842398609838757770632779656913403318511127035812792093876081845695175813026456420102184827423754016020385743821847148559440003789707575289204490322792641193855734236183605540996292180234668627429142226150988783936839384350936604485537081363020412998611094238660842843998541155809301944086791302923725915196546897564675958101149396578514252572911698875611311367710618535111888398895235701958884558737734967640430902689241700408653637911875114188195368917510641650437672734057/1828758937288335795604779002296290649808200682563052455519315032168358625906404819033635204545347361623342924247735799679887783044055018373117276705783595619948030265826401723010701144694693707851632754377161887820050221494225630619776919812312312739648348400847213083891065269123536599375794925756745917714357226337196860478375339533099950457150422608395668940080918781222152654907117171493668740205662200240539273263069523743214430339473268758186839299058466988511383758246423454301443851609409882353316739109780841024370651165617721206167237149493833822738358062385107654859835129136356061525006123651945388633472331746446770496676969689714507752756683767659362992 ~0.8499 rho=38380983257363995069072214172688585596168492980063952688708317949785369293005799457571012308214531748189060036142722986547596706178713652415639910705604987790103131746743440212737802395538160952178237049652192501546976751948444190061777480739559385278816376553204955581344199961728230426502408541429898081977077233527947302011805170687754922052426283918561463475704784992128412501890273849283304354893127506499278685226638263139800968818507042412219087398419228498509419983779459371329574733454129709526668209152668628941686614356809052831404860235718440742562754050901839277494825712556804009541133863453273305251746162605324753011191160452245263805484016057466837/143133257249408617801261703268616327328945558951147558166655345480003075888464079540320212843395926074441791711345120357100115330146360187088029661539558612410707809567505569242935862169114611377737762094193077461755803476576585677180195605842826673276354435753460657075995747181438281936828981178465354159076733784468625228056451708131133606066805007217452280379632101438842328104679747831828281395676702070084959779184567122200030975617930051704632944485390169741132090399626795131332822504217599052008282273486919737219185939440771886290578320775295161704692163576419245434639330525588829324954273387608858058316800947316487816040918223117421352081273088277257331 ~0.2681 s*=10390675780047362475027153422138015055728412969108252588177926319138401283559118289963836389462200918314448433225771589090271494568494422574529981282861338749704717419468191608015347413038032430975186104415692544432103531217191083066914317115410867838911070459359165249381052665474639769180652987254238168831575149643163979990768974619886082142900128456793573523187038529671321902881347565304936023895807955912154961721985930359172899656098117944243405108286744252905589535491042353985476429598919786098390563123754778547560517986464325035041120167578601265558852627188111675339972324638386713210262066204235162690183703104811196003846418691559703140662975952610017/27990307477316632594045060750550570540440080010955700100530391630646968009446681167607175918752330829874611602916951397457325211610219229841109929422743649040398414327275248604722454982500128521203050945236499957114873220731253106994863163624148517439905306093845790331963147296253590657321755554175659913145502083884783322021036196067868839909526155461767889952517746462457090599008926283978368330997319550587123723504652332780628069162408924467975682290132484245603830448288417017344098303855209923428277646028913850394126096370344727796363740068139839477003901423713727602154853387918417296330871797249038142561562459500513557007344741760685560664821040104856820 ~0.3712 E=222457670828766896476505185871785710681819145144409471903053023784354763003227148029918215787731736295294299234393057027759903272193085839751989354917011089467967417790011993580155673966576979549108405397725675578270587708773721331474263010736706227179468983381882518691404506492479650712079277301991471312227600303670302350599244347212321388595755087899073996701939898582828915428515994699737433058378740983590748278690054792809774583810676770687406455270792957483161538526717604980069923091554634668345773336435563110416363995662120251947320834242699063871727795468267702491828125223725645923114529086549992502754444029713174036565225618701491818837699913223497297489181393557682850056353190673756836508173335985122737357120753025503274326211562006562061727420493315452069674281376607049818120636174223486342412730176179859698823240887441010530168821514716304089788817645009604438616927092883772247001090902635535273405766965943233063878814745696869370152492279652048131405758501972716857188298910780046165216912181470935332320265457751137214109013157752044574575233040909474235888474337094361429316924571332775088100469367254579716960783203739604214260673670415696487686770422895623098830551279908594978577577141554009712125838999864717643070366832815225809661433365914481440122289376179651391653757299355267791999282112116621867/132065739283849936198780408297479936732685039892829834405474410402554428786070635903659543679526173386917894020689264420741921157123992691404512494938948532831695372756901859192591973035644810849428034873525806195263794154033827794339796811375903718935831102155321332984719482984217244292124888761332718434066538521004809266007585839472271503521729769024531387737819002545682296925441384240208733112348848716968615905402402358224790051241300844489456785311070289416090081799678086892837853075372776070838745552023737289460729771003820604293116375999748133300636463790782951161069826141936007154030796804620003334015194717611117327412238623955110213767665590260266518189377212534456222956756073118790508365656692445697859041672156181880526429395969274953383137068468669896927958754296246775249375697961966422647864370882105598962601426194026469818740807021227221674814777625163670790325999498131793489032119128345719586300115229535283336065902144344304491463746312574210191772020134049867824399635280692241293340909947263210092929417860428508567870743185292942712605558730478927708231748722532362140082713427382397416654046980884082376936331766541162831848296042092513234583721149890554193352965273692368522854994549889876110489156384773680254332815081650673164565296501867939496517192767530629250773315026294219995267086137537190355 ~1.6844 eta=[0.439583903121, 0.439583903122] Y_bound=[1.933341568818, 1.933341568819]
WORLD (4,2,3,2) AIM-1 states=3072 orbits=612 N2_p=10734896418543673654365353937371266539051903799254795460437256969044401007450188389330914313590505070814416471050711792695979044193735620918925377232780392889022133693837309290656653416206040712977198962811599902852532838156341420490512076004006188255513721889621898904846182329374199048711333563710204732425560746591565819479930987043690004118857341682393738974579413796545913203619999048917248598436800441634449548764016719725570891681640897085287677069214443025552141848325531194113111448519625622166325325714414974329240617855103085161598914456400165349/2860731818928224513505086420423746496500846612356084637599706315053692249490095041939309325976275976862935604074364075243723578375042876390573940811965541449542314270690536934103945429001785192867179995634481004337171965983444513317558600886067636842724048583381633713563792673774625627493098630577188927131514694487190272323509993838027593858467608052214908528365206560122796088499496116530862302970740046957681223205172127927862541438752125869212033474927853659591227066650970006417928312603116759466466510479463543013830688241729283680340819896097445392 ~3.7525 N2_pi_c=29/8 ~3.6250 H=364743574928859792909415663335185489236334829463988649138321576974766603048593862300918006926504654686274906281142019937481072584205194003094841789405305134431244462584112904529851236074569388833671478636606262130284461466355059714362147792011004700639045774863476693177433886941181149048851027867894871573819979075501082307207259380839976381912262493114695559255540016100777382809325626492872750167867771412855114645267755987069178966164440809394055722600973509533943731715764920848121315333327369100384225226359630904104372978834431820363442333046925803/2860731818928224513505086420423746496500846612356084637599706315053692249490095041939309325976275976862935604074364075243723578375042876390573940811965541449542314270690536934103945429001785192867179995634481004337171965983444513317558600886067636842724048583381633713563792673774625627493098630577188927131514694487190272323509993838027593858467608052214908528365206560122796088499496116530862302970740046957681223205172127927862541438752125869212033474927853659591227066650970006417928312603116759466466510479463543013830688241729283680340819896097445392 ~0.1275 J=2941712720734157963600840374836942846389568937521342968618130452085917921502557450656473547773365604511501902838210438059442026604459719375762986647304300047541563038939942716509058755184438957950912401999430726967679186510773030644298161617102196532319856715181676500818185720460219258832095763320667293205442516005133278186393958035177971781674576719405319289002583541303566235809349834783524202247307937621398052715074098075797435375501544594556163782102469011412749069325211564547229386243616878289314673928361151684099330691811754750951088341433729/19866193187001559121563100141831572892366990363583921094442404965650640621458993346800759208168583172659275028294194966970302627604464419378985700083094037844043849102017617597944065479179063839355416636350562530119249763773920231371934728375469700296694781829039123010859671345657122413146518267897145327302185378383265780024374957208524957350469500362603531446980601111963861725690945253686543770630139214983897383369250888387934315546889762980639121353665650413827965740631736155680057726410533051850461878329607937596046446123120025557922360389565593 ~0.1481 Y=364743574928859792909415663335185489236334829463988649138321576974766603048593862300918006926504654686274906281142019937481072584205194003094841789405305134431244462584112904529851236074569388833671478636606262130284461466355059714362147792011004700639045774863476693177433886941181149048851027867894871573819979075501082307207259380839976381912262493114695559255540016100777382809325626492872750167867771412855114645267755987069178966164440809394055722600973509533943731715764920848121315333327369100384225226359630904104372978834431820363442333046925803/423606631785718746758521013976519769880097927003073387481010785100372180696368272894532190879364647049656274008702303080559651831042199590109870077211819206845985077607351751177304460746559209944931385887918024683345802857551316412778935272862716300654059366986161416117818743746271573271821789918176090221583722304739192058840729957065627936561139047594365977616372029947713537956546376208827485123612343017481319590970670122914830694072222421616087584622755537643435865982830465294801031619080830473661313045684005842510303619620892684136956721166456976 ~0.8610 rho=40712957280914504230993147075275460066863837039674956511757520081996587216752172510487009598928288213489050690867793413293752597410415411883225729048622842370601552550348549434724483876752940664694470740034268635894392589718098139625302177289973466104162849229805471521992071264800984579237068456901179752339518262101575986110881233762109238628163859631675502656962063404362245529985007118967595608676047742508260784310193142801134442885613374159463630634698790498126847837705209499542525248235605063130695314635336259086792669143510636032828416892942429/158929545496012472972504801134652583138935922908671368755539239725205124971671946774406073665348665381274200226353559735762421020835715355031885600664752302752350792816140940783552523833432510714843333090804500240953998110191361850975477827003757602373558254632312984086877370765256979305172146143177162618417483027066126240194999657668199658803756002900828251575844808895710893805527562029492350165041113719871179066954007107103474524375118103845112970829325203310623725925053889245440461811284264414803695026636863500768371568984960204463378883116524744 ~0.2562 s*=3922283627645543951467787166449257128519425250028457291490840602781223895336743267541964730364487472682002537117613917412589368805946292501017315529739066730055417385253256955345411673579251943934549869332574302623572248681030707525730882156136262043093142286908902001090914293946959011776127684427556390940590021340177704248525277380237295708899435625873759052003444721738088314412466446378032269663077250161864070286765464101063247167335392792741551709469958681883665425766948752729639181658155837719086231904481535578799107589082339667934784455244972/36790673653268960279525359908826202938344411789646499220266679479215363321415429242945044868563800740807048153750179495881163228604469119382208413518883775640546135165095292479379072203173688720759920870701694333270820341037067432099571295133837204061069706942896569520901156970854025567460940772473623361398928240761398281862355956381871942919264424005801743604958618682624157215572540672589563339012970492346396714023427678700071195718277981366722078925228831816243182411938260746812886066577449225411609082730854723507993561554428296364893632437697457 ~0.1066 E=14492132646508614214295876353368648537277924818730717170863610751168306737367770776724326210492943891299621715936765752969695852677991926792739598822110259927443131960918534619853105432459558644761449796296832839449226748637053236766555013631133866475890376900511633751711891553870278775475669454727009757307874032530223862499548453017900913640873944095918996500261290056469971089300247171773650999074583612725720166783361205138004340111550777325985140958822486104791088963564487854071293684477951233248965848467531236638597731455344535255245255128516158367289905916968177714718467412087326872309344763733524657938021629054580095440707035976429363088845540873505168525912722368397295031921957702159370777777716378188413677455142188584781888275164011627105908762436783919362760241897742038119231633600383606149250972849346229982127073080936280960419976159190840367425881340560786843535382712463827996227072594212557801044031307681632940641452903104581078498522582867414442804392863125930318685211176547787710797373730066428083268542934275103899789682219549559312845462983720207443308267811595498768454545392358/8441412203544111351107898136640806837275573532163816234328965582834959634577166975762385377117847572101232293470918141985150938330760069335334473970264368843260997246649751737432156558942989329118386904110065226042562018092157586120294015331421735921415063272737365689670844509154812431460011493864251423374055429510813645122012089322864033831009299156210249937722609396127466341000278416277885863824517818247707857370348554392535097935399078258615115739631331454286668544879828358655238962227295987866406049728094299230398433900592678531523967524434575513399868721252018531435727470743275524829808326670658281589207803231454507328998282513372674691122339972596272980490652911951699649837096648475436749369865534684968846868472246471926035746232543374621667896075870410462902821149259164065043906489576526172705227850081931433968348302406451030117363660609080033324213687762233493432051811295238854092586521811328616133246288080381829015246033999426152691272223781126199878554364013631657334134757786765515822798808129064266836502244573755262535306103219725612758872995684462493803671826677169343709460963091 ~1.7168 eta=[0.371984469966, 0.371984469967] Y_bound=[2.314728670846, 2.314728670847]
WORLD (4,2,3,2) AIM-2 states=3072 orbits=612 N2_p=31510736947956741748337278035454074598500447494941069510997002877419605936099830186412241474744464216777688255830227835324462439126102566960293498081280583209291788124136916747978569174411854566931035413854999394485214493443665097652662166115132790078927772061650184022450684118309019177910743487055599898485165087180670928848279449612613803422347216165072549292323748999989551559995733390798417958921488361483902929881042894319776318928287657680197844074476436216991847920385532881101193179635471892860373336116220795757364072389471328716585212343675756061289211347/8347000467562112833920446941708286305397698629799411745090883956630261648998293838379126469237650671780387963722018276706926935135941294197244120564145334500913716873068467557907616209009759633472184747682122044802801142075157067600428172995895076297858611654545667413883931667629516702119654410817256863197743555847914827377879222651521089726294991125910259287992721908977771705984469844477236095835110583428913435519740561274078824546997240568156777563949028232974123869436042487369760150684419048733971626935608955688495098917293776622249323651010600598431657152 ~3.7751 N2_pi_c=29/8 ~3.6250 H=1252860253044082725375657871761536741433789961918201935042548534634907458481015022287908023757980531573781887337911582261852299258315375495283561036253745643479564459263721850563460416751475895594365703507306982075060353421220727601110039005013138499190304813922139647121431823152021132726996247843043769393344697231979679603467267500849853164527873333647859373350132079945129125802030204568437111519212496554091726121983359701240579945422660620629525405161208872460648893679878864385812633404452841199726188474638331386569338814281388460931414108762328891974454171/8347000467562112833920446941708286305397698629799411745090883956630261648998293838379126469237650671780387963722018276706926935135941294197244120564145334500913716873068467557907616209009759633472184747682122044802801142075157067600428172995895076297858611654545667413883931667629516702119654410817256863197743555847914827377879222651521089726294991125910259287992721908977771705984469844477236095835110583428913435519740561274078824546997240568156777563949028232974123869436042487369760150684419048733971626935608955688495098917293776622249323651010600598431657152 ~0.1501 J=18224468615792102007330204077185596885844363555949244755495135797339871292164647457743770177511734761729381701487855277972481078884338185296556089586754506287997158142667501578914025036930132574281463707136713674298372678098421433505226877942310636162446202251387676281271397356812134671815818030956947227306068201059930842661591487531812358845762917121912289188155834620211074056787187416808168619949452636610294468536731320088540083893446688514220283410335531315614141814907191931485237353951517785879264832476878795029453985224857911761447150983221797351662135/86947921537105342020004655642794649014559360727077205678030041214898558843732227483115900721225527831045707955437690382363822240999388481221292922543180567717851217427796537061537668843851662848668591121688771300029178563282886120837793468707240378102693871401517368894624288204474132313746400112679758991643162040082446118519575235953344684648906157561565200916590853218518455270671560879971209331615735244051181619997297513271654422364554589251633099624469044093480456973292109243435001569629365090978871113912593288421823947055143506481763788031360422900329762 ~0.2096 Y=1252860253044082725375657871761536741433789961918201935042548534634907458481015022287908023757980531573781887337911582261852299258315375495283561036253745643479564459263721850563460416751475895594365703507306982075060353421220727601110039005013138499190304813922139647121431823152021132726996247843043769393344697231979679603467267500849853164527873333647859373350132079945129125802030204568437111519212496554091726121983359701240579945422660620629525405161208872460648893679878864385812633404452841199726188474638331386569338814281388460931414108762328891974454171/1749548987116041792703699591409817301041058901371127496527533036544627644047806155943401937041126537126020643342834106685358183572896465788469384600328432603647727181696080151575746403545292727131020515885124512732643777097448457616501780282461821071594835416133216923002054146253964928494318530971866933821382547301753360895512782803053986449193240043703579762062960123540263109451569992013584187515147453114588268979526206728499848053770882097365147207392211006298957614231090425422582785979345707444409423917780364322827582581586359529098926494389292545759564960 ~0.7161 rho=539911997838424154127358137933953490973200527918412478823675383086731224354558012356439174504864901748003629434113997572155414524880669072624313624845837912595104462709446723948140038100040109666293010437269341474473444057795738158531987690185752904778609430660491889649017126583656928554294218707035501177165040441554607553779042903251880466739199862491303494687700953931321805680816552696635424609643864100917384188520516399718466618080774224024018881157149795876496883654659847392095246771727708331752491515952438525560397667555718950652029879171384334753640707/2086750116890528208480111735427071576349424657449852936272720989157565412249573459594781617309412667945096990930504569176731733783985323549311030141036333625228429218267116889476904052252439908368046186920530511200700285518789266900107043248973769074464652913636416853470982916907379175529913602704314215799435888961978706844469805662880272431573747781477564821998180477244442926496117461119309023958777645857228358879935140318519706136749310142039194390987257058243530967359010621842440037671104762183492906733902238922123774729323444155562330912752650149607914288 ~0.2587 s*=72897874463168408029320816308742387543377454223796979021980543189359485168658589830975080710046939046917526805951421111889924315537352741186224358347018025151988632570670006315656100147720530297125854828546854697193490712393685734020907511769242544649784809005550705125085589427248538687263272123827788909224272804239723370646365950127249435383051668487649156752623338480844296227148749667232674479797810546441177874146925280354160335573786754056881133641342125262456567259628767725940949415806071143517059329907515180117815940899431647045788603932887189406648540/467014123375255746098037321625211103429823073694615499801694839897371739185899422525464093794817962701086102628162576460265490209343316331438089266498819887443115830138776717632483937952319579369167155608722486777279953345402052424511080178416510360128824621654941184523931537156408389867030946583207712267940767637314884183132676953124631031356148194003654337935077615450477509453667803029402750129846053554476206314373591119364306282506987469967137747515807670614040316395031079666154297355921637188235432186044923345442581726656287303606241275238497145346992167 ~0.1561 E=108933594978634849037939027176826468452617892764937365924507299870078651944795595107192931442442432264851182203556009785403004845819263440585999003683106249212832974026654741838317702235980065641943789831648494187279515642289232239180394191484026939155315358662931249938736110507051153232599247072906170331622506791019502086601780349576299666897885843950788023532922024047319098448606158434278569623141373634719920393404157838166127527441254682532118925319312435811773594780421096334937272382050641648562741171726311894608695268036668958291917137254493709199702462474238858993922286579782553563480070710935656108690309838359314290979506176969919505271520609308869515472325193612829637702994090871743314540667649764119355307840265954156737888729403053755335890390804501866764540748215902976439102828264446133602585682084807203536257705910055898885725797412702500874686353038459696580492050782768760507904256617002646992161951570342368434519253822162632865269748759573949075546299114848740386628037998711085661490611434041924413219954649190200224808641569779930492567952503058199780114684447494692186261273900729899304195856337302/76391955284871854659777560161634112014843020065518816186479290027929634818176424222630644085508616862648915629621864875621833980168877137532091923698581916306569641476317935415823869591861207093597357778759253778518448117452655302189248158623184609851344636365383640188478224036272425083387794302732630154377574524854826319835910360826077620756298460115282873152426603271747756610469121459140151292937907975425745665676703253386809805295617544962428567466235831012074056093688876651669813981732920059947285958270063436078318980117799765439866363243585548103872138503143903869796340124671094963428290226154312321395386889490711995804680963606363573040851189253477835296064840602225519671315838274050032840020468790032927781480053220829747928975661023572493472331764671485083723504419448166946885466721083231793861496320837436980620547799057282843031536383582320135969588445809005568792893596325851621958299367882265991414846801487808363506874292024381416981908482380572576055477854023448831405364610157002568698179221173968052742571091049933077492686771132714451313876378506574633163005875262049895695718337882123827622022927985 ~1.4260 eta=[0.363713364554, 0.363713364555] Y_bound=[1.968871012364, 1.968871012365]
WORLD (4,2,3,2) GLOBAL states=3072 orbits=612 N2_p=199/49 ~4.0612 N2_pi_c=29/8 ~3.6250 H=171/392 ~0.4362 J=6/7 ~0.8571 Y=57/112 ~0.5089 rho=2/7 ~0.2857 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.449660286786, 0.449660286787] Y_bound=[1.131806802564, 1.131806802565]
WORLD (5,1,3,2) LOCAL states=10240 orbits=660 N2_p=1888882511519918203398831023009028769264892374291258307365740609502053679810851998127722625874512898200359710895280741992311575563853194809870509425211380925049228786578652563718820009622666495894449787800138919/357813530093399028030908661195757229817947365973146817077836639600226600452517160588654672910573328944529824090853131982952014751966276414559205408405209128555933515628362450802543824843147827119284368636116917 ~5.2790 N2_pi_c=19/4 ~4.7500 H=757072974305091281008059529316727710518569543675243704984066285603909310645581941326451718197158342855372185854913460293158021968053527362857134941146550257634178349375723689626947366470857268311396147114334253/1431254120373596112123634644783028919271789463892587268311346558400906401810068642354618691642293315778119296363412527931808059007865105658236821633620836514223734062513449803210175299372591308477137474544467668 ~0.5290 J=3322911243454064380016435781267206344858416459934698899535870786391371920638577812472252/5727487347870739169241788280669600860274881032460846848180359802918332980466937482109757 ~0.5802 Y=757072974305091281008059529316727710518569543675243704984066285603909310645581941326451718197158342855372185854913460293158021968053527362857134941146550257634178349375723689626947366470857268311396147114334253/830369430776211579086403373511645923720756462399461167195679127509194040177432393731146865880990447508857782955585407436598233770855330292675372707128594285446652176752915779676214184139545759083335410432840048 ~0.9117 rho=30298892361080728036217159293981607473803613392271583690669734407787350862653976316784911/114549746957414783384835765613392017205497620649216936963607196058366659609338749642195140 ~0.2645 s*=6645822486908128760032871562534412689716832919869397799071741572782743841277155624944504/23653069874172599276184287731447194784086780472402185891597992835004607021376820691840407 ~0.2810 E=108403147043681988058887681661927142131566297477338029132778989142799960730520650700854270749569744839633269570688175471672817624628675149209127868657668038022328521356991791688502440029344891166311989443604398396826539062486841813690602225786323050660017039061772858034661782742166228024973265163025/54021575333908047866563164125507208176798422135011980469978527680368502077430005036351227101988748435277152272784524188704855756231201857286788499240430048310258509763102032485243943412067334831178302751132870708498935816098432027497035450806932659787458579472410692539596711579494984549548666859048 ~2.0067 eta=[0.440335733149, 0.440335733150] Y_bound=[2.070534449664, 2.070534449665]
WORLD (5,1,3,2) AIM-1 states=10240 orbits=660 N2_p=6791323174835656014679/1394885760337299828904 ~4.8687 N2_pi_c=19/4 ~4.7500 H=165615813233481827385/1394885760337299828904 ~0.1187 J=22256249372853406066/174360720042162478613 ~0.1276 Y=12739677941037063645/13696153460217480656 ~0.9302 rho=441465862448619548049/1743607200421624786130 ~0.2532 s*=22256249372853406066/419209613075766141983 ~0.0531 E=18510828490870636354612562258105269369875/8974318484671748311128650394058971291686 ~2.0626 eta=[0.371553265503, 0.371553265504] Y_bound=[2.503449027131, 2.503449027132]
WORLD (5,1,3,2) GLOBAL states=10240 orbits=660 N2_p=265/49 ~5.4082 N2_pi_c=19/4 ~4.7500 H=129/196 ~0.6582 J=10/7 ~1.4286 Y=129/280 ~0.4607 rho=2/7 ~0.2857 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.449660286786, 0.449660286787] Y_bound=[1.024583000216, 1.024583000217]
WORLD (3,1,8,2) LOCAL states=48 orbits=28 N2_p=402067677903637605755/197479153223089904547 ~2.0360 N2_pi_c=137/81 ~1.6914 H=68059727390510236336/197479153223089904547 ~0.3446 J=7324276274691717566/7314042711966292761 ~1.0014 Y=34029863695255118168/98877729708338187141 ~0.3442 rho=29266404410590595849/197479153223089904547 ~0.1482 s*=10986414412037576349/18279989998553019500 ~0.6010 E=3360094333418074949126718356456162754948/2357120535043147473502217345005238260259 ~1.4255 eta=[0.337787902729, 0.337787902730] Y_bound=[1.018867317150, 1.018867317151]
WORLD (3,1,8,2) AIM-1 states=48 orbits=28 N2_p=21957840229/12143278323 ~1.8082 N2_pi_c=137/81 ~1.6914 H=4257626974/36429834969 ~0.1169 J=152132014/449751049 ~0.3383 Y=2128813487/6161346567 ~0.3455 rho=1501385161/12143278323 ~0.1236 s*=228198021/1273187140 ~0.1792 E=8616924890132380767/5975817510503189878 ~1.4420 eta=[0.318947038646, 0.318947038647] Y_bound=[1.083286674433, 1.083286674434]
WORLD (3,1,8,2) GLOBAL states=48 orbits=28 N2_p=37/18 ~2.0556 N2_pi_c=137/81 ~1.6914 H=59/162 ~0.3642 J=3/2 ~1.5000 Y=59/243 ~0.2428 rho=1/6 ~0.1667 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.339035952556, 0.339035952557] Y_bound=[0.716143382667, 0.716143382668]
WORLD (3,2,8,2) LOCAL states=216 orbits=114 N2_p=1197138803642930309943378197578961787886147743618752888856336677298318374631528534042077503/588076516017095727994363668453612104582773835128162042187657387842930041713044732985127327 ~2.0357 N2_pi_c=137/81 ~1.6914 H=1822417822303915596687312380639005165659772424506753801961578747409152514496298093160648216/5292688644153861551949273016082508941244964516153458379688916490586370375417402596866145943 ~0.3443 J=327305305636751700864057327760803876966168015469606254582033716699032139261863459854123804/326709175565053182219090926918673391434874352848978912326476326579405578729469296102848515 ~1.0018 Y=2278022277879894495859140475798756457074715530633442252451973434261440643120372616450810270/6627932439144221942497160887156278508564902313259526655286182763155400820052735062046007031 ~0.3437 rho=435810944110637082507110036172274683756930358005514330520487565479082958483423782720889783/2940382580085478639971818342268060522913869175640810210938286939214650208565223664925636635 ~0.1482 s*=163652652818375850432028663880401938483084007734803127291016858349516069630931729927061902/272158291292261232075081372291872745273846350270711203229470707129566888852492052793827881 ~0.6013 E=372125390162482408555598656084453095708043617797305838779705965797629654101575264612214671354569570141786221517304283216052497433995285478540559249383400371655968067550163408124525/261398778168016554207550433613570473701972608125046879860218839406139885525636694462954007378973864464592249271657798415152345961419067830244971663080919005652582566769649751010351 ~1.4236 eta=[0.337399294221, 0.337399294222] Y_bound=[1.018675179030, 1.018675179031]
WORLD (3,2,8,2) AIM-1 states=216 orbits=114 N2_p=15112124215972890319155270205761618536100032303943907744495750256767658235690582609899/8237532143133628553182540686753988187650928958875969713773207552867674690374981798107 ~1.8345 N2_pi_c=137/81 ~1.6914 H=3538524366092481632058104169681285915404642564942543574712086520566995722576469817080/24712596429400885659547622060261964562952786876627909141319622658603024071124945394321 ~0.1432 J=126725848219689080502292078949457452825669988166704757258665596334740272874705842748/305093783079023279747501506916814377320404776254665544954563242698802766310184511041 ~0.4154 Y=884631091523120408014526042420321478851160641235635893678021630141748930644117454270/2566198426448703880171414598726513419719817260375771334487978325778490525712793315647 ~0.3447 rho=1042007197456758919744796599699900584786884316930701392122355324431148571805259375871/8237532143133628553182540686753988187650928958875969713773207552867674690374981798107 ~0.1265 s*=190088772329533620753438118424186179238504982250057135887998394502110409312058764122/851918425127225298991358481275714405548379334680644256234356929929038162493200611749 ~0.2231 E=242905901707903038717981979949543033134530892473768113256291023679639049504789346935586965135753933955435359757333029121377186044020314951934569426666234100142264835563/168988189775857246025340341557340610944141850496540498129637657274147337175516133888819931359816569662771266240410218332056503120666840375986834697153189232574283855481 ~1.4374 eta=[0.310338168902, 0.310338168903] Y_bound=[1.110802302999, 1.110802303000]
WORLD (3,2,8,2) AIM-2 states=216 orbits=114 N2_p=52665824193513169900553218006264595303008413489588509362624656019365396043913197101527/28270982077296504488150374557464084484034986385221080898697162248169430623284913393059 ~1.8629 N2_pi_c=137/81 ~1.6914 H=14548415373516505446970716449438986860403272514125228713003181835903151265442067791652/84812946231889513464451123672392253452104959155663242696091486744508291869854740179177 ~0.1715 J=594192514765394387907448322102708340202169496269730614442307330726630343673291283702/1047073410270240906968532391017188314223518014267447440692487490672941874936478273817 ~0.5675 Y=7274207686758252723485358224719493430201636257062614356501590917951575632721033895826/24064796847998472710251657045159687778187864598924089884913446894428528918768296989931 ~0.3023 rho=3735412745576117108813045495154273282872723539072072936519769802745455968482726105153/28270982077296504488150374557464084484034986385221080898697162248169430623284913393059 ~0.1321 s*=891288772148091581861172483154062510303254244404595921663460996089945515509936925553/2844123973428025526951873012000210772569469294667477014856308806655510452972789179600 ~0.3134 E=34274832523145838034058795868053180462354573546981284077682752205587024888361589585429311127394815533678437725912155121259673594680870058015826303732621805276055866245289/27240630823773272663112547283876404571565267193227177984723547334278335388144146516216311912841832139804880612119632658306323254316280174864592874927002073498766391640631 ~1.2582 eta=[0.312061522818, 0.312061522819] Y_bound=[0.968641949305, 0.968641949306]
WORLD (3,2,8,2) GLOBAL states=216 orbits=114 N2_p=37/18 ~2.0556 N2_pi_c=137/81 ~1.6914 H=59/162 ~0.3642 J=3/2 ~1.5000 Y=59/243 ~0.2428 rho=1/6 ~0.1667 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.339035952556, 0.339035952557] Y_bound=[0.716143382667, 0.716143382668]
WORLD (3,3,8,2) LOCAL states=864 orbits=440 N2_p=1218798571321281630951595864217978944621592762675122521291760027384390830786424189841420724246994450251492025602333266610379798009389600901444070941609938997315683728124834716295731070389994528216474791458942891378890408230776890702583387066363221326664500999674469399453889070904393215985765986900457658453052547460762747395971312895970141389141162815909193803750807546332815/598763190766917873671446081244156041685692896520606045236283655914357002047702065611797050617638783906809636064157618322217211922439725046366037635776017084279617370403259254293948269661206210782698798523120121190524327343828886143692151411637798506330834093923317170492341090944741889724176680883848055391776168005018012831288704138999947022711104100711990914414251081420731 ~2.0355 N2_pi_c=137/81 ~1.6914 H=1854680793550673712676794652356324089267676328151321780806855706429860890351686265370986969932226341681992659222155653921889511709590593518313621129898968692918089136985010464631478195333811767589413634500768622065365580065374527247047734331226948010277812234015285444257142809314023511403871073094431860669324591959368309020791541947843190045445880699011326981007001455368652/5388868716902260863043014731197404375171236068685454407126552903229213018429318590506173455558749055161286724577418564899954907301957525417294338721984153758516556333629333288645534426950855897044289186708081090714718946094459975293229362704740186556977506845309854534431069818502677007517590127954632498525985512045162115481598337250999523204399936906407918229728259732786579 ~0.3442 J=66664877121356869387029820885701509009133125815650807321354185856656792901912232195368995786966992423446877853049017642700201932941445300769238373665182935519154678449299481844785451800336741926986613999125283455884908491978835621150888361561266178638172389183545077787058760591316804987208718999868040978615521216309759903641263123521123384425118952910283810443316818642049/66529243418546430407938453471572893520632544057845116137364850657150778005300229512421894513070975989645515118239735369135245769159969449596226403975113009364401930044806583810438696629022912309188755391457791243391591927092098460410239045737533167370092677102590796721371232327193543302686297875983117265752907556113112536809856015444438558079011566745776768268250120157859 ~1.0020 Y=1854680793550673712676794652356324089267676328151321780806855706429860890351686265370986969932226341681992659222155653921889511709590593518313621129898968692918089136985010464631478195333811767589413634500768622065365580065374527247047734331226948010277812234015285444257142809314023511403871073094431860669324591959368309020791541947843190045445880699011326981007001455368652/5399855046829906420349415491741822229739783191067715393029689054389200225054890807824888658744326386299197106096970429058716356568257069362308308266879817777051528954393258029427621595827276096085915733929147959926677587850285685313221957286462560469691963523867151300751759607896661203963906238989311319267857218521090552194942313005210994138434635185732988645908662310005969 ~0.3435 rho=88750869125665386870281727100140063190343585996395385244482912609369708972604306910878226442059973464127807735922741250035313080140451216519305861863507321204120156194573077758700513895801826284850960057832885728686561424418377000793868499591288560249483473497105822650390819190965811631755870875939130925291414628216365838023610389951479686220717884382538038416022393038542/598763190766917873671446081244156041685692896520606045236283655914357002047702065611797050617638783906809636064157618322217211922439725046366037635776017084279617370403259254293948269661206210782698798523120121190524327343828886143692151411637798506330834093923317170492341090944741889724176680883848055391776168005018012831288704138999947022711104100711990914414251081420731 ~0.1482 s*=66664877121356869387029820885701509009133125815650807321354185856656792901912232195368995786966992423446877853049017642700201932941445300769238373665182935519154678449299481844785451800336741926986613999125283455884908491978835621150888361561266178638172389183545077787058760591316804987208718999868040978615521216309759903641263123521123384425118952910283810443316818642049/110836861129973904353533633314578617371554046177139963167611639362082625043296381626387457097152954504808737618796464857370424227339457132269373350061831706889085633939846673672615575991266910642715306116540488001488214356857918380436848637621310941860794557810666567513722877790614818276303022752010220871967308040122971772405957656381835988016316815854792266388727967435035 ~0.6015 E=30847627494458907482795943256980988334361422548845756209087611240465609583747120286746403388867710725640356131519557425393968215819165654873513177724477296884437234630669815059944528161821324194581395488610465976889555265632049181489332281486318226911769081819454296626990695623850257283213615075588374356131757596739941784290402165401302127089694111502308768409883742075134821203407073428467235612477276557514992426996660885091575773738139052784806148351207778033139763220765808292765019183385367593631525927148393529010695048033301931518184483033707105789380751193896713287996306582563645827506906368817143858153653022385498251178571678147427228458024097835868949481523311403461630744858169714584273429407453730721214466189116053583946495320009017/21683525538992462059406986491243592511196247047926854425442877381198734453068885204146158692136368176483168519921888427508758103523031010282440620950849358158330199257772168918355911381671630756786598563336670713936897721729543967245528415082822346445110666716233879028224473101334490784928616713879024509464887493343287625422225376197876843423824667562936774964961954104200487852421410574390134532320098583929742594313503631043524263849374592735273350214458265903194531816512851146914877555445535445223851058139183277124202557869124264700390023346079565730251779215188079397679111395718709808027175426760696186727130647516507782439353910910572263431785171600136848499196911995230851185081706042269717522537833073270831242213435284470103230737469851 ~1.4226 eta=[0.337204171422, 0.337204171423] Y_bound=[1.018577630739, 1.018577630740]
WORLD (3,3,8,2) AIM-1 states=864 orbits=440 N2_p=3802407658152141080421506385291240974569880364730726561840089089607606403790864910730921239083499216214136217577399445947767542567425656837014757357051360724129587752960265132243426391511568330889334546911007930465402702096294182768671821749365694497953696912759426522009485252872540915964991071458926491955285639573043418602901385525360048630293399/2058161477471533153081033850661783112030564741349168185843299258495370888628190509409214332629257748618181480165836470285587314977625226787072918925136065320525814073984260878837100681208197829559435050255400831090082512272032915700915333277396861605275017631665300472485468126468085746550479573372154844132976390166628044047365217405383094195262670 ~1.8475 N2_pi_c=137/81 ~1.6914 H=963959181360125390445939987700971577480479258457511483278341401642603961666591036301565066502041664913117438557398470097915140593586004961822424191759972953424447401997693900408694236552367857496055422770434389198382025501159976045815440840564859793021186459087680872305895265057335811694391675414364155635569309355128698975776942333951112381584427/6174484432414599459243101551985349336091694224047504557529897775486112665884571528227642997887773245854544440497509410856761944932875680361218756775408195961577442221952782636511302043624593488678305150766202493270247536816098747102745999832190584815825052894995901417456404379404257239651438720116464532398929170499884132142095652216149282585788010 ~0.1561 J=3455252947762274286590559981662230304974591458659458705274104010471870894117987320817090447783585120092772875041178556033729359905418094972427705926948880508294838387060818246745568621280765205853776002268382113353694873074461661151929499386427896420205326531167058160412169730556803532154310851764211008785824575231162131633546719722820927084172/7622820286931604270670495743191789303816906449441363651271478735168040328252557442256349380108362031919190667280875815872545611028241580692862662685689130816762274348089855106804076597067399368738648334279262337370675971377899687781167901027395783723240806043204816564760993060992910172409183605082054978270282926543066829805056360760678126649121 ~0.4533 Y=963959181360125390445939987700971577480479258457511483278341401642603961666591036301565066502041664913117438557398470097915140593586004961822424191759972953424447401997693900408694236552367857496055422770434389198382025501159976045815440840564859793021186459087680872305895265057335811694391675414364155635569309355128698975776942333951112381584427/2798754887687442172138353585146406547029419081514161551272024248482215424235569729861843262704703947275146028783354630387320781523388656927666441800828593211718819093519262779863910583237419816741558561837389511816492847190313945533062894503006596100366314490245317109933857481751010861044991789929010917116517905937241326623172842975484950938179320 ~0.3444 rho=26323713808557087098602047211237598216425310806983549659088540215975991878875659647586138588108671215850344876883806003651366192990142837051015693984016272958581661431330383567157798412482963312069721005106169125465722787208160724495433202468615247589927744660781507854695148913535534049381861667010375943596673354860362621048715802004855307031535/205816147747153315308103385066178311203056474134916818584329925849537088862819050940921433262925774861818148016583647028558731497762522678707291892513606532052581407398426087883710068120819782955943505025540083109008251227203291570091533327739686160527501763166530047248546812646808574655047957337215484413297639016662804404736521740538309419526267 ~0.1279 s*=5182879421643411429885839972493345457461887187989188057911156015707806341176980981225635671675377680139159312561767834050594039858127142458641558890423320762442257580591227370118352931921147808780664003402573170030542309611692491727894249079641844630307989796750587240618254595835205298231466277646316513178736862846743197450320079584231390626258/21140834386913675668716207238744252758963423618994361601177384200268185537698678666360502916433293535711185564322038169600772153132015694592374135093592952196139403850739156197039445480561815503289057001703595955435180477596468232767538953388973402959619754864030920614076894317700328751150395389364059430417936492013619423598395722420623916405277 ~0.2452 E=9447541204430501213016998151993879802253288328899288115328582784411047952760335288072335293743947918998802323622598253450576924864230420866633306508423053717534833598209850316424635521920503698443431567344486530459538550370540785773001767744225279607381639431781830757638591152214786556683616449203042457925743819351688270996432617829378222629712303420645706466817850734469333140927922450665471233948125854396283158860788364986422293842448529170689340167790571870647222954669669418942228046791057779384266379629179664259959901696235935688434124874568378829181241588066313716483428345059280036037461939490830547417646742173688321955064587536789975458266292493816619281311691558992821787485935429/6581177028955418899753954104855244714821088091040034779867184919147638174288018733703445227881031639142682836958455223033633082476015510731069507586771674636457072646116696044793893854322046188869465697835450946466196279541156590563455785578430170822827544592916286680397201367466894725773781272863591884040652536647052543788595569224983680733366937192538097384323991228207773251867068687854668770963207679594472488728458008620698548452363798994831290362923472460649049401313313826388685974183806763706135188358217291706569076456574906304734182659819912195155224055820899167798121062446612870828747163822175969357973635560911077149305534866807212462589582419372516790239106705143837944158972080 ~1.4355 eta=[0.304578126765, 0.304578126766] Y_bound=[1.130824131974, 1.130824131975]
WORLD (3,3,8,2) AIM-2 states=864 orbits=440 N2_p=66406526124277883831861453209695055922214060058869313640778600094372877015356010459537698435752415377117351729465418602759101963652110078812770690126101084304914539171704219978408191658132940544492128389136036384284349950438202036142688548323724151354718494489337537155734607438815006581473622941550928375727248579057024077534584076565615674760994473636337122471/35247870155529569517076293690997321972043400151873259253006418267704831271345616372265920767792562690268993749186248019020327539216957892940632752542327208320631954629154943065801088559471363506478119352676035454828499497079641846369849331206562679327463511115264793675330220067024975702536146001747900687114278844343820328414613923324320042127941117817630546584 ~1.8840 N2_pi_c=137/81 ~1.6914 H=20369274250331761723752795345135793315903446072658440268192122406245968669240274230448978818828316925172346164747515859914903191966580927813619955626494825510055551433844985860604236728192273470976298081607484807982515366132719702773644964404539599698877667809076436151639372346725698587107831704672696455527812341796872788425896396532704588300467378649182297709/105743610466588708551228881072991965916130200455619777759019254803114493814036849116797762303377688070806981247558744057060982617650873678821898257626981624961895863887464829197403265678414090519434358058028106364485498491238925539109547993619688037982390533345794381025990660201074927107608438005243702061342836533031460985243841769972960126383823353452891639752 ~0.1926 J=432291099848730334026867909236022653293600101939992465465793742838320004097977744213468497046171017487688999556318071200474662627539511507534043162066732560076937793324041594593513752690652012856618467443819264652692716748813490082653372573564251660679502428299221012438029925352360731410981024843047093488005001924433015347722077877085650636901446076475487889/652738336213510546612523957240691147630433336145801097277896634587126505024918821708628162366528938708685069429374963315191250726239960980382088010043096450382073233873239686403723862212432657527372580605111767682009249945919293451293506133454864431990065020653051734728337408648610661158076777810146309020634793413774450526196554135635556335702613292919084196 ~0.6623 Y=20369274250331761723752795345135793315903446072658440268192122406245968669240274230448978818828316925172346164747515859914903191966580927813619955626494825510055551433844985860604236728192273470976298081607484807982515366132719702773644964404539599698877667809076436151639372346725698587107831704672696455527812341796872788425896396532704588300467378649182297709/70031158175494314112352601296235669833563216514278779405458586339807840663872394562581896521479704833005617928123527534476895345661400864220514992254810674732463922518494738324149227935885626082772191725898720873736220113307785393389846356917408769030079393384473804014960847907082438488578926024573629145056810311758148486330976616087875403178034264389029038018 ~0.2909 rho=796835369496420657954813260319365365394966703459131919099827882199899839724244736446450994715252611204581402614814320382016138268753131482893435730732007303741052498314586884601561779775983328479578736419718189232906822195523790145511296991309614985549899163419458738874347383766064238295070452757828673516636460721918788975437246761330773214669761985077580159/5874645025921594919512715615166220328673900025312209875501069711284138545224269395377653461298760448378165624864374669836721256536159648823438792090387868053438659104859157177633514759911893917746353225446005909138083249513273641061641555201093779887910585185877465612555036677837495950422691000291316781185713140723970054735768987220720007021323519636271757764 ~0.1356 s*=432291099848730334026867909236022653293600101939992465465793742838320004097977744213468497046171017487688999556318071200474662627539511507534043162066732560076937793324041594593513752690652012856618467443819264652692716748813490082653372573564251660679502428299221012438029925352360731410981024843047093488005001924433015347722077877085650636901446076475487889/1161379639144110981882758611402708077496333304978271372733862021561479675350511728679433492384334204921473805673310569563557613909966751458252828299397282047405167203305132174609609806861314644102539005395617113813120927642234090208369221409054978310420295898539696465310664842179767745179159880672610253545267919519404562603152415645575895792438077893679672429 ~0.3722 E=3323951546009564118699908726411741793938632219023607279563416297106599010206882731566949797146600406843997743227363409497735782878824844556244893347328806288029881390873390598665256961524823637672251784349248384975644209413293238584741649207700454712472269850202242144897942264906146332478279635008465751347149878387516791606372717311937875816447053800640661170569983357995345391246890798951689130872492567569075269506948965431918923166600009434225745769809117068611315489199851098336629603309413578309481264832275432403522230042355636983125558779690681641254329833709390688966829899622050345604975214697168794530021728368874466320039148641803920942271844542798808114233774878783529378672645722192372736613956543827226741/2748436029994234494422202607091722326085719790903571897624256073830902738835568390444284621370178684499988159896109685447679391188083567133603449587704761868345138162547425243586375808889593842568057297091871487295654455294225541266975200410514985048938767695101365363713793588124801809301633902213129736630393964240218135153601082343672200224372363314873917287065678905731768666370516902419158972826100841089296451538553111523234158798390816660251898469703139047688660881773734324129037398228264091669155775837572494956593524015588686101262896003383243572142676560990955458242641221976620262706630684247194594742879827595156192058983099697401967369380675853614109504804423879383532414465858056591180177465987681257219061 ~1.2094 eta=[0.308115791520, 0.308115791521] Y_bound=[0.943996294277, 0.943996294278]
WORLD (3,3,8,2) AIM-3 states=864 orbits=440 N2_p=1097746824034202951355593787479159784698271382279640361093429695217110115400019586109271739693865445963328938741965391873569242737814114991565685088604845669655976357724502967799608612433188151483685858544706006514417363113628163626115684380807612933731359281638630092100603127563234944134381020076601756231367918939191684159439398349860054867194159459516413/576376112520349191844985186892504523678001427923742515844482382401054584489031594509267949969398942428951837114676947969973252438647540409996766701222256809851035093543928307807960391043697361569650657092130137501912640583525228424270521960849100771615509114791085325353576637865045835468182659204667317560443539725286601887291786264818810144117901827144788 ~1.9046 N2_pi_c=137/81 ~1.6914 H=122888460882501231815310199772084232304614646161705488615724924983227670029682197865201256412289456916830152510968578640404605897138645409225474742093127361636324409384772373112070667087675330063412524944436514690194748793344752587534678101346788171863152507238893183786529061050750012540047386606979256160000450514941505658711315408129474746895979825950537/576376112520349191844985186892504523678001427923742515844482382401054584489031594509267949969398942428951837114676947969973252438647540409996766701222256809851035093543928307807960391043697361569650657092130137501912640583525228424270521960849100771615509114791085325353576637865045835468182659204667317560443539725286601887291786264818810144117901827144788 ~0.2132 J=384523674230528860278984804570265666241706261368150967917658421970615989903570766184172475395257430633567780675925882517541136959575540830725449591712097059528345653981224348991927304694360964242428490497328392691687538865491066358486291523922321673010262963535532778313413506452919093798630611111957973188914652670408325771036873121077235318388734015693/508268176825704754713390817365524271320988913513000454889314270194933496022073716498472619020633988032585394281020236305091051533198889250438065874093700890521194967851788631223950962119662576340079944525687951941721905276477273742742964692106790803893747014806953549694512026336019255262947671256320385855770317218065786496729970251162971908393211487782 ~0.7565 Y=122888460882501231815310199772084232304614646161705488615724924983227670029682197865201256412289456916830152510968578640404605897138645409225474742093127361636324409384772373112070667087675330063412524944436514690194748793344752587534678101346788171863152507238893183786529061050750012540047386606979256160000450514941505658711315408129474746895979825950537/436049846577419727556368768382681265518094900391483197618624650514678532550649248852851587098221926338465863286499950774891649312158663302042659837001518065505143971614708411756845563523405333450913908223970397312373669073466869250523454588127912777193638200649294170607410916317610252367647113000960341596229216128243041424355814119301584851052824373795862 ~0.2818 rho=1909328204707643124419157256666838480204673001907152332585601232555416477969791915679590332457159394731323963518986591432814291559172208582039647213993199731091930557536590242663780191053348693262668324074392248516853254694922887586715185600242694084691504007956393427396949585460976859587473624880919130756225604324605685261226783874566151043568368479039/13723240774294028377261552068869155325666700664851012282011485295263204392595990345458760713557117676879805645587546380237458391396370009761827778600529924044072264131998293043046675977230889561182158502193574702426491442464886391054060046686883351705131169399787745841751824711072519892099587123920650418105798564887776235411709196781400241526616710170114 ~0.1391 s*=1153571022691586580836954413710796998725118784104452903752975265911847969710712298552517426185772291900703342027777647552623410878726622492176348775136291178585036961943673046975781914083082892727285471491985178075062616596473199075458874571766965019030788890606598334940240519358757281395891833335873919566743958011224977313110619363231705955166202047079/2665085386723699668001360099622879961684227219709851761418227199198984986228871532806663238728546497561944585010195535313005172239617794671902945652850108283598824153129507438351778468023614493798051176656799318958643892793372576097971496628718423150352219125306188519853658651563196437779055416425964341945707250637986393209342948385900596131970534910999 ~0.4328 E=281071322845496270381757087840912121324759856271969232636838594822837598377113226145137939146030861835585855218508895265635906176183723534434660772833107155719652260296449860580602075040814322893751990862231919002536534295423271871055643588713909685078365750036423553816230321915104943687503099368150076984141488038499279123880508466421778679107643323500557546856665511528622264228333226728475816732088170229182578668625211464719843124074334662326752794727853625675559735431017066566466501873531780009850900131247558407098480441174537581843962381204230078819957238872482810651383096564712069221418471705136329644528461963575493560029662348387594231034076526965894794853060652985186090686790190220688297503275203/240117335244833500917221780062332514760782556244753317683063129631112372120552222256743319492257702442745709589690729473893357741069184225114248234077625199263298028502610166161345622183995567080534395132928696754588295971356055101983619057804106555018679482440674618405878850135361862628329642219963629536620770290941042579138730412403709480229981840512267248257581651423747396373080250436829152152276505362869673439465856243604436328113913972746216020924676793459838442594832957754655508652074368722628137573430837616752335043111593603139138305935069705684915745772653477815296322200924027263034515860877055655460464963612317034477560533336022714630258366079565429118048992155239322085552435574884402483027354 ~1.1706 eta=[0.312264943428, 0.312264943429] Y_bound=[0.902509404712, 0.902509404713]
WORLD (3,3,8,2) GLOBAL states=864 orbits=440 N2_p=37/18 ~2.0556 N2_pi_c=137/81 ~1.6914 H=59/162 ~0.3642 J=3/2 ~1.5000 Y=59/243 ~0.2428 rho=1/6 ~0.1667 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.339035952556, 0.339035952557] Y_bound=[0.716143382667, 0.716143382668]
WORLD (4,1,8,2) LOCAL states=512 orbits=120 N2_p=9022637702214405477228850434704629503703241140154783041709188909650367562616566027653794656996345206218617885624264083/3458727102118362261913957224757921061754786527400325418896853244825938160267647084936525931956353791427999165381240440 ~2.6087 N2_pi_c=56/27 ~2.0741 H=5546944471240073468666373016731268571302162805528990963102702094478598579517671776689667061038389805326081072278407289/10376181306355086785741871674273763185264359582200976256690559734477814480802941254809577795869061374283997496143721320 ~0.5346 J=10466712361998613273530624362376955981111707281297889191120883078/6963170304607651055923173132565479903118394938456888713542557655 ~1.5032 Y=5546944471240073468666373016731268571302162805528990963102702094478598579517671776689667061038389805326081072278407289/15596991082883642047985757503600418403772576955097805329730126141081541617131863059466634795678064623658302435716367632 ~0.3556 rho=8707622364940753268178277192961639233303679485339870245396038168/62668532741468859503308558193089319128065554446111998421883018895 ~0.1389 s*=5233356180999306636765312181188477990555853640648944595560441539/12181888548882199899591242204734800476051505330030795895231634797 ~0.4296 E=38624319023446468296892200978684163640758807282279574205082824244424229807002912694494881748201023173042749315112284820854360678783583526838054114229072880920469622876287222854747295/21118247321577800646210411921530157131107952481945905808197599144789802470279920412550516009622647045133103641750840509731222918246924634832630441442386509569351200332762135257545816 ~1.8290 eta=[0.337162878071, 0.337162878072] Y_bound=[1.054807580088, 1.054807580089]
WORLD (4,1,8,2) AIM-1 states=512 orbits=120 N2_p=256321293517393913/115910462910996873 ~2.2114 N2_pi_c=56/27 ~2.0741 H=5304802493256923/38636820970332291 ~0.1373 J=1177017402001233/3066414362724785 ~0.3838 Y=26524012466284615/74152096326077679 ~0.3577 rho=6525167859449981/55195458529046130 ~0.1182 s*=1177017402001233/11873318316898729 ~0.0991 E=81333612783706390591016724682775/43690774188088984236566433763707 ~1.8616 eta=[0.310088573870, 0.310088573871] Y_bound=[1.153533008356, 1.153533008357]
WORLD (4,1,8,2) GLOBAL states=512 orbits=120 N2_p=8/3 ~2.6667 N2_pi_c=56/27 ~2.0741 H=16/27 ~0.5926 J=3 ~3.0000 Y=16/81 ~0.1975 rho=1/6 ~0.1667 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.339035952556, 0.339035952557] Y_bound=[0.582625124881, 0.582625124882]
WORLD (4,2,8,2) LOCAL states=3072 orbits=612 N2_p=5488020625573796995598407971619913442907910439930700240138760673436841217462336915534644284716103774815041669669475856195240228337579462149480601360184639880163276869093254083187451436689843966176600039510369676694449113611875736855893024699496055340648643614543550378726918794690816332135317342756222290017054670259143479381403720435966669651805124525999478514487906091608884287975421200581576225720303035387427395670226829926813523114205287877970366598233370251417546714048365907183156559147440998765207474572335293833433906891871690964164911325045403463231629737602607032244927069185240314207633914827545951997840114893605289784058231500608128641096135340663922268210699079038774090536322255962831850882744228156221431982204998808047751006327011984896861694817907465/2104386268418686862954413618166267501165230637228626964331069215098001560235046053544057388216061834375005828046002723428032696149413593971611628821647836957665130492677578296132314877897414632520355158461239506776665160512703976229745400739874217232756991577756389388602935001403496583682842698904061308704891210399881335179562299937050798121962409016449867037483399953178967889402391418824906381050429097015805440775115764698518554079679486198309122453020987699261064910231540749008631638114898601564946944308767932092108448146826268318738002553237113923930516726115574462548609515524835044099091081088423961733475279821737843632714194441665923610967389721710665862325397117739486224185503466886407443719601781092401115466512690702027319366564496965081012746297935816 ~2.6079 N2_pi_c=56/27 ~2.0741 H=30330925859046054555709852616426682893260666193325796481206662137306625498320517720968181947235339195005798710499695605301655180747484215625725022712706407135161167875573475662651555628370567665628312192950568891256877078809222226243369225453437329163121849238318054463862447378056232281414377115790568542986568314603519173242411655296255385768843457280793365792103067095417673968802452961507800755624152522575434999689641584906926095621491545599889040783125685629654126306339597549461855362546585279023572932162048736344642389858264630183124462794947513767145066252798219967890897998610726014057015159391998846867067432110023580737577361783127751095421829782128612951466636540635671890092506765357643125536394419043516197394824288503759392643217493547678551967399095859/56818429247304545299769167690489222531461227205172928036938868807646042126346243445689549481833669528125157357242073532556882796034167037233513978184491597856958523302294613995572501703230195078049589278453466682969959333843007358203125819976603865284438772599422513492279245037894407759436752870409655335032062680796796049848182098300371549292985043444146410012051798735832133013864568308272472288361585619426746900928125646860000960151346127354346306231566667880048752576251600223233054229102262242253567496336734166486928099964309244605926068937402075946123951605120510488812456919170546190675459189387446966803832555186921778083283249924979937496119522486187978282785722178966128053008593605933000980429248089494830117595842648954737622897241418057187344150044267032 ~0.5338 J=3165276218829194103976502771142583008363225320367960611498707139439063992414063617172373240488204207137787442648856597518450279722326889407376087392753650350097640059605296943485384249366161720561259665037207496238813429017828192196028375158799700995698702971103430482810471355039565669675309725406154550275595649911987582992150399800190378984584034385916334045580450329753034797305622963913698072704040742971422033444333278818161776451523360773698489950181866779867381191601793726926146747957285972336795309335488561817607044674089975939578461198608640029559924394284629290566945625858166414125850422151821857440928745064465908775177791146707644286068205561941117522770312587376388406387901562997189819152897185019794865737648505809274387138107517569392938994731889797/2104386268418686862954413618166267501165230637228626964331069215098001560235046053544057388216061834375005828046002723428032696149413593971611628821647836957665130492677578296132314877897414632520355158461239506776665160512703976229745400739874217232756991577756389388602935001403496583682842698904061308704891210399881335179562299937050798121962409016449867037483399953178967889402391418824906381050429097015805440775115764698518554079679486198309122453020987699261064910231540749008631638114898601564946944308767932092108448146826268318738002553237113923930516726115574462548609515524835044099091081088423961733475279821737843632714194441665923610967389721710665862325397117739486224185503466886407443719601781092401115466512690702027319366564496965081012746297935816 ~1.5041 Y=30330925859046054555709852616426682893260666193325796481206662137306625498320517720968181947235339195005798710499695605301655180747484215625725022712706407135161167875573475662651555628370567665628312192950568891256877078809222226243369225453437329163121849238318054463862447378056232281414377115790568542986568314603519173242411655296255385768843457280793365792103067095417673968802452961507800755624152522575434999689641584906926095621491545599889040783125685629654126306339597549461855362546585279023572932162048736344642389858264630183124462794947513767145066252798219967890897998610726014057015159391998846867067432110023580737577361783127751095421829782128612951466636540635671890092506765357643125536394419043516197394824288503759392643217493547678551967399095859/85462457908388240807365574820849741225807083649934936510465092764854727795179717663654077493181513592720260951519128132998157552502826013999154359604348559452636281609343017474105374732886366455154010956004602398447962583481361189292766129287591926883864980219792623035882726586068273081233362585966172857441082547623664740788060794605140232583768928419741019230672158903331939527251820025669847963009100060228394902996998528090367964191130740889859228654910403056419292173248430627005962194846721253093473352058191169075390206200429350368618452362433280798117958645684990845307531898170493181397961398099190150905076116740579536929800360961106395723841550172410173114798439859162486972473342200924125117128223995534461374916509656850408452728902974373609352857761024519 ~0.3549 rho=1754621536593479475744776053348909779483845460415524710831680270003008150424926659826301952198286134820869156769430326454071828513200939248560651146960074677343158112852307413364363724083405501742598957311627170766533821343783561063833419955338333821360072493071307423825342373717838352419151768758946933611660323590141732674391577713610574190706498720512837363386761116536315792635552386318126262111846147229583853121669763001030344547733364218172580518700865886159307850332337580108659619627408620191830775020899572707806414839449731761334052946447924841460336083442008451762066968778575186524488545409151736426864491554988107841273661977411465105763615988022790299635855032645922861277880262701737164607834207952689062059636072224604255926388277706653223941391056077/12626317610512121177726481708997605006991383823371761785986415290588009361410276321264344329296371006250034968276016340568196176896481563829669772929887021745990782956065469776793889267384487795122130950767437040659990963076223857378472404439245303396541949466538336331617610008420979502097056193424367852229347262399288011077373799622304788731774454098699202224900399719073807336414348512949438286302574582094832644650694588191111324478076917189854734718125926195566389461389244494051789828689391609389681665852607592552650688880957609912428015319422683543583100356693446775291657093149010264594546486530543770400851678930427061796285166649995541665804338330263995173952382706436917345113020801318444662317610686554406692799076144212163916199386981790486076477787614896 ~0.1390 s*=1055092072943064701325500923714194336121075106789320203832902379813021330804687872390791080162734735712595814216285532506150093240775629802458695797584550116699213353201765647828461416455387240187086555012402498746271143005942730732009458386266566998566234323701143494270157118346521889891769908468718183425198549970662527664050133266730126328194678128638778015193483443251011599101874321304566024234680247657140677814777759606053925483841120257899496650060622259955793730533931242308715582652428657445598436445162853939202348224696658646526153732869546676519974798094876430188981875286055471375283474050607285813642915021488636258392597048902548095356068520647039174256770862458796135462633854332396606384299061673264955245882835269758129046035839189797646331577296599/2454151000243894250164051182983625222846615814041729217830458160192994970045165447261812824233837533929142499322575120401993563785626248694662606496335599237987102872502849178900266031711423763298111359610851842786796499681624391395657381524410100644153910662441471353380527629089154814946533629049175683798122097209620937684733022160491022053218319312386896711580038789821619986169230451331686499989012046802027028428561766396006763611625608178445664387341109512362821970130743917908603656602388582938063113596636291476410481454202804876141952160026303006400697368789140473335152062271094901673693616767696187040086068088487579424154726905920382116171163455398541425014939202833049587093126671071077722831369354232113168873389309179450382806740716223508801551204815555 ~0.4299 E=127655967772403561970083100850376190583148640263235094160630794877727160129529331336467577812509397374398746913985947762296194056634202138190033472338916775719412155111646076455141247195868117756205495908343819760898413480507982580322775423101183928707273643595934068920720598853577626397974673208640061842530229101170723018607597576946356680259972288376497191229816341607734320035967774679348583715899951321914831217625921296494452640548126013754152150153947201791524038940605021931978446461879628605071337729168366250527587686494197437709410100963782171865031873377753461657506763125469547119227856839016275766147868330299330534625817970834976855137993262800549596626744947257013305848928506160611065153211412734911365306242894080611962391887837153200534610595213061338809096835788763145573508965233681074480685711290557499264795029767997641821122414861226537796288604566753662620769873907249403909617922665425297751433665233762032822052424193959070013817455988733674801928617713166526942965681756613676146851463151960707501265207774603128278875685423315439612896538280764360282950022534342707310885103711568790739356981315689814726839693958729224059222536341392131869307149373047573564033459620653317687973260973590502381460537480947055287410120497733565891539797849778880722191446265719331685770442307368563521984120380203558981503277352082422129724471972437133472785321283378263039933236447375199693504235947468810131808412718198600925156229905256023830687281406663172394626048780743757823082491018777592351869230909120547672826771888/69943178659169873061451244993824102451897310667228185113381870888339114746005189776349929260110708658108912638093393966515807634500072751461191034524215149200807851308307215542855267187469782064806444610288345759221846036806227613260306771222273479727591801212875298590478969487003947657292988148264514348411562485151912138124544309466894652338372924453580155199060698616158699975815786059478447028210259432311773291284267423209109076677988557912110509365977378929973268878272159617399167499439358802995600610346353555018251695224067852234463141604911915585847616032837429464842963942108133505163358241349594702386973424384829765776419680041717055605930586695888785125278914946549289145497151942020245278748621528702650077744313398094072967250707667977620801981068509874667032992828472349066050435754426222023942802225600330333193068064038028306254711536949235924899051395371085856408589861147797282874138978669840428939045029006813071839212757571959119938985099095012676443477336092183313057514858239628864768886696393413835022691108668359096349448122558644641616511485371365656206654908100376088280235338975722333527128208227713340833709797325725012691212230092910290177838567217966887810883866728438236159070639066045126945754885904974720013438275289033866470091013169592592173251516883553593976368710114901429118612166480048942713059286016702710670616208215005032399836322845473555790026792602477379920834165644900108298799581706020320091393278464309806584412269872266370180763695239183271968277053399964883736300342515045683426750105 ~1.8251 eta=[0.336571202779, 0.336571202780] Y_bound=[1.054467827566, 1.054467827567]
WORLD (4,2,8,2) AIM-1 states=3072 orbits=612 N2_p=1357566470529871813101615991479026166229421686576308524394692665094272953428568195140956041536594311710542957645096417745332731430495898152266316878118698345271678158947168578009177676316630314986693169320083053618343493390501857365409228277692797509389155570293789668596377010562675417792135002025142971765839860120125057488361753366091037610616637244928865182689802952608786900669436717208411882488100753370753994767460003213032759911710757149921379293367463051301580061352795554872525935217090569351494694707235173882193267869488880223066695865598432214956053343733011994353408664368025932547830983798296967034725909447962499278172670359486724273523411482537478202474713201285849453572526986438557397339587762958562750257567505753/604501941162309725137825077642482269199804315282137769167283550080637854914904172381949966918790242584662245093549756445481745758522053544874295438731617105304799815064173131011907708327232731717959654217824029703384957257243655021837723015606269997282197223592976979090862004470638025533882522706258796049552686102032441799214124566917411175066722216275153084947355157539115139720343782490682849866927284636441446927485308469649079113444407750396512576349824986324009284201327282959605429291558522657473768686319121661725536735224743242152426686986263382258468632696703759897037142490772098083467987642093186462598774956278824257199472466426213127766921605235429559693738178043435762607684855792457496631387912535021464411598291298 ~2.2458 N2_pi_c=56/27 ~2.0741 H=103784666637673864667608423035359237518716440065207966121808264927024069160618800570985739779103438201613856710326552525074295783190898207341852264453122126861722986962216898873369096082369834386480553164596177196508026486589091394190247208287200477989042810249096674926441001290240994462600880856606209588989844501094807830732457968040110728996768944506325450947140403638770314582797760931440045727066385235912475214157141201908743972714948482432316172049307524111042286713005634660010970760524744580437989283758477102318080566800523868972773848145441496197748031473181973826220516979757877263601083503585172890076598427532345263240431169861985934451277782789920597183996980158723427423254692943089996918931351774814527774252531209/604501941162309725137825077642482269199804315282137769167283550080637854914904172381949966918790242584662245093549756445481745758522053544874295438731617105304799815064173131011907708327232731717959654217824029703384957257243655021837723015606269997282197223592976979090862004470638025533882522706258796049552686102032441799214124566917411175066722216275153084947355157539115139720343782490682849866927284636441446927485308469649079113444407750396512576349824986324009284201327282959605429291558522657473768686319121661725536735224743242152426686986263382258468632696703759897037142490772098083467987642093186462598774956278824257199472466426213127766921605235429559693738178043435762607684855792457496631387912535021464411598291298 ~0.1717 J=5391234768303078769711660485445581211117296694501825726035882206885132451676134147974595602269642947100596545664848652795370196870786518238602645612258961218374735885425550514110409001167053124671654907918561745259177419407228810519569993098667403066604685583359059028983029654337416369599484568939054241003943921800137198635328927363447235346395719295175149837776124032869315409590812986997903274769360049858141604931920439967258901454262509852237015764493359143345828738058287127459176002629478748405009228670613099153032979743970738966300383246732822548405944639638684865195160560318716379503838242788719429565174553631886367509544877018105847486669487250013695711442029420714369350190251692717238875566927636582843319603858846/11194480391894624539589353289675597577774153986706254984579325001493293609535262451517591979977597084901152686917588082323736032565223213793968434050585501950088885464151354277998290894948754291073326929959704253766388097356363981885883759548264259208929578214684758872053000082789593065442268939004792519436160853741341514800261566054026132871605966968058390461988058472946576661487847823901534256794949715489656424583061267956464428026748291674009492154626388635629801559283838573326026468362194864027292012709613364106028458059717467447267160870115988560342011716605625183278465601680964779323481252631355304862940276968126375133323564193078020884572622319174621475809966260063625233475645477638101789470146528426323415029597987 ~0.4816 Y=103784666637673864667608423035359237518716440065207966121808264927024069160618800570985739779103438201613856710326552525074295783190898207341852264453122126861722986962216898873369096082369834386480553164596177196508026486589091394190247208287200477989042810249096674926441001290240994462600880856606209588989844501094807830732457968040110728996768944506325450947140403638770314582797760931440045727066385235912475214157141201908743972714948482432316172049307524111042286713005634660010970760524744580437989283758477102318080566800523868972773848145441496197748031473181973826220516979757877263601083503585172890076598427532345263240431169861985934451277782789920597183996980158723427423254692943089996918931351774814527774252531209/291126677488366253564429666214061385400334021503098589205937639171797152390511243990628162522560719143432213465901827250949990631022471984884542863061983905792235737812979727761962086063020868732269365027602334243995580647990355768056779627328039765596653021501389187565083601334220483958372166722708929014212971777207408726307762077626150708705368841939458091239910697774943032117903901297886776837545442692339646666323703758231980678530175532020798851282641393740674751855147504882795504141991852413870498348213107354263780906174419904180220695323572417613921010540488982720538670257210684493207265110590849196519425896121863845515423358977715764280152311500739568417869588718575944910273591406730899280614092375473539258608377684 ~0.3565 rho=4031006506648379222624876679083287037653456700818853090750657345324716339382650492060008193451956969805972925953909841485432577347895877833467402773098442939939336037240759787894453020603309937283978693759821514880972555752522927879715141688236275462232341937303756236738946119504165264569616566831544964312272724680454793746494351315978001809779528950195860700539137492808265298806549996133728267529947685710893341801682669317002526089708458883127442705125093942062479894097851031523074156266813774031597850273794071321622429339015307980550186025968264106136556385515135331381441898355805836413595875476491736596823123080035812128304792343142998488561401175836745809238990387838673375058006919919213867354878155952265767210080376/33583441175683873618768059869026792733322461960118764953737975004479880828605787354552775939932791254703458060752764246971208097695669641381905302151756505850266656392454062833994872684846262873219980789879112761299164292069091945657651278644792777626788734644054276616159000248368779196326806817014377558308482561224024544400784698162078398614817900904175171385964175418839729984463543471704602770384849146468969273749183803869393284080244875022028476463879165906889404677851515719978079405086584592081876038128840092318085374179152402341801482610347965681026035149816875549835396805042894337970443757894065914588820830904379125399970692579234062653717866957523864427429898780190875700426936432914305368410439585278970245088793961 ~0.1200 s*=898539128050513128285276747574263535186216115750304287672647034480855408612689024662432600378273824516766090944141442132561699478464419706433774268709826869729122647570925085685068166861175520778609151319760290876529569901204801753261665516444567177767447597226509838163838275722902728266580761489842373500657320300022866439221487893907872557732619882529191639629354005478219234931802164499650545794893341643023600821986739994543150242377084975372835960748893190557638123009714521243196000438246458067501538111768849858838829957328456494383397207788803758067657439939780810865860093386452729917306373798119904927529092271981061251590812836350974581111581208335615951907004903452394891698375282119539812594487939430473886600643141/7163473885246245316964476610592310540120697285887401893828667656168577270152611959457583786525640115095179760963678240838303455217327335960501031277487059010149549426910594490103837874345444353789348236199882738885415541603841054006168617860027983746697236277381002635314053963285427800872652372173247555123888129060886721053767214738048131061826438017862529761448920980138311362681297827767805989265002029778763082781378598639461901937039832790882049449501294693567321665185987541802952312095381089995694162435819292784406028720702159466716974844147724454205455331090489851897023703325158942909885377154863568266117153888090563005018771849935022396011221143337875666570975872224951858417638557718887922115268372474057647819517611 ~0.1254 E=1161815415654760289481893720447167590576214351566059906304514532044057249323798405319770446215275703963524563050394791692990426698577375145970519471416510757647802240106083109639182755031215792492402067303017801656101940380526649904952146548446720765491288535154659489120614376327454949411467699790349543578093599499705614263368930377280904299777307350983333927661369653445467094378618408171160545739172179205888294246743662647489202595157667784264647809023678988701079010903494120782135577855138938007301820095907504847274380426386960677352581433304260568387577162641086287842234139144832486817753817846744942257594638156851183550440539859021316497038474672187829028533174213299908509099862135974958541408977510154652285898756568120152037756357758264626718498443171900914253482938690196806062782730018603396669304988476654577444940261715163560967539677291348454296177230306926214824284798664748259908498199806534821609022918801278543689440109080282813073401585214392177691149606090805767629826200066480147135952930921077709938066828338835963110743162425520130760073239872605456231004322749575413415072617914670695360535243683008708462409159136751522492164416761419891504841266786157298778071194786851695424453575450557919000257921906421057122171235981393385092891140635287180340009542252466806262058747379596826269039458872196224071078990941610571783815889579591228054799623537562842705336660706695733441919133702083815469580107438920178067849888424088441076283/626867566577867976114340294791424338827303471128143946590952065291522619604031481313947519427608069993583510914519137200031037064605133160794955237068967445318346111633390885515983783006981092901320788581620538747120075512356642487233863229651582953495491510268126818701239159206908802403005293189565190659315891955663864568894333740729643695504471925758201789389080182920402384015525606151110886685688822441274495845384617228131622870943577944241918419212828108297276834106551408125312863045072357042405570039080883661982684220436773449921892322235173393519876529788715037556008456927709449576814593352999930658583395371081109573262397600300228304808965893937017649060838339148274054523883476484347372244129124061498454851559056750842954033372013307458661941200545110737854733276202316907302304520973394080178412424108156119978728170652448690536081842477238499783388489933435426936542061356734009125368179436057092504351463180902760731801847730400518658478619261499196692331787965418660446884858723364839066771999781502517051143771424602539913834536560386652186643103169244479915641353730312413971948696903086239034827258081344924972643463564186651189626186333800832920527173984740331468237550407923087433228722317137618619550124925457407519189574294700263708730490774289288131365645214990822876270868701004291264924810374481488678534145279519556692327056645024084380018543019742303939677428662465367739989823837486586899709921816914850450920634509281816727878 ~1.8534 eta=[0.296099736087, 0.296099736088] Y_bound=[1.203963083004, 1.203963083005]
WORLD (4,2,8,2) AIM-2 states=3072 orbits=612 N2_p=101423538925676169894211420625351353907041086072060444411784219021045632810668052107270353047350826676367976583381113386734516143655848573276835821057701412446627192206481451198248976278858340281280288562889282775019879874174781242029446786884930528911946142394936125453297162929486181312656073224489234177085708356505762812379516922383018396818698969324580428227746744647878771435321831930673761349061865326482513757464168295645095581030625697068378022844066242457373922888424174836087105223169559871091007253355003630246407991531383417202913900642110271351651758859363423591135939454810216216732159729145596788121678587023789953673238189453325000955829279322410365152477106357642917398008007922235/44613142198937119041870533326533571563775208444853242627860658075138794052046968809783919910425398301838565830316522792766256665656099394941260209754764406937470571385428182845666032224903340867886750718212958047735635079448568167350588807631072564509335548394810205211532488328259239580776824530090409423861152024233474128144895458728086243770132265162316258883139902870869357937668095216464150576420997025759283200979562193005611253708367872781605472718000511047569005260719282981798226697474920511397758483517399749944411559312741384284392818911432364450033668646238563207386702465106477479301623933597602167408600732883961070674736939359945962283888849409601673611568983284003935190873630481733 ~2.2734 N2_pi_c=56/27 ~2.0741 H=80033195950925973599652830199535515972899217011283470652659020453486539657802384516133339098216671786325227084521595015640520867322115120587998474097043782520194063997006980998474851644862699664303250326028328084113730717866425387720696672851020222699918378184634631797734684237869826306070601125382131681696537422860348252710937071856222354325821774224653688231109181574680928081425376668733041381698176790836004065559020391367783493386097648358766714860586642561743874462390957864550381988994189293727573587870237339921989483277944914850892486098921639097570681671150965782338342411304366336959124135155130634801226936046836263797387503694267045969871658255795378956339602584046133019097635641099/401518279790434071376834799938802144073976876003679183650745922676249146468422719288055279193828584716547092472848705134896309990904894554471341887792879662437235142468853645610994290024130067810980756463916622429620715715037113506155299268679653080584019935553291846903792394954333156226991420770813684814750368218101267153304059128552776193931190386460846329948259125837824221439012856948177355187788973231833548808816059737050501283375310855034449254462004599428121047346473546836184040277274284602579826351656597749499704033814672458559535370202891280050303017816147068866480322185958297313714615402378419506677406595955649636072632454239513660554999644686415062504120849556035416717862674335597 ~0.1993 J=510668330918617028531888552477019872358499092962826375064333781805693374276669363734358086219726152689160995962976406652864680511475021001658754379639202342244174053052733428711809193522313170818355899627418893256594075071694171801426486095027950639598829498821520266859254512779344107459242750725526115867897617859644011346027330929254139163849832933164889596324334117136542087782017351770376971522057155991467908388312080043242466422023372021318713313020723312891161122552534839554785938113839218686447820676264541660725453637096008313927296372003769236602933546537646053321060210388203894796600505568056627076724454535982403527736915250361170145642876352922722955458172864999228493265554045435/748901667608057154180080895169628299631718127371637166414927113971154816221411946447212084827284863580023886839845706353390399663291836365920435175739450476168570742681048632900868646461207160851815959298538864110670133228153422473511083101720642569701076351951250447195989012704591551715678109617824618625966580742528342678691290674092574835469846177784685400916017554187255409025603516823139218309225369736966384668721667508487479079037350382425031916129504981613868193825023934946253205952816411462312492529069060550625613705489663525157673219136754319305121536027985473505292367519773003249667548046002914081199532686301504783508773562397174426827870373782282290841685570714694355722099312643 ~0.6819 Y=560232371656481815197569811396748611810294519078984294568613143174405777604616691612933373687516702504276589591651165109483646071254805844115989318679306477641358447979048866989323961514038897650122752282198296588796115025064977714044876709957141558899428647292442422584142789665088784142494207877674921771875761960022437768976559502993556480280752419572575817617764271022766496569977636681131289671887237535852028458913142739574484453702683538511367004024106497932207121236736705051852673922959325056093015115091661379453926382945614403956247402692451473682994771698056760476368396879130564358713868946085914443608588552327853846581712525859869321789101607790567652694377218088322931133683449487693/1916538245937569708080177737446255580961447095889487385616444683116767233660340122095045897582632251042421217849050454168201145959565753819225305186785926390442385221106908557955419903289241330081289691301703106391997563744068226770753602314639898750414407109077165561522782186460878435294538043472899512852219759827243974581640572977490784281928422998167830655005225941613442455445911121194224774122280506435979060181335236402288976481853715196009131063766774593280527692939663252849111625741238587730238670998020824852702627500021319202169143284130145944970809600155785638113938969586929217171641697396916521418946877873541960439596642934605471556597714952518979251834522762342104535225624332517555 ~0.2923 rho=1668026112188986651204124641164929890049602619064216457851298821877540757201713680805876865061145111389768105667350214924402359497075346399060455144691968399751866169713008408705673690763185378643083885139550692640204958146871568880830994901783935352601762536843007650011729529668964472584437136144157942541232367438271355806058358324603196058889636666624334000606813147420024847311879484236404093792469791471088738800214028364722446965415824771956301603265917734191456761834226149744101724610245895820107591950226301654826378623344663154957778562274765050811220920901852964784271471835613971431535264614691370521307216884597144076263185541581405568870032865205472233502762096429131542532716640431/13480230016945028775241456113053309393370926292689468995468688051480786691985415036049817526891127544440429963117222714361027193939253054586567833163310108571034273368258875392215635636301728895332687267373699553992062398106761604523199495830971566254619374335122508049527802228682647930882205973120843135267398453365510168216443232133666347038457231200124337216488315975370597362460863302816505929566056655265394924036990015152774623422672306883650574490331089669049627488850430829032557707150695406321624865523243089911261046698813943452838117944461577747492187648503738523095262615355914058494015864828052453461591588353427086103157924123149139682901666728081081235150340272864498402997787627574 ~0.1237 s*=510668330918617028531888552477019872358499092962826375064333781805693374276669363734358086219726152689160995962976406652864680511475021001658754379639202342244174053052733428711809193522313170818355899627418893256594075071694171801426486095027950639598829498821520266859254512779344107459242750725526115867897617859644011346027330929254139163849832933164889596324334117136542087782017351770376971522057155991467908388312080043242466422023372021318713313020723312891161122552534839554785938113839218686447820676264541660725453637096008313927296372003769236602933546537646053321060210388203894796600505568056627076724454535982403527736915250361170145642876352922722955458172864999228493265554045435/2825383893459356273876360729852839907740706145165606540638263861949388140126757997877395643902564070090375215371724023195940038482675671796462155909744734457259558286373283388699538188004057586467811870651682492023815841222048965960235503708539920065604695574864495033164204546558584837709631521562789769214567117016898700266089385719952252953929440400083778404889292177703507606841741616702431216062882426950709569212115976686202427508808277522593889893511112155491752401115917459933417511106652572953767363224188061648927303609593317995988260752545760865019508295266059876247482733283024048066470023661326113965889979233211884624789455832801640992097189377488221511547351327859034591799879235427 ~0.1807 E=419558957381556084345643711296592023433625919663540673030504173191337616556958063677472395242749737761801524219868779897418971755355774544798857009523917973050967182827507052233201532704961500206476087976477767796255517336665891498846089287952086334552247011031508823252178634830914755308472645048362777476303966808492478455988657534859074452224253132785282989800704978525113616866667696273551158320225717328785391787268284523594577902410154011144833320741092268003292223079440561918605506885743646125091973782996275954197861114679113569652791398337070120362891937970752170729951728462346024289383962868014270114495678036067245919560352702883709280955790969717281033997094178014581201738052443012446633801329673830669466030897687553836498528644501672294594661972413500403314726213550003502635112098421767406849516469031521399973706540583854914582807021875612681249017282908565021191540922442108206789592328419019335068320442450024173759807996560682962977723847123792731844792912614418811411739400150939012192243284429514830363532071947145649311257384417619235866001010214625481251992135283855394618013843469977201293083723668204567883511884248045685431336064951224900195014794012037715924017561856838653674013170229695968238370919060485874054833505401865037020102644624036787735212962114818048458104769398147280184166094991597447023113183478579302658372873933669418897432039672692823325787802599/276669739526749872445995210183651319910846957222305709084243756254831394396569016654880465780089966891064278973812018251652728623558421523556479143388398597300206699068519191408114108345782644015802756918862733165405700185018778097505431512797559081084524789502506925298219231471176212694722883657974230569839816816667882601767960669765229373387134877650053105564126571897104531676321833586476687577516526652070647743842834885707170572701132511383442420950624574873377784558862053263705059606458001591083730193031838395554330720789860992941939326048105770502510534759731581338550074232557071634124551538979092204974960459893373780768862838977043241072032635351052957344380336698632264756130980149774205904223983082974621229025637877750851679266272311134545017371085042322758669299099175105676549910404678039547503511343520650470356921981618078231786072433609766569775301294047710281961953306293633708712977182451687600853630528295757328876135829905588622279353506656224798447560498142740441233060722494325689917005323312726734934079219075682889470769563789880702937757883499473000010907051614813592402143033311880544032151704021247883674071040454990176124692407942807913125248609462919046589246794126580741496281119763767324818261374267050723981703714837342516159451477812838036092572935383915984214308960260659332152462194365467039886000379701579113989661430154005276909512783036383801022393545 ~1.5165 eta=[0.290372079293, 0.290372079294] Y_bound=[1.006690232916, 1.006690232917]
WORLD (4,2,8,2) GLOBAL states=3072 orbits=612 N2_p=8/3 ~2.6667 N2_pi_c=56/27 ~2.0741 H=16/27 ~0.5926 J=3 ~3.0000 Y=16/81 ~0.1975 rho=1/6 ~0.1667 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.339035952556, 0.339035952557] Y_bound=[0.582625124881, 0.582625124882]
WORLD (5,1,8,2) LOCAL states=10240 orbits=660 N2_p=486811202797230399732647329067321847162037494047926099805865889470796556403122991742214112547857542267674386975269414886594767674630678682152484483552191909427959615836393314267055717874023372864281683543385867379725657413100449717455250545951047302115/151272637520799072268298334528175158937954205666532761021481430891253394887149558488426303849995136011943970907249247456150448958210345315312094961199553762567219194499426488385137222479570913767020955697065389602927496579946941206840498715060667290123 ~3.2181 N2_pi_c=67/27 ~2.4815 H=111430954134506775955758869312220526834521502208752211345152709111019613535011124382045136327499241793591199909132393421332542482034636603415063653908854794909304577634112769015048536165458512775748200887705085772461128862861743759739938919689391434032/151272637520799072268298334528175158937954205666532761021481430891253394887149558488426303849995136011943970907249247456150448958210345315312094961199553762567219194499426488385137222479570913767020955697065389602927496579946941206840498715060667290123 ~0.7366 J=57329149944158359768193949915997807483588689044906354280221075285557108074634790205242474676242377079239/28592338849059280426829164760560620323163270273738493851996516631003816032291902945603702431857348781638 ~2.0051 Y=222861908269013551911517738624441053669043004417504422690305418222039227070022248764090272654998483587182399818264786842665084964069273206830127307817709589818609155268225538030097072330917025551496401775410171544922257725723487519479877839378782868064/606619260121389841342520983212466400214876243885409128928498964277398402793514221410316932072738355473933220615597599651151044129990586207502905559728769713564513969182527847465221300375552325052437161117771116341799521117190212181142514425955211109263 ~0.3674 rho=343252538434751164036485597521604010715221391782291292800186241595595268397553819661279498994815864895619/2573310496415335238414624828450455829084694324636464446679686496790343442906271265104333218867161390347420 ~0.1334 s*=171987449832475079304581849747993422450766067134719062840663225856671324223904370615727424028727131237717/514517627037027248768389345295214598979676716429863522759709257334519212571203268706831573960904598553521 ~0.3343 E=159303579944390046806832903384732029945652610591173368511030011587207186153353594788925592387878602384549612170874106686177512587588935632350961079375363256100625144208397202075663728155022271406349975305244239543802866604929886424661506840797762403561472087422030101862178868472052272559234258939744489690130269334247864896844971319996610357650442495220800/71951479432434032115126416655520297213147680835533990491233101235535507802212932660595565651301833711489838374248492270273568129291726514742198472756085488707616809235161732345893892521369712927471963024872484285126017271093528061577073367221962260467078947173392774274535055178107054463930135459788380365252754884836424484092724444126543530411908196677711 ~2.2140 eta=[0.336786593015, 0.336786593016] Y_bound=[1.090849546247, 1.090849546248]
WORLD (5,1,8,2) AIM-1 states=10240 orbits=660 N2_p=13401589158291610265393441/5087638267484739855021441 ~2.6341 N2_pi_c=67/27 ~2.4815 H=776709013051700254784680/5087638267484739855021441 ~0.1527 J=77771587299588355222946/188431046943879253889683 ~0.4127 Y=22844382736814713376020/61759789914378987971163 ~0.3699 rho=327013676123063482353296/2826465704158188808345245 ~0.1157 s*=38885793649794177611473/615141558596332787095119 ~0.0632 E=26903693474279238017679163400777439709860010375/11897444100731312911470504362424547717237751411 ~2.2613 eta=[0.301904751869, 0.301904751870] Y_bound=[1.225190636448, 1.225190636449]
WORLD (5,1,8,2) GLOBAL states=10240 orbits=660 N2_p=10/3 ~3.3333 N2_pi_c=67/27 ~2.4815 H=23/27 ~0.8519 J=5 ~5.0000 Y=23/135 ~0.1704 rho=1/6 ~0.1667 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.339035952556, 0.339035952557] Y_bound=[0.502514170210, 0.502514170211]
WORLD (3,1,6,3) LOCAL states=48 orbits=28 N2_p=24580051690096136684/11474992311275493349 ~2.1421 N2_pi_c=93/49 ~1.8980 H=137248247866089816059/562274623252499174101 ~0.2441 J=6276683853002844585/11474992311275493349 ~0.5470 Y=137248247866089816059/307557508797139384665 ~0.4463 rho=1938174323182348792/11474992311275493349 ~0.1689 s*=697409317000316065/1240765006182032727 ~0.5621 E=1574922588999413776361440509309887891591/1113136619551791020277969432787286048580 ~1.4149 eta=[0.413095838248, 0.413095838249] Y_bound=[1.080263381470, 1.080263381471]
WORLD (3,1,6,3) AIM-1 states=48 orbits=28 N2_p=4699747714/2370774007 ~1.9824 N2_pi_c=93/49 ~1.8980 H=200115415/2370774007 ~0.0844 J=9104005/48383143 ~0.1882 Y=40023083/89219249 ~0.4486 rho=154253434/1016046003 ~0.1518 s*=63728035/399032267 ~0.1597 E=17427982932808821/12190411534556944 ~1.4296 eta=[0.387207339895, 0.387207339896] Y_bound=[1.158532963185, 1.158532963186]
WORLD (3,1,6,3) GLOBAL states=48 orbits=28 N2_p=261/121 ~2.1570 N2_pi_c=93/49 ~1.8980 H=1536/5929 ~0.2591 J=9/11 ~0.8182 Y=512/1617 ~0.3166 rho=2/11 ~0.1818 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.415037499278, 0.415037499279] Y_bound=[0.762908763081, 0.762908763082]
WORLD (3,2,6,3) LOCAL states=216 orbits=114 N2_p=209861655765360651655168148901774673741311289966285261365458202650729152810865823338204058386533/97983177206475525954388982209359967353251658864331183346677446660864056394012747381597963853485 ~2.1418 N2_pi_c=93/49 ~1.8980 H=1170785652300448017345063950716482049471848933965177755666449390425371243089239837083388222566012/4801175683117300771765060128258638400309331284352227983987194886382338763306624621698300228820765 ~0.2439 J=17880220195687216330766877749699702619645379175421207939573561334507717183832358374521543345774/32661059068825175318129660736453322451083886288110394448892482220288018798004249127199321284495 ~0.5474 Y=585392826150224008672531975358241024735924466982588877833224695212685621544619918541694111283006/1314196184383010400311365514602928142543935369393458783558656758086317213011678340527333435914389 ~0.4454 rho=16551913914594677469307979994151381424699576862821770183750143999338824796835015108017072457037/97983177206475525954388982209359967353251658864331183346677446660864056394012747381597963853485 ~0.1689 s*=17880220195687216330766877749699702619645379175421207939573561334507717183832358374521543345774/31775521548096816077157062232754441654453351413044102611676870663508757206672686949529674025337 ~0.5627 E=28679324510038459650351965090062427553658464856804529987699301969164428698136927868232747429308319940191472957990337580326244700185264820090281969464209943211351040711611544365102342577187955/20307400152258595268114163077946618920204533773616441507793763457754504242916166901005513584925090167419271585245289986482340423024754595782120518588273499207961318837442571573185098605937023 ~1.4123 eta=[0.412494059665, 0.412494059666] Y_bound=[1.079865074819, 1.079865074820]
WORLD (3,2,6,3) AIM-1 states=216 orbits=114 N2_p=11142626437048518493625010286306644673092202938834661570665339175191316712184834447063547321/5566143266833357718576167107469511986546998928976037563667309230981981847893585028690820167 ~2.0019 N2_pi_c=93/49 ~1.8980 H=28337371599875138360041963034360974232647043608126923541541861103050207042953480237867543198/272741020074834528210232188266006087340802947519825840619698152318117110546785666405850188183 ~0.1039 J=2586404611641006774710599898303170077846314219927131555007360012616276784699226717927529643/11132286533666715437152334214939023973093997857952075127334618461963963695787170057381640334 ~0.2323 Y=56674743199750276720083926068721948465294087216253847083083722206100414085906960475735086396/126733825970409331960819395016855333814469396776429446195360640618197562450262109178448952507 ~0.4472 rho=5140466316091593298023943220445748856732615399111908133858745056929738267437248127153207235/33396859601000146311457002644817071919281993573856225382003855385891891087361510172144921002 ~0.1539 s*=2586404611641006774710599898303170077846314219927131555007360012616276784699226717927529643/12834994336633773119361229763034076492351531977408592846568875158172938017612517663532092062 ~0.2015 E=2839137662347196673068691693079983330605602750697592606304159247301298230976844250239749428673753777625594319064082494684066944513231948984036548947649124553938144228556118278597333188/1993378697601260140545316361827856528597132585302093001401706870291131994609724018699195673574675593751639060569535331710088997872023642999573755647264777359826255346605379071353740027 ~1.4243 eta=[0.376497469923, 0.376497469924] Y_bound=[1.187777113528, 1.187777113529]
WORLD (3,2,6,3) AIM-2 states=216 orbits=114 N2_p=61105397265515548983536726147783966806838867081373023407619591926330979986579459763575/30218467356456668784748408407938795152911189464523367250331067660748650247001150812028 ~2.0221 N2_pi_c=93/49 ~1.8980 H=183847001859791703211697599303106424314363866786604992692570711940593546371286502896571/1480704900466376770452672011989000962492648283761644995266222315376683862103056389789372 ~0.1242 J=796913853860764170397158799237600118110124011728370801116790577920459743008345494066/2518205613038055732062367367328232929409265788710280604194255638395720853916762567669 ~0.3165 Y=183847001859791703211697599303106424314363866786604992692570711940593546371286502896571/468585346070129332193529373951708869448752918896282031056672859817230328888907150510808 ~0.3923 rho=1193075813282133052369180128746042700905417339694173230528508213301088900679804742439/7554616839114167196187102101984698788227797366130841812582766915187162561750287703007 ~0.1579 s*=796913853860764170397158799237600118110124011728370801116790577920459743008345494066/2782313585985634986710381587000527984606128007354148890468734061982806959031068733251 ~0.2864 E=1388893656070636014845318429862418022490667079638790250165125297652358566517686614169270613379892374382343074794278141042284977653362345675578083842441836716101107686688997/1112830276348582510486241702726773037767975697468646225480920239155747135924231104039799024919972926624478656637215437881257094097026501916538620586939750790021379879287856 ~1.2481 eta=[0.378977641067, 0.378977641068] Y_bound=[1.035271505429, 1.035271505430]
WORLD (3,2,6,3) GLOBAL states=216 orbits=114 N2_p=261/121 ~2.1570 N2_pi_c=93/49 ~1.8980 H=1536/5929 ~0.2591 J=9/11 ~0.8182 Y=512/1617 ~0.3166 rho=2/11 ~0.1818 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.415037499278, 0.415037499279] Y_bound=[0.762908763081, 0.762908763082]
WORLD (3,3,6,3) LOCAL states=864 orbits=440 N2_p=57709484718949934988398757885556228888609150401318031931261843042608690875981830517488763751934502140309531298565267216691361540064783830311483442162732181830043088924884510795981070609868899272284315115447237987511888531452833154449997957474768023176019683186372903154513547970373969867804929685161466975026601957439301608305101167662671569948236422595126315491013226448514677/26945744429894588634478365228654465174771282484986235748369082318880922924679715528681506919664345366635269534999513931300096481820950725947960842021341095862922986762332735396623136097387077896410129838371233698518769545261480574415804273607418527706459090142126414038001948587177384415443466793758130221875003008390612937714121921078595998041542001694303436279448489103896595 ~2.1417 N2_pi_c=93/49 ~1.8980 H=45972931321192867346435881446769993469731299794409091433357950490271431561128021598509897188000926539726709553534756858138248950546570024586047193998450713488610512631770948159588686118082545710827052241198561060833852904553018735340014638681958579846324156130645107005283233134403967555171306107629395877418316590599825085648088365023068444228596935655852840724419801330690834/188620211009262120441348556600581256223398977394903650238583576232166460472758008700770548437650417566446886744996597519100675372746655081635725894149387671040460907336329147776361952681709545274870908868598635889631386816830364020910629915251929693945213630994884898266013640110241690908104267556306911553125021058734290563998853447550171986290794011860124053956139423727276165 ~0.2437 J=702743665916343660614816931016003970790230512149867327317422053541751345294575978768367160659121509748478740325128133964442979357177604271882470379528225413758300681629414625593841810214260121207558460314029960548517695445134255635307622714321283230878788962487515799538159612849321376466291268802051233073881005721627385493563175125940662039851416501782781926149762722423888/1283130687137837554022779296602593579751013451666011226112813443756234424984748358508643186650683112696917596904738758633337927705759558378474325810540052183948713655349177876029673147494622756971910944684344461834227121202927646400752584457496120366974242387720305430381045170817970686449688894940863343898809667066219663700672472432314095144835333414014449346640404243042695 ~0.5477 Y=22986465660596433673217940723384996734865649897204545716678975245135715780564010799254948594000463269863354776767378429069124475273285012293023596999225356744305256315885474079794343059041272855413526120599280530416926452276509367670007319340979289923162078065322553502641616567201983777585653053814697938709158295299912542824044182511534222114298467827926420362209900665345417/51651659444851259055189044429676291853081942643015248557830520935318723879151334439474986308445430966513187413896917846386558982752553913983361572895324567911235100099761974981147373050748118908755546833081202100316050615217367789195110269502614317469590988742832411266054731544425121170272408256950765630930253920539612833776893371756638659929079112881034471572007560098155768 ~0.4450 rho=4552135727329856322683154820823784710043270867147901005655862384810454620248821054294296720611170847839231531039344409864456762474456279407305447811148381965604441647676948253682861252698128392123291294367063346051199059053917194837565376086809644331801516125648432090681295125303233435815357953624641264770310006920286376595580592422882947474357416743826129966070975451551973/26945744429894588634478365228654465174771282484986235748369082318880922924679715528681506919664345366635269534999513931300096481820950725947960842021341095862922986762332735396623136097387077896410129838371233698518769545261480574415804273607418527706459090142126414038001948587177384415443466793758130221875003008390612937714121921078595998041542001694303436279448489103896595 ~0.1689 s*=4919205661414405624303718517112027795531613585049071291221954374792259417062031851378570124613850568239351182275896937751100855500243229903177292656697577896308104771405902379156892671499820848452909222198209723839623868115939789447153359000248982616151522737412610596767117289945249635264038881614358631517167040051391698454942225881584634278959915512479473483048339056967216/8737201520575163343745745945359326334598199016394631725745632779639104443684431311504320037219661975278343410842136291842269431923125608318739050776747568000505220171624942381891691086594564327916964660902980314313973309045811795065542769260179950379253025639532685675276768085964450672182034979259565162793762980709467431331799551387064208144112334718998916415164587297688703 ~0.5630 E=88483918433854226913453875696669767234675333976787416056029312573865997841698827857173747333512411177101991491096305491184292447357541283671819555309151444195717848702828891038692923561007769486368443814084200481485824341071099244204855526449400231794573287094964275248681802912383899361504274752606123221376732228385152181282716631610175645466594536501913406388670609151904641342537286336135886908183084068654224061381809622325675631353830371933443723850441632282775737599444062537016712068503906305475228459121657066889440391418489697381902769504522656782550515249021585702202177402840509202201623135460834780047886299358994894769777515519570387709124481163949630790983076356206124296124082971417314867986366476000908280630939699422685448933760736445/62711974102086610202110577374333201474109543084011501717416155935515372480864219933855164223239316487735689213055673807634323304359100687568478319432854870365932770443157384197323940977906331338756348656171593824456488053984014826352325077239773590996879488483114877031487634448978867594890097964478638522416387970264619362576569867093739471321263315999753347074128887721096213330478897949915776019868323509682427362806548451501764226869792261721887929984808973429347047363108478640449500607345109053533382634988678648265366744885557574610488326801128666493962002984250379773271672182874462341316754766160909669875549105460730502006850336196666068016082437240426675527340242763934161689390575691765926110194025364226029323899810867365776029742314009584 ~1.4110 eta=[0.412192047608, 0.412192047609] Y_bound=[1.079663234662, 1.079663234663]
WORLD (3,3,6,3) AIM-1 states=864 orbits=440 N2_p=3381160401659420258119461824233157001216854673209899369102802971143784441180509230798412708268240884530570581179875492483242675578516608473275119673570744428931960011667769515903249112647366949268285848252873826512953166479430825042380392165168918708815021903282601660103435606162443743156381624385016221943100517447988220002086396577458206703803957626995537080124167/1680960653344739089711634338960676035500105264760395093032213690137662516535407476021682351484997945621868076908460144020055292499538735536175749847822655544442961831211168318978440930494825862424769932821664484746826377588791254786575906352026260513372836754546541330245534479115078272463266528048890248295868222734354360434110936289979635157902736089762922969163902 ~2.0114 N2_pi_c=93/49 ~1.8980 H=9347518920250857304671635864081821758116089364568325434041472403242823580052057039105764017038994399164227325327105737813748900890211410326136128157459511384470590269082052614264199983702175308642402811976020417679852041734523731925079925354834788988262255088019137632233638144257464075578912486319001783696180640656467259729916357327346058801439467374829480793841297/82367072013892215395870082609073125739505157973259359558578470816745463310234966325062435222764899335471535768514547056982709332477398041272611742543310121677705129729347247629943605594246467258813726708261559752594492501850771484542219411249286765155269000972780525182031189476638835350700059874395622166497542913983363661271435878209002122737234068398383225489031198 ~0.1135 J=427083060872749989725563676823430498591627628638500152240539280737585546373042743011782212894903869978111768900238435638036659250835716099376160003319462700398408381370008111128206432926245280767327326805068870299355748094726027571775750523262998515826681449665129959294351303497056700191750892721641333575078936473811189606806111280117341498782231171879649602797147/1680960653344739089711634338960676035500105264760395093032213690137662516535407476021682351484997945621868076908460144020055292499538735536175749847822655544442961831211168318978440930494825862424769932821664484746826377588791254786575906352026260513372836754546541330245534479115078272463266528048890248295868222734354360434110936289979635157902736089762922969163902 ~0.2541 Y=9347518920250857304671635864081821758116089364568325434041472403242823580052057039105764017038994399164227325327105737813748900890211410326136128157459511384470590269082052614264199983702175308642402811976020417679852041734523731925079925354834788988262255088019137632233638144257464075578912486319001783696180640656467259729916357327346058801439467374829480793841297/20927069982764749496552620164348094430989753803286507459786424756141691772279094407577328431850289628927476676111683346263796303290950088869431840162653672319522010687130397445282115213386018757599039013448374644668431656641575351017011775639886927275507391033591368005423213871355778309395793743360425345178867887216748290733499452725749733440329327422102830537060203 ~0.4467 rho=781423574415281036980066670529351229298849060417097918762454335878653299425609310153832752478556815263387999946516981099743219535635988958271915649541061333389613410714787581151932746344388981148805303610008903505690697265871398847357638511334540007992170244757821992861564962977470216797364353838330296923240514953839181558448417164293749567498634205881202644326979/5042881960034217269134903016882028106500315794281185279096641070412987549606222428065047054454993836865604230725380432060165877498616206608527249543467966633328885493633504956935322791484477587274309798464993454240479132766373764359727719056078781540118510263639623990736603437345234817389799584146670744887604668203063081302332808869938905473708208269288768907491706 ~0.1550 s*=427083060872749989725563676823430498591627628638500152240539280737585546373042743011782212894903869978111768900238435638036659250835716099376160003319462700398408381370008111128206432926245280767327326805068870299355748094726027571775750523262998515826681449665129959294351303497056700191750892721641333575078936473811189606806111280117341498782231171879649602797147/1917187662373093121214636334764623189304919552612793604046823726898374351903785187449716044540766575812052230939312507661192999356072250775439586945303721299770431850774354632327591806106921662679088584024957840217716343702888168970297165010740621508149829284608336019290343585435353950200342168793349557194642608387706355068539140212763907203713671445763958330183790 ~0.2228 E=70707651801017360320350956785868210654491530614422334263250684766199028308474776913927467010673094441492483302960811874481931312553750953312052171090030096983084802285375976100973007429704128498034794220554130279860771303831144883666858263836806241361738152857306511117708271088144667200740270633730363963355678032287907537551383059143061330563659206356430814739117561257864903080745211138660958656738810783776914837843919297220889786581647927254786398752734916847802083175598305997084661225633722298289813255338240682277829631266477363395741878959997565164283185744129203380276912957067692887911986183564944930131904529127735105214521029484299521334822501392844871658720723783465048726130482625712687629108752551461762024053361674023/49718177592446324153939260973346602280937154937169166510716371172252838846242352248423342635584213185420662637956050609660376789366216106855983380853236609205636905416603685620443812050219346977258153264256442591601897597821943323220798305523577258828636813972946151255237205076202264767230820271177841024663961101376876022706488305573107436511164095372755750639999597637929183445613103154628372112733878238560812293726306022353102290721456935434626659857047292192678957203918338762100410697053794578984729824998460214921531626744271010700034963206862111637334723662467678807955757538839502805874419900512150254078047300321706570825250732867147555762132456278008711161318473368530223938096469537711588622805738750124280685736399483595 ~1.4222 eta=[0.370426677926, 0.370426677927] Y_bound=[1.205828847500, 1.205828847501]
WORLD (3,3,6,3) AIM-2 states=864 orbits=440 N2_p=341086228473488955332796385594182419558954259130910030662462897627343345879970540509627639095154124464694838551288921625844972624765040341861791083620323516708433070673670009750679691620048720651924722489206956318136524775135317551254783521542522526448464343099938291503668092652610271454496729113252425258360428922102529086780744713799895340878120705494584/167401723903244704815140539414566492552715652501248316683364973841318062749521393683254145587019571994156803095142383677293534662945718305669026465778743592315995408648652559722370607777873393260690315045619376258581923987837982620532033580184466359138974438430083040679505718955126920856731023537469823543292095919701241646062076818968101621795047123372745 ~2.0375 N2_pi_c=93/49 ~1.8980 H=163552124599885894785564675508607821569457573542642578701105630928177730344723838918445539438533129044780628737845068239729276422790739189144043111424671176189378208383591774800405480862880248385730300389791266791510111873242596614572181371204033199435732862557036214355100668164442808799193505366382178304785156664401207452640478116023060125155504585081333/1171812067322712933705983775901965447869009567508738216783554816889226439246649755782779019109137003959097621665996685741054742640620028139683185260451205146211967860540567918056594254445113752824832205319335633810073467914865878343724235061291264513972821069010581284756540032685888445997117164762288764803044671437908691522434537732776711352565329863609215 ~0.1396 J=1766916577621278655858045880089242109295298479638148434518921203823129826532989467431177065689661671181957765752350730121459914153254750328344008458144905070061227258358822053647100881809031848299812400997957505168803695448270143872783438516253923162107275734434436045762734599602300540787787337937974526035310723387975857641366715114067175760244559960411/4782906397235562994718301126130471215791875785749951905238999252609087507129182676664404159629130628404480088432639533636958133227020523019115041879392674066171297389961501706353445936510668378876866144160553607388054971081085217729486673719556181689684983955145229733700163398717912024478029243927709244094059883420035475601773623399088617765572774953507 ~0.3694 Y=163552124599885894785564675508607821569457573542642578701105630928177730344723838918445539438533129044780628737845068239729276422790739189144043111424671176189378208383591774800405480862880248385730300389791266791510111873242596614572181371204033199435732862557036214355100668164442808799193505366382178304785156664401207452640478116023060125155504585081333/432894561517213270685221240621864316777348127511346366457135694936666807500582419520638381093967109439579652609325928879757678967547413830444282072245501742165000678297911403143539716043212802833454038244499588766356905384826185248831942436482211174716282554936436831211869976902563632493007897794803758878651127230054085122134845202946458061259917190300695 ~0.3778 rho=16115635769327967640012949258480655756670925836888004150235918961650392347920537497424389544577053556395398031050269331032334313834316319385689134096322927268575119428243327172707438691341036984930410833479618327332968608691525797061243459674922468231162227599870125246863224795756036614221875069721102258317490373648082284446687585311333029056962884820932/100441034341946822889084323648739895531629391500748990010018984304790837649712836209952487352211743196494081857085430206376120797767430983401415879467246155389597245189191535833422364666724035956414189027371625755149154392702789572319220148110679815483384663058049824407703431373076152514038614122481894125975257551820744987637246091380860973077028274023647 ~0.1604 s*=12368416043348950591006321160624694765067089357467039041632448426761908785730926272018239459827631698273704360266455110850219399072783252298408059207014335490428590808511754375529706172663222938098686806985702536181625868137891007109484069613777462134750930141041052320339142197216103785514511365565821682247175063715831003489567005798470230321711919722877/35978491264634952329032526614817272504945688153196973409075308458189268258030686220254929173903528970912489732884352882246783542430165705858659343081954446315296767476218227142592609901359888016692545693453152445817279957936686384074246309410989942558735752658569323420250532190052006057151113843597485092705296057228415849850495750135528856849176734739919 ~0.3438 E=7040290527272359259129124706162818271771074989108010931447756253211969022945777429357315125225797134464060733769973881992577372995022257752858816965414630881106591662831757204203750252666364893294844383579435149497982334221434844256192755350541613097241117874537188248548483719489886527714288788919115473219709976663455719147826764292378309405658687466012348186602673954292389636501083018850041267993133759610668358258621174395563880771210339205108782447232414787712175337048728433705055331950127904314315677671851691517222811895702880915576523935560668499461499606349528245654617071680619450741715909811438305405509743973847109688101535843269749779900625479090102582641059350930889520524531321912477513997263479/5862407597638331732350070559568884808205138910451843541393372146497724833992498750423025476618464776191144698508528370636420181753557800308188709357513191949801369446049444651187126188662249187787700681410345044876986770475361603828763384663056447711728103332573691083462363903675875960842991841520309324835170389936876603689394487678593762107797990291249627783121694730612868555218266450960973858784104199779592051270756604737986617629735027812840830085199269487264751927457932831997226192405295308877321456980944246408027292588678757524816566251304473615986101652958218775745255661904134066931185154363777135414763297185804707864876330174489010058684733939012661960937988970945103893230012365555030455944739340 ~1.2009 eta=[0.375375582445, 0.375375582446] Y_bound=[1.006486702114, 1.006486702115]
WORLD (3,3,6,3) AIM-3 states=864 orbits=440 N2_p=588920415938771318484506186115149033618298793926076493784580750748938257089493599859138439399545573768156374391004499906488726086558458611056897578480882927805072925520092279001526412580287282353635887827306869773367972576094341646669410278845047454629240138807686946410487144407250479410366468925236721861153108680798180469338857508067843949924/287004723449572583350647489881749181402527187664805113319849963884730889921979747145845360254224886838288931467957148788102177381646457087497523290246639179172183106961233389258119062769035600920579725882572293200801548156780601420733075363891195846104253467864097940227779265675502798591276042030069772248813638735880958196490931080267140929277 ~2.0520 N2_pi_c=93/49 ~1.8980 H=44197165309990701104705848176318954629828825501038217483641023375877588462062651194574796468057523238342688135493993022947858811188652302133026843931139179580317232716118703470810640385995223463555999927730884718785442400980138950176022343296451256921167230412562284345518334043541086165699695276328786776670080059636361851509131172050617288235/287004723449572583350647489881749181402527187664805113319849963884730889921979747145845360254224886838288931467957148788102177381646457087497523290246639179172183106961233389258119062769035600920579725882572293200801548156780601420733075363891195846104253467864097940227779265675502798591276042030069772248813638735880958196490931080267140929277 ~0.1540 J=2462726427167934696098335609182758951755881033456331904479206776607978228465156486435583192821074889674974413571366025310845157531144095357713978981282222544986580672550578145123775929356275863958157015561432281925688030771414983937548248916409477257226256949949010724022801294388095994538700671279826089595720868387702931497362376898902674691/5857239254072909864298928364933656763316881380914390067752040079280222243305709125425415515392344629352835336080758138532697497584621573214235169188706922023922104223698640597104470668755828590215912773113720269404113227689400028994552558446759098900086805466614243678117944197459240787577062082246321882628849770120019555030427164903411039373 ~0.4205 Y=44197165309990701104705848176318954629828825501038217483641023375877588462062651194574796468057523238342688135493993022947858811188652302133026843931139179580317232716118703470810640385995223463555999927730884718785442400980138950176022343296451256921167230412562284345518334043541086165699695276328786776670080059636361851509131172050617288235/120673594931228800108818444849955188636038170639360263319481132053790933194792667835343576448232669594073746264996935240231412719026060672527984970082828904704342452954978329111065020538457517333949693762510181814358713507799334212939864196904064385604086590547501525477117263425016703732396332892711478390190322550997443643370756468046231059859 ~0.3663 rho=20034444189386664288995120703983729241706525176199502107735327014448644958382283862711829738998108777733480421813640440908937650285008815000419486547402988616752893343646499936437187935623761634605895334902593090138027713839615070921205924256686773957486673349791741758376633886765818357269886918018791737482270178747761596588643871609135792810/123002024335531107150277495663606792029654508999202191422792841664884667109419891633933725823239237216409542057695920909186647449277053037498938552962845362502364188697671452539193884043872400394534168235388125657486377781477400608885603727381941076901822914798899117240476828146644056539118303727172759535205845172520410655638970462971631826833 ~0.1629 s*=17239084990175542872688349264279312662291167234194323331354447436255847599256095405049082349747524227724820894999562177175916102718008667503997852868975557814906064707854047015866431505493931047707099108930025973479816215399904887562837742414866340800583798649643075068159609060716671961770904698958782627170046078713920520481536638292318722837/42864247577984449994297012847671875062828408294404182991851533607090087275890756183086406867246802105475620370441359145550896848137017777497260606773233408035352615323085452793445132301377353856110586895777753296934266926118940325200780030355193981071876221399732150206970292599580783110038756055097592585276764457529364269284394976535088655593 ~0.4022 E=2329860344151843199895516858531938525921514513287001522435087919781179535902480073635883474336827509999381503809944434377406244145810003714815787831360590671340957993971462956568719499160960012300001105184187074924370983438177885633721289743833551783510182349819471073597709101684033226143933090340067476736583621888138087528962690885400123114305084740006483238907111637492822285496752417368037951463984884519103415406865685369516399938857756750257197005361124717363825602386652722171541787431567136306140111895870566214497969049777773692372263494128544959940552386465553087244795795231692041768119075844372336953469999531500880214158058990410283424498020524627982280231209035616672089895/2002749393282747037349841191646515732852960857060765554544321897918112963562740248574844972220784989174154966343590535907631434479396746936324888658806842643823318757435289298709846164816776643320276410100326821857330412374515528548046748950794414116162235274463481860916310499167022608107446699384977468171354400435792485745836108952124461049244104888342176498988838534032954334191187669374178364513222134284996176904412854652127360132014872865552261811746518336690597141213218258539550493571750134917830953725862010422108791203155886706717773145007999085960352942628803739530427911778734423791795869619355397930445836455687579889253657851656927781043762593363933965604137344977145897496 ~1.1633 eta=[0.381235443639, 0.381235443640] Y_bound=[0.960702441792, 0.960702441793]
WORLD (3,3,6,3) GLOBAL states=864 orbits=440 N2_p=261/121 ~2.1570 N2_pi_c=93/49 ~1.8980 H=1536/5929 ~0.2591 J=9/11 ~0.8182 Y=512/1617 ~0.3166 rho=2/11 ~0.1818 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.415037499278, 0.415037499279] Y_bound=[0.762908763081, 0.762908763082]
WORLD (4,1,6,3) LOCAL states=512 orbits=120 N2_p=4281161717554956380121285643302104454425443620001120736806463622791411713550549135260805836101135184253820669001/1534316581920225927045164832420316247731206795651512345066812134351488508600124334323614669856156045763899932088 ~2.7903 N2_pi_c=118/49 ~2.4082 H=4103938213372314747801935185172257290652047927596637055090412237614789992737462311084707846561315804042431542095/10740216073441581489316153826942213734118447569560586415467684940460419560200870340265302688993092320347299524616 ~0.3821 J=4115568299815098869540830579604591012026155655820798562682107/5008967679740064987940310169036574019471063335004607666346841 ~0.8216 Y=455993134819146083089103909463584143405783103066293006121156915290532221415273590120523094062368422671381282455/980510148801194963148814885433737345365547437325193227208971546726222138818927147099367647447391534017466207448 ~0.4651 rho=1627113065631213752246794837801144529945358841230878312417293/10017935359480129975880620338073148038942126670009215332693682 ~0.1624 s*=457285366646122096615647842178287890225128406202310951409123/1169827698985091655631146995622856639720230435028567361008170 ~0.3909 E=2284054874492456794393565534589382346032035117406447080183344592164838228732010302453596458787212997941275351417780286406068492972810059291742339943131766220968855417974655/1266619489323898770205301851895648950814362567085591038508686169150695375366837631270051411456941228276808255704269953456004237983629143561361747305892497295979237768877944 ~1.8033 eta=[0.412125331870, 0.412125331871] Y_bound=[1.128435917696, 1.128435917697]
WORLD (4,1,6,3) AIM-1 states=512 orbits=120 N2_p=6528831110789610802/2602265684087615371 ~2.5089 N2_pi_c=118/49 ~2.4082 H=262150483803108480/2602265684087615371 ~0.1007 J=11416230564589215/53107462940563579 ~0.2150 Y=5825566306735744/12431006614774923 ~0.4686 rho=110020336069323563/743504481167890106 ~0.1480 s*=8879290439124945/101141045630198618 ~0.0878 E=77345261685691090921727795966944/42223943002354336080829940818845 ~1.8318 eta=[0.375099289035, 0.375099289036] Y_bound=[1.249354286611, 1.249354286612]
WORLD (4,1,6,3) GLOBAL states=512 orbits=120 N2_p=343/121 ~2.8347 N2_pi_c=118/49 ~2.4082 H=2529/5929 ~0.4265 J=18/11 ~1.6364 Y=281/1078 ~0.2607 rho=2/11 ~0.1818 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.415037499278, 0.415037499279] Y_bound=[0.628058678981, 0.628058678982]
WORLD (4,2,6,3) LOCAL states=3072 orbits=612 N2_p=1318463146365379277119798915917593319050879816595072051993835768389624004519919284619894990602052399335011345995656022102839824530514045284958137805995054986398187021749556222795325531645886502774881680379288024812882658975553275508222911888885849131278294271217021383542627018364542467594054430363906299625065970688857079747391062376496626294225561963305037704798590739558890219558418013835667625602403796578415752759980672859604356830490730802086905538396936091759043756109951954419002878235657350713795069827573124078544506977522873383127852969689802616518072161801332096575746419042856792245332688525718457535815527098783866877366662823176010645286531054956950257612071398641454019041001249629952279136157661186015285538509/472621989480567482102360180373858303823674480788870923555844242145982495188920810638218821908846021286005390217858805955082808185946670641478845282525428031354114849484581246284061059947754881135896016776066558539107064582384292612850681061268552598944263290379579760083196208659059657714842967998850354634732793747500575897042747708611359367552310064432669216486133589422056135894087483507858963048063624841532992845365632833091953780981045931708373702269427329558326893736911403144798519975840239368375309540903892259841488051092507678653658953814616728770921913003088285822992426141616135504690195405042751947751322787240945325215814324569651257831266660697437898183522489751127496080470982293236881935772198928980606495928 ~2.7897 N2_pi_c=118/49 ~2.4082 H=1262185630456660241541663656549541826042788897153108795444047439695091684169055613009290507750962436523845701154257997191340005150497297609777858450822455233389373118078238265064535139544766094561924622715608472602373809868680567369506045332245342965316193003549090871967367325441934471679599551995295262104251843078418421681588260976027754720839992656984554284252454669511856674694308517717193716406611185863068389926558327973680419791183198480095753501951063372615795798347442885063559382342580277072524556532060541883912178838529269956019005566382222030630964313414407857871209749769896975781122668566451384202900676992282561230785769719486524742135793675798984376762263534685457485073355045895101372750086560642148203552491/3308353926363972374716521262617008126765721365522096464890909695021877466322445674467531753361922149002037731525011641685579657301626694490351916977677996219478803946392068723988427419634284167951272117432465909773749452076690048289954767428879868192609843032657058320582373460613417604003900775991952482443129556232504031279299233960279515572866170451028684515402935125954392951258612384555012741336445373890730949917559429831643676466867321521958615915885991306908288256158379822013589639830881675578627166786327245818890416357647553750575612676702317101396453391021618000760946982991312948532831367835299263634259259510686617276510700271987558804818866624882065287284657428257892472563296876052658173550405392502864245471496 ~0.3815 J=6943337704168187746149425644927281162280194117864736416791206206231243978204873204701621610739286105889552839523837058219694556787673719799588596605601706089656007781926426347805255840726993096178552187410181437019702982659295616165605864287433348625725724247708375826400517178535620986750872628660681950544849101915296223630000570285096267346513667949953688960384342253937849761017082257888732237733598018414407138910422401343542778291111944602939364254114784641185531082024555804135893522654278668300565287762162308511669735253297937822546273458638949204208408526877547825233852184431126316491918599439469473902238992166505661704610468595017230943039815219264904153718093320640549896604562038196088337000643079010477122539/8439678383581562180399288935247469711137044299801266492068647181178258842659300189968193248372250380107239111033192963483621574749047690026407951473668357702752050883653236540786804641924194305998143156715474259626911867542576653800905018951224153552576130185349638572914218011768922459193624428550899189905942745491081712447191923368059988706291251150583378865823814096822430998108705062640338625858279015027374872238672014876642031803232963066220958969096916599255837388159132199014259285282861417292416241801855218925740858055223351404529624175261013013766462732198005103982007609671716705440896346518620570495559335486445452235996684367315201032701190369597105324705758745555848144294124683807801463138789266588939401713 ~0.8227 Y=1262185630456660241541663656549541826042788897153108795444047439695091684169055613009290507750962436523845701154257997191340005150497297609777858450822455233389373118078238265064535139544766094561924622715608472602373809868680567369506045332245342965316193003549090871967367325441934471679599551995295262104251843078418421681588260976027754720839992656984554284252454669511856674694308517717193716406611185863068389926558327973680419791183198480095753501951063372615795798347442885063559382342580277072524556532060541883912178838529269956019005566382222030630964313414407857871209749769896975781122668566451384202900676992282561230785769719486524742135793675798984376762263534685457485073355045895101372750086560642148203552491/2721788380033929596490574852811494215613836094202976675382152832842647639456310296243035671409800153508704713093344126822120266260768098161438729869395868787145155050515159128339660289564981293701992457464791123311723569202443881536917498800673872661284483905101683323949002733985963426806342070434987324613580847950796119662960223551757736799833357836381846072470662163543637106318696245092383037191570423218447598452885581326668769090115882284352230787612995579344728184153625875221270260880477237973821592802767624936574536219292791626438139195786468088049696142535998747491670056297001516064832090980272033769677684929270219388207303689246754529671607565951842428257492581691095559468988318972866628104252086972107032035288 ~0.4637 rho=2741971809793217182311674250305338068052498091270111208057289966347657001626698778310037195284418494596808928843952135196258285965807612378954109783219612014579443480183135504406003985346293282484162434652525094989579723234035978046239808475941822378151547874276486060185039297578531225805362819046003670951452646421989833253007243356831247599250532135878760102634629849279639797603300601606226856803965338503745541540116880504923569957643320142869767527080775439843835971951397571343878534969116532002622035170156839146005470646887526011891619929057382251752723091431694211863137992498163169006537937073866328422647381194532303577170979752328973197106997973183216004854887894951220893446157625763947481706351365644957787277/16879356767163124360798577870494939422274088599602532984137294362356517685318600379936386496744500760214478222066385926967243149498095380052815902947336715405504101767306473081573609283848388611996286313430948519253823735085153307601810037902448307105152260370699277145828436023537844918387248857101798379811885490982163424894383846736119977412582502301166757731647628193644861996217410125280677251716558030054749744477344029753284063606465926132441917938193833198511674776318264398028518570565722834584832483603710437851481716110446702809059248350522026027532925464396010207964015219343433410881792693037241140991118670972890904471993368734630402065402380739194210649411517491111696288588249367615602926277578533177878803426 ~0.1624 s*=2314445901389395915383141881642427054093398039288245472263735402077081326068291068233873870246428701963184279841279019406564852262557906599862865535200568696552002593975475449268418613575664365392850729136727145673234327553098538721868621429144449541908574749236125275466839059511873662250290876220227316848283033971765407876666856761698755782171222649984562986794780751312616587005694085962910745911199339471469046303474133781180926097037314867646454751371594880395177027341518601378631174218092889433521762587387436170556578417765979274182091152879649734736136175625849275077950728143708772163972866479823157967412997388835220568203489531672410314346605073088301384572697773546849965534854012732029445666881026336825707513/5911469527990255631551880869273587150064096234522088151908134496965889678811805266696237715606826781827242506690577386182210005634864930536999463814458267347186327846573931063949593342463215482059636574820848139295504842149009395416850803998681017592546068873593332905088278833223720015165797580917783696006074905294204091882354873308794987015580373757651717321109108796526302805804207718855769824500696676039767578316876507733589783775892645560962847829870731439136330888512674112653004430689256706574344342923083081267459833522896598761492768634292497020522033098669233360511463249350780734855640944741775827300529146194761690163309449725314509276974388846461346629991965911306812714803618864559812999452173070598047654318 ~0.3915 E=10652440781432341286231763838097897139609846204186658761607262594260209726233189007858022509734700028346125872861563499235296552190889046120500039562771537079785858107337003464889357670226694452059291066105847890596461969114392503694308170488243361831814318455287450630734371904490299226440280119972771514454081981610858392468336716044030356108223806694627696482906369345270114463103606643907239363675295025659063111770180526463413443623654861539308021398551752603020707731537464450054139005511340039378414990122477016392463515767380264986427608672394747028001571524559284945897245147380659358627016717810150643227912254542428329172253710386928965006556113574560807793940865397193558978714388193058758027802159637856594852200167549622852756103091913008387001145214583391706795081168970945585937626456855216526054121278744069938562214467621290307896411070890049341386941584118796646333361663291162780966592104459108916858737638607029759711570199839444534991405377161629932810619021319569201545721007757076031529046628683084298931034207569318308124628807221493617380179490685809149681142762415101976780948208756716664560121580435300834297343125075847296816666542935739351313744472829816148645476467604138311600917217099343344111687182383415322210848892372174028344494946084612794503098277183102276959173833246948894593712484640117472001796726292158504597090482310246686773027757577180429652663882056091618483965633001740786245422150474452887790730817083/5924233631143006653533955621348202872349379165917907473445442300759401212329332114343801912536940008387246339749770789181045824523178869580134084397802324623657472353560350215994613059528894848381723470322642094548409636544554464758182758707849607050816218820966081897370139759812813353349741352355983131123410319317476548497902109099102691400954383770674987119403431183232123738092123827084925349173722748474658570205550902922901791323707017965797842124828641909432325252643895207497289393325946868380581573536023164744955957158499198691543176320599279943324322648687997099189071249479238499447538370432640560633609614720092557507617204336006194447533710775262351065858168411988742159279511143563121877291803730967530307278886233159266580877323613785480436153064938151961238513517002606949282532651581716993147776648265479885584142469261720183995647195595254929895926692402003830236269670707579172146886509702671053790948626627426725149540505025835066403040938938289814801282364171949196371956735477219744913501286283425314863940270718858793454635649341170263958058655645845392625161317498206806679086285857674707950719657870099167427439589880167516853909090177168963039415994314732806477730303492922460819921322162809018579779785280302708675810063724861306160758743727418056078967747904198865400937083282094066023445973776311868249200436679199303648564988501258433348404653458698170963800227087944470110509989363137373511217294552145090841046672728 ~1.7981 eta=[0.411209315067, 0.411209315068] Y_bound=[1.127732072395, 1.127732072396]
WORLD (4,2,6,3) AIM-1 states=3072 orbits=612 N2_p=363656141476243577165356308562076577908793393987247657513609679221824196541173964746745071804070878980787035815482625417805597109148050358483518247820033988834509803211873096468126093691198074676030663256517431573486641311298404400166800304447651675715505784740105180824806241580831395622205749610511344579178000955197360626538291011563842932305315098339723977589379219517281847496926221255687997027212608157022236290821930828147526951525228097461843090104568470260732493572170646900434151470883588944710585602689257290378228650588722997299347565425299422869565048957156731433297611883678976029948703389229015232886120921729149560106377511299146461851256722117937646553643468422070096660787839200895450509035316502963963585129405/143457847135423726997804789595308868250150340226959740400247612145803301084395939237002533176358767967546852927978168163816381411689933019950705281999148774603774930277875785965072440208570666551736047697635829761112327324231386501717745222574483935016605326180666575291072329650590886658856557264154520194186893089533208018040559300203716416583326190155091064340004358875117321106084186142664290665932372709360551724801204529031201343764531968436463866081660037379845131188320679780067379295638486094233503009166525767962737454473337052019103299652648202547115909344130539562058907267154977497222866166364173409929126712662457056290824012534025476743206760998968148847320996603303320951657402340205194265095740379104542467760333 ~2.5349 N2_pi_c=118/49 ~2.4082 H=18186223884815010109418243822353180898227268542732364304850123442134614337934764135187951093655886732408900193004587798819209219772293290030799405454736939788684460910049775164482258086885040939196915739761759903869199999884045069499577115390731179144905203325438734205489202830428852239653223953975969417666707392648002542277352288624280949512815293476443455301205457328223808914927568912129092974559139183460091320892499513337695144092273561227093371785468788407227891934990234368843319697713357125944190601022929930794493556142727647539057986669942526939775716250883187181808814791346581240718127723290801715097611695317518281691740093360064701530881256855116390145809231703911078858837360095911513299212921304304044989298399/143457847135423726997804789595308868250150340226959740400247612145803301084395939237002533176358767967546852927978168163816381411689933019950705281999148774603774930277875785965072440208570666551736047697635829761112327324231386501717745222574483935016605326180666575291072329650590886658856557264154520194186893089533208018040559300203716416583326190155091064340004358875117321106084186142664290665932372709360551724801204529031201343764531968436463866081660037379845131188320679780067379295638486094233503009166525767962737454473337052019103299652648202547115909344130539562058907267154977497222866166364173409929126712662457056290824012534025476743206760998968148847320996603303320951657402340205194265095740379104542467760333 ~0.1268 J=795643678373980335354638416118542671508724764066217140212631604762911710251854768573165002886442443342172129903322464664575407585684061769818826983938608013937173780781219840335495191910303294084904478232262945139789924148046507582899701451936089069588865969614589702930334660922370108704205454992692305568786793359419493180491565691687720163104290187988131335031644211413152897463744188436862820980852607780438051287141659219168802794786514146049778068814187815445642900145606761826440904455252143482582439817260634728617068493683868096922094756647857089252097988292415675156229130178502736638860501880802624621866469536294104095702546801156677157671916762797528196701255452570676932107651207644778423757334158689883901839817/2927711166029055653016424277455283025513272249529790620413216574404149001722366106877602717884872815664221488326085064567681253299794551427565413918349974991913774087303587468674947759358585031668082606074200607369639333147579316361586637195397631326869496452666664801858618972461038503241970556411316738656875369174147102408991006126606457481292371227654919680408252221941169818491514002911516136039436177742052076016351112837371455995194529968091099307788980354690716963026952648572803659094662981514969449166663791182913009274966062286104148972503024541777875700900623256368549127901121989739242166660493334896512790054335858291649469643551540341698097163244247935659612175577618794931783721228677433981545722022541683015517 ~0.2718 Y=18186223884815010109418243822353180898227268542732364304850123442134614337934764135187951093655886732408900193004587798819209219772293290030799405454736939788684460910049775164482258086885040939196915739761759903869199999884045069499577115390731179144905203325438734205489202830428852239653223953975969417666707392648002542277352288624280949512815293476443455301205457328223808914927568912129092974559139183460091320892499513337695144092273561227093371785468788407227891934990234368843319697713357125944190601022929930794493556142727647539057986669942526939775716250883187181808814791346581240718127723290801715097611695317518281691740093360064701530881256855116390145809231703911078858837360095911513299212921304304044989298399/38986540240325036432377282389808590903927513439244639870418948633382673802340883660085085141435679723766434365262800768564194971698519026721122522212991792682921515258279772176439264403604861410160319433380884311849706283254278871562085371144868364409854432511114895443586398385196135326506067294641922972870552874611555165844086718892698287992110219211418435416550566359244491975723465233406278228061777781241464513069941301739271336944539193156439125371895202956836502107134731329495604318307355030646539551045771101702236356190509536749182643075744997373352801426328368082655227378746634095304164592159328606471457007278411100689424793256677180725923921377078881638361517175963169673274909174594142764109373775804311190151033 ~0.4665 rho=18361910674548314253453184080850240824588358261244960862691931051187805720586051409838781310195679337327501059859832852070662927384451370335211310494038457965419818304602744652385181748061813484093400114677466589357625923033522405752419524624321877030805844685614578514082048495688601128156028793460592737510039008404302107634437602451326465050858517553917649417481157543060171808412828205905959637217469674232750507385248336243397538765953693954596373915548069943589944678307322653263262859023230032572399134817243381826095124143480241813546988591666004339919352193696155213367523897585234675074313501843762634000943209862309253845599364662465919207860499742263015810658928506036389701698353535016843027646608490825133999932919/122963868973220337426689819653121887071557434480251206057355096124974258072339376488859314151164658257897302509695572711842612638591371159957747384570698949660378511666750673684347805893060571330059469455116425509524851992198331287186638762206700515728518851011999921678061996843363617136162763369275303023588765505314178301177622257317471214214279591561506626577146593321529132376643588122283677713656319465166187192686746739169601151798170258659826170927137174897010112447132011240057753681975845223628716864999879229682346389548574616016374256845127030754670779437826176767479063371847123569048170999740720065653537182282106048249277725029164694351320080856258413297703711374259989387134916291604452227224920324946750686651714 ~0.1493 s*=5569505748617862347482468912829798700561073348463519981488421233340381971762983380012155020205097103395204909323257252652027853099788432388731788887570256097560216465468538882348466343372123058594331347625840615978529469036325553080297910163552623487122061787302127920512342626456590760929438184948846138981507553515936452263440959841814041141730031315916919345221509479892070282246209319058039746865968254463066359009991614534181619563505599022348446481699314708119500301019247332785086331186765004378077078720824443100319479455787076678454663296534999624764685918046909726093603911249519156472023513165618372353065286754058728669917827608096740103703417339582697376908788167994738524753558453513448966301339110829187312878719/49516226275027080412877083329720923773204001435271362606587371920223035189995170849504188910381940908587298270256241303559960929053565678616902142594545117798699238448339695074807078900813317393685868996406559152094348300064241664176960663709413007605295472269541607621733802860609212623538648195432932073548609471696969870639871847512165354010845521345836028907221963149288445142992275298659839164786440768235185163145753394196010996734355482841440675264944895122650333733902720627004702245882925093339120325730905702377965892974653648762186302478463013394993370663041555914008967781506184868750916992365669529649764342832869032866880266379301017519878081887206350055067997350114430580341502151537080116638486361646214686920038 ~0.1125 E=159732032206431646657868600078078320465394311029264016350197201720634700557229978593429448516956352538728172686936673056788097636583070355416925520769220041454899097271101477885794942483222626362303594172420771476925451949868843528609715694941780102043319954515866276693155341538323704078010119620157098721466777521183000003051561879174056144017779235151771983526326040301343450407875132404818369021511804771593290931268787280530249345399388101151815530650828642852416802056840710692119032174351100088282558996756517588190241166094444377509682706353314634372347675407251451032740950554916006922451708486421353287253135849729881950599845089129734220863868470530080979711885221359133724341612066923923509377376489374773385746643106646858453401947270819007249894415670566169309781515717922455399259921949785556229784715309656938769265171389830673112515205294436262241221572650187446492709492702251446577050482268527117674291057774907446597341610696991633483586709723775717999151173071221018226390825309565387651906259457301055595127468798519813300253064751843479074175956779071007404583881967166804516721927798427652829154423384128117557419446704485011899289612793387164277561412073212830780386361283732165336590269885434235915665788793678066602736379708700681589411553297760635438376702191802348151168067336138221117102931218543410284672214558248893764449063894820791884169394839352574865095692235847453103668509848134130937022841804612633400306293380771849/87669582482315722618806617719808735251028626939525483947408605998009173955472487241290026946700401244491211927588096228915774501217034646871550403431761572973214618963174453009918263817613519063995697375183048183690766045793907869572383703992122353326202887433836793781336847778736634000339839902109192099607782861180982085185659266379838400858506862738488595897589555518896532699815920653576546751704812257222490434153499669938566310398179905725394765396986189068308940785930621023791299104923393099828170837024242612174579089745605124169344248548918447809263388879302368952937241401843962583155234465192019415737298072866769635526911314388008463335226826665695217587368985472794911567526247417835445437093961839503082039671373958747923577546855415574612916519640358975107336449251274131946695929522749858224544164873445421554521604868596416958109136089118946727618061214397364037786885357888720447348401840115886699048039100443527317787652904703885905397847361202820566919059219876078196420579496833325015022916262806964516709360085583910950172340941485413604575798181356215236754855997231555755768349707450582482004457157871904371328455213533845695394795596386767432644673749654723514895305825802700998816298204492495149658656244432271218585224493967523825440037318048194025543918683070290288953163378723571585033416752216878635129659473487590488696028029466279492749957426447246419303514410314033613688428121016784859615361782781653246132570992311332 ~1.8220 eta=[0.358270619889, 0.358270619890] Y_bound=[1.302016960515, 1.302016960516]
WORLD (4,2,6,3) AIM-2 states=3072 orbits=612 N2_p=69555974079068541176727867424717198798990442062244679649707460323920405382642692546719001693830352629438360405358716496694331103567543431297518507136561467019675666344319072166633244177809912758984928987915157848081874131535474593831528473224996771419003211085158775451027510719991345169208843002324083805099358315400459395074228078228081828406166266459503985048089774076630477863299020383222616169688390547357185704155284860128594732638581660193885392585750846977464368921386954398446562650726645286424953686224198921394271149793240158878994881235068111658824369710389015479727393337438644877265348923164474176442101187546086816069755171331905480173589802730535237189241322359249621742047/27218679565931383869641030619869222279518959855294459280969835388731982205824885618948004754385400829628742855005603134271908033837758062731441778828190084378381012555187567499884500568453789928047255768730431377749125673023048891055303469657949414340560932881277684405756638831071095081611709056469524978074649435611857893207094382438340340599319349075707095320495332007692670571681243505904595637364788071584319732805190064664213692961208552602848928412377390452479305036485556512532860109858607742249002702975584691942845243928212113695969972619484975747289282556266721485296775462134292130441821954341202421768405257564890962653524155095079275527860867358902307850925588016722061657608 ~2.5554 N2_pi_c=118/49 ~2.4082 H=196438541094455221042023890666574512167294398125243107681224980001725963462155431753366521980209980946288002971915938493937076081954176731268276947965081927315148169359501571178657897635138513680685339697651831981615003028518485953219085768386810907344967263182013237221064643213186693661051638450476159037059924052423278960200038705451849401182463865582258019537949752847158287843265265081165907105686144373552371032596530515923926129867892142364210684041259428503196082842665097045004076922289905449440411673866753499063547556339738368946292411419110333102258774169588623241622769002647127593867106622797348876991137797101120394302153094044014016218317985445754295863605409630028189762559/1333715298730637809612410500373591891696429032909428504767521934047867128085419395328452232964884640651808399895274553579323493658050145073840647162581314134540669615204190807494340527854235706474315532667791137509707157978129395661709870013239521302687485711182606535882075302722483658998973743767006723925657822344981036767147624739478676689366648104709647670704271268376940858012380931789325186230874615507631666907454313168546470955099219077539597492206492132171485946787792269114110145383071779370201132445803649905199416952482393571102528658354763811617174845257069352779541997644580314391649275762718918666651857620679657170022683599658884500865182500586213084695353812819381021222792 ~0.1473 J=952895088682310195746276312402149078090259697829966273801857442307451750324692132189964818904604711366985520606809561305348502090892195460804215271785595121556045639748340815192760680091878032511610041771366079326584468269142981242338540232524289303586780951750406175467378835496154296221295609016974382999233496062346415148196474575286730779219292575172878261437717034558984051406045864060915777608315051234292215339003067810863753477657230915874895869039171190745972571797494000753221669816602199725795746111876189506226276978245454617836095963523930828105352449502022789004140318434708009111338284919606144731950179510993015618348773570571362272684675190191057710040022717639523077931/2474425415084671260876457329079020207228996350481314480088166853521089291438625965358909523125945529966249350455054830388355275803432551157403798075290007670761910232289778863625863688041253629822477797157311943431738697547549899186845769968904492212778266625570698582341512621006463189237428096042684088915877221419259808473372216585303667327210849915973372301863212000699333688334658500536781421578617097416756339345926369514928517541928050236622629855670671859316300457862323319321169100896237067477182063906871335631167749448019283063269997510862270522480843868751520135026979587466753830040165632212836583797127750687717360241229468645007206866169169759900209804629598910611096514328 ~0.3851 Y=196438541094455221042023890666574512167294398125243107681224980001725963462155431753366521980209980946288002971915938493937076081954176731268276947965081927315148169359501571178657897635138513680685339697651831981615003028518485953219085768386810907344967263182013237221064643213186693661051638450476159037059924052423278960200038705451849401182463865582258019537949752847158287843265265081165907105686144373552371032596530515923926129867892142364210684041259428503196082842665097045004076922289905449440411673866753499063547556339738368946292411419110333102258774169588623241622769002647127593867106622797348876991137797101120394302153094044014016218317985445754295863605409630028189762559/513610452799765195507242932384758353090649977130351821579201161403716493425009059250391037389581939426805195607070353543582842626990893353373472031492435770518708599824355699388898006569522259523757812514766316757029028397068066889620473185330591934633274932993468928576917192332427165663278333260149192436586854377604717764877899796079547889999198698018181382914929481627292403707858720728833604130881812615283504067722653550055563124457247463656568873412113271812079216198849266405986480031148585652203907154301266143855963291274300039013655724339398716348784970281590283273231631636307616911011335571667712010521146756425235418289988954537964264977039927512980105711572244807702939004809 ~0.3825 rho=2257063939884333965857860040982324331637748257245407593475836937633426785565206846334774565380039698737783089048162649090782879558783928915032429103360805878018215290498144856706848972619914258778068117816462534273859521936348910909059022863707320368608054386453513952788064937362133347377980597896154130927785260653986466569775682012444104963212056010144730296088141291250712311630570981040229186725716805104975750202080183557204979818460790333658667857580457478091967902710204845240033753599146372084126875650443457613318967666623021856779440146956793423284345094573020514166573977605032998478904582599517949644959526233899596723675083634373514781385670535656045219688230883043728880557/14846552490508027565258743974474121243373978102887886880529001121126535748631755792153457138755673179797496102730328982330131654820595306944422788451740046024571461393738673181755182128247521778934866782943871660590432185285299395121074619813426953276669599753424191494049075726038779135424568576256104533495263328515558850840233299511822003963265099495840233811179272004196002130007951003220688529471702584500538036075558217089571105251568301419735779134024031155897802747173939915927014605377422404863092383441228013787006496688115698379619985065173623134885063212509120810161877524800522980240993793277019502782766504126304161447376811870043241197015018559401258827777593463666579085968 ~0.1520 s*=952895088682310195746276312402149078090259697829966273801857442307451750324692132189964818904604711366985520606809561305348502090892195460804215271785595121556045639748340815192760680091878032511610041771366079326584468269142981242338540232524289303586780951750406175467378835496154296221295609016974382999233496062346415148196474575286730779219292575172878261437717034558984051406045864060915777608315051234292215339003067810863753477657230915874895869039171190745972571797494000753221669816602199725795746111876189506226276978245454617836095963523930828105352449502022789004140318434708009111338284919606144731950179510993015618348773570571362272684675190191057710040022717639523077931/5818296730970691701827303810544823916822985073906256506625653370592828606370928406814358877235514384846363746537678385967000136585459591284293072038296822512498600231746093754927786237767864743822594311678021523494994097539903751484838528358597671802237382207610135682896815976590245745912646184671488009784122285899612984561130571462045584110416875455261312626826706839193152883485667079059771782568835364080635035267237482860751185977725140085101107703702201243529931136333120534966879590980836916526584880839454183333730626021623610952502224477346449441747682834217038753495581614380390986325375462878947704202928399190705774552676477332549182071472336416777077949024669931491663563740 ~0.1638 E=2916435111517647680910155998425513081842781104571656528198856582635171994072147363323554959292988932036286874859276652554825973755486153653403567657922377668908167943752546218919934291331618307882329702603564599746645876187840875434053941586837485133059815255537897082680565866590257577305564270510679549209842800047696451314586923854359286685258942073670892618943178625581972639595038906172664918651121688223561591210442220837171987316891954889258586777110083829965965157769596975317518859293144104328508657733553204197771121049859125446689358432255802382148931018527564988101238464480746778341484517534948307661645813378687342147210515683711603445203260348422197103768861343698109746684734124121256667788415785312204550372559049966248293258669679474132121032935652728451604309691947551301683290910771846302359180351711753782813454498498719580480851893352636346867956911620679325424789594578588415529578324459538764409730035836416154827717813370074338764221574051275028609000921142021399778343423272525932069410651558896568460719365236632105501796776813414819606570431975812019140722274759805984515514719915657072547528702728701105803300615639528484910671345568252971472929651514856424708898765160591011352268542255942900558461791208681352727198343425573692552675139136696061428752687557954626314324011037654247859726994967560630014386248335456357538871586816329817233168672112/1955229055459901327213226621010090604421555598262355871473328613923554873986406482235667600483590230332961394128563798548131383217742787056601438795010062367114626007847977805868572476310293687682966209958920261221856683424672550262024021988475323846694790334697907426311166150241631491832948136907684356238350406683854280161558187610067622774339159423988799537023013198222824853890219224251772000276215732054350434273706938709103926826203138704798844292525650052795833948180108780953552284564473678952511523637042187060061094517709886417969889576108868002855564322185527982013085087838152508257872192387232933579882210162230577812160002237300667686237920386972194844063300749430989699204628601789079899058613410312270594822703143683552067933479474019441423534106998728662338310538777561101290038730014226277021774537142152294424890208267874944280047819091686663924368258334734130928772402462725695566113777873089292841605451599522088775406839487292794937230000015527896543842659142546984942440997081518207221417875336525928555236414075090485727244297960860216605014569094339673221722457823060843685846898851921697727979098392838658062859480452836255539936602650309763336165144129686403751337951035766453000252968618335884077286274142191588540381370905698434699410585305808492056548005960539309259229206278807091938856168808886759704398343013557272411772240316043970840620326971 ~1.4916 eta=[0.350783176794, 0.350783176795] Y_bound=[1.090320278479, 1.090320278480]
WORLD (4,2,6,3) GLOBAL states=3072 orbits=612 N2_p=343/121 ~2.8347 N2_pi_c=118/49 ~2.4082 H=2529/5929 ~0.4265 J=18/11 ~1.6364 Y=281/1078 ~0.2607 rho=2/11 ~0.1818 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.415037499278, 0.415037499279] Y_bound=[0.628058678981, 0.628058678982]
WORLD (5,1,6,3) LOCAL states=10240 orbits=660 N2_p=8990462441506066832144010455546772005932850753546880897687934405332904416162140415753846867725914273102798760710414432827080091535899223107663634474694983859814419988314636340888711559093549821449043886593099628475019185740759589791/2575911694218990907915459823788025108374288193612983436243349273526987719504949866009597619319133466884087614452745814009791347856939183828374344723711094896805308367402218228898410682863104371471251964323511656766475272695177555631 ~3.4902 N2_pi_c=145/49 ~2.9592 H=67025463972043593127314837872528187576437898849914565731423141199899097063727149800546841717295446683844435179162164177107179046002880277161238104321945449094136866154095537513277317380433807387671615616152691564137025560496474333264/126219673016730554487857531365613230310340121487036188375924114402822398255742543434470283346637539877320293108184544886479776044990020007590342891461843649943460110002708693216022123460292114202091346251852071181557288362063700225919 ~0.5310 J=27475512431932009777596700880552404135408550105039427872897516366190597402052800217175573288661293836/25058533354966050812182013892489099133111591026841844150008458222253096020113344358746247130934389659 ~1.0965 Y=16756365993010898281828709468132046894109474712478641432855785299974774265931787450136710429323861670961108794790541044276794761500720069290309526080486362273534216538523884378319329345108451846917903904038172891034256390124118583316/34598495310962623110064995661143744218007139844252476660104026095110482346313250856203059761333851662083244739608681346629869988661281224727199984371435217796535765354303326323612815575944635576455019717012058211738214068227270691719 ~0.4843 rho=19861488998685179849958345700388813961894604312389847812355864184908682685941874557474146042714656459/125292666774830254060910069462445495665557955134209220750042291111265480100566721793731235654671948295 ~0.1585 s*=13737756215966004888798350440276202067704275052519713936448758183095298701026400108587786644330646918/45846710780089534661076686660890239817979537884649829500618834371630749356799223563834651483813322459 ~0.2996 E=1749541483932843443572805268043051705312122337581106463984458148543318677112946909149275347662200610791094822739571750961372658844590989798794963647784942853561337897193085450250578598774880646127808820488771040806259254167791960787687278532945175570431245564780930726005374702213665279262908543376864237136034805807820890917501371850/805913171207835721193124946778017760611760077634920500398761627438067793924555826215276884398097163387296902237404053507091536262644889490197243338721821290587468103720692526026528340915500511439854226288292251658790754085899985044368953148898146350059050118775059175164814077067667155633043510713527045458573828127840621348471214163 ~2.1709 eta=[0.411541761062, 0.411541761063] Y_bound=[1.176816406002, 1.176816406003]
WORLD (5,1,6,3) AIM-1 states=10240 orbits=660 N2_p=3228490820012202519197/1050673837776976111151 ~3.0728 N2_pi_c=145/49 ~2.9592 H=5848343702936387323758/51483018051071829446399 ~0.1136 J=244234386202418740221/1050673837776976111151 ~0.2325 Y=1949447900978795774586/3989161641306172756943 ~0.4887 rho=10750972763972179851731/73547168644388327780570 ~0.1462 s*=569880234472310393849/10181092529499869457882 ~0.0560 E=17068615897230515509313701449423842308404050/7718203874519873945257169264254798270174077 ~2.2115 eta=[0.364009928900, 0.364009928901] Y_bound=[1.342507649636, 1.342507649637]
WORLD (5,1,6,3) GLOBAL states=10240 orbits=660 N2_p=433/121 ~3.5785 N2_pi_c=145/49 ~2.9592 H=3672/5929 ~0.6193 J=30/11 ~2.7273 Y=612/2695 ~0.2271 rho=2/11 ~0.1818 s*=1 ~1.0000 E=1 ~1.0000 eta=[0.415037499278, 0.415037499279] Y_bound=[0.547148628522, 0.547148628523]
H0 SUPPORTED fuel-buys-open-future H>0 for every LOCAL and AIM agent in all 18 worlds failing=none
H1 SUPPORTED local-fuel-beats-warming E_LOCAL>1 in all 18 worlds failing=none
H2 REFUTED foresight-sharpens-aim E_AIM-k strictly increasing in k=1..tau in every tau>=2 world at every pair (nine ladders) failing=(3,2,3,2);(3,3,3,2);(4,2,3,2);(3,2,8,2);(3,3,8,2);(4,2,8,2);(3,2,6,3);(3,3,6,3);(4,2,6,3)
H3 REFUTED prepared-route-beats-looking-around E_AIM-tau>E_LOCAL in every tau>=2 world at every pair failing=(3,2,3,2);(3,3,3,2);(4,2,3,2);(3,2,8,2);(3,3,8,2);(4,2,8,2);(3,2,6,3);(3,3,6,3);(4,2,6,3)
H4 SUPPORTED local-edge-grows-with-size E_LOCAL strictly increasing N=3,4,5 at tau=1 for each pair failing=none
OVERALL PASS