-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathmce431.h
11 lines (11 loc) · 37 KB
/
mce431.h
1
2
3
4
5
6
7
8
9
10
11
#ifndef SMALLSECRETLWE_DECODING_FILE_H
#define SMALLSECRETLWE_DECODING_FILE_H
#include <cstdint>
constexpr uint64_t n = 431;
constexpr uint64_t k = 345;
constexpr uint64_t seed = 345;
constexpr uint64_t w = 10;
constexpr const char *s = "10101011111100110000100010000101110000001110111001011101111001000000001100000100000101";
constexpr const char *h = "1010000011001110010001011000100110010010001100111111100111100001100110100100011011100101001101010110101001000100110001100000100001000011010101101001011110110000101011010001011011110110110010110100111111011011101110110010010010101001010000111111101011011100001110000010110000001011111000000011010011110111101101111100011101000100001100100010010110010100010100101101111100110111101100110110110100111011100001001100110011110111111011100100111010010011011010100001011000000110111000000100111011010100111000110100000110000000000100010010001110000111100111111110000110100011001010001110001001000110001110110111001101111000100100010001001001100000010110000011001011000001100000110111011000011100001111001101000101111010000010111100110010001001101000010111010110000111000001111011011111000001001100110100000110100101000011101110011010111110001000101111100101110100010011011010101000100010111100111001111100000011101100111000001100101010101010100011111001101101001001110000001111000101110010000101101011100000101101100001100010011000100111110001010101110011010010111000010001011001111101111110101000100000011100010010010100010010111110111101100110101101001011100011010000111110101010110001101010100000110000111101000000010100011111011011111101110000000001001110100101110110001010001000110110000000110011100111001010101100100110110000111100011010011011110100011110100111101101010010001011011000000011010110100001000001000101010011110100010101011111010100000110100010110110001010101001000010110010001010010110111001001110111100110111001100110001110100001111111101101001110000011100101101111011010111101101101111010010000010100111010110010000110011100110100000101100001110010101001111011010101000100011001110111111100100111001001111000101111010001010111001110011011000001110001010001100001001111101001001111111000111111011111000011110110100000010111010111010110111101100110111010000000100110100000010100000110111110001110110010000011100110101001000011101100110100100000100011001110001111110000000100111000101110010111011101001110100001100000001000010000001000000011010010100011000000011101110011010100110000011111011101001001111001011010111001100100110100111101110011100001111100011100111000011011100010011000001011110011001010011111010110010100110010110010111111100010100001111011000100111010010110110011110100101101110111011100101101101110000000100101000110011001010000100101100011011001011011010101110010000100000010111111011110110000100100000111100010110101111001001111011001000111111010100000000100010100001000100010110111100011011000111111101001001011101001101010000110101011011001010001101011110111011111111101110111101111111010001110100000100111011101100010100100011011010010100000100011110010001000101011100010010100011000000100111001001010101110110111101111010011111000001000110111000010100101000101111001100110111011100011101000110111100101111001010111100101010010101100011110101011010011100101000101101110110011011001110101101011101100101111011001100011111101001111101101111100001010100011000001000100111011100000111000101110001111001011010001000111010111101001110001011010110010111111011101100010011001001011100100111101010011010011011000100110001101111101100011001011010000101000011010011110010110011100110100100110010111100111111001110110000100010100100101011111101001111000000100100101001100000011100100001000001111101111010010100100011101101011011101010001111000000111100110000010101100010010011000100001000001100010100111100100000001110001101000001101110111100000010101001111111100101101010010010100011111000010010010111011001100001100111100000111011010101111100111100010000110010111101010100000000001011011010110000111110110011100111000010001100010010010100110000010101101001110100111010100110010011100101100110010010010001000101110000100000011111100011110001111000100010001000000000001010110001000011001001010101000000101011000010110011110011100010101011000001011111011110100010110001111010100010111000010001000001100110111011100111100000101001110100011111001000000001100011110001000100011001101001001111111101111110111001101011001100011000100001100000111111100001101101110011101011000011001000100001011010100100010101100000110100001110110111000100010011001000011110101010000001010001001110011001010000100111100001001001000010000010010100010110100101001000011100100011100100011110100110000000011111011011100100110110101011011000100100000010011010100010111000001001001111100111001010010011110000011110110011100100001001110100101100111001000100101110001000000110111101000101011011100100001101001011110110011011001110100101000010010110000100001101000000001011011001010011101101010100000101000001100000000010101000010001100011000101110001000001010000000110000101000001100000010010000101010010111101011010011010100110001010101000001001010001000101010110111011011110000011001010111011110010111111010101100101011001001110110000111011100001110011011001011000101110100111001110110011101101100001000010001001101101110101111110100001011110010011111011001101111001011001110110010001011101101110000100101000100010000110010110000111010100100110010101001101100011101100000001000001001101101110100010001111101001011011100100001111110111011101110001001101111010011011001111011111001100001111010100001011010101011011011111000011101111011101101111011110001010010100110011000001110010000000001000111001100111101100100100110100101110000100000110010100001000100100110110110100001010011100011111000010110010010010000110100111001110110010001100100101100010001011011110111010111011011010010110010101111010000110000101001100000011000110111010111010000111110100000011001011010011001101011011101111010101100010011011001111100001101000001110100000101011101011110101111110010010001001011111011010100100001100010011101100000011011000110010110000010010011111001111100111111010010000111000101111010110100101111111100000100111111000011100001000001010000101000110111010011100100101000011010001100101101010010000100000010011001100100001111001111001010111011100101011101011011101010010101101000010111010001101101001110001001001000011110000100001110110010010010010001100010010011010001000110101011101101110010100000111101001000110111111101001101100000101011110101110110100010100101100010010111101000011110000111010010010011110010001011110010000100011010111111101011001001110101001110101100100111001011110000010101101000101000101101000111001010010100100100011110010010010100111001110001101100100000110101111101001101010001000100011111010000001110000111110000011001100110111100111001010100110100110110110011101101111010010001110001001101001100000110001111100010001000010100111000111110110111101010101110001011110011110001010000101100001011110001010001011001101011111111001011100011100101000011001110011101010100111010110110110100100000000101111010100100100001111110101100010010111001110000001101110110111010100100001111001101101101001001100110000110011101011011111100101000011000000011111001011000101101101000010101011010000000001010011101011001101000010010101110101110011100110011011101010100000110000011110100100110111101001011000111100000110111110011110000001101111011101001011000010100101110010111111001001011000010101001100010000010000001100001101011101100010011000111101000010110001100101011111101010000011011111011100111110101000100010001101001100010001111111000001011110111110100010110110011001011100011100000111000011001011101010100011001000101001011101100101010010000100001010010000110100101111011111000110111110111101100000000100100010101100111100101100110010010110110101110001001001101001111111011101011111011111110100100100111111110110101000011101010100110110110011100110011010010000010010101111110000000100001000001011100101101101001111110011110010011000100111111100111101110100001100001110111111111011111110000101100110001110001000011111110101110010110010011101100110101000111010001001111111100001100000110011011010000010011001111101011010010000010001011010100111111111100010100110000000010001111100010110011100110111011110011101011000111100001101011111101111111100110101001110001011000011010011010101111100100001011101101001101111110101101101100011010110010001110111110111111111110001010111110110000000001101000111101001001000001010011110001010010111111011100001010001100000111111110010101001111111110000100011110110101001010000001110000100111000001101001111110111011000010011000001110000101010001110010101001111011101001010101100000101001101011001011010111001100001010111000001100011100101001110101010111101111000000010110001100001010000100001111110100011010100100000010000000001000011010111111111100000011110100110100011000111101010011110101001011010010111100001011110101101100001010101111010011110001001101100010011001000110111100000100000001001001001010111101000001101101000111110000000100010010111110100100001110111100110001100111011101101000101100011100011011101000010011011011001000001110000101100111000010111010111011110101101110111001001010011010001000111011101010011000100011000111001101001110100000000111111100101101111011011100110110010111101110001001010111000101111000010001111011001000000110001001101111000101111110010100110000000011001100111011100000010000111111101010110101001111010010000101111011000000100100010011100111000011110100000010001100111111101001001001001011001011110101101010001110011011111001110111010011001110010100111011111011010110001010111110101011110001011111111010010001010010100111010010100000110000010111100100000010010111010010000001110100100110001110000011010100000110000011011010110110000010100000011000011100001001111010111001111100001001111010111011010101101100011000111100010100001010101010000010010100101000111101101000000100110010000011110100101010010110111011110001110010010001110110011100010111101100000000001100110110110100101011011101000101101000011101011011100100001011111000001111101010001110000010111100010100001101100111000001001101101101011111000111101010001100011110101111011111001010001110001111100000001111111111010010110010011110000011100000000111100111011000001001100010000110101111111001011010110000010110000001111101110110010111000010101011111010101110100000011101110000000011111001010000110011100101101000101111010010111010100000110010001010110111101111011101110111010001001010010010101011000010100001110011110010010010001001111101010010101101000011010011111011100001010101100110011111101001100000101111001101000111001000000001110111101001001100011101011100010000111100111100010011011101001100011111100101000010110011111110000000011011010110010110100011101111011111010000001100101010010010111100100110101101000101110111010001011000000101011010101010110000110000101001110000111111101101100010001111101001100000101100111001110110111100000010010100010111001011011011000100111001111011000100011011101110000011000011111111100100110001001011101000001001111011101110011110010010111001000000100000011000011100010111101011111000010010001111010101001001010001000000010110110110001010111011001111110000011000000110111001011010101010011000010101001110010100100000010101001101000110110111101100100001101111110011001010110001101101001000001111011000110010011001100000000100111011110001010111001110001000001111001111011001100111111000001001100110111000100111000100001000001101010010001001101100001001110011100010010110000010000100110001101001000011011001101110010111010110010110011001110100100000110000001101010000011010100110101011001110111110001100100010011110011001100011100110101100110000100011101101101000100011101000110101000111011010110110110010000001100101110111010110011100101010001000111110010000011100111100011110110001000110111100001110010010111111100001001011101000101001110111110111001010110101010001001011011100010010000100010000110011110011000000100111011100100100011000100001001101111001100000100101001001110110001110010110001101000000001010010001000000000010010100100001000011111111001010101100001110110001111011000000101001010110110101101101101100100010001001001000101101011111010000100000110011111011101010010111101001001111000111011011100011011000011100101111001010010010111100101001101010011010000010011001100011101101001101001010011011110101011010000001100001001111101011101101111100100100111101110001010000001110101100001100111110111110100100000111111100011010100011010010110101110100000001111100101101000101110110110100101100011011100110101101010000010101111011100100011110001010011000011000001000100110100110100111110100011011000001101110101100001001000101111010000111010010101011010101001010100011011011110001101111111101101000001011100011010011010011101110110110100100101010101101011111001010001001100101000001001111101110000100010010001111111010111001011111110001101010000100100100110001100110110100010010110110110010011010100101001101001000010011100011101100010011011110001011000001100001011110110010001010001010111000100001110110111101001110011100111001110111111100111111010001011111010000000111110101101111000001110010100001101010011000101101111000100011010011011000111011000101100110001111010100110101100111100001000111011100110111000001101011010110110000101101110000111001000110010010010000001100110100111010101001110010011001101010000100001110101111010011000001111010101100110001100101011100111110110101101001010011100100110100001101001101011000101010100100001011000101001001010101010010111110000100100111111111110000011000011011000101110010111001011111111100000100111101001100001000111110110100100001101110101110001000100101000010010101110101001010001100111000000111011100101010001110001111110111011100110001110001111000111111101011111111001011010100100101010111101111000101000100010110101100010101011001110010000000001100000011101101111000000100110010101100110110101010100000011101101101111111100011000100101100101001111110100011000010000110110110110001010011101100100011011111100001110111010000110011110010011011010100101101101111111100011100110000001100111110001111011111111110000111010110101010010111111001100010000000000001111010001011100001110111111100000011000000100010000111111110101111011001010000111010000101011101010100010110101011001110111100001011111110000000101110001101011000111000111101111000101011111101111111101101111101010110010110010110011101111100110111001011001000111101001010000011111010001110010110001101110100011111011010001100001001100100010010010110011100000010000111010110111010000011100000000011100010000101001011011101000000111001101100101011111001011011111111000110011100000101101100101100101001111111111000111111001101100000101110011110010100000011110110000011001001000110010011000010110010001101100110010101001001000010011110110110010100001000110001100101110010110011001111100010111100111110111101110100011110101001101010101100110010001011010111101111000010110101000000000001101100011100100001001110101010010001010100011000000110000011010101000010101001001001110001000010011110010000011010101100011010111101000010101011100001111011010010000111010001011111011110101000101101000100111100100011110010000110111001101000001101111101010111110110100001010110010111000000100000110010011000100100011001000111011110010100111001110100110001011011101011111111111110010011001000110110010010101010010001100101110010001101001101011110101010111010110010001101000000011110010101011010010100001001100011011010100100111010011110001101010001100111110011010101100110100110100011111110011111011010100011100111100111110100010100011000010111000110000111010000101001000001011101011100101010011001011111100111100101110101010011011010000110110001000110111111100010010101010101000010000011110100110110100011110100111010110110010011111110110100011010011100011010010000111101010010100111011100111100111101111111101010001110001010011100100110011010011101000011101100111100101100010011001001101011101011101011011110111111001011110110010011110011000111101011011001100101111100011001100101000011111101101100110100010010010000011101100001100000001111011010010101000000011110000010011011010000110010111001010000101000000100000011001010111000001001001100100010010100001001101110110000111110000110000110111011010110000100111010110110011000000000010111101111000110101101000011000010110110111101010000001000100101100001100000111011111000111100110110000001110001101101111000010100001011100111000111111110011110011101000110011000111010110101100000001110010100001011011110010010011100001101001101000000111100111100011111101101100111010110110001111100011001001110111100110100100111000100011101010011011100000010110011000001110110010101100100101101000010100100010111000101100100001011011110001001011011010100011111100001111001101100001101101111011101001001110011010001101010110000000101111001110011000101101111001000010010110001100100100010010110011100111110010111111001110111000000010100011111110101101010101001110111111110000011010001001010100011000001111000101001000000000111000110000101000001110001000110011110101100011010110000111011101111110011110011000000001100110011101100001000001011101010011001111100011111001111101100100101001011011110000010101000111010011111010001010000100100001101001101000011001110110101001111001011011101110110100000111001101110101010110111101001101111100101100000000111110101100111000010000110100011100100101110100110100101000001001110000100100111000010100001000010011110110011001010001011010110011000101100101001001101000101011001110100111100100110001101010001010001111101101111001110010110101000111101000000110100001111000110011110011011001100011110011011111111111011101111000100100010110000001010111011011100001001101011110000101111011010001001101011001101000111111001010000010111101101101101101000010011011000111001111011100010100011110000101100001010000011001101110111010110110011011000011111101011011010000100001000001010100100000011000110010001010100011111010111100111010001111011100110010000111010000010110100100111000101011011011011001011111011010011011100010011111000000000111100000000111100101110111111111010100101110001010101000010010011100000010100100111001100111010110011101000111001101100101001000000110001000000110010001100001001000010001011101111101000000101011110001110100000100110001101010001100111000101110100100001001011111110100010001100010111001011111000000100000011100101110110011001100110010100000111011100001001101011010000010011100101000011111110000100101100011010001001010101111111001001101101100100000100101010011010111001110000110000001100110111110110101101000111111101100011110001110011000010001110101000111011101001100111011110100100111001000100001001111110010110111010110001001101010000010000111011110010011001100011101011100101011011001011111011101010110000100110100000010100100111001111110000111000011101011110011010010001110101011010101100010011101101010011001100010111110000110010011011100010100011101110011001111001100100110010011001101010001111000010001010110000100000110001001001010101101111101000111001101011100001101111110010011010011011110110011111011001100110000110000000010101001000000010010111001000110001111000110100101110001010000111001101100000111110100010110001010110100110100110010100111100011101101001001010010110100010100101011000110111111101010110100110110101000111110011101111011010101010110010011001100011101011001100110000000001110010101011110011001000101101011110100001010110101101100100111110110101101001110001101111110110011111000000010000010010110101001011010001100110111001101011100010111010011011110101000001110000111011100010101000001001101001001010111000010010110101001111011100110000100111111011011111110110011110101001111010000110100010001101010001011000111100111000010000110111111000001010010000010001001100111111010000010001001101100011101111101100000001101110111110010010100010111010011100000010011100000011000100000110000110010100110000101110110100001010011011000101110011111100011110000101011001011011011100100111010100000110100111010100000110010100111100000100110111000011011101110111001110011100100000100001111100111110101100011111001011111010101011010011100111110011001010011110010000100011110001100101111010100110010100111110000100010010101001000110111011101010000101110100011101010110100001100001011001010001010011111100100110110100001100011011000101100111111011000011101000110111000101111000100001111100110111000111010111111001001001000010010000000100101011000110100100010011001001100011011110011110100101001111011001010111101100000001100101101111110111011000100010011101111101001011111101110010011110001101110010100001110010101100101110001011001011100000111010100101001110001100010011001101110100111001011011101110101001100011110010000111010011001111001110111011001010110001111110100011101000010100111110011000000101111111001110100001100101000000110010010111010110111100101110110100000010011010010001000110110000010000111100011111100010001001110011110110111011110010110100010000101001010100111001100111001010111001010000100111111011110011011001010101011111111111000110010111011001010001001110010000001001000001101110001001101001110000001001010000011011110000101001001111010010000011011011100100101010110001100110001111001110110000101101010110100011001101010111101001000110000001110001110001001101001010001001011101001011110011100110101101111100001000000000101101100110001111100000111111011010010001010111010110101101001111111001010100101010110011111011110010001101101111111111011000011000010100000001011111000001001100101111010111010110011011101111010101100101000001101100101100001011100100001100011000001100010101110000011001010111101111010000000010001000110000001111101101110101001011000000111001101010000001110100001000000101111001000001100011010100101100011010010110101011011110000100101000010101111010110111011000110010100111011110010111100101011011011110010101110011101001101011000011100011110011110111101110111000100101010110011111011000101101010111101010010110101011001100100010010110000111010100111001010111001011001110111100100000100111101011001011000110011000000011011001001111001010000111001100101000010010011000100111010100011111111000111000111111101000000010000111111101101100001100010101001111000000100111111010001001010100011111001100001100110000101100101100001100001111100111001001101011111000010000110011001010111110101010011010110000111111100001100110001001110110011011000011010110111111110100010010010000101000110000001100101011111000110000110101011111001001000100001110101111001010001110000010110110110010111011000101111110111110111000101011111101110101101001101110001010110110010000001110000100110111001011101001111100101011111011001011000111110000000110011011000000110000001101100111010101110011111101101110100100101110010111010011101111101011000010110100111001000011110100100000000011101111100100000111100110001011000011101011001111101111100000000100110011000111110001100001101011010010111110001011101110101000100001011001101001010111010010001000111010101001010101011001101011010001100011100001001111000000000011010101100110111110111111000010010101100011100001010010110011000101000101111011011101110011001111001000000100110101001101100100010100001110010101000011100110010100110100111101100111101011100010101101001101101110100110001011110111000011100101000011010110110100000011000000000110111111110111110101101000111001011110001000101000111010011010101110100110100100110011101110101111011000111101010110100101111100101101010100000000011111100101111010010001011110110011001010010110101000000111000101110100100100001001011110000101100011001110100010111011101010111011011101100110110010000111111001000100111110101010100000110000011000010100100000011010110000010010110010111111011110100000011110111001001100011011000111010010011111111011000011000110110010011001110110111011010001111011011100111100001010111100011111110011101100010000110100101010001010101001011001000001100100000111001010101001011111000101001111001100101011100110100111101001100100000011000001101001000110110000011010101100011001100001111001000100101001011010010111001111101110001001110101001100010111100000111110110001010101011000001000001100000010101110011001011000011101001110001101000110110001110010100001011010110111101110010111110001101110001000011000111011010101010011100001111110100010101111110001111011110011101111100010011100110111110110011111110111001010101001100100111100001110011111101010010110001101000101111101100101100001110110010000010100111001100011111000000101111010110011110001000100000111010111100100100001110010010111000111100110111111011101111111011101011010111100111010010100101101100011000110011010011110000010101001111001010101001011001001101010110101010110110111110010111000001000101001110110011111111100000000001011101001001001111100111111100000000110111000011011101111010101111011101000110100011110111110101010111010110011001101111001101011001001101011111100000000000111110011100001111010010111001100111001000001100010110001011011001011000001110111011101100010111010011101101010111010011110001010011011111110111001001100110011001010011001111000100010001011010000001010011110110011011011001000010011110011000010111000111100100110110111010111100100111100001000011010101000101101011010101110000101100000000000111101001111010011000101100010101110000001100000111111000011001110001001100011000111110100110110010100101011100100000011100010010001110011011011010010010100001011011011010101000110110011000011111011101001000011011000011100100110011110001100101110110001100001101111010010001110001011110010000000101100100001101000011101101100000100101001101011111110000100101000001011011001111100111001000101001101000110001011011001001001000001001001101100011001110011010100110000000001001110111011000101110100101011011100010100110100111101000111010010010101111011110101010101011110000011110110110110000000011000001000100000101010010101011001000001001001001110011010000001100101111100001100010110110001000111011001101100100010101101101101110101101001000101111111110010010101110110101100010110001010011101101110001110111010100001000001111000011100001110110010100010110111101110101110001010010101011001010010110111101100001010010101010001000001001110000010100110100000100001000100110111011110110000000111111101000000111001011000100101111000001111111100100111110110111011010100000100000110101001110010001101001000011100101010001101000001010000100011100100100001000011011011011111011110001010110010111110111111101101010111101011011111101001111010100100010000011000101101100001110000001000000011111010001101110111000001001111101111000101001111000100100011000100110100100010001111000110110000000001101100010010100110111001101101111111000001000001011101011001011100001011001101101101011001111110010000110111101001111001000011001111111000101110000001101011100010010111001011101000101111000001000001001001101111001100110001000000010001010011010011100001111111010001101011101110110101110101111110010000110110011000101011111010011011100111011001011001000010000011000000011001101000110000100100000110010110000110101001100010011000011101100010111011001001110111101010101110000110011010101000010010000001010111010100000101101110100000000001110100010101000000110100101100011111101110001111101010100010001101010001011011110101101100010110010111010110101110100011001100001000001101011011110010010110011110011011110010010111010011000001010001110000000000001000010101011001110000111111010111011011001100100110001100111011010100100000010001001000111011101011000001000000010010010100010000010111110110001011010100100101010100000111000011101110011001101110100110011000110000000111101101010111101111010101001111010111001010100101000110111011101101110010000001111111011111111000110111011100110100100111110110100011010001011000111110111010101110010111010000010100011000100101011111111111101111010010111100011001011110010111101110000011110101010111100011101000101110010100100100100101100011010000001010011111110111110001101100110001010101011011101110011110011100001001100011100111001100011010000001010110001110000101001110000111101001000001001000011010011111000001000111011111100100010010111110101001000100100111000010011100010010101111111100110111100101001010111100000001010110011010000110110100000001101101110110000001010000011111010100010101110101000111011011010010101010101001100100001111001001100010100110111110111110111100001010100011000110011111101101011110010111011000011100100100001111011010110010000100101100001000110111100101001100100110111001010101110100101000101101011101010001000000110000010000110101011100100011110100000011100111100000001111000001000101110111101010100111110010101001100110001000000001110111110001100110110111010110110001110000011111000110110111000111100000110111111010100011000000110010000000011100111010001110000111010010001011001100110000100100011101101111101000001101011101100010101111111100100001010101000111011011000111000101011011001101001000001010010110101010101010001111011001101001000011111101100010110011100100100001010011101000010111110011100100111001010100011111010111101011001011101110010000001000011100110110101000001111000110101110110101111001100101001000000000010010101010111011000010110111110101110010100010010011001110110000110110100100110001101000111111011101101110001010010000000110101111101111001110011001000101010100001101010001010000101001111101110000100111110100000011011001110101100011100010110110101000011001111101111000010001010000000111000111011101000101011110000101000101110001101100101100110111111001001100001111100010001010011011100111111001100000101010101101110011110011010111110111110000011000011011011000011000010111010010011000011111101101001110010111011100001010110110101000100100101001011100100011101101101011100110110110110100011110011011000111100010101011000111011000101111110111000110001001101011000111011001011001010110010100010101110100010101001110011001011011001101111000100110000101000101100010001001101001101000010110010100111011011111101110110011100111101101101100100100111001111101110111010011101000011001001101001010100011111010110011000111101101001000000001101001010110001100110001110000100101001010011101100000000101100000110011111101001100011011000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000001";
constexpr const char *correct_e_str="00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000001000000000000010000010000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000100000000000000000000000000000000000000000000000000000000010000000000000000010000000000000000000000000000000000000000000000000000000000010";
#endif //SMALLSECRETLWE_DECODING_FILE_H