#tb 0: 1/10
0,          0,          0,        1,      552, 0x47602c6c
0,          1,          1,        1,      297, 0x49dd8847, S=1,     1024, 0xcfc8799f
0,          2,          2,        1,      438, 0x4776d352, S=1,     1024, 0xcfc8799f
0,          3,          3,        1,      450, 0x2254d187, S=1,     1024, 0xcfc8799f
0,          4,          4,        1,      547, 0xe16104bc, S=1,     1024, 0xcfc8799f
0,          5,          5,        1,      614, 0x0fdc2027, S=1,     1024, 0xcfc8799f
0,          6,          6,        1,      642, 0xa0af1edf, S=1,     1024, 0xcfc8799f
0,          7,          7,        1,      660, 0xd0763931, S=1,     1024, 0xcfc8799f
0,          8,          8,        1,      821, 0xc38f7fac, S=1,     1024, 0xcfc8799f
0,          9,          9,        1,     1157, 0x4c112ecd, S=1,     1024, 0xcfc8799f
0,         10,         10,        1,      179, 0x0690541c, S=1,     1024, 0xcfc8799f
0,         11,         11,        1,     1333, 0x216f70a7, S=1,     1024, 0xcfc8799f
0,         12,         12,        1,     1638, 0x901c093d, S=1,     1024, 0xcfc8799f
0,         13,         13,        1,     1531, 0xc9bae5ff, S=1,     1024, 0xcfc8799f
0,         14,         14,        1,     1720, 0xce854743, S=1,     1024, 0xcfc8799f
0,         15,         15,        1,     1910, 0x2690866d, S=1,     1024, 0xcfc8799f
0,         16,         16,        1,     2124, 0xa586dad0, S=1,     1024, 0xcfc8799f
0,         17,         17,        1,     2248, 0x9ddc2a88, S=1,     1024, 0xcfc8799f
0,         18,         18,        1,     2311, 0xd64235af, S=1,     1024, 0xcfc8799f
0,         19,         19,        1,     2408, 0xe2a66cc9, S=1,     1024, 0xcfc8799f
0,         20,         20,        1,     2601, 0xeab6c267, S=1,     1024, 0xcfc8799f
0,         21,         21,        1,     2687, 0xfe1d0311, S=1,     1024, 0xcfc8799f
0,         22,         22,        1,     2784, 0xca600dee, S=1,     1024, 0xcfc8799f
0,         23,         23,        1,     2884, 0xc7134b99, S=1,     1024, 0xcfc8799f
0,         24,         24,        1,     2982, 0x0b1e7825, S=1,     1024, 0xcfc8799f
0,         25,         25,        1,     3101, 0x3e029e0e, S=1,     1024, 0xcfc8799f
0,         26,         26,        1,     3253, 0x846af678, S=1,     1024, 0xcfc8799f
0,         27,         27,        1,     3329, 0x29a81b71, S=1,     1024, 0xcfc8799f
0,         28,         28,        1,     3572, 0xa3e08a52, S=1,     1024, 0xcfc8799f
0,         29,         29,        1,     3807, 0x18e1fed2, S=1,     1024, 0xcfc8799f
0,         30,         30,        1,     2750, 0xff6e1f9e, S=1,     1024, 0xcfc8799f
0,         31,         31,        1,     4031, 0x6d4f7329, S=1,     1024, 0xcfc8799f
0,         32,         32,        1,     3025, 0xb43c9e94, S=1,     1024, 0xcfc8799f
0,         33,         33,        1,     4295, 0xc1850a80, S=1,     1024, 0xcfc8799f
0,         34,         34,        1,     2044, 0x0440c072, S=1,     1024, 0xcfc8799f
0,         35,         35,        1,     3212, 0xe91af08f, S=1,     1024, 0xcfc8799f
0,         36,         36,        1,     2292, 0x6765633e, S=1,     1024, 0xcfc8799f
0,         37,         37,        1,     3633, 0xac779aa3, S=1,     1024, 0xcfc8799f
0,         38,         38,        1,     3552, 0xed2c75b2, S=1,     1024, 0xcfc8799f
0,         39,         39,        1,     3690, 0x2020dd0d, S=1,     1024, 0xcfc8799f
0,         40,         40,        1,     1559, 0x596ef330, S=1,     1024, 0xcfc8799f
0,         41,         41,        1,      954, 0xac12c9c5, S=1,     1024, 0xcfc8799f
0,         42,         42,        1,      273, 0x138c7831, S=1,     1024, 0xcfc8799f
0,         43,         43,        1,      930, 0xf1c3ae3f, S=1,     1024, 0xcfc8799f
0,         44,         44,        1,      271, 0x921a80af, S=1,     1024, 0xcfc8799f
0,         45,         45,        1,      196, 0xa5de5322, S=1,     1024, 0xcfc8799f
0,         46,         46,        1,     4299, 0x5bac0d86, S=1,     1024, 0xcfc8799f
0,         47,         47,        1,     4895, 0xc43639a6, S=1,     1024, 0xcfc8799f
0,         48,         48,        1,     4928, 0xf17d13e8, S=1,     1024, 0xcfc8799f
0,         49,         49,        1,     4941, 0x71915520, S=1,     1024, 0xcfc8799f
0,         50,         50,        1,     4154, 0xc860b8a6, S=1,     1024, 0xcfc8799f
0,         51,         51,        1,     4678, 0x2651c339, S=1,     1024, 0xcfc8799f
0,         52,         52,        1,     4741, 0xffd6bb45, S=1,     1024, 0xcfc8799f
0,         53,         53,        1,     4982, 0x132c5977, S=1,     1024, 0xcfc8799f
0,         54,         54,        1,     5179, 0x97aac3a1, S=1,     1024, 0xcfc8799f
0,         55,         55,        1,     5046, 0x836a80cd, S=1,     1024, 0xcfc8799f
0,         56,         56,        1,     5140, 0xa725c1e7, S=1,     1024, 0xcfc8799f
0,         57,         57,        1,     4301, 0x0203f239, S=1,     1024, 0xcfc8799f
0,         58,         58,        1,     5079, 0xb2e7a2de, S=1,     1024, 0xcfc8799f
0,         59,         59,        1,     5284, 0xb757dfe1, S=1,     1024, 0xcfc8799f
0,         60,         60,        1,     5426, 0xf9f11e57, S=1,     1024, 0xcfc8799f
0,         61,         61,        1,     4645, 0xf0f289e1, S=1,     1024, 0xcfc8799f
0,         62,         62,        1,     5263, 0x8617d7e9, S=1,     1024, 0xcfc8799f
0,         63,         63,        1,     5221, 0x26e3ca43, S=1,     1024, 0xcfc8799f
0,         64,         64,        1,     5217, 0x90989cfb, S=1,     1024, 0xcfc8799f
0,         65,         65,        1,     5395, 0xe29a01cb, S=1,     1024, 0xcfc8799f
0,         66,         66,        1,     5220, 0xe2dee355, S=1,     1024, 0xcfc8799f
0,         67,         67,        1,     5704, 0xcfbcd55e, S=1,     1024, 0xcfc8799f
0,         68,         68,        1,     5636, 0x7fc2a1e5, S=1,     1024, 0xcfc8799f
0,         69,         69,        1,     5818, 0x6090ebbd, S=1,     1024, 0xcfc8799f
0,         70,         70,        1,     5763, 0xc110c791, S=1,     1024, 0xcfc8799f
0,         71,         71,        1,     6116, 0xb4ee8e30, S=1,     1024, 0xcfc8799f
0,         72,         72,        1,     6069, 0x21b263db, S=1,     1024, 0xcfc8799f
0,         73,         73,        1,     5796, 0x2514df52, S=1,     1024, 0xcfc8799f
0,         74,         74,        1,     5999, 0x1c3c3701, S=1,     1024, 0xcfc8799f
0,         75,         75,        1,     6220, 0x8340b150, S=1,     1024, 0xcfc8799f
0,         76,         76,        1,     6374, 0x00d8eaa5, S=1,     1024, 0xcfc8799f
0,         77,         77,        1,     6465, 0x74c4778a, S=1,     1024, 0xcfc8799f
0,         78,         78,        1,     7019, 0xdb1a28a3, S=1,     1024, 0xcfc8799f
0,         79,         79,        1,     7255, 0x1e19b76e, S=1,     1024, 0xcfc8799f
0,         80,         80,        1,     8197, 0x26bc6a79, S=1,     1024, 0xcfc8799f
0,         81,         81,        1,     8358, 0x118781e0, S=1,     1024, 0xcfc8799f
0,         82,         82,        1,     7708, 0xfc0c963d, S=1,     1024, 0xcfc8799f
0,         83,         83,        1,     7412, 0xdcc311ee, S=1,     1024, 0xcfc8799f
0,         84,         84,        1,     7541, 0x4d2819c1, S=1,     1024, 0xcfc8799f
0,         85,         85,        1,     7948, 0xf12eca3d, S=1,     1024, 0xcfc8799f
0,         86,         86,        1,     8408, 0x43add468, S=1,     1024, 0xcfc8799f
0,         87,         87,        1,     8056, 0x2d162377, S=1,     1024, 0xcfc8799f
0,         88,         88,        1,     7401, 0x26ebb649, S=1,     1024, 0xcfc8799f
0,         89,         89,        1,     7494, 0x35fcf9ae, S=1,     1024, 0xcfc8799f
0,         90,         90,        1,     7806, 0x4238723d, S=1,     1024, 0xcfc8799f
0,         91,         91,        1,     7768, 0xb01e795a, S=1,     1024, 0xcfc8799f
0,         92,         92,        1,     7749, 0x6ab39c12, S=1,     1024, 0xcfc8799f
0,         93,         93,        1,     8047, 0x0e5f24aa, S=1,     1024, 0xcfc8799f
0,         94,         94,        1,     7618, 0xd787340f, S=1,     1024, 0xcfc8799f
0,         95,         95,        1,     7979, 0x0824c4df, S=1,     1024, 0xcfc8799f
0,         96,         96,        1,    12062, 0xc46d9d92, S=1,     1024, 0xcfc8799f
0,         97,         97,        1,    12317, 0x1314dc0c, S=1,     1024, 0xcfc8799f
0,         98,         98,        1,    12217, 0x78c2ed30, S=1,     1024, 0xcfc8799f
0,         99,         99,        1,    11227, 0x2a578eb9, S=1,     1024, 0xcfc8799f
0,        100,        100,        1,    11108, 0x4eaa068c, S=1,     1024, 0xcfc8799f
0,        101,        101,        1,    11366, 0x48f8993f, S=1,     1024, 0xcfc8799f
0,        102,        102,        1,    11896, 0x32414841, S=1,     1024, 0xcfc8799f
0,        103,        103,        1,    11479, 0xeaa38225, S=1,     1024, 0xcfc8799f
0,        104,        104,        1,    13395, 0xaa9d4c72, S=1,     1024, 0xcfc8799f
0,        105,        105,        1,    12913, 0x28854353, S=1,     1024, 0xcfc8799f
0,        106,        106,        1,    13864, 0x663df630, S=1,     1024, 0xcfc8799f
0,        107,        107,        1,    13551, 0xf7ba7be7, S=1,     1024, 0xcfc8799f
0,        108,        108,        1,    14041, 0x2dc071b9, S=1,     1024, 0xcfc8799f
0,        109,        109,        1,    14144, 0x33a03d1d, S=1,     1024, 0xcfc8799f
0,        110,        110,        1,    14277, 0x6bda5935, S=1,     1024, 0xcfc8799f
0,        111,        111,        1,    14424, 0xa696efd8, S=1,     1024, 0xcfc8799f
0,        112,        112,        1,    14689, 0x8e3ad12c, S=1,     1024, 0xcfc8799f
0,        113,        113,        1,    14598, 0x544668b4, S=1,     1024, 0xcfc8799f
0,        114,        114,        1,    15213, 0x60009558, S=1,     1024, 0xcfc8799f
0,        115,        115,        1,    15425, 0x86e5adf4, S=1,     1024, 0xcfc8799f
0,        116,        116,        1,    15595, 0x878d09b9, S=1,     1024, 0xcfc8799f
0,        117,        117,        1,    15598, 0x10daabc4, S=1,     1024, 0xcfc8799f
0,        118,        118,        1,    15863, 0x2462016c, S=1,     1024, 0xcfc8799f
0,        119,        119,        1,    15717, 0xe05041c4, S=1,     1024, 0xcfc8799f
0,        120,        120,        1,    16078, 0x7c8f3a8c, S=1,     1024, 0xcfc8799f
0,        121,        121,        1,    16225, 0x9771a52e, S=1,     1024, 0xcfc8799f
0,        122,        122,        1,    16135, 0x2dfc1692, S=1,     1024, 0xcfc8799f
0,        123,        123,        1,    16661, 0x09c96d7e, S=1,     1024, 0xcfc8799f
0,        124,        124,        1,    16619, 0xc4735b56, S=1,     1024, 0xcfc8799f
0,        125,        125,        1,    16829, 0x589dc13f, S=1,     1024, 0xcfc8799f
0,        126,        126,        1,    16944, 0x997cd18f, S=1,     1024, 0xcfc8799f
0,        127,        127,        1,    17119, 0x6c396b60, S=1,     1024, 0xcfc8799f
0,        128,        128,        1,    17150, 0x8e603d31, S=1,     1024, 0xcfc8799f
0,        129,        129,        1,    17321, 0x0bbcee5a, S=1,     1024, 0xcfc8799f
0,        130,        130,        1,    17395, 0x99f0c974, S=1,     1024, 0xcfc8799f
0,        131,        131,        1,    17666, 0x37184223, S=1,     1024, 0xcfc8799f
0,        132,        132,        1,    17730, 0xa0d385b3, S=1,     1024, 0xcfc8799f
0,        133,        133,        1,    17934, 0xb22cc97d, S=1,     1024, 0xcfc8799f
0,        134,        134,        1,    17944, 0x0cd309c6, S=1,     1024, 0xcfc8799f
0,        135,        135,        1,    18238, 0x6b7e3237, S=1,     1024, 0xcfc8799f
0,        136,        136,        1,    18391, 0x4df3c48a, S=1,     1024, 0xcfc8799f
0,        137,        137,        1,    18543, 0x90a2f238, S=1,     1024, 0xcfc8799f
0,        138,        138,        1,    18939, 0xc57dda5b, S=1,     1024, 0xcfc8799f
0,        139,        139,        1,    19145, 0x1267294a, S=1,     1024, 0xcfc8799f
0,        140,        140,        1,    19120, 0xeac6a9c3, S=1,     1024, 0xcfc8799f
0,        141,        141,        1,    19130, 0x31f3edbc, S=1,     1024, 0xcfc8799f
0,        142,        142,        1,    19494, 0x3259a2f3, S=1,     1024, 0xcfc8799f
0,        143,        143,        1,    19534, 0xda22a752, S=1,     1024, 0xcfc8799f
0,        144,        144,        1,    19747, 0x8805c379, S=1,     1024, 0xcfc8799f
0,        145,        145,        1,    20114, 0xaaf96864, S=1,     1024, 0xcfc8799f
0,        146,        146,        1,    20257, 0x7223da26, S=1,     1024, 0xcfc8799f
0,        147,        147,        1,    20370, 0x08ef382a, S=1,     1024, 0xcfc8799f
0,        148,        148,        1,    20292, 0x4b47f207, S=1,     1024, 0xcfc8799f
0,        149,        149,        1,    20491, 0xeedd6d1c, S=1,     1024, 0xcfc8799f
0,        150,        150,        1,    20647, 0xb0d1dd45, S=1,     1024, 0xcfc8799f
0,        151,        151,        1,    20666, 0x382cc8a4, S=1,     1024, 0xcfc8799f
0,        152,        152,        1,    21007, 0x398f4f7d, S=1,     1024, 0xcfc8799f
0,        153,        153,        1,    21058, 0xd6616a9d, S=1,     1024, 0xcfc8799f
0,        154,        154,        1,    21153, 0x988749db, S=1,     1024, 0xcfc8799f
0,        155,        155,        1,    21078, 0x1b328059, S=1,     1024, 0xcfc8799f
0,        156,        156,        1,    21458, 0x6348529c, S=1,     1024, 0xcfc8799f
0,        157,        157,        1,    21669, 0xcf63e2de, S=1,     1024, 0xcfc8799f
0,        158,        158,        1,    21581, 0x1fc021af, S=1,     1024, 0xcfc8799f
0,        159,        159,        1,    21654, 0x899dab18, S=1,     1024, 0xcfc8799f
0,        160,        160,        1,    21987, 0x634086fe, S=1,     1024, 0xcfc8799f
0,        161,        161,        1,    22205, 0x617a7335, S=1,     1024, 0xcfc8799f
0,        162,        162,        1,    22475, 0x9fa2e01c, S=1,     1024, 0xcfc8799f
0,        163,        163,        1,    22490, 0x7dc5376c, S=1,     1024, 0xcfc8799f
0,        164,        164,        1,    22460, 0x33e6bbfe, S=1,     1024, 0xcfc8799f
0,        165,        165,        1,    22861, 0x18993510, S=1,     1024, 0xcfc8799f
0,        166,        166,        1,    22746, 0xdff85615, S=1,     1024, 0xcfc8799f
0,        167,        167,        1,    23165, 0xf0ac66a3, S=1,     1024, 0xcfc8799f
0,        168,        168,        1,    23273, 0x13869ad9, S=1,     1024, 0xcfc8799f
0,        169,        169,        1,    23211, 0xd30b6205, S=1,     1024, 0xcfc8799f
0,        170,        170,        1,    23648, 0xa0cef01b, S=1,     1024, 0xcfc8799f
0,        171,        171,        1,    23675, 0x760460b9, S=1,     1024, 0xcfc8799f
0,        172,        172,        1,    23874, 0xacf998c5, S=1,     1024, 0xcfc8799f