Quelle  cdf.c   Sprache: C

/*
 * Copyright © 2018-2021, VideoLAN and dav1d authors
 * Copyright © 2018, Two Orioles, LLC
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 * 1. Redistributions of source code must retain the above copyright notice, this
 *    list of conditions and the following disclaimer.
 *
 * 2. Redistributions in binary form must reproduce the above copyright notice,
 *    this list of conditions and the following disclaimer in the documentation
 *    and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
 * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR
 * ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
 * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

#include "config.h"

#include <string.h>

#include "common/frame.h"

#include "src/internal.h"
#include "src/tables.h"

#define CDF1(x) (32768-(x))

#define CDF2(a,b) \
    CDF1(a), CDF1(b)
#define CDF3(a,b,c) \
    CDF1(a), CDF2(b,c)
#define CDF4(a,b,c,d) \
    CDF1(a), CDF3(b,c,d)
#define CDF5(a,b,c,d,e) \
    CDF1(a), CDF4(b,c,d,e)
#define CDF6(a,b,c,d,e,f) \
    CDF1(a), CDF5(b,c,d,e,f)
#define CDF7(a,b,c,d,e,f,g) \
    CDF1(a), CDF6(b,c,d,e,f,g)
#define CDF8(a,b,c,d,e,f,g,h) \
    CDF1(a), CDF7(b,c,d,e,f,g,h)
#define CDF9(a,b,c,d,e,f,g,h,i) \
    CDF1(a), CDF8(b,c,d,e,f,g,h,i)
#define CDF10(a,b,c,d,e,f,g,h,i,j) \
    CDF1(a), CDF9(b,c,d,e,f,g,h,i,j)
#define CDF11(a,b,c,d,e,f,g,h,i,j,k) \
    CDF1(a), CDF10(b,c,d,e,f,g,h,i,j,k)
#define CDF12(a,b,c,d,e,f,g,h,i,j,k,l) \
    CDF1(a), CDF11(b,c,d,e,f,g,h,i,j,k,l)
#define CDF13(a,b,c,d,e,f,g,h,i,j,k,l,m) \
    CDF1(a), CDF12(b,c,d,e,f,g,h,i,j,k,l,m)
#define CDF14(a,b,c,d,e,f,g,h,i,j,k,l,m,n) \
    CDF1(a), CDF13(b,c,d,e,f,g,h,i,j,k,l,m,n)
#define CDF15(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o) \
    CDF1(a), CDF14(b,c,d,e,f,g,h,i,j,k,l,m,n,o)

typedef struct CdfDefaultContext {
    CdfModeContext m;
    struct {
        CdfMvComponent comp;
        ALIGN(uint16_t joint[N_MV_JOINTS], 8);
    } mv;
    ALIGN(uint16_t kfym[5][5][N_INTRA_PRED_MODES + 3], 32);
} CdfDefaultContext;

static const CdfDefaultContext default_cdf = {
    .m  = {
        .y_mode = {
            { CDF12(22801, 23489, 24293, 24756, 25601, 26123,
                    26606, 27418, 27945, 29228, 29685, 30349) },
            { CDF12(18673, 19845, 22631, 23318, 23950, 24649,
                    25527, 27364, 28152, 29701, 29984, 30852) },
            { CDF12(19770, 20979, 23396, 23939, 24241, 24654,
                    25136, 27073, 27830, 29360, 29730, 30659) },
            { CDF12(20155, 21301, 22838, 23178, 23261, 23533,
                    23703, 24804, 25352, 26575, 27016, 28049) },
        }, .use_filter_intra = {
            [BS_4x4]     = { CDF1( 4621) },
            [BS_4x8]     = { CDF1( 6743) },
            [BS_8x4]     = { CDF1( 5893) },
            [BS_8x8]     = { CDF1( 7866) },
            [BS_8x16]    = { CDF1(12551) },
            [BS_16x8]    = { CDF1( 9394) },
            [BS_16x16]   = { CDF1(12408) },
            [BS_16x32]   = { CDF1(14301) },
            [BS_32x16]   = { CDF1(12756) },
            [BS_32x32]   = { CDF1(22343) },
            [BS_32x64]   = { CDF1(16384) },
            [BS_64x32]   = { CDF1(16384) },
            [BS_64x64]   = { CDF1(16384) },
            [BS_64x128]  = { CDF1(16384) },
            [BS_128x64]  = { CDF1(16384) },
            [BS_128x128] = { CDF1(16384) },
            [BS_4x16]    = { CDF1(12770) },
            [BS_16x4]    = { CDF1(10368) },
            [BS_8x32]    = { CDF1(20229) },
            [BS_32x8]    = { CDF1(18101) },
            [BS_16x64]   = { CDF1(16384) },
            [BS_64x16]   = { CDF1(16384) },
        }, .filter_intra = {
            CDF4(8949, 12776, 17211, 29558),
        }, .uv_mode = {
            {
                { CDF12(22631, 24152, 25378, 25661, 25986, 26520,
                        27055, 27923, 28244, 30059, 30941, 31961) },
                { CDF12( 9513, 26881, 26973, 27046, 27118, 27664,
                        27739, 27824, 28359, 29505, 29800, 31796) },
                { CDF12( 9845,  9915, 28663, 28704, 28757, 28780,
                        29198, 29822, 29854, 30764, 31777, 32029) },
                { CDF12(13639, 13897, 14171, 25331, 25606, 25727,
                        25953, 27148, 28577, 30612, 31355, 32493) },
                { CDF12( 9764,  9835,  9930,  9954, 25386, 27053,
                        27958, 28148, 28243, 31101, 31744, 32363) },
                { CDF12(11825, 13589, 13677, 13720, 15048, 29213,
                        29301, 29458, 29711, 31161, 31441, 32550) },
                { CDF12(14175, 14399, 16608, 16821, 17718, 17775,
                        28551, 30200, 30245, 31837, 32342, 32667) },
                { CDF12(12885, 13038, 14978, 15590, 15673, 15748,
                        16176, 29128, 29267, 30643, 31961, 32461) },
                { CDF12(12026, 13661, 13874, 15305, 15490, 15726,
                        15995, 16273, 28443, 30388, 30767, 32416) },
                { CDF12(19052, 19840, 20579, 20916, 21150, 21467,
                        21885, 22719, 23174, 28861, 30379, 32175) },
                { CDF12(18627, 19649, 20974, 21219, 21492, 21816,
                        22199, 23119, 23527, 27053, 31397, 32148) },
                { CDF12(17026, 19004, 19997, 20339, 20586, 21103,
                        21349, 21907, 22482, 25896, 26541, 31819) },
                { CDF12(12124, 13759, 14959, 14992, 15007, 15051,
                        15078, 15166, 15255, 15753, 16039, 16606) },
            }, {
                { CDF13(10407, 11208, 12900, 13181, 13823, 14175, 14899,
                        15656, 15986, 20086, 20995, 22455, 24212) },
                { CDF13( 4532, 19780, 20057, 20215, 20428, 21071, 21199,
                        21451, 22099, 24228, 24693, 27032, 29472) },
                { CDF13( 5273,  5379, 20177, 20270, 20385, 20439, 20949,
                        21695, 21774, 23138, 24256, 24703, 26679) },
                { CDF13( 6740,  7167,  7662, 14152, 14536, 14785, 15034,
                        16741, 18371, 21520, 22206, 23389, 24182) },
                { CDF13( 4987,  5368,  5928,  6068, 19114, 20315, 21857,
                        22253, 22411, 24911, 25380, 26027, 26376) },
                { CDF13( 5370,  6889,  7247,  7393,  9498, 21114, 21402,
                        21753, 21981, 24780, 25386, 26517, 27176) },
                { CDF13( 4816,  4961,  7204,  7326,  8765,  8930, 20169,
                        20682, 20803, 23188, 23763, 24455, 24940) },
                { CDF13( 6608,  6740,  8529,  9049,  9257,  9356,  9735,
                        18827, 19059, 22336, 23204, 23964, 24793) },
                { CDF13( 5998,  7419,  7781,  8933,  9255,  9549,  9753,
                        10417, 18898, 22494, 23139, 24764, 25989) },
                { CDF13(10660, 11298, 12550, 12957, 13322, 13624, 14040,
                        15004, 15534, 20714, 21789, 23443, 24861) },
                { CDF13(10522, 11530, 12552, 12963, 13378, 13779, 14245,
                        15235, 15902, 20102, 22696, 23774, 25838) },
                { CDF13(10099, 10691, 12639, 13049, 13386, 13665, 14125,
                        15163, 15636, 19676, 20474, 23519, 25208) },
                { CDF13( 3144,  5087,  7382,  7504,  7593,  7690,  7801,
                         8064,  8232,  9248,  9875, 10521, 29048) },
            },
        }, .angle_delta = {
            { CDF6( 2180,  5032,  7567, 22776, 26989, 30217) },
            { CDF6( 2301,  5608,  8801, 23487, 26974, 30330) },
            { CDF6( 3780, 11018, 13699, 19354, 23083, 31286) },
            { CDF6( 4581, 11226, 15147, 17138, 21834, 28397) },
            { CDF6( 1737, 10927, 14509, 19588, 22745, 28823) },
            { CDF6( 2664, 10176, 12485, 17650, 21600, 30495) },
            { CDF6( 2240, 11096, 15453, 20341, 22561, 28917) },
            { CDF6( 3605, 10428, 12459, 17676, 21244, 30655) },
        }, .filter = {
            {
                { CDF2(31935, 32720) }, { CDF2( 5568, 32719) },
                { CDF2(  422,  2938) }, { CDF2(28244, 32608) },
                { CDF2(31206, 31953) }, { CDF2( 4862, 32121) },
                { CDF2(  770,  1152) }, { CDF2(20889, 25637) },
            }, {
                { CDF2(31910, 32724) }, { CDF2( 4120, 32712) },
                { CDF2(  305,  2247) }, { CDF2(27403, 32636) },
                { CDF2(31022, 32009) }, { CDF2( 2963, 32093) },
                { CDF2(  601,   943) }, { CDF2(14969, 21398) },
            },
        }, .newmv_mode = {
            { CDF1(24035) }, { CDF1(16630) }, { CDF1(15339) },
            { CDF1( 8386) }, { CDF1(12222) }, { CDF1( 4676) },
        }, .globalmv_mode = {
            { CDF1( 2175) }, { CDF1( 1054) },
        }, .refmv_mode = {
            { CDF1(23974) }, { CDF1(24188) }, { CDF1(17848) },
            { CDF1(28622) }, { CDF1(24312) }, { CDF1(19923) },
        }, .drl_bit = {
            { CDF1(13104) }, { CDF1(24560) }, { CDF1(18945) },
        }, .comp_inter_mode = {
            { CDF7( 7760, 13823, 15808, 17641, 19156, 20666, 26891) },
            { CDF7(10730, 19452, 21145, 22749, 24039, 25131, 28724) },
            { CDF7(10664, 20221, 21588, 22906, 24295, 25387, 28436) },
            { CDF7(13298, 16984, 20471, 24182, 25067, 25736, 26422) },
            { CDF7(18904, 23325, 25242, 27432, 27898, 28258, 30758) },
            { CDF7(10725, 17454, 20124, 22820, 24195, 25168, 26046) },
            { CDF7(17125, 24273, 25814, 27492, 28214, 28704, 30592) },
            { CDF7(13046, 23214, 24505, 25942, 27435, 28442, 29330) },
        }, .intra = {
            { CDF1(  806) }, { CDF1(16662) }, { CDF1(20186) },
            { CDF1(26538) },
        }, .comp = {
            { CDF1(26828) }, { CDF1(24035) }, { CDF1(12031) },
            { CDF1(10640) }, { CDF1( 2901) },
        }, .comp_dir = {
            { CDF1( 1198) }, { CDF1( 2070) }, { CDF1( 9166) },
            { CDF1( 7499) }, { CDF1(22475) },
        }, .jnt_comp = {
            { CDF1(18244) }, { CDF1(12865) }, { CDF1( 7053) },
            { CDF1(13259) }, { CDF1( 9334) }, { CDF1( 4644) },
        }, .mask_comp = {
            { CDF1(26607) }, { CDF1(22891) }, { CDF1(18840) },
            { CDF1(24594) }, { CDF1(19934) }, { CDF1(22674) },
        }, .wedge_comp = {
            { CDF1(23431) }, { CDF1(13171) }, { CDF1(11470) },
            { CDF1( 9770) }, { CDF1( 9100) }, { CDF1( 8233) },
            { CDF1( 6172) }, { CDF1(11820) }, { CDF1( 7701) },
        }, .wedge_idx = {
            { CDF15( 2438,  4440,  6599,  8663, 11005, 12874, 15751, 18094,
                    20359, 22362, 24127, 25702, 27752, 29450, 31171) },
            { CDF15(  806,  3266,  6005,  6738,  7218,  7367,  7771, 14588,
                    16323, 17367, 18452, 19422, 22839, 26127, 29629) },
            { CDF15( 2779,  3738,  4683,  7213,  7775,  8017,  8655, 14357,
                    17939, 21332, 24520, 27470, 29456, 30529, 31656) },
            { CDF15( 1684,  3625,  5675,  7108,  9302, 11274, 14429, 17144,
                    19163, 20961, 22884, 24471, 26719, 28714, 30877) },
            { CDF15( 1142,  3491,  6277,  7314,  8089,  8355,  9023, 13624,
                    15369, 16730, 18114, 19313, 22521, 26012, 29550) },
            { CDF15( 2742,  4195,  5727,  8035,  8980,  9336, 10146, 14124,
                    17270, 20533, 23434, 25972, 27944, 29570, 31416) },
            { CDF15( 1727,  3948,  6101,  7796,  9841, 12344, 15766, 18944,
                    20638, 22038, 23963, 25311, 26988, 28766, 31012) },
            { CDF15(  154,   987,  1925,  2051,  2088,  2111,  2151, 23033,
                    23703, 24284, 24985, 25684, 27259, 28883, 30911) },
            { CDF15( 1135,  1322,  1493,  2635,  2696,  2737,  2770, 21016,
                    22935, 25057, 27251, 29173, 30089, 30960, 31933) },
        }, .interintra = {
            { CDF1(16384) }, { CDF1(26887) }, { CDF1(27597) },
            { CDF1(30237) },
        }, .interintra_mode = {
            { CDF3(8192, 16384, 24576) },
            { CDF3(1875, 11082, 27332) },
            { CDF3(2473,  9996, 26388) },
            { CDF3(4238, 11537, 25926) },
        }, .interintra_wedge = {
            { CDF1(20036) }, { CDF1(24957) }, { CDF1(26704) },
            { CDF1(27530) }, { CDF1(29564) }, { CDF1(29444) },
            { CDF1(26872) },
        }, .ref = {
            { { CDF1( 4897) }, { CDF1(16973) }, { CDF1(29744) } },
            { { CDF1( 1555) }, { CDF1(16751) }, { CDF1(30279) } },
            { { CDF1( 4236) }, { CDF1(19647) }, { CDF1(31194) } },
            { { CDF1( 8650) }, { CDF1(24773) }, { CDF1(31895) } },
            { { CDF1(  904) }, { CDF1(11014) }, { CDF1(26875) } },
            { { CDF1( 1444) }, { CDF1(15087) }, { CDF1(30304) } },
        }, .comp_fwd_ref = {
            { { CDF1( 4946) }, { CDF1(19891) }, { CDF1(30731) } },
            { { CDF1( 9468) }, { CDF1(22441) }, { CDF1(31059) } },
            { { CDF1( 1503) }, { CDF1(15160) }, { CDF1(27544) } },
        }, .comp_bwd_ref = {
            { { CDF1( 2235) }, { CDF1(17182) }, { CDF1(30606) } },
            { { CDF1( 1423) }, { CDF1(15175) }, { CDF1(30489) } },
        }, .comp_uni_ref = {
            { { CDF1( 5284) }, { CDF1(23152) }, { CDF1(31774) } },
            { { CDF1( 3865) }, { CDF1(14173) }, { CDF1(25120) } },
            { { CDF1( 3128) }, { CDF1(15270) }, { CDF1(26710) } },
        }, .txsz = {
            {
                { CDF1(19968) }, { CDF1(19968) }, { CDF1(24320) },
            }, {
                { CDF2(12272, 30172) }, { CDF2(12272, 30172) },
                { CDF2(18677, 30848) },
            }, {
                { CDF2(12986, 15180) }, { CDF2(12986, 15180) },
                { CDF2(24302, 25602) },
            }, {
                { CDF2( 5782, 11475) }, { CDF2( 5782, 11475) },
                { CDF2(16803, 22759) },
            },
        }, .txpart = {
            { { CDF1(28581) }, { CDF1(23846) }, { CDF1(20847) } },
            { { CDF1(24315) }, { CDF1(18196) }, { CDF1(12133) } },
            { { CDF1(18791) }, { CDF1(10887) }, { CDF1(11005) } },
            { { CDF1(27179) }, { CDF1(20004) }, { CDF1(11281) } },
            { { CDF1(26549) }, { CDF1(19308) }, { CDF1(14224) } },
            { { CDF1(28015) }, { CDF1(21546) }, { CDF1(14400) } },
            { { CDF1(28165) }, { CDF1(22401) }, { CDF1(16088) } },
        }, .txtp_inter1 = {
            { CDF15( 4458,  5560,  7695,  9709, 13330, 14789, 17537, 20266,
                    21504, 22848, 23934, 25474, 27727, 28915, 30631) },
            { CDF15( 1645,  2573,  4778,  5711,  7807,  8622, 10522, 15357,
                    17674, 20408, 22517, 25010, 27116, 28856, 30749) },
        }, .txtp_inter2 = {
            CDF11(  770,  2421,  5225, 12907, 15819, 18927,
                  21561, 24089, 26595, 28526, 30529)
        }, .txtp_inter3 = {
            { CDF1(16384) }, { CDF1( 4167) }, { CDF1( 1998) }, { CDF1(  748) },
        }, .txtp_intra1 = {
            {
                { CDF6( 1535,  8035,  9461, 12751, 23467, 27825) },
                { CDF6(  564,  3335,  9709, 10870, 18143, 28094) },
                { CDF6(  672,  3247,  3676, 11982, 19415, 23127) },
                { CDF6( 5279, 13885, 15487, 18044, 23527, 30252) },
                { CDF6( 4423,  6074,  7985, 10416, 25693, 29298) },
                { CDF6( 1486,  4241,  9460, 10662, 16456, 27694) },
                { CDF6(  439,  2838,  3522,  6737, 18058, 23754) },
                { CDF6( 1190,  4233,  4855, 11670, 20281, 24377) },
                { CDF6( 1045,  4312,  8647, 10159, 18644, 29335) },
                { CDF6(  202,  3734,  4747,  7298, 17127, 24016) },
                { CDF6(  447,  4312,  6819,  8884, 16010, 23858) },
                { CDF6(  277,  4369,  5255,  8905, 16465, 22271) },
                { CDF6( 3409,  5436, 10599, 15599, 19687, 24040) },
            }, {
                { CDF6( 1870, 13742, 14530, 16498, 23770, 27698) },
                { CDF6(  326,  8796, 14632, 15079, 19272, 27486) },
                { CDF6(  484,  7576,  7712, 14443, 19159, 22591) },
                { CDF6( 1126, 15340, 15895, 17023, 20896, 30279) },
                { CDF6(  655,  4854,  5249,  5913, 22099, 27138) },
                { CDF6( 1299,  6458,  8885,  9290, 14851, 25497) },
                { CDF6(  311,  5295,  5552,  6885, 16107, 22672) },
                { CDF6(  883,  8059,  8270, 11258, 17289, 21549) },
                { CDF6(  741,  7580,  9318, 10345, 16688, 29046) },
                { CDF6(  110,  7406,  7915,  9195, 16041, 23329) },
                { CDF6(  363,  7974,  9357, 10673, 15629, 24474) },
                { CDF6(  153,  7647,  8112,  9936, 15307, 19996) },
                { CDF6( 3511,  6332, 11165, 15335, 19323, 23594) },
            },
        }, .txtp_intra2 = {
            {
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
            }, {
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
                { CDF4( 6554, 13107, 19661, 26214) },
            }, {
                { CDF4( 1127, 12814, 22772, 27483) },
                { CDF4(  145,  6761, 11980, 26667) },
                { CDF4(  362,  5887, 11678, 16725) },
                { CDF4(  385, 15213, 18587, 30693) },
                { CDF4(   25,  2914, 23134, 27903) },
                { CDF4(   60,  4470, 11749, 23991) },
                { CDF4(   37,  3332, 14511, 21448) },
                { CDF4(  157,  6320, 13036, 17439) },
                { CDF4(  119,  6719, 12906, 29396) },
                { CDF4(   47,  5537, 12576, 21499) },
                { CDF4(  269,  6076, 11258, 23115) },
                { CDF4(   83,  5615, 12001, 17228) },
                { CDF4( 1968,  5556, 12023, 18547) },
            },
        }, .skip = {
            { CDF1(31671) }, { CDF1(16515) }, { CDF1( 4576) },
        }, .skip_mode = {
            { CDF1(32621) }, { CDF1(20708) }, { CDF1( 8127) },
        }, .partition = {
            {
                // 128x128 -> 64x64
                { CDF7(27899, 28219, 28529, 32484, 32539, 32619, 32639) },
                { CDF7( 6607,  6990,  8268, 32060, 32219, 32338, 32371) },
                { CDF7( 5429,  6676,  7122, 32027, 32227, 32531, 32582) },
                { CDF7(  711,   966,  1172, 32448, 32538, 32617, 32664) },
            }, {
                // 64x64 -> 32x32
                { CDF9(20137, 21547, 23078, 29566, 29837,
                       30261, 30524, 30892, 31724) },
                { CDF9( 6732,  7490,  9497, 27944, 28250,
                       28515, 28969, 29630, 30104) },
                { CDF9( 5945,  7663,  8348, 28683, 29117,
                       29749, 30064, 30298, 32238) },
                { CDF9(  870,  1212,  1487, 31198, 31394,
                       31574, 31743, 31881, 32332) },
            }, {
                // 32x32 -> 16x16
                { CDF9(18462, 20920, 23124, 27647, 28227,
                       29049, 29519, 30178, 31544) },
                { CDF9( 7689,  9060, 12056, 24992, 25660,
                       26182, 26951, 28041, 29052) },
                { CDF9( 6015,  9009, 10062, 24544, 25409,
                       26545, 27071, 27526, 32047) },
                { CDF9( 1394,  2208,  2796, 28614, 29061,
                       29466, 29840, 30185, 31899) },
            }, {
                // 16x16 -> 8x8
                { CDF9(15597, 20929, 24571, 26706, 27664,
                       28821, 29601, 30571, 31902) },
                { CDF9( 7925, 11043, 16785, 22470, 23971,
                       25043, 26651, 28701, 29834) },
                { CDF9( 5414, 13269, 15111, 20488, 22360,
                       24500, 25537, 26336, 32117) },
                { CDF9( 2662,  6362,  8614, 20860, 23053,
                       24778, 26436, 27829, 31171) },
            }, {
                // 8x8 -> 4x4 only supports the four legacy partition types
                { CDF3(19132, 25510, 30392) },
                { CDF3(13928, 19855, 28540) },
                { CDF3(12522, 23679, 28629) },
                { CDF3( 9896, 18783, 25853) },
            },
        }, .seg_pred = {
            { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
        }, .seg_id = {
            { CDF7( 5622,  7893, 16093, 18233, 27809, 28373, 32533) },
            { CDF7(14274, 18230, 22557, 24935, 29980, 30851, 32344) },
            { CDF7(27527, 28487, 28723, 28890, 32397, 32647, 32679) },
        }, .cfl_sign = {
            CDF7( 1418,  2123, 13340, 18405, 26972, 28343, 32294)
        }, .cfl_alpha = {
            { CDF15( 7637, 20719, 31401, 32481, 32657, 32688, 32692, 32696,
                    32700, 32704, 32708, 32712, 32716, 32720, 32724) },
            { CDF15(14365, 23603, 28135, 31168, 32167, 32395, 32487, 32573,
                    32620, 32647, 32668, 32672, 32676, 32680, 32684) },
            { CDF15(11532, 22380, 28445, 31360, 32349, 32523, 32584, 32649,
                    32673, 32677, 32681, 32685, 32689, 32693, 32697) },
            { CDF15(26990, 31402, 32282, 32571, 32692, 32696, 32700, 32704,
                    32708, 32712, 32716, 32720, 32724, 32728, 32732) },
            { CDF15(17248, 26058, 28904, 30608, 31305, 31877, 32126, 32321,
                    32394, 32464, 32516, 32560, 32576, 32593, 32622) },
            { CDF15(14738, 21678, 25779, 27901, 29024, 30302, 30980, 31843,
                    32144, 32413, 32520, 32594, 32622, 32656, 32660) },
        }, .restore_wiener = {
            CDF1(11570)
        }, .restore_sgrproj = {
            CDF1(16855)
        }, .restore_switchable = {
            CDF2( 9413, 22581)
        }, .delta_q = {
            CDF3(28160, 32120, 32677)
        }, .delta_lf = {
            { CDF3(28160, 32120, 32677) },
            { CDF3(28160, 32120, 32677) },
            { CDF3(28160, 32120, 32677) },
            { CDF3(28160, 32120, 32677) },
            { CDF3(28160, 32120, 32677) },
        }, .motion_mode = {
            [BS_8x8]     = { CDF2( 7651, 24760) },
            [BS_8x16]    = { CDF2( 4738, 24765) },
            [BS_8x32]    = { CDF2(28799, 31390) },
            [BS_16x8]    = { CDF2( 5391, 25528) },
            [BS_16x16]   = { CDF2(19419, 26810) },
            [BS_16x32]   = { CDF2( 5123, 23606) },
            [BS_16x64]   = { CDF2(28973, 31594) },
            [BS_32x8]    = { CDF2(26431, 30774) },
            [BS_32x16]   = { CDF2(11606, 24308) },
            [BS_32x32]   = { CDF2(26260, 29116) },
            [BS_32x64]   = { CDF2(20360, 28062) },
            [BS_64x16]   = { CDF2(29742, 31203) },
            [BS_64x32]   = { CDF2(21679, 26830) },
            [BS_64x64]   = { CDF2(29516, 30701) },
            [BS_64x128]  = { CDF2(28898, 30397) },
            [BS_128x64]  = { CDF2(30878, 31335) },
            [BS_128x128] = { CDF2(32507, 32558) },
        }, .obmc = {
            [BS_8x8]     = { CDF1(10437) },
            [BS_8x16]    = { CDF1( 9371) },
            [BS_8x32]    = { CDF1(23664) },
            [BS_16x8]    = { CDF1( 9301) },
            [BS_16x16]   = { CDF1(17432) },
            [BS_16x32]   = { CDF1(14423) },
            [BS_16x64]   = { CDF1(24008) },
            [BS_32x8]    = { CDF1(20901) },
            [BS_32x16]   = { CDF1(15142) },
            [BS_32x32]   = { CDF1(25817) },
            [BS_32x64]   = { CDF1(22823) },
            [BS_64x16]   = { CDF1(26879) },
            [BS_64x32]   = { CDF1(22083) },
            [BS_64x64]   = { CDF1(30128) },
            [BS_64x128]  = { CDF1(31014) },
            [BS_128x64]  = { CDF1(31560) },
            [BS_128x128] = { CDF1(32638) },
        }, .pal_y = {
            { { CDF1(31676) }, { CDF1( 3419) }, { CDF1( 1261) } },
            { { CDF1(31912) }, { CDF1( 2859) }, { CDF1(  980) } },
            { { CDF1(31823) }, { CDF1( 3400) }, { CDF1(  781) } },
            { { CDF1(32030) }, { CDF1( 3561) }, { CDF1(  904) } },
            { { CDF1(32309) }, { CDF1( 7337) }, { CDF1( 1462) } },
            { { CDF1(32265) }, { CDF1( 4015) }, { CDF1( 1521) } },
            { { CDF1(32450) }, { CDF1( 7946) }, { CDF1(  129) } },
        }, .pal_sz = {
            {
                { CDF6( 7952, 13000, 18149, 21478, 25527, 29241) },
                { CDF6( 7139, 11421, 16195, 19544, 23666, 28073) },
                { CDF6( 7788, 12741, 17325, 20500, 24315, 28530) },
                { CDF6( 8271, 14064, 18246, 21564, 25071, 28533) },
                { CDF6(12725, 19180, 21863, 24839, 27535, 30120) },
                { CDF6( 9711, 14888, 16923, 21052, 25661, 27875) },
                { CDF6(14940, 20797, 21678, 24186, 27033, 28999) },
            }, {
                { CDF6( 8713, 19979, 27128, 29609, 31331, 32272) },
                { CDF6( 5839, 15573, 23581, 26947, 29848, 31700) },
                { CDF6( 4426, 11260, 17999, 21483, 25863, 29430) },
                { CDF6( 3228,  9464, 14993, 18089, 22523, 27420) },
                { CDF6( 3768,  8886, 13091, 17852, 22495, 27207) },
                { CDF6( 2464,  8451, 12861, 21632, 25525, 28555) },
                { CDF6( 1269,  5435, 10433, 18963, 21700, 25865) },
            },
        }, .pal_uv = {
            { CDF1(32461) }, { CDF1(21488) },
        }, .color_map = {
            { /* y */
                {
                    { CDF1(28710) }, { CDF1(16384) }, { CDF1(10553) },
                    { CDF1(27036) }, { CDF1(31603) },
                }, {
                    { CDF2(27877, 30490) }, { CDF2(11532, 25697) },
                    { CDF2( 6544, 30234) }, { CDF2(23018, 28072) },
                    { CDF2(31915, 32385) },
                }, {
                    { CDF3(25572, 28046, 30045) },
                    { CDF3( 9478, 21590, 27256) },
                    { CDF3( 7248, 26837, 29824) },
                    { CDF3(19167, 24486, 28349) },
                    { CDF3(31400, 31825, 32250) },
                }, {
                    { CDF4(24779, 26955, 28576, 30282) },
                    { CDF4( 8669, 20364, 24073, 28093) },
                    { CDF4( 4255, 27565, 29377, 31067) },
                    { CDF4(19864, 23674, 26716, 29530) },
                    { CDF4(31646, 31893, 32147, 32426) },
                }, {
                    { CDF5(23132, 25407, 26970, 28435, 30073) },
                    { CDF5( 7443, 17242, 20717, 24762, 27982) },
                    { CDF5( 6300, 24862, 26944, 28784, 30671) },
                    { CDF5(18916, 22895, 25267, 27435, 29652) },
                    { CDF5(31270, 31550, 31808, 32059, 32353) },
                }, {
                    { CDF6(23105, 25199, 26464, 27684, 28931, 30318) },
                    { CDF6( 6950, 15447, 18952, 22681, 25567, 28563) },
                    { CDF6( 7560, 23474, 25490, 27203, 28921, 30708) },
                    { CDF6(18544, 22373, 24457, 26195, 28119, 30045) },
                    { CDF6(31198, 31451, 31670, 31882, 32123, 32391) },
                }, {
                    { CDF7(21689, 23883, 25163, 26352, 27506, 28827, 30195) },
                    { CDF7( 6892, 15385, 17840, 21606, 24287, 26753, 29204) },
                    { CDF7( 5651, 23182, 25042, 26518, 27982, 29392, 30900) },
                    { CDF7(19349, 22578, 24418, 25994, 27524, 29031, 30448) },
                    { CDF7(31028, 31270, 31504, 31705, 31927, 32153, 32392) },
                },
            }, { /* uv */
                {
                    { CDF1(29089) }, { CDF1(16384) }, { CDF1( 8713) },
                    { CDF1(29257) }, { CDF1(31610) },
                }, {
                    { CDF2(25257, 29145) }, { CDF2(12287, 27293) },
                    { CDF2( 7033, 27960) }, { CDF2(20145, 25405) },
                    { CDF2(30608, 31639) },
                }, {
                    { CDF3(24210, 27175, 29903) },
                    { CDF3( 9888, 22386, 27214) },
                    { CDF3( 5901, 26053, 29293) },
                    { CDF3(18318, 22152, 28333) },
                    { CDF3(30459, 31136, 31926) },
                }, {
                    { CDF4(22980, 25479, 27781, 29986) },
                    { CDF4( 8413, 21408, 24859, 28874) },
                    { CDF4( 2257, 29449, 30594, 31598) },
                    { CDF4(19189, 21202, 25915, 28620) },
                    { CDF4(31844, 32044, 32281, 32518) },
                }, {
                    { CDF5(22217, 24567, 26637, 28683, 30548) },
                    { CDF5( 7307, 16406, 19636, 24632, 28424) },
                    { CDF5( 4441, 25064, 26879, 28942, 30919) },
                    { CDF5(17210, 20528, 23319, 26750, 29582) },
                    { CDF5(30674, 30953, 31396, 31735, 32207) },
                }, {
                    { CDF6(21239, 23168, 25044, 26962, 28705, 30506) },
                    { CDF6( 6545, 15012, 18004, 21817, 25503, 28701) },
                    { CDF6( 3448, 26295, 27437, 28704, 30126, 31442) },
                    { CDF6(15889, 18323, 21704, 24698, 26976, 29690) },
                    { CDF6(30988, 31204, 31479, 31734, 31983, 32325) },
                }, {
                    { CDF7(21442, 23288, 24758, 26246, 27649, 28980, 30563) },
                    { CDF7( 5863, 14933, 17552, 20668, 23683, 26411, 29273) },
                    { CDF7( 3415, 25810, 26877, 27990, 29223, 30394, 31618) },
                    { CDF7(17965, 20084, 22232, 23974, 26274, 28402, 30390) },
                    { CDF7(31190, 31329, 31516, 31679, 31825, 32026, 32322) },
                },
            },
        }, .intrabc = {
            CDF1(30531)
        },
    }, .mv = {
        .comp = {
            .classes = {
                CDF10(28672, 30976, 31858, 32320, 32551,
                      32656, 32740, 32757, 32762, 32767)
            }, .class0 = {
                CDF1(27648)
            }, .classN = {
                { CDF1(17408) }, { CDF1(17920) }, { CDF1(18944) },
                { CDF1(20480) }, { CDF1(22528) }, { CDF1(24576) },
                { CDF1(28672) }, { CDF1(29952) }, { CDF1(29952) },
                { CDF1(30720) },
            }, .class0_fp = {
                { CDF3(16384, 24576, 26624) },
                { CDF3(12288, 21248, 24128) },
            }, .classN_fp = {
                CDF3( 8192, 17408, 21248)
            }, .class0_hp = {
                CDF1(20480)
            }, .classN_hp = {
                CDF1(16384)
            }, .sign = {
                CDF1(16384)
            },
        }, .joint = {
            CDF3( 4096, 11264, 19328)
        },
    }, .kfym = {
        {
            { CDF12(15588, 17027, 19338, 20218, 20682, 21110,
                    21825, 23244, 24189, 28165, 29093, 30466) },
            { CDF12(12016, 18066, 19516, 20303, 20719, 21444,
                    21888, 23032, 24434, 28658, 30172, 31409) },
            { CDF12(10052, 10771, 22296, 22788, 23055, 23239,
                    24133, 25620, 26160, 29336, 29929, 31567) },
            { CDF12(14091, 15406, 16442, 18808, 19136, 19546,
                    19998, 22096, 24746, 29585, 30958, 32462) },
            { CDF12(12122, 13265, 15603, 16501, 18609, 20033,
                    22391, 25583, 26437, 30261, 31073, 32475) },
        }, {
            { CDF12(10023, 19585, 20848, 21440, 21832, 22760,
                    23089, 24023, 25381, 29014, 30482, 31436) },
            { CDF12( 5983, 24099, 24560, 24886, 25066, 25795,
                    25913, 26423, 27610, 29905, 31276, 31794) },
            { CDF12( 7444, 12781, 20177, 20728, 21077, 21607,
                    22170, 23405, 24469, 27915, 29090, 30492) },
            { CDF12( 8537, 14689, 15432, 17087, 17408, 18172,
                    18408, 19825, 24649, 29153, 31096, 32210) },
            { CDF12( 7543, 14231, 15496, 16195, 17905, 20717,
                    21984, 24516, 26001, 29675, 30981, 31994) },
        }, {
            { CDF12(12613, 13591, 21383, 22004, 22312, 22577,
                    23401, 25055, 25729, 29538, 30305, 32077) },
            { CDF12( 9687, 13470, 18506, 19230, 19604, 20147,
                    20695, 22062, 23219, 27743, 29211, 30907) },
            { CDF12( 6183,  6505, 26024, 26252, 26366, 26434,
                    27082, 28354, 28555, 30467, 30794, 32086) },
            { CDF12(10718, 11734, 14954, 17224, 17565, 17924,
                    18561, 21523, 23878, 28975, 30287, 32252) },
            { CDF12( 9194,  9858, 16501, 17263, 18424, 19171,
                    21563, 25961, 26561, 30072, 30737, 32463) },
        }, {
            { CDF12(12602, 14399, 15488, 18381, 18778, 19315,
                    19724, 21419, 25060, 29696, 30917, 32409) },
            { CDF12( 8203, 13821, 14524, 17105, 17439, 18131,
                    18404, 19468, 25225, 29485, 31158, 32342) },
            { CDF12( 8451,  9731, 15004, 17643, 18012, 18425,
                    19070, 21538, 24605, 29118, 30078, 32018) },
            { CDF12( 7714,  9048,  9516, 16667, 16817, 16994,
                    17153, 18767, 26743, 30389, 31536, 32528) },
            { CDF12( 8843, 10280, 11496, 15317, 16652, 17943,
                    19108, 22718, 25769, 29953, 30983, 32485) },
        }, {
            { CDF12(12578, 13671, 15979, 16834, 19075, 20913,
                    22989, 25449, 26219, 30214, 31150, 32477) },
            { CDF12( 9563, 13626, 15080, 15892, 17756, 20863,
                    22207, 24236, 25380, 29653, 31143, 32277) },
            { CDF12( 8356,  8901, 17616, 18256, 19350, 20106,
                    22598, 25947, 26466, 29900, 30523, 32261) },
            { CDF12(10835, 11815, 13124, 16042, 17018, 18039,
                    18947, 22753, 24615, 29489, 30883, 32482) },
            { CDF12( 7618,  8288,  9859, 10509, 15386, 18657,
                    22903, 28776, 29180, 31355, 31802, 32593) },
        },
    },
};

static const CdfCoefContext default_coef_cdf[4] = {
    [0] = {
        .skip = {
            {
                { CDF1(31849) }, { CDF1( 5892) }, { CDF1(12112) },
                { CDF1(21935) }, { CDF1(20289) }, { CDF1(27473) },
                { CDF1(32487) }, { CDF1( 7654) }, { CDF1(19473) },
                { CDF1(29984) }, { CDF1( 9961) }, { CDF1(30242) },
                { CDF1(32117) },
            }, {
                { CDF1(31548) }, { CDF1( 1549) }, { CDF1(10130) },
                { CDF1(16656) }, { CDF1(18591) }, { CDF1(26308) },
                { CDF1(32537) }, { CDF1( 5403) }, { CDF1(18096) },
                { CDF1(30003) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(29957) }, { CDF1( 5391) }, { CDF1(18039) },
                { CDF1(23566) }, { CDF1(22431) }, { CDF1(25822) },
                { CDF1(32197) }, { CDF1( 3778) }, { CDF1(15336) },
                { CDF1(28981) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(17920) }, { CDF1( 1818) }, { CDF1( 7282) },
                { CDF1(25273) }, { CDF1(10923) }, { CDF1(31554) },
                { CDF1(32624) }, { CDF1( 1366) }, { CDF1(15628) },
                { CDF1(30462) }, { CDF1(  146) }, { CDF1( 5132) },
                { CDF1(31657) },
            }, {
                { CDF1( 6308) }, { CDF1(  117) }, { CDF1( 1638) },
                { CDF1( 2161) }, { CDF1(16384) }, { CDF1(10923) },
                { CDF1(30247) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            },
        }, .eob_bin_16 = {
            {
                { CDF4(  840,  1039,  1980,  4895) },
                { CDF4(  370,   671,  1883,  4471) },
            }, {
                { CDF4( 3247,  4950,  9688, 14563) },
                { CDF4( 1904,  3354,  7763, 14647) },
            },
        }, .eob_bin_32 = {
            {
                { CDF5(  400,   520,   977,  2102,  6542) },
                { CDF5(  210,   405,  1315,  3326,  7537) },
            }, {
                { CDF5( 2636,  4273,  7588, 11794, 20401) },
                { CDF5( 1786,  3179,  6902, 11357, 19054) },
            },
        }, .eob_bin_64 = {
            {
                { CDF6(  329,   498,  1101,  1784,  3265,  7758) },
                { CDF6(  335,   730,  1459,  5494,  8755, 12997) },
            }, {
                { CDF6( 3505,  5304, 10086, 13814, 17684, 23370) },
                { CDF6( 1563,  2700,  4876, 10911, 14706, 22480) },
            },
        }, .eob_bin_128 = {
            {
                { CDF7(  219,   482,  1140,  2091,  3680,  6028, 12586) },
                { CDF7(  371,   699,  1254,  4830,  9479, 12562, 17497) },
            }, {
                { CDF7( 5245,  7456, 12880, 15852, 20033, 23932, 27608) },
                { CDF7( 2054,  3472,  5869, 14232, 18242, 20590, 26752) },
            },
        }, .eob_bin_256 = {
            {
                { CDF8(  310,   584,  1887,  3589,
                        6168,  8611, 11352, 15652) },
                { CDF8(  998,  1850,  2998,  5604,
                       17341, 19888, 22899, 25583) },
            }, {
                { CDF8( 2520,  3240,  5952,  8870,
                       12577, 17558, 19954, 24168) },
                { CDF8( 2203,  4130,  7435, 10739,
                       20652, 23681, 25609, 27261) },
            },
        }, .eob_bin_512 = {
            { CDF9(  641,   983,  3707,  5430, 10234,
                   14958, 18788, 23412, 26061) },
            { CDF9( 5095,  6446,  9996, 13354, 16017,
                   17986, 20919, 26129, 29140) },
        }, .eob_bin_1024 = {
            { CDF10(  393,   421,   751,  1623,  3160,
                     6352, 13345, 18047, 22571, 25830) },
            { CDF10( 1865,  1988,  2930,  4242, 10533,
                    16538, 21354, 27255, 28546, 31784) },
        }, .eob_hi_bit = {
            {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16961) },
                    { CDF1(17223) }, { CDF1( 7621) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(19069) },
                    { CDF1(22525) }, { CDF1(13377) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(20401) },
                    { CDF1(17025) }, { CDF1(12845) }, { CDF1(12873) },
                    { CDF1(14094) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(20681) },
                    { CDF1(20701) }, { CDF1(15250) }, { CDF1(15017) },
                    { CDF1(14928) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(23905) },
                    { CDF1(17194) }, { CDF1(16170) }, { CDF1(17695) },
                    { CDF1(13826) }, { CDF1(15810) }, { CDF1(12036) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(23959) },
                    { CDF1(20799) }, { CDF1(19021) }, { CDF1(16203) },
                    { CDF1(17886) }, { CDF1(14144) }, { CDF1(12010) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(27399) },
                    { CDF1(16327) }, { CDF1(18071) }, { CDF1(19584) },
                    { CDF1(20721) }, { CDF1(18432) }, { CDF1(19560) },
                    { CDF1(10150) }, { CDF1( 8805) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(24932) },
                    { CDF1(20833) }, { CDF1(12027) }, { CDF1(16670) },
                    { CDF1(19914) }, { CDF1(15106) }, { CDF1(17662) },
                    { CDF1(13783) }, { CDF1(28756) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(23406) },
                    { CDF1(21845) }, { CDF1(18432) }, { CDF1(16384) },
                    { CDF1(17096) }, { CDF1(12561) }, { CDF1(17320) },
                    { CDF1(22395) }, { CDF1(21370) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            },
        }, .eob_base_tok = {
            {
                {
                    { CDF2(17837, 29055) }, { CDF2(29600, 31446) },
                    { CDF2(30844, 31878) }, { CDF2(24926, 28948) },
                }, {
                    { CDF2(21365, 30026) }, { CDF2(30512, 32423) },
                    { CDF2(31658, 32621) }, { CDF2(29630, 31881) },
                },
            }, {
                {
                    { CDF2( 5717, 26477) }, { CDF2(30491, 31703) },
                    { CDF2(31550, 32158) }, { CDF2(29648, 31491) },
                }, {
                    { CDF2(12608, 27820) }, { CDF2(30680, 32225) },
                    { CDF2(30809, 32335) }, { CDF2(31299, 32423) },
                },
            }, {
                {
                    { CDF2( 1786, 12612) }, { CDF2(30663, 31625) },
                    { CDF2(32339, 32468) }, { CDF2(31148, 31833) },
                }, {
                    { CDF2(18857, 23865) }, { CDF2(31428, 32428) },
                    { CDF2(31744, 32373) }, { CDF2(31775, 32526) },
                },
            }, {
                {
                    { CDF2( 1787,  2532) }, { CDF2(30832, 31662) },
                    { CDF2(31824, 32682) }, { CDF2(32133, 32569) },
                }, {
                    { CDF2(13751, 22235) }, { CDF2(32089, 32409) },
                    { CDF2(27084, 27920) }, { CDF2(29291, 32594) },
                },
            }, {
                {
                    { CDF2( 1725,  3449) }, { CDF2(31102, 31935) },
                    { CDF2(32457, 32613) }, { CDF2(32412, 32649) },
                }, {
                    { CDF2(10923, 21845) }, { CDF2(10923, 21845) },
                    { CDF2(10923, 21845) }, { CDF2(10923, 21845) },
                },
            },
        }, .base_tok = {
            {
                {
                    { CDF3( 4034,  8930, 12727) },
                    { CDF3(18082, 29741, 31877) },
                    { CDF3(12596, 26124, 30493) },
                    { CDF3( 9446, 21118, 27005) },
                    { CDF3( 6308, 15141, 21279) },
                    { CDF3( 2463,  6357,  9783) },
                    { CDF3(20667, 30546, 31929) },
                    { CDF3(13043, 26123, 30134) },
                    { CDF3( 8151, 18757, 24778) },
                    { CDF3( 5255, 12839, 18632) },
                    { CDF3( 2820,  7206, 11161) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3(15736, 27553, 30604) },
                    { CDF3(11210, 23794, 28787) },
                    { CDF3( 5947, 13874, 19701) },
                    { CDF3( 4215,  9323, 13891) },
                    { CDF3( 2833,  6462, 10059) },
                    { CDF3(19605, 30393, 31582) },
                    { CDF3(13523, 26252, 30248) },
                    { CDF3( 8446, 18622, 24512) },
                    { CDF3( 3818, 10343, 15974) },
                    { CDF3( 1481,  4117,  6796) },
                    { CDF3(22649, 31302, 32190) },
                    { CDF3(14829, 27127, 30449) },
                    { CDF3( 8313, 17702, 23304) },
                    { CDF3( 3022,  8301, 12786) },
                    { CDF3( 1536,  4412,  7184) },
                    { CDF3(22354, 29774, 31372) },
                    { CDF3(14723, 25472, 29214) },
                    { CDF3( 6673, 13745, 18662) },
                    { CDF3( 2068,  5766,  9322) },
                    { CDF3( 8192, 16384, 24576) },
                }, {
                    { CDF3( 6302, 16444, 21761) },
                    { CDF3(23040, 31538, 32475) },
                    { CDF3(15196, 28452, 31496) },
                    { CDF3(10020, 22946, 28514) },
                    { CDF3( 6533, 16862, 23501) },
                    { CDF3( 3538,  9816, 15076) },
                    { CDF3(24444, 31875, 32525) },
                    { CDF3(15881, 28924, 31635) },
                    { CDF3( 9922, 22873, 28466) },
                    { CDF3( 6527, 16966, 23691) },
                    { CDF3( 4114, 11303, 17220) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3(20201, 30770, 32209) },
                    { CDF3(14754, 28071, 31258) },
                    { CDF3( 8378, 20186, 26517) },
                    { CDF3( 5916, 15299, 21978) },
                    { CDF3( 4268, 11583, 17901) },
                    { CDF3(24361, 32025, 32581) },
                    { CDF3(18673, 30105, 31943) },
                    { CDF3(10196, 22244, 27576) },
                    { CDF3( 5495, 14349, 20417) },
                    { CDF3( 2676,  7415, 11498) },
                    { CDF3(24678, 31958, 32585) },
                    { CDF3(18629, 29906, 31831) },
                    { CDF3( 9364, 20724, 26315) },
                    { CDF3( 4641, 12318, 18094) },
                    { CDF3( 2758,  7387, 11579) },
                    { CDF3(25433, 31842, 32469) },
                    { CDF3(18795, 29289, 31411) },
                    { CDF3( 7644, 17584, 23592) },
                    { CDF3( 3408,  9014, 15047) },
                    { CDF3( 8192, 16384, 24576) },
                },
            }, {
                {
                    { CDF3( 4536, 10072, 14001) },
                    { CDF3(25459, 31416, 32206) },
                    { CDF3(16605, 28048, 30818) },
                    { CDF3(11008, 22857, 27719) },
                    { CDF3( 6915, 16268, 22315) },
                    { CDF3( 2625,  6812, 10537) },
                    { CDF3(24257, 31788, 32499) },
                    { CDF3(16880, 29454, 31879) },
                    { CDF3(11958, 25054, 29778) },
                    { CDF3( 7916, 18718, 25084) },
                    { CDF3( 3383,  8777, 13446) },
                    { CDF3(22720, 31603, 32393) },
                    { CDF3(14960, 28125, 31335) },
                    { CDF3( 9731, 22210, 27928) },
                    { CDF3( 6304, 15832, 22277) },
                    { CDF3( 2910,  7818, 12166) },
                    { CDF3(20375, 30627, 32131) },
                    { CDF3(13904, 27284, 30887) },
                    { CDF3( 9368, 21558, 27144) },
                    { CDF3( 5937, 14966, 21119) },
                    { CDF3( 2667,  7225, 11319) },
                    { CDF3(23970, 31470, 32378) },
                    { CDF3(17173, 29734, 32018) },
                    { CDF3(12795, 25441, 29965) },
                    { CDF3( 8981, 19680, 25893) },
                    { CDF3( 4728, 11372, 16902) },
                    { CDF3(24287, 31797, 32439) },
                    { CDF3(16703, 29145, 31696) },
                    { CDF3(10833, 23554, 28725) },
                    { CDF3( 6468, 16566, 23057) },
                    { CDF3( 2415,  6562, 10278) },
                    { CDF3(26610, 32395, 32659) },
                    { CDF3(18590, 30498, 32117) },
                    { CDF3(12420, 25756, 29950) },
                    { CDF3( 7639, 18746, 24710) },
                    { CDF3( 3001,  8086, 12347) },
                    { CDF3(25076, 32064, 32580) },
                    { CDF3(17946, 30128, 32028) },
                    { CDF3(12024, 24985, 29378) },
                    { CDF3( 7517, 18390, 24304) },
                    { CDF3( 3243,  8781, 13331) },
                }, {
                    { CDF3( 6037, 16771, 21957) },
                    { CDF3(24774, 31704, 32426) },
                    { CDF3(16830, 28589, 31056) },
                    { CDF3(10602, 22828, 27760) },
                    { CDF3( 6733, 16829, 23071) },
                    { CDF3( 3250,  8914, 13556) },
                    { CDF3(25582, 32220, 32668) },
                    { CDF3(18659, 30342, 32223) },
                    { CDF3(12546, 26149, 30515) },
                    { CDF3( 8420, 20451, 26801) },
                    { CDF3( 4636, 12420, 18344) },
                    { CDF3(27581, 32362, 32639) },
                    { CDF3(18987, 30083, 31978) },
                    { CDF3(11327, 24248, 29084) },
                    { CDF3( 7264, 17719, 24120) },
                    { CDF3( 3995, 10768, 16169) },
                    { CDF3(25893, 31831, 32487) },
                    { CDF3(16577, 28587, 31379) },
                    { CDF3(10189, 22748, 28182) },
                    { CDF3( 6832, 17094, 23556) },
                    { CDF3( 3708, 10110, 15334) },
                    { CDF3(25904, 32282, 32656) },
                    { CDF3(19721, 30792, 32276) },
                    { CDF3(12819, 26243, 30411) },
                    { CDF3( 8572, 20614, 26891) },
                    { CDF3( 5364, 14059, 20467) },
                    { CDF3(26580, 32438, 32677) },
                    { CDF3(20852, 31225, 32340) },
                    { CDF3(12435, 25700, 29967) },
                    { CDF3( 8691, 20825, 26976) },
                    { CDF3( 4446, 12209, 17269) },
                    { CDF3(27350, 32429, 32696) },
                    { CDF3(21372, 30977, 32272) },
                    { CDF3(12673, 25270, 29853) },
                    { CDF3( 9208, 20925, 26640) },
                    { CDF3( 5018, 13351, 18732) },
                    { CDF3(27351, 32479, 32713) },
                    { CDF3(21398, 31209, 32387) },
                    { CDF3(12162, 25047, 29842) },
                    { CDF3( 7896, 18691, 25319) },
                    { CDF3( 4670, 12882, 18881) },
                },
            }, {
                {
                    { CDF3( 5487, 10460, 13708) },
                    { CDF3(21597, 28303, 30674) },
                    { CDF3(11037, 21953, 26476) },
                    { CDF3( 8147, 17962, 22952) },
                    { CDF3( 5242, 13061, 18532) },
                    { CDF3( 1889,  5208,  8182) },
                    { CDF3(26774, 32133, 32590) },
                    { CDF3(17844, 29564, 31767) },
                    { CDF3(11690, 24438, 29171) },
                    { CDF3( 7542, 18215, 24459) },
                    { CDF3( 2993,  8050, 12319) },
                    { CDF3(28023, 32328, 32591) },
                    { CDF3(18651, 30126, 31954) },
                    { CDF3(12164, 25146, 29589) },
                    { CDF3( 7762, 18530, 24771) },
                    { CDF3( 3492,  9183, 13920) },
                    { CDF3(27591, 32008, 32491) },
                    { CDF3(17149, 28853, 31510) },
                    { CDF3(11485, 24003, 28860) },
                    { CDF3( 7697, 18086, 24210) },
                    { CDF3( 3075,  7999, 12218) },
                    { CDF3(28268, 32482, 32654) },
                    { CDF3(19631, 31051, 32404) },
                    { CDF3(13860, 27260, 31020) },
                    { CDF3( 9605, 21613, 27594) },
                    { CDF3( 4876, 12162, 17908) },
                    { CDF3(27248, 32316, 32576) },
                    { CDF3(18955, 30457, 32075) },
                    { CDF3(11824, 23997, 28795) },
                    { CDF3( 7346, 18196, 24647) },
                    { CDF3( 3403,  9247, 14111) },
                    { CDF3(29711, 32655, 32735) },
                    { CDF3(21169, 31394, 32417) },
                    { CDF3(13487, 27198, 30957) },
                    { CDF3( 8828, 21683, 27614) },
                    { CDF3( 4270, 11451, 17038) },
                    { CDF3(28708, 32578, 32731) },
                    { CDF3(20120, 31241, 32482) },
                    { CDF3(13692, 27550, 31321) },
                    { CDF3( 9418, 22514, 28439) },
                    { CDF3( 4999, 13283, 19462) },
                }, {
                    { CDF3( 5673, 14302, 19711) },
                    { CDF3(26251, 30701, 31834) },
                    { CDF3(12782, 23783, 27803) },
                    { CDF3( 9127, 20657, 25808) },
                    { CDF3( 6368, 16208, 21462) },
                    { CDF3( 2465,  7177, 10822) },
                    { CDF3(29961, 32563, 32719) },
                    { CDF3(18318, 29891, 31949) },
                    { CDF3(11361, 24514, 29357) },
                    { CDF3( 7900, 19603, 25607) },
                    { CDF3( 4002, 10590, 15546) },
                    { CDF3(29637, 32310, 32595) },
                    { CDF3(18296, 29913, 31809) },
                    { CDF3(10144, 21515, 26871) },
                    { CDF3( 5358, 14322, 20394) },
                    { CDF3( 3067,  8362, 13346) },
                    { CDF3(28652, 32470, 32676) },
                    { CDF3(17538, 30771, 32209) },
                    { CDF3(13924, 26882, 30494) },
                    { CDF3(10496, 22837, 27869) },
                    { CDF3( 7236, 16396, 21621) },
                    { CDF3(30743, 32687, 32746) },
                    { CDF3(23006, 31676, 32489) },
                    { CDF3(14494, 27828, 31120) },
                    { CDF3(10174, 22801, 28352) },
                    { CDF3( 6242, 15281, 21043) },
                    { CDF3(25817, 32243, 32720) },
                    { CDF3(18618, 31367, 32325) },
                    { CDF3(13997, 28318, 31878) },
                    { CDF3(12255, 26534, 31383) },
                    { CDF3( 9561, 21588, 28450) },
                    { CDF3(28188, 32635, 32724) },
                    { CDF3(22060, 32365, 32728) },
                    { CDF3(18102, 30690, 32528) },
                    { CDF3(14196, 28864, 31999) },
                    { CDF3(12262, 25792, 30865) },
                    { CDF3(24176, 32109, 32628) },
                    { CDF3(18280, 29681, 31963) },
                    { CDF3(10205, 23703, 29664) },
                    { CDF3( 7889, 20025, 27676) },
                    { CDF3( 6060, 16743, 23970) },
                },
            }, {
                {
                    { CDF3( 5141,  7096,  8260) },
                    { CDF3(27186, 29022, 29789) },
                    { CDF3( 6668, 12568, 15682) },
                    { CDF3( 2172,  6181,  8638) },
                    { CDF3( 1126,  3379,  4531) },
                    { CDF3(  443,  1361,  2254) },
                    { CDF3(26083, 31153, 32436) },
                    { CDF3(13486, 24603, 28483) },
                    { CDF3( 6508, 14840, 19910) },
                    { CDF3( 3386,  8800, 13286) },
                    { CDF3( 1530,  4322,  7054) },
                    { CDF3(29639, 32080, 32548) },
                    { CDF3(15897, 27552, 30290) },
                    { CDF3( 8588, 20047, 25383) },
                    { CDF3( 4889, 13339, 19269) },
                    { CDF3( 2240,  6871, 10498) },
                    { CDF3(28165, 32197, 32517) },
                    { CDF3(20735, 30427, 31568) },
                    { CDF3(14325, 24671, 27692) },
                    { CDF3( 5119, 12554, 17805) },
                    { CDF3( 1810,  5441,  8261) },
                    { CDF3(31212, 32724, 32748) },
                    { CDF3(23352, 31766, 32545) },
                    { CDF3(14669, 27570, 31059) },
                    { CDF3( 8492, 20894, 27272) },
                    { CDF3( 3644, 10194, 15204) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                }, {
                    { CDF3( 2461,  7013,  9371) },
                    { CDF3(24749, 29600, 30986) },
                    { CDF3( 9466, 19037, 22417) },
                    { CDF3( 3584,  9280, 14400) },
                    { CDF3( 1505,  3929,  5433) },
                    { CDF3(  677,  1500,  2736) },
                    { CDF3(23987, 30702, 32117) },
                    { CDF3(13554, 24571, 29263) },
                    { CDF3( 6211, 14556, 21155) },
                    { CDF3( 3135, 10972, 15625) },
                    { CDF3( 2435,  7127, 11427) },
                    { CDF3(31300, 32532, 32550) },
                    { CDF3(14757, 30365, 31954) },
                    { CDF3( 4405, 11612, 18553) },
                    { CDF3(  580,  4132,  7322) },
                    { CDF3( 1695, 10169, 14124) },
                    { CDF3(30008, 32282, 32591) },
                    { CDF3(19244, 30108, 31748) },
                    { CDF3(11180, 24158, 29555) },
                    { CDF3( 5650, 14972, 19209) },
                    { CDF3( 2114,  5109,  8456) },
                    { CDF3(31856, 32716, 32748) },
                    { CDF3(23012, 31664, 32572) },
                    { CDF3(13694, 26656, 30636) },
                    { CDF3( 8142, 19508, 26093) },
                    { CDF3( 4253, 10955, 16724) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                },
            }, {
                {
                    { CDF3(  601,   983,  1311) },
                    { CDF3(18725, 23406, 28087) },
                    { CDF3( 5461,  8192, 10923) },
                    { CDF3( 3781, 15124, 21425) },
                    { CDF3( 2587,  7761, 12072) },
                    { CDF3(  106,   458,   810) },
                    { CDF3(22282, 29710, 31894) },
                    { CDF3( 8508, 20926, 25984) },
                    { CDF3( 3726, 12713, 18083) },
                    { CDF3( 1620,  7112, 10893) },
                    { CDF3(  729,  2236,  3495) },
                    { CDF3(30163, 32474, 32684) },
                    { CDF3(18304, 30464, 32000) },
                    { CDF3(11443, 26526, 29647) },
                    { CDF3( 6007, 15292, 21299) },
                    { CDF3( 2234,  6703,  8937) },
                    { CDF3(30954, 32177, 32571) },
                    { CDF3(17363, 29562, 31076) },
                    { CDF3( 9686, 22464, 27410) },
                    { CDF3( 8192, 16384, 21390) },
                    { CDF3( 1755,  8046, 11264) },
                    { CDF3(31168, 32734, 32748) },
                    { CDF3(22486, 31441, 32471) },
                    { CDF3(12833, 25627, 29738) },
                    { CDF3( 6980, 17379, 23122) },
                    { CDF3( 3111,  8887, 13479) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                }, {
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
                    { CDF3( 8192, 16384, 24576) },
--> --------------------

--> maximum size reached

--> --------------------