{
  "status": "DIAGNOSTIC, NOT A CERTIFICATE",
  "source": {
    "lambda": 4,
    "size": 90,
    "digits": 130,
    "cutoff": 256,
    "eigenvalues_0_4": [
      "99.77907618099639993228986914157906332021",
      "893.8955940787290964031661697111357839704"
    ],
    "raw_source_center_defect": "-5.378082628999112149428039641941409822901e-57",
    "projected_raw_source_norm": "0.6521823375686293267950819876835757441865",
    "bump_repair_norm_scale_unenclosed": "9.241658023406110178710250713375299210227e-54",
    "relative_bump_repair_scale_unenclosed": "1.417035925544918327777362421250534634188e-53",
    "positive_complex_coefficients": [
      "0.33981081456667931019957787361661999159013389537417296616725161238390849971294642",
      "-0.30360491231619198482737417369698568666979005263858121218378466183784558170032562",
      "0.2151720938298602786960584664002331774104109373688858146282783372626366003533806",
      "-0.1183367065179740652270786922203212991629132522600519734916296610310555189992949",
      "0.047961017538299072851109497285832625494076084496100994876961660582575713213070317",
      "-0.012450636981960649359311546301428376309987603994562605638611231482744195828685817",
      "0.00086843608144909859767487195218609398132449284228322008402447526267148577058327685",
      "0.00073865237637455901386544771174350236191290836847577164575205894601152979523418596",
      "-0.00028138557408866397560450839329975682025258262171897574915936559538532411719171777",
      "0.000020112144190593942522220686321909665406652927994809485352266309298311475831154994",
      "0.0000088610900737352469562107296524964590925454421805628327990849095448584176443632809",
      "-0.00000016513730677386714459867310829061187289446358723836702858033041455425742608531022",
      "-0.00000090107638833310620863814711761017923152228224675227539478902355844226705921622708",
      "0.00000010684082075665414116703991020561599446789815806109039911483549375444651438687045",
      "0.000000016206855585982275781050351531407359934603842049961759734265691888438621299202325",
      "0.0000000067179506021555779433738038595662402218546726580132360292111373260169764166076689",
      "-0.0000000022114919789972340938963996960758995601092683883851826307076013545482602324512714",
      "-0.00000000031856218414124376703532066576261432587901036975034569228911822392111707713712619",
      "0.0000000000097613923959514174921000477060065116743366950228403874913134848245347881154184465",
      "0.0000000000054037229835947844986069838198120797974241776537181544140653367003575594564167414",
      "0.000000000010180228190425969908205241156152409664793985971873781578108474196991344503016637",
      "-0.00000000000051761159783712130011309918486402212968941973849699596502920113055002565804518741",
      "0.000000000000019899340635258033149705956708175415272274211740352726857930698207965444174066904",
      "-0.000000000000068069057295211054586028252138345797081865180043585656454916564320158568927672024",
      "-0.000000000000028150203249225935931583649677187516132561185953696420971222576815627901733885171",
      "-0.0000000000000012024924047678610879240597655468991553784338637056896222522924678901199416128758",
      "0.00000000000000041761146650114495661427805308131139310092485984967141858244304853116504813854583",
      "-0.0000000000000001145522001417095274067893866044557296206168842010349977542437671448826605808213",
      "0.00000000000000016637678517843537171422377620516347903680469012202793504314968411050135074939567",
      "0.000000000000000010939979537544963801255979321503659331249921178620310212738200075258283580917478",
      "0.0000000000000000040335360611570874778853694579043805482608200125927278147729471484051920090930783",
      "0.0000000000000000011325479456994007800380223088977801278317457704353974714063764216247024998878359",
      "0.00000000000000000029356184637317261560699297868293413975670917848814693587956428340081733825906416",
      "-0.00000000000000000012641979127956823939701451468774963805376418456771342582323024637204444857516467",
      "-0.0000000000000000000021592141253521787718153965290501069088040769103804777669698869710540264827002622",
      "-0.0000000000000000000002509706497705811971680412515070546349239800013720924854590828045770181198202842",
      "-0.0000000000000000000046955968005173906129605146173292208540466887171248400469261469361210276778975301",
      "-0.00000000000000000000046079846477159000920623895078623454516221973601131070076358136768481760005234781",
      "-0.0000000000000000000002129818071332204134857826915486993910135078694401802855006029536135051766319743",
      "-0.000000000000000000000021015590197003528073222861131469135453385529674456675008563152137859877368834221",
      "-0.000000000000000000000043527553008548074795423732345318550918201106897688101784978340858795796978518759",
      "-0.0000000000000000000000030675956465570973106905602182702444636967144101755263006300927992360023692537715",
      "-0.00000000000000000000000046233574554376462243895368012272325826207079148923357850529368746517146358269296",
      "-0.00000000000000000000000083953879705942376250020159660699502002059062929973969045378286264673563796121933",
      "-0.00000000000000000000000022316247943973382667291625891603637121459992967105425684191742515095350858629788",
      "-5.0408371865877982347449406982877939722111246733371657630046142179960184256607069e-26",
      "-8.266578023914198343820396416532626901324439865980883119485327995727891022789494e-27",
      "-3.7205428569311919106668507438400744299028532405852227405899253038298664681165315e-27",
      "-5.4389871874745370454737897526443620531027111434662959527882544994614163541710398e-27",
      "-7.598664141357479749098442527004680559937166478346424134681472786169358930320888e-30",
      "-2.2568724019471823956063491826449270885445772603033784699390618901367066003013267e-28",
      "-6.5486780984558900195090695273125844192364042182627553865832669797363380426884574e-29",
      "-4.6277841698269520914591467458590953967278767383714047776120868811956954469211697e-29",
      "-1.6043826526183219889802027485184452200564214362793048954889314821882928173640493e-29",
      "-1.6442867209205559609214739794825535948605632423113502513830800995569692537200942e-30",
      "8.8857584790662347009694093338454067819790774536753351447553867905996964035876915e-31",
      "-7.8236135190162249695908803438760153094801954212092608750385719152706249015936032e-31",
      "-1.1844894553194598101653504907314342307304232046106559685761344371633813000182804e-31",
      "3.9951789303807313252343234778964292599151528011557005425596541513544326685365067e-32",
      "8.0347048599797813872773812872885325182221519757995643031777545924736551816216756e-33",
      "3.3569071961261921367905210482908810931381127339608471070368396598845054537709543e-32",
      "1.1269138170221897903030828522821577133795479777646672421926481811462923205574915e-33",
      "1.0113189119262773248016693429760037297189312054271972761299925555992450977265619e-33",
      "6.3668301725441887970422955332850599900876843507038320233097164864278411054012819e-34",
      "8.8377211770427504818413132837453956517666014171472660677216765445999020822485961e-34",
      "3.7205167265260026903610295936767840987805352238673999427444780520192045244718007e-35",
      "5.4395233469141489793068838089869501199844680861654540285579887310852421165705122e-35",
      "-4.3160995619976407587055749439614285820736968774753398048831096752288333572226457e-35",
      "-5.2104560499703833093501025801927062277713595357349560037869440417866629209833543e-35",
      "-3.6018896192542683912134591190837526617126912599335727358143504107979228236665666e-36",
      "-1.097873789350796130499728675818819182333303467708020229025289116257179790215227e-36",
      "-1.4308959693087059558772735137503589339750743078618570918226629391534188822737005e-36",
      "4.1177793146309341395170727102409946416788195097945878654463636299499730775387508e-37",
      "-1.4515358882151001917720645817552116218090564963064206939582951000472201125812338e-37",
      "2.2673156433437168247932923631547155518570284528753667065264773049214215973217542e-37",
      "-1.3032273299944605729101304611712775806904365840381129199607215616343359072915015e-38",
      "3.5866548296444967545179347013026487120605882021264356499078078500937073620041594e-37",
      "2.3394894295312262622229833774846645169726376634738097547057170237561922775867711e-38",
      "-2.1136451804272754533075587485701098682723258106722191797984799772035090739322734e-38",
      "-2.1564966139808299025472093826248311382014263907885636144399016105393282939076312e-38",
      "-3.4732663835573502626831946478128557373212298855789997364181581633979452225242623e-38",
      "-2.4669284962670047449222190002839106238524515124742552587119496249998590214635793e-38",
      "1.1596784632076324762842925749172007891046245301589381099036247021977038932367313e-39",
      "9.4493587929178445702094790287473328017972369156849951526254477654430687580423812e-39",
      "1.1655423843212724664357435243276247355145185157631511835355890601701583028035234e-38",
      "2.2986402789896315252252255093399189846574882823874687527950033525144581483172518e-39",
      "3.7500094633210333340714380710096565230842628429456067686266013861113741183384808e-39",
      "9.8863157849477271940516374575325190399800483838981525975435141763367414196470987e-40",
      "-6.2914328512304214902698726505473043647473122729135048184134894274719032792095114e-39",
      "-1.8927325754363050837378990351317393811195580840957125923837887936830114074408118e-39",
      "-3.0101967011419989880101646995260208972952333678074605110713337064352645950433929e-39",
      "-3.3064798591997458129825183314782368940117106567750665098371022889803426880446457e-39",
      "-2.2158246288041382664952164046066058811310203090484917748269266109169376497038652e-39",
      "-2.187860284894896058274133621812086460317185242903472927240563017340112480468633e-39",
      "-5.643733242063400593051565430069344333475940525145348107537751166558809847810237e-40",
      "1.042506101842000511568313893486080352544155976383325566881510096237089704073168e-39",
      "4.4017016384258512872386250013701292779519783703269333950070284043409758106571068e-39",
      "1.7864560579195088477904475426913117922367157948577942925084606190188326267826528e-39",
      "2.3417433544700262620884473916426301000628980939274084750125117799744406021017991e-39",
      "9.6633760316066075561663990820540080837407735964985218608403326456138574141750991e-40",
      "3.2565997688793476299829707872670853117295203275841639170421446060801198439924089e-39",
      "2.1380159314300612551852269850663697094829452542977354613433727319809999434525548e-39",
      "1.1490766259216803656039756971624195404837183215729126866431966888813983353309053e-39",
      "-2.1382999624346065910113694032028112147678588935520381788651126452358411466846227e-40",
      "1.8065029423499277296579519257832691623129583502872198799247150069315636477983491e-39",
      "-7.3186800778983472861533993864623892270737292761763776956481332564494753683758451e-40",
      "-9.236974591481648001606756944495781747495809595393368641498218907817925716925448e-40",
      "-1.6025928641787035019862174263267844999713600012980432249779644525633432604933545e-39",
      "-3.4660407255153936240314259875515839305388464553788640337511470826464301398700733e-39",
      "2.1686869323925921962346868920042924780046922096645075628012946432830916553563353e-40",
      "-1.0290758340728847810579175415842801564802936981054536819428708380007760996090433e-39",
      "-1.2575895756217679274768308895157377273902075154894027574928539304911060549298477e-39",
      "-1.8588559392011075861558379909041634468561252869426338536926378878889818332239334e-39",
      "-5.9285436524517345850546085967957298573964841784924297886180490691341976973204761e-41",
      "-9.5523571381710177401253892186092046753427986135777450853451314723196693906340165e-40",
      "1.9048947935764708566613430868144669656785530904104235286811623611809748421450928e-40",
      "-1.5525954558787996362315399292786493785971154032524730714620107167686510001289296e-39",
      "-8.7920806214041330039621869482497507223280018011790343747006382518170875052400359e-40",
      "3.4001872327812558094763622776550424979543525495350943963511418748747270885745823e-40",
      "5.810619725687686855339824207562336013870954446655984511261540989111803477262489e-40",
      "1.3603954421415103139282568197167433570988272720132015556340198459142355871066272e-39",
      "9.5103264115433009232561507531579597912309105071916898002739838509808332303124023e-40",
      "8.8011222727756917599203422031158351123808009992355846025120756712392209694762402e-40",
      "4.5284252287788494139455828494742087510645845719351170361781255468220498527790697e-40",
      "3.7663848754086807065107351209008986039181130618827941578482836097099475003744597e-39",
      "1.5548845698593871901687305937680745432486298709296569446493459472663045158102469e-39",
      "1.8169566450804729157299370237771123493384515714536009691511764280445131130664359e-39",
      "1.3218037599561815774596293981290476613199920555059823056869592520307243377293119e-39",
      "1.9351229610974023512633855451465024706142717552874518348908355671705730121722265e-39",
      "1.3761879138727197311732653355373325506476193167387790103188297004489359185027238e-39",
      "9.9061886829641443295400100474281448852081695264235058695699295688999810425443288e-40",
      "8.8826321619344808995034161915298435999957431988207196961721831823592512078427692e-40",
      "1.300109041561252616322611665231813161669180444517094980240921010672282283458169e-39",
      "1.1062830649152109660256331956360008186517834595282302670394492246320770223596569e-39",
      "8.0441636600863447043035717536983708577367757120575798024761642928768152053873185e-40",
      "5.7389818541623574427414765499502164370741697359766239980646577188914773446424805e-41",
      "-7.0072487046192931498241645543315922114501535669009060272287398029517887543897209e-40",
      "2.3015877413507013983292606216502348455663958305462228141606735436442867936217796e-41",
      "-3.1126128741299550592188337076702393767469910646878867486360730719509322411550824e-40",
      "-5.0957892640966782658457295204917719988176046531020093733648780240961750918747105e-40",
      "1.8247700313369482350752453989036440895651740457556690432248940119392680389218454e-40",
      "-9.4855373711210924325711146383640088981035488488865065683886753143189800720551667e-40",
      "-2.9336827401459884892124802421906184952754444012196113697324070398499871112422995e-40",
      "-5.0361769395595867674321853808328192658522001847537239367296594641403849247683424e-40",
      "-1.8379449296955799907116718232385772464212521015173838738100798219609363564350339e-39",
      "-6.5515317986720129062954580076661932604878585377592657385212175886203758443929507e-40",
      "-9.967340685913278381841807534854430141843138837389719389778534132572125085164619e-40",
      "-1.1376135014264882660526830514407528294163409932045801508609884836145627402552708e-39",
      "-2.5416724869696355214613029131196925271104880323269248937888083500616919289033801e-39",
      "-8.8812740425820754613458783270137016832273265967677236725948873511480478236605621e-40",
      "-7.2332345029292073365468541920029904218834947489211156190779026991085315066260151e-40",
      "-2.59596555178971433103193002617770071443037784042218322036033608065552311726363e-40",
      "-1.5292322414398205427009109818017811405070722505519115183218502839585493621976218e-39",
      "-6.3901507571240059490899301792024897482625972863870833588015739616767563435790942e-40",
      "-1.14617457969761703308532672738649664394214013756631293319693260316320121273408e-39",
      "-7.9380688925702813334811607556575880424866959412161462354668108341660963884105491e-40",
      "-8.322051614058425958369872366414836027406941299359260600720052003813297465353545e-40",
      "-1.0396575717618992897974440171482144654468974712390495813217829751071259839482928e-39",
      "-5.1606342974499649375006745865177025504463961752156646786178417613086801668308793e-40",
      "-7.2198130943007957634968376234436653040011530120872417907859613236658863174181062e-40",
      "-1.4002632096622156355240077333916931176379806644322875279787743979748346954777679e-39",
      "-7.8010469305331276284960029509177758001284713982519387200626310768265371673888832e-40",
      "-8.4491337795526431973489320720222982381361402917360856482761313133157061728771128e-40",
      "-4.1839530789984807267103181424539476898197554208908370372390517596620634118698627e-40",
      "-1.2274650466553974395999369592179228333422611168566767819054562510712203712040759e-39",
      "2.6786223609680375760578570439913090999699746457420120855656981520930384220099666e-40",
      "1.7838198737173661306135598924950359120643381273074969266531606921084201279624176e-40",
      "-1.2783915408338537635213573502999283885339745474445161017418260758252424713610038e-40",
      "1.0194612759850943348547953161994626678814349011246803621827881251158820793816787e-40",
      "-4.3416954593952126555817546322245669458629762619459543776813837783320345996304562e-40",
      "-3.6410819394628830016397127988042811490978327963202654755870574407104796369544108e-41",
      "4.2394413984781680883624693548588512564191055315045132830195543340194348245029071e-40",
      "7.85165906840371809977677888863774834358961928356035527672048368092239604130441e-40",
      "3.0560383020428193119536989228439235809292252634881119308194246425437019672630455e-40",
      "7.4512878759600052745547545806790404078469880207443908767481687197077261108962634e-40",
      "5.9049172082087196159306039389351385682557546772265112858434023900101264848237384e-40",
      "1.2026810781115562811123014109931487392342770817628801167951707877619117878669695e-39",
      "3.3457614906733235057345828794643437538058868404309773480800305953757545830262432e-40",
      "7.223774365494150124147633940276181090519628408564881381523627769696510783383185e-40",
      "1.2698562078334282101948215182930460339834902178713903634251012176930585676334117e-39",
      "3.1327205602151691851498228504896647360665743530549226913131861726402069546073315e-40",
      "5.1034784742127040924910445055866341699567742943287014527227617177311250422148162e-40",
      "4.6780809736241792911382745501721284693303649919865158240821508845233604076879323e-40",
      "4.5420746188224345110862351318904634735018242235874699378273960977660595366524924e-40",
      "2.4665407765920673169126020089174622506347622243044763670227667601318393455952361e-39",
      "4.9279585231952761138206206721860440150587878745847677132967314936123590738916715e-40",
      "7.2380166775036657175044045982569483588590169802417547429503850874409708979647143e-40",
      "9.0175064738361533637403174198349473050796693239004809704835940798172697516342225e-40",
      "1.5630515336889785794359978094861897644735892233230492100996731844656333131057677e-39",
      "9.0552845384188784947110662790478275959656957387455856054984542535910475769870008e-40",
      "3.5177520708497855093150189158698429088928417183446453160168430195098434463902816e-40",
      "5.2381335826330151339708343656234458737958698353782493138796458034289050937230055e-40",
      "1.7079321406942015598338619003255775365937272354777231224224330404278270641836424e-39",
      "5.4163076865611312376332491058079888752586925213722859053545979296696125464077515e-40",
      "4.9253336634347316629936392272570193641111371013496230730411760602346754615770426e-40",
      "5.8894701082292052259460288690604186471702237996023725214706938985094243364395795e-40",
      "4.8862111756100703178041219069115829617742575496130590408933279414980322836977425e-40",
      "6.5197473671907962506343686351234709115207604380853717532700694730182508071559392e-40",
      "6.9578003653861076609191358808460336549518411302534506925296418587771861757337155e-40",
      "1.9788006951689828151230009997537384492470366191002782685951998638988400636526766e-40",
      "1.8278990657381020426010006782121020172507953114511891042239338762758441706259655e-39",
      "7.4078702064708948193168452641534585257629752163322704012807427423235168340668631e-40",
      "7.3985008255678380664637349877542935681782912923579887276876231526441530558997077e-40",
      "2.4354770795553454353428211519034975675046872244361853452170311657973798265129656e-40",
      "8.6145354201494252480251625024466014635237902314890641691500059528158102209429439e-40",
      "8.11397856062051828612553901051899080428622656095049265957146328161703440095755e-40",
      "3.4531322236923128457328529850946355224313348448314623986219181828015578362735701e-40",
      "7.8948670864556169309162793230449264436333579294162490127487294146398808367476543e-40",
      "6.1729411963058413440332107605481271629935301226702397103676672285920144314614831e-40",
      "2.84176753082638187086270481172704634521696780814667380497387680614276402117525e-40",
      "5.1583144336231524329170930324428641793179978070410342263332186217537462181122225e-40",
      "5.0064107753678449887756603970162257158067789091796973294428780887101790794922065e-40",
      "9.5233815611437058268631139728457487704971927667061901056929524963903248871064412e-40",
      "1.8657744443662415767398577050644164381041820502734146289875529013816193305749656e-41",
      "1.5022341316684076992524354253413630764845408579435734723987494451274074114432117e-40",
      "-2.0524946539696014099728255736212699335517518891494382916510816040600152560559576e-40",
      "-1.2940145206789800237659714316439426183019088388870066758751367901517477287527298e-40",
      "3.158423114549944656081151013526985266388698665023310488088153114460078316493061e-40",
      "-1.3097783257175407414473687172992105973668181175574695226783281213986944052118111e-40",
      "-3.7896514406723944494942703021178097521415578237628001178437672772685200111009761e-40",
      "3.9228910665155200092242409796824211596796998775854000009703840320727421802157638e-40",
      "3.3336459635210104140031778407064009925807918178163363251686677870991779301845158e-40",
      "-2.3900111994244030316471516416115216819407949379240237296696861735874725132063113e-40",
      "4.0552810849973756261344061697740679689485291269859471469454884818440006142479942e-41",
      "-5.3241958752627444955809790574344117459078137482645237043070181514269137935168376e-40",
      "2.5063463210952909021691560439319146429696607213000998587119993675023630016468168e-41",
      "-1.0405348205388877476982601767434177171112591513699685305211934494664408586838103e-40",
      "-5.3772062050540169520627850026298738604326519173732472854290490470343028803408312e-40",
      "4.8499491714269487112842843288778204866395297820975698167581244449015439606814156e-41",
      "-5.3330754668172504455747904481737940656381725039036581984486167286960530091859685e-40",
      "-2.2417039973765277295774078003838158657166756909266762331036420071966145643102241e-40",
      "-5.2897274590241353422219139537515352797853222301741417338344824154669901272463726e-40",
      "-1.4683058873546748073713103846125314785004998454059746710900076910591111675270168e-39",
      "7.767121354438221949300711718633489418813203991836838367076622430665491776645988e-41",
      "-1.5691917111816726992376128687424555145977282528848988062892273826294165317397507e-40",
      "-2.3966818618977251184883457035570241827747921956469579458371364275868777840657776e-40",
      "-6.3308754943478986407353570072653699377153802696741587604481319303185679898489904e-40",
      "-3.0240863658538073615692262387288447117823542925474195557398304195133386116509804e-40",
      "-2.2067018270294377318895643820676644462139427633883943246568831562872662338916681e-40",
      "-3.0589475520356999030046230971266367576144632601315329454801226166739083624814326e-40",
      "-4.3032829169473411870768793762456414288862147183946071949085608883610977814491793e-40",
      "-3.8189262830700030002930288317718384847327920805220306303798180468906347225501632e-40",
      "-5.5654543257122400261366141006255657111367488281548053800719315590749549199721695e-40",
      "-4.7218482482358350673149628977417837315992580263083274887537299742032571047396563e-40",
      "-8.3778924085574376027064739062027175633114477985480095312894707871773401209879599e-40",
      "-2.9942830110439073731788170982289035448652356297221396204788567442998452760677192e-40",
      "-3.9569214163803521016432296927731792288246055112909312542454293118505570617995473e-40",
      "-2.8970047930963950706500400019122892952312264105604337241487841127863548039864741e-40",
      "-9.0313004957530043358677670827574120336349075212255557495931304164421214479541907e-40",
      "-3.8262755547805082063224302491817463584910814897563347282018374015003869970429537e-40",
      "-5.2815236497469134119747484276444288269795845501450519712895935621725080305844156e-40",
      "-6.0963730064499258825538425242522840827363452683201809164882036801931740369790331e-40",
      "-1.601578482722772771873539975507801991390646178257496263311005658651570690087141e-39",
      "-5.2217558989849704708520931916533829560047898536387305171612865614757799372616769e-40",
      "-4.4544081991915466617051920680718980910664915827302817046028010104618439765294249e-40",
      "-1.0602492339885167120376558505000962509949224741124165708849206422938378866916158e-39",
      "-6.4635767794148696627323715460041972613982764002282345297623442184222127669586583e-40"
    ],
    "normalized_cosine_coefficients": [
      "0.52103651845818490093982242187029399414157903435765842530032673581546382232646628",
      "-0.6583468454563462107163825768756081409042688388657047226065561860999700992629825",
      "0.46658622260892349173097338427810920313703931416961586380174171272508286135008093",
      "-0.25660519404463773504500507387963556863813159176372380700997522783070177233662055",
      "0.1040002428166631463951026519635891596309598837073089530196435605874385327323428",
      "-0.026998369421833492644495848737418508095888203603578348906339327820663240199551764",
      "0.0018831452704133099273492303983249165378962191118823981714017226286214246300274026",
      "0.0016017180294124301756557325138316889487116302097058285888781845879006817180463243",
      "-0.00061016570398987949862895742822349960831994508398964833584835624979974525417833846",
      "0.000043611832833096552604254111176221053805945379577847235403208724243665735338433895",
      "0.000019214678223890576682934339007245849183929705021287960034737109486758530391529246",
      "-0.00000035808914998222238318671255631774090547040537770904909753735543239737580757622563",
      "-0.0000019539235819626103457340712401579286224050586294422675449641131901472369080872368",
      "0.00000023167713847085489856437723709982725950675365522107121237380260373871546068856999",
      "0.000000035143476989219162823389038006395106473199123964584756624497760844816246248258828",
      "0.00000001456742433157531860361299592929098466547250133070476005666578054411594260269773",
      "-0.000000004795471710314593315342329607357189703620948642762097156370524917951157445997064",
      "-0.00000000069078068405115987861046847232604803422533204569399921458915853413259044103320292",
      "0.000000000021166923295507713725378234411742759907918993973606558336098567182310931866659636",
      "0.000000000011717610076956091055507470522428108596746637320099654765878542430789785483869096",
      "0.000000000022075140563643853508862262385193234264388760211448848605316704830624060037973099",
      "-0.0000000000011224059584806452515943249108932670226232831709789604734414722875159357487201403",
      "0.000000000000043150382627009688995987088236810752756307437393717177608000423583683001130253135",
      "-0.00000000000014760317546120119012975655938882440241823216307085338217000699001733935435808515",
      "-0.000000000000061041823621028723106413125484893633265783407445447234879256619771606749730683799",
      "-0.000000000000002607523953827397175044747655776977355010294845927383986254364924400626078501481",
      "0.00000000000000090556239521940214931281170758679237428069313853582415916562404308970247307063112",
      "-0.00000000000000024839874634451497314144570213124807318680245403380657432284506897055305987901062",
      "0.00000000000000036077687559059106428095741982058822731682675326430055514799238964418443420610366",
      "0.000000000000000023722610292941521768455487433138732899441776349181737907598393644276967421161123",
      "0.0000000000000000087464518332023117017767351807770183486005590770717788139240412066566078642964875",
      "0.0000000000000000024558540956766351805424168328622368573662469284257116337560464038218877620309016",
      "0.000000000000000000636569132006799227937047142610323648107270370009752230177728303262174806292089",
      "-0.00000000000000000027413282004302636448611303586723717951152225493066258099092504502776130313249567",
      "-0.0000000000000000000046821106985579492784091546995186535472808666587350379740676376169668991328369457",
      "-0.00000000000000000000054421298495498592629485873706043084845117339446123279895765025536349785838960364",
      "-0.000000000000000000010182086045880714499484510038101600772490623031046164233552530853229950977744614",
      "-0.00000000000000000000099921049814095633218658768266103813810321228114064399577454111595171254910282914",
      "-0.00000000000000000000046183673312808101481169315306229458348380402567312075097909359984716908675021476",
      "-0.000000000000000000000045570894772583371262265905923774893014291819195841362637479252364620066580039051",
      "-0.000000000000000000000094386572980634908495149342735349406528429790345687749251481690216189162068250969",
      "-0.0000000000000000000000066518749701362414931435943514517229575792719755477065978208289830489105807426677",
      "-0.0000000000000000000000010025439881665980445921897525558957347244677880549477377614954316207680231095453",
      "-0.0000000000000000000000018204834515545156412195465480491592650655731971307689104768041620517868161272468",
      "-0.00000000000000000000000048391283672760908416375906979236381491202008091567779605738392340300003033431",
      "-0.00000000000000000000000010930716617631388155419708583218276995409709140696425417776292116621089212364646",
      "-1.792551880417126853801238001728149071991712564583801249376216892956849487575658e-26",
      "-8.0677471077768176555464865836111162578353885679534603440149409526758432696104979e-27",
      "-1.1794078132774588313812007658361722629966313194642633218089318056075243602242179e-26",
      "-1.6477192443892331406576068624922985102351973381866054846187584699024557750024395e-29",
      "-4.8938761072219087010166702406092460571333318232313821937864107268631698316732673e-28",
      "-1.4200368285008038236634684237525015812587697943088714760922916947547747953322574e-28",
      "-1.0035038914276166266925060924418897817791508895419645525172953257685262797028164e-28",
      "-3.4789959431095323722645346341810725947727242312412111018351944517522450786412871e-29",
      "-3.5655252330582089743962920226353640763623362046406795018611508173807378603823272e-30",
      "1.9268170002756066922635493048110051504659386070962466122276928590136851110948191e-30",
      "-1.6964980049300931210584725385393730344251172344106774012155783150328706532678358e-30",
      "-2.5684857680225460077645037801489827320212178137821207918578501133597798850759061e-31",
      "8.6632769733006004246619679787953130780186851920679385550300300569867813607694688e-32",
      "1.7422717433608384276605293696454656243842504756595618864023356833709039297859056e-32",
      "7.2792276192084575524615642885587570093312995749492424357688538744480513069119377e-32",
      "2.4436368663398647604025284032537422121899168131535265243811270296198740802952577e-33",
      "2.1929770843879078137840878116328867776697773503856585825783992450642916125383673e-33",
      "1.3806043280635034368665911005452396685154532964178726145655406307599239812934089e-33",
      "1.9164004342160765864570782665379030216862540750951626397262278469678096924801522e-33",
      "8.0676904457495283762186642008820404008494809068567922846767200609098549817064543e-35",
      "1.1795240758481258520986289385445115165917947062949342262429898573263341812114561e-34",
      "-9.3591717921789396668919896111145964737936904911835165503504198665529863248745868e-35",
      "-1.1298523721890354094191506300268725176748448814206855382387753953028269107810182e-34",
      "-7.8104555371897411481734744526609822512583573044234762743038503018667851214236454e-36",
      "-2.3806655182691985528091494563412657825304489182775407525165142175855168373429347e-36",
      "-3.1028017313155536582932742202008067360750443175747613023973321591057038042954778e-36",
      "8.9291276659231133173719413553713630591313858852061587916196071131582285236780419e-37",
      "-3.1475580081453167693250933242254919203830699485235559618644162825525505031972022e-37",
      "4.9165215742444819519487718417721022451194758946503794220104279710380649738734445e-37",
      "-2.8259608682510501128535378586786818529910163426237676526367028353568753920922663e-38",
      "7.7774199199322091642778751752206649036127185327825410206262184977200973131799482e-37",
      "5.0730255784079664303204607818922097791644456731810933316222540948589951844802028e-38",
      "-4.5832975044195088007704986997173002894086313675570348078966404052316897787623466e-38",
      "-4.676217957807575516011040490442562236794401831382921072674060922827713844180432e-38",
      "-7.5315446960329130270713926857790857087715935817800774865512285849677548356069165e-38",
      "-5.349368628766858813194043432138531438652663586987867714202953284755127407914423e-38",
      "2.514684799306821212126671479769330459717034442518202063969343791974471724946377e-39",
      "2.0490299400767870180603112867860395223854862538565966028026920032658643302810026e-38",
      "2.5274003180964157857414637391451582189106867801380527495350431340536309832529834e-38",
      "4.9844469411472410956033935421961377107824559287827668177881939608187312752217617e-39",
      "8.1316434631258127992626084220845669394824333595728241981292418695638398121202266e-39",
      "2.1437811267780652176723813829706551481065421933375578423306509801103216453698509e-39",
      "-1.3642549257221204543716165269651067349748992330027364573283799301341024636074018e-38",
      "-4.1042633692080123791671616340772622802896104728812171713381091630241817665027006e-39",
      "-6.5274092150920809651667740762657538356701259489856989394372463185322912495778856e-39",
      "-7.169879328573043836196469627115126985289569434717304609143072738482087179424273e-39",
      "-4.8048667702004220628582327148646889001655876472588067325510842118271926750464435e-39",
      "-4.7442279700655530528036764501234163362762016550776264005323903075656915998675992e-39",
      "-1.2238056190078973664781619867273562047818444007754875968773024122678303151188208e-39",
      "2.2606044094632053890024171327671333947449086837700774353099546722419088199878416e-39",
      "9.5447941411425597110757857158748337920460427844768184134427202440644994936747613e-39",
      "3.8738098843829665389220370880196405664662825807078339388509633485770637784344683e-39",
      "5.077913063139468352148465046923620454870114813106754482094574683719169623977768e-39",
      "2.095438139762728198403101510256130793373109901054011512956413881705094279523274e-39",
      "7.0617177054194898027152304756875552777257382305075005394071912674130285006522461e-39",
      "4.6361438398812240283847961719154910568485906396767501374546141067585787826148006e-39",
      "2.4916954277581191669514759646276739905050703072301266846654508536159691914390601e-39",
      "-4.6367597420233457462721525651051224715023417721403213579651661114076977402196756e-40",
      "3.9172802058125791317462170191463678879244707095860774340830637866222761940664189e-39",
      "-1.5870065821499605632555643102309158826269893081562664227295373043934940891532873e-39",
      "-2.0029758535425527251137763911332694859156932361763321925401164627905871428922352e-39",
      "-3.4751149071794222736682385763231474906125233156533094415684732395672969127750237e-39",
      "-7.5158763422438471094981158790455277937052459516515558104075799656186896898891263e-39",
      "4.7026518439073298560895898348580909733145915228483665909453510434004732389988311e-40",
      "-2.2314817765256228827127997523790003510888814801864109104684809007722832981083392e-39",
      "-2.7269984654501275276998762677774945294018329363020444312216672069943815501923354e-39",
      "-4.0308041605609295807280330281995635354916098525090560235423740781637899931265351e-39",
      "-1.2855648421383219976068890310201198347449816808483216350727634300644945515353232e-40",
      "-2.0713644389382646913753524258351129449621419596708300271403536836213871360643317e-39",
      "4.1306363217575784096762499620919618817256475782916778206535196945969337984150425e-40",
      "-3.3666988878728756940971658352524835777526151551652750922935189534669065112333779e-39",
      "-1.9065035865002973265627626093763798200666589665972809952399184616649251807547357e-39",
      "7.3730774696134524243453670893735300511234004930445734485200458355637502940214841e-40",
      "1.2599938312489848275457896038030930836550398560361003134409000648414459017455663e-39",
      "2.9499260768689792557358618500080838676666282720829004996042421008444751160739554e-39",
      "2.0622503583799180508726063493978354437082403509253481159680757259410506588730942e-39",
      "1.9084642078264708719937498941162622441847332717184841607297346052110313723995043e-39",
      "9.8195857290563668687085620892714625040430211446109028077955806538960738679218252e-40",
      "8.1671524435593135371248578353498853251589396160661583144590207047500981821744464e-39",
      "3.3716626776762512248644698795866186018530358839973769428889653969914973462543362e-39",
      "3.9399483575347927964712934392776075894655584948328178418120705797881067586206971e-39",
      "2.8662426080023589266345113897583656437441607106871953057920533240379949706095824e-39",
      "4.1961840712307672941517792497272964897517519389506951714389301459129356271503476e-39",
      "2.984170990322066850560248425656901754515832179481522329160150448824865364500443e-39",
      "2.1480904311366054464533082903862091970481921441120035679521156828856456044039851e-39",
      "1.9261390794192265042917818163800190644364351035966413470581252423219941648136057e-39",
      "2.8191990693803933563093990559088643832918529716011903589143289531765166994759212e-39",
      "2.3989004670984846139477326596868120564707972730709263475196870499654602300825296e-39",
      "1.7443228205863191436490412579862998656001012474999055386698010653604623094076543e-39",
      "1.2444596403249625702989579845374671606780877295483769555294486555899955017143772e-40",
      "-1.519474782150337044805314400421286263198164240199322318183709371799680691524513e-39",
      "4.9908383151625955106419956021899308957028524220594668142715545192715219943369365e-41",
      "-6.7494918022806294854199784547762793758565193334325843923377012473541089247983652e-40",
      "-1.1049876504087923480811216430893787000286032810316140679495130588397659965285981e-39",
      "3.9568911604527024976134288238910251271685259715828476177387546710909943654586122e-40",
      "-2.0568750215846904333646626285833697931340755589964597294859950797235699421171611e-39",
      "-6.3614938335826002758527335150900074305429144266079848861555838455335492677156085e-40",
      "-1.092061118519070658031547695568385096973895707769078548343436859395236229357451e-39",
      "-3.9854600419883871324704602127451691718721568126389041533814888086562713363065618e-39",
      "-1.4206556342114327682536654522398787145352312751313145022243735810656822854936198e-39",
      "-2.1613508319409808575926010689582825724143712779243958268618962348304895855527433e-39",
      "-2.4668384127878755335594529730086272639461663449155124367650669595308925622420177e-39",
      "-5.5114459486642651252220577578579306506073056138179158928509606756008131821598763e-39",
      "-1.9258445803663000636315323724216548115330117245886931193633520108576729422071109e-39",
      "-1.5684782835430684496567228224366701238844439240421328038371859048095175669462338e-39",
      "-5.6291768104008837227599706906683484189441598500168086931164852396414180940175401e-40",
      "-3.3160373277278828279424338745112705105125840201705931512773649826153088098308737e-39",
      "-1.3856612400795814187200352455269009032817596017909810075457373119689542886516896e-39",
      "-2.4854025355832032559255626966048405668362256720507362465036876971968274746858369e-39",
      "-1.7213168833698350366261450815872345610093934349356917822819652830704805908297539e-39",
      "-1.8045809555723916461468464410939347247533424737988647474558942468047212792167302e-39",
      "-2.2544275634493665768669449176433574345222648871858895874721604226311154526855418e-39",
      "-1.1190488600334862391062037549716237963149320977931017411294888814765048080160928e-39",
      "-1.5655679412944248978923951298248886986323803382023314205284299676913754950487709e-39",
      "-3.0363766510128796240442724602747469037818703423757992884062298293626361404206067e-39",
      "-1.6916045918995799429008748018566188777724356907478725231266808114432402849921538e-39",
      "-1.8321378689729714425175123185872903384358111971967246199057931474640820559594924e-39",
      "-9.0726210260633946193254961649570743214648434421143284212523023897582476085109248e-40",
      "-2.6616754492164055835686442312588681829359512110066728730083198983530352260961926e-39",
      "5.8084125453002036970086313295581562662468193653220714860307215080826949692566458e-40",
      "3.8680934961325846194832719772280734036393291857123761152603488293378897255024326e-40",
      "-2.7721061288017885918100772932571546319244508149488850915042817030051449824910376e-40",
      "2.2106332535578472342998933573497281222174615376373160912104392738496396843233205e-40",
      "-9.4146747752491416449665676575153769051962492128601858889547192558982134901492267e-40",
      "-7.8954414492377799928104101786074312428304181519897886379749898632026360402194071e-41",
      "9.192943717189950008971387243405924816077171366674565140184117369192274035392313e-40",
      "1.7025794938057135143558715419279172930093757243316895644750120175646337805020623e-39",
      "6.626813645387638814799256233653341270403965179626231159239816255483013275340771e-40",
      "1.6157616918320737980528976912827266242541821842725917786709352678617889010661481e-39",
      "1.28044160651012508092018416286364310057898170255102330937957219059042772262549e-39",
      "2.6079330792914610412119626812409678391645231656645459389073870667663062232358591e-39",
      "7.2550589060960698762878856781859109574459788108644369117686693190063713682842715e-40",
      "1.5664269163268927287145194804493894252326163371083097234682453433112818573894282e-39",
      "2.7535978328955041811564368100841151867558846875452524522362042579229073226810724e-39",
      "6.7930939680118628851682360982740870362441766284306226816315622299322278852799745e-40",
      "1.1066550039391807466023175531847111099568121484219800631168279092525537565013988e-39",
      "1.0144104152594694355500066639733196195619692113534529730617144907856115537702132e-39",
      "9.8491835139177624125156025553280433416656733172882095899010090735583793870532857e-40",
      "5.3485278847124589977663820795545476251150851866196366633160355577681894570462599e-39",
      "1.0685946823240178048454123353582466329358701331026138069983683384089074809868284e-39",
      "1.5695152659560003473657722517086586463961051008721704171670782173221437731191736e-39",
      "1.9553856673931015881060276281487914661861470929405615758357182517859743373744884e-39",
      "3.3893721897956334237025839510511271111952905522070265016235803176044316096906525e-39",
      "1.9635775867713957757901988935775273492359831764794056550232714031761636268258947e-39",
      "7.6280089188068548325654766933810731875494482457817635529381861181407837929146599e-40",
      "1.1358540591115058190167854993166873466245362399155186189597038407554194870818936e-39",
      "3.7035360478901067760561075252214758047590229695389034875720978327560633066383506e-39",
      "1.1744899159453777750268858847725335935526745498479191892617433662560339262537099e-39",
      "1.068025499128022600444745021217699330237390333867905781381924434858763075694336e-39",
      "1.2770920067077441093232124703575178500006431802837855185930619453418845162107095e-39",
      "1.0595420506062983786018163656980272971368146234492635646876561286839760959154828e-39",
      "1.4137633938848040424989526191102276605022322330946861382340894006849025594666808e-39",
      "1.508752242156214968109675510286000978498134103604116763740910058021516810954411e-39",
      "4.290896301752119737968247217453715953719993674455751250546041940271799911886136e-40",
      "3.963676261232556158392310742676239289424102120785744008965256125380904309280807e-39",
      "1.6063468620366147635121448578919244002123223430574289039165131785624280070805123e-39",
      "1.6043151747643804087342829821142108294475157334543901682668083906037702838709908e-39",
      "5.2811683456446623807189775186695346477036905634731924815698573354324393407208186e-40",
      "1.8680041029839645304507375625752805122029212673207908996816343371156233823274049e-39",
      "1.7594617125040670998315007072697188940212034820825861563987988077587676674077726e-39",
      "7.4878851236895764015407072205008785825010599613414237031832851206020669757889831e-40",
      "1.7119488620961920509768390744182233931130708358379944089803381068148664095264692e-39",
      "1.3385608067971748245926758096229411201347190786067718933446921636533771525903171e-39",
      "6.162181880283234917764086604787144942837734372430572309401356525490918019075022e-40",
      "1.1185458131556808806875138922041771404758143203919734497967382557557128542092217e-39",
      "1.0856065258883164010918670603851725565820748486634918241083042906552688089517289e-39",
      "2.065081279820160131136396188472646638271040817040023601564141096580718621596182e-39",
      "4.045806473981984471505208608220141134014348494083173098743808505770076070510965e-41",
      "3.2574937413751600860926846957959014730650023672177926665569920146460159954505492e-40",
      "-4.4506966980482428729522906249243223235747500156571264860319263340304354441987299e-40",
      "-2.8059835104923562106686854666095204425568580149316579477657785128739561463785692e-40",
      "6.8488282294814106558264778646167503787243154670332747527474164309193792727719984e-40",
      "-2.8401662621492760184385937927036801750770559925668961493226476925348075248150137e-40",
      "-8.2176044264640487278312172963704928124597726672672657007017761553480338502255201e-40",
      "8.5065255993607870271147004670554321863988577133575087259348563812869543698125114e-40",
      "7.2287871998153126982003282049636519192722482564377891258842951578462854121629813e-40",
      "-5.1825786405843930464143691000187030247598354689722878367728520914932996757793652e-40",
      "8.7936044558012420649084311579685492058090911139083262927946838128710381801923389e-41",
      "-1.1545160887978092598098803398552267065158058688336409814353982580223010357756421e-39",
      "5.4348435324252902483714736266037983281243965728207290346306603424913039297423408e-41",
      "-2.2563298184577088372481483442336857138971707449555810967605452865315467085689899e-40",
      "-1.1660110225024189975976778426332678246451799722985970770033449128419668200201716e-39",
      "1.0516788787354097347129898622326048626690115997943187664391098057841569938115574e-40",
      "-1.1564415685419451494987563770827877868327954498361711680059189481817340345858836e-39",
      "-4.8609844414596102246618021411904195826828067534817038720207847668772947654586641e-40",
      "-1.147041844417029388638524053697100487358570811438746414141148965805588851686002e-39",
      "-3.1839226240786267952626008105386212463544470985504442208093798790329507208916171e-39",
      "1.6842480587552447766751960752722256373050654751375035793981754735006650480033952e-40",
      "-3.4026867519745459744023711578935256199591769838529619816316203652993262903586093e-40",
      "-5.1970435237870796483795936018307255527706054565714270611321527042691681068943515e-40",
      "-1.3728077977671577399399383567337204936143328852865528906834452029124145577343935e-39",
      "-6.5575280194213799862413607257914438688184419383626860356684443090109196865519505e-40",
      "-4.7850845877440239718308390785496746716346534904769555371943025526308637805468403e-40",
      "-6.63312215845103132514034514459299110946681807776829651709490723537559410318275e-40",
      "-9.3313797588622626346290343041287065693425919783733380242665615791996992535992453e-40",
      "-8.2810849544853649778393961540649619920793346152051447357445680932997787750504628e-40",
      "-1.2068313621513888925611077058409409323538049188069483895706649877738880806597201e-39",
      "-1.0239010545758704065484686447876389190274144632899985843083346914089816970391125e-39",
      "-1.8166896565238155364049729589346334571339645046256887164609018860198568596047151e-39",
      "-6.49290144775814063723600591700973958697039810503263744021764555208783113808905e-40",
      "-8.5803181256818216497234556771773299131807202930337451070964265546508304213981089e-40",
      "-6.2819601707255025584188729121781599235510073117879279579266379002653280957852945e-40",
      "-1.9583768083288110839965220314736218268482083958442089954297447010542510447500932e-39",
      "-8.2970213562059461835581910010951416253410390229570681375145434623039681931014073e-40",
      "-1.1452629035174303410181141924600480348335913725137853583388948559930093199242551e-39",
      "-1.3219575094824573813427373852832771617456997427708124221906490173691524216112931e-39",
      "-3.4729152891742105850677170641020033127837047516825637285610478670064968124333489e-39",
      "-1.1323026684955519586329817171963403045073411401352458663937067903351135638433594e-39",
      "-9.6590847754746254280489035200625097006844553066889714385370240692391899078873432e-40",
      "-2.2990791989126218378372607482579558835781658992801625580790459722974471943133504e-39",
      "-1.4015831794779972088555500696099058639605762323491545326195423664617192666989015e-39"
    ]
  },
  "refinement": 1,
  "raw_witness_source_overlap": "-0.0404195210046166202457280980489194800577",
  "raw_energy": "4.052222397451110559769270125168207473885e-18",
  "projected_energy": "4.058853499343454967502020965592064888821e-18",
  "min_ratio": 2.7852899960476893,
  "reference_masses": [
    0.0006575,
    0.0008674999999999999,
    0.0006,
    0.00106875,
    0.0009025,
    0.0013399999999999998,
    0.0020025,
    0.0025599999999999993,
    0.0028699999999999997,
    0.004317499999999999,
    0.0037862499999999997,
    0.00447625,
    0.00492875,
    0.00493,
    0.005662499999999999,
    0.008646250000000001,
    0.009875,
    0.01066875,
    0.01044125,
    0.01076
  ],
  "bin_masses": [
    0.015399829604981468,
    0.008851177511917031,
    0.006128030016743823,
    0.005288604737459065,
    0.004622392146964129,
    0.0038217793342821735,
    0.005711278445246305,
    0.0074126439298201835,
    0.008185452038783743,
    0.015182961690219871,
    0.010809580691998454,
    0.017926114337915473,
    0.014063945802463063,
    0.014065974998025347,
    0.016152457552505897,
    0.02408231362832734,
    0.11210277992322451,
    0.12398415599660717,
    0.10171635970406936,
    0.1338349424973413
  ],
  "all_slacks": [
    0.014742329604981468,
    0.007983677511917031,
    0.005528030016743823,
    0.004219854737459065,
    0.0037198921469641286,
    0.002481779334282174,
    0.0037087784452463054,
    0.004852643929820185,
    0.005315452038783744,
    0.01086546169021987,
    0.007023330691998455,
    0.013449864337915472,
    0.009135195802463063,
    0.009135974998025346,
    0.010489957552505898,
    0.015436063628327338,
    0.10222777992322452,
    0.11331540599660717,
    0.09127510970406937,
    0.12307494249734129
  ],
  "projected_vector_decimal": [
    "0.034415046697720578138467864037128412385727639774647540034676859934084606262377648",
    "-0.0050116426185623016860263982476698643888341624223461147543185134800181341216214264",
    "0.054280842607305714754588018521342568060217665007435879169070816928850426149321849",
    "0.12463530051976079639633246581953855810824370930260895100570424645121786757718272",
    "-0.18653951270210931370589255656193522334218470754354525939030790864207665475677188",
    "-0.17220366445239324303718159466251980038665054902154097271916036788122952702333159",
    "0.072185844120286288641855719618294481908066226475956219294599320006979995324382546",
    "0.078022526387811084095591949932667067843450324483367336707963760214421434804362002",
    "0.13111514943023189764522633131700997319902501792781093498958707074848467910099119",
    "-0.063023413944816733128246050280232376198143342134137871187559169242991370361389598",
    "-0.11710784443362249093925745278462088486893288057649355130055217064269777570930492",
    "0.0099845287414213484106174936966006145108240749854991287494836162240498333838697287",
    "0.24269536721665609105554587013360269413620579660954337196334257932866419998138448",
    "-0.084463478499809778240863175658512769180513345875450936970176040758332716685266247",
    "0.0083505736246887609077465518102161758438350613042172250778789011353238808223792743",
    "0.1644755209961207708369263751085178248728847527433822153282251736563941705774574",
    "-0.42303772908854998732908982295014759829671328213764894680810980045140987586471218",
    "-0.33254325213202714158124009983289279708168100906473020669042775614135436966959779",
    "0.045643089293597192487691974662956053103427593786341618946994838782101469794349417",
    "0.098734075960285666475083767025074982217666103005056397751649882349764330924048886",
    "0.65484207410488073544272832856968531937658149789978933476129048151673786825530665",
    "-0.10775965914521150239214481995956470942860609203891120118214106899111101234967697",
    "0.01250000935406562233901407227155602815782882166955312557502772559098036403518094",
    "-0.12152822372712956423851306490664050400383858405202121347424787476843231494555526",
    "-0.135633808621860424901123933840806252669902480807213381904146046132325346250411",
    "-0.014941550227239658477707021159452641028850015485311813217138105624259653065338254",
    "0.012854048122683697054567851815720272909256255238106758953730399304374927235324267",
    "-0.0084262649040041302531254876880294743891607010245249128876130611990131476891553917",
    "0.028319941057181164314980542366182227630520128220660993913132003876799893886356512",
    "0.0041855748399131136618071842137090603817556433794559376434053166985083214269911702",
    "0.0033784768295668602184834813442474468131012470400019178935257887940893066462470882",
    "0.0020276134718097093930560962344976664546820837120382124420312366037347293018653129",
    "0.0010991029939490382586480504312800295669658877458743539401693918539667467917524221",
    "-0.00097028757102055949387988304582027443125952371175380482057646582117280344433818718",
    "-0.000033358046850634336686218902296672484720360922723268961280807031837913764384034868",
    "-0.0000076751461007287396686947588871293969104814205068451871329695680929531044889498001",
    "-0.00027993673785500752844604236904282299803539356006231022702777877278120160236184032",
    "-0.000052806721164743473552463857810338981455052869722215487048689337660768908041570865",
    "-0.000046317818129433384837810105358539602497633329096278116841496860859403424014402373",
    "-0.0000085717910992609805360693072028155894227542997036764998754098543756269742022624753",
    "-0.000032943067151291484812009876858310765476345249686070177615016657188330133798060077",
    "-0.0000042661510785586941580948560955028503187313712883343756462308112149853365871714052",
    "-0.0000011711296134549403773055266214903964904004870122196447317266648982270884625566387",
    "-0.0000038428612280305813749259306096605517601876899570424392537073449434919905821932169",
    "-0.0000018328724110065426831932093553295422114011916394993896154658395232951665646274079",
    "-0.0000007382555168123673044560048806464499887735137954950660791039883054083378778849778",
    "-0.00000021472339475884973586801231232816511773339352481016778459862282687298013951014596",
    "-0.00000017061879263125349056790342359736544778795138780102161771153977366403002369491321",
    "-0.00000043872137864912245726036680355315375164532559259902519408146853919829065612018071",
    "-0.0000000010746069316612547259688225426488218870399803176269903168103197011332618170459367",
    "-0.000000055891020110072322345287356830254769314389772014243208862761011483004040068930846",
    "-0.00000002836118251118309474495130966727167425163067751571892575430570455520360879117489",
    "-0.000000035052055175517287614492954874815062203291975187464161421039734531488340074808049",
    "-0.000000021282161650282872935102719890417339996127359253721517035995421697026132155495164",
    "-0.0000000038326815403659874755146639267345274190529615677711446307491530744506595975741557",
    "0.0000000036379579262231396433774380065461507709478416663968637758111039177752098137161523",
    "-0.0000000057003010614729100021457178623255337221283902380240588233460285184230027269182745",
    "-0.0000000015575210161563401102762991035396603890839999759308044723002278764645317895248452",
    "0.00000000092127733583360445135780809603611899430804398708544576190706783473147160198324129",
    "0.00000000032298563826887190359020898151616211098089993230311254606288623967074405198908039",
    "0.0000000026707910174621434750490867254654222224159362438679354630531384228984115651847878",
    "0.00000000014335053794547740879567751943058434846791502819258410508604768027757744656281967",
    "0.00000000029348196756797164990575181392166131578702093697135183849295455267638907836973025",
    "0.00000000036911422228859921754004089178978793904708323150707635330172915538510507236533114",
    "0.0000000010802887728083061140812992840741399260672969600440447484848250515654565251620132",
    "0.00000000021917103484974236688318190366819809689030704296836377684254752865474531748738978",
    "0.00000000068669105699748272986148386836599868970205752024751443471193667207034636442164081",
    "0.00000000027721475780671145338202250709912702386289067239930658258961307647393888087007781",
    "-0.0000000002048348493466533897125981986601630353611416502804022908367181544233176997402524",
    "0.000000000033604023098412440311081273557397490291352042898092789679264996639206985020238576",
    "-0.00000000015348362880195348620367809949669013125591854044249423025476418039777724433389131",
    "-0.0000000000011934684799454703160456765929930093690175211090826270794088972621461253014261861",
    "-0.00000000016255274439036045309115524994195746740999002225966311698558986377949473242343783",
    "-0.00000000003096262444494401027245450061925776639130063600103029159452153434113243940863899",
    "-0.00000000016411116400194654559272315528142130103285361895817855114327773025317555930786274",
    "-0.000000000099556525900153578101221951811697915673859902784155886589823064849977933163741815",
    "-0.00000000038941112685146946138118992711407770737386510978579548808491190129714747224507381",
    "-0.000000000200085399951138901013245187196558915283869375692900232613232692445898737969438",
    "-0.00000000020638952935377041884586676108219315387826548186688654150003373754625300081240223",
    "-0.00000000017326710441074663417659872355576255817446103507388007453788045947386987630247041",
    "-0.00000000034520891151242373273220110416618253656363796618979047604429254755744174497747705",
    "-0.00000000049319131919662886374148126641404608622134446422068336590742108466423136556660828",
    "-0.00000000017253548226014842531660133085285027129655209995837296778966170201872481518071268",
    "-0.0000000002102903521007812813153837911865386490774312880445589330492311945201180762757887",
    "-0.00000000017562299354773795122918404616861574756754064661448719528422137906499734308967326",
    "-0.000000000042753445033876353411790053237314459599414672746205256734790533870140460769479669",
    "-0.00000000012632820168806441598778074627883673636334843181242736655628159509391083571092791",
    "-0.000000000089336299604732624523208172594252103008236690743874453106584838869243050733461548",
    "-0.00000000018661284053110402248406172918162227016183901965723728950115410332551220567949294",
    "-0.000000000046547572451061279935843416615939957031378899787326745813194715530710157554253119",
    "-0.00000000006166994280957258682795187143447224103776679112166916028205932723339195540546526",
    "-0.0000000000069489762619940956675157781433340660491437971709188180884580225101976593573182622",
    "-0.000000000017461357168455231450519107891198154130488961459635227180978741924684821214735059",
    "-0.000000000012804105365262017431605247924399309254027204386875457684418330168995382344089434",
    "0.0000000000020294969168133346891424343978162461950818176282933270179241483859912969209986977",
    "0.000000000038951451223622642096689304791153459786618049786395626390041690736856413506957854",
    "0.00000000014052181356932496902166517792698300565775417814711352198368397833382706064181078",
    "0.000000000077108436717378321809250424557115805760031765573864910926285727838586793728757244",
    "0.00000000022476317997133260793994562440300473582198639605590097593164659821498468472190603",
    "-0.0000000000076954715706471975811713990177824572966887863387505572084684294453261374153975892",
    "-0.000000000019424940486614029886408347408451505481211948056944638257161326021913300796030003",
    "0.000000000029909178072816320047927237323426294523817634194014065677085788912268381557756201",
    "0.0000000000098555948151457387170222397516010518686760257021034203869536485631784441357968008",
    "0.00000000005642188403281989547777077724612012618202206580888677188183120026470962108959854",
    "0.000000000092087654051473546986301556666339937811464643113611570706879003192871781388361321",
    "0.00000000010232902517784673796284773447749348727709305011263541595166652206024064297709065",
    "0.00000000008120967766282970722331642550331870504418691900333557797152307984629662615822248",
    "0.00000000011192458692891853667181895312492506593118300548095249625416214956593335342429816",
    "0.00000000021811336583862282326532675361937521000447609895035091851045069375207600968404469",
    "-0.00000000000080526503232365868906820811606112018041252605797811050659250281024438289457836886",
    "0.000000000074547868586051312124395828523859774169815438829273416862083066017663835769792498",
    "0.00000000011653469408775331877487951909595583212578198644021185974124715043273584127597223",
    "0.00000000012100930333982292961004395475302592742709967378073871614033736069293036964053609",
    "0.000000000052964755859518422491258809258917231607740445645682869834045173115220091114676204",
    "0.000000000052364505584598180788176754735531099476001823385239395943287086188053104802208059",
    "0.000000000041515227533332186195015472892043430859694349073690098169184465386670344417779538",
    "0.00000000011331325375515684366629310496552919526413669217759882560140605573917629241279694",
    "0.00000000010962528838077024596753593998409855678027582180630839440436631304992550679538927",
    "0.000000000087515737902764447677303871811607790860185443748879231545006645200791884004105125",
    "0.00000000012438106120425055332065436461443657852971263276404062185307544733110252274074024",
    "0.00000000012712333501089199119002353740634709976715797465223881464465371706276059867925622",
    "0.00000000012503053902201119889488621932708938025533065359482612479141687202795617845299282",
    "0.000000000053375688074128556902092175454289821152107625171622020716662058982292082409623128",
    "0.000000000044863454343230204666232540384785271092038081636534750336426415419887417055022013",
    "0.00000000034770047463451236817335629716029369565969154519839776116541482617841293800533642",
    "0.000000000090665870208209538370752458465917178220928526592364208626449320315933654987738776",
    "0.00000000010527442358963794226204769899109607261598396865775456601210847870409586598850038",
    "0.000000000077591714595982487208527613414019548105977066837511215736231795882436179995142511",
    "0.000000000089918636699530565791111284284392681200760208962600958820158822372359039705935282",
    "0.000000000068368043233137110915930628130115990831571443283186044245812841132403463754583261",
    "0.000000000067879554315640636074650916179572990557521199093477937538949261725485651009512074",
    "0.00000000014043143848008195247963107096010522635467316001911918161307068915665607671221609",
    "0.000000000094499573112361034387051983232312263534781641514671469127904785303519855832954593",
    "0.000000000099242172485446151119125989939875030246487061818501703261874871488750361578052983",
    "0.00000000014364228593718884463549373612231323010173462863738521641019390614256251446119819",
    "0.000000000069127760448971922553606610891148508293813775079875324237176316857406306104663318",
    "0.00000000011921171360214697891725967852729296672238641000815850461751714909350228572843931",
    "0.00000000003708801790149298285625545293104222951408354280328280372898510149659523847788149",
    "0.000000000047266412680692893712328783124637887664479897041810202090178432723101959073061677",
    "0.000000000041187734978865244458109133057149037837056884775487120394261254433384840044602456",
    "0.00000000010051119914199076914737719202075575629307269622852424667543940039585234957759864",
    "0.00000000007980666391843770121600294444728285685364667589831894115992875558481999427483446",
    "0.000000000036363878391263785485868673838985695917046481503418102831899862502359188264700388",
    "0.000000000042198248125347561481321562590168980171647915831247470083252874338936808100420321",
    "0.0000000001120817783512250600547538562305853282075138150229104643278832574184785761514929",
    "0.000000000059338512280003178715385978507511130828986384297084365057044620330122421086291778",
    "0.000000000041652568635651171515184320490770603714613691316564372610696103386833001757554526",
    "0.000000000092699650202551141274357886112851347577383806417654254085485991177561115012588596",
    "0.00000000011196377281759871941091443682675011956999278579860336613742894883304535148451489",
    "0.000000000038834003204908450430055311899595617153060179374486593739318918966119504815751286",
    "0.000000000032791683947058096255325845890657709280247984150246822424051383640074686451670242",
    "0.00000000000043613265984186176025004193958118296488140850022894794049765870836084198245110878",
    "0.000000000054281620563563252262779433199188739744216139337120861465676032492587277071657754",
    "0.000000000030864460602374316643800848928874904179744401553071366487294983782461886614687513",
    "0.000000000072158324497351751940442512473225549161430162546401266875164897287169858582828469",
    "0.0000000000398253554501038499481862985666288131156761665628845209281728565222021526539245",
    "0.000000000019901216217645663092038014382246682745493636993345515305662847671685540074809252",
    "0.000000000079925231214780748399926297509998465680351040035678401007216246793920193518857919",
    "0.000000000027907752583056743427594721957602405996561572439257106555803163181088892447249869",
    "0.000000000041668734915800009906035551475633986934828453853075550701195164006997717221950169",
    "0.000000000063729200037021299112756399508207033504462086351303822231317640562680058222899368",
    "0.000000000037818152143153667281088160903439830541076677576127996355588564648672860863540673",
    "0.000000000043077994233851916664998344708779522832366746932778038068802746928626658871301255",
    "0.000000000013819048915674966023324611008247807632065565247881657899453593580591409778449095",
    "0.000000000073635316472648821028253277629359011274850860295079665169858929420440447956806584",
    "0.0000000000014236743521300705146841684601292425861307927941180750835307490645480292516711078",
    "0.0000000000042703532424433416505249933176774557406743062474975066378887443189321670556723576",
    "0.000000000047396222121359129698693312561559547372518812018707316003201462505632299329236214",
    "0.000000000033627300665773390416266429695791893155353961521987888401013484979729357707404206",
    "0.000000000046388378054631306116477511422376382495512116871512016089028211666821498029925782",
    "0.000000000029181495368733691393129923380637715185518749291621840451831907282678430531766548",
    "0.00000000002792313518412426400603066266911613366468652867529797965044594817177714863864419",
    "0.000000000025186914795072596085039437687970260212039681237681916244263875016981031741764963",
    "0.000000000017238566003242775753315264614548488036769864881701362302766595467660308114553076",
    "0.000000000024235894619317135359666733602525701031110838157229055356910220986412761832313796",
    "0.0000000000033741423760268783306263855550696948216926695259104502464893011838592970238198285",
    "0.000000000014785246643206626720376104318082076253375041127941800915995534819405276660999362",
    "0.000000000019053189105827350399442886047115158857366334265993936379693269945443926482574888",
    "-0.000000000000081080567535728699355768053979504778086943509145911044362766433474850265974770304",
    "-0.000000000037609119494746377891026192301002406492077358516175990643113285635653317317928619",
    "0.000000000020389082677418583929432011310304416302322780923480250344628368982003557565997336",
    "0.000000000015564322625538589654637288740710825871140195718354209887355460981650032745583552",
    "0.00000000001103199636003000980118910999057599039604063682887648456544185820558772025444872",
    "0.000000000032153118868689997533908932742889219598726265081035980663348841256969265013334161",
    "0.000000000045038880997986195659962752657027592928177382152865349019812577667747613264601745",
    "0.000000000016379483047839473709255377597639605018979127389149462810032823494192966401277161",
    "-0.00000000000055922428504904820185710054485570775637496010225201189361468097005033573138763426",
    "0.0000000000070564117047246430449735596966029824751622032048455764636442180641945623993459734",
    "-0.0000000000059249246112729093930252617354413574953118394871462405987336510537029182702275098",
    "-0.000000000027117923189633917816215845827773456650455462418143172514367613712309663080712184",
    "0.000000000024427683524639259536670384770556755581756894458076024976715963589476531877241854",
    "-0.0000000000025721929403971381419807414266252074561100646336333187237402865950262014009586246",
    "0.0000000000016338900178638677823306054631896913044936497919768234218401033352524018900253766",
    "-0.00000000000011341693537204960905996051889463827760089458676970504212624731809286299830326348",
    "-0.000000000017200469657565867757851429644952797375146410805434486308390332382245461040668889",
    "-0.00000000000017955404727790275077548126770485628706757325741834364963336358410724471301130893",
    "-0.000000000023378783209434204909726415183291680804213812999616671116328104621161174265370759",
    "0.000000000051069849772707622127839131825843565908848398882538715667154144508811958890367782",
    "0.000000000019017027676532778691596267685656780199398847511980160151383190428068339408643269",
    "-0.0000000000068768931562651577614280084862670361905669219400513829712604141930851893275144341",
    "0.000000000030166817689378279989329613909544093267804089455849424383618086825941928064325631",
    "-0.0000000000042033915531080688962652068282594812684901985176551033190713036656600988804658931",
    "-0.0000000000087186792949225541267518072306925029877264625444093344362873673347157094407079067",
    "-0.000000000014671076452417992512299398785433761406184308343180202342792090911230606626307305",
    "-0.0000000000036019158796763812661412281369689504122839321532007395561953750239985284412586423",
    "0.0000000000049525188954361372110783788217710968141946253441613107589290351688880861629993477",
    "-0.0000000000063933288747723033214399341021546256315393560666010004368527200710376719257214966",
    "0.000000000011860984197113901074926471572321107171773503854028446102237587962214084898960597",
    "-0.000000000016743222271598536500637312756784645972991095285668986112691914298846003454464446",
    "-0.000000000011381707567351261556048612609039260291646919367882511390787976540950724297202985",
    "0.000000000006995226556784414696977341232278488817518017296401659044116614860472805543754849",
    "0.0000000000028578666144795096618312862629941998800893142451792794078342444913951612007536158",
    "-0.0000000000018634829846283166798052234482144641476596329591370285329012494402737442193573807",
    "-0.000000000002097140923179639789064946306324953068954823613208370374066859312046743876698346",
    "-0.0000000000054866893769112111394833530915977556335211323374065553900084840537807492323647922",
    "-0.000000000024931930419007504205068504524300748287337674821261399446817309682364220989290297",
    "-0.000000000021018645115938149579863517697453010327597291927860825390088372435996676703620065",
    "-0.000000000020682731101418373647734810981245885432458051771230407053945879492066129662751417",
    "-0.000000000015302379908022239321563423194722106548576281649208795149662265708458373817166457",
    "-0.000000000022612327085400564990092429531394365666816719944666333560129826457289647592786202",
    "0.0000000000072767280302211678362928138251353260907490030098489207941512529965708225478809916",
    "0.0000000000077204141877448241996740252351654424996975342564634003983742745783973036086234669",
    "-0.000000000022978132423326676436534206406101126891847506953196242320675742002921894466925482",
    "-0.0000000000047812489211589640190417703396334794994452178409972268502096065267316966429649122",
    "-0.00000000001575691203389327685553042240873479537794396583904026887296846503246204616999335",
    "-0.0000000000080429870399459496330635997185284607593464198638057286637355398189503128664771792",
    "-0.0000000000068262093374734077281877803745837631290962701747164783972563383495148831618617996",
    "-0.000000000018534800839011702007060535003335751306421259907605311177773985486199918197165891",
    "-0.000000000015816623175079459328147310467146102290618797387276774179937793881125983217206186",
    "-0.000000000036673378474264344408734783465715999183565768761957734062065636189863918103245549",
    "-0.000000000016723841338032778795238976574457983508167349405463488558563449616467510428151228",
    "-0.00000000003591175814036088885557054001169390864247732319405300206856913406279052835587166",
    "-0.000000000096127266945368917562052662018335934985072276494304972565680478836594768508219788",
    "0.000000000018221026239906497491957597105043768633520170018511091983259212468299784472177259",
    "0.00000000000025643640708686955816236899195987080646976622611290378866487105652581954040378234",
    "0.000000000014979319924271456243019308311950350804025994345873787098784439938335222725437346",
    "-0.0000000000025581593221675744842774010823263995281380838213990927086927450528921331170514506",
    "-0.0000000000059189015800917080679148776816631144140704592768400278744801649061118972737899186",
    "-0.0000000000058204204727939614222240737011741117279902813362993939238823940990336004140631555",
    "-0.000000000032768816930956967399720407457319639758066088883808451468860225670352532612634933",
    "0.0000000000132807072356677718201352051214318760563051341544719235375697730947073222968966",
    "-0.0000000000054140829177574801431884737714857353565644233131205067579097510475012158541340659",
    "-0.000000000018962360939812273090814999772215846272891834040881644277024569112782018740475976",
    "-0.0000000000090220631405153781505101493223998223456099699005670167441084725745645055038178306",
    "-0.000000000021830270762512755003075122151021907876151927467168952514919043999213666462623009",
    "-0.000000000016405655010378696024439399468088206356881468872380742482151348290135843460712756",
    "-0.000000000029750242922165940053947935850115540175307972291028346592758282416064249623408979",
    "-0.000000000011865534172856725304625273160132423211090151969518179577539136723234407749440798",
    "0.0000000000014919135884205317935275141662223862003878485530448007932104507443645766965644835",
    "-0.0000000000076421480624452742879075715185728737494815624669348601864318585432353684972652715",
    "0.000000000011613631330179312859071627620015127443375275439452085406807775671843055942306192",
    "-0.0000000000061625707612310158674378857670459821654833749585197359663464126255299612082219414",
    "-0.00000000003005065654380719885752254875628108534314486168010944575982031012522211810110619",
    "-0.000000000015241319414321598274715523694208966585487798063483515507551627738458964993942435",
    "-0.0000000000096273862633051575596106085323722054389061825737419871693270286645979022412794227",
    "-0.000000000029378255743028202805000936045859846574001967495825691986974226627874625365948308",
    "-0.000000000027245269571972626890869660606369944342876603672176788746375695274154802344260395"
  ],
  "projected_witness_internal_source_overlap": "7.5255304642982183235e-133",
  "projected_witness_exported_source_overlap": "-9.447204330129638470490119e-82"
}