{
 "row": 35,
 "what": "the imaginary parts of the independent reference values at the two reference points y = 1/2 and y = 3/5 on the first line (x, z) = (17/2, 5/3): per row and eps-order the midpoint decimal string of the reference run's imaginary part, in the row order and the [order, string] form of row35_data.json's gate_oracles, whose strings are the same runs' real parts (equal string for string, 382 of 382 (row, order) pairs at each point); 36 of the 79 rows are complex on the line; consumed by eval_row35.py --gate-im, never by a value tier, never used in any fit",
 "masters": [
  "wpairT4[0,1,1,0,0,0,0,0,1]",
  "wpairT4[0,1,1,0,0,1,0,0,1]",
  "wpairT4[0,1,0,0,0,1,1,0,0]",
  "wpairT4[1,0,0,0,0,0,1,0,1]",
  "wpairT4[1,-1,0,0,0,0,1,0,1]",
  "wpairT4[0,1,0,0,0,0,1,0,1]",
  "wpairT4[-1,1,0,0,0,0,1,0,1]",
  "wpairT4[0,1,1,0,0,0,1,0,1]",
  "wpairT4[-1,1,1,0,0,0,1,0,1]",
  "wpairT4[0,1,1,0,0,-1,1,0,1]",
  "wpairT4[1,1,1,0,0,0,1,0,1]",
  "wpairT4[1,1,1,0,0,-1,1,0,1]",
  "wpairT4[1,0,0,0,0,1,1,0,1]",
  "wpairT4[0,1,0,0,0,1,1,0,1]",
  "wpairT4[-1,1,0,0,0,1,1,0,1]",
  "wpairT4[1,1,0,0,0,1,1,0,1]",
  "wpairT4[1,1,-1,0,0,1,1,0,1]",
  "wpairT4[0,1,1,0,0,1,1,0,1]",
  "wpairT4[1,1,1,0,0,1,1,0,1]",
  "wpairT4[1,0,0,0,0,1,0,1,0]",
  "wpairT4[1,-1,0,0,0,1,0,1,0]",
  "wpairT4[1,1,1,0,0,1,0,1,0]",
  "wpairT4[1,1,1,0,0,1,0,1,-1]",
  "wpairT4[0,0,0,0,0,0,0,1,1]",
  "wpairT4[0,0,1,0,0,0,0,1,1]",
  "wpairT4[-1,0,1,0,0,0,0,1,1]",
  "wpairT4[0,0,0,0,0,1,0,1,1]",
  "wpairT4[1,0,0,0,0,1,0,1,1]",
  "wpairT4[1,-1,0,0,0,1,0,1,1]",
  "wpairT4[1,0,-1,0,0,1,0,1,1]",
  "wpairT4[0,0,1,0,0,1,0,1,1]",
  "wpairT4[-1,0,1,0,0,1,0,1,1]",
  "wpairT4[0,-1,1,0,0,1,0,1,1]",
  "wpairT4[1,0,1,0,0,1,0,1,1]",
  "wpairT4[1,-1,1,0,0,1,0,1,1]",
  "wpairT4[1,0,1,0,0,1,-1,1,1]",
  "wpairT4[0,1,1,0,0,1,0,1,1]",
  "wpairT4[-1,1,1,0,0,1,0,1,1]",
  "wpairT4[0,1,1,0,0,1,-1,1,1]",
  "wpairT4[1,1,1,0,0,1,0,1,1]",
  "wpairT4[1,1,1,0,0,1,-1,1,1]",
  "wpairT4[1,0,0,0,0,1,1,1,0]",
  "wpairT4[1,1,0,0,0,1,1,1,0]",
  "wpairT4[1,1,-1,0,0,1,1,1,0]",
  "wpairT4[1,1,1,0,0,1,1,1,0]",
  "wpairT4[1,0,0,0,0,0,1,1,1]",
  "wpairT4[1,-1,0,0,0,0,1,1,1]",
  "wpairT4[1,0,-1,0,0,0,1,1,1]",
  "wpairT4[1,0,1,0,0,0,1,1,1]",
  "wpairT4[1,-1,1,0,0,0,1,1,1]",
  "wpairT4[1,0,1,0,0,-1,1,1,1]",
  "wpairT4[1,1,1,0,0,0,1,1,1]",
  "wpairT4[1,1,1,0,0,-1,1,1,1]",
  "wpairT4[0,0,0,0,0,1,1,1,1]",
  "wpairT4[1,0,0,0,0,1,1,1,1]",
  "wpairT4[1,-1,0,0,0,1,1,1,1]",
  "wpairT4[1,0,-1,0,0,1,1,1,1]",
  "wpairT4[1,0,0,-1,0,1,1,1,1]",
  "wpairT4[1,0,0,0,-1,1,1,1,1]",
  "wpairT4[1,-2,0,0,0,1,1,1,1]",
  "wpairT4[0,1,0,0,0,1,1,1,1]",
  "wpairT4[-1,1,0,0,0,1,1,1,1]",
  "wpairT4[-2,1,0,0,0,1,1,1,1]",
  "wpairT4[1,1,0,0,0,1,1,1,1]",
  "wpairT4[1,1,-1,0,0,1,1,1,1]",
  "wpairT4[1,1,0,-1,0,1,1,1,1]",
  "wpairT4[1,1,0,0,-1,1,1,1,1]",
  "wpairT4[1,1,-2,0,0,1,1,1,1]",
  "wpairT4[1,1,-1,-1,0,1,1,1,1]",
  "wpairT4[0,0,1,0,0,1,1,1,1]",
  "wpairT4[1,0,1,0,0,1,1,1,1]",
  "wpairT4[1,-1,1,0,0,1,1,1,1]",
  "wpairT4[1,0,1,-1,0,1,1,1,1]",
  "wpairT4[1,0,1,0,-1,1,1,1,1]",
  "wpairT4[0,1,1,0,0,1,1,1,1]",
  "wpairT4[1,1,1,0,0,1,1,1,1]",
  "wpairT4[1,1,1,-1,0,1,1,1,1]",
  "wpairT4[1,1,1,-2,0,1,1,1,1]",
  "wpairT4[1,1,1,0,-1,1,1,1,1]"
 ],
 "n_complex_rows": 36,
 "complex_rows": [
  19,
  20,
  21,
  22,
  27,
  28,
  29,
  33,
  34,
  35,
  39,
  40,
  41,
  42,
  43,
  44,
  54,
  55,
  56,
  57,
  58,
  59,
  63,
  64,
  65,
  66,
  67,
  68,
  70,
  71,
  72,
  73,
  75,
  76,
  77,
  78
 ],
 "complex_criterion": "|Im| > 1e-30 max(|Re|, 1e-300) at some order of the reference expansion; the same 36 rows at both points, in the boundary constants of qqww-t4-boundary.json and at every node of the certified node bank",
 "points": {
  "y12": {
   "y": "1/2",
   "n_row_order_pairs_equal_to_gate_oracles_real_parts": 382,
   "coeffs": [
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -3,
      "0"
     ],
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -3,
      "0"
     ],
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -3,
      "0"
     ],
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "-1.6440038770272487595154485758190039193786731827939860184062034174069255217314697039752636022958540980338330925e-111"
     ],
     [
      -1,
      "4.3962607518880443253708148926021745944944342532900284851319265811414146874216240192589920215989197081302917134e-104"
     ],
     [
      0,
      "-3.1745699008673690760943462875964228507970382018231621441959183153796496291831313019802714436032760111077808644"
     ],
     [
      1,
      "-9.1348478966478348333252738479416076521821080930602163697354706238681329719887481628609817742473452074303036745"
     ],
     [
      2,
      "-11.132573252698576394598810936679206654712857178551414496021965750750100105501125946763765708408887814013478123"
     ]
    ],
    [
     [
      -2,
      "2.4821865648189520117866525502009414116077365471885573648877864582452742997463508200717376973158794727402433973e-111"
     ],
     [
      -1,
      "-6.6376603645900805312415950447641644176194202523983071714158127814123812671058633686346806062895534953976271237e-104"
     ],
     [
      0,
      "5.5638476362603020737225589765432521665834139967952576005940734504956542787244782101324163384429174932370559130"
     ],
     [
      1,
      "15.871439230792805455380197129894858803574140255759809280198033639468179774895354193315141835335685892694976417"
     ],
     [
      2,
      "18.996892876355754765186911778863114877093358405114201305553495381706947434587845536151427519859875535248530451"
     ]
    ],
    [
     [
      -3,
      "6.8358317361892346280431616156901556433399979331946175197779014092010987005232211778952051667116240480980938922e-120"
     ],
     [
      -2,
      "-0.30437575882530868746350870149420789189453544353807253628822992589833515355022094104354662667674490624048493572"
     ],
     [
      -1,
      "0.30237169404467851447746484822145461301220319512131428290475198650035853119399630553206526269975970891303869482"
     ],
     [
      0,
      "1.3311973289724214737994248517551611653925429387666293792520219014380073876895073477804417132120620045058864216"
     ],
     [
      1,
      "0.62214881904316241132046478617570653083792542861721878951566200587683660631899404160887033406039838424113642852"
     ],
     [
      2,
      "-1.1917408226906188371520862491757378411148898703797796087679183165378791009860750263320241492504423614594621233"
     ]
    ],
    [
     [
      -3,
      "-1.7270834178027178904068579661755681591941829307765121221020969998182432587960927439689277627295796842771850081e-119"
     ],
     [
      -2,
      "1.3129934694425080635680767515436418866038783838897246663413839940712496819813452358741227033114486151550330560"
     ],
     [
      -1,
      "-0.75259407920611500554658862432513024552237867386165640493240006541194132982414732886936388507118687716030670063"
     ],
     [
      0,
      "-4.8416131788384969501346698789512081508477716303185323696875224561245401525077776626744077203621952209091309155"
     ],
     [
      1,
      "-2.7694411105671846203353722637801588838193812550746862367423251280947303288073698757438554365056251671829108019"
     ],
     [
      2,
      "3.7129541860615287762848065798002385683526651862119012767333533720538267043307201287843007702514511759861094984"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "6.8185242392023511662839375864529774955275677303152943946822546189660830972506076449668444687739497619310200284e-112"
     ],
     [
      -1,
      "-1.8233540028390773312584931904308833039561379862265257711114745512270794014748462300675882641415426291383640549e-104"
     ],
     [
      0,
      "0.96963422047261780454228339886664731496255078083862978318025569377833158043703125924051338709646079726549450503"
     ],
     [
      1,
      "2.8681009233537351140929211317586488269483740675979517709862365229606290428600930261623402953185569398834679197"
     ],
     [
      2,
      "3.6847852384484318486300121682289119207206397517401640334694731394720455253438235896499079488996148522784621938"
     ]
    ],
    [
     [
      -2,
      "-9.3076444425062487910149356199284998670057242815713362422067712496288359427070394832964392703199011734328526102e-112"
     ],
     [
      -1,
      "2.4889741762109893191673179260634413322372448422049857948834394237101053170760562048902218719609363509664286104e-104"
     ],
     [
      0,
      "-1.6460701509954332294678109999412556164104773254174345825572943249668866697125884931509315679210179345698121455"
     ],
     [
      1,
      "-4.7874413465637365904862519904054330059728759380989055990600356531770559271668868368529208205380635477845011387"
     ],
     [
      2,
      "-5.9517480393382667405515295602138076238678900371796207976888258662341097386514847215804862783336472877697086538"
     ]
    ],
    [
     [
      -2,
      "-9.3073945655704683175270423702393001360497061272140985792054729366447670897960446328313050810430355285040201898e-112"
     ],
     [
      -1,
      "2.4889073561631641941188087016812525463499439887290357878478603378563094813128493946646937329442641041877244861e-104"
     ],
     [
      0,
      "-1.7947316810216974201135928754009705137151772528929791371581494048178612383578209597296419797591002342905572038"
     ],
     [
      1,
      "-5.3014408341458174183380911948287317302569520695837705690221978416301105904983007007506546100246207447578695728"
     ],
     [
      2,
      "-6.7618201168159710111163866685980770291867479315325500567252693309681865389836644829690582599285939250611861217"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "0.34519344871193159664865901720789903488692020288696315394701648540869207381140143204911549410563772383279937593"
     ],
     [
      0,
      "0.49575683859882046777516385762330746641525588833419339474608908445475459335354519857305717614775620715586690584"
     ],
     [
      1,
      "-0.23375996191471030631607998099558541534424989687807252253886582954996761154070842718418385739173101636423434937"
     ],
     [
      2,
      "-1.0696032263130785595752500546059851438395793866474371817498821952836580829913986261014812292913972808205560962"
     ]
    ],
    [
     [
      -2,
      "2.9023049936662264778865919038122881325234589149252379156350856262058877172126487492453371854375770877361085174e-113"
     ],
     [
      -1,
      "-0.78242813227972959510939287766945115787814641535352109754371009948425715090481633988903764029626600476185438633"
     ],
     [
      0,
      "-1.3853335778209889453011466083012922212729716448550570021642983377421905979340629634759038515202730298841844078"
     ],
     [
      1,
      "-0.25505867593239993507095278919045499509589452061769929327919765742856385677994662281018192685841318197324089202"
     ],
     [
      2,
      "1.3884436314598236882414814164406122534012241264501139767551764317007308764324146277583135928379678466395275050"
     ]
    ],
    [
     [
      -1,
      "-0.54404802960346413611410762821427579230665039330982608165924119956080397822422385012529660554853505684013805440"
     ],
     [
      0,
      "-0.20405226692215496903042242219383677459818641568846908495033768529340148167972549835846352109576101005576212931"
     ],
     [
      1,
      "2.0557839806045158537161270311353049491570301084743894554724546791560344808394987602108268158023247423438858392"
     ],
     [
      2,
      "3.8043576936509450355282563903672741433069236623807867019313359451021027392483198310198292016832006783858650072"
     ]
    ],
    [
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0.087423688756947225701150806225766856998098385536185450010223469279248872535932545897115769715045409017671880458"
     ],
     [
      -1,
      "-0.087922695910433470303269360270757612851627203996134922520499258579065850312507549081179169990492169093080655419"
     ],
     [
      0,
      "-0.39483487845431157774125907788540164919514536050653328652197766805676382786522912234280821232578383495882075173"
     ],
     [
      1,
      "-0.20632040471478480147138848980578433046072315585639086507154991741232344054647589981932774251436238395714306384"
     ],
     [
      2,
      "0.31907429385265645771026365671355597273871085035482384582541440488055879067349457956032814983930950651162638063"
     ]
    ],
    [
     [
      -3,
      "2.4751414008994909132336711892231781191563623216940944597666851968712089397519932400751005267476298907207783388e-120"
     ],
     [
      -2,
      "-0.20641969484938420715875567276563789640765079070147883387694790663185725643157744146410802601554677914063972143"
     ],
     [
      -1,
      "0.25584433754123891059199994041577778384701315977074696021533212388131389474997572357689519828661844003216912723"
     ],
     [
      0,
      "0.98049581214990054395425877883422372035904966826538682407173304157229510872929311841004853973055727102855626330"
     ],
     [
      1,
      "0.39930751510135912982785036440014010134616282620921589511203330072874575318633337625440592136135723546729034579"
     ],
     [
      2,
      "-0.95286782897965658757266034836968741717133055817064684042089825487515762298374543256770790702340215730009112700"
     ]
    ],
    [
     [
      -2,
      "4.4646117702835835995457927700964580611298816430316048191355885357626777219799892141534827243523430853722773808e-107"
     ],
     [
      -1,
      "-1.1938899597802880557413795823141634528978166541316723035820975193391942747789126855495842756148710076258083543e-99"
     ],
     [
      0,
      "1.8152148284803334532301623927947756273133142194657247490369286332276297100041849592259030459567050495646538930"
     ],
     [
      1,
      "6.4763869360742635482024103195141789173431036930637068915949688217532576042958205028586888418025871533011724494"
     ],
     [
      2,
      "12.458758223821805742503544532965090202235206311104132100848572153948394019082559627605375414446725586833872432"
     ]
    ],
    [
     [
      -1,
      "0.52011839884596614538242739188033938164999362351114256949814175744196468045029728424844569459219922698517785325"
     ],
     [
      0,
      "0.83435220159864698219405259057184220728878100600226661610075412238114204842919296644007975754396060965920227013"
     ],
     [
      1,
      "-0.092632341964293221802705486414540492143424102996057167118165633325566372257347360392014126990853327254164958298"
     ],
     [
      2,
      "-1.2777479594722669423644976304252624383311812100286529390402975115101358350226123596354488301902386070094022041"
     ]
    ],
    [
     [
      -2,
      "1.2022281135065789833207863514783183034082403951872323029055962940015389647454723083339252613943687352237543861e-112"
     ],
     [
      -1,
      "-0.92369998374688784722287446296223062179172325393071698222307125257466868795629540047317316835584001836071396671"
     ],
     [
      0,
      "-1.4885054159295448709592664061640966426932587264830818087063114037941368345443414896518908536045326068719271624"
     ],
     [
      1,
      "0.12093254544913922557174338272948953748578481310735035742904116751957365293017574580985536956848857862956748115"
     ],
     [
      2,
      "2.1527316253042761730199722326178868051200843151629994491027235366236013327132512051541952291723086014779704261"
     ]
    ],
    [
     [
      -3,
      "-0.025199941071575881591946337299033445595164460422794966478408646462362163686787772716267659026808425679001187860"
     ],
     [
      -2,
      "0.14792897647324907189962491384635056624350144644395835018229639150392326295080461763605653768669968887753373167"
     ],
     [
      -1,
      "-0.0031312599369139165964261259750716215365063373873658462996601329248003929160584472220985930317729187686837824014"
     ],
     [
      0,
      "-0.49104217708860879528323392729832933939902727497412028505403374322830841919977301875643498712443611213091019133"
     ],
     [
      1,
      "-0.40326788528258568199667906479576534771326171431646697830300543556522232886037067856365125221963973088839799986"
     ],
     [
      2,
      "0.25867057446645442290228298191272974743951443682564675362580046780765054168896808962863418661047864713084228973"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -3,
      "0"
     ],
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      0,
      "-0.62704560296093493875897885268154660690303305543990984336824073056445942060788797856260041726598315142464207459"
     ],
     [
      1,
      "-2.3851161908247013357026212426710762370994450128586696406801434163694452333881175973843547814777998792016697376"
     ],
     [
      2,
      "-5.0005633491619214399295407055773095452348916028934679563489529990027291591502332862430999673334008021528967638"
     ]
    ],
    [
     [
      -2,
      "4.8965439392383422579708107745537871677769552696356761873498187030934484230410650085007762390769501806534348360e-107"
     ],
     [
      -1,
      "-1.3093937263906878764153451368623617813018184128753466624667875049433613330977071187779335622363236155798184608e-99"
     ],
     [
      0,
      "1.2771256614975299403687622056373571473525140401200856423307897259905139496766060090379992361850305975485019188"
     ],
     [
      1,
      "5.0419024921033540864103097818615617382733335816450354309782061338949790540250095261837802938176197217750903554"
     ],
     [
      2,
      "11.131988792681488392381572857413955925527630121935767490776316784473980720595508327340865553671171717926042502"
     ]
    ],
    [
     [
      -2,
      "5.2573871061566869074296641593432625192026427406472505025392137882105621620869010439418616151956549542983290343e-112"
     ],
     [
      -1,
      "-1.4057953983558447597171036800090528248874784022137456194380036841627497352074166202560659491760433378890263851e-104"
     ],
     [
      0,
      "0.74776958654945001900443197991313765449664341511056569734752001603092247003664376528944580085864060657050473731"
     ],
     [
      1,
      "2.2729891661710632590308168862465260934453729770723450378845747850304197839240042089524086405968718817132425766"
     ],
     [
      2,
      "3.0555785850712040303853477021973273802273768030309320291511810539948255779702786869593282844411775353811286835"
     ]
    ],
    [
     [
      -2,
      "4.7872506818268511560643302058884171386240861880113655383498723848703146445111802426323857085068661384800551265e-112"
     ],
     [
      -1,
      "-1.2801981286653524836396169568221137889963044846959021067662258723785791365060363996597958577420121430430583869e-104"
     ],
     [
      0,
      "0.60447884305507763427845058692218967501399823820684243970151424493294917642070619368795405534404798751074328562"
     ],
     [
      1,
      "1.7694665027691282789154851067277566669443985700118397042495847872378157197752728052809614730504034200963637348"
     ],
     [
      2,
      "2.2397271756155347619642146562385635474985980402838076984341247759153974923344938417986036166618649698753102675"
     ]
    ],
    [
     [
      -2,
      "1.0988600314310820526294211602627044057526916710791617203117753170363082170126392485097669261129990756032027794e-106"
     ],
     [
      -1,
      "-2.9384816108350363702941042471402617473729622493913329585089211197060967861399839708312431196479111139831372606e-99"
     ],
     [
      0,
      "4.3977918530808865475098341935252212058100183732209736807410876272606881245611657554987058042823372997360834093"
     ],
     [
      1,
      "15.820989596793269992158083015627972263276950159264818328843231273128360262115295421931294937272633303306328181"
     ],
     [
      2,
      "30.735149257791754531941647220086521980481429289069558559797120575675464343332318877981645540727888249268512391"
     ]
    ],
    [
     [
      -2,
      "-1.9325514507855920929301819054148284854728649954416556373294089581401019362322795265271628711062876669583019787e-106"
     ],
     [
      -1,
      "5.1678711003664760924916277249202986959617282542141676842192999813861575204018675943728074725747471189176626383e-99"
     ],
     [
      0,
      "-3.8700386155531388819515632840918610154025687571116415823571271354133152350733952278990483047602973022743726608"
     ],
     [
      1,
      "-16.622570610785974204032097632845819726627679664003516955122631954003420393330711625203333297056745227779125329"
     ],
     [
      2,
      "-40.195774185175000279092597540210877565084693223770394490820423088357203026307806851339870963818943672582089230"
     ]
    ],
    [
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "-0.20699810532825606531864203176340260343660472173561473839060528527122216950426513667457634385143101416505645172"
     ],
     [
      0,
      "-0.44196889654746203956887389817286499018230359106919635628843299320294805818158465496677788914240935344011872243"
     ],
     [
      1,
      "-0.32863594370342719215632282803445261450086979154724632789422799328800827933709743895593910084691722863826530321"
     ],
     [
      2,
      "-0.10673521141824512906390864372261508711502385609596552193409383824606813458817122000704685598892760886389521059"
     ]
    ],
    [
     [
      -1,
      "0.36130876675064877696903029248717206200303661398259355530068487369059554822788003178943393007020737667731614445"
     ],
     [
      0,
      "0.71008770850582392880025351460503655120514950656614550383017392245037587772000224247426442769370575029582909873"
     ],
     [
      1,
      "0.31278460078410306014112884347380973298047921529569700505389894490047691269177664615100193766175576712703238753"
     ],
     [
      2,
      "-0.42275791786508456358448995917897876377148503911418309319909578822253558108583302629326858350418069190444683804"
     ]
    ],
    [
     [
      -1,
      "0.19857484884388638453493477235846392569653733233616478402196634239427111956813794068940965327813048812970377447"
     ],
     [
      0,
      "0.24690122969806760877381086074081717071765514294556743550281516078315621850607931308798133226011874318602171081"
     ],
     [
      1,
      "-0.24239003964529175597357859439748830544455090055549462749094643911701291918962463076843809670343026914018868441"
     ],
     [
      2,
      "-0.74411538523655950276529878774536683621639833058276995247950934511844227160840761378769577797124244534575569679"
     ]
    ],
    [
     [
      -1,
      "1.1315459052968445149978877257482891682128889833748888843525683495743521464758485190507622742878708424166437521"
     ],
     [
      0,
      "1.4808377260888853903858941946531967006697449455934775781248643563562071581328635845026848956789283428359205175"
     ],
     [
      1,
      "-1.6187062185685412507155524464504553076785002044359567975119234724360041170598877844664378584302208420809430078"
     ],
     [
      2,
      "-6.1511161390724562168702985867732288817900109746683276425851743723017682038025801516254027063183367193795025663"
     ]
    ],
    [
     [
      -2,
      "-2.1323450436982811688196984327958022034155159878488692728044488077611064677713685891533256818411016909436140580e-108"
     ],
     [
      -1,
      "-1.0163494285426047659087433260795265715803379593520569086642373924131790603425557372158848589843349482121906817"
     ],
     [
      0,
      "-2.2607327445832629383592315216034401083326305755824073680790763600733863342036926196661918747828113644499750069"
     ],
     [
      1,
      "-1.5804337093950998533326588600521246355559353001077440608606644486111580513997624888037234575374525192770959489"
     ],
     [
      2,
      "0.48084102912072606075288842309529862209570416777823612195077225902027095928003642591685140380833369838970155370"
     ]
    ],
    [
     [
      -2,
      "-2.5947139765095460950786834988587168342792119347576431389815627638707199413295412517662124539150043034694323611e-109"
     ],
     [
      -1,
      "-0.33003847374790305895077481741731442873713399535515378607400391465194708939177772532767507788081268948160268405"
     ],
     [
      0,
      "-0.45974248245891738368066605837995437776629843028664018377082727906900360385439247019594988596825938365638171362"
     ],
     [
      1,
      "0.18356893321909265938841050767402353620487828428718231109772808670720178995444729075138774142947489379761179897"
     ],
     [
      2,
      "0.77907238056510761683282543489856887457405684214294658618149599867561805312767573774704718637761218325310787290"
     ]
    ],
    [
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0.092716102133304209106475367795571865298591149805634596303825555990925673778342614765254643082829821286541526220"
     ],
     [
      -1,
      "0.052815865850774195093076751549302076574193902268807673884711567742216380214657622373691251279493363894423209182"
     ],
     [
      0,
      "-0.067302616986140746773710455561494409400727119866465596721795456896966461183789625103391368776911539038779929477"
     ],
     [
      1,
      "0.16853087939697106170303846247397528777775235428483059860322508447281841327894124290478758048604995187016831150"
     ],
     [
      2,
      "0.76188477578109691350712518010899291340398350993838049859037031205832750926273843824456086720663847353419389913"
     ]
    ],
    [
     [
      -2,
      "-0.27886910337646573331274953014739626038666623684303565281509905755567765636351472403378195081312197473410123678"
     ],
     [
      -1,
      "-0.34474343906526459271491667007915855222169987089007813822299855415974742063342418057358214785312423769171259253"
     ],
     [
      0,
      "-0.13801767451151047260124331000941306411809585779092321004975180192490942333483569558944924898904793498480712717"
     ],
     [
      1,
      "-0.65402681680549312716311890271490911762653993776659323099403095560673880213846901525563171495077750378945216881"
     ],
     [
      2,
      "-2.2789943069679242854423474051423149068668654195967297205786399294374584760623760720786263094592838936290269045"
     ]
    ],
    [
     [
      -1,
      "0.50028612825196223274195968484814370589703177862453457587837589082257769600832061159228530241110689041211173323"
     ],
     [
      0,
      "1.3685772596016718328385099011203453814920011358347981775338958592905704302295094919147816094661575165464403471"
     ],
     [
      1,
      "2.0532908490972098291126417425606539769419171720935802285934032169128714228675228515717803436643067102993252684"
     ],
     [
      2,
      "3.2516296402907464689913785043211798556062594907891820608948648353807874797674128677600635651209509600284861900"
     ]
    ],
    [
     [
      -2,
      "-0.56544614633395147055094612151552748040049342715136076866328713970944792076930098785365993852368687689250230680"
     ],
     [
      -1,
      "0.15121029608390025213402884634039823676787772137083730181394652160792611648846546123330233095717848484983590865"
     ],
     [
      0,
      "1.4869893403323091747920351313473213596241723507505482087785213657296780224116823325546982384360455345407923805"
     ],
     [
      1,
      "0.078061995773907706795735925022662465610840221035788872850534431416192570095185921640305600125625193116554106869"
     ],
     [
      2,
      "-3.3799317201882670731203267435106880710582766559348314409455247712689798500817454797510502246695247260930678737"
     ]
    ],
    [
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -3,
      "0.013096032367905576260381561116033129206935861322082423524212367452881124435653488183257208628105166100898255108"
     ],
     [
      -2,
      "-0.045611270022324654212091408540076145184711078244028696071039759517798000300138576893688993218538183890994690978"
     ],
     [
      -1,
      "-0.031614999143291486831675338369913146125567456121529075819237913843399916836649082745508447843757102056194250206"
     ],
     [
      0,
      "0.091597701165950007618842968998854099916144227442489088533480059938948201340755800104811252981150003003066316165"
     ],
     [
      1,
      "0.059206256889927368270660761853057162077864342255486041556113689008476850077846651801022220596412993308012668342"
     ],
     [
      2,
      "-0.18718944744035287707464260928901405972599327740503226593130369420340592923834238414154885397574145960488431189"
     ]
    ],
    [
     [
      -2,
      "0.087423688756947225701150806225766856998098385536185450010223469279248872535932545897115769715045409017671878504"
     ],
     [
      -1,
      "-0.037018586710316305865505446324677432072883689594465566702590303713477223147873435343641838390652938102199282006"
     ],
     [
      0,
      "-0.36910379302329982145486786605310761095871539562403701112695207551505561926458447275448548993843457506167594296"
     ],
     [
      1,
      "-0.43278234906328567310602731955768295163391844231537399395187276320915541062361475213506646721795992992426092183"
     ],
     [
      2,
      "-0.27320405300151908669854300766850193616572312042982478338549273249842728348926088671542761075837202274536854417"
     ]
    ],
    [
     [
      -3,
      "5.3419257377226564380670470175177372612717246352677651938132888743519441594969688147935861511488632824341092234e-118"
     ],
     [
      -2,
      "-0.20641969484938420715875567276563789640765079070147883387694790663185725643157744146410802601554677914063972145"
     ],
     [
      -1,
      "0.061574003357619973702829383657591571364085250903994472536500311732338331818453279387228904454578406994401040613"
     ],
     [
      0,
      "0.81405457702439575470554348434565267445175572940426810088270562880615362746242132894979338851046940972362935755"
     ],
     [
      1,
      "0.82812432697666480145779627191932294819006450043683554057139949906270205673771325403833192579626888038157029841"
     ],
     [
      2,
      "-0.069824494603869318018389190966309369585714345208685772662563857781368676292233154132117245862239613119353225826"
     ]
    ],
    [
     [
      -3,
      "-0.040478645500799053895724825267738763003256298631891127256656408490723475528383508930067735759597786130049152153"
     ],
     [
      -2,
      "0.36855617621438653537144934734936629994019433682264634241987653048728410929272383754975464842424576609367642263"
     ],
     [
      -1,
      "0.019808343834176152469138904411483349686219956483319247472119076167474363982324430452059533251485356869161482277"
     ],
     [
      0,
      "-1.0145879135855171954747282982065970100074459881245323041664225971757781038319742701012399979767960481240897576"
     ],
     [
      1,
      "-0.53497395783731417263747028459680649784399987192897833646351911431131246113631998863186143548640016807327380540"
     ],
     [
      2,
      "1.5047487952432445190669016822353034503358405625655899377022097349384918411537077156270417171416892217743748982"
     ]
    ]
   ]
  },
  "y35": {
   "y": "3/5",
   "n_row_order_pairs_equal_to_gate_oracles_real_parts": 382,
   "coeffs": [
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -3,
      "0"
     ],
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -3,
      "0"
     ],
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -3,
      "0"
     ],
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "-1.6095967200077456054824493900169426263327025239550998469739646700265532478052131813700718289539146013515837462e-111"
     ],
     [
      -1,
      "4.3042519457667001471078716651633285266842056596761258044988750225861947239614897232214561993662242232756928639e-104"
     ],
     [
      0,
      "-3.2815000837971520917105641501570477383999950745970139270158466507552779191732801021967993167016217974646594452"
     ],
     [
      1,
      "-9.2667514599490280940645616475274152644952100237304886813589893325958387781128666931199277368886232440981192196"
     ],
     [
      2,
      "-11.006018427768374353553022019230755910490693285021523219499790459251358998293033592544543332147269894968839290"
     ]
    ],
    [
     [
      -2,
      "2.4725551450947167166555609030419600406665092193475599109689536538153314025032342802792132165211931201934140535e-111"
     ],
     [
      -1,
      "-6.6119048094472034808810177285204087769095648936913280685979366695555466806165943935640474289795419976010783833e-104"
     ],
     [
      0,
      "5.8583200319233899055972206041632986035176097632571347930941697793259799706547145327396380021541754994005779770"
     ],
     [
      1,
      "16.396867461222115763824964617594568479654842546637418595734054205149665750261200229587840759171245882134024190"
     ],
     [
      2,
      "19.111890207622195615273687038276068156466695381922617965916526392549717141095607563790508010270872688762000186"
     ]
    ],
    [
     [
      -3,
      "6.9374044530634853862420437998266553541673924896790844813804228927594553753339246920880473133129214704605066884e-120"
     ],
     [
      -2,
      "-0.30550680004307407895284461326689487415178185930679369765346281992520757980205908657178441348107632827028029675"
     ],
     [
      -1,
      "0.31830725093300658274445846178401708491034738557046691738283234909902253961838584992454537918813376366559695753"
     ],
     [
      0,
      "1.3217376920054518407135526651242989258759535854344203960978810164762384887171796509065082395870283065677370056"
     ],
     [
      1,
      "0.56541734328185421751142601295519791977110148454013923477208866240978023646889037009087504697840670183593402081"
     ],
     [
      2,
      "-1.2144212130708118413602878240594914808060576535629290143612707025594434959015859422008224751227113052987680979"
     ]
    ],
    [
     [
      -3,
      "-1.7433524123963368790674196061708691835433363890105662768877312923516136269517960309512814372040680516729967972e-119"
     ],
     [
      -2,
      "1.3323687216907437842115917917128192734081900760076342870014073598453007639748952591539603674253221873282580687"
     ],
     [
      -1,
      "-0.81433069031835433805545369246744590770071667704617667230685185784125056476432206965288036975502824274287900068"
     ],
     [
      0,
      "-4.8490358687303407790950120685626492034378072948262224722048454271375879470013696188866025528652944912162230475"
     ],
     [
      1,
      "-2.5815538188184238834088548416107893771838792587113130677031759837486986102552005007675282961989092706673616287"
     ],
     [
      2,
      "3.8360874092317846209990763705558156458184328621344973485726154032211985547900087301501990049240543688883309159"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "6.6806228626572446872613584964338872762303918564871837986371678901328171542696733518960499813472411822801561827e-112"
     ],
     [
      -1,
      "-1.7864775442251262673543362960792676098093541701686515157905991476516801233956514991945990836053182866013592505e-104"
     ],
     [
      0,
      "0.99683357871060430673017491733779547419150690475468511621732694478228983955025964289933142817495064269398403667"
     ],
     [
      1,
      "2.8970719858335526539052091920520059145207819273392943555640407254161868532746336300919181999423878616292260540"
     ],
     [
      2,
      "3.6384183106279060199339821992535831006484494964231525671565060645157839029515403133162367437017947459655042582"
     ]
    ],
    [
     [
      -2,
      "-9.2713713607139075275876413858141214599010534879838007287339394787514738243283683984244033836300601384724599952e-112"
     ],
     [
      -1,
      "2.4792743252533261808083084328582232487222357852146295886766217379708137241080202620825777933516077329237545601e-104"
     ],
     [
      0,
      "-1.7227841835506274222084344581250916909732627069636066286017976768796178128991067869918192759064852723182551496"
     ],
     [
      1,
      "-4.9206618197561770373906755302663360594157758617687646783873065662367112665473257269804656689412521290089533258"
     ],
     [
      2,
      "-5.9714548221053187374018166552833734114152286596175015291208141326711476855232578909206288885776861697851404470"
     ]
    ],
    [
     [
      -2,
      "-9.2711332983148260795003470233659861331224629816631013530183473148116644814927116491585753457931632610709174581e-112"
     ],
     [
      -1,
      "2.4792106645523103969549612059079101395138924992169453365993528994701835827622119014827715233048395131144556982e-104"
     ],
     [
      0,
      "-1.8799287193081935949727682065841969232703406826966523519198927506373313113818501953695728204143826527175468566"
     ],
     [
      1,
      "-5.4559394626792538483328889974750604595320743215969255784029130429828549505917274901157777446103437434364510417"
     ],
     [
      2,
      "-6.8002925797050178704040623167472811249949308858946807608723213220902798795894695144875265488176887067625830181"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "0.34806968553303179440557171219121476648556338337294745810747569844880664559373074208593990030249904789975226202"
     ],
     [
      0,
      "0.48153074107496829537989113979075208784173168675846853413381569956749152776169675724878639098271833124108749227"
     ],
     [
      1,
      "-0.26172387992060062633455316006774941943711690150954329483781166934993782904701999739434120005287140487264092771"
     ],
     [
      2,
      "-1.0661684610406427398678886286253478512906967631826449647120033952742608400992121489376678603286981622410368422"
     ]
    ],
    [
     [
      -2,
      "3.0627511722689502369355572456039388469062145163568153420115831205592373590333602217447446745389057671287729658e-113"
     ],
     [
      -1,
      "-0.79676659035880989358870525703361680808212166547887758310506050569617058710542854312958483587589435219273764699"
     ],
     [
      0,
      "-1.3619974827594748836096170102035804353666814830551534838401993883985774438598399313625226217176123573880580045"
     ],
     [
      1,
      "-0.16820759584855702800888465526211211148374905789447119705160229822420841711854461876168114135179881106686797060"
     ],
     [
      2,
      "1.4460732310898331304219513697338116431194289208293685664500593653147308212593324158176649148113530825328267960"
     ]
    ],
    [
     [
      -1,
      "-0.55802886407788269657215927057660314943618214960902270041201112354446965571270397190018586415680374299545771908"
     ],
     [
      0,
      "-0.18197090323575514137151440852838466519962076595388053835668433740378384173950002875120267993307055872743638632"
     ],
     [
      1,
      "2.1138711353146955339605739085600682407167071658272275948101050901141461126086058569536828606889917162215090634"
     ],
     [
      2,
      "3.7875893879496572933344024806907365074603792281359696556296454486179525660526571184622531301599590995961950039"
     ]
    ],
    [
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0.087117377590739962471775133522185238998918463138499522469031732190880771247179147387973106425613280222713438039"
     ],
     [
      -1,
      "-0.092320692702058555291229896131028718572496161590865352422225686566403616009557606776740512194524222603066737037"
     ],
     [
      0,
      "-0.39065603238949274744486087012056787823059304739064227688674066229259695645245340680182735895017428065633834245"
     ],
     [
      1,
      "-0.18956432864427105877440329116306932740596340566225556812948799906398650075528683084632066298748264577952890996"
     ],
     [
      2,
      "0.32436020390359058468912074772542695012617759007646065912176783465961505573658218047535003133810476792015075604"
     ]
    ],
    [
     [
      -3,
      "2.4050619935150333416147081155356854467114241086566986359477836347960670322843255499930736851076502776733125393e-120"
     ],
     [
      -2,
      "-0.21001547758248598720516465465412594046353345061786835542849552681872502033753480721024050187941257954718823645"
     ],
     [
      -1,
      "0.26515219430223285244979290823439989802192440916131818112779882260854081551730539301178729022392193443240212976"
     ],
     [
      0,
      "0.97490749355378038790702920303240999885205736688945824787961239920590635122104398130764640623079230159651398272"
     ],
     [
      1,
      "0.35805895130646820537538105062666662336547701718873399493996753333621105876630197029866525441568295919075323471"
     ],
     [
      2,
      "-0.97298159408757566358033992766363410012763940903470343715518790978239926629961717872651697223096739411051499208"
     ]
    ],
    [
     [
      -2,
      "4.4344781817763864915396171067982227382691958895746086869301513918239406573932362217858207005797255359879557948e-107"
     ],
     [
      -1,
      "-1.1858318820297510377221662815040343904578064863753485469260269860684766491761111131443656894560697636274843013e-99"
     ],
     [
      0,
      "1.8503217044805621357506956566041482379504694425602351931094806331860150868272882840401547652964412423138583539"
     ],
     [
      1,
      "6.5041415321879443378868345778183391511840740267113907698403111162476648262504870744716266062772092553126736782"
     ],
     [
      2,
      "12.355726364471252607261510746979722365899203450583668674146525845747376954381174974313193353036845051819481446"
     ]
    ],
    [
     [
      -1,
      "0.52245771221084486547239403824917352436159853954488511263103070859140892177258496311930343288575727986886849568"
     ],
     [
      0,
      "0.81283661519417436167089045974254252833246333830397505512179789989358453748452779088570221892434657354652017911"
     ],
     [
      1,
      "-0.13021215143005784812866383440002073828608520526397358970996765198784775111027156286183338136200865595533662895"
     ],
     [
      2,
      "-1.2708971925191194320471016099819801423915714661367915560248070353694008056246341905704320621729323394858210450"
     ]
    ],
    [
     [
      -2,
      "1.1430681052725612798230373401184103141346446372059904510011423684404934090726919931917666030258304282259331966e-112"
     ],
     [
      -1,
      "-0.93816610357215929014882172298205020867623903783260838882407292394570021393640730210683512486502480877939473985"
     ],
     [
      0,
      "-1.4599695231590375508185549085007975899115774822815197773765822518875680849115453000607040421935083010390035741"
     ],
     [
      1,
      "0.20589001764225490792927003485909303074160788370809622201059601832775720158409814750772306540330712088813253227"
     ],
     [
      2,
      "2.1791094113859754178769737339657905312609647475124860996188581436138589579289709946661920123170696664575422736"
     ]
    ],
    [
     [
      -3,
      "-0.024860928411420152243175758770346896999713817457465886211882969604124107673064170392730425945730285423229871431"
     ],
     [
      -2,
      "0.14785097857443078406536183410097200492067176897378890803441695799224578343788219488146502105863656992336587964"
     ],
     [
      -1,
      "-0.010928595219495972024623614427510799804885378675946798035062545589156536302083125330440882490281754347287965315"
     ],
     [
      0,
      "-0.48835105912619782424713499473961679599346357447244773848401191210382710749236665384799975767181406824603130164"
     ],
     [
      1,
      "-0.38020492190427108121439251390827846923767075257913093921856406019835936000139487098190460647430649425177986929"
     ],
     [
      2,
      "0.27011863234743612920872434889679177626161229369801762183368216611312814141221023164365095145936306220636480929"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -3,
      "0"
     ],
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      0,
      "-0.63428535177486318572589938608916635053468461939922986783111807681927043537231340001465042741433992176498528570"
     ],
     [
      1,
      "-2.3776857408081517107899641787432044411704830798624013621499917295123977667532667141491474723740050386269060702"
     ],
     [
      2,
      "-4.9227697708681336955274195045927284148445900668950149330923931880123383694588115197891994281178418898369313533"
     ]
    ],
    [
     [
      -2,
      "4.8672039735969099912183369299917557252805303327099810422372394225797834114133880005083011159203558374338399301e-107"
     ],
     [
      -1,
      "-1.3015478700106786527671067370799851237088063681717323151878677473582324092070691784312934560482112458446287324e-99"
     ],
     [
      0,
      "1.3106098341355319658498419940838165600658409480963742624180162055885997934304617135800835558897980092762020376"
     ],
     [
      1,
      "5.0983100182137563003319857312893451614760051251998848275697985977540624187531151975754519092738522519550411965"
     ],
     [
      2,
      "11.119714407930993697164496110374074905506954112389729985244572226663194142413959088533274989466102352805282225"
     ]
    ],
    [
     [
      -2,
      "5.1194702200756384492124394457851311713828714253444520723063421981338965324539907692329301656633954646643086496e-112"
     ],
     [
      -1,
      "-1.3686248116290417935610975861064675979408594851037162309861806303316454780407323496214429852813503223356795631e-104"
     ],
     [
      0,
      "0.77140872402962596056005271938169362002181644266947194241978553242297910182426266248183275946127436749909358108"
     ],
     [
      1,
      "2.3044155975327800765775594203219288163201732362199004350866937912816858698840515823297302532539120903918690287"
     ],
     [
      2,
      "3.0303982299817301426173027475240393600580195949574598830980690048579985834996713847693150003325238909657599956"
     ]
    ],
    [
     [
      -2,
      "4.7446199750903057154268507447505670373361027158866588930406942280742028648341297592876336059269513211390183401e-112"
     ],
     [
      -1,
      "-1.2688972551434275355905108864899549295605634030515971609238161945269057879213535362225541129091262853139904154e-104"
     ],
     [
      0,
      "0.62477106112209330273396695836448719194233419646496797714216908451285282696967781739700547999481587261055520272"
     ],
     [
      1,
      "1.7977921229558224309502774590470848426528394100532323727330966388807800463880522692094185139043139512930601289"
     ],
     [
      2,
      "2.2266317164284646207061505586360659128827700185656761461122715937674129306124187137600470614448026677774859218"
     ]
    ],
    [
     [
      -2,
      "1.0748135855797704996052688250803452089363638639306196692248677625294490192955498958570641588825539350174994779e-106"
     ],
     [
      -1,
      "-2.8741785717636045554535409974252454862108821333369032906731821570026651000215765634538065373609163111907549978e-99"
     ],
     [
      0,
      "4.4399665458676785688756856133041242439879714548052359662615963985175669341370987769083135938909564031937348785"
     ],
     [
      1,
      "15.725245698177064516024371398274877161372301455305762694558554413797596805910419748810561077244947520782040479"
     ],
     [
      2,
      "30.127535760889756208736399790524293140769663844463223603079523226974078880585001866063731944454652961018068720"
     ]
    ],
    [
     [
      -2,
      "-1.9406670699909959249753704549552432674786245629859015614015238984463899308195576570213630820020632263060692799e-106"
     ],
     [
      -1,
      "5.1895735456187740822777858036075113078158615128999839850345698226645468897438006365074390787336301528795635868e-99"
     ],
     [
      0,
      "-4.0282522194824888775786608296563206853154655393182920015790884671674354613185975345216944075043788235456328307"
     ],
     [
      1,
      "-17.052847453326234410801065838671160803311025077864808895008592405443562201887238646892291226180448168044079493"
     ],
     [
      2,
      "-40.738669953992498400395501978473327459827402918936245225140825119744169850497892146557515322329222994009072309"
     ]
    ],
    [
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0"
     ],
     [
      -1,
      "0"
     ],
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -1,
      "-0.20626322643837728565807509892792097551243328663163746056454459109511644660085952746505018485574640673034446269"
     ],
     [
      0,
      "-0.42859241118214386131153855545091321968161211107785254911233774351461819101913860921120741991052386093235695638"
     ],
     [
      1,
      "-0.29800523735346582567655326069515179724587963113224611591789300066144549987186699407962192208458342888014269626"
     ],
     [
      2,
      "-0.067078265110478228965953415753456074783197823852159663328295022571709174519697368141092350255528771910710626661"
     ]
    ],
    [
     [
      -1,
      "0.36554519464598311463169113974808428459311651911082373741001105695101537719164411619728008361640766899386071296"
     ],
     [
      0,
      "0.69979801338530392813078606421759540007317743060938035883467105548183962569638042809495650655522433921198411843"
     ],
     [
      1,
      "0.28141331329631906149798041744687506149206105605782557848305213316042637960336215305652113071275122399368735364"
     ],
     [
      2,
      "-0.43979129616193301383846129356591118796047882047691922301308939449380426264952915491600213991921585672046812328"
     ]
    ],
    [
     [
      -1,
      "0.20286799775000984309211748030482800210814775221265539147312167837958689880015391203405843509518476674397833120"
     ],
     [
      0,
      "0.24415826671586108267203458651299987304378636853602374578404296569546106775127413073528500557398029557086789658"
     ],
     [
      1,
      "-0.25390593774561492498578813166236319313642524897936616445061986292236027648922640239742658300594279643624822034"
     ],
     [
      2,
      "-0.74070015914022199161682390344733489034665683360191838275571248765402783699390560883311543340853198693421168089"
     ]
    ],
    [
     [
      -1,
      "1.1204562494932395900898038618242787336961306710330423139025144256985577113474494490958866869767663865521830152"
     ],
     [
      0,
      "1.3892908800705723686107075044961887644529910485406672304004603474032222641226862748361406600005213870664740820"
     ],
     [
      1,
      "-1.7557526992932600364055994439638661156731487296684329439459114160953414160663409899425327555887421959346621862"
     ],
     [
      2,
      "-6.1897693832615661961050386616907710072225522182551689329295678263651377389196701202404603497739516847454072279"
     ]
    ],
    [
     [
      -2,
      "3.5856314244971467331462690226663293937613528306813335235543669096581519598541492479855476385811764834155386124e-108"
     ],
     [
      -1,
      "-1.0397601124145364906348093700304950233736383433633072808265022750600853764685624636243283321036730350261006136"
     ],
     [
      0,
      "-2.2518598027675299199983743343155595706543160521953967396656021972224639566407994744646410647797954872615883964"
     ],
     [
      1,
      "-1.4777932045291896257759211097348703405694500075350084543251467843641629628413324386714425637932511136477524424"
     ],
     [
      2,
      "0.59959443804531554620762049674669355001442139036589222511432056333634145268947966491106488843169687972875002574"
     ]
    ],
    [
     [
      -2,
      "1.3095929033562442381250456309429866629992018827066817459043973371796987300443145603796875310637737658087214388e-109"
     ],
     [
      -1,
      "-0.34266047978232074754356270062916751203568280397468885597463067934337999573501394772280508113512597056420700896"
     ],
     [
      0,
      "-0.46531061776490197210979118489895148316411418215746488508329208494263157326574874422803767888255492997013258497"
     ],
     [
      1,
      "0.19684316420669435482298817204294964700063399069475788348416509172449350240664624292586700246944407544084433207"
     ],
     [
      2,
      "0.77327771491522093544998149918701498255115141545491234960288607351331789718179783475817411269566855239146189674"
     ]
    ],
    [
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -2,
      "0.091582138163402717771997988918023157087094013942338774763175149331098349780542914785451369008392039590291050927"
     ],
     [
      -1,
      "0.045159235952093433651708048277498026781039371436026578495760387560496523253675160216911107577237687513066239045"
     ],
     [
      0,
      "-0.076118508114556075898773502524077665688964391347705378166019731008757321607481869198800857921622707492127266015"
     ],
     [
      1,
      "0.15666171136444553503860274616147689675618583226539244936973314782587821726185366766840835116360466371424923584"
     ],
     [
      2,
      "0.71938615287724436458128014412320804577705815110143939275760480005753300860460812014201234231221568741852131280"
     ]
    ],
    [
     [
      -2,
      "-0.27934615497697500897388172068803555159790521137317021343088661927005266834868770341347451463334769688630170922"
     ],
     [
      -1,
      "-0.32892472572219447333796176835515301549658173544929088914560448161719529436908290704057206606098611976841587546"
     ],
     [
      0,
      "-0.11755400885623383301557330149709089246429493811566416306298433382716383477602550599762145734400087069577341557"
     ],
     [
      1,
      "-0.64427906626947639644257452715110050236094884944047940630990267149933167282430819598467865020581754654899420836"
     ],
     [
      2,
      "-2.2334798042260548409860494731644380483521222229248557683999627024764424268391666538652354795380191839073190310"
     ]
    ],
    [
     [
      -1,
      "0.50711349607012678050740866694549492402411224720770369923114186870112258570168590656620875096547850197655877416"
     ],
     [
      0,
      "1.3607908393370656130524066881785992489666706846745125767414449200753665732871953878873076921682731578005226803"
     ],
     [
      1,
      "2.0084923317884562443723165137349414566096219647150284482243670344024951103535798631150208889465339389082827167"
     ],
     [
      2,
      "3.1829047935379880305145742666945342962734841068112870489301059106150296183115717222432574147447102818420129940"
     ]
    ],
    [
     [
      -2,
      "-0.55861007404026580756114016223178329518186902070406871943518752305994898158083650186238451878449831088360176442"
     ],
     [
      -1,
      "0.18908926645309179095073345446678553061267137247240975643898308893019007988324504883689380883943985855289373819"
     ],
     [
      0,
      "1.4863272877571217968315721894695261467585066180448159511150816516933629566740328843369302154221346951937058886"
     ],
     [
      1,
      "0.034904795452863637191939632952515713838905063763491301804846983874669391979872846814621643988533405117808139872"
     ],
     [
      2,
      "-3.2907122654542360325032301032837765404635034724637631955759756605046527974873643203572972269473960499234969611"
     ]
    ],
    [
     [
      0,
      "0"
     ],
     [
      1,
      "0"
     ],
     [
      2,
      "0"
     ]
    ],
    [
     [
      -3,
      "0.012539174538027805979104781828529911107364704372018002017302251707749568782629621526490240468707449448236417361"
     ],
     [
      -2,
      "-0.046431233247576198623592209955839191515354467890778294926501629498857130898670946052559661170999713541055258177"
     ],
     [
      -1,
      "-0.029696595065984752501208608653951655651435816555168001769138377207197392958945218191991325723401728997568531962"
     ],
     [
      0,
      "0.092092727647495274183269324971761176956272355636087875718009093449304427962203603296738725175069031423884931581"
     ],
     [
      1,
      "0.056063612109804762455781673528117997282163105012593206024614094759293730992227690770489930046259018310227389218"
     ],
     [
      2,
      "-0.18422683151972466354227117262427464666467210183286976628056390578704142316986042267983346210301132359591329899"
     ]
    ],
    [
     [
      -2,
      "0.087117377590739962471775133522185238998918463138499522469031732190880771247179147387973106425613280222713436047"
     ],
     [
      -1,
      "-0.044029544975811147468844282651739800035570200224667326163607936140774412851250591424314688557335620557197575293"
     ],
     [
      0,
      "-0.37434462648215913963302376326238485695102453427289640887877355614998679042236012262804655367766186770244263726"
     ],
     [
      1,
      "-0.42596316380273339959815838061611713319703210550007677602065623040197749586003737037383335356086139478508936923"
     ],
     [
      2,
      "-0.26707865715529611728281919190480606651618277926110519010294948756513352397439170662301424874532865846440500484"
     ]
    ],
    [
     [
      -3,
      "-1.5522915444925542368890778641586585435204691849966697675898252770665820164022800771422914030099112135520930449e-117"
     ],
     [
      -2,
      "-0.21001547758248598720516465465412594046353345061786835542849552681872502033753480721024050187941257954718823639"
     ],
     [
      -1,
      "0.076790765135171519692294203858819839604328293223307773998822095518383352842522569305019564449776902929557379534"
     ],
     [
      0,
      "0.83433302014894227020110429387711122856493449166144337893671573936759433196040416466907442323328697819497647447"
     ],
     [
      1,
      "0.81009094515511541089173900050631094472758200847744093962916699522230772666258931603926248550960941252456598023"
     ],
     [
      2,
      "-0.11427372369542039854540979909600514133027750105869790998285784289315057033602519486285789632944135840470125369"
     ]
    ],
    [
     [
      -3,
      "-0.038236047918649811954220859387445468847569502120951755030338704759056981041202433354320015779018231501348716616"
     ],
     [
      -2,
      "0.36458448265058067629702964462985302479252505711398742262970948047537781588309886118493570837594924980020455273"
     ],
     [
      -1,
      "-0.0061967125439358546659788459097144927861651202454316711481681068951988116777969479680660084029504490694604542197"
     ],
     [
      0,
      "-1.0166312798723721659589159604403674125650233998074011209065654417616335731412088573498578374278199764078891496"
     ],
     [
      1,
      "-0.50406832802410979774533528463181590142754942170392766405214231927952879084837440535654235857833201725222572490"
     ],
     [
      2,
      "1.4746042988094811676441716761182112451116600042702069652805271466498655559045147631759374494075858596597682849"
     ]
    ]
   ]
  }
 },
 "provenance": {
  "y12": {
   "file": "out_gate_y12.json (certified recompute archive)",
   "sha256": "4c9904e575953c5732f652525788f637d7c89383f72b8e32007921922d294744"
  },
  "y35": {
   "file": "out_gate_y35.json (certified recompute archive)",
   "sha256": "d518d56128753834de1033faf58338072af78f19063cc09707d3c6ed94274e1c"
  },
  "parser": "amf_result.py (sha256 3064ec57183ee85ac730b93713d157c5ade22869b3ba4daaa949a45692ef641f): amf_ball midpoint strings, cross-checked value by value against amf_laurent",
  "real_parts": "row35_data.json gate_oracles (row35_data.json sha256 6acf455def67385491ef9be8734c223129c811854503d810abbd4b71a8dea9fc)"
 },
 "producer": {
  "script": "build_nf9_r2.py",
  "script_sha256": "5397283cf650bc30416c5dddbfca4fc5c4188da2a7c30c16f12ea57f0c51cc39",
  "emitted_utc": "2026-09-11T14:24:24Z"
 }
}