Default_Coeff_Base_Cdf
    [ COEFF_CDF_Q_CTXS ][ TX_SIZES ][ SIG_COEF_CONTEXTS ][ 2 ][ 5 ] = {
  {
    {
      {
        {12360, 26392, 29943,  26, 0},
        { 8590, 25353, 30895,   6, 0}
      },
      {
        { 7246, 19496, 26530,  75, 0},
        { 3468, 16232, 25621,  90, 0}
      },
      {
        { 4008, 12605, 18928,  93, 0},
        { 1999,  9165, 16685,  93, 0}
      },
      {
        { 3148,  9393, 14900,  93, 0},
        { 1110,  7696, 14122,  78, 0}
      },
      {
        { 2543,  7526, 12021,  93, 0},
        { 2561,  5445, 10546,  93, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {28014, 31534, 32060,   5, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {13135, 23487, 28599,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 7049, 15368, 20768,  93, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 3109,  8054, 12383,  75, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {25298, 32426, 32713,  93, 0},
        {14651, 31551, 32591,  93, 0}
      },
      {
        {18466, 30483, 32267,  75, 0},
        {  306, 26643, 31787,  90, 0}
      },
      {
        {12399, 26150, 30691,  90, 0},
        { 1131, 21210, 29129,  75, 0}
      },
      {
        { 7487, 20115, 26881,  93, 0},
        {  656, 14639, 24430,  75, 0}
      },
      {
        { 3588, 11042, 17169,  78, 0},
        {  756,  7796, 14913,  78, 0}
      },
      {
        {26570, 32443, 32691,  78, 0},
        {17559, 31708, 32628,  78, 0}
      },
      {
        {18312, 30354, 32288,  90, 0},
        {  581, 26605, 31701,  90, 0}
      },
      {
        {11812, 25791, 30572,  75, 0},
        { 1073, 20736, 28973,  75, 0}
      },
      {
        { 7165, 19304, 26609,  93, 0},
        {  971, 14401, 24415,  93, 0}
      },
      {
        { 3978, 12366, 19160,  93, 0},
        {  935,  8823, 16611,  78, 0}
      },
      {
        {25670, 32230, 32678,  75, 0},
        {19556, 31721, 32677,   0, 0}
      },
      {
        {17121, 29735, 32054,  75, 0},
        { 1460, 26595, 31623,  90, 0}
      },
      {
        {11589, 25561, 30426,  90, 0},
        { 1652, 20606, 28939,  78, 0}
      },
      {
        { 7343, 20631, 27574,  90, 0},
        {  922, 15328, 25115,  75, 0}
      },
      {
        { 4778, 14146, 21151,  90, 0},
        {  902,  9679, 18420,  78, 0}
      },
      {
        {30964, 32538, 32693,   5, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {18212, 29081, 31586,  93, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {10647, 22153, 27538,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 6396, 16045, 22849,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 3574, 10559, 16078,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {28697, 32692, 32748,  90, 0},
        {13717, 32316, 32740,  90, 0}
      },
      {
        {24783, 32374, 32712,  90, 0},
        { 1229, 30871, 32600,  75, 0}
      },
      {
        {19000, 30799, 32442,  75, 0},
        { 2583, 27380, 31887,  15, 0}
      },
      {
        {10656, 24633, 30053,  75, 0},
        {  882, 19759, 28348,  75, 0}
      },
      {
        { 4024, 11749, 17822,  75, 0},
        {  311,  8254, 15425,  75, 0}
      },
      {
        {29761, 32708, 32748,  75, 0},
        {18251, 32567, 32748,   0, 0}
      },
      {
        {24756, 32428, 32722,  75, 0},
        { 1802, 30951, 32542,  93, 0}
      },
      {
        {18650, 30593, 32394,  75, 0},
        { 2883, 27721, 31874,  78, 0}
      },
      {
        {10280, 24576, 29914,  75, 0},
        {  288, 19075, 28254,   1, 0}
      },
      {
        { 3976, 12847, 19261,  75, 0},
        {  754,  8850, 16554,   3, 0}
      },
      {
        {30346, 32725, 32748,  75, 0},
        {24555, 32672, 32748,   5, 0}
      },
      {
        {24866, 32414, 32726,  75, 0},
        {  857, 31274, 32665,  90, 0}
      },
      {
        {18664, 30690, 32404,  93, 0},
        { 2459, 27485, 31962,  93, 0}
      },
      {
        {10302, 24628, 30393,  93, 0},
        {  923, 19581, 28849,  78, 0}
      },
      {
        { 5108, 14969, 22262,  78, 0},
        {  637, 11172, 20006,  78, 0}
      },
      {
        {32114, 32706, 32748,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {22647, 31591, 32522,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {14439, 26903, 30661,   6, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 7410, 19635, 26647,   1, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 3267, 10417, 16526,  92, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {29459, 32676, 32741,  26, 0},
        {12621, 32434, 32748,  83, 0}
      },
      {
        {23667, 32112, 32701,  75, 0},
        { 5563, 30354, 32581,  75, 0}
      },
      {
        {19383, 30660, 32564,  75, 0},
        { 3845, 27375, 31697,  90, 0}
      },
      {
        {10075, 24894, 29897,  90, 0},
        { 2073, 19727, 27880,  78, 0}
      },
      {
        { 3368,  9398, 13892,  81, 0},
        {  571,  6307, 12048,  81, 0}
      },
      {
        {30541, 32712, 32748,  18, 0},
        {17105, 32518, 32748,  90, 0}
      },
      {
        {26380, 32437, 32736,  78, 0},
        { 1892, 31537, 32682,  91, 0}
      },
      {
        {20557, 31281, 32473,  90, 0},
        { 3148, 28251, 32121,   0, 0}
      },
      {
        {10605, 25976, 30389,  76, 0},
        { 3627, 20150, 28517,  76, 0}
      },
      {
        { 3792, 11134, 15907,  81, 0},
        {  517,  7539, 13580,  81, 0}
      },
      {
        {30408, 32748, 32752,  75, 0},
        {32291, 32705, 32748,  75, 0}
      },
      {
        {25730, 32585, 32739,  90, 0},
        { 5942, 31616, 32616,  93, 0}
      },
      {
        {20185, 31076, 32464,  78, 0},
        { 1004, 28344, 32094,  78, 0}
      },
      {
        {11707, 26199, 30689,  93, 0},
        { 1262, 21328, 29569,  93, 0}
      },
      {
        { 5035, 14930, 21229,  90, 0},
        {  746, 10699, 18756,  90, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {28383, 32609, 32688,  10, 0},
        {15428, 32067, 32704,  35, 0}
      },
      {
        {15754, 30788, 32588,  90, 0},
        { 4880, 29631, 31606,   0, 0}
      },
      {
        {10550, 24328, 32147,  75, 0},
        { 8738, 22209, 29673,  75, 0}
      },
      {
        { 9695, 22879, 26951,  25, 0},
        { 1798, 15785, 27773,  75, 0}
      },
      {
        { 3427, 10282, 14127,  93, 0},
        { 1687,  7815, 14031,  78, 0}
      },
      {
        {31560, 32315, 32617,  65, 0},
        {12105, 31933, 32351,  75, 0}
      },
      {
        {20436, 29949, 32063,   0, 0},
        { 6712, 28623, 32571,  25, 0}
      },
      {
        { 9717, 28135, 31186,  15, 0},
        { 8249, 24519, 30362,  40, 0}
      },
      {
        { 7123, 25288, 28494,  10, 0},
        {11556, 14880, 27228,  10, 0}
      },
      {
        { 4041, 10893, 15462,   5, 0},
        {  794, 10029, 17278,  18, 0}
      },
      {
        {28664, 32744, 32748,   0, 0},
        {31632, 32700, 32740,  15, 0}
      },
      {
        {26708, 32579, 32742,  78, 0},
        { 6672, 31742, 32705,  93, 0}
      },
      {
        {20833, 31645, 32639,  93, 0},
        { 1146, 29311, 32329,  93, 0}
      },
      {
        {13676, 28227, 31721,  93, 0},
        { 1479, 24229, 30975,  78, 0}
      },
      {
        { 5792, 15556, 21640,  91, 0},
        { 1677, 10836, 19468,  91, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    }
  },
  {
    {
      {
        {12507, 26077, 30060,  30, 0},
        { 7550, 25098, 30550,  30, 0}
      },
      {
        { 8009, 20715, 27321,   3, 0},
        { 3223, 17464, 26650,   3, 0}
      },
      {
        { 4305, 13150, 20144,  93, 0},
        { 1952, 10128, 18324,   3, 0}
      },
      {
        { 3098,  9586, 15580,  93, 0},
        { 1089,  7195, 13810,  93, 0}
      },
      {
        { 1728,  6104, 10373,  93, 0},
        { 1235,  4736,  9683,  93, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {27562, 31970, 32298,  75, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {11965, 23262, 28482,  75, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 6254, 14791, 20469,  78, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 1646,  6619, 10696,  93, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {25334, 31967, 32621,  90, 0},
        {15582, 31040, 32462,  78, 0}
      },
      {
        {18907, 30472, 32314,  90, 0},
        {  953, 26945, 31805,  75, 0}
      },
      {
        {13516, 26908, 30904,  75, 0},
        { 1549, 21936, 29542,   0, 0}
      },
      {
        { 8297, 20991, 27437,  78, 0},
        {  557, 15598, 25261,   0, 0}
      },
      {
        { 3980, 11626, 17598,   3, 0},
        {  918,  8073, 15400,   3, 0}
      },
      {
        {26391, 32035, 32595,  75, 0},
        {17672, 31342, 32493,   0, 0}
      },
      {
        {19580, 30651, 32319,  75, 0},
        {  589, 27593, 31900,  75, 0}
      },
      {
        {13734, 27193, 31043,   0, 0},
        { 1624, 22701, 29917,   0, 0}
      },
      {
        { 8311, 21239, 27850,   3, 0},
        {  510, 15971, 25802,   0, 0}
      },
      {
        { 4217, 12744, 19511,   3, 0},
        {  717,  9081, 16951,   3, 0}
      },
      {
        {25094, 32069, 32616,   5, 0},
        {17839, 31778, 32640,   5, 0}
      },
      {
        {19672, 30814, 32312,  75, 0},
        { 2025, 28482, 32043,  75, 0}
      },
      {
        {14800, 28188, 31442,   0, 0},
        { 1221, 24055, 30573,   0, 0}
      },
      {
        { 8995, 22820, 28992,   3, 0},
        { 1167, 17916, 27275,   3, 0}
      },
      {
        { 4844, 14798, 22123,  78, 0},
        {  839, 10591, 19419,   3, 0}
      },
      {
        {30845, 32589, 32713,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {19409, 29802, 31864,  75, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {11114, 22871, 27848,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 6092, 16202, 22429,   5, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 3247,  9679, 15027,  90, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {27264, 32622, 32748,  75, 0},
        {13182, 32042, 32728,  75, 0}
      },
      {
        {22849, 32019, 32682,  75, 0},
        {  491, 29944, 32540,  75, 0}
      },
      {
        {17618, 30067, 32261,  75, 0},
        { 1861, 25960, 31490,  75, 0}
      },
      {
        {10036, 24382, 29998,  75, 0},
        { 1347, 18931, 28166,  78, 0}
      },
      {
        { 5051, 14703, 21347,  75, 0},
        {  259, 10600, 19087,   0, 0}
      },
      {
        {29595, 32710, 32748,  75, 0},
        {19929, 32553, 32748,   0, 0}
      },
      {
        {24721, 32388, 32722,  75, 0},
        { 1482, 30913, 32625,  75, 0}
      },
      {
        {18729, 30720, 32485,   0, 0},
        { 1645, 27442, 31977,   0, 0}
      },
      {
        {10807, 25638, 30749,  75, 0},
        { 1150, 20387, 29227,   3, 0}
      },
      {
        { 5546, 16487, 23567,   0, 0},
        {  403, 12249, 21372,   0, 0}
      },
      {
        {30695, 32738, 32748,  80, 0},
        {25061, 32689, 32748,   0, 0}
      },
      {
        {26547, 32580, 32747,  75, 0},
        { 1334, 31785, 32708,  75, 0}
      },
      {
        {20996, 31697, 32662,   0, 0},
        { 3682, 29397, 32392,  78, 0}
      },
      {
        {13209, 28091, 31805,   3, 0},
        {  840, 23372, 30922,   3, 0}
      },
      {
        { 7389, 20059, 27005,   0, 0},
        {  332, 15296, 25093,   0, 0}
      },
      {
        {32282, 32726, 32748,  15, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {23211, 31638, 32504,  90, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {13980, 26668, 30388,   1, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 7795, 19288, 25941,   6, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 3877, 11700, 17890,   1, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {28880, 32680, 32748,   0, 0},
        {12427, 32347, 32748,  90, 0}
      },
      {
        {24025, 32081, 32704,  75, 0},
        { 2065, 30727, 32657,  76, 0}
      },
      {
        {19872, 30769, 32395,   0, 0},
        { 1210, 27547, 31961,  76, 0}
      },
      {
        {10410, 24769, 29817,   1, 0},
        { 2247, 19228, 27805,   1, 0}
      },
      {
        { 3997, 11545, 16952,  75, 0},
        {  146,  7698, 14688,   1, 0}
      },
      {
        {30905, 32733, 32748,  75, 0},
        {18768, 32634, 32748,  76, 0}
      },
      {
        {26894, 32528, 32731,  76, 0},
        { 1978, 31675, 32684,  76, 0}
      },
      {
        {20750, 31222, 32412,   1, 0},
        { 3259, 28753, 32073,   1, 0}
      },
      {
        {10948, 25238, 30225,   0, 0},
        {  733, 20129, 28689,   1, 0}
      },
      {
        { 3995, 12602, 18654,   0, 0},
        {  997,  9216, 16560,  75, 0}
      },
      {
        {31712, 32750, 32754,  75, 0},
        {31152, 32718, 32748,  75, 0}
      },
      {
        {28091, 32642, 32748,  75, 0},
        { 5217, 32006, 32702,  78, 0}
      },
      {
        {22886, 31816, 32647,   0, 0},
        { 2358, 29840, 32394,  75, 0}
      },
      {
        {13616, 27730, 31451,   0, 0},
        { 1022, 23059, 30343,   0, 0}
      },
      {
        { 6026, 17154, 23829,  75, 0},
        {  837, 12628, 21443,  90, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {27869, 32588, 32732,   1, 0},
        {11934, 31678, 32720,  78, 0}
      },
      {
        {20773, 31428, 32627,  75, 0},
        {  813, 29336, 32408,   0, 0}
      },
      {
        {16679, 28979, 31835,   6, 0},
        { 2825, 24549, 30651,   1, 0}
      },
      {
        { 8393, 21384, 27275,   1, 0},
        {   95, 15687, 24751,   6, 0}
      },
      {
        { 3024,  8983, 13215,  75, 0},
        {  476,  5931, 11675,  90, 0}
      },
      {
        {29793, 32715, 32748,  31, 0},
        {15137, 32136, 32735,   0, 0}
      },
      {
        {23697, 31828, 32635,   1, 0},
        { 1247, 29941, 32474,  31, 0}
      },
      {
        {15925, 28680, 31655,   6, 0},
        { 2639, 25018, 30693,   6, 0}
      },
      {
        { 8039, 21380, 27690,  80, 0},
        { 2054, 16597, 25993,   0, 0}
      },
      {
        { 3566, 10567, 15908,  90, 0},
        {  229,  7289, 14138,   1, 0}
      },
      {
        {31282, 32752, 32756,  75, 0},
        {32072, 32728, 32748,  90, 0}
      },
      {
        {26939, 32527, 32733,  75, 0},
        { 6585, 31625, 32669,  78, 0}
      },
      {
        {19878, 30839, 32397,  78, 0},
        { 1559, 27814, 31953,  78, 0}
      },
      {
        {11443, 25746, 30681,  78, 0},
        {  474, 20515, 28997,  78, 0}
      },
      {
        { 5430, 15504, 22268,  93, 0},
        {  484, 11281, 19715,  93, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    }
  },
  {
    {
      {
        {16644, 29920, 32210,   0, 0},
        { 8472, 27835, 32053,   8, 0}
      },
      {
        {12684, 27992, 31958,  15, 0},
        { 1352, 23985, 31355,   0, 0}
      },
      {
        { 6935, 20786, 28614,  90, 0},
        { 1491, 14175, 25464,  18, 0}
      },
      {
        { 4284, 13084, 20147,  93, 0},
        {  506,  8831, 17788,  90, 0}
      },
      {
        { 2473, 16075, 19166,  90, 0},
        { 2070,  4484,  8278,  42, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {31137, 32587, 32685,  75, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {13651, 25517, 30395,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 7870, 18277, 25280,  78, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 3433,  9986, 16852,  17, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {25281, 32546, 32739,  90, 0},
        {13926, 31641, 32699,  75, 0}
      },
      {
        {19473, 31423, 32614,  90, 0},
        {   98, 28106, 32308,  90, 0}
      },
      {
        {14245, 28210, 31761,  78, 0},
        {  186, 23144, 30686,  75, 0}
      },
      {
        { 8755, 22554, 29121,  78, 0},
        {  312, 17032, 27163,  78, 0}
      },
      {
        { 5207, 15042, 22350,  78, 0},
        {  383, 10485, 19689,  78, 0}
      },
      {
        {27697, 32637, 32746,  90, 0},
        {19828, 32280, 32729,   0, 0}
      },
      {
        {20895, 31709, 32601,  93, 0},
        {  706, 29097, 32430,  75, 0}
      },
      {
        {14671, 28816, 32008,   3, 0},
        {  547, 23747, 31087,  75, 0}
      },
      {
        { 8923, 23097, 29710,  93, 0},
        {  217, 17350, 27724,  75, 0}
      },
      {
        { 5346, 16046, 24143,  78, 0},
        {  362, 12099, 22064,  78, 0}
      },
      {
        {26664, 32524, 32729,   0, 0},
        {19929, 32241, 32732,   5, 0}
      },
      {
        {20429, 31546, 32587,  78, 0},
        {  871, 29224, 32427,  75, 0}
      },
      {
        {15091, 29302, 32181,  93, 0},
        {  420, 24224, 31315,  75, 0}
      },
      {
        { 9650, 24609, 30553,  93, 0},
        {  716, 18899, 28798,  78, 0}
      },
      {
        { 6228, 18247, 26011,  93, 0},
        {  488, 12960, 23566,  93, 0}
      },
      {
        {31458, 32658, 32742,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {20693, 30846, 32296,  90, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {12771, 25313, 29851,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 7602, 19024, 25601,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 4692, 14076, 20351,  15, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {26646, 32618, 32748,  75, 0},
        {12985, 32023, 32728,  75, 0}
      },
      {
        {21678, 31945, 32675,  93, 0},
        {   46, 29649, 32565,   0, 0}
      },
      {
        {16813, 29938, 32304,  75, 0},
        {  734, 25488, 31518,   0, 0}
      },
      {
        {10047, 24573, 30320,  78, 0},
        {  680, 18741, 28408,  78, 0}
      },
      {
        { 5428, 16010, 23347,  75, 0},
        {  282, 11635, 21016,  78, 0}
      },
      {
        {29492, 32711, 32748,  90, 0},
        {22856, 32581, 32748,  90, 0}
      },
      {
        {23814, 32473, 32732,  75, 0},
        {  505, 30842, 32654,  75, 0}
      },
      {
        {17970, 30664, 32542,   0, 0},
        {  591, 26988, 31983,   0, 0}
      },
      {
        {10731, 25646, 30915,  75, 0},
        {  716, 19981, 29261,  78, 0}
      },
      {
        { 5897, 17573, 25080,  75, 0},
        {  178, 12954, 22725,  90, 0}
      },
      {
        {30940, 32740, 32748,   0, 0},
        {27493, 32693, 32748,   5, 0}
      },
      {
        {25557, 32571, 32738,  90, 0},
        { 1156, 31536, 32692,  90, 0}
      },
      {
        {19676, 31438, 32631,  75, 0},
        { 1853, 28395, 32266,  78, 0}
      },
      {
        {12168, 27322, 31648,  93, 0},
        {  374, 21862, 30426,  78, 0}
      },
      {
        { 6908, 19494, 27071,  78, 0},
        {  113, 14821, 25176,  90, 0}
      },
      {
        {32313, 32737, 32748,  25, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {23711, 32006, 32620,  75, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {16041, 28992, 31635,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 9990, 23637, 29213,   5, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 5762, 16053, 22500,   5, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {27184, 32672, 32748,   1, 0},
        {10613, 32252, 32738,  75, 0}
      },
      {
        {22470, 32091, 32716,  75, 0},
        {  949, 30238, 32643,  80, 0}
      },
      {
        {17935, 30422, 32413,   0, 0},
        {  674, 26736, 32008,  80, 0}
      },
      {
        {11011, 25612, 30643,  90, 0},
        {  997, 19957, 28943,  90, 0}
      },
      {
        { 4754, 13518, 19616,  75, 0},
        {   30, 10027, 18226,  76, 0}
      },
      {
        {29734, 32729, 32748,   0, 0},
        {17868, 32552, 32748,   0, 0}
      },
      {
        {25168, 32565, 32739,  76, 0},
        {  525, 31274, 32689,  76, 0}
      },
      {
        {19155, 30941, 32493,  75, 0},
        { 1986, 27740, 32084,  75, 0}
      },
      {
        {10959, 25516, 30465,  75, 0},
        {  233, 20155, 29122,  81, 0}
      },
      {
        { 4681, 14503, 21334,   0, 0},
        {  483, 10679, 18885,  75, 0}
      },
      {
        {31907, 32752, 32756,   0, 0},
        {31874, 32719, 32748,  75, 0}
      },
      {
        {26499, 32598, 32736,  90, 0},
        { 4327, 31612, 32678,  93, 0}
      },
      {
        {20964, 31523, 32599,  75, 0},
        { 1451, 28828, 32263,  90, 0}
      },
      {
        {12822, 27283, 31369,  78, 0},
        {  336, 21868, 30060,  75, 0}
      },
      {
        { 6252, 17633, 24699,  93, 0},
        {  465, 12979, 22414,  93, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {27513, 32649, 32748,   6, 0},
        {12533, 32080, 32727,   0, 0}
      },
      {
        {22267, 31858, 32685,  80, 0},
        {  475, 29885, 32524,  15, 0}
      },
      {
        {17673, 30194, 32223,   1, 0},
        { 1643, 25673, 31224,   1, 0}
      },
      {
        {10022, 24035, 29658,  75, 0},
        {  276, 18877, 27751,   6, 0}
      },
      {
        { 4529, 13192, 18915,  76, 0},
        {  285,  9212, 16975,  76, 0}
      },
      {
        {29967, 32707, 32748,   6, 0},
        {15326, 32376, 32746,  15, 0}
      },
      {
        {24351, 32244, 32717,   1, 0},
        { 1649, 31057, 32684,   0, 0}
      },
      {
        {17832, 30408, 32381,   6, 0},
        { 1876, 26558, 31696,  31, 0}
      },
      {
        {10499, 24843, 30081,  75, 0},
        { 1028, 19460, 28542,   1, 0}
      },
      {
        { 5050, 14590, 21227,  75, 0},
        {   92, 10933, 19446,   6, 0}
      },
      {
        {31604, 32752, 32756,  75, 0},
        {32163, 32722, 32748,  90, 0}
      },
      {
        {26537, 32585, 32739,  75, 0},
        { 5518, 31656, 32695,  90, 0}
      },
      {
        {20484, 31396, 32601,  75, 0},
        { 1028, 28479, 32227,  78, 0}
      },
      {
        {12807, 27291, 31420,  93, 0},
        {  469, 22186, 30263,  75, 0}
      },
      {
        { 6722, 18261, 25292,  90, 0},
        {   57, 13631, 22880,  75, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    }
  },
  {
    {
      {
        {18405, 30002, 32555,  40, 0},
        {14824, 31208, 31988,  50, 0}
      },
      {
        {15397, 31584, 32373,  75, 0},
        { 1347, 29476, 32319,  65, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {31972, 32470, 32748,  28, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {22231, 32012, 32721,  40, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 4681, 16384, 30427,  50, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {26034, 32672, 32748,  93, 0},
        {12576, 32175, 32745,  90, 0}
      },
      {
        {22551, 32372, 32748,  93, 0},
        {   20, 30978, 32718,  15, 0}
      },
      {
        {17805, 31280, 32648,  93, 0},
        { 1557, 28114, 32425,   3, 0}
      },
      {
        {13292, 28676, 32147,  93, 0},
        {  555, 23489, 31233,   0, 0}
      },
      {
        {10339, 22768, 29435,  35, 0},
        {  758, 15761, 26377,  35, 0}
      },
      {
        {29142, 32726, 32748,  15, 0},
        {17698, 32623, 32748,  25, 0}
      },
      {
        {24984, 32622, 32748,  93, 0},
        {  600, 31789, 32745,  15, 0}
      },
      {
        {18241, 32005, 32740,  78, 0},
        { 3053, 28834, 32573,  93, 0}
      },
      {
        {11582, 29556, 32181,  18, 0},
        { 5757, 25240, 31661,  33, 0}
      },
      {
        { 3072, 21504, 29184,  65, 0},
        {  643, 12208, 26343,  35, 0}
      },
      {
        {29915, 32732, 32748,  78, 0},
        {24589, 32741, 32748,   0, 0}
      },
      {
        {25072, 32653, 32747,  15, 0},
        { 2766, 32408, 32743,  78, 0}
      },
      {
        {19064, 32047, 32688,  90, 0},
        { 6208, 29694, 32582,  75, 0}
      },
      {
        {16118, 29137, 32325,  90, 0},
        { 3624, 26555, 32028,   6, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {32165, 32689, 32748,  75, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {20616, 31528, 32613,  78, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {17095, 29686, 32489,  18, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {13280, 23529, 32046,  75, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 1725,  3449, 31043,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {27252, 32687, 32748,   0, 0},
        {12250, 32394, 32747,   0, 0}
      },
      {
        {22953, 32345, 32732,  93, 0},
        {  100, 31081, 32711,  75, 0}
      },
      {
        {18289, 31130, 32616,  90, 0},
        { 1043, 27525, 32293,  15, 0}
      },
      {
        {12030, 27356, 31773,  75, 0},
        { 1328, 21750, 30500,  18, 0}
      },
      {
        { 8454, 22057, 29080,  90, 0},
        {  312, 16537, 27228,  76, 0}
      },
      {
        {29639, 32739, 32748,   0, 0},
        {24459, 32557, 32748,  78, 0}
      },
      {
        {24256, 32629, 32748,  75, 0},
        {  586, 31663, 32726,   5, 0}
      },
      {
        {18917, 31583, 32708,   0, 0},
        { 1616, 28584, 32470,  75, 0}
      },
      {
        {13655, 29545, 32407,  75, 0},
        { 1396, 23860, 31469,  90, 0}
      },
      {
        { 9270, 24668, 30796,  91, 0},
        { 1688, 18438, 28979,  91, 0}
      },
      {
        {31096, 32751, 32755,   0, 0},
        {28942, 32716, 32748,   5, 0}
      },
      {
        {25750, 32644, 32748,  75, 0},
        {  465, 32242, 32741,  90, 0}
      },
      {
        {20669, 32346, 32741,  90, 0},
        { 2885, 29990, 32664,  75, 0}
      },
      {
        {15748, 30594, 32632,  90, 0},
        {  372, 26420, 32273,  90, 0}
      },
      {
        {10002, 25783, 31458,  81, 0},
        {  869, 20294, 30019,  92, 0}
      },
      {
        {32513, 32752, 32756,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {24556, 32348, 32716,  90, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {19561, 30597, 32461,   1, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        {11689, 27786, 31427,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {26428, 32701, 32748,   5, 0},
        { 8484, 32368, 32747,   0, 0}
      },
      {
        {22687, 32407, 32740,  75, 0},
        {  390, 30961, 32716,   5, 0}
      },
      {
        {18394, 31398, 32670,  75, 0},
        {  853, 27383, 32300,  75, 0}
      },
      {
        {12738, 28040, 31842,  75, 0},
        { 1044, 21941, 30518,  75, 0}
      },
      {
        { 6990, 19000, 26174,  78, 0},
        {  118, 14015, 24791,  75, 0}
      },
      {
        {28826, 32741, 32748,  31, 0},
        {19295, 32513, 32748,   5, 0}
      },
      {
        {24880, 32674, 32744,  76, 0},
        { 2546, 31692, 32741,  80, 0}
      },
      {
        {19559, 31494, 32644,  76, 0},
        { 1553, 28807, 32451,  81, 0}
      },
      {
        {12667, 27705, 31740,   5, 0},
        {  706, 22624, 30721,   0, 0}
      },
      {
        { 7658, 20890, 27914,  75, 0},
        {  423, 16424, 25634,  91, 0}
      },
      {
        {31332, 32752, 32756,   0, 0},
        {32634, 32730, 32748,  75, 0}
      },
      {
        {26024, 32656, 32746,  75, 0},
        { 6440, 32017, 32721,  78, 0}
      },
      {
        {21950, 32128, 32733,  90, 0},
        { 2501, 29939, 32539,  75, 0}
      },
      {
        {15537, 30098, 32412,  75, 0},
        {  951, 25283, 31648,   3, 0}
      },
      {
        { 8361, 23816, 30093,  76, 0},
        { 1474, 18475, 28692,  91, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    },
    {
      {
        {27339, 32708, 32748,  81, 0},
        {11572, 32394, 32748,   8, 0}
      },
      {
        {23878, 32548, 32744,   5, 0},
        {  461, 31124, 32705,   0, 0}
      },
      {
        {19326, 31492, 32668,  75, 0},
        {  664, 28301, 32374,  75, 0}
      },
      {
        {13120, 27541, 31646,  76, 0},
        {  550, 22504, 30562,  76, 0}
      },
      {
        { 6365, 17893, 24908,  15, 0},
        {  608, 12570, 22302,  90, 0}
      },
      {
        {29384, 32732, 32748,   6, 0},
        {13817, 32574, 32748,   0, 0}
      },
      {
        {24520, 32525, 32747,  76, 0},
        { 1775, 31839, 32739,   6, 0}
      },
      {
        {19335, 31747, 32688,   6, 0},
        { 3566, 28880, 32362,   6, 0}
      },
      {
        {12397, 27427, 31587,   1, 0},
        {  509, 22594, 30553,   0, 0}
      },
      {
        { 7148, 19219, 26315,  75, 0},
        {  677, 13710, 23764,  76, 0}
      },
      {
        {31236, 32752, 32756,  80, 0},
        {32618, 32731, 32748,  90, 0}
      },
      {
        {27068, 32675, 32748,  75, 0},
        { 5945, 32111, 32744,  90, 0}
      },
      {
        {22852, 32207, 32731,  75, 0},
        { 2177, 30282, 32570,  75, 0}
      },
      {
        {14481, 29134, 32134,   0, 0},
        { 2589, 24920, 31424,   0, 0}
      },
      {
        { 8171, 21620, 28271,  75, 0},
        {  169, 16674, 26696,  75, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      },
      {
        { 8192, 16384, 24576,   0, 0},
        { 8192, 16384, 24576,   0, 0}
      }
    }
  }
}