diff --git a/Main.py b/Main.py index 4b03c6f..86bc7ab 100644 --- a/Main.py +++ b/Main.py @@ -1,7 +1,5 @@ import cv2 -import numpy as np import argparse -import sys import time import os import datetime @@ -36,6 +34,9 @@ def init_argparse() -> argparse.ArgumentParser: parser.add_argument( "-t", "--training-data", action='store_true', help="When set, saves successful face-location images and coordinates to use for future training data" ) + parser.add_argument( + '--validate', action="store_true", help="if set, outputs frame_count and box coords for located faces for future validation" + ) return parser multiplication_factor = 0.05 @@ -82,7 +83,7 @@ if args.file: cap = cv2.VideoCapture(args.file) else: cap = cv2.VideoCapture(0, cv2.IMREAD_GRAYSCALE) # instead of grayscale you can also use -1, 0, or 1. -faceCascade = cv2.CascadeClassifier(r"./cascades/cascade_10.xml") # CHECK THIS FIRST TROUBLE SHOOTING +faceCascade = cv2.CascadeClassifier(r"./cascades/cascade_5.xml") # CHECK THIS FIRST TROUBLE SHOOTING datestamp = "{:%Y_%m_%d %H_%M_%S}".format(datetime.datetime.now()) output_dir = r"./output/" + datestamp + r"/" @@ -96,6 +97,8 @@ if args.training_data: tmp, frm = cap.read() height, width, channels = frm.shape +frame_count = 0 +start_timestamp = time.strftime("%Y%m%d-%H%M%S") # print(f"{height*.25}, {width}") del tmp, frm #Color is 1, grayscale is 0, and the unchanged is -1 @@ -121,6 +124,10 @@ while(True): fd.write(f"frame_{frame_name}.jpg, {x}, {y}, {w}, {h}\n") cv2.imwrite(output_dir + f"frame_{frame_name}.jpg", frame) + if args.validate: + with open(f"./validation/{start_timestamp}-validation.txt", 'a') as output_validation_file: + output_validation_file.write(f"{frame_count}, {x}, {y}, {x+w}, {y+h}\n") + faces_found += 1 adjustment_required = get_adjustment_amount([width, height], x, y, w, h) cv2.rectangle(frame, (x, y), (x+w, y+h), (255, 255, 255)) @@ -138,5 +145,7 @@ while(True): if cv2.waitKey(1) & 0xFF == ord('q'): break + frame_count += 1 + draw_dashboard(keep_stat_line=True) cap.release() diff --git a/training_data/TestVideo.mp4 b/validation/TestVideo.mp4 similarity index 100% rename from training_data/TestVideo.mp4 rename to validation/TestVideo.mp4 diff --git a/validation/cascade-1 output.txt b/validation/cascade-1 output.txt new file mode 100644 index 0000000..5e00532 --- /dev/null +++ b/validation/cascade-1 output.txt @@ -0,0 +1,2613 @@ +0, 120, 524, 505, 801 +0, 475, 96, 1408, 768 +1, 120, 524, 505, 801 +1, 1041, 228, 1503, 561 +2, 1067, 257, 1485, 558 +2, 120, 524, 505, 801 +2, 478, 91, 1404, 758 +3, 120, 524, 505, 801 +3, 478, 91, 1404, 758 +4, 120, 524, 505, 801 +4, 478, 91, 1404, 758 +5, 120, 524, 505, 801 +5, 456, 82, 1427, 781 +6, 120, 524, 505, 801 +7, 120, 524, 505, 801 +8, 120, 524, 505, 801 +9, 120, 524, 505, 801 +10, 121, 528, 497, 798 +11, 117, 529, 489, 797 +12, 123, 535, 492, 801 +13, 472, 806, 793, 1037 +13, 120, 527, 505, 804 +16, 125, 533, 484, 792 +17, 125, 533, 484, 792 +18, 118, 529, 503, 806 +19, 127, 535, 496, 801 +19, 996, 229, 1520, 606 +20, 133, 538, 497, 800 +20, 1006, 238, 1514, 604 +21, 125, 533, 484, 792 +22, 127, 535, 496, 801 +23, 118, 529, 503, 806 +23, 1013, 211, 1545, 593 +24, 118, 529, 503, 806 +25, 1041, 228, 1503, 561 +26, 119, 527, 488, 793 +26, 1041, 228, 1503, 561 +27, 108, 519, 493, 796 +28, 119, 527, 488, 793 +28, 1023, 228, 1516, 583 +29, 503, 407, 845, 653 +29, 118, 529, 503, 806 +29, 490, 128, 1289, 703 +30, 1057, 257, 1445, 537 +30, 520, 122, 1286, 673 +31, 1066, 272, 1413, 521 +31, 498, 129, 1276, 689 +32, 1058, 275, 1449, 556 +32, 123, 538, 487, 800 +32, 483, 115, 1289, 695 +33, 1054, 285, 1443, 565 +34, 1052, 276, 1454, 566 +35, 1050, 271, 1452, 561 +36, 1029, 259, 1472, 578 +37, 383, 192, 1235, 805 +38, 383, 192, 1235, 805 +40, 1055, 283, 1458, 573 +40, 504, 197, 1259, 740 +41, 1052, 273, 1465, 570 +41, 113, 529, 498, 806 +41, 504, 197, 1259, 740 +42, 1030, 253, 1461, 564 +43, 1038, 242, 1462, 547 +43, 504, 229, 1259, 772 +44, 1063, 268, 1466, 558 +44, 125, 532, 478, 786 +45, 1058, 262, 1458, 550 +45, 128, 533, 492, 795 +45, 380, 86, 1313, 758 +46, 1052, 265, 1465, 562 +46, 374, 110, 1275, 759 +47, 1055, 273, 1468, 570 +47, 133, 538, 497, 800 +47, 391, 120, 1263, 748 +48, 1052, 267, 1461, 561 +48, 118, 529, 503, 806 +48, 381, 124, 1265, 760 +49, 1052, 273, 1465, 570 +49, 116, 532, 501, 809 +49, 436, 181, 1235, 756 +49, 888, 257, 1554, 736 +50, 1029, 259, 1472, 578 +50, 116, 532, 501, 809 +50, 409, 173, 1208, 748 +51, 116, 532, 501, 809 +51, 353, 107, 1279, 774 +51, 1023, 253, 1485, 586 +52, 1000, 256, 1485, 606 +52, 355, 128, 1265, 784 +53, 123, 536, 495, 804 +53, 983, 260, 1495, 628 +53, 391, 167, 1220, 764 +54, 118, 529, 503, 806 +54, 440, 188, 1192, 729 +54, 1003, 264, 1484, 610 +55, 128, 533, 492, 795 +55, 1003, 264, 1484, 610 +55, 458, 203, 1181, 723 +56, 1052, 265, 1465, 562 +56, 450, 173, 1205, 716 +57, 1052, 265, 1465, 562 +57, 418, 197, 1173, 741 +58, 1052, 265, 1465, 562 +58, 118, 529, 503, 806 +58, 406, 196, 1172, 747 +59, 1066, 272, 1455, 552 +59, 116, 532, 501, 809 +59, 410, 195, 1165, 738 +60, 1066, 272, 1455, 552 +60, 116, 532, 501, 809 +60, 416, 171, 1135, 688 +61, 1069, 271, 1458, 551 +61, 116, 532, 501, 809 +61, 385, 161, 1144, 707 +62, 1062, 275, 1462, 563 +62, 116, 532, 501, 809 +62, 271, 109, 1197, 776 +63, 1059, 259, 1462, 549 +63, 118, 529, 503, 806 +63, 300, 145, 1152, 758 +64, 1058, 262, 1458, 550 +64, 271, 109, 1197, 776 +64, 507, 266, 1117, 705 +65, 1058, 262, 1458, 550 +65, 118, 529, 503, 806 +65, 300, 145, 1152, 758 +66, 1038, 242, 1462, 547 +66, 118, 529, 503, 806 +66, 300, 145, 1152, 758 +67, 1066, 272, 1455, 552 +67, 473, 289, 1102, 741 +67, 300, 145, 1152, 758 +68, 1066, 272, 1455, 552 +68, 123, 535, 492, 801 +68, 305, 157, 1144, 761 +69, 128, 538, 492, 800 +69, 1038, 242, 1462, 547 +69, 365, 173, 1169, 752 +70, 1066, 272, 1455, 552 +70, 389, 200, 1152, 749 +71, 1066, 272, 1455, 552 +71, 300, 145, 1152, 758 +72, 1066, 272, 1455, 552 +72, 331, 526, 855, 903 +72, 301, 157, 1132, 755 +73, 1058, 262, 1458, 550 +73, 360, 168, 1126, 719 +74, 123, 528, 487, 790 +74, 347, 181, 1113, 732 +75, 119, 527, 488, 793 +76, 1059, 259, 1462, 549 +76, 123, 528, 487, 790 +76, 358, 193, 1090, 720 +77, 1059, 259, 1462, 549 +77, 123, 528, 487, 790 +77, 363, 210, 1095, 737 +78, 1059, 259, 1462, 549 +78, 404, 226, 1092, 721 +79, 1059, 259, 1462, 549 +79, 127, 538, 496, 804 +79, 399, 219, 1092, 717 +80, 127, 538, 496, 804 +80, 395, 206, 1141, 743 +81, 397, 209, 1116, 726 +82, 404, 226, 1096, 724 +83, 128, 538, 492, 800 +83, 1059, 259, 1462, 549 +83, 416, 258, 1054, 717 +84, 1058, 262, 1458, 550 +84, 128, 538, 492, 800 +84, 429, 296, 1021, 722 +85, 1059, 259, 1462, 549 +85, 391, 227, 1091, 731 +86, 1059, 259, 1462, 549 +86, 402, 252, 1040, 711 +87, 1059, 259, 1462, 549 +87, 201, 588, 725, 965 +87, 404, 247, 1033, 699 +88, 1059, 259, 1462, 549 +88, 128, 538, 492, 800 +88, 373, 257, 1039, 736 +89, 1059, 259, 1462, 549 +89, 133, 538, 497, 800 +89, 344, 233, 1043, 736 +90, 1059, 259, 1462, 549 +90, 386, 253, 1052, 732 +91, 1059, 259, 1462, 549 +91, 344, 232, 1032, 727 +92, 1059, 259, 1462, 549 +92, 133, 538, 497, 800 +92, 240, 579, 702, 912 +92, 352, 223, 1044, 721 +93, 1059, 259, 1462, 549 +93, 133, 538, 497, 800 +93, 346, 195, 1056, 706 +94, 1069, 271, 1458, 551 +94, 118, 531, 492, 800 +94, 335, 206, 1018, 697 +95, 116, 532, 501, 809 +95, 316, 201, 1020, 707 +96, 1069, 271, 1458, 551 +96, 113, 529, 498, 806 +96, 330, 234, 1023, 732 +97, 1069, 271, 1458, 551 +97, 116, 532, 501, 809 +97, 346, 204, 1034, 699 +98, 1059, 259, 1462, 549 +98, 116, 532, 501, 809 +98, 346, 208, 1012, 687 +99, 1059, 259, 1462, 549 +99, 118, 534, 503, 811 +99, 322, 201, 1032, 712 +100, 1059, 259, 1462, 549 +100, 118, 534, 503, 811 +100, 335, 224, 1028, 722 +101, 1069, 271, 1458, 551 +101, 329, 201, 1033, 707 +102, 350, 602, 714, 864 +102, 324, 232, 1023, 735 +103, 262, 605, 698, 919 +103, 346, 231, 1012, 710 +104, 131, 539, 478, 788 +104, 1038, 242, 1462, 547 +104, 335, 250, 1001, 729 +105, 1038, 242, 1462, 547 +105, 329, 220, 1014, 713 +106, 1038, 242, 1462, 547 +106, 308, 185, 1031, 705 +107, 133, 538, 497, 800 +107, 1038, 242, 1462, 547 +107, 297, 180, 1029, 707 +108, 133, 538, 497, 800 +108, 1038, 242, 1462, 547 +108, 304, 189, 1027, 709 +109, 133, 538, 497, 800 +109, 1038, 242, 1462, 547 +109, 302, 176, 1034, 703 +110, 133, 538, 497, 800 +110, 1038, 242, 1462, 547 +110, 304, 174, 1027, 694 +111, 133, 538, 497, 800 +111, 1038, 242, 1462, 547 +111, 304, 174, 1027, 694 +112, 133, 538, 497, 800 +112, 1043, 493, 1428, 770 +112, 1038, 242, 1462, 547 +112, 311, 163, 1030, 680 +113, 133, 538, 497, 800 +113, 1038, 242, 1462, 547 +113, 1043, 493, 1428, 770 +113, 307, 176, 1017, 687 +114, 133, 538, 497, 800 +114, 1038, 242, 1462, 547 +114, 1043, 493, 1428, 770 +114, 311, 163, 1030, 680 +115, 133, 538, 497, 800 +115, 1038, 242, 1462, 547 +115, 1043, 493, 1428, 770 +115, 302, 164, 1034, 691 +116, 133, 538, 497, 800 +116, 1043, 493, 1428, 770 +116, 1038, 242, 1462, 547 +116, 297, 176, 1029, 703 +117, 133, 538, 497, 800 +117, 1038, 242, 1462, 547 +117, 1043, 493, 1428, 770 +117, 304, 174, 1027, 694 +118, 133, 538, 497, 800 +118, 1038, 242, 1462, 547 +118, 1043, 493, 1428, 770 +118, 304, 174, 1027, 694 +119, 1029, 253, 1491, 586 +119, 302, 176, 1034, 703 +120, 304, 189, 1027, 709 +120, 1029, 253, 1491, 586 +121, 1052, 265, 1465, 562 +121, 304, 189, 1027, 709 +122, 1029, 253, 1491, 586 +122, 293, 168, 1039, 705 +123, 1059, 259, 1462, 549 +123, 262, 605, 698, 919 +123, 293, 168, 1039, 705 +124, 1059, 259, 1462, 549 +124, 311, 184, 1030, 701 +125, 1059, 259, 1462, 549 +125, 346, 231, 1012, 710 +126, 1052, 265, 1465, 562 +126, 333, 196, 1026, 694 +127, 346, 231, 1012, 710 +128, 262, 605, 698, 919 +128, 346, 240, 1012, 719 +129, 262, 605, 698, 919 +129, 324, 212, 1023, 715 +130, 133, 538, 497, 800 +130, 1043, 493, 1428, 770 +131, 133, 538, 497, 800 +131, 1043, 493, 1428, 770 +131, 337, 222, 1003, 701 +132, 1052, 504, 1421, 770 +132, 133, 538, 497, 800 +132, 346, 224, 1012, 703 +133, 1052, 504, 1421, 770 +133, 133, 538, 497, 800 +133, 346, 206, 1012, 685 +134, 1058, 262, 1458, 550 +134, 335, 213, 1001, 692 +135, 1038, 242, 1462, 547 +135, 337, 209, 1041, 715 +136, 1043, 493, 1428, 770 +136, 1038, 242, 1462, 547 +136, 313, 209, 1036, 729 +137, 1058, 262, 1458, 550 +137, 128, 538, 492, 800 +137, 335, 223, 1034, 726 +138, 128, 538, 492, 800 +138, 1038, 242, 1462, 547 +138, 346, 195, 1056, 706 +139, 1038, 242, 1462, 547 +139, 411, 250, 1031, 696 +140, 364, 220, 1049, 713 +141, 380, 222, 1050, 704 +142, 378, 225, 1066, 720 +143, 360, 178, 1115, 721 +144, 1038, 242, 1462, 547 +144, 395, 216, 1097, 721 +145, 128, 538, 492, 800 +145, 1038, 242, 1462, 547 +145, 387, 219, 1087, 723 +146, 1058, 262, 1458, 550 +146, 428, 282, 1038, 721 +147, 1038, 242, 1462, 547 +148, 1058, 262, 1458, 550 +148, 394, 213, 1091, 714 +149, 133, 538, 497, 800 +149, 1038, 242, 1462, 547 +150, 133, 538, 497, 800 +150, 1038, 242, 1462, 547 +151, 127, 538, 496, 804 +151, 1038, 242, 1462, 547 +151, 425, 266, 1055, 719 +152, 133, 538, 497, 800 +152, 1038, 242, 1462, 547 +152, 344, 195, 1099, 738 +153, 1066, 272, 1455, 552 +153, 133, 538, 497, 800 +153, 366, 201, 1098, 728 +154, 1066, 272, 1455, 552 +154, 133, 538, 497, 800 +154, 354, 188, 1120, 739 +155, 1066, 272, 1455, 552 +155, 360, 168, 1126, 719 +156, 1066, 272, 1455, 552 +156, 360, 168, 1126, 719 +157, 1066, 272, 1455, 552 +157, 296, 131, 1148, 744 +158, 1066, 272, 1455, 552 +158, 389, 200, 1152, 749 +159, 1066, 272, 1455, 552 +159, 113, 534, 498, 811 +159, 365, 173, 1169, 752 +160, 1066, 272, 1455, 552 +160, 113, 534, 498, 811 +160, 365, 173, 1169, 752 +161, 1066, 272, 1455, 552 +161, 112, 532, 497, 809 +161, 300, 145, 1152, 758 +162, 1066, 272, 1455, 552 +162, 271, 109, 1197, 776 +163, 1066, 272, 1455, 552 +163, 118, 529, 503, 806 +163, 300, 145, 1152, 758 +164, 1038, 242, 1462, 547 +164, 430, 219, 1121, 716 +165, 1038, 242, 1462, 547 +165, 108, 519, 493, 796 +166, 123, 528, 487, 790 +166, 1038, 242, 1462, 547 +166, 422, 160, 1141, 677 +167, 119, 527, 488, 793 +167, 1038, 242, 1462, 547 +167, 416, 171, 1135, 688 +168, 119, 527, 488, 793 +168, 1038, 242, 1462, 547 +168, 443, 183, 1135, 681 +169, 1038, 242, 1462, 547 +169, 381, 153, 1168, 720 +170, 1038, 242, 1462, 547 +170, 438, 220, 1170, 747 +171, 1038, 242, 1462, 547 +171, 457, 208, 1176, 725 +172, 1029, 259, 1472, 578 +172, 113, 529, 498, 806 +172, 363, 128, 1239, 758 +173, 1029, 259, 1472, 578 +173, 363, 136, 1258, 780 +174, 1010, 260, 1475, 595 +174, 390, 122, 1285, 766 +175, 123, 536, 495, 804 +175, 380, 90, 1306, 757 +176, 1066, 272, 1455, 552 +176, 128, 533, 492, 795 +176, 369, 55, 1338, 753 +177, 1053, 277, 1458, 569 +177, 116, 532, 501, 809 +178, 1058, 275, 1456, 561 +178, 116, 532, 501, 809 +178, 504, 165, 1259, 708 +179, 123, 536, 495, 804 +180, 1050, 275, 1452, 565 +180, 127, 538, 496, 804 +181, 1060, 283, 1450, 564 +181, 123, 536, 495, 804 +182, 1091, 295, 1412, 526 +182, 118, 531, 492, 800 +183, 123, 535, 492, 801 +183, 1023, 228, 1516, 583 +184, 117, 529, 481, 791 +185, 123, 535, 492, 801 +185, 1018, 215, 1542, 592 +186, 123, 535, 492, 801 +187, 123, 535, 492, 801 +188, 123, 535, 492, 801 +188, 1022, 226, 1530, 592 +189, 125, 536, 484, 795 +189, 482, 139, 1360, 771 +190, 128, 533, 492, 795 +192, 125, 535, 478, 789 +193, 131, 534, 473, 780 +194, 117, 529, 489, 797 +195, 328, 167, 1083, 710 +196, 118, 529, 503, 806 +196, 328, 167, 1083, 710 +197, 587, 689, 929, 935 +197, 328, 167, 1083, 710 +198, 328, 167, 1083, 710 +198, 455, 54, 1477, 790 +199, 328, 167, 1083, 710 +200, 328, 167, 1083, 710 +201, 530, 818, 872, 1064 +201, 328, 167, 1083, 710 +202, 759, 512, 1101, 758 +202, 328, 167, 1083, 710 +203, 328, 167, 1083, 710 +203, 896, 426, 1479, 845 +204, 328, 167, 1083, 710 +204, 881, 420, 1491, 859 +205, 328, 167, 1083, 710 +205, 854, 389, 1527, 873 +206, 328, 167, 1083, 710 +206, 898, 420, 1490, 846 +207, 871, 439, 1500, 891 +207, 328, 167, 1083, 710 +208, 638, 693, 980, 939 +208, 328, 167, 1083, 710 +209, 125, 533, 484, 792 +209, 339, 178, 1071, 705 +210, 125, 533, 484, 792 +210, 328, 167, 1083, 710 +211, 631, 690, 1020, 970 +211, 118, 534, 503, 811 +211, 328, 167, 1083, 710 +211, 939, 416, 1568, 868 +212, 123, 536, 495, 804 +212, 939, 444, 1494, 843 +213, 123, 536, 495, 804 +213, 786, 513, 1171, 790 +213, 939, 445, 1531, 871 +214, 125, 533, 484, 792 +215, 620, 805, 962, 1051 +215, 126, 531, 500, 800 +215, 346, 185, 1056, 696 +216, 697, 670, 1039, 916 +216, 129, 529, 501, 797 +216, 917, 185, 1472, 584 +216, 379, 178, 1078, 681 +217, 125, 533, 484, 792 +217, 360, 188, 1115, 731 +218, 125, 533, 484, 792 +218, 363, 194, 1095, 721 +219, 127, 535, 496, 801 +219, 379, 178, 1078, 681 +220, 127, 529, 491, 791 +220, 346, 185, 1056, 696 +221, 129, 529, 501, 797 +222, 717, 674, 1081, 936 +222, 129, 529, 501, 797 +222, 785, 489, 1221, 803 +223, 707, 675, 1096, 955 +223, 127, 529, 491, 791 +223, 346, 195, 1056, 706 +224, 125, 535, 478, 789 +224, 326, 166, 1098, 722 +225, 125, 535, 478, 789 +225, 326, 166, 1098, 722 +226, 125, 535, 478, 789 +226, 1035, 179, 1516, 525 +226, 311, 150, 1119, 731 +227, 128, 538, 492, 800 +228, 128, 538, 492, 800 +229, 127, 538, 496, 804 +229, 1066, 179, 1528, 512 +230, 128, 538, 492, 800 +230, 346, 195, 1056, 706 +231, 128, 538, 492, 800 +231, 346, 195, 1056, 706 +232, 122, 533, 481, 792 +232, 363, 194, 1095, 721 +233, 123, 535, 492, 801 +233, 363, 194, 1095, 721 +234, 123, 535, 492, 801 +234, 360, 188, 1115, 731 +235, 123, 535, 492, 801 +235, 1061, 190, 1554, 545 +235, 880, 137, 1590, 648 +236, 113, 529, 498, 806 +237, 113, 529, 498, 806 +238, 113, 529, 498, 806 +239, 118, 534, 503, 811 +241, 118, 529, 503, 806 +242, 118, 529, 503, 806 +242, 363, 194, 1095, 721 +243, 118, 529, 503, 806 +243, 363, 194, 1095, 721 +244, 116, 532, 501, 809 +244, 363, 194, 1095, 721 +245, 123, 536, 495, 804 +245, 363, 194, 1095, 721 +246, 370, 204, 1067, 705 +247, 796, 790, 1133, 1032 +247, 370, 204, 1067, 705 +248, 118, 529, 503, 806 +249, 118, 529, 503, 806 +250, 842, 751, 1184, 997 +250, 128, 533, 492, 795 +251, 123, 535, 492, 801 +251, 1145, 182, 1685, 571 +252, 128, 533, 492, 795 +252, 1162, 195, 1686, 572 +253, 846, 751, 1188, 997 +253, 128, 533, 492, 795 +253, 1217, 408, 1602, 685 +254, 128, 533, 492, 795 +255, 131, 534, 473, 780 +256, 128, 533, 492, 795 +257, 127, 535, 496, 801 +257, 1124, 179, 1716, 605 +258, 855, 747, 1197, 993 +258, 127, 535, 496, 801 +259, 127, 535, 496, 801 +260, 128, 533, 492, 795 +261, 127, 535, 496, 801 +261, 1198, 196, 1691, 551 +262, 127, 535, 496, 801 +262, 1192, 197, 1700, 563 +263, 127, 535, 496, 801 +263, 1192, 197, 1700, 563 +264, 133, 538, 497, 800 +264, 1192, 197, 1700, 563 +265, 127, 535, 496, 801 +265, 1198, 196, 1691, 551 +266, 127, 535, 496, 801 +267, 127, 535, 496, 801 +268, 127, 535, 496, 801 +269, 133, 538, 497, 800 +269, 1205, 196, 1698, 551 +270, 123, 531, 492, 797 +270, 1205, 196, 1698, 551 +273, 119, 527, 488, 793 +276, 128, 538, 492, 800 +277, 851, 766, 1172, 997 +277, 128, 538, 492, 800 +278, 847, 753, 1168, 984 +278, 1159, 175, 1719, 577 +278, 113, 529, 498, 806 +279, 847, 757, 1168, 988 +279, 113, 529, 498, 806 +280, 116, 532, 501, 809 +281, 123, 536, 495, 804 +281, 795, 695, 1231, 1009 +282, 123, 536, 495, 804 +282, 1212, 411, 1597, 688 +283, 121, 536, 493, 804 +283, 1222, 393, 1586, 655 +284, 1192, 176, 1685, 531 +285, 1188, 171, 1696, 537 +286, 1182, 187, 1690, 553 +287, 133, 538, 497, 800 +287, 1194, 178, 1679, 528 +288, 133, 538, 497, 800 +288, 1158, 165, 1719, 569 +289, 133, 538, 497, 800 +289, 1168, 180, 1692, 557 +290, 127, 538, 496, 804 +291, 133, 538, 497, 800 +292, 133, 538, 497, 800 +292, 1103, 163, 1695, 589 +293, 133, 538, 497, 800 +293, 363, 194, 1095, 721 +294, 363, 194, 1095, 721 +295, 118, 534, 503, 811 +295, 363, 194, 1095, 721 +296, 118, 534, 503, 811 +296, 1006, 162, 1628, 609 +296, 363, 194, 1095, 721 +297, 118, 534, 503, 811 +297, 1002, 163, 1624, 610 +297, 363, 194, 1095, 721 +298, 1142, 152, 1604, 485 +298, 118, 534, 503, 811 +298, 363, 194, 1095, 721 +299, 1080, 148, 1614, 532 +300, 108, 519, 493, 796 +300, 1072, 177, 1627, 576 +301, 128, 533, 492, 795 +301, 1083, 164, 1611, 544 +302, 123, 538, 487, 800 +302, 1097, 166, 1605, 532 +303, 1039, 146, 1603, 552 +304, 1028, 145, 1611, 565 +306, 1029, 138, 1605, 552 +307, 1063, 752, 1410, 1001 +307, 1050, 170, 1605, 569 +308, 133, 538, 497, 800 +308, 1051, 185, 1587, 571 +309, 1061, 176, 1585, 553 +309, 118, 534, 503, 811 +310, 1077, 170, 1579, 531 +311, 1076, 171, 1584, 537 +312, 1072, 177, 1580, 543 +313, 1043, 156, 1591, 550 +314, 123, 538, 487, 800 +314, 1073, 171, 1581, 537 +315, 115, 531, 489, 800 +315, 1065, 177, 1580, 548 +316, 120, 536, 492, 804 +316, 1041, 159, 1590, 554 +317, 123, 538, 487, 800 +317, 1065, 177, 1580, 548 +318, 120, 536, 492, 804 +318, 1041, 159, 1590, 554 +319, 108, 527, 493, 804 +319, 1050, 156, 1590, 545 +320, 1389, 231, 1731, 477 +320, 108, 527, 493, 804 +320, 1043, 159, 1592, 554 +321, 1389, 231, 1731, 477 +321, 120, 536, 492, 804 +321, 1033, 147, 1597, 553 +322, 1389, 231, 1731, 477 +322, 120, 536, 492, 804 +322, 1073, 171, 1581, 537 +323, 1389, 231, 1731, 477 +323, 123, 538, 492, 804 +323, 1062, 177, 1577, 548 +324, 1389, 231, 1731, 477 +324, 120, 536, 492, 804 +324, 1040, 158, 1580, 547 +325, 123, 538, 492, 804 +325, 1042, 144, 1591, 539 +326, 1052, 152, 1586, 536 +327, 1075, 162, 1574, 521 +328, 1092, 156, 1570, 500 +329, 1074, 158, 1567, 513 +330, 102, 522, 506, 813 +330, 1051, 166, 1559, 532 +330, 346, 195, 1056, 706 +331, 118, 529, 503, 806 +331, 1051, 170, 1544, 525 +331, 346, 195, 1056, 706 +332, 1084, 162, 1533, 486 +332, 108, 519, 493, 796 +332, 346, 195, 1056, 706 +333, 1049, 162, 1542, 517 +333, 118, 529, 503, 806 +333, 346, 195, 1056, 706 +334, 116, 532, 501, 809 +334, 1030, 188, 1515, 538 +334, 346, 195, 1056, 706 +335, 1025, 177, 1533, 543 +335, 346, 195, 1056, 706 +336, 961, 166, 1548, 588 +337, 1023, 181, 1516, 536 +337, 326, 166, 1098, 722 +338, 116, 532, 501, 809 +338, 344, 171, 1122, 731 +339, 113, 529, 498, 806 +339, 1017, 182, 1498, 528 +339, 326, 166, 1098, 722 +340, 1032, 164, 1475, 483 +340, 113, 529, 498, 806 +341, 116, 532, 501, 809 +341, 970, 226, 1432, 559 +342, 113, 529, 498, 806 +343, 399, 195, 1065, 674 +344, 118, 529, 503, 806 +344, 971, 201, 1464, 556 +344, 399, 195, 1065, 674 +345, 118, 529, 503, 806 +345, 399, 195, 1065, 674 +346, 118, 529, 503, 806 +346, 399, 195, 1065, 674 +347, 118, 534, 503, 811 +347, 399, 195, 1065, 674 +348, 118, 529, 503, 806 +349, 127, 535, 496, 801 +349, 346, 185, 1056, 696 +350, 679, 688, 1021, 934 +350, 113, 528, 501, 807 +350, 346, 185, 1056, 696 +351, 133, 538, 497, 800 +351, 346, 185, 1056, 696 +352, 118, 529, 503, 806 +352, 346, 185, 1056, 696 +353, 346, 185, 1056, 696 +354, 339, 178, 1071, 705 +355, 339, 178, 1071, 705 +356, 328, 167, 1083, 710 +357, 346, 186, 1051, 693 +358, 346, 186, 1051, 693 +359, 128, 533, 492, 795 +359, 328, 167, 1083, 710 +360, 328, 167, 1083, 710 +361, 328, 167, 1083, 710 +362, 328, 167, 1083, 710 +363, 328, 167, 1083, 710 +364, 328, 167, 1083, 710 +365, 328, 167, 1083, 710 +366, 133, 538, 497, 800 +366, 328, 167, 1083, 710 +367, 133, 538, 497, 800 +367, 328, 167, 1083, 710 +368, 128, 533, 492, 795 +368, 328, 167, 1083, 710 +369, 128, 533, 492, 795 +369, 328, 167, 1083, 710 +370, 123, 535, 492, 801 +370, 328, 167, 1083, 710 +371, 328, 167, 1083, 710 +371, 468, 92, 1490, 828 +372, 128, 538, 492, 800 +372, 328, 167, 1083, 710 +373, 328, 167, 1083, 710 +373, 468, 92, 1490, 828 +374, 133, 538, 497, 800 +374, 339, 178, 1071, 705 +375, 127, 535, 496, 801 +375, 339, 178, 1071, 705 +376, 127, 535, 496, 801 +376, 339, 178, 1071, 705 +377, 120, 529, 492, 797 +378, 127, 535, 496, 801 +379, 127, 535, 496, 801 +379, 346, 185, 1056, 696 +380, 127, 535, 496, 801 +380, 346, 185, 1056, 696 +381, 127, 535, 496, 801 +381, 346, 185, 1056, 696 +382, 127, 535, 496, 801 +382, 346, 185, 1056, 696 +383, 120, 529, 492, 797 +383, 346, 185, 1056, 696 +384, 120, 529, 492, 797 +384, 346, 185, 1056, 696 +385, 127, 535, 496, 801 +385, 346, 185, 1056, 696 +386, 776, 507, 1165, 787 +386, 127, 535, 496, 801 +386, 346, 185, 1056, 696 +387, 127, 535, 496, 801 +387, 346, 185, 1056, 696 +388, 693, 710, 1014, 941 +388, 127, 535, 496, 801 +388, 363, 194, 1095, 721 +389, 108, 524, 493, 801 +389, 346, 185, 1056, 696 +390, 117, 530, 493, 800 +390, 346, 185, 1056, 696 +390, 930, 364, 1559, 816 +391, 128, 538, 492, 800 +391, 346, 185, 1056, 696 +392, 108, 534, 493, 811 +392, 346, 185, 1056, 696 +393, 125, 536, 484, 795 +393, 346, 185, 1056, 696 +394, 118, 529, 503, 806 +394, 758, 462, 1220, 795 +394, 379, 178, 1078, 681 +395, 118, 529, 503, 806 +395, 399, 195, 1065, 674 +396, 118, 529, 503, 806 +397, 131, 534, 473, 780 +397, 346, 195, 1056, 706 +398, 128, 533, 492, 795 +398, 326, 166, 1098, 722 +399, 128, 533, 492, 795 +399, 1307, 190, 1743, 504 +399, 326, 166, 1098, 722 +400, 128, 533, 492, 795 +400, 1017, 203, 1479, 536 +400, 326, 166, 1098, 722 +401, 128, 533, 492, 795 +401, 344, 171, 1122, 731 +402, 128, 533, 492, 795 +402, 1002, 210, 1534, 592 +402, 344, 177, 1122, 737 +403, 122, 533, 481, 792 +403, 1005, 183, 1545, 572 +403, 346, 195, 1056, 706 +404, 1024, 172, 1545, 547 +404, 346, 195, 1056, 706 +405, 95, 521, 506, 817 +405, 1030, 192, 1538, 558 +405, 346, 195, 1056, 706 +406, 95, 521, 506, 817 +406, 1026, 172, 1553, 551 +406, 346, 195, 1056, 706 +407, 1010, 177, 1568, 578 +407, 95, 521, 506, 817 +408, 1056, 162, 1564, 528 +408, 95, 521, 506, 817 +408, 363, 194, 1095, 721 +409, 1073, 760, 1415, 1006 +409, 98, 522, 502, 813 +409, 1053, 171, 1589, 557 +409, 363, 194, 1095, 721 +410, 1062, 180, 1586, 557 +410, 98, 522, 502, 813 +410, 363, 194, 1095, 721 +411, 1370, 236, 1734, 498 +411, 95, 521, 506, 817 +411, 1018, 195, 1603, 616 +411, 363, 194, 1095, 721 +412, 95, 521, 506, 817 +412, 989, 173, 1613, 622 +412, 363, 194, 1095, 721 +413, 107, 528, 495, 808 +413, 1070, 180, 1602, 562 +413, 363, 194, 1095, 721 +414, 1048, 178, 1608, 580 +414, 363, 194, 1095, 721 +415, 128, 538, 492, 800 +415, 1070, 174, 1602, 556 +415, 363, 194, 1095, 721 +416, 128, 538, 492, 800 +416, 363, 194, 1095, 721 +417, 128, 538, 492, 800 +417, 363, 194, 1095, 721 +418, 123, 535, 492, 801 +418, 363, 194, 1095, 721 +419, 133, 538, 497, 800 +419, 360, 188, 1115, 731 +420, 119, 527, 488, 793 +420, 360, 188, 1115, 731 +421, 363, 194, 1095, 721 +422, 113, 524, 498, 801 +422, 1022, 171, 1614, 597 +422, 363, 194, 1095, 721 +423, 363, 194, 1095, 721 +424, 1114, 752, 1456, 998 +424, 747, 773, 1089, 1019 +424, 1096, 186, 1604, 552 +424, 118, 529, 503, 806 +424, 346, 195, 1056, 706 +425, 128, 533, 492, 795 +425, 346, 195, 1056, 706 +426, 118, 529, 503, 806 +426, 346, 195, 1056, 706 +427, 127, 535, 496, 801 +427, 346, 195, 1056, 706 +428, 127, 535, 496, 801 +428, 1058, 177, 1613, 576 +428, 346, 195, 1056, 706 +429, 133, 538, 497, 800 +429, 1005, 161, 1615, 600 +429, 346, 195, 1056, 706 +430, 949, 133, 1615, 612 +430, 346, 195, 1056, 706 +431, 949, 151, 1615, 630 +431, 346, 195, 1056, 706 +432, 979, 157, 1608, 609 +432, 346, 195, 1056, 706 +434, 133, 538, 497, 800 +434, 945, 193, 1611, 672 +435, 934, 172, 1622, 667 +436, 118, 534, 503, 811 +436, 986, 199, 1608, 646 +437, 118, 534, 503, 811 +437, 970, 176, 1599, 628 +438, 715, 805, 1036, 1036 +438, 118, 534, 503, 811 +439, 118, 534, 503, 811 +440, 133, 538, 497, 800 +441, 127, 538, 496, 804 +441, 684, 679, 1208, 1056 +441, 898, 179, 1608, 690 +442, 128, 538, 492, 800 +442, 1115, 493, 1577, 826 +443, 133, 538, 497, 800 +444, 133, 538, 497, 800 +446, 128, 533, 492, 795 +447, 128, 533, 492, 795 +447, 810, 513, 1334, 890 +449, 914, 257, 1580, 736 +450, 123, 535, 492, 801 +451, 127, 535, 496, 801 +452, 127, 535, 496, 801 +453, 125, 533, 484, 792 +453, 907, 259, 1617, 770 +454, 125, 532, 478, 786 +455, 125, 532, 478, 786 +455, 978, 299, 1607, 751 +456, 128, 533, 492, 795 +457, 125, 532, 478, 786 +458, 125, 532, 478, 786 +458, 807, 541, 1300, 896 +459, 125, 533, 484, 792 +459, 807, 541, 1300, 896 +460, 125, 533, 484, 792 +460, 815, 534, 1308, 889 +461, 128, 533, 492, 795 +462, 127, 535, 496, 801 +462, 807, 541, 1300, 896 +462, 946, 282, 1575, 734 +463, 128, 533, 492, 795 +463, 807, 541, 1300, 896 +463, 977, 328, 1569, 754 +464, 807, 541, 1300, 896 +464, 118, 534, 503, 811 +464, 977, 328, 1569, 754 +465, 807, 541, 1300, 896 +465, 118, 534, 503, 811 +465, 946, 282, 1575, 734 +466, 807, 541, 1300, 896 +466, 118, 534, 503, 811 +466, 946, 282, 1575, 734 +467, 807, 541, 1300, 896 +468, 807, 541, 1300, 896 +469, 807, 541, 1300, 896 +470, 807, 541, 1300, 896 +471, 807, 541, 1300, 896 +472, 1092, 519, 1528, 833 +472, 819, 542, 1281, 875 +474, 120, 535, 489, 801 +474, 1094, 533, 1483, 813 +474, 954, 297, 1546, 723 +475, 113, 529, 498, 806 +476, 126, 538, 490, 800 +476, 1090, 539, 1479, 819 +476, 826, 530, 1288, 863 +477, 114, 529, 486, 797 +477, 826, 530, 1288, 863 +478, 121, 533, 485, 795 +478, 813, 535, 1294, 881 +479, 110, 520, 479, 786 +479, 808, 530, 1293, 880 +480, 822, 536, 1284, 869 +481, 954, 312, 1546, 738 +482, 813, 536, 1275, 869 +483, 819, 524, 1281, 857 +486, 765, 657, 1107, 903 +487, 807, 560, 1243, 874 +488, 346, 185, 1056, 696 +489, 819, 560, 1219, 848 +489, 346, 185, 1056, 696 +490, 824, 554, 1209, 831 +490, 346, 185, 1056, 696 +491, 1005, 556, 1347, 802 +491, 826, 552, 1193, 816 +491, 346, 185, 1056, 696 +492, 827, 558, 1190, 819 +492, 346, 185, 1056, 696 +493, 814, 552, 1178, 814 +493, 339, 178, 1071, 705 +494, 127, 538, 496, 804 +494, 811, 547, 1178, 811 +494, 339, 178, 1071, 705 +495, 813, 548, 1150, 790 +495, 133, 538, 497, 800 +495, 339, 178, 1071, 705 +496, 799, 559, 1141, 805 +496, 120, 529, 492, 797 +496, 339, 178, 1071, 705 +497, 812, 565, 1133, 796 +497, 339, 178, 1071, 705 +498, 108, 519, 493, 796 +498, 339, 178, 1071, 705 +499, 128, 533, 492, 795 +499, 339, 178, 1071, 705 +500, 799, 558, 1120, 789 +500, 339, 178, 1071, 705 +501, 782, 559, 1114, 798 +501, 339, 178, 1071, 705 +502, 113, 529, 498, 806 +502, 339, 178, 1071, 705 +503, 339, 178, 1071, 705 +504, 113, 529, 498, 806 +504, 328, 167, 1083, 710 +505, 128, 533, 492, 795 +505, 328, 167, 1083, 710 +506, 128, 533, 492, 795 +506, 328, 167, 1083, 710 +507, 128, 533, 492, 795 +507, 328, 167, 1083, 710 +508, 128, 533, 492, 795 +508, 328, 167, 1083, 710 +509, 128, 538, 492, 800 +509, 328, 167, 1083, 710 +510, 128, 538, 492, 800 +511, 128, 538, 492, 800 +512, 128, 538, 492, 800 +513, 328, 167, 1083, 710 +514, 332, 172, 1064, 699 +515, 128, 533, 492, 795 +515, 332, 172, 1064, 699 +516, 332, 172, 1064, 699 +517, 127, 538, 496, 804 +517, 332, 172, 1064, 699 +518, 133, 538, 497, 800 +518, 328, 158, 1083, 701 +519, 129, 535, 482, 789 +519, 332, 172, 1064, 699 +520, 133, 538, 497, 800 +521, 133, 538, 497, 800 +521, 804, 515, 1215, 811 +521, 1035, 318, 1459, 623 +522, 133, 538, 497, 800 +522, 1026, 311, 1462, 625 +523, 806, 539, 1148, 785 +523, 133, 538, 497, 800 +523, 1017, 271, 1479, 604 +524, 118, 534, 503, 811 +524, 1004, 271, 1497, 626 +525, 127, 538, 496, 804 +525, 775, 536, 1164, 816 +525, 1009, 260, 1508, 619 +526, 1008, 262, 1516, 628 +527, 125, 536, 484, 795 +527, 1008, 265, 1511, 627 +528, 1030, 269, 1464, 582 +528, 125, 536, 484, 795 +529, 1061, 273, 1450, 553 +529, 125, 536, 484, 795 +529, 648, 470, 1314, 949 +529, 500, 234, 1299, 809 +530, 125, 536, 484, 795 +531, 125, 536, 484, 795 +531, 1032, 272, 1460, 580 +532, 1015, 282, 1472, 611 +532, 122, 534, 486, 796 +532, 468, 234, 1267, 809 +533, 1076, 281, 1451, 551 +533, 116, 532, 501, 809 +533, 531, 235, 1241, 746 +534, 1076, 281, 1451, 551 +534, 118, 529, 503, 806 +535, 1076, 281, 1451, 551 +535, 118, 529, 503, 806 +535, 447, 236, 1253, 816 +536, 118, 534, 503, 811 +536, 1023, 253, 1485, 586 +537, 118, 534, 503, 811 +537, 1023, 253, 1485, 586 +538, 118, 534, 503, 811 +539, 1069, 271, 1458, 551 +539, 103, 525, 503, 813 +542, 113, 529, 498, 806 +543, 113, 529, 498, 806 +544, 1069, 271, 1458, 551 +544, 116, 532, 501, 809 +545, 1069, 271, 1458, 551 +545, 116, 532, 501, 809 +546, 1069, 271, 1458, 551 +546, 111, 527, 496, 804 +546, 969, 288, 1524, 687 +547, 1034, 279, 1480, 600 +547, 425, 561, 814, 841 +547, 108, 524, 493, 801 +547, 428, 243, 1138, 754 +548, 1062, 275, 1462, 563 +548, 102, 524, 487, 801 +549, 1054, 276, 1473, 578 +549, 456, 562, 798, 808 +550, 1062, 275, 1462, 563 +550, 108, 524, 493, 801 +550, 32, 402, 937, 1054 +551, 1062, 275, 1462, 563 +551, 112, 528, 497, 805 +552, 1062, 275, 1462, 563 +552, 454, 552, 775, 783 +552, 112, 528, 497, 805 +553, 1062, 275, 1462, 563 +553, 118, 534, 503, 811 +553, 464, 315, 1074, 754 +554, 1038, 242, 1462, 547 +554, 446, 286, 1146, 790 +555, 1038, 242, 1462, 547 +555, 458, 288, 1068, 727 +556, 1038, 242, 1462, 547 +556, 474, 353, 1047, 765 +557, 1058, 262, 1458, 550 +557, 460, 332, 1052, 758 +558, 1058, 262, 1458, 550 +559, 1034, 280, 1466, 591 +559, 118, 534, 503, 811 +559, 374, 248, 1046, 731 +560, 1034, 280, 1466, 591 +560, 118, 534, 503, 811 +560, 395, 246, 1065, 728 +561, 1032, 280, 1469, 595 +561, 374, 626, 716, 872 +561, 423, 333, 1025, 766 +562, 1023, 274, 1473, 598 +562, 347, 228, 1057, 739 +563, 356, 643, 698, 889 +563, 1039, 280, 1459, 582 +563, 382, 245, 1052, 727 +564, 1039, 280, 1459, 582 +564, 355, 244, 1040, 737 +565, 1023, 274, 1473, 598 +565, 294, 236, 1026, 763 +566, 335, 250, 1032, 751 +567, 277, 199, 1032, 742 +568, 1059, 259, 1462, 549 +568, 128, 529, 513, 806 +568, 315, 210, 1034, 727 +569, 1058, 262, 1458, 550 +569, 342, 587, 684, 833 +569, 123, 528, 508, 805 +569, 328, 186, 994, 665 +570, 1058, 262, 1458, 550 +570, 118, 529, 503, 806 +570, 337, 204, 1003, 683 +571, 1058, 262, 1458, 550 +571, 123, 528, 508, 805 +571, 332, 213, 998, 692 +572, 1059, 259, 1462, 549 +572, 123, 528, 508, 805 +572, 337, 195, 1003, 674 +573, 1059, 259, 1462, 549 +573, 118, 529, 503, 806 +573, 332, 180, 998, 659 +574, 1058, 262, 1458, 550 +574, 118, 529, 503, 806 +574, 326, 193, 992, 672 +575, 1040, 280, 1456, 579 +575, 127, 535, 496, 801 +575, 326, 193, 992, 672 +576, 1058, 262, 1458, 550 +576, 127, 535, 496, 801 +576, 328, 186, 994, 665 +577, 1058, 262, 1458, 550 +577, 127, 535, 496, 801 +577, 328, 186, 994, 665 +578, 1040, 280, 1456, 579 +578, 127, 535, 496, 801 +579, 1058, 262, 1458, 550 +579, 127, 535, 496, 801 +579, 326, 193, 992, 672 +580, 1058, 262, 1458, 550 +580, 127, 535, 496, 801 +580, 328, 186, 994, 665 +581, 1038, 242, 1462, 547 +581, 103, 525, 503, 813 +581, 328, 186, 994, 665 +582, 1038, 242, 1462, 547 +582, 102, 522, 506, 813 +582, 328, 186, 994, 665 +583, 1038, 242, 1462, 547 +583, 102, 522, 506, 813 +583, 300, 222, 993, 720 +584, 1040, 280, 1456, 579 +584, 133, 538, 497, 800 +584, 306, 223, 991, 716 +585, 1040, 280, 1456, 579 +585, 127, 538, 496, 804 +585, 306, 223, 991, 716 +586, 1052, 267, 1461, 561 +586, 123, 536, 495, 804 +586, 303, 225, 991, 720 +587, 127, 535, 496, 801 +587, 1052, 267, 1461, 561 +587, 303, 225, 991, 720 +588, 1052, 267, 1461, 561 +588, 127, 535, 496, 801 +588, 303, 225, 991, 720 +589, 1052, 265, 1465, 562 +589, 127, 535, 496, 801 +589, 308, 211, 996, 706 +590, 133, 538, 497, 800 +590, 1052, 265, 1465, 562 +590, 308, 211, 996, 706 +591, 133, 538, 497, 800 +591, 1052, 265, 1465, 562 +591, 308, 211, 996, 706 +592, 1062, 275, 1462, 563 +592, 127, 535, 496, 801 +592, 308, 211, 996, 706 +593, 1066, 272, 1455, 552 +593, 127, 535, 496, 801 +593, 305, 211, 998, 709 +594, 1066, 272, 1455, 552 +594, 127, 535, 496, 801 +594, 294, 211, 982, 706 +595, 1066, 272, 1455, 552 +595, 127, 535, 496, 801 +595, 308, 588, 629, 819 +595, 322, 183, 960, 642 +596, 1066, 272, 1455, 552 +596, 127, 535, 496, 801 +596, 304, 586, 625, 817 +597, 1066, 272, 1455, 552 +597, 127, 535, 496, 801 +597, 304, 586, 625, 817 +597, 974, 487, 1436, 820 +598, 1066, 272, 1455, 552 +598, 127, 535, 496, 801 +598, 974, 487, 1436, 820 +599, 133, 529, 497, 791 +599, 267, 570, 652, 847 +599, 1029, 253, 1491, 586 +599, 319, 204, 985, 683 +600, 1029, 253, 1491, 586 +601, 1012, 282, 1474, 615 +602, 1009, 283, 1490, 629 +603, 257, 534, 642, 811 +603, 1009, 283, 1490, 629 +604, 289, 160, 999, 671 +605, 240, 534, 644, 825 +605, 235, 156, 973, 687 +606, 996, 273, 1489, 628 +606, 298, 180, 968, 662 +607, 1012, 282, 1474, 615 +607, 289, 160, 999, 671 +608, 1012, 282, 1474, 615 +608, 298, 169, 1008, 680 +609, 1012, 282, 1474, 615 +610, 111, 554, 666, 953 +611, 96, 547, 651, 946 +612, 249, 186, 945, 686 +613, 246, 179, 953, 688 +614, 1036, 281, 1467, 591 +614, 297, 165, 996, 668 +615, 1059, 259, 1462, 549 +615, 96, 547, 651, 946 +615, 306, 168, 978, 651 +616, 1066, 272, 1455, 552 +616, 306, 168, 978, 651 +617, 1069, 271, 1458, 551 +617, 204, 154, 982, 714 +618, 1058, 262, 1458, 550 +618, 252, 163, 971, 680 +619, 1058, 262, 1458, 550 +619, 264, 172, 974, 683 +620, 1058, 262, 1458, 550 +620, 263, 158, 982, 675 +621, 1058, 262, 1458, 550 +621, 251, 142, 983, 669 +622, 1058, 262, 1458, 550 +622, 297, 165, 996, 668 +623, 1069, 271, 1458, 551 +623, 89, 555, 613, 932 +623, 325, 176, 973, 642 +623, 64, 102, 1022, 792 +624, 1069, 271, 1458, 551 +624, 338, 177, 960, 624 +625, 1069, 271, 1458, 551 +625, 315, 170, 953, 629 +626, 1039, 280, 1459, 582 +626, 321, 178, 965, 641 +627, 1039, 280, 1459, 582 +627, 335, 176, 973, 635 +628, 1039, 280, 1459, 582 +628, 340, 191, 969, 643 +629, 132, 532, 485, 786 +629, 1052, 265, 1465, 562 +629, 70, 521, 563, 876 +629, 346, 223, 929, 642 +630, 1052, 265, 1465, 562 +630, 346, 223, 929, 642 +631, 1052, 265, 1465, 562 +631, 330, 216, 929, 647 +632, 1059, 259, 1462, 549 +632, 333, 215, 943, 654 +633, 1059, 259, 1462, 549 +633, 346, 221, 945, 652 +634, 1059, 259, 1462, 549 +635, 1059, 259, 1462, 549 +635, 322, 172, 951, 624 +636, 1058, 262, 1458, 550 +636, 124, 524, 477, 778 +636, 336, 179, 928, 605 +637, 1058, 262, 1458, 550 +638, 1058, 262, 1458, 550 +639, 1052, 259, 1468, 558 +639, 292, 173, 958, 652 +640, 1052, 267, 1461, 561 +640, 301, 160, 967, 639 +641, 1058, 262, 1458, 550 +642, 1058, 262, 1458, 550 +642, 343, 194, 935, 620 +643, 1058, 262, 1458, 550 +643, 343, 194, 935, 620 +644, 1023, 274, 1473, 598 +644, 340, 190, 923, 609 +645, 1023, 274, 1473, 598 +645, 113, 524, 498, 801 +645, 332, 188, 942, 627 +646, 1039, 280, 1459, 582 +646, 113, 524, 498, 801 +646, 336, 194, 935, 625 +647, 1039, 280, 1459, 582 +647, 317, 177, 943, 627 +648, 1039, 280, 1459, 582 +648, 340, 190, 923, 609 +649, 1034, 281, 1471, 595 +649, 114, 524, 483, 790 +649, 316, 171, 954, 630 +650, 1034, 288, 1478, 608 +650, 319, 195, 985, 674 +651, 1034, 288, 1478, 608 +651, 110, 519, 474, 781 +651, 319, 195, 985, 674 +652, 110, 519, 474, 781 +652, 1036, 281, 1467, 591 +652, 319, 195, 985, 674 +653, 1036, 281, 1467, 591 +653, 108, 519, 493, 796 +653, 319, 195, 985, 674 +654, 1025, 275, 1468, 594 +654, 112, 524, 497, 801 +654, 329, 197, 951, 644 +655, 1044, 286, 1464, 588 +655, 113, 524, 498, 801 +655, 319, 195, 985, 674 +656, 1044, 286, 1464, 588 +656, 112, 524, 484, 792 +656, 319, 195, 985, 674 +657, 112, 524, 484, 792 +657, 1044, 286, 1464, 588 +657, 329, 197, 951, 644 +658, 1034, 280, 1466, 591 +658, 118, 529, 503, 806 +658, 319, 195, 985, 674 +659, 131, 539, 478, 788 +659, 1034, 281, 1471, 595 +659, 319, 195, 985, 674 +660, 126, 535, 479, 789 +660, 1036, 281, 1467, 591 +660, 329, 197, 951, 644 +661, 126, 535, 479, 789 +661, 1040, 280, 1456, 579 +661, 319, 195, 985, 674 +662, 131, 539, 478, 788 +662, 1058, 262, 1458, 550 +662, 319, 195, 985, 674 +663, 1040, 280, 1456, 579 +663, 319, 195, 985, 674 +664, 1040, 280, 1456, 579 +664, 319, 195, 985, 674 +665, 1040, 280, 1456, 579 +665, 319, 195, 985, 674 +666, 1040, 280, 1456, 579 +666, 319, 195, 985, 674 +667, 1009, 283, 1490, 629 +667, 319, 195, 985, 674 +668, 129, 535, 482, 789 +668, 1009, 283, 1490, 629 +668, 319, 195, 985, 674 +669, 129, 535, 482, 789 +669, 317, 179, 961, 642 +669, 1009, 283, 1490, 629 +670, 1034, 281, 1471, 595 +670, 129, 535, 482, 789 +670, 317, 179, 961, 642 +671, 1023, 274, 1473, 598 +671, 133, 538, 497, 800 +671, 317, 179, 961, 642 +672, 1023, 274, 1473, 598 +672, 317, 179, 961, 642 +673, 1034, 281, 1471, 595 +673, 75, 678, 486, 974 +673, 328, 202, 966, 661 +674, 129, 535, 482, 789 +674, 75, 678, 486, 974 +674, 1029, 253, 1491, 586 +674, 319, 200, 985, 679 +675, 129, 535, 482, 789 +675, 75, 678, 486, 974 +675, 1029, 253, 1491, 586 +675, 319, 186, 985, 665 +676, 148, 538, 490, 784 +676, 1033, 253, 1464, 564 +676, 323, 186, 952, 638 +677, 148, 538, 490, 784 +677, 1033, 253, 1464, 564 +677, 321, 188, 965, 651 +678, 1021, 273, 1457, 587 +678, 351, 192, 973, 639 +679, 1033, 253, 1464, 564 +679, 328, 195, 966, 654 +680, 129, 535, 482, 789 +680, 1033, 253, 1464, 564 +680, 274, 177, 966, 675 +681, 129, 535, 482, 789 +681, 1052, 267, 1461, 561 +681, 308, 185, 956, 651 +682, 1052, 267, 1461, 561 +682, 75, 678, 486, 974 +682, 234, 139, 989, 682 +683, 1040, 280, 1456, 579 +683, 75, 678, 486, 974 +683, 298, 169, 953, 640 +684, 1052, 267, 1461, 561 +684, 195, 123, 1001, 703 +685, 1032, 264, 1473, 582 +685, 289, 149, 999, 660 +686, 131, 534, 473, 780 +686, 1045, 269, 1472, 577 +686, 289, 149, 999, 660 +687, 131, 534, 473, 780 +687, 1032, 264, 1473, 582 +687, 289, 149, 999, 660 +688, 1045, 269, 1472, 577 +688, 75, 678, 486, 974 +688, 207, 138, 985, 698 +689, 1059, 259, 1462, 549 +689, 289, 149, 999, 660 +690, 1059, 259, 1462, 549 +690, 268, 166, 959, 663 +691, 1059, 259, 1462, 549 +691, 258, 166, 972, 680 +692, 1059, 259, 1462, 549 +692, 118, 529, 503, 806 +693, 1059, 259, 1462, 549 +694, 129, 535, 482, 789 +694, 1059, 259, 1462, 549 +695, 125, 532, 478, 786 +695, 1058, 262, 1458, 550 +695, 293, 187, 959, 666 +696, 125, 533, 484, 792 +696, 1058, 262, 1458, 550 +696, 293, 187, 959, 666 +697, 1058, 262, 1458, 550 +697, 125, 533, 484, 792 +697, 330, 181, 959, 633 +698, 1059, 259, 1462, 549 +698, 125, 533, 484, 792 +698, 338, 172, 967, 624 +699, 125, 533, 484, 792 +699, 1059, 259, 1462, 549 +699, 318, 171, 988, 653 +700, 125, 533, 484, 792 +700, 1058, 262, 1458, 550 +700, 299, 163, 958, 637 +701, 125, 533, 484, 792 +701, 1059, 259, 1462, 549 +701, 288, 159, 961, 643 +702, 122, 530, 481, 789 +702, 1059, 259, 1462, 549 +702, 276, 154, 981, 661 +703, 125, 533, 484, 792 +703, 264, 148, 969, 655 +704, 1012, 282, 1474, 615 +704, 274, 155, 971, 656 +705, 348, 158, 956, 596 +705, 1012, 282, 1474, 615 +706, 315, 165, 963, 631 +707, 132, 532, 485, 786 +707, 262, 547, 647, 824 +707, 315, 165, 963, 631 +708, 284, 159, 957, 643 +709, 284, 159, 957, 643 +710, 118, 529, 503, 806 +710, 284, 159, 957, 643 +711, 284, 159, 957, 643 +712, 110, 519, 474, 781 +712, 274, 155, 971, 656 +713, 110, 519, 474, 781 +713, 274, 155, 971, 656 +714, 114, 524, 483, 790 +714, 281, 165, 973, 663 +715, 137, 536, 484, 785 +715, 269, 160, 966, 661 +716, 137, 536, 484, 785 +716, 269, 160, 966, 661 +717, 138, 534, 502, 796 +717, 273, 160, 965, 658 +718, 137, 536, 484, 785 +718, 273, 160, 965, 658 +719, 1059, 259, 1462, 549 +719, 102, 522, 506, 813 +719, 285, 163, 976, 660 +720, 1069, 271, 1458, 551 +720, 127, 530, 486, 789 +720, 351, 189, 961, 628 +721, 1049, 287, 1457, 581 +721, 132, 532, 485, 786 +721, 351, 189, 961, 628 +722, 1049, 287, 1457, 581 +722, 354, 199, 964, 638 +723, 1039, 280, 1459, 582 +723, 290, 152, 989, 655 +724, 1059, 259, 1462, 549 +724, 310, 188, 954, 651 +725, 1059, 259, 1462, 549 +725, 118, 529, 503, 806 +725, 69, 556, 661, 982 +725, 297, 172, 996, 675 +726, 1059, 259, 1462, 549 +726, 312, 193, 978, 672 +727, 347, 522, 668, 753 +727, 1059, 259, 1462, 549 +727, 112, 524, 497, 801 +727, 310, 186, 976, 665 +728, 347, 522, 668, 753 +728, 1059, 259, 1462, 549 +728, 112, 524, 497, 801 +729, 347, 522, 668, 753 +729, 1059, 259, 1462, 549 +729, 112, 524, 497, 801 +729, 332, 182, 970, 641 +730, 347, 514, 668, 745 +730, 1059, 259, 1462, 549 +730, 118, 529, 503, 806 +730, 287, 219, 997, 730 +731, 313, 186, 1017, 692 +732, 293, 543, 678, 820 +732, 346, 204, 1012, 683 +733, 351, 522, 672, 753 +733, 123, 528, 508, 805 +734, 135, 536, 494, 795 +734, 320, 562, 684, 824 +734, 1029, 253, 1491, 586 +734, 331, 199, 1014, 690 +735, 136, 534, 500, 796 +735, 1029, 253, 1491, 586 +735, 305, 164, 1024, 681 +736, 129, 533, 501, 801 +737, 128, 533, 492, 795 +738, 120, 529, 492, 797 +739, 119, 527, 488, 793 +740, 1059, 259, 1462, 549 +740, 128, 533, 492, 795 +741, 1059, 259, 1462, 549 +742, 118, 529, 503, 806 +742, 346, 199, 1070, 720 +743, 123, 536, 495, 804 +743, 399, 204, 1065, 683 +744, 127, 538, 496, 804 +744, 1012, 282, 1474, 615 +744, 366, 283, 1271, 935 +745, 407, 579, 749, 825 +746, 118, 534, 503, 811 +747, 424, 556, 761, 798 +749, 861, 231, 1527, 710 +750, 1069, 271, 1458, 551 +751, 1059, 259, 1462, 549 +751, 314, 112, 1153, 716 +752, 1059, 259, 1462, 549 +752, 330, 149, 1129, 724 +753, 1059, 259, 1462, 549 +753, 289, 122, 1141, 735 +754, 133, 538, 497, 800 +755, 1059, 259, 1462, 549 +755, 289, 134, 1141, 747 +756, 1059, 259, 1462, 549 +756, 123, 535, 492, 801 +756, 282, 128, 1160, 760 +757, 123, 535, 492, 801 +757, 317, 134, 1153, 736 +758, 123, 535, 492, 801 +758, 338, 139, 1144, 719 +759, 118, 531, 492, 800 +760, 120, 529, 492, 797 +760, 426, 234, 1181, 777 +761, 1053, 272, 1471, 573 +761, 108, 519, 493, 796 +761, 362, 157, 1201, 761 +762, 1066, 266, 1474, 560 +762, 117, 529, 489, 797 +762, 374, 168, 1213, 772 +763, 1049, 267, 1458, 561 +763, 119, 527, 488, 793 +763, 870, 249, 1536, 728 +763, 368, 131, 1269, 780 +764, 1049, 267, 1458, 561 +764, 358, 111, 1220, 731 +765, 1028, 261, 1452, 566 +765, 118, 529, 503, 806 +766, 1077, 289, 1419, 535 +767, 1066, 277, 1438, 545 +768, 1089, 295, 1421, 534 +769, 1053, 299, 1464, 595 +770, 133, 538, 497, 800 +771, 1076, 293, 1440, 555 +772, 118, 529, 503, 806 +773, 127, 538, 496, 804 +774, 133, 538, 497, 800 +774, 532, 128, 1331, 703 +775, 133, 538, 497, 800 +776, 127, 535, 496, 801 +776, 328, 167, 1083, 710 +776, 442, 79, 1464, 815 +777, 128, 533, 492, 795 +778, 128, 533, 492, 795 +778, 328, 167, 1083, 710 +779, 128, 533, 492, 795 +779, 328, 167, 1083, 710 +780, 118, 529, 503, 806 +780, 328, 167, 1083, 710 +781, 328, 167, 1083, 710 +782, 328, 167, 1083, 710 +783, 328, 167, 1083, 710 +784, 328, 167, 1083, 710 +785, 328, 167, 1083, 710 +786, 328, 167, 1083, 710 +788, 133, 538, 497, 800 +790, 505, 816, 869, 1078 +790, 118, 534, 503, 811 +790, 328, 167, 1083, 710 +790, 468, 79, 1490, 815 +791, 118, 534, 503, 811 +791, 328, 167, 1083, 710 +792, 588, 702, 930, 948 +792, 328, 167, 1083, 710 +793, 328, 167, 1083, 710 +794, 339, 178, 1071, 705 +795, 328, 167, 1083, 710 +796, 133, 538, 497, 800 +796, 901, 224, 1386, 574 +796, 328, 167, 1083, 710 +797, 133, 538, 497, 800 +797, 328, 167, 1083, 710 +798, 328, 167, 1083, 710 +799, 118, 529, 503, 806 +799, 900, 219, 1393, 574 +799, 328, 167, 1083, 710 +800, 118, 529, 503, 806 +800, 328, 167, 1083, 710 +801, 118, 529, 503, 806 +801, 328, 167, 1083, 710 +802, 127, 535, 496, 801 +802, 328, 167, 1083, 710 +802, 883, 420, 1475, 846 +803, 129, 535, 482, 789 +803, 328, 167, 1083, 710 +803, 883, 420, 1475, 846 +804, 133, 538, 497, 800 +804, 328, 167, 1083, 710 +805, 123, 531, 492, 797 +805, 328, 167, 1083, 710 +806, 120, 529, 492, 797 +806, 328, 167, 1083, 710 +807, 123, 531, 492, 797 +807, 328, 167, 1083, 710 +808, 120, 529, 492, 797 +808, 328, 167, 1083, 710 +809, 113, 529, 498, 806 +809, 328, 167, 1083, 710 +810, 328, 167, 1083, 710 +811, 328, 167, 1083, 710 +812, 328, 167, 1083, 710 +813, 328, 167, 1083, 710 +814, 328, 167, 1083, 710 +815, 328, 167, 1083, 710 +816, 328, 167, 1083, 710 +817, 328, 167, 1083, 710 +818, 118, 529, 503, 806 +818, 339, 178, 1071, 705 +819, 118, 529, 503, 806 +819, 339, 178, 1071, 705 +820, 339, 178, 1071, 705 +821, 123, 535, 492, 801 +821, 339, 178, 1071, 705 +822, 119, 527, 488, 793 +822, 339, 178, 1071, 705 +823, 128, 533, 492, 795 +823, 339, 178, 1071, 705 +824, 127, 535, 496, 801 +824, 339, 178, 1071, 705 +825, 127, 535, 496, 801 +825, 339, 178, 1071, 705 +826, 127, 535, 496, 801 +826, 339, 178, 1071, 705 +827, 127, 535, 496, 801 +827, 339, 178, 1071, 705 +828, 127, 535, 496, 801 +828, 339, 178, 1071, 705 +829, 120, 529, 492, 797 +829, 339, 178, 1071, 705 +830, 111, 527, 496, 804 +830, 328, 167, 1083, 710 +831, 120, 529, 492, 797 +831, 328, 167, 1083, 710 +832, 127, 535, 496, 801 +832, 328, 167, 1083, 710 +833, 118, 529, 503, 806 +833, 328, 167, 1083, 710 +834, 118, 529, 503, 806 +834, 328, 167, 1083, 710 +835, 120, 529, 492, 797 +835, 328, 167, 1083, 710 +836, 127, 535, 496, 801 +836, 328, 167, 1083, 710 +837, 127, 535, 496, 801 +837, 339, 178, 1071, 705 +838, 127, 535, 496, 801 +838, 328, 167, 1083, 710 +839, 328, 167, 1083, 710 +840, 118, 529, 503, 806 +840, 328, 167, 1083, 710 +841, 328, 167, 1083, 710 +842, 123, 531, 492, 797 +843, 118, 529, 503, 806 +843, 337, 176, 1047, 687 +844, 337, 176, 1047, 687 +845, 337, 176, 1047, 687 +846, 332, 172, 1064, 699 +847, 328, 167, 1083, 710 +848, 328, 167, 1083, 710 +849, 128, 533, 492, 795 +849, 328, 167, 1083, 710 +850, 127, 535, 496, 801 +850, 328, 167, 1083, 710 +851, 328, 167, 1083, 710 +852, 328, 167, 1083, 710 +853, 328, 167, 1083, 710 +854, 118, 529, 503, 806 +854, 328, 167, 1083, 710 +855, 328, 167, 1083, 710 +856, 339, 178, 1071, 705 +857, 339, 178, 1071, 705 +858, 339, 178, 1071, 705 +859, 337, 167, 1092, 710 +860, 118, 529, 503, 806 +861, 332, 172, 1064, 699 +861, 118, 529, 503, 806 +862, 118, 529, 503, 806 +862, 337, 176, 1047, 687 +863, 337, 176, 1047, 687 +866, 346, 185, 1056, 696 +867, 339, 178, 1071, 705 +868, 328, 167, 1083, 710 +869, 128, 533, 492, 795 +869, 328, 167, 1083, 710 +870, 131, 534, 473, 780 +870, 328, 167, 1083, 710 +871, 328, 167, 1083, 710 +871, 895, 448, 1478, 867 +872, 339, 178, 1071, 705 +873, 339, 178, 1071, 705 +874, 886, 234, 1410, 611 +874, 339, 178, 1071, 705 +875, 346, 195, 1056, 706 +881, 128, 538, 492, 800 +881, 921, 215, 1498, 630 +881, 399, 195, 1065, 674 +882, 128, 533, 492, 795 +882, 925, 229, 1480, 628 +883, 123, 535, 492, 801 +884, 127, 538, 496, 804 +884, 949, 218, 1485, 604 +884, 399, 195, 1065, 674 +885, 123, 536, 495, 804 +885, 900, 217, 1492, 643 +885, 399, 195, 1065, 674 +886, 123, 536, 495, 804 +886, 880, 179, 1509, 631 +886, 399, 195, 1065, 674 +887, 123, 536, 495, 804 +887, 888, 184, 1498, 623 +887, 399, 195, 1065, 674 +888, 123, 536, 495, 804 +888, 901, 192, 1500, 623 +888, 399, 195, 1065, 674 +889, 123, 535, 492, 801 +889, 933, 196, 1491, 597 +889, 406, 188, 1125, 705 +890, 123, 535, 492, 801 +890, 925, 194, 1498, 606 +890, 406, 188, 1125, 705 +891, 123, 535, 492, 801 +891, 925, 194, 1498, 606 +891, 406, 188, 1125, 705 +892, 123, 536, 495, 804 +892, 928, 194, 1504, 609 +892, 406, 188, 1125, 705 +893, 126, 538, 490, 800 +893, 935, 203, 1495, 606 +893, 399, 195, 1065, 674 +894, 123, 535, 492, 801 +894, 920, 194, 1496, 609 +894, 399, 195, 1065, 674 +895, 128, 533, 492, 795 +895, 925, 229, 1480, 628 +896, 117, 529, 489, 797 +896, 942, 208, 1500, 609 +896, 399, 195, 1065, 674 +897, 117, 529, 489, 797 +897, 921, 197, 1513, 623 +897, 399, 195, 1065, 674 +898, 123, 535, 492, 801 +898, 896, 195, 1522, 645 +898, 399, 195, 1065, 674 +899, 133, 538, 497, 800 +899, 972, 212, 1480, 578 +900, 127, 538, 496, 804 +900, 925, 229, 1480, 628 +901, 127, 538, 496, 804 +901, 898, 210, 1497, 641 +902, 902, 188, 1505, 621 +903, 914, 203, 1506, 629 +904, 133, 538, 497, 800 +904, 902, 466, 1457, 865 +905, 133, 538, 497, 800 +906, 133, 538, 497, 800 +907, 127, 535, 496, 801 +908, 123, 536, 495, 804 +908, 899, 228, 1407, 594 +909, 127, 538, 496, 804 +910, 127, 538, 496, 804 +911, 128, 538, 492, 800 +911, 346, 185, 1056, 696 +912, 339, 178, 1071, 705 +913, 128, 538, 492, 800 +913, 339, 178, 1071, 705 +914, 339, 178, 1071, 705 +914, 893, 212, 1417, 589 +915, 328, 167, 1083, 710 +916, 328, 167, 1083, 710 +916, 537, 77, 1495, 767 +917, 328, 167, 1083, 710 +917, 889, 442, 1481, 868 +918, 328, 167, 1083, 710 +918, 902, 473, 1457, 872 +919, 865, 469, 1457, 895 +921, 339, 178, 1071, 705 +921, 853, 233, 1346, 588 +922, 328, 167, 1083, 710 +923, 328, 167, 1083, 710 +924, 328, 167, 1083, 710 +925, 328, 167, 1083, 710 +926, 123, 535, 492, 801 +928, 128, 533, 492, 795 +929, 127, 535, 496, 801 +930, 133, 538, 497, 800 +930, 328, 167, 1083, 710 +931, 133, 538, 497, 800 +931, 328, 167, 1083, 710 +932, 133, 538, 497, 800 +932, 328, 167, 1083, 710 +933, 328, 167, 1083, 710 +936, 328, 167, 1083, 710 +937, 113, 524, 498, 801 +937, 328, 167, 1083, 710 +938, 328, 167, 1083, 710 +939, 328, 167, 1083, 710 +940, 328, 167, 1083, 710 +941, 328, 167, 1083, 710 +942, 328, 167, 1083, 710 +943, 328, 167, 1083, 710 +944, 133, 538, 497, 800 +944, 328, 167, 1083, 710 +945, 498, 402, 840, 648 +945, 133, 538, 497, 800 +945, 328, 167, 1083, 710 +946, 133, 538, 497, 800 +946, 328, 167, 1083, 710 +947, 129, 535, 482, 789 +947, 328, 167, 1083, 710 +948, 129, 535, 482, 789 +948, 328, 167, 1083, 710 +949, 133, 538, 497, 800 +949, 328, 167, 1083, 710 +950, 133, 538, 497, 800 +950, 328, 167, 1083, 710 +951, 133, 538, 497, 800 +951, 328, 167, 1083, 710 +952, 133, 538, 497, 800 +952, 328, 167, 1083, 710 +953, 129, 535, 482, 789 +953, 328, 167, 1083, 710 +954, 129, 535, 482, 789 +954, 328, 167, 1083, 710 +955, 129, 535, 482, 789 +955, 328, 167, 1083, 710 +956, 129, 535, 482, 789 +956, 328, 167, 1083, 710 +957, 129, 535, 482, 789 +957, 328, 167, 1083, 710 +958, 133, 538, 497, 800 +958, 328, 167, 1083, 710 +959, 498, 402, 840, 648 +959, 328, 167, 1083, 710 +960, 498, 402, 840, 648 +960, 328, 167, 1083, 710 +961, 498, 402, 840, 648 +961, 118, 534, 503, 811 +961, 328, 167, 1083, 710 +962, 498, 402, 840, 648 +962, 112, 528, 497, 805 +962, 328, 167, 1083, 710 +963, 328, 167, 1083, 710 +964, 328, 167, 1083, 710 +965, 328, 167, 1083, 710 +966, 332, 172, 1064, 699 +967, 332, 172, 1064, 699 +969, 328, 167, 1083, 710 +970, 131, 534, 473, 780 +970, 328, 167, 1083, 710 +972, 470, 79, 1439, 777 +974, 127, 538, 496, 804 +974, 328, 167, 1083, 710 +975, 120, 532, 492, 800 +976, 120, 532, 492, 800 +977, 120, 532, 492, 800 +978, 123, 531, 492, 797 +979, 133, 538, 497, 800 +979, 1035, 251, 1502, 587 +980, 133, 538, 497, 800 +981, 120, 532, 492, 800 +981, 795, 111, 1257, 444 +981, 355, 213, 1028, 697 +982, 120, 532, 492, 800 +982, 426, 109, 1331, 761 +983, 118, 534, 503, 811 +983, 405, 73, 1374, 771 +983, 991, 269, 1499, 635 +984, 118, 534, 503, 811 +985, 1060, 275, 1432, 543 +985, 406, 149, 1172, 700 +985, 118, 534, 503, 811 +986, 1042, 281, 1444, 570 +986, 118, 534, 503, 811 +986, 398, 139, 1228, 736 +987, 118, 534, 503, 811 +987, 426, 111, 1331, 763 +988, 112, 528, 497, 805 +989, 1039, 246, 1475, 560 +990, 1030, 253, 1461, 564 +990, 318, 115, 1324, 839 +991, 133, 538, 497, 800 +991, 1038, 242, 1462, 547 +992, 1066, 266, 1474, 560 +992, 127, 535, 496, 801 +992, 928, 271, 1488, 673 +993, 133, 538, 497, 800 +993, 964, 251, 1491, 630 +994, 905, 250, 1497, 676 +995, 1059, 259, 1462, 549 +996, 1059, 259, 1462, 549 +997, 918, 272, 1528, 711 +999, 934, 297, 1511, 712 +999, 300, 145, 1152, 758 +1000, 913, 287, 1505, 713 +1001, 369, 167, 1175, 747 +1001, 923, 256, 1522, 687 +1002, 351, 171, 1150, 746 +1003, 351, 171, 1150, 746 +1004, 296, 166, 1174, 798 +1005, 131, 534, 473, 780 +1005, 298, 181, 1203, 833 +1006, 131, 534, 473, 780 +1008, 131, 534, 473, 780 +1008, 1043, 513, 1428, 790 +1014, 380, 188, 1135, 731 +1015, 380, 188, 1135, 731 +1016, 380, 188, 1135, 731 +1017, 335, 165, 1213, 797 +1019, 131, 534, 473, 780 +1019, 1043, 513, 1428, 790 +1019, 1029, 253, 1491, 586 +1020, 131, 534, 473, 780 +1020, 1043, 513, 1428, 790 +1022, 123, 533, 487, 795 +1022, 298, 168, 1203, 820 +1023, 281, 146, 1199, 807 +1024, 309, 171, 1108, 746 +1025, 303, 141, 1166, 762 +1026, 133, 538, 497, 800 +1026, 307, 146, 1151, 754 +1027, 133, 538, 497, 800 +1027, 321, 157, 1199, 789 +1028, 861, 231, 1527, 710 +1028, 301, 137, 1132, 735 +1029, 129, 535, 482, 789 +1029, 305, 158, 1164, 776 +1030, 305, 158, 1164, 776 +1030, 861, 231, 1527, 710 +1031, 303, 156, 1197, 800 +1031, 861, 231, 1527, 710 +1032, 282, 128, 1160, 760 +1033, 129, 535, 482, 789 +1033, 323, 153, 1171, 764 +1034, 295, 145, 1131, 747 +1035, 282, 128, 1160, 760 +1036, 295, 145, 1131, 747 +1037, 299, 153, 1129, 750 +1038, 290, 141, 1153, 762 +1039, 305, 157, 1144, 761 +1040, 330, 171, 1129, 746 +1041, 305, 157, 1144, 761 +1042, 330, 171, 1129, 746 +1043, 330, 171, 1129, 746 +1044, 305, 157, 1144, 761 +1045, 300, 145, 1152, 758 +1046, 305, 141, 1144, 745 +1047, 305, 141, 1144, 745 +1048, 300, 145, 1152, 758 +1049, 1059, 259, 1462, 549 +1049, 300, 145, 1152, 758 +1050, 1059, 259, 1462, 549 +1050, 133, 538, 497, 800 +1050, 300, 145, 1152, 758 +1051, 1059, 259, 1462, 549 +1051, 300, 145, 1152, 758 +1052, 1059, 259, 1462, 549 +1052, 300, 145, 1152, 758 +1053, 1059, 259, 1462, 549 +1053, 300, 145, 1152, 758 +1054, 300, 145, 1152, 758 +1056, 300, 145, 1152, 758 +1057, 300, 145, 1152, 758 +1058, 300, 145, 1152, 758 +1059, 300, 145, 1152, 758 +1060, 300, 145, 1152, 758 +1061, 1059, 259, 1462, 549 +1062, 1059, 259, 1462, 549 +1063, 1059, 259, 1462, 549 +1064, 121, 528, 474, 782 +1065, 114, 524, 483, 790 +1065, 300, 145, 1152, 758 +1066, 300, 145, 1152, 758 +1069, 114, 524, 483, 790 +1070, 113, 524, 498, 801 +1070, 313, 132, 1165, 745 +1070, 934, 260, 1517, 679 +1071, 123, 531, 492, 797 +1073, 114, 524, 483, 790 +1075, 113, 524, 498, 801 +1075, 244, 92, 1213, 790 +1076, 271, 109, 1197, 776 +1077, 133, 538, 497, 800 +1078, 133, 538, 497, 800 +1079, 1069, 271, 1458, 551 +1080, 1069, 271, 1458, 551 +1082, 905, 259, 1534, 711 +1083, 905, 259, 1534, 711 +1084, 1059, 259, 1462, 549 +1085, 1059, 259, 1462, 549 +1085, 888, 250, 1517, 702 +1086, 1069, 271, 1458, 551 +1086, 347, 156, 1252, 808 +1086, 888, 250, 1517, 702 +1087, 888, 250, 1517, 702 +1088, 905, 259, 1534, 711 +1089, 1066, 268, 1454, 548 +1089, 898, 243, 1490, 669 +1090, 413, 124, 1265, 737 +1090, 898, 243, 1490, 669 +1091, 413, 124, 1265, 737 +1091, 925, 251, 1480, 650 +1092, 413, 124, 1265, 737 +1092, 925, 251, 1480, 650 +1093, 925, 251, 1480, 650 +1094, 1077, 280, 1466, 560 +1095, 1077, 280, 1466, 560 +1096, 1077, 280, 1466, 560 +1097, 1087, 294, 1459, 562 +1097, 398, 163, 1276, 795 +1097, 898, 243, 1490, 669 +1098, 1077, 280, 1466, 560 +1098, 387, 153, 1281, 797 +1099, 1058, 250, 1471, 547 +1099, 905, 250, 1497, 676 +1099, 378, 154, 1256, 786 +1100, 1059, 259, 1462, 549 +1100, 110, 519, 474, 781 +1100, 362, 155, 1280, 816 +1100, 928, 275, 1538, 714 +1101, 388, 123, 1227, 727 +1102, 230, 639, 594, 901 +1102, 112, 524, 497, 801 +1103, 114, 524, 483, 790 +1103, 446, 208, 1165, 725 +1104, 112, 524, 497, 801 +1104, 395, 169, 1184, 737 +1105, 230, 639, 594, 901 +1105, 112, 524, 497, 801 +1105, 379, 180, 1168, 748 +1106, 1059, 259, 1462, 549 +1106, 111, 527, 496, 804 +1106, 376, 170, 1179, 748 +1107, 1066, 266, 1474, 560 +1107, 112, 524, 497, 801 +1107, 370, 119, 1222, 732 +1108, 1066, 266, 1474, 560 +1108, 112, 524, 497, 801 +1108, 370, 119, 1222, 732 +1109, 370, 119, 1222, 732 +1110, 370, 119, 1222, 732 +1111, 370, 119, 1222, 732 +1112, 1029, 253, 1491, 586 +1112, 370, 119, 1222, 732 +1114, 345, 145, 1197, 758 +1115, 133, 538, 497, 800 +1115, 345, 118, 1223, 750 +1116, 133, 538, 497, 800 +1116, 370, 119, 1222, 732 +1117, 133, 538, 497, 800 +1117, 355, 146, 1159, 725 +1118, 125, 533, 484, 792 +1118, 355, 146, 1159, 725 +1119, 230, 639, 594, 901 +1119, 133, 538, 497, 800 +1119, 381, 146, 1159, 706 +1120, 133, 538, 497, 800 +1120, 397, 177, 1172, 735 +1121, 133, 538, 497, 800 +1121, 1029, 253, 1491, 586 +1121, 413, 214, 1145, 741 +1122, 133, 538, 497, 800 +1122, 378, 168, 1207, 765 +1122, 1023, 253, 1485, 586 +1123, 133, 538, 497, 800 +1123, 1023, 253, 1485, 586 +1123, 404, 209, 1136, 736 +1124, 1053, 272, 1471, 573 +1124, 127, 535, 496, 801 +1124, 374, 160, 1177, 738 +1125, 1059, 259, 1462, 549 +1125, 127, 535, 496, 801 +1125, 351, 146, 1214, 767 +1126, 1076, 279, 1466, 560 +1126, 127, 535, 496, 801 +1126, 394, 192, 1193, 767 +1127, 1058, 262, 1458, 550 +1127, 413, 131, 1265, 744 +1128, 1058, 262, 1458, 550 +1128, 133, 538, 497, 800 +1128, 454, 158, 1258, 737 +1129, 133, 538, 497, 800 +1129, 1038, 249, 1449, 545 +1130, 133, 538, 497, 800 +1130, 932, 266, 1487, 665 +1131, 133, 538, 497, 800 +1131, 970, 276, 1478, 642 +1132, 1041, 285, 1452, 581 +1132, 118, 529, 503, 806 +1133, 1086, 307, 1439, 561 +1133, 127, 535, 496, 801 +1134, 1082, 302, 1429, 551 +1134, 127, 535, 496, 801 +1135, 1064, 263, 1430, 526 +1135, 127, 535, 496, 801 +1136, 127, 535, 496, 801 +1137, 127, 535, 496, 801 +1137, 1028, 262, 1494, 598 +1138, 127, 535, 496, 801 +1139, 1027, 233, 1494, 569 +1139, 118, 534, 503, 811 +1139, 328, 167, 1083, 710 +1140, 498, 402, 840, 648 +1140, 1044, 254, 1455, 550 +1141, 133, 538, 497, 800 +1141, 1020, 230, 1509, 582 +1142, 123, 531, 492, 797 +1142, 1029, 240, 1495, 576 +1143, 133, 538, 497, 800 +1143, 1022, 227, 1518, 584 +1144, 133, 538, 497, 800 +1144, 1025, 242, 1505, 587 +1144, 328, 167, 1083, 710 +1145, 133, 538, 497, 800 +1145, 328, 167, 1083, 710 +1146, 133, 538, 497, 800 +1146, 328, 167, 1083, 710 +1147, 118, 529, 503, 806 +1148, 118, 529, 503, 806 +1148, 328, 167, 1083, 710 +1149, 341, 180, 1060, 697 +1150, 341, 180, 1060, 697 +1151, 133, 538, 497, 800 +1151, 339, 178, 1071, 705 +1152, 339, 178, 1071, 705 +1152, 875, 240, 1337, 573 +1154, 498, 402, 840, 648 +1154, 130, 541, 489, 800 +1154, 328, 167, 1083, 710 +1155, 127, 538, 496, 804 +1155, 328, 167, 1083, 710 +1156, 127, 538, 496, 804 +1156, 328, 167, 1083, 710 +1157, 127, 538, 496, 804 +1157, 906, 234, 1368, 567 +1157, 339, 178, 1071, 705 +1158, 133, 538, 497, 800 +1158, 906, 228, 1368, 561 +1158, 339, 178, 1071, 705 +1159, 127, 538, 496, 804 +1159, 346, 185, 1056, 696 +1160, 127, 538, 496, 804 +1160, 346, 185, 1056, 696 +1161, 127, 538, 496, 804 +1161, 346, 185, 1056, 696 +1162, 127, 538, 496, 804 +1162, 346, 185, 1056, 696 +1163, 118, 531, 492, 800 +1163, 893, 431, 1453, 833 +1163, 346, 185, 1056, 696 +1164, 129, 535, 482, 789 +1164, 339, 178, 1071, 705 +1165, 133, 538, 497, 800 +1165, 339, 178, 1071, 705 +1166, 113, 528, 501, 807 +1166, 339, 178, 1071, 705 +1167, 113, 527, 489, 798 +1167, 895, 215, 1456, 619 +1167, 339, 178, 1071, 705 +1168, 113, 528, 501, 807 +1168, 339, 178, 1071, 705 +1169, 129, 535, 482, 789 +1169, 339, 178, 1071, 705 +1170, 610, 693, 952, 939 +1170, 131, 534, 473, 780 +1170, 915, 205, 1439, 582 +1170, 339, 178, 1071, 705 +1171, 610, 693, 952, 939 +1171, 133, 538, 497, 800 +1171, 339, 178, 1071, 705 +1172, 612, 689, 965, 943 +1172, 339, 178, 1071, 705 +1173, 131, 534, 473, 780 +1173, 339, 178, 1071, 705 +1174, 125, 532, 478, 786 +1174, 339, 178, 1071, 705 +1174, 816, 382, 1482, 861 +1175, 127, 535, 496, 801 +1175, 339, 178, 1071, 705 +1176, 133, 538, 497, 800 +1176, 339, 178, 1071, 705 +1176, 816, 382, 1482, 861 +1177, 339, 178, 1071, 705 +1177, 863, 407, 1485, 854 +1178, 339, 178, 1071, 705 +1179, 339, 178, 1071, 705 +1180, 339, 178, 1071, 705 +1180, 816, 382, 1482, 861 +1181, 118, 534, 503, 811 +1181, 339, 178, 1071, 705 +1182, 339, 178, 1071, 705 +1183, 339, 178, 1071, 705 +1184, 615, 697, 979, 959 +1184, 118, 534, 503, 811 +1184, 328, 167, 1083, 710 +1185, 615, 697, 979, 959 +1185, 125, 533, 484, 792 +1185, 339, 178, 1071, 705 +1186, 615, 697, 979, 959 +1186, 125, 533, 484, 792 +1186, 339, 178, 1071, 705 +1187, 120, 529, 492, 797 +1187, 339, 178, 1071, 705 +1188, 127, 535, 496, 801 +1188, 339, 178, 1071, 705 +1189, 133, 538, 497, 800 +1189, 339, 178, 1071, 705 +1190, 129, 535, 482, 789 +1190, 339, 178, 1071, 705 +1191, 129, 535, 482, 789 +1191, 339, 178, 1071, 705 +1192, 119, 529, 483, 791 +1192, 339, 178, 1071, 705 +1193, 120, 529, 492, 797 +1193, 339, 178, 1071, 705 +1194, 112, 527, 486, 796 +1194, 339, 178, 1071, 705 +1195, 112, 524, 484, 792 +1195, 339, 178, 1071, 705 +1196, 118, 529, 503, 806 +1196, 339, 178, 1071, 705 +1197, 118, 529, 503, 806 +1197, 339, 178, 1071, 705 +1198, 118, 529, 503, 806 +1198, 339, 178, 1071, 705 +1199, 125, 533, 484, 792 +1199, 339, 178, 1071, 705 +1200, 131, 534, 473, 780 +1200, 339, 178, 1071, 705 +1201, 339, 178, 1071, 705 +1202, 133, 538, 497, 800 +1202, 339, 178, 1071, 705 +1203, 133, 538, 497, 800 +1203, 339, 178, 1071, 705 +1204, 133, 538, 497, 800 +1204, 339, 178, 1071, 705 +1205, 133, 538, 497, 800 +1205, 328, 167, 1083, 710 +1206, 133, 538, 497, 800 +1206, 339, 178, 1071, 705 +1207, 133, 538, 497, 800 +1207, 339, 178, 1071, 705 +1208, 133, 538, 497, 800 +1208, 339, 178, 1071, 705 +1209, 339, 178, 1071, 705 +1210, 122, 530, 481, 789 +1210, 339, 178, 1071, 705 +1211, 129, 535, 482, 789 +1211, 339, 178, 1071, 705 +1212, 133, 538, 497, 800 +1212, 339, 178, 1071, 705 +1213, 129, 535, 482, 789 +1213, 339, 178, 1071, 705 +1214, 608, 696, 977, 962 +1214, 127, 535, 496, 801 +1214, 339, 178, 1071, 705 +1215, 127, 535, 496, 801 +1215, 601, 693, 986, 970 +1215, 339, 178, 1071, 705 +1216, 127, 535, 496, 801 +1216, 339, 178, 1071, 705 +1217, 127, 535, 496, 801 +1217, 601, 693, 986, 970 +1217, 339, 178, 1071, 705 +1217, 891, 413, 1483, 839 +1217, 922, 230, 1430, 596 +1218, 118, 529, 503, 806 +1218, 339, 178, 1071, 705 +1219, 118, 529, 503, 806 +1219, 895, 426, 1456, 830 +1219, 339, 178, 1071, 705 +1220, 118, 529, 503, 806 +1220, 895, 426, 1456, 830 +1220, 339, 178, 1071, 705 +1221, 127, 535, 496, 801 +1221, 899, 436, 1459, 838 +1221, 339, 178, 1071, 705 +1222, 127, 535, 496, 801 +1222, 339, 178, 1071, 705 +1222, 902, 220, 1410, 586 +1223, 133, 538, 497, 800 +1223, 339, 178, 1071, 705 +1224, 133, 538, 497, 800 +1224, 339, 178, 1071, 705 +1225, 133, 538, 497, 800 +1225, 339, 178, 1071, 705 +1226, 339, 178, 1071, 705 +1227, 328, 167, 1083, 710 +1228, 339, 178, 1071, 705 +1229, 884, 102, 1237, 356 +1229, 127, 535, 496, 801 +1229, 339, 178, 1071, 705 +1230, 891, 105, 1233, 351 +1230, 127, 535, 496, 801 +1230, 339, 178, 1071, 705 +1231, 127, 535, 496, 801 +1231, 339, 178, 1071, 705 +1232, 116, 532, 501, 809 +1232, 339, 178, 1071, 705 +1233, 125, 533, 484, 792 +1233, 339, 178, 1071, 705 +1234, 127, 535, 496, 801 +1234, 339, 178, 1071, 705 +1235, 127, 535, 496, 801 +1235, 339, 178, 1071, 705 +1236, 125, 532, 478, 786 +1236, 339, 178, 1071, 705 +1237, 125, 532, 478, 786 +1237, 339, 178, 1071, 705 +1238, 339, 178, 1071, 705 +1238, 118, 529, 503, 806 +1239, 118, 529, 503, 806 +1239, 339, 178, 1071, 705 +1240, 129, 535, 482, 789 +1240, 339, 178, 1071, 705 +1241, 125, 533, 484, 792 +1241, 339, 178, 1071, 705 +1242, 118, 529, 503, 806 +1242, 339, 178, 1071, 705 +1243, 129, 535, 482, 789 +1243, 339, 178, 1071, 705 +1244, 133, 538, 497, 800 +1244, 339, 178, 1071, 705 +1245, 339, 178, 1071, 705 +1246, 884, 102, 1237, 356 +1246, 339, 178, 1071, 705 +1247, 884, 102, 1237, 356 +1247, 339, 178, 1071, 705 +1248, 891, 99, 1233, 345 +1248, 113, 524, 498, 801 +1248, 339, 178, 1071, 705 +1249, 884, 102, 1237, 356 +1249, 123, 531, 492, 797 +1249, 339, 178, 1071, 705 +1250, 884, 102, 1237, 356 +1250, 113, 524, 498, 801 +1250, 339, 178, 1071, 705 +1251, 884, 102, 1237, 356 +1251, 114, 524, 483, 790 +1251, 339, 178, 1071, 705 +1252, 875, 105, 1239, 367 +1252, 339, 178, 1071, 705 +1253, 915, 457, 1439, 834 +1253, 339, 178, 1071, 705 +1254, 339, 178, 1071, 705 +1254, 915, 457, 1439, 834 +1255, 339, 178, 1071, 705 +1255, 915, 457, 1439, 834 +1256, 339, 178, 1071, 705 +1256, 908, 448, 1440, 830 +1257, 339, 178, 1071, 705 +1257, 902, 444, 1457, 843 +1258, 328, 167, 1083, 710 +1260, 118, 534, 503, 811 +1260, 328, 167, 1083, 710 +1261, 328, 167, 1083, 710 +1261, 903, 448, 1435, 830 +1262, 328, 167, 1083, 710 +1263, 339, 178, 1071, 705 +1264, 339, 178, 1071, 705 +1265, 328, 167, 1083, 710 +1266, 339, 178, 1071, 705 +1267, 328, 167, 1083, 710 +1268, 337, 176, 1047, 687 +1269, 118, 534, 503, 811 +1269, 337, 176, 1047, 687 +1270, 337, 176, 1047, 687 +1271, 328, 167, 1083, 710 +1272, 328, 167, 1083, 710 +1274, 112, 524, 497, 801 +1275, 112, 524, 497, 801 +1276, 118, 529, 503, 806 +1277, 1030, 233, 1523, 588 +1278, 1018, 215, 1542, 592 +1279, 1024, 254, 1490, 590 +1281, 113, 524, 498, 801 +1282, 112, 524, 497, 801 +1282, 447, 122, 1325, 754 +1283, 1008, 284, 1497, 636 +1283, 112, 524, 497, 801 +1284, 1030, 258, 1495, 593 +1284, 112, 524, 497, 801 +1285, 1047, 262, 1445, 548 +1285, 112, 524, 497, 801 +1286, 1057, 271, 1447, 552 +1286, 112, 524, 497, 801 +1286, 458, 132, 1310, 745 +1287, 1034, 284, 1453, 586 +1287, 112, 524, 497, 801 +1288, 1077, 289, 1419, 535 +1288, 118, 529, 503, 806 +1289, 1009, 270, 1475, 606 +1289, 116, 532, 501, 809 +1290, 118, 529, 503, 806 +1290, 443, 195, 1247, 774 +1291, 127, 535, 496, 801 +1292, 1062, 270, 1450, 549 +1293, 1058, 262, 1458, 550 +1293, 133, 538, 497, 800 +1293, 504, 229, 1259, 772 +1294, 1058, 262, 1458, 550 +1294, 133, 538, 497, 800 +1294, 632, 220, 1224, 646 +1294, 905, 254, 1515, 693 +1294, 426, 203, 1225, 778 +1295, 1058, 262, 1458, 550 +1296, 1059, 259, 1462, 549 +1296, 133, 538, 497, 800 +1296, 414, 118, 1277, 739 +1297, 129, 535, 482, 789 +1297, 423, 122, 1262, 726 +1297, 1023, 253, 1485, 586 +1298, 129, 535, 482, 789 +1298, 439, 168, 1238, 743 +1298, 1016, 259, 1478, 592 +1299, 129, 535, 482, 789 +1299, 407, 152, 1206, 727 +1299, 1023, 253, 1485, 586 +1300, 133, 538, 497, 800 +1300, 387, 137, 1218, 735 +1301, 129, 535, 482, 789 +1301, 380, 160, 1161, 722 +1302, 133, 538, 497, 800 +1303, 133, 538, 497, 800 +1304, 309, 117, 1214, 769 +1305, 133, 538, 497, 800 +1305, 309, 117, 1214, 769 +1306, 298, 126, 1216, 787 +1307, 133, 538, 497, 800 +1308, 133, 538, 497, 800 +1308, 313, 145, 1165, 758 +1309, 128, 533, 492, 795 +1309, 326, 118, 1220, 762 +1310, 128, 533, 492, 795 +1310, 370, 151, 1157, 718 +1311, 131, 534, 473, 780 +1311, 321, 118, 1199, 750 +1312, 339, 178, 1094, 721 +1313, 118, 534, 503, 811 +1313, 339, 178, 1094, 721 +1315, 129, 535, 482, 789 +1315, 364, 134, 1200, 736 +1316, 118, 529, 503, 806 +1316, 415, 160, 1170, 703 +1317, 118, 529, 503, 806 +1317, 345, 118, 1223, 750 +1318, 118, 529, 503, 806 +1319, 116, 532, 501, 809 +1319, 358, 132, 1210, 745 +1320, 126, 521, 511, 798 +1320, 396, 157, 1241, 765 +1321, 1076, 277, 1466, 558 +1321, 128, 534, 513, 811 +1321, 407, 176, 1216, 758 +1322, 1053, 272, 1471, 573 +1322, 336, 88, 1302, 784 +1323, 333, 79, 1302, 777 +1323, 116, 532, 501, 809 +1323, 1021, 264, 1483, 597 +1324, 123, 519, 508, 796 +1324, 407, 160, 1206, 735 +1325, 1053, 260, 1479, 567 +1325, 436, 192, 1235, 767 +1326, 1063, 280, 1465, 570 +1326, 426, 171, 1225, 746 +1327, 1117, 321, 1438, 552 +1327, 1023, 253, 1485, 586 +1327, 386, 141, 1249, 762 +1328, 1005, 247, 1490, 597 +1328, 404, 192, 1203, 767 +1329, 120, 524, 505, 801 +1329, 1003, 242, 1502, 601 +1329, 390, 197, 1156, 748 +1330, 118, 534, 503, 811 +1330, 990, 245, 1508, 618 +1330, 404, 192, 1203, 767 +1331, 1021, 281, 1472, 606 +1331, 106, 522, 506, 810 +1332, 116, 532, 501, 809 +1332, 976, 258, 1497, 633 +1332, 360, 188, 1115, 731 +1333, 120, 524, 505, 801 +1333, 1005, 247, 1490, 597 +1333, 360, 188, 1115, 731 +1333, 648, 435, 1314, 914 +1334, 123, 524, 508, 801 +1334, 1041, 222, 1503, 555 +1334, 673, 441, 1302, 893 +1334, 360, 188, 1115, 731 +1335, 1000, 256, 1485, 606 +1336, 1030, 279, 1470, 596 +1337, 1016, 262, 1488, 602 +1337, 123, 528, 508, 805 +1337, 382, 197, 1148, 748 +1338, 110, 519, 510, 807 +1338, 986, 249, 1490, 612 +1338, 360, 188, 1115, 731 +1339, 120, 527, 505, 804 +1339, 1005, 247, 1490, 597 +1339, 360, 188, 1115, 731 +1340, 1045, 280, 1469, 585 +1341, 1032, 271, 1473, 589 +1341, 346, 151, 1182, 753 +1341, 118, 534, 503, 811 +1342, 123, 524, 508, 801 +1342, 989, 249, 1501, 617 +1342, 382, 197, 1148, 748 +1343, 120, 527, 505, 804 +1343, 1041, 222, 1503, 555 +1343, 382, 197, 1148, 748 +1344, 125, 536, 484, 795 +1344, 989, 249, 1501, 617 +1344, 382, 197, 1148, 748 +1345, 1045, 278, 1469, 583 +1345, 129, 535, 482, 789 +1345, 363, 163, 1193, 760 +1346, 1011, 270, 1484, 611 +1346, 116, 532, 501, 809 +1346, 363, 163, 1193, 760 +1347, 123, 528, 508, 805 +1347, 989, 249, 1501, 617 +1347, 360, 188, 1115, 731 +1348, 123, 528, 508, 805 +1348, 989, 249, 1501, 617 +1348, 382, 197, 1148, 748 +1349, 102, 522, 506, 813 +1349, 1000, 256, 1485, 606 +1349, 394, 192, 1193, 767 +1350, 95, 516, 506, 812 +1350, 1000, 256, 1485, 606 +1351, 120, 524, 505, 801 +1351, 1000, 256, 1485, 606 +1352, 120, 524, 505, 801 +1352, 980, 251, 1501, 626 +1353, 120, 524, 505, 801 +1353, 1041, 222, 1503, 555 +1353, 360, 188, 1115, 731 +1354, 1056, 272, 1474, 573 +1355, 1066, 266, 1474, 560 +1356, 1050, 228, 1493, 547 +1356, 123, 524, 508, 801 +1358, 1041, 222, 1503, 555 +1359, 1029, 253, 1491, 586 +1360, 1059, 259, 1462, 549 +1360, 118, 529, 503, 806 +1361, 123, 528, 508, 805 +1361, 1041, 222, 1503, 555 +1362, 128, 524, 513, 801 +1364, 133, 538, 497, 800 +1365, 126, 531, 500, 800 +1365, 1029, 253, 1491, 586 +1366, 120, 524, 505, 801 +1366, 1041, 222, 1503, 555 diff --git a/validation/cascade-10 output.txt b/validation/cascade-10 output.txt new file mode 100644 index 0000000..6fe8dc0 --- /dev/null +++ b/validation/cascade-10 output.txt @@ -0,0 +1,522 @@ +35, 1004, 320, 1466, 653 +37, 1004, 320, 1466, 653 +39, 1021, 333, 1457, 647 +46, 1004, 320, 1466, 653 +47, 1004, 320, 1466, 653 +48, 1015, 339, 1451, 653 +49, 1021, 339, 1457, 653 +50, 1021, 339, 1457, 653 +51, 1021, 339, 1457, 653 +55, 528, 188, 1157, 640 +56, 503, 371, 845, 617 +56, 488, 169, 1154, 648 +66, 492, 379, 826, 619 +77, 505, 238, 1060, 637 +79, 479, 192, 1108, 644 +80, 461, 183, 1090, 635 +84, 444, 241, 1036, 667 +85, 444, 241, 1036, 667 +87, 459, 266, 1014, 665 +88, 461, 264, 1001, 652 +89, 459, 266, 1014, 665 +90, 424, 237, 1001, 652 +91, 431, 234, 1005, 646 +92, 444, 237, 999, 636 +93, 451, 244, 1006, 643 +94, 477, 244, 1001, 621 +97, 395, 213, 994, 644 +98, 395, 234, 987, 660 +99, 416, 239, 990, 651 +102, 422, 229, 977, 628 +106, 399, 266, 954, 665 +107, 399, 266, 954, 665 +110, 387, 255, 948, 659 +118, 407, 282, 931, 659 +120, 407, 282, 931, 659 +121, 399, 272, 931, 654 +122, 410, 278, 942, 660 +123, 399, 266, 954, 665 +128, 414, 259, 969, 658 +129, 390, 247, 973, 666 +130, 390, 247, 973, 666 +134, 437, 244, 992, 643 +135, 1006, 317, 1473, 653 +136, 1006, 317, 1473, 653 +138, 411, 223, 1003, 649 +139, 1006, 317, 1473, 653 +139, 411, 232, 1003, 658 +141, 451, 259, 1006, 658 +142, 459, 266, 1014, 665 +143, 459, 266, 1014, 665 +146, 1006, 317, 1473, 653 +147, 1006, 317, 1473, 653 +150, 446, 220, 1056, 659 +151, 489, 374, 826, 616 +160, 479, 385, 800, 616 +162, 588, 216, 1143, 615 +163, 484, 385, 805, 616 +165, 907, 147, 1662, 690 +175, 602, 235, 1194, 661 +177, 436, 139, 1235, 714 +178, 531, 195, 1241, 706 +214, 920, 176, 1630, 687 +215, 934, 217, 1466, 599 +216, 923, 195, 1589, 674 +217, 943, 228, 1461, 601 +218, 940, 214, 1513, 626 +219, 934, 209, 1552, 654 +220, 951, 216, 1533, 635 +221, 952, 221, 1527, 635 +222, 951, 209, 1527, 623 +223, 956, 220, 1515, 622 +224, 968, 213, 1535, 621 +225, 505, 372, 826, 603 +225, 967, 210, 1523, 610 +226, 505, 372, 826, 603 +226, 954, 195, 1551, 624 +227, 505, 372, 826, 603 +227, 974, 196, 1576, 629 +228, 505, 372, 826, 603 +228, 965, 193, 1557, 619 +229, 981, 188, 1566, 609 +230, 960, 195, 1573, 636 +231, 996, 200, 1585, 624 +232, 975, 191, 1609, 647 +233, 501, 360, 863, 621 +233, 976, 195, 1597, 642 +234, 975, 187, 1598, 635 +235, 992, 190, 1597, 625 +236, 992, 180, 1607, 623 +237, 970, 179, 1628, 652 +238, 1031, 200, 1609, 616 +239, 1002, 362, 1361, 621 +239, 928, 178, 1627, 681 +239, 1077, 200, 1609, 582 +240, 939, 176, 1649, 687 +240, 1084, 200, 1592, 566 +241, 1068, 193, 1626, 594 +242, 1034, 177, 1644, 616 +243, 1016, 173, 1653, 631 +244, 1045, 170, 1676, 624 +246, 1004, 171, 1674, 653 +247, 1091, 192, 1653, 597 +249, 1188, 194, 1650, 527 +250, 1208, 179, 1670, 512 +252, 1187, 221, 1680, 576 +253, 1202, 209, 1664, 542 +254, 1211, 189, 1673, 522 +255, 1210, 217, 1657, 539 +256, 1199, 216, 1692, 571 +259, 1228, 201, 1664, 515 +263, 1205, 215, 1729, 592 +264, 1205, 215, 1729, 592 +265, 1205, 215, 1729, 592 +266, 1205, 215, 1729, 592 +267, 1205, 215, 1729, 592 +273, 1228, 207, 1664, 521 +274, 1214, 197, 1676, 530 +275, 1205, 196, 1698, 551 +278, 1204, 207, 1685, 553 +279, 1214, 197, 1676, 530 +280, 1206, 203, 1668, 536 +281, 1198, 205, 1673, 547 +282, 1214, 179, 1676, 512 +283, 1211, 185, 1673, 518 +284, 1206, 180, 1668, 513 +285, 1199, 176, 1692, 531 +286, 1186, 189, 1679, 544 +287, 1191, 179, 1665, 520 +288, 505, 372, 826, 603 +288, 1180, 180, 1673, 535 +288, 981, 343, 1405, 648 +289, 505, 372, 826, 603 +289, 1171, 182, 1658, 533 +290, 1186, 156, 1679, 511 +291, 505, 372, 826, 603 +291, 1134, 175, 1651, 547 +292, 1113, 160, 1690, 575 +293, 505, 372, 826, 603 +293, 1125, 158, 1667, 548 +293, 993, 335, 1404, 631 +294, 1117, 159, 1675, 560 +295, 992, 341, 1383, 622 +295, 505, 372, 826, 603 +295, 1126, 168, 1650, 545 +296, 993, 333, 1396, 623 +296, 505, 372, 826, 603 +296, 1125, 169, 1633, 535 +297, 984, 342, 1392, 636 +297, 1128, 165, 1636, 531 +298, 1122, 171, 1621, 530 +299, 1102, 168, 1617, 539 +300, 1108, 172, 1605, 530 +301, 1099, 171, 1635, 557 +302, 1101, 168, 1617, 539 +302, 863, 136, 1662, 711 +303, 1093, 169, 1613, 543 +304, 1097, 177, 1605, 542 +305, 1094, 172, 1623, 553 +306, 1099, 176, 1603, 539 +307, 1093, 176, 1601, 542 +308, 1096, 173, 1595, 532 +309, 1097, 172, 1600, 534 +310, 1097, 172, 1600, 534 +310, 886, 107, 1641, 650 +311, 1096, 180, 1592, 537 +312, 1101, 178, 1591, 531 +313, 1098, 180, 1594, 537 +314, 1098, 169, 1603, 532 +315, 1099, 174, 1600, 534 +316, 1098, 167, 1610, 536 +317, 1098, 169, 1603, 532 +318, 1098, 166, 1606, 532 +319, 1098, 166, 1606, 532 +320, 1095, 167, 1608, 536 +321, 1103, 171, 1602, 530 +322, 1101, 170, 1586, 520 +323, 1092, 171, 1585, 526 +324, 1072, 176, 1593, 551 +325, 1078, 182, 1571, 537 +326, 1081, 166, 1589, 532 +327, 1080, 172, 1585, 535 +328, 991, 357, 1333, 603 +328, 1099, 177, 1577, 521 +329, 1024, 177, 1583, 579 +330, 1037, 178, 1561, 555 +331, 1028, 184, 1564, 570 +332, 1030, 169, 1572, 559 +333, 1022, 167, 1556, 551 +334, 1018, 177, 1522, 540 +335, 982, 170, 1558, 584 +336, 995, 178, 1531, 564 +337, 989, 183, 1504, 554 +338, 1004, 185, 1503, 544 +339, 973, 181, 1517, 573 +340, 969, 182, 1502, 565 +341, 963, 189, 1503, 577 +342, 967, 206, 1509, 596 +343, 967, 184, 1503, 570 +344, 961, 202, 1460, 561 +345, 950, 197, 1503, 595 +346, 960, 194, 1441, 540 +348, 958, 215, 1401, 534 +388, 949, 209, 1411, 542 +391, 965, 193, 1458, 548 +392, 504, 357, 876, 625 +392, 942, 200, 1524, 619 +393, 941, 203, 1533, 629 +394, 947, 206, 1507, 609 +395, 950, 205, 1518, 614 +396, 959, 225, 1516, 626 +397, 953, 206, 1504, 602 +398, 969, 195, 1519, 591 +399, 968, 209, 1528, 611 +400, 941, 193, 1540, 624 +401, 966, 203, 1549, 622 +402, 505, 372, 826, 603 +402, 970, 200, 1539, 609 +403, 990, 186, 1545, 585 +404, 954, 178, 1576, 625 +405, 971, 187, 1563, 613 +406, 974, 191, 1575, 623 +407, 995, 183, 1578, 602 +408, 1031, 197, 1592, 601 +409, 1008, 192, 1603, 620 +410, 1015, 186, 1616, 619 +411, 1026, 184, 1610, 604 +412, 1016, 181, 1619, 615 +413, 1033, 171, 1630, 601 +414, 1033, 178, 1651, 623 +415, 1043, 168, 1675, 623 +416, 505, 372, 826, 603 +416, 1034, 184, 1654, 630 +417, 1111, 208, 1629, 581 +418, 1107, 210, 1639, 592 +418, 918, 147, 1673, 690 +419, 1114, 211, 1622, 577 +420, 1114, 211, 1622, 577 +420, 949, 195, 1615, 674 +421, 1110, 206, 1625, 577 +421, 949, 195, 1615, 674 +422, 1114, 211, 1622, 577 +422, 949, 195, 1615, 674 +423, 1111, 208, 1629, 581 +424, 1117, 208, 1625, 574 +425, 1111, 201, 1629, 574 +426, 1111, 208, 1629, 581 +427, 1028, 179, 1652, 628 +428, 501, 368, 822, 599 +428, 1038, 184, 1640, 617 +429, 1025, 168, 1664, 628 +430, 1037, 179, 1656, 624 +431, 1022, 168, 1666, 631 +432, 967, 159, 1659, 657 +433, 944, 161, 1616, 644 +434, 1057, 219, 1603, 611 +435, 991, 174, 1624, 629 +436, 907, 176, 1617, 687 +437, 1012, 211, 1622, 650 +438, 990, 203, 1614, 652 +439, 986, 218, 1599, 659 +440, 1002, 371, 1349, 620 +440, 922, 174, 1641, 691 +441, 922, 174, 1641, 691 +442, 928, 185, 1638, 696 +443, 912, 179, 1622, 690 +444, 942, 218, 1608, 697 +445, 968, 222, 1609, 683 +446, 1383, 241, 1720, 483 +446, 475, 149, 1230, 692 +446, 913, 193, 1612, 696 +447, 1381, 240, 1723, 486 +447, 943, 223, 1591, 689 +448, 1363, 230, 1771, 524 +448, 958, 240, 1580, 687 +449, 1350, 220, 1793, 539 +450, 1350, 220, 1793, 539 +450, 941, 204, 1607, 683 +451, 501, 368, 822, 599 +451, 1350, 220, 1793, 539 +452, 501, 368, 822, 599 +452, 1357, 219, 1793, 533 +453, 501, 368, 822, 599 +453, 1357, 219, 1793, 533 +454, 1357, 219, 1793, 533 +454, 955, 229, 1584, 681 +465, 501, 368, 822, 599 +476, 484, 149, 1239, 692 +477, 484, 149, 1239, 692 +480, 1344, 216, 1806, 549 +481, 1336, 216, 1829, 571 +486, 955, 318, 1516, 722 +487, 947, 297, 1539, 723 +489, 965, 359, 1458, 714 +490, 939, 341, 1500, 745 +491, 949, 318, 1473, 695 +502, 505, 372, 826, 603 +503, 505, 372, 826, 603 +511, 806, 273, 1361, 672 +512, 792, 296, 1347, 695 +515, 810, 304, 1334, 681 +517, 786, 295, 1347, 699 +519, 781, 311, 1313, 693 +520, 775, 311, 1299, 688 +532, 939, 204, 1649, 715 +535, 947, 257, 1657, 768 +536, 947, 257, 1657, 768 +557, 477, 294, 1032, 693 +558, 488, 303, 1043, 702 +559, 499, 300, 1054, 699 +561, 475, 313, 1015, 701 +562, 483, 311, 1007, 688 +563, 484, 311, 1016, 693 +564, 460, 289, 1019, 691 +565, 460, 300, 1015, 699 +566, 470, 275, 1031, 679 +567, 461, 279, 1020, 681 +568, 451, 303, 1006, 702 +569, 453, 302, 985, 684 +574, 443, 299, 936, 654 +597, 405, 272, 960, 671 +598, 388, 266, 943, 665 +599, 422, 282, 946, 659 +602, 407, 250, 931, 627 +603, 407, 250, 931, 627 +604, 407, 250, 931, 627 +606, 392, 244, 947, 643 +609, 364, 223, 947, 642 +610, 367, 223, 959, 649 +612, 364, 218, 947, 637 +613, 347, 206, 950, 639 +615, 383, 200, 915, 582 +616, 375, 192, 934, 594 +617, 387, 208, 929, 598 +618, 387, 211, 933, 603 +619, 416, 211, 924, 577 +620, 405, 222, 913, 588 +621, 352, 213, 935, 632 +623, 416, 216, 924, 582 +624, 407, 208, 931, 585 +625, 385, 196, 945, 598 +626, 383, 210, 942, 612 +627, 405, 199, 932, 578 +628, 398, 196, 929, 578 +629, 403, 210, 925, 586 +630, 397, 208, 928, 590 +631, 397, 205, 928, 587 +632, 388, 211, 932, 603 +633, 415, 206, 917, 567 +634, 394, 217, 926, 599 +636, 444, 185, 906, 518 +642, 392, 215, 947, 614 +644, 414, 222, 969, 621 +646, 367, 223, 959, 649 +658, 347, 188, 976, 640 +680, 407, 215, 962, 614 +681, 366, 211, 921, 610 +685, 355, 229, 910, 628 +686, 391, 226, 909, 599 +691, 372, 233, 927, 632 +692, 359, 201, 951, 627 +693, 358, 206, 941, 625 +701, 362, 210, 939, 625 +702, 362, 210, 939, 625 +703, 364, 206, 947, 625 +704, 359, 194, 951, 620 +705, 358, 201, 941, 620 +706, 364, 212, 947, 631 +708, 370, 229, 925, 628 +709, 364, 212, 947, 631 +710, 364, 212, 947, 631 +711, 362, 210, 939, 625 +712, 362, 210, 939, 625 +713, 362, 210, 939, 625 +714, 362, 210, 939, 625 +715, 364, 206, 947, 625 +716, 358, 190, 941, 609 +717, 362, 201, 939, 616 +718, 362, 201, 939, 616 +719, 364, 206, 947, 625 +720, 364, 206, 947, 625 +721, 359, 201, 951, 627 +722, 356, 204, 966, 643 +733, 355, 169, 1021, 648 +757, 916, 174, 1671, 717 +761, 1021, 339, 1457, 653 +794, 493, 327, 955, 660 +795, 900, 228, 1362, 561 +795, 493, 327, 955, 660 +799, 906, 240, 1368, 573 +873, 901, 226, 1363, 559 +876, 918, 234, 1380, 567 +877, 900, 213, 1424, 590 +878, 929, 217, 1422, 572 +881, 947, 185, 1502, 584 +882, 953, 214, 1461, 580 +883, 940, 199, 1498, 600 +884, 955, 199, 1486, 581 +885, 501, 368, 822, 599 +885, 965, 203, 1493, 583 +886, 507, 369, 828, 600 +886, 965, 200, 1483, 573 +887, 959, 193, 1499, 581 +888, 960, 196, 1496, 582 +889, 960, 196, 1496, 582 +890, 960, 196, 1496, 582 +891, 505, 372, 826, 603 +891, 961, 195, 1493, 577 +892, 965, 200, 1483, 573 +893, 959, 200, 1487, 580 +894, 501, 368, 822, 599 +894, 954, 197, 1513, 599 +895, 949, 200, 1509, 602 +896, 952, 193, 1501, 588 +897, 949, 207, 1495, 599 +898, 936, 203, 1519, 622 +899, 941, 198, 1523, 616 +900, 933, 200, 1536, 633 +901, 950, 205, 1482, 587 +902, 955, 200, 1479, 577 +905, 954, 207, 1397, 526 +907, 932, 215, 1440, 581 +914, 886, 236, 1371, 586 +991, 503, 371, 845, 617 +992, 1015, 351, 1451, 665 +993, 1021, 339, 1457, 653 +997, 488, 376, 809, 607 +997, 916, 174, 1671, 717 +997, 1009, 339, 1445, 653 +998, 501, 372, 822, 603 +1000, 497, 372, 818, 603 +1004, 1000, 332, 1466, 668 +1005, 494, 370, 836, 616 +1005, 991, 319, 1475, 667 +1006, 995, 321, 1461, 657 +1007, 995, 321, 1461, 657 +1008, 995, 321, 1461, 657 +1009, 999, 315, 1488, 667 +1010, 1014, 332, 1481, 668 +1011, 999, 315, 1488, 667 +1012, 999, 315, 1488, 667 +1013, 999, 322, 1483, 670 +1014, 999, 315, 1488, 667 +1015, 999, 315, 1488, 667 +1016, 999, 315, 1488, 667 +1017, 999, 315, 1488, 667 +1018, 991, 319, 1475, 667 +1019, 1000, 332, 1466, 668 +1020, 995, 321, 1461, 657 +1022, 995, 321, 1461, 657 +1023, 1009, 339, 1445, 653 +1026, 497, 381, 818, 612 +1026, 1009, 339, 1445, 653 +1029, 488, 382, 809, 613 +1030, 492, 381, 813, 612 +1032, 555, 229, 1110, 628 +1034, 501, 372, 822, 603 +1035, 503, 361, 845, 607 +1036, 491, 380, 812, 611 +1037, 491, 382, 812, 613 +1038, 484, 385, 805, 616 +1080, 991, 321, 1538, 714 +1084, 1021, 339, 1457, 653 +1091, 501, 376, 822, 607 +1091, 993, 323, 1460, 659 +1093, 501, 376, 822, 607 +1094, 501, 372, 822, 603 +1095, 501, 372, 822, 603 +1096, 501, 372, 822, 603 +1096, 1021, 339, 1457, 653 +1097, 504, 369, 825, 600 +1097, 1021, 339, 1457, 653 +1098, 510, 368, 831, 599 +1098, 1021, 339, 1457, 653 +1099, 510, 368, 831, 599 +1100, 510, 368, 831, 599 +1101, 501, 372, 822, 603 +1104, 599, 251, 1154, 650 +1107, 568, 219, 1160, 645 +1121, 1015, 333, 1458, 652 +1122, 1015, 342, 1458, 661 +1123, 1021, 339, 1457, 653 +1124, 941, 212, 1673, 739 +1127, 390, 92, 1295, 744 +1148, 836, 225, 1303, 561 +1155, 880, 221, 1373, 576 +1159, 906, 240, 1368, 573 +1160, 923, 242, 1359, 556 +1161, 917, 249, 1353, 563 +1184, 501, 368, 822, 599 +1187, 481, 314, 943, 647 +1220, 906, 240, 1368, 573 +1221, 901, 236, 1363, 569 +1226, 900, 228, 1362, 561 +1291, 1021, 333, 1457, 647 +1297, 1015, 351, 1451, 665 +1302, 584, 222, 1139, 621 +1304, 503, 371, 845, 617 +1304, 592, 222, 1147, 621 +1319, 588, 216, 1143, 615 +1320, 998, 333, 1460, 666 +1324, 1541, 128, 1862, 359 +1324, 581, 232, 1210, 684 +1329, 1015, 351, 1451, 665 +1330, 998, 327, 1460, 660 +1333, 1015, 358, 1451, 672 +1339, 1012, 336, 1459, 658 +1342, 1015, 342, 1458, 661 +1343, 998, 333, 1460, 666 +1347, 1004, 333, 1466, 666 +1348, 1003, 328, 1465, 661 +1350, 1015, 333, 1451, 647 +1351, 1015, 351, 1451, 665 +1353, 1015, 351, 1451, 665 +1354, 998, 327, 1460, 660 +1356, 1015, 351, 1451, 665 +1358, 1015, 351, 1451, 665 +1360, 1015, 351, 1451, 665 +1361, 1015, 351, 1451, 665 +1362, 1015, 351, 1451, 665 +1363, 1015, 351, 1451, 665 +1364, 1015, 351, 1451, 665 +1366, 1015, 351, 1451, 665 diff --git a/validation/cascade-2 output.txt b/validation/cascade-2 output.txt new file mode 100644 index 0000000..8046b73 --- /dev/null +++ b/validation/cascade-2 output.txt @@ -0,0 +1,627 @@ +8, 775, 216, 1299, 593 +9, 789, 214, 1282, 569 +26, 97, 534, 482, 811 +34, 1004, 308, 1466, 641 +35, 1004, 308, 1466, 641 +39, 992, 327, 1454, 660 +41, 498, 188, 1264, 739 +42, 490, 196, 1256, 747 +43, 468, 181, 1267, 756 +44, 468, 181, 1267, 756 +49, 510, 200, 1220, 711 +50, 447, 171, 1246, 746 +51, 505, 206, 1241, 736 +52, 447, 171, 1246, 746 +53, 447, 176, 1246, 751 +54, 447, 160, 1246, 735 +54, 970, 318, 1463, 673 +57, 986, 284, 1471, 634 +58, 986, 284, 1471, 634 +59, 447, 195, 1202, 738 +60, 436, 181, 1191, 724 +61, 456, 188, 1211, 731 +62, 982, 280, 1467, 630 +63, 998, 277, 1460, 610 +63, 506, 203, 1178, 686 +64, 528, 209, 1157, 661 +65, 1005, 283, 1467, 616 +65, 471, 257, 1137, 736 +66, 1005, 283, 1467, 616 +67, 1005, 283, 1467, 616 +69, 998, 277, 1460, 610 +70, 998, 277, 1460, 610 +70, 488, 265, 1117, 717 +71, 998, 277, 1460, 610 +72, 998, 277, 1460, 610 +73, 998, 277, 1460, 610 +73, 493, 265, 1092, 696 +74, 986, 308, 1448, 641 +75, 986, 296, 1448, 629 +76, 994, 291, 1456, 624 +76, 430, 255, 1074, 718 +77, 986, 310, 1429, 629 +77, 453, 280, 1045, 706 +78, 439, 289, 1068, 741 +80, 453, 278, 1045, 704 +81, 960, 319, 1427, 655 +88, 974, 308, 1440, 644 +95, 1005, 277, 1467, 610 +107, 316, 217, 1026, 728 +112, 316, 225, 1026, 736 +114, 316, 225, 1026, 736 +115, 316, 225, 1026, 736 +116, 316, 225, 1026, 736 +117, 316, 225, 1026, 736 +122, 316, 225, 1026, 736 +123, 316, 225, 1026, 736 +144, 492, 359, 813, 590 +148, 451, 271, 1043, 697 +151, 97, 534, 482, 811 +152, 998, 277, 1460, 610 +152, 460, 295, 1052, 721 +153, 995, 296, 1438, 615 +154, 988, 303, 1424, 617 +154, 97, 534, 482, 811 +154, 488, 318, 1043, 717 +155, 988, 303, 1424, 617 +156, 974, 299, 1440, 635 +164, 501, 195, 1171, 677 +165, 995, 296, 1438, 615 +165, 445, 188, 1200, 731 +166, 983, 295, 1448, 630 +167, 602, 237, 1126, 614 +169, 986, 284, 1471, 634 +169, 436, 171, 1235, 746 +170, 986, 284, 1471, 634 +171, 577, 229, 1132, 628 +171, 436, 192, 1235, 767 +173, 468, 171, 1267, 746 +189, 1408, 728, 1729, 959 +196, 97, 534, 482, 811 +199, 653, 152, 1461, 733 +215, 922, 212, 1454, 594 +216, 958, 215, 1443, 565 +218, 931, 220, 1471, 609 +219, 934, 254, 1458, 631 +220, 907, 238, 1488, 656 +221, 923, 210, 1533, 649 +222, 930, 207, 1522, 633 +223, 939, 251, 1494, 650 +226, 961, 251, 1516, 650 +232, 947, 168, 1585, 627 +237, 1036, 219, 1595, 621 +239, 1114, 466, 1550, 780 +240, 1141, 477, 1577, 791 +241, 1152, 504, 1556, 795 +241, 982, 153, 1655, 637 +242, 1072, 207, 1627, 606 +245, 946, 147, 1701, 690 +246, 1044, 182, 1673, 634 +247, 1069, 182, 1698, 634 +254, 97, 534, 482, 811 +260, 1205, 203, 1698, 558 +273, 999, 352, 1410, 648 +274, 999, 352, 1410, 648 +275, 976, 334, 1412, 648 +279, 1143, 210, 1704, 614 +292, 905, 85, 1704, 660 +299, 1062, 168, 1645, 587 +302, 1145, 479, 1498, 733 +302, 1046, 180, 1638, 606 +303, 1047, 176, 1608, 580 +304, 1088, 170, 1581, 525 +305, 1176, 514, 1518, 760 +306, 1094, 187, 1579, 537 +307, 1071, 175, 1598, 554 +308, 1097, 185, 1559, 518 +310, 1155, 480, 1497, 726 +310, 1094, 172, 1579, 522 +311, 1096, 167, 1589, 522 +312, 1148, 489, 1485, 731 +321, 1134, 475, 1487, 729 +321, 1084, 178, 1569, 528 +322, 1081, 170, 1574, 525 +323, 1081, 170, 1574, 525 +324, 1081, 170, 1574, 525 +325, 1081, 170, 1574, 525 +326, 1121, 476, 1485, 738 +326, 1075, 159, 1593, 532 +327, 1076, 170, 1575, 529 +328, 1057, 175, 1593, 561 +329, 1064, 174, 1549, 524 +330, 1062, 187, 1543, 533 +331, 1124, 500, 1477, 754 +331, 1032, 161, 1559, 540 +332, 1050, 183, 1535, 533 +332, 923, 80, 1589, 559 +333, 1005, 154, 1541, 540 +334, 1002, 154, 1548, 547 +335, 983, 156, 1543, 558 +337, 996, 188, 1489, 543 +338, 996, 202, 1489, 557 +339, 997, 217, 1478, 563 +340, 975, 186, 1483, 552 +341, 950, 209, 1474, 586 +342, 950, 226, 1458, 592 +343, 945, 200, 1469, 577 +344, 936, 204, 1463, 583 +346, 939, 190, 1440, 551 +347, 952, 187, 1399, 509 +348, 955, 191, 1417, 524 +349, 931, 179, 1397, 515 +352, 866, 194, 1406, 583 +354, 97, 534, 482, 811 +355, 97, 534, 482, 811 +356, 97, 534, 482, 811 +359, 581, 57, 1486, 709 +360, 562, 51, 1520, 741 +361, 511, 25, 1533, 761 +374, 511, 25, 1533, 761 +375, 536, 28, 1542, 752 +376, 536, 28, 1542, 752 +377, 97, 534, 482, 811 +377, 549, 25, 1571, 761 +387, 934, 208, 1396, 541 +392, 953, 222, 1438, 572 +393, 908, 211, 1468, 613 +395, 929, 230, 1469, 618 +396, 947, 217, 1465, 590 +398, 959, 217, 1477, 590 +400, 1003, 204, 1496, 559 +401, 1008, 205, 1507, 564 +402, 1035, 208, 1497, 541 +403, 97, 534, 482, 811 +403, 1024, 189, 1548, 566 +404, 1026, 188, 1534, 554 +406, 1043, 221, 1536, 576 +407, 1125, 478, 1536, 774 +410, 1058, 177, 1613, 576 +411, 1025, 214, 1612, 636 +412, 1052, 217, 1612, 619 +413, 1064, 193, 1606, 583 +414, 1146, 500, 1510, 762 +419, 97, 534, 482, 811 +420, 97, 534, 482, 811 +421, 97, 534, 482, 811 +422, 97, 534, 482, 811 +423, 97, 534, 482, 811 +424, 97, 534, 482, 811 +428, 1177, 511, 1519, 757 +429, 874, 96, 1673, 671 +431, 97, 534, 482, 811 +432, 97, 534, 482, 811 +433, 97, 534, 482, 811 +433, 1096, 194, 1589, 549 +434, 976, 179, 1634, 652 +435, 919, 148, 1651, 675 +436, 1119, 468, 1537, 769 +436, 919, 148, 1651, 675 +437, 937, 179, 1634, 680 +438, 932, 170, 1637, 677 +439, 1114, 474, 1550, 788 +439, 863, 139, 1662, 714 +440, 97, 534, 482, 811 +440, 1125, 494, 1561, 808 +441, 1104, 509, 1493, 789 +441, 97, 534, 482, 811 +441, 895, 146, 1650, 689 +443, 1126, 518, 1490, 780 +446, 1387, 253, 1708, 484 +447, 1387, 253, 1708, 484 +448, 1387, 253, 1708, 484 +449, 97, 534, 482, 811 +449, 995, 305, 1544, 700 +450, 97, 534, 482, 811 +450, 967, 280, 1559, 706 +451, 97, 534, 482, 811 +452, 1363, 232, 1751, 512 +452, 97, 534, 482, 811 +452, 970, 291, 1562, 717 +453, 1353, 234, 1761, 528 +453, 97, 534, 482, 811 +454, 97, 534, 482, 811 +455, 97, 534, 482, 811 +456, 97, 534, 482, 811 +457, 1337, 228, 1761, 533 +457, 97, 534, 482, 811 +458, 1332, 224, 1743, 520 +458, 97, 534, 482, 811 +459, 1337, 228, 1761, 533 +460, 1337, 228, 1761, 533 +462, 1344, 235, 1768, 540 +463, 1346, 231, 1782, 545 +466, 1346, 231, 1782, 545 +469, 1346, 231, 1782, 545 +471, 1346, 231, 1782, 545 +472, 1346, 231, 1782, 545 +473, 1337, 223, 1761, 528 +474, 1337, 223, 1761, 528 +475, 1346, 231, 1782, 545 +477, 1346, 231, 1782, 545 +478, 1346, 231, 1782, 545 +510, 1434, 732, 1755, 963 +513, 596, 192, 1395, 767 +514, 591, 200, 1390, 775 +516, 591, 208, 1390, 783 +525, 460, 177, 1312, 790 +529, 479, 181, 1278, 756 +532, 453, 186, 1252, 761 +534, 1003, 231, 1496, 586 +534, 435, 225, 1207, 781 +535, 979, 200, 1515, 586 +536, 979, 200, 1515, 586 +537, 440, 225, 1206, 776 +538, 984, 299, 1483, 658 +539, 984, 308, 1477, 663 +540, 97, 534, 482, 811 +540, 980, 299, 1479, 658 +541, 97, 534, 482, 811 +544, 97, 534, 482, 811 +544, 980, 294, 1479, 653 +545, 97, 534, 482, 811 +545, 980, 294, 1479, 653 +549, 462, 266, 1128, 745 +556, 947, 318, 1502, 717 +561, 947, 318, 1502, 717 +564, 947, 318, 1502, 717 +600, 947, 318, 1502, 717 +606, 97, 534, 482, 811 +607, 97, 534, 482, 811 +608, 97, 534, 482, 811 +609, 314, 220, 943, 672 +610, 314, 220, 943, 672 +612, 324, 203, 934, 642 +615, 968, 293, 1476, 659 +615, 314, 182, 943, 634 +616, 980, 298, 1479, 657 +617, 932, 296, 1487, 695 +618, 932, 296, 1487, 695 +619, 932, 296, 1487, 695 +620, 932, 296, 1487, 695 +622, 310, 177, 976, 656 +623, 306, 173, 972, 652 +624, 971, 312, 1479, 678 +625, 984, 313, 1477, 668 +627, 976, 318, 1484, 684 +628, 976, 318, 1484, 684 +628, 337, 181, 966, 633 +630, 337, 181, 966, 633 +642, 287, 231, 960, 715 +680, 310, 177, 976, 656 +682, 310, 186, 976, 665 +683, 315, 202, 953, 661 +684, 321, 247, 950, 699 +686, 97, 534, 482, 811 +686, 984, 302, 1483, 661 +687, 97, 534, 482, 811 +687, 984, 302, 1483, 661 +687, 308, 195, 946, 654 +688, 97, 534, 482, 811 +688, 992, 295, 1477, 645 +688, 314, 189, 943, 641 +689, 97, 534, 482, 811 +689, 314, 197, 943, 649 +690, 314, 197, 943, 649 +691, 97, 534, 482, 811 +693, 97, 534, 482, 811 +694, 97, 534, 482, 811 +695, 97, 534, 482, 811 +696, 97, 534, 482, 811 +697, 97, 534, 482, 811 +698, 97, 534, 482, 811 +699, 97, 534, 482, 811 +700, 97, 534, 482, 811 +701, 97, 534, 482, 811 +702, 97, 534, 482, 811 +703, 97, 534, 482, 811 +705, 97, 534, 482, 811 +706, 97, 534, 482, 811 +707, 97, 534, 482, 811 +708, 97, 534, 482, 811 +709, 97, 534, 482, 811 +710, 97, 534, 482, 811 +711, 97, 534, 482, 811 +712, 97, 534, 482, 811 +713, 97, 534, 482, 811 +714, 97, 534, 482, 811 +715, 97, 534, 482, 811 +716, 97, 534, 482, 811 +717, 97, 534, 482, 811 +718, 97, 534, 482, 811 +719, 939, 303, 1494, 702 +720, 97, 534, 482, 811 +721, 97, 534, 482, 811 +723, 97, 534, 482, 811 +723, 939, 303, 1494, 702 +724, 97, 534, 482, 811 +724, 939, 303, 1494, 702 +725, 297, 189, 926, 641 +725, 939, 303, 1494, 702 +726, 939, 303, 1494, 702 +727, 97, 534, 482, 811 +727, 939, 303, 1494, 702 +729, 97, 534, 482, 811 +730, 97, 534, 482, 811 +733, 298, 177, 1008, 688 +734, 932, 296, 1487, 695 +735, 938, 305, 1493, 704 +737, 938, 305, 1493, 704 +738, 97, 539, 482, 816 +738, 938, 305, 1493, 704 +749, 943, 311, 1498, 710 +750, 477, 294, 1032, 693 +750, 947, 318, 1502, 717 +753, 97, 534, 482, 811 +757, 97, 534, 482, 811 +757, 981, 290, 1462, 636 +758, 975, 313, 1440, 648 +759, 958, 312, 1451, 667 +760, 988, 303, 1424, 617 +760, 406, 155, 1245, 759 +761, 393, 154, 1271, 786 +762, 356, 105, 1261, 757 +763, 97, 534, 482, 811 +764, 420, 146, 1283, 767 +766, 97, 534, 482, 811 +767, 424, 143, 1276, 756 +772, 538, 113, 1346, 694 +774, 97, 534, 482, 811 +775, 97, 534, 482, 811 +776, 97, 534, 482, 811 +777, 97, 534, 482, 811 +778, 97, 534, 482, 811 +779, 1427, 720, 1769, 966 +779, 582, 122, 1421, 726 +783, 442, 41, 1528, 823 +784, 456, 40, 1510, 799 +788, 97, 534, 482, 811 +789, 97, 534, 482, 811 +790, 97, 534, 482, 811 +790, 596, 117, 1501, 769 +791, 97, 534, 482, 811 +792, 97, 534, 482, 811 +793, 794, 192, 1423, 644 +793, 588, 77, 1546, 767 +794, 97, 534, 482, 811 +794, 648, 118, 1493, 726 +795, 97, 534, 482, 811 +796, 97, 534, 482, 811 +803, 97, 534, 482, 811 +804, 97, 534, 482, 811 +826, 97, 534, 482, 811 +831, 97, 534, 482, 811 +837, 97, 534, 482, 811 +842, 97, 534, 482, 811 +844, 97, 534, 482, 811 +845, 97, 534, 482, 811 +846, 97, 534, 482, 811 +847, 97, 534, 482, 811 +848, 97, 534, 482, 811 +850, 97, 534, 482, 811 +855, 97, 534, 482, 811 +872, 97, 534, 482, 811 +873, 97, 534, 482, 811 +874, 97, 534, 482, 811 +874, 870, 189, 1431, 593 +875, 908, 178, 1440, 560 +875, 549, 13, 1571, 749 +878, 97, 534, 482, 811 +879, 947, 214, 1428, 560 +881, 922, 225, 1452, 606 +882, 941, 220, 1456, 591 +883, 946, 218, 1474, 598 +884, 944, 238, 1454, 605 +885, 939, 215, 1477, 602 +886, 946, 207, 1477, 589 +887, 97, 534, 482, 811 +887, 957, 213, 1487, 594 +888, 951, 212, 1487, 598 +889, 97, 534, 482, 811 +889, 951, 216, 1485, 600 +890, 951, 216, 1485, 600 +890, 97, 534, 482, 811 +891, 951, 216, 1485, 600 +892, 951, 211, 1472, 586 +893, 965, 212, 1468, 574 +894, 948, 220, 1468, 594 +895, 939, 219, 1463, 596 +896, 959, 225, 1469, 592 +897, 941, 224, 1475, 608 +898, 925, 215, 1484, 617 +899, 927, 206, 1487, 608 +900, 916, 201, 1489, 613 +901, 915, 199, 1473, 600 +902, 934, 221, 1458, 598 +903, 942, 219, 1450, 585 +904, 948, 240, 1414, 576 +905, 945, 216, 1430, 566 +906, 916, 225, 1424, 591 +907, 861, 168, 1471, 607 +908, 924, 215, 1423, 574 +909, 903, 214, 1439, 600 +910, 908, 195, 1440, 577 +911, 912, 196, 1405, 551 +913, 906, 201, 1399, 556 +914, 97, 534, 482, 811 +921, 97, 534, 482, 811 +922, 97, 534, 482, 811 +923, 97, 534, 482, 811 +924, 97, 534, 482, 811 +929, 97, 534, 482, 811 +930, 97, 534, 482, 811 +931, 528, 103, 1454, 770 +932, 528, 103, 1454, 770 +939, 97, 534, 482, 811 +940, 511, 66, 1480, 764 +941, 97, 534, 482, 811 +941, 511, 66, 1480, 764 +942, 97, 534, 482, 811 +946, 97, 534, 482, 811 +948, 97, 534, 482, 811 +960, 97, 534, 482, 811 +964, 97, 534, 482, 811 +965, 97, 534, 482, 811 +965, 573, 132, 1425, 745 +967, 524, 117, 1429, 769 +968, 485, 100, 1451, 796 +970, 97, 534, 482, 811 +970, 536, 136, 1414, 768 +971, 97, 534, 482, 811 +971, 562, 130, 1414, 743 +972, 1427, 724, 1769, 970 +972, 97, 534, 482, 811 +973, 97, 534, 482, 811 +973, 549, 130, 1401, 743 +977, 498, 128, 1403, 780 +985, 500, 374, 864, 636 +988, 379, 117, 1284, 769 +989, 404, 131, 1243, 735 +990, 382, 136, 1300, 797 +996, 1005, 283, 1467, 616 +997, 1005, 283, 1467, 616 +1006, 97, 534, 482, 811 +1007, 97, 534, 482, 811 +1008, 97, 534, 482, 811 +1009, 947, 311, 1502, 710 +1028, 482, 220, 1092, 659 +1031, 537, 252, 1061, 629 +1032, 488, 243, 1098, 682 +1034, 592, 257, 1077, 607 +1035, 497, 213, 1126, 665 +1085, 422, 206, 1261, 810 +1088, 1005, 283, 1467, 616 +1089, 992, 296, 1477, 646 +1090, 992, 296, 1477, 646 +1092, 963, 326, 1487, 703 +1094, 971, 332, 1464, 687 +1095, 971, 332, 1464, 687 +1097, 972, 332, 1480, 698 +1099, 998, 300, 1460, 633 +1102, 436, 171, 1235, 746 +1105, 447, 160, 1246, 735 +1105, 955, 311, 1479, 688 +1105, 594, 233, 1149, 632 +1106, 413, 143, 1244, 741 +1107, 390, 132, 1242, 745 +1108, 419, 159, 1225, 739 +1109, 97, 534, 482, 811 +1109, 419, 159, 1225, 739 +1110, 390, 132, 1242, 745 +1111, 390, 132, 1242, 745 +1113, 97, 534, 482, 811 +1113, 613, 253, 1106, 608 +1114, 609, 256, 1117, 622 +1115, 609, 256, 1117, 622 +1116, 613, 253, 1106, 608 +1116, 390, 132, 1242, 745 +1117, 392, 133, 1255, 754 +1118, 386, 126, 1264, 758 +1119, 606, 222, 1161, 621 +1121, 436, 171, 1235, 746 +1122, 513, 190, 1218, 697 +1123, 969, 317, 1493, 694 +1124, 976, 318, 1500, 695 +1125, 447, 160, 1246, 735 +1126, 455, 168, 1254, 743 +1127, 516, 203, 1240, 724 +1129, 468, 160, 1267, 735 +1130, 490, 180, 1256, 731 +1131, 468, 149, 1267, 724 +1132, 595, 168, 1261, 647 +1138, 788, 490, 1157, 756 +1138, 560, 172, 1292, 699 +1140, 810, 516, 1152, 762 +1142, 783, 463, 1276, 818 +1147, 851, 509, 1215, 771 +1149, 866, 509, 1230, 771 +1157, 97, 534, 482, 811 +1161, 927, 234, 1358, 545 +1163, 924, 209, 1386, 542 +1170, 97, 534, 482, 811 +1203, 97, 534, 482, 811 +1223, 600, 102, 1558, 792 +1228, 571, 94, 1476, 746 +1230, 596, 117, 1501, 769 +1244, 596, 117, 1501, 769 +1245, 596, 117, 1501, 769 +1246, 596, 117, 1501, 769 +1247, 596, 117, 1501, 769 +1248, 596, 117, 1501, 769 +1249, 596, 117, 1501, 769 +1250, 596, 117, 1501, 769 +1251, 596, 117, 1501, 769 +1252, 596, 117, 1501, 769 +1253, 596, 117, 1501, 769 +1254, 596, 117, 1501, 769 +1255, 97, 534, 482, 811 +1255, 627, 148, 1472, 756 +1256, 97, 534, 482, 811 +1258, 97, 534, 482, 811 +1260, 97, 534, 482, 811 +1261, 97, 534, 482, 811 +1262, 97, 534, 482, 811 +1263, 97, 534, 482, 811 +1269, 1430, 720, 1767, 962 +1269, 97, 534, 482, 811 +1270, 1431, 725, 1765, 965 +1270, 97, 534, 482, 811 +1270, 582, 138, 1421, 742 +1271, 1427, 724, 1769, 970 +1271, 97, 534, 482, 811 +1272, 97, 534, 482, 811 +1273, 97, 534, 482, 811 +1275, 564, 171, 1363, 746 +1294, 546, 195, 1219, 679 +1297, 97, 534, 482, 811 +1298, 447, 160, 1246, 735 +1299, 977, 326, 1485, 692 +1300, 97, 534, 482, 811 +1300, 453, 179, 1252, 754 +1301, 954, 303, 1509, 702 +1303, 447, 192, 1246, 767 +1304, 447, 192, 1246, 767 +1307, 986, 284, 1471, 634 +1308, 986, 284, 1471, 634 +1308, 447, 160, 1246, 735 +1309, 986, 284, 1471, 634 +1309, 609, 260, 1133, 637 +1310, 986, 284, 1471, 634 +1310, 525, 197, 1200, 682 +1311, 986, 284, 1471, 634 +1312, 986, 284, 1471, 634 +1313, 390, 143, 1242, 756 +1313, 986, 284, 1471, 634 +1314, 986, 284, 1471, 634 +1315, 447, 176, 1246, 751 +1316, 447, 192, 1246, 767 +1317, 447, 192, 1246, 767 +1318, 455, 192, 1254, 767 +1319, 470, 196, 1242, 752 +1320, 985, 326, 1478, 681 +1322, 413, 168, 1265, 781 +1323, 970, 318, 1494, 695 +1323, 436, 171, 1235, 746 +1324, 958, 302, 1466, 668 +1324, 614, 259, 1169, 658 +1324, 456, 197, 1211, 740 +1325, 970, 318, 1494, 695 +1325, 454, 188, 1220, 739 +1328, 962, 308, 1461, 667 +1329, 972, 322, 1480, 688 +1329, 447, 160, 1246, 735 +1330, 447, 160, 1246, 735 +1332, 447, 160, 1246, 735 +1333, 447, 160, 1246, 735 +1334, 965, 319, 1458, 674 +1337, 97, 534, 482, 811 +1338, 97, 534, 482, 811 +1338, 971, 325, 1464, 680 +1338, 606, 251, 1161, 650 +1339, 971, 325, 1464, 680 +1340, 977, 332, 1470, 687 +1341, 977, 332, 1470, 687 +1342, 606, 251, 1161, 650 +1343, 606, 251, 1161, 650 +1361, 97, 534, 482, 811 +1361, 721, 488, 1214, 843 +1365, 97, 534, 482, 811 diff --git a/validation/cascade-5 output.txt b/validation/cascade-5 output.txt new file mode 100644 index 0000000..3e2245e --- /dev/null +++ b/validation/cascade-5 output.txt @@ -0,0 +1,316 @@ +7, 795, 209, 1257, 542 +17, 795, 203, 1257, 536 +54, 559, 191, 1142, 610 +55, 561, 195, 1153, 621 +63, 615, 193, 1139, 570 +74, 478, 349, 863, 626 +104, 783, 193, 1104, 424 +105, 783, 193, 1104, 424 +106, 783, 193, 1104, 424 +107, 783, 193, 1104, 424 +119, 779, 193, 1100, 424 +121, 783, 193, 1104, 424 +122, 783, 193, 1104, 424 +123, 783, 193, 1104, 424 +124, 783, 193, 1104, 424 +124, 775, 356, 1164, 636 +125, 783, 193, 1104, 424 +125, 775, 356, 1164, 636 +126, 783, 193, 1104, 424 +126, 775, 356, 1164, 636 +127, 775, 356, 1164, 636 +128, 783, 193, 1104, 424 +134, 451, 207, 1006, 606 +139, 453, 197, 1045, 623 +212, 937, 209, 1399, 542 +213, 921, 197, 1429, 563 +214, 937, 209, 1445, 575 +215, 936, 196, 1454, 569 +217, 942, 194, 1466, 571 +218, 924, 181, 1484, 584 +220, 963, 206, 1503, 595 +222, 951, 204, 1491, 592 +225, 968, 194, 1508, 582 +226, 975, 216, 1534, 618 +227, 969, 200, 1524, 599 +228, 960, 203, 1543, 622 +230, 945, 187, 1537, 613 +232, 976, 194, 1568, 620 +233, 965, 203, 1575, 642 +234, 945, 133, 1598, 603 +235, 913, 156, 1612, 659 +236, 910, 138, 1629, 655 +237, 941, 160, 1607, 639 +238, 1000, 171, 1596, 600 +240, 1044, 193, 1604, 595 +241, 1073, 184, 1632, 586 +243, 994, 177, 1660, 656 +244, 1064, 187, 1640, 601 +255, 1185, 208, 1709, 585 +279, 1175, 185, 1735, 587 +280, 1191, 174, 1715, 551 +285, 1156, 186, 1680, 563 +286, 1180, 188, 1673, 543 +287, 1176, 187, 1641, 522 +292, 1105, 179, 1666, 583 +295, 1126, 176, 1619, 531 +296, 1143, 158, 1610, 494 +297, 1141, 152, 1607, 488 +298, 1118, 172, 1603, 522 +299, 1112, 162, 1611, 521 +300, 1108, 174, 1593, 524 +301, 1099, 158, 1596, 516 +302, 1104, 159, 1600, 516 +303, 1103, 164, 1586, 512 +304, 1093, 153, 1595, 514 +305, 1090, 151, 1605, 522 +306, 1087, 164, 1605, 537 +307, 1088, 174, 1590, 535 +308, 1054, 145, 1590, 531 +309, 1110, 154, 1590, 500 +310, 1112, 151, 1590, 495 +311, 1106, 154, 1593, 505 +312, 1087, 160, 1602, 531 +313, 1088, 159, 1591, 521 +314, 1097, 165, 1577, 511 +315, 1095, 159, 1582, 509 +316, 1095, 159, 1582, 509 +317, 1100, 157, 1580, 503 +318, 1091, 162, 1588, 520 +319, 1095, 158, 1588, 513 +320, 1085, 163, 1588, 525 +321, 1085, 158, 1593, 524 +322, 1085, 161, 1593, 527 +323, 1049, 150, 1593, 542 +324, 1091, 157, 1580, 509 +324, 928, 128, 1638, 639 +325, 1078, 173, 1586, 539 +326, 1070, 174, 1585, 545 +327, 1034, 153, 1570, 539 +328, 1006, 155, 1582, 569 +329, 1091, 166, 1553, 499 +330, 982, 126, 1593, 566 +331, 934, 128, 1606, 611 +332, 1039, 169, 1524, 519 +333, 973, 144, 1555, 563 +334, 1024, 175, 1511, 526 +335, 1049, 166, 1511, 499 +336, 1008, 166, 1515, 531 +337, 1000, 171, 1508, 537 +338, 1018, 155, 1507, 507 +339, 978, 182, 1502, 559 +340, 960, 183, 1515, 582 +341, 958, 197, 1494, 583 +342, 961, 187, 1485, 564 +343, 965, 177, 1458, 532 +344, 963, 194, 1444, 540 +345, 946, 186, 1449, 548 +346, 948, 190, 1437, 542 +347, 932, 181, 1431, 540 +348, 941, 192, 1419, 536 +349, 939, 195, 1432, 550 +352, 914, 188, 1413, 547 +355, 912, 181, 1405, 536 +378, 918, 203, 1380, 536 +379, 918, 203, 1380, 536 +380, 918, 203, 1380, 536 +381, 916, 206, 1401, 556 +382, 919, 201, 1412, 556 +387, 948, 203, 1410, 536 +388, 943, 203, 1405, 536 +389, 945, 201, 1430, 551 +390, 948, 194, 1429, 540 +391, 945, 203, 1438, 558 +392, 949, 196, 1467, 569 +393, 949, 201, 1457, 567 +394, 952, 200, 1470, 573 +395, 956, 209, 1474, 582 +397, 954, 206, 1486, 588 +398, 958, 192, 1513, 591 +399, 966, 203, 1508, 593 +400, 971, 188, 1507, 574 +401, 988, 193, 1520, 575 +402, 942, 195, 1534, 621 +404, 1020, 188, 1532, 556 +405, 975, 167, 1556, 585 +406, 1011, 172, 1563, 569 +407, 968, 177, 1590, 624 +408, 1097, 178, 1559, 511 +408, 941, 169, 1607, 648 +409, 1091, 194, 1553, 527 +409, 945, 160, 1611, 639 +410, 1083, 190, 1572, 542 +411, 1102, 190, 1580, 534 +412, 1034, 156, 1618, 576 +413, 1043, 170, 1613, 580 +414, 1065, 171, 1611, 564 +415, 1122, 191, 1584, 524 +416, 1112, 198, 1593, 544 +427, 1094, 188, 1615, 563 +428, 1108, 201, 1593, 551 +430, 1092, 191, 1610, 564 +431, 1092, 197, 1600, 563 +432, 1087, 197, 1595, 563 +433, 1102, 188, 1595, 543 +436, 1103, 203, 1565, 536 +437, 1089, 202, 1574, 552 +438, 932, 160, 1598, 639 +439, 938, 193, 1604, 672 +440, 1074, 229, 1598, 606 +441, 991, 215, 1613, 662 +442, 923, 204, 1589, 683 +443, 973, 210, 1602, 662 +444, 913, 198, 1612, 701 +445, 909, 194, 1619, 705 +446, 958, 228, 1580, 675 +447, 936, 238, 1574, 697 +449, 947, 238, 1576, 690 +450, 941, 227, 1585, 690 +453, 926, 229, 1592, 708 +454, 932, 213, 1598, 692 +480, 819, 549, 1281, 882 +517, 815, 324, 1308, 679 +602, 386, 250, 910, 627 +603, 378, 238, 910, 620 +605, 371, 235, 895, 612 +606, 378, 221, 902, 598 +608, 382, 218, 900, 591 +609, 402, 216, 895, 571 +612, 395, 196, 903, 562 +613, 374, 189, 914, 578 +615, 378, 193, 902, 570 +616, 357, 180, 917, 582 +617, 379, 197, 897, 570 +618, 352, 189, 911, 591 +619, 352, 189, 911, 591 +620, 395, 182, 903, 548 +628, 766, 206, 1087, 437 +629, 760, 202, 1102, 448 +631, 411, 198, 904, 553 +632, 760, 202, 1102, 448 +632, 406, 200, 903, 558 +633, 760, 202, 1102, 448 +633, 395, 191, 903, 557 +637, 338, 167, 964, 617 +638, 359, 187, 951, 613 +639, 350, 188, 949, 619 +640, 344, 186, 954, 625 +643, 362, 207, 917, 606 +644, 766, 206, 1087, 437 +644, 362, 207, 917, 606 +646, 775, 214, 1096, 445 +648, 767, 212, 1088, 443 +649, 765, 205, 1086, 436 +650, 768, 213, 1089, 444 +651, 761, 196, 1082, 427 +652, 763, 200, 1084, 431 +653, 763, 200, 1084, 431 +654, 762, 201, 1083, 432 +655, 763, 200, 1084, 431 +656, 764, 199, 1085, 430 +657, 764, 199, 1085, 430 +658, 764, 205, 1085, 436 +659, 767, 202, 1088, 433 +660, 767, 202, 1088, 433 +661, 767, 202, 1088, 433 +662, 767, 202, 1088, 433 +663, 767, 202, 1088, 433 +664, 766, 201, 1087, 432 +665, 766, 201, 1087, 432 +666, 766, 201, 1087, 432 +667, 767, 202, 1088, 433 +668, 767, 202, 1088, 433 +669, 767, 205, 1088, 436 +670, 765, 200, 1086, 431 +671, 770, 212, 1091, 443 +674, 775, 214, 1096, 445 +675, 775, 214, 1096, 445 +676, 766, 206, 1087, 437 +677, 770, 206, 1091, 437 +678, 766, 206, 1087, 437 +679, 766, 206, 1087, 437 +680, 383, 211, 915, 593 +681, 344, 186, 954, 625 +682, 344, 186, 954, 625 +683, 444, 194, 906, 527 +685, 342, 187, 934, 613 +686, 375, 195, 917, 585 +687, 372, 195, 916, 587 +688, 334, 194, 926, 620 +689, 343, 201, 920, 616 +690, 355, 222, 910, 621 +694, 355, 207, 910, 606 +695, 355, 207, 910, 606 +697, 355, 207, 910, 606 +701, 752, 181, 1094, 427 +701, 342, 196, 919, 611 +702, 760, 196, 1097, 438 +702, 333, 194, 925, 620 +703, 760, 196, 1097, 438 +706, 760, 202, 1102, 448 +707, 355, 200, 910, 599 +708, 760, 202, 1102, 448 +708, 355, 200, 910, 599 +709, 355, 200, 910, 599 +710, 355, 200, 910, 599 +718, 760, 202, 1102, 448 +719, 766, 206, 1087, 437 +719, 355, 200, 910, 599 +720, 333, 190, 916, 609 +721, 333, 190, 916, 609 +722, 355, 200, 910, 599 +724, 770, 199, 1091, 430 +725, 770, 197, 1091, 428 +726, 766, 197, 1087, 428 +726, 331, 182, 960, 634 +727, 773, 198, 1094, 429 +728, 774, 195, 1095, 426 +729, 778, 203, 1099, 434 +877, 924, 240, 1386, 573 +878, 935, 208, 1420, 558 +879, 928, 215, 1452, 592 +880, 944, 214, 1425, 560 +881, 943, 206, 1440, 564 +882, 944, 201, 1462, 574 +883, 933, 213, 1475, 603 +884, 939, 216, 1481, 606 +885, 946, 222, 1482, 608 +886, 944, 222, 1476, 604 +887, 942, 222, 1478, 608 +888, 957, 226, 1465, 592 +889, 955, 222, 1479, 599 +890, 944, 228, 1476, 610 +891, 945, 225, 1469, 602 +892, 944, 214, 1484, 602 +893, 936, 212, 1478, 602 +894, 936, 214, 1476, 602 +895, 946, 204, 1492, 596 +896, 946, 218, 1482, 604 +897, 942, 214, 1478, 600 +898, 938, 218, 1474, 604 +899, 933, 206, 1475, 596 +900, 939, 192, 1494, 591 +901, 946, 196, 1454, 562 +902, 950, 209, 1449, 568 +903, 920, 182, 1462, 572 +904, 936, 206, 1444, 572 +905, 952, 208, 1414, 541 +907, 943, 203, 1405, 536 +908, 938, 208, 1400, 541 +1030, 592, 222, 1054, 555 +1033, 553, 219, 1089, 605 +1034, 593, 213, 1086, 568 +1036, 496, 182, 1125, 634 +1091, 538, 178, 1182, 641 +1092, 510, 171, 1183, 655 +1123, 621, 207, 1176, 606 +1125, 635, 228, 1159, 605 +1126, 1008, 178, 1345, 420 +1166, 921, 200, 1445, 577 +1168, 926, 216, 1419, 571 +1176, 926, 201, 1419, 556 +1295, 1010, 176, 1331, 407 +1302, 575, 203, 1167, 629 +1306, 576, 208, 1159, 627 +1308, 561, 195, 1153, 621 +1320, 594, 200, 1149, 599 diff --git a/training_data/create_ground_truth.py b/validation/create_ground_truth.py similarity index 90% rename from training_data/create_ground_truth.py rename to validation/create_ground_truth.py index 4eb4a9b..c94a87e 100644 --- a/training_data/create_ground_truth.py +++ b/validation/create_ground_truth.py @@ -32,7 +32,7 @@ if __name__ == '__main__' : tracker = cv2.TrackerCSRT_create() # Read video - video = cv2.VideoCapture("./TestVideo.mp4") + video = cv2.VideoCapture("./validation/TestVideo.mp4") # Exit if video not opened. if not video.isOpened(): @@ -46,14 +46,12 @@ if __name__ == '__main__' : sys.exit() # Define an initial bounding box - bbox = (287, 23, 86, 320) - - # Uncomment the line below to select a different bounding box - bbox = cv2.selectROI(frame, False) + bbox = (857, 189, 346, 434) # Initialize tracker with first frame and bounding box ok = tracker.init(frame, bbox) + frame_count = 0 while True: # Read a new frame ok, frame = video.read() @@ -74,6 +72,10 @@ if __name__ == '__main__' : # Tracking success p1 = (int(bbox[0]), int(bbox[1])) p2 = (int(bbox[0] + bbox[2]), int(bbox[1] + bbox[3])) + + with open("./ground_truth.txt", 'a') as output_file: + output_file.write(f"{frame_count}, {p1[0]}, {p1[1]}, {p2[0]}, {p2[1]}\n") + cv2.rectangle(frame, p1, p2, (255,0,0), 2, 1) else : # Tracking failure @@ -87,6 +89,9 @@ if __name__ == '__main__' : # Display result cv2.imshow("Tracking", frame) + + + frame_count += 1 # Exit if ESC pressed k = cv2.waitKey(1) & 0xff diff --git a/validation/ground_truth.txt b/validation/ground_truth.txt new file mode 100644 index 0000000..36b9c2a --- /dev/null +++ b/validation/ground_truth.txt @@ -0,0 +1,1368 @@ +frame_number, top_left_x, top_left_y, bottom_right_x, bottom_right_y +0, 856, 189, 1202, 623 +1, 856, 189, 1202, 623 +2, 857, 189, 1203, 623 +3, 857, 189, 1203, 623 +4, 857, 189, 1203, 623 +5, 857, 189, 1203, 623 +6, 857, 188, 1203, 622 +7, 857, 187, 1203, 621 +8, 857, 185, 1203, 619 +9, 857, 183, 1203, 617 +10, 857, 181, 1203, 615 +11, 857, 180, 1203, 614 +12, 856, 179, 1202, 613 +13, 856, 178, 1202, 612 +14, 856, 177, 1202, 611 +15, 856, 177, 1202, 611 +16, 854, 177, 1200, 611 +17, 852, 177, 1198, 611 +18, 850, 178, 1196, 612 +19, 847, 179, 1193, 613 +20, 845, 180, 1191, 614 +21, 843, 181, 1189, 615 +22, 842, 181, 1188, 615 +23, 840, 181, 1186, 615 +24, 838, 182, 1184, 616 +25, 835, 183, 1181, 617 +26, 830, 184, 1176, 618 +27, 825, 184, 1171, 618 +28, 821, 186, 1167, 620 +29, 815, 187, 1161, 621 +30, 809, 187, 1155, 621 +31, 805, 188, 1151, 622 +32, 799, 188, 1145, 622 +33, 796, 189, 1142, 623 +34, 793, 190, 1139, 624 +35, 790, 190, 1136, 624 +36, 787, 190, 1133, 624 +37, 784, 191, 1130, 625 +38, 781, 191, 1127, 625 +39, 779, 192, 1125, 626 +40, 774, 192, 1120, 626 +41, 771, 193, 1117, 627 +42, 767, 193, 1113, 627 +43, 764, 194, 1110, 628 +44, 761, 194, 1107, 628 +45, 758, 194, 1104, 628 +46, 754, 194, 1100, 628 +47, 751, 195, 1097, 629 +48, 747, 196, 1093, 630 +49, 743, 196, 1089, 630 +50, 740, 197, 1086, 631 +51, 737, 197, 1083, 631 +52, 734, 198, 1080, 632 +53, 729, 198, 1075, 632 +54, 725, 199, 1071, 633 +55, 721, 199, 1067, 633 +56, 717, 199, 1063, 633 +57, 713, 200, 1059, 634 +58, 709, 201, 1055, 635 +59, 705, 201, 1051, 635 +60, 702, 201, 1048, 635 +61, 698, 202, 1044, 636 +62, 693, 202, 1039, 636 +63, 690, 202, 1036, 636 +64, 685, 202, 1031, 636 +65, 681, 203, 1027, 637 +66, 676, 203, 1022, 637 +67, 672, 203, 1018, 637 +68, 668, 204, 1014, 638 +69, 664, 204, 1010, 638 +70, 658, 204, 1004, 638 +71, 654, 205, 1000, 639 +72, 650, 205, 996, 639 +73, 645, 206, 991, 640 +74, 640, 207, 986, 641 +75, 636, 207, 982, 641 +76, 632, 208, 978, 642 +77, 627, 208, 973, 642 +78, 623, 208, 969, 642 +79, 620, 209, 966, 643 +80, 617, 210, 963, 644 +81, 614, 210, 960, 644 +82, 611, 210, 957, 644 +83, 608, 211, 954, 645 +84, 605, 212, 951, 646 +85, 601, 213, 947, 647 +86, 597, 213, 943, 647 +87, 592, 214, 938, 648 +88, 589, 214, 935, 648 +89, 585, 215, 931, 649 +90, 582, 216, 928, 650 +91, 577, 216, 923, 650 +92, 573, 217, 919, 651 +93, 571, 218, 917, 652 +94, 567, 218, 913, 652 +95, 564, 219, 910, 653 +96, 562, 220, 908, 654 +97, 559, 221, 905, 655 +98, 556, 222, 902, 656 +99, 554, 223, 900, 657 +100, 551, 224, 897, 658 +101, 548, 225, 894, 659 +102, 547, 225, 893, 659 +103, 545, 226, 891, 660 +104, 544, 226, 890, 660 +105, 544, 227, 890, 661 +106, 542, 227, 888, 661 +107, 541, 227, 887, 661 +108, 541, 227, 887, 661 +109, 539, 227, 885, 661 +110, 538, 227, 884, 661 +111, 538, 227, 884, 661 +112, 538, 227, 884, 661 +113, 538, 227, 884, 661 +114, 538, 227, 884, 661 +115, 538, 227, 884, 661 +116, 538, 227, 884, 661 +117, 539, 227, 885, 661 +118, 539, 227, 885, 661 +119, 538, 227, 884, 661 +120, 540, 226, 886, 660 +121, 540, 227, 886, 661 +122, 540, 227, 886, 661 +123, 542, 227, 888, 661 +124, 543, 227, 889, 661 +125, 544, 227, 890, 661 +126, 544, 227, 890, 661 +127, 544, 226, 890, 660 +128, 545, 226, 891, 660 +129, 547, 226, 893, 660 +130, 548, 225, 894, 659 +131, 549, 225, 895, 659 +132, 551, 224, 897, 658 +133, 554, 223, 900, 657 +134, 557, 223, 903, 657 +135, 560, 222, 906, 656 +136, 563, 222, 909, 656 +137, 566, 221, 912, 655 +138, 570, 221, 916, 655 +139, 574, 220, 920, 654 +140, 578, 219, 924, 653 +141, 582, 218, 928, 652 +142, 586, 217, 932, 651 +143, 590, 216, 936, 650 +144, 595, 216, 941, 650 +145, 600, 215, 946, 649 +146, 605, 215, 951, 649 +147, 610, 214, 956, 648 +148, 615, 213, 961, 647 +149, 619, 213, 965, 647 +150, 623, 212, 969, 646 +151, 629, 211, 975, 645 +152, 632, 210, 978, 644 +153, 637, 209, 983, 643 +154, 641, 209, 987, 643 +155, 646, 209, 992, 643 +156, 650, 207, 996, 641 +157, 654, 206, 1000, 640 +158, 659, 206, 1005, 640 +159, 664, 205, 1010, 639 +160, 669, 204, 1015, 638 +161, 673, 203, 1019, 637 +162, 678, 203, 1024, 637 +163, 683, 202, 1029, 636 +164, 689, 202, 1035, 636 +165, 695, 202, 1041, 636 +166, 700, 201, 1046, 635 +167, 706, 201, 1052, 635 +168, 710, 201, 1056, 635 +169, 715, 200, 1061, 634 +170, 720, 200, 1066, 634 +171, 726, 198, 1072, 632 +172, 733, 198, 1079, 632 +173, 740, 197, 1086, 631 +174, 747, 195, 1093, 629 +175, 754, 194, 1100, 628 +176, 761, 193, 1107, 627 +177, 768, 193, 1114, 627 +178, 778, 192, 1124, 626 +179, 784, 191, 1130, 625 +180, 792, 190, 1138, 624 +181, 798, 188, 1144, 622 +182, 805, 188, 1151, 622 +183, 813, 188, 1159, 622 +184, 821, 188, 1167, 622 +185, 829, 187, 1175, 621 +186, 836, 187, 1182, 621 +187, 844, 187, 1190, 621 +188, 851, 188, 1197, 622 +189, 859, 188, 1205, 622 +190, 865, 188, 1211, 622 +191, 872, 188, 1218, 622 +192, 879, 189, 1225, 623 +193, 886, 189, 1232, 623 +194, 891, 189, 1237, 623 +195, 897, 190, 1243, 624 +196, 904, 189, 1250, 623 +197, 910, 190, 1256, 624 +198, 916, 190, 1262, 624 +199, 921, 190, 1267, 624 +200, 927, 190, 1273, 624 +201, 932, 190, 1278, 624 +202, 937, 190, 1283, 624 +203, 942, 190, 1288, 624 +204, 947, 190, 1293, 624 +205, 954, 190, 1300, 624 +206, 960, 191, 1306, 625 +207, 964, 192, 1310, 626 +208, 969, 192, 1315, 626 +209, 975, 194, 1321, 628 +210, 982, 193, 1328, 627 +211, 989, 193, 1335, 627 +212, 995, 193, 1341, 627 +213, 1001, 193, 1347, 627 +214, 1007, 194, 1353, 628 +215, 1014, 195, 1360, 629 +216, 1020, 195, 1366, 629 +217, 1027, 195, 1373, 629 +218, 1033, 195, 1379, 629 +219, 1040, 196, 1386, 630 +220, 1045, 196, 1391, 630 +221, 1052, 196, 1398, 630 +222, 1059, 197, 1405, 631 +223, 1067, 197, 1413, 631 +224, 1073, 197, 1419, 631 +225, 1081, 197, 1427, 631 +226, 1086, 197, 1432, 631 +227, 1093, 197, 1439, 631 +228, 1099, 198, 1445, 632 +229, 1105, 198, 1451, 632 +230, 1110, 199, 1456, 633 +231, 1116, 199, 1462, 633 +232, 1120, 200, 1466, 634 +233, 1124, 201, 1470, 635 +234, 1129, 200, 1475, 634 +235, 1133, 200, 1479, 634 +236, 1139, 200, 1485, 634 +237, 1143, 200, 1489, 634 +238, 1148, 201, 1494, 635 +239, 1153, 201, 1499, 635 +240, 1159, 201, 1505, 635 +241, 1166, 202, 1512, 636 +242, 1173, 203, 1519, 637 +243, 1180, 204, 1526, 638 +244, 1189, 204, 1535, 638 +245, 1195, 204, 1541, 638 +246, 1201, 205, 1547, 639 +247, 1208, 206, 1554, 640 +248, 1214, 207, 1560, 641 +249, 1221, 208, 1567, 642 +250, 1228, 208, 1574, 642 +251, 1234, 209, 1580, 643 +252, 1239, 210, 1585, 644 +253, 1244, 211, 1590, 645 +254, 1249, 212, 1595, 646 +255, 1253, 213, 1599, 647 +256, 1256, 215, 1602, 649 +257, 1260, 215, 1606, 649 +258, 1263, 216, 1609, 650 +259, 1265, 217, 1611, 651 +260, 1267, 218, 1613, 652 +261, 1268, 219, 1614, 653 +262, 1269, 220, 1615, 654 +263, 1270, 220, 1616, 654 +264, 1270, 220, 1616, 654 +265, 1271, 219, 1617, 653 +266, 1271, 219, 1617, 653 +267, 1270, 220, 1616, 654 +268, 1271, 219, 1617, 653 +269, 1270, 219, 1616, 653 +270, 1270, 219, 1616, 653 +271, 1268, 219, 1614, 653 +272, 1268, 219, 1614, 653 +273, 1266, 219, 1612, 653 +274, 1265, 218, 1611, 652 +275, 1263, 218, 1609, 652 +276, 1262, 217, 1608, 651 +277, 1259, 215, 1605, 649 +278, 1257, 212, 1603, 646 +279, 1254, 211, 1600, 645 +280, 1252, 208, 1598, 642 +281, 1249, 205, 1595, 639 +282, 1245, 203, 1591, 637 +283, 1241, 200, 1587, 634 +284, 1238, 197, 1584, 631 +285, 1234, 195, 1580, 629 +286, 1229, 192, 1575, 626 +287, 1225, 189, 1571, 623 +288, 1222, 185, 1568, 619 +289, 1218, 181, 1564, 615 +290, 1214, 178, 1560, 612 +291, 1210, 175, 1556, 609 +292, 1206, 173, 1552, 607 +293, 1202, 170, 1548, 604 +294, 1199, 168, 1545, 602 +295, 1196, 166, 1542, 600 +296, 1191, 165, 1537, 599 +297, 1189, 163, 1535, 597 +298, 1185, 162, 1531, 596 +299, 1182, 161, 1528, 595 +300, 1179, 160, 1525, 594 +301, 1176, 160, 1522, 594 +302, 1173, 159, 1519, 593 +303, 1171, 159, 1517, 593 +304, 1169, 160, 1515, 594 +305, 1167, 160, 1513, 594 +306, 1165, 160, 1511, 594 +307, 1164, 160, 1510, 594 +308, 1163, 162, 1509, 596 +309, 1162, 162, 1508, 596 +310, 1161, 162, 1507, 596 +311, 1160, 162, 1506, 596 +312, 1160, 162, 1506, 596 +313, 1160, 163, 1506, 597 +314, 1160, 163, 1506, 597 +315, 1159, 163, 1505, 597 +316, 1159, 163, 1505, 597 +317, 1159, 163, 1505, 597 +318, 1159, 163, 1505, 597 +319, 1158, 164, 1504, 598 +320, 1158, 163, 1504, 597 +321, 1157, 164, 1503, 598 +322, 1156, 164, 1502, 598 +323, 1154, 164, 1500, 598 +324, 1152, 163, 1498, 597 +325, 1150, 164, 1496, 598 +326, 1148, 164, 1494, 598 +327, 1145, 164, 1491, 598 +328, 1142, 164, 1488, 598 +329, 1138, 165, 1484, 599 +330, 1132, 165, 1478, 599 +331, 1127, 165, 1473, 599 +332, 1122, 166, 1468, 600 +333, 1115, 166, 1461, 600 +334, 1109, 167, 1455, 601 +335, 1102, 167, 1448, 601 +336, 1095, 167, 1441, 601 +337, 1087, 168, 1433, 602 +338, 1079, 168, 1425, 602 +339, 1071, 169, 1417, 603 +340, 1064, 169, 1410, 603 +341, 1056, 170, 1402, 604 +342, 1049, 170, 1395, 604 +343, 1041, 171, 1387, 605 +344, 1034, 171, 1380, 605 +345, 1027, 171, 1373, 605 +346, 1020, 172, 1366, 606 +347, 1013, 172, 1359, 606 +348, 1007, 173, 1353, 607 +349, 1001, 174, 1347, 608 +350, 996, 174, 1342, 608 +351, 992, 174, 1338, 608 +352, 986, 175, 1332, 609 +353, 981, 175, 1327, 609 +354, 978, 176, 1324, 610 +355, 974, 176, 1320, 610 +356, 971, 177, 1317, 611 +357, 968, 178, 1314, 612 +358, 966, 178, 1312, 612 +359, 964, 179, 1310, 613 +360, 964, 179, 1310, 613 +361, 962, 180, 1308, 614 +362, 962, 179, 1308, 613 +363, 962, 179, 1308, 613 +364, 962, 180, 1308, 614 +365, 963, 180, 1309, 614 +366, 964, 180, 1310, 614 +367, 965, 180, 1311, 614 +368, 966, 180, 1312, 614 +369, 968, 179, 1314, 613 +370, 968, 179, 1314, 613 +371, 969, 179, 1315, 613 +372, 970, 179, 1316, 613 +373, 971, 179, 1317, 613 +374, 972, 179, 1318, 613 +375, 973, 179, 1319, 613 +376, 974, 179, 1320, 613 +377, 975, 179, 1321, 613 +378, 977, 178, 1323, 612 +379, 978, 179, 1324, 613 +380, 980, 179, 1326, 613 +381, 982, 179, 1328, 613 +382, 984, 179, 1330, 613 +383, 986, 179, 1332, 613 +384, 990, 179, 1336, 613 +385, 993, 179, 1339, 613 +386, 996, 179, 1342, 613 +387, 1001, 179, 1347, 613 +388, 1005, 179, 1351, 613 +389, 1010, 179, 1356, 613 +390, 1015, 179, 1361, 613 +391, 1020, 179, 1366, 613 +392, 1025, 179, 1371, 613 +393, 1032, 179, 1378, 613 +394, 1038, 180, 1384, 614 +395, 1043, 181, 1389, 615 +396, 1052, 182, 1398, 616 +397, 1059, 182, 1405, 616 +398, 1067, 183, 1413, 617 +399, 1074, 183, 1420, 617 +400, 1081, 184, 1427, 618 +401, 1088, 184, 1434, 618 +402, 1096, 185, 1442, 619 +403, 1103, 187, 1449, 621 +404, 1110, 188, 1456, 622 +405, 1118, 189, 1464, 623 +406, 1125, 190, 1471, 624 +407, 1132, 190, 1478, 624 +408, 1139, 191, 1485, 625 +409, 1145, 192, 1491, 626 +410, 1152, 192, 1498, 626 +411, 1158, 193, 1504, 627 +412, 1163, 194, 1509, 628 +413, 1169, 195, 1515, 629 +414, 1174, 196, 1520, 630 +415, 1180, 197, 1526, 631 +416, 1184, 198, 1530, 632 +417, 1188, 199, 1534, 633 +418, 1191, 199, 1537, 633 +419, 1192, 199, 1538, 633 +420, 1193, 199, 1539, 633 +421, 1193, 199, 1539, 633 +422, 1193, 199, 1539, 633 +423, 1192, 199, 1538, 633 +424, 1191, 199, 1537, 633 +425, 1189, 199, 1535, 633 +426, 1188, 199, 1534, 633 +427, 1185, 199, 1531, 633 +428, 1182, 199, 1528, 633 +429, 1179, 200, 1525, 634 +430, 1177, 201, 1523, 635 +431, 1174, 202, 1520, 636 +432, 1171, 203, 1517, 637 +433, 1169, 205, 1515, 639 +434, 1166, 208, 1512, 642 +435, 1163, 211, 1509, 645 +436, 1159, 215, 1505, 649 +437, 1155, 219, 1501, 653 +438, 1152, 223, 1498, 657 +439, 1150, 228, 1496, 662 +440, 1147, 232, 1493, 666 +441, 1143, 237, 1489, 671 +442, 1141, 242, 1487, 676 +443, 1139, 247, 1485, 681 +444, 1136, 253, 1482, 687 +445, 1134, 255, 1480, 689 +446, 1133, 263, 1479, 697 +447, 1130, 271, 1476, 705 +448, 1129, 277, 1475, 711 +449, 1127, 285, 1473, 719 +450, 1126, 289, 1472, 723 +451, 1126, 297, 1472, 731 +452, 1124, 304, 1470, 738 +453, 1125, 308, 1471, 742 +454, 1125, 311, 1471, 745 +455, 1123, 322, 1469, 756 +456, 1122, 326, 1468, 760 +457, 1124, 330, 1470, 764 +458, 1124, 331, 1470, 765 +459, 1123, 334, 1469, 768 +460, 1123, 334, 1469, 768 +461, 1123, 335, 1469, 769 +462, 1121, 332, 1467, 766 +463, 1122, 334, 1468, 768 +464, 1122, 334, 1468, 768 +465, 1122, 333, 1468, 767 +466, 1121, 333, 1467, 767 +467, 1122, 332, 1468, 766 +468, 1122, 332, 1468, 766 +469, 1122, 332, 1468, 766 +470, 1122, 332, 1468, 766 +471, 1122, 333, 1468, 767 +472, 1121, 333, 1467, 767 +473, 1120, 332, 1466, 766 +474, 1119, 332, 1465, 766 +475, 1117, 331, 1463, 765 +476, 1115, 330, 1461, 764 +477, 1113, 330, 1459, 764 +478, 1108, 329, 1454, 763 +479, 1105, 327, 1451, 761 +480, 1100, 327, 1446, 761 +481, 1096, 326, 1442, 760 +482, 1091, 326, 1437, 760 +483, 1084, 326, 1430, 760 +484, 1080, 326, 1426, 760 +485, 1073, 325, 1419, 759 +486, 1066, 324, 1412, 758 +487, 1059, 324, 1405, 758 +488, 1050, 324, 1396, 758 +489, 1041, 325, 1387, 759 +490, 1033, 324, 1379, 758 +491, 1025, 324, 1371, 758 +492, 1016, 325, 1362, 759 +493, 1009, 325, 1355, 759 +494, 1001, 323, 1347, 757 +495, 991, 322, 1337, 756 +496, 985, 322, 1331, 756 +497, 978, 321, 1324, 755 +498, 971, 319, 1317, 753 +499, 965, 316, 1311, 750 +500, 961, 313, 1307, 747 +501, 957, 310, 1303, 744 +502, 954, 306, 1300, 740 +503, 947, 303, 1293, 737 +504, 945, 299, 1291, 733 +505, 942, 295, 1288, 729 +506, 938, 292, 1284, 726 +507, 936, 290, 1282, 724 +508, 933, 289, 1279, 723 +509, 931, 289, 1277, 723 +510, 927, 287, 1273, 721 +511, 923, 288, 1269, 722 +512, 918, 289, 1264, 723 +513, 915, 288, 1261, 722 +514, 910, 289, 1256, 723 +515, 903, 290, 1249, 724 +516, 897, 291, 1243, 725 +517, 890, 292, 1236, 726 +518, 883, 293, 1229, 727 +519, 875, 293, 1221, 727 +520, 869, 294, 1215, 728 +521, 861, 293, 1207, 727 +522, 853, 294, 1199, 728 +523, 843, 295, 1189, 729 +524, 836, 296, 1182, 730 +525, 828, 296, 1174, 730 +526, 818, 295, 1164, 729 +527, 811, 294, 1157, 728 +528, 801, 293, 1147, 727 +529, 792, 290, 1138, 724 +530, 782, 289, 1128, 723 +531, 771, 286, 1117, 720 +532, 760, 284, 1106, 718 +533, 751, 283, 1097, 717 +534, 743, 282, 1089, 716 +535, 737, 282, 1083, 716 +536, 732, 283, 1078, 717 +537, 726, 283, 1072, 717 +538, 722, 282, 1068, 716 +539, 718, 282, 1064, 716 +540, 714, 281, 1060, 715 +541, 710, 281, 1056, 715 +542, 705, 282, 1051, 716 +543, 701, 282, 1047, 716 +544, 697, 283, 1043, 717 +545, 693, 283, 1039, 717 +546, 687, 283, 1033, 717 +547, 684, 283, 1030, 717 +548, 677, 284, 1023, 718 +549, 672, 283, 1018, 717 +550, 666, 283, 1012, 717 +551, 661, 283, 1007, 717 +552, 655, 284, 1001, 718 +553, 648, 284, 994, 718 +554, 642, 284, 988, 718 +555, 636, 284, 982, 718 +556, 629, 284, 975, 718 +557, 623, 284, 969, 718 +558, 617, 284, 963, 718 +559, 610, 283, 956, 717 +560, 604, 283, 950, 717 +561, 598, 283, 944, 717 +562, 592, 283, 938, 717 +563, 587, 283, 933, 717 +564, 582, 283, 928, 717 +565, 576, 283, 922, 717 +566, 571, 283, 917, 717 +567, 565, 282, 911, 716 +568, 560, 282, 906, 716 +569, 552, 281, 898, 715 +570, 547, 282, 893, 716 +571, 541, 282, 887, 716 +572, 533, 281, 879, 715 +573, 529, 282, 875, 716 +574, 524, 282, 870, 716 +575, 520, 282, 866, 716 +576, 516, 282, 862, 716 +577, 513, 282, 859, 716 +578, 511, 282, 857, 716 +579, 509, 283, 855, 717 +580, 508, 283, 854, 717 +581, 507, 283, 853, 717 +582, 506, 284, 852, 718 +583, 506, 284, 852, 718 +584, 505, 284, 851, 718 +585, 505, 283, 851, 717 +586, 505, 283, 851, 717 +587, 505, 283, 851, 717 +588, 505, 283, 851, 717 +589, 505, 283, 851, 717 +590, 505, 282, 851, 716 +591, 505, 282, 851, 716 +592, 505, 281, 851, 715 +593, 505, 279, 851, 713 +594, 505, 277, 851, 711 +595, 504, 273, 850, 707 +596, 503, 268, 849, 702 +597, 502, 264, 848, 698 +598, 500, 259, 846, 693 +599, 500, 255, 846, 689 +600, 499, 251, 845, 685 +601, 498, 246, 844, 680 +602, 497, 240, 843, 674 +603, 496, 236, 842, 670 +604, 495, 231, 841, 665 +605, 495, 227, 841, 661 +606, 494, 222, 840, 656 +607, 494, 219, 840, 653 +608, 494, 215, 840, 649 +609, 493, 211, 839, 645 +610, 494, 208, 840, 642 +611, 494, 205, 840, 639 +612, 495, 203, 841, 637 +613, 495, 200, 841, 634 +614, 496, 198, 842, 632 +615, 496, 195, 842, 629 +616, 497, 193, 843, 627 +617, 497, 191, 843, 625 +618, 497, 190, 843, 624 +619, 498, 189, 844, 623 +620, 499, 189, 845, 623 +621, 501, 189, 847, 623 +622, 502, 190, 848, 624 +623, 503, 191, 849, 625 +624, 504, 191, 850, 625 +625, 505, 192, 851, 626 +626, 506, 192, 852, 626 +627, 507, 193, 853, 627 +628, 507, 192, 853, 626 +629, 508, 192, 854, 626 +630, 508, 192, 854, 626 +631, 508, 192, 854, 626 +632, 508, 192, 854, 626 +633, 508, 193, 854, 627 +634, 508, 193, 854, 627 +635, 508, 195, 854, 629 +636, 509, 195, 855, 629 +637, 510, 195, 856, 629 +638, 511, 195, 857, 629 +639, 513, 195, 859, 629 +640, 517, 197, 863, 631 +641, 516, 196, 862, 630 +642, 518, 196, 864, 630 +643, 520, 196, 866, 630 +644, 521, 197, 867, 631 +645, 522, 195, 868, 629 +646, 527, 195, 873, 629 +647, 522, 196, 868, 630 +648, 528, 197, 874, 631 +649, 527, 198, 873, 632 +650, 529, 198, 875, 632 +651, 533, 197, 879, 631 +652, 532, 198, 878, 632 +653, 533, 199, 879, 633 +654, 530, 200, 876, 634 +655, 532, 200, 878, 634 +656, 533, 199, 879, 633 +657, 533, 200, 879, 634 +658, 532, 200, 878, 634 +659, 532, 200, 878, 634 +660, 532, 201, 878, 635 +661, 531, 200, 877, 634 +662, 530, 200, 876, 634 +663, 532, 200, 878, 634 +664, 531, 200, 877, 634 +665, 531, 200, 877, 634 +666, 530, 200, 876, 634 +667, 531, 200, 877, 634 +668, 531, 200, 877, 634 +669, 530, 200, 876, 634 +670, 531, 201, 877, 635 +671, 530, 200, 876, 634 +672, 530, 200, 876, 634 +673, 529, 200, 875, 634 +674, 529, 200, 875, 634 +675, 526, 200, 872, 634 +676, 526, 201, 872, 635 +677, 524, 200, 870, 634 +678, 522, 201, 868, 635 +679, 519, 201, 865, 635 +680, 516, 201, 862, 635 +681, 514, 201, 860, 635 +682, 512, 201, 858, 635 +683, 512, 200, 858, 634 +684, 509, 200, 855, 634 +685, 508, 199, 854, 633 +686, 505, 198, 851, 632 +687, 503, 198, 849, 632 +688, 499, 198, 845, 632 +689, 499, 196, 845, 630 +690, 495, 196, 841, 630 +691, 491, 195, 837, 629 +692, 489, 196, 835, 630 +693, 488, 195, 834, 629 +694, 488, 195, 834, 629 +695, 487, 194, 833, 628 +696, 486, 194, 832, 628 +697, 484, 194, 830, 628 +698, 483, 193, 829, 627 +699, 483, 194, 829, 628 +700, 482, 194, 828, 628 +701, 481, 195, 827, 629 +702, 481, 195, 827, 629 +703, 480, 195, 826, 629 +704, 478, 195, 824, 629 +705, 480, 195, 826, 629 +706, 478, 194, 824, 628 +707, 478, 195, 824, 629 +708, 478, 195, 824, 629 +709, 479, 195, 825, 629 +710, 479, 195, 825, 629 +711, 479, 195, 825, 629 +712, 479, 195, 825, 629 +713, 479, 195, 825, 629 +714, 479, 195, 825, 629 +715, 480, 195, 826, 629 +716, 480, 195, 826, 629 +717, 480, 195, 826, 629 +718, 481, 195, 827, 629 +719, 481, 195, 827, 629 +720, 482, 195, 828, 629 +721, 483, 195, 829, 629 +722, 485, 195, 831, 629 +723, 487, 195, 833, 629 +724, 489, 195, 835, 629 +725, 492, 195, 838, 629 +726, 495, 195, 841, 629 +727, 499, 195, 845, 629 +728, 503, 196, 849, 630 +729, 507, 195, 853, 629 +730, 512, 195, 858, 629 +731, 517, 194, 863, 628 +732, 523, 194, 869, 628 +733, 529, 194, 875, 628 +734, 533, 193, 879, 627 +735, 539, 193, 885, 627 +736, 546, 193, 892, 627 +737, 552, 192, 898, 626 +738, 557, 191, 903, 625 +739, 564, 190, 910, 624 +740, 570, 189, 916, 623 +741, 576, 190, 922, 624 +742, 582, 190, 928, 624 +743, 589, 190, 935, 624 +744, 595, 189, 941, 623 +745, 600, 189, 946, 623 +746, 605, 189, 951, 623 +747, 611, 189, 957, 623 +748, 616, 189, 962, 623 +749, 623, 187, 969, 621 +750, 630, 189, 976, 623 +751, 637, 189, 983, 623 +752, 644, 189, 990, 623 +753, 651, 183, 997, 617 +754, 662, 186, 1008, 620 +755, 668, 183, 1014, 617 +756, 675, 184, 1021, 618 +757, 683, 183, 1029, 617 +758, 693, 183, 1039, 617 +759, 703, 183, 1049, 617 +760, 713, 183, 1059, 617 +761, 722, 183, 1068, 617 +762, 732, 183, 1078, 617 +763, 743, 183, 1089, 617 +764, 752, 183, 1098, 617 +765, 761, 183, 1107, 617 +766, 770, 183, 1116, 617 +767, 779, 183, 1125, 617 +768, 789, 183, 1135, 617 +769, 801, 183, 1147, 617 +770, 812, 183, 1158, 617 +771, 822, 183, 1168, 617 +772, 833, 185, 1179, 619 +773, 841, 184, 1187, 618 +774, 850, 185, 1196, 619 +775, 859, 185, 1205, 619 +776, 868, 186, 1214, 620 +777, 875, 185, 1221, 619 +778, 883, 185, 1229, 619 +779, 890, 185, 1236, 619 +780, 898, 185, 1244, 619 +781, 905, 185, 1251, 619 +782, 912, 184, 1258, 618 +783, 919, 183, 1265, 617 +784, 924, 183, 1270, 617 +785, 930, 182, 1276, 616 +786, 934, 183, 1280, 617 +787, 939, 183, 1285, 617 +788, 944, 183, 1290, 617 +789, 949, 183, 1295, 617 +790, 952, 183, 1298, 617 +791, 957, 184, 1303, 618 +792, 960, 185, 1306, 619 +793, 963, 185, 1309, 619 +794, 966, 187, 1312, 621 +795, 970, 187, 1316, 621 +796, 972, 187, 1318, 621 +797, 974, 188, 1320, 622 +798, 975, 190, 1321, 624 +799, 978, 190, 1324, 624 +800, 979, 190, 1325, 624 +801, 979, 191, 1325, 625 +802, 979, 191, 1325, 625 +803, 980, 190, 1326, 624 +804, 980, 191, 1326, 625 +805, 981, 192, 1327, 626 +806, 980, 192, 1326, 626 +807, 980, 193, 1326, 627 +808, 979, 193, 1325, 627 +809, 980, 193, 1326, 627 +810, 981, 193, 1327, 627 +811, 980, 193, 1326, 627 +812, 981, 192, 1327, 626 +813, 981, 193, 1327, 627 +814, 982, 194, 1328, 628 +815, 982, 193, 1328, 627 +816, 982, 193, 1328, 627 +817, 982, 193, 1328, 627 +818, 982, 193, 1328, 627 +819, 983, 193, 1329, 627 +820, 983, 193, 1329, 627 +821, 983, 193, 1329, 627 +822, 983, 193, 1329, 627 +823, 983, 193, 1329, 627 +824, 983, 193, 1329, 627 +825, 982, 193, 1328, 627 +826, 982, 193, 1328, 627 +827, 981, 193, 1327, 627 +828, 980, 193, 1326, 627 +829, 979, 193, 1325, 627 +830, 977, 193, 1323, 627 +831, 973, 194, 1319, 628 +832, 970, 194, 1316, 628 +833, 966, 194, 1312, 628 +834, 962, 194, 1308, 628 +835, 958, 194, 1304, 628 +836, 953, 195, 1299, 629 +837, 949, 195, 1295, 629 +838, 945, 195, 1291, 629 +839, 942, 196, 1288, 630 +840, 938, 196, 1284, 630 +841, 937, 197, 1283, 631 +842, 934, 197, 1280, 631 +843, 928, 197, 1274, 631 +844, 925, 199, 1271, 633 +845, 922, 198, 1268, 632 +846, 918, 199, 1264, 633 +847, 917, 198, 1263, 632 +848, 916, 199, 1262, 633 +849, 914, 199, 1260, 633 +850, 914, 199, 1260, 633 +851, 914, 199, 1260, 633 +852, 914, 199, 1260, 633 +853, 914, 199, 1260, 633 +854, 914, 199, 1260, 633 +855, 914, 199, 1260, 633 +856, 915, 199, 1261, 633 +857, 916, 199, 1262, 633 +858, 916, 199, 1262, 633 +859, 917, 199, 1263, 633 +860, 918, 198, 1264, 632 +861, 920, 198, 1266, 632 +862, 921, 197, 1267, 631 +863, 923, 197, 1269, 631 +864, 925, 195, 1271, 629 +865, 927, 194, 1273, 628 +866, 932, 192, 1278, 626 +867, 935, 190, 1281, 624 +868, 941, 188, 1287, 622 +869, 946, 187, 1292, 621 +870, 952, 186, 1298, 620 +871, 958, 185, 1304, 619 +872, 964, 185, 1310, 619 +873, 970, 184, 1316, 618 +874, 977, 184, 1323, 618 +875, 983, 183, 1329, 617 +876, 989, 182, 1335, 616 +877, 993, 180, 1339, 614 +878, 998, 181, 1344, 615 +879, 1006, 181, 1352, 615 +880, 1011, 183, 1357, 617 +881, 1019, 183, 1365, 617 +882, 1024, 183, 1370, 617 +883, 1030, 184, 1376, 618 +884, 1033, 185, 1379, 619 +885, 1036, 186, 1382, 620 +886, 1037, 187, 1383, 621 +887, 1037, 186, 1383, 620 +888, 1039, 187, 1385, 621 +889, 1038, 187, 1384, 621 +890, 1038, 187, 1384, 621 +891, 1037, 187, 1383, 621 +892, 1037, 187, 1383, 621 +893, 1036, 187, 1382, 621 +894, 1034, 186, 1380, 620 +895, 1034, 186, 1380, 620 +896, 1033, 186, 1379, 620 +897, 1032, 186, 1378, 620 +898, 1030, 186, 1376, 620 +899, 1028, 185, 1374, 619 +900, 1026, 185, 1372, 619 +901, 1024, 185, 1370, 619 +902, 1021, 184, 1367, 618 +903, 1019, 185, 1365, 619 +904, 1015, 184, 1361, 618 +905, 1011, 183, 1357, 617 +906, 1006, 182, 1352, 616 +907, 1001, 182, 1347, 616 +908, 996, 182, 1342, 616 +909, 991, 182, 1337, 616 +910, 986, 182, 1332, 616 +911, 980, 181, 1326, 615 +912, 976, 183, 1322, 617 +913, 972, 182, 1318, 616 +914, 968, 183, 1314, 617 +915, 965, 182, 1311, 616 +916, 958, 182, 1304, 616 +917, 952, 184, 1298, 618 +918, 947, 184, 1293, 618 +919, 941, 184, 1287, 618 +920, 938, 185, 1284, 619 +921, 934, 184, 1280, 618 +922, 926, 185, 1272, 619 +923, 927, 187, 1273, 621 +924, 925, 184, 1271, 618 +925, 922, 186, 1268, 620 +926, 922, 185, 1268, 619 +927, 919, 186, 1265, 620 +928, 919, 186, 1265, 620 +929, 921, 186, 1267, 620 +930, 920, 185, 1266, 619 +931, 921, 186, 1267, 620 +932, 921, 185, 1267, 619 +933, 922, 185, 1268, 619 +934, 922, 185, 1268, 619 +935, 922, 185, 1268, 619 +936, 923, 185, 1269, 619 +937, 923, 183, 1269, 617 +938, 921, 183, 1267, 617 +939, 919, 183, 1265, 617 +940, 918, 183, 1264, 617 +941, 913, 183, 1259, 617 +942, 912, 183, 1258, 617 +943, 908, 183, 1254, 617 +944, 905, 183, 1251, 617 +945, 902, 182, 1248, 616 +946, 900, 182, 1246, 616 +947, 898, 182, 1244, 616 +948, 895, 182, 1241, 616 +949, 896, 184, 1242, 618 +950, 892, 182, 1238, 616 +951, 892, 182, 1238, 616 +952, 891, 181, 1237, 615 +953, 889, 182, 1235, 616 +954, 889, 182, 1235, 616 +955, 888, 182, 1234, 616 +956, 888, 182, 1234, 616 +957, 888, 182, 1234, 616 +958, 888, 182, 1234, 616 +959, 889, 182, 1235, 616 +960, 888, 182, 1234, 616 +961, 889, 183, 1235, 617 +962, 889, 183, 1235, 617 +963, 889, 183, 1235, 617 +964, 888, 182, 1234, 616 +965, 887, 182, 1233, 616 +966, 886, 182, 1232, 616 +967, 883, 181, 1229, 615 +968, 881, 181, 1227, 615 +969, 877, 180, 1223, 614 +970, 874, 180, 1220, 614 +971, 869, 180, 1215, 614 +972, 864, 179, 1210, 613 +973, 860, 179, 1206, 613 +974, 853, 179, 1199, 613 +975, 844, 179, 1190, 613 +976, 838, 179, 1184, 613 +977, 828, 179, 1174, 613 +978, 822, 179, 1168, 613 +979, 810, 180, 1156, 614 +980, 802, 181, 1148, 615 +981, 794, 181, 1140, 615 +982, 789, 182, 1135, 616 +983, 780, 181, 1126, 615 +984, 772, 182, 1118, 616 +985, 762, 183, 1108, 617 +986, 757, 183, 1103, 617 +987, 748, 184, 1094, 618 +988, 739, 184, 1085, 618 +989, 733, 185, 1079, 619 +990, 723, 185, 1069, 619 +991, 715, 185, 1061, 619 +992, 705, 184, 1051, 618 +993, 699, 186, 1045, 620 +994, 696, 187, 1042, 621 +995, 686, 187, 1032, 621 +996, 674, 186, 1020, 620 +997, 671, 189, 1017, 623 +998, 666, 191, 1012, 625 +999, 655, 189, 1001, 623 +1000, 649, 190, 995, 624 +1001, 642, 191, 988, 625 +1002, 635, 191, 981, 625 +1003, 630, 191, 976, 625 +1004, 625, 192, 971, 626 +1005, 620, 192, 966, 626 +1006, 614, 192, 960, 626 +1007, 611, 193, 957, 627 +1008, 607, 194, 953, 628 +1009, 605, 193, 951, 627 +1010, 602, 194, 948, 628 +1011, 602, 194, 948, 628 +1012, 602, 194, 948, 628 +1013, 602, 194, 948, 628 +1014, 602, 194, 948, 628 +1015, 605, 194, 951, 628 +1016, 607, 193, 953, 627 +1017, 611, 193, 957, 627 +1018, 614, 193, 960, 627 +1019, 618, 192, 964, 626 +1020, 623, 191, 969, 625 +1021, 626, 190, 972, 624 +1022, 631, 189, 977, 623 +1023, 635, 189, 981, 623 +1024, 642, 188, 988, 622 +1025, 646, 187, 992, 621 +1026, 650, 186, 996, 620 +1027, 654, 187, 1000, 621 +1028, 656, 187, 1002, 621 +1029, 658, 188, 1004, 622 +1030, 661, 189, 1007, 623 +1031, 663, 188, 1009, 622 +1032, 667, 187, 1013, 621 +1033, 666, 189, 1012, 623 +1034, 669, 188, 1015, 622 +1035, 674, 188, 1020, 622 +1036, 674, 187, 1020, 621 +1037, 677, 188, 1023, 622 +1038, 678, 188, 1024, 622 +1039, 679, 188, 1025, 622 +1040, 681, 188, 1027, 622 +1041, 680, 188, 1026, 622 +1042, 680, 189, 1026, 623 +1043, 679, 189, 1025, 623 +1044, 680, 189, 1026, 623 +1045, 684, 190, 1030, 624 +1046, 686, 190, 1032, 624 +1047, 685, 190, 1031, 624 +1048, 689, 190, 1035, 624 +1049, 686, 190, 1032, 624 +1050, 688, 190, 1034, 624 +1051, 688, 191, 1034, 625 +1052, 687, 191, 1033, 625 +1053, 687, 190, 1033, 624 +1054, 686, 190, 1032, 624 +1055, 686, 190, 1032, 624 +1056, 686, 190, 1032, 624 +1057, 685, 190, 1031, 624 +1058, 685, 190, 1031, 624 +1059, 685, 190, 1031, 624 +1060, 686, 190, 1032, 624 +1061, 685, 190, 1031, 624 +1062, 686, 190, 1032, 624 +1063, 686, 190, 1032, 624 +1064, 686, 190, 1032, 624 +1065, 687, 190, 1033, 624 +1066, 687, 190, 1033, 624 +1067, 688, 190, 1034, 624 +1068, 688, 189, 1034, 623 +1069, 689, 190, 1035, 624 +1070, 691, 189, 1037, 623 +1071, 691, 189, 1037, 623 +1072, 693, 189, 1039, 623 +1073, 694, 189, 1040, 623 +1074, 696, 189, 1042, 623 +1075, 699, 188, 1045, 622 +1076, 700, 189, 1046, 623 +1077, 702, 188, 1048, 622 +1078, 706, 188, 1052, 622 +1079, 707, 188, 1053, 622 +1080, 709, 188, 1055, 622 +1081, 711, 188, 1057, 622 +1082, 714, 188, 1060, 622 +1083, 717, 188, 1063, 622 +1084, 719, 187, 1065, 621 +1085, 722, 187, 1068, 621 +1086, 725, 187, 1071, 621 +1087, 727, 187, 1073, 621 +1088, 729, 187, 1075, 621 +1089, 731, 187, 1077, 621 +1090, 734, 187, 1080, 621 +1091, 735, 187, 1081, 621 +1092, 735, 187, 1081, 621 +1093, 736, 187, 1082, 621 +1094, 737, 187, 1083, 621 +1095, 737, 186, 1083, 620 +1096, 736, 186, 1082, 620 +1097, 734, 186, 1080, 620 +1098, 731, 186, 1077, 620 +1099, 729, 185, 1075, 619 +1100, 725, 185, 1071, 619 +1101, 722, 185, 1068, 619 +1102, 718, 186, 1064, 620 +1103, 714, 186, 1060, 620 +1104, 710, 187, 1056, 621 +1105, 706, 186, 1052, 620 +1106, 705, 185, 1051, 619 +1107, 704, 185, 1050, 619 +1108, 703, 185, 1049, 619 +1109, 702, 186, 1048, 620 +1110, 703, 185, 1049, 619 +1111, 701, 186, 1047, 620 +1112, 702, 186, 1048, 620 +1113, 703, 186, 1049, 620 +1114, 704, 186, 1050, 620 +1115, 704, 186, 1050, 620 +1116, 705, 186, 1051, 620 +1117, 705, 186, 1051, 620 +1118, 707, 185, 1053, 619 +1119, 709, 185, 1055, 619 +1120, 710, 185, 1056, 619 +1121, 713, 185, 1059, 619 +1122, 716, 184, 1062, 618 +1123, 720, 184, 1066, 618 +1124, 723, 184, 1069, 618 +1125, 728, 184, 1074, 618 +1126, 733, 184, 1079, 618 +1127, 740, 183, 1086, 617 +1128, 744, 183, 1090, 617 +1129, 752, 182, 1098, 616 +1130, 758, 182, 1104, 616 +1131, 765, 183, 1111, 617 +1132, 772, 183, 1118, 617 +1133, 778, 183, 1124, 617 +1134, 784, 183, 1130, 617 +1135, 790, 183, 1136, 617 +1136, 796, 183, 1142, 617 +1137, 801, 183, 1147, 617 +1138, 806, 182, 1152, 616 +1139, 811, 183, 1157, 617 +1140, 817, 183, 1163, 617 +1141, 823, 183, 1169, 617 +1142, 830, 182, 1176, 616 +1143, 835, 182, 1181, 616 +1144, 842, 182, 1188, 616 +1145, 850, 182, 1196, 616 +1146, 856, 181, 1202, 615 +1147, 864, 181, 1210, 615 +1148, 871, 181, 1217, 615 +1149, 878, 180, 1224, 614 +1150, 886, 180, 1232, 614 +1151, 892, 180, 1238, 614 +1152, 899, 180, 1245, 614 +1153, 905, 179, 1251, 613 +1154, 912, 180, 1258, 614 +1155, 919, 179, 1265, 613 +1156, 926, 179, 1272, 613 +1157, 932, 180, 1278, 614 +1158, 937, 179, 1283, 613 +1159, 943, 179, 1289, 613 +1160, 947, 180, 1293, 614 +1161, 951, 180, 1297, 614 +1162, 954, 182, 1300, 616 +1163, 956, 182, 1302, 616 +1164, 958, 182, 1304, 616 +1165, 961, 182, 1307, 616 +1166, 963, 182, 1309, 616 +1167, 964, 182, 1310, 616 +1168, 966, 183, 1312, 617 +1169, 967, 184, 1313, 618 +1170, 968, 186, 1314, 620 +1171, 968, 185, 1314, 619 +1172, 969, 186, 1315, 620 +1173, 970, 187, 1316, 621 +1174, 972, 187, 1318, 621 +1175, 971, 187, 1317, 621 +1176, 974, 188, 1320, 622 +1177, 974, 190, 1320, 624 +1178, 976, 190, 1322, 624 +1179, 980, 192, 1326, 626 +1180, 983, 193, 1329, 627 +1181, 986, 194, 1332, 628 +1182, 989, 195, 1335, 629 +1183, 992, 196, 1338, 630 +1184, 993, 196, 1339, 630 +1185, 992, 197, 1338, 631 +1186, 994, 196, 1340, 630 +1187, 997, 199, 1343, 633 +1188, 996, 196, 1342, 630 +1189, 998, 197, 1344, 631 +1190, 999, 199, 1345, 633 +1191, 1001, 199, 1347, 633 +1192, 1001, 198, 1347, 632 +1193, 1001, 198, 1347, 632 +1194, 1002, 198, 1348, 632 +1195, 1002, 199, 1348, 633 +1196, 1003, 199, 1349, 633 +1197, 1003, 199, 1349, 633 +1198, 1003, 198, 1349, 632 +1199, 1003, 199, 1349, 633 +1200, 1003, 199, 1349, 633 +1201, 1003, 198, 1349, 632 +1202, 1003, 199, 1349, 633 +1203, 1002, 199, 1348, 633 +1204, 1003, 199, 1349, 633 +1205, 1003, 199, 1349, 633 +1206, 1002, 199, 1348, 633 +1207, 1000, 198, 1346, 632 +1208, 999, 198, 1345, 632 +1209, 998, 197, 1344, 631 +1210, 996, 196, 1342, 630 +1211, 994, 195, 1340, 629 +1212, 989, 194, 1335, 628 +1213, 984, 193, 1330, 627 +1214, 981, 192, 1327, 626 +1215, 976, 192, 1322, 626 +1216, 970, 192, 1316, 626 +1217, 964, 192, 1310, 626 +1218, 960, 191, 1306, 625 +1219, 958, 190, 1304, 624 +1220, 957, 190, 1303, 624 +1221, 952, 190, 1298, 624 +1222, 951, 189, 1297, 623 +1223, 944, 189, 1290, 623 +1224, 940, 189, 1286, 623 +1225, 937, 189, 1283, 623 +1226, 933, 190, 1279, 624 +1227, 930, 190, 1276, 624 +1228, 929, 190, 1275, 624 +1229, 925, 190, 1271, 624 +1230, 922, 191, 1268, 625 +1231, 920, 191, 1266, 625 +1232, 918, 193, 1264, 627 +1233, 917, 192, 1263, 626 +1234, 916, 192, 1262, 626 +1235, 916, 192, 1262, 626 +1236, 917, 192, 1263, 626 +1237, 917, 192, 1263, 626 +1238, 918, 192, 1264, 626 +1239, 919, 192, 1265, 626 +1240, 919, 192, 1265, 626 +1241, 920, 192, 1266, 626 +1242, 919, 192, 1265, 626 +1243, 919, 192, 1265, 626 +1244, 920, 192, 1266, 626 +1245, 919, 192, 1265, 626 +1246, 920, 192, 1266, 626 +1247, 920, 192, 1266, 626 +1248, 920, 192, 1266, 626 +1249, 920, 192, 1266, 626 +1250, 920, 192, 1266, 626 +1251, 920, 192, 1266, 626 +1252, 920, 192, 1266, 626 +1253, 920, 192, 1266, 626 +1254, 920, 192, 1266, 626 +1255, 920, 192, 1266, 626 +1256, 919, 192, 1265, 626 +1257, 918, 192, 1264, 626 +1258, 917, 192, 1263, 626 +1259, 915, 191, 1261, 625 +1260, 914, 191, 1260, 625 +1261, 911, 191, 1257, 625 +1262, 907, 191, 1253, 625 +1263, 903, 191, 1249, 625 +1264, 900, 191, 1246, 625 +1265, 895, 192, 1241, 626 +1266, 891, 191, 1237, 625 +1267, 886, 191, 1232, 625 +1268, 880, 191, 1226, 625 +1269, 874, 191, 1220, 625 +1270, 868, 192, 1214, 626 +1271, 861, 192, 1207, 626 +1272, 855, 193, 1201, 627 +1273, 850, 193, 1196, 627 +1274, 844, 193, 1190, 627 +1275, 839, 192, 1185, 626 +1276, 833, 192, 1179, 626 +1277, 827, 192, 1173, 626 +1278, 822, 191, 1168, 625 +1279, 817, 191, 1163, 625 +1280, 813, 191, 1159, 625 +1281, 807, 189, 1153, 623 +1282, 802, 188, 1148, 622 +1283, 797, 187, 1143, 621 +1284, 792, 187, 1138, 621 +1285, 790, 186, 1136, 620 +1286, 788, 185, 1134, 619 +1287, 782, 184, 1128, 618 +1288, 779, 184, 1125, 618 +1289, 776, 184, 1122, 618 +1290, 772, 184, 1118, 618 +1291, 767, 185, 1113, 619 +1292, 762, 186, 1108, 620 +1293, 757, 187, 1103, 621 +1294, 752, 189, 1098, 623 +1295, 748, 190, 1094, 624 +1296, 745, 191, 1091, 625 +1297, 741, 191, 1087, 625 +1298, 738, 192, 1084, 626 +1299, 735, 191, 1081, 625 +1300, 731, 190, 1077, 624 +1301, 729, 191, 1075, 625 +1302, 726, 191, 1072, 625 +1303, 724, 191, 1070, 625 +1304, 721, 191, 1067, 625 +1305, 719, 191, 1065, 625 +1306, 716, 190, 1062, 624 +1307, 715, 190, 1061, 624 +1308, 713, 190, 1059, 624 +1309, 712, 189, 1058, 623 +1310, 711, 188, 1057, 622 +1311, 712, 188, 1058, 622 +1312, 712, 187, 1058, 621 +1313, 713, 187, 1059, 621 +1314, 714, 186, 1060, 620 +1315, 715, 185, 1061, 619 +1316, 718, 185, 1064, 619 +1317, 719, 185, 1065, 619 +1318, 721, 185, 1067, 619 +1319, 724, 185, 1070, 619 +1320, 725, 183, 1071, 617 +1321, 726, 187, 1072, 621 +1322, 729, 187, 1075, 621 +1323, 730, 187, 1076, 621 +1324, 732, 184, 1078, 618 +1325, 733, 186, 1079, 620 +1326, 734, 187, 1080, 621 +1327, 736, 187, 1082, 621 +1328, 737, 185, 1083, 619 +1329, 737, 185, 1083, 619 +1330, 738, 186, 1084, 620 +1331, 739, 187, 1085, 621 +1332, 738, 187, 1084, 621 +1333, 738, 185, 1084, 619 +1334, 739, 186, 1085, 620 +1335, 739, 187, 1085, 621 +1336, 739, 187, 1085, 621 +1337, 739, 186, 1085, 620 +1338, 739, 185, 1085, 619 +1339, 739, 186, 1085, 620 +1340, 739, 187, 1085, 621 +1341, 739, 187, 1085, 621 +1342, 740, 186, 1086, 620 +1343, 740, 185, 1086, 619 +1344, 740, 186, 1086, 620 +1345, 740, 187, 1086, 621 +1346, 740, 186, 1086, 620 +1347, 741, 186, 1087, 620 +1348, 741, 186, 1087, 620 +1349, 741, 186, 1087, 620 +1350, 741, 187, 1087, 621 +1351, 741, 186, 1087, 620 +1352, 741, 185, 1087, 619 +1353, 742, 186, 1088, 620 +1354, 742, 187, 1088, 621 +1355, 742, 187, 1088, 621 +1356, 742, 186, 1088, 620 +1357, 742, 186, 1088, 620 +1358, 743, 187, 1089, 621 +1359, 743, 187, 1089, 621 +1360, 743, 187, 1089, 621 +1361, 743, 186, 1089, 620 +1362, 743, 186, 1089, 620 +1363, 743, 187, 1089, 621 +1364, 743, 188, 1089, 622 +1365, 743, 187, 1089, 621 +1366, 743, 187, 1089, 621