numerical-evidence.json

back to table · edit · history · where entries came from · files · download

234452 bytes, as of the version from 2026-11-02 06:04 (current). Recorded here, not run.

{
  "T129_form_counts_checked": 150,
  "T211_CM_controls": [
    {
      "Delta": -3,
      "entry": "27,0,5832,stable"
    },
    {
      "Delta": -27,
      "entry": "27,12960,1475496,stable"
    },
    {
      "Delta": -3,
      "entry": "27,0,-216,stable"
    },
    {
      "Delta": -27,
      "entry": "27,1440,-54648,stable"
    },
    {
      "Delta": -4,
      "entry": "32,-192,0,stable"
    },
    {
      "Delta": -4,
      "entry": "32,48,0,stable"
    },
    {
      "Delta": -16,
      "entry": "32,528,12096,stable"
    },
    {
      "Delta": -16,
      "entry": "32,528,-12096,stable"
    },
    {
      "Delta": -3,
      "entry": "36,0,-864,stable"
    },
    {
      "Delta": -12,
      "entry": "36,720,-19008,stable"
    },
    {
      "Delta": -3,
      "entry": "36,0,23328,stable"
    },
    {
      "Delta": -12,
      "entry": "36,6480,513216,stable"
    },
    {
      "Delta": -7,
      "entry": "49,105,1323,stable"
    },
    {
      "Delta": -28,
      "entry": "49,1785,75411,stable"
    },
    {
      "Delta": -7,
      "entry": "49,5145,-453789,stable"
    },
    {
      "Delta": -28,
      "entry": "49,87465,-25865973,stable"
    },
    {
      "Delta": -4,
      "entry": "64,192,0,stable"
    },
    {
      "Delta": -16,
      "entry": "64,2112,96768,stable"
    },
    {
      "Delta": -16,
      "entry": "64,2112,-96768,stable"
    },
    {
      "Delta": -4,
      "entry": "64,-48,0,stable"
    }
  ],
  "T230_height_links_checked": 305,
  "T506_rectangular_controls": [
    1,
    4
  ],
  "T669_period_links_checked": 305,
  "conductor_prime_occurrences_by_character": {
    "-1": 78,
    "0": 62,
    "1": 76
  },
  "entries": 500,
  "eta_agreements": 500,
  "eta_bits": 512,
  "eta_terms": 80,
  "exact_PARi_class_numbers": 500,
  "exact_ring_class_numbers": 500,
  "generator_and_eta_containment": 500,
  "max_conductor": 18,
  "max_generator_radius": "[1.9881906036314558796692871141587197103025609914927892444202533510781657971028132614633561777037207670194312738601367130275900377200458323889108968069017339974e-126 +/- 3.82e-284]",
  "max_log_F_tail_bound": "[7.69508923328512841712169534345816035850957697003909235481520898287050231559726936273002187620521878663576555712983305748031959659653480268548427961624e-192 +/- 4.83e-342]",
  "maximal_orders": 305,
  "measure": {
    "block_kb": 92.447265625,
    "entries": 500,
    "longest": 147,
    "longest_at": "-4"
  },
  "minimum_eta_accuracy_bits": 493,
  "minimum_generator_accuracy_bits": 408,
  "negative_controls_rejected": 500,
  "nonmaximal_orders": 195,
  "numberdb_version": "0.1.10",
  "orders_with_multiple_conductor_primes": 21,
  "orders_with_prime_power_conductor_factor": 36,
  "per_entry": [
    {
      "D": -3,
      "Delta": -3,
      "class_number": 1,
      "eta_bits": 503,
      "eta_enclosure": "[-1.3211174284280379149898691958548234637698697536133378358769751113747313005112176732855194116075130871617931528854230109854851473089133038245602465318289 +/- 5.28e-152]",
      "f": 1,
      "generator_bits": 424,
      "number": "-1.321117428428037914989869195854823463769869753613337835876975111374731300511217673285519411607513087"
    },
    {
      "D": -4,
      "Delta": -4,
      "class_number": 1,
      "eta_bits": 504,
      "eta_enclosure": "[-1.3105329259115095182522750833047286679516075894078100611224824998384600184392899169344726707010641909805711336812306441390126896316685085811097012968566 +/- 5.49e-152]",
      "f": 1,
      "generator_bits": 425,
      "number": "-1.310532925911509518252275083304728667951607589407810061122482499838460018439289916934472670701064191"
    },
    {
      "D": -7,
      "Delta": -7,
      "class_number": 1,
      "eta_bits": 503,
      "eta_enclosure": "[-1.2856159263194507434006498955872289476744201518503502798252094102563686874880538773733671586389629686951582053320624896386930601316565285139501642799407 +/- 5.86e-152]",
      "f": 1,
      "generator_bits": 424,
      "number": "-1.285615926319450743400649895587228947674420151850350279825209410256368687488053877373367158638962969"
    },
    {
      "D": -8,
      "Delta": -8,
      "class_number": 1,
      "eta_bits": 504,
      "eta_enclosure": "[-1.2704066260598257565278177574373208773438539734848380732062749042578896306797108581027963801853101423519395032662746259712355542067351523633405710845549 +/- 2.61e-152]",
      "f": 1,
      "generator_bits": 424,
      "number": "-1.270406626059825756527817757437320877343853973484838073206274904257889630679710858102796380185310142"
    },
    {
      "D": -11,
      "Delta": -11,
      "class_number": 1,
      "eta_bits": 503,
      "eta_enclosure": "[-1.2225466425290670856866572546299063206770120251251210859476306373846295136159936914520012857664445278781291395204637003064502829943078083426437061902227 +/- 3.88e-152]",
      "f": 1,
      "generator_bits": 423,
      "number": "-1.222546642529067085686657254629906320677012025125121085947630637384629513615993691452001285766444528"
    },
    {
      "D": -3,
      "Delta": -12,
      "class_number": 1,
      "eta_bits": 504,
      "eta_enclosure": "[-1.2055928983347136967536638422784607024239530645532952935235284431258323635162685540178755237747766392381262393819945633632042272696202820650548014065564 +/- 3.16e-152]",
      "f": 2,
      "generator_bits": 424,
      "number": "-1.205592898334713696753663842278460702423953064553295293523528443125832363516268554017875523774776639"
    },
    {
      "D": -15,
      "Delta": -15,
      "class_number": 2,
      "eta_bits": 503,
      "eta_enclosure": "[-1.2345837231403732469728173987186555679875409270805777947890628759368321768268860359925641668066527350087386242128617220224682682738001177892904970862640 +/- 4.47e-152]",
      "f": 1,
      "generator_bits": 424,
      "number": "-1.234583723140373246972817398718655567987540927080577794789062875936832176826886035992564166806652735"
    },
    {
      "D": -4,
      "Delta": -16,
      "class_number": 1,
      "eta_bits": 504,
      "eta_enclosure": "[-1.1372461307715231908979670529401845259327325558177462475923124974651116129468662380330068389519595190950707634260879727055913095727289759418515336089478 +/- 2.31e-152]",
      "f": 2,
      "generator_bits": 425,
      "number": "-1.137246130771523190897967052940184525932732555817746247592312497465111612946866238033006838951959519"
    },
    {
      "D": -19,
      "Delta": -19,
      "class_number": 1,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0862584046823849384065322960644207213506642475636555582187144347198085826680718565485528199137454354879485263333208351052106645781119721007233618196081 +/- 2.97e-152]",
      "f": 1,
      "generator_bits": 422,
      "number": "-1.086258404682384938406532296064420721350664247563655558218714434719808582668071856548552819913745435"
    },
    {
      "D": -20,
      "Delta": -20,
      "class_number": 2,
      "eta_bits": 504,
      "eta_enclosure": "[-1.1897354630719881020941303628697756200081645899461608643225954306899556674459742921491235125775971992622357570814310268009648942995613479705613249256538 +/- 3.46e-152]",
      "f": 1,
      "generator_bits": 424,
      "number": "-1.189735463071988102094130362869775620008164589946160864322595430689955667445974292149123512577597199"
    },
    {
      "D": -23,
      "Delta": -23,
      "class_number": 3,
      "eta_bits": 503,
      "eta_enclosure": "[-1.2070982286170754992094679457668428771153564826757370211880217903845001690590125069610273849172888662414684778147572550813145061303714924238671046349593 +/- 4.19e-152]",
      "f": 1,
      "generator_bits": 422,
      "number": "-1.207098228617075499209467945766842877115356482675737021188021790384500169059012506961027384917288866"
    },
    {
      "D": -24,
      "Delta": -24,
      "class_number": 2,
      "eta_bits": 504,
      "eta_enclosure": "[-1.1501622874120367320076019147337323206274026769500034391552662076326734374990425208945964364958889322951263471502608865496255180234693175053296426831451 +/- 1.96e-152]",
      "f": 1,
      "generator_bits": 424,
      "number": "-1.150162287412036732007601914733732320627402676950003439155266207632673437499042520894596436495888932"
    },
    {
      "D": -3,
      "Delta": -27,
      "class_number": 1,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9549133322053346845247874502139815622207062343390880186320770001622332027716813509943141600029357242324698098634370557380291459002697972175426459082398 +/- 5.83e-152]",
      "f": 3,
      "generator_bits": 423,
      "number": "-0.9549133322053346845247874502139815622207062343390880186320770001622332027716813509943141600029357242"
    },
    {
      "D": -7,
      "Delta": -28,
      "class_number": 1,
      "eta_bits": 503,
      "eta_enclosure": "[-0.9390423360394780886920338348581406636366700846702226527648694055096718765032065195704354951407536249241574648217771467718503000137774632354338289041231 +/- 3.87e-152]",
      "f": 2,
      "generator_bits": 423,
      "number": "-0.9390423360394780886920338348581406636366700846702226527648694055096718765032065195704354951407536249"
    },
    {
      "D": -31,
      "Delta": -31,
      "class_number": 3,
      "eta_bits": 503,
      "eta_enclosure": "[-1.1469930835197229722128345782856796152464867541029255804533711389508299942410165190549661555622010475581850061317623879893208352316803415443150057777751 +/- 2.74e-152]",
      "f": 1,
      "generator_bits": 422,
      "number": "-1.146993083519722972212834578285679615246486754102925580453371138950829994241016519054966155562201048"
    },
    {
      "D": -8,
      "Delta": -32,
      "class_number": 2,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0971198309198394291735097270727767353249789398947742596761049018845412251872871792013305484362054704664391330111319545378141741477956197240824033966461 +/- 3.99e-152]",
      "f": 2,
      "generator_bits": 424,
      "number": "-1.097119830919839429173509727072776735324978939894774259676104901884541225187287179201330548436205470"
    },
    {
      "D": -35,
      "Delta": -35,
      "class_number": 2,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0719203555990631134337589475533068620818280055696868378369820129960280184401209542626930405635073906759500842593179364930339906278814788900153490203479 +/- 5.44e-152]",
      "f": 1,
      "generator_bits": 422,
      "number": "-1.071920355599063113433758947553306862081828005569686837836982012996028018440120954262693040563507391"
    },
    {
      "D": -4,
      "Delta": -36,
      "class_number": 2,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0358798537444820954034637740740972417897349499521226981888089164290864451346376752160687319976311687835786264147411777034206885751858786258465008291647 +/- 6.74e-152]",
      "f": 3,
      "generator_bits": 425,
      "number": "-1.035879853744482095403463774074097241789734949952122698188808916429086445134637675216068731997631169"
    },
    {
      "D": -39,
      "Delta": -39,
      "class_number": 4,
      "eta_bits": 503,
      "eta_enclosure": "[-1.1435883785962677344669154704390350250297901335274112844762042464510566108006830382758864840314022372519613149804088697437140532953286400831987454465180 +/- 6.34e-152]",
      "f": 1,
      "generator_bits": 423,
      "number": "-1.143588378596267734466915470439035025029790133527411284476204246451056610800683038275886484031402237"
    },
    {
      "D": -40,
      "Delta": -40,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9983645365231737967640856838449976207666614809701049953920362407043739332094234038406463541682591499482331782937670575973064775072921353849866488199039 +/- 5.50e-152]",
      "f": 1,
      "generator_bits": 422,
      "number": "-0.9983645365231737967640856838449976207666614809701049953920362407043739332094234038406463541682591499"
    },
    {
      "D": -43,
      "Delta": -43,
      "class_number": 1,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7148701161205011970217995060000093609673379490612559478594203185028748528752450199501190382684021657586073472880086083603309529712056756107363424274283 +/- 5.41e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.7148701161205011970217995060000093609673379490612559478594203185028748528752450199501190382684021658"
    },
    {
      "D": -11,
      "Delta": -44,
      "class_number": 3,
      "eta_bits": 503,
      "eta_enclosure": "[-1.1070221124357428674504519010535435593310953360650785435941839691357305766210445721843573979337080799544622260170352526841693629550147865831382610649502 +/- 3.03e-152]",
      "f": 2,
      "generator_bits": 423,
      "number": "-1.107022112435742867450451901053543559331095336065078543594183969135730576621044572184357397933708080"
    },
    {
      "D": -47,
      "Delta": -47,
      "class_number": 5,
      "eta_bits": 503,
      "eta_enclosure": "[-1.1379539678294995681795721003722994823729350482366138575046434498089097241778668911694056745320013290232768221564000382772243101819760490982764080837058 +/- 5.16e-152]",
      "f": 1,
      "generator_bits": 422,
      "number": "-1.137953967829499568179572100372299482372935048236613857504643449808909724177866891169405674532001329"
    },
    {
      "D": -3,
      "Delta": -48,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9745438381480652602812531351257351797321196864332102088166351066280344895263703154825877481093037433907924123751376681186423871910342385460439111560114 +/- 2.68e-152]",
      "f": 4,
      "generator_bits": 423,
      "number": "-0.9745438381480652602812531351257351797321196864332102088166351066280344895263703154825877481093037434"
    },
    {
      "D": -51,
      "Delta": -51,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9537570519442836366308768096926935334044319526809791503489126647506947059602453279368077311837890366907429375716079164823126951498091107837160449627478 +/- 4.75e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-0.9537570519442836366308768096926935334044319526809791503489126647506947059602453279368077311837890367"
    },
    {
      "D": -52,
      "Delta": -52,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8899429766166946107880407556949550441142908926791282769480029975188349723674528685926371998409172371032475171952707014180228018989903927688136510053077 +/- 3.42e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-0.8899429766166946107880407556949550441142908926791282769480029975188349723674528685926371998409172371"
    },
    {
      "D": -55,
      "Delta": -55,
      "class_number": 4,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0554821142616737171854454863937797552012683248865450071313366580258529674695571404971576383086494188642387040817022896003004861150356004993908374302133 +/- 3.58e-152]",
      "f": 1,
      "generator_bits": 422,
      "number": "-1.055482114261673717185445486393779755201268324886545007131336658025852967469557140497157638308649419"
    },
    {
      "D": -56,
      "Delta": -56,
      "class_number": 4,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0753447286220506990062660367285668163699634830492950677065169268444129055353357194901122131446021562650219337014461016216565171588192026819096440373821 +/- 3.43e-152]",
      "f": 1,
      "generator_bits": 422,
      "number": "-1.075344728622050699006266036728566816369963483049295067706516926844412905535335719490112213144602156"
    },
    {
      "D": -59,
      "Delta": -59,
      "class_number": 3,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0270923965432722999667951505162794278723820000114152266333947429262174408255159276350554750541754113642444031169560609810943483644774430239470773515834 +/- 4.37e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-1.027092396543272299966795150516279427872382000011415226633394742926217440825515927635055475054175411"
    },
    {
      "D": -15,
      "Delta": -60,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8880101328604005922642013379895672839497908599004501677287228711901353658420386781896325033084433912377378837025763791556255081559210525107741617104464 +/- 6.08e-152]",
      "f": 2,
      "generator_bits": 423,
      "number": "-0.8880101328604005922642013379895672839497908599004501677287228711901353658420386781896325033084433912"
    },
    {
      "D": -7,
      "Delta": -63,
      "class_number": 4,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0109628541524233205518385863565975215125475123946629168915358268469951141834016356549632199355299464981656980655730232031010590751738985586869638122488 +/- 6.74e-152]",
      "f": 3,
      "generator_bits": 424,
      "number": "-1.010962854152423320551838586356597521512547512394662916891535826846995114183401635654963219935529946"
    },
    {
      "D": -4,
      "Delta": -64,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8773159380615436998665050073933683129044200054326505272970574939050890047082307196808080913283025112668202080433739655554592394843196769829642820770846 +/- 6.47e-152]",
      "f": 4,
      "generator_bits": 424,
      "number": "-0.8773159380615436998665050073933683129044200054326505272970574939050890047082307196808080913283025113"
    },
    {
      "D": -67,
      "Delta": -67,
      "class_number": 1,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3995562863944231894278294562794520030349474404272338586058746073168554222038544872698292228306822500756411618084735010267160453350884786437442577298383 +/- 6.70e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.3995562863944231894278294562794520030349474404272338586058746073168554222038544872698292228306822501"
    },
    {
      "D": -68,
      "Delta": -68,
      "class_number": 4,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0155952515707720416828974505788755446435829677954087616999044051270006463609241888844387081587199156361124696032767964863976415861607000015949706071464 +/- 5.24e-152]",
      "f": 1,
      "generator_bits": 422,
      "number": "-1.015595251570772041682897450578875544643582967795408761699904405127000646360924188884438708158719916"
    },
    {
      "D": -71,
      "Delta": -71,
      "class_number": 7,
      "eta_bits": 503,
      "eta_enclosure": "[-1.1055289697920812963988507854996259000377685588682589676995203165651067001958890059590752213325426398784694014465690534522292193073934252197438808788692 +/- 2.41e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-1.105528969792081296398850785499625900037768558868258967699520316565106700195889005959075221332542640"
    },
    {
      "D": -8,
      "Delta": -72,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7211004817257709108301951389760580250201086945734633473389277374391424840704063746659885027784440979579544887332956931000515520937698924528141701491713 +/- 6.68e-152]",
      "f": 3,
      "generator_bits": 423,
      "number": "-0.7211004817257709108301951389760580250201086945734633473389277374391424840704063746659885027784440980"
    },
    {
      "D": -3,
      "Delta": -75,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7846381242833377901229494181127609172613359688571652619060924808833383046086650850754747855764532168951377185448511566855771455658050784246823743260077 +/- 2.71e-152]",
      "f": 5,
      "generator_bits": 423,
      "number": "-0.7846381242833377901229494181127609172613359688571652619060924808833383046086650850754747855764532169"
    },
    {
      "D": -19,
      "Delta": -76,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9707338745890607201703269424880579600047475585036130158652677664709096456731227372809089320810089875642816128298923874829297445388189503412179166943356 +/- 2.59e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.9707338745890607201703269424880579600047475585036130158652677664709096456731227372809089320810089876"
    },
    {
      "D": -79,
      "Delta": -79,
      "class_number": 5,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0037893498986136851751411375115447637029147029877451378649946479604704666682638996843530881050789893285163175696716234232814200114933248037077773611275 +/- 3.63e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-1.003789349898613685175141137511544763702914702987745137864994647960470466668263899684353088105078989"
    },
    {
      "D": -20,
      "Delta": -80,
      "class_number": 4,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0164486679320017747398223325052314779892895563560970507924254283166072619535506132476576808284925273767353868262883553675435142406218153313031572377450 +/- 7.11e-152]",
      "f": 2,
      "generator_bits": 424,
      "number": "-1.016448667932001774739822332505231477989289556356097050792425428316607261953550613247657680828492527"
    },
    {
      "D": -83,
      "Delta": -83,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9047027607680709741012458609941213355606561010112958907102553568698294837531292593575989927203597296040159476431179307643976725214269632852613439949030 +/- 6.94e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.9047027607680709741012458609941213355606561010112958907102553568698294837531292593575989927203597296"
    },
    {
      "D": -84,
      "Delta": -84,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9553876470030609416809012836829374309860148936782200370068504039845338240114183673044594155280379157645016634261643049767499536776187312909104202888247 +/- 2.38e-152]",
      "f": 1,
      "generator_bits": 422,
      "number": "-0.9553876470030609416809012836829374309860148936782200370068504039845338240114183673044594155280379158"
    },
    {
      "D": -87,
      "Delta": -87,
      "class_number": 6,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0168649038078439373894957036637227476320168846243146259744442773872357620157996752406523099955864905165294978175195717995544713198947235920630710583925 +/- 6.88e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-1.016864903807843937389495703663722747632016884624314625974444277387235762015799675240652309995586491"
    },
    {
      "D": -88,
      "Delta": -88,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5954285243678658445727593399580505035403566469475084755566384082038969560786948410852983073996545809201525322361272584609570620553498514910374070848127 +/- 5.26e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-0.5954285243678658445727593399580505035403566469475084755566384082038969560786948410852983073996545809"
    },
    {
      "D": -91,
      "Delta": -91,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7189929721166742820172971144804180169360834556338771919612321745431953598777943471752737733840440934325751752464156573879414749302034993418007933338252 +/- 7.30e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.7189929721166742820172971144804180169360834556338771919612321745431953598777943471752737733840440934"
    },
    {
      "D": -23,
      "Delta": -92,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8605246383371028445008518850377545930776064154956093941276817856378033580741651491580957214190795224704677373044719122144717460124924271453507692591418 +/- 3.95e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.8605246383371028445008518850377545930776064154956093941276817856378033580741651491580957214190795225"
    },
    {
      "D": -95,
      "Delta": -95,
      "class_number": 8,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0584525655592577026828138322351507926005986586688797920590265363072984971768833476051496331678863056732784557221183511952712176314473140706625133364845 +/- 6.60e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-1.058452565559257702682813832235150792600598658668879792059026536307298497176883347605149633167886306"
    },
    {
      "D": -24,
      "Delta": -96,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9768754922720504046532938843691881786085276433599396256250962052593250320066188419931306047467842604096259768951182151162041379645297848660714749952363 +/- 5.76e-152]",
      "f": 2,
      "generator_bits": 423,
      "number": "-0.9768754922720504046532938843691881786085276433599396256250962052593250320066188419931306047467842604"
    },
    {
      "D": -11,
      "Delta": -99,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6732404981950122399890346361686434683532667462137463600802834705658823670066892080151934083595784834841441249874847674352662808813425484321173052548391 +/- 4.39e-152]",
      "f": 3,
      "generator_bits": 422,
      "number": "-0.6732404981950122399890346361686434683532667462137463600802834705658823670066892080151934083595784835"
    },
    {
      "D": -4,
      "Delta": -100,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5058139696944593309518954166916348481888069122735512001661585541013705245854610346194057316544743855805879821703728626891506870170061704812928929881247 +/- 3.37e-152]",
      "f": 5,
      "generator_bits": 424,
      "number": "-0.5058139696944593309518954166916348481888069122735512001661585541013705245854610346194057316544743856"
    },
    {
      "D": -103,
      "Delta": -103,
      "class_number": 5,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9058059811186217504836033963208418317664615255191567374900428297353311401866278218727397068569433880818495168274392350245306907974978372607044235637654 +/- 3.56e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.9058059811186217504836033963208418317664615255191567374900428297353311401866278218727397068569433881"
    },
    {
      "D": -104,
      "Delta": -104,
      "class_number": 6,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0020949992198868985845315885971535269839763950094316021059197036058092927235360589130647087663566507662893302662965112638525173100752082524118948232893 +/- 5.84e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-1.002094999219886898584531588597153526983976395009431602105919703605809292723536058913064708766356651"
    },
    {
      "D": -107,
      "Delta": -107,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7888079077435625421862400366648543973174457641395925874455846385617159546615083601748738929835747051675746361639135600695175998426442482927236616134441 +/- 3.49e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.7888079077435625421862400366648543973174457641395925874455846385617159546615083601748738929835747052"
    },
    {
      "D": -3,
      "Delta": -108,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8393888021120104662885820966376188008747895452790454762786303319133342657767322317266702721701992763088028963600086081157482258609767754580372007829673 +/- 4.89e-152]",
      "f": 6,
      "generator_bits": 423,
      "number": "-0.8393888021120104662885820966376188008747895452790454762786303319133342657767322317266702721701992763"
    },
    {
      "D": -111,
      "Delta": -111,
      "class_number": 8,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0242502103109357984413320321031796943103326809233483564234675687344890266826872890158608957067273390460567731883631100007979462919837581274113334784582 +/- 7.11e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-1.024250210310935798441332032103179694310332680923348356423467568734489026682687289015860895706727339"
    },
    {
      "D": -7,
      "Delta": -112,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5924687457595054339834177741290523795989200174900950257045294007629750655183591617675038316425442811531567243114918039050075398958983979569174935283056 +/- 3.12e-152]",
      "f": 4,
      "generator_bits": 423,
      "number": "-0.5924687457595054339834177741290523795989200174900950257045294007629750655183591617675038316425442812"
    },
    {
      "D": -115,
      "Delta": -115,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5918685847632052678584447114850867628043946208687686622273985238714219342075265017739394059198283435686460656219463138511759254631026491367172808326220 +/- 5.02e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.5918685847632052678584447114850867628043946208687686622273985238714219342075265017739394059198283436"
    },
    {
      "D": -116,
      "Delta": -116,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9641749311381702285609617652003241042313690144442018556227298025193236220158292312973182227689584245081486390522854054868264951605818654483428837715980 +/- 2.50e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.9641749311381702285609617652003241042313690144442018556227298025193236220158292312973182227689584245"
    },
    {
      "D": -119,
      "Delta": -119,
      "class_number": 10,
      "eta_bits": 503,
      "eta_enclosure": "[-1.0518277858302023681305727956263849378482588698895548504705472091074794923299417029296218556052284877522198315445931094628783534360489765770158183859316 +/- 5.93e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-1.051827785830202368130572795626384937848258869889554850470547209107479492329941702929621855605228488"
    },
    {
      "D": -120,
      "Delta": -120,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8046749229637282152767145161867273401547811903073209677889772766200826185019151913361043304462170831769190147469996374691612710872844561069217113775708 +/- 4.32e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-0.8046749229637282152767145161867273401547811903073209677889772766200826185019151913361043304462170832"
    },
    {
      "D": -123,
      "Delta": -123,
      "class_number": 2,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4840417530014056977372705520370125189382066048824387025458035645934280841834403990180770000337731396291003796777821943587984063162912017734106973254562 +/- 6.80e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.4840417530014056977372705520370125189382066048824387025458035645934280841834403990180770000337731396"
    },
    {
      "D": -31,
      "Delta": -124,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8004194932397503175042185175565913312087366869227979533930311342041331832561691612520344920639917037871842656214770451224780751138012762657986704019576 +/- 7.02e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.8004194932397503175042185175565913312087366869227979533930311342041331832561691612520344920639917038"
    },
    {
      "D": -127,
      "Delta": -127,
      "class_number": 5,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8112162781592321449480948821890724091089961885296415871774768877715909300549001011335548546863939759986679875717171431364131270976632536711805792061576 +/- 5.59e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.8112162781592321449480948821890724091089961885296415871774768877715909300549001011335548546863939760"
    },
    {
      "D": -8,
      "Delta": -128,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8371896382098599381420476815259605222966663895096785393808498983245186169486516608491318008125484626381885776284179473876821040593863207651951518647830 +/- 5.70e-152]",
      "f": 4,
      "generator_bits": 423,
      "number": "-0.8371896382098599381420476815259605222966663895096785393808498983245186169486516608491318008125484626"
    },
    {
      "D": -131,
      "Delta": -131,
      "class_number": 5,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9301521843477471522215425967104891464602885981470710233948263652055799175001521699869491686001526153476062054100264211720695057888851453653096258907800 +/- 3.36e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.9301521843477471522215425967104891464602885981470710233948263652055799175001521699869491686001526153"
    },
    {
      "D": -132,
      "Delta": -132,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7613537590259701774334994352149926937901072497786245787173436682211536147976618833557351460644391821851249944100093250059218683886768173558929572901814 +/- 6.37e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-0.7613537590259701774334994352149926937901072497786245787173436682211536147976618833557351460644391822"
    },
    {
      "D": -15,
      "Delta": -135,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8683796269176700165077356530778136664383774078063279775441647647243340790873497137013589152020753720794152811908757667750122668651566111822728964626749 +/- 3.77e-152]",
      "f": 3,
      "generator_bits": 423,
      "number": "-0.8683796269176700165077356530778136664383774078063279775441647647243340790873497137013589152020753721"
    },
    {
      "D": -136,
      "Delta": -136,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7800490736273831752765446103735908536597883729570115129680348473086187245351936561749419521277020144427607125456932741424219741463841518374003669304281 +/- 4.10e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.7800490736273831752765446103735908536597883729570115129680348473086187245351936561749419521277020144"
    },
    {
      "D": -139,
      "Delta": -139,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7473891885142228596657267314370087347534310766390124963788323114288403044530872373885721574834301216192613367481956931661771180963097615971060742860418 +/- 5.31e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.7473891885142228596657267314370087347534310766390124963788323114288403044530872373885721574834301216"
    },
    {
      "D": -35,
      "Delta": -140,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9563958255057388951975535939769441007359113165096442954835353447471290814451718349950491527307709427522831707558894888707530705885884571305099038950754 +/- 6.67e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.9563958255057388951975535939769441007359113165096442954835353447471290814451718349950491527307709428"
    },
    {
      "D": -143,
      "Delta": -143,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9978393482954283174888038874258131665269750523730558317243389554799546929024232025750790756480674659605013355545798898697672903585514188727737681426679 +/- 2.90e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.9978393482954283174888038874258131665269750523730558317243389554799546929024232025750790756480674660"
    },
    {
      "D": -4,
      "Delta": -144,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8625930586044957680491557437095530997708599163620588846586389140557380396422139963146029002485264968980782561595985062699993085162463459865883331412560 +/- 4.92e-152]",
      "f": 6,
      "generator_bits": 424,
      "number": "-0.8625930586044957680491557437095530997708599163620588846586389140557380396422139963146029002485264969"
    },
    {
      "D": -3,
      "Delta": -147,
      "class_number": 2,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3481623539003812624371928241332335989513273888224072416472800364059413691351830393916901623135773236652623057824974405296232711800744104029857674842470 +/- 4.46e-152]",
      "f": 7,
      "generator_bits": 422,
      "number": "-0.3481623539003812624371928241332335989513273888224072416472800364059413691351830393916901623135773237"
    },
    {
      "D": -148,
      "Delta": -148,
      "class_number": 2,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1786244946122713559175282021910156449143361411072358413373978577291061800287786690945146632098110364396652846741006602720799113171894022955327381304197 +/- 4.02e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.1786244946122713559175282021910156449143361411072358413373978577291061800287786690945146632098110364"
    },
    {
      "D": -151,
      "Delta": -151,
      "class_number": 7,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8859694245775282151610118239678714859165686793928264156169921297133907301907267065277635025432507003658065817303341010727214747792472392393174032758586 +/- 2.85e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.8859694245775282151610118239678714859165686793928264156169921297133907301907267065277635025432507004"
    },
    {
      "D": -152,
      "Delta": -152,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8634422844579651636753206934804444516167435605604900059555996011742009183228137496153255424814111180852279650690724729392172418719637138163898533604832 +/- 6.21e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.8634422844579651636753206934804444516167435605604900059555996011742009183228137496153255424814111181"
    },
    {
      "D": -155,
      "Delta": -155,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7554838674722786252555603654193580643195568235807225815938265786954500889063228543131158279669240473049090407982184093032949517610272881442311383745023 +/- 5.86e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.7554838674722786252555603654193580643195568235807225815938265786954500889063228543131158279669240473"
    },
    {
      "D": -39,
      "Delta": -156,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7970147883162950797582994097099467409920400663472836574158642417043597998158356804729548205331928934809605744701235268768712931774495748046824100707005 +/- 2.69e-152]",
      "f": 2,
      "generator_bits": 422,
      "number": "-0.7970147883162950797582994097099467409920400663472836574158642417043597998158356804729548205331928935"
    },
    {
      "D": -159,
      "Delta": -159,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9779896561761484348144661966487386878855377708151675283005878913781097244349521703667593404366787707899751355380283531857256144948266813464506167454333 +/- 4.18e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.9779896561761484348144661966487386878855377708151675283005878913781097244349521703667593404366787708"
    },
    {
      "D": -40,
      "Delta": -160,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8250777413831874694097776534804534787477864473800411818618662383310255277169997249391805224191544780627328080386243861638850974483526027457284811319952 +/- 5.93e-152]",
      "f": 2,
      "generator_bits": 422,
      "number": "-0.8250777413831874694097776534804534787477864473800411818618662383310255277169997249391805224191544781"
    },
    {
      "D": -163,
      "Delta": -163,
      "class_number": 1,
      "eta_bits": 502,
      "eta_enclosure": "[0.5776898062633132262929352576143725733879055677495641677876110456775568527548555909308944205058160071639770777599343934533559449080810034796040266976170 +/- 3.43e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "0.5776898062633132262929352576143725733879055677495641677876110456775568527548555909308944205058160072"
    },
    {
      "D": -164,
      "Delta": -164,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9449543906810882534780285376365628647973257633616201697854042987062217638867929794053776546026092251454194795368806975495895551578721265550792659925291 +/- 7.39e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.9449543906810882534780285376365628647973257633616201697854042987062217638867929794053776546026092251"
    },
    {
      "D": -167,
      "Delta": -167,
      "class_number": 11,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9771308419451690490647928553458571352770843651334380751595179515743028797994161860708122670059946848213608498668314098923632048847476129675907933487249 +/- 7.15e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.9771308419451690490647928553458571352770843651334380751595179515743028797994161860708122670059946848"
    },
    {
      "D": -168,
      "Delta": -168,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6271346707999431153769236516294677015128022912479711186446514212307756770742575807284374655573640691161596684523496348931864910799051339450026677215410 +/- 2.68e-152]",
      "f": 1,
      "generator_bits": 421,
      "number": "-0.6271346707999431153769236516294677015128022912479711186446514212307756770742575807284374655573640691"
    },
    {
      "D": -19,
      "Delta": -171,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8116053325153575155577209868337892951887916081079681952850408513104350093634196148301488812103124132909560190668313686696186635216293421454601613519163 +/- 3.48e-152]",
      "f": 3,
      "generator_bits": 421,
      "number": "-0.8116053325153575155577209868337892951887916081079681952850408513104350093634196148301488812103124133"
    },
    {
      "D": -43,
      "Delta": -172,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5993455860271769787855941524236465996214212600012134055059736502539759158802959006824751504356657178349404337845801607380500329319126538512308973021558 +/- 6.89e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.5993455860271769787855941524236465996214212600012134055059736502539759158802959006824751504356657178"
    },
    {
      "D": -7,
      "Delta": -175,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7491366221747506185337301178451664011658863670941777058543267797649756915855012891633225326079030984285027709914906353387850583885483031140722920741194 +/- 5.57e-152]",
      "f": 5,
      "generator_bits": 423,
      "number": "-0.7491366221747506185337301178451664011658863670941777058543267797649756915855012891633225326079030984"
    },
    {
      "D": -11,
      "Delta": -176,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8759730522490944309780411939008180366392619579449934588872906326379327026311463336490696222682351841071283990101783574396075228764287430641273708144052 +/- 4.30e-152]",
      "f": 4,
      "generator_bits": 422,
      "number": "-0.8759730522490944309780411939008180366392619579449934588872906326379327026311463336490696222682351841"
    },
    {
      "D": -179,
      "Delta": -179,
      "class_number": 5,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7986382570170114859235306349638919774338290860177810969850186602254069259391304605337378347654763193596131351697676322416990367141054213710556856017726 +/- 3.93e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.7986382570170114859235306349638919774338290860177810969850186602254069259391304605337378347654763194"
    },
    {
      "D": -20,
      "Delta": -180,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6404293187379332563965077444085127676844193110347861384552482638712085208366698087123156351707311548682507425484520939297808921865960880600349239902702 +/- 4.61e-152]",
      "f": 3,
      "generator_bits": 423,
      "number": "-0.6404293187379332563965077444085127676844193110347861384552482638712085208366698087123156351707311549"
    },
    {
      "D": -183,
      "Delta": -183,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8392548142420279570476999035427343974157370645274442025851234842286067509740845050629831914306085028965639414256479651679967641149168462646507645654265 +/- 3.95e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.8392548142420279570476999035427343974157370645274442025851234842286067509740845050629831914306085029"
    },
    {
      "D": -184,
      "Delta": -184,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6193660539476399530126345220157751565628116584055981340830658652152218428388502086373950301737471776779929610344791381818047105960442063697002319537671 +/- 5.95e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.6193660539476399530126345220157751565628116584055981340830658652152218428388502086373950301737471777"
    },
    {
      "D": -187,
      "Delta": -187,
      "class_number": 2,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2663841197920625207485183288059644974544377677144399693719502216186448282342542631645522828097625234821771844653563947832464801347281013935075618933927 +/- 4.02e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.2663841197920625207485183288059644974544377677144399693719502216186448282342542631645522828097625235"
    },
    {
      "D": -47,
      "Delta": -188,
      "class_number": 5,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7913803775495269134709560396432111983351849810564862304443034450622129131930195333664740110337919852522760816461146954103815500640969838197600727078883 +/- 3.47e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.7913803775495269134709560396432111983351849810564862304443034450622129131930195333664740110337919853"
    },
    {
      "D": -191,
      "Delta": -191,
      "class_number": 13,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9822448597927468476537059493875948685978855917058288332313532458269958142514829870867333528459382119331534384598612443242252035323264600015700566606071 +/- 5.40e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.9822448597927468476537059493875948685978855917058288332313532458269958142514829870867333528459382119"
    },
    {
      "D": -3,
      "Delta": -192,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6857325129147547146907397511848282763673279637831038529330184360057871470389975173134780285274626235816251286165665490629400870928016841472802983428301 +/- 3.58e-152]",
      "f": 8,
      "generator_bits": 423,
      "number": "-0.6857325129147547146907397511848282763673279637831038529330184360057871470389975173134780285274626236"
    },
    {
      "D": -195,
      "Delta": -195,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6950626850550107107687794801212759800731318342271881584068495480440480763163321260622378121632017418166967441901314794342439341616328199560951972193180 +/- 7.44e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.6950626850550107107687794801212759800731318342271881584068495480440480763163321260622378121632017418"
    },
    {
      "D": -4,
      "Delta": -196,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5808166200157670288377678045135362693377008158146121154502111936118675699072639415141007337306123683581729983540364662971162825350393385149288420111701 +/- 2.74e-152]",
      "f": 7,
      "generator_bits": 424,
      "number": "-0.5808166200157670288377678045135362693377008158146121154502111936118675699072639415141007337306123684"
    },
    {
      "D": -199,
      "Delta": -199,
      "class_number": 9,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8817371814736598256853196171733394302336369536361413777675651944645169767865799285266025139245661591097895590320181905864182126173142428132671947605587 +/- 6.26e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.8817371814736598256853196171733394302336369536361413777675651944645169767865799285266025139245661591"
    },
    {
      "D": -8,
      "Delta": -200,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7339273219151256316608979796952583308353201887286654992353922737664966347771582698927517541542502720852840689257027716713275524636269269634626988787337 +/- 6.92e-152]",
      "f": 5,
      "generator_bits": 423,
      "number": "-0.7339273219151256316608979796952583308353201887286654992353922737664966347771582698927517541542502721"
    },
    {
      "D": -203,
      "Delta": -203,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6151350051754636488676896353308856699934407809660054761604027961437359814121009327788732553668112236780025491418019187928660062269090661606129538884316 +/- 6.73e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.6151350051754636488676896353308856699934407809660054761604027961437359814121009327788732553668112237"
    },
    {
      "D": -51,
      "Delta": -204,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8382325218509594183946714561163307720585152636209366079954659965017957689652962086691638433510525887670760240681794688600317751105160890242105998374753 +/- 5.97e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.8382325218509594183946714561163307720585152636209366079954659965017957689652962086691638433510525888"
    },
    {
      "D": -23,
      "Delta": -207,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6577920842830206535118453273055800247916112037643622953206746235657530224497080235242195075104228218474834632817783222101305040174062325133407036995757 +/- 4.10e-152]",
      "f": 3,
      "generator_bits": 421,
      "number": "-0.6577920842830206535118453273055800247916112037643622953206746235657530224497080235242195075104228218"
    },
    {
      "D": -52,
      "Delta": -208,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7166561814767082834337327253304109020954158590890644634178329951454865668750291896911713680918125652177471469401280299846014218400508601295554833173989 +/- 4.34e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.7166561814767082834337327253304109020954158590890644634178329951454865668750291896911713680918125652"
    },
    {
      "D": -211,
      "Delta": -211,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5181674884301134453796110480548637844945731362566269214866325926466539693204544753355969182414664800492319967109987563149696469672878216377712588250796 +/- 3.19e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5181674884301134453796110480548637844945731362566269214866325926466539693204544753355969182414664800"
    },
    {
      "D": -212,
      "Delta": -212,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7025228512813055727256858188637116143891966572002636814049515503845687217642226712537267451720259035233583163684814418999031346047051647692182146607010 +/- 7.30e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.7025228512813055727256858188637116143891966572002636814049515503845687217642226712537267451720259035"
    },
    {
      "D": -215,
      "Delta": -215,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9701866450990100028554716846864929254359218627748495118170878114884873129503272579903890434138819960730429189511623948314048510439470897600354151404084 +/- 4.84e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.9701866450990100028554716846864929254359218627748495118170878114884873129503272579903890434138819961"
    },
    {
      "D": -24,
      "Delta": -216,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7839581911893335015425201690928904190782391576757536219103680964201753397595061986033911848913115693658030041282749313021695166148258108983120420595560 +/- 3.92e-152]",
      "f": 3,
      "generator_bits": 423,
      "number": "-0.7839581911893335015425201690928904190782391576757536219103680964201753397595061986033911848913115694"
    },
    {
      "D": -219,
      "Delta": -219,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6199579638857112658422643944313760589379545721612950731393177368312610957948712022980119815725506703873922486710460050057508746473142415736283836905203 +/- 6.00e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.6199579638857112658422643944313760589379545721612950731393177368312610957948712022980119815725506704"
    },
    {
      "D": -55,
      "Delta": -220,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7089085239817010624768294256646914711635182577064173800709966532791561564847097826942259748104400750932379635714169467334577259971565352208745020543957 +/- 7.45e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.7089085239817010624768294256646914711635182577064173800709966532791561564847097826942259748104400751"
    },
    {
      "D": -223,
      "Delta": -223,
      "class_number": 7,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7115887984151674877726777706228242749377768941236913105503943941240044568527788803680635944401214551223533507041515505749829879620611679431431740662541 +/- 5.73e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7115887984151674877726777706228242749377768941236913105503943941240044568527788803680635944401214551"
    },
    {
      "D": -56,
      "Delta": -224,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9020579334820643716519580063640226743510884494592312541763469244710645000429120405886463813954974843795215634463034301882351370998796700426514763494733 +/- 6.68e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.9020579334820643716519580063640226743510884494592312541763469244710645000429120405886463813954974844"
    },
    {
      "D": -227,
      "Delta": -227,
      "class_number": 5,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6990175133274220078196261563432183786778233214752334602578402440643473560078414377821255158035948404036244468972018530504433045784981661381000295594439 +/- 6.97e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.6990175133274220078196261563432183786778233214752334602578402440643473560078414377821255158035948404"
    },
    {
      "D": -228,
      "Delta": -228,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4243420451651863740961066216700654260456642537912977534348561310649539264372313423744977182250095709631427828930113621171427126497959321346478302309159 +/- 7.48e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.4243420451651863740961066216700654260456642537912977534348561310649539264372313423744977182250095710"
    },
    {
      "D": -231,
      "Delta": -231,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9105780415261989908305555317691535592849213006698143935620788372308859758027095430385461561532623051286594986067474473820785230386145197508257212214173 +/- 5.14e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.9105780415261989908305555317691535592849213006698143935620788372308859758027095430385461561532623051"
    },
    {
      "D": -232,
      "Delta": -232,
      "class_number": 2,
      "eta_bits": 501,
      "eta_enclosure": "[0.3110060812332979889140745147768076435304631933565210839226072422230821575497988372735873953247584812207391362976020408690831768470619765654171095921053 +/- 7.06e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "0.3110060812332979889140745147768076435304631933565210839226072422230821575497988372735873953247584812"
    },
    {
      "D": -235,
      "Delta": -235,
      "class_number": 2,
      "eta_bits": 498,
      "eta_enclosure": "[-0.0459207983290562411850681722357633947431695227427134961507161177846728447924838457238290303133412282926767719712674767694443244369615778399048411720231 +/- 6.71e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "-0.04592079832905624118506817223576339474316952274271349615071611778467284479248384572382903031334122829"
    },
    {
      "D": -59,
      "Delta": -236,
      "class_number": 9,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9115678664499480817305897969399166665264653109513726842799480746773185038305668083674115872214389634405774896135276133588134283251844212644416322263109 +/- 5.70e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.9115678664499480817305897969399166665264653109513726842799480746773185038305668083674115872214389634"
    },
    {
      "D": -239,
      "Delta": -239,
      "class_number": 15,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9545767130102608230155631539270515523612832332186946270759516783380430985346861940549247402360442368969492671034440677321992566225670881369739855366726 +/- 6.03e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.9545767130102608230155631539270515523612832332186946270759516783380430985346861940549247402360442369"
    },
    {
      "D": -15,
      "Delta": -240,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5414365425804279375555852772604789999120407927203225406683828664434385548571913203867008398102340474667371431922910362887827480380419872322578263346289 +/- 2.23e-152]",
      "f": 4,
      "generator_bits": 423,
      "number": "-0.5414365425804279375555852772604789999120407927203225406683828664434385548571913203867008398102340475"
    },
    {
      "D": -3,
      "Delta": -243,
      "class_number": 3,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4666412039083970439046784560261923601551548753067549289722128518789024057856329212727071578634992403267053525007891154080878106887451217415191784101210 +/- 7.56e-152]",
      "f": 9,
      "generator_bits": 422,
      "number": "-0.4666412039083970439046784560261923601551548753067549289722128518789024057856329212727071578634992403"
    },
    {
      "D": -244,
      "Delta": -244,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7261226985986953330233499530524493428061376348132766102271769326593705606326842013170728984186894863451022853364270700977118053775286023299344366872776 +/- 5.70e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.7261226985986953330233499530524493428061376348132766102271769326593705606326842013170728984186894863"
    },
    {
      "D": -247,
      "Delta": -247,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5484335780904054707646639265524650220221090143895243050562357854215884568583148204710558618175705049530186485706584073471489072097970223435720390866345 +/- 3.68e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5484335780904054707646639265524650220221090143895243050562357854215884568583148204710558618175705050"
    },
    {
      "D": -248,
      "Delta": -248,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7859786934704732796782020111248922884278923706571924255843219395200313481717120287857170807221167498747369966478848449612728274185283937674495595122419 +/- 6.49e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.7859786934704732796782020111248922884278923706571924255843219395200313481717120287857170807221167499"
    },
    {
      "D": -251,
      "Delta": -251,
      "class_number": 7,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8135558218127785707563022954811401345110067401106903241827371814418233750889794182973501428196797211137909718918977435878419137755788685485707744818210 +/- 2.68e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.8135558218127785707563022954811401345110067401106903241827371814418233750889794182973501428196797211"
    },
    {
      "D": -7,
      "Delta": -252,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6643892638724506658432225256275092374747974452145352898311958221002983031985542778520315564373206027271649575552876803362582989572948332801706284364313 +/- 3.22e-152]",
      "f": 6,
      "generator_bits": 423,
      "number": "-0.6643892638724506658432225256275092374747974452145352898311958221002983031985542778520315564373206027"
    },
    {
      "D": -255,
      "Delta": -255,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8762796560630123282716005857771132568026119396848773118061512007073140552429629277821237474328584832412827379302835915167980632467356213431999220967268 +/- 4.89e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.8762796560630123282716005857771132568026119396848773118061512007073140552429629277821237474328584832"
    },
    {
      "D": -4,
      "Delta": -256,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5740640465665676269964659542554160643713886966500388536192599897517292950964892816032428857673693354671945600968742905469718243811754948642624886232443 +/- 2.96e-152]",
      "f": 8,
      "generator_bits": 424,
      "number": "-0.5740640465665676269964659542554160643713886966500388536192599897517292950964892816032428857673693355"
    },
    {
      "D": -259,
      "Delta": -259,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6101284021419282381896288303225374604191883629104648590962145963988905621131104002802825322815923462421314313820846411522700361516574772717488604664656 +/- 7.47e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.6101284021419282381896288303225374604191883629104648590962145963988905621131104002802825322815923462"
    },
    {
      "D": -260,
      "Delta": -260,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7563671704124534370520289254198129268994278743840223572235035635678344192802362660193591601580362391735801819728086380645001861691332464524959934346169 +/- 3.44e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.7563671704124534370520289254198129268994278743840223572235035635678344192802362660193591601580362392"
    },
    {
      "D": -263,
      "Delta": -263,
      "class_number": 13,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8708907875723479173466080177319791023008324972418851611325847544093763475539575610009952328775559894636225340912362820666183198886505087839123434566480 +/- 6.57e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.8708907875723479173466080177319791023008324972418851611325847544093763475539575610009952328775559895"
    },
    {
      "D": -264,
      "Delta": -264,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7889026349978192597642213020870126481201162132827223287390026221040833817161998697607869303949006586980269557112029329840710821447452530747988214348484 +/- 7.12e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.7889026349978192597642213020870126481201162132827223287390026221040833817161998697607869303949006587"
    },
    {
      "D": -267,
      "Delta": -267,
      "class_number": 2,
      "eta_bits": 500,
      "eta_enclosure": "[0.2384288909875939765555674646174272123398364658409371316476864015322934078052129222286803965985636795361936483802132604518495137273863494501551277697723 +/- 7.23e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "0.2384288909875939765555674646174272123398364658409371316476864015322934078052129222286803965985636795"
    },
    {
      "D": -67,
      "Delta": -268,
      "class_number": 3,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2840317563010989711916241027030892416890307513671913162524279390679564852089053680021853349979458021519742483050450534044351252957954568842388126045658 +/- 5.32e-152]",
      "f": 2,
      "generator_bits": 418,
      "number": "-0.2840317563010989711916241027030892416890307513671913162524279390679564852089053680021853349979458022"
    },
    {
      "D": -271,
      "Delta": -271,
      "class_number": 11,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8449139673811912250504312062628334651842398694573271116191420849527528490980608484916393234796383688591925327404377120973344040045173489675927092900359 +/- 4.92e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.8449139673811912250504312062628334651842398694573271116191420849527528490980608484916393234796383689"
    },
    {
      "D": -68,
      "Delta": -272,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8423084564307857143285894202143314026247079342053449481697344027536522408685005099829728764096152437506120993481341250529762615272211673623368029192377 +/- 6.49e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.8423084564307857143285894202143314026247079342053449481697344027536522408685005099829728764096152438"
    },
    {
      "D": -11,
      "Delta": -275,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4178276863120168983862775880168125009142113479908622249913066916475400197621648091369343467198547224781459880096059188565882803796454702428268978814909 +/- 5.87e-152]",
      "f": 5,
      "generator_bits": 421,
      "number": "-0.4178276863120168983862775880168125009142113479908622249913066916475400197621648091369343467198547225"
    },
    {
      "D": -276,
      "Delta": -276,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7677373630779326191965919189002921750120248992146165271237780271928812104900332528190201372788735950441722913346372642564196153177919056583516099080302 +/- 6.71e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.7677373630779326191965919189002921750120248992146165271237780271928812104900332528190201372788735950"
    },
    {
      "D": -31,
      "Delta": -279,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8723400113526955493640232690550481890846141146472382175196975555414564209363642773365622168587680253611924988652729215537288341751977115890518053100833 +/- 4.91e-152]",
      "f": 3,
      "generator_bits": 421,
      "number": "-0.8723400113526955493640232690550481890846141146472382175196975555414564209363642773365622168587680254"
    },
    {
      "D": -280,
      "Delta": -280,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3503810702542715656691326894787768877976060931461691782571397715629550564751685536036153703540095458695231766631668429583536847593020208030372356367925 +/- 2.70e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.3503810702542715656691326894787768877976060931461691782571397715629550564751685536036153703540095459"
    },
    {
      "D": -283,
      "Delta": -283,
      "class_number": 3,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3669742501222557363215354400743448786937781735169328515933976085784871317105702966182809122543712267621258842110019799245284555725235133852408709193149 +/- 4.76e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3669742501222557363215354400743448786937781735169328515933976085784871317105702966182809122543712268"
    },
    {
      "D": -71,
      "Delta": -284,
      "class_number": 7,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7589553795121086416902347247705376160000184916881313406391803118184098892110416481561435578343332961074686609362837105853864591895143599412275455030517 +/- 5.97e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.7589553795121086416902347247705376160000184916881313406391803118184098892110416481561435578343332961"
    },
    {
      "D": -287,
      "Delta": -287,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8660599976614781522008909007288267379934365587120890447356564059538766534913363535655081722169132760923943325859925939123869475197721332186905037605740 +/- 4.22e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.8660599976614781522008909007288267379934365587120890447356564059538766534913363535655081722169132761"
    },
    {
      "D": -8,
      "Delta": -288,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5478136865857845834758871086115138830012336609833995338087577350657940785779826957645226710293394260724541184781530216666301720348303598135560024612625 +/- 4.09e-152]",
      "f": 6,
      "generator_bits": 423,
      "number": "-0.5478136865857845834758871086115138830012336609833995338087577350657940785779826957645226710293394261"
    },
    {
      "D": -291,
      "Delta": -291,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4347044929827976326775060502659521082974967841308487611013809867094485633938832354254671987172287459172994270434115534581675227280755348755748423306083 +/- 6.03e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.4347044929827976326775060502659521082974967841308487611013809867094485633938832354254671987172287459"
    },
    {
      "D": -292,
      "Delta": -292,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3403190091492902947330262033156329508424767861375825344068822905899358026086581101289369098527353928689215995106212279747168338560360697564151844714042 +/- 3.45e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.3403190091492902947330262033156329508424767861375825344068822905899358026086581101289369098527353929"
    },
    {
      "D": -295,
      "Delta": -295,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6347250201752012738962518422285778554366090789067921763084236831192639364338916611230365821806722687479379750808457532828814328050758889780183463735617 +/- 6.52e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.6347250201752012738962518422285778554366090789067921763084236831192639364338916611230365821806722687"
    },
    {
      "D": -296,
      "Delta": -296,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8041772764636743635907969107682656530612211703871274392393015690594239188135738553135820713543116480683029483731442197209008713611521326354484177309347 +/- 4.86e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.8041772764636743635907969107682656530612211703871274392393015690594239188135738553135820713543116481"
    },
    {
      "D": -299,
      "Delta": -299,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8033851384266806097821709294176287671344470109089359969134154899761516936336770210512005217717272163585168994249086721406429789326051187899821841690378 +/- 6.15e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.8033851384266806097821709294176287671344470109089359969134154899761516936336770210512005217717272164"
    },
    {
      "D": -3,
      "Delta": -300,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6691135941900135718867440645363981559154192797971227195526458126344393676137159658078308977437167689714708050414227090632962255265120566651769292007352 +/- 4.03e-152]",
      "f": 10,
      "generator_bits": 423,
      "number": "-0.6691135941900135718867440645363981559154192797971227195526458126344393676137159658078308977437167690"
    },
    {
      "D": -303,
      "Delta": -303,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7131240531264065922542198400580026705923626087848956292992594454865853040352083892210302371594206883273715636654441416849382153259894645587710390712734 +/- 4.33e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.7131240531264065922542198400580026705923626087848956292992594454865853040352083892210302371594206883"
    },
    {
      "D": -19,
      "Delta": -304,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7396848144024122836979162353353324373129141803835279311583744299731117716832244987456211564155360917169477858230354922383679044602329068222070264437906 +/- 5.21e-152]",
      "f": 4,
      "generator_bits": 421,
      "number": "-0.7396848144024122836979162353353324373129141803835279311583744299731117716832244987456211564155360917"
    },
    {
      "D": -307,
      "Delta": -307,
      "class_number": 3,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3080184092817786657676818539814350973911376699429852990558224027899495185746273296909514410671040619989056138678336414675025935915979548764073319963701 +/- 6.84e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3080184092817786657676818539814350973911376699429852990558224027899495185746273296909514410671040620"
    },
    {
      "D": -308,
      "Delta": -308,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6783914150929111705961712460721468447422958943975151692941223102080472769176410136895256085943891592263255409723971945395347231000827986056211006473423 +/- 5.59e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.6783914150929111705961712460721468447422958943975151692941223102080472769176410136895256085943891592"
    },
    {
      "D": -311,
      "Delta": -311,
      "class_number": 19,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9456324591394126892071124218954482003897396647905112824867106294305639123745704381832427383137580392195189699303700272996216229658072012493567672914699 +/- 3.96e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.9456324591394126892071124218954482003897396647905112824867106294305639123745704381832427383137580392"
    },
    {
      "D": -312,
      "Delta": -312,
      "class_number": 4,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1669166829707345966221481502876462131022950323705537978544283493386453335662909867395119395393777820412283378253552709137600300009034252230184943883772 +/- 6.64e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.1669166829707345966221481502876462131022950323705537978544283493386453335662909867395119395393777820"
    },
    {
      "D": -35,
      "Delta": -315,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5226142112650082677361363290920440097580827266583121119696348461772808718308164708258851631566413462819650697263390036218499885149162189794889480849642 +/- 5.64e-152]",
      "f": 3,
      "generator_bits": 421,
      "number": "-0.5226142112650082677361363290920440097580827266583121119696348461772808718308164708258851631566413463"
    },
    {
      "D": -79,
      "Delta": -316,
      "class_number": 5,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6572157596186410304665250767824564796651646358076175108046546432137736556834165418814214246068696455575155770593862805564386598936142595251914419853099 +/- 7.27e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.6572157596186410304665250767824564796651646358076175108046546432137736556834165418814214246068696456"
    },
    {
      "D": -319,
      "Delta": -319,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7213318974473762541107652589903420823123025421748932004197832547421753499212475232824057315555728848243207078761670359868262489666991098602338096871698 +/- 6.78e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7213318974473762541107652589903420823123025421748932004197832547421753499212475232824057315555728848"
    },
    {
      "D": -20,
      "Delta": -320,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7565184752220222837083602869584152649609770059710013304971704247565846537149150948954589332048355195484848314435743482174114441522125163724159057058819 +/- 2.92e-152]",
      "f": 4,
      "generator_bits": 423,
      "number": "-0.7565184752220222837083602869584152649609770059710013304971704247565846537149150948954589332048355195"
    },
    {
      "D": -323,
      "Delta": -323,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2943618840067624720987511780940832681563638283858070864177435769617739494878589572964041008248525211741715995593709535368565049978814536683354985110427 +/- 7.19e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.2943618840067624720987511780940832681563638283858070864177435769617739494878589572964041008248525212"
    },
    {
      "D": -4,
      "Delta": -324,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5781247334661030573221115920230448648532805508593104266326862774134638229602172723520621674919094651219244476372587336441006868143814953670745000496784 +/- 4.77e-152]",
      "f": 9,
      "generator_bits": 424,
      "number": "-0.5781247334661030573221115920230448648532805508593104266326862774134638229602172723520621674919094651"
    },
    {
      "D": -327,
      "Delta": -327,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7744181411009444409439099517104239377884692355852658282777050953943219947462404827941781052090210072635376578536194870803712049329891392637813958497244 +/- 3.57e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7744181411009444409439099517104239377884692355852658282777050953943219947462404827941781052090210073"
    },
    {
      "D": -328,
      "Delta": -328,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2500104385666879318564536540528026324592567889019972399980318212568537398308949893211630612021249019910967359748868271332250288514759441438269145504828 +/- 6.38e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.2500104385666879318564536540528026324592567889019972399980318212568537398308949893211630612021249020"
    },
    {
      "D": -331,
      "Delta": -331,
      "class_number": 3,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1826144523782607965028162351088935537135215079931132465278393817972169268383302086714168334138450485292997619966524401056976768371904620177146541705725 +/- 3.37e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.1826144523782607965028162351088935537135215079931132465278393817972169268383302086714168334138450485"
    },
    {
      "D": -83,
      "Delta": -332,
      "class_number": 9,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7891782306747467558650405074177585742147394119512533483568086886209305467581801400899551048876232816803490341396894831421167524821339415257558988696305 +/- 5.90e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.7891782306747467558650405074177585742147394119512533483568086886209305467581801400899551048876232817"
    },
    {
      "D": -335,
      "Delta": -335,
      "class_number": 18,
      "eta_bits": 502,
      "eta_enclosure": "[-0.9034886817429928542170943525902706486798867939074054620053606119346976896810927272770154670136087256737054191508669732859503249622824884629454174424694 +/- 4.33e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.9034886817429928542170943525902706486798867939074054620053606119346976896810927272770154670136087257"
    },
    {
      "D": -84,
      "Delta": -336,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7821008518630746143265932533183932889671398600881562234766804016111854185189946884029935837789332438790012931710216335433285736186791986516522526009159 +/- 5.67e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.7821008518630746143265932533183932889671398600881562234766804016111854185189946884029935837789332439"
    },
    {
      "D": -339,
      "Delta": -339,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6417482279689084991406958921581432868191642423683333692527660825442250669624920879237466699218556815223417822033369005914280874773849344132228998342956 +/- 4.70e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.6417482279689084991406958921581432868191642423683333692527660825442250669624920879237466699218556815"
    },
    {
      "D": -340,
      "Delta": -340,
      "class_number": 4,
      "eta_bits": 500,
      "eta_enclosure": "[-0.2021027169632735905069615685806483492037991425925158615647240719011192979643886025884919262588621328005972486256209078738704884645585274062917580016389 +/- 3.65e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.2021027169632735905069615685806483492037991425925158615647240719011192979643886025884919262588621328"
    },
    {
      "D": -7,
      "Delta": -343,
      "class_number": 7,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4516544338671736126412130055401519206870981248866954847711850602831201748800241911786563735298751714124174792438405721050971663069374770097434679534419 +/- 7.34e-152]",
      "f": 7,
      "generator_bits": 422,
      "number": "-0.4516544338671736126412130055401519206870981248866954847711850602831201748800241911786563735298751714"
    },
    {
      "D": -344,
      "Delta": -344,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7309687404887974251900966543128101803117846118283430582805292789667273591961120077883901813453861487758440303821069522039260178036033326992231318296343 +/- 3.21e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.7309687404887974251900966543128101803117846118283430582805292789667273591961120077883901813453861488"
    },
    {
      "D": -347,
      "Delta": -347,
      "class_number": 5,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4530460415118442202085884202520910754049895335671453183261824499057540498477851818080660161773750795304616101329286074751593086233387476800191701351396 +/- 6.19e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4530460415118442202085884202520910754049895335671453183261824499057540498477851818080660161773750795"
    },
    {
      "D": -87,
      "Delta": -348,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6702913135278712826808796429346344635942668174441869989141042726405389510309523174377206464973771467455287573072342289327117112020156583135467356825750 +/- 3.57e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.6702913135278712826808796429346344635942668174441869989141042726405389510309523174377206464973771467"
    },
    {
      "D": -39,
      "Delta": -351,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7773842823735645040018337247981931234806266142531614672313061352385585130611467159846812324268248743226379719584229144962580518866851334761811448229289 +/- 7.36e-152]",
      "f": 3,
      "generator_bits": 422,
      "number": "-0.7773842823735645040018337247981931234806266142531614672313061352385585130611467159846812324268248743"
    },
    {
      "D": -88,
      "Delta": -352,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4221417292278795172184513095935063615214816133574446620264684058305485505862711621838324756505499090346521619809845870275356819964103188517792393969040 +/- 6.10e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.4221417292278795172184513095935063615214816133574446620264684058305485505862711621838324756505499090"
    },
    {
      "D": -355,
      "Delta": -355,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4394943081795173847435292533541302981907095976356696766607111837808524692082296808885260114356282216880014045743963303395955549613524452077232910458564 +/- 5.84e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4394943081795173847435292533541302981907095976356696766607111837808524692082296808885260114356282217"
    },
    {
      "D": -356,
      "Delta": -356,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8077848835944015619846618607812766912257920135987406794871115844265077104096160072238783937753782785563070052739127987001202833328805841469115917047671 +/- 4.29e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.8077848835944015619846618607812766912257920135987406794871115844265077104096160072238783937753782786"
    },
    {
      "D": -359,
      "Delta": -359,
      "class_number": 19,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8948683689871744337308776468038144997808152929388749300576862761290829988650660164001747609862999054999109204100777004648071920054497604914556291671919 +/- 4.52e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.8948683689871744337308776468038144997808152929388749300576862761290829988650660164001747609862999055"
    },
    {
      "D": -40,
      "Delta": -360,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7237114643561463739152743746143661946047888415144176324583626572950003599047711621222424154648261277512406710272775911617144764508095054297234483522121 +/- 3.97e-152]",
      "f": 3,
      "generator_bits": 422,
      "number": "-0.7237114643561463739152743746143661946047888415144176324583626572950003599047711621222424154648261278"
    },
    {
      "D": -3,
      "Delta": -363,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3219943980953835216307260383693529221774918978060806795359052325703256238807023761709132832730819240723282670986988449345453268261650590764955372023285 +/- 5.55e-152]",
      "f": 11,
      "generator_bits": 422,
      "number": "-0.3219943980953835216307260383693529221774918978060806795359052325703256238807023761709132832730819241"
    },
    {
      "D": -91,
      "Delta": -364,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6034684420233500637810917609040552555901667665738346496077855062942964228828452279076298855513076455089082617429872097656605548909104775822953482085527 +/- 5.74e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.6034684420233500637810917609040552555901667665738346496077855062942964228828452279076298855513076455"
    },
    {
      "D": -367,
      "Delta": -367,
      "class_number": 9,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5979192953429810558266640181811589216102322971442893494732295133897548794411688558291779894532982937972178780828165029113495944115977512402008756942044 +/- 2.77e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5979192953429810558266640181811589216102322971442893494732295133897548794411688558291779894532982938"
    },
    {
      "D": -23,
      "Delta": -368,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5139510480571301897922358243086663090398563483154817670673417808911065470893177913551640579208701786994669967941865693476289858946133618668344338833242 +/- 7.24e-152]",
      "f": 4,
      "generator_bits": 421,
      "number": "-0.5139510480571301897922358243086663090398563483154817670673417808911065470893177913551640579208701787"
    },
    {
      "D": -371,
      "Delta": -371,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7029314743144001419328654190477990898537291756661222676938179397469186888175631904723531650821753396160696986352185404299582395258430980664047365994163 +/- 7.23e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7029314743144001419328654190477990898537291756661222676938179397469186888175631904723531650821753396"
    },
    {
      "D": -372,
      "Delta": -372,
      "class_number": 4,
      "eta_bits": 493,
      "eta_enclosure": "[0.0015942308137805581086764523556889874179654737415693262032964179494571172021506298784150154294084306628316531860561739069414267415587646265900026853659 +/- 6.70e-152]",
      "f": 1,
      "generator_bits": 411,
      "number": "0.001594230813780558108676452355688987417965473741569326203296417949457117202150629878415015429408430663"
    },
    {
      "D": -15,
      "Delta": -375,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5908085581667330971325136654281805121773003853731707060240037193471605817438229301405106155693808906887521030041754968625786661820702473094370504392785 +/- 2.76e-152]",
      "f": 5,
      "generator_bits": 423,
      "number": "-0.5908085581667330971325136654281805121773003853731707060240037193471605817438229301405106155693808907"
    },
    {
      "D": -376,
      "Delta": -376,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6851902975559765828686525197566550420293199218608837300980316475602519734899894043732135129104408111524564905983321651556365192564418931664875845231465 +/- 3.56e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.6851902975559765828686525197566550420293199218608837300980316475602519734899894043732135129104408112"
    },
    {
      "D": -379,
      "Delta": -379,
      "class_number": 3,
      "eta_bits": 498,
      "eta_enclosure": "[-0.0607475653831682588382427341082073176618824403940674547974620106857938525782556951150827367859030514789081998774244222238955808583534030698884875450402 +/- 5.18e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "-0.06074756538316825883824273410820731766188244039406745479746201068579385257825569511508273678590305148"
    },
    {
      "D": -95,
      "Delta": -380,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7118789752792850479741977715060625085628485914887521649986865315606016861920359898022179696696769619022777152118330083284284575135682487921461779606669 +/- 4.35e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.7118789752792850479741977715060625085628485914887521649986865315606016861920359898022179696696769619"
    },
    {
      "D": -383,
      "Delta": -383,
      "class_number": 17,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8308934670869246579374191002009192965480159640563668732019590065487149026686347564249705451853318744751789219483996561839689608409423637692840334076538 +/- 4.21e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.8308934670869246579374191002009192965480159640563668732019590065487149026686347564249705451853318745"
    },
    {
      "D": -24,
      "Delta": -384,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7169452995620709136218318388223719655802150929748439053298412016993024237679833236409318571231272525813754215124042079660720678761204859071842234633732 +/- 4.10e-152]",
      "f": 4,
      "generator_bits": 423,
      "number": "-0.7169452995620709136218318388223719655802150929748439053298412016993024237679833236409318571231272526"
    },
    {
      "D": -43,
      "Delta": -387,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4402170439534737741729881967693779348054653096055685849257467350935012795705927782317150995649691435616148400215191419247389519147230456554731419597365 +/- 7.86e-152]",
      "f": 3,
      "generator_bits": 419,
      "number": "-0.4402170439534737741729881967693779348054653096055685849257467350935012795705927782317150995649691436"
    },
    {
      "D": -388,
      "Delta": -388,
      "class_number": 4,
      "eta_bits": 499,
      "eta_enclosure": "[-0.1061784883457717228121285870684466315334682052711990096598196299855231556009948547283365569121909966497728375762131052915987899111081479802148122808379 +/- 7.19e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.1061784883457717228121285870684466315334682052711990096598196299855231556009948547283365569121909966"
    },
    {
      "D": -391,
      "Delta": -391,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8045918076684213728873282031908479715036237962799062877392278929160993674940588886792601493238077736616471079765875656551823218164334583549397397148621 +/- 5.20e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.8045918076684213728873282031908479715036237962799062877392278929160993674940588886792601493238077737"
    },
    {
      "D": -8,
      "Delta": -392,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5406903201640832671133104786461284787299471998916401275340035980312971821476848826824244432148583197295413679390804481293391471101059822971597117988684 +/- 6.00e-152]",
      "f": 7,
      "generator_bits": 423,
      "number": "-0.5406903201640832671133104786461284787299471998916401275340035980312971821476848826824244432148583197"
    },
    {
      "D": -395,
      "Delta": -395,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6853727001135937869957647763636561703905749853923435518012682493411655228946524092455178163616865494104141683377285750559349363415000522308394051336509 +/- 4.17e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.6853727001135937869957647763636561703905749853923435518012682493411655228946524092455178163616865494"
    },
    {
      "D": -11,
      "Delta": -396,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5577159681016880217528292825922807070073500571537038177268368023169834300117400887475495205268420355604772114840563198129853608420495266726118601295666 +/- 5.93e-152]",
      "f": 6,
      "generator_bits": 422,
      "number": "-0.5577159681016880217528292825922807070073500571537038177268368023169834300117400887475495205268420356"
    },
    {
      "D": -399,
      "Delta": -399,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8131755998876083705302227189944790852737026501579336974356547396830021698375732005952002410117373585950383357546221604945255816936663439700530232859663 +/- 6.76e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.8131755998876083705302227189944790852737026501579336974356547396830021698375732005952002410117373586"
    },
    {
      "D": -4,
      "Delta": -400,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3325271745544730035975873863270907061699318786834873866359885517280221190930373557179398999053697136950876119152301912557293069580666378420347253002159 +/- 7.09e-152]",
      "f": 10,
      "generator_bits": 423,
      "number": "-0.3325271745544730035975873863270907061699318786834873866359885517280221190930373557179398999053697137"
    },
    {
      "D": -403,
      "Delta": -403,
      "class_number": 2,
      "eta_bits": 501,
      "eta_enclosure": "[0.4724035893968094460287536847751378130780824550522394096294732761644998242201959888770927368730606676576696969291190831626956093714441542922566770514538 +/- 6.15e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "0.4724035893968094460287536847751378130780824550522394096294732761644998242201959888770927368730606677"
    },
    {
      "D": -404,
      "Delta": -404,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8293894385113873496285293900145814819527358715091155847833567570304682958354714008709974664579606833170049077364042572519595426792352511593934058948145 +/- 3.04e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.8293894385113873496285293900145814819527358715091155847833567570304682958354714008709974664579606833"
    },
    {
      "D": -407,
      "Delta": -407,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7778034982555779267886709519727327421813516502908659990586854624229406316639759484235492508616828728983619448004218907995603625511052470786726633894148 +/- 4.28e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7778034982555779267886709519727327421813516502908659990586854624229406316639759484235492508616828729"
    },
    {
      "D": -408,
      "Delta": -408,
      "class_number": 4,
      "eta_bits": 499,
      "eta_enclosure": "[0.0978765666855567499791445422334542983412891909653052910464100372002952034890255988194028456732820693058163655771303595814998362250249087233395350816574 +/- 4.77e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "0.09787656668555674997914454223345429834128919096530529104641003720029520348902559881940284567328206931"
    },
    {
      "D": -411,
      "Delta": -411,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5258128132152894723636647071318801762757526994604879202963881805517255207225699282006182547246151731416755773613765173780017730280385910935534838087034 +/- 5.01e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5258128132152894723636647071318801762757526994604879202963881805517255207225699282006182547246151731"
    },
    {
      "D": -103,
      "Delta": -412,
      "class_number": 5,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5592323908386490957749873355917535477287114583390291104297028249886343292017804640698080433587340443108487763171538921576879306796187719821880881879479 +/- 5.48e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.5592323908386490957749873355917535477287114583390291104297028249886343292017804640698080433587340443"
    },
    {
      "D": -415,
      "Delta": -415,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5916559523492574542753900020904663048715463040498157991831561831980421380380866597632874281088728236449847382886642033025119451581459099482938150321807 +/- 6.02e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5916559523492574542753900020904663048715463040498157991831561831980421380380866597632874281088728236"
    },
    {
      "D": -104,
      "Delta": -416,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8288082040799005712302235582326093849651013614193677885757497012324608872311123800115988770172519788807889600111538398304311372511356756131537271353806 +/- 5.82e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.8288082040799005712302235582326093849651013614193677885757497012324608872311123800115988770172519789"
    },
    {
      "D": -419,
      "Delta": -419,
      "class_number": 9,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7067504305644972512691746959574216705469623043104827102952406626094051249259135900087606777005190548425898760557190567993710680969929502608867872009332 +/- 5.23e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7067504305644972512691746959574216705469623043104827102952406626094051249259135900087606777005190548"
    },
    {
      "D": -420,
      "Delta": -420,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5629576274912836102072093935812952466403541485460977706238003077143529529246665673227816029879238333102207845500294819777568951245709491650345417106328 +/- 4.20e-152]",
      "f": 1,
      "generator_bits": 420,
      "number": "-0.5629576274912836102072093935812952466403541485460977706238003077143529529246665673227816029879238333"
    },
    {
      "D": -47,
      "Delta": -423,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5886478234954447224819494819110366300491897693252391316372962829901625775685624077325977971251352846292918076234211054060403080690107891877500071483222 +/- 3.42e-152]",
      "f": 3,
      "generator_bits": 421,
      "number": "-0.5886478234954447224819494819110366300491897693252391316372962829901625775685624077325977971251352846"
    },
    {
      "D": -424,
      "Delta": -424,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4068817208193268687079460082918254947093042748489292563682154046630656934329187221842849021666705726269692178600906867925176755913629145371246804613610 +/- 5.71e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4068817208193268687079460082918254947093042748489292563682154046630656934329187221842849021666705726"
    },
    {
      "D": -427,
      "Delta": -427,
      "class_number": 2,
      "eta_bits": 502,
      "eta_enclosure": "[0.5722081637314125648010312365325495333803650936578045619368279529423721981320307433610456070292752454203802678772829140342437137996352127761007375929172 +/- 6.36e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "0.5722081637314125648010312365325495333803650936578045619368279529423721981320307433610456070292752454"
    },
    {
      "D": -107,
      "Delta": -428,
      "class_number": 9,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6732833776502383239500346830884916359715290750795500450921379703128170176665592409072300051508382572439077226604851124472366798033512265332182164881716 +/- 5.25e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.6732833776502383239500346830884916359715290750795500450921379703128170176665592409072300051508382572"
    },
    {
      "D": -431,
      "Delta": -431,
      "class_number": 21,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8648000110323097037875620609042086579705902540763015403089489472104403414731449599740348459924604941726226106823513435974506379660143025487620919088136 +/- 4.49e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.8648000110323097037875620609042086579705902540763015403089489472104403414731449599740348459924604942"
    },
    {
      "D": -3,
      "Delta": -432,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6083397419253620298161713894848932781829561671589603915717369954155363917868339931913824965047263804614690693531517128711863857823907319390263105324223 +/- 2.98e-152]",
      "f": 12,
      "generator_bits": 423,
      "number": "-0.6083397419253620298161713894848932781829561671589603915717369954155363917868339931913824965047263805"
    },
    {
      "D": -435,
      "Delta": -435,
      "class_number": 4,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1552426260648723635299087165957753141845488025089110906570501213828961252287302557294327232184030618253518560546485377427614270097439898981079539196035 +/- 7.53e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.1552426260648723635299087165957753141845488025089110906570501213828961252287302557294327232184030618"
    },
    {
      "D": -436,
      "Delta": -436,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3868970348253630058222949285824394983222052433164601282326621314579777874629402978314592839084788186927668008148027662189807609045892559258785046568908 +/- 7.75e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3868970348253630058222949285824394983222052433164601282326621314579777874629402978314592839084788187"
    },
    {
      "D": -439,
      "Delta": -439,
      "class_number": 15,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7884299490808348196116416045208587087743594115347734219115005670749335679876460297527514318291048868439211634083807461730084474346618313416460927024076 +/- 2.96e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7884299490808348196116416045208587087743594115347734219115005670749335679876460297527514318291048868"
    },
    {
      "D": -440,
      "Delta": -440,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7211855332976649404788308940368010556303853589229969242053097694592634669364099376548169317353042296531364483127937219326509081473081023579212938360540 +/- 3.97e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.7211855332976649404788308940368010556303853589229969242053097694592634669364099376548169317353042297"
    },
    {
      "D": -443,
      "Delta": -443,
      "class_number": 5,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2739724502038761646044688100030736443396966222959069151202764255839349082819285523469172861910689729021922298009482812835190919408381743402726468503595 +/- 5.99e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.2739724502038761646044688100030736443396966222959069151202764255839349082819285523469172861910689729"
    },
    {
      "D": -111,
      "Delta": -444,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6776766200309631437327159713740914102725826137432207293631275639877922156978399312129292322085179952750560326780777671339551861741046928488949981026406 +/- 4.15e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.6776766200309631437327159713740914102725826137432207293631275639877922156978399312129292322085179953"
    },
    {
      "D": -447,
      "Delta": -447,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7072140117845653642729795357956247093860206096181693016968987723308738819803190738567737867334700686668547140119186104501615042965783052587846066807054 +/- 7.18e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7072140117845653642729795357956247093860206096181693016968987723308738819803190738567737867334700687"
    },
    {
      "D": -7,
      "Delta": -448,
      "class_number": 4,
      "eta_bits": 500,
      "eta_enclosure": "[-0.2458951554795327792748017133999640955611699503099673986441893960162782545335118039645721681443349373821559838012064610381647797780193326784011581524881 +/- 7.99e-152]",
      "f": 8,
      "generator_bits": 421,
      "number": "-0.2458951554795327792748017133999640955611699503099673986441893960162782545335118039645721681443349374"
    },
    {
      "D": -451,
      "Delta": -451,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5813197609829604068399786297371545940588471429749581670566057594526762143167208765189783480034097782560554049726844283361118148206210847899315280562745 +/- 7.44e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5813197609829604068399786297371545940588471429749581670566057594526762143167208765189783480034097783"
    },
    {
      "D": -452,
      "Delta": -452,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4464346724447746525263852742508107391363151477734533645846425464761825127349755442507522391430486461313420572953961722256278942507118850239398259590846 +/- 4.06e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.4464346724447746525263852742508107391363151477734533645846425464761825127349755442507522391430486461"
    },
    {
      "D": -455,
      "Delta": -455,
      "class_number": 20,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8267707110550308105360043039070346334673250510522191957613978625653045880884581795220045341722916197127443278904536297701382154181442333542340378878638 +/- 3.15e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.8267707110550308105360043039070346334673250510522191957613978625653045880884581795220045341722916197"
    },
    {
      "D": -456,
      "Delta": -456,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4925292995143865428686213916088153819175747191417008007405702741969055011626532733609443820635075214538894051497058712552438707749109664378668196132685 +/- 6.48e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.4925292995143865428686213916088153819175747191417008007405702741969055011626532733609443820635075215"
    },
    {
      "D": -51,
      "Delta": -459,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5875529557215804061657950640518516318552684334067293331040145535381966082207090056456024795792116737614195945496219612348566937411656041766984443391587 +/- 4.27e-152]",
      "f": 3,
      "generator_bits": 421,
      "number": "-0.5875529557215804061657950640518516318552684334067293331040145535381966082207090056456024795792116738"
    },
    {
      "D": -115,
      "Delta": -460,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4763440546698810496222393579087240014584779318087261198739518556225229972125773825062955180870918956449791521185178662288950054238096273772118357073495 +/- 6.62e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.4763440546698810496222393579087240014584779318087261198739518556225229972125773825062955180870918956"
    },
    {
      "D": -463,
      "Delta": -463,
      "class_number": 7,
      "eta_bits": 500,
      "eta_enclosure": "[-0.2186589840709535971943243893481604641162088585062726553893135002073264791173210891169327650984478836841066158943462526911182214571648812108235367211064 +/- 4.05e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.2186589840709535971943243893481604641162088585062726553893135002073264791173210891169327650984478837"
    },
    {
      "D": -116,
      "Delta": -464,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7908881359981839012066537348357799622124939808541380420925598001459752165234055523958523910198537526226482687971427340534051151016423328090847160836892 +/- 5.52e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.7908881359981839012066537348357799622124939808541380420925598001459752165234055523958523910198537526"
    },
    {
      "D": -467,
      "Delta": -467,
      "class_number": 7,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5212169365121315239735589312993374986325486987345774338960598463627544527790524532357806352949046731525332650685692383915686696731832601879587066548395 +/- 4.41e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5212169365121315239735589312993374986325486987345774338960598463627544527790524532357806352949046732"
    },
    {
      "D": -52,
      "Delta": -468,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6152899044496671879392294464643236179524182532234409140143294141094613990628006268742332611374842149062550099287812349824308008425077628135504505376159 +/- 6.00e-152]",
      "f": 3,
      "generator_bits": 421,
      "number": "-0.6152899044496671879392294464643236179524182532234409140143294141094613990628006268742332611374842149"
    },
    {
      "D": -471,
      "Delta": -471,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7379721737961293970101562615843360635311116556308296396374695916321989148924421855313981042941998625429996308168501928070656296377881624840674193819942 +/- 3.22e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7379721737961293970101562615843360635311116556308296396374695916321989148924421855313981042941998625"
    },
    {
      "D": -472,
      "Delta": -472,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3849476174549868702992804639122697881326531018603091039200077960673917113391304830483085533932853622770584034785889063081927680684587165941146217137719 +/- 4.96e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3849476174549868702992804639122697881326531018603091039200077960673917113391304830483085533932853623"
    },
    {
      "D": -19,
      "Delta": -475,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2815394484653347511061526294513269015878635704293966972623904889827190888142429742334858808671556300879653748224630536553486619634496340009065535108763 +/- 7.14e-152]",
      "f": 5,
      "generator_bits": 420,
      "number": "-0.2815394484653347511061526294513269015878635704293966972623904889827190888142429742334858808671556301"
    },
    {
      "D": -119,
      "Delta": -476,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7052541955502297134219567348972966538105088027094272234102072043607826813450943451266901921070191439812190910343077665960355933181699112984994830101141 +/- 2.73e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.7052541955502297134219567348972966538105088027094272234102072043607826813450943451266901921070191440"
    },
    {
      "D": -479,
      "Delta": -479,
      "class_number": 25,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8931841097198927274001856778631740517932554189503865200163191774142084558441900889494769773706272230323834765845603166563011834064810965900698513726636 +/- 5.96e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.8931841097198927274001856778631740517932554189503865200163191774142084558441900889494769773706272230"
    },
    {
      "D": -120,
      "Delta": -480,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6313881278237418879224064858221831981359061567172571542588072742467342130094915124346384986971124112914186444918569660357398910283449234676635436896620 +/- 3.62e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.6313881278237418879224064858221831981359061567172571542588072742467342130094915124346384986971124113"
    },
    {
      "D": -483,
      "Delta": -483,
      "class_number": 4,
      "eta_bits": 499,
      "eta_enclosure": "[-0.1009983492219490705077105049780649110038106889003682674040979111216797030921495790978505886084576816286537002058730654590612860262232882553915243761845 +/- 3.27e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "-0.1009983492219490705077105049780649110038106889003682674040979111216797030921495790978505886084576816"
    },
    {
      "D": -4,
      "Delta": -484,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3114098955788551248931319258192581263592297336005529047814126210340543418087746198198665423666330278911062478945064780880728691489202638330449919673561 +/- 3.18e-152]",
      "f": 11,
      "generator_bits": 423,
      "number": "-0.3114098955788551248931319258192581263592297336005529047814126210340543418087746198198665423666330279"
    },
    {
      "D": -487,
      "Delta": -487,
      "class_number": 7,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1745847065444047595979188871711111684209131646020403764462628330234081859476740755043598733639172822221664086599690181903421107932408409963529891750967 +/- 3.49e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.1745847065444047595979188871711111684209131646020403764462628330234081859476740755043598733639172822"
    },
    {
      "D": -488,
      "Delta": -488,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5612584254034114694641561162773870620602647676937061336324910071903068538851144939160154740408577257872399568349549493279589722699792489307610869619428 +/- 3.74e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5612584254034114694641561162773870620602647676937061336324910071903068538851144939160154740408577258"
    },
    {
      "D": -491,
      "Delta": -491,
      "class_number": 9,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6372347720155206556591567289349934056372000844434199068764485480963266783415134298547265035488008388816861159854015473010126823722088284216947802478260 +/- 7.37e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6372347720155206556591567289349934056372000844434199068764485480963266783415134298547265035488008389"
    },
    {
      "D": -123,
      "Delta": -492,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3685172229080814795010651984606497575922899158223961601923568963445291471884912797504331122010366917054334661743537467365174862769981800139052522001836 +/- 7.62e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.3685172229080814795010651984606497575922899158223961601923568963445291471884912797504331122010366917"
    },
    {
      "D": -55,
      "Delta": -495,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7808290420946462943366341771631483290393956854308576441976630746164793941649048987787536996052163966672461968152128231647084850585529705441276369625215 +/- 5.75e-152]",
      "f": 3,
      "generator_bits": 421,
      "number": "-0.7808290420946462943366341771631483290393956854308576441976630746164793941649048987787536996052163967"
    },
    {
      "D": -31,
      "Delta": -496,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4538459029597776627956024568275030471709866197426703263326911294574363722713218034491028285657823600161835251111917022556353149959222109872823350261400 +/- 4.57e-152]",
      "f": 4,
      "generator_bits": 420,
      "number": "-0.4538459029597776627956024568275030471709866197426703263326911294574363722713218034491028285657823600"
    },
    {
      "D": -499,
      "Delta": -499,
      "class_number": 3,
      "eta_bits": 500,
      "eta_enclosure": "[0.2211643253979052904704282939736165709491036966898516849907043520395314151276087129481909522087329799104199550445775374623070419446761895967684245593149 +/- 6.48e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "0.2211643253979052904704282939736165709491036966898516849907043520395314151276087129481909522087329799"
    },
    {
      "D": -20,
      "Delta": -500,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5459602980983479522538266295793005641979240482387537755575362741002840723629111862970699613403253549422492358727448016410752922078314774907078782786683 +/- 6.58e-152]",
      "f": 5,
      "generator_bits": 423,
      "number": "-0.5459602980983479522538266295793005641979240482387537755575362741002840723629111862970699613403253549"
    },
    {
      "D": -503,
      "Delta": -503,
      "class_number": 21,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8148836979768815957387439521485969709727211518983297275766364528604189726603193179566858727487013798257756152501699764680194550898313436904572147944688 +/- 7.06e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.8148836979768815957387439521485969709727211518983297275766364528604189726603193179566858727487013798"
    },
    {
      "D": -56,
      "Delta": -504,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5260385842879958533086434182673039640462182041379203418391697600256657589260312360533043357377361118710369191684671687504725150458539427713832431019985 +/- 5.33e-152]",
      "f": 3,
      "generator_bits": 421,
      "number": "-0.5260385842879958533086434182673039640462182041379203418391697600256657589260312360533043357377361119"
    },
    {
      "D": -3,
      "Delta": -507,
      "class_number": 4,
      "eta_bits": 498,
      "eta_enclosure": "[-0.0386427496972695469631254750721641613672357812332342776674523560429989668490125835857320798872683427771640568390416501697190700629200103176476124733428 +/- 4.51e-152]",
      "f": 13,
      "generator_bits": 419,
      "number": "-0.03864274969726954696312547507216416136723578123323427766745235604299896684901258358573207988726834278"
    },
    {
      "D": -127,
      "Delta": -508,
      "class_number": 5,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4646426878792594902394788214599841250712461213495139601171368830248941190700527433306231911881846322276672470614318002695703669797841883926642438303401 +/- 3.68e-152]",
      "f": 2,
      "generator_bits": 418,
      "number": "-0.4646426878792594902394788214599841250712461213495139601171368830248941190700527433306231911881846322"
    },
    {
      "D": -511,
      "Delta": -511,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6788661651136929128799097626272188555493834720076153588512566556382039462104037047424916672195387053321438682325322287967679894050263004940520727360234 +/- 6.13e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.6788661651136929128799097626272188555493834720076153588512566556382039462104037047424916672195387053"
    },
    {
      "D": -8,
      "Delta": -512,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5339377467148838652720086283880082737636350807270668657030523941711589073369102227715665952516152868385629296819182723791946889562421386464933584109426 +/- 5.28e-152]",
      "f": 8,
      "generator_bits": 423,
      "number": "-0.5339377467148838652720086283880082737636350807270668657030523941711589073369102227715665952516152868"
    },
    {
      "D": -515,
      "Delta": -515,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3005529922244945285776541962272859935820431134774664551303211856940704231648842384993196909338686773165754581186856950935258613060291590502918675741863 +/- 7.21e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3005529922244945285776541962272859935820431134774664551303211856940704231648842384993196909338686773"
    },
    {
      "D": -516,
      "Delta": -516,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6956038912346142490185465306624627012357519660413072793468504697794594686926418683492559505722981304703798178423814217187245387517234723409138839198116 +/- 5.92e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "-0.6956038912346142490185465306624627012357519660413072793468504697794594686926418683492559505722981305"
    },
    {
      "D": -519,
      "Delta": -519,
      "class_number": 18,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7570782574318751349697226094078115072951245030183930728020453820464469771869425122090638635723683740824918568551660524289023058427814336177783706427268 +/- 5.38e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7570782574318751349697226094078115072951245030183930728020453820464469771869425122090638635723683741"
    },
    {
      "D": -520,
      "Delta": -520,
      "class_number": 4,
      "eta_bits": 500,
      "eta_enclosure": "[0.2077483998737259651398326420357328166710901597206218241232551378897010552517711573825353343545476534842520076169923363052214348959997061626765735515453 +/- 4.49e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "0.2077483998737259651398326420357328166710901597206218241232551378897010552517711573825353343545476535"
    },
    {
      "D": -523,
      "Delta": -523,
      "class_number": 5,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4306526982062692440466727374506722271558457761055176132163535389106930161921332863184690863620694842648729367209710072989730271984984710532912129643967 +/- 2.85e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.4306526982062692440466727374506722271558457761055176132163535389106930161921332863184690863620694843"
    },
    {
      "D": -131,
      "Delta": -524,
      "class_number": 15,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8146276542544229339853372431341263851143719090870284810413796969566809805052030507193052807674161674239392919065979735497885857495921236058041807655075 +/- 4.79e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.8146276542544229339853372431341263851143719090870284810413796969566809805052030507193052807674161674"
    },
    {
      "D": -527,
      "Delta": -527,
      "class_number": 18,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7163692904917310613550447241343207280090194545936859017565140688273744431732126982105353931918236980661948170430085010809992083073656435386424400866494 +/- 3.41e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7163692904917310613550447241343207280090194545936859017565140688273744431732126982105353931918236981"
    },
    {
      "D": -132,
      "Delta": -528,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5880669638859838500791914048504485517712322161885607651871736658478052093052382044542693143153345102996246241548666535725004883297372847166347896022726 +/- 3.48e-152]",
      "f": 2,
      "generator_bits": 421,
      "number": "-0.5880669638859838500791914048504485517712322161885607651871736658478052093052382044542693143153345103"
    },
    {
      "D": -59,
      "Delta": -531,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4777862522092174542691725320550165755486367211000405007660475761074702942162114441982475976473093669702593885839771281099103462515121831134206764161997 +/- 6.75e-152]",
      "f": 3,
      "generator_bits": 419,
      "number": "-0.4777862522092174542691725320550165755486367211000405007660475761074702942162114441982475976473093670"
    },
    {
      "D": -532,
      "Delta": -532,
      "class_number": 4,
      "eta_bits": 500,
      "eta_enclosure": "[0.1844149454907476746683536882417846243752759455690398112348460267696684677801804373872526277502717485162743448881587955129890817568053330936354663842359 +/- 4.45e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "0.1844149454907476746683536882417846243752759455690398112348460267696684677801804373872526277502717485"
    },
    {
      "D": -535,
      "Delta": -535,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6682072817454733325890892603694145796041060125326414770691545501942424402668827425143640051235416813512688324348706379388176565288034478549486860111931 +/- 5.60e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.6682072817454733325890892603694145796041060125326414770691545501942424402668827425143640051235416814"
    },
    {
      "D": -536,
      "Delta": -536,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7065995810859806160765122350938129469485622392352146800505403870506371179658884890568014384673648825890153642559256765807433170064929211666291506354500 +/- 6.19e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7065995810859806160765122350938129469485622392352146800505403870506371179658884890568014384673648826"
    },
    {
      "D": -11,
      "Delta": -539,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4928303366333245962721499758387139220631052515319231402753593311580370650839677160316293487959927052557310041932695224645538758976786382764628469045363 +/- 7.00e-152]",
      "f": 7,
      "generator_bits": 421,
      "number": "-0.4928303366333245962721499758387139220631052515319231402753593311580370650839677160316293487959927053"
    },
    {
      "D": -15,
      "Delta": -540,
      "class_number": 6,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5218060366376973617991195923487253824006273406262003504838247599776372681025023558984272517038660283084145406805904239081695067472775459037565610868573 +/- 7.58e-152]",
      "f": 6,
      "generator_bits": 423,
      "number": "-0.5218060366376973617991195923487253824006273406262003504838247599776372681025023558984272517038660283"
    },
    {
      "D": -543,
      "Delta": -543,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4956483988895244655508535731472021000144832524407606717466228013178666983847798959814366527596554612858973844390841461445627014689852357528665584831231 +/- 7.34e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4956483988895244655508535731472021000144832524407606717466228013178666983847798959814366527596554613"
    },
    {
      "D": -136,
      "Delta": -544,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6067622784873968479222365800090467116409133393669476994378648449352703190427699772734761203785973425572603422905506027090005940874446191981421992425193 +/- 3.98e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.6067622784873968479222365800090467116409133393669476994378648449352703190427699772734761203785973426"
    },
    {
      "D": -547,
      "Delta": -547,
      "class_number": 3,
      "eta_bits": 500,
      "eta_enclosure": "[0.1441980689046519984339830629504659429854032706647434072852624701100151243913913642056384292118826849765735351862914712535230891021030549725018056334986 +/- 5.07e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "0.1441980689046519984339830629504659429854032706647434072852624701100151243913913642056384292118826850"
    },
    {
      "D": -548,
      "Delta": -548,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3033176056663655311313477238859332468136631728192019833492378619335013202790562347620342515909690801478267508130028981405307816898948984598627918453737 +/- 5.00e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3033176056663655311313477238859332468136631728192019833492378619335013202790562347620342515909690801"
    },
    {
      "D": -551,
      "Delta": -551,
      "class_number": 26,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8543896262141732181160169517817472065768806529932101759642343427527828892859999067251419159556702665900829368986017302850563778589110993130152309546915 +/- 3.01e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.8543896262141732181160169517817472065768806529932101759642343427527828892859999067251419159556702666"
    },
    {
      "D": -552,
      "Delta": -552,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4059637717848678020749477792326220659811076980283561787399854216437086128129385103199159216323147787680154062458056443802192688536820122823349685887384 +/- 5.40e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.4059637717848678020749477792326220659811076980283561787399854216437086128129385103199159216323147788"
    },
    {
      "D": -555,
      "Delta": -555,
      "class_number": 4,
      "eta_bits": 499,
      "eta_enclosure": "[0.0694407348250806281795058276254641818390657965387046947149760797922036641319966143498043938908434310337068279267349954292103751890232035460111714928300 +/- 7.61e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "0.06944073482508062817950582762546418183906579653870469471497607979220366413199661434980439389084343103"
    },
    {
      "D": -139,
      "Delta": -556,
      "class_number": 9,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6318646584208986414295213778606459734075143875789699540253856431799413674581381181209282696506936736955944232447672455438961980570167398376006291607693 +/- 4.29e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.6318646584208986414295213778606459734075143875789699540253856431799413674581381181209282696506936737"
    },
    {
      "D": -559,
      "Delta": -559,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7095043402685147068121014088206871442384492312609765631967878778996336488160533729439193426236570105016244227147793861572436797709157413893087374488238 +/- 5.16e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7095043402685147068121014088206871442384492312609765631967878778996336488160533729439193426236570105"
    },
    {
      "D": -35,
      "Delta": -560,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7253467653190904587251428868242185780440779383895592107766420082493312074552735964597613770652980469049493437490325936261912305100024136114990136445303 +/- 5.89e-152]",
      "f": 4,
      "generator_bits": 421,
      "number": "-0.7253467653190904587251428868242185780440779383895592107766420082493312074552735964597613770652980469"
    },
    {
      "D": -563,
      "Delta": -563,
      "class_number": 9,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5991131035083536191422586157292688771192255124432216655380235465729117846168277296145632713998579597264369159588077175525022340330997034777088648235690 +/- 5.92e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5991131035083536191422586157292688771192255124432216655380235465729117846168277296145632713998579597"
    },
    {
      "D": -564,
      "Delta": -564,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3415323572503072834799759132881449533921368675732970245469942073257878295548673652673321910477556253910899818650958578141783309921005249378079398029679 +/- 4.00e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.3415323572503072834799759132881449533921368675732970245469942073257878295548673652673321910477556254"
    },
    {
      "D": -7,
      "Delta": -567,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5532077338740442824704864043055451445760931133018506453354131878313724920089812327909566554298082428365115192880905791437810573143695152999149630327625 +/- 4.65e-152]",
      "f": 9,
      "generator_bits": 422,
      "number": "-0.5532077338740442824704864043055451445760931133018506453354131878313724920089812327909566554298082428"
    },
    {
      "D": -568,
      "Delta": -568,
      "class_number": 4,
      "eta_bits": 500,
      "eta_enclosure": "[0.2335988197476543647773452214683994663864486748208396103136684907436326499805503649852114270777427855971240305748296717446275905302067656193276101420417 +/- 7.52e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "0.2335988197476543647773452214683994663864486748208396103136684907436326499805503649852114270777427856"
    },
    {
      "D": -571,
      "Delta": -571,
      "class_number": 5,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2967237769699022798062639782605169096403772988197518799961801516624060029432622502535383909848532471549332997256054070323236066272989525181700059683936 +/- 6.46e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.2967237769699022798062639782605169096403772988197518799961801516624060029432622502535383909848532472"
    },
    {
      "D": -143,
      "Delta": -572,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6512657580154556627801878266967248824892249851929282046639989507332578819175758447721474121498581221895005950442945470029245302406723535942574327668504 +/- 5.93e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.6512657580154556627801878266967248824892249851929282046639989507332578819175758447721474121498581222"
    },
    {
      "D": -23,
      "Delta": -575,
      "class_number": 18,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6706189244723753743425481680247803306068226979195644472171391598931071731564599187509827588862289959748130434741854007814065043872632670239892324291381 +/- 3.87e-152]",
      "f": 5,
      "generator_bits": 421,
      "number": "-0.6706189244723753743425481680247803306068226979195644472171391598931071731564599187509827588862289960"
    },
    {
      "D": -4,
      "Delta": -576,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6026628658945162770176936981627368867425473659769631643633839104957154314035784779624041526248694890698277007768844991198672384278370470277010816093928 +/- 4.87e-152]",
      "f": 12,
      "generator_bits": 424,
      "number": "-0.6026628658945162770176936981627368867425473659769631643633839104957154314035784779624041526248694891"
    },
    {
      "D": -579,
      "Delta": -579,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5361919819762182658502670642053194814066859810733033823162050842920737998496349183743766211128169018203252259324174583223574611693604298474628234429481 +/- 3.53e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5361919819762182658502670642053194814066859810733033823162050842920737998496349183743766211128169018"
    },
    {
      "D": -580,
      "Delta": -580,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4643852639964545186459312585333370365331073162454391138260699331363375860856526807141283203377599495100296948770485553336967718839074739658303978675840 +/- 4.41e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.4643852639964545186459312585333370365331073162454391138260699331363375860856526807141283203377599495"
    },
    {
      "D": -583,
      "Delta": -583,
      "class_number": 8,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1691268676763499402401032950346255627761617847779032783050770245240277156180761029843900346014955905454543351578102908280073107595008813609523542730235 +/- 5.59e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.1691268676763499402401032950346255627761617847779032783050770245240277156180761029843900346014955905"
    },
    {
      "D": -584,
      "Delta": -584,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7309538127865515271073140217940842516579470777970613182991151899530225969749680663766983035653022339094807627968856956994096721857941711354066113530697 +/- 3.69e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7309538127865515271073140217940842516579470777970613182991151899530225969749680663766983035653022339"
    },
    {
      "D": -587,
      "Delta": -587,
      "class_number": 7,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3657808113534359790465028490369146659191575572818191639490126655925613030585352701334109454372860635565046625748425008258668728614185820546955316750632 +/- 3.30e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.3657808113534359790465028490369146659191575572818191639490126655925613030585352701334109454372860636"
    },
    {
      "D": -3,
      "Delta": -588,
      "class_number": 6,
      "eta_bits": 500,
      "eta_enclosure": "[-0.2326378238070570442009874705568708376054106997623646992938333681570424321402339201240462744808408757415953922790689929073423511407813886434803223589745 +/- 6.15e-152]",
      "f": 14,
      "generator_bits": 421,
      "number": "-0.2326378238070570442009874705568708376054106997623646992938333681570424321402339201240462744808408757"
    },
    {
      "D": -591,
      "Delta": -591,
      "class_number": 22,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7953105966482859194367010160630710869662566956011429245368522826740175421393142701982564866068739899648550376515071133287721996083347071154446035962468 +/- 7.49e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7953105966482859194367010160630710869662566956011429245368522826740175421393142701982564866068739900"
    },
    {
      "D": -148,
      "Delta": -592,
      "class_number": 4,
      "eta_bits": 495,
      "eta_enclosure": "[-0.0053376994722850285632201718264715028954611075171720278072278553557577745363549901930488314607063645541649144189579888386585312582498696562745704425109 +/- 5.38e-152]",
      "f": 2,
      "generator_bits": 413,
      "number": "-0.005337699472285028563220171826471502895461107517172027807227855355757774536354990193048831460706364554"
    },
    {
      "D": -595,
      "Delta": -595,
      "class_number": 4,
      "eta_bits": 498,
      "eta_enclosure": "[-0.0575300548050566906406277158606447088783549714403990798930504629370896417872783305638420300942572919745135058760104201893303689183344626024334676687931 +/- 3.80e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "-0.05753005480505669064062771586064470887835497144039907989305046293708964178727833056384203009425729197"
    },
    {
      "D": -596,
      "Delta": -596,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6503785026717964822857942491760946384940898322248173355466510484114754485915789996245517549345128189516474080054238121260334701658029380870834865208715 +/- 7.54e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.6503785026717964822857942491760946384940898322248173355466510484114754485915789996245517549345128190"
    },
    {
      "D": -599,
      "Delta": -599,
      "class_number": 25,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8074526251415522560265963631668119637043549220001823078776272833081720729291547026507036301238651893671624194812742676620719610358278649058019758539976 +/- 4.57e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.8074526251415522560265963631668119637043549220001823078776272833081720729291547026507036301238651894"
    },
    {
      "D": -24,
      "Delta": -600,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3454433311949865447072222481206385008646019998157445781989422618955839436452136385795294974492991268951431956394031050997635154088069794055128343744133 +/- 7.57e-152]",
      "f": 5,
      "generator_bits": 422,
      "number": "-0.3454433311949865447072222481206385008646019998157445781989422618955839436452136385795294974492991269"
    },
    {
      "D": -67,
      "Delta": -603,
      "class_number": 4,
      "eta_bits": 499,
      "eta_enclosure": "[-0.1249032142273957665790181470488205768730748009715464956722010239074818488992022455514252841272492278786486545419840345911240442786058486884810572621465 +/- 4.76e-152]",
      "f": 3,
      "generator_bits": 416,
      "number": "-0.1249032142273957665790181470488205768730748009715464956722010239074818488992022455514252841272492279"
    },
    {
      "D": -151,
      "Delta": -604,
      "class_number": 7,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5393958342975555604523957632387832018788186122126987885566521249666939192058793487248318390450413565948058412200487582058787146613681739608010679000411 +/- 7.01e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.5393958342975555604523957632387832018788186122126987885566521249666939192058793487248318390450413566"
    },
    {
      "D": -607,
      "Delta": -607,
      "class_number": 13,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5698532708746920339754834636913293066938104234134949016029019246128818826426429959318389066320068326281665268721738783664193969765691697344661952453065 +/- 5.85e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5698532708746920339754834636913293066938104234134949016029019246128818826426429959318389066320068326"
    },
    {
      "D": -152,
      "Delta": -608,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6901554893179788363210126631159003095978685269704261924254295988008525128303900707138597107323064461997275948139298015057958618130241811771316856725744 +/- 3.12e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.6901554893179788363210126631159003095978685269704261924254295988008525128303900707138597107323064462"
    },
    {
      "D": -611,
      "Delta": -611,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5884570125266634812324052227785460660597239008253292868604492855113304957806721339376319703675310503045778515695077047739820793109372507429587476169243 +/- 3.72e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5884570125266634812324052227785460660597239008253292868604492855113304957806721339376319703675310503"
    },
    {
      "D": -68,
      "Delta": -612,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4662891072367171959852748321176126923198376888840340358325572383082534997516197054476308307518538712421274550702978636152136394731954400910685696717628 +/- 3.88e-152]",
      "f": 3,
      "generator_bits": 420,
      "number": "-0.4662891072367171959852748321176126923198376888840340358325572383082534997516197054476308307518538712"
    },
    {
      "D": -615,
      "Delta": -615,
      "class_number": 20,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7409018970865284738454498253990106425768623042989437745066771042653501838595145383442362872097227936309857157116708811157433264061816109182574330374863 +/- 7.37e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.7409018970865284738454498253990106425768623042989437745066771042653501838595145383442362872097227936"
    },
    {
      "D": -616,
      "Delta": -616,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3977451905232801364714514691561390409629012963270338252897827146853948813914927021206203872495245958609759671986015470705897519715402004897145626577373 +/- 7.14e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.3977451905232801364714514691561390409629012963270338252897827146853948813914927021206203872495245959"
    },
    {
      "D": -619,
      "Delta": -619,
      "class_number": 5,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1912894913475436666884585673655678340852526012025648628279503063530723345236018087305599891986286619055097719259548577977810622311628526792638653172067 +/- 5.93e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "-0.1912894913475436666884585673655678340852526012025648628279503063530723345236018087305599891986286619"
    },
    {
      "D": -155,
      "Delta": -620,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6399593373789544070193550118429953029736401345206800392403799104465511519113737350454719401341875993812421272947899616810140317217342663847256932492298 +/- 4.96e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.6399593373789544070193550118429953029736401345206800392403799104465511519113737350454719401341875994"
    },
    {
      "D": -623,
      "Delta": -623,
      "class_number": 22,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7447401256235520018247457835804316599844006224926999920786702984141065764282104464549110392581747004566029991043748217276373857650992018566859710957210 +/- 7.05e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7447401256235520018247457835804316599844006224926999920786702984141065764282104464549110392581747005"
    },
    {
      "D": -39,
      "Delta": -624,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4504411980363224250496833489808584569542899991671560303555242369576629888309883226700231570349835497099598339598381840100285330595705095261660746948830 +/- 6.17e-152]",
      "f": 4,
      "generator_bits": 421,
      "number": "-0.4504411980363224250496833489808584569542899991671560303555242369576629888309883226700231570349835497"
    },
    {
      "D": -627,
      "Delta": -627,
      "class_number": 4,
      "eta_bits": 499,
      "eta_enclosure": "[0.1158078185429919106519705009996997308498966652884263031310053379960303838279000485046739754158546910993692158350612793360902058352038365127682344792664 +/- 6.79e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "0.1158078185429919106519705009996997308498966652884263031310053379960303838279000485046739754158546911"
    },
    {
      "D": -628,
      "Delta": -628,
      "class_number": 6,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1727332354183575012401349450099236528998901903287933602424172798495145397651881940360613818604454329239778480513025225982086022252488529254431773194942 +/- 4.23e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.1727332354183575012401349450099236528998901903287933602424172798495145397651881940360613818604454329"
    },
    {
      "D": -631,
      "Delta": -631,
      "class_number": 13,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5093202593122075243304215988354261189343594736714140180424535673349820032077826736675706315235461744688269752238119493085808613909428688412536494726574 +/- 7.33e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5093202593122075243304215988354261189343594736714140180424535673349820032077826736675706315235461745"
    },
    {
      "D": -632,
      "Delta": -632,
      "class_number": 8,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1846917147658147025308446611332514929592577118761109152708307949077395297626868385533226285077179215995144606553771660321342220591081424918643124721023 +/- 5.69e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.1846917147658147025308446611332514929592577118761109152708307949077395297626868385533226285077179216"
    },
    {
      "D": -635,
      "Delta": -635,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5737704499899799408857503156370218454904176091472381455814710973789034326073865979068153090500994495650011275742190996452127644569635409971055182245371 +/- 3.11e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5737704499899799408857503156370218454904176091472381455814710973789034326073865979068153090500994496"
    },
    {
      "D": -159,
      "Delta": -636,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6314160658961757801058501359196504038477877036350399012402478866314129134501048125638276769384694270189743950277430103188828543769476160679342813696157 +/- 7.10e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.6314160658961757801058501359196504038477877036350399012402478866314129134501048125638276769384694270"
    },
    {
      "D": -71,
      "Delta": -639,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5562228254580264507012281670383630477140232799568842418321731497463595535865845225222673439256765954844843869135901205810452171944281653092174799434856 +/- 6.15e-152]",
      "f": 3,
      "generator_bits": 420,
      "number": "-0.5562228254580264507012281670383630477140232799568842418321731497463595535865845225222673439256765955"
    },
    {
      "D": -40,
      "Delta": -640,
      "class_number": 8,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5651475486732079783783156079336372657194738969949454615666112347710029194783642065869817747954974702344822526559103790137530273599433037868412296001320 +/- 4.00e-152]",
      "f": 4,
      "generator_bits": 422,
      "number": "-0.5651475486732079783783156079336372657194738969949454615666112347710029194783642065869817747954974702"
    },
    {
      "D": -643,
      "Delta": -643,
      "class_number": 3,
      "eta_bits": 501,
      "eta_enclosure": "[0.3859094131169166715336822362091215425538589190897011829203556105572154304729634723661358019490039378930446551949808317240269211319451582754970514697086 +/- 4.29e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "0.3859094131169166715336822362091215425538589190897011829203556105572154304729634723661358019490039379"
    },
    {
      "D": -644,
      "Delta": -644,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6873141355986835455374558576364525158403608263666961197910676329911888645657167037592465525783528174158331828925342588032097968708791553560733890713726 +/- 7.45e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.6873141355986835455374558576364525158403608263666961197910676329911888645657167037592465525783528174"
    },
    {
      "D": -647,
      "Delta": -647,
      "class_number": 23,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7472531902176402559963152722970663599991673134295460429607027821312635622841591579279210662156613535966424194433754035813282538122978248449698257526660 +/- 2.74e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7472531902176402559963152722970663599991673134295460429607027821312635622841591579279210662156613536"
    },
    {
      "D": -8,
      "Delta": -648,
      "class_number": 6,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1717943373917160651325725205147951726963634156620886214715805706203953374611018912291806253715780535639694742003167602288675499808046325422877692137876 +/- 4.78e-152]",
      "f": 9,
      "generator_bits": 421,
      "number": "-0.1717943373917160651325725205147951726963634156620886214715805706203953374611018912291806253715780536"
    },
    {
      "D": -651,
      "Delta": -651,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4764191598484386088627374588280781604905278862774280524187402508028505263490453825292511589496637444084142134143896539536009634109946972485262656659635 +/- 5.71e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4764191598484386088627374588280781604905278862774280524187402508028505263490453825292511589496637444"
    },
    {
      "D": -163,
      "Delta": -652,
      "class_number": 3,
      "eta_bits": 501,
      "eta_enclosure": "[0.6932143363566374445291406111907353347338222568096067101410577139264557897498047101985383083385524550876439912633628410756368649473740252391094718228895 +/- 5.31e-152]",
      "f": 2,
      "generator_bits": 418,
      "number": "0.6932143363566374445291406111907353347338222568096067101410577139264557897498047101985383083385524551"
    },
    {
      "D": -655,
      "Delta": -655,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4469011176319391056796202290863238753352157180399730684345667182842990577177845506433009866536093660981354193137360316359253970586463126133617413667855 +/- 6.60e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.4469011176319391056796202290863238753352157180399730684345667182842990577177845506433009866536093661"
    },
    {
      "D": -164,
      "Delta": -656,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7716675955411019261237205072720187227784507297715563562552342963328733583943693005039118228535045532599191092817380261161681750989325939158210983046204 +/- 4.59e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.7716675955411019261237205072720187227784507297715563562552342963328733583943693005039118228535045533"
    },
    {
      "D": -659,
      "Delta": -659,
      "class_number": 11,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6137931812029624472335861444755995021485432161109113367026069371810828777641107232981013748601562325153949200593808085234426427791400497055622354254398 +/- 7.37e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6137931812029624472335861444755995021485432161109113367026069371810828777641107232981013748601562325"
    },
    {
      "D": -660,
      "Delta": -660,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2605923797234524944485904180778393438618848592524335761064386551030006577245344709338111150538441278674017607723036614680041272212681638357280725072952 +/- 7.56e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.2605923797234524944485904180778393438618848592524335761064386551030006577245344709338111150538441279"
    },
    {
      "D": -663,
      "Delta": -663,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5774505866593880356377833019212949229740585568690312370519705689491770248734817506678892892625456834494578452630681973290614667646896982794531047547373 +/- 6.64e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5774505866593880356377833019212949229740585568690312370519705689491770248734817506678892892625456834"
    },
    {
      "D": -664,
      "Delta": -664,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5259636552990613872152837687412408146332944566385294242732526682356060375802477552775785585317252339096958887213797971615574591828656117204641759638545 +/- 6.54e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5259636552990613872152837687412408146332944566385294242732526682356060375802477552775785585317252339"
    },
    {
      "D": -667,
      "Delta": -667,
      "class_number": 4,
      "eta_bits": 499,
      "eta_enclosure": "[-0.0690174059409749557582706726715721777353291684971863578324270540684975751164665582080988228860055385211639380572898360518322137275933217164113340637328 +/- 4.25e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "-0.06901740594097495575827067267157217773532916849718635783242705406849757511646655820809882288600553852"
    },
    {
      "D": -167,
      "Delta": -668,
      "class_number": 11,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6305572516651963943561767946167688512393342979533104480991779468276060688145688282678806035077853410503601093565460670255204447668685476890744579729073 +/- 4.21e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.6305572516651963943561767946167688512393342979533104480991779468276060688145688282678806035077853411"
    },
    {
      "D": -671,
      "Delta": -671,
      "class_number": 30,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8383681636156651811999234941082350651353588238714947225834556925223606185152893256879232029750267470766555445413646095593619622234268848690812545266952 +/- 3.24e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.8383681636156651811999234941082350651353588238714947225834556925223606185152893256879232029750267471"
    },
    {
      "D": -168,
      "Delta": -672,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4538478756599567880226156212649235594939272576579073051144814188574272715818339018269716338082593972306592981972069634597651110209656013057445000336322 +/- 5.42e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.4538478756599567880226156212649235594939272576579073051144814188574272715818339018269716338082593972"
    },
    {
      "D": -3,
      "Delta": -675,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4184340280606345596578676724719190157121724495829154446611943696708402068691287627842695339718758539658143755228652014381211441571615718176647737024186 +/- 3.04e-152]",
      "f": 15,
      "generator_bits": 422,
      "number": "-0.4184340280606345596578676724719190157121724495829154446611943696708402068691287627842695339718758540"
    },
    {
      "D": -4,
      "Delta": -676,
      "class_number": 6,
      "eta_bits": 497,
      "eta_enclosure": "[-0.0280582471807411502255313625220693655489736170277065029129597445067276847770848272346853389808194465959420376348492833232466123856752150741970672383704 +/- 4.46e-152]",
      "f": 13,
      "generator_bits": 419,
      "number": "-0.02805824718074115022553136252206936554897361702770650291295974450672768477708482723468533898081944660"
    },
    {
      "D": -679,
      "Delta": -679,
      "class_number": 18,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6886421651398176081717228854993851106008530623887699514722343948146629828901339816885952915849924129415118529127815201347899719878521461979001877131617 +/- 5.73e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6886421651398176081717228854993851106008530623887699514722343948146629828901339816885952915849924129"
    },
    {
      "D": -680,
      "Delta": -680,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4857253353865242721229171386118521507176969694293208690084619706994845204456345067168979959976245059200518175187837773454313126858173640040156823959764 +/- 7.01e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4857253353865242721229171386118521507176969694293208690084619706994845204456345067168979959976245059"
    },
    {
      "D": -683,
      "Delta": -683,
      "class_number": 5,
      "eta_bits": 499,
      "eta_enclosure": "[0.1210534695036314607935533837097185302516281445472151439982408136389521625286100453290686172682347509918548684655538422359442215027147975521449291944901 +/- 3.28e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "0.1210534695036314607935533837097185302516281445472151439982408136389521625286100453290686172682347510"
    },
    {
      "D": -19,
      "Delta": -684,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6960808024220332973215156332574265338428749190479256529315941830615360723684704955625049933775759653672891055634029210473377434823363203859547162266438 +/- 4.84e-152]",
      "f": 6,
      "generator_bits": 421,
      "number": "-0.6960808024220332973215156332574265338428749190479256529315941830615360723684704955625049933775759654"
    },
    {
      "D": -687,
      "Delta": -687,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3268543859773765067855138418519803610812282328780060441057040906508687405806834334121219603062980139267783473333772128194980861335447931877495333733132 +/- 4.06e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.3268543859773765067855138418519803610812282328780060441057040906508687405806834334121219603062980139"
    },
    {
      "D": -43,
      "Delta": -688,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3682965258405285423131834452709210769295878818811283207990803137561780418903976621471873747701928219876066067777232654934881928533266103322200070516107 +/- 6.24e-152]",
      "f": 4,
      "generator_bits": 419,
      "number": "-0.3682965258405285423131834452709210769295878818811283207990803137561780418903976621471873747701928220"
    },
    {
      "D": -691,
      "Delta": -691,
      "class_number": 5,
      "eta_bits": 499,
      "eta_enclosure": "[-0.0945878474089473798696248437360270795732785856510331328131202116574265210773622013775838957690153367162693984106023385644278033619392788056149615396233 +/- 6.70e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "-0.09458784740894737986962484373602707957327858565103313281312021165742652107736220137758389576901533672"
    },
    {
      "D": -692,
      "Delta": -692,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5999020093121920794108990315881350192673023247869329900472644501785049243873430547513570806316047456233777916978987425082627819480196633528359151233965 +/- 4.74e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5999020093121920794108990315881350192673023247869329900472644501785049243873430547513570806316047456"
    },
    {
      "D": -695,
      "Delta": -695,
      "class_number": 24,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7296166055563287124116311830850332663069993242995910082990120204789262672113904919099553131694457834320390170148803454422672590975024487898250173525707 +/- 5.84e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7296166055563287124116311830850332663069993242995910082990120204789262672113904919099553131694457834"
    },
    {
      "D": -696,
      "Delta": -696,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5279851541587552639603863563704663042673564573729331410999481927658498415831081698219337225900258588820986556555446762109607198270675452158126999287274 +/- 5.36e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5279851541587552639603863563704663042673564573729331410999481927658498415831081698219337225900258589"
    },
    {
      "D": -699,
      "Delta": -699,
      "class_number": 10,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5925933189939679836641234854950068718729074811323731361955152811529942724257356813449194882625457964119174951851156011268243162948157532738656822061949 +/- 3.88e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5925933189939679836641234854950068718729074811323731361955152811529942724257356813449194882625457964"
    },
    {
      "D": -7,
      "Delta": -700,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4025630318947779638251140571160781171281362999140500787939867750182788806006539313603908691096937546575020304812052924719422982706692378355559566983019 +/- 3.64e-152]",
      "f": 10,
      "generator_bits": 421,
      "number": "-0.4025630318947779638251140571160781171281362999140500787939867750182788806006539313603908691096937547"
    },
    {
      "D": -703,
      "Delta": -703,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5382035640763529774210785015427544502922770277523819613819344794978299272722299130474540205946813910865160454488816194727767548805504617321357607683398 +/- 4.21e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5382035640763529774210785015427544502922770277523819613819344794978299272722299130474540205946813911"
    },
    {
      "D": -11,
      "Delta": -704,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5871617270157838853875278099599111332744702352948871030036739620156853601437735354799599026863940642979611152516072383839052227781961886653637580012239 +/- 2.73e-152]",
      "f": 8,
      "generator_bits": 422,
      "number": "-0.5871617270157838853875278099599111332744702352948871030036739620156853601437735354799599026863940643"
    },
    {
      "D": -707,
      "Delta": -707,
      "class_number": 6,
      "eta_bits": 499,
      "eta_enclosure": "[-0.0629451848709534759468102652876519787915178742521463404403647059447480524743663322092359509104374351989414870630183602333321133209445420333782307425004 +/- 3.56e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "-0.06294518487095347594681026528765197879151787425214634044036470594474805247436633220923595091043743520"
    },
    {
      "D": -708,
      "Delta": -708,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[0.7990392412795533058614879090456958204124692498530246589952176378226188929389432053413312151122991220696854890773285341052595260765761709910217092255637 +/- 4.13e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "0.7990392412795533058614879090456958204124692498530246589952176378226188929389432053413312151122991221"
    },
    {
      "D": -79,
      "Delta": -711,
      "class_number": 20,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7291362777315862623263298282809133375410420635320577749313210645510968933636116579659491494016459671315238103031821569876894189550106948484445768934357 +/- 5.85e-152]",
      "f": 3,
      "generator_bits": 420,
      "number": "-0.7291362777315862623263298282809133375410420635320577749313210645510968933636116579659491494016459671"
    },
    {
      "D": -712,
      "Delta": -712,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3735849031665745451129713120366244104533822718937980897976345047246477350059596535668562574803605222357095855828585897105379068781602425060784901597231 +/- 5.75e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3735849031665745451129713120366244104533822718937980897976345047246477350059596535668562574803605222"
    },
    {
      "D": -715,
      "Delta": -715,
      "class_number": 4,
      "eta_bits": 499,
      "eta_enclosure": "[0.0799774867128755206819407857609678544713321831213102376445083398303668539681760749923354379102264484997876453526382104751909588457660362281246940752935 +/- 6.27e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "0.07997748671287552068194078576096785447133218312131023764450833983036685396817607499233543791022644850"
    },
    {
      "D": -179,
      "Delta": -716,
      "class_number": 15,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6831137269236872676873252813875292160879123969577385546315719919765079889441813412660939469327398714359462216663391846194181166748123996115502404765001 +/- 5.41e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.6831137269236872676873252813875292160879123969577385546315719919765079889441813412660939469327398714"
    },
    {
      "D": -719,
      "Delta": -719,
      "class_number": 31,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8247528112007062760397360050369224241228258217667275318990300071837461463611925002355886109507552347959710860235348660547406620948512212098590542342141 +/- 2.79e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.8247528112007062760397360050369224241228258217667275318990300071837461463611925002355886109507552348"
    },
    {
      "D": -20,
      "Delta": -720,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4671425235979469290421997140439686256655442774447223249250782614978601153442461298108498034216264829827503722933094224963595121276565554207767563023614 +/- 3.63e-152]",
      "f": 6,
      "generator_bits": 422,
      "number": "-0.4671425235979469290421997140439686256655442774447223249250782614978601153442461298108498034216264830"
    },
    {
      "D": -723,
      "Delta": -723,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[0.2661625319919073691052034648646759762227565826202618168895146054910556680591961443894357117671708656100402509701291696591604505545162842491699737497179 +/- 7.82e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "0.2661625319919073691052034648646759762227565826202618168895146054910556680591961443894357117671708656"
    },
    {
      "D": -724,
      "Delta": -724,
      "class_number": 10,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4711058870129023691643335791762617507247205497823375243848272677197234990513624820428570577055173679394684470836378696498094174072005759200852127405702 +/- 3.23e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4711058870129023691643335791762617507247205497823375243848272677197234990513624820428570577055173679"
    },
    {
      "D": -727,
      "Delta": -727,
      "class_number": 13,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4594124768439876307796213823491165231223917484170827631009914754910440172632451681378150337625764045547787192188093365243191164900615208358608045863541 +/- 5.19e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.4594124768439876307796213823491165231223917484170827631009914754910440172632451681378150337625764046"
    },
    {
      "D": -728,
      "Delta": -728,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4593112745753146440462095549997696708504281180921417505528163105216810653761419795400464471472894957445386849991985175352075393794188021056821957405383 +/- 5.55e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4593112745753146440462095549997696708504281180921417505528163105216810653761419795400464471472894957"
    },
    {
      "D": -731,
      "Delta": -731,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5942693589299623889491749914836355686776312923265246675496468373425083719897787269850512401316566409801691191803429138640205201127364968290027548745917 +/- 5.37e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5942693589299623889491749914836355686776312923265246675496468373425083719897787269850512401316566410"
    },
    {
      "D": -183,
      "Delta": -732,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4926812239620553023390838428136461133779869973473165755247834794819099399892371472600515279323991591255632009153626223011540039970377809861344291896089 +/- 7.52e-152]",
      "f": 2,
      "generator_bits": 418,
      "number": "-0.4926812239620553023390838428136461133779869973473165755247834794819099399892371472600515279323991591"
    },
    {
      "D": -15,
      "Delta": -735,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5048674172446307575583101199274631693736341534873798491167915697102397282948600605721922298362009123863404888856675441805718611771709477231096378005775 +/- 4.39e-152]",
      "f": 7,
      "generator_bits": 423,
      "number": "-0.5048674172446307575583101199274631693736341534873798491167915697102397282948600605721922298362009124"
    },
    {
      "D": -184,
      "Delta": -736,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4460792588076536256583264916512310145439366248155343205528958628418734373464265297359291984246425057924925907793364667483833305371046737304420642658584 +/- 6.32e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.4460792588076536256583264916512310145439366248155343205528958628418734373464265297359291984246425058"
    },
    {
      "D": -739,
      "Delta": -739,
      "class_number": 5,
      "eta_bits": 499,
      "eta_enclosure": "[-0.0894105055497729276942247533876431451183281358601639386579056448016830213579357375691349823238338596058514541136457396558935679794357510399207665354424 +/- 6.92e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "-0.08941050554977292769422475338764314511832813586016393865790564480168302135793573756913498232383385961"
    },
    {
      "D": -740,
      "Delta": -740,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6304671923448104633465832179567458484160170026665016415958065715777266632775545933907521695233495637164789363871626123735175918876538258350084800410069 +/- 5.82e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.6304671923448104633465832179567458484160170026665016415958065715777266632775545933907521695233495637"
    },
    {
      "D": -743,
      "Delta": -743,
      "class_number": 21,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6295032560137817601826800228082955963863147411151141991421485435461502683675550278347779120333666250747991641472963818817532244844819511406649840318087 +/- 6.53e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.6295032560137817601826800228082955963863147411151141991421485435461502683675550278347779120333666251"
    },
    {
      "D": -744,
      "Delta": -744,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5082891510130902636809048872992503293084674641673484522539287055386662648590995758918827438058434702210794587512826793029976133071585601346592667975817 +/- 6.87e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5082891510130902636809048872992503293084674641673484522539287055386662648590995758918827438058434702"
    },
    {
      "D": -83,
      "Delta": -747,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3553966164340161284036232425328584832369108220999211648429081900510823371438247759207911153134936852100309331101389978932136704084617033747349430595194 +/- 3.38e-152]",
      "f": 3,
      "generator_bits": 419,
      "number": "-0.3553966164340161284036232425328584832369108220999211648429081900510823371438247759207911153134936852"
    },
    {
      "D": -187,
      "Delta": -748,
      "class_number": 6,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1508595896987383025123129752296017361085210786543974270185035533697458912393051438969083949770260755585102709619279471609655600954350796340021167681202 +/- 5.43e-152]",
      "f": 2,
      "generator_bits": 417,
      "number": "-0.1508595896987383025123129752296017361085210786543974270185035533697458912393051438969083949770260756"
    },
    {
      "D": -751,
      "Delta": -751,
      "class_number": 15,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5127619492219112071423448060072858261985107638473203822676782312453689844278192619731054170902263040176803952097990396283883019769340019044839756683783 +/- 7.10e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5127619492219112071423448060072858261985107638473203822676782312453689844278192619731054170902263040"
    },
    {
      "D": -47,
      "Delta": -752,
      "class_number": 10,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4448067872695542587623399789141229142974349138763586033839634403155161022081721755635423475355826414812753411358293525435387899462179185412437373320708 +/- 7.38e-152]",
      "f": 4,
      "generator_bits": 420,
      "number": "-0.4448067872695542587623399789141229142974349138763586033839634403155161022081721755635423475355826415"
    },
    {
      "D": -755,
      "Delta": -755,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6057739736622983258129250380027168011092645907947622753419167931217264722282877819399846611371220377986857699523244123195206239545732289204310887380416 +/- 3.41e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6057739736622983258129250380027168011092645907947622753419167931217264722282877819399846611371220378"
    },
    {
      "D": -84,
      "Delta": -756,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5891835507803577112158195380420955294368513744039702197619522927720357262718820450132541639234605528351783204041783497292939522689752246838928196652356 +/- 3.74e-152]",
      "f": 3,
      "generator_bits": 421,
      "number": "-0.5891835507803577112158195380420955294368513744039702197619522927720357262718820450132541639234605528"
    },
    {
      "D": -759,
      "Delta": -759,
      "class_number": 24,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7251597747701644544514984117233466952499074103264540251421440763075207865862059577769204384079357983206802453877557506866251285820634172350958331583591 +/- 4.53e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7251597747701644544514984117233466952499074103264540251421440763075207865862059577769204384079357983"
    },
    {
      "D": -760,
      "Delta": -760,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[0.6738898236877079889744152734735370882323803554155496369475231397882998779259555331057109579347756163521716793816563217685944486609154591315890499100197 +/- 7.32e-152]",
      "f": 1,
      "generator_bits": 419,
      "number": "0.6738898236877079889744152734735370882323803554155496369475231397882998779259555331057109579347756164"
    },
    {
      "D": -763,
      "Delta": -763,
      "class_number": 4,
      "eta_bits": 499,
      "eta_enclosure": "[0.0770312004801681131945607544261637895200929362176173322995910010260820239195657818983968088320944891004382208823063559832096453242006744031967807468825 +/- 3.77e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "0.07703120048016811319456075442616378952009293621761733229959100102608202391956578189839680883209448910"
    },
    {
      "D": -191,
      "Delta": -764,
      "class_number": 13,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6356712695127741929450898886585065845601355245257012061710132410802990032666356292838016893477288681621526979495759014573824434144473947230537212847895 +/- 5.88e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.6356712695127741929450898886585065845601355245257012061710132410802990032666356292838016893477288682"
    },
    {
      "D": -767,
      "Delta": -767,
      "class_number": 22,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6429105636637485023151576526181777252916572381122633742727036290776159930629471125804260565580416928214592638449896724751809460393806868546731114579068 +/- 5.83e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6429105636637485023151576526181777252916572381122633742727036290776159930629471125804260565580416928"
    },
    {
      "D": -3,
      "Delta": -768,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3680400551581131145411750288498306826660570688679868614610400983213150703028874393274573369874373917915411164821383181016675569847458743086403242483307 +/- 3.20e-152]",
      "f": 16,
      "generator_bits": 422,
      "number": "-0.3680400551581131145411750288498306826660570688679868614610400983213150703028874393274573369874373918"
    },
    {
      "D": -771,
      "Delta": -771,
      "class_number": 6,
      "eta_bits": 499,
      "eta_enclosure": "[-0.0789058666285389550568621720556920991463232000315781986514203002578001902943026010265494035471011882717946248939167419160234323971886451892284304865796 +/- 4.63e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "-0.07890586662853895505686217205569209914632320003157819865142030025780019029430260102654940354710118827"
    },
    {
      "D": -772,
      "Delta": -772,
      "class_number": 4,
      "eta_bits": 502,
      "eta_enclosure": "[0.5907476133071610171022984559671662545911228067587365451510927282381047151532570966682293193286751629562495606692106297908077463023740952465160399880181 +/- 6.44e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "0.5907476133071610171022984559671662545911228067587365451510927282381047151532570966682293193286751630"
    },
    {
      "D": -31,
      "Delta": -775,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3422741273026727849124549116725857954836860769686667194970471932137405003871876367398992165156112421582018546209046065394588326170180034444981974690432 +/- 7.10e-152]",
      "f": 5,
      "generator_bits": 420,
      "number": "-0.3422741273026727849124549116725857954836860769686667194970471932137405003871876367398992165156112422"
    },
    {
      "D": -776,
      "Delta": -776,
      "class_number": 20,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7199081056325093531750865650635406454972353692884077300323550004678124072424682949081117888276481123514125194807049609237484619845132805896039448465659 +/- 7.14e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7199081056325093531750865650635406454972353692884077300323550004678124072424682949081117888276481124"
    },
    {
      "D": -779,
      "Delta": -779,
      "class_number": 10,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4397164335716859828707057547099256638886457040905629343441945144417896558709971525365423429941205912954084433803528271807765152506502675188808058171526 +/- 6.90e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.4397164335716859828707057547099256638886457040905629343441945144417896558709971525365423429941205913"
    },
    {
      "D": -195,
      "Delta": -780,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5795381549616864925325741265449132187272151451671456160534028797951491393213830067945939243304652938930298306867030318119630141223397981965897520940454 +/- 6.43e-152]",
      "f": 2,
      "generator_bits": 420,
      "number": "-0.5795381549616864925325741265449132187272151451671456160534028797951491393213830067945939243304652939"
    },
    {
      "D": -87,
      "Delta": -783,
      "class_number": 18,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6506608075851407069244139580228808460828533653500648087295461661747376642762633529494470583910091275872061547955336165520984699112512169850454704348035 +/- 7.04e-152]",
      "f": 3,
      "generator_bits": 420,
      "number": "-0.6506608075851407069244139580228808460828533653500648087295461661747376642762633529494470583910091276"
    },
    {
      "D": -4,
      "Delta": -784,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4075298248757807014834597741489921273188257822245483019200411912385191644148402626126349019815076964726726280988937948636949024760998058756706743232613 +/- 5.86e-152]",
      "f": 14,
      "generator_bits": 423,
      "number": "-0.4075298248757807014834597741489921273188257822245483019200411912385191644148402626126349019815076965"
    },
    {
      "D": -787,
      "Delta": -787,
      "class_number": 5,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1340839287477469364948890412955800993633499124527524870120261474129869217393071874801762111794174220475537670594206148217129219600876071258564900461431 +/- 2.76e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "-0.1340839287477469364948890412955800993633499124527524870120261474129869217393071874801762111794174220"
    },
    {
      "D": -788,
      "Delta": -788,
      "class_number": 10,
      "eta_bits": 500,
      "eta_enclosure": "[-0.2411469587625596538458868897970132528013907174044285241242462264860342087505513618299708899932625937269720816972109052100647195815749684430969218025527 +/- 3.17e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.2411469587625596538458868897970132528013907174044285241242462264860342087505513618299708899932625937"
    },
    {
      "D": -791,
      "Delta": -791,
      "class_number": 32,
      "eta_bits": 502,
      "eta_enclosure": "[-0.8033428596141345924222691962926057569140668184755777473496510592975469356736612012087287466313410833734221060215559034273250531871670519876603066606306 +/- 4.35e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.8033428596141345924222691962926057569140668184755777473496510592975469356736612012087287466313410834"
    },
    {
      "D": -88,
      "Delta": -792,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3207754522008384217239480307274190773784840074918211126229648247945233827740425993668943686962215587231600249696377920253650609988672215357742066171209 +/- 4.23e-152]",
      "f": 3,
      "generator_bits": 420,
      "number": "-0.3207754522008384217239480307274190773784840074918211126229648247945233827740425993668943686962215587"
    },
    {
      "D": -795,
      "Delta": -795,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[0.4674180575859875603775137765342108281968298423310400132168858933051802549221502929202906477209815930686816755777413962899663272311078837248767078539105 +/- 5.84e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "0.4674180575859875603775137765342108281968298423310400132168858933051802549221502929202906477209815931"
    },
    {
      "D": -199,
      "Delta": -796,
      "class_number": 9,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5351635911936871709767035564442511461958868864560137507072251897178201658017325707236708504263568153387888185217328477195754524994351775347508593847411 +/- 5.02e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.5351635911936871709767035564442511461958868864560137507072251897178201658017325707236708504263568153"
    },
    {
      "D": -799,
      "Delta": -799,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5229108898355735614570511767503651883956245480198459880728420461568587675908084259469793720064019757221791063743863681433673221271017837107219104094314 +/- 6.48e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5229108898355735614570511767503651883956245480198459880728420461568587675908084259469793720064019757"
    },
    {
      "D": -8,
      "Delta": -800,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5606405267751393043065899493307141888164451551386016857052222713931482292847345909912859224051456001997836986705601002379061724046873943242045311908249 +/- 3.89e-152]",
      "f": 10,
      "generator_bits": 423,
      "number": "-0.5606405267751393043065899493307141888164451551386016857052222713931482292847345909912859224051456002"
    },
    {
      "D": -803,
      "Delta": -803,
      "class_number": 10,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4682899545228153790373015914496957350445183631231694135697385999233672003245493865455951868507160837384331106809671736571583231354544754378119838455853 +/- 2.85e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.4682899545228153790373015914496957350445183631231694135697385999233672003245493865455951868507160837"
    },
    {
      "D": -804,
      "Delta": -804,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4326978299192013775313705037572204594845096774253740133734440486686184618157067739422627207689001831200988474682608313045051556793323674276756229592394 +/- 6.32e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4326978299192013775313705037572204594845096774253740133734440486686184618157067739422627207689001831"
    },
    {
      "D": -807,
      "Delta": -807,
      "class_number": 14,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3541475979135941599512288197074793307110799086948814827577672122013773577147586361601515461271089094433432968595722546856900942754587185267739116854660 +/- 4.32e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.3541475979135941599512288197074793307110799086948814827577672122013773577147586361601515461271089094"
    },
    {
      "D": -808,
      "Delta": -808,
      "class_number": 6,
      "eta_bits": 498,
      "eta_enclosure": "[0.0479497863627432378754667120456837697679685938268047050596080805037528373968089294960900547309930663106252362420174756025642097820797869171473022114764 +/- 5.19e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "0.04794978636274323787546671204568376976796859382680470505960808050375283739680892949609005473099306631"
    },
    {
      "D": -811,
      "Delta": -811,
      "class_number": 7,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3263159937071147936827525619045055271046244266097420251486427464428433357956909497986652093205334297400188988147320923639935551822772531163101942634748 +/- 3.11e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.3263159937071147936827525619045055271046244266097420251486427464428433357956909497986652093205334297"
    },
    {
      "D": -203,
      "Delta": -812,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4996104750821394306314842817545229086475240919059629338069561278948370444171518135112293675340747757543356356383734711705850861876160444011075087631590 +/- 7.20e-152]",
      "f": 2,
      "generator_bits": 418,
      "number": "-0.4996104750821394306314842817545229086475240919059629338069561278948370444171518135112293675340747758"
    },
    {
      "D": -815,
      "Delta": -815,
      "class_number": 30,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7676690921956844502188279192256685181391295026808506058800850460078950107908260655445507769021590933236812464162554902592969289456595725751494126349105 +/- 6.09e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7676690921956844502188279192256685181391295026808506058800850460078950107908260655445507769021590933"
    },
    {
      "D": -51,
      "Delta": -816,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6071834616643109819222607489636052493666818855008515232885726600039978949753979701338760676855796929197421970613225736154699350319300455051997095869302 +/- 6.44e-152]",
      "f": 4,
      "generator_bits": 421,
      "number": "-0.6071834616643109819222607489636052493666818855008515232885726600039978949753979701338760676855796929"
    },
    {
      "D": -91,
      "Delta": -819,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4443398999496468591684858052497865907742108161781898290275585911338217865731421054568698346806110712355826679799261909523494738737208693865375928661334 +/- 5.33e-152]",
      "f": 3,
      "generator_bits": 419,
      "number": "-0.4443398999496468591684858052497865907742108161781898290275585911338217865731421054568698346806110712"
    },
    {
      "D": -820,
      "Delta": -820,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2592698851152871833093103595547916402006787576581633128471930342148802897256711838722534671634877835477818536178968455165582966885003193278887664880148 +/- 6.62e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.2592698851152871833093103595547916402006787576581633128471930342148802897256711838722534671634877835"
    },
    {
      "D": -823,
      "Delta": -823,
      "class_number": 9,
      "eta_bits": 493,
      "eta_enclosure": "[0.0011345825360084338232280305022500488065377530504305671595730880723940202157126826635874482423275361570775525873451375910869275710251500141541243013626 +/- 6.93e-152]",
      "f": 1,
      "generator_bits": 408,
      "number": "0.001134582536008433823228030502250048806537753050430567159573088072394020215712682663587448242327536157"
    },
    {
      "D": -824,
      "Delta": -824,
      "class_number": 20,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6905179800186781608640143789701247443848376933979617439675887805942911897223287443299949711061919422147139256248719449051071789789865899445414855019543 +/- 4.89e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6905179800186781608640143789701247443848376933979617439675887805942911897223287443299949711061919422"
    },
    {
      "D": -827,
      "Delta": -827,
      "class_number": 7,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1301277126987479283014303852723321543109343263697726966869748249211530295118879699174525172433243326727428348827698256693696880541839726360255171827463 +/- 4.13e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "-0.1301277126987479283014303852723321543109343263697726966869748249211530295118879699174525172433243327"
    },
    {
      "D": -23,
      "Delta": -828,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3112184940030479988032292665764917407538611365842346682603346188190562114648606657212878440122134780764827227714929793432877438995271672348243683237581 +/- 7.33e-152]",
      "f": 6,
      "generator_bits": 420,
      "number": "-0.3112184940030479988032292665764917407538611365842346682603346188190562114648606657212878440122134781"
    },
    {
      "D": -831,
      "Delta": -831,
      "class_number": 28,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7678721120623787320337752703946011238875516059042926505390891293505991758765275538254434387777033801136740198300113865667039504810238236118163838231462 +/- 4.92e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7678721120623787320337752703946011238875516059042926505390891293505991758765275538254434387777033801"
    },
    {
      "D": -52,
      "Delta": -832,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4567259887667287924022706797835946890671033087039687431225779915854639586363936713389726204681555573894965915574140228344693517516415611706682317855358 +/- 6.30e-152]",
      "f": 4,
      "generator_bits": 420,
      "number": "-0.4567259887667287924022706797835946890671033087039687431225779915854639586363936713389726204681555574"
    },
    {
      "D": -835,
      "Delta": -835,
      "class_number": 6,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2755796077145497013206872799440610012998970957894076251540053883602617115384597931212967188422066799103449892782557639627906061950990495813636317678475 +/- 6.81e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.2755796077145497013206872799440610012998970957894076251540053883602617115384597931212967188422066799"
    },
    {
      "D": -836,
      "Delta": -836,
      "class_number": 20,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6833954199471339851168901806714144159260811680200746944179797715741291855129314426986288128629207729687744882847587094955612444007724405167312504189133 +/- 4.76e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6833954199471339851168901806714144159260811680200746944179797715741291855129314426986288128629207730"
    },
    {
      "D": -839,
      "Delta": -839,
      "class_number": 33,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7884381781764336888484230183182440756793861149112875473421206489704716213514023808383454721083702654347252942016701785324133221486670732090315792972912 +/- 5.40e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7884381781764336888484230183182440756793861149112875473421206489704716213514023808383454721083702654"
    },
    {
      "D": -840,
      "Delta": -840,
      "class_number": 8,
      "eta_bits": 498,
      "eta_enclosure": "[-0.0345230161786180939798831356856844935965113272850177498646534069254162139754467326936557623321345059517510376089908946321624572879384277389183429180572 +/- 5.88e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "-0.03452301617861809397988313568568449359651132728501774986465340692541621397544673269365576233213450595"
    },
    {
      "D": -843,
      "Delta": -843,
      "class_number": 6,
      "eta_bits": 499,
      "eta_enclosure": "[-0.0787097816052099930526319862604977545927347250451981312688805757532829433268084403073533485609992012341725274698279325303594801083876716109291888057630 +/- 5.09e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "-0.07870978160520999305263198626049775459273472504519813126888057575328294332680844030735334856099920123"
    },
    {
      "D": -211,
      "Delta": -844,
      "class_number": 9,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4026429583367892271434056944785010231486564471965843791331859243977550323255053560679530304087300321255650832075703086926887269279947998782658136998071 +/- 4.68e-152]",
      "f": 2,
      "generator_bits": 417,
      "number": "-0.4026429583367892271434056944785010231486564471965843791331859243977550323255053560679530304087300321"
    },
    {
      "D": -7,
      "Delta": -847,
      "class_number": 10,
      "eta_bits": 499,
      "eta_enclosure": "[-0.0866682899202654713696781066046642977635667248816416922159255556910818755314355208358398046376455729878003423879934903775652755523586348162725130845401 +/- 4.02e-152]",
      "f": 11,
      "generator_bits": 420,
      "number": "-0.08666828992026547136967810660466429776356672488164169221592555569108187553143552083583980463764557299"
    },
    {
      "D": -212,
      "Delta": -848,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5292360561413192453713777884991674723703216236101998678747815480112203162717989923522609134229212316378579461133387704664817545457656321299600469727923 +/- 4.89e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.5292360561413192453713777884991674723703216236101998678747815480112203162717989923522609134229212316"
    },
    {
      "D": -851,
      "Delta": -851,
      "class_number": 10,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3811368482362343701775930580464669043847590347631403021596091451708685539022570934190876491097833590192703768652963257157146963321024507268676804525255 +/- 5.75e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.3811368482362343701775930580464669043847590347631403021596091451708685539022570934190876491097833590"
    },
    {
      "D": -852,
      "Delta": -852,
      "class_number": 8,
      "eta_bits": 498,
      "eta_enclosure": "[-0.0617622401684008449011763006553822443801131439341118397501357704065033640961512201140393100624505530458455185180241439600476744514654204687098567231589 +/- 7.59e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "-0.06176224016840084490117630065538224438011314393411183975013577040650336409615122011403931006245055305"
    },
    {
      "D": -95,
      "Delta": -855,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5091464212252028569851912137738879402768533797575050661916793694885513505675788641683417557610202612792934411891394183240872155184820541601361124011008 +/- 4.49e-152]",
      "f": 3,
      "generator_bits": 420,
      "number": "-0.5091464212252028569851912137738879402768533797575050661916793694885513505675788641683417557610202613"
    },
    {
      "D": -856,
      "Delta": -856,
      "class_number": 6,
      "eta_bits": 500,
      "eta_enclosure": "[0.2111964851500775081237817136193163452216625248188466884363650584506016357612235925939592775392518404583957772931844537032291892568100210580137796976662 +/- 5.78e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "0.2111964851500775081237817136193163452216625248188466884363650584506016357612235925939592775392518405"
    },
    {
      "D": -859,
      "Delta": -859,
      "class_number": 7,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2893265231790183283257602489077140396955789010436008790176902728012227591142109089307658876121503664262834823254914634795777475342350074671206408764221 +/- 4.61e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.2893265231790183283257602489077140396955789010436008790176902728012227591142109089307658876121503664"
    },
    {
      "D": -215,
      "Delta": -860,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6236130548190373481468556239574046413981717955947218847567478067417905019654799001874573799156726523020421784408770519645620909260680244815190797645909 +/- 3.90e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.6236130548190373481468556239574046413981717955947218847567478067417905019654799001874573799156726523"
    },
    {
      "D": -863,
      "Delta": -863,
      "class_number": 21,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5429203892699379332112712449494866926752311954649131139386576883290241743597919876429708512446596576987000396765667404326398273721139270165970711181315 +/- 4.91e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.5429203892699379332112712449494866926752311954649131139386576883290241743597919876429708512446596577"
    },
    {
      "D": -24,
      "Delta": -864,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6106713960493471741882121387283462770593641240856898083801980940468269342670825197019253531422068974803026338731322598687481365558862782590538743716472 +/- 7.01e-152]",
      "f": 6,
      "generator_bits": 423,
      "number": "-0.6106713960493471741882121387283462770593641240856898083801980940468269342670825197019253531422068975"
    },
    {
      "D": -3,
      "Delta": -867,
      "class_number": 6,
      "eta_bits": 498,
      "eta_enclosure": "[-0.0619114977363863237678538101334338923973350813530068193004250056492679334885815484356994702575117771536383697533398744115306616013814201070936889470547 +/- 2.81e-152]",
      "f": 17,
      "generator_bits": 419,
      "number": "-0.06191149773638632376785381013343389239733508135300681930042500564926793348858154843569947025751177715"
    },
    {
      "D": -868,
      "Delta": -868,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2563939876959426280545470959280191403414070011708806286826017610351122624633985425670519208454926733981816891209145011747746555851685636943930375690193 +/- 4.89e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.2563939876959426280545470959280191403414070011708806286826017610351122624633985425670519208454926734"
    },
    {
      "D": -871,
      "Delta": -871,
      "class_number": 22,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6782678560511267621462998161213004619331028626121250705722735458317795334252451377728221456513302255901571656429747199154527336793935623057248178874360 +/- 3.12e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.6782678560511267621462998161213004619331028626121250705722735458317795334252451377728221456513302256"
    },
    {
      "D": -872,
      "Delta": -872,
      "class_number": 10,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1607712608982378719524741242199026808045907224820411560258498520685424491618186728022847362955585936716188549848849202846271453516784474809352882027225 +/- 5.88e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.1607712608982378719524741242199026808045907224820411560258498520685424491618186728022847362955585937"
    },
    {
      "D": -35,
      "Delta": -875,
      "class_number": 10,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4281451906254229635934552142628318062715874638622797490719228564063564233570578484106394893262355463559635630506317113331443885361516084101619023733624 +/- 3.82e-152]",
      "f": 5,
      "generator_bits": 420,
      "number": "-0.4281451906254229635934552142628318062715874638622797490719228564063564233570578484106394893262355464"
    },
    {
      "D": -219,
      "Delta": -876,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5044334337923870476060590408550132975920378831012525307858710685823621587999220830303680937398142224637253351676175573834699546080212198141229385652478 +/- 5.21e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.5044334337923870476060590408550132975920378831012525307858710685823621587999220830303680937398142225"
    },
    {
      "D": -879,
      "Delta": -879,
      "class_number": 22,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6054894066806445924633884079112552693503440594815568072906259641010871840778021353463575750247091811205851908065962180834899870111417847387249041358493 +/- 4.61e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6054894066806445924633884079112552693503440594815568072906259641010871840778021353463575750247091811"
    },
    {
      "D": -55,
      "Delta": -880,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3623349337017284077682133649356031871257681905262897530106566485324593454998624248912943113122307313222372230611316038666149658792774699423581666785782 +/- 4.02e-152]",
      "f": 4,
      "generator_bits": 420,
      "number": "-0.3623349337017284077682133649356031871257681905262897530106566485324593454998624248912943113122307313"
    },
    {
      "D": -883,
      "Delta": -883,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[0.6609311349376022187652249470203101781983452140785574790090384224620695614609879007648343099548409146766472007950292176301152489792044929161396796573835 +/- 3.79e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "0.6609311349376022187652249470203101781983452140785574790090384224620695614609879007648343099548409147"
    },
    {
      "D": -884,
      "Delta": -884,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5185217770384716968422021882469789429406576022256809759133836089717949728812308720596651900197513248155924194496873391784424494039081412619634239799771 +/- 4.45e-152]",
      "f": 1,
      "generator_bits": 418,
      "number": "-0.5185217770384716968422021882469789429406576022256809759133836089717949728812308720596651900197513248"
    },
    {
      "D": -887,
      "Delta": -887,
      "class_number": 29,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7249906428202881184218116721206170000281027023917603329258322422017565154340807377800167902763779511811266611225648209881239394878526633996768928470040 +/- 3.43e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7249906428202881184218116721206170000281027023917603329258322422017565154340807377800167902763779512"
    },
    {
      "D": -888,
      "Delta": -888,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4467849673137710214751863629860934425810206988407131465025880089759441289554086646739142736006126584698695880180271868496573071986599773085258815363978 +/- 7.74e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4467849673137710214751863629860934425810206988407131465025880089759441289554086646739142736006126585"
    },
    {
      "D": -11,
      "Delta": -891,
      "class_number": 6,
      "eta_bits": 499,
      "eta_enclosure": "[-0.1239343538609573942914120177073806160295214673023716342129363037471352203973847245783855309527124390901591104545058345640822787683772885215909043194554 +/- 7.04e-152]",
      "f": 9,
      "generator_bits": 419,
      "number": "-0.1239343538609573942914120177073806160295214673023716342129363037471352203973847245783855309527124391"
    },
    {
      "D": -223,
      "Delta": -892,
      "class_number": 7,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3650152081351948330640617098937359909000268269435636834900543893773076458679315225651319309419121113513526101938662077081402278441821026646268386904365 +/- 5.75e-152]",
      "f": 2,
      "generator_bits": 417,
      "number": "-0.3650152081351948330640617098937359909000268269435636834900543893773076458679315225651319309419121114"
    },
    {
      "D": -895,
      "Delta": -895,
      "class_number": 16,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4631974080359814894424569526347554769264188432304797433431158690823397896102674626322344877204421516256887404256223966105647029092870333627833056571365 +/- 5.30e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.4631974080359814894424569526347554769264188432304797433431158690823397896102674626322344877204421516"
    },
    {
      "D": -56,
      "Delta": -896,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6421277407720848806204959608172064613227758990741355338810919209110418918042765222364476337718404765512710080635894230381030670114703710837642248176102 +/- 3.63e-152]",
      "f": 4,
      "generator_bits": 421,
      "number": "-0.6421277407720848806204959608172064613227758990741355338810919209110418918042765222364476337718404766"
    },
    {
      "D": -899,
      "Delta": -899,
      "class_number": 14,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5832813098810496233473478688574288500274106448742930298269433053230377101680682306781023792384021189578023876974210468096360461027240306614116334838532 +/- 5.95e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.5832813098810496233473478688574288500274106448742930298269433053230377101680682306781023792384021190"
    },
    {
      "D": -4,
      "Delta": -900,
      "class_number": 8,
      "eta_bits": 500,
      "eta_enclosure": "[-0.2311608975274319081030841074610034220269342728178638372324849706919969512808087929010017929510413633835954749038833962535586859605235405260296925204329 +/- 3.77e-152]",
      "f": 15,
      "generator_bits": 422,
      "number": "-0.2311608975274319081030841074610034220269342728178638372324849706919969512808087929010017929510413634"
    },
    {
      "D": -903,
      "Delta": -903,
      "class_number": 16,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3858031457202167092207500525515603080889483421183506537721093606017228908218414246769676824305025889705712744609368315210941793370289651611949445503375 +/- 7.06e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3858031457202167092207500525515603080889483421183506537721093606017228908218414246769676824305025890"
    },
    {
      "D": -904,
      "Delta": -904,
      "class_number": 8,
      "eta_bits": 499,
      "eta_enclosure": "[-0.1158558052458560369226058374040142279921303207942917362659580975360061106949913051151677892231061682031805853073921577538004590284427569235664288404431 +/- 7.81e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "-0.1158558052458560369226058374040142279921303207942917362659580975360061106949913051151677892231061682"
    },
    {
      "D": -907,
      "Delta": -907,
      "class_number": 3,
      "eta_bits": 502,
      "eta_enclosure": "[0.6931074501020741834725763685097191447889347052806406177342571374315146326833273516677293877386693871810029205926719857813907805346930821396886187062166 +/- 5.93e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "0.6931074501020741834725763685097191447889347052806406177342571374315146326833273516677293877386693872"
    },
    {
      "D": -227,
      "Delta": -908,
      "class_number": 15,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5834929832340977895834208027668556173319066324151909179043935758154484190128923185144816279708583924799575333937734054281623845392051443785945844341713 +/- 7.02e-152]",
      "f": 2,
      "generator_bits": 418,
      "number": "-0.5834929832340977895834208027668556173319066324151909179043935758154484190128923185144816279708583925"
    },
    {
      "D": -911,
      "Delta": -911,
      "class_number": 31,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7272017157732676270515219689860969896829263041209876573834430111079156103571106899474190015250752713687126688667789831800826075060824254952371970739829 +/- 5.17e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.7272017157732676270515219689860969896829263041209876573834430111079156103571106899474190015250752714"
    },
    {
      "D": -228,
      "Delta": -912,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2510552500252000467417985913055212840267892202012339399046861286916055209448076634730318864759048990776424126378686906837213325908563994953896625430072 +/- 4.72e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.2510552500252000467417985913055212840267892202012339399046861286916055209448076634730318864759048991"
    },
    {
      "D": -915,
      "Delta": -915,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2682960798878297393149638901408349258919525541704276313305902245358288961844844806382863569523086969425695285266289052092001498934716199761175600264618 +/- 4.59e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.2682960798878297393149638901408349258919525541704276313305902245358288961844844806382863569523086969"
    },
    {
      "D": -916,
      "Delta": -916,
      "class_number": 10,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3083179469028791534566105045151888963550515239383920475283418318234103569423504230364020185173627373601677650106017007517446534204117100880135014286939 +/- 3.91e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3083179469028791534566105045151888963550515239383920475283418318234103569423504230364020185173627374"
    },
    {
      "D": -919,
      "Delta": -919,
      "class_number": 19,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5693287181304715586128945783333712454383827266597836716562664115888516240186038029409201603743126759923832900014808126771360274854624097368592741887401 +/- 4.03e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.5693287181304715586128945783333712454383827266597836716562664115888516240186038029409201603743126760"
    },
    {
      "D": -920,
      "Delta": -920,
      "class_number": 20,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6590489520509465381425841095744785615853441311698372979862150159903986249831325317852905380397619354469542240014371641865579619162707666075397553905729 +/- 6.11e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6590489520509465381425841095744785615853441311698372979862150159903986249831325317852905380397619354"
    },
    {
      "D": -923,
      "Delta": -923,
      "class_number": 10,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3706598713031966818171629004183060413629251375417170981926953829561917821705782805961788174064228146853514056456256644954588723978864171547482239936077 +/- 3.51e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.3706598713031966818171629004183060413629251375417170981926953829561917821705782805961788174064228147"
    },
    {
      "D": -231,
      "Delta": -924,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5640044512462263361219394710400652752471712334896867665017388324841891648178621852356144926550529613576587580964621045152357629207354544723093858455998 +/- 3.62e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.5640044512462263361219394710400652752471712334896867665017388324841891648178621852356144926550529614"
    },
    {
      "D": -103,
      "Delta": -927,
      "class_number": 20,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6311529089515943276347920870902104056045888860634693745563692463259575668819755801543357681535103658848570095609497685889386897410152073054412230960736 +/- 3.13e-152]",
      "f": 3,
      "generator_bits": 420,
      "number": "-0.6311529089515943276347920870902104056045888860634693745563692463259575668819755801543357681535103659"
    },
    {
      "D": -232,
      "Delta": -928,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[0.4842928763732843162683825451413517855493382269465848974527772445964305630422225161750532270738631531062395065527447123025045569060015092046752772800141 +/- 4.20e-152]",
      "f": 2,
      "generator_bits": 418,
      "number": "0.4842928763732843162683825451413517855493382269465848974527772445964305630422225161750532270738631531"
    },
    {
      "D": -19,
      "Delta": -931,
      "class_number": 6,
      "eta_bits": 499,
      "eta_enclosure": "[-0.1133033301547282858538559243428308565321218827727249639890193597510186512920372226547235706198096719914176792303952646493487884492730786791488827720262 +/- 6.85e-152]",
      "f": 7,
      "generator_bits": 418,
      "number": "-0.1133033301547282858538559243428308565321218827727249639890193597510186512920372226547235706198096720"
    },
    {
      "D": -932,
      "Delta": -932,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.2973844923929128075030383616455451659835946431733445188357895546734835154427531241701515337090773960197508776295910389265250995982151288720597402733569 +/- 4.00e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.2973844923929128075030383616455451659835946431733445188357895546734835154427531241701515337090773960"
    },
    {
      "D": -935,
      "Delta": -935,
      "class_number": 28,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6715636891153132641162631769918563941124989115499009600929951890795674951450236830097118007966435440546848778873331245518194939331466572627495128411031 +/- 6.95e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6715636891153132641162631769918563941124989115499009600929951890795674951450236830097118007966435441"
    },
    {
      "D": -104,
      "Delta": -936,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4527888548858320528869089701358906746602311160980568762385725367870621461142315754762568313594906063723043157333175783926685151971099483418854938879057 +/- 2.86e-152]",
      "f": 3,
      "generator_bits": 419,
      "number": "-0.4527888548858320528869089701358906746602311160980568762385725367870621461142315754762568313594906064"
    },
    {
      "D": -939,
      "Delta": -939,
      "class_number": 8,
      "eta_bits": 500,
      "eta_enclosure": "[-0.2476733221916179683166580312984740450531469468065405482250164859684513760373329168798419445530122225219189077616600574042580081964514989281303817352047 +/- 6.37e-152]",
      "f": 1,
      "generator_bits": 415,
      "number": "-0.2476733221916179683166580312984740450531469468065405482250164859684513760373329168798419445530122225"
    },
    {
      "D": -235,
      "Delta": -940,
      "class_number": 6,
      "eta_bits": 499,
      "eta_enclosure": "[0.0696037317642679770511371813405993666027471663173290462027305504642260922024652735438148575193952196309901415321609708528365956023314439196006039532494 +/- 5.98e-152]",
      "f": 2,
      "generator_bits": 416,
      "number": "0.06960373176426797705113718134059936660274716631732904620273055046422609220246527354381485751939521963"
    },
    {
      "D": -943,
      "Delta": -943,
      "class_number": 16,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4640242567950861111631984873329337175166230071880129073063846273435032781670716602244269967011809314914369326327311589972583744373555140940339804900448 +/- 3.72e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.4640242567950861111631984873329337175166230071880129073063846273435032781670716602244269967011809315"
    },
    {
      "D": -59,
      "Delta": -944,
      "class_number": 18,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6805188062632996452581790897871911438346319328312875995730547381795206298406685698321238115559660675932436626066707181142515882465983777454307419757658 +/- 7.00e-152]",
      "f": 4,
      "generator_bits": 420,
      "number": "-0.6805188062632996452581790897871911438346319328312875995730547381795206298406685698321238115559660676"
    },
    {
      "D": -947,
      "Delta": -947,
      "class_number": 5,
      "eta_bits": 501,
      "eta_enclosure": "[0.4980831971336099210849723544176482223450810399242949538899227852609535752093779972903250605826584844553236325760626782022313110355123420875458824308530 +/- 7.05e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "0.4980831971336099210849723544176482223450810399242949538899227852609535752093779972903250605826584845"
    },
    {
      "D": -948,
      "Delta": -948,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4030438935448529574809802760883346452430497366104274699237955411499961704420595068645053246359741731572825147659466872450943314430239828249266454199397 +/- 2.86e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.4030438935448529574809802760883346452430497366104274699237955411499961704420595068645053246359741732"
    },
    {
      "D": -951,
      "Delta": -951,
      "class_number": 26,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6589137724760737036743908057350211292636787380305907485580727106644480572688507725049176211247344191916933898911989293582473743081455145006600161251616 +/- 3.06e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.6589137724760737036743908057350211292636787380305907485580727106644480572688507725049176211247344192"
    },
    {
      "D": -952,
      "Delta": -952,
      "class_number": 8,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1855376051462435021776596364559296168264366507549660913006625392584021245680978604827381657383751177816785492533309546977101500302128628321708738589733 +/- 6.55e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.1855376051462435021776596364559296168264366507549660913006625392584021245680978604827381657383751178"
    },
    {
      "D": -955,
      "Delta": -955,
      "class_number": 4,
      "eta_bits": 501,
      "eta_enclosure": "[0.4859332884060527499843788453866100258089126126895239391347107928792707986012520094532223683272679061177658782987002517271167269694815240625008709770160 +/- 3.77e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "0.4859332884060527499843788453866100258089126126895239391347107928792707986012520094532223683272679061"
    },
    {
      "D": -239,
      "Delta": -956,
      "class_number": 15,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6080031227302881683069470931979632683235331660385670000156116735913462875498388362519930767378348931259485265931587248653564965046880228584576501608550 +/- 5.39e-152]",
      "f": 2,
      "generator_bits": 418,
      "number": "-0.6080031227302881683069470931979632683235331660385670000156116735913462875498388362519930767378348931"
    },
    {
      "D": -959,
      "Delta": -959,
      "class_number": 36,
      "eta_bits": 502,
      "eta_enclosure": "[-0.7769437876320077956205175541344732710349701676644617754305562026677735917644511076893953771218233695578133681173997379915524366467673578079289557831477 +/- 5.33e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.7769437876320077956205175541344732710349701676644617754305562026677735917644511076893953771218233696"
    },
    {
      "D": -15,
      "Delta": -960,
      "class_number": 8,
      "eta_bits": 500,
      "eta_enclosure": "[-0.1948629523004552828469692165313907158742907255401949136080428616967417438723439625837691763120247036957364026820056934219399879201629219537414909588114 +/- 6.33e-152]",
      "f": 8,
      "generator_bits": 421,
      "number": "-0.1948629523004552828469692165313907158742907255401949136080428616967417438723439625837691763120247037"
    },
    {
      "D": -107,
      "Delta": -963,
      "class_number": 6,
      "eta_bits": 500,
      "eta_enclosure": "[-0.2395017634095076964886174182035915449937004852282178615782374717429688080522038767380660155767086607735896216309346271983335977296789883821972606780604 +/- 7.63e-152]",
      "f": 3,
      "generator_bits": 417,
      "number": "-0.2395017634095076964886174182035915449937004852282178615782374717429688080522038767380660155767086608"
    },
    {
      "D": -964,
      "Delta": -964,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4365141249632869207822020167766208860915900558292354552748784746841197845572350146104929540622525417642864106107395009123385817293043520503178468055162 +/- 4.55e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.4365141249632869207822020167766208860915900558292354552748784746841197845572350146104929540622525418"
    },
    {
      "D": -967,
      "Delta": -967,
      "class_number": 11,
      "eta_bits": 499,
      "eta_enclosure": "[-0.0997877856806245788856623362545608409972082790945468753488104223814068243259008958105338170919259280522901246105498511682642278508273971897008748137391 +/- 6.12e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "-0.09978778568062457888566233625456084099720827909454687534881042238140682432590089581053381709192592805"
    },
    {
      "D": -8,
      "Delta": -968,
      "class_number": 10,
      "eta_bits": 499,
      "eta_enclosure": "[-0.0714589896606404844968459684547562274330005465161294855969910496926028187230925015652690261839927466445816403222056267101077696274372586656629198891543 +/- 6.92e-152]",
      "f": 11,
      "generator_bits": 420,
      "number": "-0.07145898966064048449684596845475622743300054651612948559699104969260281872309250156526902618399274664"
    },
    {
      "D": -971,
      "Delta": -971,
      "class_number": 15,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5935842029604815637051159064045725283709879606219743088059800340679516588340572173483862746785822685472296694096247812209081488268316578233313962173989 +/- 6.54e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.5935842029604815637051159064045725283709879606219743088059800340679516588340572173483862746785822685"
    },
    {
      "D": -3,
      "Delta": -972,
      "class_number": 9,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3511166738150728256684731024498295988092381862467123866187661836300034687906838020050632700307627924030384389973606677858068906494520999820137332848485 +/- 6.53e-152]",
      "f": 18,
      "generator_bits": 422,
      "number": "-0.3511166738150728256684731024498295988092381862467123866187661836300034687906838020050632700307627924"
    },
    {
      "D": -39,
      "Delta": -975,
      "class_number": 16,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3388694223792175471665358038259412052669894563931524235198803007139671169468541559608195449848124318519781634695510882938520506806663019833819371377862 +/- 3.75e-152]",
      "f": 5,
      "generator_bits": 421,
      "number": "-0.3388694223792175471665358038259412052669894563931524235198803007139671169468541559608195449848124319"
    },
    {
      "D": -244,
      "Delta": -976,
      "class_number": 12,
      "eta_bits": 502,
      "eta_enclosure": "[-0.5528359034587090056690419226879052007872626012232127966970069302860221551402605224156070666695848144596019150812843986642904253185890696906762689993688 +/- 2.73e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.5528359034587090056690419226879052007872626012232127966970069302860221551402605224156070666695848145"
    },
    {
      "D": -979,
      "Delta": -979,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3212041863486899144982554879144388927112107728536408305165370605936459717412137611907796192525909550120742034722879321720244176635674263212826555183910 +/- 3.35e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.3212041863486899144982554879144388927112107728536408305165370605936459717412137611907796192525909550"
    },
    {
      "D": -20,
      "Delta": -980,
      "class_number": 12,
      "eta_bits": 500,
      "eta_enclosure": "[-0.2167803885443314495414539911481857551896222251552302700929003557211657360699396582552942632836614357657049099785054563451030181707224545489868458780719 +/- 5.97e-152]",
      "f": 7,
      "generator_bits": 421,
      "number": "-0.2167803885443314495414539911481857551896222251552302700929003557211657360699396582552942632836614358"
    },
    {
      "D": -983,
      "Delta": -983,
      "class_number": 27,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6291433052174012169702745120221523680652905745285336827593562103845574967164241294526834056267636960618794753616268261506076305527477450617793830744110 +/- 5.33e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.6291433052174012169702745120221523680652905745285336827593562103845574967164241294526834056267636961"
    },
    {
      "D": -984,
      "Delta": -984,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3233068298844457482039778229415029420090779155410813186502318556747191824587947081709922935607237298467335345628108329748744599609331290547317042729620 +/- 4.39e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3233068298844457482039778229415029420090779155410813186502318556747191824587947081709922935607237298"
    },
    {
      "D": -987,
      "Delta": -987,
      "class_number": 8,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3043062447110531318548763280019027946714889958019766364340743687050253740508243415766078353107035665991292723688862544299356323506119250474113252053289 +/- 5.06e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.3043062447110531318548763280019027946714889958019766364340743687050253740508243415766078353107035666"
    },
    {
      "D": -247,
      "Delta": -988,
      "class_number": 6,
      "eta_bits": 500,
      "eta_enclosure": "[-0.2018599878104328160560478658233767379843589472093966779958957806748916458734674626681241983193611611820179080603730644803061470919179570650557037108170 +/- 5.57e-152]",
      "f": 2,
      "generator_bits": 416,
      "number": "-0.2018599878104328160560478658233767379843589472093966779958957806748916458734674626681241983193611612"
    },
    {
      "D": -991,
      "Delta": -991,
      "class_number": 17,
      "eta_bits": 501,
      "eta_enclosure": "[-0.4360944005882423972739578144745550358255391189247466426913836764699812518702759350614909728696737470802309405513151715172289295560272129085683371290098 +/- 5.34e-152]",
      "f": 1,
      "generator_bits": 416,
      "number": "-0.4360944005882423972739578144745550358255391189247466426913836764699812518702759350614909728696737471"
    },
    {
      "D": -248,
      "Delta": -992,
      "class_number": 16,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6126918983304869523238939807603481464090173370671286120541519371466829426792883498842512489730120779892366263927421735278514473595888611281913918243332 +/- 5.59e-152]",
      "f": 2,
      "generator_bits": 419,
      "number": "-0.6126918983304869523238939807603481464090173370671286120541519371466829426792883498842512489730120780"
    },
    {
      "D": -995,
      "Delta": -995,
      "class_number": 8,
      "eta_bits": 499,
      "eta_enclosure": "[-0.0716657058360509075145692623580264894540306620321708857364619339107527311279290653052672829150704916311516587694528035957514093190838247939153343771108 +/- 5.57e-152]",
      "f": 1,
      "generator_bits": 414,
      "number": "-0.07166570583605090751456926235802648945403066203217088573646193391075273112792906530526728291507049163"
    },
    {
      "D": -996,
      "Delta": -996,
      "class_number": 12,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3096200591998741455226439347151224153894048713329471026072593579386915070617605055141565444035345949926276309695306943448671916542658729291860326808682 +/- 7.32e-152]",
      "f": 1,
      "generator_bits": 417,
      "number": "-0.3096200591998741455226439347151224153894048713329471026072593579386915070617605055141565444035345950"
    },
    {
      "D": -111,
      "Delta": -999,
      "class_number": 24,
      "eta_bits": 502,
      "eta_enclosure": "[-0.6580461140882325679762502864623377927611691616490985391785694575219909289431509667246556441021499761167334301663771547533419448833402515203937328548691 +/- 6.64e-152]",
      "f": 3,
      "generator_bits": 420,
      "number": "-0.6580461140882325679762502864623377927611691616490985391785694575219909289431509667246556441021499761"
    },
    {
      "D": -40,
      "Delta": -1000,
      "class_number": 10,
      "eta_bits": 501,
      "eta_enclosure": "[-0.3545893715495336469237819505545225649564209392626979066269770841147023381263602979885928029309873056282466570850808324374168754155622649051332021729185 +/- 7.59e-152]",
      "f": 5,
      "generator_bits": 421,
      "number": "-0.3545893715495336469237819505545225649564209392626979066269770841147023381263602979885928029309873056"
    }
  ],
  "sage_version": "10.9",
  "skill_manifest": "agents/runs/20261102T053137Z-build-skills/manifest.json",
  "skills": {
    "manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-dependency-review/agents/runs/20261102T053137Z-build-skills/manifest.json",
    "manifest_sha256": "2ed18a5ba549629b2149341ece7834c3c10445d5345622bccc42c66178a837ba",
    "versions": {
      "skill-live.md": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
      "skill-local.md": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    }
  },
  "stage": "build",
  "stored_entries_checked": 500,
  "table": "T670",
  "working_bits": 429,
  "written_json_bytes": 64118,
  "written_longest": 105,
  "generator_verify": {
    "matched": 500,
    "differing": 0,
    "missing": 0,
    "extra": 0
  },
  "PARI_program_checked_orders": [
    -3,
    -4,
    -12,
    -16,
    -23,
    -27,
    -28,
    -163,
    -1000
  ],
  "dry_run_exit_code": 0,
  "builder_run": "20261102T053137Z",
  "source_sha256": {
    "generate.py": "81143e0e5a62e45ae04991d161d3fc5365254f6936b0b416a10db7c39fdda564",
    "checks.py": "f4bbd1a83bb315f6cda518616f4afa56100c8b187b92c8903ad7d883d92ac3cf",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "argument-selection.md": "c980d5ee11d2c912c81943126ad13bb592abf63b9a10d955104409022948a11b"
  }
}