#tb 0: 1/1000
#tb 1: 1/1000
0,        -42,          0,        0,    63501, 0x139d4c99
0,          0,         84,        0,     5368, 0xd964b678, F=0x0
1,          8,          8,       21,      528, 0x3c990ddf
1,         29,         29,       21,      510, 0xc16e0719
0,         42,         42,        0,     1840, 0x097b6726, F=0x0
1,         50,         50,       21,      500, 0x6248f603
1,         71,         71,       22,      491, 0xe767f705
0,         84,        167,        0,     7168, 0xaa5913ed, F=0x0
1,         93,         93,       21,      506, 0x4340f3f3
1,        114,        114,       21,      492, 0xf11c0210
0,        125,        125,        0,     2129, 0x6ab0db3e, F=0x0
1,        135,        135,       21,      502, 0x314b007e
1,        156,        156,       22,      507, 0x76de0162
0,        167,        250,        0,     7230, 0x3fd63940, F=0x0
1,        179,        179,       21,      501, 0x0538fa45
1,        200,        200,       21,      521, 0xc89f06d2
0,        209,        209,        0,     2114, 0xfceafb26, F=0x0
1,        221,        221,       21,      646, 0x8d8d3599
1,        242,        242,       22,      661, 0x222242de
0,        250,        334,        0,    63420, 0x5ca6250f, F=0x0
1,        264,        264,       21,      609, 0xc0dc255c
1,        285,        285,       21,      619, 0x9ac52dd1
0,        292,        292,        0,    16751, 0xf293ab46, F=0x0
0,        292,        417,        0,    22029, 0x3696462b, F=0x0
1,        306,        306,       21,      574, 0xf6410d4d
1,        327,        327,       22,      565, 0xfd561191
1,        350,        350,       21,      713, 0x48425147
1,        371,        371,       21,      537, 0x09bbf515
0,        375,        375,        0,     5044, 0xa0344ae6, F=0x0
1,        392,        392,       21,      486, 0x7946e28c
1,        413,        413,       22,      499, 0xa770f22a
0,        417,        500,        0,    25289, 0x46f9a219, F=0x0
1,        435,        435,       21,      506, 0x355ef81d
1,        456,        456,       21,      474, 0x6d24e2c5
0,        459,        459,        0,    12871, 0x23e570c4, F=0x0
1,        477,        477,       21,      494, 0x7d77e90f
1,        498,        498,       22,      524, 0x6c82fdd2
0,        500,        584,        0,    29580, 0xd051ad0c, F=0x0
1,        520,        520,       21,      482, 0xe625f255
1,        541,        541,       21,      533, 0xed00fd16
0,        542,        542,        0,     9221, 0xfa1bdf6c, F=0x0
1,        562,        562,       21,      524, 0x65cdf879
1,        583,        583,       22,      533, 0xee26f570
0,        584,        667,        0,    22238, 0x4e0daf3e, F=0x0
1,        605,        605,       21,      621, 0xed9f23cc
0,        625,        625,        0,     7627, 0xc566337e, F=0x0
1,        626,        626,       21,      400, 0xe4fdb43a
1,        647,        647,       21,      428, 0xd7eacd61
0,        667,        750,        0,    23124, 0x3bad1f16, F=0x0
1,        668,        668,       22,      442, 0xef1fda0b
1,        691,        691,       21,      450, 0x1c58e44b
0,        709,        709,        0,     7093, 0x3ab77cce, F=0x0
1,        712,        712,       21,      487, 0x0e5feab7
1,        733,        733,       21,      465, 0x984adca9
0,        750,        834,        0,    23210, 0xa7851bbf, F=0x0
1,        754,        754,       22,      479, 0x0960e535
1,        776,        776,       21,      489, 0x2f3ffc02
0,        792,        792,        0,    16045, 0x33039eb5, F=0x0
1,        797,        797,       21,      505, 0x541aff95
1,        818,        818,       21,      485, 0xb7a5e7f8
0,        834,        917,        0,    24859, 0x317ea0f2, F=0x0
1,        839,        839,       22,      537, 0xb0dd1072
1,        862,        862,       21,      485, 0x6e9eee58
0,        875,        875,        0,     7589, 0x02a8e5d5, F=0x0
1,        883,        883,       21,      480, 0x0a6fec0b
1,        904,        904,       21,      496, 0x6ff8ee65
0,        917,        959,        0,    19208, 0xdfb1a109, F=0x0
1,        925,        925,       21,      505, 0x75a308b8
1,        946,        946,       21,      512, 0x9628f3da
0,        959,       2000,        0,    60241, 0x43fcc627
1,        967,        967,       22,      506, 0xefc901cf
1,        990,        990,       21,      487, 0x1fd3edc8
1,       1011,       1011,       21,      485, 0x8ccde513
1,       1993,       1993,       21,      459, 0x725ede33
0,       2000,       2084,        0,    23528, 0xc1dd888a, F=0x0
1,       2014,       2014,       21,      481, 0x2cd7e611
1,       2035,       2035,       21,      473, 0x14f2d777
0,       2042,       2042,        0,     9206, 0x8f8cb89b, F=0x0
1,       2056,       2056,       21,      543, 0x0f6dfccf
1,       2077,       2077,       22,      489, 0x8049f5df
0,       2084,       2167,        0,    34864, 0x3a343fe0, F=0x0
1,       2099,       2099,       21,      480, 0xaa82edfc
1,       2120,       2120,       21,      505, 0xea87f3e9
0,       2125,       2125,        0,    12516, 0x885c8e4d, F=0x0
1,       2141,       2141,       21,      474, 0x0760e6a1
1,       2162,       2162,       22,      547, 0xcde40a72
0,       2167,       2250,        0,    21215, 0x4428040b, F=0x0
1,       2184,       2184,       21,      606, 0x4e401ec6
1,       2205,       2205,       21,      611, 0xd13e18b6
0,       2209,       2209,        0,    11811, 0xfe46f6c7, F=0x0
1,       2226,       2226,       21,      492, 0xe2a3ea95
1,       2247,       2247,       22,      582, 0x15fe1df5
0,       2250,       2334,        0,    18643, 0xdcd87177, F=0x0
1,       2269,       2269,       21,      455, 0x3753cfd3
1,       2290,       2290,       21,      467, 0x9342cfed
0,       2292,       2292,        0,     4578, 0x0bacbdaf, F=0x0
1,       2311,       2311,       21,      422, 0x080ec43e
1,       2332,       2332,       22,      466, 0xefb8e9aa
0,       2334,       2417,        0,    25403, 0x49348e8b, F=0x0
1,       2355,       2355,       21,      482, 0x2455e264
0,       2375,       2375,        0,     7254, 0xe5c672b9, F=0x0
1,       2376,       2376,       21,      471, 0xb370df1e
1,       2397,       2397,       21,      461, 0x01addfe6
0,       2417,       2500,        0,    25215, 0x1149c259, F=0x0
1,       2418,       2418,       22,      566, 0x93760a5d
1,       2440,       2440,       21,      618, 0x4e8e2f95
0,       2459,       2459,        0,    14257, 0x38956a4d, F=0x0
1,       2461,       2461,       21,      612, 0xc79128bc
1,       2482,       2482,       21,      594, 0x169d1975
0,       2500,       2584,        0,    36619, 0xca6497c5, F=0x0
1,       2503,       2503,       22,      488, 0xb218e907
1,       2526,       2526,       21,      437, 0xb180c83f
0,       2542,       2542,        0,    13152, 0x4ea52247, F=0x0
1,       2547,       2547,       21,      432, 0x85f8cf2b
1,       2568,       2568,       21,      469, 0x65d0e38e
0,       2584,       2667,        0,    31751, 0xb0140e79, F=0x0
1,       2589,       2589,       22,      473, 0xb4dee328
1,       2611,       2611,       21,      462, 0xd95cd547
0,       2625,       2625,        0,    13619, 0x97308292, F=0x0
1,       2632,       2632,       21,      470, 0x3638f48d
1,       2653,       2653,       21,      558, 0x93c3121b
0,       2667,       2750,        0,    32851, 0x014d2abc, F=0x0
1,       2674,       2674,       22,      486, 0x5983ed52
1,       2696,       2696,       21,      507, 0x572af3c3
0,       2709,       2709,        0,    16915, 0x3597bc67, F=0x0
1,       2717,       2717,       21,      480, 0xe3b3e16c
1,       2738,       2738,       21,      492, 0x9443f00e
0,       2750,       2834,        0,    35380, 0x728cd77a, F=0x0
1,       2759,       2759,       22,      480, 0x7845ea30
1,       2781,       2781,       21,      480, 0x7d01e1a2
0,       2792,       2792,        0,    12780, 0x84c38c29, F=0x0
1,       2802,       2802,       21,      505, 0x17d6f18b
1,       2823,       2823,       21,      506, 0xca09ee14
0,       2834,       2917,        0,    26049, 0x3788982a, F=0x0
1,       2844,       2844,       22,      479, 0x0383f05a
1,       2867,       2867,       21,      499, 0xa3b5e804
0,       2875,       2875,        0,    11796, 0x0cbff503, F=0x0
1,       2888,       2888,       21,      494, 0x0970e72e
1,       2909,       2909,       21,      484, 0x6f34da96
0,       2917,       2959,        0,    16638, 0x097c9345, F=0x0
1,       2930,       2930,       21,      492, 0x5282e9aa
1,       2951,       2951,       21,      487, 0x6f19e15e
0,       2959,       3000,        0,    64129, 0xc13b91ac
1,       2972,       2972,       22,      500, 0x17aef81a
1,       2995,       2995,       21,      510, 0xa323f6e6
0,       3000,       3084,        0,    19338, 0xfe901382, F=0x0
1,       3016,       3016,       21,      492, 0x49d7e74f
1,       3038,       3038,       21,      483, 0xa78deadb
0,       3042,       3042,        0,     4643, 0x5a05768b, F=0x0
1,       3059,       3059,       21,      639, 0xf2c237e9
1,       3080,       3080,       21,      661, 0xcd604711
0,       3084,       3167,        0,    25932, 0x395e1d01, F=0x0
1,       3101,       3101,       22,      647, 0xb8ee3acf
1,       3123,       3123,       21,      575, 0x3303118e
0,       3125,       3125,        0,     5301, 0x2aacb15c, F=0x0
1,       3144,       3144,       21,      506, 0x2063eef7
1,       3165,       3165,       21,      518, 0x7661f08e
0,       3167,       3250,        0,    24089, 0x5cf78354, F=0x0
1,       3186,       3186,       22,      534, 0x2858f90e
1,       3208,       3208,       21,      520, 0xd596f460
0,       3209,       3209,        0,     5837, 0x1c16cfad, F=0x0
1,       3229,       3229,       21,      496, 0xc2a6efed
0,       3250,       3334,        0,    26754, 0x4cf1ad04, F=0x0
1,       3250,       3250,       21,      470, 0xcff5e778
1,       3271,       3271,       22,      476, 0xcb63e48a
0,       3292,       3292,        0,    11067, 0x8b0b776f, F=0x0
1,       3293,       3293,       21,      516, 0xaea8f74b
1,       3314,       3314,       21,      503, 0x5998f00d
0,       3334,       3417,        0,    28780, 0xc610f024, F=0x0
1,       3335,       3335,       21,      488, 0xd818dd28
1,       3356,       3356,       22,      495, 0x2662f5b5
0,       3375,       3375,        0,    14863, 0xd58ed8f0, F=0x0
1,       3379,       3379,       21,      499, 0x6884ec30
1,       3400,       3400,       21,      496, 0x556bdc0e
0,       3417,       3500,        0,    24790, 0x71e32bae, F=0x0
1,       3421,       3421,       21,      524, 0xa756f115
1,       3442,       3442,       22,      505, 0xd332f37b
0,       3459,       3459,        0,     9123, 0x6c72b7a3, F=0x0
1,       3464,       3464,       21,      494, 0xa380e41e
1,       3485,       3485,       21,      513, 0xf26bf0a9
0,       3500,       3584,        0,    24706, 0x9bdd9247, F=0x0
1,       3506,       3506,       21,      515, 0x28fffe2a
1,       3527,       3527,       22,      506, 0xc5a2f83c
0,       3542,       3542,        0,     8105, 0x85b8ff64, F=0x0
1,       3550,       3550,       21,      510, 0xa10bf9c7
1,       3571,       3571,       21,      507, 0x93d1e650
0,       3584,       3667,        0,    25402, 0xe4622ee0, F=0x0
1,       3592,       3592,       21,      506, 0x1a36f285
1,       3613,       3613,       22,      522, 0xd7a1f5e4
0,       3625,       3625,        0,     9693, 0x910910bc, F=0x0
1,       3635,       3635,       21,      511, 0x2e79fa62
1,       3656,       3656,       21,      516, 0xfda2ef86
0,       3667,       3750,        0,    31403, 0xff9934ee, F=0x0
1,       3677,       3677,       21,      497, 0xd65cf156
1,       3698,       3698,       22,      480, 0xde3be560
0,       3709,       3709,        0,    13936, 0x9b6aec9e, F=0x0
1,       3720,       3720,       21,      514, 0x7d8cf49f
1,       3741,       3741,       21,      667, 0x7a483dec
0,       3750,       3834,        0,    28639, 0x620b80de, F=0x0
1,       3762,       3762,       21,      640, 0x7cd92998
1,       3783,       3783,       22,      504, 0xe3bbf106
0,       3792,       3792,        0,    18769, 0xf51353c4, F=0x0
1,       3805,       3805,       21,      498, 0xe8c6f489
1,       3826,       3826,       21,      489, 0x620df125
0,       3834,       3917,        0,    30240, 0x48151fb3, F=0x0
1,       3847,       3847,       21,      505, 0x7d73e570
1,       3868,       3868,       22,      496, 0xc211f6c6
0,       3875,       3875,        0,    13391, 0x4f3f112d, F=0x0
1,       3891,       3891,       21,      483, 0x126fe774
1,       3912,       3912,       21,      479, 0xac88db91
0,       3917,       3959,        0,    19896, 0x0e667f6e, F=0x0
1,       3933,       3933,       21,      480, 0x545df57b
1,       3954,       3954,       21,      473, 0x9a37e7ef
1,       3975,       3975,       22,      472, 0x4c8ee70d
1,       3998,       3998,       21,      508, 0x5c6bf8f3