YES Problem: a(c(x)) -> b(b(x)) c(b(x)) -> a(c(x)) c(a(x)) -> a(c(x)) b(a(x)) -> a(b(x)) b(b(x)) -> a(c(x)) a(b(x)) -> b(c(x)) c(c(x)) -> a(c(x)) Proof: Church Rosser Transformation Processor (no redundant rules): strict: weak: critical peaks: 16 c(a(c(x293))) <-0|0[]- c(c(c(x293))) -0|[]-> a(c(c(x293))) a(a(c(x294))) <-0|0[]- a(c(c(x294))) -6|[]-> b(b(c(x294))) b(b(c(x295))) <-1|0[]- b(a(b(x295))) -3|[]-> a(b(b(x295))) c(b(c(x296))) <-1|0[]- c(a(b(x296))) -4|[]-> a(c(b(x296))) a(a(c(x297))) <-2|0[]- a(b(b(x297))) -1|[]-> b(c(b(x297))) b(a(c(x298))) <-2|0[]- b(b(b(x298))) -2|[]-> a(c(b(x298))) c(a(c(x299))) <-2|0[]- c(b(b(x299))) -5|[]-> a(c(b(x299))) a(a(b(x300))) <-3|0[]- a(b(a(x300))) -1|[]-> b(c(a(x300))) b(a(b(x301))) <-3|0[]- b(b(a(x301))) -2|[]-> a(c(a(x301))) c(a(b(x302))) <-3|0[]- c(b(a(x302))) -5|[]-> a(c(a(x302))) c(a(c(x303))) <-4|0[]- c(c(a(x303))) -0|[]-> a(c(a(x303))) a(a(c(x304))) <-4|0[]- a(c(a(x304))) -6|[]-> b(b(a(x304))) c(a(c(x305))) <-5|0[]- c(c(b(x305))) -0|[]-> a(c(b(x305))) a(a(c(x306))) <-5|0[]- a(c(b(x306))) -6|[]-> b(b(b(x306))) b(b(b(x307))) <-6|0[]- b(a(c(x307))) -3|[]-> a(b(c(x307))) c(b(b(x308))) <-6|0[]- c(a(c(x308))) -4|[]-> a(c(c(x308))) Redundant Rules Transformation: c(c(x)) -> a(c(x)) a(b(x)) -> b(c(x)) b(b(x)) -> a(c(x)) b(a(x)) -> a(b(x)) c(a(x)) -> a(c(x)) c(b(x)) -> a(c(x)) a(c(x)) -> b(b(x)) c(b(b(x308))) -> a(a(c(x308))) c(b(b(x308))) -> a(c(c(x308))) b(b(b(x307))) -> a(b(c(x307))) c(a(c(x305))) -> a(c(b(x305))) c(a(c(x305))) -> a(a(c(x305))) c(a(c(x303))) -> a(a(c(x303))) c(a(b(x302))) -> a(a(c(x302))) b(a(b(x301))) -> a(a(c(x301))) c(a(c(x299))) -> a(c(b(x299))) c(a(c(x299))) -> a(a(c(x299))) a(a(c(x297))) -> b(c(b(x297))) c(b(c(x296))) -> a(a(c(x296))) b(b(c(x295))) -> a(a(c(x295))) a(b(c(x307))) -> b(a(c(x307))) b(b(b(x306))) -> a(a(c(x306))) b(b(a(x304))) -> a(b(b(x304))) b(b(a(x304))) -> a(a(c(x304))) a(c(a(x301))) -> a(b(b(x301))) a(c(a(x301))) -> b(a(b(x301))) b(c(a(x300))) -> a(b(c(x300))) b(b(c(x294))) -> a(a(c(x294))) Church Rosser Transformation Processor (no redundant rules): strict: weak: critical peaks: 291 b(a(a(c(x1869)))) <-0|0[]- b(b(b(c(x1869)))) -6|[]-> a(a(c(c(x1869)))) b(b(a(a(c(x1870))))) <-0|0,0[]- b(b(b(b(c(x1870))))) -6|[]-> a(a(c(b(c(x1870))))) b(a(a(a(c(x1871))))) <-0|0,0[]- b(a(b(b(c(x1871))))) -12|[]-> a(a(c(b(c(x1871))))) c(a(a(a(c(x1872))))) <-0|0,0[]- c(a(b(b(c(x1872))))) -13|[]-> a(a(c(b(c(x1872))))) b(a(a(c(x1873)))) <-0|0[]- b(b(b(c(x1873)))) -14|[]-> a(b(c(c(x1873)))) b(b(a(a(c(x1874))))) <-0|0,0[]- b(b(b(b(c(x1874))))) -14|[]-> a(b(c(b(c(x1874))))) c(a(a(c(x1875)))) <-0|0[]- c(b(b(c(x1875)))) -15|[]-> a(c(c(c(x1875)))) c(b(a(a(c(x1876))))) <-0|0,0[]- c(b(b(b(c(x1876))))) -15|[]-> a(c(c(b(c(x1876))))) c(a(a(c(x1877)))) <-0|0[]- c(b(b(c(x1877)))) -16|[]-> a(a(c(c(x1877)))) c(b(a(a(c(x1878))))) <-0|0,0[]- c(b(b(b(c(x1878))))) -16|[]-> a(a(c(b(c(x1878))))) c(a(a(c(x1879)))) <-0|0[]- c(b(b(c(x1879)))) -18|[]-> a(c(b(c(x1879)))) a(a(c(x1880))) <-0|[]- b(b(c(x1880))) -21|[]-> a(c(c(x1880))) b(a(a(c(x1881)))) <-0|0[]- b(b(b(c(x1881)))) -21|[]-> a(c(b(c(x1881)))) a(a(a(c(x1882)))) <-0|0[]- a(b(b(c(x1882)))) -22|[]-> b(c(b(c(x1882)))) b(a(b(c(x1883)))) <-1|0[]- b(b(c(a(x1883)))) -0|[]-> a(a(c(a(x1883)))) b(b(a(b(c(x1884))))) <-1|0,0[]- b(b(b(c(a(x1884))))) -6|[]-> a(a(c(c(a(x1884))))) a(a(b(c(x1885)))) <-1|0[]- a(b(c(a(x1885)))) -7|[]-> b(a(c(a(x1885)))) c(a(b(c(x1886)))) <-1|0[]- c(b(c(a(x1886)))) -8|[]-> a(a(c(a(x1886)))) b(a(a(b(c(x1887))))) <-1|0,0[]- b(a(b(c(a(x1887))))) -12|[]-> a(a(c(c(a(x1887))))) c(a(a(b(c(x1888))))) <-1|0,0[]- c(a(b(c(a(x1888))))) -13|[]-> a(a(c(c(a(x1888))))) b(b(a(b(c(x1889))))) <-1|0,0[]- b(b(b(c(a(x1889))))) -14|[]-> a(b(c(c(a(x1889))))) c(b(a(b(c(x1890))))) <-1|0,0[]- c(b(b(c(a(x1890))))) -15|[]-> a(c(c(c(a(x1890))))) c(b(a(b(c(x1891))))) <-1|0,0[]- c(b(b(c(a(x1891))))) -16|[]-> a(a(c(c(a(x1891))))) c(a(b(c(x1892)))) <-1|0[]- c(b(c(a(x1892)))) -18|[]-> a(c(c(a(x1892)))) b(a(b(c(x1893)))) <-1|0[]- b(b(c(a(x1893)))) -21|[]-> a(c(c(a(x1893)))) a(a(b(c(x1894)))) <-1|0[]- a(b(c(a(x1894)))) -22|[]-> b(c(c(a(x1894)))) b(c(b(a(b(x1895))))) <-2|0,0[]- b(c(a(c(a(x1895))))) -1|[]-> a(b(c(c(a(x1895))))) a(c(b(a(b(x1896))))) <-2|0,0[]- a(c(a(c(a(x1896))))) -2|[]-> b(a(b(c(a(x1896))))) b(a(b(x301))) <-2|[]- a(c(a(x301))) -3|[]-> a(b(b(x301))) a(c(b(a(b(x1898))))) <-2|0,0[]- a(c(a(c(a(x1898))))) -3|[]-> a(b(b(c(a(x1898))))) b(b(b(a(b(x1899))))) <-2|0,0[]- b(b(a(c(a(x1899))))) -4|[]-> a(a(c(c(a(x1899))))) b(b(b(a(b(x1900))))) <-2|0,0[]- b(b(a(c(a(x1900))))) -5|[]-> a(b(b(c(a(x1900))))) a(b(a(b(x1901)))) <-2|0[]- a(a(c(a(x1901)))) -9|[]-> b(c(b(a(x1901)))) c(b(a(b(x1902)))) <-2|0[]- c(a(c(a(x1902)))) -10|[]-> a(a(c(a(x1902)))) c(b(a(b(x1903)))) <-2|0[]- c(a(c(a(x1903)))) -11|[]-> a(c(b(a(x1903)))) b(a(b(x1904))) <-2|[]- a(c(a(x1904))) -17|[]-> b(b(a(x1904))) c(b(a(b(x1905)))) <-2|0[]- c(a(c(a(x1905)))) -19|[]-> a(c(c(a(x1905)))) b(b(a(b(x1906)))) <-2|0[]- b(a(c(a(x1906)))) -20|[]-> a(b(c(a(x1906)))) b(c(a(b(b(x1907))))) <-3|0,0[]- b(c(a(c(a(x1907))))) -1|[]-> a(b(c(c(a(x1907))))) a(b(b(x301))) <-3|[]- a(c(a(x301))) -2|[]-> b(a(b(x301))) a(c(a(b(b(x1909))))) <-3|0,0[]- a(c(a(c(a(x1909))))) -2|[]-> b(a(b(c(a(x1909))))) a(c(a(b(b(x1910))))) <-3|0,0[]- a(c(a(c(a(x1910))))) -3|[]-> a(b(b(c(a(x1910))))) b(b(a(b(b(x1911))))) <-3|0,0[]- b(b(a(c(a(x1911))))) -4|[]-> a(a(c(c(a(x1911))))) b(b(a(b(b(x1912))))) <-3|0,0[]- b(b(a(c(a(x1912))))) -5|[]-> a(b(b(c(a(x1912))))) a(a(b(b(x1913)))) <-3|0[]- a(a(c(a(x1913)))) -9|[]-> b(c(b(a(x1913)))) c(a(b(b(x1914)))) <-3|0[]- c(a(c(a(x1914)))) -10|[]-> a(a(c(a(x1914)))) c(a(b(b(x1915)))) <-3|0[]- c(a(c(a(x1915)))) -11|[]-> a(c(b(a(x1915)))) a(b(b(x1916))) <-3|[]- a(c(a(x1916))) -17|[]-> b(b(a(x1916))) c(a(b(b(x1917)))) <-3|0[]- c(a(c(a(x1917)))) -19|[]-> a(c(c(a(x1917)))) b(a(b(b(x1918)))) <-3|0[]- b(a(c(a(x1918)))) -20|[]-> a(b(c(a(x1918)))) a(a(c(x304))) <-4|[]- b(b(a(x304))) -5|[]-> a(b(b(x304))) b(a(a(c(x1920)))) <-4|0[]- b(b(b(a(x1920)))) -6|[]-> a(a(c(a(x1920)))) b(b(a(a(c(x1921))))) <-4|0,0[]- b(b(b(b(a(x1921))))) -6|[]-> a(a(c(b(a(x1921))))) b(a(a(a(c(x1922))))) <-4|0,0[]- b(a(b(b(a(x1922))))) -12|[]-> a(a(c(b(a(x1922))))) c(a(a(a(c(x1923))))) <-4|0,0[]- c(a(b(b(a(x1923))))) -13|[]-> a(a(c(b(a(x1923))))) b(a(a(c(x1924)))) <-4|0[]- b(b(b(a(x1924)))) -14|[]-> a(b(c(a(x1924)))) b(b(a(a(c(x1925))))) <-4|0,0[]- b(b(b(b(a(x1925))))) -14|[]-> a(b(c(b(a(x1925))))) c(a(a(c(x1926)))) <-4|0[]- c(b(b(a(x1926)))) -15|[]-> a(c(c(a(x1926)))) c(b(a(a(c(x1927))))) <-4|0,0[]- c(b(b(b(a(x1927))))) -15|[]-> a(c(c(b(a(x1927))))) c(a(a(c(x1928)))) <-4|0[]- c(b(b(a(x1928)))) -16|[]-> a(a(c(a(x1928)))) c(b(a(a(c(x1929))))) <-4|0,0[]- c(b(b(b(a(x1929))))) -16|[]-> a(a(c(b(a(x1929))))) c(a(a(c(x1930)))) <-4|0[]- c(b(b(a(x1930)))) -18|[]-> a(c(b(a(x1930)))) a(a(c(x1931))) <-4|[]- b(b(a(x1931))) -21|[]-> a(c(a(x1931))) b(a(a(c(x1932)))) <-4|0[]- b(b(b(a(x1932)))) -21|[]-> a(c(b(a(x1932)))) a(a(a(c(x1933)))) <-4|0[]- a(b(b(a(x1933)))) -22|[]-> b(c(b(a(x1933)))) a(b(b(x304))) <-5|[]- b(b(a(x304))) -4|[]-> a(a(c(x304))) b(a(b(b(x1935)))) <-5|0[]- b(b(b(a(x1935)))) -6|[]-> a(a(c(a(x1935)))) b(b(a(b(b(x1936))))) <-5|0,0[]- b(b(b(b(a(x1936))))) -6|[]-> a(a(c(b(a(x1936))))) b(a(a(b(b(x1937))))) <-5|0,0[]- b(a(b(b(a(x1937))))) -12|[]-> a(a(c(b(a(x1937))))) c(a(a(b(b(x1938))))) <-5|0,0[]- c(a(b(b(a(x1938))))) -13|[]-> a(a(c(b(a(x1938))))) b(a(b(b(x1939)))) <-5|0[]- b(b(b(a(x1939)))) -14|[]-> a(b(c(a(x1939)))) b(b(a(b(b(x1940))))) <-5|0,0[]- b(b(b(b(a(x1940))))) -14|[]-> a(b(c(b(a(x1940))))) c(a(b(b(x1941)))) <-5|0[]- c(b(b(a(x1941)))) -15|[]-> a(c(c(a(x1941)))) c(b(a(b(b(x1942))))) <-5|0,0[]- c(b(b(b(a(x1942))))) -15|[]-> a(c(c(b(a(x1942))))) c(a(b(b(x1943)))) <-5|0[]- c(b(b(a(x1943)))) -16|[]-> a(a(c(a(x1943)))) c(b(a(b(b(x1944))))) <-5|0,0[]- c(b(b(b(a(x1944))))) -16|[]-> a(a(c(b(a(x1944))))) c(a(b(b(x1945)))) <-5|0[]- c(b(b(a(x1945)))) -18|[]-> a(c(b(a(x1945)))) a(b(b(x1946))) <-5|[]- b(b(a(x1946))) -21|[]-> a(c(a(x1946))) b(a(b(b(x1947)))) <-5|0[]- b(b(b(a(x1947)))) -21|[]-> a(c(b(a(x1947)))) a(a(b(b(x1948)))) <-5|0[]- a(b(b(a(x1948)))) -22|[]-> b(c(b(a(x1948)))) b(a(a(c(x1949)))) <-6|0[]- b(b(b(b(x1949)))) -6|[]-> a(a(c(b(x1949)))) b(b(a(a(c(x1950))))) <-6|0,0[]- b(b(b(b(b(x1950))))) -6|[]-> a(a(c(b(b(x1950))))) b(a(a(a(c(x1951))))) <-6|0,0[]- b(a(b(b(b(x1951))))) -12|[]-> a(a(c(b(b(x1951))))) c(a(a(a(c(x1952))))) <-6|0,0[]- c(a(b(b(b(x1952))))) -13|[]-> a(a(c(b(b(x1952))))) a(a(c(x307))) <-6|[]- b(b(b(x307))) -14|[]-> a(b(c(x307))) b(a(a(c(x1954)))) <-6|0[]- b(b(b(b(x1954)))) -14|[]-> a(b(c(b(x1954)))) b(b(a(a(c(x1955))))) <-6|0,0[]- b(b(b(b(b(x1955))))) -14|[]-> a(b(c(b(b(x1955))))) c(a(a(c(x1956)))) <-6|0[]- c(b(b(b(x1956)))) -15|[]-> a(c(c(b(x1956)))) c(b(a(a(c(x1957))))) <-6|0,0[]- c(b(b(b(b(x1957))))) -15|[]-> a(c(c(b(b(x1957))))) c(a(a(c(x1958)))) <-6|0[]- c(b(b(b(x1958)))) -16|[]-> a(a(c(b(x1958)))) c(b(a(a(c(x1959))))) <-6|0,0[]- c(b(b(b(b(x1959))))) -16|[]-> a(a(c(b(b(x1959))))) c(a(a(c(x1960)))) <-6|0[]- c(b(b(b(x1960)))) -18|[]-> a(c(b(b(x1960)))) a(a(c(x1961))) <-6|[]- b(b(b(x1961))) -21|[]-> a(c(b(x1961))) b(a(a(c(x1962)))) <-6|0[]- b(b(b(b(x1962)))) -21|[]-> a(c(b(b(x1962)))) a(a(a(c(x1963)))) <-6|0[]- a(b(b(b(x1963)))) -22|[]-> b(c(b(b(x1963)))) b(c(b(a(c(x1964))))) <-7|0,0[]- b(c(a(b(c(x1964))))) -1|[]-> a(b(c(b(c(x1964))))) a(c(b(a(c(x1965))))) <-7|0,0[]- a(c(a(b(c(x1965))))) -2|[]-> b(a(b(b(c(x1965))))) a(c(b(a(c(x1966))))) <-7|0,0[]- a(c(a(b(c(x1966))))) -3|[]-> a(b(b(b(c(x1966))))) b(b(b(a(c(x1967))))) <-7|0,0[]- b(b(a(b(c(x1967))))) -4|[]-> a(a(c(b(c(x1967))))) b(b(b(a(c(x1968))))) <-7|0,0[]- b(b(a(b(c(x1968))))) -5|[]-> a(b(b(b(c(x1968))))) b(b(a(c(x1969)))) <-7|0[]- b(a(b(c(x1969)))) -12|[]-> a(a(c(c(x1969)))) c(b(a(c(x1970)))) <-7|0[]- c(a(b(c(x1970)))) -13|[]-> a(a(c(c(x1970)))) c(b(a(c(x1971)))) <-7|0[]- c(a(b(c(x1971)))) -19|[]-> a(c(b(c(x1971)))) b(b(a(c(x1972)))) <-7|0[]- b(a(b(c(x1972)))) -20|[]-> a(b(b(c(x1972)))) b(a(c(x1973))) <-7|[]- a(b(c(x1973))) -22|[]-> b(c(c(x1973))) b(b(a(a(c(x1974))))) <-8|0,0[]- b(b(c(b(c(x1974))))) -0|[]-> a(a(c(b(c(x1974))))) a(b(a(a(c(x1975))))) <-8|0,0[]- a(b(c(b(c(x1975))))) -7|[]-> b(a(c(b(c(x1975))))) c(b(a(a(c(x1976))))) <-8|0,0[]- c(b(c(b(c(x1976))))) -8|[]-> a(a(c(b(c(x1976))))) a(a(a(a(c(x1977))))) <-8|0,0[]- a(a(c(b(c(x1977))))) -9|[]-> b(c(b(b(c(x1977))))) c(a(a(a(c(x1978))))) <-8|0,0[]- c(a(c(b(c(x1978))))) -10|[]-> a(a(c(b(c(x1978))))) c(a(a(a(c(x1979))))) <-8|0,0[]- c(a(c(b(c(x1979))))) -11|[]-> a(c(b(b(c(x1979))))) a(a(a(c(x1980)))) <-8|0[]- a(c(b(c(x1980)))) -17|[]-> b(b(b(c(x1980)))) a(a(c(x1981))) <-8|[]- c(b(c(x1981))) -18|[]-> a(c(c(x1981))) c(a(a(c(x1982)))) <-8|0[]- c(c(b(c(x1982)))) -23|[]-> a(c(b(c(x1982)))) b(c(b(c(b(x1983))))) <-9|0,0[]- b(c(a(a(c(x1983))))) -1|[]-> a(b(c(a(c(x1983))))) a(c(b(c(b(x1984))))) <-9|0,0[]- a(c(a(a(c(x1984))))) -2|[]-> b(a(b(a(c(x1984))))) a(c(b(c(b(x1985))))) <-9|0,0[]- a(c(a(a(c(x1985))))) -3|[]-> a(b(b(a(c(x1985))))) b(b(b(c(b(x1986))))) <-9|0,0[]- b(b(a(a(c(x1986))))) -4|[]-> a(a(c(a(c(x1986))))) b(b(b(c(b(x1987))))) <-9|0,0[]- b(b(a(a(c(x1987))))) -5|[]-> a(b(b(a(c(x1987))))) c(b(c(b(x1988)))) <-9|0[]- c(a(a(c(x1988)))) -19|[]-> a(c(a(c(x1988)))) b(b(c(b(x1989)))) <-9|0[]- b(a(a(c(x1989)))) -20|[]-> a(b(a(c(x1989)))) b(b(a(a(c(x1990))))) <-10|0,0[]- b(b(c(a(c(x1990))))) -0|[]-> a(a(c(a(c(x1990))))) b(a(a(c(x1991)))) <-10|0[]- b(c(a(c(x1991)))) -1|[]-> a(b(c(c(x1991)))) a(a(a(c(x1992)))) <-10|0[]- a(c(a(c(x1992)))) -2|[]-> b(a(b(c(x1992)))) a(a(a(c(x1993)))) <-10|0[]- a(c(a(c(x1993)))) -3|[]-> a(b(b(c(x1993)))) a(b(a(a(c(x1994))))) <-10|0,0[]- a(b(c(a(c(x1994))))) -7|[]-> b(a(c(a(c(x1994))))) c(b(a(a(c(x1995))))) <-10|0,0[]- c(b(c(a(c(x1995))))) -8|[]-> a(a(c(a(c(x1995))))) a(a(a(a(c(x1996))))) <-10|0,0[]- a(a(c(a(c(x1996))))) -9|[]-> b(c(b(a(c(x1996))))) c(a(a(a(c(x1997))))) <-10|0,0[]- c(a(c(a(c(x1997))))) -10|[]-> a(a(c(a(c(x1997))))) a(a(c(x299))) <-10|[]- c(a(c(x299))) -11|[]-> a(c(b(x299))) c(a(a(a(c(x1999))))) <-10|0,0[]- c(a(c(a(c(x1999))))) -11|[]-> a(c(b(a(c(x1999))))) a(a(a(c(x2000)))) <-10|0[]- a(c(a(c(x2000)))) -17|[]-> b(b(a(c(x2000)))) a(a(c(x2001))) <-10|[]- c(a(c(x2001))) -19|[]-> a(c(c(x2001))) c(a(a(c(x2002)))) <-10|0[]- c(c(a(c(x2002)))) -23|[]-> a(c(a(c(x2002)))) b(b(a(c(b(x2003))))) <-11|0,0[]- b(b(c(a(c(x2003))))) -0|[]-> a(a(c(a(c(x2003))))) b(a(c(b(x2004)))) <-11|0[]- b(c(a(c(x2004)))) -1|[]-> a(b(c(c(x2004)))) a(a(c(b(x2005)))) <-11|0[]- a(c(a(c(x2005)))) -2|[]-> b(a(b(c(x2005)))) a(a(c(b(x2006)))) <-11|0[]- a(c(a(c(x2006)))) -3|[]-> a(b(b(c(x2006)))) a(b(a(c(b(x2007))))) <-11|0,0[]- a(b(c(a(c(x2007))))) -7|[]-> b(a(c(a(c(x2007))))) c(b(a(c(b(x2008))))) <-11|0,0[]- c(b(c(a(c(x2008))))) -8|[]-> a(a(c(a(c(x2008))))) a(a(a(c(b(x2009))))) <-11|0,0[]- a(a(c(a(c(x2009))))) -9|[]-> b(c(b(a(c(x2009))))) a(c(b(x299))) <-11|[]- c(a(c(x299))) -10|[]-> a(a(c(x299))) c(a(a(c(b(x2011))))) <-11|0,0[]- c(a(c(a(c(x2011))))) -10|[]-> a(a(c(a(c(x2011))))) c(a(a(c(b(x2012))))) <-11|0,0[]- c(a(c(a(c(x2012))))) -11|[]-> a(c(b(a(c(x2012))))) a(a(c(b(x2013)))) <-11|0[]- a(c(a(c(x2013)))) -17|[]-> b(b(a(c(x2013)))) a(c(b(x2014))) <-11|[]- c(a(c(x2014))) -19|[]-> a(c(c(x2014))) c(a(c(b(x2015)))) <-11|0[]- c(c(a(c(x2015)))) -23|[]-> a(c(a(c(x2015)))) b(a(a(c(x2016)))) <-12|0[]- b(b(a(b(x2016)))) -4|[]-> a(a(c(b(x2016)))) b(a(a(c(x2017)))) <-12|0[]- b(b(a(b(x2017)))) -5|[]-> a(b(b(b(x2017)))) b(b(a(a(c(x2018))))) <-12|0,0[]- b(b(b(a(b(x2018))))) -6|[]-> a(a(c(a(b(x2018))))) b(a(a(a(c(x2019))))) <-12|0,0[]- b(a(b(a(b(x2019))))) -12|[]-> a(a(c(a(b(x2019))))) c(a(a(a(c(x2020))))) <-12|0,0[]- c(a(b(a(b(x2020))))) -13|[]-> a(a(c(a(b(x2020))))) b(b(a(a(c(x2021))))) <-12|0,0[]- b(b(b(a(b(x2021))))) -14|[]-> a(b(c(a(b(x2021))))) c(b(a(a(c(x2022))))) <-12|0,0[]- c(b(b(a(b(x2022))))) -15|[]-> a(c(c(a(b(x2022))))) c(b(a(a(c(x2023))))) <-12|0,0[]- c(b(b(a(b(x2023))))) -16|[]-> a(a(c(a(b(x2023))))) c(a(a(c(x2024)))) <-12|0[]- c(b(a(b(x2024)))) -18|[]-> a(c(a(b(x2024)))) a(a(c(x2025))) <-12|[]- b(a(b(x2025))) -20|[]-> a(b(b(x2025))) b(a(a(c(x2026)))) <-12|0[]- b(b(a(b(x2026)))) -21|[]-> a(c(a(b(x2026)))) a(a(a(c(x2027)))) <-12|0[]- a(b(a(b(x2027)))) -22|[]-> b(c(a(b(x2027)))) b(b(a(a(c(x2028))))) <-13|0,0[]- b(b(c(a(b(x2028))))) -0|[]-> a(a(c(a(b(x2028))))) b(a(a(c(x2029)))) <-13|0[]- b(c(a(b(x2029)))) -1|[]-> a(b(c(b(x2029)))) a(a(a(c(x2030)))) <-13|0[]- a(c(a(b(x2030)))) -2|[]-> b(a(b(b(x2030)))) a(a(a(c(x2031)))) <-13|0[]- a(c(a(b(x2031)))) -3|[]-> a(b(b(b(x2031)))) a(b(a(a(c(x2032))))) <-13|0,0[]- a(b(c(a(b(x2032))))) -7|[]-> b(a(c(a(b(x2032))))) c(b(a(a(c(x2033))))) <-13|0,0[]- c(b(c(a(b(x2033))))) -8|[]-> a(a(c(a(b(x2033))))) a(a(a(a(c(x2034))))) <-13|0,0[]- a(a(c(a(b(x2034))))) -9|[]-> b(c(b(a(b(x2034))))) c(a(a(a(c(x2035))))) <-13|0,0[]- c(a(c(a(b(x2035))))) -10|[]-> a(a(c(a(b(x2035))))) c(a(a(a(c(x2036))))) <-13|0,0[]- c(a(c(a(b(x2036))))) -11|[]-> a(c(b(a(b(x2036))))) a(a(a(c(x2037)))) <-13|0[]- a(c(a(b(x2037)))) -17|[]-> b(b(a(b(x2037)))) a(a(c(x2038))) <-13|[]- c(a(b(x2038))) -19|[]-> a(c(b(x2038))) c(a(a(c(x2039)))) <-13|0[]- c(c(a(b(x2039)))) -23|[]-> a(c(a(b(x2039)))) a(b(c(x306))) <-14|[]- b(b(b(x306))) -6|[]-> a(a(c(x306))) b(a(b(c(x2041)))) <-14|0[]- b(b(b(b(x2041)))) -6|[]-> a(a(c(b(x2041)))) b(b(a(b(c(x2042))))) <-14|0,0[]- b(b(b(b(b(x2042))))) -6|[]-> a(a(c(b(b(x2042))))) b(a(a(b(c(x2043))))) <-14|0,0[]- b(a(b(b(b(x2043))))) -12|[]-> a(a(c(b(b(x2043))))) c(a(a(b(c(x2044))))) <-14|0,0[]- c(a(b(b(b(x2044))))) -13|[]-> a(a(c(b(b(x2044))))) b(a(b(c(x2045)))) <-14|0[]- b(b(b(b(x2045)))) -14|[]-> a(b(c(b(x2045)))) b(b(a(b(c(x2046))))) <-14|0,0[]- b(b(b(b(b(x2046))))) -14|[]-> a(b(c(b(b(x2046))))) c(a(b(c(x2047)))) <-14|0[]- c(b(b(b(x2047)))) -15|[]-> a(c(c(b(x2047)))) c(b(a(b(c(x2048))))) <-14|0,0[]- c(b(b(b(b(x2048))))) -15|[]-> a(c(c(b(b(x2048))))) c(a(b(c(x2049)))) <-14|0[]- c(b(b(b(x2049)))) -16|[]-> a(a(c(b(x2049)))) c(b(a(b(c(x2050))))) <-14|0,0[]- c(b(b(b(b(x2050))))) -16|[]-> a(a(c(b(b(x2050))))) c(a(b(c(x2051)))) <-14|0[]- c(b(b(b(x2051)))) -18|[]-> a(c(b(b(x2051)))) a(b(c(x2052))) <-14|[]- b(b(b(x2052))) -21|[]-> a(c(b(x2052))) b(a(b(c(x2053)))) <-14|0[]- b(b(b(b(x2053)))) -21|[]-> a(c(b(b(x2053)))) a(a(b(c(x2054)))) <-14|0[]- a(b(b(b(x2054)))) -22|[]-> b(c(b(b(x2054)))) b(b(a(c(c(x2055))))) <-15|0,0[]- b(b(c(b(b(x2055))))) -0|[]-> a(a(c(b(b(x2055))))) a(b(a(c(c(x2056))))) <-15|0,0[]- a(b(c(b(b(x2056))))) -7|[]-> b(a(c(b(b(x2056))))) c(b(a(c(c(x2057))))) <-15|0,0[]- c(b(c(b(b(x2057))))) -8|[]-> a(a(c(b(b(x2057))))) a(a(a(c(c(x2058))))) <-15|0,0[]- a(a(c(b(b(x2058))))) -9|[]-> b(c(b(b(b(x2058))))) c(a(a(c(c(x2059))))) <-15|0,0[]- c(a(c(b(b(x2059))))) -10|[]-> a(a(c(b(b(x2059))))) c(a(a(c(c(x2060))))) <-15|0,0[]- c(a(c(b(b(x2060))))) -11|[]-> a(c(b(b(b(x2060))))) a(c(c(x308))) <-15|[]- c(b(b(x308))) -16|[]-> a(a(c(x308))) a(a(c(c(x2062)))) <-15|0[]- a(c(b(b(x2062)))) -17|[]-> b(b(b(b(x2062)))) a(c(c(x2063))) <-15|[]- c(b(b(x2063))) -18|[]-> a(c(b(x2063))) c(a(c(c(x2064)))) <-15|0[]- c(c(b(b(x2064)))) -23|[]-> a(c(b(b(x2064)))) b(b(a(a(c(x2065))))) <-16|0,0[]- b(b(c(b(b(x2065))))) -0|[]-> a(a(c(b(b(x2065))))) a(b(a(a(c(x2066))))) <-16|0,0[]- a(b(c(b(b(x2066))))) -7|[]-> b(a(c(b(b(x2066))))) c(b(a(a(c(x2067))))) <-16|0,0[]- c(b(c(b(b(x2067))))) -8|[]-> a(a(c(b(b(x2067))))) a(a(a(a(c(x2068))))) <-16|0,0[]- a(a(c(b(b(x2068))))) -9|[]-> b(c(b(b(b(x2068))))) c(a(a(a(c(x2069))))) <-16|0,0[]- c(a(c(b(b(x2069))))) -10|[]-> a(a(c(b(b(x2069))))) c(a(a(a(c(x2070))))) <-16|0,0[]- c(a(c(b(b(x2070))))) -11|[]-> a(c(b(b(b(x2070))))) a(a(c(x308))) <-16|[]- c(b(b(x308))) -15|[]-> a(c(c(x308))) a(a(a(c(x2072)))) <-16|0[]- a(c(b(b(x2072)))) -17|[]-> b(b(b(b(x2072)))) a(a(c(x2073))) <-16|[]- c(b(b(x2073))) -18|[]-> a(c(b(x2073))) c(a(a(c(x2074)))) <-16|0[]- c(c(b(b(x2074)))) -23|[]-> a(c(b(b(x2074)))) b(c(b(b(x2075)))) <-17|0,0[]- b(c(a(c(x2075)))) -1|[]-> a(b(c(c(x2075)))) b(b(a(x301))) <-17|[]- a(c(a(x301))) -2|[]-> b(a(b(x301))) a(c(b(b(x2077)))) <-17|0,0[]- a(c(a(c(x2077)))) -2|[]-> b(a(b(c(x2077)))) b(b(a(x301))) <-17|[]- a(c(a(x301))) -3|[]-> a(b(b(x301))) a(c(b(b(x2079)))) <-17|0,0[]- a(c(a(c(x2079)))) -3|[]-> a(b(b(c(x2079)))) b(b(b(b(x2080)))) <-17|0,0[]- b(b(a(c(x2080)))) -4|[]-> a(a(c(c(x2080)))) b(b(b(b(x2081)))) <-17|0,0[]- b(b(a(c(x2081)))) -5|[]-> a(b(b(c(x2081)))) a(b(b(x297))) <-17|0[]- a(a(c(x297))) -9|[]-> b(c(b(x297))) c(b(b(x299))) <-17|0[]- c(a(c(x299))) -10|[]-> a(a(c(x299))) c(b(b(x299))) <-17|0[]- c(a(c(x299))) -11|[]-> a(c(b(x299))) c(b(b(x2085))) <-17|0[]- c(a(c(x2085))) -19|[]-> a(c(c(x2085))) b(b(b(x2086))) <-17|0[]- b(a(c(x2086))) -20|[]-> a(b(c(x2086))) b(b(a(c(x2087)))) <-18|0,0[]- b(b(c(b(x2087)))) -0|[]-> a(a(c(b(x2087)))) a(b(a(c(x2088)))) <-18|0,0[]- a(b(c(b(x2088)))) -7|[]-> b(a(c(b(x2088)))) a(c(c(x296))) <-18|[]- c(b(c(x296))) -8|[]-> a(a(c(x296))) c(b(a(c(x2090)))) <-18|0,0[]- c(b(c(b(x2090)))) -8|[]-> a(a(c(b(x2090)))) a(a(a(c(x2091)))) <-18|0,0[]- a(a(c(b(x2091)))) -9|[]-> b(c(b(b(x2091)))) c(a(a(c(x2092)))) <-18|0,0[]- c(a(c(b(x2092)))) -10|[]-> a(a(c(b(x2092)))) c(a(a(c(x2093)))) <-18|0,0[]- c(a(c(b(x2093)))) -11|[]-> a(c(b(b(x2093)))) a(c(b(x308))) <-18|[]- c(b(b(x308))) -15|[]-> a(c(c(x308))) a(c(b(x308))) <-18|[]- c(b(b(x308))) -16|[]-> a(a(c(x308))) a(a(c(x2096))) <-18|0[]- a(c(b(x2096))) -17|[]-> b(b(b(x2096))) c(a(c(x2097))) <-18|0[]- c(c(b(x2097))) -23|[]-> a(c(b(x2097))) b(b(a(c(x2098)))) <-19|0,0[]- b(b(c(a(x2098)))) -0|[]-> a(a(c(a(x2098)))) b(a(c(x300))) <-19|0[]- b(c(a(x300))) -1|[]-> a(b(c(x300))) a(a(c(x301))) <-19|0[]- a(c(a(x301))) -2|[]-> b(a(b(x301))) a(a(c(x301))) <-19|0[]- a(c(a(x301))) -3|[]-> a(b(b(x301))) a(b(a(c(x2102)))) <-19|0,0[]- a(b(c(a(x2102)))) -7|[]-> b(a(c(a(x2102)))) c(b(a(c(x2103)))) <-19|0,0[]- c(b(c(a(x2103)))) -8|[]-> a(a(c(a(x2103)))) a(a(a(c(x2104)))) <-19|0,0[]- a(a(c(a(x2104)))) -9|[]-> b(c(b(a(x2104)))) a(c(c(x299))) <-19|[]- c(a(c(x299))) -10|[]-> a(a(c(x299))) c(a(a(c(x2106)))) <-19|0,0[]- c(a(c(a(x2106)))) -10|[]-> a(a(c(a(x2106)))) a(c(c(x299))) <-19|[]- c(a(c(x299))) -11|[]-> a(c(b(x299))) c(a(a(c(x2108)))) <-19|0,0[]- c(a(c(a(x2108)))) -11|[]-> a(c(b(a(x2108)))) a(c(b(x302))) <-19|[]- c(a(b(x302))) -13|[]-> a(a(c(x302))) a(a(c(x2110))) <-19|0[]- a(c(a(x2110))) -17|[]-> b(b(a(x2110))) c(a(c(x2111))) <-19|0[]- c(c(a(x2111))) -23|[]-> a(c(a(x2111))) b(a(b(x304))) <-20|0[]- b(b(a(x304))) -4|[]-> a(a(c(x304))) b(a(b(x304))) <-20|0[]- b(b(a(x304))) -5|[]-> a(b(b(x304))) b(b(a(b(x2114)))) <-20|0,0[]- b(b(b(a(x2114)))) -6|[]-> a(a(c(a(x2114)))) a(b(b(x301))) <-20|[]- b(a(b(x301))) -12|[]-> a(a(c(x301))) b(a(a(b(x2116)))) <-20|0,0[]- b(a(b(a(x2116)))) -12|[]-> a(a(c(a(x2116)))) c(a(a(b(x2117)))) <-20|0,0[]- c(a(b(a(x2117)))) -13|[]-> a(a(c(a(x2117)))) b(b(a(b(x2118)))) <-20|0,0[]- b(b(b(a(x2118)))) -14|[]-> a(b(c(a(x2118)))) c(b(a(b(x2119)))) <-20|0,0[]- c(b(b(a(x2119)))) -15|[]-> a(c(c(a(x2119)))) c(b(a(b(x2120)))) <-20|0,0[]- c(b(b(a(x2120)))) -16|[]-> a(a(c(a(x2120)))) c(a(b(x2121))) <-20|0[]- c(b(a(x2121))) -18|[]-> a(c(a(x2121))) b(a(b(x2122))) <-20|0[]- b(b(a(x2122))) -21|[]-> a(c(a(x2122))) a(a(b(x2123))) <-20|0[]- a(b(a(x2123))) -22|[]-> b(c(a(x2123))) a(c(c(x294))) <-21|[]- b(b(c(x294))) -0|[]-> a(a(c(x294))) a(c(a(x304))) <-21|[]- b(b(a(x304))) -4|[]-> a(a(c(x304))) a(c(a(x304))) <-21|[]- b(b(a(x304))) -5|[]-> a(b(b(x304))) a(c(b(x306))) <-21|[]- b(b(b(x306))) -6|[]-> a(a(c(x306))) b(a(c(x306))) <-21|0[]- b(b(b(x306))) -6|[]-> a(a(c(x306))) b(b(a(c(x2129)))) <-21|0,0[]- b(b(b(b(x2129)))) -6|[]-> a(a(c(b(x2129)))) b(a(a(c(x2130)))) <-21|0,0[]- b(a(b(b(x2130)))) -12|[]-> a(a(c(b(x2130)))) c(a(a(c(x2131)))) <-21|0,0[]- c(a(b(b(x2131)))) -13|[]-> a(a(c(b(x2131)))) a(c(b(x307))) <-21|[]- b(b(b(x307))) -14|[]-> a(b(c(x307))) b(a(c(x307))) <-21|0[]- b(b(b(x307))) -14|[]-> a(b(c(x307))) b(b(a(c(x2134)))) <-21|0,0[]- b(b(b(b(x2134)))) -14|[]-> a(b(c(b(x2134)))) c(a(c(x308))) <-21|0[]- c(b(b(x308))) -15|[]-> a(c(c(x308))) c(b(a(c(x2136)))) <-21|0,0[]- c(b(b(b(x2136)))) -15|[]-> a(c(c(b(x2136)))) c(a(c(x308))) <-21|0[]- c(b(b(x308))) -16|[]-> a(a(c(x308))) c(b(a(c(x2138)))) <-21|0,0[]- c(b(b(b(x2138)))) -16|[]-> a(a(c(b(x2138)))) c(a(c(x2139))) <-21|0[]- c(b(b(x2139))) -18|[]-> a(c(b(x2139))) b(a(c(x2140))) <-21|0[]- b(b(b(x2140))) -21|[]-> a(c(b(x2140))) a(a(c(x2141))) <-21|0[]- a(b(b(x2141))) -22|[]-> b(c(b(x2141))) b(c(b(c(x2142)))) <-22|0,0[]- b(c(a(b(x2142)))) -1|[]-> a(b(c(b(x2142)))) a(c(b(c(x2143)))) <-22|0,0[]- a(c(a(b(x2143)))) -2|[]-> b(a(b(b(x2143)))) a(c(b(c(x2144)))) <-22|0,0[]- a(c(a(b(x2144)))) -3|[]-> a(b(b(b(x2144)))) b(b(b(c(x2145)))) <-22|0,0[]- b(b(a(b(x2145)))) -4|[]-> a(a(c(b(x2145)))) b(b(b(c(x2146)))) <-22|0,0[]- b(b(a(b(x2146)))) -5|[]-> a(b(b(b(x2146)))) b(c(c(x307))) <-22|[]- a(b(c(x307))) -7|[]-> b(a(c(x307))) b(b(c(x301))) <-22|0[]- b(a(b(x301))) -12|[]-> a(a(c(x301))) c(b(c(x302))) <-22|0[]- c(a(b(x302))) -13|[]-> a(a(c(x302))) c(b(c(x2150))) <-22|0[]- c(a(b(x2150))) -19|[]-> a(c(b(x2150))) b(b(c(x2151))) <-22|0[]- b(a(b(x2151))) -20|[]-> a(b(b(x2151))) b(b(a(c(x2152)))) <-23|0,0[]- b(b(c(c(x2152)))) -0|[]-> a(a(c(c(x2152)))) a(b(a(c(x2153)))) <-23|0,0[]- a(b(c(c(x2153)))) -7|[]-> b(a(c(c(x2153)))) c(b(a(c(x2154)))) <-23|0,0[]- c(b(c(c(x2154)))) -8|[]-> a(a(c(c(x2154)))) a(a(a(c(x2155)))) <-23|0,0[]- a(a(c(c(x2155)))) -9|[]-> b(c(b(c(x2155)))) c(a(a(c(x2156)))) <-23|0,0[]- c(a(c(c(x2156)))) -10|[]-> a(a(c(c(x2156)))) c(a(a(c(x2157)))) <-23|0,0[]- c(a(c(c(x2157)))) -11|[]-> a(c(b(c(x2157)))) a(a(c(x2158))) <-23|0[]- a(c(c(x2158))) -17|[]-> b(b(c(x2158))) c(a(c(x2159))) <-23|0[]- c(c(c(x2159))) -23|[]-> a(c(c(x2159))) Redundant Rules Transformation: b(b(c(x294))) -> a(a(c(x294))) b(c(a(x300))) -> a(b(c(x300))) a(c(a(x301))) -> b(a(b(x301))) a(c(a(x301))) -> a(b(b(x301))) b(b(a(x304))) -> a(a(c(x304))) b(b(a(x304))) -> a(b(b(x304))) b(b(b(x306))) -> a(a(c(x306))) a(b(c(x307))) -> b(a(c(x307))) c(b(c(x296))) -> a(a(c(x296))) a(a(c(x297))) -> b(c(b(x297))) c(a(c(x299))) -> a(a(c(x299))) c(a(c(x299))) -> a(c(b(x299))) b(a(b(x301))) -> a(a(c(x301))) c(a(b(x302))) -> a(a(c(x302))) b(b(b(x307))) -> a(b(c(x307))) c(b(b(x308))) -> a(c(c(x308))) c(b(b(x308))) -> a(a(c(x308))) a(c(x)) -> b(b(x)) c(b(x)) -> a(c(x)) c(a(x)) -> a(c(x)) b(a(x)) -> a(b(x)) b(b(x)) -> a(c(x)) a(b(x)) -> b(c(x)) c(c(x)) -> a(c(x)) b(b(c(x294))) -> b(c(b(x294))) b(b(c(x294))) -> a(b(b(x294))) b(c(a(x300))) -> b(a(c(x300))) b(c(a(x300))) -> b(c(c(x300))) a(c(a(x301))) -> a(a(c(x301))) a(c(a(x301))) -> b(b(c(x301))) a(c(a(x301))) -> b(c(b(x301))) b(b(a(x304))) -> b(c(b(x304))) b(b(b(x306))) -> b(c(b(x306))) b(b(b(x306))) -> a(b(b(x306))) a(b(c(x307))) -> b(b(b(x307))) a(b(c(x307))) -> a(b(c(x307))) c(b(c(x296))) -> b(c(b(x296))) c(b(c(x296))) -> a(b(b(x296))) a(a(c(x297))) -> b(a(c(x297))) c(a(c(x299))) -> b(c(b(x299))) c(a(c(x299))) -> a(b(b(x299))) c(a(c(x299))) -> b(b(b(x299))) b(a(b(x301))) -> b(c(b(x301))) b(a(b(x301))) -> a(b(b(x301))) c(a(b(x302))) -> b(c(b(x302))) c(a(b(x302))) -> a(b(b(x302))) b(b(b(x307))) -> b(a(c(x307))) b(b(b(x307))) -> b(c(c(x307))) c(b(b(x308))) -> b(b(c(x308))) c(b(b(x308))) -> b(c(b(x308))) c(b(b(x308))) -> a(b(b(x308))) a(c(x)) -> a(c(x)) c(b(x)) -> b(b(x)) c(a(x)) -> b(b(x)) b(a(x)) -> b(c(x)) b(b(x)) -> b(b(x)) c(c(x)) -> b(b(x)) Church Rosser Transformation Processor (no redundant rules): strict: c(c(x)) -> b(b(x)) b(a(x)) -> b(c(x)) c(a(x)) -> b(b(x)) c(b(x)) -> b(b(x)) c(b(b(x308))) -> a(b(b(x308))) c(b(b(x308))) -> b(c(b(x308))) c(b(b(x308))) -> b(b(c(x308))) b(b(b(x307))) -> b(c(c(x307))) c(a(b(x302))) -> a(b(b(x302))) c(a(b(x302))) -> b(c(b(x302))) c(a(c(x299))) -> b(b(b(x299))) c(a(c(x299))) -> a(b(b(x299))) c(a(c(x299))) -> b(c(b(x299))) a(a(c(x297))) -> b(a(c(x297))) c(b(c(x296))) -> a(b(b(x296))) c(b(c(x296))) -> b(c(b(x296))) a(b(c(x307))) -> b(b(b(x307))) b(b(b(x306))) -> a(b(b(x306))) b(b(b(x306))) -> b(c(b(x306))) b(b(a(x304))) -> b(c(b(x304))) a(c(a(x301))) -> b(c(b(x301))) a(c(a(x301))) -> b(b(c(x301))) b(c(a(x300))) -> b(c(c(x300))) b(b(c(x294))) -> a(b(b(x294))) b(b(c(x294))) -> b(c(b(x294))) c(c(x)) -> a(c(x)) a(b(x)) -> b(c(x)) b(b(x)) -> a(c(x)) b(a(x)) -> a(b(x)) c(a(x)) -> a(c(x)) c(b(x)) -> a(c(x)) a(c(x)) -> b(b(x)) c(b(b(x308))) -> a(a(c(x308))) c(b(b(x308))) -> a(c(c(x308))) b(b(b(x307))) -> a(b(c(x307))) c(a(b(x302))) -> a(a(c(x302))) b(a(b(x301))) -> a(a(c(x301))) c(a(c(x299))) -> a(c(b(x299))) c(a(c(x299))) -> a(a(c(x299))) a(a(c(x297))) -> b(c(b(x297))) c(b(c(x296))) -> a(a(c(x296))) a(b(c(x307))) -> b(a(c(x307))) b(b(b(x306))) -> a(a(c(x306))) b(b(a(x304))) -> a(b(b(x304))) b(b(a(x304))) -> a(a(c(x304))) a(c(a(x301))) -> b(a(b(x301))) b(c(a(x300))) -> a(b(c(x300))) b(b(c(x294))) -> a(a(c(x294))) weak: critical peaks: 1249 c(b(b(x8544))) <-0|0[]- c(c(c(x8544))) -0|[]-> b(b(c(x8544))) c(a(b(b(x8545)))) <-0|0,0[]- c(a(c(c(x8545)))) -10|[]-> b(b(b(c(x8545)))) c(a(b(b(x8546)))) <-0|0,0[]- c(a(c(c(x8546)))) -11|[]-> a(b(b(c(x8546)))) c(a(b(b(x8547)))) <-0|0,0[]- c(a(c(c(x8547)))) -12|[]-> b(c(b(c(x8547)))) a(a(b(b(x8548)))) <-0|0,0[]- a(a(c(c(x8548)))) -13|[]-> b(a(c(c(x8548)))) c(b(b(b(x8549)))) <-0|0,0[]- c(b(c(c(x8549)))) -14|[]-> a(b(b(c(x8549)))) c(b(b(b(x8550)))) <-0|0,0[]- c(b(c(c(x8550)))) -15|[]-> b(c(b(c(x8550)))) a(b(b(b(x8551)))) <-0|0,0[]- a(b(c(c(x8551)))) -16|[]-> b(b(b(c(x8551)))) b(b(b(b(x8552)))) <-0|0,0[]- b(b(c(c(x8552)))) -23|[]-> a(b(b(c(x8552)))) b(b(b(b(x8553)))) <-0|0,0[]- b(b(c(c(x8553)))) -24|[]-> b(c(b(c(x8553)))) b(b(x)) <-0|[]- c(c(x)) -25|[]-> a(c(x)) c(b(b(x8555))) <-0|0[]- c(c(c(x8555))) -25|[]-> a(c(c(x8555))) a(b(b(x8556))) <-0|0[]- a(c(c(x8556))) -31|[]-> b(b(c(x8556))) c(a(b(b(x8557)))) <-0|0,0[]- c(a(c(c(x8557)))) -37|[]-> a(c(b(c(x8557)))) c(a(b(b(x8558)))) <-0|0,0[]- c(a(c(c(x8558)))) -38|[]-> a(a(c(c(x8558)))) a(a(b(b(x8559)))) <-0|0,0[]- a(a(c(c(x8559)))) -39|[]-> b(c(b(c(x8559)))) c(b(b(b(x8560)))) <-0|0,0[]- c(b(c(c(x8560)))) -40|[]-> a(a(c(c(x8560)))) a(b(b(b(x8561)))) <-0|0,0[]- a(b(c(c(x8561)))) -41|[]-> b(a(c(c(x8561)))) b(b(b(b(x8562)))) <-0|0,0[]- b(b(c(c(x8562)))) -47|[]-> a(a(c(c(x8562)))) c(b(c(x8563))) <-1|0[]- c(b(a(x8563))) -3|[]-> b(b(a(x8563))) c(b(b(c(x8564)))) <-1|0,0[]- c(b(b(a(x8564)))) -4|[]-> a(b(b(a(x8564)))) c(b(b(c(x8565)))) <-1|0,0[]- c(b(b(a(x8565)))) -5|[]-> b(c(b(a(x8565)))) c(b(b(c(x8566)))) <-1|0,0[]- c(b(b(a(x8566)))) -6|[]-> b(b(c(a(x8566)))) b(b(b(c(x8567)))) <-1|0,0[]- b(b(b(a(x8567)))) -7|[]-> b(c(c(a(x8567)))) c(a(b(c(x8568)))) <-1|0,0[]- c(a(b(a(x8568)))) -8|[]-> a(b(b(a(x8568)))) c(a(b(c(x8569)))) <-1|0,0[]- c(a(b(a(x8569)))) -9|[]-> b(c(b(a(x8569)))) b(b(b(c(x8570)))) <-1|0,0[]- b(b(b(a(x8570)))) -17|[]-> a(b(b(a(x8570)))) b(b(b(c(x8571)))) <-1|0,0[]- b(b(b(a(x8571)))) -18|[]-> b(c(b(a(x8571)))) b(b(c(x304))) <-1|0[]- b(b(a(x304))) -19|[]-> b(c(b(x304))) a(b(c(x8573))) <-1|0[]- a(b(a(x8573))) -26|[]-> b(c(a(x8573))) b(b(c(x8574))) <-1|0[]- b(b(a(x8574))) -27|[]-> a(c(a(x8574))) b(c(x)) <-1|[]- b(a(x)) -28|[]-> a(b(x)) c(b(c(x8576))) <-1|0[]- c(b(a(x8576))) -30|[]-> a(c(a(x8576))) c(b(b(c(x8577)))) <-1|0,0[]- c(b(b(a(x8577)))) -32|[]-> a(a(c(a(x8577)))) c(b(b(c(x8578)))) <-1|0,0[]- c(b(b(a(x8578)))) -33|[]-> a(c(c(a(x8578)))) b(b(b(c(x8579)))) <-1|0,0[]- b(b(b(a(x8579)))) -34|[]-> a(b(c(a(x8579)))) c(a(b(c(x8580)))) <-1|0,0[]- c(a(b(a(x8580)))) -35|[]-> a(a(c(a(x8580)))) b(c(b(x301))) <-1|[]- b(a(b(x301))) -36|[]-> a(a(c(x301))) b(a(b(c(x8582)))) <-1|0,0[]- b(a(b(a(x8582)))) -36|[]-> a(a(c(a(x8582)))) b(b(b(c(x8583)))) <-1|0,0[]- b(b(b(a(x8583)))) -42|[]-> a(a(c(a(x8583)))) b(b(c(x304))) <-1|0[]- b(b(a(x304))) -43|[]-> a(b(b(x304))) b(b(c(x304))) <-1|0[]- b(b(a(x304))) -44|[]-> a(a(c(x304))) c(b(b(x8586))) <-2|0[]- c(c(a(x8586))) -0|[]-> b(b(a(x8586))) b(b(b(x302))) <-2|[]- c(a(b(x302))) -8|[]-> a(b(b(x302))) b(b(b(x302))) <-2|[]- c(a(b(x302))) -9|[]-> b(c(b(x302))) b(b(c(x299))) <-2|[]- c(a(c(x299))) -10|[]-> b(b(b(x299))) c(a(b(b(x8590)))) <-2|0,0[]- c(a(c(a(x8590)))) -10|[]-> b(b(b(a(x8590)))) b(b(c(x299))) <-2|[]- c(a(c(x299))) -11|[]-> a(b(b(x299))) c(a(b(b(x8592)))) <-2|0,0[]- c(a(c(a(x8592)))) -11|[]-> a(b(b(a(x8592)))) b(b(c(x299))) <-2|[]- c(a(c(x299))) -12|[]-> b(c(b(x299))) c(a(b(b(x8594)))) <-2|0,0[]- c(a(c(a(x8594)))) -12|[]-> b(c(b(a(x8594)))) a(a(b(b(x8595)))) <-2|0,0[]- a(a(c(a(x8595)))) -13|[]-> b(a(c(a(x8595)))) c(b(b(b(x8596)))) <-2|0,0[]- c(b(c(a(x8596)))) -14|[]-> a(b(b(a(x8596)))) c(b(b(b(x8597)))) <-2|0,0[]- c(b(c(a(x8597)))) -15|[]-> b(c(b(a(x8597)))) a(b(b(b(x8598)))) <-2|0,0[]- a(b(c(a(x8598)))) -16|[]-> b(b(b(a(x8598)))) a(b(b(x301))) <-2|0[]- a(c(a(x301))) -20|[]-> b(c(b(x301))) a(b(b(x301))) <-2|0[]- a(c(a(x301))) -21|[]-> b(b(c(x301))) b(b(b(x300))) <-2|0[]- b(c(a(x300))) -22|[]-> b(c(c(x300))) b(b(b(b(x8602)))) <-2|0,0[]- b(b(c(a(x8602)))) -23|[]-> a(b(b(a(x8602)))) b(b(b(b(x8603)))) <-2|0,0[]- b(b(c(a(x8603)))) -24|[]-> b(c(b(a(x8603)))) c(b(b(x8604))) <-2|0[]- c(c(a(x8604))) -25|[]-> a(c(a(x8604))) b(b(x)) <-2|[]- c(a(x)) -29|[]-> a(c(x)) a(b(b(x8606))) <-2|0[]- a(c(a(x8606))) -31|[]-> b(b(a(x8606))) b(b(b(x302))) <-2|[]- c(a(b(x302))) -35|[]-> a(a(c(x302))) b(b(c(x299))) <-2|[]- c(a(c(x299))) -37|[]-> a(c(b(x299))) c(a(b(b(x8609)))) <-2|0,0[]- c(a(c(a(x8609)))) -37|[]-> a(c(b(a(x8609)))) b(b(c(x299))) <-2|[]- c(a(c(x299))) -38|[]-> a(a(c(x299))) c(a(b(b(x8611)))) <-2|0,0[]- c(a(c(a(x8611)))) -38|[]-> a(a(c(a(x8611)))) a(a(b(b(x8612)))) <-2|0,0[]- a(a(c(a(x8612)))) -39|[]-> b(c(b(a(x8612)))) c(b(b(b(x8613)))) <-2|0,0[]- c(b(c(a(x8613)))) -40|[]-> a(a(c(a(x8613)))) a(b(b(b(x8614)))) <-2|0,0[]- a(b(c(a(x8614)))) -41|[]-> b(a(c(a(x8614)))) a(b(b(x301))) <-2|0[]- a(c(a(x301))) -45|[]-> b(a(b(x301))) b(b(b(x300))) <-2|0[]- b(c(a(x300))) -46|[]-> a(b(c(x300))) b(b(b(b(x8617)))) <-2|0,0[]- b(b(c(a(x8617)))) -47|[]-> a(a(c(a(x8617)))) c(b(b(x8618))) <-3|0[]- c(c(b(x8618))) -0|[]-> b(b(b(x8618))) b(b(b(x308))) <-3|[]- c(b(b(x308))) -4|[]-> a(b(b(x308))) b(b(b(x308))) <-3|[]- c(b(b(x308))) -5|[]-> b(c(b(x308))) b(b(b(x308))) <-3|[]- c(b(b(x308))) -6|[]-> b(b(c(x308))) c(a(b(b(x8622)))) <-3|0,0[]- c(a(c(b(x8622)))) -10|[]-> b(b(b(b(x8622)))) c(a(b(b(x8623)))) <-3|0,0[]- c(a(c(b(x8623)))) -11|[]-> a(b(b(b(x8623)))) c(a(b(b(x8624)))) <-3|0,0[]- c(a(c(b(x8624)))) -12|[]-> b(c(b(b(x8624)))) a(a(b(b(x8625)))) <-3|0,0[]- a(a(c(b(x8625)))) -13|[]-> b(a(c(b(x8625)))) b(b(c(x296))) <-3|[]- c(b(c(x296))) -14|[]-> a(b(b(x296))) c(b(b(b(x8627)))) <-3|0,0[]- c(b(c(b(x8627)))) -14|[]-> a(b(b(b(x8627)))) b(b(c(x296))) <-3|[]- c(b(c(x296))) -15|[]-> b(c(b(x296))) c(b(b(b(x8629)))) <-3|0,0[]- c(b(c(b(x8629)))) -15|[]-> b(c(b(b(x8629)))) a(b(b(b(x8630)))) <-3|0,0[]- a(b(c(b(x8630)))) -16|[]-> b(b(b(b(x8630)))) b(b(b(b(x8631)))) <-3|0,0[]- b(b(c(b(x8631)))) -23|[]-> a(b(b(b(x8631)))) b(b(b(b(x8632)))) <-3|0,0[]- b(b(c(b(x8632)))) -24|[]-> b(c(b(b(x8632)))) c(b(b(x8633))) <-3|0[]- c(c(b(x8633))) -25|[]-> a(c(b(x8633))) b(b(x)) <-3|[]- c(b(x)) -30|[]-> a(c(x)) a(b(b(x8635))) <-3|0[]- a(c(b(x8635))) -31|[]-> b(b(b(x8635))) b(b(b(x308))) <-3|[]- c(b(b(x308))) -32|[]-> a(a(c(x308))) b(b(b(x308))) <-3|[]- c(b(b(x308))) -33|[]-> a(c(c(x308))) c(a(b(b(x8638)))) <-3|0,0[]- c(a(c(b(x8638)))) -37|[]-> a(c(b(b(x8638)))) c(a(b(b(x8639)))) <-3|0,0[]- c(a(c(b(x8639)))) -38|[]-> a(a(c(b(x8639)))) a(a(b(b(x8640)))) <-3|0,0[]- a(a(c(b(x8640)))) -39|[]-> b(c(b(b(x8640)))) b(b(c(x296))) <-3|[]- c(b(c(x296))) -40|[]-> a(a(c(x296))) c(b(b(b(x8642)))) <-3|0,0[]- c(b(c(b(x8642)))) -40|[]-> a(a(c(b(x8642)))) a(b(b(b(x8643)))) <-3|0,0[]- a(b(c(b(x8643)))) -41|[]-> b(a(c(b(x8643)))) b(b(b(b(x8644)))) <-3|0,0[]- b(b(c(b(x8644)))) -47|[]-> a(a(c(b(x8644)))) c(a(b(b(x8645)))) <-4|0[]- c(c(b(b(x8645)))) -0|[]-> b(b(b(b(x8645)))) a(b(b(x8646))) <-4|[]- c(b(b(x8646))) -3|[]-> b(b(b(x8646))) a(b(b(x308))) <-4|[]- c(b(b(x308))) -5|[]-> b(c(b(x308))) a(b(b(x308))) <-4|[]- c(b(b(x308))) -6|[]-> b(b(c(x308))) c(a(a(b(b(x8649))))) <-4|0,0[]- c(a(c(b(b(x8649))))) -10|[]-> b(b(b(b(b(x8649))))) c(a(a(b(b(x8650))))) <-4|0,0[]- c(a(c(b(b(x8650))))) -11|[]-> a(b(b(b(b(x8650))))) c(a(a(b(b(x8651))))) <-4|0,0[]- c(a(c(b(b(x8651))))) -12|[]-> b(c(b(b(b(x8651))))) a(a(a(b(b(x8652))))) <-4|0,0[]- a(a(c(b(b(x8652))))) -13|[]-> b(a(c(b(b(x8652))))) c(b(a(b(b(x8653))))) <-4|0,0[]- c(b(c(b(b(x8653))))) -14|[]-> a(b(b(b(b(x8653))))) c(b(a(b(b(x8654))))) <-4|0,0[]- c(b(c(b(b(x8654))))) -15|[]-> b(c(b(b(b(x8654))))) a(b(a(b(b(x8655))))) <-4|0,0[]- a(b(c(b(b(x8655))))) -16|[]-> b(b(b(b(b(x8655))))) b(b(a(b(b(x8656))))) <-4|0,0[]- b(b(c(b(b(x8656))))) -23|[]-> a(b(b(b(b(x8656))))) b(b(a(b(b(x8657))))) <-4|0,0[]- b(b(c(b(b(x8657))))) -24|[]-> b(c(b(b(b(x8657))))) c(a(b(b(x8658)))) <-4|0[]- c(c(b(b(x8658)))) -25|[]-> a(c(b(b(x8658)))) a(b(b(x8659))) <-4|[]- c(b(b(x8659))) -30|[]-> a(c(b(x8659))) a(a(b(b(x8660)))) <-4|0[]- a(c(b(b(x8660)))) -31|[]-> b(b(b(b(x8660)))) a(b(b(x308))) <-4|[]- c(b(b(x308))) -32|[]-> a(a(c(x308))) a(b(b(x308))) <-4|[]- c(b(b(x308))) -33|[]-> a(c(c(x308))) c(a(a(b(b(x8663))))) <-4|0,0[]- c(a(c(b(b(x8663))))) -37|[]-> a(c(b(b(b(x8663))))) c(a(a(b(b(x8664))))) <-4|0,0[]- c(a(c(b(b(x8664))))) -38|[]-> a(a(c(b(b(x8664))))) a(a(a(b(b(x8665))))) <-4|0,0[]- a(a(c(b(b(x8665))))) -39|[]-> b(c(b(b(b(x8665))))) c(b(a(b(b(x8666))))) <-4|0,0[]- c(b(c(b(b(x8666))))) -40|[]-> a(a(c(b(b(x8666))))) a(b(a(b(b(x8667))))) <-4|0,0[]- a(b(c(b(b(x8667))))) -41|[]-> b(a(c(b(b(x8667))))) b(b(a(b(b(x8668))))) <-4|0,0[]- b(b(c(b(b(x8668))))) -47|[]-> a(a(c(b(b(x8668))))) c(b(c(b(x8669)))) <-5|0[]- c(c(b(b(x8669)))) -0|[]-> b(b(b(b(x8669)))) b(c(b(x8670))) <-5|[]- c(b(b(x8670))) -3|[]-> b(b(b(x8670))) b(c(b(x308))) <-5|[]- c(b(b(x308))) -4|[]-> a(b(b(x308))) b(c(b(x308))) <-5|[]- c(b(b(x308))) -6|[]-> b(b(c(x308))) c(a(b(c(b(x8673))))) <-5|0,0[]- c(a(c(b(b(x8673))))) -10|[]-> b(b(b(b(b(x8673))))) c(a(b(c(b(x8674))))) <-5|0,0[]- c(a(c(b(b(x8674))))) -11|[]-> a(b(b(b(b(x8674))))) c(a(b(c(b(x8675))))) <-5|0,0[]- c(a(c(b(b(x8675))))) -12|[]-> b(c(b(b(b(x8675))))) a(a(b(c(b(x8676))))) <-5|0,0[]- a(a(c(b(b(x8676))))) -13|[]-> b(a(c(b(b(x8676))))) c(b(b(c(b(x8677))))) <-5|0,0[]- c(b(c(b(b(x8677))))) -14|[]-> a(b(b(b(b(x8677))))) c(b(b(c(b(x8678))))) <-5|0,0[]- c(b(c(b(b(x8678))))) -15|[]-> b(c(b(b(b(x8678))))) a(b(b(c(b(x8679))))) <-5|0,0[]- a(b(c(b(b(x8679))))) -16|[]-> b(b(b(b(b(x8679))))) b(b(b(c(b(x8680))))) <-5|0,0[]- b(b(c(b(b(x8680))))) -23|[]-> a(b(b(b(b(x8680))))) b(b(b(c(b(x8681))))) <-5|0,0[]- b(b(c(b(b(x8681))))) -24|[]-> b(c(b(b(b(x8681))))) c(b(c(b(x8682)))) <-5|0[]- c(c(b(b(x8682)))) -25|[]-> a(c(b(b(x8682)))) b(c(b(x8683))) <-5|[]- c(b(b(x8683))) -30|[]-> a(c(b(x8683))) a(b(c(b(x8684)))) <-5|0[]- a(c(b(b(x8684)))) -31|[]-> b(b(b(b(x8684)))) b(c(b(x308))) <-5|[]- c(b(b(x308))) -32|[]-> a(a(c(x308))) b(c(b(x308))) <-5|[]- c(b(b(x308))) -33|[]-> a(c(c(x308))) c(a(b(c(b(x8687))))) <-5|0,0[]- c(a(c(b(b(x8687))))) -37|[]-> a(c(b(b(b(x8687))))) c(a(b(c(b(x8688))))) <-5|0,0[]- c(a(c(b(b(x8688))))) -38|[]-> a(a(c(b(b(x8688))))) a(a(b(c(b(x8689))))) <-5|0,0[]- a(a(c(b(b(x8689))))) -39|[]-> b(c(b(b(b(x8689))))) c(b(b(c(b(x8690))))) <-5|0,0[]- c(b(c(b(b(x8690))))) -40|[]-> a(a(c(b(b(x8690))))) a(b(b(c(b(x8691))))) <-5|0,0[]- a(b(c(b(b(x8691))))) -41|[]-> b(a(c(b(b(x8691))))) b(b(b(c(b(x8692))))) <-5|0,0[]- b(b(c(b(b(x8692))))) -47|[]-> a(a(c(b(b(x8692))))) c(b(b(c(x8693)))) <-6|0[]- c(c(b(b(x8693)))) -0|[]-> b(b(b(b(x8693)))) b(b(c(x8694))) <-6|[]- c(b(b(x8694))) -3|[]-> b(b(b(x8694))) b(b(c(x308))) <-6|[]- c(b(b(x308))) -4|[]-> a(b(b(x308))) b(b(c(x308))) <-6|[]- c(b(b(x308))) -5|[]-> b(c(b(x308))) c(a(b(b(c(x8697))))) <-6|0,0[]- c(a(c(b(b(x8697))))) -10|[]-> b(b(b(b(b(x8697))))) c(a(b(b(c(x8698))))) <-6|0,0[]- c(a(c(b(b(x8698))))) -11|[]-> a(b(b(b(b(x8698))))) c(a(b(b(c(x8699))))) <-6|0,0[]- c(a(c(b(b(x8699))))) -12|[]-> b(c(b(b(b(x8699))))) a(a(b(b(c(x8700))))) <-6|0,0[]- a(a(c(b(b(x8700))))) -13|[]-> b(a(c(b(b(x8700))))) c(b(b(b(c(x8701))))) <-6|0,0[]- c(b(c(b(b(x8701))))) -14|[]-> a(b(b(b(b(x8701))))) c(b(b(b(c(x8702))))) <-6|0,0[]- c(b(c(b(b(x8702))))) -15|[]-> b(c(b(b(b(x8702))))) a(b(b(b(c(x8703))))) <-6|0,0[]- a(b(c(b(b(x8703))))) -16|[]-> b(b(b(b(b(x8703))))) b(b(b(b(c(x8704))))) <-6|0,0[]- b(b(c(b(b(x8704))))) -23|[]-> a(b(b(b(b(x8704))))) b(b(b(b(c(x8705))))) <-6|0,0[]- b(b(c(b(b(x8705))))) -24|[]-> b(c(b(b(b(x8705))))) c(b(b(c(x8706)))) <-6|0[]- c(c(b(b(x8706)))) -25|[]-> a(c(b(b(x8706)))) b(b(c(x8707))) <-6|[]- c(b(b(x8707))) -30|[]-> a(c(b(x8707))) a(b(b(c(x8708)))) <-6|0[]- a(c(b(b(x8708)))) -31|[]-> b(b(b(b(x8708)))) b(b(c(x308))) <-6|[]- c(b(b(x308))) -32|[]-> a(a(c(x308))) b(b(c(x308))) <-6|[]- c(b(b(x308))) -33|[]-> a(c(c(x308))) c(a(b(b(c(x8711))))) <-6|0,0[]- c(a(c(b(b(x8711))))) -37|[]-> a(c(b(b(b(x8711))))) c(a(b(b(c(x8712))))) <-6|0,0[]- c(a(c(b(b(x8712))))) -38|[]-> a(a(c(b(b(x8712))))) a(a(b(b(c(x8713))))) <-6|0,0[]- a(a(c(b(b(x8713))))) -39|[]-> b(c(b(b(b(x8713))))) c(b(b(b(c(x8714))))) <-6|0,0[]- c(b(c(b(b(x8714))))) -40|[]-> a(a(c(b(b(x8714))))) a(b(b(b(c(x8715))))) <-6|0,0[]- a(b(c(b(b(x8715))))) -41|[]-> b(a(c(b(b(x8715))))) b(b(b(b(c(x8716))))) <-6|0,0[]- b(b(c(b(b(x8716))))) -47|[]-> a(a(c(b(b(x8716))))) c(b(c(c(x8717)))) <-7|0[]- c(b(b(b(x8717)))) -3|[]-> b(b(b(b(x8717)))) c(b(c(c(x8718)))) <-7|0[]- c(b(b(b(x8718)))) -4|[]-> a(b(b(b(x8718)))) c(b(b(c(c(x8719))))) <-7|0,0[]- c(b(b(b(b(x8719))))) -4|[]-> a(b(b(b(b(x8719))))) c(b(c(c(x8720)))) <-7|0[]- c(b(b(b(x8720)))) -5|[]-> b(c(b(b(x8720)))) c(b(b(c(c(x8721))))) <-7|0,0[]- c(b(b(b(b(x8721))))) -5|[]-> b(c(b(b(b(x8721))))) c(b(c(c(x8722)))) <-7|0[]- c(b(b(b(x8722)))) -6|[]-> b(b(c(b(x8722)))) c(b(b(c(c(x8723))))) <-7|0,0[]- c(b(b(b(b(x8723))))) -6|[]-> b(b(c(b(b(x8723))))) b(b(c(c(x8724)))) <-7|0[]- b(b(b(b(x8724)))) -7|[]-> b(c(c(b(x8724)))) b(b(b(c(c(x8725))))) <-7|0,0[]- b(b(b(b(b(x8725))))) -7|[]-> b(c(c(b(b(x8725))))) c(a(b(c(c(x8726))))) <-7|0,0[]- c(a(b(b(b(x8726))))) -8|[]-> a(b(b(b(b(x8726))))) c(a(b(c(c(x8727))))) <-7|0,0[]- c(a(b(b(b(x8727))))) -9|[]-> b(c(b(b(b(x8727))))) b(c(c(x306))) <-7|[]- b(b(b(x306))) -17|[]-> a(b(b(x306))) b(b(c(c(x8729)))) <-7|0[]- b(b(b(b(x8729)))) -17|[]-> a(b(b(b(x8729)))) b(b(b(c(c(x8730))))) <-7|0,0[]- b(b(b(b(b(x8730))))) -17|[]-> a(b(b(b(b(x8730))))) b(c(c(x306))) <-7|[]- b(b(b(x306))) -18|[]-> b(c(b(x306))) b(b(c(c(x8732)))) <-7|0[]- b(b(b(b(x8732)))) -18|[]-> b(c(b(b(x8732)))) b(b(b(c(c(x8733))))) <-7|0,0[]- b(b(b(b(b(x8733))))) -18|[]-> b(c(b(b(b(x8733))))) a(b(c(c(x8734)))) <-7|0[]- a(b(b(b(x8734)))) -26|[]-> b(c(b(b(x8734)))) b(c(c(x8735))) <-7|[]- b(b(b(x8735))) -27|[]-> a(c(b(x8735))) b(b(c(c(x8736)))) <-7|0[]- b(b(b(b(x8736)))) -27|[]-> a(c(b(b(x8736)))) c(b(c(c(x8737)))) <-7|0[]- c(b(b(b(x8737)))) -30|[]-> a(c(b(b(x8737)))) c(b(c(c(x8738)))) <-7|0[]- c(b(b(b(x8738)))) -32|[]-> a(a(c(b(x8738)))) c(b(b(c(c(x8739))))) <-7|0,0[]- c(b(b(b(b(x8739))))) -32|[]-> a(a(c(b(b(x8739))))) c(b(c(c(x8740)))) <-7|0[]- c(b(b(b(x8740)))) -33|[]-> a(c(c(b(x8740)))) c(b(b(c(c(x8741))))) <-7|0,0[]- c(b(b(b(b(x8741))))) -33|[]-> a(c(c(b(b(x8741))))) b(c(c(x307))) <-7|[]- b(b(b(x307))) -34|[]-> a(b(c(x307))) b(b(c(c(x8743)))) <-7|0[]- b(b(b(b(x8743)))) -34|[]-> a(b(c(b(x8743)))) b(b(b(c(c(x8744))))) <-7|0,0[]- b(b(b(b(b(x8744))))) -34|[]-> a(b(c(b(b(x8744))))) c(a(b(c(c(x8745))))) <-7|0,0[]- c(a(b(b(b(x8745))))) -35|[]-> a(a(c(b(b(x8745))))) b(a(b(c(c(x8746))))) <-7|0,0[]- b(a(b(b(b(x8746))))) -36|[]-> a(a(c(b(b(x8746))))) b(c(c(x306))) <-7|[]- b(b(b(x306))) -42|[]-> a(a(c(x306))) b(b(c(c(x8748)))) <-7|0[]- b(b(b(b(x8748)))) -42|[]-> a(a(c(b(x8748)))) b(b(b(c(c(x8749))))) <-7|0,0[]- b(b(b(b(b(x8749))))) -42|[]-> a(a(c(b(b(x8749))))) c(a(b(b(x8750)))) <-8|0[]- c(c(a(b(x8750)))) -0|[]-> b(b(a(b(x8750)))) a(b(b(x8751))) <-8|[]- c(a(b(x8751))) -2|[]-> b(b(b(x8751))) a(b(b(x302))) <-8|[]- c(a(b(x302))) -9|[]-> b(c(b(x302))) c(a(a(b(b(x8753))))) <-8|0,0[]- c(a(c(a(b(x8753))))) -10|[]-> b(b(b(a(b(x8753))))) c(a(a(b(b(x8754))))) <-8|0,0[]- c(a(c(a(b(x8754))))) -11|[]-> a(b(b(a(b(x8754))))) c(a(a(b(b(x8755))))) <-8|0,0[]- c(a(c(a(b(x8755))))) -12|[]-> b(c(b(a(b(x8755))))) a(a(a(b(b(x8756))))) <-8|0,0[]- a(a(c(a(b(x8756))))) -13|[]-> b(a(c(a(b(x8756))))) c(b(a(b(b(x8757))))) <-8|0,0[]- c(b(c(a(b(x8757))))) -14|[]-> a(b(b(a(b(x8757))))) c(b(a(b(b(x8758))))) <-8|0,0[]- c(b(c(a(b(x8758))))) -15|[]-> b(c(b(a(b(x8758))))) a(b(a(b(b(x8759))))) <-8|0,0[]- a(b(c(a(b(x8759))))) -16|[]-> b(b(b(a(b(x8759))))) a(a(b(b(x8760)))) <-8|0[]- a(c(a(b(x8760)))) -20|[]-> b(c(b(b(x8760)))) a(a(b(b(x8761)))) <-8|0[]- a(c(a(b(x8761)))) -21|[]-> b(b(c(b(x8761)))) b(a(b(b(x8762)))) <-8|0[]- b(c(a(b(x8762)))) -22|[]-> b(c(c(b(x8762)))) b(b(a(b(b(x8763))))) <-8|0,0[]- b(b(c(a(b(x8763))))) -23|[]-> a(b(b(a(b(x8763))))) b(b(a(b(b(x8764))))) <-8|0,0[]- b(b(c(a(b(x8764))))) -24|[]-> b(c(b(a(b(x8764))))) c(a(b(b(x8765)))) <-8|0[]- c(c(a(b(x8765)))) -25|[]-> a(c(a(b(x8765)))) a(b(b(x8766))) <-8|[]- c(a(b(x8766))) -29|[]-> a(c(b(x8766))) a(a(b(b(x8767)))) <-8|0[]- a(c(a(b(x8767)))) -31|[]-> b(b(a(b(x8767)))) a(b(b(x302))) <-8|[]- c(a(b(x302))) -35|[]-> a(a(c(x302))) c(a(a(b(b(x8769))))) <-8|0,0[]- c(a(c(a(b(x8769))))) -37|[]-> a(c(b(a(b(x8769))))) c(a(a(b(b(x8770))))) <-8|0,0[]- c(a(c(a(b(x8770))))) -38|[]-> a(a(c(a(b(x8770))))) a(a(a(b(b(x8771))))) <-8|0,0[]- a(a(c(a(b(x8771))))) -39|[]-> b(c(b(a(b(x8771))))) c(b(a(b(b(x8772))))) <-8|0,0[]- c(b(c(a(b(x8772))))) -40|[]-> a(a(c(a(b(x8772))))) a(b(a(b(b(x8773))))) <-8|0,0[]- a(b(c(a(b(x8773))))) -41|[]-> b(a(c(a(b(x8773))))) a(a(b(b(x8774)))) <-8|0[]- a(c(a(b(x8774)))) -45|[]-> b(a(b(b(x8774)))) b(a(b(b(x8775)))) <-8|0[]- b(c(a(b(x8775)))) -46|[]-> a(b(c(b(x8775)))) b(b(a(b(b(x8776))))) <-8|0,0[]- b(b(c(a(b(x8776))))) -47|[]-> a(a(c(a(b(x8776))))) c(b(c(b(x8777)))) <-9|0[]- c(c(a(b(x8777)))) -0|[]-> b(b(a(b(x8777)))) b(c(b(x8778))) <-9|[]- c(a(b(x8778))) -2|[]-> b(b(b(x8778))) b(c(b(x302))) <-9|[]- c(a(b(x302))) -8|[]-> a(b(b(x302))) c(a(b(c(b(x8780))))) <-9|0,0[]- c(a(c(a(b(x8780))))) -10|[]-> b(b(b(a(b(x8780))))) c(a(b(c(b(x8781))))) <-9|0,0[]- c(a(c(a(b(x8781))))) -11|[]-> a(b(b(a(b(x8781))))) c(a(b(c(b(x8782))))) <-9|0,0[]- c(a(c(a(b(x8782))))) -12|[]-> b(c(b(a(b(x8782))))) a(a(b(c(b(x8783))))) <-9|0,0[]- a(a(c(a(b(x8783))))) -13|[]-> b(a(c(a(b(x8783))))) c(b(b(c(b(x8784))))) <-9|0,0[]- c(b(c(a(b(x8784))))) -14|[]-> a(b(b(a(b(x8784))))) c(b(b(c(b(x8785))))) <-9|0,0[]- c(b(c(a(b(x8785))))) -15|[]-> b(c(b(a(b(x8785))))) a(b(b(c(b(x8786))))) <-9|0,0[]- a(b(c(a(b(x8786))))) -16|[]-> b(b(b(a(b(x8786))))) a(b(c(b(x8787)))) <-9|0[]- a(c(a(b(x8787)))) -20|[]-> b(c(b(b(x8787)))) a(b(c(b(x8788)))) <-9|0[]- a(c(a(b(x8788)))) -21|[]-> b(b(c(b(x8788)))) b(b(c(b(x8789)))) <-9|0[]- b(c(a(b(x8789)))) -22|[]-> b(c(c(b(x8789)))) b(b(b(c(b(x8790))))) <-9|0,0[]- b(b(c(a(b(x8790))))) -23|[]-> a(b(b(a(b(x8790))))) b(b(b(c(b(x8791))))) <-9|0,0[]- b(b(c(a(b(x8791))))) -24|[]-> b(c(b(a(b(x8791))))) c(b(c(b(x8792)))) <-9|0[]- c(c(a(b(x8792)))) -25|[]-> a(c(a(b(x8792)))) b(c(b(x8793))) <-9|[]- c(a(b(x8793))) -29|[]-> a(c(b(x8793))) a(b(c(b(x8794)))) <-9|0[]- a(c(a(b(x8794)))) -31|[]-> b(b(a(b(x8794)))) b(c(b(x302))) <-9|[]- c(a(b(x302))) -35|[]-> a(a(c(x302))) c(a(b(c(b(x8796))))) <-9|0,0[]- c(a(c(a(b(x8796))))) -37|[]-> a(c(b(a(b(x8796))))) c(a(b(c(b(x8797))))) <-9|0,0[]- c(a(c(a(b(x8797))))) -38|[]-> a(a(c(a(b(x8797))))) a(a(b(c(b(x8798))))) <-9|0,0[]- a(a(c(a(b(x8798))))) -39|[]-> b(c(b(a(b(x8798))))) c(b(b(c(b(x8799))))) <-9|0,0[]- c(b(c(a(b(x8799))))) -40|[]-> a(a(c(a(b(x8799))))) a(b(b(c(b(x8800))))) <-9|0,0[]- a(b(c(a(b(x8800))))) -41|[]-> b(a(c(a(b(x8800))))) a(b(c(b(x8801)))) <-9|0[]- a(c(a(b(x8801)))) -45|[]-> b(a(b(b(x8801)))) b(b(c(b(x8802)))) <-9|0[]- b(c(a(b(x8802)))) -46|[]-> a(b(c(b(x8802)))) b(b(b(c(b(x8803))))) <-9|0,0[]- b(b(c(a(b(x8803))))) -47|[]-> a(a(c(a(b(x8803))))) c(b(b(b(x8804)))) <-10|0[]- c(c(a(c(x8804)))) -0|[]-> b(b(a(c(x8804)))) b(b(b(x8805))) <-10|[]- c(a(c(x8805))) -2|[]-> b(b(c(x8805))) c(a(b(b(b(x8806))))) <-10|0,0[]- c(a(c(a(c(x8806))))) -10|[]-> b(b(b(a(c(x8806))))) b(b(b(x299))) <-10|[]- c(a(c(x299))) -11|[]-> a(b(b(x299))) c(a(b(b(b(x8808))))) <-10|0,0[]- c(a(c(a(c(x8808))))) -11|[]-> a(b(b(a(c(x8808))))) b(b(b(x299))) <-10|[]- c(a(c(x299))) -12|[]-> b(c(b(x299))) c(a(b(b(b(x8810))))) <-10|0,0[]- c(a(c(a(c(x8810))))) -12|[]-> b(c(b(a(c(x8810))))) a(a(b(b(b(x8811))))) <-10|0,0[]- a(a(c(a(c(x8811))))) -13|[]-> b(a(c(a(c(x8811))))) c(b(b(b(b(x8812))))) <-10|0,0[]- c(b(c(a(c(x8812))))) -14|[]-> a(b(b(a(c(x8812))))) c(b(b(b(b(x8813))))) <-10|0,0[]- c(b(c(a(c(x8813))))) -15|[]-> b(c(b(a(c(x8813))))) a(b(b(b(b(x8814))))) <-10|0,0[]- a(b(c(a(c(x8814))))) -16|[]-> b(b(b(a(c(x8814))))) a(b(b(b(x8815)))) <-10|0[]- a(c(a(c(x8815)))) -20|[]-> b(c(b(c(x8815)))) a(b(b(b(x8816)))) <-10|0[]- a(c(a(c(x8816)))) -21|[]-> b(b(c(c(x8816)))) b(b(b(b(x8817)))) <-10|0[]- b(c(a(c(x8817)))) -22|[]-> b(c(c(c(x8817)))) b(b(b(b(b(x8818))))) <-10|0,0[]- b(b(c(a(c(x8818))))) -23|[]-> a(b(b(a(c(x8818))))) b(b(b(b(b(x8819))))) <-10|0,0[]- b(b(c(a(c(x8819))))) -24|[]-> b(c(b(a(c(x8819))))) c(b(b(b(x8820)))) <-10|0[]- c(c(a(c(x8820)))) -25|[]-> a(c(a(c(x8820)))) b(b(b(x8821))) <-10|[]- c(a(c(x8821))) -29|[]-> a(c(c(x8821))) a(b(b(b(x8822)))) <-10|0[]- a(c(a(c(x8822)))) -31|[]-> b(b(a(c(x8822)))) b(b(b(x299))) <-10|[]- c(a(c(x299))) -37|[]-> a(c(b(x299))) c(a(b(b(b(x8824))))) <-10|0,0[]- c(a(c(a(c(x8824))))) -37|[]-> a(c(b(a(c(x8824))))) b(b(b(x299))) <-10|[]- c(a(c(x299))) -38|[]-> a(a(c(x299))) c(a(b(b(b(x8826))))) <-10|0,0[]- c(a(c(a(c(x8826))))) -38|[]-> a(a(c(a(c(x8826))))) a(a(b(b(b(x8827))))) <-10|0,0[]- a(a(c(a(c(x8827))))) -39|[]-> b(c(b(a(c(x8827))))) c(b(b(b(b(x8828))))) <-10|0,0[]- c(b(c(a(c(x8828))))) -40|[]-> a(a(c(a(c(x8828))))) a(b(b(b(b(x8829))))) <-10|0,0[]- a(b(c(a(c(x8829))))) -41|[]-> b(a(c(a(c(x8829))))) a(b(b(b(x8830)))) <-10|0[]- a(c(a(c(x8830)))) -45|[]-> b(a(b(c(x8830)))) b(b(b(b(x8831)))) <-10|0[]- b(c(a(c(x8831)))) -46|[]-> a(b(c(c(x8831)))) b(b(b(b(b(x8832))))) <-10|0,0[]- b(b(c(a(c(x8832))))) -47|[]-> a(a(c(a(c(x8832))))) c(a(b(b(x8833)))) <-11|0[]- c(c(a(c(x8833)))) -0|[]-> b(b(a(c(x8833)))) a(b(b(x8834))) <-11|[]- c(a(c(x8834))) -2|[]-> b(b(c(x8834))) a(b(b(x299))) <-11|[]- c(a(c(x299))) -10|[]-> b(b(b(x299))) c(a(a(b(b(x8836))))) <-11|0,0[]- c(a(c(a(c(x8836))))) -10|[]-> b(b(b(a(c(x8836))))) c(a(a(b(b(x8837))))) <-11|0,0[]- c(a(c(a(c(x8837))))) -11|[]-> a(b(b(a(c(x8837))))) a(b(b(x299))) <-11|[]- c(a(c(x299))) -12|[]-> b(c(b(x299))) c(a(a(b(b(x8839))))) <-11|0,0[]- c(a(c(a(c(x8839))))) -12|[]-> b(c(b(a(c(x8839))))) a(a(a(b(b(x8840))))) <-11|0,0[]- a(a(c(a(c(x8840))))) -13|[]-> b(a(c(a(c(x8840))))) c(b(a(b(b(x8841))))) <-11|0,0[]- c(b(c(a(c(x8841))))) -14|[]-> a(b(b(a(c(x8841))))) c(b(a(b(b(x8842))))) <-11|0,0[]- c(b(c(a(c(x8842))))) -15|[]-> b(c(b(a(c(x8842))))) a(b(a(b(b(x8843))))) <-11|0,0[]- a(b(c(a(c(x8843))))) -16|[]-> b(b(b(a(c(x8843))))) a(a(b(b(x8844)))) <-11|0[]- a(c(a(c(x8844)))) -20|[]-> b(c(b(c(x8844)))) a(a(b(b(x8845)))) <-11|0[]- a(c(a(c(x8845)))) -21|[]-> b(b(c(c(x8845)))) b(a(b(b(x8846)))) <-11|0[]- b(c(a(c(x8846)))) -22|[]-> b(c(c(c(x8846)))) b(b(a(b(b(x8847))))) <-11|0,0[]- b(b(c(a(c(x8847))))) -23|[]-> a(b(b(a(c(x8847))))) b(b(a(b(b(x8848))))) <-11|0,0[]- b(b(c(a(c(x8848))))) -24|[]-> b(c(b(a(c(x8848))))) c(a(b(b(x8849)))) <-11|0[]- c(c(a(c(x8849)))) -25|[]-> a(c(a(c(x8849)))) a(b(b(x8850))) <-11|[]- c(a(c(x8850))) -29|[]-> a(c(c(x8850))) a(a(b(b(x8851)))) <-11|0[]- a(c(a(c(x8851)))) -31|[]-> b(b(a(c(x8851)))) a(b(b(x299))) <-11|[]- c(a(c(x299))) -37|[]-> a(c(b(x299))) c(a(a(b(b(x8853))))) <-11|0,0[]- c(a(c(a(c(x8853))))) -37|[]-> a(c(b(a(c(x8853))))) a(b(b(x299))) <-11|[]- c(a(c(x299))) -38|[]-> a(a(c(x299))) c(a(a(b(b(x8855))))) <-11|0,0[]- c(a(c(a(c(x8855))))) -38|[]-> a(a(c(a(c(x8855))))) a(a(a(b(b(x8856))))) <-11|0,0[]- a(a(c(a(c(x8856))))) -39|[]-> b(c(b(a(c(x8856))))) c(b(a(b(b(x8857))))) <-11|0,0[]- c(b(c(a(c(x8857))))) -40|[]-> a(a(c(a(c(x8857))))) a(b(a(b(b(x8858))))) <-11|0,0[]- a(b(c(a(c(x8858))))) -41|[]-> b(a(c(a(c(x8858))))) a(a(b(b(x8859)))) <-11|0[]- a(c(a(c(x8859)))) -45|[]-> b(a(b(c(x8859)))) b(a(b(b(x8860)))) <-11|0[]- b(c(a(c(x8860)))) -46|[]-> a(b(c(c(x8860)))) b(b(a(b(b(x8861))))) <-11|0,0[]- b(b(c(a(c(x8861))))) -47|[]-> a(a(c(a(c(x8861))))) c(b(c(b(x8862)))) <-12|0[]- c(c(a(c(x8862)))) -0|[]-> b(b(a(c(x8862)))) b(c(b(x8863))) <-12|[]- c(a(c(x8863))) -2|[]-> b(b(c(x8863))) b(c(b(x299))) <-12|[]- c(a(c(x299))) -10|[]-> b(b(b(x299))) c(a(b(c(b(x8865))))) <-12|0,0[]- c(a(c(a(c(x8865))))) -10|[]-> b(b(b(a(c(x8865))))) b(c(b(x299))) <-12|[]- c(a(c(x299))) -11|[]-> a(b(b(x299))) c(a(b(c(b(x8867))))) <-12|0,0[]- c(a(c(a(c(x8867))))) -11|[]-> a(b(b(a(c(x8867))))) c(a(b(c(b(x8868))))) <-12|0,0[]- c(a(c(a(c(x8868))))) -12|[]-> b(c(b(a(c(x8868))))) a(a(b(c(b(x8869))))) <-12|0,0[]- a(a(c(a(c(x8869))))) -13|[]-> b(a(c(a(c(x8869))))) c(b(b(c(b(x8870))))) <-12|0,0[]- c(b(c(a(c(x8870))))) -14|[]-> a(b(b(a(c(x8870))))) c(b(b(c(b(x8871))))) <-12|0,0[]- c(b(c(a(c(x8871))))) -15|[]-> b(c(b(a(c(x8871))))) a(b(b(c(b(x8872))))) <-12|0,0[]- a(b(c(a(c(x8872))))) -16|[]-> b(b(b(a(c(x8872))))) a(b(c(b(x8873)))) <-12|0[]- a(c(a(c(x8873)))) -20|[]-> b(c(b(c(x8873)))) a(b(c(b(x8874)))) <-12|0[]- a(c(a(c(x8874)))) -21|[]-> b(b(c(c(x8874)))) b(b(c(b(x8875)))) <-12|0[]- b(c(a(c(x8875)))) -22|[]-> b(c(c(c(x8875)))) b(b(b(c(b(x8876))))) <-12|0,0[]- b(b(c(a(c(x8876))))) -23|[]-> a(b(b(a(c(x8876))))) b(b(b(c(b(x8877))))) <-12|0,0[]- b(b(c(a(c(x8877))))) -24|[]-> b(c(b(a(c(x8877))))) c(b(c(b(x8878)))) <-12|0[]- c(c(a(c(x8878)))) -25|[]-> a(c(a(c(x8878)))) b(c(b(x8879))) <-12|[]- c(a(c(x8879))) -29|[]-> a(c(c(x8879))) a(b(c(b(x8880)))) <-12|0[]- a(c(a(c(x8880)))) -31|[]-> b(b(a(c(x8880)))) b(c(b(x299))) <-12|[]- c(a(c(x299))) -37|[]-> a(c(b(x299))) c(a(b(c(b(x8882))))) <-12|0,0[]- c(a(c(a(c(x8882))))) -37|[]-> a(c(b(a(c(x8882))))) b(c(b(x299))) <-12|[]- c(a(c(x299))) -38|[]-> a(a(c(x299))) c(a(b(c(b(x8884))))) <-12|0,0[]- c(a(c(a(c(x8884))))) -38|[]-> a(a(c(a(c(x8884))))) a(a(b(c(b(x8885))))) <-12|0,0[]- a(a(c(a(c(x8885))))) -39|[]-> b(c(b(a(c(x8885))))) c(b(b(c(b(x8886))))) <-12|0,0[]- c(b(c(a(c(x8886))))) -40|[]-> a(a(c(a(c(x8886))))) a(b(b(c(b(x8887))))) <-12|0,0[]- a(b(c(a(c(x8887))))) -41|[]-> b(a(c(a(c(x8887))))) a(b(c(b(x8888)))) <-12|0[]- a(c(a(c(x8888)))) -45|[]-> b(a(b(c(x8888)))) b(b(c(b(x8889)))) <-12|0[]- b(c(a(c(x8889)))) -46|[]-> a(b(c(c(x8889)))) b(b(b(c(b(x8890))))) <-12|0,0[]- b(b(c(a(c(x8890))))) -47|[]-> a(a(c(a(c(x8890))))) b(b(a(c(x8891)))) <-13|0[]- b(a(a(c(x8891)))) -1|[]-> b(c(a(c(x8891)))) c(b(a(c(x8892)))) <-13|0[]- c(a(a(c(x8892)))) -2|[]-> b(b(a(c(x8892)))) b(b(b(a(c(x8893))))) <-13|0,0[]- b(b(a(a(c(x8893))))) -19|[]-> b(c(b(a(c(x8893))))) a(c(b(a(c(x8894))))) <-13|0,0[]- a(c(a(a(c(x8894))))) -20|[]-> b(c(b(a(c(x8894))))) a(c(b(a(c(x8895))))) <-13|0,0[]- a(c(a(a(c(x8895))))) -21|[]-> b(b(c(a(c(x8895))))) b(c(b(a(c(x8896))))) <-13|0,0[]- b(c(a(a(c(x8896))))) -22|[]-> b(c(c(a(c(x8896))))) b(b(a(c(x8897)))) <-13|0[]- b(a(a(c(x8897)))) -28|[]-> a(b(a(c(x8897)))) c(b(a(c(x8898)))) <-13|0[]- c(a(a(c(x8898)))) -29|[]-> a(c(a(c(x8898)))) b(a(c(x297))) <-13|[]- a(a(c(x297))) -39|[]-> b(c(b(x297))) b(b(b(a(c(x8900))))) <-13|0,0[]- b(b(a(a(c(x8900))))) -43|[]-> a(b(b(a(c(x8900))))) b(b(b(a(c(x8901))))) <-13|0,0[]- b(b(a(a(c(x8901))))) -44|[]-> a(a(c(a(c(x8901))))) a(c(b(a(c(x8902))))) <-13|0,0[]- a(c(a(a(c(x8902))))) -45|[]-> b(a(b(a(c(x8902))))) b(c(b(a(c(x8903))))) <-13|0,0[]- b(c(a(a(c(x8903))))) -46|[]-> a(b(c(a(c(x8903))))) c(a(b(b(x8904)))) <-14|0[]- c(c(b(c(x8904)))) -0|[]-> b(b(b(c(x8904)))) a(b(b(x8905))) <-14|[]- c(b(c(x8905))) -3|[]-> b(b(c(x8905))) c(a(a(b(b(x8906))))) <-14|0,0[]- c(a(c(b(c(x8906))))) -10|[]-> b(b(b(b(c(x8906))))) c(a(a(b(b(x8907))))) <-14|0,0[]- c(a(c(b(c(x8907))))) -11|[]-> a(b(b(b(c(x8907))))) c(a(a(b(b(x8908))))) <-14|0,0[]- c(a(c(b(c(x8908))))) -12|[]-> b(c(b(b(c(x8908))))) a(a(a(b(b(x8909))))) <-14|0,0[]- a(a(c(b(c(x8909))))) -13|[]-> b(a(c(b(c(x8909))))) c(b(a(b(b(x8910))))) <-14|0,0[]- c(b(c(b(c(x8910))))) -14|[]-> a(b(b(b(c(x8910))))) a(b(b(x296))) <-14|[]- c(b(c(x296))) -15|[]-> b(c(b(x296))) c(b(a(b(b(x8912))))) <-14|0,0[]- c(b(c(b(c(x8912))))) -15|[]-> b(c(b(b(c(x8912))))) a(b(a(b(b(x8913))))) <-14|0,0[]- a(b(c(b(c(x8913))))) -16|[]-> b(b(b(b(c(x8913))))) b(b(a(b(b(x8914))))) <-14|0,0[]- b(b(c(b(c(x8914))))) -23|[]-> a(b(b(b(c(x8914))))) b(b(a(b(b(x8915))))) <-14|0,0[]- b(b(c(b(c(x8915))))) -24|[]-> b(c(b(b(c(x8915))))) c(a(b(b(x8916)))) <-14|0[]- c(c(b(c(x8916)))) -25|[]-> a(c(b(c(x8916)))) a(b(b(x8917))) <-14|[]- c(b(c(x8917))) -30|[]-> a(c(c(x8917))) a(a(b(b(x8918)))) <-14|0[]- a(c(b(c(x8918)))) -31|[]-> b(b(b(c(x8918)))) c(a(a(b(b(x8919))))) <-14|0,0[]- c(a(c(b(c(x8919))))) -37|[]-> a(c(b(b(c(x8919))))) c(a(a(b(b(x8920))))) <-14|0,0[]- c(a(c(b(c(x8920))))) -38|[]-> a(a(c(b(c(x8920))))) a(a(a(b(b(x8921))))) <-14|0,0[]- a(a(c(b(c(x8921))))) -39|[]-> b(c(b(b(c(x8921))))) a(b(b(x296))) <-14|[]- c(b(c(x296))) -40|[]-> a(a(c(x296))) c(b(a(b(b(x8923))))) <-14|0,0[]- c(b(c(b(c(x8923))))) -40|[]-> a(a(c(b(c(x8923))))) a(b(a(b(b(x8924))))) <-14|0,0[]- a(b(c(b(c(x8924))))) -41|[]-> b(a(c(b(c(x8924))))) b(b(a(b(b(x8925))))) <-14|0,0[]- b(b(c(b(c(x8925))))) -47|[]-> a(a(c(b(c(x8925))))) c(b(c(b(x8926)))) <-15|0[]- c(c(b(c(x8926)))) -0|[]-> b(b(b(c(x8926)))) b(c(b(x8927))) <-15|[]- c(b(c(x8927))) -3|[]-> b(b(c(x8927))) c(a(b(c(b(x8928))))) <-15|0,0[]- c(a(c(b(c(x8928))))) -10|[]-> b(b(b(b(c(x8928))))) c(a(b(c(b(x8929))))) <-15|0,0[]- c(a(c(b(c(x8929))))) -11|[]-> a(b(b(b(c(x8929))))) c(a(b(c(b(x8930))))) <-15|0,0[]- c(a(c(b(c(x8930))))) -12|[]-> b(c(b(b(c(x8930))))) a(a(b(c(b(x8931))))) <-15|0,0[]- a(a(c(b(c(x8931))))) -13|[]-> b(a(c(b(c(x8931))))) b(c(b(x296))) <-15|[]- c(b(c(x296))) -14|[]-> a(b(b(x296))) c(b(b(c(b(x8933))))) <-15|0,0[]- c(b(c(b(c(x8933))))) -14|[]-> a(b(b(b(c(x8933))))) c(b(b(c(b(x8934))))) <-15|0,0[]- c(b(c(b(c(x8934))))) -15|[]-> b(c(b(b(c(x8934))))) a(b(b(c(b(x8935))))) <-15|0,0[]- a(b(c(b(c(x8935))))) -16|[]-> b(b(b(b(c(x8935))))) b(b(b(c(b(x8936))))) <-15|0,0[]- b(b(c(b(c(x8936))))) -23|[]-> a(b(b(b(c(x8936))))) b(b(b(c(b(x8937))))) <-15|0,0[]- b(b(c(b(c(x8937))))) -24|[]-> b(c(b(b(c(x8937))))) c(b(c(b(x8938)))) <-15|0[]- c(c(b(c(x8938)))) -25|[]-> a(c(b(c(x8938)))) b(c(b(x8939))) <-15|[]- c(b(c(x8939))) -30|[]-> a(c(c(x8939))) a(b(c(b(x8940)))) <-15|0[]- a(c(b(c(x8940)))) -31|[]-> b(b(b(c(x8940)))) c(a(b(c(b(x8941))))) <-15|0,0[]- c(a(c(b(c(x8941))))) -37|[]-> a(c(b(b(c(x8941))))) c(a(b(c(b(x8942))))) <-15|0,0[]- c(a(c(b(c(x8942))))) -38|[]-> a(a(c(b(c(x8942))))) a(a(b(c(b(x8943))))) <-15|0,0[]- a(a(c(b(c(x8943))))) -39|[]-> b(c(b(b(c(x8943))))) b(c(b(x296))) <-15|[]- c(b(c(x296))) -40|[]-> a(a(c(x296))) c(b(b(c(b(x8945))))) <-15|0,0[]- c(b(c(b(c(x8945))))) -40|[]-> a(a(c(b(c(x8945))))) a(b(b(c(b(x8946))))) <-15|0,0[]- a(b(c(b(c(x8946))))) -41|[]-> b(a(c(b(c(x8946))))) b(b(b(c(b(x8947))))) <-15|0,0[]- b(b(c(b(c(x8947))))) -47|[]-> a(a(c(b(c(x8947))))) b(b(b(b(x8948)))) <-16|0[]- b(a(b(c(x8948)))) -1|[]-> b(c(b(c(x8948)))) c(b(b(b(x8949)))) <-16|0[]- c(a(b(c(x8949)))) -2|[]-> b(b(b(c(x8949)))) c(b(b(b(x8950)))) <-16|0[]- c(a(b(c(x8950)))) -8|[]-> a(b(b(c(x8950)))) c(b(b(b(x8951)))) <-16|0[]- c(a(b(c(x8951)))) -9|[]-> b(c(b(c(x8951)))) b(b(b(b(b(x8952))))) <-16|0,0[]- b(b(a(b(c(x8952))))) -19|[]-> b(c(b(b(c(x8952))))) a(c(b(b(b(x8953))))) <-16|0,0[]- a(c(a(b(c(x8953))))) -20|[]-> b(c(b(b(c(x8953))))) a(c(b(b(b(x8954))))) <-16|0,0[]- a(c(a(b(c(x8954))))) -21|[]-> b(b(c(b(c(x8954))))) b(c(b(b(b(x8955))))) <-16|0,0[]- b(c(a(b(c(x8955))))) -22|[]-> b(c(c(b(c(x8955))))) b(b(b(x8956))) <-16|[]- a(b(c(x8956))) -26|[]-> b(c(c(x8956))) b(b(b(b(x8957)))) <-16|0[]- b(a(b(c(x8957)))) -28|[]-> a(b(b(c(x8957)))) c(b(b(b(x8958)))) <-16|0[]- c(a(b(c(x8958)))) -29|[]-> a(c(b(c(x8958)))) c(b(b(b(x8959)))) <-16|0[]- c(a(b(c(x8959)))) -35|[]-> a(a(c(c(x8959)))) b(b(b(b(x8960)))) <-16|0[]- b(a(b(c(x8960)))) -36|[]-> a(a(c(c(x8960)))) b(b(b(x307))) <-16|[]- a(b(c(x307))) -41|[]-> b(a(c(x307))) b(b(b(b(b(x8962))))) <-16|0,0[]- b(b(a(b(c(x8962))))) -43|[]-> a(b(b(b(c(x8962))))) b(b(b(b(b(x8963))))) <-16|0,0[]- b(b(a(b(c(x8963))))) -44|[]-> a(a(c(b(c(x8963))))) a(c(b(b(b(x8964))))) <-16|0,0[]- a(c(a(b(c(x8964))))) -45|[]-> b(a(b(b(c(x8964))))) b(c(b(b(b(x8965))))) <-16|0,0[]- b(c(a(b(c(x8965))))) -46|[]-> a(b(c(b(c(x8965))))) c(a(b(b(x8966)))) <-17|0[]- c(b(b(b(x8966)))) -3|[]-> b(b(b(b(x8966)))) c(a(b(b(x8967)))) <-17|0[]- c(b(b(b(x8967)))) -4|[]-> a(b(b(b(x8967)))) c(b(a(b(b(x8968))))) <-17|0,0[]- c(b(b(b(b(x8968))))) -4|[]-> a(b(b(b(b(x8968))))) c(a(b(b(x8969)))) <-17|0[]- c(b(b(b(x8969)))) -5|[]-> b(c(b(b(x8969)))) c(b(a(b(b(x8970))))) <-17|0,0[]- c(b(b(b(b(x8970))))) -5|[]-> b(c(b(b(b(x8970))))) c(a(b(b(x8971)))) <-17|0[]- c(b(b(b(x8971)))) -6|[]-> b(b(c(b(x8971)))) c(b(a(b(b(x8972))))) <-17|0,0[]- c(b(b(b(b(x8972))))) -6|[]-> b(b(c(b(b(x8972))))) a(b(b(x307))) <-17|[]- b(b(b(x307))) -7|[]-> b(c(c(x307))) b(a(b(b(x8974)))) <-17|0[]- b(b(b(b(x8974)))) -7|[]-> b(c(c(b(x8974)))) b(b(a(b(b(x8975))))) <-17|0,0[]- b(b(b(b(b(x8975))))) -7|[]-> b(c(c(b(b(x8975))))) c(a(a(b(b(x8976))))) <-17|0,0[]- c(a(b(b(b(x8976))))) -8|[]-> a(b(b(b(b(x8976))))) c(a(a(b(b(x8977))))) <-17|0,0[]- c(a(b(b(b(x8977))))) -9|[]-> b(c(b(b(b(x8977))))) b(a(b(b(x8978)))) <-17|0[]- b(b(b(b(x8978)))) -17|[]-> a(b(b(b(x8978)))) b(b(a(b(b(x8979))))) <-17|0,0[]- b(b(b(b(b(x8979))))) -17|[]-> a(b(b(b(b(x8979))))) a(b(b(x306))) <-17|[]- b(b(b(x306))) -18|[]-> b(c(b(x306))) b(a(b(b(x8981)))) <-17|0[]- b(b(b(b(x8981)))) -18|[]-> b(c(b(b(x8981)))) b(b(a(b(b(x8982))))) <-17|0,0[]- b(b(b(b(b(x8982))))) -18|[]-> b(c(b(b(b(x8982))))) a(a(b(b(x8983)))) <-17|0[]- a(b(b(b(x8983)))) -26|[]-> b(c(b(b(x8983)))) a(b(b(x8984))) <-17|[]- b(b(b(x8984))) -27|[]-> a(c(b(x8984))) b(a(b(b(x8985)))) <-17|0[]- b(b(b(b(x8985)))) -27|[]-> a(c(b(b(x8985)))) c(a(b(b(x8986)))) <-17|0[]- c(b(b(b(x8986)))) -30|[]-> a(c(b(b(x8986)))) c(a(b(b(x8987)))) <-17|0[]- c(b(b(b(x8987)))) -32|[]-> a(a(c(b(x8987)))) c(b(a(b(b(x8988))))) <-17|0,0[]- c(b(b(b(b(x8988))))) -32|[]-> a(a(c(b(b(x8988))))) c(a(b(b(x8989)))) <-17|0[]- c(b(b(b(x8989)))) -33|[]-> a(c(c(b(x8989)))) c(b(a(b(b(x8990))))) <-17|0,0[]- c(b(b(b(b(x8990))))) -33|[]-> a(c(c(b(b(x8990))))) a(b(b(x307))) <-17|[]- b(b(b(x307))) -34|[]-> a(b(c(x307))) b(a(b(b(x8992)))) <-17|0[]- b(b(b(b(x8992)))) -34|[]-> a(b(c(b(x8992)))) b(b(a(b(b(x8993))))) <-17|0,0[]- b(b(b(b(b(x8993))))) -34|[]-> a(b(c(b(b(x8993))))) c(a(a(b(b(x8994))))) <-17|0,0[]- c(a(b(b(b(x8994))))) -35|[]-> a(a(c(b(b(x8994))))) b(a(a(b(b(x8995))))) <-17|0,0[]- b(a(b(b(b(x8995))))) -36|[]-> a(a(c(b(b(x8995))))) a(b(b(x306))) <-17|[]- b(b(b(x306))) -42|[]-> a(a(c(x306))) b(a(b(b(x8997)))) <-17|0[]- b(b(b(b(x8997)))) -42|[]-> a(a(c(b(x8997)))) b(b(a(b(b(x8998))))) <-17|0,0[]- b(b(b(b(b(x8998))))) -42|[]-> a(a(c(b(b(x8998))))) c(b(c(b(x8999)))) <-18|0[]- c(b(b(b(x8999)))) -3|[]-> b(b(b(b(x8999)))) c(b(c(b(x9000)))) <-18|0[]- c(b(b(b(x9000)))) -4|[]-> a(b(b(b(x9000)))) c(b(b(c(b(x9001))))) <-18|0,0[]- c(b(b(b(b(x9001))))) -4|[]-> a(b(b(b(b(x9001))))) c(b(c(b(x9002)))) <-18|0[]- c(b(b(b(x9002)))) -5|[]-> b(c(b(b(x9002)))) c(b(b(c(b(x9003))))) <-18|0,0[]- c(b(b(b(b(x9003))))) -5|[]-> b(c(b(b(b(x9003))))) c(b(c(b(x9004)))) <-18|0[]- c(b(b(b(x9004)))) -6|[]-> b(b(c(b(x9004)))) c(b(b(c(b(x9005))))) <-18|0,0[]- c(b(b(b(b(x9005))))) -6|[]-> b(b(c(b(b(x9005))))) b(c(b(x307))) <-18|[]- b(b(b(x307))) -7|[]-> b(c(c(x307))) b(b(c(b(x9007)))) <-18|0[]- b(b(b(b(x9007)))) -7|[]-> b(c(c(b(x9007)))) b(b(b(c(b(x9008))))) <-18|0,0[]- b(b(b(b(b(x9008))))) -7|[]-> b(c(c(b(b(x9008))))) c(a(b(c(b(x9009))))) <-18|0,0[]- c(a(b(b(b(x9009))))) -8|[]-> a(b(b(b(b(x9009))))) c(a(b(c(b(x9010))))) <-18|0,0[]- c(a(b(b(b(x9010))))) -9|[]-> b(c(b(b(b(x9010))))) b(c(b(x306))) <-18|[]- b(b(b(x306))) -17|[]-> a(b(b(x306))) b(b(c(b(x9012)))) <-18|0[]- b(b(b(b(x9012)))) -17|[]-> a(b(b(b(x9012)))) b(b(b(c(b(x9013))))) <-18|0,0[]- b(b(b(b(b(x9013))))) -17|[]-> a(b(b(b(b(x9013))))) b(b(c(b(x9014)))) <-18|0[]- b(b(b(b(x9014)))) -18|[]-> b(c(b(b(x9014)))) b(b(b(c(b(x9015))))) <-18|0,0[]- b(b(b(b(b(x9015))))) -18|[]-> b(c(b(b(b(x9015))))) a(b(c(b(x9016)))) <-18|0[]- a(b(b(b(x9016)))) -26|[]-> b(c(b(b(x9016)))) b(c(b(x9017))) <-18|[]- b(b(b(x9017))) -27|[]-> a(c(b(x9017))) b(b(c(b(x9018)))) <-18|0[]- b(b(b(b(x9018)))) -27|[]-> a(c(b(b(x9018)))) c(b(c(b(x9019)))) <-18|0[]- c(b(b(b(x9019)))) -30|[]-> a(c(b(b(x9019)))) c(b(c(b(x9020)))) <-18|0[]- c(b(b(b(x9020)))) -32|[]-> a(a(c(b(x9020)))) c(b(b(c(b(x9021))))) <-18|0,0[]- c(b(b(b(b(x9021))))) -32|[]-> a(a(c(b(b(x9021))))) c(b(c(b(x9022)))) <-18|0[]- c(b(b(b(x9022)))) -33|[]-> a(c(c(b(x9022)))) c(b(b(c(b(x9023))))) <-18|0,0[]- c(b(b(b(b(x9023))))) -33|[]-> a(c(c(b(b(x9023))))) b(c(b(x307))) <-18|[]- b(b(b(x307))) -34|[]-> a(b(c(x307))) b(b(c(b(x9025)))) <-18|0[]- b(b(b(b(x9025)))) -34|[]-> a(b(c(b(x9025)))) b(b(b(c(b(x9026))))) <-18|0,0[]- b(b(b(b(b(x9026))))) -34|[]-> a(b(c(b(b(x9026))))) c(a(b(c(b(x9027))))) <-18|0,0[]- c(a(b(b(b(x9027))))) -35|[]-> a(a(c(b(b(x9027))))) b(a(b(c(b(x9028))))) <-18|0,0[]- b(a(b(b(b(x9028))))) -36|[]-> a(a(c(b(b(x9028))))) b(c(b(x306))) <-18|[]- b(b(b(x306))) -42|[]-> a(a(c(x306))) b(b(c(b(x9030)))) <-18|0[]- b(b(b(b(x9030)))) -42|[]-> a(a(c(b(x9030)))) b(b(b(c(b(x9031))))) <-18|0,0[]- b(b(b(b(b(x9031))))) -42|[]-> a(a(c(b(b(x9031))))) c(b(c(b(x9032)))) <-19|0[]- c(b(b(a(x9032)))) -3|[]-> b(b(b(a(x9032)))) c(b(c(b(x9033)))) <-19|0[]- c(b(b(a(x9033)))) -4|[]-> a(b(b(a(x9033)))) c(b(b(c(b(x9034))))) <-19|0,0[]- c(b(b(b(a(x9034))))) -4|[]-> a(b(b(b(a(x9034))))) c(b(c(b(x9035)))) <-19|0[]- c(b(b(a(x9035)))) -5|[]-> b(c(b(a(x9035)))) c(b(b(c(b(x9036))))) <-19|0,0[]- c(b(b(b(a(x9036))))) -5|[]-> b(c(b(b(a(x9036))))) c(b(c(b(x9037)))) <-19|0[]- c(b(b(a(x9037)))) -6|[]-> b(b(c(a(x9037)))) c(b(b(c(b(x9038))))) <-19|0,0[]- c(b(b(b(a(x9038))))) -6|[]-> b(b(c(b(a(x9038))))) b(b(c(b(x9039)))) <-19|0[]- b(b(b(a(x9039)))) -7|[]-> b(c(c(a(x9039)))) b(b(b(c(b(x9040))))) <-19|0,0[]- b(b(b(b(a(x9040))))) -7|[]-> b(c(c(b(a(x9040))))) c(a(b(c(b(x9041))))) <-19|0,0[]- c(a(b(b(a(x9041))))) -8|[]-> a(b(b(b(a(x9041))))) c(a(b(c(b(x9042))))) <-19|0,0[]- c(a(b(b(a(x9042))))) -9|[]-> b(c(b(b(a(x9042))))) b(b(c(b(x9043)))) <-19|0[]- b(b(b(a(x9043)))) -17|[]-> a(b(b(a(x9043)))) b(b(b(c(b(x9044))))) <-19|0,0[]- b(b(b(b(a(x9044))))) -17|[]-> a(b(b(b(a(x9044))))) b(b(c(b(x9045)))) <-19|0[]- b(b(b(a(x9045)))) -18|[]-> b(c(b(a(x9045)))) b(b(b(c(b(x9046))))) <-19|0,0[]- b(b(b(b(a(x9046))))) -18|[]-> b(c(b(b(a(x9046))))) a(b(c(b(x9047)))) <-19|0[]- a(b(b(a(x9047)))) -26|[]-> b(c(b(a(x9047)))) b(c(b(x9048))) <-19|[]- b(b(a(x9048))) -27|[]-> a(c(a(x9048))) b(b(c(b(x9049)))) <-19|0[]- b(b(b(a(x9049)))) -27|[]-> a(c(b(a(x9049)))) c(b(c(b(x9050)))) <-19|0[]- c(b(b(a(x9050)))) -30|[]-> a(c(b(a(x9050)))) c(b(c(b(x9051)))) <-19|0[]- c(b(b(a(x9051)))) -32|[]-> a(a(c(a(x9051)))) c(b(b(c(b(x9052))))) <-19|0,0[]- c(b(b(b(a(x9052))))) -32|[]-> a(a(c(b(a(x9052))))) c(b(c(b(x9053)))) <-19|0[]- c(b(b(a(x9053)))) -33|[]-> a(c(c(a(x9053)))) c(b(b(c(b(x9054))))) <-19|0,0[]- c(b(b(b(a(x9054))))) -33|[]-> a(c(c(b(a(x9054))))) b(b(c(b(x9055)))) <-19|0[]- b(b(b(a(x9055)))) -34|[]-> a(b(c(a(x9055)))) b(b(b(c(b(x9056))))) <-19|0,0[]- b(b(b(b(a(x9056))))) -34|[]-> a(b(c(b(a(x9056))))) c(a(b(c(b(x9057))))) <-19|0,0[]- c(a(b(b(a(x9057))))) -35|[]-> a(a(c(b(a(x9057))))) b(a(b(c(b(x9058))))) <-19|0,0[]- b(a(b(b(a(x9058))))) -36|[]-> a(a(c(b(a(x9058))))) b(b(c(b(x9059)))) <-19|0[]- b(b(b(a(x9059)))) -42|[]-> a(a(c(a(x9059)))) b(b(b(c(b(x9060))))) <-19|0,0[]- b(b(b(b(a(x9060))))) -42|[]-> a(a(c(b(a(x9060))))) b(c(b(x304))) <-19|[]- b(b(a(x304))) -43|[]-> a(b(b(x304))) b(c(b(x304))) <-19|[]- b(b(a(x304))) -44|[]-> a(a(c(x304))) b(b(c(b(x9063)))) <-20|0[]- b(a(c(a(x9063)))) -1|[]-> b(c(c(a(x9063)))) c(b(c(b(x9064)))) <-20|0[]- c(a(c(a(x9064)))) -2|[]-> b(b(c(a(x9064)))) c(b(c(b(x9065)))) <-20|0[]- c(a(c(a(x9065)))) -10|[]-> b(b(b(a(x9065)))) c(b(c(b(x9066)))) <-20|0[]- c(a(c(a(x9066)))) -11|[]-> a(b(b(a(x9066)))) c(b(c(b(x9067)))) <-20|0[]- c(a(c(a(x9067)))) -12|[]-> b(c(b(a(x9067)))) a(b(c(b(x9068)))) <-20|0[]- a(a(c(a(x9068)))) -13|[]-> b(a(c(a(x9068)))) b(b(b(c(b(x9069))))) <-20|0,0[]- b(b(a(c(a(x9069))))) -19|[]-> b(c(b(c(a(x9069))))) a(c(b(c(b(x9070))))) <-20|0,0[]- a(c(a(c(a(x9070))))) -20|[]-> b(c(b(c(a(x9070))))) b(c(b(x301))) <-20|[]- a(c(a(x301))) -21|[]-> b(b(c(x301))) a(c(b(c(b(x9072))))) <-20|0,0[]- a(c(a(c(a(x9072))))) -21|[]-> b(b(c(c(a(x9072))))) b(c(b(c(b(x9073))))) <-20|0,0[]- b(c(a(c(a(x9073))))) -22|[]-> b(c(c(c(a(x9073))))) b(b(c(b(x9074)))) <-20|0[]- b(a(c(a(x9074)))) -28|[]-> a(b(c(a(x9074)))) c(b(c(b(x9075)))) <-20|0[]- c(a(c(a(x9075)))) -29|[]-> a(c(c(a(x9075)))) b(c(b(x9076))) <-20|[]- a(c(a(x9076))) -31|[]-> b(b(a(x9076))) c(b(c(b(x9077)))) <-20|0[]- c(a(c(a(x9077)))) -37|[]-> a(c(b(a(x9077)))) c(b(c(b(x9078)))) <-20|0[]- c(a(c(a(x9078)))) -38|[]-> a(a(c(a(x9078)))) a(b(c(b(x9079)))) <-20|0[]- a(a(c(a(x9079)))) -39|[]-> b(c(b(a(x9079)))) b(b(b(c(b(x9080))))) <-20|0,0[]- b(b(a(c(a(x9080))))) -43|[]-> a(b(b(c(a(x9080))))) b(b(b(c(b(x9081))))) <-20|0,0[]- b(b(a(c(a(x9081))))) -44|[]-> a(a(c(c(a(x9081))))) b(c(b(x301))) <-20|[]- a(c(a(x301))) -45|[]-> b(a(b(x301))) a(c(b(c(b(x9083))))) <-20|0,0[]- a(c(a(c(a(x9083))))) -45|[]-> b(a(b(c(a(x9083))))) b(c(b(c(b(x9084))))) <-20|0,0[]- b(c(a(c(a(x9084))))) -46|[]-> a(b(c(c(a(x9084))))) b(b(b(c(x9085)))) <-21|0[]- b(a(c(a(x9085)))) -1|[]-> b(c(c(a(x9085)))) c(b(b(c(x9086)))) <-21|0[]- c(a(c(a(x9086)))) -2|[]-> b(b(c(a(x9086)))) c(b(b(c(x9087)))) <-21|0[]- c(a(c(a(x9087)))) -10|[]-> b(b(b(a(x9087)))) c(b(b(c(x9088)))) <-21|0[]- c(a(c(a(x9088)))) -11|[]-> a(b(b(a(x9088)))) c(b(b(c(x9089)))) <-21|0[]- c(a(c(a(x9089)))) -12|[]-> b(c(b(a(x9089)))) a(b(b(c(x9090)))) <-21|0[]- a(a(c(a(x9090)))) -13|[]-> b(a(c(a(x9090)))) b(b(b(b(c(x9091))))) <-21|0,0[]- b(b(a(c(a(x9091))))) -19|[]-> b(c(b(c(a(x9091))))) b(b(c(x301))) <-21|[]- a(c(a(x301))) -20|[]-> b(c(b(x301))) a(c(b(b(c(x9093))))) <-21|0,0[]- a(c(a(c(a(x9093))))) -20|[]-> b(c(b(c(a(x9093))))) a(c(b(b(c(x9094))))) <-21|0,0[]- a(c(a(c(a(x9094))))) -21|[]-> b(b(c(c(a(x9094))))) b(c(b(b(c(x9095))))) <-21|0,0[]- b(c(a(c(a(x9095))))) -22|[]-> b(c(c(c(a(x9095))))) b(b(b(c(x9096)))) <-21|0[]- b(a(c(a(x9096)))) -28|[]-> a(b(c(a(x9096)))) c(b(b(c(x9097)))) <-21|0[]- c(a(c(a(x9097)))) -29|[]-> a(c(c(a(x9097)))) b(b(c(x9098))) <-21|[]- a(c(a(x9098))) -31|[]-> b(b(a(x9098))) c(b(b(c(x9099)))) <-21|0[]- c(a(c(a(x9099)))) -37|[]-> a(c(b(a(x9099)))) c(b(b(c(x9100)))) <-21|0[]- c(a(c(a(x9100)))) -38|[]-> a(a(c(a(x9100)))) a(b(b(c(x9101)))) <-21|0[]- a(a(c(a(x9101)))) -39|[]-> b(c(b(a(x9101)))) b(b(b(b(c(x9102))))) <-21|0,0[]- b(b(a(c(a(x9102))))) -43|[]-> a(b(b(c(a(x9102))))) b(b(b(b(c(x9103))))) <-21|0,0[]- b(b(a(c(a(x9103))))) -44|[]-> a(a(c(c(a(x9103))))) b(b(c(x301))) <-21|[]- a(c(a(x301))) -45|[]-> b(a(b(x301))) a(c(b(b(c(x9105))))) <-21|0,0[]- a(c(a(c(a(x9105))))) -45|[]-> b(a(b(c(a(x9105))))) b(c(b(b(c(x9106))))) <-21|0,0[]- b(c(a(c(a(x9106))))) -46|[]-> a(b(c(c(a(x9106))))) c(b(c(c(x9107)))) <-22|0[]- c(b(c(a(x9107)))) -3|[]-> b(b(c(a(x9107)))) c(b(b(c(c(x9108))))) <-22|0,0[]- c(b(b(c(a(x9108))))) -4|[]-> a(b(b(c(a(x9108))))) c(b(b(c(c(x9109))))) <-22|0,0[]- c(b(b(c(a(x9109))))) -5|[]-> b(c(b(c(a(x9109))))) c(b(b(c(c(x9110))))) <-22|0,0[]- c(b(b(c(a(x9110))))) -6|[]-> b(b(c(c(a(x9110))))) b(b(b(c(c(x9111))))) <-22|0,0[]- b(b(b(c(a(x9111))))) -7|[]-> b(c(c(c(a(x9111))))) c(a(b(c(c(x9112))))) <-22|0,0[]- c(a(b(c(a(x9112))))) -8|[]-> a(b(b(c(a(x9112))))) c(a(b(c(c(x9113))))) <-22|0,0[]- c(a(b(c(a(x9113))))) -9|[]-> b(c(b(c(a(x9113))))) c(b(c(c(x9114)))) <-22|0[]- c(b(c(a(x9114)))) -14|[]-> a(b(b(a(x9114)))) c(b(c(c(x9115)))) <-22|0[]- c(b(c(a(x9115)))) -15|[]-> b(c(b(a(x9115)))) a(b(c(c(x9116)))) <-22|0[]- a(b(c(a(x9116)))) -16|[]-> b(b(b(a(x9116)))) b(b(b(c(c(x9117))))) <-22|0,0[]- b(b(b(c(a(x9117))))) -17|[]-> a(b(b(c(a(x9117))))) b(b(b(c(c(x9118))))) <-22|0,0[]- b(b(b(c(a(x9118))))) -18|[]-> b(c(b(c(a(x9118))))) b(b(c(c(x9119)))) <-22|0[]- b(b(c(a(x9119)))) -23|[]-> a(b(b(a(x9119)))) b(b(c(c(x9120)))) <-22|0[]- b(b(c(a(x9120)))) -24|[]-> b(c(b(a(x9120)))) a(b(c(c(x9121)))) <-22|0[]- a(b(c(a(x9121)))) -26|[]-> b(c(c(a(x9121)))) b(b(c(c(x9122)))) <-22|0[]- b(b(c(a(x9122)))) -27|[]-> a(c(c(a(x9122)))) c(b(c(c(x9123)))) <-22|0[]- c(b(c(a(x9123)))) -30|[]-> a(c(c(a(x9123)))) c(b(b(c(c(x9124))))) <-22|0,0[]- c(b(b(c(a(x9124))))) -32|[]-> a(a(c(c(a(x9124))))) c(b(b(c(c(x9125))))) <-22|0,0[]- c(b(b(c(a(x9125))))) -33|[]-> a(c(c(c(a(x9125))))) b(b(b(c(c(x9126))))) <-22|0,0[]- b(b(b(c(a(x9126))))) -34|[]-> a(b(c(c(a(x9126))))) c(a(b(c(c(x9127))))) <-22|0,0[]- c(a(b(c(a(x9127))))) -35|[]-> a(a(c(c(a(x9127))))) b(a(b(c(c(x9128))))) <-22|0,0[]- b(a(b(c(a(x9128))))) -36|[]-> a(a(c(c(a(x9128))))) c(b(c(c(x9129)))) <-22|0[]- c(b(c(a(x9129)))) -40|[]-> a(a(c(a(x9129)))) a(b(c(c(x9130)))) <-22|0[]- a(b(c(a(x9130)))) -41|[]-> b(a(c(a(x9130)))) b(b(b(c(c(x9131))))) <-22|0,0[]- b(b(b(c(a(x9131))))) -42|[]-> a(a(c(c(a(x9131))))) b(c(c(x300))) <-22|[]- b(c(a(x300))) -46|[]-> a(b(c(x300))) b(b(c(c(x9133)))) <-22|0[]- b(b(c(a(x9133)))) -47|[]-> a(a(c(a(x9133)))) c(a(b(b(x9134)))) <-23|0[]- c(b(b(c(x9134)))) -3|[]-> b(b(b(c(x9134)))) c(a(b(b(x9135)))) <-23|0[]- c(b(b(c(x9135)))) -4|[]-> a(b(b(c(x9135)))) c(b(a(b(b(x9136))))) <-23|0,0[]- c(b(b(b(c(x9136))))) -4|[]-> a(b(b(b(c(x9136))))) c(a(b(b(x9137)))) <-23|0[]- c(b(b(c(x9137)))) -5|[]-> b(c(b(c(x9137)))) c(b(a(b(b(x9138))))) <-23|0,0[]- c(b(b(b(c(x9138))))) -5|[]-> b(c(b(b(c(x9138))))) c(a(b(b(x9139)))) <-23|0[]- c(b(b(c(x9139)))) -6|[]-> b(b(c(c(x9139)))) c(b(a(b(b(x9140))))) <-23|0,0[]- c(b(b(b(c(x9140))))) -6|[]-> b(b(c(b(c(x9140))))) b(a(b(b(x9141)))) <-23|0[]- b(b(b(c(x9141)))) -7|[]-> b(c(c(c(x9141)))) b(b(a(b(b(x9142))))) <-23|0,0[]- b(b(b(b(c(x9142))))) -7|[]-> b(c(c(b(c(x9142))))) c(a(a(b(b(x9143))))) <-23|0,0[]- c(a(b(b(c(x9143))))) -8|[]-> a(b(b(b(c(x9143))))) c(a(a(b(b(x9144))))) <-23|0,0[]- c(a(b(b(c(x9144))))) -9|[]-> b(c(b(b(c(x9144))))) b(a(b(b(x9145)))) <-23|0[]- b(b(b(c(x9145)))) -17|[]-> a(b(b(c(x9145)))) b(b(a(b(b(x9146))))) <-23|0,0[]- b(b(b(b(c(x9146))))) -17|[]-> a(b(b(b(c(x9146))))) b(a(b(b(x9147)))) <-23|0[]- b(b(b(c(x9147)))) -18|[]-> b(c(b(c(x9147)))) b(b(a(b(b(x9148))))) <-23|0,0[]- b(b(b(b(c(x9148))))) -18|[]-> b(c(b(b(c(x9148))))) a(b(b(x294))) <-23|[]- b(b(c(x294))) -24|[]-> b(c(b(x294))) a(a(b(b(x9150)))) <-23|0[]- a(b(b(c(x9150)))) -26|[]-> b(c(b(c(x9150)))) a(b(b(x9151))) <-23|[]- b(b(c(x9151))) -27|[]-> a(c(c(x9151))) b(a(b(b(x9152)))) <-23|0[]- b(b(b(c(x9152)))) -27|[]-> a(c(b(c(x9152)))) c(a(b(b(x9153)))) <-23|0[]- c(b(b(c(x9153)))) -30|[]-> a(c(b(c(x9153)))) c(a(b(b(x9154)))) <-23|0[]- c(b(b(c(x9154)))) -32|[]-> a(a(c(c(x9154)))) c(b(a(b(b(x9155))))) <-23|0,0[]- c(b(b(b(c(x9155))))) -32|[]-> a(a(c(b(c(x9155))))) c(a(b(b(x9156)))) <-23|0[]- c(b(b(c(x9156)))) -33|[]-> a(c(c(c(x9156)))) c(b(a(b(b(x9157))))) <-23|0,0[]- c(b(b(b(c(x9157))))) -33|[]-> a(c(c(b(c(x9157))))) b(a(b(b(x9158)))) <-23|0[]- b(b(b(c(x9158)))) -34|[]-> a(b(c(c(x9158)))) b(b(a(b(b(x9159))))) <-23|0,0[]- b(b(b(b(c(x9159))))) -34|[]-> a(b(c(b(c(x9159))))) c(a(a(b(b(x9160))))) <-23|0,0[]- c(a(b(b(c(x9160))))) -35|[]-> a(a(c(b(c(x9160))))) b(a(a(b(b(x9161))))) <-23|0,0[]- b(a(b(b(c(x9161))))) -36|[]-> a(a(c(b(c(x9161))))) b(a(b(b(x9162)))) <-23|0[]- b(b(b(c(x9162)))) -42|[]-> a(a(c(c(x9162)))) b(b(a(b(b(x9163))))) <-23|0,0[]- b(b(b(b(c(x9163))))) -42|[]-> a(a(c(b(c(x9163))))) a(b(b(x294))) <-23|[]- b(b(c(x294))) -47|[]-> a(a(c(x294))) c(b(c(b(x9165)))) <-24|0[]- c(b(b(c(x9165)))) -3|[]-> b(b(b(c(x9165)))) c(b(c(b(x9166)))) <-24|0[]- c(b(b(c(x9166)))) -4|[]-> a(b(b(c(x9166)))) c(b(b(c(b(x9167))))) <-24|0,0[]- c(b(b(b(c(x9167))))) -4|[]-> a(b(b(b(c(x9167))))) c(b(c(b(x9168)))) <-24|0[]- c(b(b(c(x9168)))) -5|[]-> b(c(b(c(x9168)))) c(b(b(c(b(x9169))))) <-24|0,0[]- c(b(b(b(c(x9169))))) -5|[]-> b(c(b(b(c(x9169))))) c(b(c(b(x9170)))) <-24|0[]- c(b(b(c(x9170)))) -6|[]-> b(b(c(c(x9170)))) c(b(b(c(b(x9171))))) <-24|0,0[]- c(b(b(b(c(x9171))))) -6|[]-> b(b(c(b(c(x9171))))) b(b(c(b(x9172)))) <-24|0[]- b(b(b(c(x9172)))) -7|[]-> b(c(c(c(x9172)))) b(b(b(c(b(x9173))))) <-24|0,0[]- b(b(b(b(c(x9173))))) -7|[]-> b(c(c(b(c(x9173))))) c(a(b(c(b(x9174))))) <-24|0,0[]- c(a(b(b(c(x9174))))) -8|[]-> a(b(b(b(c(x9174))))) c(a(b(c(b(x9175))))) <-24|0,0[]- c(a(b(b(c(x9175))))) -9|[]-> b(c(b(b(c(x9175))))) b(b(c(b(x9176)))) <-24|0[]- b(b(b(c(x9176)))) -17|[]-> a(b(b(c(x9176)))) b(b(b(c(b(x9177))))) <-24|0,0[]- b(b(b(b(c(x9177))))) -17|[]-> a(b(b(b(c(x9177))))) b(b(c(b(x9178)))) <-24|0[]- b(b(b(c(x9178)))) -18|[]-> b(c(b(c(x9178)))) b(b(b(c(b(x9179))))) <-24|0,0[]- b(b(b(b(c(x9179))))) -18|[]-> b(c(b(b(c(x9179))))) b(c(b(x294))) <-24|[]- b(b(c(x294))) -23|[]-> a(b(b(x294))) a(b(c(b(x9181)))) <-24|0[]- a(b(b(c(x9181)))) -26|[]-> b(c(b(c(x9181)))) b(c(b(x9182))) <-24|[]- b(b(c(x9182))) -27|[]-> a(c(c(x9182))) b(b(c(b(x9183)))) <-24|0[]- b(b(b(c(x9183)))) -27|[]-> a(c(b(c(x9183)))) c(b(c(b(x9184)))) <-24|0[]- c(b(b(c(x9184)))) -30|[]-> a(c(b(c(x9184)))) c(b(c(b(x9185)))) <-24|0[]- c(b(b(c(x9185)))) -32|[]-> a(a(c(c(x9185)))) c(b(b(c(b(x9186))))) <-24|0,0[]- c(b(b(b(c(x9186))))) -32|[]-> a(a(c(b(c(x9186))))) c(b(c(b(x9187)))) <-24|0[]- c(b(b(c(x9187)))) -33|[]-> a(c(c(c(x9187)))) c(b(b(c(b(x9188))))) <-24|0,0[]- c(b(b(b(c(x9188))))) -33|[]-> a(c(c(b(c(x9188))))) b(b(c(b(x9189)))) <-24|0[]- b(b(b(c(x9189)))) -34|[]-> a(b(c(c(x9189)))) b(b(b(c(b(x9190))))) <-24|0,0[]- b(b(b(b(c(x9190))))) -34|[]-> a(b(c(b(c(x9190))))) c(a(b(c(b(x9191))))) <-24|0,0[]- c(a(b(b(c(x9191))))) -35|[]-> a(a(c(b(c(x9191))))) b(a(b(c(b(x9192))))) <-24|0,0[]- b(a(b(b(c(x9192))))) -36|[]-> a(a(c(b(c(x9192))))) b(b(c(b(x9193)))) <-24|0[]- b(b(b(c(x9193)))) -42|[]-> a(a(c(c(x9193)))) b(b(b(c(b(x9194))))) <-24|0,0[]- b(b(b(b(c(x9194))))) -42|[]-> a(a(c(b(c(x9194))))) b(c(b(x294))) <-24|[]- b(b(c(x294))) -47|[]-> a(a(c(x294))) a(c(x)) <-25|[]- c(c(x)) -0|[]-> b(b(x)) c(a(c(x9197))) <-25|0[]- c(c(c(x9197))) -0|[]-> b(b(c(x9197))) c(a(a(c(x9198)))) <-25|0,0[]- c(a(c(c(x9198)))) -10|[]-> b(b(b(c(x9198)))) c(a(a(c(x9199)))) <-25|0,0[]- c(a(c(c(x9199)))) -11|[]-> a(b(b(c(x9199)))) c(a(a(c(x9200)))) <-25|0,0[]- c(a(c(c(x9200)))) -12|[]-> b(c(b(c(x9200)))) a(a(a(c(x9201)))) <-25|0,0[]- a(a(c(c(x9201)))) -13|[]-> b(a(c(c(x9201)))) c(b(a(c(x9202)))) <-25|0,0[]- c(b(c(c(x9202)))) -14|[]-> a(b(b(c(x9202)))) c(b(a(c(x9203)))) <-25|0,0[]- c(b(c(c(x9203)))) -15|[]-> b(c(b(c(x9203)))) a(b(a(c(x9204)))) <-25|0,0[]- a(b(c(c(x9204)))) -16|[]-> b(b(b(c(x9204)))) b(b(a(c(x9205)))) <-25|0,0[]- b(b(c(c(x9205)))) -23|[]-> a(b(b(c(x9205)))) b(b(a(c(x9206)))) <-25|0,0[]- b(b(c(c(x9206)))) -24|[]-> b(c(b(c(x9206)))) c(a(c(x9207))) <-25|0[]- c(c(c(x9207))) -25|[]-> a(c(c(x9207))) a(a(c(x9208))) <-25|0[]- a(c(c(x9208))) -31|[]-> b(b(c(x9208))) c(a(a(c(x9209)))) <-25|0,0[]- c(a(c(c(x9209)))) -37|[]-> a(c(b(c(x9209)))) c(a(a(c(x9210)))) <-25|0,0[]- c(a(c(c(x9210)))) -38|[]-> a(a(c(c(x9210)))) a(a(a(c(x9211)))) <-25|0,0[]- a(a(c(c(x9211)))) -39|[]-> b(c(b(c(x9211)))) c(b(a(c(x9212)))) <-25|0,0[]- c(b(c(c(x9212)))) -40|[]-> a(a(c(c(x9212)))) a(b(a(c(x9213)))) <-25|0,0[]- a(b(c(c(x9213)))) -41|[]-> b(a(c(c(x9213)))) b(b(a(c(x9214)))) <-25|0,0[]- b(b(c(c(x9214)))) -47|[]-> a(a(c(c(x9214)))) b(b(c(x9215))) <-26|0[]- b(a(b(x9215))) -1|[]-> b(c(b(x9215))) c(b(c(x9216))) <-26|0[]- c(a(b(x9216))) -2|[]-> b(b(b(x9216))) c(b(c(x302))) <-26|0[]- c(a(b(x302))) -8|[]-> a(b(b(x302))) c(b(c(x302))) <-26|0[]- c(a(b(x302))) -9|[]-> b(c(b(x302))) b(c(c(x307))) <-26|[]- a(b(c(x307))) -16|[]-> b(b(b(x307))) b(b(b(c(x9220)))) <-26|0,0[]- b(b(a(b(x9220)))) -19|[]-> b(c(b(b(x9220)))) a(c(b(c(x9221)))) <-26|0,0[]- a(c(a(b(x9221)))) -20|[]-> b(c(b(b(x9221)))) a(c(b(c(x9222)))) <-26|0,0[]- a(c(a(b(x9222)))) -21|[]-> b(b(c(b(x9222)))) b(c(b(c(x9223)))) <-26|0,0[]- b(c(a(b(x9223)))) -22|[]-> b(c(c(b(x9223)))) b(b(c(x9224))) <-26|0[]- b(a(b(x9224))) -28|[]-> a(b(b(x9224))) c(b(c(x9225))) <-26|0[]- c(a(b(x9225))) -29|[]-> a(c(b(x9225))) c(b(c(x302))) <-26|0[]- c(a(b(x302))) -35|[]-> a(a(c(x302))) b(b(c(x301))) <-26|0[]- b(a(b(x301))) -36|[]-> a(a(c(x301))) b(c(c(x307))) <-26|[]- a(b(c(x307))) -41|[]-> b(a(c(x307))) b(b(b(c(x9229)))) <-26|0,0[]- b(b(a(b(x9229)))) -43|[]-> a(b(b(b(x9229)))) b(b(b(c(x9230)))) <-26|0,0[]- b(b(a(b(x9230)))) -44|[]-> a(a(c(b(x9230)))) a(c(b(c(x9231)))) <-26|0,0[]- a(c(a(b(x9231)))) -45|[]-> b(a(b(b(x9231)))) b(c(b(c(x9232)))) <-26|0,0[]- b(c(a(b(x9232)))) -46|[]-> a(b(c(b(x9232)))) c(a(c(x9233))) <-27|0[]- c(b(b(x9233))) -3|[]-> b(b(b(x9233))) c(a(c(x308))) <-27|0[]- c(b(b(x308))) -4|[]-> a(b(b(x308))) c(b(a(c(x9235)))) <-27|0,0[]- c(b(b(b(x9235)))) -4|[]-> a(b(b(b(x9235)))) c(a(c(x308))) <-27|0[]- c(b(b(x308))) -5|[]-> b(c(b(x308))) c(b(a(c(x9237)))) <-27|0,0[]- c(b(b(b(x9237)))) -5|[]-> b(c(b(b(x9237)))) c(a(c(x308))) <-27|0[]- c(b(b(x308))) -6|[]-> b(b(c(x308))) c(b(a(c(x9239)))) <-27|0,0[]- c(b(b(b(x9239)))) -6|[]-> b(b(c(b(x9239)))) a(c(b(x307))) <-27|[]- b(b(b(x307))) -7|[]-> b(c(c(x307))) b(a(c(x307))) <-27|0[]- b(b(b(x307))) -7|[]-> b(c(c(x307))) b(b(a(c(x9242)))) <-27|0,0[]- b(b(b(b(x9242)))) -7|[]-> b(c(c(b(x9242)))) c(a(a(c(x9243)))) <-27|0,0[]- c(a(b(b(x9243)))) -8|[]-> a(b(b(b(x9243)))) c(a(a(c(x9244)))) <-27|0,0[]- c(a(b(b(x9244)))) -9|[]-> b(c(b(b(x9244)))) a(c(b(x306))) <-27|[]- b(b(b(x306))) -17|[]-> a(b(b(x306))) b(a(c(x306))) <-27|0[]- b(b(b(x306))) -17|[]-> a(b(b(x306))) b(b(a(c(x9247)))) <-27|0,0[]- b(b(b(b(x9247)))) -17|[]-> a(b(b(b(x9247)))) a(c(b(x306))) <-27|[]- b(b(b(x306))) -18|[]-> b(c(b(x306))) b(a(c(x306))) <-27|0[]- b(b(b(x306))) -18|[]-> b(c(b(x306))) b(b(a(c(x9250)))) <-27|0,0[]- b(b(b(b(x9250)))) -18|[]-> b(c(b(b(x9250)))) a(c(a(x304))) <-27|[]- b(b(a(x304))) -19|[]-> b(c(b(x304))) a(c(c(x294))) <-27|[]- b(b(c(x294))) -23|[]-> a(b(b(x294))) a(c(c(x294))) <-27|[]- b(b(c(x294))) -24|[]-> b(c(b(x294))) a(a(c(x9254))) <-27|0[]- a(b(b(x9254))) -26|[]-> b(c(b(x9254))) b(a(c(x9255))) <-27|0[]- b(b(b(x9255))) -27|[]-> a(c(b(x9255))) c(a(c(x9256))) <-27|0[]- c(b(b(x9256))) -30|[]-> a(c(b(x9256))) c(a(c(x308))) <-27|0[]- c(b(b(x308))) -32|[]-> a(a(c(x308))) c(b(a(c(x9258)))) <-27|0,0[]- c(b(b(b(x9258)))) -32|[]-> a(a(c(b(x9258)))) c(a(c(x308))) <-27|0[]- c(b(b(x308))) -33|[]-> a(c(c(x308))) c(b(a(c(x9260)))) <-27|0,0[]- c(b(b(b(x9260)))) -33|[]-> a(c(c(b(x9260)))) a(c(b(x307))) <-27|[]- b(b(b(x307))) -34|[]-> a(b(c(x307))) b(a(c(x307))) <-27|0[]- b(b(b(x307))) -34|[]-> a(b(c(x307))) b(b(a(c(x9263)))) <-27|0,0[]- b(b(b(b(x9263)))) -34|[]-> a(b(c(b(x9263)))) c(a(a(c(x9264)))) <-27|0,0[]- c(a(b(b(x9264)))) -35|[]-> a(a(c(b(x9264)))) b(a(a(c(x9265)))) <-27|0,0[]- b(a(b(b(x9265)))) -36|[]-> a(a(c(b(x9265)))) a(c(b(x306))) <-27|[]- b(b(b(x306))) -42|[]-> a(a(c(x306))) b(a(c(x306))) <-27|0[]- b(b(b(x306))) -42|[]-> a(a(c(x306))) b(b(a(c(x9268)))) <-27|0,0[]- b(b(b(b(x9268)))) -42|[]-> a(a(c(b(x9268)))) a(c(a(x304))) <-27|[]- b(b(a(x304))) -43|[]-> a(b(b(x304))) a(c(a(x304))) <-27|[]- b(b(a(x304))) -44|[]-> a(a(c(x304))) a(c(c(x294))) <-27|[]- b(b(c(x294))) -47|[]-> a(a(c(x294))) a(b(x)) <-28|[]- b(a(x)) -1|[]-> b(c(x)) c(a(b(x9273))) <-28|0[]- c(b(a(x9273))) -3|[]-> b(b(a(x9273))) c(b(a(b(x9274)))) <-28|0,0[]- c(b(b(a(x9274)))) -4|[]-> a(b(b(a(x9274)))) c(b(a(b(x9275)))) <-28|0,0[]- c(b(b(a(x9275)))) -5|[]-> b(c(b(a(x9275)))) c(b(a(b(x9276)))) <-28|0,0[]- c(b(b(a(x9276)))) -6|[]-> b(b(c(a(x9276)))) b(b(a(b(x9277)))) <-28|0,0[]- b(b(b(a(x9277)))) -7|[]-> b(c(c(a(x9277)))) c(a(a(b(x9278)))) <-28|0,0[]- c(a(b(a(x9278)))) -8|[]-> a(b(b(a(x9278)))) c(a(a(b(x9279)))) <-28|0,0[]- c(a(b(a(x9279)))) -9|[]-> b(c(b(a(x9279)))) b(b(a(b(x9280)))) <-28|0,0[]- b(b(b(a(x9280)))) -17|[]-> a(b(b(a(x9280)))) b(b(a(b(x9281)))) <-28|0,0[]- b(b(b(a(x9281)))) -18|[]-> b(c(b(a(x9281)))) b(a(b(x304))) <-28|0[]- b(b(a(x304))) -19|[]-> b(c(b(x304))) a(a(b(x9283))) <-28|0[]- a(b(a(x9283))) -26|[]-> b(c(a(x9283))) b(a(b(x9284))) <-28|0[]- b(b(a(x9284))) -27|[]-> a(c(a(x9284))) c(a(b(x9285))) <-28|0[]- c(b(a(x9285))) -30|[]-> a(c(a(x9285))) c(b(a(b(x9286)))) <-28|0,0[]- c(b(b(a(x9286)))) -32|[]-> a(a(c(a(x9286)))) c(b(a(b(x9287)))) <-28|0,0[]- c(b(b(a(x9287)))) -33|[]-> a(c(c(a(x9287)))) b(b(a(b(x9288)))) <-28|0,0[]- b(b(b(a(x9288)))) -34|[]-> a(b(c(a(x9288)))) c(a(a(b(x9289)))) <-28|0,0[]- c(a(b(a(x9289)))) -35|[]-> a(a(c(a(x9289)))) a(b(b(x301))) <-28|[]- b(a(b(x301))) -36|[]-> a(a(c(x301))) b(a(a(b(x9291)))) <-28|0,0[]- b(a(b(a(x9291)))) -36|[]-> a(a(c(a(x9291)))) b(b(a(b(x9292)))) <-28|0,0[]- b(b(b(a(x9292)))) -42|[]-> a(a(c(a(x9292)))) b(a(b(x304))) <-28|0[]- b(b(a(x304))) -43|[]-> a(b(b(x304))) b(a(b(x304))) <-28|0[]- b(b(a(x304))) -44|[]-> a(a(c(x304))) c(a(c(x9295))) <-29|0[]- c(c(a(x9295))) -0|[]-> b(b(a(x9295))) a(c(x)) <-29|[]- c(a(x)) -2|[]-> b(b(x)) a(c(b(x302))) <-29|[]- c(a(b(x302))) -8|[]-> a(b(b(x302))) a(c(b(x302))) <-29|[]- c(a(b(x302))) -9|[]-> b(c(b(x302))) a(c(c(x299))) <-29|[]- c(a(c(x299))) -10|[]-> b(b(b(x299))) c(a(a(c(x9300)))) <-29|0,0[]- c(a(c(a(x9300)))) -10|[]-> b(b(b(a(x9300)))) a(c(c(x299))) <-29|[]- c(a(c(x299))) -11|[]-> a(b(b(x299))) c(a(a(c(x9302)))) <-29|0,0[]- c(a(c(a(x9302)))) -11|[]-> a(b(b(a(x9302)))) a(c(c(x299))) <-29|[]- c(a(c(x299))) -12|[]-> b(c(b(x299))) c(a(a(c(x9304)))) <-29|0,0[]- c(a(c(a(x9304)))) -12|[]-> b(c(b(a(x9304)))) a(a(a(c(x9305)))) <-29|0,0[]- a(a(c(a(x9305)))) -13|[]-> b(a(c(a(x9305)))) c(b(a(c(x9306)))) <-29|0,0[]- c(b(c(a(x9306)))) -14|[]-> a(b(b(a(x9306)))) c(b(a(c(x9307)))) <-29|0,0[]- c(b(c(a(x9307)))) -15|[]-> b(c(b(a(x9307)))) a(b(a(c(x9308)))) <-29|0,0[]- a(b(c(a(x9308)))) -16|[]-> b(b(b(a(x9308)))) a(a(c(x301))) <-29|0[]- a(c(a(x301))) -20|[]-> b(c(b(x301))) a(a(c(x301))) <-29|0[]- a(c(a(x301))) -21|[]-> b(b(c(x301))) b(a(c(x300))) <-29|0[]- b(c(a(x300))) -22|[]-> b(c(c(x300))) b(b(a(c(x9312)))) <-29|0,0[]- b(b(c(a(x9312)))) -23|[]-> a(b(b(a(x9312)))) b(b(a(c(x9313)))) <-29|0,0[]- b(b(c(a(x9313)))) -24|[]-> b(c(b(a(x9313)))) c(a(c(x9314))) <-29|0[]- c(c(a(x9314))) -25|[]-> a(c(a(x9314))) a(a(c(x9315))) <-29|0[]- a(c(a(x9315))) -31|[]-> b(b(a(x9315))) a(c(b(x302))) <-29|[]- c(a(b(x302))) -35|[]-> a(a(c(x302))) a(c(c(x299))) <-29|[]- c(a(c(x299))) -37|[]-> a(c(b(x299))) c(a(a(c(x9318)))) <-29|0,0[]- c(a(c(a(x9318)))) -37|[]-> a(c(b(a(x9318)))) a(c(c(x299))) <-29|[]- c(a(c(x299))) -38|[]-> a(a(c(x299))) c(a(a(c(x9320)))) <-29|0,0[]- c(a(c(a(x9320)))) -38|[]-> a(a(c(a(x9320)))) a(a(a(c(x9321)))) <-29|0,0[]- a(a(c(a(x9321)))) -39|[]-> b(c(b(a(x9321)))) c(b(a(c(x9322)))) <-29|0,0[]- c(b(c(a(x9322)))) -40|[]-> a(a(c(a(x9322)))) a(b(a(c(x9323)))) <-29|0,0[]- a(b(c(a(x9323)))) -41|[]-> b(a(c(a(x9323)))) a(a(c(x301))) <-29|0[]- a(c(a(x301))) -45|[]-> b(a(b(x301))) b(a(c(x300))) <-29|0[]- b(c(a(x300))) -46|[]-> a(b(c(x300))) b(b(a(c(x9326)))) <-29|0,0[]- b(b(c(a(x9326)))) -47|[]-> a(a(c(a(x9326)))) c(a(c(x9327))) <-30|0[]- c(c(b(x9327))) -0|[]-> b(b(b(x9327))) a(c(x)) <-30|[]- c(b(x)) -3|[]-> b(b(x)) a(c(b(x308))) <-30|[]- c(b(b(x308))) -4|[]-> a(b(b(x308))) a(c(b(x308))) <-30|[]- c(b(b(x308))) -5|[]-> b(c(b(x308))) a(c(b(x308))) <-30|[]- c(b(b(x308))) -6|[]-> b(b(c(x308))) c(a(a(c(x9332)))) <-30|0,0[]- c(a(c(b(x9332)))) -10|[]-> b(b(b(b(x9332)))) c(a(a(c(x9333)))) <-30|0,0[]- c(a(c(b(x9333)))) -11|[]-> a(b(b(b(x9333)))) c(a(a(c(x9334)))) <-30|0,0[]- c(a(c(b(x9334)))) -12|[]-> b(c(b(b(x9334)))) a(a(a(c(x9335)))) <-30|0,0[]- a(a(c(b(x9335)))) -13|[]-> b(a(c(b(x9335)))) a(c(c(x296))) <-30|[]- c(b(c(x296))) -14|[]-> a(b(b(x296))) c(b(a(c(x9337)))) <-30|0,0[]- c(b(c(b(x9337)))) -14|[]-> a(b(b(b(x9337)))) a(c(c(x296))) <-30|[]- c(b(c(x296))) -15|[]-> b(c(b(x296))) c(b(a(c(x9339)))) <-30|0,0[]- c(b(c(b(x9339)))) -15|[]-> b(c(b(b(x9339)))) a(b(a(c(x9340)))) <-30|0,0[]- a(b(c(b(x9340)))) -16|[]-> b(b(b(b(x9340)))) b(b(a(c(x9341)))) <-30|0,0[]- b(b(c(b(x9341)))) -23|[]-> a(b(b(b(x9341)))) b(b(a(c(x9342)))) <-30|0,0[]- b(b(c(b(x9342)))) -24|[]-> b(c(b(b(x9342)))) c(a(c(x9343))) <-30|0[]- c(c(b(x9343))) -25|[]-> a(c(b(x9343))) a(a(c(x9344))) <-30|0[]- a(c(b(x9344))) -31|[]-> b(b(b(x9344))) a(c(b(x308))) <-30|[]- c(b(b(x308))) -32|[]-> a(a(c(x308))) a(c(b(x308))) <-30|[]- c(b(b(x308))) -33|[]-> a(c(c(x308))) c(a(a(c(x9347)))) <-30|0,0[]- c(a(c(b(x9347)))) -37|[]-> a(c(b(b(x9347)))) c(a(a(c(x9348)))) <-30|0,0[]- c(a(c(b(x9348)))) -38|[]-> a(a(c(b(x9348)))) a(a(a(c(x9349)))) <-30|0,0[]- a(a(c(b(x9349)))) -39|[]-> b(c(b(b(x9349)))) a(c(c(x296))) <-30|[]- c(b(c(x296))) -40|[]-> a(a(c(x296))) c(b(a(c(x9351)))) <-30|0,0[]- c(b(c(b(x9351)))) -40|[]-> a(a(c(b(x9351)))) a(b(a(c(x9352)))) <-30|0,0[]- a(b(c(b(x9352)))) -41|[]-> b(a(c(b(x9352)))) b(b(a(c(x9353)))) <-30|0,0[]- b(b(c(b(x9353)))) -47|[]-> a(a(c(b(x9353)))) b(b(b(x9354))) <-31|0[]- b(a(c(x9354))) -1|[]-> b(c(c(x9354))) c(b(b(x9355))) <-31|0[]- c(a(c(x9355))) -2|[]-> b(b(c(x9355))) c(b(b(x299))) <-31|0[]- c(a(c(x299))) -10|[]-> b(b(b(x299))) c(b(b(x299))) <-31|0[]- c(a(c(x299))) -11|[]-> a(b(b(x299))) c(b(b(x299))) <-31|0[]- c(a(c(x299))) -12|[]-> b(c(b(x299))) a(b(b(x297))) <-31|0[]- a(a(c(x297))) -13|[]-> b(a(c(x297))) b(b(b(b(x9360)))) <-31|0,0[]- b(b(a(c(x9360)))) -19|[]-> b(c(b(c(x9360)))) b(b(a(x301))) <-31|[]- a(c(a(x301))) -20|[]-> b(c(b(x301))) a(c(b(b(x9362)))) <-31|0,0[]- a(c(a(c(x9362)))) -20|[]-> b(c(b(c(x9362)))) b(b(a(x301))) <-31|[]- a(c(a(x301))) -21|[]-> b(b(c(x301))) a(c(b(b(x9364)))) <-31|0,0[]- a(c(a(c(x9364)))) -21|[]-> b(b(c(c(x9364)))) b(c(b(b(x9365)))) <-31|0,0[]- b(c(a(c(x9365)))) -22|[]-> b(c(c(c(x9365)))) b(b(b(x9366))) <-31|0[]- b(a(c(x9366))) -28|[]-> a(b(c(x9366))) c(b(b(x9367))) <-31|0[]- c(a(c(x9367))) -29|[]-> a(c(c(x9367))) c(b(b(x299))) <-31|0[]- c(a(c(x299))) -37|[]-> a(c(b(x299))) c(b(b(x299))) <-31|0[]- c(a(c(x299))) -38|[]-> a(a(c(x299))) a(b(b(x297))) <-31|0[]- a(a(c(x297))) -39|[]-> b(c(b(x297))) b(b(b(b(x9371)))) <-31|0,0[]- b(b(a(c(x9371)))) -43|[]-> a(b(b(c(x9371)))) b(b(b(b(x9372)))) <-31|0,0[]- b(b(a(c(x9372)))) -44|[]-> a(a(c(c(x9372)))) b(b(a(x301))) <-31|[]- a(c(a(x301))) -45|[]-> b(a(b(x301))) a(c(b(b(x9374)))) <-31|0,0[]- a(c(a(c(x9374)))) -45|[]-> b(a(b(c(x9374)))) b(c(b(b(x9375)))) <-31|0,0[]- b(c(a(c(x9375)))) -46|[]-> a(b(c(c(x9375)))) c(a(a(c(x9376)))) <-32|0[]- c(c(b(b(x9376)))) -0|[]-> b(b(b(b(x9376)))) a(a(c(x9377))) <-32|[]- c(b(b(x9377))) -3|[]-> b(b(b(x9377))) a(a(c(x308))) <-32|[]- c(b(b(x308))) -4|[]-> a(b(b(x308))) a(a(c(x308))) <-32|[]- c(b(b(x308))) -5|[]-> b(c(b(x308))) a(a(c(x308))) <-32|[]- c(b(b(x308))) -6|[]-> b(b(c(x308))) c(a(a(a(c(x9381))))) <-32|0,0[]- c(a(c(b(b(x9381))))) -10|[]-> b(b(b(b(b(x9381))))) c(a(a(a(c(x9382))))) <-32|0,0[]- c(a(c(b(b(x9382))))) -11|[]-> a(b(b(b(b(x9382))))) c(a(a(a(c(x9383))))) <-32|0,0[]- c(a(c(b(b(x9383))))) -12|[]-> b(c(b(b(b(x9383))))) a(a(a(a(c(x9384))))) <-32|0,0[]- a(a(c(b(b(x9384))))) -13|[]-> b(a(c(b(b(x9384))))) c(b(a(a(c(x9385))))) <-32|0,0[]- c(b(c(b(b(x9385))))) -14|[]-> a(b(b(b(b(x9385))))) c(b(a(a(c(x9386))))) <-32|0,0[]- c(b(c(b(b(x9386))))) -15|[]-> b(c(b(b(b(x9386))))) a(b(a(a(c(x9387))))) <-32|0,0[]- a(b(c(b(b(x9387))))) -16|[]-> b(b(b(b(b(x9387))))) b(b(a(a(c(x9388))))) <-32|0,0[]- b(b(c(b(b(x9388))))) -23|[]-> a(b(b(b(b(x9388))))) b(b(a(a(c(x9389))))) <-32|0,0[]- b(b(c(b(b(x9389))))) -24|[]-> b(c(b(b(b(x9389))))) c(a(a(c(x9390)))) <-32|0[]- c(c(b(b(x9390)))) -25|[]-> a(c(b(b(x9390)))) a(a(c(x9391))) <-32|[]- c(b(b(x9391))) -30|[]-> a(c(b(x9391))) a(a(a(c(x9392)))) <-32|0[]- a(c(b(b(x9392)))) -31|[]-> b(b(b(b(x9392)))) a(a(c(x308))) <-32|[]- c(b(b(x308))) -33|[]-> a(c(c(x308))) c(a(a(a(c(x9394))))) <-32|0,0[]- c(a(c(b(b(x9394))))) -37|[]-> a(c(b(b(b(x9394))))) c(a(a(a(c(x9395))))) <-32|0,0[]- c(a(c(b(b(x9395))))) -38|[]-> a(a(c(b(b(x9395))))) a(a(a(a(c(x9396))))) <-32|0,0[]- a(a(c(b(b(x9396))))) -39|[]-> b(c(b(b(b(x9396))))) c(b(a(a(c(x9397))))) <-32|0,0[]- c(b(c(b(b(x9397))))) -40|[]-> a(a(c(b(b(x9397))))) a(b(a(a(c(x9398))))) <-32|0,0[]- a(b(c(b(b(x9398))))) -41|[]-> b(a(c(b(b(x9398))))) b(b(a(a(c(x9399))))) <-32|0,0[]- b(b(c(b(b(x9399))))) -47|[]-> a(a(c(b(b(x9399))))) c(a(c(c(x9400)))) <-33|0[]- c(c(b(b(x9400)))) -0|[]-> b(b(b(b(x9400)))) a(c(c(x9401))) <-33|[]- c(b(b(x9401))) -3|[]-> b(b(b(x9401))) a(c(c(x308))) <-33|[]- c(b(b(x308))) -4|[]-> a(b(b(x308))) a(c(c(x308))) <-33|[]- c(b(b(x308))) -5|[]-> b(c(b(x308))) a(c(c(x308))) <-33|[]- c(b(b(x308))) -6|[]-> b(b(c(x308))) c(a(a(c(c(x9405))))) <-33|0,0[]- c(a(c(b(b(x9405))))) -10|[]-> b(b(b(b(b(x9405))))) c(a(a(c(c(x9406))))) <-33|0,0[]- c(a(c(b(b(x9406))))) -11|[]-> a(b(b(b(b(x9406))))) c(a(a(c(c(x9407))))) <-33|0,0[]- c(a(c(b(b(x9407))))) -12|[]-> b(c(b(b(b(x9407))))) a(a(a(c(c(x9408))))) <-33|0,0[]- a(a(c(b(b(x9408))))) -13|[]-> b(a(c(b(b(x9408))))) c(b(a(c(c(x9409))))) <-33|0,0[]- c(b(c(b(b(x9409))))) -14|[]-> a(b(b(b(b(x9409))))) c(b(a(c(c(x9410))))) <-33|0,0[]- c(b(c(b(b(x9410))))) -15|[]-> b(c(b(b(b(x9410))))) a(b(a(c(c(x9411))))) <-33|0,0[]- a(b(c(b(b(x9411))))) -16|[]-> b(b(b(b(b(x9411))))) b(b(a(c(c(x9412))))) <-33|0,0[]- b(b(c(b(b(x9412))))) -23|[]-> a(b(b(b(b(x9412))))) b(b(a(c(c(x9413))))) <-33|0,0[]- b(b(c(b(b(x9413))))) -24|[]-> b(c(b(b(b(x9413))))) c(a(c(c(x9414)))) <-33|0[]- c(c(b(b(x9414)))) -25|[]-> a(c(b(b(x9414)))) a(c(c(x9415))) <-33|[]- c(b(b(x9415))) -30|[]-> a(c(b(x9415))) a(a(c(c(x9416)))) <-33|0[]- a(c(b(b(x9416)))) -31|[]-> b(b(b(b(x9416)))) a(c(c(x308))) <-33|[]- c(b(b(x308))) -32|[]-> a(a(c(x308))) c(a(a(c(c(x9418))))) <-33|0,0[]- c(a(c(b(b(x9418))))) -37|[]-> a(c(b(b(b(x9418))))) c(a(a(c(c(x9419))))) <-33|0,0[]- c(a(c(b(b(x9419))))) -38|[]-> a(a(c(b(b(x9419))))) a(a(a(c(c(x9420))))) <-33|0,0[]- a(a(c(b(b(x9420))))) -39|[]-> b(c(b(b(b(x9420))))) c(b(a(c(c(x9421))))) <-33|0,0[]- c(b(c(b(b(x9421))))) -40|[]-> a(a(c(b(b(x9421))))) a(b(a(c(c(x9422))))) <-33|0,0[]- a(b(c(b(b(x9422))))) -41|[]-> b(a(c(b(b(x9422))))) b(b(a(c(c(x9423))))) <-33|0,0[]- b(b(c(b(b(x9423))))) -47|[]-> a(a(c(b(b(x9423))))) c(a(b(c(x9424)))) <-34|0[]- c(b(b(b(x9424)))) -3|[]-> b(b(b(b(x9424)))) c(a(b(c(x9425)))) <-34|0[]- c(b(b(b(x9425)))) -4|[]-> a(b(b(b(x9425)))) c(b(a(b(c(x9426))))) <-34|0,0[]- c(b(b(b(b(x9426))))) -4|[]-> a(b(b(b(b(x9426))))) c(a(b(c(x9427)))) <-34|0[]- c(b(b(b(x9427)))) -5|[]-> b(c(b(b(x9427)))) c(b(a(b(c(x9428))))) <-34|0,0[]- c(b(b(b(b(x9428))))) -5|[]-> b(c(b(b(b(x9428))))) c(a(b(c(x9429)))) <-34|0[]- c(b(b(b(x9429)))) -6|[]-> b(b(c(b(x9429)))) c(b(a(b(c(x9430))))) <-34|0,0[]- c(b(b(b(b(x9430))))) -6|[]-> b(b(c(b(b(x9430))))) a(b(c(x307))) <-34|[]- b(b(b(x307))) -7|[]-> b(c(c(x307))) b(a(b(c(x9432)))) <-34|0[]- b(b(b(b(x9432)))) -7|[]-> b(c(c(b(x9432)))) b(b(a(b(c(x9433))))) <-34|0,0[]- b(b(b(b(b(x9433))))) -7|[]-> b(c(c(b(b(x9433))))) c(a(a(b(c(x9434))))) <-34|0,0[]- c(a(b(b(b(x9434))))) -8|[]-> a(b(b(b(b(x9434))))) c(a(a(b(c(x9435))))) <-34|0,0[]- c(a(b(b(b(x9435))))) -9|[]-> b(c(b(b(b(x9435))))) a(b(c(x306))) <-34|[]- b(b(b(x306))) -17|[]-> a(b(b(x306))) b(a(b(c(x9437)))) <-34|0[]- b(b(b(b(x9437)))) -17|[]-> a(b(b(b(x9437)))) b(b(a(b(c(x9438))))) <-34|0,0[]- b(b(b(b(b(x9438))))) -17|[]-> a(b(b(b(b(x9438))))) a(b(c(x306))) <-34|[]- b(b(b(x306))) -18|[]-> b(c(b(x306))) b(a(b(c(x9440)))) <-34|0[]- b(b(b(b(x9440)))) -18|[]-> b(c(b(b(x9440)))) b(b(a(b(c(x9441))))) <-34|0,0[]- b(b(b(b(b(x9441))))) -18|[]-> b(c(b(b(b(x9441))))) a(a(b(c(x9442)))) <-34|0[]- a(b(b(b(x9442)))) -26|[]-> b(c(b(b(x9442)))) a(b(c(x9443))) <-34|[]- b(b(b(x9443))) -27|[]-> a(c(b(x9443))) b(a(b(c(x9444)))) <-34|0[]- b(b(b(b(x9444)))) -27|[]-> a(c(b(b(x9444)))) c(a(b(c(x9445)))) <-34|0[]- c(b(b(b(x9445)))) -30|[]-> a(c(b(b(x9445)))) c(a(b(c(x9446)))) <-34|0[]- c(b(b(b(x9446)))) -32|[]-> a(a(c(b(x9446)))) c(b(a(b(c(x9447))))) <-34|0,0[]- c(b(b(b(b(x9447))))) -32|[]-> a(a(c(b(b(x9447))))) c(a(b(c(x9448)))) <-34|0[]- c(b(b(b(x9448)))) -33|[]-> a(c(c(b(x9448)))) c(b(a(b(c(x9449))))) <-34|0,0[]- c(b(b(b(b(x9449))))) -33|[]-> a(c(c(b(b(x9449))))) b(a(b(c(x9450)))) <-34|0[]- b(b(b(b(x9450)))) -34|[]-> a(b(c(b(x9450)))) b(b(a(b(c(x9451))))) <-34|0,0[]- b(b(b(b(b(x9451))))) -34|[]-> a(b(c(b(b(x9451))))) c(a(a(b(c(x9452))))) <-34|0,0[]- c(a(b(b(b(x9452))))) -35|[]-> a(a(c(b(b(x9452))))) b(a(a(b(c(x9453))))) <-34|0,0[]- b(a(b(b(b(x9453))))) -36|[]-> a(a(c(b(b(x9453))))) a(b(c(x306))) <-34|[]- b(b(b(x306))) -42|[]-> a(a(c(x306))) b(a(b(c(x9455)))) <-34|0[]- b(b(b(b(x9455)))) -42|[]-> a(a(c(b(x9455)))) b(b(a(b(c(x9456))))) <-34|0,0[]- b(b(b(b(b(x9456))))) -42|[]-> a(a(c(b(b(x9456))))) c(a(a(c(x9457)))) <-35|0[]- c(c(a(b(x9457)))) -0|[]-> b(b(a(b(x9457)))) a(a(c(x9458))) <-35|[]- c(a(b(x9458))) -2|[]-> b(b(b(x9458))) a(a(c(x302))) <-35|[]- c(a(b(x302))) -8|[]-> a(b(b(x302))) a(a(c(x302))) <-35|[]- c(a(b(x302))) -9|[]-> b(c(b(x302))) c(a(a(a(c(x9461))))) <-35|0,0[]- c(a(c(a(b(x9461))))) -10|[]-> b(b(b(a(b(x9461))))) c(a(a(a(c(x9462))))) <-35|0,0[]- c(a(c(a(b(x9462))))) -11|[]-> a(b(b(a(b(x9462))))) c(a(a(a(c(x9463))))) <-35|0,0[]- c(a(c(a(b(x9463))))) -12|[]-> b(c(b(a(b(x9463))))) a(a(a(a(c(x9464))))) <-35|0,0[]- a(a(c(a(b(x9464))))) -13|[]-> b(a(c(a(b(x9464))))) c(b(a(a(c(x9465))))) <-35|0,0[]- c(b(c(a(b(x9465))))) -14|[]-> a(b(b(a(b(x9465))))) c(b(a(a(c(x9466))))) <-35|0,0[]- c(b(c(a(b(x9466))))) -15|[]-> b(c(b(a(b(x9466))))) a(b(a(a(c(x9467))))) <-35|0,0[]- a(b(c(a(b(x9467))))) -16|[]-> b(b(b(a(b(x9467))))) a(a(a(c(x9468)))) <-35|0[]- a(c(a(b(x9468)))) -20|[]-> b(c(b(b(x9468)))) a(a(a(c(x9469)))) <-35|0[]- a(c(a(b(x9469)))) -21|[]-> b(b(c(b(x9469)))) b(a(a(c(x9470)))) <-35|0[]- b(c(a(b(x9470)))) -22|[]-> b(c(c(b(x9470)))) b(b(a(a(c(x9471))))) <-35|0,0[]- b(b(c(a(b(x9471))))) -23|[]-> a(b(b(a(b(x9471))))) b(b(a(a(c(x9472))))) <-35|0,0[]- b(b(c(a(b(x9472))))) -24|[]-> b(c(b(a(b(x9472))))) c(a(a(c(x9473)))) <-35|0[]- c(c(a(b(x9473)))) -25|[]-> a(c(a(b(x9473)))) a(a(c(x9474))) <-35|[]- c(a(b(x9474))) -29|[]-> a(c(b(x9474))) a(a(a(c(x9475)))) <-35|0[]- a(c(a(b(x9475)))) -31|[]-> b(b(a(b(x9475)))) c(a(a(a(c(x9476))))) <-35|0,0[]- c(a(c(a(b(x9476))))) -37|[]-> a(c(b(a(b(x9476))))) c(a(a(a(c(x9477))))) <-35|0,0[]- c(a(c(a(b(x9477))))) -38|[]-> a(a(c(a(b(x9477))))) a(a(a(a(c(x9478))))) <-35|0,0[]- a(a(c(a(b(x9478))))) -39|[]-> b(c(b(a(b(x9478))))) c(b(a(a(c(x9479))))) <-35|0,0[]- c(b(c(a(b(x9479))))) -40|[]-> a(a(c(a(b(x9479))))) a(b(a(a(c(x9480))))) <-35|0,0[]- a(b(c(a(b(x9480))))) -41|[]-> b(a(c(a(b(x9480))))) a(a(a(c(x9481)))) <-35|0[]- a(c(a(b(x9481)))) -45|[]-> b(a(b(b(x9481)))) b(a(a(c(x9482)))) <-35|0[]- b(c(a(b(x9482)))) -46|[]-> a(b(c(b(x9482)))) b(b(a(a(c(x9483))))) <-35|0,0[]- b(b(c(a(b(x9483))))) -47|[]-> a(a(c(a(b(x9483))))) a(a(c(x9484))) <-36|[]- b(a(b(x9484))) -1|[]-> b(c(b(x9484))) c(a(a(c(x9485)))) <-36|0[]- c(b(a(b(x9485)))) -3|[]-> b(b(a(b(x9485)))) c(b(a(a(c(x9486))))) <-36|0,0[]- c(b(b(a(b(x9486))))) -4|[]-> a(b(b(a(b(x9486))))) c(b(a(a(c(x9487))))) <-36|0,0[]- c(b(b(a(b(x9487))))) -5|[]-> b(c(b(a(b(x9487))))) c(b(a(a(c(x9488))))) <-36|0,0[]- c(b(b(a(b(x9488))))) -6|[]-> b(b(c(a(b(x9488))))) b(b(a(a(c(x9489))))) <-36|0,0[]- b(b(b(a(b(x9489))))) -7|[]-> b(c(c(a(b(x9489))))) c(a(a(a(c(x9490))))) <-36|0,0[]- c(a(b(a(b(x9490))))) -8|[]-> a(b(b(a(b(x9490))))) c(a(a(a(c(x9491))))) <-36|0,0[]- c(a(b(a(b(x9491))))) -9|[]-> b(c(b(a(b(x9491))))) b(b(a(a(c(x9492))))) <-36|0,0[]- b(b(b(a(b(x9492))))) -17|[]-> a(b(b(a(b(x9492))))) b(b(a(a(c(x9493))))) <-36|0,0[]- b(b(b(a(b(x9493))))) -18|[]-> b(c(b(a(b(x9493))))) b(a(a(c(x9494)))) <-36|0[]- b(b(a(b(x9494)))) -19|[]-> b(c(b(b(x9494)))) a(a(a(c(x9495)))) <-36|0[]- a(b(a(b(x9495)))) -26|[]-> b(c(a(b(x9495)))) b(a(a(c(x9496)))) <-36|0[]- b(b(a(b(x9496)))) -27|[]-> a(c(a(b(x9496)))) a(a(c(x9497))) <-36|[]- b(a(b(x9497))) -28|[]-> a(b(b(x9497))) c(a(a(c(x9498)))) <-36|0[]- c(b(a(b(x9498)))) -30|[]-> a(c(a(b(x9498)))) c(b(a(a(c(x9499))))) <-36|0,0[]- c(b(b(a(b(x9499))))) -32|[]-> a(a(c(a(b(x9499))))) c(b(a(a(c(x9500))))) <-36|0,0[]- c(b(b(a(b(x9500))))) -33|[]-> a(c(c(a(b(x9500))))) b(b(a(a(c(x9501))))) <-36|0,0[]- b(b(b(a(b(x9501))))) -34|[]-> a(b(c(a(b(x9501))))) c(a(a(a(c(x9502))))) <-36|0,0[]- c(a(b(a(b(x9502))))) -35|[]-> a(a(c(a(b(x9502))))) b(a(a(a(c(x9503))))) <-36|0,0[]- b(a(b(a(b(x9503))))) -36|[]-> a(a(c(a(b(x9503))))) b(b(a(a(c(x9504))))) <-36|0,0[]- b(b(b(a(b(x9504))))) -42|[]-> a(a(c(a(b(x9504))))) b(a(a(c(x9505)))) <-36|0[]- b(b(a(b(x9505)))) -43|[]-> a(b(b(b(x9505)))) b(a(a(c(x9506)))) <-36|0[]- b(b(a(b(x9506)))) -44|[]-> a(a(c(b(x9506)))) c(a(c(b(x9507)))) <-37|0[]- c(c(a(c(x9507)))) -0|[]-> b(b(a(c(x9507)))) a(c(b(x9508))) <-37|[]- c(a(c(x9508))) -2|[]-> b(b(c(x9508))) a(c(b(x299))) <-37|[]- c(a(c(x299))) -10|[]-> b(b(b(x299))) c(a(a(c(b(x9510))))) <-37|0,0[]- c(a(c(a(c(x9510))))) -10|[]-> b(b(b(a(c(x9510))))) a(c(b(x299))) <-37|[]- c(a(c(x299))) -11|[]-> a(b(b(x299))) c(a(a(c(b(x9512))))) <-37|0,0[]- c(a(c(a(c(x9512))))) -11|[]-> a(b(b(a(c(x9512))))) a(c(b(x299))) <-37|[]- c(a(c(x299))) -12|[]-> b(c(b(x299))) c(a(a(c(b(x9514))))) <-37|0,0[]- c(a(c(a(c(x9514))))) -12|[]-> b(c(b(a(c(x9514))))) a(a(a(c(b(x9515))))) <-37|0,0[]- a(a(c(a(c(x9515))))) -13|[]-> b(a(c(a(c(x9515))))) c(b(a(c(b(x9516))))) <-37|0,0[]- c(b(c(a(c(x9516))))) -14|[]-> a(b(b(a(c(x9516))))) c(b(a(c(b(x9517))))) <-37|0,0[]- c(b(c(a(c(x9517))))) -15|[]-> b(c(b(a(c(x9517))))) a(b(a(c(b(x9518))))) <-37|0,0[]- a(b(c(a(c(x9518))))) -16|[]-> b(b(b(a(c(x9518))))) a(a(c(b(x9519)))) <-37|0[]- a(c(a(c(x9519)))) -20|[]-> b(c(b(c(x9519)))) a(a(c(b(x9520)))) <-37|0[]- a(c(a(c(x9520)))) -21|[]-> b(b(c(c(x9520)))) b(a(c(b(x9521)))) <-37|0[]- b(c(a(c(x9521)))) -22|[]-> b(c(c(c(x9521)))) b(b(a(c(b(x9522))))) <-37|0,0[]- b(b(c(a(c(x9522))))) -23|[]-> a(b(b(a(c(x9522))))) b(b(a(c(b(x9523))))) <-37|0,0[]- b(b(c(a(c(x9523))))) -24|[]-> b(c(b(a(c(x9523))))) c(a(c(b(x9524)))) <-37|0[]- c(c(a(c(x9524)))) -25|[]-> a(c(a(c(x9524)))) a(c(b(x9525))) <-37|[]- c(a(c(x9525))) -29|[]-> a(c(c(x9525))) a(a(c(b(x9526)))) <-37|0[]- a(c(a(c(x9526)))) -31|[]-> b(b(a(c(x9526)))) c(a(a(c(b(x9527))))) <-37|0,0[]- c(a(c(a(c(x9527))))) -37|[]-> a(c(b(a(c(x9527))))) a(c(b(x299))) <-37|[]- c(a(c(x299))) -38|[]-> a(a(c(x299))) c(a(a(c(b(x9529))))) <-37|0,0[]- c(a(c(a(c(x9529))))) -38|[]-> a(a(c(a(c(x9529))))) a(a(a(c(b(x9530))))) <-37|0,0[]- a(a(c(a(c(x9530))))) -39|[]-> b(c(b(a(c(x9530))))) c(b(a(c(b(x9531))))) <-37|0,0[]- c(b(c(a(c(x9531))))) -40|[]-> a(a(c(a(c(x9531))))) a(b(a(c(b(x9532))))) <-37|0,0[]- a(b(c(a(c(x9532))))) -41|[]-> b(a(c(a(c(x9532))))) a(a(c(b(x9533)))) <-37|0[]- a(c(a(c(x9533)))) -45|[]-> b(a(b(c(x9533)))) b(a(c(b(x9534)))) <-37|0[]- b(c(a(c(x9534)))) -46|[]-> a(b(c(c(x9534)))) b(b(a(c(b(x9535))))) <-37|0,0[]- b(b(c(a(c(x9535))))) -47|[]-> a(a(c(a(c(x9535))))) c(a(a(c(x9536)))) <-38|0[]- c(c(a(c(x9536)))) -0|[]-> b(b(a(c(x9536)))) a(a(c(x9537))) <-38|[]- c(a(c(x9537))) -2|[]-> b(b(c(x9537))) a(a(c(x299))) <-38|[]- c(a(c(x299))) -10|[]-> b(b(b(x299))) c(a(a(a(c(x9539))))) <-38|0,0[]- c(a(c(a(c(x9539))))) -10|[]-> b(b(b(a(c(x9539))))) a(a(c(x299))) <-38|[]- c(a(c(x299))) -11|[]-> a(b(b(x299))) c(a(a(a(c(x9541))))) <-38|0,0[]- c(a(c(a(c(x9541))))) -11|[]-> a(b(b(a(c(x9541))))) a(a(c(x299))) <-38|[]- c(a(c(x299))) -12|[]-> b(c(b(x299))) c(a(a(a(c(x9543))))) <-38|0,0[]- c(a(c(a(c(x9543))))) -12|[]-> b(c(b(a(c(x9543))))) a(a(a(a(c(x9544))))) <-38|0,0[]- a(a(c(a(c(x9544))))) -13|[]-> b(a(c(a(c(x9544))))) c(b(a(a(c(x9545))))) <-38|0,0[]- c(b(c(a(c(x9545))))) -14|[]-> a(b(b(a(c(x9545))))) c(b(a(a(c(x9546))))) <-38|0,0[]- c(b(c(a(c(x9546))))) -15|[]-> b(c(b(a(c(x9546))))) a(b(a(a(c(x9547))))) <-38|0,0[]- a(b(c(a(c(x9547))))) -16|[]-> b(b(b(a(c(x9547))))) a(a(a(c(x9548)))) <-38|0[]- a(c(a(c(x9548)))) -20|[]-> b(c(b(c(x9548)))) a(a(a(c(x9549)))) <-38|0[]- a(c(a(c(x9549)))) -21|[]-> b(b(c(c(x9549)))) b(a(a(c(x9550)))) <-38|0[]- b(c(a(c(x9550)))) -22|[]-> b(c(c(c(x9550)))) b(b(a(a(c(x9551))))) <-38|0,0[]- b(b(c(a(c(x9551))))) -23|[]-> a(b(b(a(c(x9551))))) b(b(a(a(c(x9552))))) <-38|0,0[]- b(b(c(a(c(x9552))))) -24|[]-> b(c(b(a(c(x9552))))) c(a(a(c(x9553)))) <-38|0[]- c(c(a(c(x9553)))) -25|[]-> a(c(a(c(x9553)))) a(a(c(x9554))) <-38|[]- c(a(c(x9554))) -29|[]-> a(c(c(x9554))) a(a(a(c(x9555)))) <-38|0[]- a(c(a(c(x9555)))) -31|[]-> b(b(a(c(x9555)))) a(a(c(x299))) <-38|[]- c(a(c(x299))) -37|[]-> a(c(b(x299))) c(a(a(a(c(x9557))))) <-38|0,0[]- c(a(c(a(c(x9557))))) -37|[]-> a(c(b(a(c(x9557))))) c(a(a(a(c(x9558))))) <-38|0,0[]- c(a(c(a(c(x9558))))) -38|[]-> a(a(c(a(c(x9558))))) a(a(a(a(c(x9559))))) <-38|0,0[]- a(a(c(a(c(x9559))))) -39|[]-> b(c(b(a(c(x9559))))) c(b(a(a(c(x9560))))) <-38|0,0[]- c(b(c(a(c(x9560))))) -40|[]-> a(a(c(a(c(x9560))))) a(b(a(a(c(x9561))))) <-38|0,0[]- a(b(c(a(c(x9561))))) -41|[]-> b(a(c(a(c(x9561))))) a(a(a(c(x9562)))) <-38|0[]- a(c(a(c(x9562)))) -45|[]-> b(a(b(c(x9562)))) b(a(a(c(x9563)))) <-38|0[]- b(c(a(c(x9563)))) -46|[]-> a(b(c(c(x9563)))) b(b(a(a(c(x9564))))) <-38|0,0[]- b(b(c(a(c(x9564))))) -47|[]-> a(a(c(a(c(x9564))))) b(b(c(b(x9565)))) <-39|0[]- b(a(a(c(x9565)))) -1|[]-> b(c(a(c(x9565)))) c(b(c(b(x9566)))) <-39|0[]- c(a(a(c(x9566)))) -2|[]-> b(b(a(c(x9566)))) b(c(b(x297))) <-39|[]- a(a(c(x297))) -13|[]-> b(a(c(x297))) b(b(b(c(b(x9568))))) <-39|0,0[]- b(b(a(a(c(x9568))))) -19|[]-> b(c(b(a(c(x9568))))) a(c(b(c(b(x9569))))) <-39|0,0[]- a(c(a(a(c(x9569))))) -20|[]-> b(c(b(a(c(x9569))))) a(c(b(c(b(x9570))))) <-39|0,0[]- a(c(a(a(c(x9570))))) -21|[]-> b(b(c(a(c(x9570))))) b(c(b(c(b(x9571))))) <-39|0,0[]- b(c(a(a(c(x9571))))) -22|[]-> b(c(c(a(c(x9571))))) b(b(c(b(x9572)))) <-39|0[]- b(a(a(c(x9572)))) -28|[]-> a(b(a(c(x9572)))) c(b(c(b(x9573)))) <-39|0[]- c(a(a(c(x9573)))) -29|[]-> a(c(a(c(x9573)))) b(b(b(c(b(x9574))))) <-39|0,0[]- b(b(a(a(c(x9574))))) -43|[]-> a(b(b(a(c(x9574))))) b(b(b(c(b(x9575))))) <-39|0,0[]- b(b(a(a(c(x9575))))) -44|[]-> a(a(c(a(c(x9575))))) a(c(b(c(b(x9576))))) <-39|0,0[]- a(c(a(a(c(x9576))))) -45|[]-> b(a(b(a(c(x9576))))) b(c(b(c(b(x9577))))) <-39|0,0[]- b(c(a(a(c(x9577))))) -46|[]-> a(b(c(a(c(x9577))))) c(a(a(c(x9578)))) <-40|0[]- c(c(b(c(x9578)))) -0|[]-> b(b(b(c(x9578)))) a(a(c(x9579))) <-40|[]- c(b(c(x9579))) -3|[]-> b(b(c(x9579))) c(a(a(a(c(x9580))))) <-40|0,0[]- c(a(c(b(c(x9580))))) -10|[]-> b(b(b(b(c(x9580))))) c(a(a(a(c(x9581))))) <-40|0,0[]- c(a(c(b(c(x9581))))) -11|[]-> a(b(b(b(c(x9581))))) c(a(a(a(c(x9582))))) <-40|0,0[]- c(a(c(b(c(x9582))))) -12|[]-> b(c(b(b(c(x9582))))) a(a(a(a(c(x9583))))) <-40|0,0[]- a(a(c(b(c(x9583))))) -13|[]-> b(a(c(b(c(x9583))))) a(a(c(x296))) <-40|[]- c(b(c(x296))) -14|[]-> a(b(b(x296))) c(b(a(a(c(x9585))))) <-40|0,0[]- c(b(c(b(c(x9585))))) -14|[]-> a(b(b(b(c(x9585))))) a(a(c(x296))) <-40|[]- c(b(c(x296))) -15|[]-> b(c(b(x296))) c(b(a(a(c(x9587))))) <-40|0,0[]- c(b(c(b(c(x9587))))) -15|[]-> b(c(b(b(c(x9587))))) a(b(a(a(c(x9588))))) <-40|0,0[]- a(b(c(b(c(x9588))))) -16|[]-> b(b(b(b(c(x9588))))) b(b(a(a(c(x9589))))) <-40|0,0[]- b(b(c(b(c(x9589))))) -23|[]-> a(b(b(b(c(x9589))))) b(b(a(a(c(x9590))))) <-40|0,0[]- b(b(c(b(c(x9590))))) -24|[]-> b(c(b(b(c(x9590))))) c(a(a(c(x9591)))) <-40|0[]- c(c(b(c(x9591)))) -25|[]-> a(c(b(c(x9591)))) a(a(c(x9592))) <-40|[]- c(b(c(x9592))) -30|[]-> a(c(c(x9592))) a(a(a(c(x9593)))) <-40|0[]- a(c(b(c(x9593)))) -31|[]-> b(b(b(c(x9593)))) c(a(a(a(c(x9594))))) <-40|0,0[]- c(a(c(b(c(x9594))))) -37|[]-> a(c(b(b(c(x9594))))) c(a(a(a(c(x9595))))) <-40|0,0[]- c(a(c(b(c(x9595))))) -38|[]-> a(a(c(b(c(x9595))))) a(a(a(a(c(x9596))))) <-40|0,0[]- a(a(c(b(c(x9596))))) -39|[]-> b(c(b(b(c(x9596))))) c(b(a(a(c(x9597))))) <-40|0,0[]- c(b(c(b(c(x9597))))) -40|[]-> a(a(c(b(c(x9597))))) a(b(a(a(c(x9598))))) <-40|0,0[]- a(b(c(b(c(x9598))))) -41|[]-> b(a(c(b(c(x9598))))) b(b(a(a(c(x9599))))) <-40|0,0[]- b(b(c(b(c(x9599))))) -47|[]-> a(a(c(b(c(x9599))))) b(b(a(c(x9600)))) <-41|0[]- b(a(b(c(x9600)))) -1|[]-> b(c(b(c(x9600)))) c(b(a(c(x9601)))) <-41|0[]- c(a(b(c(x9601)))) -2|[]-> b(b(b(c(x9601)))) c(b(a(c(x9602)))) <-41|0[]- c(a(b(c(x9602)))) -8|[]-> a(b(b(c(x9602)))) c(b(a(c(x9603)))) <-41|0[]- c(a(b(c(x9603)))) -9|[]-> b(c(b(c(x9603)))) b(a(c(x307))) <-41|[]- a(b(c(x307))) -16|[]-> b(b(b(x307))) b(b(b(a(c(x9605))))) <-41|0,0[]- b(b(a(b(c(x9605))))) -19|[]-> b(c(b(b(c(x9605))))) a(c(b(a(c(x9606))))) <-41|0,0[]- a(c(a(b(c(x9606))))) -20|[]-> b(c(b(b(c(x9606))))) a(c(b(a(c(x9607))))) <-41|0,0[]- a(c(a(b(c(x9607))))) -21|[]-> b(b(c(b(c(x9607))))) b(c(b(a(c(x9608))))) <-41|0,0[]- b(c(a(b(c(x9608))))) -22|[]-> b(c(c(b(c(x9608))))) b(a(c(x9609))) <-41|[]- a(b(c(x9609))) -26|[]-> b(c(c(x9609))) b(b(a(c(x9610)))) <-41|0[]- b(a(b(c(x9610)))) -28|[]-> a(b(b(c(x9610)))) c(b(a(c(x9611)))) <-41|0[]- c(a(b(c(x9611)))) -29|[]-> a(c(b(c(x9611)))) c(b(a(c(x9612)))) <-41|0[]- c(a(b(c(x9612)))) -35|[]-> a(a(c(c(x9612)))) b(b(a(c(x9613)))) <-41|0[]- b(a(b(c(x9613)))) -36|[]-> a(a(c(c(x9613)))) b(b(b(a(c(x9614))))) <-41|0,0[]- b(b(a(b(c(x9614))))) -43|[]-> a(b(b(b(c(x9614))))) b(b(b(a(c(x9615))))) <-41|0,0[]- b(b(a(b(c(x9615))))) -44|[]-> a(a(c(b(c(x9615))))) a(c(b(a(c(x9616))))) <-41|0,0[]- a(c(a(b(c(x9616))))) -45|[]-> b(a(b(b(c(x9616))))) b(c(b(a(c(x9617))))) <-41|0,0[]- b(c(a(b(c(x9617))))) -46|[]-> a(b(c(b(c(x9617))))) c(a(a(c(x9618)))) <-42|0[]- c(b(b(b(x9618)))) -3|[]-> b(b(b(b(x9618)))) c(a(a(c(x9619)))) <-42|0[]- c(b(b(b(x9619)))) -4|[]-> a(b(b(b(x9619)))) c(b(a(a(c(x9620))))) <-42|0,0[]- c(b(b(b(b(x9620))))) -4|[]-> a(b(b(b(b(x9620))))) c(a(a(c(x9621)))) <-42|0[]- c(b(b(b(x9621)))) -5|[]-> b(c(b(b(x9621)))) c(b(a(a(c(x9622))))) <-42|0,0[]- c(b(b(b(b(x9622))))) -5|[]-> b(c(b(b(b(x9622))))) c(a(a(c(x9623)))) <-42|0[]- c(b(b(b(x9623)))) -6|[]-> b(b(c(b(x9623)))) c(b(a(a(c(x9624))))) <-42|0,0[]- c(b(b(b(b(x9624))))) -6|[]-> b(b(c(b(b(x9624))))) a(a(c(x307))) <-42|[]- b(b(b(x307))) -7|[]-> b(c(c(x307))) b(a(a(c(x9626)))) <-42|0[]- b(b(b(b(x9626)))) -7|[]-> b(c(c(b(x9626)))) b(b(a(a(c(x9627))))) <-42|0,0[]- b(b(b(b(b(x9627))))) -7|[]-> b(c(c(b(b(x9627))))) c(a(a(a(c(x9628))))) <-42|0,0[]- c(a(b(b(b(x9628))))) -8|[]-> a(b(b(b(b(x9628))))) c(a(a(a(c(x9629))))) <-42|0,0[]- c(a(b(b(b(x9629))))) -9|[]-> b(c(b(b(b(x9629))))) a(a(c(x306))) <-42|[]- b(b(b(x306))) -17|[]-> a(b(b(x306))) b(a(a(c(x9631)))) <-42|0[]- b(b(b(b(x9631)))) -17|[]-> a(b(b(b(x9631)))) b(b(a(a(c(x9632))))) <-42|0,0[]- b(b(b(b(b(x9632))))) -17|[]-> a(b(b(b(b(x9632))))) a(a(c(x306))) <-42|[]- b(b(b(x306))) -18|[]-> b(c(b(x306))) b(a(a(c(x9634)))) <-42|0[]- b(b(b(b(x9634)))) -18|[]-> b(c(b(b(x9634)))) b(b(a(a(c(x9635))))) <-42|0,0[]- b(b(b(b(b(x9635))))) -18|[]-> b(c(b(b(b(x9635))))) a(a(a(c(x9636)))) <-42|0[]- a(b(b(b(x9636)))) -26|[]-> b(c(b(b(x9636)))) a(a(c(x9637))) <-42|[]- b(b(b(x9637))) -27|[]-> a(c(b(x9637))) b(a(a(c(x9638)))) <-42|0[]- b(b(b(b(x9638)))) -27|[]-> a(c(b(b(x9638)))) c(a(a(c(x9639)))) <-42|0[]- c(b(b(b(x9639)))) -30|[]-> a(c(b(b(x9639)))) c(a(a(c(x9640)))) <-42|0[]- c(b(b(b(x9640)))) -32|[]-> a(a(c(b(x9640)))) c(b(a(a(c(x9641))))) <-42|0,0[]- c(b(b(b(b(x9641))))) -32|[]-> a(a(c(b(b(x9641))))) c(a(a(c(x9642)))) <-42|0[]- c(b(b(b(x9642)))) -33|[]-> a(c(c(b(x9642)))) c(b(a(a(c(x9643))))) <-42|0,0[]- c(b(b(b(b(x9643))))) -33|[]-> a(c(c(b(b(x9643))))) a(a(c(x307))) <-42|[]- b(b(b(x307))) -34|[]-> a(b(c(x307))) b(a(a(c(x9645)))) <-42|0[]- b(b(b(b(x9645)))) -34|[]-> a(b(c(b(x9645)))) b(b(a(a(c(x9646))))) <-42|0,0[]- b(b(b(b(b(x9646))))) -34|[]-> a(b(c(b(b(x9646))))) c(a(a(a(c(x9647))))) <-42|0,0[]- c(a(b(b(b(x9647))))) -35|[]-> a(a(c(b(b(x9647))))) b(a(a(a(c(x9648))))) <-42|0,0[]- b(a(b(b(b(x9648))))) -36|[]-> a(a(c(b(b(x9648))))) b(a(a(c(x9649)))) <-42|0[]- b(b(b(b(x9649)))) -42|[]-> a(a(c(b(x9649)))) b(b(a(a(c(x9650))))) <-42|0,0[]- b(b(b(b(b(x9650))))) -42|[]-> a(a(c(b(b(x9650))))) c(a(b(b(x9651)))) <-43|0[]- c(b(b(a(x9651)))) -3|[]-> b(b(b(a(x9651)))) c(a(b(b(x9652)))) <-43|0[]- c(b(b(a(x9652)))) -4|[]-> a(b(b(a(x9652)))) c(b(a(b(b(x9653))))) <-43|0,0[]- c(b(b(b(a(x9653))))) -4|[]-> a(b(b(b(a(x9653))))) c(a(b(b(x9654)))) <-43|0[]- c(b(b(a(x9654)))) -5|[]-> b(c(b(a(x9654)))) c(b(a(b(b(x9655))))) <-43|0,0[]- c(b(b(b(a(x9655))))) -5|[]-> b(c(b(b(a(x9655))))) c(a(b(b(x9656)))) <-43|0[]- c(b(b(a(x9656)))) -6|[]-> b(b(c(a(x9656)))) c(b(a(b(b(x9657))))) <-43|0,0[]- c(b(b(b(a(x9657))))) -6|[]-> b(b(c(b(a(x9657))))) b(a(b(b(x9658)))) <-43|0[]- b(b(b(a(x9658)))) -7|[]-> b(c(c(a(x9658)))) b(b(a(b(b(x9659))))) <-43|0,0[]- b(b(b(b(a(x9659))))) -7|[]-> b(c(c(b(a(x9659))))) c(a(a(b(b(x9660))))) <-43|0,0[]- c(a(b(b(a(x9660))))) -8|[]-> a(b(b(b(a(x9660))))) c(a(a(b(b(x9661))))) <-43|0,0[]- c(a(b(b(a(x9661))))) -9|[]-> b(c(b(b(a(x9661))))) b(a(b(b(x9662)))) <-43|0[]- b(b(b(a(x9662)))) -17|[]-> a(b(b(a(x9662)))) b(b(a(b(b(x9663))))) <-43|0,0[]- b(b(b(b(a(x9663))))) -17|[]-> a(b(b(b(a(x9663))))) b(a(b(b(x9664)))) <-43|0[]- b(b(b(a(x9664)))) -18|[]-> b(c(b(a(x9664)))) b(b(a(b(b(x9665))))) <-43|0,0[]- b(b(b(b(a(x9665))))) -18|[]-> b(c(b(b(a(x9665))))) a(b(b(x304))) <-43|[]- b(b(a(x304))) -19|[]-> b(c(b(x304))) a(a(b(b(x9667)))) <-43|0[]- a(b(b(a(x9667)))) -26|[]-> b(c(b(a(x9667)))) a(b(b(x9668))) <-43|[]- b(b(a(x9668))) -27|[]-> a(c(a(x9668))) b(a(b(b(x9669)))) <-43|0[]- b(b(b(a(x9669)))) -27|[]-> a(c(b(a(x9669)))) c(a(b(b(x9670)))) <-43|0[]- c(b(b(a(x9670)))) -30|[]-> a(c(b(a(x9670)))) c(a(b(b(x9671)))) <-43|0[]- c(b(b(a(x9671)))) -32|[]-> a(a(c(a(x9671)))) c(b(a(b(b(x9672))))) <-43|0,0[]- c(b(b(b(a(x9672))))) -32|[]-> a(a(c(b(a(x9672))))) c(a(b(b(x9673)))) <-43|0[]- c(b(b(a(x9673)))) -33|[]-> a(c(c(a(x9673)))) c(b(a(b(b(x9674))))) <-43|0,0[]- c(b(b(b(a(x9674))))) -33|[]-> a(c(c(b(a(x9674))))) b(a(b(b(x9675)))) <-43|0[]- b(b(b(a(x9675)))) -34|[]-> a(b(c(a(x9675)))) b(b(a(b(b(x9676))))) <-43|0,0[]- b(b(b(b(a(x9676))))) -34|[]-> a(b(c(b(a(x9676))))) c(a(a(b(b(x9677))))) <-43|0,0[]- c(a(b(b(a(x9677))))) -35|[]-> a(a(c(b(a(x9677))))) b(a(a(b(b(x9678))))) <-43|0,0[]- b(a(b(b(a(x9678))))) -36|[]-> a(a(c(b(a(x9678))))) b(a(b(b(x9679)))) <-43|0[]- b(b(b(a(x9679)))) -42|[]-> a(a(c(a(x9679)))) b(b(a(b(b(x9680))))) <-43|0,0[]- b(b(b(b(a(x9680))))) -42|[]-> a(a(c(b(a(x9680))))) a(b(b(x304))) <-43|[]- b(b(a(x304))) -44|[]-> a(a(c(x304))) c(a(a(c(x9682)))) <-44|0[]- c(b(b(a(x9682)))) -3|[]-> b(b(b(a(x9682)))) c(a(a(c(x9683)))) <-44|0[]- c(b(b(a(x9683)))) -4|[]-> a(b(b(a(x9683)))) c(b(a(a(c(x9684))))) <-44|0,0[]- c(b(b(b(a(x9684))))) -4|[]-> a(b(b(b(a(x9684))))) c(a(a(c(x9685)))) <-44|0[]- c(b(b(a(x9685)))) -5|[]-> b(c(b(a(x9685)))) c(b(a(a(c(x9686))))) <-44|0,0[]- c(b(b(b(a(x9686))))) -5|[]-> b(c(b(b(a(x9686))))) c(a(a(c(x9687)))) <-44|0[]- c(b(b(a(x9687)))) -6|[]-> b(b(c(a(x9687)))) c(b(a(a(c(x9688))))) <-44|0,0[]- c(b(b(b(a(x9688))))) -6|[]-> b(b(c(b(a(x9688))))) b(a(a(c(x9689)))) <-44|0[]- b(b(b(a(x9689)))) -7|[]-> b(c(c(a(x9689)))) b(b(a(a(c(x9690))))) <-44|0,0[]- b(b(b(b(a(x9690))))) -7|[]-> b(c(c(b(a(x9690))))) c(a(a(a(c(x9691))))) <-44|0,0[]- c(a(b(b(a(x9691))))) -8|[]-> a(b(b(b(a(x9691))))) c(a(a(a(c(x9692))))) <-44|0,0[]- c(a(b(b(a(x9692))))) -9|[]-> b(c(b(b(a(x9692))))) b(a(a(c(x9693)))) <-44|0[]- b(b(b(a(x9693)))) -17|[]-> a(b(b(a(x9693)))) b(b(a(a(c(x9694))))) <-44|0,0[]- b(b(b(b(a(x9694))))) -17|[]-> a(b(b(b(a(x9694))))) b(a(a(c(x9695)))) <-44|0[]- b(b(b(a(x9695)))) -18|[]-> b(c(b(a(x9695)))) b(b(a(a(c(x9696))))) <-44|0,0[]- b(b(b(b(a(x9696))))) -18|[]-> b(c(b(b(a(x9696))))) a(a(c(x304))) <-44|[]- b(b(a(x304))) -19|[]-> b(c(b(x304))) a(a(a(c(x9698)))) <-44|0[]- a(b(b(a(x9698)))) -26|[]-> b(c(b(a(x9698)))) a(a(c(x9699))) <-44|[]- b(b(a(x9699))) -27|[]-> a(c(a(x9699))) b(a(a(c(x9700)))) <-44|0[]- b(b(b(a(x9700)))) -27|[]-> a(c(b(a(x9700)))) c(a(a(c(x9701)))) <-44|0[]- c(b(b(a(x9701)))) -30|[]-> a(c(b(a(x9701)))) c(a(a(c(x9702)))) <-44|0[]- c(b(b(a(x9702)))) -32|[]-> a(a(c(a(x9702)))) c(b(a(a(c(x9703))))) <-44|0,0[]- c(b(b(b(a(x9703))))) -32|[]-> a(a(c(b(a(x9703))))) c(a(a(c(x9704)))) <-44|0[]- c(b(b(a(x9704)))) -33|[]-> a(c(c(a(x9704)))) c(b(a(a(c(x9705))))) <-44|0,0[]- c(b(b(b(a(x9705))))) -33|[]-> a(c(c(b(a(x9705))))) b(a(a(c(x9706)))) <-44|0[]- b(b(b(a(x9706)))) -34|[]-> a(b(c(a(x9706)))) b(b(a(a(c(x9707))))) <-44|0,0[]- b(b(b(b(a(x9707))))) -34|[]-> a(b(c(b(a(x9707))))) c(a(a(a(c(x9708))))) <-44|0,0[]- c(a(b(b(a(x9708))))) -35|[]-> a(a(c(b(a(x9708))))) b(a(a(a(c(x9709))))) <-44|0,0[]- b(a(b(b(a(x9709))))) -36|[]-> a(a(c(b(a(x9709))))) b(a(a(c(x9710)))) <-44|0[]- b(b(b(a(x9710)))) -42|[]-> a(a(c(a(x9710)))) b(b(a(a(c(x9711))))) <-44|0,0[]- b(b(b(b(a(x9711))))) -42|[]-> a(a(c(b(a(x9711))))) a(a(c(x304))) <-44|[]- b(b(a(x304))) -43|[]-> a(b(b(x304))) b(b(a(b(x9713)))) <-45|0[]- b(a(c(a(x9713)))) -1|[]-> b(c(c(a(x9713)))) c(b(a(b(x9714)))) <-45|0[]- c(a(c(a(x9714)))) -2|[]-> b(b(c(a(x9714)))) c(b(a(b(x9715)))) <-45|0[]- c(a(c(a(x9715)))) -10|[]-> b(b(b(a(x9715)))) c(b(a(b(x9716)))) <-45|0[]- c(a(c(a(x9716)))) -11|[]-> a(b(b(a(x9716)))) c(b(a(b(x9717)))) <-45|0[]- c(a(c(a(x9717)))) -12|[]-> b(c(b(a(x9717)))) a(b(a(b(x9718)))) <-45|0[]- a(a(c(a(x9718)))) -13|[]-> b(a(c(a(x9718)))) b(b(b(a(b(x9719))))) <-45|0,0[]- b(b(a(c(a(x9719))))) -19|[]-> b(c(b(c(a(x9719))))) b(a(b(x301))) <-45|[]- a(c(a(x301))) -20|[]-> b(c(b(x301))) a(c(b(a(b(x9721))))) <-45|0,0[]- a(c(a(c(a(x9721))))) -20|[]-> b(c(b(c(a(x9721))))) b(a(b(x301))) <-45|[]- a(c(a(x301))) -21|[]-> b(b(c(x301))) a(c(b(a(b(x9723))))) <-45|0,0[]- a(c(a(c(a(x9723))))) -21|[]-> b(b(c(c(a(x9723))))) b(c(b(a(b(x9724))))) <-45|0,0[]- b(c(a(c(a(x9724))))) -22|[]-> b(c(c(c(a(x9724))))) b(b(a(b(x9725)))) <-45|0[]- b(a(c(a(x9725)))) -28|[]-> a(b(c(a(x9725)))) c(b(a(b(x9726)))) <-45|0[]- c(a(c(a(x9726)))) -29|[]-> a(c(c(a(x9726)))) b(a(b(x9727))) <-45|[]- a(c(a(x9727))) -31|[]-> b(b(a(x9727))) c(b(a(b(x9728)))) <-45|0[]- c(a(c(a(x9728)))) -37|[]-> a(c(b(a(x9728)))) c(b(a(b(x9729)))) <-45|0[]- c(a(c(a(x9729)))) -38|[]-> a(a(c(a(x9729)))) a(b(a(b(x9730)))) <-45|0[]- a(a(c(a(x9730)))) -39|[]-> b(c(b(a(x9730)))) b(b(b(a(b(x9731))))) <-45|0,0[]- b(b(a(c(a(x9731))))) -43|[]-> a(b(b(c(a(x9731))))) b(b(b(a(b(x9732))))) <-45|0,0[]- b(b(a(c(a(x9732))))) -44|[]-> a(a(c(c(a(x9732))))) a(c(b(a(b(x9733))))) <-45|0,0[]- a(c(a(c(a(x9733))))) -45|[]-> b(a(b(c(a(x9733))))) b(c(b(a(b(x9734))))) <-45|0,0[]- b(c(a(c(a(x9734))))) -46|[]-> a(b(c(c(a(x9734))))) c(a(b(c(x9735)))) <-46|0[]- c(b(c(a(x9735)))) -3|[]-> b(b(c(a(x9735)))) c(b(a(b(c(x9736))))) <-46|0,0[]- c(b(b(c(a(x9736))))) -4|[]-> a(b(b(c(a(x9736))))) c(b(a(b(c(x9737))))) <-46|0,0[]- c(b(b(c(a(x9737))))) -5|[]-> b(c(b(c(a(x9737))))) c(b(a(b(c(x9738))))) <-46|0,0[]- c(b(b(c(a(x9738))))) -6|[]-> b(b(c(c(a(x9738))))) b(b(a(b(c(x9739))))) <-46|0,0[]- b(b(b(c(a(x9739))))) -7|[]-> b(c(c(c(a(x9739))))) c(a(a(b(c(x9740))))) <-46|0,0[]- c(a(b(c(a(x9740))))) -8|[]-> a(b(b(c(a(x9740))))) c(a(a(b(c(x9741))))) <-46|0,0[]- c(a(b(c(a(x9741))))) -9|[]-> b(c(b(c(a(x9741))))) c(a(b(c(x9742)))) <-46|0[]- c(b(c(a(x9742)))) -14|[]-> a(b(b(a(x9742)))) c(a(b(c(x9743)))) <-46|0[]- c(b(c(a(x9743)))) -15|[]-> b(c(b(a(x9743)))) a(a(b(c(x9744)))) <-46|0[]- a(b(c(a(x9744)))) -16|[]-> b(b(b(a(x9744)))) b(b(a(b(c(x9745))))) <-46|0,0[]- b(b(b(c(a(x9745))))) -17|[]-> a(b(b(c(a(x9745))))) b(b(a(b(c(x9746))))) <-46|0,0[]- b(b(b(c(a(x9746))))) -18|[]-> b(c(b(c(a(x9746))))) a(b(c(x300))) <-46|[]- b(c(a(x300))) -22|[]-> b(c(c(x300))) b(a(b(c(x9748)))) <-46|0[]- b(b(c(a(x9748)))) -23|[]-> a(b(b(a(x9748)))) b(a(b(c(x9749)))) <-46|0[]- b(b(c(a(x9749)))) -24|[]-> b(c(b(a(x9749)))) a(a(b(c(x9750)))) <-46|0[]- a(b(c(a(x9750)))) -26|[]-> b(c(c(a(x9750)))) b(a(b(c(x9751)))) <-46|0[]- b(b(c(a(x9751)))) -27|[]-> a(c(c(a(x9751)))) c(a(b(c(x9752)))) <-46|0[]- c(b(c(a(x9752)))) -30|[]-> a(c(c(a(x9752)))) c(b(a(b(c(x9753))))) <-46|0,0[]- c(b(b(c(a(x9753))))) -32|[]-> a(a(c(c(a(x9753))))) c(b(a(b(c(x9754))))) <-46|0,0[]- c(b(b(c(a(x9754))))) -33|[]-> a(c(c(c(a(x9754))))) b(b(a(b(c(x9755))))) <-46|0,0[]- b(b(b(c(a(x9755))))) -34|[]-> a(b(c(c(a(x9755))))) c(a(a(b(c(x9756))))) <-46|0,0[]- c(a(b(c(a(x9756))))) -35|[]-> a(a(c(c(a(x9756))))) b(a(a(b(c(x9757))))) <-46|0,0[]- b(a(b(c(a(x9757))))) -36|[]-> a(a(c(c(a(x9757))))) c(a(b(c(x9758)))) <-46|0[]- c(b(c(a(x9758)))) -40|[]-> a(a(c(a(x9758)))) a(a(b(c(x9759)))) <-46|0[]- a(b(c(a(x9759)))) -41|[]-> b(a(c(a(x9759)))) b(b(a(b(c(x9760))))) <-46|0,0[]- b(b(b(c(a(x9760))))) -42|[]-> a(a(c(c(a(x9760))))) b(a(b(c(x9761)))) <-46|0[]- b(b(c(a(x9761)))) -47|[]-> a(a(c(a(x9761)))) c(a(a(c(x9762)))) <-47|0[]- c(b(b(c(x9762)))) -3|[]-> b(b(b(c(x9762)))) c(a(a(c(x9763)))) <-47|0[]- c(b(b(c(x9763)))) -4|[]-> a(b(b(c(x9763)))) c(b(a(a(c(x9764))))) <-47|0,0[]- c(b(b(b(c(x9764))))) -4|[]-> a(b(b(b(c(x9764))))) c(a(a(c(x9765)))) <-47|0[]- c(b(b(c(x9765)))) -5|[]-> b(c(b(c(x9765)))) c(b(a(a(c(x9766))))) <-47|0,0[]- c(b(b(b(c(x9766))))) -5|[]-> b(c(b(b(c(x9766))))) c(a(a(c(x9767)))) <-47|0[]- c(b(b(c(x9767)))) -6|[]-> b(b(c(c(x9767)))) c(b(a(a(c(x9768))))) <-47|0,0[]- c(b(b(b(c(x9768))))) -6|[]-> b(b(c(b(c(x9768))))) b(a(a(c(x9769)))) <-47|0[]- b(b(b(c(x9769)))) -7|[]-> b(c(c(c(x9769)))) b(b(a(a(c(x9770))))) <-47|0,0[]- b(b(b(b(c(x9770))))) -7|[]-> b(c(c(b(c(x9770))))) c(a(a(a(c(x9771))))) <-47|0,0[]- c(a(b(b(c(x9771))))) -8|[]-> a(b(b(b(c(x9771))))) c(a(a(a(c(x9772))))) <-47|0,0[]- c(a(b(b(c(x9772))))) -9|[]-> b(c(b(b(c(x9772))))) b(a(a(c(x9773)))) <-47|0[]- b(b(b(c(x9773)))) -17|[]-> a(b(b(c(x9773)))) b(b(a(a(c(x9774))))) <-47|0,0[]- b(b(b(b(c(x9774))))) -17|[]-> a(b(b(b(c(x9774))))) b(a(a(c(x9775)))) <-47|0[]- b(b(b(c(x9775)))) -18|[]-> b(c(b(c(x9775)))) b(b(a(a(c(x9776))))) <-47|0,0[]- b(b(b(b(c(x9776))))) -18|[]-> b(c(b(b(c(x9776))))) a(a(c(x294))) <-47|[]- b(b(c(x294))) -23|[]-> a(b(b(x294))) a(a(c(x294))) <-47|[]- b(b(c(x294))) -24|[]-> b(c(b(x294))) a(a(a(c(x9779)))) <-47|0[]- a(b(b(c(x9779)))) -26|[]-> b(c(b(c(x9779)))) a(a(c(x9780))) <-47|[]- b(b(c(x9780))) -27|[]-> a(c(c(x9780))) b(a(a(c(x9781)))) <-47|0[]- b(b(b(c(x9781)))) -27|[]-> a(c(b(c(x9781)))) c(a(a(c(x9782)))) <-47|0[]- c(b(b(c(x9782)))) -30|[]-> a(c(b(c(x9782)))) c(a(a(c(x9783)))) <-47|0[]- c(b(b(c(x9783)))) -32|[]-> a(a(c(c(x9783)))) c(b(a(a(c(x9784))))) <-47|0,0[]- c(b(b(b(c(x9784))))) -32|[]-> a(a(c(b(c(x9784))))) c(a(a(c(x9785)))) <-47|0[]- c(b(b(c(x9785)))) -33|[]-> a(c(c(c(x9785)))) c(b(a(a(c(x9786))))) <-47|0,0[]- c(b(b(b(c(x9786))))) -33|[]-> a(c(c(b(c(x9786))))) b(a(a(c(x9787)))) <-47|0[]- b(b(b(c(x9787)))) -34|[]-> a(b(c(c(x9787)))) b(b(a(a(c(x9788))))) <-47|0,0[]- b(b(b(b(c(x9788))))) -34|[]-> a(b(c(b(c(x9788))))) c(a(a(a(c(x9789))))) <-47|0,0[]- c(a(b(b(c(x9789))))) -35|[]-> a(a(c(b(c(x9789))))) b(a(a(a(c(x9790))))) <-47|0,0[]- b(a(b(b(c(x9790))))) -36|[]-> a(a(c(b(c(x9790))))) b(a(a(c(x9791)))) <-47|0[]- b(b(b(c(x9791)))) -42|[]-> a(a(c(c(x9791)))) b(b(a(a(c(x9792))))) <-47|0,0[]- b(b(b(b(c(x9792))))) -42|[]-> a(a(c(b(c(x9792))))) Closedness Processor (*strongly -- <=7 steps*): Qed