From 9949420ced466ee247d409be92c52511e065c3c0 Mon Sep 17 00:00:00 2001 From: Nickiel12 <35903114+Nickiel12@users.noreply.github.com> Date: Wed, 11 Oct 2023 16:59:49 -0700 Subject: [PATCH] wait, this is testing validation info --- validation/cascade-1 output.txt | 2613 ------------------------------ validation/cascade-10 output.txt | 522 ------ validation/cascade-2 output.txt | 627 ------- validation/cascade-5 output.txt | 316 ---- 4 files changed, 4078 deletions(-) delete mode 100644 validation/cascade-1 output.txt delete mode 100644 validation/cascade-10 output.txt delete mode 100644 validation/cascade-2 output.txt delete mode 100644 validation/cascade-5 output.txt diff --git a/validation/cascade-1 output.txt b/validation/cascade-1 output.txt deleted file mode 100644 index 5e00532..0000000 --- a/validation/cascade-1 output.txt +++ /dev/null @@ -1,2613 +0,0 @@ -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 deleted file mode 100644 index 6fe8dc0..0000000 --- a/validation/cascade-10 output.txt +++ /dev/null @@ -1,522 +0,0 @@ -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 deleted file mode 100644 index 8046b73..0000000 --- a/validation/cascade-2 output.txt +++ /dev/null @@ -1,627 +0,0 @@ -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 deleted file mode 100644 index 3e2245e..0000000 --- a/validation/cascade-5 output.txt +++ /dev/null @@ -1,316 +0,0 @@ -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