Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/third_party/dav1d/src/   (Browser von der Mozilla Stiftung Version 136.0.1©)  Datei vom 10.2.2025 mit Größe 193 kB image not shown  

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(228012348924293247562560126123,
                    266062741827945292282968530349) },
            { CDF12(186731984522631233182395024649,
                    255272736428152297012998430852) },
            { CDF12(197702097923396239392424124654,
                    251362707327830293602973030659) },
            { CDF12(201552130122838231782326123533,
                    237032480425352265752701628049) },
        }, .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(8949127761721129558),
        }, .uv_mode = {
            {
                { CDF12(226312415225378256612598626520,
                        270552792328244300593094131961) },
                { CDF12( 95132688126973270462711827664,
                        277392782428359295052980031796) },
                { CDF12( 9845,  991528663287042875728780,
                        291982982229854307643177732029) },
                { CDF12(136391389714171253312560625727,
                        259532714828577306123135532493) },
                { CDF12( 9764,  9835,  9930,  99542538627053,
                        279582814828243311013174432363) },
                { CDF12(118251358913677137201504829213,
                        293012945829711311613144132550) },
                { CDF12(141751439916608168211771817775,
                        285513020030245318373234232667) },
                { CDF12(128851303814978155901567315748,
                        161762912829267306433196132461) },
                { CDF12(120261366113874153051549015726,
                        159951627328443303883076732416) },
                { CDF12(190521984020579209162115021467,
                        218852271923174288613037932175) },
                { CDF12(186271964920974212192149221816,
                        221992311923527270533139732148) },
                { CDF12(170261900419997203392058621103,
                        213492190722482258962654131819) },
                { CDF12(121241375914959149921500715051,
                        150781516615255157531603916606) },
            }, {
                { CDF13(10407112081290013181138231417514899,
                        156561598620086209952245524212) },
                { CDF13( 4532197802005720215204282107121199,
                        214512209924228246932703229472) },
                { CDF13( 5273,  53792017720270203852043920949,
                        216952177423138242562470326679) },
                { CDF13( 6740,  7167,  766214152145361478515034,
                        167411837121520222062338924182) },
                { CDF13( 4987,  5368,  5928,  6068191142031521857,
                        222532241124911253802602726376) },
                { CDF13( 5370,  6889,  7247,  7393,  94982111421402,
                        217532198124780253862651727176) },
                { CDF13( 4816,  4961,  7204,  7326,  8765,  893020169,
                        206822080323188237632445524940) },
                { CDF13( 6608,  6740,  8529,  9049,  9257,  9356,  9735,
                        188271905922336232042396424793) },
                { CDF13( 5998,  7419,  7781,  8933,  9255,  9549,  9753,
                        104171889822494231392476425989) },
                { CDF13(10660112981255012957133221362414040,
                        150041553420714217892344324861) },
                { CDF13(10522115301255212963133781377914245,
                        152351590220102226962377425838) },
                { CDF13(10099106911263913049133861366514125,
                        151631563619676204742351925208) },
                { CDF13( 3144,  5087,  7382,  7504,  7593,  7690,  7801,
                         8064,  8232,  9248,  98751052129048) },
            },
        }, .angle_delta = {
            { CDF6( 2180,  5032,  7567227762698930217) },
            { CDF6( 2301,  5608,  8801234872697430330) },
            { CDF6( 37801101813699193542308331286) },
            { CDF6( 45811122615147171382183428397) },
            { CDF6( 17371092714509195882274528823) },
            { CDF6( 26641017612485176502160030495) },
            { CDF6( 22401109615453203412256128917) },
            { CDF6( 36051042812459176762124430655) },
        }, .filter = {
            {
                { CDF2(3193532720) }, { CDF2( 556832719) },
                { CDF2(  422,  2938) }, { CDF2(2824432608) },
                { CDF2(3120631953) }, { CDF2( 486232121) },
                { CDF2(  770,  1152) }, { CDF2(2088925637) },
            }, {
                { CDF2(3191032724) }, { CDF2( 412032712) },
                { CDF2(  305,  2247) }, { CDF2(2740332636) },
                { CDF2(3102232009) }, { CDF2( 296332093) },
                { CDF2(  601,   943) }, { CDF2(1496921398) },
            },
        }, .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( 7760138231580817641191562066626891) },
            { CDF7(10730194522114522749240392513128724) },
            { CDF7(10664202212158822906242952538728436) },
            { CDF7(13298169842047124182250672573626422) },
            { CDF7(18904233252524227432278982825830758) },
            { CDF7(10725174542012422820241952516826046) },
            { CDF7(17125242732581427492282142870430592) },
            { CDF7(13046232142450525942274352844229330) },
        }, .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,  866311005128741575118094,
                    20359223622412725702277522945031171) },
            { CDF15(  806,  3266,  6005,  6738,  7218,  7367,  777114588,
                    16323173671845219422228392612729629) },
            { CDF15( 2779,  3738,  4683,  7213,  7775,  8017,  865514357,
                    17939213322452027470294563052931656) },
            { CDF15( 1684,  3625,  5675,  7108,  9302112741442917144,
                    19163209612288424471267192871430877) },
            { CDF15( 1142,  3491,  6277,  7314,  8089,  8355,  902313624,
                    15369167301811419313225212601229550) },
            { CDF15( 2742,  4195,  5727,  8035,  8980,  93361014614124,
                    17270205332343425972279442957031416) },
            { CDF15( 1727,  3948,  6101,  7796,  9841123441576618944,
                    20638220382396325311269882876631012) },
            { CDF15(  154,   987,  1925,  2051,  2088,  2111,  215123033,
                    23703242842498525684272592888330911) },
            { CDF15( 1135,  1322,  1493,  2635,  2696,  2737,  277021016,
                    22935250572725129173300893096031933) },
        }, .interintra = {
            { CDF1(16384) }, { CDF1(26887) }, { CDF1(27597) },
            { CDF1(30237) },
        }, .interintra_mode = {
            { CDF3(81921638424576) },
            { CDF3(18751108227332) },
            { CDF3(2473,  999626388) },
            { CDF3(42381153725926) },
        }, .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(1227230172) }, { CDF2(1227230172) },
                { CDF2(1867730848) },
            }, {
                { CDF2(1298615180) }, { CDF2(1298615180) },
                { CDF2(2430225602) },
            }, {
                { CDF2( 578211475) }, { CDF2( 578211475) },
                { CDF2(1680322759) },
            },
        }, .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,  970913330147891753720266,
                    21504228482393425474277272891530631) },
            { CDF15( 1645,  2573,  4778,  5711,  7807,  86221052215357,
                    17674204082251725010271162885630749) },
        }, .txtp_inter2 = {
            CDF11(  770,  2421,  5225129071581918927,
                  2156124089265952852630529)
        }, .txtp_inter3 = {
            { CDF1(16384) }, { CDF1( 4167) }, { CDF1( 1998) }, { CDF1(  748) },
        }, .txtp_intra1 = {
            {
                { CDF6( 1535,  8035,  9461127512346727825) },
                { CDF6(  564,  3335,  9709108701814328094) },
                { CDF6(  672,  3247,  3676119821941523127) },
                { CDF6( 52791388515487180442352730252) },
                { CDF6( 4423,  6074,  7985104162569329298) },
                { CDF6( 1486,  4241,  9460106621645627694) },
                { CDF6(  439,  2838,  3522,  67371805823754) },
                { CDF6( 1190,  4233,  4855116702028124377) },
                { CDF6( 1045,  4312,  8647101591864429335) },
                { CDF6(  202,  3734,  4747,  72981712724016) },
                { CDF6(  447,  4312,  6819,  88841601023858) },
                { CDF6(  277,  4369,  5255,  89051646522271) },
                { CDF6( 3409,  543610599155991968724040) },
            }, {
                { CDF6( 18701374214530164982377027698) },
                { CDF6(  326,  879614632150791927227486) },
                { CDF6(  484,  7576,  7712144431915922591) },
                { CDF6( 11261534015895170232089630279) },
                { CDF6(  655,  4854,  5249,  59132209927138) },
                { CDF6( 1299,  6458,  8885,  92901485125497) },
                { CDF6(  311,  5295,  5552,  68851610722672) },
                { CDF6(  883,  8059,  8270112581728921549) },
                { CDF6(  741,  7580,  9318103451668829046) },
                { CDF6(  110,  7406,  7915,  91951604123329) },
                { CDF6(  363,  7974,  9357106731562924474) },
                { CDF6(  153,  7647,  8112,  99361530719996) },
                { CDF6( 3511,  633211165153351932323594) },
            },
        }, .txtp_intra2 = {
            {
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
            }, {
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
                { CDF4( 6554131071966126214) },
            }, {
                { CDF4( 1127128142277227483) },
                { CDF4(  145,  67611198026667) },
                { CDF4(  362,  58871167816725) },
                { CDF4(  385152131858730693) },
                { CDF4(   25,  29142313427903) },
                { CDF4(   60,  44701174923991) },
                { CDF4(   37,  33321451121448) },
                { CDF4(  157,  63201303617439) },
                { CDF4(  119,  67191290629396) },
                { CDF4(   47,  55371257621499) },
                { CDF4(  269,  60761125823115) },
                { CDF4(   83,  56151200117228) },
                { CDF4( 1968,  55561202318547) },
            },
        }, .skip = {
            { CDF1(31671) }, { CDF1(16515) }, { CDF1( 4576) },
        }, .skip_mode = {
            { CDF1(32621) }, { CDF1(20708) }, { CDF1( 8127) },
        }, .partition = {
            {
                // 128x128 -> 64x64
                { CDF7(27899282192852932484325393261932639) },
                { CDF7( 6607,  6990,  826832060322193233832371) },
                { CDF7( 5429,  6676,  712232027322273253132582) },
                { CDF7(  711,   966,  117232448325383261732664) },
            }, {
                // 64x64 -> 32x32
                { CDF9(2013721547230782956629837,
                       30261305243089231724) },
                { CDF9( 6732,  7490,  94972794428250,
                       28515289692963030104) },
                { CDF9( 5945,  7663,  83482868329117,
                       29749300643029832238) },
                { CDF9(  870,  1212,  14873119831394,
                       31574317433188132332) },
            }, {
                // 32x32 -> 16x16
                { CDF9(1846220920231242764728227,
                       29049295193017831544) },
                { CDF9( 7689,  9060120562499225660,
                       26182269512804129052) },
                { CDF9( 6015,  9009100622454425409,
                       26545270712752632047) },
                { CDF9( 1394,  2208,  27962861429061,
                       29466298403018531899) },
            }, {
                // 16x16 -> 8x8
                { CDF9(1559720929245712670627664,
                       28821296013057131902) },
                { CDF9( 792511043167852247023971,
                       25043266512870129834) },
                { CDF9( 541413269151112048822360,
                       24500255372633632117) },
                { CDF9( 2662,  6362,  86142086023053,
                       24778264362782931171) },
            }, {
                // 8x8 -> 4x4 only supports the four legacy partition types
                { CDF3(191322551030392) },
                { CDF3(139281985528540) },
                { CDF3(125222367928629) },
                { CDF3( 98961878325853) },
            },
        }, .seg_pred = {
            { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
        }, .seg_id = {
            { CDF7( 5622,  78931609318233278092837332533) },
            { CDF7(14274182302255724935299803085132344) },
            { CDF7(27527284872872328890323973264732679) },
        }, .cfl_sign = {
            CDF7( 1418,  21231334018405269722834332294)
        }, .cfl_alpha = {
            { CDF15( 763720719314013248132657326883269232696,
                    32700327043270832712327163272032724) },
            { CDF15(1436523603281353116832167323953248732573,
                    32620326473266832672326763268032684) },
            { CDF15(1153222380284453136032349325233258432649,
                    32673326773268132685326893269332697) },
            { CDF15(2699031402322823257132692326963270032704,
                    32708327123271632720327243272832732) },
            { CDF15(1724826058289043060831305318773212632321,
                    32394324643251632560325763259332622) },
            { CDF15(1473821678257792790129024303023098031843,
                    32144324133252032594326223265632660) },
        }, .restore_wiener = {
            CDF1(11570)
        }, .restore_sgrproj = {
            CDF1(16855)
        }, .restore_switchable = {
            CDF2( 941322581)
        }, .delta_q = {
            CDF3(281603212032677)
        }, .delta_lf = {
            { CDF3(281603212032677) },
            { CDF3(281603212032677) },
            { CDF3(281603212032677) },
            { CDF3(281603212032677) },
            { CDF3(281603212032677) },
        }, .motion_mode = {
            [BS_8x8]     = { CDF2( 765124760) },
            [BS_8x16]    = { CDF2( 473824765) },
            [BS_8x32]    = { CDF2(2879931390) },
            [BS_16x8]    = { CDF2( 539125528) },
            [BS_16x16]   = { CDF2(1941926810) },
            [BS_16x32]   = { CDF2( 512323606) },
            [BS_16x64]   = { CDF2(2897331594) },
            [BS_32x8]    = { CDF2(2643130774) },
            [BS_32x16]   = { CDF2(1160624308) },
            [BS_32x32]   = { CDF2(2626029116) },
            [BS_32x64]   = { CDF2(2036028062) },
            [BS_64x16]   = { CDF2(2974231203) },
            [BS_64x32]   = { CDF2(2167926830) },
            [BS_64x64]   = { CDF2(2951630701) },
            [BS_64x128]  = { CDF2(2889830397) },
            [BS_128x64]  = { CDF2(3087831335) },
            [BS_128x128] = { CDF2(3250732558) },
        }, .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( 79521300018149214782552729241) },
                { CDF6( 71391142116195195442366628073) },
                { CDF6( 77881274117325205002431528530) },
                { CDF6( 82711406418246215642507128533) },
                { CDF6(127251918021863248392753530120) },
                { CDF6( 97111488816923210522566127875) },
                { CDF6(149402079721678241862703328999) },
            }, {
                { CDF6( 87131997927128296093133132272) },
                { CDF6( 58391557323581269472984831700) },
                { CDF6( 44261126017999214832586329430) },
                { CDF6( 3228,  946414993180892252327420) },
                { CDF6( 3768,  888613091178522249527207) },
                { CDF6( 2464,  845112861216322552528555) },
                { CDF6( 1269,  543510433189632170025865) },
            },
        }, .pal_uv = {
            { CDF1(32461) }, { CDF1(21488) },
        }, .color_map = {
            { /* y */
                {
                    { CDF1(28710) }, { CDF1(16384) }, { CDF1(10553) },
                    { CDF1(27036) }, { CDF1(31603) },
                }, {
                    { CDF2(2787730490) }, { CDF2(1153225697) },
                    { CDF2( 654430234) }, { CDF2(2301828072) },
                    { CDF2(3191532385) },
                }, {
                    { CDF3(255722804630045) },
                    { CDF3( 94782159027256) },
                    { CDF3( 72482683729824) },
                    { CDF3(191672448628349) },
                    { CDF3(314003182532250) },
                }, {
                    { CDF4(24779269552857630282) },
                    { CDF4( 8669203642407328093) },
                    { CDF4( 4255275652937731067) },
                    { CDF4(19864236742671629530) },
                    { CDF4(31646318933214732426) },
                }, {
                    { CDF5(2313225407269702843530073) },
                    { CDF5( 744317242207172476227982) },
                    { CDF5( 630024862269442878430671) },
                    { CDF5(1891622895252672743529652) },
                    { CDF5(3127031550318083205932353) },
                }, {
                    { CDF6(231052519926464276842893130318) },
                    { CDF6( 69501544718952226812556728563) },
                    { CDF6( 75602347425490272032892130708) },
                    { CDF6(185442237324457261952811930045) },
                    { CDF6(311983145131670318823212332391) },
                }, {
                    { CDF7(21689238832516326352275062882730195) },
                    { CDF7( 6892153851784021606242872675329204) },
                    { CDF7( 5651231822504226518279822939230900) },
                    { CDF7(19349225782441825994275242903130448) },
                    { CDF7(31028312703150431705319273215332392) },
                },
            }, { /* uv */
                {
                    { CDF1(29089) }, { CDF1(16384) }, { CDF1( 8713) },
                    { CDF1(29257) }, { CDF1(31610) },
                }, {
                    { CDF2(2525729145) }, { CDF2(1228727293) },
                    { CDF2( 703327960) }, { CDF2(2014525405) },
                    { CDF2(3060831639) },
                }, {
                    { CDF3(242102717529903) },
                    { CDF3( 98882238627214) },
                    { CDF3( 59012605329293) },
                    { CDF3(183182215228333) },
                    { CDF3(304593113631926) },
                }, {
                    { CDF4(22980254792778129986) },
                    { CDF4( 8413214082485928874) },
                    { CDF4( 2257294493059431598) },
                    { CDF4(19189212022591528620) },
                    { CDF4(31844320443228132518) },
                }, {
                    { CDF5(2221724567266372868330548) },
                    { CDF5( 730716406196362463228424) },
                    { CDF5( 444125064268792894230919) },
                    { CDF5(1721020528233192675029582) },
                    { CDF5(3067430953313963173532207) },
                }, {
                    { CDF6(212392316825044269622870530506) },
                    { CDF6( 65451501218004218172550328701) },
                    { CDF6( 34482629527437287043012631442) },
                    { CDF6(158891832321704246982697629690) },
                    { CDF6(309883120431479317343198332325) },
                }, {
                    { CDF7(21442232882475826246276492898030563) },
                    { CDF7( 5863149331755220668236832641129273) },
                    { CDF7( 3415258102687727990292233039431618) },
                    { CDF7(17965200842223223974262742840230390) },
                    { CDF7(31190313293151631679318253202632322) },
                },
            },
        }, .intrabc = {
            CDF1(30531)
        },
    }, .mv = {
        .comp = {
            .classes = {
                CDF10(2867230976318583232032551,
                      3265632740327573276232767)
            }, .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(163842457626624) },
                { CDF3(122882124824128) },
            }, .classN_fp = {
                CDF3( 81921740821248)
            }, .class0_hp = {
                CDF1(20480)
            }, .classN_hp = {
                CDF1(16384)
            }, .sign = {
                CDF1(16384)
            },
        }, .joint = {
            CDF3( 40961126419328)
        },
    }, .kfym = {
        {
            { CDF12(155881702719338202182068221110,
                    218252324424189281652909330466) },
            { CDF12(120161806619516203032071921444,
                    218882303224434286583017231409) },
            { CDF12(100521077122296227882305523239,
                    241332562026160293362992931567) },
            { CDF12(140911540616442188081913619546,
                    199982209624746295853095832462) },
            { CDF12(121221326515603165011860920033,
                    223912558326437302613107332475) },
        }, {
            { CDF12(100231958520848214402183222760,
                    230892402325381290143048231436) },
            { CDF12( 59832409924560248862506625795,
                    259132642327610299053127631794) },
            { CDF12( 74441278120177207282107721607,
                    221702340524469279152909030492) },
            { CDF12( 85371468915432170871740818172,
                    184081982524649291533109632210) },
            { CDF12( 75431423115496161951790520717,
                    219842451626001296753098131994) },
        }, {
            { CDF12(126131359121383220042231222577,
                    234012505525729295383030532077) },
            { CDF12( 96871347018506192301960420147,
                    206952206223219277432921130907) },
            { CDF12( 6183,  650526024262522636626434,
                    270822835428555304673079432086) },
            { CDF12(107181173414954172241756517924,
                    185612152323878289753028732252) },
            { CDF12( 9194,  985816501172631842419171,
                    215632596126561300723073732463) },
        }, {
            { CDF12(126021439915488183811877819315,
                    197242141925060296963091732409) },
            { CDF12( 82031382114524171051743918131,
                    184041946825225294853115832342) },
            { CDF12( 8451,  973115004176431801218425,
                    190702153824605291183007832018) },
            { CDF12( 7714,  9048,  9516166671681716994,
                    171531876726743303893153632528) },
            { CDF12( 88431028011496153171665217943,
                    191082271825769299533098332485) },
        }, {
            { CDF12(125781367115979168341907520913,
                    229892544926219302143115032477) },
            { CDF12( 95631362615080158921775620863,
                    222072423625380296533114332277) },
            { CDF12( 8356,  890117616182561935020106,
                    225982594726466299003052332261) },
            { CDF12(108351181513124160421701818039,
                    189472275324615294893088332482) },
            { CDF12( 7618,  8288,  9859105091538618657,
                    229032877629180313553180232593) },
        },
    },
};

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,  968814563) },
                { CDF4( 1904,  3354,  776314647) },
            },
        }, .eob_bin_32 = {
            {
                { CDF5(  400,   520,   977,  2102,  6542) },
                { CDF5(  210,   405,  1315,  3326,  7537) },
            }, {
                { CDF5( 2636,  4273,  75881179420401) },
                { CDF5( 1786,  3179,  69021135719054) },
            },
        }, .eob_bin_64 = {
            {
                { CDF6(  329,   498,  1101,  1784,  3265,  7758) },
                { CDF6(  335,   730,  1459,  5494,  875512997) },
            }, {
                { CDF6( 3505,  530410086138141768423370) },
                { CDF6( 1563,  2700,  4876109111470622480) },
            },
        }, .eob_bin_128 = {
            {
                { CDF7(  219,   482,  1140,  2091,  3680,  602812586) },
                { CDF7(  371,   699,  1254,  4830,  94791256217497) },
            }, {
                { CDF7( 5245,  74561288015852200332393227608) },
                { CDF7( 2054,  3472,  586914232182422059026752) },
            },
        }, .eob_bin_256 = {
            {
                { CDF8(  310,   584,  1887,  3589,
                        6168,  86111135215652) },
                { CDF8(  998,  1850,  2998,  5604,
                       17341198882289925583) },
            }, {
                { CDF8( 2520,  3240,  5952,  8870,
                       12577175581995424168) },
                { CDF8( 2203,  4130,  743510739,
                       20652236812560927261) },
            },
        }, .eob_bin_512 = {
            { CDF9(  641,   983,  3707,  543010234,
                   14958187882341226061) },
            { CDF9( 5095,  6446,  99961335416017,
                   17986209192612929140) },
        }, .eob_bin_1024 = {
            { CDF10(  393,   421,   751,  1623,  3160,
                     635213345180472257125830) },
            { CDF10( 1865,  1988,  2930,  424210533,
                    1653821354272552854631784) },
        }, .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(1783729055) }, { CDF2(2960031446) },
                    { CDF2(3084431878) }, { CDF2(2492628948) },
                }, {
                    { CDF2(2136530026) }, { CDF2(3051232423) },
                    { CDF2(3165832621) }, { CDF2(2963031881) },
                },
            }, {
                {
                    { CDF2( 571726477) }, { CDF2(3049131703) },
                    { CDF2(3155032158) }, { CDF2(2964831491) },
                }, {
                    { CDF2(1260827820) }, { CDF2(3068032225) },
                    { CDF2(3080932335) }, { CDF2(3129932423) },
                },
            }, {
                {
                    { CDF2( 178612612) }, { CDF2(3066331625) },
                    { CDF2(3233932468) }, { CDF2(3114831833) },
                }, {
                    { CDF2(1885723865) }, { CDF2(3142832428) },
                    { CDF2(3174432373) }, { CDF2(3177532526) },
                },
            }, {
                {
                    { CDF2( 1787,  2532) }, { CDF2(3083231662) },
                    { CDF2(3182432682) }, { CDF2(3213332569) },
                }, {
                    { CDF2(1375122235) }, { CDF2(3208932409) },
                    { CDF2(2708427920) }, { CDF2(2929132594) },
                },
            }, {
                {
                    { CDF2( 1725,  3449) }, { CDF2(3110231935) },
                    { CDF2(3245732613) }, { CDF2(3241232649) },
                }, {
                    { CDF2(1092321845) }, { CDF2(1092321845) },
                    { CDF2(1092321845) }, { CDF2(1092321845) },
                },
            },
        }, .base_tok = {
            {
                {
                    { CDF3( 4034,  893012727) },
                    { CDF3(180822974131877) },
                    { CDF3(125962612430493) },
                    { CDF3( 94462111827005) },
                    { CDF3( 63081514121279) },
                    { CDF3( 2463,  6357,  9783) },
                    { CDF3(206673054631929) },
                    { CDF3(130432612330134) },
                    { CDF3( 81511875724778) },
                    { CDF3( 52551283918632) },
                    { CDF3( 2820,  720611161) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3(157362755330604) },
                    { CDF3(112102379428787) },
                    { CDF3( 59471387419701) },
                    { CDF3( 4215,  932313891) },
                    { CDF3( 2833,  646210059) },
                    { CDF3(196053039331582) },
                    { CDF3(135232625230248) },
                    { CDF3( 84461862224512) },
                    { CDF3( 38181034315974) },
                    { CDF3( 1481,  4117,  6796) },
                    { CDF3(226493130232190) },
                    { CDF3(148292712730449) },
                    { CDF3( 83131770223304) },
                    { CDF3( 3022,  830112786) },
                    { CDF3( 1536,  4412,  7184) },
                    { CDF3(223542977431372) },
                    { CDF3(147232547229214) },
                    { CDF3( 66731374518662) },
                    { CDF3( 2068,  5766,  9322) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3( 63021644421761) },
                    { CDF3(230403153832475) },
                    { CDF3(151962845231496) },
                    { CDF3(100202294628514) },
                    { CDF3( 65331686223501) },
                    { CDF3( 3538,  981615076) },
                    { CDF3(244443187532525) },
                    { CDF3(158812892431635) },
                    { CDF3( 99222287328466) },
                    { CDF3( 65271696623691) },
                    { CDF3( 41141130317220) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3(202013077032209) },
                    { CDF3(147542807131258) },
                    { CDF3( 83782018626517) },
                    { CDF3( 59161529921978) },
                    { CDF3( 42681158317901) },
                    { CDF3(243613202532581) },
                    { CDF3(186733010531943) },
                    { CDF3(101962224427576) },
                    { CDF3( 54951434920417) },
                    { CDF3( 2676,  741511498) },
                    { CDF3(246783195832585) },
                    { CDF3(186292990631831) },
                    { CDF3( 93642072426315) },
                    { CDF3( 46411231818094) },
                    { CDF3( 2758,  738711579) },
                    { CDF3(254333184232469) },
                    { CDF3(187952928931411) },
                    { CDF3( 76441758423592) },
                    { CDF3( 3408,  901415047) },
                    { CDF3( 81921638424576) },
                },
            }, {
                {
                    { CDF3( 45361007214001) },
                    { CDF3(254593141632206) },
                    { CDF3(166052804830818) },
                    { CDF3(110082285727719) },
                    { CDF3( 69151626822315) },
                    { CDF3( 2625,  681210537) },
                    { CDF3(242573178832499) },
                    { CDF3(168802945431879) },
                    { CDF3(119582505429778) },
                    { CDF3( 79161871825084) },
                    { CDF3( 3383,  877713446) },
                    { CDF3(227203160332393) },
                    { CDF3(149602812531335) },
                    { CDF3( 97312221027928) },
                    { CDF3( 63041583222277) },
                    { CDF3( 2910,  781812166) },
                    { CDF3(203753062732131) },
                    { CDF3(139042728430887) },
                    { CDF3( 93682155827144) },
                    { CDF3( 59371496621119) },
                    { CDF3( 2667,  722511319) },
                    { CDF3(239703147032378) },
                    { CDF3(171732973432018) },
                    { CDF3(127952544129965) },
                    { CDF3( 89811968025893) },
                    { CDF3( 47281137216902) },
                    { CDF3(242873179732439) },
                    { CDF3(167032914531696) },
                    { CDF3(108332355428725) },
                    { CDF3( 64681656623057) },
                    { CDF3( 2415,  656210278) },
                    { CDF3(266103239532659) },
                    { CDF3(185903049832117) },
                    { CDF3(124202575629950) },
                    { CDF3( 76391874624710) },
                    { CDF3( 3001,  808612347) },
                    { CDF3(250763206432580) },
                    { CDF3(179463012832028) },
                    { CDF3(120242498529378) },
                    { CDF3( 75171839024304) },
                    { CDF3( 3243,  878113331) },
                }, {
                    { CDF3( 60371677121957) },
                    { CDF3(247743170432426) },
                    { CDF3(168302858931056) },
                    { CDF3(106022282827760) },
                    { CDF3( 67331682923071) },
                    { CDF3( 3250,  891413556) },
                    { CDF3(255823222032668) },
                    { CDF3(186593034232223) },
                    { CDF3(125462614930515) },
                    { CDF3( 84202045126801) },
                    { CDF3( 46361242018344) },
                    { CDF3(275813236232639) },
                    { CDF3(189873008331978) },
                    { CDF3(113272424829084) },
                    { CDF3( 72641771924120) },
                    { CDF3( 39951076816169) },
                    { CDF3(258933183132487) },
                    { CDF3(165772858731379) },
                    { CDF3(101892274828182) },
                    { CDF3( 68321709423556) },
                    { CDF3( 37081011015334) },
                    { CDF3(259043228232656) },
                    { CDF3(197213079232276) },
                    { CDF3(128192624330411) },
                    { CDF3( 85722061426891) },
                    { CDF3( 53641405920467) },
                    { CDF3(265803243832677) },
                    { CDF3(208523122532340) },
                    { CDF3(124352570029967) },
                    { CDF3( 86912082526976) },
                    { CDF3( 44461220917269) },
                    { CDF3(273503242932696) },
                    { CDF3(213723097732272) },
                    { CDF3(126732527029853) },
                    { CDF3( 92082092526640) },
                    { CDF3( 50181335118732) },
                    { CDF3(273513247932713) },
                    { CDF3(213983120932387) },
                    { CDF3(121622504729842) },
                    { CDF3( 78961869125319) },
                    { CDF3( 46701288218881) },
                },
            }, {
                {
                    { CDF3( 54871046013708) },
                    { CDF3(215972830330674) },
                    { CDF3(110372195326476) },
                    { CDF3( 81471796222952) },
                    { CDF3( 52421306118532) },
                    { CDF3( 1889,  5208,  8182) },
                    { CDF3(267743213332590) },
                    { CDF3(178442956431767) },
                    { CDF3(116902443829171) },
                    { CDF3( 75421821524459) },
                    { CDF3( 2993,  805012319) },
                    { CDF3(280233232832591) },
                    { CDF3(186513012631954) },
                    { CDF3(121642514629589) },
                    { CDF3( 77621853024771) },
                    { CDF3( 3492,  918313920) },
                    { CDF3(275913200832491) },
                    { CDF3(171492885331510) },
                    { CDF3(114852400328860) },
                    { CDF3( 76971808624210) },
                    { CDF3( 3075,  799912218) },
                    { CDF3(282683248232654) },
                    { CDF3(196313105132404) },
                    { CDF3(138602726031020) },
                    { CDF3( 96052161327594) },
                    { CDF3( 48761216217908) },
                    { CDF3(272483231632576) },
                    { CDF3(189553045732075) },
                    { CDF3(118242399728795) },
                    { CDF3( 73461819624647) },
                    { CDF3( 3403,  924714111) },
                    { CDF3(297113265532735) },
                    { CDF3(211693139432417) },
                    { CDF3(134872719830957) },
                    { CDF3( 88282168327614) },
                    { CDF3( 42701145117038) },
                    { CDF3(287083257832731) },
                    { CDF3(201203124132482) },
                    { CDF3(136922755031321) },
                    { CDF3( 94182251428439) },
                    { CDF3( 49991328319462) },
                }, {
                    { CDF3( 56731430219711) },
                    { CDF3(262513070131834) },
                    { CDF3(127822378327803) },
                    { CDF3( 91272065725808) },
                    { CDF3( 63681620821462) },
                    { CDF3( 2465,  717710822) },
                    { CDF3(299613256332719) },
                    { CDF3(183182989131949) },
                    { CDF3(113612451429357) },
                    { CDF3( 79001960325607) },
                    { CDF3( 40021059015546) },
                    { CDF3(296373231032595) },
                    { CDF3(182962991331809) },
                    { CDF3(101442151526871) },
                    { CDF3( 53581432220394) },
                    { CDF3( 3067,  836213346) },
                    { CDF3(286523247032676) },
                    { CDF3(175383077132209) },
                    { CDF3(139242688230494) },
                    { CDF3(104962283727869) },
                    { CDF3( 72361639621621) },
                    { CDF3(307433268732746) },
                    { CDF3(230063167632489) },
                    { CDF3(144942782831120) },
                    { CDF3(101742280128352) },
                    { CDF3( 62421528121043) },
                    { CDF3(258173224332720) },
                    { CDF3(186183136732325) },
                    { CDF3(139972831831878) },
                    { CDF3(122552653431383) },
                    { CDF3( 95612158828450) },
                    { CDF3(281883263532724) },
                    { CDF3(220603236532728) },
                    { CDF3(181023069032528) },
                    { CDF3(141962886431999) },
                    { CDF3(122622579230865) },
                    { CDF3(241763210932628) },
                    { CDF3(182802968131963) },
                    { CDF3(102052370329664) },
                    { CDF3( 78892002527676) },
                    { CDF3( 60601674323970) },
                },
            }, {
                {
                    { CDF3( 5141,  7096,  8260) },
                    { CDF3(271862902229789) },
                    { CDF3( 66681256815682) },
                    { CDF3( 2172,  6181,  8638) },
                    { CDF3( 1126,  3379,  4531) },
                    { CDF3(  443,  1361,  2254) },
                    { CDF3(260833115332436) },
                    { CDF3(134862460328483) },
                    { CDF3( 65081484019910) },
                    { CDF3( 3386,  880013286) },
                    { CDF3( 1530,  4322,  7054) },
                    { CDF3(296393208032548) },
                    { CDF3(158972755230290) },
                    { CDF3( 85882004725383) },
                    { CDF3( 48891333919269) },
                    { CDF3( 2240,  687110498) },
                    { CDF3(281653219732517) },
                    { CDF3(207353042731568) },
                    { CDF3(143252467127692) },
                    { CDF3( 51191255417805) },
                    { CDF3( 1810,  5441,  8261) },
                    { CDF3(312123272432748) },
                    { CDF3(233523176632545) },
                    { CDF3(146692757031059) },
                    { CDF3( 84922089427272) },
                    { CDF3( 36441019415204) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3( 2461,  7013,  9371) },
                    { CDF3(247492960030986) },
                    { CDF3( 94661903722417) },
                    { CDF3( 3584,  928014400) },
                    { CDF3( 1505,  3929,  5433) },
                    { CDF3(  677,  1500,  2736) },
                    { CDF3(239873070232117) },
                    { CDF3(135542457129263) },
                    { CDF3( 62111455621155) },
                    { CDF3( 31351097215625) },
                    { CDF3( 2435,  712711427) },
                    { CDF3(313003253232550) },
                    { CDF3(147573036531954) },
                    { CDF3( 44051161218553) },
                    { CDF3(  580,  4132,  7322) },
                    { CDF3( 16951016914124) },
                    { CDF3(300083228232591) },
                    { CDF3(192443010831748) },
                    { CDF3(111802415829555) },
                    { CDF3( 56501497219209) },
                    { CDF3( 2114,  5109,  8456) },
                    { CDF3(318563271632748) },
                    { CDF3(230123166432572) },
                    { CDF3(136942665630636) },
                    { CDF3( 81421950826093) },
                    { CDF3( 42531095516724) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                },
            }, {
                {
                    { CDF3(  601,   983,  1311) },
                    { CDF3(187252340628087) },
                    { CDF3( 5461,  819210923) },
                    { CDF3( 37811512421425) },
                    { CDF3( 2587,  776112072) },
                    { CDF3(  106,   458,   810) },
                    { CDF3(222822971031894) },
                    { CDF3( 85082092625984) },
                    { CDF3( 37261271318083) },
                    { CDF3( 1620,  711210893) },
                    { CDF3(  729,  2236,  3495) },
                    { CDF3(301633247432684) },
                    { CDF3(183043046432000) },
                    { CDF3(114432652629647) },
                    { CDF3( 60071529221299) },
                    { CDF3( 2234,  6703,  8937) },
                    { CDF3(309543217732571) },
                    { CDF3(173632956231076) },
                    { CDF3( 96862246427410) },
                    { CDF3( 81921638421390) },
                    { CDF3( 1755,  804611264) },
                    { CDF3(311683273432748) },
                    { CDF3(224863144132471) },
                    { CDF3(128332562729738) },
                    { CDF3( 69801737923122) },
                    { CDF3( 3111,  888713479) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                },
            },
        }, .dc_sign = {
            { { CDF1(16000) }, { CDF1(13056) }, { CDF1(18816) } },
            { { CDF1(15232) }, { CDF1(12928) }, { CDF1(17280) } },
        }, .br_tok = {
            {
                {
                    { CDF3(142982071824174) },
                    { CDF3(125361960123789) },
                    { CDF3( 87121505119503) },
                    { CDF3( 61701132715434) },
                    { CDF3( 4742,  892612538) },
                    { CDF3( 3803,  731710546) },
                    { CDF3( 1696,  3317,  4871) },
                    { CDF3(143921995122756) },
                    { CDF3(159782321826818) },
                    { CDF3(121871947423889) },
                    { CDF3( 91761564020259) },
                    { CDF3( 70681265517028) },
                    { CDF3( 56561044214472) },
                    { CDF3( 2580,  4992,  7244) },
                    { CDF3(121361804921426) },
                    { CDF3(137842072124481) },
                    { CDF3(108361762121900) },
                    { CDF3( 83721444418847) },
                    { CDF3( 65231177916000) },
                    { CDF3( 5337,  989813760) },
                    { CDF3( 3034,  5860,  8462) },
                }, {
                    { CDF3(159672290526286) },
                    { CDF3(135342065424579) },
                    { CDF3( 95041609220535) },
                    { CDF3( 69751256816903) },
                    { CDF3( 53641009114020) },
                    { CDF3( 4357,  837011857) },
                    { CDF3( 2506,  4934,  7218) },
                    { CDF3(230322881530936) },
                    { CDF3(195402670429719) },
                    { CDF3(151582296927097) },
                    { CDF3(114081886523650) },
                    { CDF3( 88851544820250) },
                    { CDF3( 71081285317416) },
                    { CDF3( 4231,  804111480) },
                    { CDF3(198232649029156) },
                    { CDF3(188902592928932) },
                    { CDF3(156602349127433) },
                    { CDF3(121471977624488) },
                    { CDF3( 97281677421649) },
                    { CDF3( 79191427719066) },
                    { CDF3( 54401017014185) },
                },
            }, {
                {
                    { CDF3(144062086224414) },
                    { CDF3(118241890723109) },
                    { CDF3( 82571439318803) },
                    { CDF3( 58601074714778) },
                    { CDF3( 4475,  848611984) },
                    { CDF3( 3606,  695410043) },
                    { CDF3( 1736,  3410,  5048) },
                    { CDF3(144302004622882) },
                    { CDF3(155932289926709) },
                    { CDF3(121021936823811) },
                    { CDF3( 90591558420262) },
                    { CDF3( 69991260317048) },
                    { CDF3( 56841049714553) },
                    { CDF3( 2822,  5438,  7862) },
                    { CDF3(157852158524359) },
                    { CDF3(183472522928266) },
                    { CDF3(149742248726389) },
                    { CDF3(114231868123271) },
                    { CDF3( 88631535020008) },
                    { CDF3( 71531285217278) },
                    { CDF3( 3707,  7036,  9982) },
                }, {
                    { CDF3(154602169625469) },
                    { CDF3(121701924923191) },
                    { CDF3( 87231502719332) },
                    { CDF3( 64281170415874) },
                    { CDF3( 4922,  929213052) },
                    { CDF3( 4139,  769511010) },
                    { CDF3( 2291,  4508,  6598) },
                    { CDF3(198562692029828) },
                    { CDF3(179232528928792) },
                    { CDF3(142782196826297) },
                    { CDF3(109101813622950) },
                    { CDF3( 84231481519627) },
                    { CDF3( 67711228316774) },
                    { CDF3( 4074,  775011081) },
                    { CDF3(198522607428672) },
                    { CDF3(193712611028989) },
                    { CDF3(162652387327663) },
                    { CDF3(127582037824952) },
                    { CDF3(100951709821961) },
                    { CDF3( 82501462819451) },
                    { CDF3( 5205,  974513622) },
                },
            }, {
                {
                    { CDF3(105631623319763) },
                    { CDF3( 97941602219804) },
                    { CDF3( 67501194515759) },
                    { CDF3( 4963,  918612752) },
                    { CDF3( 3845,  743510627) },
                    { CDF3( 3051,  6085,  8834) },
                    { CDF3( 1311,  2596,  3830) },
                    { CDF3(112461640419689) },
                    { CDF3(123151891122731) },
                    { CDF3(105571709521289) },
                    { CDF3( 81361400618249) },
                    { CDF3( 63481147415565) },
                    { CDF3( 5196,  965513400) },
                    { CDF3( 2349,  4526,  6587) },
                    { CDF3(133371873021569) },
                    { CDF3(193062607128882) },
                    { CDF3(159522354027254) },
                    { CDF3(124091993424430) },
                    { CDF3( 97601670621389) },
                    { CDF3( 80041422018818) },
                    { CDF3( 4138,  779410961) },
                }, {
                    { CDF3(108701668420949) },
                    { CDF3( 96641523018680) },
                    { CDF3( 68861210915408) },
                    { CDF3( 4825,  890012305) },
                    { CDF3( 3630,  716210314) },
                    { CDF3( 3036,  6429,  9387) },
                    { CDF3( 1671,  3296,  4940) },
                    { CDF3(138191915923026) },
                    { CDF3(119841910823120) },
                    { CDF3(106901721021663) },
                    { CDF3( 79841415418333) },
                    { CDF3( 68681229416124) },
                    { CDF3( 5274,  899412868) },
                    { CDF3( 2988,  5771,  8424) },
                    { CDF3(197362664729141) },
                    { CDF3(189332607028984) },
                    { CDF3(157792304827200) },
                    { CDF3(126382006124532) },
                    { CDF3(106921754522220) },
                    { CDF3( 92171525120054) },
                    { CDF3( 5078,  928412594) },
                },
            }, {
                {
                    { CDF3( 2331,  3662,  5244) },
                    { CDF3( 2891,  4771,  6145) },
                    { CDF3( 4598,  7623,  9729) },
                    { CDF3( 3520,  6845,  9199) },
                    { CDF3( 3417,  6119,  9324) },
                    { CDF3( 2601,  5412,  7385) },
                    { CDF3(  600,  1173,  1744) },
                    { CDF3( 76721328617469) },
                    { CDF3( 4232,  779210793) },
                    { CDF3( 2915,  5317,  7397) },
                    { CDF3( 2318,  4356,  6152) },
                    { CDF3( 2127,  4000,  5554) },
                    { CDF3( 1850,  3478,  5275) },
                    { CDF3(  977,  1933,  2843) },
                    { CDF3(182802438727989) },
                    { CDF3(158522267126185) },
                    { CDF3(138452095124789) },
                    { CDF3(110551796622129) },
                    { CDF3( 91381542219801) },
                    { CDF3( 74541314517456) },
                    { CDF3( 3370,  6393,  9013) },
                }, {
                    { CDF3( 5842,  922910838) },
                    { CDF3( 2313,  3491,  4276) },
                    { CDF3( 2998,  6104,  7496) },
                    { CDF3( 2420,  7447,  9868) },
                    { CDF3( 3034,  849510923) },
                    { CDF3( 4076,  893710975) },
                    { CDF3( 1086,  2370,  3299) },
                    { CDF3( 97141725420444) },
                    { CDF3( 85431369817123) },
                    { CDF3( 4918,  900711910) },
                    { CDF3( 4129,  753210553) },
                    { CDF3( 2364,  5533,  8058) },
                    { CDF3( 1834,  3546,  5563) },
                    { CDF3( 1473,  2908,  4133) },
                    { CDF3(154052119325619) },
                    { CDF3(156912195226561) },
                    { CDF3(129621919424165) },
                    { CDF3(102721785522129) },
                    { CDF3( 85881527020718) },
                    { CDF3( 86821466919500) },
                    { CDF3( 4870,  963613205) },
                },
            },
        },
    }, [1] = {
        .skip = {
            {
                { CDF1(30371) }, { CDF1( 7570) }, { CDF1(13155) },
                { CDF1(20751) }, { CDF1(20969) }, { CDF1(27067) },
                { CDF1(32013) }, { CDF1( 5495) }, { CDF1(17942) },
                { CDF1(28280) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(31782) }, { CDF1( 1836) }, { CDF1(10689) },
                { CDF1(17604) }, { CDF1(21622) }, { CDF1(27518) },
                { CDF1(32399) }, { CDF1( 4419) }, { CDF1(16294) },
                { CDF1(28345) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(31901) }, { CDF1(10311) }, { CDF1(18047) },
                { CDF1(24806) }, { CDF1(23288) }, { CDF1(27914) },
                { CDF1(32296) }, { CDF1( 4215) }, { CDF1(15756) },
                { CDF1(28341) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(26726) }, { CDF1( 1045) }, { CDF1(11703) },
                { CDF1(20590) }, { CDF1(18554) }, { CDF1(25970) },
                { CDF1(31938) }, { CDF1( 5583) }, { CDF1(21313) },
                { CDF1(29390) }, { CDF1(  641) }, { CDF1(22265) },
                { CDF1(31452) },
            }, {
                { CDF1(26584) }, { CDF1(  188) }, { CDF1( 8847) },
                { CDF1(24519) }, { CDF1(22938) }, { CDF1(30583) },
                { CDF1(32608) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            },
        }, .eob_bin_16 = {
            {
                { CDF4( 2125,  2551,  5165,  8946) },
                { CDF4(  513,   765,  1859,  6339) },
            }, {
                { CDF4( 7637,  94981425919108) },
                { CDF4( 2497,  4096,  886616993) },
            },
        }, .eob_bin_32 = {
            {
                { CDF5(  989,  1249,  2019,  415110785) },
                { CDF5(  313,   441,  1099,  2917,  8562) },
            }, {
                { CDF5( 839410352139321885526014) },
                { CDF5( 2578,  4124,  81811367024234) },
            },
        }, .eob_bin_64 = {
            {
                { CDF6( 1260,  1446,  2253,  3712,  665213369) },
                { CDF6(  401,   605,  1029,  2563,  584512626) },
            }, {
                { CDF6( 86091061214624187142261429024) },
                { CDF6( 1923,  3127,  5867,  97031427727100) },
            },
        }, .eob_bin_128 = {
            {
                { CDF7(  685,   933,  1488,  2714,  4766,  856219254) },
                { CDF7(  217,   352,   618,  2303,  5261,  996917472) },
            }, {
                { CDF7( 8045112001549719595239482740830938) },
                { CDF7( 2310,  4160,  747114997179312076830240) },
            },
        }, .eob_bin_256 = {
            {
                { CDF8( 1448,  2109,  4151,  6263,
                        9329132601794423300) },
                { CDF8(  399,  1019,  1749,  3038,
                       10444155462273927294) },
            }, {
                { CDF8( 6402,  81481262315072,
                       18728228472644729377) },
                { CDF8( 1674,  3252,  573410159,
                       22397238022482130940) },
            },
        }, .eob_bin_512 = {
            { CDF9( 1230,  2278,  5035,  777611871,
                   15346195902458428749) },
            { CDF9( 7265,  9979158191925021780,
                   23846264782839631811) },
        }, .eob_bin_1024 = {
            { CDF10(  696,   948,  3145,  5702,  9706,
                    1321717851218562569228034) },
            { CDF10( 2672,  3591,  93301708422725,
                    2428426527280272837730876) },
        }, .eob_hi_bit = {
            {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(17471) },
                    { CDF1(20223) }, { CDF1(11357) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(20335) },
                    { CDF1(21667) }, { CDF1(14818) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(20430) },
                    { CDF1(20662) }, { CDF1(15367) }, { CDF1(16970) },
                    { CDF1(14657) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(22117) },
                    { CDF1(22028) }, { CDF1(18650) }, { CDF1(16042) },
                    { CDF1(15885) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(22409) },
                    { CDF1(21012) }, { CDF1(15650) }, { CDF1(17395) },
                    { CDF1(15469) }, { CDF1(20205) }, { CDF1(19511) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(24220) },
                    { CDF1(22480) }, { CDF1(17737) }, { CDF1(18916) },
                    { CDF1(19268) }, { CDF1(18412) }, { CDF1(18844) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(25991) },
                    { CDF1(20314) }, { CDF1(17731) }, { CDF1(19678) },
                    { CDF1(18649) }, { CDF1(17307) }, { CDF1(21798) },
                    { CDF1(17549) }, { CDF1(15630) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(26585) },
                    { CDF1(21469) }, { CDF1(20432) }, { CDF1(17735) },
                    { CDF1(19280) }, { CDF1(15235) }, { CDF1(20297) },
                    { CDF1(22471) }, { CDF1(28997) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(26605) },
                    { CDF1(11304) }, { CDF1(16726) }, { CDF1(16560) },
                    { CDF1(20866) }, { CDF1(23524) }, { CDF1(19878) },
                    { CDF1(13469) }, { CDF1(23084) },
                }, {
                    { 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(1756029888) }, { CDF2(2967131549) },
                    { CDF2(3100732056) }, { CDF2(2728630006) },
                }, {
                    { CDF2(2659431212) }, { CDF2(3120832582) },
                    { CDF2(3183532637) }, { CDF2(3059532206) },
                },
            }, {
                {
                    { CDF2(1523929932) }, { CDF2(3131532095) },
                    { CDF2(3213032434) }, { CDF2(3086431996) },
                }, {
                    { CDF2(2627930968) }, { CDF2(3114232495) },
                    { CDF2(3171332540) }, { CDF2(3192932594) },
                },
            }, {
                {
                    { CDF2( 264425198) }, { CDF2(3203832451) },
                    { CDF2(3263932695) }, { CDF2(3216632518) },
                }, {
                    { CDF2(1718727668) }, { CDF2(3171432550) },
                    { CDF2(3228332678) }, { CDF2(3193032563) },
                },
            }, {
                {
                    { CDF2( 1044,  2257) }, { CDF2(3075531923) },
                    { CDF2(3220832693) }, { CDF2(3224432615) },
                }, {
                    { CDF2(2131726207) }, { CDF2(2913330868) },
                    { CDF2(2931131231) }, { CDF2(2965731087) },
                },
            }, {
                {
                    { CDF2(  478,  1834) }, { CDF2(3100531987) },
                    { CDF2(3231732724) }, { CDF2(3086532648) },
                }, {
                    { CDF2(1092321845) }, { CDF2(1092321845) },
                    { CDF2(1092321845) }, { CDF2(1092321845) },
                },
            },
        }, .base_tok = {
            {
                {
                    { CDF3( 60411185415927) },
                    { CDF3(203263090532251) },
                    { CDF3(141642683130725) },
                    { CDF3( 97602064726585) },
                    { CDF3( 64161495321219) },
                    { CDF3( 2966,  715110891) },
                    { CDF3(235673137432254) },
                    { CDF3(149782741630946) },
                    { CDF3( 94342022526254) },
                    { CDF3( 66581455820535) },
                    { CDF3( 3916,  867712989) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3(180882954531587) },
                    { CDF3(130622584330073) },
                    { CDF3( 89401682722251) },
                    { CDF3( 76541322017973) },
                    { CDF3( 57331031614456) },
                    { CDF3(228793138832114) },
                    { CDF3(152152799330955) },
                    { CDF3( 93971944524978) },
                    { CDF3( 3442,  981315344) },
                    { CDF3( 1368,  3936,  6532) },
                    { CDF3(254943203332406) },
                    { CDF3(167722796330718) },
                    { CDF3( 94191816523260) },
                    { CDF3( 2677,  750111797) },
                    { CDF3( 1516,  4344,  7170) },
                    { CDF3(265563145432101) },
                    { CDF3(171282703530108) },
                    { CDF3( 83241534420249) },
                    { CDF3( 1903,  5696,  9469) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3( 84551900324368) },
                    { CDF3(235633202132604) },
                    { CDF3(162372944631935) },
                    { CDF3(107242399929358) },
                    { CDF3( 67251752824416) },
                    { CDF3( 39271092716825) },
                    { CDF3(263133228832634) },
                    { CDF3(174303009532095) },
                    { CDF3(111162460629679) },
                    { CDF3( 71951838425269) },
                    { CDF3( 47261285219315) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3(228223164832483) },
                    { CDF3(167242963331929) },
                    { CDF3(102612303328725) },
                    { CDF3( 70291784024528) },
                    { CDF3( 48671388621502) },
                    { CDF3(252983189232491) },
                    { CDF3(178092933031512) },
                    { CDF3( 96682132926579) },
                    { CDF3( 47741295618976) },
                    { CDF3( 2322,  703011540) },
                    { CDF3(254723192032543) },
                    { CDF3(179572938731632) },
                    { CDF3( 91962059326400) },
                    { CDF3( 46801270519202) },
                    { CDF3( 2917,  845613436) },
                    { CDF3(264713205932574) },
                    { CDF3(184582978331909) },
                    { CDF3( 84001946425956) },
                    { CDF3( 38121097317206) },
                    { CDF3( 81921638424576) },
                },
            }, {
                {
                    { CDF3( 67791374317678) },
                    { CDF3(248063179732457) },
                    { CDF3(176162904731372) },
                    { CDF3(110632317528003) },
                    { CDF3( 65211611022324) },
                    { CDF3( 2764,  750411654) },
                    { CDF3(252663236732637) },
                    { CDF3(190543055332175) },
                    { CDF3(121392521229807) },
                    { CDF3( 73111816224704) },
                    { CDF3( 3397,  916414074) },
                    { CDF3(259883220832522) },
                    { CDF3(162532891231526) },
                    { CDF3( 91512138727372) },
                    { CDF3( 56881491521496) },
                    { CDF3( 2717,  762712004) },
                    { CDF3(231443185532443) },
                    { CDF3(160702849131325) },
                    { CDF3( 87022046726517) },
                    { CDF3( 52431395620367) },
                    { CDF3( 2621,  733511567) },
                    { CDF3(266363234032630) },
                    { CDF3(199903105032341) },
                    { CDF3(132432610530315) },
                    { CDF3( 85881952125918) },
                    { CDF3( 47171158517304) },
                    { CDF3(258443229232582) },
                    { CDF3(190903063532097) },
                    { CDF3(119632454628939) },
                    { CDF3( 62181608722354) },
                    { CDF3( 2340,  660810426) },
                    { CDF3(280463257632694) },
                    { CDF3(211783131332296) },
                    { CDF3(134862618429870) },
                    { CDF3( 71491787123723) },
                    { CDF3( 2833,  795812259) },
                    { CDF3(277103252832686) },
                    { CDF3(206743107632268) },
                    { CDF3(124132495529243) },
                    { CDF3( 66761692723097) },
                    { CDF3( 2966,  833312919) },
                }, {
                    { CDF3( 86391933924429) },
                    { CDF3(244043183732525) },
                    { CDF3(169972942531784) },
                    { CDF3(112532423429149) },
                    { CDF3( 67511739424028) },
                    { CDF3( 3490,  983015191) },
                    { CDF3(262833247132714) },
                    { CDF3(195993116832442) },
                    { CDF3(131462695430893) },
                    { CDF3( 82142058826890) },
                    { CDF3( 46991308119300) },
                    { CDF3(282123245832669) },
                    { CDF3(185943031632100) },
                    { CDF3(112192440829234) },
                    { CDF3( 68651765624149) },
                    { CDF3( 36781036216006) },
                    { CDF3(258253213632616) },
                    { CDF3(173132985332021) },
                    { CDF3(111972447129472) },
                    { CDF3( 69471778124405) },
                    { CDF3( 37681066016261) },
                    { CDF3(273523250032706) },
                    { CDF3(208503146832469) },
                    { CDF3(140212770731133) },
                    { CDF3( 89642174827838) },
                    { CDF3( 54371466521187) },
                    { CDF3(263043249232698) },
                    { CDF3(204093138032385) },
                    { CDF3(136822722230632) },
                    { CDF3( 89742123626685) },
                    { CDF3( 42341166516934) },
                    { CDF3(262733235732711) },
                    { CDF3(206723124232441) },
                    { CDF3(141722725430902) },
                    { CDF3( 98702189827275) },
                    { CDF3( 51641350619270) },
                    { CDF3(267253245932728) },
                    { CDF3(209913144232527) },
                    { CDF3(130712643430811) },
                    { CDF3( 81842009026742) },
                    { CDF3( 48031325519895) },
                },
            }, {
                {
                    { CDF3( 75551494218501) },
                    { CDF3(244103117832287) },
                    { CDF3(143942673830253) },
                    { CDF3( 84131955425195) },
                    { CDF3( 47661292418785) },
                    { CDF3( 2029,  5806,  9207) },
                    { CDF3(267763236432663) },
                    { CDF3(187322996731931) },
                    { CDF3(110052378628852) },
                    { CDF3( 64661690923510) },
                    { CDF3( 3044,  863813419) },
                    { CDF3(292083258232704) },
                    { CDF3(200683085732208) },
                    { CDF3(120032508529595) },
                    { CDF3( 69471775024189) },
                    { CDF3( 3245,  910314007) },
                    { CDF3(273593246532669) },
                    { CDF3(194213061432174) },
                    { CDF3(119152501029579) },
                    { CDF3( 69501767624074) },
                    { CDF3( 3007,  847313096) },
                    { CDF3(290023267632735) },
                    { CDF3(221023184932576) },
                    { CDF3(144082800931405) },
                    { CDF3( 90272167927931) },
                    { CDF3( 46941267818748) },
                    { CDF3(282163252832682) },
                    { CDF3(208493126432318) },
                    { CDF3(127562581529751) },
                    { CDF3( 75651880124923) },
                    { CDF3( 3509,  953314477) },
                    { CDF3(301333268732739) },
                    { CDF3(230633191032515) },
                    { CDF3(145882805131132) },
                    { CDF3( 90852164927457) },
                    { CDF3( 42611165417264) },
                    { CDF3(295183269132748) },
                    { CDF3(224513195932613) },
                    { CDF3(148642872231700) },
                    { CDF3( 96952296428716) },
                    { CDF3( 49321335819502) },
                }, {
                    { CDF3( 64651695821688) },
                    { CDF3(251993151432360) },
                    { CDF3(147742714930607) },
                    { CDF3( 92572143826972) },
                    { CDF3( 57231518321882) },
                    { CDF3( 3150,  887913731) },
                    { CDF3(269893226232682) },
                    { CDF3(173962993732085) },
                    { CDF3(113872490129784) },
                    { CDF3( 72891882125548) },
                    { CDF3( 37341057716086) },
                    { CDF3(297283250132695) },
                    { CDF3(174312970131903) },
                    { CDF3( 99212282628300) },
                    { CDF3( 58961543422068) },
                    { CDF3( 3430,  964614757) },
                    { CDF3(286143251132705) },
                    { CDF3(193643063832263) },
                    { CDF3(131292625430402) },
                    { CDF3( 87542048426440) },
                    { CDF3( 43781160717110) },
                    { CDF3(302923267132744) },
                    { CDF3(217803160332501) },
                    { CDF3(143142782931291) },
                    { CDF3( 96112232728263) },
                    { CDF3( 48901308719065) },
                    { CDF3(258623256732733) },
                    { CDF3(207943205032567) },
                    { CDF3(172433062532254) },
                    { CDF3(132832762831474) },
                    { CDF3( 96692253228918) },
                    { CDF3(274353269732748) },
                    { CDF3(249223239032714) },
                    { CDF3(214493150432536) },
                    { CDF3(163922972931832) },
                    { CDF3(116922488429076) },
                    { CDF3(241933229032735) },
                    { CDF3(189093110432563) },
                    { CDF3(122362684131403) },
                    { CDF3( 81712184029082) },
                    { CDF3( 72241728025275) },
                },
            }, {
                {
                    { CDF3( 3078,  6839,  9890) },
                    { CDF3(138372045024479) },
                    { CDF3( 59141422219328) },
                    { CDF3( 38661026714762) },
                    { CDF3( 2612,  720811042) },
                    { CDF3( 1067,  2991,  4776) },
                    { CDF3(258173164632529) },
                    { CDF3(137082633830385) },
                    { CDF3( 73281858524870) },
                    { CDF3( 46911308019276) },
                    { CDF3( 1825,  5253,  8352) },
                    { CDF3(293863231532624) },
                    { CDF3(171602900131360) },
                    { CDF3( 96022186227396) },
                    { CDF3( 59151577222148) },
                    { CDF3( 2786,  777912047) },
                    { CDF3(292463245032663) },
                    { CDF3(186962992931818) },
                    { CDF3(105102336928560) },
                    { CDF3( 62291649923125) },
                    { CDF3( 2608,  744811705) },
                    { CDF3(307533271032748) },
                    { CDF3(216383148732503) },
                    { CDF3(129372685430870) },
                    { CDF3( 81822059626970) },
                    { CDF3( 36371026915497) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3( 52441215016906) },
                    { CDF3(204862685829701) },
                    { CDF3( 77561831723735) },
                    { CDF3( 3452,  925613146) },
                    { CDF3( 2020,  5206,  8229) },
                    { CDF3( 1801,  4993,  7903) },
                    { CDF3(270513185832531) },
                    { CDF3(159882753130619) },
                    { CDF3( 91882148426719) },
                    { CDF3( 62731718623800) },
                    { CDF3( 3108,  935514764) },
                    { CDF3(310763252032680) },
                    { CDF3(181193003731850) },
                    { CDF3(102442296927472) },
                    { CDF3( 46921407719273) },
                    { CDF3( 36941167717556) },
                    { CDF3(300603258132720) },
                    { CDF3(210113077532120) },
                    { CDF3(119312482029289) },
                    { CDF3( 71191766224356) },
                    { CDF3( 38331070616304) },
                    { CDF3(319543273132748) },
                    { CDF3(239133172432489) },
                    { CDF3(155202806031286) },
                    { CDF3(115172300828571) },
                    { CDF3( 61931450820629) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                },
            }, {
                {
                    { CDF3( 1035,  2807,  4156) },
                    { CDF3(131621813820939) },
                    { CDF3( 2696,  6633,  8755) },
                    { CDF3( 1373,  4161,  6853) },
                    { CDF3( 1099,  2746,  4716) },
                    { CDF3(  340,  1021,  1599) },
                    { CDF3(228263041932135) },
                    { CDF3(103952176226942) },
                    { CDF3( 47261240717361) },
                    { CDF3( 2447,  708010593) },
                    { CDF3( 1227,  3717,  6011) },
                    { CDF3(281563142431934) },
                    { CDF3(169152775430373) },
                    { CDF3( 91482099026431) },
                    { CDF3( 59501551521148) },
                    { CDF3( 2492,  732711526) },
                    { CDF3(306023247732670) },
                    { CDF3(200262995531568) },
                    { CDF3(112202362828105) },
                    { CDF3( 66521701922973) },
                    { CDF3( 3064,  853613043) },
                    { CDF3(317693272432748) },
                    { CDF3(222303088732373) },
                    { CDF3(122342507929731) },
                    { CDF3( 73261881625353) },
                    { CDF3( 39331090716616) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                },
            },
        }, .dc_sign = {
            { { CDF1(16000) }, { CDF1(13056) }, { CDF1(18816) } },
            { { CDF1(15232) }, { CDF1(12928) }, { CDF1(17280) } },
        }, .br_tok = {
            {
                {
                    { CDF3(149952134124749) },
                    { CDF3(131582028924601) },
                    { CDF3( 89411532619876) },
                    { CDF3( 62971154115807) },
                    { CDF3( 4817,  902912776) },
                    { CDF3( 3731,  727310627) },
                    { CDF3( 1847,  3617,  5354) },
                    { CDF3(144721965922343) },
                    { CDF3(168062416227533) },
                    { CDF3(129002040424713) },
                    { CDF3( 94111611220797) },
                    { CDF3( 70561269717148) },
                    { CDF3( 55441033914460) },
                    { CDF3( 2954,  5704,  8319) },
                    { CDF3(124641807121354) },
                    { CDF3(154822252826034) },
                    { CDF3(120701926923624) },
                    { CDF3( 89531540620106) },
                    { CDF3( 70271273017220) },
                    { CDF3( 58871091315140) },
                    { CDF3( 3793,  727810447) },
                }, {
                    { CDF3(155712223225749) },
                    { CDF3(145062157525374) },
                    { CDF3(101891708921569) },
                    { CDF3( 73161330117915) },
                    { CDF3( 57831091215190) },
                    { CDF3( 4760,  915513088) },
                    { CDF3( 2993,  5966,  8774) },
                    { CDF3(234242890330778) },
                    { CDF3(207752766630290) },
                    { CDF3(164742441028299) },
                    { CDF3(124712018024987) },
                    { CDF3( 94101648721439) },
                    { CDF3( 75361361418529) },
                    { CDF3( 5048,  958613549) },
                    { CDF3(210902729029756) },
                    { CDF3(207962740230026) },
                    { CDF3(178192548528969) },
                    { CDF3(138602190926462) },
                    { CDF3(110021849423529) },
                    { CDF3( 89531592920897) },
                    { CDF3( 64481191816454) },
                },
            }, {
                {
                    { CDF3(159992220825449) },
                    { CDF3(130501998824122) },
                    { CDF3( 85941486419378) },
                    { CDF3( 60331107915238) },
                    { CDF3( 4554,  868312347) },
                    { CDF3( 3672,  713910337) },
                    { CDF3( 1900,  3771,  5576) },
                    { CDF3(157882134023949) },
                    { CDF3(168252423527758) },
                    { CDF3(128732040224810) },
                    { CDF3( 95901636321094) },
                    { CDF3( 73521320917733) },
                    { CDF3( 59601098915184) },
                    { CDF3( 3232,  6234,  9007) },
                    { CDF3(157612071623224) },
                    { CDF3(193182598928759) },
                    { CDF3(155292309426929) },
                    { CDF3(116621898923641) },
                    { CDF3( 89551556820366) },
                    { CDF3( 72811310617708) },
                    { CDF3( 4248,  805911440) },
                }, {
                    { CDF3(148992121724503) },
                    { CDF3(135192028324047) },
                    { CDF3( 94291596620365) },
                    { CDF3( 67001235516652) },
                    { CDF3( 5088,  970413716) },
                    { CDF3( 4243,  815411731) },
                    { CDF3( 2702,  5364,  7861) },
                    { CDF3(227452838830454) },
                    { CDF3(202352714629922) },
                    { CDF3(158962371527637) },
                    { CDF3(118401935024131) },
                    { CDF3( 91221593220880) },
                    { CDF3( 74881358118362) },
                    { CDF3( 5114,  956813370) },
                    { CDF3(208452655328932) },
                    { CDF3(209812737229884) },
                    { CDF3(177812533528785) },
                    { CDF3(137602170826297) },
                    { CDF3(109751841523365) },
                    { CDF3( 90451578920686) },
                    { CDF3( 61301119915423) },
                },
            }, {
                {
                    { CDF3(135491972423158) },
                    { CDF3(118441838222246) },
                    { CDF3( 79191361917773) },
                    { CDF3( 54861014313946) },
                    { CDF3( 4166,  798311324) },
                    { CDF3( 3364,  6506,  9427) },
                    { CDF3( 1598,  3160,  4674) },
                    { CDF3(152812097923781) },
                    { CDF3(149392211925952) },
                    { CDF3(113631840722812) },
                    { CDF3( 86091485719370) },
                    { CDF3( 67371218416480) },
                    { CDF3( 55061026314262) },
                    { CDF3( 2990,  5786,  8380) },
                    { CDF3(202492525327417) },
                    { CDF3(210702751830001) },
                    { CDF3(168542446928074) },
                    { CDF3(128642048625000) },
                    { CDF3( 99621697821778) },
                    { CDF3( 80741433819048) },
                    { CDF3( 4494,  847911906) },
                }, {
                    { CDF3(139601961722829) },
                    { CDF3(111501734121228) },
                    { CDF3( 71501296417190) },
                    { CDF3( 53311000213867) },
                    { CDF3( 4167,  774411057) },
                    { CDF3( 3480,  6629,  9646) },
                    { CDF3( 1883,  3784,  5686) },
                    { CDF3(187522566028912) },
                    { CDF3(169682458628030) },
                    { CDF3(135202105525313) },
                    { CDF3(104531762622280) },
                    { CDF3( 83861450519116) },
                    { CDF3( 67421259517008) },
                    { CDF3( 4273,  814011499) },
                    { CDF3(221202782730233) },
                    { CDF3(205632735829895) },
                    { CDF3(170762464428153) },
                    { CDF3(133622094225309) },
                    { CDF3(107941796522695) },
                    { CDF3( 90141565220319) },
                    { CDF3( 57081051214497) },
                },
            }, {
                {
                    { CDF3( 57051093015725) },
                    { CDF3( 79461276516115) },
                    { CDF3( 68011212316226) },
                    { CDF3( 54621013514200) },
                    { CDF3( 4189,  801111507) },
                    { CDF3( 3191,  6229,  9408) },
                    { CDF3( 1057,  2137,  3212) },
                    { CDF3(100181706721491) },
                    { CDF3( 73801258216453) },
                    { CDF3( 60681084514339) },
                    { CDF3( 5098,  919812555) },
                    { CDF3( 4312,  801011119) },
                    { CDF3( 3700,  6966,  9781) },
                    { CDF3( 1693,  3326,  4887) },
                    { CDF3(187572493027774) },
                    { CDF3(176482459627817) },
                    { CDF3(147072205226026) },
                    { CDF3(117201885223292) },
                    { CDF3( 93571595220525) },
                    { CDF3( 78101375318210) },
                    { CDF3( 3879,  733310328) },
                }, {
                    { CDF3( 82781324215922) },
                    { CDF3(105471586718919) },
                    { CDF3( 91061584220609) },
                    { CDF3( 68331300717218) },
                    { CDF3( 4811,  971213923) },
                    { CDF3( 3985,  735211128) },
                    { CDF3( 1688,  3458,  5262) },
                    { CDF3(129512186126510) },
                    { CDF3( 97881604420276) },
                    { CDF3( 63091124414870) },
                    { CDF3( 5183,  934912566) },
                    { CDF3( 4389,  822911492) },
                    { CDF3( 3633,  694510620) },
                    { CDF3( 3600,  6847,  9907) },
                    { CDF3(217482813730255) },
                    { CDF3(194362658129560) },
                    { CDF3(163592420127953) },
                    { CDF3(139612169325871) },
                    { CDF3(115441868623322) },
                    { CDF3( 93721646220952) },
                    { CDF3( 61381121015390) },
                },
            },
        },
    }, [2] = {
        .skip = {
            {
                { CDF1(29614) }, { CDF1( 9068) }, { CDF1(12924) },
                { CDF1(19538) }, { CDF1(17737) }, { CDF1(24619) },
                { CDF1(30642) }, { CDF1( 4119) }, { CDF1(16026) },
                { CDF1(25657) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(31957) }, { CDF1( 3230) }, { CDF1(11153) },
                { CDF1(18123) }, { CDF1(20143) }, { CDF1(26536) },
                { CDF1(31986) }, { CDF1( 3050) }, { CDF1(14603) },
                { CDF1(25155) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(32363) }, { CDF1(10692) }, { CDF1(19090) },
                { CDF1(24357) }, { CDF1(24442) }, { CDF1(28312) },
                { CDF1(32169) }, { CDF1( 3648) }, { CDF1(15690) },
                { CDF1(26815) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(30669) }, { CDF1( 3832) }, { CDF1(11663) },
                { CDF1(18889) }, { CDF1(19782) }, { CDF1(23313) },
                { CDF1(31330) }, { CDF1( 5124) }, { CDF1(18719) },
                { CDF1(28468) }, { CDF1( 3082) }, { CDF1(20982) },
                { CDF1(29443) },
            }, {
                { CDF1(28573) }, { CDF1( 3183) }, { CDF1(17802) },
                { CDF1(25977) }, { CDF1(26677) }, { CDF1(27832) },
                { CDF1(32387) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            },
        }, .eob_bin_16 = {
            {
                { CDF4( 4016,  4897,  888114968) },
                { CDF4(  716,  1105,  264610056) },
            }, {
                { CDF4(11139132701824123566) },
                { CDF4( 3192,  50321029719755) },
            },
        }, .eob_bin_32 = {
            {
                { CDF5( 2515,  3003,  4452,  816216041) },
                { CDF5(  574,   821,  1836,  508913128) },
            }, {
                { CDF5(1346816303203612510529281) },
                { CDF5( 3542,  5502104151676025644) },
            },
        }, .eob_bin_64 = {
            {
                { CDF6( 2374,  2772,  4583,  72761228819706) },
                { CDF6(  497,   810,  1315,  3000,  700415641) },
            }, {
                { CDF6(150501712621410248862815630726) },
                { CDF6( 4034,  629010235149822121428491) },
            },
        }, .eob_bin_128 = {
            {
                { CDF7( 1366,  1738,  2527,  5016,  93551579724643) },
                { CDF7(  354,   558,   944,  2760,  72871403721779) },
            }, {
                { CDF7(13627162462017324429279483041531863) },
                { CDF7( 6275,  98891476923164279883049332272) },
            },
        }, .eob_bin_256 = {
            {
                { CDF8( 3089,  3920,  6038,  9460,
                       14266198812576629176) },
                { CDF8( 1084,  2358,  3488,  5122,
                       11483181032602329799) },
            }, {
                { CDF8(11514137941748020754,
                       24361273782949231277) },
                { CDF8( 6571,  96101551621826,
                       29092308293184232708) },
            },
        }, .eob_bin_512 = {
            { CDF9( 2624,  3936,  6480,  968613979,
                   17726232672841031078) },
            { CDF9(1201514769195882205224222,
                   25812273002921932114) },
        }, .eob_bin_1024 = {
            { CDF10( 2784,  3831,  70411052114847,
                    1884423155266822922931045) },
            { CDF10( 957712466177392075022061,
                    2321524601254832584332056) },
        }, .eob_hi_bit = {
            {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(18983) },
                    { CDF1(20512) }, { CDF1(14885) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(20090) },
                    { CDF1(19444) }, { CDF1(17286) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(19139) },
                    { CDF1(21487) }, { CDF1(18959) }, { CDF1(20910) },
                    { CDF1(19089) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(20536) },
                    { CDF1(20664) }, { CDF1(20625) }, { CDF1(19123) },
                    { CDF1(14862) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(19833) },
                    { CDF1(21502) }, { CDF1(17485) }, { CDF1(20267) },
                    { CDF1(18353) }, { CDF1(23329) }, { CDF1(21478) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(22041) },
                    { CDF1(23434) }, { CDF1(20001) }, { CDF1(20554) },
                    { CDF1(20951) }, { CDF1(20145) }, { CDF1(15562) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(23312) },
                    { CDF1(21607) }, { CDF1(16526) }, { CDF1(18957) },
                    { CDF1(18034) }, { CDF1(18934) }, { CDF1(24247) },
                    { CDF1(16921) }, { CDF1(17080) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(26579) },
                    { CDF1(24910) }, { CDF1(18637) }, { CDF1(19800) },
                    { CDF1(20388) }, { CDF1( 9887) }, { CDF1(15642) },
                    { CDF1(30198) }, { CDF1(24721) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(26998) },
                    { CDF1(16737) }, { CDF1(17838) }, { CDF1(18922) },
                    { CDF1(19515) }, { CDF1(18636) }, { CDF1(17333) },
                    { CDF1(15776) }, { CDF1(22658) },
                }, {
                    { 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(2009230774) }, { CDF2(3069532020) },
                    { CDF2(3113132103) }, { CDF2(2866630870) },
                }, {
                    { CDF2(2725831095) }, { CDF2(3180432623) },
                    { CDF2(3176332528) }, { CDF2(3143832506) },
                },
            }, {
                {
                    { CDF2(1804930489) }, { CDF2(3170632286) },
                    { CDF2(3216332473) }, { CDF2(3155032184) },
                }, {
                    { CDF2(2711630842) }, { CDF2(3197132598) },
                    { CDF2(3208832576) }, { CDF2(3206732664) },
                },
            }, {
                {
                    { CDF2(1285429093) }, { CDF2(3227232558) },
                    { CDF2(3266732729) }, { CDF2(3230632585) },
                }, {
                    { CDF2(2547630366) }, { CDF2(3216932687) },
                    { CDF2(3247932689) }, { CDF2(3167332634) },
                },
            }, {
                {
                    { CDF2( 280919301) }, { CDF2(3220532622) },
                    { CDF2(3233832730) }, { CDF2(3178632616) },
                }, {
                    { CDF2(2273729105) }, { CDF2(3081032362) },
                    { CDF2(3001432627) }, { CDF2(3052832574) },
                },
            }, {
                {
                    { CDF2(  935,  3382) }, { CDF2(3078931909) },
                    { CDF2(3246632756) }, { CDF2(3086032513) },
                }, {
                    { CDF2(1092321845) }, { CDF2(1092321845) },
                    { CDF2(1092321845) }, { CDF2(1092321845) },
                },
            },
        }, .base_tok = {
            {
                {
                    { CDF3( 88961622720630) },
                    { CDF3(236293178232527) },
                    { CDF3(151732775531321) },
                    { CDF3(101582123327382) },
                    { CDF3( 64201485721558) },
                    { CDF3( 3269,  815512646) },
                    { CDF3(248353200932496) },
                    { CDF3(165092842131579) },
                    { CDF3(109572151427418) },
                    { CDF3( 78811593022096) },
                    { CDF3( 53881096015918) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3(207453077332093) },
                    { CDF3(152002722130861) },
                    { CDF3(130322087325667) },
                    { CDF3(122851866323494) },
                    { CDF3(115631748121489) },
                    { CDF3(262603198232320) },
                    { CDF3(153972808331100) },
                    { CDF3( 97421921724824) },
                    { CDF3( 3261,  962915362) },
                    { CDF3( 1480,  4322,  7499) },
                    { CDF3(275993225632460) },
                    { CDF3(168572765930774) },
                    { CDF3( 95511829023748) },
                    { CDF3( 3052,  893314103) },
                    { CDF3( 2021,  5910,  9787) },
                    { CDF3(290053201532392) },
                    { CDF3(176772769430863) },
                    { CDF3( 92041735623219) },
                    { CDF3( 2403,  751612814) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3(108082205626896) },
                    { CDF3(257393231332676) },
                    { CDF3(172883020332221) },
                    { CDF3(113592487829896) },
                    { CDF3( 69491776724893) },
                    { CDF3( 42871179618071) },
                    { CDF3(278803252132705) },
                    { CDF3(190383100432414) },
                    { CDF3(125642634530768) },
                    { CDF3( 82691994726779) },
                    { CDF3( 56741465721674) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3(257423231932671) },
                    { CDF3(195573116432454) },
                    { CDF3(133812638130755) },
                    { CDF3(101012146626722) },
                    { CDF3( 92091965026825) },
                    { CDF3(271073191732432) },
                    { CDF3(180562889331203) },
                    { CDF3(102002143426764) },
                    { CDF3( 46601291319502) },
                    { CDF3( 2368,  693012504) },
                    { CDF3(269603215832613) },
                    { CDF3(186283000532031) },
                    { CDF3(102332244228232) },
                    { CDF3( 54711463021516) },
                    { CDF3( 32351076717109) },
                    { CDF3(276963244032692) },
                    { CDF3(200323116732438) },
                    { CDF3( 87002134128442) },
                    { CDF3( 56621483121795) },
                    { CDF3( 81921638424576) },
                },
            }, {
                {
                    { CDF3( 97041729421132) },
                    { CDF3(267623227832633) },
                    { CDF3(183822962031819) },
                    { CDF3(108912347528723) },
                    { CDF3( 63581658323309) },
                    { CDF3( 3248,  911814141) },
                    { CDF3(272043257332699) },
                    { CDF3(198183082432329) },
                    { CDF3(117722512030041) },
                    { CDF3( 69951803325039) },
                    { CDF3( 37521044216098) },
                    { CDF3(272223225632559) },
                    { CDF3(153562839931475) },
                    { CDF3( 88212063527057) },
                    { CDF3( 55111440421239) },
                    { CDF3( 2935,  822213051) },
                    { CDF3(248753212032529) },
                    { CDF3(152332826531445) },
                    { CDF3( 86052057026932) },
                    { CDF3( 54311441321196) },
                    { CDF3( 2994,  834113223) },
                    { CDF3(282013260432700) },
                    { CDF3(210413144632456) },
                    { CDF3(132212621330475) },
                    { CDF3( 82551938526037) },
                    { CDF3( 49301258518830) },
                    { CDF3(287683244832627) },
                    { CDF3(197053056132021) },
                    { CDF3(115722358928220) },
                    { CDF3( 55321503421446) },
                    { CDF3( 2460,  715011456) },
                    { CDF3(298743261932699) },
                    { CDF3(216213107132201) },
                    { CDF3(125112474728992) },
                    { CDF3( 62811639522748) },
                    { CDF3( 3246,  927814497) },
                    { CDF3(297153262532712) },
                    { CDF3(209583101132283) },
                    { CDF3(112332367128806) },
                    { CDF3( 60121612822868) },
                    { CDF3( 3427,  985115414) },
                }, {
                    { CDF3(110162211126794) },
                    { CDF3(259463235732677) },
                    { CDF3(178903045232252) },
                    { CDF3(116782514229816) },
                    { CDF3( 67201753424584) },
                    { CDF3( 42301166517820) },
                    { CDF3(284003262332747) },
                    { CDF3(211643166832575) },
                    { CDF3(135722738831182) },
                    { CDF3( 82342075027358) },
                    { CDF3( 50651405520897) },
                    { CDF3(289813254732705) },
                    { CDF3(186813054332239) },
                    { CDF3(109192407529286) },
                    { CDF3( 64311719924077) },
                    { CDF3( 38191046416618) },
                    { CDF3(268703246732693) },
                    { CDF3(190413083132347) },
                    { CDF3(117942521130016) },
                    { CDF3( 68881801924970) },
                    { CDF3( 43701236318992) },
                    { CDF3(295783267032744) },
                    { CDF3(231593200732613) },
                    { CDF3(153152866931676) },
                    { CDF3( 92982260728782) },
                    { CDF3( 61441591322968) },
                    { CDF3(281103249932669) },
                    { CDF3(215743093732015) },
                    { CDF3(127592481828727) },
                    { CDF3( 65451676123042) },
                    { CDF3( 36491059716833) },
                    { CDF3(281633255232728) },
                    { CDF3(221013146932464) },
                    { CDF3(131602547230143) },
                    { CDF3( 73031868425468) },
                    { CDF3( 52411397520955) },
                    { CDF3(284003263132744) },
                    { CDF3(221043179332603) },
                    { CDF3(135572657130846) },
                    { CDF3( 77491986126675) },
                    { CDF3( 48731403021234) },
                },
            }, {
                {
                    { CDF3( 98001763521073) },
                    { CDF3(261533188532527) },
                    { CDF3(150382785231006) },
                    { CDF3( 87182056426486) },
                    { CDF3( 51281407620514) },
                    { CDF3( 2636,  756611925) },
                    { CDF3(275513250432701) },
                    { CDF3(183103005432100) },
                    { CDF3(102112342029082) },
                    { CDF3( 62221687623916) },
                    { CDF3( 3462,  995415498) },
                    { CDF3(299913263332721) },
                    { CDF3(198833075132201) },
                    { CDF3(111412418429285) },
                    { CDF3( 64201694023774) },
                    { CDF3( 3392,  975315118) },
                    { CDF3(284653261632712) },
                    { CDF3(198503070232244) },
                    { CDF3(109832402429223) },
                    { CDF3( 62941677023582) },
                    { CDF3( 3244,  928314509) },
                    { CDF3(300233271732748) },
                    { CDF3(229403203232626) },
                    { CDF3(142822792831473) },
                    { CDF3( 85622132727914) },
                    { CDF3( 48461339319919) },
                    { CDF3(299813259032695) },
                    { CDF3(204653096332166) },
                    { CDF3(114792357928195) },
                    { CDF3( 59161564822073) },
                    { CDF3( 3031,  860513398) },
                    { CDF3(311463269132739) },
                    { CDF3(231063172432444) },
                    { CDF3(137832673830439) },
                    { CDF3( 78521946825807) },
                    { CDF3( 38601112416853) },
                    { CDF3(310143272432748) },
                    { CDF3(236293210932628) },
                    { CDF3(147472811531403) },
                    { CDF3( 85452124227478) },
                    { CDF3( 45741278119067) },
                }, {
                    { CDF3( 91851969424688) },
                    { CDF3(260813198532621) },
                    { CDF3(160152900031787) },
                    { CDF3(105422369029206) },
                    { CDF3( 67321794524677) },
                    { CDF3( 39161103916722) },
                    { CDF3(282243256632744) },
                    { CDF3(191003113832485) },
                    { CDF3(125282662030879) },
                    { CDF3( 77412027726885) },
                    { CDF3( 45661284518990) },
                    { CDF3(299333259332718) },
                    { CDF3(176703033332155) },
                    { CDF3(103852360028909) },
                    { CDF3( 62431623622407) },
                    { CDF3( 39761038916017) },
                    { CDF3(283773256132738) },
                    { CDF3(193663117532482) },
                    { CDF3(133272717531094) },
                    { CDF3( 82582076927143) },
                    { CDF3( 47031319819527) },
                    { CDF3(310863270632748) },
                    { CDF3(228533190232583) },
                    { CDF3(147592818631419) },
                    { CDF3( 92842238228348) },
                    { CDF3( 55851519221868) },
                    { CDF3(282913265232746) },
                    { CDF3(198493210732571) },
                    { CDF3(148342681829214) },
                    { CDF3(103062259428672) },
                    { CDF3( 66151738423384) },
                    { CDF3(289473260432745) },
                    { CDF3(256253228932646) },
                    { CDF3(187582867231403) },
                    { CDF3(100172343028523) },
                    { CDF3( 68621526922131) },
                    { CDF3(239333250932739) },
                    { CDF3(199273149532631) },
                    { CDF3(119032602330621) },
                    { CDF3( 70262009427252) },
                    { CDF3( 59981810624437) },
                },
            }, {
                {
                    { CDF3( 44561127415533) },
                    { CDF3(212192907931616) },
                    { CDF3(111732377428567) },
                    { CDF3( 72821829324263) },
                    { CDF3( 48901328619115) },
                    { CDF3( 1890,  5508,  8659) },
                    { CDF3(266513213632647) },
                    { CDF3(146302825431455) },
                    { CDF3( 87162128727395) },
                    { CDF3( 56151533122008) },
                    { CDF3( 2675,  770012150) },
                    { CDF3(299543252632690) },
                    { CDF3(161262898231633) },
                    { CDF3( 90302136127352) },
                    { CDF3( 54111479321271) },
                    { CDF3( 2943,  842213163) },
                    { CDF3(295393260132730) },
                    { CDF3(181253038532201) },
                    { CDF3(104222409029468) },
                    { CDF3( 64681748724438) },
                    { CDF3( 2970,  865313531) },
                    { CDF3(309123271532748) },
                    { CDF3(206663137332497) },
                    { CDF3(125092664030917) },
                    { CDF3( 80582062927290) },
                    { CDF3( 42311200618052) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3(102022063325484) },
                    { CDF3(273363144532352) },
                    { CDF3(124202438428552) },
                    { CDF3( 76481811523856) },
                    { CDF3( 56621434119902) },
                    { CDF3( 36111032815390) },
                    { CDF3(309453261632736) },
                    { CDF3(186823050532253) },
                    { CDF3(115132533630203) },
                    { CDF3( 74491945226148) },
                    { CDF3( 44821305118886) },
                    { CDF3(320223269032747) },
                    { CDF3(185783050132146) },
                    { CDF3(112492336828631) },
                    { CDF3( 56451695822158) },
                    { CDF3( 50091144416637) },
                    { CDF3(313573271032748) },
                    { CDF3(215523149432504) },
                    { CDF3(138912767731340) },
                    { CDF3( 90512209828172) },
                    { CDF3( 51901337719486) },
                    { CDF3(323643274032748) },
                    { CDF3(248393190732551) },
                    { CDF3(171602877931696) },
                    { CDF3(124522413729602) },
                    { CDF3( 61651538922477) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                },
            }, {
                {
                    { CDF3( 2575,  728111077) },
                    { CDF3(140022086625402) },
                    { CDF3( 63431505619658) },
                    { CDF3( 44741185817041) },
                    { CDF3( 2865,  829912534) },
                    { CDF3( 1344,  3949,  6391) },
                    { CDF3(247203123932459) },
                    { CDF3(125852535629968) },
                    { CDF3( 71811824624444) },
                    { CDF3( 50251366719885) },
                    { CDF3( 2521,  730411605) },
                    { CDF3(299083225232584) },
                    { CDF3(174212915631575) },
                    { CDF3( 98892218827782) },
                    { CDF3( 58781564722123) },
                    { CDF3( 2814,  866513323) },
                    { CDF3(301833256832713) },
                    { CDF3(185283019532049) },
                    { CDF3(109822460629657) },
                    { CDF3( 69571816525231) },
                    { CDF3( 35081011815468) },
                    { CDF3(317613273632748) },
                    { CDF3(210413132832546) },
                    { CDF3(125682673231166) },
                    { CDF3( 80522072027733) },
                    { CDF3( 43361219218396) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                },
            },
        }, .dc_sign = {
            { { CDF1(16000) }, { CDF1(13056) }, { CDF1(18816) } },
            { { CDF1(15232) }, { CDF1(12928) }, { CDF1(17280) } },
        }, .br_tok = {
            {
                {
                    { CDF3(161382222325509) },
                    { CDF3(153472243026332) },
                    { CDF3( 96141673621332) },
                    { CDF3( 66001227516907) },
                    { CDF3( 4811,  942413547) },
                    { CDF3( 3748,  780911420) },
                    { CDF3( 2254,  4587,  6890) },
                    { CDF3(151962028423177) },
                    { CDF3(183172546928451) },
                    { CDF3(139182165125842) },
                    { CDF3(100521715021995) },
                    { CDF3( 74991363018587) },
                    { CDF3( 61581141716003) },
                    { CDF3( 4014,  778511252) },
                    { CDF3(150482106724384) },
                    { CDF3(182022534628553) },
                    { CDF3(143022201926356) },
                    { CDF3(108391813923166) },
                    { CDF3( 87151574420806) },
                    { CDF3( 75361357618544) },
                    { CDF3( 54131033514498) },
                }, {
                    { CDF3(173942450127895) },
                    { CDF3(158892342027185) },
                    { CDF3(115611913323870) },
                    { CDF3( 82851481219844) },
                    { CDF3( 64961204316550) },
                    { CDF3( 4771,  957413677) },
                    { CDF3( 3603,  683010144) },
                    { CDF3(216562770430200) },
                    { CDF3(213242791530511) },
                    { CDF3(173272533628997) },
                    { CDF3(134172138126033) },
                    { CDF3(101321742522338) },
                    { CDF3( 85801501619633) },
                    { CDF3( 56941147716411) },
                    { CDF3(241162978031450) },
                    { CDF3(238532969531591) },
                    { CDF3(200852761430428) },
                    { CDF3(153262433528575) },
                    { CDF3(118141947224810) },
                    { CDF3(102211861124767) },
                    { CDF3( 76891455820321) },
                },
            }, {
                {
                    { CDF3(162142238025770) },
                    { CDF3(142132130425295) },
                    { CDF3( 92131582320455) },
                    { CDF3( 63951175816139) },
                    { CDF3( 4779,  918713066) },
                    { CDF3( 3821,  750110953) },
                    { CDF3( 2293,  4567,  6795) },
                    { CDF3(158592128323820) },
                    { CDF3(184042560228726) },
                    { CDF3(143252198026206) },
                    { CDF3(106691793722720) },
                    { CDF3( 82971464219447) },
                    { CDF3( 67461238916893) },
                    { CDF3( 4324,  825111770) },
                    { CDF3(165322163124475) },
                    { CDF3(206672715029668) },
                    { CDF3(167282451028175) },
                    { CDF3(128612064525332) },
                    { CDF3(100761736122417) },
                    { CDF3( 83951494019963) },
                    { CDF3( 57311068314912) },
                }, {
                    { CDF3(144332115524938) },
                    { CDF3(146582171625545) },
                    { CDF3( 99231682421557) },
                    { CDF3( 69821305217721) },
                    { CDF3( 54191050315050) },
                    { CDF3( 4852,  916213014) },
                    { CDF3( 3271,  6395,  9630) },
                    { CDF3(222102783330109) },
                    { CDF3(207502736829821) },
                    { CDF3(168942482828573) },
                    { CDF3(132472127625757) },
                    { CDF3(100381726522563) },
                    { CDF3( 85871494720327) },
                    { CDF3( 56451137115252) },
                    { CDF3(220272752629714) },
                    { CDF3(230982914631221) },
                    { CDF3(198862734130272) },
                    { CDF3(156092374728046) },
                    { CDF3(119932006524939) },
                    { CDF3( 96371826723671) },
                    { CDF3( 76251380119144) },
                },
            }, {
                {
                    { CDF3(144382079824089) },
                    { CDF3(126211920323097) },
                    { CDF3( 81771412518402) },
                    { CDF3( 56741050114456) },
                    { CDF3( 4236,  823911733) },
                    { CDF3( 3447,  6750,  9806) },
                    { CDF3( 1986,  3950,  5864) },
                    { CDF3(162082209924930) },
                    { CDF3(165372402527585) },
                    { CDF3(127802038124867) },
                    { CDF3( 97671661221416) },
                    { CDF3( 76861373818398) },
                    { CDF3( 63331161415964) },
                    { CDF3( 3941,  757110836) },
                    { CDF3(228192742229202) },
                    { CDF3(222242851430721) },
                    { CDF3(176602543328913) },
                    { CDF3(135742148226002) },
                    { CDF3(106291797722938) },
                    { CDF3( 86121529820265) },
                    { CDF3( 56071049114596) },
                }, {
                    { CDF3(135691980023206) },
                    { CDF3(131281992423869) },
                    { CDF3( 83291484119403) },
                    { CDF3( 61301097615057) },
                    { CDF3( 4682,  883912518) },
                    { CDF3( 3656,  740910588) },
                    { CDF3( 2577,  5099,  7412) },
                    { CDF3(224272868430585) },
                    { CDF3(209132775030139) },
                    { CDF3(158402410927834) },
                    { CDF3(123082002924569) },
                    { CDF3(102161678521458) },
                    { CDF3( 83091420319113) },
                    { CDF3( 60431116815307) },
                    { CDF3(231662890130998) },
                    { CDF3(218992840530751) },
                    { CDF3(184132609129443) },
                    { CDF3(152332311427352) },
                    { CDF3(126832047225288) },
                    { CDF3(107021825923409) },
                    { CDF3( 81251446419226) },
                },
            }, {
                {
                    { CDF3( 90401478618360) },
                    { CDF3( 99791571819415) },
                    { CDF3( 79131391818311) },
                    { CDF3( 58591088915184) },
                    { CDF3( 4593,  867712510) },
                    { CDF3( 3820,  739610791) },
                    { CDF3( 1730,  3471,  5192) },
                    { CDF3(118031836522709) },
                    { CDF3(114191805822225) },
                    { CDF3( 94181577420243) },
                    { CDF3( 75391332517657) },
                    { CDF3( 62331131715384) },
                    { CDF3( 5137,  965613545) },
                    { CDF3( 2977,  5774,  8349) },
                    { CDF3(212072724629640) },
                    { CDF3(195472657829497) },
                    { CDF3(161692387127690) },
                    { CDF3(128202045825018) },
                    { CDF3(102241733222214) },
                    { CDF3( 85261504819884) },
                    { CDF3( 5037,  941013118) },
                }, {
                    { CDF3(123391732920140) },
                    { CDF3(135051989523225) },
                    { CDF3( 98471694421564) },
                    { CDF3( 72801325618348) },
                    { CDF3( 47121000914454) },
                    { CDF3( 4361,  791412477) },
                    { CDF3( 2870,  5628,  7995) },
                    { CDF3(200612550428526) },
                    { CDF3(152352287826145) },
                    { CDF3(129851995824155) },
                    { CDF3( 97821664121403) },
                    { CDF3( 94561636020760) },
                    { CDF3( 68551294018557) },
                    { CDF3( 56611056415002) },
                    { CDF3(256563060231894) },
                    { CDF3(225702910731092) },
                    { CDF3(189172642329541) },
                    { CDF3(159402364927754) },
                    { CDF3(128032058125219) },
                    { CDF3(110821869523376) },
                    { CDF3( 79391437319005) },
                },
            },
        },
    }, [3] = {
        .skip = {
            {
                { CDF1(26887) }, { CDF1( 6729) }, { CDF1(10361) },
                { CDF1(17442) }, { CDF1(15045) }, { CDF1(22478) },
                { CDF1(29072) }, { CDF1( 2713) }, { CDF1(11861) },
                { CDF1(20773) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(31903) }, { CDF1( 2044) }, { CDF1( 7528) },
                { CDF1(14618) }, { CDF1(16182) }, { CDF1(24168) },
                { CDF1(31037) }, { CDF1( 2786) }, { CDF1(11194) },
                { CDF1(20155) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(32510) }, { CDF1( 8430) }, { CDF1(17318) },
                { CDF1(24154) }, { CDF1(23674) }, { CDF1(28789) },
                { CDF1(32139) }, { CDF1( 3440) }, { CDF1(13117) },
                { CDF1(22702) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            }, {
                { CDF1(31671) }, { CDF1( 2056) }, { CDF1(11746) },
                { CDF1(16852) }, { CDF1(18635) }, { CDF1(24715) },
                { CDF1(31484) }, { CDF1( 4656) }, { CDF1(16074) },
                { CDF1(24704) }, { CDF1( 1806) }, { CDF1(14645) },
                { CDF1(25336) },
            }, {
                { CDF1(31539) }, { CDF1( 8433) }, { CDF1(20576) },
                { CDF1(27904) }, { CDF1(27852) }, { CDF1(30026) },
                { CDF1(32441) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                { CDF1(16384) },
            },
        }, .eob_bin_16 = {
            {
                { CDF4( 6708,  89581474622133) },
                { CDF4( 1222,  2074,  478315410) },
            }, {
                { CDF4(19575217662604429709) },
                { CDF4( 7297107671927328194) },
            },
        }, .eob_bin_32 = {
            {
                { CDF5( 4617,  5709,  84461358423135) },
                { CDF5( 1156,  1702,  3675,  927420539) },
            }, {
                { CDF5(2208624282270102977031743) },
                { CDF5( 769910897208912692631628) },
            },
        }, .eob_bin_64 = {
            {
                { CDF6( 6307,  754112060163582255327865) },
                { CDF6( 1289,  2320,  3971,  79261415324291) },
            }, {
                { CDF6(242122570828268300353130732049) },
                { CDF6( 87261237819409264503003832462) },
            },
        }, .eob_bin_128 = {
            {
                { CDF7( 3472,  4885,  748912481185172453629635) },
                { CDF7(  886,  1731,  3271,  8469155692212628383) },
            }, {
                { CDF7(24313260622838530107312173189832345) },
                { CDF7( 9165132822115030286318943257132712) },
            },
        }, .eob_bin_256 = {
            {
                { CDF8( 5348,  71131182015924,
                       22106267773033431757) },
                { CDF8( 2453,  4474,  6307,  8777,
                       16474229752900031547) },
            }, {
                { CDF8(23110245972714028894,
                       30167309273139232094) },
                { CDF8( 9998176612517828097,
                       31308320383240332695) },
            },
        }, .eob_bin_512 = {
            { CDF9( 5927,  7809109231459719439,
                   24135284563114232060) },
            { CDF9(2109323043257422765829097,
                   29716300733082031956) },
        }, .eob_bin_1024 = {
            { CDF10( 6698,  8334119611576220186,
                    2386227434293263108232050) },
            { CDF10(2056922426255692685928053,
                    2891329486297242980732570) },
        }, .eob_hi_bit = {
            {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(20177) },
                    { CDF1(20789) }, { CDF1(20262) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(21416) },
                    { CDF1(20855) }, { CDF1(23410) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(20238) },
                    { CDF1(21057) }, { CDF1(19159) }, { CDF1(22337) },
                    { CDF1(20159) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(20125) },
                    { CDF1(20559) }, { CDF1(21707) }, { CDF1(22296) },
                    { CDF1(17333) }, { CDF1(16384) }, { CDF1(16384) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(19941) },
                    { CDF1(20527) }, { CDF1(21470) }, { CDF1(22487) },
                    { CDF1(19558) }, { CDF1(22354) }, { CDF1(20331) },
                    { CDF1(16384) }, { CDF1(16384) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(22752) },
                    { CDF1(25006) }, { CDF1(22075) }, { CDF1(21576) },
                    { CDF1(17740) }, { CDF1(21690) }, { CDF1(19211) },
                    { CDF1(16384) }, { CDF1(16384) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(21442) },
                    { CDF1(22358) }, { CDF1(18503) }, { CDF1(20291) },
                    { CDF1(19945) }, { CDF1(21294) }, { CDF1(21178) },
                    { CDF1(19400) }, { CDF1(10556) },
                }, {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(24648) },
                    { CDF1(24949) }, { CDF1(20708) }, { CDF1(23905) },
                    { CDF1(20501) }, { CDF1( 9558) }, { CDF1( 9423) },
                    { CDF1(30365) }, { CDF1(19253) },
                },
            }, {
                {
                    { CDF1(16384) }, { CDF1(16384) }, { CDF1(26064) },
                    { CDF1(22098) }, { CDF1(19613) }, { CDF1(20525) },
                    { CDF1(17595) }, { CDF1(16618) }, { CDF1(20497) },
                    { CDF1(18989) }, { CDF1(15513) },
                }, {
                    { 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(2249731198) }, { CDF2(3171532495) },
                    { CDF2(3160632337) }, { CDF2(3038831990) },
                }, {
                    { CDF2(2787731584) }, { CDF2(3217032728) },
                    { CDF2(3215532688) }, { CDF2(3221932702) },
                },
            }, {
                {
                    { CDF2(2145731043) }, { CDF2(3195132483) },
                    { CDF2(3215332562) }, { CDF2(3147332215) },
                }, {
                    { CDF2(2755831151) }, { CDF2(3202032640) },
                    { CDF2(3209732575) }, { CDF2(3224232719) },
                },
            }, {
                {
                    { CDF2(1998030591) }, { CDF2(3221932597) },
                    { CDF2(3258132706) }, { CDF2(3180332287) },
                }, {
                    { CDF2(2647330507) }, { CDF2(3243132723) },
                    { CDF2(3219632611) }, { CDF2(3158832528) },
                },
            }, {
                {
                    { CDF2(2464730463) }, { CDF2(3241232695) },
                    { CDF2(3246832720) }, { CDF2(3126932523) },
                }, {
                    { CDF2(2848231505) }, { CDF2(3215232701) },
                    { CDF2(3173232598) }, { CDF2(3176732712) },
                },
            }, {
                {
                    { CDF2(1235824977) }, { CDF2(3133132385) },
                    { CDF2(3263432756) }, { CDF2(3041132548) },
                }, {
                    { CDF2(1092321845) }, { CDF2(1092321845) },
                    { CDF2(1092321845) }, { CDF2(1092321845) },
                },
            },
        }, .base_tok = {
            {
                {
                    { CDF3( 70621647222319) },
                    { CDF3(245383226132674) },
                    { CDF3(136752804131779) },
                    { CDF3( 85902067427631) },
                    { CDF3( 56851467522013) },
                    { CDF3( 3655,  989815731) },
                    { CDF3(264933241832658) },
                    { CDF3(163762934232090) },
                    { CDF3(105942264928970) },
                    { CDF3( 81761717024303) },
                    { CDF3( 56051269419139) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3(238883190232542) },
                    { CDF3(186122968731987) },
                    { CDF3(162452485229249) },
                    { CDF3(157652260827559) },
                    { CDF3(198952469927510) },
                    { CDF3(284013221232457) },
                    { CDF3(152742782530980) },
                    { CDF3( 93641812824332) },
                    { CDF3( 2283,  819315082) },
                    { CDF3( 1228,  3972,  7881) },
                    { CDF3(294553246932620) },
                    { CDF3(179812824531388) },
                    { CDF3(109212009826240) },
                    { CDF3( 37431182918657) },
                    { CDF3( 2374,  959315715) },
                    { CDF3(310683246632635) },
                    { CDF3(203212957231971) },
                    { CDF3(107712025527119) },
                    { CDF3( 27951041017361) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3( 93202210227840) },
                    { CDF3(270573246432724) },
                    { CDF3(163313026832309) },
                    { CDF3(103192393529720) },
                    { CDF3( 61891644824106) },
                    { CDF3( 35891088418808) },
                    { CDF3(290263262432748) },
                    { CDF3(192263150732587) },
                    { CDF3(126922692131203) },
                    { CDF3( 70491953227635) },
                    { CDF3( 77271566923252) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3(280563262532748) },
                    { CDF3(223833207532669) },
                    { CDF3(154172709831749) },
                    { CDF3(181272649327190) },
                    { CDF3( 54611638421845) },
                    { CDF3(279823209132584) },
                    { CDF3(190452986831972) },
                    { CDF3(103972226627932) },
                    { CDF3( 59901369721500) },
                    { CDF3( 1792,  691215104) },
                    { CDF3(281983250132718) },
                    { CDF3(215343152132569) },
                    { CDF3(111092521730017) },
                    { CDF3( 56711512426151) },
                    { CDF3( 46811404318725) },
                    { CDF3(286883258032741) },
                    { CDF3(225763207932661) },
                    { CDF3(106272214128340) },
                    { CDF3( 93621404328087) },
                    { CDF3( 81921638424576) },
                },
            }, {
                {
                    { CDF3( 77541694822142) },
                    { CDF3(256703233032691) },
                    { CDF3(156632922531994) },
                    { CDF3( 98782328829158) },
                    { CDF3( 64191708824336) },
                    { CDF3( 38591100317039) },
                    { CDF3(275623259532725) },
                    { CDF3(175753058832399) },
                    { CDF3(108192483830309) },
                    { CDF3( 71241868625916) },
                    { CDF3( 44791268819340) },
                    { CDF3(283853247632673) },
                    { CDF3(153062900531938) },
                    { CDF3( 89372161528322) },
                    { CDF3( 59821560322786) },
                    { CDF3( 36201026716136) },
                    { CDF3(272803246432667) },
                    { CDF3(156072916032004) },
                    { CDF3( 90912213528740) },
                    { CDF3( 62321663224020) },
                    { CDF3( 40471137717672) },
                    { CDF3(292203263032718) },
                    { CDF3(196503122032462) },
                    { CDF3(130502631230827) },
                    { CDF3( 92282087027468) },
                    { CDF3( 61461514921971) },
                    { CDF3(301693248132623) },
                    { CDF3(172122931131554) },
                    { CDF3( 99112131126882) },
                    { CDF3( 44871331420372) },
                    { CDF3( 2570,  777212889) },
                    { CDF3(309243261332708) },
                    { CDF3(194903020632107) },
                    { CDF3(112322399829276) },
                    { CDF3( 67691795525035) },
                    { CDF3( 43981262319214) },
                    { CDF3(306093262732722) },
                    { CDF3(193703058232287) },
                    { CDF3(104572361929409) },
                    { CDF3( 64431763724834) },
                    { CDF3( 46451323620106) },
                }, {
                    { CDF3( 86262027126216) },
                    { CDF3(267073240632711) },
                    { CDF3(169993032932286) },
                    { CDF3(114452512330286) },
                    { CDF3( 64111882825601) },
                    { CDF3( 68011245820248) },
                    { CDF3(299183268232748) },
                    { CDF3(206493173932618) },
                    { CDF3(128792777331581) },
                    { CDF3( 78962175128244) },
                    { CDF3( 52601487023698) },
                    { CDF3(292523259332731) },
                    { CDF3(170723046032294) },
                    { CDF3(106532414329365) },
                    { CDF3( 65361749023983) },
                    { CDF3( 49291317020085) },
                    { CDF3(281373251832715) },
                    { CDF3(181713078432407) },
                    { CDF3(114372543630459) },
                    { CDF3( 72521853426176) },
                    { CDF3( 41261335320978) },
                    { CDF3(311623272632748) },
                    { CDF3(230173222232701) },
                    { CDF3(156292923332046) },
                    { CDF3( 93872262129480) },
                    { CDF3( 69221761625010) },
                    { CDF3(288383226532614) },
                    { CDF3(197013020631920) },
                    { CDF3(112142241027933) },
                    { CDF3( 53201417723034) },
                    { CDF3( 50491288117827) },
                    { CDF3(274843247132734) },
                    { CDF3(210763152632561) },
                    { CDF3(127072630331211) },
                    { CDF3( 81692172228219) },
                    { CDF3( 60451940627042) },
                    { CDF3(277533257232745) },
                    { CDF3(208323187832653) },
                    { CDF3(132502735631674) },
                    { CDF3( 77182150829858) },
                    { CDF3( 72091835025559) },
                },
            }, {
                {
                    { CDF3( 78761690121741) },
                    { CDF3(240013189832625) },
                    { CDF3(145292795931451) },
                    { CDF3( 82732081827258) },
                    { CDF3( 52781467321510) },
                    { CDF3( 2983,  884314039) },
                    { CDF3(280163257432732) },
                    { CDF3(174713030632301) },
                    { CDF3(102242406329728) },
                    { CDF3( 66021795425052) },
                    { CDF3( 40021158517759) },
                    { CDF3(301903263432739) },
                    { CDF3(174973028232270) },
                    { CDF3(102292372929538) },
                    { CDF3( 63441721124440) },
                    { CDF3( 38491118917108) },
                    { CDF3(285703258332726) },
                    { CDF3(175213016132238) },
                    { CDF3(101532356529378) },
                    { CDF3( 64551734124443) },
                    { CDF3( 39071104217024) },
                    { CDF3(306893271532748) },
                    { CDF3(215463184032610) },
                    { CDF3(135472758131459) },
                    { CDF3( 89122175728309) },
                    { CDF3( 55481508022046) },
                    { CDF3(307833254032685) },
                    { CDF3(175402952831668) },
                    { CDF3(101602146826783) },
                    { CDF3( 47241339320054) },
                    { CDF3( 2702,  817413102) },
                    { CDF3(316483268632742) },
                    { CDF3(209543109432337) },
                    { CDF3(124202569830179) },
                    { CDF3( 73041932026248) },
                    { CDF3( 43661226118864) },
                    { CDF3(315813272332748) },
                    { CDF3(213733158632525) },
                    { CDF3(127442662530885) },
                    { CDF3( 74312032226950) },
                    { CDF3( 46921332320111) },
                }, {
                    { CDF3( 78331836924095) },
                    { CDF3(266503227332702) },
                    { CDF3(163712996132191) },
                    { CDF3(110552408229629) },
                    { CDF3( 68921864425400) },
                    { CDF3( 50061305719240) },
                    { CDF3(298343266632748) },
                    { CDF3(195773133532570) },
                    { CDF3(122532650931122) },
                    { CDF3( 79912077227711) },
                    { CDF3( 56771591023059) },
                    { CDF3(301093253232720) },
                    { CDF3(167473016632252) },
                    { CDF3(101342354229184) },
                    { CDF3( 57911617623556) },
                    { CDF3( 43621041417284) },
                    { CDF3(294923262632748) },
                    { CDF3(198943140232525) },
                    { CDF3(129422707130869) },
                    { CDF3( 83462121627405) },
                    { CDF3( 65721708723859) },
                    { CDF3(320353273532748) },
                    { CDF3(229573183832618) },
                    { CDF3(147242857231772) },
                    { CDF3(103642399929553) },
                    { CDF3( 70041843325655) },
                    { CDF3(275283227732681) },
                    { CDF3(169593117132096) },
                    { CDF3(104862359327962) },
                    { CDF3( 81921638423211) },
                    { CDF3( 89371787320852) },
                    { CDF3(277153200232615) },
                    { CDF3(150732949131676) },
                    { CDF3(112642457628672) },
                    { CDF3( 23411872523406) },
                    { CDF3( 72821820425486) },
                    { CDF3(285473221332657) },
                    { CDF3(207882977332239) },
                    { CDF3( 67802146930508) },
                    { CDF3( 59581489523831) },
                    { CDF3(163842184527307) },
                },
            }, {
                {
                    { CDF3( 59921430419765) },
                    { CDF3(226123123832456) },
                    { CDF3(134562716231087) },
                    { CDF3( 80012006226504) },
                    { CDF3( 51681410520764) },
                    { CDF3( 2632,  777112385) },
                    { CDF3(270343234432709) },
                    { CDF3(158502941531997) },
                    { CDF3( 94942277628841) },
                    { CDF3( 61511683023969) },
                    { CDF3( 34611003915722) },
                    { CDF3(301343256932731) },
                    { CDF3(156382942231945) },
                    { CDF3( 91502186528218) },
                    { CDF3( 56471571922676) },
                    { CDF3( 3402,  977215477) },
                    { CDF3(285303258632735) },
                    { CDF3(171393029832292) },
                    { CDF3(102002403929685) },
                    { CDF3( 64191767424786) },
                    { CDF3( 35441022515824) },
                    { CDF3(313333272632748) },
                    { CDF3(206183148732544) },
                    { CDF3(129012721731232) },
                    { CDF3( 86242173428171) },
                    { CDF3( 51041419120748) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3(112062109026561) },
                    { CDF3(287593227932671) },
                    { CDF3(141712795231569) },
                    { CDF3( 97432290729141) },
                    { CDF3( 68711788624868) },
                    { CDF3( 49601315219315) },
                    { CDF3(310773266132748) },
                    { CDF3(194003119532515) },
                    { CDF3(127522685831040) },
                    { CDF3( 83702209828591) },
                    { CDF3( 54571537322298) },
                    { CDF3(316973270632748) },
                    { CDF3(178603065732333) },
                    { CDF3(125102481229261) },
                    { CDF3( 61801912424722) },
                    { CDF3( 50411354817959) },
                    { CDF3(315523271632748) },
                    { CDF3(219083176932623) },
                    { CDF3(144702820131565) },
                    { CDF3( 94932298228608) },
                    { CDF3( 68581724024137) },
                    { CDF3(325433275232756) },
                    { CDF3(242863209732666) },
                    { CDF3(159582921732024) },
                    { CDF3(102072423429958) },
                    { CDF3( 69291830525652) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                },
            }, {
                {
                    { CDF3( 41371084715682) },
                    { CDF3(178242700130058) },
                    { CDF3(102042279628291) },
                    { CDF3( 60761593522125) },
                    { CDF3( 38521093716816) },
                    { CDF3( 2252,  632410131) },
                    { CDF3(258403201632662) },
                    { CDF3(151092826831531) },
                    { CDF3( 93852223128340) },
                    { CDF3( 60821667223479) },
                    { CDF3( 3318,  942714681) },
                    { CDF3(305943257432718) },
                    { CDF3(168362955231859) },
                    { CDF3( 95562254228356) },
                    { CDF3( 63051672523540) },
                    { CDF3( 3376,  989515184) },
                    { CDF3(293833261732745) },
                    { CDF3(188913080932401) },
                    { CDF3(116882594230687) },
                    { CDF3( 74681946926651) },
                    { CDF3( 39091135817012) },
                    { CDF3(315643273632748) },
                    { CDF3(209063161132600) },
                    { CDF3(131912762131537) },
                    { CDF3( 87682202928676) },
                    { CDF3( 50791410920906) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                }, {
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                    { CDF3( 81921638424576) },
                },
            },
        }, .dc_sign = {
            { { CDF1(16000) }, { CDF1(13056) }, { CDF1(18816) } },
            { { CDF1(15232) }, { CDF1(12928) }, { CDF1(17280) } },
        }, .br_tok = {
            {
                {
                    { CDF3(183152428927551) },
                    { CDF3(168542406827835) },
                    { CDF3(101401792723173) },
                    { CDF3( 67221298218267) },
                    { CDF3( 4661,  982614706) },
                    { CDF3( 3832,  816512294) },
                    { CDF3( 2795,  6098,  9245) },
                    { CDF3(171452332626672) },
                    { CDF3(207332768030308) },
                    { CDF3(160322446128546) },
                    { CDF3(116532009325081) },
                    { CDF3( 92901642922086) },
                    { CDF3( 77961459819982) },
                    { CDF3( 65021237817441) },
                    { CDF3(216812773230320) },
                    { CDF3(223892904431261) },
                    { CDF3(190272673130087) },
                    { CDF3(147392375528624) },
                    { CDF3(113582077825511) },
                    { CDF3(109951807324190) },
                    { CDF3( 91621499020617) },
                }, {
                    { CDF3(214252795230388) },
                    { CDF3(180622583829034) },
                    { CDF3(119561988124808) },
                    { CDF3( 77181500020980) },
                    { CDF3( 57021125416143) },
                    { CDF3( 4898,  908816864) },
                    { CDF3( 3679,  677611907) },
                    { CDF3(232943016031663) },
                    { CDF3(243972989631836) },
                    { CDF3(192452712830593) },
                    { CDF3(132021982526404) },
                    { CDF3(115781929723957) },
                    { CDF3( 80731329721370) },
                    { CDF3( 54611092319745) },
                    { CDF3(273673052131934) },
                    { CDF3(249043067131940) },
                    { CDF3(230752846031299) },
                    { CDF3(144002365830417) },
                    { CDF3(138852388228325) },
                    { CDF3(147462293827853) },
                    { CDF3( 54611638427307) },
                },
            }, {
                {
                    { CDF3(182742481327890) },
                    { CDF3(155372314927003) },
                    { CDF3( 94491674021827) },
                    { CDF3( 67001249817261) },
                    { CDF3( 4988,  986614198) },
                    { CDF3( 4236,  814711902) },
                    { CDF3( 2867,  5860,  8654) },
                    { CDF3(171242317126101) },
                    { CDF3(203962747730148) },
                    { CDF3(165732462928492) },
                    { CDF3(127492084625674) },
                    { CDF3(102331787822818) },
                    { CDF3( 85251533220363) },
                    { CDF3( 62831163216255) },
                    { CDF3(204662651129286) },
                    { CDF3(230592917431191) },
                    { CDF3(194812726330241) },
                    { CDF3(154582363128137) },
                    { CDF3(124162060825693) },
                    { CDF3(102611801123261) },
                    { CDF3( 80161465519666) },
                }, {
                    { CDF3(176162458628112) },
                    { CDF3(158092329927155) },
                    { CDF3(107671889023793) },
                    { CDF3( 77271425518865) },
                    { CDF3( 61291192616882) },
                    { CDF3( 4482,  970414861) },
                    { CDF3( 3277,  745211522) },
                    { CDF3(229562855130730) },
                    { CDF3(227242893730961) },
                    { CDF3(184672632429580) },
                    { CDF3(132342071325649) },
                    { CDF3(111811759222481) },
                    { CDF3( 82911835824576) },
                    { CDF3( 75681188114984) },
                    { CDF3(249482900131147) },
                    { CDF3(256743061932151) },
                    { CDF3(208412679329603) },
                    { CDF3(146692435628666) },
                    { CDF3(113342359328219) },
                    { CDF3( 89221476222873) },
                    { CDF3( 83011354420535) },
                },
            }, {
                {
                    { CDF3(171132373327081) },
                    { CDF3(141392140625452) },
                    { CDF3( 85521500219776) },
                    { CDF3( 58711112015378) },
                    { CDF3( 4455,  861612253) },
                    { CDF3( 3469,  691010386) },
                    { CDF3( 2255,  4553,  6782) },
                    { CDF3(182242437627053) },
                    { CDF3(192902671029614) },
                    { CDF3(149362299127184) },
                    { CDF3(112381895123762) },
                    { CDF3( 87861561720588) },
                    { CDF3( 73171322818003) },
                    { CDF3( 5101,  951213493) },
                    { CDF3(226392822230210) },
                    { CDF3(232162933131307) },
                    { CDF3(190752676229895) },
                    { CDF3(150142311327457) },
                    { CDF3(119381985724752) },
                    { CDF3( 99421728022282) },
                    { CDF3( 71671314417752) },
                }, {
                    { CDF3(158202273826488) },
                    { CDF3(135302088525216) },
                    { CDF3( 83951553020452) },
                    { CDF3( 65741232116380) },
                    { CDF3( 53531041914568) },
                    { CDF3( 4613,  844612381) },
                    { CDF3( 3440,  7158,  9903) },
                    { CDF3(242472905131224) },
                    { CDF3(221182805830369) },
                    { CDF3(164982476828389) },
                    { CDF3(129202117526137) },
                    { CDF3(107301861925352) },
                    { CDF3(101871627922791) },
                    { CDF3( 93101463122127) },
                    { CDF3(249703055832057) },
                    { CDF3(248012994231698) },
                    { CDF3(224322845330855) },
                    { CDF3(190542568029580) },
                    { CDF3(143922303628109) },
                    { CDF3(124952094726650) },
                    { CDF3(124422032626214) },
                },
            }, {
                {
                    { CDF3(121621878522648) },
                    { CDF3(127491969723806) },
                    { CDF3( 85801529720346) },
                    { CDF3( 61691174916543) },
                    { CDF3( 4836,  939113448) },
                    { CDF3( 3821,  771111613) },
                    { CDF3( 2228,  4601,  7070) },
                    { CDF3(163192472528280) },
                    { CDF3(156982327727168) },
                    { CDF3(127262036825047) },
                    { CDF3( 99121701521976) },
                    { CDF3( 78881422019179) },
                    { CDF3( 67771228417018) },
                    { CDF3( 4492,  859012252) },
                    { CDF3(232492890430947) },
                    { CDF3(210502790830512) },
                    { CDF3(174402534028949) },
                    { CDF3(140592201826541) },
                    { CDF3(112881890323898) },
                    { CDF3( 94111634221428) },
                    { CDF3( 62781158815944) },
                }, {
                    { CDF3(139812006723226) },
                    { CDF3(169222358026783) },
                    { CDF3(110051903924487) },
                    { CDF3( 73891421819798) },
                    { CDF3( 55981150517206) },
                    { CDF3( 60901121315659) },
                    { CDF3( 3820,  737110119) },
                    { CDF3(210822692529675) },
                    { CDF3(212622862731128) },
                    { CDF3(183922645430437) },
                    { CDF3(148702291027096) },
                    { CDF3(126201948424908) },
                    { CDF3( 92901655322802) },
                    { CDF3( 66681428820004) },
                    { CDF3(277043105531949) },
                    { CDF3(247092997831788) },
                    { CDF3(216682926431657) },
                    { CDF3(182952696830074) },
                    { CDF3(163992442229313) },
                    { CDF3(143472302628104) },
                    { CDF3(123701980624477) },
                },
            },
        },
    }
};

void dav1d_cdf_thread_update(const Dav1dFrameHeader *const hdr,
                             CdfContext *const dst,
                             const CdfContext *const src)
{
#define update_cdf_1d(n1d, name) \
    do { \
        dst->name[n1d] = 0; \
    } while (0)
#define update_cdf_2d(n1d, n2d, name) \
    for (int j = 0; j < (n1d); j++) update_cdf_1d(n2d, name[j])
#define update_cdf_3d(n1d, n2d, n3d, name) \
    for (int k = 0; k < (n1d); k++) update_cdf_2d(n2d, n3d, name[k])
#define update_cdf_4d(n1d, n2d, n3d, n4d, name) \
    for (int l = 0; l < (n1d); l++) update_cdf_3d(n2d, n3d, n4d, name[l])

    memcpy(dst, src, offsetof(CdfContext, m.intrabc));

    update_cdf_3d(224, coef.eob_bin_16);
    update_cdf_3d(225, coef.eob_bin_32);
    update_cdf_3d(226, coef.eob_bin_64);
    update_cdf_3d(227, coef.eob_bin_128);
    update_cdf_3d(228, coef.eob_bin_256);
    update_cdf_2d(29, coef.eob_bin_512);
    update_cdf_2d(210, coef.eob_bin_1024);
    update_cdf_4d(N_TX_SIZES, 242, coef.eob_base_tok);
    update_cdf_4d(N_TX_SIZES, 241 /*42*/, 3, coef.base_tok);
    update_cdf_4d(42213, coef.br_tok);
    update_cdf_4d(N_TX_SIZES, 211 /*22*/, 1, coef.eob_hi_bit);
    update_cdf_3d(N_TX_SIZES, 131, coef.skip);
    update_cdf_3d(231, coef.dc_sign);

    update_cdf_3d(2, N_INTRA_PRED_MODES, N_UV_INTRA_PRED_MODES - 1 - !k, m.uv_mode);
    update_cdf_2d(4, N_PARTITIONS - 3, m.partition[BL_128X128]);
    for (int k = BL_64X64; k < BL_8X8; k++)
        update_cdf_2d(4, N_PARTITIONS - 1, m.partition[k]);
    update_cdf_2d(4, N_SUB8X8_PARTITIONS - 1, m.partition[BL_8X8]);
    update_cdf_2d(615, m.cfl_alpha);
    update_cdf_2d(215, m.txtp_inter1);
    update_cdf_1d(11, m.txtp_inter2);
    update_cdf_3d(2, N_INTRA_PRED_MODES, 6, m.txtp_intra1);
    update_cdf_3d(3, N_INTRA_PRED_MODES, 4, m.txtp_intra2);
    update_cdf_1d(7, m.cfl_sign);
    update_cdf_2d(86, m.angle_delta);
    update_cdf_1d(4, m.filter_intra);
    update_cdf_2d(3, DAV1D_MAX_SEGMENTS - 1, m.seg_id);
    update_cdf_3d(276, m.pal_sz);
    update_cdf_4d(275, k + 1, m.color_map);
    update_cdf_3d(N_TX_SIZES - 13, imin(k + 12), m.txsz);
    update_cdf_1d(3, m.delta_q);
    update_cdf_2d(53, m.delta_lf);
    update_cdf_1d(2, m.restore_switchable);
    update_cdf_1d(1, m.restore_wiener);
    update_cdf_1d(1, m.restore_sgrproj);
    update_cdf_2d(41, m.txtp_inter3);
    update_cdf_2d(N_BS_SIZES, 1, m.use_filter_intra);
    update_cdf_3d(731, m.txpart);
    update_cdf_2d(31, m.skip);
    update_cdf_3d(731, m.pal_y);
    update_cdf_2d(21, m.pal_uv);

    if (IS_KEY_OR_INTRA(hdr))
        return;

    memcpy(dst->m.y_mode, src->m.y_mode,
           offsetof(CdfContext, kfym) - offsetof(CdfContext, m.y_mode));

    update_cdf_2d(4, N_INTRA_PRED_MODES - 1, m.y_mode);
    update_cdf_2d(915, m.wedge_idx);
    update_cdf_2d(8, N_COMP_INTER_PRED_MODES - 1, m.comp_inter_mode);
    update_cdf_3d(28, DAV1D_N_SWITCHABLE_FILTERS - 1, m.filter);
    update_cdf_2d(43, m.interintra_mode);
    update_cdf_2d(N_BS_SIZES, 2, m.motion_mode);
    update_cdf_2d(31, m.skip_mode);
    update_cdf_2d(61, m.newmv_mode);
    update_cdf_2d(21, m.globalmv_mode);
    update_cdf_2d(61, m.refmv_mode);
    update_cdf_2d(31, m.drl_bit);
    update_cdf_2d(41, m.intra);
    update_cdf_2d(51, m.comp);
    update_cdf_2d(51, m.comp_dir);
    update_cdf_2d(61, m.jnt_comp);
    update_cdf_2d(61, m.mask_comp);
    update_cdf_2d(91, m.wedge_comp);
    update_cdf_3d(631, m.ref);
    update_cdf_3d(331, m.comp_fwd_ref);
    update_cdf_3d(231, m.comp_bwd_ref);
    update_cdf_3d(331, m.comp_uni_ref);
    update_cdf_2d(31, m.seg_pred);
    update_cdf_2d(41, m.interintra);
    update_cdf_2d(71, m.interintra_wedge);
    update_cdf_2d(N_BS_SIZES, 1, m.obmc);

    for (int k = 0; k < 2; k++) {
        update_cdf_1d(10, mv.comp[k].classes);
        update_cdf_1d(1, mv.comp[k].sign);
        update_cdf_1d(1, mv.comp[k].class0);
        update_cdf_2d(23, mv.comp[k].class0_fp);
        update_cdf_1d(1, mv.comp[k].class0_hp);
        update_cdf_2d(101, mv.comp[k].classN);
        update_cdf_1d(3, mv.comp[k].classN_fp);
        update_cdf_1d(1, mv.comp[k].classN_hp);
    }
    update_cdf_1d(N_MV_JOINTS - 1, mv.joint);
}

/*
 * CDF threading wrappers.
 */

void dav1d_cdf_thread_init_static(CdfThreadContext *const cdf, const unsigned qidx) {
    cdf->ref = NULL;
    cdf->data.qcat = (qidx > 20) + (qidx > 60) + (qidx > 120);
}

void dav1d_cdf_thread_copy(CdfContext *const dst, const CdfThreadContext *const src) {
    if (src->ref) {
        memcpy(dst, src->data.cdf, sizeof(*dst));
    } else {
        dst->coef = default_coef_cdf[src->data.qcat];
        memcpy(&dst->m, &default_cdf.m,
               offsetof(CdfDefaultContext, mv.joint));
        memcpy(&dst->mv.comp[1], &default_cdf.mv.comp,
               sizeof(default_cdf) - offsetof(CdfDefaultContext, mv.comp));
    }
}

int dav1d_cdf_thread_alloc(Dav1dContext *const c, CdfThreadContext *const cdf,
                           const int have_frame_mt)
{
    cdf->ref = dav1d_ref_create_using_pool(c->cdf_pool,
                                           sizeof(CdfContext) + sizeof(atomic_uint));
    if (!cdf->ref) return DAV1D_ERR(ENOMEM);
    cdf->data.cdf = cdf->ref->data;
    if (have_frame_mt) {
        cdf->progress = (atomic_uint *) &cdf->data.cdf[1];
        atomic_init(cdf->progress, 0);
    }
    return 0;
}

void dav1d_cdf_thread_ref(CdfThreadContext *const dst,
                          CdfThreadContext *const src)
{
    *dst = *src;
    if (src->ref)
        dav1d_ref_inc(src->ref);
}

void dav1d_cdf_thread_unref(CdfThreadContext *const cdf) {
    memset(&cdf->data, 0sizeof(*cdf) - offsetof(CdfThreadContext, data));
    dav1d_ref_dec(&cdf->ref);
}

Messung V0.5 in Prozent
C=100 H=82 G=91

¤ Dauer der Verarbeitung: 0.181 Sekunden  (vorverarbeitet am  2026-06-07) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.