aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/operation.daase
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-05-14 18:38:39 +0000
committerdos-reis <gdr@axiomatics.org>2013-05-14 18:38:39 +0000
commitf626f5335b837c06d019e00faec4b7f0c6fa8ed7 (patch)
tree82463ab087134c57ec49bb6effff853dddf86dac /src/share/algebra/operation.daase
parentb3a46c91b4848693476332bcd32350926396783d (diff)
downloadopen-axiom-f626f5335b837c06d019e00faec4b7f0c6fa8ed7.tar.gz
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):
Remove redundant declaration for parts.
Diffstat (limited to 'src/share/algebra/operation.daase')
-rw-r--r--src/share/algebra/operation.daase843
1 files changed, 420 insertions, 423 deletions
diff --git a/src/share/algebra/operation.daase b/src/share/algebra/operation.daase
index bdd3e993..d43080c9 100644
--- a/src/share/algebra/operation.daase
+++ b/src/share/algebra/operation.daase
@@ -1,5 +1,5 @@
-(631058 . 3577440564)
+(630940 . 3577545199)
(((*1 *2 *3 *4)
(|partial| -12 (-5 *3 (-1177 *4)) (-4 *4 (-13 (-960) (-579 (-483))))
(-5 *2 (-1177 (-348 (-483)))) (-5 *1 (-1206 *4)))))
@@ -7428,9 +7428,6 @@
(((*1 *2 *2) (-12 (-5 *1 (-132 *2)) (-4 *2 (-482))))
((*1 *1 *2) (-12 (-5 *2 (-582 (-829))) (-5 *1 (-883)))))
(((*1 *2 *1)
- (-12 (-4 *1 (-57 *3 *4 *5)) (-4 *3 (-1127)) (-4 *4 (-322 *3))
- (-4 *5 (-322 *3)) (-5 *2 (-582 *3))))
- ((*1 *2 *1)
(-12 (|has| *1 (-6 -3993)) (-4 *1 (-427 *3)) (-4 *3 (-1127))
(-5 *2 (-582 *3))))
((*1 *2 *1) (-12 (-5 *2 (-582 (-829))) (-5 *1 (-883)))))
@@ -13477,425 +13474,425 @@
(-12 (-5 *3 (-1088)) (-4 *4 (-494)) (-5 *2 (-582 *1)) (-4 *1 (-29 *4))))
((*1 *2 *1) (-12 (-4 *3 (-494)) (-5 *2 (-582 *1)) (-4 *1 (-29 *3)))))
(((*1 *2 *1 *1) (-12 (-4 *1 (-23)) (-5 *2 (-85)))))
-((-1212 . 631005) (-1213 . 630609) (-1214 . 630307) (-1215 . 629911)
- (-1216 . 629790) (-1217 . 629688) (-1218 . 629575) (-1219 . 629459)
- (-1220 . 629406) (-1221 . 629269) (-1222 . 629194) (-1223 . 629038)
- (-1224 . 628810) (-1225 . 627846) (-1226 . 627599) (-1227 . 627315)
- (-1228 . 627031) (-1229 . 626747) (-1230 . 626428) (-1231 . 626336)
- (-1232 . 626244) (-1233 . 626152) (-1234 . 626060) (-1235 . 625968)
- (-1236 . 625876) (-1237 . 625781) (-1238 . 625686) (-1239 . 625594)
- (-1240 . 625502) (-1241 . 625410) (-1242 . 625318) (-1243 . 625226)
- (-1244 . 625124) (-1245 . 625022) (-1246 . 624920) (-1247 . 624828)
- (-1248 . 624777) (-1249 . 624725) (-1250 . 624655) (-1251 . 624235)
- (-1252 . 624041) (-1253 . 624014) (-1254 . 623891) (-1255 . 623768)
- (-1256 . 623624) (-1257 . 623454) (-1258 . 623330) (-1259 . 623091)
- (-1260 . 623018) (-1261 . 622793) (-1262 . 622547) (-1263 . 622494)
- (-1264 . 622316) (-1265 . 622147) (-1266 . 622071) (-1267 . 621998)
- (-1268 . 621845) (-1269 . 621692) (-1270 . 621508) (-1271 . 621327)
- (-1272 . 621272) (-1273 . 621217) (-1274 . 621144) (-1275 . 621068)
- (-1276 . 620991) (-1277 . 620923) (-1278 . 620780) (-1279 . 620673)
- (-1280 . 620605) (-1281 . 620535) (-1282 . 620465) (-1283 . 620415)
- (-1284 . 620365) (-1285 . 620315) (-1286 . 620194) (-1287 . 619878)
- (-1288 . 619809) (-1289 . 619730) (-1290 . 619611) (-1291 . 619531)
- (-1292 . 619451) (-1293 . 619298) (-1294 . 619149) (-1295 . 619073)
- (-1296 . 619016) (-1297 . 618944) (-1298 . 618881) (-1299 . 618818)
- (-1300 . 618757) (-1301 . 618685) (-1302 . 618569) (-1303 . 618517)
- (-1304 . 618462) (-1305 . 618410) (-1306 . 618358) (-1307 . 618330)
- (-1308 . 618302) (-1309 . 618274) (-1310 . 618230) (-1311 . 618159)
- (-1312 . 618108) (-1313 . 618060) (-1314 . 618009) (-1315 . 617957)
- (-1316 . 617841) (-1317 . 617725) (-1318 . 617633) (-1319 . 617541)
- (-1320 . 617418) (-1321 . 617352) (-1322 . 617286) (-1323 . 617227)
- (-1324 . 617199) (-1325 . 617171) (-1326 . 617143) (-1327 . 617115)
- (-1328 . 617005) (-1329 . 616954) (-1330 . 616903) (-1331 . 616852)
- (-1332 . 616801) (-1333 . 616750) (-1334 . 616699) (-1335 . 616671)
- (-1336 . 616643) (-1337 . 616615) (-1338 . 616587) (-1339 . 616559)
- (-1340 . 616531) (-1341 . 616503) (-1342 . 616475) (-1343 . 616447)
- (-1344 . 616344) (-1345 . 616292) (-1346 . 616126) (-1347 . 615942)
- (-1348 . 615731) (-1349 . 615616) (-1350 . 615383) (-1351 . 615284)
- (-1352 . 615191) (-1353 . 615076) (-1354 . 614678) (-1355 . 614460)
- (-1356 . 614411) (-1357 . 614383) (-1358 . 614307) (-1359 . 614208)
- (-1360 . 614109) (-1361 . 614010) (-1362 . 613911) (-1363 . 613812)
- (-1364 . 613713) (-1365 . 613555) (-1366 . 613479) (-1367 . 613312)
- (-1368 . 613254) (-1369 . 613196) (-1370 . 612887) (-1371 . 612633)
- (-1372 . 612549) (-1373 . 612417) (-1374 . 612359) (-1375 . 612307)
- (-1376 . 612225) (-1377 . 612150) (-1378 . 612079) (-1379 . 612025)
- (-1380 . 611974) (-1381 . 611900) (-1382 . 611826) (-1383 . 611745)
- (-1384 . 611664) (-1385 . 611609) (-1386 . 611535) (-1387 . 611461)
- (-1388 . 611387) (-1389 . 611310) (-1390 . 611256) (-1391 . 611198)
- (-1392 . 611099) (-1393 . 611000) (-1394 . 610901) (-1395 . 610802)
- (-1396 . 610703) (-1397 . 610604) (-1398 . 610505) (-1399 . 610391)
- (-1400 . 610277) (-1401 . 610163) (-1402 . 610049) (-1403 . 609935)
- (-1404 . 609821) (-1405 . 609704) (-1406 . 609628) (-1407 . 609552)
- (-1408 . 609165) (-1409 . 608820) (-1410 . 608718) (-1411 . 608457)
- (-1412 . 608355) (-1413 . 608150) (-1414 . 608037) (-1415 . 607935)
- (-1416 . 607778) (-1417 . 607689) (-1418 . 607595) (-1419 . 607515)
- (-1420 . 607441) (-1421 . 607363) (-1422 . 607304) (-1423 . 607246)
- (-1424 . 607144) (-7 . 607116) (-8 . 607088) (-9 . 607060) (-1428 . 606941)
- (-1429 . 606859) (-1430 . 606777) (-1431 . 606695) (-1432 . 606613)
- (-1433 . 606531) (-1434 . 606437) (-1435 . 606367) (-1436 . 606297)
- (-1437 . 606206) (-1438 . 606112) (-1439 . 606030) (-1440 . 605948)
- (-1441 . 605850) (-1442 . 605690) (-1443 . 605492) (-1444 . 605356)
- (-1445 . 605256) (-1446 . 605156) (-1447 . 605063) (-1448 . 605004)
- (-1449 . 604671) (-1450 . 604571) (-1451 . 604453) (-1452 . 604241)
- (-1453 . 604062) (-1454 . 603904) (-1455 . 603701) (-1456 . 603283)
- (-1457 . 603232) (-1458 . 603123) (-1459 . 603008) (-1460 . 602939)
- (-1461 . 602870) (-1462 . 602801) (-1463 . 602735) (-1464 . 602610)
- (-1465 . 602393) (-1466 . 602315) (-1467 . 602265) (-1468 . 602194)
- (-1469 . 602051) (-1470 . 601910) (-1471 . 601829) (-1472 . 601748)
- (-1473 . 601692) (-1474 . 601636) (-1475 . 601563) (-1476 . 601423)
- (-1477 . 601370) (-1478 . 601311) (-1479 . 601252) (-1480 . 601097)
- (-1481 . 601045) (-1482 . 600928) (-1483 . 600811) (-1484 . 600694)
- (-1485 . 600563) (-1486 . 600284) (-1487 . 600149) (-1488 . 600093)
- (-1489 . 600037) (-1490 . 599978) (-1491 . 599919) (-1492 . 599863)
- (-1493 . 599807) (-1494 . 599610) (-1495 . 597268) (-1496 . 597141)
- (-1497 . 596996) (-1498 . 596868) (-1499 . 596816) (-1500 . 596764)
- (-1501 . 596712) (-1502 . 592674) (-1503 . 592580) (-1504 . 592441)
- (-1505 . 592232) (-1506 . 592130) (-1507 . 592028) (-1508 . 591113)
- (-1509 . 591037) (-1510 . 590908) (-1511 . 590783) (-1512 . 590706)
- (-1513 . 590629) (-1514 . 590502) (-1515 . 590375) (-1516 . 590209)
- (-1517 . 590082) (-1518 . 589955) (-1519 . 589738) (-1520 . 589304)
- (-1521 . 588940) (-1522 . 588888) (-1523 . 588829) (-1524 . 588741)
- (-1525 . 588653) (-1526 . 588562) (-1527 . 588471) (-1528 . 588380)
- (-1529 . 588289) (-1530 . 588198) (-1531 . 588107) (-1532 . 588016)
- (-1533 . 587925) (-1534 . 587834) (-1535 . 587743) (-1536 . 587652)
- (-1537 . 587561) (-1538 . 587470) (-1539 . 587379) (-1540 . 587288)
- (-1541 . 587197) (-1542 . 587106) (-1543 . 587015) (-1544 . 586924)
- (-1545 . 586833) (-1546 . 586742) (-1547 . 586651) (-1548 . 586560)
- (-1549 . 586469) (-1550 . 586378) (-1551 . 586287) (-1552 . 586125)
- (-1553 . 586017) (-1554 . 585774) (-1555 . 585487) (-1556 . 585292)
- (-1557 . 585136) (-1558 . 584976) (-1559 . 584925) (-1560 . 584863)
- (-1561 . 584812) (-1562 . 584749) (-1563 . 584696) (-1564 . 584644)
- (-1565 . 584592) (-1566 . 584540) (-1567 . 584450) (-1568 . 584263)
- (-1569 . 584109) (-1570 . 584029) (-1571 . 583949) (-1572 . 583869)
- (-1573 . 583739) (-1574 . 583507) (-1575 . 583479) (-1576 . 583451)
- (-1577 . 583423) (-1578 . 583343) (-1579 . 583266) (-1580 . 583189)
- (-1581 . 583108) (-1582 . 583049) (-1583 . 582891) (-1584 . 582698)
- (-1585 . 582213) (-1586 . 581971) (-1587 . 581709) (-1588 . 581608)
- (-1589 . 581527) (-1590 . 581446) (-1591 . 581376) (-1592 . 581306)
- (-1593 . 581148) (-1594 . 580844) (-1595 . 580616) (-1596 . 580494)
- (-1597 . 580436) (-1598 . 580374) (-1599 . 580312) (-1600 . 580247)
- (-1601 . 580185) (-1602 . 579906) (-1603 . 579838) (-1604 . 579628)
- (-1605 . 579576) (-1606 . 579522) (-1607 . 579431) (-1608 . 579344)
- (-1609 . 577597) (-1610 . 577518) (-1611 . 576773) (-1612 . 576656)
- (-1613 . 576450) (-1614 . 576289) (-1615 . 576128) (-1616 . 575968)
- (-1617 . 575830) (-1618 . 575736) (-1619 . 575638) (-1620 . 575544)
- (-1621 . 575430) (-1622 . 575348) (-1623 . 575251) (-1624 . 575055)
- (-1625 . 574964) (-1626 . 574870) (-1627 . 574803) (-1628 . 574734)
- (-1629 . 574682) (-1630 . 574623) (-1631 . 574549) (-1632 . 574497)
- (-1633 . 574340) (-1634 . 574183) (-1635 . 574031) (-1636 . 573273)
- (-1637 . 572962) (-1638 . 572610) (-1639 . 572393) (-1640 . 572130)
- (-1641 . 571755) (-1642 . 571571) (-1643 . 571437) (-1644 . 571271)
- (-1645 . 571105) (-1646 . 570971) (-1647 . 570837) (-1648 . 570703)
- (-1649 . 570569) (-1650 . 570438) (-1651 . 570307) (-1652 . 570176)
- (-1653 . 569796) (-1654 . 569670) (-1655 . 569542) (-1656 . 569292)
- (-1657 . 569169) (-1658 . 568919) (-1659 . 568796) (-1660 . 568546)
- (-1661 . 568423) (-1662 . 568140) (-1663 . 567869) (-1664 . 567596)
- (-1665 . 567298) (-1666 . 567196) (-1667 . 567051) (-1668 . 566910)
- (-1669 . 566759) (-1670 . 566598) (-1671 . 566510) (-1672 . 566482)
- (-1673 . 566400) (-1674 . 566303) (-1675 . 565835) (-1676 . 565484)
- (-1677 . 565051) (-1678 . 564912) (-1679 . 564842) (-1680 . 564772)
- (-1681 . 564702) (-1682 . 564611) (-1683 . 564520) (-1684 . 564429)
- (-1685 . 564338) (-1686 . 564247) (-1687 . 564161) (-1688 . 564075)
- (-1689 . 563989) (-1690 . 563903) (-1691 . 563817) (-1692 . 563743)
- (-1693 . 563638) (-1694 . 563412) (-1695 . 563334) (-1696 . 563259)
- (-1697 . 563166) (-1698 . 563062) (-1699 . 562966) (-1700 . 562797)
- (-1701 . 562720) (-1702 . 562643) (-1703 . 562552) (-1704 . 562461)
- (-1705 . 562261) (-1706 . 562108) (-1707 . 561955) (-1708 . 561802)
- (-1709 . 561649) (-1710 . 561496) (-1711 . 561343) (-1712 . 561277)
- (-1713 . 561124) (-1714 . 560971) (-1715 . 560818) (-1716 . 560665)
- (-1717 . 560512) (-1718 . 560359) (-1719 . 560206) (-1720 . 560053)
- (-1721 . 559979) (-1722 . 559905) (-1723 . 559850) (-1724 . 559795)
- (-1725 . 559740) (-1726 . 559685) (-1727 . 559614) (-1728 . 559410)
- (-1729 . 559309) (-1730 . 559121) (-1731 . 559028) (-1732 . 558892)
- (-1733 . 558756) (-1734 . 558620) (-1735 . 558552) (-1736 . 558436)
- (-1737 . 558320) (-1738 . 558204) (-1739 . 558151) (-1740 . 558066)
- (-1741 . 557981) (-1742 . 557673) (-1743 . 557618) (-1744 . 556966)
- (-1745 . 556651) (-1746 . 556367) (-1747 . 556249) (-1748 . 556130)
- (-1749 . 556071) (-1750 . 556012) (-1751 . 555961) (-1752 . 555910)
- (-1753 . 555859) (-1754 . 555806) (-1755 . 555753) (-1756 . 555694)
- (-1757 . 555581) (-1758 . 555468) (-1759 . 555301) (-1760 . 555209)
- (-1761 . 555096) (-1762 . 555012) (-1763 . 554897) (-1764 . 554806)
- (-1765 . 554715) (-1766 . 554594) (-1767 . 554407) (-1768 . 554355)
- (-1769 . 554300) (-1770 . 554113) (-1771 . 553990) (-1772 . 553917)
- (-1773 . 553844) (-1774 . 553724) (-1775 . 553651) (-1776 . 553578)
- (-1777 . 553238) (-1778 . 553165) (-1779 . 552945) (-1780 . 552612)
- (-1781 . 552429) (-1782 . 552286) (-1783 . 551926) (-1784 . 551758)
- (-1785 . 551590) (-1786 . 551334) (-1787 . 551078) (-1788 . 550883)
- (-1789 . 550688) (-1790 . 550094) (-1791 . 550018) (-1792 . 549879)
- (-1793 . 549472) (-1794 . 549345) (-1795 . 549188) (-1796 . 548871)
- (-1797 . 548391) (-1798 . 547911) (-1799 . 547409) (-1800 . 547341)
- (-1801 . 547270) (-1802 . 547199) (-1803 . 547027) (-1804 . 546908)
- (-1805 . 546789) (-1806 . 546713) (-1807 . 546637) (-1808 . 546364)
- (-1809 . 546250) (-1810 . 546199) (-1811 . 546148) (-1812 . 546097)
- (-1813 . 546046) (-1814 . 545995) (-1815 . 545854) (-1816 . 545681)
- (-1817 . 545450) (-1818 . 545264) (-1819 . 545236) (-1820 . 545208)
- (-1821 . 545180) (-1822 . 545152) (-1823 . 545124) (-1824 . 545096)
- (-1825 . 545068) (-1826 . 545017) (-1827 . 544951) (-1828 . 544861)
- (-1829 . 544490) (-1830 . 544339) (-1831 . 544188) (-1832 . 543983)
- (-1833 . 543861) (-1834 . 543787) (-1835 . 543710) (-1836 . 543636)
- (-1837 . 543559) (-1838 . 543482) (-1839 . 543408) (-1840 . 543331)
- (-1841 . 543098) (-1842 . 542945) (-1843 . 542650) (-1844 . 542497)
- (-1845 . 542175) (-1846 . 542037) (-1847 . 541899) (-1848 . 541819)
- (-1849 . 541739) (-1850 . 541475) (-1851 . 540744) (-1852 . 540608)
- (-1853 . 540518) (-1854 . 540383) (-1855 . 540316) (-1856 . 540248)
- (-1857 . 540161) (-1858 . 540074) (-1859 . 539907) (-1860 . 539833)
- (-1861 . 539689) (-1862 . 539229) (-1863 . 538850) (-1864 . 538088)
- (-1865 . 537944) (-1866 . 537800) (-1867 . 537638) (-1868 . 537401)
- (-1869 . 537261) (-1870 . 537115) (-1871 . 536876) (-1872 . 536640)
- (-1873 . 536401) (-1874 . 536209) (-1875 . 536086) (-1876 . 535882)
- (-1877 . 535659) (-1878 . 535420) (-1879 . 535279) (-1880 . 535141)
- (-1881 . 535002) (-1882 . 534749) (-1883 . 534493) (-1884 . 534336)
- (-1885 . 534182) (-1886 . 533942) (-1887 . 533657) (-1888 . 533519)
- (-1889 . 533432) (-1890 . 532766) (-1891 . 532590) (-1892 . 532408)
- (-1893 . 532232) (-1894 . 532050) (-1895 . 531871) (-1896 . 531692)
- (-1897 . 531505) (-1898 . 531123) (-1899 . 530944) (-1900 . 530765)
- (-1901 . 530578) (-1902 . 530196) (-1903 . 529203) (-1904 . 528819)
- (-1905 . 528435) (-1906 . 528317) (-1907 . 528160) (-1908 . 528018)
- (-1909 . 527901) (-1910 . 527719) (-1911 . 527595) (-1912 . 527306)
- (-1913 . 527017) (-1914 . 526734) (-1915 . 526451) (-1916 . 526173)
- (-1917 . 526085) (-1918 . 526000) (-1919 . 525903) (-1920 . 525806)
- (-1921 . 525586) (-1922 . 525486) (-1923 . 525383) (-1924 . 525305)
- (-1925 . 524980) (-1926 . 524688) (-1927 . 524615) (-1928 . 524230)
- (-1929 . 524202) (-1930 . 524003) (-1931 . 523829) (-1932 . 523588)
- (-1933 . 523533) (-1934 . 523458) (-1935 . 523090) (-1936 . 522975)
- (-1937 . 522898) (-1938 . 522825) (-1939 . 522744) (-1940 . 522663)
- (-1941 . 522582) (-1942 . 522481) (-1943 . 522422) (-1944 . 522184)
- (-1945 . 522062) (-1946 . 521940) (-1947 . 521713) (-1948 . 521660)
- (-1949 . 521606) (-1950 . 521274) (-1951 . 520950) (-1952 . 520762)
- (-1953 . 520571) (-1954 . 520407) (-1955 . 520072) (-1956 . 519905)
- (-1957 . 519664) (-1958 . 519340) (-1959 . 519150) (-1960 . 518935)
- (-1961 . 518764) (-1962 . 518342) (-1963 . 518115) (-1964 . 517844)
- (-1965 . 517707) (-1966 . 517566) (-1967 . 517089) (-1968 . 516966)
- (-1969 . 516730) (-1970 . 516476) (-1971 . 516226) (-1972 . 515933)
- (-1973 . 515793) (-1974 . 515653) (-1975 . 515513) (-1976 . 515324)
- (-1977 . 515135) (-1978 . 514960) (-1979 . 514686) (-1980 . 514251)
- (-1981 . 514223) (-1982 . 514151) (-1983 . 514018) (-1984 . 513943)
- (-1985 . 513784) (-1986 . 513621) (-1987 . 513460) (-1988 . 513293)
- (-1989 . 513240) (-1990 . 513187) (-1991 . 513058) (-1992 . 512998)
- (-1993 . 512945) (-1994 . 512875) (-1995 . 512815) (-1996 . 512756)
- (-1997 . 512696) (-1998 . 512637) (-1999 . 512577) (-2000 . 512518)
- (-2001 . 512459) (-2002 . 512317) (-2003 . 512222) (-2004 . 512131)
- (-2005 . 512015) (-2006 . 511921) (-2007 . 511823) (-2008 . 511729)
- (-2009 . 511588) (-2010 . 511326) (-2011 . 510470) (-2012 . 510314)
- (-2013 . 509945) (-2014 . 509889) (-2015 . 509838) (-2016 . 509735)
- (-2017 . 509650) (-2018 . 509562) (-2019 . 509416) (-2020 . 509267)
- (-2021 . 508977) (-2022 . 508899) (-2023 . 508824) (-2024 . 508771)
- (-2025 . 508718) (-2026 . 508687) (-2027 . 508624) (-2028 . 508506)
- (-2029 . 508417) (-2030 . 508297) (-2031 . 508002) (-2032 . 507808)
- (-2033 . 507620) (-2034 . 507475) (-2035 . 507330) (-2036 . 507044)
- (-2037 . 506602) (-2038 . 506568) (-2039 . 506531) (-2040 . 506494)
- (-2041 . 506457) (-2042 . 506420) (-2043 . 506389) (-2044 . 506358)
- (-2045 . 506327) (-2046 . 506293) (-2047 . 506259) (-2048 . 506205)
- (-2049 . 506029) (-2050 . 505795) (-2051 . 505561) (-2052 . 505332)
- (-2053 . 505280) (-2054 . 505225) (-2055 . 505156) (-2056 . 505068)
- (-2057 . 504999) (-2058 . 504927) (-2059 . 504697) (-2060 . 504646)
- (-2061 . 504592) (-2062 . 504561) (-2063 . 504455) (-2064 . 504230)
- (-2065 . 503920) (-2066 . 503746) (-2067 . 503564) (-2068 . 503293)
- (-2069 . 503220) (-2070 . 503155) (-2071 . 502679) (-2072 . 502117)
- (-2073 . 501391) (-2074 . 500830) (-2075 . 500202) (-2076 . 499623)
- (-2077 . 499549) (-2078 . 499497) (-2079 . 499445) (-2080 . 499371)
- (-2081 . 499316) (-2082 . 499264) (-2083 . 499212) (-2084 . 499160)
- (-2085 . 499090) (-2086 . 498642) (-2087 . 498436) (-2088 . 498187)
- (-2089 . 497853) (-2090 . 497599) (-2091 . 497297) (-2092 . 497094)
- (-2093 . 496805) (-2094 . 496257) (-2095 . 496120) (-2096 . 495918)
- (-2097 . 495638) (-2098 . 495553) (-2099 . 495220) (-2100 . 495079)
- (-2101 . 494788) (-2102 . 494568) (-2103 . 494442) (-2104 . 494317)
- (-2105 . 494170) (-2106 . 494026) (-2107 . 493910) (-2108 . 493779)
- (-2109 . 493407) (-2110 . 493147) (-2111 . 492877) (-2112 . 492637)
- (-2113 . 492307) (-2114 . 491967) (-2115 . 491559) (-2116 . 491141)
- (-2117 . 490944) (-2118 . 490669) (-2119 . 490501) (-2120 . 490305)
- (-2121 . 490083) (-2122 . 489928) (-2123 . 489743) (-2124 . 489640)
- (-2125 . 489612) (-2126 . 489584) (-2127 . 489410) (-2128 . 489336)
- (-2129 . 489275) (-2130 . 489222) (-2131 . 489153) (-2132 . 489084)
- (-2133 . 488965) (-2134 . 488787) (-2135 . 488732) (-2136 . 488486)
- (-2137 . 488413) (-2138 . 488343) (-2139 . 488273) (-2140 . 488184)
- (-2141 . 487994) (-2142 . 487921) (-2143 . 487852) (-2144 . 487787)
- (-2145 . 487732) (-2146 . 487641) (-2147 . 487350) (-2148 . 487024)
- (-2149 . 486950) (-2150 . 486628) (-2151 . 486423) (-2152 . 486338)
- (-2153 . 486253) (-2154 . 486168) (-2155 . 486083) (-2156 . 485998)
- (-2157 . 485913) (-2158 . 485828) (-2159 . 485743) (-2160 . 485658)
- (-2161 . 485573) (-2162 . 485488) (-2163 . 485403) (-2164 . 485318)
- (-2165 . 485233) (-2166 . 485148) (-2167 . 485063) (-2168 . 484978)
- (-2169 . 484893) (-2170 . 484808) (-2171 . 484723) (-2172 . 484638)
- (-2173 . 484553) (-2174 . 484468) (-2175 . 484383) (-2176 . 484298)
- (-2177 . 484213) (-2178 . 484111) (-2179 . 484023) (-2180 . 483815)
- (-2181 . 483757) (-2182 . 483702) (-2183 . 483615) (-2184 . 483504)
- (-2185 . 483418) (-2186 . 483272) (-2187 . 483210) (-2188 . 483182)
- (-2189 . 483154) (-2190 . 483126) (-2191 . 483098) (-2192 . 482929)
- (-2193 . 482778) (-2194 . 482627) (-2195 . 482455) (-2196 . 482247)
- (-2197 . 482123) (-2198 . 481915) (-2199 . 481823) (-2200 . 481731)
- (-2201 . 481596) (-2202 . 481501) (-2203 . 481407) (-2204 . 481312)
- (-2205 . 481188) (-2206 . 481160) (-2207 . 481132) (-2208 . 481104)
- (-2209 . 481076) (-2210 . 481048) (-2211 . 481020) (-2212 . 480992)
- (-2213 . 480964) (-2214 . 480936) (-2215 . 480908) (-2216 . 480880)
- (-2217 . 480852) (-2218 . 480824) (-2219 . 480796) (-2220 . 480768)
- (-2221 . 480740) (-2222 . 480687) (-2223 . 480659) (-2224 . 480631)
- (-2225 . 480553) (-2226 . 480500) (-2227 . 480447) (-2228 . 480394)
- (-2229 . 480316) (-2230 . 480226) (-2231 . 480131) (-2232 . 480037)
- (-2233 . 479955) (-2234 . 479649) (-2235 . 479453) (-2236 . 479358)
- (-2237 . 479250) (-2238 . 478839) (-2239 . 478811) (-2240 . 478647)
- (-2241 . 478570) (-2242 . 478383) (-2243 . 478204) (-2244 . 477780)
- (-2245 . 477628) (-2246 . 477448) (-2247 . 477275) (-2248 . 477015)
- (-2249 . 476763) (-2250 . 475952) (-2251 . 475785) (-2252 . 475567)
- (-2253 . 474743) (-2254 . 474612) (-2255 . 474481) (-2256 . 474350)
- (-2257 . 474219) (-2258 . 474088) (-2259 . 473957) (-2260 . 473762)
- (-2261 . 473568) (-2262 . 473425) (-2263 . 473110) (-2264 . 472995)
- (-2265 . 472655) (-2266 . 472495) (-2267 . 472356) (-2268 . 472217)
- (-2269 . 472088) (-2270 . 472003) (-2271 . 471951) (-2272 . 471471)
- (-2273 . 470209) (-2274 . 470082) (-2275 . 469940) (-2276 . 469604)
- (-2277 . 469499) (-2278 . 469250) (-2279 . 469018) (-2280 . 468913)
- (-2281 . 468838) (-2282 . 468763) (-2283 . 468688) (-2284 . 468629)
- (-2285 . 468559) (-2286 . 468506) (-2287 . 468444) (-2288 . 468374)
- (-2289 . 468011) (-2290 . 467724) (-2291 . 467614) (-2292 . 467427)
- (-2293 . 467334) (-2294 . 467241) (-2295 . 467154) (-2296 . 466934)
- (-2297 . 466715) (-2298 . 466297) (-2299 . 466025) (-2300 . 465882)
- (-2301 . 465789) (-2302 . 465646) (-2303 . 465494) (-2304 . 465340)
- (-2305 . 465270) (-2306 . 465063) (-2307 . 464886) (-2308 . 464677)
- (-2309 . 464500) (-2310 . 464466) (-2311 . 464432) (-2312 . 464401)
- (-2313 . 464283) (-2314 . 463970) (-2315 . 463692) (-2316 . 463571)
- (-2317 . 463444) (-2318 . 463359) (-2319 . 463286) (-2320 . 463197)
- (-2321 . 463126) (-2322 . 463070) (-2323 . 463014) (-2324 . 462958)
- (-2325 . 462888) (-2326 . 462818) (-2327 . 462748) (-2328 . 462650)
- (-2329 . 462572) (-2330 . 462494) (-2331 . 462351) (-2332 . 462272)
- (-2333 . 462200) (-2334 . 461997) (-2335 . 461941) (-2336 . 461753)
- (-2337 . 461654) (-2338 . 461536) (-2339 . 461415) (-2340 . 461272)
- (-2341 . 461129) (-2342 . 460989) (-2343 . 460849) (-2344 . 460706)
- (-2345 . 460580) (-2346 . 460451) (-2347 . 460328) (-2348 . 460205)
- (-2349 . 460100) (-2350 . 459995) (-2351 . 459893) (-2352 . 459743)
- (-2353 . 459590) (-2354 . 459437) (-2355 . 459293) (-2356 . 459139)
- (-2357 . 459063) (-2358 . 458984) (-2359 . 458831) (-2360 . 458752)
- (-2361 . 458673) (-2362 . 458594) (-2363 . 458492) (-2364 . 458433)
- (-2365 . 458371) (-2366 . 458254) (-2367 . 458128) (-2368 . 458051)
- (-2369 . 457919) (-2370 . 457613) (-2371 . 457430) (-2372 . 456885)
- (-2373 . 456665) (-2374 . 456491) (-2375 . 456321) (-2376 . 456248)
- (-2377 . 456172) (-2378 . 456093) (-2379 . 455796) (-2380 . 455634)
- (-2381 . 455400) (-2382 . 454958) (-2383 . 454828) (-2384 . 454688)
- (-2385 . 454379) (-2386 . 454077) (-2387 . 453761) (-2388 . 453355)
- (-2389 . 453287) (-2390 . 453219) (-2391 . 453151) (-2392 . 453057)
- (-2393 . 452950) (-2394 . 452843) (-2395 . 452742) (-2396 . 452641)
- (-2397 . 452540) (-2398 . 452463) (-2399 . 452070) (-2400 . 451653)
- (-2401 . 451026) (-2402 . 450962) (-2403 . 450843) (-2404 . 450724)
- (-2405 . 450616) (-2406 . 450508) (-2407 . 450352) (-2408 . 449752)
- (-2409 . 449469) (-2410 . 449390) (-2411 . 449336) (-2412 . 449168)
- (-2413 . 449046) (-2414 . 448650) (-2415 . 448414) (-2416 . 448213)
- (-2417 . 448005) (-2418 . 447812) (-2419 . 447545) (-2420 . 447366)
- (-2421 . 447297) (-2422 . 447221) (-2423 . 447080) (-2424 . 446877)
- (-2425 . 446733) (-2426 . 446483) (-2427 . 446175) (-2428 . 445819)
- (-2429 . 445660) (-2430 . 445454) (-2431 . 445294) (-2432 . 445221)
- (-2433 . 445187) (-2434 . 445122) (-2435 . 445085) (-2436 . 444948)
- (-2437 . 444710) (-2438 . 444640) (-2439 . 444454) (-2440 . 444205)
- (-2441 . 444049) (-2442 . 443526) (-2443 . 443329) (-2444 . 443117)
- (-2445 . 442955) (-2446 . 442556) (-2447 . 442389) (-2448 . 441314)
- (-2449 . 441191) (-2450 . 440974) (-2451 . 440844) (-2452 . 440714)
- (-2453 . 440557) (-2454 . 440454) (-2455 . 440396) (-2456 . 440338)
- (-2457 . 440232) (-2458 . 440126) (-2459 . 439210) (-2460 . 437083)
- (-2461 . 436269) (-2462 . 434466) (-2463 . 434398) (-2464 . 434330)
- (-2465 . 434262) (-2466 . 434194) (-2467 . 434126) (-2468 . 434048)
- (-2469 . 433692) (-2470 . 433510) (-2471 . 432971) (-2472 . 432795)
- (-2473 . 432574) (-2474 . 432353) (-2475 . 432132) (-2476 . 431914)
- (-2477 . 431696) (-2478 . 431478) (-2479 . 431260) (-2480 . 431042)
- (-2481 . 430824) (-2482 . 430723) (-2483 . 429990) (-2484 . 429935)
- (-2485 . 429880) (-2486 . 429825) (-2487 . 429770) (-2488 . 429620)
- (-2489 . 429372) (-2490 . 429211) (-2491 . 429031) (-2492 . 428744)
- (-2493 . 428358) (-2494 . 427486) (-2495 . 427146) (-2496 . 426978)
- (-2497 . 426756) (-2498 . 426506) (-2499 . 426158) (-2500 . 425148)
- (-2501 . 424837) (-2502 . 424625) (-2503 . 424061) (-2504 . 423548)
- (-2505 . 421792) (-2506 . 421320) (-2507 . 420721) (-2508 . 420471)
- (-2509 . 420337) (-2510 . 420125) (-2511 . 420049) (-2512 . 419973)
- (-2513 . 419866) (-2514 . 419684) (-2515 . 419519) (-2516 . 419341)
- (-2517 . 418760) (-2518 . 418599) (-2519 . 418026) (-2520 . 417956)
- (-2521 . 417881) (-2522 . 417809) (-2523 . 417671) (-2524 . 417484)
- (-2525 . 417377) (-2526 . 417270) (-2527 . 417155) (-2528 . 417040)
- (-2529 . 416925) (-2530 . 416647) (-2531 . 416497) (-2532 . 416354)
- (-2533 . 416281) (-2534 . 416196) (-2535 . 416123) (-2536 . 416050)
- (-2537 . 415977) (-2538 . 415834) (-2539 . 415684) (-2540 . 415510)
- (-2541 . 415360) (-2542 . 415210) (-2543 . 415084) (-2544 . 414698)
- (-2545 . 414414) (-2546 . 414130) (-2547 . 413721) (-2548 . 413437)
- (-2549 . 413364) (-2550 . 413217) (-2551 . 413111) (-2552 . 413037)
- (-2553 . 412967) (-2554 . 412888) (-2555 . 412811) (-2556 . 412734)
- (-2557 . 412585) (-2558 . 412482) (-2559 . 412424) (-2560 . 412360)
- (-2561 . 412296) (-2562 . 412199) (-2563 . 412102) (-2564 . 411942)
- (-2565 . 411856) (-2566 . 411770) (-2567 . 411685) (-2568 . 411626)
- (-2569 . 411567) (-2570 . 411508) (-2571 . 411449) (-2572 . 411279)
- (-2573 . 411191) (-2574 . 411094) (-2575 . 411060) (-2576 . 411029)
- (-2577 . 410945) (-2578 . 410889) (-2579 . 410827) (-2580 . 410793)
- (-2581 . 410759) (-2582 . 410725) (-2583 . 410691) (-2584 . 410657)
- (-2585 . 410623) (-2586 . 410589) (-2587 . 410555) (-2588 . 410521)
- (-2589 . 410409) (-2590 . 410375) (-2591 . 410324) (-2592 . 410290)
- (-2593 . 410193) (-2594 . 410131) (-2595 . 410040) (-2596 . 409949)
- (-2597 . 409894) (-2598 . 409842) (-2599 . 409790) (-2600 . 409738)
- (-2601 . 409686) (-2602 . 409263) (-2603 . 409097) (-2604 . 409044)
- (-2605 . 408975) (-2606 . 408922) (-2607 . 408692) (-2608 . 408536)
- (-2609 . 408015) (-2610 . 407874) (-2611 . 407840) (-2612 . 407785)
- (-2613 . 407075) (-2614 . 406760) (-2615 . 406256) (-2616 . 406178)
- (-2617 . 406126) (-2618 . 406074) (-2619 . 405890) (-2620 . 405838)
- (-2621 . 405786) (-2622 . 405710) (-2623 . 405648) (-2624 . 405430)
- (-2625 . 405363) (-2626 . 405269) (-2627 . 405175) (-2628 . 404992)
- (-2629 . 404910) (-2630 . 404788) (-2631 . 404642) (-2632 . 403991)
- (-2633 . 403289) (-2634 . 403185) (-2635 . 403084) (-2636 . 402983)
- (-2637 . 402872) (-2638 . 402704) (-2639 . 402500) (-2640 . 402407)
- (-2641 . 402330) (-2642 . 402274) (-2643 . 402204) (-2644 . 402084)
- (-2645 . 401983) (-2646 . 401886) (-2647 . 401806) (-2648 . 401726)
- (-2649 . 401649) (-2650 . 401579) (-2651 . 401509) (-2652 . 401439)
- (-2653 . 401369) (-2654 . 401299) (-2655 . 401229) (-2656 . 401136)
- (-2657 . 401008) (-2658 . 400766) (-2659 . 400596) (-2660 . 400227)
- (-2661 . 400058) (-2662 . 399942) (-2663 . 399446) (-2664 . 399065)
- (-2665 . 398819) (-2666 . 398727) (-2667 . 398630) (-2668 . 397968)
- (-2669 . 397855) (-2670 . 397781) (-2671 . 397689) (-2672 . 397499)
- (-2673 . 397309) (-2674 . 397238) (-2675 . 397167) (-2676 . 397086)
- (-2677 . 397005) (-2678 . 396880) (-2679 . 396747) (-2680 . 396666)
- (-2681 . 396592) (-2682 . 396427) (-2683 . 396270) (-2684 . 396042)
- (-2685 . 395894) (-2686 . 395790) (-2687 . 395686) (-2688 . 395601)
- (-2689 . 395233) (-2690 . 395152) (-2691 . 395065) (-2692 . 394984)
- (-2693 . 394788) (-2694 . 394568) (-2695 . 394381) (-2696 . 394059)
- (-2697 . 393766) (-2698 . 393473) (-2699 . 393163) (-2700 . 392846)
- (-2701 . 392694) (-2702 . 392506) (-2703 . 392033) (-2704 . 391951)
- (-2705 . 391735) (-2706 . 391519) (-2707 . 391260) (-2708 . 390839)
- (-2709 . 390326) (-2710 . 390196) (-2711 . 389922) (-2712 . 389743)
- (-2713 . 389628) (-2714 . 389524) (-2715 . 389469) (-2716 . 389392)
- (-2717 . 389322) (-2718 . 389249) (-2719 . 389194) (-2720 . 389121)
- (-2721 . 389066) (-2722 . 388711) (-2723 . 388303) (-2724 . 388150)
- (-2725 . 387997) (-2726 . 387916) (-2727 . 387763) (-2728 . 387610)
- (-2729 . 387475) (-2730 . 387340) (-2731 . 387205) (-2732 . 387070)
- (-2733 . 386935) (-2734 . 386800) (-2735 . 386744) (-2736 . 386591)
- (-2737 . 386480) (-2738 . 386369) (-2739 . 386284) (-2740 . 386174)
- (-2741 . 386071) (-2742 . 381920) (-2743 . 381472) (-2744 . 381045)
- (-2745 . 380428) (-2746 . 379827) (-2747 . 379609) (-2748 . 379431)
- (-2749 . 379172) (-2750 . 378761) (-2751 . 378467) (-2752 . 378024)
- (-2753 . 377846) (-2754 . 377453) (-2755 . 377060) (-2756 . 376875)
- (-2757 . 376668) (-2758 . 376448) (-2759 . 376142) (-2760 . 375943)
- (-2761 . 375314) (-2762 . 375157) (-2763 . 374768) (-2764 . 374717)
- (-2765 . 374668) (-2766 . 374617) (-2767 . 374569) (-2768 . 374517)
- (-2769 . 374371) (-2770 . 374319) (-2771 . 374173) (-2772 . 374121)
- (-2773 . 373975) (-2774 . 373924) (-2775 . 373549) (-2776 . 373498)
- (-2777 . 373449) (-2778 . 373398) (-2779 . 373350) (-2780 . 373298)
- (-2781 . 373249) (-2782 . 373197) (-2783 . 373148) (-2784 . 373096)
- (-2785 . 373047) (-2786 . 372981) (-2787 . 372863) (-2788 . 371701)
- (-2789 . 371284) (-2790 . 371176) (-2791 . 370934) (-2792 . 370784)
- (-2793 . 370634) (-2794 . 370473) (-2795 . 368266) (-2796 . 368005)
- (-2797 . 367851) (-2798 . 367705) (-2799 . 367559) (-2800 . 367340)
- (-2801 . 367208) (-2802 . 367133) (-2803 . 367058) (-2804 . 366923)
- (-2805 . 366794) (-2806 . 366665) (-2807 . 366539) (-2808 . 366413)
- (-2809 . 366287) (-2810 . 366161) (-2811 . 366058) (-2812 . 365958)
- (-2813 . 365864) (-2814 . 365734) (-2815 . 365583) (-2816 . 365207)
- (-2817 . 365093) (-2818 . 364852) (-2819 . 364394) (-2820 . 364084)
- (-2821 . 363517) (-2822 . 362948) (-2823 . 361938) (-2824 . 361396)
- (-2825 . 361083) (-2826 . 360745) (-2827 . 360414) (-2828 . 360094)
- (-2829 . 360041) (-2830 . 359914) (-2831 . 359412) (-2832 . 358269)
- (-2833 . 358214) (-2834 . 358159) (-2835 . 358083) (-2836 . 357964)
- (-2837 . 357889) (-2838 . 357814) (-2839 . 357736) (-2840 . 357513)
- (-2841 . 357454) (-2842 . 357395) (-2843 . 357292) (-2844 . 357189)
- (-2845 . 357086) (-2846 . 356983) (-2847 . 356902) (-2848 . 356828)
- (-2849 . 356613) (-2850 . 356379) (-2851 . 356345) (-2852 . 356311)
- (-2853 . 356283) (-2854 . 356255) (-2855 . 356038) (-2856 . 355760)
- (-2857 . 355610) (-2858 . 355480) (-2859 . 355350) (-2860 . 355250)
- (-2861 . 355073) (-2862 . 354913) (-2863 . 354813) (-2864 . 354636)
- (-2865 . 354476) (-2866 . 354317) (-2867 . 354178) (-2868 . 354028)
- (-2869 . 353898) (-2870 . 353768) (-2871 . 353621) (-2872 . 353494)
- (-2873 . 353391) (-2874 . 353284) (-2875 . 353187) (-2876 . 353022)
- (-2877 . 352874) (-2878 . 352459) (-2879 . 352359) (-2880 . 352256)
- (-2881 . 352168) (-2882 . 352088) (-2883 . 351938) (-2884 . 351808)
- (-2885 . 351756) (-2886 . 351683) (-2887 . 351608) (-2888 . 351332)
+((-1212 . 630887) (-1213 . 630491) (-1214 . 630189) (-1215 . 629793)
+ (-1216 . 629672) (-1217 . 629570) (-1218 . 629457) (-1219 . 629341)
+ (-1220 . 629288) (-1221 . 629151) (-1222 . 629076) (-1223 . 628920)
+ (-1224 . 628692) (-1225 . 627728) (-1226 . 627481) (-1227 . 627197)
+ (-1228 . 626913) (-1229 . 626629) (-1230 . 626310) (-1231 . 626218)
+ (-1232 . 626126) (-1233 . 626034) (-1234 . 625942) (-1235 . 625850)
+ (-1236 . 625758) (-1237 . 625663) (-1238 . 625568) (-1239 . 625476)
+ (-1240 . 625384) (-1241 . 625292) (-1242 . 625200) (-1243 . 625108)
+ (-1244 . 625006) (-1245 . 624904) (-1246 . 624802) (-1247 . 624710)
+ (-1248 . 624659) (-1249 . 624607) (-1250 . 624537) (-1251 . 624117)
+ (-1252 . 623923) (-1253 . 623896) (-1254 . 623773) (-1255 . 623650)
+ (-1256 . 623506) (-1257 . 623336) (-1258 . 623212) (-1259 . 622973)
+ (-1260 . 622900) (-1261 . 622675) (-1262 . 622429) (-1263 . 622376)
+ (-1264 . 622198) (-1265 . 622029) (-1266 . 621953) (-1267 . 621880)
+ (-1268 . 621727) (-1269 . 621574) (-1270 . 621390) (-1271 . 621209)
+ (-1272 . 621154) (-1273 . 621099) (-1274 . 621026) (-1275 . 620950)
+ (-1276 . 620873) (-1277 . 620805) (-1278 . 620662) (-1279 . 620555)
+ (-1280 . 620487) (-1281 . 620417) (-1282 . 620347) (-1283 . 620297)
+ (-1284 . 620247) (-1285 . 620197) (-1286 . 620076) (-1287 . 619760)
+ (-1288 . 619691) (-1289 . 619612) (-1290 . 619493) (-1291 . 619413)
+ (-1292 . 619333) (-1293 . 619180) (-1294 . 619031) (-1295 . 618955)
+ (-1296 . 618898) (-1297 . 618826) (-1298 . 618763) (-1299 . 618700)
+ (-1300 . 618639) (-1301 . 618567) (-1302 . 618451) (-1303 . 618399)
+ (-1304 . 618344) (-1305 . 618292) (-1306 . 618240) (-1307 . 618212)
+ (-1308 . 618184) (-1309 . 618156) (-1310 . 618112) (-1311 . 618041)
+ (-1312 . 617990) (-1313 . 617942) (-1314 . 617891) (-1315 . 617839)
+ (-1316 . 617723) (-1317 . 617607) (-1318 . 617515) (-1319 . 617423)
+ (-1320 . 617300) (-1321 . 617234) (-1322 . 617168) (-1323 . 617109)
+ (-1324 . 617081) (-1325 . 617053) (-1326 . 617025) (-1327 . 616997)
+ (-1328 . 616887) (-1329 . 616836) (-1330 . 616785) (-1331 . 616734)
+ (-1332 . 616683) (-1333 . 616632) (-1334 . 616581) (-1335 . 616553)
+ (-1336 . 616525) (-1337 . 616497) (-1338 . 616469) (-1339 . 616441)
+ (-1340 . 616413) (-1341 . 616385) (-1342 . 616357) (-1343 . 616329)
+ (-1344 . 616226) (-1345 . 616174) (-1346 . 616008) (-1347 . 615824)
+ (-1348 . 615613) (-1349 . 615498) (-1350 . 615265) (-1351 . 615166)
+ (-1352 . 615073) (-1353 . 614958) (-1354 . 614560) (-1355 . 614342)
+ (-1356 . 614293) (-1357 . 614265) (-1358 . 614189) (-1359 . 614090)
+ (-1360 . 613991) (-1361 . 613892) (-1362 . 613793) (-1363 . 613694)
+ (-1364 . 613595) (-1365 . 613437) (-1366 . 613361) (-1367 . 613194)
+ (-1368 . 613136) (-1369 . 613078) (-1370 . 612769) (-1371 . 612515)
+ (-1372 . 612431) (-1373 . 612299) (-1374 . 612241) (-1375 . 612189)
+ (-1376 . 612107) (-1377 . 612032) (-1378 . 611961) (-1379 . 611907)
+ (-1380 . 611856) (-1381 . 611782) (-1382 . 611708) (-1383 . 611627)
+ (-1384 . 611546) (-1385 . 611491) (-1386 . 611417) (-1387 . 611343)
+ (-1388 . 611269) (-1389 . 611192) (-1390 . 611138) (-1391 . 611080)
+ (-1392 . 610981) (-1393 . 610882) (-1394 . 610783) (-1395 . 610684)
+ (-1396 . 610585) (-1397 . 610486) (-1398 . 610387) (-1399 . 610273)
+ (-1400 . 610159) (-1401 . 610045) (-1402 . 609931) (-1403 . 609817)
+ (-1404 . 609703) (-1405 . 609586) (-1406 . 609510) (-1407 . 609434)
+ (-1408 . 609047) (-1409 . 608702) (-1410 . 608600) (-1411 . 608339)
+ (-1412 . 608237) (-1413 . 608032) (-1414 . 607919) (-1415 . 607817)
+ (-1416 . 607660) (-1417 . 607571) (-1418 . 607477) (-1419 . 607397)
+ (-1420 . 607323) (-1421 . 607245) (-1422 . 607186) (-1423 . 607128)
+ (-1424 . 607026) (-7 . 606998) (-8 . 606970) (-9 . 606942) (-1428 . 606823)
+ (-1429 . 606741) (-1430 . 606659) (-1431 . 606577) (-1432 . 606495)
+ (-1433 . 606413) (-1434 . 606319) (-1435 . 606249) (-1436 . 606179)
+ (-1437 . 606088) (-1438 . 605994) (-1439 . 605912) (-1440 . 605830)
+ (-1441 . 605732) (-1442 . 605572) (-1443 . 605374) (-1444 . 605238)
+ (-1445 . 605138) (-1446 . 605038) (-1447 . 604945) (-1448 . 604886)
+ (-1449 . 604553) (-1450 . 604453) (-1451 . 604335) (-1452 . 604123)
+ (-1453 . 603944) (-1454 . 603786) (-1455 . 603583) (-1456 . 603165)
+ (-1457 . 603114) (-1458 . 603005) (-1459 . 602890) (-1460 . 602821)
+ (-1461 . 602752) (-1462 . 602683) (-1463 . 602617) (-1464 . 602492)
+ (-1465 . 602275) (-1466 . 602197) (-1467 . 602147) (-1468 . 602076)
+ (-1469 . 601933) (-1470 . 601792) (-1471 . 601711) (-1472 . 601630)
+ (-1473 . 601574) (-1474 . 601518) (-1475 . 601445) (-1476 . 601305)
+ (-1477 . 601252) (-1478 . 601193) (-1479 . 601134) (-1480 . 600979)
+ (-1481 . 600927) (-1482 . 600810) (-1483 . 600693) (-1484 . 600576)
+ (-1485 . 600445) (-1486 . 600166) (-1487 . 600031) (-1488 . 599975)
+ (-1489 . 599919) (-1490 . 599860) (-1491 . 599801) (-1492 . 599745)
+ (-1493 . 599689) (-1494 . 599492) (-1495 . 597150) (-1496 . 597023)
+ (-1497 . 596878) (-1498 . 596750) (-1499 . 596698) (-1500 . 596646)
+ (-1501 . 596594) (-1502 . 592556) (-1503 . 592462) (-1504 . 592323)
+ (-1505 . 592114) (-1506 . 592012) (-1507 . 591910) (-1508 . 590995)
+ (-1509 . 590919) (-1510 . 590790) (-1511 . 590665) (-1512 . 590588)
+ (-1513 . 590511) (-1514 . 590384) (-1515 . 590257) (-1516 . 590091)
+ (-1517 . 589964) (-1518 . 589837) (-1519 . 589620) (-1520 . 589186)
+ (-1521 . 588822) (-1522 . 588770) (-1523 . 588711) (-1524 . 588623)
+ (-1525 . 588535) (-1526 . 588444) (-1527 . 588353) (-1528 . 588262)
+ (-1529 . 588171) (-1530 . 588080) (-1531 . 587989) (-1532 . 587898)
+ (-1533 . 587807) (-1534 . 587716) (-1535 . 587625) (-1536 . 587534)
+ (-1537 . 587443) (-1538 . 587352) (-1539 . 587261) (-1540 . 587170)
+ (-1541 . 587079) (-1542 . 586988) (-1543 . 586897) (-1544 . 586806)
+ (-1545 . 586715) (-1546 . 586624) (-1547 . 586533) (-1548 . 586442)
+ (-1549 . 586351) (-1550 . 586260) (-1551 . 586169) (-1552 . 586007)
+ (-1553 . 585899) (-1554 . 585656) (-1555 . 585369) (-1556 . 585174)
+ (-1557 . 585018) (-1558 . 584858) (-1559 . 584807) (-1560 . 584745)
+ (-1561 . 584694) (-1562 . 584631) (-1563 . 584578) (-1564 . 584526)
+ (-1565 . 584474) (-1566 . 584422) (-1567 . 584332) (-1568 . 584145)
+ (-1569 . 583991) (-1570 . 583911) (-1571 . 583831) (-1572 . 583751)
+ (-1573 . 583621) (-1574 . 583389) (-1575 . 583361) (-1576 . 583333)
+ (-1577 . 583305) (-1578 . 583225) (-1579 . 583148) (-1580 . 583071)
+ (-1581 . 582990) (-1582 . 582931) (-1583 . 582773) (-1584 . 582580)
+ (-1585 . 582095) (-1586 . 581853) (-1587 . 581591) (-1588 . 581490)
+ (-1589 . 581409) (-1590 . 581328) (-1591 . 581258) (-1592 . 581188)
+ (-1593 . 581030) (-1594 . 580726) (-1595 . 580498) (-1596 . 580376)
+ (-1597 . 580318) (-1598 . 580256) (-1599 . 580194) (-1600 . 580129)
+ (-1601 . 580067) (-1602 . 579788) (-1603 . 579720) (-1604 . 579510)
+ (-1605 . 579458) (-1606 . 579404) (-1607 . 579313) (-1608 . 579226)
+ (-1609 . 577479) (-1610 . 577400) (-1611 . 576655) (-1612 . 576538)
+ (-1613 . 576332) (-1614 . 576171) (-1615 . 576010) (-1616 . 575850)
+ (-1617 . 575712) (-1618 . 575618) (-1619 . 575520) (-1620 . 575426)
+ (-1621 . 575312) (-1622 . 575230) (-1623 . 575133) (-1624 . 574937)
+ (-1625 . 574846) (-1626 . 574752) (-1627 . 574685) (-1628 . 574616)
+ (-1629 . 574564) (-1630 . 574505) (-1631 . 574431) (-1632 . 574379)
+ (-1633 . 574222) (-1634 . 574065) (-1635 . 573913) (-1636 . 573155)
+ (-1637 . 572844) (-1638 . 572492) (-1639 . 572275) (-1640 . 572012)
+ (-1641 . 571637) (-1642 . 571453) (-1643 . 571319) (-1644 . 571153)
+ (-1645 . 570987) (-1646 . 570853) (-1647 . 570719) (-1648 . 570585)
+ (-1649 . 570451) (-1650 . 570320) (-1651 . 570189) (-1652 . 570058)
+ (-1653 . 569678) (-1654 . 569552) (-1655 . 569424) (-1656 . 569174)
+ (-1657 . 569051) (-1658 . 568801) (-1659 . 568678) (-1660 . 568428)
+ (-1661 . 568305) (-1662 . 568022) (-1663 . 567751) (-1664 . 567478)
+ (-1665 . 567180) (-1666 . 567078) (-1667 . 566933) (-1668 . 566792)
+ (-1669 . 566641) (-1670 . 566480) (-1671 . 566392) (-1672 . 566364)
+ (-1673 . 566282) (-1674 . 566185) (-1675 . 565717) (-1676 . 565366)
+ (-1677 . 564933) (-1678 . 564794) (-1679 . 564724) (-1680 . 564654)
+ (-1681 . 564584) (-1682 . 564493) (-1683 . 564402) (-1684 . 564311)
+ (-1685 . 564220) (-1686 . 564129) (-1687 . 564043) (-1688 . 563957)
+ (-1689 . 563871) (-1690 . 563785) (-1691 . 563699) (-1692 . 563625)
+ (-1693 . 563520) (-1694 . 563294) (-1695 . 563216) (-1696 . 563141)
+ (-1697 . 563048) (-1698 . 562944) (-1699 . 562848) (-1700 . 562679)
+ (-1701 . 562602) (-1702 . 562525) (-1703 . 562434) (-1704 . 562343)
+ (-1705 . 562143) (-1706 . 561990) (-1707 . 561837) (-1708 . 561684)
+ (-1709 . 561531) (-1710 . 561378) (-1711 . 561225) (-1712 . 561159)
+ (-1713 . 561006) (-1714 . 560853) (-1715 . 560700) (-1716 . 560547)
+ (-1717 . 560394) (-1718 . 560241) (-1719 . 560088) (-1720 . 559935)
+ (-1721 . 559861) (-1722 . 559787) (-1723 . 559732) (-1724 . 559677)
+ (-1725 . 559622) (-1726 . 559567) (-1727 . 559496) (-1728 . 559292)
+ (-1729 . 559191) (-1730 . 559003) (-1731 . 558910) (-1732 . 558774)
+ (-1733 . 558638) (-1734 . 558502) (-1735 . 558434) (-1736 . 558318)
+ (-1737 . 558202) (-1738 . 558086) (-1739 . 558033) (-1740 . 557948)
+ (-1741 . 557863) (-1742 . 557555) (-1743 . 557500) (-1744 . 556848)
+ (-1745 . 556533) (-1746 . 556249) (-1747 . 556131) (-1748 . 556012)
+ (-1749 . 555953) (-1750 . 555894) (-1751 . 555843) (-1752 . 555792)
+ (-1753 . 555741) (-1754 . 555688) (-1755 . 555635) (-1756 . 555576)
+ (-1757 . 555463) (-1758 . 555350) (-1759 . 555183) (-1760 . 555091)
+ (-1761 . 554978) (-1762 . 554894) (-1763 . 554779) (-1764 . 554688)
+ (-1765 . 554597) (-1766 . 554476) (-1767 . 554289) (-1768 . 554237)
+ (-1769 . 554182) (-1770 . 553995) (-1771 . 553872) (-1772 . 553799)
+ (-1773 . 553726) (-1774 . 553606) (-1775 . 553533) (-1776 . 553460)
+ (-1777 . 553120) (-1778 . 553047) (-1779 . 552827) (-1780 . 552494)
+ (-1781 . 552311) (-1782 . 552168) (-1783 . 551808) (-1784 . 551640)
+ (-1785 . 551472) (-1786 . 551216) (-1787 . 550960) (-1788 . 550765)
+ (-1789 . 550570) (-1790 . 549976) (-1791 . 549900) (-1792 . 549761)
+ (-1793 . 549354) (-1794 . 549227) (-1795 . 549070) (-1796 . 548753)
+ (-1797 . 548273) (-1798 . 547793) (-1799 . 547291) (-1800 . 547223)
+ (-1801 . 547152) (-1802 . 547081) (-1803 . 546909) (-1804 . 546790)
+ (-1805 . 546671) (-1806 . 546595) (-1807 . 546519) (-1808 . 546246)
+ (-1809 . 546132) (-1810 . 546081) (-1811 . 546030) (-1812 . 545979)
+ (-1813 . 545928) (-1814 . 545877) (-1815 . 545736) (-1816 . 545563)
+ (-1817 . 545332) (-1818 . 545146) (-1819 . 545118) (-1820 . 545090)
+ (-1821 . 545062) (-1822 . 545034) (-1823 . 545006) (-1824 . 544978)
+ (-1825 . 544950) (-1826 . 544899) (-1827 . 544833) (-1828 . 544743)
+ (-1829 . 544372) (-1830 . 544221) (-1831 . 544070) (-1832 . 543865)
+ (-1833 . 543743) (-1834 . 543669) (-1835 . 543592) (-1836 . 543518)
+ (-1837 . 543441) (-1838 . 543364) (-1839 . 543290) (-1840 . 543213)
+ (-1841 . 542980) (-1842 . 542827) (-1843 . 542532) (-1844 . 542379)
+ (-1845 . 542057) (-1846 . 541919) (-1847 . 541781) (-1848 . 541701)
+ (-1849 . 541621) (-1850 . 541357) (-1851 . 540626) (-1852 . 540490)
+ (-1853 . 540400) (-1854 . 540265) (-1855 . 540198) (-1856 . 540130)
+ (-1857 . 540043) (-1858 . 539956) (-1859 . 539789) (-1860 . 539715)
+ (-1861 . 539571) (-1862 . 539111) (-1863 . 538732) (-1864 . 537970)
+ (-1865 . 537826) (-1866 . 537682) (-1867 . 537520) (-1868 . 537283)
+ (-1869 . 537143) (-1870 . 536997) (-1871 . 536758) (-1872 . 536522)
+ (-1873 . 536283) (-1874 . 536091) (-1875 . 535968) (-1876 . 535764)
+ (-1877 . 535541) (-1878 . 535302) (-1879 . 535161) (-1880 . 535023)
+ (-1881 . 534884) (-1882 . 534631) (-1883 . 534375) (-1884 . 534218)
+ (-1885 . 534064) (-1886 . 533824) (-1887 . 533539) (-1888 . 533401)
+ (-1889 . 533314) (-1890 . 532648) (-1891 . 532472) (-1892 . 532290)
+ (-1893 . 532114) (-1894 . 531932) (-1895 . 531753) (-1896 . 531574)
+ (-1897 . 531387) (-1898 . 531005) (-1899 . 530826) (-1900 . 530647)
+ (-1901 . 530460) (-1902 . 530078) (-1903 . 529085) (-1904 . 528701)
+ (-1905 . 528317) (-1906 . 528199) (-1907 . 528042) (-1908 . 527900)
+ (-1909 . 527783) (-1910 . 527601) (-1911 . 527477) (-1912 . 527188)
+ (-1913 . 526899) (-1914 . 526616) (-1915 . 526333) (-1916 . 526055)
+ (-1917 . 525967) (-1918 . 525882) (-1919 . 525785) (-1920 . 525688)
+ (-1921 . 525468) (-1922 . 525368) (-1923 . 525265) (-1924 . 525187)
+ (-1925 . 524862) (-1926 . 524570) (-1927 . 524497) (-1928 . 524112)
+ (-1929 . 524084) (-1930 . 523885) (-1931 . 523711) (-1932 . 523470)
+ (-1933 . 523415) (-1934 . 523340) (-1935 . 522972) (-1936 . 522857)
+ (-1937 . 522780) (-1938 . 522707) (-1939 . 522626) (-1940 . 522545)
+ (-1941 . 522464) (-1942 . 522363) (-1943 . 522304) (-1944 . 522066)
+ (-1945 . 521944) (-1946 . 521822) (-1947 . 521595) (-1948 . 521542)
+ (-1949 . 521488) (-1950 . 521156) (-1951 . 520832) (-1952 . 520644)
+ (-1953 . 520453) (-1954 . 520289) (-1955 . 519954) (-1956 . 519787)
+ (-1957 . 519546) (-1958 . 519222) (-1959 . 519032) (-1960 . 518817)
+ (-1961 . 518646) (-1962 . 518224) (-1963 . 517997) (-1964 . 517726)
+ (-1965 . 517589) (-1966 . 517448) (-1967 . 516971) (-1968 . 516848)
+ (-1969 . 516612) (-1970 . 516358) (-1971 . 516108) (-1972 . 515815)
+ (-1973 . 515675) (-1974 . 515535) (-1975 . 515395) (-1976 . 515206)
+ (-1977 . 515017) (-1978 . 514842) (-1979 . 514568) (-1980 . 514133)
+ (-1981 . 514105) (-1982 . 514033) (-1983 . 513900) (-1984 . 513825)
+ (-1985 . 513666) (-1986 . 513503) (-1987 . 513342) (-1988 . 513175)
+ (-1989 . 513122) (-1990 . 513069) (-1991 . 512940) (-1992 . 512880)
+ (-1993 . 512827) (-1994 . 512757) (-1995 . 512697) (-1996 . 512638)
+ (-1997 . 512578) (-1998 . 512519) (-1999 . 512459) (-2000 . 512400)
+ (-2001 . 512341) (-2002 . 512199) (-2003 . 512104) (-2004 . 512013)
+ (-2005 . 511897) (-2006 . 511803) (-2007 . 511705) (-2008 . 511611)
+ (-2009 . 511470) (-2010 . 511208) (-2011 . 510352) (-2012 . 510196)
+ (-2013 . 509827) (-2014 . 509771) (-2015 . 509720) (-2016 . 509617)
+ (-2017 . 509532) (-2018 . 509444) (-2019 . 509298) (-2020 . 509149)
+ (-2021 . 508859) (-2022 . 508781) (-2023 . 508706) (-2024 . 508653)
+ (-2025 . 508600) (-2026 . 508569) (-2027 . 508506) (-2028 . 508388)
+ (-2029 . 508299) (-2030 . 508179) (-2031 . 507884) (-2032 . 507690)
+ (-2033 . 507502) (-2034 . 507357) (-2035 . 507212) (-2036 . 506926)
+ (-2037 . 506484) (-2038 . 506450) (-2039 . 506413) (-2040 . 506376)
+ (-2041 . 506339) (-2042 . 506302) (-2043 . 506271) (-2044 . 506240)
+ (-2045 . 506209) (-2046 . 506175) (-2047 . 506141) (-2048 . 506087)
+ (-2049 . 505911) (-2050 . 505677) (-2051 . 505443) (-2052 . 505214)
+ (-2053 . 505162) (-2054 . 505107) (-2055 . 505038) (-2056 . 504950)
+ (-2057 . 504881) (-2058 . 504809) (-2059 . 504579) (-2060 . 504528)
+ (-2061 . 504474) (-2062 . 504443) (-2063 . 504337) (-2064 . 504112)
+ (-2065 . 503802) (-2066 . 503628) (-2067 . 503446) (-2068 . 503175)
+ (-2069 . 503102) (-2070 . 503037) (-2071 . 502561) (-2072 . 501999)
+ (-2073 . 501273) (-2074 . 500712) (-2075 . 500084) (-2076 . 499505)
+ (-2077 . 499431) (-2078 . 499379) (-2079 . 499327) (-2080 . 499253)
+ (-2081 . 499198) (-2082 . 499146) (-2083 . 499094) (-2084 . 499042)
+ (-2085 . 498972) (-2086 . 498524) (-2087 . 498318) (-2088 . 498069)
+ (-2089 . 497735) (-2090 . 497481) (-2091 . 497179) (-2092 . 496976)
+ (-2093 . 496687) (-2094 . 496139) (-2095 . 496002) (-2096 . 495800)
+ (-2097 . 495520) (-2098 . 495435) (-2099 . 495102) (-2100 . 494961)
+ (-2101 . 494670) (-2102 . 494450) (-2103 . 494324) (-2104 . 494199)
+ (-2105 . 494052) (-2106 . 493908) (-2107 . 493792) (-2108 . 493661)
+ (-2109 . 493289) (-2110 . 493029) (-2111 . 492759) (-2112 . 492519)
+ (-2113 . 492189) (-2114 . 491849) (-2115 . 491441) (-2116 . 491023)
+ (-2117 . 490826) (-2118 . 490551) (-2119 . 490383) (-2120 . 490187)
+ (-2121 . 489965) (-2122 . 489810) (-2123 . 489625) (-2124 . 489522)
+ (-2125 . 489494) (-2126 . 489466) (-2127 . 489292) (-2128 . 489218)
+ (-2129 . 489157) (-2130 . 489104) (-2131 . 489035) (-2132 . 488966)
+ (-2133 . 488847) (-2134 . 488669) (-2135 . 488614) (-2136 . 488368)
+ (-2137 . 488295) (-2138 . 488225) (-2139 . 488155) (-2140 . 488066)
+ (-2141 . 487876) (-2142 . 487803) (-2143 . 487734) (-2144 . 487669)
+ (-2145 . 487614) (-2146 . 487523) (-2147 . 487232) (-2148 . 486906)
+ (-2149 . 486832) (-2150 . 486510) (-2151 . 486305) (-2152 . 486220)
+ (-2153 . 486135) (-2154 . 486050) (-2155 . 485965) (-2156 . 485880)
+ (-2157 . 485795) (-2158 . 485710) (-2159 . 485625) (-2160 . 485540)
+ (-2161 . 485455) (-2162 . 485370) (-2163 . 485285) (-2164 . 485200)
+ (-2165 . 485115) (-2166 . 485030) (-2167 . 484945) (-2168 . 484860)
+ (-2169 . 484775) (-2170 . 484690) (-2171 . 484605) (-2172 . 484520)
+ (-2173 . 484435) (-2174 . 484350) (-2175 . 484265) (-2176 . 484180)
+ (-2177 . 484095) (-2178 . 483993) (-2179 . 483905) (-2180 . 483697)
+ (-2181 . 483639) (-2182 . 483584) (-2183 . 483497) (-2184 . 483386)
+ (-2185 . 483300) (-2186 . 483154) (-2187 . 483092) (-2188 . 483064)
+ (-2189 . 483036) (-2190 . 483008) (-2191 . 482980) (-2192 . 482811)
+ (-2193 . 482660) (-2194 . 482509) (-2195 . 482337) (-2196 . 482129)
+ (-2197 . 482005) (-2198 . 481797) (-2199 . 481705) (-2200 . 481613)
+ (-2201 . 481478) (-2202 . 481383) (-2203 . 481289) (-2204 . 481194)
+ (-2205 . 481070) (-2206 . 481042) (-2207 . 481014) (-2208 . 480986)
+ (-2209 . 480958) (-2210 . 480930) (-2211 . 480902) (-2212 . 480874)
+ (-2213 . 480846) (-2214 . 480818) (-2215 . 480790) (-2216 . 480762)
+ (-2217 . 480734) (-2218 . 480706) (-2219 . 480678) (-2220 . 480650)
+ (-2221 . 480622) (-2222 . 480569) (-2223 . 480541) (-2224 . 480513)
+ (-2225 . 480435) (-2226 . 480382) (-2227 . 480329) (-2228 . 480276)
+ (-2229 . 480198) (-2230 . 480108) (-2231 . 480013) (-2232 . 479919)
+ (-2233 . 479837) (-2234 . 479531) (-2235 . 479335) (-2236 . 479240)
+ (-2237 . 479132) (-2238 . 478721) (-2239 . 478693) (-2240 . 478529)
+ (-2241 . 478452) (-2242 . 478265) (-2243 . 478086) (-2244 . 477662)
+ (-2245 . 477510) (-2246 . 477330) (-2247 . 477157) (-2248 . 476897)
+ (-2249 . 476645) (-2250 . 475834) (-2251 . 475667) (-2252 . 475449)
+ (-2253 . 474625) (-2254 . 474494) (-2255 . 474363) (-2256 . 474232)
+ (-2257 . 474101) (-2258 . 473970) (-2259 . 473839) (-2260 . 473644)
+ (-2261 . 473450) (-2262 . 473307) (-2263 . 472992) (-2264 . 472877)
+ (-2265 . 472537) (-2266 . 472377) (-2267 . 472238) (-2268 . 472099)
+ (-2269 . 471970) (-2270 . 471885) (-2271 . 471833) (-2272 . 471353)
+ (-2273 . 470091) (-2274 . 469964) (-2275 . 469822) (-2276 . 469486)
+ (-2277 . 469381) (-2278 . 469132) (-2279 . 468900) (-2280 . 468795)
+ (-2281 . 468720) (-2282 . 468645) (-2283 . 468570) (-2284 . 468511)
+ (-2285 . 468441) (-2286 . 468388) (-2287 . 468326) (-2288 . 468256)
+ (-2289 . 467893) (-2290 . 467606) (-2291 . 467496) (-2292 . 467309)
+ (-2293 . 467216) (-2294 . 467123) (-2295 . 467036) (-2296 . 466816)
+ (-2297 . 466597) (-2298 . 466179) (-2299 . 465907) (-2300 . 465764)
+ (-2301 . 465671) (-2302 . 465528) (-2303 . 465376) (-2304 . 465222)
+ (-2305 . 465152) (-2306 . 464945) (-2307 . 464768) (-2308 . 464559)
+ (-2309 . 464382) (-2310 . 464348) (-2311 . 464314) (-2312 . 464283)
+ (-2313 . 464165) (-2314 . 463852) (-2315 . 463574) (-2316 . 463453)
+ (-2317 . 463326) (-2318 . 463241) (-2319 . 463168) (-2320 . 463079)
+ (-2321 . 463008) (-2322 . 462952) (-2323 . 462896) (-2324 . 462840)
+ (-2325 . 462770) (-2326 . 462700) (-2327 . 462630) (-2328 . 462532)
+ (-2329 . 462454) (-2330 . 462376) (-2331 . 462233) (-2332 . 462154)
+ (-2333 . 462082) (-2334 . 461879) (-2335 . 461823) (-2336 . 461635)
+ (-2337 . 461536) (-2338 . 461418) (-2339 . 461297) (-2340 . 461154)
+ (-2341 . 461011) (-2342 . 460871) (-2343 . 460731) (-2344 . 460588)
+ (-2345 . 460462) (-2346 . 460333) (-2347 . 460210) (-2348 . 460087)
+ (-2349 . 459982) (-2350 . 459877) (-2351 . 459775) (-2352 . 459625)
+ (-2353 . 459472) (-2354 . 459319) (-2355 . 459175) (-2356 . 459021)
+ (-2357 . 458945) (-2358 . 458866) (-2359 . 458713) (-2360 . 458634)
+ (-2361 . 458555) (-2362 . 458476) (-2363 . 458374) (-2364 . 458315)
+ (-2365 . 458253) (-2366 . 458136) (-2367 . 458010) (-2368 . 457933)
+ (-2369 . 457801) (-2370 . 457495) (-2371 . 457312) (-2372 . 456767)
+ (-2373 . 456547) (-2374 . 456373) (-2375 . 456203) (-2376 . 456130)
+ (-2377 . 456054) (-2378 . 455975) (-2379 . 455678) (-2380 . 455516)
+ (-2381 . 455282) (-2382 . 454840) (-2383 . 454710) (-2384 . 454570)
+ (-2385 . 454261) (-2386 . 453959) (-2387 . 453643) (-2388 . 453237)
+ (-2389 . 453169) (-2390 . 453101) (-2391 . 453033) (-2392 . 452939)
+ (-2393 . 452832) (-2394 . 452725) (-2395 . 452624) (-2396 . 452523)
+ (-2397 . 452422) (-2398 . 452345) (-2399 . 451952) (-2400 . 451535)
+ (-2401 . 450908) (-2402 . 450844) (-2403 . 450725) (-2404 . 450606)
+ (-2405 . 450498) (-2406 . 450390) (-2407 . 450234) (-2408 . 449634)
+ (-2409 . 449351) (-2410 . 449272) (-2411 . 449218) (-2412 . 449050)
+ (-2413 . 448928) (-2414 . 448532) (-2415 . 448296) (-2416 . 448095)
+ (-2417 . 447887) (-2418 . 447694) (-2419 . 447427) (-2420 . 447248)
+ (-2421 . 447179) (-2422 . 447103) (-2423 . 446962) (-2424 . 446759)
+ (-2425 . 446615) (-2426 . 446365) (-2427 . 446057) (-2428 . 445701)
+ (-2429 . 445542) (-2430 . 445336) (-2431 . 445176) (-2432 . 445103)
+ (-2433 . 445069) (-2434 . 445004) (-2435 . 444967) (-2436 . 444830)
+ (-2437 . 444592) (-2438 . 444522) (-2439 . 444336) (-2440 . 444087)
+ (-2441 . 443931) (-2442 . 443408) (-2443 . 443211) (-2444 . 442999)
+ (-2445 . 442837) (-2446 . 442438) (-2447 . 442271) (-2448 . 441196)
+ (-2449 . 441073) (-2450 . 440856) (-2451 . 440726) (-2452 . 440596)
+ (-2453 . 440439) (-2454 . 440336) (-2455 . 440278) (-2456 . 440220)
+ (-2457 . 440114) (-2458 . 440008) (-2459 . 439092) (-2460 . 436965)
+ (-2461 . 436151) (-2462 . 434348) (-2463 . 434280) (-2464 . 434212)
+ (-2465 . 434144) (-2466 . 434076) (-2467 . 434008) (-2468 . 433930)
+ (-2469 . 433574) (-2470 . 433392) (-2471 . 432853) (-2472 . 432677)
+ (-2473 . 432456) (-2474 . 432235) (-2475 . 432014) (-2476 . 431796)
+ (-2477 . 431578) (-2478 . 431360) (-2479 . 431142) (-2480 . 430924)
+ (-2481 . 430706) (-2482 . 430605) (-2483 . 429872) (-2484 . 429817)
+ (-2485 . 429762) (-2486 . 429707) (-2487 . 429652) (-2488 . 429502)
+ (-2489 . 429254) (-2490 . 429093) (-2491 . 428913) (-2492 . 428626)
+ (-2493 . 428240) (-2494 . 427368) (-2495 . 427028) (-2496 . 426860)
+ (-2497 . 426638) (-2498 . 426388) (-2499 . 426040) (-2500 . 425030)
+ (-2501 . 424719) (-2502 . 424507) (-2503 . 423943) (-2504 . 423430)
+ (-2505 . 421674) (-2506 . 421202) (-2507 . 420603) (-2508 . 420353)
+ (-2509 . 420219) (-2510 . 420007) (-2511 . 419931) (-2512 . 419855)
+ (-2513 . 419748) (-2514 . 419566) (-2515 . 419401) (-2516 . 419223)
+ (-2517 . 418642) (-2518 . 418481) (-2519 . 417908) (-2520 . 417838)
+ (-2521 . 417763) (-2522 . 417691) (-2523 . 417553) (-2524 . 417366)
+ (-2525 . 417259) (-2526 . 417152) (-2527 . 417037) (-2528 . 416922)
+ (-2529 . 416807) (-2530 . 416529) (-2531 . 416379) (-2532 . 416236)
+ (-2533 . 416163) (-2534 . 416078) (-2535 . 416005) (-2536 . 415932)
+ (-2537 . 415859) (-2538 . 415716) (-2539 . 415566) (-2540 . 415392)
+ (-2541 . 415242) (-2542 . 415092) (-2543 . 414966) (-2544 . 414580)
+ (-2545 . 414296) (-2546 . 414012) (-2547 . 413603) (-2548 . 413319)
+ (-2549 . 413246) (-2550 . 413099) (-2551 . 412993) (-2552 . 412919)
+ (-2553 . 412849) (-2554 . 412770) (-2555 . 412693) (-2556 . 412616)
+ (-2557 . 412467) (-2558 . 412364) (-2559 . 412306) (-2560 . 412242)
+ (-2561 . 412178) (-2562 . 412081) (-2563 . 411984) (-2564 . 411824)
+ (-2565 . 411738) (-2566 . 411652) (-2567 . 411567) (-2568 . 411508)
+ (-2569 . 411449) (-2570 . 411390) (-2571 . 411331) (-2572 . 411161)
+ (-2573 . 411073) (-2574 . 410976) (-2575 . 410942) (-2576 . 410911)
+ (-2577 . 410827) (-2578 . 410771) (-2579 . 410709) (-2580 . 410675)
+ (-2581 . 410641) (-2582 . 410607) (-2583 . 410573) (-2584 . 410539)
+ (-2585 . 410505) (-2586 . 410471) (-2587 . 410437) (-2588 . 410403)
+ (-2589 . 410291) (-2590 . 410257) (-2591 . 410206) (-2592 . 410172)
+ (-2593 . 410075) (-2594 . 410013) (-2595 . 409922) (-2596 . 409831)
+ (-2597 . 409776) (-2598 . 409724) (-2599 . 409672) (-2600 . 409620)
+ (-2601 . 409568) (-2602 . 409145) (-2603 . 408979) (-2604 . 408926)
+ (-2605 . 408857) (-2606 . 408804) (-2607 . 408574) (-2608 . 408418)
+ (-2609 . 407897) (-2610 . 407756) (-2611 . 407722) (-2612 . 407667)
+ (-2613 . 406957) (-2614 . 406642) (-2615 . 406138) (-2616 . 406060)
+ (-2617 . 406008) (-2618 . 405956) (-2619 . 405772) (-2620 . 405720)
+ (-2621 . 405668) (-2622 . 405592) (-2623 . 405530) (-2624 . 405312)
+ (-2625 . 405245) (-2626 . 405151) (-2627 . 405057) (-2628 . 404874)
+ (-2629 . 404792) (-2630 . 404670) (-2631 . 404524) (-2632 . 403873)
+ (-2633 . 403171) (-2634 . 403067) (-2635 . 402966) (-2636 . 402865)
+ (-2637 . 402754) (-2638 . 402586) (-2639 . 402382) (-2640 . 402289)
+ (-2641 . 402212) (-2642 . 402156) (-2643 . 402086) (-2644 . 401966)
+ (-2645 . 401865) (-2646 . 401768) (-2647 . 401688) (-2648 . 401608)
+ (-2649 . 401531) (-2650 . 401461) (-2651 . 401391) (-2652 . 401321)
+ (-2653 . 401251) (-2654 . 401181) (-2655 . 401111) (-2656 . 401018)
+ (-2657 . 400890) (-2658 . 400648) (-2659 . 400478) (-2660 . 400109)
+ (-2661 . 399940) (-2662 . 399824) (-2663 . 399328) (-2664 . 398947)
+ (-2665 . 398701) (-2666 . 398609) (-2667 . 398512) (-2668 . 397850)
+ (-2669 . 397737) (-2670 . 397663) (-2671 . 397571) (-2672 . 397381)
+ (-2673 . 397191) (-2674 . 397120) (-2675 . 397049) (-2676 . 396968)
+ (-2677 . 396887) (-2678 . 396762) (-2679 . 396629) (-2680 . 396548)
+ (-2681 . 396474) (-2682 . 396309) (-2683 . 396152) (-2684 . 395924)
+ (-2685 . 395776) (-2686 . 395672) (-2687 . 395568) (-2688 . 395483)
+ (-2689 . 395115) (-2690 . 395034) (-2691 . 394947) (-2692 . 394866)
+ (-2693 . 394670) (-2694 . 394450) (-2695 . 394263) (-2696 . 393941)
+ (-2697 . 393648) (-2698 . 393355) (-2699 . 393045) (-2700 . 392728)
+ (-2701 . 392576) (-2702 . 392388) (-2703 . 391915) (-2704 . 391833)
+ (-2705 . 391617) (-2706 . 391401) (-2707 . 391142) (-2708 . 390721)
+ (-2709 . 390208) (-2710 . 390078) (-2711 . 389804) (-2712 . 389625)
+ (-2713 . 389510) (-2714 . 389406) (-2715 . 389351) (-2716 . 389274)
+ (-2717 . 389204) (-2718 . 389131) (-2719 . 389076) (-2720 . 389003)
+ (-2721 . 388948) (-2722 . 388593) (-2723 . 388185) (-2724 . 388032)
+ (-2725 . 387879) (-2726 . 387798) (-2727 . 387645) (-2728 . 387492)
+ (-2729 . 387357) (-2730 . 387222) (-2731 . 387087) (-2732 . 386952)
+ (-2733 . 386817) (-2734 . 386682) (-2735 . 386626) (-2736 . 386473)
+ (-2737 . 386362) (-2738 . 386251) (-2739 . 386166) (-2740 . 386056)
+ (-2741 . 385953) (-2742 . 381802) (-2743 . 381354) (-2744 . 380927)
+ (-2745 . 380310) (-2746 . 379709) (-2747 . 379491) (-2748 . 379313)
+ (-2749 . 379054) (-2750 . 378643) (-2751 . 378349) (-2752 . 377906)
+ (-2753 . 377728) (-2754 . 377335) (-2755 . 376942) (-2756 . 376757)
+ (-2757 . 376550) (-2758 . 376330) (-2759 . 376024) (-2760 . 375825)
+ (-2761 . 375196) (-2762 . 375039) (-2763 . 374650) (-2764 . 374599)
+ (-2765 . 374550) (-2766 . 374499) (-2767 . 374451) (-2768 . 374399)
+ (-2769 . 374253) (-2770 . 374201) (-2771 . 374055) (-2772 . 374003)
+ (-2773 . 373857) (-2774 . 373806) (-2775 . 373431) (-2776 . 373380)
+ (-2777 . 373331) (-2778 . 373280) (-2779 . 373232) (-2780 . 373180)
+ (-2781 . 373131) (-2782 . 373079) (-2783 . 373030) (-2784 . 372978)
+ (-2785 . 372929) (-2786 . 372863) (-2787 . 372745) (-2788 . 371583)
+ (-2789 . 371166) (-2790 . 371058) (-2791 . 370816) (-2792 . 370666)
+ (-2793 . 370516) (-2794 . 370355) (-2795 . 368148) (-2796 . 367887)
+ (-2797 . 367733) (-2798 . 367587) (-2799 . 367441) (-2800 . 367222)
+ (-2801 . 367090) (-2802 . 367015) (-2803 . 366940) (-2804 . 366805)
+ (-2805 . 366676) (-2806 . 366547) (-2807 . 366421) (-2808 . 366295)
+ (-2809 . 366169) (-2810 . 366043) (-2811 . 365940) (-2812 . 365840)
+ (-2813 . 365746) (-2814 . 365616) (-2815 . 365465) (-2816 . 365089)
+ (-2817 . 364975) (-2818 . 364734) (-2819 . 364276) (-2820 . 363966)
+ (-2821 . 363399) (-2822 . 362830) (-2823 . 361820) (-2824 . 361278)
+ (-2825 . 360965) (-2826 . 360627) (-2827 . 360296) (-2828 . 359976)
+ (-2829 . 359923) (-2830 . 359796) (-2831 . 359294) (-2832 . 358151)
+ (-2833 . 358096) (-2834 . 358041) (-2835 . 357965) (-2836 . 357846)
+ (-2837 . 357771) (-2838 . 357696) (-2839 . 357618) (-2840 . 357395)
+ (-2841 . 357336) (-2842 . 357277) (-2843 . 357174) (-2844 . 357071)
+ (-2845 . 356968) (-2846 . 356865) (-2847 . 356784) (-2848 . 356710)
+ (-2849 . 356495) (-2850 . 356261) (-2851 . 356227) (-2852 . 356193)
+ (-2853 . 356165) (-2854 . 356137) (-2855 . 355920) (-2856 . 355642)
+ (-2857 . 355492) (-2858 . 355362) (-2859 . 355232) (-2860 . 355132)
+ (-2861 . 354955) (-2862 . 354795) (-2863 . 354695) (-2864 . 354518)
+ (-2865 . 354358) (-2866 . 354199) (-2867 . 354060) (-2868 . 353910)
+ (-2869 . 353780) (-2870 . 353650) (-2871 . 353503) (-2872 . 353376)
+ (-2873 . 353273) (-2874 . 353166) (-2875 . 353069) (-2876 . 352904)
+ (-2877 . 352756) (-2878 . 352341) (-2879 . 352241) (-2880 . 352138)
+ (-2881 . 352050) (-2882 . 351970) (-2883 . 351820) (-2884 . 351690)
+ (-2885 . 351638) (-2886 . 351565) (-2887 . 351490) (-2888 . 351332)
(-2889 . 351220) (-2890 . 350908) (-2891 . 350731) (-2892 . 349133)
(-2893 . 348505) (-2894 . 348445) (-2895 . 348327) (-2896 . 348209)
(-2897 . 348065) (-2898 . 347913) (-2899 . 347754) (-2900 . 347595)