# SECTION 1.2# Example 1phi := x^2-x^(-1);

NiM+JSRwaGlHLCYqJCklInhHIiIjIiIiRioqJkYqRipGKCEiIkYs

de := diff(y(x),x,x) - 2/x^2*y(x) = 0;

NiM+JSNkZUcvLCYtJSVkaWZmRzYkLSUieUc2IyUieEctJSIkRzYkRi0iIiMiIiIqKEYxRjJGLSEiI0YqRjIhIiIiIiE=

subs(y(x)=phi,de);

NiMvLCYtJSVkaWZmRzYkLCYqJCklInhHIiIjIiIiRi0qJkYtRi1GKyEiIkYvLSUiJEc2JEYrRixGLSooRixGLUYrISIjRihGLUYvIiIh

simplify(%);

NiMvIiIhRiQ=

# Example 2phi := c1*exp(-x) + c2*exp(2*x);

NiM+JSRwaGlHLCYqJiUjYzFHIiIiLSUkZXhwRzYjLCQlInhHISIiRihGKComJSNjMkdGKC1GKjYjLCQqJiIiI0YoRi1GKEYoRihGKA==

de := diff(y(x),x,x) - diff(y(x),x) - 2*y(x) = 0;

NiM+JSNkZUcvLCgtJSVkaWZmRzYkLSUieUc2IyUieEctJSIkRzYkRi0iIiMiIiItRig2JEYqRi0hIiIqJkYxRjJGKkYyRjUiIiE=

subs(y(x)=phi,de);

NiMvLCotJSVkaWZmRzYkLCYqJiUjYzFHIiIiLSUkZXhwRzYjLCQlInhHISIiRitGKyomJSNjMkdGKy1GLTYjLCQqJiIiI0YrRjBGK0YrRitGKy0lIiRHNiRGMEY4RistRiY2JEYoRjBGMSooRjhGK0YqRitGLEYrRjEqKEY4RitGM0YrRjRGK0YxIiIh

simplify(%);

NiMvIiIhRiQ=

# Example 3phi := 'phi';

NiM+JSRwaGlHRiQ=

eq := phi^2 - x^3 + 8 = 0;

NiM+JSNlcUcvLCgqJCklJHBoaUciIiMiIiJGKyokKSUieEciIiRGKyEiIiIiKUYrIiIh

solve(eq,phi);

NiQqJCwmIiIpISIiKiQpJSJ4RyIiJCIiIkYrI0YrIiIjLCRGI0Ym

phi := %[1];

NiM+JSRwaGlHKiQsJiIiKSEiIiokKSUieEciIiQiIiJGLSNGLSIiIw==

de := diff(y(x),x) = 3*x^2/(2*y(x));

NiM+JSNkZUcvLSUlZGlmZkc2JC0lInlHNiMlInhHRiwsJComIyIiJCIiIyIiIiomRixGMUYpISIiRjJGMg==

subs(y(x) = phi,de);

NiMvLSUlZGlmZkc2JCokLCYiIikhIiIqJCklInhHIiIkIiIiRi8jRi8iIiNGLSwkKipGLkYvRjFGKkYtRjFGKCNGKkYxRi8=

simplify(%);

NiMvLCQqKiIiJCIiIiIiIyEiIiUieEdGKCwmIiIpRikqJClGKkYmRidGJyNGKUYoRidGJA==

# Example 4eq := x + y(x) + exp(x*y(x)) = 0;

NiM+JSNlcUcvLCglInhHIiIiLSUieUc2I0YnRigtJSRleHBHNiMqJkYnRihGKUYoRigiIiE=

diff(eq,x);

NiMvLCgiIiJGJS0lJWRpZmZHNiQtJSJ5RzYjJSJ4R0YsRiUqJiwmRilGJSomRixGJUYmRiVGJUYlLSUkZXhwRzYjKiZGLEYlRilGJUYlRiUiIiE=

expand(%);

NiMvLCoiIiJGJS0lJWRpZmZHNiQtJSJ5RzYjJSJ4R0YsRiUqJi0lJGV4cEc2IyomRixGJUYpRiVGJUYpRiVGJSooRi5GJUYsRiVGJkYlRiUiIiE=

# The above equation is easily seen to be equivalent to the original differential equation. # Example 5eq := 4*x^2 - y(x)^2 = C;

NiM+JSNlcUcvLCYqJiIiJSIiIiklInhHIiIjRilGKSokKS0lInlHNiNGK0YsRikhIiIlIkNH

diff(eq,x);

NiMvLCYqJiIiKSIiIiUieEdGJ0YnKigiIiNGJy0lInlHNiNGKEYnLSUlZGlmZkc2JEYrRihGJyEiIiIiIQ==

with(plots):# Review syntax of contourplot:?contourplotcontourplot(lhs(eq),x=-2..2,y=-4..4,scaling=constrained,contours=[-4,-1,0,1,4]);

LSUlUExPVEc2Li0lJ0NVUlZFU0c2X3I3JDckJCEiIyIiISQhMyQ0NDQ0NDQ0WSQhIzw3JCQhM1ciUjxfY3BlKD5GLyQhM1g8X2NwM0UzTUYvNyQ3JCQhMygpKioqKioqKioqXFAmPkYvJCEzSysrKysrK2dMRi9GMDckRjY3JCQhM2ZhYWFhYS8tPkYvJCEzSCI0NDQ0NGZCJEYvNyQ3JCQhM0krKysrKytTPUYvJCEzaisrKysrKygzJEYvRjw3JDckRkMkIjMnKSkqKioqKioqKioqcDMkRi83JEY3JCIzVioqKioqKioqKioqKmZMRi83JEZLNyRGKiQiM2cqMzQ0NDQ0WSRGLzckRkI3JCQhMypRXzRRXzQpRz1GLyQhMyhHJjRRXzRRaUlGLzckNyQkITNoampqampqPT1GLyQhM1srKysrKytTSUYvRlM3JEZZNyQkITM0KysrKytEYzxGLyQhM2krKysrK10oKUdGLzckNyQkITN1c3Nzc3NzKG8iRi8kITNrKysrKysrP0ZGL0ZpbjckRl9vNyQkITNNRTBAJW90V28iRi8kITMjeSUqeTpqXzVyI0YvNyQ3JCQhMzorKysrKyshbyJGLyQhM1UrKysrK3YpcCNGL0ZlbzckNyRGXHAkIjMzKioqKioqKioqXCgpcCNGLzckRmBvJCIzSioqKioqKioqKioqKj5GRi83JEZkcDckJCEzOSsrKysrXUE8Ri8kIjNGKioqKioqKioqKipcIUdGLzckNyRGWiQiMzoqKioqKioqKioqKipSSUYvRmhwNyRGXnE3JEZDJCIzSSoqKioqKioqKioqcDMkRi83JEZbcDckJCEzTDY2NjY2aDg7Ri8kITNZeXh4eHh4S0RGLzckNyQkITNBKysrKytdZzpGLyQhMyEzKysrKysrUyNGL0ZmcTckRlxyNyQkITMvbDxUSE4jUWEiRi8kITNrcms8VEhOX0JGLzckNyQkITNDKysrKysrPzpGLyQhMzk6ZEc5ZEclRyNGL0ZicjckNyQkITNZKysrKysrPzpGLyQiMyJRciZHOWRHJUcjRi83JEZdciQiM1kqKioqKioqKioqKioqUiNGLzckRmNzRmFwNyQ3JEZfc0ZbczckJCEzRCsrKytESnY5Ri8kITMlNCsrKyt2JHBARi83JDckJCEzImViYmJiYjBXIkYvJCEzJzQrKysrKyszI0YvRmlzNyRGX3Q3JCQhM21MTExMTEwzOUYvJCEzXk1MTExMTCQpPkYvNyQ3JCQhM0srKysrKytnOEYvJCEzL01MTExMTFE9Ri9GZXQ3JDckRlx1JCIzJEhMTExMTCRRPUYvNyRGYHQkIjNqKioqKioqKioqKioqej9GLzckRmR1NyRGaXJGYXM3JEZbdTckJCEzImZHOWRHOUtNIkYvJCEzW0g5ZEc5ZCR6IkYvNyQ3JCQhM1IrKysrXWlJOEYvJCEzNywrKysrK2c8Ri9GanU3JDckRmF2JCEzITQrKysrKyt3IkYvNyQkITMhZmglUTpZUSFHIkYvJCEzN3EyQnAyQipmIkYvNyQ3JCQhM0krKysrXWlJN0YvJCEzJDMrKysrKytXIkYvRml2NyQ3JCQhM18rKysrXWlJN0YvRmJ3NyQkITMkcG1tbW07L0EiRi8kITNLbm1tbW07KlIiRi83JDckJCEzUysrKysrKys3Ri8kITN5KysrKytdPDhGL0ZodzckNyQkITM7KysrKysrKzdGLyQiM1gqKioqKioqKioqXDw4Ri83JEZgdyQiM10qKioqKioqKioqKipSOUYvNyQ3JEZmd0ZqeDckJCEzPW5tbW1tbSJHIkYvJCIzMUxMTExMTC47Ri83JDckRmF2JCIzZCoqKioqKioqKioqKmY8Ri9GXnk3JEZkeUZhdTckNyRGZXhGYXg3JCQhM100NDQ0NDRrNkYvJCEzdyM9PT09PT0+IkYvNyQ3JCQhMyIqRzlkRzlkVjZGLyQhM3grKysrKys/NkYvRmp5NyRGYHo3JCQhM0YrKysrK103NkYvJCEzVzErKysrK10oKiEjPTckNyQkITNTKysrKysrdjVGLyQhMzUyKysrKysrISlGW1tsRmZ6NyRGXVtsNyQkITN1QUFBQUFBbjVGLyQhMy9qYmJiYmJidUZbW2w3JDckJCEzWysrKysrK1M1Ri8kITM6MisrKysrXWJGW1tsRmNbbDckNyRGaltsJCIzJFEqKioqKioqKioqKlxiRltbbDckRl5bbCQiM3ckKioqKioqKioqKioqKnpGW1tsNyRGYlxsNyQkITNHKysrKytELDZGLyQiM0olKioqKioqKioqKlxBKkZbW2w3JDckRmF6JCIzVyoqKioqKioqKioqKj42Ri9GZlxsNyRGXF1sNyRGX3hGZ3g3JEZpW2w3JCQhM2QrKysrXWlJNUYvJCEzJHArKysrK3YpXEZbW2w3JDckJCEzXysrKysrXUY1Ri8kITMvMisrKysrK1tGW1tsRmJdbDckNyRGaV1sJCEzZzIrKysrKytbRltbbDckJCEzKj1kRzlkR2srIkYvJCEzZHgmRzlkRzlGI0ZbW2w3JDckJCEzIlJMTExMTDMrIkYvJCEzKXArKysrKytnIkZbW2xGYV5sNyRGZ15sNyRGaF5sJCIzcC1tbW1tbW0iKSEjPjckNyRGaF5sJCIzNSQqKioqKioqKioqKipmIkZbW2xGXV9sNyRGYl9sNyQkITNlKysrKysrRDVGLyQiMylHKioqKioqKioqKioqXCVGW1tsNyQ3JEZpXWwkIjM7JCoqKioqKioqKioqKnolRltbbEZmX2w3JDckRmldbCQiM3MkKioqKioqKioqKioqeiVGW1tsRl9cbDckNyQkIjMiKSoqKioqKioqKioqKlI1Ri9GXFxsNyQkIjMnKSoqKioqKioqKipcRjVGL0ZfXmw3JDckJCIzayoqKioqKioqKipcRjVGL0ZbXmw3JCQiM3AqKioqKioqKioqKlwtIkYvJCEzdzErKysrKytYRltbbDckNyQkIjMtTExMTEwkMysiRi9Gal5sRl5hbDckRmRhbDckRmVhbCQhM1lUbm1tbW1tIilGYF9sNyQ3JEZlYWxGY19sRmhhbDckRlxibDckJCIzQnImRzlkR2srIkYvJCIzQ2smRzlkRzlGI0ZbW2w3JDckRmhgbEZhYGxGXmJsNyQ3JEZcYWxGXWBsNyQkIjMhKioqKioqKioqXGlJNUYvJCIzaCQqKioqKioqKipcKClcRltbbDckNyRGZWBsRmBcbEZnYmw3JDckJCIzcyoqKioqKioqKioqKio+IkYvRmF4NyQkIjNDRzlkRzlkVjZGL0ZjejckRmJjbDckJCIzJSkqKioqKioqKipcNzUiRi8kITNrMisrKysrRCMqRltbbDckNyQkIjN0KioqKioqKioqKipcMiJGL0ZgW2xGZmNsNyRGXGRsRmRgbDckRl1jbDckJCIzMkFBQUFBQW41Ri8kIjNoW2JiYmJiYnVGW1tsNyQ3JEZdZGxGY1xsRmFkbDckRmdkbDckJCIzIykqKioqKioqKioqXDc2Ri8kIjNBJSoqKioqKioqKioqXCgqRltbbDckNyRGY2NsRl1dbEZpZGw3JEZfZWw3JCQiMyUpMzQ0NDQ0azZGLyQiM0EiPT09PT09PiJGLzckNyRGYGNsRmd4RmFlbDckNyQkIjNsKioqKioqKioqKioqZjhGL0ZedTckJCIzXSoqKioqKioqXGlJOEYvRmd2NyQ3JCQiM3QqKioqKioqKlxpSThGL0ZjdjckJCIzSG1tbW1tbSJHIkYvJCEzUk1MTExMTC47Ri83JDckJCIzJykqKioqKioqKlxpSTdGL0Zid0ZjZmw3JEZpZmxGX2NsNyRGZ2VsNyQkIjNbbW1tbW1UPzdGLyQiMyttbW1tbTsqUiJGLzckNyRGamZsRmp4Rl5nbDckRmRnbDckJCIzLDpZUTpZUSFHIkYvJCIzISlvMkJwMkIqZiJGLzckNyRGXWZsRmV5RmZnbDckNyRGYWZsRmV5NyQkIjNaJkc5ZEc5S00iRi8kIjM7RzlkRzlkJHoiRi83JDckRmplbEZidUZfaGw3JDckJCIzZCoqKioqKioqKioqKj46Ri9GW3M3JCQiMzliYmJiYmJTOUYvRmJ0NyRGamhsRmllbDckRmVobDckJCIzKkhMTExMTCQzOUYvJCIzJkhMTExMTEwpPkYvNyQ3JEZbaWxGZXVGX2lsNyRGZWlsNyQkIjNmKioqKioqKlw3YFoiRi8kIjNnKioqKioqKipcUHBARi83JDckRmhobEZhc0ZnaWw3JDckJCIzXCoqKioqKioqKioqKno7Ri9GXnA3JCQiM2IqKioqKioqKioqXGc6Ri9GX3I3JEZiamxGZ2hsNyRGXWpsNyQkIjNQazxUSE4jUWEiRi8kIjMoKXBrPFRITl9CRi83JDckRmNqbEZkc0Znamw3JEZdW203JCQiM201NjY2Nmg4O0YvJCIzOHh4eHh4eEtERi83JDckRmBqbEZicEZfW203JDckJCIzVCoqKioqKioqKioqKlI9Ri9GRTckJCIzO2pqampqaj09Ri9GZm43JEZqW203JCQiM1sqKioqKioqKioqXEE8Ri8kITNnKysrKysrMEdGLzckNyQkIjMyc3Nzc3NzKG8iRi9GYm9GXlxtNyRGZFxtRl9qbDckRmVbbTckJCIzbkQwQCVvdFdvIkYvJCIzXFkqeTpqXzVyI0YvNyQ3JEZlXG1GZXBGaVxtNyRGX11tNyQkIjNWKioqKioqKioqXGl2IkYvJCIzSCoqKioqKioqKipcKClHRi83JDckRltcbUZfcUZhXW03JEZnXW03JCQiM0FCJjRRXzQpRz1GLyQiM2FeNFFfNFFpSUYvNyQ3JEZoW21GSUZpXW03JDckJCIzNyoqKioqKioqKioqKioqPkYvRi03JCQiM1YqKioqKioqKipcUCY+Ri9GOTckRmRebUZnW203JDckRmhbbUZjcTckJCIzJFJYWFhYWD8hPkYvJCIzJyoqMzQ0NDRmQiRGLzckNyRGZV5tRkxGal5tNyRGYF9tNyQkIjNiIVI8X2NwZSg+Ri8kIjM3O19jcDNFM01GLzckNyQkIjNNKioqKioqKioqKioqKio+Ri8kIjMwITQ0NDQ0NFkkRi9GYl9tLSUmQ09MT1JHNiYlJFJHQkckIiM1ISIiJCIwSDQjPiwrKyEpISM6JEYsRmNgbS1GJjZjczckNyRGKiQhMydwbW1tbSJ6cFFGLzckJCEzVExMTCQzX0QmPkYvJCEzTUxMTExlKlt4JEYvNyQ3JCQhM2dtbW1tVDUwPkYvJCEzcioqKioqKioqKioqKnpPRi9GXmFtNyRGZGFtNyQkITMoek0vOFJuUig9Ri8kITNQLzhSPF8xN09GLzckNyRGQyQhM2RYWFhYWCZ6YCRGL0ZqYW03JDckRkMkIjNDV1hYWFgmemAkRi83JEZlYW0kIjMjKSkqKioqKioqKioqKnpPRi83JEZnYm03JEYqJCIzPWxtbW07enBRRi83JEZgYm03JCQhM3dqampqOF4meiJGLyQhMyZIRkZGRngqW01GLzckNyQkITNZRkZGRkYtXjxGL0Y5Rl9jbTckRmVjbTckJCEzNCJRXzRRLXNyIkYvJCEzWVFfNFFfZiZHJEYvNyQ3JEZccCQhM0srKysrK3YuS0YvRmljbTckNyRGXHAkIjMqKikqKioqKioqKlxQPyRGLzckRmZjbSQiMykqKSoqKioqKioqKioqZkxGLzckRmZkbUZkYm03JEZfZG03JCQhMzQrKysrRDFSO0YvJCEzaSsrKytdKD03JEYvNyQ3JCQhM0MrKysrXTcpZiJGL0ZmbkZbZW03JEZhZW03JCQhMyk9al81VT02YyJGLyQhMz9QWip5Omp4JkhGLzckNyRGaXIkITNLKikpKSkpKSkpKVFtR0YvRmVlbTckNyRGaXIkIjMpeikpKSkpKSkpKVFtR0YvNyRGYmVtRl9xNyRGYmZtRmNkbTckRltmbTckJCEzM3l4eHhGUyRbIkYvJCEzKVxXV1dXJT4keiNGLzckNyQkITNvYmJiYmIhb1ciRi9GYm9GZWZtNyRGW2dtNyQkITNXVEhOIyllJmZTIkYvJCEzUj1USE4jKTNHRUYvNyQ3JEZcdSQhM2srKysrdm9DREYvRl9nbTckNyRGXHUkIjN2KioqKioqKlwob0NERi83JEZcZ21GZXA3JEZcaG1GX2ZtNyRGZWdtNyQkITNEKysrRCJHKUc4Ri8kITNdKysrXVBNaUNGLzckNyQkITNTKysrXWlsKEgiRi9GX3JGX2htNyRGZWhtNyQkITMpUUxMTEwkM183Ri8kITNHTUxMTEwkZUgjRi83JDckRl94JCEzQDpkRzlkeXdARi9GaWhtNyQ3JEZfeCQiMyhRciZHOWR5d0BGLzckRmZobUZkczckRmZpbUZpZ203JEZfaW03JCQhMyU+ZEc5ZC5lPCJGLyQhMyd5Jkc5ZEdSR0BGLzckNyQkITNGVnImRzkyOzoiRi9GYnRGaWltNyRGX2ptNyQkITNBYWglUTonNCs2Ri8kITNEJHAyQnAyKWY+Ri83JDckRmpbbCQhMytNTExMTGU+PUYvRmNqbTckNyRGaltsJCIzKkdMTExMJGU+PUYvNyRGYGptRmV1NyRGYFtuRmNpbTckNyRGaltsJCEzQU1MTExMZT49Ri83JCQhMzpubW1tVDVENUYvJCEzY25tbW07eip5IkYvNyQ3JCQhMyNRTExMTDMtLCJGL0ZndkZmW243JDckRl1cbiQhM28rKysrKytnPEYvNyQkITNUeHNzc3NBNSYqRltbbCQhM0pZWFhYWCZ6aCJGLzckNyQkITNbLysrKysrKykpRltbbCQhMyE0KysrKyt2VyJGL0ZjXG43JDckRmpcbiQiM2MqKioqKioqKioqXFo5Ri83JEZdXG5GZXk3JDckRl1cbiQiM04qKioqKioqKioqKipmPEYvNyRGaltsJCIzbUtMTExMZT49Ri83JEZpXG43JCQhM3guKysrK0QieSlGW1tsJCEzKTQrKysrXVBXIkYvNyQ3JCQhMz0vKysrK11pKClGW1tsRmJ3RltebjckRmFebjckJCEzKCpmYmJiYjBvISlGW1tsJCEzbyopKSkpKSkpKSlRbTdGLzckNyQkITM6LysrKytdI1soRltbbEZjekZlXm43JEZbX243JCQhM2UvKysrRGN3dEZbW2wkITNwKysrK3ZvJTMiRi83JDckJCEzPS8rKysrKytzRltbbCQhM0VNTExMTCRlLSJGL0ZfX243JDckJCEzRzArKysrKytzRltbbCQiM3JLTExMTCRlLSJGLzckRlxfbkZdXWw3JEZgYG43JCQhMy8vKysrK103JylGW1tsJCIzVCoqKioqKioqKipcLTlGLzckNyRGYl5uRmp4RmJgbjckRmhgbkZfXW43JDckRlxgbkZoX243JCQhMyJIVnImRzkyO25GW1tsJCEzalxyJkc5ZHknKilGW1tsNyQ3JCQhMyJSKysrK0RKTidGW1tsRmBbbEZcYW43JEZiYW43JCQhMydvTExMTCQzLWhGW1tsJCEzK1NMTExMJGUqcEZbW2w3JDckJCEzKVErKysrKytnJkZbW2xGZV1sRmZhbjckNyRGXWJuJCIzMCQqKioqKioqKipcKClcRltbbDckRmNhbkZjXGw3JEZjYm43JEZmX25GXmBuNyRGXGJuNyQkITNiLisrKytdaWJGW1tsJCEzNjIrKysrK3ZbRltbbDckNyQkITMzLysrKytdUGJGW1tsRltebEZnYm43JEZdY243JCQhMyZSKysrK0RKOiZGW1tsJCEzIW8rKysrXVBcI0ZbW2w3JDckJCEzbHFtbW1tOy9dRltbbEZqXmxGYWNuNyQ3JCQhM2FwbW1tbTsvXUZbW2xGal5sNyRGaGNuJCIzN3FLTExMTCQzJUZgX2w3JDckRmhjbkZjX2xGXmRuNyQ3JEZcZG5GY19sNyQkITNrLisrKytEMWJGW1tsJCIzRiQqKioqKioqKipcN1lGW1tsNyQ3JEZeY25GXWBsRmVkbjckRltlbjckRl1ibkZqYmw3JDckJCIzPygqKioqKioqKioqKipmJkZbW2xGZV1sNyQkIjNVKCoqKioqKioqKlxQYkZbW2xGW15sNyRGYmVuNyQkIjMpcCoqKioqKioqXGldJkZbW2wkITNmMSsrKytdN1lGW1tsNyQ3JCQiMypSbW1tbW1UKyZGW1tsRmpebEZmZW43JEZcZm43JEZdZm4kITNWME1MTExMJDMlRmBfbDckNyRGXWZuRmNfbEZgZm43JEZkZm43JCQiM0goKioqKioqKlw3YF5GW1tsJCIzI0gqKioqKioqKlxQXCNGW1tsNyQ3JEZjZW5GXWBsRmZmbjckRlxnbjckJCIzKykqKioqKioqKipcaWJGW1tsJCIzQiQqKioqKioqKioqXChbRltbbDckNyRGYGVuRmFibkZeZ243JDckJCIzXygqKioqKioqKioqKio+KEZbW2xGaF9uNyQkIjNEKCoqKioqKipcN2BqRltbbEZgW2w3JEZpZ25GX2VuNyQ3JEZgZW5GamJsNyQkIjNKSkxMTEwzLWhGW1tsJCIzb0VMTExMJGUqcEZbW2w3JDckRmpnbkZjXGxGX2huNyRGZWhuNyQkIjNERTlkRzkyO25GW1tsJCIzSk9yJkc5ZHknKilGW1tsNyQ3JEZnZ25GXmBuRmdobjckNyQkIjMjeSoqKioqKioqKioqKnopRltbbEZcXW43JCQiM14oKioqKioqKioqXGkoKUZbW2xGYnc3JEZiaW43JCQiM1wpKioqKioqKioqXDcnKUZbW2wkITMoNCsrKysrRFMiRi83JDckJCIzXCgqKioqKioqKipcI1soRltbbEZjekZmaW43JEZcam5GZmduNyRGXWluNyQkIjMibyoqKioqKlxpbFAoRltbbCQiM08qKioqKioqXChvJTMiRi83JDckRl1qbkZdXWxGYWpuNyRGZ2puNyQkIjNKYGJiYmIwbyEpRltbbCQiM00pKSkpKSkpKSkpUW03Ri83JDckRmNpbkZqeEZpam43JEZfW283JCQiM0EpKioqKioqKipcN3kpRltbbCQiM2sqKioqKioqKipcUFciRi83JDckRmBpbkZgXW5GYVtvNyQ3JEZlYGxGamptNyQkIjM6TExMTCQzLSwiRi9GYVxuNyQ3JEZbXG9GZ3ZGX2luNyRGZ1tvNyQkIjNrcHNzc3NBNSYqRltbbCQiMylcYWFhYWF6aCJGLzckNyRGW1xvRmVdbkZgXG83JDckRltcb0ZleTckJCIzW21tbW1UNUQ1Ri8kIjNYbW1tbTt6KnkiRi83JDckRmVgbEZeW25GaVxvNyQ3JEZgY2xGYGltNyQkIjNoVXImRzkyOzoiRi9GYnQ3JEZiXW83JEZlYGxGZFtuNyQ3JEZlYGxGaF1uNyQkIjNjYGglUTonNCs2Ri8kIjNwInAyQnAyKWY+Ri83JDckRmNdb0ZldUZpXW83JEZfXm83JCQiMzByJkc5ZC5lPCJGLyQiM2BjRzlkR1JHQEYvNyQ3JEZgY2xGZGltRmFebzckNyQkIjMoKSoqKioqKioqKioqKmY4Ri9GZmdtNyQkIjN1KioqKioqXGlsKEgiRi9GX3I3JEZcX29GYV1vNyRGZ15vNyQkIjMrTExMTEwzXzdGLyQiM19LTExMTCRlSCNGLzckNyRGXV9vRmRzRmFfbzckRmdfbzckJCIzIikqKioqKlw3RylHOEYvJCIzaCoqKioqKlxQTWlDRi83JDckRmplbEZqZ21GaV9vNyQ3JEZoaGxGXGZtNyQkIjNCYmJiYmIhb1ciRi9GYm83JEZiYG83JEZqZWxGZmdtNyQ3JEZqXm9GamdtNyQkIjN5U0hOIyllJmZTIkYvJCIzMTxUSE4jKTNHRUYvNyQ3JEZjYG9GZXBGaWBvNyRGX2FvNyQkIjNUeHh4eEZTJFsiRi8kIjNrVldXV1c+JHojRi83JDckRmhobEZgZm1GYWFvNyQ3JEZgamxGYGRtNyQkIjNjKioqKioqKipcNylmIkYvRmZuNyRGamFvRmFgbzckRmdhbzckJCIzQEpFMEAlPTZjIkYvJCIzS09aKnk6angmSEYvNyQ3JEZbYm9GX3FGX2JvNyRGZWJvNyQkIjNsKioqKioqKlxpIVI7Ri8kIjNIKioqKioqKipcKD03JEYvNyQ3JEZgamxGZGRtRmdibzckNyRGaFttRmFibTckJCIzekVGRkZGLV48Ri9GOTckRmBjb0ZpYW83JEZdY283JCQiM1UhUV80US1zciJGLyQiMzhQXzRRX2YmRyRGLzckNyRGYWNvRmdkbUZlY283JEZbZG83JCQiMzVqampqOF4meiJGLyQiM2hyc3NzcygqW01GLzckNyRGaFttRmVibUZdZG83JDckRmlfbUZcYW03JCQiMzptbW1tVDUwPkYvRmdhbTckRmZkb0ZfY283JEZjZG83JCQiMzNaVkkiUm5SKD1GLyQiMy8uOFI8XzE3T0YvNyQ3JEZnZG9GaGJtRltlbzckRmFlbzckJCIzX0tMTCQzX0QmPkYvJCIzLEtMTExlKlt4JEYvNyQ3JEZpX21GXGNtRmNlby1GXmBtNiZGYGBtRmFgbSQiMSFlPSVRLSsrZyEjO0ZnYG0tRiY2Z3E3JDckRiokISIlRiw3JCQhMyQqKioqKioqKioqKioqPj5GLyQhMycpKioqKioqKioqKioqUlFGLzckNyQkITMzKysrKysrUz1GLyQhMzorKysrKyshbyRGL0ZlZm83JDckRlxnb0ZoYm1GYWdvNyRGYWdvNyRGKiQiM28pKioqKioqKioqKioqKlJGLzckRltnbzckJCEzQisrKysrK2c8Ri8kITNZKysrKysrP05GLzckNyRGXHBGOUZnZ283JDckRlxwRmdkbUZfaG83JEZfaG9GYWdvNyRGXWhvNyQkITMzKysrKysrKztGLyQhMzsrKysrKysrS0YvNyQ3JEZpckZmbkZiaG83JDckRmlyRl9xRmpobzckRmpob0ZfaG83JEZoaG83JCQhM1IrKysrKytTOUYvJCEzeSsrKysrKyEpR0YvNyQ3JEZcdUZib0ZdaW83JDckRlx1RmVwRmVpbzckRmVpb0ZqaG83JEZjaW83JCQhM0QrKysrKyshRyJGLyQhM10rKysrKytnREYvNyQ3JEZfeEZfckZoaW83JDckRl94RmRzRmBqbzckRmBqb0ZlaW83JEZeam83JCQhM2IrKysrKys/NkYvJCEzNSwrKysrK1NBRi83JDckRmpbbEZidEZjam83JDckRmpbbEZldUZbW3A3JEZbW3BGYGpvNyRGaWpvNyQkITMzLysrKysrKycqRltbbCQhMyMzKysrKysrIz5GLzckNyRGalxuRmd2Rl5bcDckNyRGalxuRmV5RmZbcDckRmZbcEZbW3A3JEZkW3A3JCQhMylbKysrKysrKylGW1tsJCEzKTQrKysrKytnIkYvNyQ3JEZmX25GYndGaVtwNyQ3JEZmX25GanhGYVxwNyRGYVxwRmZbcDckRl9ccDckJCEzWy4rKysrKytrRltbbCQhM3ErKysrKyshRyJGLzckNyRGXWJuRmN6RmRccDckNyRGXWJuRl1dbEZcXXA3JEZcXXBGYVxwNyRGalxwNyQkITNzLisrKysrK1tGW1tsJCEzUzIrKysrKysnKkZbW2w3JDckJCEzYy4rKysrKytTRltbbEZgW2xGX11wNyQ3JEZmXXBGY1xsRmldcDckRmldcEZcXXA3JEZlXXA3JCQhM1MuKysrKysrS0ZbW2wkITMhbysrKysrK1MnRltbbDckNyQkITNfLisrKysrK0NGW1tsRltebEZcXnA3JDckRmNecEZdYGxGZl5wNyRGZl5wRmldcDckRmJecDckJCEzay4rKysrKys7RltbbCQhM0cyKysrKysrS0ZbW2w3JDckJCEzKVsuKysrKysrKUZgX2xGal5sRmlecDckNyRGYF9wRmNfbEZfX3A3JEZjX3BGY19wNyRGY19wRmZecDckNyQkIjNbbCoqKioqKioqKioqKnpGYF9sRmpebEZfX3A3JEZfX3BGZ19wNyRGZ19wRmNfcDckRl9fcEZjX3A3JDckRmhfcEZjX2xGZ19wRltgcDckRl5gcEZjX3A3JEZjX3BGXmBwNyQ3JCQiM2UnKioqKioqKioqKioqUiNGW1tsRltebEZnX3A3JEZiYHBGYmBwNyRGZ19wRl5gcDckRl5gcDckJCIzVycqKioqKioqKioqKipmIkZbW2wkIjMnRyoqKioqKioqKioqKj4kRltbbDckNyRGY2BwRl1gbEZoYHA3JDckJCIzIXAqKioqKioqKioqKioqUkZbW2xGYFtsRmJgcDckRmBhcEZgYXA3JEZeYXA3JCQiM3UnKioqKioqKioqKioqPiRGW1tsJCIzWyQqKioqKioqKioqKipSJ0ZbW2w3JDckRmFhcEZjXGxGZWFwNyQ3JEZgZW5GY3pGYGFwNyRGXWJwRl1icDckRlticDckJCIzLygqKioqKioqKioqKip6JUZbW2wkIjMzJSoqKioqKioqKioqKmYqRltbbDckNyRGYGVuRl1dbEZgYnA3JDckRmdnbkZid0ZdYnA3JEZoYnBGaGJwNyRGZmJwNyQkIjMhbyoqKioqKioqKioqKlInRltbbCQiM08qKioqKioqKioqKip6N0YvNyQ3JEZnZ25GanhGW2NwNyQ3JEZgaW5GZ3ZGaGJwNyRGY2NwRmNjcDckRmFjcDckJCIzQSkqKioqKioqKioqKioqekZbW2wkIjNrKioqKioqKioqKioqKmYiRi83JDckRmBpbkZleUZmY3A3JDckRmVgbEZidEZjY3A3JEZeZHBGXmRwNyRGXGRwNyQkIjNVKCoqKioqKioqKioqKmYqRltbbCQiM1sqKioqKioqKioqKio+PkYvNyQ3JEZlYGxGZXVGYWRwNyQ3JEZgY2xGX3JGXmRwNyRGaWRwRmlkcDckRmdkcDckJCIzbSoqKioqKioqKioqKj42Ri8kIjNMKioqKioqKioqKioqUkFGLzckNyRGYGNsRmRzRlxlcDckNyRGamVsRmJvRmlkcDckRmRlcEZkZXA3JEZiZXA3JCQiMyIpKioqKioqKioqKioqejdGLyQiM2gqKioqKioqKioqKipmREYvNyQ3JEZqZWxGZXBGZ2VwNyQ3JEZoaGxGZm5GZGVwNyRGX2ZwRl9mcDckRl1mcDckRmp4JCIzKyoqKioqKioqKioqKnpHRi83JDckRmhobEZfcUZiZnA3JDckRmBqbEY5Rl9mcDckRmhmcEZoZnA3JEZmZnA3JEZpY3AkIjNHKioqKioqKioqKioqKj4kRi83JDckRmBqbEZnZG1GW2dwNyQ3JEZoW21GXmdvRmhmcDckRmFncEZhZ3A3JEZfZ3A3JEZlXW4kIjNwKSoqKioqKioqKioqPk5GLzckNyRGaFttRmhibUZkZ3A3JDckRmlfbUZjZm9GYWdwNyRGamdwRmpncDckRmhncDckRmRkcCQiMygqKSoqKioqKioqKioqUlFGLzckNyRGaV9tRmRnb0ZdaHAtRl5gbTYmRmBgbUZhYG0kIjFYWWdmKysrU0ZeZm9GZ2BtLUYmNmNzNyQ3JCQhM1tMTExMZSpbJD5GL0ZjZm83JCQhM1dtbW07elcoKT1GLyQhM1FtbW1tVDUwUkYvNyQ3JCQhMycpKioqKioqKioqKioqUj1GLyQhMz9MTExMJDMtIlFGL0ZcaXA3JDckRmNpcCQiM0pLTExMJDMtIlFGLzckRmpocEZkZ283JEZiaXA3JCQhM1RfY3AzRS4xPUYvJCEzJmZwM0V5TXp1JEYvNyQ3JCQhM3pzc3NzcygqbzxGLyQhM2crKysrKyshbyRGL0ZdanA3JEZjanA3JCQhM1pPT09PJylbQzxGLyQhM19GRkZGRi0iZiRGLzckNyRGXHAkITMiXFhYWFhYP10kRi9GaWpwNyQ3JEZccCQiM2RgYWFhYS8tTkYvNyRGZGpwRmhibTckRmZbcUZoaXA3JEZfW3E3JCQhM0I+dy8+d3pVO0YvJCEzPWlaIT53L1dWJEYvNyQ3JCQhMzsrKysrXSg9ZyJGL0Y5RmlbcTckRl9ccTckJCEzSisrKyt2JDRjIkYvJCEzPSsrKytdN3lLRi83JDckRmlyJCEzWysrKysrRCc+JEYvRmNccTckNyRGaXIkIjM5KioqKioqKioqXGk+JEYvNyRGYFxxRmdkbTckRmBdcUZjW3E3JEZpXHE3JCQhM2hvdCUqeTopKXk5Ri8kITN3al81VW9CQUpGLzckNyQkITNtV1dXV1c+TDlGL0ZmbkZjXXE3JEZpXXE3JCQhM1tBQUFBc2YnUiJGLyQhMzpjYmJiYiFvJ0hGLzckNyRGXHUkITNPNjY2NjZoJCpHRi9GXV5xNyQ3JEZcdSQiM1k1NjY2NmgkKkdGLzckRmpdcUZfcTckRmpecUZdXXE3JEZjXnE3JCQhMz9mcWs8VC85OEYvJCEzKkcpZXFrPCI+IkdGLzckNyQkITNLKysrXVBNaTdGL0Zib0ZdX3E3JEZjX3E3JCQhM1orKyt2PTxKN0YvJCEzXSsrK11pbGRFRi83JDckRl94JCEzITMrKytdN2BmI0YvRmdfcTckNyRGX3gkIjNbKioqKioqKlw3YGYjRi83JEZkX3EkIjN2KioqKioqKioqKioqPkZGLzckNyRGZF9xRmVwRmdecTckRl1gcTckJCEzOW5tbW1tIno5IkYvJCEzS25tbW1tOy9ERi83JDckJCEzaGRHOWRHUikzIkYvRl9yRmpgcTckRmBhcTckJCEzJCpHOWRHaz5rNUYvJCEzKlE5ZEc5MjtOI0YvNyQ3JEZqW2wkITNiJ0c5ZEc5S0kjRi9GZGFxNyQ3JEZqW2wkIjNAJkc5ZEc5S0kjRi83JEZhYXFGZHM3JEZhYnFGYWBxNyRGamFxNyQkITNFbSVROllRISp6KkZbW2wkITNYM0JwMkI+K0FGLzckNyQkITMrcW1tbW0iejQqRltbbEZidEZkYnE3JDckJCEzNXJtbW1tIno0KkZbW2xGYnQ3JCQhM3pQTExMJGUqWyopRltbbCQhM0lNTExMJDMtMCNGLzckNyRGalxuJCEza25tbW1tVD8/Ri9GYWNxNyQ3JCQhM08uKysrKysrKSlGW1tsJCIzSm1tbW1tVD8/Ri83JEZbY3FGZXU3JDckRl9jcUZldUZeYnE3JDckRlxkcUZoY3E3JCQhM2NKRkZGRngqMylGW1tsJCEzW2JhYWFhLy0+Ri83JDckJCEzXC8rKysrXVBzRltbbEZndkZlZHE3JEZbZXE3JCQhMylbKysrK10oPXNGW1tsJCEzdysrKysrRGM8Ri83JDckRmZfbiQhMyUzKysrKytEdiJGL0ZfZXE3JDckRmZfbiQiM14qKioqKioqKioqXF88Ri83JEZcZXFGZXk3JEZcZnE3JEZqXG5GXmRxNyRGZWVxNyQkITNQW1dXV1clPkwnRltbbCQhMyo+NjY2NjZPaCJGLzckNyRGXWJuJCEzJTMrKysrK2xcIkYvRmBmcTckRmllcTckJCEzJVsrKysrK0QsKEZbW2wkIjNxKioqKioqKioqKlxBPEYvNyQ3JEZdYm4kIjNdKioqKioqKioqKlwnXCJGL0ZqZnE3JEZmZnE3JCQhM1kuKysrdlZCYUZbW2wkITMjNCsrK103YFoiRi83JDckJCEzSnJtbW1tO0heRltbbEZid0ZkZ3E3JDckRltocSQhMzEsKysrKytTOUYvNyQkITMiW2RHOWRHUlslRltbbCQhM2UnRzlkRzlLTSJGLzckNyRGZl1wJCEzeSsrKytdaXE3Ri9GYWhxNyQ3JEZmXXAkIjNYKioqKioqKipcaXE3Ri83JEZbaHFGang3JEZeaXFGYGdxNyRGZ2hxNyQkITNXcG1tbW0ielwkRltbbCQhM1BubW1tbVQ/N0YvNyQ3JCQhM1suKysrK3YkXCNGW1tsRmN6RmFpcTckRmdpcTckJCEzYi4rKysrXVBDRltbbCQhM3IrKysrK103NkYvNyQ3JEZjXnAkITMjMysrKysrdjUiRi9GW2pxNyQ3JEZjXnAkIjNbKioqKioqKioqKlwyNkYvNyRGaGlxRl1dbDckRmhqcUZbaXE3JEZhanE3JCQhM1MuKysrXShvQyJGW1tsJCEzeisrKytdaUk1Ri83JDckRmBfcCQhMzhNTExMTCQzKyJGL0ZbW3I3JEZlanE3JCQhM0kuKysrK0QxQkZbW2wkIjNTKioqKioqKioqXDc1IkYvNyQ3JEZgX3AkIjMhR0xMTExMMysiRi9GZVtyNyQ3JEZgX3BGaF5sNyQkIjMtTW1tbW1tVD9GYF9sRmhebDckNyRGaF9wRmJbckZgXHI3JEZbXHI3JCQhMyFbcW1tbW07LyNGYF9sRlxccjckNyRGaF9wRlxcckZmXHI3JDckRmhfcEZoXmw3JCQiM2snKioqKioqKipcaUkjRltbbCQhM3QrKysrK0QsNkYvNyQ3JEZjYHBGYmpxRl1dcjckRmpccjckJCIzWScqKioqKioqXChvQyJGW1tsJCIzWSoqKioqKioqXGlJNUYvNyQ3JEZjYHBGZmpxRmVdcjckNyRGYWFwRmhocTckJCIzXycqKioqKioqKlxQXCNGW1tsRmN6NyQ3JCQiMyFvKioqKioqKipcUFwjRltbbEZjekZjXXI3JEZbXnI3JCQiM2knKioqKioqKioqXFBDRltbbCQiM2cqKioqKioqKioqXDc2Ri83JDckRl9eckZdXWxGZl5yNyQ3JEZjXnJGXV1sNyQkIjNNam1tbW0ielwkRltbbCQiMy9tbW1tbVQ/N0YvNyQ3JEZhYXBGXGlxRl9fcjckNyRGYGVuRmdmcTckJCIzYWptbW1tO0heRltbbEZfaHE3JDckRmlfckZid0ZdXnI3JEZlX3I3JCQiMzpvJkc5ZEdSWyVGW1tsJCIzRCZHOWRHOUtNIkYvNyQ3JEZpX3JGanhGXmByNyRGZGByNyQkIjMhbyoqKioqKlxQTVUmRltbbCQiM1AqKioqKioqXDdgWiJGLzckNyRGYGVuRmFncUZmYHI3JEZnX3I3JCQiMzIoKioqKioqKioqXDdxRltbbCQhMyIzKysrKytEcyJGLzckNyRGZ2duRmZlcUZeYXI3JEZcYXI3JCQiM3JUV1dXVyU+TCdGW1tsRmBbbTckNyRGZ2duRmplcUZmYXI3JDckRmBpbkZoY3E3JCQiMyR5KioqKioqKioqXFBzRltbbEZndjckRl1ickZkYXI3JEZqYXI3JCQiMzYoKioqKioqKipcKD1zRltbbCQiM2wqKioqKioqKipcaXYiRi83JDckRl5ickZleUZiYnI3JEZoYnI3JCQiMyFcc3Nzc3MoKjMpRltbbEZbX203JDckJCIzcycqKioqKioqKioqKip6KUZbW2xGXmRxRmpicjckNyRGZWBsRlticTckJCIzV2ttbW1tIno0KkZbW2xGYnQ3JDckJCIzS2ptbW1tIno0KkZbW2xGYnQ3JEZfY3JGaGNxNyQ3JEZgaW5GXmRxNyQkIjM3SkxMTCRlKlsqKUZbW2wkIjMoSExMTEwzLTAjRi83JDckRmRjckZldUZdZHI3JDckRmhjckZldTckJCIzW2UlUTpZUSEqeipGW1tsJCIzNjJCcDJCPitBRi83JDckRmVgbEZfYnFGZmRyNyQ3JEZgY2xGXmBxNyQkIjMlcCZHOWRHUikzIkYvRl9yNyRGX2VyRmJjcjckRlxlcjckJCIzXEc5ZEdrPms1Ri8kIjNjVXImRzkyO04jRi83JDckRmBlckZkc0ZkZXI3JEZqZXI3JCQiM1ttbW1tbSJ6OSJGLyQiM1ZtbW1tbTsvREYvNyQ3JEZgY2xGYmBxRlxmcjckNyRGamVsRmRecTckJCIzKSkqKioqKipcUE1pN0YvRmJvNyRGZWZyRl5lcjckRmJmcjckJCIzISkqKioqKlwoPTxKN0YvJCIzPCoqKioqKlxpbGRFRi83JDckRmZmckZlcEZqZnI3JDckRmZmckZlYHE3JCQiM2BlcWs8VC85OEYvJCIzYyIpZXFrPCI+IkdGLzckNyRGamVsRmhecUZjZ3I3JDckRmhobEZqXHE3JCQiMypSV1dXVyU+TDlGL0ZmbjckRlxockZkZnI3JEZpZ3I3JCQiMyM9QUFBQShmJ1IiRi8kIjMiW2JiYmIwbydIRi83JDckRl1ockZfcUZhaHI3JEZnaHI3JCQiMztvdCUqeTopKXk5Ri8kIjNVaV81VW9CQUpGLzckNyRGaGhsRl5dcUZpaHI3JDckRmBqbEZgW3E3JCQiM1wqKioqKioqKlwoPWciRi9GOTckRmJpckZbaHI3JEZfaXI3JCQiM2sqKioqKioqXFA0YyJGLyQiM0gqKioqKioqKlw3eUtGLzckNyRGY2lyRmdkbUZnaXI3JEZdanI3JCQiM3o9dy8+d3pVO0YvJCIzSGhaIT53L1dWJEYvNyQ3JEZgamxGZFtxRl9qcjckNyRGaFttRmVpcDckJCIzN3Nzc3NzKCpvPEYvRmZqcDckRmhqckZhaXI3JEZlanI3JCQiMyJlampqailbQzxGLyQiMz9FRkZGRi0iZiRGLzckNyRGaWpyRmhibUZdW3M3JEZjW3M3JCQiM19eY3AzRS4xPUYvJCIzPCVwM0V5TXp1JEYvNyQ3JEZoW21GaWlwRmVbczckNyQkIjNmS0xMTGUqWyQ+Ri9GY2ZvRmdqcjckRltcczckJCIzK21tbTt6VygpPUYvJCIzXGxtbW1UNTBSRi83JDckRl5cc0ZkZ29GYVxzLUZeYG02JkZgYG1GYWBtJCIyQ0stKUgrKys/Ri9GZ2BtLUYmNl9yNyQ3JCQhM1pYWFhYWFhJPEYvRmNmbzckJCEzdDNFeU0vOC88Ri8kITMnR3lNLzhSPCZSRi83JDckRlxwJCEzdioqKioqKioqKipcMlJGL0ZiXXM3JDckRlxwJCIzJykpKioqKioqKioqXDJSRi83JEZgXXMkIjNDKSoqKioqKioqKioqKipSRi83JEZoXXM3JCQhM2xYWFhYWCZ6aCJGLyQhMz40NDQ0NDQvUUYvNyQ3JCQhM0srKysrK11WOkYvRmZqcEZjXnM3JEZpXnM3JCQhM1Z3Lz53Lz5KOkYvJCEzeFohPncvPndsJEYvNyQ3JEZpciQhM0BGRkZGRkZQT0YvRl1fczckNyRGaXIkIjNMRUZGRkZGUE9GLzckRmpec0ZoYm03JEZqX3NGXF5zNyRGY19zNyQkITNKKysrKyt2VjlGLyQhMz0rKysrK103TkYvNyQ3JEZcdSQhM1tYWFhYWFh2TEYvRl1gczckRmdfczckJCEzSSsrKysrXS05Ri8kIjNeKSoqKioqKioqKipcVyRGLzckNyRGXHUkIjM6V1hYWFhYdkxGL0ZnYHM3JEZjYHM3JCQhMyJSWip5OmpfYjhGLyQhM3BfNVVvdCUqb0xGLzckNyQkITNAKysrK11QXDhGL0Y5RmFhczckRmdhczckJCEzQiopKSkpKSkpKSlRbTdGLyQhM21BQUFBQUFGS0YvNyQ3JEZfeCQhM1crKysrKytASkYvRlticzckNyRGX3gkIjM2KioqKioqKioqKio0NyRGLzckRmhhc0ZnZG03JEZoYnNGXWFzNyRGYWJzNyQkITMjZUIpZXFrPHc2Ri8kITMzSU4jKWVxaygzJEYvNyQ3JCQhM2RkRzlkRzlVNkYvRmZuRltjczckNyRGYmNzJCEzIzQrKysrKysvJEYvNyQkITNaKysrK3ZvJTMiRi8kITNdKysrK11pXUhGLzckNyRGaltsJCEzaTY2NjY2NiIpR0YvRmhjczckNyRGaltsJCIzSDU2NjY2NiIpR0YvNyRGYmNzRl9xNyRGZWRzRmViczckRl5kczckJCEzU3JtbW1tbTsqKkZbW2wkITNLbm1tbW1tO0dGLzckNyQkITM/cW1tbW1tIj4qRltbbEZib0ZoZHM3JEZeZXM3JCQhM1RaciZHOWR5JyopRltbbCQhMyQ9ZEc5ZEdrbyNGLzckNyQkITNnMCsrKysrKykpRltbbCQhM3krKysrK0RoRUYvRmJlczckNyRGalxuJCIzLCoqKioqKioqKlw3bSNGLzckRl9lc0ZlcDckRmFmc0ZiZHM3JDckRmpcbkZbZnM3JCQhM2ddUTpZUTonKnpGW1tsJCEzIT1CcDJCcDJjI0YvNyQ3JEZmX24kITNnKysrKytEaENGL0ZlZnM3JDckRmllcyQiM1gqKioqKioqKipcN20jRi83JCQhMyU+bm1tbW1tLClGW1tsJCIzZUtMTExMTGpERi83JDckRmZfbiQiM3IqKioqKioqKipcN1kjRi9GYmdzNyQ3JEZmX24kITMwLCsrKytEaENGLzckJCEzb09MTExMJGUqcEZbW2wkITMmUUxMTExMM1cjRi83JDckJCEzIlIrKysrK3ZlJ0ZbW2xGX3JGX2hzNyQ3JEZmaHMkITNPKysrKysrK0NGLzckJCEzeDc0NDQ0NGZmRltbbCQhMy0+PT09PT1HQkYvNyQ3JEZdYm4kITMieSZHOWRHOShHI0YvRlxpczckNyRGXWJuJCIzW2NHOWRHOShHI0YvNyRGZmhzRmRzNyRGaWlzRmhnczckRmJpczckJCEzeS4rKysrK3ZbRltbbCQhMyk0KysrKytdQSNGLzckNyRGZl1wJCEzITMrKysrKys6I0YvRlxqczckRmZpczckJCEzI1ErKysrK0RoJUZbW2wkIjNDKioqKioqKioqKlwtQUYvNyQ3JEZmXXAkIjNaKioqKioqKioqKioqXEBGL0ZmanM3JEZianM3JCQhMyg0eXh4eHh4cyRGW1tsJCEzW1hXV1dXV01ARi83JDckJCEzZC4rKysrK3ZGRltbbEZidEZgW3Q3JEZmW3Q3JEZoaXEkITM5LCsrKytEaD9GLzckNyRGY15wJCEzMCwrKysrK2I/Ri9Galt0NyQ3JCQhMyFRKysrKysrUyNGW1tsJCIzcyoqKioqKioqKioqXDAjRi83JEZnW3RGZXU3JEZnXHRGXFt0NyQ3JEZjXHRGX1x0NyQkITMjKilHOWRHOWQ4IkZbW2wkITN6VnImRzlkRywjRi83JDckRmBfcCQhMyN5bW1tbW07KyNGL0ZbXXQ3JDckRmNecCQiM0YqKioqKioqKioqKlwwI0YvNyQkITNRLisrKysrXUFGW1tsJCIzUSoqKioqKioqKioqKlw/Ri83JDckRmBfcCQiMy9tbW1tbW0sP0YvRmhddDckRmFddDckJCIzTSxMTExMTCQzJUZgX2xGYl10NyQ3JEZoX3BGYl10RmJedDckRl5edDckJCEzdHFMTExMTCQzJUZgX2xGX150NyQ3JEZoX3BGX150RmhedDckRmZedDckJCIzVycqKioqKioqKioqKlxBRltbbCQhM3IrKysrKytdP0YvNyQ3JEZjYHBGX1x0Rl5fdDckRlxfdDckJCIzKT5HOWRHOWQ4IkZbW2wkIjNZVXImRzlkRywjRi83JDckJCIzJ28qKioqKioqKioqKipSI0ZbW2xGZVx0RmZfdDckNyRGYWFwRmNqczckJCIzInAqKioqKioqKioqXHgjRltbbEZidDckRmFgdDckRl1gdEZfXHQ3JDckRmNgcEZmXXQ3JEZfXnIkIjMhKSoqKioqKioqKlw3MSNGLzckNyRGYmB0RmV1RmhgdDckRlxhdDckJCIzJ1t4eHh4eHhzJEZbW2wkIjM6V1dXV1dXTUBGLzckNyRGYWFwRl1bdEZeYXQ3JEZgYHQ3JCQiMzsoKioqKioqKioqXDdZRltbbCQhMywsKysrK10tQUYvNyQ3JEZgZW5GY2lzRmZhdDckRmRhdDckJCIzNygqKioqKioqKioqXChbRltbbCQiM2sqKioqKioqKioqKlxBI0YvNyQ3JEZgZW5GZ2lzRl5idDckNyRGZ2duRlxnczckJCIzRCgqKioqKioqKipcKGUnRltbbEZqaHM3JDckRmhidEZfckZcYnQ3JEZkYnQ3JCQiMzYxNDQ0NDRmZkZbW2wkIjNwPD09PT09R0JGLzckNyRGaGJ0RmRzRl1jdDckRmNjdDckJCIzK0lMTExMJGUqcEZbW2wkIjMnSExMTExMM1cjRi83JDckRmdnbkZpZ3NGZWN0NyQ3JEZnZ25GXWhzNyQkIjNHbG1tbW1tOyEpRltbbCQhM05NTExMTExqREYvNyQ3JEZgaW5GW2ZzRl5kdDckRltkdDckJCIzJVIlUTpZUTonKnpGW1tsJCIzLUkjcDJCcDJjI0YvNyQ3JEZgaW5GX2ZzRmZkdDckNyRGZWBsRl9kczckJCIza2ttbW1tbSI+KkZbW2xGYm83JEZfZXRGZGR0NyQ3JEZgaW5GYGdzNyQkIjN2U3ImRzlkeScqKUZbW2wkIjMlNGRHOWRHa28jRi83JDckRmBldEZlcEZlZXQ3JEZbZnQ3JCQiMyZlbW1tbW1tIioqRltbbCQiMypmbW1tbW1tIkdGLzckNyRGZWBsRmNkc0ZdZnQ3JDckRmBjbEZiYnM3JCQiMyJwJkc5ZEc5VTZGL0ZmY3M3JDckRmdmdEZmbkZeZXQ3JEZjZnQ3JCQiMyEpKioqKioqKlwobyUzIkYvJCIzOyoqKioqKioqXGldSEYvNyQ3JEZnZnRGX3FGXGd0NyRGYmd0NyQkIjMkXEIpZXFrPHc2Ri8kIjN2R04jKWVxaygzJEYvNyQ3JEZgY2xGZmJzRmRndDckNyRGamVsRmRgczckJCIzYSoqKioqKioqXFBcOEYvRjk3JEZdaHRGZWZ0NyRGamd0NyQkIjNkKSkpKSkpKSkpKVFtN0YvJCIzTEBBQUFBQUZLRi83JDckRl5odEZnZG1GYmh0NyRGaGh0NyQkIjNDdCUqeTpqX2I4Ri8kIjNPXjVVb3QlKm9MRi83JDckRmplbEZeYXNGamh0NyRGXGh0NyQkIjNrKioqKioqKioqKlwtOUYvJCEzRysrKysrK1hNRi83JDckRmhobEZkX3NGYml0NyRGYGl0NyRGZFtvJCIzJikpKioqKioqKioqXDdORi83JDckRmhobEZoX3NGaml0NyQ3JCQiM3IqKioqKioqKioqKip6O0YvRmldczckJCIzVioqKioqKioqKipcVjpGL0ZmanA3JDckJCIzbCoqKioqKioqKipcVjpGL0ZmanBGaGl0NyRGXmp0NyQkIjN4di8+dy8+SjpGLyQiM1dZIT53Lz53bCRGLzckNyRGZGp0RmhibUZbW3U3JDckRmhqdEZoYm03JEZjXG8kIjMneSE0NDQ0NC9RRi83JDckRmFqdEZdXnNGZFt1NyQ3JCQiMyFbYWFhYWEvdCJGL0ZjZm9GYGp0NyRGaFt1NyQkIjMxM0V5TS84LzxGLyQiMzQieU0vOFI8JlJGLzckNyQkIjMtWFhYWFhYSTxGL0ZkZ29GXlx1LUZeYG02JkZgYG1GYWBtRmdgbUZnYG0tJStBWEVTTEFCRUxTRzYkUSJ4NiJRInlGXV11LSUqTElORVNUWUxFRzYjRiwtRl5gbTYjJSVOT05FRy0lK1BST0pFQ1RJT05HNiNGYWBtLSUoU0NBTElOR0c2IyUsQ09OU1RSQUlORURHLSUsT1JJRU5UQVRJT05HNiQkIiNYRixGX151LSUqR1JJRFNUWUxFRzYjJSxSRUNUQU5HVUxBUkc=

#Example 6phi := sin(x) - cos(x);

NiM+JSRwaGlHLCYtJSRzaW5HNiMlInhHIiIiLSUkY29zR0YoISIi

de := diff(y(x),x,x) + y(x) = 0;

NiM+JSNkZUcvLCYtJSVkaWZmRzYkLSUieUc2IyUieEctJSIkRzYkRi0iIiMiIiJGKkYyIiIh

subs(y(x)=phi,de);

NiMvLCgtJSVkaWZmRzYkLCYtJSRzaW5HNiMlInhHIiIiLSUkY29zR0YrISIiLSUiJEc2JEYsIiIjRi1GKUYtRi5GMCIiIQ==

simplify(%);

NiMvIiIhRiQ=

subs(x=0,phi);

NiMsJi0lJHNpbkc2IyIiISIiIi0lJGNvc0dGJiEiIg==

simplify(%);

NiMhIiI=

phiprime := diff(phi,x);

NiM+JSlwaGlwcmltZUcsJi0lJGNvc0c2IyUieEciIiItJSRzaW5HRihGKg==

subs(x=0,phiprime);

NiMsJi0lJGNvc0c2IyIiISIiIi0lJHNpbkdGJkYo

simplify(%);

NiMiIiI=

# Example 7phi := c1*exp(-x) + c2*exp(2*x);

NiM+JSRwaGlHLCYqJiUjYzFHIiIiLSUkZXhwRzYjLCQlInhHISIiRihGKComJSNjMkdGKC1GKjYjLCQqJiIiI0YoRi1GKEYoRihGKA==

phiprime := diff(phi,x);

NiM+JSlwaGlwcmltZUcsJiomJSNjMUciIiItJSRleHBHNiMsJCUieEchIiJGKEYuKigiIiNGKCUjYzJHRigtRio2IywkKiZGMEYoRi1GKEYoRihGKA==

subs(x=0,phi) = 2;

NiMvLCYqJiUjYzFHIiIiLSUkZXhwRzYjIiIhRidGJyomJSNjMkdGJ0YoRidGJyIiIw==

ic1 := simplify(%);

NiM+JSRpYzFHLywmJSNjMUciIiIlI2MyR0YoIiIj

subs(x=0,phiprime) = -3;

NiMvLCYqJiUjYzFHIiIiLSUkZXhwRzYjIiIhRichIiIqKCIiI0YnJSNjMkdGJ0YoRidGJyEiJA==

ic2 := simplify(%);

NiM+JSRpYzJHLywmJSNjMUchIiIqJiIiIyIiIiUjYzJHRitGKyEiJA==

solve({ic1,ic2},{c1,c2});

NiM8JC8lI2MyRyMhIiIiIiQvJSNjMUcjIiIoRig=

subs(%,phi);

NiMsJiomIyIiKCIiJCIiIi0lJGV4cEc2IywkJSJ4RyEiIkYoRigqJiNGKEYnRigtRio2IywkKiYiIiNGKEYtRihGKEYoRi4=

# Example 8f := x^2 - x*y^3;

NiM+JSJmRywmKiQpJSJ4RyIiIyIiIkYqKiZGKEYqKSUieUciIiRGKiEiIg==

diff(f,y);

NiMsJCooIiIkIiIiJSJ4R0YmKSUieUciIiNGJiEiIg==

# Example 9f := 3*y^(2/3);

NiM+JSJmRywkKiYiIiQiIiIpJSJ5RyMiIiNGJ0YoRig=

diff(f,y);

NiMsJComIiIjIiIiJSJ5RyMhIiIiIiRGJg==