initial

2024-03-30 21:13:26 +01:00
commit 0980476603
571 changed files with 15226 additions and 0 deletions
--- a/source/bootrom_emulator/fuzz_output/03/.synced/01
+++ b/source/bootrom_emulator/fuzz_output/03/.synced/01
--- a/source/bootrom_emulator/fuzz_output/03/.synced/01.last
+++ b/source/bootrom_emulator/fuzz_output/03/.synced/01.last
--- a/source/bootrom_emulator/fuzz_output/03/.synced/1
+++ b/source/bootrom_emulator/fuzz_output/03/.synced/1
--- a/source/bootrom_emulator/fuzz_output/03/.synced/1.last
+++ b/source/bootrom_emulator/fuzz_output/03/.synced/1.last
--- a/source/bootrom_emulator/fuzz_output/03/cmdline
+++ b/source/bootrom_emulator/fuzz_output/03/cmdline
@@ -0,0 +1,3 @@
+python3
+fuzzer.py
+@@
--- a/source/bootrom_emulator/fuzz_output/03/crashes/README.txt
+++ b/source/bootrom_emulator/fuzz_output/03/crashes/README.txt
@@ -0,0 +1,14 @@
+Command line used to find this crash:
+
+afl-fuzz -U -t 5000 -o /fuzz/fuzz_output/ -i /fuzz/input/ -S 03 -- python3 fuzzer.py @@
+
+If you can't reproduce a bug outside of afl-fuzz, be sure to set the same
+memory limit. The limit used for this fuzzing session was 0 B.
+
+Need a tool to minimize test cases before investigating the crashes or sending
+them to a vendor? Check out the afl-tmin that comes with the fuzzer!
+
+Found any cool bugs in open-source tools using afl-fuzz? If yes, please post
+to https://github.com/AFLplusplus/AFLplusplus/issues/286 once the issues
+ are fixed :)
+
--- a/source/bootrom_emulator/fuzz_output/03/crashes/id:000000,sig:06,src:000013+000017,time:239490,execs:70207,op:splice,rep:4
+++ b/source/bootrom_emulator/fuzz_output/03/crashes/id:000000,sig:06,src:000013+000017,time:239490,execs:70207,op:splice,rep:4
@@ -0,0 +1 @@
+download:000000e1D0ad:DDDDD000000000000000000000e11€18
--- a/source/bootrom_emulator/fuzz_output/03/fuzz_bitmap
+++ b/source/bootrom_emulator/fuzz_output/03/fuzz_bitmap
--- a/source/bootrom_emulator/fuzz_output/03/fuzzer_setup
+++ b/source/bootrom_emulator/fuzz_output/03/fuzzer_setup
@@ -0,0 +1,9 @@
+# environment variables:
+AFL_CUSTOM_INFO_PROGRAM=python3
+AFL_CUSTOM_INFO_PROGRAM_ARGV=fuzzer.py @@
+AFL_CUSTOM_INFO_OUT=/fuzz/fuzz_output//03
+AFL_I_DONT_CARE_ABOUT_MISSING_CRASHES=1
+AFL_TRY_AFFINITY=1
+AFL_SKIP_CPUFREQ=1
+# command line:
+'afl-fuzz' '-U' '-t' '5000' '-o' '/fuzz/fuzz_output/' '-i' '/fuzz/input/' '-S' '03' '--' 'python3' 'fuzzer.py' '@@'
--- a/source/bootrom_emulator/fuzz_output/03/fuzzer_stats
+++ b/source/bootrom_emulator/fuzz_output/03/fuzzer_stats
@@ -0,0 +1,43 @@
+start_time        : 1707493722
+last_update       : 1707497276
+run_time          : 3553
+fuzzer_pid        : 4046
+cycles_done       : 118
+cycles_wo_finds   : 104
+time_wo_finds     : 3089
+execs_done        : 1058610
+execs_per_sec     : 297.89
+execs_ps_last_min : 293.60
+corpus_count      : 34
+corpus_favored    : 13
+corpus_found      : 9
+corpus_imported   : 18
+corpus_variable   : 0
+max_depth         : 2
+cur_item          : 9
+pending_favs      : 0
+pending_total     : 0
+stability         : 100.00%
+bitmap_cvg        : 0.31%
+saved_crashes     : 1
+saved_hangs       : 1
+last_find         : 1707494186
+last_crash        : 1707493961
+last_hang         : 1707494127
+execs_since_crash : 988403
+exec_timeout      : 5000
+slowest_exec_ms   : 0
+peak_rss_mb       : 42
+cpu_affinity      : 5
+edges_found       : 202
+total_edges       : 65536
+var_byte_count    : 0
+havoc_expansion   : 5
+auto_dict_entries : 0
+testcache_size    : 960
+testcache_count   : 34
+testcache_evict   : 0
+afl_banner        : python3
+afl_version       : ++4.10c
+target_mode       : unicornshmem_testcase 
+command_line      : afl-fuzz -U -t 5000 -o /fuzz/fuzz_output/ -i /fuzz/input/ -S 03 -- python3 fuzzer.py @@
--- a/source/bootrom_emulator/fuzz_output/03/hangs/id:000000,src:000001+000031,time:405196,execs:116678,op:splice,rep:1
+++ b/source/bootrom_emulator/fuzz_output/03/hangs/id:000000,src:000001+000031,time:405196,execs:116678,op:splice,rep:1
@@ -0,0 +1 @@
+getvar:getchipinfogetvar-getchipinfo
--- a/source/bootrom_emulator/fuzz_output/03/plot_data
+++ b/source/bootrom_emulator/fuzz_output/03/plot_data
@@ -0,0 +1,683 @@
+# relative_time, cycles_done, cur_item, corpus_count, pending_total, pending_favs, map_size, saved_crashes, saved_hangs, max_depth, execs_per_sec, total_execs, edges_found
+61, 0, 15, 32, 20, 0, 0.29%, 0, 0, 2, 286.28, 18420, 189
+66, 0, 15, 32, 20, 0, 0.29%, 0, 0, 2, 278.15, 19820, 189
+71, 0, 29, 32, 20, 0, 0.29%, 0, 0, 2, 290.89, 21308, 189
+76, 1, 28, 32, 20, 0, 0.29%, 0, 0, 2, 294.56, 22828, 189
+81, 1, 15, 32, 20, 0, 0.29%, 0, 0, 2, 297.79, 24312, 189
+87, 1, 15, 32, 20, 0, 0.29%, 0, 0, 2, 298.40, 25861, 189
+92, 1, 29, 32, 19, 0, 0.29%, 0, 0, 2, 297.08, 27379, 189
+97, 1, 13, 32, 19, 0, 0.29%, 0, 0, 2, 300.75, 28935, 189
+102, 2, 29, 32, 19, 0, 0.29%, 0, 0, 2, 299.10, 30426, 189
+107, 2, 0, 32, 19, 0, 0.29%, 0, 0, 2, 298.12, 31961, 189
+112, 2, 5, 32, 19, 0, 0.29%, 0, 0, 2, 296.19, 33489, 189
+117, 2, 29, 32, 19, 0, 0.29%, 0, 0, 2, 292.80, 34943, 189
+122, 2, 29, 32, 19, 0, 0.29%, 0, 0, 2, 292.29, 36451, 189
+127, 2, 25, 32, 19, 0, 0.29%, 0, 0, 2, 295.55, 37979, 189
+133, 3, 29, 32, 19, 0, 0.29%, 0, 0, 2, 291.17, 39485, 189
+138, 3, 29, 32, 18, 0, 0.29%, 0, 0, 2, 290.36, 40945, 189
+143, 3, 0, 32, 18, 0, 0.29%, 0, 0, 2, 289.40, 42450, 189
+148, 3, 28, 32, 18, 0, 0.29%, 0, 0, 2, 288.97, 43950, 189
+153, 3, 29, 32, 18, 0, 0.29%, 0, 0, 2, 289.11, 45468, 189
+158, 3, 29, 32, 17, 0, 0.29%, 0, 0, 2, 292.23, 47000, 189
+163, 4, 0, 32, 17, 0, 0.29%, 0, 0, 2, 281.28, 48455, 189
+169, 4, 29, 32, 17, 0, 0.29%, 0, 0, 2, 283.97, 49941, 189
+174, 4, 2, 32, 17, 0, 0.29%, 0, 0, 2, 279.22, 51411, 189
+179, 4, 0, 32, 16, 0, 0.29%, 0, 0, 2, 285.37, 52890, 189
+184, 4, 2, 32, 16, 0, 0.29%, 0, 0, 2, 268.78, 54294, 189
+189, 5, 29, 32, 15, 0, 0.29%, 0, 0, 2, 289.14, 55814, 189
+195, 5, 5, 32, 15, 0, 0.29%, 0, 0, 2, 289.44, 57309, 189
+200, 5, 1, 32, 15, 0, 0.29%, 0, 0, 2, 290.06, 58808, 189
+205, 5, 28, 32, 15, 0, 0.29%, 0, 0, 2, 280.82, 60261, 189
+210, 5, 15, 32, 15, 0, 0.29%, 0, 0, 2, 278.57, 61728, 189
+215, 5, 28, 32, 14, 0, 0.29%, 0, 0, 2, 289.75, 63235, 189
+220, 6, 13, 32, 14, 0, 0.29%, 0, 0, 2, 290.78, 64725, 189
+225, 6, 5, 32, 14, 0, 0.29%, 0, 0, 2, 291.06, 66216, 189
+231, 6, 9, 32, 14, 0, 0.29%, 0, 0, 2, 294.55, 67735, 189
+236, 6, 9, 32, 14, 0, 0.29%, 0, 0, 2, 297.35, 69265, 189
+241, 6, 29, 32, 14, 0, 0.29%, 1, 0, 2, 296.87, 70747, 189
+246, 6, 9, 32, 14, 0, 0.29%, 1, 0, 2, 295.81, 72268, 189
+251, 7, 5, 32, 14, 0, 0.29%, 1, 0, 2, 295.58, 73775, 189
+256, 7, 29, 32, 14, 0, 0.29%, 1, 0, 2, 295.44, 75291, 189
+261, 7, 1, 32, 14, 0, 0.29%, 1, 0, 2, 291.44, 76789, 189
+267, 7, 2, 32, 14, 0, 0.29%, 1, 0, 2, 293.83, 78293, 189
+272, 7, 5, 32, 14, 0, 0.29%, 1, 0, 2, 294.10, 79811, 189
+277, 8, 15, 32, 14, 0, 0.29%, 1, 0, 2, 290.75, 81310, 189
+282, 8, 9, 32, 14, 0, 0.29%, 1, 0, 2, 290.05, 82798, 189
+287, 8, 28, 32, 14, 0, 0.29%, 1, 0, 2, 293.19, 84315, 189
+292, 8, 9, 32, 13, 0, 0.29%, 1, 0, 2, 289.78, 85753, 189
+297, 8, 15, 32, 13, 0, 0.29%, 1, 0, 2, 290.98, 87262, 189
+303, 8, 5, 32, 13, 0, 0.29%, 1, 0, 2, 281.97, 88734, 189
+308, 9, 29, 32, 13, 0, 0.29%, 1, 0, 2, 277.27, 90182, 189
+313, 9, 29, 32, 12, 0, 0.29%, 1, 0, 2, 286.81, 91680, 189
+318, 9, 9, 32, 12, 0, 0.29%, 1, 0, 2, 297.44, 93225, 189
+323, 9, 9, 32, 12, 0, 0.29%, 1, 0, 2, 285.66, 94696, 189
+329, 9, 9, 32, 12, 0, 0.29%, 1, 0, 2, 287.98, 96200, 189
+334, 10, 9, 32, 12, 0, 0.29%, 1, 0, 2, 283.98, 97623, 189
+339, 10, 13, 32, 12, 0, 0.29%, 1, 0, 2, 278.65, 99019, 189
+344, 10, 29, 32, 12, 0, 0.29%, 1, 0, 2, 277.53, 100408, 189
+349, 10, 25, 32, 12, 0, 0.29%, 1, 0, 2, 287.26, 101902, 189
+354, 10, 15, 32, 12, 0, 0.29%, 1, 0, 2, 283.25, 103378, 189
+359, 10, 28, 32, 12, 0, 0.29%, 1, 0, 2, 287.97, 104855, 189
+364, 11, 13, 32, 12, 0, 0.29%, 1, 0, 2, 290.12, 106354, 189
+369, 11, 29, 32, 12, 0, 0.29%, 1, 0, 2, 290.30, 107860, 189
+375, 11, 15, 32, 12, 0, 0.29%, 1, 0, 2, 289.77, 109371, 189
+380, 11, 15, 32, 12, 0, 0.29%, 1, 0, 2, 288.25, 110853, 189
+385, 11, 25, 33, 12, 0, 0.31%, 1, 0, 2, 292.45, 112364, 201
+390, 11, 28, 33, 11, 0, 0.31%, 1, 0, 2, 292.43, 113869, 201
+395, 11, 29, 33, 11, 0, 0.31%, 1, 0, 2, 291.35, 115360, 201
+405, 12, 1, 33, 11, 0, 0.31%, 1, 1, 2, 10.42, 116678, 201
+410, 12, 9, 33, 11, 0, 0.31%, 1, 1, 2, 291.85, 118186, 201
+415, 12, 28, 33, 11, 0, 0.31%, 1, 1, 2, 291.97, 119704, 201
+420, 12, 9, 33, 9, 0, 0.31%, 1, 1, 2, 289.78, 121181, 201
+425, 12, 9, 33, 9, 0, 0.31%, 1, 1, 2, 289.10, 122673, 201
+431, 12, 32, 33, 9, 0, 0.31%, 1, 1, 2, 289.29, 124167, 201
+436, 13, 9, 33, 8, 0, 0.31%, 1, 1, 2, 289.47, 125652, 201
+441, 13, 9, 33, 8, 0, 0.31%, 1, 1, 2, 290.16, 127156, 201
+446, 13, 2, 33, 8, 0, 0.31%, 1, 1, 2, 291.84, 128653, 201
+451, 13, 1, 33, 8, 0, 0.31%, 1, 1, 2, 290.25, 130141, 201
+456, 13, 28, 33, 8, 0, 0.31%, 1, 1, 2, 288.04, 131613, 201
+461, 13, 29, 33, 8, 0, 0.31%, 1, 1, 2, 290.51, 133105, 201
+467, 14, 33, 34, 9, 1, 0.31%, 1, 1, 2, 291.08, 134595, 202
+472, 14, 32, 34, 8, 0, 0.31%, 1, 1, 2, 292.10, 136095, 202
+477, 14, 29, 34, 8, 0, 0.31%, 1, 1, 2, 287.38, 137585, 202
+482, 14, 33, 34, 8, 0, 0.31%, 1, 1, 2, 294.14, 139109, 202
+487, 14, 9, 34, 8, 0, 0.31%, 1, 1, 2, 292.29, 140603, 202
+492, 14, 25, 34, 8, 0, 0.31%, 1, 1, 2, 289.65, 142112, 202
+498, 14, 4, 34, 8, 0, 0.31%, 1, 1, 2, 287.16, 143590, 202
+503, 15, 1, 34, 8, 0, 0.31%, 1, 1, 2, 282.79, 145066, 202
+508, 15, 9, 34, 8, 0, 0.31%, 1, 1, 2, 285.89, 146547, 202
+513, 15, 29, 34, 8, 0, 0.31%, 1, 1, 2, 285.60, 148018, 202
+518, 15, 30, 34, 8, 0, 0.31%, 1, 1, 2, 289.13, 149506, 202
+523, 15, 29, 34, 8, 0, 0.31%, 1, 1, 2, 283.71, 150972, 202
+528, 15, 4, 34, 8, 0, 0.31%, 1, 1, 2, 289.33, 152471, 202
+534, 15, 33, 34, 8, 0, 0.31%, 1, 1, 2, 291.41, 153960, 202
+539, 16, 32, 34, 8, 0, 0.31%, 1, 1, 2, 285.93, 155414, 202
+544, 16, 33, 34, 8, 0, 0.31%, 1, 1, 2, 282.94, 156872, 202
+549, 16, 15, 34, 8, 0, 0.31%, 1, 1, 2, 285.24, 158354, 202
+554, 16, 33, 34, 8, 0, 0.31%, 1, 1, 2, 289.93, 159867, 202
+559, 16, 32, 34, 8, 0, 0.31%, 1, 1, 2, 291.70, 161363, 202
+565, 16, 5, 34, 8, 0, 0.31%, 1, 1, 2, 288.10, 162844, 202
+570, 16, 2, 34, 8, 0, 0.31%, 1, 1, 2, 291.22, 164351, 202
+575, 17, 29, 34, 8, 0, 0.31%, 1, 1, 2, 291.29, 165863, 202
+580, 17, 9, 34, 8, 0, 0.31%, 1, 1, 2, 290.45, 167349, 202
+585, 17, 1, 34, 8, 0, 0.31%, 1, 1, 2, 281.61, 168792, 202
+590, 17, 28, 34, 8, 0, 0.31%, 1, 1, 2, 284.09, 170271, 202
+596, 17, 33, 34, 8, 0, 0.31%, 1, 1, 2, 288.16, 171767, 202
+601, 17, 13, 34, 8, 0, 0.31%, 1, 1, 2, 288.50, 173241, 202
+606, 17, 32, 34, 8, 0, 0.31%, 1, 1, 2, 296.83, 174783, 202
+611, 18, 9, 34, 8, 0, 0.31%, 1, 1, 2, 296.81, 176318, 202
+616, 18, 25, 34, 8, 0, 0.31%, 1, 1, 2, 300.34, 177872, 202
+621, 18, 9, 34, 7, 0, 0.31%, 1, 1, 2, 300.48, 179424, 202
+627, 18, 29, 34, 7, 0, 0.31%, 1, 1, 2, 300.99, 180958, 202
+632, 18, 33, 34, 7, 0, 0.31%, 1, 1, 2, 304.48, 182532, 202
+637, 18, 5, 34, 7, 0, 0.31%, 1, 1, 2, 297.35, 184063, 202
+642, 19, 2, 34, 7, 0, 0.31%, 1, 1, 2, 297.85, 185606, 202
+647, 19, 9, 34, 7, 0, 0.31%, 1, 1, 2, 298.17, 187147, 202
+652, 19, 4, 34, 7, 0, 0.31%, 1, 1, 2, 295.11, 188684, 202
+658, 19, 32, 34, 7, 0, 0.31%, 1, 1, 2, 295.61, 190218, 202
+663, 19, 32, 34, 7, 0, 0.31%, 1, 1, 2, 296.70, 191765, 202
+668, 19, 29, 34, 7, 0, 0.31%, 1, 1, 2, 296.98, 193322, 202
+673, 20, 9, 34, 7, 0, 0.31%, 1, 1, 2, 295.73, 194847, 202
+678, 20, 9, 34, 7, 0, 0.31%, 1, 1, 2, 297.95, 196384, 202
+683, 20, 9, 34, 7, 0, 0.31%, 1, 1, 2, 295.99, 197917, 202
+689, 20, 15, 34, 7, 0, 0.31%, 1, 1, 2, 297.85, 199470, 202
+694, 20, 29, 34, 7, 0, 0.31%, 1, 1, 2, 295.82, 200995, 202
+699, 21, 28, 34, 6, 0, 0.31%, 1, 1, 2, 300.21, 202551, 202
+704, 21, 1, 34, 6, 0, 0.31%, 1, 1, 2, 294.67, 204073, 202
+709, 21, 2, 34, 6, 0, 0.31%, 1, 1, 2, 298.26, 205599, 202
+715, 21, 1, 34, 6, 0, 0.31%, 1, 1, 2, 298.81, 207145, 202
+720, 21, 11, 34, 6, 0, 0.31%, 1, 1, 2, 294.05, 208599, 202
+725, 21, 11, 34, 6, 0, 0.31%, 1, 1, 2, 292.28, 210122, 202
+730, 21, 9, 34, 6, 0, 0.31%, 1, 1, 2, 294.10, 211635, 202
+735, 22, 25, 34, 6, 0, 0.31%, 1, 1, 2, 298.34, 213181, 202
+740, 22, 33, 34, 6, 0, 0.31%, 1, 1, 2, 299.33, 214736, 202
+745, 22, 9, 34, 6, 0, 0.31%, 1, 1, 2, 298.44, 216279, 202
+751, 22, 11, 34, 6, 0, 0.31%, 1, 1, 2, 302.10, 217832, 202
+756, 22, 15, 34, 6, 0, 0.31%, 1, 1, 2, 299.94, 219373, 202
+761, 22, 23, 34, 6, 0, 0.31%, 1, 1, 2, 300.75, 220930, 202
+766, 23, 32, 34, 5, 0, 0.31%, 1, 1, 2, 300.03, 222473, 202
+771, 23, 1, 34, 5, 0, 0.31%, 1, 1, 2, 300.39, 224012, 202
+776, 23, 11, 34, 5, 0, 0.31%, 1, 1, 2, 301.53, 225513, 202
+781, 23, 33, 34, 5, 0, 0.31%, 1, 1, 2, 300.25, 227003, 202
+786, 23, 11, 34, 5, 0, 0.31%, 1, 1, 2, 299.79, 228544, 202
+791, 23, 5, 34, 5, 0, 0.31%, 1, 1, 2, 299.45, 230034, 202
+797, 24, 15, 34, 5, 0, 0.31%, 1, 1, 2, 302.83, 231601, 202
+802, 24, 32, 34, 5, 0, 0.31%, 1, 1, 2, 302.69, 233113, 202
+807, 24, 9, 34, 5, 0, 0.31%, 1, 1, 2, 303.06, 234685, 202
+812, 24, 1, 34, 5, 0, 0.31%, 1, 1, 2, 297.73, 236222, 202
+817, 24, 28, 34, 5, 0, 0.31%, 1, 1, 2, 302.78, 237774, 202
+822, 24, 11, 34, 5, 0, 0.31%, 1, 1, 2, 299.82, 239269, 202
+827, 25, 4, 34, 5, 0, 0.31%, 1, 1, 2, 298.69, 240801, 202
+832, 25, 33, 34, 4, 0, 0.31%, 1, 1, 2, 299.62, 242322, 202
+838, 25, 28, 34, 4, 0, 0.31%, 1, 1, 2, 295.81, 243840, 202
+843, 25, 28, 34, 4, 0, 0.31%, 1, 1, 2, 299.33, 245384, 202
+848, 25, 9, 34, 3, 0, 0.31%, 1, 1, 2, 295.73, 246918, 202
+853, 25, 9, 34, 3, 0, 0.31%, 1, 1, 2, 294.86, 248435, 202
+858, 26, 32, 34, 3, 0, 0.31%, 1, 1, 2, 294.90, 249941, 202
+863, 26, 11, 34, 3, 0, 0.31%, 1, 1, 2, 299.59, 251499, 202
+868, 26, 13, 34, 3, 0, 0.31%, 1, 1, 2, 300.73, 253060, 202
+874, 26, 9, 34, 3, 0, 0.31%, 1, 1, 2, 297.86, 254607, 202
+879, 26, 11, 34, 3, 0, 0.31%, 1, 1, 2, 292.76, 256131, 202
+884, 26, 9, 34, 3, 0, 0.31%, 1, 1, 2, 291.60, 257655, 202
+889, 27, 33, 34, 3, 0, 0.31%, 1, 1, 2, 295.77, 259198, 202
+894, 27, 13, 34, 3, 0, 0.31%, 1, 1, 2, 296.33, 260723, 202
+900, 27, 2, 34, 3, 0, 0.31%, 1, 1, 2, 287.81, 262196, 202
+905, 27, 11, 34, 3, 0, 0.31%, 1, 1, 2, 294.46, 263722, 202
+910, 27, 9, 34, 3, 0, 0.31%, 1, 1, 2, 296.11, 265256, 202
+915, 27, 28, 34, 3, 0, 0.31%, 1, 1, 2, 296.96, 266792, 202
+920, 28, 28, 34, 3, 0, 0.31%, 1, 1, 2, 296.50, 268323, 202
+925, 28, 13, 34, 3, 0, 0.31%, 1, 1, 2, 297.42, 269875, 202
+931, 28, 11, 34, 3, 0, 0.31%, 1, 1, 2, 298.32, 271423, 202
+936, 28, 11, 34, 3, 0, 0.31%, 1, 1, 2, 300.02, 272959, 202
+941, 28, 25, 34, 3, 0, 0.31%, 1, 1, 2, 300.11, 274467, 202
+946, 28, 32, 34, 3, 0, 0.31%, 1, 1, 2, 298.01, 276006, 202
+951, 29, 28, 34, 3, 0, 0.31%, 1, 1, 2, 299.42, 277537, 202
+956, 29, 9, 34, 3, 0, 0.31%, 1, 1, 2, 301.14, 279078, 202
+961, 29, 2, 34, 3, 0, 0.31%, 1, 1, 2, 301.02, 280580, 202
+966, 29, 32, 34, 3, 0, 0.31%, 1, 1, 2, 297.84, 282066, 202
+971, 29, 9, 34, 3, 0, 0.31%, 1, 1, 2, 300.48, 283618, 202
+977, 29, 32, 34, 3, 0, 0.31%, 1, 1, 2, 298.75, 285162, 202
+982, 30, 11, 34, 3, 0, 0.31%, 1, 1, 2, 299.96, 286710, 202
+987, 30, 11, 34, 3, 0, 0.31%, 1, 1, 2, 299.19, 288253, 202
+992, 30, 11, 34, 3, 0, 0.31%, 1, 1, 2, 300.54, 289789, 202
+997, 30, 32, 34, 3, 0, 0.31%, 1, 1, 2, 297.24, 291314, 202
+1003, 30, 9, 34, 3, 0, 0.31%, 1, 1, 2, 295.39, 292849, 202
+1008, 30, 9, 34, 2, 0, 0.31%, 1, 1, 2, 296.04, 294394, 202
+1013, 31, 11, 34, 2, 0, 0.31%, 1, 1, 2, 299.49, 295929, 202
+1018, 31, 11, 34, 2, 0, 0.31%, 1, 1, 2, 300.02, 297491, 202
+1023, 31, 11, 34, 2, 0, 0.31%, 1, 1, 2, 303.19, 299066, 202
+1028, 31, 11, 34, 2, 0, 0.31%, 1, 1, 2, 300.24, 300562, 202
+1034, 31, 13, 34, 2, 0, 0.31%, 1, 1, 2, 298.30, 302116, 202
+1039, 31, 5, 34, 2, 0, 0.31%, 1, 1, 2, 296.77, 303634, 202
+1044, 32, 9, 34, 2, 0, 0.31%, 1, 1, 2, 299.27, 305171, 202
+1049, 32, 28, 34, 2, 0, 0.31%, 1, 1, 2, 298.16, 306668, 202
+1054, 32, 7, 34, 2, 0, 0.31%, 1, 1, 2, 294.76, 308180, 202
+1059, 32, 9, 34, 2, 0, 0.31%, 1, 1, 2, 298.02, 309732, 202
+1064, 32, 11, 34, 2, 0, 0.31%, 1, 1, 2, 299.63, 311289, 202
+1069, 32, 2, 34, 2, 0, 0.31%, 1, 1, 2, 302.48, 312812, 202
+1074, 33, 32, 34, 2, 0, 0.31%, 1, 1, 2, 298.66, 314316, 202
+1080, 33, 28, 34, 2, 0, 0.31%, 1, 1, 2, 288.84, 315806, 202
+1085, 33, 32, 34, 2, 0, 0.31%, 1, 1, 2, 297.95, 317359, 202
+1090, 33, 15, 34, 2, 0, 0.31%, 1, 1, 2, 300.17, 318920, 202
+1095, 33, 28, 34, 2, 0, 0.31%, 1, 1, 2, 302.13, 320438, 202
+1100, 33, 9, 34, 2, 0, 0.31%, 1, 1, 2, 298.78, 321979, 202
+1105, 34, 13, 34, 2, 0, 0.31%, 1, 1, 2, 299.74, 323521, 202
+1110, 34, 4, 34, 2, 0, 0.31%, 1, 1, 2, 297.69, 325064, 202
+1115, 34, 33, 34, 2, 0, 0.31%, 1, 1, 2, 299.63, 326574, 202
+1121, 34, 32, 34, 2, 0, 0.31%, 1, 1, 2, 297.57, 328103, 202
+1126, 34, 28, 34, 2, 0, 0.31%, 1, 1, 2, 293.46, 329593, 202
+1131, 34, 9, 34, 2, 0, 0.31%, 1, 1, 2, 298.79, 331147, 202
+1136, 35, 11, 34, 2, 0, 0.31%, 1, 1, 2, 296.27, 332678, 202
+1141, 35, 32, 34, 2, 0, 0.31%, 1, 1, 2, 296.12, 334198, 202
+1146, 35, 11, 34, 2, 0, 0.31%, 1, 1, 2, 298.19, 335722, 202
+1151, 35, 4, 34, 2, 0, 0.31%, 1, 1, 2, 296.28, 337222, 202
+1157, 35, 7, 34, 2, 0, 0.31%, 1, 1, 2, 301.68, 338771, 202
+1162, 35, 32, 34, 2, 0, 0.31%, 1, 1, 2, 298.99, 340299, 202
+1167, 36, 32, 34, 2, 0, 0.31%, 1, 1, 2, 297.80, 341821, 202
+1172, 36, 13, 34, 2, 0, 0.31%, 1, 1, 2, 299.73, 343364, 202
+1177, 36, 11, 34, 2, 0, 0.31%, 1, 1, 2, 299.61, 344908, 202
+1182, 36, 12, 34, 2, 0, 0.31%, 1, 1, 2, 296.69, 346433, 202
+1188, 36, 9, 34, 1, 0, 0.31%, 1, 1, 2, 298.86, 347979, 202
+1193, 36, 9, 34, 1, 0, 0.31%, 1, 1, 2, 298.58, 349487, 202
+1198, 37, 9, 34, 1, 0, 0.31%, 1, 1, 2, 299.81, 351051, 202
+1203, 37, 5, 34, 1, 0, 0.31%, 1, 1, 2, 298.56, 352558, 202
+1208, 37, 11, 34, 1, 0, 0.31%, 1, 1, 2, 294.99, 354080, 202
+1213, 37, 7, 34, 1, 0, 0.31%, 1, 1, 2, 297.67, 355638, 202
+1218, 37, 4, 34, 1, 0, 0.31%, 1, 1, 2, 284.16, 357139, 202
+1224, 37, 5, 34, 1, 0, 0.31%, 1, 1, 2, 285.25, 358586, 202
+1229, 38, 32, 34, 1, 0, 0.31%, 1, 1, 2, 276.38, 359962, 202
+1234, 38, 1, 34, 1, 0, 0.31%, 1, 1, 2, 280.30, 361397, 202
+1239, 38, 33, 34, 1, 0, 0.31%, 1, 1, 2, 295.28, 362933, 202
+1244, 38, 28, 34, 1, 0, 0.31%, 1, 1, 2, 294.20, 364457, 202
+1249, 38, 11, 34, 1, 0, 0.31%, 1, 1, 2, 301.39, 366030, 202
+1254, 38, 28, 34, 1, 0, 0.31%, 1, 1, 2, 278.39, 367444, 202
+1260, 39, 11, 34, 1, 0, 0.31%, 1, 1, 2, 262.18, 368741, 202
+1265, 39, 9, 34, 1, 0, 0.31%, 1, 1, 2, 285.62, 370248, 202
+1270, 39, 9, 34, 1, 0, 0.31%, 1, 1, 2, 287.76, 371753, 202
+1275, 39, 5, 34, 1, 0, 0.31%, 1, 1, 2, 281.58, 373176, 202
+1280, 39, 1, 34, 1, 0, 0.31%, 1, 1, 2, 294.37, 374706, 202
+1285, 39, 28, 34, 1, 0, 0.31%, 1, 1, 2, 296.34, 376224, 202
+1291, 40, 9, 34, 1, 0, 0.31%, 1, 1, 2, 299.33, 377778, 202
+1296, 40, 9, 34, 1, 0, 0.31%, 1, 1, 2, 299.53, 379314, 202
+1301, 40, 9, 34, 1, 0, 0.31%, 1, 1, 2, 298.40, 380804, 202
+1306, 40, 4, 34, 1, 0, 0.31%, 1, 1, 2, 299.23, 382344, 202
+1311, 40, 28, 34, 1, 0, 0.31%, 1, 1, 2, 300.77, 383850, 202
+1316, 40, 32, 34, 1, 0, 0.31%, 1, 1, 2, 298.24, 385394, 202
+1321, 40, 13, 34, 1, 0, 0.31%, 1, 1, 2, 297.68, 386918, 202
+1326, 41, 9, 34, 1, 0, 0.31%, 1, 1, 2, 298.28, 388424, 202
+1331, 41, 11, 34, 1, 0, 0.31%, 1, 1, 2, 303.40, 389949, 202
+1337, 41, 4, 34, 1, 0, 0.31%, 1, 1, 2, 298.26, 391491, 202
+1342, 41, 9, 34, 1, 0, 0.31%, 1, 1, 2, 301.24, 393050, 202
+1347, 41, 9, 34, 1, 0, 0.31%, 1, 1, 2, 301.07, 394611, 202
+1352, 42, 11, 34, 1, 0, 0.31%, 1, 1, 2, 299.11, 396151, 202
+1357, 42, 2, 34, 1, 0, 0.31%, 1, 1, 2, 297.13, 397680, 202
+1362, 42, 33, 34, 1, 0, 0.31%, 1, 1, 2, 295.53, 399223, 202
+1368, 42, 9, 34, 1, 0, 0.31%, 1, 1, 2, 298.66, 400773, 202
+1373, 42, 13, 34, 1, 0, 0.31%, 1, 1, 2, 296.46, 402267, 202
+1378, 42, 11, 34, 1, 0, 0.31%, 1, 1, 2, 297.41, 403824, 202
+1383, 43, 32, 34, 1, 0, 0.31%, 1, 1, 2, 295.35, 405353, 202
+1388, 43, 7, 34, 1, 0, 0.31%, 1, 1, 2, 298.20, 406863, 202
+1393, 43, 15, 34, 1, 0, 0.31%, 1, 1, 2, 297.11, 408402, 202
+1398, 43, 9, 34, 1, 0, 0.31%, 1, 1, 2, 296.72, 409899, 202
+1403, 43, 32, 34, 1, 0, 0.31%, 1, 1, 2, 299.10, 411449, 202
+1409, 43, 33, 34, 1, 0, 0.31%, 1, 1, 2, 301.88, 413027, 202
+1414, 44, 4, 34, 1, 0, 0.31%, 1, 1, 2, 298.27, 414566, 202
+1419, 44, 5, 34, 1, 0, 0.31%, 1, 1, 2, 297.69, 416114, 202
+1424, 44, 9, 34, 1, 0, 0.31%, 1, 1, 2, 299.42, 417663, 202
+1429, 44, 28, 34, 1, 0, 0.31%, 1, 1, 2, 296.30, 419187, 202
+1434, 44, 9, 34, 1, 0, 0.31%, 1, 1, 2, 299.52, 420752, 202
+1440, 44, 9, 34, 1, 0, 0.31%, 1, 1, 2, 300.42, 422281, 202
+1445, 45, 32, 34, 1, 0, 0.31%, 1, 1, 2, 300.34, 423822, 202
+1450, 45, 15, 34, 1, 0, 0.31%, 1, 1, 2, 295.05, 425350, 202
+1455, 45, 11, 34, 1, 0, 0.31%, 1, 1, 2, 301.06, 426898, 202
+1460, 45, 33, 34, 1, 0, 0.31%, 1, 1, 2, 299.97, 428460, 202
+1465, 45, 28, 34, 1, 0, 0.31%, 1, 1, 2, 304.68, 429978, 202
+1470, 45, 9, 34, 1, 0, 0.31%, 1, 1, 2, 303.05, 431550, 202
+1475, 46, 1, 34, 0, 0, 0.31%, 1, 1, 2, 300.79, 433056, 202
+1480, 46, 32, 34, 0, 0, 0.31%, 1, 1, 2, 301.88, 434568, 202
+1485, 46, 1, 34, 0, 0, 0.31%, 1, 1, 2, 303.89, 436098, 202
+1491, 46, 26, 34, 0, 0, 0.31%, 1, 1, 2, 305.18, 437685, 202
+1496, 46, 13, 34, 0, 0, 0.31%, 1, 1, 2, 303.01, 439252, 202
+1501, 46, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.38, 440803, 202
+1506, 47, 9, 34, 0, 0, 0.31%, 1, 1, 2, 294.30, 442309, 202
+1511, 47, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.80, 443880, 202
+1516, 47, 28, 34, 0, 0, 0.31%, 1, 1, 2, 306.08, 445408, 202
+1522, 47, 25, 34, 0, 0, 0.31%, 1, 1, 2, 303.73, 446992, 202
+1527, 47, 4, 34, 0, 0, 0.31%, 1, 1, 2, 298.40, 448489, 202
+1532, 47, 28, 34, 0, 0, 0.31%, 1, 1, 2, 302.26, 450056, 202
+1537, 48, 4, 34, 0, 0, 0.31%, 1, 1, 2, 301.70, 451632, 202
+1542, 48, 32, 34, 0, 0, 0.31%, 1, 1, 2, 301.83, 453188, 202
+1547, 48, 5, 34, 0, 0, 0.31%, 1, 1, 2, 295.44, 454720, 202
+1553, 48, 5, 34, 0, 0, 0.31%, 1, 1, 2, 298.07, 456256, 202
+1558, 48, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.05, 457841, 202
+1563, 49, 9, 34, 0, 0, 0.31%, 1, 1, 2, 300.69, 459412, 202
+1568, 49, 28, 34, 0, 0, 0.31%, 1, 1, 2, 300.19, 460920, 202
+1573, 49, 28, 34, 0, 0, 0.31%, 1, 1, 2, 301.66, 462440, 202
+1578, 49, 1, 34, 0, 0, 0.31%, 1, 1, 2, 299.20, 463993, 202
+1583, 49, 15, 34, 0, 0, 0.31%, 1, 1, 2, 300.94, 465505, 202
+1588, 49, 25, 34, 0, 0, 0.31%, 1, 1, 2, 305.23, 467057, 202
+1593, 50, 33, 34, 0, 0, 0.31%, 1, 1, 2, 304.21, 468593, 202
+1598, 50, 5, 34, 0, 0, 0.31%, 1, 1, 2, 303.38, 470117, 202
+1603, 50, 14, 34, 0, 0, 0.31%, 1, 1, 2, 299.26, 471664, 202
+1608, 50, 15, 34, 0, 0, 0.31%, 1, 1, 2, 298.38, 473191, 202
+1614, 50, 9, 34, 0, 0, 0.31%, 1, 1, 2, 302.23, 474774, 202
+1619, 50, 19, 34, 0, 0, 0.31%, 1, 1, 2, 292.38, 476249, 202
+1624, 51, 9, 34, 0, 0, 0.31%, 1, 1, 2, 291.63, 477747, 202
+1629, 51, 7, 34, 0, 0, 0.31%, 1, 1, 2, 304.01, 479320, 202
+1634, 51, 9, 34, 0, 0, 0.31%, 1, 1, 2, 301.71, 480870, 202
+1639, 51, 32, 34, 0, 0, 0.31%, 1, 1, 2, 303.32, 482442, 202
+1644, 51, 14, 34, 0, 0, 0.31%, 1, 1, 2, 299.95, 483942, 202
+1650, 52, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.51, 485518, 202
+1655, 52, 32, 34, 0, 0, 0.31%, 1, 1, 2, 301.10, 487067, 202
+1660, 52, 33, 34, 0, 0, 0.31%, 1, 1, 2, 308.65, 488678, 202
+1665, 52, 25, 34, 0, 0, 0.31%, 1, 1, 2, 303.70, 490197, 202
+1670, 52, 32, 34, 0, 0, 0.31%, 1, 1, 2, 308.78, 491743, 202
+1675, 52, 4, 34, 0, 0, 0.31%, 1, 1, 2, 306.03, 493273, 202
+1680, 53, 14, 34, 0, 0, 0.31%, 1, 1, 2, 303.75, 494803, 202
+1685, 53, 9, 34, 0, 0, 0.31%, 1, 1, 2, 297.23, 496276, 202
+1690, 53, 9, 34, 0, 0, 0.31%, 1, 1, 2, 300.64, 497833, 202
+1695, 53, 13, 34, 0, 0, 0.31%, 1, 1, 2, 302.49, 499359, 202
+1700, 53, 14, 34, 0, 0, 0.31%, 1, 1, 2, 305.30, 500889, 202
+1705, 54, 1, 34, 0, 0, 0.31%, 1, 1, 2, 300.74, 502399, 202
+1710, 54, 14, 34, 0, 0, 0.31%, 1, 1, 2, 296.94, 503875, 202
+1715, 54, 28, 34, 0, 0, 0.31%, 1, 1, 2, 301.54, 505436, 202
+1720, 54, 4, 34, 0, 0, 0.31%, 1, 1, 2, 298.10, 506924, 202
+1726, 54, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.19, 508489, 202
+1731, 54, 25, 34, 0, 0, 0.31%, 1, 1, 2, 304.59, 510060, 202
+1736, 55, 32, 34, 0, 0, 0.31%, 1, 1, 2, 303.54, 511572, 202
+1741, 55, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.52, 513096, 202
+1746, 55, 28, 34, 0, 0, 0.31%, 1, 1, 2, 307.82, 514641, 202
+1751, 55, 1, 34, 0, 0, 0.31%, 1, 1, 2, 305.80, 516169, 202
+1756, 55, 32, 34, 0, 0, 0.31%, 1, 1, 2, 302.81, 517729, 202
+1761, 56, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.76, 519293, 202
+1766, 56, 28, 34, 0, 0, 0.31%, 1, 1, 2, 300.32, 520848, 202
+1772, 56, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.57, 522412, 202
+1777, 56, 5, 34, 0, 0, 0.31%, 1, 1, 2, 306.51, 524000, 202
+1782, 56, 1, 34, 0, 0, 0.31%, 1, 1, 2, 302.81, 525528, 202
+1787, 56, 5, 34, 0, 0, 0.31%, 1, 1, 2, 305.21, 527058, 202
+1792, 57, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.12, 528558, 202
+1797, 57, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.80, 530116, 202
+1802, 57, 1, 34, 0, 0, 0.31%, 1, 1, 2, 299.38, 531633, 202
+1807, 57, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.44, 533140, 202
+1812, 57, 9, 34, 0, 0, 0.31%, 1, 1, 2, 294.85, 534672, 202
+1817, 57, 9, 34, 0, 0, 0.31%, 1, 1, 2, 299.83, 536185, 202
+1823, 58, 4, 34, 0, 0, 0.31%, 1, 1, 2, 296.97, 537732, 202
+1828, 58, 32, 34, 0, 0, 0.31%, 1, 1, 2, 295.73, 539273, 202
+1833, 58, 32, 34, 0, 0, 0.31%, 1, 1, 2, 298.45, 540814, 202
+1838, 58, 9, 34, 0, 0, 0.31%, 1, 1, 2, 306.96, 542376, 202
+1843, 58, 14, 34, 0, 0, 0.31%, 1, 1, 2, 305.82, 543916, 202
+1848, 59, 33, 34, 0, 0, 0.31%, 1, 1, 2, 304.55, 545440, 202
+1853, 59, 7, 34, 0, 0, 0.31%, 1, 1, 2, 303.11, 547008, 202
+1858, 59, 14, 34, 0, 0, 0.31%, 1, 1, 2, 303.07, 548531, 202
+1863, 59, 4, 34, 0, 0, 0.31%, 1, 1, 2, 295.78, 550068, 202
+1869, 59, 5, 34, 0, 0, 0.31%, 1, 1, 2, 295.06, 551613, 202
+1874, 59, 14, 34, 0, 0, 0.31%, 1, 1, 2, 299.49, 553123, 202
+1879, 60, 1, 34, 0, 0, 0.31%, 1, 1, 2, 297.04, 554622, 202
+1884, 60, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.56, 556125, 202
+1889, 60, 32, 34, 0, 0, 0.31%, 1, 1, 2, 298.63, 557674, 202
+1894, 60, 14, 34, 0, 0, 0.31%, 1, 1, 2, 295.16, 559207, 202
+1899, 60, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.54, 560764, 202
+1904, 61, 13, 34, 0, 0, 0.31%, 1, 1, 2, 297.20, 562306, 202
+1910, 61, 32, 34, 0, 0, 0.31%, 1, 1, 2, 302.71, 563894, 202
+1915, 61, 15, 34, 0, 0, 0.31%, 1, 1, 2, 299.10, 565454, 202
+1920, 61, 28, 34, 0, 0, 0.31%, 1, 1, 2, 299.72, 567005, 202
+1925, 61, 1, 34, 0, 0, 0.31%, 1, 1, 2, 302.78, 568582, 202
+1930, 61, 5, 34, 0, 0, 0.31%, 1, 1, 2, 304.46, 570111, 202
+1935, 62, 32, 34, 0, 0, 0.31%, 1, 1, 2, 299.07, 571609, 202
+1940, 62, 28, 34, 0, 0, 0.31%, 1, 1, 2, 303.31, 573186, 202
+1945, 62, 14, 34, 0, 0, 0.31%, 1, 1, 2, 297.08, 574670, 202
+1951, 62, 9, 34, 0, 0, 0.31%, 1, 1, 2, 299.53, 576226, 202
+1956, 62, 5, 34, 0, 0, 0.31%, 1, 1, 2, 297.63, 577720, 202
+1961, 63, 5, 34, 0, 0, 0.31%, 1, 1, 2, 301.75, 579251, 202
+1966, 63, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.99, 580821, 202
+1971, 63, 5, 34, 0, 0, 0.31%, 1, 1, 2, 306.66, 582409, 202
+1976, 63, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.43, 583962, 202
+1981, 63, 14, 34, 0, 0, 0.31%, 1, 1, 2, 290.26, 585476, 202
+1986, 63, 4, 34, 0, 0, 0.31%, 1, 1, 2, 293.51, 587000, 202
+1992, 64, 13, 34, 0, 0, 0.31%, 1, 1, 2, 299.83, 588546, 202
+1997, 64, 9, 34, 0, 0, 0.31%, 1, 1, 2, 301.88, 590092, 202
+2002, 64, 32, 34, 0, 0, 0.31%, 1, 1, 2, 307.36, 591687, 202
+2007, 64, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.80, 593199, 202
+2012, 64, 15, 34, 0, 0, 0.31%, 1, 1, 2, 302.18, 594711, 202
+2017, 65, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.27, 596271, 202
+2022, 65, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.86, 597799, 202
+2027, 65, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.52, 599308, 202
+2032, 65, 25, 34, 0, 0, 0.31%, 1, 1, 2, 299.99, 600863, 202
+2038, 65, 5, 34, 0, 0, 0.31%, 1, 1, 2, 303.53, 602452, 202
+2043, 65, 5, 34, 0, 0, 0.31%, 1, 1, 2, 301.50, 603987, 202
+2048, 66, 28, 34, 0, 0, 0.31%, 1, 1, 2, 295.91, 605507, 202
+2053, 66, 14, 34, 0, 0, 0.31%, 1, 1, 2, 297.48, 607059, 202
+2058, 66, 32, 34, 0, 0, 0.31%, 1, 1, 2, 305.70, 608643, 202
+2063, 66, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.64, 610215, 202
+2068, 66, 32, 34, 0, 0, 0.31%, 1, 1, 2, 295.94, 611711, 202
+2074, 67, 32, 34, 0, 0, 0.31%, 1, 1, 2, 296.99, 613240, 202
+2079, 67, 13, 34, 0, 0, 0.31%, 1, 1, 2, 303.15, 614824, 202
+2084, 67, 9, 34, 0, 0, 0.31%, 1, 1, 2, 300.50, 616339, 202
+2089, 67, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.15, 617861, 202
+2094, 67, 5, 34, 0, 0, 0.31%, 1, 1, 2, 298.56, 619411, 202
+2099, 67, 9, 34, 0, 0, 0.31%, 1, 1, 2, 300.71, 620924, 202
+2104, 68, 14, 34, 0, 0, 0.31%, 1, 1, 2, 298.61, 622422, 202
+2109, 68, 2, 34, 0, 0, 0.31%, 1, 1, 2, 304.77, 624016, 202
+2114, 68, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.08, 625594, 202
+2120, 68, 14, 34, 0, 0, 0.31%, 1, 1, 2, 298.51, 627145, 202
+2125, 68, 5, 34, 0, 0, 0.31%, 1, 1, 2, 299.02, 628678, 202
+2130, 69, 2, 34, 0, 0, 0.31%, 1, 1, 2, 303.28, 630191, 202
+2135, 69, 33, 34, 0, 0, 0.31%, 1, 1, 2, 304.82, 631719, 202
+2140, 69, 28, 34, 0, 0, 0.31%, 1, 1, 2, 302.19, 633228, 202
+2145, 69, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.50, 634755, 202
+2150, 69, 28, 34, 0, 0, 0.31%, 1, 1, 2, 302.12, 636316, 202
+2155, 69, 15, 34, 0, 0, 0.31%, 1, 1, 2, 302.84, 637894, 202
+2160, 70, 15, 34, 0, 0, 0.31%, 1, 1, 2, 302.74, 639466, 202
+2165, 70, 25, 34, 0, 0, 0.31%, 1, 1, 2, 289.42, 640917, 202
+2171, 70, 2, 34, 0, 0, 0.31%, 1, 1, 2, 299.38, 642466, 202
+2176, 70, 5, 34, 0, 0, 0.31%, 1, 1, 2, 302.30, 644044, 202
+2181, 70, 28, 34, 0, 0, 0.31%, 1, 1, 2, 303.10, 645610, 202
+2186, 70, 5, 34, 0, 0, 0.31%, 1, 1, 2, 300.45, 647162, 202
+2191, 71, 14, 34, 0, 0, 0.31%, 1, 1, 2, 296.59, 648638, 202
+2196, 71, 9, 34, 0, 0, 0.31%, 1, 1, 2, 296.73, 650161, 202
+2202, 71, 14, 34, 0, 0, 0.31%, 1, 1, 2, 295.30, 651678, 202
+2207, 71, 28, 34, 0, 0, 0.31%, 1, 1, 2, 300.46, 653224, 202
+2212, 71, 9, 34, 0, 0, 0.31%, 1, 1, 2, 302.57, 654785, 202
+2217, 71, 13, 34, 0, 0, 0.31%, 1, 1, 2, 305.40, 656325, 202
+2222, 72, 28, 34, 0, 0, 0.31%, 1, 1, 2, 304.12, 657890, 202
+2227, 72, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.49, 659414, 202
+2232, 72, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.92, 660937, 202
+2237, 72, 28, 34, 0, 0, 0.31%, 1, 1, 2, 302.12, 662453, 202
+2242, 72, 5, 34, 0, 0, 0.31%, 1, 1, 2, 304.40, 664025, 202
+2248, 73, 9, 34, 0, 0, 0.31%, 1, 1, 2, 299.01, 665585, 202
+2253, 73, 32, 34, 0, 0, 0.31%, 1, 1, 2, 301.51, 667115, 202
+2258, 73, 28, 34, 0, 0, 0.31%, 1, 1, 2, 300.03, 668633, 202
+2263, 73, 2, 34, 0, 0, 0.31%, 1, 1, 2, 301.96, 670155, 202
+2268, 73, 9, 34, 0, 0, 0.31%, 1, 1, 2, 295.83, 671688, 202
+2273, 73, 28, 34, 0, 0, 0.31%, 1, 1, 2, 297.36, 673240, 202
+2278, 74, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.46, 674825, 202
+2283, 74, 14, 34, 0, 0, 0.31%, 1, 1, 2, 293.67, 676299, 202
+2288, 74, 9, 34, 0, 0, 0.31%, 1, 1, 2, 299.26, 677859, 202
+2294, 74, 33, 34, 0, 0, 0.31%, 1, 1, 2, 300.65, 679434, 202
+2299, 74, 32, 34, 0, 0, 0.31%, 1, 1, 2, 302.81, 680970, 202
+2304, 74, 9, 34, 0, 0, 0.31%, 1, 1, 2, 299.77, 682469, 202
+2309, 75, 28, 34, 0, 0, 0.31%, 1, 1, 2, 303.50, 684001, 202
+2314, 75, 9, 34, 0, 0, 0.31%, 1, 1, 2, 301.47, 685572, 202
+2319, 75, 4, 34, 0, 0, 0.31%, 1, 1, 2, 297.35, 687103, 202
+2324, 75, 13, 34, 0, 0, 0.31%, 1, 1, 2, 297.17, 688620, 202
+2329, 75, 14, 34, 0, 0, 0.31%, 1, 1, 2, 298.21, 690167, 202
+2334, 76, 32, 34, 0, 0, 0.31%, 1, 1, 2, 306.91, 691716, 202
+2340, 76, 2, 34, 0, 0, 0.31%, 1, 1, 2, 302.23, 693276, 202
+2345, 76, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.44, 694848, 202
+2350, 76, 1, 34, 0, 0, 0.31%, 1, 1, 2, 297.92, 696356, 202
+2355, 76, 28, 34, 0, 0, 0.31%, 1, 1, 2, 296.64, 697899, 202
+2360, 76, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.64, 699469, 202
+2365, 77, 9, 34, 0, 0, 0.31%, 1, 1, 2, 301.34, 700994, 202
+2370, 77, 15, 34, 0, 0, 0.31%, 1, 1, 2, 304.00, 702528, 202
+2375, 77, 5, 34, 0, 0, 0.31%, 1, 1, 2, 304.90, 704069, 202
+2381, 77, 32, 34, 0, 0, 0.31%, 1, 1, 2, 303.73, 705628, 202
+2386, 77, 15, 34, 0, 0, 0.31%, 1, 1, 2, 302.50, 707169, 202
+2391, 78, 15, 34, 0, 0, 0.31%, 1, 1, 2, 307.04, 708705, 202
+2396, 78, 1, 34, 0, 0, 0.31%, 1, 1, 2, 304.38, 710224, 202
+2401, 78, 14, 34, 0, 0, 0.31%, 1, 1, 2, 298.66, 711769, 202
+2406, 78, 28, 34, 0, 0, 0.31%, 1, 1, 2, 300.53, 713334, 202
+2411, 78, 9, 34, 0, 0, 0.31%, 1, 1, 2, 301.23, 714889, 202
+2416, 78, 28, 34, 0, 0, 0.31%, 1, 1, 2, 305.57, 716417, 202
+2421, 79, 9, 34, 0, 0, 0.31%, 1, 1, 2, 298.70, 717896, 202
+2426, 79, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.69, 719445, 202
+2431, 79, 33, 34, 0, 0, 0.31%, 1, 1, 2, 305.94, 720972, 202
+2436, 79, 5, 34, 0, 0, 0.31%, 1, 1, 2, 298.93, 722469, 202
+2442, 79, 14, 34, 0, 0, 0.31%, 1, 1, 2, 295.73, 723947, 202
+2447, 79, 5, 34, 0, 0, 0.31%, 1, 1, 2, 301.27, 725485, 202
+2452, 80, 33, 34, 0, 0, 0.31%, 1, 1, 2, 304.94, 727051, 202
+2457, 80, 5, 34, 0, 0, 0.31%, 1, 1, 2, 303.61, 728568, 202
+2462, 80, 9, 34, 0, 0, 0.31%, 1, 1, 2, 302.05, 730133, 202
+2467, 80, 1, 34, 0, 0, 0.31%, 1, 1, 2, 298.21, 731659, 202
+2472, 80, 4, 34, 0, 0, 0.31%, 1, 1, 2, 302.21, 733227, 202
+2477, 81, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.76, 734779, 202
+2482, 81, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.50, 736308, 202
+2487, 81, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.88, 737831, 202
+2493, 81, 2, 34, 0, 0, 0.31%, 1, 1, 2, 302.02, 739360, 202
+2498, 81, 5, 34, 0, 0, 0.31%, 1, 1, 2, 299.29, 740923, 202
+2503, 81, 7, 34, 0, 0, 0.31%, 1, 1, 2, 302.05, 742484, 202
+2508, 82, 32, 34, 0, 0, 0.31%, 1, 1, 2, 300.33, 743987, 202
+2513, 82, 9, 34, 0, 0, 0.31%, 1, 1, 2, 300.79, 745561, 202
+2518, 82, 9, 34, 0, 0, 0.31%, 1, 1, 2, 295.79, 747103, 202
+2523, 82, 5, 34, 0, 0, 0.31%, 1, 1, 2, 302.42, 748628, 202
+2528, 82, 13, 34, 0, 0, 0.31%, 1, 1, 2, 300.85, 750188, 202
+2534, 83, 9, 34, 0, 0, 0.31%, 1, 1, 2, 302.52, 751766, 202
+2539, 83, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.51, 753334, 202
+2544, 83, 5, 34, 0, 0, 0.31%, 1, 1, 2, 296.50, 754864, 202
+2549, 83, 5, 34, 0, 0, 0.31%, 1, 1, 2, 301.26, 756424, 202
+2554, 83, 9, 34, 0, 0, 0.31%, 1, 1, 2, 297.28, 757962, 202
+2560, 83, 5, 34, 0, 0, 0.31%, 1, 1, 2, 303.33, 759554, 202
+2565, 84, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.26, 761082, 202
+2570, 84, 9, 34, 0, 0, 0.31%, 1, 1, 2, 300.57, 762628, 202
+2575, 84, 2, 34, 0, 0, 0.31%, 1, 1, 2, 301.58, 764186, 202
+2580, 84, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.44, 765703, 202
+2585, 84, 5, 34, 0, 0, 0.31%, 1, 1, 2, 295.34, 767231, 202
+2590, 85, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.68, 768810, 202
+2595, 85, 32, 34, 0, 0, 0.31%, 1, 1, 2, 300.94, 770352, 202
+2601, 85, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.59, 771915, 202
+2606, 85, 28, 34, 0, 0, 0.31%, 1, 1, 2, 302.12, 773482, 202
+2611, 85, 32, 34, 0, 0, 0.31%, 1, 1, 2, 293.75, 775017, 202
+2616, 85, 9, 34, 0, 0, 0.31%, 1, 1, 2, 292.37, 776495, 202
+2621, 86, 9, 34, 0, 0, 0.31%, 1, 1, 2, 302.28, 778081, 202
+2626, 86, 15, 34, 0, 0, 0.31%, 1, 1, 2, 302.67, 779597, 202
+2632, 86, 9, 34, 0, 0, 0.31%, 1, 1, 2, 299.10, 781138, 202
+2637, 86, 14, 34, 0, 0, 0.31%, 1, 1, 2, 295.91, 782676, 202
+2642, 86, 14, 34, 0, 0, 0.31%, 1, 1, 2, 295.39, 784213, 202
+2647, 87, 13, 34, 0, 0, 0.31%, 1, 1, 2, 302.83, 785766, 202
+2652, 87, 14, 34, 0, 0, 0.31%, 1, 1, 2, 307.16, 787326, 202
+2657, 87, 28, 34, 0, 0, 0.31%, 1, 1, 2, 297.62, 788861, 202
+2663, 87, 9, 34, 0, 0, 0.31%, 1, 1, 2, 298.23, 790425, 202
+2668, 87, 9, 34, 0, 0, 0.31%, 1, 1, 2, 298.88, 791948, 202
+2673, 87, 28, 34, 0, 0, 0.31%, 1, 1, 2, 302.44, 793520, 202
+2678, 88, 28, 34, 0, 0, 0.31%, 1, 1, 2, 293.51, 794996, 202
+2683, 88, 7, 34, 0, 0, 0.31%, 1, 1, 2, 296.50, 796542, 202
+2688, 88, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.07, 798061, 202
+2693, 88, 32, 34, 0, 0, 0.31%, 1, 1, 2, 302.92, 799652, 202
+2699, 88, 28, 34, 0, 0, 0.31%, 1, 1, 2, 310.35, 801265, 202
+2704, 88, 28, 34, 0, 0, 0.31%, 1, 1, 2, 301.09, 802771, 202
+2709, 89, 14, 34, 0, 0, 0.31%, 1, 1, 2, 292.30, 804241, 202
+2714, 89, 14, 34, 0, 0, 0.31%, 1, 1, 2, 299.73, 805797, 202
+2719, 89, 5, 34, 0, 0, 0.31%, 1, 1, 2, 298.16, 807338, 202
+2724, 89, 14, 34, 0, 0, 0.31%, 1, 1, 2, 303.76, 808908, 202
+2729, 89, 13, 34, 0, 0, 0.31%, 1, 1, 2, 301.14, 810481, 202
+2734, 90, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.00, 811999, 202
+2739, 90, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.78, 813527, 202
+2745, 90, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.07, 815080, 202
+2750, 90, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.23, 816646, 202
+2755, 90, 4, 34, 0, 0, 0.31%, 1, 1, 2, 302.18, 818163, 202
+2760, 90, 14, 34, 0, 0, 0.31%, 1, 1, 2, 299.80, 819720, 202
+2765, 91, 15, 34, 0, 0, 0.31%, 1, 1, 2, 303.18, 821305, 202
+2770, 91, 9, 34, 0, 0, 0.31%, 1, 1, 2, 299.96, 822856, 202
+2775, 91, 25, 34, 0, 0, 0.31%, 1, 1, 2, 300.63, 824362, 202
+2780, 91, 9, 34, 0, 0, 0.31%, 1, 1, 2, 308.68, 825911, 202
+2785, 91, 13, 34, 0, 0, 0.31%, 1, 1, 2, 306.27, 827474, 202
+2790, 92, 28, 34, 0, 0, 0.31%, 1, 1, 2, 303.59, 828990, 202
+2796, 92, 5, 34, 0, 0, 0.31%, 1, 1, 2, 301.89, 830557, 202
+2801, 92, 2, 34, 0, 0, 0.31%, 1, 1, 2, 305.03, 832114, 202
+2806, 92, 14, 34, 0, 0, 0.31%, 1, 1, 2, 298.89, 833653, 202
+2811, 92, 5, 34, 0, 0, 0.31%, 1, 1, 2, 308.68, 835206, 202
+2816, 92, 9, 34, 0, 0, 0.31%, 1, 1, 2, 302.39, 836705, 202
+2821, 93, 14, 34, 0, 0, 0.31%, 1, 1, 2, 299.41, 838250, 202
+2826, 93, 28, 34, 0, 0, 0.31%, 1, 1, 2, 302.29, 839817, 202
+2832, 93, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.61, 841393, 202
+2837, 93, 9, 34, 0, 0, 0.31%, 1, 1, 2, 306.13, 842969, 202
+2842, 93, 14, 34, 0, 0, 0.31%, 1, 1, 2, 303.34, 844485, 202
+2847, 94, 13, 34, 0, 0, 0.31%, 1, 1, 2, 301.01, 845985, 202
+2852, 94, 9, 34, 0, 0, 0.31%, 1, 1, 2, 304.15, 847517, 202
+2857, 94, 28, 34, 0, 0, 0.31%, 1, 1, 2, 303.57, 849105, 202
+2862, 94, 33, 34, 0, 0, 0.31%, 1, 1, 2, 300.99, 850617, 202
+2867, 94, 15, 34, 0, 0, 0.31%, 1, 1, 2, 304.91, 852158, 202
+2872, 94, 28, 34, 0, 0, 0.31%, 1, 1, 2, 306.92, 853701, 202
+2877, 95, 15, 34, 0, 0, 0.31%, 1, 1, 2, 303.85, 855271, 202
+2882, 95, 15, 34, 0, 0, 0.31%, 1, 1, 2, 306.12, 856801, 202
+2887, 95, 32, 34, 0, 0, 0.31%, 1, 1, 2, 299.75, 858292, 202
+2892, 95, 5, 34, 0, 0, 0.31%, 1, 1, 2, 292.98, 859776, 202
+2898, 95, 15, 34, 0, 0, 0.31%, 1, 1, 2, 291.24, 861303, 202
+2903, 96, 1, 34, 0, 0, 0.31%, 1, 1, 2, 299.38, 862869, 202
+2908, 96, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.63, 864440, 202
+2913, 96, 28, 34, 0, 0, 0.31%, 1, 1, 2, 296.59, 865923, 202
+2918, 96, 32, 34, 0, 0, 0.31%, 1, 1, 2, 304.34, 867504, 202
+2923, 96, 33, 34, 0, 0, 0.31%, 1, 1, 2, 299.60, 869070, 202
+2928, 96, 14, 34, 0, 0, 0.31%, 1, 1, 2, 294.78, 870517, 202
+2934, 97, 9, 34, 0, 0, 0.31%, 1, 1, 2, 298.36, 872059, 202
+2939, 97, 2, 34, 0, 0, 0.31%, 1, 1, 2, 298.55, 873558, 202
+2944, 97, 14, 34, 0, 0, 0.31%, 1, 1, 2, 295.77, 875050, 202
+2949, 97, 7, 34, 0, 0, 0.31%, 1, 1, 2, 301.79, 876620, 202
+2954, 97, 9, 34, 0, 0, 0.31%, 1, 1, 2, 301.50, 878144, 202
+2959, 97, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.33, 879675, 202
+2964, 98, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.17, 881181, 202
+2969, 98, 5, 34, 0, 0, 0.31%, 1, 1, 2, 302.53, 882703, 202
+2974, 98, 33, 34, 0, 0, 0.31%, 1, 1, 2, 304.27, 884281, 202
+2979, 98, 33, 34, 0, 0, 0.31%, 1, 1, 2, 301.84, 885841, 202
+2984, 98, 5, 34, 0, 0, 0.31%, 1, 1, 2, 306.43, 887387, 202
+2989, 99, 15, 34, 0, 0, 0.31%, 1, 1, 2, 300.94, 888899, 202
+2994, 99, 32, 34, 0, 0, 0.31%, 1, 1, 2, 302.30, 890408, 202
+3000, 99, 25, 34, 0, 0, 0.31%, 1, 1, 2, 306.50, 891984, 202
+3005, 99, 2, 34, 0, 0, 0.31%, 1, 1, 2, 306.71, 893563, 202
+3010, 99, 7, 34, 0, 0, 0.31%, 1, 1, 2, 305.14, 895081, 202
+3015, 99, 5, 34, 0, 0, 0.31%, 1, 1, 2, 293.90, 896546, 202
+3020, 100, 9, 34, 0, 0, 0.31%, 1, 1, 2, 295.99, 898090, 202
+3025, 100, 32, 34, 0, 0, 0.31%, 1, 1, 2, 303.40, 899659, 202
+3030, 100, 1, 34, 0, 0, 0.31%, 1, 1, 2, 299.32, 901195, 202
+3035, 100, 14, 34, 0, 0, 0.31%, 1, 1, 2, 299.80, 902756, 202
+3040, 100, 32, 34, 0, 0, 0.31%, 1, 1, 2, 300.52, 904270, 202
+3046, 101, 9, 34, 0, 0, 0.31%, 1, 1, 2, 304.10, 905843, 202
+3051, 101, 28, 34, 0, 0, 0.31%, 1, 1, 2, 303.04, 907365, 202
+3056, 101, 15, 34, 0, 0, 0.31%, 1, 1, 2, 299.54, 908859, 202
+3061, 101, 33, 34, 0, 0, 0.31%, 1, 1, 2, 301.38, 910412, 202
+3066, 101, 28, 34, 0, 0, 0.31%, 1, 1, 2, 303.94, 911981, 202
+3071, 101, 9, 34, 0, 0, 0.31%, 1, 1, 2, 294.02, 913494, 202
+3076, 102, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.69, 915065, 202
+3082, 102, 32, 34, 0, 0, 0.31%, 1, 1, 2, 304.29, 916629, 202
+3087, 102, 1, 34, 0, 0, 0.31%, 1, 1, 2, 306.40, 918202, 202
+3092, 102, 15, 34, 0, 0, 0.31%, 1, 1, 2, 300.71, 919756, 202
+3097, 102, 14, 34, 0, 0, 0.31%, 1, 1, 2, 303.26, 921338, 202
+3102, 102, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.67, 922860, 202
+3107, 103, 32, 34, 0, 0, 0.31%, 1, 1, 2, 303.48, 924378, 202
+3112, 103, 15, 34, 0, 0, 0.31%, 1, 1, 2, 303.11, 925942, 202
+3117, 103, 9, 34, 0, 0, 0.31%, 1, 1, 2, 302.37, 927453, 202
+3122, 103, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.26, 928941, 202
+3127, 103, 28, 34, 0, 0, 0.31%, 1, 1, 2, 301.60, 930458, 202
+3132, 104, 14, 34, 0, 0, 0.31%, 1, 1, 2, 303.33, 931992, 202
+3138, 104, 28, 34, 0, 0, 0.31%, 1, 1, 2, 303.11, 933568, 202
+3143, 104, 28, 34, 0, 0, 0.31%, 1, 1, 2, 299.83, 935136, 202
+3148, 104, 14, 34, 0, 0, 0.31%, 1, 1, 2, 295.68, 936683, 202
+3153, 104, 14, 34, 0, 0, 0.31%, 1, 1, 2, 303.05, 938215, 202
+3158, 105, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.02, 939797, 202
+3163, 105, 13, 34, 0, 0, 0.31%, 1, 1, 2, 304.38, 941324, 202
+3168, 105, 32, 34, 0, 0, 0.31%, 1, 1, 2, 303.21, 942919, 202
+3174, 105, 2, 34, 0, 0, 0.31%, 1, 1, 2, 300.28, 944467, 202
+3179, 105, 14, 34, 0, 0, 0.31%, 1, 1, 2, 297.06, 946000, 202
+3184, 105, 28, 34, 0, 0, 0.31%, 1, 1, 2, 298.81, 947523, 202
+3189, 106, 25, 34, 0, 0, 0.31%, 1, 1, 2, 294.57, 949026, 202
+3194, 106, 32, 34, 0, 0, 0.31%, 1, 1, 2, 302.70, 950607, 202
+3199, 106, 14, 34, 0, 0, 0.31%, 1, 1, 2, 297.72, 952099, 202
+3204, 106, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.68, 953664, 202
+3210, 106, 9, 34, 0, 0, 0.31%, 1, 1, 2, 302.83, 955237, 202
+3215, 107, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.59, 956811, 202
+3220, 107, 15, 34, 0, 0, 0.31%, 1, 1, 2, 302.66, 958334, 202
+3225, 107, 1, 34, 0, 0, 0.31%, 1, 1, 2, 302.34, 959846, 202
+3230, 107, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.24, 961376, 202
+3235, 107, 14, 34, 0, 0, 0.31%, 1, 1, 2, 297.75, 962858, 202
+3240, 107, 13, 34, 0, 0, 0.31%, 1, 1, 2, 295.35, 964407, 202
+3245, 108, 2, 34, 0, 0, 0.31%, 1, 1, 2, 307.14, 965966, 202
+3250, 108, 5, 34, 0, 0, 0.31%, 1, 1, 2, 302.15, 967551, 202
+3255, 108, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.07, 969114, 202
+3260, 108, 14, 34, 0, 0, 0.31%, 1, 1, 2, 294.67, 970596, 202
+3265, 108, 5, 34, 0, 0, 0.31%, 1, 1, 2, 293.40, 972060, 202
+3271, 108, 28, 34, 0, 0, 0.31%, 1, 1, 2, 297.53, 973605, 202
+3276, 109, 15, 34, 0, 0, 0.31%, 1, 1, 2, 304.95, 975209, 202
+3281, 109, 33, 34, 0, 0, 0.31%, 1, 1, 2, 300.01, 976757, 202
+3286, 109, 9, 34, 0, 0, 0.31%, 1, 1, 2, 303.32, 978287, 202
+3291, 109, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.86, 979861, 202
+3296, 109, 32, 34, 0, 0, 0.31%, 1, 1, 2, 305.19, 981451, 202
+3301, 110, 9, 34, 0, 0, 0.31%, 1, 1, 2, 304.63, 982981, 202
+3307, 110, 13, 34, 0, 0, 0.31%, 1, 1, 2, 305.46, 984523, 202
+3312, 110, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.14, 986050, 202
+3317, 110, 4, 34, 0, 0, 0.31%, 1, 1, 2, 305.57, 987569, 202
+3322, 110, 14, 34, 0, 0, 0.31%, 1, 1, 2, 305.45, 989093, 202
+3327, 110, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.43, 990657, 202
+3332, 111, 9, 34, 0, 0, 0.31%, 1, 1, 2, 294.07, 992144, 202
+3337, 111, 32, 34, 0, 0, 0.31%, 1, 1, 2, 306.25, 993727, 202
+3342, 111, 25, 34, 0, 0, 0.31%, 1, 1, 2, 304.95, 995259, 202
+3347, 111, 5, 34, 0, 0, 0.31%, 1, 1, 2, 305.96, 996795, 202
+3352, 111, 25, 34, 0, 0, 0.31%, 1, 1, 2, 304.35, 998367, 202
+3357, 111, 28, 34, 0, 0, 0.31%, 1, 1, 2, 302.55, 999873, 202
+3362, 112, 13, 34, 0, 0, 0.31%, 1, 1, 2, 303.40, 1001449, 202
+3367, 112, 14, 34, 0, 0, 0.31%, 1, 1, 2, 295.03, 1002943, 202
+3373, 112, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.82, 1004509, 202
+3378, 112, 13, 34, 0, 0, 0.31%, 1, 1, 2, 300.73, 1006081, 202
+3383, 112, 15, 34, 0, 0, 0.31%, 1, 1, 2, 301.16, 1007599, 202
+3388, 112, 9, 34, 0, 0, 0.31%, 1, 1, 2, 299.30, 1009096, 202
+3393, 113, 1, 34, 0, 0, 0.31%, 1, 1, 2, 301.69, 1010674, 202
+3398, 113, 14, 34, 0, 0, 0.31%, 1, 1, 2, 298.81, 1012195, 202
+3403, 113, 28, 34, 0, 0, 0.31%, 1, 1, 2, 303.69, 1013721, 202
+3408, 113, 14, 34, 0, 0, 0.31%, 1, 1, 2, 302.34, 1015251, 202
+3413, 113, 13, 34, 0, 0, 0.31%, 1, 1, 2, 303.82, 1016838, 202
+3418, 114, 14, 34, 0, 0, 0.31%, 1, 1, 2, 300.92, 1018373, 202
+3424, 114, 9, 34, 0, 0, 0.31%, 1, 1, 2, 308.11, 1019973, 202
+3429, 114, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.06, 1021539, 202
+3434, 114, 14, 34, 0, 0, 0.31%, 1, 1, 2, 297.55, 1023058, 202
+3439, 114, 32, 34, 0, 0, 0.31%, 1, 1, 2, 304.99, 1024588, 202
+3444, 114, 14, 34, 0, 0, 0.31%, 1, 1, 2, 301.38, 1026076, 202
+3449, 115, 4, 34, 0, 0, 0.31%, 1, 1, 2, 298.73, 1027626, 202
+3454, 115, 5, 34, 0, 0, 0.31%, 1, 1, 2, 302.58, 1029192, 202
+3459, 115, 14, 34, 0, 0, 0.31%, 1, 1, 2, 304.16, 1030743, 202
+3465, 115, 9, 34, 0, 0, 0.31%, 1, 1, 2, 297.17, 1032293, 202
+3470, 115, 32, 34, 0, 0, 0.31%, 1, 1, 2, 294.43, 1033807, 202
+3475, 116, 9, 34, 0, 0, 0.31%, 1, 1, 2, 301.93, 1035363, 202
+3480, 116, 13, 34, 0, 0, 0.31%, 1, 1, 2, 306.03, 1036898, 202
+3485, 116, 9, 34, 0, 0, 0.31%, 1, 1, 2, 299.85, 1038437, 202
+3490, 116, 9, 34, 0, 0, 0.31%, 1, 1, 2, 296.67, 1039913, 202
+3495, 116, 9, 34, 0, 0, 0.31%, 1, 1, 2, 298.61, 1041427, 202
+3500, 117, 13, 34, 0, 0, 0.31%, 1, 1, 2, 277.80, 1042847, 202
+3505, 117, 2, 34, 0, 0, 0.31%, 1, 1, 2, 265.36, 1044112, 202
+3510, 117, 28, 34, 0, 0, 0.31%, 1, 1, 2, 291.74, 1045637, 202
+3516, 117, 14, 34, 0, 0, 0.31%, 1, 1, 2, 290.42, 1047150, 202
+3521, 117, 14, 34, 0, 0, 0.31%, 1, 1, 2, 294.75, 1048617, 202
+3526, 117, 25, 34, 0, 0, 0.31%, 1, 1, 2, 304.11, 1050197, 202
+3531, 118, 32, 34, 0, 0, 0.31%, 1, 1, 2, 305.79, 1051743, 202
+3536, 118, 32, 34, 0, 0, 0.31%, 1, 1, 2, 300.51, 1053230, 202
+3541, 118, 28, 34, 0, 0, 0.31%, 1, 1, 2, 304.57, 1054815, 202
+3546, 118, 2, 34, 0, 0, 0.31%, 1, 1, 2, 305.40, 1056361, 202
+3551, 118, 5, 34, 0, 0, 0.31%, 1, 1, 2, 310.46, 1057908, 202
+3553, 118, 9, 34, 0, 0, 0.31%, 1, 1, 2, 319.11, 1058610, 202
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000000,time:0,execs:0,orig:getvar
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000000,time:0,execs:0,orig:getvar
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000006,time:0,execs:0,orig:setkey
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000006,time:0,execs:0,orig:setkey
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000008,src:000005,time:264,execs:99,op:havoc,rep:1
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000008,src:000005,time:264,execs:99,op:havoc,rep:1
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000010,src:000005,time:354,execs:127,op:havoc,rep:4
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000010,src:000005,time:354,execs:127,op:havoc,rep:4
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000011,src:000005,time:2228,execs:767,op:havoc,rep:2,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000011,src:000005,time:2228,execs:767,op:havoc,rep:2,+cov
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000012,src:000005,time:2894,execs:983,op:havoc,rep:1
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000012,src:000005,time:2894,execs:983,op:havoc,rep:1
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000016,sync:01,src:000012,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000016,sync:01,src:000012,+cov
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000017,sync:01,src:000013,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000017,sync:01,src:000013,+cov
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000018,sync:01,src:000014
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000018,sync:01,src:000014
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000019,sync:01,src:000015
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000019,sync:01,src:000015
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000020,sync:01,src:000016
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000020,sync:01,src:000016
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000021,sync:01,src:000017
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000021,sync:01,src:000017
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000022,sync:01,src:000018
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000022,sync:01,src:000018
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000023,sync:01,src:000019
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000023,sync:01,src:000019
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000024,sync:01,src:000020
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000024,sync:01,src:000020
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000026,sync:01,src:000022
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000026,sync:01,src:000022
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000027,sync:01,src:000023
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000027,sync:01,src:000023
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000029,sync:01,src:000029
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000029,sync:01,src:000029
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000030,sync:01,src:000030
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000030,sync:01,src:000030
--- a/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000031,sync:01,src:000031
+++ b/source/bootrom_emulator/fuzz_output/03/queue/.state/redundant_edges/id:000031,sync:01,src:000031
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000000,time:0,execs:0,orig:getvar
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000000,time:0,execs:0,orig:getvar
@@ -0,0 +1 @@
+getv
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000001,time:0,execs:0,orig:getvar_chipinfo-
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000001,time:0,execs:0,orig:getvar_chipinfo-
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000002,time:0,execs:0,orig:getvar_downloadsize
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000002,time:0,execs:0,orig:getvar_downloadsize
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000003,time:0,execs:0,orig:getvar_getchipinfo
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000003,time:0,execs:0,orig:getvar_getchipinfo
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000004,time:0,execs:0,orig:getvar_serialno
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000004,time:0,execs:0,orig:getvar_serialno
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000005,time:0,execs:0,orig:getvar_version
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000005,time:0,execs:0,orig:getvar_version
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000006,time:0,execs:0,orig:setkey
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000006,time:0,execs:0,orig:setkey
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000007,src:000005,time:189,execs:88,op:havoc,rep:3,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000007,src:000005,time:189,execs:88,op:havoc,rep:3,+cov
@@ -0,0 +1 @@
+getvar:vers<72>
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000008,src:000005,time:264,execs:99,op:havoc,rep:1
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000008,src:000005,time:264,execs:99,op:havoc,rep:1
@@ -0,0 +1 @@
+gtva
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000009,src:000005,time:312,execs:111,op:havoc,rep:2
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000009,src:000005,time:312,execs:111,op:havoc,rep:2
@@ -0,0 +1 @@
+get€
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000010,src:000005,time:354,execs:127,op:havoc,rep:4
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000010,src:000005,time:354,execs:127,op:havoc,rep:4
@@ -0,0 +1 @@
+ge|i
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000011,src:000005,time:2228,execs:767,op:havoc,rep:2,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000011,src:000005,time:2228,execs:767,op:havoc,rep:2,+cov
@@ -0,0 +1 @@
+getvar:ge|io
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000012,src:000005,time:2894,execs:983,op:havoc,rep:1
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000012,src:000005,time:2894,execs:983,op:havoc,rep:1
@@ -0,0 +1 @@
+getvar:getva
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000013,src:000005,time:17789,execs:5749,op:havoc,rep:1,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000013,src:000005,time:17789,execs:5749,op:havoc,rep:1,+cov
@@ -0,0 +1 @@
+setvar:v
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000014,src:000005,time:28502,execs:8956,op:havoc,rep:2
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000014,src:000005,time:28502,execs:8956,op:havoc,rep:2
@@ -0,0 +1 @@
+getvar:g
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000015,sync:01,src:000011,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000015,sync:01,src:000011,+cov
@@ -0,0 +1 @@
+download:555555555De
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000016,sync:01,src:000012,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000016,sync:01,src:000012,+cov
@@ -0,0 +1 @@
+download:eeeee11111t
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000017,sync:01,src:000013,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000017,sync:01,src:000013,+cov
@@ -0,0 +1 @@
+download:De11€1:
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000018,sync:01,src:000014
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000018,sync:01,src:000014
@@ -0,0 +1 @@
+download:eeeeeeeeeeD
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000019,sync:01,src:000015
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000019,sync:01,src:000015
@@ -0,0 +1 @@
+download:De11111
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000020,sync:01,src:000016
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000020,sync:01,src:000016
@@ -0,0 +1 @@
+download:DDD
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000021,sync:01,src:000017
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000021,sync:01,src:000017
@@ -0,0 +1 @@
+download:DDDDD:g
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000022,sync:01,src:000018
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000022,sync:01,src:000018
@@ -0,0 +1 @@
+download:DDDDDDDDDDD
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000023,sync:01,src:000019
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000023,sync:01,src:000019
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000024,sync:01,src:000020
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000024,sync:01,src:000020
@@ -0,0 +1 @@
+download:Dead:De
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000025,sync:01,src:000021
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000025,sync:01,src:000021
@@ -0,0 +1 @@
+download:De7
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000026,sync:01,src:000022
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000026,sync:01,src:000022
@@ -0,0 +1 @@
+download:Det
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000027,sync:01,src:000023
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000027,sync:01,src:000023
@@ -0,0 +1 @@
+download:det
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000028,sync:01,src:000024
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000028,sync:01,src:000024
@@ -0,0 +1 @@
+download:etv
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000029,sync:01,src:000029
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000029,sync:01,src:000029
@@ -0,0 +1 @@
+getvar:getch
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000030,sync:01,src:000030
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000030,sync:01,src:000030
@@ -0,0 +1 @@
+getvar:getcc
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000031,sync:01,src:000031
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000031,sync:01,src:000031
@@ -0,0 +1 @@
+getvar:getchipinfogegetvar:gchipinfo
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000032,src:000015,time:382246,execs:111443,op:havoc,rep:13,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000032,src:000015,time:382246,execs:111443,op:havoc,rep:13,+cov
@@ -0,0 +1 @@
+setkey:g
--- a/source/bootrom_emulator/fuzz_output/03/queue/id:000033,sync:01,src:000033,+cov
+++ b/source/bootrom_emulator/fuzz_output/03/queue/id:000033,sync:01,src:000033,+cov
@@ -0,0 +1 @@
+setkey:eeeeeeeee
				`@@ -0,0 +1 @@`
				`download:000000e1D0ad:DDDDD000000000000000000000e11€18`