#tb 0: 1/10
0,          0,          0,        1,      552, 0x271a2dd3
0,          1,          1,        1,      297, 0x90168a95, S=1,     1024, 0xf351799f
0,          2,          2,        1,      438, 0x91efce1b, S=1,     1024, 0xf351799f
0,          3,          3,        1,      450, 0x7c2dcfad, S=1,     1024, 0xf351799f
0,          4,          4,        1,      547, 0xc131fd3b, S=1,     1024, 0xf351799f
0,          5,          5,        1,      614, 0x68182006, S=1,     1024, 0xf351799f
0,          6,          6,        1,      642, 0x78bb1f5f, S=1,     1024, 0xf351799f
0,          7,          7,        1,      660, 0x35c033a2, S=1,     1024, 0xf351799f
0,          8,          8,        1,      821, 0xaf30790b, S=1,     1024, 0xf351799f
0,          9,          9,        1,     1157, 0x741c2da1, S=1,     1024, 0xf351799f
0,         10,         10,        1,      179, 0x3a27517c, S=1,     1024, 0xf351799f
0,         11,         11,        1,     1333, 0x5ee76f3c, S=1,     1024, 0xf351799f
0,         12,         12,        1,     1638, 0x5f640e86, S=1,     1024, 0xf351799f
0,         13,         13,        1,     1531, 0xccb8e437, S=1,     1024, 0xf351799f
0,         14,         14,        1,     1720, 0xc95d45ec, S=1,     1024, 0xf351799f
0,         15,         15,        1,     1910, 0x56cc831e, S=1,     1024, 0xf351799f
0,         16,         16,        1,     2124, 0x9cc8e130, S=1,     1024, 0xf351799f
0,         17,         17,        1,     2248, 0x05a325b1, S=1,     1024, 0xf351799f
0,         18,         18,        1,     2311, 0xdc633703, S=1,     1024, 0xf351799f
0,         19,         19,        1,     2408, 0x91c26f3e, S=1,     1024, 0xf351799f
0,         20,         20,        1,     2601, 0x8cf3c157, S=1,     1024, 0xf351799f
0,         21,         21,        1,     2687, 0x8f6400e6, S=1,     1024, 0xf351799f
0,         22,         22,        1,     2784, 0xaa880e55, S=1,     1024, 0xf351799f
0,         23,         23,        1,     2884, 0x46f546f6, S=1,     1024, 0xf351799f
0,         24,         24,        1,     2982, 0x807c7ad5, S=1,     1024, 0xf351799f
0,         25,         25,        1,     3101, 0xbcc89bec, S=1,     1024, 0xf351799f
0,         26,         26,        1,     3253, 0xd032f3fa, S=1,     1024, 0xf351799f
0,         27,         27,        1,     3329, 0xe4d42430, S=1,     1024, 0xf351799f
0,         28,         28,        1,     3572, 0xf8058aa0, S=1,     1024, 0xf351799f
0,         29,         29,        1,     3807, 0x3d2af9f3, S=1,     1024, 0xf351799f
0,         30,         30,        1,     2750, 0x814d1c33, S=1,     1024, 0xf351799f
0,         31,         31,        1,     4031, 0x3b077006, S=1,     1024, 0xf351799f
0,         32,         32,        1,     3025, 0x86729c1c, S=1,     1024, 0xf351799f
0,         33,         33,        1,     4295, 0xf71b0b38, S=1,     1024, 0xf351799f
0,         34,         34,        1,     2044, 0x5adcb93b, S=1,     1024, 0xf351799f
0,         35,         35,        1,     3212, 0xcf79eeed, S=1,     1024, 0xf351799f
0,         36,         36,        1,     2292, 0xb4386334, S=1,     1024, 0xf351799f
0,         37,         37,        1,     3633, 0x0010992f, S=1,     1024, 0xf351799f
0,         38,         38,        1,     3552, 0x23697490, S=1,     1024, 0xf351799f
0,         39,         39,        1,     3690, 0x62afdbb8, S=1,     1024, 0xf351799f
0,         40,         40,        1,     1559, 0x5baef54a, S=1,     1024, 0xf351799f
0,         41,         41,        1,      954, 0xca75ca79, S=1,     1024, 0xf351799f
0,         42,         42,        1,      273, 0x3687799b, S=1,     1024, 0xf351799f
0,         43,         43,        1,      930, 0x29f3b0c4, S=1,     1024, 0xf351799f
0,         44,         44,        1,      271, 0x305e8094, S=1,     1024, 0xf351799f
0,         45,         45,        1,      196, 0xf5ab51ee, S=1,     1024, 0xf351799f
0,         46,         46,        1,     4299, 0x67ec0d55, S=1,     1024, 0xf351799f
0,         47,         47,        1,     4895, 0xb394406c, S=1,     1024, 0xf351799f
0,         48,         48,        1,     4928, 0x233919d7, S=1,     1024, 0xf351799f
0,         49,         49,        1,     4941, 0x58a357da, S=1,     1024, 0xf351799f
0,         50,         50,        1,     4154, 0x21f2ac33, S=1,     1024, 0xf351799f
0,         51,         51,        1,     4678, 0xab3cc050, S=1,     1024, 0xf351799f
0,         52,         52,        1,     4741, 0x1974b581, S=1,     1024, 0xf351799f
0,         53,         53,        1,     4982, 0x891456d5, S=1,     1024, 0xf351799f
0,         54,         54,        1,     5179, 0x860fc6a1, S=1,     1024, 0xf351799f
0,         55,         55,        1,     5046, 0xce9183d3, S=1,     1024, 0xf351799f
0,         56,         56,        1,     5140, 0xa6d7b9af, S=1,     1024, 0xf351799f
0,         57,         57,        1,     4301, 0x03b6ef3f, S=1,     1024, 0xf351799f
0,         58,         58,        1,     5079, 0xa8d59e01, S=1,     1024, 0xf351799f
0,         59,         59,        1,     5284, 0xea34e3b3, S=1,     1024, 0xf351799f
0,         60,         60,        1,     5426, 0x556a15cd, S=1,     1024, 0xf351799f
0,         61,         61,        1,     4645, 0x061e8936, S=1,     1024, 0xf351799f
0,         62,         62,        1,     5263, 0x7536cf7d, S=1,     1024, 0xf351799f
0,         63,         63,        1,     5221, 0x9fbac3ca, S=1,     1024, 0xf351799f
0,         64,         64,        1,     5217, 0x02269bd2, S=1,     1024, 0xf351799f
0,         65,         65,        1,     5395, 0x120fff66, S=1,     1024, 0xf351799f
0,         66,         66,        1,     5220, 0x77cedcc5, S=1,     1024, 0xf351799f
0,         67,         67,        1,     5704, 0xba42dd96, S=1,     1024, 0xf351799f
0,         68,         68,        1,     5636, 0xcb91a25b, S=1,     1024, 0xf351799f
0,         69,         69,        1,     5818, 0x8dc0df92, S=1,     1024, 0xf351799f
0,         70,         70,        1,     5763, 0x51d5d5f0, S=1,     1024, 0xf351799f
0,         71,         71,        1,     6116, 0x09558b48, S=1,     1024, 0xf351799f
0,         72,         72,        1,     6069, 0x41926817, S=1,     1024, 0xf351799f
0,         73,         73,        1,     5796, 0x7fbeda44, S=1,     1024, 0xf351799f
0,         74,         74,        1,     5999, 0xe07d3770, S=1,     1024, 0xf351799f
0,         75,         75,        1,     6220, 0x6607b06f, S=1,     1024, 0xf351799f
0,         76,         76,        1,     6374, 0x7628e533, S=1,     1024, 0xf351799f
0,         77,         77,        1,     6465, 0xfe956b15, S=1,     1024, 0xf351799f
0,         78,         78,        1,     7019, 0x6c9a1aef, S=1,     1024, 0xf351799f
0,         79,         79,        1,     7255, 0x5fa5c1bf, S=1,     1024, 0xf351799f
0,         80,         80,        1,     8197, 0xf11d6ef2, S=1,     1024, 0xf351799f
0,         81,         81,        1,     8358, 0x027279e8, S=1,     1024, 0xf351799f
0,         82,         82,        1,     7708, 0x607f8e8b, S=1,     1024, 0xf351799f
0,         83,         83,        1,     7412, 0x6bb2105f, S=1,     1024, 0xf351799f
0,         84,         84,        1,     7541, 0xfdc02154, S=1,     1024, 0xf351799f
0,         85,         85,        1,     7948, 0x916ecd8b, S=1,     1024, 0xf351799f
0,         86,         86,        1,     8408, 0x1f97d414, S=1,     1024, 0xf351799f
0,         87,         87,        1,     8056, 0x9cbf159c, S=1,     1024, 0xf351799f
0,         88,         88,        1,     7401, 0x2625addb, S=1,     1024, 0xf351799f
0,         89,         89,        1,     7494, 0x2877eacb, S=1,     1024, 0xf351799f
0,         90,         90,        1,     7806, 0xe32574a3, S=1,     1024, 0xf351799f
0,         91,         91,        1,     7768, 0x25ed7ee7, S=1,     1024, 0xf351799f
0,         92,         92,        1,     7749, 0x6d8e978e, S=1,     1024, 0xf351799f
0,         93,         93,        1,     8047, 0xec4b150c, S=1,     1024, 0xf351799f
0,         94,         94,        1,     7618, 0x88cf30d5, S=1,     1024, 0xf351799f
0,         95,         95,        1,     7979, 0x0eb1cf2a, S=1,     1024, 0xf351799f
0,         96,         96,        1,    12062, 0xb49d9125, S=1,     1024, 0xf351799f
0,         97,         97,        1,    12317, 0x2d8fd6e9, S=1,     1024, 0xf351799f
0,         98,         98,        1,    12217, 0x9b3be549, S=1,     1024, 0xf351799f
0,         99,         99,        1,    11227, 0x067e9118, S=1,     1024, 0xf351799f
0,        100,        100,        1,    11108, 0x5e5b0afd, S=1,     1024, 0xf351799f
0,        101,        101,        1,    11366, 0xb38e8d15, S=1,     1024, 0xf351799f
0,        102,        102,        1,    11896, 0xeb3e35ca, S=1,     1024, 0xf351799f
0,        103,        103,        1,    11479, 0xbf7581e9, S=1,     1024, 0xf351799f
0,        104,        104,        1,    13395, 0x415b38d8, S=1,     1024, 0xf351799f
0,        105,        105,        1,    12913, 0x61544631, S=1,     1024, 0xf351799f
0,        106,        106,        1,    13864, 0xd39fe768, S=1,     1024, 0xf351799f
0,        107,        107,        1,    13551, 0x76c167d1, S=1,     1024, 0xf351799f
0,        108,        108,        1,    14041, 0x2f206888, S=1,     1024, 0xf351799f
0,        109,        109,        1,    14144, 0x9ec030d3, S=1,     1024, 0xf351799f
0,        110,        110,        1,    14277, 0xa84b3a9b, S=1,     1024, 0xf351799f
0,        111,        111,        1,    14424, 0xf5f1e06e, S=1,     1024, 0xf351799f
0,        112,        112,        1,    14689, 0xbca0adb5, S=1,     1024, 0xf351799f
0,        113,        113,        1,    14598, 0xc1d45745, S=1,     1024, 0xf351799f
0,        114,        114,        1,    15213, 0x8f3080fc, S=1,     1024, 0xf351799f
0,        115,        115,        1,    15425, 0xb0aa8f59, S=1,     1024, 0xf351799f
0,        116,        116,        1,    15595, 0x1406e5d5, S=1,     1024, 0xf351799f
0,        117,        117,        1,    15598, 0x48ec7d08, S=1,     1024, 0xf351799f
0,        118,        118,        1,    15863, 0x5381db7b, S=1,     1024, 0xf351799f
0,        119,        119,        1,    15717, 0xb87a1b87, S=1,     1024, 0xf351799f
0,        120,        120,        1,    16078, 0x5bab2453, S=1,     1024, 0xf351799f
0,        121,        121,        1,    16225, 0xa1f88113, S=1,     1024, 0xf351799f
0,        122,        122,        1,    16135, 0x6af2f4e1, S=1,     1024, 0xf351799f
0,        123,        123,        1,    16661, 0xf02a3343, S=1,     1024, 0xf351799f
0,        124,        124,        1,    16619, 0xc71935a4, S=1,     1024, 0xf351799f
0,        125,        125,        1,    16829, 0x29849844, S=1,     1024, 0xf351799f
0,        126,        126,        1,    16944, 0x3423ae77, S=1,     1024, 0xf351799f
0,        127,        127,        1,    17119, 0x609b4409, S=1,     1024, 0xf351799f
0,        128,        128,        1,    17150, 0xf85dfd31, S=1,     1024, 0xf351799f
0,        129,        129,        1,    17321, 0x38eccb10, S=1,     1024, 0xf351799f
0,        130,        130,        1,    17395, 0x0ba08b85, S=1,     1024, 0xf351799f
0,        131,        131,        1,    17666, 0x6fbc0264, S=1,     1024, 0xf351799f
0,        132,        132,        1,    17730, 0x3dcc64a6, S=1,     1024, 0xf351799f
0,        133,        133,        1,    17934, 0xb539974b, S=1,     1024, 0xf351799f
0,        134,        134,        1,    17944, 0x2214ec94, S=1,     1024, 0xf351799f
0,        135,        135,        1,    18238, 0x70f9ff1d, S=1,     1024, 0xf351799f
0,        136,        136,        1,    18391, 0x4b149209, S=1,     1024, 0xf351799f
0,        137,        137,        1,    18543, 0x45a1c02f, S=1,     1024, 0xf351799f
0,        138,        138,        1,    18939, 0x2789a88c, S=1,     1024, 0xf351799f
0,        139,        139,        1,    19145, 0x5daafd7a, S=1,     1024, 0xf351799f
0,        140,        140,        1,    19120, 0x565f80e6, S=1,     1024, 0xf351799f
0,        141,        141,        1,    19130, 0xff70cc21, S=1,     1024, 0xf351799f
0,        142,        142,        1,    19494, 0xbfa284db, S=1,     1024, 0xf351799f
0,        143,        143,        1,    19534, 0x3d40743b, S=1,     1024, 0xf351799f
0,        144,        144,        1,    19747, 0x33c9b108, S=1,     1024, 0xf351799f
0,        145,        145,        1,    20114, 0x9d223e36, S=1,     1024, 0xf351799f
0,        146,        146,        1,    20257, 0xe7bdaf43, S=1,     1024, 0xf351799f
0,        147,        147,        1,    20370, 0x0c5f1970, S=1,     1024, 0xf351799f
0,        148,        148,        1,    20292, 0x6986d20e, S=1,     1024, 0xf351799f
0,        149,        149,        1,    20491, 0xd88e4c08, S=1,     1024, 0xf351799f
0,        150,        150,        1,    20647, 0x1aefaffc, S=1,     1024, 0xf351799f
0,        151,        151,        1,    20666, 0x43e4aaaa, S=1,     1024, 0xf351799f
0,        152,        152,        1,    21007, 0xa7ca3ef0, S=1,     1024, 0xf351799f
0,        153,        153,        1,    21058, 0x06814351, S=1,     1024, 0xf351799f
0,        154,        154,        1,    21153, 0x3c852b10, S=1,     1024, 0xf351799f
0,        155,        155,        1,    21078, 0x8df15855, S=1,     1024, 0xf351799f
0,        156,        156,        1,    21458, 0xd3a531d6, S=1,     1024, 0xf351799f
0,        157,        157,        1,    21669, 0x88baca53, S=1,     1024, 0xf351799f
0,        158,        158,        1,    21581, 0xd692fa1f, S=1,     1024, 0xf351799f
0,        159,        159,        1,    21654, 0x30fb9061, S=1,     1024, 0xf351799f
0,        160,        160,        1,    21987, 0xe7646d8b, S=1,     1024, 0xf351799f
0,        161,        161,        1,    22205, 0x0fc55b6a, S=1,     1024, 0xf351799f
0,        162,        162,        1,    22475, 0x4bc4c032, S=1,     1024, 0xf351799f
0,        163,        163,        1,    22490, 0x58ca23f6, S=1,     1024, 0xf351799f
0,        164,        164,        1,    22460, 0xf9ceb0ac, S=1,     1024, 0xf351799f
0,        165,        165,        1,    22861, 0xb05f0f84, S=1,     1024, 0xf351799f
0,        166,        166,        1,    22746, 0x0df23a5c, S=1,     1024, 0xf351799f
0,        167,        167,        1,    23165, 0xbd7147ad, S=1,     1024, 0xf351799f
0,        168,        168,        1,    23273, 0x9781a34f, S=1,     1024, 0xf351799f
0,        169,        169,        1,    23211, 0x69c7606b, S=1,     1024, 0xf351799f
0,        170,        170,        1,    23648, 0xdafde037, S=1,     1024, 0xf351799f
0,        171,        171,        1,    23675, 0x2a2147ed, S=1,     1024, 0xf351799f
0,        172,        172,        1,    23874, 0x12c184b6, S=1,     1024, 0xf351799f