#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