{
  "nominal": [
    {
      "K": 15,
      "T": 5,
      "quota": 4,
      "states": 428,
      "starts": 70,
      "clock": 169,
      "Q": 100,
      "blocks": 845,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1015891063,
      "lower_state": [
        14,
        0,
        0
      ],
      "upper": 1015896977,
      "upper_state": [
        14,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2041298162,
        "(14, 0, 0)": 1015891063,
        "(0, 1, 0)": 2047403968
      },
      "status": "excluded"
    },
    {
      "K": 16,
      "T": 5,
      "quota": 4,
      "states": 508,
      "starts": 79,
      "clock": 193,
      "Q": 100,
      "blocks": 965,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1220976456,
      "lower_state": [
        15,
        0,
        0
      ],
      "upper": 1220983211,
      "upper_state": [
        15,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2075500090,
        "(15, 0, 0)": 1220976456,
        "(0, 1, 0)": 2078627131
      },
      "status": "excluded"
    },
    {
      "K": 17,
      "T": 5,
      "quota": 4,
      "states": 597,
      "starts": 88,
      "clock": 217,
      "Q": 100,
      "blocks": 1085,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1410294481,
      "lower_state": [
        16,
        0,
        0
      ],
      "upper": 1410302076,
      "upper_state": [
        16,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2098481104,
        "(16, 0, 0)": 1410294481,
        "(0, 1, 0)": 2099862274
      },
      "status": "excluded"
    },
    {
      "K": 18,
      "T": 5,
      "quota": 4,
      "states": 696,
      "starts": 98,
      "clock": 244,
      "Q": 100,
      "blocks": 1220,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1576864428,
      "lower_state": [
        17,
        0,
        0
      ],
      "upper": 1576872967,
      "upper_state": [
        17,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2113911635,
        "(17, 0, 0)": 1576864428,
        "(0, 1, 0)": 2114327043
      },
      "status": "excluded"
    },
    {
      "K": 19,
      "T": 5,
      "quota": 4,
      "states": 805,
      "starts": 108,
      "clock": 271,
      "Q": 100,
      "blocks": 1355,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1717234717,
      "lower_state": [
        18,
        0,
        0
      ],
      "upper": 1717244202,
      "upper_state": [
        18,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2124298356,
        "(18, 0, 0)": 1717234717,
        "(0, 1, 0)": 2124220178
      },
      "status": "excluded"
    },
    {
      "K": 20,
      "T": 5,
      "quota": 4,
      "states": 925,
      "starts": 119,
      "clock": 301,
      "Q": 100,
      "blocks": 1505,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1831016096,
      "lower_state": [
        19,
        0,
        0
      ],
      "upper": 1831026631,
      "upper_state": [
        19,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2131325949,
        "(19, 0, 0)": 1831016096,
        "(0, 1, 0)": 2131027320
      },
      "status": "excluded"
    },
    {
      "K": 21,
      "T": 5,
      "quota": 4,
      "states": 1056,
      "starts": 130,
      "clock": 332,
      "Q": 100,
      "blocks": 1660,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1920060288,
      "lower_state": [
        20,
        0,
        0
      ],
      "upper": 1920071907,
      "upper_state": [
        20,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2136115391,
        "(20, 0, 0)": 1920060288,
        "(0, 1, 0)": 2135746114
      },
      "status": "excluded"
    },
    {
      "K": 22,
      "T": 5,
      "quota": 4,
      "states": 1199,
      "starts": 142,
      "clock": 365,
      "Q": 100,
      "blocks": 1825,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1987562186,
      "lower_state": [
        21,
        0,
        0
      ],
      "upper": 1987574961,
      "upper_state": [
        21,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2139408193,
        "(21, 0, 0)": 1987562186,
        "(0, 1, 0)": 2139044575
      },
      "status": "excluded"
    },
    {
      "K": 23,
      "T": 5,
      "quota": 4,
      "states": 1354,
      "starts": 154,
      "clock": 398,
      "Q": 100,
      "blocks": 1990,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2037277175,
      "lower_state": [
        22,
        0,
        0
      ],
      "upper": 2037291104,
      "upper_state": [
        22,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2141694163,
        "(22, 0, 0)": 2037277175,
        "(0, 1, 0)": 2141370498
      },
      "status": "excluded"
    },
    {
      "K": 24,
      "T": 5,
      "quota": 4,
      "states": 1522,
      "starts": 167,
      "clock": 434,
      "Q": 100,
      "blocks": 2170,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2072944721,
      "lower_state": [
        23,
        0,
        0
      ],
      "upper": 2072959911,
      "upper_state": [
        23,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2143297084,
        "(23, 0, 0)": 2072944721,
        "(0, 1, 0)": 2143024802
      },
      "status": "excluded"
    },
    {
      "K": 25,
      "T": 5,
      "quota": 4,
      "states": 1703,
      "starts": 180,
      "clock": 470,
      "Q": 100,
      "blocks": 2350,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2097931806,
      "lower_state": [
        24,
        0,
        0
      ],
      "upper": 2097948254,
      "upper_state": [
        24,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2144432380,
        "(24, 0, 0)": 2097931806,
        "(0, 1, 0)": 2144211318
      },
      "status": "excluded"
    },
    {
      "K": 26,
      "T": 5,
      "quota": 4,
      "states": 1898,
      "starts": 194,
      "clock": 509,
      "Q": 100,
      "blocks": 2545,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2115061624,
      "lower_state": [
        25,
        0,
        0
      ],
      "upper": 2115079437,
      "upper_state": [
        25,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2145244018,
        "(25, 0, 0)": 2115061624,
        "(0, 1, 0)": 2145068774
      },
      "status": "excluded"
    },
    {
      "K": 27,
      "T": 5,
      "quota": 4,
      "states": 2107,
      "starts": 208,
      "clock": 548,
      "Q": 100,
      "blocks": 2740,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2126576039,
      "lower_state": [
        26,
        0,
        0
      ],
      "upper": 2126595217,
      "upper_state": [
        26,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2145829276,
        "(26, 0, 0)": 2126576039,
        "(0, 1, 0)": 2145692664
      },
      "status": "excluded"
    },
    {
      "K": 28,
      "T": 5,
      "quota": 4,
      "states": 2331,
      "starts": 223,
      "clock": 590,
      "Q": 100,
      "blocks": 2950,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2134178444,
      "lower_state": [
        27,
        0,
        0
      ],
      "upper": 2134199094,
      "upper_state": [
        27,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2146254468,
        "(27, 0, 0)": 2134178444,
        "(0, 1, 0)": 2146149256
      },
      "status": "excluded"
    },
    {
      "K": 29,
      "T": 5,
      "quota": 4,
      "states": 2570,
      "starts": 238,
      "clock": 633,
      "Q": 100,
      "blocks": 3165,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2139116888,
      "lower_state": [
        28,
        0,
        0
      ],
      "upper": 2139139042,
      "upper_state": [
        28,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2146565363,
        "(28, 0, 0)": 2139116888,
        "(0, 1, 0)": 2146485065
      },
      "status": "excluded"
    },
    {
      "K": 30,
      "T": 5,
      "quota": 4,
      "states": 2825,
      "starts": 254,
      "clock": 678,
      "Q": 100,
      "blocks": 3390,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2142277641,
      "lower_state": [
        29,
        0,
        0
      ],
      "upper": 2142301368,
      "upper_state": [
        29,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2146793912,
        "(29, 0, 0)": 2142277641,
        "(0, 1, 0)": 2146733027
      },
      "status": "excluded"
    },
    {
      "K": 31,
      "T": 5,
      "quota": 4,
      "states": 3096,
      "starts": 270,
      "clock": 723,
      "Q": 100,
      "blocks": 3615,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2144273535,
      "lower_state": [
        30,
        0,
        0
      ],
      "upper": 2144298834,
      "upper_state": [
        30,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2146962638,
        "(30, 0, 0)": 2144273535,
        "(0, 1, 0)": 2146916708
      },
      "status": "excluded"
    },
    {
      "K": 32,
      "T": 5,
      "quota": 4,
      "states": 3384,
      "starts": 287,
      "clock": 771,
      "Q": 100,
      "blocks": 3855,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2145518355,
      "lower_state": [
        31,
        0,
        0
      ],
      "upper": 2145545336,
      "upper_state": [
        31,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2147087520,
        "(31, 0, 0)": 2145518355,
        "(0, 1, 0)": 2147053010
      },
      "status": "certified"
    }
  ],
  "untied": [
    {
      "K": 15,
      "T": 5,
      "quota": 4,
      "states": 428,
      "starts": 70,
      "clock": 210,
      "Q": 100,
      "blocks": 1050,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 569695343,
      "lower_state": [
        14,
        0,
        0
      ],
      "upper": 569702691,
      "upper_state": [
        14,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 1766591559,
        "(14, 0, 0)": 569695343,
        "(0, 1, 0)": 1799269310
      },
      "status": "excluded"
    },
    {
      "K": 16,
      "T": 5,
      "quota": 4,
      "states": 508,
      "starts": 79,
      "clock": 240,
      "Q": 100,
      "blocks": 1200,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 725182722,
      "lower_state": [
        15,
        0,
        0
      ],
      "upper": 725191120,
      "upper_state": [
        15,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 1851616488,
        "(15, 0, 0)": 725182722,
        "(0, 1, 0)": 1877281872
      },
      "status": "excluded"
    },
    {
      "K": 17,
      "T": 5,
      "quota": 4,
      "states": 597,
      "starts": 88,
      "clock": 240,
      "Q": 100,
      "blocks": 1200,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 887002731,
      "lower_state": [
        16,
        0,
        0
      ],
      "upper": 887011130,
      "upper_state": [
        16,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 1918920135,
        "(16, 0, 0)": 887002731,
        "(0, 1, 0)": 1938822577
      },
      "status": "excluded"
    },
    {
      "K": 18,
      "T": 5,
      "quota": 4,
      "states": 696,
      "starts": 98,
      "clock": 270,
      "Q": 100,
      "blocks": 1350,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1048887018,
      "lower_state": [
        17,
        0,
        0
      ],
      "upper": 1048896465,
      "upper_state": [
        17,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 1971740031,
        "(17, 0, 0)": 1048887018,
        "(0, 1, 0)": 1987014669
      },
      "status": "excluded"
    },
    {
      "K": 19,
      "T": 5,
      "quota": 4,
      "states": 805,
      "starts": 108,
      "clock": 271,
      "Q": 100,
      "blocks": 1355,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1205266181,
      "lower_state": [
        18,
        0,
        0
      ],
      "upper": 1205275666,
      "upper_state": [
        18,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2012899978,
        "(18, 0, 0)": 1205266181,
        "(0, 1, 0)": 2024523530
      },
      "status": "excluded"
    },
    {
      "K": 20,
      "T": 5,
      "quota": 4,
      "states": 925,
      "starts": 119,
      "clock": 301,
      "Q": 100,
      "blocks": 1505,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1351695302,
      "lower_state": [
        19,
        0,
        0
      ],
      "upper": 1351705836,
      "upper_state": [
        19,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2044780741,
        "(19, 0, 0)": 1351695302,
        "(0, 1, 0)": 2053563494
      },
      "status": "excluded"
    },
    {
      "K": 21,
      "T": 5,
      "quota": 4,
      "states": 1056,
      "starts": 130,
      "clock": 332,
      "Q": 100,
      "blocks": 1660,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1485049893,
      "lower_state": [
        20,
        0,
        0
      ],
      "upper": 1485061511,
      "upper_state": [
        20,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2069348913,
        "(20, 0, 0)": 1485049893,
        "(0, 1, 0)": 2075945791
      },
      "status": "excluded"
    },
    {
      "K": 22,
      "T": 5,
      "quota": 4,
      "states": 1199,
      "starts": 142,
      "clock": 365,
      "Q": 100,
      "blocks": 1825,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1603514501,
      "lower_state": [
        21,
        0,
        0
      ],
      "upper": 1603527274,
      "upper_state": [
        21,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2088199008,
        "(21, 0, 0)": 1603514501,
        "(0, 1, 0)": 2093129127
      },
      "status": "excluded"
    },
    {
      "K": 23,
      "T": 5,
      "quota": 4,
      "states": 1354,
      "starts": 154,
      "clock": 398,
      "Q": 100,
      "blocks": 1990,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1706431422,
      "lower_state": [
        22,
        0,
        0
      ],
      "upper": 1706445352,
      "upper_state": [
        22,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2102607222,
        "(22, 0, 0)": 1706431422,
        "(0, 1, 0)": 2106275899
      },
      "status": "excluded"
    },
    {
      "K": 24,
      "T": 5,
      "quota": 4,
      "states": 1522,
      "starts": 167,
      "clock": 434,
      "Q": 100,
      "blocks": 2170,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1794068825,
      "lower_state": [
        23,
        0,
        0
      ],
      "upper": 1794084015,
      "upper_state": [
        23,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2113583961,
        "(23, 0, 0)": 1794068825,
        "(0, 1, 0)": 2116303896
      },
      "status": "excluded"
    },
    {
      "K": 25,
      "T": 5,
      "quota": 4,
      "states": 1703,
      "starts": 180,
      "clock": 470,
      "Q": 100,
      "blocks": 2350,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1867363763,
      "lower_state": [
        24,
        0,
        0
      ],
      "upper": 1867380213,
      "upper_state": [
        24,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2121922341,
        "(24, 0, 0)": 1867363763,
        "(0, 1, 0)": 2123932472
      },
      "status": "excluded"
    },
    {
      "K": 26,
      "T": 5,
      "quota": 4,
      "states": 1898,
      "starts": 194,
      "clock": 509,
      "Q": 100,
      "blocks": 2545,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1927678107,
      "lower_state": [
        25,
        0,
        0
      ],
      "upper": 1927695920,
      "upper_state": [
        25,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2128240454,
        "(25, 0, 0)": 1927678107,
        "(0, 1, 0)": 2129721913
      },
      "status": "excluded"
    },
    {
      "K": 27,
      "T": 5,
      "quota": 4,
      "states": 2107,
      "starts": 208,
      "clock": 548,
      "Q": 100,
      "blocks": 2740,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 1976591422,
      "lower_state": [
        26,
        0,
        0
      ],
      "upper": 1976610601,
      "upper_state": [
        26,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2133017038,
        "(26, 0, 0)": 1976591422,
        "(0, 1, 0)": 2134106250
      },
      "status": "excluded"
    },
    {
      "K": 28,
      "T": 5,
      "quota": 4,
      "states": 2331,
      "starts": 223,
      "clock": 590,
      "Q": 100,
      "blocks": 2950,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2015740168,
      "lower_state": [
        27,
        0,
        0
      ],
      "upper": 2015760817,
      "upper_state": [
        27,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2136620964,
        "(27, 0, 0)": 2015740168,
        "(0, 1, 0)": 2137420100
      },
      "status": "excluded"
    },
    {
      "K": 29,
      "T": 5,
      "quota": 4,
      "states": 2570,
      "starts": 238,
      "clock": 633,
      "Q": 100,
      "blocks": 3165,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2046703907,
      "lower_state": [
        28,
        0,
        0
      ],
      "upper": 2046726062,
      "upper_state": [
        28,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2139335138,
        "(28, 0, 0)": 2046703907,
        "(0, 1, 0)": 2139920371
      },
      "status": "excluded"
    },
    {
      "K": 30,
      "T": 5,
      "quota": 4,
      "states": 2825,
      "starts": 254,
      "clock": 678,
      "Q": 100,
      "blocks": 3390,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2070932941,
      "lower_state": [
        29,
        0,
        0
      ],
      "upper": 2070956670,
      "upper_state": [
        29,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2141375977,
        "(29, 0, 0)": 2070932941,
        "(0, 1, 0)": 2141803864
      },
      "status": "excluded"
    },
    {
      "K": 31,
      "T": 5,
      "quota": 4,
      "states": 3096,
      "starts": 270,
      "clock": 723,
      "Q": 100,
      "blocks": 3615,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2089709706,
      "lower_state": [
        30,
        0,
        0
      ],
      "upper": 2089735008,
      "upper_state": [
        30,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2142908304,
        "(30, 0, 0)": 2089709706,
        "(0, 1, 0)": 2143220702
      },
      "status": "excluded"
    },
    {
      "K": 32,
      "T": 5,
      "quota": 4,
      "states": 3384,
      "starts": 287,
      "clock": 771,
      "Q": 100,
      "blocks": 3855,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2104134499,
      "lower_state": [
        31,
        0,
        0
      ],
      "upper": 2104161482,
      "upper_state": [
        31,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2144057176,
        "(31, 0, 0)": 2104134499,
        "(0, 1, 0)": 2144284966
      },
      "status": "excluded"
    },
    {
      "K": 33,
      "T": 5,
      "quota": 4,
      "states": 3689,
      "starts": 304,
      "clock": 819,
      "Q": 100,
      "blocks": 4095,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2115129082,
      "lower_state": [
        32,
        0,
        0
      ],
      "upper": 2115157745,
      "upper_state": [
        32,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2144917628,
        "(32, 0, 0)": 2115129082,
        "(0, 1, 0)": 2145083538
      },
      "status": "excluded"
    },
    {
      "K": 34,
      "T": 5,
      "quota": 4,
      "states": 4012,
      "starts": 322,
      "clock": 870,
      "Q": 100,
      "blocks": 4350,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2123449647,
      "lower_state": [
        33,
        0,
        0
      ],
      "upper": 2123480094,
      "upper_state": [
        33,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2145561235,
        "(33, 0, 0)": 2123449647,
        "(0, 1, 0)": 2145681958
      },
      "status": "excluded"
    },
    {
      "K": 35,
      "T": 5,
      "quota": 4,
      "states": 4353,
      "starts": 340,
      "clock": 922,
      "Q": 100,
      "blocks": 4610,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2129706201,
      "lower_state": [
        34,
        0,
        0
      ],
      "upper": 2129738465,
      "upper_state": [
        34,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2146042126,
        "(34, 0, 0)": 2129706201,
        "(0, 1, 0)": 2146129897
      },
      "status": "excluded"
    },
    {
      "K": 36,
      "T": 5,
      "quota": 4,
      "states": 4713,
      "starts": 359,
      "clock": 976,
      "Q": 100,
      "blocks": 4880,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2134383543,
      "lower_state": [
        35,
        0,
        0
      ],
      "upper": 2134417689,
      "upper_state": [
        35,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2146401070,
        "(35, 0, 0)": 2134383543,
        "(0, 1, 0)": 2146464832
      },
      "status": "excluded"
    },
    {
      "K": 37,
      "T": 5,
      "quota": 4,
      "states": 5092,
      "starts": 378,
      "clock": 1030,
      "Q": 100,
      "blocks": 5150,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2137861971,
      "lower_state": [
        36,
        0,
        0
      ],
      "upper": 2137897965,
      "upper_state": [
        36,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2146668656,
        "(36, 0, 0)": 2137861971,
        "(0, 1, 0)": 2146714941
      },
      "status": "excluded"
    },
    {
      "K": 38,
      "T": 5,
      "quota": 4,
      "states": 5491,
      "starts": 398,
      "clock": 1087,
      "Q": 100,
      "blocks": 5435,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2140436564,
      "lower_state": [
        37,
        0,
        0
      ],
      "upper": 2140474487,
      "upper_state": [
        37,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2146867805,
        "(37, 0, 0)": 2140436564,
        "(0, 1, 0)": 2146901388
      },
      "status": "excluded"
    },
    {
      "K": 39,
      "T": 5,
      "quota": 4,
      "states": 5910,
      "starts": 418,
      "clock": 1144,
      "Q": 100,
      "blocks": 5720,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2142334013,
      "lower_state": [
        38,
        0,
        0
      ],
      "upper": 2142373849,
      "upper_state": [
        38,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2147015893,
        "(38, 0, 0)": 2142334013,
        "(0, 1, 0)": 2147040236
      },
      "status": "excluded"
    },
    {
      "K": 40,
      "T": 5,
      "quota": 4,
      "states": 6350,
      "starts": 439,
      "clock": 1204,
      "Q": 100,
      "blocks": 6020,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2143727076,
      "lower_state": [
        39,
        0,
        0
      ],
      "upper": 2143768943,
      "upper_state": [
        39,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2147125715,
        "(39, 0, 0)": 2143727076,
        "(0, 1, 0)": 2147143361
      },
      "status": "excluded"
    },
    {
      "K": 41,
      "T": 5,
      "quota": 4,
      "states": 6811,
      "starts": 460,
      "clock": 1265,
      "Q": 100,
      "blocks": 6325,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2144745968,
      "lower_state": [
        40,
        0,
        0
      ],
      "upper": 2144789889,
      "upper_state": [
        40,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2147207041,
        "(40, 0, 0)": 2144745968,
        "(0, 1, 0)": 2147219824
      },
      "status": "excluded"
    },
    {
      "K": 42,
      "T": 5,
      "quota": 4,
      "states": 7294,
      "starts": 482,
      "clock": 1328,
      "Q": 100,
      "blocks": 6640,
      "last_weight": 12,
      "denominator": 2147483648,
      "lower": 2145488787,
      "lower_state": [
        41,
        0,
        0
      ],
      "upper": 2145534837,
      "upper_state": [
        41,
        0,
        0
      ],
      "lower_by_start": {
        "(1, 0, 0)": 2147267110,
        "(41, 0, 0)": 2145488787,
        "(0, 1, 0)": 2147276360
      },
      "status": "certified"
    }
  ],
  "analytic_exclusion_through": 14,
  "scope": "Minimum asserted only with continuous coverage of all smaller integers by analytic or upper certificates. No monotonicity in inventory, deadline or individual rates."
}