#tb 0: 1/10
0,          0,          0,        1,      508, 0xa1b80fc0
0,          1,          1,        1,      213, 0x4f554bd7, S=1,     1024, 0xb6327c81
0,          2,          2,        1,      131, 0x283b2988, S=1,     1024, 0xae3a7c81
0,          3,          3,        1,      384, 0xc4fea72a, S=1,     1024, 0xb6327c81
0,          4,          4,        1,      381, 0x050ba2b8, S=1,     1024, 0x9e4a7c81
0,          5,          5,        1,      430, 0x00cfb2ae, S=1,     1024, 0x9e4a7c81
0,          6,          6,        1,      518, 0xc8e5d827, S=1,     1024, 0x9e4a7c81
0,          7,          7,        1,      535, 0x326ce62a, S=1,     1024, 0x9e4a7c81
0,          8,          8,        1,      438, 0x34d6b7c0, S=1,     1024, 0xb6327c81
0,          9,          9,        1,      923, 0x9fb1a37c, S=1,     1024, 0xb6327c81
0,         10,         10,        1,      694, 0xf20449a5, S=1,     1024, 0xb6327c81
0,         11,         11,        1,     1194, 0x67cd2ab5, S=1,     1024, 0xb6327c81
0,         12,         12,        1,     1291, 0x1d23539d, S=1,     1024, 0xb6327c81
0,         13,         13,        1,     1245, 0x065f32e6, S=1,     1024, 0xb6327c81
0,         14,         14,        1,     1330, 0x83ec51a4, S=1,     1024, 0xb6327c81
0,         15,         15,        1,     1276, 0x2acf38dc, S=1,     1024, 0xb6327c81
0,         16,         16,        1,     1475, 0x4cd197ef, S=1,     1024, 0xb6327c81
0,         17,         17,        1,     1784, 0xd1e84ae6, S=1,     1024, 0xde0a7c81
0,         18,         18,        1,     1675, 0x092dfa86, S=1,     1024, 0xde0a7c81
0,         19,         19,        1,     1509, 0x639aaa00, S=1,     1024, 0xde0a7c81
0,         20,         20,        1,     1705, 0xfd3719d5, S=1,     1024, 0xde0a7c81
0,         21,         21,        1,     1745, 0x8a761db4, S=1,     1024, 0xde0a7c81
0,         22,         22,        1,     1642, 0x18830245, S=1,     1024, 0xde0a7c81
0,         23,         23,        1,     1718, 0x3c8d1ebe, S=1,     1024, 0xde0a7c81
0,         24,         24,        1,     1900, 0x2ea879d1, S=1,     1024, 0xde0a7c81
0,         25,         25,        1,     1807, 0x02b35230, S=1,     1024, 0xde0a7c81
0,         26,         26,        1,     1915, 0x22d48344, S=1,     1024, 0xde0a7c81
0,         27,         27,        1,     2100, 0x55fcd063, S=1,     1024, 0xde0a7c81
0,         28,         28,        1,     2700, 0x7cc5f08b, S=1,     1024, 0xde0a7c81
0,         29,         29,        1,     2673, 0xb997a80d, S=1,     1024, 0xde0a7c81
0,         30,         30,        1,     2895, 0xab69484d, S=1,     1024, 0xde0a7c81
0,         31,         31,        1,     3257, 0xf753cf24, S=1,     1024, 0xde0a7c81
0,         32,         32,        1,     3179, 0x34f2c13b, S=1,     1024, 0xde0a7c81
0,         33,         33,        1,     3296, 0x7c06e72f, S=1,     1024, 0xde0a7c81
0,         34,         34,        1,     3600, 0x4ca67634, S=1,     1024, 0xde0a7c81
0,         35,         35,        1,     3699, 0xabe89fe3, S=1,     1024, 0xde0a7c81
0,         36,         36,        1,     3814, 0x1869d3f4, S=1,     1024, 0xde0a7c81
0,         37,         37,        1,     3627, 0x19bd7da7, S=1,     1024, 0xde0a7c81
0,         38,         38,        1,     2950, 0x048a6055, S=1,     1024, 0xde0a7c81
0,         39,         39,        1,     3086, 0x64ec8fc2, S=1,     1024, 0xde0a7c81
0,         40,         40,        1,     3094, 0x1a388553, S=1,     1024, 0xde0a7c81
0,         41,         41,        1,     3456, 0x01432c82, S=1,     1024, 0xde0a7c81
0,         42,         42,        1,     4108, 0xf9505c66, S=1,     1024, 0xde0a7c81
0,         43,         43,        1,     4217, 0x7f985ba4, S=1,     1024, 0xde0a7c81
0,         44,         44,        1,     3613, 0xd0684d83, S=1,     1024, 0xde0a7c81
0,         45,         45,        1,     3910, 0x0070e692, S=1,     1024, 0xde0a7c81
0,         46,         46,        1,     4461, 0x5cc9e33d, S=1,     1024, 0xde0a7c81
0,         47,         47,        1,     4593, 0x33a32dd1, S=1,     1024, 0xde0a7c81
0,         48,         48,        1,     4822, 0x59549883, S=1,     1024, 0xde0a7c81
0,         49,         49,        1,     5398, 0xb7bac31e, S=1,     1024, 0xde0a7c81
0,         50,         50,        1,     5266, 0x21c695aa, S=1,     1024, 0xde0a7c81
0,         51,         51,        1,     5416, 0xf305e3ed, S=1,     1024, 0xde0a7c81
0,         52,         52,        1,     5519, 0x857d071f, S=1,     1024, 0xde0a7c81
0,         53,         53,        1,     5701, 0x8f885c9c, S=1,     1024, 0xde0a7c81
0,         54,         54,        1,     6160, 0x48523e83, S=1,     1024, 0xde0a7c81
0,         55,         55,        1,     6233, 0x8fd2511e, S=1,     1024, 0xde0a7c81
0,         56,         56,        1,     5911, 0x92d4c516, S=1,     1024, 0xde0a7c81
0,         57,         57,        1,     5997, 0xbd7cfa15, S=1,     1024, 0xde0a7c81
0,         58,         58,        1,     5946, 0x8f5fedff, S=1,     1024, 0xde0a7c81
0,         59,         59,        1,     6468, 0x45c0cb8c, S=1,     1024, 0xde0a7c81
0,         60,         60,        1,     6737, 0x4e1e39ac, S=1,     1024, 0xde0a7c81
0,         61,         61,        1,     6275, 0x1d5e8f4c, S=1,     1024, 0xde0a7c81
0,         62,         62,        1,     6641, 0x844b3aad, S=1,     1024, 0xde0a7c81
0,         63,         63,        1,     6378, 0x52568640, S=1,     1024, 0xde0a7c81
0,         64,         64,        1,     6257, 0xfabc585f, S=1,     1024, 0xde0a7c81
0,         65,         65,        1,     6908, 0xf261701c, S=1,     1024, 0xde0a7c81
0,         66,         66,        1,     7230, 0xb4f524ce, S=1,     1024, 0xde0a7c81
0,         67,         67,        1,     7556, 0x89c1a712, S=1,     1024, 0xde0a7c81
0,         68,         68,        1,     7413, 0x553970a4, S=1,     1024, 0xde0a7c81
0,         69,         69,        1,     7476, 0x24d2a761, S=1,     1024, 0xde0a7c81
0,         70,         70,        1,     7596, 0xf072e431, S=1,     1024, 0xde0a7c81
0,         71,         71,        1,     7756, 0x131205c0, S=1,     1024, 0xde0a7c81
0,         72,         72,        1,     8015, 0xf4536a7f, S=1,     1024, 0xde0a7c81
0,         73,         73,        1,     8128, 0xba80be2b, S=1,     1024, 0xde0a7c81
0,         74,         74,        1,     8101, 0x44ceb3a2, S=1,     1024, 0xde0a7c81
0,         75,         75,        1,     7863, 0x55043dfd, S=1,     1024, 0xde0a7c81
0,         76,         76,        1,     7960, 0x38399182, S=1,     1024, 0xde0a7c81
0,         77,         77,        1,     8238, 0x1d52ecf3, S=1,     1024, 0xde0a7c81
0,         78,         78,        1,     8321, 0xd8d24a5c, S=1,     1024, 0xde0a7c81
0,         79,         79,        1,     8562, 0x4a0cc02b, S=1,     1024, 0xde0a7c81
0,         80,         80,        1,     8746, 0x2db40da7, S=1,     1024, 0xde0a7c81
0,         81,         81,        1,     8578, 0x46f9a4c1, S=1,     1024, 0xde0a7c81
0,         82,         82,        1,     8878, 0xf58d5a19, S=1,     1024, 0xde0a7c81
0,         83,         83,        1,     9077, 0x78de57f6, S=1,     1024, 0xde0a7c81
0,         84,         84,        1,     9310, 0x8c10f77a, S=1,     1024, 0xde0a7c81
0,         85,         85,        1,     9394, 0x741f431e, S=1,     1024, 0xde0a7c81
0,         86,         86,        1,     9161, 0x6f499587, S=1,     1024, 0xde0a7c81
0,         87,         87,        1,     9462, 0x628936c3, S=1,     1024, 0xde0a7c81
0,         88,         88,        1,     9650, 0x4cb4936e, S=1,     1024, 0xde0a7c81
0,         89,         89,        1,     9701, 0x5e069c40, S=1,     1024, 0xde0a7c81
0,         90,         90,        1,     9523, 0x66a13c83, S=1,     1024, 0xde0a7c81
0,         91,         91,        1,     9891, 0x43ea0e93, S=1,     1024, 0xde0a7c81
0,         92,         92,        1,    10005, 0x96a849e7, S=1,     1024, 0xde0a7c81
0,         93,         93,        1,    10038, 0x68032d25, S=1,     1024, 0xde0a7c81
0,         94,         94,        1,    10086, 0xef59458d, S=1,     1024, 0xde0a7c81
0,         95,         95,        1,    10438, 0x3466fed0, S=1,     1024, 0xde0a7c81
0,         96,         96,        1,    10583, 0x8bdd5477, S=1,     1024, 0xde0a7c81
0,         97,         97,        1,    10581, 0x69d27fee, S=1,     1024, 0xde0a7c81
0,         98,         98,        1,    10807, 0xde62d6e3, S=1,     1024, 0xde0a7c81
0,         99,         99,        1,    11111, 0x34eb4c13, S=1,     1024, 0xde0a7c81
0,        100,        100,        1,    11194, 0x584f6b73, S=1,     1024, 0xde0a7c81
0,        101,        101,        1,    11240, 0xc90ba13f, S=1,     1024, 0xde0a7c81
0,        102,        102,        1,    11483, 0x59c4f3c5, S=1,     1024, 0xde0a7c81
0,        103,        103,        1,    11680, 0xc62c5bc1, S=1,     1024, 0xde0a7c81
0,        104,        104,        1,    11785, 0xc9bab793, S=1,     1024, 0xde0a7c81
0,        105,        105,        1,    11436, 0xc9c40809, S=1,     1024, 0xde0a7c81
0,        106,        106,        1,    11928, 0x4b77c9a7, S=1,     1024, 0xde0a7c81
0,        107,        107,        1,    11932, 0x722abcbe, S=1,     1024, 0xde0a7c81
0,        108,        108,        1,    12281, 0x0d136f53, S=1,     1024, 0xde0a7c81
0,        109,        109,        1,    12334, 0x04a47f78, S=1,     1024, 0xde0a7c81
0,        110,        110,        1,    12452, 0xa02db188, S=1,     1024, 0xde0a7c81
0,        111,        111,        1,    12695, 0x1a813b2e, S=1,     1024, 0xde0a7c81
0,        112,        112,        1,    12668, 0x81b24f79, S=1,     1024, 0xde0a7c81
0,        113,        113,        1,    12957, 0x4da59f8c, S=1,     1024, 0xde0a7c81
0,        114,        114,        1,    13054, 0x7abedf5a, S=1,     1024, 0xde0a7c81
0,        115,        115,        1,    13147, 0x138f2bbd, S=1,     1024, 0xde0a7c81
0,        116,        116,        1,    13171, 0x43c1195f, S=1,     1024, 0xde0a7c81
0,        117,        117,        1,    13198, 0x2c8d58d4, S=1,     1024, 0xde0a7c81
0,        118,        118,        1,    13211, 0x12c36193, S=1,     1024, 0xde0a7c81
0,        119,        119,        1,    13210, 0xfe496107, S=1,     1024, 0xde0a7c81
0,        120,        120,        1,    13467, 0x4d8ea128, S=1,     1024, 0xde0a7c81
0,        121,        121,        1,    13665, 0x94caddde, S=1,     1024, 0xde0a7c81
0,        122,        122,        1,    13692, 0xe38febd9, S=1,     1024, 0xde0a7c81
0,        123,        123,        1,    13821, 0xee592e62, S=1,     1024, 0xde0a7c81
0,        124,        124,        1,    13946, 0xceb09235, S=1,     1024, 0xde0a7c81
0,        125,        125,        1,    14063, 0x7361d2f5, S=1,     1024, 0xde0a7c81
0,        126,        126,        1,    14124, 0x226bcac1, S=1,     1024, 0xde0a7c81
0,        127,        127,        1,    14331, 0x0649512b, S=1,     1024, 0xde0a7c81
0,        128,        128,        1,    14469, 0x0d7da45b, S=1,     1024, 0xde0a7c81
0,        129,        129,        1,    14536, 0x73cca242, S=1,     1024, 0xde0a7c81
0,        130,        130,        1,    14608, 0x1f3dd14e, S=1,     1024, 0xde0a7c81
0,        131,        131,        1,    14898, 0xd13d258e, S=1,     1024, 0xde0a7c81
0,        132,        132,        1,    14978, 0xfa049fea, S=1,     1024, 0xde0a7c81
0,        133,        133,        1,    15142, 0x1dfad60c, S=1,     1024, 0xde0a7c81
0,        134,        134,        1,    15129, 0x5962bae7, S=1,     1024, 0xde0a7c81
0,        135,        135,        1,    15243, 0x2c2c113b, S=1,     1024, 0xde0a7c81
0,        136,        136,        1,    15337, 0x3cab623b, S=1,     1024, 0xde0a7c81
0,        137,        137,        1,    15638, 0xbff3a100, S=1,     1024, 0xde0a7c81
0,        138,        138,        1,    15912, 0x13bf1fb2, S=1,     1024, 0xde0a7c81
0,        139,        139,        1,    16041, 0x01134246, S=1,     1024, 0xde0a7c81
0,        140,        140,        1,    16228, 0xe2f80035, S=1,     1024, 0xde0a7c81
0,        141,        141,        1,    16262, 0xc8d3ea51, S=1,     1024, 0xde0a7c81
0,        142,        142,        1,    16371, 0xe7da07f2, S=1,     1024, 0xde0a7c81
0,        143,        143,        1,    16661, 0x10ada592, S=1,     1024, 0xde0a7c81
0,        144,        144,        1,    16917, 0xbfb717e5, S=1,     1024, 0xde0a7c81
0,        145,        145,        1,    17149, 0x4074ca41, S=1,     1024, 0xde0a7c81
0,        146,        146,        1,    17172, 0xf749b49f, S=1,     1024, 0xde0a7c81
0,        147,        147,        1,    17315, 0x2abea8a0, S=1,     1024, 0xde0a7c81
0,        148,        148,        1,    17397, 0x14f71122, S=1,     1024, 0xde0a7c81
0,        149,        149,        1,    17431, 0xce49f2d3, S=1,     1024, 0xde0a7c81
0,        150,        150,        1,    17576, 0x7c6552ad, S=1,     1024, 0xde0a7c81
0,        151,        151,        1,    17764, 0x1d198d60, S=1,     1024, 0xde0a7c81
0,        152,        152,        1,    17826, 0xe1727f57, S=1,     1024, 0xde0a7c81
0,        153,        153,        1,    17918, 0xb78d9b9f, S=1,     1024, 0xde0a7c81
0,        154,        154,        1,    17823, 0xc9fabf19, S=1,     1024, 0xde0a7c81
0,        155,        155,        1,    18142, 0xeb5b21a9, S=1,     1024, 0xde0a7c81
0,        156,        156,        1,    18257, 0x7b38822c, S=1,     1024, 0xde0a7c81
0,        157,        157,        1,    18337, 0xd395c279, S=1,     1024, 0xde0a7c81
0,        158,        158,        1,    18293, 0x6c3b3766, S=1,     1024, 0xde0a7c81
0,        159,        159,        1,    18418, 0x2abcbcf8, S=1,     1024, 0xde0a7c81
0,        160,        160,        1,    18607, 0x79424730, S=1,     1024, 0xde0a7c81
0,        161,        161,        1,    18916, 0x8707bbc6, S=1,     1024, 0xde0a7c81
0,        162,        162,        1,    19073, 0xd82c03f6, S=1,     1024, 0xde0a7c81
0,        163,        163,        1,    19168, 0xb7d6fe27, S=1,     1024, 0xde0a7c81
0,        164,        164,        1,    19210, 0x79f301eb, S=1,     1024, 0xde0a7c81
0,        165,        165,        1,    19398, 0x0a5663c6, S=1,     1024, 0xde0a7c81
0,        166,        166,        1,    19480, 0x4fe09e5b, S=1,     1024, 0xde0a7c81
0,        167,        167,        1,    19659, 0xab971088, S=1,     1024, 0xde0a7c81
0,        168,        168,        1,    19672, 0x2e331553, S=1,     1024, 0xde0a7c81
0,        169,        169,        1,    19936, 0x2eea628a, S=1,     1024, 0xde0a7c81
0,        170,        170,        1,    19975, 0xd6bb9ab2, S=1,     1024, 0xde0a7c81
0,        171,        171,        1,    20021, 0xf7e98dc5, S=1,     1024, 0xde0a7c81
0,        172,        172,        1,    20060, 0x20017807, S=1,     1024, 0xde0a7c81