{
  "status": "DIAGNOSTIC, NOT A CERTIFICATE",
  "source": {
    "lambda": 4,
    "size": 110,
    "digits": 170,
    "cutoff": 256,
    "eigenvalues_0_4": [
      "99.77907618099639993228986914157906332021",
      "893.8955940787290964031661697111357839704"
    ],
    "raw_source_center_defect": "2.346073537626220341043014925339123160375e-76",
    "projected_raw_source_norm": "0.6521823375686293267950819876835757441865",
    "bump_repair_norm_scale_unenclosed": "4.03147568161093333056495738312008339625e-73",
    "relative_bump_repair_scale_unenclosed": "6.181516194750827694020939592704916661794e-73",
    "positive_complex_coefficients": [
      "0.33981081456667931019957787361661999159013389537417296616732602711997322532864713",
      "-0.3036049123161919848273741736969856866697900526385812121837047520692972778590271",
      "0.21517209382986027869605846640023317741041093736888581462837636987872121427504537",
      "-0.11833670651797406522707869222032129916291325226005197349149637493955588588023583",
      "0.047961017538299072851109497285832625494076084496100994877150390075142964245606705",
      "-0.01245063698196064935931154630142837630998760399456260563836433115516811003582814",
      "0.00086843608144909859767487195218609398132449284228322008425127942654929772202380609",
      "0.00073865237637455901386544771174350236191290836847577164572604386016996893891219748",
      "-0.00028138557408866397560450839329975682025258262171897574968247861768524369894944803",
      "0.000020112144190593942522220686321909665406652927994809484615494984009565731606742617",
      "0.0000088610900737352469562107296524964590925454421805628326883156210946399046725073249",
      "-0.00000016513730677386714459867310829061187289446358723836675073445519819387040195391857",
      "-0.00000090107638833310620863814711761017923152228224675227615212933681349286688836289565",
      "0.00000010684082075665414116703991020561599446789815806108949569920739262081033311529359",
      "0.000000016206855585982275781050351531407359934603842049961649567007197359358087636855034",
      "0.0000000067179506021555779433738038595662402218546726580121954748325035459474432398752352",
      "-0.0000000022114919789972340938963996960758995601092683883852235329557948891109960410605693",
      "-0.00000000031856218414124376703532066576261432587901036975027968273142830514984579253427817",
      "0.0000000000097613923959514174921000477060065116743366950223228985663290380564247840373234263",
      "0.0000000000054037229835947844986069838198120797974241776533830765593112652079144514040230654",
      "0.000000000010180228190425969908205241156152409664793985970883604464296165648400789663254912",
      "-0.00000000000051761159783712130011309918486402212968941973787684401646596336917585363176879109",
      "0.000000000000019899340635258033149705956708175415272274211749717142139092576069711190382323536",
      "-0.000000000000068069057295211054586028252138345797081865179913366523746645952650901378842861277",
      "-0.00000000000002815020324922593593158364967718751613256118616565436519253365041642055797050361",
      "-0.0000000000000012024924047678610879240597655468991553784337009450690259468947196072310596306594",
      "0.00000000000000041761146650114495661427805308131139310092479078042480829942187081897996600422636",
      "-0.00000000000000011455220014170952740678938660445572962061733398176464703473181283128498569296415",
      "0.00000000000000016637678517843537171422377620516347903680623693716803627466699208598166425942263",
      "0.000000000000000010939979537544963801255979321503659331249771387266420068842001887125344331347983",
      "0.000000000000000004033536061157087477885369457904380548260807801453808066819449349444489292887657",
      "0.000000000000000001132547945699400780038022308897780127832180186961798936162931320557053801203877",
      "0.00000000000000000029356184637317261560699297868293413975598365049276148733959334145929604565004085",
      "-0.0000000000000000001264197912795682393970145146877496380527055556691716704222752826953344938111051",
      "-0.0000000000000000000021592141253521787718153965290501069084720948700001379268190299333311978191911454",
      "-0.00000000000000000000025097064977058119716804125150705463516652335770395981690626874382063431738527654",
      "-0.0000000000000000000046955968005173906129605146173292208530358298793269901124888587091172324865115059",
      "-0.0000000000000000000004607984647715900092062389507862345451239744549140698079843081182867118594171768",
      "-0.00000000000000000000021298180713322041348578269154869939167249590880588490391213393588117086893029129",
      "-0.000000000000000000000021015590197003528073222861131469135645041047500907373757540507648892028301671717",
      "-0.000000000000000000000043527553008548074795423732345318549401501751991966157720800478147295319327347232",
      "-0.0000000000000000000000030675956465570973106905602182702447923317518472175450316129848001379733564826978",
      "-0.00000000000000000000000046233574554376462243895368012272320282415296400643117133358779347003399705090121",
      "-0.00000000000000000000000083953879705942376250020159660699460504470208739865812640777271394893026668629599",
      "-0.00000000000000000000000022316247943973382667291625891603606770239058708778884526437761811158470539143181",
      "-5.0408371865877982347449406982878540105242177438896747917706898865616927633309146e-26",
      "-8.2665780239141983438203964165327136919085966952196952803486916885530922733799982e-27",
      "-3.7205428569311919106668507438401141464937709287963422961756454277651852991532776e-27",
      "-5.4389871874745370454737897526431991480792704742131903494952802063241036406599245e-27",
      "-7.5986641413574797490984425269251673732088359701700685441560148320652345489284636e-30",
      "-2.2568724019471823956063491826492651500854172805427093269989462331066692911342019e-28",
      "-6.5486780984558900195090695273162413501709850050549569200617892318760695682444755e-29",
      "-4.6277841698269520914591467457927507314133127746283670336146960011704260211165564e-29",
      "-1.6043826526183219889802027485632199059331794477172674363620843121565762322154948e-29",
      "-1.6442867209205559609214739796779918849505842049396517808243428071862760367487873e-30",
      "8.8857584790662347009694093269441017379698673586849228077507735065301737142143629e-31",
      "-7.8236135190162249695908803322680576293928017608020099831965304967187384859270979e-31",
      "-1.1844894553194598101653504871755065560171567339861725214688248672437727662424254e-31",
      "3.9951789303807313252343235077387377663995327445041642470350858827105174883922578e-32",
      "8.0347048599797813872773812245918404928039324090500279969945227642139213273041183e-33",
      "3.3569071961261921367905209388781645368636600777232911239515175153944628415486208e-32",
      "1.1269138170221897903030832789097812941168154946043527064873841940188940224874702e-33",
      "1.0113189119262773248016695657948943863226671645872486959495544654183145574309389e-33",
      "6.3668301725441887970423000392858976009594786660797836522125048816689233215967497e-34",
      "8.8377211770427504818413042221174614207526376235642248036438129886468016231510379e-34",
      "3.7205167265260026903610073378530199174647200386389688649802706168725386252731514e-35",
      "5.4395233469141489793069261344662555095358931727608777689259825865188876447979926e-35",
      "-4.3160995619976407587055630129828093190295309016579963001222108807509449226732576e-35",
      "-5.2104560499703833093499730730227258223446124077891697664136175226420681199604406e-35",
      "-3.6018896192542683912137671027905540866070840981385294116366392353350360388526256e-36",
      "-1.0978737893507961304997218996629952255534701898076867039016803044602408759877863e-36",
      "-1.4308959693087059558778899150622207285348564659322228836912160871915749813540418e-36",
      "4.1177793146309341395104186487008565464140830045301694519291027837845615096448955e-37",
      "-1.4515358882151001917686573776367327194433686429186277835946498702654488698496301e-37",
      "2.2673156433437168247952230910252411347207300462270968405698649751732885267208525e-37",
      "-1.3032273299944605729370976584121679930930975606400201829901691682966713209617398e-38",
      "3.5866548296444967545191499282351903929693507657518955947720032717418161504711576e-37",
      "2.3394894295312262622352967833567057779339290331135385123416142484635357051908713e-38",
      "-2.1136451804272754533157173771132537133656549729641010965106573549521052473051444e-38",
      "-2.1564966139808299025508729275681384384264928395964042964774852912709863526592716e-38",
      "-3.4732663835573502627057878191074697930886810422527687329946301126916582527119718e-38",
      "-2.4669284962670047448524260845790675288287252574172628638107460156289646936774722e-38",
      "1.1596784632076324763153806777766128180219691656761481065160134057322632815967085e-39",
      "9.4493587929178445707057498436640694756982952023366437026537479959318816968242245e-39",
      "1.1655423843212724664805104700136883595618700255699112478224961246549927843607905e-38",
      "2.2986402789896315252942342962533269143525295163348312475835220343211760484052364e-39",
      "3.7500094633210333337284764134238800555083128905506814746927573815933122576621286e-39",
      "9.886315784947727192809547677891583839294109992105145326334882690502464947027647e-40",
      "-6.2914328512304214915960716106219014338352854850987011689139409744845490124472208e-39",
      "-1.8927325754363050836696974143123569658529587743141176093846285045410198676947544e-39",
      "-3.0101967011419989878765740708582385646886903017121316982816943766770812443183567e-39",
      "-3.3064798591997458127904505800209680894562273536812160748032590125636776803108307e-39",
      "-2.2158246288041382663626051322514143011600164168599780029930170325146020908572335e-39",
      "-2.1878602848948960582055533812361409710378796919585994195250113699997835115718039e-39",
      "-5.6437332420634005947642023233816541014164256432678860620861203959666042838574816e-40",
      "1.0425061018420005115027812308016366374326747083612925867780741613675401112962284e-39",
      "4.4017016384258512861156459238065879411139799768805013011254458839769109702049534e-39",
      "1.7864560579195088476797279271894188879025574127656661526158506323271148185585654e-39",
      "2.3417433544700262616502976659655037415974137961230683730919028456307068422801195e-39",
      "9.6633760316066075572594212783977914377929624246653558080607517656980837996119617e-40",
      "3.2565997688793476301679528550138577777108400253814110170090747088432555248700549e-39",
      "2.1380159314300612555065396679653476006031838937238359455328353717188841190995947e-39",
      "1.1490766259216803656191941271396139663299972234015094893687398006474607282001605e-39",
      "-2.1382999624346065901313244025528224830752783635252663833316395080422636447897456e-40",
      "1.8065029423499277298227646464264268264887667007777187193940440924769722559791195e-39",
      "-7.318680077898347284495327649152384872789590480143929398311968094007292074808252e-40",
      "-9.2369745914816480019972864367431092858537889125334917796806123188848450584164877e-40",
      "-1.6025928641787035022357838641478684908581669963194102861202888758140357080049324e-39",
      "-3.4660407255153936244649317191780677400212948186190871826355308099318496590755035e-39",
      "2.1686869323925921995242994610645465694967293872137922520211281722037954709099519e-40",
      "-1.0290758340728847810964857342826559500052884446962242774296423457043576856480899e-39",
      "-1.2575895756217679278061590638616070815201257494221507738903390315050990680637692e-39",
      "-1.8588559392011075860830918856983873924554089527780250574505995804001888248252748e-39",
      "-5.928543652451734592380586105331207339574639342070319343500994537892005810482021e-41",
      "-9.5523571381710177375527657778740474270450140934530820311140437010639658088169506e-40",
      "1.9048947935764708552743205976382635060082816627222046831704715002997357689184166e-40",
      "-1.5525954558787996354092429606024220878891209824489424026326760528833683556326406e-39",
      "-8.7920806214041330031311935829600363361151595101964760363347322560127193882852006e-40",
      "3.4001872327812558118304871169140077510900523814110636735850159048846917017856934e-40",
      "5.8106197256876868562387908988098937183957844856867348145868534123105130698117484e-40",
      "1.3603954421415103139797523903744364506920629403273072953923719308276008179488688e-39",
      "9.5103264115433009204204572696108789778720232407734670056768270714098117218601653e-40",
      "8.801122272775691761528218131976488138517615054978558995485307169580859532946549e-40",
      "4.5284252287788494164023904782872923151074075607792144943926757193299875887832751e-40",
      "3.7663848754086807056318475679436033325181904806071855353870376049174200269255977e-39",
      "1.5548845698593871899872590312141020350119383994359100615101469007492516903213596e-39",
      "1.8169566450804729156006330221616782642479262382992576210471117314672227786915162e-39",
      "1.321803759956181577362836570247821830542183028278077698028913160189329345924683e-39",
      "1.9351229610974023512564545081521912387622794380063582552579647787654772741368274e-39",
      "1.3761879138727197314604770284076458698272967134710631083570276139851473465654475e-39",
      "9.9061886829641443305584943614556159914416551617268423266318693028028073179700006e-40",
      "8.8826321619344809035247209159078881738577611937491833182173787153174044349062291e-40",
      "1.3001090415612526166681185576510580915829075163811641444168931617052072124550052e-39",
      "1.1062830649152109660382675480362500941828132723481252020513125459263887725879707e-39",
      "8.0441636600863447065458096112825953744974251942187706343025771360506655388837743e-40",
      "5.7389818541623574567352418810165070315256360156637704971567781980635017165451396e-41",
      "-7.0072487046192931459930136558214806262595976462222089248854610877886516509991971e-40",
      "2.3015877413507014064878998242209369390598477036559626617442629910101890590103018e-41",
      "-3.1126128741299550583651402797639596423817893979263803460401846568033175541677575e-40",
      "-5.0957892640966782652341211646103814615939917902255195009749856595752906490340424e-40",
      "1.8247700313369482311349205385127310003759072864966441397514501260768418427762451e-40",
      "-9.4855373711210924368707538876550102027851293295017163843725556609655601590538767e-40",
      "-2.9336827401459884882630578511344635848411398583344449067712510785270347913678531e-40",
      "-5.0361769395595867671545544825030042977003976889196465928406925371605290601963679e-40",
      "-1.8379449296955799909718651533414483320541694226259923629811463934947705432587807e-39",
      "-6.5515317986720129053429779163612861239777413673946311970012343918501281482884023e-40",
      "-9.9673406859132783823891659277546612568142158958364119489229249281368638106797592e-40",
      "-1.1376135014264882657123383231254235869796095512471466410037405054394904070478388e-39",
      "-2.541672486969635521279065370833832527947500199773917257483433804614601779389479e-39",
      "-8.8812740425820754602267569742141174554807104706369021084088786970273000910121242e-40",
      "-7.2332345029292073360090917183305427630033738079750075129230388541215044897956923e-40",
      "-2.595965551789714332068303579418341503082117374881704921929467593144993891521694e-40",
      "-1.5292322414398205423780750829706425322843419940693577347343036057283044298782952e-39",
      "-6.3901507571240059487374785817155200783107059842625967045892746389820007166241392e-40",
      "-1.1461745796976170329965586203626379956006193763091470831193098718316765104002328e-39",
      "-7.9380688925702813310304555740729399595767813585409738459903658837882273771734944e-40",
      "-8.3220516140584259540745781341000191360273036513604895641679338082319376451046029e-40",
      "-1.0396575717618992901919248935787214186049184792240402531102532618242091020258943e-39",
      "-5.1606342974499649371277035865725745463017372701988258499163627996250301930847098e-40",
      "-7.219813094300795763995755129222166073271038662337210621182093833602544918602018e-40",
      "-1.4002632096622156359317248532206342417624708310434236228473472664182804285154857e-39",
      "-7.801046930533127630193159024644016328965382948548688298005727978190015271122481e-40",
      "-8.4491337795526431993609430519112711251885073843113862928147905562285554219565514e-40",
      "-4.1839530789984807263579179299768663727351505097040966175458886262466142328453906e-40",
      "-1.2274650466553974406119579849476617341475953664136035164907073242972241623605665e-39",
      "2.678622360968037574156140351266112829759003208230797275214944444067363108865982e-40",
      "1.7838198737173661307526373193270156901349456941617243502932367593993531111226149e-40",
      "-1.2783915408338537646951022398677574389590490262143438858785469230806120300723559e-40",
      "1.0194612759850943334091540120731592238832262368717909122911105236648982357468872e-40",
      "-4.3416954593952126538957245042199346916066793198682161448040083665453338227310473e-40",
      "-3.6410819394628829938926782496067013958212017926037340240356582103215369545653654e-41",
      "4.2394413984781680880425975037563664206170529801086177971936608055633388237492653e-40",
      "7.8516590684037181028866169431854329754274039243787157893202014837833098383498372e-40",
      "3.0560383020428193113831971751375958593838259219438863794032717922347769209374848e-40",
      "7.4512878759600052762493800849833146539310609226093698710459189184770001602828079e-40",
      "5.904917208208719615497489112028508371965890690277001116100040044339127954701054e-40",
      "1.2026810781115562814809891367944953823232569051857580814378132337310019578356155e-39",
      "3.3457614906733235073584983606788606772949337377303561215817858074566121781938326e-40",
      "7.2237743654941501252712124139005284331721974441128945247297153723499647340800371e-40",
      "1.2698562078334282104194838947980158382477713096136392518977087932040644802949801e-39",
      "3.1327205602151691845812634525693340673191056489185793951117149717819104791365751e-40",
      "5.1034784742127040921980245682603727638877390473726092720422827903868708120736296e-40",
      "4.6780809736241792903672037347732689253529362648946783552331608062561229374267968e-40",
      "4.5420746188224345091466172955535934760967000766545958773352345759545081575006261e-40",
      "2.4665407765920673172631766962294990458674791424299561952427728092290533537548876e-39",
      "4.9279585231952761132809063491713742751662797720663734700330325488182799686676651e-40",
      "7.2380166775036657182473464845121168956446848281900820752377226537281402727151077e-40",
      "9.0175064738361533631811193421462631302417618454509197510871965534895600154328573e-40",
      "1.5630515336889785791824503945587741945100069464147016461466567749514289354699068e-39",
      "9.0552845384188784948743321966537137873753421176401721705042757033141292548354273e-40",
      "3.5177520708497855091030550489989910823540065102203115850557476630330811088292168e-40",
      "5.2381335826330151343017424471977351722706235877306469400877419436043141462251747e-40",
      "1.7079321406942015592689058662070352033714546278116995635256377674708975416496886e-39",
      "5.4163076865611312370936875900711138546761050352200521371221282378482953798115572e-40",
      "4.9253336634347316621940718618505322764895690179072699736258656306470746303234393e-40",
      "5.889470108229205224879196452957894815621451654963749965140557018362572625050404e-40",
      "4.8862111756100703155022587724012032362100776399410075631532149562634694710201329e-40",
      "6.5197473671907962530288443834097540733405131115735900072075554567159753295976187e-40",
      "6.9578003653861076607319735022821600803122726282228416688872420767315486261922957e-40",
      "1.9788006951689828144859756577685951781066872603466888385391371277867707639295698e-40",
      "1.8278990657381020427060232898384763489788638622847542268803556237986661589579581e-39",
      "7.4078702064708948182955258274053831467103533292855539833073260584209615288274431e-40",
      "7.3985008255678380659669120263066531911259606640033903443412416580725974573530755e-40",
      "2.4354770795553454343023286055389025912213585343962029713650103329718265307349553e-40",
      "8.6145354201494252478671003707864171767418450710598036073546998549235444100430072e-40",
      "8.1139785606205182883277036774499503363987356764265893799953949747098906887970516e-40",
      "3.4531322236923128458196499693449853834956326278595891221529029187920214481051341e-40",
      "7.8948670864556169330868522283416217956455339098588849983385197376942193667803881e-40",
      "6.1729411963058413462366077359914693157188207820845289896219091542990638752676444e-40",
      "2.8417675308263818711268920975209830355764092335000562564246375859024877656750271e-40",
      "5.158314433623152433662187582338410559609912433191285613420060650660853416781406e-40",
      "5.0064107753678449892745724441556838740046410601300146561533069478054536836465403e-40",
      "9.5233815611437058353757884625508221860109578459591576324196700831554923105674747e-40",
      "1.8657744443662415793477530976520202575733555899552184917949394141195698491818851e-41",
      "1.5022341316684077009832870078278731551902715833763972087386735172541183595483094e-40",
      "-2.0524946539696014072556820849718861457874444464469266797335689396788200008364287e-40",
      "-1.2940145206789800218941173367058829958787529287423061923214724900815285646601457e-40",
      "3.1584231145499446573649251181151348135110093506458091871058584628015537762639499e-40",
      "-1.3097783257175407411876297070161661692471955511277022828553880330364366373029993e-40",
      "-3.7896514406723944485449336928722251241882414229733706340818882279205811996097165e-40",
      "3.9228910665155200094311928119094704963333991053932127725265069102583405679300515e-40",
      "3.3336459635210104126727426726194591261223070020295314794773316910224694583906099e-40",
      "-2.3900111994244030303410865174495155394374129108163115338749758591935367340111165e-40",
      "4.0552810849973756204986525929134601026322212067273570039342848084382230261414731e-41",
      "-5.3241958752627444942566206432261680843647271089078592461863643529591791508014633e-40",
      "2.5063463210952908932883930319319604458704083308654758393178053730324569451375249e-41",
      "-1.0405348205388877479624644588416156848408473013955435061727883393754461506103853e-40",
      "-5.3772062050540169511153040857427370150360471415659994361276004564144497133233745e-40",
      "4.8499491714269486753772159445980166927243144517326735888764661165406308363450763e-41",
      "-5.3330754668172504464111561148180738062623287615618853999382246611601445822112618e-40",
      "-2.2417039973765277304364413126715130418536414129001739574625962500878214984108334e-40",
      "-5.2897274590241353432436928041535673407477877984132962322100308111881207822179286e-40",
      "-1.4683058873546748075884318393459968923299331943199199356299197587465164431812648e-39",
      "7.7671213544382219705174819219770927743885076253023891234689566671980076427605822e-41",
      "-1.5691917111816726983785854849574136593682486961351591396636096620235167536797636e-40",
      "-2.3966818618977251195361578140958157339432582455211348027616099858159720137014752e-40",
      "-6.3308754943478986435078966528655470191225468869320846181317592597272918973896603e-40",
      "-3.0240863658538073623219763471506756713396717799471002027075619674391447173475689e-40",
      "-2.2067018270294377322127705855291259189803138777155357519822613343564504694811879e-40",
      "-3.058947552035699902153554530009254926909553974825697148320355885306913846985797e-40",
      "-4.3032829169473411894088090205119769275254877996085825481447309079673784833326726e-40",
      "-3.8189262830700030010588817553087608390088544736969334694870619424178315327285296e-40",
      "-5.5654543257122400274147364184597157628550393677637883992495027042401452341137378e-40",
      "-4.72184824823583506806022997229469966888968813460197679289941950408534345125867e-40",
      "-8.3778924085574376050743922870197638268912291444568865255077880776213568101953337e-40",
      "-2.9942830110439073720512142673763717381184906559796203269517349495643627989269822e-40",
      "-3.9569214163803521022557869772992447733114841183114639058522279225741155054751922e-40",
      "-2.8970047930963950707736201045579665973108682453360535042299356067775590805835104e-40",
      "-9.0313004957530043346285831643417623681302840188270448602826654934077556942617261e-40",
      "-3.8262755547805082062443034811382626716209110730732119859117113490854179774902547e-40",
      "-5.2815236497469134101857149707428720243916480544757892371290367126456810519597463e-40",
      "-6.0963730064499258818707959070615178437551634287523259028990600811749460487898569e-40",
      "-1.6015784827227727718687883633432203281666072054476739880204097065030927933590348e-39",
      "-5.2217558989849704705127809059425458729617854255753992346512972662518108278288623e-40",
      "-4.4544081991915466616548565068861251063506284642305031830138707152258231333072934e-40",
      "-1.0602492339885167120396705822138670465373076640554201993465681961262130252290863e-39",
      "-6.4635767794148696629758279318353634439274789282530242041073770802361315673774607e-40"
    ],
    "normalized_cosine_coefficients": [
      "0.52103651845818490093982242187029399414157903435765842530044085902802067970197347",
      "-0.65834684545634621071638257687560814090426883886570472260638293505095757576925671",
      "0.46658622260892349173097338427810920313703931416961586380195430964632825681550073",
      "-0.25660519404463773504500507387963556863813159176372380700968621677982940389454344",
      "0.10400024281666314639510265196358915963095988370730895302005281221601249062433406",
      "-0.026998369421833492644495848737418508095888203603578348905803942200489583555755034",
      "0.0018831452704133099273492303983249165378962191118823981718935322931185708077539125",
      "0.001601718029412430175655732513831688948711630209705828588821772690776029305257876",
      "-0.00061016570398987949862895742822349960831994508398964833698269170331807851276546805",
      "0.000043611832833096552604254111176221053805945379577847233805569629524447713439880344",
      "0.000019214678223890576682934339007245849183929705021287959794541353690295864095816899",
      "-0.00000035808914998222238318671255631774090547040537770904849504725054029846822822009444",
      "-0.000001953923581962610345734071240157928622405058629442269187205677695110455754449735",
      "0.00000023167713847085489856437723709982725950675365522106925337773644673307791026980861",
      "0.000000035143476989219162823389038006395106473199123964584517734202644474948043996921928",
      "0.000000014567424331575318603612995929290984665472501330702503684436909282521415446559224",
      "-0.0000000047954717103145933153423296073571897036209486427621858501464751024557351484257542",
      "-0.00000000069078068405115987861046847232604803422533204569385607730016151366480949701930071",
      "0.000000000021166923295507713725378234411742759907918993972484418385453452510574521793422649",
      "0.000000000011717610076956091055507470522428108596746637319373060960209550359756051619661485",
      "0.000000000022075140563643853508862262385193234264388760209301716089086214947103316521324458",
      "-0.0000000000011224059584806452515943249108932670226232831696342026566937241570669999471142424",
      "0.000000000000043150382627009688995987088236810752756307437414023282713030801128643203335622261",
      "-0.0000000000001476031754612011901297565593888244024182321627884819456127892217841342154345265",
      "-0.000000000000061041823621028723106413125484893633265783407905063790102135430360765861938699368",
      "-0.0000000000000026075239538273971750447476557769773550102944929919182303528126460712643606300723",
      "0.00000000000000090556239521940214931281170758679237428069298876380539627568561826159080288495124",
      "-0.00000000000000024839874634451497314144570213124807318680342935308666314221978694193417919367197",
      "0.00000000000000036077687559059106428095741982058822731683010742896219014155304268637061885715837",
      "0.000000000000000023722610292941521768455487433138732899441451536699100906245062698644733491585772",
      "0.0000000000000000087464518332023117017767351807770183486005325980378069497861940126640386407682852",
      "0.0000000000000000024558540956766351805424168328622368573671889314637674016127807325417057353301267",
      "0.00000000000000000063656913200679922793704714261032364810569711131835521889227590573910418942037702",
      "-0.00000000000000000027413282004302636448611303586723717950922668932025489559508228638710686227795359",
      "-0.0000000000000000000046821106985579492784091546995186535465609859184493288949120132328313172927657986",
      "-0.00000000000000000000054421298495498592629485873706043084897711236003759240274976539774719349944393738",
      "-0.000000000000000000010182086045880714499484510038101600770298643586481721478288991856220642374668963",
      "-0.0000000000000000000009992104981409563321865876826610381380202799597500821929868999463213943201487931",
      "-0.0000000000000000000004618367331280810148116931530622945849127752949457498760062711344896866400981575",
      "-0.000000000000000000000045570894772583371262265905923774893429883927415551097820679026213029257461814355",
      "-0.00000000000000000000009438657298063490849514934273534940323956918466501959524481785590432488821195855",
      "-0.0000000000000000000000066518749701362414931435943514517236702022613485891274939537763823485199820176082",
      "-0.0000000000000000000000010025439881665980445921897525558956145110692565419664768567649433366472868500881",
      "-0.0000000000000000000000018204834515545156412195465480491583652182516311332102906457514909703848694723315",
      "-0.00000000000000000000000048391283672760908416375906979236315676619479177994481050883722555093543163191827",
      "-0.00000000000000000000000010930716617631388155419708583218407184456157041095630446491100985443348431507888",
      "-1.7925518804171268538012380017281678919465212848327438160819143558507727558692556e-26",
      "-8.0677471077768176555464865836112023805932302094566497163864840312984229403240608e-27",
      "-1.1794078132774588313812007658359200948588015311543052340413430719407655930945408e-26",
      "-1.6477192443892331406576068624750566101435873916653865329969102609820466548198785e-29",
      "-4.8938761072219087010166702406186528520004490284379260365593642795818365340655033e-28",
      "-1.4200368285008038236634684237532945621517553619904240424653546376807634148224214e-28",
      "-1.003503891427616626692506092427503387043478224391327297946534375854589132342706e-28",
      "-3.4789959431095323722645346342781634915516376453079013674134710473496755441725001e-29",
      "-3.5655252330582089743962920230591588719753501082407806733825714120094653009036889e-30",
      "1.9268170002756066922635493033145035390151937408238590386883214986163658347121198e-30",
      "-1.6964980049300931210584725360222654347570954066099682987544555844856177393472299e-30",
      "-2.5684857680225460077645037724381925822218320302464550153993319568125759995711604e-31",
      "8.6632769733006004246619680435063532140161085888384704174111698335443846420604691e-32",
      "1.7422717433608384276605293560501093764936643961494907844594237737875578611849624e-32",
      "7.2792276192084575524615640513046353677987744533995364055245266234383988053445845e-32",
      "2.4436368663398647604025293283670680348052754524465984190016555761550937330859167e-33",
      "2.1929770843879078137840882948006743234912450291788014001995006937562158863297557e-33",
      "1.3806043280635034368665920776412340756388705983525336318213588911987516790261433e-33",
      "1.9164004342160765864570763015847935057668024764657503902280961154786924845475546e-33",
      "8.0676904457495283762186159406241400884613129222077340928434393256870048288911887e-35",
      "1.1795240758481258520986381165402068270115477527235854973934265329783980504715602e-34",
      "-9.3591717921789396668919637395894051469506845794140766567092323136091654839490404e-35",
      "-1.1298523721890354094191225472675488532090007907253173749166521282721321223003512e-34",
      "-7.8104555371897411481741422946279577527653954954294462259428076009227552657187984e-36",
      "-2.3806655182691985528091347627028230139109822815251791389283080354540448680784523e-36",
      "-3.1028017313155536582946108450139676505294738858991387710018060927521939653616573e-36",
      "8.929127665923113317357512470176448907666872902709029170731803770032943570841989e-37",
      "-3.1475580081453167693177050311108853385378959255988474631694389496486065327043681e-37",
      "4.9165215742444819519529584953848454407965764728602826718084303303894466806205398e-37",
      "-2.8259608682510501129120144132867623322790690019926323325965129484722778011464285e-38",
      "7.7774199199322091642805103131420144704914686868607873872576208203998209530226327e-37",
      "5.0730255784079664303471615748762160367586210887974414925886641947768469985680717e-38",
      "-4.5832975044195088007881901373282799340528619143785542047243346450160255360719005e-38",
      "-4.6762179578075755160189846414057786453631803397898972636982167111205400138584966e-38",
      "-7.5315446960329130271203844591242193051651465231886685957235710764449635155121355e-38",
      "-5.3493686287668588130427021855857377002170957780326804947859359169376133968797601e-38",
      "2.5146847993068212121940839412231854808170986959898848538404507206460605991672179e-39",
      "2.0490299400767870181679242773005738136471967040940412221792758569479622213355471e-38",
      "2.5274003180964157858385378518408102478259067838062130079026162788836286089216865e-38",
      "4.984446941147241095753034458170171882184676264617707907428778562530297747790965e-39",
      "8.1316434631258127985189191198873517949279614996802332644945020706968731238924548e-39",
      "2.1437811267780652174030425630017113894629779869793189492077920307242496010518523e-39",
      "-1.3642549257221204546591938573685428118754480004815529465680848908533158249179318e-38",
      "-4.1042633692080123790192710035241951838226731681159986182053135808832425413557728e-39",
      "-6.5274092150920809648770917773365144828818313049198924097631152609260955896099734e-39",
      "-7.1698793285730438357799836179754035723441174854517566364324215513232051479631588e-39",
      "-4.8048667702004220625706740842715547102926626676699094452136895398706387078024897e-39",
      "-4.7442279700655530526549648080772902860812029106600122412556695573776532681211001e-39",
      "-1.2238056190078973668495357854984584017447460125123405199119912058826150817243882e-39",
      "2.2606044094632053888603139585348059282935968081683205818332116676122871301319921e-39",
      "9.5447941411425597086406810675762766169025998705838574837588895824796403845751149e-39",
      "3.8738098843829665386819490438581651853769130170924223608682401978167228916557947e-39",
      "5.0779130631394683511983668171667641206304541054136583247033834310627522527389252e-39",
      "2.0954381397627281986401160267496175456574076065025007997862695855420510362374953e-39",
      "7.0617177054194898031163516559675649615919768451347237381880574193865323134977746e-39",
      "4.6361438398812240290815411276471433931209817112926900394325765205426761049909126e-39",
      "2.4916954277581191669844761071215802304208957245188861928381303979061679538846683e-39",
      "-4.6367597420233457443638341337019005117936178873677783562431183908811442984021884e-40",
      "3.9172802058125791321036023259213073859183883528894305258635895147257705852514464e-39",
      "-1.5870065821499605628960225987774717979444531297008936678012542380497847081191891e-39",
      "-2.0029758535425527251984600865706257962414983643310283421333180774038426494516201e-39",
      "-3.4751149071794222742094066220502041714292891636462661026776969751328568220536745e-39",
      "-7.5158763422438471104381439198511116649972377358802863517647265790443504893887961e-39",
      "4.7026518439073298632228935785039502259732983186920184907274932474996786497133426e-40",
      "-2.2314817765256228827964322858720166041405979503453047767456968561887322028642543e-39",
      "-2.7269984654501275284140022779479089393829999621213093124691051801109942566232459e-39",
      "-4.030804160560929580570287988713573817662065716566052185665530127315608768454519e-39",
      "-1.2855648421383219991954780119538285809364439129500710106195738359218006259378027e-40",
      "-2.0713644389382646908174963246824590198305951185328396337750139388906415331805005e-39",
      "4.1306363217575784066685849234737359828990327140768595574887573643783947999580267e-40",
      "-3.3666988878728756923140701296319183914352857033921747372093232628671568085460773e-39",
      "-1.9065035865002973263825672836617966931798120410541124594095172791042496209462062e-39",
      "7.3730774696134524294501285700523512082379284067493993322902251038010418185190415e-40",
      "1.259993831248984827740724488366749382871192129467150541296692349816760538642685e-39",
      "2.9499260768689792558475265336880341898005073412666032255439155678026539005933807e-39",
      "2.0622503583799180502577052776951252665214128126413721680286311168942744911637439e-39",
      "1.9084642078264708723424069819001969407779074790763092265147948300476094116769974e-39",
      "9.8195857290563668740359842972418372028071659289347104725866772564643466755914537e-40",
      "8.1671524435593135352190492514700521581006878887047040392319765197252209265855008e-39",
      "3.3716626776762512244709609938574659479831290287097022516710215021771178783174064e-39",
      "3.9399483575347927961909064029843766325597770953359255438473303851802375116454308e-39",
      "2.866242608002358926424622648458821178703447943893284669620368189170462474342315e-39",
      "4.1961840712307672941367497618770016588427315416013745948835557372234853195064503e-39",
      "2.9841709903220668511830476766203499488160908918370014790464967303797510906771973e-39",
      "2.148090431136605446674159768108164378250382184444983329963649188800102112890955e-39",
      "1.9261390794192265051637747165330362682653470405201156214317784108977303639298473e-39",
      "2.8191990693803933570586075287636822392737511488732605637472790034891679152960662e-39",
      "2.3989004670984846139751294036447138171387605047314910591075982325453166043912455e-39",
      "1.7443228205863191441352554661299414701115339245011287432408426204206732547454336e-39",
      "1.2444596403249625733334119370378056598500503187081533953031330033131438064827413e-40",
      "-1.5194747821503370439745550792827060114796384609439289878347076628182117356046681e-39",
      "4.9908383151625955283334563274202381582397338828595814447248926206988750850813325e-41",
      "-6.7494918022806294835688016376383975366192452834285981764369153321164729669821219e-40",
      "-1.1049876504087923479484984820616308996739997969314464004959296007102953905660756e-39",
      "3.9568911604527024890690992143294812753966475520864337298347448125368280634236557e-40",
      "-2.0568750215846904342970104996293474799948660794855214993411405001395667502620033e-39",
      "-6.361493833582600273793974875814506732417117276035099673078011713138229916263215e-40",
      "-1.0920611185190706579713453013705303148947065539245348996241728774538984332190007e-39",
      "-3.9854600419883871330346719600953164997148433312054219906631833186084048876473341e-39",
      "-1.4206556342114327680471265465658167739637118556416857285187241264426388787351714e-39",
      "-2.1613508319409808577112920573717477309557146566252099948789693853026627875108984e-39",
      "-2.4668384127878755328214383060366387586453269371155396245323090254471272323502506e-39",
      "-5.511445948664265124826887896565752717573262521966048417554997491649099875974023e-39",
      "-1.9258445803663000633888584292770427688784363474010139593418319355425820615610693e-39",
      "-1.5684782835430684495401126446084717082436776722904682321892656043171859160667485e-39",
      "-5.6291768104008837250072770806907215250775971789780636079235468897022568802382451e-40",
      "-3.3160373277278828272423859274141738741809114590168969051330767157349384466535049e-39",
      "-1.3856612400795814186436084856265403080851208217437446588241337168533855887463735e-39",
      "-2.4854025355832032557330750231003169951154558719022658789453063470887640972256389e-39",
      "-1.7213168833698350360947261354538890387569538835412581610675425324913050270990878e-39",
      "-1.8045809555723916452154407577740720088506263659022450138502181529223618082350129e-39",
      "-2.2544275634493665777223501830245930280643275300131269394752372179082617997664256e-39",
      "-1.1190488600334862390253275005700316827013645613030086733390770048519110801857689e-39",
      "-1.5655679412944248980005820374629792289057355284578750140743806422587194500918717e-39",
      "-3.0363766510128796249283796297871521928899954436540538001651993715971125029238403e-39",
      "-1.6916045918995799432688916889553060983839783272902326373050941594229115402087596e-39",
      "-1.8321378689729714429538033757800408904135287479658301622294448508323097901189098e-39",
      "-9.0726210260633946185613399908935513830236477293650629699941515717584130707363688e-40",
      "-2.661675449216405585763143802236778491665430114811191989064354108257084937494909e-39",
      "5.8084125453002036928848865058795012833530279072038058098488044855750164579059426e-40",
      "3.8680934961325846197848520291794808746643218797281035976749779222469336193067614e-40",
      "-2.7721061288017885943552641926467139288902270303238559818984391352330614471494836e-40",
      "2.2106332535578472311651173585946116699961992625564037787154960315507491131199336e-40",
      "-9.4146747752491416413105246519918109507932866083214182520567919472332333146121532e-40",
      "-7.8954414492377799760114864780782752943033673654372135944845313568513535746526435e-41",
      "9.1929437171899500082777666345789974920096332308255275914931177716755561722938512e-40",
      "1.7025794938057135150302190211806034986519910335465394175297926731563564723625393e-39",
      "6.6268136453876388135621615402096669261333390221941024694124609121814708775736606e-40",
      "1.6157616918320737984203658414115637887517025890229542412712477807616580459067662e-39",
      "1.2804416065101250808262661238441063884436179591545753787878599689627123738841385e-39",
      "2.607933079291461042011437233177741050660495854207691033111925281413582747065218e-39",
      "7.2550589060960698798092372472009686560914368416957085256127134049910573420912447e-40",
      "1.5664269163268927289581599202861711254372415429022661653302217308587030092593839e-39",
      "2.7535978328955041816436020727816273742891407515024474637001473459192671990842129e-39",
      "6.7930939680118628839353532597856850034947455756192236993624848008688087008645733e-40",
      "1.1066550039391807465387781493183948864032163099412718526002195178057927310431493e-39",
      "1.0144104152594694353828051404312321232214606990640938926940663879228683960400674e-39",
      "9.8491835139177624083096716492649677594689633583046523104015060132413893644497694e-40",
      "5.3485278847124589985265797250009295414212052210308009372506500637594162292533492e-39",
      "1.0685946823240178047283789121196051598681933659625755759975988512661008868203721e-39",
      "1.5695152659560003475268742060354339387305117797264295250922922338076773833907971e-39",
      "1.9553856673931015879847692836697703638127936589397921721113066372628334174279839e-39",
      "3.3893721897956334231527834240516402694364274426001176665876475160391959361199057e-39",
      "1.9635775867713957758256020104132750833070581085758256781002586286893488585668392e-39",
      "7.6280089188068548321058472952907580405651122678857230326629048680190163370587103e-40",
      "1.1358540591115058190885406925968146694791871510498034570412803267208975879533165e-39",
      "3.7035360478901067748310383389360009870633411542630140581964853200598063577031326e-39",
      "1.1744899159453777749098855967649828987832999036184814764867270085518786381776442e-39",
      "1.068025499128022600271364212346930390502189612937415522457745201832905521064704e-39",
      "1.2770920067077441090918770316739024227204683767791187690371163389396616442654324e-39",
      "1.0595420506062983781026728170261554344657297030645189617133840974225395131412097e-39",
      "1.4137633938848040430181785905807576583210732825059774787476250198539745946252746e-39",
      "1.5087522421562149680690906065123405482917532676796400299270933467028617887263225e-39",
      "4.2908963017521197365869005812211029723844028298756156908362072239038053984584894e-40",
      "3.9636762612325561586200452168595908273324849565582562219163628449697227009540062e-39",
      "1.6063468620366147632906786028643742553655281860798052382981317207622334687093113e-39",
      "1.6043151747643804086265502623357206428973016987780487621570486755627014056920161e-39",
      "5.2811683456446623784627393689173075350616420632745908641144218910189305006191537e-40",
      "1.8680041029839645304164628517444445131817708687144488050987592615978545044762593e-39",
      "1.7594617125040671003090253133734330565371118222125825595661338965841140776794885e-39",
      "7.4878851236895764017289206467606962076581691543016746900481752179415075314378832e-40",
      "1.7119488620961920514475132193565839336662825807059257153536259824121693795522366e-39",
      "1.3385608067971748250704676335445643617076411378891970825907991185804744143191984e-39",
      "6.1621818802832349183369589765983584410028632747273259861284959522477909802692127e-40",
      "1.1185458131556808808490826371721708374656824912969978356062743202036496852200864e-39",
      "1.0856065258883164012000527843540771136120265910282656021316380936261434998161688e-39",
      "2.0650812798201601329823124333512563746982230151158896467798400503039460769391228e-39",
      "4.0458064739819844771602544765231821718384194388853416656755531263329312911968655e-41",
      "3.2574937413751600898459200126750163998636394987595089897408553538438269692424289e-40",
      "-4.4506966980482428670603476034570408441529540925619095470074467104423634266198209e-40",
      "-2.8059835104923562066096956790082068355246963286748959672420606410518909386060636e-40",
      "6.8488282294814106586102557211289845451190758448566601540755583013103902081407399e-40",
      "-2.840166262149276017875367207345574910188094420414824414178756338488754062868904e-40",
      "-8.2176044264640487257726446691853619295438939056628995851558550658432533230493405e-40",
      "8.5065255993607870275634616049061737580388956265331807409139186551276112516754582e-40",
      "7.2287871998153126953153689685925983312215546340490106655783221241305433401857181e-40",
      "-5.1825786405843930435822546658585732342624800250480556975034906729378672489231857e-40",
      "8.7936044558012420526876783355260819644018040403424772321232549473343905558137824e-41",
      "-1.1545160887978092595227021194516214392741686091441974654554062116565133784571226e-39",
      "5.4348435324252902291141359584090435778991056572848740006987604673038185986596555e-41",
      "-2.2563298184577088378210575713882777633525944875877660236676729092833546469940607e-40",
      "-1.1660110225024189973922229743295885800275022522845820258350081766945433516169966e-39",
      "1.051678878735409726926783433610478231652476771938899827442057207439631990912485e-40",
      "-1.1564415685419451496801166502360129757296732862968519727867500671813244319347253e-39",
      "-4.8609844414596102265245585723739249510353048003649016541360556996224232635290351e-40",
      "-1.1470418444170293888600899294875475652150142577417757794737885949475394532367268e-39",
      "-3.1839226240786267957334140912400956630002011230734441426513546758714387341519188e-39",
      "1.6842480587552447812759100846675589590111224524391360813996172941200761672292398e-40",
      "-3.4026867519745459725396280159560990482757382986413683302033859894005159091398898e-40",
      "-5.1970435237870796506517037345078501620521578723407517155475745779925008728174572e-40",
      "-1.3728077977671577405411449431681868884651043394318638612400167997931363837046705e-39",
      "-6.5575280194213799878736487395648132998690084494938084711484434681306404001078434e-40",
      "-4.785084587744023972531690006347482238021999949926069451484637167991365821516601e-40",
      "-6.6331221584510313232948601616449766555989103052459900182450290747911671438697101e-40",
      "-9.3313797588622626396856669963231426217173443493107454852251070146838018086590374e-40",
      "-8.2810849544853649795000967417054970620775054577691705993352090821075630689808808e-40",
      "-1.2068313621513888928382599395232250476080275994925001629119633790501089063584962e-39",
      "-1.0239010545758704067100748005679532002220103817752078079200755041905040752762828e-39",
      "-1.8166896565238155369184401437756545493856774732539289454507767854000914156219069e-39",
      "-6.4929014477581406347908749704910632121167795457288919863627877365352362461167925e-40",
      "-8.5803181256818216510517449754382432197291087776447471406462558836473618249142411e-40",
      "-6.2819601707255025586868480582891738419993804149040536226370482479952414752509894e-40",
      "-1.9583768083288110837278133279795420411831792668254072203833873860231295097338168e-39",
      "-8.2970213562059461833887783559085570220072685656707148100898795311389301870634546e-40",
      "-1.1452629035174303406301743123765640005894390205139188689785582135685526350955745e-39",
      "-1.3219575094824573811946233174651502135161111054268658052636563717829479484853059e-39",
      "-3.4729152891742105850574135125042398401557282930584787398420861010940551237128085e-39",
      "-1.1323026684955519585594041287383295808763219705898517129929254354174214117668266e-39",
      "-9.6590847754746254279397542389520103483270664963215389726924859572512318623009466e-40",
      "-2.2990791989126218378416295585584311231929229775711707736942010372738952799567295e-39",
      "-1.4015831794779972089083419504775077893683507863163862337692499322958648838927741e-39"
    ]
  },
  "refinement": 2,
  "raw_witness_source_overlap": "-0.0404195210046166202457280980489194800577",
  "raw_energy": "4.052222397451110559769270125168207473885e-18",
  "projected_energy": "4.058853499343454967502020965592064888821e-18",
  "min_ratio": 2.780575964597974,
  "reference_masses": [
    0.0006618750000000001,
    0.0008587499999999999,
    0.0006056249999999999,
    0.0010799999999999998,
    0.0008843750000000001,
    0.0013624999999999998,
    0.0019887499999999996,
    0.0025806249999999996,
    0.002865,
    0.0042987500000000005,
    0.0038162499999999998,
    0.00445875,
    0.00490625,
    0.004935625,
    0.0056675,
    0.00863125,
    0.00992,
    0.010593749999999999,
    0.01052,
    0.01070125
  ],
  "bin_masses": [
    0.015478374219841069,
    0.008694866827518785,
    0.006281022670218366,
    0.00521535308538926,
    0.004472408204137051,
    0.004043941746530371,
    0.005638929794924131,
    0.00737364746527924,
    0.00819165696280763,
    0.015243159460744775,
    0.010686990676343563,
    0.018123262230558997,
    0.013937770923506475,
    0.014117041247451553,
    0.01624468690978984,
    0.023999846294436265,
    0.11201494273859292,
    0.12369280006162331,
    0.10330630399086603,
    0.13254780289287893
  ],
  "all_slacks": [
    0.01481649921984107,
    0.007836116827518785,
    0.005675397670218366,
    0.0041353530853892595,
    0.0035880332041370506,
    0.002681441746530371,
    0.0036501797949241312,
    0.0047930224652792406,
    0.005326656962807631,
    0.010944409460744774,
    0.006870740676343563,
    0.013664512230558996,
    0.009031520923506474,
    0.009181416247451554,
    0.01057718690978984,
    0.015368596294436265,
    0.10209494273859292,
    0.11309905006162331,
    0.09278630399086603,
    0.12184655289287893
  ],
  "projected_vector_decimal": [
    "0.034415046697720578138467864037128412385727639774647540035867803525097514841480834",
    "-0.0050116426185623016860263982476698643888341624223461147558069342828114580519667325",
    "0.054280842607305714754588018521342568060217665007435879170143923587817321459477953",
    "0.12463530051976079639633246581953855810824370930260895100514468954200141499974142",
    "-0.18653951270210931370589255656193522334218470754354525939007232582497783986176672",
    "-0.1722036644523932430371815946625198003866505490215409727192158363646127997994336",
    "0.07218584412028628864185571961829448190806622647595621929463012215629254193831028",
    "0.078022526387811084095591949932667067843450324483367336707972282479074516912878344",
    "0.1311151494302318976452263313170099731990250179278109349895518425535650387419537",
    "-0.063023413944816733128246050280232376198143342134137871187629488124280393194366994",
    "-0.1171078444336224909392574527846208848689328805764935513005726010043971480107615",
    "0.0099845287414213484106174936966006145108240749854991287495089048622778090885350252",
    "0.24269536721665609105554587013360269413620579660954337196329843583624601824479906",
    "-0.084463478499809778240863175658512769180513345875450936970263045439853651318986309",
    "0.0083505736246887609077465518102161758438350613042172250778700045652932998399859555",
    "0.16447552099612077083692637510851782487288475274338221532814900623658183928922795",
    "-0.42303772908854998732908982295014759829671328213764894680815224834674456523130403",
    "-0.33254325213202714158124009983289279708168100906473020669045251309444403407086517",
    "0.045643089293597192487691974662956053103427593786341618946953638074038568229960624",
    "0.098734075960285666475083767025074982217666103005056397751629559409586449325532772",
    "0.65484207410488073544272832856968531937658149789978933476126377786992414208977222",
    "-0.10775965914521150239214481995956470942860609203891120118209656880710525374533311",
    "0.012500009354065622339014072271556028157828821669553125575029695268674651672651659",
    "-0.12152822372712956423851306490664050400383858405202121347424761562545618222015378",
    "-0.13563380862186042490112393384080625266990248080721338190417709804775806962235034",
    "-0.014941550227239658477707021159452641028850015485311813217125200996318750383515195",
    "0.01285404812268369705456785181572027290925625523810675895372552140512269078707623",
    "-0.0084262649040041302531254876880294743891607010245249128876532894108536831040267079",
    "0.028319941057181164314980542366182227630520128220660993913270289940457723254774032",
    "0.0041855748399131136618071842137090603817556433794559376433925616803045449799879172",
    "0.0033784768295668602184834813442474468131012470400019178935250279937351457501655799",
    "0.0020276134718097093930560962344976664546820837120382124420695293113747483649617343",
    "0.0010991029939490382586480504312800295669658877458743539401058504454660724264598477",
    "-0.00097028757102055949387988304582027443125952371175380482048369340208745482447729918",
    "-0.000033358046850634336686218902296672484720360922723268961251689063597511334385535311",
    "-0.0000076751461007287396686947588871293969104814205068451871542458606621641069736006254",
    "-0.00027993673785500752844604236904282299803539356006231022693913326603500092586903416",
    "-0.000052806721164743473552463857810338981455052869722215487045339362174886745005124319",
    "-0.000046317818129433384837810105358539602497633329096278116899306688693066299172026394",
    "-0.0000085717910992609805360693072028155894227542997036764998922224143495319701957517124",
    "-0.000032943067151291484812009876858310765476345249686070177481976789967966230427037483",
    "-0.0000042661510785586941580948560955028503187313712883343756750586408497882677932161988",
    "-0.000001171129613454940377305526621490396490400487012219644726863830480942036134235012",
    "-0.0000038428612280305813749259306096605517601876899570424392173065531158055519489039422",
    "-0.0000018328724110065426831932093553295422114011916394993895888423119229419438219096386",
    "-0.00000073825551681236730445600488064644998877351379549506613176888293710201960079605481",
    "-0.00000021472339475884973586801231232816511773339352481016779221179963110190701089265505",
    "-0.00000017061879263125349056790342359736544778795138780102162119544310873559492148142099",
    "-0.00000043872137864912245726036680355315375164532559259902509207299376384861717230160845",
    "-0.0000000010746069316612547259688225426488218870399803176269833420171690715096066166091298",
    "-0.000000055891020110072322345287356830254769314389772014243246915677361018666189583013766",
    "-0.000000028361182511183094744951309667271674251630677515718928962120528789986827777078315",
    "-0.000000035052055175517287614492954874815062203291975187464103224366050103948454185941587",
    "-0.00000002128216165028287293510271989041733999612735925372155631176906238918450130697628",
    "-0.000000003832681540365987475514663926734527419052961567771161774341938939277463890300039",
    "0.0000000036379579262231396433774380065461507709478416663968032384618320897678461107825558",
    "-0.0000000057003010614729100021457178623255337221283902380239569998526172972620682640291285",
    "-0.0000000015575210161563401102762991035396603890839999759307732801656304826188867991195352",
    "0.00000000092127733583360445135780809603611899430804398708547193919176148947822149248799678",
    "0.00000000032298563826887190359020898151616211098089993230310704639069438072866068139712567",
    "0.0000000026707910174621434750490867254654222224159362438678394876424828900156257689379971",
    "0.00000000014335053794547740879567751943058434846791502819262152830592374548328281683834309",
    "0.00000000029348196756797164990575181392166131578702093697137138387605976165948770135335873",
    "0.00000000036911422228859921754004089178978793904708323150711587935463160015916237569563555",
    "0.0000000010802887728083061140812992840741399260672969600439652610641022912467802113235896",
    "0.00000000021917103484974236688318190366819809689030704296834425432363261590990912293712976",
    "0.00000000068669105699748272986148386836599868970205752024755156207155874455818063752122427",
    "0.00000000027721475780671145338202250709912702386289067239931704828879558864984177660657961",
    "-0.00000000020483484934665338971259819866016303536114165028028868883283200975400016785929052",
    "0.000000000033604023098412440311081273557397490291352042898065773749363960499863641047111292",
    "-0.00000000015348362880195348620367809949669013125591854044249363585920891413369229199710971",
    "-0.0000000000011934684799454703160456765929930093690175211091366970002077867905160056303121594",
    "-0.00000000016255274439036045309115524994195746740999002225972148554737484968651479792960525",
    "-0.000000000030962624444944010272454500619257766391300636001000404043462070435760680984756855",
    "-0.00000000016411116400194654559272315528142130103285361895816161504970663182025270788557991",
    "-0.000000000099556525900153578101221951811697915673859902784179541864260096882592851277569882",
    "-0.00000000038941112685146946138118992711407770737386510978578482827246339826647257035613066",
    "-0.00000000020008539995113890101324518719655891528386937569288943145388537341344796883141515",
    "-0.00000000020638952935377041884586676108219315387826548186689369814282203170032958566884722",
    "-0.00000000017326710441074663417659872355576255817446103507388328815183773942898127775293624",
    "-0.0000000003452089115124237327322011041661825365636379661898102944801222493888910278687788",
    "-0.00000000049319131919662886374148126641404608622134446422062214447020048476926765992837094",
    "-0.00000000017253548226014842531660133085285027129655209995837024078175747440663354206192765",
    "-0.00000000021029035210078128131538379118653864907743128804451540081928778520749070643002621",
    "-0.00000000017562299354773795122918404616861574756754064661444792630214632074275772404810614",
    "-0.00000000004275344503387635341179005323731445959941467274619920337382487184973418378350474",
    "-0.00000000012632820168806441598778074627883673636334843181245745070651453941511129120164234",
    "-0.000000000089336299604732624523208172594252103008236690743885348556475737491075649467722148",
    "-0.00000000018661284053110402248406172918162227016183901965735362194783342178760801720347032",
    "-0.000000000046547572451061279935843416615939957031378899787320763255788602127198024405405476",
    "-0.00000000006166994280957258682795187143447224103776679112165744188599326911839345890350518",
    "-0.0000000000069489762619940956675157781433340660491437971709019701552868009737120706482624828",
    "-0.000000000017461357168455231450519107891198154130488961459623594692769681119628386568195914",
    "-0.000000000012804105365262017431605247924399309254027204386869441914976864316343507576694103",
    "0.0000000000020294969168133346891424343978162461950818176282783039900046233638789458236703395",
    "0.000000000038951451223622642096689304791153459786618049786389877950168691282373626606118315",
    "0.00000000014052181356932496902166517792698300565775417814701501572062754112361365899788114",
    "0.000000000077108436717378321809250424557115805760031765573855198745728209922640524199978859",
    "0.00000000022476317997133260793994562440300473582198639605586254200800505583623228975208494",
    "-0.000000000007695471570647197581171399017782457296688786338740969360025220681597298978832106",
    "-0.000000000019424940486614029886408347408451505481211948056928411870943956621769231675394025",
    "0.000000000029909178072816320047927237323426294523817634194042250807427594670614812788052968",
    "0.000000000009855594815145738717022239751601051868676025702104755327824590808119859004607539",
    "0.000000000056421884032819895477770777246120126182022065808894491522039740800679128612254775",
    "0.000000000092087654051473546986301556666339937811464643113626027864230120641406378017998946",
    "0.00000000010232902517784673796284773447749348727709305011264996034114911444346191498250477",
    "0.000000000081209677662829707223316425503318705044186919003332152297653950825949263583592504",
    "0.00000000011192458692891853667181895312492506593118300548093060461107020922814231748019164",
    "0.00000000021811336583862282326532675361937521000447609895031289195192226784291108103084382",
    "-0.00000000000080526503232365868906820811606112018041252605794925445329662931290104906059413822",
    "0.000000000074547868586051312124395828523859774169815438829270033710424881744055805015331129",
    "0.00000000011653469408775331877487951909595583212578198644018297150244164641709072749941662",
    "0.00000000012100930333982292961004395475302592742709967378074509733401436207573694693164476",
    "0.00000000005296475585951842249125880925891723160774044564567644358193088377944793034029948",
    "0.000000000052364505584598180788176754735531099476001823385261962661273966945506321531108317",
    "0.000000000041515227533332186195015472892043430859694349073677931388441274469706256578682349",
    "0.00000000011331325375515684366629310496552919526413669217767095642124731092328848676675846",
    "0.00000000010962528838077024596753593998409855678027582180631568377001868094091546696930042",
    "0.000000000087515737902764447677303871811607790860185443748899881621703312845350946652566228",
    "0.00000000012438106120425055332065436461443657852971263276404850747189739792142278059962829",
    "0.00000000012712333501089199119002353740634709976715797465224333176909937648520292565458363",
    "0.0000000001250305390220111988948862193270893802553306535948012504572706479043117033096879",
    "0.000000000053375688074128556902092175454289821152107625171636124795041677241647777035661063",
    "0.00000000004486345434323020466623254038478527109203808163655630113318444515317772136365203",
    "0.00000000034770047463451236817335629716029369565969154519832066629321831506277203646509704",
    "0.000000000090665870208209538370752458465917178220928526592348290177184905973657983420838465",
    "0.00000000010527442358963794226204769899109607261598396865774322363339219438185879380949863",
    "0.000000000077591714595982487208527613414019548105977066837502725195357983082499981892501054",
    "0.000000000089918636699530565791111284284392681200760208962600350838623039313996203136891105",
    "0.000000000068368043233137110915930628130115990831571443283211238081697042520986916121537639",
    "0.000000000067879554315640636074650916179572990557521199093486871550797219515207327071088577",
    "0.00000000014043143848008195247963107096010522635467316001915445597473251943326948782361427",
    "0.000000000094499573112361034387051983232312263534781641514701776542821644806194354392597238",
    "0.000000000099242172485446151119125989939875030246487061818502811530832283827050560007199313",
    "0.00000000014364228593718884463549373612231323010173462863740488502885513987156736908856682",
    "0.000000000069127760448971922553606610891148508293813775079887599385995087257480078384500583",
    "0.00000000011921171360214697891725967852729296672238641000819211097456600663188612212577638",
    "0.000000000037088017901492982856255452931042229514083542803289960381108154216296128558099788",
    "0.000000000047266412680692893712328783124637887664479897041817690577819815982750306382369608",
    "0.000000000041187734978865244458109133057149037837056884775492485343158883459055438189169625",
    "0.00000000010051119914199076914737719202075575629307269622848968265862665588151543129277399",
    "0.000000000079806663918437701216002944447282856853646675898281225284061277393362041676467251",
    "0.00000000003636387839126378548586867383898569591704648150342643104154538230589507361875011",
    "0.000000000042198248125347561481321562590168980171647915831249905425361822767723022123093422",
    "0.00000000011208177835122506005475385623058532820751381502288764050763181530951868709672415",
    "0.000000000059338512280003178715385978507511130828986384297092720088440857346188917153530115",
    "0.000000000041652568635651171515184320490770603714613691316559571254118894469842172335229739",
    "0.00000000009269965020255114127435788611285134757738380641768410868208630964816578888768097",
    "0.0000000001119637728175987194109144368267501195699927857986193517774570961065408614293518",
    "0.000000000038834003204908450430055311899595617153060179374496410526169893896585315890648666",
    "0.000000000032791683947058096255325845890657709280247984150251539606480922660631296419666671",
    "0.00000000000043613265984186176025004193958118296488140850021985700657797413029332216201113517",
    "0.000000000054281620563563252262779433199188739744216139337149180210539103024918129500197353",
    "0.000000000030864460602374316643800848928874904179744401553074458146837602163074363656889813",
    "0.00000000007215832449735175194044251247322554916143016254640905349798344115054118749438805",
    "0.000000000039825355450103849948186298566628813115676166562906018195057600244904232119484981",
    "0.000000000019901216217645663092038014382246682745493636993383193067616095993640786523910608",
    "0.000000000079925231214780748399926297509998465680351040035643797658180079241732565025250367",
    "0.000000000027907752583056743427594721957602405996561572439260378208873168070045069860563874",
    "0.000000000041668734915800009906035551475633986934828453853071174261774959942264980260405825",
    "0.00000000006372920003702129911275639950820703350446208635126805781623672028558849689040716",
    "0.000000000037818152143153667281088160903439830541076677576113109123406828546972410574133125",
    "0.000000000043077994233851916664998344708779522832366746932760388970364605937359266256518207",
    "0.000000000013819048915674966023324611008247807632065565247884749108252027460303207954175836",
    "0.000000000073635316472648821028253277629359011274850860294990892002685647168072475547933479",
    "0.0000000000014236743521300705146841684601292425861307927941013934722204185332909584790332706",
    "0.0000000000042703532424433416505249933176774557406743062474987266069756704815256921199424074",
    "0.00000000004739622212135912969869331256155954737251881201869702006580340941565529567036227",
    "0.000000000033627300665773390416266429695791893155353961521975207423654364859339169496255362",
    "0.000000000046388378054631306116477511422376382495512116871526805725869911547291589118402166",
    "0.000000000029181495368733691393129923380637715185518749291628636049709539245428595843281497",
    "0.000000000027923135184124264006030662669116133664686528675295173776203594574531219762020464",
    "0.000000000025186914795072596085039437687970260212039681237709195338919401586889060981147997",
    "0.000000000017238566003242775753315264614548488036769864881696357935691010447914716378243624",
    "0.000000000024235894619317135359666733602525701031110838157243920391272054360701664549845544",
    "0.0000000000033741423760268783306263855550696948216926695259066510196000892767677423242548826",
    "0.000000000014785246643206626720376104318082076253375041127974141723438313173017493997424666",
    "0.000000000019053189105827350399442886047115158857366334266008181154935353932694430100147602",
    "-0.000000000000081080567535728699355768053979504778086943509136055160231608398758345735271307446",
    "-0.000000000037609119494746377891026192301002406492077358516156283551859262638129016331855592",
    "0.00000000002038908267741858392943201131030441630232278092347526301559258940459656509607204",
    "0.000000000015564322625538589654637288740710825871140195718351639554604703651547505528605725",
    "0.000000000011031996360030009801189109990575990396040636828869720832608990995244251836189509",
    "0.000000000032153118868689997533908932742889219598726265081018966588142599005179667363739691",
    "0.000000000045038880997986195659962752657027592928177382152896100975096895991427405368556605",
    "0.000000000016379483047839473709255377597639605018979127389144728506239414479560182645330713",
    "-0.00000000000055922428504904820185710054485570775637496010224549490408617664161270869431031054",
    "0.000000000007056411704724643044973559696602982475162203204840671250889862198611916903851063",
    "-0.0000000000059249246112729093930252617354413574953118394871684814479667396955167933005037563",
    "-0.000000000027117923189633917816215845827773456650455462418141740366990757558470091220107335",
    "0.000000000024427683524639259536670384770556755581756894458074165657266194433301683606466302",
    "-0.0000000000025721929403971381419807414266252074561100646336304160411183272745689454252513189",
    "0.000000000001633890017863867782330605463189691304493649791927266213846459514998703750622684",
    "-0.00000000000011341693537204960905996051889463827760089458677443800551561919170927775257829365",
    "-0.000000000017200469657565867757851429644952797375146410805441500009253488635903870101644745",
    "-0.00000000000017955404727790275077548126770485628706757325742770176473375285041319300593337247",
    "-0.000000000023378783209434204909726415183291680804213812999636862760146953438463499954001642",
    "0.000000000051069849772707622127839131825843565908848398882559719696769575335761657246618223",
    "0.000000000019017027676532778691596267685656780199398847511978518387360312903470948205929475",
    "-0.0000000000068768931562651577614280084862670361905669219400569708746488432257352612307609967",
    "0.000000000030166817689378279989329613909544093267804089455858636830420439518586649925512695",
    "-0.0000000000042033915531080688962652068282594812684901985176640622002409116639506637926545893",
    "-0.0000000000087186792949225541267518072306925029877264625444136925026419452741978957804649088",
    "-0.000000000014671076452417992512299398785433761406184308343189329407984738597433704607899928",
    "-0.0000000000036019158796763812661412281369689504122839321532021260566420366608712471011410483",
    "0.0000000000049525188954361372110783788217710968141946253441806278607648485889175560984062085",
    "-0.000000000006393328874772303321439934102154625631539356066600239065004533353775117871633643",
    "0.000000000011860984197113901074926471572321107171773503854047486085252809082465577935206991",
    "-0.000000000016743222271598536500637312756784645972991095285649658201208214452494165443386085",
    "-0.000000000011381707567351261556048612609039260291646919367880193974303359940651563226669122",
    "0.0000000000069952265567844146969773412322784888175180172964081949165310863817956646319689938",
    "0.0000000000028578666144795096618312862629941998800893142451836557993760675310007973885577265",
    "-0.0000000000018634829846283166798052234482144641476596329590623564602457173384072124400587559",
    "-0.0000000000020971409231796397890649463063249530689548236132060827621717623674643650123091459",
    "-0.0000000000054866893769112111394833530915977556335211323373913725852065751920294823276687356",
    "-0.0000000000249319304190075042050685045243007482873376748212375650177872468550661604353",
    "-0.000000000021018645115938149579863517697453010327597291927844405729600861283008475946325918",
    "-0.000000000020682731101418373647734810981245885432458051771219145954592077621963406787605328",
    "-0.000000000015302379908022239321563423194722106548576281649206516752871825066897053795509973",
    "-0.000000000022612327085400564990092429531394365666816719944658006102956601555156866932057059",
    "0.0000000000072767280302211678362928138251353260907490030098507361486883809300319349213480641",
    "0.0000000000077204141877448241996740252351654424996975342564517299942434459231928433058357079",
    "-0.000000000022978132423326676436534206406101126891847506953184785687399738972896319390781742",
    "-0.0000000000047812489211589640190417703396334794994452178410021704598954614696485079924175574",
    "-0.000000000015756912033893276855530422408734795377943965839028651773332478044065806036757125",
    "-0.0000000000080429870399459496330635997185284607593464198638135187534627462401577299668002316",
    "-0.0000000000068262093374734077281877803745837631290962701747187959628319963424216322371118409",
    "-0.000000000018534800839011702007060535003335751306421259907596999998492226506560938816400343",
    "-0.00000000001581662317507945932814731046714610229061879738730827139297713355962255089970158",
    "-0.00000000003667337847426434440873478346571599918356576876196507055283955259556745221340846",
    "-0.000000000016723841338032778795238976574457983508167349405471023888727181837109089344907541",
    "-0.000000000035911758140360888855570540011693908642477323194061964979658432251121419806173659",
    "-0.00000000009612726694536891756205266201833593498507227649432401817710388459872013327268682",
    "0.000000000018221026239906497491957597105043768633520170018529703057936176955716808329790744",
    "0.0000000000002564364070868695581623689919598708064697662261204390650686629546053387811654656",
    "0.000000000014979319924271456243019308311950350804025994345864595827330258466011492525849522",
    "-0.0000000000025581593221675744842774010823263995281380838214234130656040131787051131881503086",
    "-0.0000000000059189015800917080679148776816631144140704592768466309004575201485112283430227834",
    "-0.0000000000058204204727939614222240737011741117279902813363022290466327573412961039664008523",
    "-0.000000000032768816930956967399720407457319639758066088883800986006163395595952943009624152",
    "0.000000000013280707235667771820135205121431876056305134154451468154244022101346248741952476",
    "-0.000000000005414082917757480143188473771485735356564423313127224720075851302852020919901903",
    "-0.000000000018962360939812273090814999772215846272891834040892855799644215537330569690877274",
    "-0.0000000000090220631405153781505101493223998223456099699005735541298869697618034778451690799",
    "-0.000000000021830270762512755003075122151021907876151927467189723586760925537835124875374149",
    "-0.000000000016405655010378696024439399468088206356881468872370851296883874799745994512652216",
    "-0.000000000029750242922165940053947935850115540175307972291033719865533423988184858432000258",
    "-0.000000000011865534172856725304625273160132423211090151969519263606116054090546958276190361",
    "0.0000000000014919135884205317935275141662223862003878485530556707532568244837865613109415277",
    "-0.0000000000076421480624452742879075715185728737494815624669341748685918803244429425839574169",
    "0.000000000011613631330179312859071627620015127443375275439467778575440956533329573448803922",
    "-0.0000000000061625707612310158674378857670459821654833749585137443703229812888103048411537891",
    "-0.000000000030050656543807198857522548756281085343144861680109028954588458966474542127014293",
    "-0.000000000015241319414321598274715523694208966585487798063480539104345996419293834253087743",
    "-0.0000000000096273862633051575596106085323722054389061825737415456323366213713525088981291",
    "-0.000000000029378255743028202805000936045859846574001967495825868716620581217565256953451536",
    "-0.000000000027245269571972626890869660606369944342876603672178924314107619036302146822378404"
  ],
  "projected_witness_internal_source_overlap": "-1.2960365212502971581e-173",
  "projected_witness_exported_source_overlap": "-7.981948579247652970422984e-82"
}