From 04c3a78b8da62854264520ce96dec7d022df90a7 Mon Sep 17 00:00:00 2001
From: huitema <huitema@huitema.net>
Date: Sun, 16 Dec 2018 17:00:45 -0800
Subject: [PATCH] Add trace data and fix newreno bug

---
 picoquic/logger.c                 |   15 +
 picoquic/newreno.c                |    6 +-
 picoquictest/packet_trace_ref.txt | 2272 +++++++++++++++--------------
 3 files changed, 1155 insertions(+), 1138 deletions(-)

diff --git a/picoquic/logger.c b/picoquic/logger.c
index f13082eb..2d6e3f9c 100644
--- a/picoquic/logger.c
+++ b/picoquic/logger.c
@@ -1765,6 +1765,14 @@ void picoquic_open_cc_dump(picoquic_cnx_t * cnx)
                 ret |= fprintf(cnx->cc_log, "highest ack, ") <= 0;
                 ret |= fprintf(cnx->cc_log, "high ack time, ") <= 0;
                 ret |= fprintf(cnx->cc_log, "last time ack, ") <= 0;
+                ret |= fprintf(cnx->cc_log, "cwin, ") <= 0;
+                ret |= fprintf(cnx->cc_log, "SRTT, ") <= 0;
+                ret |= fprintf(cnx->cc_log, "RTT min, ") <= 0;
+                ret |= fprintf(cnx->cc_log, "Send MTU, ") <= 0;
+                ret |= fprintf(cnx->cc_log, "pacing packet time(us), ") <= 0;
+                ret |= fprintf(cnx->cc_log, "nb retrans, ") <= 0;
+                ret |= fprintf(cnx->cc_log, "nb spurious, ") <= 0;
+
                 ret |= fprintf(cnx->cc_log, "\n") <= 0;
 
                 if (ret != 0) {
@@ -1804,6 +1812,13 @@ void picoquic_cc_dump(picoquic_cnx_t * cnx, uint64_t current_time)
     ret |= fprintf(cnx->cc_log, "%lld, ", (long long)((int64_t)cnx->pkt_ctx[picoquic_packet_context_application].highest_acknowledged)) <= 0;
     ret |= fprintf(cnx->cc_log, "%llu, ", (unsigned long long)cnx->pkt_ctx[picoquic_packet_context_application].highest_acknowledged_time) <= 0;
     ret |= fprintf(cnx->cc_log, "%llu, ", (unsigned long long)cnx->pkt_ctx[picoquic_packet_context_application].latest_time_acknowledged) <= 0;
+    ret |= fprintf(cnx->cc_log, "%llu, ", (unsigned long long)cnx->path[0]->cwin) <= 0;
+    ret |= fprintf(cnx->cc_log, "%llu, ", (unsigned long long)cnx->path[0]->smoothed_rtt) <= 0;
+    ret |= fprintf(cnx->cc_log, "%llu, ", (unsigned long long)cnx->path[0]->rtt_min) <= 0;
+    ret |= fprintf(cnx->cc_log, "%u, ", cnx->path[0]->send_mtu) <= 0;
+    ret |= fprintf(cnx->cc_log, "%llu, ", (unsigned long long)cnx->path[0]->pacing_packet_time_microsec) <= 0;
+    ret |= fprintf(cnx->cc_log, "%llu, ", (unsigned long long)cnx->nb_retransmission_total) <= 0;
+    ret |= fprintf(cnx->cc_log, "%llu, ", (unsigned long long)cnx->nb_spurious) <= 0;
     ret |= fprintf(cnx->cc_log, "\n") <= 0;
 
     if (ret != 0) {
diff --git a/picoquic/newreno.c b/picoquic/newreno.c
index e5c3ae24..1949aac4 100644
--- a/picoquic/newreno.c
+++ b/picoquic/newreno.c
@@ -158,9 +158,9 @@ void picoquic_newreno_notify(picoquic_path_t* path_x,
         case picoquic_newreno_alg_congestion_avoidance:
             switch (notification) {
             case picoquic_congestion_notification_acknowledgement: {
-                uint64_t complete_ack = nb_bytes_acknowledged + nr_state->residual_ack;
-                nr_state->residual_ack = complete_ack % path_x->cwin;
-                path_x->cwin += complete_ack / path_x->cwin;
+                uint64_t complete_delta = nb_bytes_acknowledged * path_x->send_mtu + nr_state->residual_ack;
+                nr_state->residual_ack = complete_delta % path_x->cwin;
+                path_x->cwin += complete_delta / path_x->cwin;
                 break;
             }
             case picoquic_congestion_notification_repeat:
diff --git a/picoquictest/packet_trace_ref.txt b/picoquictest/packet_trace_ref.txt
index d97929e4..3e5230ea 100644
--- a/picoquictest/packet_trace_ref.txt
+++ b/picoquictest/packet_trace_ref.txt
@@ -1,1135 +1,1137 @@
-time, sequence, highest ack, high ack time, last time ack, 
-11001, 1, -1, 11001, 11001, 
-11001, 2, -1, 11001, 11001, 
-32749, 2, 0, 32749, 11001, 
-32749, 2, 0, 32749, 11001, 
-32749, 3, 0, 32749, 11001, 
-33848, 3, 0, 32749, 11001, 
-33848, 4, 0, 32749, 11001, 
-33848, 5, 0, 32749, 11001, 
-33848, 6, 0, 32749, 11001, 
-35401, 7, 0, 32749, 11001, 
-35401, 8, 0, 32749, 11001, 
-36428, 8, 0, 32749, 11001, 
-36428, 9, 0, 32749, 11001, 
-37981, 10, 0, 32749, 11001, 
-37981, 11, 0, 32749, 11001, 
-39534, 12, 0, 32749, 11001, 
-39534, 13, 0, 32749, 11001, 
-41087, 14, 0, 32749, 11001, 
-41087, 15, 0, 32749, 11001, 
-42508, 15, 1, 42508, 11001, 
-42508, 16, 1, 42508, 11001, 
-43953, 17, 1, 42508, 11001, 
-43953, 18, 1, 42508, 11001, 
-54891, 18, 3, 54891, 33848, 
-54891, 19, 3, 54891, 33848, 
-54891, 20, 3, 54891, 33848, 
-56893, 20, 5, 56893, 33848, 
-56893, 21, 5, 56893, 33848, 
-56893, 22, 5, 56893, 33848, 
-56893, 23, 5, 56893, 33848, 
-58895, 23, 7, 58895, 35401, 
-58895, 24, 7, 58895, 35401, 
-58895, 25, 7, 58895, 35401, 
-60164, 26, 7, 58895, 35401, 
-60164, 27, 7, 58895, 35401, 
-61005, 27, 7, 58895, 35401, 
-61005, 28, 7, 58895, 35401, 
-61047, 28, 9, 61047, 37981, 
-61047, 29, 9, 61047, 37981, 
-62209, 30, 9, 61047, 37981, 
-62209, 31, 9, 61047, 37981, 
-62899, 31, 11, 62899, 39534, 
-62899, 32, 11, 62899, 39534, 
-63973, 33, 11, 62899, 39534, 
-63973, 34, 11, 62899, 39534, 
-64901, 34, 13, 64901, 41087, 
-64901, 35, 13, 64901, 41087, 
-65902, 36, 13, 64901, 41087, 
-65902, 37, 13, 64901, 41087, 
-66903, 38, 13, 64901, 41087, 
-67053, 38, 15, 67053, 42508, 
-67053, 39, 15, 67053, 42508, 
-67989, 40, 15, 67053, 42508, 
-67989, 41, 15, 67053, 42508, 
-68925, 42, 15, 67053, 42508, 
-69355, 42, 17, 69355, 43953, 
-69355, 43, 17, 69355, 43953, 
-70233, 44, 17, 69355, 43953, 
-70233, 45, 17, 69355, 43953, 
-71111, 46, 17, 69355, 43953, 
-77235, 46, 19, 77235, 54891, 
-77235, 47, 19, 77235, 54891, 
-77235, 48, 19, 77235, 54891, 
-77235, 49, 19, 77235, 54891, 
-77235, 50, 19, 77235, 54891, 
-79537, 50, 21, 79537, 56893, 
-79537, 51, 21, 79537, 56893, 
-79537, 52, 21, 79537, 56893, 
-79537, 53, 21, 79537, 56893, 
-79537, 54, 21, 79537, 56893, 
-81839, 54, 23, 81839, 58895, 
-84141, 54, 25, 84141, 60164, 
-85319, 54, 27, 85319, 61005, 
-86470, 54, 27, 85319, 61005, 
-86470, 55, 27, 85319, 61005, 
-86470, 56, 27, 85319, 61005, 
-86470, 57, 27, 85319, 61005, 
-86470, 58, 27, 85319, 61005, 
-86470, 59, 27, 85319, 61005, 
-86470, 60, 27, 85319, 61005, 
-86470, 61, 27, 85319, 61005, 
-86470, 62, 27, 85319, 61005, 
-86470, 63, 27, 85319, 61005, 
-87131, 64, 27, 85319, 61005, 
-87621, 64, 29, 87621, 62209, 
-87621, 65, 29, 87621, 62209, 
-88254, 66, 29, 87621, 62209, 
-88254, 67, 29, 87621, 62209, 
-88887, 68, 29, 87621, 62209, 
-89923, 68, 31, 89923, 62899, 
-89923, 69, 31, 89923, 62899, 
-89923, 70, 31, 89923, 62899, 
-90536, 71, 31, 89923, 62899, 
-90536, 72, 31, 89923, 62899, 
-92225, 72, 33, 92225, 63973, 
-92225, 73, 33, 92225, 63973, 
-92225, 74, 33, 92225, 63973, 
-92225, 75, 33, 92225, 63973, 
-92821, 76, 33, 92225, 63973, 
-94527, 76, 35, 94527, 65902, 
-94527, 77, 35, 94527, 65902, 
-94527, 78, 35, 94527, 65902, 
-94527, 79, 35, 94527, 65902, 
-95108, 80, 35, 94527, 65902, 
-96829, 80, 37, 96829, 66903, 
-96829, 81, 37, 96829, 66903, 
-96829, 82, 37, 96829, 66903, 
-96829, 83, 37, 96829, 66903, 
-96829, 84, 37, 96829, 66903, 
-99131, 84, 39, 99131, 67989, 
-99131, 85, 39, 99131, 67989, 
-99131, 86, 39, 99131, 67989, 
-99131, 87, 39, 99131, 67989, 
-99131, 88, 39, 99131, 67989, 
-101433, 88, 41, 101433, 68925, 
-101433, 89, 41, 101433, 68925, 
-101433, 90, 41, 101433, 68925, 
-101433, 91, 41, 101433, 68925, 
-101433, 92, 41, 101433, 68925, 
-103735, 92, 43, 103735, 70233, 
-103735, 93, 43, 103735, 70233, 
-103735, 94, 43, 103735, 70233, 
-103735, 95, 43, 103735, 70233, 
-103735, 96, 43, 103735, 70233, 
-106037, 96, 45, 106037, 71111, 
-106037, 97, 45, 106037, 71111, 
-106037, 98, 45, 106037, 71111, 
-106037, 99, 45, 106037, 71111, 
-106037, 100, 45, 106037, 71111, 
-108339, 100, 47, 108339, 77235, 
-108339, 101, 47, 108339, 77235, 
-110641, 101, 49, 110641, 77235, 
-112943, 101, 51, 112943, 79537, 
-114384, 101, 53, 114384, 79537, 
-115535, 101, 53, 114384, 79537, 
-115535, 102, 53, 114384, 79537, 
-115535, 103, 53, 114384, 79537, 
-115535, 104, 53, 114384, 79537, 
-115535, 105, 53, 114384, 79537, 
-115535, 106, 53, 114384, 79537, 
-115535, 107, 53, 114384, 79537, 
-115535, 108, 53, 114384, 79537, 
-115535, 109, 53, 114384, 79537, 
-115535, 110, 53, 114384, 79537, 
-115535, 111, 53, 114384, 79537, 
-115535, 112, 53, 114384, 79537, 
-115535, 113, 53, 114384, 79537, 
-115535, 114, 53, 114384, 79537, 
-115535, 115, 53, 114384, 79537, 
-116686, 115, 55, 116686, 86470, 
-116686, 116, 55, 116686, 86470, 
-116686, 117, 55, 116686, 86470, 
-116686, 118, 55, 116686, 86470, 
-116686, 119, 55, 116686, 86470, 
-118988, 119, 57, 118988, 86470, 
-118988, 120, 57, 118988, 86470, 
-118988, 121, 57, 118988, 86470, 
-118988, 122, 57, 118988, 86470, 
-118988, 123, 57, 118988, 86470, 
-121290, 123, 59, 121290, 86470, 
-121290, 124, 59, 121290, 86470, 
-121290, 125, 59, 121290, 86470, 
-121290, 126, 59, 121290, 86470, 
-121290, 127, 59, 121290, 86470, 
-123592, 127, 61, 123592, 86470, 
-123592, 128, 61, 123592, 86470, 
-123592, 129, 61, 123592, 86470, 
-123592, 130, 61, 123592, 86470, 
-123592, 131, 61, 123592, 86470, 
-125894, 131, 63, 125894, 87131, 
-125894, 132, 63, 125894, 87131, 
-125894, 133, 63, 125894, 87131, 
-125894, 134, 63, 125894, 87131, 
-125894, 135, 63, 125894, 87131, 
-128196, 135, 65, 128196, 88254, 
-128196, 136, 65, 128196, 88254, 
-128196, 137, 65, 128196, 88254, 
-128196, 138, 65, 128196, 88254, 
-128196, 139, 65, 128196, 88254, 
-130498, 139, 68, 130498, 89923, 
-130498, 140, 68, 130498, 89923, 
-131649, 140, 70, 131649, 90536, 
-131649, 141, 70, 131649, 90536, 
-132800, 141, 72, 132800, 92225, 
-132800, 142, 72, 132800, 92225, 
-133951, 142, 75, 133951, 92821, 
-133951, 143, 75, 133951, 92821, 
-133951, 144, 75, 133951, 92821, 
-136253, 144, 79, 136253, 95108, 
-136450, 145, 79, 136253, 95108, 
-136450, 146, 79, 136253, 95108, 
-138555, 146, 84, 138555, 99131, 
-139054, 147, 84, 138555, 99131, 
-139054, 148, 84, 138555, 99131, 
-139054, 149, 84, 138555, 99131, 
-140857, 149, 88, 140857, 101433, 
-141622, 150, 88, 140857, 101433, 
-141622, 151, 88, 140857, 101433, 
-143159, 151, 92, 143159, 103735, 
-144156, 152, 92, 143159, 103735, 
-144156, 153, 92, 143159, 103735, 
-145461, 153, 96, 145461, 106037, 
-146661, 154, 96, 145461, 106037, 
-146661, 155, 96, 145461, 106037, 
-147572, 155, 100, 147572, 108339, 
-149114, 156, 100, 147572, 108339, 
-149114, 157, 100, 147572, 108339, 
-149874, 157, 102, 149874, 115535, 
-152176, 157, 104, 152176, 115535, 
-154478, 157, 106, 154478, 115535, 
-156782, 157, 115, 156782, 116686, 
-157935, 157, 119, 157935, 118988, 
-158515, 158, 119, 157935, 118988, 
-158515, 159, 119, 157935, 118988, 
-158515, 160, 119, 157935, 118988, 
-158515, 161, 119, 157935, 118988, 
-158515, 162, 119, 157935, 118988, 
-158515, 163, 119, 157935, 118988, 
-158515, 164, 119, 157935, 118988, 
-159666, 165, 119, 157935, 118988, 
-159666, 166, 119, 157935, 118988, 
-159666, 167, 119, 157935, 118988, 
-160238, 167, 123, 160238, 121290, 
-162072, 168, 123, 160238, 121290, 
-162072, 169, 123, 160238, 121290, 
-162542, 169, 127, 162542, 123592, 
-164465, 170, 127, 162542, 123592, 
-164465, 171, 127, 162542, 123592, 
-164845, 171, 131, 164845, 125894, 
-166847, 172, 131, 164845, 125894, 
-166847, 173, 131, 164845, 125894, 
-167149, 173, 135, 167149, 128196, 
-169220, 174, 135, 167149, 128196, 
-169220, 175, 135, 167149, 128196, 
-169453, 175, 139, 169453, 130498, 
-171583, 176, 139, 169453, 130498, 
-171583, 177, 139, 169453, 130498, 
-171755, 177, 141, 171755, 132800, 
-174057, 177, 143, 174057, 133951, 
-176359, 177, 145, 176359, 136450, 
-178661, 177, 147, 178661, 139054, 
-180963, 177, 149, 180963, 141622, 
-183265, 177, 151, 183265, 144156, 
-185567, 177, 153, 185567, 146661, 
-187869, 177, 155, 187869, 149114, 
-189007, 177, 155, 187869, 149114, 
-189007, 178, 155, 187869, 149114, 
-190171, 178, 157, 190171, 158515, 
-190171, 179, 157, 190171, 158515, 
-192473, 179, 159, 192473, 158515, 
-192473, 180, 159, 192473, 158515, 
-192473, 181, 159, 192473, 158515, 
-194775, 181, 161, 194775, 158515, 
-194775, 182, 161, 194775, 158515, 
-194775, 183, 161, 194775, 158515, 
-197077, 183, 163, 197077, 158515, 
-197077, 184, 163, 197077, 158515, 
-197077, 185, 163, 197077, 158515, 
-199379, 185, 165, 199379, 159666, 
-199379, 186, 165, 199379, 159666, 
-199379, 187, 165, 199379, 159666, 
-201681, 187, 167, 201681, 162072, 
-201681, 188, 167, 201681, 162072, 
-201681, 189, 167, 201681, 162072, 
-203983, 189, 169, 203983, 164465, 
-203983, 190, 169, 203983, 164465, 
-203983, 191, 169, 203983, 164465, 
-206285, 191, 171, 206285, 166847, 
-206285, 192, 171, 206285, 166847, 
-206285, 193, 171, 206285, 166847, 
-208587, 193, 173, 208587, 169220, 
-208587, 194, 173, 208587, 169220, 
-208587, 195, 173, 208587, 169220, 
-210889, 195, 175, 210889, 171583, 
-210889, 196, 175, 210889, 171583, 
-210889, 197, 175, 210889, 171583, 
-212054, 197, 177, 212054, 189007, 
-212054, 198, 177, 212054, 189007, 
-214356, 198, 179, 214356, 192473, 
-214356, 199, 179, 214356, 192473, 
-214356, 200, 179, 214356, 192473, 
-216658, 200, 181, 216658, 194775, 
-216658, 201, 181, 216658, 194775, 
-216658, 202, 181, 216658, 194775, 
-218960, 202, 183, 218960, 197077, 
-218960, 203, 183, 218960, 197077, 
-218960, 204, 183, 218960, 197077, 
-221262, 204, 185, 221262, 199379, 
-221262, 205, 185, 221262, 199379, 
-221262, 206, 185, 221262, 199379, 
-223564, 206, 187, 223564, 201681, 
-223564, 207, 187, 223564, 201681, 
-223564, 208, 187, 223564, 201681, 
-225866, 208, 189, 225866, 203983, 
-225866, 209, 189, 225866, 203983, 
-225866, 210, 189, 225866, 203983, 
-228168, 210, 191, 228168, 206285, 
-228168, 211, 191, 228168, 206285, 
-228168, 212, 191, 228168, 206285, 
-230470, 212, 193, 230470, 208587, 
-230470, 213, 193, 230470, 208587, 
-230470, 214, 193, 230470, 208587, 
-232772, 214, 195, 232772, 210889, 
-232772, 215, 195, 232772, 210889, 
-232772, 216, 195, 232772, 210889, 
-235074, 216, 197, 235074, 212054, 
-235074, 217, 197, 235074, 212054, 
-235074, 218, 197, 235074, 212054, 
-237376, 218, 199, 237376, 214356, 
-237376, 219, 199, 237376, 214356, 
-237376, 220, 199, 237376, 214356, 
-239678, 220, 201, 239678, 216658, 
-239678, 221, 201, 239678, 216658, 
-239678, 222, 201, 239678, 216658, 
-241980, 222, 203, 241980, 218960, 
-241980, 223, 203, 241980, 218960, 
-241980, 224, 203, 241980, 218960, 
-244282, 224, 205, 244282, 221262, 
-244282, 225, 205, 244282, 221262, 
-244282, 226, 205, 244282, 221262, 
-246584, 226, 207, 246584, 223564, 
-246584, 227, 207, 246584, 223564, 
-246584, 228, 207, 246584, 223564, 
-248886, 228, 209, 248886, 225866, 
-248886, 229, 209, 248886, 225866, 
-248886, 230, 209, 248886, 225866, 
-251188, 230, 211, 251188, 228168, 
-251188, 231, 211, 251188, 228168, 
-251188, 232, 211, 251188, 228168, 
-253490, 232, 213, 253490, 230470, 
-253490, 233, 213, 253490, 230470, 
-253490, 234, 213, 253490, 230470, 
-255792, 234, 215, 255792, 232772, 
-255792, 235, 215, 255792, 232772, 
-255792, 236, 215, 255792, 232772, 
-258094, 236, 217, 258094, 235074, 
-258094, 237, 217, 258094, 235074, 
-258094, 238, 217, 258094, 235074, 
-260396, 238, 219, 260396, 237376, 
-260396, 239, 219, 260396, 237376, 
-260396, 240, 219, 260396, 237376, 
-262698, 240, 221, 262698, 239678, 
-262698, 241, 221, 262698, 239678, 
-262698, 242, 221, 262698, 239678, 
-265000, 242, 223, 265000, 241980, 
-265000, 243, 223, 265000, 241980, 
-265000, 244, 223, 265000, 241980, 
-267302, 244, 225, 267302, 244282, 
-267302, 245, 225, 267302, 244282, 
-267302, 246, 225, 267302, 244282, 
-269604, 246, 227, 269604, 246584, 
-269604, 247, 227, 269604, 246584, 
-269604, 248, 227, 269604, 246584, 
-271906, 248, 229, 271906, 248886, 
-271906, 249, 229, 271906, 248886, 
-271906, 250, 229, 271906, 248886, 
-274208, 250, 231, 274208, 251188, 
-274208, 251, 231, 274208, 251188, 
-274208, 252, 231, 274208, 251188, 
-276510, 252, 233, 276510, 253490, 
-276510, 253, 233, 276510, 253490, 
-276510, 254, 233, 276510, 253490, 
-278812, 254, 235, 278812, 255792, 
-278812, 255, 235, 278812, 255792, 
-278812, 256, 235, 278812, 255792, 
-281114, 256, 237, 281114, 258094, 
-281114, 257, 237, 281114, 258094, 
-281114, 258, 237, 281114, 258094, 
-283416, 258, 239, 283416, 260396, 
-283416, 259, 239, 283416, 260396, 
-283416, 260, 239, 283416, 260396, 
-285718, 260, 241, 285718, 262698, 
-285718, 261, 241, 285718, 262698, 
-285718, 262, 241, 285718, 262698, 
-288020, 262, 243, 288020, 265000, 
-288020, 263, 243, 288020, 265000, 
-288020, 264, 243, 288020, 265000, 
-290322, 264, 245, 290322, 267302, 
-290322, 265, 245, 290322, 267302, 
-290322, 266, 245, 290322, 267302, 
-292624, 266, 247, 292624, 269604, 
-292624, 267, 247, 292624, 269604, 
-292624, 268, 247, 292624, 269604, 
-294926, 268, 249, 294926, 271906, 
-294926, 269, 249, 294926, 271906, 
-294926, 270, 249, 294926, 271906, 
-297228, 270, 251, 297228, 274208, 
-297228, 271, 251, 297228, 274208, 
-297228, 272, 251, 297228, 274208, 
-299530, 272, 253, 299530, 276510, 
-299530, 273, 253, 299530, 276510, 
-299530, 274, 253, 299530, 276510, 
-301832, 274, 255, 301832, 278812, 
-301832, 275, 255, 301832, 278812, 
-301832, 276, 255, 301832, 278812, 
-304134, 276, 257, 304134, 281114, 
-304134, 277, 257, 304134, 281114, 
-304134, 278, 257, 304134, 281114, 
-306436, 278, 259, 306436, 283416, 
-306436, 279, 259, 306436, 283416, 
-306436, 280, 259, 306436, 283416, 
-308738, 280, 261, 308738, 285718, 
-308738, 281, 261, 308738, 285718, 
-308738, 282, 261, 308738, 285718, 
-311040, 282, 263, 311040, 288020, 
-311040, 283, 263, 311040, 288020, 
-311040, 284, 263, 311040, 288020, 
-313342, 284, 265, 313342, 290322, 
-313342, 285, 265, 313342, 290322, 
-313342, 286, 265, 313342, 290322, 
-315644, 286, 267, 315644, 292624, 
-315644, 287, 267, 315644, 292624, 
-315644, 288, 267, 315644, 292624, 
-317946, 288, 269, 317946, 294926, 
-317946, 289, 269, 317946, 294926, 
-317946, 290, 269, 317946, 294926, 
-320248, 290, 271, 320248, 297228, 
-320248, 291, 271, 320248, 297228, 
-320248, 292, 271, 320248, 297228, 
-322550, 292, 273, 322550, 299530, 
-322550, 293, 273, 322550, 299530, 
-322550, 294, 273, 322550, 299530, 
-324852, 294, 275, 324852, 301832, 
-324852, 295, 275, 324852, 301832, 
-324852, 296, 275, 324852, 301832, 
-327154, 296, 277, 327154, 304134, 
-327154, 297, 277, 327154, 304134, 
-327154, 298, 277, 327154, 304134, 
-329456, 298, 279, 329456, 306436, 
-329456, 299, 279, 329456, 306436, 
-329456, 300, 279, 329456, 306436, 
-331758, 300, 281, 331758, 308738, 
-331758, 301, 281, 331758, 308738, 
-331758, 302, 281, 331758, 308738, 
-334060, 302, 283, 334060, 311040, 
-334060, 303, 283, 334060, 311040, 
-334060, 304, 283, 334060, 311040, 
-336362, 304, 285, 336362, 313342, 
-336362, 305, 285, 336362, 313342, 
-336362, 306, 285, 336362, 313342, 
-338664, 306, 287, 338664, 315644, 
-338664, 307, 287, 338664, 315644, 
-338664, 308, 287, 338664, 315644, 
-340966, 308, 289, 340966, 317946, 
-340966, 309, 289, 340966, 317946, 
-340966, 310, 289, 340966, 317946, 
-343268, 310, 291, 343268, 320248, 
-343268, 311, 291, 343268, 320248, 
-343268, 312, 291, 343268, 320248, 
-345570, 312, 293, 345570, 322550, 
-345570, 313, 293, 345570, 322550, 
-345570, 314, 293, 345570, 322550, 
-347872, 314, 295, 347872, 324852, 
-347872, 315, 295, 347872, 324852, 
-347872, 316, 295, 347872, 324852, 
-350174, 316, 297, 350174, 327154, 
-350174, 317, 297, 350174, 327154, 
-350174, 318, 297, 350174, 327154, 
-352476, 318, 299, 352476, 329456, 
-352476, 319, 299, 352476, 329456, 
-352476, 320, 299, 352476, 329456, 
-354778, 320, 301, 354778, 331758, 
-354778, 321, 301, 354778, 331758, 
-354778, 322, 301, 354778, 331758, 
-357080, 322, 303, 357080, 334060, 
-357080, 323, 303, 357080, 334060, 
-357080, 324, 303, 357080, 334060, 
-359382, 324, 305, 359382, 336362, 
-359382, 325, 305, 359382, 336362, 
-359382, 326, 305, 359382, 336362, 
-361684, 326, 307, 361684, 338664, 
-361684, 327, 307, 361684, 338664, 
-361684, 328, 307, 361684, 338664, 
-363986, 328, 309, 363986, 340966, 
-363986, 329, 309, 363986, 340966, 
-363986, 330, 309, 363986, 340966, 
-366288, 330, 311, 366288, 343268, 
-366288, 331, 311, 366288, 343268, 
-366288, 332, 311, 366288, 343268, 
-368590, 332, 313, 368590, 345570, 
-368590, 333, 313, 368590, 345570, 
-368590, 334, 313, 368590, 345570, 
-370892, 334, 315, 370892, 347872, 
-370892, 335, 315, 370892, 347872, 
-370892, 336, 315, 370892, 347872, 
-373194, 336, 317, 373194, 350174, 
-373194, 337, 317, 373194, 350174, 
-373194, 338, 317, 373194, 350174, 
-375496, 338, 319, 375496, 352476, 
-375496, 339, 319, 375496, 352476, 
-375496, 340, 319, 375496, 352476, 
-377798, 340, 321, 377798, 354778, 
-377798, 341, 321, 377798, 354778, 
-377798, 342, 321, 377798, 354778, 
-380100, 342, 323, 380100, 357080, 
-380100, 343, 323, 380100, 357080, 
-380100, 344, 323, 380100, 357080, 
-382402, 344, 325, 382402, 359382, 
-382402, 345, 325, 382402, 359382, 
-382402, 346, 325, 382402, 359382, 
-384704, 346, 327, 384704, 361684, 
-384704, 347, 327, 384704, 361684, 
-384704, 348, 327, 384704, 361684, 
-387006, 348, 329, 387006, 363986, 
-387006, 349, 329, 387006, 363986, 
-387006, 350, 329, 387006, 363986, 
-389308, 350, 331, 389308, 366288, 
-389308, 351, 331, 389308, 366288, 
-389308, 352, 331, 389308, 366288, 
-391610, 352, 333, 391610, 368590, 
-391610, 353, 333, 391610, 368590, 
-391610, 354, 333, 391610, 368590, 
-393912, 354, 335, 393912, 370892, 
-393912, 355, 335, 393912, 370892, 
-393912, 356, 335, 393912, 370892, 
-396214, 356, 337, 396214, 373194, 
-396214, 357, 337, 396214, 373194, 
-396214, 358, 337, 396214, 373194, 
-398516, 358, 339, 398516, 375496, 
-398516, 359, 339, 398516, 375496, 
-398516, 360, 339, 398516, 375496, 
-400818, 360, 341, 400818, 377798, 
-400818, 361, 341, 400818, 377798, 
-400818, 362, 341, 400818, 377798, 
-403120, 362, 343, 403120, 380100, 
-403120, 363, 343, 403120, 380100, 
-403120, 364, 343, 403120, 380100, 
-405422, 364, 345, 405422, 382402, 
-405422, 365, 345, 405422, 382402, 
-405422, 366, 345, 405422, 382402, 
-407724, 366, 347, 407724, 384704, 
-407724, 367, 347, 407724, 384704, 
-407724, 368, 347, 407724, 384704, 
-410026, 368, 349, 410026, 387006, 
-410026, 369, 349, 410026, 387006, 
-410026, 370, 349, 410026, 387006, 
-412328, 370, 351, 412328, 389308, 
-412328, 371, 351, 412328, 389308, 
-412328, 372, 351, 412328, 389308, 
-414630, 372, 353, 414630, 391610, 
-414630, 373, 353, 414630, 391610, 
-414630, 374, 353, 414630, 391610, 
-416932, 374, 355, 416932, 393912, 
-416932, 375, 355, 416932, 393912, 
-416932, 376, 355, 416932, 393912, 
-419234, 376, 357, 419234, 396214, 
-419234, 377, 357, 419234, 396214, 
-419234, 378, 357, 419234, 396214, 
-421536, 378, 359, 421536, 398516, 
-421536, 379, 359, 421536, 398516, 
-421536, 380, 359, 421536, 398516, 
-423838, 380, 361, 423838, 400818, 
-423838, 381, 361, 423838, 400818, 
-423838, 382, 361, 423838, 400818, 
-426140, 382, 363, 426140, 403120, 
-426140, 383, 363, 426140, 403120, 
-426140, 384, 363, 426140, 403120, 
-428442, 384, 365, 428442, 405422, 
-428442, 385, 365, 428442, 405422, 
-428442, 386, 365, 428442, 405422, 
-430744, 386, 367, 430744, 407724, 
-430744, 387, 367, 430744, 407724, 
-430744, 388, 367, 430744, 407724, 
-433046, 388, 369, 433046, 410026, 
-433046, 389, 369, 433046, 410026, 
-433046, 390, 369, 433046, 410026, 
-435348, 390, 371, 435348, 412328, 
-435348, 391, 371, 435348, 412328, 
-435348, 392, 371, 435348, 412328, 
-437650, 392, 373, 437650, 414630, 
-437650, 393, 373, 437650, 414630, 
-437650, 394, 373, 437650, 414630, 
-439952, 394, 375, 439952, 416932, 
-439952, 395, 375, 439952, 416932, 
-439952, 396, 375, 439952, 416932, 
-442254, 396, 377, 442254, 419234, 
-442254, 397, 377, 442254, 419234, 
-442254, 398, 377, 442254, 419234, 
-444556, 398, 379, 444556, 421536, 
-444556, 399, 379, 444556, 421536, 
-444556, 400, 379, 444556, 421536, 
-446858, 400, 381, 446858, 423838, 
-446858, 401, 381, 446858, 423838, 
-446858, 402, 381, 446858, 423838, 
-449160, 402, 383, 449160, 426140, 
-449160, 403, 383, 449160, 426140, 
-449160, 404, 383, 449160, 426140, 
-451462, 404, 385, 451462, 428442, 
-451462, 405, 385, 451462, 428442, 
-451462, 406, 385, 451462, 428442, 
-453764, 406, 387, 453764, 430744, 
-453764, 407, 387, 453764, 430744, 
-453764, 408, 387, 453764, 430744, 
-456066, 408, 389, 456066, 433046, 
-456066, 409, 389, 456066, 433046, 
-456066, 410, 389, 456066, 433046, 
-458368, 410, 391, 458368, 435348, 
-458368, 411, 391, 458368, 435348, 
-458368, 412, 391, 458368, 435348, 
-460670, 412, 393, 460670, 437650, 
-460670, 413, 393, 460670, 437650, 
-460670, 414, 393, 460670, 437650, 
-462972, 414, 395, 462972, 439952, 
-462972, 415, 395, 462972, 439952, 
-462972, 416, 395, 462972, 439952, 
-465274, 416, 397, 465274, 442254, 
-465274, 417, 397, 465274, 442254, 
-465274, 418, 397, 465274, 442254, 
-467576, 418, 399, 467576, 444556, 
-467576, 419, 399, 467576, 444556, 
-467576, 420, 399, 467576, 444556, 
-469878, 420, 401, 469878, 446858, 
-469878, 421, 401, 469878, 446858, 
-469878, 422, 401, 469878, 446858, 
-472180, 422, 403, 472180, 449160, 
-472180, 423, 403, 472180, 449160, 
-472180, 424, 403, 472180, 449160, 
-474482, 424, 405, 474482, 451462, 
-474482, 425, 405, 474482, 451462, 
-474482, 426, 405, 474482, 451462, 
-476784, 426, 407, 476784, 453764, 
-476784, 427, 407, 476784, 453764, 
-476784, 428, 407, 476784, 453764, 
-479086, 428, 409, 479086, 456066, 
-479086, 429, 409, 479086, 456066, 
-479086, 430, 409, 479086, 456066, 
-481388, 430, 411, 481388, 458368, 
-481388, 431, 411, 481388, 458368, 
-481388, 432, 411, 481388, 458368, 
-483690, 432, 413, 483690, 460670, 
-483690, 433, 413, 483690, 460670, 
-483690, 434, 413, 483690, 460670, 
-485992, 434, 415, 485992, 462972, 
-485992, 435, 415, 485992, 462972, 
-485992, 436, 415, 485992, 462972, 
-488294, 436, 417, 488294, 465274, 
-488294, 437, 417, 488294, 465274, 
-488294, 438, 417, 488294, 465274, 
-490596, 438, 419, 490596, 467576, 
-490596, 439, 419, 490596, 467576, 
-490596, 440, 419, 490596, 467576, 
-492898, 440, 421, 492898, 469878, 
-492898, 441, 421, 492898, 469878, 
-492898, 442, 421, 492898, 469878, 
-495200, 442, 423, 495200, 472180, 
-495200, 443, 423, 495200, 472180, 
-495200, 444, 423, 495200, 472180, 
-497502, 444, 425, 497502, 474482, 
-497502, 445, 425, 497502, 474482, 
-497502, 446, 425, 497502, 474482, 
-499804, 446, 427, 499804, 476784, 
-499804, 447, 427, 499804, 476784, 
-499804, 448, 427, 499804, 476784, 
-502106, 448, 429, 502106, 479086, 
-502106, 449, 429, 502106, 479086, 
-502106, 450, 429, 502106, 479086, 
-504408, 450, 431, 504408, 481388, 
-504408, 451, 431, 504408, 481388, 
-504408, 452, 431, 504408, 481388, 
-506710, 452, 433, 506710, 483690, 
-506710, 453, 433, 506710, 483690, 
-506710, 454, 433, 506710, 483690, 
-509012, 454, 435, 509012, 485992, 
-509012, 455, 435, 509012, 485992, 
-509012, 456, 435, 509012, 485992, 
-510163, 456, 435, 509012, 485992, 
-510163, 457, 435, 509012, 485992, 
-511314, 457, 437, 511314, 488294, 
-511314, 458, 437, 511314, 488294, 
-512468, 459, 437, 511314, 488294, 
-513616, 459, 439, 513616, 490596, 
-513616, 460, 439, 513616, 490596, 
-514770, 461, 439, 513616, 490596, 
-515918, 461, 441, 515918, 492898, 
-515918, 462, 441, 515918, 492898, 
-517072, 463, 441, 515918, 492898, 
-518220, 463, 443, 518220, 495200, 
-518220, 464, 443, 518220, 495200, 
-519374, 465, 443, 518220, 495200, 
-520522, 465, 445, 520522, 497502, 
-520522, 466, 445, 520522, 497502, 
-521676, 467, 445, 520522, 497502, 
-522824, 467, 447, 522824, 499804, 
-522824, 468, 447, 522824, 499804, 
-523978, 469, 447, 522824, 499804, 
-525126, 469, 449, 525126, 502106, 
-525126, 470, 449, 525126, 502106, 
-526280, 471, 449, 525126, 502106, 
-527428, 471, 451, 527428, 504408, 
-527428, 472, 451, 527428, 504408, 
-528582, 473, 451, 527428, 504408, 
-529730, 473, 453, 529730, 506710, 
-529730, 474, 453, 529730, 506710, 
-530884, 475, 453, 529730, 506710, 
-532032, 475, 455, 532032, 509012, 
-532032, 476, 455, 532032, 509012, 
-533186, 477, 455, 532032, 509012, 
-533211, 477, 457, 533211, 511314, 
-533211, 478, 457, 533211, 511314, 
-535513, 478, 459, 535513, 513616, 
-535513, 479, 459, 535513, 513616, 
-535513, 480, 459, 535513, 513616, 
-537815, 480, 461, 537815, 515918, 
-537815, 481, 461, 537815, 515918, 
-537815, 482, 461, 537815, 515918, 
-540117, 482, 463, 540117, 518220, 
-540117, 483, 463, 540117, 518220, 
-540117, 484, 463, 540117, 518220, 
-542419, 484, 465, 542419, 520522, 
-542419, 485, 465, 542419, 520522, 
-542419, 486, 465, 542419, 520522, 
-544721, 486, 467, 544721, 522824, 
-544721, 487, 467, 544721, 522824, 
-544721, 488, 467, 544721, 522824, 
-547023, 488, 469, 547023, 525126, 
-547023, 489, 469, 547023, 525126, 
-547023, 490, 469, 547023, 525126, 
-549325, 490, 471, 549325, 527428, 
-549325, 491, 471, 549325, 527428, 
-549325, 492, 471, 549325, 527428, 
-551627, 492, 473, 551627, 529730, 
-551627, 493, 473, 551627, 529730, 
-551627, 494, 473, 551627, 529730, 
-553929, 494, 475, 553929, 532032, 
-553929, 495, 475, 553929, 532032, 
-553929, 496, 475, 553929, 532032, 
-556231, 496, 477, 556231, 533211, 
-556231, 497, 477, 556231, 533211, 
-556231, 498, 477, 556231, 533211, 
-558533, 498, 479, 558533, 535513, 
-558533, 499, 479, 558533, 535513, 
-558533, 500, 479, 558533, 535513, 
-560835, 500, 481, 560835, 537815, 
-560835, 501, 481, 560835, 537815, 
-560835, 502, 481, 560835, 537815, 
-563137, 502, 483, 563137, 540117, 
-563137, 503, 483, 563137, 540117, 
-563137, 504, 483, 563137, 540117, 
-565439, 504, 485, 565439, 542419, 
-565439, 505, 485, 565439, 542419, 
-565439, 506, 485, 565439, 542419, 
-567741, 506, 487, 567741, 544721, 
-567741, 507, 487, 567741, 544721, 
-567741, 508, 487, 567741, 544721, 
-570043, 508, 489, 570043, 547023, 
-570043, 509, 489, 570043, 547023, 
-570043, 510, 489, 570043, 547023, 
-572345, 510, 491, 572345, 549325, 
-572345, 511, 491, 572345, 549325, 
-572345, 512, 491, 572345, 549325, 
-574647, 512, 493, 574647, 551627, 
-574647, 513, 493, 574647, 551627, 
-574647, 514, 493, 574647, 551627, 
-576949, 514, 495, 576949, 553929, 
-576949, 515, 495, 576949, 553929, 
-576949, 516, 495, 576949, 553929, 
-579251, 516, 497, 579251, 556231, 
-579251, 517, 497, 579251, 556231, 
-579251, 518, 497, 579251, 556231, 
-581553, 518, 499, 581553, 558533, 
-581553, 519, 499, 581553, 558533, 
-581553, 520, 499, 581553, 558533, 
-583855, 520, 501, 583855, 560835, 
-583855, 521, 501, 583855, 560835, 
-583855, 522, 501, 583855, 560835, 
-586157, 522, 503, 586157, 563137, 
-586157, 523, 503, 586157, 563137, 
-586157, 524, 503, 586157, 563137, 
-588459, 524, 505, 588459, 565439, 
-588459, 525, 505, 588459, 565439, 
-588459, 526, 505, 588459, 565439, 
-590761, 526, 507, 590761, 567741, 
-590761, 527, 507, 590761, 567741, 
-590761, 528, 507, 590761, 567741, 
-593063, 528, 509, 593063, 570043, 
-593063, 529, 509, 593063, 570043, 
-593063, 530, 509, 593063, 570043, 
-595365, 530, 511, 595365, 572345, 
-595365, 531, 511, 595365, 572345, 
-595365, 532, 511, 595365, 572345, 
-597667, 532, 513, 597667, 574647, 
-597667, 533, 513, 597667, 574647, 
-597667, 534, 513, 597667, 574647, 
-599969, 534, 515, 599969, 576949, 
-599969, 535, 515, 599969, 576949, 
-599969, 536, 515, 599969, 576949, 
-602271, 536, 517, 602271, 579251, 
-602271, 537, 517, 602271, 579251, 
-602271, 538, 517, 602271, 579251, 
-604573, 538, 519, 604573, 581553, 
-604573, 539, 519, 604573, 581553, 
-604573, 540, 519, 604573, 581553, 
-606875, 540, 521, 606875, 583855, 
-606875, 541, 521, 606875, 583855, 
-606875, 542, 521, 606875, 583855, 
-609177, 542, 523, 609177, 586157, 
-609177, 543, 523, 609177, 586157, 
-609177, 544, 523, 609177, 586157, 
-611479, 544, 525, 611479, 588459, 
-611479, 545, 525, 611479, 588459, 
-611479, 546, 525, 611479, 588459, 
-613781, 546, 527, 613781, 590761, 
-613781, 547, 527, 613781, 590761, 
-613781, 548, 527, 613781, 590761, 
-616083, 548, 529, 616083, 593063, 
-616083, 549, 529, 616083, 593063, 
-616083, 550, 529, 616083, 593063, 
-618385, 550, 531, 618385, 595365, 
-618385, 551, 531, 618385, 595365, 
-618385, 552, 531, 618385, 595365, 
-620687, 552, 533, 620687, 597667, 
-620687, 553, 533, 620687, 597667, 
-620687, 554, 533, 620687, 597667, 
-622989, 554, 535, 622989, 599969, 
-622989, 555, 535, 622989, 599969, 
-622989, 556, 535, 622989, 599969, 
-625291, 556, 537, 625291, 602271, 
-625291, 557, 537, 625291, 602271, 
-625291, 558, 537, 625291, 602271, 
-627593, 558, 539, 627593, 604573, 
-627593, 559, 539, 627593, 604573, 
-627593, 560, 539, 627593, 604573, 
-629895, 560, 541, 629895, 606875, 
-629895, 561, 541, 629895, 606875, 
-629895, 562, 541, 629895, 606875, 
-632197, 562, 543, 632197, 609177, 
-632197, 563, 543, 632197, 609177, 
-632197, 564, 543, 632197, 609177, 
-634499, 564, 545, 634499, 611479, 
-634499, 565, 545, 634499, 611479, 
-634499, 566, 545, 634499, 611479, 
-636801, 566, 547, 636801, 613781, 
-636801, 567, 547, 636801, 613781, 
-636801, 568, 547, 636801, 613781, 
-639103, 568, 549, 639103, 616083, 
-639103, 569, 549, 639103, 616083, 
-639103, 570, 549, 639103, 616083, 
-641405, 570, 551, 641405, 618385, 
-641405, 571, 551, 641405, 618385, 
-641405, 572, 551, 641405, 618385, 
-643707, 572, 553, 643707, 620687, 
-643707, 573, 553, 643707, 620687, 
-643707, 574, 553, 643707, 620687, 
-646009, 574, 555, 646009, 622989, 
-646009, 575, 555, 646009, 622989, 
-646009, 576, 555, 646009, 622989, 
-648311, 576, 557, 648311, 625291, 
-648311, 577, 557, 648311, 625291, 
-648311, 578, 557, 648311, 625291, 
-650613, 578, 559, 650613, 627593, 
-650613, 579, 559, 650613, 627593, 
-650613, 580, 559, 650613, 627593, 
-652915, 580, 561, 652915, 629895, 
-652915, 581, 561, 652915, 629895, 
-652915, 582, 561, 652915, 629895, 
-655217, 582, 563, 655217, 632197, 
-655217, 583, 563, 655217, 632197, 
-655217, 584, 563, 655217, 632197, 
-657519, 584, 565, 657519, 634499, 
-657519, 585, 565, 657519, 634499, 
-657519, 586, 565, 657519, 634499, 
-659821, 586, 567, 659821, 636801, 
-659821, 587, 567, 659821, 636801, 
-659821, 588, 567, 659821, 636801, 
-662123, 588, 569, 662123, 639103, 
-662123, 589, 569, 662123, 639103, 
-662123, 590, 569, 662123, 639103, 
-664425, 590, 571, 664425, 641405, 
-664425, 591, 571, 664425, 641405, 
-664425, 592, 571, 664425, 641405, 
-666727, 592, 573, 666727, 643707, 
-666727, 593, 573, 666727, 643707, 
-666727, 594, 573, 666727, 643707, 
-669029, 594, 575, 669029, 646009, 
-669029, 595, 575, 669029, 646009, 
-669029, 596, 575, 669029, 646009, 
-671331, 596, 577, 671331, 648311, 
-671331, 597, 577, 671331, 648311, 
-671331, 598, 577, 671331, 648311, 
-673633, 598, 579, 673633, 650613, 
-673633, 599, 579, 673633, 650613, 
-673633, 600, 579, 673633, 650613, 
-675935, 600, 581, 675935, 652915, 
-675935, 601, 581, 675935, 652915, 
-675935, 602, 581, 675935, 652915, 
-678237, 602, 583, 678237, 655217, 
-678237, 603, 583, 678237, 655217, 
-678237, 604, 583, 678237, 655217, 
-680539, 604, 585, 680539, 657519, 
-680539, 605, 585, 680539, 657519, 
-680539, 606, 585, 680539, 657519, 
-682841, 606, 587, 682841, 659821, 
-682841, 607, 587, 682841, 659821, 
-682841, 608, 587, 682841, 659821, 
-685143, 608, 589, 685143, 662123, 
-685143, 609, 589, 685143, 662123, 
-685143, 610, 589, 685143, 662123, 
-687445, 610, 591, 687445, 664425, 
-687445, 611, 591, 687445, 664425, 
-687445, 612, 591, 687445, 664425, 
-689747, 612, 593, 689747, 666727, 
-689747, 613, 593, 689747, 666727, 
-689747, 614, 593, 689747, 666727, 
-692049, 614, 595, 692049, 669029, 
-692049, 615, 595, 692049, 669029, 
-692049, 616, 595, 692049, 669029, 
-694351, 616, 597, 694351, 671331, 
-694351, 617, 597, 694351, 671331, 
-694351, 618, 597, 694351, 671331, 
-696653, 618, 599, 696653, 673633, 
-696653, 619, 599, 696653, 673633, 
-696653, 620, 599, 696653, 673633, 
-698955, 620, 601, 698955, 675935, 
-698955, 621, 601, 698955, 675935, 
-698955, 622, 601, 698955, 675935, 
-701257, 622, 603, 701257, 678237, 
-701257, 623, 603, 701257, 678237, 
-701257, 624, 603, 701257, 678237, 
-703559, 624, 605, 703559, 680539, 
-703559, 625, 605, 703559, 680539, 
-703559, 626, 605, 703559, 680539, 
-705861, 626, 607, 705861, 682841, 
-705861, 627, 607, 705861, 682841, 
-705861, 628, 607, 705861, 682841, 
-708163, 628, 609, 708163, 685143, 
-708163, 629, 609, 708163, 685143, 
-708163, 630, 609, 708163, 685143, 
-710465, 630, 611, 710465, 687445, 
-710465, 631, 611, 710465, 687445, 
-710465, 632, 611, 710465, 687445, 
-712767, 632, 613, 712767, 689747, 
-712767, 633, 613, 712767, 689747, 
-712767, 634, 613, 712767, 689747, 
-715069, 634, 615, 715069, 692049, 
-715069, 635, 615, 715069, 692049, 
-715069, 636, 615, 715069, 692049, 
-717371, 636, 617, 717371, 694351, 
-717371, 637, 617, 717371, 694351, 
-717371, 638, 617, 717371, 694351, 
-719673, 638, 619, 719673, 696653, 
-719673, 639, 619, 719673, 696653, 
-719673, 640, 619, 719673, 696653, 
-721975, 640, 621, 721975, 698955, 
-721975, 641, 621, 721975, 698955, 
-721975, 642, 621, 721975, 698955, 
-724277, 642, 623, 724277, 701257, 
-724277, 643, 623, 724277, 701257, 
-724277, 644, 623, 724277, 701257, 
-726579, 644, 625, 726579, 703559, 
-726579, 645, 625, 726579, 703559, 
-726579, 646, 625, 726579, 703559, 
-728881, 646, 627, 728881, 705861, 
-728881, 647, 627, 728881, 705861, 
-728881, 648, 627, 728881, 705861, 
-731183, 648, 629, 731183, 708163, 
-731183, 649, 629, 731183, 708163, 
-731183, 650, 629, 731183, 708163, 
-733485, 650, 631, 733485, 710465, 
-733485, 651, 631, 733485, 710465, 
-733485, 652, 631, 733485, 710465, 
-735787, 652, 633, 735787, 712767, 
-735787, 653, 633, 735787, 712767, 
-735787, 654, 633, 735787, 712767, 
-738089, 654, 635, 738089, 715069, 
-738089, 655, 635, 738089, 715069, 
-738089, 656, 635, 738089, 715069, 
-740391, 656, 637, 740391, 717371, 
-740391, 657, 637, 740391, 717371, 
-740391, 658, 637, 740391, 717371, 
-742693, 658, 639, 742693, 719673, 
-742693, 659, 639, 742693, 719673, 
-742693, 660, 639, 742693, 719673, 
-744995, 660, 641, 744995, 721975, 
-744995, 661, 641, 744995, 721975, 
-744995, 662, 641, 744995, 721975, 
-747297, 662, 643, 747297, 724277, 
-747297, 663, 643, 747297, 724277, 
-747297, 664, 643, 747297, 724277, 
-749599, 664, 645, 749599, 726579, 
-749599, 665, 645, 749599, 726579, 
-749599, 666, 645, 749599, 726579, 
-751901, 666, 647, 751901, 728881, 
-751901, 667, 647, 751901, 728881, 
-751901, 668, 647, 751901, 728881, 
-754203, 668, 649, 754203, 731183, 
-754203, 669, 649, 754203, 731183, 
-754203, 670, 649, 754203, 731183, 
-756505, 670, 651, 756505, 733485, 
-756505, 671, 651, 756505, 733485, 
-756505, 672, 651, 756505, 733485, 
-758807, 672, 653, 758807, 735787, 
-758807, 673, 653, 758807, 735787, 
-758807, 674, 653, 758807, 735787, 
-761109, 674, 655, 761109, 738089, 
-761109, 675, 655, 761109, 738089, 
-761109, 676, 655, 761109, 738089, 
-763411, 676, 657, 763411, 740391, 
-763411, 677, 657, 763411, 740391, 
-763411, 678, 657, 763411, 740391, 
-765713, 678, 659, 765713, 742693, 
-765713, 679, 659, 765713, 742693, 
-765713, 680, 659, 765713, 742693, 
-768015, 680, 661, 768015, 744995, 
-768015, 681, 661, 768015, 744995, 
-768015, 682, 661, 768015, 744995, 
-770317, 682, 663, 770317, 747297, 
-770317, 683, 663, 770317, 747297, 
-770317, 684, 663, 770317, 747297, 
-772619, 684, 665, 772619, 749599, 
-772619, 685, 665, 772619, 749599, 
-772619, 686, 665, 772619, 749599, 
-774921, 686, 667, 774921, 751901, 
-774921, 687, 667, 774921, 751901, 
-774921, 688, 667, 774921, 751901, 
-777223, 688, 669, 777223, 754203, 
-777223, 689, 669, 777223, 754203, 
-777223, 690, 669, 777223, 754203, 
-779525, 690, 671, 779525, 756505, 
-779525, 691, 671, 779525, 756505, 
-779525, 692, 671, 779525, 756505, 
-781827, 692, 673, 781827, 758807, 
-781827, 693, 673, 781827, 758807, 
-781827, 694, 673, 781827, 758807, 
-784129, 694, 675, 784129, 761109, 
-784129, 695, 675, 784129, 761109, 
-784129, 696, 675, 784129, 761109, 
-786431, 696, 677, 786431, 763411, 
-786431, 697, 677, 786431, 763411, 
-786431, 698, 677, 786431, 763411, 
-788733, 698, 679, 788733, 765713, 
-788733, 699, 679, 788733, 765713, 
-788733, 700, 679, 788733, 765713, 
-791035, 700, 681, 791035, 768015, 
-791035, 701, 681, 791035, 768015, 
-791035, 702, 681, 791035, 768015, 
-793337, 702, 683, 793337, 770317, 
-793337, 703, 683, 793337, 770317, 
-793337, 704, 683, 793337, 770317, 
-795639, 704, 685, 795639, 772619, 
-795639, 705, 685, 795639, 772619, 
-795639, 706, 685, 795639, 772619, 
-797941, 706, 687, 797941, 774921, 
-797941, 707, 687, 797941, 774921, 
-797941, 708, 687, 797941, 774921, 
-800243, 708, 689, 800243, 777223, 
-800243, 709, 689, 800243, 777223, 
-800243, 710, 689, 800243, 777223, 
-802545, 710, 691, 802545, 779525, 
-802545, 711, 691, 802545, 779525, 
-802545, 712, 691, 802545, 779525, 
-804847, 712, 693, 804847, 781827, 
-804847, 713, 693, 804847, 781827, 
-804847, 714, 693, 804847, 781827, 
-807149, 714, 695, 807149, 784129, 
-807149, 715, 695, 807149, 784129, 
-807149, 716, 695, 807149, 784129, 
-809451, 716, 697, 809451, 786431, 
-809451, 717, 697, 809451, 786431, 
-809451, 718, 697, 809451, 786431, 
-811753, 718, 699, 811753, 788733, 
-811753, 719, 699, 811753, 788733, 
-811753, 720, 699, 811753, 788733, 
-814055, 720, 701, 814055, 791035, 
-814055, 721, 701, 814055, 791035, 
-814055, 722, 701, 814055, 791035, 
-816357, 722, 703, 816357, 793337, 
-816357, 723, 703, 816357, 793337, 
-816357, 724, 703, 816357, 793337, 
-818659, 724, 705, 818659, 795639, 
-818659, 725, 705, 818659, 795639, 
-818659, 726, 705, 818659, 795639, 
-820961, 726, 707, 820961, 797941, 
-820961, 727, 707, 820961, 797941, 
-820961, 728, 707, 820961, 797941, 
-823263, 728, 709, 823263, 800243, 
-823263, 729, 709, 823263, 800243, 
-823263, 730, 709, 823263, 800243, 
-825565, 730, 711, 825565, 802545, 
-825565, 731, 711, 825565, 802545, 
-825565, 732, 711, 825565, 802545, 
-827867, 732, 713, 827867, 804847, 
-827867, 733, 713, 827867, 804847, 
-827867, 734, 713, 827867, 804847, 
-830169, 734, 715, 830169, 807149, 
-830169, 735, 715, 830169, 807149, 
-830169, 736, 715, 830169, 807149, 
-832471, 736, 717, 832471, 809451, 
-832471, 737, 717, 832471, 809451, 
-832471, 738, 717, 832471, 809451, 
-834773, 738, 719, 834773, 811753, 
-834773, 739, 719, 834773, 811753, 
-834773, 740, 719, 834773, 811753, 
-837075, 740, 721, 837075, 814055, 
-837075, 741, 721, 837075, 814055, 
-837075, 742, 721, 837075, 814055, 
-839377, 742, 723, 839377, 816357, 
-839377, 743, 723, 839377, 816357, 
-839377, 744, 723, 839377, 816357, 
-841679, 744, 725, 841679, 818659, 
-841679, 745, 725, 841679, 818659, 
-841679, 746, 725, 841679, 818659, 
-843981, 746, 727, 843981, 820961, 
-843981, 747, 727, 843981, 820961, 
-843981, 748, 727, 843981, 820961, 
-846283, 748, 729, 846283, 823263, 
-846283, 749, 729, 846283, 823263, 
-846283, 750, 729, 846283, 823263, 
-848585, 750, 731, 848585, 825565, 
-848585, 751, 731, 848585, 825565, 
-848585, 752, 731, 848585, 825565, 
-850887, 752, 733, 850887, 827867, 
-850887, 753, 733, 850887, 827867, 
-850887, 754, 733, 850887, 827867, 
-853189, 754, 735, 853189, 830169, 
-853189, 755, 735, 853189, 830169, 
-853189, 756, 735, 853189, 830169, 
-855491, 756, 737, 855491, 832471, 
-855491, 757, 737, 855491, 832471, 
-855491, 758, 737, 855491, 832471, 
-857793, 758, 739, 857793, 834773, 
-857793, 759, 739, 857793, 834773, 
-857793, 760, 739, 857793, 834773, 
-857793, 761, 739, 857793, 834773, 
-860095, 761, 741, 860095, 837075, 
-862397, 761, 743, 862397, 839377, 
-864699, 761, 745, 864699, 841679, 
-867001, 761, 747, 867001, 843981, 
-869303, 761, 749, 869303, 846283, 
-871605, 761, 751, 871605, 848585, 
-873907, 761, 753, 873907, 850887, 
-876209, 761, 755, 876209, 853189, 
-878511, 761, 757, 878511, 855491, 
-880015, 761, 759, 880015, 857793, 
-890015, 761, 760, 890015, 857793, 
+time, sequence, highest ack, high ack time, last time ack, cwin, SRTT, RTT min, Send MTU, pacing packet time(us), nb retrans, nb spurious, 
+11001, 1, -1, 11001, 11001, 15360, 250000, 0, 1252, 1, 0, 0, 
+11001, 2, -1, 11001, 11001, 15360, 250000, 0, 1252, 1, 0, 0, 
+32749, 2, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+32749, 2, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+32749, 3, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+33848, 3, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+33848, 4, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+33848, 5, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+33848, 6, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+35401, 7, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+35401, 8, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+36428, 8, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+36428, 9, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+37981, 10, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+37981, 11, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+39534, 12, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+39534, 13, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+41087, 14, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+41087, 15, 0, 32749, 11001, 17129, 21236, 21080, 1252, 1553, 0, 0, 
+42508, 15, 1, 42508, 11001, 18553, 21413, 21080, 1440, 1445, 0, 0, 
+42508, 16, 1, 42508, 11001, 18553, 21413, 21080, 1440, 1445, 0, 0, 
+43953, 17, 1, 42508, 11001, 18553, 21413, 21080, 1440, 1445, 0, 0, 
+43953, 18, 1, 42508, 11001, 18553, 21413, 21080, 1440, 1445, 0, 0, 
+54891, 18, 3, 54891, 33848, 19826, 21367, 21043, 1440, 1552, 0, 0, 
+54891, 19, 3, 54891, 33848, 19826, 21367, 21043, 1440, 1552, 0, 0, 
+54891, 20, 3, 54891, 33848, 19826, 21367, 21043, 1440, 1552, 0, 0, 
+56893, 20, 5, 56893, 33848, 22298, 21576, 21043, 1440, 1394, 0, 0, 
+56893, 21, 5, 56893, 33848, 22298, 21576, 21043, 1440, 1394, 0, 0, 
+56893, 22, 5, 56893, 33848, 22298, 21576, 21043, 1440, 1394, 0, 0, 
+56893, 23, 5, 56893, 33848, 22298, 21576, 21043, 1440, 1394, 0, 0, 
+58895, 23, 7, 58895, 35401, 24770, 21815, 21043, 1440, 1269, 0, 0, 
+58895, 24, 7, 58895, 35401, 24770, 21815, 21043, 1440, 1269, 0, 0, 
+58895, 25, 7, 58895, 35401, 24770, 21815, 21043, 1440, 1269, 0, 0, 
+60164, 26, 7, 58895, 35401, 24770, 21815, 21043, 1440, 1269, 0, 0, 
+60164, 27, 7, 58895, 35401, 24770, 21815, 21043, 1440, 1269, 0, 0, 
+61005, 27, 7, 58895, 35401, 24770, 21815, 21043, 1440, 1269, 0, 0, 
+61005, 28, 7, 58895, 35401, 24770, 21815, 21043, 1440, 1269, 0, 0, 
+61047, 28, 9, 61047, 37981, 27242, 21971, 21043, 1440, 1162, 0, 0, 
+61047, 29, 9, 61047, 37981, 27242, 21971, 21043, 1440, 1162, 0, 0, 
+62209, 30, 9, 61047, 37981, 27242, 21971, 21043, 1440, 1162, 0, 0, 
+62209, 31, 9, 61047, 37981, 27242, 21971, 21043, 1440, 1162, 0, 0, 
+62899, 31, 11, 62899, 39534, 29714, 22145, 21043, 1440, 1074, 0, 0, 
+62899, 32, 11, 62899, 39534, 29714, 22145, 21043, 1440, 1074, 0, 0, 
+63973, 33, 11, 62899, 39534, 29714, 22145, 21043, 1440, 1074, 0, 0, 
+63973, 34, 11, 62899, 39534, 29714, 22145, 21043, 1440, 1074, 0, 0, 
+64901, 34, 13, 64901, 41087, 32186, 22353, 21043, 1440, 1001, 0, 0, 
+64901, 35, 13, 64901, 41087, 32186, 22353, 21043, 1440, 1001, 0, 0, 
+65902, 36, 13, 64901, 41087, 32186, 22353, 21043, 1440, 1001, 0, 0, 
+65902, 37, 13, 64901, 41087, 32186, 22353, 21043, 1440, 1001, 0, 0, 
+66903, 38, 13, 64901, 41087, 32186, 22353, 21043, 1440, 1001, 0, 0, 
+67053, 38, 15, 67053, 42508, 34846, 22627, 21043, 1440, 936, 0, 0, 
+67053, 39, 15, 67053, 42508, 34846, 22627, 21043, 1440, 936, 0, 0, 
+67989, 40, 15, 67053, 42508, 34846, 22627, 21043, 1440, 936, 0, 0, 
+67989, 41, 15, 67053, 42508, 34846, 22627, 21043, 1440, 936, 0, 0, 
+68925, 42, 15, 67053, 42508, 34846, 22627, 21043, 1440, 936, 0, 0, 
+69355, 42, 17, 69355, 43953, 37694, 22973, 21043, 1440, 878, 0, 0, 
+69355, 43, 17, 69355, 43953, 37694, 22973, 21043, 1440, 878, 0, 0, 
+70233, 44, 17, 69355, 43953, 37694, 22973, 21043, 1440, 878, 0, 0, 
+70233, 45, 17, 69355, 43953, 37694, 22973, 21043, 1440, 878, 0, 0, 
+71111, 46, 17, 69355, 43953, 37694, 22973, 21043, 1440, 878, 0, 0, 
+77235, 46, 19, 77235, 54891, 40542, 22895, 21043, 1440, 814, 0, 0, 
+77235, 47, 19, 77235, 54891, 40542, 22895, 21043, 1440, 814, 0, 0, 
+77235, 48, 19, 77235, 54891, 40542, 22895, 21043, 1440, 814, 0, 0, 
+77235, 49, 19, 77235, 54891, 40542, 22895, 21043, 1440, 814, 0, 0, 
+77235, 50, 19, 77235, 54891, 40542, 22895, 21043, 1440, 814, 0, 0, 
+79537, 50, 21, 79537, 56893, 43390, 22864, 21043, 1440, 759, 0, 0, 
+79537, 51, 21, 79537, 56893, 43390, 22864, 21043, 1440, 759, 0, 0, 
+79537, 52, 21, 79537, 56893, 43390, 22864, 21043, 1440, 759, 0, 0, 
+79537, 53, 21, 79537, 56893, 43390, 22864, 21043, 1440, 759, 0, 0, 
+79537, 54, 21, 79537, 56893, 43390, 22864, 21043, 1440, 759, 0, 0, 
+81839, 54, 23, 81839, 58895, 46238, 22874, 21043, 1440, 713, 0, 0, 
+84141, 54, 25, 84141, 60164, 49086, 23011, 21043, 1440, 676, 0, 0, 
+85319, 54, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+86470, 54, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+86470, 55, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+86470, 56, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+86470, 57, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+86470, 58, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+86470, 59, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+86470, 60, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+86470, 61, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+86470, 62, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+86470, 63, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+87131, 64, 27, 85319, 61005, 50528, 23173, 21043, 1440, 661, 0, 0, 
+87621, 64, 29, 87621, 62209, 53376, 23452, 21043, 1440, 633, 0, 0, 
+87621, 65, 29, 87621, 62209, 53376, 23452, 21043, 1440, 633, 0, 0, 
+88254, 66, 29, 87621, 62209, 53376, 23452, 21043, 1440, 633, 0, 0, 
+88254, 67, 29, 87621, 62209, 53376, 23452, 21043, 1440, 633, 0, 0, 
+88887, 68, 29, 87621, 62209, 53376, 23452, 21043, 1440, 633, 0, 0, 
+89923, 68, 31, 89923, 62899, 56224, 23898, 21043, 1440, 613, 0, 0, 
+89923, 69, 31, 89923, 62899, 56224, 23898, 21043, 1440, 613, 0, 0, 
+89923, 70, 31, 89923, 62899, 56224, 23898, 21043, 1440, 613, 0, 0, 
+90536, 71, 31, 89923, 62899, 56224, 23898, 21043, 1440, 613, 0, 0, 
+90536, 72, 31, 89923, 62899, 56224, 23898, 21043, 1440, 613, 0, 0, 
+92225, 72, 33, 92225, 63973, 59072, 24442, 21043, 1440, 596, 0, 0, 
+92225, 73, 33, 92225, 63973, 59072, 24442, 21043, 1440, 596, 0, 0, 
+92225, 74, 33, 92225, 63973, 59072, 24442, 21043, 1440, 596, 0, 0, 
+92225, 75, 33, 92225, 63973, 59072, 24442, 21043, 1440, 596, 0, 0, 
+92821, 76, 33, 92225, 63973, 59072, 24442, 21043, 1440, 596, 0, 0, 
+94527, 76, 35, 94527, 65902, 61920, 24964, 21043, 1440, 581, 0, 0, 
+94527, 77, 35, 94527, 65902, 61920, 24964, 21043, 1440, 581, 0, 0, 
+94527, 78, 35, 94527, 65902, 61920, 24964, 21043, 1440, 581, 0, 0, 
+94527, 79, 35, 94527, 65902, 61920, 24964, 21043, 1440, 581, 0, 0, 
+95108, 80, 35, 94527, 65902, 61920, 24964, 21043, 1440, 581, 0, 0, 
+96829, 80, 37, 96829, 66903, 64768, 25584, 21043, 1440, 569, 0, 0, 
+96829, 81, 37, 96829, 66903, 64768, 25584, 21043, 1440, 569, 0, 0, 
+96829, 82, 37, 96829, 66903, 64768, 25584, 21043, 1440, 569, 0, 0, 
+96829, 83, 37, 96829, 66903, 64768, 25584, 21043, 1440, 569, 0, 0, 
+96829, 84, 37, 96829, 66903, 64768, 25584, 21043, 1440, 569, 0, 0, 
+99131, 84, 39, 99131, 67989, 67616, 26278, 21043, 1440, 560, 0, 0, 
+99131, 85, 39, 99131, 67989, 67616, 26278, 21043, 1440, 560, 0, 0, 
+99131, 86, 39, 99131, 67989, 67616, 26278, 21043, 1440, 560, 0, 0, 
+99131, 87, 39, 99131, 67989, 67616, 26278, 21043, 1440, 560, 0, 0, 
+99131, 88, 39, 99131, 67989, 67616, 26278, 21043, 1440, 560, 0, 0, 
+101433, 88, 41, 101433, 68925, 70464, 27056, 21043, 1440, 553, 0, 0, 
+101433, 89, 41, 101433, 68925, 70464, 27056, 21043, 1440, 553, 0, 0, 
+101433, 90, 41, 101433, 68925, 70464, 27056, 21043, 1440, 553, 0, 0, 
+101433, 91, 41, 101433, 68925, 70464, 27056, 21043, 1440, 553, 0, 0, 
+101433, 92, 41, 101433, 68925, 70464, 27056, 21043, 1440, 553, 0, 0, 
+103735, 92, 43, 103735, 70233, 73312, 27861, 21043, 1440, 548, 0, 0, 
+103735, 93, 43, 103735, 70233, 73312, 27861, 21043, 1440, 548, 0, 0, 
+103735, 94, 43, 103735, 70233, 73312, 27861, 21043, 1440, 548, 0, 0, 
+103735, 95, 43, 103735, 70233, 73312, 27861, 21043, 1440, 548, 0, 0, 
+103735, 96, 43, 103735, 70233, 73312, 27861, 21043, 1440, 548, 0, 0, 
+106037, 96, 45, 106037, 71111, 76160, 28744, 21043, 1440, 544, 0, 0, 
+106037, 97, 45, 106037, 71111, 76160, 28744, 21043, 1440, 544, 0, 0, 
+106037, 98, 45, 106037, 71111, 76160, 28744, 21043, 1440, 544, 0, 0, 
+106037, 99, 45, 106037, 71111, 76160, 28744, 21043, 1440, 544, 0, 0, 
+106037, 100, 45, 106037, 71111, 76160, 28744, 21043, 1440, 544, 0, 0, 
+108339, 100, 47, 108339, 77235, 79008, 29039, 21043, 1440, 530, 0, 0, 
+108339, 101, 47, 108339, 77235, 79008, 29039, 21043, 1440, 530, 0, 0, 
+110641, 101, 49, 110641, 77235, 81856, 29584, 21043, 1440, 521, 0, 0, 
+112943, 101, 51, 112943, 79537, 84704, 30061, 21043, 1440, 512, 0, 0, 
+114384, 101, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 101, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 102, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 103, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 104, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 105, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 106, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 107, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 108, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 109, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 110, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 111, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 112, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 113, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 114, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+115535, 115, 53, 114384, 79537, 86475, 30659, 21043, 1440, 511, 0, 0, 
+116686, 115, 55, 116686, 86470, 89323, 30604, 21043, 1440, 494, 0, 0, 
+116686, 116, 55, 116686, 86470, 89323, 30604, 21043, 1440, 494, 0, 0, 
+116686, 117, 55, 116686, 86470, 89323, 30604, 21043, 1440, 494, 0, 0, 
+116686, 118, 55, 116686, 86470, 89323, 30604, 21043, 1440, 494, 0, 0, 
+116686, 119, 55, 116686, 86470, 89323, 30604, 21043, 1440, 494, 0, 0, 
+118988, 119, 57, 118988, 86470, 92171, 30843, 21043, 1440, 482, 0, 0, 
+118988, 120, 57, 118988, 86470, 92171, 30843, 21043, 1440, 482, 0, 0, 
+118988, 121, 57, 118988, 86470, 92171, 30843, 21043, 1440, 482, 0, 0, 
+118988, 122, 57, 118988, 86470, 92171, 30843, 21043, 1440, 482, 0, 0, 
+118988, 123, 57, 118988, 86470, 92171, 30843, 21043, 1440, 482, 0, 0, 
+121290, 123, 59, 121290, 86470, 95019, 31340, 21043, 1440, 475, 0, 0, 
+121290, 124, 59, 121290, 86470, 95019, 31340, 21043, 1440, 475, 0, 0, 
+121290, 125, 59, 121290, 86470, 95019, 31340, 21043, 1440, 475, 0, 0, 
+121290, 126, 59, 121290, 86470, 95019, 31340, 21043, 1440, 475, 0, 0, 
+121290, 127, 59, 121290, 86470, 95019, 31340, 21043, 1440, 475, 0, 0, 
+123592, 127, 61, 123592, 86470, 97867, 32062, 21043, 1440, 472, 0, 0, 
+123592, 128, 61, 123592, 86470, 97867, 32062, 21043, 1440, 472, 0, 0, 
+123592, 129, 61, 123592, 86470, 97867, 32062, 21043, 1440, 472, 0, 0, 
+123592, 130, 61, 123592, 86470, 97867, 32062, 21043, 1440, 472, 0, 0, 
+123592, 131, 61, 123592, 86470, 97867, 32062, 21043, 1440, 472, 0, 0, 
+125894, 131, 63, 125894, 87131, 100715, 32899, 21043, 1440, 471, 0, 0, 
+125894, 132, 63, 125894, 87131, 100715, 32899, 21043, 1440, 471, 0, 0, 
+125894, 133, 63, 125894, 87131, 100715, 32899, 21043, 1440, 471, 0, 0, 
+125894, 134, 63, 125894, 87131, 100715, 32899, 21043, 1440, 471, 0, 0, 
+125894, 135, 63, 125894, 87131, 100715, 32899, 21043, 1440, 471, 0, 0, 
+128196, 135, 65, 128196, 88254, 103563, 33779, 21043, 1440, 470, 0, 0, 
+128196, 136, 65, 128196, 88254, 103563, 33779, 21043, 1440, 470, 0, 0, 
+128196, 137, 65, 128196, 88254, 103563, 33779, 21043, 1440, 470, 0, 0, 
+128196, 138, 65, 128196, 88254, 103563, 33779, 21043, 1440, 470, 0, 0, 
+128196, 139, 65, 128196, 88254, 103563, 33779, 21043, 1440, 470, 0, 0, 
+130498, 139, 68, 130498, 89923, 106411, 34628, 21043, 1440, 469, 0, 0, 
+130498, 140, 68, 130498, 89923, 53205, 34628, 21043, 1440, 938, 1, 0, 
+131649, 140, 70, 131649, 90536, 53205, 35438, 21043, 1440, 960, 1, 0, 
+131649, 141, 70, 131649, 90536, 53205, 35438, 21043, 1440, 960, 2, 0, 
+132800, 141, 72, 132800, 92225, 53205, 36080, 21043, 1440, 977, 2, 0, 
+132800, 142, 72, 132800, 92225, 53205, 36080, 21043, 1440, 977, 3, 0, 
+133951, 142, 75, 133951, 92821, 53205, 36711, 21043, 1440, 994, 3, 0, 
+133951, 143, 75, 133951, 92821, 53205, 36711, 21043, 1440, 994, 4, 0, 
+133951, 144, 75, 133951, 92821, 53205, 36711, 21043, 1440, 994, 5, 0, 
+136253, 144, 79, 136253, 95108, 53205, 37265, 21043, 1440, 1009, 5, 0, 
+136450, 145, 79, 136253, 95108, 53205, 37265, 21043, 1440, 1009, 6, 0, 
+136450, 146, 79, 136253, 95108, 53205, 37265, 21043, 1440, 1009, 7, 0, 
+138555, 146, 84, 138555, 99131, 53205, 37534, 21043, 1440, 1016, 7, 0, 
+139054, 147, 84, 138555, 99131, 53205, 37534, 21043, 1440, 1016, 8, 0, 
+139054, 148, 84, 138555, 99131, 53205, 37534, 21043, 1440, 1016, 9, 0, 
+139054, 149, 84, 138555, 99131, 53205, 37534, 21043, 1440, 1016, 10, 0, 
+140857, 149, 88, 140857, 101433, 53205, 37770, 21043, 1440, 1023, 10, 0, 
+141622, 150, 88, 140857, 101433, 53205, 37770, 21043, 1440, 1023, 11, 0, 
+141622, 151, 88, 140857, 101433, 53205, 37770, 21043, 1440, 1023, 12, 0, 
+143159, 151, 92, 143159, 103735, 53205, 37976, 21043, 1440, 1028, 12, 0, 
+144156, 152, 92, 143159, 103735, 53205, 37976, 21043, 1440, 1028, 13, 0, 
+144156, 153, 92, 143159, 103735, 53205, 37976, 21043, 1440, 1028, 14, 0, 
+145461, 153, 96, 145461, 106037, 53205, 38157, 21043, 1440, 1033, 14, 0, 
+146661, 154, 96, 145461, 106037, 53205, 38157, 21043, 1440, 1033, 15, 0, 
+146661, 155, 96, 145461, 106037, 53205, 38157, 21043, 1440, 1033, 16, 0, 
+147572, 155, 100, 147572, 108339, 53205, 38291, 21043, 1440, 1037, 16, 0, 
+149114, 156, 100, 147572, 108339, 53205, 38291, 21043, 1440, 1037, 17, 0, 
+149114, 157, 100, 147572, 108339, 53205, 38291, 21043, 1440, 1037, 18, 0, 
+149874, 157, 102, 149874, 115535, 53205, 37797, 21043, 1440, 1023, 18, 0, 
+152176, 157, 104, 152176, 115535, 54666, 37653, 21043, 1440, 992, 18, 0, 
+154478, 157, 106, 154478, 115535, 54741, 37814, 21043, 1440, 995, 18, 0, 
+156782, 157, 115, 156782, 116686, 54816, 38099, 21043, 1440, 1001, 18, 0, 
+157935, 157, 119, 157935, 118988, 54853, 38205, 21043, 1440, 1003, 18, 0, 
+158515, 158, 119, 157935, 118988, 27426, 38205, 21043, 1440, 2006, 19, 0, 
+158515, 159, 119, 157935, 118988, 27426, 38205, 21043, 1440, 2006, 20, 0, 
+158515, 160, 119, 157935, 118988, 27426, 38205, 21043, 1440, 2006, 21, 0, 
+158515, 161, 119, 157935, 118988, 27426, 38205, 21043, 1440, 2006, 22, 0, 
+158515, 162, 119, 157935, 118988, 27426, 38205, 21043, 1440, 2006, 23, 0, 
+158515, 163, 119, 157935, 118988, 27426, 38205, 21043, 1440, 2006, 24, 0, 
+158515, 164, 119, 157935, 118988, 27426, 38205, 21043, 1440, 2006, 25, 0, 
+159666, 165, 119, 157935, 118988, 27426, 38205, 21043, 1440, 2006, 26, 0, 
+159666, 166, 119, 157935, 118988, 27426, 38205, 21043, 1440, 2006, 27, 0, 
+159666, 167, 119, 157935, 118988, 27426, 38205, 21043, 1440, 2006, 28, 0, 
+160238, 167, 123, 160238, 121290, 27426, 38297, 21043, 1440, 2011, 28, 0, 
+162072, 168, 123, 160238, 121290, 27426, 38297, 21043, 1440, 2011, 29, 0, 
+162072, 169, 123, 160238, 121290, 27426, 38297, 21043, 1440, 2011, 30, 0, 
+162542, 169, 127, 162542, 123592, 27426, 38378, 21043, 1440, 2016, 30, 0, 
+164465, 170, 127, 162542, 123592, 27426, 38378, 21043, 1440, 2016, 31, 0, 
+164465, 171, 127, 162542, 123592, 27426, 38378, 21043, 1440, 2016, 32, 0, 
+164845, 171, 131, 164845, 125894, 27426, 38449, 21043, 1440, 2019, 32, 0, 
+166847, 172, 131, 164845, 125894, 27426, 38449, 21043, 1440, 2019, 33, 0, 
+166847, 173, 131, 164845, 125894, 27426, 38449, 21043, 1440, 2019, 34, 0, 
+167149, 173, 135, 167149, 128196, 27426, 38512, 21043, 1440, 2023, 34, 0, 
+169220, 174, 135, 167149, 128196, 27426, 38512, 21043, 1440, 2023, 35, 0, 
+169220, 175, 135, 167149, 128196, 27426, 38512, 21043, 1440, 2023, 36, 0, 
+169453, 175, 139, 169453, 130498, 27426, 38567, 21043, 1440, 2025, 36, 0, 
+171583, 176, 139, 169453, 130498, 27426, 38567, 21043, 1440, 2025, 37, 0, 
+171583, 177, 139, 169453, 130498, 27426, 38567, 21043, 1440, 2025, 38, 0, 
+171755, 177, 141, 171755, 132800, 27426, 38615, 21043, 1440, 2028, 38, 0, 
+174057, 177, 143, 174057, 133951, 27426, 38801, 21043, 1440, 2038, 38, 0, 
+176359, 177, 145, 176359, 136450, 27426, 38939, 21043, 1440, 2045, 38, 0, 
+178661, 177, 147, 178661, 139054, 27426, 39022, 21043, 1440, 2049, 38, 0, 
+180963, 177, 149, 180963, 141622, 28921, 39061, 21043, 1440, 1945, 38, 0, 
+183265, 177, 151, 183265, 144156, 29062, 39067, 21043, 1440, 1936, 38, 0, 
+185567, 177, 153, 185567, 146661, 29203, 39047, 21043, 1440, 1926, 38, 0, 
+187869, 177, 155, 187869, 149114, 29343, 39011, 21043, 1440, 1915, 38, 0, 
+189007, 177, 155, 187869, 149114, 29343, 39011, 21043, 1440, 1915, 38, 0, 
+189007, 178, 155, 187869, 149114, 29343, 39011, 21043, 1440, 1915, 38, 0, 
+190171, 178, 157, 190171, 158515, 29483, 38092, 21043, 1440, 1861, 38, 0, 
+190171, 179, 157, 190171, 158515, 29483, 38092, 21043, 1440, 1861, 38, 0, 
+190171, 180, 157, 190171, 158515, 29483, 38092, 21043, 1440, 1861, 38, 0, 
+192473, 180, 159, 192473, 158515, 29622, 37576, 21043, 1440, 1827, 38, 0, 
+192473, 181, 159, 192473, 158515, 29622, 37576, 21043, 1440, 1827, 38, 0, 
+192473, 182, 159, 192473, 158515, 29622, 37576, 21043, 1440, 1827, 38, 0, 
+194775, 182, 161, 194775, 158515, 29760, 37412, 21043, 1440, 1811, 38, 0, 
+194775, 183, 161, 194775, 158515, 29760, 37412, 21043, 1440, 1811, 38, 0, 
+194775, 184, 161, 194775, 158515, 29760, 37412, 21043, 1440, 1811, 38, 0, 
+197077, 184, 163, 197077, 158515, 29898, 37555, 21043, 1440, 1809, 38, 0, 
+197077, 185, 163, 197077, 158515, 29898, 37555, 21043, 1440, 1809, 38, 0, 
+197077, 186, 163, 197077, 158515, 29898, 37555, 21043, 1440, 1809, 38, 0, 
+199379, 186, 165, 199379, 159666, 30035, 37824, 21043, 1440, 1814, 38, 0, 
+199379, 187, 165, 199379, 159666, 30035, 37824, 21043, 1440, 1814, 38, 0, 
+199379, 188, 165, 199379, 159666, 30035, 37824, 21043, 1440, 1814, 38, 0, 
+201681, 188, 167, 201681, 162072, 30171, 38047, 21043, 1440, 1816, 38, 0, 
+201681, 189, 167, 201681, 162072, 30171, 38047, 21043, 1440, 1816, 38, 0, 
+201681, 190, 167, 201681, 162072, 30171, 38047, 21043, 1440, 1816, 38, 0, 
+203983, 190, 169, 203983, 164465, 30307, 38230, 21043, 1440, 1817, 38, 0, 
+203983, 191, 169, 203983, 164465, 30307, 38230, 21043, 1440, 1817, 38, 0, 
+203983, 192, 169, 203983, 164465, 30307, 38230, 21043, 1440, 1817, 38, 0, 
+205800, 193, 169, 203983, 164465, 30307, 38230, 21043, 1440, 1817, 38, 0, 
+206285, 193, 171, 206285, 166847, 30442, 38381, 21043, 1440, 1816, 38, 0, 
+206285, 194, 171, 206285, 166847, 30442, 38381, 21043, 1440, 1816, 38, 0, 
+208101, 195, 171, 206285, 166847, 30442, 38381, 21043, 1440, 1816, 38, 0, 
+208587, 195, 173, 208587, 169220, 30577, 38504, 21043, 1440, 1814, 38, 0, 
+208587, 196, 173, 208587, 169220, 30577, 38504, 21043, 1440, 1814, 38, 0, 
+210401, 197, 173, 208587, 169220, 30577, 38504, 21043, 1440, 1814, 38, 0, 
+210889, 197, 175, 210889, 171583, 30711, 38604, 21043, 1440, 1811, 38, 0, 
+210889, 198, 175, 210889, 171583, 30711, 38604, 21043, 1440, 1811, 38, 0, 
+212054, 198, 177, 212054, 189007, 30778, 36660, 21043, 1440, 1716, 38, 0, 
+212054, 199, 177, 212054, 189007, 30778, 36660, 21043, 1440, 1716, 38, 0, 
+213770, 200, 177, 212054, 189007, 30778, 36660, 21043, 1440, 1716, 38, 0, 
+214356, 200, 179, 214356, 190171, 30912, 35101, 21043, 1440, 1636, 38, 0, 
+214356, 201, 179, 214356, 190171, 30912, 35101, 21043, 1440, 1636, 38, 0, 
+215992, 202, 179, 214356, 190171, 30912, 35101, 21043, 1440, 1636, 38, 0, 
+216658, 202, 181, 216658, 192473, 31044, 33737, 21043, 1440, 1565, 38, 0, 
+216658, 203, 181, 216658, 192473, 31044, 33737, 21043, 1440, 1565, 38, 0, 
+218223, 204, 181, 216658, 192473, 31044, 33737, 21043, 1440, 1565, 38, 0, 
+218960, 204, 183, 218960, 194775, 31176, 32543, 21043, 1440, 1504, 38, 0, 
+218960, 205, 183, 218960, 194775, 31176, 32543, 21043, 1440, 1504, 38, 0, 
+220464, 206, 183, 218960, 194775, 31176, 32543, 21043, 1440, 1504, 38, 0, 
+221262, 206, 185, 221262, 197077, 31307, 31499, 21043, 1440, 1449, 38, 0, 
+221262, 207, 185, 221262, 197077, 31307, 31499, 21043, 1440, 1449, 38, 0, 
+222711, 208, 185, 221262, 197077, 31307, 31499, 21043, 1440, 1449, 38, 0, 
+223564, 208, 187, 223564, 199379, 31438, 30585, 21043, 1440, 1401, 38, 0, 
+223564, 209, 187, 223564, 199379, 31438, 30585, 21043, 1440, 1401, 38, 0, 
+224965, 210, 187, 223564, 199379, 31438, 30585, 21043, 1440, 1401, 38, 0, 
+225866, 210, 189, 225866, 201681, 31569, 29785, 21043, 1440, 1359, 38, 0, 
+225866, 211, 189, 225866, 201681, 31569, 29785, 21043, 1440, 1359, 38, 0, 
+227225, 212, 189, 225866, 201681, 31569, 29785, 21043, 1440, 1359, 38, 0, 
+228168, 212, 191, 228168, 203983, 31698, 29085, 21043, 1440, 1322, 38, 0, 
+228168, 213, 191, 228168, 203983, 31698, 29085, 21043, 1440, 1322, 38, 0, 
+229490, 214, 191, 228168, 203983, 31698, 29085, 21043, 1440, 1322, 38, 0, 
+229490, 215, 191, 228168, 203983, 31698, 29085, 21043, 1440, 1322, 38, 0, 
+230470, 215, 193, 230470, 206285, 31828, 28473, 21043, 1440, 1289, 38, 0, 
+230470, 216, 193, 230470, 206285, 31828, 28473, 21043, 1440, 1289, 38, 0, 
+231759, 217, 193, 230470, 206285, 31828, 28473, 21043, 1440, 1289, 38, 0, 
+232772, 217, 195, 232772, 208587, 31956, 27937, 21043, 1440, 1259, 38, 0, 
+232772, 218, 195, 232772, 208587, 31956, 27937, 21043, 1440, 1259, 38, 0, 
+234031, 219, 195, 232772, 208587, 31956, 27937, 21043, 1440, 1259, 38, 0, 
+235074, 219, 197, 235074, 210889, 32085, 27468, 21043, 1440, 1233, 38, 0, 
+235074, 220, 197, 235074, 210889, 32085, 27468, 21043, 1440, 1233, 38, 0, 
+236307, 221, 197, 235074, 210889, 32085, 27468, 21043, 1440, 1233, 38, 0, 
+237376, 221, 199, 237376, 213770, 32212, 26986, 21043, 1440, 1207, 38, 0, 
+237376, 222, 199, 237376, 213770, 32212, 26986, 21043, 1440, 1207, 38, 0, 
+238583, 223, 199, 237376, 213770, 32212, 26986, 21043, 1440, 1207, 38, 0, 
+239678, 223, 201, 239678, 215992, 32339, 26574, 21043, 1440, 1184, 38, 0, 
+239678, 224, 201, 239678, 215992, 32339, 26574, 21043, 1440, 1184, 38, 0, 
+240862, 225, 201, 239678, 215992, 32339, 26574, 21043, 1440, 1184, 38, 0, 
+241980, 225, 203, 241980, 218223, 32466, 26222, 21043, 1440, 1164, 38, 0, 
+241980, 226, 203, 241980, 218223, 32466, 26222, 21043, 1440, 1164, 38, 0, 
+243144, 227, 203, 241980, 218223, 32466, 26222, 21043, 1440, 1164, 38, 0, 
+244282, 227, 205, 244282, 220464, 32592, 25922, 21043, 1440, 1146, 38, 0, 
+244282, 228, 205, 244282, 220464, 32592, 25922, 21043, 1440, 1146, 38, 0, 
+245428, 229, 205, 244282, 220464, 32592, 25922, 21043, 1440, 1146, 38, 0, 
+246584, 229, 207, 246584, 222711, 32718, 25666, 21043, 1440, 1130, 38, 0, 
+246584, 230, 207, 246584, 222711, 32718, 25666, 21043, 1440, 1130, 38, 0, 
+246584, 231, 207, 246584, 222711, 32718, 25666, 21043, 1440, 1130, 38, 0, 
+248886, 231, 209, 248886, 224965, 32843, 25448, 21043, 1440, 1116, 38, 0, 
+248886, 232, 209, 248886, 224965, 32843, 25448, 21043, 1440, 1116, 38, 0, 
+248886, 233, 209, 248886, 224965, 32843, 25448, 21043, 1440, 1116, 38, 0, 
+251188, 233, 211, 251188, 227225, 32968, 25263, 21043, 1440, 1104, 38, 0, 
+251188, 234, 211, 251188, 227225, 32968, 25263, 21043, 1440, 1104, 38, 0, 
+251188, 235, 211, 251188, 227225, 32968, 25263, 21043, 1440, 1104, 38, 0, 
+253490, 235, 213, 253490, 229490, 33092, 25106, 21043, 1440, 1093, 38, 0, 
+253490, 236, 213, 253490, 229490, 33092, 25106, 21043, 1440, 1093, 38, 0, 
+253490, 237, 213, 253490, 229490, 33092, 25106, 21043, 1440, 1093, 38, 0, 
+255792, 237, 215, 255792, 230470, 33216, 25133, 21043, 1440, 1090, 38, 0, 
+255792, 238, 215, 255792, 230470, 33216, 25133, 21043, 1440, 1090, 38, 0, 
+255792, 239, 215, 255792, 230470, 33216, 25133, 21043, 1440, 1090, 38, 0, 
+255792, 240, 215, 255792, 230470, 33216, 25133, 21043, 1440, 1090, 38, 0, 
+258094, 240, 217, 258094, 232772, 33339, 25156, 21043, 1440, 1087, 38, 0, 
+258094, 241, 217, 258094, 232772, 33339, 25156, 21043, 1440, 1087, 38, 0, 
+258094, 242, 217, 258094, 232772, 33339, 25156, 21043, 1440, 1087, 38, 0, 
+260396, 242, 219, 260396, 235074, 33462, 25176, 21043, 1440, 1084, 38, 0, 
+260396, 243, 219, 260396, 235074, 33462, 25176, 21043, 1440, 1084, 38, 0, 
+260396, 244, 219, 260396, 235074, 33462, 25176, 21043, 1440, 1084, 38, 0, 
+262698, 244, 221, 262698, 237376, 33585, 25194, 21043, 1440, 1081, 38, 0, 
+262698, 245, 221, 262698, 237376, 33585, 25194, 21043, 1440, 1081, 38, 0, 
+262698, 246, 221, 262698, 237376, 33585, 25194, 21043, 1440, 1081, 38, 0, 
+265000, 246, 223, 265000, 239678, 33707, 25210, 21043, 1440, 1077, 38, 0, 
+265000, 247, 223, 265000, 239678, 33707, 25210, 21043, 1440, 1077, 38, 0, 
+265000, 248, 223, 265000, 239678, 33707, 25210, 21043, 1440, 1077, 38, 0, 
+267302, 248, 225, 267302, 241980, 33828, 25224, 21043, 1440, 1074, 38, 0, 
+267302, 249, 225, 267302, 241980, 33828, 25224, 21043, 1440, 1074, 38, 0, 
+267302, 250, 225, 267302, 241980, 33828, 25224, 21043, 1440, 1074, 38, 0, 
+269604, 250, 227, 269604, 244282, 33949, 25236, 21043, 1440, 1071, 38, 0, 
+269604, 251, 227, 269604, 244282, 33949, 25236, 21043, 1440, 1071, 38, 0, 
+269604, 252, 227, 269604, 244282, 33949, 25236, 21043, 1440, 1071, 38, 0, 
+271906, 252, 229, 271906, 246584, 34070, 25246, 21043, 1440, 1068, 38, 0, 
+271906, 253, 229, 271906, 246584, 34070, 25246, 21043, 1440, 1068, 38, 0, 
+271906, 254, 229, 271906, 246584, 34070, 25246, 21043, 1440, 1068, 38, 0, 
+274208, 254, 231, 274208, 248886, 34190, 25255, 21043, 1440, 1064, 38, 0, 
+274208, 255, 231, 274208, 248886, 34190, 25255, 21043, 1440, 1064, 38, 0, 
+274208, 256, 231, 274208, 248886, 34190, 25255, 21043, 1440, 1064, 38, 0, 
+276510, 256, 233, 276510, 251188, 34310, 25263, 21043, 1440, 1061, 38, 0, 
+276510, 257, 233, 276510, 251188, 34310, 25263, 21043, 1440, 1061, 38, 0, 
+276510, 258, 233, 276510, 251188, 34310, 25263, 21043, 1440, 1061, 38, 0, 
+278812, 258, 235, 278812, 253490, 34430, 25270, 21043, 1440, 1057, 38, 0, 
+278812, 259, 235, 278812, 253490, 34430, 25270, 21043, 1440, 1057, 38, 0, 
+278812, 260, 235, 278812, 253490, 34430, 25270, 21043, 1440, 1057, 38, 0, 
+281114, 260, 237, 281114, 255792, 34549, 25276, 21043, 1440, 1054, 38, 0, 
+281114, 261, 237, 281114, 255792, 34549, 25276, 21043, 1440, 1054, 38, 0, 
+281114, 262, 237, 281114, 255792, 34549, 25276, 21043, 1440, 1054, 38, 0, 
+283416, 262, 239, 283416, 255792, 34667, 25569, 21043, 1440, 1063, 38, 0, 
+283416, 263, 239, 283416, 255792, 34667, 25569, 21043, 1440, 1063, 38, 0, 
+283416, 264, 239, 283416, 255792, 34667, 25569, 21043, 1440, 1063, 38, 0, 
+283416, 265, 239, 283416, 255792, 34667, 25569, 21043, 1440, 1063, 38, 0, 
+285718, 265, 241, 285718, 258094, 34785, 25825, 21043, 1440, 1070, 38, 0, 
+285718, 266, 241, 285718, 258094, 34785, 25825, 21043, 1440, 1070, 38, 0, 
+285718, 267, 241, 285718, 258094, 34785, 25825, 21043, 1440, 1070, 38, 0, 
+288020, 267, 243, 288020, 260396, 34903, 26049, 21043, 1440, 1075, 38, 0, 
+288020, 268, 243, 288020, 260396, 34903, 26049, 21043, 1440, 1075, 38, 0, 
+288020, 269, 243, 288020, 260396, 34903, 26049, 21043, 1440, 1075, 38, 0, 
+290322, 269, 245, 290322, 262698, 35021, 26245, 21043, 1440, 1080, 38, 0, 
+290322, 270, 245, 290322, 262698, 35021, 26245, 21043, 1440, 1080, 38, 0, 
+290322, 271, 245, 290322, 262698, 35021, 26245, 21043, 1440, 1080, 38, 0, 
+292624, 271, 247, 292624, 265000, 35138, 26417, 21043, 1440, 1083, 38, 0, 
+292624, 272, 247, 292624, 265000, 35138, 26417, 21043, 1440, 1083, 38, 0, 
+292624, 273, 247, 292624, 265000, 35138, 26417, 21043, 1440, 1083, 38, 0, 
+294926, 273, 249, 294926, 267302, 35254, 26567, 21043, 1440, 1086, 38, 0, 
+294926, 274, 249, 294926, 267302, 35254, 26567, 21043, 1440, 1086, 38, 0, 
+294926, 275, 249, 294926, 267302, 35254, 26567, 21043, 1440, 1086, 38, 0, 
+297228, 275, 251, 297228, 269604, 35371, 26699, 21043, 1440, 1087, 38, 0, 
+297228, 276, 251, 297228, 269604, 35371, 26699, 21043, 1440, 1087, 38, 0, 
+297228, 277, 251, 297228, 269604, 35371, 26699, 21043, 1440, 1087, 38, 0, 
+299530, 277, 253, 299530, 271906, 35486, 26814, 21043, 1440, 1089, 38, 0, 
+299530, 278, 253, 299530, 271906, 35486, 26814, 21043, 1440, 1089, 38, 0, 
+299530, 279, 253, 299530, 271906, 35486, 26814, 21043, 1440, 1089, 38, 0, 
+301832, 279, 255, 301832, 274208, 35602, 26915, 21043, 1440, 1089, 38, 0, 
+301832, 280, 255, 301832, 274208, 35602, 26915, 21043, 1440, 1089, 38, 0, 
+301832, 281, 255, 301832, 274208, 35602, 26915, 21043, 1440, 1089, 38, 0, 
+304134, 281, 257, 304134, 276510, 35717, 27003, 21043, 1440, 1089, 38, 0, 
+304134, 282, 257, 304134, 276510, 35717, 27003, 21043, 1440, 1089, 38, 0, 
+304134, 283, 257, 304134, 276510, 35717, 27003, 21043, 1440, 1089, 38, 0, 
+306436, 283, 259, 306436, 278812, 35832, 27080, 21043, 1440, 1089, 38, 0, 
+306436, 284, 259, 306436, 278812, 35832, 27080, 21043, 1440, 1089, 38, 0, 
+306436, 285, 259, 306436, 278812, 35832, 27080, 21043, 1440, 1089, 38, 0, 
+308738, 285, 261, 308738, 281114, 35946, 27148, 21043, 1440, 1088, 38, 0, 
+308738, 286, 261, 308738, 281114, 35946, 27148, 21043, 1440, 1088, 38, 0, 
+308738, 287, 261, 308738, 281114, 35946, 27148, 21043, 1440, 1088, 38, 0, 
+311040, 287, 263, 311040, 283416, 36060, 27207, 21043, 1440, 1087, 38, 0, 
+311040, 288, 263, 311040, 283416, 36060, 27207, 21043, 1440, 1087, 38, 0, 
+311040, 289, 263, 311040, 283416, 36060, 27207, 21043, 1440, 1087, 38, 0, 
+311040, 290, 263, 311040, 283416, 36060, 27207, 21043, 1440, 1087, 38, 0, 
+313342, 290, 265, 313342, 285718, 36174, 27259, 21043, 1440, 1086, 38, 0, 
+313342, 291, 265, 313342, 285718, 36174, 27259, 21043, 1440, 1086, 38, 0, 
+313342, 292, 265, 313342, 285718, 36174, 27259, 21043, 1440, 1086, 38, 0, 
+315644, 292, 267, 315644, 288020, 36287, 27304, 21043, 1440, 1084, 38, 0, 
+315644, 293, 267, 315644, 288020, 36287, 27304, 21043, 1440, 1084, 38, 0, 
+315644, 294, 267, 315644, 288020, 36287, 27304, 21043, 1440, 1084, 38, 0, 
+317946, 294, 269, 317946, 290322, 36400, 27344, 21043, 1440, 1082, 38, 0, 
+317946, 295, 269, 317946, 290322, 36400, 27344, 21043, 1440, 1082, 38, 0, 
+317946, 296, 269, 317946, 290322, 36400, 27344, 21043, 1440, 1082, 38, 0, 
+320248, 296, 271, 320248, 292624, 36512, 27379, 21043, 1440, 1080, 38, 0, 
+320248, 297, 271, 320248, 292624, 36512, 27379, 21043, 1440, 1080, 38, 0, 
+320248, 298, 271, 320248, 292624, 36512, 27379, 21043, 1440, 1080, 38, 0, 
+322550, 298, 273, 322550, 294926, 36625, 27409, 21043, 1440, 1078, 38, 0, 
+322550, 299, 273, 322550, 294926, 36625, 27409, 21043, 1440, 1078, 38, 0, 
+322550, 300, 273, 322550, 294926, 36625, 27409, 21043, 1440, 1078, 38, 0, 
+324852, 300, 275, 324852, 297228, 36737, 27435, 21043, 1440, 1076, 38, 0, 
+324852, 301, 275, 324852, 297228, 36737, 27435, 21043, 1440, 1076, 38, 0, 
+324852, 302, 275, 324852, 297228, 36737, 27435, 21043, 1440, 1076, 38, 0, 
+327154, 302, 277, 327154, 299530, 36848, 27458, 21043, 1440, 1074, 38, 0, 
+327154, 303, 277, 327154, 299530, 36848, 27458, 21043, 1440, 1074, 38, 0, 
+327154, 304, 277, 327154, 299530, 36848, 27458, 21043, 1440, 1074, 38, 0, 
+329456, 304, 279, 329456, 301832, 36959, 27478, 21043, 1440, 1071, 38, 0, 
+329456, 305, 279, 329456, 301832, 36959, 27478, 21043, 1440, 1071, 38, 0, 
+329456, 306, 279, 329456, 301832, 36959, 27478, 21043, 1440, 1071, 38, 0, 
+331758, 306, 281, 331758, 304134, 37070, 27496, 21043, 1440, 1069, 38, 0, 
+331758, 307, 281, 331758, 304134, 37070, 27496, 21043, 1440, 1069, 38, 0, 
+331758, 308, 281, 331758, 304134, 37070, 27496, 21043, 1440, 1069, 38, 0, 
+334060, 308, 283, 334060, 306436, 37181, 27512, 21043, 1440, 1066, 38, 0, 
+334060, 309, 283, 334060, 306436, 37181, 27512, 21043, 1440, 1066, 38, 0, 
+334060, 310, 283, 334060, 306436, 37181, 27512, 21043, 1440, 1066, 38, 0, 
+336362, 310, 285, 336362, 308738, 37291, 27526, 21043, 1440, 1063, 38, 0, 
+336362, 311, 285, 336362, 308738, 37291, 27526, 21043, 1440, 1063, 38, 0, 
+336362, 312, 285, 336362, 308738, 37291, 27526, 21043, 1440, 1063, 38, 0, 
+338664, 312, 287, 338664, 311040, 37401, 27538, 21043, 1440, 1061, 38, 0, 
+338664, 313, 287, 338664, 311040, 37401, 27538, 21043, 1440, 1061, 38, 0, 
+338664, 314, 287, 338664, 311040, 37401, 27538, 21043, 1440, 1061, 38, 0, 
+340966, 314, 289, 340966, 311040, 37510, 27836, 21043, 1440, 1069, 38, 0, 
+340966, 315, 289, 340966, 311040, 37510, 27836, 21043, 1440, 1069, 38, 0, 
+340966, 316, 289, 340966, 311040, 37510, 27836, 21043, 1440, 1069, 38, 0, 
+340966, 317, 289, 340966, 311040, 37510, 27836, 21043, 1440, 1069, 38, 0, 
+343268, 317, 291, 343268, 313342, 37620, 28097, 21043, 1440, 1076, 38, 0, 
+343268, 318, 291, 343268, 313342, 37620, 28097, 21043, 1440, 1076, 38, 0, 
+343268, 319, 291, 343268, 313342, 37620, 28097, 21043, 1440, 1076, 38, 0, 
+345570, 319, 293, 345570, 315644, 37729, 28325, 21043, 1440, 1082, 38, 0, 
+345570, 320, 293, 345570, 315644, 37729, 28325, 21043, 1440, 1082, 38, 0, 
+345570, 321, 293, 345570, 315644, 37729, 28325, 21043, 1440, 1082, 38, 0, 
+347872, 321, 295, 347872, 317946, 37837, 28525, 21043, 1440, 1086, 38, 0, 
+347872, 322, 295, 347872, 317946, 37837, 28525, 21043, 1440, 1086, 38, 0, 
+347872, 323, 295, 347872, 317946, 37837, 28525, 21043, 1440, 1086, 38, 0, 
+350174, 323, 297, 350174, 320248, 37946, 28700, 21043, 1440, 1090, 38, 0, 
+350174, 324, 297, 350174, 320248, 37946, 28700, 21043, 1440, 1090, 38, 0, 
+350174, 325, 297, 350174, 320248, 37946, 28700, 21043, 1440, 1090, 38, 0, 
+352476, 325, 299, 352476, 322550, 38054, 28853, 21043, 1440, 1092, 38, 0, 
+352476, 326, 299, 352476, 322550, 38054, 28853, 21043, 1440, 1092, 38, 0, 
+352476, 327, 299, 352476, 322550, 38054, 28853, 21043, 1440, 1092, 38, 0, 
+354778, 327, 301, 354778, 324852, 38161, 28987, 21043, 1440, 1094, 38, 0, 
+354778, 328, 301, 354778, 324852, 38161, 28987, 21043, 1440, 1094, 38, 0, 
+354778, 329, 301, 354778, 324852, 38161, 28987, 21043, 1440, 1094, 38, 0, 
+357080, 329, 303, 357080, 327154, 38269, 29104, 21043, 1440, 1096, 38, 0, 
+357080, 330, 303, 357080, 327154, 38269, 29104, 21043, 1440, 1096, 38, 0, 
+357080, 331, 303, 357080, 327154, 38269, 29104, 21043, 1440, 1096, 38, 0, 
+359382, 331, 305, 359382, 329456, 38376, 29206, 21043, 1440, 1096, 38, 0, 
+359382, 332, 305, 359382, 329456, 38376, 29206, 21043, 1440, 1096, 38, 0, 
+359382, 333, 305, 359382, 329456, 38376, 29206, 21043, 1440, 1096, 38, 0, 
+361684, 333, 307, 361684, 331758, 38483, 29296, 21043, 1440, 1097, 38, 0, 
+361684, 334, 307, 361684, 331758, 38483, 29296, 21043, 1440, 1097, 38, 0, 
+361684, 335, 307, 361684, 331758, 38483, 29296, 21043, 1440, 1097, 38, 0, 
+363986, 335, 309, 363986, 334060, 38589, 29374, 21043, 1440, 1097, 38, 0, 
+363986, 336, 309, 363986, 334060, 38589, 29374, 21043, 1440, 1097, 38, 0, 
+363986, 337, 309, 363986, 334060, 38589, 29374, 21043, 1440, 1097, 38, 0, 
+366288, 337, 311, 366288, 336362, 38695, 29443, 21043, 1440, 1096, 38, 0, 
+366288, 338, 311, 366288, 336362, 38695, 29443, 21043, 1440, 1096, 38, 0, 
+366288, 339, 311, 366288, 336362, 38695, 29443, 21043, 1440, 1096, 38, 0, 
+368590, 339, 313, 368590, 338664, 38801, 29503, 21043, 1440, 1095, 38, 0, 
+368590, 340, 313, 368590, 338664, 38801, 29503, 21043, 1440, 1095, 38, 0, 
+368590, 341, 313, 368590, 338664, 38801, 29503, 21043, 1440, 1095, 38, 0, 
+370892, 341, 315, 370892, 340966, 38907, 29555, 21043, 1440, 1094, 38, 0, 
+370892, 342, 315, 370892, 340966, 38907, 29555, 21043, 1440, 1094, 38, 0, 
+370892, 343, 315, 370892, 340966, 38907, 29555, 21043, 1440, 1094, 38, 0, 
+370892, 344, 315, 370892, 340966, 38907, 29555, 21043, 1440, 1094, 38, 0, 
+373194, 344, 317, 373194, 343268, 39012, 29601, 21043, 1440, 1093, 38, 0, 
+373194, 345, 317, 373194, 343268, 39012, 29601, 21043, 1440, 1093, 38, 0, 
+373194, 346, 317, 373194, 343268, 39012, 29601, 21043, 1440, 1093, 38, 0, 
+375496, 346, 319, 375496, 345570, 39117, 29641, 21043, 1440, 1092, 38, 0, 
+375496, 347, 319, 375496, 345570, 39117, 29641, 21043, 1440, 1092, 38, 0, 
+375496, 348, 319, 375496, 345570, 39117, 29641, 21043, 1440, 1092, 38, 0, 
+377798, 348, 321, 377798, 347872, 39222, 29676, 21043, 1440, 1090, 38, 0, 
+377798, 349, 321, 377798, 347872, 39222, 29676, 21043, 1440, 1090, 38, 0, 
+377798, 350, 321, 377798, 347872, 39222, 29676, 21043, 1440, 1090, 38, 0, 
+380100, 350, 323, 380100, 350174, 39326, 29707, 21043, 1440, 1088, 38, 0, 
+380100, 351, 323, 380100, 350174, 39326, 29707, 21043, 1440, 1088, 38, 0, 
+380100, 352, 323, 380100, 350174, 39326, 29707, 21043, 1440, 1088, 38, 0, 
+382402, 352, 325, 382402, 352476, 39431, 29734, 21043, 1440, 1086, 38, 0, 
+382402, 353, 325, 382402, 352476, 39431, 29734, 21043, 1440, 1086, 38, 0, 
+382402, 354, 325, 382402, 352476, 39431, 29734, 21043, 1440, 1086, 38, 0, 
+384704, 354, 327, 384704, 354778, 39535, 29758, 21043, 1440, 1084, 38, 0, 
+384704, 355, 327, 384704, 354778, 39535, 29758, 21043, 1440, 1084, 38, 0, 
+384704, 356, 327, 384704, 354778, 39535, 29758, 21043, 1440, 1084, 38, 0, 
+387006, 356, 329, 387006, 357080, 39638, 29779, 21043, 1440, 1082, 38, 0, 
+387006, 357, 329, 387006, 357080, 39638, 29779, 21043, 1440, 1082, 38, 0, 
+387006, 358, 329, 387006, 357080, 39638, 29779, 21043, 1440, 1082, 38, 0, 
+389308, 358, 331, 389308, 359382, 39742, 29797, 21043, 1440, 1080, 38, 0, 
+389308, 359, 331, 389308, 359382, 39742, 29797, 21043, 1440, 1080, 38, 0, 
+389308, 360, 331, 389308, 359382, 39742, 29797, 21043, 1440, 1080, 38, 0, 
+391610, 360, 333, 391610, 361684, 39845, 29813, 21043, 1440, 1078, 38, 0, 
+391610, 361, 333, 391610, 361684, 39845, 29813, 21043, 1440, 1078, 38, 0, 
+391610, 362, 333, 391610, 361684, 39845, 29813, 21043, 1440, 1078, 38, 0, 
+393912, 362, 335, 393912, 363986, 39948, 29827, 21043, 1440, 1076, 38, 0, 
+393912, 363, 335, 393912, 363986, 39948, 29827, 21043, 1440, 1076, 38, 0, 
+393912, 364, 335, 393912, 363986, 39948, 29827, 21043, 1440, 1076, 38, 0, 
+396214, 364, 337, 396214, 366288, 40050, 29839, 21043, 1440, 1073, 38, 0, 
+396214, 365, 337, 396214, 366288, 40050, 29839, 21043, 1440, 1073, 38, 0, 
+396214, 366, 337, 396214, 366288, 40050, 29839, 21043, 1440, 1073, 38, 0, 
+398516, 366, 339, 398516, 368590, 40153, 29849, 21043, 1440, 1071, 38, 0, 
+398516, 367, 339, 398516, 368590, 40153, 29849, 21043, 1440, 1071, 38, 0, 
+398516, 368, 339, 398516, 368590, 40153, 29849, 21043, 1440, 1071, 38, 0, 
+400818, 368, 341, 400818, 370892, 40255, 29858, 21043, 1440, 1069, 38, 0, 
+400818, 369, 341, 400818, 370892, 40255, 29858, 21043, 1440, 1069, 38, 0, 
+400818, 370, 341, 400818, 370892, 40255, 29858, 21043, 1440, 1069, 38, 0, 
+403120, 370, 343, 403120, 370892, 40356, 30154, 21043, 1440, 1076, 38, 0, 
+403120, 371, 343, 403120, 370892, 40356, 30154, 21043, 1440, 1076, 38, 0, 
+403120, 372, 343, 403120, 370892, 40356, 30154, 21043, 1440, 1076, 38, 0, 
+403120, 373, 343, 403120, 370892, 40356, 30154, 21043, 1440, 1076, 38, 0, 
+405422, 373, 345, 405422, 373194, 40458, 30413, 21043, 1440, 1083, 38, 0, 
+405422, 374, 345, 405422, 373194, 40458, 30413, 21043, 1440, 1083, 38, 0, 
+405422, 375, 345, 405422, 373194, 40458, 30413, 21043, 1440, 1083, 38, 0, 
+407724, 375, 347, 407724, 375496, 40559, 30639, 21043, 1440, 1088, 38, 0, 
+407724, 376, 347, 407724, 375496, 40559, 30639, 21043, 1440, 1088, 38, 0, 
+407724, 377, 347, 407724, 375496, 40559, 30639, 21043, 1440, 1088, 38, 0, 
+410026, 377, 349, 410026, 377798, 40660, 30837, 21043, 1440, 1093, 38, 0, 
+410026, 378, 349, 410026, 377798, 40660, 30837, 21043, 1440, 1093, 38, 0, 
+410026, 379, 349, 410026, 377798, 40660, 30837, 21043, 1440, 1093, 38, 0, 
+412328, 379, 351, 412328, 380100, 40761, 31010, 21043, 1440, 1096, 38, 0, 
+412328, 380, 351, 412328, 380100, 40761, 31010, 21043, 1440, 1096, 38, 0, 
+412328, 381, 351, 412328, 380100, 40761, 31010, 21043, 1440, 1096, 38, 0, 
+414630, 381, 353, 414630, 382402, 40862, 31162, 21043, 1440, 1099, 38, 0, 
+414630, 382, 353, 414630, 382402, 40862, 31162, 21043, 1440, 1099, 38, 0, 
+414630, 383, 353, 414630, 382402, 40862, 31162, 21043, 1440, 1099, 38, 0, 
+416932, 383, 355, 416932, 384704, 40962, 31295, 21043, 1440, 1101, 38, 0, 
+416932, 384, 355, 416932, 384704, 40962, 31295, 21043, 1440, 1101, 38, 0, 
+416932, 385, 355, 416932, 384704, 40962, 31295, 21043, 1440, 1101, 38, 0, 
+419234, 385, 357, 419234, 387006, 41062, 31411, 21043, 1440, 1102, 38, 0, 
+419234, 386, 357, 419234, 387006, 41062, 31411, 21043, 1440, 1102, 38, 0, 
+419234, 387, 357, 419234, 387006, 41062, 31411, 21043, 1440, 1102, 38, 0, 
+421536, 387, 359, 421536, 389308, 41162, 31513, 21043, 1440, 1103, 38, 0, 
+421536, 388, 359, 421536, 389308, 41162, 31513, 21043, 1440, 1103, 38, 0, 
+421536, 389, 359, 421536, 389308, 41162, 31513, 21043, 1440, 1103, 38, 0, 
+423838, 389, 361, 423838, 391610, 41261, 31602, 21043, 1440, 1103, 38, 0, 
+423838, 390, 361, 423838, 391610, 41261, 31602, 21043, 1440, 1103, 38, 0, 
+423838, 391, 361, 423838, 391610, 41261, 31602, 21043, 1440, 1103, 38, 0, 
+426140, 391, 363, 426140, 393912, 41361, 31680, 21043, 1440, 1103, 38, 0, 
+426140, 392, 363, 426140, 393912, 41361, 31680, 21043, 1440, 1103, 38, 0, 
+426140, 393, 363, 426140, 393912, 41361, 31680, 21043, 1440, 1103, 38, 0, 
+428442, 393, 365, 428442, 396214, 41460, 31748, 21043, 1440, 1103, 38, 0, 
+428442, 394, 365, 428442, 396214, 41460, 31748, 21043, 1440, 1103, 38, 0, 
+428442, 395, 365, 428442, 396214, 41460, 31748, 21043, 1440, 1103, 38, 0, 
+430744, 395, 367, 430744, 398516, 41559, 31808, 21043, 1440, 1103, 38, 0, 
+430744, 396, 367, 430744, 398516, 41559, 31808, 21043, 1440, 1103, 38, 0, 
+430744, 397, 367, 430744, 398516, 41559, 31808, 21043, 1440, 1103, 38, 0, 
+433046, 397, 369, 433046, 400818, 41657, 31860, 21043, 1440, 1102, 38, 0, 
+433046, 398, 369, 433046, 400818, 41657, 31860, 21043, 1440, 1102, 38, 0, 
+433046, 399, 369, 433046, 400818, 41657, 31860, 21043, 1440, 1102, 38, 0, 
+435348, 399, 371, 435348, 403120, 41756, 31906, 21043, 1440, 1101, 38, 0, 
+435348, 400, 371, 435348, 403120, 41756, 31906, 21043, 1440, 1101, 38, 0, 
+435348, 401, 371, 435348, 403120, 41756, 31906, 21043, 1440, 1101, 38, 0, 
+437650, 401, 373, 437650, 405422, 41854, 31946, 21043, 1440, 1100, 38, 0, 
+437650, 402, 373, 437650, 405422, 41854, 31946, 21043, 1440, 1100, 38, 0, 
+437650, 403, 373, 437650, 405422, 41854, 31946, 21043, 1440, 1100, 38, 0, 
+437650, 404, 373, 437650, 405422, 41854, 31946, 21043, 1440, 1100, 38, 0, 
+439952, 404, 375, 439952, 407724, 41952, 31981, 21043, 1440, 1098, 38, 0, 
+439952, 405, 375, 439952, 407724, 41952, 31981, 21043, 1440, 1098, 38, 0, 
+439952, 406, 375, 439952, 407724, 41952, 31981, 21043, 1440, 1098, 38, 0, 
+442254, 406, 377, 442254, 410026, 42050, 32011, 21043, 1440, 1097, 38, 0, 
+442254, 407, 377, 442254, 410026, 42050, 32011, 21043, 1440, 1097, 38, 0, 
+442254, 408, 377, 442254, 410026, 42050, 32011, 21043, 1440, 1097, 38, 0, 
+444556, 408, 379, 444556, 412328, 42147, 32038, 21043, 1440, 1095, 38, 0, 
+444556, 409, 379, 444556, 412328, 42147, 32038, 21043, 1440, 1095, 38, 0, 
+444556, 410, 379, 444556, 412328, 42147, 32038, 21043, 1440, 1095, 38, 0, 
+446858, 410, 381, 446858, 414630, 42244, 32061, 21043, 1440, 1093, 38, 0, 
+446858, 411, 381, 446858, 414630, 42244, 32061, 21043, 1440, 1093, 38, 0, 
+446858, 412, 381, 446858, 414630, 42244, 32061, 21043, 1440, 1093, 38, 0, 
+449160, 412, 383, 449160, 416932, 42341, 32081, 21043, 1440, 1092, 38, 0, 
+449160, 413, 383, 449160, 416932, 42341, 32081, 21043, 1440, 1092, 38, 0, 
+449160, 414, 383, 449160, 416932, 42341, 32081, 21043, 1440, 1092, 38, 0, 
+451462, 414, 385, 451462, 419234, 42438, 32099, 21043, 1440, 1090, 38, 0, 
+451462, 415, 385, 451462, 419234, 42438, 32099, 21043, 1440, 1090, 38, 0, 
+451462, 416, 385, 451462, 419234, 42438, 32099, 21043, 1440, 1090, 38, 0, 
+453764, 416, 387, 453764, 421536, 42535, 32115, 21043, 1440, 1088, 38, 0, 
+453764, 417, 387, 453764, 421536, 42535, 32115, 21043, 1440, 1088, 38, 0, 
+453764, 418, 387, 453764, 421536, 42535, 32115, 21043, 1440, 1088, 38, 0, 
+456066, 418, 389, 456066, 423838, 42631, 32129, 21043, 1440, 1086, 38, 0, 
+456066, 419, 389, 456066, 423838, 42631, 32129, 21043, 1440, 1086, 38, 0, 
+456066, 420, 389, 456066, 423838, 42631, 32129, 21043, 1440, 1086, 38, 0, 
+458368, 420, 391, 458368, 426140, 42727, 32141, 21043, 1440, 1084, 38, 0, 
+458368, 421, 391, 458368, 426140, 42727, 32141, 21043, 1440, 1084, 38, 0, 
+458368, 422, 391, 458368, 426140, 42727, 32141, 21043, 1440, 1084, 38, 0, 
+460670, 422, 393, 460670, 428442, 42823, 32151, 21043, 1440, 1082, 38, 0, 
+460670, 423, 393, 460670, 428442, 42823, 32151, 21043, 1440, 1082, 38, 0, 
+460670, 424, 393, 460670, 428442, 42823, 32151, 21043, 1440, 1082, 38, 0, 
+462972, 424, 395, 462972, 430744, 42919, 32160, 21043, 1440, 1080, 38, 0, 
+462972, 425, 395, 462972, 430744, 42919, 32160, 21043, 1440, 1080, 38, 0, 
+462972, 426, 395, 462972, 430744, 42919, 32160, 21043, 1440, 1080, 38, 0, 
+465274, 426, 397, 465274, 433046, 43014, 32168, 21043, 1440, 1077, 38, 0, 
+465274, 427, 397, 465274, 433046, 43014, 32168, 21043, 1440, 1077, 38, 0, 
+465274, 428, 397, 465274, 433046, 43014, 32168, 21043, 1440, 1077, 38, 0, 
+467576, 428, 399, 467576, 435348, 43110, 32175, 21043, 1440, 1075, 38, 0, 
+467576, 429, 399, 467576, 435348, 43110, 32175, 21043, 1440, 1075, 38, 0, 
+467576, 430, 399, 467576, 435348, 43110, 32175, 21043, 1440, 1075, 38, 0, 
+469878, 430, 401, 469878, 437650, 43205, 32181, 21043, 1440, 1073, 38, 0, 
+469878, 431, 401, 469878, 437650, 43205, 32181, 21043, 1440, 1073, 38, 0, 
+469878, 432, 401, 469878, 437650, 43205, 32181, 21043, 1440, 1073, 38, 0, 
+469878, 433, 401, 469878, 437650, 43205, 32181, 21043, 1440, 1073, 38, 0, 
+472180, 433, 403, 472180, 437650, 43300, 32474, 21043, 1440, 1080, 38, 0, 
+472180, 434, 403, 472180, 437650, 43300, 32474, 21043, 1440, 1080, 38, 0, 
+472180, 435, 403, 472180, 437650, 43300, 32474, 21043, 1440, 1080, 38, 0, 
+474482, 435, 405, 474482, 439952, 43394, 32731, 21043, 1440, 1087, 38, 0, 
+474482, 436, 405, 474482, 439952, 43394, 32731, 21043, 1440, 1087, 38, 0, 
+474482, 437, 405, 474482, 439952, 43394, 32731, 21043, 1440, 1087, 38, 0, 
+476784, 437, 407, 476784, 442254, 43489, 32955, 21043, 1440, 1092, 38, 0, 
+476784, 438, 407, 476784, 442254, 43489, 32955, 21043, 1440, 1092, 38, 0, 
+476784, 439, 407, 476784, 442254, 43489, 32955, 21043, 1440, 1092, 38, 0, 
+479086, 439, 409, 479086, 444556, 43583, 33151, 21043, 1440, 1096, 38, 0, 
+479086, 440, 409, 479086, 444556, 43583, 33151, 21043, 1440, 1096, 38, 0, 
+479086, 441, 409, 479086, 444556, 43583, 33151, 21043, 1440, 1096, 38, 0, 
+481388, 441, 411, 481388, 446858, 43677, 33323, 21043, 1440, 1099, 38, 0, 
+481388, 442, 411, 481388, 446858, 43677, 33323, 21043, 1440, 1099, 38, 0, 
+481388, 443, 411, 481388, 446858, 43677, 33323, 21043, 1440, 1099, 38, 0, 
+483690, 443, 413, 483690, 449160, 43771, 33473, 21043, 1440, 1102, 38, 0, 
+483690, 444, 413, 483690, 449160, 43771, 33473, 21043, 1440, 1102, 38, 0, 
+483690, 445, 413, 483690, 449160, 43771, 33473, 21043, 1440, 1102, 38, 0, 
+485992, 445, 415, 485992, 451462, 43864, 33605, 21043, 1440, 1104, 38, 0, 
+485992, 446, 415, 485992, 451462, 43864, 33605, 21043, 1440, 1104, 38, 0, 
+485992, 447, 415, 485992, 451462, 43864, 33605, 21043, 1440, 1104, 38, 0, 
+488294, 447, 417, 488294, 453764, 43958, 33720, 21043, 1440, 1105, 38, 0, 
+488294, 448, 417, 488294, 453764, 43958, 33720, 21043, 1440, 1105, 38, 0, 
+488294, 449, 417, 488294, 453764, 43958, 33720, 21043, 1440, 1105, 38, 0, 
+490596, 449, 419, 490596, 456066, 44051, 33821, 21043, 1440, 1106, 38, 0, 
+490596, 450, 419, 490596, 456066, 44051, 33821, 21043, 1440, 1106, 38, 0, 
+490596, 451, 419, 490596, 456066, 44051, 33821, 21043, 1440, 1106, 38, 0, 
+492898, 451, 421, 492898, 458368, 44144, 33909, 21043, 1440, 1107, 38, 0, 
+492898, 452, 421, 492898, 458368, 44144, 33909, 21043, 1440, 1107, 38, 0, 
+492898, 453, 421, 492898, 458368, 44144, 33909, 21043, 1440, 1107, 38, 0, 
+495200, 453, 423, 495200, 460670, 44237, 33986, 21043, 1440, 1107, 38, 0, 
+495200, 454, 423, 495200, 460670, 44237, 33986, 21043, 1440, 1107, 38, 0, 
+495200, 455, 423, 495200, 460670, 44237, 33986, 21043, 1440, 1107, 38, 0, 
+497502, 455, 425, 497502, 462972, 44330, 34054, 21043, 1440, 1107, 38, 0, 
+497502, 456, 425, 497502, 462972, 44330, 34054, 21043, 1440, 1107, 38, 0, 
+497502, 457, 425, 497502, 462972, 44330, 34054, 21043, 1440, 1107, 38, 0, 
+499804, 457, 427, 499804, 465274, 44422, 34113, 21043, 1440, 1106, 38, 0, 
+499804, 458, 427, 499804, 465274, 44422, 34113, 21043, 1440, 1106, 38, 0, 
+499804, 459, 427, 499804, 465274, 44422, 34113, 21043, 1440, 1106, 38, 0, 
+502106, 459, 429, 502106, 467576, 44514, 34165, 21043, 1440, 1106, 38, 0, 
+502106, 460, 429, 502106, 467576, 44514, 34165, 21043, 1440, 1106, 38, 0, 
+502106, 461, 429, 502106, 467576, 44514, 34165, 21043, 1440, 1106, 38, 0, 
+504408, 461, 431, 504408, 469878, 44607, 34210, 21043, 1440, 1105, 38, 0, 
+504408, 462, 431, 504408, 469878, 44607, 34210, 21043, 1440, 1105, 38, 0, 
+504408, 463, 431, 504408, 469878, 44607, 34210, 21043, 1440, 1105, 38, 0, 
+506710, 463, 433, 506710, 472180, 44698, 34250, 21043, 1440, 1104, 38, 0, 
+506710, 464, 433, 506710, 472180, 44698, 34250, 21043, 1440, 1104, 38, 0, 
+506710, 465, 433, 506710, 472180, 44698, 34250, 21043, 1440, 1104, 38, 0, 
+506710, 466, 433, 506710, 472180, 44698, 34250, 21043, 1440, 1104, 38, 0, 
+509012, 466, 435, 509012, 474482, 44790, 34285, 21043, 1440, 1103, 38, 0, 
+509012, 467, 435, 509012, 474482, 44790, 34285, 21043, 1440, 1103, 38, 0, 
+509012, 468, 435, 509012, 474482, 44790, 34285, 21043, 1440, 1103, 38, 0, 
+510163, 468, 435, 509012, 474482, 44790, 34285, 21043, 1440, 1103, 38, 0, 
+510163, 469, 435, 509012, 474482, 44790, 34285, 21043, 1440, 1103, 38, 0, 
+511314, 469, 437, 511314, 476784, 44882, 34315, 21043, 1440, 1101, 38, 0, 
+511314, 470, 437, 511314, 476784, 44882, 34315, 21043, 1440, 1101, 38, 0, 
+511314, 471, 437, 511314, 476784, 44882, 34315, 21043, 1440, 1101, 38, 0, 
+513616, 471, 439, 513616, 479086, 44973, 34341, 21043, 1440, 1100, 38, 0, 
+513616, 472, 439, 513616, 479086, 44973, 34341, 21043, 1440, 1100, 38, 0, 
+513616, 473, 439, 513616, 479086, 44973, 34341, 21043, 1440, 1100, 38, 0, 
+515918, 473, 441, 515918, 481388, 45064, 34364, 21043, 1440, 1099, 38, 0, 
+515918, 474, 441, 515918, 481388, 45064, 34364, 21043, 1440, 1099, 38, 0, 
+515918, 475, 441, 515918, 481388, 45064, 34364, 21043, 1440, 1099, 38, 0, 
+518220, 475, 443, 518220, 483690, 45155, 34384, 21043, 1440, 1097, 38, 0, 
+518220, 476, 443, 518220, 483690, 45155, 34384, 21043, 1440, 1097, 38, 0, 
+518220, 477, 443, 518220, 483690, 45155, 34384, 21043, 1440, 1097, 38, 0, 
+520522, 477, 445, 520522, 485992, 45246, 34402, 21043, 1440, 1095, 38, 0, 
+520522, 478, 445, 520522, 485992, 45246, 34402, 21043, 1440, 1095, 38, 0, 
+520522, 479, 445, 520522, 485992, 45246, 34402, 21043, 1440, 1095, 38, 0, 
+522824, 479, 447, 522824, 488294, 45336, 34418, 21043, 1440, 1094, 38, 0, 
+522824, 480, 447, 522824, 488294, 45336, 34418, 21043, 1440, 1094, 38, 0, 
+522824, 481, 447, 522824, 488294, 45336, 34418, 21043, 1440, 1094, 38, 0, 
+525126, 481, 449, 525126, 490596, 45427, 34432, 21043, 1440, 1092, 38, 0, 
+525126, 482, 449, 525126, 490596, 45427, 34432, 21043, 1440, 1092, 38, 0, 
+525126, 483, 449, 525126, 490596, 45427, 34432, 21043, 1440, 1092, 38, 0, 
+527428, 483, 451, 527428, 492898, 45517, 34444, 21043, 1440, 1090, 38, 0, 
+527428, 484, 451, 527428, 492898, 45517, 34444, 21043, 1440, 1090, 38, 0, 
+527428, 485, 451, 527428, 492898, 45517, 34444, 21043, 1440, 1090, 38, 0, 
+529730, 485, 453, 529730, 495200, 45607, 34454, 21043, 1440, 1088, 38, 0, 
+529730, 486, 453, 529730, 495200, 45607, 34454, 21043, 1440, 1088, 38, 0, 
+529730, 487, 453, 529730, 495200, 45607, 34454, 21043, 1440, 1088, 38, 0, 
+532032, 487, 455, 532032, 497502, 45697, 34463, 21043, 1440, 1086, 38, 0, 
+532032, 488, 455, 532032, 497502, 45697, 34463, 21043, 1440, 1086, 38, 0, 
+532032, 489, 455, 532032, 497502, 45697, 34463, 21043, 1440, 1086, 38, 0, 
+534334, 489, 457, 534334, 499804, 45787, 34471, 21043, 1440, 1085, 38, 0, 
+534334, 490, 457, 534334, 499804, 45787, 34471, 21043, 1440, 1085, 38, 0, 
+534334, 491, 457, 534334, 499804, 45787, 34471, 21043, 1440, 1085, 38, 0, 
+536636, 491, 459, 536636, 502106, 45876, 34478, 21043, 1440, 1083, 38, 0, 
+536636, 492, 459, 536636, 502106, 45876, 34478, 21043, 1440, 1083, 38, 0, 
+536636, 493, 459, 536636, 502106, 45876, 34478, 21043, 1440, 1083, 38, 0, 
+538938, 493, 461, 538938, 504408, 45966, 34484, 21043, 1440, 1081, 38, 0, 
+538938, 494, 461, 538938, 504408, 45966, 34484, 21043, 1440, 1081, 38, 0, 
+538938, 495, 461, 538938, 504408, 45966, 34484, 21043, 1440, 1081, 38, 0, 
+541240, 495, 463, 541240, 506710, 46055, 34489, 21043, 1440, 1079, 38, 0, 
+541240, 496, 463, 541240, 506710, 46055, 34489, 21043, 1440, 1079, 38, 0, 
+541240, 497, 463, 541240, 506710, 46055, 34489, 21043, 1440, 1079, 38, 0, 
+543542, 497, 465, 543542, 506710, 46144, 34781, 21043, 1440, 1086, 38, 0, 
+543542, 498, 465, 543542, 506710, 46144, 34781, 21043, 1440, 1086, 38, 0, 
+543542, 499, 465, 543542, 506710, 46144, 34781, 21043, 1440, 1086, 38, 0, 
+543542, 500, 465, 543542, 506710, 46144, 34781, 21043, 1440, 1086, 38, 0, 
+545844, 500, 467, 545844, 509012, 46233, 35037, 21043, 1440, 1092, 38, 0, 
+545844, 501, 467, 545844, 509012, 46233, 35037, 21043, 1440, 1092, 38, 0, 
+545844, 502, 467, 545844, 509012, 46233, 35037, 21043, 1440, 1092, 38, 0, 
+547023, 502, 469, 547023, 511314, 46278, 35121, 21043, 1440, 1093, 38, 0, 
+547023, 503, 469, 547023, 511314, 46278, 35121, 21043, 1440, 1093, 38, 0, 
+549325, 503, 471, 549325, 513616, 46366, 35194, 21043, 1440, 1094, 38, 0, 
+549325, 504, 471, 549325, 513616, 46366, 35194, 21043, 1440, 1094, 38, 0, 
+549325, 505, 471, 549325, 513616, 46366, 35194, 21043, 1440, 1094, 38, 0, 
+551627, 505, 473, 551627, 515918, 46455, 35258, 21043, 1440, 1093, 38, 0, 
+551627, 506, 473, 551627, 515918, 46455, 35258, 21043, 1440, 1093, 38, 0, 
+551627, 507, 473, 551627, 515918, 46455, 35258, 21043, 1440, 1093, 38, 0, 
+553929, 507, 475, 553929, 518220, 46543, 35314, 21043, 1440, 1093, 38, 0, 
+553929, 508, 475, 553929, 518220, 46543, 35314, 21043, 1440, 1093, 38, 0, 
+553929, 509, 475, 553929, 518220, 46543, 35314, 21043, 1440, 1093, 38, 0, 
+556231, 509, 477, 556231, 520522, 46631, 35363, 21043, 1440, 1093, 38, 0, 
+556231, 510, 477, 556231, 520522, 46631, 35363, 21043, 1440, 1093, 38, 0, 
+556231, 511, 477, 556231, 520522, 46631, 35363, 21043, 1440, 1093, 38, 0, 
+558533, 511, 479, 558533, 522824, 46719, 35406, 21043, 1440, 1092, 38, 0, 
+558533, 512, 479, 558533, 522824, 46719, 35406, 21043, 1440, 1092, 38, 0, 
+558533, 513, 479, 558533, 522824, 46719, 35406, 21043, 1440, 1092, 38, 0, 
+560835, 513, 481, 560835, 525126, 46807, 35443, 21043, 1440, 1091, 38, 0, 
+560835, 514, 481, 560835, 525126, 46807, 35443, 21043, 1440, 1091, 38, 0, 
+560835, 515, 481, 560835, 525126, 46807, 35443, 21043, 1440, 1091, 38, 0, 
+563137, 515, 483, 563137, 527428, 46894, 35476, 21043, 1440, 1090, 38, 0, 
+563137, 516, 483, 563137, 527428, 46894, 35476, 21043, 1440, 1090, 38, 0, 
+563137, 517, 483, 563137, 527428, 46894, 35476, 21043, 1440, 1090, 38, 0, 
+565439, 517, 485, 565439, 529730, 46982, 35505, 21043, 1440, 1089, 38, 0, 
+565439, 518, 485, 565439, 529730, 46982, 35505, 21043, 1440, 1089, 38, 0, 
+565439, 519, 485, 565439, 529730, 46982, 35505, 21043, 1440, 1089, 38, 0, 
+567741, 519, 487, 567741, 532032, 47069, 35530, 21043, 1440, 1087, 38, 0, 
+567741, 520, 487, 567741, 532032, 47069, 35530, 21043, 1440, 1087, 38, 0, 
+567741, 521, 487, 567741, 532032, 47069, 35530, 21043, 1440, 1087, 38, 0, 
+570043, 521, 489, 570043, 534334, 47156, 35552, 21043, 1440, 1086, 38, 0, 
+570043, 522, 489, 570043, 534334, 47156, 35552, 21043, 1440, 1086, 38, 0, 
+570043, 523, 489, 570043, 534334, 47156, 35552, 21043, 1440, 1086, 38, 0, 
+572345, 523, 491, 572345, 536636, 47243, 35571, 21043, 1440, 1085, 38, 0, 
+572345, 524, 491, 572345, 536636, 47243, 35571, 21043, 1440, 1085, 38, 0, 
+572345, 525, 491, 572345, 536636, 47243, 35571, 21043, 1440, 1085, 38, 0, 
+574647, 525, 493, 574647, 538938, 47330, 35588, 21043, 1440, 1083, 38, 0, 
+574647, 526, 493, 574647, 538938, 47330, 35588, 21043, 1440, 1083, 38, 0, 
+574647, 527, 493, 574647, 538938, 47330, 35588, 21043, 1440, 1083, 38, 0, 
+576949, 527, 495, 576949, 541240, 47416, 35603, 21043, 1440, 1082, 38, 0, 
+576949, 528, 495, 576949, 541240, 47416, 35603, 21043, 1440, 1082, 38, 0, 
+576949, 529, 495, 576949, 541240, 47416, 35603, 21043, 1440, 1082, 38, 0, 
+579251, 529, 497, 579251, 543542, 47503, 35616, 21043, 1440, 1080, 38, 0, 
+579251, 530, 497, 579251, 543542, 47503, 35616, 21043, 1440, 1080, 38, 0, 
+579251, 531, 497, 579251, 543542, 47503, 35616, 21043, 1440, 1080, 38, 0, 
+581553, 531, 499, 581553, 543542, 47589, 35915, 21043, 1440, 1087, 38, 0, 
+581553, 532, 499, 581553, 543542, 47589, 35915, 21043, 1440, 1087, 38, 0, 
+581553, 533, 499, 581553, 543542, 47589, 35915, 21043, 1440, 1087, 38, 0, 
+581553, 534, 499, 581553, 543542, 47589, 35915, 21043, 1440, 1087, 38, 0, 
+583855, 534, 501, 583855, 545844, 47675, 36177, 21043, 1440, 1093, 38, 0, 
+583855, 535, 501, 583855, 545844, 47675, 36177, 21043, 1440, 1093, 38, 0, 
+583855, 536, 501, 583855, 545844, 47675, 36177, 21043, 1440, 1093, 38, 0, 
+586157, 536, 503, 586157, 549325, 47761, 36258, 21043, 1440, 1094, 38, 0, 
+586157, 537, 503, 586157, 549325, 47761, 36258, 21043, 1440, 1094, 38, 0, 
+586157, 538, 503, 586157, 549325, 47761, 36258, 21043, 1440, 1094, 38, 0, 
+588459, 538, 505, 588459, 551627, 47847, 36329, 21043, 1440, 1094, 38, 0, 
+588459, 539, 505, 588459, 551627, 47847, 36329, 21043, 1440, 1094, 38, 0, 
+588459, 540, 505, 588459, 551627, 47847, 36329, 21043, 1440, 1094, 38, 0, 
+590761, 540, 507, 590761, 553929, 47933, 36391, 21043, 1440, 1094, 38, 0, 
+590761, 541, 507, 590761, 553929, 47933, 36391, 21043, 1440, 1094, 38, 0, 
+590761, 542, 507, 590761, 553929, 47933, 36391, 21043, 1440, 1094, 38, 0, 
+593063, 542, 509, 593063, 556231, 48018, 36446, 21043, 1440, 1093, 38, 0, 
+593063, 543, 509, 593063, 556231, 48018, 36446, 21043, 1440, 1093, 38, 0, 
+593063, 544, 509, 593063, 556231, 48018, 36446, 21043, 1440, 1093, 38, 0, 
+595365, 544, 511, 595365, 558533, 48103, 36494, 21043, 1440, 1093, 38, 0, 
+595365, 545, 511, 595365, 558533, 48103, 36494, 21043, 1440, 1093, 38, 0, 
+595365, 546, 511, 595365, 558533, 48103, 36494, 21043, 1440, 1093, 38, 0, 
+597667, 546, 513, 597667, 560835, 48189, 36536, 21043, 1440, 1092, 38, 0, 
+597667, 547, 513, 597667, 560835, 48189, 36536, 21043, 1440, 1092, 38, 0, 
+597667, 548, 513, 597667, 560835, 48189, 36536, 21043, 1440, 1092, 38, 0, 
+599969, 548, 515, 599969, 563137, 48274, 36573, 21043, 1440, 1091, 38, 0, 
+599969, 549, 515, 599969, 563137, 48274, 36573, 21043, 1440, 1091, 38, 0, 
+599969, 550, 515, 599969, 563137, 48274, 36573, 21043, 1440, 1091, 38, 0, 
+602271, 550, 517, 602271, 565439, 48359, 36605, 21043, 1440, 1090, 38, 0, 
+602271, 551, 517, 602271, 565439, 48359, 36605, 21043, 1440, 1090, 38, 0, 
+602271, 552, 517, 602271, 565439, 48359, 36605, 21043, 1440, 1090, 38, 0, 
+604573, 552, 519, 604573, 567741, 48443, 36633, 21043, 1440, 1089, 38, 0, 
+604573, 553, 519, 604573, 567741, 48443, 36633, 21043, 1440, 1089, 38, 0, 
+604573, 554, 519, 604573, 567741, 48443, 36633, 21043, 1440, 1089, 38, 0, 
+606875, 554, 521, 606875, 570043, 48528, 36657, 21043, 1440, 1088, 38, 0, 
+606875, 555, 521, 606875, 570043, 48528, 36657, 21043, 1440, 1088, 38, 0, 
+606875, 556, 521, 606875, 570043, 48528, 36657, 21043, 1440, 1088, 38, 0, 
+609177, 556, 523, 609177, 572345, 48612, 36678, 21043, 1440, 1087, 38, 0, 
+609177, 557, 523, 609177, 572345, 48612, 36678, 21043, 1440, 1087, 38, 0, 
+609177, 558, 523, 609177, 572345, 48612, 36678, 21043, 1440, 1087, 38, 0, 
+611479, 558, 525, 611479, 574647, 48697, 36697, 21043, 1440, 1086, 38, 0, 
+611479, 559, 525, 611479, 574647, 48697, 36697, 21043, 1440, 1086, 38, 0, 
+611479, 560, 525, 611479, 574647, 48697, 36697, 21043, 1440, 1086, 38, 0, 
+613781, 560, 527, 613781, 576949, 48781, 36713, 21043, 1440, 1084, 38, 0, 
+613781, 561, 527, 613781, 576949, 48781, 36713, 21043, 1440, 1084, 38, 0, 
+613781, 562, 527, 613781, 576949, 48781, 36713, 21043, 1440, 1084, 38, 0, 
+616083, 562, 529, 616083, 579251, 48865, 36727, 21043, 1440, 1083, 38, 0, 
+616083, 563, 529, 616083, 579251, 48865, 36727, 21043, 1440, 1083, 38, 0, 
+616083, 564, 529, 616083, 579251, 48865, 36727, 21043, 1440, 1083, 38, 0, 
+618385, 564, 531, 618385, 581553, 48949, 36740, 21043, 1440, 1081, 38, 0, 
+618385, 565, 531, 618385, 581553, 48949, 36740, 21043, 1440, 1081, 38, 0, 
+618385, 566, 531, 618385, 581553, 48949, 36740, 21043, 1440, 1081, 38, 0, 
+620687, 566, 533, 620687, 581553, 49033, 37039, 21043, 1440, 1088, 38, 0, 
+620687, 567, 533, 620687, 581553, 49033, 37039, 21043, 1440, 1088, 38, 0, 
+620687, 568, 533, 620687, 581553, 49033, 37039, 21043, 1440, 1088, 38, 0, 
+620687, 569, 533, 620687, 581553, 49033, 37039, 21043, 1440, 1088, 38, 0, 
+622989, 569, 535, 622989, 583855, 49116, 37300, 21043, 1440, 1094, 38, 0, 
+622989, 570, 535, 622989, 583855, 49116, 37300, 21043, 1440, 1094, 38, 0, 
+622989, 571, 535, 622989, 583855, 49116, 37300, 21043, 1440, 1094, 38, 0, 
+625291, 571, 537, 625291, 586157, 49200, 37529, 21043, 1440, 1099, 38, 0, 
+625291, 572, 537, 625291, 586157, 49200, 37529, 21043, 1440, 1099, 38, 0, 
+625291, 573, 537, 625291, 586157, 49200, 37529, 21043, 1440, 1099, 38, 0, 
+627593, 573, 539, 627593, 588459, 49283, 37729, 21043, 1440, 1103, 38, 0, 
+627593, 574, 539, 627593, 588459, 49283, 37729, 21043, 1440, 1103, 38, 0, 
+627593, 575, 539, 627593, 588459, 49283, 37729, 21043, 1440, 1103, 38, 0, 
+629895, 575, 541, 629895, 590761, 49366, 37904, 21043, 1440, 1106, 38, 0, 
+629895, 576, 541, 629895, 590761, 49366, 37904, 21043, 1440, 1106, 38, 0, 
+629895, 577, 541, 629895, 590761, 49366, 37904, 21043, 1440, 1106, 38, 0, 
+632197, 577, 543, 632197, 593063, 49449, 38057, 21043, 1440, 1109, 38, 0, 
+632197, 578, 543, 632197, 593063, 49449, 38057, 21043, 1440, 1109, 38, 0, 
+632197, 579, 543, 632197, 593063, 49449, 38057, 21043, 1440, 1109, 38, 0, 
+634499, 579, 545, 634499, 595365, 49532, 38191, 21043, 1440, 1111, 38, 0, 
+634499, 580, 545, 634499, 595365, 49532, 38191, 21043, 1440, 1111, 38, 0, 
+634499, 581, 545, 634499, 595365, 49532, 38191, 21043, 1440, 1111, 38, 0, 
+636801, 581, 547, 636801, 597667, 49615, 38308, 21043, 1440, 1112, 38, 0, 
+636801, 582, 547, 636801, 597667, 49615, 38308, 21043, 1440, 1112, 38, 0, 
+636801, 583, 547, 636801, 597667, 49615, 38308, 21043, 1440, 1112, 38, 0, 
+639103, 583, 549, 639103, 599969, 49698, 38411, 21043, 1440, 1113, 38, 0, 
+639103, 584, 549, 639103, 599969, 49698, 38411, 21043, 1440, 1113, 38, 0, 
+639103, 585, 549, 639103, 599969, 49698, 38411, 21043, 1440, 1113, 38, 0, 
+641405, 585, 551, 641405, 602271, 49780, 38501, 21043, 1440, 1114, 38, 0, 
+641405, 586, 551, 641405, 602271, 49780, 38501, 21043, 1440, 1114, 38, 0, 
+641405, 587, 551, 641405, 602271, 49780, 38501, 21043, 1440, 1114, 38, 0, 
+643707, 587, 553, 643707, 604573, 49862, 38580, 21043, 1440, 1115, 38, 0, 
+643707, 588, 553, 643707, 604573, 49862, 38580, 21043, 1440, 1115, 38, 0, 
+643707, 589, 553, 643707, 604573, 49862, 38580, 21043, 1440, 1115, 38, 0, 
+646009, 589, 555, 646009, 606875, 49945, 38649, 21043, 1440, 1115, 38, 0, 
+646009, 590, 555, 646009, 606875, 49945, 38649, 21043, 1440, 1115, 38, 0, 
+646009, 591, 555, 646009, 606875, 49945, 38649, 21043, 1440, 1115, 38, 0, 
+648311, 591, 557, 648311, 609177, 50027, 38709, 21043, 1440, 1115, 38, 0, 
+648311, 592, 557, 648311, 609177, 50027, 38709, 21043, 1440, 1115, 38, 0, 
+648311, 593, 557, 648311, 609177, 50027, 38709, 21043, 1440, 1115, 38, 0, 
+650613, 593, 559, 650613, 611479, 50109, 38762, 21043, 1440, 1114, 38, 0, 
+650613, 594, 559, 650613, 611479, 50109, 38762, 21043, 1440, 1114, 38, 0, 
+650613, 595, 559, 650613, 611479, 50109, 38762, 21043, 1440, 1114, 38, 0, 
+652915, 595, 561, 652915, 613781, 50190, 38808, 21043, 1440, 1114, 38, 0, 
+652915, 596, 561, 652915, 613781, 50190, 38808, 21043, 1440, 1114, 38, 0, 
+652915, 597, 561, 652915, 613781, 50190, 38808, 21043, 1440, 1114, 38, 0, 
+655217, 597, 563, 655217, 616083, 50272, 38848, 21043, 1440, 1113, 38, 0, 
+655217, 598, 563, 655217, 616083, 50272, 38848, 21043, 1440, 1113, 38, 0, 
+655217, 599, 563, 655217, 616083, 50272, 38848, 21043, 1440, 1113, 38, 0, 
+657519, 599, 565, 657519, 618385, 50354, 38883, 21043, 1440, 1112, 38, 0, 
+657519, 600, 565, 657519, 618385, 50354, 38883, 21043, 1440, 1112, 38, 0, 
+657519, 601, 565, 657519, 618385, 50354, 38883, 21043, 1440, 1112, 38, 0, 
+659821, 601, 567, 659821, 620687, 50435, 38914, 21043, 1440, 1112, 38, 0, 
+659821, 602, 567, 659821, 620687, 50435, 38914, 21043, 1440, 1112, 38, 0, 
+659821, 603, 567, 659821, 620687, 50435, 38914, 21043, 1440, 1112, 38, 0, 
+659821, 604, 567, 659821, 620687, 50435, 38914, 21043, 1440, 1112, 38, 0, 
+662123, 604, 569, 662123, 622989, 50516, 38941, 21043, 1440, 1111, 38, 0, 
+662123, 605, 569, 662123, 622989, 50516, 38941, 21043, 1440, 1111, 38, 0, 
+662123, 606, 569, 662123, 622989, 50516, 38941, 21043, 1440, 1111, 38, 0, 
+664425, 606, 571, 664425, 625291, 50598, 38965, 21043, 1440, 1109, 38, 0, 
+664425, 607, 571, 664425, 625291, 50598, 38965, 21043, 1440, 1109, 38, 0, 
+664425, 608, 571, 664425, 625291, 50598, 38965, 21043, 1440, 1109, 38, 0, 
+666727, 608, 573, 666727, 627593, 50679, 38986, 21043, 1440, 1108, 38, 0, 
+666727, 609, 573, 666727, 627593, 50679, 38986, 21043, 1440, 1108, 38, 0, 
+666727, 610, 573, 666727, 627593, 50679, 38986, 21043, 1440, 1108, 38, 0, 
+669029, 610, 575, 669029, 629895, 50759, 39004, 21043, 1440, 1107, 38, 0, 
+669029, 611, 575, 669029, 629895, 50759, 39004, 21043, 1440, 1107, 38, 0, 
+669029, 612, 575, 669029, 629895, 50759, 39004, 21043, 1440, 1107, 38, 0, 
+671331, 612, 577, 671331, 632197, 50840, 39020, 21043, 1440, 1106, 38, 0, 
+671331, 613, 577, 671331, 632197, 50840, 39020, 21043, 1440, 1106, 38, 0, 
+671331, 614, 577, 671331, 632197, 50840, 39020, 21043, 1440, 1106, 38, 0, 
+673633, 614, 579, 673633, 634499, 50921, 39034, 21043, 1440, 1104, 38, 0, 
+673633, 615, 579, 673633, 634499, 50921, 39034, 21043, 1440, 1104, 38, 0, 
+673633, 616, 579, 673633, 634499, 50921, 39034, 21043, 1440, 1104, 38, 0, 
+675935, 616, 581, 675935, 636801, 51001, 39046, 21043, 1440, 1103, 38, 0, 
+675935, 617, 581, 675935, 636801, 51001, 39046, 21043, 1440, 1103, 38, 0, 
+675935, 618, 581, 675935, 636801, 51001, 39046, 21043, 1440, 1103, 38, 0, 
+678237, 618, 583, 678237, 639103, 51082, 39057, 21043, 1440, 1102, 38, 0, 
+678237, 619, 583, 678237, 639103, 51082, 39057, 21043, 1440, 1102, 38, 0, 
+678237, 620, 583, 678237, 639103, 51082, 39057, 21043, 1440, 1102, 38, 0, 
+680539, 620, 585, 680539, 641405, 51162, 39066, 21043, 1440, 1100, 38, 0, 
+680539, 621, 585, 680539, 641405, 51162, 39066, 21043, 1440, 1100, 38, 0, 
+680539, 622, 585, 680539, 641405, 51162, 39066, 21043, 1440, 1100, 38, 0, 
+682841, 622, 587, 682841, 643707, 51242, 39074, 21043, 1440, 1099, 38, 0, 
+682841, 623, 587, 682841, 643707, 51242, 39074, 21043, 1440, 1099, 38, 0, 
+682841, 624, 587, 682841, 643707, 51242, 39074, 21043, 1440, 1099, 38, 0, 
+685143, 624, 589, 685143, 646009, 51322, 39081, 21043, 1440, 1097, 38, 0, 
+685143, 625, 589, 685143, 646009, 51322, 39081, 21043, 1440, 1097, 38, 0, 
+685143, 626, 589, 685143, 646009, 51322, 39081, 21043, 1440, 1097, 38, 0, 
+687445, 626, 591, 687445, 648311, 51402, 39087, 21043, 1440, 1096, 38, 0, 
+687445, 627, 591, 687445, 648311, 51402, 39087, 21043, 1440, 1096, 38, 0, 
+687445, 628, 591, 687445, 648311, 51402, 39087, 21043, 1440, 1096, 38, 0, 
+689747, 628, 593, 689747, 650613, 51482, 39092, 21043, 1440, 1094, 38, 0, 
+689747, 629, 593, 689747, 650613, 51482, 39092, 21043, 1440, 1094, 38, 0, 
+689747, 630, 593, 689747, 650613, 51482, 39092, 21043, 1440, 1094, 38, 0, 
+692049, 630, 595, 692049, 652915, 51561, 39097, 21043, 1440, 1092, 38, 0, 
+692049, 631, 595, 692049, 652915, 51561, 39097, 21043, 1440, 1092, 38, 0, 
+692049, 632, 595, 692049, 652915, 51561, 39097, 21043, 1440, 1092, 38, 0, 
+694351, 632, 597, 694351, 655217, 51641, 39101, 21043, 1440, 1091, 38, 0, 
+694351, 633, 597, 694351, 655217, 51641, 39101, 21043, 1440, 1091, 38, 0, 
+694351, 634, 597, 694351, 655217, 51641, 39101, 21043, 1440, 1091, 38, 0, 
+696653, 634, 599, 696653, 657519, 51720, 39105, 21043, 1440, 1089, 38, 0, 
+696653, 635, 599, 696653, 657519, 51720, 39105, 21043, 1440, 1089, 38, 0, 
+696653, 636, 599, 696653, 657519, 51720, 39105, 21043, 1440, 1089, 38, 0, 
+698955, 636, 601, 698955, 659821, 51800, 39108, 21043, 1440, 1088, 38, 0, 
+698955, 637, 601, 698955, 659821, 51800, 39108, 21043, 1440, 1088, 38, 0, 
+698955, 638, 601, 698955, 659821, 51800, 39108, 21043, 1440, 1088, 38, 0, 
+701257, 638, 604, 701257, 662123, 51879, 39111, 21043, 1440, 1086, 38, 0, 
+701257, 639, 604, 701257, 662123, 51879, 39111, 21043, 1440, 1086, 38, 0, 
+701257, 640, 604, 701257, 662123, 51879, 39111, 21043, 1440, 1086, 38, 0, 
+701257, 641, 604, 701257, 662123, 51879, 39111, 21043, 1440, 1086, 38, 0, 
+703559, 641, 606, 703559, 664425, 51958, 39113, 21043, 1440, 1085, 38, 0, 
+703559, 642, 606, 703559, 664425, 51958, 39113, 21043, 1440, 1085, 38, 0, 
+703559, 643, 606, 703559, 664425, 51958, 39113, 21043, 1440, 1085, 38, 0, 
+703823, 644, 606, 703559, 664425, 25979, 39113, 21043, 1440, 2169, 39, 0, 
+705861, 644, 608, 705861, 666727, 25979, 39115, 21043, 1440, 2169, 39, 0, 
+708163, 644, 610, 708163, 669029, 25979, 39117, 21043, 1440, 2169, 39, 0, 
+710465, 644, 612, 710465, 671331, 25979, 39119, 21043, 1440, 2169, 39, 0, 
+712767, 644, 614, 712767, 673633, 25979, 39120, 21043, 1440, 2169, 39, 0, 
+715069, 644, 616, 715069, 675935, 25979, 39121, 21043, 1440, 2169, 39, 0, 
+717371, 644, 618, 717371, 678237, 25979, 39122, 21043, 1440, 2169, 39, 0, 
+719673, 644, 620, 719673, 680539, 25979, 39123, 21043, 1440, 2169, 39, 0, 
+721975, 644, 622, 721975, 682841, 25979, 39124, 21043, 1440, 2169, 39, 0, 
+724277, 644, 624, 724277, 685143, 25979, 39125, 21043, 1440, 2169, 39, 0, 
+726579, 644, 626, 726579, 687445, 27477, 39126, 21043, 1440, 2051, 39, 0, 
+726579, 645, 626, 726579, 687445, 27477, 39126, 21043, 1440, 2051, 39, 0, 
+726579, 646, 626, 726579, 687445, 27477, 39126, 21043, 1440, 2051, 39, 0, 
+726579, 647, 626, 726579, 687445, 27477, 39126, 21043, 1440, 2051, 39, 0, 
+728881, 647, 628, 728881, 689747, 27626, 39127, 21043, 1440, 2040, 39, 0, 
+728881, 648, 628, 728881, 689747, 27626, 39127, 21043, 1440, 2040, 39, 0, 
+728881, 649, 628, 728881, 689747, 27626, 39127, 21043, 1440, 2040, 39, 0, 
+731183, 649, 630, 731183, 692049, 27775, 39127, 21043, 1440, 2029, 39, 0, 
+731183, 650, 630, 731183, 692049, 27775, 39127, 21043, 1440, 2029, 39, 0, 
+731183, 651, 630, 731183, 692049, 27775, 39127, 21043, 1440, 2029, 39, 0, 
+733485, 651, 632, 733485, 694351, 27922, 39127, 21043, 1440, 2018, 39, 0, 
+733485, 652, 632, 733485, 694351, 27922, 39127, 21043, 1440, 2018, 39, 0, 
+733485, 653, 632, 733485, 694351, 27922, 39127, 21043, 1440, 2018, 39, 0, 
+735787, 653, 634, 735787, 696653, 28069, 39127, 21043, 1440, 2008, 39, 0, 
+735787, 654, 634, 735787, 696653, 28069, 39127, 21043, 1440, 2008, 39, 0, 
+735787, 655, 634, 735787, 696653, 28069, 39127, 21043, 1440, 2008, 39, 0, 
+738089, 655, 636, 738089, 698955, 28215, 39127, 21043, 1440, 1997, 39, 0, 
+738089, 656, 636, 738089, 698955, 28215, 39127, 21043, 1440, 1997, 39, 0, 
+738089, 657, 636, 738089, 698955, 28215, 39127, 21043, 1440, 1997, 39, 0, 
+740391, 657, 638, 740391, 701257, 28360, 39127, 21043, 1440, 1987, 39, 0, 
+740391, 658, 638, 740391, 701257, 28360, 39127, 21043, 1440, 1987, 39, 0, 
+740391, 659, 638, 740391, 701257, 28360, 39127, 21043, 1440, 1987, 39, 0, 
+742693, 659, 641, 742693, 703559, 28504, 39127, 21043, 1440, 1977, 39, 0, 
+742693, 660, 641, 742693, 703559, 28504, 39127, 21043, 1440, 1977, 39, 0, 
+742693, 661, 641, 742693, 703559, 28504, 39127, 21043, 1440, 1977, 39, 0, 
+744995, 661, 643, 744995, 703823, 28648, 39382, 21043, 1440, 1980, 39, 0, 
+744995, 662, 643, 744995, 703823, 28648, 39382, 21043, 1440, 1980, 39, 0, 
+744995, 663, 643, 744995, 703823, 28648, 39382, 21043, 1440, 1980, 39, 0, 
+745561, 664, 643, 744995, 703823, 14324, 39382, 21043, 1440, 3960, 40, 0, 
+748923, 664, 645, 748923, 726579, 14324, 37253, 21043, 1440, 3746, 40, 0, 
+751225, 664, 647, 751225, 728881, 14324, 35390, 21043, 1440, 3558, 40, 0, 
+753527, 664, 649, 753527, 731183, 14324, 33760, 21043, 1440, 3394, 40, 0, 
+755829, 664, 651, 755829, 733485, 14324, 32333, 21043, 1440, 3251, 40, 0, 
+758131, 664, 653, 758131, 735787, 14324, 31085, 21043, 1440, 3125, 40, 0, 
+760433, 664, 655, 760433, 738089, 14324, 29993, 21043, 1440, 3016, 40, 0, 
+760433, 665, 655, 760433, 738089, 14324, 29993, 21043, 1440, 3016, 40, 0, 
+760433, 666, 655, 760433, 738089, 14324, 29993, 21043, 1440, 3016, 40, 0, 
+762735, 666, 657, 762735, 740391, 14324, 29037, 21043, 1440, 2920, 40, 0, 
+762735, 667, 657, 762735, 740391, 14324, 29037, 21043, 1440, 2920, 40, 0, 
+762735, 668, 657, 762735, 740391, 14324, 29037, 21043, 1440, 2920, 40, 0, 
+765037, 668, 659, 765037, 742693, 14324, 28201, 21043, 1440, 2836, 40, 0, 
+765037, 669, 659, 765037, 742693, 14324, 28201, 21043, 1440, 2836, 40, 0, 
+767339, 669, 661, 767339, 744995, 15878, 27469, 21043, 1440, 2492, 40, 0, 
+767339, 670, 661, 767339, 744995, 15878, 27469, 21043, 1440, 2492, 40, 0, 
+769641, 670, 663, 769641, 745561, 16135, 27046, 21043, 1440, 2414, 40, 0, 
+769641, 671, 663, 769641, 745561, 16135, 27046, 21043, 1440, 2414, 40, 0, 
+772055, 672, 663, 769641, 745561, 16135, 27046, 21043, 1440, 2414, 40, 0, 
+772055, 673, 663, 769641, 745561, 16135, 27046, 21043, 1440, 2414, 40, 0, 
+774469, 674, 663, 769641, 745561, 16135, 27046, 21043, 1440, 2414, 40, 0, 
+774469, 675, 663, 769641, 745561, 16135, 27046, 21043, 1440, 2414, 40, 0, 
+776883, 676, 663, 769641, 745561, 16135, 27046, 21043, 1440, 2414, 40, 0, 
+781626, 676, 664, 781626, 760433, 16262, 26315, 21043, 1440, 2331, 40, 0, 
+781626, 677, 664, 781626, 760433, 16262, 26315, 21043, 1440, 2331, 40, 0, 
+783928, 677, 666, 783928, 762735, 16513, 25675, 21043, 1440, 2239, 40, 0, 
+783928, 678, 666, 783928, 762735, 16513, 25675, 21043, 1440, 2239, 40, 0, 
+783928, 679, 666, 783928, 762735, 16513, 25675, 21043, 1440, 2239, 40, 0, 
+786230, 679, 668, 786230, 765037, 16761, 25115, 21043, 1440, 2158, 40, 0, 
+786230, 680, 668, 786230, 765037, 16761, 25115, 21043, 1440, 2158, 40, 0, 
+786230, 681, 668, 786230, 765037, 16761, 25115, 21043, 1440, 2158, 40, 0, 
+790834, 681, 670, 790834, 769641, 17004, 24625, 21043, 1440, 2086, 40, 0, 
+790834, 682, 670, 790834, 769641, 17004, 24625, 21043, 1440, 2086, 40, 0, 
+790834, 683, 670, 790834, 769641, 17004, 24625, 21043, 1440, 2086, 40, 0, 
+794399, 683, 672, 794399, 772055, 17245, 24340, 21043, 1440, 2033, 40, 0, 
+794399, 684, 672, 794399, 772055, 17245, 24340, 21043, 1440, 2033, 40, 0, 
+794399, 685, 672, 794399, 772055, 17245, 24340, 21043, 1440, 2033, 40, 0, 
+796813, 685, 674, 796813, 774469, 17482, 24091, 21043, 1440, 1985, 40, 0, 
+796813, 686, 674, 796813, 774469, 17482, 24091, 21043, 1440, 1985, 40, 0, 
+796813, 687, 674, 796813, 774469, 17482, 24091, 21043, 1440, 1985, 40, 0, 
+798798, 688, 674, 796813, 774469, 17482, 24091, 21043, 1440, 1985, 40, 0, 
+802819, 688, 676, 802819, 781626, 17716, 23729, 21043, 1440, 1929, 40, 0, 
+802819, 689, 676, 802819, 781626, 17716, 23729, 21043, 1440, 1929, 40, 0, 
+802819, 690, 676, 802819, 781626, 17716, 23729, 21043, 1440, 1929, 40, 0, 
+806272, 690, 678, 806272, 783928, 17946, 23556, 21043, 1440, 1891, 40, 0, 
+806272, 691, 678, 806272, 783928, 17946, 23556, 21043, 1440, 1891, 40, 0, 
+806272, 692, 678, 806272, 783928, 17946, 23556, 21043, 1440, 1891, 40, 0, 
+808574, 692, 680, 808574, 786230, 18174, 23405, 21043, 1440, 1855, 40, 0, 
+808574, 693, 680, 808574, 786230, 18174, 23405, 21043, 1440, 1855, 40, 0, 
+808574, 694, 680, 808574, 786230, 18174, 23405, 21043, 1440, 1855, 40, 0, 
+813178, 694, 682, 813178, 790834, 18399, 23273, 21043, 1440, 1822, 40, 0, 
+813178, 695, 682, 813178, 790834, 18399, 23273, 21043, 1440, 1822, 40, 0, 
+813178, 696, 682, 813178, 790834, 18399, 23273, 21043, 1440, 1822, 40, 0, 
+816743, 696, 684, 816743, 794399, 18621, 23157, 21043, 1440, 1791, 40, 0, 
+816743, 697, 684, 816743, 794399, 18621, 23157, 21043, 1440, 1791, 40, 0, 
+816743, 698, 684, 816743, 794399, 18621, 23157, 21043, 1440, 1791, 40, 0, 
+819157, 698, 686, 819157, 796813, 18841, 23056, 21043, 1440, 1763, 40, 0, 
+819157, 699, 686, 819157, 796813, 18841, 23056, 21043, 1440, 1763, 40, 0, 
+819157, 700, 686, 819157, 796813, 18841, 23056, 21043, 1440, 1763, 40, 0, 
+820920, 701, 686, 819157, 796813, 18841, 23056, 21043, 1440, 1763, 40, 0, 
+824012, 701, 688, 824012, 802819, 19058, 22824, 21043, 1440, 1725, 40, 0, 
+824012, 702, 688, 824012, 802819, 19058, 22824, 21043, 1440, 1725, 40, 0, 
+824012, 703, 688, 824012, 802819, 19058, 22824, 21043, 1440, 1725, 40, 0, 
+827465, 703, 690, 827465, 806272, 19273, 22621, 21043, 1440, 1691, 40, 0, 
+827465, 704, 690, 827465, 806272, 19273, 22621, 21043, 1440, 1691, 40, 0, 
+827465, 705, 690, 827465, 806272, 19273, 22621, 21043, 1440, 1691, 40, 0, 
+829767, 705, 692, 829767, 808574, 19485, 22443, 21043, 1440, 1659, 40, 0, 
+829767, 706, 692, 829767, 808574, 19485, 22443, 21043, 1440, 1659, 40, 0, 
+829767, 707, 692, 829767, 808574, 19485, 22443, 21043, 1440, 1659, 40, 0, 
+834371, 707, 694, 834371, 813178, 19695, 22287, 21043, 1440, 1630, 40, 0, 
+834371, 708, 694, 834371, 813178, 19695, 22287, 21043, 1440, 1630, 40, 0, 
+834371, 709, 694, 834371, 813178, 19695, 22287, 21043, 1440, 1630, 40, 0, 
+837936, 709, 696, 837936, 816743, 19902, 22151, 21043, 1440, 1603, 40, 0, 
+837936, 710, 696, 837936, 816743, 19902, 22151, 21043, 1440, 1603, 40, 0, 
+837936, 711, 696, 837936, 816743, 19902, 22151, 21043, 1440, 1603, 40, 0, 
+840350, 711, 698, 840350, 819157, 20108, 22032, 21043, 1440, 1578, 40, 0, 
+840350, 712, 698, 840350, 819157, 20108, 22032, 21043, 1440, 1578, 40, 0, 
+840350, 713, 698, 840350, 819157, 20108, 22032, 21043, 1440, 1578, 40, 0, 
+842652, 713, 700, 842652, 820920, 20311, 21995, 21043, 1440, 1560, 40, 0, 
+842652, 714, 700, 842652, 820920, 20311, 21995, 21043, 1440, 1560, 40, 0, 
+842652, 715, 700, 842652, 820920, 20311, 21995, 21043, 1440, 1560, 40, 0, 
+842652, 716, 700, 842652, 820920, 20311, 21995, 21043, 1440, 1560, 40, 0, 
+846356, 716, 702, 846356, 824012, 20513, 22038, 21043, 1440, 1548, 40, 0, 
+846356, 717, 702, 846356, 824012, 20513, 22038, 21043, 1440, 1548, 40, 0, 
+846356, 718, 702, 846356, 824012, 20513, 22038, 21043, 1440, 1548, 40, 0, 
+849809, 718, 704, 849809, 827465, 20712, 22076, 21043, 1440, 1535, 40, 0, 
+849809, 719, 704, 849809, 827465, 20712, 22076, 21043, 1440, 1535, 40, 0, 
+849809, 720, 704, 849809, 827465, 20712, 22076, 21043, 1440, 1535, 40, 0, 
+852111, 720, 706, 852111, 829767, 20910, 22109, 21043, 1440, 1523, 40, 0, 
+852111, 721, 706, 852111, 829767, 20910, 22109, 21043, 1440, 1523, 40, 0, 
+852111, 722, 706, 852111, 829767, 20910, 22109, 21043, 1440, 1523, 40, 0, 
+856715, 722, 708, 856715, 834371, 21105, 22138, 21043, 1440, 1511, 40, 0, 
+856715, 723, 708, 856715, 834371, 21105, 22138, 21043, 1440, 1511, 40, 0, 
+856715, 724, 708, 856715, 834371, 21105, 22138, 21043, 1440, 1511, 40, 0, 
+860280, 724, 710, 860280, 837936, 21299, 22163, 21043, 1440, 1499, 40, 0, 
+860280, 725, 710, 860280, 837936, 21299, 22163, 21043, 1440, 1499, 40, 0, 
+860280, 726, 710, 860280, 837936, 21299, 22163, 21043, 1440, 1499, 40, 0, 
+862694, 726, 712, 862694, 840350, 21491, 22185, 21043, 1440, 1487, 40, 0, 
+862694, 727, 712, 862694, 840350, 21491, 22185, 21043, 1440, 1487, 40, 0, 
+862694, 728, 712, 862694, 840350, 21491, 22185, 21043, 1440, 1487, 40, 0, 
+864996, 728, 714, 864996, 842652, 21682, 22204, 21043, 1440, 1475, 40, 0, 
+864996, 729, 714, 864996, 842652, 21682, 22204, 21043, 1440, 1475, 40, 0, 
+864996, 730, 714, 864996, 842652, 21682, 22204, 21043, 1440, 1475, 40, 0, 
+864996, 731, 714, 864996, 842652, 21682, 22204, 21043, 1440, 1475, 40, 0, 
+867549, 731, 716, 867549, 846356, 21870, 22078, 21043, 1440, 1454, 40, 0, 
+867549, 732, 716, 867549, 846356, 21870, 22078, 21043, 1440, 1454, 40, 0, 
+867549, 733, 716, 867549, 846356, 21870, 22078, 21043, 1440, 1454, 40, 0, 
+871002, 733, 718, 871002, 849809, 22058, 21968, 21043, 1440, 1435, 40, 0, 
+871002, 734, 718, 871002, 849809, 22058, 21968, 21043, 1440, 1435, 40, 0, 
+871002, 735, 718, 871002, 849809, 22058, 21968, 21043, 1440, 1435, 40, 0, 
+873304, 735, 720, 873304, 852111, 22243, 21872, 21043, 1440, 1416, 40, 0, 
+873304, 736, 720, 873304, 852111, 22243, 21872, 21043, 1440, 1416, 40, 0, 
+873304, 737, 720, 873304, 852111, 22243, 21872, 21043, 1440, 1416, 40, 0, 
+877908, 737, 722, 877908, 856715, 22427, 21788, 21043, 1440, 1399, 40, 0, 
+877908, 738, 722, 877908, 856715, 22427, 21788, 21043, 1440, 1399, 40, 0, 
+877908, 739, 722, 877908, 856715, 22427, 21788, 21043, 1440, 1399, 40, 0, 
+881473, 739, 724, 881473, 860280, 22610, 21714, 21043, 1440, 1383, 40, 0, 
+881473, 740, 724, 881473, 860280, 22610, 21714, 21043, 1440, 1383, 40, 0, 
+881473, 741, 724, 881473, 860280, 22610, 21714, 21043, 1440, 1383, 40, 0, 
+883887, 741, 726, 883887, 862694, 22791, 21649, 21043, 1440, 1368, 40, 0, 
+883887, 742, 726, 883887, 862694, 22791, 21649, 21043, 1440, 1368, 40, 0, 
+883887, 743, 726, 883887, 862694, 22791, 21649, 21043, 1440, 1368, 40, 0, 
+886189, 743, 728, 886189, 864996, 22970, 21592, 21043, 1440, 1354, 40, 0, 
+886189, 744, 728, 886189, 864996, 22970, 21592, 21043, 1440, 1354, 40, 0, 
+886189, 745, 728, 886189, 864996, 22970, 21592, 21043, 1440, 1354, 40, 0, 
+888491, 745, 730, 888491, 864996, 23148, 21829, 21043, 1440, 1358, 40, 0, 
+888491, 746, 730, 888491, 864996, 23148, 21829, 21043, 1440, 1358, 40, 0, 
+888491, 747, 730, 888491, 864996, 23148, 21829, 21043, 1440, 1358, 40, 0, 
+888491, 748, 730, 888491, 864996, 23148, 21829, 21043, 1440, 1358, 40, 0, 
+890793, 748, 732, 890793, 867549, 23325, 22005, 21043, 1440, 1359, 40, 0, 
+890793, 749, 732, 890793, 867549, 23325, 22005, 21043, 1440, 1359, 40, 0, 
+890793, 750, 732, 890793, 867549, 23325, 22005, 21043, 1440, 1359, 40, 0, 
+893346, 750, 734, 893346, 871002, 23501, 22047, 21043, 1440, 1351, 40, 0, 
+893346, 751, 734, 893346, 871002, 23501, 22047, 21043, 1440, 1351, 40, 0, 
+893346, 752, 734, 893346, 871002, 23501, 22047, 21043, 1440, 1351, 40, 0, 
+895648, 752, 736, 895648, 873304, 23675, 22084, 21043, 1440, 1344, 40, 0, 
+895648, 753, 736, 895648, 873304, 23675, 22084, 21043, 1440, 1344, 40, 0, 
+895648, 754, 736, 895648, 873304, 23675, 22084, 21043, 1440, 1344, 40, 0, 
+900252, 754, 738, 900252, 877908, 23848, 22116, 21043, 1440, 1336, 40, 0, 
+900252, 755, 738, 900252, 877908, 23848, 22116, 21043, 1440, 1336, 40, 0, 
+900252, 756, 738, 900252, 877908, 23848, 22116, 21043, 1440, 1336, 40, 0, 
+903817, 756, 740, 903817, 881473, 24019, 22144, 21043, 1440, 1328, 40, 0, 
+903817, 757, 740, 903817, 881473, 24019, 22144, 21043, 1440, 1328, 40, 0, 
+903817, 758, 740, 903817, 881473, 24019, 22144, 21043, 1440, 1328, 40, 0, 
+906231, 758, 742, 906231, 883887, 24190, 22169, 21043, 1440, 1320, 40, 0, 
+906231, 759, 742, 906231, 883887, 24190, 22169, 21043, 1440, 1320, 40, 0, 
+906231, 760, 742, 906231, 883887, 24190, 22169, 21043, 1440, 1320, 40, 0, 
+908533, 760, 744, 908533, 886189, 24359, 22190, 21043, 1440, 1312, 40, 0, 
+908533, 761, 744, 908533, 886189, 24359, 22190, 21043, 1440, 1312, 40, 0, 
+908533, 762, 744, 908533, 886189, 24359, 22190, 21043, 1440, 1312, 40, 0, 
+908533, 763, 744, 908533, 886189, 24359, 22190, 21043, 1440, 1312, 40, 0, 
+910835, 763, 746, 910835, 888491, 24527, 22209, 21043, 1440, 1304, 40, 0, 
+913137, 763, 748, 913137, 890793, 24694, 22225, 21043, 1440, 1297, 40, 0, 
+915439, 763, 750, 915439, 893346, 24860, 22209, 21043, 1440, 1287, 40, 0, 
+917741, 763, 752, 917741, 895648, 25025, 22195, 21043, 1440, 1278, 40, 0, 
+921445, 763, 754, 921445, 900252, 25188, 22070, 21043, 1440, 1262, 40, 0, 
+925010, 763, 756, 925010, 903817, 25351, 21961, 21043, 1440, 1248, 40, 0, 
+927424, 763, 758, 927424, 906231, 25512, 21865, 21043, 1440, 1235, 40, 0, 
+929726, 763, 760, 929726, 908533, 25673, 21781, 21043, 1440, 1222, 40, 0, 
+930121, 763, 762, 930121, 908533, 25699, 21757, 21043, 1440, 1220, 40, 0, 
-- 
GitLab