194 The nice thing about the aove%

   194 The nice thing about the above%

   195 \end{isamarkuptext}\isamarkuptrue%

   196 %

   197 \isadelimdocument

   198 %

   199 \endisadelimdocument

   200 %

   201 \isatagdocument

   202 %

   203 \isamarkupsection{Additional Simp Rules?%

   204 }

   205 \isamarkuptrue%

   206 %

   207 \endisatagdocument

   208 {\isafolddocument}%

   209 %

   210 \isadelimdocument

   211 %

   212 \endisadelimdocument

   213 %

   214 \begin{isamarkuptext}%

   215 One question someone would ask is:

   216 can we add more "atomic" simplification/rewriting rules,

   217 so the simplification is even more aggressive, making

   218 the intermediate results smaller, and therefore more space-efficient? 

   219 For example, one might want to do open up alternatives who is a child

   220 of a sequence:

   221 

   222 \begin{center}

   223   \begin{tabular}{lcl}

   224     \isa{ASEQ\ bs\ {\isacharparenleft}{\kern0pt}AALTs\ bs{\isadigit{1}}\ rs{\isacharparenright}{\kern0pt}\ r\ {\isasymleadsto}{\isacharquery}{\kern0pt}\ AALTs\ {\isacharparenleft}{\kern0pt}bs\ {\isacharat}{\kern0pt}\ bs{\isadigit{1}}{\isacharparenright}{\kern0pt}\ {\isacharparenleft}{\kern0pt}map\ {\isacharparenleft}{\kern0pt}{\isasymlambda}r{\isacharprime}{\kern0pt}{\isachardot}{\kern0pt}\ ASEQ\ {\isacharbrackleft}{\kern0pt}{\isacharbrackright}{\kern0pt}\ r{\isacharprime}{\kern0pt}\ r{\isacharparenright}{\kern0pt}\ rs{\isacharparenright}{\kern0pt}}\\

   225   \end{tabular}

   226 \end{center}

   227 

   228 

   229 This rule allows us to simplify \mbox{\isa{a\ {\isacharplus}{\kern0pt}\ b\ {\isasymcdot}\ c\ {\isacharplus}{\kern0pt}\ a\ {\isasymcdot}\ c}}

   230  into  \mbox{\isa{a\ {\isasymcdot}\ c\ {\isacharplus}{\kern0pt}\ b\ {\isasymcdot}\ c}},

   231 which is not allowed under the  \<leadsto> rule%

  1860 %:%203=273%:%

  1899 %:%203=272%:%

  1861 %:%215=279%:%

  1900 %:%215=276%:%

  1862 %:%216=280%:%

  1901 %:%216=277%:%

  1863 %:%217=281%:%

  1902 %:%217=278%:%

  1864 %:%218=282%:%

  1903 %:%218=279%:%

  1865 %:%218=283%:%

  1904 %:%219=280%:%

  1866 %:%219=284%:%

  1905 %:%220=281%:%

  1867 %:%220=285%:%

  1906 %:%221=282%:%

  1868 %:%221=286%:%

  1907 %:%222=283%:%

  1869 %:%222=287%:%

  1908 %:%223=284%:%

  1870 %:%223=288%:%

  1909 %:%224=285%:%

  1871 %:%224=289%:%

  1910 %:%225=286%:%

  1872 %:%225=290%:%

  1911 %:%226=287%:%

  1873 %:%226=291%:%

  1912 %:%227=288%:%

  1874 %:%227=292%:%

  1913 %:%228=289%:%

  1875 %:%228=293%:%

  1914 %:%229=290%:%

  1876 %:%229=294%:%

  1915 %:%230=291%:%

  1877 %:%230=295%:%

  1916 %:%231=292%:%

  1878 %:%231=296%:%

  1917 %:%240=296%:%

  1879 %:%232=297%:%

  1918 %:%252=302%:%

  1880 %:%233=298%:%

  1919 %:%253=303%:%

  1881 %:%234=299%:%

  1920 %:%254=304%:%

  1882 %:%235=300%:%

  1921 %:%255=305%:%

  1883 %:%236=301%:%

  1922 %:%255=306%:%

  1884 %:%237=302%:%

  1923 %:%256=307%:%

  1885 %:%238=303%:%

  1924 %:%257=308%:%

  1886 %:%239=304%:%

  1925 %:%258=309%:%

  1887 %:%240=305%:%

  1926 %:%259=310%:%

  1888 %:%241=306%:%

  1927 %:%260=311%:%

  1889 %:%242=307%:%

  1928 %:%261=312%:%

  1890 %:%243=308%:%

  1929 %:%262=313%:%

  1891 %:%244=309%:%

  1930 %:%263=314%:%

  1892 %:%245=310%:%

  1931 %:%264=315%:%

  1893 %:%246=311%:%

  1932 %:%265=316%:%

  1894 %:%247=312%:%

  1933 %:%266=317%:%

  1895 %:%248=313%:%

  1934 %:%267=318%:%

  1896 %:%249=314%:%

  1935 %:%268=319%:%

  1897 %:%250=315%:%

  1936 %:%269=320%:%

  1898 %:%251=316%:%

  1937 %:%270=321%:%

  1899 %:%252=317%:%

  1938 %:%271=322%:%

  1900 %:%253=318%:%

  1939 %:%272=323%:%

  1901 %:%254=319%:%

  1940 %:%273=324%:%

  1902 %:%255=320%:%

  1941 %:%274=325%:%

  1903 %:%256=321%:%

  1942 %:%275=326%:%

  1904 %:%257=322%:%

  1943 %:%276=327%:%

  1905 %:%258=323%:%

  1944 %:%277=328%:%

  1906 %:%259=324%:%

  1945 %:%278=329%:%

  1907 %:%260=325%:%

  1946 %:%279=330%:%

  1908 %:%261=326%:%

  1947 %:%280=331%:%

  1909 %:%262=327%:%

  1948 %:%281=332%:%

  1910 %:%263=328%:%

  1949 %:%282=333%:%

  1911 %:%264=329%:%

  1950 %:%283=334%:%

  1912 %:%265=330%:%

  1951 %:%284=335%:%

  1913 %:%266=331%:%

  1952 %:%285=336%:%

  1914 %:%267=332%:%

  1953 %:%286=337%:%

  1915 %:%268=333%:%

  1954 %:%287=338%:%

  1916 %:%269=334%:%

  1955 %:%288=339%:%

  1917 %:%270=335%:%

  1956 %:%289=340%:%

  1918 %:%271=336%:%

  1957 %:%290=341%:%

  1919 %:%272=337%:%

  1958 %:%291=342%:%

  1920 %:%273=338%:%

  1959 %:%292=343%:%

  1921 %:%274=339%:%

  1960 %:%293=344%:%

  1922 %:%275=340%:%

  1961 %:%294=345%:%

  1923 %:%276=341%:%

  1962 %:%295=346%:%

  1924 %:%277=342%:%

  1963 %:%296=347%:%

  1925 %:%278=343%:%

  1964 %:%297=348%:%

  1926 %:%279=344%:%

  1965 %:%298=349%:%

  1927 %:%280=345%:%

  1966 %:%299=350%:%

  1928 %:%281=346%:%

  1967 %:%300=351%:%

  1929 %:%282=347%:%

  1968 %:%301=352%:%

  1930 %:%282=348%:%

  1969 %:%302=353%:%

  1931 %:%283=349%:%

  1970 %:%303=354%:%

  1932 %:%284=350%:%

  1971 %:%304=355%:%

  1933 %:%285=351%:%

  1972 %:%305=356%:%

  1934 %:%286=352%:%

  1973 %:%306=357%:%

  1935 %:%287=353%:%

  1974 %:%307=358%:%

  1936 %:%288=354%:%

  1975 %:%308=359%:%

  1937 %:%289=355%:%

  1976 %:%309=360%:%

  1938 %:%290=356%:%

  1977 %:%310=361%:%

  1939 %:%291=357%:%

  1978 %:%311=362%:%

  1940 %:%292=358%:%

  1979 %:%312=363%:%

  1941 %:%293=359%:%

  1980 %:%313=364%:%

  1942 %:%294=360%:%

  1981 %:%314=365%:%

  1943 %:%295=361%:%

  1982 %:%315=366%:%

  1944 %:%296=362%:%

  1983 %:%316=367%:%

  1945 %:%297=363%:%

  1984 %:%317=368%:%

  1946 %:%298=364%:%

  1985 %:%318=369%:%

  1947 %:%299=365%:%

  1986 %:%319=370%:%

  1948 %:%300=366%:%

  1987 %:%319=371%:%

  1949 %:%301=367%:%

  1988 %:%320=372%:%

  1950 %:%302=368%:%

  1989 %:%321=373%:%

  1951 %:%303=369%:%

  1990 %:%322=374%:%

  1952 %:%304=370%:%

  1991 %:%323=375%:%

  1953 %:%305=371%:%

  1992 %:%324=376%:%

  1954 %:%306=372%:%

  1993 %:%325=377%:%

  1955 %:%307=373%:%

  1994 %:%326=378%:%

  1956 %:%308=374%:%

  1995 %:%327=379%:%

  1957 %:%309=375%:%

  1996 %:%328=380%:%

  1958 %:%310=376%:%

  1997 %:%329=381%:%

  1959 %:%311=377%:%

  1998 %:%330=382%:%

  1960 %:%312=378%:%

  1999 %:%331=383%:%

  1961 %:%313=379%:%

  2000 %:%332=384%:%

  1962 %:%314=380%:%

  2001 %:%333=385%:%

  1963 %:%315=381%:%

  2002 %:%334=386%:%

  1964 %:%316=382%:%

  2003 %:%335=387%:%

  1965 %:%317=383%:%

  2004 %:%336=388%:%

  1966 %:%318=384%:%

  2005 %:%337=389%:%

  1967 %:%319=385%:%

  2006 %:%338=390%:%

  1968 %:%320=386%:%

  2007 %:%339=391%:%

  1969 %:%321=387%:%

  2008 %:%340=392%:%

  1970 %:%322=388%:%

  2009 %:%341=393%:%

  1971 %:%323=389%:%

  2010 %:%342=394%:%

  1972 %:%324=390%:%

  2011 %:%343=395%:%

  1973 %:%325=391%:%

  2012 %:%344=396%:%

  1974 %:%326=392%:%

  2013 %:%345=397%:%

  1975 %:%327=393%:%

  2014 %:%346=398%:%

  1976 %:%328=394%:%

  2015 %:%347=399%:%

  1977 %:%329=395%:%

  2016 %:%348=400%:%

  1978 %:%330=396%:%

  2017 %:%349=401%:%

  1979 %:%331=397%:%

  2018 %:%350=402%:%

  1980 %:%332=398%:%

  2019 %:%351=403%:%

  1981 %:%333=399%:%

  2020 %:%352=404%:%

  1982 %:%334=400%:%

  2021 %:%353=405%:%

  1983 %:%335=401%:%

  2022 %:%354=406%:%

  1984 %:%336=402%:%

  2023 %:%355=407%:%

  1985 %:%337=403%:%

  2024 %:%356=408%:%

  1986 %:%338=404%:%

  2025 %:%357=409%:%

  1987 %:%339=405%:%

  2026 %:%358=410%:%

  1988 %:%340=406%:%

  2027 %:%359=411%:%

  1989 %:%341=407%:%

  2028 %:%360=412%:%

  1990 %:%342=408%:%

  2029 %:%361=413%:%

  1991 %:%343=409%:%

  2030 %:%362=414%:%

  1992 %:%344=410%:%

  2031 %:%363=415%:%

  1993 %:%345=411%:%

  2032 %:%364=416%:%

  1994 %:%346=412%:%

  2033 %:%365=417%:%

  1995 %:%347=413%:%

  2034 %:%366=418%:%

  1996 %:%348=414%:%

  2035 %:%367=419%:%

  1997 %:%349=415%:%

  2036 %:%368=420%:%

  1998 %:%350=416%:%

  2037 %:%369=421%:%

  1999 %:%351=417%:%

  2038 %:%370=422%:%

  2000 %:%352=418%:%

  2039 %:%371=423%:%

  2001 %:%353=419%:%

  2040 %:%372=424%:%

  2002 %:%354=420%:%

  2041 %:%373=425%:%

  2003 %:%355=421%:%

  2042 %:%374=426%:%

  2004 %:%356=422%:%

  2043 %:%375=427%:%

  2005 %:%357=423%:%

  2044 %:%376=428%:%

  2006 %:%358=424%:%

  2045 %:%377=429%:%

  2007 %:%359=425%:%

  2046 %:%378=430%:%

  2008 %:%360=426%:%

  2047 %:%379=431%:%

  2009 %:%361=427%:%

  2048 %:%380=432%:%

  2010 %:%362=428%:%

  2049 %:%381=433%:%

  2011 %:%363=429%:%

  2050 %:%382=434%:%

  2012 %:%364=430%:%

  2051 %:%383=435%:%

  2013 %:%365=431%:%

  2052 %:%384=436%:%

  2014 %:%366=432%:%

  2053 %:%385=437%:%

  2015 %:%367=433%:%

  2054 %:%386=438%:%

  2016 %:%368=434%:%

  2055 %:%387=439%:%

  2017 %:%369=435%:%

  2056 %:%388=440%:%

  2018 %:%370=436%:%

  2057 %:%389=441%:%

  2019 %:%371=437%:%

  2058 %:%390=442%:%

  2020 %:%372=438%:%

  2059 %:%391=443%:%

  2021 %:%373=439%:%

  2060 %:%392=444%:%

  2022 %:%374=440%:%

  2061 %:%393=445%:%

  2023 %:%375=441%:%

  2062 %:%394=446%:%

  2024 %:%376=442%:%

  2063 %:%395=447%:%

  2025 %:%377=443%:%

  2064 %:%396=448%:%

  2026 %:%378=444%:%

  2065 %:%397=449%:%

  2027 %:%379=445%:%

  2066 %:%398=450%:%

  2028 %:%380=446%:%

  2067 %:%399=451%:%

  2029 %:%381=447%:%

  2068 %:%400=452%:%

  2030 %:%382=448%:%

  2069 %:%401=453%:%

  2031 %:%383=449%:%

  2070 %:%402=454%:%

  2032 %:%384=450%:%

  2071 %:%403=455%:%

  2033 %:%385=451%:%

  2072 %:%404=456%:%

  2034 %:%386=452%:%

  2073 %:%405=457%:%

  2035 %:%387=453%:%

  2074 %:%406=458%:%

  2036 %:%396=460%:%

  2075 %:%407=459%:%

  2037 %:%408=462%:%

  2076 %:%408=460%:%

  2038 %:%409=463%:%

  2077 %:%409=461%:%

  2039 %:%409=464%:%

  2078 %:%410=462%:%

  2040 %:%410=465%:%

  2079 %:%411=463%:%

  2041 %:%411=466%:%

  2080 %:%412=464%:%

  2042 %:%412=467%:%

  2081 %:%413=465%:%

  2043 %:%413=468%:%

  2082 %:%414=466%:%

  2044 %:%414=469%:%

  2083 %:%415=467%:%

  2045 %:%415=470%:%

  2084 %:%416=468%:%

  2046 %:%416=471%:%

  2085 %:%417=469%:%

  2047 %:%417=472%:%

  2086 %:%418=470%:%

  2048 %:%418=473%:%

  2087 %:%419=471%:%

  2049 %:%419=474%:%

  2088 %:%420=472%:%

  2050 %:%420=475%:%

  2089 %:%421=473%:%

  2051 %:%421=476%:%

  2090 %:%422=474%:%

  2052 %:%422=477%:%

  2091 %:%423=475%:%

  2053 %:%423=478%:%

  2092 %:%424=476%:%

  2054 %:%424=479%:%

  2093 %:%433=483%:%

  2055 %:%425=480%:%

  2094 %:%445=485%:%

  2056 %:%426=481%:%

  2095 %:%446=486%:%

  2057 %:%427=482%:%

  2096 %:%446=487%:%

  2058 %:%428=483%:%

  2097 %:%447=488%:%

  2059 %:%429=484%:%

  2098 %:%448=489%:%

  2060 %:%430=485%:%

  2099 %:%449=490%:%

  2061 %:%431=486%:%

  2100 %:%450=491%:%

  2062 %:%432=487%:%

  2101 %:%451=492%:%

  2063 %:%433=488%:%

  2102 %:%452=493%:%

  2064 %:%434=489%:%

  2103 %:%453=494%:%

  2065 %:%435=490%:%

  2104 %:%454=495%:%

  2066 %:%436=491%:%

  2105 %:%455=496%:%

  2067 %:%437=492%:%

  2106 %:%456=497%:%

  2068 %:%438=493%:%

  2107 %:%457=498%:%

  2069 %:%439=494%:%

  2108 %:%458=499%:%

  2070 %:%440=495%:%

  2109 %:%459=500%:%

  2071 %:%441=496%:%

  2110 %:%460=501%:%

  2072 %:%442=497%:%

  2111 %:%461=502%:%

  2073 %:%443=498%:%

  2112 %:%462=503%:%

  2074 %:%444=499%:%

  2113 %:%463=504%:%

  2075 %:%445=500%:%

  2114 %:%464=505%:%

  2076 %:%446=501%:%

  2115 %:%465=506%:%

  2077 %:%447=502%:%

  2116 %:%466=507%:%

  2078 %:%448=503%:%

  2117 %:%467=508%:%

  2079 %:%448=504%:%

  2118 %:%468=509%:%

  2080 %:%449=505%:%

  2119 %:%469=510%:%

  2081 %:%450=506%:%

  2120 %:%470=511%:%

  2082 %:%451=507%:%

  2121 %:%471=512%:%

  2083 %:%452=508%:%

  2122 %:%472=513%:%

  2084 %:%453=509%:%

  2123 %:%473=514%:%

  2085 %:%453=510%:%

  2124 %:%474=515%:%

  2086 %:%454=511%:%

  2125 %:%475=516%:%

  2087 %:%455=512%:%

  2126 %:%476=517%:%

  2088 %:%456=513%:%

  2127 %:%477=518%:%

  2089 %:%457=514%:%

  2128 %:%478=519%:%

  2090 %:%458=515%:%

  2129 %:%479=520%:%

  2091 %:%459=516%:%

  2130 %:%480=521%:%

  2092 %:%460=517%:%

  2131 %:%481=522%:%

  2093 %:%461=518%:%

  2132 %:%482=523%:%

  2094 %:%462=519%:%

  2133 %:%483=524%:%

  2095 %:%463=520%:%

  2134 %:%484=525%:%

  2096 %:%464=521%:%

  2135 %:%485=526%:%

  2097 %:%465=522%:%

  2136 %:%485=527%:%

  2098 %:%466=523%:%

  2137 %:%486=528%:%

  2099 %:%467=524%:%

  2138 %:%487=529%:%

  2100 %:%468=525%:%

  2139 %:%488=530%:%

  2101 %:%469=526%:%

  2140 %:%489=531%:%

  2102 %:%470=527%:%

  2141 %:%490=532%:%

  2103 %:%471=528%:%

  2142 %:%490=533%:%

  2104 %:%472=529%:%

  2143 %:%491=534%:%

  2105 %:%473=530%:%

  2144 %:%492=535%:%

  2106 %:%474=531%:%

  2145 %:%493=536%:%

  2107 %:%475=532%:%

  2146 %:%494=537%:%

  2108 %:%476=533%:%

  2147 %:%495=538%:%

  2109 %:%477=534%:%

  2148 %:%496=539%:%

  2110 %:%478=535%:%

  2149 %:%497=540%:%

  2111 %:%479=536%:%

  2150 %:%498=541%:%

  2112 %:%480=537%:%

  2151 %:%499=542%:%

  2113 %:%481=538%:%

  2152 %:%500=543%:%

  2114 %:%482=539%:%

  2153 %:%501=544%:%

  2115 %:%483=540%:%

  2154 %:%502=545%:%

  2116 %:%484=541%:%

  2155 %:%503=546%:%

  2117 %:%485=542%:%

  2156 %:%504=547%:%

  2118 %:%486=543%:%

  2157 %:%505=548%:%

  2119 %:%487=544%:%

  2158 %:%506=549%:%

  2120 %:%488=545%:%

  2159 %:%507=550%:%

  2121 %:%489=546%:%

  2160 %:%508=551%:%

  2122 %:%490=547%:%

  2161 %:%509=552%:%

  2123 %:%491=548%:%

  2162 %:%510=553%:%

  2124 %:%492=549%:%

  2163 %:%511=554%:%

  2125 %:%493=550%:%

  2164 %:%512=555%:%

  2126 %:%494=551%:%

  2165 %:%513=556%:%

  2127 %:%495=552%:%

  2166 %:%514=557%:%

  2128 %:%496=553%:%

  2167 %:%515=558%:%

  2129 %:%497=554%:%

  2168 %:%516=559%:%

  2130 %:%498=555%:%

  2169 %:%517=560%:%

  2131 %:%499=556%:%

  2170 %:%518=561%:%

  2132 %:%500=557%:%

  2171 %:%519=562%:%

  2133 %:%501=558%:%

  2172 %:%520=563%:%

  2134 %:%502=559%:%

  2173 %:%521=564%:%

  2135 %:%503=560%:%

  2174 %:%522=565%:%

  2136 %:%504=561%:%

  2175 %:%523=566%:%

  2137 %:%505=562%:%

  2176 %:%524=567%:%

  2138 %:%506=563%:%

  2177 %:%525=568%:%

  2139 %:%507=564%:%

  2178 %:%526=569%:%

  2140 %:%508=565%:%

  2179 %:%527=570%:%

  2141 %:%509=566%:%

  2180 %:%528=571%:%

  2142 %:%510=567%:%

  2181 %:%529=572%:%

  2143 %:%511=568%:%

  2182 %:%530=573%:%

  2144 %:%512=569%:%

  2183 %:%531=574%:%

  2145 %:%513=570%:%

  2184 %:%532=575%:%

  2146 %:%514=571%:%

  2185 %:%533=576%:%

  2147 %:%515=572%:%

  2186 %:%534=577%:%

  2148 %:%516=573%:%

  2187 %:%535=578%:%

  2149 %:%517=574%:%

  2188 %:%536=579%:%

  2150 %:%518=575%:%

  2189 %:%537=580%:%

  2151 %:%519=576%:%

  2190 %:%538=581%:%

  2152 %:%520=577%:%

  2191 %:%539=582%:%

  2153 %:%521=578%:%

  2192 %:%540=583%:%

  2154 %:%522=579%:%

  2193 %:%541=584%:%

  2155 %:%523=580%:%

  2194 %:%542=585%:%

  2156 %:%524=581%:%

  2195 %:%543=586%:%

  2157 %:%525=582%:%

  2196 %:%544=587%:%

  2158 %:%526=583%:%

  2197 %:%545=588%:%

  2159 %:%527=584%:%

  2198 %:%546=589%:%

  2160 %:%528=585%:%

  2199 %:%547=590%:%

  2161 %:%529=586%:%

  2200 %:%548=591%:%

  2162 %:%530=587%:%

  2201 %:%549=592%:%

  2163 %:%531=588%:%

  2202 %:%550=593%:%

  2164 %:%532=589%:%

  2203 %:%551=594%:%

  2165 %:%533=590%:%

  2204 %:%552=595%:%

  2166 %:%534=591%:%

  2205 %:%553=596%:%

  2167 %:%535=592%:%

  2206 %:%554=597%:%

  2168 %:%536=593%:%

  2207 %:%555=598%:%

  2169 %:%537=594%:%

  2208 %:%556=599%:%

  2170 %:%538=595%:%

  2209 %:%557=600%:%

  2171 %:%539=596%:%

  2210 %:%558=601%:%

  2172 %:%540=597%:%

  2211 %:%559=602%:%

  2173 %:%541=598%:%

  2212 %:%560=603%:%

  2174 %:%542=599%:%

  2213 %:%561=604%:%

  2175 %:%551=603%:%

  2214 %:%562=605%:%

  2176 %:%563=607%:%

  2215 %:%563=606%:%

  2177 %:%564=608%:%

  2216 %:%564=607%:%

  2178 %:%565=609%:%

  2217 %:%565=608%:%

  2179 %:%566=610%:%

  2218 %:%566=609%:%

  2180 %:%567=611%:%

  2219 %:%567=610%:%

  2181 %:%568=612%:%

  2220 %:%568=611%:%

  2182 %:%569=613%:%

  2221 %:%569=612%:%

  2183 %:%570=614%:%

  2222 %:%570=613%:%

  2184 %:%571=615%:%

  2223 %:%571=614%:%

  2185 %:%572=616%:%

  2224 %:%572=615%:%

  2186 %:%573=617%:%

  2225 %:%573=616%:%

  2187 %:%574=618%:%

  2226 %:%574=617%:%

  2188 %:%575=619%:%

  2227 %:%575=618%:%

  2189 %:%576=620%:%

  2228 %:%576=619%:%

  2190 %:%577=621%:%

  2229 %:%577=620%:%

  2191 %:%578=622%:%

  2230 %:%578=621%:%

  2192 %:%579=623%:%

  2231 %:%579=622%:%

  2193 %:%580=624%:%

  2232 %:%588=626%:%

  2194 %:%581=625%:%

  2233 %:%600=630%:%

  2195 %:%582=626%:%

  2234 %:%601=631%:%

  2196 %:%583=627%:%

  2235 %:%602=632%:%

  2197 %:%584=628%:%

  2236 %:%603=633%:%

  2198 %:%585=629%:%

  2237 %:%604=634%:%

  2199 %:%586=630%:%

  2238 %:%605=635%:%

  2200 %:%587=631%:%

  2239 %:%606=636%:%

  2201 %:%588=632%:%

  2240 %:%607=637%:%

  2202 %:%589=633%:%

  2241 %:%608=638%:%

  2203 %:%590=634%:%

  2242 %:%609=639%:%

  2204 %:%591=635%:%

  2243 %:%610=640%:%

  2205 %:%592=636%:%

  2244 %:%611=641%:%

  2206 %:%593=637%:%

  2245 %:%612=642%:%

  2207 %:%594=638%:%

  2246 %:%613=643%:%

  2208 %:%595=639%:%

  2247 %:%614=644%:%

  2209 %:%596=640%:%

  2248 %:%615=645%:%

  2210 %:%597=641%:%

  2249 %:%616=646%:%

  2211 %:%598=642%:%

  2250 %:%617=647%:%

  2212 %:%599=643%:%

  2251 %:%618=648%:%

  2213 %:%600=644%:%

  2252 %:%619=649%:%

  2214 %:%601=645%:%

  2253 %:%620=650%:%

  2215 %:%602=646%:%

  2254 %:%621=651%:%

  2216 %:%603=647%:%

  2255 %:%622=652%:%

  2217 %:%604=648%:%

  2256 %:%623=653%:%

  2218 %:%605=649%:%

  2257 %:%624=654%:%

  2219 %:%606=650%:%

  2258 %:%625=655%:%

  2220 %:%607=651%:%

  2259 %:%626=656%:%

  2221 %:%608=652%:%

  2260 %:%627=657%:%

  2222 %:%609=653%:%

  2261 %:%628=658%:%

  2223 %:%610=654%:%

  2262 %:%629=659%:%

  2224 %:%611=655%:%

  2263 %:%630=660%:%

  2225 %:%612=656%:%

  2264 %:%631=661%:%

  2226 %:%613=657%:%

  2265 %:%632=662%:%

  2227 %:%614=658%:%

  2266 %:%633=663%:%

  2228 %:%615=659%:%

  2267 %:%634=664%:%

  2229 %:%616=660%:%

  2268 %:%635=665%:%

  2230 %:%617=661%:%

  2269 %:%636=666%:%

  2231 %:%618=662%:%

  2270 %:%637=667%:%

  2232 %:%619=663%:%

  2271 %:%638=668%:%

  2233 %:%620=664%:%

  2272 %:%639=669%:%

  2234 %:%621=665%:%

  2273 %:%640=670%:%

  2235 %:%622=666%:%

  2274 %:%641=671%:%

  2236 %:%623=667%:%

  2275 %:%642=672%:%

  2237 %:%624=668%:%

  2276 %:%643=673%:%

  2238 %:%625=669%:%

  2277 %:%644=674%:%

  2239 %:%626=670%:%

  2278 %:%645=675%:%

  2240 %:%627=671%:%

  2279 %:%646=676%:%

  2241 %:%628=672%:%

  2280 %:%647=677%:%

  2242 %:%629=673%:%

  2281 %:%648=678%:%

  2243 %:%630=674%:%

  2282 %:%649=679%:%

  2244 %:%631=675%:%

  2283 %:%650=680%:%

  2245 %:%632=676%:%

  2284 %:%651=681%:%

  2246 %:%633=677%:%

  2285 %:%652=682%:%

  2247 %:%634=678%:%

  2286 %:%653=683%:%

  2248 %:%635=679%:%

  2287 %:%654=684%:%

  2249 %:%636=680%:%

  2288 %:%655=685%:%

  2250 %:%637=681%:%

  2289 %:%656=686%:%

  2251 %:%638=682%:%

  2290 %:%657=687%:%

  2252 %:%639=683%:%

  2291 %:%658=688%:%

  2253 %:%640=684%:%

  2292 %:%659=689%:%

  2254 %:%641=685%:%

  2293 %:%660=690%:%

  2255 %:%642=686%:%

  2294 %:%661=691%:%

  2256 %:%643=687%:%

  2295 %:%662=692%:%

  2257 %:%644=688%:%

  2296 %:%663=693%:%

  2258 %:%645=689%:%

  2297 %:%664=694%:%

  2259 %:%646=690%:%

  2298 %:%665=695%:%

  2260 %:%647=691%:%

  2299 %:%666=696%:%

  2261 %:%648=692%:%

  2300 %:%667=697%:%

  2262 %:%649=693%:%

  2301 %:%668=698%:%

  2263 %:%650=694%:%

  2302 %:%669=699%:%

  2264 %:%651=695%:%

  2303 %:%670=700%:%

  2265 %:%652=696%:%

  2304 %:%671=701%:%

  2266 %:%653=697%:%

  2305 %:%672=702%:%

  2267 %:%654=698%:%

  2306 %:%673=703%:%

  2268 %:%655=699%:%

  2307 %:%674=704%:%

  2269 %:%656=700%:%

  2308 %:%675=705%:%

  2270 %:%657=701%:%

  2309 %:%676=706%:%

  2271 %:%658=702%:%

  2310 %:%677=707%:%

  2272 %:%659=703%:%

  2311 %:%678=708%:%

  2273 %:%660=704%:%

  2312 %:%679=709%:%

  2274 %:%661=705%:%

  2313 %:%680=710%:%

  2275 %:%662=706%:%

  2314 %:%681=711%:%

  2276 %:%663=707%:%

  2315 %:%682=712%:%

  2277 %:%664=708%:%

  2316 %:%683=713%:%

  2278 %:%665=709%:%

  2317 %:%684=714%:%

  2279 %:%666=710%:%

  2318 %:%685=715%:%

  2280 %:%667=711%:%

  2319 %:%686=716%:%

  2281 %:%668=712%:%

  2320 %:%687=717%:%

  2282 %:%669=713%:%

  2321 %:%688=718%:%

  2283 %:%670=714%:%

  2322 %:%689=719%:%

  2284 %:%671=715%:%

  2323 %:%690=720%:%

  2285 %:%672=716%:%

  2324 %:%691=721%:%

  2286 %:%673=717%:%

  2325 %:%692=722%:%

  2287 %:%674=718%:%

  2326 %:%693=723%:%

  2288 %:%675=719%:%

  2327 %:%694=724%:%

  2289 %:%676=720%:%

  2328 %:%695=725%:%

  2290 %:%677=721%:%

  2329 %:%696=726%:%

  2291 %:%677=722%:%

  2330 %:%697=727%:%

  2292 %:%678=723%:%

  2331 %:%698=728%:%

  2293 %:%678=724%:%

  2332 %:%699=729%:%

  2294 %:%679=725%:%

  2333 %:%700=730%:%

  2295 %:%680=726%:%

  2334 %:%701=731%:%

  2296 %:%680=727%:%

  2335 %:%702=732%:%

  2297 %:%681=728%:%

  2336 %:%703=733%:%

  2298 %:%682=729%:%

  2337 %:%704=734%:%

  2299 %:%683=730%:%

  2338 %:%705=735%:%

  2300 %:%684=731%:%

  2339 %:%706=736%:%

  2301 %:%685=732%:%

  2340 %:%707=737%:%

  2302 %:%686=733%:%

  2341 %:%708=738%:%

  2303 %:%687=734%:%

  2342 %:%709=739%:%

  2304 %:%688=735%:%

  2343 %:%710=740%:%

  2305 %:%689=736%:%

  2344 %:%711=741%:%

  2306 %:%690=737%:%

  2345 %:%712=742%:%

  2307 %:%691=738%:%

  2346 %:%713=743%:%

  2308 %:%692=739%:%

  2347 %:%714=744%:%

  2309 %:%693=740%:%

  2348 %:%714=745%:%

  2310 %:%694=741%:%

  2349 %:%715=746%:%

  2311 %:%695=742%:%

  2350 %:%715=747%:%

  2312 %:%696=743%:%

  2351 %:%716=748%:%

  2313 %:%697=744%:%

  2352 %:%717=749%:%

  2314 %:%698=745%:%

  2353 %:%717=750%:%

  2315 %:%699=746%:%

  2354 %:%718=751%:%

  2316 %:%700=747%:%

  2355 %:%719=752%:%

  2317 %:%701=748%:%

  2356 %:%720=753%:%

  2318 %:%702=749%:%

  2357 %:%721=754%:%

  2319 %:%703=750%:%

  2358 %:%722=755%:%

  2320 %:%704=751%:%

  2359 %:%723=756%:%

  2321 %:%705=752%:%

  2360 %:%724=757%:%

  2322 %:%706=753%:%

  2361 %:%725=758%:%

  2323 %:%707=754%:%

  2362 %:%726=759%:%

  2324 %:%708=755%:%

  2363 %:%727=760%:%

  2325 %:%709=756%:%

  2364 %:%728=761%:%

  2326 %:%710=757%:%

  2365 %:%729=762%:%

  2327 %:%711=758%:%

  2366 %:%730=763%:%

  2328 %:%712=759%:%

  2367 %:%731=764%:%

  2329 %:%713=760%:%

  2368 %:%732=765%:%

  2330 %:%714=761%:%

  2369 %:%733=766%:%

  2331 %:%715=762%:%

  2370 %:%734=767%:%

  2332 %:%716=763%:%

  2371 %:%735=768%:%

  2333 %:%717=764%:%

  2372 %:%736=769%:%

  2334 %:%718=765%:%

  2373 %:%737=770%:%

  2335 %:%719=766%:%

  2374 %:%738=771%:%

  2336 %:%720=767%:%

  2375 %:%739=772%:%

  2337 %:%721=768%:%

  2376 %:%740=773%:%

  2338 %:%722=769%:%

  2377 %:%741=774%:%

  2339 %:%723=770%:%

  2378 %:%742=775%:%

  2340 %:%724=771%:%

  2379 %:%743=776%:%

  2341 %:%725=772%:%

  2380 %:%744=777%:%

  2342 %:%726=773%:%

  2381 %:%745=778%:%

  2343 %:%727=774%:%

  2382 %:%746=779%:%

  2344 %:%728=775%:%

  2383 %:%747=780%:%

  2345 %:%729=776%:%

  2384 %:%748=781%:%

  2346 %:%730=777%:%

  2385 %:%749=782%:%

  2347 %:%731=778%:%

  2386 %:%750=783%:%

  2348 %:%732=779%:%

  2387 %:%751=784%:%

  2349 %:%733=780%:%

  2388 %:%752=785%:%

  2350 %:%734=781%:%

  2389 %:%753=786%:%

  2351 %:%735=782%:%

  2390 %:%754=787%:%

  2352 %:%736=783%:%

  2391 %:%755=788%:%

  2353 %:%736=784%:%

  2392 %:%756=789%:%

  2354 %:%736=785%:%

  2393 %:%757=790%:%

  2355 %:%737=786%:%

  2394 %:%758=791%:%

  2356 %:%738=787%:%

  2395 %:%759=792%:%

  2357 %:%739=788%:%

  2396 %:%760=793%:%

  2358 %:%740=789%:%

  2397 %:%761=794%:%

  2359 %:%741=790%:%

  2398 %:%762=795%:%

  2360 %:%742=791%:%

  2399 %:%763=796%:%

  2361 %:%743=792%:%

  2400 %:%764=797%:%

  2362 %:%744=793%:%

  2401 %:%765=798%:%

  2363 %:%745=794%:%

  2402 %:%766=799%:%

  2364 %:%745=795%:%

  2403 %:%767=800%:%

  2365 %:%746=796%:%

  2404 %:%768=801%:%

  2366 %:%747=797%:%

  2405 %:%769=802%:%

  2367 %:%748=798%:%

  2406 %:%770=803%:%

  2368 %:%749=799%:%

  2407 %:%771=804%:%

  2369 %:%750=800%:%

  2408 %:%772=805%:%

  2370 %:%751=801%:%

  2409 %:%773=806%:%

  2371 %:%752=802%:%

  2410 %:%773=807%:%

  2372 %:%753=803%:%

  2411 %:%773=808%:%

  2373 %:%754=804%:%

  2412 %:%774=809%:%

  2374 %:%755=805%:%

  2413 %:%775=810%:%

  2375 %:%756=806%:%

  2414 %:%776=811%:%

  2376 %:%757=807%:%

  2415 %:%777=812%:%

  2377 %:%758=808%:%

  2416 %:%778=813%:%

  2378 %:%759=809%:%

  2417 %:%779=814%:%

  2379 %:%760=810%:%

  2418 %:%780=815%:%

  2380 %:%761=811%:%

  2419 %:%781=816%:%

  2381 %:%762=812%:%

  2420 %:%782=817%:%

  2382 %:%763=813%:%

  2421 %:%782=818%:%

  2383 %:%764=814%:%

  2422 %:%783=819%:%

  2384 %:%765=815%:%

  2423 %:%784=820%:%

  2385 %:%766=816%:%

  2424 %:%785=821%:%

  2386 %:%767=817%:%

  2425 %:%786=822%:%

  2387 %:%768=818%:%

  2426 %:%787=823%:%

  2388 %:%769=819%:%

  2427 %:%788=824%:%

  2389 %:%770=820%:%

  2428 %:%789=825%:%

  2390 %:%771=821%:%

  2429 %:%790=826%:%

  2391 %:%772=822%:%

  2430 %:%791=827%:%

  2392 %:%773=823%:%

  2431 %:%792=828%:%

  2393 %:%774=824%:%

  2432 %:%793=829%:%

  2394 %:%775=825%:%

  2433 %:%794=830%:%

  2395 %:%776=826%:%

  2434 %:%795=831%:%

  2396 %:%777=827%:%

  2435 %:%796=832%:%

  2397 %:%778=828%:%

  2436 %:%797=833%:%

  2398 %:%779=829%:%

  2437 %:%798=834%:%

  2399 %:%780=830%:%

  2438 %:%799=835%:%

  2400 %:%780=831%:%

  2439 %:%800=836%:%

  2401 %:%781=832%:%

  2440 %:%801=837%:%

  2402 %:%782=833%:%

  2441 %:%802=838%:%

  2403 %:%783=834%:%

  2442 %:%803=839%:%

  2404 %:%784=835%:%

  2443 %:%804=840%:%

  2405 %:%785=836%:%

  2444 %:%805=841%:%

  2406 %:%786=837%:%

  2445 %:%806=842%:%

  2407 %:%787=838%:%

  2446 %:%807=843%:%

  2408 %:%787=839%:%

  2447 %:%808=844%:%

  2409 %:%788=840%:%

  2448 %:%809=845%:%

  2410 %:%789=841%:%

  2449 %:%810=846%:%

  2411 %:%790=842%:%

  2450 %:%811=847%:%

  2412 %:%790=843%:%

  2451 %:%812=848%:%

  2413 %:%791=844%:%

  2452 %:%813=849%:%

  2414 %:%792=845%:%

  2453 %:%814=850%:%

  2415 %:%793=846%:%

  2454 %:%815=851%:%

  2416 %:%794=847%:%

  2455 %:%816=852%:%

  2417 %:%795=848%:%

  2456 %:%817=853%:%

  2418 %:%796=849%:%

  2457 %:%817=854%:%

  2419 %:%797=850%:%

  2458 %:%818=855%:%

  2420 %:%798=851%:%

  2459 %:%819=856%:%

  2421 %:%799=852%:%

  2460 %:%820=857%:%

  2422 %:%800=853%:%

  2461 %:%821=858%:%

  2423 %:%801=854%:%

  2462 %:%822=859%:%

  2424 %:%801=855%:%

  2463 %:%823=860%:%

  2425 %:%802=856%:%

  2464 %:%824=861%:%

  2426 %:%803=857%:%

  2465 %:%824=862%:%

  2427 %:%804=858%:%

  2466 %:%825=863%:%

  2428 %:%805=859%:%

  2467 %:%826=864%:%

  2429 %:%805=860%:%

  2468 %:%827=865%:%

  2430 %:%806=861%:%

  2469 %:%827=866%:%

  2431 %:%807=862%:%

  2470 %:%828=867%:%

  2432 %:%808=863%:%

  2471 %:%829=868%:%

  2433 %:%809=864%:%

  2472 %:%830=869%:%

  2434 %:%810=865%:%

  2473 %:%831=870%:%

  2435 %:%811=866%:%

  2474 %:%832=871%:%

  2436 %:%812=867%:%

  2475 %:%833=872%:%

  2437 %:%813=868%:%

  2476 %:%834=873%:%

  2438 %:%814=869%:%

  2477 %:%835=874%:%

  2439 %:%815=870%:%

  2478 %:%836=875%:%

  2440 %:%816=871%:%

  2479 %:%837=876%:%

  2441 %:%817=872%:%

  2480 %:%838=877%:%

  2442 %:%818=873%:%

  2481 %:%838=878%:%

  2443 %:%819=874%:%

  2482 %:%839=879%:%

  2444 %:%820=875%:%

  2483 %:%840=880%:%

  2445 %:%821=876%:%

  2484 %:%841=881%:%

  2446 %:%822=877%:%

  2485 %:%842=882%:%

  2447 %:%823=878%:%

  2486 %:%842=883%:%

  2448 %:%824=879%:%

  2487 %:%843=884%:%

  2449 %:%825=880%:%

  2488 %:%844=885%:%

  2450 %:%826=881%:%

  2489 %:%845=886%:%

  2451 %:%827=882%:%

  2490 %:%846=887%:%

  2452 %:%828=883%:%

  2491 %:%847=888%:%

  2453 %:%829=884%:%

  2492 %:%848=889%:%

  2454 %:%830=885%:%

  2493 %:%849=890%:%

  2455 %:%831=886%:%

  2494 %:%850=891%:%

  2456 %:%832=887%:%

  2495 %:%851=892%:%

  2457 %:%833=888%:%

  2496 %:%852=893%:%

  2458 %:%834=889%:%

  2497 %:%853=894%:%

  2459 %:%835=890%:%

  2498 %:%854=895%:%

  2460 %:%836=891%:%

  2499 %:%855=896%:%

  2461 %:%837=892%:%

  2500 %:%856=897%:%

  2462 %:%838=893%:%

  2501 %:%857=898%:%

  2463 %:%839=894%:%

  2502 %:%858=899%:%

  2464 %:%840=895%:%

  2503 %:%859=900%:%

  2465 %:%841=896%:%

  2504 %:%860=901%:%

  2466 %:%842=897%:%

  2505 %:%861=902%:%

  2467 %:%843=898%:%

  2506 %:%862=903%:%

  2468 %:%844=899%:%

  2507 %:%863=904%:%

  2469 %:%845=900%:%

  2508 %:%864=905%:%

  2470 %:%846=901%:%

  2509 %:%865=906%:%

  2471 %:%847=902%:%

  2510 %:%866=907%:%

  2472 %:%848=903%:%

  2511 %:%867=908%:%

  2473 %:%849=904%:%

  2512 %:%868=909%:%

  2474 %:%850=905%:%

  2513 %:%869=910%:%

  2475 %:%851=906%:%

  2514 %:%870=911%:%

  2476 %:%852=907%:%

  2515 %:%871=912%:%

  2477 %:%853=908%:%

  2516 %:%872=913%:%

  2478 %:%854=909%:%

  2517 %:%873=914%:%

  2479 %:%855=910%:%

  2518 %:%874=915%:%

  2480 %:%856=911%:%

  2519 %:%875=916%:%

  2481 %:%857=912%:%

  2520 %:%876=917%:%

  2482 %:%858=913%:%

  2521 %:%877=918%:%

  2483 %:%859=914%:%

  2522 %:%878=919%:%

  2484 %:%860=915%:%

  2523 %:%879=920%:%

  2485 %:%861=916%:%

  2524 %:%880=921%:%

  2486 %:%862=917%:%

  2525 %:%881=922%:%

  2487 %:%863=918%:%

  2526 %:%882=923%:%

  2488 %:%863=919%:%

  2527 %:%883=924%:%

  2489 %:%864=920%:%

  2528 %:%884=925%:%

  2490 %:%865=921%:%

  2529 %:%885=926%:%

  2491 %:%866=922%:%

  2530 %:%886=927%:%

  2492 %:%867=923%:%

  2531 %:%887=928%:%

  2493 %:%868=924%:%

  2532 %:%888=929%:%

  2494 %:%869=925%:%

  2533 %:%889=930%:%

  2495 %:%870=926%:%

  2534 %:%890=931%:%

  2496 %:%871=927%:%

  2535 %:%891=932%:%

  2497 %:%872=928%:%

  2536 %:%892=933%:%

  2498 %:%873=929%:%

  2537 %:%893=934%:%

  2499 %:%874=930%:%

  2538 %:%894=935%:%

  2500 %:%875=931%:%

  2539 %:%895=936%:%

  2501 %:%876=932%:%

  2540 %:%896=937%:%

  2502 %:%877=933%:%

  2541 %:%897=938%:%

  2503 %:%878=934%:%

  2542 %:%898=939%:%

  2504 %:%879=935%:%

  2543 %:%899=940%:%

  2505 %:%880=936%:%

  2544 %:%900=941%:%

  2506 %:%881=937%:%

  2545 %:%900=942%:%

  2507 %:%882=938%:%

  2546 %:%901=943%:%

  2508 %:%883=939%:%

  2547 %:%902=944%:%

  2509 %:%884=940%:%

  2548 %:%903=945%:%

  2510 %:%885=941%:%

  2549 %:%904=946%:%

  2511 %:%886=942%:%

  2550 %:%905=947%:%

  2512 %:%887=943%:%

  2551 %:%906=948%:%

  2513 %:%888=944%:%

  2552 %:%907=949%:%

  2514 %:%889=945%:%

  2553 %:%908=950%:%

  2515 %:%890=946%:%

  2554 %:%909=951%:%

  2516 %:%891=947%:%

  2555 %:%910=952%:%

  2517 %:%892=948%:%

  2556 %:%911=953%:%

  2518 %:%893=949%:%

  2557 %:%912=954%:%

  2519 %:%894=950%:%

  2558 %:%913=955%:%

  2520 %:%895=951%:%

  2559 %:%914=956%:%

  2521 %:%896=952%:%

  2560 %:%915=957%:%

  2522 %:%896=953%:%

  2561 %:%916=958%:%

  2523 %:%897=954%:%

  2562 %:%917=959%:%

  2524 %:%898=955%:%

  2563 %:%918=960%:%

  2525 %:%899=956%:%

  2564 %:%919=961%:%

  2526 %:%900=957%:%

  2565 %:%920=962%:%

  2527 %:%901=958%:%

  2566 %:%921=963%:%

  2528 %:%902=959%:%

  2567 %:%922=964%:%

  2529 %:%903=960%:%

  2568 %:%923=965%:%

  2530 %:%904=961%:%

  2569 %:%924=966%:%

  2531 %:%905=962%:%

  2570 %:%925=967%:%

  2532 %:%906=963%:%

  2571 %:%926=968%:%

  2533 %:%907=964%:%

  2572 %:%927=969%:%

  2534 %:%908=965%:%

  2573 %:%928=970%:%

  2535 %:%909=966%:%

  2574 %:%929=971%:%

  2536 %:%910=967%:%

  2575 %:%930=972%:%

  2537 %:%911=968%:%

  2576 %:%931=973%:%

  2538 %:%912=969%:%

  2577 %:%932=974%:%

  2539 %:%913=970%:%

  2578 %:%933=975%:%

  2540 %:%914=971%:%

  2579 %:%933=976%:%

  2541 %:%915=972%:%

  2580 %:%934=977%:%

  2542 %:%916=973%:%

  2581 %:%935=978%:%

  2543 %:%917=974%:%

  2582 %:%936=979%:%

  2544 %:%918=975%:%

  2583 %:%937=980%:%

  2545 %:%919=976%:%

  2584 %:%938=981%:%

  2546 %:%920=977%:%

  2585 %:%939=982%:%

  2547 %:%921=978%:%

  2586 %:%940=983%:%

  2548 %:%922=979%:%

  2587 %:%941=984%:%

  2549 %:%923=980%:%

  2588 %:%942=985%:%

  2550 %:%924=981%:%

  2589 %:%943=986%:%

  2551 %:%925=982%:%

  2590 %:%944=987%:%

  2552 %:%926=983%:%

  2591 %:%945=988%:%

  2553 %:%926=984%:%

  2592 %:%946=989%:%

  2554 %:%927=985%:%

  2593 %:%947=990%:%

  2555 %:%928=986%:%

  2594 %:%948=991%:%

  2556 %:%929=987%:%

  2595 %:%949=992%:%

  2557 %:%930=988%:%

  2596 %:%950=993%:%

  2558 %:%931=989%:%

  2597 %:%951=994%:%

  2559 %:%932=990%:%

  2598 %:%952=995%:%

  2560 %:%933=991%:%

  2599 %:%953=996%:%

  2561 %:%934=992%:%

  2600 %:%954=997%:%

  2562 %:%934=993%:%

  2601 %:%955=998%:%

  2563 %:%935=994%:%

  2602 %:%956=999%:%

  2564 %:%936=995%:%

  2603 %:%957=1000%:%

  2565 %:%937=996%:%

  2604 %:%958=1001%:%

  2566 %:%938=997%:%

  2605 %:%959=1002%:%

  2567 %:%939=998%:%

  2606 %:%960=1003%:%

  2568 %:%940=999%:%

  2607 %:%961=1004%:%

  2569 %:%941=1000%:%

  2608 %:%962=1005%:%

  2570 %:%942=1001%:%

  2609 %:%963=1006%:%

  2571 %:%943=1002%:%

  2610 %:%963=1007%:%

  2572 %:%944=1003%:%

  2611 %:%964=1008%:%

  2573 %:%945=1004%:%

  2612 %:%965=1009%:%

  2574 %:%946=1005%:%

  2613 %:%966=1010%:%

  2575 %:%947=1006%:%

  2614 %:%967=1011%:%

  2576 %:%948=1007%:%

  2615 %:%968=1012%:%

  2577 %:%949=1008%:%

  2616 %:%969=1013%:%

  2578 %:%950=1009%:%

  2617 %:%970=1014%:%

  2579 %:%951=1010%:%

  2618 %:%971=1015%:%

  2580 %:%952=1011%:%

  2619 %:%971=1016%:%

  2581 %:%953=1012%:%

  2620 %:%972=1017%:%

  2582 %:%954=1013%:%

  2621 %:%973=1018%:%

  2583 %:%955=1014%:%

  2622 %:%974=1019%:%

  2584 %:%956=1015%:%

  2623 %:%975=1020%:%

  2585 %:%957=1016%:%

  2624 %:%976=1021%:%

  2586 %:%958=1017%:%

  2625 %:%977=1022%:%

  2587 %:%959=1018%:%

  2626 %:%978=1023%:%

  2588 %:%960=1019%:%

  2627 %:%979=1024%:%

  2589 %:%961=1020%:%

  2628 %:%980=1025%:%

  2590 %:%962=1021%:%

  2629 %:%981=1026%:%

  2591 %:%963=1022%:%

  2630 %:%982=1027%:%

  2592 %:%964=1023%:%

  2631 %:%983=1028%:%

  2593 %:%965=1024%:%

  2632 %:%984=1029%:%

  2594 %:%966=1025%:%

  2633 %:%985=1030%:%

  2595 %:%967=1026%:%

  2634 %:%986=1031%:%

  2596 %:%968=1027%:%

  2635 %:%987=1032%:%

  2597 %:%969=1028%:%

  2636 %:%988=1033%:%

  2598 %:%970=1029%:%

  2637 %:%989=1034%:%

  2599 %:%971=1030%:%

  2638 %:%990=1035%:%

  2600 %:%971=1031%:%

  2639 %:%991=1036%:%

  2601 %:%971=1032%:%

  2640 %:%992=1037%:%

  2602 %:%972=1033%:%

  2641 %:%993=1038%:%

  2603 %:%972=1034%:%

  2642 %:%994=1039%:%

  2604 %:%972=1035%:%

  2643 %:%995=1040%:%

  2605 %:%973=1036%:%

  2644 %:%996=1041%:%

  2606 %:%974=1037%:%

  2645 %:%997=1042%:%

  2607 %:%974=1038%:%

  2646 %:%998=1043%:%

  2608 %:%975=1039%:%

  2647 %:%999=1044%:%

  2609 %:%976=1040%:%

  2648 %:%1000=1045%:%

  2610 %:%977=1041%:%

  2649 %:%1001=1046%:%

  2611 %:%978=1042%:%

  2650 %:%1002=1047%:%

  2612 %:%979=1043%:%

  2651 %:%1003=1048%:%

  2613 %:%980=1044%:%

  2652 %:%1004=1049%:%

  2614 %:%981=1045%:%

  2653 %:%1005=1050%:%

  2615 %:%982=1046%:%

  2654 %:%1006=1051%:%

  2616 %:%983=1047%:%

  2655 %:%1007=1052%:%

  2617 %:%984=1048%:%

  2656 %:%1008=1053%:%

  2618 %:%985=1049%:%

  2657 %:%1008=1054%:%

  2619 %:%986=1050%:%

  2658 %:%1008=1055%:%

  2620 %:%987=1051%:%

  2659 %:%1009=1056%:%

  2621 %:%988=1052%:%

  2660 %:%1009=1057%:%

  2622 %:%989=1053%:%

  2661 %:%1009=1058%:%

  2623 %:%990=1054%:%

  2662 %:%1010=1059%:%

  2624 %:%991=1055%:%

  2663 %:%1011=1060%:%

  2625 %:%992=1056%:%

  2664 %:%1011=1061%:%

  2626 %:%993=1057%:%

  2665 %:%1012=1062%:%

  2627 %:%994=1058%:%

  2666 %:%1013=1063%:%

  2628 %:%995=1059%:%

  2667 %:%1014=1064%:%

  2629 %:%996=1060%:%

  2668 %:%1015=1065%:%

  2630 %:%997=1061%:%

  2669 %:%1016=1066%:%

  2631 %:%998=1062%:%

  2670 %:%1017=1067%:%

  2632 %:%999=1063%:%

  2671 %:%1018=1068%:%

  2633 %:%1000=1064%:%

  2672 %:%1019=1069%:%

  2634 %:%1001=1065%:%

  2673 %:%1020=1070%:%

  2635 %:%1002=1066%:%

  2674 %:%1021=1071%:%

  2636 %:%1003=1067%:%

  2675 %:%1022=1072%:%

  2637 %:%1004=1068%:%

  2676 %:%1023=1073%:%

  2638 %:%1005=1069%:%

  2677 %:%1024=1074%:%

  2639 %:%1006=1070%:%

  2678 %:%1025=1075%:%

  2640 %:%1007=1071%:%

  2679 %:%1026=1076%:%

  2641 %:%1008=1072%:%

  2680 %:%1027=1077%:%

  2642 %:%1008=1073%:%

  2681 %:%1028=1078%:%

  2643 %:%1009=1074%:%

  2682 %:%1029=1079%:%

  2644 %:%1010=1075%:%

  2683 %:%1030=1080%:%

  2645 %:%1011=1076%:%

  2684 %:%1031=1081%:%

  2646 %:%1011=1077%:%

  2685 %:%1032=1082%:%

  2647 %:%1011=1078%:%

  2686 %:%1033=1083%:%

  2648 %:%1011=1079%:%

  2687 %:%1034=1084%:%

  2649 %:%1012=1080%:%

  2688 %:%1035=1085%:%

  2650 %:%1013=1081%:%

  2689 %:%1036=1086%:%

  2651 %:%1014=1082%:%

  2690 %:%1037=1087%:%

  2652 %:%1015=1083%:%

  2691 %:%1038=1088%:%

  2653 %:%1016=1084%:%

  2692 %:%1039=1089%:%

  2654 %:%1017=1085%:%

  2693 %:%1040=1090%:%

  2655 %:%1018=1086%:%

  2694 %:%1041=1091%:%

  2656 %:%1019=1087%:%

  2695 %:%1042=1092%:%

  2657 %:%1020=1088%:%

  2696 %:%1043=1093%:%

  2658 %:%1021=1089%:%

  2697 %:%1044=1094%:%

  2659 %:%1022=1090%:%

  2698 %:%1045=1095%:%

  2660 %:%1023=1091%:%

  2699 %:%1045=1096%:%

  2661 %:%1024=1092%:%

  2700 %:%1046=1097%:%

  2662 %:%1025=1093%:%

  2701 %:%1047=1098%:%

  2663 %:%1026=1094%:%

  2702 %:%1048=1099%:%

  2664 %:%1027=1095%:%

  2703 %:%1048=1100%:%

  2665 %:%1028=1096%:%

  2704 %:%1048=1101%:%

  2666 %:%1029=1097%:%

  2705 %:%1048=1102%:%

  2667 %:%1030=1098%:%

  2706 %:%1049=1103%:%

  2668 %:%1031=1099%:%

  2707 %:%1050=1104%:%

  2669 %:%1032=1100%:%

  2708 %:%1051=1105%:%

  2670 %:%1033=1101%:%

  2709 %:%1052=1106%:%

  2671 %:%1034=1102%:%

  2710 %:%1053=1107%:%

  2672 %:%1035=1103%:%

  2711 %:%1054=1108%:%

  2673 %:%1036=1104%:%

  2712 %:%1055=1109%:%

  2674 %:%1037=1105%:%

  2713 %:%1056=1110%:%

  2675 %:%1038=1106%:%

  2714 %:%1057=1111%:%

  2676 %:%1039=1107%:%

  2715 %:%1058=1112%:%

  2677 %:%1040=1108%:%

  2716 %:%1059=1113%:%

  2678 %:%1041=1109%:%

  2717 %:%1060=1114%:%

  2679 %:%1042=1110%:%

  2718 %:%1061=1115%:%

  2680 %:%1043=1111%:%

  2719 %:%1062=1116%:%

  2681 %:%1044=1112%:%

  2720 %:%1063=1117%:%

  2682 %:%1045=1113%:%

  2721 %:%1064=1118%:%

  2683 %:%1046=1114%:%

  2722 %:%1065=1119%:%

  2684 %:%1047=1115%:%

  2723 %:%1066=1120%:%

  2685 %:%1048=1116%:%

  2724 %:%1067=1121%:%

  2686 %:%1057=1120%:%

  2725 %:%1068=1122%:%

  2687 %:%1069=1124%:%

  2726 %:%1069=1123%:%

  2688 %:%1070=1125%:%

  2727 %:%1070=1124%:%

  2689 %:%1071=1126%:%

  2728 %:%1071=1125%:%

  2690 %:%1072=1127%:%

  2729 %:%1072=1126%:%

  2691 %:%1073=1128%:%

  2730 %:%1073=1127%:%

  2692 %:%1074=1129%:%

  2731 %:%1074=1128%:%

  2693 %:%1075=1130%:%

  2732 %:%1075=1129%:%

  2694 %:%1076=1131%:%

  2733 %:%1076=1130%:%

  2695 %:%1077=1132%:%

  2734 %:%1077=1131%:%

  2696 %:%1078=1133%:%

  2735 %:%1078=1132%:%

  2697 %:%1079=1134%:%

  2736 %:%1079=1133%:%

  2698 %:%1080=1135%:%

  2737 %:%1080=1134%:%

  2699 %:%1081=1136%:%

  2738 %:%1081=1135%:%

  2700 %:%1082=1137%:%

  2739 %:%1082=1136%:%

  2701 %:%1083=1138%:%

  2740 %:%1083=1137%:%

  2702 %:%1084=1139%:%

  2741 %:%1084=1138%:%

  2703 %:%1085=1140%:%

  2742 %:%1085=1139%:%

  2704 %:%1086=1141%:%

  2743 %:%1094=1143%:%

  2705 %:%1087=1142%:%

  2744 %:%1106=1147%:%

  2706 %:%1088=1143%:%

  2745 %:%1107=1148%:%

  2707 %:%1089=1144%:%

  2746 %:%1108=1149%:%

  2708 %:%1090=1145%:%

  2747 %:%1109=1150%:%

  2709 %:%1091=1146%:%

  2748 %:%1110=1151%:%

  2710 %:%1092=1147%:%

  2749 %:%1111=1152%:%

  2711 %:%1093=1148%:%

  2750 %:%1112=1153%:%

  2712 %:%1094=1149%:%

  2751 %:%1113=1154%:%

  2713 %:%1095=1150%:%

  2752 %:%1114=1155%:%

  2714 %:%1096=1151%:%

  2753 %:%1115=1156%:%

  2715 %:%1097=1152%:%

  2754 %:%1116=1157%:%

  2716 %:%1098=1153%:%

  2755 %:%1117=1158%:%

  2717 %:%1099=1154%:%

  2756 %:%1118=1159%:%

  2718 %:%1100=1155%:%

  2757 %:%1119=1160%:%

  2719 %:%1101=1156%:%

  2758 %:%1120=1161%:%

  2720 %:%1102=1157%:%

  2759 %:%1121=1162%:%

  2721 %:%1103=1158%:%

  2760 %:%1122=1163%:%

  2722 %:%1104=1159%:%

  2761 %:%1123=1164%:%

  2723 %:%1105=1160%:%

  2762 %:%1124=1165%:%

  2724 %:%1106=1161%:%

  2763 %:%1125=1166%:%

  2725 %:%1107=1162%:%

  2764 %:%1126=1167%:%

  2726 %:%1108=1163%:%

  2765 %:%1127=1168%:%

  2727 %:%1109=1164%:%

  2766 %:%1128=1169%:%

  2728 %:%1110=1165%:%

  2767 %:%1129=1170%:%

  2729 %:%1111=1166%:%

  2768 %:%1130=1171%:%

  2730 %:%1112=1167%:%

  2769 %:%1131=1172%:%

  2731 %:%1113=1168%:%

  2770 %:%1132=1173%:%

  2732 %:%1114=1169%:%

  2771 %:%1133=1174%:%

  2733 %:%1115=1170%:%

  2772 %:%1134=1175%:%

  2734 %:%1116=1171%:%

  2773 %:%1135=1176%:%

  2735 %:%1117=1172%:%

  2774 %:%1136=1177%:%

  2736 %:%1118=1173%:%

  2775 %:%1137=1178%:%

  2737 %:%1119=1174%:%

  2776 %:%1138=1179%:%

  2738 %:%1120=1175%:%

  2777 %:%1139=1180%:%

  2739 %:%1121=1176%:%

  2778 %:%1140=1181%:%

  2740 %:%1122=1177%:%

  2779 %:%1141=1182%:%

  2741 %:%1123=1178%:%

  2780 %:%1142=1183%:%

  2742 %:%1124=1179%:%

  2781 %:%1143=1184%:%

  2743 %:%1125=1180%:%

  2782 %:%1144=1185%:%

  2744 %:%1126=1181%:%

  2783 %:%1145=1186%:%

  2745 %:%1127=1182%:%

  2784 %:%1146=1187%:%

  2746 %:%1128=1183%:%

  2785 %:%1147=1188%:%

  2747 %:%1129=1184%:%

  2786 %:%1148=1189%:%

  2748 %:%1130=1185%:%

  2787 %:%1149=1190%:%

  2749 %:%1131=1186%:%

  2788 %:%1150=1191%:%

  2750 %:%1132=1187%:%

  2789 %:%1151=1192%:%

  2751 %:%1133=1188%:%

  2790 %:%1152=1193%:%

  2752 %:%1134=1189%:%

  2791 %:%1153=1194%:%

  2753 %:%1135=1190%:%

  2792 %:%1154=1195%:%

  2754 %:%1136=1191%:%

  2793 %:%1155=1196%:%

  2755 %:%1137=1192%:%

  2794 %:%1156=1197%:%

  2756 %:%1138=1193%:%

  2795 %:%1157=1198%:%

  2757 %:%1139=1194%:%

  2796 %:%1158=1199%:%

  2758 %:%1140=1195%:%

  2797 %:%1159=1200%:%

  2759 %:%1141=1196%:%

  2798 %:%1160=1201%:%

  2760 %:%1142=1197%:%

  2799 %:%1161=1202%:%

  2761 %:%1143=1198%:%

  2800 %:%1162=1203%:%

  2762 %:%1144=1199%:%

  2801 %:%1163=1204%:%

  2763 %:%1145=1200%:%

  2802 %:%1164=1205%:%

  2764 %:%1146=1201%:%

  2803 %:%1165=1206%:%

  2765 %:%1147=1202%:%

  2804 %:%1166=1207%:%

  2766 %:%1148=1203%:%

  2805 %:%1167=1208%:%

  2767 %:%1149=1204%:%

  2806 %:%1168=1209%:%

  2768 %:%1150=1205%:%

  2807 %:%1169=1210%:%

  2769 %:%1151=1206%:%

  2808 %:%1170=1211%:%

  2770 %:%1152=1207%:%

  2809 %:%1171=1212%:%

  2771 %:%1153=1208%:%

  2810 %:%1172=1213%:%

  2772 %:%1154=1209%:%

  2811 %:%1173=1214%:%

  2773 %:%1155=1210%:%

  2812 %:%1174=1215%:%

  2774 %:%1156=1211%:%

  2813 %:%1175=1216%:%

  2775 %:%1157=1212%:%

  2814 %:%1176=1217%:%

  2776 %:%1158=1213%:%

  2815 %:%1177=1218%:%

  2777 %:%1159=1214%:%

  2816 %:%1178=1219%:%

  2778 %:%1160=1215%:%

  2817 %:%1179=1220%:%

  2779 %:%1161=1216%:%

  2818 %:%1180=1221%:%

  2780 %:%1162=1217%:%

  2819 %:%1181=1222%:%

  2781 %:%1163=1218%:%

  2820 %:%1182=1223%:%

  2782 %:%1164=1219%:%

  2821 %:%1183=1224%:%

  2783 %:%1165=1220%:%

  2822 %:%1184=1225%:%

  2784 %:%1166=1221%:%

  2823 %:%1185=1226%:%

  2785 %:%1167=1222%:%

  2824 %:%1186=1227%:%

  2786 %:%1168=1223%:%

  2825 %:%1187=1228%:%

  2787 %:%1169=1224%:%

  2826 %:%1188=1229%:%

  2788 %:%1170=1225%:%

  2827 %:%1189=1230%:%

  2789 %:%1171=1226%:%

  2828 %:%1190=1231%:%

  2790 %:%1172=1227%:%

  2829 %:%1191=1232%:%

  2791 %:%1173=1228%:%

  2830 %:%1192=1233%:%

  2792 %:%1174=1229%:%

  2831 %:%1193=1234%:%

  2793 %:%1175=1230%:%

  2832 %:%1194=1235%:%

  2794 %:%1176=1231%:%

  2833 %:%1195=1236%:%

  2795 %:%1177=1232%:%

  2834 %:%1196=1237%:%

  2796 %:%1178=1233%:%

  2835 %:%1197=1238%:%

  2797 %:%1179=1234%:%

  2836 %:%1198=1239%:%

  2798 %:%1180=1235%:%

  2837 %:%1199=1240%:%

  2799 %:%1181=1236%:%

  2838 %:%1200=1241%:%

  2800 %:%1182=1237%:%

  2839 %:%1201=1242%:%

  2801 %:%1183=1238%:%

  2840 %:%1202=1243%:%

  2802 %:%1184=1239%:%

  2841 %:%1203=1244%:%

  2803 %:%1184=1240%:%

  2842 %:%1204=1245%:%

  2804 %:%1185=1241%:%

  2843 %:%1205=1246%:%

  2805 %:%1186=1242%:%

  2844 %:%1206=1247%:%

  2806 %:%1187=1243%:%

  2845 %:%1207=1248%:%

  2807 %:%1188=1244%:%

  2846 %:%1208=1249%:%

  2808 %:%1189=1245%:%

  2847 %:%1209=1250%:%

  2809 %:%1190=1246%:%

  2848 %:%1210=1251%:%

  2810 %:%1191=1247%:%

  2849 %:%1211=1252%:%

  2811 %:%1192=1248%:%

  2850 %:%1212=1253%:%

  2812 %:%1193=1249%:%

  2851 %:%1213=1254%:%

  2813 %:%1194=1250%:%

  2852 %:%1214=1255%:%

  2814 %:%1195=1251%:%

  2853 %:%1215=1256%:%

  2815 %:%1195=1252%:%

  2854 %:%1216=1257%:%

  2816 %:%1196=1253%:%

  2855 %:%1217=1258%:%

  2817 %:%1197=1254%:%

  2856 %:%1218=1259%:%

  2818 %:%1198=1255%:%

  2857 %:%1219=1260%:%

  2819 %:%1199=1256%:%

  2858 %:%1220=1261%:%

  2820 %:%1200=1257%:%

  2859 %:%1221=1262%:%

  2821 %:%1201=1258%:%

  2860 %:%1221=1263%:%

  2822 %:%1202=1259%:%

  2861 %:%1222=1264%:%

  2823 %:%1203=1260%:%

  2862 %:%1223=1265%:%

  2824 %:%1204=1261%:%

  2863 %:%1224=1266%:%

  2825 %:%1205=1262%:%

  2864 %:%1225=1267%:%

  2826 %:%1206=1263%:%

  2865 %:%1226=1268%:%

  2827 %:%1207=1264%:%

  2866 %:%1227=1269%:%

  2828 %:%1208=1265%:%

  2867 %:%1228=1270%:%

  2829 %:%1209=1266%:%

  2868 %:%1229=1271%:%

  2830 %:%1210=1267%:%

  2869 %:%1230=1272%:%

  2831 %:%1211=1268%:%

  2870 %:%1231=1273%:%

  2832 %:%1212=1269%:%

  2871 %:%1232=1274%:%

  2833 %:%1213=1270%:%

  2872 %:%1232=1275%:%

  2834 %:%1214=1271%:%

  2873 %:%1233=1276%:%

  2835 %:%1215=1272%:%

  2874 %:%1234=1277%:%

  2836 %:%1216=1273%:%

  2875 %:%1235=1278%:%

  2837 %:%1217=1274%:%

  2876 %:%1236=1279%:%

  2838 %:%1218=1275%:%

  2877 %:%1237=1280%:%

  2839 %:%1219=1276%:%

  2878 %:%1238=1281%:%

  2840 %:%1220=1277%:%

  2879 %:%1239=1282%:%

  2841 %:%1221=1278%:%

  2880 %:%1240=1283%:%

  2842 %:%1222=1279%:%

  2881 %:%1241=1284%:%

  2843 %:%1223=1280%:%

  2882 %:%1242=1285%:%

  2844 %:%1224=1281%:%

  2883 %:%1243=1286%:%

  2845 %:%1225=1282%:%

  2884 %:%1244=1287%:%

  2846 %:%1226=1283%:%

  2885 %:%1245=1288%:%

  2847 %:%1227=1284%:%

  2886 %:%1246=1289%:%

  2848 %:%1228=1285%:%

  2887 %:%1247=1290%:%

  2849 %:%1229=1286%:%

  2888 %:%1248=1291%:%

  2850 %:%1230=1287%:%

  2889 %:%1249=1292%:%

  2851 %:%1231=1288%:%

  2890 %:%1250=1293%:%

  2852 %:%1232=1289%:%

  2891 %:%1251=1294%:%

  2853 %:%1233=1290%:%

  2892 %:%1252=1295%:%

  2854 %:%1234=1291%:%

  2893 %:%1253=1296%:%

  2855 %:%1235=1292%:%

  2894 %:%1254=1297%:%

  2856 %:%1236=1293%:%

  2895 %:%1255=1298%:%

  2857 %:%1237=1294%:%

  2896 %:%1256=1299%:%

  2858 %:%1238=1295%:%

  2897 %:%1257=1300%:%

  2859 %:%1239=1296%:%

  2898 %:%1258=1301%:%

  2860 %:%1240=1297%:%

  2899 %:%1259=1302%:%

  2861 %:%1241=1298%:%

  2900 %:%1260=1303%:%

  2862 %:%1242=1299%:%

  2901 %:%1261=1304%:%

  2863 %:%1243=1300%:%

  2902 %:%1262=1305%:%

  2864 %:%1244=1301%:%

  2903 %:%1263=1306%:%

  2865 %:%1245=1302%:%

  2904 %:%1264=1307%:%

  2866 %:%1246=1303%:%

  2905 %:%1265=1308%:%

  2867 %:%1247=1304%:%

  2906 %:%1266=1309%:%

  2868 %:%1248=1305%:%

  2907 %:%1267=1310%:%

  2869 %:%1249=1306%:%

  2908 %:%1268=1311%:%

  2870 %:%1249=1307%:%

  2909 %:%1269=1312%:%

  2871 %:%1249=1308%:%

  2910 %:%1270=1313%:%

  2872 %:%1250=1309%:%

  2911 %:%1271=1314%:%

  2873 %:%1251=1310%:%

  2912 %:%1272=1315%:%

  2874 %:%1251=1311%:%

  2913 %:%1273=1316%:%

  2875 %:%1251=1312%:%

  2914 %:%1274=1317%:%

  2876 %:%1251=1313%:%

  2915 %:%1275=1318%:%

  2877 %:%1252=1314%:%

  2916 %:%1276=1319%:%

  2878 %:%1253=1315%:%

  2917 %:%1277=1320%:%

  2879 %:%1254=1316%:%

  2918 %:%1278=1321%:%

  2880 %:%1255=1317%:%

  2919 %:%1279=1322%:%

  2881 %:%1256=1318%:%

  2920 %:%1280=1323%:%

  2882 %:%1256=1319%:%

  2921 %:%1281=1324%:%

  2883 %:%1257=1320%:%

  2922 %:%1282=1325%:%

  2884 %:%1258=1321%:%

  2923 %:%1283=1326%:%

  2885 %:%1259=1322%:%

  2924 %:%1284=1327%:%

  2886 %:%1260=1323%:%

  2925 %:%1285=1328%:%

  2887 %:%1261=1324%:%

  2926 %:%1286=1329%:%

  2888 %:%1262=1325%:%

  2927 %:%1286=1330%:%

  2889 %:%1263=1326%:%

  2928 %:%1286=1331%:%

  2890 %:%1264=1327%:%

  2929 %:%1287=1332%:%

  2891 %:%1265=1328%:%

  2930 %:%1288=1333%:%

  2892 %:%1266=1329%:%

  2931 %:%1288=1334%:%

  2893 %:%1267=1330%:%

  2932 %:%1288=1335%:%

  2894 %:%1268=1331%:%

  2933 %:%1288=1336%:%

  2895 %:%1269=1332%:%

  2934 %:%1289=1337%:%

  2896 %:%1270=1333%:%

  2935 %:%1290=1338%:%

  2897 %:%1271=1334%:%

  2936 %:%1291=1339%:%

  2898 %:%1272=1335%:%

  2937 %:%1292=1340%:%

  2899 %:%1273=1336%:%

  2938 %:%1293=1341%:%

  2900 %:%1274=1337%:%

  2939 %:%1293=1342%:%

  2901 %:%1275=1338%:%

  2940 %:%1294=1343%:%

  2902 %:%1276=1339%:%

  2941 %:%1295=1344%:%

  2903 %:%1277=1340%:%

  2942 %:%1296=1345%:%

  2904 %:%1278=1341%:%

  2943 %:%1297=1346%:%

  2905 %:%1279=1342%:%

  2944 %:%1298=1347%:%

  2906 %:%1280=1343%:%

  2945 %:%1299=1348%:%

  2907 %:%1281=1344%:%

  2946 %:%1300=1349%:%

  2908 %:%1282=1345%:%

  2947 %:%1301=1350%:%

  2909 %:%1283=1346%:%

  2948 %:%1302=1351%:%

  2910 %:%1284=1347%:%

  2949 %:%1303=1352%:%

  2911 %:%1285=1348%:%

  2950 %:%1304=1353%:%

  2912 %:%1286=1349%:%

  2951 %:%1305=1354%:%

  2913 %:%1287=1350%:%

  2952 %:%1306=1355%:%

  2914 %:%1288=1351%:%

  2953 %:%1307=1356%:%

  2915 %:%1289=1352%:%

  2954 %:%1308=1357%:%

  2916 %:%1290=1353%:%

  2955 %:%1309=1358%:%

  2917 %:%1291=1354%:%

  2956 %:%1310=1359%:%

  2918 %:%1292=1355%:%

  2957 %:%1311=1360%:%

  2919 %:%1293=1356%:%

  2958 %:%1312=1361%:%

  2920 %:%1294=1357%:%

  2959 %:%1313=1362%:%

  2921 %:%1295=1358%:%

  2960 %:%1314=1363%:%

  2922 %:%1296=1359%:%

  2961 %:%1315=1364%:%

  2923 %:%1297=1360%:%

  2962 %:%1316=1365%:%

  2924 %:%1298=1361%:%

  2963 %:%1317=1366%:%

  2925 %:%1299=1362%:%

  2964 %:%1318=1367%:%

  2926 %:%1300=1363%:%

  2965 %:%1319=1368%:%

  2927 %:%1301=1364%:%

  2966 %:%1320=1369%:%

  2928 %:%1302=1365%:%

  2967 %:%1321=1370%:%