RubyGems - kpqc - Versions diffs - 0.1.0 - Mend

kpqc 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (191) hide show

checksums.yaml +7 -0
data/Gemfile +4 -0
data/LICENSE +21 -0
data/README.md +174 -0
data/Rakefile +57 -0
data/THIRD_PARTY_NOTICES.md +53 -0
data/ext/kpqc/aimer128f/extconf.rb +4 -0
data/ext/kpqc/aimer128s/extconf.rb +4 -0
data/ext/kpqc/aimer192f/extconf.rb +4 -0
data/ext/kpqc/aimer192s/extconf.rb +4 -0
data/ext/kpqc/aimer256f/extconf.rb +4 -0
data/ext/kpqc/aimer256s/extconf.rb +4 -0
data/ext/kpqc/extconf_helper.rb +93 -0
data/ext/kpqc/haetae2/extconf.rb +4 -0
data/ext/kpqc/haetae3/extconf.rb +4 -0
data/ext/kpqc/haetae5/extconf.rb +4 -0
data/ext/kpqc/module.c +195 -0
data/ext/kpqc/ntruplus1152/extconf.rb +4 -0
data/ext/kpqc/ntruplus768/extconf.rb +4 -0
data/ext/kpqc/ntruplus864/extconf.rb +4 -0
data/ext/kpqc/randombytes.c +107 -0
data/ext/kpqc/smaugt128/extconf.rb +4 -0
data/ext/kpqc/smaugt192/extconf.rb +4 -0
data/ext/kpqc/smaugt256/extconf.rb +4 -0
data/ext/kpqc/timer/extconf.rb +4 -0
data/kpqc.gemspec +41 -0
data/lib/kpqc/aimer.rb +38 -0
data/lib/kpqc/api.rb +129 -0
data/lib/kpqc/haetae.rb +25 -0
data/lib/kpqc/ntruplus.rb +25 -0
data/lib/kpqc/smaugt.rb +29 -0
data/lib/kpqc/types.rb +103 -0
data/lib/kpqc/version.rb +6 -0
data/lib/kpqc.rb +33 -0
data/test/algorithm_test.rb +111 -0
data/test/api_test.rb +52 -0
data/test/interop.mjs +34 -0
data/test/interop_test.rb +82 -0
data/test/kat/aimer128f.rsp +10 -0
data/test/kat/aimer128s.rsp +10 -0
data/test/kat/aimer192f.rsp +10 -0
data/test/kat/aimer192s.rsp +10 -0
data/test/kat/aimer256f.rsp +10 -0
data/test/kat/aimer256s.rsp +10 -0
data/test/kat/haetae2.rsp +10 -0
data/test/kat/haetae3.rsp +10 -0
data/test/kat/haetae5.rsp +10 -0
data/test/kat/ntruplus1152.rsp +8 -0
data/test/kat/ntruplus768.rsp +8 -0
data/test/kat/ntruplus864.rsp +8 -0
data/test/kat/smaugt128.rsp +8 -0
data/test/kat/smaugt192.rsp +8 -0
data/test/kat/smaugt256.rsp +8 -0
data/test/kat/timer.rsp +8 -0
data/test/kat_drbg.rb +155 -0
data/test/kat_test.rb +99 -0
data/test/test_helper.rb +21 -0
data/vendor/AIMer/LICENSE +21 -0
data/vendor/AIMer/aim2.c +163 -0
data/vendor/AIMer/aim2.h +36 -0
data/vendor/AIMer/aim2_constant.h +74 -0
data/vendor/AIMer/api.h +42 -0
data/vendor/AIMer/common/crypto_declassify.h +7 -0
data/vendor/AIMer/common/fips202.c +878 -0
data/vendor/AIMer/common/fips202.h +166 -0
data/vendor/AIMer/common/rng.h +56 -0
data/vendor/AIMer/field.h +43 -0
data/vendor/AIMer/field128.c +454 -0
data/vendor/AIMer/field192.c +485 -0
data/vendor/AIMer/field256.c +564 -0
data/vendor/AIMer/hash.c +50 -0
data/vendor/AIMer/hash.h +37 -0
data/vendor/AIMer/params/params-aimer-128f.h +34 -0
data/vendor/AIMer/params/params-aimer-128s.h +34 -0
data/vendor/AIMer/params/params-aimer-192f.h +34 -0
data/vendor/AIMer/params/params-aimer-192s.h +34 -0
data/vendor/AIMer/params/params-aimer-256f.h +34 -0
data/vendor/AIMer/params/params-aimer-256s.h +34 -0
data/vendor/AIMer/params.h +5 -0
data/vendor/AIMer/sign.c +631 -0
data/vendor/AIMer/sign.h +40 -0
data/vendor/AIMer/tree.c +75 -0
data/vendor/AIMer/tree.h +26 -0
data/vendor/HAETAE/LICENSE +22 -0
data/vendor/HAETAE/include/api.h +54 -0
data/vendor/HAETAE/include/common.h +12 -0
data/vendor/HAETAE/include/config.h +42 -0
data/vendor/HAETAE/include/decompose.h +19 -0
data/vendor/HAETAE/include/encoding.h +20 -0
data/vendor/HAETAE/include/fft.h +26 -0
data/vendor/HAETAE/include/fips202.h +40 -0
data/vendor/HAETAE/include/fixpoint.h +125 -0
data/vendor/HAETAE/include/ntt.h +16 -0
data/vendor/HAETAE/include/packing.h +58 -0
data/vendor/HAETAE/include/params.h +117 -0
data/vendor/HAETAE/include/poly.h +65 -0
data/vendor/HAETAE/include/polyfix.h +65 -0
data/vendor/HAETAE/include/polymat.h +32 -0
data/vendor/HAETAE/include/polyvec.h +131 -0
data/vendor/HAETAE/include/randombytes.h +39 -0
data/vendor/HAETAE/include/rans_byte.h +335 -0
data/vendor/HAETAE/include/reduce.h +31 -0
data/vendor/HAETAE/include/sampler.h +23 -0
data/vendor/HAETAE/include/symmetric.h +52 -0
data/vendor/HAETAE/src/decompose.c +73 -0
data/vendor/HAETAE/src/encoding.c +700 -0
data/vendor/HAETAE/src/fft.c +235 -0
data/vendor/HAETAE/src/fips202.c +745 -0
data/vendor/HAETAE/src/fixpoint.c +143 -0
data/vendor/HAETAE/src/ntt.c +98 -0
data/vendor/HAETAE/src/packing.c +595 -0
data/vendor/HAETAE/src/poly.c +371 -0
data/vendor/HAETAE/src/polyfix.c +298 -0
data/vendor/HAETAE/src/polymat.c +82 -0
data/vendor/HAETAE/src/polyvec.c +534 -0
data/vendor/HAETAE/src/reduce.c +96 -0
data/vendor/HAETAE/src/sampler.c +310 -0
data/vendor/HAETAE/src/sign.c +558 -0
data/vendor/HAETAE/src/symmetric-shake.c +50 -0
data/vendor/NTRUplus/LICENSE +21 -0
data/vendor/NTRUplus/NTRU+1152/api.h +24 -0
data/vendor/NTRUplus/NTRU+1152/fips202/fips202.c +878 -0
data/vendor/NTRUplus/NTRU+1152/fips202/fips202.h +166 -0
data/vendor/NTRUplus/NTRU+1152/kem.c +286 -0
data/vendor/NTRUplus/NTRU+1152/ntt.c +394 -0
data/vendor/NTRUplus/NTRU+1152/ntt.h +16 -0
data/vendor/NTRUplus/NTRU+1152/params.h +18 -0
data/vendor/NTRUplus/NTRU+1152/poly.c +318 -0
data/vendor/NTRUplus/NTRU+1152/poly.h +31 -0
data/vendor/NTRUplus/NTRU+1152/randombytes.h +9 -0
data/vendor/NTRUplus/NTRU+1152/symmetric.c +39 -0
data/vendor/NTRUplus/NTRU+1152/symmetric.h +12 -0
data/vendor/NTRUplus/NTRU+768/api.h +24 -0
data/vendor/NTRUplus/NTRU+768/fips202/fips202.c +878 -0
data/vendor/NTRUplus/NTRU+768/fips202/fips202.h +166 -0
data/vendor/NTRUplus/NTRU+768/kem.c +286 -0
data/vendor/NTRUplus/NTRU+768/ntt.c +379 -0
data/vendor/NTRUplus/NTRU+768/ntt.h +16 -0
data/vendor/NTRUplus/NTRU+768/params.h +18 -0
data/vendor/NTRUplus/NTRU+768/poly.c +320 -0
data/vendor/NTRUplus/NTRU+768/poly.h +31 -0
data/vendor/NTRUplus/NTRU+768/randombytes.h +9 -0
data/vendor/NTRUplus/NTRU+768/symmetric.c +39 -0
data/vendor/NTRUplus/NTRU+768/symmetric.h +12 -0
data/vendor/NTRUplus/NTRU+864/api.h +24 -0
data/vendor/NTRUplus/NTRU+864/fips202/fips202.c +878 -0
data/vendor/NTRUplus/NTRU+864/fips202/fips202.h +166 -0
data/vendor/NTRUplus/NTRU+864/kem.c +286 -0
data/vendor/NTRUplus/NTRU+864/ntt.c +383 -0
data/vendor/NTRUplus/NTRU+864/ntt.h +16 -0
data/vendor/NTRUplus/NTRU+864/params.h +18 -0
data/vendor/NTRUplus/NTRU+864/poly.c +314 -0
data/vendor/NTRUplus/NTRU+864/poly.h +31 -0
data/vendor/NTRUplus/NTRU+864/randombytes.h +9 -0
data/vendor/NTRUplus/NTRU+864/symmetric.c +39 -0
data/vendor/NTRUplus/NTRU+864/symmetric.h +12 -0
data/vendor/SMAUG-T/LICENSE +22 -0
data/vendor/SMAUG-T/include/api.h +37 -0
data/vendor/SMAUG-T/include/cbd.h +15 -0
data/vendor/SMAUG-T/include/ciphertext.h +45 -0
data/vendor/SMAUG-T/include/common.h +12 -0
data/vendor/SMAUG-T/include/config.h +48 -0
data/vendor/SMAUG-T/include/dg.h +28 -0
data/vendor/SMAUG-T/include/fips202.h +41 -0
data/vendor/SMAUG-T/include/hash.h +21 -0
data/vendor/SMAUG-T/include/hwt.h +28 -0
data/vendor/SMAUG-T/include/indcpa.h +33 -0
data/vendor/SMAUG-T/include/key.h +34 -0
data/vendor/SMAUG-T/include/pack.h +78 -0
data/vendor/SMAUG-T/include/packring.h +50 -0
data/vendor/SMAUG-T/include/params.h +84 -0
data/vendor/SMAUG-T/include/poly.h +41 -0
data/vendor/SMAUG-T/include/randombytes.h +11 -0
data/vendor/SMAUG-T/include/toomcook.h +14 -0
data/vendor/SMAUG-T/include/verify.h +16 -0
data/vendor/SMAUG-T/src/cbd.c +159 -0
data/vendor/SMAUG-T/src/ciphertext.c +95 -0
data/vendor/SMAUG-T/src/dg.c +112 -0
data/vendor/SMAUG-T/src/fips202.c +745 -0
data/vendor/SMAUG-T/src/hash.c +15 -0
data/vendor/SMAUG-T/src/hwt.c +121 -0
data/vendor/SMAUG-T/src/indcpa.c +187 -0
data/vendor/SMAUG-T/src/kem.c +194 -0
data/vendor/SMAUG-T/src/key.c +102 -0
data/vendor/SMAUG-T/src/pack.c +349 -0
data/vendor/SMAUG-T/src/packring.c +503 -0
data/vendor/SMAUG-T/src/poly.c +200 -0
data/vendor/SMAUG-T/src/toomcook.c +256 -0
data/vendor/SMAUG-T/src/verify.c +48 -0
data/vendor/SOURCES.json +130 -0
metadata +280 -0

data/vendor/HAETAE/src/encoding.c ADDED Viewed

@@ -0,0 +1,700 @@
+// SPDX-License-Identifier: MIT
+#include "encoding.h"
+#include "params.h"
+#include "rans_byte.h"
+#include <stdint.h>
+#include <stdlib.h>
+#include <string.h>
+#define SCALE_BITS 10
+#define SCALE (1u << SCALE_BITS)
+#if HAETAE_MODE == HAETAE_MODE2
+#define M_H 13
+#define OFFSET_H 239
+#define M_HB_Z1 13
+#define OFFSET_HB_Z1 6
+static RansEncSymbol esyms_h[M_H] = {
+    {801112064, -1416664605, 0, 642, 8},
+    {515899392, -2060187564, 382, 778, 7},
+    {136314880, -66076419, 628, 959, 6},
+    {14680064, -1840700269, 693, 1017, 2},
+    {2097152, -1, 1723, 1023, 0},
+    {2097152, -1, 1724, 1023, 0},
+    {2097152, -1, 1725, 1023, 0},
+    {2097152, -1, 1726, 1023, 0},
+    {2097152, -1, 1727, 1023, 0},
+    {2097152, -1, 1728, 1023, 0},
+    {14680064, -1840700269, 706, 1017, 2},
+    {136314880, -66076419, 713, 959, 6},
+    {515899392, -2060187564, 778, 778, 7},
+};
+static RansDecSymbol dsyms_h[M_H] = {
+    {0, 382}, {382, 246}, {628, 65}, {693, 7}, {700, 1},  {701, 1},   {702, 1},
+    {703, 1}, {704, 1},   {705, 1},  {706, 7}, {713, 65}, {778, 246},
+};
+static uint16_t symbol_h[SCALE] = {
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  3,  3,  3,  3,  3,  3,  3,  4,  5,  6,
+    7,  8,  9,  10, 10, 10, 10, 10, 10, 10, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+};
+static RansEncSymbol esyms_hb_z1[M_HB_Z1] = {
+    {2097152, -1, 1023, 1023, 0},
+    {2097152, -1, 1024, 1023, 0},
+    {2097152, -1, 1025, 1023, 0},
+    {10485760, -858993459, 3, 1019, 2},
+    {121634816, -1925330167, 8, 966, 5},
+    {515899392, -2060187564, 66, 778, 7},
+    {834666496, -1532375266, 312, 626, 8},
+    {517996544, -2069235255, 710, 777, 7},
+    {123731968, -1965493508, 957, 965, 5},
+    {10485760, -858993459, 1016, 1019, 2},
+    {2097152, -1, 2044, 1023, 0},
+    {2097152, -1, 2045, 1023, 0},
+    {2097152, -1, 2046, 1023, 0},
+};
+static RansDecSymbol dsyms_hb_z1[M_HB_Z1] = {
+    {0, 1},    {1, 1},     {2, 1},     {3, 5},    {8, 58},
+    {66, 246}, {312, 398}, {710, 247}, {957, 59}, {1016, 5},
+    {1021, 1}, {1022, 1},  {1023, 1},
+};
+static uint16_t symbol_hb_z1[SCALE] = {
+    0, 1, 2, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4,  4,  4,  4, 4, 4, 4, 4, 4, 4, 4,
+    4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,  4,  4,  4, 4, 4, 4, 4, 4, 4, 4,
+    4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4,  4,  4,  4, 4, 5, 5, 5, 5, 5, 5,
+    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,  5,  5,  5, 5, 5, 5, 5, 5, 5, 5,
+    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,  5,  5,  5, 5, 5, 5, 5, 5, 5, 5,
+    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,  5,  5,  5, 5, 5, 5, 5, 5, 5, 5,
+    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,  5,  5,  5, 5, 5, 5, 5, 5, 5, 5,
+    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,  5,  5,  5, 5, 5, 5, 5, 5, 5, 5,
+    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,  5,  5,  5, 5, 5, 5, 5, 5, 5, 5,
+    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,  5,  5,  5, 5, 5, 5, 5, 5, 5, 5,
+    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,  5,  5,  5, 5, 5, 5, 5, 5, 5, 5,
+    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,  5,  5,  5, 5, 5, 5, 5, 5, 5, 5,
+    5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,  5,  5,  5, 5, 5, 5, 5, 5, 5, 5,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  6,  6,  6, 6, 6, 6, 6, 6, 6, 6,
+    6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,  7,  7,  7, 7, 7, 7, 7, 7, 7, 7,
+    7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,  7,  7,  7, 7, 7, 7, 7, 7, 7, 7,
+    7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,  7,  7,  7, 7, 7, 7, 7, 7, 7, 7,
+    7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,  7,  7,  7, 7, 7, 7, 7, 7, 7, 7,
+    7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,  7,  7,  7, 7, 7, 7, 7, 7, 7, 7,
+    7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,  7,  7,  7, 7, 7, 7, 7, 7, 7, 7,
+    7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,  7,  7,  7, 7, 7, 7, 7, 7, 7, 7,
+    7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,  7,  7,  7, 7, 7, 7, 7, 7, 7, 7,
+    7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,  7,  7,  7, 7, 7, 7, 7, 7, 7, 7,
+    7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,  7,  7,  7, 7, 7, 7, 7, 7, 7, 7,
+    7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,  7,  7,  7, 7, 7, 7, 7, 8, 8, 8,
+    8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,  8,  8,  8, 8, 8, 8, 8, 8, 8, 8,
+    8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8,  8,  8,  8, 8, 8, 8, 8, 8, 8, 8,
+    8, 8, 8, 8, 8, 8, 8, 8, 9, 9, 9, 9, 9, 10, 11, 12,
+};
+#elif HAETAE_MODE == HAETAE_MODE3
+#define M_H 17
+#define OFFSET_H 235
+#define M_HB_Z1 17
+#define OFFSET_HB_Z1 8
+static RansEncSymbol esyms_h[M_H] = {
+    {557842432, -161464935, 0, 758, 8},
+    {446693376, -1713954085, 266, 811, 7},
+    {236978176, -1862419446, 479, 911, 6},
+    {83886080, -858993459, 592, 984, 5},
+    {18874368, -477218588, 632, 1015, 3},
+    {2097152, -1, 1664, 1023, 0},
+    {2097152, -1, 1665, 1023, 0},
+    {2097152, -1, 1666, 1023, 0},
+    {2097152, -1, 1667, 1023, 0},
+    {2097152, -1, 1668, 1023, 0},
+    {2097152, -1, 1669, 1023, 0},
+    {2097152, -1, 1670, 1023, 0},
+    {2097152, -1, 1671, 1023, 0},
+    {18874368, -477218588, 649, 1015, 3},
+    {83886080, -858993459, 658, 984, 5},
+    {236978176, -1862419446, 698, 911, 6},
+    {446693376, -1713954085, 811, 811, 7},
+};
+static RansDecSymbol dsyms_h[M_H] = {
+    {0, 266}, {266, 213}, {479, 113}, {592, 40},  {632, 9},   {641, 1},
+    {642, 1}, {643, 1},   {644, 1},   {645, 1},   {646, 1},   {647, 1},
+    {648, 1}, {649, 9},   {658, 40},  {698, 113}, {811, 213},
+};
+static uint16_t symbol_h[SCALE] = {
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,
+    3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,
+    3,  3,  3,  3,  3,  4,  4,  4,  4,  4,  4,  4,  4,  4,  5,  6,  7,  8,  9,
+    10, 11, 12, 13, 13, 13, 13, 13, 13, 13, 13, 13, 14, 14, 14, 14, 14, 14, 14,
+    14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14,
+    14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 14, 15, 15, 15, 15, 15,
+    15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15,
+    15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15,
+    15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15,
+    15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15,
+    15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15,
+    15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+    16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16,
+};
+static RansEncSymbol esyms_hb_z1[M_HB_Z1] = {
+    {2097152, -1, 1023, 1023, 0},
+    {2097152, -1, 1024, 1023, 0},
+    {2097152, -1, 1025, 1023, 0},
+    {2097152, -1, 1026, 1023, 0},
+    {16777216, -2147483648, 4, 1016, 2},
+    {77594624, -580400985, 12, 987, 5},
+    {234881024, -1840700269, 49, 912, 6},
+    {452984832, -1749801490, 161, 808, 7},
+    {564133888, -207563475, 377, 755, 8},
+    {452984832, -1749801490, 646, 808, 7},
+    {234881024, -1840700269, 862, 912, 6},
+    {79691776, -678152730, 974, 986, 5},
+    {16777216, -2147483648, 1012, 1016, 2},
+    {2097152, -1, 2043, 1023, 0},
+    {2097152, -1, 2044, 1023, 0},
+    {2097152, -1, 2045, 1023, 0},
+    {2097152, -1, 2046, 1023, 0},
+};
+static RansDecSymbol dsyms_hb_z1[M_HB_Z1] = {
+    {0, 1},    {1, 1},     {2, 1},     {3, 1},     {4, 8},     {12, 37},
+    {49, 112}, {161, 216}, {377, 269}, {646, 216}, {862, 112}, {974, 38},
+    {1012, 8}, {1020, 1},  {1021, 1},  {1022, 1},  {1023, 1},
+};
+static uint16_t symbol_hb_z1[SCALE] = {
+    0,  1,  2,  3,  4,  4,  4,  4,  4,  4,  4,  4,  5,  5,  5,  5,  5,  5,  5,
+    5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,
+    5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  6,  6,  6,  6,  6,  6,  6,  6,
+    6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,
+    6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,
+    6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,
+    6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,
+    6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,
+    6,  6,  6,  6,  6,  6,  6,  6,  6,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 12, 12, 12, 12, 12, 12, 12, 12, 13, 14, 15, 16,
+};
+#elif HAETAE_MODE == HAETAE_MODE5
+#define M_H 33
+#define OFFSET_H 471
+#define M_HB_Z1 19
+#define OFFSET_HB_Z1 9
+static RansEncSymbol esyms_h[M_H] = {
+    {255852544, -2041869698, 0, 902, 6},
+    {245366784, -1945583475, 122, 907, 6},
+    {213909504, -1600085855, 239, 922, 6},
+    {169869312, -901412889, 341, 943, 6},
+    {123731968, -1965493508, 422, 965, 5},
+    {81788928, -770891565, 481, 985, 5},
+    {48234496, -1307163959, 520, 1001, 4},
+    {27262976, -1651910498, 543, 1011, 3},
+    {12582912, -1431655765, 556, 1018, 2},
+    {6291456, -1431655765, 562, 1021, 1},
+    {2097152, -1, 1588, 1023, 0},
+    {2097152, -1, 1589, 1023, 0},
+    {2097152, -1, 1590, 1023, 0},
+    {2097152, -1, 1591, 1023, 0},
+    {2097152, -1, 1592, 1023, 0},
+    {2097152, -1, 1593, 1023, 0},
+    {2097152, -1, 1594, 1023, 0},
+    {2097152, -1, 1595, 1023, 0},
+    {2097152, -1, 1596, 1023, 0},
+    {2097152, -1, 1597, 1023, 0},
+    {2097152, -1, 1598, 1023, 0},
+    {2097152, -1, 1599, 1023, 0},
+    {2097152, -1, 1600, 1023, 0},
+    {2097152, -1, 1601, 1023, 0},
+    {6291456, -1431655765, 579, 1021, 1},
+    {12582912, -1431655765, 582, 1018, 2},
+    {27262976, -1651910498, 588, 1011, 3},
+    {50331648, -1431655765, 601, 1000, 4},
+    {81788928, -770891565, 625, 985, 5},
+    {123731968, -1965493508, 664, 965, 5},
+    {169869312, -901412889, 723, 943, 6},
+    {213909504, -1600085855, 804, 922, 6},
+    {247463936, -1965493508, 906, 906, 6},
+};
+static RansDecSymbol dsyms_h[M_H] = {
+    {0, 122},  {122, 117}, {239, 102}, {341, 81}, {422, 59}, {481, 39},
+    {520, 23}, {543, 13},  {556, 6},   {562, 3},  {565, 1},  {566, 1},
+    {567, 1},  {568, 1},   {569, 1},   {570, 1},  {571, 1},  {572, 1},
+    {573, 1},  {574, 1},   {575, 1},   {576, 1},  {577, 1},  {578, 1},
+    {579, 3},  {582, 6},   {588, 13},  {601, 24}, {625, 39}, {664, 59},
+    {723, 81}, {804, 102}, {906, 118},
+};
+static uint16_t symbol_h[SCALE] = {
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+    0,  0,  0,  0,  0,  0,  0,  0,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,
+    1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  1,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,
+    2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  2,  3,
+    3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,
+    3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,
+    3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,
+    3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,  3,
+    3,  3,  3,  3,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,
+    4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,
+    4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,  4,
+    4,  4,  4,  4,  4,  4,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,
+    5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,
+    5,  5,  5,  5,  5,  5,  5,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,
+    6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  8,  8,  8,  8,  8,  8,  9,  9,  9,  10, 11, 12, 13, 14,
+    15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 24, 24, 25, 25, 25, 25, 25, 25, 26,
+    26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 26, 27, 27, 27, 27, 27, 27, 27,
+    27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 27, 28, 28,
+    28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28,
+    28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 28, 29,
+    29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29,
+    29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29,
+    29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29, 29,
+    29, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30,
+    30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30,
+    30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30,
+    30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30, 30,
+    30, 30, 30, 30, 30, 30, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
+    31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
+    31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
+    31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
+    31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
+    31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 32, 32, 32, 32, 32, 32,
+    32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
+    32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
+    32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
+    32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
+    32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
+    32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
+};
+static RansEncSymbol esyms_hb_z1[M_HB_Z1] = {
+    {2097152, -1, 1023, 1023, 0},
+    {2097152, -1, 1024, 1023, 0},
+    {2097152, -1, 1025, 1023, 0},
+    {2097152, -1, 1026, 1023, 0},
+    {4194304, -2147483648, 4, 1022, 0},
+    {27262976, -1651910498, 6, 1011, 3},
+    {100663296, -1431655765, 19, 976, 5},
+    {247463936, -1965493508, 67, 906, 6},
+    {427819008, -1600085855, 185, 820, 7},
+    {513802240, -2051066014, 389, 779, 7},
+    {427819008, -1600085855, 634, 820, 7},
+    {247463936, -1965493508, 838, 906, 6},
+    {100663296, -1431655765, 956, 976, 5},
+    {29360128, -1840700269, 1004, 1010, 3},
+    {4194304, -2147483648, 1018, 1022, 0},
+    {2097152, -1, 2043, 1023, 0},
+    {2097152, -1, 2044, 1023, 0},
+    {2097152, -1, 2045, 1023, 0},
+    {2097152, -1, 2046, 1023, 0},
+};
+static RansDecSymbol dsyms_hb_z1[M_HB_Z1] = {
+    {0, 1},     {1, 1},     {2, 1},    {3, 1},     {4, 2},
+    {6, 13},    {19, 48},   {67, 118}, {185, 204}, {389, 245},
+    {634, 204}, {838, 118}, {956, 48}, {1004, 14}, {1018, 2},
+    {1020, 1},  {1021, 1},  {1022, 1}, {1023, 1},
+};
+static uint16_t symbol_hb_z1[SCALE] = {
+    0,  1,  2,  3,  4,  4,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,  5,
+    6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,
+    6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  6,
+    6,  6,  6,  6,  6,  6,  6,  6,  6,  6,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,
+    7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  7,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,  8,
+    8,  8,  8,  8,  8,  8,  8,  8,  8,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,  9,
+    9,  9,  9,  9,  9,  9,  9,  10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
+    10, 10, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11, 11,
+    11, 11, 11, 11, 11, 11, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12,
+    12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 13, 13, 13,
+    13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 14, 14, 15, 16, 17, 18,
+};
+#endif // HAETAE_MODE
+#define H_CUT ((M_H - 1) >> 1)
+/*************************************************
+ * Name:        encode_h
+ *
+ * Description: rANS encode polynomial vector h
+ *
+ * Arguments:   - uint8_t *buf: pointer to output buffer
+ *              - const int32_t *h: pointer to polynomial vector h
+ *
+ * Specification: Implements Algorithm 38, EncodeH.
+ **************************************************/
+uint16_t encode_h(uint8_t *buf, const int32_t *h) {
+  size_t size_encoded;
+  RansState rans;
+  uint8_t *ptr;
+  size_t size_h = HAETAE_N * HAETAE_K;
+  uint32_t tmp;
+  uint8_t s;
+  uint8_t encoding[HAETAE_N * HAETAE_K]; // size_h is a loose upper bound
+  RansEncInit(&rans);
+  ptr = encoding + size_h; // end of encoding buffer
+  for (size_t i = size_h; i > 0; i--) {
+    tmp = h[i - 1];
+    // check for very unlikely values that we do not encode
+    // to make the encoding cheaper :
+    if (H_CUT < tmp && tmp <= H_CUT + OFFSET_H) {
+      return 0;
+    }
+    // map the upper likely part of symbols next to the lower part
+    // to have a dense and compact distribution:
+    tmp = (tmp > (H_CUT + OFFSET_H)) ? tmp - OFFSET_H : tmp;
+    s = (uint8_t)tmp;
+    RansEncPutSymbol(&rans, &ptr, &esyms_h[s]);
+    // check that at least 4 byte remain for memory safety:
+    if (ptr < encoding + 4) {
+      return 0;
+    }
+  }
+  RansEncFlush(&rans, &ptr);
+  size_encoded = encoding + size_h - ptr;
+  memcpy(buf, ptr, size_encoded);
+  return size_encoded;
+}
+/*************************************************
+ * Name:        decode_h
+ *
+ * Description: rANS decode polynomial vector h
+ *
+ * Arguments:   - int32_t *h: pointer to polynomial vector h
+ *              - uint8_t *buf: pointer to output buffer
+ *
+ * Specification: Implements Algorithm 39, DecodeH.
+ **************************************************/
+uint16_t decode_h(int32_t *h, const uint8_t *buf, uint16_t size_in) {
+  size_t size_used;
+  RansState rans;
+  size_t size_h = HAETAE_N * HAETAE_K;
+  uint32_t tmp;
+  uint8_t s;
+  const uint8_t *buf_start = buf;
+  const uint8_t *buf_end = buf + size_in;
+  if (RansDecInit(&rans, (uint8_t **)&buf)) {
+    return 1; // corrupted initial state
+  }
+  for (size_t i = 0; i < size_h; i++) {
+    s = symbol_h[RansDecGet(&rans, SCALE_BITS)];
+    tmp = (uint32_t)s;
+    if (tmp >= M_H) {
+      return 1; // invalid symbol
+    }
+    tmp = (H_CUT < tmp) ? (tmp + OFFSET_H) : tmp;
+    h[i] = tmp;
+    RansDecAdvanceSymbol(&rans, (uint8_t **)&buf, buf_end, &dsyms_h[s],
+                         SCALE_BITS);
+  }
+  if (RansDecVerify(&rans)) {
+    return 1; // final state not correct
+  }
+  size_used = buf - buf_start;
+  if (size_used != size_in) {
+    return 1; // size does not match
+  }
+  return 0;
+}
+/*************************************************
+ * Name:        encode_hb_z1
+ *
+ * Description: rANS encode polynomial vector HighBits(z1)
+ *
+ * Arguments:   - uint8_t *buf: pointer to output buffer
+ *              - const int32_t *hb_z1: pointer to polynomial vector
+ *
+ * Specification: Implements Algorithm 40, EncodeHBz1.
+ **************************************************/
+uint16_t encode_hb_z1(uint8_t *buf, const int32_t *hb_z1) {
+  size_t size_encoded;
+  RansState rans;
+  uint8_t *ptr;
+  size_t size_hb_z1 = HAETAE_N * HAETAE_L;
+  int8_t s;
+  int32_t tmp;
+  uint8_t encoding[HAETAE_N * HAETAE_L]; // size_hb_z1 is a loose upper bound
+  RansEncInit(&rans);
+  ptr = encoding + size_hb_z1; // end of output buffer
+  for (size_t i = size_hb_z1; i > 0; i--) {
+    // from centered to positive representation:
+    tmp = hb_z1[i - 1] + OFFSET_HB_Z1;
+    // check for very unlikely values that we do not encode
+    // to make the encoding cheaper :
+    if (tmp < 0 || M_HB_Z1 <= tmp) {
+      return 0;
+    }
+    s = (uint8_t)tmp;
+    RansEncPutSymbol(&rans, &ptr, &esyms_hb_z1[s]);
+    // check that at least 4 byte remain for memory safety:
+    if (ptr < encoding + 4) {
+      return 0;
+    }
+  }
+  RansEncFlush(&rans, &ptr);
+  size_encoded = encoding + size_hb_z1 - ptr;
+  memcpy(buf, ptr, size_encoded);
+  return size_encoded;
+}
+/*************************************************
+ * Name:        decode_hb_z1
+ *
+ * Description: rANS decode polynomial vector HighBits(z1)
+ *
+ * Arguments:   - int32_t *hb_z1: pointer to polynomial vector HighBits(z1)
+ *              - uint8_t *buf: pointer to output buffer
+ *
+ * Specification: Implements Algorithm 41, DecodeHBz1.
+ **************************************************/
+uint16_t decode_hb_z1(int32_t *hb_z1, const uint8_t *buf, uint16_t size_in) {
+  size_t size_used;
+  RansState rans;
+  size_t size_hb_z1 = HAETAE_N * HAETAE_L;
+  uint32_t tmp;
+  uint8_t s;
+  const uint8_t *buf_start = buf;
+  const uint8_t *buf_end = buf + size_in;
+  if (RansDecInit(&rans, (uint8_t **)&buf)) {
+    return 1; // corrupted initial state
+  }
+  for (size_t i = 0; i < size_hb_z1; i++) {
+    s = symbol_hb_z1[RansDecGet(&rans, SCALE_BITS)];
+    tmp = (uint32_t)s;
+    if (tmp >= M_HB_Z1) {
+      return 1; // invalid symbol
+    }
+    // from positive to centered representation:
+    hb_z1[i] = tmp - OFFSET_HB_Z1;
+    RansDecAdvanceSymbol(&rans, (uint8_t **)&buf, buf_end, &dsyms_hb_z1[s],
+                         SCALE_BITS);
+  }
+  if (RansDecVerify(&rans)) {
+    return 1; // final state not correct
+  }
+  size_used = buf - buf_start;
+  if (size_used != size_in) {
+    return 1; // size does not match
+  }
+  return 0;
+}