c Treengeling Cube and Conquer SAT Solver
c 
c Version aqw 27d9fd46b7165001d2b9810598c94c5acf3cda9d
c 
c Copyright (C) 2010-2013 Armin Biere JKU Linz Austria.
c All rights reserved.
c 
c released Mon Apr 29 23:59:51 CEST 2013
c compiled Fri Feb 14 10:43:23 GMT 2014
c 
c gcc (GCC) 4.4.7 20120313 (Red Hat 4.4.7-3)
c -Wall -O3 -DNDBLSCR -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLPICOSAT
c Linux atlas04.csc.liv.ac.uk 2.6.32-431.1.2.el6.x86_64 x86_64
c 
c verbose level 0
c will NOT print statistics for each solver instance
c will print satisfying assignment
c 
c splitting small nodes first (no '-b' option)
c asymmetric splitting ('--asymmetric')
c full search/simplification round interval 10
c 
c 'sysconf' reports 4 processors online
c found 4 unique core ids in '/proc/cpuinfo'
c found 1 unique physical ids in '/proc/cpuinfo'
c 4 cores = 4 core times 1 physical ids in '/proc/cpuinfo'
c 'sysconf' and '/proc/cpuinfo' results match
c 
c maximum 4 workers (no '-t <worker>' option)
c using one worker for additional solver instance
c maximum of 184 active nodes as specified ('-a 184')
c 
c 16315300 KB total memory according to '/proc/meminfo'
c hard memory limit of 15932 MB (no '-g' nor '-m' option)
c soft memory limit of 7966 MB
c 
c default minimum conflict limit of 1000 conflicts
c default initial conflict limit of 10000 conflicts
c default maximum conflict limit of 100000 conflicts
c 
c reading edp-sinz_d2_l1160.cnf
c found 'p cnf 11824 41885' header
c parsed 100899 literals in 41885 clauses
c cloning and starting additional solver instances
c 0.6 [0 1] 1 nodes +1 -0 (11810 - 11810 vars) limit 10000, 4 MB
c 2.6 (1 2) 2 nodes +2 -0 (3690 - 3690 vars) limit 10000, 8 MB
c 4.0 (2 4) 4 nodes +2 -0 (3663 - 3663 vars) limit 5000, 12 MB
c 6.6 (3 8) 8 nodes +4 -0 (3640 - 3647 vars) limit 2500, 21 MB
c 10.3 (4 16) 16 nodes +8 -0 (3557 - 3626 vars) limit 1250, 40 MB
c 17.6 (5 32) 32 nodes +16 -0 (3355 - 3610 vars) limit 1000, 70 MB
c 31.1 (6 64) 64 nodes +32 -0 (3325 - 3592 vars) limit 1000, 136 MB
c 55.3 (7 124) 120 nodes +60 -4 (3201 - 3570 vars) limit 1000, 249 MB
c 96.6 (8 208) 196 nodes +84 -8 (3233 - 3550 vars) limit 1000, 403 MB
c 131.8 (9 289) 266 nodes +81 -11 (2965 - 3550 vars) limit 1000, 553 MB
c 167.9 [10 354] 304 nodes +65 -27 (3101 - 3550 vars) limit 1000, 618 MB
c 200.7 (11 417) 338 nodes +62 -29 (3184 - 3550 vars) limit 1000, 710 MB
c 230.0 (12 476) 363 nodes +59 -34 (2966 - 3550 vars) limit 1000, 770 MB
c 259.3 (13 536) 391 nodes +60 -32 (2947 - 3550 vars) limit 1000, 830 MB
c 284.0 (14 584) 395 nodes +48 -44 (2383 - 3550 vars) limit 1000, 834 MB
c 313.1 (15 643) 421 nodes +59 -33 (2918 - 3550 vars) limit 1000, 895 MB
c 340.1 (16 697) 436 nodes +54 -39 (2556 - 3550 vars) limit 1000, 919 MB
c 367.0 (17 748) 446 nodes +51 -41 (2938 - 3550 vars) limit 1000, 943 MB
c 387.1 (18 780) 417 nodes +32 -61 (2793 - 3550 vars) limit 1000, 876 MB
c 403.8 (19 798) 361 nodes +18 -74 (3063 - 3550 vars) limit 2000, 770 MB
c 424.6 [20 798] 263 nodes +0 -98 (2891 - 3532 vars) limit 4000, 558 MB
c 459.6 (21 798) 158 nodes +0 -105 (2841 - 3532 vars) limit 7354, 381 MB
c 512.2 (22 826) 122 nodes +28 -64 (3042 - 3531 vars) limit 14708, 309 MB
c 592.2 (23 860) 98 nodes +34 -58 (3096 - 3507 vars) limit 29416, 291 MB
c 678.0 (24 873) 32 nodes +13 -79 (3150 - 3485 vars) limit 58832, 144 MB
c winner [3 833] satisfiable in round 24 after 873 nodes and 681.2 seconds
s SATISFIABLE
v 1 -2 -3 4 -5 6 7 -8 -9 10 -11 -12 13 -14 15 16 -17 18 19 -20 -21 22 -23
v 24 25 -26 27 28 -29 -30 31 -32 33 34 -35 -36 37 -38 -39 40 -41 42 43 -44
v 45 46 -47 -48 49 -50 51 52 -53 -54 55 -56 -57 58 -59 60 61 -62 63 64 -65
v -66 -67 -68 69 70 -71 72 73 -74 -75 76 -77 78 79 -80 -81 82 83 -84 85 -86
v 87 88 -89 -90 91 -92 -93 94 -95 96 -97 -98 99 100 -101 -102 103 -104 105
v 106 -107 108 109 -110 -111 112 -113 114 115 -116 -117 118 -119 -120 121
v -122 123 124 -125 -126 127 -128 129 130 -131 132 133 134 -135 136 -137
v -138 139 -140 141 142 -143 -144 145 -146 -147 148 -149 150 151 -152 153
v 154 -155 -156 157 -158 -159 160 -161 162 163 -164 -165 -166 167 168 169
v -170 -171 172 173 -174 175 -176 177 178 -179 180 -181 -182 -183 184 -185
v 186 187 -188 189 190 -191 -192 -193 194 195 196 -197 -198 199 -200 -201
v 202 -203 204 205 -206 207 208 -209 -210 211 -212 213 214 -215 -216 217
v -218 219 220 -221 222 -223 -224 -225 226 -227 -228 229 -230 231 232 -233
v 234 235 -236 -237 238 -239 240 241 -242 -243 244 -245 -246 247 -248 249
v 250 -251 252 253 -254 -255 256 257 -258 -259 -260 261 262 263 -264 265
v -266 267 -268 -269 270 271 -272 -273 274 -275 276 277 -278 -279 280 281
v -282 283 -284 285 286 -287 288 -289 -290 -291 292 -293 294 295 -296 -297
v 298 -299 -300 301 -302 303 304 -305 -306 307 -308 309 310 -311 312 313
v -314 -315 316 -317 318 319 -320 -321 322 323 -324 325 -326 -327 328 -329
v 330 -331 332 333 -334 335 -336 337 -338 -339 340 -341 342 343 -344 -345
v -346 347 348 -349 -350 351 352 -353 -354 355 -356 357 358 359 -360 -361
v 362 -363 364 -365 366 -367 -368 369 370 371 -372 373 -374 375 376 -377
v -378 379 -380 -381 382 -383 384 385 386 -387 -388 389 -390 391 -392 393
v 394 -395 396 -397 -398 -399 400 -401 402 403 -404 405 406 -407 -408 409
v -410 411 412 -413 -414 -415 -416 417 418 419 420 -421 422 -423 424 -425
v -426 -427 -428 429 430 431 432 -433 -434 -435 436 -437 -438 439 -440 441
v 442 -443 -444 445 -446 447 448 -449 450 451 -452 -453 454 -455 456 457
v -458 -459 460 461 -462 -463 -464 465 466 -467 -468 469 -470 471 472 -473
v 474 475 -476 -477 478 -479 -480 481 -482 483 484 485 486 -487 -488 -489
v 490 -491 492 493 -494 -495 496 -497 -498 499 -500 501 502 503 -504 505
v -506 -507 508 -509 510 511 -512 513 -514 -515 516 517 518 -519 520 -521
v -522 523 -524 -525 526 -527 528 529 -530 531 532 -533 -534 535 536 -537
v -538 -539 -540 541 -542 543 544 -545 546 -547 -548 549 550 -551 -552 553
v -554 555 556 -557 558 559 -560 -561 -562 563 564 565 -566 -567 568 569
v -570 -571 -572 573 574 -575 -576 577 578 -579 580 -581 582 583 -584 585
v 586 -587 -588 589 -590 -591 592 -593 594 595 -596 597 598 -599 600 -601
v -602 -603 604 -605 -606 607 -608 609 610 -611 612 613 -614 -615 616 617
v -618 619 -620 -621 622 -623 -624 625 -626 627 628 -629 630 631 -632 -633
v 634 -635 -636 637 -638 639 640 641 642 -643 -644 -645 -646 647 648 649
v -650 -651 652 -653 654 655 -656 -657 658 659 -660 -661 662 663 -664 -665
v -666 667 668 669 -670 -671 672 -673 -674 675 676 677 678 -679 -680 -681
v 682 683 -684 685 -686 -687 688 -689 690 -691 692 693 -694 -695 -696 697
v 698 699 700 -701 -702 703 -704 -705 706 -707 708 709 -710 -711 712 -713
v -714 715 -716 717 -718 719 720 721 722 -723 -724 -725 726 -727 -728 729
v 730 -731 -732 733 734 735 736 -737 -738 739 -740 -741 -742 743 744 -745
v -746 747 748 749 -750 -751 -752 753 754 755 756 -757 758 -759 760 -761
v -762 763 -764 -765 766 -767 -768 769 -770 771 -772 773 774 775 776 -777
v -778 -779 780 781 -782 -783 784 -785 786 787 -788 -789 790 -791 -792 793
v -794 795 796 -797 798 799 -800 801 802 -803 -804 805 -806 807 808 -809
v -810 -811 -812 813 814 -815 816 817 -818 -819 820 821 -822 -823 -824 825
v 826 827 828 -829 830 -831 832 -833 -834 -835 -836 837 -838 839 -840 841
v 842 843 -844 -845 846 847 -848 -849 850 -851 852 853 854 -855 856 -857
v -858 -859 -860 861 862 863 -864 865 -866 -867 868 -869 870 871 -872 873
v 874 -875 876 -877 -878 -879 880 881 -882 883 -884 -885 -886 887 888 889
v -890 -891 892 -893 894 895 -896 897 898 -899 -900 901 -902 -903 904 905
v -906 -907 -908 909 910 -911 -912 913 914 915 916 -917 918 -919 -920 921
v -922 -923 924 925 926 -927 928 -929 -930 931 -932 933 934 -935 936 -937
v -938 -939 940 -941 -942 943 -944 945 946 -947 -948 949 -950 951 952 953
v 954 -955 -956 -957 958 -959 960 961 -962 -963 964 965 -966 -967 -968 969
v -970 971 -972 973 974 -975 976 -977 978 979 -980 -981 982 -983 -984 985
v -986 987 988 -989 990 991 -992 993 -994 -995 996 997 -998 -999 1000 -1001
v -1002 1003 -1004 1005 1006 -1007 1008 1009 -1010 -1011 1012 -1013 1014
v 1015 -1016 -1017 -1018 1019 -1020 1021 1022 1023 1024 -1025 -1026 1027
v 1028 -1029 1030 -1031 -1032 1033 -1034 1035 -1036 -1037 1038 1039 -1040
v -1041 1042 -1043 1044 1045 -1046 -1047 1048 -1049 1050 -1051 -1052 1053
v 1054 -1055 -1056 1057 -1058 1059 1060 1061 -1062 1063 -1064 -1065 1066
v -1067 1068 1069 -1070 -1071 -1072 1073 1074 1075 1076 -1077 1078 -1079
v 1080 -1081 -1082 1083 1084 -1085 -1086 -1087 -1088 1089 1090 1091 -1092
v 1093 -1094 -1095 1096 -1097 -1098 1099 -1100 1101 1102 -1103 1104 1105
v -1106 1107 1108 -1109 -1110 -1111 1112 1113 1114 -1115 -1116 -1117 -1118
v 1119 1120 1121 1122 -1123 -1124 -1125 1126 1127 -1128 1129 -1130 -1131
v 1132 -1133 1134 1135 -1136 -1137 1138 1139 1140 -1141 -1142 1143 1144
v -1145 -1146 1147 -1148 1149 1150 -1151 -1152 1153 -1154 -1155 1156 -1157
v 1158 -1159 -1160 1161 1162 -1163 -1164 1165 -1166 -1167 1168 -1169 1170
v 1171 -1172 -1173 1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182
v 1183 -1184 -1185 1186 -1187 1188 1189 -1190 -1191 1192 -1193 -1194 1195
v -1196 1197 1198 -1199 1200 1201 1202 1203 1204 -1205 1206 1207 -1208 1209
v 1210 1211 1212 1213 -1214 1215 1216 -1217 -1218 1219 -1220 -1221 1222
v -1223 1224 1225 -1226 1227 1228 1229 1230 1231 -1232 1233 1234 -1235 1236
v 1237 1238 1239 1240 -1241 1242 1243 -1244 -1245 1246 -1247 -1248 1249
v -1250 1251 1252 -1253 1254 1255 1256 1257 1258 -1259 -1260 -1261 -1262
v -1263 1264 -1265 -1266 1267 -1268 1269 1270 -1271 -1272 1273 -1274 -1275
v 1276 -1277 1278 1279 -1280 -1281 1282 -1283 1284 1285 -1286 1287 1288
v -1289 1290 1291 1292 1293 1294 -1295 1296 1297 -1298 -1299 1300 -1301
v -1302 1303 -1304 -1305 -1306 -1307 -1308 1309 -1310 -1311 -1312 -1313
v -1314 -1315 -1316 -1317 1318 -1319 -1320 1321 -1322 1323 1324 -1325 -1326
v 1327 -1328 -1329 1330 -1331 1332 1333 -1334 -1335 1336 -1337 -1338 -1339
v -1340 -1341 -1342 -1343 -1344 1345 -1346 -1347 -1348 -1349 -1350 -1351
v -1352 -1353 1354 -1355 -1356 1357 -1358 1359 1360 1361 1362 1363 1364
v 1365 1366 -1367 1368 1369 -1370 1371 1372 1373 1374 1375 -1376 1377 1378
v -1379 -1380 1381 -1382 -1383 1384 -1385 1386 1387 -1388 1389 1390 1391
v 1392 1393 -1394 1395 1396 -1397 -1398 1399 -1400 -1401 1402 -1403 1404
v 1405 -1406 -1407 -1408 -1409 -1410 1411 -1412 1413 1414 -1415 -1416 1417
v -1418 1419 1420 -1421 1422 1423 -1424 1425 1426 1427 1428 1429 1430 1431
v 1432 -1433 -1434 1435 -1436 -1437 1438 -1439 1440 1441 -1442 1443 1444
v 1445 1446 1447 -1448 -1449 1450 -1451 1452 1453 1454 1455 1456 -1457 1458
v 1459 -1460 -1461 1462 -1463 -1464 1465 -1466 1467 1468 -1469 1470 1471
v 1472 1473 1474 -1475 1476 1477 -1478 1479 1480 1481 1482 1483 -1484 1485
v 1486 -1487 1488 1489 1490 1491 1492 1493 1494 1495 -1496 -1497 1498 -1499
v -1500 -1501 -1502 -1503 -1504 -1505 -1506 1507 -1508 -1509 1510 -1511
v 1512 1513 -1514 -1515 1516 -1517 -1518 1519 -1520 1521 1522 -1523 -1524
v 1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 1534 -1535 -1536
v 1537 -1538 1539 1540 -1541 -1542 1543 -1544 1545 1546 -1547 -1548 -1549
v -1550 -1551 1552 -1553 1554 1555 -1556 1557 1558 -1559 1560 1561 -1562
v -1563 1564 -1565 1566 1567 -1568 -1569 1570 -1571 -1572 1573 -1574 1575
v 1576 -1577 -1578 1579 -1580 1581 1582 -1583 1584 1585 -1586 1587 1588
v 1589 1590 1591 1592 1593 1594 -1595 -1596 1597 -1598 -1599 1600 -1601
v 1602 1603 -1604 -1605 1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613
v -1614 1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 1624 -1625
v -1626 1627 -1628 1629 1630 -1631 -1632 1633 -1634 -1635 1636 -1637 1638
v 1639 -1640 -1641 1642 -1643 1644 1645 -1646 1647 1648 -1649 -1650 1651
v -1652 -1653 1654 -1655 -1656 1657 -1658 1659 1660 -1661 1662 1663 -1664
v 1665 1666 -1667 -1668 1669 -1670 -1671 1672 -1673 1674 1675 -1676 -1677
v -1678 -1679 -1680 1681 -1682 -1683 -1684 -1685 -1686 1687 -1688 -1689
v -1690 -1691 -1692 -1693 -1694 -1695 1696 -1697 1698 1699 -1700 -1701 1702
v -1703 -1704 1705 -1706 -1707 1708 -1709 -1710 -1711 -1712 -1713 1714
v -1715 1716 1717 -1718 1719 1720 -1721 1722 1723 1724 1725 1726 -1727 1728
v 1729 -1730 -1731 1732 -1733 -1734 1735 -1736 1737 1738 1739 1740 1741
v -1742 1743 1744 -1745 1746 1747 -1748 1749 1750 1751 1752 1753 1754 1755
v 1756 -1757 -1758 1759 -1760 -1761 1762 -1763 1764 1765 -1766 1767 1768
v 1769 1770 1771 -1772 1773 1774 -1775 1776 1777 1778 1779 1780 -1781 -1782
v -1783 -1784 -1785 1786 -1787 1788 1789 1790 1791 1792 1793 1794 1795 1796
v 1797 1798 -1799 -1800 -1801 -1802 -1803 1804 -1805 1806 1807 1808 1809
v 1810 -1811 -1812 1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821
v 1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 1831 -1832 -1833
v 1834 -1835 1836 1837 -1838 -1839 1840 -1841 -1842 1843 -1844 1845 1846
v -1847 -1848 1849 -1850 1851 1852 -1853 -1854 -1855 -1856 -1857 1858 -1859
v -1860 -1861 -1862 -1863 -1864 -1865 -1866 1867 -1868 -1869 1870 -1871
v 1872 1873 -1874 -1875 1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883
v -1884 1885 -1886 1887 1888 1889 1890 1891 -1892 -1893 1894 -1895 -1896
v 1897 -1898 1899 1900 -1901 -1902 1903 -1904 -1905 -1906 -1907 -1908 -1909
v -1910 -1911 1912 -1913 1914 1915 -1916 1917 1918 -1919 -1920 1921 -1922
v -1923 1924 -1925 1926 1927 -1928 1929 1930 -1931 -1932 1933 -1934 1935
v 1936 1937 1938 1939 1940 1941 1942 -1943 1944 1945 -1946 -1947 1948 -1949
v -1950 1951 -1952 1953 1954 -1955 1956 1957 1958 1959 1960 -1961 1962 1963
v 1964 1965 1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 1975 -1976
v -1977 1978 -1979 -1980 -1981 -1982 -1983 1984 -1985 -1986 -1987 -1988
v -1989 -1990 -1991 -1992 1993 -1994 -1995 1996 -1997 1998 1999 -2000 -2001
v -2002 -2003 -2004 2005 -2006 2007 2008 -2009 -2010 2011 -2012 2013 2014
v -2015 -2016 -2017 -2018 -2019 2020 -2021 -2022 -2023 -2024 -2025 2026
v -2027 -2028 2029 -2030 -2031 2032 -2033 2034 2035 -2036 2037 2038 2039
v 2040 2041 -2042 2043 2044 -2045 -2046 2047 -2048 -2049 2050 -2051 2052
v 2053 -2054 2055 2056 2057 2058 2059 2060 2061 2062 -2063 -2064 2065 -2066
v -2067 -2068 -2069 -2070 -2071 -2072 -2073 2074 -2075 -2076 2077 -2078
v 2079 2080 -2081 -2082 2083 -2084 2085 2086 -2087 2088 2089 -2090 -2091
v 2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 2101 -2102 -2103
v 2104 -2105 2106 2107 -2108 -2109 2110 -2111 -2112 -2113 -2114 -2115 -2116
v -2117 -2118 2119 -2120 2121 2122 2123 2124 2125 -2126 -2127 -2128 -2129
v -2130 2131 -2132 2133 2134 -2135 -2136 2137 -2138 -2139 2140 -2141 2142
v 2143 -2144 -2145 2146 -2147 2148 2149 -2150 -2151 2152 -2153 2154 2155
v -2156 -2157 -2158 -2159 -2160 2161 -2162 2163 2164 -2165 -2166 2167 -2168
v -2169 -2170 -2171 -2172 2173 -2174 2175 2176 2177 2178 2179 -2180 -2181
v 2182 -2183 2184 2185 -2186 2187 2188 -2189 -2190 2191 -2192 -2193 2194
v -2195 -2196 2197 -2198 2199 2200 -2201 -2202 -2203 -2204 -2205 2206 -2207
v 2208 2209 2210 2211 2212 -2213 2214 2215 -2216 -2217 2218 -2219 -2220
v 2221 -2222 2223 2224 -2225 -2226 2227 -2228 -2229 -2230 -2231 -2232 -2233
v -2234 -2235 -2236 -2237 -2238 2239 -2240 2241 2242 2243 2244 2245 -2246
v -2247 2248 -2249 -2250 -2251 -2252 -2253 2254 -2255 -2256 -2257 -2258
v -2259 2260 -2261 2262 2263 2264 2265 2266 -2267 2268 2269 -2270 -2271
v -2272 -2273 -2274 2275 -2276 -2277 -2278 -2279 -2280 2281 -2282 2283 2284
v -2285 -2286 -2287 -2288 -2289 2290 -2291 2292 2293 2294 2295 2296 2297
v 2298 2299 2300 2301 2302 -2303 2304 2305 -2306 -2307 2308 -2309 -2310
v -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 2320 -2321 2322
v 2323 2324 2325 2326 -2327 -2328 2329 -2330 2331 2332 -2333 -2334 2335
v -2336 -2337 2338 -2339 2340 2341 -2342 -2343 2344 -2345 -2346 -2347 -2348
v -2349 -2350 -2351 -2352 2353 -2354 -2355 2356 -2357 2358 2359 -2360 2361
v 2362 2363 2364 2365 -2366 2367 2368 -2369 2370 2371 2372 2373 2374 -2375
v -2376 -2377 -2378 -2379 2380 -2381 -2382 2383 -2384 2385 2386 -2387 -2388
v 2389 -2390 2391 2392 -2393 -2394 -2395 -2396 -2397 2398 -2399 2400 2401
v 2402 2403 2404 2405 2406 2407 2408 2409 2410 -2411 -2412 -2413 -2414
v -2415 -2416 -2417 -2418 -2419 -2420 -2421 2422 -2423 2424 2425 -2426
v -2427 2428 -2429 2430 2431 -2432 -2433 2434 -2435 -2436 2437 -2438 2439
v 2440 2441 2442 2443 2444 2445 2446 -2447 -2448 -2449 -2450 -2451 2452
v -2453 2454 2455 -2456 2457 2458 -2459 -2460 2461 -2462 -2463 2464 -2465
v 2466 2467 -2468 2469 2470 2471 2472 2473 2474 2475 2476 -2477 -2478 2479
v -2480 2481 2482 -2483 2484 2485 -2486 -2487 -2488 -2489 -2490 2491 -2492
v 2493 2494 -2495 -2496 2497 -2498 -2499 2500 -2501 2502 2503 -2504 2505
v 2506 2507 2508 2509 -2510 2511 2512 -2513 -2514 2515 -2516 2517 2518
v -2519 -2520 -2521 -2522 -2523 2524 -2525 -2526 -2527 -2528 -2529 2530
v -2531 2532 2533 2534 2535 2536 2537 2538 2539 -2540 2541 2542 -2543 -2544
v 2545 -2546 2547 2548 2549 2550 2551 2552 2553 2554 -2555 2556 2557 -2558
v 2559 2560 2561 2562 2563 2564 2565 2566 -2567 -2568 2569 -2570 -2571
v -2572 -2573 -2574 -2575 -2576 -2577 2578 -2579 -2580 -2581 -2582 -2583
v -2584 -2585 -2586 2587 -2588 2589 2590 2591 2592 2593 -2594 -2595 2596
v -2597 -2598 2599 -2600 2601 2602 -2603 -2604 2605 -2606 2607 2608 -2609
v -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 2620 -2621
v -2622 2623 -2624 -2625 2626 -2627 2628 2629 -2630 -2631 2632 -2633 -2634
v -2635 -2636 -2637 -2638 -2639 -2640 2641 -2642 -2643 2644 -2645 2646 2647
v -2648 2649 2650 -2651 -2652 2653 -2654 2655 2656 -2657 -2658 2659 -2660
v -2661 -2662 -2663 -2664 -2665 -2666 -2667 2668 -2669 -2670 2671 -2672
v 2673 2674 -2675 -2676 2677 -2678 -2679 2680 -2681 2682 2683 -2684 -2685
v -2686 -2687 -2688 -2689 -2690 -2691 2692 -2693 2694 2695 2696 2697 2698
v -2699 2700 2701 2702 2703 2704 2705 2706 2707 -2708 2709 2710 -2711 2712
v 2713 -2714 -2715 2716 -2717 2718 2719 -2720 -2721 2722 -2723 -2724 2725
v -2726 2727 2728 -2729 -2730 2731 -2732 -2733 2734 -2735 -2736 -2737 -2738
v -2739 2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 2749 -2750
v 2751 2752 -2753 2754 2755 -2756 -2757 2758 -2759 -2760 2761 -2762 2763
v 2764 -2765 -2766 -2767 -2768 -2769 2770 -2771 2772 2773 2774 2775 2776
v 2777 2778 2779 2780 2781 2782 -2783 2784 2785 2786 2787 2788 -2789 -2790
v -2791 -2792 -2793 2794 -2795 2796 2797 -2798 2799 2800 -2801 -2802 2803
v -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 2812 -2813 -2814 2815
v -2816 2817 2818 -2819 2820 2821 2822 2823 2824 -2825 -2826 2827 -2828
v 2829 2830 2831 2832 2833 -2834 -2835 -2836 -2837 -2838 2839 -2840 2841
v 2842 2843 2844 2845 -2846 -2847 2848 -2849 2850 2851 -2852 2853 2854
v -2855 -2856 2857 -2858 -2859 2860 -2861 2862 2863 -2864 -2865 2866 -2867
v 2868 2869 2870 2871 2872 -2873 2874 2875 2876 2877 2878 -2879 2880 2881
v -2882 2883 2884 2885 2886 2887 -2888 2889 2890 -2891 -2892 2893 -2894
v -2895 2896 -2897 -2898 -2899 2900 -2901 2902 2903 -2904 2905 2906 -2907
v -2908 2909 -2910 2911 2912 -2913 2914 2915 2916 2917 2918 2919 2920 2921
v -2922 2923 2924 -2925 -2926 2927 -2928 2929 2930 -2931 2932 2933 -2934
v -2935 2936 -2937 -2938 -2939 -2940 -2941 2942 -2943 -2944 2945 -2946
v -2947 -2948 -2949 -2950 2951 -2952 -2953 2954 -2955 2956 2957 -2958 2959
v 2960 -2961 -2962 2963 -2964 -2965 -2966 -2967 -2968 2969 -2970 -2971 2972
v -2973 -2974 -2975 -2976 -2977 2978 -2979 -2980 2981 -2982 2983 2984 -2985
v 2986 2987 -2988 -2989 2990 -2991 -2992 -2993 -2994 -2995 2996 -2997 2998
v 2999 3000 3001 3002 -3003 3004 3005 -3006 -3007 3008 -3009 3010 3011
v -3012 3013 3014 -3015 -3016 3017 -3018 3019 3020 -3021 -3022 3023 -3024
v -3025 3026 -3027 -3028 -3029 -3030 -3031 3032 -3033 -3034 3035 -3036 3037
v 3038 -3039 3040 3041 -3042 3043 3044 3045 3046 3047 -3048 3049 3050 3051
v 3052 3053 3054 3055 3056 -3057 3058 3059 -3060 -3061 3062 -3063 3064 3065
v -3066 3067 3068 -3069 -3070 3071 -3072 3073 3074 -3075 3076 3077 3078
v 3079 3080 3081 3082 3083 -3084 3085 3086 3087 3088 3089 3090 3091 3092
v -3093 3094 3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 3104
v -3105 -3106 3107 -3108 -3109 -3110 -3111 -3112 3113 -3114 -3115 3116
v -3117 3118 3119 -3120 3121 3122 -3123 -3124 3125 -3126 -3127 -3128 -3129
v -3130 3131 -3132 -3133 3134 -3135 3136 3137 -3138 3139 3140 -3141 -3142
v 3143 -3144 3145 3146 3147 3148 3149 -3150 -3151 3152 -3153 3154 3155
v -3156 -3157 3158 -3159 -3160 3161 -3162 -3163 -3164 -3165 -3166 -3167
v -3168 -3169 3170 -3171 3172 3173 -3174 3175 3176 -3177 -3178 3179 -3180
v -3181 -3182 -3183 -3184 3185 -3186 3187 3188 -3189 -3190 -3191 -3192
v -3193 3194 -3195 -3196 3197 -3198 3199 3200 -3201 3202 3203 -3204 -3205
v 3206 -3207 -3208 -3209 -3210 -3211 3212 -3213 3214 3215 3216 3217 3218
v -3219 3220 3221 3222 3223 3224 3225 3226 3227 -3228 3229 3230 -3231 -3232
v 3233 -3234 3235 3236 -3237 3238 3239 3240 3241 3242 3243 3244 3245 -3246
v 3247 3248 -3249 -3250 3251 -3252 3253 3254 -3255 3256 3257 -3258 -3259
v 3260 -3261 3262 3263 -3264 3265 3266 3267 3268 3269 3270 3271 3272 -3273
v 3274 3275 -3276 -3277 3278 -3279 3280 3281 -3282 -3283 3284 -3285 3286
v 3287 3288 3289 3290 -3291 3292 3293 3294 3295 3296 3297 3298 3299 3300
v 3301 3302 -3303 -3304 3305 -3306 3307 3308 -3309 3310 3311 -3312 -3313
v 3314 -3315 3316 3317 -3318 -3319 3320 -3321 -3322 3323 -3324 -3325 -3326
v -3327 -3328 -3329 -3330 -3331 3332 -3333 3334 3335 -3336 3337 3338 -3339
v -3340 3341 -3342 3343 3344 -3345 3346 3347 3348 3349 3350 3351 3352 3353
v -3354 3355 3356 3357 3358 3359 3360 3361 3362 -3363 3364 3365 -3366 -3367
v 3368 -3369 3370 3371 -3372 3373 3374 -3375 -3376 3377 -3378 3379 3380
v -3381 -3382 3383 -3384 -3385 3386 -3387 3388 3389 -3390 3391 3392 -3393
v 3394 3395 -3396 -3397 3398 -3399 -3400 3401 -3402 -3403 3404 -3405 3406
v 3407 -3408 3409 3410 -3411 -3412 3413 -3414 3415 3416 3417 3418 3419
v -3420 3421 3422 3423 3424 3425 -3426 3427 3428 3429 3430 3431 3432 3433
v 3434 -3435 -3436 3437 -3438 3439 3440 -3441 3442 3443 -3444 3445 3446
v -3447 3448 3449 3450 3451 3452 -3453 -3454 3455 -3456 -3457 3458 -3459
v -3460 -3461 -3462 -3463 3464 -3465 3466 3467 3468 3469 3470 -3471 3472
v 3473 -3474 -3475 -3476 -3477 -3478 3479 -3480 -3481 3482 -3483 -3484 3485
v -3486 3487 3488 -3489 3490 3491 -3492 -3493 3494 -3495 3496 3497 -3498
v 3499 3500 -3501 -3502 3503 -3504 -3505 -3506 -3507 -3508 3509 -3510 -3511
v 3512 -3513 -3514 -3515 -3516 -3517 3518 -3519 3520 3521 3522 3523 3524
v -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 3536
v -3537 3538 3539 3540 3541 3542 -3543 3544 3545 -3546 -3547 3548 -3549
v 3550 3551 -3552 3553 3554 3555 3556 3557 3558 3559 3560 -3561 -3562 3563
v -3564 -3565 3566 -3567 3568 3569 -3570 3571 3572 -3573 -3574 3575 -3576
v -3577 -3578 -3579 -3580 -3581 -3582 -3583 3584 -3585 3586 3587 -3588
v -3589 3590 -3591 3592 3593 3594 3595 3596 -3597 3598 3599 3600 3601 3602
v 3603 3604 3605 -3606 3607 3608 -3609 -3610 3611 -3612 3613 3614 -3615
v 3616 3617 3618 3619 3620 3621 3622 3623 -3624 -3625 -3626 -3627 -3628
v 3629 -3630 3631 3632 -3633 3634 3635 -3636 -3637 3638 -3639 3640 3641
v -3642 -3643 3644 -3645 -3646 3647 -3648 -3649 -3650 -3651 -3652 3653
v -3654 -3655 3656 -3657 3658 3659 -3660 -3661 -3662 -3663 -3664 3665 -3666
v -3667 3668 -3669 3670 3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678
v -3679 3680 -3681 -3682 3683 -3684 3685 3686 -3687 3688 3689 -3690 -3691
v 3692 -3693 -3694 -3695 -3696 -3697 3698 -3699 -3700 -3701 -3702 -3703
v 3704 -3705 3706 3707 3708 3709 3710 3711 3712 3713 -3714 3715 3716 -3717
v -3718 3719 -3720 -3721 -3722 -3723 -3724 3725 -3726 -3727 3728 -3729
v -3730 3731 -3732 3733 3734 -3735 -3736 3737 -3738 3739 3740 -3741 3742
v 3743 -3744 -3745 3746 -3747 3748 3749 -3750 3751 3752 3753 3754 3755 3756
v 3757 3758 -3759 3760 3761 -3762 -3763 3764 -3765 3766 -3767 3768 -3769
v -3770 -3771 -3772 -3773 3774 -3775 -3776 3777 -3778 3779 3780 -3781 3782
v 3783 -3784 -3785 3786 -3787 3788 3789 -3790 3791 3792 -3793 -3794 3795
v -3796 3797 3798 -3799 3800 3801 3802 3803 3804 3805 3806 3807 -3808 3809
v 3810 -3811 -3812 3813 -3814 3815 3816 -3817 3818 3819 3820 3821 3822 3823
v 3824 3825 -3826 3827 3828 -3829 3830 3831 3832 3833 3834 -3835 3836 3837
v -3838 -3839 3840 -3841 3842 3843 -3844 -3845 3846 -3847 -3848 3849 -3850
v -3851 -3852 -3853 -3854 3855 -3856 -3857 3858 -3859 3860 3861 -3862 3863
v 3864 -3865 -3866 3867 -3868 3869 3870 -3871 3872 3873 -3874 3875 3876
v 3877 3878 3879 -3880 3881 3882 3883 3884 3885 3886 3887 3888 -3889 3890
v 3891 3892 3893 3894 -3895 3896 3897 -3898 3899 3900 3901 3902 3903 3904
v 3905 3906 -3907 3908 3909 3910 3911 3912 3913 3914 3915 -3916 3917 3918
v -3919 3920 3921 3922 3923 3924 3925 3926 3927 -3928 -3929 3930 -3931 3932
v 3933 -3934 -3935 3936 -3937 -3938 3939 -3940 3941 3942 -3943 3944 3945
v -3946 -3947 3948 -3949 3950 3951 -3952 3953 3954 -3955 -3956 3957 -3958
v -3959 -3960 -3961 -3962 3963 -3964 -3965 3966 -3967 3968 3969 -3970 3971
v 3972 -3973 3974 3975 3976 3977 3978 -3979 3980 3981 3982 3983 3984 -3985
v 3986 3987 -3988 3989 3990 3991 3992 3993 3994 3995 3996 -3997 3998 3999
v -4000 4001 4002 4003 4004 4005 -4006 4007 4008 4009 4010 4011 4012 4013
v 4014 -4015 4016 4017 -4018 -4019 4020 -4021 4022 4023 4024 4025 4026
v -4027 -4028 4029 -4030 4031 4032 -4033 -4034 -4035 -4036 -4037 4038 -4039
v 4040 4041 -4042 4043 4044 4045 4046 4047 4048 4049 4050 -4051 4052 4053
v -4054 -4055 4056 -4057 4058 4059 -4060 -4061 4062 -4063 4064 4065 4066
v 4067 4068 -4069 4070 4071 4072 4073 4074 -4075 -4076 -4077 -4078 -4079
v 4080 -4081 -4082 -4083 -4084 -4085 4086 -4087 -4088 4089 -4090 -4091 4092
v -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 4101 -4102 4103 4104 4105
v 4106 4107 -4108 -4109 4110 -4111 4112 4113 -4114 4115 4116 -4117 -4118
v 4119 -4120 -4121 -4122 -4123 -4124 4125 -4126 -4127 4128 -4129 4130 4131
v -4132 4133 4134 -4135 -4136 4137 -4138 4139 4140 -4141 4142 4143 4144
v 4145 4146 -4147 -4148 -4149 -4150 -4151 4152 -4153 -4154 4155 -4156 -4157
v 4158 -4159 -4160 -4161 -4162 -4163 4164 -4165 4166 4167 -4168 4169 4170
v -4171 4172 4173 4174 4175 4176 -4177 4178 4179 4180 4181 4182 -4183 4184
v 4185 -4186 4187 4188 4189 4190 4191 4192 4193 4194 -4195 4196 4197 -4198
v -4199 4200 -4201 4202 4203 4204 4205 4206 -4207 -4208 4209 -4210 -4211
v 4212 -4213 4214 4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 4224
v -4225 4226 4227 4228 4229 4230 -4231 4232 4233 4234 4235 4236 -4237 4238
v 4239 -4240 4241 4242 4243 4244 4245 4246 4247 4248 -4249 4250 4251 -4252
v -4253 4254 -4255 -4256 -4257 -4258 -4259 4260 -4261 4262 4263 4264 4265
v 4266 -4267 4268 4269 4270 4271 4272 4273 4274 4275 -4276 4277 4278 -4279
v -4280 -4281 -4282 -4283 4284 -4285 -4286 4287 -4288 -4289 4290 -4291 4292
v 4293 -4294 4295 4296 -4297 -4298 4299 -4300 -4301 4302 -4303 -4304 4305
v -4306 4307 4308 -4309 4310 4311 -4312 -4313 -4314 -4315 -4316 4317 -4318
v 4319 4320 -4321 4322 4323 -4324 4325 4326 4327 4328 4329 -4330 -4331 4332
v -4333 -4334 4335 -4336 4337 4338 -4339 4340 4341 -4342 -4343 4344 4345
v -4346 -4347 4348 -4349 -4350 4351 -4352 4353 4354 -4355 -4356 4357 -4358
v -4359 -4360 -4361 -4362 -4363 -4364 -4365 4366 -4367 -4368 4369 -4370
v 4371 4372 -4373 -4374 4375 -4376 -4377 4378 -4379 4380 4381 -4382 4383
v 4384 4385 4386 4387 -4388 4389 4390 -4391 4392 4393 4394 4395 4396 -4397
v 4398 4399 -4400 -4401 4402 -4403 -4404 4405 -4406 4407 4408 -4409 4410
v 4411 4412 4413 4414 -4415 4416 4417 -4418 4419 4420 4421 4422 4423 -4424
v 4425 4426 -4427 -4428 4429 -4430 -4431 4432 -4433 4434 4435 -4436 4437
v 4438 4439 4440 4441 -4442 -4443 -4444 -4445 -4446 4447 -4448 -4449 4450
v -4451 4452 4453 -4454 -4455 4456 -4457 -4458 4459 -4460 4461 4462 -4463
v -4464 4465 -4466 4467 4468 -4469 4470 4471 -4472 4473 4474 4475 4476 4477
v -4478 4479 4480 -4481 -4482 4483 -4484 -4485 4486 -4487 -4488 -4489 -4490
v -4491 4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 4501 -4502
v -4503 4504 -4505 4506 4507 -4508 -4509 4510 -4511 -4512 4513 -4514 4515
v 4516 -4517 -4518 4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527
v 4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 4537 -4538 -4539
v 4540 -4541 4542 4543 4544 4545 4546 4547 4548 4549 -4550 4551 4552 -4553
v 4554 4555 4556 4557 4558 -4559 4560 4561 -4562 -4563 4564 -4565 -4566
v 4567 -4568 4569 4570 -4571 4572 4573 4574 4575 4576 -4577 4578 4579 -4580
v -4581 4582 -4583 -4584 4585 -4586 4587 4588 -4589 -4590 -4591 -4592 -4593
v 4594 -4595 4596 4597 -4598 -4599 4600 -4601 4602 4603 -4604 4605 4606
v -4607 4608 4609 4610 4611 4612 4613 4614 4615 -4616 -4617 4618 -4619
v -4620 4621 -4622 4623 4624 -4625 4626 4627 4628 4629 4630 -4631 -4632
v 4633 -4634 4635 4636 4637 4638 4639 -4640 4641 4642 -4643 -4644 4645
v -4646 -4647 4648 -4649 4650 4651 -4652 4653 4654 4655 4656 4657 -4658
v -4659 -4660 -4661 -4662 4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670
v -4671 4672 -4673 -4674 4675 -4676 4677 4678 -4679 -4680 4681 -4682 -4683
v -4684 -4685 -4686 -4687 -4688 -4689 4690 -4691 -4692 4693 -4694 4695 4696
v -4697 -4698 4699 -4700 -4701 4702 -4703 4704 4705 -4706 -4707 4708 -4709
v -4710 -4711 -4712 -4713 -4714 -4715 -4716 4717 -4718 -4719 4720 -4721
v 4722 4723 -4724 -4725 4726 -4727 4728 4729 -4730 -4731 -4732 -4733 -4734
v 4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746
v 4747 -4748 4749 4750 -4751 -4752 4753 -4754 -4755 4756 -4757 4758 4759
v 4760 4761 4762 4763 4764 4765 -4766 4767 4768 -4769 4770 4771 4772 4773
v 4774 -4775 4776 -4777 4778 -4779 4780 4781 -4782 4783 4784 -4785 -4786
v 4787 -4788 4789 4790 -4791 4792 4793 4794 4795 4796 4797 4798 4799 -4800
v 4801 4802 -4803 -4804 4805 -4806 4807 4808 -4809 4810 4811 -4812 -4813
v 4814 -4815 -4816 -4817 -4818 -4819 4820 -4821 -4822 4823 -4824 -4825
v -4826 -4827 -4828 4829 -4830 -4831 4832 -4833 4834 4835 -4836 4837 4838
v -4839 -4840 4841 -4842 -4843 -4844 -4845 -4846 4847 -4848 -4849 4850
v -4851 -4852 -4853 -4854 -4855 4856 -4857 -4858 4859 -4860 4861 4862 -4863
v 4864 4865 -4866 -4867 4868 -4869 -4870 -4871 -4872 -4873 4874 -4875 4876
v 4877 4878 4879 4880 -4881 4882 4883 -4884 -4885 4886 -4887 4888 4889
v -4890 4891 4892 -4893 -4894 4895 -4896 4897 4898 -4899 -4900 4901 -4902
v -4903 4904 -4905 -4906 -4907 -4908 -4909 4910 -4911 -4912 4913 -4914 4915
v 4916 -4917 4918 4919 -4920 4921 4922 4923 4924 4925 -4926 4927 4928 4929
v 4930 4931 4932 4933 4934 -4935 4936 4937 -4938 -4939 4940 -4941 4942 4943
v -4944 4945 4946 -4947 -4948 4949 -4950 4951 4952 -4953 4954 4955 4956
v 4957 4958 4959 4960 4961 -4962 4963 4964 4965 4966 4967 4968 4969 4970
v -4971 4972 4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 4982
v -4983 -4984 4985 -4986 -4987 -4988 -4989 -4990 4991 -4992 -4993 4994
v -4995 4996 4997 -4998 -4999 -5000 -5001 -5002 5003 -5004 -5005 -5006
v -5007 -5008 5009 -5010 -5011 5012 -5013 5014 5015 -5016 5017 5018 -5019
v -5020 5021 -5022 5023 5024 5025 5026 5027 -5028 -5029 5030 -5031 -5032
v -5033 -5034 -5035 5036 -5037 -5038 5039 -5040 -5041 -5042 -5043 -5044
v -5045 -5046 -5047 5048 -5049 5050 5051 -5052 5053 5054 -5055 -5056 5057
v -5058 5059 5060 -5061 -5062 5063 -5064 5065 5066 -5067 -5068 -5069 -5070
v -5071 5072 -5073 -5074 5075 -5076 5077 5078 -5079 5080 5081 -5082 -5083
v 5084 -5085 5086 5087 -5088 5089 5090 5091 5092 5093 5094 5095 5096 -5097
v 5098 5099 5100 5101 5102 5103 5104 5105 -5106 5107 5108 -5109 -5110 5111
v -5112 -5113 -5114 -5115 -5116 5117 -5118 -5119 5120 -5121 -5122 5123 5124
v -5125 5126 5127 5128 5129 5130 -5131 5132 5133 -5134 -5135 5136 -5137
v -5138 5139 -5140 5141 5142 -5143 -5144 5145 -5146 -5147 5148 -5149 5150
v 5151 -5152 -5153 5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162
v 5163 -5164 -5165 5166 -5167 5168 5169 -5170 -5171 5172 -5173 -5174 -5175
v -5176 -5177 -5178 -5179 -5180 5181 -5182 -5183 5184 -5185 -5186 -5187
v -5188 -5189 5190 -5191 -5192 5193 -5194 5195 5196 -5197 -5198 5199 -5200
v 5201 5202 -5203 5204 5205 -5206 5207 5208 5209 5210 5211 -5212 5213 5214
v -5215 -5216 5217 -5218 -5219 5220 -5221 5222 5223 -5224 -5225 5226 -5227
v -5228 5229 -5230 -5231 -5232 -5233 -5234 5235 -5236 -5237 -5238 -5239
v -5240 -5241 -5242 -5243 5244 -5245 -5246 -5247 -5248 -5249 5250 -5251
v -5252 5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 5262 -5263
v -5264 -5265 -5266 -5267 -5268 -5269 -5270 5271 -5272 -5273 5274 -5275
v -5276 -5277 -5278 -5279 -5280 -5281 -5282 5283 -5284 5285 5286 -5287
v -5288 5289 -5290 5291 5292 -5293 5294 5295 -5296 -5297 5298 -5299 -5300
v 5301 -5302 5303 5304 -5305 -5306 5307 -5308 -5309 5310 -5311 -5312 -5313
v -5314 -5315 5316 -5317 5318 5319 -5320 5321 5322 -5323 -5324 5325 -5326
v -5327 5328 -5329 -5330 -5331 -5332 -5333 5334 -5335 -5336 -5337 -5338
v -5339 5340 -5341 -5342 5343 -5344 5345 5346 -5347 -5348 -5349 -5350 -5351
v 5352 -5353 -5354 5355 -5356 -5357 -5358 -5359 -5360 5361 -5362 -5363
v -5364 -5365 -5366 -5367 -5368 -5369 5370 -5371 -5372 5373 -5374 5375 5376
v -5377 -5378 -5379 -5380 -5381 5382 -5383 5384 5385 -5386 -5387 5388 -5389
v 5390 5391 5392 5393 5394 -5395 -5396 5397 -5398 -5399 -5400 -5401 -5402
v -5403 -5404 -5405 5406 -5407 -5408 -5409 -5410 -5411 5412 5413 -5414
v -5415 5416 -5417 -5418 5419 -5420 5421 5422 -5423 5424 5425 5426 5427
v 5428 -5429 5430 5431 -5432 5433 5434 5435 5436 5437 -5438 5439 5440 -5441
v -5442 5443 -5444 -5445 5446 -5447 5448 5449 -5450 5451 5452 5453 5454
v 5455 -5456 5457 5458 -5459 5460 5461 5462 5463 5464 5465 5466 5467 -5468
v -5469 5470 -5471 -5472 5473 -5474 5475 5476 -5477 -5478 5479 -5480 -5481
v -5482 -5483 -5484 -5485 -5486 -5487 5488 -5489 5490 5491 -5492 5493 5494
v -5495 -5496 5497 -5498 -5499 5500 -5501 -5502 -5503 -5504 -5505 5506
v -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 5515 -5516 -5517 -5518
v -5519 -5520 5521 -5522 -5523 5524 -5525 -5526 5527 -5528 5529 5530 -5531
v -5532 5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 5542 -5543
v -5544 5545 -5546 5547 5548 -5549 -5550 5551 -5552 -5553 5554 -5555 -5556
v -5557 -5558 -5559 5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568
v -5569 -5570 -5571 5572 -5573 5574 5575 -5576 -5577 5578 -5579 -5580 5581
v -5582 5583 5584 -5585 -5586 5587 -5588 -5589 -5590 -5591 -5592 5593 -5594
v 5595 5596 5597 5598 5599 -5600 5601 5602 -5603 -5604 5605 -5606 -5607
v 5608 -5609 5610 5611 -5612 5613 5614 5615 5616 5617 -5618 5619 5620 -5621
v 5622 5623 -5624 -5625 5626 -5627 5628 5629 5630 5631 5632 -5633 -5634
v 5635 -5636 5637 5638 -5639 -5640 5641 -5642 -5643 -5644 -5645 -5646 -5647
v -5648 -5649 5650 -5651 5652 5653 5654 5655 5656 -5657 -5658 -5659 5660
v -5661 5662 5663 -5664 5665 5666 -5667 -5668 5669 -5670 5671 5672 -5673
v 5674 5675 5676 5677 5678 5679 5680 5681 -5682 5683 5684 -5685 -5686 5687
v -5688 5689 5690 -5691 5692 5693 -5694 -5695 5696 -5697 -5698 -5699 -5700
v -5701 5702 -5703 -5704 5705 -5706 -5707 -5708 -5709 -5710 5711 -5712
v -5713 5714 -5715 5716 5717 -5718 5719 5720 -5721 -5722 5723 -5724 -5725
v -5726 -5727 -5728 5729 -5730 -5731 5732 -5733 -5734 -5735 -5736 -5737
v 5738 -5739 -5740 5741 -5742 5743 5744 -5745 5746 5747 -5748 -5749 5750
v -5751 -5752 -5753 -5754 -5755 5756 -5757 5758 5759 5760 5761 5762 -5763
v 5764 5765 -5766 -5767 5768 -5769 5770 5771 -5772 5773 5774 -5775 -5776
v 5777 -5778 5779 5780 -5781 -5782 5783 -5784 -5785 5786 -5787 -5788 -5789
v -5790 -5791 5792 -5793 -5794 5795 -5796 5797 5798 -5799 5800 5801 -5802
v 5803 5804 5805 5806 5807 -5808 5809 5810 5811 5812 5813 5814 5815 5816
v -5817 5818 5819 -5820 -5821 5822 -5823 5824 5825 -5826 5827 5828 -5829
v -5830 5831 -5832 5833 5834 -5835 5836 5837 5838 5839 5840 5841 5842 5843
v -5844 5845 5846 5847 5848 5849 5850 5851 5852 -5853 5854 5855 -5856 -5857
v -5858 -5859 -5860 -5861 -5862 -5863 5864 -5865 5866 5867 5868 5869 5870
v -5871 5872 5873 -5874 -5875 -5876 5877 -5878 5879 5880 -5881 5882 5883
v -5884 5885 5886 5887 5888 5889 -5890 5891 5892 5893 5894 5895 -5896 -5897
v -5898 -5899 -5900 5901 -5902 -5903 5904 -5905 5906 5907 -5908 5909 5910
v -5911 -5912 5913 -5914 -5915 5916 -5917 5918 5919 5920 5921 5922 5923
v 5924 5925 -5926 -5927 -5928 -5929 -5930 5931 -5932 5933 5934 -5935 5936
v 5937 -5938 -5939 5940 -5941 5942 5943 -5944 -5945 5946 -5947 5948 5949
v 5950 5951 5952 -5953 -5954 5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962
v -5963 -5964 -5965 -5966 5967 -5968 -5969 -5970 -5971 -5972 5973 -5974
v -5975 5976 -5977 -5978 5979 -5980 5981 5982 5983 5984 5985 -5986 5987
v 5988 -5989 5990 5991 -5992 -5993 5994 -5995 5996 5997 -5998 5999 6000
v 6001 6002 6003 6004 6005 6006 -6007 6008 6009 -6010 -6011 6012 -6013 6014
v 6015 6016 6017 6018 -6019 6020 6021 -6022 -6023 -6024 -6025 -6026 6027
v -6028 -6029 6030 -6031 6032 6033 6034 6035 6036 -6037 -6038 6039 -6040
v -6041 6042 -6043 -6044 -6045 -6046 -6047 6048 -6049 6050 6051 -6052 -6053
v 6054 -6055 6056 6057 -6058 6059 6060 -6061 -6062 6063 -6064 6065 6066
v 6067 -6068 -6069 6070 -6071 -6072 6073 -6074 6075 6076 -6077 -6078 6079
v -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 6088 -6089 -6090 6091
v -6092 6093 6094 -6095 -6096 6097 -6098 -6099 6100 -6101 6102 6103 -6104
v 6105 6106 6107 6108 6109 -6110 6111 6112 -6113 6114 6115 6116 6117 6118
v -6119 6120 6121 -6122 -6123 6124 -6125 -6126 6127 -6128 6129 6130 -6131
v 6132 6133 6134 6135 6136 -6137 6138 6139 -6140 6141 6142 6143 6144 6145
v -6146 6147 6148 -6149 -6150 6151 -6152 -6153 6154 -6155 6156 6157 -6158
v 6159 6160 6161 6162 6163 -6164 -6165 -6166 -6167 -6168 6169 -6170 -6171
v 6172 -6173 6174 6175 -6176 -6177 6178 -6179 -6180 6181 -6182 6183 6184
v -6185 -6186 6187 -6188 6189 6190 -6191 6192 6193 -6194 6195 6196 6197
v 6198 6199 -6200 6201 6202 -6203 -6204 6205 -6206 -6207 6208 -6209 -6210
v -6211 -6212 -6213 6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222
v 6223 -6224 -6225 6226 -6227 6228 6229 -6230 -6231 6232 -6233 -6234 6235
v -6236 6237 -6238 6239 -6240 6241 6242 -6243 6244 6245 -6246 -6247 6248
v -6249 6250 6251 -6252 6253 6254 6255 6256 6257 6258 6259 6260 -6261 6262
v 6263 -6264 -6265 6266 -6267 6268 6269 -6270 6271 6272 -6273 -6274 6275
v -6276 -6277 -6278 -6279 -6280 6281 -6282 -6283 6284 -6285 -6286 -6287
v -6288 -6289 6290 -6291 -6292 6293 -6294 6295 6296 -6297 6298 6299 -6300
v -6301 6302 -6303 -6304 -6305 -6306 -6307 6308 -6309 -6310 6311 -6312
v -6313 -6314 -6315 -6316 6317 -6318 -6319 6320 -6321 6322 6323 -6324 6325
v 6326 -6327 -6328 6329 -6330 6331 6332 -6333 6334 6335 6336 6337 6338 6339
v 6340 6341 -6342 6343 6344 -6345 -6346 6347 -6348 6349 6350 -6351 6352
v 6353 -6354 -6355 6356 -6357 -6358 -6359 -6360 -6361 6362 -6363 -6364 6365
v -6366 -6367 -6368 -6369 -6370 6371 -6372 -6373 6374 -6375 6376 6377 -6378
v 6379 6380 -6381 -6382 6383 -6384 6385 6386 -6387 -6388 6389 -6390 -6391
v 6392 -6393 -6394 -6395 6396 -6397 -6398 -6399 -6400 -6401 6402 -6403
v -6404 6405 -6406 6407 6408 -6409 6410 6411 -6412 -6413 6414 -6415 6416
v 6417 -6418 6419 6420 -6421 -6422 6423 -6424 6425 6426 -6427 6428 6429
v 6430 6431 6432 6433 6434 6435 -6436 6437 6438 -6439 -6440 6441 -6442 6443
v 6444 -6445 6446 6447 6448 6449 6450 6451 6452 6453 -6454 6455 6456 -6457
v 6458 6459 6460 6461 6462 -6463 6464 6465 -6466 -6467 6468 -6469 6470 6471
v -6472 -6473 6474 -6475 -6476 6477 -6478 -6479 -6480 -6481 -6482 6483
v -6484 -6485 6486 -6487 6488 6489 -6490 6491 6492 -6493 -6494 6495 -6496
v 6497 6498 -6499 6500 6501 -6502 6503 6504 6505 6506 6507 -6508 6509 6510
v 6511 6512 6513 6514 6515 6516 -6517 6518 6519 6520 6521 6522 -6523 6524
v 6525 -6526 6527 6528 6529 6530 6531 6532 6533 6534 -6535 6536 6537 6538
v -6539 -6540 6541 -6542 -6543 6544 -6545 6546 6547 -6548 -6549 6550 -6551
v -6552 -6553 -6554 -6555 -6556 -6557 -6558 6559 -6560 -6561 6562 -6563
v 6564 6565 -6566 -6567 6568 -6569 -6570 6571 -6572 6573 6574 -6575 6576
v 6577 6578 6579 6580 -6581 6582 6583 -6584 6585 6586 6587 6588 6589 -6590
v 6591 6592 -6593 -6594 6595 -6596 -6597 6598 -6599 6600 6601 -6602 6603
v 6604 6605 6606 6607 -6608 6609 6610 -6611 6612 6613 6614 6615 6616 -6617
v 6618 6619 -6620 -6621 6622 -6623 -6624 6625 -6626 6627 6628 -6629 -6630
v 6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 6640 -6641 -6642
v 6643 -6644 6645 6646 -6647 -6648 6649 -6650 -6651 6652 -6653 6654 6655
v -6656 6657 6658 6659 6660 6661 -6662 6663 6664 -6665 -6666 6667 -6668
v -6669 -6670 6671 -6672 6673 6674 -6675 6676 6677 -6678 -6679 6680 -6681
v -6682 -6683 -6684 -6685 6686 -6687 -6688 6689 -6690 -6691 -6692 -6693
v -6694 6695 -6696 -6697 6698 -6699 6700 6701 -6702 6703 6704 -6705 -6706
v 6707 -6708 -6709 -6710 -6711 -6712 6713 -6714 -6715 6716 -6717 -6718
v -6719 -6720 -6721 -6722 -6723 -6724 6725 -6726 6727 6728 -6729 6730 6731
v -6732 -6733 6734 -6735 6736 6737 -6738 6739 6740 6741 6742 6743 6744 6745
v 6746 -6747 -6748 6749 -6750 -6751 6752 -6753 6754 6755 -6756 6757 6758
v -6759 6760 6761 6762 6763 6764 -6765 6766 6767 6768 6769 6770 6771 6772
v 6773 -6774 -6775 6776 -6777 6778 6779 -6780 6781 6782 -6783 6784 6785
v -6786 -6787 6788 -6789 6790 6791 6792 -6793 6794 6795 6796 6797 6798
v -6799 6800 6801 -6802 -6803 6804 -6805 -6806 6807 -6808 6809 6810 -6811
v -6812 6813 -6814 -6815 6816 -6817 6818 6819 -6820 -6821 6822 -6823 -6824
v -6825 -6826 -6827 -6828 -6829 -6830 6831 -6832 -6833 6834 -6835 6836 6837
v -6838 -6839 6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 6849
v -6850 -6851 6852 -6853 -6854 -6855 -6856 -6857 6858 -6859 -6860 6861
v -6862 6863 6864 -6865 -6866 6867 -6868 6869 6870 -6871 6872 6873 -6874
v -6875 6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 6885 -6886
v -6887 6888 -6889 6890 6891 -6892 6893 6894 6895 6896 6897 6898 6899 6900
v -6901 -6902 6903 -6904 -6905 6906 6907 -6908 -6909 6910 -6911 -6912 6913
v -6914 6915 6916 -6917 -6918 6919 -6920 -6921 -6922 -6923 -6924 -6925
v -6926 -6927 6928 -6929 -6930 6931 -6932 6933 6934 -6935 -6936 6937 -6938
v -6939 6940 -6941 6942 6943 -6944 6945 6946 6947 6948 6949 -6950 6951 6952
v -6953 6954 6955 6956 6957 6958 -6959 6960 6961 -6962 -6963 6964 -6965
v -6966 6967 -6968 6969 6970 -6971 6972 6973 6974 6975 6976 -6977 6978 6979
v -6980 6981 6982 6983 6984 6985 -6986 6987 6988 -6989 -6990 6991 -6992
v -6993 6994 -6995 6996 6997 -6998 6999 7000 7001 7002 7003 -7004 -7005
v -7006 -7007 -7008 7009 -7010 -7011 -7012 7013 -7014 7015 7016 -7017 7018
v 7019 -7020 -7021 7022 -7023 7024 7025 -7026 7027 7028 7029 7030 7031 7032
v 7033 7034 -7035 -7036 -7037 -7038 -7039 7040 -7041 7042 7043 -7044 7045
v 7046 -7047 -7048 7049 -7050 -7051 -7052 -7053 -7054 7055 -7056 -7057 7058
v -7059 -7060 7061 -7062 7063 7064 7065 7066 7067 -7068 7069 7070 -7071
v 7072 7073 -7074 -7075 7076 -7077 -7078 -7079 -7080 -7081 7082 -7083 -7084
v 7085 -7086 -7087 -7088 -7089 -7090 7091 -7092 -7093 7094 -7095 7096 7097
v -7098 7099 7100 -7101 -7102 7103 -7104 -7105 -7106 -7107 -7108 7109 -7110
v 7111 7112 7113 -7114 -7115 7116 -7117 -7118 7119 -7120 -7121 -7122 -7123
v -7124 7125 -7126 -7127 -7128 -7129 -7130 7131 -7132 7133 7134 7135 7136
v 7137 -7138 7139 7140 -7141 -7142 7143 -7144 -7145 7146 -7147 7148 7149
v -7150 7151 7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 7161
v -7162 7163 7164 7165 7166 7167 -7168 -7169 7170 -7171 -7172 7173 -7174
v 7175 7176 -7177 -7178 7179 -7180 7181 7182 -7183 -7184 -7185 -7186 -7187
v 7188 -7189 7190 7191 -7192 7193 7194 7195 7196 7197 7198 7199 7200 7201
v 7202 7203 -7204 7205 7206 7207 -7208 -7209 7210 -7211 -7212 7213 -7214
v 7215 7216 -7217 -7218 7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226
v -7227 7228 -7229 7230 7231 7232 7233 7234 -7235 -7236 7237 -7238 -7239
v 7240 -7241 7242 7243 -7244 7245 7246 7247 7248 7249 -7250 7251 7252 -7253
v 7254 7255 -7256 -7257 -7258 -7259 -7260 7261 -7262 -7263 7264 -7265 -7266
v 7267 -7268 7269 7270 -7271 -7272 7273 -7274 -7275 -7276 -7277 -7278 -7279
v -7280 -7281 7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 7291
v -7292 7293 7294 7295 7296 -7297 7298 -7299 7300 7301 -7302 7303 7304
v -7305 -7306 7307 -7308 7309 7310 -7311 7312 7313 7314 7315 7316 7317 7318
v 7319 -7320 7321 7322 -7323 -7324 7325 -7326 7327 7328 -7329 7330 7331
v -7332 -7333 7334 -7335 -7336 -7337 -7338 -7339 7340 -7341 -7342 7343
v -7344 -7345 -7346 -7347 -7348 7349 -7350 -7351 7352 -7353 7354 7355 -7356
v 7357 7358 -7359 -7360 7361 -7362 -7363 -7364 -7365 -7366 7367 -7368 -7369
v 7370 -7371 -7372 -7373 -7374 -7375 7376 -7377 -7378 7379 -7380 7381 -7382
v 7383 -7384 7385 7386 -7387 7388 7389 -7390 -7391 7392 -7393 7394 7395
v -7396 7397 7398 7399 7400 7401 7402 7403 7404 -7405 7406 7407 -7408 -7409
v 7410 -7411 7412 7413 -7414 7415 7416 -7417 -7418 7419 -7420 -7421 -7422
v -7423 -7424 7425 -7426 -7427 7428 -7429 7430 7431 -7432 7433 7434 7435
v 7436 7437 7438 7439 7440 -7441 7442 7443 -7444 -7445 7446 -7447 7448 7449
v -7450 7451 7452 7453 7454 7455 7456 7457 7458 -7459 7460 7461 7462 7463
v 7464 7465 -7466 -7467 7468 -7469 -7470 7471 -7472 7473 7474 -7475 -7476
v 7477 -7478 -7479 -7480 -7481 -7482 -7483 -7484 -7485 7486 -7487 -7488
v 7489 -7490 7491 7492 -7493 -7494 7495 -7496 -7497 7498 -7499 7500 7501
v -7502 7503 7504 7505 7506 7507 -7508 7509 7510 -7511 7512 7513 7514 7515
v 7516 -7517 7518 7519 -7520 -7521 7522 -7523 -7524 7525 -7526 7527 7528
v -7529 7530 7531 7532 7533 7534 -7535 7536 7537 -7538 7539 -7540 7541
v -7542 7543 7544 -7545 7546 7547 -7548 -7549 7550 -7551 7552 7553 -7554
v 7555 7556 7557 7558 7559 7560 7561 7562 -7563 7564 7565 -7566 -7567 7568
v -7569 7570 7571 -7572 7573 7574 -7575 -7576 7577 -7578 -7579 -7580 -7581
v -7582 7583 -7584 -7585 7586 -7587 -7588 -7589 -7590 -7591 7592 -7593
v -7594 7595 -7596 7597 7598 -7599 7600 7601 -7602 -7603 7604 -7605 7606
v 7607 -7608 -7609 7610 -7611 7612 7613 7614 -7615 7616 7617 7618 7619 7620
v -7621 7622 7623 -7624 -7625 7626 -7627 -7628 7629 -7630 7631 7632 -7633
v -7634 7635 -7636 -7637 7638 -7639 7640 7641 -7642 -7643 7644 -7645 -7646
v -7647 -7648 -7649 -7650 -7651 -7652 7653 -7654 -7655 7656 -7657 7658 7659
v -7660 -7661 7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 7671
v -7672 -7673 7674 -7675 -7676 -7677 -7678 -7679 7680 -7681 -7682 7683 7684
v -7685 -7686 7687 -7688 -7689 7690 -7691 7692 7693 -7694 -7695 7696 -7697
v -7698 -7699 -7700 -7701 -7702 -7703 -7704 7705 -7706 -7707 7708 -7709
v 7710 7711 -7712 -7713 7714 -7715 -7716 7717 -7718 7719 7720 -7721 7722
v 7723 7724 7725 7726 -7727 7728 7729 -7730 7731 7732 7733 7734 7735 -7736
v 7737 7738 -7739 -7740 7741 -7742 -7743 7744 -7745 7746 7747 -7748 -7749
v -7750 7751 -7752 7753 7754 -7755 7756 7757 -7758 -7759 7760 -7761 7762
v 7763 -7764 7765 7766 7767 7768 7769 7770 7771 7772 -7773 7774 7775 -7776
v -7777 7778 -7779 7780 7781 -7782 7783 7784 -7785 -7786 7787 -7788 -7789
v -7790 -7791 -7792 7793 -7794 -7795 7796 -7797 -7798 -7799 -7800 -7801
v 7802 -7803 -7804 7805 -7806 7807 7808 -7809 7810 7811 -7812 -7813 7814
v 7815 -7816 -7817 7818 -7819 -7820 7821 -7822 7823 7824 -7825 -7826 7827
v -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 7836 -7837 -7838 7839
v -7840 7841 7842 -7843 -7844 7845 -7846 -7847 7848 -7849 7850 7851 -7852
v 7853 7854 7855 7856 7857 -7858 7859 7860 -7861 -7862 7863 -7864 7865 7866
v -7867 -7868 -7869 -7870 -7871 7872 -7873 7874 7875 7876 -7877 -7878 7879
v -7880 -7881 7882 -7883 7884 7885 -7886 7887 7888 7889 7890 7891 -7892
v 7893 7894 -7895 7896 7897 7898 7899 7900 -7901 7902 7903 -7904 -7905 7906
v -7907 -7908 7909 -7910 7911 7912 -7913 7914 7915 7916 7917 7918 -7919
v 7920 7921 -7922 7923 7924 7925 7926 7927 7928 7929 7930 -7931 -7932 7933
v -7934 -7935 -7936 7937 -7938 7939 7940 -7941 7942 7943 -7944 -7945 7946
v -7947 7948 7949 -7950 7951 7952 7953 7954 7955 7956 7957 7958 -7959 7960
v 7961 -7962 -7963 7964 -7965 7966 7967 -7968 7969 7970 -7971 -7972 7973
v -7974 -7975 -7976 -7977 -7978 7979 -7980 -7981 7982 -7983 -7984 -7985
v -7986 -7987 7988 -7989 7990 7991 7992 7993 -7994 7995 -7996 -7997 -7998
v -7999 -8000 8001 -8002 -8003 8004 -8005 8006 8007 -8008 8009 8010 -8011
v -8012 8013 -8014 8015 8016 -8017 8018 8019 -8020 -8021 8022 -8023 8024
v 8025 -8026 8027 8028 8029 8030 8031 8032 8033 8034 -8035 8036 8037 -8038
v -8039 8040 -8041 8042 8043 -8044 8045 8046 8047 8048 8049 8050 -8051
v -8052 8053 -8054 -8055 8056 -8057 8058 8059 -8060 -8061 8062 -8063 -8064
v -8065 -8066 -8067 -8068 -8069 -8070 8071 -8072 -8073 8074 -8075 8076 8077
v -8078 -8079 8080 -8081 -8082 8083 -8084 8085 8086 -8087 8088 8089 8090
v 8091 8092 -8093 8094 8095 -8096 8097 8098 8099 8100 8101 -8102 8103 -8104
v 8105 -8106 8107 8108 -8109 8110 8111 -8112 -8113 8114 -8115 8116 8117
v -8118 8119 8120 8121 8122 8123 8124 8125 8126 -8127 8128 8129 -8130 -8131
v 8132 -8133 8134 8135 -8136 8137 8138 -8139 -8140 8141 -8142 -8143 -8144
v -8145 -8146 8147 -8148 -8149 8150 -8151 -8152 -8153 -8154 -8155 8156 8157
v -8158 8159 8160 8161 8162 8163 -8164 8165 8166 -8167 -8168 8169 -8170
v -8171 8172 -8173 8174 8175 -8176 -8177 8178 -8179 -8180 8181 -8182 8183
v 8184 -8185 8186 8187 8188 8189 8190 -8191 8192 8193 -8194 -8195 8196
v -8197 -8198 8199 -8200 8201 8202 -8203 8204 8205 8206 8207 8208 8209
v -8210 -8211 8212 -8213 -8214 8215 -8216 8217 8218 -8219 -8220 8221 -8222
v -8223 -8224 -8225 -8226 -8227 -8228 -8229 8230 -8231 8232 8233 8234 8235
v 8236 -8237 -8238 8239 -8240 -8241 8242 -8243 8244 8245 -8246 8247 8248
v 8249 8250 8251 -8252 8253 8254 -8255 8256 -8257 8258 -8259 8260 8261
v -8262 8263 8264 -8265 -8266 8267 -8268 -8269 -8270 -8271 -8272 8273 -8274
v -8275 8276 -8277 -8278 -8279 -8280 -8281 8282 -8283 -8284 8285 -8286 8287
v 8288 -8289 8290 8291 -8292 -8293 8294 -8295 8296 8297 -8298 8299 8300
v 8301 8302 8303 8304 8305 -8306 8307 -8308 8309 8310 -8311 8312 8313 -8314
v 8315 8316 8317 8318 8319 -8320 8321 8322 8323 8324 8325 -8326 -8327 -8328
v -8329 -8330 8331 -8332 -8333 8334 -8335 8336 8337 -8338 8339 8340 -8341
v -8342 8343 -8344 -8345 8346 -8347 8348 8349 8350 8351 8352 8353 -8354
v -8355 8356 -8357 -8358 8359 -8360 -8361 -8362 -8363 -8364 8365 -8366
v -8367 -8368 -8369 -8370 8371 -8372 8373 8374 8375 8376 8377 -8378 8379
v 8380 -8381 -8382 8383 -8384 -8385 8386 -8387 8388 8389 -8390 -8391 -8392
v -8393 -8394 -8395 -8396 -8397 -8398 8399 -8400 8401 8402 -8403 8404 8405
v -8406 -8407 8408 -8409 8410 8411 -8412 8413 8414 8415 8416 8417 8418 8419
v 8420 -8421 -8422 -8423 -8424 -8425 8426 -8427 8428 8429 -8430 8431 8432
v -8433 -8434 8435 -8436 -8437 -8438 -8439 -8440 -8441 8442 -8443 -8444
v -8445 -8446 -8447 8448 -8449 -8450 8451 -8452 8453 8454 -8455 8456 8457
v -8458 -8459 8460 -8461 8462 8463 -8464 8465 8466 -8467 -8468 8469 -8470
v -8471 -8472 -8473 -8474 8475 -8476 -8477 8478 -8479 8480 8481 -8482 -8483
v 8484 8485 -8486 -8487 8488 -8489 -8490 8491 -8492 8493 8494 -8495 -8496
v 8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 8506 -8507 -8508
v 8509 -8510 8511 8512 -8513 -8514 8515 -8516 -8517 8518 -8519 8520 8521
v -8522 8523 8524 8525 8526 -8527 8528 -8529 8530 8531 -8532 8533 8534
v -8535 -8536 8537 -8538 8539 8540 -8541 8542 8543 8544 8545 8546 8547 8548
v 8549 -8550 8551 8552 -8553 -8554 8555 -8556 8557 8558 -8559 8560 8561
v -8562 -8563 8564 -8565 8566 8567 8568 -8569 -8570 8571 -8572 -8573 8574
v -8575 8576 8577 -8578 -8579 8580 -8581 -8582 -8583 -8584 -8585 -8586
v -8587 -8588 8589 -8590 -8591 8592 -8593 8594 8595 -8596 -8597 8598 -8599
v -8600 8601 -8602 8603 8604 -8605 8606 8607 8608 -8609 8610 8611 8612 8613
v 8614 -8615 8616 8617 -8618 -8619 8620 -8621 -8622 8623 -8624 8625 8626
v -8627 -8628 8629 -8630 -8631 8632 -8633 8634 8635 -8636 -8637 8638 -8639
v -8640 -8641 -8642 -8643 -8644 8645 -8646 8647 8648 -8649 8650 8651 -8652
v -8653 8654 -8655 8656 8657 -8658 8659 8660 8661 8662 8663 8664 8665 8666
v -8667 8668 8669 -8670 -8671 8672 -8673 8674 8675 -8676 8677 8678 -8679
v -8680 8681 8682 -8683 -8684 8685 -8686 -8687 8688 -8689 -8690 -8691 -8692
v -8693 8694 -8695 -8696 -8697 -8698 -8699 8700 -8701 8702 8703 8704 8705
v 8706 -8707 -8708 -8709 -8710 -8711 8712 -8713 8714 8715 8716 8717 8718
v 8719 -8720 -8721 8722 -8723 -8724 8725 -8726 8727 8728 -8729 -8730 8731
v -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 8740 -8741 -8742 8743
v -8744 8745 8746 -8747 -8748 8749 -8750 -8751 8752 -8753 8754 -8755 8756
v -8757 8758 8759 -8760 8761 8762 -8763 -8764 8765 -8766 -8767 -8768 -8769
v -8770 8771 -8772 -8773 8774 -8775 -8776 -8777 -8778 -8779 8780 -8781
v -8782 8783 -8784 8785 8786 -8787 -8788 -8789 8790 -8791 -8792 -8793 -8794
v -8795 8796 -8797 -8798 8799 -8800 8801 8802 -8803 8804 8805 -8806 -8807
v 8808 -8809 8810 8811 -8812 8813 8814 -8815 -8816 8817 -8818 8819 8820
v -8821 8822 8823 8824 -8825 -8826 8827 -8828 -8829 8830 -8831 8832 8833
v -8834 8835 8836 8837 8838 8839 -8840 8841 8842 -8843 8844 8845 8846 8847
v 8848 -8849 8850 8851 -8852 -8853 8854 -8855 8856 -8857 8858 -8859 8860
v 8861 -8862 8863 8864 -8865 -8866 8867 -8868 8869 8870 -8871 8872 8873
v 8874 8875 8876 8877 8878 8879 -8880 8881 8882 -8883 -8884 8885 -8886 8887
v 8888 -8889 8890 8891 8892 -8893 8894 8895 8896 8897 8898 -8899 8900 8901
v -8902 -8903 8904 -8905 -8906 8907 -8908 8909 8910 -8911 -8912 8913 -8914
v -8915 8916 -8917 8918 8919 -8920 -8921 8922 8923 -8924 -8925 8926 -8927
v -8928 8929 -8930 8931 8932 -8933 -8934 8935 -8936 -8937 -8938 -8939 -8940
v -8941 -8942 -8943 8944 -8945 -8946 8947 -8948 8949 8950 -8951 -8952 -8953
v 8954 -8955 -8956 -8957 -8958 -8959 8960 -8961 8962 8963 8964 8965 8966
v -8967 8968 8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 8978
v -8979 -8980 8981 -8982 8983 -8984 8985 -8986 8987 8988 -8989 8990 8991
v -8992 -8993 8994 -8995 8996 8997 -8998 8999 9000 9001 9002 9003 9004 9005
v 9006 -9007 9008 9009 -9010 -9011 9012 -9013 9014 9015 9016 -9017 -9018
v 9019 -9020 -9021 9022 -9023 9024 9025 -9026 -9027 9028 -9029 -9030 -9031
v -9032 -9033 -9034 -9035 -9036 9037 -9038 -9039 9040 -9041 9042 9043 -9044
v -9045 -9046 9047 -9048 9049 9050 -9051 9052 9053 -9054 -9055 9056 -9057
v -9058 -9059 -9060 -9061 9062 -9063 -9064 9065 -9066 -9067 -9068 -9069
v -9070 9071 -9072 -9073 -9074 9075 -9076 -9077 -9078 -9079 -9080 9081
v -9082 -9083 9084 -9085 9086 9087 -9088 9089 9090 -9091 -9092 9093 -9094
v -9095 -9096 -9097 -9098 -9099 -9100 -9101 9102 9103 -9104 -9105 9106
v -9107 -9108 9109 -9110 9111 9112 -9113 -9114 9115 -9116 -9117 -9118 -9119
v -9120 -9121 -9122 -9123 9124 -9125 -9126 9127 -9128 9129 -9130 9131 -9132
v 9133 9134 -9135 9136 9137 -9138 -9139 9140 -9141 9142 9143 -9144 9145
v 9146 9147 9148 9149 9150 9151 9152 -9153 9154 9155 -9156 9157 9158 9159
v -9160 9161 9162 9163 9164 9165 -9166 9167 9168 -9169 -9170 9171 -9172
v -9173 9174 -9175 9176 9177 -9178 -9179 9180 -9181 -9182 9183 -9184 9185
v 9186 9187 -9188 -9189 9190 -9191 -9192 9193 -9194 -9195 -9196 -9197 -9198
v 9199 -9200 -9201 -9202 -9203 -9204 9205 -9206 9207 9208 9209 9210 9211
v -9212 -9213 -9214 9215 -9216 9217 9218 -9219 9220 9221 -9222 -9223 9224
v -9225 9226 9227 -9228 9229 9230 9231 9232 9233 9234 9235 9236 -9237 9238
v 9239 9240 -9241 9242 9243 9244 9245 9246 -9247 9248 9249 -9250 -9251 9252
v -9253 9254 9255 9256 9257 9258 -9259 9260 9261 9262 9263 9264 9265 -9266
v -9267 9268 -9269 -9270 9271 -9272 9273 9274 -9275 -9276 9277 -9278 -9279
v -9280 -9281 -9282 -9283 -9284 -9285 9286 -9287 -9288 -9289 9290 -9291
v 9292 9293 -9294 9295 9296 -9297 -9298 9299 -9300 9301 9302 -9303 9304
v 9305 9306 9307 9308 9309 9310 9311 -9312 9313 -9314 9315 -9316 -9317
v -9318 -9319 -9320 9321 -9322 -9323 9324 -9325 9326 9327 -9328 9329 9330
v -9331 -9332 9333 -9334 9335 9336 -9337 9338 -9339 9340 -9341 -9342 -9343
v -9344 -9345 9346 -9347 9348 9349 9350 9351 9352 -9353 -9354 -9355 -9356
v -9357 -9358 -9359 -9360 -9361 -9362 -9363 -9364 9365 -9366 9367 9368
v -9369 9370 9371 -9372 -9373 9374 -9375 9376 9377 -9378 9379 9380 9381
v 9382 9383 9384 9385 9386 -9387 9388 9389 9390 -9391 9392 9393 9394 9395
v 9396 -9397 9398 9399 -9400 -9401 9402 -9403 -9404 9405 -9406 9407 9408
v -9409 9410 9411 9412 -9413 -9414 9415 -9416 -9417 9418 -9419 9420 9421
v -9422 9423 9424 9425 9426 9427 -9428 9429 9430 -9431 9432 -9433 9434
v -9435 9436 9437 -9438 9439 9440 -9441 -9442 9443 -9444 9445 9446 -9447
v 9448 9449 9450 9451 9452 -9453 -9454 9455 9456 -9457 -9458 9459 -9460
v -9461 9462 -9463 -9464 -9465 -9466 -9467 9468 -9469 -9470 -9471 -9472
v -9473 9474 -9475 9476 9477 9478 -9479 9480 9481 9482 9483 9484 -9485 9486
v 9487 -9488 -9489 9490 -9491 -9492 9493 -9494 9495 9496 9497 9498 -9499
v 9500 -9501 9502 9503 -9504 9505 9506 -9507 9508 9509 9510 9511 9512 -9513
v 9514 9515 9516 9517 9518 -9519 -9520 -9521 9522 -9523 -9524 -9525 -9526
v -9527 9528 -9529 -9530 9531 -9532 9533 9534 -9535 9536 9537 -9538 -9539
v 9540 -9541 -9542 9543 9544 -9545 -9546 9547 -9548 -9549 9550 -9551 9552
v 9553 -9554 -9555 9556 -9557 -9558 -9559 -9560 -9561 -9562 -9563 -9564
v -9565 9566 -9567 9568 9569 -9570 9571 9572 -9573 -9574 9575 -9576 9577
v 9578 -9579 9580 9581 9582 9583 9584 9585 9586 9587 9588 -9589 9590 9591
v 9592 9593 9594 -9595 9596 9597 -9598 -9599 9600 -9601 -9602 9603 -9604
v 9605 9606 9607 -9608 -9609 9610 -9611 -9612 9613 -9614 9615 9616 -9617
v -9618 9619 -9620 -9621 -9622 -9623 -9624 -9625 9626 -9627 9628 9629 -9630
v 9631 9632 -9633 -9634 9635 -9636 9637 9638 -9639 9640 9641 9642 9643
v -9644 9645 -9646 -9647 -9648 -9649 -9650 9651 -9652 -9653 9654 -9655 9656
v 9657 -9658 -9659 -9660 -9661 -9662 9663 9664 -9665 -9666 9667 -9668 -9669
v 9670 -9671 9672 9673 -9674 -9675 9676 -9677 -9678 -9679 -9680 -9681 9682
v 9683 -9684 9685 9686 9687 9688 9689 -9690 -9691 -9692 -9693 -9694 9695
v -9696 9697 9698 9699 9700 -9701 9702 -9703 9704 9705 -9706 9707 9708
v -9709 -9710 9711 -9712 9713 9714 -9715 9716 9717 9718 9719 9720 9721
v -9722 -9723 9724 -9725 -9726 9727 -9728 9729 9730 -9731 -9732 9733 -9734
v -9735 -9736 -9737 -9738 -9739 9740 -9741 -9742 -9743 -9744 -9745 9746
v -9747 -9748 9749 -9750 9751 9752 -9753 9754 9755 -9756 -9757 9758 9759
v -9760 9761 9762 9763 9764 9765 -9766 9767 9768 -9769 -9770 9771 -9772
v -9773 9774 -9775 -9776 9777 9778 -9779 -9780 9781 -9782 -9783 9784 -9785
v 9786 9787 -9788 -9789 9790 -9791 -9792 -9793 -9794 -9795 -9796 9797 -9798
v 9799 9800 -9801 9802 9803 -9804 -9805 9806 -9807 9808 9809 -9810 9811
v 9812 9813 9814 -9815 9816 -9817 9818 9819 -9820 9821 9822 -9823 9824 9825
v 9826 9827 9828 -9829 9830 9831 9832 -9833 -9834 9835 -9836 -9837 9838
v -9839 9840 9841 -9842 -9843 9844 -9845 -9846 -9847 9848 -9849 9850 9851
v -9852 9853 9854 -9855 -9856 9857 -9858 9859 9860 -9861 9862 -9863 9864
v -9865 -9866 -9867 -9868 -9869 9870 -9871 -9872 9873 -9874 9875 9876 -9877
v 9878 9879 9880 -9881 -9882 9883 -9884 -9885 9886 -9887 9888 9889 -9890
v 9891 9892 9893 9894 -9895 9896 -9897 9898 9899 -9900 9901 9902 -9903
v -9904 9905 -9906 -9907 -9908 -9909 -9910 9911 9912 -9913 9914 9915 9916
v 9917 9918 -9919 9920 9921 -9922 -9923 9924 -9925 -9926 -9927 9928 -9929
v -9930 -9931 -9932 -9933 9934 -9935 -9936 9937 -9938 9939 9940 -9941 -9942
v -9943 9944 -9945 9946 9947 -9948 9949 9950 -9951 -9952 9953 -9954 -9955
v -9956 -9957 -9958 9959 9960 -9961 -9962 9963 -9964 -9965 9966 -9967 9968
v 9969 -9970 -9971 9972 -9973 9974 9975 9976 -9977 -9978 9979 -9980 -9981
v 9982 -9983 9984 9985 -9986 -9987 9988 -9989 -9990 -9991 9992 -9993 9994
v 9995 -9996 9997 9998 -9999 -10000 10001 -10002 10003 10004 -10005 -10006
v -10007 10008 -10009 -10010 -10011 -10012 -10013 10014 -10015 -10016 10017
v -10018 10019 10020 -10021 10022 10023 10024 -10025 10026 10027 10028
v 10029 10030 -10031 10032 10033 -10034 -10035 10036 -10037 -10038 -10039
v 10040 -10041 10042 10043 -10044 10045 10046 -10047 -10048 10049 -10050
v 10051 10052 -10053 10054 10055 10056 -10057 -10058 10059 -10060 -10061
v 10062 -10063 10064 10065 -10066 10067 10068 10069 10070 10071 10072
v -10073 10074 10075 10076 10077 10078 -10079 -10080 -10081 -10082 -10083
v -10084 10085 -10086 -10087 -10088 -10089 -10090 10091 -10092 10093 10094
v 10095 10096 10097 10098 -10099 -10100 10101 -10102 -10103 10104 -10105
v 10106 10107 -10108 -10109 10110 10111 -10112 -10113 10114 -10115 -10116
v 10117 -10118 10119 10120 -10121 -10122 -10123 10124 -10125 10126 10127
v -10128 10129 10130 -10131 -10132 10133 -10134 10135 -10136 10137 -10138
v 10139 10140 -10141 10142 10143 -10144 -10145 10146 -10147 -10148 10149
v 10150 -10151 -10152 10153 -10154 -10155 10156 -10157 10158 10159 -10160
v 10161 -10162 10163 -10164 -10165 -10166 -10167 -10168 10169 -10170 -10171
v 10172 -10173 -10174 10175 10176 -10177 10178 10179 10180 10181 10182
v -10183 10184 10185 -10186 -10187 10188 10189 -10190 -10191 10192 -10193
v -10194 10195 -10196 10197 10198 -10199 10200 -10201 10202 -10203 10204
v 10205 -10206 10207 10208 -10209 -10210 10211 -10212 10213 -10214 10215
v -10216 10217 10218 -10219 10220 10221 -10222 -10223 10224 -10225 10226
v 10227 10228 -10229 -10230 10231 -10232 -10233 10234 -10235 10236 10237
v -10238 -10239 -10240 10241 -10242 10243 10244 -10245 10246 10247 -10248
v -10249 10250 -10251 -10252 -10253 10254 -10255 -10256 -10257 -10258
v -10259 10260 -10261 -10262 10263 -10264 10265 10266 10267 -10268 -10269
v 10270 -10271 -10272 10273 -10274 10275 10276 -10277 10278 -10279 10280
v -10281 10282 10283 -10284 10285 10286 -10287 10288 10289 10290 10291
v 10292 10293 -10294 10295 10296 10297 10298 10299 -10300 10301 10302
v -10303 10304 10305 10306 -10307 -10308 10309 -10310 -10311 10312 -10313
v 10314 10315 -10316 -10317 -10318 10319 -10320 10321 10322 -10323 10324
v 10325 -10326 -10327 10328 -10329 -10330 -10331 10332 -10333 -10334 -10335
v -10336 -10337 10338 -10339 -10340 10341 -10342 10343 10344 10345 -10346
v -10347 10348 -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356
v -10357 10358 -10359 10360 10361 -10362 10363 10364 -10365 -10366 10367
v -10368 -10369 10370 10371 -10372 -10373 10374 -10375 -10376 10377 -10378
v -10379 10380 10381 -10382 -10383 10384 -10385 -10386 10387 -10388 10389
v -10390 10391 -10392 10393 10394 -10395 10396 10397 10398 10399 10400
v 10401 -10402 10403 10404 10405 10406 10407 -10408 10409 10410 10411
v -10412 -10413 10414 -10415 -10416 10417 -10418 10419 10420 10421 -10422
v 10423 10424 10425 10426 10427 -10428 -10429 -10430 10431 -10432 10433
v 10434 -10435 10436 10437 -10438 10439 10440 10441 -10442 -10443 10444
v -10445 -10446 10447 -10448 10449 -10450 10451 -10452 10453 10454 -10455
v 10456 10457 -10458 -10459 -10460 10461 -10462 -10463 -10464 -10465 -10466
v 10467 -10468 -10469 10470 10471 -10472 10473 10474 10475 10476 10477
v -10478 10479 -10480 10481 -10482 10483 10484 -10485 10486 10487 -10488
v -10489 10490 10491 -10492 -10493 10494 -10495 -10496 10497 -10498 10499
v 10500 10501 -10502 -10503 10504 -10505 -10506 10507 -10508 -10509 -10510
v 10511 -10512 10513 10514 -10515 10516 10517 -10518 -10519 -10520 10521
v -10522 10523 10524 -10525 10526 10527 -10528 10529 10530 10531 -10532
v -10533 10534 -10535 -10536 10537 -10538 10539 -10540 10541 -10542 -10543
v -10544 -10545 -10546 10547 -10548 10549 -10550 10551 -10552 10553 10554
v -10555 10556 10557 -10558 -10559 10560 10561 -10562 -10563 10564 -10565
v -10566 10567 -10568 -10569 -10570 10571 -10572 10573 10574 -10575 -10576
v 10577 -10578 -10579 10580 10581 -10582 10583 10584 10585 10586 10587
v -10588 10589 10590 10591 -10592 -10593 10594 -10595 10596 10597 -10598
v 10599 -10600 10601 -10602 10603 10604 -10605 10606 10607 -10608 -10609
v 10610 10611 -10612 -10613 10614 -10615 -10616 10617 -10618 -10619 10620
v 10621 -10622 -10623 10624 -10625 -10626 10627 -10628 10629 -10630 10631
v -10632 10633 10634 -10635 10636 10637 -10638 -10639 -10640 10641 -10642
v -10643 -10644 -10645 -10646 10647 -10648 -10649 10650 10651 -10652 10653
v 10654 10655 10656 10657 -10658 10659 -10660 10661 -10662 10663 10664
v -10665 10666 10667 -10668 -10669 -10670 10671 -10672 -10673 -10674 -10675
v -10676 10677 -10678 10679 10680 10681 -10682 -10683 10684 -10685 -10686
v 10687 -10688 10689 -10690 10691 -10692 10693 10694 -10695 10696 10697
v -10698 10699 10700 10701 -10702 10703 10704 10705 10706 10707 -10708
v 10709 10710 10711 -10712 -10713 10714 -10715 -10716 10717 -10718 -10719
v -10720 10721 -10722 10723 10724 -10725 10726 10727 -10728 -10729 -10730
v 10731 -10732 -10733 -10734 -10735 -10736 10737 -10738 -10739 -10740 10741
v -10742 -10743 -10744 -10745 -10746 10747 10748 -10749 10750 10751 10752
v 10753 10754 10755 -10756 -10757 10758 -10759 -10760 10761 10762 -10763
v -10764 10765 -10766 -10767 -10768 10769 -10770 10771 10772 -10773 10774
v -10775 10776 -10777 10778 10779 -10780 -10781 10782 10783 -10784 10785
v 10786 10787 10788 10789 10790 -10791 -10792 10793 -10794 10795 -10796
v 10797 -10798 -10799 -10800 -10801 -10802 10803 10804 -10805 -10806 10807
v -10808 -10809 -10810 10811 -10812 10813 10814 -10815 10816 10817 10818
v -10819 10820 10821 10822 10823 10824 10825 -10826 -10827 10828 -10829
v -10830 -10831 10832 -10833 -10834 -10835 -10836 -10837 10838 10839 -10840
v -10841 10842 -10843 -10844 -10845 10846 -10847 10848 10849 -10850 10851
v -10852 10853 -10854 10855 10856 -10857 10858 -10859 10860 -10861 10862
v 10863 -10864 10865 10866 10867 -10868 -10869 10870 -10871 -10872 -10873
v 10874 -10875 10876 10877 -10878 10879 10880 10881 -10882 10883 10884
v 10885 10886 10887 10888 -10889 -10890 10891 -10892 -10893 -10894 10895
v -10896 10897 10898 -10899 10900 10901 10902 -10903 -10904 10905 -10906
v 10907 10908 10909 -10910 -10911 10912 -10913 -10914 -10915 10916 -10917
v 10918 10919 -10920 -10921 -10922 10923 -10924 -10925 -10926 -10927 -10928
v -10929 10930 -10931 -10932 -10933 -10934 -10935 10936 10937 -10938 10939
v 10940 10941 10942 10943 10944 -10945 10946 10947 10948 10949 10950 10951
v -10952 -10953 10954 -10955 -10956 -10957 10958 -10959 -10960 -10961
v -10962 -10963 -10964 10965 -10966 10967 10968 -10969 10970 10971 10972
v -10973 10974 10975 10976 10977 -10978 10979 -10980 10981 10982 -10983
v 10984 -10985 10986 -10987 -10988 -10989 -10990 -10991 10992 10993 -10994
v -10995 10996 -10997 -10998 -10999 11000 -11001 11002 11003 -11004 11005
v 11006 11007 -11008 11009 11010 11011 11012 11013 11014 -11015 -11016
v 11017 -11018 -11019 -11020 11021 -11022 -11023 -11024 -11025 -11026 11027
v 11028 -11029 -11030 11031 -11032 11033 11034 11035 -11036 -11037 11038
v -11039 -11040 -11041 11042 -11043 11044 11045 -11046 11047 -11048 11049
v -11050 11051 11052 -11053 11054 11055 11056 11057 11058 11059 -11060
v -11061 -11062 11063 -11064 -11065 -11066 -11067 -11068 11069 11070 -11071
v 11072 11073 11074 11075 11076 11077 -11078 11079 11080 11081 11082 -11083
v 11084 -11085 -11086 -11087 -11088 -11089 -11090 11091 -11092 11093 11094
v -11095 11096 11097 11098 -11099 -11100 11101 -11102 -11103 -11104 11105
v -11106 11107 11108 -11109 11110 11111 11112 -11113 -11114 11115 -11116
v -11117 11118 11119 -11120 -11121 11122 -11123 -11124 -11125 11126 -11127
v 11128 11129 -11130 11131 11132 11133 -11134 -11135 11136 -11137 -11138
v -11139 -11140 -11141 -11142 11143 -11144 -11145 -11146 11147 -11148 11149
v 11150 -11151 11152 -11153 11154 -11155 11156 11157 -11158 -11159 11160
v 11161 -11162 11163 11164 11165 11166 -11167 11168 -11169 -11170 -11171
v -11172 -11173 -11174 11175 -11176 -11177 -11178 -11179 -11180 11181 11182
v -11183 -11184 11185 -11186 -11187 -11188 11189 -11190 11191 11192 -11193
v 11194 11195 11196 -11197 11198 11199 11200 11201 11202 11203 -11204
v -11205 11206 -11207 -11208 -11209 11210 -11211 11212 11213 11214 -11215
v -11216 11217 11218 -11219 -11220 -11221 11222 -11223 11224 -11225 11226
v -11227 -11228 11229 11230 -11231 -11232 -11233 11234 -11235 11236 11237
v 11238 -11239 11240 11241 11242 -11243 -11244 -11245 11246 -11247 11248
v -11249 11250 -11251 11252 11253 11254 -11255 -11256 -11257 11258 -11259
v 11260 -11261 11262 -11263 -11264 11265 11266 -11267 -11268 -11269 11270
v -11271 11272 11273 11274 -11275 11276 11277 11278 -11279 -11280 -11281
v 11282 -11283 11284 11285 11286 -11287 11288 11289 11290 -11291 -11292
v -11293 11294 -11295 -11296 -11297 11298 -11299 -11300 11301 11302 -11303
v -11304 11305 11306 -11307 11308 -11309 11310 -11311 11312 -11313 11314
v -11315 -11316 -11317 11318 -11319 11320 11321 11322 -11323 -11324 11325
v 11326 -11327 11328 11329 11330 11331 11332 -11333 11334 -11335 -11336
v 11337 11338 -11339 11340 -11341 11342 -11343 11344 11345 11346 -11347
v 11348 -11349 11350 -11351 -11352 -11353 -11354 -11355 -11356 11357 11358
v -11359 -11360 11361 11362 -11363 11364 -11365 11366 -11367 11368 -11369
v 11370 -11371 -11372 11373 11374 -11375 -11376 -11377 11378 -11379 11380
v 11381 11382 -11383 11384 11385 11386 -11387 -11388 -11389 11390 -11391
v -11392 -11393 11394 -11395 11396 11397 11398 -11399 -11400 11401 11402
v -11403 11404 -11405 11406 -11407 11408 11409 11410 -11411 -11412 -11413
v 11414 -11415 11416 11417 11418 -11419 -11420 11421 11422 -11423 -11424
v -11425 11426 -11427 11428 11429 11430 -11431 -11432 -11433 11434 -11435
v -11436 -11437 11438 -11439 11440 -11441 11442 -11443 11444 11445 11446
v -11447 11448 -11449 11450 -11451 -11452 11453 11454 -11455 -11456 11457
v 11458 -11459 -11460 -11461 11462 -11463 11464 -11465 11466 -11467 -11468
v 11469 11470 -11471 11472 -11473 11474 -11475 11476 -11477 11478 -11479
v -11480 11481 11482 -11483 -11484 -11485 11486 -11487 -11488 11489 11490
v -11491 11492 11493 11494 -11495 -11496 -11497 11498 -11499 11500 -11501
v 11502 -11503 11504 11505 11506 -11507 11508 -11509 11510 -11511 11512
v 11513 11514 -11515 -11516 11517 11518 -11519 -11520 -11521 11522 -11523
v 11524 11525 11526 -11527 11528 11529 11530 -11531 -11532 -11533 11534
v -11535 -11536 -11537 11538 -11539 11540 11541 11542 -11543 -11544 -11545
v 11546 -11547 11548 11549 11550 -11551 11552 11553 11554 -11555 -11556
v -11557 11558 -11559 11560 -11561 11562 -11563 -11564 11565 11566 -11567
v -11568 11569 11570 -11571 11572 -11573 11574 -11575 -11576 11577 11578
v -11579 -11580 -11581 11582 -11583 11584 -11585 11586 -11587 -11588 11589
v 11590 -11591 -11592 -11593 11594 -11595 11596 11597 11598 -11599 11600
v -11601 11602 -11603 11604 11605 11606 -11607 11608 11609 11610 -11611
v -11612 -11613 11614 -11615 -11616 11617 11618 -11619 11620 -11621 11622
v -11623 11624 11625 11626 -11627 -11628 -11629 11630 -11631 11632 -11633
v 11634 -11635 -11636 11637 11638 -11639 -11640 -11641 11642 -11643 11644
v 11645 11646 -11647 -11648 11649 11650 -11651 -11652 -11653 11654 -11655
v -11656 -11657 11658 -11659 11660 -11661 11662 -11663 11664 11665 11666
v -11667 -11668 11669 11670 -11671 11672 -11673 11674 -11675 -11676 -11677
v 11678 -11679 11680 11681 11682 -11683 11684 11685 11686 -11687 -11688
v -11689 11690 -11691 11692 -11693 11694 -11695 -11696 11697 11698 -11699
v -11700 -11701 11702 -11703 11704 11705 11706 -11707 -11708 11709 11710
v -11711 11712 11713 11714 -11715 -11716 -11717 11718 -11719 11720 -11721
v 11722 -11723 11724 11725 11726 -11727 -11728 -11729 11730 -11731 11732
v 11733 11734 -11735 -11736 -11737 11738 -11739 -11740 11741 11742 -11743
v -11744 -11745 11746 -11747 11748 -11749 11750 -11751 11752 11753 11754
v -11755 11756 11757 11758 -11759 -11760 11761 11762 -11763 11764 -11765
v 11766 -11767 -11768 11769 11770 -11771 11772 -11773 11774 -11775 11776
v 11777 11778 -11779 -11780 11781 11782 -11783 -11784 -11785 11786 -11787
v -11788 -11789 11790 -11791 11792 11793 11794 11795 11796 -11797 11798
v -11799 11800 -11801 -11802 -11803 -11804 11805 11806 -11807 -11808 -11809
v 11810 -11811 11812 11813 11814 -11815 -11816 11817 11818 -11819 -11820
v 11821 11822 -11823 11824 0
c 
c cleaning up after 24 rounds
c 
c 24 rounds, 873 nodes (446 max), 7904 threads (3 max)
c 7878 avg clim, 6 incs, 18 decs
c 
c 681.28 wall clock time, 1806.58 process time
c 88% utilization for 3 + 1 worker threads on 4 cores
c 
c 0 units produced by additional parallel solver instance
c 
c 15203811 conflicts, 22317 conflicts per second
c 25192536 decisions, 36978 decisions per second
c 2690060570 propagations, 3.9 million propagations per second
c 
c     122   2% lookaheads         1.73 seconds    0%
c     872  11% splits           298.03 seconds   44%
c    2912  37% simplifications  100.28 seconds   15%
c    3248  41% searches         280.57 seconds   41%
c ======================================================
c    7904 100% scheduled jobs   681.28 seconds, 955 MB
c 
c result 10