Nickiel/WGU-Capstone
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

wait, this is testing validation info

Browse source
This commit is contained in:
Nickiel12 2023-10-11 16:59:49 -07:00
parent dff604b66f
commit 9949420ced
4 changed files with 0 additions and 4078 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2613
validation/cascade-1 output.txt
View file

File diff suppressed because it is too large Load diff

522
validation/cascade-10 output.txt
View file

@ -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

627
validation/cascade-2 output.txt
View file

@ -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

316
validation/cascade-5 output.txt
View file

@ -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