{
  "lambda": 5,
  "tail_start": 25,
  "blocks": [
    [
      26,
      27,
      28,
      29,
      30,
      31,
      32,
      33,
      34,
      35,
      36,
      37,
      38,
      39,
      40,
      41,
      42,
      43,
      44,
      45,
      46,
      47,
      48,
      49,
      50
    ],
    [
      51,
      52,
      53,
      54,
      55,
      56,
      57,
      58,
      59,
      60,
      61,
      62,
      63,
      64,
      65,
      66,
      67,
      68,
      69,
      70,
      71,
      72,
      73,
      74,
      75,
      76,
      77,
      78,
      79,
      80,
      81,
      82,
      83,
      84,
      85,
      86,
      87,
      88,
      89,
      90,
      91,
      92,
      93,
      94,
      95,
      96,
      97,
      98,
      99,
      100
    ],
    [
      101,
      102,
      103,
      104,
      105,
      106,
      107,
      108,
      109,
      110,
      111,
      112,
      113,
      114,
      115,
      116,
      117,
      118,
      119,
      120,
      121,
      122,
      123,
      124,
      125,
      126,
      127,
      128,
      129,
      130,
      131,
      132,
      133,
      134,
      135,
      136,
      137,
      138,
      139,
      140,
      141,
      142,
      143,
      144,
      145,
      146,
      147,
      148,
      149,
      150,
      151,
      152,
      153,
      154,
      155,
      156,
      157,
      158,
      159,
      160,
      161,
      162,
      163,
      164,
      165,
      166,
      167,
      168,
      169,
      170,
      171,
      172,
      173,
      174,
      175,
      176,
      177,
      178,
      179,
      180,
      181,
      182,
      183,
      184,
      185,
      186,
      187,
      188,
      189,
      190,
      191,
      192,
      193,
      194,
      195,
      196,
      197,
      198,
      199,
      200
    ]
  ],
  "classification": "exact dyadic proposals and rational comparison matrix; no gate proved by proposal",
  "parities": {
    "even": {
      "pairs": [
        {
          "blocks": [
            0,
            1
          ],
          "x_indices": [
            26,
            27,
            28,
            29,
            30,
            31,
            32,
            33,
            34,
            35,
            36,
            37,
            38,
            39,
            40,
            41,
            42,
            43,
            44,
            45,
            46,
            47,
            48,
            49,
            50
          ],
          "y_indices": [
            51,
            52,
            53,
            54,
            55,
            56,
            57,
            58,
            59,
            60,
            61,
            62,
            63,
            64,
            65,
            66,
            67,
            68,
            69,
            70,
            71,
            72,
            73,
            74,
            75,
            76,
            77,
            78,
            79,
            80,
            81,
            82,
            83,
            84,
            85,
            86,
            87,
            88,
            89,
            90,
            91,
            92,
            93,
            94,
            95,
            96,
            97,
            98,
            99,
            100
          ],
          "x_numerators": [
            -88967755058059,
            260285547096920,
            4763542338385936,
            1729118576175234,
            -12800410444968068,
            -8690368499235803,
            -130874572375286112,
            103121059656312224,
            79216569103006368,
            162473722796798720,
            193272989004228128,
            72849735072380720,
            -582330330431135360,
            -99736237979950176,
            -242255809900018304,
            -396054952295700480,
            509968067435430208,
            209828917795103072,
            306954579122715648,
            84598626448730256,
            362556769891723008,
            -273933516654807392,
            -127477889474730480,
            -23785372805857524,
            -180238545033743840
          ],
          "y_numerators": [
            922934868825412992,
            193033741414432864,
            -164646818657710144,
            -15380833635076704,
            99189488660483328,
            -605434069825057536,
            -24593715262033440,
            -125967257864850224,
            -82154209411545200,
            -103091904851550688,
            -30323986168776448,
            18957522635962132,
            -677418574504515,
            -24142828535543376,
            22164672705989140,
            10280807851184132,
            2705799510524070,
            5497012041325124,
            431344421396567,
            8288038684847980,
            1254288487000827,
            652348135604121,
            1041532947524136,
            1935058268731156,
            329630913573591,
            574756492670722,
            53778123384732,
            261516346504294,
            465894628342349,
            9896854208940,
            34632432437256,
            98064667749818,
            63747281693205,
            74950758334328,
            18255932681546,
            16907241610238,
            1672542474289,
            48492406425578,
            5342769705737,
            6783694020002,
            7009096902163,
            3458493127582,
            8525830160872,
            9962039081718,
            882269595505,
            -169733978177,
            768760231421,
            4422178839895,
            513543282824,
            1084810015681
          ],
          "denominator_power_of_two": 60,
          "H_numerator": 997,
          "H_denominator": 1000,
          "proposal_singular_value_only": 0.9999999999413597
        },
        {
          "blocks": [
            0,
            2
          ],
          "x_indices": [
            26,
            27,
            28,
            29,
            30,
            31,
            32,
            33,
            34,
            35,
            36,
            37,
            38,
            39,
            40,
            41,
            42,
            43,
            44,
            45,
            46,
            47,
            48,
            49,
            50
          ],
          "y_indices": [
            101,
            102,
            103,
            104,
            105,
            106,
            107,
            108,
            109,
            110,
            111,
            112,
            113,
            114,
            115,
            116,
            117,
            118,
            119,
            120,
            121,
            122,
            123,
            124,
            125,
            126,
            127,
            128,
            129,
            130,
            131,
            132,
            133,
            134,
            135,
            136,
            137,
            138,
            139,
            140,
            141,
            142,
            143,
            144,
            145,
            146,
            147,
            148,
            149,
            150,
            151,
            152,
            153,
            154,
            155,
            156,
            157,
            158,
            159,
            160,
            161,
            162,
            163,
            164,
            165,
            166,
            167,
            168,
            169,
            170,
            171,
            172,
            173,
            174,
            175,
            176,
            177,
            178,
            179,
            180,
            181,
            182,
            183,
            184,
            185,
            186,
            187,
            188,
            189,
            190,
            191,
            192,
            193,
            194,
            195,
            196,
            197,
            198,
            199,
            200
          ],
          "x_numerators": [
            2027631658217291,
            -4374427121897066,
            -60852537170679672,
            -17061131451042276,
            98470862725781776,
            52396958449788800,
            619915959692020480,
            -383782591426244416,
            -231231799587604800,
            -370686798387556352,
            -342913554876050176,
            -99843501545670208,
            611334199920458240,
            79376369552642320,
            144345988125535712,
            174027312986741312,
            -162255072682826944,
            -47274861606929264,
            -47639670125575560,
            -8734784225671637,
            -23798110048001896,
            10745131671757836,
            2729357860795540,
            239277678533780,
            614739032000321
          ],
          "y_numerators": [
            -62753298798599432,
            152041158232084192,
            -224634615760847776,
            -87704755729256352,
            -40094172635638680,
            -285821483467813536,
            -112317551896733408,
            -129732390071219040,
            -52669394199131096,
            36587227448657592,
            196253829079276352,
            -304132610223055168,
            -215924783899876768,
            -292339398345646272,
            -59322540488242696,
            -287638980113351776,
            -174152534322094368,
            -143811686445661888,
            -50088971492151296,
            14979446708715544,
            -140843354061979504,
            -75494053090794192,
            -63193481620192064,
            -65812076077792208,
            14083840588531054,
            -342590433015309568,
            -67556045583017592,
            -69140619337945720,
            -73486095452979648,
            -28138101540230208,
            -33351371597794016,
            -86756933711270720,
            -21962582732453424,
            86292888275807872,
            -47726116157457584,
            -110686660967601328,
            -49826159971370432,
            -110308189725068688,
            -36926578760117664,
            -72909721122836560,
            -177602462497845920,
            -99691541028466720,
            15409978415532830,
            -417147635216954176,
            -53624903997924144,
            -55878975153140840,
            -69403439364720120,
            -92694605701883264,
            -161303299441019584,
            -96693030929684592,
            -80742582833427376,
            -172294454011061440,
            -79815836230222240,
            -59215645605379792,
            -16563931379817062,
            -100832213352075696,
            -78092678805207088,
            -156314862771233120,
            -29082261019741928,
            -37646722693220392,
            -43494937831729704,
            -43765186951016880,
            -30563162427311492,
            -93438756013970832,
            -30964129015313004,
            -34697596029033060,
            -59177448009761184,
            -18041267209170648,
            1127128184619789,
            24424415658917104,
            -34796990183026508,
            -177317019803518368,
            -58544208756282232,
            -50284815745052008,
            -26583533002689724,
            -139805822704695968,
            -62351084060746872,
            -25804859677479492,
            -33561382480673428,
            -30559836271905268,
            -23096202194458628,
            -107949317598686528,
            -39575800320847648,
            -62642115917825872,
            -41288789786713040,
            -65899970796576864,
            -55187812095344664,
            -61249662758269648,
            -31942021176663768,
            -33081490519264900,
            -58919821811711928,
            -85743870613973728,
            -41742838125634280,
            -28027304025417616,
            -35346721679123896,
            -48525114793999432,
            -36060592592696424,
            -31241261104569856,
            -31687519064802936,
            -80251849499428432
          ],
          "denominator_power_of_two": 60,
          "H_numerator": 568,
          "H_denominator": 1000,
          "proposal_singular_value_only": 0.5706110020231773
        },
        {
          "blocks": [
            1,
            2
          ],
          "x_indices": [
            51,
            52,
            53,
            54,
            55,
            56,
            57,
            58,
            59,
            60,
            61,
            62,
            63,
            64,
            65,
            66,
            67,
            68,
            69,
            70,
            71,
            72,
            73,
            74,
            75,
            76,
            77,
            78,
            79,
            80,
            81,
            82,
            83,
            84,
            85,
            86,
            87,
            88,
            89,
            90,
            91,
            92,
            93,
            94,
            95,
            96,
            97,
            98,
            99,
            100
          ],
          "y_indices": [
            101,
            102,
            103,
            104,
            105,
            106,
            107,
            108,
            109,
            110,
            111,
            112,
            113,
            114,
            115,
            116,
            117,
            118,
            119,
            120,
            121,
            122,
            123,
            124,
            125,
            126,
            127,
            128,
            129,
            130,
            131,
            132,
            133,
            134,
            135,
            136,
            137,
            138,
            139,
            140,
            141,
            142,
            143,
            144,
            145,
            146,
            147,
            148,
            149,
            150,
            151,
            152,
            153,
            154,
            155,
            156,
            157,
            158,
            159,
            160,
            161,
            162,
            163,
            164,
            165,
            166,
            167,
            168,
            169,
            170,
            171,
            172,
            173,
            174,
            175,
            176,
            177,
            178,
            179,
            180,
            181,
            182,
            183,
            184,
            185,
            186,
            187,
            188,
            189,
            190,
            191,
            192,
            193,
            194,
            195,
            196,
            197,
            198,
            199,
            200
          ],
          "x_numerators": [
            91848637461451680,
            41771249831699760,
            -51630741810820488,
            -5213887369610362,
            66729839162230544,
            -494649884430371008,
            -24055580246088572,
            -130181097776825792,
            -80001490556096688,
            -74510979638095968,
            -5879966590002792,
            -15740618426164066,
            41728477032959,
            106397342859200128,
            -172683319358846624,
            -128544979917969760,
            -51788994474422112,
            -151615059685031552,
            -18169223787030120,
            -451659492085705984,
            -94188517007786496,
            -66158371279306912,
            -139936516554821392,
            -349810781354643456,
            -78450466357946720,
            -186119057284423808,
            -17862778667054158,
            -127930192367681584,
            -318525920176387136,
            -1336477516055811,
            -32313271318743724,
            -127809612251380912,
            -115618427055722160,
            -192096551769072832,
            -59125070363774856,
            -84338559577565568,
            -37886143453975728,
            -196329289537206272,
            -26043134365145340,
            -54398407428658696,
            -79761145596674496,
            -66265416101910056,
            -183159897662653920,
            -458444263351837120,
            -122577249447235536,
            -142503060269249408,
            -23141304821287804,
            4193940934207384,
            -142648856888676496,
            -55530623350001168
          ],
          "y_numerators": [
            -43546937227368864,
            576557703696938496,
            -391909136999098496,
            -83980148628675104,
            -24340095526097960,
            -287656160005428064,
            -72666652911103632,
            -50991214754832216,
            32120763284199456,
            140080223839928928,
            337303644436988288,
            -340014257045062400,
            -198238194319026272,
            -173179297492981568,
            -35668283476599852,
            -179786633667733184,
            -64776981291742672,
            -10531581336410114,
            69636687337243784,
            160074088724325440,
            -179919533531549856,
            -43506735192996304,
            -36549553584213280,
            -25038702346062080,
            42093674883866496,
            -214077425979014784,
            -20059484966029084,
            -16998691498754816,
            16915318754681348,
            57173723538911896,
            -14513221963666460,
            -14600358779959528,
            32034613973485388,
            229740494449614496,
            -47343471487942376,
            -117506982132184592,
            -35393634604537376,
            -86525191431985568,
            -13704922804649934,
            -51341883141038568,
            -137813514141346176,
            -51715978827155464,
            27783006534829376,
            -257703553427078048,
            -22489705979582528,
            -26126307445280444,
            -47618656500208560,
            -56726468778984848,
            -92591486770745312,
            -48677586616141432,
            -41618743771842160,
            -61359786080410464,
            -19288972022332644,
            -8054443111594029,
            11852220087173454,
            -64390608995817880,
            -27186715155430468,
            -18169443057703364,
            -19176676394469776,
            -9377930919335548,
            -12458576294244654,
            9004529803005087,
            -15086970257305074,
            -38632938049604200,
            -2189107444062172,
            -1265709979453307,
            29677132226591308,
            14857126205354088,
            29141770939265636,
            59298834954446688,
            -33860350176326024,
            -149587438540501280,
            -39013110491771160,
            -31810828708461604,
            -11385674563681124,
            -79080023029369296,
            -22820997295014352,
            11694665431061532,
            -26855757087464940,
            -13467973339386178,
            -7316844638860089,
            -82881012098755072,
            -24044438209850876,
            -33885666678554352,
            -16996947566384528,
            -39911974654765464,
            -25834947280300252,
            -22125476635001116,
            -5560106659784789,
            37850396433808320,
            -64693170458337704,
            -53241626436686000,
            -5321614283241255,
            -21202562411456744,
            -23134247693625332,
            -31408729167372280,
            -23459529707331200,
            -12293908708655358,
            -15616207095708668,
            -51670678456375056
          ],
          "denominator_power_of_two": 60,
          "H_numerator": 481,
          "H_denominator": 1000,
          "proposal_singular_value_only": 0.48382280663024146
        }
      ],
      "rayleigh_vector": [
        1,
        1,
        1
      ],
      "rayleigh_numerator": 341,
      "rayleigh_denominator": 250
    },
    "odd": {
      "pairs": [
        {
          "blocks": [
            0,
            1
          ],
          "x_indices": [
            26,
            27,
            28,
            29,
            30,
            31,
            32,
            33,
            34,
            35,
            36,
            37,
            38,
            39,
            40,
            41,
            42,
            43,
            44,
            45,
            46,
            47,
            48,
            49,
            50
          ],
          "y_indices": [
            51,
            52,
            53,
            54,
            55,
            56,
            57,
            58,
            59,
            60,
            61,
            62,
            63,
            64,
            65,
            66,
            67,
            68,
            69,
            70,
            71,
            72,
            73,
            74,
            75,
            76,
            77,
            78,
            79,
            80,
            81,
            82,
            83,
            84,
            85,
            86,
            87,
            88,
            89,
            90,
            91,
            92,
            93,
            94,
            95,
            96,
            97,
            98,
            99,
            100
          ],
          "x_numerators": [
            -68042759308146,
            209644098461691,
            3998535387429500,
            1501541817147448,
            -11434812203784130,
            -7950028089757556,
            -122146636845274928,
            97879006339274160,
            76258205171848528,
            158251180561011904,
            190071502074235424,
            72201634326269696,
            -580682741297592448,
            -99913319708881584,
            -243477509598819744,
            -398861589265191232,
            514052365250630464,
            211487483896399072,
            309059929543462784,
            85017485855839424,
            363373833109608512,
            -273613752119741056,
            -126808555490306112,
            -23548943188535088,
            -177501740113375648
          ],
          "y_numerators": [
            934187064704801920,
            194146815839786880,
            -164466136140209376,
            -15252232501198914,
            97603430704535616,
            -590932303630723840,
            -23801319468719320,
            -120832348997953872,
            -78082517965784416,
            -97051695123340032,
            -28267089380491436,
            17492790415770310,
            -618568683123810,
            -21809521851153976,
            19802645500348052,
            9081796761811376,
            2362669351646633,
            4743268865814694,
            367705167380847,
            6978024225259835,
            1042706250677508,
            535308949530015,
            843397493064869,
            1545811870775654,
            259691782045213,
            446413938188146,
            41166840927906,
            197219639644942,
            345998236523953,
            7237623619076,
            24912584608275,
            69368213056785,
            44314762082940,
            51164095205989,
            12229838188264,
            11096621164216,
            1058281958079,
            30594189308555,
            3296354558350,
            4076941511805,
            4095206845622,
            1948396826489,
            4656866489191,
            5070309934798,
            359643747740,
            -221340942601,
            366432687230,
            2175261712980,
            122631131795,
            471946062802
          ],
          "denominator_power_of_two": 60,
          "H_numerator": 997,
          "H_denominator": 1000,
          "proposal_singular_value_only": 0.9999999999890267
        },
        {
          "blocks": [
            0,
            2
          ],
          "x_indices": [
            26,
            27,
            28,
            29,
            30,
            31,
            32,
            33,
            34,
            35,
            36,
            37,
            38,
            39,
            40,
            41,
            42,
            43,
            44,
            45,
            46,
            47,
            48,
            49,
            50
          ],
          "y_indices": [
            101,
            102,
            103,
            104,
            105,
            106,
            107,
            108,
            109,
            110,
            111,
            112,
            113,
            114,
            115,
            116,
            117,
            118,
            119,
            120,
            121,
            122,
            123,
            124,
            125,
            126,
            127,
            128,
            129,
            130,
            131,
            132,
            133,
            134,
            135,
            136,
            137,
            138,
            139,
            140,
            141,
            142,
            143,
            144,
            145,
            146,
            147,
            148,
            149,
            150,
            151,
            152,
            153,
            154,
            155,
            156,
            157,
            158,
            159,
            160,
            161,
            162,
            163,
            164,
            165,
            166,
            167,
            168,
            169,
            170,
            171,
            172,
            173,
            174,
            175,
            176,
            177,
            178,
            179,
            180,
            181,
            182,
            183,
            184,
            185,
            186,
            187,
            188,
            189,
            190,
            191,
            192,
            193,
            194,
            195,
            196,
            197,
            198,
            199,
            200
          ],
          "x_numerators": [
            38460862828498,
            -676111299393384,
            -16496039379354990,
            -6449756932739170,
            47163701489703576,
            30171376851099612,
            415303277240052800,
            -292543720797297152,
            -197376113968143456,
            -350136575836982784,
            -355188609689437184,
            -112610543975759264,
            746667906493767296,
            104533589480948400,
            204286180989824928,
            264022969177848800,
            -263429144183351424,
            -82054938262583520,
            -88377789622695248,
            -17328952300323014,
            -50568027176771464,
            24522824904081204,
            6720959381361122,
            640738138895593,
            1811267725827384
          ],
          "y_numerators": [
            -96384664874741824,
            -282913734645257440,
            -7121835935311407,
            -68536020484032800,
            -44632927678614616,
            -156138480267029760,
            -106535497701273856,
            -161951716759506080,
            -138412931565363696,
            -138148366127065664,
            -156859180569391744,
            -14372768355608436,
            -68240982082257768,
            -235484348465863936,
            -45722875887614912,
            -204709067072942976,
            -196692313716263616,
            -236914602706772224,
            -214441896503619744,
            -266606582184404576,
            82991672470004512,
            -53516812750200328,
            -43826599485633048,
            -70629305262323016,
            -58654930759527720,
            -194570345644117664,
            -83586666641323776,
            -93024419561291200,
            -173915847960121024,
            -177247064552380096,
            -31233462064821928,
            -132801095710415392,
            -114817689083495888,
            -361956726570603392,
            17725427960090380,
            61445749622596856,
            -13198988981186572,
            -8322906071007644,
            -39823863027433192,
            -18323663166809460,
            -10948350055123098,
            -70360626634054504,
            -40170069177339112,
            -184251732408459520,
            -51432475658035808,
            -46436468065135768,
            -16710724111672482,
            -40374873582206912,
            -86320209566368992,
            -70386968176025128,
            -55917250090195272,
            -197018070838298976,
            -117726995076795712,
            -105852005174013024,
            -71067549741933704,
            -32293375913944828,
            -92343969697852512,
            -294623288019088000,
            -7056789672809136,
            -56360541325701696,
            -60364279532289432,
            -128317316063631392,
            -22776143721704672,
            -93446446171584832,
            -65096413499779976,
            -77191542540358416,
            -236345477826807968,
            -91678258339662400,
            -94072665099270768,
            -139967090417324704,
            30392949416383120,
            79057543626021424,
            -8937917201100964,
            -13325091180269102,
            -25875686911153624,
            -68961251425494776,
            -74699515055296048,
            -106380220610153456,
            11873993175255182,
            -28709017148165788,
            -32176317137025460,
            27825070339975396,
            -12989984020606436,
            -35958807907059836,
            -43707722706163480,
            -21640898298868916,
            -46882161534777736,
            -77210230938358880,
            -63471400943240584,
            -235462392743106912,
            94751155689733872,
            -21891008182450980,
            -92206084429919984,
            8140248894935774,
            -4005420467319645,
            -6760191681820912,
            -4432523764619538,
            -36627764759722160,
            -24299916031704484,
            -11364793637860140
          ],
          "denominator_power_of_two": 60,
          "H_numerator": 484,
          "H_denominator": 1000,
          "proposal_singular_value_only": 0.48626265605238933
        },
        {
          "blocks": [
            1,
            2
          ],
          "x_indices": [
            51,
            52,
            53,
            54,
            55,
            56,
            57,
            58,
            59,
            60,
            61,
            62,
            63,
            64,
            65,
            66,
            67,
            68,
            69,
            70,
            71,
            72,
            73,
            74,
            75,
            76,
            77,
            78,
            79,
            80,
            81,
            82,
            83,
            84,
            85,
            86,
            87,
            88,
            89,
            90,
            91,
            92,
            93,
            94,
            95,
            96,
            97,
            98,
            99,
            100
          ],
          "y_indices": [
            101,
            102,
            103,
            104,
            105,
            106,
            107,
            108,
            109,
            110,
            111,
            112,
            113,
            114,
            115,
            116,
            117,
            118,
            119,
            120,
            121,
            122,
            123,
            124,
            125,
            126,
            127,
            128,
            129,
            130,
            131,
            132,
            133,
            134,
            135,
            136,
            137,
            138,
            139,
            140,
            141,
            142,
            143,
            144,
            145,
            146,
            147,
            148,
            149,
            150,
            151,
            152,
            153,
            154,
            155,
            156,
            157,
            158,
            159,
            160,
            161,
            162,
            163,
            164,
            165,
            166,
            167,
            168,
            169,
            170,
            171,
            172,
            173,
            174,
            175,
            176,
            177,
            178,
            179,
            180,
            181,
            182,
            183,
            184,
            185,
            186,
            187,
            188,
            189,
            190,
            191,
            192,
            193,
            194,
            195,
            196,
            197,
            198,
            199,
            200
          ],
          "x_numerators": [
            39306151377974296,
            21633193545424256,
            -35863260452267380,
            -5718462523880427,
            64346671510680424,
            -609584382977462912,
            -37087000901113128,
            -274276985207489280,
            -251587386348764384,
            -434183887630230848,
            -172340104067058080,
            142843043576375136,
            -6824398141866832,
            -308094841803121024,
            361177407200615424,
            211905455258411744,
            69904846730730712,
            176884126166877632,
            17059111789700468,
            404887120673776960,
            74801104209506288,
            47282925047870344,
            91423247550849728,
            204392165773451136,
            41813611351846128,
            86895280366728944,
            9967936116937480,
            57035630930367264,
            119798116909595216,
            3356916176187905,
            12868080807545192,
            42892127992110936,
            32823448643295376,
            45370111180687448,
            13210246948385790,
            14301078991526490,
            1164200865159812,
            62980801396831720,
            8372565671652728,
            12778954962030690,
            16124862993748054,
            9895470563293554,
            30396952297917264,
            47964252784153552,
            7195468099180303,
            3207800458301432,
            6681463219524138,
            42801927446347992,
            13047133233100310,
            22981965802903992
          ],
          "y_numerators": [
            -141883584543612064,
            -622921163348064896,
            111235710480059920,
            -64353962078540944,
            -48386240825131152,
            -121868995114036240,
            -107266325190079568,
            -170642374261723808,
            -154841750990081888,
            -166210262869295200,
            -206233118674393888,
            24534681044856844,
            -47990441845378752,
            -217235954217705088,
            -41682818847937904,
            -183793294741916928,
            -183091215720243584,
            -222660421054967200,
            -203779052629281792,
            -253848076038672960,
            83699547947156096,
            -46696261178475944,
            -38017100556420056,
            -61966667005016088,
            -52680237328278824,
            -165331452066210656,
            -72036519960298304,
            -79705522702526656,
            -148528652130460800,
            -150539133810222624,
            -26203544799501076,
            -110923312323234528,
            -95282577404236384,
            -297845897872039872,
            14276546516253866,
            49194605769201872,
            -11034574256149372,
            -7698673429472294,
            -32102920922388776,
            -15377822993646130,
            -10964569671667080,
            -56475853070552696,
            -31016779591538104,
            -149436474480227136,
            -40530121466392352,
            -36592866838386312,
            -14056980070287766,
            -32467884195872548,
            -68505553187782216,
            -54980301743696272,
            -43630487655455424,
            -150787660307175296,
            -89278488072278208,
            -79710446857908976,
            -52786075201351904,
            -26152100629726912,
            -69500135478489264,
            -218769438982681728,
            -5863476127273562,
            -41792909466523016,
            -44715188705527288,
            -93512985408458640,
            -17152618019227860,
            -69352333071986424,
            -47273265290753816,
            -55853344972530392,
            -169281779628912576,
            -65357415286348928,
            -66348556902200856,
            -97829861093986784,
            20364109712157840,
            50384728619380880,
            -7895172078869890,
            -10710804075590538,
            -18748447119274716,
            -51830340999099320,
            -53495344182675824,
            -74226435163014928,
            7221413144234757,
            -20629020959792564,
            -22756054797177384,
            15948712265758962,
            -10027405987973082,
            -26357153077894628,
            -30974148617862220,
            -16627423646666964,
            -33426807574698272,
            -54100339087467560,
            -43866345539508200,
            -159987538877723936,
            62178732434492088,
            -17224212689278452,
            -63184727926499736,
            4650422961975409,
            -3707833710779356,
            -5927727668396327,
            -4004355356766623,
            -25338294209874600,
            -17103148515660072,
            -9874910035849708
          ],
          "denominator_power_of_two": 60,
          "H_numerator": 612,
          "H_denominator": 1000,
          "proposal_singular_value_only": 0.6147531226736999
        }
      ],
      "rayleigh_vector": [
        1,
        1,
        1
      ],
      "rayleigh_numerator": 2093,
      "rayleigh_denominator": 1500
    }
  }
}