Selectivo EGOI 2024 (#38)

* selectivo día 1

* selectivo día 2

* selectivo día 3

* hacer problemas publicos

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/.gitignore

@@ -0,0 +1,2 @@
+**/*.out
+!tests/invalid-cases/*.out

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/case-generator.cpp

@@ -0,0 +1,182 @@
+#include <algorithm>
+#include <chrono>
+#include <fstream>
+#include <iostream>
+#include <random>
+#include <string>
+#include <vector>
+
+enum Strategy {
+  kAlwaysNext,
+  kConnected,
+  kFullRandom,
+  kNextOrBegin,
+  kPermutation,
+  kSingleLoop,
+};
+
+struct RandomGenerator {
+  RandomGenerator(const std::vector<long long>& sequence)
+      : seed(sequence.begin(), sequence.end()), engine(seed) {}
+
+  long long Integer(long long l, long long r) {
+    std::uniform_int_distribution<long long> distribution(l, r);
+    return distribution(engine);
+  }
+
+  long long CoinToss(long long a, long long b) {
+    std::uniform_int_distribution<int> distribution(0, 1);
+    return distribution(engine) ? a : b;
+  }
+
+  void Permutation(std::vector<long long>& arr) {
+    std::shuffle(arr.begin(), arr.end(), engine);
+  }
+
+  std::seed_seq seed;
+  std::mt19937_64 engine;
+};
+
+bool IsValidPermutation(const std::vector<long long>& arr) {
+  for (int i = 0; i < arr.size(); ++i)
+    if (arr[i] == i + 1) return false;
+  return true;
+}
+
+struct TestMetadata {
+  std::string filename;
+  Strategy strategy;
+  int n, score;
+};
+
+struct Testcase {
+  Testcase(const TestMetadata& metadata, RandomGenerator& random)
+      : arr(metadata.n) {
+    switch (metadata.strategy) {
+      case kAlwaysNext:
+        arr[metadata.n - 1] = 1;
+        for (int i = 0; i < metadata.n - 1; ++i) arr[i] = i + 2;
+        break;
+      case kConnected: {
+        std::vector<long long> permutation(metadata.n);
+        for (int i = 0; i < metadata.n; ++i) permutation[i] = i;
+        random.Permutation(permutation);
+
+        int k = random.Integer(2, metadata.n - 1);
+        for (int i = 1; i < k; ++i)
+          arr[permutation[i - 1]] = permutation[i] + 1;
+        arr[permutation[k - 1]] = permutation[0] + 1;
+
+        for (int i = k; i < metadata.n; ++i)
+          arr[permutation[i]] = permutation[random.Integer(0, i - 1)] + 1;
+        break;
+      }
+      case kFullRandom:
+        for (int i = 0; i < metadata.n; ++i)
+          arr[i] = (i + random.Integer(1, metadata.n - 1)) % metadata.n + 1;
+        break;
+      case kNextOrBegin:
+        arr[0] = 2, arr[metadata.n - 1] = 1;
+        for (int i = 1; i < metadata.n - 1; ++i)
+          arr[i] = random.CoinToss(1, i + 2);
+        break;
+      case kPermutation:
+        for (int i = 0; i < metadata.n; ++i) arr[i] = i + 1;
+
+        while (!IsValidPermutation(arr)) random.Permutation(arr);
+        break;
+      case kSingleLoop: {
+        std::vector<long long> permutation(metadata.n);
+        for (int i = 0; i < metadata.n; ++i) permutation[i] = i;
+        random.Permutation(permutation);
+
+        for (int i = 1; i < metadata.n; ++i)
+          arr[permutation[i - 1]] = permutation[i] + 1;
+        arr[permutation[metadata.n - 1]] = permutation[0] + 1;
+        break;
+      }
+    }
+  }
+
+  void ToFile(const std::string& filename) {
+    std::ofstream file(filename);
+    file << arr.size() << '\n';
+    for (long long a : arr) file << a << ' ';
+    file << '\n';
+    file.close();
+  }
+
+  std::vector<long long> arr;
+};
+
+int main() {
+  const std::vector<TestMetadata> metadata_arr = {
+      {"sub1.case01", kNextOrBegin, 7, 17},
+      {"sub1.case02", kNextOrBegin, 8, 0},
+      {"sub1.case03", kNextOrBegin, 13, 0},
+      {"sub1.case04", kNextOrBegin, 17, 0},
+      {"sub1.case05", kNextOrBegin, 23, 0},
+      {"sub1.case06", kNextOrBegin, 100, 0},
+      {"sub1.case07", kNextOrBegin, 777, 0},
+      {"sub1.case08", kNextOrBegin, 919, 0},
+      {"sub1.case09", kNextOrBegin, 1000, 0},
+      {"sub1.case10", kNextOrBegin, 1001, 0},
+      {"sub1.case11", kNextOrBegin, 2024, 0},
+      {"sub1.case12", kNextOrBegin, 5000, 0},
+      {"sub1.case13", kNextOrBegin, 100000, 0},
+      {"sub1.case14", kNextOrBegin, 555555, 0},
+      {"sub1.case15", kNextOrBegin, 1000000, 0},
+      {"sub1.case16", kAlwaysNext, 100000, 0},
+      {"sub2.case01", kPermutation, 6, 34},
+      {"sub2.case02", kPermutation, 7, 0},
+      {"sub2.case03", kPermutation, 8, 0},
+      {"sub2.case04", kPermutation, 10, 0},
+      {"sub2.case05", kPermutation, 19, 0},
+      {"sub2.case06", kPermutation, 57, 0},
+      {"sub2.case07", kPermutation, 100, 0},
+      {"sub2.case08", kPermutation, 777, 0},
+      {"sub2.case09", kPermutation, 1000, 0},
+      {"sub2.case10", kPermutation, 12345, 0},
+      {"sub2.case11", kPermutation, 50000, 0},
+      {"sub2.case12", kPermutation, 100000, 0},
+      {"sub2.case13", kPermutation, 500000, 0},
+      {"sub2.case14", kPermutation, 1000000, 0},
+      {"sub2.case15", kPermutation, 1000000, 0},
+      {"sub2.case16", kSingleLoop, 6, 0},
+      {"sub2.case17", kSingleLoop, 1000, 0},
+      {"sub2.case18", kSingleLoop, 1000000, 0},
+      {"sub3.case01", kConnected, 8, 49},
+      {"sub3.case02", kConnected, 777, 0},
+      {"sub3.case03", kConnected, 1003, 0},
+      {"sub3.case04", kConnected, 500000, 0},
+      {"sub3.case05", kConnected, 1000000, 0},
+      {"sub3.case06", kConnected, 1000000, 0},
+      {"sub3.case07", kFullRandom, 5, 0},
+      {"sub3.case08", kFullRandom, 13, 0},
+      {"sub3.case09", kFullRandom, 69, 0},
+      {"sub3.case10", kFullRandom, 777, 0},
+      {"sub3.case11", kFullRandom, 1000, 0},
+      {"sub3.case12", kFullRandom, 4321, 0},
+      {"sub3.case13", kFullRandom, 10000, 0},
+      {"sub3.case14", kFullRandom, 20000, 0},
+      {"sub3.case15", kFullRandom, 100000, 0},
+      {"sub3.case16", kFullRandom, 200000, 0},
+      {"sub3.case17", kFullRandom, 500000, 0},
+      {"sub3.case18", kFullRandom, 1000000, 0},
+      {"sub3.case19", kFullRandom, 1000000, 0},
+      {"sub3.case20", kFullRandom, 1000000, 0},
+  };
+
+  RandomGenerator random({15485867, -104395303, 533000401});
+
+  std::ofstream testplan("testplan");
+  testplan << "sub1.case00 0\n";
+  testplan << "sub2.case00 0\n";
+
+  for (const auto& metadata : metadata_arr) {
+    Testcase(metadata, random).ToFile("cases/" + metadata.filename + ".in");
+    testplan << metadata.filename << ' ' << metadata.score << '\n';
+  }
+  testplan.close();
+  return 0;
+}

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case00.in

@@ -0,0 +1,2 @@
+4
+2 3 1 1

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case01.in

@@ -0,0 +1,2 @@
+7
+2 3 1 1 6 1 1 

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case02.in

@@ -0,0 +1,2 @@
+8
+2 3 1 5 6 1 1 1 

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case03.in

@@ -0,0 +1,2 @@
+13
+2 3 1 5 6 7 8 1 10 11 1 13 1 

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case04.in

@@ -0,0 +1,2 @@
+17
+2 3 4 1 6 7 1 9 10 11 12 13 1 1 1 1 1 

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case05.in

@@ -0,0 +1,2 @@
+23
+2 3 1 5 1 7 1 1 10 11 12 13 14 15 16 17 1 19 20 21 1 1 1 

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case06.in

@@ -0,0 +1,2 @@
+100
+2 3 1 5 1 7 1 9 10 11 12 13 14 15 1 1 1 1 1 21 1 1 24 25 1 27 28 29 30 1 32 33 1 1 36 37 1 1 1 1 1 43 44 45 1 1 1 1 50 1 52 53 1 1 56 1 1 1 1 1 1 63 1 65 1 67 1 69 1 71 72 1 1 75 1 77 1 79 1 1 1 1 1 1 1 87 88 1 90 1 92 1 1 95 1 1 98 1 100 1 

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case07.in

@@ -0,0 +1,2 @@
+777
+2 1 4 1 1 7 8 1 10 1 1 1 14 15 1 1 1 1 20 21 1 1 1 1 1 1 28 29 30 31 32 33 34 35 1 1 1 1 1 41 42 1 1 1 46 1 1 1 50 1 52 53 54 55 56 1 1 1 60 61 62 1 1 1 66 67 1 69 1 1 1 73 74 1 1 1 78 1 1 81 82 83 84 85 86 87 88 89 1 1 92 1 1 95 96 1 98 99 1 101 1 103 104 105 106 1 108 109 1 111 112 1 1 115 1 117 118 1 120 121 1 123 124 125 126 1 128 129 130 131 132 133 134 1 136 1 138 1 140 141 1 1 1 145 146 147 1 1 1 1 1 153 154 1 1 157 158 159 1 1 1 163 1 165 166 1 1 169 170 171 1 1 174 1 176 1 1 1 180 181 1 1 1 1 1 1 188 189 1 191 1 1 1 1 196 1 198 1 1 201 1 203 1 1 206 1 208 1 210 211 1 213 214 1 216 1 218 219 220 221 1 223 1 1 1 227 228 229 1 231 1 1 1 235 236 237 1 239 1 241 1 1 244 1 246 1 248 1 1 1 252 253 254 255 1 257 1 1 260 1 1 1 264 265 266 1 1 1 1 1 1 273 274 275 1 277 1 279 1 281 1 1 1 1 1 1 288 289 1 1 1 1 294 295 296 297 298 1 1 301 302 1 1 305 306 307 308 1 310 311 1 1 1 1 1 317 1 319 320 1 322 1 324 325 326 327 328 329 1 331 332 333 334 1 336 337 1 1 1 341 1 343 344 1 1 347 348 349 1 1 352 353 354 1 356 1 358 1 1 361 362 1 364 365 366 367 368 369 1 1 1 1 374 375 376 377 1 379 1 1 382 383 384 385 1 1 388 389 1 391 392 393 1 395 396 1 398 399 1 401 1 1 1 405 406 407 1 409 410 1 412 413 1 415 1 417 1 419 420 421 1 1 424 425 1 1 1 1 1 1 432 433 1 435 436 437 438 1 1 441 442 1 1 1 1 447 1 1 1 1 1 453 1 455 1 1 458 1 460 1 462 463 464 465 466 1 1 1 470 471 1 1 1 1 1 1 1 1 480 1 482 1 1 1 1 1 1 1 1 491 492 493 1 1 1 497 1 1 1 501 502 503 504 1 506 507 508 509 1 511 1 1 514 515 516 1 518 519 1 521 1 523 524 1 1 527 1 529 530 531 532 533 1 535 536 537 1 539 1 1 542 1 1 545 1 1 548 1 550 1 552 553 1 1 556 557 1 1 1 561 1 1 1 1 566 567 568 1 570 1 1 573 1 575 1 577 578 1 580 1 1 1 584 1 586 587 1 589 590 1 592 593 594 1 1 1 1 1 1 601 1 603 1 605 606 607 1 609 1 611 1 1 1 615 1 617 1 1 1 621 1 1 1 1 1 1 1 629 1 1 632 1 634 1 636 1 638 639 1 641 642 1 1 645 1 1 1 1 650 1 652 653 654 1 1 1 658 659 1 1 662 1 1 665 1 667 668 669 1 671 672 673 674 1 676 677 678 1 680 681 682 683 1 685 686 1 1 689 690 691 1 693 694 1 696 1 698 699 700 701 1 703 1 1 1 1 1 709 710 711 712 1 714 1 1 1 718 719 720 1 1 723 1 1 726 727 728 1 1 1 732 733 1 735 1 1 1 1 1 1 1 1 744 1 1 1 748 1 750 1 752 753 754 1 1 757 1 759 1 1 1 1 764 765 766 1 1 769 1 1 772 773 1 775 1 777 1 

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case08.in

@@ -0,0 +1,2 @@
+919
+2 3 4 1 1 7 8 1 1 1 1 13 1 15 1 1 1 1 1 1 22 23 1 1 1 1 28 1 30 31 1 1 1 1 1 37 1 39 40 1 42 43 1 1 46 47 48 49 50 51 1 53 1 55 56 1 1 59 60 1 1 1 64 65 1 67 1 1 1 1 72 73 74 75 76 1 78 1 1 81 1 1 84 85 86 1 1 89 1 1 1 1 1 1 96 1 1 99 100 101 1 103 104 105 1 1 108 1 110 1 1 113 1 1 116 1 118 119 120 121 122 123 1 125 1 1 1 129 1 1 132 133 1 1 136 1 1 1 140 141 1 143 144 145 1 1 1 1 1 151 152 1 154 1 156 157 1 1 1 161 162 163 1 1 1 1 1 169 1 171 172 1 174 1 176 177 178 179 180 181 182 183 184 1 1 1 1 1 1 1 192 193 194 1 1 1 198 1 1 201 1 1 1 1 206 207 208 209 1 1 1 1 214 215 216 217 1 1 220 221 1 1 1 1 1 227 1 229 1 231 1 233 1 1 1 1 1 1 240 241 242 1 1 245 246 247 248 249 250 1 1 1 254 1 1 1 1 1 1 261 1 263 264 265 266 1 268 269 270 271 272 1 1 1 276 277 1 279 280 1 1 1 1 285 286 287 1 1 1 1 292 293 294 295 296 1 1 299 300 301 302 303 1 1 1 307 308 309 1 1 312 313 314 315 1 1 1 319 320 1 322 323 324 325 1 1 328 1 1 331 1 333 1 335 1 1 1 1 340 341 1 1 344 345 346 347 348 349 1 351 352 1 354 355 356 357 1 359 1 361 1 363 364 1 1 367 368 1 370 371 1 1 374 375 376 377 378 379 1 381 1 1 384 1 1 387 1 389 1 391 1 393 394 395 396 397 1 399 1 1 1 1 1 1 1 407 408 409 410 1 412 413 414 1 416 1 1 1 420 421 422 423 1 1 426 427 428 1 430 1 432 433 434 435 436 1 438 1 1 441 442 443 1 445 446 447 1 1 450 451 452 1 1 455 1 1 458 459 1 461 1 463 1 1 1 467 468 1 1 1 472 473 1 475 476 1 1 1 1 481 482 1 484 485 486 487 1 1 1 491 492 1 1 1 1 1 498 1 1 1 502 1 504 505 506 507 1 509 510 511 1 1 514 515 1 1 518 519 520 521 522 1 1 525 1 1 1 529 1 1 1 533 1 1 536 1 1 1 1 541 542 1 544 1 1 547 1 1 1 551 552 553 554 1 556 557 1 1 1 561 562 563 1 1 1 1 568 1 1 571 572 1 574 575 1 577 1 579 1 581 582 1 584 585 586 587 588 1 1 1 592 1 1 595 596 1 1 599 600 601 602 1 604 1 1 607 1 1 1 1 612 1 614 615 616 617 1 619 1 1 1 623 624 625 626 1 628 1 1 1 1 633 634 1 1 1 638 1 640 1 1 643 644 645 646 1 648 1 650 1 652 653 1 655 656 657 658 659 1 661 662 663 664 1 666 667 1 1 1 1 1 673 1 1 1 677 1 1 680 1 682 1 684 1 1 1 688 1 690 691 692 1 1 695 1 697 1 699 700 701 1 703 1 705 706 707 708 709 1 711 712 1 1 715 1 1 1 719 720 1 722 1 724 725 1 1 1 1 730 731 1 1 1 735 736 737 1 739 740 1 742 1 1 1 1 747 748 749 750 1 1 1 754 755 1 757 758 759 760 1 762 763 1 1 1 767 1 769 1 1 1 773 1 775 1 777 1 779 1 1 782 1 1 1 786 787 788 1 790 791 792 793 794 795 1 797 1 1 1 801 802 1 1 805 806 807 1 809 1 811 1 813 814 1 1 817 818 1 1 1 822 1 824 825 1 827 828 829 830 1 1 833 834 1 836 837 1 839 840 841 842 843 1 845 846 847 1 1 850 1 1 1 854 1 1 1 858 1 1 1 862 1 1 865 1 867 868 1 1 1 872 873 1 1 876 1 1 879 880 881 1 883 884 885 886 1 888 889 890 1 1 893 1 1 1 897 1 899 900 1 1 903 904 1 1 1 908 909 1 1 1 913 1 1 916 917 918 1 1 

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case09.in

@@ -0,0 +1,2 @@
+1000
+2 3 4 1 1 7 8 1 10 11 12 13 1 1 1 17 1 1 20 1 22 1 1 25 26 27 28 29 1 1 1 33 1 35 36 1 38 39 40 1 42 43 44 1 46 1 48 1 1 51 52 53 54 1 1 1 58 59 1 1 62 1 1 1 66 1 68 1 70 71 1 73 74 75 1 1 1 79 80 1 82 1 84 1 86 87 1 1 1 91 1 93 94 1 96 1 1 99 1 1 102 1 1 105 106 107 108 1 110 111 1 113 1 1 116 117 118 1 1 1 1 1 124 1 1 127 128 129 130 131 1 1 1 135 136 137 1 1 1 141 1 143 144 145 146 1 1 1 150 1 1 1 1 155 1 1 1 1 1 1 162 163 1 1 1 167 1 1 170 171 172 1 1 1 1 1 178 179 1 181 182 1 184 185 186 187 188 1 1 191 1 193 1 195 1 1 1 1 1 1 202 203 204 205 206 207 208 209 1 211 212 1 1 1 216 1 1 219 220 221 222 223 224 225 226 227 1 1 230 1 232 1 1 1 236 237 238 1 240 1 242 1 244 245 1 247 1 1 250 251 252 1 1 1 1 257 258 259 260 261 1 1 264 1 266 267 1 269 270 1 1 1 1 1 1 1 1 279 1 1 1 283 1 285 286 1 1 1 1 291 292 1 294 295 296 297 298 299 300 301 1 303 304 1 306 307 1 309 310 1 312 313 1 315 316 317 318 319 1 321 322 1 1 325 326 1 328 1 1 1 1 1 334 1 336 1 338 339 1 341 1 343 1 1 346 347 1 1 1 1 1 353 354 355 356 357 358 1 360 361 1 363 364 1 1 367 1 369 370 1 372 1 374 375 1 1 378 379 1 381 1 383 1 1 1 387 388 1 390 1 392 393 394 395 1 397 1 1 1 401 402 1 404 405 406 1 1 1 410 411 1 1 1 1 416 1 418 1 1 421 422 1 424 1 1 1 1 429 1 431 1 1 434 435 436 1 438 439 1 1 442 443 1 1 1 447 448 449 450 1 452 1 1 455 456 457 458 1 460 1 462 463 1 1 466 1 468 1 470 1 472 473 474 1 476 477 478 1 1 1 1 483 1 1 486 1 488 489 490 491 492 1 494 495 1 1 1 1 500 501 502 1 504 505 506 507 508 1 510 1 1 1 1 515 516 1 1 519 1 1 522 523 1 525 526 527 528 529 530 531 532 1 1 1 536 537 1 539 1 1 1 1 544 1 1 547 1 1 550 551 552 553 554 1 1 1 1 559 1 1 1 563 564 565 566 567 1 1 570 1 572 1 574 575 576 577 578 1 580 581 1 583 1 1 586 587 1 1 590 1 592 1 594 595 596 1 1 599 1 601 1 603 1 1 1 1 608 1 610 1 1 613 1 1 1 1 1 1 1 621 622 1 1 625 626 1 1 1 1 1 1 633 1 635 636 1 638 639 640 641 1 1 644 1 646 1 648 1 650 651 1 1 1 1 656 657 658 1 1 661 1 663 664 665 666 667 1 669 1 1 1 1 1 1 676 1 678 1 680 681 1 683 1 1 686 687 1 689 1 1 1 693 694 1 696 1 698 1 1 701 702 703 1 1 706 707 708 709 710 711 712 713 714 1 1 1 718 719 720 1 1 723 1 725 1 1 1 729 730 1 732 1 1 735 1 737 738 1 740 1 742 743 744 1 1 747 1 1 750 751 1 753 754 755 1 757 1 759 1 761 762 763 764 765 766 1 768 769 770 771 772 773 774 1 1 777 1 1 1 1 1 1 784 1 786 787 1 789 1 791 1 793 1 1 1 1 1 1 800 1 1 1 804 805 1 807 808 809 1 1 1 1 1 815 816 817 818 819 1 1 822 823 1 825 1 827 1 829 1 1 1 1 1 1 1 1 1 1 1 841 1 1 844 1 846 847 1 849 1 851 1 853 854 855 856 857 1 859 1 861 862 1 1 1 1 1 868 1 870 871 872 873 874 875 876 877 1 879 880 881 882 883 884 885 1 887 1 889 1 891 1 893 894 895 896 1 898 899 1 901 902 1 1 905 1 1 1 909 1 1 1 1 914 915 916 1 918 919 920 921 1 1 1 925 1 1 1 1 930 931 1 933 1 935 1 1 1 939 940 1 942 1 1 945 1 1 1 949 1 1 952 953 954 1 956 1 1 1 1 1 1 1 964 1 1 1 1 969 1 1 1 1 1 1 976 1 978 1 980 981 982 983 1 985 986 987 988 989 990 1 992 993 1 995 1 1 998 999 1 1 

2023.5/selectivo-dia-1/selectivo-egoi-2024-espias/cases/sub1.case10.in

@@ -0,0 +1,2 @@
+1001
+2 3 4 5 6 1 1 9 10 11 12 1 14 1 16 1 1 1 20 21 1 23 24 1 26 27 1 1 1 1 32 33 34 1 1 1 38 1 1 41 1 43 44 1 1 47 48 49 50 51 52 53 1 1 1 57 1 59 1 1 62 63 64 1 1 67 1 1 1 71 72 1 74 1 1 1 1 79 1 81 1 83 84 1 86 87 88 89 90 1 92 1 94 95 96 1 1 1 100 1 102 1 1 105 1 107 108 109 1 1 112 113 1 1 116 1 118 1 1 1 1 1 1 125 126 1 1 129 1 131 1 133 1 1 136 137 1 139 140 141 142 143 144 1 1 147 148 1 150 1 152 1 154 155 156 1 1 159 160 161 1 163 1 165 166 167 1 169 1 171 1 1 174 1 1 1 178 179 1 181 1 1 184 1 1 1 1 189 1 1 1 193 194 195 1 1 198 1 200 1 1 203 204 1 1 1 1 1 1 1 212 1 214 1 216 1 1 219 1 221 222 1 1 1 226 1 228 229 230 231 232 233 234 235 236 237 1 1 240 1 242 243 244 245 246 247 1 249 1 251 252 253 254 1 256 257 1 259 260 1 1 263 264 1 1 267 1 269 1 1 272 273 1 275 1 1 1 1 280 1 282 283 284 285 286 1 288 289 290 291 1 293 1 1 1 297 1 299 1 1 1 1 304 305 1 307 1 1 1 311 312 313 314 1 1 317 318 319 320 1 1 323 1 325 1 327 328 1 330 1 1 333 1 335 336 1 1 339 340 1 342 343 344 345 346 1 1 1 1 1 1 353 1 355 356 357 358 359 360 1 362 363 1 365 366 367 1 1 370 1 1 373 1 375 1 377 378 379 380 381 1 1 384 1 386 1 388 1 390 1 392 393 1 1 396 397 1 399 400 1 402 403 1 405 1 1 408 1 410 411 412 1 1 1 416 417 418 1 420 421 422 423 1 1 426 1 1 429 1 1 432 433 434 435 1 1 438 1 440 1 1 1 1 445 1 447 448 1 450 1 452 453 454 455 456 457 458 1 460 461 462 463 464 1 1 467 1 469 1 1 1 473 474 475 1 1 478 1 480 1 482 1 484 1 486 1 1 489 490 491 1 1 1 1 496 497 1 1 1 1 502 503 504 505 1 507 1 509 1 1 1 1 514 1 516 517 1 519 520 521 1 523 1 525 1 1 1 529 530 531 1 1 1 1 1 1 538 1 540 1 1 543 544 1 546 1 1 549 1 1 552 1 554 1 556 1 1 1 1 1 1 563 1 1 1 567 1 569 1 571 572 573 574 575 576 1 1 579 580 1 582 1 1 1 586 587 1 589 1 1 592 1 1 1 596 597 1 1 1 601 1 1 1 605 606 1 1 609 1 611 612 613 1 615 1 1 1 1 620 621 622 623 1 625 626 1 1 629 1 1 1 1 1 1 636 1 1 639 1 1 1 1 1 645 1 1 1 649 650 1 652 1 654 1 1 1 1 1 660 661 662 1 664 1 1 1 668 669 670 671 672 673 1 675 1 677 1 679 1 681 682 1 684 1 686 687 688 1 690 691 1 693 1 695 1 1 698 699 700 1 1 1 704 705 706 707 708 709 1 1 712 713 1 715 1 1 1 719 1 1 722 723 1 725 726 727 728 729 1 731 1 733 734 735 1 737 738 739 740 741 742 743 744 1 1 1 1 749 750 751 752 1 1 755 756 757 1 759 760 761 762 1 764 1 1 767 768 769 1 1 1 1 774 775 776 777 1 779 1 1 1 783 1 785 786 787 788 789 1 1 792 793 1 1 796 1 1 799 800 1 802 803 804 1 1 807 1 1 1 811 812 813 814 815 816 1 1 1 1 1 1 1 1 1 1 1 828 829 830 1 832 1 834 1 836 837 1 1 840 1 1 843 1 845 846 847 848 1 1 851 1 1 854 1 856 1 1 1 1 861 1 1 1 1 1 1 1 869 1 871 1 873 1 875 876 877 1 1 1 881 882 1 884 885 886 1 888 1 890 1 892 893 1 895 896 1 1 899 900 901 1 903 1 1 1 907 908 909 1 911 1 913 914 915 1 1 918 919 920 921 922 1 1 1 926 1 1 929 1 1 1 1 934 1 936 937 938 1 940 941 1 943 1 1 1 947 1 1 950 1 1 1 954 1 956 1 958 959 1 1 962 1 964 1 966 1 968 969 1 971 972 1 1 1 976 977 1 1 1 981 982 983 984 985 1 1 988 1 990 991 1 1 1 995 1 1 998 1 1000 1 1