You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@ctakes.apache.org by dl...@apache.org on 2012/10/18 19:59:49 UTC
svn commit: r1399753 [5/21] - in
/incubator/ctakes/trunk/ctakes-relation-extractor: models/em_pair/fold_0/
models/em_pair/fold_1/ resources/models/ resources/models/degree_of/
resources/models/em_pair/ resources/models/modifier_extractor/
Modified: incubator/ctakes/trunk/ctakes-relation-extractor/models/em_pair/fold_0/training-data.libsvm
URL: http://svn.apache.org/viewvc/incubator/ctakes/trunk/ctakes-relation-extractor/models/em_pair/fold_0/training-data.libsvm?rev=1399753&r1=1399752&r2=1399753&view=diff
==============================================================================
--- incubator/ctakes/trunk/ctakes-relation-extractor/models/em_pair/fold_0/training-data.libsvm (original)
+++ incubator/ctakes/trunk/ctakes-relation-extractor/models/em_pair/fold_0/training-data.libsvm Thu Oct 18 17:59:47 2012
@@ -121,8 +121,8 @@
2 8:1.0000000 32:1.0000000 50:1.0000000 77:1.0000000 87:14.0000000 89:3.0000000 121:1.0000000 124:1.0000000 125:1.0000000 338:1.0000000 497:8.0000000 523:1.0000000 527:1.0000000 783:1.0000000 901:1.0000000 997:1.0000000 998:1.0000000 1116:1.0000000 1684:1.0000000 1686:1.0000000 1694:1.0000000 1695:1.0000000 1710:1.0000000 1711:1.0000000 1718:1.0000000 1719:1.0000000 1720:1.0000000 1722:1.0000000 1739:1.0000000 1740:1.0000000 1741:1.0000000 1742:1.0000000 1777:1.0000000 1778:1.0000000 1779:1.0000000 1781:1.0000000 1782:1.0000000 1783:1.0000000 1784:1.0000000 1785:1.0000000 1793:1.0000000 1794:1.0000000 1795:1.0000000 1796:1.0000000
2 8:1.0000000 77:1.0000000 87:23.0000000 89:6.0000000 121:1.0000000 123:1.0000000 124:1.0000000 338:1.0000000 484:1.0000000 489:1.0000000 497:14.0000000 873:1.0000000 901:1.0000000 997:1.0000000 998:1.0000000 1116:1.0000000 1490:1.0000000 1541:1.0000000 1684:1.0000000 1686:1.0000000 1694:1.0000000 1695:1.0000000 1710:1.0000000 1711:1.0000000 1718:1.0000000 1719:1.0000000 1733:1.0000000 1750:1.0000000 1751:1.0000000 1752:1.0000000 1753:1.0000000 1754:1.0000000 1755:1.0000000 1756:2.0000000 1757:1.0000000 1758:1.0000000 1759:1.0000000 1760:1.0000000 1777:1.0000000 1778:1.0000000 1779:1.0000000 1780:1.0000000 1781:1.0000000 1782:1.0000000 1783:1.0000000 1784:1.0000000 1785:1.0000000
2 8:1.0000000 32:1.0000000 77:1.0000000 87:26.0000000 89:7.0000000 121:1.0000000 123:1.0000000 124:1.0000000 154:1.0000000 256:1.0000000 338:1.0000000 371:1.0000000 372:1.0000000 484:1.0000000 487:1.0000000 489:1.0000000 497:16.0000000 873:1.0000000 901:1.0000000 1116:1.0000000 1684:1.0000000 1686:1.0000000 1694:1.0000000 1695:1.0000000 1710:1.0000000 1711:1.0000000 1756:2.0000000 1762:1.0000000 1763:1.0000000 1764:1.0000000 1765:1.0000000 1766:1.0000000 1767:1.0000000 1768:1.0000000 1777:1.0000000 1778:1.0000000 1779:1.0000000 1780:1.0000000 1781:1.0000000 1782:1.0000000 1783:1.0000000 1784:1.0000000 1785:1.0000000
-2 32:1.0000000 50:1.0000000 58:4.0000000 59:6.0000000 60:2.0000000 87:16.0000000 89:4.0000000 123:1.0000000 180:1.0000000 338:1.0000000 471:1.0000000 484:1.0000000 489:1.0000000 497:10.0000000 517:1.0000000 762:1.0000000 778:1.0000000 873:1.0000000 997:1.0000000 998:1.0000000 1013:1.0000000 1115:1.0000000 1116:1.0000000 1118:1.0000000 1489:1.0000000 1688:1.0000000 1710:1.0000000 1712:1.0000000 1713:1.0000000 1739:1.0000000 1740:1.0000000 1741:1.0000000 1742:1.0000000 1743:1.0000000 1744:1.0000000 1745:1.0000000 1746:1.0000000 1747:1.0000000 1748:1.0000000 1756:1.0000000 1770:1.0000000 1771:1.0000000 1777:1.0000000 1778:1.0000000 1779:1.0000000 1780:1.0000000 1797:1.0000000 1798:1.0000000 1799:1.0000000 1800:1.0000000 1801:1.0000000 1802:1.0000000 1803:1.0000000 1804:1.0000000
-2 58:3.0000000 59:4.0000000 60:2.0000000 87:19.0000000 89:5.0000000 123:1.0000000 338:1.0000000 471:1.0000000 484:1.0000000 489:1.0000000 497:12.0000000 517:1.0000000 762:1.0000000 778:1.0000000 873:1.0000000 997:1.0000000 998:1.0000000 1115:1.0000000 1116:1.0000000 1118:1.0000000 1489:1.0000000 1490:1.0000000 1491:1.0000000 1541:1.0000000 1688:1.0000000 1710:1.0000000 1712:1.0000000 1713:1.0000000 1718:1.0000000 1719:1.0000000 1750:1.0000000 1751:1.0000000 1752:1.0000000 1753:1.0000000 1754:1.0000000 1755:1.0000000 1756:2.0000000 1757:1.0000000 1758:1.0000000 1759:1.0000000 1760:1.0000000 1770:1.0000000 1771:1.0000000 1777:1.0000000 1778:1.0000000 1779:1.0000000 1780:1.0000000 1797:1.0000000 1798:1.0000000 1800:1.0000000 1801:1.0000000 1802:1.0000000 1803:1.0000000 1805:1.0000000
+2 32:1.0000000 50:1.0000000 58:4.0000000 59:6.0000000 60:2.0000000 87:16.0000000 89:4.0000000 123:1.0000000 180:1.0000000 338:1.0000000 471:1.0000000 484:1.0000000 489:1.0000000 497:10.0000000 517:1.0000000 762:1.0000000 778:1.0000000 873:1.0000000 997:1.0000000 998:1.0000000 1013:1.0000000 1115:1.0000000 1116:1.0000000 1118:1.0000000 1489:1.0000000 1688:1.0000000 1710:1.0000000 1711:1.0000000 1712:1.0000000 1713:1.0000000 1739:1.0000000 1740:1.0000000 1741:1.0000000 1742:1.0000000 1743:1.0000000 1744:1.0000000 1745:1.0000000 1746:1.0000000 1747:1.0000000 1748:1.0000000 1756:1.0000000 1770:1.0000000 1771:1.0000000 1777:1.0000000 1778:1.0000000 1779:1.0000000 1780:1.0000000 1797:1.0000000 1798:1.0000000 1799:1.0000000 1800:1.0000000 1801:1.0000000 1802:1.0000000 1803:1.0000000 1804:1.0000000
+2 58:3.0000000 59:4.0000000 60:2.0000000 87:19.0000000 89:5.0000000 123:1.0000000 338:1.0000000 471:1.0000000 484:1.0000000 489:1.0000000 497:12.0000000 517:1.0000000 762:1.0000000 778:1.0000000 873:1.0000000 997:1.0000000 998:1.0000000 1115:1.0000000 1116:1.0000000 1118:1.0000000 1489:1.0000000 1490:1.0000000 1491:1.0000000 1541:1.0000000 1688:1.0000000 1710:1.0000000 1711:1.0000000 1712:1.0000000 1713:1.0000000 1718:1.0000000 1719:1.0000000 1750:1.0000000 1751:1.0000000 1752:1.0000000 1753:1.0000000 1754:1.0000000 1755:1.0000000 1756:2.0000000 1757:1.0000000 1758:1.0000000 1759:1.0000000 1760:1.0000000 1770:1.0000000 1771:1.0000000 1777:1.0000000 1778:1.0000000 1779:1.0000000 1780:1.0000000 1797:1.0000000 1798:1.0000000 1800:1.0000000 1801:1.0000000 1802:1.0000000 1803:1.0000000 1805:1.0000000
2 32:1.0000000 50:1.0000000 58:3.0000000 59:3.0000000 60:3.0000000 87:4.0000000 89:1.0000000 127:1.0000000 338:1.0000000 497:2.0000000 517:1.0000000 523:1.0000000 527:1.0000000 762:1.0000000 778:1.0000000 783:1.0000000 997:1.0000000 998:1.0000000 1115:1.0000000 1116:1.0000000 1118:1.0000000 1489:1.0000000 1607:1.0000000 1690:1.0000000 1718:1.0000000 1719:1.0000000 1720:1.0000000 1722:1.0000000 1739:1.0000000 1740:1.0000000 1741:1.0000000 1742:1.0000000 1779:1.0000000 1793:1.0000000 1794:1.0000000 1795:1.0000000 1796:1.0000000 1799:1.0000000 1806:1.0000000 1807:1.0000000 1808:1.0000000 1809:1.0000000 1810:1.0000000 1811:1.0000000 1812:1.0000000 1813:1.0000000 1814:1.0000000 1815:1.0000000
2 30:1.0000000 32:1.0000000 40:1.0000000 50:1.0000000 58:2.5000000 59:3.0000000 60:2.0000000 87:1.0000000 124:1.0000000 125:1.0000000 338:1.0000000 384:1.0000000 397:1.0000000 517:1.0000000 523:1.0000000 527:1.0000000 778:1.0000000 783:1.0000000 901:1.0000000 997:1.0000000 998:1.0000000 1009:1.0000000 1124:1.0000000 1691:1.0000000 1718:1.0000000 1719:1.0000000 1720:1.0000000 1722:1.0000000 1739:1.0000000 1740:1.0000000 1741:1.0000000 1742:1.0000000 1793:1.0000000 1794:1.0000000 1795:1.0000000 1796:1.0000000 1816:1.0000000 1817:1.0000000 1818:1.0000000 1819:1.0000000 1820:1.0000000 1821:1.0000000 1822:1.0000000 1823:1.0000000 1824:1.0000000
2 30:1.0000000 40:1.0000000 58:4.0000000 59:6.0000000 60:2.0000000 87:4.0000000 89:1.0000000 124:1.0000000 338:1.0000000 384:1.0000000 397:1.0000000 484:1.0000000 489:1.0000000 497:2.0000000 517:1.0000000 778:1.0000000 873:1.0000000 901:1.0000000 997:1.0000000 998:1.0000000 1009:1.0000000 1124:1.0000000 1490:1.0000000 1541:1.0000000 1691:1.0000000 1718:1.0000000 1719:1.0000000 1733:1.0000000 1754:1.0000000 1756:1.0000000 1757:1.0000000 1759:1.0000000 1760:1.0000000 1816:1.0000000 1817:1.0000000 1818:1.0000000 1819:1.0000000 1820:1.0000000 1821:1.0000000 1822:1.0000000 1823:1.0000000 1825:1.0000000 1826:1.0000000 1827:1.0000000 1828:1.0000000 1829:1.0000000 1830:1.0000000 1831:1.0000000
@@ -403,34 +403,34 @@
2 30:1.0000000 31:1.0000000 58:4.0000000 59:5.0000000 60:3.0000000 87:5.0000000 89:1.0000000 101:1.0000000 127:1.0000000 160:1.0000000 176:1.0000000 180:1.0000000 183:1.0000000 520:1.0000000 529:1.0000000 535:1.0000000 540:1.0000000 635:1.0000000 792:1.0000000 1014:1.0000000 1453:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3016:1.0000000 3017:1.0000000 3018:1.0000000 3028:1.0000000 3029:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3037:1.0000000 3038:1.0000000 3039:1.0000000 3040:1.0000000 3041:1.0000000 3042:1.0000000 3043:1.0000000 3044:1.0000000 3045:1.0000000 3046:1.0000000 3047:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3052:1.0000000 3053:1.0000000 3054:1.0000000 3055:1.0000000
2 24:1.0000000 30:1.0000000 33:1.0000000 50:1.0000000 87:8.0000000 89:2.0000000 101:1.0000000 127:1.0000000 160:1.0000000 520:1.0000000 529:1.0000000 535:1.0000000 540:1.0000000 557:1.0000000 1453:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3016:1.0000000 3017:1.0000000 3018:1.0000000 3028:1.0000000 3029:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3046:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3056:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3063:1.0000000 3064:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000
2 30:1.0000000 31:1.0000000 58:3.5000000 59:4.0000000 60:3.0000000 77:1.0000000 87:12.0000000 89:5.0000000 101:1.0000000 127:1.0000000 160:1.0000000 176:1.0000000 285:1.0000000 288:1.0000000 377:1.0000000 520:1.0000000 529:1.0000000 535:1.0000000 540:1.0000000 792:1.0000000 1453:1.0000000 2861:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3016:1.0000000 3017:1.0000000 3018:1.0000000 3019:1.0000000 3020:1.0000000 3021:1.0000000 3022:1.0000000 3024:1.0000000 3025:1.0000000 3026:1.0000000 3027:1.0000000 3028:1.0000000 3029:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3046:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3069:1.0000000 3070:1.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3074:1.0000000 3075:1.0000000 3076:1.0000000 3077:1.0000000
-2 30:1.0000000 31:1.0000000 58:3.0000000 59:3.0000000 60:3.0000000 77:1.0000000 87:17.0000000 89:6.0000000 101:1.0000000 127:1.0000000 160:1.0000000 176:1.0000000 285:1.0000000 288:1.0000000 377:1.0000000 520:1.0000000 529:2.0000000 535:1.0000000 540:1.0000000 635:1.0000000 792:1.0000000 1453:1.0000000 2968:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3016:1.0000000 3017:1.0000000 3018:1.0000000 3028:1.0000000 3029:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3037:1.0000000 3038:1.0000000 3039:1.0000000 3040:1.0000000 3041:1.0000000 3042:1.0000000 3043:1.0000000 3044:1.0000000 3045:1.0000000 3046:1.0000000 3047:1.0000000 3048:2.0000000 3049:2.0000000 3050:2.0000000 3051:2.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3074:1.0000000 3075:1.0000000 3078:1.0000000 3079:1.0000000 3080:1.0000000
-2 30:1.0000000 31:1.0000000 33:1.0000000 50:1.0000000 58:3.5000000 59:4.0000000 60:3.0000000 77:1.0000000 87:20.0000000 89:7.0000000 101:1.0000000 127:1.0000000 154:1.0000000 160:1.0000000 520:1.0000000 529:2.0000000 535:1.0000000 540:1.0000000 557:1.0000000 1453:1.0000000 1719:1.0000000 1722:1.0000000 2947:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3016:1.0000000 3017:1.0000000 3018:1.0000000 3028:1.0000000 3029:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3046:1.0000000 3048:2.0000000 3049:2.0000000 3050:2.0000000 3051:2.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:2.0000000 3067:2.0000000 3068:2.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3089:1.0000000 3090:1.0000000
-2 30:1.0000000 31:1.0000000 36:1.0000000 37:1.0000000 38:1.0000000 40:1.0000000 43:1.0000000 53:1.0000000 58:3.5000000 59:5.0000000 60:2.0000000 77:1.0000000 87:10.0000000 89:3.0000000 115:1.0000000 120:1.0000000 135:1.0000000 487:1.0000000 508:1.0000000 529:1.0000000 1009:1.0000000 2832:1.0000000 3028:1.0000000 3029:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3071:1.0000000 3072:1.0000000 3091:1.0000000 3092:1.0000000 3093:1.0000000 3094:1.0000000 3095:1.0000000 3096:1.0000000 3097:1.0000000 3098:1.0000000 3099:1.0000000 3100:1.0000000 3101:1.0000000 3102:1.0000000 3103:1.0000000 3104:1.0000000 3105:1.0000000 3106:1.0000000 3107:1.0000000 3108:1.0000000 3109:1.0000000 3110:1.0000000 3111:1.0000000 3112:1.0000000 3113:1.0000000 3114:1.0000000 3115:1.0000000
-2 30:1.0000000 31:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 58:3.0000000 59:4.0000000 60:2.0000000 77:1.0000000 87:11.0000000 89:4.0000000 176:1.0000000 285:1.0000000 288:1.0000000 303:1.0000000 377:1.0000000 529:1.0000000 1009:1.0000000 2832:1.0000000 2861:1.0000000 3019:1.0000000 3020:1.0000000 3021:1.0000000 3022:1.0000000 3024:1.0000000 3025:1.0000000 3026:1.0000000 3027:1.0000000 3028:1.0000000 3029:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3069:1.0000000 3070:1.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3074:1.0000000 3075:1.0000000 3076:1.0000000 3091:1.0000000 3092:1.0000000 3093:1.0000000 3094:1.0000000 3095:1.0000000 3096:1.0000000 3097:1.0000000 3098:1.0000000 3099:1.0000000 3108:1.0000000 3109:1.0000000 3110:1.0000000 3111:1.0000000 3116:1.0000000
-2 30:1.0000000 31:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 58:2.5000000 59:3.0000000 60:2.0000000 77:1.0000000 87:16.0000000 89:5.0000000 176:1.0000000 285:1.0000000 288:1.0000000 303:1.0000000 377:1.0000000 529:2.0000000 635:1.0000000 1009:1.0000000 2832:1.0000000 2968:1.0000000 3028:1.0000000 3029:1.0000000 3037:1.0000000 3038:1.0000000 3039:1.0000000 3040:1.0000000 3041:1.0000000 3042:1.0000000 3043:1.0000000 3044:1.0000000 3045:1.0000000 3047:1.0000000 3048:1.0000000 3049:2.0000000 3050:2.0000000 3051:2.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3074:1.0000000 3075:1.0000000 3078:1.0000000 3079:1.0000000 3091:1.0000000 3092:1.0000000 3093:1.0000000 3094:1.0000000 3095:1.0000000 3096:1.0000000 3097:1.0000000 3098:1.0000000 3099:1.0000000 3108:1.0000000 3109:1.0000000 3110:1.0000000 3111:1.0000000 3117:1.0000000
-2 30:1.0000000 31:1.0000000 33:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 50:1.0000000 51:1.0000000 58:3.0000000 59:4.0000000 60:2.0000000 77:1.0000000 87:19.0000000 89:6.0000000 154:1.0000000 529:2.0000000 1009:1.0000000 1719:1.0000000 1722:1.0000000 2832:1.0000000 2947:1.0000000 3028:1.0000000 3029:1.0000000 3048:1.0000000 3049:2.0000000 3050:2.0000000 3051:2.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:2.0000000 3067:2.0000000 3068:2.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3089:1.0000000 3091:1.0000000 3092:1.0000000 3093:1.0000000 3094:1.0000000 3095:1.0000000 3096:1.0000000 3097:1.0000000 3098:1.0000000 3099:1.0000000 3108:1.0000000 3109:1.0000000 3110:1.0000000 3111:1.0000000 3118:1.0000000
-2 30:1.0000000 33:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 58:2.0000000 59:2.0000000 60:2.0000000 87:2.0000000 176:1.0000000 180:1.0000000 183:1.0000000 184:1.0000000 303:1.0000000 1009:1.0000000 3052:1.0000000 3053:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3067:1.0000000 3068:1.0000000 3119:1.0000000 3120:1.0000000 3121:1.0000000 3122:1.0000000 3123:1.0000000 3124:1.0000000 3125:1.0000000 3126:1.0000000 3127:1.0000000 3128:1.0000000 3129:1.0000000 3130:1.0000000 3131:1.0000000 3132:1.0000000 3133:1.0000000 3134:1.0000000 3135:1.0000000 3136:1.0000000 3137:1.0000000 3138:1.0000000
-2 30:1.0000000 31:1.0000000 36:1.0000000 37:1.0000000 38:1.0000000 40:1.0000000 43:1.0000000 53:1.0000000 58:3.0000000 59:3.0000000 60:3.0000000 77:1.0000000 87:5.0000000 89:2.0000000 115:1.0000000 120:1.0000000 135:1.0000000 487:1.0000000 508:1.0000000 1009:1.0000000 3067:1.0000000 3068:1.0000000 3071:1.0000000 3072:1.0000000 3100:1.0000000 3101:1.0000000 3102:1.0000000 3103:1.0000000 3104:1.0000000 3105:1.0000000 3106:1.0000000 3107:1.0000000 3112:1.0000000 3113:1.0000000 3114:1.0000000 3119:1.0000000 3120:1.0000000 3121:1.0000000 3122:1.0000000 3123:1.0000000 3124:1.0000000 3125:1.0000000 3126:1.0000000 3127:1.0000000 3128:1.0000000 3133:1.0000000 3134:1.0000000 3135:1.0000000 3136:1.0000000 3139:1.0000000
-2 30:1.0000000 31:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 58:2.5000000 59:3.0000000 60:2.0000000 77:1.0000000 87:6.0000000 89:3.0000000 176:1.0000000 285:1.0000000 288:1.0000000 303:1.0000000 377:1.0000000 1009:1.0000000 2861:1.0000000 3019:1.0000000 3020:1.0000000 3021:1.0000000 3022:1.0000000 3024:1.0000000 3025:1.0000000 3026:1.0000000 3027:1.0000000 3067:1.0000000 3068:1.0000000 3069:1.0000000 3070:1.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3074:1.0000000 3075:1.0000000 3076:1.0000000 3119:1.0000000 3120:1.0000000 3121:1.0000000 3122:1.0000000 3123:1.0000000 3124:1.0000000 3125:1.0000000 3126:1.0000000 3127:1.0000000 3128:1.0000000 3133:1.0000000 3134:1.0000000 3135:1.0000000 3136:1.0000000 3140:1.0000000
-2 30:1.0000000 31:1.0000000 33:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 50:1.0000000 51:1.0000000 58:3.5000000 59:4.0000000 60:3.0000000 77:1.0000000 87:14.0000000 89:5.0000000 154:1.0000000 529:1.0000000 1009:1.0000000 1719:1.0000000 1722:1.0000000 2947:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:2.0000000 3068:2.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3089:1.0000000 3119:1.0000000 3120:1.0000000 3121:1.0000000 3122:1.0000000 3123:1.0000000 3124:1.0000000 3125:1.0000000 3126:1.0000000 3127:1.0000000 3128:1.0000000 3133:1.0000000 3134:1.0000000 3135:1.0000000 3136:1.0000000 3141:1.0000000
-2 30:1.0000000 33:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 53:1.0000000 58:4.0000000 59:4.0000000 60:4.0000000 68:1.0000000 77:1.0000000 87:14.0000000 89:5.0000000 176:1.0000000 303:1.0000000 416:1.0000000 417:1.0000000 529:1.0000000 1009:1.0000000 2968:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:2.0000000 3068:2.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3078:1.0000000 3119:1.0000000 3120:1.0000000 3121:1.0000000 3122:1.0000000 3123:1.0000000 3124:1.0000000 3125:1.0000000 3126:1.0000000 3127:1.0000000 3128:1.0000000 3129:1.0000000 3133:1.0000000 3134:1.0000000 3135:1.0000000 3136:1.0000000 3142:1.0000000 3143:1.0000000 3144:1.0000000 3145:1.0000000 3146:1.0000000 3147:1.0000000
-3 27:1.0000000 28:1.0000000 29:1.0000000 33:1.0000000 124:1.0000000 176:1.0000000 177:1.0000000 178:1.0000000 180:1.0000000 183:1.0000000 184:1.0000000 1783:1.0000000 3052:1.0000000 3053:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3129:1.0000000 3130:1.0000000 3131:1.0000000 3132:1.0000000 3137:1.0000000 3148:1.0000000 3149:1.0000000 3150:1.0000000 3151:1.0000000 3152:1.0000000 3153:1.0000000 3154:1.0000000 3155:1.0000000 3156:1.0000000
-2 29:1.0000000 31:1.0000000 33:1.0000000 50:1.0000000 77:1.0000000 87:10.0000000 89:3.0000000 124:1.0000000 125:1.0000000 154:1.0000000 529:1.0000000 1719:1.0000000 1722:1.0000000 1783:1.0000000 1784:1.0000000 2947:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3073:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3089:1.0000000 3148:1.0000000 3149:1.0000000 3150:1.0000000 3151:1.0000000 3152:1.0000000 3153:1.0000000 3154:1.0000000 3155:1.0000000 3156:1.0000000
-2 29:1.0000000 33:1.0000000 53:1.0000000 68:1.0000000 77:1.0000000 87:10.0000000 89:3.0000000 124:1.0000000 176:1.0000000 177:1.0000000 416:1.0000000 417:1.0000000 529:1.0000000 1783:1.0000000 1784:1.0000000 2968:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3073:1.0000000 3078:1.0000000 3129:1.0000000 3142:1.0000000 3143:1.0000000 3144:1.0000000 3145:1.0000000 3146:1.0000000 3148:1.0000000 3149:1.0000000 3150:1.0000000 3151:1.0000000 3152:1.0000000 3153:1.0000000 3154:1.0000000 3155:1.0000000 3156:1.0000000
-2 29:1.0000000 31:1.0000000 33:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 44:1.0000000 50:1.0000000 51:1.0000000 58:3.5000000 59:4.0000000 60:3.0000000 77:1.0000000 87:11.0000000 89:3.0000000 154:1.0000000 529:1.0000000 1719:1.0000000 1722:1.0000000 2947:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3072:1.0000000 3073:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3089:1.0000000 3134:1.0000000 3135:1.0000000 3149:1.0000000 3150:1.0000000 3151:1.0000000 3152:1.0000000 3153:1.0000000 3154:1.0000000 3157:1.0000000 3158:1.0000000 3159:1.0000000 3160:1.0000000 3161:1.0000000 3162:1.0000000 3163:1.0000000
+2 30:1.0000000 31:1.0000000 58:3.0000000 59:3.0000000 60:3.0000000 77:1.0000000 87:17.0000000 89:6.0000000 101:1.0000000 127:1.0000000 160:1.0000000 176:1.0000000 285:1.0000000 288:1.0000000 377:1.0000000 520:1.0000000 529:2.0000000 535:1.0000000 540:1.0000000 635:1.0000000 792:1.0000000 1453:1.0000000 2968:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3016:1.0000000 3017:1.0000000 3018:1.0000000 3028:1.0000000 3029:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3037:1.0000000 3038:1.0000000 3039:1.0000000 3040:1.0000000 3041:1.0000000 3042:1.0000000 3043:1.0000000 3044:1.0000000 3045:1.0000000 3046:1.0000000 3047:1.0000000 3048:2.0000000 3049:2.0000000 3050:2.0000000 3051:2.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3074:1.0000000 3075:1.0000000 3078:1.0000000 3079:1.0000000
+2 30:1.0000000 31:1.0000000 33:1.0000000 50:1.0000000 58:3.5000000 59:4.0000000 60:3.0000000 77:1.0000000 87:20.0000000 89:7.0000000 101:1.0000000 127:1.0000000 154:1.0000000 160:1.0000000 520:1.0000000 529:2.0000000 535:1.0000000 540:1.0000000 557:1.0000000 1453:1.0000000 1719:1.0000000 1722:1.0000000 2947:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3016:1.0000000 3017:1.0000000 3018:1.0000000 3028:1.0000000 3029:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3046:1.0000000 3048:2.0000000 3049:2.0000000 3050:2.0000000 3051:2.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:2.0000000 3067:2.0000000 3068:2.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3080:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3089:1.0000000
+2 30:1.0000000 31:1.0000000 36:1.0000000 37:1.0000000 38:1.0000000 40:1.0000000 43:1.0000000 53:1.0000000 58:3.5000000 59:5.0000000 60:2.0000000 77:1.0000000 87:10.0000000 89:3.0000000 115:1.0000000 120:1.0000000 135:1.0000000 487:1.0000000 508:1.0000000 529:1.0000000 1009:1.0000000 2832:1.0000000 3028:1.0000000 3029:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3071:1.0000000 3072:1.0000000 3090:1.0000000 3091:1.0000000 3092:1.0000000 3093:1.0000000 3094:1.0000000 3095:1.0000000 3096:1.0000000 3097:1.0000000 3098:1.0000000 3099:1.0000000 3100:1.0000000 3101:1.0000000 3102:1.0000000 3103:1.0000000 3104:1.0000000 3105:1.0000000 3106:1.0000000 3107:1.0000000 3108:1.0000000 3109:1.0000000 3110:1.0000000 3111:1.0000000 3112:1.0000000 3113:1.0000000 3114:1.0000000
+2 30:1.0000000 31:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 58:3.0000000 59:4.0000000 60:2.0000000 77:1.0000000 87:11.0000000 89:4.0000000 176:1.0000000 285:1.0000000 288:1.0000000 303:1.0000000 377:1.0000000 529:1.0000000 1009:1.0000000 2832:1.0000000 2861:1.0000000 3019:1.0000000 3020:1.0000000 3021:1.0000000 3022:1.0000000 3024:1.0000000 3025:1.0000000 3026:1.0000000 3027:1.0000000 3028:1.0000000 3029:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3069:1.0000000 3070:1.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3074:1.0000000 3075:1.0000000 3076:1.0000000 3090:1.0000000 3091:1.0000000 3092:1.0000000 3093:1.0000000 3094:1.0000000 3095:1.0000000 3096:1.0000000 3097:1.0000000 3098:1.0000000 3107:1.0000000 3108:1.0000000 3109:1.0000000 3110:1.0000000 3115:1.0000000
+2 30:1.0000000 31:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 58:2.5000000 59:3.0000000 60:2.0000000 77:1.0000000 87:16.0000000 89:5.0000000 176:1.0000000 285:1.0000000 288:1.0000000 303:1.0000000 377:1.0000000 529:2.0000000 635:1.0000000 1009:1.0000000 2832:1.0000000 2968:1.0000000 3028:1.0000000 3029:1.0000000 3037:1.0000000 3038:1.0000000 3039:1.0000000 3040:1.0000000 3041:1.0000000 3042:1.0000000 3043:1.0000000 3044:1.0000000 3045:1.0000000 3047:1.0000000 3048:1.0000000 3049:2.0000000 3050:2.0000000 3051:2.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3074:1.0000000 3075:1.0000000 3078:1.0000000 3090:1.0000000 3091:1.0000000 3092:1.0000000 3093:1.0000000 3094:1.0000000 3095:1.0000000 3096:1.0000000 3097:1.0000000 3098:1.0000000 3107:1.0000000 3108:1.0000000 3109:1.0000000 3110:1.0000000 3116:1.0000000
+2 30:1.0000000 31:1.0000000 33:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 50:1.0000000 51:1.0000000 58:3.0000000 59:4.0000000 60:2.0000000 77:1.0000000 87:19.0000000 89:6.0000000 154:1.0000000 529:2.0000000 1009:1.0000000 1719:1.0000000 1722:1.0000000 2832:1.0000000 2947:1.0000000 3028:1.0000000 3029:1.0000000 3048:1.0000000 3049:2.0000000 3050:2.0000000 3051:2.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:2.0000000 3067:2.0000000 3068:2.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3080:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3090:1.0000000 3091:1.0000000 3092:1.0000000 3093:1.0000000 3094:1.0000000 3095:1.0000000 3096:1.0000000 3097:1.0000000 3098:1.0000000 3107:1.0000000 3108:1.0000000 3109:1.0000000 3110:1.0000000 3117:1.0000000
+2 30:1.0000000 33:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 58:2.0000000 59:2.0000000 60:2.0000000 87:2.0000000 176:1.0000000 180:1.0000000 183:1.0000000 184:1.0000000 303:1.0000000 1009:1.0000000 3052:1.0000000 3053:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3067:1.0000000 3068:1.0000000 3118:1.0000000 3119:1.0000000 3120:1.0000000 3121:1.0000000 3122:1.0000000 3123:1.0000000 3124:1.0000000 3125:1.0000000 3126:1.0000000 3127:1.0000000 3128:1.0000000 3129:1.0000000 3130:1.0000000 3131:1.0000000 3132:1.0000000 3133:1.0000000 3134:1.0000000 3135:1.0000000 3136:1.0000000 3137:1.0000000
+2 30:1.0000000 31:1.0000000 36:1.0000000 37:1.0000000 38:1.0000000 40:1.0000000 43:1.0000000 53:1.0000000 58:3.0000000 59:3.0000000 60:3.0000000 77:1.0000000 87:5.0000000 89:2.0000000 115:1.0000000 120:1.0000000 135:1.0000000 487:1.0000000 508:1.0000000 1009:1.0000000 3067:1.0000000 3068:1.0000000 3071:1.0000000 3072:1.0000000 3099:1.0000000 3100:1.0000000 3101:1.0000000 3102:1.0000000 3103:1.0000000 3104:1.0000000 3105:1.0000000 3106:1.0000000 3111:1.0000000 3112:1.0000000 3113:1.0000000 3118:1.0000000 3119:1.0000000 3120:1.0000000 3121:1.0000000 3122:1.0000000 3123:1.0000000 3124:1.0000000 3125:1.0000000 3126:1.0000000 3127:1.0000000 3132:1.0000000 3133:1.0000000 3134:1.0000000 3135:1.0000000 3138:1.0000000
+2 30:1.0000000 31:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 58:2.5000000 59:3.0000000 60:2.0000000 77:1.0000000 87:6.0000000 89:3.0000000 176:1.0000000 285:1.0000000 288:1.0000000 303:1.0000000 377:1.0000000 1009:1.0000000 2861:1.0000000 3019:1.0000000 3020:1.0000000 3021:1.0000000 3022:1.0000000 3024:1.0000000 3025:1.0000000 3026:1.0000000 3027:1.0000000 3067:1.0000000 3068:1.0000000 3069:1.0000000 3070:1.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3074:1.0000000 3075:1.0000000 3076:1.0000000 3118:1.0000000 3119:1.0000000 3120:1.0000000 3121:1.0000000 3122:1.0000000 3123:1.0000000 3124:1.0000000 3125:1.0000000 3126:1.0000000 3127:1.0000000 3132:1.0000000 3133:1.0000000 3134:1.0000000 3135:1.0000000 3139:1.0000000
+2 30:1.0000000 31:1.0000000 33:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 50:1.0000000 51:1.0000000 58:3.5000000 59:4.0000000 60:3.0000000 77:1.0000000 87:14.0000000 89:5.0000000 154:1.0000000 529:1.0000000 1009:1.0000000 1719:1.0000000 1722:1.0000000 2947:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:2.0000000 3068:2.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3080:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3118:1.0000000 3119:1.0000000 3120:1.0000000 3121:1.0000000 3122:1.0000000 3123:1.0000000 3124:1.0000000 3125:1.0000000 3126:1.0000000 3127:1.0000000 3132:1.0000000 3133:1.0000000 3134:1.0000000 3135:1.0000000 3140:1.0000000
+2 30:1.0000000 33:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 53:1.0000000 58:4.0000000 59:4.0000000 60:4.0000000 68:1.0000000 77:1.0000000 87:14.0000000 89:5.0000000 176:1.0000000 303:1.0000000 416:1.0000000 417:1.0000000 529:1.0000000 1009:1.0000000 2968:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:2.0000000 3068:2.0000000 3071:1.0000000 3072:1.0000000 3073:1.0000000 3118:1.0000000 3119:1.0000000 3120:1.0000000 3121:1.0000000 3122:1.0000000 3123:1.0000000 3124:1.0000000 3125:1.0000000 3126:1.0000000 3127:1.0000000 3128:1.0000000 3132:1.0000000 3133:1.0000000 3134:1.0000000 3135:1.0000000 3141:1.0000000 3142:1.0000000 3143:1.0000000 3144:1.0000000 3145:1.0000000 3146:1.0000000 3147:1.0000000
+3 27:1.0000000 28:1.0000000 29:1.0000000 33:1.0000000 124:1.0000000 176:1.0000000 177:1.0000000 178:1.0000000 180:1.0000000 183:1.0000000 184:1.0000000 1783:1.0000000 3052:1.0000000 3053:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3128:1.0000000 3129:1.0000000 3130:1.0000000 3131:1.0000000 3136:1.0000000 3148:1.0000000 3149:1.0000000 3150:1.0000000 3151:1.0000000 3152:1.0000000 3153:1.0000000 3154:1.0000000 3155:1.0000000 3156:1.0000000
+2 29:1.0000000 31:1.0000000 33:1.0000000 50:1.0000000 77:1.0000000 87:10.0000000 89:3.0000000 124:1.0000000 125:1.0000000 154:1.0000000 529:1.0000000 1719:1.0000000 1722:1.0000000 1783:1.0000000 1784:1.0000000 2947:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3073:1.0000000 3080:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3148:1.0000000 3149:1.0000000 3150:1.0000000 3151:1.0000000 3152:1.0000000 3153:1.0000000 3154:1.0000000 3155:1.0000000 3156:1.0000000
+2 29:1.0000000 33:1.0000000 53:1.0000000 68:1.0000000 77:1.0000000 87:10.0000000 89:3.0000000 124:1.0000000 176:1.0000000 177:1.0000000 416:1.0000000 417:1.0000000 529:1.0000000 1783:1.0000000 1784:1.0000000 2968:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3073:1.0000000 3128:1.0000000 3141:1.0000000 3142:1.0000000 3143:1.0000000 3144:1.0000000 3145:1.0000000 3146:1.0000000 3148:1.0000000 3149:1.0000000 3150:1.0000000 3151:1.0000000 3152:1.0000000 3153:1.0000000 3154:1.0000000 3155:1.0000000 3156:1.0000000
+2 29:1.0000000 31:1.0000000 33:1.0000000 36:1.0000000 40:1.0000000 43:1.0000000 44:1.0000000 50:1.0000000 51:1.0000000 58:3.5000000 59:4.0000000 60:3.0000000 77:1.0000000 87:11.0000000 89:3.0000000 154:1.0000000 529:1.0000000 1719:1.0000000 1722:1.0000000 2947:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3072:1.0000000 3073:1.0000000 3080:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3133:1.0000000 3134:1.0000000 3149:1.0000000 3150:1.0000000 3151:1.0000000 3152:1.0000000 3153:1.0000000 3154:1.0000000 3157:1.0000000 3158:1.0000000 3159:1.0000000 3160:1.0000000 3161:1.0000000 3162:1.0000000 3163:1.0000000
3 27:1.0000000 28:1.0000000 30:1.0000000 31:1.0000000 58:1.5000000 59:2.0000000 60:1.0000000 127:1.0000000 160:1.0000000 176:1.0000000 285:1.0000000 288:1.0000000 377:1.0000000 520:1.0000000 535:1.0000000 540:1.0000000 792:1.0000000 1453:1.0000000 2861:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3017:1.0000000 3018:1.0000000 3019:1.0000000 3020:1.0000000 3021:1.0000000 3022:1.0000000 3024:1.0000000 3025:1.0000000 3026:1.0000000 3027:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3069:1.0000000 3074:1.0000000 3075:1.0000000 3076:1.0000000 3164:1.0000000 3165:1.0000000 3166:1.0000000
-2 30:1.0000000 31:1.0000000 33:1.0000000 50:1.0000000 58:3.5000000 59:4.0000000 60:3.0000000 87:8.0000000 89:2.0000000 127:1.0000000 154:1.0000000 160:1.0000000 520:1.0000000 529:1.0000000 535:1.0000000 540:1.0000000 557:1.0000000 1453:1.0000000 1719:1.0000000 1722:1.0000000 2947:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3017:1.0000000 3018:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3046:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3089:1.0000000 3164:1.0000000 3165:1.0000000 3167:1.0000000
-2 30:1.0000000 33:1.0000000 53:1.0000000 58:4.0000000 59:4.0000000 60:4.0000000 68:1.0000000 87:8.0000000 89:2.0000000 127:1.0000000 160:1.0000000 176:1.0000000 416:1.0000000 417:1.0000000 520:1.0000000 529:1.0000000 535:1.0000000 540:1.0000000 792:1.0000000 1453:1.0000000 2968:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3017:1.0000000 3018:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3046:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3078:1.0000000 3129:1.0000000 3142:1.0000000 3143:1.0000000 3144:1.0000000 3145:1.0000000 3146:1.0000000 3164:1.0000000 3165:1.0000000 3168:1.0000000
-3 27:1.0000000 28:1.0000000 29:1.0000000 30:1.0000000 33:1.0000000 53:1.0000000 58:1.5000000 59:2.0000000 60:1.0000000 68:1.0000000 124:1.0000000 166:1.0000000 176:1.0000000 177:1.0000000 178:1.0000000 416:1.0000000 417:1.0000000 746:1.0000000 1713:1.0000000 1716:1.0000000 2968:1.0000000 2999:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3078:1.0000000 3129:1.0000000 3142:1.0000000 3143:1.0000000 3144:1.0000000 3145:1.0000000 3146:1.0000000 3148:1.0000000 3149:1.0000000 3151:1.0000000 3152:1.0000000 3153:1.0000000 3154:1.0000000 3169:1.0000000 3170:1.0000000 3171:1.0000000 3172:1.0000000 3173:1.0000000 3174:1.0000000 3175:1.0000000
-3 8:1.0000000 27:1.0000000 28:1.0000000 29:1.0000000 30:2.0000000 31:1.0000000 33:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 176:1.0000000 178:1.0000000 274:1.0000000 285:1.0000000 288:1.0000000 377:1.0000000 535:1.0000000 668:1.0000000 717:1.0000000 764:1.0000000 775:1.0000000 776:1.0000000 792:1.0000000 837:1.0000000 839:1.0000000 889:1.0000000 892:1.0000000 2599:1.0000000 2847:1.0000000 3039:1.0000000 3040:1.0000000 3121:1.0000000 3122:1.0000000 3176:1.0000000 3177:1.0000000 3178:1.0000000 3179:1.0000000 3180:1.0000000 3181:1.0000000 3182:1.0000000 3183:1.0000000 3184:1.0000000 3185:1.0000000 3186:1.0000000 3187:1.0000000 3188:1.0000000 3189:1.0000000 3190:1.0000000 3191:1.0000000 3192:1.0000000 3193:1.0000000 3194:1.0000000 3195:1.0000000 3196:1.0000000 3197:1.0000000
-2 8:1.0000000 29:1.0000000 30:2.0000000 31:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 87:1.0000000 285:1.0000000 328:1.0000000 360:1.0000000 363:1.0000000 370:1.0000000 373:1.0000000 377:1.0000000 535:1.0000000 717:1.0000000 764:1.0000000 775:1.0000000 776:1.0000000 889:1.0000000 892:1.0000000 1490:1.0000000 2599:1.0000000 2847:1.0000000 3121:1.0000000 3122:1.0000000 3176:1.0000000 3177:1.0000000 3178:1.0000000 3179:1.0000000 3180:1.0000000 3181:1.0000000 3186:1.0000000 3187:1.0000000 3188:1.0000000 3189:1.0000000 3190:1.0000000 3191:1.0000000 3192:1.0000000 3193:1.0000000 3198:1.0000000 3199:1.0000000 3200:1.0000000 3201:1.0000000 3202:1.0000000 3203:1.0000000 3204:1.0000000 3205:1.0000000 3206:1.0000000 3207:1.0000000 3208:1.0000000 3209:1.0000000 3210:1.0000000
-2 8:1.0000000 29:1.0000000 30:2.0000000 31:1.0000000 58:3.0000000 59:5.0000000 60:1.0000000 87:3.0000000 89:1.0000000 91:1.0000000 338:1.0000000 362:1.0000000 370:1.0000000 523:1.0000000 527:1.0000000 535:1.0000000 541:1.0000000 560:1.0000000 717:1.0000000 764:1.0000000 775:1.0000000 776:1.0000000 889:1.0000000 892:1.0000000 1490:1.0000000 2599:1.0000000 2847:1.0000000 2935:1.0000000 3121:1.0000000 3122:1.0000000 3176:1.0000000 3177:1.0000000 3178:1.0000000 3179:1.0000000 3180:1.0000000 3181:1.0000000 3187:1.0000000 3188:1.0000000 3189:1.0000000 3190:1.0000000 3191:1.0000000 3192:1.0000000 3193:1.0000000 3198:1.0000000 3199:1.0000000 3200:1.0000000 3201:1.0000000 3205:1.0000000 3206:1.0000000 3211:1.0000000 3212:1.0000000 3213:1.0000000 3214:1.0000000 3215:1.0000000 3216:1.0000000 3217:1.0000000 3218:1.0000000
-2 8:1.0000000 29:1.0000000 30:2.0000000 31:3.0000000 32:1.0000000 33:1.0000000 37:1.0000000 58:3.0000000 59:5.0000000 60:1.0000000 67:1.0000000 68:1.0000000 87:5.0000000 89:2.0000000 91:1.0000000 256:1.0000000 338:1.0000000 370:1.0000000 535:1.0000000 541:1.0000000 551:1.0000000 560:1.0000000 717:1.0000000 764:1.0000000 775:1.0000000 776:1.0000000 818:1.0000000 822:1.0000000 824:1.0000000 889:1.0000000 892:1.0000000 2066:1.0000000 2599:1.0000000 2847:1.0000000 2915:1.0000000 2917:1.0000000 3121:1.0000000 3122:1.0000000 3176:1.0000000 3177:1.0000000 3178:1.0000000 3179:1.0000000 3180:1.0000000 3181:1.0000000 3187:1.0000000 3188:1.0000000 3189:1.0000000 3190:1.0000000 3191:1.0000000 3192:1.0000000 3193:1.0000000 3205:1.0000000 3212:1.0000000 3214:2.0000000 3219:1.0000000 3220:1.0000000 3221:1.0000000 3222:1.0000000 3223:1.0000000 3224:1.0000000 3225:1.0000000 3226:1.0000000 3227:1.0000000 3228:1.0000000 3229:1.0000000 3230:1.0000000 3231:1.0000000 3232:1.0000000 3233:1.0000000
3234:1.0000000 3235:1.0000000 3236:1.0000000
-2 8:1.0000000 29:1.0000000 30:2.0000000 31:1.0000000 37:1.0000000 58:3.0000000 59:5.0000000 60:1.0000000 87:5.0000000 89:2.0000000 91:1.0000000 338:1.0000000 370:1.0000000 535:1.0000000 541:1.0000000 551:1.0000000 560:1.0000000 717:1.0000000 764:1.0000000 775:1.0000000 776:1.0000000 818:1.0000000 822:1.0000000 824:1.0000000 889:1.0000000 892:1.0000000 2599:1.0000000 2847:1.0000000 2914:1.0000000 2915:1.0000000 2916:1.0000000 2917:1.0000000 3121:1.0000000 3122:1.0000000 3176:1.0000000 3177:1.0000000 3178:1.0000000 3179:1.0000000 3180:1.0000000 3181:1.0000000 3187:1.0000000 3188:1.0000000 3189:1.0000000 3190:1.0000000 3191:1.0000000 3192:1.0000000 3193:1.0000000 3205:1.0000000 3212:1.0000000 3214:2.0000000 3228:1.0000000 3230:1.0000000 3231:1.0000000 3235:1.0000000 3236:1.0000000 3237:1.0000000 3238:1.0000000 3239:1.0000000
-2 29:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 58:3.0000000 59:3.0000000 60:3.0000000 87:1.0000000 285:1.0000000 328:1.0000000 360:1.0000000 363:1.0000000 370:1.0000000 373:1.0000000 377:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 574:1.0000000 717:1.0000000 892:1.0000000 913:1.0000000 1490:1.0000000 2847:1.0000000 3121:1.0000000 3122:1.0000000 3180:1.0000000 3181:1.0000000 3186:1.0000000 3187:1.0000000 3198:1.0000000 3199:1.0000000 3200:1.0000000 3201:1.0000000 3202:1.0000000 3203:1.0000000 3204:1.0000000 3205:1.0000000 3207:1.0000000 3208:1.0000000 3209:1.0000000 3240:1.0000000 3241:1.0000000 3242:1.0000000 3243:1.0000000 3244:1.0000000 3245:1.0000000 3246:1.0000000
-2 29:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 58:4.0000000 59:5.0000000 60:3.0000000 87:3.0000000 89:1.0000000 91:1.0000000 338:1.0000000 362:1.0000000 370:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 523:1.0000000 527:1.0000000 541:1.0000000 560:1.0000000 574:1.0000000 717:1.0000000 892:1.0000000 913:1.0000000 1490:1.0000000 2847:1.0000000 2935:1.0000000 3121:1.0000000 3122:1.0000000 3180:1.0000000 3181:1.0000000 3187:1.0000000 3198:1.0000000 3199:1.0000000 3200:1.0000000 3201:1.0000000 3205:1.0000000 3211:1.0000000 3212:1.0000000 3213:1.0000000 3214:1.0000000 3215:1.0000000 3216:1.0000000 3217:1.0000000 3240:1.0000000 3241:1.0000000 3242:1.0000000 3243:1.0000000 3244:1.0000000 3245:1.0000000 3247:1.0000000
-2 29:1.0000000 30:1.0000000 31:3.0000000 32:1.0000000 33:1.0000000 36:1.0000000 37:1.0000000 38:1.0000000 58:4.0000000 59:5.0000000 60:3.0000000 67:1.0000000 68:1.0000000 87:5.0000000 89:2.0000000 91:1.0000000 256:1.0000000 338:1.0000000 370:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 541:1.0000000 551:1.0000000 560:1.0000000 574:1.0000000 717:1.0000000 822:1.0000000 824:1.0000000 892:1.0000000 913:1.0000000 2066:1.0000000 2847:1.0000000 2915:1.0000000 2917:1.0000000 3121:1.0000000 3122:1.0000000 3180:1.0000000 3181:1.0000000 3187:1.0000000 3205:1.0000000 3212:1.0000000 3214:2.0000000 3219:1.0000000 3220:1.0000000 3221:1.0000000 3222:1.0000000 3223:1.0000000 3224:1.0000000 3225:1.0000000 3226:1.0000000 3227:1.0000000 3228:1.0000000 3229:1.0000000 3230:1.0000000 3231:1.0000000 3232:1.0000000 3233:1.0000000 3234:1.0000000 3235:1.0000000 3240:1.0000000 3241:1.0000000 3242:1.0000000 3243:1.0000000 3245:1.0000000 3248:1.0000000
-2 29:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 53:1.0000000 58:5.5000000 59:8.0000000 60:3.0000000 87:8.0000000 89:3.0000000 123:1.0000000 135:1.0000000 176:1.0000000 274:1.0000000 277:1.0000000 283:1.0000000 303:1.0000000 338:1.0000000 370:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 416:1.0000000 574:1.0000000 717:1.0000000 813:1.0000000 843:1.0000000 892:1.0000000 913:1.0000000 2847:1.0000000 2932:1.0000000 2937:1.0000000 3121:1.0000000 3122:1.0000000 3180:1.0000000 3181:1.0000000 3184:1.0000000 3187:1.0000000 3205:1.0000000 3214:2.0000000 3223:1.0000000 3231:1.0000000 3240:1.0000000 3241:1.0000000 3242:1.0000000 3243:1.0000000 3245:1.0000000 3249:1.0000000 3250:1.0000000 3251:1.0000000 3252:1.0000000 3253:1.0000000 3254:1.0000000 3255:1.0000000 3256:1.0000000 3257:1.0000000
+2 30:1.0000000 31:1.0000000 33:1.0000000 50:1.0000000 58:3.5000000 59:4.0000000 60:3.0000000 87:8.0000000 89:2.0000000 127:1.0000000 154:1.0000000 160:1.0000000 520:1.0000000 529:1.0000000 535:1.0000000 540:1.0000000 557:1.0000000 1453:1.0000000 1719:1.0000000 1722:1.0000000 2947:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3017:1.0000000 3018:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3046:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3056:1.0000000 3057:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3080:1.0000000 3081:1.0000000 3082:1.0000000 3083:1.0000000 3084:1.0000000 3085:1.0000000 3086:1.0000000 3087:1.0000000 3088:1.0000000 3164:1.0000000 3165:1.0000000 3167:1.0000000
+2 30:1.0000000 33:1.0000000 53:1.0000000 58:4.0000000 59:4.0000000 60:4.0000000 68:1.0000000 87:8.0000000 89:2.0000000 127:1.0000000 160:1.0000000 176:1.0000000 416:1.0000000 417:1.0000000 520:1.0000000 529:1.0000000 535:1.0000000 540:1.0000000 792:1.0000000 1453:1.0000000 2968:1.0000000 3012:1.0000000 3013:1.0000000 3014:1.0000000 3015:1.0000000 3017:1.0000000 3018:1.0000000 3030:1.0000000 3031:1.0000000 3032:1.0000000 3046:1.0000000 3048:1.0000000 3049:1.0000000 3050:1.0000000 3051:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3065:1.0000000 3066:1.0000000 3067:1.0000000 3068:1.0000000 3128:1.0000000 3141:1.0000000 3142:1.0000000 3143:1.0000000 3144:1.0000000 3145:1.0000000 3146:1.0000000 3164:1.0000000 3165:1.0000000 3168:1.0000000
+3 27:1.0000000 28:1.0000000 29:1.0000000 30:1.0000000 33:1.0000000 53:1.0000000 58:1.5000000 59:2.0000000 60:1.0000000 68:1.0000000 124:1.0000000 166:1.0000000 176:1.0000000 177:1.0000000 178:1.0000000 416:1.0000000 417:1.0000000 746:1.0000000 1713:1.0000000 1716:1.0000000 2968:1.0000000 2999:1.0000000 3057:1.0000000 3058:1.0000000 3059:1.0000000 3060:1.0000000 3061:1.0000000 3062:1.0000000 3128:1.0000000 3141:1.0000000 3142:1.0000000 3143:1.0000000 3144:1.0000000 3145:1.0000000 3146:1.0000000 3148:1.0000000 3149:1.0000000 3151:1.0000000 3152:1.0000000 3153:1.0000000 3154:1.0000000 3169:1.0000000 3170:1.0000000 3171:1.0000000 3172:1.0000000 3173:1.0000000 3174:1.0000000 3175:1.0000000
+3 8:1.0000000 27:1.0000000 28:1.0000000 29:1.0000000 30:2.0000000 31:1.0000000 33:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 176:1.0000000 178:1.0000000 274:1.0000000 285:1.0000000 288:1.0000000 377:1.0000000 535:1.0000000 668:1.0000000 717:1.0000000 764:1.0000000 775:1.0000000 776:1.0000000 792:1.0000000 837:1.0000000 839:1.0000000 889:1.0000000 892:1.0000000 2599:1.0000000 2847:1.0000000 3039:1.0000000 3040:1.0000000 3120:1.0000000 3121:1.0000000 3176:1.0000000 3177:1.0000000 3178:1.0000000 3179:1.0000000 3180:1.0000000 3181:1.0000000 3182:1.0000000 3183:1.0000000 3184:1.0000000 3185:1.0000000 3186:1.0000000 3187:1.0000000 3188:1.0000000 3189:1.0000000 3190:1.0000000 3191:1.0000000 3192:1.0000000 3193:1.0000000 3194:1.0000000 3195:1.0000000 3196:1.0000000 3197:1.0000000
+2 8:1.0000000 29:1.0000000 30:2.0000000 31:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 87:1.0000000 285:1.0000000 328:1.0000000 360:1.0000000 363:1.0000000 370:1.0000000 373:1.0000000 377:1.0000000 535:1.0000000 717:1.0000000 764:1.0000000 775:1.0000000 776:1.0000000 889:1.0000000 892:1.0000000 1490:1.0000000 2599:1.0000000 2847:1.0000000 3120:1.0000000 3121:1.0000000 3176:1.0000000 3177:1.0000000 3178:1.0000000 3179:1.0000000 3180:1.0000000 3181:1.0000000 3186:1.0000000 3187:1.0000000 3188:1.0000000 3189:1.0000000 3190:1.0000000 3191:1.0000000 3192:1.0000000 3193:1.0000000 3198:1.0000000 3199:1.0000000 3200:1.0000000 3201:1.0000000 3202:1.0000000 3203:1.0000000 3204:1.0000000 3205:1.0000000 3206:1.0000000 3207:1.0000000 3208:1.0000000 3209:1.0000000 3210:1.0000000
+2 8:1.0000000 29:1.0000000 30:2.0000000 31:1.0000000 58:3.0000000 59:5.0000000 60:1.0000000 87:3.0000000 89:1.0000000 91:1.0000000 338:1.0000000 362:1.0000000 370:1.0000000 523:1.0000000 527:1.0000000 535:1.0000000 541:1.0000000 560:1.0000000 717:1.0000000 764:1.0000000 775:1.0000000 776:1.0000000 889:1.0000000 892:1.0000000 1490:1.0000000 2599:1.0000000 2847:1.0000000 2935:1.0000000 3120:1.0000000 3121:1.0000000 3176:1.0000000 3177:1.0000000 3178:1.0000000 3179:1.0000000 3180:1.0000000 3181:1.0000000 3187:1.0000000 3188:1.0000000 3189:1.0000000 3190:1.0000000 3191:1.0000000 3192:1.0000000 3193:1.0000000 3198:1.0000000 3199:1.0000000 3200:1.0000000 3201:1.0000000 3205:1.0000000 3206:1.0000000 3211:1.0000000 3212:1.0000000 3213:1.0000000 3214:1.0000000 3215:1.0000000 3216:1.0000000 3217:1.0000000 3218:1.0000000
+2 8:1.0000000 29:1.0000000 30:2.0000000 31:3.0000000 32:1.0000000 33:1.0000000 37:1.0000000 58:3.0000000 59:5.0000000 60:1.0000000 67:1.0000000 68:1.0000000 87:5.0000000 89:2.0000000 91:1.0000000 256:1.0000000 338:1.0000000 370:1.0000000 535:1.0000000 541:1.0000000 551:1.0000000 560:1.0000000 717:1.0000000 764:1.0000000 775:1.0000000 776:1.0000000 818:1.0000000 822:1.0000000 824:1.0000000 889:1.0000000 892:1.0000000 2066:1.0000000 2599:1.0000000 2847:1.0000000 2915:1.0000000 2917:1.0000000 3120:1.0000000 3121:1.0000000 3176:1.0000000 3177:1.0000000 3178:1.0000000 3179:1.0000000 3180:1.0000000 3181:1.0000000 3187:1.0000000 3188:1.0000000 3189:1.0000000 3190:1.0000000 3191:1.0000000 3192:1.0000000 3193:1.0000000 3205:1.0000000 3212:1.0000000 3214:2.0000000 3219:1.0000000 3220:1.0000000 3221:1.0000000 3222:1.0000000 3223:1.0000000 3224:1.0000000 3225:1.0000000 3226:1.0000000 3227:1.0000000 3228:1.0000000 3229:1.0000000 3230:1.0000000 3231:1.0000000 3232:1.0000000 3233:1.0000000
3234:1.0000000 3235:1.0000000 3236:1.0000000
+2 8:1.0000000 29:1.0000000 30:2.0000000 31:1.0000000 37:1.0000000 58:3.0000000 59:5.0000000 60:1.0000000 87:5.0000000 89:2.0000000 91:1.0000000 338:1.0000000 370:1.0000000 535:1.0000000 541:1.0000000 551:1.0000000 560:1.0000000 717:1.0000000 764:1.0000000 775:1.0000000 776:1.0000000 818:1.0000000 822:1.0000000 824:1.0000000 889:1.0000000 892:1.0000000 2599:1.0000000 2847:1.0000000 2914:1.0000000 2915:1.0000000 2916:1.0000000 2917:1.0000000 3120:1.0000000 3121:1.0000000 3176:1.0000000 3177:1.0000000 3178:1.0000000 3179:1.0000000 3180:1.0000000 3181:1.0000000 3187:1.0000000 3188:1.0000000 3189:1.0000000 3190:1.0000000 3191:1.0000000 3192:1.0000000 3193:1.0000000 3205:1.0000000 3212:1.0000000 3214:2.0000000 3228:1.0000000 3230:1.0000000 3231:1.0000000 3235:1.0000000 3236:1.0000000 3237:1.0000000 3238:1.0000000 3239:1.0000000
+2 29:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 58:3.0000000 59:3.0000000 60:3.0000000 87:1.0000000 285:1.0000000 328:1.0000000 360:1.0000000 363:1.0000000 370:1.0000000 373:1.0000000 377:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 574:1.0000000 717:1.0000000 892:1.0000000 913:1.0000000 1490:1.0000000 2847:1.0000000 3120:1.0000000 3121:1.0000000 3180:1.0000000 3181:1.0000000 3186:1.0000000 3187:1.0000000 3198:1.0000000 3199:1.0000000 3200:1.0000000 3201:1.0000000 3202:1.0000000 3203:1.0000000 3204:1.0000000 3205:1.0000000 3207:1.0000000 3208:1.0000000 3209:1.0000000 3240:1.0000000 3241:1.0000000 3242:1.0000000 3243:1.0000000 3244:1.0000000 3245:1.0000000 3246:1.0000000
+2 29:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 58:4.0000000 59:5.0000000 60:3.0000000 87:3.0000000 89:1.0000000 91:1.0000000 338:1.0000000 362:1.0000000 370:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 523:1.0000000 527:1.0000000 541:1.0000000 560:1.0000000 574:1.0000000 717:1.0000000 892:1.0000000 913:1.0000000 1490:1.0000000 2847:1.0000000 2935:1.0000000 3120:1.0000000 3121:1.0000000 3180:1.0000000 3181:1.0000000 3187:1.0000000 3198:1.0000000 3199:1.0000000 3200:1.0000000 3201:1.0000000 3205:1.0000000 3211:1.0000000 3212:1.0000000 3213:1.0000000 3214:1.0000000 3215:1.0000000 3216:1.0000000 3217:1.0000000 3240:1.0000000 3241:1.0000000 3242:1.0000000 3243:1.0000000 3244:1.0000000 3245:1.0000000 3247:1.0000000
+2 29:1.0000000 30:1.0000000 31:3.0000000 32:1.0000000 33:1.0000000 36:1.0000000 37:1.0000000 38:1.0000000 58:4.0000000 59:5.0000000 60:3.0000000 67:1.0000000 68:1.0000000 87:5.0000000 89:2.0000000 91:1.0000000 256:1.0000000 338:1.0000000 370:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 541:1.0000000 551:1.0000000 560:1.0000000 574:1.0000000 717:1.0000000 822:1.0000000 824:1.0000000 892:1.0000000 913:1.0000000 2066:1.0000000 2847:1.0000000 2915:1.0000000 2917:1.0000000 3120:1.0000000 3121:1.0000000 3180:1.0000000 3181:1.0000000 3187:1.0000000 3205:1.0000000 3212:1.0000000 3214:2.0000000 3219:1.0000000 3220:1.0000000 3221:1.0000000 3222:1.0000000 3223:1.0000000 3224:1.0000000 3225:1.0000000 3226:1.0000000 3227:1.0000000 3228:1.0000000 3229:1.0000000 3230:1.0000000 3231:1.0000000 3232:1.0000000 3233:1.0000000 3234:1.0000000 3235:1.0000000 3240:1.0000000 3241:1.0000000 3242:1.0000000 3243:1.0000000 3245:1.0000000 3248:1.0000000
+2 29:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 53:1.0000000 58:5.5000000 59:8.0000000 60:3.0000000 87:8.0000000 89:3.0000000 123:1.0000000 135:1.0000000 176:1.0000000 274:1.0000000 277:1.0000000 283:1.0000000 303:1.0000000 338:1.0000000 370:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 416:1.0000000 574:1.0000000 717:1.0000000 813:1.0000000 843:1.0000000 892:1.0000000 913:1.0000000 2847:1.0000000 2932:1.0000000 2937:1.0000000 3120:1.0000000 3121:1.0000000 3180:1.0000000 3181:1.0000000 3184:1.0000000 3187:1.0000000 3205:1.0000000 3214:2.0000000 3223:1.0000000 3231:1.0000000 3240:1.0000000 3241:1.0000000 3242:1.0000000 3243:1.0000000 3245:1.0000000 3249:1.0000000 3250:1.0000000 3251:1.0000000 3252:1.0000000 3253:1.0000000 3254:1.0000000 3255:1.0000000 3256:1.0000000 3257:1.0000000
2 30:1.0000000 31:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 87:1.0000000 91:1.0000000 338:1.0000000 362:1.0000000 384:1.0000000 397:1.0000000 408:1.0000000 523:1.0000000 527:1.0000000 541:1.0000000 560:1.0000000 574:1.0000000 1489:1.0000000 1490:1.0000000 1491:1.0000000 2935:1.0000000 3181:1.0000000 3198:1.0000000 3199:1.0000000 3200:1.0000000 3201:1.0000000 3211:1.0000000 3212:1.0000000 3213:1.0000000 3215:1.0000000 3216:1.0000000 3217:1.0000000 3258:1.0000000 3259:1.0000000 3260:1.0000000 3261:1.0000000 3262:1.0000000 3263:1.0000000 3264:1.0000000 3265:1.0000000 3266:1.0000000 3267:1.0000000 3268:1.0000000 3269:1.0000000 3270:1.0000000
2 30:1.0000000 31:1.0000000 53:1.0000000 58:3.5000000 59:6.0000000 60:1.0000000 87:6.0000000 89:2.0000000 123:1.0000000 135:1.0000000 176:1.0000000 274:1.0000000 277:1.0000000 283:1.0000000 338:1.0000000 384:1.0000000 397:1.0000000 408:1.0000000 416:1.0000000 574:1.0000000 813:1.0000000 843:1.0000000 1489:1.0000000 2932:1.0000000 2937:1.0000000 3181:1.0000000 3184:1.0000000 3214:1.0000000 3223:1.0000000 3231:1.0000000 3249:1.0000000 3250:1.0000000 3251:1.0000000 3252:1.0000000 3253:1.0000000 3254:1.0000000 3255:1.0000000 3256:1.0000000 3258:1.0000000 3259:1.0000000 3260:1.0000000 3261:1.0000000 3262:1.0000000 3263:1.0000000 3264:1.0000000 3265:1.0000000 3266:1.0000000 3267:1.0000000 3268:1.0000000 3269:1.0000000 3271:1.0000000 3272:1.0000000
2 30:1.0000000 31:3.0000000 32:1.0000000 33:1.0000000 37:1.0000000 58:2.0000000 59:2.0000000 60:2.0000000 67:1.0000000 68:1.0000000 87:1.0000000 91:1.0000000 256:1.0000000 425:1.0000000 430:1.0000000 431:1.0000000 541:1.0000000 551:1.0000000 560:1.0000000 822:1.0000000 824:1.0000000 1489:1.0000000 2066:1.0000000 2340:1.0000000 2913:1.0000000 2915:1.0000000 2917:1.0000000 3212:1.0000000 3219:1.0000000 3220:1.0000000 3221:1.0000000 3222:1.0000000 3223:1.0000000 3224:1.0000000 3225:1.0000000 3226:1.0000000 3227:1.0000000 3228:1.0000000 3229:1.0000000 3230:1.0000000 3231:1.0000000 3232:1.0000000 3233:1.0000000 3234:1.0000000 3235:1.0000000 3258:1.0000000 3259:1.0000000 3260:1.0000000 3261:1.0000000 3273:1.0000000 3274:1.0000000 3275:1.0000000 3276:1.0000000 3277:1.0000000 3278:1.0000000 3279:1.0000000 3280:1.0000000 3281:1.0000000 3282:1.0000000
@@ -445,2876 +445,2876 @@
2 30:1.0000000 32:1.0000000 33:1.0000000 36:1.0000000 58:2.5000000 59:3.0000000 60:2.0000000 67:1.0000000 68:1.0000000 87:2.0000000 89:1.0000000 91:1.0000000 95:1.0000000 127:1.0000000 159:1.0000000 160:1.0000000 176:1.0000000 256:1.0000000 303:1.0000000 338:1.0000000 523:1.0000000 527:1.0000000 541:1.0000000 706:1.0000000 708:1.0000000 2989:1.0000000 3220:1.0000000 3226:1.0000000 3227:1.0000000 3229:1.0000000 3234:1.0000000 3242:1.0000000 3243:1.0000000 3285:1.0000000 3305:1.0000000 3306:1.0000000 3307:1.0000000 3308:1.0000000 3309:1.0000000 3317:1.0000000 3318:1.0000000 3319:1.0000000 3320:1.0000000 3321:1.0000000 3322:1.0000000 3323:1.0000000 3324:1.0000000 3325:1.0000000 3326:1.0000000 3328:1.0000000 3329:1.0000000
3 30:1.0000000 31:5.0000000 33:2.0000000 58:2.0000000 59:3.0000000 60:1.0000000 87:2.0000000 123:1.0000000 124:1.0000000 176:1.0000000 177:1.0000000 248:1.0000000 256:1.0000000 274:1.0000000 277:1.0000000 283:1.0000000 285:1.0000000 288:1.0000000 344:1.0000000 347:1.0000000 348:1.0000000 377:1.0000000 770:1.0000000 771:1.0000000 800:1.0000000 839:1.0000000 916:1.0000000 922:1.0000000 924:1.0000000 2043:1.0000000 2066:2.0000000 3040:1.0000000 3221:1.0000000 3222:2.0000000 3232:2.0000000 3330:1.0000000 3331:1.0000000 3332:1.0000000 3333:1.0000000 3334:1.0000000 3335:1.0000000 3336:1.0000000 3337:1.0000000 3338:1.0000000 3339:1.0000000 3340:1.0000000 3341:1.0000000 3342:1.0000000 3343:1.0000000 3344:1.0000000 3345:1.0000000 3346:1.0000000 3347:1.0000000 3348:1.0000000 3349:1.0000000 3350:1.0000000 3351:1.0000000 3352:1.0000000 3353:1.0000000 3354:1.0000000 3355:1.0000000
2 30:1.0000000 31:1.0000000 50:1.0000000 58:3.0000000 59:5.0000000 60:1.0000000 67:1.0000000 87:17.0000000 89:3.0000000 123:1.0000000 124:1.0000000 125:1.0000000 280:1.0000000 283:3.0000000 285:1.0000000 325:1.0000000 340:1.0000000 344:1.0000000 347:1.0000000 348:1.0000000 349:1.0000000 350:1.0000000 352:1.0000000 377:1.0000000 641:1.0000000 702:1.0000000 800:1.0000000 811:1.0000000 813:1.0000000 877:1.0000000 916:1.0000000 922:1.0000000 924:1.0000000 2051:1.0000000 2054:1.0000000 2062:1.0000000 3066:1.0000000 3330:1.0000000 3331:1.0000000 3332:1.0000000 3333:1.0000000 3334:1.0000000 3335:1.0000000 3336:1.0000000 3337:1.0000000 3350:1.0000000 3351:1.0000000 3352:1.0000000 3353:1.0000000 3356:1.0000000 3357:1.0000000 3358:1.0000000 3359:1.0000000 3360:1.0000000 3361:1.0000000 3362:1.0000000 3363:1.0000000 3364:1.0000000 3365:1.0000000 3366:1.0000000 3367:1.0000000 3368:1.0000000
-3 27:1.0000000 28:1.0000000 29:2.0000000 30:5.0000000 31:1.0000000 33:1.0000000 36:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 176:1.0000000 178:1.0000000 274:1.0000000 285:1.0000000 288:1.0000000 299:1.0000000 303:1.0000000 377:1.0000000 408:1.0000000 411:1.0000000 574:1.0000000 764:2.0000000 837:1.0000000 839:1.0000000 889:1.0000000 892:1.0000000 2563:1.0000000 2599:2.0000000 3039:1.0000000 3040:1.0000000 3122:1.0000000 3177:2.0000000 3182:1.0000000 3184:1.0000000 3194:1.0000000 3195:1.0000000 3196:1.0000000 3238:1.0000000 3243:1.0000000 3369:1.0000000 3370:1.0000000 3371:1.0000000 3372:1.0000000 3373:1.0000000 3374:1.0000000 3375:1.0000000 3376:1.0000000 3377:1.0000000 3378:1.0000000 3379:1.0000000 3380:1.0000000 3381:1.0000000 3382:1.0000000 3383:1.0000000 3384:1.0000000 3385:1.0000000 3386:1.0000000 3387:1.0000000
-1 29:2.0000000 30:5.0000000 31:1.0000000 33:1.0000000 36:1.0000000 53:1.0000000 58:4.5000000 59:6.0000000 60:3.0000000 87:2.0000000 123:1.0000000 176:1.0000000 256:1.0000000 280:1.0000000 299:1.0000000 302:1.0000000 303:1.0000000 326:1.0000000 340:1.0000000 395:1.0000000 408:1.0000000 411:1.0000000 416:1.0000000 417:1.0000000 574:1.0000000 622:1.0000000 623:1.0000000 764:2.0000000 889:1.0000000 892:1.0000000 2227:1.0000000 2563:1.0000000 2599:2.0000000 3122:1.0000000 3177:2.0000000 3243:1.0000000 3369:1.0000000 3370:1.0000000 3371:1.0000000 3372:1.0000000 3373:1.0000000 3374:1.0000000 3375:1.0000000 3376:1.0000000 3377:1.0000000 3378:1.0000000 3379:1.0000000 3380:1.0000000 3384:1.0000000 3385:1.0000000 3386:1.0000000 3388:1.0000000 3389:1.0000000 3390:1.0000000 3391:1.0000000 3392:1.0000000 3393:1.0000000 3394:1.0000000 3395:1.0000000 3396:1.0000000 3397:1.0000000 3398:1.0000000
-2 29:2.0000000 30:5.0000000 31:1.0000000 36:1.0000000 50:1.0000000 51:1.0000000 58:4.0000000 59:5.0000000 60:3.0000000 67:1.0000000 87:4.0000000 89:1.0000000 123:1.0000000 280:1.0000000 285:1.0000000 299:1.0000000 302:1.0000000 325:1.0000000 340:1.0000000 349:1.0000000 350:1.0000000 352:1.0000000 377:1.0000000 408:1.0000000 411:1.0000000 574:1.0000000 641:1.0000000 702:1.0000000 764:2.0000000 889:1.0000000 892:1.0000000 2051:1.0000000 2054:1.0000000 2062:1.0000000 2563:1.0000000 2599:2.0000000 3122:1.0000000 3177:2.0000000 3243:1.0000000 3356:1.0000000 3357:1.0000000 3358:1.0000000 3359:1.0000000 3360:1.0000000 3361:1.0000000 3367:1.0000000 3369:1.0000000 3370:1.0000000 3371:1.0000000 3372:1.0000000 3373:1.0000000 3374:1.0000000 3375:1.0000000 3376:1.0000000 3377:1.0000000 3378:1.0000000 3379:1.0000000 3380:1.0000000 3384:1.0000000 3385:1.0000000 3386:1.0000000 3399:1.0000000
+3 27:1.0000000 28:1.0000000 29:2.0000000 30:5.0000000 31:1.0000000 33:1.0000000 36:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 176:1.0000000 178:1.0000000 274:1.0000000 285:1.0000000 288:1.0000000 299:1.0000000 303:1.0000000 377:1.0000000 408:1.0000000 411:1.0000000 574:1.0000000 764:2.0000000 837:1.0000000 839:1.0000000 889:1.0000000 892:1.0000000 2563:1.0000000 2599:2.0000000 3039:1.0000000 3040:1.0000000 3121:1.0000000 3177:2.0000000 3182:1.0000000 3184:1.0000000 3194:1.0000000 3195:1.0000000 3196:1.0000000 3238:1.0000000 3243:1.0000000 3369:1.0000000 3370:1.0000000 3371:1.0000000 3372:1.0000000 3373:1.0000000 3374:1.0000000 3375:1.0000000 3376:1.0000000 3377:1.0000000 3378:1.0000000 3379:1.0000000 3380:1.0000000 3381:1.0000000 3382:1.0000000 3383:1.0000000 3384:1.0000000 3385:1.0000000 3386:1.0000000 3387:1.0000000
+1 29:2.0000000 30:5.0000000 31:1.0000000 33:1.0000000 36:1.0000000 53:1.0000000 58:4.5000000 59:6.0000000 60:3.0000000 87:2.0000000 123:1.0000000 176:1.0000000 256:1.0000000 280:1.0000000 299:1.0000000 302:1.0000000 303:1.0000000 326:1.0000000 340:1.0000000 395:1.0000000 408:1.0000000 411:1.0000000 416:1.0000000 417:1.0000000 574:1.0000000 622:1.0000000 623:1.0000000 764:2.0000000 889:1.0000000 892:1.0000000 2227:1.0000000 2563:1.0000000 2599:2.0000000 3121:1.0000000 3177:2.0000000 3243:1.0000000 3369:1.0000000 3370:1.0000000 3371:1.0000000 3372:1.0000000 3373:1.0000000 3374:1.0000000 3375:1.0000000 3376:1.0000000 3377:1.0000000 3378:1.0000000 3379:1.0000000 3380:1.0000000 3384:1.0000000 3385:1.0000000 3386:1.0000000 3388:1.0000000 3389:1.0000000 3390:1.0000000 3391:1.0000000 3392:1.0000000 3393:1.0000000 3394:1.0000000 3395:1.0000000 3396:1.0000000 3397:1.0000000 3398:1.0000000
+2 29:2.0000000 30:5.0000000 31:1.0000000 36:1.0000000 50:1.0000000 51:1.0000000 58:4.0000000 59:5.0000000 60:3.0000000 67:1.0000000 87:4.0000000 89:1.0000000 123:1.0000000 280:1.0000000 285:1.0000000 299:1.0000000 302:1.0000000 325:1.0000000 340:1.0000000 349:1.0000000 350:1.0000000 352:1.0000000 377:1.0000000 408:1.0000000 411:1.0000000 574:1.0000000 641:1.0000000 702:1.0000000 764:2.0000000 889:1.0000000 892:1.0000000 2051:1.0000000 2054:1.0000000 2062:1.0000000 2563:1.0000000 2599:2.0000000 3121:1.0000000 3177:2.0000000 3243:1.0000000 3356:1.0000000 3357:1.0000000 3358:1.0000000 3359:1.0000000 3360:1.0000000 3361:1.0000000 3367:1.0000000 3369:1.0000000 3370:1.0000000 3371:1.0000000 3372:1.0000000 3373:1.0000000 3374:1.0000000 3375:1.0000000 3376:1.0000000 3377:1.0000000 3378:1.0000000 3379:1.0000000 3380:1.0000000 3384:1.0000000 3385:1.0000000 3386:1.0000000 3399:1.0000000
1 27:1.0000000 28:1.0000000 29:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 50:1.0000000 51:1.0000000 58:1.5000000 59:2.0000000 60:1.0000000 67:1.0000000 123:1.0000000 127:1.0000000 159:1.0000000 285:1.0000000 325:1.0000000 349:1.0000000 350:1.0000000 352:1.0000000 377:1.0000000 445:1.0000000 460:1.0000000 702:1.0000000 2051:1.0000000 2054:1.0000000 2522:1.0000000 3356:1.0000000 3357:1.0000000 3358:1.0000000 3359:1.0000000 3360:1.0000000 3367:1.0000000 3400:1.0000000 3401:1.0000000 3402:1.0000000 3403:1.0000000 3404:1.0000000 3405:1.0000000 3406:1.0000000 3407:1.0000000 3408:1.0000000 3409:1.0000000 3410:1.0000000 3411:1.0000000 3412:1.0000000
-3 27:1.0000000 28:1.0000000 29:1.0000000 31:1.0000000 33:1.0000000 121:1.0000000 124:1.0000000 127:1.0000000 130:1.0000000 131:1.0000000 176:1.0000000 177:1.0000000 248:1.0000000 342:1.0000000 381:1.0000000 473:1.0000000 1541:1.0000000 2815:1.0000000 3340:1.0000000 3346:1.0000000 3413:1.0000000 3414:1.0000000 3415:1.0000000 3416:1.0000000 3417:1.0000000 3418:1.0000000 3419:1.0000000 3420:1.0000000 3421:1.0000000 3422:1.0000000 3423:1.0000000 3424:1.0000000 3425:1.0000000 3426:1.0000000 3427:1.0000000 3428:1.0000000 3429:1.0000000 3430:1.0000000 3431:1.0000000 3432:1.0000000 3433:1.0000000 3434:1.0000000
-2 29:1.0000000 33:1.0000000 53:1.0000000 58:3.0000000 59:4.0000000 60:2.0000000 87:10.0000000 89:2.0000000 121:1.0000000 123:1.0000000 124:1.0000000 127:1.0000000 130:1.0000000 131:1.0000000 176:1.0000000 177:1.0000000 256:1.0000000 280:1.0000000 338:1.0000000 342:1.0000000 381:1.0000000 395:1.0000000 416:1.0000000 417:1.0000000 473:1.0000000 3366:1.0000000 3413:1.0000000 3414:1.0000000 3415:1.0000000 3416:1.0000000 3417:1.0000000 3418:1.0000000 3419:1.0000000 3420:1.0000000 3421:1.0000000 3432:1.0000000 3433:1.0000000 3434:1.0000000 3435:1.0000000 3436:1.0000000 3437:1.0000000 3438:1.0000000 3439:1.0000000 3440:1.0000000 3441:1.0000000 3442:1.0000000 3443:1.0000000 3444:1.0000000 3445:1.0000000 3446:1.0000000 3447:1.0000000 3448:1.0000000 3449:1.0000000 3450:1.0000000 3451:1.0000000 3452:1.0000000 3453:1.0000000 3454:1.0000000 3455:1.0000000 3456:1.0000000 3457:1.0000000 3458:1.0000000 3459:1.0000000
-1 29:1.0000000 30:1.0000000 32:1.0000000 33:1.0000000 36:1.0000000 87:1.0000000 280:1.0000000 285:1.0000000 289:1.0000000 299:1.0000000 302:1.0000000 328:1.0000000 349:1.0000000 371:1.0000000 376:1.0000000 693:1.0000000 762:1.0000000 1944:1.0000000 2160:1.0000000 2162:1.0000000 2166:1.0000000 2811:1.0000000 3371:1.0000000 3377:1.0000000 3460:1.0000000 3461:1.0000000 3462:1.0000000 3463:1.0000000 3464:1.0000000 3465:1.0000000 3466:1.0000000 3467:1.0000000 3468:1.0000000 3469:1.0000000 3470:1.0000000 3471:1.0000000 3472:1.0000000 3473:1.0000000 3474:1.0000000 3475:1.0000000 3476:1.0000000 3477:1.0000000 3478:1.0000000 3479:1.0000000 3480:1.0000000 3481:1.0000000
-2 29:1.0000000 30:1.0000000 33:1.0000000 36:1.0000000 53:1.0000000 87:7.0000000 89:1.0000000 123:1.0000000 176:1.0000000 256:1.0000000 280:1.0000000 299:1.0000000 302:1.0000000 303:1.0000000 338:1.0000000 395:1.0000000 416:1.0000000 417:1.0000000 762:1.0000000 2811:1.0000000 3371:1.0000000 3377:1.0000000 3435:1.0000000 3436:1.0000000 3437:1.0000000 3438:1.0000000 3439:1.0000000 3440:1.0000000 3441:1.0000000 3442:1.0000000 3443:1.0000000 3445:1.0000000 3448:1.0000000 3449:1.0000000 3450:1.0000000 3451:1.0000000 3452:1.0000000 3454:1.0000000 3456:1.0000000 3457:1.0000000 3458:1.0000000 3460:1.0000000 3461:1.0000000 3462:1.0000000 3463:1.0000000 3464:1.0000000 3465:1.0000000 3466:1.0000000 3467:1.0000000 3477:1.0000000 3479:1.0000000 3482:1.0000000
-2 29:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 50:1.0000000 51:1.0000000 67:1.0000000 87:8.0000000 89:2.0000000 123:1.0000000 280:1.0000000 285:1.0000000 299:1.0000000 302:1.0000000 338:1.0000000 349:1.0000000 350:1.0000000 352:1.0000000 377:1.0000000 762:1.0000000 2811:1.0000000 3371:1.0000000 3377:1.0000000 3448:1.0000000 3449:1.0000000 3450:1.0000000 3451:1.0000000 3452:1.0000000 3460:1.0000000 3461:1.0000000 3462:1.0000000 3463:1.0000000 3464:1.0000000 3465:1.0000000 3466:1.0000000 3467:1.0000000 3477:1.0000000 3479:1.0000000 3483:1.0000000 3484:1.0000000 3485:1.0000000 3486:1.0000000 3487:1.0000000 3488:1.0000000 3489:1.0000000 3490:1.0000000 3491:1.0000000 3492:1.0000000 3493:1.0000000 3494:1.0000000 3495:1.0000000 3496:1.0000000
-1 27:1.0000000 28:1.0000000 29:1.0000000 31:1.0000000 36:1.0000000 50:1.0000000 51:1.0000000 58:1.5000000 59:2.0000000 60:1.0000000 67:1.0000000 123:1.0000000 127:1.0000000 159:1.0000000 285:1.0000000 349:1.0000000 350:1.0000000 352:1.0000000 377:1.0000000 445:1.0000000 460:1.0000000 3483:1.0000000 3484:1.0000000 3485:1.0000000 3486:1.0000000 3487:1.0000000 3488:1.0000000 3489:1.0000000 3490:1.0000000 3491:1.0000000 3496:1.0000000 3497:1.0000000 3498:1.0000000 3499:1.0000000 3500:1.0000000 3501:1.0000000 3502:1.0000000 3503:1.0000000 3504:1.0000000 3505:1.0000000 3506:1.0000000 3507:1.0000000 3508:1.0000000 3509:1.0000000 3510:1.0000000 3511:1.0000000
-3 24:1.0000000 30:1.0000000 31:1.0000000 33:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 87:2.0000000 176:1.0000000 274:1.0000000 277:1.0000000 283:1.0000000 285:1.0000000 288:1.0000000 377:1.0000000 407:1.0000000 408:1.0000000 535:1.0000000 574:1.0000000 675:1.0000000 792:1.0000000 800:1.0000000 813:1.0000000 821:1.0000000 837:1.0000000 839:1.0000000 1117:1.0000000 2932:1.0000000 2971:1.0000000 2972:1.0000000 2973:1.0000000 2974:1.0000000 3039:1.0000000 3040:1.0000000 3182:1.0000000 3184:1.0000000 3194:1.0000000 3195:1.0000000 3196:1.0000000 3242:1.0000000 3311:1.0000000 3313:1.0000000 3512:1.0000000 3513:1.0000000 3514:1.0000000 3515:1.0000000 3516:1.0000000 3517:1.0000000 3518:1.0000000 3519:1.0000000 3520:1.0000000 3521:1.0000000 3522:1.0000000 3523:1.0000000 3524:1.0000000
-3 30:1.0000000 31:1.0000000 33:2.0000000 58:3.5000000 59:4.0000000 60:3.0000000 77:1.0000000 87:5.0000000 89:1.0000000 115:1.0000000 120:1.0000000 176:1.0000000 180:1.0000000 183:1.0000000 283:1.0000000 328:1.0000000 407:1.0000000 408:1.0000000 535:1.0000000 574:1.0000000 693:1.0000000 792:1.0000000 800:1.0000000 813:1.0000000 821:1.0000000 877:1.0000000 1014:1.0000000 1117:1.0000000 2845:1.0000000 2971:1.0000000 2972:1.0000000 2973:1.0000000 2974:1.0000000 3066:1.0000000 3202:1.0000000 3203:1.0000000 3242:1.0000000 3311:1.0000000 3313:1.0000000 3512:1.0000000 3513:1.0000000 3516:1.0000000 3518:1.0000000 3519:1.0000000 3522:1.0000000 3523:1.0000000 3525:1.0000000 3526:1.0000000 3527:1.0000000 3528:1.0000000 3529:1.0000000 3530:1.0000000 3531:1.0000000 3532:1.0000000 3533:1.0000000 3534:1.0000000 3535:1.0000000 3536:1.0000000 3537:1.0000000 3538:1.0000000
-1 29:1.0000000 30:1.0000000 31:1.0000000 33:2.0000000 36:1.0000000 58:4.5000000 59:6.0000000 60:3.0000000 77:1.0000000 87:1.0000000 115:1.0000000 120:1.0000000 176:1.0000000 180:1.0000000 183:1.0000000 303:1.0000000 328:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 574:1.0000000 693:1.0000000 892:1.0000000 913:1.0000000 1014:1.0000000 1783:1.0000000 1784:1.0000000 2844:1.0000000 2845:1.0000000 2989:1.0000000 3121:1.0000000 3122:1.0000000 3202:1.0000000 3203:1.0000000 3240:1.0000000 3242:1.0000000 3243:1.0000000 3245:1.0000000 3519:1.0000000 3525:1.0000000 3526:1.0000000 3527:1.0000000 3528:1.0000000 3529:1.0000000 3530:1.0000000 3531:1.0000000 3532:1.0000000 3534:1.0000000 3535:1.0000000 3536:1.0000000 3537:1.0000000 3539:1.0000000 3540:1.0000000 3541:1.0000000 3542:1.0000000
-1 29:1.0000000 30:1.0000000 31:1.0000000 32:1.0000000 33:1.0000000 36:1.0000000 58:4.0000000 59:5.0000000 60:3.0000000 77:1.0000000 87:5.0000000 89:1.0000000 91:1.0000000 176:1.0000000 250:1.0000000 303:1.0000000 338:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 523:1.0000000 527:1.0000000 541:1.0000000 560:1.0000000 574:1.0000000 704:1.0000000 706:1.0000000 708:1.0000000 892:1.0000000 913:1.0000000 1783:1.0000000 1784:1.0000000 1917:1.0000000 2844:1.0000000 2989:1.0000000 3121:1.0000000 3122:1.0000000 3240:1.0000000 3242:1.0000000 3243:1.0000000 3245:1.0000000 3341:1.0000000 3519:1.0000000 3539:1.0000000 3540:1.0000000 3541:1.0000000 3543:1.0000000 3544:1.0000000 3545:1.0000000 3546:1.0000000 3547:1.0000000 3548:1.0000000 3549:1.0000000 3550:1.0000000 3551:1.0000000 3552:1.0000000 3553:1.0000000 3554:1.0000000 3555:1.0000000 3556:1.0000000 3557:1.0000000 3558:1.0000000
-2 30:2.0000000 31:1.0000000 32:1.0000000 33:1.0000000 36:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 87:2.0000000 91:1.0000000 95:1.0000000 176:1.0000000 215:1.0000000 218:1.0000000 256:1.0000000 260:1.0000000 274:1.0000000 277:1.0000000 283:1.0000000 303:1.0000000 316:1.0000000 317:1.0000000 338:1.0000000 342:1.0000000 384:1.0000000 397:1.0000000 541:1.0000000 706:1.0000000 708:1.0000000 800:1.0000000 1917:1.0000000 3341:1.0000000 3545:1.0000000 3547:1.0000000 3550:1.0000000 3559:1.0000000 3560:1.0000000 3561:1.0000000 3562:1.0000000 3563:1.0000000 3564:1.0000000 3565:1.0000000 3566:1.0000000 3567:1.0000000 3568:1.0000000 3569:1.0000000 3570:1.0000000 3571:1.0000000 3572:1.0000000 3573:1.0000000 3574:1.0000000 3575:1.0000000 3576:1.0000000 3577:1.0000000 3578:1.0000000
-2 27:1.0000000 28:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 53:1.0000000 58:1.5000000 59:2.0000000 60:1.0000000 127:1.0000000 135:1.0000000 159:1.0000000 160:1.0000000 176:1.0000000 303:1.0000000 416:1.0000000 456:1.0000000 473:1.0000000 798:1.0000000 945:1.0000000 2516:1.0000000 2518:1.0000000 2545:1.0000000 2546:1.0000000 2913:1.0000000 3131:1.0000000 3579:1.0000000 3580:1.0000000 3581:1.0000000 3582:1.0000000 3583:1.0000000 3584:1.0000000 3585:1.0000000 3586:1.0000000 3587:1.0000000 3588:1.0000000 3589:1.0000000 3590:1.0000000 3591:1.0000000 3592:1.0000000 3593:1.0000000 3594:1.0000000 3595:1.0000000 3596:1.0000000
-1 24:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 37:1.0000000 38:1.0000000 53:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 87:1.0000000 89:1.0000000 127:1.0000000 135:1.0000000 159:1.0000000 160:1.0000000 456:1.0000000 473:1.0000000 508:1.0000000 798:1.0000000 2516:1.0000000 2518:1.0000000 2545:1.0000000 2546:1.0000000 2815:1.0000000 2913:1.0000000 2914:1.0000000 2915:1.0000000 2916:1.0000000 2917:1.0000000 3579:1.0000000 3580:1.0000000 3581:1.0000000 3590:1.0000000 3591:1.0000000 3592:1.0000000 3597:1.0000000 3598:1.0000000 3599:1.0000000 3600:1.0000000 3601:1.0000000 3602:1.0000000 3603:1.0000000 3604:1.0000000 3605:1.0000000 3606:1.0000000 3607:1.0000000
-2 30:1.0000000 31:3.0000000 32:1.0000000 33:2.0000000 36:1.0000000 50:1.0000000 51:1.0000000 67:1.0000000 77:1.0000000 87:4.0000000 89:2.0000000 123:1.0000000 127:1.0000000 159:1.0000000 160:1.0000000 200:1.0000000 456:1.0000000 473:1.0000000 798:1.0000000 2066:2.0000000 2516:1.0000000 2518:1.0000000 2545:1.0000000 2546:1.0000000 2861:1.0000000 2913:1.0000000 2932:1.0000000 2937:1.0000000 3221:1.0000000 3222:2.0000000 3225:1.0000000 3232:2.0000000 3233:1.0000000 3342:1.0000000 3579:1.0000000 3580:1.0000000 3581:1.0000000 3590:1.0000000 3591:1.0000000 3592:1.0000000 3601:1.0000000 3603:1.0000000 3608:1.0000000 3609:1.0000000 3610:1.0000000 3611:1.0000000 3612:1.0000000 3613:1.0000000 3614:1.0000000 3615:1.0000000 3616:1.0000000 3617:1.0000000 3618:1.0000000 3619:1.0000000 3620:1.0000000
-2 30:1.0000000 31:1.0000000 36:1.0000000 50:1.0000000 51:1.0000000 58:2.5000000 59:4.0000000 60:1.0000000 77:1.0000000 87:4.0000000 89:2.0000000 127:1.0000000 159:1.0000000 160:1.0000000 456:1.0000000 473:1.0000000 798:1.0000000 919:1.0000000 2516:1.0000000 2518:1.0000000 2545:1.0000000 2546:1.0000000 2861:1.0000000 2913:1.0000000 2932:1.0000000 2937:1.0000000 3238:1.0000000 3579:1.0000000 3580:1.0000000 3581:1.0000000 3590:1.0000000 3591:1.0000000 3592:1.0000000 3601:1.0000000 3603:1.0000000 3609:1.0000000 3611:1.0000000 3616:1.0000000 3619:1.0000000 3620:1.0000000 3621:1.0000000 3622:1.0000000 3623:1.0000000 3624:1.0000000 3625:1.0000000 3626:1.0000000 3627:1.0000000 3628:1.0000000 3629:1.0000000 3630:1.0000000
-2 30:1.0000000 32:1.0000000 33:1.0000000 36:1.0000000 58:3.5000000 59:4.0000000 60:3.0000000 67:1.0000000 77:1.0000000 87:13.0000000 89:4.0000000 91:1.0000000 95:1.0000000 123:1.0000000 127:1.0000000 159:1.0000000 160:1.0000000 176:1.0000000 283:2.0000000 303:1.0000000 338:1.0000000 456:1.0000000 473:1.0000000 523:1.0000000 527:1.0000000 541:1.0000000 672:1.0000000 706:1.0000000 708:1.0000000 798:1.0000000 813:1.0000000 2516:1.0000000 2518:1.0000000 2545:1.0000000 2546:1.0000000 2913:1.0000000 2937:1.0000000 3363:1.0000000 3579:1.0000000 3580:1.0000000 3581:1.0000000 3590:1.0000000 3591:1.0000000 3592:1.0000000 3601:1.0000000 3603:1.0000000 3610:1.0000000 3614:1.0000000 3615:1.0000000 3617:1.0000000 3618:1.0000000 3620:1.0000000 3631:1.0000000 3632:1.0000000 3633:1.0000000 3634:1.0000000 3635:1.0000000 3636:1.0000000 3637:1.0000000 3638:1.0000000 3639:1.0000000
-1 24:1.0000000 27:1.0000000 28:1.0000000 30:1.0000000 31:1.0000000 36:1.0000000 37:1.0000000 38:1.0000000 53:1.0000000 58:1.5000000 59:2.0000000 60:1.0000000 127:1.0000000 135:1.0000000 159:1.0000000 160:1.0000000 316:1.0000000 456:1.0000000 508:1.0000000 2815:1.0000000 2914:1.0000000 2915:1.0000000 2916:1.0000000 2917:1.0000000 3159:1.0000000 3597:1.0000000 3598:1.0000000 3599:1.0000000 3600:1.0000000 3604:1.0000000 3605:1.0000000 3606:1.0000000 3640:1.0000000 3641:1.0000000 3642:1.0000000 3643:1.0000000 3644:1.0000000 3645:1.0000000 3646:1.0000000 3647:1.0000000 3648:1.0000000 3649:1.0000000 3650:1.0000000 3651:1.0000000
-2 30:1.0000000 31:1.0000000 36:1.0000000 58:4.0000000 59:5.0000000 60:3.0000000 77:1.0000000 87:10.0000000 89:2.0000000 123:1.0000000 127:1.0000000 159:1.0000000 160:1.0000000 176:1.0000000 274:1.0000000 277:1.0000000 283:2.0000000 285:1.0000000 288:1.0000000 303:1.0000000 316:1.0000000 328:1.0000000 377:1.0000000 456:1.0000000 672:1.0000000 813:1.0000000 2937:1.0000000 3159:1.0000000 3184:1.0000000 3194:1.0000000 3195:1.0000000 3363:1.0000000 3381:1.0000000 3613:1.0000000 3620:1.0000000 3635:1.0000000 3636:1.0000000 3640:1.0000000 3641:1.0000000 3642:1.0000000 3643:1.0000000 3644:1.0000000 3645:1.0000000 3646:1.0000000 3647:1.0000000 3648:1.0000000 3649:1.0000000 3650:1.0000000 3652:1.0000000 3653:1.0000000 3654:1.0000000 3655:1.0000000 3656:1.0000000 3657:1.0000000 3658:1.0000000 3659:1.0000000
-2 30:1.0000000 31:3.0000000 32:1.0000000 33:2.0000000 50:1.0000000 67:1.0000000 77:1.0000000 87:2.0000000 123:1.0000000 127:1.0000000 160:1.0000000 200:1.0000000 456:1.0000000 535:1.0000000 540:1.0000000 557:1.0000000 1783:1.0000000 1784:1.0000000 2066:2.0000000 2811:1.0000000 2861:1.0000000 2932:1.0000000 2971:1.0000000 2972:1.0000000 2973:1.0000000 2974:1.0000000 3221:1.0000000 3222:2.0000000 3225:1.0000000 3232:2.0000000 3233:1.0000000 3342:1.0000000 3608:1.0000000 3609:1.0000000 3610:1.0000000 3611:1.0000000 3612:1.0000000 3613:1.0000000 3614:1.0000000 3615:1.0000000 3616:1.0000000 3617:1.0000000 3618:1.0000000 3619:1.0000000 3620:1.0000000 3660:1.0000000 3661:1.0000000 3662:1.0000000 3663:1.0000000 3664:1.0000000 3665:1.0000000 3666:1.0000000
-2 30:1.0000000 31:1.0000000 50:1.0000000 58:1.5000000 59:2.0000000 60:1.0000000 77:1.0000000 87:2.0000000 127:1.0000000 160:1.0000000 456:1.0000000 535:1.0000000 540:1.0000000 557:1.0000000 919:1.0000000 1783:1.0000000 1784:1.0000000 2811:1.0000000 2861:1.0000000 2932:1.0000000 2971:1.0000000 2972:1.0000000 2973:1.0000000 2974:1.0000000 3238:1.0000000 3609:1.0000000 3611:1.0000000 3616:1.0000000 3619:1.0000000 3620:1.0000000 3621:1.0000000 3622:1.0000000 3623:1.0000000 3624:1.0000000 3625:1.0000000 3626:1.0000000 3627:1.0000000 3628:1.0000000 3629:1.0000000 3660:1.0000000 3661:1.0000000 3662:1.0000000 3663:1.0000000 3664:1.0000000 3665:1.0000000 3666:1.0000000 3667:1.0000000
-2 30:1.0000000 31:1.0000000 58:3.5000000 59:5.0000000 60:2.0000000 77:1.0000000 87:9.0000000 89:1.0000000 123:1.0000000 127:1.0000000 160:1.0000000 176:1.0000000 274:1.0000000 277:1.0000000 283:2.0000000 285:1.0000000 288:1.0000000 328:1.0000000 377:1.0000000 456:1.0000000 535:1.0000000 540:1.0000000 672:1.0000000 792:1.0000000 813:1.0000000 1783:1.0000000 1784:1.0000000 2811:1.0000000 2971:1.0000000 2972:1.0000000 2973:1.0000000 2974:1.0000000 3184:1.0000000 3194:1.0000000 3195:1.0000000 3363:1.0000000 3381:1.0000000 3613:1.0000000 3620:1.0000000 3635:1.0000000 3636:1.0000000 3652:1.0000000 3653:1.0000000 3654:1.0000000 3655:1.0000000 3656:1.0000000 3658:1.0000000 3660:1.0000000 3661:1.0000000 3662:1.0000000 3663:1.0000000 3664:1.0000000 3665:1.0000000 3666:1.0000000 3668:1.0000000
-2 30:1.0000000 32:1.0000000 33:1.0000000 58:2.5000000 59:3.0000000 60:2.0000000 67:1.0000000 77:1.0000000 87:11.0000000 89:2.0000000 91:1.0000000 95:1.0000000 123:1.0000000 127:1.0000000 160:1.0000000 176:1.0000000 283:2.0000000 338:1.0000000 456:1.0000000 523:1.0000000 527:1.0000000 535:1.0000000 540:1.0000000 541:1.0000000 672:1.0000000 706:1.0000000 708:1.0000000 792:1.0000000 813:1.0000000 1783:1.0000000 1784:1.0000000 2811:1.0000000 2971:1.0000000 2972:1.0000000 2973:1.0000000 2974:1.0000000 3363:1.0000000 3610:1.0000000 3614:1.0000000 3615:1.0000000 3617:1.0000000 3618:1.0000000 3620:1.0000000 3631:1.0000000 3632:1.0000000 3633:1.0000000 3634:1.0000000 3635:1.0000000 3636:1.0000000 3637:1.0000000 3638:1.0000000 3660:1.0000000 3661:1.0000000 3662:1.0000000 3663:1.0000000 3664:1.0000000 3665:1.0000000 3666:1.0000000 3669:1.0000000
-2 27:1.0000000 28:1.0000000 29:2.0000000 30:3.0000000 31:1.0000000 121:1.0000000 123:1.0000000 124:1.0000000 176:1.0000000 177:1.0000000 178:1.0000000 232:1.0000000 274:1.0000000 285:1.0000000 288:1.0000000 328:1.0000000 377:1.0000000 752:1.0000000 764:2.0000000 889:1.0000000 895:1.0000000 906:1.0000000 2599:2.0000000 2832:1.0000000 2989:1.0000000 3177:2.0000000 3184:1.0000000 3194:1.0000000 3195:1.0000000 3373:1.0000000 3381:1.0000000 3613:1.0000000 3652:1.0000000 3653:1.0000000 3654:1.0000000 3655:1.0000000 3656:1.0000000 3658:1.0000000 3670:1.0000000 3671:1.0000000 3672:1.0000000 3673:1.0000000 3674:1.0000000 3675:1.0000000 3676:1.0000000 3677:1.0000000 3678:1.0000000 3679:1.0000000 3680:1.0000000
-3 30:1.0000000 31:1.0000000 58:3.0000000 59:5.0000000 60:1.0000000 87:6.0000000 123:1.0000000 124:1.0000000 176:1.0000000 177:1.0000000 274:1.0000000 277:1.0000000 283:2.0000000 285:1.0000000 288:1.0000000 328:1.0000000 377:1.0000000 672:1.0000000 800:1.0000000 813:1.0000000 833:1.0000000 845:1.0000000 2832:1.0000000 2989:1.0000000 3184:1.0000000 3188:1.0000000 3189:1.0000000 3193:1.0000000 3194:1.0000000 3195:1.0000000 3363:1.0000000 3381:1.0000000 3613:1.0000000 3636:1.0000000 3652:1.0000000 3653:1.0000000 3654:1.0000000 3655:1.0000000 3656:1.0000000 3658:1.0000000 3671:1.0000000 3673:1.0000000 3678:1.0000000 3681:1.0000000 3682:1.0000000 3683:1.0000000 3684:1.0000000 3685:1.0000000 3686:1.0000000 3687:1.0000000
-3 30:1.0000000 32:1.0000000 33:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 67:1.0000000 87:8.0000000 89:1.0000000 91:1.0000000 95:1.0000000 123:1.0000000 124:1.0000000 176:1.0000000 177:1.0000000 283:2.0000000 338:1.0000000 523:1.0000000 527:1.0000000 541:1.0000000 672:1.0000000 706:1.0000000 708:1.0000000 800:1.0000000 813:1.0000000 833:1.0000000 845:1.0000000 2832:1.0000000 2989:1.0000000 3188:1.0000000 3189:1.0000000 3193:1.0000000 3363:1.0000000 3610:1.0000000 3614:1.0000000 3615:1.0000000 3617:1.0000000 3618:1.0000000 3631:1.0000000 3632:1.0000000 3633:1.0000000 3634:1.0000000 3636:1.0000000 3637:1.0000000 3638:1.0000000 3671:1.0000000 3673:1.0000000 3678:1.0000000 3681:1.0000000 3682:1.0000000 3683:1.0000000 3684:1.0000000 3685:1.0000000 3686:1.0000000 3688:1.0000000
-2 30:1.0000000 32:1.0000000 33:1.0000000 36:1.0000000 58:4.0000000 59:5.0000000 60:3.0000000 67:1.0000000 87:1.0000000 91:1.0000000 95:1.0000000 123:1.0000000 176:1.0000000 303:1.0000000 338:1.0000000 384:1.0000000 397:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 523:1.0000000 527:1.0000000 541:1.0000000 574:1.0000000 706:1.0000000 708:1.0000000 3242:1.0000000 3243:1.0000000 3610:1.0000000 3614:1.0000000 3615:1.0000000 3617:1.0000000 3618:1.0000000 3631:1.0000000 3632:1.0000000 3633:1.0000000 3634:1.0000000 3638:1.0000000 3675:1.0000000 3689:1.0000000 3690:1.0000000 3691:1.0000000 3692:1.0000000 3693:1.0000000 3694:1.0000000 3695:1.0000000 3696:1.0000000
-2 27:1.0000000 28:1.0000000 29:1.0000000 33:1.0000000 36:1.0000000 58:1.5000000 59:2.0000000 60:1.0000000 121:1.0000000 123:1.0000000 176:1.0000000 178:1.0000000 180:1.0000000 183:1.0000000 184:1.0000000 303:1.0000000 316:1.0000000 445:1.0000000 688:1.0000000 945:1.0000000 2468:1.0000000 3535:1.0000000 3536:1.0000000 3697:1.0000000 3698:1.0000000 3699:1.0000000 3700:1.0000000 3701:1.0000000 3702:1.0000000 3703:1.0000000 3704:1.0000000 3705:1.0000000 3706:1.0000000 3707:1.0000000 3708:1.0000000 3709:1.0000000 3710:1.0000000 3711:1.0000000 3712:1.0000000 3713:1.0000000 3714:1.0000000 3715:1.0000000 3716:1.0000000 3717:1.0000000 3718:1.0000000 3719:1.0000000 3720:1.0000000
-3 29:1.0000000 30:1.0000000 31:1.0000000 33:2.0000000 67:1.0000000 87:2.0000000 124:1.0000000 176:1.0000000 177:1.0000000 274:1.0000000 277:1.0000000 283:1.0000000 285:1.0000000 288:1.0000000 316:1.0000000 362:1.0000000 377:1.0000000 746:1.0000000 800:1.0000000 2488:1.0000000 3169:1.0000000 3721:1.0000000 3722:1.0000000 3723:1.0000000 3724:1.0000000 3725:1.0000000 3726:1.0000000 3727:1.0000000 3728:1.0000000 3729:1.0000000 3730:1.0000000 3731:1.0000000 3732:1.0000000 3733:1.0000000 3734:1.0000000 3735:1.0000000 3736:1.0000000 3737:1.0000000 3738:1.0000000 3739:1.0000000 3740:1.0000000 3741:1.0000000 3742:1.0000000
-3 30:1.0000000 31:1.0000000 33:1.0000000 58:2.0000000 59:3.0000000 60:1.0000000 87:3.0000000 124:1.0000000 176:1.0000000 177:1.0000000 248:1.0000000 283:1.0000000 285:1.0000000 288:1.0000000 377:1.0000000 473:1.0000000 800:1.0000000 813:1.0000000 3188:1.0000000 3189:1.0000000 3193:1.0000000 3194:1.0000000 3195:1.0000000 3297:1.0000000 3298:1.0000000 3311:1.0000000 3313:1.0000000 3430:1.0000000 3516:1.0000000 3684:1.0000000 3686:1.0000000 3729:1.0000000 3731:1.0000000 3732:1.0000000 3743:1.0000000 3744:1.0000000 3745:1.0000000 3746:1.0000000 3747:1.0000000 3748:1.0000000 3749:1.0000000 3750:1.0000000 3751:1.0000000 3752:1.0000000 3753:1.0000000 3754:1.0000000 3755:1.0000000 3756:1.0000000 3757:1.0000000 3758:1.0000000 3759:1.0000000 3760:1.0000000 3761:1.0000000 3762:1.0000000
-3 27:1.0000000 28:1.0000000 29:3.0000000 30:2.0000000 31:1.0000000 33:3.0000000 67:1.0000000 124:1.0000000 176:1.0000000 177:1.0000000 178:1.0000000 256:1.0000000 274:1.0000000 285:1.0000000 288:1.0000000 316:1.0000000 342:1.0000000 377:1.0000000 752:1.0000000 764:1.0000000 837:1.0000000 839:1.0000000 889:1.0000000 892:1.0000000 1917:1.0000000 2599:1.0000000 3177:1.0000000 3184:1.0000000 3194:1.0000000 3195:1.0000000 3527:1.0000000 3530:1.0000000 3671:1.0000000 3673:1.0000000 3763:1.0000000 3764:1.0000000 3765:1.0000000 3766:1.0000000 3767:1.0000000 3768:1.0000000 3769:1.0000000 3770:1.0000000 3771:1.0000000 3772:1.0000000 3773:1.0000000 3774:1.0000000 3775:1.0000000 3776:1.0000000 3777:1.0000000 3778:1.0000000 3779:1.0000000
-3 27:1.0000000 28:1.0000000 29:2.0000000 30:1.0000000 32:1.0000000 33:2.0000000 121:1.0000000 123:1.0000000 124:1.0000000 176:1.0000000 177:1.0000000 178:1.0000000 232:1.0000000 250:1.0000000 274:1.0000000 285:1.0000000 288:1.0000000 289:1.0000000 301:1.0000000 316:1.0000000 456:1.0000000 678:1.0000000 679:1.0000000 764:1.0000000 968:1.0000000 2215:1.0000000 2468:1.0000000 2488:1.0000000 2599:1.0000000 3177:1.0000000 3545:1.0000000 3547:1.0000000 3699:1.0000000 3701:1.0000000 3766:1.0000000 3774:1.0000000 3780:1.0000000 3781:1.0000000 3782:1.0000000 3783:1.0000000 3784:1.0000000 3785:1.0000000 3786:1.0000000 3787:1.0000000 3788:1.0000000 3789:1.0000000 3790:1.0000000 3791:1.0000000
-3 27:1.0000000 28:1.0000000 29:2.0000000 30:2.0000000 31:1.0000000 33:2.0000000 124:1.0000000 176:1.0000000 177:1.0000000 178:1.0000000 248:1.0000000 274:1.0000000 285:1.0000000 288:1.0000000 299:1.0000000 377:1.0000000 764:1.0000000 889:1.0000000 2599:1.0000000 2811:1.0000000 3177:1.0000000 3184:1.0000000 3194:1.0000000 3195:1.0000000 3527:1.0000000 3530:1.0000000 3700:1.0000000 3708:1.0000000 3764:1.0000000 3767:1.0000000 3779:1.0000000 3781:1.0000000 3782:1.0000000 3789:1.0000000 3792:1.0000000 3793:1.0000000 3794:1.0000000 3795:1.0000000 3796:1.0000000 3797:1.0000000 3798:1.0000000 3799:1.0000000 3800:1.0000000 3801:1.0000000 3802:1.0000000
-2 29:2.0000000 30:1.0000000 31:2.0000000 33:1.0000000 36:1.0000000 50:1.0000000 51:1.0000000 58:3.0000000 59:3.0000000 60:3.0000000 67:1.0000000 87:2.0000000 275:1.0000000 280:1.0000000 285:1.0000000 299:1.0000000 302:1.0000000 326:1.0000000 349:1.0000000 350:1.0000000 352:1.0000000 377:1.0000000 407:1.0000000 408:1.0000000 409:1.0000000 411:1.0000000 574:1.0000000 2066:1.0000000 3221:1.0000000 3222:1.0000000 3232:1.0000000 3242:1.0000000 3243:1.0000000 3700:1.0000000 3764:1.0000000 3767:1.0000000 3793:1.0000000 3796:1.0000000 3797:1.0000000 3800:1.0000000 3803:1.0000000 3804:1.0000000 3805:1.0000000 3806:1.0000000 3807:1.0000000 3808:1.0000000 3809:1.0000000 3810:1.0000000 3811:1.0000000 3812:1.0000000 3813:1.0000000 3814:1.0000000 3815:1.0000000 3816:1.0000000 3817:1.0000000 3818:1.0000000
[... 5693 lines stripped ...]