From a64c47236c856c06b8b189a7465b5a6a3d5e596f Mon Sep 17 00:00:00 2001
From: root <root@zf-data-hdp-dn-gpu202.mt>
Date: Mon, 28 Jun 2021 19:44:50 +0800
Subject: [PATCH 1/5] add fsm4 fsm6 and fsm7 test

---
 pattern_mining/Makefile               |   2 +-
 pattern_mining/test/fsm4_sampling.cpp | 114 ++++++++++++++++++++++++++
 pattern_mining/test/fsm6_sampling.cpp | 114 ++++++++++++++++++++++++++
 pattern_mining/test/fsm7_sampling.cpp | 114 ++++++++++++++++++++++++++
 4 files changed, 343 insertions(+), 1 deletion(-)
 create mode 100644 pattern_mining/test/fsm4_sampling.cpp
 create mode 100644 pattern_mining/test/fsm6_sampling.cpp
 create mode 100644 pattern_mining/test/fsm7_sampling.cpp

diff --git a/pattern_mining/Makefile b/pattern_mining/Makefile
index 84de8d7..402b0b2 100644
--- a/pattern_mining/Makefile
+++ b/pattern_mining/Makefile
@@ -5,7 +5,7 @@ CXX=g++
 HOME_DIR = ..
 INCLUDE = -I../ -I$(BOOST_ROOT)
 OBJ = join.o match.o filter.o pattern.o patlist.o
-EXE =  fsm5_nested_sampling.exe fsm5_sampling.exe #mc4_without_sampling.exe mc5_without_sampling.exe mc4_without_sampling_two_vertex.exe mc5_without_sampling_two_vertex.exe fsm4_single_vertex.exe
+EXE =  fsm7_sampling.exe fsm6_sampling.exe  fsm5_sampling.exe fsm4_sampling.exe #mc4_without_sampling.exe mc5_without_sampling.exe mc4_without_sampling_two_vertex.exe mc5_without_sampling_two_vertex.exe fsm4_single_vertex.exe
 
 all: $(EXE)
 
diff --git a/pattern_mining/test/fsm4_sampling.cpp b/pattern_mining/test/fsm4_sampling.cpp
new file mode 100644
index 0000000..8e1f4b3
--- /dev/null
+++ b/pattern_mining/test/fsm4_sampling.cpp
@@ -0,0 +1,114 @@
+#include <boost/multiprecision/cpp_dec_float.hpp>
+
+#include "pattern_mining/gmine.h"
+#include "util.h"
+typedef boost::multiprecision::cpp_dec_float_100 value_type;
+
+using namespace std;
+using namespace euler;
+using namespace euler::pattern_mining;
+
+typedef vector<pair<int, int>> pat_t;
+
+
+/* Example: ./fsm4_sampling.exe /data/not_backed_up/shared/gpm_data/citeseer.lg 0.001 1 10
+
+
+ 0.001 is the support threshold
+ 1 is the samping threshold, set it to 1 or 2 for experiment
+ 10 is the sampling rounds, let's use 10
+
+*/
+
+int main(int argc, char* argv[]) {
+  // system("rm test_temp/*");
+
+  graph::Graph_CSR_CPU g;
+
+
+  g.read_graph(argv[1]);
+
+  auto pat2 = pattern_mining::PatListing::make_pattern(
+    pattern_mining::PatListing().pattern_listing(2));
+  auto pat3 = pattern_mining::PatListing::make_pattern(
+    pattern_mining::PatListing().pattern_listing(3));
+
+  double thh = atof(argv[2]);
+
+  double st = atof(argv[3]);
+
+  SamplingMethod sm;
+
+  if (st > 0) {
+    sm = clustered;
+  }
+  else {
+    sm = none;
+  }
+
+  cout << "sampling method: " << sm << endl;
+
+  int sampling_rounds = atoi(argv[4]);
+
+  double sup = (size_t)round(thh * g.num_nodes());
+
+  cout << "support threshold: " << sup << endl;
+
+  cout << "start matchings pat2: " << endl;
+  auto d2 = match(g, pat2, true, true, true, sup);
+
+  filter(d2, sup);
+  cout << "num of size-2 frequent patterns: " << d2.sgl->size() << endl;
+
+  cout << "start matchings pat3: " << endl;
+  util::Timer match_time;
+  match_time.start();
+  auto d3 = match(g, pat3, true, true, true, sup);
+  match_time.stop();
+
+  cout << "match 3 time: " << match_time.get() << " sec" << endl;
+
+  filter(d3, sup);
+
+  cout << "num of size-3 frequent patterns: " << d3.sgl->size() << endl;
+
+
+  vector<SGList> sgls = { d2, d3 };
+
+  cout << "building tables..." << endl;
+  auto [H, sw] = build_tables(sgls);
+  cout << "build table done" << endl;
+
+
+  double tot_time = 0;
+  SGList tot_res;
+
+  for (int i = 0; i < sampling_rounds; i++) {
+
+    util::Timer t;
+    t.start();
+    auto [d_res, ess] = join<true, true, true, false, 2, 3, 4>(g, H, sgls, false, sm, { st, st }, sw, sup);
+    t.stop();
+
+    filter(d_res, sup);
+
+    if (tot_res.sgl == nullptr) tot_res = d_res;
+    else
+      tot_res.combine(d_res, true, false);
+
+    tot_time += t.get();
+
+    cout << "Time: " << tot_time << " sec, ";
+    if (tot_res.sgl) {
+      cout << "Num patterns: " << tot_res.sgl->keys.size() << endl;
+    }
+    else {
+      cout << "Num patterns: 0" << endl;
+    }
+
+  }
+
+
+  return 0;
+}
+
diff --git a/pattern_mining/test/fsm6_sampling.cpp b/pattern_mining/test/fsm6_sampling.cpp
new file mode 100644
index 0000000..949b2c1
--- /dev/null
+++ b/pattern_mining/test/fsm6_sampling.cpp
@@ -0,0 +1,114 @@
+#include <boost/multiprecision/cpp_dec_float.hpp>
+
+#include "pattern_mining/gmine.h"
+#include "util.h"
+typedef boost::multiprecision::cpp_dec_float_100 value_type;
+
+using namespace std;
+using namespace euler;
+using namespace euler::pattern_mining;
+
+typedef vector<pair<int, int>> pat_t;
+
+
+/* Example: ./fsm6_sampling.exe /data/not_backed_up/shared/gpm_data/citeseer.lg 0.001 1 10
+
+
+ 0.001 is the support threshold
+ 1 is the samping threshold, set it to 1 or 2 for experiment
+ 10 is the sampling rounds, let's use 10
+
+*/
+
+int main(int argc, char* argv[]) {
+  // system("rm test_temp/*");
+
+  graph::Graph_CSR_CPU g;
+
+
+  g.read_graph(argv[1]);
+
+  auto pat2 = pattern_mining::PatListing::make_pattern(
+    pattern_mining::PatListing().pattern_listing(2));
+  auto pat3 = pattern_mining::PatListing::make_pattern(
+    pattern_mining::PatListing().pattern_listing(3));
+
+  double thh = atof(argv[2]);
+
+  double st = atof(argv[3]);
+
+  SamplingMethod sm;
+
+  if (st > 0) {
+    sm = clustered;
+  }
+  else {
+    sm = none;
+  }
+
+  cout << "sampling method: " << sm << endl;
+
+  int sampling_rounds = atoi(argv[4]);
+
+  double sup = (size_t)round(thh * g.num_nodes());
+
+  cout << "support threshold: " << sup << endl;
+
+  cout << "start matchings pat2: " << endl;
+  auto d2 = match(g, pat2, true, true, true, sup);
+
+  filter(d2, sup);
+  cout << "num of size-2 frequent patterns: " << d2.sgl->size() << endl;
+
+  cout << "start matchings pat3: " << endl;
+  util::Timer match_time;
+  match_time.start();
+  auto d3 = match(g, pat3, true, true, true, sup);
+  match_time.stop();
+
+  cout << "match 3 time: " << match_time.get() << " sec" << endl;
+
+  filter(d3, sup);
+
+  cout << "num of size-3 frequent patterns: " << d3.sgl->size() << endl;
+
+
+  vector<SGList> sgls = {d3, d3, d2};
+
+  cout << "building tables..." << endl;
+  auto [H, sw] = build_tables(sgls);
+  cout << "build table done" << endl;
+
+
+  double tot_time = 0;
+  SGList tot_res;
+
+  for (int i = 0; i < sampling_rounds; i++) {
+
+    util::Timer t;
+    t.start();
+    auto [d_res, ess] = join<true, true, true, false, 3, 4, 4, 3>(g, H, sgls, false, sm, { st, st }, sw, sup);
+    t.stop();
+
+    filter(d_res, sup);
+
+    if (tot_res.sgl == nullptr) tot_res = d_res;
+    else
+      tot_res.combine(d_res, true, false);
+
+    tot_time += t.get();
+
+    cout << "Time: " << tot_time << " sec, ";
+    if (tot_res.sgl) {
+      cout << "Num patterns: " << tot_res.sgl->keys.size() << endl;
+    }
+    else {
+      cout << "Num patterns: 0" << endl;
+    }
+
+  }
+
+
+  return 0;
+}
+
diff --git a/pattern_mining/test/fsm7_sampling.cpp b/pattern_mining/test/fsm7_sampling.cpp
new file mode 100644
index 0000000..3477b4f
--- /dev/null
+++ b/pattern_mining/test/fsm7_sampling.cpp
@@ -0,0 +1,114 @@
+#include <boost/multiprecision/cpp_dec_float.hpp>
+
+#include "pattern_mining/gmine.h"
+#include "util.h"
+typedef boost::multiprecision::cpp_dec_float_100 value_type;
+
+using namespace std;
+using namespace euler;
+using namespace euler::pattern_mining;
+
+typedef vector<pair<int, int>> pat_t;
+
+
+/* Example: ./fsm7_sampling.exe /data/not_backed_up/shared/gpm_data/citeseer.lg 0.001 1 10
+
+
+ 0.001 is the support threshold
+ 1 is the samping threshold, set it to 1 or 2 for experiment
+ 10 is the sampling rounds, let's use 10
+
+*/
+
+int main(int argc, char* argv[]) {
+  // system("rm test_temp/*");
+
+  graph::Graph_CSR_CPU g;
+
+
+  g.read_graph(argv[1]);
+
+  auto pat2 = pattern_mining::PatListing::make_pattern(
+    pattern_mining::PatListing().pattern_listing(2));
+  auto pat3 = pattern_mining::PatListing::make_pattern(
+    pattern_mining::PatListing().pattern_listing(3));
+
+  double thh = atof(argv[2]);
+
+  double st = atof(argv[3]);
+
+  SamplingMethod sm;
+
+  if (st > 0) {
+    sm = clustered;
+  }
+  else {
+    sm = none;
+  }
+
+  cout << "sampling method: " << sm << endl;
+
+  int sampling_rounds = atoi(argv[4]);
+
+  double sup = (size_t)round(thh * g.num_nodes());
+
+  cout << "support threshold: " << sup << endl;
+
+  cout << "start matchings pat2: " << endl;
+  auto d2 = match(g, pat2, true, true, true, sup);
+
+  filter(d2, sup);
+  cout << "num of size-2 frequent patterns: " << d2.sgl->size() << endl;
+
+  cout << "start matchings pat3: " << endl;
+  util::Timer match_time;
+  match_time.start();
+  auto d3 = match(g, pat3, true, true, true, sup);
+  match_time.stop();
+
+  cout << "match 3 time: " << match_time.get() << " sec" << endl;
+
+  filter(d3, sup);
+
+  cout << "num of size-3 frequent patterns: " << d3.sgl->size() << endl;
+
+
+  vector<SGList> sgls = { d3, d3, d3 };
+
+  cout << "building tables..." << endl;
+  auto [H, sw] = build_tables(sgls);
+  cout << "build table done" << endl;
+
+
+  double tot_time = 0;
+  SGList tot_res;
+
+  for (int i = 0; i < sampling_rounds; i++) {
+
+    util::Timer t;
+    t.start();
+    auto [d_res, ess] = join<true, true, true, false, 3, 4, 4, 4>(g, H, sgls, false, sm, { st, st }, sw, sup);
+    t.stop();
+
+    filter(d_res, sup);
+
+    if (tot_res.sgl == nullptr) tot_res = d_res;
+    else
+      tot_res.combine(d_res, true, false);
+
+    tot_time += t.get();
+
+    cout << "Time: " << tot_time << " sec, ";
+    if (tot_res.sgl) {
+      cout << "Num patterns: " << tot_res.sgl->keys.size() << endl;
+    }
+    else {
+      cout << "Num patterns: 0" << endl;
+    }
+
+  }
+
+
+  return 0;
+}
+

From f6ba3a8ebbe61a8e100d35b9a352a87acc1f09d7 Mon Sep 17 00:00:00 2001
From: root <root@zf-data-hdp-dn-gpu202.mt>
Date: Mon, 28 Jun 2021 20:00:18 +0800
Subject: [PATCH 2/5] correct sampling_param size

---
 pattern_mining/datasets/citeseer.lg   | 7801 +++++++++++++++++++++++++
 pattern_mining/test/fsm6_sampling.cpp |    2 +-
 pattern_mining/test/fsm7_sampling.cpp |    2 +-
 3 files changed, 7803 insertions(+), 2 deletions(-)
 create mode 100644 pattern_mining/datasets/citeseer.lg

diff --git a/pattern_mining/datasets/citeseer.lg b/pattern_mining/datasets/citeseer.lg
new file mode 100644
index 0000000..3e823ff
--- /dev/null
+++ b/pattern_mining/datasets/citeseer.lg
@@ -0,0 +1,7801 @@
+# t 1
+v 0 2
+v 1 2
+v 2 5
+v 3 6
+v 4 2
+v 5 2
+v 6 6
+v 7 2
+v 8 2
+v 9 4
+v 10 5
+v 11 6
+v 12 5
+v 13 2
+v 14 2
+v 15 4
+v 16 5
+v 17 5
+v 18 6
+v 19 6
+v 20 5
+v 21 4
+v 22 5
+v 23 4
+v 24 6
+v 25 2
+v 26 6
+v 27 4
+v 28 2
+v 29 5
+v 30 2
+v 31 5
+v 32 6
+v 33 2
+v 34 5
+v 35 5
+v 36 2
+v 37 2
+v 38 5
+v 39 5
+v 40 5
+v 41 2
+v 42 6
+v 43 5
+v 44 3
+v 45 4
+v 46 6
+v 47 5
+v 48 5
+v 49 4
+v 50 2
+v 51 4
+v 52 6
+v 53 4
+v 54 5
+v 55 4
+v 56 1
+v 57 5
+v 58 3
+v 59 6
+v 60 4
+v 61 4
+v 62 5
+v 63 3
+v 64 5
+v 65 3
+v 66 3
+v 67 4
+v 68 1
+v 69 1
+v 70 4
+v 71 6
+v 72 4
+v 73 6
+v 74 3
+v 75 6
+v 76 2
+v 77 6
+v 78 2
+v 79 6
+v 80 4
+v 81 6
+v 82 1
+v 83 6
+v 84 5
+v 85 5
+v 86 6
+v 87 6
+v 88 5
+v 89 6
+v 90 2
+v 91 5
+v 92 1
+v 93 5
+v 94 4
+v 95 6
+v 96 1
+v 97 6
+v 98 5
+v 99 6
+v 100 2
+v 101 6
+v 102 6
+v 103 4
+v 104 4
+v 105 4
+v 106 5
+v 107 4
+v 108 4
+v 109 4
+v 110 6
+v 111 1
+v 112 4
+v 113 5
+v 114 2
+v 115 4
+v 116 6
+v 117 1
+v 118 2
+v 119 1
+v 120 4
+v 121 5
+v 122 1
+v 123 6
+v 124 4
+v 125 5
+v 126 5
+v 127 4
+v 128 4
+v 129 5
+v 130 2
+v 131 1
+v 132 5
+v 133 6
+v 134 5
+v 135 2
+v 136 3
+v 137 2
+v 138 2
+v 139 1
+v 140 2
+v 141 4
+v 142 2
+v 143 4
+v 144 4
+v 145 3
+v 146 6
+v 147 4
+v 148 4
+v 149 6
+v 150 6
+v 151 4
+v 152 3
+v 153 2
+v 154 4
+v 155 2
+v 156 6
+v 157 3
+v 158 2
+v 159 4
+v 160 5
+v 161 3
+v 162 3
+v 163 3
+v 164 6
+v 165 2
+v 166 4
+v 167 2
+v 168 3
+v 169 2
+v 170 2
+v 171 5
+v 172 2
+v 173 5
+v 174 5
+v 175 6
+v 176 3
+v 177 2
+v 178 1
+v 179 1
+v 180 5
+v 181 4
+v 182 1
+v 183 4
+v 184 2
+v 185 2
+v 186 2
+v 187 5
+v 188 5
+v 189 5
+v 190 1
+v 191 1
+v 192 3
+v 193 2
+v 194 2
+v 195 5
+v 196 3
+v 197 5
+v 198 5
+v 199 2
+v 200 2
+v 201 2
+v 202 2
+v 203 3
+v 204 3
+v 205 3
+v 206 5
+v 207 6
+v 208 3
+v 209 5
+v 210 6
+v 211 3
+v 212 4
+v 213 5
+v 214 4
+v 215 3
+v 216 6
+v 217 6
+v 218 3
+v 219 6
+v 220 6
+v 221 1
+v 222 3
+v 223 6
+v 224 6
+v 225 3
+v 226 3
+v 227 2
+v 228 6
+v 229 6
+v 230 4
+v 231 3
+v 232 3
+v 233 2
+v 234 3
+v 235 5
+v 236 6
+v 237 3
+v 238 5
+v 239 4
+v 240 1
+v 241 3
+v 242 3
+v 243 3
+v 244 5
+v 245 6
+v 246 3
+v 247 3
+v 248 3
+v 249 3
+v 250 2
+v 251 6
+v 252 6
+v 253 5
+v 254 2
+v 255 4
+v 256 4
+v 257 2
+v 258 1
+v 259 4
+v 260 3
+v 261 2
+v 262 1
+v 263 2
+v 264 2
+v 265 6
+v 266 3
+v 267 6
+v 268 6
+v 269 6
+v 270 5
+v 271 6
+v 272 3
+v 273 4
+v 274 3
+v 275 6
+v 276 3
+v 277 3
+v 278 1
+v 279 3
+v 280 6
+v 281 4
+v 282 3
+v 283 6
+v 284 4
+v 285 4
+v 286 5
+v 287 3
+v 288 5
+v 289 5
+v 290 5
+v 291 1
+v 292 5
+v 293 6
+v 294 3
+v 295 4
+v 296 3
+v 297 4
+v 298 2
+v 299 6
+v 300 6
+v 301 3
+v 302 4
+v 303 4
+v 304 4
+v 305 6
+v 306 1
+v 307 5
+v 308 6
+v 309 3
+v 310 6
+v 311 2
+v 312 4
+v 313 1
+v 314 1
+v 315 6
+v 316 6
+v 317 1
+v 318 3
+v 319 3
+v 320 3
+v 321 2
+v 322 1
+v 323 2
+v 324 3
+v 325 2
+v 326 2
+v 327 2
+v 328 2
+v 329 2
+v 330 2
+v 331 2
+v 332 2
+v 333 6
+v 334 6
+v 335 6
+v 336 5
+v 337 3
+v 338 4
+v 339 4
+v 340 3
+v 341 3
+v 342 1
+v 343 4
+v 344 6
+v 345 3
+v 346 2
+v 347 2
+v 348 3
+v 349 5
+v 350 4
+v 351 3
+v 352 4
+v 353 2
+v 354 3
+v 355 5
+v 356 6
+v 357 5
+v 358 5
+v 359 4
+v 360 2
+v 361 2
+v 362 5
+v 363 2
+v 364 2
+v 365 4
+v 366 4
+v 367 5
+v 368 3
+v 369 5
+v 370 5
+v 371 3
+v 372 2
+v 373 4
+v 374 3
+v 375 5
+v 376 5
+v 377 4
+v 378 6
+v 379 3
+v 380 1
+v 381 4
+v 382 4
+v 383 3
+v 384 6
+v 385 5
+v 386 4
+v 387 3
+v 388 3
+v 389 6
+v 390 5
+v 391 3
+v 392 2
+v 393 3
+v 394 3
+v 395 5
+v 396 5
+v 397 3
+v 398 5
+v 399 5
+v 400 3
+v 401 1
+v 402 1
+v 403 3
+v 404 6
+v 405 3
+v 406 3
+v 407 3
+v 408 6
+v 409 3
+v 410 1
+v 411 1
+v 412 3
+v 413 3
+v 414 3
+v 415 5
+v 416 3
+v 417 3
+v 418 2
+v 419 4
+v 420 6
+v 421 1
+v 422 5
+v 423 4
+v 424 6
+v 425 3
+v 426 6
+v 427 3
+v 428 1
+v 429 4
+v 430 6
+v 431 4
+v 432 4
+v 433 3
+v 434 3
+v 435 6
+v 436 6
+v 437 3
+v 438 3
+v 439 6
+v 440 3
+v 441 3
+v 442 2
+v 443 5
+v 444 2
+v 445 2
+v 446 2
+v 447 5
+v 448 6
+v 449 5
+v 450 1
+v 451 6
+v 452 2
+v 453 5
+v 454 5
+v 455 6
+v 456 6
+v 457 3
+v 458 4
+v 459 6
+v 460 5
+v 461 2
+v 462 4
+v 463 6
+v 464 6
+v 465 4
+v 466 6
+v 467 1
+v 468 3
+v 469 3
+v 470 6
+v 471 5
+v 472 3
+v 473 5
+v 474 5
+v 475 1
+v 476 3
+v 477 5
+v 478 1
+v 479 1
+v 480 1
+v 481 1
+v 482 2
+v 483 5
+v 484 3
+v 485 3
+v 486 6
+v 487 6
+v 488 4
+v 489 6
+v 490 5
+v 491 6
+v 492 5
+v 493 6
+v 494 1
+v 495 6
+v 496 1
+v 497 1
+v 498 6
+v 499 6
+v 500 2
+v 501 1
+v 502 1
+v 503 1
+v 504 3
+v 505 1
+v 506 6
+v 507 6
+v 508 3
+v 509 6
+v 510 5
+v 511 4
+v 512 1
+v 513 2
+v 514 6
+v 515 6
+v 516 4
+v 517 6
+v 518 3
+v 519 3
+v 520 2
+v 521 6
+v 522 4
+v 523 6
+v 524 5
+v 525 6
+v 526 6
+v 527 1
+v 528 2
+v 529 2
+v 530 6
+v 531 4
+v 532 4
+v 533 4
+v 534 4
+v 535 2
+v 536 2
+v 537 5
+v 538 2
+v 539 6
+v 540 2
+v 541 1
+v 542 4
+v 543 6
+v 544 3
+v 545 1
+v 546 2
+v 547 4
+v 548 4
+v 549 5
+v 550 4
+v 551 1
+v 552 2
+v 553 4
+v 554 2
+v 555 2
+v 556 1
+v 557 6
+v 558 3
+v 559 2
+v 560 2
+v 561 2
+v 562 6
+v 563 2
+v 564 4
+v 565 4
+v 566 3
+v 567 4
+v 568 3
+v 569 6
+v 570 5
+v 571 1
+v 572 3
+v 573 3
+v 574 2
+v 575 6
+v 576 1
+v 577 6
+v 578 5
+v 579 3
+v 580 3
+v 581 3
+v 582 3
+v 583 3
+v 584 5
+v 585 5
+v 586 2
+v 587 3
+v 588 4
+v 589 2
+v 590 2
+v 591 2
+v 592 4
+v 593 2
+v 594 6
+v 595 2
+v 596 2
+v 597 2
+v 598 4
+v 599 2
+v 600 6
+v 601 2
+v 602 2
+v 603 2
+v 604 2
+v 605 2
+v 606 2
+v 607 2
+v 608 2
+v 609 2
+v 610 2
+v 611 2
+v 612 2
+v 613 2
+v 614 2
+v 615 2
+v 616 4
+v 617 2
+v 618 2
+v 619 2
+v 620 2
+v 621 2
+v 622 3
+v 623 2
+v 624 5
+v 625 2
+v 626 2
+v 627 2
+v 628 2
+v 629 2
+v 630 2
+v 631 2
+v 632 2
+v 633 2
+v 634 2
+v 635 4
+v 636 2
+v 637 2
+v 638 2
+v 639 2
+v 640 1
+v 641 2
+v 642 2
+v 643 2
+v 644 2
+v 645 2
+v 646 2
+v 647 2
+v 648 2
+v 649 2
+v 650 2
+v 651 5
+v 652 2
+v 653 2
+v 654 2
+v 655 2
+v 656 2
+v 657 2
+v 658 2
+v 659 2
+v 660 2
+v 661 2
+v 662 2
+v 663 2
+v 664 2
+v 665 5
+v 666 2
+v 667 2
+v 668 2
+v 669 2
+v 670 2
+v 671 2
+v 672 2
+v 673 2
+v 674 2
+v 675 4
+v 676 2
+v 677 2
+v 678 2
+v 679 5
+v 680 2
+v 681 2
+v 682 2
+v 683 5
+v 684 1
+v 685 2
+v 686 2
+v 687 2
+v 688 5
+v 689 2
+v 690 2
+v 691 3
+v 692 2
+v 693 2
+v 694 2
+v 695 2
+v 696 2
+v 697 2
+v 698 2
+v 699 1
+v 700 2
+v 701 2
+v 702 2
+v 703 2
+v 704 2
+v 705 2
+v 706 2
+v 707 2
+v 708 2
+v 709 2
+v 710 5
+v 711 2
+v 712 2
+v 713 4
+v 714 2
+v 715 2
+v 716 2
+v 717 2
+v 718 2
+v 719 4
+v 720 2
+v 721 2
+v 722 2
+v 723 2
+v 724 2
+v 725 2
+v 726 2
+v 727 2
+v 728 2
+v 729 2
+v 730 2
+v 731 4
+v 732 2
+v 733 2
+v 734 5
+v 735 2
+v 736 2
+v 737 2
+v 738 2
+v 739 2
+v 740 2
+v 741 5
+v 742 2
+v 743 2
+v 744 2
+v 745 6
+v 746 2
+v 747 2
+v 748 2
+v 749 2
+v 750 3
+v 751 3
+v 752 2
+v 753 2
+v 754 2
+v 755 2
+v 756 2
+v 757 2
+v 758 2
+v 759 2
+v 760 2
+v 761 2
+v 762 2
+v 763 2
+v 764 2
+v 765 2
+v 766 2
+v 767 1
+v 768 2
+v 769 2
+v 770 2
+v 771 2
+v 772 2
+v 773 2
+v 774 2
+v 775 2
+v 776 2
+v 777 2
+v 778 2
+v 779 2
+v 780 2
+v 781 2
+v 782 2
+v 783 2
+v 784 2
+v 785 2
+v 786 2
+v 787 2
+v 788 2
+v 789 2
+v 790 2
+v 791 5
+v 792 2
+v 793 2
+v 794 2
+v 795 2
+v 796 2
+v 797 2
+v 798 2
+v 799 2
+v 800 2
+v 801 2
+v 802 4
+v 803 5
+v 804 2
+v 805 2
+v 806 2
+v 807 2
+v 808 2
+v 809 5
+v 810 5
+v 811 2
+v 812 2
+v 813 4
+v 814 3
+v 815 2
+v 816 2
+v 817 2
+v 818 2
+v 819 2
+v 820 1
+v 821 2
+v 822 2
+v 823 2
+v 824 2
+v 825 2
+v 826 2
+v 827 3
+v 828 2
+v 829 2
+v 830 3
+v 831 2
+v 832 2
+v 833 2
+v 834 2
+v 835 2
+v 836 5
+v 837 2
+v 838 5
+v 839 6
+v 840 2
+v 841 2
+v 842 2
+v 843 2
+v 844 2
+v 845 2
+v 846 2
+v 847 5
+v 848 2
+v 849 2
+v 850 2
+v 851 4
+v 852 2
+v 853 2
+v 854 2
+v 855 2
+v 856 2
+v 857 2
+v 858 2
+v 859 6
+v 860 6
+v 861 6
+v 862 2
+v 863 2
+v 864 2
+v 865 2
+v 866 2
+v 867 2
+v 868 2
+v 869 2
+v 870 2
+v 871 2
+v 872 2
+v 873 2
+v 874 2
+v 875 4
+v 876 2
+v 877 2
+v 878 2
+v 879 2
+v 880 3
+v 881 2
+v 882 2
+v 883 2
+v 884 6
+v 885 1
+v 886 6
+v 887 2
+v 888 2
+v 889 2
+v 890 4
+v 891 5
+v 892 4
+v 893 2
+v 894 2
+v 895 2
+v 896 2
+v 897 2
+v 898 2
+v 899 2
+v 900 2
+v 901 2
+v 902 2
+v 903 2
+v 904 2
+v 905 2
+v 906 2
+v 907 2
+v 908 2
+v 909 5
+v 910 2
+v 911 2
+v 912 2
+v 913 1
+v 914 5
+v 915 2
+v 916 2
+v 917 2
+v 918 2
+v 919 2
+v 920 2
+v 921 2
+v 922 2
+v 923 2
+v 924 2
+v 925 2
+v 926 2
+v 927 2
+v 928 2
+v 929 6
+v 930 2
+v 931 2
+v 932 2
+v 933 6
+v 934 2
+v 935 2
+v 936 2
+v 937 6
+v 938 2
+v 939 2
+v 940 2
+v 941 2
+v 942 6
+v 943 1
+v 944 4
+v 945 2
+v 946 4
+v 947 5
+v 948 4
+v 949 5
+v 950 2
+v 951 2
+v 952 5
+v 953 2
+v 954 3
+v 955 2
+v 956 1
+v 957 2
+v 958 4
+v 959 2
+v 960 2
+v 961 4
+v 962 2
+v 963 4
+v 964 2
+v 965 2
+v 966 2
+v 967 3
+v 968 4
+v 969 2
+v 970 4
+v 971 5
+v 972 2
+v 973 4
+v 974 5
+v 975 2
+v 976 1
+v 977 1
+v 978 2
+v 979 3
+v 980 6
+v 981 2
+v 982 2
+v 983 2
+v 984 2
+v 985 2
+v 986 4
+v 987 6
+v 988 2
+v 989 3
+v 990 3
+v 991 5
+v 992 2
+v 993 2
+v 994 2
+v 995 5
+v 996 2
+v 997 2
+v 998 4
+v 999 2
+v 1000 1
+v 1001 2
+v 1002 4
+v 1003 2
+v 1004 2
+v 1005 2
+v 1006 2
+v 1007 4
+v 1008 4
+v 1009 2
+v 1010 2
+v 1011 2
+v 1012 2
+v 1013 2
+v 1014 2
+v 1015 1
+v 1016 4
+v 1017 2
+v 1018 2
+v 1019 2
+v 1020 2
+v 1021 6
+v 1022 2
+v 1023 2
+v 1024 2
+v 1025 2
+v 1026 2
+v 1027 2
+v 1028 2
+v 1029 5
+v 1030 2
+v 1031 6
+v 1032 4
+v 1033 3
+v 1034 1
+v 1035 3
+v 1036 5
+v 1037 2
+v 1038 2
+v 1039 2
+v 1040 2
+v 1041 4
+v 1042 5
+v 1043 4
+v 1044 5
+v 1045 6
+v 1046 2
+v 1047 6
+v 1048 2
+v 1049 2
+v 1050 2
+v 1051 2
+v 1052 2
+v 1053 2
+v 1054 2
+v 1055 1
+v 1056 2
+v 1057 5
+v 1058 2
+v 1059 2
+v 1060 4
+v 1061 5
+v 1062 2
+v 1063 2
+v 1064 5
+v 1065 2
+v 1066 6
+v 1067 2
+v 1068 2
+v 1069 2
+v 1070 2
+v 1071 2
+v 1072 6
+v 1073 1
+v 1074 2
+v 1075 2
+v 1076 1
+v 1077 3
+v 1078 4
+v 1079 4
+v 1080 2
+v 1081 2
+v 1082 2
+v 1083 2
+v 1084 5
+v 1085 2
+v 1086 2
+v 1087 2
+v 1088 6
+v 1089 2
+v 1090 2
+v 1091 2
+v 1092 4
+v 1093 2
+v 1094 2
+v 1095 2
+v 1096 2
+v 1097 2
+v 1098 2
+v 1099 2
+v 1100 2
+v 1101 2
+v 1102 1
+v 1103 2
+v 1104 2
+v 1105 2
+v 1106 5
+v 1107 2
+v 1108 2
+v 1109 6
+v 1110 6
+v 1111 6
+v 1112 6
+v 1113 2
+v 1114 2
+v 1115 2
+v 1116 6
+v 1117 2
+v 1118 2
+v 1119 2
+v 1120 2
+v 1121 2
+v 1122 2
+v 1123 2
+v 1124 6
+v 1125 5
+v 1126 5
+v 1127 5
+v 1128 3
+v 1129 3
+v 1130 3
+v 1131 3
+v 1132 3
+v 1133 3
+v 1134 3
+v 1135 3
+v 1136 3
+v 1137 3
+v 1138 3
+v 1139 3
+v 1140 3
+v 1141 3
+v 1142 3
+v 1143 3
+v 1144 3
+v 1145 3
+v 1146 5
+v 1147 3
+v 1148 2
+v 1149 5
+v 1150 3
+v 1151 3
+v 1152 3
+v 1153 6
+v 1154 5
+v 1155 3
+v 1156 4
+v 1157 4
+v 1158 3
+v 1159 3
+v 1160 3
+v 1161 3
+v 1162 3
+v 1163 5
+v 1164 3
+v 1165 3
+v 1166 3
+v 1167 5
+v 1168 3
+v 1169 5
+v 1170 5
+v 1171 5
+v 1172 6
+v 1173 6
+v 1174 1
+v 1175 6
+v 1176 6
+v 1177 6
+v 1178 6
+v 1179 1
+v 1180 6
+v 1181 1
+v 1182 1
+v 1183 6
+v 1184 6
+v 1185 6
+v 1186 6
+v 1187 6
+v 1188 6
+v 1189 3
+v 1190 2
+v 1191 1
+v 1192 2
+v 1193 3
+v 1194 2
+v 1195 2
+v 1196 1
+v 1197 5
+v 1198 2
+v 1199 5
+v 1200 6
+v 1201 6
+v 1202 1
+v 1203 5
+v 1204 1
+v 1205 5
+v 1206 5
+v 1207 6
+v 1208 1
+v 1209 5
+v 1210 1
+v 1211 1
+v 1212 6
+v 1213 6
+v 1214 6
+v 1215 5
+v 1216 1
+v 1217 3
+v 1218 4
+v 1219 5
+v 1220 6
+v 1221 6
+v 1222 5
+v 1223 4
+v 1224 6
+v 1225 5
+v 1226 3
+v 1227 6
+v 1228 2
+v 1229 2
+v 1230 2
+v 1231 5
+v 1232 6
+v 1233 2
+v 1234 6
+v 1235 6
+v 1236 3
+v 1237 1
+v 1238 2
+v 1239 1
+v 1240 6
+v 1241 6
+v 1242 5
+v 1243 1
+v 1244 1
+v 1245 2
+v 1246 5
+v 1247 6
+v 1248 5
+v 1249 4
+v 1250 5
+v 1251 4
+v 1252 5
+v 1253 4
+v 1254 4
+v 1255 4
+v 1256 4
+v 1257 4
+v 1258 4
+v 1259 3
+v 1260 3
+v 1261 6
+v 1262 3
+v 1263 6
+v 1264 3
+v 1265 5
+v 1266 5
+v 1267 3
+v 1268 1
+v 1269 5
+v 1270 5
+v 1271 5
+v 1272 3
+v 1273 3
+v 1274 5
+v 1275 1
+v 1276 1
+v 1277 1
+v 1278 1
+v 1279 2
+v 1280 5
+v 1281 1
+v 1282 5
+v 1283 5
+v 1284 6
+v 1285 1
+v 1286 6
+v 1287 5
+v 1288 5
+v 1289 5
+v 1290 6
+v 1291 3
+v 1292 6
+v 1293 5
+v 1294 4
+v 1295 5
+v 1296 4
+v 1297 5
+v 1298 4
+v 1299 4
+v 1300 1
+v 1301 3
+v 1302 3
+v 1303 4
+v 1304 6
+v 1305 3
+v 1306 5
+v 1307 5
+v 1308 4
+v 1309 5
+v 1310 4
+v 1311 3
+v 1312 3
+v 1313 6
+v 1314 6
+v 1315 5
+v 1316 5
+v 1317 4
+v 1318 4
+v 1319 2
+v 1320 3
+v 1321 3
+v 1322 1
+v 1323 6
+v 1324 6
+v 1325 6
+v 1326 4
+v 1327 4
+v 1328 3
+v 1329 4
+v 1330 4
+v 1331 6
+v 1332 4
+v 1333 4
+v 1334 4
+v 1335 6
+v 1336 6
+v 1337 5
+v 1338 6
+v 1339 1
+v 1340 5
+v 1341 5
+v 1342 5
+v 1343 5
+v 1344 6
+v 1345 2
+v 1346 3
+v 1347 3
+v 1348 5
+v 1349 3
+v 1350 5
+v 1351 5
+v 1352 3
+v 1353 4
+v 1354 1
+v 1355 4
+v 1356 3
+v 1357 5
+v 1358 6
+v 1359 3
+v 1360 6
+v 1361 6
+v 1362 3
+v 1363 3
+v 1364 4
+v 1365 6
+v 1366 6
+v 1367 1
+v 1368 5
+v 1369 1
+v 1370 1
+v 1371 5
+v 1372 4
+v 1373 4
+v 1374 6
+v 1375 4
+v 1376 4
+v 1377 4
+v 1378 6
+v 1379 3
+v 1380 4
+v 1381 4
+v 1382 3
+v 1383 3
+v 1384 3
+v 1385 5
+v 1386 4
+v 1387 3
+v 1388 4
+v 1389 6
+v 1390 3
+v 1391 3
+v 1392 4
+v 1393 4
+v 1394 3
+v 1395 6
+v 1396 3
+v 1397 4
+v 1398 4
+v 1399 6
+v 1400 6
+v 1401 5
+v 1402 6
+v 1403 6
+v 1404 1
+v 1405 5
+v 1406 6
+v 1407 1
+v 1408 4
+v 1409 4
+v 1410 5
+v 1411 5
+v 1412 3
+v 1413 6
+v 1414 6
+v 1415 3
+v 1416 4
+v 1417 6
+v 1418 3
+v 1419 6
+v 1420 5
+v 1421 1
+v 1422 1
+v 1423 6
+v 1424 4
+v 1425 3
+v 1426 6
+v 1427 3
+v 1428 6
+v 1429 4
+v 1430 3
+v 1431 6
+v 1432 1
+v 1433 3
+v 1434 4
+v 1435 4
+v 1436 3
+v 1437 3
+v 1438 4
+v 1439 3
+v 1440 1
+v 1441 5
+v 1442 4
+v 1443 4
+v 1444 3
+v 1445 5
+v 1446 6
+v 1447 3
+v 1448 5
+v 1449 3
+v 1450 3
+v 1451 1
+v 1452 3
+v 1453 5
+v 1454 3
+v 1455 4
+v 1456 4
+v 1457 4
+v 1458 4
+v 1459 4
+v 1460 4
+v 1461 3
+v 1462 3
+v 1463 2
+v 1464 3
+v 1465 3
+v 1466 3
+v 1467 3
+v 1468 3
+v 1469 3
+v 1470 5
+v 1471 6
+v 1472 2
+v 1473 5
+v 1474 5
+v 1475 6
+v 1476 2
+v 1477 6
+v 1478 6
+v 1479 6
+v 1480 4
+v 1481 6
+v 1482 3
+v 1483 3
+v 1484 3
+v 1485 4
+v 1486 4
+v 1487 4
+v 1488 4
+v 1489 2
+v 1490 6
+v 1491 6
+v 1492 6
+v 1493 3
+v 1494 6
+v 1495 4
+v 1496 3
+v 1497 6
+v 1498 5
+v 1499 3
+v 1500 5
+v 1501 3
+v 1502 6
+v 1503 5
+v 1504 6
+v 1505 4
+v 1506 4
+v 1507 5
+v 1508 5
+v 1509 5
+v 1510 5
+v 1511 5
+v 1512 5
+v 1513 2
+v 1514 3
+v 1515 6
+v 1516 1
+v 1517 3
+v 1518 6
+v 1519 6
+v 1520 6
+v 1521 3
+v 1522 5
+v 1523 5
+v 1524 3
+v 1525 3
+v 1526 3
+v 1527 3
+v 1528 6
+v 1529 6
+v 1530 1
+v 1531 3
+v 1532 3
+v 1533 6
+v 1534 3
+v 1535 3
+v 1536 4
+v 1537 4
+v 1538 6
+v 1539 1
+v 1540 5
+v 1541 5
+v 1542 6
+v 1543 5
+v 1544 5
+v 1545 1
+v 1546 5
+v 1547 5
+v 1548 6
+v 1549 6
+v 1550 5
+v 1551 6
+v 1552 1
+v 1553 3
+v 1554 3
+v 1555 3
+v 1556 3
+v 1557 5
+v 1558 6
+v 1559 5
+v 1560 6
+v 1561 6
+v 1562 5
+v 1563 6
+v 1564 6
+v 1565 5
+v 1566 5
+v 1567 6
+v 1568 3
+v 1569 4
+v 1570 5
+v 1571 3
+v 1572 5
+v 1573 5
+v 1574 6
+v 1575 1
+v 1576 6
+v 1577 5
+v 1578 5
+v 1579 4
+v 1580 5
+v 1581 6
+v 1582 3
+v 1583 5
+v 1584 6
+v 1585 1
+v 1586 6
+v 1587 6
+v 1588 6
+v 1589 6
+v 1590 6
+v 1591 6
+v 1592 6
+v 1593 6
+v 1594 1
+v 1595 3
+v 1596 3
+v 1597 5
+v 1598 1
+v 1599 1
+v 1600 5
+v 1601 4
+v 1602 6
+v 1603 3
+v 1604 6
+v 1605 3
+v 1606 6
+v 1607 5
+v 1608 6
+v 1609 4
+v 1610 6
+v 1611 5
+v 1612 6
+v 1613 6
+v 1614 3
+v 1615 1
+v 1616 5
+v 1617 3
+v 1618 1
+v 1619 6
+v 1620 3
+v 1621 6
+v 1622 6
+v 1623 6
+v 1624 6
+v 1625 5
+v 1626 6
+v 1627 5
+v 1628 6
+v 1629 5
+v 1630 6
+v 1631 5
+v 1632 6
+v 1633 5
+v 1634 6
+v 1635 6
+v 1636 6
+v 1637 1
+v 1638 6
+v 1639 6
+v 1640 6
+v 1641 5
+v 1642 6
+v 1643 6
+v 1644 6
+v 1645 6
+v 1646 5
+v 1647 6
+v 1648 5
+v 1649 6
+v 1650 6
+v 1651 6
+v 1652 6
+v 1653 5
+v 1654 6
+v 1655 6
+v 1656 6
+v 1657 6
+v 1658 6
+v 1659 6
+v 1660 5
+v 1661 6
+v 1662 6
+v 1663 5
+v 1664 1
+v 1665 1
+v 1666 6
+v 1667 5
+v 1668 3
+v 1669 5
+v 1670 3
+v 1671 4
+v 1672 3
+v 1673 6
+v 1674 5
+v 1675 3
+v 1676 6
+v 1677 6
+v 1678 6
+v 1679 6
+v 1680 3
+v 1681 3
+v 1682 6
+v 1683 3
+v 1684 6
+v 1685 3
+v 1686 5
+v 1687 3
+v 1688 6
+v 1689 2
+v 1690 1
+v 1691 3
+v 1692 5
+v 1693 6
+v 1694 3
+v 1695 6
+v 1696 6
+v 1697 6
+v 1698 4
+v 1699 6
+v 1700 6
+v 1701 6
+v 1702 6
+v 1703 1
+v 1704 3
+v 1705 5
+v 1706 6
+v 1707 5
+v 1708 5
+v 1709 3
+v 1710 6
+v 1711 6
+v 1712 1
+v 1713 1
+v 1714 1
+v 1715 6
+v 1716 3
+v 1717 6
+v 1718 6
+v 1719 3
+v 1720 6
+v 1721 6
+v 1722 6
+v 1723 5
+v 1724 6
+v 1725 6
+v 1726 5
+v 1727 6
+v 1728 6
+v 1729 5
+v 1730 6
+v 1731 6
+v 1732 6
+v 1733 3
+v 1734 1
+v 1735 3
+v 1736 6
+v 1737 6
+v 1738 1
+v 1739 5
+v 1740 6
+v 1741 6
+v 1742 1
+v 1743 6
+v 1744 1
+v 1745 1
+v 1746 2
+v 1747 3
+v 1748 4
+v 1749 6
+v 1750 1
+v 1751 2
+v 1752 3
+v 1753 6
+v 1754 3
+v 1755 3
+v 1756 1
+v 1757 4
+v 1758 5
+v 1759 5
+v 1760 4
+v 1761 4
+v 1762 4
+v 1763 2
+v 1764 2
+v 1765 6
+v 1766 3
+v 1767 4
+v 1768 3
+v 1769 4
+v 1770 6
+v 1771 3
+v 1772 4
+v 1773 5
+v 1774 4
+v 1775 4
+v 1776 1
+v 1777 3
+v 1778 3
+v 1779 4
+v 1780 1
+v 1781 1
+v 1782 3
+v 1783 5
+v 1784 4
+v 1785 5
+v 1786 3
+v 1787 5
+v 1788 5
+v 1789 5
+v 1790 3
+v 1791 4
+v 1792 5
+v 1793 1
+v 1794 3
+v 1795 4
+v 1796 4
+v 1797 4
+v 1798 5
+v 1799 5
+v 1800 6
+v 1801 3
+v 1802 4
+v 1803 3
+v 1804 6
+v 1805 5
+v 1806 4
+v 1807 4
+v 1808 6
+v 1809 4
+v 1810 1
+v 1811 3
+v 1812 4
+v 1813 3
+v 1814 3
+v 1815 3
+v 1816 3
+v 1817 4
+v 1818 6
+v 1819 2
+v 1820 4
+v 1821 5
+v 1822 3
+v 1823 4
+v 1824 1
+v 1825 4
+v 1826 4
+v 1827 1
+v 1828 5
+v 1829 3
+v 1830 5
+v 1831 6
+v 1832 1
+v 1833 4
+v 1834 5
+v 1835 5
+v 1836 3
+v 1837 6
+v 1838 6
+v 1839 6
+v 1840 4
+v 1841 3
+v 1842 5
+v 1843 1
+v 1844 1
+v 1845 3
+v 1846 2
+v 1847 5
+v 1848 3
+v 1849 3
+v 1850 5
+v 1851 3
+v 1852 4
+v 1853 3
+v 1854 3
+v 1855 3
+v 1856 3
+v 1857 3
+v 1858 3
+v 1859 3
+v 1860 3
+v 1861 5
+v 1862 3
+v 1863 3
+v 1864 3
+v 1865 3
+v 1866 3
+v 1867 3
+v 1868 5
+v 1869 6
+v 1870 4
+v 1871 5
+v 1872 5
+v 1873 3
+v 1874 3
+v 1875 4
+v 1876 6
+v 1877 1
+v 1878 3
+v 1879 3
+v 1880 3
+v 1881 3
+v 1882 2
+v 1883 3
+v 1884 3
+v 1885 3
+v 1886 1
+v 1887 1
+v 1888 1
+v 1889 1
+v 1890 4
+v 1891 4
+v 1892 4
+v 1893 1
+v 1894 4
+v 1895 1
+v 1896 4
+v 1897 5
+v 1898 5
+v 1899 3
+v 1900 5
+v 1901 4
+v 1902 6
+v 1903 3
+v 1904 5
+v 1905 6
+v 1906 2
+v 1907 6
+v 1908 3
+v 1909 6
+v 1910 3
+v 1911 5
+v 1912 3
+v 1913 5
+v 1914 2
+v 1915 5
+v 1916 5
+v 1917 5
+v 1918 5
+v 1919 1
+v 1920 6
+v 1921 5
+v 1922 5
+v 1923 3
+v 1924 3
+v 1925 4
+v 1926 5
+v 1927 3
+v 1928 4
+v 1929 3
+v 1930 3
+v 1931 3
+v 1932 6
+v 1933 3
+v 1934 5
+v 1935 5
+v 1936 3
+v 1937 5
+v 1938 4
+v 1939 5
+v 1940 3
+v 1941 3
+v 1942 2
+v 1943 6
+v 1944 4
+v 1945 5
+v 1946 5
+v 1947 5
+v 1948 5
+v 1949 6
+v 1950 6
+v 1951 6
+v 1952 1
+v 1953 5
+v 1954 6
+v 1955 1
+v 1956 5
+v 1957 5
+v 1958 4
+v 1959 4
+v 1960 4
+v 1961 3
+v 1962 1
+v 1963 3
+v 1964 4
+v 1965 2
+v 1966 3
+v 1967 5
+v 1968 5
+v 1969 2
+v 1970 5
+v 1971 5
+v 1972 5
+v 1973 5
+v 1974 5
+v 1975 5
+v 1976 6
+v 1977 5
+v 1978 3
+v 1979 5
+v 1980 5
+v 1981 5
+v 1982 3
+v 1983 4
+v 1984 6
+v 1985 3
+v 1986 5
+v 1987 6
+v 1988 3
+v 1989 6
+v 1990 5
+v 1991 3
+v 1992 5
+v 1993 6
+v 1994 5
+v 1995 4
+v 1996 3
+v 1997 6
+v 1998 6
+v 1999 5
+v 2000 6
+v 2001 5
+v 2002 6
+v 2003 6
+v 2004 3
+v 2005 6
+v 2006 5
+v 2007 4
+v 2008 4
+v 2009 6
+v 2010 6
+v 2011 5
+v 2012 6
+v 2013 3
+v 2014 3
+v 2015 4
+v 2016 4
+v 2017 5
+v 2018 3
+v 2019 3
+v 2020 3
+v 2021 2
+v 2022 2
+v 2023 3
+v 2024 5
+v 2025 3
+v 2026 3
+v 2027 1
+v 2028 3
+v 2029 6
+v 2030 6
+v 2031 3
+v 2032 6
+v 2033 3
+v 2034 3
+v 2035 3
+v 2036 3
+v 2037 5
+v 2038 5
+v 2039 5
+v 2040 5
+v 2041 3
+v 2042 3
+v 2043 5
+v 2044 4
+v 2045 6
+v 2046 5
+v 2047 3
+v 2048 4
+v 2049 4
+v 2050 6
+v 2051 6
+v 2052 6
+v 2053 6
+v 2054 3
+v 2055 3
+v 2056 3
+v 2057 5
+v 2058 5
+v 2059 3
+v 2060 6
+v 2061 2
+v 2062 3
+v 2063 6
+v 2064 5
+v 2065 5
+v 2066 3
+v 2067 3
+v 2068 5
+v 2069 5
+v 2070 4
+v 2071 3
+v 2072 5
+v 2073 3
+v 2074 3
+v 2075 6
+v 2076 6
+v 2077 5
+v 2078 6
+v 2079 3
+v 2080 4
+v 2081 5
+v 2082 5
+v 2083 3
+v 2084 1
+v 2085 2
+v 2086 4
+v 2087 6
+v 2088 5
+v 2089 6
+v 2090 6
+v 2091 5
+v 2092 3
+v 2093 4
+v 2094 6
+v 2095 5
+v 2096 6
+v 2097 4
+v 2098 6
+v 2099 6
+v 2100 4
+v 2101 6
+v 2102 6
+v 2103 6
+v 2104 3
+v 2105 6
+v 2106 6
+v 2107 1
+v 2108 3
+v 2109 4
+v 2110 4
+v 2111 4
+v 2112 2
+v 2113 4
+v 2114 4
+v 2115 5
+v 2116 5
+v 2117 4
+v 2118 4
+v 2119 3
+v 2120 4
+v 2121 6
+v 2122 5
+v 2123 3
+v 2124 1
+v 2125 6
+v 2126 5
+v 2127 5
+v 2128 6
+v 2129 1
+v 2130 5
+v 2131 5
+v 2132 5
+v 2133 5
+v 2134 1
+v 2135 5
+v 2136 5
+v 2137 4
+v 2138 5
+v 2139 4
+v 2140 3
+v 2141 3
+v 2142 5
+v 2143 6
+v 2144 6
+v 2145 5
+v 2146 5
+v 2147 5
+v 2148 5
+v 2149 3
+v 2150 5
+v 2151 5
+v 2152 5
+v 2153 1
+v 2154 3
+v 2155 3
+v 2156 3
+v 2157 3
+v 2158 6
+v 2159 5
+v 2160 6
+v 2161 3
+v 2162 6
+v 2163 6
+v 2164 1
+v 2165 3
+v 2166 2
+v 2167 3
+v 2168 3
+v 2169 3
+v 2170 3
+v 2171 3
+v 2172 3
+v 2173 4
+v 2174 5
+v 2175 4
+v 2176 4
+v 2177 3
+v 2178 3
+v 2179 6
+v 2180 2
+v 2181 5
+v 2182 5
+v 2183 4
+v 2184 4
+v 2185 5
+v 2186 5
+v 2187 1
+v 2188 2
+v 2189 6
+v 2190 4
+v 2191 4
+v 2192 4
+v 2193 4
+v 2194 3
+v 2195 3
+v 2196 5
+v 2197 5
+v 2198 4
+v 2199 5
+v 2200 6
+v 2201 3
+v 2202 2
+v 2203 1
+v 2204 3
+v 2205 5
+v 2206 4
+v 2207 6
+v 2208 5
+v 2209 3
+v 2210 6
+v 2211 5
+v 2212 2
+v 2213 5
+v 2214 5
+v 2215 5
+v 2216 5
+v 2217 5
+v 2218 6
+v 2219 6
+v 2220 5
+v 2221 3
+v 2222 5
+v 2223 4
+v 2224 3
+v 2225 6
+v 2226 3
+v 2227 6
+v 2228 1
+v 2229 5
+v 2230 1
+v 2231 6
+v 2232 6
+v 2233 3
+v 2234 4
+v 2235 4
+v 2236 6
+v 2237 5
+v 2238 1
+v 2239 4
+v 2240 3
+v 2241 3
+v 2242 6
+v 2243 4
+v 2244 5
+v 2245 5
+v 2246 1
+v 2247 3
+v 2248 4
+v 2249 4
+v 2250 4
+v 2251 1
+v 2252 3
+v 2253 6
+v 2254 6
+v 2255 3
+v 2256 4
+v 2257 5
+v 2258 6
+v 2259 6
+v 2260 5
+v 2261 3
+v 2262 6
+v 2263 3
+v 2264 3
+v 2265 1
+v 2266 4
+v 2267 6
+v 2268 5
+v 2269 1
+v 2270 4
+v 2271 3
+v 2272 4
+v 2273 3
+v 2274 4
+v 2275 1
+v 2276 5
+v 2277 4
+v 2278 3
+v 2279 4
+v 2280 3
+v 2281 3
+v 2282 5
+v 2283 4
+v 2284 3
+v 2285 6
+v 2286 5
+v 2287 4
+v 2288 6
+v 2289 1
+v 2290 1
+v 2291 4
+v 2292 4
+v 2293 6
+v 2294 3
+v 2295 6
+v 2296 6
+v 2297 5
+v 2298 3
+v 2299 3
+v 2300 4
+v 2301 1
+v 2302 2
+v 2303 5
+v 2304 5
+v 2305 3
+v 2306 5
+v 2307 5
+v 2308 4
+v 2309 5
+v 2310 6
+v 2311 5
+v 2312 5
+v 2313 1
+v 2314 6
+v 2315 3
+v 2316 6
+v 2317 6
+v 2318 5
+v 2319 6
+v 2320 6
+v 2321 3
+v 2322 6
+v 2323 6
+v 2324 5
+v 2325 6
+v 2326 3
+v 2327 6
+v 2328 3
+v 2329 3
+v 2330 3
+v 2331 4
+v 2332 6
+v 2333 6
+v 2334 6
+v 2335 1
+v 2336 5
+v 2337 3
+v 2338 3
+v 2339 3
+v 2340 6
+v 2341 4
+v 2342 4
+v 2343 4
+v 2344 3
+v 2345 6
+v 2346 6
+v 2347 3
+v 2348 2
+v 2349 4
+v 2350 5
+v 2351 2
+v 2352 4
+v 2353 2
+v 2354 2
+v 2355 6
+v 2356 3
+v 2357 5
+v 2358 5
+v 2359 5
+v 2360 3
+v 2361 5
+v 2362 2
+v 2363 2
+v 2364 3
+v 2365 5
+v 2366 4
+v 2367 3
+v 2368 3
+v 2369 4
+v 2370 6
+v 2371 3
+v 2372 6
+v 2373 4
+v 2374 3
+v 2375 6
+v 2376 6
+v 2377 3
+v 2378 4
+v 2379 3
+v 2380 2
+v 2381 4
+v 2382 3
+v 2383 3
+v 2384 4
+v 2385 4
+v 2386 4
+v 2387 6
+v 2388 3
+v 2389 4
+v 2390 4
+v 2391 6
+v 2392 5
+v 2393 4
+v 2394 3
+v 2395 4
+v 2396 3
+v 2397 2
+v 2398 3
+v 2399 3
+v 2400 3
+v 2401 4
+v 2402 3
+v 2403 6
+v 2404 6
+v 2405 4
+v 2406 3
+v 2407 3
+v 2408 4
+v 2409 3
+v 2410 5
+v 2411 4
+v 2412 3
+v 2413 3
+v 2414 4
+v 2415 3
+v 2416 5
+v 2417 4
+v 2418 4
+v 2419 1
+v 2420 4
+v 2421 6
+v 2422 2
+v 2423 4
+v 2424 5
+v 2425 4
+v 2426 4
+v 2427 3
+v 2428 2
+v 2429 6
+v 2430 3
+v 2431 3
+v 2432 4
+v 2433 3
+v 2434 6
+v 2435 4
+v 2436 4
+v 2437 5
+v 2438 4
+v 2439 1
+v 2440 6
+v 2441 3
+v 2442 3
+v 2443 4
+v 2444 6
+v 2445 3
+v 2446 5
+v 2447 5
+v 2448 3
+v 2449 3
+v 2450 2
+v 2451 3
+v 2452 3
+v 2453 3
+v 2454 3
+v 2455 6
+v 2456 6
+v 2457 6
+v 2458 3
+v 2459 3
+v 2460 3
+v 2461 4
+v 2462 6
+v 2463 5
+v 2464 4
+v 2465 5
+v 2466 5
+v 2467 1
+v 2468 4
+v 2469 3
+v 2470 1
+v 2471 4
+v 2472 4
+v 2473 5
+v 2474 5
+v 2475 3
+v 2476 3
+v 2477 3
+v 2478 4
+v 2479 1
+v 2480 1
+v 2481 3
+v 2482 4
+v 2483 4
+v 2484 6
+v 2485 2
+v 2486 4
+v 2487 4
+v 2488 4
+v 2489 3
+v 2490 3
+v 2491 4
+v 2492 3
+v 2493 5
+v 2494 6
+v 2495 3
+v 2496 5
+v 2497 5
+v 2498 5
+v 2499 6
+v 2500 2
+v 2501 5
+v 2502 4
+v 2503 5
+v 2504 5
+v 2505 5
+v 2506 5
+v 2507 2
+v 2508 3
+v 2509 6
+v 2510 5
+v 2511 4
+v 2512 4
+v 2513 3
+v 2514 3
+v 2515 5
+v 2516 5
+v 2517 6
+v 2518 5
+v 2519 5
+v 2520 6
+v 2521 6
+v 2522 3
+v 2523 3
+v 2524 6
+v 2525 2
+v 2526 6
+v 2527 3
+v 2528 4
+v 2529 6
+v 2530 5
+v 2531 5
+v 2532 6
+v 2533 6
+v 2534 5
+v 2535 1
+v 2536 6
+v 2537 3
+v 2538 4
+v 2539 6
+v 2540 5
+v 2541 3
+v 2542 6
+v 2543 3
+v 2544 1
+v 2545 4
+v 2546 3
+v 2547 3
+v 2548 1
+v 2549 6
+v 2550 6
+v 2551 6
+v 2552 6
+v 2553 6
+v 2554 6
+v 2555 5
+v 2556 6
+v 2557 3
+v 2558 3
+v 2559 3
+v 2560 4
+v 2561 6
+v 2562 3
+v 2563 1
+v 2564 3
+v 2565 3
+v 2566 3
+v 2567 3
+v 2568 5
+v 2569 6
+v 2570 5
+v 2571 5
+v 2572 5
+v 2573 6
+v 2574 3
+v 2575 2
+v 2576 4
+v 2577 2
+v 2578 6
+v 2579 3
+v 2580 1
+v 2581 4
+v 2582 1
+v 2583 6
+v 2584 6
+v 2585 3
+v 2586 3
+v 2587 4
+v 2588 4
+v 2589 3
+v 2590 6
+v 2591 3
+v 2592 2
+v 2593 4
+v 2594 4
+v 2595 5
+v 2596 3
+v 2597 4
+v 2598 1
+v 2599 3
+v 2600 3
+v 2601 5
+v 2602 5
+v 2603 4
+v 2604 5
+v 2605 5
+v 2606 5
+v 2607 3
+v 2608 6
+v 2609 3
+v 2610 1
+v 2611 3
+v 2612 5
+v 2613 4
+v 2614 4
+v 2615 5
+v 2616 1
+v 2617 3
+v 2618 5
+v 2619 1
+v 2620 1
+v 2621 6
+v 2622 3
+v 2623 4
+v 2624 6
+v 2625 6
+v 2626 5
+v 2627 3
+v 2628 3
+v 2629 5
+v 2630 6
+v 2631 1
+v 2632 3
+v 2633 4
+v 2634 1
+v 2635 1
+v 2636 1
+v 2637 5
+v 2638 2
+v 2639 4
+v 2640 5
+v 2641 4
+v 2642 4
+v 2643 4
+v 2644 5
+v 2645 3
+v 2646 5
+v 2647 4
+v 2648 5
+v 2649 1
+v 2650 4
+v 2651 4
+v 2652 4
+v 2653 6
+v 2654 4
+v 2655 5
+v 2656 5
+v 2657 3
+v 2658 4
+v 2659 5
+v 2660 3
+v 2661 4
+v 2662 4
+v 2663 3
+v 2664 3
+v 2665 5
+v 2666 4
+v 2667 4
+v 2668 1
+v 2669 4
+v 2670 5
+v 2671 3
+v 2672 3
+v 2673 5
+v 2674 6
+v 2675 5
+v 2676 4
+v 2677 3
+v 2678 3
+v 2679 5
+v 2680 3
+v 2681 5
+v 2682 5
+v 2683 5
+v 2684 5
+v 2685 5
+v 2686 4
+v 2687 5
+v 2688 5
+v 2689 4
+v 2690 5
+v 2691 5
+v 2692 3
+v 2693 4
+v 2694 3
+v 2695 6
+v 2696 5
+v 2697 3
+v 2698 3
+v 2699 5
+v 2700 5
+v 2701 2
+v 2702 5
+v 2703 5
+v 2704 4
+v 2705 5
+v 2706 6
+v 2707 5
+v 2708 2
+v 2709 4
+v 2710 3
+v 2711 6
+v 2712 3
+v 2713 3
+v 2714 5
+v 2715 3
+v 2716 3
+v 2717 3
+v 2718 3
+v 2719 5
+v 2720 5
+v 2721 3
+v 2722 3
+v 2723 2
+v 2724 1
+v 2725 3
+v 2726 6
+v 2727 5
+v 2728 4
+v 2729 6
+v 2730 3
+v 2731 6
+v 2732 3
+v 2733 4
+v 2734 5
+v 2735 6
+v 2736 1
+v 2737 4
+v 2738 5
+v 2739 5
+v 2740 4
+v 2741 5
+v 2742 6
+v 2743 5
+v 2744 5
+v 2745 5
+v 2746 4
+v 2747 4
+v 2748 4
+v 2749 5
+v 2750 6
+v 2751 2
+v 2752 6
+v 2753 6
+v 2754 1
+v 2755 1
+v 2756 6
+v 2757 3
+v 2758 1
+v 2759 3
+v 2760 6
+v 2761 6
+v 2762 3
+v 2763 3
+v 2764 6
+v 2765 1
+v 2766 5
+v 2767 5
+v 2768 1
+v 2769 2
+v 2770 4
+v 2771 5
+v 2772 1
+v 2773 4
+v 2774 6
+v 2775 3
+v 2776 5
+v 2777 1
+v 2778 1
+v 2779 6
+v 2780 2
+v 2781 1
+v 2782 5
+v 2783 4
+v 2784 5
+v 2785 4
+v 2786 4
+v 2787 3
+v 2788 6
+v 2789 3
+v 2790 5
+v 2791 6
+v 2792 5
+v 2793 5
+v 2794 5
+v 2795 4
+v 2796 5
+v 2797 5
+v 2798 5
+v 2799 3
+v 2800 3
+v 2801 3
+v 2802 3
+v 2803 5
+v 2804 6
+v 2805 5
+v 2806 6
+v 2807 5
+v 2808 3
+v 2809 5
+v 2810 3
+v 2811 3
+v 2812 4
+v 2813 5
+v 2814 3
+v 2815 3
+v 2816 4
+v 2817 5
+v 2818 6
+v 2819 6
+v 2820 3
+v 2821 3
+v 2822 6
+v 2823 3
+v 2824 6
+v 2825 6
+v 2826 3
+v 2827 5
+v 2828 5
+v 2829 5
+v 2830 4
+v 2831 4
+v 2832 3
+v 2833 3
+v 2834 3
+v 2835 6
+v 2836 3
+v 2837 4
+v 2838 6
+v 2839 2
+v 2840 5
+v 2841 5
+v 2842 3
+v 2843 5
+v 2844 4
+v 2845 3
+v 2846 4
+v 2847 3
+v 2848 4
+v 2849 1
+v 2850 5
+v 2851 5
+v 2852 5
+v 2853 5
+v 2854 5
+v 2855 1
+v 2856 5
+v 2857 3
+v 2858 3
+v 2859 2
+v 2860 5
+v 2861 5
+v 2862 5
+v 2863 5
+v 2864 3
+v 2865 5
+v 2866 5
+v 2867 5
+v 2868 6
+v 2869 4
+v 2870 3
+v 2871 3
+v 2872 3
+v 2873 3
+v 2874 6
+v 2875 1
+v 2876 4
+v 2877 5
+v 2878 6
+v 2879 4
+v 2880 5
+v 2881 5
+v 2882 4
+v 2883 5
+v 2884 3
+v 2885 4
+v 2886 4
+v 2887 4
+v 2888 4
+v 2889 5
+v 2890 4
+v 2891 4
+v 2892 4
+v 2893 4
+v 2894 4
+v 2895 5
+v 2896 4
+v 2897 3
+v 2898 3
+v 2899 3
+v 2900 5
+v 2901 3
+v 2902 5
+v 2903 1
+v 2904 6
+v 2905 5
+v 2906 5
+v 2907 6
+v 2908 3
+v 2909 3
+v 2910 5
+v 2911 5
+v 2912 6
+v 2913 6
+v 2914 5
+v 2915 5
+v 2916 1
+v 2917 3
+v 2918 5
+v 2919 3
+v 2920 5
+v 2921 5
+v 2922 1
+v 2923 5
+v 2924 5
+v 2925 5
+v 2926 5
+v 2927 5
+v 2928 5
+v 2929 5
+v 2930 5
+v 2931 6
+v 2932 6
+v 2933 1
+v 2934 5
+v 2935 6
+v 2936 6
+v 2937 1
+v 2938 5
+v 2939 4
+v 2940 4
+v 2941 5
+v 2942 6
+v 2943 2
+v 2944 3
+v 2945 2
+v 2946 1
+v 2947 3
+v 2948 6
+v 2949 3
+v 2950 1
+v 2951 6
+v 2952 6
+v 2953 4
+v 2954 3
+v 2955 5
+v 2956 4
+v 2957 2
+v 2958 5
+v 2959 5
+v 2960 5
+v 2961 5
+v 2962 3
+v 2963 3
+v 2964 4
+v 2965 3
+v 2966 5
+v 2967 4
+v 2968 3
+v 2969 4
+v 2970 3
+v 2971 5
+v 2972 3
+v 2973 3
+v 2974 3
+v 2975 3
+v 2976 3
+v 2977 3
+v 2978 5
+v 2979 5
+v 2980 6
+v 2981 4
+v 2982 4
+v 2983 4
+v 2984 4
+v 2985 4
+v 2986 4
+v 2987 4
+v 2988 5
+v 2989 4
+v 2990 4
+v 2991 2
+v 2992 5
+v 2993 5
+v 2994 3
+v 2995 5
+v 2996 2
+v 2997 3
+v 2998 5
+v 2999 5
+v 3000 5
+v 3001 4
+v 3002 6
+v 3003 4
+v 3004 6
+v 3005 4
+v 3006 3
+v 3007 5
+v 3008 2
+v 3009 3
+v 3010 3
+v 3011 4
+v 3012 6
+v 3013 3
+v 3014 5
+v 3015 5
+v 3016 4
+v 3017 5
+v 3018 5
+v 3019 3
+v 3020 3
+v 3021 3
+v 3022 3
+v 3023 3
+v 3024 4
+v 3025 3
+v 3026 4
+v 3027 1
+v 3028 4
+v 3029 6
+v 3030 5
+v 3031 2
+v 3032 3
+v 3033 3
+v 3034 3
+v 3035 5
+v 3036 4
+v 3037 4
+v 3038 3
+v 3039 3
+v 3040 3
+v 3041 4
+v 3042 1
+v 3043 3
+v 3044 4
+v 3045 3
+v 3046 5
+v 3047 5
+v 3048 2
+v 3049 6
+v 3050 1
+v 3051 6
+v 3052 5
+v 3053 6
+v 3054 3
+v 3055 4
+v 3056 6
+v 3057 6
+v 3058 5
+v 3059 5
+v 3060 5
+v 3061 5
+v 3062 5
+v 3063 5
+v 3064 5
+v 3065 5
+v 3066 6
+v 3067 6
+v 3068 4
+v 3069 4
+v 3070 5
+v 3071 5
+v 3072 6
+v 3073 6
+v 3074 5
+v 3075 5
+v 3076 3
+v 3077 3
+v 3078 3
+v 3079 3
+v 3080 3
+v 3081 4
+v 3082 4
+v 3083 3
+v 3084 4
+v 3085 4
+v 3086 5
+v 3087 2
+v 3088 4
+v 3089 3
+v 3090 5
+v 3091 5
+v 3092 6
+v 3093 5
+v 3094 5
+v 3095 5
+v 3096 6
+v 3097 5
+v 3098 5
+v 3099 5
+v 3100 5
+v 3101 5
+v 3102 1
+v 3103 6
+v 3104 4
+v 3105 4
+v 3106 3
+v 3107 4
+v 3108 5
+v 3109 5
+v 3110 4
+v 3111 3
+v 3112 3
+v 3113 1
+v 3114 5
+v 3115 6
+v 3116 3
+v 3117 4
+v 3118 3
+v 3119 3
+v 3120 3
+v 3121 3
+v 3122 3
+v 3123 3
+v 3124 3
+v 3125 3
+v 3126 5
+v 3127 3
+v 3128 3
+v 3129 3
+v 3130 5
+v 3131 5
+v 3132 2
+v 3133 6
+v 3134 4
+v 3135 3
+v 3136 6
+v 3137 5
+v 3138 5
+v 3139 2
+v 3140 5
+v 3141 3
+v 3142 6
+v 3143 5
+v 3144 4
+v 3145 5
+v 3146 6
+v 3147 4
+v 3148 3
+v 3149 1
+v 3150 3
+v 3151 1
+v 3152 6
+v 3153 6
+v 3154 5
+v 3155 5
+v 3156 3
+v 3157 3
+v 3158 6
+v 3159 5
+v 3160 6
+v 3161 4
+v 3162 5
+v 3163 4
+v 3164 4
+v 3165 4
+v 3166 5
+v 3167 4
+v 3168 5
+v 3169 4
+v 3170 4
+v 3171 4
+v 3172 3
+v 3173 4
+v 3174 3
+v 3175 4
+v 3176 3
+v 3177 1
+v 3178 4
+v 3179 3
+v 3180 5
+v 3181 4
+v 3182 4
+v 3183 3
+v 3184 3
+v 3185 5
+v 3186 3
+v 3187 1
+v 3188 5
+v 3189 3
+v 3190 5
+v 3191 5
+v 3192 4
+v 3193 5
+v 3194 6
+v 3195 5
+v 3196 6
+v 3197 6
+v 3198 6
+v 3199 2
+v 3200 3
+v 3201 5
+v 3202 4
+v 3203 5
+v 3204 5
+v 3205 5
+v 3206 6
+v 3207 6
+v 3208 1
+v 3209 4
+v 3210 4
+v 3211 4
+v 3212 4
+v 3213 5
+v 3214 5
+v 3215 5
+v 3216 5
+v 3217 5
+v 3218 6
+v 3219 4
+v 3220 4
+v 3221 5
+v 3222 5
+v 3223 3
+v 3224 5
+v 3225 2
+v 3226 4
+v 3227 5
+v 3228 5
+v 3229 5
+v 3230 5
+v 3231 5
+v 3232 5
+v 3233 6
+v 3234 4
+v 3235 5
+v 3236 6
+v 3237 3
+v 3238 3
+v 3239 3
+v 3240 3
+v 3241 6
+v 3242 3
+v 3243 3
+v 3244 3
+v 3245 6
+v 3246 2
+v 3247 3
+v 3248 3
+v 3249 3
+v 3250 3
+v 3251 4
+v 3252 4
+v 3253 6
+v 3254 3
+v 3255 4
+v 3256 5
+v 3257 5
+v 3258 1
+v 3259 1
+v 3260 3
+v 3261 3
+v 3262 4
+v 3263 4
+e 0 869 1
+e 1 597 1
+e 1 2206 1
+e 1 2886 1
+e 1 669 1
+e 1 326 1
+e 1 794 1
+e 2 2089 1
+e 2 711 1
+e 2 2928 1
+e 2 2906 1
+e 2 2038 1
+e 2 17 1
+e 2 1559 1
+e 3 451 1
+e 3 929 1
+e 4 626 1
+e 4 773 1
+e 5 641 1
+e 5 442 1
+e 5 686 1
+e 5 445 1
+e 5 2302 1
+e 5 857 1
+e 5 930 1
+e 6 2089 1
+e 6 2685 1
+e 6 2507 1
+e 6 3074 1
+e 7 598 1
+e 7 678 1
+e 7 14 1
+e 7 714 1
+e 7 715 1
+e 7 770 1
+e 7 798 1
+e 7 869 1
+e 7 896 1
+e 7 897 1
+e 8 560 1
+e 8 904 1
+e 9 1195 1
+e 10 353 1
+e 10 553 1
+e 10 183 1
+e 10 719 1
+e 10 734 1
+e 10 200 1
+e 11 171 1
+e 11 2216 1
+e 11 2200 1
+e 11 2531 1
+e 11 2187 1
+e 11 1641 1
+e 11 3257 1
+e 11 3058 1
+e 11 2276 1
+e 11 2297 1
+e 12 38 1
+e 13 748 1
+e 14 714 1
+e 15 169 1
+e 15 3018 1
+e 16 1911 1
+e 17 1541 1
+e 17 1551 1
+e 17 711 1
+e 17 2928 1
+e 17 2906 1
+e 17 2038 1
+e 17 1559 1
+e 18 2520 1
+e 18 2494 1
+e 19 847 1
+e 20 1199 1
+e 20 839 1
+e 21 598 1
+e 21 829 1
+e 22 2088 1
+e 22 1344 1
+e 22 2510 1
+e 23 1169 1
+e 24 600 1
+e 24 1558 1
+e 24 862 1
+e 25 781 1
+e 25 527 1
+e 25 201 1
+e 26 1339 1
+e 26 1549 1
+e 26 1191 1
+e 26 801 1
+e 26 501 1
+e 27 359 1
+e 27 2676 1
+e 28 1190 1
+e 28 366 1
+e 29 1547 1
+e 30 597 1
+e 30 2206 1
+e 30 2886 1
+e 30 669 1
+e 30 326 1
+e 30 794 1
+e 31 2345 1
+e 31 1283 1
+e 31 839 1
+e 31 499 1
+e 31 2365 1
+e 31 958 1
+e 31 2245 1
+e 31 2317 1
+e 31 1685 1
+e 31 2624 1
+e 31 97 1
+e 31 2918 1
+e 32 1974 1
+e 33 169 1
+e 33 3258 1
+e 33 676 1
+e 33 1195 1
+e 33 749 1
+e 33 754 1
+e 33 797 1
+e 33 811 1
+e 33 887 1
+e 33 898 1
+e 33 931 1
+e 34 3071 1
+e 35 2133 1
+e 35 2208 1
+e 35 1473 1
+e 35 2038 1
+e 35 3086 1
+e 35 2507 1
+e 35 1351 1
+e 35 195 1
+e 35 198 1
+e 35 847 1
+e 35 2958 1
+e 35 891 1
+e 36 353 1
+e 36 553 1
+e 36 183 1
+e 36 719 1
+e 36 734 1
+e 36 200 1
+e 37 869 1
+e 38 836 1
+e 39 171 1
+e 39 2216 1
+e 39 2200 1
+e 39 43 1
+e 39 2531 1
+e 39 2187 1
+e 39 1641 1
+e 39 3257 1
+e 39 2447 1
+e 39 3058 1
+e 39 2276 1
+e 39 2297 1
+e 40 734 1
+e 41 794 1
+e 42 443 1
+e 42 886 1
+e 43 171 1
+e 43 2216 1
+e 44 2031 1
+e 44 2669 1
+e 45 1873 1
+e 45 2576 1
+e 46 2578 1
+e 47 1599 1
+e 48 2091 1
+e 48 1268 1
+e 49 3005 1
+e 50 78 1
+e 51 1376 1
+e 52 3153 1
+e 53 60 1
+e 53 67 1
+e 54 2531 1
+e 55 1594 1
+e 55 1376 1
+e 55 2408 1
+e 55 70 1
+e 55 72 1
+e 56 2743 1
+e 56 454 1
+e 56 2552 1
+e 56 2644 1
+e 56 244 1
+e 57 3172 1
+e 57 129 1
+e 58 382 1
+e 58 2174 1
+e 59 144 1
+e 60 2389 1
+e 60 2622 1
+e 61 2411 1
+e 61 1486 1
+e 62 1267 1
+e 63 1849 1
+e 63 2826 1
+e 63 1815 1
+e 63 2574 1
+e 64 1206 1
+e 64 2043 1
+e 65 2633 1
+e 66 2630 1
+e 68 2723 1
+e 68 2563 1
+e 68 165 1
+e 68 2951 1
+e 69 723 1
+e 69 2563 1
+e 69 2951 1
+e 70 2308 1
+e 70 1381 1
+e 70 2890 1
+e 71 1644 1
+e 72 2137 1
+e 72 2773 1
+e 72 1380 1
+e 72 1460 1
+e 72 1487 1
+e 72 3234 1
+e 72 312 1
+e 72 1671 1
+e 73 293 1
+e 74 296 1
+e 74 2294 1
+e 75 2753 1
+e 75 2950 1
+e 76 2571 1
+e 76 992 1
+e 76 993 1
+e 77 2532 1
+e 77 1907 1
+e 78 372 1
+e 78 227 1
+e 78 994 1
+e 79 2578 1
+e 80 2229 1
+e 80 1218 1
+e 80 2905 1
+e 81 1589 1
+e 82 2335 1
+e 83 1706 1
+e 84 1470 1
+e 85 1528 1
+e 85 1241 1
+e 86 110 1
+e 87 99 1
+e 87 267 1
+e 87 1054 1
+e 88 2677 1
+e 89 3198 1
+e 90 1082 1
+e 91 1711 1
+e 92 2874 1
+e 92 1743 1
+e 93 1009 1
+e 93 2079 1
+e 94 2475 1
+e 95 517 1
+e 95 1058 1
+e 95 2638 1
+e 96 2769 1
+e 96 278 1
+e 96 122 1
+e 97 2365 1
+e 97 1029 1
+e 97 1453 1
+e 97 126 1
+e 98 2365 1
+e 98 1453 1
+e 99 267 1
+e 99 1054 1
+e 100 1116 1
+e 101 1022 1
+e 101 1030 1
+e 101 1037 1
+e 101 1038 1
+e 101 1954 1
+e 101 1068 1
+e 101 1749 1
+e 102 498 1
+e 102 499 1
+e 102 886 1
+e 102 2365 1
+e 102 125 1
+e 103 112 1
+e 104 973 1
+e 104 256 1
+e 104 3170 1
+e 105 2785 1
+e 105 2016 1
+e 105 2270 1
+e 106 498 1
+e 106 2923 1
+e 107 2471 1
+e 108 112 1
+e 109 1840 1
+e 111 378 1
+e 111 1837 1
+e 113 1399 1
+e 114 1419 1
+e 115 1078 1
+e 116 426 1
+e 116 3206 1
+e 117 543 1
+e 118 1091 1
+e 119 543 1
+e 120 2192 1
+e 120 2485 1
+e 121 3000 1
+e 122 2499 1
+e 122 278 1
+e 123 1066 1
+e 124 2685 1
+e 124 588 1
+e 126 493 1
+e 126 2365 1
+e 127 3182 1
+e 128 1420 1
+e 129 1692 1
+e 129 1709 1
+e 130 764 1
+e 131 1341 1
+e 131 646 1
+e 131 677 1
+e 131 681 1
+e 131 484 1
+e 131 368 1
+e 132 2682 1
+e 132 2683 1
+e 132 2684 1
+e 132 3071 1
+e 132 585 1
+e 132 1170 1
+e 132 2797 1
+e 132 2200 1
+e 132 3131 1
+e 132 1203 1
+e 133 1564 1
+e 134 2091 1
+e 134 2507 1
+e 134 1917 1
+e 135 764 1
+e 136 808 1
+e 136 880 1
+e 136 563 1
+e 136 2154 1
+e 136 1305 1
+e 136 989 1
+e 137 794 1
+e 137 812 1
+e 138 1472 1
+e 139 1192 1
+e 139 753 1
+e 139 1790 1
+e 139 870 1
+e 139 2221 1
+e 140 674 1
+e 140 445 1
+e 140 364 1
+e 140 789 1
+e 140 799 1
+e 141 2198 1
+e 142 2529 1
+e 142 2063 1
+e 142 3245 1
+e 142 389 1
+e 142 980 1
+e 142 1657 1
+e 143 377 1
+e 143 2438 1
+e 143 1486 1
+e 144 1218 1
+e 145 2226 1
+e 146 2706 1
+e 147 2390 1
+e 147 2891 1
+e 148 946 1
+e 148 1377 1
+e 149 1542 1
+e 149 2375 1
+e 150 1765 1
+e 150 334 1
+e 150 3152 1
+e 150 2536 1
+e 150 1213 1
+e 150 1642 1
+e 150 2553 1
+e 151 458 1
+e 152 2071 1
+e 152 206 1
+e 152 3010 1
+e 152 2388 1
+e 152 3148 1
+e 152 238 1
+e 152 2949 1
+e 153 564 1
+e 153 955 1
+e 153 978 1
+e 153 567 1
+e 154 2417 1
+e 154 462 1
+e 155 2760 1
+e 155 2405 1
+e 155 3004 1
+e 156 1652 1
+e 157 2908 1
+e 157 2321 1
+e 158 1044 1
+e 159 2940 1
+e 160 2089 1
+e 160 2884 1
+e 161 1878 1
+e 162 2838 1
+e 163 2947 1
+e 163 3243 1
+e 163 287 1
+e 164 2027 1
+e 165 1513 1
+e 165 1233 1
+e 165 2951 1
+e 166 432 1
+e 166 2292 1
+e 167 1746 1
+e 167 1245 1
+e 167 2859 1
+e 167 1099 1
+e 167 1100 1
+e 167 1118 1
+e 168 2278 1
+e 168 2612 1
+e 169 1472 1
+e 169 629 1
+e 169 713 1
+e 169 752 1
+e 169 771 1
+e 169 811 1
+e 169 484 1
+e 169 368 1
+e 169 906 1
+e 170 554 1
+e 171 2497 1
+e 171 493 1
+e 172 554 1
+e 173 1788 1
+e 173 2656 1
+e 173 1977 1
+e 173 275 1
+e 174 178 1
+e 174 2090 1
+e 174 2091 1
+e 174 1871 1
+e 174 2993 1
+e 175 1475 1
+e 176 2954 1
+e 176 1357 1
+e 177 918 1
+e 178 1854 1
+e 178 179 1
+e 178 691 1
+e 178 703 1
+e 178 1914 1
+e 178 729 1
+e 178 730 1
+e 178 2618 1
+e 178 1917 1
+e 178 1283 1
+e 178 838 1
+e 178 839 1
+e 178 846 1
+e 178 866 1
+e 179 691 1
+e 180 2133 1
+e 180 490 1
+e 180 1546 1
+e 180 1448 1
+e 180 483 1
+e 180 2058 1
+e 180 1288 1
+e 180 2501 1
+e 180 1342 1
+e 180 2208 1
+e 180 1348 1
+e 180 3014 1
+e 180 2038 1
+e 180 362 1
+e 180 2303 1
+e 180 3086 1
+e 180 1972 1
+e 180 2506 1
+e 180 1351 1
+e 180 1562 1
+e 180 1127 1
+e 180 2911 1
+e 180 3052 1
+e 180 1199 1
+e 180 3221 1
+e 180 2361 1
+e 180 2955 1
+e 180 2126 1
+e 180 195 1
+e 180 1572 1
+e 180 198 1
+e 180 2958 1
+e 180 891 1
+e 180 3166 1
+e 181 3220 1
+e 181 2882 1
+e 182 719 1
+e 183 553 1
+e 183 719 1
+e 183 820 1
+e 184 721 1
+e 184 722 1
+e 184 361 1
+e 184 1200 1
+e 184 501 1
+e 185 723 1
+e 185 361 1
+e 185 789 1
+e 186 869 1
+e 187 2992 1
+e 187 2906 1
+e 187 1977 1
+e 187 1983 1
+e 188 2797 1
+e 189 3097 1
+e 189 2133 1
+e 189 2707 1
+e 189 3086 1
+e 189 289 1
+e 189 290 1
+e 189 1785 1
+e 189 1788 1
+e 189 2359 1
+e 189 2656 1
+e 189 1789 1
+e 189 2640 1
+e 189 1792 1
+e 189 2516 1
+e 189 2217 1
+e 189 3065 1
+e 189 370 1
+e 189 2629 1
+e 189 974 1
+e 189 991 1
+e 189 2493 1
+e 190 1920 1
+e 191 719 1
+e 192 1973 1
+e 192 1918 1
+e 193 321 1
+e 193 2781 1
+e 194 823 1
+e 194 2957 1
+e 195 2685 1
+e 195 1342 1
+e 195 2906 1
+e 195 2040 1
+e 195 2126 1
+e 195 2978 1
+e 195 198 1
+e 195 847 1
+e 196 2519 1
+e 197 624 1
+e 197 734 1
+e 197 836 1
+e 198 1342 1
+e 198 2906 1
+e 198 2038 1
+e 198 2126 1
+e 198 2978 1
+e 198 847 1
+e 198 891 1
+e 199 686 1
+e 199 876 1
+e 199 1028 1
+e 201 590 1
+e 201 1906 1
+e 202 794 1
+e 202 3008 1
+e 202 926 1
+e 202 928 1
+e 203 1367 1
+e 203 1927 1
+e 203 457 1
+e 203 225 1
+e 203 1141 1
+e 203 1667 1
+e 204 1478 1
+e 204 2236 1
+e 204 2405 1
+e 204 2561 1
+e 204 1484 1
+e 204 1673 1
+e 204 463 1
+e 204 2259 1
+e 204 2009 1
+e 205 246 1
+e 206 2949 1
+e 207 2667 1
+e 208 2071 1
+e 208 2694 1
+e 208 3010 1
+e 208 2073 1
+e 208 2074 1
+e 208 2240 1
+e 208 2157 1
+e 208 1387 1
+e 208 242 1
+e 208 2696 1
+e 209 2091 1
+e 209 2961 1
+e 209 1268 1
+e 209 952 1
+e 210 1957 1
+e 211 2715 1
+e 211 2377 1
+e 212 1959 1
+e 212 3226 1
+e 213 504 1
+e 213 1450 1
+e 214 1623 1
+e 215 1215 1
+e 215 991 1
+e 216 1584 1
+e 216 1800 1
+e 217 2228 1
+e 217 2950 1
+e 218 2715 1
+e 218 1596 1
+e 218 1482 1
+e 218 2968 1
+e 219 1661 1
+e 219 2569 1
+e 219 3253 1
+e 220 1661 1
+e 221 1661 1
+e 221 2569 1
+e 221 3253 1
+e 222 3108 1
+e 222 2828 1
+e 222 2930 1
+e 222 2714 1
+e 222 336 1
+e 222 956 1
+e 222 995 1
+e 223 1172 1
+e 223 1558 1
+e 223 1178 1
+e 223 1638 1
+e 223 2421 1
+e 224 933 1
+e 224 333 1
+e 224 1602 1
+e 224 1624 1
+e 224 2076 1
+e 224 2441 1
+e 225 2347 1
+e 225 457 1
+e 225 231 1
+e 226 3184 1
+e 226 3189 1
+e 228 293 1
+e 229 2313 1
+e 230 3211 1
+e 230 1892 1
+e 231 1367 1
+e 231 1927 1
+e 231 457 1
+e 231 1141 1
+e 231 1667 1
+e 232 247 1
+e 233 1370 1
+e 234 3239 1
+e 234 579 1
+e 234 580 1
+e 234 581 1
+e 234 1390 1
+e 234 1668 1
+e 235 2158 1
+e 236 1600 1
+e 237 374 1
+e 237 2558 1
+e 237 1167 1
+e 238 2949 1
+e 239 1873 1
+e 240 2931 1
+e 240 1604 1
+e 241 959 1
+e 242 2715 1
+e 243 297 1
+e 243 2250 1
+e 243 1929 1
+e 243 2845 1
+e 243 397 1
+e 244 454 1
+e 244 1674 1
+e 245 2372 1
+e 245 509 1
+e 245 512 1
+e 246 2800 1
+e 246 296 1
+e 246 2394 1
+e 247 333 1
+e 248 3019 1
+e 248 3242 1
+e 248 2947 1
+e 248 3243 1
+e 249 572 1
+e 249 573 1
+e 250 2616 1
+e 251 1690 1
+e 251 1751 1
+e 252 1715 1
+e 253 2305 1
+e 253 2467 1
+e 254 263 1
+e 254 264 1
+e 255 2274 1
+e 257 1096 1
+e 258 1083 1
+e 259 2587 1
+e 260 2492 1
+e 261 1002 1
+e 262 313 1
+e 262 314 1
+e 263 264 1
+e 264 1049 1
+e 264 1050 1
+e 264 1051 1
+e 265 2050 1
+e 266 2489 1
+e 267 1054 1
+e 268 1417 1
+e 269 2529 1
+e 269 3092 1
+e 270 2858 1
+e 270 1148 1
+e 270 3138 1
+e 271 1403 1
+e 272 3023 1
+e 273 2061 1
+e 274 1863 1
+e 274 1452 1
+e 274 2035 1
+e 274 1430 1
+e 274 438 1
+e 275 3158 1
+e 275 1331 1
+e 276 2716 1
+e 277 2280 1
+e 278 2769 1
+e 278 2143 1
+e 278 2839 1
+e 278 2144 1
+e 278 1744 1
+e 279 1415 1
+e 279 2119 1
+e 280 1722 1
+e 281 343 1
+e 282 2618 1
+e 282 2444 1
+e 282 2490 1
+e 283 2723 1
+e 283 1000 1
+e 284 2192 1
+e 284 2485 1
+e 285 2588 1
+e 285 3165 1
+e 286 2069 1
+e 286 2029 1
+e 287 2947 1
+e 287 3243 1
+e 288 3059 1
+e 288 3061 1
+e 288 3062 1
+e 288 3063 1
+e 288 3064 1
+e 288 1350 1
+e 288 2306 1
+e 288 3221 1
+e 288 3035 1
+e 288 3101 1
+e 288 2629 1
+e 288 2714 1
+e 289 2361 1
+e 290 3059 1
+e 290 3061 1
+e 290 3062 1
+e 290 3063 1
+e 290 3064 1
+e 290 1350 1
+e 290 2306 1
+e 290 3221 1
+e 290 3035 1
+e 290 3101 1
+e 290 370 1
+e 290 2629 1
+e 290 2714 1
+e 290 1297 1
+e 290 1947 1
+e 290 1948 1
+e 291 1325 1
+e 292 3180 1
+e 292 333 1
+e 293 1949 1
+e 293 2550 1
+e 294 2663 1
+e 295 2985 1
+e 297 2413 1
+e 297 2415 1
+e 297 2845 1
+e 297 397 1
+e 298 461 1
+e 299 2621 1
+e 299 1666 1
+e 299 2319 1
+e 300 2980 1
+e 300 1720 1
+e 301 2026 1
+e 302 2283 1
+e 303 304 1
+e 304 2786 1
+e 305 1968 1
+e 305 688 1
+e 305 1498 1
+e 305 2834 1
+e 305 1566 1
+e 305 2039 1
+e 305 307 1
+e 306 869 1
+e 306 2772 1
+e 307 683 1
+e 307 2088 1
+e 307 1344 1
+e 307 1498 1
+e 307 710 1
+e 307 2834 1
+e 308 1366 1
+e 309 504 1
+e 309 2045 1
+e 310 1649 1
+e 311 2945 1
+e 311 531 1
+e 311 972 1
+e 312 1460 1
+e 312 3234 1
+e 312 1671 1
+e 315 2099 1
+e 316 1088 1
+e 317 1816 1
+e 318 691 1
+e 318 587 1
+e 319 320 1
+e 321 648 1
+e 321 701 1
+e 321 329 1
+e 321 868 1
+e 322 837 1
+e 322 932 1
+e 323 561 1
+e 323 825 1
+e 323 330 1
+e 323 931 1
+e 324 3240 1
+e 325 1463 1
+e 326 631 1
+e 326 1906 1
+e 326 327 1
+e 326 482 1
+e 326 879 1
+e 327 328 1
+e 328 631 1
+e 329 701 1
+e 330 822 1
+e 330 561 1
+e 330 825 1
+e 330 906 1
+e 331 2180 1
+e 331 2357 1
+e 331 364 1
+e 331 857 1
+e 332 837 1
+e 332 932 1
+e 333 2952 1
+e 333 1587 1
+e 333 349 1
+e 333 566 1
+e 333 2573 1
+e 334 1765 1
+e 334 1213 1
+e 335 1765 1
+e 336 2979 1
+e 336 1627 1
+e 337 1849 1
+e 337 1991 1
+e 337 2194 1
+e 337 1815 1
+e 337 1436 1
+e 338 2890 1
+e 338 2747 1
+e 339 1890 1
+e 339 1892 1
+e 339 1398 1
+e 340 1704 1
+e 341 1346 1
+e 341 2596 1
+e 342 1719 1
+e 343 2785 1
+e 343 2594 1
+e 343 2270 1
+e 343 1964 1
+e 344 2590 1
+e 344 1110 1
+e 344 2616 1
+e 345 2586 1
+e 346 601 1
+e 346 347 1
+e 346 869 1
+e 347 868 1
+e 347 872 1
+e 348 1433 1
+e 348 2566 1
+e 348 549 1
+e 349 388 1
+e 349 2577 1
+e 350 2984 1
+e 350 1442 1
+e 350 1757 1
+e 351 2566 1
+e 352 2848 1
+e 354 2364 1
+e 355 1541 1
+e 355 490 1
+e 355 1551 1
+e 355 2618 1
+e 355 1509 1
+e 355 1358 1
+e 355 1641 1
+e 355 1511 1
+e 355 2702 1
+e 355 1512 1
+e 356 1868 1
+e 357 2682 1
+e 357 2683 1
+e 357 2684 1
+e 358 2685 1
+e 358 809 1
+e 360 603 1
+e 360 2736 1
+e 361 721 1
+e 361 723 1
+e 361 1200 1
+e 361 2577 1
+e 362 1546 1
+e 362 2685 1
+e 362 2906 1
+e 362 2305 1
+e 362 1975 1
+e 362 1509 1
+e 363 450 1
+e 363 2993 1
+e 364 648 1
+e 365 1569 1
+e 366 1198 1
+e 366 898 1
+e 367 2861 1
+e 367 2152 1
+e 368 2903 1
+e 369 655 1
+e 369 761 1
+e 370 3059 1
+e 370 3061 1
+e 370 2707 1
+e 370 3062 1
+e 370 3063 1
+e 370 2069 1
+e 370 2040 1
+e 370 2516 1
+e 370 2217 1
+e 370 3035 1
+e 370 3101 1
+e 370 3065 1
+e 370 2629 1
+e 371 3097 1
+e 371 1556 1
+e 371 1571 1
+e 373 2137 1
+e 373 1457 1
+e 373 1380 1
+e 374 1933 1
+e 374 3120 1
+e 374 3122 1
+e 375 489 1
+e 375 2092 1
+e 375 2416 1
+e 376 1573 1
+e 376 1309 1
+e 377 2982 1
+e 378 1358 1
+e 379 2523 1
+e 379 2546 1
+e 380 951 1
+e 381 1372 1
+e 382 1372 1
+e 383 3047 1
+e 384 1304 1
+e 385 2687 1
+e 386 1582 1
+e 386 3208 1
+e 386 1993 1
+e 387 2899 1
+e 387 2547 1
+e 387 2871 1
+e 387 2872 1
+e 388 2366 1
+e 388 2370 1
+e 388 2530 1
+e 388 1679 1
+e 388 1684 1
+e 390 2840 1
+e 390 2841 1
+e 391 2495 1
+e 391 3179 1
+e 391 579 1
+e 391 580 1
+e 392 966 1
+e 392 461 1
+e 393 1359 1
+e 393 1137 1
+e 393 1142 1
+e 394 1929 1
+e 395 1540 1
+e 395 1576 1
+e 395 1185 1
+e 395 453 1
+e 395 2095 1
+e 396 2560 1
+e 396 1500 1
+e 397 1811 1
+e 397 1929 1
+e 397 2845 1
+e 398 1799 1
+e 398 2880 1
+e 398 3216 1
+e 398 3090 1
+e 399 489 1
+e 399 1197 1
+e 399 2092 1
+e 399 1358 1
+e 399 1219 1
+e 399 1225 1
+e 399 2572 1
+e 400 1855 1
+e 400 1858 1
+e 401 3186 1
+e 401 3250 1
+e 402 3151 1
+e 403 2585 1
+e 403 1149 1
+e 403 437 1
+e 404 435 1
+e 404 1497 1
+e 405 409 1
+e 405 1534 1
+e 406 2611 1
+e 407 1260 1
+e 407 412 1
+e 408 3012 1
+e 408 2750 1
+e 409 3186 1
+e 409 3250 1
+e 410 1743 1
+e 411 2265 1
+e 412 1260 1
+e 413 1412 1
+e 414 1531 1
+e 415 1835 1
+e 416 2019 1
+e 417 2195 1
+e 417 2328 1
+e 417 2815 1
+e 418 1000 1
+e 418 2849 1
+e 419 2110 1
+e 420 2340 1
+e 421 1718 1
+e 422 2673 1
+e 423 1079 1
+e 423 588 1
+e 424 2276 1
+e 425 2600 1
+e 425 2609 1
+e 426 3206 1
+e 427 3122 1
+e 428 1327 1
+e 428 549 1
+e 428 1329 1
+e 429 2613 1
+e 430 2275 1
+e 431 2015 1
+e 433 568 1
+e 433 2034 1
+e 434 1829 1
+e 434 3122 1
+e 435 1497 1
+e 436 1515 1
+e 437 702 1
+e 438 1716 1
+e 439 1431 1
+e 440 2273 1
+e 441 1782 1
+e 442 608 1
+e 442 668 1
+e 442 445 1
+e 442 446 1
+e 442 857 1
+e 442 889 1
+e 444 2358 1
+e 445 638 1
+e 445 642 1
+e 445 660 1
+e 445 706 1
+e 445 446 1
+e 445 2302 1
+e 445 1195 1
+e 445 2363 1
+e 446 609 1
+e 446 641 1
+e 446 686 1
+e 446 2953 1
+e 446 2302 1
+e 446 857 1
+e 446 930 1
+e 447 686 1
+e 447 2353 1
+e 448 1560 1
+e 449 1974 1
+e 449 3221 1
+e 450 1265 1
+e 450 2864 1
+e 450 1266 1
+e 450 2867 1
+e 452 767 1
+e 452 482 1
+e 453 1576 1
+e 453 1586 1
+e 453 2095 1
+e 454 1723 1
+e 455 2753 1
+e 455 2091 1
+e 455 1309 1
+e 455 1064 1
+e 456 2429 1
+e 456 2005 1
+e 458 2175 1
+e 459 1608 1
+e 459 1610 1
+e 459 1697 1
+e 460 1205 1
+e 460 1209 1
+e 460 1629 1
+e 461 965 1
+e 461 966 1
+e 462 2420 1
+e 462 1253 1
+e 462 2643 1
+e 462 1486 1
+e 464 2570 1
+e 464 2704 1
+e 465 1505 1
+e 466 1697 1
+e 467 2582 1
+e 468 1347 1
+e 468 2599 1
+e 468 1062 1
+e 469 1347 1
+e 469 1978 1
+e 469 2453 1
+e 469 1860 1
+e 470 514 1
+e 471 1503 1
+e 471 2329 1
+e 472 2607 1
+e 473 2595 1
+e 474 1168 1
+e 474 2993 1
+e 475 1232 1
+e 476 1061 1
+e 477 1935 1
+e 478 479 1
+e 478 480 1
+e 478 481 1
+e 478 777 1
+e 478 501 1
+e 478 2768 1
+e 479 481 1
+e 479 495 1
+e 479 497 1
+e 479 801 1
+e 479 501 1
+e 480 481 1
+e 480 495 1
+e 480 497 1
+e 480 801 1
+e 480 501 1
+e 480 2768 1
+e 481 497 1
+e 481 801 1
+e 481 2768 1
+e 482 615 1
+e 482 685 1
+e 482 769 1
+e 482 907 1
+e 482 912 1
+e 483 2906 1
+e 483 2038 1
+e 483 2506 1
+e 483 3074 1
+e 483 1579 1
+e 485 1131 1
+e 486 509 1
+e 486 2724 1
+e 487 1558 1
+e 487 2060 1
+e 488 2331 1
+e 489 2091 1
+e 489 1561 1
+e 489 2229 1
+e 489 1206 1
+e 489 1629 1
+e 489 2416 1
+e 489 1663 1
+e 489 1674 1
+e 490 557 1
+e 490 2906 1
+e 491 1868 1
+e 491 2090 1
+e 491 2929 1
+e 491 2091 1
+e 491 1974 1
+e 491 1197 1
+e 491 1573 1
+e 491 2961 1
+e 491 1206 1
+e 491 1629 1
+e 491 1219 1
+e 491 1663 1
+e 492 683 1
+e 492 710 1
+e 492 1557 1
+e 492 1559 1
+e 492 2817 1
+e 493 1282 1
+e 493 2497 1
+e 493 2090 1
+e 493 1283 1
+e 493 2200 1
+e 493 2365 1
+e 493 2128 1
+e 494 547 1
+e 494 731 1
+e 495 1338 1
+e 495 661 1
+e 495 824 1
+e 495 501 1
+e 496 1466 1
+e 496 1192 1
+e 496 2221 1
+e 497 630 1
+e 497 801 1
+e 497 1513 1
+e 497 501 1
+e 497 502 1
+e 498 1199 1
+e 498 1219 1
+e 498 2437 1
+e 498 3229 1
+e 499 2087 1
+e 499 557 1
+e 499 810 1
+e 499 3221 1
+e 499 1573 1
+e 499 1926 1
+e 499 2437 1
+e 499 1999 1
+e 499 2971 1
+e 500 746 1
+e 500 812 1
+e 501 2346 1
+e 501 775 1
+e 501 801 1
+e 501 2729 1
+e 502 1191 1
+e 502 801 1
+e 503 2527 1
+e 503 1883 1
+e 503 1382 1
+e 503 1527 1
+e 503 2559 1
+e 504 1450 1
+e 505 2153 1
+e 505 3102 1
+e 505 1211 1
+e 505 1383 1
+e 506 1608 1
+e 506 1610 1
+e 507 2095 1
+e 508 1464 1
+e 508 1465 1
+e 508 1466 1
+e 508 1467 1
+e 508 1468 1
+e 508 1469 1
+e 508 3177 1
+e 508 3010 1
+e 508 2547 1
+e 509 1598 1
+e 509 2387 1
+e 509 2724 1
+e 509 512 1
+e 509 2950 1
+e 510 2803 1
+e 510 2187 1
+e 511 3081 1
+e 511 2545 1
+e 512 2774 1
+e 512 2633 1
+e 513 953 1
+e 515 1046 1
+e 515 1108 1
+e 516 2956 1
+e 516 3011 1
+e 518 1412 1
+e 519 1320 1
+e 520 1079 1
+e 521 1072 1
+e 522 2956 1
+e 522 3011 1
+e 523 1687 1
+e 523 1694 1
+e 523 3244 1
+e 523 2732 1
+e 523 1412 1
+e 524 2792 1
+e 525 1021 1
+e 526 3177 1
+e 526 1844 1
+e 527 610 1
+e 527 685 1
+e 527 932 1
+e 528 2945 1
+e 528 1763 1
+e 528 531 1
+e 528 548 1
+e 528 972 1
+e 528 982 1
+e 529 2945 1
+e 529 1763 1
+e 529 972 1
+e 530 2835 1
+e 530 1677 1
+e 531 533 1
+e 532 2198 1
+e 534 1307 1
+e 534 1398 1
+e 535 1223 1
+e 536 1229 1
+e 537 2216 1
+e 537 2447 1
+e 537 1102 1
+e 538 546 1
+e 539 2129 1
+e 540 1047 1
+e 541 1007 1
+e 542 1239 1
+e 543 1045 1
+e 544 721 1
+e 544 723 1
+e 544 545 1
+e 546 722 1
+e 546 1079 1
+e 547 731 1
+e 547 813 1
+e 547 874 1
+e 547 892 1
+e 547 955 1
+e 548 948 1
+e 548 961 1
+e 550 955 1
+e 550 1098 1
+e 551 2143 1
+e 551 1281 1
+e 551 2144 1
+e 552 554 1
+e 552 555 1
+e 553 2300 1
+e 553 719 1
+e 553 797 1
+e 554 1121 1
+e 554 789 1
+e 554 799 1
+e 554 805 1
+e 554 827 1
+e 554 898 1
+e 554 918 1
+e 554 923 1
+e 555 1190 1
+e 555 889 1
+e 555 918 1
+e 556 2347 1
+e 556 1356 1
+e 557 622 1
+e 557 2087 1
+e 557 2089 1
+e 557 1126 1
+e 557 2091 1
+e 557 1351 1
+e 557 2092 1
+e 557 1508 1
+e 558 3240 1
+e 559 783 1
+e 559 785 1
+e 559 789 1
+e 560 715 1
+e 560 908 1
+e 561 822 1
+e 561 869 1
+e 561 902 1
+e 562 1471 1
+e 562 1476 1
+e 562 1477 1
+e 563 1516 1
+e 563 2842 1
+e 563 612 1
+e 563 684 1
+e 563 1517 1
+e 563 702 1
+e 563 2301 1
+e 563 738 1
+e 563 752 1
+e 563 790 1
+e 563 880 1
+e 563 893 1
+e 564 2239 1
+e 564 1218 1
+e 565 2576 1
+e 567 978 1
+e 569 575 1
+e 570 2703 1
+e 571 576 1
+e 574 1031 1
+e 574 1319 1
+e 574 1091 1
+e 574 1108 1
+e 577 578 1
+e 579 3179 1
+e 579 2523 1
+e 579 2379 1
+e 579 581 1
+e 579 2155 1
+e 580 3179 1
+e 580 2523 1
+e 580 2379 1
+e 580 581 1
+e 580 2155 1
+e 581 3179 1
+e 581 2523 1
+e 581 2433 1
+e 582 1159 1
+e 583 1164 1
+e 584 2766 1
+e 585 734 1
+e 586 920 1
+e 587 691 1
+e 589 1764 1
+e 590 610 1
+e 590 685 1
+e 590 1906 1
+e 591 1906 1
+e 592 2308 1
+e 592 1486 1
+e 593 595 1
+e 594 2285 1
+e 596 911 1
+e 597 602 1
+e 597 1198 1
+e 598 644 1
+e 598 681 1
+e 598 3001 1
+e 598 915 1
+e 599 715 1
+e 599 904 1
+e 600 1906 1
+e 600 1198 1
+e 600 860 1
+e 601 869 1
+e 602 1198 1
+e 604 681 1
+e 605 3225 1
+e 605 746 1
+e 605 794 1
+e 605 853 1
+e 606 794 1
+e 607 1906 1
+e 607 932 1
+e 608 643 1
+e 608 652 1
+e 608 726 1
+e 608 739 1
+e 608 783 1
+e 608 787 1
+e 608 800 1
+e 608 869 1
+e 608 871 1
+e 609 2131 1
+e 610 1906 1
+e 611 869 1
+e 612 790 1
+e 612 808 1
+e 613 823 1
+e 613 2957 1
+e 614 869 1
+e 616 2658 1
+e 616 923 1
+e 617 789 1
+e 617 799 1
+e 617 828 1
+e 618 656 1
+e 618 901 1
+e 619 806 1
+e 620 869 1
+e 621 827 1
+e 621 923 1
+e 622 1854 1
+e 622 2087 1
+e 622 2618 1
+e 622 2834 1
+e 622 1522 1
+e 622 771 1
+e 622 2167 1
+e 622 839 1
+e 622 3099 1
+e 622 2782 1
+e 623 762 1
+e 623 763 1
+e 623 843 1
+e 624 734 1
+e 624 836 1
+e 625 761 1
+e 626 635 1
+e 626 3258 1
+e 626 640 1
+e 627 698 1
+e 627 870 1
+e 628 770 1
+e 632 725 1
+e 633 713 1
+e 633 851 1
+e 634 794 1
+e 634 853 1
+e 634 855 1
+e 634 879 1
+e 635 773 1
+e 636 698 1
+e 636 1362 1
+e 637 794 1
+e 637 850 1
+e 637 853 1
+e 638 699 1
+e 639 742 1
+e 639 869 1
+e 640 773 1
+e 641 930 1
+e 642 737 1
+e 642 744 1
+e 643 668 1
+e 644 765 1
+e 644 769 1
+e 644 915 1
+e 645 776 1
+e 645 829 1
+e 645 873 1
+e 645 919 1
+e 647 877 1
+e 648 689 1
+e 648 1345 1
+e 648 755 1
+e 648 868 1
+e 649 747 1
+e 649 856 1
+e 650 725 1
+e 650 748 1
+e 651 2707 1
+e 651 3062 1
+e 651 2906 1
+e 651 1771 1
+e 651 3101 1
+e 651 3065 1
+e 652 668 1
+e 653 869 1
+e 654 869 1
+e 654 913 1
+e 655 759 1
+e 655 853 1
+e 657 780 1
+e 658 832 1
+e 658 833 1
+e 658 834 1
+e 659 795 1
+e 659 887 1
+e 661 669 1
+e 661 801 1
+e 662 705 1
+e 662 792 1
+e 663 799 1
+e 664 798 1
+e 664 876 1
+e 665 2306 1
+e 666 789 1
+e 666 923 1
+e 667 787 1
+e 668 726 1
+e 668 739 1
+e 668 783 1
+e 668 787 1
+e 669 745 1
+e 669 794 1
+e 669 1569 1
+e 670 714 1
+e 670 770 1
+e 670 782 1
+e 670 798 1
+e 670 845 1
+e 670 896 1
+e 671 725 1
+e 671 789 1
+e 671 799 1
+e 672 857 1
+e 672 869 1
+e 672 918 1
+e 673 819 1
+e 673 931 1
+e 674 2362 1
+e 674 897 1
+e 675 716 1
+e 676 2924 1
+e 678 798 1
+e 679 734 1
+e 680 2658 1
+e 682 820 1
+e 682 854 1
+e 683 1968 1
+e 683 1544 1
+e 683 2902 1
+e 683 1850 1
+e 683 2912 1
+e 683 1566 1
+e 685 1906 1
+e 685 794 1
+e 685 811 1
+e 686 770 1
+e 686 857 1
+e 687 789 1
+e 688 1968 1
+e 688 734 1
+e 688 1566 1
+e 688 2960 1
+e 689 3177 1
+e 690 869 1
+e 691 2574 1
+e 692 695 1
+e 693 695 1
+e 693 794 1
+e 693 801 1
+e 693 872 1
+e 694 695 1
+e 694 794 1
+e 694 801 1
+e 696 725 1
+e 696 784 1
+e 697 3220 1
+e 697 843 1
+e 698 750 1
+e 698 751 1
+e 698 752 1
+e 699 799 1
+e 700 717 1
+e 700 830 1
+e 702 1370 1
+e 702 2084 1
+e 703 1042 1
+e 704 875 1
+e 705 816 1
+e 706 1347 1
+e 706 2599 1
+e 707 1906 1
+e 708 1906 1
+e 709 2358 1
+e 709 797 1
+e 710 1968 1
+e 710 1544 1
+e 710 2902 1
+e 710 1850 1
+e 710 1566 1
+e 710 2960 1
+e 711 2058 1
+e 711 2087 1
+e 711 2928 1
+e 711 1559 1
+e 711 1029 1
+e 711 2474 1
+e 711 2941 1
+e 712 808 1
+e 712 906 1
+e 713 778 1
+e 713 779 1
+e 713 809 1
+e 713 1201 1
+e 714 770 1
+e 714 896 1
+e 715 732 1
+e 715 796 1
+e 716 768 1
+e 716 807 1
+e 717 1120 1
+e 717 2180 1
+e 717 768 1
+e 717 770 1
+e 717 791 1
+e 717 830 1
+e 717 899 1
+e 717 916 1
+e 718 747 1
+e 718 869 1
+e 718 1882 1
+e 718 2736 1
+e 720 905 1
+e 721 722 1
+e 721 723 1
+e 721 1200 1
+e 723 1200 1
+e 723 951 1
+e 724 2756 1
+e 724 869 1
+e 725 726 1
+e 725 766 1
+e 725 784 1
+e 725 917 1
+e 726 789 1
+e 727 857 1
+e 728 2302 1
+e 728 851 1
+e 728 857 1
+e 729 730 1
+e 730 1914 1
+e 731 892 1
+e 732 747 1
+e 733 869 1
+e 734 1171 1
+e 734 914 1
+e 735 851 1
+e 736 856 1
+e 737 1463 1
+e 737 857 1
+e 740 869 1
+e 741 742 1
+e 743 1194 1
+e 743 889 1
+e 743 918 1
+e 744 776 1
+e 747 818 1
+e 747 867 1
+e 747 869 1
+e 747 1882 1
+e 747 901 1
+e 748 869 1
+e 748 870 1
+e 752 2755 1
+e 752 2757 1
+e 752 1349 1
+e 753 1192 1
+e 753 1193 1
+e 753 1790 1
+e 753 870 1
+e 754 853 1
+e 754 869 1
+e 755 869 1
+e 756 869 1
+e 757 869 1
+e 758 869 1
+e 759 760 1
+e 759 851 1
+e 761 1463 1
+e 761 869 1
+e 762 763 1
+e 762 843 1
+e 763 923 1
+e 764 840 1
+e 764 917 1
+e 766 1194 1
+e 766 799 1
+e 767 2563 1
+e 767 2491 1
+e 768 829 1
+e 768 843 1
+e 769 869 1
+e 772 849 1
+e 773 3258 1
+e 774 775 1
+e 774 869 1
+e 775 2212 1
+e 775 869 1
+e 777 801 1
+e 778 2499 1
+e 778 2769 1
+e 778 1869 1
+e 778 2521 1
+e 779 1969 1
+e 780 871 1
+e 781 907 1
+e 783 785 1
+e 783 786 1
+e 784 920 1
+e 785 786 1
+e 785 787 1
+e 786 787 1
+e 788 1345 1
+e 788 1193 1
+e 788 1790 1
+e 789 1194 1
+e 789 828 1
+e 789 918 1
+e 789 919 1
+e 789 924 1
+e 789 927 1
+e 789 931 1
+e 792 1341 1
+e 792 794 1
+e 792 816 1
+e 793 923 1
+e 794 1338 1
+e 794 1345 1
+e 794 801 1
+e 794 1198 1
+e 794 848 1
+e 794 849 1
+e 794 853 1
+e 794 866 1
+e 794 879 1
+e 795 887 1
+e 797 894 1
+e 797 923 1
+e 798 876 1
+e 798 896 1
+e 799 1121 1
+e 799 800 1
+e 799 819 1
+e 799 828 1
+e 799 882 1
+e 799 918 1
+e 799 919 1
+e 799 923 1
+e 799 931 1
+e 800 3132 1
+e 800 923 1
+e 801 2756 1
+e 801 1191 1
+e 801 806 1
+e 801 821 1
+e 801 824 1
+e 801 863 1
+e 801 864 1
+e 801 1796 1
+e 801 882 1
+e 801 890 1
+e 802 882 1
+e 803 2345 1
+e 803 1283 1
+e 803 2150 1
+e 803 2151 1
+e 803 838 1
+e 803 2128 1
+e 804 805 1
+e 806 1942 1
+e 807 1086 1
+e 808 880 1
+e 808 1305 1
+e 808 989 1
+e 809 3018 1
+e 809 2366 1
+e 810 2345 1
+e 810 1283 1
+e 810 839 1
+e 810 2365 1
+e 810 2317 1
+e 810 2918 1
+e 813 955 1
+e 814 828 1
+e 814 869 1
+e 814 898 1
+e 815 882 1
+e 817 833 1
+e 818 819 1
+e 819 2202 1
+e 819 842 1
+e 820 1472 1
+e 820 837 1
+e 820 853 1
+e 820 855 1
+e 820 869 1
+e 822 869 1
+e 822 931 1
+e 823 874 1
+e 824 2346 1
+e 824 2729 1
+e 826 869 1
+e 826 931 1
+e 827 918 1
+e 828 918 1
+e 828 923 1
+e 829 1779 1
+e 829 2350 1
+e 829 2358 1
+e 829 2341 1
+e 829 2982 1
+e 829 852 1
+e 829 2308 1
+e 829 881 1
+e 831 832 1
+e 834 869 1
+e 835 869 1
+e 836 2925 1
+e 836 2928 1
+e 836 3140 1
+e 836 847 1
+e 838 2150 1
+e 838 2151 1
+e 838 2365 1
+e 838 2317 1
+e 839 1283 1
+e 839 846 1
+e 839 2828 1
+e 839 2930 1
+e 839 2914 1
+e 839 995 1
+e 839 2918 1
+e 840 869 1
+e 840 875 1
+e 841 853 1
+e 843 869 1
+e 843 3132 1
+e 843 898 1
+e 844 1906 1
+e 847 1351 1
+e 847 1977 1
+e 847 2126 1
+e 848 850 1
+e 848 853 1
+e 849 850 1
+e 849 853 1
+e 851 1279 1
+e 851 857 1
+e 851 888 1
+e 853 855 1
+e 853 869 1
+e 853 870 1
+e 853 879 1
+e 853 2711 1
+e 855 869 1
+e 855 870 1
+e 855 879 1
+e 856 930 1
+e 857 2348 1
+e 857 1463 1
+e 857 2353 1
+e 857 2357 1
+e 857 2363 1
+e 858 915 1
+e 859 1198 1
+e 859 862 1
+e 859 884 1
+e 861 1906 1
+e 862 1906 1
+e 862 912 1
+e 863 865 1
+e 864 865 1
+e 867 869 1
+e 868 870 1
+e 868 872 1
+e 869 2500 1
+e 869 2756 1
+e 869 2212 1
+e 869 913 1
+e 869 919 1
+e 869 921 1
+e 869 922 1
+e 869 928 1
+e 870 1345 1
+e 870 919 1
+e 870 921 1
+e 870 922 1
+e 874 1569 1
+e 874 972 1
+e 874 1003 1
+e 874 1023 1
+e 874 1056 1
+e 874 1965 1
+e 874 1098 1
+e 875 877 1
+e 877 878 1
+e 877 2945 1
+e 880 1305 1
+e 881 1018 1
+e 881 1101 1
+e 882 1575 1
+e 882 900 1
+e 883 918 1
+e 884 932 1
+e 885 2620 1
+e 886 1971 1
+e 890 1796 1
+e 891 1342 1
+e 891 2126 1
+e 891 2978 1
+e 893 2301 1
+e 895 901 1
+e 896 2708 1
+e 897 915 1
+e 898 918 1
+e 898 923 1
+e 898 927 1
+e 899 900 1
+e 899 1090 1
+e 901 1882 1
+e 901 2736 1
+e 903 2658 1
+e 903 923 1
+e 905 2351 1
+e 905 2358 1
+e 907 1906 1
+e 909 2307 1
+e 910 923 1
+e 911 1100 1
+e 912 1906 1
+e 916 1120 1
+e 918 919 1
+e 919 923 1
+e 919 926 1
+e 920 1345 1
+e 923 3132 1
+e 923 927 1
+e 925 926 1
+e 928 2957 1
+e 928 3008 1
+e 932 1906 1
+e 934 960 1
+e 935 2397 1
+e 936 2575 1
+e 937 2032 1
+e 938 2372 1
+e 938 2440 1
+e 939 2397 1
+e 940 1962 1
+e 941 2258 1
+e 942 1608 1
+e 942 1610 1
+e 942 1212 1
+e 943 2948 1
+e 943 2563 1
+e 943 1671 1
+e 944 2245 1
+e 944 1685 1
+e 944 2624 1
+e 945 982 1
+e 946 2090 1
+e 946 2091 1
+e 946 2393 1
+e 947 2963 1
+e 947 1215 1
+e 947 1217 1
+e 949 1269 1
+e 950 2950 1
+e 951 985 1
+e 952 3191 1
+e 952 1268 1
+e 953 957 1
+e 953 988 1
+e 954 2566 1
+e 955 1056 1
+e 955 1965 1
+e 956 1259 1
+e 957 988 1
+e 958 2245 1
+e 958 1685 1
+e 958 2624 1
+e 960 976 1
+e 961 1003 1
+e 962 2380 1
+e 963 1484 1
+e 964 1370 1
+e 967 2566 1
+e 968 2528 1
+e 968 2985 1
+e 968 1256 1
+e 969 1819 1
+e 970 3125 1
+e 971 1509 1
+e 971 1607 1
+e 971 3214 1
+e 971 1511 1
+e 971 1739 1
+e 971 2336 1
+e 973 2795 1
+e 973 2137 1
+e 974 2685 1
+e 974 2914 1
+e 974 2918 1
+e 975 2853 1
+e 977 1370 1
+e 979 1815 1
+e 979 1436 1
+e 980 3245 1
+e 980 2638 1
+e 981 3004 1
+e 982 983 1
+e 983 1098 1
+e 984 2085 1
+e 986 1218 1
+e 987 2948 1
+e 987 2563 1
+e 987 1671 1
+e 989 1305 1
+e 990 1862 1
+e 990 2085 1
+e 995 2828 1
+e 996 1237 1
+e 997 1053 1
+e 998 2988 1
+e 999 1319 1
+e 999 1091 1
+e 999 1108 1
+e 1001 1097 1
+e 1003 2112 1
+e 1004 1688 1
+e 1005 1093 1
+e 1006 1103 1
+e 1006 1117 1
+e 1007 1098 1
+e 1008 3037 1
+e 1010 1011 1
+e 1010 1067 1
+e 1012 1070 1
+e 1013 1116 1
+e 1014 1230 1
+e 1014 1236 1
+e 1015 2082 1
+e 1016 2109 1
+e 1017 1081 1
+e 1018 1101 1
+e 1019 1061 1
+e 1020 1846 1
+e 1021 1567 1
+e 1021 1695 1
+e 1021 1116 1
+e 1022 1030 1
+e 1022 1068 1
+e 1022 1749 1
+e 1023 1056 1
+e 1023 1965 1
+e 1024 1846 1
+e 1025 1103 1
+e 1025 1104 1
+e 1025 1117 1
+e 1026 1057 1
+e 1027 1084 1
+e 1027 1085 1
+e 1027 1086 1
+e 1028 1074 1
+e 1028 1075 1
+e 1030 1068 1
+e 1031 1109 1
+e 1032 2816 1
+e 1033 2445 1
+e 1034 1077 1
+e 1034 2290 1
+e 1034 1107 1
+e 1035 3199 1
+e 1036 2910 1
+e 1036 2463 1
+e 1037 1039 1
+e 1037 1090 1
+e 1038 1090 1
+e 1039 1090 1
+e 1040 1089 1
+e 1041 2287 1
+e 1041 2488 1
+e 1042 1146 1
+e 1043 1119 1
+e 1046 2765 1
+e 1047 1048 1
+e 1049 1050 1
+e 1049 1052 1
+e 1050 1051 1
+e 1051 1052 1
+e 1055 2849 1
+e 1056 1965 1
+e 1058 1116 1
+e 1059 3223 1
+e 1060 1092 1
+e 1061 2362 1
+e 1062 1347 1
+e 1063 1114 1
+e 1064 2753 1
+e 1064 1405 1
+e 1065 2592 1
+e 1066 2723 1
+e 1069 1421 1
+e 1070 1071 1
+e 1071 1965 1
+e 1073 2167 1
+e 1073 2172 1
+e 1076 2769 1
+e 1076 1969 1
+e 1076 2838 1
+e 1079 1116 1
+e 1080 3031 1
+e 1080 1105 1
+e 1081 1846 1
+e 1084 1085 1
+e 1084 1087 1
+e 1085 1086 1
+e 1086 1087 1
+e 1089 1756 1
+e 1089 1238 1
+e 1089 2610 1
+e 1089 1764 1
+e 1091 1319 1
+e 1093 2467 1
+e 1094 1095 1
+e 1098 2112 1
+e 1099 1746 1
+e 1099 2859 1
+e 1100 1230 1
+e 1103 1104 1
+e 1103 1117 1
+e 1104 1117 1
+e 1106 3203 1
+e 1106 3049 1
+e 1111 2590 1
+e 1112 2590 1
+e 1112 2616 1
+e 1113 1846 1
+e 1113 1115 1
+e 1119 2308 1
+e 1122 1228 1
+e 1123 2468 1
+e 1124 1125 1
+e 1124 2396 1
+e 1124 1692 1
+e 1125 1541 1
+e 1125 1551 1
+e 1125 2906 1
+e 1125 1127 1
+e 1126 1541 1
+e 1126 2207 1
+e 1126 1551 1
+e 1126 1562 1
+e 1126 2656 1
+e 1126 2040 1
+e 1127 1550 1
+e 1127 2906 1
+e 1128 1436 1
+e 1128 3249 1
+e 1129 2203 1
+e 1129 1305 1
+e 1130 2371 1
+e 1130 1133 1
+e 1130 1139 1
+e 1132 1139 1
+e 1133 2368 1
+e 1133 2400 1
+e 1133 2431 1
+e 1134 2759 1
+e 1135 1143 1
+e 1136 2898 1
+e 1136 2522 1
+e 1136 1755 1
+e 1136 2406 1
+e 1138 2431 1
+e 1139 1140 1
+e 1139 1144 1
+e 1140 2034 1
+e 1142 2970 1
+e 1145 1147 1
+e 1147 2034 1
+e 1150 1313 1
+e 1150 1426 1
+e 1151 2452 1
+e 1152 2678 1
+e 1153 1770 1
+e 1153 2640 1
+e 1154 2797 1
+e 1155 1158 1
+e 1155 2433 1
+e 1156 1218 1
+e 1156 1486 1
+e 1157 3081 1
+e 1159 3019 1
+e 1160 1165 1
+e 1161 2330 1
+e 1161 1166 1
+e 1162 1707 1
+e 1163 1681 1
+e 1163 2330 1
+e 1163 1166 1
+e 1166 2330 1
+e 1168 2091 1
+e 1168 1410 1
+e 1168 1415 1
+e 1169 2906 1
+e 1171 2906 1
+e 1172 2682 1
+e 1172 2683 1
+e 1172 2684 1
+e 1172 1558 1
+e 1172 1638 1
+e 1173 1180 1
+e 1174 1805 1
+e 1174 2434 1
+e 1175 1584 1
+e 1175 1800 1
+e 1175 2804 1
+e 1175 1176 1
+e 1175 3115 1
+e 1176 1765 1
+e 1176 3152 1
+e 1176 2533 1
+e 1176 2536 1
+e 1176 2653 1
+e 1176 2232 1
+e 1176 2391 1
+e 1176 2075 1
+e 1176 2549 1
+e 1176 2060 1
+e 1176 1642 1
+e 1176 2316 1
+e 1176 1304 1
+e 1176 2553 1
+e 1176 2554 1
+e 1176 2103 1
+e 1176 1220 1
+e 1176 2434 1
+e 1176 1395 1
+e 1176 2578 1
+e 1177 2621 1
+e 1177 1635 1
+e 1178 1558 1
+e 1178 1635 1
+e 1178 1638 1
+e 1178 2907 1
+e 1178 1180 1
+e 1179 2788 1
+e 1181 1182 1
+e 1183 2210 1
+e 1183 1576 1
+e 1183 1626 1
+e 1184 2254 1
+e 1185 1576 1
+e 1185 1626 1
+e 1185 1660 1
+e 1186 2210 1
+e 1186 1576 1
+e 1186 2254 1
+e 1186 1188 1
+e 1187 1218 1
+e 1187 1488 1
+e 1188 2254 1
+e 1189 1326 1
+e 1189 1569 1
+e 1192 1468 1
+e 1192 3177 1
+e 1192 1790 1
+e 1196 1919 1
+e 1196 1314 1
+e 1197 2753 1
+e 1197 1785 1
+e 1197 2200 1
+e 1197 1206 1
+e 1197 1629 1
+e 1197 1653 1
+e 1197 1674 1
+e 1197 2905 1
+e 1198 1355 1
+e 1199 2087 1
+e 1199 2685 1
+e 1199 1555 1
+e 1199 1556 1
+e 1199 2906 1
+e 1199 1971 1
+e 1199 1562 1
+e 1199 2515 1
+e 1199 1571 1
+e 1199 2219 1
+e 1199 1980 1
+e 1199 2365 1
+e 1201 3160 1
+e 1202 2037 1
+e 1202 2867 1
+e 1203 2753 1
+e 1203 1573 1
+e 1204 2931 1
+e 1205 1209 1
+e 1206 2753 1
+e 1206 2092 1
+e 1206 2043 1
+e 1207 2763 1
+e 1208 1370 1
+e 1209 2091 1
+e 1209 2136 1
+e 1209 1629 1
+e 1209 1222 1
+e 1210 1370 1
+e 1211 2567 1
+e 1212 2404 1
+e 1213 1765 1
+e 1213 3152 1
+e 1213 2536 1
+e 1213 2075 1
+e 1213 1642 1
+e 1213 2316 1
+e 1213 3133 1
+e 1213 2553 1
+e 1213 2554 1
+e 1214 1584 1
+e 1214 1800 1
+e 1214 1588 1
+e 1214 2804 1
+e 1214 1304 1
+e 1215 1296 1
+e 1216 2540 1
+e 1218 2384 1
+e 1218 1995 1
+e 1218 2198 1
+e 1218 2044 1
+e 1218 2432 1
+e 1218 1825 1
+e 1218 1827 1
+e 1218 2837 1
+e 1218 2097 1
+e 1218 2581 1
+e 1218 1488 1
+e 1219 2092 1
+e 1219 1616 1
+e 1219 1252 1
+e 1219 1633 1
+e 1219 1663 1
+e 1219 1674 1
+e 1219 3229 1
+e 1221 1587 1
+e 1222 2058 1
+e 1224 3113 1
+e 1225 1252 1
+e 1226 3189 1
+e 1227 3257 1
+e 1231 3000 1
+e 1233 2951 1
+e 1234 1497 1
+e 1235 1247 1
+e 1237 2606 1
+e 1237 2885 1
+e 1240 1314 1
+e 1242 2268 1
+e 1243 3235 1
+e 1243 1898 1
+e 1244 1275 1
+e 1245 1689 1
+e 1246 1413 1
+e 1248 2088 1
+e 1248 1344 1
+e 1249 1298 1
+e 1249 1817 1
+e 1249 2890 1
+e 1249 2435 1
+e 1249 2191 1
+e 1249 1823 1
+e 1249 2623 1
+e 1249 2175 1
+e 1250 2745 1
+e 1251 1298 1
+e 1251 1817 1
+e 1251 2890 1
+e 1251 2435 1
+e 1251 2191 1
+e 1251 1823 1
+e 1251 2623 1
+e 1251 2175 1
+e 1253 1486 1
+e 1254 1807 1
+e 1255 3209 1
+e 1255 3147 1
+e 1256 2991 1
+e 1256 2528 1
+e 1256 2985 1
+e 1257 3036 1
+e 1258 3209 1
+e 1258 1809 1
+e 1258 1817 1
+e 1258 2890 1
+e 1258 2666 1
+e 1258 2191 1
+e 1259 2718 1
+e 1261 1699 1
+e 1262 3118 1
+e 1263 2735 1
+e 1263 2365 1
+e 1263 1272 1
+e 1264 2067 1
+e 1265 1266 1
+e 1265 1267 1
+e 1265 1269 1
+e 1265 2127 1
+e 1266 2345 1
+e 1266 3007 1
+e 1266 3177 1
+e 1266 1283 1
+e 1266 1267 1
+e 1266 1269 1
+e 1266 2127 1
+e 1267 2840 1
+e 1267 2841 1
+e 1267 1311 1
+e 1268 2961 1
+e 1269 2127 1
+e 1269 1270 1
+e 1271 1415 1
+e 1272 2799 1
+e 1273 1680 1
+e 1274 3177 1
+e 1274 1834 1
+e 1275 1277 1
+e 1275 1278 1
+e 1276 1277 1
+e 1279 2597 1
+e 1280 2906 1
+e 1282 2497 1
+e 1282 2498 1
+e 1282 1573 1
+e 1282 2092 1
+e 1282 2365 1
+e 1282 1926 1
+e 1282 1999 1
+e 1282 2971 1
+e 1282 2257 1
+e 1283 3190 1
+e 1283 3193 1
+e 1283 2618 1
+e 1283 3221 1
+e 1283 3238 1
+e 1283 1441 1
+e 1283 2365 1
+e 1284 2105 1
+e 1285 2864 1
+e 1286 1561 1
+e 1286 1290 1
+e 1286 2200 1
+e 1287 2186 1
+e 1288 2906 1
+e 1288 2038 1
+e 1288 2506 1
+e 1288 3074 1
+e 1288 1579 1
+e 1289 3071 1
+e 1290 1561 1
+e 1290 1563 1
+e 1290 2200 1
+e 1290 1576 1
+e 1291 1464 1
+e 1291 1465 1
+e 1291 1466 1
+e 1291 1467 1
+e 1291 1468 1
+e 1291 1469 1
+e 1291 1786 1
+e 1292 2805 1
+e 1292 2809 1
+e 1293 1948 1
+e 1294 1480 1
+e 1294 1435 1
+e 1294 1817 1
+e 1294 2623 1
+e 1294 1487 1
+e 1295 2128 1
+e 1297 2691 1
+e 1297 2741 1
+e 1297 1946 1
+e 1297 2392 1
+e 1297 1947 1
+e 1297 2551 1
+e 1297 2644 1
+e 1297 1669 1
+e 1297 1674 1
+e 1299 2381 1
+e 1300 1592 1
+e 1300 1622 1
+e 1300 1951 1
+e 1301 1501 1
+e 1302 3189 1
+e 1303 1861 1
+e 1304 1800 1
+e 1305 2059 1
+e 1305 1884 1
+e 1305 3248 1
+e 1305 2161 1
+e 1306 2807 1
+e 1307 1455 1
+e 1308 2803 1
+e 1308 2967 1
+e 1309 2971 1
+e 1310 2985 1
+e 1312 1858 1
+e 1312 1940 1
+e 1312 1941 1
+e 1313 1760 1
+e 1313 1426 1
+e 1315 2601 1
+e 1316 2918 1
+e 1317 2139 1
+e 1318 1791 1
+e 1318 2061 1
+e 1319 2450 1
+e 1321 2018 1
+e 1322 1489 1
+e 1323 1831 1
+e 1323 1324 1
+e 1326 1762 1
+e 1326 2349 1
+e 1327 2886 1
+e 1327 2502 1
+e 1327 1329 1
+e 1327 1333 1
+e 1327 1334 1
+e 1328 2352 1
+e 1328 1523 1
+e 1328 2410 1
+e 1330 1332 1
+e 1330 1333 1
+e 1333 1334 1
+e 1335 1979 1
+e 1336 1839 1
+e 1337 1553 1
+e 1339 1549 1
+e 1340 2906 1
+e 1340 2040 1
+e 1341 2495 1
+e 1342 2196 1
+e 1342 2058 1
+e 1342 2929 1
+e 1342 2038 1
+e 1343 2038 1
+e 1343 2148 1
+e 1343 2851 1
+e 1343 3204 1
+e 1344 1968 1
+e 1344 1544 1
+e 1344 2091 1
+e 1344 3075 1
+e 1344 2510 1
+e 1344 1566 1
+e 1344 1508 1
+e 1344 2220 1
+e 1344 2309 1
+e 1346 2954 1
+e 1346 1347 1
+e 1347 2954 1
+e 1347 2871 1
+e 1347 1830 1
+e 1347 3045 1
+e 1347 2599 1
+e 1347 1860 1
+e 1348 2038 1
+e 1348 2851 1
+e 1348 1871 1
+e 1348 2910 1
+e 1349 2755 1
+e 1349 2757 1
+e 1349 2758 1
+e 1350 2186 1
+e 1350 1557 1
+e 1350 1787 1
+e 1350 3098 1
+e 1350 3159 1
+e 1350 3221 1
+e 1351 2133 1
+e 1351 1968 1
+e 1351 2685 1
+e 1351 2906 1
+e 1351 2739 1
+e 1351 2648 1
+e 1351 2038 1
+e 1351 2506 1
+e 1351 2040 1
+e 1351 2126 1
+e 1351 2978 1
+e 1351 2959 1
+e 1351 2852 1
+e 1351 1871 1
+e 1352 1357 1
+e 1353 1870 1
+e 1354 2842 1
+e 1354 2824 1
+e 1354 2508 1
+e 1355 1978 1
+e 1357 3190 1
+e 1357 1472 1
+e 1357 2209 1
+e 1357 1786 1
+e 1357 2864 1
+e 1358 1975 1
+e 1358 1606 1
+e 1358 3012 1
+e 1358 2568 1
+e 1360 1987 1
+e 1360 2253 1
+e 1360 1659 1
+e 1360 2731 1
+e 1361 3207 1
+e 1362 2315 1
+e 1363 2495 1
+e 1363 3239 1
+e 1364 1774 1
+e 1365 1647 1
+e 1367 2802 1
+e 1368 2809 1
+e 1369 1887 1
+e 1369 1615 1
+e 1371 1396 1
+e 1371 2850 1
+e 1372 2642 1
+e 1372 2869 1
+e 1373 1775 1
+e 1373 1393 1
+e 1374 1644 1
+e 1375 2369 1
+e 1375 2418 1
+e 1375 1822 1
+e 1375 2193 1
+e 1376 1480 1
+e 1376 2623 1
+e 1376 1487 1
+e 1377 1601 1
+e 1378 2763 1
+e 1378 1766 1
+e 1379 2763 1
+e 1380 1459 1
+e 1382 3009 1
+e 1382 1527 1
+e 1384 2722 1
+e 1384 1931 1
+e 1385 2827 1
+e 1386 2369 1
+e 1386 3082 1
+e 1388 1434 1
+e 1388 2395 1
+e 1389 1639 1
+e 1389 1889 1
+e 1389 2428 1
+e 1391 2371 1
+e 1391 3189 1
+e 1392 2385 1
+e 1392 2414 1
+e 1393 3211 1
+e 1393 1775 1
+e 1393 1826 1
+e 1393 1892 1
+e 1394 1957 1
+e 1396 2367 1
+e 1396 2715 1
+e 1397 1488 1
+e 1400 1413 1
+e 1400 1738 1
+e 1401 2959 1
+e 1401 1726 1
+e 1401 2295 1
+e 1402 1408 1
+e 1404 1722 1
+e 1404 1737 1
+e 1405 2312 1
+e 1406 2260 1
+e 1407 1432 1
+e 1409 1769 1
+e 1411 3204 1
+e 1412 1445 1
+e 1413 2068 1
+e 1413 1606 1
+e 1413 2752 1
+e 1414 2325 1
+e 1415 2753 1
+e 1415 1849 1
+e 1415 2867 1
+e 1415 2993 1
+e 1416 2603 1
+e 1418 3022 1
+e 1422 1839 1
+e 1423 1730 1
+e 1424 2343 1
+e 1425 3254 1
+e 1425 2326 1
+e 1425 2036 1
+e 1425 2477 1
+e 1426 1760 1
+e 1426 2700 1
+e 1427 1735 1
+e 1428 2521 1
+e 1428 1679 1
+e 1428 1684 1
+e 1428 2625 1
+e 1429 1769 1
+e 1430 2035 1
+e 1434 2176 1
+e 1436 1815 1
+e 1436 2247 1
+e 1436 2813 1
+e 1437 1439 1
+e 1438 3044 1
+e 1440 2148 1
+e 1443 2373 1
+e 1443 1806 1
+e 1443 2239 1
+e 1443 2654 1
+e 1443 2622 1
+e 1443 1892 1
+e 1444 2832 1
+e 1444 2645 1
+e 1446 2052 1
+e 1447 2858 1
+e 1447 1532 1
+e 1448 2906 1
+e 1448 1788 1
+e 1449 2233 1
+e 1449 1667 1
+e 1451 1725 1
+e 1452 1863 1
+e 1452 1866 1
+e 1454 2906 1
+e 1454 1849 1
+e 1454 2513 1
+e 1454 2721 1
+e 1455 1458 1
+e 1456 1609 1
+e 1456 1460 1
+e 1456 1487 1
+e 1456 1671 1
+e 1457 2341 1
+e 1457 2381 1
+e 1457 1458 1
+e 1457 1459 1
+e 1457 1460 1
+e 1458 2381 1
+e 1458 1487 1
+e 1459 2137 1
+e 1461 1462 1
+e 1463 2204 1
+e 1464 1465 1
+e 1464 1467 1
+e 1464 1468 1
+e 1464 2221 1
+e 1464 2123 1
+e 1465 1468 1
+e 1465 2221 1
+e 1465 2123 1
+e 1466 1468 1
+e 1466 2123 1
+e 1467 1468 1
+e 1467 2221 1
+e 1467 2123 1
+e 1468 2619 1
+e 1468 2221 1
+e 1468 2123 1
+e 1469 2221 1
+e 1469 2123 1
+e 1471 2517 1
+e 1471 1476 1
+e 1471 1477 1
+e 1471 2795 1
+e 1473 2133 1
+e 1473 1968 1
+e 1473 2089 1
+e 1473 2685 1
+e 1473 2208 1
+e 1473 2906 1
+e 1473 2126 1
+e 1473 1759 1
+e 1474 2906 1
+e 1474 1753 1
+e 1475 2218 1
+e 1475 1491 1
+e 1475 1492 1
+e 1476 1477 1
+e 1477 2517 1
+e 1477 2795 1
+e 1479 1481 1
+e 1479 1649 1
+e 1480 2830 1
+e 1480 2623 1
+e 1480 1487 1
+e 1483 3033 1
+e 1483 3034 1
+e 1484 1984 1
+e 1484 2524 1
+e 1485 1486 1
+e 1486 2830 1
+e 1486 2667 1
+e 1486 3026 1
+e 1486 2256 1
+e 1486 1487 1
+e 1486 2893 1
+e 1486 1488 1
+e 1487 2308 1
+e 1487 2623 1
+e 1487 3026 1
+e 1487 2256 1
+e 1487 1671 1
+e 1488 2003 1
+e 1489 2188 1
+e 1490 1731 1
+e 1491 1492 1
+e 1493 2454 1
+e 1494 2672 1
+e 1495 3202 1
+e 1496 1768 1
+e 1499 1501 1
+e 1500 2999 1
+e 1500 2057 1
+e 1500 2827 1
+e 1502 1504 1
+e 1505 1506 1
+e 1507 2305 1
+e 1507 1974 1
+e 1508 2088 1
+e 1509 2681 1
+e 1509 1541 1
+e 1509 1551 1
+e 1509 1975 1
+e 1509 1607 1
+e 1509 2312 1
+e 1509 1678 1
+e 1509 1511 1
+e 1509 1739 1
+e 1510 2681 1
+e 1510 2305 1
+e 1510 1974 1
+e 1511 2312 1
+e 1511 1678 1
+e 1511 1739 1
+e 1511 2336 1
+e 1511 1512 1
+e 1512 1975 1
+e 1512 1678 1
+e 1512 1739 1
+e 1513 2849 1
+e 1514 2537 1
+e 1516 3248 1
+e 1517 3248 1
+e 1518 1519 1
+e 1520 2125 1
+e 1521 2897 1
+e 1521 1874 1
+e 1521 2201 1
+e 1521 3157 1
+e 1522 2069 1
+e 1522 2618 1
+e 1523 2410 1
+e 1524 1991 1
+e 1524 2194 1
+e 1525 1620 1
+e 1526 2943 1
+e 1527 2374 1
+e 1527 3009 1
+e 1528 2032 1
+e 1529 1537 1
+e 1530 1832 1
+e 1530 2078 1
+e 1533 2030 1
+e 1535 1849 1
+e 1535 1815 1
+e 1535 3006 1
+e 1536 1537 1
+e 1538 1902 1
+e 1539 1955 1
+e 1540 3064 1
+e 1540 2200 1
+e 1541 2311 1
+e 1541 1641 1
+e 1541 2595 1
+e 1542 2952 1
+e 1542 1561 1
+e 1542 2421 1
+e 1542 2053 1
+e 1543 2906 1
+e 1543 2040 1
+e 1544 2088 1
+e 1544 1850 1
+e 1545 3014 1
+e 1546 2685 1
+e 1546 2906 1
+e 1546 2038 1
+e 1546 2072 1
+e 1546 1565 1
+e 1546 2851 1
+e 1548 1567 1
+e 1551 2835 1
+e 1551 2311 1
+e 1551 1641 1
+e 1551 2595 1
+e 1552 3177 1
+e 1552 2221 1
+e 1554 2825 1
+e 1556 1768 1
+e 1557 3059 1
+e 1557 3060 1
+e 1557 3061 1
+e 1557 3062 1
+e 1557 3063 1
+e 1557 3064 1
+e 1557 2069 1
+e 1557 1787 1
+e 1557 3098 1
+e 1557 3159 1
+e 1557 2516 1
+e 1557 3101 1
+e 1557 2665 1
+e 1558 1905 1
+e 1558 2200 1
+e 1558 2526 1
+e 1558 1638 1
+e 1558 1640 1
+e 1559 2089 1
+e 1559 2685 1
+e 1559 2928 1
+e 1559 2906 1
+e 1559 2038 1
+e 1561 1968 1
+e 1561 2952 1
+e 1561 2509 1
+e 1561 2200 1
+e 1562 2058 1
+e 1562 2906 1
+e 1562 2038 1
+e 1562 2911 1
+e 1562 1981 1
+e 1563 2200 1
+e 1564 1566 1
+e 1565 2072 1
+e 1565 2213 1
+e 1565 2851 1
+e 1566 2088 1
+e 1566 2304 1
+e 1566 1770 1
+e 1566 2960 1
+e 1567 1695 1
+e 1568 2906 1
+e 1568 2038 1
+e 1568 2506 1
+e 1569 2086 1
+e 1569 2957 1
+e 1569 3008 1
+e 1570 2038 1
+e 1570 1850 1
+e 1570 2040 1
+e 1571 3142 1
+e 1571 1851 1
+e 1572 1966 1
+e 1572 2851 1
+e 1573 2753 1
+e 1573 2782 1
+e 1573 1633 1
+e 1573 1653 1
+e 1573 1678 1
+e 1573 1739 1
+e 1574 2218 1
+e 1574 2219 1
+e 1576 2210 1
+e 1576 2200 1
+e 1576 2095 1
+e 1576 1660 1
+e 1577 2186 1
+e 1577 2906 1
+e 1578 2306 1
+e 1578 1871 1
+e 1578 1872 1
+e 1579 2501 1
+e 1579 2685 1
+e 1579 2506 1
+e 1579 3166 1
+e 1579 1983 1
+e 1580 1918 1
+e 1581 3230 1
+e 1581 3259 1
+e 1581 2160 1
+e 1582 2619 1
+e 1582 2221 1
+e 1583 2147 1
+e 1584 1800 1
+e 1584 2804 1
+e 1584 1634 1
+e 1585 1615 1
+e 1587 1602 1
+e 1588 1642 1
+e 1588 1662 1
+e 1590 1639 1
+e 1591 2556 1
+e 1591 1645 1
+e 1593 1656 1
+e 1595 1814 1
+e 1596 2149 1
+e 1596 1614 1
+e 1596 3020 1
+e 1596 1859 1
+e 1597 2158 1
+e 1598 2724 1
+e 1600 2401 1
+e 1600 2934 1
+e 1600 2570 1
+e 1601 2393 1
+e 1601 1773 1
+e 1601 3041 1
+e 1601 1826 1
+e 1602 2218 1
+e 1602 2225 1
+e 1602 1640 1
+e 1602 2032 1
+e 1602 2706 1
+e 1603 3172 1
+e 1603 2226 1
+e 1603 2543 1
+e 1603 1930 1
+e 1603 2458 1
+e 1605 3172 1
+e 1605 2226 1
+e 1605 2543 1
+e 1605 1930 1
+e 1605 2458 1
+e 1606 2542 1
+e 1607 2312 1
+e 1607 1631 1
+e 1607 3213 1
+e 1611 2564 1
+e 1612 1644 1
+e 1612 1658 1
+e 1613 2552 1
+e 1613 2706 1
+e 1615 1887 1
+e 1615 1888 1
+e 1615 1618 1
+e 1617 1672 1
+e 1618 1887 1
+e 1618 2251 1
+e 1619 1905 1
+e 1619 1638 1
+e 1620 2407 1
+e 1621 1644 1
+e 1625 2681 1
+e 1625 2181 1
+e 1625 2182 1
+e 1627 1787 1
+e 1628 2254 1
+e 1629 2912 1
+e 1629 2092 1
+e 1630 2230 1
+e 1632 1652 1
+e 1632 1656 1
+e 1633 2092 1
+e 1633 1663 1
+e 1634 2761 1
+e 1634 2804 1
+e 1634 1642 1
+e 1634 2578 1
+e 1636 1650 1
+e 1636 1664 1
+e 1636 1665 1
+e 1637 3154 1
+e 1638 2526 1
+e 1639 2760 1
+e 1639 2106 1
+e 1640 2521 1
+e 1640 1655 1
+e 1641 2311 1
+e 1641 1994 1
+e 1642 1765 1
+e 1642 2761 1
+e 1642 3152 1
+e 1642 2536 1
+e 1642 2653 1
+e 1642 2075 1
+e 1642 2549 1
+e 1642 2316 1
+e 1642 3133 1
+e 1642 2553 1
+e 1642 2554 1
+e 1642 1662 1
+e 1643 1662 1
+e 1644 2819 1
+e 1644 1658 1
+e 1644 2096 1
+e 1645 2556 1
+e 1646 1947 1
+e 1646 3134 1
+e 1648 2401 1
+e 1648 2934 1
+e 1648 2570 1
+e 1649 2246 1
+e 1650 1664 1
+e 1651 1656 1
+e 1652 1655 1
+e 1653 2092 1
+e 1653 1663 1
+e 1654 2310 1
+e 1654 3073 1
+e 1655 1656 1
+e 1657 1695 1
+e 1659 3053 1
+e 1660 2365 1
+e 1661 2569 1
+e 1662 3241 1
+e 1662 2075 1
+e 1662 2316 1
+e 1663 2092 1
+e 1667 3172 1
+e 1667 2801 1
+e 1667 2694 1
+e 1667 2808 1
+e 1667 2722 1
+e 1667 2696 1
+e 1668 1899 1
+e 1668 2439 1
+e 1670 2820 1
+e 1671 2623 1
+e 1671 2007 1
+e 1672 3040 1
+e 1672 2108 1
+e 1674 2092 1
+e 1674 2644 1
+e 1675 3135 1
+e 1676 2835 1
+e 1676 1677 1
+e 1677 2835 1
+e 1678 2753 1
+e 1679 1684 1
+e 1682 2332 1
+e 1683 3030 1
+e 1685 2365 1
+e 1685 2334 1
+e 1686 3162 1
+e 1687 2263 1
+e 1689 2859 1
+e 1691 2937 1
+e 1692 2618 1
+e 1692 1709 1
+e 1693 1695 1
+e 1694 2263 1
+e 1696 2997 1
+e 1698 2920 1
+e 1700 1732 1
+e 1701 2121 1
+e 1702 1732 1
+e 1703 3136 1
+e 1705 2591 1
+e 1707 2276 1
+e 1707 2132 1
+e 1708 2018 1
+e 1710 3236 1
+e 1711 1736 1
+e 1711 2484 1
+e 1712 1713 1
+e 1714 3042 1
+e 1714 1750 1
+e 1717 2625 1
+e 1721 2705 1
+e 1723 3197 1
+e 1724 1741 1
+e 1726 2295 1
+e 1727 2082 1
+e 1728 2024 1
+e 1729 2589 1
+e 1733 2448 1
+e 1734 2465 1
+e 1734 2189 1
+e 1739 2753 1
+e 1740 2777 1
+e 1740 2778 1
+e 1742 2465 1
+e 1742 2189 1
+e 1745 2462 1
+e 1746 2859 1
+e 1747 2814 1
+e 1748 2113 1
+e 1749 1954 1
+e 1752 2823 1
+e 1753 2484 1
+e 1754 1755 1
+e 1755 1881 1
+e 1757 3181 1
+e 1757 2888 1
+e 1758 2900 1
+e 1758 2282 1
+e 1758 3224 1
+e 1759 2906 1
+e 1759 1915 1
+e 1759 2072 1
+e 1759 2955 1
+e 1761 3105 1
+e 1762 2349 1
+e 1767 2418 1
+e 1768 2671 1
+e 1769 3144 1
+e 1770 3205 1
+e 1771 1787 1
+e 1772 1773 1
+e 1772 1774 1
+e 1772 1775 1
+e 1773 2393 1
+e 1774 1775 1
+e 1776 2338 1
+e 1776 2787 1
+e 1777 2755 1
+e 1777 2757 1
+e 1777 2758 1
+e 1777 1814 1
+e 1777 2712 1
+e 1778 2072 1
+e 1780 2757 1
+e 1780 2758 1
+e 1780 1814 1
+e 1780 2712 1
+e 1781 2619 1
+e 1781 3177 1
+e 1781 1793 1
+e 1782 2263 1
+e 1783 2685 1
+e 1783 2906 1
+e 1784 2512 1
+e 1785 2359 1
+e 1785 2656 1
+e 1785 1789 1
+e 1785 1977 1
+e 1787 2196 1
+e 1787 3063 1
+e 1787 2629 1
+e 1788 3221 1
+e 1788 1977 1
+e 1789 1945 1
+e 1789 1977 1
+e 1789 2040 1
+e 1791 3168 1
+e 1791 3231 1
+e 1791 3232 1
+e 1792 2069 1
+e 1792 2685 1
+e 1792 2906 1
+e 1792 1977 1
+e 1793 2619 1
+e 1794 2995 1
+e 1795 2640 1
+e 1796 2689 1
+e 1797 2512 1
+e 1798 1977 1
+e 1799 2955 1
+e 1799 3216 1
+e 1799 2883 1
+e 1800 2804 1
+e 1801 2524 1
+e 1802 1947 1
+e 1803 1855 1
+e 1803 1858 1
+e 1803 2722 1
+e 1803 1931 1
+e 1804 1947 1
+e 1805 2434 1
+e 1805 3155 1
+e 1807 2401 1
+e 1808 1818 1
+e 1810 2535 1
+e 1810 1824 1
+e 1812 2887 1
+e 1812 2888 1
+e 1813 1922 1
+e 1814 1962 1
+e 1814 2712 1
+e 1815 2660 1
+e 1815 2703 1
+e 1815 2678 1
+e 1816 2422 1
+e 1817 2890 1
+e 1819 2424 1
+e 1820 1958 1
+e 1820 2882 1
+e 1820 2435 1
+e 1820 2436 1
+e 1821 2949 1
+e 1822 2386 1
+e 1823 2175 1
+e 1824 2535 1
+e 1824 2996 1
+e 1828 2743 1
+e 1828 2552 1
+e 1829 3122 1
+e 1830 1910 1
+e 1830 2064 1
+e 1830 2065 1
+e 1830 2673 1
+e 1831 2590 1
+e 1833 2833 1
+e 1834 2781 1
+e 1836 2917 1
+e 1838 2674 1
+e 1840 2190 1
+e 1841 1936 1
+e 1842 3222 1
+e 1843 2479 1
+e 1845 2165 1
+e 1847 2727 1
+e 1848 2104 1
+e 1849 2513 1
+e 1849 2721 1
+e 1849 2694 1
+e 1849 2398 1
+e 1849 2722 1
+e 1849 1931 1
+e 1849 2449 1
+e 1850 2902 1
+e 1850 2304 1
+e 1850 1976 1
+e 1850 1871 1
+e 1850 2960 1
+e 1851 3083 1
+e 1852 3016 1
+e 1853 2713 1
+e 1854 1858 1
+e 1855 2664 1
+e 1855 2564 1
+e 1855 2579 1
+e 1856 2694 1
+e 1856 2252 1
+e 1856 2696 1
+e 1857 2826 1
+e 1857 2574 1
+e 1858 2826 1
+e 1858 2664 1
+e 1858 2564 1
+e 1858 2579 1
+e 1858 2585 1
+e 1859 2071 1
+e 1859 2694 1
+e 1859 2157 1
+e 1859 3078 1
+e 1860 2453 1
+e 1862 2085 1
+e 1863 1866 1
+e 1864 2697 1
+e 1865 2697 1
+e 1867 2697 1
+e 1868 2092 1
+e 1869 2499 1
+e 1870 2894 1
+e 1870 2651 1
+e 1871 3097 1
+e 1871 2208 1
+e 1871 3086 1
+e 1871 2902 1
+e 1871 2306 1
+e 1871 2219 1
+e 1871 2220 1
+e 1871 2803 1
+e 1871 2829 1
+e 1871 2046 1
+e 1872 2133 1
+e 1872 3086 1
+e 1872 1918 1
+e 1872 2181 1
+e 1872 2803 1
+e 1872 2182 1
+e 1872 2940 1
+e 1873 2495 1
+e 1873 3174 1
+e 1874 2513 1
+e 1874 2721 1
+e 1874 2722 1
+e 1874 2054 1
+e 1875 3175 1
+e 1876 2935 1
+e 1877 2582 1
+e 1879 2898 1
+e 1879 1923 1
+e 1880 2789 1
+e 1881 2898 1
+e 1881 1923 1
+e 1881 2522 1
+e 1881 3239 1
+e 1881 2394 1
+e 1882 2736 1
+e 1882 3246 1
+e 1883 3009 1
+e 1883 2559 1
+e 1885 2177 1
+e 1886 2124 1
+e 1887 1888 1
+e 1889 2764 1
+e 1889 3207 1
+e 1890 1891 1
+e 1891 3181 1
+e 1892 2746 1
+e 1892 1894 1
+e 1893 1895 1
+e 1895 2742 1
+e 1896 2137 1
+e 1896 2420 1
+e 1897 3137 1
+e 1897 2626 1
+e 1899 3174 1
+e 1900 2505 1
+e 1900 2214 1
+e 1901 2686 1
+e 1903 3044 1
+e 1904 3015 1
+e 1905 2200 1
+e 1907 2532 1
+e 1908 2877 1
+e 1909 2261 1
+e 1909 3057 1
+e 1909 2779 1
+e 1910 2972 1
+e 1911 2906 1
+e 1912 2072 1
+e 1913 3256 1
+e 1913 3014 1
+e 1913 2906 1
+e 1913 2851 1
+e 1915 2944 1
+e 1916 2145 1
+e 1916 2906 1
+e 1916 2998 1
+e 1917 2497 1
+e 1917 2091 1
+e 1917 2735 1
+e 1917 3131 1
+e 1917 2219 1
+e 1918 2205 1
+e 1918 3017 1
+e 1918 2906 1
+e 1918 2038 1
+e 1918 1973 1
+e 1921 2861 1
+e 1921 2040 1
+e 1921 1982 1
+e 1923 3183 1
+e 1923 3184 1
+e 1924 2056 1
+e 1925 2745 1
+e 1926 2245 1
+e 1926 2095 1
+e 1926 1999 1
+e 1926 2971 1
+e 1927 2808 1
+e 1928 2831 1
+e 1928 2487 1
+e 1929 2562 1
+e 1929 2845 1
+e 1930 3172 1
+e 1931 2722 1
+e 1931 2054 1
+e 1932 2630 1
+e 1932 2632 1
+e 1933 3122 1
+e 1934 2046 1
+e 1937 2938 1
+e 1938 3192 1
+e 1938 2283 1
+e 1939 2647 1
+e 1940 2947 1
+e 1940 3243 1
+e 1943 2063 1
+e 1944 2100 1
+e 1944 3171 1
+e 1945 2656 1
+e 1945 2306 1
+e 1945 1946 1
+e 1947 2691 1
+e 1947 2693 1
+e 1947 1948 1
+e 1947 2687 1
+e 1947 2644 1
+e 1948 2687 1
+e 1949 1952 1
+e 1949 2668 1
+e 1950 2103 1
+e 1952 3067 1
+e 1953 3217 1
+e 1956 3007 1
+e 1956 2781 1
+e 1957 3116 1
+e 1957 3257 1
+e 1958 2425 1
+e 1958 2435 1
+e 1959 3255 1
+e 1959 2986 1
+e 1959 3226 1
+e 1960 2538 1
+e 1961 2402 1
+e 1963 2832 1
+e 1963 2645 1
+e 1964 2785 1
+e 1964 2594 1
+e 1966 2304 1
+e 1966 2555 1
+e 1967 2906 1
+e 1968 2088 1
+e 1968 2208 1
+e 1968 2834 1
+e 1970 2681 1
+e 1970 2688 1
+e 1970 2040 1
+e 1970 2690 1
+e 1972 2133 1
+e 1972 2685 1
+e 1972 2906 1
+e 1972 2038 1
+e 1972 3086 1
+e 1972 3221 1
+e 1974 2681 1
+e 1974 2497 1
+e 1974 2906 1
+e 1974 3074 1
+e 1974 2359 1
+e 1977 2688 1
+e 1977 2861 1
+e 1977 2146 1
+e 1977 2906 1
+e 1977 3086 1
+e 1977 2359 1
+e 1977 2656 1
+e 1977 2306 1
+e 1977 2640 1
+e 1977 3221 1
+e 1977 2690 1
+e 1977 2361 1
+e 1979 2906 1
+e 1981 2038 1
+e 1982 2089 1
+e 1982 2906 1
+e 1982 2944 1
+e 1982 2072 1
+e 1982 2978 1
+e 1982 3215 1
+e 1983 2992 1
+e 1983 2685 1
+e 1985 2857 1
+e 1985 2025 1
+e 1986 2416 1
+e 1986 2122 1
+e 1988 3184 1
+e 1988 2042 1
+e 1989 2094 1
+e 1989 2032 1
+e 1990 2853 1
+e 1991 2367 1
+e 1991 2715 1
+e 1991 2194 1
+e 1991 2813 1
+e 1992 3154 1
+e 1992 2822 1
+e 1993 2996 1
+e 1996 2402 1
+e 1997 2552 1
+e 1998 2158 1
+e 1999 2095 1
+e 2000 2819 1
+e 2000 2096 1
+e 2001 2077 1
+e 2002 2006 1
+e 2004 2805 1
+e 2004 2809 1
+e 2004 2255 1
+e 2008 3090 1
+e 2009 2010 1
+e 2011 3195 1
+e 2012 2323 1
+e 2013 2023 1
+e 2013 2028 1
+e 2014 2023 1
+e 2016 2270 1
+e 2017 3145 1
+e 2020 3200 1
+e 2021 2022 1
+e 2023 2698 1
+e 2023 3043 1
+e 2023 2028 1
+e 2023 2337 1
+e 2026 2574 1
+e 2030 3050 1
+e 2032 2548 1
+e 2032 2094 1
+e 2033 2973 1
+e 2033 2451 1
+e 2035 2657 1
+e 2036 3254 1
+e 2036 3127 1
+e 2036 2326 1
+e 2036 3128 1
+e 2037 3190 1
+e 2038 2133 1
+e 2038 2196 1
+e 2038 3230 1
+e 2038 2501 1
+e 2038 2208 1
+e 2038 3014 1
+e 2038 2197 1
+e 2038 2929 1
+e 2038 3086 1
+e 2038 2506 1
+e 2038 2911 1
+e 2038 2148 1
+e 2038 2640 1
+e 2038 3205 1
+e 2038 3221 1
+e 2038 3166 1
+e 2039 2685 1
+e 2040 2186 1
+e 2040 2681 1
+e 2040 3061 1
+e 2040 2688 1
+e 2040 3062 1
+e 2040 3063 1
+e 2040 3064 1
+e 2040 2860 1
+e 2040 2058 1
+e 2040 2306 1
+e 2040 2640 1
+e 2040 3205 1
+e 2040 3221 1
+e 2040 2690 1
+e 2040 2361 1
+e 2040 2516 1
+e 2040 2217 1
+e 2040 3100 1
+e 2040 3101 1
+e 2040 2629 1
+e 2041 3212 1
+e 2042 3239 1
+e 2042 3189 1
+e 2043 2753 1
+e 2043 2555 1
+e 2044 3212 1
+e 2045 2644 1
+e 2047 2337 1
+e 2047 3261 1
+e 2048 2740 1
+e 2048 2277 1
+e 2049 2277 1
+e 2051 2674 1
+e 2053 2636 1
+e 2054 2722 1
+e 2054 3006 1
+e 2054 2142 1
+e 2055 2056 1
+e 2057 2999 1
+e 2058 2929 1
+e 2058 2640 1
+e 2058 3205 1
+e 2058 2126 1
+e 2059 2842 1
+e 2062 2808 1
+e 2066 2701 1
+e 2068 2219 1
+e 2069 3061 1
+e 2069 3063 1
+e 2069 3098 1
+e 2069 3221 1
+e 2069 2516 1
+e 2069 2629 1
+e 2069 2714 1
+e 2069 2687 1
+e 2070 2072 1
+e 2070 2699 1
+e 2070 2081 1
+e 2071 2954 1
+e 2071 3010 1
+e 2072 2906 1
+e 2072 2360 1
+e 2072 2148 1
+e 2072 2955 1
+e 2073 2074 1
+e 2075 3152 1
+e 2076 2952 1
+e 2080 2570 1
+e 2080 3095 1
+e 2081 2699 1
+e 2083 2315 1
+e 2084 3185 1
+e 2084 2244 1
+e 2084 2559 1
+e 2085 2169 1
+e 2087 2091 1
+e 2087 2998 1
+e 2087 2092 1
+e 2087 3099 1
+e 2088 2091 1
+e 2088 3075 1
+e 2088 2510 1
+e 2088 2220 1
+e 2088 2309 1
+e 2089 2091 1
+e 2089 3221 1
+e 2090 2753 1
+e 2090 2496 1
+e 2090 2507 1
+e 2090 2998 1
+e 2090 3099 1
+e 2090 2219 1
+e 2090 2941 1
+e 2091 2753 1
+e 2091 2496 1
+e 2091 2507 1
+e 2091 2998 1
+e 2091 2305 1
+e 2091 3221 1
+e 2091 2200 1
+e 2091 2092 1
+e 2091 3099 1
+e 2091 2219 1
+e 2091 2961 1
+e 2091 2606 1
+e 2091 2941 1
+e 2092 2200 1
+e 2092 2782 1
+e 2092 2229 1
+e 2092 2416 1
+e 2093 2747 1
+e 2095 2437 1
+e 2095 2971 1
+e 2096 2819 1
+e 2098 2101 1
+e 2102 3218 1
+e 2106 2760 1
+e 2107 2933 1
+e 2108 2495 1
+e 2108 3179 1
+e 2111 2114 1
+e 2115 2744 1
+e 2116 2589 1
+e 2117 2118 1
+e 2120 2786 1
+e 2122 2416 1
+e 2123 2847 1
+e 2126 2929 1
+e 2126 2958 1
+e 2128 2365 1
+e 2128 2317 1
+e 2128 3229 1
+e 2130 2993 1
+e 2131 2895 1
+e 2133 2862 1
+e 2133 2208 1
+e 2133 2906 1
+e 2133 2929 1
+e 2133 2303 1
+e 2133 3086 1
+e 2133 2506 1
+e 2133 2148 1
+e 2134 2200 1
+e 2135 2318 1
+e 2138 2214 1
+e 2138 2880 1
+e 2138 2883 1
+e 2140 2680 1
+e 2141 2675 1
+e 2142 2850 1
+e 2145 2999 1
+e 2146 2186 1
+e 2146 2861 1
+e 2146 2906 1
+e 2146 2152 1
+e 2147 2186 1
+e 2147 2906 1
+e 2148 2862 1
+e 2148 2906 1
+e 2148 2506 1
+e 2149 2944 1
+e 2149 3078 1
+e 2150 2906 1
+e 2150 2151 1
+e 2150 2223 1
+e 2152 2359 1
+e 2154 2399 1
+e 2154 2161 1
+e 2156 3108 1
+e 2156 2579 1
+e 2159 2315 1
+e 2160 3259 1
+e 2162 2584 1
+e 2163 2164 1
+e 2166 2363 1
+e 2166 3048 1
+e 2167 2172 1
+e 2168 2169 1
+e 2168 2170 1
+e 2169 2170 1
+e 2169 2315 1
+e 2171 2476 1
+e 2173 3048 1
+e 2174 2476 1
+e 2175 2191 1
+e 2175 2193 1
+e 2178 2179 1
+e 2182 2803 1
+e 2183 2184 1
+e 2185 2784 1
+e 2186 2863 1
+e 2186 2906 1
+e 2186 2866 1
+e 2186 2640 1
+e 2187 2753 1
+e 2190 2706 1
+e 2192 2485 1
+e 2194 2367 1
+e 2194 2715 1
+e 2196 2861 1
+e 2196 2906 1
+e 2196 2197 1
+e 2196 3221 1
+e 2197 2906 1
+e 2198 2740 1
+e 2198 2743 1
+e 2198 2552 1
+e 2198 2969 1
+e 2199 2268 1
+e 2200 2753 1
+e 2200 2355 1
+e 2200 2365 1
+e 2201 2659 1
+e 2201 3157 1
+e 2203 2692 1
+e 2205 2245 1
+e 2206 2740 1
+e 2207 3074 1
+e 2207 2640 1
+e 2207 3205 1
+e 2208 2906 1
+e 2208 2506 1
+e 2208 2978 1
+e 2208 2959 1
+e 2208 2852 1
+e 2211 2685 1
+e 2211 2911 1
+e 2211 3074 1
+e 2213 2685 1
+e 2213 2851 1
+e 2214 2883 1
+e 2215 2927 1
+e 2215 2685 1
+e 2215 2906 1
+e 2215 2506 1
+e 2215 3114 1
+e 2215 2514 1
+e 2215 2851 1
+e 2216 2447 1
+e 2217 3059 1
+e 2217 3060 1
+e 2217 3061 1
+e 2217 2707 1
+e 2217 3062 1
+e 2217 3063 1
+e 2217 3064 1
+e 2217 3221 1
+e 2217 2516 1
+e 2217 3035 1
+e 2217 3101 1
+e 2217 3065 1
+e 2217 2629 1
+e 2217 2687 1
+e 2218 2219 1
+e 2219 2906 1
+e 2219 2640 1
+e 2219 2365 1
+e 2220 3075 1
+e 2220 2309 1
+e 2221 2299 1
+e 2222 2906 1
+e 2223 2366 1
+e 2224 2298 1
+e 2224 3240 1
+e 2224 2339 1
+e 2226 2813 1
+e 2227 2623 1
+e 2227 2258 1
+e 2228 2950 1
+e 2229 2234 1
+e 2229 2667 1
+e 2229 2581 1
+e 2231 3153 1
+e 2234 2581 1
+e 2235 2581 1
+e 2237 2914 1
+e 2238 2946 1
+e 2241 2315 1
+e 2242 2403 1
+e 2243 3173 1
+e 2243 2248 1
+e 2244 2914 1
+e 2244 2252 1
+e 2245 2971 1
+e 2245 2257 1
+e 2247 2826 1
+e 2247 2664 1
+e 2248 2511 1
+e 2248 2528 1
+e 2248 2381 1
+e 2248 2773 1
+e 2249 2641 1
+e 2250 2413 1
+e 2250 2845 1
+e 2252 3038 1
+e 2252 2694 1
+e 2253 3053 1
+e 2254 2405 1
+e 2254 2667 1
+e 2256 2996 1
+e 2256 2623 1
+e 2256 3026 1
+e 2260 3094 1
+e 2261 3057 1
+e 2262 2494 1
+e 2263 3244 1
+e 2264 2445 1
+e 2266 3263 1
+e 2267 2583 1
+e 2268 2646 1
+e 2269 2951 1
+e 2270 2785 1
+e 2271 2725 1
+e 2271 2909 1
+e 2272 3263 1
+e 2273 2873 1
+e 2273 2973 1
+e 2273 2294 1
+e 2276 2791 1
+e 2279 3069 1
+e 2279 2987 1
+e 2281 3176 1
+e 2282 2900 1
+e 2282 3219 1
+e 2282 3224 1
+e 2284 2339 1
+e 2286 2637 1
+e 2286 2297 1
+e 2287 3163 1
+e 2288 2875 1
+e 2289 2327 1
+e 2291 2478 1
+e 2293 2780 1
+e 2293 2951 1
+e 2294 2973 1
+e 2296 2936 1
+e 2296 2608 1
+e 2297 2637 1
+e 2298 3240 1
+e 2298 3027 1
+e 2298 2339 1
+e 2303 2685 1
+e 2303 2906 1
+e 2305 2467 1
+e 2306 2688 1
+e 2306 2906 1
+e 2306 2690 1
+e 2309 3075 1
+e 2314 3002 1
+e 2319 2621 1
+e 2320 2932 1
+e 2321 2427 1
+e 2322 3259 1
+e 2324 2921 1
+e 2328 2815 1
+e 2329 2673 1
+e 2333 2486 1
+e 2334 2735 1
+e 2334 2365 1
+e 2334 2624 1
+e 2336 3214 1
+e 2338 2769 1
+e 2339 3027 1
+e 2341 2381 1
+e 2342 2652 1
+e 2344 2797 1
+e 2345 3221 1
+e 2345 3238 1
+e 2346 2729 1
+e 2352 2708 1
+e 2353 2354 1
+e 2356 2944 1
+e 2359 2861 1
+e 2359 3074 1
+e 2359 2656 1
+e 2359 3221 1
+e 2361 2906 1
+e 2361 2640 1
+e 2361 2851 1
+e 2365 3221 1
+e 2365 2828 1
+e 2365 2930 1
+e 2365 3229 1
+e 2365 2918 1
+e 2367 2694 1
+e 2368 2826 1
+e 2368 3129 1
+e 2369 3082 1
+e 2369 2426 1
+e 2370 2530 1
+e 2372 2440 1
+e 2373 3211 1
+e 2376 2632 1
+e 2378 3085 1
+e 2382 2412 1
+e 2383 2805 1
+e 2383 2809 1
+e 2383 3046 1
+e 2384 3036 1
+e 2385 2423 1
+e 2390 2661 1
+e 2390 2891 1
+e 2390 2666 1
+e 2393 3054 1
+e 2396 2579 1
+e 2398 2722 1
+e 2398 3150 1
+e 2401 3085 1
+e 2404 2762 1
+e 2406 2557 1
+e 2409 2495 1
+e 2409 3179 1
+e 2409 3174 1
+e 2414 2423 1
+e 2417 2418 1
+e 2418 2740 1
+e 2419 3021 1
+e 2426 3082 1
+e 2428 3139 1
+e 2430 2431 1
+e 2431 2433 1
+e 2435 3088 1
+e 2435 2436 1
+e 2436 2984 1
+e 2438 2982 1
+e 2439 2495 1
+e 2442 2914 1
+e 2443 2641 1
+e 2444 3238 1
+e 2444 2702 1
+e 2445 3106 1
+e 2446 3170 1
+e 2449 2458 1
+e 2449 3150 1
+e 2453 2459 1
+e 2454 2858 1
+e 2455 2457 1
+e 2456 2457 1
+e 2458 3150 1
+e 2460 2733 1
+e 2461 2939 1
+e 2464 2643 1
+e 2464 2487 1
+e 2466 2749 1
+e 2468 2676 1
+e 2469 3156 1
+e 2470 2781 1
+e 2472 2876 1
+e 2473 3170 1
+e 2474 2941 1
+e 2474 2615 1
+e 2479 2922 1
+e 2480 3119 1
+e 2481 2976 1
+e 2482 2483 1
+e 2482 3110 1
+e 2483 3110 1
+e 2487 2643 1
+e 2490 2618 1
+e 2491 3104 1
+e 2493 3093 1
+e 2495 2546 1
+e 2495 3174 1
+e 2496 3190 1
+e 2497 2685 1
+e 2498 2685 1
+e 2498 2906 1
+e 2498 2618 1
+e 2498 2506 1
+e 2499 2769 1
+e 2499 2838 1
+e 2501 2906 1
+e 2501 2506 1
+e 2501 3074 1
+e 2502 2728 1
+e 2503 2655 1
+e 2504 3063 1
+e 2506 3256 1
+e 2506 2906 1
+e 2506 3086 1
+e 2506 2911 1
+e 2506 2955 1
+e 2506 3166 1
+e 2507 2906 1
+e 2508 2824 1
+e 2511 3220 1
+e 2511 3068 1
+e 2512 3028 1
+e 2514 3114 1
+e 2515 2906 1
+e 2515 2648 1
+e 2515 2799 1
+e 2516 3059 1
+e 2516 3061 1
+e 2516 2707 1
+e 2516 3062 1
+e 2516 3063 1
+e 2516 3064 1
+e 2516 3035 1
+e 2516 3101 1
+e 2516 2629 1
+e 2518 2797 1
+e 2522 2898 1
+e 2523 2546 1
+e 2525 2563 1
+e 2527 3009 1
+e 2527 2559 1
+e 2532 2904 1
+e 2534 2809 1
+e 2536 3133 1
+e 2536 2553 1
+e 2536 2554 1
+e 2537 3184 1
+e 2539 3066 1
+e 2541 3239 1
+e 2542 3004 1
+e 2543 3172 1
+e 2543 3150 1
+e 2544 2933 1
+e 2552 2734 1
+e 2552 2695 1
+e 2553 3152 1
+e 2553 3133 1
+e 2553 2554 1
+e 2554 3152 1
+e 2554 3133 1
+e 2558 3118 1
+e 2558 3122 1
+e 2558 2901 1
+e 2559 3009 1
+e 2564 3141 1
+e 2564 2565 1
+e 2565 3035 1
+e 2574 2826 1
+e 2574 3108 1
+e 2576 2667 1
+e 2578 2761 1
+e 2579 3141 1
+e 2579 2660 1
+e 2579 2664 1
+e 2580 2649 1
+e 2580 2634 1
+e 2593 2651 1
+e 2597 3024 1
+e 2598 3187 1
+e 2599 3045 1
+e 2602 3237 1
+e 2604 2783 1
+e 2605 2900 1
+e 2606 2753 1
+e 2608 2936 1
+e 2608 2942 1
+e 2614 2894 1
+e 2614 2651 1
+e 2615 2941 1
+e 2617 2878 1
+e 2618 2782 1
+e 2619 3208 1
+e 2623 3026 1
+e 2626 3137 1
+e 2627 2628 1
+e 2627 3098 1
+e 2628 3098 1
+e 2629 2707 1
+e 2629 2906 1
+e 2629 3035 1
+e 2629 3065 1
+e 2630 2632 1
+e 2631 2742 1
+e 2631 3012 1
+e 2634 3149 1
+e 2635 3194 1
+e 2638 3245 1
+e 2639 2679 1
+e 2640 2906 1
+e 2641 3003 1
+e 2641 2737 1
+e 2641 2667 1
+e 2645 2832 1
+e 2648 2929 1
+e 2650 2896 1
+e 2655 2720 1
+e 2655 2906 1
+e 2656 3221 1
+e 2657 2994 1
+e 2659 2897 1
+e 2662 2844 1
+e 2665 2790 1
+e 2668 3067 1
+e 2670 2853 1
+e 2673 3201 1
+e 2674 2934 1
+e 2681 2861 1
+e 2681 3221 1
+e 2685 2707 1
+e 2685 3063 1
+e 2685 3064 1
+e 2685 2856 1
+e 2685 2902 1
+e 2688 2906 1
+e 2688 3221 1
+e 2690 2906 1
+e 2690 3221 1
+e 2691 2870 1
+e 2694 2721 1
+e 2694 2801 1
+e 2694 2759 1
+e 2694 3111 1
+e 2694 3112 1
+e 2694 2843 1
+e 2694 3247 1
+e 2694 2808 1
+e 2694 2813 1
+e 2696 2721 1
+e 2697 3136 1
+e 2707 3061 1
+e 2707 3062 1
+e 2707 3065 1
+e 2709 2986 1
+e 2709 3164 1
+e 2710 2977 1
+e 2710 3080 1
+e 2715 2857 1
+e 2715 2836 1
+e 2717 3032 1
+e 2719 2738 1
+e 2723 2729 1
+e 2724 3113 1
+e 2724 2916 1
+e 2726 2751 1
+e 2730 3148 1
+e 2731 3053 1
+e 2734 2743 1
+e 2735 3131 1
+e 2747 3262 1
+e 2747 2879 1
+e 2748 2893 1
+e 2754 2913 1
+e 2755 2758 1
+e 2757 2758 1
+e 2762 2763 1
+e 2767 2817 1
+e 2770 3096 1
+e 2771 2861 1
+e 2775 3079 1
+e 2776 2941 1
+e 2777 2778 1
+e 2791 3058 1
+e 2793 3221 1
+e 2794 2944 1
+e 2796 2906 1
+e 2797 3089 1
+e 2797 2798 1
+e 2802 2965 1
+e 2802 2808 1
+e 2806 2943 1
+e 2808 3111 1
+e 2808 3112 1
+e 2808 2965 1
+e 2808 2821 1
+e 2810 3077 1
+e 2811 3142 1
+e 2812 3169 1
+e 2812 3255 1
+e 2813 3172 1
+e 2818 2868 1
+e 2822 3154 1
+e 2827 2999 1
+e 2829 2889 1
+e 2830 2846 1
+e 2831 3087 1
+e 2835 3073 1
+e 2851 2906 1
+e 2851 3114 1
+e 2851 3091 1
+e 2854 2906 1
+e 2854 2865 1
+e 2855 2864 1
+e 2856 2906 1
+e 2856 2865 1
+e 2860 2906 1
+e 2861 3062 1
+e 2861 2906 1
+e 2861 3101 1
+e 2862 2906 1
+e 2862 3086 1
+e 2865 2866 1
+e 2871 2899 1
+e 2871 2872 1
+e 2873 2973 1
+e 2881 3090 1
+e 2891 2896 1
+e 2892 3117 1
+e 2897 3190 1
+e 2900 3224 1
+e 2901 3124 1
+e 2902 2960 1
+e 2906 3097 1
+e 2906 3059 1
+e 2906 3061 1
+e 2906 2926 1
+e 2906 3063 1
+e 2906 2992 1
+e 2906 3064 1
+e 2906 3230 1
+e 2906 3168 1
+e 2906 3231 1
+e 2906 3232 1
+e 2906 2995 1
+e 2906 3014 1
+e 2906 2944 1
+e 2906 3086 1
+e 2906 2911 1
+e 2906 3052 1
+e 2906 3180 1
+e 2906 3143 1
+e 2906 3205 1
+e 2906 3221 1
+e 2906 2955 1
+e 2906 2978 1
+e 2906 3100 1
+e 2906 2958 1
+e 2907 3072 1
+e 2914 3185 1
+e 2915 2999 1
+e 2919 3122 1
+e 2926 3143 1
+e 2935 3233 1
+e 2943 2963 1
+e 2950 3113 1
+e 2955 2978 1
+e 2956 3220 1
+e 2957 3008 1
+e 2961 3191 1
+e 2962 3038 1
+e 2962 3185 1
+e 2964 2969 1
+e 2966 2967 1
+e 2972 2975 1
+e 2974 3122 1
+e 2977 3080 1
+e 2979 3208 1
+e 2981 3001 1
+e 2983 3251 1
+e 2983 3252 1
+e 2986 3169 1
+e 2986 3164 1
+e 2989 3096 1
+e 2990 3110 1
+e 2996 3026 1
+e 3007 3190 1
+e 3013 3103 1
+e 3025 3260 1
+e 3028 3082 1
+e 3029 3056 1
+e 3035 3061 1
+e 3035 3159 1
+e 3039 3129 1
+e 3051 3146 1
+e 3055 3167 1
+e 3059 3060 1
+e 3059 3061 1
+e 3059 3062 1
+e 3059 3063 1
+e 3059 3064 1
+e 3059 3159 1
+e 3059 3101 1
+e 3060 3063 1
+e 3061 3065 1
+e 3062 3065 1
+e 3063 3065 1
+e 3068 3220 1
+e 3068 3069 1
+e 3070 3131 1
+e 3071 3130 1
+e 3074 3221 1
+e 3076 3077 1
+e 3084 3088 1
+e 3087 3212 1
+e 3107 3161 1
+e 3109 3125 1
+e 3117 3210 1
+e 3118 3124 1
+e 3120 3122 1
+e 3121 3122 1
+e 3122 3123 1
+e 3125 3126 1
+e 3133 3152 1
+e 3164 3255 1
+e 3169 3255 1
+e 3174 3179 1
+e 3174 3239 1
+e 3178 3251 1
+e 3178 3252 1
+e 3183 3184 1
+e 3183 3189 1
+e 3184 3189 1
+e 3188 3249 1
+e 3196 3197 1
+e 3227 3228 1
+e 3242 3243 1
diff --git a/pattern_mining/test/fsm6_sampling.cpp b/pattern_mining/test/fsm6_sampling.cpp
index 949b2c1..601701d 100644
--- a/pattern_mining/test/fsm6_sampling.cpp
+++ b/pattern_mining/test/fsm6_sampling.cpp
@@ -87,7 +87,7 @@ int main(int argc, char* argv[]) {
 
     util::Timer t;
     t.start();
-    auto [d_res, ess] = join<true, true, true, false, 3, 4, 4, 3>(g, H, sgls, false, sm, { st, st }, sw, sup);
+    auto [d_res, ess] = join<true, true, true, false, 3, 4, 4, 3>(g, H, sgls, false, sm, { st, st, st}, sw, sup);
     t.stop();
 
     filter(d_res, sup);
diff --git a/pattern_mining/test/fsm7_sampling.cpp b/pattern_mining/test/fsm7_sampling.cpp
index 3477b4f..c18fe72 100644
--- a/pattern_mining/test/fsm7_sampling.cpp
+++ b/pattern_mining/test/fsm7_sampling.cpp
@@ -87,7 +87,7 @@ int main(int argc, char* argv[]) {
 
     util::Timer t;
     t.start();
-    auto [d_res, ess] = join<true, true, true, false, 3, 4, 4, 4>(g, H, sgls, false, sm, { st, st }, sw, sup);
+    auto [d_res, ess] = join<true, true, true, false, 3, 4, 4, 4>(g, H, sgls, false, sm, { st, st, st}, sw, sup);
     t.stop();
 
     filter(d_res, sup);

From add08ef32ee76f43d6e49208a657377e537014ee Mon Sep 17 00:00:00 2001
From: YihuaWei <wwyihua@gmail.com>
Date: Tue, 29 Jun 2021 04:21:46 -0500
Subject: [PATCH 3/5] update

---
 pattern_mining/db/mico_fsm4_sampling.log |  2 ++
 pattern_mining/mico_fsm4_sampling.log    | 16 ++++++++++++++++
 pattern_mining/test/fsm4_sampling.cpp    |  4 ++--
 3 files changed, 20 insertions(+), 2 deletions(-)
 create mode 100644 pattern_mining/db/mico_fsm4_sampling.log
 create mode 100644 pattern_mining/mico_fsm4_sampling.log

diff --git a/pattern_mining/db/mico_fsm4_sampling.log b/pattern_mining/db/mico_fsm4_sampling.log
new file mode 100644
index 0000000..091c455
--- /dev/null
+++ b/pattern_mining/db/mico_fsm4_sampling.log
@@ -0,0 +1,2 @@
+nohup: ignoring input
+nohup: failed to run command ‘./fsm4_sampling.exe’: No such file or directory
diff --git a/pattern_mining/mico_fsm4_sampling.log b/pattern_mining/mico_fsm4_sampling.log
new file mode 100644
index 0000000..7415bcc
--- /dev/null
+++ b/pattern_mining/mico_fsm4_sampling.log
@@ -0,0 +1,16 @@
+nohup: ignoring input
+Graph read complete. Number of vertex: 100000
+sampling method: 2
+support threshold: 100
+start matchings pat2: 
+db path: ./db/712842086
+count: 1080156
+num of size-2 frequent patterns: 380
+start matchings pat3: 
+count: 53546459
+count: 50139840
+match 3 time: 4096.47 sec
+num of size-3 frequent patterns: 9030
+building tables...
+build table done
+Time: 54676.7 sec, Num patterns: 249140
diff --git a/pattern_mining/test/fsm4_sampling.cpp b/pattern_mining/test/fsm4_sampling.cpp
index 8e1f4b3..85b4471 100644
--- a/pattern_mining/test/fsm4_sampling.cpp
+++ b/pattern_mining/test/fsm4_sampling.cpp
@@ -73,7 +73,7 @@ int main(int argc, char* argv[]) {
   cout << "num of size-3 frequent patterns: " << d3.sgl->size() << endl;
 
 
-  vector<SGList> sgls = { d2, d3 };
+  vector<SGList> sgls = { d3, d2 };
 
   cout << "building tables..." << endl;
   auto [H, sw] = build_tables(sgls);
@@ -87,7 +87,7 @@ int main(int argc, char* argv[]) {
 
     util::Timer t;
     t.start();
-    auto [d_res, ess] = join<true, true, true, false, 2, 3, 4>(g, H, sgls, false, sm, { st, st }, sw, sup);
+    auto [d_res, ess] = join<true, true, true, false, 2, 4, 3>(g, H, sgls, false, sm, { st, st }, sw, sup);
     t.stop();
 
     filter(d_res, sup);

From 5a8cda2b5bec38f478f3315a193d300ed1c913ba Mon Sep 17 00:00:00 2001
From: YihuaWei <wwyihua@gmail.com>
Date: Tue, 29 Jun 2021 04:26:19 -0500
Subject: [PATCH 4/5] update

---
 ...co_fsm4_sampling.log => mico_fsm4_sampling_0.001.log} | 0
 pattern_mining/mico_fsm4_sampling_0.005.log              | 9 +++++++++
 2 files changed, 9 insertions(+)
 rename pattern_mining/{mico_fsm4_sampling.log => mico_fsm4_sampling_0.001.log} (100%)
 create mode 100644 pattern_mining/mico_fsm4_sampling_0.005.log

diff --git a/pattern_mining/mico_fsm4_sampling.log b/pattern_mining/mico_fsm4_sampling_0.001.log
similarity index 100%
rename from pattern_mining/mico_fsm4_sampling.log
rename to pattern_mining/mico_fsm4_sampling_0.001.log
diff --git a/pattern_mining/mico_fsm4_sampling_0.005.log b/pattern_mining/mico_fsm4_sampling_0.005.log
new file mode 100644
index 0000000..ef73b9a
--- /dev/null
+++ b/pattern_mining/mico_fsm4_sampling_0.005.log
@@ -0,0 +1,9 @@
+nohup: ignoring input
+Graph read complete. Number of vertex: 100000
+sampling method: 2
+support threshold: 500
+start matchings pat2: 
+db path: ./db/1278805954
+count: 1080156
+num of size-2 frequent patterns: 250
+start matchings pat3: 

From 9c5300376fff224f877724d8fce19cb90dbf8bc3 Mon Sep 17 00:00:00 2001
From: YihuaWei <wwyihua@gmail.com>
Date: Wed, 30 Jun 2021 01:16:49 -0500
Subject: [PATCH 5/5] update

---
 pattern_mining/mico_fsm4_sampling_0.005.log | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/pattern_mining/mico_fsm4_sampling_0.005.log b/pattern_mining/mico_fsm4_sampling_0.005.log
index ef73b9a..2ac3937 100644
--- a/pattern_mining/mico_fsm4_sampling_0.005.log
+++ b/pattern_mining/mico_fsm4_sampling_0.005.log
@@ -7,3 +7,10 @@ db path: ./db/1278805954
 count: 1080156
 num of size-2 frequent patterns: 250
 start matchings pat3: 
+count: 53546459
+count: 50139840
+match 3 time: 4073.21 sec
+num of size-3 frequent patterns: 3400
+building tables...
+build table done
+Time: 42468.8 sec, Num patterns: 54164