Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/include/uapi/linux/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 9 kB image not shown  

Quellcode-Bibliothek token_cdfs.h

  Sprache: C
 

/*
 * Copyright (c) 2017, Alliance for Open Media. 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.
 */


#ifndef AOM_AV1_COMMON_TOKEN_CDFS_H_
#define AOM_AV1_COMMON_TOKEN_CDFS_H_

#include "config/aom_config.h"

#include "av1/common/entropy.h"

static const aom_cdf_prob
    av1_default_dc_sign_cdfs[TOKEN_CDF_Q_CTXS][PLANE_TYPES][DC_SIGN_CONTEXTS]
                            [CDF_SIZE(2)] = {
                              { {
                                    { AOM_CDF2(128 * 125) },
                                    { AOM_CDF2(128 * 102) },
                                    { AOM_CDF2(128 * 147) },
                                },
                                {
                                    { AOM_CDF2(128 * 119) },
                                    { AOM_CDF2(128 * 101) },
                                    { AOM_CDF2(128 * 135) },
                                } },
                              { {
                                    { AOM_CDF2(128 * 125) },
                                    { AOM_CDF2(128 * 102) },
                                    { AOM_CDF2(128 * 147) },
                                },
                                {
                                    { AOM_CDF2(128 * 119) },
                                    { AOM_CDF2(128 * 101) },
                                    { AOM_CDF2(128 * 135) },
                                } },
                              { {
                                    { AOM_CDF2(128 * 125) },
                                    { AOM_CDF2(128 * 102) },
                                    { AOM_CDF2(128 * 147) },
                                },
                                {
                                    { AOM_CDF2(128 * 119) },
                                    { AOM_CDF2(128 * 101) },
                                    { AOM_CDF2(128 * 135) },
                                } },
                              { {
                                    { AOM_CDF2(128 * 125) },
                                    { AOM_CDF2(128 * 102) },
                                    { AOM_CDF2(128 * 147) },
                                },
                                {
                                    { AOM_CDF2(128 * 119) },
                                    { AOM_CDF2(128 * 101) },
                                    { AOM_CDF2(128 * 135) },
                                } },
                            };

static const aom_cdf_prob
    av1_default_txb_skip_cdfs[TOKEN_CDF_Q_CTXS][TX_SIZES][TXB_SKIP_CONTEXTS]
                             [CDF_SIZE(2)] = { { { { AOM_CDF2(31849) },
                                                   { AOM_CDF2(5892) },
                                                   { AOM_CDF2(12112) },
                                                   { AOM_CDF2(21935) },
                                                   { AOM_CDF2(20289) },
                                                   { AOM_CDF2(27473) },
                                                   { AOM_CDF2(32487) },
                                                   { AOM_CDF2(7654) },
                                                   { AOM_CDF2(19473) },
                                                   { AOM_CDF2(29984) },
                                                   { AOM_CDF2(9961) },
                                                   { AOM_CDF2(30242) },
                                                   { AOM_CDF2(32117) } },
                                                 { { AOM_CDF2(31548) },
                                                   { AOM_CDF2(1549) },
                                                   { AOM_CDF2(10130) },
                                                   { AOM_CDF2(16656) },
                                                   { AOM_CDF2(18591) },
                                                   { AOM_CDF2(26308) },
                                                   { AOM_CDF2(32537) },
                                                   { AOM_CDF2(5403) },
                                                   { AOM_CDF2(18096) },
                                                   { AOM_CDF2(30003) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(29957) },
                                                   { AOM_CDF2(5391) },
                                                   { AOM_CDF2(18039) },
                                                   { AOM_CDF2(23566) },
                                                   { AOM_CDF2(22431) },
                                                   { AOM_CDF2(25822) },
                                                   { AOM_CDF2(32197) },
                                                   { AOM_CDF2(3778) },
                                                   { AOM_CDF2(15336) },
                                                   { AOM_CDF2(28981) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(17920) },
                                                   { AOM_CDF2(1818) },
                                                   { AOM_CDF2(7282) },
                                                   { AOM_CDF2(25273) },
                                                   { AOM_CDF2(10923) },
                                                   { AOM_CDF2(31554) },
                                                   { AOM_CDF2(32624) },
                                                   { AOM_CDF2(1366) },
                                                   { AOM_CDF2(15628) },
                                                   { AOM_CDF2(30462) },
                                                   { AOM_CDF2(146) },
                                                   { AOM_CDF2(5132) },
                                                   { AOM_CDF2(31657) } },
                                                 { { AOM_CDF2(6308) },
                                                   { AOM_CDF2(117) },
                                                   { AOM_CDF2(1638) },
                                                   { AOM_CDF2(2161) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(10923) },
                                                   { AOM_CDF2(30247) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } } },
                                               { { { AOM_CDF2(30371) },
                                                   { AOM_CDF2(7570) },
                                                   { AOM_CDF2(13155) },
                                                   { AOM_CDF2(20751) },
                                                   { AOM_CDF2(20969) },
                                                   { AOM_CDF2(27067) },
                                                   { AOM_CDF2(32013) },
                                                   { AOM_CDF2(5495) },
                                                   { AOM_CDF2(17942) },
                                                   { AOM_CDF2(28280) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(31782) },
                                                   { AOM_CDF2(1836) },
                                                   { AOM_CDF2(10689) },
                                                   { AOM_CDF2(17604) },
                                                   { AOM_CDF2(21622) },
                                                   { AOM_CDF2(27518) },
                                                   { AOM_CDF2(32399) },
                                                   { AOM_CDF2(4419) },
                                                   { AOM_CDF2(16294) },
                                                   { AOM_CDF2(28345) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(31901) },
                                                   { AOM_CDF2(10311) },
                                                   { AOM_CDF2(18047) },
                                                   { AOM_CDF2(24806) },
                                                   { AOM_CDF2(23288) },
                                                   { AOM_CDF2(27914) },
                                                   { AOM_CDF2(32296) },
                                                   { AOM_CDF2(4215) },
                                                   { AOM_CDF2(15756) },
                                                   { AOM_CDF2(28341) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(26726) },
                                                   { AOM_CDF2(1045) },
                                                   { AOM_CDF2(11703) },
                                                   { AOM_CDF2(20590) },
                                                   { AOM_CDF2(18554) },
                                                   { AOM_CDF2(25970) },
                                                   { AOM_CDF2(31938) },
                                                   { AOM_CDF2(5583) },
                                                   { AOM_CDF2(21313) },
                                                   { AOM_CDF2(29390) },
                                                   { AOM_CDF2(641) },
                                                   { AOM_CDF2(22265) },
                                                   { AOM_CDF2(31452) } },
                                                 { { AOM_CDF2(26584) },
                                                   { AOM_CDF2(188) },
                                                   { AOM_CDF2(8847) },
                                                   { AOM_CDF2(24519) },
                                                   { AOM_CDF2(22938) },
                                                   { AOM_CDF2(30583) },
                                                   { AOM_CDF2(32608) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } } },
                                               { { { AOM_CDF2(29614) },
                                                   { AOM_CDF2(9068) },
                                                   { AOM_CDF2(12924) },
                                                   { AOM_CDF2(19538) },
                                                   { AOM_CDF2(17737) },
                                                   { AOM_CDF2(24619) },
                                                   { AOM_CDF2(30642) },
                                                   { AOM_CDF2(4119) },
                                                   { AOM_CDF2(16026) },
                                                   { AOM_CDF2(25657) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(31957) },
                                                   { AOM_CDF2(3230) },
                                                   { AOM_CDF2(11153) },
                                                   { AOM_CDF2(18123) },
                                                   { AOM_CDF2(20143) },
                                                   { AOM_CDF2(26536) },
                                                   { AOM_CDF2(31986) },
                                                   { AOM_CDF2(3050) },
                                                   { AOM_CDF2(14603) },
                                                   { AOM_CDF2(25155) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(32363) },
                                                   { AOM_CDF2(10692) },
                                                   { AOM_CDF2(19090) },
                                                   { AOM_CDF2(24357) },
                                                   { AOM_CDF2(24442) },
                                                   { AOM_CDF2(28312) },
                                                   { AOM_CDF2(32169) },
                                                   { AOM_CDF2(3648) },
                                                   { AOM_CDF2(15690) },
                                                   { AOM_CDF2(26815) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(30669) },
                                                   { AOM_CDF2(3832) },
                                                   { AOM_CDF2(11663) },
                                                   { AOM_CDF2(18889) },
                                                   { AOM_CDF2(19782) },
                                                   { AOM_CDF2(23313) },
                                                   { AOM_CDF2(31330) },
                                                   { AOM_CDF2(5124) },
                                                   { AOM_CDF2(18719) },
                                                   { AOM_CDF2(28468) },
                                                   { AOM_CDF2(3082) },
                                                   { AOM_CDF2(20982) },
                                                   { AOM_CDF2(29443) } },
                                                 { { AOM_CDF2(28573) },
                                                   { AOM_CDF2(3183) },
                                                   { AOM_CDF2(17802) },
                                                   { AOM_CDF2(25977) },
                                                   { AOM_CDF2(26677) },
                                                   { AOM_CDF2(27832) },
                                                   { AOM_CDF2(32387) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } } },
                                               { { { AOM_CDF2(26887) },
                                                   { AOM_CDF2(6729) },
                                                   { AOM_CDF2(10361) },
                                                   { AOM_CDF2(17442) },
                                                   { AOM_CDF2(15045) },
                                                   { AOM_CDF2(22478) },
                                                   { AOM_CDF2(29072) },
                                                   { AOM_CDF2(2713) },
                                                   { AOM_CDF2(11861) },
                                                   { AOM_CDF2(20773) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(31903) },
                                                   { AOM_CDF2(2044) },
                                                   { AOM_CDF2(7528) },
                                                   { AOM_CDF2(14618) },
                                                   { AOM_CDF2(16182) },
                                                   { AOM_CDF2(24168) },
                                                   { AOM_CDF2(31037) },
                                                   { AOM_CDF2(2786) },
                                                   { AOM_CDF2(11194) },
                                                   { AOM_CDF2(20155) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(32510) },
                                                   { AOM_CDF2(8430) },
                                                   { AOM_CDF2(17318) },
                                                   { AOM_CDF2(24154) },
                                                   { AOM_CDF2(23674) },
                                                   { AOM_CDF2(28789) },
                                                   { AOM_CDF2(32139) },
                                                   { AOM_CDF2(3440) },
                                                   { AOM_CDF2(13117) },
                                                   { AOM_CDF2(22702) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } },
                                                 { { AOM_CDF2(31671) },
                                                   { AOM_CDF2(2056) },
                                                   { AOM_CDF2(11746) },
                                                   { AOM_CDF2(16852) },
                                                   { AOM_CDF2(18635) },
                                                   { AOM_CDF2(24715) },
                                                   { AOM_CDF2(31484) },
                                                   { AOM_CDF2(4656) },
                                                   { AOM_CDF2(16074) },
                                                   { AOM_CDF2(24704) },
                                                   { AOM_CDF2(1806) },
                                                   { AOM_CDF2(14645) },
                                                   { AOM_CDF2(25336) } },
                                                 { { AOM_CDF2(31539) },
                                                   { AOM_CDF2(8433) },
                                                   { AOM_CDF2(20576) },
                                                   { AOM_CDF2(27904) },
                                                   { AOM_CDF2(27852) },
                                                   { AOM_CDF2(30026) },
                                                   { AOM_CDF2(32441) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) },
                                                   { AOM_CDF2(16384) } } } };

static const aom_cdf_prob
    av1_default_eob_extra_cdfs[TOKEN_CDF_Q_CTXS][TX_SIZES][PLANE_TYPES]
                              [EOB_COEF_CONTEXTS][CDF_SIZE(2)] = {
                                { { {
                                        { AOM_CDF2(16961) },
                                        { AOM_CDF2(17223) },
                                        { AOM_CDF2(7621) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(19069) },
                                        { AOM_CDF2(22525) },
                                        { AOM_CDF2(13377) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(20401) },
                                        { AOM_CDF2(17025) },
                                        { AOM_CDF2(12845) },
                                        { AOM_CDF2(12873) },
                                        { AOM_CDF2(14094) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(20681) },
                                        { AOM_CDF2(20701) },
                                        { AOM_CDF2(15250) },
                                        { AOM_CDF2(15017) },
                                        { AOM_CDF2(14928) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(23905) },
                                        { AOM_CDF2(17194) },
                                        { AOM_CDF2(16170) },
                                        { AOM_CDF2(17695) },
                                        { AOM_CDF2(13826) },
                                        { AOM_CDF2(15810) },
                                        { AOM_CDF2(12036) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(23959) },
                                        { AOM_CDF2(20799) },
                                        { AOM_CDF2(19021) },
                                        { AOM_CDF2(16203) },
                                        { AOM_CDF2(17886) },
                                        { AOM_CDF2(14144) },
                                        { AOM_CDF2(12010) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(27399) },
                                        { AOM_CDF2(16327) },
                                        { AOM_CDF2(18071) },
                                        { AOM_CDF2(19584) },
                                        { AOM_CDF2(20721) },
                                        { AOM_CDF2(18432) },
                                        { AOM_CDF2(19560) },
                                        { AOM_CDF2(10150) },
                                        { AOM_CDF2(8805) },
                                    },
                                    {
                                        { AOM_CDF2(24932) },
                                        { AOM_CDF2(20833) },
                                        { AOM_CDF2(12027) },
                                        { AOM_CDF2(16670) },
                                        { AOM_CDF2(19914) },
                                        { AOM_CDF2(15106) },
                                        { AOM_CDF2(17662) },
                                        { AOM_CDF2(13783) },
                                        { AOM_CDF2(28756) },
                                    } },
                                  { {
                                        { AOM_CDF2(23406) },
                                        { AOM_CDF2(21845) },
                                        { AOM_CDF2(18432) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(17096) },
                                        { AOM_CDF2(12561) },
                                        { AOM_CDF2(17320) },
                                        { AOM_CDF2(22395) },
                                        { AOM_CDF2(21370) },
                                    },
                                    {
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } } },
                                { { {
                                        { AOM_CDF2(17471) },
                                        { AOM_CDF2(20223) },
                                        { AOM_CDF2(11357) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(20335) },
                                        { AOM_CDF2(21667) },
                                        { AOM_CDF2(14818) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(20430) },
                                        { AOM_CDF2(20662) },
                                        { AOM_CDF2(15367) },
                                        { AOM_CDF2(16970) },
                                        { AOM_CDF2(14657) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(22117) },
                                        { AOM_CDF2(22028) },
                                        { AOM_CDF2(18650) },
                                        { AOM_CDF2(16042) },
                                        { AOM_CDF2(15885) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(22409) },
                                        { AOM_CDF2(21012) },
                                        { AOM_CDF2(15650) },
                                        { AOM_CDF2(17395) },
                                        { AOM_CDF2(15469) },
                                        { AOM_CDF2(20205) },
                                        { AOM_CDF2(19511) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(24220) },
                                        { AOM_CDF2(22480) },
                                        { AOM_CDF2(17737) },
                                        { AOM_CDF2(18916) },
                                        { AOM_CDF2(19268) },
                                        { AOM_CDF2(18412) },
                                        { AOM_CDF2(18844) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(25991) },
                                        { AOM_CDF2(20314) },
                                        { AOM_CDF2(17731) },
                                        { AOM_CDF2(19678) },
                                        { AOM_CDF2(18649) },
                                        { AOM_CDF2(17307) },
                                        { AOM_CDF2(21798) },
                                        { AOM_CDF2(17549) },
                                        { AOM_CDF2(15630) },
                                    },
                                    {
                                        { AOM_CDF2(26585) },
                                        { AOM_CDF2(21469) },
                                        { AOM_CDF2(20432) },
                                        { AOM_CDF2(17735) },
                                        { AOM_CDF2(19280) },
                                        { AOM_CDF2(15235) },
                                        { AOM_CDF2(20297) },
                                        { AOM_CDF2(22471) },
                                        { AOM_CDF2(28997) },
                                    } },
                                  { {
                                        { AOM_CDF2(26605) },
                                        { AOM_CDF2(11304) },
                                        { AOM_CDF2(16726) },
                                        { AOM_CDF2(16560) },
                                        { AOM_CDF2(20866) },
                                        { AOM_CDF2(23524) },
                                        { AOM_CDF2(19878) },
                                        { AOM_CDF2(13469) },
                                        { AOM_CDF2(23084) },
                                    },
                                    {
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } } },
                                { { {
                                        { AOM_CDF2(18983) },
                                        { AOM_CDF2(20512) },
                                        { AOM_CDF2(14885) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(20090) },
                                        { AOM_CDF2(19444) },
                                        { AOM_CDF2(17286) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(19139) },
                                        { AOM_CDF2(21487) },
                                        { AOM_CDF2(18959) },
                                        { AOM_CDF2(20910) },
                                        { AOM_CDF2(19089) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(20536) },
                                        { AOM_CDF2(20664) },
                                        { AOM_CDF2(20625) },
                                        { AOM_CDF2(19123) },
                                        { AOM_CDF2(14862) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(19833) },
                                        { AOM_CDF2(21502) },
                                        { AOM_CDF2(17485) },
                                        { AOM_CDF2(20267) },
                                        { AOM_CDF2(18353) },
                                        { AOM_CDF2(23329) },
                                        { AOM_CDF2(21478) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(22041) },
                                        { AOM_CDF2(23434) },
                                        { AOM_CDF2(20001) },
                                        { AOM_CDF2(20554) },
                                        { AOM_CDF2(20951) },
                                        { AOM_CDF2(20145) },
                                        { AOM_CDF2(15562) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(23312) },
                                        { AOM_CDF2(21607) },
                                        { AOM_CDF2(16526) },
                                        { AOM_CDF2(18957) },
                                        { AOM_CDF2(18034) },
                                        { AOM_CDF2(18934) },
                                        { AOM_CDF2(24247) },
                                        { AOM_CDF2(16921) },
                                        { AOM_CDF2(17080) },
                                    },
                                    {
                                        { AOM_CDF2(26579) },
                                        { AOM_CDF2(24910) },
                                        { AOM_CDF2(18637) },
                                        { AOM_CDF2(19800) },
                                        { AOM_CDF2(20388) },
                                        { AOM_CDF2(9887) },
                                        { AOM_CDF2(15642) },
                                        { AOM_CDF2(30198) },
                                        { AOM_CDF2(24721) },
                                    } },
                                  { {
                                        { AOM_CDF2(26998) },
                                        { AOM_CDF2(16737) },
                                        { AOM_CDF2(17838) },
                                        { AOM_CDF2(18922) },
                                        { AOM_CDF2(19515) },
                                        { AOM_CDF2(18636) },
                                        { AOM_CDF2(17333) },
                                        { AOM_CDF2(15776) },
                                        { AOM_CDF2(22658) },
                                    },
                                    {
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } } },
                                { { {
                                        { AOM_CDF2(20177) },
                                        { AOM_CDF2(20789) },
                                        { AOM_CDF2(20262) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(21416) },
                                        { AOM_CDF2(20855) },
                                        { AOM_CDF2(23410) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(20238) },
                                        { AOM_CDF2(21057) },
                                        { AOM_CDF2(19159) },
                                        { AOM_CDF2(22337) },
                                        { AOM_CDF2(20159) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(20125) },
                                        { AOM_CDF2(20559) },
                                        { AOM_CDF2(21707) },
                                        { AOM_CDF2(22296) },
                                        { AOM_CDF2(17333) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(19941) },
                                        { AOM_CDF2(20527) },
                                        { AOM_CDF2(21470) },
                                        { AOM_CDF2(22487) },
                                        { AOM_CDF2(19558) },
                                        { AOM_CDF2(22354) },
                                        { AOM_CDF2(20331) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    },
                                    {
                                        { AOM_CDF2(22752) },
                                        { AOM_CDF2(25006) },
                                        { AOM_CDF2(22075) },
                                        { AOM_CDF2(21576) },
                                        { AOM_CDF2(17740) },
                                        { AOM_CDF2(21690) },
                                        { AOM_CDF2(19211) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } },
                                  { {
                                        { AOM_CDF2(21442) },
                                        { AOM_CDF2(22358) },
                                        { AOM_CDF2(18503) },
                                        { AOM_CDF2(20291) },
                                        { AOM_CDF2(19945) },
                                        { AOM_CDF2(21294) },
                                        { AOM_CDF2(21178) },
                                        { AOM_CDF2(19400) },
                                        { AOM_CDF2(10556) },
                                    },
                                    {
                                        { AOM_CDF2(24648) },
                                        { AOM_CDF2(24949) },
                                        { AOM_CDF2(20708) },
                                        { AOM_CDF2(23905) },
                                        { AOM_CDF2(20501) },
                                        { AOM_CDF2(9558) },
                                        { AOM_CDF2(9423) },
                                        { AOM_CDF2(30365) },
                                        { AOM_CDF2(19253) },
                                    } },
                                  { {
                                        { AOM_CDF2(26064) },
                                        { AOM_CDF2(22098) },
                                        { AOM_CDF2(19613) },
                                        { AOM_CDF2(20525) },
                                        { AOM_CDF2(17595) },
                                        { AOM_CDF2(16618) },
                                        { AOM_CDF2(20497) },
                                        { AOM_CDF2(18989) },
                                        { AOM_CDF2(15513) },
                                    },
                                    {
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                        { AOM_CDF2(16384) },
                                    } } }
                              };

static const aom_cdf_prob
    av1_default_eob_multi16_cdfs[TOKEN_CDF_Q_CTXS][PLANE_TYPES][2][CDF_SIZE(
        5)] = { { { { AOM_CDF5(840103919804895) },
                    { AOM_CDF5(37067118834471) } },
                  { { AOM_CDF5(32474950968814563) },
                    { AOM_CDF5(19043354776314647) } } },
                { { { AOM_CDF5(2125255151658946) },
                    { AOM_CDF5(51376518596339) } },
                  { { AOM_CDF5(763794981425919108) },
                    { AOM_CDF5(24974096886616993) } } },
                { { { AOM_CDF5(40164897888114968) },
                    { AOM_CDF5(7161105264610056) } },
                  { { AOM_CDF5(11139132701824123566) },
                    { AOM_CDF5(319250321029719755) } } },
                { { { AOM_CDF5(670889581474622133) },
                    { AOM_CDF5(12222074478315410) } },
                  { { AOM_CDF5(19575217662604429709) },
                    { AOM_CDF5(7297107671927328194) } } } };

static const aom_cdf_prob
    av1_default_eob_multi32_cdfs[TOKEN_CDF_Q_CTXS][PLANE_TYPES][2][CDF_SIZE(
        6)] = { { { { AOM_CDF6(40052097721026542) },
                    { AOM_CDF6(210405131533267537) } },
                  { { AOM_CDF6(2636427375881179420401) },
                    { AOM_CDF6(1786317969021135719054) } } },
                { { { AOM_CDF6(98912492019415110785) },
                    { AOM_CDF6(313441109929178562) } },
                  { { AOM_CDF6(839410352139321885526014) },
                    { AOM_CDF6(2578412481811367024234) } } },
                { { { AOM_CDF6(251530034452816216041) },
                    { AOM_CDF6(5748211836508913128) } },
                  { { AOM_CDF6(1346816303203612510529281) },
                    { AOM_CDF6(35425502104151676025644) } } },
                { { { AOM_CDF6(4617570984461358423135) },
                    { AOM_CDF6(115617023675927420539) } },
                  { { AOM_CDF6(2208624282270102977031743) },
                    { AOM_CDF6(769910897208912692631628) } } } };

static const aom_cdf_prob
    av1_default_eob_multi64_cdfs[TOKEN_CDF_Q_CTXS][PLANE_TYPES][2][CDF_SIZE(
        7)] = { { { { AOM_CDF7(3294981101178432657758) },
                    { AOM_CDF7(33573014595494875512997) } },
                  { { AOM_CDF7(3505530410086138141768423370) },
                    { AOM_CDF7(156327004876109111470622480) } } },
                { { { AOM_CDF7(1260144622533712665213369) },
                    { AOM_CDF7(40160510292563584512626) } },
                  { { AOM_CDF7(86091061214624187142261429024) },
                    { AOM_CDF7(19233127586797031427727100) } } },
                { { { AOM_CDF7(23742772458372761228819706) },
                    { AOM_CDF7(49781013153000700415641) } },
                  { { AOM_CDF7(150501712621410248862815630726) },
                    { AOM_CDF7(4034629010235149822121428491) } } },
                { { { AOM_CDF7(6307754112060163582255327865) },
                    { AOM_CDF7(12892320397179261415324291) } },
                  { { AOM_CDF7(242122570828268300353130732049) },
                    { AOM_CDF7(87261237819409264503003832462) } } } };

static const aom_cdf_prob
    av1_default_eob_multi128_cdfs[TOKEN_CDF_Q_CTXS][PLANE_TYPES][2][CDF_SIZE(
        8)] = {
      { { { AOM_CDF8(219482114020913680602812586) },
          { AOM_CDF8(3716991254483094791256217497) } },
        { { AOM_CDF8(524574561288015852200332393227608) },
          { AOM_CDF8(20543472586914232182422059026752) } } },
      { { { AOM_CDF8(685933148827144766856219254) },
          { AOM_CDF8(21735261823035261996917472) } },
        { { AOM_CDF8(8045112001549719595239482740830938) },
          { AOM_CDF8(23104160747114997179312076830240) } } },
      { { { AOM_CDF8(136617382527501693551579724643) },
          { AOM_CDF8(354558944276072871403721779) } },
        { { AOM_CDF8(13627162462017324429279483041531863) },
          { AOM_CDF8(627598891476923164279883049332272) } } },
      { { { AOM_CDF8(34724885748912481185172453629635) },
          { AOM_CDF8(886173132718469155692212628383) } },
        { { AOM_CDF8(24313260622838530107312173189832345) },
          { AOM_CDF8(9165132822115030286318943257132712) } } }
    };

static const aom_cdf_prob
    av1_default_eob_multi256_cdfs[TOKEN_CDF_Q_CTXS][PLANE_TYPES][2][CDF_SIZE(
        9)] = {
      { { { AOM_CDF9(31058418873589616886111135215652) },
          { AOM_CDF9(99818502998560417341198882289925583) } },
        { { AOM_CDF9(252032405952887012577175581995424168) },
          { AOM_CDF9(2203413074351073920652236812560927261) } } },
      { { { AOM_CDF9(14482109415162639329132601794423300) },
          { AOM_CDF9(39910191749303810444155462273927294) } },
        { { AOM_CDF9(64028148126231507218728228472644729377) },
          { AOM_CDF9(1674325257341015922397238022482130940) } } },
      { { { AOM_CDF9(308939206038946014266198812576629176) },
          { AOM_CDF9(108423583488512211483181032602329799) } },
        { { AOM_CDF9(1151413794174802075424361273782949231277) },
          { AOM_CDF9(657196101551621826290923082931842,
                     32708) } } },
      { { { AOM_CDF9(53487113118201592422106267773033431757) },
          { AOM_CDF9(245344746307877716474229752900031547) } },
        { { AOM_CDF9(2311024597271402889430167309273139232094) },
          { AOM_CDF9(9998176612517828097313083203832403,
                     32695) } } }
    };

static const aom_cdf_prob
    av1_default_eob_multi512_cdfs[TOKEN_CDF_Q_CTXS][PLANE_TYPES][2][CDF_SIZE(
        10)] = { { { { AOM_CDF10(64198337075430102341495818788,
                                 2341226061) },
                     { AOM_CDF10(32776554983013107163841966122938,
                                 2621429491) } },
                   { { AOM_CDF10(50956446999613354160171798620919,
                                 2612929140) },
                     { AOM_CDF10(32776554983013107163841966122938,
                                 2621429491) } } },
                 { { { AOM_CDF10(1230227850357776118711534619590,
                                 2458428749) },
                     { AOM_CDF10(32776554983013107163841966122938,
                                 2621429491) } },
                   { { AOM_CDF10(726599791581919250217802384626478,
                                 2839631811) },
                     { AOM_CDF10(32776554983013107163841966122938,
                                 2621429491) } } },
                 { { { AOM_CDF10(2624393664809686139791772623267,
                                 2841031078) },
                     { AOM_CDF10(32776554983013107163841966122938,
                                 2621429491) } },
                   { { AOM_CDF10(120151476919588220522422225812,
                                 273002921932114) },
                     { AOM_CDF10(32776554983013107163841966122938,
                                 2621429491) } } },
                 { { { AOM_CDF10(592778091092314597194392413528456,
                                 3114232060) },
                     { AOM_CDF10(32776554983013107163841966122938,
                                 2621429491) } },
                   { { AOM_CDF10(210932304325742276582909729716,
                                 300733082031956) },
                     { AOM_CDF10(32776554983013107163841966122938,
                                 2621429491) } } } };

static const aom_cdf_prob
    av1_default_eob_multi1024_cdfs[TOKEN_CDF_Q_CTXS][PLANE_TYPES][2][CDF_SIZE(
        11)] = { { { { AOM_CDF11(3934217511623316063521334518047,
                                 2257125830) },
                     { AOM_CDF11(29795958893711916148951787320852,
                                 238312681029789) } },
                   { { AOM_CDF11(1865198829304242105331653821354,
                                 272552854631784) },
                     { AOM_CDF11(29795958893711916148951787320852,
                                 238312681029789) } } },
                 { { { AOM_CDF11(6969483145570297061321717851,
                                 218562569228034) },
                     { AOM_CDF11(29795958893711916148951787320852,
                                 238312681029789) } },
                   { { AOM_CDF11(26723591933017084227252428426527,
                                 280272837730876) },
                     { AOM_CDF11(29795958893711916148951787320852,
                                 238312681029789) } } },
                 { { { AOM_CDF11(27843831704110521148471884423155,
                                 266822922931045) },
                     { AOM_CDF11(29795958893711916148951787320852,
                                 238312681029789) } },
                   { { AOM_CDF11(9577124661773920750220612321524601,
                                 254832584332056) },
                     { AOM_CDF11(29795958893711916148951787320852,
                                 238312681029789) } } },
                 { { { AOM_CDF11(669883341196115762201862386227434,
                                 293263108232050) },
                     { AOM_CDF11(29795958893711916148951787320852,
                                 238312681029789) } },
                   { { AOM_CDF11(205692242625569268592805328913,
                                 29486297242980732570) },
                     { AOM_CDF11(29795958893711916148951787320852,
                                 238312681029789) } } } };

static const aom_cdf_prob av1_default_coeff_lps_multi_cdfs
    [TOKEN_CDF_Q_CTXS][TX_SIZES][PLANE_TYPES][LEVEL_CONTEXTS]
    [CDF_SIZE(BR_CDF_SIZE)] = {
      { { { { AOM_CDF4(142982071824174) },
            { AOM_CDF4(125361960123789) },
            { AOM_CDF4(87121505119503) },
            { AOM_CDF4(61701132715434) },
            { AOM_CDF4(4742892612538) },
            { AOM_CDF4(3803731710546) },
            { AOM_CDF4(169633174871) },
            { AOM_CDF4(143921995122756) },
            { AOM_CDF4(159782321826818) },
            { AOM_CDF4(121871947423889) },
            { AOM_CDF4(91761564020259) },
            { AOM_CDF4(70681265517028) },
            { AOM_CDF4(56561044214472) },
            { AOM_CDF4(258049927244) },
            { AOM_CDF4(121361804921426) },
            { AOM_CDF4(137842072124481) },
            { AOM_CDF4(108361762121900) },
            { AOM_CDF4(83721444418847) },
            { AOM_CDF4(65231177916000) },
            { AOM_CDF4(5337989813760) },
            { AOM_CDF4(303458608462) } },
          { { AOM_CDF4(159672290526286) },
            { AOM_CDF4(135342065424579) },
            { AOM_CDF4(95041609220535) },
            { AOM_CDF4(69751256816903) },
            { AOM_CDF4(53641009114020) },
            { AOM_CDF4(4357837011857) },
            { AOM_CDF4(250649347218) },
            { AOM_CDF4(230322881530936) },
            { AOM_CDF4(195402670429719) },
            { AOM_CDF4(151582296927097) },
            { AOM_CDF4(114081886523650) },
            { AOM_CDF4(88851544820250) },
            { AOM_CDF4(71081285317416) },
            { AOM_CDF4(4231804111480) },
            { AOM_CDF4(198232649029156) },
            { AOM_CDF4(188902592928932) },
            { AOM_CDF4(156602349127433) },
            { AOM_CDF4(121471977624488) },
            { AOM_CDF4(97281677421649) },
            { AOM_CDF4(79191427719066) },
            { AOM_CDF4(54401017014185) } } },
        { { { AOM_CDF4(144062086224414) },
            { AOM_CDF4(118241890723109) },
            { AOM_CDF4(82571439318803) },
            { AOM_CDF4(58601074714778) },
            { AOM_CDF4(4475848611984) },
            { AOM_CDF4(3606695410043) },
            { AOM_CDF4(173634105048) },
            { AOM_CDF4(144302004622882) },
            { AOM_CDF4(155932289926709) },
            { AOM_CDF4(121021936823811) },
            { AOM_CDF4(90591558420262) },
            { AOM_CDF4(69991260317048) },
            { AOM_CDF4(56841049714553) },
            { AOM_CDF4(282254387862) },
            { AOM_CDF4(157852158524359) },
            { AOM_CDF4(183472522928266) },
            { AOM_CDF4(149742248726389) },
            { AOM_CDF4(114231868123271) },
            { AOM_CDF4(88631535020008) },
            { AOM_CDF4(71531285217278) },
            { AOM_CDF4(370770369982) } },
          { { AOM_CDF4(154602169625469) },
            { AOM_CDF4(121701924923191) },
            { AOM_CDF4(87231502719332) },
            { AOM_CDF4(64281170415874) },
            { AOM_CDF4(4922929213052) },
            { AOM_CDF4(4139769511010) },
            { AOM_CDF4(229145086598) },
            { AOM_CDF4(198562692029828) },
            { AOM_CDF4(179232528928792) },
            { AOM_CDF4(142782196826297) },
            { AOM_CDF4(109101813622950) },
            { AOM_CDF4(84231481519627) },
            { AOM_CDF4(67711228316774) },
            { AOM_CDF4(4074775011081) },
            { AOM_CDF4(198522607428672) },
            { AOM_CDF4(193712611028989) },
            { AOM_CDF4(162652387327663) },
            { AOM_CDF4(127582037824952) },
            { AOM_CDF4(100951709821961) },
            { AOM_CDF4(82501462819451) },
            { AOM_CDF4(5205974513622) } } },
        { { { AOM_CDF4(105631623319763) },
            { AOM_CDF4(97941602219804) },
            { AOM_CDF4(67501194515759) },
            { AOM_CDF4(4963918612752) },
            { AOM_CDF4(3845743510627) },
            { AOM_CDF4(305160858834) },
            { AOM_CDF4(131125963830) },
            { AOM_CDF4(112461640419689) },
            { AOM_CDF4(123151891122731) },
            { AOM_CDF4(105571709521289) },
            { AOM_CDF4(81361400618249) },
            { AOM_CDF4(63481147415565) },
            { AOM_CDF4(5196965513400) },
            { AOM_CDF4(234945266587) },
            { AOM_CDF4(133371873021569) },
            { AOM_CDF4(193062607128882) },
            { AOM_CDF4(159522354027254) },
            { AOM_CDF4(124091993424430) },
            { AOM_CDF4(97601670621389) },
            { AOM_CDF4(80041422018818) },
            { AOM_CDF4(4138779410961) } },
          { { AOM_CDF4(108701668420949) },
            { AOM_CDF4(96641523018680) },
            { AOM_CDF4(68861210915408) },
            { AOM_CDF4(4825890012305) },
            { AOM_CDF4(3630716210314) },
            { AOM_CDF4(303664299387) },
            { AOM_CDF4(167132964940) },
            { AOM_CDF4(138191915923026) },
            { AOM_CDF4(119841910823120) },
            { AOM_CDF4(106901721021663) },
            { AOM_CDF4(79841415418333) },
            { AOM_CDF4(68681229416124) },
            { AOM_CDF4(5274899412868) },
            { AOM_CDF4(298857718424) },
            { AOM_CDF4(197362664729141) },
            { AOM_CDF4(189332607028984) },
            { AOM_CDF4(157792304827200) },
            { AOM_CDF4(126382006124532) },
            { AOM_CDF4(106921754522220) },
            { AOM_CDF4(92171525120054) },
            { AOM_CDF4(5078928412594) } } },
        { { { AOM_CDF4(233136625244) },
            { AOM_CDF4(289147716145) },
            { AOM_CDF4(459876239729) },
            { AOM_CDF4(352068459199) },
            { AOM_CDF4(341761199324) },
            { AOM_CDF4(260154127385) },
            { AOM_CDF4(60011731744) },
            { AOM_CDF4(76721328617469) },
            { AOM_CDF4(4232779210793) },
            { AOM_CDF4(291553177397) },
            { AOM_CDF4(231843566152) },
            { AOM_CDF4(212740005554) },
            { AOM_CDF4(185034785275) },
            { AOM_CDF4(97719332843) },
            { AOM_CDF4(182802438727989) },
            { AOM_CDF4(158522267126185) },
            { AOM_CDF4(138452095124789) },
            { AOM_CDF4(110551796622129) },
            { AOM_CDF4(91381542219801) },
            { AOM_CDF4(74541314517456) },
            { AOM_CDF4(337063939013) } },
          { { AOM_CDF4(5842922910838) },
            { AOM_CDF4(231334914276) },
            { AOM_CDF4(299861047496) },
            { AOM_CDF4(242074479868) },
            { AOM_CDF4(3034849510923) },
            { AOM_CDF4(4076893710975) },
            { AOM_CDF4(108623703299) },
            { AOM_CDF4(97141725420444) },
            { AOM_CDF4(85431369817123) },
            { AOM_CDF4(4918900711910) },
            { AOM_CDF4(4129753210553) },
            { AOM_CDF4(236455338058) },
            { AOM_CDF4(183435465563) },
            { AOM_CDF4(147329084133) },
            { AOM_CDF4(154052119325619) },
            { AOM_CDF4(156912195226561) },
            { AOM_CDF4(129621919424165) },
            { AOM_CDF4(102721785522129) },
            { AOM_CDF4(85881527020718) },
            { AOM_CDF4(86821466919500) },
            { AOM_CDF4(4870963613205) } } },
        { { { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) } },
          { { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) } } } },
      { { { { AOM_CDF4(149952134124749) },
            { AOM_CDF4(131582028924601) },
            { AOM_CDF4(89411532619876) },
            { AOM_CDF4(62971154115807) },
            { AOM_CDF4(4817902912776) },
            { AOM_CDF4(3731727310627) },
            { AOM_CDF4(184736175354) },
            { AOM_CDF4(144721965922343) },
            { AOM_CDF4(168062416227533) },
            { AOM_CDF4(129002040424713) },
            { AOM_CDF4(94111611220797) },
            { AOM_CDF4(70561269717148) },
            { AOM_CDF4(55441033914460) },
            { AOM_CDF4(295457048319) },
            { AOM_CDF4(124641807121354) },
            { AOM_CDF4(154822252826034) },
            { AOM_CDF4(120701926923624) },
            { AOM_CDF4(89531540620106) },
            { AOM_CDF4(70271273017220) },
            { AOM_CDF4(58871091315140) },
            { AOM_CDF4(3793727810447) } },
          { { AOM_CDF4(155712223225749) },
            { AOM_CDF4(145062157525374) },
            { AOM_CDF4(101891708921569) },
            { AOM_CDF4(73161330117915) },
            { AOM_CDF4(57831091215190) },
            { AOM_CDF4(4760915513088) },
            { AOM_CDF4(299359668774) },
            { AOM_CDF4(234242890330778) },
            { AOM_CDF4(207752766630290) },
            { AOM_CDF4(164742441028299) },
            { AOM_CDF4(124712018024987) },
            { AOM_CDF4(94101648721439) },
            { AOM_CDF4(75361361418529) },
            { AOM_CDF4(5048958613549) },
            { AOM_CDF4(210902729029756) },
            { AOM_CDF4(207962740230026) },
            { AOM_CDF4(178192548528969) },
            { AOM_CDF4(138602190926462) },
            { AOM_CDF4(110021849423529) },
            { AOM_CDF4(89531592920897) },
            { AOM_CDF4(64481191816454) } } },
        { { { AOM_CDF4(159992220825449) },
            { AOM_CDF4(130501998824122) },
            { AOM_CDF4(85941486419378) },
            { AOM_CDF4(60331107915238) },
            { AOM_CDF4(4554868312347) },
            { AOM_CDF4(3672713910337) },
            { AOM_CDF4(190037715576) },
            { AOM_CDF4(157882134023949) },
            { AOM_CDF4(168252423527758) },
            { AOM_CDF4(128732040224810) },
            { AOM_CDF4(95901636321094) },
            { AOM_CDF4(73521320917733) },
            { AOM_CDF4(59601098915184) },
            { AOM_CDF4(323262349007) },
            { AOM_CDF4(157612071623224) },
            { AOM_CDF4(193182598928759) },
            { AOM_CDF4(155292309426929) },
            { AOM_CDF4(116621898923641) },
            { AOM_CDF4(89551556820366) },
            { AOM_CDF4(72811310617708) },
            { AOM_CDF4(4248805911440) } },
          { { AOM_CDF4(148992121724503) },
            { AOM_CDF4(135192028324047) },
            { AOM_CDF4(94291596620365) },
            { AOM_CDF4(67001235516652) },
            { AOM_CDF4(5088970413716) },
            { AOM_CDF4(4243815411731) },
            { AOM_CDF4(270253647861) },
            { AOM_CDF4(227452838830454) },
            { AOM_CDF4(202352714629922) },
            { AOM_CDF4(158962371527637) },
            { AOM_CDF4(118401935024131) },
            { AOM_CDF4(91221593220880) },
            { AOM_CDF4(74881358118362) },
            { AOM_CDF4(5114956813370) },
            { AOM_CDF4(208452655328932) },
            { AOM_CDF4(209812737229884) },
            { AOM_CDF4(177812533528785) },
            { AOM_CDF4(137602170826297) },
            { AOM_CDF4(109751841523365) },
            { AOM_CDF4(90451578920686) },
            { AOM_CDF4(61301119915423) } } },
        { { { AOM_CDF4(135491972423158) },
            { AOM_CDF4(118441838222246) },
            { AOM_CDF4(79191361917773) },
            { AOM_CDF4(54861014313946) },
            { AOM_CDF4(4166798311324) },
            { AOM_CDF4(336465069427) },
            { AOM_CDF4(159831604674) },
            { AOM_CDF4(152812097923781) },
            { AOM_CDF4(149392211925952) },
            { AOM_CDF4(113631840722812) },
            { AOM_CDF4(86091485719370) },
            { AOM_CDF4(67371218416480) },
            { AOM_CDF4(55061026314262) },
            { AOM_CDF4(299057868380) },
            { AOM_CDF4(202492525327417) },
            { AOM_CDF4(210702751830001) },
            { AOM_CDF4(168542446928074) },
            { AOM_CDF4(128642048625000) },
            { AOM_CDF4(99621697821778) },
            { AOM_CDF4(80741433819048) },
            { AOM_CDF4(4494847911906) } },
          { { AOM_CDF4(139601961722829) },
            { AOM_CDF4(111501734121228) },
            { AOM_CDF4(71501296417190) },
            { AOM_CDF4(53311000213867) },
            { AOM_CDF4(4167774411057) },
            { AOM_CDF4(348066299646) },
            { AOM_CDF4(188337845686) },
            { AOM_CDF4(187522566028912) },
            { AOM_CDF4(169682458628030) },
            { AOM_CDF4(135202105525313) },
            { AOM_CDF4(104531762622280) },
            { AOM_CDF4(83861450519116) },
            { AOM_CDF4(67421259517008) },
            { AOM_CDF4(4273814011499) },
            { AOM_CDF4(221202782730233) },
            { AOM_CDF4(205632735829895) },
            { AOM_CDF4(170762464428153) },
            { AOM_CDF4(133622094225309) },
            { AOM_CDF4(107941796522695) },
            { AOM_CDF4(90141565220319) },
            { AOM_CDF4(57081051214497) } } },
        { { { AOM_CDF4(57051093015725) },
            { AOM_CDF4(79461276516115) },
            { AOM_CDF4(68011212316226) },
            { AOM_CDF4(54621013514200) },
            { AOM_CDF4(4189801111507) },
            { AOM_CDF4(319162299408) },
            { AOM_CDF4(105721373212) },
            { AOM_CDF4(100181706721491) },
            { AOM_CDF4(73801258216453) },
            { AOM_CDF4(60681084514339) },
            { AOM_CDF4(5098919812555) },
            { AOM_CDF4(4312801011119) },
            { AOM_CDF4(370069669781) },
            { AOM_CDF4(169333264887) },
            { AOM_CDF4(187572493027774) },
            { AOM_CDF4(176482459627817) },
            { AOM_CDF4(147072205226026) },
            { AOM_CDF4(117201885223292) },
            { AOM_CDF4(93571595220525) },
            { AOM_CDF4(78101375318210) },
            { AOM_CDF4(3879733310328) } },
          { { AOM_CDF4(82781324215922) },
            { AOM_CDF4(105471586718919) },
            { AOM_CDF4(91061584220609) },
            { AOM_CDF4(68331300717218) },
            { AOM_CDF4(4811971213923) },
            { AOM_CDF4(3985735211128) },
            { AOM_CDF4(168834585262) },
            { AOM_CDF4(129512186126510) },
            { AOM_CDF4(97881604420276) },
            { AOM_CDF4(63091124414870) },
            { AOM_CDF4(5183934912566) },
            { AOM_CDF4(4389822911492) },
            { AOM_CDF4(3633694510620) },
            { AOM_CDF4(360068479907) },
            { AOM_CDF4(217482813730255) },
            { AOM_CDF4(194362658129560) },
            { AOM_CDF4(163592420127953) },
            { AOM_CDF4(139612169325871) },
            { AOM_CDF4(115441868623322) },
            { AOM_CDF4(93721646220952) },
            { AOM_CDF4(61381121015390) } } },
        { { { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) } },
          { { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) } } } },
      { { { { AOM_CDF4(161382222325509) },
            { AOM_CDF4(153472243026332) },
            { AOM_CDF4(96141673621332) },
            { AOM_CDF4(66001227516907) },
            { AOM_CDF4(4811942413547) },
            { AOM_CDF4(3748780911420) },
            { AOM_CDF4(225445876890) },
            { AOM_CDF4(151962028423177) },
            { AOM_CDF4(183172546928451) },
            { AOM_CDF4(139182165125842) },
            { AOM_CDF4(100521715021995) },
            { AOM_CDF4(74991363018587) },
            { AOM_CDF4(61581141716003) },
            { AOM_CDF4(4014778511252) },
            { AOM_CDF4(150482106724384) },
            { AOM_CDF4(182022534628553) },
            { AOM_CDF4(143022201926356) },
            { AOM_CDF4(108391813923166) },
            { AOM_CDF4(87151574420806) },
            { AOM_CDF4(75361357618544) },
            { AOM_CDF4(54131033514498) } },
          { { AOM_CDF4(173942450127895) },
            { AOM_CDF4(158892342027185) },
            { AOM_CDF4(115611913323870) },
            { AOM_CDF4(82851481219844) },
            { AOM_CDF4(64961204316550) },
            { AOM_CDF4(4771957413677) },
            { AOM_CDF4(3603683010144) },
            { AOM_CDF4(216562770430200) },
            { AOM_CDF4(213242791530511) },
            { AOM_CDF4(173272533628997) },
            { AOM_CDF4(134172138126033) },
            { AOM_CDF4(101321742522338) },
            { AOM_CDF4(85801501619633) },
            { AOM_CDF4(56941147716411) },
            { AOM_CDF4(241162978031450) },
            { AOM_CDF4(238532969531591) },
            { AOM_CDF4(200852761430428) },
            { AOM_CDF4(153262433528575) },
            { AOM_CDF4(118141947224810) },
            { AOM_CDF4(102211861124767) },
            { AOM_CDF4(76891455820321) } } },
        { { { AOM_CDF4(162142238025770) },
            { AOM_CDF4(142132130425295) },
            { AOM_CDF4(92131582320455) },
            { AOM_CDF4(63951175816139) },
            { AOM_CDF4(4779918713066) },
            { AOM_CDF4(3821750110953) },
            { AOM_CDF4(229345676795) },
            { AOM_CDF4(158592128323820) },
            { AOM_CDF4(184042560228726) },
            { AOM_CDF4(143252198026206) },
            { AOM_CDF4(106691793722720) },
            { AOM_CDF4(82971464219447) },
            { AOM_CDF4(67461238916893) },
            { AOM_CDF4(4324825111770) },
            { AOM_CDF4(165322163124475) },
            { AOM_CDF4(206672715029668) },
            { AOM_CDF4(167282451028175) },
            { AOM_CDF4(128612064525332) },
            { AOM_CDF4(100761736122417) },
            { AOM_CDF4(83951494019963) },
            { AOM_CDF4(57311068314912) } },
          { { AOM_CDF4(144332115524938) },
            { AOM_CDF4(146582171625545) },
            { AOM_CDF4(99231682421557) },
            { AOM_CDF4(69821305217721) },
            { AOM_CDF4(54191050315050) },
            { AOM_CDF4(4852916213014) },
            { AOM_CDF4(327163959630) },
            { AOM_CDF4(222102783330109) },
            { AOM_CDF4(207502736829821) },
            { AOM_CDF4(168942482828573) },
            { AOM_CDF4(132472127625757) },
            { AOM_CDF4(100381726522563) },
            { AOM_CDF4(85871494720327) },
            { AOM_CDF4(56451137115252) },
            { AOM_CDF4(220272752629714) },
            { AOM_CDF4(230982914631221) },
            { AOM_CDF4(198862734130272) },
            { AOM_CDF4(156092374728046) },
            { AOM_CDF4(119932006524939) },
            { AOM_CDF4(96371826723671) },
            { AOM_CDF4(76251380119144) } } },
        { { { AOM_CDF4(144382079824089) },
            { AOM_CDF4(126211920323097) },
            { AOM_CDF4(81771412518402) },
            { AOM_CDF4(56741050114456) },
            { AOM_CDF4(4236823911733) },
            { AOM_CDF4(344767509806) },
            { AOM_CDF4(198639505864) },
            { AOM_CDF4(162082209924930) },
            { AOM_CDF4(165372402527585) },
            { AOM_CDF4(127802038124867) },
            { AOM_CDF4(97671661221416) },
            { AOM_CDF4(76861373818398) },
            { AOM_CDF4(63331161415964) },
            { AOM_CDF4(3941757110836) },
            { AOM_CDF4(228192742229202) },
            { AOM_CDF4(222242851430721) },
            { AOM_CDF4(176602543328913) },
            { AOM_CDF4(135742148226002) },
            { AOM_CDF4(106291797722938) },
            { AOM_CDF4(86121529820265) },
            { AOM_CDF4(56071049114596) } },
          { { AOM_CDF4(135691980023206) },
            { AOM_CDF4(131281992423869) },
            { AOM_CDF4(83291484119403) },
            { AOM_CDF4(61301097615057) },
            { AOM_CDF4(4682883912518) },
            { AOM_CDF4(3656740910588) },
            { AOM_CDF4(257750997412) },
            { AOM_CDF4(224272868430585) },
            { AOM_CDF4(209132775030139) },
            { AOM_CDF4(158402410927834) },
            { AOM_CDF4(123082002924569) },
            { AOM_CDF4(102161678521458) },
            { AOM_CDF4(83091420319113) },
            { AOM_CDF4(60431116815307) },
            { AOM_CDF4(231662890130998) },
            { AOM_CDF4(218992840530751) },
            { AOM_CDF4(184132609129443) },
            { AOM_CDF4(152332311427352) },
            { AOM_CDF4(126832047225288) },
            { AOM_CDF4(107021825923409) },
            { AOM_CDF4(81251446419226) } } },
        { { { AOM_CDF4(90401478618360) },
            { AOM_CDF4(99791571819415) },
            { AOM_CDF4(79131391818311) },
            { AOM_CDF4(58591088915184) },
            { AOM_CDF4(4593867712510) },
            { AOM_CDF4(3820739610791) },
            { AOM_CDF4(173034715192) },
            { AOM_CDF4(118031836522709) },
            { AOM_CDF4(114191805822225) },
            { AOM_CDF4(94181577420243) },
            { AOM_CDF4(75391332517657) },
            { AOM_CDF4(62331131715384) },
            { AOM_CDF4(5137965613545) },
            { AOM_CDF4(297757748349) },
            { AOM_CDF4(212072724629640) },
            { AOM_CDF4(195472657829497) },
            { AOM_CDF4(161692387127690) },
            { AOM_CDF4(128202045825018) },
            { AOM_CDF4(102241733222214) },
            { AOM_CDF4(85261504819884) },
            { AOM_CDF4(5037941013118) } },
          { { AOM_CDF4(123391732920140) },
            { AOM_CDF4(135051989523225) },
            { AOM_CDF4(98471694421564) },
            { AOM_CDF4(72801325618348) },
            { AOM_CDF4(47121000914454) },
            { AOM_CDF4(4361791412477) },
            { AOM_CDF4(287056287995) },
            { AOM_CDF4(200612550428526) },
            { AOM_CDF4(152352287826145) },
            { AOM_CDF4(129851995824155) },
            { AOM_CDF4(97821664121403) },
            { AOM_CDF4(94561636020760) },
            { AOM_CDF4(68551294018557) },
            { AOM_CDF4(56611056415002) },
            { AOM_CDF4(256563060231894) },
            { AOM_CDF4(225702910731092) },
            { AOM_CDF4(189172642329541) },
            { AOM_CDF4(159402364927754) },
            { AOM_CDF4(128032058125219) },
            { AOM_CDF4(110821869523376) },
            { AOM_CDF4(79391437319005) } } },
        { { { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) } },
          { { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) } } } },
      { { { { AOM_CDF4(183152428927551) },
            { AOM_CDF4(168542406827835) },
            { AOM_CDF4(101401792723173) },
            { AOM_CDF4(67221298218267) },
            { AOM_CDF4(4661982614706) },
            { AOM_CDF4(3832816512294) },
            { AOM_CDF4(279560989245) },
            { AOM_CDF4(171452332626672) },
            { AOM_CDF4(207332768030308) },
            { AOM_CDF4(160322446128546) },
            { AOM_CDF4(116532009325081) },
            { AOM_CDF4(92901642922086) },
            { AOM_CDF4(77961459819982) },
            { AOM_CDF4(65021237817441) },
            { AOM_CDF4(216812773230320) },
            { AOM_CDF4(223892904431261) },
            { AOM_CDF4(190272673130087) },
            { AOM_CDF4(147392375528624) },
            { AOM_CDF4(113582077825511) },
            { AOM_CDF4(109951807324190) },
            { AOM_CDF4(91621499020617) } },
          { { AOM_CDF4(214252795230388) },
            { AOM_CDF4(180622583829034) },
            { AOM_CDF4(119561988124808) },
            { AOM_CDF4(77181500020980) },
            { AOM_CDF4(57021125416143) },
            { AOM_CDF4(4898908816864) },
            { AOM_CDF4(3679677611907) },
            { AOM_CDF4(232943016031663) },
            { AOM_CDF4(243972989631836) },
            { AOM_CDF4(192452712830593) },
            { AOM_CDF4(132021982526404) },
            { AOM_CDF4(115781929723957) },
            { AOM_CDF4(80731329721370) },
            { AOM_CDF4(54611092319745) },
            { AOM_CDF4(273673052131934) },
            { AOM_CDF4(249043067131940) },
            { AOM_CDF4(230752846031299) },
            { AOM_CDF4(144002365830417) },
            { AOM_CDF4(138852388228325) },
            { AOM_CDF4(147462293827853) },
            { AOM_CDF4(54611638427307) } } },
        { { { AOM_CDF4(182742481327890) },
            { AOM_CDF4(155372314927003) },
            { AOM_CDF4(94491674021827) },
            { AOM_CDF4(67001249817261) },
            { AOM_CDF4(4988986614198) },
            { AOM_CDF4(4236814711902) },
            { AOM_CDF4(286758608654) },
            { AOM_CDF4(171242317126101) },
            { AOM_CDF4(203962747730148) },
            { AOM_CDF4(165732462928492) },
            { AOM_CDF4(127492084625674) },
            { AOM_CDF4(102331787822818) },
            { AOM_CDF4(85251533220363) },
            { AOM_CDF4(62831163216255) },
            { AOM_CDF4(204662651129286) },
            { AOM_CDF4(230592917431191) },
            { AOM_CDF4(194812726330241) },
            { AOM_CDF4(154582363128137) },
            { AOM_CDF4(124162060825693) },
            { AOM_CDF4(102611801123261) },
            { AOM_CDF4(80161465519666) } },
          { { AOM_CDF4(176162458628112) },
            { AOM_CDF4(158092329927155) },
            { AOM_CDF4(107671889023793) },
            { AOM_CDF4(77271425518865) },
            { AOM_CDF4(61291192616882) },
            { AOM_CDF4(4482970414861) },
            { AOM_CDF4(3277745211522) },
            { AOM_CDF4(229562855130730) },
            { AOM_CDF4(227242893730961) },
            { AOM_CDF4(184672632429580) },
            { AOM_CDF4(132342071325649) },
            { AOM_CDF4(111811759222481) },
            { AOM_CDF4(82911835824576) },
            { AOM_CDF4(75681188114984) },
            { AOM_CDF4(249482900131147) },
            { AOM_CDF4(256743061932151) },
            { AOM_CDF4(208412679329603) },
            { AOM_CDF4(146692435628666) },
            { AOM_CDF4(113342359328219) },
            { AOM_CDF4(89221476222873) },
            { AOM_CDF4(83011354420535) } } },
        { { { AOM_CDF4(171132373327081) },
            { AOM_CDF4(141392140625452) },
            { AOM_CDF4(85521500219776) },
            { AOM_CDF4(58711112015378) },
            { AOM_CDF4(4455861612253) },
            { AOM_CDF4(3469691010386) },
            { AOM_CDF4(225545536782) },
            { AOM_CDF4(182242437627053) },
            { AOM_CDF4(192902671029614) },
            { AOM_CDF4(149362299127184) },
            { AOM_CDF4(112381895123762) },
            { AOM_CDF4(87861561720588) },
            { AOM_CDF4(73171322818003) },
            { AOM_CDF4(5101951213493) },
            { AOM_CDF4(226392822230210) },
            { AOM_CDF4(232162933131307) },
            { AOM_CDF4(190752676229895) },
            { AOM_CDF4(150142311327457) },
            { AOM_CDF4(119381985724752) },
            { AOM_CDF4(99421728022282) },
            { AOM_CDF4(71671314417752) } },
          { { AOM_CDF4(158202273826488) },
            { AOM_CDF4(135302088525216) },
            { AOM_CDF4(83951553020452) },
            { AOM_CDF4(65741232116380) },
            { AOM_CDF4(53531041914568) },
            { AOM_CDF4(4613844612381) },
            { AOM_CDF4(344071589903) },
            { AOM_CDF4(242472905131224) },
            { AOM_CDF4(221182805830369) },
            { AOM_CDF4(164982476828389) },
            { AOM_CDF4(129202117526137) },
            { AOM_CDF4(107301861925352) },
            { AOM_CDF4(101871627922791) },
            { AOM_CDF4(93101463122127) },
            { AOM_CDF4(249703055832057) },
            { AOM_CDF4(248012994231698) },
            { AOM_CDF4(224322845330855) },
            { AOM_CDF4(190542568029580) },
            { AOM_CDF4(143922303628109) },
            { AOM_CDF4(124952094726650) },
            { AOM_CDF4(124422032626214) } } },
        { { { AOM_CDF4(121621878522648) },
            { AOM_CDF4(127491969723806) },
            { AOM_CDF4(85801529720346) },
            { AOM_CDF4(61691174916543) },
            { AOM_CDF4(4836939113448) },
            { AOM_CDF4(3821771111613) },
            { AOM_CDF4(222846017070) },
            { AOM_CDF4(163192472528280) },
            { AOM_CDF4(156982327727168) },
            { AOM_CDF4(127262036825047) },
            { AOM_CDF4(99121701521976) },
            { AOM_CDF4(78881422019179) },
            { AOM_CDF4(67771228417018) },
            { AOM_CDF4(4492859012252) },
            { AOM_CDF4(232492890430947) },
            { AOM_CDF4(210502790830512) },
            { AOM_CDF4(174402534028949) },
            { AOM_CDF4(140592201826541) },
            { AOM_CDF4(112881890323898) },
            { AOM_CDF4(94111634221428) },
            { AOM_CDF4(62781158815944) } },
          { { AOM_CDF4(139812006723226) },
            { AOM_CDF4(169222358026783) },
            { AOM_CDF4(110051903924487) },
            { AOM_CDF4(73891421819798) },
            { AOM_CDF4(55981150517206) },
            { AOM_CDF4(60901121315659) },
            { AOM_CDF4(3820737110119) },
            { AOM_CDF4(210822692529675) },
            { AOM_CDF4(212622862731128) },
            { AOM_CDF4(183922645430437) },
            { AOM_CDF4(148702291027096) },
            { AOM_CDF4(126201948424908) },
            { AOM_CDF4(92901655322802) },
            { AOM_CDF4(66681428820004) },
            { AOM_CDF4(277043105531949) },
            { AOM_CDF4(247092997831788) },
            { AOM_CDF4(216682926431657) },
            { AOM_CDF4(182952696830074) },
            { AOM_CDF4(163992442229313) },
            { AOM_CDF4(143472302628104) },
            { AOM_CDF4(123701980624477) } } },
        { { { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) } },
          { { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) }, { AOM_CDF4(81921638424576) },
            { AOM_CDF4(81921638424576) } } } }
    };

static const aom_cdf_prob av1_default_coeff_base_multi_cdfs
    [TOKEN_CDF_Q_CTXS][TX_SIZES][PLANE_TYPES][SIG_COEF_CONTEXTS]
    [CDF_SIZE(NUM_BASE_LEVELS +
              2)] = { { { { { AOM_CDF4(4034893012727) },
                            { AOM_CDF4(180822974131877) },
                            { AOM_CDF4(125962612430493) },
                            { AOM_CDF4(94462111827005) },
                            { AOM_CDF4(63081514121279) },
                            { AOM_CDF4(246363579783) },
                            { AOM_CDF4(206673054631929) },
                            { AOM_CDF4(130432612330134) },
                            { AOM_CDF4(81511875724778) },
                            { AOM_CDF4(52551283918632) },
                            { AOM_CDF4(2820720611161) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(157362755330604) },
                            { AOM_CDF4(112102379428787) },
                            { AOM_CDF4(59471387419701) },
                            { AOM_CDF4(4215932313891) },
                            { AOM_CDF4(2833646210059) },
                            { AOM_CDF4(196053039331582) },
                            { AOM_CDF4(135232625230248) },
                            { AOM_CDF4(84461862224512) },
                            { AOM_CDF4(38181034315974) },
                            { AOM_CDF4(148141176796) },
                            { AOM_CDF4(226493130232190) },
                            { AOM_CDF4(148292712730449) },
                            { AOM_CDF4(83131770223304) },
                            { AOM_CDF4(3022830112786) },
                            { AOM_CDF4(153644127184) },
                            { AOM_CDF4(223542977431372) },
                            { AOM_CDF4(147232547229214) },
                            { AOM_CDF4(66731374518662) },
                            { AOM_CDF4(206857669322) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(63021644421761) },
                            { AOM_CDF4(230403153832475) },
                            { AOM_CDF4(151962845231496) },
                            { AOM_CDF4(100202294628514) },
                            { AOM_CDF4(65331686223501) },
                            { AOM_CDF4(3538981615076) },
                            { AOM_CDF4(244443187532525) },
                            { AOM_CDF4(158812892431635) },
                            { AOM_CDF4(99222287328466) },
                            { AOM_CDF4(65271696623691) },
                            { AOM_CDF4(41141130317220) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(202013077032209) },
                            { AOM_CDF4(147542807131258) },
                            { AOM_CDF4(83782018626517) },
                            { AOM_CDF4(59161529921978) },
                            { AOM_CDF4(42681158317901) },
                            { AOM_CDF4(243613202532581) },
                            { AOM_CDF4(186733010531943) },
                            { AOM_CDF4(101962224427576) },
                            { AOM_CDF4(54951434920417) },
                            { AOM_CDF4(2676741511498) },
                            { AOM_CDF4(246783195832585) },
                            { AOM_CDF4(186292990631831) },
                            { AOM_CDF4(93642072426315) },
                            { AOM_CDF4(46411231818094) },
                            { AOM_CDF4(2758738711579) },
                            { AOM_CDF4(254333184232469) },
                            { AOM_CDF4(187952928931411) },
                            { AOM_CDF4(76441758423592) },
                            { AOM_CDF4(3408901415047) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(45361007214001) },
                            { AOM_CDF4(254593141632206) },
                            { AOM_CDF4(166052804830818) },
                            { AOM_CDF4(110082285727719) },
                            { AOM_CDF4(69151626822315) },
                            { AOM_CDF4(2625681210537) },
                            { AOM_CDF4(242573178832499) },
                            { AOM_CDF4(168802945431879) },
                            { AOM_CDF4(119582505429778) },
                            { AOM_CDF4(79161871825084) },
                            { AOM_CDF4(3383877713446) },
                            { AOM_CDF4(227203160332393) },
                            { AOM_CDF4(149602812531335) },
                            { AOM_CDF4(97312221027928) },
                            { AOM_CDF4(63041583222277) },
                            { AOM_CDF4(2910781812166) },
                            { AOM_CDF4(203753062732131) },
                            { AOM_CDF4(139042728430887) },
                            { AOM_CDF4(93682155827144) },
                            { AOM_CDF4(59371496621119) },
                            { AOM_CDF4(2667722511319) },
                            { AOM_CDF4(239703147032378) },
                            { AOM_CDF4(171732973432018) },
                            { AOM_CDF4(127952544129965) },
                            { AOM_CDF4(89811968025893) },
                            { AOM_CDF4(47281137216902) },
                            { AOM_CDF4(242873179732439) },
                            { AOM_CDF4(167032914531696) },
                            { AOM_CDF4(108332355428725) },
                            { AOM_CDF4(64681656623057) },
                            { AOM_CDF4(2415656210278) },
                            { AOM_CDF4(266103239532659) },
                            { AOM_CDF4(185903049832117) },
                            { AOM_CDF4(124202575629950) },
                            { AOM_CDF4(76391874624710) },
                            { AOM_CDF4(3001808612347) },
                            { AOM_CDF4(250763206432580) },
                            { AOM_CDF4(179463012832028) },
                            { AOM_CDF4(120242498529378) },
                            { AOM_CDF4(75171839024304) },
                            { AOM_CDF4(3243878113331) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(60371677121957) },
                            { AOM_CDF4(247743170432426) },
                            { AOM_CDF4(168302858931056) },
                            { AOM_CDF4(106022282827760) },
                            { AOM_CDF4(67331682923071) },
                            { AOM_CDF4(3250891413556) },
                            { AOM_CDF4(255823222032668) },
                            { AOM_CDF4(186593034232223) },
                            { AOM_CDF4(125462614930515) },
                            { AOM_CDF4(84202045126801) },
                            { AOM_CDF4(46361242018344) },
                            { AOM_CDF4(275813236232639) },
                            { AOM_CDF4(189873008331978) },
                            { AOM_CDF4(113272424829084) },
                            { AOM_CDF4(72641771924120) },
                            { AOM_CDF4(39951076816169) },
                            { AOM_CDF4(258933183132487) },
                            { AOM_CDF4(165772858731379) },
                            { AOM_CDF4(101892274828182) },
                            { AOM_CDF4(68321709423556) },
                            { AOM_CDF4(37081011015334) },
                            { AOM_CDF4(259043228232656) },
                            { AOM_CDF4(197213079232276) },
                            { AOM_CDF4(128192624330411) },
                            { AOM_CDF4(85722061426891) },
                            { AOM_CDF4(53641405920467) },
                            { AOM_CDF4(265803243832677) },
                            { AOM_CDF4(208523122532340) },
                            { AOM_CDF4(124352570029967) },
                            { AOM_CDF4(86912082526976) },
                            { AOM_CDF4(44461220917269) },
                            { AOM_CDF4(273503242932696) },
                            { AOM_CDF4(213723097732272) },
                            { AOM_CDF4(126732527029853) },
                            { AOM_CDF4(92082092526640) },
                            { AOM_CDF4(50181335118732) },
                            { AOM_CDF4(273513247932713) },
                            { AOM_CDF4(213983120932387) },
                            { AOM_CDF4(121622504729842) },
                            { AOM_CDF4(78961869125319) },
                            { AOM_CDF4(46701288218881) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(54871046013708) },
                            { AOM_CDF4(215972830330674) },
                            { AOM_CDF4(110372195326476) },
                            { AOM_CDF4(81471796222952) },
                            { AOM_CDF4(52421306118532) },
                            { AOM_CDF4(188952088182) },
                            { AOM_CDF4(267743213332590) },
                            { AOM_CDF4(178442956431767) },
                            { AOM_CDF4(116902443829171) },
                            { AOM_CDF4(75421821524459) },
                            { AOM_CDF4(2993805012319) },
                            { AOM_CDF4(280233232832591) },
                            { AOM_CDF4(186513012631954) },
                            { AOM_CDF4(121642514629589) },
                            { AOM_CDF4(77621853024771) },
                            { AOM_CDF4(3492918313920) },
                            { AOM_CDF4(275913200832491) },
                            { AOM_CDF4(171492885331510) },
                            { AOM_CDF4(114852400328860) },
                            { AOM_CDF4(76971808624210) },
                            { AOM_CDF4(3075799912218) },
                            { AOM_CDF4(282683248232654) },
                            { AOM_CDF4(196313105132404) },
                            { AOM_CDF4(138602726031020) },
                            { AOM_CDF4(96052161327594) },
                            { AOM_CDF4(48761216217908) },
                            { AOM_CDF4(272483231632576) },
                            { AOM_CDF4(189553045732075) },
                            { AOM_CDF4(118242399728795) },
                            { AOM_CDF4(73461819624647) },
                            { AOM_CDF4(3403924714111) },
                            { AOM_CDF4(297113265532735) },
                            { AOM_CDF4(211693139432417) },
                            { AOM_CDF4(134872719830957) },
                            { AOM_CDF4(88282168327614) },
                            { AOM_CDF4(42701145117038) },
                            { AOM_CDF4(287083257832731) },
                            { AOM_CDF4(201203124132482) },
                            { AOM_CDF4(136922755031321) },
                            { AOM_CDF4(94182251428439) },
                            { AOM_CDF4(49991328319462) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(56731430219711) },
                            { AOM_CDF4(262513070131834) },
                            { AOM_CDF4(127822378327803) },
                            { AOM_CDF4(91272065725808) },
                            { AOM_CDF4(63681620821462) },
                            { AOM_CDF4(2465717710822) },
                            { AOM_CDF4(299613256332719) },
                            { AOM_CDF4(183182989131949) },
                            { AOM_CDF4(113612451429357) },
                            { AOM_CDF4(79001960325607) },
                            { AOM_CDF4(40021059015546) },
                            { AOM_CDF4(296373231032595) },
                            { AOM_CDF4(182962991331809) },
                            { AOM_CDF4(101442151526871) },
                            { AOM_CDF4(53581432220394) },
                            { AOM_CDF4(3067836213346) },
                            { AOM_CDF4(286523247032676) },
                            { AOM_CDF4(175383077132209) },
                            { AOM_CDF4(139242688230494) },
                            { AOM_CDF4(104962283727869) },
                            { AOM_CDF4(72361639621621) },
                            { AOM_CDF4(307433268732746) },
                            { AOM_CDF4(230063167632489) },
                            { AOM_CDF4(144942782831120) },
                            { AOM_CDF4(101742280128352) },
                            { AOM_CDF4(62421528121043) },
                            { AOM_CDF4(258173224332720) },
                            { AOM_CDF4(186183136732325) },
                            { AOM_CDF4(139972831831878) },
                            { AOM_CDF4(122552653431383) },
                            { AOM_CDF4(95612158828450) },
                            { AOM_CDF4(281883263532724) },
                            { AOM_CDF4(220603236532728) },
                            { AOM_CDF4(181023069032528) },
                            { AOM_CDF4(141962886431999) },
                            { AOM_CDF4(122622579230865) },
                            { AOM_CDF4(241763210932628) },
                            { AOM_CDF4(182802968131963) },
                            { AOM_CDF4(102052370329664) },
                            { AOM_CDF4(78892002527676) },
                            { AOM_CDF4(60601674323970) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(514170968260) },
                            { AOM_CDF4(271862902229789) },
                            { AOM_CDF4(66681256815682) },
                            { AOM_CDF4(217261818638) },
                            { AOM_CDF4(112633794531) },
                            { AOM_CDF4(44313612254) },
                            { AOM_CDF4(260833115332436) },
                            { AOM_CDF4(134862460328483) },
                            { AOM_CDF4(65081484019910) },
                            { AOM_CDF4(3386880013286) },
                            { AOM_CDF4(153043227054) },
                            { AOM_CDF4(296393208032548) },
                            { AOM_CDF4(158972755230290) },
                            { AOM_CDF4(85882004725383) },
                            { AOM_CDF4(48891333919269) },
                            { AOM_CDF4(2240687110498) },
                            { AOM_CDF4(281653219732517) },
                            { AOM_CDF4(207353042731568) },
                            { AOM_CDF4(143252467127692) },
                            { AOM_CDF4(51191255417805) },
                            { AOM_CDF4(181054418261) },
                            { AOM_CDF4(312123272432748) },
                            { AOM_CDF4(233523176632545) },
                            { AOM_CDF4(146692757031059) },
                            { AOM_CDF4(84922089427272) },
                            { AOM_CDF4(36441019415204) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(246170139371) },
                            { AOM_CDF4(247492960030986) },
                            { AOM_CDF4(94661903722417) },
                            { AOM_CDF4(3584928014400) },
                            { AOM_CDF4(150539295433) },
                            { AOM_CDF4(67715002736) },
                            { AOM_CDF4(239873070232117) },
                            { AOM_CDF4(135542457129263) },
                            { AOM_CDF4(62111455621155) },
                            { AOM_CDF4(31351097215625) },
                            { AOM_CDF4(2435712711427) },
                            { AOM_CDF4(313003253232550) },
                            { AOM_CDF4(147573036531954) },
                            { AOM_CDF4(44051161218553) },
                            { AOM_CDF4(58041327322) },
                            { AOM_CDF4(16951016914124) },
                            { AOM_CDF4(300083228232591) },
                            { AOM_CDF4(192443010831748) },
                            { AOM_CDF4(111802415829555) },
                            { AOM_CDF4(56501497219209) },
                            { AOM_CDF4(211451098456) },
                            { AOM_CDF4(318563271632748) },
                            { AOM_CDF4(230123166432572) },
                            { AOM_CDF4(136942665630636) },
                            { AOM_CDF4(81421950826093) },
                            { AOM_CDF4(42531095516724) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(6019831311) },
                            { AOM_CDF4(187252340628087) },
                            { AOM_CDF4(5461819210923) },
                            { AOM_CDF4(37811512421425) },
                            { AOM_CDF4(2587776112072) },
                            { AOM_CDF4(106458810) },
                            { AOM_CDF4(222822971031894) },
                            { AOM_CDF4(85082092625984) },
                            { AOM_CDF4(37261271318083) },
                            { AOM_CDF4(1620711210893) },
                            { AOM_CDF4(72922363495) },
                            { AOM_CDF4(301633247432684) },
                            { AOM_CDF4(183043046432000) },
                            { AOM_CDF4(114432652629647) },
                            { AOM_CDF4(60071529221299) },
                            { AOM_CDF4(223467038937) },
                            { AOM_CDF4(309543217732571) },
                            { AOM_CDF4(173632956231076) },
                            { AOM_CDF4(96862246427410) },
                            { AOM_CDF4(81921638421390) },
                            { AOM_CDF4(1755804611264) },
                            { AOM_CDF4(311683273432748) },
                            { AOM_CDF4(224863144132471) },
                            { AOM_CDF4(128332562729738) },
                            { AOM_CDF4(69801737923122) },
                            { AOM_CDF4(3111888713479) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } } },
                      { { { { AOM_CDF4(60411185415927) },
                            { AOM_CDF4(203263090532251) },
                            { AOM_CDF4(141642683130725) },
                            { AOM_CDF4(97602064726585) },
                            { AOM_CDF4(64161495321219) },
                            { AOM_CDF4(2966715110891) },
                            { AOM_CDF4(235673137432254) },
                            { AOM_CDF4(149782741630946) },
                            { AOM_CDF4(94342022526254) },
                            { AOM_CDF4(66581455820535) },
                            { AOM_CDF4(3916867712989) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(180882954531587) },
                            { AOM_CDF4(130622584330073) },
                            { AOM_CDF4(89401682722251) },
                            { AOM_CDF4(76541322017973) },
                            { AOM_CDF4(57331031614456) },
                            { AOM_CDF4(228793138832114) },
                            { AOM_CDF4(152152799330955) },
                            { AOM_CDF4(93971944524978) },
                            { AOM_CDF4(3442981315344) },
                            { AOM_CDF4(136839366532) },
                            { AOM_CDF4(254943203332406) },
                            { AOM_CDF4(167722796330718) },
                            { AOM_CDF4(94191816523260) },
                            { AOM_CDF4(2677750111797) },
                            { AOM_CDF4(151643447170) },
                            { AOM_CDF4(265563145432101) },
                            { AOM_CDF4(171282703530108) },
                            { AOM_CDF4(83241534420249) },
                            { AOM_CDF4(190356969469) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(84551900324368) },
                            { AOM_CDF4(235633202132604) },
                            { AOM_CDF4(162372944631935) },
                            { AOM_CDF4(107242399929358) },
                            { AOM_CDF4(67251752824416) },
                            { AOM_CDF4(39271092716825) },
                            { AOM_CDF4(263133228832634) },
                            { AOM_CDF4(174303009532095) },
                            { AOM_CDF4(111162460629679) },
                            { AOM_CDF4(71951838425269) },
                            { AOM_CDF4(47261285219315) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(228223164832483) },
                            { AOM_CDF4(167242963331929) },
                            { AOM_CDF4(102612303328725) },
                            { AOM_CDF4(70291784024528) },
                            { AOM_CDF4(48671388621502) },
                            { AOM_CDF4(252983189232491) },
                            { AOM_CDF4(178092933031512) },
                            { AOM_CDF4(96682132926579) },
                            { AOM_CDF4(47741295618976) },
                            { AOM_CDF4(2322703011540) },
                            { AOM_CDF4(254723192032543) },
                            { AOM_CDF4(179572938731632) },
                            { AOM_CDF4(91962059326400) },
                            { AOM_CDF4(46801270519202) },
                            { AOM_CDF4(2917845613436) },
                            { AOM_CDF4(264713205932574) },
                            { AOM_CDF4(184582978331909) },
                            { AOM_CDF4(84001946425956) },
                            { AOM_CDF4(38121097317206) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(67791374317678) },
                            { AOM_CDF4(248063179732457) },
                            { AOM_CDF4(176162904731372) },
                            { AOM_CDF4(110632317528003) },
                            { AOM_CDF4(65211611022324) },
                            { AOM_CDF4(2764750411654) },
                            { AOM_CDF4(252663236732637) },
                            { AOM_CDF4(190543055332175) },
                            { AOM_CDF4(121392521229807) },
                            { AOM_CDF4(73111816224704) },
                            { AOM_CDF4(3397916414074) },
                            { AOM_CDF4(259883220832522) },
                            { AOM_CDF4(162532891231526) },
                            { AOM_CDF4(91512138727372) },
                            { AOM_CDF4(56881491521496) },
                            { AOM_CDF4(2717762712004) },
                            { AOM_CDF4(231443185532443) },
                            { AOM_CDF4(160702849131325) },
                            { AOM_CDF4(87022046726517) },
                            { AOM_CDF4(52431395620367) },
                            { AOM_CDF4(2621733511567) },
                            { AOM_CDF4(266363234032630) },
                            { AOM_CDF4(199903105032341) },
                            { AOM_CDF4(132432610530315) },
                            { AOM_CDF4(85881952125918) },
                            { AOM_CDF4(47171158517304) },
                            { AOM_CDF4(258443229232582) },
                            { AOM_CDF4(190903063532097) },
                            { AOM_CDF4(119632454628939) },
                            { AOM_CDF4(62181608722354) },
                            { AOM_CDF4(2340660810426) },
                            { AOM_CDF4(280463257632694) },
                            { AOM_CDF4(211783131332296) },
                            { AOM_CDF4(134862618429870) },
                            { AOM_CDF4(71491787123723) },
                            { AOM_CDF4(2833795812259) },
                            { AOM_CDF4(277103252832686) },
                            { AOM_CDF4(206743107632268) },
                            { AOM_CDF4(124132495529243) },
                            { AOM_CDF4(66761692723097) },
                            { AOM_CDF4(2966833312919) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(86391933924429) },
                            { AOM_CDF4(244043183732525) },
                            { AOM_CDF4(169972942531784) },
                            { AOM_CDF4(112532423429149) },
                            { AOM_CDF4(67511739424028) },
                            { AOM_CDF4(3490983015191) },
                            { AOM_CDF4(262833247132714) },
                            { AOM_CDF4(195993116832442) },
                            { AOM_CDF4(131462695430893) },
                            { AOM_CDF4(82142058826890) },
                            { AOM_CDF4(46991308119300) },
                            { AOM_CDF4(282123245832669) },
                            { AOM_CDF4(185943031632100) },
                            { AOM_CDF4(112192440829234) },
                            { AOM_CDF4(68651765624149) },
                            { AOM_CDF4(36781036216006) },
                            { AOM_CDF4(258253213632616) },
                            { AOM_CDF4(173132985332021) },
                            { AOM_CDF4(111972447129472) },
                            { AOM_CDF4(69471778124405) },
                            { AOM_CDF4(37681066016261) },
                            { AOM_CDF4(273523250032706) },
                            { AOM_CDF4(208503146832469) },
                            { AOM_CDF4(140212770731133) },
                            { AOM_CDF4(89642174827838) },
                            { AOM_CDF4(54371466521187) },
                            { AOM_CDF4(263043249232698) },
                            { AOM_CDF4(204093138032385) },
                            { AOM_CDF4(136822722230632) },
                            { AOM_CDF4(89742123626685) },
                            { AOM_CDF4(42341166516934) },
                            { AOM_CDF4(262733235732711) },
                            { AOM_CDF4(206723124232441) },
                            { AOM_CDF4(141722725430902) },
                            { AOM_CDF4(98702189827275) },
                            { AOM_CDF4(51641350619270) },
                            { AOM_CDF4(267253245932728) },
                            { AOM_CDF4(209913144232527) },
                            { AOM_CDF4(130712643430811) },
                            { AOM_CDF4(81842009026742) },
                            { AOM_CDF4(48031325519895) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(75551494218501) },
                            { AOM_CDF4(244103117832287) },
                            { AOM_CDF4(143942673830253) },
                            { AOM_CDF4(84131955425195) },
                            { AOM_CDF4(47661292418785) },
                            { AOM_CDF4(202958069207) },
                            { AOM_CDF4(267763236432663) },
                            { AOM_CDF4(187322996731931) },
                            { AOM_CDF4(110052378628852) },
                            { AOM_CDF4(64661690923510) },
                            { AOM_CDF4(3044863813419) },
                            { AOM_CDF4(292083258232704) },
                            { AOM_CDF4(200683085732208) },
                            { AOM_CDF4(120032508529595) },
                            { AOM_CDF4(69471775024189) },
                            { AOM_CDF4(3245910314007) },
                            { AOM_CDF4(273593246532669) },
                            { AOM_CDF4(194213061432174) },
                            { AOM_CDF4(119152501029579) },
                            { AOM_CDF4(69501767624074) },
                            { AOM_CDF4(3007847313096) },
                            { AOM_CDF4(290023267632735) },
                            { AOM_CDF4(221023184932576) },
                            { AOM_CDF4(144082800931405) },
                            { AOM_CDF4(90272167927931) },
                            { AOM_CDF4(46941267818748) },
                            { AOM_CDF4(282163252832682) },
                            { AOM_CDF4(208493126432318) },
                            { AOM_CDF4(127562581529751) },
                            { AOM_CDF4(75651880124923) },
                            { AOM_CDF4(3509953314477) },
                            { AOM_CDF4(301333268732739) },
                            { AOM_CDF4(230633191032515) },
                            { AOM_CDF4(145882805131132) },
                            { AOM_CDF4(90852164927457) },
                            { AOM_CDF4(42611165417264) },
                            { AOM_CDF4(295183269132748) },
                            { AOM_CDF4(224513195932613) },
                            { AOM_CDF4(148642872231700) },
                            { AOM_CDF4(96952296428716) },
                            { AOM_CDF4(49321335819502) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(64651695821688) },
                            { AOM_CDF4(251993151432360) },
                            { AOM_CDF4(147742714930607) },
                            { AOM_CDF4(92572143826972) },
                            { AOM_CDF4(57231518321882) },
                            { AOM_CDF4(3150887913731) },
                            { AOM_CDF4(269893226232682) },
                            { AOM_CDF4(173962993732085) },
                            { AOM_CDF4(113872490129784) },
                            { AOM_CDF4(72891882125548) },
                            { AOM_CDF4(37341057716086) },
                            { AOM_CDF4(297283250132695) },
                            { AOM_CDF4(174312970131903) },
                            { AOM_CDF4(99212282628300) },
                            { AOM_CDF4(58961543422068) },
                            { AOM_CDF4(3430964614757) },
                            { AOM_CDF4(286143251132705) },
                            { AOM_CDF4(193643063832263) },
                            { AOM_CDF4(131292625430402) },
                            { AOM_CDF4(87542048426440) },
                            { AOM_CDF4(43781160717110) },
                            { AOM_CDF4(302923267132744) },
                            { AOM_CDF4(217803160332501) },
                            { AOM_CDF4(143142782931291) },
                            { AOM_CDF4(96112232728263) },
                            { AOM_CDF4(48901308719065) },
                            { AOM_CDF4(258623256732733) },
                            { AOM_CDF4(207943205032567) },
                            { AOM_CDF4(172433062532254) },
                            { AOM_CDF4(132832762831474) },
                            { AOM_CDF4(96692253228918) },
                            { AOM_CDF4(274353269732748) },
                            { AOM_CDF4(249223239032714) },
                            { AOM_CDF4(214493150432536) },
                            { AOM_CDF4(163922972931832) },
                            { AOM_CDF4(116922488429076) },
                            { AOM_CDF4(241933229032735) },
                            { AOM_CDF4(189093110432563) },
                            { AOM_CDF4(122362684131403) },
                            { AOM_CDF4(81712184029082) },
                            { AOM_CDF4(72241728025275) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(307868399890) },
                            { AOM_CDF4(138372045024479) },
                            { AOM_CDF4(59141422219328) },
                            { AOM_CDF4(38661026714762) },
                            { AOM_CDF4(2612720811042) },
                            { AOM_CDF4(106729914776) },
                            { AOM_CDF4(258173164632529) },
                            { AOM_CDF4(137082633830385) },
                            { AOM_CDF4(73281858524870) },
                            { AOM_CDF4(46911308019276) },
                            { AOM_CDF4(182552538352) },
                            { AOM_CDF4(293863231532624) },
                            { AOM_CDF4(171602900131360) },
                            { AOM_CDF4(96022186227396) },
                            { AOM_CDF4(59151577222148) },
                            { AOM_CDF4(2786777912047) },
                            { AOM_CDF4(292463245032663) },
                            { AOM_CDF4(186962992931818) },
                            { AOM_CDF4(105102336928560) },
                            { AOM_CDF4(62291649923125) },
                            { AOM_CDF4(2608744811705) },
                            { AOM_CDF4(307533271032748) },
                            { AOM_CDF4(216383148732503) },
                            { AOM_CDF4(129372685430870) },
                            { AOM_CDF4(81822059626970) },
                            { AOM_CDF4(36371026915497) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(52441215016906) },
                            { AOM_CDF4(204862685829701) },
                            { AOM_CDF4(77561831723735) },
                            { AOM_CDF4(3452925613146) },
                            { AOM_CDF4(202052068229) },
                            { AOM_CDF4(180149937903) },
                            { AOM_CDF4(270513185832531) },
                            { AOM_CDF4(159882753130619) },
                            { AOM_CDF4(91882148426719) },
                            { AOM_CDF4(62731718623800) },
                            { AOM_CDF4(3108935514764) },
                            { AOM_CDF4(310763252032680) },
                            { AOM_CDF4(181193003731850) },
                            { AOM_CDF4(102442296927472) },
                            { AOM_CDF4(46921407719273) },
                            { AOM_CDF4(36941167717556) },
                            { AOM_CDF4(300603258132720) },
                            { AOM_CDF4(210113077532120) },
                            { AOM_CDF4(119312482029289) },
                            { AOM_CDF4(71191766224356) },
                            { AOM_CDF4(38331070616304) },
                            { AOM_CDF4(319543273132748) },
                            { AOM_CDF4(239133172432489) },
                            { AOM_CDF4(155202806031286) },
                            { AOM_CDF4(115172300828571) },
                            { AOM_CDF4(61931450820629) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(103528074156) },
                            { AOM_CDF4(131621813820939) },
                            { AOM_CDF4(269666338755) },
                            { AOM_CDF4(137341616853) },
                            { AOM_CDF4(109927464716) },
                            { AOM_CDF4(34010211599) },
                            { AOM_CDF4(228263041932135) },
                            { AOM_CDF4(103952176226942) },
                            { AOM_CDF4(47261240717361) },
                            { AOM_CDF4(2447708010593) },
                            { AOM_CDF4(122737176011) },
                            { AOM_CDF4(281563142431934) },
                            { AOM_CDF4(169152775430373) },
                            { AOM_CDF4(91482099026431) },
                            { AOM_CDF4(59501551521148) },
                            { AOM_CDF4(2492732711526) },
                            { AOM_CDF4(306023247732670) },
                            { AOM_CDF4(200262995531568) },
                            { AOM_CDF4(112202362828105) },
                            { AOM_CDF4(66521701922973) },
                            { AOM_CDF4(3064853613043) },
                            { AOM_CDF4(317693272432748) },
                            { AOM_CDF4(222303088732373) },
                            { AOM_CDF4(122342507929731) },
                            { AOM_CDF4(73261881625353) },
                            { AOM_CDF4(39331090716616) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } } },
                      { { { { AOM_CDF4(88961622720630) },
                            { AOM_CDF4(236293178232527) },
                            { AOM_CDF4(151732775531321) },
                            { AOM_CDF4(101582123327382) },
                            { AOM_CDF4(64201485721558) },
                            { AOM_CDF4(3269815512646) },
                            { AOM_CDF4(248353200932496) },
                            { AOM_CDF4(165092842131579) },
                            { AOM_CDF4(109572151427418) },
                            { AOM_CDF4(78811593022096) },
                            { AOM_CDF4(53881096015918) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(207453077332093) },
                            { AOM_CDF4(152002722130861) },
                            { AOM_CDF4(130322087325667) },
                            { AOM_CDF4(122851866323494) },
                            { AOM_CDF4(115631748121489) },
                            { AOM_CDF4(262603198232320) },
                            { AOM_CDF4(153972808331100) },
                            { AOM_CDF4(97421921724824) },
                            { AOM_CDF4(3261962915362) },
                            { AOM_CDF4(148043227499) },
                            { AOM_CDF4(275993225632460) },
                            { AOM_CDF4(168572765930774) },
                            { AOM_CDF4(95511829023748) },
                            { AOM_CDF4(3052893314103) },
                            { AOM_CDF4(202159109787) },
                            { AOM_CDF4(290053201532392) },
                            { AOM_CDF4(176772769430863) },
                            { AOM_CDF4(92041735623219) },
                            { AOM_CDF4(2403751612814) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(108082205626896) },
                            { AOM_CDF4(257393231332676) },
                            { AOM_CDF4(172883020332221) },
                            { AOM_CDF4(113592487829896) },
                            { AOM_CDF4(69491776724893) },
                            { AOM_CDF4(42871179618071) },
                            { AOM_CDF4(278803252132705) },
                            { AOM_CDF4(190383100432414) },
                            { AOM_CDF4(125642634530768) },
                            { AOM_CDF4(82691994726779) },
                            { AOM_CDF4(56741465721674) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(257423231932671) },
                            { AOM_CDF4(195573116432454) },
                            { AOM_CDF4(133812638130755) },
                            { AOM_CDF4(101012146626722) },
                            { AOM_CDF4(92091965026825) },
                            { AOM_CDF4(271073191732432) },
                            { AOM_CDF4(180562889331203) },
                            { AOM_CDF4(102002143426764) },
                            { AOM_CDF4(46601291319502) },
                            { AOM_CDF4(2368693012504) },
                            { AOM_CDF4(269603215832613) },
                            { AOM_CDF4(186283000532031) },
                            { AOM_CDF4(102332244228232) },
                            { AOM_CDF4(54711463021516) },
                            { AOM_CDF4(32351076717109) },
                            { AOM_CDF4(276963244032692) },
                            { AOM_CDF4(200323116732438) },
                            { AOM_CDF4(87002134128442) },
                            { AOM_CDF4(56621483121795) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(97041729421132) },
                            { AOM_CDF4(267623227832633) },
                            { AOM_CDF4(183822962031819) },
                            { AOM_CDF4(108912347528723) },
                            { AOM_CDF4(63581658323309) },
                            { AOM_CDF4(3248911814141) },
                            { AOM_CDF4(272043257332699) },
                            { AOM_CDF4(198183082432329) },
                            { AOM_CDF4(117722512030041) },
                            { AOM_CDF4(69951803325039) },
                            { AOM_CDF4(37521044216098) },
                            { AOM_CDF4(272223225632559) },
                            { AOM_CDF4(153562839931475) },
                            { AOM_CDF4(88212063527057) },
                            { AOM_CDF4(55111440421239) },
                            { AOM_CDF4(2935822213051) },
                            { AOM_CDF4(248753212032529) },
                            { AOM_CDF4(152332826531445) },
                            { AOM_CDF4(86052057026932) },
                            { AOM_CDF4(54311441321196) },
                            { AOM_CDF4(2994834113223) },
                            { AOM_CDF4(282013260432700) },
                            { AOM_CDF4(210413144632456) },
                            { AOM_CDF4(132212621330475) },
                            { AOM_CDF4(82551938526037) },
                            { AOM_CDF4(49301258518830) },
                            { AOM_CDF4(287683244832627) },
                            { AOM_CDF4(197053056132021) },
                            { AOM_CDF4(115722358928220) },
                            { AOM_CDF4(55321503421446) },
                            { AOM_CDF4(2460715011456) },
                            { AOM_CDF4(298743261932699) },
                            { AOM_CDF4(216213107132201) },
                            { AOM_CDF4(125112474728992) },
                            { AOM_CDF4(62811639522748) },
                            { AOM_CDF4(3246927814497) },
                            { AOM_CDF4(297153262532712) },
                            { AOM_CDF4(209583101132283) },
                            { AOM_CDF4(112332367128806) },
                            { AOM_CDF4(60121612822868) },
                            { AOM_CDF4(3427985115414) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(110162211126794) },
                            { AOM_CDF4(259463235732677) },
                            { AOM_CDF4(178903045232252) },
                            { AOM_CDF4(116782514229816) },
                            { AOM_CDF4(67201753424584) },
                            { AOM_CDF4(42301166517820) },
                            { AOM_CDF4(284003262332747) },
                            { AOM_CDF4(211643166832575) },
                            { AOM_CDF4(135722738831182) },
                            { AOM_CDF4(82342075027358) },
                            { AOM_CDF4(50651405520897) },
                            { AOM_CDF4(289813254732705) },
                            { AOM_CDF4(186813054332239) },
                            { AOM_CDF4(109192407529286) },
                            { AOM_CDF4(64311719924077) },
                            { AOM_CDF4(38191046416618) },
                            { AOM_CDF4(268703246732693) },
                            { AOM_CDF4(190413083132347) },
                            { AOM_CDF4(117942521130016) },
                            { AOM_CDF4(68881801924970) },
                            { AOM_CDF4(43701236318992) },
                            { AOM_CDF4(295783267032744) },
                            { AOM_CDF4(231593200732613) },
                            { AOM_CDF4(153152866931676) },
                            { AOM_CDF4(92982260728782) },
                            { AOM_CDF4(61441591322968) },
                            { AOM_CDF4(281103249932669) },
                            { AOM_CDF4(215743093732015) },
                            { AOM_CDF4(127592481828727) },
                            { AOM_CDF4(65451676123042) },
                            { AOM_CDF4(36491059716833) },
                            { AOM_CDF4(281633255232728) },
                            { AOM_CDF4(221013146932464) },
                            { AOM_CDF4(131602547230143) },
                            { AOM_CDF4(73031868425468) },
                            { AOM_CDF4(52411397520955) },
                            { AOM_CDF4(284003263132744) },
                            { AOM_CDF4(221043179332603) },
                            { AOM_CDF4(135572657130846) },
                            { AOM_CDF4(77491986126675) },
                            { AOM_CDF4(48731403021234) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(98001763521073) },
                            { AOM_CDF4(261533188532527) },
                            { AOM_CDF4(150382785231006) },
                            { AOM_CDF4(87182056426486) },
                            { AOM_CDF4(51281407620514) },
                            { AOM_CDF4(2636756611925) },
                            { AOM_CDF4(275513250432701) },
                            { AOM_CDF4(183103005432100) },
                            { AOM_CDF4(102112342029082) },
                            { AOM_CDF4(62221687623916) },
                            { AOM_CDF4(3462995415498) },
                            { AOM_CDF4(299913263332721) },
                            { AOM_CDF4(198833075132201) },
                            { AOM_CDF4(111412418429285) },
                            { AOM_CDF4(64201694023774) },
                            { AOM_CDF4(3392975315118) },
                            { AOM_CDF4(284653261632712) },
                            { AOM_CDF4(198503070232244) },
                            { AOM_CDF4(109832402429223) },
                            { AOM_CDF4(62941677023582) },
                            { AOM_CDF4(3244928314509) },
                            { AOM_CDF4(300233271732748) },
                            { AOM_CDF4(229403203232626) },
                            { AOM_CDF4(142822792831473) },
                            { AOM_CDF4(85622132727914) },
                            { AOM_CDF4(48461339319919) },
                            { AOM_CDF4(299813259032695) },
                            { AOM_CDF4(204653096332166) },
                            { AOM_CDF4(114792357928195) },
                            { AOM_CDF4(59161564822073) },
                            { AOM_CDF4(3031860513398) },
                            { AOM_CDF4(311463269132739) },
                            { AOM_CDF4(231063172432444) },
                            { AOM_CDF4(137832673830439) },
                            { AOM_CDF4(78521946825807) },
                            { AOM_CDF4(38601112416853) },
                            { AOM_CDF4(310143272432748) },
                            { AOM_CDF4(236293210932628) },
                            { AOM_CDF4(147472811531403) },
                            { AOM_CDF4(85452124227478) },
                            { AOM_CDF4(45741278119067) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(91851969424688) },
                            { AOM_CDF4(260813198532621) },
                            { AOM_CDF4(160152900031787) },
                            { AOM_CDF4(105422369029206) },
                            { AOM_CDF4(67321794524677) },
                            { AOM_CDF4(39161103916722) },
                            { AOM_CDF4(282243256632744) },
                            { AOM_CDF4(191003113832485) },
                            { AOM_CDF4(125282662030879) },
                            { AOM_CDF4(77412027726885) },
                            { AOM_CDF4(45661284518990) },
                            { AOM_CDF4(299333259332718) },
                            { AOM_CDF4(176703033332155) },
                            { AOM_CDF4(103852360028909) },
                            { AOM_CDF4(62431623622407) },
                            { AOM_CDF4(39761038916017) },
                            { AOM_CDF4(283773256132738) },
                            { AOM_CDF4(193663117532482) },
                            { AOM_CDF4(133272717531094) },
                            { AOM_CDF4(82582076927143) },
                            { AOM_CDF4(47031319819527) },
                            { AOM_CDF4(310863270632748) },
                            { AOM_CDF4(228533190232583) },
                            { AOM_CDF4(147592818631419) },
                            { AOM_CDF4(92842238228348) },
                            { AOM_CDF4(55851519221868) },
                            { AOM_CDF4(282913265232746) },
                            { AOM_CDF4(198493210732571) },
                            { AOM_CDF4(148342681829214) },
                            { AOM_CDF4(103062259428672) },
                            { AOM_CDF4(66151738423384) },
                            { AOM_CDF4(289473260432745) },
                            { AOM_CDF4(256253228932646) },
                            { AOM_CDF4(187582867231403) },
                            { AOM_CDF4(100172343028523) },
                            { AOM_CDF4(68621526922131) },
                            { AOM_CDF4(239333250932739) },
                            { AOM_CDF4(199273149532631) },
                            { AOM_CDF4(119032602330621) },
                            { AOM_CDF4(70262009427252) },
                            { AOM_CDF4(59981810624437) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(44561127415533) },
                            { AOM_CDF4(212192907931616) },
                            { AOM_CDF4(111732377428567) },
                            { AOM_CDF4(72821829324263) },
                            { AOM_CDF4(48901328619115) },
                            { AOM_CDF4(189055088659) },
                            { AOM_CDF4(266513213632647) },
                            { AOM_CDF4(146302825431455) },
                            { AOM_CDF4(87162128727395) },
                            { AOM_CDF4(56151533122008) },
                            { AOM_CDF4(2675770012150) },
                            { AOM_CDF4(299543252632690) },
                            { AOM_CDF4(161262898231633) },
                            { AOM_CDF4(90302136127352) },
                            { AOM_CDF4(54111479321271) },
                            { AOM_CDF4(2943842213163) },
                            { AOM_CDF4(295393260132730) },
                            { AOM_CDF4(181253038532201) },
                            { AOM_CDF4(104222409029468) },
                            { AOM_CDF4(64681748724438) },
                            { AOM_CDF4(2970865313531) },
                            { AOM_CDF4(309123271532748) },
                            { AOM_CDF4(206663137332497) },
                            { AOM_CDF4(125092664030917) },
                            { AOM_CDF4(80582062927290) },
                            { AOM_CDF4(42311200618052) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(102022063325484) },
                            { AOM_CDF4(273363144532352) },
                            { AOM_CDF4(124202438428552) },
                            { AOM_CDF4(76481811523856) },
                            { AOM_CDF4(56621434119902) },
                            { AOM_CDF4(36111032815390) },
                            { AOM_CDF4(309453261632736) },
                            { AOM_CDF4(186823050532253) },
                            { AOM_CDF4(115132533630203) },
                            { AOM_CDF4(74491945226148) },
                            { AOM_CDF4(44821305118886) },
                            { AOM_CDF4(320223269032747) },
                            { AOM_CDF4(185783050132146) },
                            { AOM_CDF4(112492336828631) },
                            { AOM_CDF4(56451695822158) },
                            { AOM_CDF4(50091144416637) },
                            { AOM_CDF4(313573271032748) },
                            { AOM_CDF4(215523149432504) },
                            { AOM_CDF4(138912767731340) },
                            { AOM_CDF4(90512209828172) },
                            { AOM_CDF4(51901337719486) },
                            { AOM_CDF4(323643274032748) },
                            { AOM_CDF4(248393190732551) },
                            { AOM_CDF4(171602877931696) },
                            { AOM_CDF4(124522413729602) },
                            { AOM_CDF4(61651538922477) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(2575728111077) },
                            { AOM_CDF4(140022086625402) },
                            { AOM_CDF4(63431505619658) },
                            { AOM_CDF4(44741185817041) },
                            { AOM_CDF4(2865829912534) },
                            { AOM_CDF4(134439496391) },
                            { AOM_CDF4(247203123932459) },
                            { AOM_CDF4(125852535629968) },
                            { AOM_CDF4(71811824624444) },
                            { AOM_CDF4(50251366719885) },
                            { AOM_CDF4(2521730411605) },
                            { AOM_CDF4(299083225232584) },
                            { AOM_CDF4(174212915631575) },
                            { AOM_CDF4(98892218827782) },
                            { AOM_CDF4(58781564722123) },
                            { AOM_CDF4(2814866513323) },
                            { AOM_CDF4(301833256832713) },
                            { AOM_CDF4(185283019532049) },
                            { AOM_CDF4(109822460629657) },
                            { AOM_CDF4(69571816525231) },
                            { AOM_CDF4(35081011815468) },
                            { AOM_CDF4(317613273632748) },
                            { AOM_CDF4(210413132832546) },
                            { AOM_CDF4(125682673231166) },
                            { AOM_CDF4(80522072027733) },
                            { AOM_CDF4(43361219218396) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } } },
                      { { { { AOM_CDF4(70621647222319) },
                            { AOM_CDF4(245383226132674) },
                            { AOM_CDF4(136752804131779) },
                            { AOM_CDF4(85902067427631) },
                            { AOM_CDF4(56851467522013) },
                            { AOM_CDF4(3655989815731) },
                            { AOM_CDF4(264933241832658) },
                            { AOM_CDF4(163762934232090) },
                            { AOM_CDF4(105942264928970) },
                            { AOM_CDF4(81761717024303) },
                            { AOM_CDF4(56051269419139) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(238883190232542) },
                            { AOM_CDF4(186122968731987) },
                            { AOM_CDF4(162452485229249) },
                            { AOM_CDF4(157652260827559) },
                            { AOM_CDF4(198952469927510) },
                            { AOM_CDF4(284013221232457) },
                            { AOM_CDF4(152742782530980) },
                            { AOM_CDF4(93641812824332) },
                            { AOM_CDF4(2283819315082) },
                            { AOM_CDF4(122839727881) },
                            { AOM_CDF4(294553246932620) },
                            { AOM_CDF4(179812824531388) },
                            { AOM_CDF4(109212009826240) },
                            { AOM_CDF4(37431182918657) },
                            { AOM_CDF4(2374959315715) },
                            { AOM_CDF4(310683246632635) },
                            { AOM_CDF4(203212957231971) },
                            { AOM_CDF4(107712025527119) },
                            { AOM_CDF4(27951041017361) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(93202210227840) },
                            { AOM_CDF4(270573246432724) },
                            { AOM_CDF4(163313026832309) },
                            { AOM_CDF4(103192393529720) },
                            { AOM_CDF4(61891644824106) },
                            { AOM_CDF4(35891088418808) },
                            { AOM_CDF4(290263262432748) },
                            { AOM_CDF4(192263150732587) },
                            { AOM_CDF4(126922692131203) },
                            { AOM_CDF4(70491953227635) },
                            { AOM_CDF4(77271566923252) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(280563262532748) },
                            { AOM_CDF4(223833207532669) },
                            { AOM_CDF4(154172709831749) },
                            { AOM_CDF4(181272649327190) },
                            { AOM_CDF4(54611638421845) },
                            { AOM_CDF4(279823209132584) },
                            { AOM_CDF4(190452986831972) },
                            { AOM_CDF4(103972226627932) },
                            { AOM_CDF4(59901369721500) },
                            { AOM_CDF4(1792691215104) },
                            { AOM_CDF4(281983250132718) },
                            { AOM_CDF4(215343152132569) },
                            { AOM_CDF4(111092521730017) },
                            { AOM_CDF4(56711512426151) },
                            { AOM_CDF4(46811404318725) },
                            { AOM_CDF4(286883258032741) },
                            { AOM_CDF4(225763207932661) },
                            { AOM_CDF4(106272214128340) },
                            { AOM_CDF4(93621404328087) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(77541694822142) },
                            { AOM_CDF4(256703233032691) },
                            { AOM_CDF4(156632922531994) },
                            { AOM_CDF4(98782328829158) },
                            { AOM_CDF4(64191708824336) },
                            { AOM_CDF4(38591100317039) },
                            { AOM_CDF4(275623259532725) },
                            { AOM_CDF4(175753058832399) },
                            { AOM_CDF4(108192483830309) },
                            { AOM_CDF4(71241868625916) },
                            { AOM_CDF4(44791268819340) },
                            { AOM_CDF4(283853247632673) },
                            { AOM_CDF4(153062900531938) },
                            { AOM_CDF4(89372161528322) },
                            { AOM_CDF4(59821560322786) },
                            { AOM_CDF4(36201026716136) },
                            { AOM_CDF4(272803246432667) },
                            { AOM_CDF4(156072916032004) },
                            { AOM_CDF4(90912213528740) },
                            { AOM_CDF4(62321663224020) },
                            { AOM_CDF4(40471137717672) },
                            { AOM_CDF4(292203263032718) },
                            { AOM_CDF4(196503122032462) },
                            { AOM_CDF4(130502631230827) },
                            { AOM_CDF4(92282087027468) },
                            { AOM_CDF4(61461514921971) },
                            { AOM_CDF4(301693248132623) },
                            { AOM_CDF4(172122931131554) },
                            { AOM_CDF4(99112131126882) },
                            { AOM_CDF4(44871331420372) },
                            { AOM_CDF4(2570777212889) },
                            { AOM_CDF4(309243261332708) },
                            { AOM_CDF4(194903020632107) },
                            { AOM_CDF4(112322399829276) },
                            { AOM_CDF4(67691795525035) },
                            { AOM_CDF4(43981262319214) },
                            { AOM_CDF4(306093262732722) },
                            { AOM_CDF4(193703058232287) },
                            { AOM_CDF4(104572361929409) },
                            { AOM_CDF4(64431763724834) },
                            { AOM_CDF4(46451323620106) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(86262027126216) },
                            { AOM_CDF4(267073240632711) },
                            { AOM_CDF4(169993032932286) },
                            { AOM_CDF4(114452512330286) },
                            { AOM_CDF4(64111882825601) },
                            { AOM_CDF4(68011245820248) },
                            { AOM_CDF4(299183268232748) },
                            { AOM_CDF4(206493173932618) },
                            { AOM_CDF4(128792777331581) },
                            { AOM_CDF4(78962175128244) },
                            { AOM_CDF4(52601487023698) },
                            { AOM_CDF4(292523259332731) },
                            { AOM_CDF4(170723046032294) },
                            { AOM_CDF4(106532414329365) },
                            { AOM_CDF4(65361749023983) },
                            { AOM_CDF4(49291317020085) },
                            { AOM_CDF4(281373251832715) },
                            { AOM_CDF4(181713078432407) },
                            { AOM_CDF4(114372543630459) },
                            { AOM_CDF4(72521853426176) },
                            { AOM_CDF4(41261335320978) },
                            { AOM_CDF4(311623272632748) },
                            { AOM_CDF4(230173222232701) },
                            { AOM_CDF4(156292923332046) },
                            { AOM_CDF4(93872262129480) },
                            { AOM_CDF4(69221761625010) },
                            { AOM_CDF4(288383226532614) },
                            { AOM_CDF4(197013020631920) },
                            { AOM_CDF4(112142241027933) },
                            { AOM_CDF4(53201417723034) },
                            { AOM_CDF4(50491288117827) },
                            { AOM_CDF4(274843247132734) },
                            { AOM_CDF4(210763152632561) },
                            { AOM_CDF4(127072630331211) },
                            { AOM_CDF4(81692172228219) },
                            { AOM_CDF4(60451940627042) },
                            { AOM_CDF4(277533257232745) },
                            { AOM_CDF4(208323187832653) },
                            { AOM_CDF4(132502735631674) },
                            { AOM_CDF4(77182150829858) },
                            { AOM_CDF4(72091835025559) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(78761690121741) },
                            { AOM_CDF4(240013189832625) },
                            { AOM_CDF4(145292795931451) },
                            { AOM_CDF4(82732081827258) },
                            { AOM_CDF4(52781467321510) },
                            { AOM_CDF4(2983884314039) },
                            { AOM_CDF4(280163257432732) },
                            { AOM_CDF4(174713030632301) },
                            { AOM_CDF4(102242406329728) },
                            { AOM_CDF4(66021795425052) },
                            { AOM_CDF4(40021158517759) },
                            { AOM_CDF4(301903263432739) },
                            { AOM_CDF4(174973028232270) },
                            { AOM_CDF4(102292372929538) },
                            { AOM_CDF4(63441721124440) },
                            { AOM_CDF4(38491118917108) },
                            { AOM_CDF4(285703258332726) },
                            { AOM_CDF4(175213016132238) },
                            { AOM_CDF4(101532356529378) },
                            { AOM_CDF4(64551734124443) },
                            { AOM_CDF4(39071104217024) },
                            { AOM_CDF4(306893271532748) },
                            { AOM_CDF4(215463184032610) },
                            { AOM_CDF4(135472758131459) },
                            { AOM_CDF4(89122175728309) },
                            { AOM_CDF4(55481508022046) },
                            { AOM_CDF4(307833254032685) },
                            { AOM_CDF4(175402952831668) },
                            { AOM_CDF4(101602146826783) },
                            { AOM_CDF4(47241339320054) },
                            { AOM_CDF4(2702817413102) },
                            { AOM_CDF4(316483268632742) },
                            { AOM_CDF4(209543109432337) },
                            { AOM_CDF4(124202569830179) },
                            { AOM_CDF4(73041932026248) },
                            { AOM_CDF4(43661226118864) },
                            { AOM_CDF4(315813272332748) },
                            { AOM_CDF4(213733158632525) },
                            { AOM_CDF4(127442662530885) },
                            { AOM_CDF4(74312032226950) },
                            { AOM_CDF4(46921332320111) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(78331836924095) },
                            { AOM_CDF4(266503227332702) },
                            { AOM_CDF4(163712996132191) },
                            { AOM_CDF4(110552408229629) },
                            { AOM_CDF4(68921864425400) },
                            { AOM_CDF4(50061305719240) },
                            { AOM_CDF4(298343266632748) },
                            { AOM_CDF4(195773133532570) },
                            { AOM_CDF4(122532650931122) },
                            { AOM_CDF4(79912077227711) },
                            { AOM_CDF4(56771591023059) },
                            { AOM_CDF4(301093253232720) },
                            { AOM_CDF4(167473016632252) },
                            { AOM_CDF4(101342354229184) },
                            { AOM_CDF4(57911617623556) },
                            { AOM_CDF4(43621041417284) },
                            { AOM_CDF4(294923262632748) },
                            { AOM_CDF4(198943140232525) },
                            { AOM_CDF4(129422707130869) },
                            { AOM_CDF4(83462121627405) },
                            { AOM_CDF4(65721708723859) },
                            { AOM_CDF4(320353273532748) },
                            { AOM_CDF4(229573183832618) },
                            { AOM_CDF4(147242857231772) },
                            { AOM_CDF4(103642399929553) },
                            { AOM_CDF4(70041843325655) },
                            { AOM_CDF4(275283227732681) },
                            { AOM_CDF4(169593117132096) },
                            { AOM_CDF4(104862359327962) },
                            { AOM_CDF4(81921638423211) },
                            { AOM_CDF4(89371787320852) },
                            { AOM_CDF4(277153200232615) },
                            { AOM_CDF4(150732949131676) },
                            { AOM_CDF4(112642457628672) },
                            { AOM_CDF4(23411872523406) },
                            { AOM_CDF4(72821820425486) },
                            { AOM_CDF4(285473221332657) },
                            { AOM_CDF4(207882977332239) },
                            { AOM_CDF4(67802146930508) },
                            { AOM_CDF4(59581489523831) },
                            { AOM_CDF4(163842184527307) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(59921430419765) },
                            { AOM_CDF4(226123123832456) },
                            { AOM_CDF4(134562716231087) },
                            { AOM_CDF4(80012006226504) },
                            { AOM_CDF4(51681410520764) },
                            { AOM_CDF4(2632777112385) },
                            { AOM_CDF4(270343234432709) },
                            { AOM_CDF4(158502941531997) },
                            { AOM_CDF4(94942277628841) },
                            { AOM_CDF4(61511683023969) },
                            { AOM_CDF4(34611003915722) },
                            { AOM_CDF4(301343256932731) },
                            { AOM_CDF4(156382942231945) },
                            { AOM_CDF4(91502186528218) },
                            { AOM_CDF4(56471571922676) },
                            { AOM_CDF4(3402977215477) },
                            { AOM_CDF4(285303258632735) },
                            { AOM_CDF4(171393029832292) },
                            { AOM_CDF4(102002403929685) },
                            { AOM_CDF4(64191767424786) },
                            { AOM_CDF4(35441022515824) },
                            { AOM_CDF4(313333272632748) },
                            { AOM_CDF4(206183148732544) },
                            { AOM_CDF4(129012721731232) },
                            { AOM_CDF4(86242173428171) },
                            { AOM_CDF4(51041419120748) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(112062109026561) },
                            { AOM_CDF4(287593227932671) },
                            { AOM_CDF4(141712795231569) },
                            { AOM_CDF4(97432290729141) },
                            { AOM_CDF4(68711788624868) },
                            { AOM_CDF4(49601315219315) },
                            { AOM_CDF4(310773266132748) },
                            { AOM_CDF4(194003119532515) },
                            { AOM_CDF4(127522685831040) },
                            { AOM_CDF4(83702209828591) },
                            { AOM_CDF4(54571537322298) },
                            { AOM_CDF4(316973270632748) },
                            { AOM_CDF4(178603065732333) },
                            { AOM_CDF4(125102481229261) },
                            { AOM_CDF4(61801912424722) },
                            { AOM_CDF4(50411354817959) },
                            { AOM_CDF4(315523271632748) },
                            { AOM_CDF4(219083176932623) },
                            { AOM_CDF4(144702820131565) },
                            { AOM_CDF4(94932298228608) },
                            { AOM_CDF4(68581724024137) },
                            { AOM_CDF4(325433275232756) },
                            { AOM_CDF4(242863209732666) },
                            { AOM_CDF4(159582921732024) },
                            { AOM_CDF4(102072423429958) },
                            { AOM_CDF4(69291830525652) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } },
                        { { { AOM_CDF4(41371084715682) },
                            { AOM_CDF4(178242700130058) },
                            { AOM_CDF4(102042279628291) },
                            { AOM_CDF4(60761593522125) },
                            { AOM_CDF4(38521093716816) },
                            { AOM_CDF4(2252632410131) },
                            { AOM_CDF4(258403201632662) },
                            { AOM_CDF4(151092826831531) },
                            { AOM_CDF4(93852223128340) },
                            { AOM_CDF4(60821667223479) },
                            { AOM_CDF4(3318942714681) },
                            { AOM_CDF4(305943257432718) },
                            { AOM_CDF4(168362955231859) },
                            { AOM_CDF4(95562254228356) },
                            { AOM_CDF4(63051672523540) },
                            { AOM_CDF4(3376989515184) },
                            { AOM_CDF4(293833261732745) },
                            { AOM_CDF4(188913080932401) },
                            { AOM_CDF4(116882594230687) },
                            { AOM_CDF4(74681946926651) },
                            { AOM_CDF4(39091135817012) },
                            { AOM_CDF4(315643273632748) },
                            { AOM_CDF4(209063161132600) },
                            { AOM_CDF4(131912762131537) },
                            { AOM_CDF4(87682202928676) },
                            { AOM_CDF4(50791410920906) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } },
                          { { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) },
                            { AOM_CDF4(81921638424576) } } } } };

static const aom_cdf_prob av1_default_coeff_base_eob_multi_cdfs
    [TOKEN_CDF_Q_CTXS][TX_SIZES][PLANE_TYPES][SIG_COEF_CONTEXTS_EOB][CDF_SIZE(
        NUM_BASE_LEVELS + 1)] = { { { { { AOM_CDF3(1783729055) },
                                        { AOM_CDF3(2960031446) },
                                        { AOM_CDF3(3084431878) },
                                        { AOM_CDF3(2492628948) } },
                                      { { AOM_CDF3(2136530026) },
                                        { AOM_CDF3(3051232423) },
                                        { AOM_CDF3(3165832621) },
                                        { AOM_CDF3(2963031881) } } },
                                    { { { AOM_CDF3(571726477) },
                                        { AOM_CDF3(3049131703) },
                                        { AOM_CDF3(3155032158) },
                                        { AOM_CDF3(2964831491) } },
                                      { { AOM_CDF3(1260827820) },
                                        { AOM_CDF3(3068032225) },
                                        { AOM_CDF3(3080932335) },
                                        { AOM_CDF3(3129932423) } } },
                                    { { { AOM_CDF3(178612612) },
                                        { AOM_CDF3(3066331625) },
                                        { AOM_CDF3(3233932468) },
                                        { AOM_CDF3(3114831833) } },
                                      { { AOM_CDF3(1885723865) },
                                        { AOM_CDF3(3142832428) },
                                        { AOM_CDF3(3174432373) },
                                        { AOM_CDF3(3177532526) } } },
                                    { { { AOM_CDF3(17872532) },
                                        { AOM_CDF3(3083231662) },
                                        { AOM_CDF3(3182432682) },
                                        { AOM_CDF3(3213332569) } },
                                      { { AOM_CDF3(1375122235) },
                                        { AOM_CDF3(3208932409) },
                                        { AOM_CDF3(2708427920) },
                                        { AOM_CDF3(2929132594) } } },
                                    { { { AOM_CDF3(17253449) },
                                        { AOM_CDF3(3110231935) },
                                        { AOM_CDF3(3245732613) },
                                        { AOM_CDF3(3241232649) } },
                                      { { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) } } } },
                                  { { { { AOM_CDF3(1756029888) },
                                        { AOM_CDF3(2967131549) },
                                        { AOM_CDF3(3100732056) },
                                        { AOM_CDF3(2728630006) } },
                                      { { AOM_CDF3(2659431212) },
                                        { AOM_CDF3(3120832582) },
                                        { AOM_CDF3(3183532637) },
                                        { AOM_CDF3(3059532206) } } },
                                    { { { AOM_CDF3(1523929932) },
                                        { AOM_CDF3(3131532095) },
                                        { AOM_CDF3(3213032434) },
                                        { AOM_CDF3(3086431996) } },
                                      { { AOM_CDF3(2627930968) },
                                        { AOM_CDF3(3114232495) },
                                        { AOM_CDF3(3171332540) },
                                        { AOM_CDF3(3192932594) } } },
                                    { { { AOM_CDF3(264425198) },
                                        { AOM_CDF3(3203832451) },
                                        { AOM_CDF3(3263932695) },
                                        { AOM_CDF3(3216632518) } },
                                      { { AOM_CDF3(1718727668) },
                                        { AOM_CDF3(3171432550) },
                                        { AOM_CDF3(3228332678) },
                                        { AOM_CDF3(3193032563) } } },
                                    { { { AOM_CDF3(10442257) },
                                        { AOM_CDF3(3075531923) },
                                        { AOM_CDF3(3220832693) },
                                        { AOM_CDF3(3224432615) } },
                                      { { AOM_CDF3(2131726207) },
                                        { AOM_CDF3(2913330868) },
                                        { AOM_CDF3(2931131231) },
                                        { AOM_CDF3(2965731087) } } },
                                    { { { AOM_CDF3(4781834) },
                                        { AOM_CDF3(3100531987) },
                                        { AOM_CDF3(3231732724) },
                                        { AOM_CDF3(3086532648) } },
                                      { { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) } } } },
                                  { { { { AOM_CDF3(2009230774) },
                                        { AOM_CDF3(3069532020) },
                                        { AOM_CDF3(3113132103) },
                                        { AOM_CDF3(2866630870) } },
                                      { { AOM_CDF3(2725831095) },
                                        { AOM_CDF3(3180432623) },
                                        { AOM_CDF3(3176332528) },
                                        { AOM_CDF3(3143832506) } } },
                                    { { { AOM_CDF3(1804930489) },
                                        { AOM_CDF3(3170632286) },
                                        { AOM_CDF3(3216332473) },
                                        { AOM_CDF3(3155032184) } },
                                      { { AOM_CDF3(2711630842) },
                                        { AOM_CDF3(3197132598) },
                                        { AOM_CDF3(3208832576) },
                                        { AOM_CDF3(3206732664) } } },
                                    { { { AOM_CDF3(1285429093) },
                                        { AOM_CDF3(3227232558) },
                                        { AOM_CDF3(3266732729) },
                                        { AOM_CDF3(3230632585) } },
                                      { { AOM_CDF3(2547630366) },
                                        { AOM_CDF3(3216932687) },
                                        { AOM_CDF3(3247932689) },
                                        { AOM_CDF3(3167332634) } } },
                                    { { { AOM_CDF3(280919301) },
                                        { AOM_CDF3(3220532622) },
                                        { AOM_CDF3(3233832730) },
                                        { AOM_CDF3(3178632616) } },
                                      { { AOM_CDF3(2273729105) },
                                        { AOM_CDF3(3081032362) },
                                        { AOM_CDF3(3001432627) },
                                        { AOM_CDF3(3052832574) } } },
                                    { { { AOM_CDF3(9353382) },
                                        { AOM_CDF3(3078931909) },
                                        { AOM_CDF3(3246632756) },
                                        { AOM_CDF3(3086032513) } },
                                      { { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) } } } },
                                  { { { { AOM_CDF3(2249731198) },
                                        { AOM_CDF3(3171532495) },
                                        { AOM_CDF3(3160632337) },
                                        { AOM_CDF3(3038831990) } },
                                      { { AOM_CDF3(2787731584) },
                                        { AOM_CDF3(3217032728) },
                                        { AOM_CDF3(3215532688) },
                                        { AOM_CDF3(3221932702) } } },
                                    { { { AOM_CDF3(2145731043) },
                                        { AOM_CDF3(3195132483) },
                                        { AOM_CDF3(3215332562) },
                                        { AOM_CDF3(3147332215) } },
                                      { { AOM_CDF3(2755831151) },
                                        { AOM_CDF3(3202032640) },
                                        { AOM_CDF3(3209732575) },
                                        { AOM_CDF3(3224232719) } } },
                                    { { { AOM_CDF3(1998030591) },
                                        { AOM_CDF3(3221932597) },
                                        { AOM_CDF3(3258132706) },
                                        { AOM_CDF3(3180332287) } },
                                      { { AOM_CDF3(2647330507) },
                                        { AOM_CDF3(3243132723) },
                                        { AOM_CDF3(3219632611) },
                                        { AOM_CDF3(3158832528) } } },
                                    { { { AOM_CDF3(2464730463) },
                                        { AOM_CDF3(3241232695) },
                                        { AOM_CDF3(3246832720) },
                                        { AOM_CDF3(3126932523) } },
                                      { { AOM_CDF3(2848231505) },
                                        { AOM_CDF3(3215232701) },
                                        { AOM_CDF3(3173232598) },
                                        { AOM_CDF3(3176732712) } } },
                                    { { { AOM_CDF3(1235824977) },
                                        { AOM_CDF3(3133132385) },
                                        { AOM_CDF3(3263432756) },
                                        { AOM_CDF3(3041132548) } },
                                      { { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) },
                                        { AOM_CDF3(1092321845) } } } } };

#endif  // AOM_AV1_COMMON_TOKEN_CDFS_H_

Messung V0.5 in Prozent
C=92 H=86 G=88

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

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

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

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.