path: root/src/HRAa_1536_512.c

/*
  FILE....: HRAa_1536_512.c

  Static arrays for LDPC codec HRAa_1536_512, generated by ldpc_gen_c_h_file.m.
*/

#include "HRAa_1536_512.h"

#include <stdint.h>

const uint16_t HRAa_1536_512_H_rows[] = {
    122,  98,   31,   39,   21,   33,   91,   90,   118,  111,  126,  34,
    5,    120,  54,   2,    95,   67,   15,   68,   114,  10,   100,  53,
    104,  29,   44,   76,   59,   112,  73,   77,   71,   61,   69,   128,
    106,  50,   32,   6,    85,   102,  37,   99,   57,   75,   80,   88,
    41,   27,   127,  16,   40,   119,  46,   110,  97,   79,   13,   45,
    55,   62,   103,  92,   116,  7,    66,   83,   89,   96,   82,   58,
    105,  78,   4,    47,   107,  52,   28,   20,   24,   51,   108,  36,
    63,   30,   48,   26,   109,  60,   87,   49,   86,   25,   42,   123,
    93,   18,   101,  43,   14,   72,   124,  35,   115,  81,   70,   22,
    125,  64,   1,    113,  3,    17,   84,   74,   23,   94,   38,   12,
    8,    65,   19,   56,   121,  9,    11,   117,  45,   115,  46,   23,
    41,   17,   61,   112,  36,   99,   31,   107,  19,   37,   7,    11,
    6,    47,   89,   4,    57,   20,   95,   55,   87,   82,   106,  88,
    90,   85,   125,  42,   120,  18,   21,   34,   100,  103,  113,  5,
    53,   108,  83,   67,   92,   109,  28,   76,   14,   43,   58,   30,
    73,   33,   16,   35,   101,  22,   110,  94,   2,    91,   65,   98,
    66,   51,   121,  84,   64,   118,  126,  27,   26,   111,  68,   69,
    15,   124,  75,   123,  52,   10,   79,   40,   119,  9,    81,   102,
    104,  13,   80,   127,  59,   72,   50,   48,   128,  56,   105,  117,
    49,   54,   63,   60,   32,   71,   1,    114,  74,   70,   44,   86,
    12,   8,    78,   29,   24,   96,   3,    93,   116,  62,   77,   38,
    25,   39,   122,  97,   76,   37,   24,   104,  4,    46,   86,   44,
    68,   47,   62,   49,   8,    79,   14,   119,  101,  63,   12,   53,
    112,  78,   39,   103,  64,   100,  34,   108,  116,  23,   81,   121,
    35,   124,  9,    127,  88,   125,  74,   94,   21,   10,   83,   2,
    109,  80,   115,  122,  65,   1,    69,   71,   92,   89,   117,  75,
    60,   59,   110,  43,   27,   118,  82,   38,   16,   26,   42,   55,
    48,   70,   97,   90,   105,  33,   123,  120,  29,   126,  30,   73,
    114,  57,   15,   72,   54,   96,   99,   107,  11,   45,   98,   22,
    95,   41,   18,   13,   52,   87,   25,   17,   7,    58,   67,   32,
    51,   50,   128,  61,   66,   113,  31,   106,  5,    36,   20,   19,
    28,   6,    85,   91,   84,   56,   40,   111,  93,   77,   3,    102,
    67,   63,   11,   23,   75,   55,   24,   38,   90,   17,   34,   5,
    121,  103,  79,   40,   14,   76,   15,   88,   82,   100,  57,   102,
    50,   84,   56,   114,  9,    119,  39,   86,   41,   89,   52,   13,
    120,  25,   72,   33,   80,   3,    60,   109,  65,   28,   111,  16,
    37,   69,   12,   94,   42,   105,  44,   106,  70,   68,   19,   74,
    78,   124,  46,   43,   26,   32,   117,  128,  126,  93,   91,   116,
    4,    10,   18,   64,   104,  81,   35,   115,  98,   48,   22,   125,
    95,   123,  127,  96,   27,   107,  110,  58,   53,   62,   51,   97,
    92,   54,   20,   21,   101,  30,   77,   2,    83,   87,   71,   108,
    36,   61,   73,   8,    29,   113,  112,  59,   118,  45,   7,    6,
    66,   85,   122,  47,   99,   49,   31,   1,    223,  249,  170,  159,
    214,  134,  239,  206,  146,  132,  133,  207,  250,  208,  144,  213,
    156,  198,  192,  211,  143,  174,  199,  254,  184,  131,  230,  161,
    237,  158,  173,  204,  187,  171,  155,  164,  137,  183,  178,  151,
    166,  180,  135,  200,  172,  176,  189,  169,  162,  136,  228,  252,
    150,  212,  210,  231,  195,  154,  129,  147,  227,  148,  205,  255,
    216,  233,  248,  246,  219,  236,  157,  197,  225,  240,  139,  256,
    241,  238,  188,  152,  209,  167,  163,  145,  218,  168,  242,  165,
    235,  153,  201,  160,  182,  138,  191,  245,  179,  140,  203,  185,
    229,  181,  220,  175,  202,  190,  253,  234,  215,  149,  193,  251,
    224,  221,  196,  177,  243,  232,  247,  217,  141,  186,  142,  244,
    222,  194,  226,  130,  232,  185,  178,  129,  139,  244,  132,  164,
    230,  191,  209,  242,  168,  228,  249,  158,  248,  235,  206,  238,
    218,  159,  253,  196,  135,  147,  177,  225,  160,  137,  161,  212,
    192,  175,  207,  222,  138,  134,  234,  136,  156,  152,  213,  226,
    229,  151,  141,  201,  256,  181,  241,  243,  224,  180,  236,  194,
    240,  182,  211,  255,  189,  208,  131,  176,  202,  155,  231,  146,
    190,  237,  203,  183,  216,  133,  148,  144,  245,  174,  210,  252,
    145,  142,  198,  187,  221,  153,  163,  223,  130,  162,  247,  140,
    154,  184,  193,  215,  143,  199,  166,  220,  167,  219,  246,  204,
    250,  173,  205,  254,  186,  149,  188,  172,  169,  150,  227,  233,
    195,  251,  214,  217,  165,  170,  179,  157,  171,  197,  239,  200,
    230,  130,  218,  131,  154,  223,  142,  155,  252,  174,  182,  156,
    196,  229,  239,  192,  147,  198,  235,  209,  162,  199,  163,  227,
    237,  148,  228,  160,  238,  240,  190,  241,  250,  211,  242,  184,
    181,  251,  245,  187,  170,  194,  246,  212,  217,  138,  201,  193,
    256,  224,  244,  243,  165,  144,  175,  180,  176,  185,  216,  141,
    197,  231,  220,  204,  207,  221,  189,  150,  214,  134,  195,  234,
    149,  186,  249,  140,  255,  168,  178,  133,  202,  145,  222,  236,
    164,  188,  166,  208,  232,  132,  219,  159,  177,  139,  205,  226,
    248,  254,  136,  161,  233,  135,  153,  171,  169,  146,  129,  167,
    206,  215,  183,  225,  143,  137,  191,  200,  179,  213,  157,  152,
    173,  151,  247,  253,  210,  158,  203,  172,  201,  162,  239,  190,
    256,  229,  213,  135,  253,  178,  174,  193,  161,  238,  186,  141,
    143,  205,  181,  129,  132,  180,  247,  255,  199,  241,  177,  251,
    234,  212,  169,  200,  210,  133,  249,  163,  148,  153,  221,  164,
    195,  152,  146,  232,  156,  243,  252,  142,  237,  219,  134,  197,
    139,  137,  198,  218,  240,  155,  159,  160,  209,  228,  154,  168,
    176,  225,  184,  194,  149,  188,  196,  157,  246,  208,  151,  236,
    140,  130,  231,  226,  254,  217,  235,  165,  203,  182,  215,  189,
    175,  136,  147,  185,  216,  242,  245,  172,  158,  173,  192,  211,
    144,  171,  170,  214,  223,  207,  191,  222,  220,  179,  150,  244,
    224,  230,  145,  183,  206,  202,  250,  204,  167,  227,  187,  166,
    248,  138,  131,  233,  332,  283,  261,  276,  293,  336,  357,  369,
    281,  317,  278,  356,  352,  367,  294,  350,  384,  327,  376,  290,
    346,  361,  292,  351,  354,  363,  326,  291,  340,  273,  345,  306,
    271,  341,  270,  307,  328,  360,  304,  362,  382,  322,  257,  297,
    320,  337,  266,  259,  377,  368,  298,  310,  325,  371,  272,  324,
    343,  374,  353,  370,  364,  316,  309,  269,  286,  277,  314,  358,
    268,  313,  315,  311,  295,  267,  381,  344,  289,  260,  366,  258,
    305,  342,  301,  308,  284,  331,  338,  380,  318,  329,  339,  264,
    312,  303,  348,  335,  359,  330,  285,  263,  279,  274,  373,  265,
    347,  333,  287,  323,  375,  355,  288,  365,  262,  379,  334,  378,
    349,  383,  282,  296,  300,  321,  299,  275,  302,  280,  319,  372,
    317,  372,  279,  308,  343,  334,  288,  341,  349,  318,  331,  329,
    323,  371,  296,  298,  365,  327,  310,  344,  283,  321,  291,  325,
    324,  360,  282,  294,  352,  377,  374,  342,  364,  263,  275,  267,
    326,  335,  328,  289,  305,  280,  269,  314,  367,  300,  260,  333,
    322,  271,  357,  306,  290,  358,  366,  303,  272,  302,  362,  353,
    338,  383,  266,  264,  373,  359,  348,  312,  299,  286,  380,  268,
    315,  285,  258,  363,  320,  287,  281,  311,  370,  313,  339,  273,
    284,  292,  355,  345,  346,  384,  257,  295,  336,  277,  361,  261,
    270,  369,  368,  337,  351,  378,  301,  316,  259,  262,  297,  276,
    356,  293,  304,  347,  381,  330,  340,  379,  350,  332,  375,  382,
    278,  307,  274,  309,  319,  265,  376,  354,  346,  320,  258,  341,
    362,  360,  273,  342,  348,  324,  302,  340,  349,  292,  343,  370,
    378,  295,  271,  327,  286,  371,  304,  306,  299,  345,  344,  326,
    315,  357,  328,  262,  266,  329,  284,  309,  365,  332,  333,  338,
    274,  303,  280,  380,  358,  363,  323,  322,  259,  294,  379,  285,
    316,  278,  359,  310,  374,  334,  356,  261,  377,  347,  330,  355,
    290,  331,  353,  314,  257,  267,  373,  291,  313,  375,  366,  382,
    350,  260,  272,  335,  301,  275,  270,  300,  321,  311,  383,  317,
    305,  384,  319,  337,  279,  297,  287,  277,  325,  367,  376,  308,
    364,  264,  339,  312,  265,  351,  283,  268,  298,  288,  318,  368,
    361,  307,  372,  296,  293,  289,  369,  269,  276,  263,  336,  381,
    281,  352,  282,  354,  362,  360,  308,  384,  283,  296,  379,  280,
    293,  294,  376,  358,  285,  319,  348,  302,  315,  304,  276,  338,
    353,  290,  367,  346,  364,  306,  295,  260,  322,  378,  366,  363,
    288,  361,  371,  281,  334,  356,  350,  347,  375,  365,  314,  351,
    340,  257,  266,  345,  333,  373,  268,  277,  344,  359,  341,  343,
    337,  352,  263,  349,  271,  381,  297,  377,  325,  339,  328,  267,
    279,  372,  354,  287,  313,  316,  321,  258,  305,  300,  374,  330,
    331,  259,  307,  261,  289,  335,  317,  324,  278,  368,  292,  299,
    327,  320,  286,  291,  332,  272,  262,  275,  355,  265,  270,  383,
    318,  309,  269,  274,  357,  298,  342,  282,  264,  329,  310,  284,
    301,  336,  369,  303,  311,  323,  370,  326,  273,  380,  382,  312,
    426,  449,  487,  455,  404,  413,  459,  469,  493,  508,  485,  442,
    468,  439,  483,  443,  480,  418,  507,  423,  407,  474,  409,  425,
    475,  444,  388,  496,  390,  490,  503,  416,  417,  509,  448,  479,
    415,  501,  451,  471,  432,  427,  395,  410,  400,  408,  476,  441,
    424,  391,  466,  482,  478,  454,  481,  394,  411,  446,  484,  431,
    402,  491,  460,  494,  433,  440,  500,  450,  405,  430,  412,  387,
    414,  492,  488,  436,  467,  461,  399,  472,  506,  396,  486,  505,
    429,  495,  386,  438,  464,  456,  445,  462,  447,  428,  512,  385,
    406,  463,  465,  422,  502,  437,  434,  435,  389,  489,  421,  497,
    457,  499,  401,  393,  510,  392,  403,  453,  398,  397,  511,  477,
    420,  452,  419,  504,  473,  498,  458,  470,  508,  439,  475,  499,
    440,  394,  420,  469,  452,  416,  391,  405,  404,  498,  431,  510,
    435,  434,  479,  459,  424,  472,  461,  429,  386,  489,  415,  512,
    456,  406,  422,  411,  500,  455,  410,  401,  430,  392,  449,  468,
    445,  443,  426,  490,  486,  389,  454,  464,  505,  473,  425,  442,
    402,  436,  511,  488,  480,  466,  393,  481,  407,  397,  502,  446,
    496,  504,  506,  438,  396,  492,  478,  433,  387,  501,  421,  418,
    453,  470,  414,  450,  432,  428,  485,  491,  409,  447,  507,  385,
    395,  465,  474,  403,  493,  457,  477,  460,  400,  444,  509,  463,
    441,  467,  388,  427,  423,  398,  417,  412,  483,  399,  448,  503,
    437,  471,  413,  487,  476,  419,  484,  495,  497,  408,  451,  390,
    462,  482,  458,  494,  424,  429,  421,  467,  425,  480,  435,  436,
    498,  417,  437,  419,  469,  477,  465,  428,  484,  493,  504,  452,
    387,  458,  395,  418,  489,  390,  389,  474,  426,  444,  445,  466,
    439,  388,  483,  416,  391,  461,  407,  491,  448,  431,  473,  385,
    400,  411,  457,  394,  397,  470,  492,  406,  455,  434,  433,  475,
    427,  505,  449,  420,  403,  478,  393,  443,  500,  446,  415,  414,
    472,  454,  510,  511,  438,  408,  468,  487,  399,  506,  460,  495,
    459,  450,  423,  386,  485,  481,  410,  453,  430,  412,  496,  502,
    490,  501,  447,  432,  402,  462,  497,  404,  494,  503,  508,  440,
    398,  512,  479,  441,  401,  392,  471,  456,  509,  405,  488,  409,
    486,  422,  451,  507,  499,  413,  476,  442,  396,  482,  464,  463,
    434,  487,  456,  385,  388,  477,  469,  427,  401,  439,  454,  464,
    391,  390,  471,  399,  473,  400,  506,  436,  478,  437,  497,  465,
    481,  490,  418,  404,  425,  463,  509,  393,  416,  467,  501,  409,
    410,  498,  402,  394,  412,  438,  496,  480,  443,  450,  466,  476,
    448,  460,  420,  397,  479,  511,  395,  502,  396,  387,  433,  457,
    485,  419,  510,  474,  411,  426,  421,  435,  442,  449,  445,  415,
    494,  499,  470,  512,  429,  392,  398,  488,  504,  451,  508,  417,
    483,  406,  458,  405,  461,  453,  389,  440,  441,  423,  428,  492,
    403,  459,  495,  452,  489,  414,  455,  407,  493,  507,  408,  500,
    413,  444,  472,  430,  503,  386,  462,  447,  468,  432,  491,  482,
    486,  446,  484,  424,  431,  505,  422,  475,  586,  617,  576,  608,
    627,  589,  634,  597,  531,  534,  513,  620,  575,  605,  593,  539,
    550,  639,  544,  567,  637,  628,  595,  592,  612,  551,  583,  541,
    598,  527,  599,  545,  594,  610,  591,  633,  547,  516,  553,  522,
    568,  558,  570,  619,  638,  523,  517,  537,  601,  542,  616,  622,
    632,  629,  621,  609,  546,  564,  532,  636,  618,  588,  533,  582,
    585,  623,  561,  578,  518,  525,  613,  529,  615,  614,  603,  577,
    540,  528,  611,  559,  565,  556,  596,  574,  571,  581,  587,  519,
    625,  552,  563,  635,  520,  580,  640,  602,  521,  538,  604,  631,
    548,  624,  514,  515,  543,  607,  526,  557,  626,  600,  536,  566,
    590,  572,  535,  562,  524,  630,  579,  584,  530,  555,  554,  606,
    560,  549,  569,  573,  523,  515,  619,  608,  610,  594,  617,  618,
    532,  542,  527,  626,  625,  584,  550,  541,  629,  521,  632,  622,
    640,  599,  580,  579,  601,  627,  582,  556,  525,  581,  551,  536,
    560,  630,  631,  614,  577,  559,  572,  592,  566,  524,  555,  598,
    561,  595,  638,  602,  612,  546,  597,  513,  569,  540,  570,  571,
    588,  604,  637,  548,  609,  534,  591,  518,  537,  564,  565,  528,
    615,  606,  583,  621,  605,  624,  517,  543,  529,  519,  636,  530,
    589,  639,  573,  620,  578,  545,  535,  634,  607,  567,  538,  586,
    520,  635,  576,  552,  554,  558,  628,  544,  623,  568,  533,  563,
    585,  611,  516,  562,  613,  557,  633,  531,  522,  590,  603,  574,
    575,  553,  600,  587,  526,  616,  514,  547,  549,  539,  596,  593,
    572,  609,  514,  594,  576,  626,  536,  598,  617,  564,  568,  558,
    547,  606,  517,  624,  578,  582,  513,  571,  634,  585,  623,  605,
    557,  539,  588,  545,  638,  534,  530,  524,  533,  552,  570,  573,
    520,  595,  566,  559,  537,  567,  639,  562,  636,  635,  619,  597,
    600,  621,  630,  616,  560,  632,  565,  584,  528,  640,  593,  561,
    523,  629,  633,  518,  591,  551,  542,  583,  555,  599,  611,  548,
    589,  602,  531,  612,  574,  522,  586,  538,  569,  546,  587,  613,
    540,  608,  543,  553,  519,  627,  563,  592,  527,  628,  618,  601,
    525,  521,  614,  544,  541,  580,  596,  603,  604,  607,  622,  579,
    549,  620,  615,  575,  625,  637,  610,  526,  577,  554,  581,  550,
    535,  529,  532,  515,  516,  556,  631,  590,  588,  589,  555,  638,
    592,  518,  559,  625,  568,  546,  516,  610,  624,  590,  549,  601,
    632,  514,  554,  561,  537,  569,  551,  521,  542,  541,  623,  640,
    627,  564,  533,  530,  591,  611,  597,  579,  598,  600,  594,  528,
    540,  581,  604,  633,  536,  527,  558,  593,  574,  534,  544,  616,
    612,  607,  517,  620,  532,  618,  615,  608,  637,  622,  529,  621,
    573,  602,  543,  578,  563,  595,  553,  523,  525,  582,  539,  560,
    613,  552,  575,  639,  606,  635,  577,  548,  522,  605,  571,  520,
    535,  580,  513,  629,  562,  570,  545,  617,  519,  566,  557,  556,
    572,  587,  584,  547,  524,  576,  538,  603,  550,  599,  619,  628,
    515,  630,  614,  567,  583,  626,  636,  585,  526,  565,  596,  531,
    631,  586,  609,  634,  654,  647,  718,  697,  752,  672,  705,  651,
    683,  675,  742,  670,  717,  658,  650,  695,  701,  665,  656,  723,
    730,  702,  731,  726,  750,  711,  667,  645,  653,  691,  743,  733,
    720,  714,  684,  722,  690,  678,  754,  721,  708,  710,  659,  749,
    751,  724,  758,  748,  716,  646,  729,  664,  644,  728,  693,  759,
    753,  746,  686,  719,  762,  700,  676,  756,  734,  765,  689,  715,
    661,  643,  660,  680,  642,  740,  648,  732,  709,  663,  668,  685,
    727,  662,  737,  747,  725,  703,  736,  713,  641,  764,  688,  666,
    706,  745,  739,  712,  681,  682,  679,  655,  694,  767,  760,  704,
    673,  674,  757,  669,  696,  657,  652,  692,  698,  699,  763,  677,
    735,  741,  707,  649,  738,  768,  766,  671,  687,  755,  744,  761,
    706,  645,  725,  682,  649,  704,  739,  715,  713,  690,  727,  670,
    714,  765,  652,  751,  721,  666,  717,  676,  677,  658,  738,  726,
    646,  663,  756,  669,  710,  695,  752,  657,  680,  691,  654,  712,
    764,  741,  705,  685,  724,  720,  709,  692,  642,  750,  767,  686,
    759,  716,  674,  694,  653,  718,  729,  683,  737,  673,  647,  671,
    643,  697,  747,  761,  748,  675,  746,  708,  760,  687,  744,  711,
    648,  664,  659,  722,  732,  758,  696,  679,  656,  733,  641,  762,
    743,  650,  735,  730,  742,  753,  731,  701,  740,  745,  684,  728,
    702,  763,  757,  768,  689,  700,  766,  660,  707,  662,  672,  661,
    754,  667,  693,  681,  678,  665,  723,  736,  734,  651,  688,  698,
    719,  703,  668,  644,  699,  749,  755,  655,  692,  708,  659,  697,
    701,  647,  683,  762,  652,  722,  725,  760,  642,  764,  698,  690,
    729,  682,  734,  695,  737,  691,  751,  641,  673,  672,  680,  686,
    704,  714,  767,  745,  723,  743,  718,  665,  746,  657,  731,  720,
    660,  712,  709,  765,  756,  687,  693,  671,  656,  730,  670,  742,
    663,  732,  694,  702,  664,  650,  678,  668,  752,  763,  676,  726,
    648,  662,  679,  689,  655,  738,  744,  715,  733,  681,  759,  685,
    753,  707,  688,  713,  736,  755,  696,  711,  719,  684,  741,  658,
    675,  728,  757,  740,  749,  727,  724,  766,  706,  758,  677,  674,
    705,  717,  703,  646,  651,  644,  768,  748,  710,  643,  735,  747,
    754,  761,  661,  654,  750,  739,  666,  699,  700,  716,  667,  721,
    653,  669,  649,  645,  703,  723,  739,  737,  646,  667,  728,  704,
    687,  710,  699,  676,  735,  656,  671,  755,  696,  750,  700,  758,
    705,  678,  658,  726,  665,  721,  684,  744,  766,  643,  644,  745,
    652,  754,  713,  720,  712,  768,  762,  661,  675,  692,  660,  748,
    716,  679,  734,  642,  691,  651,  685,  763,  695,  689,  752,  722,
    730,  756,  759,  736,  655,  707,  715,  709,  702,  673,  743,  663,
    682,  727,  659,  731,  708,  657,  732,  714,  751,  725,  674,  648,
    719,  680,  698,  757,  760,  717,  666,  669,  733,  647,  686,  765,
    641,  694,  662,  753,  697,  738,  741,  649,  688,  749,  746,  767,
    645,  664,  668,  654,  690,  761,  677,  729,  724,  653,  764,  706,
    711,  672,  742,  718,  670,  740,  650,  701,  693,  683,  747,  681,
    819,  870,  769,  827,  887,  805,  856,  785,  885,  823,  852,  841,
    799,  831,  845,  822,  801,  866,  864,  844,  789,  860,  877,  783,
    850,  818,  811,  884,  812,  833,  774,  851,  890,  808,  792,  781,
    869,  807,  773,  836,  772,  815,  798,  786,  859,  868,  840,  832,
    802,  865,  770,  896,  891,  803,  777,  892,  771,  797,  886,  895,
    888,  778,  847,  796,  809,  780,  872,  858,  855,  826,  873,  791,
    878,  834,  779,  862,  793,  814,  880,  824,  825,  853,  835,  861,
    788,  876,  828,  842,  820,  875,  810,  787,  863,  800,  854,  839,
    838,  837,  871,  881,  849,  894,  893,  806,  867,  848,  776,  784,
    821,  874,  830,  804,  883,  795,  817,  846,  794,  775,  829,  889,
    790,  879,  816,  813,  882,  782,  857,  843,  810,  820,  814,  859,
    829,  880,  890,  861,  864,  784,  792,  834,  831,  823,  798,  801,
    817,  827,  782,  843,  816,  892,  841,  894,  806,  879,  832,  802,
    849,  825,  877,  783,  884,  826,  786,  795,  787,  794,  815,  821,
    785,  813,  777,  819,  893,  863,  840,  809,  781,  775,  887,  848,
    875,  803,  857,  805,  812,  873,  773,  835,  842,  790,  780,  789,
    807,  886,  862,  868,  808,  796,  870,  855,  866,  793,  845,  799,
    833,  850,  811,  854,  891,  836,  865,  838,  771,  778,  770,  839,
    881,  856,  828,  852,  791,  822,  867,  874,  774,  847,  885,  869,
    818,  846,  788,  888,  876,  853,  882,  895,  844,  776,  797,  858,
    872,  804,  800,  824,  883,  769,  837,  871,  772,  830,  889,  860,
    878,  779,  851,  896,  810,  884,  895,  789,  844,  821,  791,  859,
    894,  854,  831,  876,  877,  816,  853,  835,  857,  856,  858,  805,
    829,  782,  849,  893,  889,  795,  872,  823,  871,  802,  786,  846,
    878,  815,  804,  869,  824,  813,  887,  851,  822,  783,  801,  800,
    806,  776,  778,  811,  774,  817,  883,  777,  880,  790,  836,  860,
    797,  873,  779,  865,  847,  891,  785,  888,  780,  868,  837,  838,
    842,  793,  892,  845,  826,  792,  773,  885,  784,  787,  796,  814,
    850,  875,  874,  775,  769,  799,  861,  840,  848,  772,  809,  770,
    808,  866,  864,  834,  833,  879,  807,  832,  886,  827,  794,  870,
    863,  841,  818,  896,  881,  862,  828,  839,  798,  820,  788,  852,
    812,  830,  781,  771,  882,  890,  803,  843,  867,  855,  819,  825,
    884,  815,  775,  823,  781,  861,  894,  779,  891,  836,  870,  789,
    807,  862,  854,  893,  808,  805,  824,  770,  841,  826,  834,  786,
    838,  796,  822,  869,  792,  839,  820,  825,  878,  791,  819,  799,
    852,  896,  890,  882,  887,  840,  809,  790,  788,  858,  871,  804,
    844,  876,  848,  886,  865,  795,  864,  776,  889,  818,  821,  784,
    777,  875,  872,  855,  842,  794,  883,  782,  873,  814,  895,  892,
    811,  778,  845,  812,  827,  846,  817,  856,  800,  785,  793,  787,
    837,  773,  780,  879,  881,  772,  857,  831,  783,  847,  859,  867,
    851,  769,  801,  833,  806,  853,  830,  816,  829,  828,  810,  797,
    849,  832,  798,  863,  885,  860,  771,  803,  850,  813,  888,  843,
    802,  866,  880,  874,  868,  774,  835,  877,  949,  911,  950,  932,
    956,  978,  968,  947,  944,  984,  980,  941,  927,  1020, 962,  999,
    1021, 983,  1024, 902,  937,  921,  993,  965,  933,  1004, 1022, 916,
    931,  910,  981,  924,  914,  917,  974,  986,  967,  961,  997,  899,
    1002, 966,  934,  998,  1008, 953,  987,  973,  1009, 909,  922,  963,
    991,  959,  1011, 912,  940,  943,  979,  1001, 954,  969,  915,  985,
    1015, 930,  1012, 1017, 960,  996,  906,  904,  994,  926,  935,  946,
    1016, 992,  913,  918,  929,  995,  990,  952,  975,  1013, 958,  907,
    972,  897,  957,  908,  1023, 938,  955,  903,  1003, 988,  1000, 942,
    1006, 928,  970,  989,  1005, 1007, 898,  920,  1010, 1019, 945,  976,
    982,  939,  923,  919,  971,  948,  905,  964,  977,  1018, 901,  1014,
    900,  925,  936,  951,  1017, 949,  913,  936,  963,  990,  1015, 969,
    966,  940,  957,  919,  927,  999,  908,  1020, 930,  899,  905,  1019,
    1021, 948,  911,  989,  1023, 970,  1013, 944,  934,  972,  951,  971,
    946,  991,  947,  1024, 914,  916,  931,  983,  1004, 945,  918,  1002,
    928,  1006, 968,  939,  938,  941,  961,  937,  995,  1000, 985,  950,
    994,  1016, 1003, 1008, 909,  1001, 906,  926,  1011, 953,  915,  910,
    975,  907,  976,  993,  904,  903,  982,  956,  959,  980,  986,  917,
    962,  942,  912,  977,  979,  921,  965,  997,  998,  922,  923,  988,
    1022, 967,  973,  898,  1007, 987,  1009, 924,  974,  996,  1005, 933,
    1018, 929,  925,  900,  992,  952,  1014, 960,  1012, 981,  901,  920,
    954,  964,  958,  1010, 984,  902,  932,  955,  897,  978,  943,  935,
    907,  963,  943,  945,  998,  1024, 958,  1020, 900,  959,  926,  992,
    1021, 955,  991,  970,  905,  1003, 911,  934,  940,  913,  924,  939,
    972,  975,  985,  956,  922,  938,  951,  941,  1008, 995,  932,  937,
    986,  1007, 979,  947,  906,  927,  912,  993,  978,  977,  1010, 990,
    901,  1016, 1019, 982,  929,  1011, 960,  1015, 1001, 914,  898,  971,
    1009, 948,  931,  964,  903,  902,  923,  928,  1013, 921,  916,  936,
    918,  987,  997,  1023, 935,  952,  917,  933,  983,  919,  981,  1018,
    969,  957,  910,  1004, 909,  897,  1017, 999,  996,  1022, 930,  988,
    915,  904,  994,  973,  1006, 1002, 967,  961,  989,  920,  965,  949,
    980,  968,  976,  950,  925,  966,  899,  1000, 1005, 974,  953,  984,
    1014, 908,  942,  944,  946,  954,  1012, 962,  927,  930,  905,  959,
    951,  966,  910,  917,  1020, 1018, 996,  915,  976,  990,  982,  994,
    909,  941,  937,  899,  969,  1023, 1009, 902,  963,  957,  919,  907,
    1019, 960,  949,  1016, 916,  955,  900,  943,  1000, 934,  947,  938,
    999,  1013, 977,  995,  945,  1001, 986,  913,  954,  906,  1005, 1011,
    1024, 975,  921,  1002, 918,  942,  985,  987,  961,  967,  958,  973,
    997,  1004, 1015, 908,  925,  897,  978,  953,  974,  924,  992,  972,
    984,  1010, 1008, 979,  971,  936,  952,  914,  983,  988,  1017, 965,
    926,  1014, 898,  923,  964,  1003, 970,  950,  939,  932,  998,  928,
    956,  991,  940,  901,  931,  962,  1022, 946,  948,  903,  1021, 1006,
    993,  935,  944,  904,  929,  980,  911,  922,  989,  1007, 968,  912,
    981,  1012, 920,  933,  1132, 1107, 1101, 1150, 1145, 1065, 1147, 1059,
    1038, 1115, 1083, 1034, 1151, 1079, 1047, 1054, 1116, 1076, 1069, 1120,
    1126, 1086, 1064, 1133, 1036, 1057, 1128, 1030, 1099, 1037, 1027, 1084,
    1134, 1138, 1125, 1068, 1092, 1137, 1093, 1048, 1102, 1111, 1104, 1029,
    1046, 1121, 1041, 1035, 1070, 1123, 1091, 1088, 1045, 1131, 1148, 1139,
    1063, 1096, 1106, 1097, 1095, 1050, 1055, 1149, 1078, 1112, 1081, 1062,
    1142, 1052, 1049, 1025, 1146, 1060, 1056, 1108, 1136, 1109, 1058, 1105,
    1044, 1033, 1143, 1087, 1051, 1077, 1110, 1117, 1085, 1090, 1073, 1031,
    1127, 1122, 1113, 1144, 1130, 1043, 1066, 1118, 1089, 1103, 1082, 1040,
    1067, 1053, 1071, 1042, 1072, 1061, 1124, 1129, 1135, 1100, 1114, 1080,
    1039, 1140, 1094, 1152, 1141, 1075, 1098, 1026, 1074, 1032, 1119, 1028,
    1097, 1049, 1055, 1115, 1113, 1110, 1135, 1101, 1081, 1082, 1093, 1066,
    1151, 1103, 1121, 1048, 1035, 1029, 1090, 1028, 1050, 1123, 1077, 1083,
    1145, 1047, 1111, 1067, 1112, 1059, 1100, 1118, 1042, 1102, 1109, 1079,
    1054, 1094, 1120, 1132, 1078, 1031, 1030, 1027, 1026, 1106, 1053, 1069,
    1117, 1105, 1108, 1137, 1058, 1034, 1070, 1063, 1143, 1149, 1104, 1033,
    1076, 1045, 1136, 1052, 1092, 1133, 1148, 1025, 1051, 1122, 1144, 1080,
    1074, 1141, 1116, 1043, 1139, 1129, 1146, 1057, 1098, 1119, 1039, 1125,
    1037, 1131, 1114, 1130, 1086, 1044, 1127, 1073, 1032, 1150, 1099, 1060,
    1128, 1085, 1056, 1068, 1061, 1096, 1038, 1142, 1065, 1126, 1046, 1062,
    1134, 1152, 1124, 1036, 1107, 1095, 1138, 1075, 1084, 1071, 1091, 1147,
    1072, 1087, 1064, 1041, 1140, 1040, 1089, 1088, 1025, 1060, 1053, 1051,
    1049, 1147, 1082, 1141, 1151, 1081, 1045, 1084, 1105, 1047, 1058, 1035,
    1137, 1037, 1050, 1074, 1100, 1040, 1124, 1116, 1088, 1079, 1073, 1057,
    1113, 1099, 1104, 1140, 1052, 1046, 1056, 1152, 1150, 1144, 1066, 1077,
    1138, 1083, 1097, 1044, 1063, 1126, 1030, 1131, 1076, 1111, 1069, 1096,
    1146, 1059, 1108, 1133, 1087, 1042, 1103, 1125, 1092, 1090, 1089, 1142,
    1117, 1068, 1029, 1062, 1129, 1148, 1036, 1026, 1067, 1055, 1101, 1120,
    1038, 1132, 1078, 1028, 1145, 1075, 1031, 1061, 1107, 1072, 1121, 1118,
    1054, 1109, 1135, 1027, 1080, 1122, 1033, 1039, 1112, 1127, 1115, 1091,
    1064, 1139, 1041, 1110, 1130, 1149, 1136, 1070, 1065, 1086, 1098, 1128,
    1134, 1043, 1085, 1102, 1094, 1032, 1123, 1119, 1106, 1143, 1034, 1048,
    1095, 1093, 1114, 1071, 1131, 1056, 1028, 1077, 1151, 1137, 1031, 1144,
    1119, 1084, 1066, 1078, 1105, 1047, 1075, 1126, 1138, 1070, 1115, 1042,
    1079, 1128, 1123, 1122, 1063, 1050, 1152, 1064, 1146, 1074, 1134, 1118,
    1049, 1045, 1149, 1088, 1136, 1068, 1085, 1052, 1026, 1093, 1096, 1098,
    1048, 1125, 1067, 1030, 1116, 1103, 1145, 1032, 1127, 1106, 1094, 1041,
    1080, 1097, 1104, 1147, 1102, 1117, 1089, 1083, 1054, 1073, 1092, 1040,
    1100, 1058, 1091, 1150, 1057, 1142, 1076, 1051, 1086, 1132, 1101, 1043,
    1060, 1027, 1025, 1081, 1133, 1099, 1124, 1140, 1033, 1029, 1121, 1109,
    1069, 1055, 1111, 1110, 1113, 1108, 1072, 1141, 1087, 1065, 1071, 1095,
    1139, 1129, 1039, 1059, 1090, 1143, 1046, 1135, 1112, 1082, 1044, 1038,
    1061, 1148, 1037, 1062, 1034, 1130, 1053, 1107, 1120, 1114, 1036, 1035,
    1249, 1214, 1233, 1199, 1235, 1157, 1166, 1263, 1231, 1208, 1211, 1178,
    1163, 1193, 1270, 1182, 1260, 1175, 1153, 1248, 1271, 1267, 1251, 1252,
    1183, 1172, 1241, 1203, 1266, 1227, 1222, 1277, 1161, 1274, 1254, 1195,
    1169, 1155, 1186, 1202, 1279, 1162, 1239, 1217, 1258, 1244, 1228, 1190,
    1278, 1224, 1198, 1181, 1234, 1165, 1174, 1230, 1184, 1269, 1194, 1159,
    1168, 1205, 1237, 1215, 1264, 1185, 1173, 1180, 1229, 1206, 1273, 1246,
    1220, 1196, 1176, 1191, 1275, 1245, 1261, 1225, 1221, 1253, 1192, 1218,
    1216, 1272, 1156, 1207, 1262, 1276, 1167, 1189, 1158, 1232, 1170, 1219,
    1187, 1280, 1204, 1259, 1255, 1154, 1226, 1171, 1268, 1223, 1212, 1209,
    1250, 1188, 1256, 1240, 1265, 1247, 1243, 1179, 1242, 1213, 1238, 1201,
    1200, 1177, 1210, 1160, 1197, 1257, 1164, 1236, 1265, 1275, 1232, 1212,
    1173, 1192, 1231, 1279, 1185, 1203, 1205, 1248, 1270, 1215, 1241, 1167,
    1161, 1228, 1175, 1153, 1159, 1230, 1191, 1209, 1259, 1253, 1229, 1171,
    1257, 1221, 1264, 1188, 1256, 1278, 1199, 1239, 1251, 1155, 1218, 1261,
    1254, 1202, 1237, 1174, 1187, 1245, 1190, 1272, 1274, 1255, 1179, 1172,
    1216, 1207, 1176, 1262, 1247, 1213, 1238, 1156, 1277, 1268, 1164, 1269,
    1260, 1210, 1180, 1183, 1276, 1222, 1224, 1177, 1246, 1233, 1234, 1273,
    1211, 1208, 1217, 1158, 1165, 1267, 1197, 1194, 1250, 1220, 1160, 1258,
    1206, 1240, 1236, 1244, 1242, 1168, 1225, 1204, 1170, 1157, 1178, 1186,
    1243, 1189, 1169, 1249, 1280, 1227, 1195, 1223, 1200, 1214, 1163, 1226,
    1182, 1184, 1154, 1266, 1198, 1235, 1201, 1263, 1181, 1196, 1162, 1219,
    1193, 1252, 1166, 1271, 1206, 1208, 1271, 1239, 1153, 1195, 1224, 1188,
    1236, 1191, 1264, 1197, 1175, 1232, 1182, 1228, 1209, 1210, 1246, 1227,
    1244, 1193, 1167, 1194, 1184, 1279, 1199, 1223, 1259, 1243, 1256, 1212,
    1187, 1237, 1248, 1214, 1176, 1263, 1268, 1219, 1278, 1202, 1276, 1265,
    1189, 1154, 1274, 1213, 1192, 1211, 1215, 1170, 1171, 1164, 1216, 1240,
    1168, 1166, 1177, 1235, 1267, 1261, 1252, 1174, 1201, 1173, 1163, 1241,
    1257, 1169, 1262, 1157, 1186, 1229, 1249, 1225, 1198, 1178, 1217, 1207,
    1245, 1160, 1200, 1161, 1275, 1165, 1226, 1196, 1179, 1159, 1233, 1238,
    1221, 1280, 1260, 1172, 1253, 1269, 1270, 1158, 1155, 1258, 1218, 1273,
    1230, 1190, 1231, 1250, 1204, 1222, 1251, 1203, 1220, 1272, 1255, 1234,
    1254, 1266, 1277, 1181, 1205, 1162, 1183, 1242, 1185, 1156, 1247, 1180,
    1173, 1254, 1271, 1252, 1207, 1269, 1185, 1157, 1162, 1268, 1192, 1263,
    1179, 1251, 1188, 1230, 1194, 1255, 1273, 1163, 1181, 1206, 1242, 1247,
    1270, 1191, 1161, 1171, 1193, 1235, 1198, 1217, 1246, 1241, 1187, 1262,
    1174, 1218, 1238, 1165, 1279, 1156, 1280, 1195, 1177, 1213, 1240, 1208,
    1184, 1159, 1170, 1277, 1210, 1204, 1166, 1228, 1248, 1182, 1199, 1229,
    1249, 1223, 1153, 1190, 1225, 1221, 1261, 1226, 1257, 1197, 1244, 1258,
    1201, 1186, 1232, 1276, 1160, 1176, 1212, 1202, 1253, 1274, 1267, 1175,
    1172, 1233, 1167, 1154, 1243, 1200, 1256, 1189, 1220, 1272, 1239, 1180,
    1205, 1231, 1169, 1227, 1219, 1250, 1275, 1158, 1260, 1234, 1259, 1209,
    1168, 1278, 1164, 1245, 1183, 1216, 1236, 1203, 1264, 1215, 1237, 1214,
    1266, 1196, 1155, 1222, 1265, 1211, 1178, 1224, 1298, 1403, 1337, 1329,
    1331, 1386, 1349, 1320, 1288, 1287, 1380, 1402, 1342, 1366, 1352, 1353,
    1304, 1284, 1334, 1397, 1321, 1286, 1360, 1328, 1381, 1326, 1309, 1333,
    1365, 1282, 1362, 1385, 1314, 1387, 1303, 1383, 1351, 1369, 1311, 1310,
    1301, 1308, 1400, 1359, 1395, 1332, 1358, 1323, 1367, 1296, 1364, 1372,
    1350, 1371, 1361, 1396, 1363, 1294, 1377, 1281, 1368, 1343, 1355, 1393,
    1399, 1327, 1378, 1388, 1302, 1392, 1300, 1406, 1319, 1404, 1315, 1382,
    1379, 1408, 1345, 1405, 1324, 1335, 1305, 1306, 1370, 1390, 1401, 1391,
    1283, 1291, 1338, 1375, 1313, 1398, 1292, 1316, 1330, 1384, 1289, 1325,
    1295, 1376, 1307, 1373, 1339, 1354, 1374, 1290, 1344, 1317, 1322, 1394,
    1318, 1340, 1407, 1336, 1285, 1312, 1297, 1356, 1347, 1346, 1293, 1348,
    1389, 1341, 1299, 1357, 1298, 1313, 1387, 1357, 1296, 1323, 1283, 1333,
    1382, 1347, 1332, 1316, 1405, 1366, 1402, 1394, 1388, 1309, 1401, 1338,
    1302, 1359, 1400, 1285, 1371, 1365, 1367, 1407, 1294, 1348, 1350, 1305,
    1376, 1374, 1386, 1356, 1297, 1343, 1287, 1282, 1286, 1331, 1326, 1351,
    1321, 1399, 1354, 1306, 1393, 1362, 1353, 1325, 1346, 1310, 1395, 1324,
    1391, 1342, 1311, 1361, 1337, 1335, 1328, 1322, 1355, 1352, 1404, 1380,
    1303, 1383, 1370, 1379, 1281, 1339, 1289, 1398, 1288, 1308, 1396, 1304,
    1301, 1349, 1312, 1314, 1319, 1384, 1368, 1397, 1334, 1358, 1341, 1299,
    1406, 1403, 1372, 1307, 1320, 1284, 1317, 1385, 1363, 1364, 1389, 1292,
    1290, 1330, 1360, 1408, 1329, 1327, 1377, 1369, 1344, 1378, 1291, 1375,
    1381, 1300, 1336, 1373, 1295, 1315, 1340, 1345, 1293, 1390, 1318, 1392,
    1380, 1399, 1376, 1337, 1361, 1342, 1304, 1407, 1338, 1390, 1289, 1325,
    1393, 1383, 1345, 1323, 1362, 1364, 1363, 1358, 1339, 1388, 1397, 1340,
    1348, 1305, 1372, 1360, 1336, 1283, 1403, 1400, 1346, 1371, 1374, 1401,
    1366, 1296, 1347, 1395, 1351, 1294, 1375, 1349, 1319, 1404, 1318, 1382,
    1370, 1312, 1391, 1408, 1313, 1406, 1385, 1287, 1389, 1398, 1314, 1300,
    1292, 1308, 1324, 1301, 1333, 1316, 1332, 1343, 1402, 1281, 1386, 1285,
    1384, 1321, 1373, 1282, 1353, 1354, 1286, 1377, 1290, 1396, 1302, 1295,
    1341, 1381, 1368, 1293, 1329, 1326, 1394, 1311, 1344, 1315, 1330, 1327,
    1288, 1392, 1355, 1405, 1322, 1356, 1352, 1284, 1359, 1298, 1297, 1350,
    1334, 1309, 1335, 1303, 1379, 1331, 1291, 1369, 1387, 1320, 1357, 1328,
    1310, 1365, 1367, 1306, 1307, 1317, 1299, 1378, 1313, 1300, 1384, 1286,
    1374, 1317, 1382, 1369, 1337, 1363, 1301, 1401, 1408, 1352, 1305, 1308,
    1315, 1377, 1358, 1390, 1294, 1381, 1403, 1344, 1332, 1354, 1380, 1290,
    1362, 1370, 1291, 1388, 1361, 1287, 1349, 1400, 1385, 1283, 1320, 1348,
    1325, 1324, 1314, 1360, 1339, 1357, 1326, 1394, 1399, 1342, 1306, 1368,
    1404, 1299, 1296, 1365, 1372, 1375, 1402, 1303, 1398, 1297, 1281, 1319,
    1289, 1395, 1367, 1406, 1321, 1345, 1376, 1378, 1371, 1307, 1364, 1285,
    1288, 1302, 1351, 1293, 1346, 1353, 1316, 1391, 1312, 1310, 1340, 1338,
    1383, 1327, 1318, 1396, 1389, 1397, 1322, 1298, 1347, 1295, 1366, 1329,
    1387, 1359, 1343, 1335, 1355, 1292, 1323, 1284, 1282, 1333, 1392, 1379,
    1328, 1356, 1331, 1336, 1330, 1341, 1393, 1373, 1309, 1311, 1407, 1350,
    1405, 1304, 1334, 1386, 1461, 1428, 1471, 1489, 1427, 1424, 1514, 1463,
    1439, 1522, 1487, 1445, 1409, 1459, 1419, 1483, 1486, 1481, 1415, 1451,
    1429, 1528, 1527, 1531, 1417, 1484, 1476, 1422, 1478, 1502, 1524, 1473,
    1535, 1431, 1505, 1523, 1416, 1462, 1521, 1414, 1474, 1443, 1410, 1536,
    1418, 1446, 1456, 1435, 1525, 1517, 1457, 1492, 1500, 1495, 1513, 1440,
    1436, 1437, 1508, 1454, 1464, 1413, 1450, 1472, 1509, 1529, 1477, 1433,
    1432, 1467, 1491, 1469, 1516, 1479, 1434, 1515, 1499, 1442, 1497, 1412,
    1530, 1425, 1520, 1519, 1532, 1485, 1448, 1488, 1507, 1426, 1449, 1496,
    1423, 1493, 1506, 1512, 1470, 1498, 1534, 1411, 1465, 1441, 1458, 1503,
    1468, 1420, 1455, 1533, 1526, 1501, 1430, 1518, 1453, 1447, 1444, 1466,
    1494, 1510, 1452, 1460, 1511, 1482, 1475, 1421, 1438, 1490, 1504, 1480,
    1506, 1429, 1497, 1433, 1477, 1528, 1439, 1417, 1427, 1458, 1494, 1489,
    1474, 1473, 1520, 1529, 1435, 1532, 1504, 1409, 1426, 1453, 1421, 1483,
    1502, 1518, 1418, 1463, 1516, 1530, 1496, 1482, 1533, 1513, 1531, 1459,
    1486, 1534, 1412, 1512, 1514, 1455, 1505, 1481, 1445, 1443, 1411, 1468,
    1536, 1447, 1452, 1446, 1521, 1415, 1484, 1441, 1480, 1442, 1414, 1423,
    1460, 1469, 1465, 1519, 1430, 1410, 1428, 1492, 1478, 1467, 1425, 1517,
    1525, 1511, 1424, 1456, 1444, 1500, 1431, 1420, 1461, 1498, 1416, 1436,
    1485, 1495, 1437, 1503, 1487, 1448, 1432, 1491, 1476, 1449, 1507, 1527,
    1434, 1470, 1419, 1490, 1509, 1510, 1438, 1466, 1522, 1488, 1523, 1526,
    1501, 1499, 1422, 1440, 1472, 1475, 1479, 1462, 1524, 1471, 1457, 1454,
    1413, 1493, 1451, 1535, 1508, 1515, 1464, 1450, 1437, 1500, 1432, 1527,
    1443, 1456, 1521, 1501, 1528, 1418, 1451, 1446, 1421, 1478, 1493, 1530,
    1499, 1462, 1414, 1448, 1477, 1472, 1471, 1426, 1523, 1498, 1485, 1509,
    1533, 1453, 1447, 1458, 1467, 1484, 1423, 1517, 1519, 1409, 1455, 1411,
    1454, 1502, 1531, 1504, 1525, 1416, 1464, 1413, 1417, 1489, 1473, 1410,
    1459, 1480, 1495, 1516, 1439, 1420, 1482, 1433, 1481, 1468, 1483, 1536,
    1466, 1532, 1457, 1494, 1508, 1450, 1429, 1534, 1431, 1497, 1449, 1445,
    1436, 1463, 1513, 1490, 1488, 1524, 1424, 1496, 1415, 1505, 1520, 1518,
    1476, 1507, 1514, 1440, 1425, 1428, 1491, 1475, 1526, 1438, 1465, 1470,
    1435, 1510, 1441, 1412, 1503, 1444, 1535, 1442, 1434, 1469, 1512, 1474,
    1419, 1430, 1479, 1511, 1492, 1486, 1422, 1487, 1515, 1461, 1529, 1460,
    1427, 1452, 1506, 1522, 1430, 1438, 1487, 1414, 1420, 1510, 1447, 1509,
    1433, 1482, 1424, 1415, 1446, 1493, 1518, 1417, 1485, 1441, 1434, 1490,
    1484, 1462, 1520, 1410, 1418, 1423, 1427, 1527, 1524, 1533, 1471, 1483,
    1457, 1451, 1502, 1521, 1460, 1498, 1523, 1473, 1412, 1479, 1448, 1536,
    1508, 1439, 1416, 1443, 1500, 1519, 1419, 1470, 1522, 1513, 1477, 1480,
    1516, 1425, 1512, 1411, 1472, 1454, 1474, 1444, 1459, 1432, 1496, 1426,
    1440, 1467, 1491, 1489, 1504, 1463, 1481, 1449, 1514, 1476, 1530, 1450,
    1505, 1532, 1442, 1468, 1445, 1456, 1429, 1413, 1492, 1517, 1466, 1437,
    1475, 1525, 1422, 1465, 1495, 1421, 1529, 1507, 1526, 1458, 1511, 1499,
    1453, 1488, 1534, 1535, 1497, 1436, 1428, 1478, 1486, 1515, 1528, 1431,
    1469, 1452, 1409, 1501, 1461, 1503, 1531, 1464, 1494, 1455, 1506, 1435};

const uint16_t HRAa_1536_512_H_cols[] = {
    111, 16,  113, 75,  13,  40,  66,  121, 126, 22,  127, 120, 59,  101, 19,
    52,  114, 98,  123, 80,  5,   108, 117, 81,  94,  88,  50,  79,  26,  86,
    3,   39,  6,   12,  104, 84,  43,  119, 4,   53,  49,  95,  100, 27,  60,
    55,  76,  87,  92,  38,  82,  78,  24,  15,  61,  124, 45,  72,  29,  90,
    34,  62,  85,  110, 122, 67,  18,  20,  35,  107, 33,  102, 31,  116, 46,
    28,  32,  74,  58,  47,  106, 71,  68,  115, 41,  93,  91,  48,  69,  8,
    7,   64,  97,  118, 17,  70,  57,  2,   44,  23,  99,  42,  63,  25,  73,
    37,  77,  83,  89,  56,  10,  30,  112, 21,  105, 65,  128, 9,   54,  14,
    125, 1,   96,  103, 109, 11,  51,  36,  59,  128, 26,  10,  11,  6,   43,
    50,  37,  94,  75,  98,  121, 123, 21,  15,  84,  9,   60,  62,  110, 53,
    40,  80,  90,  58,  35,  17,  71,  30,  4,   92,  28,  49,  83,  36,  88,
    41,  82,  86,  48,  3,   34,  45,  31,  22,  104, 46,  116, 39,  97,  42,
    102, 93,  38,  25,  100, 122, 33,  79,  47,  106, 95,  19,  111, 126, 57,
    115, 72,  18,  23,  44,  91,  105, 99,  32,  63,  8,   12,  14,  81,  55,
    20,  54,  16,  5,   109, 65,  120, 85,  69,  103, 114, 125, 1,   113, 73,
    127, 61,  51,  101, 27,  56,  118, 66,  108, 89,  70,  29,  78,  7,   74,
    77,  87,  117, 124, 96,  68,  119, 67,  2,   13,  112, 52,  107, 24,  64,
    76,  43,  80,  48,  78,  3,   113, 100, 92,  104, 47,  74,  69,  64,  35,
    33,  55,  30,  102, 124, 4,   66,  11,  101, 126, 9,   119, 2,   85,  99,
    65,  107, 111, 77,  20,  28,  23,  5,   15,  73,  120, 44,  51,  123, 121,
    83,  125, 94,  39,  81,  32,  36,  84,  63,  52,  72,  93,  70,  67,  71,
    62,  10,  89,  127, 45,  122, 42,  108, 56,  53,  27,  18,  37,  90,  98,
    86,  1,   106, 115, 96,  6,   46,  87,  91,  29,  34,  82,  57,  76,  31,
    21,  105, 95,  117, 16,  24,  13,  59,  25,  110, 12,  7,   68,  97,  38,
    22,  40,  26,  61,  112, 79,  14,  50,  8,   60,  54,  128, 103, 58,  109,
    19,  49,  116, 114, 88,  75,  41,  118, 17,  96,  87,  72,  27,  105, 29,
    50,  114, 112, 56,  43,  82,  118, 117, 79,  45,  111, 61,  115, 5,   69,
    97,  21,  46,  23,  44,  57,  71,  6,   73,  37,  32,  33,  18,  123, 121,
    107, 100, 20,  49,  24,  1,   42,  94,  85,  70,  60,  41,  65,  103, 104,
    76,  102, 88,  14,  66,  48,  12,  16,  26,  91,  58,  93,  35,  2,   68,
    39,  122, 116, 54,  4,   90,  109, 127, 7,   63,  78,  92,  98,  89,  99,
    51,  77,  13,  8,   128, 40,  80,  125, 22,  25,  47,  120, 53,  36,  17,
    55,  52,  15,  59,  11,  83,  3,   75,  106, 30,  62,  74,  9,   64,  86,
    28,  108, 126, 110, 67,  38,  101, 31,  124, 84,  81,  19,  10,  34,  113,
    119, 95,  11,  103, 104, 38,  47,  69,  88,  93,  97,  40,  46,  117, 70,
    107, 30,  78,  72,  121, 9,   59,  63,  10,  115, 111, 48,  98,  16,  77,
    28,  50,  105, 19,  32,  57,  37,  101, 126, 17,  26,  90,  39,  123, 122,
    82,  108, 42,  80,  125, 67,  116, 91,  58,  81,  112, 20,  41,  127, 43,
    85,  114, 128, 84,  13,  3,   76,  68,  119, 94,  86,  64,  27,  120, 65,
    1,   87,  62,  6,   113, 35,  24,  15,  33,  23,  83,  8,   29,  31,  110,
    49,  96,  75,  99,  14,  124, 106, 4,   56,  34,  79,  25,  71,  74,  73,
    51,  2,   61,  44,  12,  55,  52,  66,  102, 89,  109, 5,   22,  54,  118,
    100, 53,  36,  7,   92,  60,  21,  45,  18,  95,  89,  73,  70,  53,  28,
    50,  2,   75,  120, 15,  8,   111, 29,  1,   100, 19,  110, 14,  43,  71,
    69,  82,  78,  52,  18,  92,  27,  79,  108, 12,  124, 6,   105, 106, 10,
    63,  116, 38,  99,  72,  97,  98,  9,   35,  80,  59,  125, 91,  67,  37,
    30,  112, 55,  101, 16,  109, 4,   113, 114, 62,  17,  22,  86,  104, 7,
    93,  119, 41,  77,  42,  26,  96,  88,  34,  68,  49,  13,  3,   60,  33,
    40,  36,  20,  46,  85,  24,  81,  54,  51,  21,  23,  76,  32,  65,  117,
    87,  83,  121, 95,  74,  118, 11,  31,  127, 94,  58,  84,  48,  44,  25,
    45,  5,   57,  39,  126, 64,  107, 47,  56,  103, 128, 61,  115, 90,  66,
    123, 102, 122, 3,   51,  57,  41,  39,  31,  118, 107, 55,  62,  75,  66,
    36,  126, 24,  108, 8,   44,  92,  85,  21,  121, 72,  35,  77,  117, 114,
    64,  58,  43,  13,  94,  17,  49,  54,  112, 6,   104, 38,  34,  65,  91,
    27,  29,  124, 78,  42,  123, 115, 26,  1,   89,  109, 16,  10,  80,  81,
    70,  4,   87,  119, 111, 14,  48,  30,  74,  83,  40,  98,  97,  96,  47,
    12,  88,  128, 20,  15,  116, 63,  106, 101, 25,  32,  11,  82,  95,  69,
    7,   127, 68,  45,  22,  84,  76,  93,  19,  50,  18,  105, 46,  37,  2,
    99,  67,  71,  110, 90,  86,  23,  73,  122, 79,  100, 125, 113, 28,  9,
    59,  5,   61,  120, 33,  53,  56,  103, 102, 60,  52,  90,  107, 40,  125,
    123, 20,  96,  72,  119, 71,  88,  92,  50,  30,  2,   56,  79,  33,  63,
    28,  34,  80,  116, 108, 22,  51,  115, 32,  126, 74,  13,  102, 81,  66,
    29,  4,   25,  43,  75,  127, 21,  94,  114, 57,  12,  100, 58,  9,   111,
    76,  8,   118, 1,   3,   128, 84,  46,  61,  95,  5,   91,  87,  54,  69,
    38,  15,  52,  120, 24,  42,  37,  7,   62,  103, 117, 89,  48,  35,  85,
    112, 121, 6,   59,  11,  31,  113, 18,  10,  64,  36,  47,  98,  104, 83,
    53,  78,  23,  73,  82,  70,  39,  44,  16,  99,  60,  41,  97,  26,  105,
    101, 106, 45,  49,  109, 55,  67,  86,  124, 65,  77,  68,  122, 110, 14,
    17,  27,  93,  19,  72,  124, 31,  128, 44,  28,  92,  126, 82,  12,  48,
    25,  30,  9,   117, 104, 47,  108, 98,  81,  53,  45,  15,  40,  71,  62,
    85,  70,  106, 16,  63,  75,  26,  79,  8,   74,  110, 68,  57,  23,  6,
    99,  105, 36,  19,  49,  107, 109, 91,  125, 122, 18,  86,  65,  14,  116,
    67,  103, 11,  32,  89,  22,  84,  52,  101, 90,  51,  37,  39,  119, 61,
    58,  60,  123, 29,  114, 3,   41,  102, 43,  80,  59,  2,   76,  78,  87,
    42,  66,  95,  115, 10,  17,  88,  100, 127, 20,  46,  94,  50,  111, 35,
    21,  93,  27,  112, 97,  54,  1,   24,  33,  113, 77,  38,  34,  56,  118,
    121, 69,  83,  96,  5,   73,  7,   55,  64,  4,   13,  120, 19,  102, 38,
    87,  6,   93,  60,  124, 33,  42,  13,  127, 54,  7,   91,  61,  37,  95,
    104, 26,  67,  55,  18,  75,  122, 12,  116, 68,  52,  16,  25,  57,  66,
    39,  97,  110, 92,  48,  76,  83,  14,  59,  36,  74,  125, 51,  4,   121,
    120, 40,  28,  99,  62,  70,  88,  10,  108, 123, 11,  107, 118, 2,   64,
    85,  44,  84,  96,  73,  81,  31,  106, 50,  80,  103, 30,  47,  69,  56,
    9,   94,  3,   53,  5,   128, 63,  119, 43,  112, 27,  117, 115, 46,  78,
    72,  114, 20,  1,   109, 23,  24,  82,  35,  101, 111, 126, 45,  100, 17,
    79,  89,  8,   65,  113, 29,  22,  105, 58,  15,  21,  86,  71,  34,  77,
    90,  32,  49,  41,  98,  60,  30,  89,  18,  117, 22,  10,  9,   99,  108,
    90,  95,  123, 58,  101, 50,  119, 1,   127, 71,  41,  69,  35,  17,  83,
    84,  103, 42,  27,  40,  39,  118, 93,  33,  75,  96,  110, 113, 73,  8,
    21,  111, 48,  81,  100, 26,  66,  24,  4,   97,  5,   46,  28,  19,  82,
    116, 3,   91,  105, 114, 126, 13,  62,  109, 79,  122, 121, 124, 7,   53,
    37,  15,  16,  106, 63,  120, 128, 47,  44,  23,  55,  31,  57,  51,  29,
    14,  49,  61,  38,  85,  54,  52,  104, 107, 92,  102, 59,  67,  77,  11,
    25,  76,  36,  98,  32,  6,   34,  68,  125, 86,  88,  70,  64,  112, 45,
    56,  20,  94,  65,  43,  87,  12,  2,   74,  80,  72,  115, 78,  13,  43,
    100, 80,  62,  40,  19,  37,  25,  45,  15,  106, 124, 28,  93,  6,   82,
    90,  5,   2,   21,  111, 34,  69,  68,  75,  48,  57,  58,  125, 9,   56,
    102, 78,  42,  115, 12,  46,  114, 87,  91,  63,  20,  119, 113, 60,  107,
    47,  51,  103, 14,  120, 1,   38,  8,   61,  101, 116, 70,  105, 72,  97,
    3,   64,  32,  41,  123, 27,  67,  29,  74,  128, 18,  122, 16,  26,  86,
    17,  11,  88,  4,   126, 71,  52,  94,  117, 54,  92,  79,  98,  77,  53,
    110, 30,  104, 127, 35,  95,  89,  59,  65,  118, 121, 96,  55,  7,   76,
    73,  50,  112, 84,  83,  39,  10,  36,  31,  49,  109, 23,  22,  66,  81,
    24,  85,  108, 99,  33,  44,  235, 189, 247, 148, 168, 145, 143, 242, 214,
    210, 144, 241, 218, 177, 205, 183, 134, 162, 141, 150, 163, 186, 132, 245,
    253, 201, 200, 175, 244, 180, 139, 233, 182, 164, 184, 137, 142, 252, 254,
    212, 133, 160, 178, 239, 129, 131, 146, 224, 229, 223, 194, 209, 169, 230,
    152, 226, 149, 179, 221, 232, 135, 250, 231, 197, 191, 193, 172, 203, 204,
    238, 234, 222, 181, 237, 207, 176, 251, 243, 211, 219, 215, 154, 171, 196,
    158, 240, 153, 156, 147, 157, 190, 173, 248, 188, 151, 246, 256, 192, 138,
    165, 185, 216, 166, 217, 227, 155, 140, 170, 174, 187, 202, 136, 167, 236,
    130, 249, 228, 198, 213, 161, 195, 255, 208, 206, 159, 199, 220, 225, 132,
    217, 191, 135, 202, 166, 153, 168, 158, 165, 133, 220, 175, 210, 225, 204,
    209, 196, 154, 203, 238, 242, 174, 170, 214, 221, 194, 169, 252, 144, 150,
    157, 159, 218, 215, 136, 249, 227, 229, 141, 241, 250, 253, 240, 234, 206,
    162, 192, 155, 131, 251, 182, 178, 186, 200, 222, 130, 237, 212, 239, 189,
    197, 138, 161, 223, 184, 245, 152, 254, 211, 226, 256, 176, 193, 199, 232,
    235, 147, 163, 190, 139, 207, 187, 160, 171, 247, 224, 201, 248, 149, 230,
    228, 213, 164, 216, 181, 156, 172, 243, 142, 173, 137, 195, 129, 244, 167,
    146, 183, 198, 148, 255, 185, 179, 140, 180, 134, 205, 231, 219, 145, 143,
    233, 246, 208, 151, 236, 188, 177, 219, 203, 233, 175, 224, 234, 162, 192,
    254, 191, 164, 200, 171, 225, 178, 185, 212, 251, 163, 236, 222, 249, 131,
    170, 207, 155, 149, 213, 202, 198, 206, 135, 168, 181, 151, 214, 238, 156,
    220, 143, 235, 144, 197, 174, 231, 186, 184, 239, 169, 180, 250, 132, 252,
    147, 208, 196, 210, 172, 201, 232, 129, 138, 253, 205, 150, 177, 141, 153,
    152, 165, 146, 167, 140, 242, 139, 246, 176, 134, 166, 221, 228, 189, 211,
    243, 136, 160, 133, 148, 216, 217, 240, 195, 137, 245, 229, 157, 188, 256,
    215, 237, 179, 182, 194, 154, 223, 187, 204, 161, 145, 183, 173, 227, 226,
    209, 142, 130, 193, 159, 247, 255, 158, 230, 244, 199, 241, 248, 190, 218,
    216, 153, 201, 231, 174, 252, 139, 166, 187, 134, 217, 197, 190, 234, 238,
    225, 164, 181, 220, 141, 140, 158, 189, 250, 213, 163, 160, 236, 243, 207,
    155, 138, 235, 204, 246, 135, 203, 159, 233, 149, 179, 171, 232, 210, 152,
    165, 143, 209, 200, 146, 145, 182, 241, 196, 130, 133, 229, 180, 170, 226,
    169, 192, 214, 239, 167, 208, 251, 137, 205, 175, 162, 157, 222, 255, 148,
    224, 151, 253, 228, 176, 218, 186, 230, 168, 136, 206, 242, 150, 178, 219,
    131, 245, 223, 199, 147, 185, 188, 254, 237, 247, 211, 173, 244, 184, 154,
    172, 212, 198, 221, 256, 248, 193, 249, 142, 132, 161, 202, 191, 240, 194,
    177, 195, 215, 129, 227, 144, 183, 156, 180, 251, 130, 235, 203, 192, 206,
    221, 146, 241, 129, 170, 157, 249, 139, 196, 205, 208, 240, 137, 231, 190,
    215, 160, 193, 219, 254, 182, 144, 138, 204, 228, 214, 178, 252, 188, 253,
    143, 159, 224, 246, 225, 171, 156, 238, 226, 166, 161, 173, 236, 232, 194,
    195, 169, 218, 230, 181, 183, 184, 167, 211, 244, 245, 223, 165, 213, 152,
    151, 158, 155, 199, 142, 233, 220, 248, 185, 209, 242, 191, 168, 256, 134,
    174, 255, 179, 172, 150, 247, 153, 176, 243, 186, 201, 198, 217, 132, 189,
    133, 234, 177, 237, 164, 197, 250, 135, 136, 131, 212, 200, 148, 229, 202,
    141, 140, 154, 227, 145, 162, 163, 147, 239, 216, 222, 207, 187, 175, 210,
    149, 211, 173, 189, 252, 130, 153, 187, 201, 133, 214, 246, 143, 181, 163,
    256, 209, 160, 150, 203, 232, 236, 234, 154, 202, 242, 146, 238, 251, 156,
    140, 188, 235, 186, 179, 194, 148, 149, 241, 208, 161, 240, 132, 184, 223,
    168, 176, 198, 247, 229, 138, 162, 172, 239, 180, 158, 207, 190, 248, 253,
    230, 220, 225, 250, 134, 167, 129, 233, 196, 171, 157, 200, 164, 137, 141,
    136, 178, 147, 182, 249, 170, 145, 204, 243, 169, 131, 152, 139, 224, 183,
    216, 219, 205, 210, 245, 215, 244, 185, 151, 135, 221, 166, 217, 213, 199,
    222, 195, 191, 193, 254, 174, 144, 159, 218, 237, 255, 155, 227, 206, 177,
    197, 192, 212, 226, 165, 142, 231, 175, 228, 246, 215, 213, 249, 187, 225,
    178, 238, 171, 214, 254, 191, 177, 147, 160, 138, 169, 163, 165, 231, 192,
    190, 221, 139, 202, 166, 164, 198, 239, 143, 204, 243, 144, 156, 182, 242,
    184, 153, 193, 197, 176, 129, 207, 185, 170, 131, 167, 149, 145, 229, 172,
    130, 168, 222, 142, 244, 158, 162, 146, 219, 133, 250, 141, 155, 205, 140,
    188, 210, 247, 212, 216, 175, 151, 189, 148, 237, 203, 230, 226, 180, 157,
    206, 255, 220, 234, 208, 200, 218, 183, 240, 132, 252, 136, 195, 174, 137,
    211, 201, 223, 196, 228, 199, 248, 241, 186, 224, 181, 233, 159, 253, 154,
    134, 217, 235, 245, 161, 227, 194, 179, 232, 251, 135, 209, 150, 173, 152,
    236, 256, 253, 224, 146, 236, 243, 250, 202, 201, 147, 191, 198, 143, 189,
    196, 151, 211, 131, 165, 195, 166, 208, 171, 140, 244, 214, 218, 219, 228,
    235, 192, 141, 173, 234, 145, 167, 251, 232, 157, 256, 132, 180, 177, 176,
    138, 178, 210, 255, 156, 170, 161, 163, 150, 130, 184, 159, 238, 194, 245,
    252, 204, 139, 247, 205, 240, 179, 209, 133, 246, 215, 137, 222, 175, 136,
    154, 160, 158, 223, 229, 197, 199, 212, 254, 213, 206, 242, 203, 168, 249,
    183, 207, 226, 220, 152, 134, 162, 237, 200, 185, 181, 230, 216, 217, 142,
    182, 190, 172, 187, 169, 231, 174, 225, 188, 227, 248, 193, 241, 155, 239,
    135, 186, 129, 233, 148, 144, 149, 221, 153, 164, 196, 173, 172, 148, 146,
    171, 170, 221, 188, 182, 145, 240, 213, 231, 211, 254, 252, 161, 204, 218,
    190, 235, 154, 144, 130, 149, 197, 192, 175, 165, 131, 227, 208, 181, 158,
    224, 229, 236, 184, 251, 233, 140, 156, 228, 176, 183, 246, 249, 220, 201,
    244, 189, 151, 169, 164, 200, 137, 138, 152, 245, 226, 217, 250, 256, 255,
    147, 247, 193, 139, 166, 242, 230, 129, 209, 223, 159, 136, 162, 142, 187,
    178, 174, 241, 179, 163, 134, 155, 157, 133, 215, 132, 203, 177, 160, 210,
    167, 143, 198, 150, 239, 212, 234, 219, 225, 206, 216, 214, 168, 194, 237,
    135, 191, 180, 243, 205, 253, 202, 232, 185, 199, 153, 207, 248, 195, 186,
    222, 141, 238, 148, 243, 166, 188, 226, 208, 149, 215, 145, 251, 239, 191,
    209, 255, 144, 222, 231, 225, 156, 180, 133, 172, 147, 183, 200, 227, 179,
    195, 249, 241, 196, 242, 137, 228, 173, 160, 230, 175, 151, 134, 253, 212,
    235, 250, 211, 245, 163, 237, 247, 170, 138, 224, 139, 217, 182, 206, 152,
    194, 205, 132, 186, 238, 142, 181, 207, 167, 252, 214, 158, 198, 236, 199,
    223, 240, 234, 146, 155, 150, 135, 131, 202, 203, 246, 219, 171, 187, 164,
    218, 143, 221, 229, 220, 174, 201, 185, 140, 232, 213, 165, 254, 154, 169,
    178, 161, 157, 216, 153, 193, 168, 184, 248, 159, 129, 244, 210, 190, 192,
    141, 256, 176, 204, 177, 130, 197, 189, 162, 136, 233, 201, 168, 135, 226,
    152, 169, 167, 205, 203, 233, 243, 232, 253, 157, 249, 133, 165, 129, 220,
    246, 209, 149, 197, 208, 160, 176, 224, 206, 146, 182, 187, 211, 130, 212,
    250, 140, 227, 255, 213, 225, 173, 192, 134, 184, 180, 171, 238, 191, 237,
    234, 170, 139, 136, 217, 190, 247, 189, 148, 202, 251, 219, 186, 166, 241,
    252, 181, 138, 158, 210, 159, 172, 194, 179, 175, 193, 164, 132, 218, 150,
    235, 188, 178, 229, 230, 154, 142, 155, 215, 240, 199, 153, 223, 248, 162,
    244, 161, 239, 242, 200, 196, 245, 137, 198, 214, 228, 163, 131, 145, 231,
    254, 185, 256, 177, 144, 183, 207, 216, 204, 174, 151, 147, 143, 222, 195,
    141, 221, 156, 236, 148, 194, 175, 167, 249, 187, 182, 211, 136, 155, 227,
    208, 151, 239, 188, 203, 199, 149, 137, 195, 130, 193, 207, 219, 132, 225,
    145, 212, 215, 231, 135, 240, 184, 186, 174, 205, 173, 180, 178, 218, 222,
    256, 251, 179, 150, 248, 170, 204, 247, 138, 164, 189, 209, 244, 156, 255,
    191, 232, 198, 176, 190, 226, 246, 241, 142, 141, 242, 221, 133, 197, 243,
    185, 172, 160, 152, 183, 213, 165, 217, 234, 140, 228, 220, 196, 250, 139,
    214, 159, 131, 210, 238, 206, 237, 153, 216, 147, 171, 129, 223, 253, 229,
    230, 202, 168, 162, 169, 254, 157, 200, 154, 192, 143, 181, 233, 235, 245,
    201, 236, 224, 134, 144, 158, 163, 146, 161, 166, 252, 177, 306, 300, 383,
    261, 369, 374, 357, 269, 291, 298, 345, 275, 352, 271, 339, 321, 356, 351,
    372, 371, 297, 348, 286, 259, 355, 322, 317, 373, 333, 335, 367, 360, 330,
    283, 289, 370, 258, 320, 279, 379, 350, 323, 316, 264, 346, 262, 266, 325,
    268, 362, 361, 353, 276, 341, 324, 378, 338, 358, 314, 313, 364, 267, 274,
    281, 305, 365, 359, 265, 307, 326, 308, 340, 336, 295, 312, 257, 382, 278,
    270, 302, 287, 319, 299, 377, 375, 263, 354, 293, 310, 328, 376, 309, 381,
    296, 349, 342, 327, 347, 343, 282, 273, 384, 280, 260, 329, 368, 344, 284,
    301, 315, 380, 277, 366, 337, 303, 285, 311, 318, 272, 332, 288, 304, 331,
    290, 294, 334, 292, 363, 363, 258, 260, 346, 336, 326, 358, 355, 370, 302,
    350, 332, 316, 263, 369, 310, 338, 362, 273, 282, 329, 324, 378, 376, 359,
    261, 264, 268, 375, 382, 348, 284, 356, 277, 279, 341, 309, 343, 364, 334,
    361, 297, 360, 384, 377, 266, 311, 313, 349, 335, 373, 312, 293, 267, 367,
    292, 314, 330, 296, 342, 323, 287, 371, 272, 304, 298, 327, 269, 317, 274,
    278, 372, 303, 337, 383, 320, 351, 365, 321, 344, 276, 381, 290, 300, 374,
    325, 366, 315, 301, 259, 347, 319, 322, 339, 262, 306, 368, 352, 280, 283,
    270, 257, 318, 345, 357, 328, 275, 340, 281, 285, 271, 286, 288, 291, 308,
    307, 295, 299, 379, 353, 331, 289, 294, 265, 380, 354, 333, 305, 325, 259,
    305, 334, 316, 288, 378, 358, 361, 289, 326, 364, 376, 339, 275, 335, 263,
    297, 338, 377, 352, 310, 349, 299, 381, 383, 363, 291, 308, 277, 351, 366,
    374, 321, 328, 270, 373, 306, 274, 372, 350, 365, 281, 340, 337, 267, 298,
    279, 345, 280, 370, 356, 292, 312, 342, 360, 329, 324, 285, 309, 344, 367,
    347, 258, 341, 304, 303, 266, 353, 284, 276, 287, 290, 319, 322, 294, 295,
    314, 336, 379, 348, 296, 359, 268, 260, 264, 271, 283, 282, 257, 318, 265,
    269, 333, 362, 382, 323, 384, 320, 315, 286, 301, 311, 262, 369, 261, 302,
    357, 293, 331, 354, 368, 375, 272, 278, 371, 327, 313, 330, 355, 317, 273,
    307, 300, 380, 332, 343, 346, 300, 340, 277, 290, 283, 282, 293, 366, 319,
    304, 279, 381, 305, 361, 333, 301, 365, 353, 317, 356, 370, 308, 295, 330,
    372, 343, 302, 346, 378, 324, 323, 292, 266, 280, 268, 316, 259, 374, 339,
    257, 261, 285, 313, 272, 258, 345, 298, 352, 311, 310, 263, 264, 267, 329,
    289, 360, 364, 380, 320, 286, 287, 322, 351, 297, 315, 338, 375, 276, 344,
    326, 309, 368, 303, 278, 337, 335, 294, 354, 384, 383, 271, 288, 260, 331,
    269, 306, 367, 325, 299, 284, 312, 379, 270, 318, 363, 262, 342, 382, 291,
    273, 341, 373, 332, 371, 281, 349, 296, 307, 274, 357, 336, 347, 355, 265,
    377, 321, 350, 348, 358, 275, 314, 334, 376, 359, 369, 327, 328, 362, 275,
    259, 380, 381, 271, 320, 345, 293, 354, 334, 317, 288, 353, 372, 349, 313,
    378, 287, 331, 379, 289, 286, 377, 263, 297, 336, 282, 341, 357, 323, 343,
    356, 284, 338, 269, 328, 365, 376, 322, 290, 344, 374, 325, 382, 281, 268,
    296, 309, 316, 300, 347, 266, 311, 295, 298, 267, 337, 291, 276, 257, 292,
    333, 368, 261, 373, 273, 364, 358, 375, 274, 324, 312, 278, 335, 339, 283,
    329, 384, 321, 348, 315, 260, 294, 359, 304, 264, 326, 305, 352, 330, 360,
    361, 280, 270, 362, 342, 258, 371, 327, 332, 340, 355, 367, 308, 265, 351,
    303, 366, 306, 363, 279, 272, 369, 262, 346, 350, 318, 307, 383, 310, 319,
    277, 302, 301, 370, 285, 299, 314, 280, 269, 366, 362, 384, 360, 262, 321,
    383, 314, 361, 265, 381, 372, 325, 305, 294, 344, 259, 297, 371, 322, 309,
    313, 292, 375, 379, 316, 382, 307, 304, 282, 281, 356, 345, 319, 355, 315,
    323, 283, 330, 274, 263, 342, 332, 284, 302, 335, 324, 272, 278, 257, 303,
    311, 276, 339, 260, 271, 376, 377, 261, 312, 359, 285, 357, 353, 334, 258,
    299, 365, 340, 298, 336, 286, 328, 378, 358, 291, 341, 296, 380, 266, 289,
    351, 267, 320, 350, 346, 273, 306, 295, 310, 329, 275, 367, 337, 277, 326,
    374, 348, 343, 308, 290, 327, 288, 293, 368, 364, 349, 373, 279, 317, 333,
    369, 338, 301, 347, 354, 331, 268, 370, 264, 318, 270, 300, 352, 287, 363,
    341, 348, 376, 346, 331, 305, 340, 302, 308, 303, 315, 321, 375, 278, 298,
    333, 319, 287, 334, 371, 260, 310, 263, 330, 326, 359, 282, 335, 313, 369,
    342, 300, 299, 286, 379, 291, 276, 301, 355, 349, 347, 257, 304, 373, 294,
    336, 290, 270, 306, 363, 383, 370, 262, 297, 284, 293, 384, 329, 358, 367,
    277, 374, 267, 356, 353, 352, 272, 311, 323, 324, 368, 344, 362, 325, 380,
    261, 328, 288, 317, 345, 279, 337, 296, 372, 271, 266, 382, 274, 273, 275,
    264, 312, 343, 366, 361, 351, 316, 350, 381, 322, 292, 360, 285, 283, 314,
    339, 338, 268, 269, 289, 354, 309, 365, 377, 307, 258, 332, 357, 295, 320,
    281, 378, 318, 327, 280, 265, 259, 364, 346, 315, 371, 265, 305, 322, 321,
    354, 273, 297, 257, 378, 345, 343, 275, 299, 278, 314, 353, 327, 335, 329,
    338, 362, 326, 285, 323, 279, 369, 267, 298, 324, 309, 351, 319, 291, 336,
    276, 333, 328, 292, 286, 280, 277, 288, 379, 259, 380, 260, 381, 296, 318,
    364, 368, 287, 334, 375, 382, 270, 284, 342, 263, 266, 311, 360, 384, 258,
    320, 363, 370, 359, 366, 341, 272, 316, 281, 356, 374, 282, 367, 302, 301,
    295, 365, 339, 308, 337, 376, 283, 293, 330, 352, 361, 304, 271, 268, 300,
    355, 290, 349, 331, 261, 348, 372, 313, 358, 274, 344, 373, 357, 294, 289,
    317, 303, 310, 383, 325, 377, 312, 306, 347, 340, 307, 264, 269, 350, 332,
    262, 257, 328, 348, 336, 323, 303, 339, 374, 351, 379, 272, 327, 274, 333,
    352, 278, 359, 314, 370, 300, 267, 290, 270, 380, 261, 275, 260, 289, 259,
    345, 330, 291, 284, 271, 310, 258, 340, 324, 301, 357, 365, 295, 329, 322,
    307, 364, 384, 342, 283, 276, 338, 305, 296, 335, 282, 349, 266, 263, 298,
    268, 371, 366, 313, 281, 319, 318, 356, 317, 382, 373, 381, 308, 299, 367,
    286, 277, 331, 372, 315, 287, 269, 377, 341, 311, 346, 360, 306, 353, 285,
    383, 355, 280, 321, 344, 376, 332, 343, 350, 375, 279, 316, 302, 354, 368,
    325, 361, 304, 334, 312, 369, 347, 363, 273, 297, 358, 288, 264, 320, 378,
    294, 337, 309, 262, 326, 362, 293, 265, 292, 261, 302, 357, 382, 328, 356,
    346, 338, 340, 378, 323, 310, 342, 314, 279, 313, 326, 308, 309, 352, 322,
    320, 269, 293, 315, 334, 345, 384, 376, 271, 379, 281, 381, 329, 289, 264,
    301, 362, 266, 305, 278, 280, 262, 344, 268, 333, 283, 339, 321, 298, 368,
    365, 377, 257, 336, 258, 273, 274, 306, 288, 304, 292, 307, 311, 335, 359,
    296, 369, 349, 366, 284, 263, 332, 343, 276, 272, 330, 361, 363, 270, 347,
    372, 316, 265, 290, 348, 260, 312, 324, 380, 286, 277, 337, 275, 383, 291,
    331, 364, 367, 319, 353, 373, 371, 287, 325, 358, 285, 351, 318, 327, 294,
    267, 300, 374, 317, 295, 354, 355, 259, 370, 360, 303, 341, 299, 375, 297,
    282, 350, 326, 332, 286, 360, 328, 335, 312, 353, 267, 337, 371, 317, 344,
    298, 340, 294, 363, 362, 383, 316, 320, 339, 368, 263, 282, 380, 381, 318,
    366, 377, 348, 306, 309, 315, 350, 322, 382, 303, 301, 374, 330, 357, 272,
    319, 268, 346, 352, 376, 345, 351, 370, 323, 321, 365, 367, 285, 260, 265,
    277, 280, 341, 262, 324, 349, 271, 289, 295, 281, 300, 364, 297, 359, 333,
    334, 355, 358, 375, 276, 361, 284, 261, 273, 275, 274, 378, 293, 379, 343,
    372, 305, 290, 283, 331, 291, 299, 259, 336, 384, 369, 257, 342, 304, 270,
    329, 311, 327, 373, 278, 313, 266, 307, 354, 269, 347, 296, 338, 279, 314,
    258, 288, 292, 325, 287, 302, 356, 310, 264, 308, 294, 308, 296, 360, 304,
    275, 341, 302, 305, 266, 369, 314, 269, 375, 291, 339, 349, 280, 381, 350,
    327, 370, 329, 259, 316, 365, 357, 333, 257, 354, 313, 348, 359, 364, 261,
    362, 332, 268, 287, 276, 331, 326, 267, 382, 286, 297, 295, 262, 323, 288,
    309, 380, 378, 274, 334, 303, 355, 321, 289, 318, 366, 356, 279, 278, 307,
    368, 352, 345, 277, 270, 371, 310, 317, 315, 319, 290, 283, 374, 376, 337,
    306, 336, 351, 373, 271, 324, 311, 340, 330, 282, 273, 258, 264, 298, 361,
    300, 342, 383, 346, 325, 284, 358, 372, 367, 335, 347, 377, 312, 292, 344,
    293, 343, 263, 384, 281, 338, 301, 353, 260, 265, 379, 272, 299, 322, 285,
    328, 363, 320, 512, 488, 426, 457, 396, 504, 503, 496, 413, 458, 387, 435,
    420, 401, 403, 432, 394, 459, 443, 483, 484, 467, 388, 391, 422, 449, 473,
    430, 497, 486, 511, 450, 424, 395, 463, 493, 433, 392, 415, 400, 417, 437,
    448, 439, 502, 447, 508, 466, 510, 409, 479, 419, 477, 482, 390, 411, 407,
    476, 500, 427, 494, 478, 386, 460, 429, 505, 385, 442, 434, 441, 491, 423,
    495, 444, 389, 402, 487, 445, 399, 425, 462, 405, 489, 410, 506, 416, 490,
    404, 418, 393, 455, 481, 454, 436, 469, 472, 480, 465, 509, 406, 485, 408,
    398, 461, 438, 440, 474, 492, 428, 475, 431, 499, 498, 412, 464, 456, 451,
    501, 414, 421, 397, 507, 470, 446, 468, 453, 471, 452, 404, 462, 511, 405,
    418, 435, 392, 474, 438, 510, 437, 461, 400, 432, 401, 485, 499, 427, 475,
    421, 453, 495, 459, 426, 422, 447, 442, 429, 456, 481, 443, 444, 397, 386,
    420, 424, 468, 508, 505, 448, 415, 487, 486, 480, 482, 395, 473, 449, 411,
    394, 494, 406, 403, 470, 500, 451, 476, 399, 507, 454, 472, 388, 491, 483,
    396, 452, 425, 455, 436, 439, 409, 416, 385, 502, 469, 504, 402, 501, 490,
    458, 445, 417, 484, 414, 391, 488, 471, 477, 466, 440, 434, 493, 423, 492,
    489, 497, 450, 464, 506, 446, 390, 498, 463, 428, 512, 413, 467, 460, 433,
    398, 387, 441, 410, 478, 430, 496, 479, 457, 407, 509, 419, 503, 412, 431,
    393, 465, 408, 389, 430, 460, 466, 412, 468, 483, 443, 497, 486, 431, 452,
    435, 491, 487, 445, 482, 509, 492, 484, 403, 436, 473, 453, 392, 420, 496,
    389, 500, 397, 479, 456, 417, 469, 406, 480, 475, 393, 394, 411, 390, 447,
    494, 476, 462, 501, 400, 504, 402, 461, 410, 467, 387, 490, 499, 505, 512,
    457, 427, 401, 458, 471, 489, 398, 478, 459, 413, 506, 472, 449, 508, 477,
    451, 498, 464, 465, 481, 433, 421, 470, 502, 441, 404, 450, 429, 439, 495,
    440, 437, 432, 408, 424, 399, 444, 423, 428, 442, 405, 455, 485, 422, 493,
    396, 438, 386, 418, 385, 416, 409, 426, 415, 407, 474, 503, 507, 419, 454,
    434, 463, 425, 395, 448, 414, 391, 510, 446, 511, 488, 388, 388, 498, 442,
    389, 475, 398, 397, 462, 416, 424, 439, 441, 436, 463, 400, 402, 393, 423,
    481, 412, 472, 470, 488, 491, 420, 421, 449, 425, 493, 486, 456, 417, 468,
    411, 446, 435, 451, 511, 478, 508, 413, 450, 392, 479, 461, 496, 509, 502,
    443, 385, 452, 404, 406, 426, 394, 476, 477, 453, 429, 494, 455, 506, 500,
    433, 454, 430, 466, 484, 474, 395, 487, 387, 444, 471, 482, 434, 473, 499,
    414, 396, 408, 431, 418, 501, 391, 459, 399, 495, 401, 448, 512, 432, 390,
    405, 437, 428, 409, 504, 469, 507, 445, 505, 386, 464, 485, 410, 503, 480,
    489, 457, 483, 427, 407, 422, 458, 492, 419, 440, 497, 465, 510, 403, 490,
    467, 415, 447, 438, 460, 475, 402, 497, 395, 439, 390, 481, 472, 408, 469,
    456, 489, 457, 505, 430, 424, 447, 416, 508, 441, 415, 434, 473, 429, 405,
    491, 459, 425, 410, 409, 451, 435, 479, 394, 488, 468, 399, 493, 407, 462,
    455, 403, 387, 484, 483, 431, 391, 460, 404, 477, 453, 414, 506, 482, 500,
    393, 406, 478, 471, 485, 449, 433, 463, 490, 467, 452, 420, 474, 426, 458,
    501, 487, 504, 510, 486, 385, 386, 398, 417, 389, 432, 423, 454, 507, 419,
    421, 494, 422, 400, 450, 492, 427, 470, 465, 438, 444, 511, 396, 418, 437,
    461, 499, 443, 436, 480, 442, 495, 440, 448, 446, 411, 397, 392, 502, 413,
    496, 476, 498, 509, 401, 428, 512, 466, 503, 445, 388, 464, 412, 477, 432,
    414, 415, 489, 389, 474, 464, 484, 507, 434, 417, 498, 492, 445, 398, 458,
    407, 455, 427, 424, 479, 452, 490, 409, 471, 390, 491, 472, 505, 399, 502,
    450, 463, 425, 396, 495, 406, 430, 466, 512, 453, 510, 411, 435, 475, 393,
    485, 438, 493, 433, 426, 509, 478, 437, 401, 481, 467, 395, 403, 508, 449,
    385, 392, 405, 500, 446, 457, 448, 394, 501, 421, 419, 460, 447, 429, 470,
    504, 465, 420, 410, 440, 386, 497, 462, 408, 454, 391, 496, 441, 456, 459,
    473, 431, 397, 444, 388, 482, 387, 506, 483, 503, 451, 412, 416, 487, 511,
    428, 486, 402, 461, 439, 480, 418, 400, 442, 468, 404, 443, 469, 494, 423,
    436, 499, 476, 413, 488, 422, 482, 404, 499, 474, 470, 510, 387, 440, 445,
    458, 392, 471, 389, 452, 477, 444, 466, 408, 468, 429, 396, 428, 418, 413,
    467, 450, 438, 410, 492, 495, 420, 465, 483, 505, 500, 432, 402, 485, 397,
    401, 427, 491, 457, 460, 502, 454, 386, 488, 463, 442, 419, 415, 443, 411,
    388, 403, 416, 406, 461, 490, 489, 487, 476, 494, 484, 407, 511, 394, 469,
    409, 414, 426, 405, 449, 504, 433, 459, 462, 478, 435, 493, 501, 481, 421,
    486, 399, 448, 464, 475, 430, 479, 498, 390, 398, 496, 439, 437, 506, 480,
    509, 412, 395, 431, 447, 453, 508, 446, 434, 512, 417, 472, 507, 473, 424,
    451, 385, 497, 436, 425, 503, 441, 423, 393, 456, 400, 391, 455, 422, 454,
    475, 404, 419, 488, 408, 494, 500, 387, 434, 412, 452, 401, 391, 503, 508,
    432, 468, 396, 417, 392, 441, 411, 511, 439, 504, 476, 458, 453, 473, 385,
    484, 501, 386, 489, 482, 512, 422, 498, 466, 403, 424, 481, 487, 402, 442,
    420, 499, 429, 492, 423, 493, 415, 480, 389, 467, 456, 433, 418, 485, 410,
    447, 388, 414, 445, 490, 409, 477, 472, 390, 446, 507, 405, 479, 465, 460,
    448, 457, 438, 397, 427, 455, 464, 502, 509, 399, 469, 461, 443, 431, 444,
    470, 505, 398, 486, 459, 497, 400, 428, 395, 449, 483, 425, 421, 430, 440,
    478, 450, 435, 496, 506, 463, 407, 462, 436, 510, 426, 474, 451, 416, 471,
    394, 413, 393, 495, 491, 406, 437, 467, 425, 466, 387, 474, 432, 391, 436,
    473, 505, 512, 511, 503, 500, 491, 452, 440, 404, 464, 499, 418, 495, 398,
    429, 417, 410, 460, 424, 507, 449, 478, 386, 457, 454, 492, 465, 501, 504,
    409, 412, 486, 395, 431, 422, 477, 402, 487, 483, 450, 414, 399, 459, 388,
    396, 405, 441, 468, 498, 448, 394, 423, 461, 485, 420, 447, 493, 455, 451,
    426, 439, 488, 427, 442, 428, 470, 453, 463, 445, 434, 443, 397, 438, 508,
    482, 476, 480, 479, 497, 481, 510, 403, 433, 446, 416, 393, 509, 475, 408,
    407, 471, 430, 400, 437, 406, 490, 506, 385, 462, 469, 415, 496, 421, 390,
    401, 489, 472, 484, 458, 494, 392, 435, 413, 444, 502, 419, 456, 389, 411,
    447, 472, 507, 426, 392, 488, 434, 461, 411, 393, 404, 495, 424, 439, 471,
    493, 483, 435, 412, 469, 385, 421, 468, 462, 429, 511, 397, 480, 405, 442,
    497, 433, 391, 458, 419, 399, 476, 448, 410, 395, 413, 401, 428, 506, 454,
    415, 443, 474, 457, 464, 500, 438, 481, 406, 389, 432, 492, 437, 510, 463,
    430, 504, 502, 498, 416, 422, 485, 477, 450, 508, 446, 512, 449, 452, 484,
    440, 444, 400, 482, 459, 470, 490, 414, 499, 503, 423, 479, 431, 418, 407,
    473, 455, 496, 417, 408, 441, 445, 486, 398, 388, 465, 386, 402, 475, 453,
    456, 491, 489, 451, 420, 396, 501, 509, 505, 467, 394, 390, 409, 387, 478,
    403, 466, 487, 460, 436, 494, 425, 427, 447, 493, 422, 492, 460, 388, 418,
    461, 449, 412, 415, 490, 464, 405, 482, 439, 446, 480, 438, 386, 395, 462,
    444, 510, 399, 435, 458, 400, 505, 470, 506, 469, 385, 427, 401, 467, 390,
    475, 448, 423, 453, 479, 491, 426, 425, 431, 474, 497, 484, 501, 499, 409,
    494, 511, 488, 500, 393, 472, 429, 471, 502, 434, 487, 408, 454, 465, 481,
    424, 419, 508, 463, 398, 466, 410, 489, 498, 430, 403, 486, 428, 417, 413,
    394, 459, 440, 483, 451, 436, 392, 414, 457, 441, 504, 389, 442, 455, 402,
    456, 496, 411, 406, 391, 473, 387, 421, 512, 485, 416, 477, 404, 468, 495,
    503, 432, 450, 476, 478, 445, 433, 420, 396, 443, 407, 437, 509, 452, 507,
    397, 503, 408, 444, 425, 472, 388, 396, 431, 400, 409, 435, 389, 482, 479,
    410, 395, 442, 452, 411, 495, 471, 385, 500, 450, 393, 403, 512, 494, 476,
    386, 430, 453, 402, 467, 432, 448, 469, 397, 391, 427, 460, 464, 418, 502,
    489, 446, 510, 470, 417, 486, 449, 421, 505, 406, 458, 508, 480, 475, 454,
    468, 501, 436, 415, 445, 424, 447, 477, 462, 439, 496, 426, 440, 459, 394,
    416, 405, 401, 497, 387, 490, 456, 404, 455, 473, 398, 509, 481, 451, 493,
    422, 488, 433, 504, 419, 506, 457, 465, 511, 484, 429, 392, 390, 487, 443,
    438, 461, 498, 441, 474, 399, 434, 407, 420, 437, 423, 413, 478, 485, 412,
    499, 483, 463, 507, 466, 414, 491, 492, 428};
const float HRAa_1536_512_input[] = {
    13.386899925109432,    -13.874621377458897,    -16.780017007177882,
    -6.290312059289052,    -12.12827186210024,     -6.7215865007863869,
    -12.928496427823001,   -9.5320512690650236,    -7.743243384270599,
    13.537963482938862,    -2.7747305809320273,    -12.582411711157423,
    -5.3802664401721669,   -12.212445933608072,    -7.6896834132998464,
    -13.886251758086326,   10.057357007368099,     -0.54545642222569801,
    8.205317948012846,     9.9587921963912223,     1.787839710999801,
    -1.8877909028033726,   -5.4872655283312968,    -8.062104638589874,
    12.160461660371981,    -15.667876557032479,    8.8975273390429983,
    -3.3765083480826616,   9.3816292204533749,     -11.374049439344271,
    -10.36262436541605,    6.7202129273737032,     8.6272248519835983,
    6.8202854789610363,    -9.9864325836014913,    -1.3405851953534818,
    -11.142776994932193,   -1.9184371643698088,    9.7100901224681202,
    8.0943424444060117,    10.207687208250547,     -12.139932744539616,
    -8.6843097992891565,   11.103660696595387,     8.3959816215268113,
    -5.2149232726762502,   -10.099642434219659,    8.4287998205932535,
    -8.1131273436353393,   11.077737095117719,     11.873290693127736,
    -8.3323685207242288,   8.306765838979139,      -7.7344852728193692,
    -12.595270449431288,   -11.151338526616161,    8.8518394477850517,
    -7.3707217826997509,   -15.236586757477074,    -16.861400843579382,
    -5.2451688100646434,   -7.9139079697369601,    4.624265800939507,
    -3.8868901758034666,   5.149322447921163,      -4.8408994988342702,
    -16.025567965427282,   8.9397007078167832,     11.615085927048078,
    8.7522408607897013,    8.9362025413954598,     -12.419911954640257,
    1.3360373310499056,    5.8047604915295699,     -11.499552394388353,
    -9.0848912468207565,   -0.33403972984943742,   4.4543924597778224,
    7.5516321347188526,    -14.133335935201398,    5.0051740595271017,
    16.889255448806885,    4.2732555534579513,     10.895662242985567,
    12.023371162173557,    -16.54177280794126,     16.47187146826094,
    -8.1320457770163532,   14.492657760424361,     5.1425318773536102,
    -12.674348565024257,   -12.591971003025808,    -11.419434896299183,
    -7.134364911729187,    -14.456345736529295,    6.9801481308852464,
    3.5178871967459839,    -5.4222404575852448,    17.787168094008695,
    -6.2963736353761854,   6.0773417416842221,     12.129562430166006,
    -12.394762329795224,   10.349629378600094,     6.4331304797784803,
    4.0178325470947502,    -1.138956390083639,     8.1137355075137663,
    13.895337237225856,    5.2871675790043309,     -0.71033385965710749,
    -8.0604882356929117,   10.198012315557385,     11.576288688276565,
    10.989989721011501,    -1.8717320818182488,    10.123904063310743,
    10.784665440661042,    -4.3035609830061903,    9.6837773036405093,
    -14.835135985873862,   -5.1478442440128811,    -6.6505387088228947,
    7.6760013089942545,    6.4660475793279915,     -6.5596877295244536,
    -9.3116314056097949,   7.6328445056019074,     8.8548767929342613,
    7.5197255274599808,    -7.9120195042812034,    -7.1323001875535148,
    10.791556287617038,    10.084448901305496,     -10.743240913473755,
    12.353642192693162,    -4.527053580524516,     7.3242837488860237,
    11.840083930085372,    -10.619537990011144,    -7.6706979631015884,
    -10.372557115087139,   -8.8632681653872467,    -4.4224067975512833,
    10.305320214477293,    -13.718057823394824,    4.1964852185559138,
    -1.4362461161357318,   -9.2144112590704665,    8.3877875072624768,
    -10.28487762491257,    -9.1114457918206746,    5.9370140811870229,
    14.470896650278901,    5.1658695784729174,     -9.341067315095037,
    13.898060872612461,    -3.9942168173342556,    -8.3744670385083744,
    7.3185644061709123,    -10.677918127800307,    8.7839855993602747,
    5.9967809699512715,    7.3957884730189676,     -3.2504312305872545,
    -9.6416522009408538,   5.8869284856565551,     6.8296803475321157,
    -8.8993273140276621,   6.4153892959374943,     10.71036283303145,
    5.7650612619594863,    10.78849375974715,      -1.4177006030538843,
    1.5219866880330013,    7.6721747796307929,     -5.4730436651294374,
    -9.5147711755665831,   -15.201928353576326,    9.1070883523744062,
    -1.429613590187548,    10.993649358659018,     3.3503803060819508,
    -17.486331072327484,   -10.477380738424001,    -4.7161288387109055,
    7.0041944951217889,    -8.5563404605446678,    -13.558221470146432,
    1.9509536932085323,    -2.1008828270020299,    -6.0209650694579304,
    7.2795925605768037,    6.4403696840313165,     9.6872136018234638,
    -10.083520911839761,   2.2569120937126366,     -6.2731874949190027,
    -16.003233247997624,   2.6470504909477603,     1.9679136003343678,
    1.084323481971722,     -5.5869253766683347,    10.471030535111106,
    -10.141071326109691,   3.0103339932739437,     -1.7669043857695677,
    -7.6573452029265354,   -4.3258934638902158,    -10.968459179578497,
    15.741636049842855,    -10.9522061668373,      -9.4904695438104927,
    10.385857264222551,    10.297120789438011,     6.5744952638429925,
    5.8740095877629486,    10.799510515320124,     -6.3545024936903296,
    -0.79879489541004711,  -7.9890116216388165,    -7.0895275092337746,
    -1.1693711835427318,   -11.031571816277879,    -2.7661989355564196,
    -12.648614251118801,   3.6890373669346022,     -9.6492587977566604,
    16.37751360979837,     -11.834071942761344,    -8.1856488251627724,
    -2.6452776364462234,   -7.8494578072748498,    -4.3583881632417762,
    9.0567313787087418,    -11.915674625575223,    6.3560722843437931,
    -12.459623655201984,   10.634887971076129,     -16.922079821941349,
    2.6306182284481716,    -4.8306213551740491,    -6.8938315321790871,
    -11.732112230175732,   -14.980055011514212,    14.341141814607978,
    9.3877580146603421,    10.212542439703331,     10.226413776118815,
    1.4940604264129116,    7.7454328449595184,     -17.063990479025335,
    19.866966739493524,    -10.140740571896508,    -12.522044834618598,
    7.0883420344447883,    8.639822911246295,      8.696282010555846,
    -4.6180581749529885,   15.128219796014116,     9.944475468031726,
    3.9061050633893308,    -0.44811804820690332,   -9.8453458886200469,
    11.310920421915538,    -1.8877371033018449,    -13.955810775304432,
    -9.3663850942658744,   -13.7152384276622,      8.1778408387550972,
    -11.099226967110654,   -0.40938224282111474,   7.407933602924528,
    9.5946649739529732,    8.9692970855929381,     -7.4260161983282993,
    -6.7127946668575396,   -3.32421449686648,      11.949556138901517,
    6.0724437348944251,    -8.7144215382129016,    -6.8610474000112394,
    7.2567571883933359,    -6.3499249476454329,    9.3590736715335225,
    -6.5503328955021827,   -6.9702845680797187,    -10.317890011660792,
    -3.6167068395322954,   -4.8790397611256688,    16.56935536921031,
    15.259301626496455,    4.095983810772946,      -8.287550939084964,
    -9.9120810548007725,   9.9159918358704644,     7.7341221557626856,
    -6.968193796769385,    11.636066712371051,     -11.761055820947789,
    8.1630237309173719,    6.4488185954770767,     7.3664462176342393,
    9.1231645572893783,    1.6141196499486792,     -9.6504558418612536,
    -5.3306358019773254,   -6.2121734777196425,    6.0886130638484497,
    -7.8160047985525329,   -2.3620627464284909,    -5.7089981216523924,
    11.764939486817402,    6.9146263458573811,     5.4499539427791159,
    9.0526658073376804,    -6.4040202312779462,    1.9520703353601458,
    8.8078015730086339,    -2.6857890845936474,    -7.4845378984175008,
    -10.998145344747881,   3.9650986691130394,     7.3045582654386916,
    7.256277698095202,     8.8550148662006052,     4.4431559525918427,
    13.61919949600221,     -8.6465615710269912,    5.8013976504697808,
    3.5026821856868993,    -12.178296532701346,    6.9207418083416181,
    -4.1355644302631589,   5.5861383859524665,     -14.116022346856981,
    12.594015809448324,    -13.393001860550452,    9.5607723957857971,
    -13.112365438653656,   -1.6596837312771877,    8.7341819566011267,
    7.4760433147262795,    -8.1942077127202122,    8.3436147974653725,
    9.8720061590436838,    8.0887096325543109,     -17.197684682990683,
    -8.0196097887787907,   -7.4638388448193353,    14.00243903909713,
    -6.2485104839226615,   11.356138541390258,     3.7545892163531427,
    10.415941927557306,    12.692270186087136,     3.839016769003043,
    -15.395769427822605,   7.7315150527655616,     4.8016964440291581,
    8.0132387260974589,    -6.4415560341290687,    10.805285608742018,
    -5.5301352184454284,   -13.224718660056825,    0.35302225692097389,
    4.4748784871174934,    6.9443759354462857,     10.685073446441708,
    3.1575051344879466,    -13.665701610090288,    -3.8015869558522541,
    -2.3038729510788531,   -8.4060938979535429,    10.397495774699411,
    0.63231003672718755,   16.426675593327936,     4.2757077959938554,
    -8.2297561064825651,   -12.203313074476801,    3.5349123059031688,
    -4.6316910854005595,   12.149986519547449,     10.142561680716403,
    -12.910916534376218,   -11.816001928564599,    12.752636976550916,
    1.347868026050816,     4.4506235037217419,     12.700335499696024,
    -13.848139080070318,   -11.355529001962223,    -5.7806475282042058,
    0.47750289555723269,   5.6986275269369804,     -4.4271319538016316,
    10.462558932858533,    -5.0368487144176184,    12.348453770774848,
    -10.530489062751826,   11.889507884552419,     6.7066063456855165,
    8.7257914990822734,    -11.740906669754361,    -13.198118848397669,
    11.966809170645028,    7.5576572433307501,     -12.95621542476918,
    11.112615788951556,    5.4150193506065785,     -2.4444668502999507,
    0.1275326588141078,    -9.3810637216464059,    15.15093868960655,
    3.1627056768504778,    7.7005484449478576,     -10.234073188504981,
    7.1267840100223658,    -15.91683465924223,     -13.410169751101346,
    0.13625266261370772,   -7.5750837050990372,    14.960178685292997,
    -15.435015552646451,   -3.7057206375618463,    -8.8999095085111666,
    -2.5149139619650525,   -8.3327199889755423,    18.941920607436636,
    13.420695019369392,    4.9195046375982541,     11.016163952781909,
    8.6733276067619194,    12.478765201964949,     2.3345020319649099,
    3.1973706815381244,    -10.28793250894482,     3.1017921163255822,
    3.5809364261341075,    -11.688627720005062,    -7.4899768065790839,
    6.3649946224780551,    9.1684116530245543,     -1.0144208985424472,
    -1.7386901599600024,   10.812333055795435,     4.961817477568788,
    3.1009645563657138,    6.6921808083279686,     7.3774978735208627,
    1.7132043124694183,    -10.362105107573687,    -12.173493799440179,
    -12.57733865447233,    10.40684423079197,      -7.1829220405500269,
    -5.8532485804854053,   -3.3187986578272421,    0.91880136486449959,
    -13.398651042134368,   -6.3155049249186339,    -17.255588061305122,
    2.9621721519641029,    10.684388373450155,     9.920602983772957,
    -4.9406423078278641,   7.1264826077512149,     11.66719925284613,
    6.721261092111213,     -12.730916302360351,    10.795526753678212,
    -20.573136588685408,   -5.6958101011529605,    6.9909504456743186,
    4.4715875360382364,    12.499170749494757,     -7.20935215447878,
    9.3520391463706591,    -11.260904720544124,    3.9094591998581429,
    10.542421309584265,    7.1626495100659087,     -6.2979737327672325,
    -7.4797184772604108,   -10.033365613109066,    13.639664860076691,
    14.61768258823167,     -9.349535102620095,     -12.423145667667011,
    4.9898271501817089,    3.0038807688543274,     -12.714132646116139,
    -11.715303881774823,   4.1065631173690322,     5.8299911288456308,
    16.075633106498326,    -5.7905188465892081,    -10.727791126474877,
    -6.8206190409645826,   -8.9175871578683328,    -4.6200146277545517,
    11.079880503025457,    2.510233715234405,      -10.392607673591197,
    5.8668194165681014,    -7.0114162376738856,    -10.279106538719603,
    -15.528793255069509,   -4.6085364768240247,    6.8605550379128051,
    -2.5800329268976743,   -7.3532639311399244,    20.672825917556292,
    -10.439895472960126,   -14.128598455261217,    11.328263527383783,
    -7.463336179396399,    16.130593577787007,     7.8647052993942861,
    -7.7266572437869527,   -7.6739353389438616,    -7.8625194662984832,
    -5.5481184597671502,   16.352149156645865,     1.5600738712852105,
    7.0446715470996484,    3.4977667900587481,     9.1242274771866878,
    -14.864890247335271,   2.228477042485411,      -11.636329210405362,
    -4.6796208227724287,   -2.2933856931597671,    -9.3965545946571059,
    5.2166591092510801,    -0.0061470351703269257, 11.008731035650001,
    -4.0684606352010775,   7.3388311965238815,     9.6110268205483553,
    -14.385784807623017,   -12.022179732503762,    2.2591715836384325,
    -12.450692202777248,   -6.4694864795479514,    2.4970669565811572,
    -14.438327468512828,   -7.1490383062998024,    3.1980227285689566,
    -4.3545915469413083,   11.850371754353054,     -9.6358004132594868,
    -5.5732823609496984,   -11.570303232115274,    -7.8799771256040403,
    11.364050055127539,    2.8166429122264298,     -7.7893594643305502,
    -2.3842480986276682,   -7.3290075822986527,    -5.5039959632731286,
    -2.9510245234322539,   -6.0257131849615027,    -6.3046667299320047,
    9.6500486152400153,    -13.674873390020878,    10.734758291088976,
    -12.103386933808761,   12.184692560628328,     10.655296522071822,
    11.91880094629235,     -7.4922050113367078,    -5.1457408035516625,
    9.4250278995611794,    -8.1618059524881748,    9.3940146817732177,
    -11.555304660224397,   -9.043867998939163,     -8.451710191375323,
    -0.697115284938572,    2.3373700418213623,     13.692672613492128,
    -15.665014564786702,   -3.2403867344672141,    -8.7601644681864741,
    13.019487514767658,    -12.791506892288574,    -13.625856289969327,
    -6.2209979515728566,   8.6521749698161123,     7.4180160442834548,
    1.1105314934818471,    4.4766310382738519,     11.438161271145697,
    13.894059012603345,    4.0767572471493434,     3.9865238865858319,
    3.7602317997987846,    0.76151966999394338,    -5.1810102801857445,
    14.799158905790362,    2.4576241055193684,     -13.01983807978049,
    7.7789583949391536,    -7.7989618839443171,    2.5737045662046305,
    -13.443327011814354,   -10.710116060594849,    -10.563787698873153,
    -9.0325237664249336,   -8.9417451798718943,    -19.333428943078317,
    14.683782394656195,    -8.0733543435216593,    10.754644346477024,
    7.7063042336814984,    7.1186808374245931,     -3.9617268249118553,
    -5.7198371921519167,   5.593318866773699,      -7.2969156100159678,
    -14.048944381672497,   -10.062946047657139,    -1.0260982646529979,
    -14.827752195442853,   -9.2383256700032188,    15.633286094075363,
    -16.297177435658352,   -0.64090358918251356,   16.682478300485606,
    -11.380226570148189,   -7.5596774165642087,    -7.2154274871131481,
    -7.1481514505268233,   8.5862772252140598,     -11.750005376776613,
    12.960896281443684,    13.382912666258086,     -1.5320372082264357,
    -11.480485768573448,   4.604919918163711,      -10.250884016863665,
    16.502161055342512,    10.03826905000834,      -4.2314133540673815,
    6.914838473777273,     3.033372723351186,      15.789653601786865,
    7.7740184970045538,    -13.16261088269184,     1.467484633609379,
    12.139927777657451,    7.3565534414936771,     -16.102142555887689,
    -6.7186090884258327,   -5.0455349707069272,    11.98730746398549,
    10.256496746996197,    -5.7536379862838647,    -5.4682997322585303,
    -8.6174488346296947,   4.9421612015014782,     -3.6472328067701021,
    -10.170655866613714,   -8.731587322200923,     -12.200853136951736,
    -6.4324926421828801,   12.383600590018332,     4.7177953853422574,
    -5.9611450690323569,   -4.8404699641555782,    3.4274708633282907,
    -15.369056504155758,   -13.448819507894497,    -6.9107211824606498,
    8.0113449069161451,    -3.8973949861351929,    13.021049717764123,
    -6.3796819058710641,   7.5454744658108392,     -24.991261131460227,
    -11.306957669810698,   9.9244994493158156,     -15.552007939376315,
    -11.499894592347063,   6.7321370932847282,     -5.7172766786206735,
    13.927111999325204,    14.791062203179369,     -10.463383452760558,
    10.636801153156807,    -4.894683643621029,     8.4748218331335483,
    6.714189223798841,     9.4375736465144318,     12.487559872903708,
    -6.0987096595648733,   8.3058734633496965,     4.1758106815531235,
    -0.92420186594595199,  -9.7108492563481441,    -11.032513923038188,
    6.723487961222486,     6.6405389489355722,     11.70091305718748,
    4.2393067109120421,    8.1348475294426805,     13.323378479075469,
    8.7202362776180511,    4.4526705951643395,     -9.5406850815782391,
    10.724131989567914,    3.8203055939862751,     5.655044851128495,
    -16.307030842468919,   -12.651665707248567,    10.335451776575519,
    -11.543998335115962,   -4.5894875308948739,    -9.8049275923942005,
    -3.1277981660548742,   10.521084419510812,     9.1581333155226226,
    13.912555752813075,    7.6645359315240986,     7.4281718483850714,
    -12.884604059581001,   -10.227449781754478,    6.6088359371651677,
    -8.390397410570122,    1.7389657861698138,     -9.733674950830439,
    5.6026920997089826,    8.6808454450852413,     -6.0587915108669694,
    10.402906304509559,    3.573187038527244,      10.559282882232578,
    -10.863413477205437,   -4.7386233555213177,    9.4904722391068699,
    10.157539704403206,    2.8851592670612307,     -8.3696995987232565,
    11.297835199084789,    -1.8627636495095405,    -7.1252169596821719,
    5.4278621558211784,    -10.438886769424213,    11.047071633619222,
    -6.5900981825814391,   -10.337633941764059,    2.5282376470547079,
    -9.6591177209883146,   12.449719103332304,     1.55178436617159,
    8.8699335446384353,    11.259696425771455,     6.7783986934617984,
    -3.1793426009237473,   -13.884272717050646,    6.6177054099083383,
    4.9754611216591851,    -8.1416721021369884,    10.636889546477317,
    9.381740326488913,     -13.207174194145681,    5.641084536081391,
    10.931097561358635,    2.6818980710602407,     6.6334459052688892,
    9.3510527294752901,    -13.223477811560901,    -16.02051667550996,
    -5.7642227501143166,   -7.8575844017704233,    8.5138065738662689,
    4.7241317174003958,    -10.096994042501567,    12.438227764558155,
    2.7850508919916313,    -7.2072251055036469,    -2.6269452276287124,
    -10.858511776465122,   -9.382631273358955,     8.3283966460812575,
    9.2585435022023024,    -7.4395391778349076,    -15.083896521243371,
    16.802375383935249,    -5.9975534292925188,    -9.4765112294400247,
    12.157497196108473,    4.5160814688935869,     -2.7728770210355993,
    2.9059766323671488,    -5.4101491583069929,    8.8988634463609699,
    -6.400827609041122,    5.3560360503868081,     -8.7304511666720401,
    -3.0755739720628865,   -13.966358226924728,    -6.7649639759434601,
    -5.5456693899453127,   17.302274909990441,     -7.4968096247971072,
    8.744509603950064,     -10.794741197131442,    -11.913516149338431,
    -7.729522769816862,    -7.4691133826775182,    -6.5715478061064134,
    -11.907691856087185,   -0.20263423791519211,   8.7885430265334428,
    -5.9130473048668284,   -13.708290803401704,    -13.78899848903613,
    -15.209798120169717,   -7.7253595989171355,    10.377128863501158,
    9.5577922484441498,    -9.1170808303499999,    -6.4012157193694925,
    6.0123229297351415,    -3.8082896556779615,    14.084538271217655,
    7.736609816185922,     -7.1200940445799343,    -6.0420560567461363,
    6.7749183889388505,    -6.7423962541293223,    11.698461510951111,
    12.488447340839436,    -12.158335264443023,    -11.337129599624449,
    4.6676968705568491,    -12.701834709382553,    -10.475346061527553,
    11.810486767960239,    -9.6940285745916039,    2.4420600898797606,
    -7.1590802169457932,   7.4477382756083328,     -12.84581185975534,
    4.294724353933816,     4.7862471286393875,     -5.1283227202624628,
    -12.462450772792648,   5.8462045895795738,     -2.3252078492902015,
    10.784106121114156,    -8.9091597599913488,    7.8715048196179795,
    -11.724382426901904,   -9.8819847622548878,    5.5179135967036945,
    5.8170155199540101,    13.471313785889976,     -15.525106358542637,
    -10.787512021482629,   -12.926571949496676,    0.64019471142609763,
    11.404282273170695,    9.9588402015625466,     12.047596212569777,
    -9.4553988787340977,   8.1934695042991272,     -9.2978201862150662,
    -0.16338758265088724,  -9.874707008213198,     -15.74174394890615,
    -6.2188307585781839,   6.8874774293005903,     9.063007022226051,
    12.224864329254553,    9.6788512147473025,     4.2394307617891345,
    -10.591549936022522,   6.6238089274322478,     7.5643367406337223,
    -8.9582742726253759,   12.967837079016467,     11.558303731051819,
    0.66328001774643597,   0.061562459877513763,   -9.8220366611970817,
    -8.6914608429229716,   2.0563987156423309,     -12.681611400476225,
    1.3200230993063025,    14.397044749313597,     -11.646369582297655,
    11.475601313196282,    -9.6685410246039822,    13.178785331570431,
    9.3156729399597396,    -8.2280610740799105,    -5.8512271809845346,
    -3.3513051394681299,   -12.508309397943608,    4.3947576780553819,
    -4.2609352469664099,   -3.9364029654735142,    -7.1257677022599761,
    -4.749374408895342,    -7.8617667438721872,    -3.1064686101999062,
    -3.7432869366585888,   -4.8561219977586756,    -5.4462675545135282,
    -3.0540684154947613,   -15.35711806555511,     -11.536068537082535,
    -4.7779544806256276,   1.5198489129897315,     2.2249257607654318,
    -4.4269263183089862,   7.4355310535388179,     9.2780119576973981,
    -10.652417931125679,   -4.1778682483229783,    -2.1566547856994727,
    -11.795081921533383,   10.848372600114878,     10.325168705158157,
    6.3921784987473096,    -3.4419598984874038,    -8.0823946821166821,
    -8.8829402292522772,   -2.8818508823421793,    6.3006936576743202,
    -18.0845485513623,     -6.1046031768124465,    -8.3535486208206997,
    9.9650967368521606,    16.34809005021857,      -6.3719619154861631,
    6.6492139253615576,    -2.2462433383876483,    12.414615001238596,
    9.9243080855013854,    6.5816151826391636,     -15.916468641697799,
    15.719302793672236,    12.597035667242659,     7.9314977205991974,
    -4.6176638133992505,   9.8340751357654508,     -5.6666671493884282,
    16.964399126342375,    -10.174033224406887,    -6.9445510397424979,
    -7.0003017483847918,   -5.7816060099388684,    -12.7380229338664,
    2.3874629194778292,    -4.3315690351541818,    6.402268747442819,
    -7.1986862442546862,   3.8230018987349692,     -16.488657131909211,
    -9.4628948760922604,   -4.4930989787395363,    0.20228101276884691,
    7.9230990768569933,    4.0956585057697925,     2.935031122594181,
    -6.6661480000167179,   2.1833750370684917,     -13.862136299430089,
    7.2537537887085604,    -9.7837110663390341,    8.6426502286738316,
    10.933145886680956,    -11.848044341163014,    1.9015758573080708,
    7.8955654850233579,    14.087625811239143,     15.74368395360325,
    14.915952043583991,    2.4289544447309912,     10.938797000780177,
    -0.48350975665915585,  -6.0724283824951737,    12.43180188960436,
    -17.027449220255846,   10.457087806200649,     11.834161047678036,
    -11.574528168603067,   -5.8443316647878172,    -15.909297292636424,
    2.8661614976693999,    0.94537037187104889,    -6.1321675750261466,
    3.5179605788203152,    -13.650295745999149,    -14.925340774935689,
    5.8996315469200731,    -4.742895776593735,     -12.78647038316033,
    -8.7668312292356614,   3.2991120560668561,     16.649617394331742,
    12.078195842545881,    8.3422604344231779,     6.3829490997837528,
    -16.259300428897792,   -6.7370828126804438,    -19.032060980450861,
    10.534387246647906,    15.112739135038019,     9.0482362921064681,
    -10.686676579265459,   7.4266114954786726,     7.6415038124348245,
    0.0092345294467927729, 7.3107957428418979,     -9.2074521242051137,
    13.337719418423028,    11.800206756300712,     6.4124926065359418,
    -8.6909900143815833,   11.316987754233748,     19.639736933434676,
    -3.484119576702398,    2.9928203525781334,     -13.578916945190016,
    -8.2764973238514497,   4.471627662727232,      14.082619508506047,
    12.174165038542485,    -11.000581807612242,    -16.079501874825326,
    0.70642865016413037,   15.746012766226523,     -7.6161295955099675,
    8.117804816632642,     9.3568227935114798,     -13.012224242904074,
    10.980884709953941,    -10.668687925966264,    8.3605232827699503,
    19.58871502961652,     7.3537694624012788,     12.7200136615813,
    -2.7781976528461332,   -13.043003975732004,    13.14556253978828,
    11.936967872899929,    13.171819029461137,     -7.9252087243269118,
    7.7003280461862138,    -6.5060087655108747,    -18.442930781768371,
    22.885163982319007,    6.583490491290247,      -1.1514058151352935,
    10.669101185812385,    -10.081271922767652,    13.414113164816222,
    -10.06095242529296,    4.4368474047139586,     -9.5133443219646434,
    6.2669708529045183,    -9.611863292437766,     -15.876098782760467,
    0.32220461814667717,   -4.7036651574655473,    6.5207549195711563,
    5.0860839263292528,    -12.612352596775924,    9.9738419686921542,
    0.9396778045330193,    10.651502808863189,     -1.1105748484379481,
    -9.0667683952063296,   -3.7634192509691813,    8.1968711400693568,
    7.2005601582338032,    13.38536236818598,      -7.2074952622871384,
    -10.89721410521263,    5.8944483624519881,     4.1900839916018509,
    12.886068410456097,    -7.6817739511773864,    6.2800076465595316,
    -8.0059063646010156,   15.344612453245135,     -10.986292543222252,
    -7.7963115789804949,   15.616622818007777,     10.715195479472955,
    -9.9059332996558478,   14.531108551785385,     8.0871721404149799,
    11.28807228436758,     7.2050553662162322,     1.8673686167182675,
    5.6379835308774515,    6.0070995688159945,     3.6718419825892781,
    10.273782222887936,    -11.003276573222182,    10.86280826743919,
    4.8625050304430539,    -6.8883036392210499,    9.4110700217989329,
    8.5907090738786351,    -4.1816331667751721,    -4.5065585714549732,
    -11.851914290939416,   -0.82661956749219301,   -4.2729352395319262,
    -12.00561858749291,    11.248537736997887,     5.9702468837958875,
    -2.8246526750650882,   8.7625453187814948,     -7.1602571689933585,
    -12.354031243120836,   7.4186972352690956,     -6.987904733680633,
    -4.7802427263213847,   -8.4594669364587052,    9.9074303226742551,
    3.806086639453103,     11.279747903383944,     17.081579765803436,
    -9.3400423712763221,   3.1993990305779496,     -11.821616914733911,
    -13.221112615394405,   -10.273658410670993,    11.172005145239616,
    9.0661355630755569,    9.2282171885349893,     -10.23315808490522,
    -8.7767507313040536,   11.658399522139373,     8.1253713837323716,
    -6.0161671309769886,   16.112984014276019,     -10.526568304448215,
    11.152848111157505,    -8.924603008706157,     19.991244818943592,
    1.7502482049131347,    10.380462477594111,     -12.601277391046924,
    2.2056591767324831,    -11.208801676783557,    -10.115502455925911,
    4.637267012273572,     -4.3901359184650799,    6.4876168985133287,
    -4.998151172316156,    -10.216089377506956,    10.51595559197369,
    9.860423081769472,     2.0714834687695323,     -8.4943703055745399,
    2.6716218493294384,    -4.4936844031461796,    7.0630594165237257,
    11.626244158543082,    12.185499704257312,     14.474700254831625,
    -8.0226618511897883,   -7.0870692277314653,    -1.1721939107905543,
    9.7010116241387543,    -3.9275566558414692,    -9.75092296492865,
    -0.95638727648524069,  8.8537127253606389,     -14.829180519689713,
    9.9027033868976222,    8.2208221244483237,     -10.01770451901422,
    -6.4871122747161722,   1.9748473784403351,     -11.360816340237003,
    -4.1135134538497162,   -8.9279661633195779,    -14.855403366544149,
    10.607559153322043,    -11.932153415925857,    18.392309282429526,
    -7.2895436119104833,   7.3649578192591916,     -11.824321717922503,
    4.5048430891613203,    -16.076657798411361,    -10.123099989589955,
    4.6541470838769436,    14.693948982580077,     9.4260360038265905,
    -6.5360788988808212,   -12.279752881306212,    0.14329411518298504,
    15.277760011935301,    12.94645800633524,      9.0076074533198192,
    3.1698412352516221,    7.1781738715915795,     15.252388120172336,
    -8.6205841782080128,   5.2369980810204497,     -9.433249016049194,
    11.112523275262491,    -5.6094286689251271,    -5.0372463006239476,
    -6.3399450364534582,   8.9510280620290601,     4.9779353674772384,
    -12.848232188637104,   -7.9494772442250223,    0.056481817566435569,
    -1.0990377463926844,   -8.778197904426678,     12.556996955893457,
    -8.8110005063100054,   -5.0471729352089545,    -10.673361741004538,
    -6.938427941848941,    8.599594025334758,      -8.1348225722413492,
    -13.541689542539737,   -11.229036341770312,    -22.614183167994018,
    12.576253012660271,    15.118290082755436,     -9.2870046826546524,
    12.899455356719221,    13.243961159383248,     4.4575044249539246,
    -13.064373901252422,   -14.393244974865604,    -7.5706760405997384,
    8.5444523394978518,    12.288833952178848,     -2.5897476840629694,
    -6.9298386101193596,   12.539861043573865,     11.593898741650712,
    -7.3909737338763124,   4.2946927448293568,     7.508232545403895,
    8.5884600404407188,    -7.3302711120767166,    -11.033859476165276,
    7.3743897210913136,    12.286574554025389,     -1.700095235673573,
    -6.9072546333240732,   -12.728102558911758,    6.4176904367705383,
    5.903830856246814,     9.2556056318797992,     11.125813908063282,
    -10.011979772526844,   2.9405966507503511,     10.009962336069428,
    -4.8607974702953536,   1.7471621272732738,     9.7439136565857378,
    -0.66822435460540275,  18.464597991608112,     -10.547977913897311,
    -6.8357758325587907,   4.9415192092837481,     -11.223685529550222,
    5.0739368213705465,    -8.1592201290566155,    9.4541189767136888,
    6.856119326024217,     -18.448536650094034,    11.582475715514898,
    -10.178303201195758,   4.6276063705681079,     -11.553748539540541,
    2.5523254456603865,    4.2384411617925624,     9.8680333748165499,
    8.1917716819138136,    -10.850753257867975,    10.241807976913078,
    12.017255467195287,    7.7723650228628429,     5.9396282417311674,
    -15.066965171524886,   9.4060341572848429,     -4.4910564383161384,
    -8.2147205547924216,   4.7023980767577918,     11.671098907901923,
    8.4913841414387878,    7.6416710694567156,     11.664303236292549,
    -8.9493566205550099,   -6.6393544707268033,    7.8628598936427894,
    -8.5326569294992858,   -2.0472135566402336,    -11.584529863049369,
    -13.765771105899878,   -13.236687110141661,    7.7745678935906666,
    4.0644071666046333,    -5.1127185876504511,    11.09916237943035,
    -18.103923278917275,   2.5020372532682957,     8.1940521912528261,
    9.2210533248542514,    -8.2947343120838326,    -10.150302885063565,
    -7.0933287260530955,   12.386066725557843,     9.4912773578087801,
    3.3565256628259474,    9.513448873526654,      -9.5772677988882489,
    -9.7173765268110159,   -7.7871728659279844,    -6.33770970174879,
    8.7446348550882131,    -5.3074344597323737,    11.315880628341713,
    -5.6257158464771564,   5.9792501423848678,     -9.9591388238248939,
    10.547073748158361,    -11.945860349110731,    9.8107678957781204,
    5.3625757170649493,    -7.3961894867189759,    11.294547725442342,
    -4.3290304291788617,   -4.4072888651694688,    -5.9735063255412655,
    6.3232368782780126,    -10.734895281472282,    -8.8246478451021009,
    8.3174800733332432,    10.666958445791396,     9.5832549522929806,
    9.6003700340562261,    13.330599293965252,     -7.7659598115974093,
    -8.4068157954698712,   6.7155631645630169,     10.951065869771208,
    -9.843399692801551,    8.6950573645033593,     -12.91546689382516,
    -6.8284290555266072,   6.9679513402290612,     8.7517402592974953,
    -9.7252558599188106,   4.4957279393577405,     -3.0198719775413605,
    -12.528522673998944,   12.791874350523511,     -11.987866488473575,
    -7.7731187084210358,   15.356748666493452,     -7.4363704293344366,
    11.554365751821972,    -13.691156388740444,    -13.639104069640238,
    12.899745770415052,    -12.477204336163956,    -12.161571929011455,
    -11.273422005627573,   20.710850070106048,     11.743681239843617,
    9.6151567581220565,    8.2992099468073608,     8.4619149441334685,
    8.8404977904969346,    -10.918349909014658,    -5.6517458894209422,
    8.6526147356508165,    -14.290258838779266,    3.0318506448723244,
    3.6389793712730598,    13.887411508481932,     -8.8335154477770956,
    6.1670460127122331,    13.208091864632017,     15.635505869782437,
    -17.556690461708161,   12.400331386163444,     3.9778500015058431,
    -8.2047500613887383,   -5.2233512983007522,    4.0362277485067475,
    8.4751794582169477,    -5.5914076527615748,    -5.4777738529828426,
    11.821238725863337,    -8.8900626961710341,    -7.29974425683878,
    -7.4473770624143274,   -8.0512707557556205,    1.6226698981742598,
    -15.433546932692904,   -4.1071266269684763,    -8.4263162579803996,
    9.0736808802899116,    6.0439240655594269,     -9.6449191691164273,
    9.2360102991487718,    16.958973272151585,     -11.584208891462776,
    -8.5316628771682268,   -10.964476795840529,    14.434155388768026,
    -16.016018668782927,   12.499589449114831,     5.3431907633740403,
    -13.783231585179763,   16.195154330455487,     -6.4307912934527964,
    11.080799577011028,    6.5325130508365454,     12.802146321954664,
    -7.6814813666878257,   6.1271513194854581,     -6.9538126536653362,
    -5.0690242209381475,   -11.855544305317043,    -5.1941087352434137,
    4.8945739632537482,    9.4974588137719405,     8.8718463435014332,
    -0.47224465841085145,  3.9456702743066483,     12.491257904548593,
    3.9592076310204338,    -5.0217678779827253,    6.3597443173631385,
    -10.612846967410137,   14.31614300592712,      7.1411122329367416,
    -11.762271600506461,   4.331988913082836,      -15.437501431534956,
    -4.6693242794521481,   -12.698173054121195,    12.417434316925727,
    21.062913663865295,    -3.5142449580964197,    1.3700514528580063,
    5.6243547407690206,    -12.071365752103238,    -1.1360048996995593,
    -11.347850339525309,   10.833731442380101,     0.46134954632024316,
    10.720116067259271,    7.3904190673115604,     6.7696592500196058,
    10.652736359476924,    -7.8165483190849638,    9.3865130951890841,
    -0.34774522512587569,  -4.0566753969719276,    -4.3275806653874298,
    -6.8638440461424404,   -4.682521888031431,     -8.2920976977163718,
    -14.311445847621952,   13.976975120531808,     -8.6098361017160663,
    -12.114294053104134,   5.1005213815339383,     -11.049107710762476,
    -7.0863761770199494,   -12.463614616712142,    -9.7359303784027027,
    -13.418212569071059,   5.7610447890373235,     15.56161888307617,
    7.0574421915141308,    7.1030986195714929,     11.300511268289812,
    -7.2344128515783446,   -11.13562468318859,     -1.5760076318579441,
    1.2107880314559112,    -8.7874657760578643,    -8.8001022473565236,
    12.247082051858888,    -9.8565622276713381,    -3.0179931003584515,
    -4.5978322515637293,   -6.571180711121297,     2.500611207880274,
    0.84457801315975856,   6.4714616812285382,     -18.464904505652935,
    -4.3990010259668271,   4.1350410389687466,     -10.462432926909633,
    6.2042736110931846,    -3.8394082311505735,    8.5618068576083974,
    -17.977066011411761,   11.022903239935964,     -19.178990090912414,
    -8.0470231091434652,   10.79648317128396,      -13.096061841695322,
    -5.6164196771432566,   0.78843332401436395,    13.7984392278555,
    7.6547594193414454,    7.5442903307994644,     12.66336251543067,
    -9.9436379532267338,   8.3550537237332758,     10.82799568784589,
    12.384885746776661,    5.2191347513552007,     9.9942871944245102,
    12.958881973386022,    5.8450353998039759,     5.156985957036718,
    13.5582570732471,      10.34554494007787,      -6.037237777176359,
    -8.2731248141970166,   -7.9895984943236309,    -12.02375110577746,
    9.3728051686457299,    9.3911820274244171,     4.9339039982877528,
    12.302318980639923,    -5.5266659866771741,    -4.9613643934779441,
    -11.294072601106434,   10.376229630289247,     -8.2965871864098535,
    6.6836050094050048,    6.894916881498717,      -15.288396395010784,
    9.0886752966827142,    7.439432773214512,      -4.0410572378226171,
    8.9307473630506085,    9.0038835677978959,     -10.459659023792348,
    8.8378541314937387,    10.339786491210649,     -9.9890662163533968,
    7.9788596610503406,    -10.765397845560441,    12.052911411023967,
    6.1067152607562258,    -5.6066198973015737,    10.952942399934605,
    7.6432926714438914,    8.3014387807885619,     -8.5639306175146341,
    5.1234913528982382,    -9.7662598194835457,    6.1322495355624156,
    -8.160368360432031,    -15.309087302665159,    -8.3419685644228121,
    -5.2861952387314828,   5.7536255267894676,     -12.714725164584957,
    -16.125699441038968,   -12.439064087815231,    -9.1320304457996606,
    3.8603060490391887,    -6.1338073713204455,    -1.7222012329044754,
    8.5214199468265512,    -8.9836162439198581,    -11.816294225738464,
    4.2214300165680347,    10.919410045065687,     -12.940481826969718,
    11.334503455702539,    1.0676110391325953,     7.0891161904485651,
    6.9961528158293813,    11.113742549839397,     -14.034363540155118,
    -2.534544404400672,    4.8188993072548705,     -18.804376110412633,
    -13.059868091828172,   2.8229971724161289,     -9.6989297510369017,
    4.7326387912990509,    12.188026385951737,     -11.467461248064906,
    -14.073562498971903,   -9.2196347513311832,    10.038208885426119,
    -4.3813258723769009,   -4.1241400929515137,    11.486725329451389,
    4.8628878289290549,    -8.8001952481419785,    -6.5888239970497349,
    -9.7953285124389389,   4.2522039839409844,     -13.459928721286854,
    4.8164035354744943,    -15.811464084480162,    -15.167000919853482,
    8.6050948989220277,    5.4097197830658672,     -3.201067374137641,
    5.7304935157850272,    -0.50989151426446222,   -10.147545800700401,
    14.129098358281857,    6.7974337326702985,     -11.157443424806557,
    5.4202945677131122,    6.2589729732564718,     -8.100004693609538,
    -8.7681862399603006,   -8.6314112980872526,    -3.9762886492900669,
    6.9078974491617418,    -7.3105786438044316,    -12.86172440009309,
    -10.982888171052132,   11.138006586636338,     -4.7087869570844818,
    6.0689150921803634,    6.1958655520184891,     14.665790446061886,
    -21.756441569001307,   -6.0112922694975106,    -8.604883105861056,
    15.140407588256764,    -7.0631519145705521,    -15.024190589242993,
    -23.18926715039116,    8.2311742508471983,     -8.3904317018734034,
    -9.8859430286919867,   5.9777560262912424,     4.489704569613985,
    9.9452514956755529,    9.5807589942228493,     9.5768073329005379,
    -13.191427051485375,   8.6226588561737731,     2.398176437043392,
    8.3478860808676707,    16.691979667886184,     10.245192955959679,
    -8.5601611176100771,   -8.6435755556304308,    11.536812168223609,
    -3.8011348079490959,   -0.4154822840976809,    7.3530196404235948,
    -6.2070213990800998,   -3.3664554862576601,    1.9501048246997952,
    11.044948446517594,    -9.1773178494438294,    -9.8012555654706048,
    12.731258282570259,    7.4006494098682252,     8.8054756517321113,
    -8.4864693790843759,   -14.388354721820441,    -3.2911084226653116,
    7.3278629195734881,    -3.3628879633743507,    -2.0906070586159164,
    8.7678659217554724,    1.2754529803697003,     -10.171163782743935,
    -8.6401640914138174,   -15.570426156008278,    -4.7735987049156741,
    6.2627274839799227,    -8.902086558167035,     5.890113367738306,
    -16.19738850063483,    12.494158748994153,     7.4515972260992802,
    -11.368802405389724,   0.79949913059431887,    10.464954350908759,
    12.045093842059636,    -6.2632239899779618,    9.3946694855915709,
    4.6796796423594591,    7.4573657480844915,     -2.1730144122742283,
    -10.441568309083868,   -3.128467240255199,     2.6674648941331709,
    -1.7628028131302032,   -11.490305842901,       -2.6052782471959244,
    9.1378585089733217,    -8.3182391512182594,    -6.0353916735033906,
    -6.4946073399059889,   8.5262424287807921,     11.041008586867564,
    18.792916305706246,    -5.4400449872596122,    4.7763430246707763,
    7.4793455477938471,    -12.701581632451186,    7.3391248408947076,
    -11.164236112983559,   9.4704084335423353,     -10.054506153225052,
    14.297500013934522,    -1.9132095626133094,    14.164236143735152,
    -18.514789351038115,   -10.538326608827228,    8.5742137931431603,
    -18.159208758191326,   7.6116880222576011,     7.9413670120767224,
    9.047676658736421,     12.221156662181444,     7.0843147886392952,
    13.170456072797521,    -10.632225390661356,    -12.606230762028668,
    -13.968700939920279,   0.90435763497244315,    -4.1863354464526514,
    -0.57860003934790516,  -7.7068236480377168,    -7.5458142157151684,
    -15.760391765099628,   3.148710788422199,      -8.571589030098103,
    -6.1442268269653644,   -5.5386008972836374,    -13.583703624827324,
    12.571370461611423,    -5.0037658066132318,    6.6729776513218466,
    6.2491302239836344,    -13.868418916158106,    13.949814810808402,
    4.1350925641742018,    14.220597569700558,     7.8377637620610052,
    10.165620408810733,    -6.7532907993950042,    4.3042646268926728,
    1.4896778697382114,    8.3496556534811361,     -8.8688217756106855,
    -4.1638250519443876,   -10.45385832370283,     -17.931254325719735,
    13.701501053759536,    -9.4565546768244069,    1.3427226397103338,
    -12.271188095378776,   10.368577567683388,     8.025638109861422,
    -6.2074049810183825,   -2.0991088194951866,    -7.6695567427956011,
    11.150836440150584,    -1.496263923503625,     -18.494976331519254,
    -4.2881609912726928,   12.980292811570745,     -0.92488991150790378,
    -4.6658341014288567,   -2.8894649330160642,    4.254991528529442,
    6.433665878257556,     5.6179185883054492,     3.9771596771133968,
    15.121069471781597,    16.580045222011115,     -9.566021123652547,
    11.967303334090824,    15.8257683504883,       -12.810889692425972,
    -3.458648034714614,    3.990823559676568,      4.9093618306644045,
    -3.4096503299487577,   2.8468287182096539,     8.9865457241125046,
    -6.6201701664235877,   -14.013179729737548,    11.434571611598438,
    5.767464644498955,     9.3360216341670927,     -11.330333170538852,
    2.9944289963307167,    -11.076388371680537,    -9.0625652353016406,
    -12.834505378246872,   -5.1884256791028482,    7.8120310086321405,
    10.177307965543681,    -9.4195921379930319,    5.466041504061816,
    -8.3541043828300516,   9.9136918737238453,     8.1033458202759867,
    -6.7036770007249524,   -8.1223318972882215,    -8.2591262612141172,
    -9.1232651727813856,   -11.669246063763795,    -0.030697844939840527,
    9.3789394813876008,    -11.107031538341255,    7.288702786596331,
    -4.6967946059755157,   -1.5987277913422755,    11.510267151110476,
    -15.34971763301391,    8.2159765211646274,     6.6883959862268858,
    13.179857051577731,    7.6088514551549089,     7.4989231135409131,
    -1.7239395961308088,   1.4954887205231719,     -9.8573207709532547,
    4.9542123592468155,    -10.367910840496483,    5.7226061395590309,
    9.5446949280935716,    -8.6942844135306796,    6.2929455305188577,
    -6.7169960771850326,   19.637781323792851,     -12.129044785216932,
    -2.8881972324088676,   4.5724813224397796,     -4.9563780171627787,
    -8.8290411230288512,   2.163546702306324,      -6.7813228130077352,
    4.7602245034138555,    -8.4569684434378569,    -2.6066149728226859,
    14.465681780446152,    -7.4053864105652734,    -9.8766495392168174,
    -12.069651713077828,   -11.042473697693975,    8.1529541863355082,
    -9.631792308049631,    -3.6472475127982888,    12.36876532086672,
    13.587811221658276,    6.0796488885118061,     1.1309707002276215,
    9.8361035439712978,    -12.782363514428749,    14.877109246506274,
    8.9863394004114223,    3.7313973097701414,     -8.8429365798088835,
    10.783409906469574,    5.4309225673390031,     -6.2038249324134984,
    -12.503772776539773,   5.2588713559908609,     8.0377625659349796,
    -11.433112718999636,   -2.3606577081546209,    -0.51422838799139303,
    11.042048536456281,    -8.9107584751200442,    -11.636004759251062,
    12.663937409329666,    -10.014401209989058,    -8.0569057100231696,
    -8.5006754476725348,   -8.2061921877402746,    3.6065709585004733,
    0.73647938533134194,   1.8183486110849676,     5.4805296348307078,
    -2.2813810755893615,   -3.9153542826111902,    13.587948798210096,
    1.8068496248064898,    9.0325044536184134,     10.124444543125891,
    13.84809053563459,     15.565497107356785,     8.9751576152107209,
    9.3516719607931797,    3.6327626866158558,     11.760943102597267,
    5.0870266626202989,    5.674904060336968,      12.357086041091151,
    13.951717235903738,    -19.310077284104022,    8.0053082251775685,
    -4.297125648181531,    -6.3260546204828696,    10.294877306501972,
    13.93365235676599,     13.141707549171858,     -1.5568066615629472,
    8.2172142670253123,    -7.8132836735117186,    8.8354487563578399,
    16.707153362143629,    4.5855551987365208,     12.223929231669286,
    14.863765072540376,    -15.461542707954242,    -2.3371697391419985,
    -10.024175159008536,   -11.737459729645774,    -3.7329473123372199,
    -3.0590377398467261,   13.143768419466609,     9.2038314945946311,
    3.521511313043765,     -2.2535815241524322,    5.4844876358740011,
    -10.004087991701629,   11.888560517692463,     -4.6722624505292263,
    3.7082244357698078,    6.3751558628158023,     11.627185499278614,
    1.9289094882369002,    -12.217802164142721,    -7.6763956464968892,
    5.6910150189702744,    -5.6417449295552817,    4.9980919736488802,
    -9.0536429095706819,   9.6119351348702313,     2.4973962155691476,
    -14.910998981505347,   4.1843311003165047,     5.9103254703115775,
    -10.108868185667163,   -10.968757232820812,    -6.2351738311660236,
    -5.4115373442221397,   -5.1847401075738944,    -17.223563033246595,
    -13.214097072642032,   -11.854105278464028,    12.414721845275727,
    -6.2778430500337503,   -10.885676169950498,    2.4563316506705526,
    -8.7748279932902093,   -5.7945746677684031,    -5.8659162690750017,
    -10.185454736539469,   -12.259036348321617,    -11.345440149075966,
    6.5815217034894982,    -6.4191766201668736,    -7.3487464338408746,
    -0.40842055433143365,  10.921577631841934,     -21.476071540546794,
    -10.659396127407732,   -9.7319013100865899,    -12.054728330205412,
    -10.865345038797253,   6.0360205068991064,     6.3343994011226927,
    -7.1354597827181925,   3.1432134836509893,     -2.4414855631776251,
    8.0775343816376086,    3.972870247588534,      1.9692418169429344,
    7.2828780139977134,    -15.463562597421859,    10.173242967382789,
    15.083747077552808,    -9.276641467191272,     7.7773515313362411,
    9.0385622964224765,    5.6887720196625535,     -10.133807142620341,
    -1.6437588724330709,   -8.158553801413559,     10.446525293735167,
    -11.433423238083284,   8.6648442034190918,     10.064106964518734,
    -8.7075993351272132,   -6.3080890103035614,    9.3898484683747458,
    -4.3190925589260534,   -19.328147731608361,    -7.6126659646899917,
    -11.705773894239984,   7.4600825708549596,     -8.1116458562206901,
    -16.039122843816592,   -2.6608032342278891,    -5.3302266349477829,
    7.386051049643469,     6.9792999266885793,     -4.5182426093483645,
    15.20105997302613,     9.5925220650656087,     -0.84758073759469377,
    4.5185848028718691,    5.6852984237201536,     8.9738282076193592,
    -12.235502878115856,   6.6410806023610247,     -8.5942670023877028,
    -10.537735925654538,   7.1077614149638526,     -6.4914995246164899,
    6.2433348879497554,    -11.339739148237399,    17.070957256911349,
    2.8503359840349143,    -0.58556596880585032,   -8.6111923383904436,
    -12.931731217434081,   6.4866696051548578};
const char HRAa_1536_512_detected_data[] = {
    0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0,
    1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0,
    0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1,
    1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1,
    0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 1, 0, 0,
    1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 0,
    1, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0,
    0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 1, 0,
    0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1,
    1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0,
    0, 1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0,
    1, 1, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1,
    0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 0, 0, 0,
    0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 1,
    0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0,
    0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1,
    0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1,
    1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0,
    1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 0,
    0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1,
    1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1,
    0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1,
    0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1,
    0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1,
    0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1,
    1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1,
    0, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1,
    0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1,
    1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0,
    0, 1, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0,
    1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1,
    1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0,
    1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1,
    0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1,
    0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0,
    0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1,
    1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1,
    0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0,
    1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0,
    0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0,
    1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0,
    0, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0,
    0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1,
    0, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0,
    0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1,
    1, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0,
    0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1,
    1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 0,
    1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1,
    1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 1, 0,
    0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 1,
    0, 1, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0,
    0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0,
    1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0,
    0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0,
    1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 1,
    0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0,
    1, 0, 1, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1,
    0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 1,
    1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1,
    1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1,
    0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0,
    1, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1,
    1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1,
    0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0,
    1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 1, 1,
    1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0,
    1, 1, 0, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 0,
    0, 0, 1, 0, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 1, 0, 0, 1, 0,
    1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1,
    0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1,
    1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1,
    1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1,
    1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1,
    0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0,
    0, 1, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1,
    0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0,
    1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0,
    0, 1, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1,
    1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1,
    0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1,
    0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 0};