144   \isa{\mbox{}\inferrule{\mbox{}}{\mbox{AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ AZERO\mbox{$\,$}{\isacharcolon}{\kern0pt}{\isacharcolon}{\kern0pt}\mbox{$\,$}rs\isactrlsub b{\isacharparenright}{\kern0pt}\ {\isasymleadsto}\ AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ rs\isactrlsub b{\isacharparenright}{\kern0pt}}}}\\

   144   \isa{\mbox{}\inferrule{\mbox{}}{\mbox{AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ {\isacharbrackleft}{\kern0pt}AZERO{\isacharbrackright}{\kern0pt}\ {\isacharat}{\kern0pt}\ rs\isactrlsub b{\isacharparenright}{\kern0pt}\ {\isasymleadsto}\ AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ rs\isactrlsub b{\isacharparenright}{\kern0pt}}}}\\

   145   \isa{\mbox{}\inferrule{\mbox{}}{\mbox{AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ AALTs\ bs\isactrlsub {\isadigit{1}}\ rs\isactrlsub {\isadigit{1}}\mbox{$\,$}{\isacharcolon}{\kern0pt}{\isacharcolon}{\kern0pt}\mbox{$\,$}rs\isactrlsub b{\isacharparenright}{\kern0pt}\ {\isasymleadsto}\ AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ map\ {\isacharparenleft}{\kern0pt}fuse\ bs\isactrlsub {\isadigit{1}}{\isacharparenright}{\kern0pt}\ rs\isactrlsub {\isadigit{1}}\ {\isacharat}{\kern0pt}\ rs\isactrlsub b{\isacharparenright}{\kern0pt}}}}\\

   145   \isa{\mbox{}\inferrule{\mbox{}}{\mbox{AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ {\isacharbrackleft}{\kern0pt}AALTs\ bs\isactrlsub {\isadigit{1}}\ rs\isactrlsub {\isadigit{1}}{\isacharbrackright}{\kern0pt}\ {\isacharat}{\kern0pt}\ rs\isactrlsub b{\isacharparenright}{\kern0pt}\ {\isasymleadsto}\ AALTs\ bs\ {\isacharparenleft}{\kern0pt}rs\isactrlsub a\ {\isacharat}{\kern0pt}\ map\ {\isacharparenleft}{\kern0pt}fuse\ bs\isactrlsub {\isadigit{1}}{\isacharparenright}{\kern0pt}\ rs\isactrlsub {\isadigit{1}}\ {\isacharat}{\kern0pt}\ rs\isactrlsub b{\isacharparenright}{\kern0pt}}}}\\

   228 

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

   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%

  1914 %:%229=290%:%

  1911 %:%237=297%:%

  1915 %:%230=291%:%

  1912 %:%249=303%:%

  1916 %:%231=292%:%

  1913 %:%250=304%:%

  1917 %:%240=296%:%

  1914 %:%251=305%:%

  1918 %:%252=302%:%

  1915 %:%252=306%:%

  1919 %:%253=303%:%

  1916 %:%252=307%:%

  1920 %:%254=304%:%

  1917 %:%253=308%:%

  1921 %:%255=305%:%

  1918 %:%254=309%:%

  1922 %:%255=306%:%

  1919 %:%255=310%:%

  1923 %:%256=307%:%

  1920 %:%256=311%:%

  1924 %:%257=308%:%

  1921 %:%257=312%:%

  1925 %:%258=309%:%

  1922 %:%258=313%:%

  1926 %:%259=310%:%

  1923 %:%259=314%:%

  1927 %:%260=311%:%

  1924 %:%260=315%:%

  1928 %:%261=312%:%

  1925 %:%261=316%:%

  1929 %:%262=313%:%

  1926 %:%262=317%:%

  1930 %:%263=314%:%

  1927 %:%263=318%:%

  1931 %:%264=315%:%

  1928 %:%264=319%:%

  1932 %:%265=316%:%

  1929 %:%265=320%:%

  1933 %:%266=317%:%

  1930 %:%266=321%:%

  1934 %:%267=318%:%

  1931 %:%267=322%:%

  1935 %:%268=319%:%

  1932 %:%268=323%:%

  1936 %:%269=320%:%

  1933 %:%269=324%:%

  1937 %:%270=321%:%

  1934 %:%270=325%:%

  1938 %:%271=322%:%

  1935 %:%271=326%:%

  1939 %:%272=323%:%

  1936 %:%272=327%:%

  1940 %:%273=324%:%

  1937 %:%273=328%:%

  1941 %:%274=325%:%

  1938 %:%274=329%:%

  1942 %:%275=326%:%

  1939 %:%275=330%:%

  1943 %:%276=327%:%

  1940 %:%276=331%:%

  1944 %:%277=328%:%

  1941 %:%277=332%:%

  1945 %:%278=329%:%

  1942 %:%278=333%:%

  1946 %:%279=330%:%

  1943 %:%279=334%:%

  1947 %:%280=331%:%

  1944 %:%280=335%:%

  1948 %:%281=332%:%

  1945 %:%281=336%:%

  1949 %:%282=333%:%

  1946 %:%282=337%:%

  1950 %:%283=334%:%

  1947 %:%283=338%:%

  1951 %:%284=335%:%

  1948 %:%284=339%:%

  1952 %:%285=336%:%

  1949 %:%285=340%:%

  1953 %:%286=337%:%

  1950 %:%286=341%:%

  1954 %:%287=338%:%

  1951 %:%287=342%:%

  1955 %:%288=339%:%

  1952 %:%288=343%:%

  1956 %:%289=340%:%

  1953 %:%289=344%:%

  1957 %:%290=341%:%

  1954 %:%290=345%:%

  1958 %:%291=342%:%

  1955 %:%291=346%:%

  1959 %:%292=343%:%

  1956 %:%292=347%:%

  1960 %:%293=344%:%

  1957 %:%293=348%:%

  1961 %:%294=345%:%

  1958 %:%294=349%:%

  1962 %:%295=346%:%

  1959 %:%295=350%:%

  1963 %:%296=347%:%

  1960 %:%296=351%:%

  1964 %:%297=348%:%

  1961 %:%297=352%:%

  1965 %:%298=349%:%

  1962 %:%298=353%:%

  1966 %:%299=350%:%

  1963 %:%299=354%:%

  1967 %:%300=351%:%

  1964 %:%300=355%:%

  1968 %:%301=352%:%

  1965 %:%301=356%:%

  1969 %:%302=353%:%

  1966 %:%302=357%:%

  1970 %:%303=354%:%

  1967 %:%303=358%:%

  1971 %:%304=355%:%

  1968 %:%304=359%:%

  1972 %:%305=356%:%

  1969 %:%305=360%:%

  1973 %:%306=357%:%

  1970 %:%306=361%:%

  1974 %:%307=358%:%

  1971 %:%307=362%:%

  1975 %:%308=359%:%

  1972 %:%308=363%:%

  1976 %:%309=360%:%

  1973 %:%309=364%:%

  1977 %:%310=361%:%

  1974 %:%310=365%:%

  1978 %:%311=362%:%

  1975 %:%311=366%:%

  1979 %:%312=363%:%

  1976 %:%312=367%:%

  1980 %:%313=364%:%

  1977 %:%313=368%:%

  1981 %:%314=365%:%

  1978 %:%314=369%:%

  1982 %:%315=366%:%

  1979 %:%315=370%:%

  1983 %:%316=367%:%

  1980 %:%316=371%:%

  1984 %:%317=368%:%

  1981 %:%316=372%:%

  1985 %:%318=369%:%

  1982 %:%317=373%:%

  1986 %:%319=370%:%

  1983 %:%318=374%:%

  1987 %:%319=371%:%

  1984 %:%319=375%:%

  1988 %:%320=372%:%

  1985 %:%320=376%:%

  1989 %:%321=373%:%

  1986 %:%321=377%:%

  1990 %:%322=374%:%

  1987 %:%322=378%:%

  1991 %:%323=375%:%

  1988 %:%323=379%:%

  1992 %:%324=376%:%

  1989 %:%324=380%:%

  1993 %:%325=377%:%

  1990 %:%325=381%:%

  1994 %:%326=378%:%

  1991 %:%326=382%:%

  1995 %:%327=379%:%

  1992 %:%327=383%:%

  1996 %:%328=380%:%

  1993 %:%328=384%:%

  1997 %:%329=381%:%

  1994 %:%329=385%:%

  1998 %:%330=382%:%

  1995 %:%330=386%:%

  1999 %:%331=383%:%

  1996 %:%331=387%:%

  2000 %:%332=384%:%

  1997 %:%332=388%:%

  2001 %:%333=385%:%

  1998 %:%333=389%:%

  2002 %:%334=386%:%

  1999 %:%334=390%:%

  2003 %:%335=387%:%

  2000 %:%335=391%:%

  2004 %:%336=388%:%

  2001 %:%336=392%:%

  2005 %:%337=389%:%

  2002 %:%337=393%:%

  2006 %:%338=390%:%

  2003 %:%338=394%:%

  2007 %:%339=391%:%

  2004 %:%339=395%:%

  2008 %:%340=392%:%

  2005 %:%340=396%:%

  2009 %:%341=393%:%

  2006 %:%341=397%:%

  2010 %:%342=394%:%

  2007 %:%342=398%:%

  2011 %:%343=395%:%

  2008 %:%343=399%:%

  2012 %:%344=396%:%

  2009 %:%344=400%:%

  2013 %:%345=397%:%

  2010 %:%345=401%:%

  2014 %:%346=398%:%

  2011 %:%346=402%:%

  2015 %:%347=399%:%

  2012 %:%347=403%:%

  2016 %:%348=400%:%

  2013 %:%348=404%:%

  2017 %:%349=401%:%

  2014 %:%349=405%:%

  2018 %:%350=402%:%

  2015 %:%350=406%:%

  2019 %:%351=403%:%

  2016 %:%351=407%:%

  2020 %:%352=404%:%

  2017 %:%352=408%:%

  2021 %:%353=405%:%

  2018 %:%353=409%:%

  2022 %:%354=406%:%

  2019 %:%354=410%:%

  2023 %:%355=407%:%

  2020 %:%355=411%:%

  2024 %:%356=408%:%

  2021 %:%356=412%:%

  2025 %:%357=409%:%

  2022 %:%357=413%:%

  2026 %:%358=410%:%

  2023 %:%358=414%:%

  2027 %:%359=411%:%

  2024 %:%359=415%:%

  2028 %:%360=412%:%

  2025 %:%360=416%:%

  2029 %:%361=413%:%

  2026 %:%361=417%:%

  2030 %:%362=414%:%

  2027 %:%362=418%:%

  2031 %:%363=415%:%

  2028 %:%363=419%:%

  2032 %:%364=416%:%

  2029 %:%364=420%:%

  2033 %:%365=417%:%

  2030 %:%365=421%:%

  2034 %:%366=418%:%

  2031 %:%366=422%:%

  2035 %:%367=419%:%

  2032 %:%367=423%:%

  2036 %:%368=420%:%

  2033 %:%368=424%:%

  2037 %:%369=421%:%

  2034 %:%369=425%:%

  2038 %:%370=422%:%

  2035 %:%370=426%:%

  2039 %:%371=423%:%

  2036 %:%371=427%:%

  2040 %:%372=424%:%

  2037 %:%372=428%:%

  2041 %:%373=425%:%

  2038 %:%373=429%:%

  2042 %:%374=426%:%

  2039 %:%374=430%:%

  2043 %:%375=427%:%

  2040 %:%375=431%:%

  2044 %:%376=428%:%

  2041 %:%376=432%:%

  2045 %:%377=429%:%

  2042 %:%377=433%:%

  2046 %:%378=430%:%

  2043 %:%378=434%:%

  2047 %:%379=431%:%

  2044 %:%379=435%:%

  2048 %:%380=432%:%

  2045 %:%380=436%:%

  2049 %:%381=433%:%

  2046 %:%381=437%:%

  2050 %:%382=434%:%

  2047 %:%382=438%:%

  2051 %:%383=435%:%

  2048 %:%383=439%:%

  2052 %:%384=436%:%

  2049 %:%384=440%:%

  2053 %:%385=437%:%

  2050 %:%385=441%:%

  2054 %:%386=438%:%

  2051 %:%386=442%:%

  2055 %:%387=439%:%

  2052 %:%387=443%:%

  2056 %:%388=440%:%

  2053 %:%388=444%:%

  2057 %:%389=441%:%

  2054 %:%389=445%:%

  2058 %:%390=442%:%

  2055 %:%390=446%:%

  2059 %:%391=443%:%

  2056 %:%391=447%:%

  2060 %:%392=444%:%

  2057 %:%392=448%:%

  2061 %:%393=445%:%

  2058 %:%393=449%:%

  2062 %:%394=446%:%

  2059 %:%394=450%:%

  2063 %:%395=447%:%

  2060 %:%395=451%:%

  2064 %:%396=448%:%

  2061 %:%396=452%:%

  2065 %:%397=449%:%

  2062 %:%397=453%:%

  2066 %:%398=450%:%

  2063 %:%398=454%:%

  2067 %:%399=451%:%

  2064 %:%399=455%:%

  2068 %:%400=452%:%

  2065 %:%400=456%:%

  2069 %:%401=453%:%

  2066 %:%401=457%:%

  2070 %:%402=454%:%

  2067 %:%402=458%:%

  2071 %:%403=455%:%

  2068 %:%403=459%:%

  2072 %:%404=456%:%

  2069 %:%404=460%:%

  2073 %:%405=457%:%

  2070 %:%405=461%:%

  2074 %:%406=458%:%

  2071 %:%406=462%:%

  2075 %:%407=459%:%

  2072 %:%407=463%:%

  2076 %:%408=460%:%

  2073 %:%408=464%:%

  2077 %:%409=461%:%

  2074 %:%409=465%:%

  2078 %:%410=462%:%

  2075 %:%410=466%:%

  2079 %:%411=463%:%

  2076 %:%411=467%:%

  2080 %:%412=464%:%

  2077 %:%412=468%:%

  2081 %:%413=465%:%

  2078 %:%413=469%:%

  2082 %:%414=466%:%

  2079 %:%414=470%:%

  2083 %:%415=467%:%

  2080 %:%415=471%:%

  2084 %:%416=468%:%

  2081 %:%416=472%:%

  2085 %:%417=469%:%

  2082 %:%417=473%:%

  2086 %:%418=470%:%

  2083 %:%418=474%:%

  2087 %:%419=471%:%

  2084 %:%419=475%:%

  2088 %:%420=472%:%

  2085 %:%420=476%:%

  2089 %:%421=473%:%

  2086 %:%421=477%:%

  2090 %:%422=474%:%

  2087 %:%430=484%:%

  2091 %:%423=475%:%

  2088 %:%442=486%:%

  2092 %:%424=476%:%

  2089 %:%443=487%:%

  2093 %:%433=483%:%

  2090 %:%443=488%:%

  2094 %:%445=485%:%

  2091 %:%444=489%:%

  2095 %:%446=486%:%

  2092 %:%445=490%:%

  2096 %:%446=487%:%

  2093 %:%446=491%:%

  2097 %:%447=488%:%

  2094 %:%447=492%:%

  2098 %:%448=489%:%

  2095 %:%448=493%:%

  2099 %:%449=490%:%

  2096 %:%449=494%:%

  2100 %:%450=491%:%

  2097 %:%450=495%:%

  2101 %:%451=492%:%

  2098 %:%451=496%:%

  2102 %:%452=493%:%

  2099 %:%452=497%:%

  2103 %:%453=494%:%

  2100 %:%453=498%:%

  2104 %:%454=495%:%

  2101 %:%454=499%:%

  2105 %:%455=496%:%

  2102 %:%455=500%:%

  2106 %:%456=497%:%

  2103 %:%456=501%:%

  2107 %:%457=498%:%

  2104 %:%457=502%:%

  2108 %:%458=499%:%

  2105 %:%458=503%:%

  2109 %:%459=500%:%

  2106 %:%459=504%:%

  2110 %:%460=501%:%

  2107 %:%460=505%:%

  2111 %:%461=502%:%

  2108 %:%461=506%:%

  2112 %:%462=503%:%

  2109 %:%462=507%:%

  2113 %:%463=504%:%

  2110 %:%463=508%:%

  2114 %:%464=505%:%

  2111 %:%464=509%:%

  2115 %:%465=506%:%

  2112 %:%465=510%:%

  2116 %:%466=507%:%

  2113 %:%466=511%:%

  2117 %:%467=508%:%

  2114 %:%467=512%:%

  2118 %:%468=509%:%

  2115 %:%468=513%:%

  2119 %:%469=510%:%

  2116 %:%469=514%:%

  2120 %:%470=511%:%

  2117 %:%470=515%:%

  2121 %:%471=512%:%

  2118 %:%471=516%:%

  2122 %:%472=513%:%

  2119 %:%472=517%:%

  2123 %:%473=514%:%

  2120 %:%473=518%:%

  2124 %:%474=515%:%

  2121 %:%474=519%:%

  2125 %:%475=516%:%

  2122 %:%475=520%:%

  2126 %:%476=517%:%

  2123 %:%476=521%:%

  2127 %:%477=518%:%

  2124 %:%477=522%:%

  2128 %:%478=519%:%

  2125 %:%478=523%:%

  2129 %:%479=520%:%

  2126 %:%479=524%:%

  2130 %:%480=521%:%

  2127 %:%480=525%:%

  2131 %:%481=522%:%

  2128 %:%481=526%:%

  2132 %:%482=523%:%

  2129 %:%482=527%:%

  2133 %:%483=524%:%

  2130 %:%482=528%:%

  2134 %:%484=525%:%

  2131 %:%483=529%:%

  2135 %:%485=526%:%

  2132 %:%484=530%:%

  2136 %:%485=527%:%

  2133 %:%485=531%:%

  2137 %:%486=528%:%

  2134 %:%486=532%:%

  2138 %:%487=529%:%

  2135 %:%487=533%:%

  2139 %:%488=530%:%

  2136 %:%487=534%:%

  2140 %:%489=531%:%

  2137 %:%488=535%:%

  2141 %:%490=532%:%

  2138 %:%489=536%:%

  2142 %:%490=533%:%

  2139 %:%490=537%:%

  2143 %:%491=534%:%

  2140 %:%491=538%:%

  2144 %:%492=535%:%

  2141 %:%492=539%:%

  2145 %:%493=536%:%

  2142 %:%493=540%:%

  2146 %:%494=537%:%

  2143 %:%494=541%:%

  2147 %:%495=538%:%

  2144 %:%495=542%:%

  2148 %:%496=539%:%

  2145 %:%496=543%:%

  2149 %:%497=540%:%

  2146 %:%497=544%:%

  2150 %:%498=541%:%

  2147 %:%498=545%:%

  2151 %:%499=542%:%

  2148 %:%499=546%:%

  2152 %:%500=543%:%

  2149 %:%500=547%:%

  2153 %:%501=544%:%

  2150 %:%501=548%:%

  2154 %:%502=545%:%

  2151 %:%502=549%:%

  2155 %:%503=546%:%

  2152 %:%503=550%:%

  2156 %:%504=547%:%

  2153 %:%504=551%:%

  2157 %:%505=548%:%

  2154 %:%505=552%:%

  2158 %:%506=549%:%

  2155 %:%506=553%:%

  2159 %:%507=550%:%

  2156 %:%507=554%:%

  2160 %:%508=551%:%

  2157 %:%508=555%:%

  2161 %:%509=552%:%

  2158 %:%509=556%:%

  2162 %:%510=553%:%

  2159 %:%510=557%:%

  2163 %:%511=554%:%

  2160 %:%511=558%:%

  2164 %:%512=555%:%

  2161 %:%512=559%:%

  2165 %:%513=556%:%

  2162 %:%513=560%:%

  2166 %:%514=557%:%

  2163 %:%514=561%:%

  2167 %:%515=558%:%

  2164 %:%515=562%:%

  2168 %:%516=559%:%

  2165 %:%516=563%:%

  2169 %:%517=560%:%

  2166 %:%517=564%:%

  2170 %:%518=561%:%

  2167 %:%518=565%:%

  2171 %:%519=562%:%

  2168 %:%519=566%:%

  2172 %:%520=563%:%

  2169 %:%520=567%:%

  2173 %:%521=564%:%

  2170 %:%521=568%:%

  2174 %:%522=565%:%

  2171 %:%522=569%:%

  2175 %:%523=566%:%

  2172 %:%523=570%:%

  2176 %:%524=567%:%

  2173 %:%524=571%:%

  2177 %:%525=568%:%

  2174 %:%525=572%:%

  2178 %:%526=569%:%

  2175 %:%526=573%:%

  2179 %:%527=570%:%

  2176 %:%527=574%:%

  2180 %:%528=571%:%

  2177 %:%528=575%:%

  2181 %:%529=572%:%

  2178 %:%529=576%:%

  2182 %:%530=573%:%

  2179 %:%530=577%:%

  2183 %:%531=574%:%

  2180 %:%531=578%:%

  2184 %:%532=575%:%

  2181 %:%532=579%:%

  2185 %:%533=576%:%

  2182 %:%533=580%:%

  2186 %:%534=577%:%

  2183 %:%534=581%:%

  2187 %:%535=578%:%

  2184 %:%535=582%:%

  2188 %:%536=579%:%

  2185 %:%536=583%:%

  2189 %:%537=580%:%

  2186 %:%537=584%:%

  2190 %:%538=581%:%

  2187 %:%538=585%:%

  2191 %:%539=582%:%

  2188 %:%539=586%:%

  2192 %:%540=583%:%

  2189 %:%540=587%:%

  2193 %:%541=584%:%

  2190 %:%541=588%:%

  2194 %:%542=585%:%

  2191 %:%542=589%:%

  2195 %:%543=586%:%

  2192 %:%543=590%:%

  2196 %:%544=587%:%

  2193 %:%544=591%:%

  2197 %:%545=588%:%

  2194 %:%545=592%:%

  2198 %:%546=589%:%

  2195 %:%546=593%:%

  2199 %:%547=590%:%

  2196 %:%547=594%:%

  2200 %:%548=591%:%

  2197 %:%548=595%:%

  2201 %:%549=592%:%

  2198 %:%549=596%:%

  2202 %:%550=593%:%

  2199 %:%550=597%:%

  2203 %:%551=594%:%

  2200 %:%551=598%:%

  2204 %:%552=595%:%

  2201 %:%552=599%:%

  2205 %:%553=596%:%

  2202 %:%553=600%:%

  2206 %:%554=597%:%

  2203 %:%554=601%:%

  2207 %:%555=598%:%

  2204 %:%555=602%:%

  2208 %:%556=599%:%

  2205 %:%556=603%:%

  2209 %:%557=600%:%

  2206 %:%557=604%:%

  2210 %:%558=601%:%

  2207 %:%558=605%:%

  2211 %:%559=602%:%

  2208 %:%559=606%:%

  2212 %:%560=603%:%

  2209 %:%560=607%:%

  2213 %:%561=604%:%

  2210 %:%561=608%:%

  2214 %:%562=605%:%

  2211 %:%562=609%:%

  2215 %:%563=606%:%

  2212 %:%563=610%:%

  2216 %:%564=607%:%

  2213 %:%564=611%:%

  2217 %:%565=608%:%

  2214 %:%565=612%:%

  2218 %:%566=609%:%

  2215 %:%566=613%:%

  2219 %:%567=610%:%

  2216 %:%567=614%:%

  2220 %:%568=611%:%

  2217 %:%568=615%:%

  2221 %:%569=612%:%

  2218 %:%569=616%:%

  2222 %:%570=613%:%

  2219 %:%570=617%:%

  2223 %:%571=614%:%

  2220 %:%571=618%:%

  2224 %:%572=615%:%

  2221 %:%572=619%:%

  2225 %:%573=616%:%

  2222 %:%573=620%:%

  2226 %:%574=617%:%

  2223 %:%574=621%:%

  2227 %:%575=618%:%

  2224 %:%575=622%:%

  2228 %:%576=619%:%

  2225 %:%576=623%:%

  2229 %:%577=620%:%

  2226 %:%585=627%:%

  2230 %:%578=621%:%

  2227 %:%597=631%:%

  2231 %:%579=622%:%

  2228 %:%598=632%:%

  2232 %:%588=626%:%

  2229 %:%599=633%:%

  2233 %:%600=630%:%

  2230 %:%600=634%:%

  2234 %:%601=631%:%

  2231 %:%601=635%:%

  2235 %:%602=632%:%

  2232 %:%602=636%:%

  2236 %:%603=633%:%

  2233 %:%603=637%:%

  2237 %:%604=634%:%

  2234 %:%604=638%:%

  2238 %:%605=635%:%

  2235 %:%605=639%:%

  2239 %:%606=636%:%

  2236 %:%606=640%:%

  2240 %:%607=637%:%

  2237 %:%607=641%:%

  2241 %:%608=638%:%

  2238 %:%608=642%:%

  2242 %:%609=639%:%

  2239 %:%609=643%:%

  2243 %:%610=640%:%

  2240 %:%610=644%:%

  2244 %:%611=641%:%

  2241 %:%611=645%:%

  2245 %:%612=642%:%

  2242 %:%612=646%:%

  2246 %:%613=643%:%

  2243 %:%613=647%:%

  2247 %:%614=644%:%

  2244 %:%614=648%:%

  2248 %:%615=645%:%

  2245 %:%615=649%:%

  2249 %:%616=646%:%

  2246 %:%616=650%:%

  2250 %:%617=647%:%

  2247 %:%617=651%:%

  2251 %:%618=648%:%

  2248 %:%618=652%:%

  2252 %:%619=649%:%

  2249 %:%619=653%:%

  2253 %:%620=650%:%

  2250 %:%620=654%:%

  2254 %:%621=651%:%

  2251 %:%621=655%:%

  2255 %:%622=652%:%

  2252 %:%622=656%:%

  2256 %:%623=653%:%

  2253 %:%623=657%:%

  2257 %:%624=654%:%

  2254 %:%624=658%:%

  2258 %:%625=655%:%

  2255 %:%625=659%:%

  2259 %:%626=656%:%

  2256 %:%626=660%:%

  2260 %:%627=657%:%

  2257 %:%627=661%:%

  2261 %:%628=658%:%

  2258 %:%628=662%:%

  2262 %:%629=659%:%

  2259 %:%629=663%:%

  2263 %:%630=660%:%

  2260 %:%630=664%:%

  2264 %:%631=661%:%

  2261 %:%631=665%:%

  2265 %:%632=662%:%

  2262 %:%632=666%:%

  2266 %:%633=663%:%

  2263 %:%633=667%:%

  2267 %:%634=664%:%

  2264 %:%634=668%:%

  2268 %:%635=665%:%

  2265 %:%635=669%:%

  2269 %:%636=666%:%

  2266 %:%636=670%:%

  2270 %:%637=667%:%

  2267 %:%637=671%:%

  2271 %:%638=668%:%

  2268 %:%638=672%:%

  2272 %:%639=669%:%

  2269 %:%639=673%:%

  2273 %:%640=670%:%

  2270 %:%640=674%:%

  2274 %:%641=671%:%

  2271 %:%641=675%:%

  2275 %:%642=672%:%

  2272 %:%642=676%:%

  2276 %:%643=673%:%

  2273 %:%643=677%:%

  2277 %:%644=674%:%

  2274 %:%644=678%:%

  2278 %:%645=675%:%

  2275 %:%645=679%:%

  2279 %:%646=676%:%

  2276 %:%646=680%:%

  2280 %:%647=677%:%

  2277 %:%647=681%:%

  2281 %:%648=678%:%

  2278 %:%648=682%:%

  2282 %:%649=679%:%

  2279 %:%649=683%:%

  2283 %:%650=680%:%

  2280 %:%650=684%:%

  2284 %:%651=681%:%

  2281 %:%651=685%:%

  2285 %:%652=682%:%

  2282 %:%652=686%:%

  2286 %:%653=683%:%

  2283 %:%653=687%:%

  2287 %:%654=684%:%

  2284 %:%654=688%:%

  2288 %:%655=685%:%

  2285 %:%655=689%:%

  2289 %:%656=686%:%

  2286 %:%656=690%:%

  2290 %:%657=687%:%

  2287 %:%657=691%:%

  2291 %:%658=688%:%

  2288 %:%658=692%:%

  2292 %:%659=689%:%

  2289 %:%659=693%:%

  2293 %:%660=690%:%

  2290 %:%660=694%:%

  2294 %:%661=691%:%

  2291 %:%661=695%:%

  2295 %:%662=692%:%

  2292 %:%662=696%:%

  2296 %:%663=693%:%

  2293 %:%663=697%:%

  2297 %:%664=694%:%

  2294 %:%664=698%:%

  2298 %:%665=695%:%

  2295 %:%665=699%:%

  2299 %:%666=696%:%

  2296 %:%666=700%:%

  2300 %:%667=697%:%

  2297 %:%667=701%:%

  2301 %:%668=698%:%

  2298 %:%668=702%:%

  2302 %:%669=699%:%

  2299 %:%669=703%:%

  2303 %:%670=700%:%

  2300 %:%670=704%:%

  2304 %:%671=701%:%

  2301 %:%671=705%:%

  2305 %:%672=702%:%

  2302 %:%672=706%:%

  2306 %:%673=703%:%

  2303 %:%673=707%:%

  2307 %:%674=704%:%

  2304 %:%674=708%:%

  2308 %:%675=705%:%

  2305 %:%675=709%:%

  2309 %:%676=706%:%

  2306 %:%676=710%:%

  2310 %:%677=707%:%

  2307 %:%677=711%:%

  2311 %:%678=708%:%

  2308 %:%678=712%:%

  2312 %:%679=709%:%

  2309 %:%679=713%:%

  2313 %:%680=710%:%

  2310 %:%680=714%:%

  2314 %:%681=711%:%

  2311 %:%681=715%:%

  2315 %:%682=712%:%

  2312 %:%682=716%:%

  2316 %:%683=713%:%

  2313 %:%683=717%:%

  2317 %:%684=714%:%

  2314 %:%684=718%:%

  2318 %:%685=715%:%

  2315 %:%685=719%:%

  2319 %:%686=716%:%

  2316 %:%686=720%:%

  2320 %:%687=717%:%

  2317 %:%687=721%:%

  2321 %:%688=718%:%

  2318 %:%688=722%:%

  2322 %:%689=719%:%

  2319 %:%689=723%:%

  2323 %:%690=720%:%

  2320 %:%690=724%:%

  2324 %:%691=721%:%

  2321 %:%691=725%:%

  2325 %:%692=722%:%

  2322 %:%692=726%:%

  2326 %:%693=723%:%

  2323 %:%693=727%:%

  2327 %:%694=724%:%

  2324 %:%694=728%:%

  2328 %:%695=725%:%

  2325 %:%695=729%:%

  2329 %:%696=726%:%

  2326 %:%696=730%:%

  2330 %:%697=727%:%

  2327 %:%697=731%:%

  2331 %:%698=728%:%

  2328 %:%698=732%:%

  2332 %:%699=729%:%

  2329 %:%699=733%:%

  2333 %:%700=730%:%

  2330 %:%700=734%:%

  2334 %:%701=731%:%

  2331 %:%701=735%:%

  2335 %:%702=732%:%

  2332 %:%702=736%:%

  2336 %:%703=733%:%

  2333 %:%703=737%:%

  2337 %:%704=734%:%

  2334 %:%704=738%:%

  2338 %:%705=735%:%

  2335 %:%705=739%:%

  2339 %:%706=736%:%

  2336 %:%706=740%:%

  2340 %:%707=737%:%

  2337 %:%707=741%:%

  2341 %:%708=738%:%

  2338 %:%708=742%:%

  2342 %:%709=739%:%

  2339 %:%709=743%:%

  2343 %:%710=740%:%

  2340 %:%710=744%:%

  2344 %:%711=741%:%

  2341 %:%711=745%:%

  2345 %:%712=742%:%

  2342 %:%711=746%:%

  2346 %:%713=743%:%

  2343 %:%712=747%:%

  2347 %:%714=744%:%

  2344 %:%712=748%:%

  2348 %:%714=745%:%

  2345 %:%713=749%:%

  2349 %:%715=746%:%

  2346 %:%714=750%:%

  2350 %:%715=747%:%

  2347 %:%714=751%:%

  2351 %:%716=748%:%

  2348 %:%715=752%:%

  2352 %:%717=749%:%

  2349 %:%716=753%:%

  2353 %:%717=750%:%

  2350 %:%717=754%:%

  2354 %:%718=751%:%

  2351 %:%718=755%:%

  2355 %:%719=752%:%

  2352 %:%719=756%:%

  2356 %:%720=753%:%

  2353 %:%720=757%:%

  2357 %:%721=754%:%

  2354 %:%721=758%:%

  2358 %:%722=755%:%

  2355 %:%722=759%:%

  2359 %:%723=756%:%

  2356 %:%723=760%:%

  2360 %:%724=757%:%

  2357 %:%724=761%:%

  2361 %:%725=758%:%

  2358 %:%725=762%:%

  2362 %:%726=759%:%

  2359 %:%726=763%:%

  2363 %:%727=760%:%

  2360 %:%727=764%:%

  2364 %:%728=761%:%

  2361 %:%728=765%:%

  2365 %:%729=762%:%

  2362 %:%729=766%:%

  2366 %:%730=763%:%

  2363 %:%730=767%:%

  2367 %:%731=764%:%

  2364 %:%731=768%:%

  2368 %:%732=765%:%

  2365 %:%732=769%:%

  2369 %:%733=766%:%

  2366 %:%733=770%:%

  2370 %:%734=767%:%

  2367 %:%734=771%:%

  2371 %:%735=768%:%

  2368 %:%735=772%:%

  2372 %:%736=769%:%

  2369 %:%736=773%:%

  2373 %:%737=770%:%

  2370 %:%737=774%:%

  2374 %:%738=771%:%

  2371 %:%738=775%:%

  2375 %:%739=772%:%

  2372 %:%739=776%:%

  2376 %:%740=773%:%

  2373 %:%740=777%:%

  2377 %:%741=774%:%

  2374 %:%741=778%:%

  2378 %:%742=775%:%

  2375 %:%742=779%:%

  2379 %:%743=776%:%

  2376 %:%743=780%:%

  2380 %:%744=777%:%

  2377 %:%744=781%:%

  2381 %:%745=778%:%

  2378 %:%745=782%:%

  2382 %:%746=779%:%

  2379 %:%746=783%:%

  2383 %:%747=780%:%

  2380 %:%747=784%:%

  2384 %:%748=781%:%

  2381 %:%748=785%:%

  2385 %:%749=782%:%

  2382 %:%749=786%:%

  2386 %:%750=783%:%

  2383 %:%750=787%:%

  2387 %:%751=784%:%

  2384 %:%751=788%:%

  2388 %:%752=785%:%

  2385 %:%752=789%:%

  2389 %:%753=786%:%

  2386 %:%753=790%:%

  2390 %:%754=787%:%

  2387 %:%754=791%:%

  2391 %:%755=788%:%

  2388 %:%755=792%:%

  2392 %:%756=789%:%

  2389 %:%756=793%:%

  2393 %:%757=790%:%

  2390 %:%757=794%:%

  2394 %:%758=791%:%

  2391 %:%758=795%:%

  2395 %:%759=792%:%

  2392 %:%759=796%:%

  2396 %:%760=793%:%

  2393 %:%760=797%:%

  2397 %:%761=794%:%

  2394 %:%761=798%:%

  2398 %:%762=795%:%

  2395 %:%762=799%:%

  2399 %:%763=796%:%

  2396 %:%763=800%:%

  2400 %:%764=797%:%

  2397 %:%764=801%:%

  2401 %:%765=798%:%

  2398 %:%765=802%:%

  2402 %:%766=799%:%

  2399 %:%766=803%:%

  2403 %:%767=800%:%

  2400 %:%767=804%:%

  2404 %:%768=801%:%

  2401 %:%768=805%:%

  2405 %:%769=802%:%

  2402 %:%769=806%:%

  2406 %:%770=803%:%

  2403 %:%770=807%:%

  2407 %:%771=804%:%

  2404 %:%770=808%:%

  2408 %:%772=805%:%

  2405 %:%770=809%:%

  2409 %:%773=806%:%

  2406 %:%771=810%:%

  2410 %:%773=807%:%

  2407 %:%772=811%:%

  2411 %:%773=808%:%

  2408 %:%773=812%:%

  2412 %:%774=809%:%

  2409 %:%774=813%:%

  2413 %:%775=810%:%

  2410 %:%775=814%:%

  2414 %:%776=811%:%

  2411 %:%776=815%:%

  2415 %:%777=812%:%

  2412 %:%777=816%:%

  2416 %:%778=813%:%

  2413 %:%778=817%:%

  2417 %:%779=814%:%

  2414 %:%779=818%:%

  2418 %:%780=815%:%

  2415 %:%779=819%:%

  2419 %:%781=816%:%

  2416 %:%780=820%:%

  2420 %:%782=817%:%

  2417 %:%781=821%:%

  2421 %:%782=818%:%

  2418 %:%782=822%:%

  2422 %:%783=819%:%

  2419 %:%783=823%:%

  2423 %:%784=820%:%

  2420 %:%784=824%:%

  2424 %:%785=821%:%

  2421 %:%785=825%:%

  2425 %:%786=822%:%

  2422 %:%786=826%:%

  2426 %:%787=823%:%

  2423 %:%787=827%:%

  2427 %:%788=824%:%

  2424 %:%788=828%:%

  2428 %:%789=825%:%

  2425 %:%789=829%:%

  2429 %:%790=826%:%

  2426 %:%790=830%:%

  2430 %:%791=827%:%

  2427 %:%791=831%:%

  2431 %:%792=828%:%

  2428 %:%792=832%:%

  2432 %:%793=829%:%

  2429 %:%793=833%:%

  2433 %:%794=830%:%

  2430 %:%794=834%:%

  2434 %:%795=831%:%

  2431 %:%795=835%:%

  2435 %:%796=832%:%

  2432 %:%796=836%:%

  2436 %:%797=833%:%

  2433 %:%797=837%:%

  2437 %:%798=834%:%

  2434 %:%798=838%:%

  2438 %:%799=835%:%

  2435 %:%799=839%:%

  2439 %:%800=836%:%

  2436 %:%800=840%:%

  2440 %:%801=837%:%

  2437 %:%801=841%:%

  2441 %:%802=838%:%

  2438 %:%802=842%:%

  2442 %:%803=839%:%

  2439 %:%803=843%:%

  2443 %:%804=840%:%

  2440 %:%804=844%:%

  2444 %:%805=841%:%

  2441 %:%805=845%:%

  2445 %:%806=842%:%

  2442 %:%806=846%:%

  2446 %:%807=843%:%

  2443 %:%807=847%:%

  2447 %:%808=844%:%

  2444 %:%808=848%:%

  2448 %:%809=845%:%

  2445 %:%809=849%:%

  2449 %:%810=846%:%

  2446 %:%810=850%:%

  2450 %:%811=847%:%

  2447 %:%811=851%:%

  2451 %:%812=848%:%

  2448 %:%812=852%:%

  2452 %:%813=849%:%

  2449 %:%813=853%:%

  2453 %:%814=850%:%

  2450 %:%814=854%:%

  2454 %:%815=851%:%

  2451 %:%814=855%:%

  2455 %:%816=852%:%

  2452 %:%815=856%:%

  2456 %:%817=853%:%

  2453 %:%816=857%:%

  2457 %:%817=854%:%

  2454 %:%817=858%:%

  2458 %:%818=855%:%

  2455 %:%818=859%:%

  2459 %:%819=856%:%

  2456 %:%819=860%:%

  2460 %:%820=857%:%

  2457 %:%820=861%:%

  2461 %:%821=858%:%

  2458 %:%821=862%:%

  2462 %:%822=859%:%

  2459 %:%821=863%:%

  2463 %:%823=860%:%

  2460 %:%822=864%:%

  2464 %:%824=861%:%

  2461 %:%823=865%:%

  2465 %:%824=862%:%

  2462 %:%824=866%:%

  2466 %:%825=863%:%

  2463 %:%824=867%:%

  2467 %:%826=864%:%

  2464 %:%825=868%:%

  2468 %:%827=865%:%

  2465 %:%826=869%:%

  2469 %:%827=866%:%

  2466 %:%827=870%:%

  2470 %:%828=867%:%

  2467 %:%828=871%:%

  2471 %:%829=868%:%

  2468 %:%829=872%:%

  2472 %:%830=869%:%

  2469 %:%830=873%:%

  2473 %:%831=870%:%

  2470 %:%831=874%:%

  2474 %:%832=871%:%

  2471 %:%832=875%:%

  2475 %:%833=872%:%

  2472 %:%833=876%:%

  2476 %:%834=873%:%

  2473 %:%834=877%:%

  2477 %:%835=874%:%

  2474 %:%835=878%:%

  2478 %:%836=875%:%

  2475 %:%835=879%:%

  2479 %:%837=876%:%

  2476 %:%836=880%:%

  2480 %:%838=877%:%

  2477 %:%837=881%:%

  2481 %:%838=878%:%

  2478 %:%838=882%:%

  2482 %:%839=879%:%

  2479 %:%839=883%:%

  2483 %:%840=880%:%

  2480 %:%839=884%:%

  2484 %:%841=881%:%

  2481 %:%840=885%:%

  2485 %:%842=882%:%

  2482 %:%841=886%:%

  2486 %:%842=883%:%

  2483 %:%842=887%:%

  2487 %:%843=884%:%

  2484 %:%843=888%:%

  2488 %:%844=885%:%

  2485 %:%844=889%:%

  2489 %:%845=886%:%

  2486 %:%845=890%:%

  2490 %:%846=887%:%

  2487 %:%846=891%:%

  2491 %:%847=888%:%

  2488 %:%847=892%:%

  2492 %:%848=889%:%

  2489 %:%848=893%:%

  2493 %:%849=890%:%

  2490 %:%849=894%:%

  2494 %:%850=891%:%

  2491 %:%850=895%:%

  2495 %:%851=892%:%

  2492 %:%851=896%:%

  2496 %:%852=893%:%

  2493 %:%852=897%:%

  2497 %:%853=894%:%

  2494 %:%853=898%:%

  2498 %:%854=895%:%

  2495 %:%854=899%:%

  2499 %:%855=896%:%

  2496 %:%855=900%:%

  2500 %:%856=897%:%

  2497 %:%856=901%:%

  2501 %:%857=898%:%

  2498 %:%857=902%:%

  2502 %:%858=899%:%

  2499 %:%858=903%:%

  2503 %:%859=900%:%

  2500 %:%859=904%:%

  2504 %:%860=901%:%

  2501 %:%860=905%:%

  2505 %:%861=902%:%

  2502 %:%861=906%:%

  2506 %:%862=903%:%

  2503 %:%862=907%:%

  2507 %:%863=904%:%

  2504 %:%863=908%:%

  2508 %:%864=905%:%

  2505 %:%864=909%:%

  2509 %:%865=906%:%

  2506 %:%865=910%:%

  2510 %:%866=907%:%

  2507 %:%866=911%:%

  2511 %:%867=908%:%

  2508 %:%867=912%:%

  2512 %:%868=909%:%

  2509 %:%868=913%:%

  2513 %:%869=910%:%

  2510 %:%869=914%:%

  2514 %:%870=911%:%

  2511 %:%870=915%:%

  2515 %:%871=912%:%

  2512 %:%871=916%:%

  2516 %:%872=913%:%

  2513 %:%872=917%:%

  2517 %:%873=914%:%

  2514 %:%873=918%:%

  2518 %:%874=915%:%

  2515 %:%874=919%:%

  2519 %:%875=916%:%

  2516 %:%875=920%:%

  2520 %:%876=917%:%

  2517 %:%876=921%:%

  2521 %:%877=918%:%

  2518 %:%877=922%:%

  2522 %:%878=919%:%

  2519 %:%878=923%:%

  2523 %:%879=920%:%

  2520 %:%879=924%:%

  2524 %:%880=921%:%

  2521 %:%880=925%:%

  2525 %:%881=922%:%

  2522 %:%881=926%:%

  2526 %:%882=923%:%

  2523 %:%882=927%:%

  2527 %:%883=924%:%

  2524 %:%883=928%:%

  2528 %:%884=925%:%

  2525 %:%884=929%:%

  2529 %:%885=926%:%

  2526 %:%885=930%:%

  2530 %:%886=927%:%

  2527 %:%886=931%:%

  2531 %:%887=928%:%

  2528 %:%887=932%:%

  2532 %:%888=929%:%

  2529 %:%888=933%:%

  2533 %:%889=930%:%

  2530 %:%889=934%:%

  2534 %:%890=931%:%

  2531 %:%890=935%:%

  2535 %:%891=932%:%

  2532 %:%891=936%:%

  2536 %:%892=933%:%

  2533 %:%892=937%:%

  2537 %:%893=934%:%

  2534 %:%893=938%:%

  2538 %:%894=935%:%

  2535 %:%894=939%:%

  2539 %:%895=936%:%

  2536 %:%895=940%:%

  2540 %:%896=937%:%

  2537 %:%896=941%:%

  2541 %:%897=938%:%

  2538 %:%897=942%:%

  2542 %:%898=939%:%

  2539 %:%897=943%:%

  2543 %:%899=940%:%

  2540 %:%898=944%:%

  2544 %:%900=941%:%

  2541 %:%899=945%:%

  2545 %:%900=942%:%

  2542 %:%900=946%:%

  2546 %:%901=943%:%

  2543 %:%901=947%:%

  2547 %:%902=944%:%

  2544 %:%902=948%:%

  2548 %:%903=945%:%

  2545 %:%903=949%:%

  2549 %:%904=946%:%

  2546 %:%904=950%:%

  2550 %:%905=947%:%

  2547 %:%905=951%:%

  2551 %:%906=948%:%

  2548 %:%906=952%:%

  2552 %:%907=949%:%

  2549 %:%907=953%:%

  2553 %:%908=950%:%

  2550 %:%908=954%:%

  2554 %:%909=951%:%

  2551 %:%909=955%:%

  2555 %:%910=952%:%

  2552 %:%910=956%:%

  2556 %:%911=953%:%

  2553 %:%911=957%:%

  2557 %:%912=954%:%

  2554 %:%912=958%:%

  2558 %:%913=955%:%

  2555 %:%913=959%:%

  2559 %:%914=956%:%

  2556 %:%914=960%:%

  2560 %:%915=957%:%

  2557 %:%915=961%:%

  2561 %:%916=958%:%

  2558 %:%916=962%:%

  2562 %:%917=959%:%

  2559 %:%917=963%:%

  2563 %:%918=960%:%

  2560 %:%918=964%:%

  2564 %:%919=961%:%

  2561 %:%919=965%:%

  2565 %:%920=962%:%

  2562 %:%920=966%:%

  2566 %:%921=963%:%

  2563 %:%921=967%:%

  2567 %:%922=964%:%

  2564 %:%922=968%:%

  2568 %:%923=965%:%

  2565 %:%923=969%:%

  2569 %:%924=966%:%

  2566 %:%924=970%:%

  2570 %:%925=967%:%

  2567 %:%925=971%:%

  2571 %:%926=968%:%

  2568 %:%926=972%:%

  2572 %:%927=969%:%

  2569 %:%927=973%:%

  2573 %:%928=970%:%

  2570 %:%928=974%:%

  2574 %:%929=971%:%

  2571 %:%929=975%:%

  2575 %:%930=972%:%

  2572 %:%930=976%:%

  2576 %:%931=973%:%

  2573 %:%930=977%:%

  2577 %:%932=974%:%

  2574 %:%931=978%:%

  2578 %:%933=975%:%

  2575 %:%932=979%:%

  2579 %:%933=976%:%

  2576 %:%933=980%:%

  2580 %:%934=977%:%

  2577 %:%934=981%:%

  2581 %:%935=978%:%

  2578 %:%935=982%:%

  2582 %:%936=979%:%

  2579 %:%936=983%:%

  2583 %:%937=980%:%

  2580 %:%937=984%:%

  2584 %:%938=981%:%

  2581 %:%938=985%:%

  2585 %:%939=982%:%

  2582 %:%939=986%:%

  2586 %:%940=983%:%

  2583 %:%940=987%:%

  2587 %:%941=984%:%

  2584 %:%941=988%:%

  2588 %:%942=985%:%

  2585 %:%942=989%:%

  2589 %:%943=986%:%

  2586 %:%943=990%:%

  2590 %:%944=987%:%

  2587 %:%944=991%:%

  2591 %:%945=988%:%

  2588 %:%945=992%:%

  2592 %:%946=989%:%

  2589 %:%946=993%:%

  2593 %:%947=990%:%

  2590 %:%947=994%:%

  2594 %:%948=991%:%

  2591 %:%948=995%:%

  2595 %:%949=992%:%

  2592 %:%949=996%:%

  2596 %:%950=993%:%

  2593 %:%950=997%:%

  2597 %:%951=994%:%

  2594 %:%951=998%:%

  2598 %:%952=995%:%

  2595 %:%952=999%:%

  2599 %:%953=996%:%

  2596 %:%953=1000%:%

  2600 %:%954=997%:%

  2597 %:%954=1001%:%

  2601 %:%955=998%:%

  2598 %:%955=1002%:%

  2602 %:%956=999%:%

  2599 %:%956=1003%:%

  2603 %:%957=1000%:%

  2600 %:%957=1004%:%

  2604 %:%958=1001%:%

  2601 %:%958=1005%:%

  2605 %:%959=1002%:%

  2602 %:%959=1006%:%

  2606 %:%960=1003%:%

  2603 %:%960=1007%:%

  2607 %:%961=1004%:%

  2604 %:%960=1008%:%

  2608 %:%962=1005%:%

  2605 %:%961=1009%:%

  2609 %:%963=1006%:%

  2606 %:%962=1010%:%

  2610 %:%963=1007%:%

  2607 %:%963=1011%:%

  2611 %:%964=1008%:%

  2608 %:%964=1012%:%

  2612 %:%965=1009%:%

  2609 %:%965=1013%:%

  2613 %:%966=1010%:%

  2610 %:%966=1014%:%

  2614 %:%967=1011%:%

  2611 %:%967=1015%:%

  2615 %:%968=1012%:%

  2612 %:%968=1016%:%

  2616 %:%969=1013%:%

  2613 %:%968=1017%:%

  2617 %:%970=1014%:%

  2614 %:%969=1018%:%

  2618 %:%971=1015%:%

  2615 %:%970=1019%:%

  2619 %:%971=1016%:%

  2616 %:%971=1020%:%

  2620 %:%972=1017%:%

  2617 %:%972=1021%:%

  2621 %:%973=1018%:%

  2618 %:%973=1022%:%

  2622 %:%974=1019%:%

  2619 %:%974=1023%:%

  2623 %:%975=1020%:%

  2620 %:%975=1024%:%

  2624 %:%976=1021%:%

  2621 %:%976=1025%:%

  2625 %:%977=1022%:%

  2622 %:%977=1026%:%

  2626 %:%978=1023%:%

  2623 %:%978=1027%:%

  2627 %:%979=1024%:%

  2624 %:%979=1028%:%

  2628 %:%980=1025%:%

  2625 %:%980=1029%:%

  2629 %:%981=1026%:%

  2626 %:%981=1030%:%

  2630 %:%982=1027%:%

  2627 %:%982=1031%:%

  2631 %:%983=1028%:%

  2628 %:%983=1032%:%

  2632 %:%984=1029%:%

  2629 %:%984=1033%:%

  2633 %:%985=1030%:%

  2630 %:%985=1034%:%

  2634 %:%986=1031%:%

  2631 %:%986=1035%:%

  2635 %:%987=1032%:%

  2632 %:%987=1036%:%

  2636 %:%988=1033%:%

  2633 %:%988=1037%:%

  2637 %:%989=1034%:%

  2634 %:%989=1038%:%

  2638 %:%990=1035%:%

  2635 %:%990=1039%:%

  2639 %:%991=1036%:%

  2636 %:%991=1040%:%

  2640 %:%992=1037%:%

  2637 %:%992=1041%:%

  2641 %:%993=1038%:%

  2638 %:%993=1042%:%

  2642 %:%994=1039%:%

  2639 %:%994=1043%:%

  2643 %:%995=1040%:%

  2640 %:%995=1044%:%

  2644 %:%996=1041%:%

  2641 %:%996=1045%:%

  2645 %:%997=1042%:%

  2642 %:%997=1046%:%

  2646 %:%998=1043%:%

  2643 %:%998=1047%:%

  2647 %:%999=1044%:%

  2644 %:%999=1048%:%

  2648 %:%1000=1045%:%

  2645 %:%1000=1049%:%

  2649 %:%1001=1046%:%

  2646 %:%1001=1050%:%

  2650 %:%1002=1047%:%

  2647 %:%1002=1051%:%

  2651 %:%1003=1048%:%

  2648 %:%1003=1052%:%

  2652 %:%1004=1049%:%

  2649 %:%1004=1053%:%

  2653 %:%1005=1050%:%

  2650 %:%1005=1054%:%

  2654 %:%1006=1051%:%

  2651 %:%1005=1055%:%

  2655 %:%1007=1052%:%

  2652 %:%1005=1056%:%

  2656 %:%1008=1053%:%

  2653 %:%1006=1057%:%

  2657 %:%1008=1054%:%

  2654 %:%1006=1058%:%

  2658 %:%1008=1055%:%

  2655 %:%1006=1059%:%

  2659 %:%1009=1056%:%

  2656 %:%1007=1060%:%

  2660 %:%1009=1057%:%

  2657 %:%1008=1061%:%

  2661 %:%1009=1058%:%

  2658 %:%1008=1062%:%

  2662 %:%1010=1059%:%

  2659 %:%1009=1063%:%

  2663 %:%1011=1060%:%

  2660 %:%1010=1064%:%

  2664 %:%1011=1061%:%

  2661 %:%1011=1065%:%

  2665 %:%1012=1062%:%

  2662 %:%1012=1066%:%

  2666 %:%1013=1063%:%

  2663 %:%1013=1067%:%

  2667 %:%1014=1064%:%

  2664 %:%1014=1068%:%

  2668 %:%1015=1065%:%

  2665 %:%1015=1069%:%

  2669 %:%1016=1066%:%

  2666 %:%1016=1070%:%

  2670 %:%1017=1067%:%

  2667 %:%1017=1071%:%

  2671 %:%1018=1068%:%

  2668 %:%1018=1072%:%

  2672 %:%1019=1069%:%

  2669 %:%1019=1073%:%

  2673 %:%1020=1070%:%

  2670 %:%1020=1074%:%

  2674 %:%1021=1071%:%

  2671 %:%1021=1075%:%

  2675 %:%1022=1072%:%

  2672 %:%1022=1076%:%

  2676 %:%1023=1073%:%

  2673 %:%1023=1077%:%

  2677 %:%1024=1074%:%

  2674 %:%1024=1078%:%

  2678 %:%1025=1075%:%

  2675 %:%1025=1079%:%

  2679 %:%1026=1076%:%

  2676 %:%1026=1080%:%

  2680 %:%1027=1077%:%

  2677 %:%1027=1081%:%

  2681 %:%1028=1078%:%

  2678 %:%1028=1082%:%

  2682 %:%1029=1079%:%

  2679 %:%1029=1083%:%

  2683 %:%1030=1080%:%

  2680 %:%1030=1084%:%

  2684 %:%1031=1081%:%

  2681 %:%1031=1085%:%

  2685 %:%1032=1082%:%

  2682 %:%1032=1086%:%

  2686 %:%1033=1083%:%

  2683 %:%1033=1087%:%

  2687 %:%1034=1084%:%

  2684 %:%1034=1088%:%

  2688 %:%1035=1085%:%

  2685 %:%1035=1089%:%

  2689 %:%1036=1086%:%

  2686 %:%1036=1090%:%

  2690 %:%1037=1087%:%

  2687 %:%1037=1091%:%

  2691 %:%1038=1088%:%

  2688 %:%1038=1092%:%

  2692 %:%1039=1089%:%

  2689 %:%1039=1093%:%

  2693 %:%1040=1090%:%

  2690 %:%1040=1094%:%

  2694 %:%1041=1091%:%

  2691 %:%1041=1095%:%

  2695 %:%1042=1092%:%

  2692 %:%1042=1096%:%

  2696 %:%1043=1093%:%

  2693 %:%1042=1097%:%

  2697 %:%1044=1094%:%

  2694 %:%1043=1098%:%

  2698 %:%1045=1095%:%

  2695 %:%1044=1099%:%

  2699 %:%1045=1096%:%

  2696 %:%1045=1100%:%

  2700 %:%1046=1097%:%

  2697 %:%1045=1101%:%

  2701 %:%1047=1098%:%

  2698 %:%1045=1102%:%

  2702 %:%1048=1099%:%

  2699 %:%1045=1103%:%

  2703 %:%1048=1100%:%

  2700 %:%1046=1104%:%

  2704 %:%1048=1101%:%

  2701 %:%1047=1105%:%

  2705 %:%1048=1102%:%

  2702 %:%1048=1106%:%

  2706 %:%1049=1103%:%

  2703 %:%1049=1107%:%

  2707 %:%1050=1104%:%

  2704 %:%1050=1108%:%

  2708 %:%1051=1105%:%

  2705 %:%1051=1109%:%

  2709 %:%1052=1106%:%

  2706 %:%1052=1110%:%

  2710 %:%1053=1107%:%

  2707 %:%1053=1111%:%

  2711 %:%1054=1108%:%

  2708 %:%1054=1112%:%

  2712 %:%1055=1109%:%

  2709 %:%1055=1113%:%

  2713 %:%1056=1110%:%

  2710 %:%1056=1114%:%

  2714 %:%1057=1111%:%

  2711 %:%1057=1115%:%

  2715 %:%1058=1112%:%

  2712 %:%1058=1116%:%

  2716 %:%1059=1113%:%

  2713 %:%1059=1117%:%

  2717 %:%1060=1114%:%

  2714 %:%1060=1118%:%

  2718 %:%1061=1115%:%

  2715 %:%1061=1119%:%

  2719 %:%1062=1116%:%

  2716 %:%1062=1120%:%

  2720 %:%1063=1117%:%

  2717 %:%1063=1121%:%

  2721 %:%1064=1118%:%

  2718 %:%1064=1122%:%

  2722 %:%1065=1119%:%

  2719 %:%1065=1123%:%

  2723 %:%1066=1120%:%

  2720 %:%1066=1124%:%

  2724 %:%1067=1121%:%

  2721 %:%1067=1125%:%

  2725 %:%1068=1122%:%

  2722 %:%1068=1126%:%

  2726 %:%1069=1123%:%

  2723 %:%1069=1127%:%

  2727 %:%1070=1124%:%

  2724 %:%1070=1128%:%

  2728 %:%1071=1125%:%

  2725 %:%1071=1129%:%

  2729 %:%1072=1126%:%

  2726 %:%1072=1130%:%

  2730 %:%1073=1127%:%

  2727 %:%1073=1131%:%

  2731 %:%1074=1128%:%

  2728 %:%1074=1132%:%

  2732 %:%1075=1129%:%

  2729 %:%1075=1133%:%

  2733 %:%1076=1130%:%

  2730 %:%1076=1134%:%

  2734 %:%1077=1131%:%

  2731 %:%1077=1135%:%

  2735 %:%1078=1132%:%

  2732 %:%1078=1136%:%

  2736 %:%1079=1133%:%

  2733 %:%1079=1137%:%

  2737 %:%1080=1134%:%

  2734 %:%1080=1138%:%

  2738 %:%1081=1135%:%

  2735 %:%1081=1139%:%

  2739 %:%1082=1136%:%

  2736 %:%1082=1140%:%

  2740 %:%1083=1137%:%

  2737 %:%1091=1144%:%

  2741 %:%1084=1138%:%

  2738 %:%1103=1148%:%

  2742 %:%1085=1139%:%

  2739 %:%1104=1149%:%

  2743 %:%1094=1143%:%

  2740 %:%1105=1150%:%

  2744 %:%1106=1147%:%

  2741 %:%1106=1151%:%

  2745 %:%1107=1148%:%

  2742 %:%1107=1152%:%

  2746 %:%1108=1149%:%

  2743 %:%1108=1153%:%

  2747 %:%1109=1150%:%

  2744 %:%1109=1154%:%

  2748 %:%1110=1151%:%

  2745 %:%1110=1155%:%

  2749 %:%1111=1152%:%

  2746 %:%1111=1156%:%

  2750 %:%1112=1153%:%

  2747 %:%1112=1157%:%

  2751 %:%1113=1154%:%

  2748 %:%1113=1158%:%

  2752 %:%1114=1155%:%

  2749 %:%1114=1159%:%

  2753 %:%1115=1156%:%

  2750 %:%1115=1160%:%

  2754 %:%1116=1157%:%

  2751 %:%1116=1161%:%

  2755 %:%1117=1158%:%

  2752 %:%1117=1162%:%

  2756 %:%1118=1159%:%

  2753 %:%1118=1163%:%

  2757 %:%1119=1160%:%

  2754 %:%1119=1164%:%

  2758 %:%1120=1161%:%

  2755 %:%1120=1165%:%

  2759 %:%1121=1162%:%

  2756 %:%1121=1166%:%

  2760 %:%1122=1163%:%

  2757 %:%1122=1167%:%

  2761 %:%1123=1164%:%

  2758 %:%1123=1168%:%

  2762 %:%1124=1165%:%

  2759 %:%1124=1169%:%

  2763 %:%1125=1166%:%

  2760 %:%1125=1170%:%

  2764 %:%1126=1167%:%

  2761 %:%1126=1171%:%

  2765 %:%1127=1168%:%

  2762 %:%1127=1172%:%

  2766 %:%1128=1169%:%

  2763 %:%1128=1173%:%

  2767 %:%1129=1170%:%

  2764 %:%1129=1174%:%

  2768 %:%1130=1171%:%

  2765 %:%1130=1175%:%

  2769 %:%1131=1172%:%

  2766 %:%1131=1176%:%

  2770 %:%1132=1173%:%

  2767 %:%1132=1177%:%

  2771 %:%1133=1174%:%

  2768 %:%1133=1178%:%

  2772 %:%1134=1175%:%

  2769 %:%1134=1179%:%

  2773 %:%1135=1176%:%

  2770 %:%1135=1180%:%

  2774 %:%1136=1177%:%

  2771 %:%1136=1181%:%

  2775 %:%1137=1178%:%

  2772 %:%1137=1182%:%

  2776 %:%1138=1179%:%

  2773 %:%1138=1183%:%

  2777 %:%1139=1180%:%

  2774 %:%1139=1184%:%

  2778 %:%1140=1181%:%

  2775 %:%1140=1185%:%

  2779 %:%1141=1182%:%

  2776 %:%1141=1186%:%

  2780 %:%1142=1183%:%

  2777 %:%1142=1187%:%

  2781 %:%1143=1184%:%

  2778 %:%1143=1188%:%

  2782 %:%1144=1185%:%

  2779 %:%1144=1189%:%

  2783 %:%1145=1186%:%

  2780 %:%1145=1190%:%

  2784 %:%1146=1187%:%

  2781 %:%1146=1191%:%

  2785 %:%1147=1188%:%

  2782 %:%1147=1192%:%

  2786 %:%1148=1189%:%

  2783 %:%1148=1193%:%

  2787 %:%1149=1190%:%

  2784 %:%1149=1194%:%

  2788 %:%1150=1191%:%

  2785 %:%1150=1195%:%

  2789 %:%1151=1192%:%

  2786 %:%1151=1196%:%

  2790 %:%1152=1193%:%

  2787 %:%1152=1197%:%

  2791 %:%1153=1194%:%

  2788 %:%1153=1198%:%

  2792 %:%1154=1195%:%

  2789 %:%1154=1199%:%

  2793 %:%1155=1196%:%

  2790 %:%1155=1200%:%

  2794 %:%1156=1197%:%

  2791 %:%1156=1201%:%

  2795 %:%1157=1198%:%

  2792 %:%1157=1202%:%

  2796 %:%1158=1199%:%

  2793 %:%1158=1203%:%

  2797 %:%1159=1200%:%

  2794 %:%1159=1204%:%

  2798 %:%1160=1201%:%

  2795 %:%1160=1205%:%

  2799 %:%1161=1202%:%

  2796 %:%1161=1206%:%

  2800 %:%1162=1203%:%

  2797 %:%1162=1207%:%

  2801 %:%1163=1204%:%

  2798 %:%1163=1208%:%

  2802 %:%1164=1205%:%

  2799 %:%1164=1209%:%

  2803 %:%1165=1206%:%

  2800 %:%1165=1210%:%

  2804 %:%1166=1207%:%

  2801 %:%1166=1211%:%

  2805 %:%1167=1208%:%

  2802 %:%1167=1212%:%

  2806 %:%1168=1209%:%

  2803 %:%1168=1213%:%

  2807 %:%1169=1210%:%

  2804 %:%1169=1214%:%

  2808 %:%1170=1211%:%

  2805 %:%1170=1215%:%

  2809 %:%1171=1212%:%

  2806 %:%1171=1216%:%

  2810 %:%1172=1213%:%

  2807 %:%1172=1217%:%

  2811 %:%1173=1214%:%

  2808 %:%1173=1218%:%

  2812 %:%1174=1215%:%

  2809 %:%1174=1219%:%

  2813 %:%1175=1216%:%

  2810 %:%1175=1220%:%

  2814 %:%1176=1217%:%

  2811 %:%1176=1221%:%

  2815 %:%1177=1218%:%

  2812 %:%1177=1222%:%

  2816 %:%1178=1219%:%

  2813 %:%1178=1223%:%

  2817 %:%1179=1220%:%

  2814 %:%1179=1224%:%

  2818 %:%1180=1221%:%

  2815 %:%1180=1225%:%

  2819 %:%1181=1222%:%

  2816 %:%1181=1226%:%

  2820 %:%1182=1223%:%

  2817 %:%1182=1227%:%

  2821 %:%1183=1224%:%

  2818 %:%1183=1228%:%

  2822 %:%1184=1225%:%

  2819 %:%1184=1229%:%

  2823 %:%1185=1226%:%

  2820 %:%1185=1230%:%

  2824 %:%1186=1227%:%

  2821 %:%1186=1231%:%

  2825 %:%1187=1228%:%

  2822 %:%1187=1232%:%

  2826 %:%1188=1229%:%

  2823 %:%1188=1233%:%

  2827 %:%1189=1230%:%

  2824 %:%1189=1234%:%

  2828 %:%1190=1231%:%

  2825 %:%1190=1235%:%

  2829 %:%1191=1232%:%

  2826 %:%1191=1236%:%

  2830 %:%1192=1233%:%

  2827 %:%1192=1237%:%

  2831 %:%1193=1234%:%

  2828 %:%1193=1238%:%

  2832 %:%1194=1235%:%

  2829 %:%1194=1239%:%

  2833 %:%1195=1236%:%

  2830 %:%1195=1240%:%

  2834 %:%1196=1237%:%

  2831 %:%1196=1241%:%

  2835 %:%1197=1238%:%

  2832 %:%1197=1242%:%

  2836 %:%1198=1239%:%

  2833 %:%1198=1243%:%

  2837 %:%1199=1240%:%

  2834 %:%1199=1244%:%

  2838 %:%1200=1241%:%

  2835 %:%1200=1245%:%

  2839 %:%1201=1242%:%

  2836 %:%1201=1246%:%

  2840 %:%1202=1243%:%

  2837 %:%1202=1247%:%

  2841 %:%1203=1244%:%

  2838 %:%1203=1248%:%

  2842 %:%1204=1245%:%

  2839 %:%1204=1249%:%

  2843 %:%1205=1246%:%

  2840 %:%1205=1250%:%

  2844 %:%1206=1247%:%

  2841 %:%1206=1251%:%

  2845 %:%1207=1248%:%

  2842 %:%1207=1252%:%

  2846 %:%1208=1249%:%

  2843 %:%1208=1253%:%

  2847 %:%1209=1250%:%

  2844 %:%1209=1254%:%

  2848 %:%1210=1251%:%

  2845 %:%1210=1255%:%

  2849 %:%1211=1252%:%

  2846 %:%1211=1256%:%

  2850 %:%1212=1253%:%

  2847 %:%1212=1257%:%

  2851 %:%1213=1254%:%

  2848 %:%1213=1258%:%

  2852 %:%1214=1255%:%

  2849 %:%1214=1259%:%

  2853 %:%1215=1256%:%

  2850 %:%1215=1260%:%

  2854 %:%1216=1257%:%

  2851 %:%1216=1261%:%

  2855 %:%1217=1258%:%

  2852 %:%1217=1262%:%

  2856 %:%1218=1259%:%

  2853 %:%1218=1263%:%

  2857 %:%1219=1260%:%

  2854 %:%1218=1264%:%

  2858 %:%1220=1261%:%

  2855 %:%1219=1265%:%

  2859 %:%1221=1262%:%

  2856 %:%1220=1266%:%

  2860 %:%1221=1263%:%

  2857 %:%1221=1267%:%

  2861 %:%1222=1264%:%

  2858 %:%1222=1268%:%

  2862 %:%1223=1265%:%

  2859 %:%1223=1269%:%

  2863 %:%1224=1266%:%

  2860 %:%1224=1270%:%

  2864 %:%1225=1267%:%

  2861 %:%1225=1271%:%

  2865 %:%1226=1268%:%

  2862 %:%1226=1272%:%

  2866 %:%1227=1269%:%

  2863 %:%1227=1273%:%

  2867 %:%1228=1270%:%

  2864 %:%1228=1274%:%

  2868 %:%1229=1271%:%

  2865 %:%1229=1275%:%

  2869 %:%1230=1272%:%

  2866 %:%1229=1276%:%

  2870 %:%1231=1273%:%

  2867 %:%1230=1277%:%

  2871 %:%1232=1274%:%

  2868 %:%1231=1278%:%

  2872 %:%1232=1275%:%

  2869 %:%1232=1279%:%

  2873 %:%1233=1276%:%

  2870 %:%1233=1280%:%

  2874 %:%1234=1277%:%

  2871 %:%1234=1281%:%

  2875 %:%1235=1278%:%

  2872 %:%1235=1282%:%

  2876 %:%1236=1279%:%

  2873 %:%1236=1283%:%

  2877 %:%1237=1280%:%

  2874 %:%1237=1284%:%

  2878 %:%1238=1281%:%

  2875 %:%1238=1285%:%

  2879 %:%1239=1282%:%

  2876 %:%1239=1286%:%

  2880 %:%1240=1283%:%

  2877 %:%1240=1287%:%

  2881 %:%1241=1284%:%

  2878 %:%1241=1288%:%

  2882 %:%1242=1285%:%

  2879 %:%1242=1289%:%

  2883 %:%1243=1286%:%

  2880 %:%1243=1290%:%

  2884 %:%1244=1287%:%

  2881 %:%1244=1291%:%

  2885 %:%1245=1288%:%

  2882 %:%1245=1292%:%

  2886 %:%1246=1289%:%

  2883 %:%1246=1293%:%

  2887 %:%1247=1290%:%

  2884 %:%1247=1294%:%

  2888 %:%1248=1291%:%

  2885 %:%1248=1295%:%

  2889 %:%1249=1292%:%

  2886 %:%1249=1296%:%

  2890 %:%1250=1293%:%

  2887 %:%1250=1297%:%

  2891 %:%1251=1294%:%

  2888 %:%1251=1298%:%

  2892 %:%1252=1295%:%

  2889 %:%1252=1299%:%

  2893 %:%1253=1296%:%

  2890 %:%1253=1300%:%

  2894 %:%1254=1297%:%

  2891 %:%1254=1301%:%

  2895 %:%1255=1298%:%

  2892 %:%1255=1302%:%

  2896 %:%1256=1299%:%

  2893 %:%1256=1303%:%

  2897 %:%1257=1300%:%

  2894 %:%1257=1304%:%

  2898 %:%1258=1301%:%

  2895 %:%1258=1305%:%

  2899 %:%1259=1302%:%

  2896 %:%1259=1306%:%

  2900 %:%1260=1303%:%

  2897 %:%1260=1307%:%

  2901 %:%1261=1304%:%

  2898 %:%1261=1308%:%

  2902 %:%1262=1305%:%

  2899 %:%1262=1309%:%

  2903 %:%1263=1306%:%

  2900 %:%1263=1310%:%

  2904 %:%1264=1307%:%

  2901 %:%1264=1311%:%

  2905 %:%1265=1308%:%

  2902 %:%1265=1312%:%

  2906 %:%1266=1309%:%

  2903 %:%1266=1313%:%

  2907 %:%1267=1310%:%

  2904 %:%1267=1314%:%

  2908 %:%1268=1311%:%

  2905 %:%1268=1315%:%

  2909 %:%1269=1312%:%

  2906 %:%1269=1316%:%

  2910 %:%1270=1313%:%

  2907 %:%1270=1317%:%

  2911 %:%1271=1314%:%

  2908 %:%1271=1318%:%

  2912 %:%1272=1315%:%

  2909 %:%1272=1319%:%

  2913 %:%1273=1316%:%

  2910 %:%1273=1320%:%

  2914 %:%1274=1317%:%

  2911 %:%1274=1321%:%

  2915 %:%1275=1318%:%

  2912 %:%1275=1322%:%

  2916 %:%1276=1319%:%

  2913 %:%1276=1323%:%

  2917 %:%1277=1320%:%

  2914 %:%1277=1324%:%

  2918 %:%1278=1321%:%

  2915 %:%1278=1325%:%

  2919 %:%1279=1322%:%

  2916 %:%1279=1326%:%

  2920 %:%1280=1323%:%

  2917 %:%1280=1327%:%

  2921 %:%1281=1324%:%

  2918 %:%1281=1328%:%

  2922 %:%1282=1325%:%

  2919 %:%1282=1329%:%

  2923 %:%1283=1326%:%

  2920 %:%1283=1330%:%

  2924 %:%1284=1327%:%

  2921 %:%1283=1331%:%

  2925 %:%1285=1328%:%

  2922 %:%1283=1332%:%

  2926 %:%1286=1329%:%

  2923 %:%1284=1333%:%

  2927 %:%1286=1330%:%

  2924 %:%1285=1334%:%

  2928 %:%1286=1331%:%

  2925 %:%1285=1335%:%

  2929 %:%1287=1332%:%

  2926 %:%1285=1336%:%

  2930 %:%1288=1333%:%

  2927 %:%1285=1337%:%

  2931 %:%1288=1334%:%

  2928 %:%1286=1338%:%

  2932 %:%1288=1335%:%

  2929 %:%1287=1339%:%

  2933 %:%1288=1336%:%

  2930 %:%1288=1340%:%

  2934 %:%1289=1337%:%

  2931 %:%1289=1341%:%

  2935 %:%1290=1338%:%

  2932 %:%1290=1342%:%

  2936 %:%1291=1339%:%

  2933 %:%1290=1343%:%

  2937 %:%1292=1340%:%

  2934 %:%1291=1344%:%

  2938 %:%1293=1341%:%

  2935 %:%1292=1345%:%

  2939 %:%1293=1342%:%

  2936 %:%1293=1346%:%

  2940 %:%1294=1343%:%

  2937 %:%1294=1347%:%

  2941 %:%1295=1344%:%

  2938 %:%1295=1348%:%

  2942 %:%1296=1345%:%

  2939 %:%1296=1349%:%

  2943 %:%1297=1346%:%

  2940 %:%1297=1350%:%

  2944 %:%1298=1347%:%

  2941 %:%1298=1351%:%

  2945 %:%1299=1348%:%

  2942 %:%1299=1352%:%

  2946 %:%1300=1349%:%

  2943 %:%1300=1353%:%

  2947 %:%1301=1350%:%

  2944 %:%1301=1354%:%

  2948 %:%1302=1351%:%

  2945 %:%1302=1355%:%

  2949 %:%1303=1352%:%

  2946 %:%1303=1356%:%

  2950 %:%1304=1353%:%

  2947 %:%1304=1357%:%

  2951 %:%1305=1354%:%

  2948 %:%1305=1358%:%

  2952 %:%1306=1355%:%

  2949 %:%1306=1359%:%

  2953 %:%1307=1356%:%

  2950 %:%1307=1360%:%

  2954 %:%1308=1357%:%

  2951 %:%1308=1361%:%

  2955 %:%1309=1358%:%

  2952 %:%1309=1362%:%

  2956 %:%1310=1359%:%

  2953 %:%1310=1363%:%

  2957 %:%1311=1360%:%

  2954 %:%1311=1364%:%

  2958 %:%1312=1361%:%

  2955 %:%1312=1365%:%

  2959 %:%1313=1362%:%

  2956 %:%1313=1366%:%

  2960 %:%1314=1363%:%

  2957 %:%1314=1367%:%

  2961 %:%1315=1364%:%

  2958 %:%1315=1368%:%

  2962 %:%1316=1365%:%

  2959 %:%1316=1369%:%

  2963 %:%1317=1366%:%

  2960 %:%1317=1370%:%

  2964 %:%1318=1367%:%

  2961 %:%1318=1371%:%

  2965 %:%1319=1368%:%

  2962 %:%1319=1372%:%

  2966 %:%1320=1369%:%

  2963 %:%1320=1373%:%

  2967 %:%1321=1370%:%

  2964 %:%1321=1374%:%

  2968 %:%1322=1371%:%

  2965 %:%1322=1375%:%

  2969 %:%1323=1372%:%

  2966 %:%1323=1376%:%

  2970 %:%1324=1373%:%

  2967 %:%1324=1377%:%

  2971 %:%1325=1374%:%

  2968 %:%1325=1378%:%

  2972 %:%1326=1375%:%

  2969 %:%1326=1379%:%

  2973 %:%1327=1376%:%

  2970 %:%1327=1380%:%

  2974 %:%1328=1377%:%

  2971 %:%1328=1381%:%

  2975 %:%1329=1378%:%

  2972 %:%1329=1382%:%

  2976 %:%1330=1379%:%

  2973 %:%1330=1383%:%

  2977 %:%1331=1380%:%

  2974 %:%1331=1384%:%

  2978 %:%1332=1381%:%

  2975 %:%1332=1385%:%

  2979 %:%1333=1382%:%

  2976 %:%1333=1386%:%

  2980 %:%1334=1383%:%

  2977 %:%1334=1387%:%

  2981 %:%1335=1384%:%

  2978 %:%1335=1388%:%

  2982 %:%1336=1385%:%

  2979 %:%1336=1389%:%

  2983 %:%1337=1386%:%

  2980 %:%1337=1390%:%

  2984 %:%1338=1387%:%

  2981 %:%1338=1391%:%

  2985 %:%1339=1388%:%

  2982 %:%1338=1392%:%

  2986 %:%1340=1389%:%

  2983 %:%1339=1393%:%

  2987 %:%1341=1390%:%

  2984 %:%1339=1394%:%

  2988 %:%1341=1391%:%

  2985 %:%1340=1395%:%

  2989 %:%1342=1392%:%

  2986 %:%1340=1396%:%

  2990 %:%1342=1393%:%

  2987 %:%1341=1397%:%

  2991 %:%1343=1394%:%

  2988 %:%1342=1398%:%

  2992 %:%1343=1395%:%

  2989 %:%1343=1399%:%

  2993 %:%1344=1396%:%

  2990 %:%1344=1400%:%

  2994 %:%1345=1397%:%

  2991 %:%1345=1401%:%

  2995 %:%1346=1398%:%

  2992 %:%1346=1402%:%

  2996 %:%1347=1399%:%

  2993 %:%1347=1403%:%

  2997 %:%1348=1400%:%

  2994 %:%1347=1404%:%

  2998 %:%1349=1401%:%

  2995 %:%1348=1405%:%

  2999 %:%1350=1402%:%

  2996 %:%1348=1406%:%

  3000 %:%1350=1403%:%

  2997 %:%1349=1407%:%

  3001 %:%1351=1404%:%

  2998 %:%1349=1408%:%

  3002 %:%1351=1405%:%

  2999 %:%1350=1409%:%

  3003 %:%1352=1406%:%

  3000 %:%1351=1410%:%

  3004 %:%1352=1407%:%

  3001 %:%1352=1411%:%

  3005 %:%1353=1408%:%

  3002 %:%1353=1412%:%

  3006 %:%1354=1409%:%

  3003 %:%1354=1413%:%

  3007 %:%1355=1410%:%

  3004 %:%1355=1414%:%

  3008 %:%1356=1411%:%

  3005 %:%1356=1415%:%

  3009 %:%1357=1412%:%

  3006 %:%1357=1416%:%

  3010 %:%1358=1413%:%

  3007 %:%1358=1417%:%

  3011 %:%1359=1414%:%

  3008 %:%1359=1418%:%

  3012 %:%1360=1415%:%

  3009 %:%1360=1419%:%

  3013 %:%1361=1416%:%

  3010 %:%1361=1420%:%

  3014 %:%1362=1417%:%

  3011 %:%1362=1421%:%

  3015 %:%1363=1418%:%

  3012 %:%1363=1422%:%

  3016 %:%1364=1419%:%

  3013 %:%1364=1423%:%

  3017 %:%1365=1420%:%

  3014 %:%1365=1424%:%