Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-wpm1-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C4500_H150_5.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_5.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 1 c lw 3 c lw 4 c lw 5 c lw 6 c lw 7 c lw 13 c lw 15 c lw 21 c lw 22 c lw 25 c lw 28 c lw 29 c lw 33 c lw 35 c lw 37 c lw 39 c lw 43 c lw 44 c lw 46 c lw 50 c lw 54 c lw 56 c lw 58 c lw 62 c lw 67 c lw 68 c lw 72 c lw 74 c lw 75 c lw 80 c lw 81 c lw 85 c lw 86 c lw 88 c lw 92 c lw 94 c lw 96 c lw 97 c lw 100 c lw 101 c lw 107 c lw 109 c lw 113 c lw 115 c lw 117 c lw 119 c lw 121 c lw 122 c lw 123 c lw 124 c lw 125 c lw 126 c lw 127 c lw 128 c lw 134 c lw 136 c lw 137 c lw 139 c lw 141 c lw 143 c lw 145 c lw 148 c lw 150 c lw 152 c lw 154 c lw 155 c lw 156 c lw 158 c lw 160 c lw 163 c lw 164 c lw 167 c lw 169 c lw 170 c lw 171 c lw 173 c lw 174 c lw 177 c lw 178 c lw 181 c lw 184 c lw 186 c lw 188 c lw 190 c lw 192 c lw 193 c lw 195 c lw 198 c lw 200 c lw 202 c lw 204 c lw 205 c lw 208 c lw 213 c lw 215 c lw 216 c lw 217 c lw 218 c lw 219 c lw 220 c lw 222 c lw 223 c lw 224 c lw 228 c lw 231 c lw 232 c lw 236 c lw 238 c lw 239 c lw 240 c lw 241 c lw 242 c lw 245 c lw 246 c lw 247 c lw 249 c lw 250 c lw 251 c lw 254 c lw 255 c lw 256 c lw 259 c lw 262 c lw 263 c lw 264 c lw 265 c lw 266 c lw 267 c lw 268 c lw 269 c lw 270 c lw 274 c lw 275 c lw 278 c lw 281 c lw 283 c lw 285 c lw 287 c lw 288 c lw 289 c lw 290 c lw 291 c lw 294 c lw 296 c lw 297 c lw 301 c lw 302 c lw 305 c lw 306 c lw 308 c lw 309 c lw 310 c lw 311 c lw 312 c lw 313 c lw 317 c lw 318 c lw 319 c lw 320 c lw 322 c lw 324 c lw 325 c lw 326 c lw 328 c lw 330 c lw 332 c lw 333 c lw 335 c lw 336 c lw 339 c lw 345 c lw 349 c lw 352 c lw 354 c lw 357 c lw 358 c lw 362 c lw 364 c lw 366 c lw 368 c lw 371 c lw 372 c lw 373 c lw 376 c lw 377 c lw 381 c lw 383 c lw 386 c lw 388 c lw 389 c lw 390 c lw 391 c lw 392 c lw 393 c lw 395 c lw 398 c lw 399 c lw 401 c lw 402 c lw 403 c lw 405 c lw 406 c lw 407 c lw 408 c lw 409 c lw 410 c lw 416 c lw 417 c lw 418 c lw 419 c lw 420 c lw 421 c lw 424 c lw 426 c lw 429 c lw 430 c lw 431 c lw 433 c lw 436 c lw 437 c lw 441 c lw 443 c lw 447 c lw 449 c lw 450 c lw 452 c lw 454 c lw 456 c lw 458 c lw 461 c lw 463 c lw 464 c lw 465 c lw 470 c lw 471 c lw 474 c lw 476 c lw 478 c lw 480 c lw 481 c lw 483 c lw 485 c lw 486 c lw 487 c lw 489 c lw 490 c lw 491 c lw 492 c lw 497 c lw 500 c lw 502 c lw 503 c lw 504 c lw 507 c lw 508 c lw 510 c lw 511 c lw 513 c lw 516 c lw 518 c lw 521 c lw 524 c lw 525 c lw 527 c lw 530 c lw 531 c lw 533 c lw 536 c lw 537 c lw 541 c lw 542 c lw 544 c lw 546 c lw 547 c lw 549 c lw 552 c lw 553 c lw 554 c lw 556 c lw 560 c lw 563 c lw 564 c lw 565 c lw 566 c lw 567 c lw 571 c lw 572 c lw 573 c lw 576 c lw 581 c lw 582 c lw 583 c lw 586 c lw 589 c lw 592 c lw 594 c lw 595 c lw 597 c lw 598 c lw 603 c lw 604 c lw 606 c lw 608 c lw 610 c lw 614 c lw 615 c lw 622 c lw 623 c lw 625 c lw 627 c lw 629 c lw 632 c lw 633 c lw 634 c lw 638 c lw 639 c lw 641 c lw 642 c lw 645 c lw 646 c lw 647 c lw 649 c lw 650 c lw 651 c lw 654 c lw 657 c lw 658 c lw 659 c lw 660 c lw 661 c lw 662 c lw 663 c lw 665 c lw 669 c lw 671 c lw 672 c lw 674 c lw 675 c lw 676 c lw 677 c lw 678 c lw 684 c lw 685 c lw 686 c lw 691 c lw 692 c lw 693 c lw 695 c lw 697 c lw 701 c lw 702 c lw 703 c lw 704 c lw 705 c lw 706 c lw 707 c lw 709 c lw 711 c lw 712 c lw 714 c lw 715 c lw 716 c lw 718 c lw 719 c lw 720 c lw 722 c lw 724 c lw 725 c lw 727 c lw 728 c lw 729 c lw 731 c lw 732 c lw 733 c lw 734 c lw 735 c lw 736 c lw 738 c lw 739 c lw 740 c lw 741 c lw 742 c lw 744 c lw 746 c lw 749 c lw 751 c lw 752 c lw 753 c lw 754 c lw 755 c lw 756 c lw 758 c lw 759 c lw 760 c lw 761 c lw 762 c lw 764 c lw 766 c lw 767 c lw 771 c lw 773 c lw 775 c lw 778 c lw 779 c lw 780 c lw 781 c lw 784 c lw 785 c lw 786 c lw 787 c lw 788 c lw 790 c lw 792 c lw 794 c lw 796 c lw 798 c lw 800 c lw 801 c lw 802 c lw 805 c lw 806 c lw 807 c lw 808 c lw 810 c lw 811 c lw 815 c lw 816 c lw 817 c lw 818 c lw 819 c lw 821 c lw 822 c lw 824 c lw 825 c lw 826 c lw 827 c lw 829 c lw 830 c lw 833 c lw 834 c lw 836 c lw 843 c lw 846 c lw 848 c lw 849 c lw 851 c lw 852 c lw 853 c lw 858 c lw 859 c lw 861 c lw 862 c lw 863 c lw 864 c lw 865 c lw 866 c lw 868 c lw 869 c lw 870 c lw 871 c lw 873 c lw 876 c lw 878 c lw 880 c lw 881 c lw 882 c lw 883 c lw 884 c lw 887 c lw 888 c lw 889 c lw 890 c lw 891 c lw 892 c lw 893 c lw 894 c lw 895 c lw 896 c lw 901 c lw 903 c lw 907 c lw 910 c lw 911 c lw 912 c lw 916 c lw 917 c lw 918 c lw 920 c lw 922 c lw 924 c lw 925 c lw 926 c lw 928 c lw 931 c lw 934 c lw 935 c lw 936 c lw 937 c lw 944 c lw 945 c lw 946 c lw 948 c lw 949 c lw 951 c lw 953 c lw 954 c lw 958 c lw 960 c lw 961 c lw 964 c lw 969 c lw 972 c lw 975 c lw 976 c lw 979 c lw 981 c lw 984 c lw 985 c lw 986 c lw 994 c lw 995 c lw 996 c lw 998 c lw 1000 c lw 1003 c lw 1005 c lw 1008 c lw 1010 c lw 1011 c lw 1014 c lw 1016 c lw 1019 c lw 1022 c lw 1025 c lw 1026 c lw 1029 c lw 1030 c lw 1031 c lw 1032 c lw 1033 c lw 1035 c lw 1038 c lw 1039 c lw 1042 c lw 1043 c lw 1045 c lw 1046 c lw 1048 c lw 1049 c lw 1051 c lw 1055 c lw 1056 c lw 1057 c lw 1058 c lw 1059 c lw 1060 c lw 1062 c lw 1064 c lw 1066 c lw 1067 c lw 1070 c lw 1072 c lw 1073 c lw 1075 c lw 1077 c lw 1080 c lw 1081 c lw 1082 c lw 1083 c lw 1084 c lw 1088 c lw 1089 c lw 1092 c lw 1093 c lw 1094 c lw 1095 c lw 1096 c lw 1097 c lw 1098 c lw 1100 c lw 1102 c lw 1104 c lw 1107 c lw 1108 c lw 1109 c lw 1110 c lw 1112 c lw 1114 c lw 1115 c lw 1117 c lw 1118 c lw 1122 c lw 1124 c lw 1125 c lw 1127 c lw 1130 c lw 1134 c lw 1136 c lw 1137 c lw 1140 c lw 1141 c lw 1142 c lw 1143 c lw 1144 c lw 1145 c lw 1146 c lw 1147 c lw 1148 c lw 1149 c lw 1150 c lw 1152 c lw 1153 c lw 1154 c lw 1157 c lw 1158 c lw 1162 c lw 1165 c lw 1166 c lw 1167 c lw 1170 c lw 1171 c lw 1172 c lw 1173 c lw 1176 c lw 1177 c lw 1178 c lw 1180 c lw 1181 c lw 1183 c lw 1184 c lw 1185 c lw 1186 c lw 1188 c lw 1189 c lw 1190 c lw 1191 c lw 1194 c lw 1195 c lw 1196 c lw 1197 c lw 1198 c lw 1199 c lw 1200 c lw 1201 c lw 1204 c lw 1205 c lw 1206 c lw 1208 c lw 1210 c lw 1211 c lw 1212 c lw 1214 c lw 1215 c lw 1216 c lw 1217 c lw 1218 c lw 1220 c lw 1222 c lw 1223 c lw 1226 c lw 1228 c lw 1230 c lw 1231 c lw 1232 c lw 1233 c lw 1234 c lw 1236 c lw 1239 c lw 1241 c lw 1242 c lw 1244 c lw 1246 c lw 1250 c lw 1251 c lw 1252 c lw 1258 c lw 1259 c lw 1260 c lw 1261 c lw 1263 c lw 1265 c lw 1266 c lw 1267 c lw 1269 c lw 1270 c lw 1272 c lw 1273 c lw 1274 c lw 1275 c lw 1276 c lw 1279 c lw 1280 c lw 1281 c lw 1282 c lw 1283 c lw 1284 c lw 1287 c lw 1288 c lw 1290 c lw 1291 c lw 1292 c lw 1293 c lw 1295 c lw 1296 c lw 1299 c lw 1300 c lw 1301 c lw 1303 c lw 1304 c lw 1305 c lw 1306 c lw 1307 c lw 1308 c lw 1309 c lw 1310 c lw 1311 c lw 1313 c lw 1315 c lw 1316 c lw 1318 c lw 1319 c lw 1321 c lw 1326 c lw 1328 c lw 1330 c lw 1331 c lw 1334 c lw 1335 c lw 1337 c lw 1342 c lw 1344 c lw 1347 c lw 1348 c lw 1349 c lw 1350 c lw 1351 c lw 1352 c lw 1353 c lw 1354 c lw 1355 c lw 1356 c lw 1358 c lw 1360 c lw 1362 c lw 1363 c lw 1365 c lw 1366 c lw 1368 c lw 1370 c lw 1373 c lw 1375 c lw 1376 c lw 1378 c lw 1380 c lw 1381 c lw 1382 c lw 1383 c lw 1384 c lw 1385 c lw 1386 c lw 1389 c lw 1392 c lw 1393 c lw 1394 c lw 1395 c lw 1397 c lw 1398 c lw 1403 c lw 1404 c lw 1405 c lw 1406 c lw 1407 c lw 1408 c lw 1409 c lw 1411 c lw 1412 c lw 1413 c lw 1414 c lw 1416 c lw 1417 c lw 1418 c lw 1419 c lw 1420 c lw 1421 c lw 1424 c lw 1426 c lw 1427 c lw 1428 c lw 1431 c lw 1432 c lw 1433 c lw 1434 c lw 1435 c lw 1436 c lw 1437 c lw 1438 c lw 1439 c lw 1441 c lw 1443 c lw 1444 c lw 1445 c lw 1448 c lw 1452 c lw 1455 c lw 1456 c lw 1457 c lw 1460 c lw 1461 c lw 1462 c lw 1463 c lw 1466 c lw 1469 c lw 1470 c lw 1471 c lw 1474 c lw 1475 c lw 1476 c lw 1477 c lw 1478 c lw 1481 c lw 1484 c lw 1485 c lw 1487 c lw 1490 c lw 1491 c lw 1492 c lw 1497 c lw 1499 c lw 1500 c lw 1502 c lw 1503 c lw 1504 c lw 1505 c lw 1506 c lw 1507 c lw 1508 c lw 1509 c lw 1512 c lw 1514 c lw 1515 c lw 1517 c lw 1518 c lw 1519 c lw 1520 c lw 1521 c lw 1522 c lw 1523 c lw 1525 c lw 1526 c lw 1528 c lw 1530 c lw 1532 c lw 1533 c lw 1535 c lw 1536 c lw 1538 c lw 1539 c lw 1545 c lw 1546 c lw 1547 c lw 1548 c lw 1549 c lw 1551 c lw 1552 c lw 1553 c lw 1554 c lw 1556 c lw 1560 c lw 1562 c lw 1564 c lw 1566 c lw 1568 c lw 1569 c lw 1570 c lw 1572 c lw 1574 c lw 1576 c lw 1577 c lw 1578 c lw 1579 c lw 1580 c lw 1581 c lw 1583 c lw 1585 c lw 1592 c lw 1593 c lw 1594 c lw 1595 c lw 1596 c lw 1597 c lw 1598 c lw 1601 c lw 1602 c lw 1603 c lw 1606 c lw 1608 c lw 1609 c lw 1610 c lw 1612 c lw 1614 c lw 1618 c lw 1619 c lw 1620 c lw 1622 c lw 1623 c lw 1627 c lw 1629 c lw 1630 c lw 1632 c lw 1633 c lw 1634 c lw 1636 c lw 1637 c lw 1639 c lw 1641 c lw 1643 c lw 1644 c lw 1646 c lw 1647 c lw 1653 c lw 1654 c lw 1656 c lw 1660 c lw 1661 c lw 1664 c lw 1665 c lw 1666 c lw 1668 c lw 1669 c lw 1670 c lw 1672 c lw 1675 c lw 1676 c lw 1678 c lw 1680 c lw 1684 c lw 1687 c lw 1688 c lw 1690 c lw 1691 c lw 1692 c lw 1695 c lw 1697 c lw 1698 c lw 1699 c lw 1703 c lw 1705 c lw 1709 c lw 1710 c lw 1711 c lw 1712 c lw 1714 c lw 1716 c lw 1717 c lw 1718 c lw 1719 c lw 1721 c lw 1722 c lw 1724 c lw 1727 c lw 1730 c lw 1731 c lw 1733 c lw 1735 c lw 1736 c lw 1737 c lw 1739 c lw 1742 c lw 1747 c lw 1749 c lw 1750 c lw 1752 c lw 1754 c lw 1755 c lw 1757 c lw 1758 c lw 1760 c lw 1761 c lw 1762 c lw 1763 c lw 1764 c lw 1765 c lw 1766 c lw 1767 c lw 1768 c lw 1769 c lw 1771 c lw 1772 c lw 1773 c lw 1774 c lw 1775 c lw 1776 c lw 1777 c lw 1779 c lw 1781 c lw 1782 c lw 1783 c lw 1784 c lw 1785 c lw 1786 c lw 1787 c lw 1788 c lw 1789 c lw 1790 c lw 1795 c lw 1796 c lw 1797 c lw 1802 c lw 1804 c lw 1805 c lw 1806 c lw 1807 c lw 1808 c lw 1810 c lw 1811 c lw 1814 c lw 1815 c lw 1819 c lw 1820 c lw 1821 c lw 1822 c lw 1823 c lw 1824 c lw 1825 c lw 1826 c lw 1828 c lw 1829 c lw 1830 c lw 1832 c lw 1834 c lw 1835 c lw 1836 c lw 1837 c lw 1838 c lw 1839 c lw 1841 c lw 1842 c lw 1843 c lw 1844 c lw 1849 c lw 1850 c lw 1851 c lw 1854 c lw 1855 c lw 1856 c lw 1857 c lw 1859 c lw 1861 c lw 1862 c lw 1866 c lw 1868 c lw 1869 c lw 1870 c lw 1871 c lw 1872 c lw 1876 c lw 1877 c lw 1878 c lw 1879 c lw 1880 c lw 1881 c lw 1882 c lw 1883 c lw 1884 c lw 1885 c lw 1886 c lw 1887 c lw 1888 c lw 1890 c lw 1893 c lw 1894 c lw 1895 c lw 1896 c lw 1901 c lw 1902 c lw 1903 c lw 1906 c lw 1907 c lw 1908 c lw 1911 c lw 1913 c lw 1914 c lw 1915 c lw 1917 c lw 1918 c lw 1919 c lw 1920 c lw 1921 c lw 1922 c lw 1923 c lw 1924 c lw 1926 c lw 1928 c lw 1929 c lw 1930 c lw 1931 c lw 1933 c lw 1937 c lw 1938 c lw 1939 c lw 1940 c lw 1941 c lw 1943 c lw 1944 c lw 1945 c lw 1947 c lw 1949 c lw 1950 c lw 1952 c lw 1953 c lw 1954 c lw 1956 c lw 1957 c lw 1958 c lw 1959 c lw 1962 c lw 1963 c lw 1964 c lw 1966 c lw 1968 c lw 1970 c lw 1972 c lw 1974 c lw 1975 c lw 1976 c lw 1978 c lw 1979 c lw 1980 c lw 1981 c lw 1983 c lw 1984 c lw 1985 c lw 1986 c lw 1987 c lw 1989 c lw 1990 c lw 1991 c lw 1992 c lw 1993 c lw 1994 c lw 1996 c lw 1998 c lw 1999 c lw 2000 c lw 2003 c lw 2004 c lw 2005 c lw 2007 c lw 2011 c lw 2013 c lw 2016 c lw 2017 c lw 2020 c lw 2021 c lw 2022 c lw 2024 c lw 2025 c lw 2030 c lw 2032 c lw 2033 c lw 2035 c lw 2038 c lw 2040 c lw 2041 c lw 2043 c lw 2044 c lw 2045 c lw 2048 c lw 2049 c lw 2055 c lw 2056 c lw 2059 c lw 2061 c lw 2062 c lw 2064 c lw 2066 c lw 2067 c lw 2069 c lw 2070 c lw 2072 c lw 2074 c lw 2076 c lw 2079 c lw 2080 c lw 2081 c lw 2083 c lw 2084 c lw 2086 c lw 2087 c lw 2088 c lw 2089 c lw 2092 c lw 2093 c lw 2094 c lw 2096 c lw 2098 c lw 2099 c lw 2102 c lw 2103 c lw 2104 c lw 2105 c lw 2108 c lw 2110 c lw 2111 c lw 2112 c lw 2113 c lw 2114 c lw 2115 c lw 2116 c lw 2117 c lw 2118 c lw 2119 c lw 2120 c lw 2123 c lw 2125 c lw 2126 c lw 2128 c lw 2129 c lw 2130 c lw 2132 c lw 2135 c lw 2136 c lw 2138 c lw 2142 c lw 2143 c lw 2144 c lw 2145 c lw 2149 c lw 2152 c lw 2153 c lw 2155 c lw 2157 c lw 2159 c lw 2161 c lw 2162 c lw 2163 c lw 2165 c lw 2166 c lw 2168 c lw 2171 c lw 2172 c lw 2173 c lw 2174 c lw 2175 c lw 2176 c lw 2177 c lw 2178 c lw 2179 c lw 2180 c lw 2181 c lw 2182 c lw 2183 c lw 2184 c lw 2185 c lw 2186 c lw 2188 c lw 2189 c lw 2190 c lw 2193 c lw 2194 c lw 2195 c lw 2196 c lw 2197 c lw 2198 c lw 2199 c lw 2200 c lw 2201 c lw 2204 c lw 2205 c lw 2206 c lw 2207 c lw 2208 c lw 2209 c lw 2210 c lw 2211 c lw 2212 c lw 2213 c lw 2214 c lw 2215 c lw 2216 c lw 2217 c lw 2218 c lw 2219 c lw 2220 c lw 2221 c lw 2222 c lw 2223 c lw 2224 c lw 2225 c lw 2227 c lw 2230 c lw 2232 c lw 2233 c lw 2234 c lw 2235 c lw 2238 c lw 2239 c lw 2242 c lw 2243 c lw 2245 c lw 2246 c lw 2247 c lw 2248 c lw 2249 c lw 2251 c lw 2252 c lw 2253 c lw 2254 c lw 2255 c lw 2256 c lw 2259 c lw 2261 c lw 2262 c lw 2263 c lw 2264 c lw 2265 c lw 2266 c lw 2267 c lw 2268 c lw 2269 c lw 2270 c lw 2271 c lw 2274 c lw 2276 c lw 2278 c lw 2279 c lw 2280 c lw 2281 c lw 2282 c lw 2283 c lw 2285 c lw 2288 c lw 2289 c lw 2290 c lw 2293 c lw 2295 c lw 2296 c lw 2297 c lw 2300 c lw 2301 c lw 2302 c lw 2303 c lw 2304 c lw 2307 c lw 2311 c lw 2314 c lw 2316 c lw 2317 c lw 2320 c lw 2321 c lw 2323 c lw 2324 c lw 2326 c lw 2327 c lw 2328 c lw 2330 c lw 2334 c lw 2336 c lw 2337 c lw 2339 c lw 2341 c lw 2342 c lw 2344 c lw 2346 c lw 2348 c lw 2349 c lw 2351 c lw 2355 c lw 2358 c lw 2360 c lw 2361 c lw 2362 c lw 2364 c lw 2365 c lw 2366 c lw 2367 c lw 2368 c lw 2369 c lw 2371 c lw 2372 c lw 2373 c lw 2378 c lw 2379 c lw 2381 c lw 2382 c lw 2383 c lw 2384 c lw 2386 c lw 2387 c lw 2388 c lw 2389 c lw 2390 c lw 2391 c lw 2392 c lw 2393 c lw 2394 c lw 2395 c lw 2396 c lw 2400 c lw 2403 c lw 2405 c lw 2406 c lw 2407 c lw 2408 c lw 2409 c lw 2410 c lw 2411 c lw 2412 c lw 2414 c lw 2415 c lw 2416 c lw 2417 c lw 2419 c lw 2420 c lw 2421 c lw 2422 c lw 2423 c lw 2424 c lw 2425 c lw 2426 c lw 2427 c lw 2428 c lw 2433 c lw 2435 c lw 2440 c lw 2441 c lw 2443 c lw 2445 c lw 2447 c lw 2448 c lw 2449 c lw 2450 c lw 2451 c lw 2454 c lw 2456 c lw 2457 c lw 2459 c lw 2460 c lw 2462 c lw 2463 c lw 2464 c lw 2466 c lw 2467 c lw 2468 c lw 2469 c lw 2470 c lw 2471 c lw 2472 c lw 2473 c lw 2474 c lw 2475 c lw 2477 c lw 2478 c lw 2481 c lw 2482 c lw 2484 c lw 2485 c lw 2487 c lw 2489 c lw 2490 c lw 2491 c lw 2492 c lw 2493 c lw 2495 c lw 2497 c lw 2499 c lw 2503 c lw 2504 c lw 2505 c lw 2506 c lw 2511 c lw 2512 c lw 2514 c lw 2515 c lw 2516 c lw 2517 c lw 2518 c lw 2520 c lw 2521 c lw 2522 c lw 2523 c lw 2524 c lw 2525 c lw 2526 c lw 2527 c lw 2529 c lw 2531 c lw 2532 c lw 2533 c lw 2534 c lw 2535 c lw 2536 c lw 2537 c lw 2538 c lw 2539 c lw 2542 c lw 2543 c lw 2545 c lw 2546 c lw 2548 c lw 2551 c lw 2552 c lw 2554 c lw 2555 c lw 2556 c lw 2557 c lw 2558 c lw 2563 c lw 2564 c lw 2565 c lw 2566 c lw 2567 c lw 2568 c lw 2569 c lw 2571 c lw 2572 c lw 2573 c lw 2574 c lw 2575 c lw 2576 c lw 2578 c lw 2579 c lw 2582 c lw 2583 c lw 2584 c lw 2586 c lw 2589 c lw 2591 c lw 2592 c lw 2594 c lw 2595 c lw 2596 c lw 2597 c lw 2598 c lw 2599 c lw 2600 c lw 2601 c lw 2602 c lw 2603 c lw 2604 c lw 2605 c lw 2606 c lw 2607 c lw 2608 c lw 2609 c lw 2610 c lw 2612 c lw 2613 c lw 2616 c lw 2617 c lw 2618 c lw 2619 c lw 2621 c lw 2622 c lw 2623 c lw 2624 c lw 2625 c lw 2626 c lw 2627 c lw 2628 c lw 2629 c lw 2630 c lw 2631 c lw 2632 c lw 2634 c lw 2635 c lw 2636 c lw 2638 c lw 2639 c lw 2640 c lw 2641 c lw 2642 c lw 2644 c lw 2645 c lw 2647 c lw 2649 c lw 2650 c lw 2651 c lw 2652 c lw 2653 c lw 2654 c lw 2655 c lw 2657 c lw 2658 c lw 2659 c lw 2664 c lw 2665 c lw 2667 c lw 2668 c lw 2669 c lw 2670 c lw 2671 c lw 2672 c lw 2673 c lw 2674 c lw 2675 c lw 2677 c lw 2678 c lw 2683 c lw 2684 c lw 2685 c lw 2686 c lw 2688 c lw 2689 c lw 2690 c lw 2692 c lw 2694 c lw 2695 c lw 2696 c lw 2697 c lw 2698 c lw 2699 c lw 2700 c lw 2701 c lw 2702 c lw 2703 c lw 2704 c lw 2705 c lw 2707 c lw 2709 c lw 2710 c lw 2713 c lw 2715 c lw 2716 c lw 2717 c lw 2719 c lw 2721 c lw 2722 c lw 2723 c lw 2724 c lw 2725 c lw 2726 c lw 2727 c lw 2728 c lw 2729 c lw 2730 c lw 2731 c lw 2733 c lw 2734 c lw 2735 c lw 2736 c lw 2737 c lw 2739 c lw 2740 c lw 2742 c lw 2743 c lw 2744 c lw 2745 c lw 2746 c lw 2747 c lw 2748 c lw 2749 c lw 2752 c lw 2755 c lw 2756 c lw 2757 c lw 2758 c lw 2759 c lw 2760 c lw 2761 c lw 2763 c lw 2764 c lw 2765 c lw 2766 c lw 2771 c lw 2772 c lw 2773 c lw 2774 c lw 2775 c lw 2776 c lw 2777 c lw 2778 c lw 2779 c lw 2780 c lw 2781 c lw 2782 c lw 2786 c lw 2787 c lw 2789 c lw 2791 c lw 2792 c lw 2793 c lw 2796 c lw 2797 c lw 2798 c lw 2799 c lw 2800 c lw 2801 c lw 2802 c lw 2803 c lw 2806 c lw 2807 c lw 2808 c lw 2809 c lw 2811 c lw 2812 c lw 2813 c lw 2814 c lw 2815 c lw 2816 c lw 2817 c lw 2818 c lw 2820 c lw 2821 c lw 2822 c lw 2823 c lw 2824 c lw 2825 c lw 2826 c lw 2827 c lw 2828 c lw 2829 c lw 2831 c lw 2832 c lw 2833 c lw 2835 c lw 2836 c lw 2838 c lw 2839 c lw 2840 c lw 2841 c lw 2842 c lw 2843 c lw 2845 c lw 2849 c lw 2851 c lw 2852 c lw 2855 c lw 2856 c lw 2857 c lw 2860 c lw 2863 c lw 2865 c lw 2866 c lw 2867 c lw 2868 c lw 2869 c lw 2871 c lw 2872 c lw 2873 c lw 2874 c lw 2875 c lw 2877 c lw 2878 c lw 2880 c lw 2881 c lw 2883 c lw 2885 c lw 2886 c lw 2889 c lw 2890 c lw 2891 c lw 2892 c lw 2893 c lw 2894 c lw 2895 c lw 2897 c lw 2900 c lw 2901 c lw 2902 c lw 2903 c lw 2904 c lw 2905 c lw 2906 c lw 2907 c lw 2909 c lw 2910 c lw 2911 c lw 2912 c lw 2913 c lw 2914 c lw 2915 c lw 2916 c lw 2917 c lw 2918 c lw 2920 c lw 2921 c lw 2922 c lw 2923 c lw 2924 c lw 2926 c lw 2927 c lw 2928 c lw 2930 c lw 2931 c lw 2932 c lw 2933 c lw 2934 c lw 2936 c lw 2938 c lw 2939 c lw 2940 c lw 2941 c lw 2942 c lw 2943 c lw 2944 c lw 2945 c lw 2946 c lw 2949 c lw 2950 c lw 2951 c lw 2952 c lw 2953 c lw 2954 c lw 2955 c lw 2956 c lw 2957 c lw 2958 c lw 2959 c lw 2962 c lw 2963 c lw 2964 c lw 2965 c lw 2966 c lw 2967 c lw 2968 c lw 2969 c lw 2971 c lw 2972 c lw 2973 c lw 2975 c lw 2978 c lw 2979 c lw 2980 c lw 2981 c lw 2982 c lw 2983 c lw 2984 c lw 2985 c lw 2986 c lw 2987 c lw 2989 c lw 2990 c lw 2991 c lw 2992 c lw 2993 c lw 2994 c lw 2995 c lw 2997 c lw 2999 c lw 3000 c lw 3001 c lw 3003 c lw 3004 c lw 3005 c lw 3006 c lw 3007 c lw 3008 c lw 3009 c lw 3010 c lw 3011 c lw 3012 c lw 3013 c lw 3015 c lw 3017 c lw 3018 c lw 3019 c lw 3021 c lw 3022 c lw 3023 c lw 3024 c lw 3025 c lw 3026 c lw 3029 c lw 3030 c lw 3031 c lw 3032 c lw 3033 c lw 3034 c lw 3035 c lw 3036 c lw 3037 c lw 3038 c lw 3041 c lw 3042 c lw 3045 c lw 3046 c lw 3047 c lw 3048 c lw 3049 c lw 3050 c lw 3051 c lw 3054 c lw 3055 c lw 3056 c lw 3057 c lw 3058 c lw 3059 c lw 3060 c lw 3061 c lw 3065 c lw 3066 c lw 3067 c lw 3068 c lw 3070 c lw 3071 c lw 3072 c lw 3073 c lw 3074 c lw 3075 c lw 3076 c lw 3077 c lw 3079 c lw 3080 c lw 3081 c lw 3082 c lw 3083 c lw 3084 c lw 3085 c lw 3086 c lw 3087 c lw 3088 c lw 3090 c lw 3091 c lw 3092 c lw 3093 c lw 3094 c lw 3095 c lw 3096 c lw 3097 c lw 3098 c lw 3099 c lw 3101 c lw 3102 c lw 3103 c lw 3105 c lw 3106 c lw 3107 c lw 3108 c lw 3109 c lw 3110 c lw 3111 c lw 3112 c lw 3113 c lw 3114 c lw 3115 c lw 3116 c lw 3117 c lw 3118 c lw 3121 c lw 3122 c lw 3123 c lw 3124 c lw 3125 c lw 3126 c lw 3127 c lw 3129 c lw 3130 c lw 3131 c lw 3132 c lw 3133 c lw 3134 c lw 3135 c lw 3136 c lw 3138 c lw 3139 c lw 3140 c lw 3142 c lw 3143 c lw 3144 c lw 3145 c lw 3146 c lw 3148 c lw 3149 c lw 3150 c lw 3151 c lw 3152 c lw 3153 c lw 3154 c lw 3155 c lw 3156 c lw 3157 c lw 3159 c lw 3160 c lw 3161 c lw 3162 c lw 3163 c lw 3164 c lw 3165 c lw 3167 c lw 3168 c lw 3169 c lw 3170 c lw 3171 c lw 3172 c lw 3173 c lw 3174 c lw 3175 c lw 3176 c lw 3177 c lw 3178 c lw 3179 c lw 3180 c lw 3181 c lw 3183 c lw 3185 c lw 3187 c lw 3188 c lw 3189 c lw 3191 c lw 3192 c lw 3193 c lw 3194 c lw 3195 c lw 3196 c lw 3197 c lw 3198 c lw 3199 c lw 3200 c lw 3202 c lw 3203 c lw 3204 c lw 3205 c lw 3206 c lw 3207 c lw 3208 c lw 3209 c lw 3210 c lw 3211 c lw 3212 c lw 3213 c lw 3215 c lw 3216 c lw 3217 c lw 3218 c lw 3219 c lw 3220 c lw 3221 c lw 3222 c lw 3223 c lw 3224 c lw 3225 c lw 3226 c lw 3227 c lw 3228 c lw 3229 c lw 3230 c lw 3231 c lw 3232 c lw 3233 c lw 3235 c lw 3236 c lw 3237 c lw 3238 c lw 3239 c lw 3240 c lw 3241 c lw 3242 c lw 3243 c lw 3244 c lw 3245 c lw 3246 c lw 3247 c lw 3248 c lw 3249 c lw 3251 c lw 3252 c lw 3253 c lw 3254 c lw 3255 c lw 3256 c lw 3257 c lw 3258 c lw 3259 c lw 3260 c lw 3261 c lw 3262 c lw 3263 c lw 3264 c lw 3265 c lw 3266 c lw 3267 c lw 3268 c lw 3269 c lw 3270 c lw 3271 c lw 3273 c lw 3274 c lw 3275 c lw 3276 c lw 3277 c lw 3278 c lw 3279 c lw 3280 c lw 3281 c lw 3282 c lw 3283 c lw 3284 c lw 3285 c lw 3286 c lw 3287 c lw 3288 c lw 3289 c lw 3290 c lw 3291 c lw 3292 c lw 3293 c lw 3294 c lw 3295 c lw 3296 c lw 3297 c lw 3298 c lw 3301 c lw 3302 c lw 3303 c lw 3304 c lw 3305 c lw 3306 c lw 3307 c lw 3308 c lw 3309 c lw 3310 c lw 3311 c lw 3312 c lw 3313 c lw 3314 c lw 3315 c lw 3316 c lw 3317 c lw 3318 c lw 3319 c lw 3321 c lw 3322 c lw 3323 c lw 3324 c lw 3325 c lw 3326 c lw 3327 c lw 3328 c lw 3329 c lw 3331 c lw 3332 c lw 3333 c lw 3334 c lw 3335 c lw 3336 c lw 3337 c lw 3338 c lw 3339 c lw 3340 c lw 3341 c lw 3342 c lw 3343 c lw 3344 c lw 3345 c lw 3346 c lw 3347 c lw 3348 c lw 3349 c lw 3350 c lw 3351 c lw 3352 c lw 3353 c lw 3354 c lw 3355 c lw 3356 c lw 3357 c lw 3358 c lw 3359 c lw 3360 c lw 3361 c lw 3362 c lw 3363 c lw 3364 c lw 3365 c lw 3366 c lw 3367 c lw 3368 c lw 3369 c lw 3370 c lw 3371 c lw 3372 c lw 3373 c lw 3374 c lw 3375 c lw 3376 c lw 3377 c lw 3378 c lw 3379 c lw 3380 c lw 3381 c lw 3382 c lw 3383 c lw 3384 c lw 3385 c lw 3386 c lw 3387 c lw 3388 c lw 3389 c lw 3390 c lw 3391 c lw 3392 c lw 3393 c lw 3394 c lw 3395 c lw 3396 c lw 3397 c lw 3398 c lw 3399 c lw 3400 c lw 3401 c lw 3402 c lw 3403 c lw 3404 c lw 3405 c lw 3406 c lw 3407 c lw 3408 c lw 3409 c lw 3410 c lw 3411 c lw 3412 c lw 3413 c lw 3414 c lw 3415 c lw 3416 c lw 3417 c lw 3418 c lw 3419 c lw 3420 c lw 3421 c lw 3422 c lw 3423 c lw 3424 c lw 3425 c lw 3426 c lw 3427 c lw 3428 c lw 3429 c lw 3430 c lw 3431 c lw 3432 c lw 3433 c lw 3434 c lw 3435 c lw 3436 c lw 3437 c lw 3438 c lw 3439 c lw 3440 c lw 3441 c lw 3442 c lw 3443 c lw 3444 c lw 3445 c lw 3446 c lw 3447 c lw 3448 c lw 3449 c lw 3450 c lw 3451 c lw 3452 c lw 3453 c lw 3454 c lw 3455 c lw 3456 c lw 3457 c lw 3458 c lw 3459 c lw 3460 c lw 3461 c lw 3462 c lw 3463 c lw 3464 c lw 3465 c lw 3466 c lw 3467 c lw 3468 c lw 3469 c lw 3470 c lw 3471 c lw 3472 c lw 3473 c lw 3474 c lw 3475 c lw 3476 c lw 3477 c lw 3478 c lw 3479 c lw 3480 c lw 3481 c lw 3482 c lw 3483 c lw 3484 c lw 3485 c lw 3486 c lw 3487 c lw 3488 c lw 3489 c lw 3490 c lw 3491 c lw 3492 c lw 3493 c lw 3494 c lw 3495 c lw 3496 c lw 3497 c lw 3498 c lw 3499 c lw 3500 c lw 3501 c lw 3502 c lw 3503 c lw 3504 c lw 3505 c lw 3506 c lw 3507 c lw 3508 c lw 3509 c lw 3510 c lw 3511 c lw 3512 c lw 3513 c lw 3514 c lw 3515 c lw 3516 c lw 3517 c lw 3518 c lw 3519 c lw 3520 c lw 3521 c lw 3522 c lw 3523 c lw 3524 c lw 3525 c lw 3526 c lw 3527 c lw 3528 c lw 3529 c lw 3530 c lw 3531 c lw 3532 c lw 3533 c lw 3534 c lw 3535 c lw 3536 c lw 3537 c lw 3538 c lw 3539 c lw 3540 c lw 3541 c lw 3542 c lw 3543 c lw 3544 c lw 3545 c lw 3546 c lw 3547