#tb 0: 1/10
0,          0,          0,        1,      508, 0xf04a113b
0,          1,          1,        1,      213, 0x23c24d3d, S=1,     1024, 0xf7700427
0,          2,          2,        1,      131, 0x56d22a39, S=1,     1024, 0x03730427
0,          3,          3,        1,      384, 0xb1d8a4bd, S=1,     1024, 0xf7700427
0,          4,          4,        1,      381, 0x37a3a2c9, S=1,     1024, 0xf3740427
0,          5,          5,        1,      430, 0x162bb3d3, S=1,     1024, 0xf3740427
0,          6,          6,        1,      518, 0x195bd738, S=1,     1024, 0xf3740427
0,          7,          7,        1,      535, 0x12cde6b7, S=1,     1024, 0xf3740427
0,          8,          8,        1,      438, 0xa653b946, S=1,     1024, 0x0b6b0427
0,          9,          9,        1,      923, 0xd2e2a35f, S=1,     1024, 0x0b6b0427
0,         10,         10,        1,      694, 0xe1cf4a1f, S=1,     1024, 0x0b6b0427
0,         11,         11,        1,     1194, 0xa6152c8a, S=1,     1024, 0x0b6b0427
0,         12,         12,        1,     1291, 0x94d25581, S=1,     1024, 0x0b6b0427
0,         13,         13,        1,     1245, 0x5b483525, S=1,     1024, 0x0b6b0427
0,         14,         14,        1,     1330, 0xfb5351c8, S=1,     1024, 0x0b6b0427
0,         15,         15,        1,     1276, 0x6f403914, S=1,     1024, 0x0b6b0427
0,         16,         16,        1,     1475, 0xbf459755, S=1,     1024, 0x0b6b0427
0,         17,         17,        1,     1784, 0xe9954aa7, S=1,     1024, 0xecb30526
0,         18,         18,        1,     1675, 0x219dfaf8, S=1,     1024, 0xecb30526
0,         19,         19,        1,     1509, 0xd7f5abbe, S=1,     1024, 0xecb30526
0,         20,         20,        1,     1705, 0x44a01729, S=1,     1024, 0xecb30526
0,         21,         21,        1,     1745, 0x31ff1f89, S=1,     1024, 0xecb30526
0,         22,         22,        1,     1642, 0x55420147, S=1,     1024, 0xecb30526
0,         23,         23,        1,     1718, 0x68ef1cb8, S=1,     1024, 0xecb30526
0,         24,         24,        1,     1900, 0xd7737a09, S=1,     1024, 0xecb30526
0,         25,         25,        1,     1807, 0x4f6c5140, S=1,     1024, 0xecb30526
0,         26,         26,        1,     1915, 0x976d80e6, S=1,     1024, 0xecb30526
0,         27,         27,        1,     2100, 0x0ae6d1ce, S=1,     1024, 0xecb30526
0,         28,         28,        1,     2700, 0x7a89f104, S=1,     1024, 0xecb30526
0,         29,         29,        1,     2673, 0xf6b6a71d, S=1,     1024, 0xecb30526
0,         30,         30,        1,     2895, 0x9079484b, S=1,     1024, 0xecb30526
0,         31,         31,        1,     3257, 0x0b0cd125, S=1,     1024, 0xecb30526
0,         32,         32,        1,     3179, 0x3ee2c161, S=1,     1024, 0xecb30526
0,         33,         33,        1,     3296, 0x6230e506, S=1,     1024, 0xecb30526
0,         34,         34,        1,     3600, 0x021775d7, S=1,     1024, 0xecb30526
0,         35,         35,        1,     3699, 0xfb03a043, S=1,     1024, 0xecb30526
0,         36,         36,        1,     3814, 0x96a8d57e, S=1,     1024, 0xecb30526
0,         37,         37,        1,     3627, 0x33a37f8f, S=1,     1024, 0xecb30526
0,         38,         38,        1,     2950, 0x50806197, S=1,     1024, 0xecb30526
0,         39,         39,        1,     3086, 0x72068d4c, S=1,     1024, 0xecb30526
0,         40,         40,        1,     3094, 0x2880861f, S=1,     1024, 0xecb30526
0,         41,         41,        1,     3456, 0x6d232a96, S=1,     1024, 0xecb30526
0,         42,         42,        1,     4108, 0x46d75ebb, S=1,     1024, 0xecb30526
0,         43,         43,        1,     4217, 0x04a258f4, S=1,     1024, 0xecb30526
0,         44,         44,        1,     3613, 0x667f4ff8, S=1,     1024, 0xecb30526
0,         45,         45,        1,     3910, 0x8f37e73e, S=1,     1024, 0xecb30526
0,         46,         46,        1,     4461, 0x5db9e0bf, S=1,     1024, 0xecb30526
0,         47,         47,        1,     4593, 0x883f2f49, S=1,     1024, 0xecb30526
0,         48,         48,        1,     4822, 0x03d99b73, S=1,     1024, 0xecb30526
0,         49,         49,        1,     5398, 0x39f7bff4, S=1,     1024, 0xecb30526
0,         50,         50,        1,     5266, 0xd5ab9630, S=1,     1024, 0xecb30526
0,         51,         51,        1,     5416, 0x5876e16f, S=1,     1024, 0xecb30526
0,         52,         52,        1,     5519, 0x30ed05d8, S=1,     1024, 0xecb30526
0,         53,         53,        1,     5701, 0x5bae5af7, S=1,     1024, 0xecb30526
0,         54,         54,        1,     6160, 0x98364177, S=1,     1024, 0xecb30526
0,         55,         55,        1,     6233, 0x52a05075, S=1,     1024, 0xecb30526
0,         56,         56,        1,     5911, 0x04bfc46a, S=1,     1024, 0xecb30526
0,         57,         57,        1,     5997, 0xf1e6f586, S=1,     1024, 0xecb30526
0,         58,         58,        1,     5946, 0xe6f3f055, S=1,     1024, 0xecb30526
0,         59,         59,        1,     6468, 0xc8a3cf61, S=1,     1024, 0xecb30526
0,         60,         60,        1,     6737, 0xc27b3b79, S=1,     1024, 0xecb30526
0,         61,         61,        1,     6275, 0x84d88e2b, S=1,     1024, 0xecb30526
0,         62,         62,        1,     6641, 0xb44b3534, S=1,     1024, 0xecb30526
0,         63,         63,        1,     6378, 0x3965888b, S=1,     1024, 0xecb30526
0,         64,         64,        1,     6257, 0x12115750, S=1,     1024, 0xecb30526
0,         65,         65,        1,     6908, 0x57137217, S=1,     1024, 0xecb30526
0,         66,         66,        1,     7230, 0xbacc24ee, S=1,     1024, 0xecb30526
0,         67,         67,        1,     7556, 0x1aa2a694, S=1,     1024, 0xecb30526
0,         68,         68,        1,     7413, 0xbc9e7718, S=1,     1024, 0xecb30526
0,         69,         69,        1,     7476, 0xb2a1aba0, S=1,     1024, 0xecb30526
0,         70,         70,        1,     7596, 0x3301e56d, S=1,     1024, 0xecb30526
0,         71,         71,        1,     7756, 0x8f2504f8, S=1,     1024, 0xecb30526
0,         72,         72,        1,     8015, 0xd4146c80, S=1,     1024, 0xecb30526
0,         73,         73,        1,     8128, 0x11b2bf4c, S=1,     1024, 0xecb30526
0,         74,         74,        1,     8101, 0xc627adbe, S=1,     1024, 0xecb30526
0,         75,         75,        1,     7863, 0xe99f3f3b, S=1,     1024, 0xecb30526
0,         76,         76,        1,     7960, 0x4bc091b8, S=1,     1024, 0xecb30526
0,         77,         77,        1,     8238, 0x1086ea8a, S=1,     1024, 0xecb30526
0,         78,         78,        1,     8321, 0x3a404791, S=1,     1024, 0xecb30526
0,         79,         79,        1,     8562, 0xcbdcc01e, S=1,     1024, 0xecb30526
0,         80,         80,        1,     8746, 0xec190b22, S=1,     1024, 0xecb30526
0,         81,         81,        1,     8578, 0x12e7a4e8, S=1,     1024, 0xecb30526
0,         82,         82,        1,     8878, 0x51c05771, S=1,     1024, 0xecb30526
0,         83,         83,        1,     9077, 0xe12b589b, S=1,     1024, 0xecb30526
0,         84,         84,        1,     9310, 0xde3bf881, S=1,     1024, 0xecb30526
0,         85,         85,        1,     9394, 0x1eba46cc, S=1,     1024, 0xecb30526
0,         86,         86,        1,     9161, 0x7c359911, S=1,     1024, 0xecb30526
0,         87,         87,        1,     9462, 0xccda3664, S=1,     1024, 0xecb30526
0,         88,         88,        1,     9650, 0x6e6292fc, S=1,     1024, 0xecb30526
0,         89,         89,        1,     9701, 0x08909b95, S=1,     1024, 0xecb30526
0,         90,         90,        1,     9523, 0xe61b38bb, S=1,     1024, 0xecb30526
0,         91,         91,        1,     9891, 0x96b90b98, S=1,     1024, 0xecb30526
0,         92,         92,        1,    10005, 0x2db84c80, S=1,     1024, 0xecb30526
0,         93,         93,        1,    10038, 0x37e52a72, S=1,     1024, 0xecb30526
0,         94,         94,        1,    10086, 0x135a43e4, S=1,     1024, 0xecb30526
0,         95,         95,        1,    10438, 0x472c0372, S=1,     1024, 0xecb30526
0,         96,         96,        1,    10583, 0xcf4c5862, S=1,     1024, 0xecb30526
0,         97,         97,        1,    10581, 0xce658137, S=1,     1024, 0xecb30526
0,         98,         98,        1,    10807, 0x3954dad9, S=1,     1024, 0xecb30526
0,         99,         99,        1,    11111, 0x5f8d504f, S=1,     1024, 0xecb30526
0,        100,        100,        1,    11194, 0x3c7e6a77, S=1,     1024, 0xecb30526
0,        101,        101,        1,    11240, 0x5112a0a3, S=1,     1024, 0xecb30526
0,        102,        102,        1,    11483, 0xaf10f4fa, S=1,     1024, 0xecb30526
0,        103,        103,        1,    11680, 0x44a25971, S=1,     1024, 0xecb30526
0,        104,        104,        1,    11785, 0x7350b5db, S=1,     1024, 0xecb30526
0,        105,        105,        1,    11436, 0xe3170ad5, S=1,     1024, 0xecb30526
0,        106,        106,        1,    11928, 0x13d8c885, S=1,     1024, 0xecb30526
0,        107,        107,        1,    11932, 0xecb5bdf7, S=1,     1024, 0xecb30526
0,        108,        108,        1,    12281, 0x18bb76d5, S=1,     1024, 0xecb30526
0,        109,        109,        1,    12334, 0x16147fc3, S=1,     1024, 0xecb30526
0,        110,        110,        1,    12452, 0x61a8b3d7, S=1,     1024, 0xecb30526
0,        111,        111,        1,    12695, 0x8b703e74, S=1,     1024, 0xecb30526
0,        112,        112,        1,    12668, 0x19505176, S=1,     1024, 0xecb30526
0,        113,        113,        1,    12957, 0x3b839f0d, S=1,     1024, 0xecb30526
0,        114,        114,        1,    13054, 0xb8a5e3db, S=1,     1024, 0xecb30526
0,        115,        115,        1,    13147, 0xdf5c2e68, S=1,     1024, 0xecb30526
0,        116,        116,        1,    13171, 0x15961ca2, S=1,     1024, 0xecb30526
0,        117,        117,        1,    13198, 0xfd855718, S=1,     1024, 0xecb30526
0,        118,        118,        1,    13211, 0x1a625e31, S=1,     1024, 0xecb30526
0,        119,        119,        1,    13210, 0x246661c9, S=1,     1024, 0xecb30526
0,        120,        120,        1,    13467, 0xfcaaa461, S=1,     1024, 0xecb30526
0,        121,        121,        1,    13665, 0x8100dbf2, S=1,     1024, 0xecb30526
0,        122,        122,        1,    13692, 0xddd1eab9, S=1,     1024, 0xecb30526
0,        123,        123,        1,    13821, 0xc70e2af0, S=1,     1024, 0xecb30526
0,        124,        124,        1,    13946, 0xe15d9134, S=1,     1024, 0xecb30526
0,        125,        125,        1,    14063, 0xf652d232, S=1,     1024, 0xecb30526
0,        126,        126,        1,    14124, 0x756ccc81, S=1,     1024, 0xecb30526
0,        127,        127,        1,    14331, 0x56d64fe8, S=1,     1024, 0xecb30526
0,        128,        128,        1,    14469, 0x4c3faa7f, S=1,     1024, 0xecb30526
0,        129,        129,        1,    14536, 0xad02a19b, S=1,     1024, 0xecb30526
0,        130,        130,        1,    14608, 0x0971d168, S=1,     1024, 0xecb30526
0,        131,        131,        1,    14898, 0x1a6827b3, S=1,     1024, 0xecb30526
0,        132,        132,        1,    14978, 0xf9709fef, S=1,     1024, 0xecb30526
0,        133,        133,        1,    15142, 0x3598da63, S=1,     1024, 0xecb30526
0,        134,        134,        1,    15129, 0x062fb976, S=1,     1024, 0xecb30526
0,        135,        135,        1,    15243, 0x0a6a12f9, S=1,     1024, 0xecb30526
0,        136,        136,        1,    15337, 0x0f9a65d6, S=1,     1024, 0xecb30526
0,        137,        137,        1,    15638, 0xf7bc9ef5, S=1,     1024, 0xecb30526
0,        138,        138,        1,    15912, 0x2d5b26bb, S=1,     1024, 0xecb30526
0,        139,        139,        1,    16041, 0xbfaf4857, S=1,     1024, 0xecb30526
0,        140,        140,        1,    16228, 0xdac701f0, S=1,     1024, 0xecb30526
0,        141,        141,        1,    16262, 0xcd0ae5e4, S=1,     1024, 0xecb30526
0,        142,        142,        1,    16371, 0x9d4f0e73, S=1,     1024, 0xecb30526
0,        143,        143,        1,    16661, 0xd37ba990, S=1,     1024, 0xecb30526
0,        144,        144,        1,    16917, 0xd5b01774, S=1,     1024, 0xecb30526
0,        145,        145,        1,    17149, 0x435ecdd4, S=1,     1024, 0xecb30526
0,        146,        146,        1,    17172, 0x045fb234, S=1,     1024, 0xecb30526
0,        147,        147,        1,    17315, 0xc5ddadab, S=1,     1024, 0xecb30526
0,        148,        148,        1,    17397, 0xff8e15b6, S=1,     1024, 0xecb30526
0,        149,        149,        1,    17431, 0x6832f8c0, S=1,     1024, 0xecb30526
0,        150,        150,        1,    17576, 0x5c2a5445, S=1,     1024, 0xecb30526
0,        151,        151,        1,    17764, 0x609f8c3b, S=1,     1024, 0xecb30526
0,        152,        152,        1,    17826, 0x538c8532, S=1,     1024, 0xecb30526
0,        153,        153,        1,    17918, 0x84fc9a95, S=1,     1024, 0xecb30526
0,        154,        154,        1,    17823, 0x788fbada, S=1,     1024, 0xecb30526
0,        155,        155,        1,    18142, 0x56881e47, S=1,     1024, 0xecb30526
0,        156,        156,        1,    18257, 0xa35b86cf, S=1,     1024, 0xecb30526
0,        157,        157,        1,    18337, 0x82ddbc21, S=1,     1024, 0xecb30526
0,        158,        158,        1,    18293, 0xf0d838d6, S=1,     1024, 0xecb30526
0,        159,        159,        1,    18418, 0x7ed8bba6, S=1,     1024, 0xecb30526
0,        160,        160,        1,    18607, 0xccea47f6, S=1,     1024, 0xecb30526
0,        161,        161,        1,    18916, 0x880ebd63, S=1,     1024, 0xecb30526
0,        162,        162,        1,    19073, 0x055f02e3, S=1,     1024, 0xecb30526
0,        163,        163,        1,    19168, 0xcc2c02d7, S=1,     1024, 0xecb30526
0,        164,        164,        1,    19210, 0xa538ffc1, S=1,     1024, 0xecb30526
0,        165,        165,        1,    19398, 0x4777644d, S=1,     1024, 0xecb30526
0,        166,        166,        1,    19480, 0xcb2aa0fa, S=1,     1024, 0xecb30526
0,        167,        167,        1,    19659, 0xe3c1122d, S=1,     1024, 0xecb30526
0,        168,        168,        1,    19672, 0x1d1e193f, S=1,     1024, 0xecb30526
0,        169,        169,        1,    19936, 0xcd036346, S=1,     1024, 0xecb30526
0,        170,        170,        1,    19975, 0x96529b21, S=1,     1024, 0xecb30526
0,        171,        171,        1,    20021, 0xcdaf8bb5, S=1,     1024, 0xecb30526
0,        172,        172,        1,    20060, 0x1cea7784, S=1,     1024, 0xecb30526