From f9ce4497f4b61f698ab55b94b97c2977eed89eb0 Mon Sep 17 00:00:00 2001
From: james h <jamesghurley@gmail.com>
Date: Thu, 20 Sep 2018 09:14:13 +0200
Subject: [PATCH] Import CDFs (from entropymode.c, token_cdfs.h) (#587)
This removes dependency on libaom for most of the CDFs.
---
src/context.rs | 123 +-
src/entropymode.rs | 698 +++++++++
src/lib.rs | 2 +
src/partition.rs | 62 +-
src/token_cdfs.rs | 3534 ++++++++++++++++++++++++++++++++++++++++++++
src/util.rs | 10 +
6 files changed, 4350 insertions(+), 79 deletions(-)
create mode 100644 src/entropymode.rs
create mode 100644 src/token_cdfs.rs
diff --git a/src/context.rs b/src/context.rs
index 58d68eb4..87b5a381 100755
--- a/src/context.rs
+++ b/src/context.rs
@@ -26,6 +26,8 @@ use plane::*;
use util::clamp;
use util::msb;
use std::*;
+use entropymode::*;
+use token_cdfs::*;
use self::REF_CONTEXTS;
use self::SINGLE_REFS;
@@ -35,7 +37,7 @@ pub const PLANES: usize = 3;
const PARTITION_PLOFFSET: usize = 4;
const PARTITION_BLOCK_SIZES: usize = 4 + 1;
const PARTITION_CONTEXTS_PRIMARY: usize = PARTITION_BLOCK_SIZES * PARTITION_PLOFFSET;
-const PARTITION_CONTEXTS: usize = PARTITION_CONTEXTS_PRIMARY;
+pub const PARTITION_CONTEXTS: usize = PARTITION_CONTEXTS_PRIMARY;
pub const PARTITION_TYPES: usize = 4;
pub const MI_SIZE_LOG2: usize = 2;
@@ -52,30 +54,38 @@ pub const MAX_TX_SIZE: usize = 32;
const MAX_TX_SQUARE: usize = MAX_TX_SIZE * MAX_TX_SIZE;
pub const INTRA_MODES: usize = 13;
-const UV_INTRA_MODES: usize = 14;
+pub const UV_INTRA_MODES: usize = 14;
-const CFL_JOINT_SIGNS: usize = 8;
-const CFL_ALPHA_CONTEXTS: usize = 6;
-const CFL_ALPHABET_SIZE: usize = 16;
+pub const CFL_JOINT_SIGNS: usize = 8;
+pub const CFL_ALPHA_CONTEXTS: usize = 6;
+pub const CFL_ALPHABET_SIZE: usize = 16;
+pub const SKIP_MODE_CONTEXTS: usize = 3;
+pub const COMP_INDEX_CONTEXTS: usize = 6;
+pub const COMP_GROUP_IDX_CONTEXTS: usize = 6;
-const BLOCK_SIZE_GROUPS: usize = 4;
-const MAX_ANGLE_DELTA: usize = 3;
-const DIRECTIONAL_MODES: usize = 8;
-const KF_MODE_CONTEXTS: usize = 5;
+pub const BLOCK_SIZE_GROUPS: usize = 4;
+pub const MAX_ANGLE_DELTA: usize = 3;
+pub const DIRECTIONAL_MODES: usize = 8;
+pub const KF_MODE_CONTEXTS: usize = 5;
-const EXT_PARTITION_TYPES: usize = 10;
-const TX_SIZES: usize = 4;
-const TX_SETS: usize = 9;
-const TX_SETS_INTRA: usize = 3;
-const TX_SETS_INTER: usize = 4;
+pub const EXT_PARTITION_TYPES: usize = 10;
+pub const TX_SIZE_SQR_CONTEXTS: usize = TxSize::TX_SIZES as usize - 1; // 64X64 is currently unused
+
+pub const TX_SETS: usize = 9;
+pub const TX_SETS_INTRA: usize = 3;
+pub const TX_SETS_INTER: usize = 4;
+pub const TXFM_PARTITION_CONTEXTS: usize = ((TxSize::TX_SIZES - TxSize::TX_8X8 as usize) * 6 - 3);
const MAX_REF_MV_STACK_SIZE: usize = 8;
pub const REF_CAT_LEVEL: u32 = 640;
pub const FRAME_LF_COUNT: usize = 4;
pub const MAX_LOOP_FILTER: usize = 63;
const DELTA_LF_SMALL: u32 = 3;
-const DELTA_LF_PROBS: usize = DELTA_LF_SMALL as usize;
+pub const DELTA_LF_PROBS: usize = DELTA_LF_SMALL as usize;
+
+const DELTA_Q_SMALL: u32 = 3;
+pub const DELTA_Q_PROBS: usize = DELTA_Q_SMALL as usize;
// Number of transform types in each set type
static num_tx_set: [usize; TX_SETS] =
@@ -362,32 +372,36 @@ pub static subsize_lookup: [[BlockSize; BlockSize::BLOCK_SIZES_ALL]; EXT_PARTITI
]
];
-const PLANE_TYPES: usize = 2;
+pub const PLANE_TYPES: usize = 2;
const REF_TYPES: usize = 2;
-const SKIP_CONTEXTS: usize = 3;
-const INTRA_INTER_CONTEXTS: usize = 4;
-const DRL_MODE_CONTEXTS: usize = 3;
+pub const SKIP_CONTEXTS: usize = 3;
+pub const INTRA_INTER_CONTEXTS: usize = 4;
+pub const INTER_MODE_CONTEXTS: usize = 8;
+pub const DRL_MODE_CONTEXTS: usize = 3;
+pub const COMP_INTER_CONTEXTS: usize = 5;
+pub const COMP_REF_TYPE_CONTEXTS: usize = 5;
+pub const UNI_COMP_REF_CONTEXTS: usize = 3;
// Level Map
-const TXB_SKIP_CONTEXTS: usize = 13;
+pub const TXB_SKIP_CONTEXTS: usize = 13;
-const EOB_COEF_CONTEXTS: usize = 9;
+pub const EOB_COEF_CONTEXTS: usize = 9;
const SIG_COEF_CONTEXTS_2D: usize = 26;
const SIG_COEF_CONTEXTS_1D: usize = 16;
-const SIG_COEF_CONTEXTS_EOB: usize = 4;
-const SIG_COEF_CONTEXTS: usize = SIG_COEF_CONTEXTS_2D + SIG_COEF_CONTEXTS_1D;
+pub const SIG_COEF_CONTEXTS_EOB: usize = 4;
+pub const SIG_COEF_CONTEXTS: usize = SIG_COEF_CONTEXTS_2D + SIG_COEF_CONTEXTS_1D;
const COEFF_BASE_CONTEXTS: usize = SIG_COEF_CONTEXTS;
-const DC_SIGN_CONTEXTS: usize = 3;
+pub const DC_SIGN_CONTEXTS: usize = 3;
const BR_TMP_OFFSET: usize = 12;
const BR_REF_CAT: usize = 4;
-const LEVEL_CONTEXTS: usize = 21;
+pub const LEVEL_CONTEXTS: usize = 21;
-const NUM_BASE_LEVELS: usize = 2;
+pub const NUM_BASE_LEVELS: usize = 2;
-const BR_CDF_SIZE: usize = 4;
+pub const BR_CDF_SIZE: usize = 4;
const COEFF_BASE_RANGE: usize = 4 * (BR_CDF_SIZE - 1);
const COEFF_CONTEXT_BITS: usize = 6;
@@ -723,6 +737,7 @@ static intra_mode_to_tx_type_context: [TxType; INTRA_MODES] = [
ADST_ADST, // PAETH
];
+
static uv2y: [PredictionMode; UV_INTRA_MODES] = [
DC_PRED, // UV_DC_PRED
V_PRED, // UV_V_PRED
@@ -769,58 +784,10 @@ pub struct NMVContext {
}
extern "C" {
- static default_partition_cdf:
- [[u16; EXT_PARTITION_TYPES + 1]; PARTITION_CONTEXTS];
- static default_kf_y_mode_cdf:
- [[[u16; INTRA_MODES + 1]; KF_MODE_CONTEXTS]; KF_MODE_CONTEXTS];
- static default_if_y_mode_cdf: [[u16; INTRA_MODES + 1]; BLOCK_SIZE_GROUPS];
- static default_uv_mode_cdf: [[[u16; UV_INTRA_MODES + 1]; INTRA_MODES]; 2];
- static default_cfl_sign_cdf: [u16; CFL_JOINT_SIGNS + 1];
- static default_cfl_alpha_cdf: [[u16; CFL_ALPHABET_SIZE + 1]; CFL_ALPHA_CONTEXTS];
- static default_newmv_cdf: [[u16; 2 + 1]; NEWMV_MODE_CONTEXTS];
- static default_zeromv_cdf: [[u16; 2 + 1]; GLOBALMV_MODE_CONTEXTS];
- static default_refmv_cdf: [[u16; 2 + 1]; REFMV_MODE_CONTEXTS];
- static default_intra_ext_tx_cdf:
- [[[[u16; TX_TYPES + 1]; INTRA_MODES]; TX_SIZES]; TX_SETS_INTRA];
- static default_inter_ext_tx_cdf:
- [[[u16; TX_TYPES + 1]; TX_SIZES]; TX_SETS_INTER];
- static default_skip_cdfs: [[u16; 3]; SKIP_CONTEXTS];
- static default_intra_inter_cdf: [[u16; 3]; INTRA_INTER_CONTEXTS];
- static default_angle_delta_cdf:
- [[u16; 2 * MAX_ANGLE_DELTA + 1 + 1]; DIRECTIONAL_MODES];
- static default_filter_intra_cdfs: [[u16; 3]; BlockSize::BLOCK_SIZES_ALL];
-
- static default_single_ref_cdf: [[[u16; 2 + 1]; SINGLE_REFS - 1]; REF_CONTEXTS];
static av1_scan_orders: [[SCAN_ORDER; TX_TYPES]; TxSize::TX_SIZES_ALL];
- static default_delta_lf_multi_cdf: [[u16; DELTA_LF_PROBS + 1 + 1]; FRAME_LF_COUNT];
- static default_delta_lf_cdf: [u16; DELTA_LF_PROBS + 1 + 1];
// lv_map
- static av1_default_txb_skip_cdfs:
- [[[[u16; 3]; TXB_SKIP_CONTEXTS]; TxSize::TX_SIZES]; 4];
- static av1_default_dc_sign_cdfs:
- [[[[u16; 3]; DC_SIGN_CONTEXTS]; PLANE_TYPES]; 4];
- static av1_default_eob_extra_cdfs:
- [[[[[u16; 3]; EOB_COEF_CONTEXTS]; PLANE_TYPES]; TxSize::TX_SIZES]; 4];
-
- static av1_default_eob_multi16_cdfs: [[[[u16; 5 + 1]; 2]; PLANE_TYPES]; 4];
- static av1_default_eob_multi32_cdfs: [[[[u16; 6 + 1]; 2]; PLANE_TYPES]; 4];
- static av1_default_eob_multi64_cdfs: [[[[u16; 7 + 1]; 2]; PLANE_TYPES]; 4];
- static av1_default_eob_multi128_cdfs: [[[[u16; 8 + 1]; 2]; PLANE_TYPES]; 4];
- static av1_default_eob_multi256_cdfs: [[[[u16; 9 + 1]; 2]; PLANE_TYPES]; 4];
- static av1_default_eob_multi512_cdfs: [[[[u16; 10 + 1]; 2]; PLANE_TYPES]; 4];
- static av1_default_eob_multi1024_cdfs: [[[[u16; 11 + 1]; 2]; PLANE_TYPES]; 4];
-
- static av1_default_coeff_base_eob_multi_cdfs:
- [[[[[u16; 3 + 1]; SIG_COEF_CONTEXTS_EOB]; PLANE_TYPES]; TxSize::TX_SIZES]; 4];
- static av1_default_coeff_base_multi_cdfs:
- [[[[[u16; 4 + 1]; SIG_COEF_CONTEXTS]; PLANE_TYPES]; TxSize::TX_SIZES]; 4];
- static av1_default_coeff_lps_multi_cdfs: [[[[[u16; BR_CDF_SIZE + 1];
- LEVEL_CONTEXTS]; PLANE_TYPES];
- TxSize::TX_SIZES]; 4];
-
static default_nmv_context: NMVContext;
- static default_drl_cdf:[[u16; 2 + 1]; DRL_MODE_CONTEXTS];
}
#[repr(C)]
@@ -850,8 +817,8 @@ pub struct CDFContext {
zeromv_cdf: [[u16; 2 + 1]; GLOBALMV_MODE_CONTEXTS],
refmv_cdf: [[u16; 2 + 1]; REFMV_MODE_CONTEXTS],
intra_tx_cdf:
- [[[[u16; TX_TYPES + 1]; INTRA_MODES]; TX_SIZES]; TX_SETS_INTRA],
- inter_tx_cdf: [[[u16; TX_TYPES + 1]; TX_SIZES]; TX_SETS_INTER],
+ [[[[u16; TX_TYPES + 1]; INTRA_MODES]; TX_SIZE_SQR_CONTEXTS]; TX_SETS_INTRA],
+ inter_tx_cdf: [[[u16; TX_TYPES + 1]; TX_SIZE_SQR_CONTEXTS]; TX_SETS_INTER],
skip_cdfs: [[u16; 3]; SKIP_CONTEXTS],
intra_inter_cdfs: [[u16; 3]; INTRA_INTER_CONTEXTS],
angle_delta_cdf: [[u16; 2 * MAX_ANGLE_DELTA + 1 + 1]; DIRECTIONAL_MODES],
@@ -964,7 +931,7 @@ impl CDFContext {
reset_2d!(self.zeromv_cdf);
reset_2d!(self.refmv_cdf);
- for i in 0..TX_SIZES {
+ for i in 0..TX_SIZE_SQR_CONTEXTS {
for j in 0..INTRA_MODES {
self.intra_tx_cdf[1][i][j][7] = 0;
self.intra_tx_cdf[2][i][j][5] = 0;
diff --git a/src/entropymode.rs b/src/entropymode.rs
new file mode 100644
index 00000000..66f1b288
--- /dev/null
+++ b/src/entropymode.rs
@@ -0,0 +1,698 @@
+// Copyright (c) 2018, The rav1e contributors. All rights reserved
+//
+// This source code is subject to the terms of the BSD 2 Clause License and
+// the Alliance for Open Media Patent License 1.0. If the BSD 2 Clause License
+// was not distributed with this source code in the LICENSE file, you can
+// obtain it at www.aomedia.org/license/software. If the Alliance for Open
+// Media Patent License 1.0 was not distributed with this source code in the
+// PATENTS file, you can obtain it at www.aomedia.org/license/patent.
+
+#![allow(non_upper_case_globals)]
+
+use context::*;
+use partition::*;
+
+const PALATTE_BSIZE_CTXS: usize = 7;
+const PALETTE_Y_MODE_CONTEXTS: usize = 3;
+const PALETTE_UV_MODE_CONTEXTS: usize = 2;
+const PALETTE_COLOR_INDEX_CONTEXTS: usize = 5;
+const CDFMAX : u16 = 32768;
+const BLOCK_SIZE_GROUPS: usize = 4;
+const RESTORE_SWITCHABLE_TYPES: usize = 3;
+const TX_SIZE_CONTEXTS: usize = 3;
+
+// from seg_common.h
+const MAX_SEGMENTS: usize = 8;
+const SPATIAL_PREDICTION_PROBS: usize = 3;
+const SEG_TEMPORAL_PRED_CTXS: usize = 3;
+
+// enums.h
+const TX_SIZE_LUMA_MIN:usize = TxSize::TX_4X4 as usize;
+const TX_SIZE_CTX_MIN: usize = (TX_SIZE_LUMA_MIN + 1);
+const MAX_TX_CATS: usize = (TxSize::TX_SIZES - TX_SIZE_CTX_MIN);
+const MAX_TX_DEPTH: usize = 2;
+
+// LUTS ---------------------
+
+pub static default_kf_y_mode_cdf: [[[u16; cdf_size!(INTRA_MODES)]; KF_MODE_CONTEXTS]; KF_MODE_CONTEXTS] =
+ [[
+ cdf!(15588, 17027, 19338, 20218, 20682, 21110, 21825, 23244, 24189, 28165, 29093, 30466),
+ cdf!(12016, 18066, 19516, 20303, 20719, 21444, 21888, 23032, 24434, 28658, 30172, 31409),
+ cdf!(10052, 10771, 22296, 22788, 23055, 23239, 24133, 25620, 26160, 29336, 29929, 31567),
+ cdf!(14091, 15406, 16442, 18808, 19136, 19546, 19998, 22096, 24746, 29585, 30958, 32462),
+ cdf!(12122, 13265, 15603, 16501, 18609, 20033, 22391, 25583, 26437, 30261, 31073, 32475)],
+ [
+ cdf!(10023, 19585, 20848, 21440, 21832, 22760, 23089, 24023, 25381, 29014, 30482, 31436),
+ cdf!(5983, 24099, 24560, 24886, 25066, 25795, 25913, 26423, 27610, 29905, 31276, 31794),
+ cdf!(7444, 12781, 20177, 20728, 21077, 21607, 22170, 23405, 24469, 27915, 29090, 30492),
+ cdf!(8537, 14689, 15432, 17087, 17408, 18172, 18408, 19825, 24649, 29153, 31096, 32210),
+ cdf!(7543, 14231, 15496, 16195, 17905, 20717, 21984, 24516, 26001, 29675, 30981, 31994)],
+ [
+ cdf!(12613, 13591, 21383, 22004, 22312, 22577, 23401, 25055, 25729, 29538, 30305, 32077),
+ cdf!(9687, 13470, 18506, 19230, 19604, 20147, 20695, 22062, 23219, 27743, 29211, 30907),
+ cdf!(6183, 6505, 26024, 26252, 26366, 26434, 27082, 28354, 28555, 30467, 30794, 32086),
+ cdf!(10718, 11734, 14954, 17224, 17565, 17924, 18561, 21523, 23878, 28975, 30287, 32252),
+ cdf!(9194, 9858, 16501, 17263, 18424, 19171, 21563, 25961, 26561, 30072, 30737, 32463)],
+ [
+ cdf!(12602, 14399, 15488, 18381, 18778, 19315, 19724, 21419, 25060, 29696, 30917, 32409),
+ cdf!(8203, 13821, 14524, 17105, 17439, 18131, 18404, 19468, 25225, 29485, 31158, 32342),
+ cdf!(8451, 9731, 15004, 17643, 18012, 18425, 19070, 21538, 24605, 29118, 30078, 32018),
+ cdf!(7714, 9048, 9516, 16667, 16817, 16994, 17153, 18767, 26743, 30389, 31536, 32528),
+ cdf!(8843, 10280, 11496, 15317, 16652, 17943, 19108, 22718, 25769, 29953, 30983, 32485)],
+ [
+ cdf!(12578, 13671, 15979, 16834, 19075, 20913, 22989, 25449, 26219, 30214, 31150, 32477),
+ cdf!(9563, 13626, 15080, 15892, 17756, 20863, 22207, 24236, 25380, 29653, 31143, 32277),
+ cdf!(8356, 8901, 17616, 18256, 19350, 20106, 22598, 25947, 26466, 29900, 30523, 32261),
+ cdf!(10835, 11815, 13124, 16042, 17018, 18039, 18947, 22753, 24615, 29489, 30883, 32482),
+ cdf!(7618, 8288, 9859, 10509, 15386, 18657, 22903, 28776, 29180, 31355, 31802, 32593)]];
+
+pub static default_angle_delta_cdf:[[u16; cdf_size!(2 * MAX_ANGLE_DELTA + 1)]; DIRECTIONAL_MODES] =
+ [
+ cdf!(2180, 5032, 7567, 22776, 26989, 30217),
+ cdf!(2301, 5608, 8801, 23487, 26974, 30330),
+ cdf!(3780, 11018, 13699, 19354, 23083, 31286),
+ cdf!(4581, 11226, 15147, 17138, 21834, 28397),
+ cdf!(1737, 10927, 14509, 19588, 22745, 28823),
+ cdf!(2664, 10176, 12485, 17650, 21600, 30495),
+ cdf!(2240, 11096, 15453, 20341, 22561, 28917),
+ cdf!(3605, 10428, 12459, 17676, 21244, 30655)];
+
+pub static default_if_y_mode_cdf:[[u16; cdf_size!(INTRA_MODES)]; BLOCK_SIZE_GROUPS] =
+ [
+ cdf!(22801, 23489, 24293, 24756, 25601, 26123, 26606, 27418, 27945, 29228, 29685, 30349),
+ cdf!(18673, 19845, 22631, 23318, 23950, 24649, 25527, 27364, 28152, 29701, 29984, 30852),
+ cdf!(19770, 20979, 23396, 23939, 24241, 24654, 25136, 27073, 27830, 29360, 29730, 30659),
+ cdf!(20155, 21301, 22838, 23178, 23261, 23533, 23703, 24804, 25352, 26575, 27016, 28049)];
+
+pub static default_uv_mode_cdf:[[[u16; cdf_size!(UV_INTRA_MODES)]; INTRA_MODES]; 2] =
+ [[
+ cdf!(22631, 24152, 25378, 25661, 25986, 26520, 27055, 27923, 28244, 30059, 30941, 31961, CDFMAX),
+ cdf!(9513, 26881, 26973, 27046, 27118, 27664, 27739, 27824, 28359, 29505, 29800, 31796, CDFMAX),
+ cdf!(9845, 9915, 28663, 28704, 28757, 28780, 29198, 29822, 29854, 30764, 31777, 32029, CDFMAX),
+ cdf!(13639, 13897, 14171, 25331, 25606, 25727, 25953, 27148, 28577, 30612, 31355, 32493, CDFMAX),
+ cdf!(9764, 9835, 9930, 9954, 25386, 27053, 27958, 28148, 28243, 31101, 31744, 32363, CDFMAX),
+ cdf!(11825, 13589, 13677, 13720, 15048, 29213, 29301, 29458, 29711, 31161, 31441, 32550, CDFMAX),
+ cdf!(14175, 14399, 16608, 16821, 17718, 17775, 28551, 30200, 30245, 31837, 32342, 32667, CDFMAX),
+ cdf!(12885, 13038, 14978, 15590, 15673, 15748, 16176, 29128, 29267, 30643, 31961, 32461, CDFMAX),
+ cdf!(12026, 13661, 13874, 15305, 15490, 15726, 15995, 16273, 28443, 30388, 30767, 32416, CDFMAX),
+ cdf!(19052, 19840, 20579, 20916, 21150, 21467, 21885, 22719, 23174, 28861, 30379, 32175, CDFMAX),
+ cdf!(18627, 19649, 20974, 21219, 21492, 21816, 22199, 23119, 23527, 27053, 31397, 32148, CDFMAX),
+ cdf!(17026, 19004, 19997, 20339, 20586, 21103, 21349, 21907, 22482, 25896, 26541, 31819, CDFMAX),
+ cdf!(12124, 13759, 14959, 14992, 15007, 15051, 15078, 15166, 15255, 15753, 16039, 16606, CDFMAX)],
+ [ cdf!(10407, 11208, 12900, 13181, 13823, 14175, 14899, 15656, 15986, 20086, 20995, 22455, 24212),
+ cdf!(4532, 19780, 20057, 20215, 20428, 21071, 21199, 21451, 22099, 24228, 24693, 27032, 29472),
+ cdf!(5273, 5379, 20177, 20270, 20385, 20439, 20949, 21695, 21774, 23138, 24256, 24703, 26679),
+ cdf!(6740, 7167, 7662, 14152, 14536, 14785, 15034, 16741, 18371, 21520, 22206, 23389, 24182),
+ cdf!(4987, 5368, 5928, 6068, 19114, 20315, 21857, 22253, 22411, 24911, 25380, 26027, 26376),
+ cdf!(5370, 6889, 7247, 7393, 9498, 21114, 21402, 21753, 21981, 24780, 25386, 26517, 27176),
+ cdf!(4816, 4961, 7204, 7326, 8765, 8930, 20169, 20682, 20803, 23188, 23763, 24455, 24940),
+ cdf!(6608, 6740, 8529, 9049, 9257, 9356, 9735, 18827, 19059, 22336, 23204, 23964, 24793),
+ cdf!(5998, 7419, 7781, 8933, 9255, 9549, 9753, 10417, 18898, 22494, 23139, 24764, 25989),
+ cdf!(10660, 11298, 12550, 12957, 13322, 13624, 14040, 15004, 15534, 20714, 21789, 23443, 24861),
+ cdf!(10522, 11530, 12552, 12963, 13378, 13779, 14245, 15235, 15902, 20102, 22696, 23774, 25838),
+ cdf!(10099, 10691, 12639, 13049, 13386, 13665, 14125, 15163, 15636, 19676, 20474, 23519, 25208),
+ cdf!(3144, 5087, 7382, 7504, 7593, 7690, 7801, 8064, 8232, 9248, 9875, 10521, 29048)]];
+
+pub const default_partition_cdf: [[u16;cdf_size!(EXT_PARTITION_TYPES)]; PARTITION_CONTEXTS] =
+ [
+ cdf!(19132, 25510, 30392, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(13928, 19855, 28540, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(12522, 23679, 28629, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(9896, 18783, 25853, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(15597, 20929, 24571, 26706, 27664, 28821, 29601, 30571, 31902),
+ cdf!(7925, 11043, 16785, 22470, 23971, 25043, 26651, 28701, 29834),
+ cdf!(5414, 13269, 15111, 20488, 22360, 24500, 25537, 26336, 32117),
+ cdf!(2662, 6362, 8614, 20860, 23053, 24778, 26436, 27829, 31171),
+ cdf!(18462, 20920, 23124, 27647, 28227, 29049, 29519, 30178, 31544),
+ cdf!(7689, 9060, 12056, 24992, 25660, 26182, 26951, 28041, 29052),
+ cdf!(6015, 9009, 10062, 24544, 25409, 26545, 27071, 27526, 32047),
+ cdf!(1394, 2208, 2796, 28614, 29061, 29466, 29840, 30185, 31899),
+ cdf!(20137, 21547, 23078, 29566, 29837, 30261, 30524, 30892, 31724),
+ cdf!(6732, 7490, 9497, 27944, 28250, 28515, 28969, 29630, 30104),
+ cdf!(5945, 7663, 8348, 28683, 29117, 29749, 30064, 30298, 32238),
+ cdf!(870, 1212, 1487, 31198, 31394, 31574, 31743, 31881, 32332),
+ cdf!(27899, 28219, 28529, 32484, 32539, 32619, 32639, CDFMAX, CDFMAX),
+ cdf!(6607, 6990, 8268, 32060, 32219, 32338, 32371, CDFMAX, CDFMAX),
+ cdf!(5429, 6676, 7122, 32027, 32227, 32531, 32582, CDFMAX, CDFMAX),
+ cdf!(711, 966, 1172, 32448, 32538, 32617, 32664, CDFMAX, CDFMAX)];
+
+
+pub static default_intra_ext_tx_cdf: [[[[u16;cdf_size!(TX_TYPES)]; INTRA_MODES]; TX_SIZE_SQR_CONTEXTS]; TX_SETS_INTRA] = [
+ [[[0;cdf_size!(TX_TYPES)]; INTRA_MODES]; TX_SIZE_SQR_CONTEXTS],
+ [[
+ cdf!(1535, 8035, 9461, 12751, 23467, 27825, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(564, 3335, 9709, 10870, 18143, 28094, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(672, 3247, 3676, 11982, 19415, 23127, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(5279, 13885, 15487, 18044, 23527, 30252, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4423, 6074, 7985, 10416, 25693, 29298, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(1486, 4241, 9460, 10662, 16456, 27694, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(439, 2838, 3522, 6737, 18058, 23754, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(1190, 4233, 4855, 11670, 20281, 24377, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(1045, 4312, 8647, 10159, 18644, 29335, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(202, 3734, 4747, 7298, 17127, 24016, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(447, 4312, 6819, 8884, 16010, 23858, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(277, 4369, 5255, 8905, 16465, 22271, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(3409, 5436, 10599, 15599, 19687, 24040, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX)],
+ [
+ cdf!(1870, 13742, 14530, 16498, 23770, 27698, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(326, 8796, 14632, 15079, 19272, 27486, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(484, 7576, 7712, 14443, 19159, 22591, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(1126, 15340, 15895, 17023, 20896, 30279, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(655, 4854, 5249, 5913, 22099, 27138, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(1299, 6458, 8885, 9290, 14851, 25497, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(311, 5295, 5552, 6885, 16107, 22672, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(883, 8059, 8270, 11258, 17289, 21549, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(741, 7580, 9318, 10345, 16688, 29046, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(110, 7406, 7915, 9195, 16041, 23329, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(363, 7974, 9357, 10673, 15629, 24474, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(153, 7647, 8112, 9936, 15307, 19996, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(3511, 6332, 11165, 15335, 19323, 23594, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX)],
+ [
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX)],
+ [
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4681, 9362, 14043, 18725, 23406, 28087, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX)]
+ ],
+ [[
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX)],
+ [
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX)],
+ [
+ cdf!(1127, 12814, 22772, 27483, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(145, 6761, 11980, 26667, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(362, 5887, 11678, 16725, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(385, 15213, 18587, 30693, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(25, 2914, 23134, 27903, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(60, 4470, 11749, 23991, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(37, 3332, 14511, 21448, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(157, 6320, 13036, 17439, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(119, 6719, 12906, 29396, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(47, 5537, 12576, 21499, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(269, 6076, 11258, 23115, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(83, 5615, 12001, 17228, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(1968, 5556, 12023, 18547, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX)],
+ [
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6554, 13107, 19661, 26214, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX)
+ ]]
+ ];
+
+pub static default_inter_ext_tx_cdf: [[[u16;cdf_size!(TX_TYPES)]; TX_SIZE_SQR_CONTEXTS]; TX_SETS_INTER] =
+ [
+ [[0;cdf_size!(TX_TYPES)]; TX_SIZE_SQR_CONTEXTS],
+ [
+ cdf!(4458, 5560, 7695, 9709, 13330, 14789, 17537, 20266, 21504, 22848, 23934, 25474, 27727, 28915, 30631),
+ cdf!(1645, 2573, 4778, 5711, 7807, 8622, 10522, 15357, 17674, 20408, 22517, 25010, 27116, 28856, 30749),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720)],
+ [
+ cdf!(2731, 5461, 8192, 10923, 13653, 16384, 19115, 21845, 24576, 27307, 30037, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(2731, 5461, 8192, 10923, 13653, 16384, 19115, 21845, 24576, 27307, 30037, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(770, 2421, 5225, 12907, 15819, 18927, 21561, 24089, 26595, 28526, 30529, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(2731, 5461, 8192, 10923, 13653, 16384, 19115, 21845, 24576, 27307, 30037, CDFMAX, CDFMAX, CDFMAX, CDFMAX)],
+ [
+ cdf!(16384, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4167, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(1998, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(748, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX)]
+ ];
+
+pub static default_cfl_sign_cdf: [u16;cdf_size!(CFL_JOINT_SIGNS)] = cdf!(1418, 2123, 13340, 18405, 26972, 28343, 32294);
+
+pub static default_cfl_alpha_cdf: [[u16;cdf_size!(CFL_ALPHABET_SIZE)]; CFL_ALPHA_CONTEXTS] = [
+ cdf!(7637, 20719, 31401, 32481, 32657, 32688, 32692, 32696, 32700, 32704, 32708, 32712, 32716, 32720, 32724),
+ cdf!(14365, 23603, 28135, 31168, 32167, 32395, 32487, 32573, 32620, 32647, 32668, 32672, 32676, 32680, 32684),
+ cdf!(11532, 22380, 28445, 31360, 32349, 32523, 32584, 32649, 32673, 32677, 32681, 32685, 32689, 32693, 32697),
+ cdf!(26990, 31402, 32282, 32571, 32692, 32696, 32700, 32704, 32708, 32712, 32716, 32720, 32724, 32728, 32732),
+ cdf!(17248, 26058, 28904, 30608, 31305, 31877, 32126, 32321, 32394, 32464, 32516, 32560, 32576, 32593, 32622),
+ cdf!(14738, 21678, 25779, 27901, 29024, 30302, 30980, 31843, 32144,32413, 32520, 32594, 32622, 32656, 32660)
+ ];
+
+// This does not appear to be used in the rust project currently
+const SWITCHABLE_FILTERS: usize = 3;
+const SWITCHABLE_FILTER_CONTEXTS: usize = (SWITCHABLE_FILTERS+1)*4;
+
+pub static default_switchable_interp_cdf: [[u16; cdf_size!(SWITCHABLE_FILTERS)]; SWITCHABLE_FILTER_CONTEXTS] = [
+ cdf!(31935, 32720), cdf!(5568, 32719),
+ cdf!(422, 2938), cdf!(28244, 32608),
+ cdf!(31206, 31953), cdf!(4862, 32121),
+ cdf!(770, 1152), cdf!(20889, 25637),
+ cdf!(31910, 32724), cdf!(4120, 32712),
+ cdf!(305, 2247), cdf!(27403, 32636),
+ cdf!(31022, 32009), cdf!(2963, 32093),
+ cdf!(601, 943), cdf!(14969, 21398)
+ ];
+
+pub static default_newmv_cdf: [[u16; cdf_size!(2)]; NEWMV_MODE_CONTEXTS] =
+ [cdf!(24035), cdf!(16630), cdf!(15339), cdf!(8386), cdf!(12222), cdf!(4676), [0;cdf_size!(2)]];
+
+
+pub static default_zeromv_cdf: [[u16;cdf_size!(2)]; GLOBALMV_MODE_CONTEXTS] = [cdf!(2175), cdf!(1054)];
+
+
+
+pub static default_refmv_cdf: [[u16; cdf_size!(2)]; REFMV_MODE_CONTEXTS] =
+ [ cdf!(23974), cdf!(24188), cdf!(17848),
+ cdf!(28622), cdf!(24312), cdf!(19923) ];
+
+pub static default_drl_cdf: [[u16; cdf_size!(2)]; DRL_MODE_CONTEXTS] = [
+ cdf!(13104), cdf!(24560), cdf!(18945)
+];
+
+pub static default_inter_compound_mode_cdf: [[u16; cdf_size!(INTER_COMPOUND_MODES)]; INTER_MODE_CONTEXTS] = [
+ cdf!(7760, 13823, 15808, 17641, 19156, 20666, 26891),
+ cdf!(10730, 19452, 21145, 22749, 24039, 25131, 28724),
+ cdf!(10664, 20221, 21588, 22906, 24295, 25387, 28436),
+ cdf!(13298, 16984, 20471, 24182, 25067, 25736, 26422),
+ cdf!(18904, 23325, 25242, 27432, 27898, 28258, 30758),
+ cdf!(10725, 17454, 20124, 22820, 24195, 25168, 26046),
+ cdf!(17125, 24273, 25814, 27492, 28214, 28704, 30592),
+ cdf!(13046, 23214, 24505, 25942, 27435, 28442, 29330)
+ ];
+
+pub static default_interintra_cdf: [[u16; cdf_size!(2)]; BLOCK_SIZE_GROUPS] = [ cdf!(16384),
+ cdf!(26887),
+ cdf!(27597),
+ cdf!(30237) ];
+
+pub static
+ default_interintra_mode_cdf: [[u16; cdf_size!(InterIntraMode::INTERINTRA_MODES as usize)]; BLOCK_SIZE_GROUPS as usize] =
+ [ cdf!(8192, 16384, 24576),
+ cdf!(1875, 11082, 27332),
+ cdf!(2473, 9996, 26388),
+ cdf!(4238, 11537, 25926) ];
+
+pub static
+ default_wedge_interintra_cdf: [[u16; cdf_size!(2)]; BlockSize::BLOCK_SIZES_ALL] = [
+ cdf!(16384), cdf!(16384), cdf!(16384),
+ cdf!(20036), cdf!(24957), cdf!(26704),
+ cdf!(27530), cdf!(29564), cdf!(29444),
+ cdf!(26872), cdf!(16384), cdf!(16384),
+ cdf!(16384), cdf!(16384), cdf!(16384),
+ cdf!(16384), cdf!(16384), cdf!(16384),
+ cdf!(16384), cdf!(16384), cdf!(16384),
+ cdf!(16384)
+ ];
+
+pub static
+ default_compound_type_cdf: [[u16; cdf_size!(CompoundType::COMPOUND_TYPES as usize - 1)]; BlockSize::BLOCK_SIZES_ALL as usize] = [
+ cdf!(16384), cdf!(16384), cdf!(16384),
+ cdf!(23431), cdf!(13171), cdf!(11470),
+ cdf!(9770), cdf!(9100), cdf!(8233),
+ cdf!(6172), cdf!(16384), cdf!(16384),
+ cdf!(16384), cdf!(16384), cdf!(16384),
+ cdf!(16384), cdf!(16384), cdf!(16384),
+ cdf!(11820), cdf!(7701), cdf!(16384),
+ cdf!(16384)
+ ];
+
+pub static default_wedge_idx_cdf: [[u16; cdf_size!(16)]; BlockSize::BLOCK_SIZES_ALL] =
+ [ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2438, 4440, 6599, 8663, 11005, 12874, 15751, 18094, 20359, 22362, 24127, 25702, 27752, 29450, 31171),
+ cdf!(806, 3266, 6005, 6738, 7218, 7367, 7771, 14588, 16323, 17367, 18452, 19422, 22839, 26127, 29629),
+ cdf!(2779, 3738, 4683, 7213, 7775, 8017, 8655, 14357, 17939, 21332, 24520, 27470, 29456, 30529, 31656),
+ cdf!(1684, 3625, 5675, 7108, 9302, 11274, 14429, 17144, 19163, 20961, 22884, 24471, 26719, 28714, 30877),
+ cdf!(1142, 3491, 6277, 7314, 8089, 8355, 9023, 13624, 15369, 16730, 18114, 19313, 22521, 26012, 29550),
+ cdf!(2742, 4195, 5727, 8035, 8980, 9336, 10146, 14124, 17270, 20533, 23434, 25972, 27944, 29570, 31416),
+ cdf!(1727, 3948, 6101, 7796, 9841, 12344, 15766, 18944, 20638, 22038, 23963, 25311, 26988, 28766, 31012),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(154, 987, 1925, 2051, 2088, 2111, 2151, 23033, 23703, 24284, 24985, 25684, 27259, 28883, 30911),
+ cdf!(1135, 1322, 1493, 2635, 2696, 2737, 2770, 21016, 22935, 25057, 27251, 29173, 30089, 30960, 31933),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720),
+ cdf!(2048, 4096, 6144, 8192, 10240, 12288, 14336, 16384, 18432, 20480, 22528, 24576, 26624, 28672, 30720) ];
+
+pub static default_motion_mode_cdf: [[u16; cdf_size!(MotionMode::MOTION_MODES as usize)]; BlockSize::BLOCK_SIZES_ALL as usize] =
+ [ cdf!(10923, 21845), cdf!(10923, 21845),
+ cdf!(10923, 21845), cdf!(7651, 24760),
+ cdf!(4738, 24765), cdf!(5391, 25528),
+ cdf!(19419, 26810), cdf!(5123, 23606),
+ cdf!(11606, 24308), cdf!(26260, 29116),
+ cdf!(20360, 28062), cdf!(21679, 26830),
+ cdf!(29516, 30701), cdf!(28898, 30397),
+ cdf!(30878, 31335), cdf!(32507, 32558),
+ cdf!(10923, 21845), cdf!(10923, 21845),
+ cdf!(28799, 31390), cdf!(26431, 30774),
+ cdf!(28973, 31594), cdf!(29742, 31203) ];
+
+pub static default_obmc_cdf: [[u16; cdf_size!(2)]; BlockSize::BLOCK_SIZES_ALL] = [
+ cdf!(16384), cdf!(16384), cdf!(16384),
+ cdf!(10437), cdf!(9371), cdf!(9301),
+ cdf!(17432), cdf!(14423), cdf!(15142),
+ cdf!(25817), cdf!(22823), cdf!(22083),
+ cdf!(30128), cdf!(31014), cdf!(31560),
+ cdf!(32638), cdf!(16384), cdf!(16384),
+ cdf!(23664), cdf!(20901), cdf!(24008),
+ cdf!(26879)
+];
+
+pub static default_intra_inter_cdf: [[u16; cdf_size!(2)]; INTRA_INTER_CONTEXTS] = [
+ cdf!(806),
+ cdf!(16662),
+ cdf!(20186),
+ cdf!(26538)
+ ];
+
+pub static default_comp_inter_cdf: [[u16; cdf_size!(2)]; COMP_INTER_CONTEXTS] = [ cdf!(26828),
+ cdf!(24035),
+ cdf!(12031),
+ cdf!(10640),
+ cdf!(2901) ];
+
+pub static default_comp_ref_type_cdf: [[u16; cdf_size!(2)]; COMP_REF_TYPE_CONTEXTS] = [
+ cdf!(1198),
+ cdf!(2070),
+ cdf!(9166),
+ cdf!(7499),
+ cdf!(22475)
+ ];
+
+pub static default_uni_comp_ref_cdf: [[[u16; cdf_size!(2)]; UNIDIR_COMP_REFS - 1]; UNI_COMP_REF_CONTEXTS] = [
+ [ cdf!(5284), cdf!(3865), cdf!(3128) ],
+ [ cdf!(23152), cdf!(14173), cdf!(15270) ],
+ [ cdf!(31774), cdf!(25120), cdf!(26710) ]
+ ];
+
+pub static default_single_ref_cdf: [[[u16; cdf_size!(2)];SINGLE_REFS - 1]; REF_CONTEXTS] = [
+ [ cdf!(4897),
+ cdf!(1555),
+ cdf!(4236),
+ cdf!(8650),
+ cdf!(904),
+ cdf!(1444) ],
+ [ cdf!(16973),
+ cdf!(16751),
+ cdf!(19647),
+ cdf!(24773),
+ cdf!(11014),
+ cdf!(15087) ],
+ [ cdf!(29744),
+ cdf!(30279),
+ cdf!(31194),
+ cdf!(31895),
+ cdf!(26875),
+ cdf!(30304) ]
+ ];
+
+pub static default_comp_ref_cdf: [[[u16; cdf_size!(2)]; FWD_REFS - 1]; REF_CONTEXTS] = [
+ [ cdf!(4946), cdf!(9468), cdf!(1503) ],
+ [ cdf!(19891), cdf!(22441), cdf!(15160) ],
+ [ cdf!(30731), cdf!(31059), cdf!(27544) ]
+ ];
+
+pub static default_comp_bwdref_cdf: [[[u16; cdf_size!(2)]; BWD_REFS - 1]; REF_CONTEXTS] = [
+ [ cdf!(2235), cdf!(1423) ],
+ [ cdf!(17182), cdf!(15175) ],
+ [ cdf!(30606), cdf!(30489) ]
+ ];
+
+pub static default_palette_y_size_cdf: [[u16; cdf_size!(PaletteSize::PALETTE_SIZES as usize)]; PALATTE_BSIZE_CTXS] = [
+ cdf!(7952, 13000, 18149, 21478, 25527, 29241),
+ cdf!(7139, 11421, 16195, 19544, 23666, 28073),
+ cdf!(7788, 12741, 17325, 20500, 24315, 28530),
+ cdf!(8271, 14064, 18246, 21564, 25071, 28533),
+ cdf!(12725, 19180, 21863, 24839, 27535, 30120),
+ cdf!(9711, 14888, 16923, 21052, 25661, 27875),
+ cdf!(14940, 20797, 21678, 24186, 27033, 28999)
+ ];
+
+pub static default_palette_uv_size_cdf: [[u16; cdf_size!(PaletteSize::PALETTE_SIZES as usize)]; PALATTE_BSIZE_CTXS] = [
+ cdf!(8713, 19979, 27128, 29609, 31331, 32272),
+ cdf!(5839, 15573, 23581, 26947, 29848, 31700),
+ cdf!(4426, 11260, 17999, 21483, 25863, 29430),
+ cdf!(3228, 9464, 14993, 18089, 22523, 27420),
+ cdf!(3768, 8886, 13091, 17852, 22495, 27207),
+ cdf!(2464, 8451, 12861, 21632, 25525, 28555),
+ cdf!(1269, 5435, 10433, 18963, 21700, 25865)
+ ];
+
+pub static default_palette_y_mode_cdf: [[[u16; cdf_size!(2)]; PALETTE_Y_MODE_CONTEXTS]; PALATTE_BSIZE_CTXS] = [
+ [ cdf!(31676), cdf!(3419), cdf!(1261) ],
+ [ cdf!(31912), cdf!(2859), cdf!(980) ],
+ [ cdf!(31823), cdf!(3400), cdf!(781) ],
+ [ cdf!(32030), cdf!(3561), cdf!(904) ],
+ [ cdf!(32309), cdf!(7337), cdf!(1462) ],
+ [ cdf!(32265), cdf!(4015), cdf!(1521) ],
+ [ cdf!(32450), cdf!(7946), cdf!(129) ]
+ ];
+
+pub static default_palette_uv_mode_cdf: [[u16; cdf_size!(2)]; PALETTE_UV_MODE_CONTEXTS] = [
+ cdf!(32461), cdf!(21488)
+ ];
+
+pub static default_palette_y_color_index_cdf: [[[u16; cdf_size!(PaletteColor::PALETTE_COLORS as usize)];
+ PALETTE_COLOR_INDEX_CONTEXTS]; PaletteSize::PALETTE_SIZES as usize] = [
+ [
+ cdf!(28710, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(16384, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(10553, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(27036, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(31603, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ ],
+ [
+ cdf!(27877, 30490, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(11532, 25697, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(6544, 30234, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(23018, 28072, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(31915, 32385, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ ],
+ [
+ cdf!(25572, 28046, 30045, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(9478, 21590, 27256, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(7248, 26837, 29824, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(19167, 24486, 28349, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(31400, 31825, 32250, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ ],
+ [
+ cdf!(24779, 26955, 28576, 30282, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(8669, 20364, 24073, 28093, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(4255, 27565, 29377, 31067, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(19864, 23674, 26716, 29530, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(31646, 31893, 32147, 32426, CDFMAX, CDFMAX, CDFMAX),
+ ],
+ [
+ cdf!(23132, 25407, 26970, 28435, 30073, CDFMAX, CDFMAX),
+ cdf!(7443, 17242, 20717, 24762, 27982, CDFMAX, CDFMAX),
+ cdf!(6300, 24862, 26944, 28784, 30671, CDFMAX, CDFMAX),
+ cdf!(18916, 22895, 25267, 27435, 29652, CDFMAX, CDFMAX),
+ cdf!(31270, 31550, 31808, 32059, 32353, CDFMAX, CDFMAX),
+ ],
+ [
+ cdf!(23105, 25199, 26464, 27684, 28931, 30318, CDFMAX),
+ cdf!(6950, 15447, 18952, 22681, 25567, 28563, CDFMAX),
+ cdf!(7560, 23474, 25490, 27203, 28921, 30708, CDFMAX),
+ cdf!(18544, 22373, 24457, 26195, 28119, 30045, CDFMAX),
+ cdf!(31198, 31451, 31670, 31882, 32123, 32391, CDFMAX),
+ ],
+ [
+ cdf!(21689, 23883, 25163, 26352, 27506, 28827, 30195),
+ cdf!(6892, 15385, 17840, 21606, 24287, 26753, 29204),
+ cdf!(5651, 23182, 25042, 26518, 27982, 29392, 30900),
+ cdf!(19349, 22578, 24418, 25994, 27524, 29031, 30448),
+ cdf!(31028, 31270, 31504, 31705, 31927, 32153, 32392),
+ ],
+ ];
+
+pub static default_palette_uv_color_index_cdf: [[[u16; cdf_size!(PaletteColor::PALETTE_COLORS as usize)];
+ PALETTE_COLOR_INDEX_CONTEXTS];
+ PaletteSize::PALETTE_SIZES as usize] = [
+ [
+ cdf!(29089, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(16384, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(8713, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(29257, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(31610, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ ],
+ [
+ cdf!(25257, 29145, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(12287, 27293, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(7033, 27960, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(20145, 25405, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(30608, 31639, CDFMAX, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ ],
+ [
+ cdf!(24210, 27175, 29903, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(9888, 22386, 27214, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(5901, 26053, 29293, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(18318, 22152, 28333, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(30459, 31136, 31926, CDFMAX, CDFMAX, CDFMAX, CDFMAX),
+ ],
+ [
+ cdf!(22980, 25479, 27781, 29986, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(8413, 21408, 24859, 28874, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(2257, 29449, 30594, 31598, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(19189, 21202, 25915, 28620, CDFMAX, CDFMAX, CDFMAX),
+ cdf!(31844, 32044, 32281, 32518, CDFMAX, CDFMAX, CDFMAX),
+ ],
+ [
+ cdf!(22217, 24567, 26637, 28683, 30548, CDFMAX, CDFMAX),
+ cdf!(7307, 16406, 19636, 24632, 28424, CDFMAX, CDFMAX),
+ cdf!(4441, 25064, 26879, 28942, 30919, CDFMAX, CDFMAX),
+ cdf!(17210, 20528, 23319, 26750, 29582, CDFMAX, CDFMAX),
+ cdf!(30674, 30953, 31396, 31735, 32207, CDFMAX, CDFMAX),
+ ],
+ [
+ cdf!(21239, 23168, 25044, 26962, 28705, 30506, CDFMAX),
+ cdf!(6545, 15012, 18004, 21817, 25503, 28701, CDFMAX),
+ cdf!(3448, 26295, 27437, 28704, 30126, 31442, CDFMAX),
+ cdf!(15889, 18323, 21704, 24698, 26976, 29690, CDFMAX),
+ cdf!(30988, 31204, 31479, 31734, 31983, 32325, CDFMAX),
+ ],
+ [
+ cdf!(21442, 23288, 24758, 26246, 27649, 28980, 30563),
+ cdf!(5863, 14933, 17552, 20668, 23683, 26411, 29273),
+ cdf!(3415, 25810, 26877, 27990, 29223, 30394, 31618),
+ cdf!(17965, 20084, 22232, 23974, 26274, 28402, 30390),
+ cdf!(31190, 31329, 31516, 31679, 31825, 32026, 32322),
+ ],
+ ];
+
+pub static default_txfm_partition_cdf: [[u16; cdf_size!(2)]; TXFM_PARTITION_CONTEXTS] = [
+ cdf!(28581), cdf!(23846), cdf!(20847),
+ cdf!(24315), cdf!(18196), cdf!(12133),
+ cdf!(18791), cdf!(10887), cdf!(11005),
+ cdf!(27179), cdf!(20004), cdf!(11281),
+ cdf!(26549), cdf!(19308), cdf!(14224),
+ cdf!(28015), cdf!(21546), cdf!(14400),
+ cdf!(28165), cdf!(22401), cdf!(16088)
+ ];
+
+pub static default_skip_cdfs: [[u16; cdf_size!(2)]; SKIP_CONTEXTS] = [
+ cdf!(31671), cdf!(16515), cdf!(4576)
+];
+
+pub static default_skip_mode_cdfs: [[u16; cdf_size!(2)]; SKIP_MODE_CONTEXTS] = [ cdf!(32621), cdf!(20708), cdf!(8127) ];
+
+pub static default_compound_idx_cdfs: [[u16; cdf_size!(2)]; COMP_INDEX_CONTEXTS] = [
+ cdf!(18244), cdf!(12865), cdf!(7053),
+ cdf!(13259), cdf!(9334), cdf!(4644)
+ ];
+
+pub static
+ default_comp_group_idx_cdfs: [[u16; cdf_size!(2)]; COMP_GROUP_IDX_CONTEXTS] = [
+ cdf!(26607), cdf!(22891), cdf!(18840),
+ cdf!(24594), cdf!(19934), cdf!(22674)
+ ];
+
+pub static default_intrabc_cdf: [u16; cdf_size!(2)] = cdf!(30531);
+
+pub static default_filter_intra_mode_cdf: [u16; cdf_size!(FilterIntraMode::FILTER_INTRA_MODES as usize)] = cdf!(8949, 12776, 17211, 29558);
+
+pub static default_filter_intra_cdfs: [[u16; cdf_size!(2)]; BlockSize::BLOCK_SIZES_ALL] = [ cdf!(4621), cdf!(6743), cdf!(5893),
+ cdf!(7866), cdf!(12551), cdf!(9394),
+ cdf!(12408), cdf!(14301), cdf!(12756),
+ cdf!(22343), cdf!(16384), cdf!(16384),
+ cdf!(16384), cdf!(16384), cdf!(16384),
+ cdf!(16384), cdf!(12770), cdf!(10368),
+ cdf!(20229), cdf!(18101), cdf!(16384),
+ cdf!(16384) ];
+
+pub static default_switchable_restore_cdf: [u16; cdf_size!(RESTORE_SWITCHABLE_TYPES)] = cdf!(9413, 22581);
+
+pub static default_wiener_restore_cdf: [u16; cdf_size!(2)] = cdf!(11570);
+
+pub static default_sgrproj_restore_cdf: [u16; cdf_size!(2)] = cdf!(16855);
+
+pub static default_delta_q_cdf: [u16; cdf_size!(DELTA_Q_PROBS + 1)] = cdf!(28160, 32120, 32677);
+
+pub static default_delta_lf_multi_cdf: [[u16; cdf_size!(DELTA_LF_PROBS + 1)]; FRAME_LF_COUNT] = [ cdf!(28160, 32120, 32677),
+ cdf!(28160, 32120, 32677),
+ cdf!(28160, 32120, 32677),
+ cdf!(28160, 32120, 32677) ];
+
+pub static default_delta_lf_cdf: [u16; cdf_size!(DELTA_LF_PROBS + 1)] = cdf!(28160, 32120, 32677);
+
+
+// FIXME(someone) need real defaults here
+pub static default_seg_tree_cdf: [u16; cdf_size!(MAX_SEGMENTS)] = cdf!(4096, 8192, 12288, 16384, 20480, 24576, 28672);
+
+pub static default_segment_pred_cdf: [[u16; cdf_size!(2)]; SEG_TEMPORAL_PRED_CTXS] = [
+ cdf!(128 * 128), cdf!(128 * 128), cdf!(128 * 128)
+ ];
+
+pub static default_spatial_pred_seg_tree_cdf: [[u16; cdf_size!(MAX_SEGMENTS)]; SPATIAL_PREDICTION_PROBS] = [
+ cdf!(5622, 7893, 16093, 18233, 27809, 28373, 32533),
+ cdf!(14274, 18230, 22557, 24935, 29980, 30851, 32344),
+ cdf!(27527, 28487, 28723, 28890, 32397, 32647, 32679)
+ ];
+
+pub static default_tx_size_cdf: [[[u16; cdf_size!(MAX_TX_DEPTH + 1)]; TX_SIZE_CONTEXTS]; MAX_TX_CATS] = [
+ [ cdf!(19968, CDFMAX),
+ cdf!(19968, CDFMAX),
+ cdf!(24320, CDFMAX) ],
+ [ cdf!(12272, 30172),
+ cdf!(12272, 30172),
+ cdf!(18677, 30848) ],
+ [ cdf!(12986, 15180),
+ cdf!(12986, 15180),
+ cdf!(24302, 25602) ],
+ [ cdf!(5782, 11475),
+ cdf!(5782, 11475),
+ cdf!(16803, 22759) ]
+ ];
\ No newline at end of file
diff --git a/src/lib.rs b/src/lib.rs
index f7c2b5eb..dfec03dc 100755
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -27,6 +27,8 @@ pub mod predict;
pub mod rdo;
#[macro_use]
pub mod util;
+pub mod entropymode;
+pub mod token_cdfs;
pub mod deblock;
pub mod cdef;
pub mod encoder;
diff --git a/src/partition.rs b/src/partition.rs
index e30f3aa1..7f036e2b 100755
--- a/src/partition.rs
+++ b/src/partition.rs
@@ -356,6 +356,65 @@ pub enum PredictionMode {
NEW_NEWMV
}
+#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
+pub enum InterIntraMode {
+ II_DC_PRED,
+ II_V_PRED,
+ II_H_PRED,
+ II_SMOOTH_PRED,
+ INTERINTRA_MODES
+}
+#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
+pub enum CompoundType {
+ COMPOUND_AVERAGE,
+ COMPOUND_WEDGE,
+ COMPOUND_DIFFWTD,
+ COMPOUND_TYPES,
+}
+
+#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
+pub enum MotionMode {
+ SIMPLE_TRANSLATION,
+ OBMC_CAUSAL, // 2-sided OBMC
+ WARPED_CAUSAL, // 2-sided WARPED
+ MOTION_MODES
+}
+
+#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
+pub enum PaletteSize {
+ TWO_COLORS,
+ THREE_COLORS,
+ FOUR_COLORS,
+ FIVE_COLORS,
+ SIX_COLORS,
+ SEVEN_COLORS,
+ EIGHT_COLORS,
+ PALETTE_SIZES
+}
+
+#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
+pub enum PaletteColor {
+ PALETTE_COLOR_ONE,
+ PALETTE_COLOR_TWO,
+ PALETTE_COLOR_THREE,
+ PALETTE_COLOR_FOUR,
+ PALETTE_COLOR_FIVE,
+ PALETTE_COLOR_SIX,
+ PALETTE_COLOR_SEVEN,
+ PALETTE_COLOR_EIGHT,
+ PALETTE_COLORS
+}
+
+#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
+pub enum FilterIntraMode {
+ FILTER_DC_PRED,
+ FILTER_V_PRED,
+ FILTER_H_PRED,
+ FILTER_D157_PRED,
+ FILTER_PAETH_PRED,
+ FILTER_INTRA_MODES
+}
+
#[derive(Copy, Clone)]
pub struct MotionVector {
pub row: i16,
@@ -364,7 +423,8 @@ pub struct MotionVector {
pub const NEWMV_MODE_CONTEXTS: usize = 7;
pub const GLOBALMV_MODE_CONTEXTS: usize = 2;
-pub const REFMV_MODE_CONTEXTS: usize = 9;
+pub const REFMV_MODE_CONTEXTS: usize = 6;
+pub const INTER_COMPOUND_MODES: usize = (1 + PredictionMode::NEW_NEWMV as usize - PredictionMode::NEAREST_NEARESTMV as usize);
pub const REFMV_OFFSET: usize = 4;
pub const GLOBALMV_OFFSET: usize = 3;
diff --git a/src/token_cdfs.rs b/src/token_cdfs.rs
new file mode 100644
index 00000000..a77b6985
--- /dev/null
+++ b/src/token_cdfs.rs
@@ -0,0 +1,3534 @@
+// Copyright (c) 2018, The rav1e contributors. All rights reserved
+//
+// This source code is subject to the terms of the BSD 2 Clause License and
+// the Alliance for Open Media Patent License 1.0. If the BSD 2 Clause License
+// was not distributed with this source code in the LICENSE file, you can
+// obtain it at www.aomedia.org/license/software. If the Alliance for Open
+// Media Patent License 1.0 was not distributed with this source code in the
+// PATENTS file, you can obtain it at www.aomedia.org/license/patent.
+
+#![allow(non_upper_case_globals)]
+
+use context::*;
+use partition::*;
+
+const TOKEN_CDF_Q_CTXS: usize = 4;
+
+pub static av1_default_dc_sign_cdfs: [[[[u16; cdf_size!(2)]; DC_SIGN_CONTEXTS]; PLANE_TYPES]; TOKEN_CDF_Q_CTXS] = [
+ [ [
+ cdf!(128 * 125),
+ cdf!(128 * 102),
+ cdf!(128 * 147),
+ ],
+ [
+ cdf!(128 * 119),
+ cdf!(128 * 101),
+ cdf!(128 * 135),
+ ] ],
+ [ [
+ cdf!(128 * 125),
+ cdf!(128 * 102),
+ cdf!(128 * 147),
+ ],
+ [
+ cdf!(128 * 119),
+ cdf!(128 * 101),
+ cdf!(128 * 135),
+ ] ],
+ [ [
+ cdf!(128 * 125),
+ cdf!(128 * 102),
+ cdf!(128 * 147),
+ ],
+ [
+ cdf!(128 * 119),
+ cdf!(128 * 101),
+ cdf!(128 * 135),
+ ] ],
+ [ [
+ cdf!(128 * 125),
+ cdf!(128 * 102),
+ cdf!(128 * 147),
+ ],
+ [
+ cdf!(128 * 119),
+ cdf!(128 * 101),
+ cdf!(128 * 135),
+ ] ],
+ ];
+
+pub static av1_default_txb_skip_cdfs: [[[[u16; cdf_size!(2)]; TXB_SKIP_CONTEXTS]; TxSize::TX_SIZES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ cdf!(31849),
+ cdf!(5892),
+ cdf!(12112),
+ cdf!(21935),
+ cdf!(20289),
+ cdf!(27473),
+ cdf!(32487),
+ cdf!(7654),
+ cdf!(19473),
+ cdf!(29984),
+ cdf!(9961),
+ cdf!(30242),
+ cdf!(32117) ],
+ [ cdf!(31548),
+ cdf!(1549),
+ cdf!(10130),
+ cdf!(16656),
+ cdf!(18591),
+ cdf!(26308),
+ cdf!(32537),
+ cdf!(5403),
+ cdf!(18096),
+ cdf!(30003),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(29957),
+ cdf!(5391),
+ cdf!(18039),
+ cdf!(23566),
+ cdf!(22431),
+ cdf!(25822),
+ cdf!(32197),
+ cdf!(3778),
+ cdf!(15336),
+ cdf!(28981),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(17920),
+ cdf!(1818),
+ cdf!(7282),
+ cdf!(25273),
+ cdf!(10923),
+ cdf!(31554),
+ cdf!(32624),
+ cdf!(1366),
+ cdf!(15628),
+ cdf!(30462),
+ cdf!(146),
+ cdf!(5132),
+ cdf!(31657) ],
+ [ cdf!(6308),
+ cdf!(117),
+ cdf!(1638),
+ cdf!(2161),
+ cdf!(16384),
+ cdf!(10923),
+ cdf!(30247),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ] ],
+ [ [ cdf!(30371),
+ cdf!(7570),
+ cdf!(13155),
+ cdf!(20751),
+ cdf!(20969),
+ cdf!(27067),
+ cdf!(32013),
+ cdf!(5495),
+ cdf!(17942),
+ cdf!(28280),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(31782),
+ cdf!(1836),
+ cdf!(10689),
+ cdf!(17604),
+ cdf!(21622),
+ cdf!(27518),
+ cdf!(32399),
+ cdf!(4419),
+ cdf!(16294),
+ cdf!(28345),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(31901),
+ cdf!(10311),
+ cdf!(18047),
+ cdf!(24806),
+ cdf!(23288),
+ cdf!(27914),
+ cdf!(32296),
+ cdf!(4215),
+ cdf!(15756),
+ cdf!(28341),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(26726),
+ cdf!(1045),
+ cdf!(11703),
+ cdf!(20590),
+ cdf!(18554),
+ cdf!(25970),
+ cdf!(31938),
+ cdf!(5583),
+ cdf!(21313),
+ cdf!(29390),
+ cdf!(641),
+ cdf!(22265),
+ cdf!(31452) ],
+ [ cdf!(26584),
+ cdf!(188),
+ cdf!(8847),
+ cdf!(24519),
+ cdf!(22938),
+ cdf!(30583),
+ cdf!(32608),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ] ],
+ [ [ cdf!(29614),
+ cdf!(9068),
+ cdf!(12924),
+ cdf!(19538),
+ cdf!(17737),
+ cdf!(24619),
+ cdf!(30642),
+ cdf!(4119),
+ cdf!(16026),
+ cdf!(25657),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(31957),
+ cdf!(3230),
+ cdf!(11153),
+ cdf!(18123),
+ cdf!(20143),
+ cdf!(26536),
+ cdf!(31986),
+ cdf!(3050),
+ cdf!(14603),
+ cdf!(25155),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(32363),
+ cdf!(10692),
+ cdf!(19090),
+ cdf!(24357),
+ cdf!(24442),
+ cdf!(28312),
+ cdf!(32169),
+ cdf!(3648),
+ cdf!(15690),
+ cdf!(26815),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(30669),
+ cdf!(3832),
+ cdf!(11663),
+ cdf!(18889),
+ cdf!(19782),
+ cdf!(23313),
+ cdf!(31330),
+ cdf!(5124),
+ cdf!(18719),
+ cdf!(28468),
+ cdf!(3082),
+ cdf!(20982),
+ cdf!(29443) ],
+ [ cdf!(28573),
+ cdf!(3183),
+ cdf!(17802),
+ cdf!(25977),
+ cdf!(26677),
+ cdf!(27832),
+ cdf!(32387),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ] ],
+ [ [ cdf!(26887),
+ cdf!(6729),
+ cdf!(10361),
+ cdf!(17442),
+ cdf!(15045),
+ cdf!(22478),
+ cdf!(29072),
+ cdf!(2713),
+ cdf!(11861),
+ cdf!(20773),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(31903),
+ cdf!(2044),
+ cdf!(7528),
+ cdf!(14618),
+ cdf!(16182),
+ cdf!(24168),
+ cdf!(31037),
+ cdf!(2786),
+ cdf!(11194),
+ cdf!(20155),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(32510),
+ cdf!(8430),
+ cdf!(17318),
+ cdf!(24154),
+ cdf!(23674),
+ cdf!(28789),
+ cdf!(32139),
+ cdf!(3440),
+ cdf!(13117),
+ cdf!(22702),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ],
+ [ cdf!(31671),
+ cdf!(2056),
+ cdf!(11746),
+ cdf!(16852),
+ cdf!(18635),
+ cdf!(24715),
+ cdf!(31484),
+ cdf!(4656),
+ cdf!(16074),
+ cdf!(24704),
+ cdf!(1806),
+ cdf!(14645),
+ cdf!(25336) ],
+ [ cdf!(31539),
+ cdf!(8433),
+ cdf!(20576),
+ cdf!(27904),
+ cdf!(27852),
+ cdf!(30026),
+ cdf!(32441),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384) ] ] ];
+
+pub static av1_default_eob_extra_cdfs: [[[[[u16; cdf_size!(2)]; EOB_COEF_CONTEXTS]; PLANE_TYPES]; TxSize::TX_SIZES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ [
+ cdf!(16961),
+ cdf!(17223),
+ cdf!(7621),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(19069),
+ cdf!(22525),
+ cdf!(13377),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(20401),
+ cdf!(17025),
+ cdf!(12845),
+ cdf!(12873),
+ cdf!(14094),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(20681),
+ cdf!(20701),
+ cdf!(15250),
+ cdf!(15017),
+ cdf!(14928),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(23905),
+ cdf!(17194),
+ cdf!(16170),
+ cdf!(17695),
+ cdf!(13826),
+ cdf!(15810),
+ cdf!(12036),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(23959),
+ cdf!(20799),
+ cdf!(19021),
+ cdf!(16203),
+ cdf!(17886),
+ cdf!(14144),
+ cdf!(12010),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(27399),
+ cdf!(16327),
+ cdf!(18071),
+ cdf!(19584),
+ cdf!(20721),
+ cdf!(18432),
+ cdf!(19560),
+ cdf!(10150),
+ cdf!(8805),
+ ],
+ [
+ cdf!(24932),
+ cdf!(20833),
+ cdf!(12027),
+ cdf!(16670),
+ cdf!(19914),
+ cdf!(15106),
+ cdf!(17662),
+ cdf!(13783),
+ cdf!(28756),
+ ] ],
+ [ [
+ cdf!(23406),
+ cdf!(21845),
+ cdf!(18432),
+ cdf!(16384),
+ cdf!(17096),
+ cdf!(12561),
+ cdf!(17320),
+ cdf!(22395),
+ cdf!(21370),
+ ],
+ [
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ] ],
+ [ [ [
+ cdf!(17471),
+ cdf!(20223),
+ cdf!(11357),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(20335),
+ cdf!(21667),
+ cdf!(14818),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(20430),
+ cdf!(20662),
+ cdf!(15367),
+ cdf!(16970),
+ cdf!(14657),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(22117),
+ cdf!(22028),
+ cdf!(18650),
+ cdf!(16042),
+ cdf!(15885),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(22409),
+ cdf!(21012),
+ cdf!(15650),
+ cdf!(17395),
+ cdf!(15469),
+ cdf!(20205),
+ cdf!(19511),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(24220),
+ cdf!(22480),
+ cdf!(17737),
+ cdf!(18916),
+ cdf!(19268),
+ cdf!(18412),
+ cdf!(18844),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(25991),
+ cdf!(20314),
+ cdf!(17731),
+ cdf!(19678),
+ cdf!(18649),
+ cdf!(17307),
+ cdf!(21798),
+ cdf!(17549),
+ cdf!(15630),
+ ],
+ [
+ cdf!(26585),
+ cdf!(21469),
+ cdf!(20432),
+ cdf!(17735),
+ cdf!(19280),
+ cdf!(15235),
+ cdf!(20297),
+ cdf!(22471),
+ cdf!(28997),
+ ] ],
+ [ [
+ cdf!(26605),
+ cdf!(11304),
+ cdf!(16726),
+ cdf!(16560),
+ cdf!(20866),
+ cdf!(23524),
+ cdf!(19878),
+ cdf!(13469),
+ cdf!(23084),
+ ],
+ [
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ] ],
+ [ [ [
+ cdf!(18983),
+ cdf!(20512),
+ cdf!(14885),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(20090),
+ cdf!(19444),
+ cdf!(17286),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(19139),
+ cdf!(21487),
+ cdf!(18959),
+ cdf!(20910),
+ cdf!(19089),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(20536),
+ cdf!(20664),
+ cdf!(20625),
+ cdf!(19123),
+ cdf!(14862),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(19833),
+ cdf!(21502),
+ cdf!(17485),
+ cdf!(20267),
+ cdf!(18353),
+ cdf!(23329),
+ cdf!(21478),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(22041),
+ cdf!(23434),
+ cdf!(20001),
+ cdf!(20554),
+ cdf!(20951),
+ cdf!(20145),
+ cdf!(15562),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(23312),
+ cdf!(21607),
+ cdf!(16526),
+ cdf!(18957),
+ cdf!(18034),
+ cdf!(18934),
+ cdf!(24247),
+ cdf!(16921),
+ cdf!(17080),
+ ],
+ [
+ cdf!(26579),
+ cdf!(24910),
+ cdf!(18637),
+ cdf!(19800),
+ cdf!(20388),
+ cdf!(9887),
+ cdf!(15642),
+ cdf!(30198),
+ cdf!(24721),
+ ] ],
+ [ [
+ cdf!(26998),
+ cdf!(16737),
+ cdf!(17838),
+ cdf!(18922),
+ cdf!(19515),
+ cdf!(18636),
+ cdf!(17333),
+ cdf!(15776),
+ cdf!(22658),
+ ],
+ [
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ] ],
+ [ [ [
+ cdf!(20177),
+ cdf!(20789),
+ cdf!(20262),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(21416),
+ cdf!(20855),
+ cdf!(23410),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(20238),
+ cdf!(21057),
+ cdf!(19159),
+ cdf!(22337),
+ cdf!(20159),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(20125),
+ cdf!(20559),
+ cdf!(21707),
+ cdf!(22296),
+ cdf!(17333),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(19941),
+ cdf!(20527),
+ cdf!(21470),
+ cdf!(22487),
+ cdf!(19558),
+ cdf!(22354),
+ cdf!(20331),
+ cdf!(16384),
+ cdf!(16384),
+ ],
+ [
+ cdf!(22752),
+ cdf!(25006),
+ cdf!(22075),
+ cdf!(21576),
+ cdf!(17740),
+ cdf!(21690),
+ cdf!(19211),
+ cdf!(16384),
+ cdf!(16384),
+ ] ],
+ [ [
+ cdf!(21442),
+ cdf!(22358),
+ cdf!(18503),
+ cdf!(20291),
+ cdf!(19945),
+ cdf!(21294),
+ cdf!(21178),
+ cdf!(19400),
+ cdf!(10556),
+ ],
+ [
+ cdf!(24648),
+ cdf!(24949),
+ cdf!(20708),
+ cdf!(23905),
+ cdf!(20501),
+ cdf!(9558),
+ cdf!(9423),
+ cdf!(30365),
+ cdf!(19253),
+ ] ],
+ [ [
+ cdf!(26064),
+ cdf!(22098),
+ cdf!(19613),
+ cdf!(20525),
+ cdf!(17595),
+ cdf!(16618),
+ cdf!(20497),
+ cdf!(18989),
+ cdf!(15513),
+ ],
+ [
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ cdf!(16384),
+ ] ] ]
+ ];
+
+pub static av1_default_eob_multi16_cdfs: [[[[u16; cdf_size!(5)]; 2]; PLANE_TYPES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ cdf!(840, 1039, 1980, 4895),
+ cdf!(370, 671, 1883, 4471) ],
+ [ cdf!(3247, 4950, 9688, 14563),
+ cdf!(1904, 3354, 7763, 14647) ] ],
+ [ [ cdf!(2125, 2551, 5165, 8946),
+ cdf!(513, 765, 1859, 6339) ],
+ [ cdf!(7637, 9498, 14259, 19108),
+ cdf!(2497, 4096, 8866, 16993) ] ],
+ [ [ cdf!(4016, 4897, 8881, 14968),
+ cdf!(716, 1105, 2646, 10056) ],
+ [ cdf!(11139, 13270, 18241, 23566),
+ cdf!(3192, 5032, 10297, 19755) ] ],
+ [ [ cdf!(6708, 8958, 14746, 22133),
+ cdf!(1222, 2074, 4783, 15410) ],
+ [ cdf!(19575, 21766, 26044, 29709),
+ cdf!(7297, 10767, 19273, 28194) ] ] ];
+
+pub static av1_default_eob_multi32_cdfs: [[[[u16; cdf_size!(6)]; 2]; PLANE_TYPES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ cdf!(400, 520, 977, 2102, 6542),
+ cdf!(210, 405, 1315, 3326, 7537) ],
+ [ cdf!(2636, 4273, 7588, 11794, 20401),
+ cdf!(1786, 3179, 6902, 11357, 19054) ] ],
+ [ [ cdf!(989, 1249, 2019, 4151, 10785),
+ cdf!(313, 441, 1099, 2917, 8562) ],
+ [ cdf!(8394, 10352, 13932, 18855, 26014),
+ cdf!(2578, 4124, 8181, 13670, 24234) ] ],
+ [ [ cdf!(2515, 3003, 4452, 8162, 16041),
+ cdf!(574, 821, 1836, 5089, 13128) ],
+ [ cdf!(13468, 16303, 20361, 25105, 29281),
+ cdf!(3542, 5502, 10415, 16760, 25644) ] ],
+ [ [ cdf!(4617, 5709, 8446, 13584, 23135),
+ cdf!(1156, 1702, 3675, 9274, 20539) ],
+ [ cdf!(22086, 24282, 27010, 29770, 31743),
+ cdf!(7699, 10897, 20891, 26926, 31628) ] ] ];
+
+pub static av1_default_eob_multi64_cdfs: [[[[u16; cdf_size!(7)]; 2]; PLANE_TYPES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ cdf!(329, 498, 1101, 1784, 3265, 7758),
+ cdf!(335, 730, 1459, 5494, 8755, 12997) ],
+ [ cdf!(3505, 5304, 10086, 13814, 17684, 23370),
+ cdf!(1563, 2700, 4876, 10911, 14706, 22480) ] ],
+ [ [ cdf!(1260, 1446, 2253, 3712, 6652, 13369),
+ cdf!(401, 605, 1029, 2563, 5845, 12626) ],
+ [ cdf!(8609, 10612, 14624, 18714, 22614, 29024),
+ cdf!(1923, 3127, 5867, 9703, 14277, 27100) ] ],
+ [ [ cdf!(2374, 2772, 4583, 7276, 12288, 19706),
+ cdf!(497, 810, 1315, 3000, 7004, 15641) ],
+ [ cdf!(15050, 17126, 21410, 24886, 28156, 30726),
+ cdf!(4034, 6290, 10235, 14982, 21214, 28491) ] ],
+ [ [ cdf!(6307, 7541, 12060, 16358, 22553, 27865),
+ cdf!(1289, 2320, 3971, 7926, 14153, 24291) ],
+ [ cdf!(24212, 25708, 28268, 30035, 31307, 32049),
+ cdf!(8726, 12378, 19409, 26450, 30038, 32462) ] ] ];
+
+pub static av1_default_eob_multi128_cdfs: [[[[u16; cdf_size!(8)]; 2]; PLANE_TYPES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ cdf!(219, 482, 1140, 2091, 3680, 6028, 12586),
+ cdf!(371, 699, 1254, 4830, 9479, 12562, 17497) ],
+ [ cdf!(5245, 7456, 12880, 15852, 20033, 23932, 27608),
+ cdf!(2054, 3472, 5869, 14232, 18242, 20590, 26752) ] ],
+ [ [ cdf!(685, 933, 1488, 2714, 4766, 8562, 19254),
+ cdf!(217, 352, 618, 2303, 5261, 9969, 17472) ],
+ [ cdf!(8045, 11200, 15497, 19595, 23948, 27408, 30938),
+ cdf!(2310, 4160, 7471, 14997, 17931, 20768, 30240) ] ],
+ [ [ cdf!(1366, 1738, 2527, 5016, 9355, 15797, 24643),
+ cdf!(354, 558, 944, 2760, 7287, 14037, 21779) ],
+ [ cdf!(13627, 16246, 20173, 24429, 27948, 30415, 31863),
+ cdf!(6275, 9889, 14769, 23164, 27988, 30493, 32272) ] ],
+ [ [ cdf!(3472, 4885, 7489, 12481, 18517, 24536, 29635),
+ cdf!(886, 1731, 3271, 8469, 15569, 22126, 28383) ],
+ [ cdf!(24313, 26062, 28385, 30107, 31217, 31898, 32345),
+ cdf!(9165, 13282, 21150, 30286, 31894, 32571, 32712) ] ]
+ ];
+
+pub static av1_default_eob_multi256_cdfs: [[[[u16; cdf_size!(9)]; 2]; PLANE_TYPES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ cdf!(310, 584, 1887, 3589, 6168, 8611, 11352, 15652),
+ cdf!(998, 1850, 2998, 5604, 17341, 19888, 22899, 25583) ],
+ [ cdf!(2520, 3240, 5952, 8870, 12577, 17558, 19954, 24168),
+ cdf!(2203, 4130, 7435, 10739, 20652, 23681, 25609, 27261) ] ],
+ [ [ cdf!(1448, 2109, 4151, 6263, 9329, 13260, 17944, 23300),
+ cdf!(399, 1019, 1749, 3038, 10444, 15546, 22739, 27294) ],
+ [ cdf!(6402, 8148, 12623, 15072, 18728, 22847, 26447, 29377),
+ cdf!(1674, 3252, 5734, 10159, 22397, 23802, 24821, 30940) ] ],
+ [ [ cdf!(3089, 3920, 6038, 9460, 14266, 19881, 25766, 29176),
+ cdf!(1084, 2358, 3488, 5122, 11483, 18103, 26023, 29799) ],
+ [ cdf!(11514, 13794, 17480, 20754, 24361, 27378, 29492, 31277),
+ cdf!(6571, 9610, 15516, 21826, 29092, 30829, 31842,
+ 32708) ] ],
+ [ [ cdf!(5348, 7113, 11820, 15924, 22106, 26777, 30334, 31757),
+ cdf!(2453, 4474, 6307, 8777, 16474, 22975, 29000, 31547) ],
+ [ cdf!(23110, 24597, 27140, 28894, 30167, 30927, 31392, 32094),
+ cdf!(9998, 17661, 25178, 28097, 31308, 32038, 32403,
+ 32695) ] ]
+ ];
+
+pub static av1_default_eob_multi512_cdfs: [[[[u16; cdf_size!(10)]; 2]; PLANE_TYPES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ cdf!(641, 983, 3707, 5430, 10234, 14958, 18788,
+ 23412, 26061),
+ cdf!(3277, 6554, 9830, 13107, 16384, 19661, 22938,
+ 26214, 29491) ],
+ [ cdf!(5095, 6446, 9996, 13354, 16017, 17986, 20919,
+ 26129, 29140),
+ cdf!(3277, 6554, 9830, 13107, 16384, 19661, 22938,
+ 26214, 29491) ] ],
+ [ [ cdf!(1230, 2278, 5035, 7776, 11871, 15346, 19590,
+ 24584, 28749),
+ cdf!(3277, 6554, 9830, 13107, 16384, 19661, 22938,
+ 26214, 29491) ],
+ [ cdf!(7265, 9979, 15819, 19250, 21780, 23846, 26478,
+ 28396, 31811),
+ cdf!(3277, 6554, 9830, 13107, 16384, 19661, 22938,
+ 26214, 29491) ] ],
+ [ [ cdf!(2624, 3936, 6480, 9686, 13979, 17726, 23267,
+ 28410, 31078),
+ cdf!(3277, 6554, 9830, 13107, 16384, 19661, 22938,
+ 26214, 29491) ],
+ [ cdf!(12015, 14769, 19588, 22052, 24222, 25812,
+ 27300, 29219, 32114),
+ cdf!(3277, 6554, 9830, 13107, 16384, 19661, 22938,
+ 26214, 29491) ] ],
+ [ [ cdf!(5927, 7809, 10923, 14597, 19439, 24135, 28456,
+ 31142, 32060),
+ cdf!(3277, 6554, 9830, 13107, 16384, 19661, 22938,
+ 26214, 29491) ],
+ [ cdf!(21093, 23043, 25742, 27658, 29097, 29716,
+ 30073, 30820, 31956),
+ cdf!(3277, 6554, 9830, 13107, 16384, 19661, 22938,
+ 26214, 29491) ] ] ];
+
+pub static av1_default_eob_multi1024_cdfs: [[[[u16; cdf_size!(11)]; 2]; PLANE_TYPES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ cdf!(393, 421, 751, 1623, 3160, 6352, 13345, 18047,
+ 22571, 25830),
+ cdf!(2979, 5958, 8937, 11916, 14895, 17873, 20852,
+ 23831, 26810, 29789) ],
+ [ cdf!(1865, 1988, 2930, 4242, 10533, 16538, 21354,
+ 27255, 28546, 31784),
+ cdf!(2979, 5958, 8937, 11916, 14895, 17873, 20852,
+ 23831, 26810, 29789) ] ],
+ [ [ cdf!(696, 948, 3145, 5702, 9706, 13217, 17851,
+ 21856, 25692, 28034),
+ cdf!(2979, 5958, 8937, 11916, 14895, 17873, 20852,
+ 23831, 26810, 29789) ],
+ [ cdf!(2672, 3591, 9330, 17084, 22725, 24284, 26527,
+ 28027, 28377, 30876),
+ cdf!(2979, 5958, 8937, 11916, 14895, 17873, 20852,
+ 23831, 26810, 29789) ] ],
+ [ [ cdf!(2784, 3831, 7041, 10521, 14847, 18844, 23155,
+ 26682, 29229, 31045),
+ cdf!(2979, 5958, 8937, 11916, 14895, 17873, 20852,
+ 23831, 26810, 29789) ],
+ [ cdf!(9577, 12466, 17739, 20750, 22061, 23215, 24601,
+ 25483, 25843, 32056),
+ cdf!(2979, 5958, 8937, 11916, 14895, 17873, 20852,
+ 23831, 26810, 29789) ] ],
+ [ [ cdf!(6698, 8334, 11961, 15762, 20186, 23862, 27434,
+ 29326, 31082, 32050),
+ cdf!(2979, 5958, 8937, 11916, 14895, 17873, 20852,
+ 23831, 26810, 29789) ],
+ [ cdf!(20569, 22426, 25569, 26859, 28053, 28913,
+ 29486, 29724, 29807, 32570),
+ cdf!(2979, 5958, 8937, 11916, 14895, 17873, 20852,
+ 23831, 26810, 29789) ] ] ];
+
+pub static av1_default_coeff_lps_multi_cdfs: [[[[[u16; cdf_size!(BR_CDF_SIZE)]; LEVEL_CONTEXTS]; PLANE_TYPES]; TxSize::TX_SIZES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ [ cdf!(14298, 20718, 24174),
+ cdf!(12536, 19601, 23789),
+ cdf!(8712, 15051, 19503),
+ cdf!(6170, 11327, 15434),
+ cdf!(4742, 8926, 12538),
+ cdf!(3803, 7317, 10546),
+ cdf!(1696, 3317, 4871),
+ cdf!(14392, 19951, 22756),
+ cdf!(15978, 23218, 26818),
+ cdf!(12187, 19474, 23889),
+ cdf!(9176, 15640, 20259),
+ cdf!(7068, 12655, 17028),
+ cdf!(5656, 10442, 14472),
+ cdf!(2580, 4992, 7244),
+ cdf!(12136, 18049, 21426),
+ cdf!(13784, 20721, 24481),
+ cdf!(10836, 17621, 21900),
+ cdf!(8372, 14444, 18847),
+ cdf!(6523, 11779, 16000),
+ cdf!(5337, 9898, 13760),
+ cdf!(3034, 5860, 8462) ],
+ [ cdf!(15967, 22905, 26286),
+ cdf!(13534, 20654, 24579),
+ cdf!(9504, 16092, 20535),
+ cdf!(6975, 12568, 16903),
+ cdf!(5364, 10091, 14020),
+ cdf!(4357, 8370, 11857),
+ cdf!(2506, 4934, 7218),
+ cdf!(23032, 28815, 30936),
+ cdf!(19540, 26704, 29719),
+ cdf!(15158, 22969, 27097),
+ cdf!(11408, 18865, 23650),
+ cdf!(8885, 15448, 20250),
+ cdf!(7108, 12853, 17416),
+ cdf!(4231, 8041, 11480),
+ cdf!(19823, 26490, 29156),
+ cdf!(18890, 25929, 28932),
+ cdf!(15660, 23491, 27433),
+ cdf!(12147, 19776, 24488),
+ cdf!(9728, 16774, 21649),
+ cdf!(7919, 14277, 19066),
+ cdf!(5440, 10170, 14185) ] ],
+ [ [ cdf!(14406, 20862, 24414),
+ cdf!(11824, 18907, 23109),
+ cdf!(8257, 14393, 18803),
+ cdf!(5860, 10747, 14778),
+ cdf!(4475, 8486, 11984),
+ cdf!(3606, 6954, 10043),
+ cdf!(1736, 3410, 5048),
+ cdf!(14430, 20046, 22882),
+ cdf!(15593, 22899, 26709),
+ cdf!(12102, 19368, 23811),
+ cdf!(9059, 15584, 20262),
+ cdf!(6999, 12603, 17048),
+ cdf!(5684, 10497, 14553),
+ cdf!(2822, 5438, 7862),
+ cdf!(15785, 21585, 24359),
+ cdf!(18347, 25229, 28266),
+ cdf!(14974, 22487, 26389),
+ cdf!(11423, 18681, 23271),
+ cdf!(8863, 15350, 20008),
+ cdf!(7153, 12852, 17278),
+ cdf!(3707, 7036, 9982) ],
+ [ cdf!(15460, 21696, 25469),
+ cdf!(12170, 19249, 23191),
+ cdf!(8723, 15027, 19332),
+ cdf!(6428, 11704, 15874),
+ cdf!(4922, 9292, 13052),
+ cdf!(4139, 7695, 11010),
+ cdf!(2291, 4508, 6598),
+ cdf!(19856, 26920, 29828),
+ cdf!(17923, 25289, 28792),
+ cdf!(14278, 21968, 26297),
+ cdf!(10910, 18136, 22950),
+ cdf!(8423, 14815, 19627),
+ cdf!(6771, 12283, 16774),
+ cdf!(4074, 7750, 11081),
+ cdf!(19852, 26074, 28672),
+ cdf!(19371, 26110, 28989),
+ cdf!(16265, 23873, 27663),
+ cdf!(12758, 20378, 24952),
+ cdf!(10095, 17098, 21961),
+ cdf!(8250, 14628, 19451),
+ cdf!(5205, 9745, 13622) ] ],
+ [ [ cdf!(10563, 16233, 19763),
+ cdf!(9794, 16022, 19804),
+ cdf!(6750, 11945, 15759),
+ cdf!(4963, 9186, 12752),
+ cdf!(3845, 7435, 10627),
+ cdf!(3051, 6085, 8834),
+ cdf!(1311, 2596, 3830),
+ cdf!(11246, 16404, 19689),
+ cdf!(12315, 18911, 22731),
+ cdf!(10557, 17095, 21289),
+ cdf!(8136, 14006, 18249),
+ cdf!(6348, 11474, 15565),
+ cdf!(5196, 9655, 13400),
+ cdf!(2349, 4526, 6587),
+ cdf!(13337, 18730, 21569),
+ cdf!(19306, 26071, 28882),
+ cdf!(15952, 23540, 27254),
+ cdf!(12409, 19934, 24430),
+ cdf!(9760, 16706, 21389),
+ cdf!(8004, 14220, 18818),
+ cdf!(4138, 7794, 10961) ],
+ [ cdf!(10870, 16684, 20949),
+ cdf!(9664, 15230, 18680),
+ cdf!(6886, 12109, 15408),
+ cdf!(4825, 8900, 12305),
+ cdf!(3630, 7162, 10314),
+ cdf!(3036, 6429, 9387),
+ cdf!(1671, 3296, 4940),
+ cdf!(13819, 19159, 23026),
+ cdf!(11984, 19108, 23120),
+ cdf!(10690, 17210, 21663),
+ cdf!(7984, 14154, 18333),
+ cdf!(6868, 12294, 16124),
+ cdf!(5274, 8994, 12868),
+ cdf!(2988, 5771, 8424),
+ cdf!(19736, 26647, 29141),
+ cdf!(18933, 26070, 28984),
+ cdf!(15779, 23048, 27200),
+ cdf!(12638, 20061, 24532),
+ cdf!(10692, 17545, 22220),
+ cdf!(9217, 15251, 20054),
+ cdf!(5078, 9284, 12594) ] ],
+ [ [ cdf!(2331, 3662, 5244),
+ cdf!(2891, 4771, 6145),
+ cdf!(4598, 7623, 9729),
+ cdf!(3520, 6845, 9199),
+ cdf!(3417, 6119, 9324),
+ cdf!(2601, 5412, 7385),
+ cdf!(600, 1173, 1744),
+ cdf!(7672, 13286, 17469),
+ cdf!(4232, 7792, 10793),
+ cdf!(2915, 5317, 7397),
+ cdf!(2318, 4356, 6152),
+ cdf!(2127, 4000, 5554),
+ cdf!(1850, 3478, 5275),
+ cdf!(977, 1933, 2843),
+ cdf!(18280, 24387, 27989),
+ cdf!(15852, 22671, 26185),
+ cdf!(13845, 20951, 24789),
+ cdf!(11055, 17966, 22129),
+ cdf!(9138, 15422, 19801),
+ cdf!(7454, 13145, 17456),
+ cdf!(3370, 6393, 9013) ],
+ [ cdf!(5842, 9229, 10838),
+ cdf!(2313, 3491, 4276),
+ cdf!(2998, 6104, 7496),
+ cdf!(2420, 7447, 9868),
+ cdf!(3034, 8495, 10923),
+ cdf!(4076, 8937, 10975),
+ cdf!(1086, 2370, 3299),
+ cdf!(9714, 17254, 20444),
+ cdf!(8543, 13698, 17123),
+ cdf!(4918, 9007, 11910),
+ cdf!(4129, 7532, 10553),
+ cdf!(2364, 5533, 8058),
+ cdf!(1834, 3546, 5563),
+ cdf!(1473, 2908, 4133),
+ cdf!(15405, 21193, 25619),
+ cdf!(15691, 21952, 26561),
+ cdf!(12962, 19194, 24165),
+ cdf!(10272, 17855, 22129),
+ cdf!(8588, 15270, 20718),
+ cdf!(8682, 14669, 19500),
+ cdf!(4870, 9636, 13205) ] ],
+ [ [ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ] ],
+ [ [ [ cdf!(14995, 21341, 24749),
+ cdf!(13158, 20289, 24601),
+ cdf!(8941, 15326, 19876),
+ cdf!(6297, 11541, 15807),
+ cdf!(4817, 9029, 12776),
+ cdf!(3731, 7273, 10627),
+ cdf!(1847, 3617, 5354),
+ cdf!(14472, 19659, 22343),
+ cdf!(16806, 24162, 27533),
+ cdf!(12900, 20404, 24713),
+ cdf!(9411, 16112, 20797),
+ cdf!(7056, 12697, 17148),
+ cdf!(5544, 10339, 14460),
+ cdf!(2954, 5704, 8319),
+ cdf!(12464, 18071, 21354),
+ cdf!(15482, 22528, 26034),
+ cdf!(12070, 19269, 23624),
+ cdf!(8953, 15406, 20106),
+ cdf!(7027, 12730, 17220),
+ cdf!(5887, 10913, 15140),
+ cdf!(3793, 7278, 10447) ],
+ [ cdf!(15571, 22232, 25749),
+ cdf!(14506, 21575, 25374),
+ cdf!(10189, 17089, 21569),
+ cdf!(7316, 13301, 17915),
+ cdf!(5783, 10912, 15190),
+ cdf!(4760, 9155, 13088),
+ cdf!(2993, 5966, 8774),
+ cdf!(23424, 28903, 30778),
+ cdf!(20775, 27666, 30290),
+ cdf!(16474, 24410, 28299),
+ cdf!(12471, 20180, 24987),
+ cdf!(9410, 16487, 21439),
+ cdf!(7536, 13614, 18529),
+ cdf!(5048, 9586, 13549),
+ cdf!(21090, 27290, 29756),
+ cdf!(20796, 27402, 30026),
+ cdf!(17819, 25485, 28969),
+ cdf!(13860, 21909, 26462),
+ cdf!(11002, 18494, 23529),
+ cdf!(8953, 15929, 20897),
+ cdf!(6448, 11918, 16454) ] ],
+ [ [ cdf!(15999, 22208, 25449),
+ cdf!(13050, 19988, 24122),
+ cdf!(8594, 14864, 19378),
+ cdf!(6033, 11079, 15238),
+ cdf!(4554, 8683, 12347),
+ cdf!(3672, 7139, 10337),
+ cdf!(1900, 3771, 5576),
+ cdf!(15788, 21340, 23949),
+ cdf!(16825, 24235, 27758),
+ cdf!(12873, 20402, 24810),
+ cdf!(9590, 16363, 21094),
+ cdf!(7352, 13209, 17733),
+ cdf!(5960, 10989, 15184),
+ cdf!(3232, 6234, 9007),
+ cdf!(15761, 20716, 23224),
+ cdf!(19318, 25989, 28759),
+ cdf!(15529, 23094, 26929),
+ cdf!(11662, 18989, 23641),
+ cdf!(8955, 15568, 20366),
+ cdf!(7281, 13106, 17708),
+ cdf!(4248, 8059, 11440) ],
+ [ cdf!(14899, 21217, 24503),
+ cdf!(13519, 20283, 24047),
+ cdf!(9429, 15966, 20365),
+ cdf!(6700, 12355, 16652),
+ cdf!(5088, 9704, 13716),
+ cdf!(4243, 8154, 11731),
+ cdf!(2702, 5364, 7861),
+ cdf!(22745, 28388, 30454),
+ cdf!(20235, 27146, 29922),
+ cdf!(15896, 23715, 27637),
+ cdf!(11840, 19350, 24131),
+ cdf!(9122, 15932, 20880),
+ cdf!(7488, 13581, 18362),
+ cdf!(5114, 9568, 13370),
+ cdf!(20845, 26553, 28932),
+ cdf!(20981, 27372, 29884),
+ cdf!(17781, 25335, 28785),
+ cdf!(13760, 21708, 26297),
+ cdf!(10975, 18415, 23365),
+ cdf!(9045, 15789, 20686),
+ cdf!(6130, 11199, 15423) ] ],
+ [ [ cdf!(13549, 19724, 23158),
+ cdf!(11844, 18382, 22246),
+ cdf!(7919, 13619, 17773),
+ cdf!(5486, 10143, 13946),
+ cdf!(4166, 7983, 11324),
+ cdf!(3364, 6506, 9427),
+ cdf!(1598, 3160, 4674),
+ cdf!(15281, 20979, 23781),
+ cdf!(14939, 22119, 25952),
+ cdf!(11363, 18407, 22812),
+ cdf!(8609, 14857, 19370),
+ cdf!(6737, 12184, 16480),
+ cdf!(5506, 10263, 14262),
+ cdf!(2990, 5786, 8380),
+ cdf!(20249, 25253, 27417),
+ cdf!(21070, 27518, 30001),
+ cdf!(16854, 24469, 28074),
+ cdf!(12864, 20486, 25000),
+ cdf!(9962, 16978, 21778),
+ cdf!(8074, 14338, 19048),
+ cdf!(4494, 8479, 11906) ],
+ [ cdf!(13960, 19617, 22829),
+ cdf!(11150, 17341, 21228),
+ cdf!(7150, 12964, 17190),
+ cdf!(5331, 10002, 13867),
+ cdf!(4167, 7744, 11057),
+ cdf!(3480, 6629, 9646),
+ cdf!(1883, 3784, 5686),
+ cdf!(18752, 25660, 28912),
+ cdf!(16968, 24586, 28030),
+ cdf!(13520, 21055, 25313),
+ cdf!(10453, 17626, 22280),
+ cdf!(8386, 14505, 19116),
+ cdf!(6742, 12595, 17008),
+ cdf!(4273, 8140, 11499),
+ cdf!(22120, 27827, 30233),
+ cdf!(20563, 27358, 29895),
+ cdf!(17076, 24644, 28153),
+ cdf!(13362, 20942, 25309),
+ cdf!(10794, 17965, 22695),
+ cdf!(9014, 15652, 20319),
+ cdf!(5708, 10512, 14497) ] ],
+ [ [ cdf!(5705, 10930, 15725),
+ cdf!(7946, 12765, 16115),
+ cdf!(6801, 12123, 16226),
+ cdf!(5462, 10135, 14200),
+ cdf!(4189, 8011, 11507),
+ cdf!(3191, 6229, 9408),
+ cdf!(1057, 2137, 3212),
+ cdf!(10018, 17067, 21491),
+ cdf!(7380, 12582, 16453),
+ cdf!(6068, 10845, 14339),
+ cdf!(5098, 9198, 12555),
+ cdf!(4312, 8010, 11119),
+ cdf!(3700, 6966, 9781),
+ cdf!(1693, 3326, 4887),
+ cdf!(18757, 24930, 27774),
+ cdf!(17648, 24596, 27817),
+ cdf!(14707, 22052, 26026),
+ cdf!(11720, 18852, 23292),
+ cdf!(9357, 15952, 20525),
+ cdf!(7810, 13753, 18210),
+ cdf!(3879, 7333, 10328) ],
+ [ cdf!(8278, 13242, 15922),
+ cdf!(10547, 15867, 18919),
+ cdf!(9106, 15842, 20609),
+ cdf!(6833, 13007, 17218),
+ cdf!(4811, 9712, 13923),
+ cdf!(3985, 7352, 11128),
+ cdf!(1688, 3458, 5262),
+ cdf!(12951, 21861, 26510),
+ cdf!(9788, 16044, 20276),
+ cdf!(6309, 11244, 14870),
+ cdf!(5183, 9349, 12566),
+ cdf!(4389, 8229, 11492),
+ cdf!(3633, 6945, 10620),
+ cdf!(3600, 6847, 9907),
+ cdf!(21748, 28137, 30255),
+ cdf!(19436, 26581, 29560),
+ cdf!(16359, 24201, 27953),
+ cdf!(13961, 21693, 25871),
+ cdf!(11544, 18686, 23322),
+ cdf!(9372, 16462, 20952),
+ cdf!(6138, 11210, 15390) ] ],
+ [ [ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ] ],
+ [ [ [ cdf!(16138, 22223, 25509),
+ cdf!(15347, 22430, 26332),
+ cdf!(9614, 16736, 21332),
+ cdf!(6600, 12275, 16907),
+ cdf!(4811, 9424, 13547),
+ cdf!(3748, 7809, 11420),
+ cdf!(2254, 4587, 6890),
+ cdf!(15196, 20284, 23177),
+ cdf!(18317, 25469, 28451),
+ cdf!(13918, 21651, 25842),
+ cdf!(10052, 17150, 21995),
+ cdf!(7499, 13630, 18587),
+ cdf!(6158, 11417, 16003),
+ cdf!(4014, 7785, 11252),
+ cdf!(15048, 21067, 24384),
+ cdf!(18202, 25346, 28553),
+ cdf!(14302, 22019, 26356),
+ cdf!(10839, 18139, 23166),
+ cdf!(8715, 15744, 20806),
+ cdf!(7536, 13576, 18544),
+ cdf!(5413, 10335, 14498) ],
+ [ cdf!(17394, 24501, 27895),
+ cdf!(15889, 23420, 27185),
+ cdf!(11561, 19133, 23870),
+ cdf!(8285, 14812, 19844),
+ cdf!(6496, 12043, 16550),
+ cdf!(4771, 9574, 13677),
+ cdf!(3603, 6830, 10144),
+ cdf!(21656, 27704, 30200),
+ cdf!(21324, 27915, 30511),
+ cdf!(17327, 25336, 28997),
+ cdf!(13417, 21381, 26033),
+ cdf!(10132, 17425, 22338),
+ cdf!(8580, 15016, 19633),
+ cdf!(5694, 11477, 16411),
+ cdf!(24116, 29780, 31450),
+ cdf!(23853, 29695, 31591),
+ cdf!(20085, 27614, 30428),
+ cdf!(15326, 24335, 28575),
+ cdf!(11814, 19472, 24810),
+ cdf!(10221, 18611, 24767),
+ cdf!(7689, 14558, 20321) ] ],
+ [ [ cdf!(16214, 22380, 25770),
+ cdf!(14213, 21304, 25295),
+ cdf!(9213, 15823, 20455),
+ cdf!(6395, 11758, 16139),
+ cdf!(4779, 9187, 13066),
+ cdf!(3821, 7501, 10953),
+ cdf!(2293, 4567, 6795),
+ cdf!(15859, 21283, 23820),
+ cdf!(18404, 25602, 28726),
+ cdf!(14325, 21980, 26206),
+ cdf!(10669, 17937, 22720),
+ cdf!(8297, 14642, 19447),
+ cdf!(6746, 12389, 16893),
+ cdf!(4324, 8251, 11770),
+ cdf!(16532, 21631, 24475),
+ cdf!(20667, 27150, 29668),
+ cdf!(16728, 24510, 28175),
+ cdf!(12861, 20645, 25332),
+ cdf!(10076, 17361, 22417),
+ cdf!(8395, 14940, 19963),
+ cdf!(5731, 10683, 14912) ],
+ [ cdf!(14433, 21155, 24938),
+ cdf!(14658, 21716, 25545),
+ cdf!(9923, 16824, 21557),
+ cdf!(6982, 13052, 17721),
+ cdf!(5419, 10503, 15050),
+ cdf!(4852, 9162, 13014),
+ cdf!(3271, 6395, 9630),
+ cdf!(22210, 27833, 30109),
+ cdf!(20750, 27368, 29821),
+ cdf!(16894, 24828, 28573),
+ cdf!(13247, 21276, 25757),
+ cdf!(10038, 17265, 22563),
+ cdf!(8587, 14947, 20327),
+ cdf!(5645, 11371, 15252),
+ cdf!(22027, 27526, 29714),
+ cdf!(23098, 29146, 31221),
+ cdf!(19886, 27341, 30272),
+ cdf!(15609, 23747, 28046),
+ cdf!(11993, 20065, 24939),
+ cdf!(9637, 18267, 23671),
+ cdf!(7625, 13801, 19144) ] ],
+ [ [ cdf!(14438, 20798, 24089),
+ cdf!(12621, 19203, 23097),
+ cdf!(8177, 14125, 18402),
+ cdf!(5674, 10501, 14456),
+ cdf!(4236, 8239, 11733),
+ cdf!(3447, 6750, 9806),
+ cdf!(1986, 3950, 5864),
+ cdf!(16208, 22099, 24930),
+ cdf!(16537, 24025, 27585),
+ cdf!(12780, 20381, 24867),
+ cdf!(9767, 16612, 21416),
+ cdf!(7686, 13738, 18398),
+ cdf!(6333, 11614, 15964),
+ cdf!(3941, 7571, 10836),
+ cdf!(22819, 27422, 29202),
+ cdf!(22224, 28514, 30721),
+ cdf!(17660, 25433, 28913),
+ cdf!(13574, 21482, 26002),
+ cdf!(10629, 17977, 22938),
+ cdf!(8612, 15298, 20265),
+ cdf!(5607, 10491, 14596) ],
+ [ cdf!(13569, 19800, 23206),
+ cdf!(13128, 19924, 23869),
+ cdf!(8329, 14841, 19403),
+ cdf!(6130, 10976, 15057),
+ cdf!(4682, 8839, 12518),
+ cdf!(3656, 7409, 10588),
+ cdf!(2577, 5099, 7412),
+ cdf!(22427, 28684, 30585),
+ cdf!(20913, 27750, 30139),
+ cdf!(15840, 24109, 27834),
+ cdf!(12308, 20029, 24569),
+ cdf!(10216, 16785, 21458),
+ cdf!(8309, 14203, 19113),
+ cdf!(6043, 11168, 15307),
+ cdf!(23166, 28901, 30998),
+ cdf!(21899, 28405, 30751),
+ cdf!(18413, 26091, 29443),
+ cdf!(15233, 23114, 27352),
+ cdf!(12683, 20472, 25288),
+ cdf!(10702, 18259, 23409),
+ cdf!(8125, 14464, 19226) ] ],
+ [ [ cdf!(9040, 14786, 18360),
+ cdf!(9979, 15718, 19415),
+ cdf!(7913, 13918, 18311),
+ cdf!(5859, 10889, 15184),
+ cdf!(4593, 8677, 12510),
+ cdf!(3820, 7396, 10791),
+ cdf!(1730, 3471, 5192),
+ cdf!(11803, 18365, 22709),
+ cdf!(11419, 18058, 22225),
+ cdf!(9418, 15774, 20243),
+ cdf!(7539, 13325, 17657),
+ cdf!(6233, 11317, 15384),
+ cdf!(5137, 9656, 13545),
+ cdf!(2977, 5774, 8349),
+ cdf!(21207, 27246, 29640),
+ cdf!(19547, 26578, 29497),
+ cdf!(16169, 23871, 27690),
+ cdf!(12820, 20458, 25018),
+ cdf!(10224, 17332, 22214),
+ cdf!(8526, 15048, 19884),
+ cdf!(5037, 9410, 13118) ],
+ [ cdf!(12339, 17329, 20140),
+ cdf!(13505, 19895, 23225),
+ cdf!(9847, 16944, 21564),
+ cdf!(7280, 13256, 18348),
+ cdf!(4712, 10009, 14454),
+ cdf!(4361, 7914, 12477),
+ cdf!(2870, 5628, 7995),
+ cdf!(20061, 25504, 28526),
+ cdf!(15235, 22878, 26145),
+ cdf!(12985, 19958, 24155),
+ cdf!(9782, 16641, 21403),
+ cdf!(9456, 16360, 20760),
+ cdf!(6855, 12940, 18557),
+ cdf!(5661, 10564, 15002),
+ cdf!(25656, 30602, 31894),
+ cdf!(22570, 29107, 31092),
+ cdf!(18917, 26423, 29541),
+ cdf!(15940, 23649, 27754),
+ cdf!(12803, 20581, 25219),
+ cdf!(11082, 18695, 23376),
+ cdf!(7939, 14373, 19005) ] ],
+ [ [ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ] ],
+ [ [ [ cdf!(18315, 24289, 27551),
+ cdf!(16854, 24068, 27835),
+ cdf!(10140, 17927, 23173),
+ cdf!(6722, 12982, 18267),
+ cdf!(4661, 9826, 14706),
+ cdf!(3832, 8165, 12294),
+ cdf!(2795, 6098, 9245),
+ cdf!(17145, 23326, 26672),
+ cdf!(20733, 27680, 30308),
+ cdf!(16032, 24461, 28546),
+ cdf!(11653, 20093, 25081),
+ cdf!(9290, 16429, 22086),
+ cdf!(7796, 14598, 19982),
+ cdf!(6502, 12378, 17441),
+ cdf!(21681, 27732, 30320),
+ cdf!(22389, 29044, 31261),
+ cdf!(19027, 26731, 30087),
+ cdf!(14739, 23755, 28624),
+ cdf!(11358, 20778, 25511),
+ cdf!(10995, 18073, 24190),
+ cdf!(9162, 14990, 20617) ],
+ [ cdf!(21425, 27952, 30388),
+ cdf!(18062, 25838, 29034),
+ cdf!(11956, 19881, 24808),
+ cdf!(7718, 15000, 20980),
+ cdf!(5702, 11254, 16143),
+ cdf!(4898, 9088, 16864),
+ cdf!(3679, 6776, 11907),
+ cdf!(23294, 30160, 31663),
+ cdf!(24397, 29896, 31836),
+ cdf!(19245, 27128, 30593),
+ cdf!(13202, 19825, 26404),
+ cdf!(11578, 19297, 23957),
+ cdf!(8073, 13297, 21370),
+ cdf!(5461, 10923, 19745),
+ cdf!(27367, 30521, 31934),
+ cdf!(24904, 30671, 31940),
+ cdf!(23075, 28460, 31299),
+ cdf!(14400, 23658, 30417),
+ cdf!(13885, 23882, 28325),
+ cdf!(14746, 22938, 27853),
+ cdf!(5461, 16384, 27307) ] ],
+ [ [ cdf!(18274, 24813, 27890),
+ cdf!(15537, 23149, 27003),
+ cdf!(9449, 16740, 21827),
+ cdf!(6700, 12498, 17261),
+ cdf!(4988, 9866, 14198),
+ cdf!(4236, 8147, 11902),
+ cdf!(2867, 5860, 8654),
+ cdf!(17124, 23171, 26101),
+ cdf!(20396, 27477, 30148),
+ cdf!(16573, 24629, 28492),
+ cdf!(12749, 20846, 25674),
+ cdf!(10233, 17878, 22818),
+ cdf!(8525, 15332, 20363),
+ cdf!(6283, 11632, 16255),
+ cdf!(20466, 26511, 29286),
+ cdf!(23059, 29174, 31191),
+ cdf!(19481, 27263, 30241),
+ cdf!(15458, 23631, 28137),
+ cdf!(12416, 20608, 25693),
+ cdf!(10261, 18011, 23261),
+ cdf!(8016, 14655, 19666) ],
+ [ cdf!(17616, 24586, 28112),
+ cdf!(15809, 23299, 27155),
+ cdf!(10767, 18890, 23793),
+ cdf!(7727, 14255, 18865),
+ cdf!(6129, 11926, 16882),
+ cdf!(4482, 9704, 14861),
+ cdf!(3277, 7452, 11522),
+ cdf!(22956, 28551, 30730),
+ cdf!(22724, 28937, 30961),
+ cdf!(18467, 26324, 29580),
+ cdf!(13234, 20713, 25649),
+ cdf!(11181, 17592, 22481),
+ cdf!(8291, 18358, 24576),
+ cdf!(7568, 11881, 14984),
+ cdf!(24948, 29001, 31147),
+ cdf!(25674, 30619, 32151),
+ cdf!(20841, 26793, 29603),
+ cdf!(14669, 24356, 28666),
+ cdf!(11334, 23593, 28219),
+ cdf!(8922, 14762, 22873),
+ cdf!(8301, 13544, 20535) ] ],
+ [ [ cdf!(17113, 23733, 27081),
+ cdf!(14139, 21406, 25452),
+ cdf!(8552, 15002, 19776),
+ cdf!(5871, 11120, 15378),
+ cdf!(4455, 8616, 12253),
+ cdf!(3469, 6910, 10386),
+ cdf!(2255, 4553, 6782),
+ cdf!(18224, 24376, 27053),
+ cdf!(19290, 26710, 29614),
+ cdf!(14936, 22991, 27184),
+ cdf!(11238, 18951, 23762),
+ cdf!(8786, 15617, 20588),
+ cdf!(7317, 13228, 18003),
+ cdf!(5101, 9512, 13493),
+ cdf!(22639, 28222, 30210),
+ cdf!(23216, 29331, 31307),
+ cdf!(19075, 26762, 29895),
+ cdf!(15014, 23113, 27457),
+ cdf!(11938, 19857, 24752),
+ cdf!(9942, 17280, 22282),
+ cdf!(7167, 13144, 17752) ],
+ [ cdf!(15820, 22738, 26488),
+ cdf!(13530, 20885, 25216),
+ cdf!(8395, 15530, 20452),
+ cdf!(6574, 12321, 16380),
+ cdf!(5353, 10419, 14568),
+ cdf!(4613, 8446, 12381),
+ cdf!(3440, 7158, 9903),
+ cdf!(24247, 29051, 31224),
+ cdf!(22118, 28058, 30369),
+ cdf!(16498, 24768, 28389),
+ cdf!(12920, 21175, 26137),
+ cdf!(10730, 18619, 25352),
+ cdf!(10187, 16279, 22791),
+ cdf!(9310, 14631, 22127),
+ cdf!(24970, 30558, 32057),
+ cdf!(24801, 29942, 31698),
+ cdf!(22432, 28453, 30855),
+ cdf!(19054, 25680, 29580),
+ cdf!(14392, 23036, 28109),
+ cdf!(12495, 20947, 26650),
+ cdf!(12442, 20326, 26214) ] ],
+ [ [ cdf!(12162, 18785, 22648),
+ cdf!(12749, 19697, 23806),
+ cdf!(8580, 15297, 20346),
+ cdf!(6169, 11749, 16543),
+ cdf!(4836, 9391, 13448),
+ cdf!(3821, 7711, 11613),
+ cdf!(2228, 4601, 7070),
+ cdf!(16319, 24725, 28280),
+ cdf!(15698, 23277, 27168),
+ cdf!(12726, 20368, 25047),
+ cdf!(9912, 17015, 21976),
+ cdf!(7888, 14220, 19179),
+ cdf!(6777, 12284, 17018),
+ cdf!(4492, 8590, 12252),
+ cdf!(23249, 28904, 30947),
+ cdf!(21050, 27908, 30512),
+ cdf!(17440, 25340, 28949),
+ cdf!(14059, 22018, 26541),
+ cdf!(11288, 18903, 23898),
+ cdf!(9411, 16342, 21428),
+ cdf!(6278, 11588, 15944) ],
+ [ cdf!(13981, 20067, 23226),
+ cdf!(16922, 23580, 26783),
+ cdf!(11005, 19039, 24487),
+ cdf!(7389, 14218, 19798),
+ cdf!(5598, 11505, 17206),
+ cdf!(6090, 11213, 15659),
+ cdf!(3820, 7371, 10119),
+ cdf!(21082, 26925, 29675),
+ cdf!(21262, 28627, 31128),
+ cdf!(18392, 26454, 30437),
+ cdf!(14870, 22910, 27096),
+ cdf!(12620, 19484, 24908),
+ cdf!(9290, 16553, 22802),
+ cdf!(6668, 14288, 20004),
+ cdf!(27704, 31055, 31949),
+ cdf!(24709, 29978, 31788),
+ cdf!(21668, 29264, 31657),
+ cdf!(18295, 26968, 30074),
+ cdf!(16399, 24422, 29313),
+ cdf!(14347, 23026, 28104),
+ cdf!(12370, 19806, 24477) ] ],
+ [ [ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576), cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ] ]
+ ];
+
+pub static av1_default_coeff_base_multi_cdfs:
+ [[[[[u16; cdf_size!(NUM_BASE_LEVELS + 2)]; SIG_COEF_CONTEXTS]; PLANE_TYPES]; TxSize::TX_SIZES]; TOKEN_CDF_Q_CTXS] =
+ [ [ [ [ cdf!(4034, 8930, 12727),
+ cdf!(18082, 29741, 31877),
+ cdf!(12596, 26124, 30493),
+ cdf!(9446, 21118, 27005),
+ cdf!(6308, 15141, 21279),
+ cdf!(2463, 6357, 9783),
+ cdf!(20667, 30546, 31929),
+ cdf!(13043, 26123, 30134),
+ cdf!(8151, 18757, 24778),
+ cdf!(5255, 12839, 18632),
+ cdf!(2820, 7206, 11161),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(15736, 27553, 30604),
+ cdf!(11210, 23794, 28787),
+ cdf!(5947, 13874, 19701),
+ cdf!(4215, 9323, 13891),
+ cdf!(2833, 6462, 10059),
+ cdf!(19605, 30393, 31582),
+ cdf!(13523, 26252, 30248),
+ cdf!(8446, 18622, 24512),
+ cdf!(3818, 10343, 15974),
+ cdf!(1481, 4117, 6796),
+ cdf!(22649, 31302, 32190),
+ cdf!(14829, 27127, 30449),
+ cdf!(8313, 17702, 23304),
+ cdf!(3022, 8301, 12786),
+ cdf!(1536, 4412, 7184),
+ cdf!(22354, 29774, 31372),
+ cdf!(14723, 25472, 29214),
+ cdf!(6673, 13745, 18662),
+ cdf!(2068, 5766, 9322),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(6302, 16444, 21761),
+ cdf!(23040, 31538, 32475),
+ cdf!(15196, 28452, 31496),
+ cdf!(10020, 22946, 28514),
+ cdf!(6533, 16862, 23501),
+ cdf!(3538, 9816, 15076),
+ cdf!(24444, 31875, 32525),
+ cdf!(15881, 28924, 31635),
+ cdf!(9922, 22873, 28466),
+ cdf!(6527, 16966, 23691),
+ cdf!(4114, 11303, 17220),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(20201, 30770, 32209),
+ cdf!(14754, 28071, 31258),
+ cdf!(8378, 20186, 26517),
+ cdf!(5916, 15299, 21978),
+ cdf!(4268, 11583, 17901),
+ cdf!(24361, 32025, 32581),
+ cdf!(18673, 30105, 31943),
+ cdf!(10196, 22244, 27576),
+ cdf!(5495, 14349, 20417),
+ cdf!(2676, 7415, 11498),
+ cdf!(24678, 31958, 32585),
+ cdf!(18629, 29906, 31831),
+ cdf!(9364, 20724, 26315),
+ cdf!(4641, 12318, 18094),
+ cdf!(2758, 7387, 11579),
+ cdf!(25433, 31842, 32469),
+ cdf!(18795, 29289, 31411),
+ cdf!(7644, 17584, 23592),
+ cdf!(3408, 9014, 15047),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(4536, 10072, 14001),
+ cdf!(25459, 31416, 32206),
+ cdf!(16605, 28048, 30818),
+ cdf!(11008, 22857, 27719),
+ cdf!(6915, 16268, 22315),
+ cdf!(2625, 6812, 10537),
+ cdf!(24257, 31788, 32499),
+ cdf!(16880, 29454, 31879),
+ cdf!(11958, 25054, 29778),
+ cdf!(7916, 18718, 25084),
+ cdf!(3383, 8777, 13446),
+ cdf!(22720, 31603, 32393),
+ cdf!(14960, 28125, 31335),
+ cdf!(9731, 22210, 27928),
+ cdf!(6304, 15832, 22277),
+ cdf!(2910, 7818, 12166),
+ cdf!(20375, 30627, 32131),
+ cdf!(13904, 27284, 30887),
+ cdf!(9368, 21558, 27144),
+ cdf!(5937, 14966, 21119),
+ cdf!(2667, 7225, 11319),
+ cdf!(23970, 31470, 32378),
+ cdf!(17173, 29734, 32018),
+ cdf!(12795, 25441, 29965),
+ cdf!(8981, 19680, 25893),
+ cdf!(4728, 11372, 16902),
+ cdf!(24287, 31797, 32439),
+ cdf!(16703, 29145, 31696),
+ cdf!(10833, 23554, 28725),
+ cdf!(6468, 16566, 23057),
+ cdf!(2415, 6562, 10278),
+ cdf!(26610, 32395, 32659),
+ cdf!(18590, 30498, 32117),
+ cdf!(12420, 25756, 29950),
+ cdf!(7639, 18746, 24710),
+ cdf!(3001, 8086, 12347),
+ cdf!(25076, 32064, 32580),
+ cdf!(17946, 30128, 32028),
+ cdf!(12024, 24985, 29378),
+ cdf!(7517, 18390, 24304),
+ cdf!(3243, 8781, 13331),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(6037, 16771, 21957),
+ cdf!(24774, 31704, 32426),
+ cdf!(16830, 28589, 31056),
+ cdf!(10602, 22828, 27760),
+ cdf!(6733, 16829, 23071),
+ cdf!(3250, 8914, 13556),
+ cdf!(25582, 32220, 32668),
+ cdf!(18659, 30342, 32223),
+ cdf!(12546, 26149, 30515),
+ cdf!(8420, 20451, 26801),
+ cdf!(4636, 12420, 18344),
+ cdf!(27581, 32362, 32639),
+ cdf!(18987, 30083, 31978),
+ cdf!(11327, 24248, 29084),
+ cdf!(7264, 17719, 24120),
+ cdf!(3995, 10768, 16169),
+ cdf!(25893, 31831, 32487),
+ cdf!(16577, 28587, 31379),
+ cdf!(10189, 22748, 28182),
+ cdf!(6832, 17094, 23556),
+ cdf!(3708, 10110, 15334),
+ cdf!(25904, 32282, 32656),
+ cdf!(19721, 30792, 32276),
+ cdf!(12819, 26243, 30411),
+ cdf!(8572, 20614, 26891),
+ cdf!(5364, 14059, 20467),
+ cdf!(26580, 32438, 32677),
+ cdf!(20852, 31225, 32340),
+ cdf!(12435, 25700, 29967),
+ cdf!(8691, 20825, 26976),
+ cdf!(4446, 12209, 17269),
+ cdf!(27350, 32429, 32696),
+ cdf!(21372, 30977, 32272),
+ cdf!(12673, 25270, 29853),
+ cdf!(9208, 20925, 26640),
+ cdf!(5018, 13351, 18732),
+ cdf!(27351, 32479, 32713),
+ cdf!(21398, 31209, 32387),
+ cdf!(12162, 25047, 29842),
+ cdf!(7896, 18691, 25319),
+ cdf!(4670, 12882, 18881),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(5487, 10460, 13708),
+ cdf!(21597, 28303, 30674),
+ cdf!(11037, 21953, 26476),
+ cdf!(8147, 17962, 22952),
+ cdf!(5242, 13061, 18532),
+ cdf!(1889, 5208, 8182),
+ cdf!(26774, 32133, 32590),
+ cdf!(17844, 29564, 31767),
+ cdf!(11690, 24438, 29171),
+ cdf!(7542, 18215, 24459),
+ cdf!(2993, 8050, 12319),
+ cdf!(28023, 32328, 32591),
+ cdf!(18651, 30126, 31954),
+ cdf!(12164, 25146, 29589),
+ cdf!(7762, 18530, 24771),
+ cdf!(3492, 9183, 13920),
+ cdf!(27591, 32008, 32491),
+ cdf!(17149, 28853, 31510),
+ cdf!(11485, 24003, 28860),
+ cdf!(7697, 18086, 24210),
+ cdf!(3075, 7999, 12218),
+ cdf!(28268, 32482, 32654),
+ cdf!(19631, 31051, 32404),
+ cdf!(13860, 27260, 31020),
+ cdf!(9605, 21613, 27594),
+ cdf!(4876, 12162, 17908),
+ cdf!(27248, 32316, 32576),
+ cdf!(18955, 30457, 32075),
+ cdf!(11824, 23997, 28795),
+ cdf!(7346, 18196, 24647),
+ cdf!(3403, 9247, 14111),
+ cdf!(29711, 32655, 32735),
+ cdf!(21169, 31394, 32417),
+ cdf!(13487, 27198, 30957),
+ cdf!(8828, 21683, 27614),
+ cdf!(4270, 11451, 17038),
+ cdf!(28708, 32578, 32731),
+ cdf!(20120, 31241, 32482),
+ cdf!(13692, 27550, 31321),
+ cdf!(9418, 22514, 28439),
+ cdf!(4999, 13283, 19462),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(5673, 14302, 19711),
+ cdf!(26251, 30701, 31834),
+ cdf!(12782, 23783, 27803),
+ cdf!(9127, 20657, 25808),
+ cdf!(6368, 16208, 21462),
+ cdf!(2465, 7177, 10822),
+ cdf!(29961, 32563, 32719),
+ cdf!(18318, 29891, 31949),
+ cdf!(11361, 24514, 29357),
+ cdf!(7900, 19603, 25607),
+ cdf!(4002, 10590, 15546),
+ cdf!(29637, 32310, 32595),
+ cdf!(18296, 29913, 31809),
+ cdf!(10144, 21515, 26871),
+ cdf!(5358, 14322, 20394),
+ cdf!(3067, 8362, 13346),
+ cdf!(28652, 32470, 32676),
+ cdf!(17538, 30771, 32209),
+ cdf!(13924, 26882, 30494),
+ cdf!(10496, 22837, 27869),
+ cdf!(7236, 16396, 21621),
+ cdf!(30743, 32687, 32746),
+ cdf!(23006, 31676, 32489),
+ cdf!(14494, 27828, 31120),
+ cdf!(10174, 22801, 28352),
+ cdf!(6242, 15281, 21043),
+ cdf!(25817, 32243, 32720),
+ cdf!(18618, 31367, 32325),
+ cdf!(13997, 28318, 31878),
+ cdf!(12255, 26534, 31383),
+ cdf!(9561, 21588, 28450),
+ cdf!(28188, 32635, 32724),
+ cdf!(22060, 32365, 32728),
+ cdf!(18102, 30690, 32528),
+ cdf!(14196, 28864, 31999),
+ cdf!(12262, 25792, 30865),
+ cdf!(24176, 32109, 32628),
+ cdf!(18280, 29681, 31963),
+ cdf!(10205, 23703, 29664),
+ cdf!(7889, 20025, 27676),
+ cdf!(6060, 16743, 23970),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(5141, 7096, 8260),
+ cdf!(27186, 29022, 29789),
+ cdf!(6668, 12568, 15682),
+ cdf!(2172, 6181, 8638),
+ cdf!(1126, 3379, 4531),
+ cdf!(443, 1361, 2254),
+ cdf!(26083, 31153, 32436),
+ cdf!(13486, 24603, 28483),
+ cdf!(6508, 14840, 19910),
+ cdf!(3386, 8800, 13286),
+ cdf!(1530, 4322, 7054),
+ cdf!(29639, 32080, 32548),
+ cdf!(15897, 27552, 30290),
+ cdf!(8588, 20047, 25383),
+ cdf!(4889, 13339, 19269),
+ cdf!(2240, 6871, 10498),
+ cdf!(28165, 32197, 32517),
+ cdf!(20735, 30427, 31568),
+ cdf!(14325, 24671, 27692),
+ cdf!(5119, 12554, 17805),
+ cdf!(1810, 5441, 8261),
+ cdf!(31212, 32724, 32748),
+ cdf!(23352, 31766, 32545),
+ cdf!(14669, 27570, 31059),
+ cdf!(8492, 20894, 27272),
+ cdf!(3644, 10194, 15204),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(2461, 7013, 9371),
+ cdf!(24749, 29600, 30986),
+ cdf!(9466, 19037, 22417),
+ cdf!(3584, 9280, 14400),
+ cdf!(1505, 3929, 5433),
+ cdf!(677, 1500, 2736),
+ cdf!(23987, 30702, 32117),
+ cdf!(13554, 24571, 29263),
+ cdf!(6211, 14556, 21155),
+ cdf!(3135, 10972, 15625),
+ cdf!(2435, 7127, 11427),
+ cdf!(31300, 32532, 32550),
+ cdf!(14757, 30365, 31954),
+ cdf!(4405, 11612, 18553),
+ cdf!(580, 4132, 7322),
+ cdf!(1695, 10169, 14124),
+ cdf!(30008, 32282, 32591),
+ cdf!(19244, 30108, 31748),
+ cdf!(11180, 24158, 29555),
+ cdf!(5650, 14972, 19209),
+ cdf!(2114, 5109, 8456),
+ cdf!(31856, 32716, 32748),
+ cdf!(23012, 31664, 32572),
+ cdf!(13694, 26656, 30636),
+ cdf!(8142, 19508, 26093),
+ cdf!(4253, 10955, 16724),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(601, 983, 1311),
+ cdf!(18725, 23406, 28087),
+ cdf!(5461, 8192, 10923),
+ cdf!(3781, 15124, 21425),
+ cdf!(2587, 7761, 12072),
+ cdf!(106, 458, 810),
+ cdf!(22282, 29710, 31894),
+ cdf!(8508, 20926, 25984),
+ cdf!(3726, 12713, 18083),
+ cdf!(1620, 7112, 10893),
+ cdf!(729, 2236, 3495),
+ cdf!(30163, 32474, 32684),
+ cdf!(18304, 30464, 32000),
+ cdf!(11443, 26526, 29647),
+ cdf!(6007, 15292, 21299),
+ cdf!(2234, 6703, 8937),
+ cdf!(30954, 32177, 32571),
+ cdf!(17363, 29562, 31076),
+ cdf!(9686, 22464, 27410),
+ cdf!(8192, 16384, 21390),
+ cdf!(1755, 8046, 11264),
+ cdf!(31168, 32734, 32748),
+ cdf!(22486, 31441, 32471),
+ cdf!(12833, 25627, 29738),
+ cdf!(6980, 17379, 23122),
+ cdf!(3111, 8887, 13479),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ] ],
+ [ [ [ cdf!(6041, 11854, 15927),
+ cdf!(20326, 30905, 32251),
+ cdf!(14164, 26831, 30725),
+ cdf!(9760, 20647, 26585),
+ cdf!(6416, 14953, 21219),
+ cdf!(2966, 7151, 10891),
+ cdf!(23567, 31374, 32254),
+ cdf!(14978, 27416, 30946),
+ cdf!(9434, 20225, 26254),
+ cdf!(6658, 14558, 20535),
+ cdf!(3916, 8677, 12989),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(18088, 29545, 31587),
+ cdf!(13062, 25843, 30073),
+ cdf!(8940, 16827, 22251),
+ cdf!(7654, 13220, 17973),
+ cdf!(5733, 10316, 14456),
+ cdf!(22879, 31388, 32114),
+ cdf!(15215, 27993, 30955),
+ cdf!(9397, 19445, 24978),
+ cdf!(3442, 9813, 15344),
+ cdf!(1368, 3936, 6532),
+ cdf!(25494, 32033, 32406),
+ cdf!(16772, 27963, 30718),
+ cdf!(9419, 18165, 23260),
+ cdf!(2677, 7501, 11797),
+ cdf!(1516, 4344, 7170),
+ cdf!(26556, 31454, 32101),
+ cdf!(17128, 27035, 30108),
+ cdf!(8324, 15344, 20249),
+ cdf!(1903, 5696, 9469),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8455, 19003, 24368),
+ cdf!(23563, 32021, 32604),
+ cdf!(16237, 29446, 31935),
+ cdf!(10724, 23999, 29358),
+ cdf!(6725, 17528, 24416),
+ cdf!(3927, 10927, 16825),
+ cdf!(26313, 32288, 32634),
+ cdf!(17430, 30095, 32095),
+ cdf!(11116, 24606, 29679),
+ cdf!(7195, 18384, 25269),
+ cdf!(4726, 12852, 19315),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(22822, 31648, 32483),
+ cdf!(16724, 29633, 31929),
+ cdf!(10261, 23033, 28725),
+ cdf!(7029, 17840, 24528),
+ cdf!(4867, 13886, 21502),
+ cdf!(25298, 31892, 32491),
+ cdf!(17809, 29330, 31512),
+ cdf!(9668, 21329, 26579),
+ cdf!(4774, 12956, 18976),
+ cdf!(2322, 7030, 11540),
+ cdf!(25472, 31920, 32543),
+ cdf!(17957, 29387, 31632),
+ cdf!(9196, 20593, 26400),
+ cdf!(4680, 12705, 19202),
+ cdf!(2917, 8456, 13436),
+ cdf!(26471, 32059, 32574),
+ cdf!(18458, 29783, 31909),
+ cdf!(8400, 19464, 25956),
+ cdf!(3812, 10973, 17206),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(6779, 13743, 17678),
+ cdf!(24806, 31797, 32457),
+ cdf!(17616, 29047, 31372),
+ cdf!(11063, 23175, 28003),
+ cdf!(6521, 16110, 22324),
+ cdf!(2764, 7504, 11654),
+ cdf!(25266, 32367, 32637),
+ cdf!(19054, 30553, 32175),
+ cdf!(12139, 25212, 29807),
+ cdf!(7311, 18162, 24704),
+ cdf!(3397, 9164, 14074),
+ cdf!(25988, 32208, 32522),
+ cdf!(16253, 28912, 31526),
+ cdf!(9151, 21387, 27372),
+ cdf!(5688, 14915, 21496),
+ cdf!(2717, 7627, 12004),
+ cdf!(23144, 31855, 32443),
+ cdf!(16070, 28491, 31325),
+ cdf!(8702, 20467, 26517),
+ cdf!(5243, 13956, 20367),
+ cdf!(2621, 7335, 11567),
+ cdf!(26636, 32340, 32630),
+ cdf!(19990, 31050, 32341),
+ cdf!(13243, 26105, 30315),
+ cdf!(8588, 19521, 25918),
+ cdf!(4717, 11585, 17304),
+ cdf!(25844, 32292, 32582),
+ cdf!(19090, 30635, 32097),
+ cdf!(11963, 24546, 28939),
+ cdf!(6218, 16087, 22354),
+ cdf!(2340, 6608, 10426),
+ cdf!(28046, 32576, 32694),
+ cdf!(21178, 31313, 32296),
+ cdf!(13486, 26184, 29870),
+ cdf!(7149, 17871, 23723),
+ cdf!(2833, 7958, 12259),
+ cdf!(27710, 32528, 32686),
+ cdf!(20674, 31076, 32268),
+ cdf!(12413, 24955, 29243),
+ cdf!(6676, 16927, 23097),
+ cdf!(2966, 8333, 12919),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8639, 19339, 24429),
+ cdf!(24404, 31837, 32525),
+ cdf!(16997, 29425, 31784),
+ cdf!(11253, 24234, 29149),
+ cdf!(6751, 17394, 24028),
+ cdf!(3490, 9830, 15191),
+ cdf!(26283, 32471, 32714),
+ cdf!(19599, 31168, 32442),
+ cdf!(13146, 26954, 30893),
+ cdf!(8214, 20588, 26890),
+ cdf!(4699, 13081, 19300),
+ cdf!(28212, 32458, 32669),
+ cdf!(18594, 30316, 32100),
+ cdf!(11219, 24408, 29234),
+ cdf!(6865, 17656, 24149),
+ cdf!(3678, 10362, 16006),
+ cdf!(25825, 32136, 32616),
+ cdf!(17313, 29853, 32021),
+ cdf!(11197, 24471, 29472),
+ cdf!(6947, 17781, 24405),
+ cdf!(3768, 10660, 16261),
+ cdf!(27352, 32500, 32706),
+ cdf!(20850, 31468, 32469),
+ cdf!(14021, 27707, 31133),
+ cdf!(8964, 21748, 27838),
+ cdf!(5437, 14665, 21187),
+ cdf!(26304, 32492, 32698),
+ cdf!(20409, 31380, 32385),
+ cdf!(13682, 27222, 30632),
+ cdf!(8974, 21236, 26685),
+ cdf!(4234, 11665, 16934),
+ cdf!(26273, 32357, 32711),
+ cdf!(20672, 31242, 32441),
+ cdf!(14172, 27254, 30902),
+ cdf!(9870, 21898, 27275),
+ cdf!(5164, 13506, 19270),
+ cdf!(26725, 32459, 32728),
+ cdf!(20991, 31442, 32527),
+ cdf!(13071, 26434, 30811),
+ cdf!(8184, 20090, 26742),
+ cdf!(4803, 13255, 19895),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(7555, 14942, 18501),
+ cdf!(24410, 31178, 32287),
+ cdf!(14394, 26738, 30253),
+ cdf!(8413, 19554, 25195),
+ cdf!(4766, 12924, 18785),
+ cdf!(2029, 5806, 9207),
+ cdf!(26776, 32364, 32663),
+ cdf!(18732, 29967, 31931),
+ cdf!(11005, 23786, 28852),
+ cdf!(6466, 16909, 23510),
+ cdf!(3044, 8638, 13419),
+ cdf!(29208, 32582, 32704),
+ cdf!(20068, 30857, 32208),
+ cdf!(12003, 25085, 29595),
+ cdf!(6947, 17750, 24189),
+ cdf!(3245, 9103, 14007),
+ cdf!(27359, 32465, 32669),
+ cdf!(19421, 30614, 32174),
+ cdf!(11915, 25010, 29579),
+ cdf!(6950, 17676, 24074),
+ cdf!(3007, 8473, 13096),
+ cdf!(29002, 32676, 32735),
+ cdf!(22102, 31849, 32576),
+ cdf!(14408, 28009, 31405),
+ cdf!(9027, 21679, 27931),
+ cdf!(4694, 12678, 18748),
+ cdf!(28216, 32528, 32682),
+ cdf!(20849, 31264, 32318),
+ cdf!(12756, 25815, 29751),
+ cdf!(7565, 18801, 24923),
+ cdf!(3509, 9533, 14477),
+ cdf!(30133, 32687, 32739),
+ cdf!(23063, 31910, 32515),
+ cdf!(14588, 28051, 31132),
+ cdf!(9085, 21649, 27457),
+ cdf!(4261, 11654, 17264),
+ cdf!(29518, 32691, 32748),
+ cdf!(22451, 31959, 32613),
+ cdf!(14864, 28722, 31700),
+ cdf!(9695, 22964, 28716),
+ cdf!(4932, 13358, 19502),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(6465, 16958, 21688),
+ cdf!(25199, 31514, 32360),
+ cdf!(14774, 27149, 30607),
+ cdf!(9257, 21438, 26972),
+ cdf!(5723, 15183, 21882),
+ cdf!(3150, 8879, 13731),
+ cdf!(26989, 32262, 32682),
+ cdf!(17396, 29937, 32085),
+ cdf!(11387, 24901, 29784),
+ cdf!(7289, 18821, 25548),
+ cdf!(3734, 10577, 16086),
+ cdf!(29728, 32501, 32695),
+ cdf!(17431, 29701, 31903),
+ cdf!(9921, 22826, 28300),
+ cdf!(5896, 15434, 22068),
+ cdf!(3430, 9646, 14757),
+ cdf!(28614, 32511, 32705),
+ cdf!(19364, 30638, 32263),
+ cdf!(13129, 26254, 30402),
+ cdf!(8754, 20484, 26440),
+ cdf!(4378, 11607, 17110),
+ cdf!(30292, 32671, 32744),
+ cdf!(21780, 31603, 32501),
+ cdf!(14314, 27829, 31291),
+ cdf!(9611, 22327, 28263),
+ cdf!(4890, 13087, 19065),
+ cdf!(25862, 32567, 32733),
+ cdf!(20794, 32050, 32567),
+ cdf!(17243, 30625, 32254),
+ cdf!(13283, 27628, 31474),
+ cdf!(9669, 22532, 28918),
+ cdf!(27435, 32697, 32748),
+ cdf!(24922, 32390, 32714),
+ cdf!(21449, 31504, 32536),
+ cdf!(16392, 29729, 31832),
+ cdf!(11692, 24884, 29076),
+ cdf!(24193, 32290, 32735),
+ cdf!(18909, 31104, 32563),
+ cdf!(12236, 26841, 31403),
+ cdf!(8171, 21840, 29082),
+ cdf!(7224, 17280, 25275),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(3078, 6839, 9890),
+ cdf!(13837, 20450, 24479),
+ cdf!(5914, 14222, 19328),
+ cdf!(3866, 10267, 14762),
+ cdf!(2612, 7208, 11042),
+ cdf!(1067, 2991, 4776),
+ cdf!(25817, 31646, 32529),
+ cdf!(13708, 26338, 30385),
+ cdf!(7328, 18585, 24870),
+ cdf!(4691, 13080, 19276),
+ cdf!(1825, 5253, 8352),
+ cdf!(29386, 32315, 32624),
+ cdf!(17160, 29001, 31360),
+ cdf!(9602, 21862, 27396),
+ cdf!(5915, 15772, 22148),
+ cdf!(2786, 7779, 12047),
+ cdf!(29246, 32450, 32663),
+ cdf!(18696, 29929, 31818),
+ cdf!(10510, 23369, 28560),
+ cdf!(6229, 16499, 23125),
+ cdf!(2608, 7448, 11705),
+ cdf!(30753, 32710, 32748),
+ cdf!(21638, 31487, 32503),
+ cdf!(12937, 26854, 30870),
+ cdf!(8182, 20596, 26970),
+ cdf!(3637, 10269, 15497),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(5244, 12150, 16906),
+ cdf!(20486, 26858, 29701),
+ cdf!(7756, 18317, 23735),
+ cdf!(3452, 9256, 13146),
+ cdf!(2020, 5206, 8229),
+ cdf!(1801, 4993, 7903),
+ cdf!(27051, 31858, 32531),
+ cdf!(15988, 27531, 30619),
+ cdf!(9188, 21484, 26719),
+ cdf!(6273, 17186, 23800),
+ cdf!(3108, 9355, 14764),
+ cdf!(31076, 32520, 32680),
+ cdf!(18119, 30037, 31850),
+ cdf!(10244, 22969, 27472),
+ cdf!(4692, 14077, 19273),
+ cdf!(3694, 11677, 17556),
+ cdf!(30060, 32581, 32720),
+ cdf!(21011, 30775, 32120),
+ cdf!(11931, 24820, 29289),
+ cdf!(7119, 17662, 24356),
+ cdf!(3833, 10706, 16304),
+ cdf!(31954, 32731, 32748),
+ cdf!(23913, 31724, 32489),
+ cdf!(15520, 28060, 31286),
+ cdf!(11517, 23008, 28571),
+ cdf!(6193, 14508, 20629),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(1035, 2807, 4156),
+ cdf!(13162, 18138, 20939),
+ cdf!(2696, 6633, 8755),
+ cdf!(1373, 4161, 6853),
+ cdf!(1099, 2746, 4716),
+ cdf!(340, 1021, 1599),
+ cdf!(22826, 30419, 32135),
+ cdf!(10395, 21762, 26942),
+ cdf!(4726, 12407, 17361),
+ cdf!(2447, 7080, 10593),
+ cdf!(1227, 3717, 6011),
+ cdf!(28156, 31424, 31934),
+ cdf!(16915, 27754, 30373),
+ cdf!(9148, 20990, 26431),
+ cdf!(5950, 15515, 21148),
+ cdf!(2492, 7327, 11526),
+ cdf!(30602, 32477, 32670),
+ cdf!(20026, 29955, 31568),
+ cdf!(11220, 23628, 28105),
+ cdf!(6652, 17019, 22973),
+ cdf!(3064, 8536, 13043),
+ cdf!(31769, 32724, 32748),
+ cdf!(22230, 30887, 32373),
+ cdf!(12234, 25079, 29731),
+ cdf!(7326, 18816, 25353),
+ cdf!(3933, 10907, 16616),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ] ],
+ [ [ [ cdf!(8896, 16227, 20630),
+ cdf!(23629, 31782, 32527),
+ cdf!(15173, 27755, 31321),
+ cdf!(10158, 21233, 27382),
+ cdf!(6420, 14857, 21558),
+ cdf!(3269, 8155, 12646),
+ cdf!(24835, 32009, 32496),
+ cdf!(16509, 28421, 31579),
+ cdf!(10957, 21514, 27418),
+ cdf!(7881, 15930, 22096),
+ cdf!(5388, 10960, 15918),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(20745, 30773, 32093),
+ cdf!(15200, 27221, 30861),
+ cdf!(13032, 20873, 25667),
+ cdf!(12285, 18663, 23494),
+ cdf!(11563, 17481, 21489),
+ cdf!(26260, 31982, 32320),
+ cdf!(15397, 28083, 31100),
+ cdf!(9742, 19217, 24824),
+ cdf!(3261, 9629, 15362),
+ cdf!(1480, 4322, 7499),
+ cdf!(27599, 32256, 32460),
+ cdf!(16857, 27659, 30774),
+ cdf!(9551, 18290, 23748),
+ cdf!(3052, 8933, 14103),
+ cdf!(2021, 5910, 9787),
+ cdf!(29005, 32015, 32392),
+ cdf!(17677, 27694, 30863),
+ cdf!(9204, 17356, 23219),
+ cdf!(2403, 7516, 12814),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(10808, 22056, 26896),
+ cdf!(25739, 32313, 32676),
+ cdf!(17288, 30203, 32221),
+ cdf!(11359, 24878, 29896),
+ cdf!(6949, 17767, 24893),
+ cdf!(4287, 11796, 18071),
+ cdf!(27880, 32521, 32705),
+ cdf!(19038, 31004, 32414),
+ cdf!(12564, 26345, 30768),
+ cdf!(8269, 19947, 26779),
+ cdf!(5674, 14657, 21674),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(25742, 32319, 32671),
+ cdf!(19557, 31164, 32454),
+ cdf!(13381, 26381, 30755),
+ cdf!(10101, 21466, 26722),
+ cdf!(9209, 19650, 26825),
+ cdf!(27107, 31917, 32432),
+ cdf!(18056, 28893, 31203),
+ cdf!(10200, 21434, 26764),
+ cdf!(4660, 12913, 19502),
+ cdf!(2368, 6930, 12504),
+ cdf!(26960, 32158, 32613),
+ cdf!(18628, 30005, 32031),
+ cdf!(10233, 22442, 28232),
+ cdf!(5471, 14630, 21516),
+ cdf!(3235, 10767, 17109),
+ cdf!(27696, 32440, 32692),
+ cdf!(20032, 31167, 32438),
+ cdf!(8700, 21341, 28442),
+ cdf!(5662, 14831, 21795),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(9704, 17294, 21132),
+ cdf!(26762, 32278, 32633),
+ cdf!(18382, 29620, 31819),
+ cdf!(10891, 23475, 28723),
+ cdf!(6358, 16583, 23309),
+ cdf!(3248, 9118, 14141),
+ cdf!(27204, 32573, 32699),
+ cdf!(19818, 30824, 32329),
+ cdf!(11772, 25120, 30041),
+ cdf!(6995, 18033, 25039),
+ cdf!(3752, 10442, 16098),
+ cdf!(27222, 32256, 32559),
+ cdf!(15356, 28399, 31475),
+ cdf!(8821, 20635, 27057),
+ cdf!(5511, 14404, 21239),
+ cdf!(2935, 8222, 13051),
+ cdf!(24875, 32120, 32529),
+ cdf!(15233, 28265, 31445),
+ cdf!(8605, 20570, 26932),
+ cdf!(5431, 14413, 21196),
+ cdf!(2994, 8341, 13223),
+ cdf!(28201, 32604, 32700),
+ cdf!(21041, 31446, 32456),
+ cdf!(13221, 26213, 30475),
+ cdf!(8255, 19385, 26037),
+ cdf!(4930, 12585, 18830),
+ cdf!(28768, 32448, 32627),
+ cdf!(19705, 30561, 32021),
+ cdf!(11572, 23589, 28220),
+ cdf!(5532, 15034, 21446),
+ cdf!(2460, 7150, 11456),
+ cdf!(29874, 32619, 32699),
+ cdf!(21621, 31071, 32201),
+ cdf!(12511, 24747, 28992),
+ cdf!(6281, 16395, 22748),
+ cdf!(3246, 9278, 14497),
+ cdf!(29715, 32625, 32712),
+ cdf!(20958, 31011, 32283),
+ cdf!(11233, 23671, 28806),
+ cdf!(6012, 16128, 22868),
+ cdf!(3427, 9851, 15414),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(11016, 22111, 26794),
+ cdf!(25946, 32357, 32677),
+ cdf!(17890, 30452, 32252),
+ cdf!(11678, 25142, 29816),
+ cdf!(6720, 17534, 24584),
+ cdf!(4230, 11665, 17820),
+ cdf!(28400, 32623, 32747),
+ cdf!(21164, 31668, 32575),
+ cdf!(13572, 27388, 31182),
+ cdf!(8234, 20750, 27358),
+ cdf!(5065, 14055, 20897),
+ cdf!(28981, 32547, 32705),
+ cdf!(18681, 30543, 32239),
+ cdf!(10919, 24075, 29286),
+ cdf!(6431, 17199, 24077),
+ cdf!(3819, 10464, 16618),
+ cdf!(26870, 32467, 32693),
+ cdf!(19041, 30831, 32347),
+ cdf!(11794, 25211, 30016),
+ cdf!(6888, 18019, 24970),
+ cdf!(4370, 12363, 18992),
+ cdf!(29578, 32670, 32744),
+ cdf!(23159, 32007, 32613),
+ cdf!(15315, 28669, 31676),
+ cdf!(9298, 22607, 28782),
+ cdf!(6144, 15913, 22968),
+ cdf!(28110, 32499, 32669),
+ cdf!(21574, 30937, 32015),
+ cdf!(12759, 24818, 28727),
+ cdf!(6545, 16761, 23042),
+ cdf!(3649, 10597, 16833),
+ cdf!(28163, 32552, 32728),
+ cdf!(22101, 31469, 32464),
+ cdf!(13160, 25472, 30143),
+ cdf!(7303, 18684, 25468),
+ cdf!(5241, 13975, 20955),
+ cdf!(28400, 32631, 32744),
+ cdf!(22104, 31793, 32603),
+ cdf!(13557, 26571, 30846),
+ cdf!(7749, 19861, 26675),
+ cdf!(4873, 14030, 21234),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(9800, 17635, 21073),
+ cdf!(26153, 31885, 32527),
+ cdf!(15038, 27852, 31006),
+ cdf!(8718, 20564, 26486),
+ cdf!(5128, 14076, 20514),
+ cdf!(2636, 7566, 11925),
+ cdf!(27551, 32504, 32701),
+ cdf!(18310, 30054, 32100),
+ cdf!(10211, 23420, 29082),
+ cdf!(6222, 16876, 23916),
+ cdf!(3462, 9954, 15498),
+ cdf!(29991, 32633, 32721),
+ cdf!(19883, 30751, 32201),
+ cdf!(11141, 24184, 29285),
+ cdf!(6420, 16940, 23774),
+ cdf!(3392, 9753, 15118),
+ cdf!(28465, 32616, 32712),
+ cdf!(19850, 30702, 32244),
+ cdf!(10983, 24024, 29223),
+ cdf!(6294, 16770, 23582),
+ cdf!(3244, 9283, 14509),
+ cdf!(30023, 32717, 32748),
+ cdf!(22940, 32032, 32626),
+ cdf!(14282, 27928, 31473),
+ cdf!(8562, 21327, 27914),
+ cdf!(4846, 13393, 19919),
+ cdf!(29981, 32590, 32695),
+ cdf!(20465, 30963, 32166),
+ cdf!(11479, 23579, 28195),
+ cdf!(5916, 15648, 22073),
+ cdf!(3031, 8605, 13398),
+ cdf!(31146, 32691, 32739),
+ cdf!(23106, 31724, 32444),
+ cdf!(13783, 26738, 30439),
+ cdf!(7852, 19468, 25807),
+ cdf!(3860, 11124, 16853),
+ cdf!(31014, 32724, 32748),
+ cdf!(23629, 32109, 32628),
+ cdf!(14747, 28115, 31403),
+ cdf!(8545, 21242, 27478),
+ cdf!(4574, 12781, 19067),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(9185, 19694, 24688),
+ cdf!(26081, 31985, 32621),
+ cdf!(16015, 29000, 31787),
+ cdf!(10542, 23690, 29206),
+ cdf!(6732, 17945, 24677),
+ cdf!(3916, 11039, 16722),
+ cdf!(28224, 32566, 32744),
+ cdf!(19100, 31138, 32485),
+ cdf!(12528, 26620, 30879),
+ cdf!(7741, 20277, 26885),
+ cdf!(4566, 12845, 18990),
+ cdf!(29933, 32593, 32718),
+ cdf!(17670, 30333, 32155),
+ cdf!(10385, 23600, 28909),
+ cdf!(6243, 16236, 22407),
+ cdf!(3976, 10389, 16017),
+ cdf!(28377, 32561, 32738),
+ cdf!(19366, 31175, 32482),
+ cdf!(13327, 27175, 31094),
+ cdf!(8258, 20769, 27143),
+ cdf!(4703, 13198, 19527),
+ cdf!(31086, 32706, 32748),
+ cdf!(22853, 31902, 32583),
+ cdf!(14759, 28186, 31419),
+ cdf!(9284, 22382, 28348),
+ cdf!(5585, 15192, 21868),
+ cdf!(28291, 32652, 32746),
+ cdf!(19849, 32107, 32571),
+ cdf!(14834, 26818, 29214),
+ cdf!(10306, 22594, 28672),
+ cdf!(6615, 17384, 23384),
+ cdf!(28947, 32604, 32745),
+ cdf!(25625, 32289, 32646),
+ cdf!(18758, 28672, 31403),
+ cdf!(10017, 23430, 28523),
+ cdf!(6862, 15269, 22131),
+ cdf!(23933, 32509, 32739),
+ cdf!(19927, 31495, 32631),
+ cdf!(11903, 26023, 30621),
+ cdf!(7026, 20094, 27252),
+ cdf!(5998, 18106, 24437),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(4456, 11274, 15533),
+ cdf!(21219, 29079, 31616),
+ cdf!(11173, 23774, 28567),
+ cdf!(7282, 18293, 24263),
+ cdf!(4890, 13286, 19115),
+ cdf!(1890, 5508, 8659),
+ cdf!(26651, 32136, 32647),
+ cdf!(14630, 28254, 31455),
+ cdf!(8716, 21287, 27395),
+ cdf!(5615, 15331, 22008),
+ cdf!(2675, 7700, 12150),
+ cdf!(29954, 32526, 32690),
+ cdf!(16126, 28982, 31633),
+ cdf!(9030, 21361, 27352),
+ cdf!(5411, 14793, 21271),
+ cdf!(2943, 8422, 13163),
+ cdf!(29539, 32601, 32730),
+ cdf!(18125, 30385, 32201),
+ cdf!(10422, 24090, 29468),
+ cdf!(6468, 17487, 24438),
+ cdf!(2970, 8653, 13531),
+ cdf!(30912, 32715, 32748),
+ cdf!(20666, 31373, 32497),
+ cdf!(12509, 26640, 30917),
+ cdf!(8058, 20629, 27290),
+ cdf!(4231, 12006, 18052),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(10202, 20633, 25484),
+ cdf!(27336, 31445, 32352),
+ cdf!(12420, 24384, 28552),
+ cdf!(7648, 18115, 23856),
+ cdf!(5662, 14341, 19902),
+ cdf!(3611, 10328, 15390),
+ cdf!(30945, 32616, 32736),
+ cdf!(18682, 30505, 32253),
+ cdf!(11513, 25336, 30203),
+ cdf!(7449, 19452, 26148),
+ cdf!(4482, 13051, 18886),
+ cdf!(32022, 32690, 32747),
+ cdf!(18578, 30501, 32146),
+ cdf!(11249, 23368, 28631),
+ cdf!(5645, 16958, 22158),
+ cdf!(5009, 11444, 16637),
+ cdf!(31357, 32710, 32748),
+ cdf!(21552, 31494, 32504),
+ cdf!(13891, 27677, 31340),
+ cdf!(9051, 22098, 28172),
+ cdf!(5190, 13377, 19486),
+ cdf!(32364, 32740, 32748),
+ cdf!(24839, 31907, 32551),
+ cdf!(17160, 28779, 31696),
+ cdf!(12452, 24137, 29602),
+ cdf!(6165, 15389, 22477),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(2575, 7281, 11077),
+ cdf!(14002, 20866, 25402),
+ cdf!(6343, 15056, 19658),
+ cdf!(4474, 11858, 17041),
+ cdf!(2865, 8299, 12534),
+ cdf!(1344, 3949, 6391),
+ cdf!(24720, 31239, 32459),
+ cdf!(12585, 25356, 29968),
+ cdf!(7181, 18246, 24444),
+ cdf!(5025, 13667, 19885),
+ cdf!(2521, 7304, 11605),
+ cdf!(29908, 32252, 32584),
+ cdf!(17421, 29156, 31575),
+ cdf!(9889, 22188, 27782),
+ cdf!(5878, 15647, 22123),
+ cdf!(2814, 8665, 13323),
+ cdf!(30183, 32568, 32713),
+ cdf!(18528, 30195, 32049),
+ cdf!(10982, 24606, 29657),
+ cdf!(6957, 18165, 25231),
+ cdf!(3508, 10118, 15468),
+ cdf!(31761, 32736, 32748),
+ cdf!(21041, 31328, 32546),
+ cdf!(12568, 26732, 31166),
+ cdf!(8052, 20720, 27733),
+ cdf!(4336, 12192, 18396),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ] ],
+ [ [ [ cdf!(7062, 16472, 22319),
+ cdf!(24538, 32261, 32674),
+ cdf!(13675, 28041, 31779),
+ cdf!(8590, 20674, 27631),
+ cdf!(5685, 14675, 22013),
+ cdf!(3655, 9898, 15731),
+ cdf!(26493, 32418, 32658),
+ cdf!(16376, 29342, 32090),
+ cdf!(10594, 22649, 28970),
+ cdf!(8176, 17170, 24303),
+ cdf!(5605, 12694, 19139),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(23888, 31902, 32542),
+ cdf!(18612, 29687, 31987),
+ cdf!(16245, 24852, 29249),
+ cdf!(15765, 22608, 27559),
+ cdf!(19895, 24699, 27510),
+ cdf!(28401, 32212, 32457),
+ cdf!(15274, 27825, 30980),
+ cdf!(9364, 18128, 24332),
+ cdf!(2283, 8193, 15082),
+ cdf!(1228, 3972, 7881),
+ cdf!(29455, 32469, 32620),
+ cdf!(17981, 28245, 31388),
+ cdf!(10921, 20098, 26240),
+ cdf!(3743, 11829, 18657),
+ cdf!(2374, 9593, 15715),
+ cdf!(31068, 32466, 32635),
+ cdf!(20321, 29572, 31971),
+ cdf!(10771, 20255, 27119),
+ cdf!(2795, 10410, 17361),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(9320, 22102, 27840),
+ cdf!(27057, 32464, 32724),
+ cdf!(16331, 30268, 32309),
+ cdf!(10319, 23935, 29720),
+ cdf!(6189, 16448, 24106),
+ cdf!(3589, 10884, 18808),
+ cdf!(29026, 32624, 32748),
+ cdf!(19226, 31507, 32587),
+ cdf!(12692, 26921, 31203),
+ cdf!(7049, 19532, 27635),
+ cdf!(7727, 15669, 23252),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(28056, 32625, 32748),
+ cdf!(22383, 32075, 32669),
+ cdf!(15417, 27098, 31749),
+ cdf!(18127, 26493, 27190),
+ cdf!(5461, 16384, 21845),
+ cdf!(27982, 32091, 32584),
+ cdf!(19045, 29868, 31972),
+ cdf!(10397, 22266, 27932),
+ cdf!(5990, 13697, 21500),
+ cdf!(1792, 6912, 15104),
+ cdf!(28198, 32501, 32718),
+ cdf!(21534, 31521, 32569),
+ cdf!(11109, 25217, 30017),
+ cdf!(5671, 15124, 26151),
+ cdf!(4681, 14043, 18725),
+ cdf!(28688, 32580, 32741),
+ cdf!(22576, 32079, 32661),
+ cdf!(10627, 22141, 28340),
+ cdf!(9362, 14043, 28087),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(7754, 16948, 22142),
+ cdf!(25670, 32330, 32691),
+ cdf!(15663, 29225, 31994),
+ cdf!(9878, 23288, 29158),
+ cdf!(6419, 17088, 24336),
+ cdf!(3859, 11003, 17039),
+ cdf!(27562, 32595, 32725),
+ cdf!(17575, 30588, 32399),
+ cdf!(10819, 24838, 30309),
+ cdf!(7124, 18686, 25916),
+ cdf!(4479, 12688, 19340),
+ cdf!(28385, 32476, 32673),
+ cdf!(15306, 29005, 31938),
+ cdf!(8937, 21615, 28322),
+ cdf!(5982, 15603, 22786),
+ cdf!(3620, 10267, 16136),
+ cdf!(27280, 32464, 32667),
+ cdf!(15607, 29160, 32004),
+ cdf!(9091, 22135, 28740),
+ cdf!(6232, 16632, 24020),
+ cdf!(4047, 11377, 17672),
+ cdf!(29220, 32630, 32718),
+ cdf!(19650, 31220, 32462),
+ cdf!(13050, 26312, 30827),
+ cdf!(9228, 20870, 27468),
+ cdf!(6146, 15149, 21971),
+ cdf!(30169, 32481, 32623),
+ cdf!(17212, 29311, 31554),
+ cdf!(9911, 21311, 26882),
+ cdf!(4487, 13314, 20372),
+ cdf!(2570, 7772, 12889),
+ cdf!(30924, 32613, 32708),
+ cdf!(19490, 30206, 32107),
+ cdf!(11232, 23998, 29276),
+ cdf!(6769, 17955, 25035),
+ cdf!(4398, 12623, 19214),
+ cdf!(30609, 32627, 32722),
+ cdf!(19370, 30582, 32287),
+ cdf!(10457, 23619, 29409),
+ cdf!(6443, 17637, 24834),
+ cdf!(4645, 13236, 20106),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8626, 20271, 26216),
+ cdf!(26707, 32406, 32711),
+ cdf!(16999, 30329, 32286),
+ cdf!(11445, 25123, 30286),
+ cdf!(6411, 18828, 25601),
+ cdf!(6801, 12458, 20248),
+ cdf!(29918, 32682, 32748),
+ cdf!(20649, 31739, 32618),
+ cdf!(12879, 27773, 31581),
+ cdf!(7896, 21751, 28244),
+ cdf!(5260, 14870, 23698),
+ cdf!(29252, 32593, 32731),
+ cdf!(17072, 30460, 32294),
+ cdf!(10653, 24143, 29365),
+ cdf!(6536, 17490, 23983),
+ cdf!(4929, 13170, 20085),
+ cdf!(28137, 32518, 32715),
+ cdf!(18171, 30784, 32407),
+ cdf!(11437, 25436, 30459),
+ cdf!(7252, 18534, 26176),
+ cdf!(4126, 13353, 20978),
+ cdf!(31162, 32726, 32748),
+ cdf!(23017, 32222, 32701),
+ cdf!(15629, 29233, 32046),
+ cdf!(9387, 22621, 29480),
+ cdf!(6922, 17616, 25010),
+ cdf!(28838, 32265, 32614),
+ cdf!(19701, 30206, 31920),
+ cdf!(11214, 22410, 27933),
+ cdf!(5320, 14177, 23034),
+ cdf!(5049, 12881, 17827),
+ cdf!(27484, 32471, 32734),
+ cdf!(21076, 31526, 32561),
+ cdf!(12707, 26303, 31211),
+ cdf!(8169, 21722, 28219),
+ cdf!(6045, 19406, 27042),
+ cdf!(27753, 32572, 32745),
+ cdf!(20832, 31878, 32653),
+ cdf!(13250, 27356, 31674),
+ cdf!(7718, 21508, 29858),
+ cdf!(7209, 18350, 25559),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(7876, 16901, 21741),
+ cdf!(24001, 31898, 32625),
+ cdf!(14529, 27959, 31451),
+ cdf!(8273, 20818, 27258),
+ cdf!(5278, 14673, 21510),
+ cdf!(2983, 8843, 14039),
+ cdf!(28016, 32574, 32732),
+ cdf!(17471, 30306, 32301),
+ cdf!(10224, 24063, 29728),
+ cdf!(6602, 17954, 25052),
+ cdf!(4002, 11585, 17759),
+ cdf!(30190, 32634, 32739),
+ cdf!(17497, 30282, 32270),
+ cdf!(10229, 23729, 29538),
+ cdf!(6344, 17211, 24440),
+ cdf!(3849, 11189, 17108),
+ cdf!(28570, 32583, 32726),
+ cdf!(17521, 30161, 32238),
+ cdf!(10153, 23565, 29378),
+ cdf!(6455, 17341, 24443),
+ cdf!(3907, 11042, 17024),
+ cdf!(30689, 32715, 32748),
+ cdf!(21546, 31840, 32610),
+ cdf!(13547, 27581, 31459),
+ cdf!(8912, 21757, 28309),
+ cdf!(5548, 15080, 22046),
+ cdf!(30783, 32540, 32685),
+ cdf!(17540, 29528, 31668),
+ cdf!(10160, 21468, 26783),
+ cdf!(4724, 13393, 20054),
+ cdf!(2702, 8174, 13102),
+ cdf!(31648, 32686, 32742),
+ cdf!(20954, 31094, 32337),
+ cdf!(12420, 25698, 30179),
+ cdf!(7304, 19320, 26248),
+ cdf!(4366, 12261, 18864),
+ cdf!(31581, 32723, 32748),
+ cdf!(21373, 31586, 32525),
+ cdf!(12744, 26625, 30885),
+ cdf!(7431, 20322, 26950),
+ cdf!(4692, 13323, 20111),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(7833, 18369, 24095),
+ cdf!(26650, 32273, 32702),
+ cdf!(16371, 29961, 32191),
+ cdf!(11055, 24082, 29629),
+ cdf!(6892, 18644, 25400),
+ cdf!(5006, 13057, 19240),
+ cdf!(29834, 32666, 32748),
+ cdf!(19577, 31335, 32570),
+ cdf!(12253, 26509, 31122),
+ cdf!(7991, 20772, 27711),
+ cdf!(5677, 15910, 23059),
+ cdf!(30109, 32532, 32720),
+ cdf!(16747, 30166, 32252),
+ cdf!(10134, 23542, 29184),
+ cdf!(5791, 16176, 23556),
+ cdf!(4362, 10414, 17284),
+ cdf!(29492, 32626, 32748),
+ cdf!(19894, 31402, 32525),
+ cdf!(12942, 27071, 30869),
+ cdf!(8346, 21216, 27405),
+ cdf!(6572, 17087, 23859),
+ cdf!(32035, 32735, 32748),
+ cdf!(22957, 31838, 32618),
+ cdf!(14724, 28572, 31772),
+ cdf!(10364, 23999, 29553),
+ cdf!(7004, 18433, 25655),
+ cdf!(27528, 32277, 32681),
+ cdf!(16959, 31171, 32096),
+ cdf!(10486, 23593, 27962),
+ cdf!(8192, 16384, 23211),
+ cdf!(8937, 17873, 20852),
+ cdf!(27715, 32002, 32615),
+ cdf!(15073, 29491, 31676),
+ cdf!(11264, 24576, 28672),
+ cdf!(2341, 18725, 23406),
+ cdf!(7282, 18204, 25486),
+ cdf!(28547, 32213, 32657),
+ cdf!(20788, 29773, 32239),
+ cdf!(6780, 21469, 30508),
+ cdf!(5958, 14895, 23831),
+ cdf!(16384, 21845, 27307),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(5992, 14304, 19765),
+ cdf!(22612, 31238, 32456),
+ cdf!(13456, 27162, 31087),
+ cdf!(8001, 20062, 26504),
+ cdf!(5168, 14105, 20764),
+ cdf!(2632, 7771, 12385),
+ cdf!(27034, 32344, 32709),
+ cdf!(15850, 29415, 31997),
+ cdf!(9494, 22776, 28841),
+ cdf!(6151, 16830, 23969),
+ cdf!(3461, 10039, 15722),
+ cdf!(30134, 32569, 32731),
+ cdf!(15638, 29422, 31945),
+ cdf!(9150, 21865, 28218),
+ cdf!(5647, 15719, 22676),
+ cdf!(3402, 9772, 15477),
+ cdf!(28530, 32586, 32735),
+ cdf!(17139, 30298, 32292),
+ cdf!(10200, 24039, 29685),
+ cdf!(6419, 17674, 24786),
+ cdf!(3544, 10225, 15824),
+ cdf!(31333, 32726, 32748),
+ cdf!(20618, 31487, 32544),
+ cdf!(12901, 27217, 31232),
+ cdf!(8624, 21734, 28171),
+ cdf!(5104, 14191, 20748),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(11206, 21090, 26561),
+ cdf!(28759, 32279, 32671),
+ cdf!(14171, 27952, 31569),
+ cdf!(9743, 22907, 29141),
+ cdf!(6871, 17886, 24868),
+ cdf!(4960, 13152, 19315),
+ cdf!(31077, 32661, 32748),
+ cdf!(19400, 31195, 32515),
+ cdf!(12752, 26858, 31040),
+ cdf!(8370, 22098, 28591),
+ cdf!(5457, 15373, 22298),
+ cdf!(31697, 32706, 32748),
+ cdf!(17860, 30657, 32333),
+ cdf!(12510, 24812, 29261),
+ cdf!(6180, 19124, 24722),
+ cdf!(5041, 13548, 17959),
+ cdf!(31552, 32716, 32748),
+ cdf!(21908, 31769, 32623),
+ cdf!(14470, 28201, 31565),
+ cdf!(9493, 22982, 28608),
+ cdf!(6858, 17240, 24137),
+ cdf!(32543, 32752, 32756),
+ cdf!(24286, 32097, 32666),
+ cdf!(15958, 29217, 32024),
+ cdf!(10207, 24234, 29958),
+ cdf!(6929, 18305, 25652),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ],
+ [ [ cdf!(4137, 10847, 15682),
+ cdf!(17824, 27001, 30058),
+ cdf!(10204, 22796, 28291),
+ cdf!(6076, 15935, 22125),
+ cdf!(3852, 10937, 16816),
+ cdf!(2252, 6324, 10131),
+ cdf!(25840, 32016, 32662),
+ cdf!(15109, 28268, 31531),
+ cdf!(9385, 22231, 28340),
+ cdf!(6082, 16672, 23479),
+ cdf!(3318, 9427, 14681),
+ cdf!(30594, 32574, 32718),
+ cdf!(16836, 29552, 31859),
+ cdf!(9556, 22542, 28356),
+ cdf!(6305, 16725, 23540),
+ cdf!(3376, 9895, 15184),
+ cdf!(29383, 32617, 32745),
+ cdf!(18891, 30809, 32401),
+ cdf!(11688, 25942, 30687),
+ cdf!(7468, 19469, 26651),
+ cdf!(3909, 11358, 17012),
+ cdf!(31564, 32736, 32748),
+ cdf!(20906, 31611, 32600),
+ cdf!(13191, 27621, 31537),
+ cdf!(8768, 22029, 28676),
+ cdf!(5079, 14109, 20906),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ],
+ [ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576),
+ cdf!(8192, 16384, 24576) ] ] ] ];
+
+pub static av1_default_coeff_base_eob_multi_cdfs:
+ [[[[[u16; cdf_size!(NUM_BASE_LEVELS + 1)]; SIG_COEF_CONTEXTS_EOB]; PLANE_TYPES]; TxSize::TX_SIZES]; TOKEN_CDF_Q_CTXS] = [
+ [ [ [ cdf!(17837, 29055),
+ cdf!(29600, 31446),
+ cdf!(30844, 31878),
+ cdf!(24926, 28948) ],
+ [ cdf!(21365, 30026),
+ cdf!(30512, 32423),
+ cdf!(31658, 32621),
+ cdf!(29630, 31881) ] ],
+ [ [ cdf!(5717, 26477),
+ cdf!(30491, 31703),
+ cdf!(31550, 32158),
+ cdf!(29648, 31491) ],
+ [ cdf!(12608, 27820),
+ cdf!(30680, 32225),
+ cdf!(30809, 32335),
+ cdf!(31299, 32423) ] ],
+ [ [ cdf!(1786, 12612),
+ cdf!(30663, 31625),
+ cdf!(32339, 32468),
+ cdf!(31148, 31833) ],
+ [ cdf!(18857, 23865),
+ cdf!(31428, 32428),
+ cdf!(31744, 32373),
+ cdf!(31775, 32526) ] ],
+ [ [ cdf!(1787, 2532),
+ cdf!(30832, 31662),
+ cdf!(31824, 32682),
+ cdf!(32133, 32569) ],
+ [ cdf!(13751, 22235),
+ cdf!(32089, 32409),
+ cdf!(27084, 27920),
+ cdf!(29291, 32594) ] ],
+ [ [ cdf!(1725, 3449),
+ cdf!(31102, 31935),
+ cdf!(32457, 32613),
+ cdf!(32412, 32649) ],
+ [ cdf!(10923, 21845),
+ cdf!(10923, 21845),
+ cdf!(10923, 21845),
+ cdf!(10923, 21845) ] ] ],
+ [ [ [ cdf!(17560, 29888),
+ cdf!(29671, 31549),
+ cdf!(31007, 32056),
+ cdf!(27286, 30006) ],
+ [ cdf!(26594, 31212),
+ cdf!(31208, 32582),
+ cdf!(31835, 32637),
+ cdf!(30595, 32206) ] ],
+ [ [ cdf!(15239, 29932),
+ cdf!(31315, 32095),
+ cdf!(32130, 32434),
+ cdf!(30864, 31996) ],
+ [ cdf!(26279, 30968),
+ cdf!(31142, 32495),
+ cdf!(31713, 32540),
+ cdf!(31929, 32594) ] ],
+ [ [ cdf!(2644, 25198),
+ cdf!(32038, 32451),
+ cdf!(32639, 32695),
+ cdf!(32166, 32518) ],
+ [ cdf!(17187, 27668),
+ cdf!(31714, 32550),
+ cdf!(32283, 32678),
+ cdf!(31930, 32563) ] ],
+ [ [ cdf!(1044, 2257),
+ cdf!(30755, 31923),
+ cdf!(32208, 32693),
+ cdf!(32244, 32615) ],
+ [ cdf!(21317, 26207),
+ cdf!(29133, 30868),
+ cdf!(29311, 31231),
+ cdf!(29657, 31087) ] ],
+ [ [ cdf!(478, 1834),
+ cdf!(31005, 31987),
+ cdf!(32317, 32724),
+ cdf!(30865, 32648) ],
+ [ cdf!(10923, 21845),
+ cdf!(10923, 21845),
+ cdf!(10923, 21845),
+ cdf!(10923, 21845) ] ] ],
+ [ [ [ cdf!(20092, 30774),
+ cdf!(30695, 32020),
+ cdf!(31131, 32103),
+ cdf!(28666, 30870) ],
+ [ cdf!(27258, 31095),
+ cdf!(31804, 32623),
+ cdf!(31763, 32528),
+ cdf!(31438, 32506) ] ],
+ [ [ cdf!(18049, 30489),
+ cdf!(31706, 32286),
+ cdf!(32163, 32473),
+ cdf!(31550, 32184) ],
+ [ cdf!(27116, 30842),
+ cdf!(31971, 32598),
+ cdf!(32088, 32576),
+ cdf!(32067, 32664) ] ],
+ [ [ cdf!(12854, 29093),
+ cdf!(32272, 32558),
+ cdf!(32667, 32729),
+ cdf!(32306, 32585) ],
+ [ cdf!(25476, 30366),
+ cdf!(32169, 32687),
+ cdf!(32479, 32689),
+ cdf!(31673, 32634) ] ],
+ [ [ cdf!(2809, 19301),
+ cdf!(32205, 32622),
+ cdf!(32338, 32730),
+ cdf!(31786, 32616) ],
+ [ cdf!(22737, 29105),
+ cdf!(30810, 32362),
+ cdf!(30014, 32627),
+ cdf!(30528, 32574) ] ],
+ [ [ cdf!(935, 3382),
+ cdf!(30789, 31909),
+ cdf!(32466, 32756),
+ cdf!(30860, 32513) ],
+ [ cdf!(10923, 21845),
+ cdf!(10923, 21845),
+ cdf!(10923, 21845),
+ cdf!(10923, 21845) ] ] ],
+ [ [ [ cdf!(22497, 31198),
+ cdf!(31715, 32495),
+ cdf!(31606, 32337),
+ cdf!(30388, 31990) ],
+ [ cdf!(27877, 31584),
+ cdf!(32170, 32728),
+ cdf!(32155, 32688),
+ cdf!(32219, 32702) ] ],
+ [ [ cdf!(21457, 31043),
+ cdf!(31951, 32483),
+ cdf!(32153, 32562),
+ cdf!(31473, 32215) ],
+ [ cdf!(27558, 31151),
+ cdf!(32020, 32640),
+ cdf!(32097, 32575),
+ cdf!(32242, 32719) ] ],
+ [ [ cdf!(19980, 30591),
+ cdf!(32219, 32597),
+ cdf!(32581, 32706),
+ cdf!(31803, 32287) ],
+ [ cdf!(26473, 30507),
+ cdf!(32431, 32723),
+ cdf!(32196, 32611),
+ cdf!(31588, 32528) ] ],
+ [ [ cdf!(24647, 30463),
+ cdf!(32412, 32695),
+ cdf!(32468, 32720),
+ cdf!(31269, 32523) ],
+ [ cdf!(28482, 31505),
+ cdf!(32152, 32701),
+ cdf!(31732, 32598),
+ cdf!(31767, 32712) ] ],
+ [ [ cdf!(12358, 24977),
+ cdf!(31331, 32385),
+ cdf!(32634, 32756),
+ cdf!(30411, 32548) ],
+ [ cdf!(10923, 21845),
+ cdf!(10923, 21845),
+ cdf!(10923, 21845),
+ cdf!(10923, 21845) ] ] ] ];
diff --git a/src/util.rs b/src/util.rs
index b9db082f..c86a7576 100755
--- a/src/util.rs
+++ b/src/util.rs
@@ -116,6 +116,16 @@ macro_rules! arg_enum {
};
}
+//TODO: Nice to have (although I wasnt able to find a way to do it yet in rust): zero-fill arrays that are
+// shorter than required. Need const fn (Rust Issue #24111) or const generics (Rust RFC #2000)
+macro_rules! cdf {
+ ($($x:expr),+) => {[$(32768 - $x),+, 0, 0]}
+}
+
+macro_rules! cdf_size {
+ ($x:expr) => ($x+1);
+}
+
#[repr(align(16))]
struct Align16;
--
GitLab