# SECTION 2.2 # Example 1 LHS := Int(y^2,y); NiM+JSRMSFNHLSUkSW50RzYkKiQpJSJ5RyIiIyIiIkYq LHS := value(%); NiM+JSRMSFNHLCQqJiIiJCEiIiUieUdGJyIiIg== RHS := Int(x-5,x); NiM+JSRSSFNHLSUkSW50RzYkLCYlInhHIiIiIiImISIiRik= RHS := value(%); NiM+JSRSSFNHLCYqJiMiIiIiIiNGKCokKSUieEdGKUYoRihGKComIiImRihGLEYoISIi sol := LHS = RHS + C; NiM+JSRzb2xHLywkKiYiIiQhIiIlInlHRigiIiIsKComI0YrIiIjRisqJCklInhHRi9GK0YrRisqJiIiJkYrRjJGK0YpJSJDR0Yr solve(sol,y); NiUsJComIiIjISIiLCgqJiIjNyIiIiklInhHRiVGKkYqKiYiJD8iRipGLEYqRiYqJiIjQ0YqJSJDR0YqRiojRioiIiRGKiwmKiYiIiVGJkYnRjJGJiooXiMjRipGNkYqRjMjRipGJSlGJ0YyRipGKiwmKiZGNkYmRidGMkYmKiheIyNGJkY2RipGM0Y6RjtGKkYq ysol := %[1]; NiM+JSV5c29sRywkKiYiIiMhIiIsKComIiM3IiIiKSUieEdGJ0YsRiwqJiIkPyJGLEYuRixGKComIiNDRiwlIkNHRixGLCNGLCIiJEYs # Plot Figure 2.3 with(plots): ?contourplot eq := 3*(LHS - RHS); NiM+JSNlcUcsKCokKSUieUciIiQiIiJGKiomI0YpIiIjRioqJCklInhHRi1GKkYqISIiKiYiIzpGKkYwRipGKg== contourplot(eq,x=-3..15,y = -6..6,contours = [-24,-12,0,12,24]); LSUlUExPVEc2LS0lJ0NVUlZFU0c2W3E3JDckJCEzRCsrKysrKyFHIyEjPCQiMzgiMztaO2dtLiVGLDckJCEzW0pHMW9xdmpCRiwkIjMmPSsrKysrKzMlRiw3JEYvNyQkISIkIiIhJCIzXUYqb18pcD5TVkYsNyRGKTckJCEzVGEpXDJwJTRoP0YsJCIzOXJsO0ZKMU1SRiw3JDckJCEzRysrKysrK2c6RiwkIjNTcWFNSCozIypwJEYsRjw3JDckJCEzLS4rKysrKyslKSEjPSQiM1FCaGEwMXpNTEYsNyQkITM/dVFbTj51QjhGLCQiM1UsKysrKysrT0YsNyRGTjckRkMkIjMlM1pYJEgqMyMqcCRGLDckNyQkITNHLisrKysrKzdGSyQiM1VDOSZvISp5diRIRiw3JCQhMy9xWmJfV1puUkZLJCIzVywrKysrKz9KRiw3JEZnbkZINyQ3JCQiM1cnKioqKioqKioqKioqKmZGSyQiM08uYyk0UGJdWiNGLDckJCIzbyJbZzc6eXQqUkZLJCIzWSwrKysrK1NFRiw3JEZjb0ZYNyQ3JCQiM2kqKioqKioqKioqKio+OEYsJCIzcC1NZCNwIlFtPUYsNyQkIjMlKVxbXlteb101RiwkIjNbLCsrKysrZ0BGLDckRl9wRl5vNyQ3JCQiM2YqKioqKioqKioqKipSP0YsJCEzVSVmRDVrRDUqcEZLNyQkIjNOKFJcdEwlWzA/RiwkITNPJSkqKioqKioqKioqKlIjRks3JEZbcTckJCIzcl4heilcMk4wP0YsJCEzVGtPPioqXCtwQEZLNyQ3JCQiM25SXHRMJTNGKyNGLCQiM1k6KysrKysrQ0ZLRmFxNyRGZ3E3JCQiM3JTMnVTMnUrP0YsJCIzM1U8MSZSRzxtI0ZLNyQ3JCQiM28oKXB1J29AbSc+RiwkIjNHOisrKysrK3NGS0ZdcjckRmNyNyQkIjNHTik9LGdJJlw+RiwkIjM9NzZhSyRISiF5Rks3JDckJCIzZmAmUSc0Q2dJPUYsJCIzXSwrKysrKys3RixGaXI3JEZfczckJCIzKikzRWk8Jz4peTtGLCQiMyUqR1xlQHB5UzlGLDckNyQkIjM/XEVtOipHIUc6RiwkIjNcLCsrKysrIW8iRixGZXM3JEZbdDckJCIzJSkqKioqKioqKioqKio+OEYsJCIzIkhTdERwIlFtPUYsNyQ3JCQiM3oqKioqKioqKioqKipmRkYsJCEzPWRhJyp6LiMzeiJGLDckJCIzNSRROllRYj9nI0YsJCEzUSkqKioqKioqKioqKno7Riw3JEZcdTckJCIzKilmNVNtKzo+Q0YsJCEzdlFTJDRybUZYIkYsNyQ3JCQiMydwSSNwMkJwOkFGLCQhM1MpKioqKioqKioqKioqPiJGLEZidTckRmh1NyQkIjNbUmsjeSZSa1U/RiwkITNZJGU0YlFFd0AoRks3JDckJCIzIVE6WVE6MT8vI0YsJCEzPyUpKioqKioqKioqKio+KEZLRl52NyQ3JEZldiQhMzMkKSoqKioqKioqKioqPihGS0ZmcDckRmd0NyQkIjMkZmNiYmJiYlgkRiwkITNXNFBxLlBxVkBGLDckNyQkIjNhKioqKioqKioqKioqek1GLCQhMzFBKGVTTjBoOiNGLEZedzckNyQkIjNHKioqKioqKioqKioqKj4lRiwkITNVSFgoNC9AP0kjRiw3JCQiM2dRLkp6OFcjXCRGLCQhM1ApKioqKioqKioqKipmQEYsNyRGX3hGZHc3JEZqdzckJCIzcF8pW0UmcFxTV0YsJCEzMyxmdyw4TD9CRiw3JDckJCIzLyoqKioqKioqKioqKj5cRiwkITNwUD9zOyRRb04jRixGZng3JEZceTckJCIzY1RzNSJlYF8+JkYsJCEzVEVbUyhRLU5NI0YsNyQ3JCQiM3opKioqKioqKioqKipSY0YsJCEzMzA9eiZmYT5LI0YsRmJ5NyRGaHk3JCQiM2Y0eDlXPChHJGVGLCQhM1lRXndpNmUpRyNGLDckNyQkIjNWKioqKioqKioqKioqZmpGLCQhMytLUT15KXB0PiNGLEZeejckNyQkIjNhKSoqKioqKioqKioqZmpGLCQhM2NKUT15KXB0PiNGLDckJCIzSyc+WXglUnYpUidGLCQhMyMqSFQ7bGYkZT0jRiw3JDckJCIzJHluKHAhemliWydGLEZieEZfW2w3JEZlW2w3JCQiM1smKT4/NGgrT29GLCQhMyVwbE1oU1B0Kj5GLDckNyQkIjNIKSoqKioqKioqKioqenFGLCQhM2hALG5HWTMlKT1GLEZpW2w3JEZfXGw3JCQiM2cyc195NSxNc0YsJCEzRHI5Tl9TbiN5IkYsNyQ3JCQiMy9mbGckKTQlKipRKEYsRl91RmVcbDckRltdbDckJCIzcGshPTZjOiJSdkYsJCEzSHdgdVNxMjE6Riw3JDckJCIzLykqKioqKioqKioqKip6KEYsJCEzXDdaKVxKNj4/IkYsRl9dbDckRmVdbDckJCIzJlFaO3Q2eTMheUYsJCEzSjpWYTZhZSs3Riw3JDckJCIzdDZbeUFlRSx5RixGW3ZGW15sNyRGYV5sNyQkIjNzX2AqSHQmSD96RiwkITNXXEJJYDooPispRks3JDckJCIzZ0woKSo9OnNUJXpGLEZndkZlXmw3JEZbX2w3JCQiMzEkUnhIUnhIKHpGLCQhM2knR1wpPkU9YE5GSzckNyQkIjNQbyRcZjInMyMpekYsRl5xRl9fbDckRmVfbDckJCIzbUQpM3Y8Y1UpekYsJCIzJnpcdUtbRDs8IkZLNyQ3JCQiMyYqcGJrSkQrJil6RixGanFGaV9sNyRGX2BsNyQkIjM0c193cl93NiEpRiwkIjNtXltjQDpCKXkmRks3JDckJCIzJEg/J3BiayJILSlGLEZmckZjYGw3JEZpYGw3JCQiMzFAW3gpcFFfNSlGLCQiM3ojPiw6TXZdJyoqRks3JDckJCIzTkcsIlt5QWU7KUYsRmJzRl1hbDckRmNhbDckJCIzKDRzXVt4LVZGKUYsJCIzYT4mKjRdIil6ajhGLDckNyQkIjNbMGlwYmtyJFspRixGXnRGZ2FsNyRGXWJsNyQkIjNBQDdJZ2lqKlwpRiwkIjMtX2VZRWVkJHAiRiw3JDckJCIzIXkqKioqKioqKioqKj4mKUYsJCIzTkdjMXk3JTRyIkYsRmFibDckNyRGaGJsJCIzZEdjMXk3JTRyIkYsNyQkIjNVc1FGeGQuI3kpRiwkIjNTPXUiPVs0YCk+Riw3JDckJCIzcURUIW9BdSlbKilGLCQiMy4sKysrKytnQEYsRmBjbDckNyRGZ2NsRmJwNyQkIjM7VEVHKTREUjQqRiwkIjN0dDoieUUkUWRBRiw3JDckJCIzVykqKioqKioqKioqKlIjKkYsJCIzYFs+M1VTWGJCRixGXWRsNyRGY2RsNyQkIjNXMzhCbVphTSUqRiwkIjNGRyJ6IipbLi5eI0YsNyQ3JCQiMzd3QGwmcClbKGYqRixGZm9GaWRsNyRGX2VsNyQkIjMrVUZlYWdlJnoqRiwkIjMhKVJbJXBINCdcRkYsNyQ3JCQiMzIqKioqKioqKioqKipmKipGLCQiM1NZLUs7N2VTR0YsRmNlbDckNyQkIjMmMysrKysrKycqKkYsRlxmbDckJCIzJkg2MWxaJlE8NSEjOyQiMyRcImZpYyxWeEhGLDckNyQkIjNIOmdTaVxtUjVGZWZsRmpuRmJmbDckRmlmbDckJCIzY09rcm11RmM1RmVmbCQiM0lDLyo9QV0iKT4kRiw3JDckJCIzKCoqKioqKioqKioqKnoxIkZlZmwkIjMmZjtAeWEnSGBLRixGXWdsNyRGY2dsNyQkIjM/NFdNck4obzQiRmVmbCQiM2gxMVBDJjR2UyRGLDckNyQkIjNbb1pHMlIiSDgiRmVmbEZRRmlnbDckRl9obDckJCIzSng0ISpHYElQNkZlZmwkIjNVJ1skKlJaa3poJEYsNyQ3JCQiMy8rKysrKytTNkZlZmwkIjMoXGRESSd5KSpHT0YsRmNobDckNyRGamhsJCIzX3ViLWp5KSpHT0YsNyQkIjNvZyUqel90NSE9IkZlZmwkIjNFKWYuIVt3aDdRRiw3JDckJCIzNSsrKysrKzc3RmVmbCQiM1x1UnBkbmplUkYsRmJpbDckNyRGaWlsJCIzJVwoUnBkbmplUkYsNyQkIjNCJ1xGXCZSTUE3RmVmbCQiM05nTFsrLi82U0YsNyQ3JCQiM1B4KUdlJGYmZkIiRmVmbEYyRmFqbDckNyQkIjNieClHZSRmJmZCIkZlZmxGMjckJCIzdGF0VipRc2ZFIkZlZmwkIjM+UHdUcVM9K1VGLDckNyQkIjM7KysrKysrJUciRmVmbCQiMy06RDlPYk9zVUYsRl5bbTckRmRbbTckJCIzJXBfKnk3aCw1OEZlZmwkIjNXQilwIVsjZmxRJUYsNyQ3JCQiM3lqOU1ZLGBcOEZlZmwkIjNGLSsrKysrZ1hGLEZqW203JDckJCIzJlJZVGo5SSZcOEZlZmxGY1xtNyQkIjMpMzsmNDElXFBOIkZlZmwkIjM3KmZsJGZSK3ZYRiw3JDckJCIzQisrKysrK2M4RmVmbCQiMzQ7KDNpQDJJZSVGLEZpXG03JEZfXW03JCQiM2d5NjxaJ3kkKlIiRmVmbCQiM1k4KWUpPSE0M3YlRiw3JDckJCIzWisrKysrK0c5RmVmbCQiM1JmcyZ6NkQ6J1tGLEZlXW03JDckJCIzSCsrKysrK0c5RmVmbCQiM11lcyZ6NkQ6J1tGLDckJCIzOXFQekZOWFc5RmVmbCQiM0cvIzNaIik0LiRcRiw3JDckJCIzJ2VPS1V5InBxOUZlZmwkIjNxLSsrKysrU11GLEZmXm03JEZcX203JCQiM3RxK0MoeSUqKipbIkZlZmwkIjMmSGAqUj05cTFeRiw3JDckJCIzTysrKysrKys6RmVmbCQiM2w+bSZbUHU3OSZGLEZiX20tJSZDT0xPUkc2JiUkUkdCRyQiIzUhIiIkIjBINCM+LCsrISkhIzokRjhGY2BtLUYmNl1xNyQ3JEYqJCIzQkwvK2RidWxQRiw3JCQhMzg6cFt4c0ooKUdGLEYyNyQ3JCQhM2U6cFt4c0ooKUdGLEYyNyRGNiQiMy82OV9pRDNFVEYsNyQ3JEZDJCIzLzlvKSkqZj9lUCRGLDckJCEzJkcqR10iUWVqIz5GLEZRNyRGXGJtNyRGKiQiM29MLytkYnVsUEYsNyQ3JCQhMyM+KysrKysrUylGSyQiMzB0XyY9VE41JEhGLDckJCEzd2BrIWVBJFEkNCJGLEZqbjckRmlibUZpYW03JDckRlkkIjNRZ192MTglZlAjRiw3JCQhMzg1dzNDImZaKVJGS0ZmbzckRmFjbTckRkkkIjNddF8mPVRONSRIRiw3JDckRl9vJCIzSEs2cGkmMycpWyJGLDckJCIzIkdOLiUzNV9lXkZLRl50NyRGXGRtNyQkIjMqUmg7LSpSZl1VRkskIjNjJCopPXQxRm16IkYsNyQ3JCQiM11FXWc3OnlAOUZLRmJwRmBkbTckNyQkIjNBRV1nNzp5QDlGS0ZicEZeY203JDckRltwJCEzJ0dleWJqMytzIkYsNyQkIjNuR3FIcUhJJEciRixGX3U3JEZhZW03JCQiM1Jqd2hWViVSRSJGLCQhM1F1PFRpJkhFayJGLDckNyQkIjNDTWxNbE1sTTVGLEZbdkZlZW03JDckJCIzLU1sTWxNbE01RixGW3Y3JCQiM3kiXHJ2WEdAIykqRkskITMyIik0UVFjM1soKkZLNyQ3JCQiM2lCdkN2Q3ZHIypGS0ZndkZiZm03JEZoZm03JCQiMztEKVFneWQiZSEqRkskITMpUT9mdCY9eFFXRks3JDckJCIzOSEpPiEpPiEpPksqKUZLRl5xRlxnbTckRmJnbTckJCIzSyhcLk9ITCc9KilGSyQiM3FhLEo0WldVWCEjPjckNyQkIjN2aFFoUWhRNCopRktGanFGZmdtNyRGXWhtNyQkIjMlKSozIT0lR3NdcylGSyQiM1FgKnpROSZHJFEmRks3JDckJCIzI1FKb0pvSkdoKUZLRmZyRmFobTckNyQkIjMkXEpvSm9KR2gpRktGZnI3JCQiMyswZ1kjeTIpcHhGSyQiM2huQV05RywjMyJGLDckNyQkIjNnIVxdXF1cXVwoRktGYnNGXmltNyQ3JCQiM10qW11cXVxdXChGS0ZiczckRl9vJCIzMks2cGkmMycpWyJGLDckNyRGZ3AkITMlZSYpNFBiKzpII0YsNyQkIjMqPmguZihSNDY9RixGYng3JEZiam03JEZbcCQhMzMkZXliajMrcyJGLDckRl9qbTckJCIzJHlNKTQiZTptayNGLCQhMy8oKikpUihRNVdjI0YsNyQ3JEZodCQhM0MoZSFcPjNVOkVGLEZqam03JDckRmV3JCEzUChvJHpKOHQmeSNGLDckJCIzXy8mM29XZGIkR0YsJCEzTikqKioqKioqKioqKlJFRiw3JDckRmhbbiQhM3opKioqKioqKioqKipSRUYsRmBbbjckRmRbbjckJCIzNDApPTpjZWt2JEYsJCEzdiwjendxMFYjR0YsNyQ3JEZbeCQhMyc+N2ViQSQ+JylHRixGYVxuNyQ3JEZbeCQhMzNAImViQSQ+JylHRiw3JCQiM3klSCYzX144LFlGLCQhMyMpR05zTU1VMkhGLDckNyRGXXkkITNCVFI3aCUqSENIRixGXl1uNyRGZF1uNyQkIjMkM01ORT5UZksmRiwkITMtJCpvdmh1aTVIRiw3JDckRml5JCEzU1o2XFErMCtIRixGaF1uNyRGXl5uNyQkIjNVIXpkTFZfLyhmRiwkITNDRSZRQWksLidHRiw3JDckRmV6JCEzb1EoZncmXFc4R0YsRmJebjckRmhebjckJCIzNzRcW1QuYmVsRiwkITNBc0tLJSpvT3NGRiw3JDckJCIzPSoqKioqKioqKioqKnpxRiwkITNeOihIJz1VW2tFRixGXF9uNyQ3JEZgXGxGZV9uNyQkIjNSJls/LTUrYjUoRiwkITNVY08ibzErcWwjRiw3JDckJCIzJXBuPjMmSFVqckYsRmpbbkZpX243JEZfYG43JCQiM1s7J3l3Z3FKYihGLCQhM1VXZHlycVd2Q0YsNyQ3JCQiMyUqKSoqKioqKioqKioqKnooRiwkITNCZyp5SHhNN1AjRixGY2BuNyRGaWBuNyQkIjN2LjA4O3IydXpGLCQhMzhwT3Y1OTB3QUYsNyQ3JCQiM0t3PE0oKSo9aj0pRixGYnhGX2FuNyQ3JCQiM2F1PE0oKSo9aj0pRixGYng3JCQiMzZTVy0xX3NLJClGLCQhMzhFJ1x0OF1eLiNGLDckNyRGaGJsJCEzYWVqM10hXGEoPUYsRlxibjckRmJibjckJCIzNCV5NSl5KVtTailGLCQhMyJmJlEoZWVLZ3YiRiw3JDckJCIzPXZkXzxSbTEoKUYsRl91RmZibjckRlxjbjckJCIzKW9Acjs8QXglKSlGLCQhM3Y1M3laOVs9OUYsNyQ3JCQiMyQpeSM0LixuYicqKUYsRlt2RmBjbjckRmZjbjckJCIzYywiWyZvZHYuISpGLCQhMypRdClwWFFdVTVGLDckNyQkIjM5ZV88UlkmPjMqRixGZ3ZGamNuNyRGYGRuNyQkIjNEMjlPTVJYKTMqRiwkITN1PEZ1JipHcCo9J0ZLNyQ3JCQiM1VAMnAqKUgkRzYqRixGXnFGZGRuNyRGamRuNyQkIjN4QD1ISTZEOCIqRiwkITM/LCl5X2AyXWIiRks3JDckJCIzYSFvQXVDM182KkYsRmpxRl5lbjckRmRlbjckJCIza1t5TmIrTT8iKkYsJCIzXzY1R2tIdCg+JEZLNyQ3JCQiM2dYIlF6ZiczWSIqRixGZnJGaGVuNyRGXmZuNyQkIjNfbS9kSF46ZiIqRiwkIjMwck4nRyFlJypReEZLNyQ3JEZkZGwkIjNrZys8REhKMjZGLEZiZm43JEZoZm43JCQiMylmVUY3KD5vYyMqRiwkIjMyJFFbZW95KSk9IkYsNyQ3JCQiM2tIIlI8X2MqZSMqRixGYnNGXGduNyRGYmduNyQkIjNvSWZ1Okk1QSUqRiwkIjN5OEZdKil6ZmU6Riw3JDckJCIzPDhSPF9jTHglKkYsRl50RmZnbjckRlxobjckJCIzY18hPiNHKHlmaypGLCQiM0tKMV85dk0qKT1GLDckNyQkIjNrVDxfY3AraykqRixGYnBGYGhuNyQ3JCQiMycpUjxfY3AraykqRixGYnA3JCQiM0FcRStVMncyKipGLCQiMyNRQikqPjxFWz4jRiw3JDckRmplbCQiMy1IVi5Ca1NPQUYsRl1pbjckRmNpbjckJCIzJ3plOFAoeVVANUZlZmwkIjMpUlQ0PiUzW3FDRiw3JDckJCIzMyh6PXYrVilSNUZlZmxGZm9GZ2luNyQ3JCQiM0Uoej12K1YpUjVGZWZsRmZvNyQkIjMvL3oxXig0VTAiRmVmbCQiM29TMSlHKlwkPnQjRiw3JDckRmRnbCQiM2hwNVIzND0/R0YsRmRqbjckRmpqbjckJCIzKzFEdXYuXyozIkZlZmwkIjN2JUgkUUczYHdIRiw3JDckJCIzak8mcFgieUU0NkZlZmwkIjMpPSsrKysrKzckRixGXltvNyQ3JEZlW29Gam43JCQiMyVHcV53UUlqNyJGZWZsJCIzLl0nKSkqWzI4NktGLDckNyRGamhsJCIzZ09pJVx5UlRHJEYsRltcbzckNyQkIjMnKSoqKioqKioqKioqKlI2RmVmbEZiXG83JCQiM1VdXFs9LylcOyJGZWZsJCIzZyoqcHd3UVlMTUYsNyQ3JCQiMyUzUidvTy0lRz4iRmVmbEZRRmhcbzckRl5dbzckJCIzV0QwOiU0Kj4vN0ZlZmwkIjNYKlwnKipRZytfT0YsNyQ3JEZpaWwkIjMuRiR5KlxAcyhvJEYsRmJdbzckNyQkIjMjKioqKioqKioqKioqPkAiRmVmbEZpXW83JCQiM0M3Ly14VlZYN0ZlZmwkIjNfYXM+YFQ1ZFFGLDckNyRGZVttJCIzaXZtIXlkIltfU0YsRl9ebzckRmVebzckJCIzbnckRyslPUQnRyJGZWZsJCIzMmZUOUx4KVwxJUYsNyQ3JCQiM2tvI0hvI1wmKilHIkZlZmxGMkZpXm83JEZfX283JCQiM1VjX05ZQ1FIOEZlZmwkIjMkeWlKd05ddUQlRiw3JDckJCIzVCsrKysrK2M4RmVmbCQiM1lMLlAsU0d1VkYsRmNfbzckNyRGYF1tRlxgbzckJCIzLClmJmUuPkJzOEZlZmwkIjMzXSRIJTR0eV5XRiw3JDckJCIzQ3AqM2dVJipbUiJGZWZsRmNcbUZgYG83JEZmYG83JCQiM1Y8PUZKVyVlVCJGZWZsJCIzNmFYJls3UDVrJUYsNyQ3JEZiXm0kIjNcKD00QmNlISlvJUYsRmpgbzckNyQkIjM2KysrKysrRzlGZWZsRmFhbzckJCIzd0ZmKSpSYFdnOUZlZmwkIjMhUTpGTXQocEJbRiw3JDckRmlfbSQiMyY0c3AnSHgwKilcRixGZ2FvLUZeYG02JkZgYG1GYWBtJCIxIWU9JVEtKytnRmVmbEZnYG0tRiY2X3E3JDckRiokIjMqSHoocCw1cGlNRiw3JCQhM2lKJSlIdGdDJFsjRixGUTckRmpibzckRjYkIjNtV2AieXIjUm5RRiw3JDckJCEzXSsrKysrK2c6RiwkIjMtUHgwdnYlbylIRiw3JCQhM14weTBJdycqPjxGLCQiMyssKysrKys/SkYsNyQ3JEZoY29Gam5GZ2JvNyQ3JEZJJCIzSmVFP1IjR2xPI0YsNyQkITMzUD51bjQiXDQiRixGZm83JEZiZG83JEZDJCIzZU94MHZ2JW8pSEYsNyQ3JEZZJCIzQk4yKW9EM1xAIkYsNyQkITNdZjxbIz12aChIRktGXnQ3JEZdZW83JCQhMzg9IypcInlJVFYlRkskIjN1Om13PSgzYyo9Riw3JDckJCEzM3YmelY/Yz5BJ0ZLRmJwRmFlbzckNyQkITM/dyZ6Vj9jPkEnRktGYnBGX2RvNyQ3JEZfbyQhMydRKFxHbD1bOT9GLDckJCIzIVs3Ty4lMzUnUiRGS0ZfdTckRmJmbzckJCIzaXcxX05eUztCRkskITNANVouNHFVTTlGLDckNyQkIjNwIkc5ZEc5ZEciRktGW3ZGZmZvNyQ3JCQiM2UhRzlkRzlkRyJGS0ZbdjckJCIzPCdRRkNKckVxJkZbaG0kITMiWzkmXCgzeSxRKUZLNyQ3JCQiM25ITWhMUzNxTEZbaG1GZ3ZGY2dvNyRGaWdvNyQkIjMhUV9AVUcvKD04RltobSQhM1YpM1sqPU8iekckRks3JDckJCIzJGZ3dXBWIzRKJikhIz9GXnFGXWhvNyQ3JCQiMyIpeloocFYjNEomKUZmaG9GXnE3JCQiM1YoRzlBSCpIT3BGZmhvJCIzXSVlPVorZVBiIkZLNyQ3JCQiM29MSz4kKXomXGYnRmZob0ZqcUZbaW83JDckJCIzPypHJD4kKXomXGYnRmZob0ZqcTckJCEzJSlwYkNYSjIhXCJGW2htJCIzNV9JbzQjUSQqXCdGSzckNyQkITMoXGsnZiIqKnl1Jj1GW2htRmZyRmhpbzckNyQkITNJYG1mIioqeXUmPUZbaG1GZnI3JCQhMyJvLUB6UTFYNyJGSyQiM3dwIUdENG5cPiJGLDckNyQkITNNNEVeInlgVzgiRktGYnNGZWpvNyRGW1twRmpkbzckNyRGW3AkITNcIm8mSDZtLHFERiw3JCQiMyR6SW5LbktaTChGS0ZieDckRmNbcEZfZm83JDckRmdwJCEzLFo3aTIqeil5R0YsNyQkIjNqJSlwdSdvQD1XIkYsRmpbbjckNyRGXFxwJCEzInoqKioqKioqKioqKlJFRixGYFtwNyRGaFtwNyQkIjNdVz92LkglXHIjRiwkITNPJXBNZSQ+JyoqMyRGLDckNyRGaHQkITMvNUh5PEowL0pGLEZjXHA3JDckJCIzNSoqKioqKioqKioqKnpNRiwkITM2QTdfUDYoekEkRiw3JCQiMyc9O08qWyI+MCRHRiwkITNMKSoqKioqKioqKioqPkpGLDckRmJdcEZpXHA3JDckRmV3RmBdcDckJCIzTzVzKUgyMjluJEYsJCEzKmYhW0s6WmdaS0YsNyQ3JEZbeCQhM3drV0xGXiM9SSRGLEZqXXA3JEZgXnA3JCQiM3piTHdcO2sqWyVGLCQhMz1wYjxMVzQ4TEYsNyQ3JEZdeSQhMzg+dW40KFEpSExGLEZkXnA3JDckRl15JCEzZD51bjQoUSlITEYsNyQkIjM7Wik9PCFvW0JfRiwkITNySSN6V2BDQkskRiw3JDckRml5JCEzeCUzXVgpPSw3TEYsRmFfcDckRmdfcDckJCIzPUVKT0UqKUclKmVGLCQhM3lcKDM0JmZfKkckRiw3JDckRltbbCQhMzlpQyY+bFckW0tGLEZbYHA3JEZhYHA3JCQiMyEqKm9JX3phbl4nRiwkITNRZi8jbz4uWEEkRiw3JDckJCIzVCgqKioqKioqKioqKnpxRiwkITMqKVxYKT0sUClRSkYsRmVgcDckNyRGYFxsRl5hcDckJCIzJjMhb00sb00sckYsJCEzV255KjM/SlU4JEYsNyQ3JCQiM2QjekshPVxJbnJGLEZlXXBGYmFwNyQ3JEZpYXAkITN5KSoqKioqKioqKioqPkpGLDckJCIzJ1JBY2JfLW1nKEYsJCEzdzozUF0kbzUqSEYsNyQ3JEZmXWwkITNpXExOZnJJTUhGLEZfYnA3JDckJCIzOygqKioqKioqKioqKip6KEYsJCEzPVxMTmZySU1IRiw3JCQiM08rJGU2SWU2MylGLCQhM0luKVF1JylRdSNHRiw3JDckRmhibCQhM2YoNEVSNU4xbSNGLEZeY3A3JEZkY3A3JCQiMyFwSCdHRW8/USYpRiwkITMkUSczPiUpeThfRUYsNyQ3JCQiM2wkcCopSFY5VWMpRixGaltuRmhjcDckRl5kcDckJCIzLHhyLyVvPTQhKilGLCQhM0skeWskKnlYUlQjRiw3JDckRmRkbCQhMypSN2o1byZIJz0jRixGYmRwNyRGaGRwNyQkIjNTLzpOQCV5ekQqRiwkITM2T1ZCOWMpPjwjRiw3JDckJCIzSEoiUjxfT0lGKkYsRmJ4RlxlcDckRmJlcDckJCIzS2dIb3k8MTgmKkYsJCEza1InKXkmPVQ/Jz1GLDckNyQkIjMqeiZwM0V5cWYnKkYsRl91RmZlcDckRlxmcDckJCIzOXInUUxuImZIKCpGLCQhMyFvVyMqKVtXUkU6Riw3JDckJCIzdFI8X2NwM3kpKkYsJCEzOykqKioqKioqKioqKio+IkYsRmBmcDckNyRGZ2ZwRlt2NyQkIjNdNFkjKT1iInopKSpGLCQhMyZmUzsjek8lPjoiRiw3JDckRmBmbCQhMy1KUD1meipbKnpGS0ZdZ3A3JEZjZ3A3JCQiMz9POSlwbHVEKCoqRiwkITNQLUhhWTUkUUcoRks3JDckJCIzPVZyJkc5ZFMoKipGLEZndkZnZ3A3JEZdaHA3JCQiM0cqbyJcbSFvYSoqKkYsJCEzLVg3aHdQWE9FRks3JDckJCIzY0IhNE9XeGwqKipGLEZecUZhaHA3JDckJCIzIT0tNE9XeGwqKipGLEZecTckJCIzKW88I3lAeUApKioqRiwkIjMmeTpfOV85XzkjRks3JDckJCIzUSozT1d4NCQpKioqRixGanFGXmlwNyQ3JEZlaXAkIjN1OisrKysrK0NGSzckJCIzRTlmbzcmKSo9KyJGZWZsJCIzb2shUjQjZXcxb0ZLNyQ3JCQiMylwej12KyQzLTVGZWZsRmZyRltqcDckRmFqcDckJCIzJ29lMmFxTSE0NUZlZmwkIjNTQSVcUic+NTg2Riw3JDckJCIzXUc5ZEc5ZDU1RmVmbEZic0ZlanA3JDckJCIzb0c5ZEc5ZDU1RmVmbEZiczckJCIzJFFGJGU7S11BNUZlZmwkIjN0VVtXKik9Si46Riw3JDckJCIzQ21rZU1RWEg1RmVmbEZedEZiW3E3JEZoW3E3JCQiM2lNbjRUcm5UNUZlZmwkIjMoNHhAZ3MmW2I9Riw3JDckJCIzQ3MpWyY+eSlHMSJGZWZsRmJwRlxccTckNyQkIjNUcylbJj55KUcxIkZlZmxGYnA3JCQiM088ejxnXS5sNUZlZmwkIjMyXzBbbGl3ekBGLDckNyRGZGdsJCIzPV9XbSspZnE/I0YsRmlccTckRl9dcTckJCIzLyhcO2dnIkgkNCJGZWZsJCIzQWJMQSRIKlFyQ0YsNyQ3JCQiM1YqZWhkakMlNDZGZWZsRmZvRmNdcTckNyQkIjNoKmVoZGpDJTQ2RmVmbEZmbzckJCIzJnk2S0RgYlM3IkZlZmwkIjMkRylleVxrSFlGRiw3JDckRmpobCQiM3AyMG1laThpR0YsRmBecTckNyQkIjNAKysrKysrUzZGZWZsJCIzODMwbWVpOGlHRiw3JCQiMzIyJVJJbkR1OiJGZWZsJCIzVWFSU1kpR1ErJEYsNyQ3JCQiM24kKj1zaUVycjZGZWZsRmpuRl9fcTckRmVfcTckJCIzL0VLVDZTJkg+IkZlZmwkIjN0aF5DZEsocEMkRiw3JDckRmlpbCQiMydmZlQmSE0jM08kRixGaV9xNyQ3JEZpaWwkIjNTJ2ZUJkhNIzNPJEYsNyQkIjNPaGVhWyozK0IiRmVmbCQiMzojZkZJTVMqek1GLDckNyQkIjMpb1syeVVnIls3RmVmbEZRRmZgcTckRlxhcTckJCIzMkdMNip6QyZvN0ZlZmwkIjNxWzYiZitvSnEkRiw3JDckRmVbbSQiM3NGNTRxcGMieSRGLEZgYXE3JEZmYXE3JCQiMzAsM2hjM1UzOEZlZmwkIjMlKUg4RSpHJT48UkYsNyQ3JCQiM3VZVGo5YXRQOEZlZmxGMkZqYXE3JEZgYnE3JCQiM2EmKTQjKnooWyhbOEZlZmwkIjM0TE0+bjlNR1RGLDckNyRGYF1tJCIzKzxHaXkmcCw7JUYsRmRicTckRmpicTckJCIzI1FkIz16ZSU0UiJGZWZsJCIzTHloNnN1LUZWRiw3JDckRmVhbyQiM01IaXkmcF5SXSVGLEZeY3E3JDckRmJebUZlY3E3JCQiM3YvbT8kM1JGViJGZWZsJCIzKT4oZiY+NjElR1hGLDckNyQkIjMiKiplUUZ1aClROUZlZmxGY1xtRmljcTckRl9kcTckJCIzPyYzeUA6UGtaIkZlZmwkIjNKLmg5X2MzPFpGLDckNyRGaV9tJCIzJCpcOy11NmY6W0YsRmNkcS1GXmBtNiZGYGBtRmFgbSQiMVhZZ2YrKytTRmVmbEZnYG0tRiY2Y3E3JDckRiokIjMzOSlla1I6XTUkRiw3JCQhM3MwQjtmZEknSCNGLEZqbjckRmZlcTckRjYkIjNrZyF6NCI9UyZmJEYsNyQ3JEZDJCIzcCd6RiRvaCJvVyNGLDckJCEzb3NcPTtrTEA8RixGZm83JEZhZnE3JEYqJCIzXzkpZWtSOl01JEYsNyQ3JEZJJCIzKUdVYWc4U2A8IkYsNyQkITNJOChRW04+dVYpRktGYnM3JDckJCEzVDkoUVtOPnVWKUZLRmJzNyQkITNXX11HW11HWyUpRkskIjMpWys+Sys+Sz8iRiw3JDckJCEzN0IuSGhedzA1RiwkIjNyLCsrKysrIW8iRixGY2dxNyQ3JEZqZ3FGXnQ3JCQhMyFvOGtiOGtiNiJGLCQiMyNlVTRQVTRQJz1GLDckNyQkITNHWTFlQS5sI0giRixGYnBGYGhxNyRGZmhxNyRGQyQiM0QnekYkb2gib1cjRiw3JDckRlkkITNwNikqUTslM2U7I0YsNyQkITMucURYdWFEaDdGS0ZieDckNyQkITN2cERYdWFEaDdGS0ZieDckJCEzbCpmKno7a2A2OEZLJCEzWUQrKSlRVWNfQEYsNyQ3JCQhMyVHUF1qXE9xXSVGS0ZfdUZoaXE3JEZeanE3JCQhM15ndVw1V2VPY0ZLJCEza01vJ2ZxRlVRIkYsNyQ3JCQhMzdrOVMmKWY5U2pGS0ZbdkZianE3JEZoanE3JCQhMzAmeUojNFNbL3FGSyQhM1ppYSVRKlJNSSIpRks3JDckJCEzImUvaSZ6Vj9rckZLRmd2RlxbcjckRmJbcjckJCEzWT90KjNpeTROKEZLJCEzVVIlb2dlWiQqNCRGSzckNyQkITNfQCQpeTtAJEdRKEZLRl5xRmZbcjckRlxccjckJCEzKXlKWyh6dkkoUihGSyQiMy0jKikpXCdRUTp0IkZLNyQ3JCQhMzMoXE9dalwnKlIoRktGanFGYFxyNyRGZlxyNyQkITM3LjszXHF6JGYoRkskIjMpXFRhZ09KRG0nRks3JDckJCEzLXZGRXN0Rj13RktGZnJGalxyNyRGYF1yRmlmcTckNyRGX28kITNOXFZsXWVnQUZGLDckJCIzMm4qeXVwVnNiJUZLRmpbbjckRmhdcjckRlkkITNENikqUTslM2U7I0YsNyRGZV1yNyQkIjNIZldRLEw1ZDVGLCQhM2ovakRNYnRXSEYsNyQ3JEZbcCQhM0RUS0B4LlxzSUYsRmBecjckNyRGZ3AkITNzViVbS3lba0gkRiw3JCQiMyczeilwdSdvKlE5RixGZV1wNyQ3JCQiM2sheilwdSdvKlE5RixGZV1wRmZecjckRmpecjckJCIzLjNzWzN1KlJXI0YsJCEzJm84ZWNnSiQqUSRGLDckNyRGaHQkITMhUUUtISllJCk+WSRGLEZlX3I3JEZbYHI3JCQiM2M4TDxecVFWTUYsJCEzaXUpW3VPImZ2TkYsNyQ3JEZldyQhMzwmeiZHJil6biJlJEYsRl9gcjckNyRGW3gkITN1YzhUJGZMRGskRiw3JCQiM0lhXmwqbz8nZU9GLCQhM0spKioqKioqKioqKioqZiRGLDckRlxhckZlYHI3JEZpYHI3JCQiM0AtYDB2ZHltVUYsJCEzam1vLl1RX1dPRiw3JDckRl15JCEzPk9DTUkrKlJtJEYsRmNhcjckRmlhcjckJCIzVFR2RnMsTDhdRiwkITNfJHBeWzY/QW0kRiw3JDckRml5JCEzMG5ONk1mTF1PRixGXWJyNyRGY2JyNyQkIjNnIipmP18xYTNkRiwkITNyRXQ4b1BwWE9GLDckNyRGW1tsJCEzPV1acy84ZCxPRixGZ2JyNyQ3JEZbW2wkITNpXVpzLzhkLE9GLDckJCIzK2srLWxqK2lqRiwkITMmPi8hb3d2TCxPRiw3JDckJCIzd0xJNHMkKVt0akYsRl9hckZkY3I3JEZqY3I3JCQiMzImUVsrY2QoW3BGLCQhMzxjQS5TXV03TkYsNyQ3JEZgXGwkITMnSDdcJ2ZRYSNcJEYsRl5kcjckRmRkcjckJCIzKSlvUV5OMD0tdkYsJCEzc3lETSFwYDlTJEYsNyQ3JEZqYG4kITMnRyM0NjdlPlBMRixGaGRyNyRGXmVyNyQkIjNOXkMuNDNkSCEpRiwkITMtTTstMXMvdEtGLDckNyRGaGJsJCEzMU1DNWR0K09KRixGYmVyNyRGaGVyNyQkIjMtKEdKIipmX2VgKUYsJCEzVGUzVSpSbzA4JEYsNyQ3JCQiM2YmNC4sbmJtYylGLEZlXXBGXGZyNyRGYmZyNyQkIjNPZGlOPXJzaSopRiwkITMnW11QQVReXiRIRiw3JDckRmRkbCQhMyNHXV8jR251MEdGLEZmZnI3JDckRmRkbCQhM1EtRERHbnUwR0YsNyQkIjNCPXUjZWFnZVAqRiwkITMjekY9c3B0MHQjRiw3JDckJCIzJG9wM0V5YSZSJipGLEZqW25GY2dyNyQ3JEZqZ3JGYFxwNyQkIjMmcCVHNyhSJT5KKCpGLCQhM2RJX1RKSFkoWyNGLDckNyRGamVsJCEzPVUyNitMTTBCRixGXmhyNyRGZGhyNyQkIjNfPCtJZ3I6MDVGZWZsJCEzeltNTE54L0BBRiw3JDckJCIzPl4vPXMpKXk2NUZlZmxGYnhGaGhyNyRGXmlyNyQkIjNVa1Z2JClRaEg1RmVmbCQhM3ZGQ09lRDQvPkYsNyQ3JCQiMz5kRzlkR0FYNUZlZmxGX3VGYmlyNyRGaGlyNyQkIjMjXGYqNDFfJipcNUZlZmwkITNEKUgoKlJQLChmOkYsNyQ3JCQiM3YlKnk6al81azVGZWZsRlt2RlxqcjckRmJqcjckJCIzc2NIYDJnXms1RmVmbCQhM1JWSWIkUXRuPCJGLDckNyRGZGdsJCEzT1EhPncvPnd6KkZLRmZqcjckNyRGZGdsJCEzWVIhPncvPnd6KkZLNyQkIjMpKWVFd21hbXI1RmVmbCQhM186UiUzWGtWVyhGSzckNyQkIjNvSl9yIzRZPzIiRmVmbEZndkZjW3M3JEZpW3M3JCQiMz9iJD1zK29RMiJGZWZsJCEzI0htQjdbKzd6I0ZLNyQ3JCQiMy9zVCgpbydIUzIiRmVmbEZecUZdXHM3JDckJCIzQXNUKClvJ0hTMiJGZWZsRl5xNyQkIjNvTzYhejxwVDIiRmVmbCQiM0VudkR0OXMpKT5GSzckNyQkIjM+SGNsXkE9dTVGZWZsRmpxRmpcczckRmBdczckJCIzMmcjSE4qbyVmMiJGZWZsJCIzKClRJFwhKTQyLW4nRks3JDckJCIzYnBYInkjZTt3NUZlZmxGZnJGZF1zNyRGal1zNyQkIjNkJHBJaiczPCMzIkZlZmwkIjMueWB6ZHZfMDZGLDckNyQkIjNCZ2Y1JVFVTzMiRmVmbEZic0ZeXnM3JEZkXnM3JCQiMzdWJjNceDxVNCJGZWZsJCIzKm8vVlIkW0AwOkYsNyQ3JCQiM05vWkcyUkYrNkZlZmxGXnRGaF5zNyRGXl9zNyQkIjNpcm9iLWMhPTYiRmVmbCQiMytkM2lcRSd6Jz1GLDckNyQkIjNcZ2Y1JVFBKEg2RmVmbEZicEZiX3M3JEZoX3M3JCQiM2chW2pEMERQOCJGZWZsJCIzM0osIkgpSCQ9PyNGLDckNyRGamhsJCIzIVxKc1w8OXVFI0YsRlxgczckRmJgczckJCIzbzQkZi07KkdnNkZlZmwkIjNFL1lnSipRWl0jRiw3JDckJCIzLiozbDV5Xz08IkZlZmxGZm9GZmBzNyRGXGFzNyQkIjMrVTcwYSdSKio9IkZlZmwkIjNqPzwqSCgqb3F5I0YsNyQ3JEZpaWwkIjM2aCZHckVaaydIRixGYGFzNyRGZmFzNyQkIjNJaEA+Q0ghPUEiRmVmbCQiMzZnQTBzcmthSUYsNyQ3JCQiM01yVDFDbDFIN0ZlZmxGam5GamFzNyRGYGJzNyQkIjMnKjNTXkQ6a2M3RmVmbCQiMyw0bSEqSCkqUS1MRiw3JDckJCIzTSsrKysrKyVHIkZlZmwkIjNeV3NnIltaTFskRixGZGJzNyQ3JCQiMyoqKioqKioqKioqKipSRyJGZWZsJCIzMVdzZyJbWkxbJEYsNyQkIjNzRkZUPztRI0giRmVmbCQiMyJ5Ij1lSUQ3V05GLDckNyQkIjNGXCF5WyF5Mys4RmVmbEZRRmVjczckRltkczckJCIzV0RLPnQpKmVJOEZlZmwkIjNpKyZ5YCUzU3BQRiw3JDckRmBdbSQiM2N3T09CQl81UkYsRl9kczckRmVkczckJCIzQmxiaUtpTHA4RmVmbCQiMylbQidcI3kiNCIqUkYsNyQ3JCQiM0o0Z1VORjAlUSJGZWZsRjJGaWRzNyQ3JCQiM1s0Z1VORjAlUSJGZWZsRjI3JCQiM2pcJnpaJilmJzQ5RmVmbCQiM3AwSSFbam5BPyVGLDckNyRGYl5tJCIzKUdyUUlGUCkqRyVGLEZmZXM3JEZcZnM3JCQiMzNONT49SyUzWCJGZWZsJCIzV09rc3k9cjJXRiw3JDckJCIzYSo+cyc9Yk4hWyJGZWZsRmNcbUZgZnM3JDckJCIzcyo+cyc9Yk4hWyJGZWZsRmNcbTckJCIzI0dDcVYnKkdDXCJGZWZsJCIzJEcwbDNkdC9oJUYsNyQ3JEZpX20kIjMkKnlOUD1ZN1VZRixGXWdzLUZeYG02JkZgYG1GYWBtJCIyQ0stKUgrKys/RixGZ2BtLUYmNmNxNyQ3JEYqJCIzYHYxOCU0MG9oI0YsNyQkITNjQCNRKFxiYShII0YsRmZvNyRGYGhzNyQkITNsK0tyOmEhUk0jRiwkIjNDb2FaNU9nI28jRiw3JDckJCEzJSopUSdlb2YnKT5HRixGam5GZGhzNyRGamhzNyRGNiQiM1opWzlLJ1xwVEtGLDckNyRGQyQiM2omKVxKNnBpNTlGLDckJCEzIXl2YGYqZVlUO0YsRl50NyRGZWlzNyQkITMud3RITGFwJ28iRiwkIjM6XyMpPkFPWWs8Riw3JDckJCEzS1pTNU08XSkqPUYsJCIzIz4rKysrKys7I0YsRmlpczckNyQkITM1WlM1TTxdKSo9RixGYnBGXWhzNyQ3JEZlYm0kITN3OEMlUltAXzwjRiw3JCQhM2ZgeCc0KFEpPWEpRktGYng3JDckJCEzcWF4JzQoUSk9YSlGS0ZieDckJCEzSGFXJ2VWa2VqKUZLJCEzcCxkRi9kRldARiw3JDckJCEzXyg0KFFbTjJUNkYsRl91RmNbdDckRmlbdDckJCEzMXAiKVxvIilcRzdGLCQhMzE+NytANytAOUYsNyQ3JCQhMycpW04+dW40LjhGLEZbdkZdXHQ3JEZjXHQ3JCQhMyM+dmFydztfTiJGLCQhM2hTO0lfOkFsJilGSzckNyQkITNfMWVBLkgkZlAiRixGZ3ZGZ1x0NyRGXV10NyQkITNLbXBqUUxyIVIiRiwkITNRNi1VVXhkR05GSzckNyQkITM/W04+dW5EJlIiRixGXnFGYV10NyRGZ110NyQkITMjKjRnRyNbMGtSIkYsJCIzWlluIT4pKXAkNDhGSzckNyQkITNnXmshZUFWblIiRixGanFGW150NyQ3JEZiXnQkIjM9OisrKysrK0NGSzckJCEzRiEqcCVvZSg0NzlGLCQiMz0iRzhCIlIpUkAnRks3JDckJCEzdCQ+dW40bmdUIkYsRmZyRmhedDckRl5fdDckJCEzJmVydztfLDRbIkYsJCIzKD4ieTYib25zOSJGLDckNyQkITMyX2shZUEuKilbIkYsRmJzRmJfdDckRmhfdDckRkMkIjNUJilcSjZwaTU5Riw3JDckRlkkITNHOSJcUSswOnojRiw3JCQhM2tZWHVhRFgpXCRGS0ZqW243JEZjYHQ3JEZJRmpqczckNyRGX28kITNSNVg0KnprOj0kRiw3JCQiM0cjNDp5YFd0YCVGS0ZlXXA3JEZcYXRGYGB0NyRGaWB0NyQkIjNOUiQ+JTRpbSopekZLJCEzLClHaFJUV0VEJEYsNyQ3JEZbcCQhMyV6ISopeT0veVFNRixGYWF0NyQ3JEZncCQhMzB6U1AicDolUU9GLDckJCIzYjxnXUVtOnA9RixGX2FyNyRGXmJ0NyRGW3AkITNdMiopeT0veVFNRiw3JDckRmdwJCEzaHlTUCJwOiVRT0YsNyQkIjMhM2cnPkl6ST1ARiwkITNnS3h6J0cwQWwkRiw3JDckRmh0JCEzbyxdeUZQP2xQRixGaWJ0NyRGX2N0NyQkIjNzKCopKVxAITRqMSRGLCQhMzQoZktWLDFVIVFGLDckNyRGZXckITNZeGYuSjcpbyZRRixGY2N0NyRGaWN0NyQkIjNIRTksJVwoejtSRiwkITN5XDRNSCQpPiIqUUYsNyQ3JEZbeCQhM2svcTcsI1tNIlJGLEZdZHQ3JDckRlt4JCEzNDBxNywjW00iUkYsNyQkIjNJaCQ9dChHPCNwJUYsJCEzJUdkWDpEOiJHUkYsNyQ3JEZdeSQhMzUlM2UhUVkhXCRSRixGamR0NyQ3JCQiMzopKioqKioqKioqKio+XEYsRmFldDckJCIzJVwpb05ZQFkzYUYsJCEzMSplLzRWVGMjUkYsNyQ3JEZpeSQhM1M6I0g9YV03I1JGLEZnZXQ3JDckRml5JCEzJlxASD1hXTcjUkYsNyQkIjN1UzpUVmFWeGdGLCQhM1VFNSUqR09pIipRRiw3JDckRltbbCQhMygqKVJTQyJmW3NRRixGZGZ0NyRGamZ0NyQkIjMkXEp6JW84JHpxJ0YsJCEzWHZHbFhVJj4kUUYsNyQ3JEZjX24kITNRTTsqKVwyaCl5JEYsRl5ndDckNyRGYFxsRmVndDckJCIzaCZvb147O25JKEYsJCEzKHBYNyw2VzZ2JEYsNyQ3JEZmXWwkITMxQUg9YV1pcE9GLEZpZ3Q3JEZfaHQ3JCQiMyFRUnlGWWQhenlGLCQhM00mZiY9dlxxX09GLDckNyQkIjM+NmlwYmtKRCIpRixGX2FyRmNodDckNyQkIjNVNGlwYmtKRCIpRixGX2FyNyQkIjMhKW9EJ29gSU1TKUYsJCEzUlldZENxR0FORiw3JDckRmhibCQhMzcycSdbPzkoKlskRixGYGl0NyRGZml0NyQkIjNaRVdtTSlSaCkpKUYsJCEzYzsnNEpBJDRrTEYsNyQ3JEZkZGwkITM5SCMpUVVgb1VLRixGaml0NyRGYGp0NyQkIjN6Tz1RcEdIYSQqRiwkITNfZFhEWV8+Jz4kRiw3JDckJCIzXSNbVkkiUmhUJipGLEZlXXBGZGp0NyRGamp0NyQkIjNGKHlpIT1YQ3EoKkYsJCEzOyE+dmBNJ1wkKkhGLDckNyRGamVsJCEzcyNIIVElcC0mKSlHRixGXlt1NyRGZFt1NyQkIjNdcSk+Zkg+XSwiRmVmbCQhM1FvQzgxYHptRkYsNyQ3JCQiM2BFMEAlb0xbLiJGZWZsRmBccEZoW3U3JDckRl9cdUZqW243JCQiMyJwTWtuTWsoWzVGZWZsJCEzODZCdzZCdzZERiw3JDckRmRnbCQhMyEqPjFbQSoqb01CRixGY1x1NyRGaVx1NyQkIjNKJykzV3ldP3k1RmVmbCQhMzZ1REZjUS5HQUYsNyQ3JCQiMzNibik+cTlaMyJGZWZsRmJ4Rl1ddTckNyQkIjMhXHYnKT5xOVozIkZlZmxGYng3JCQiMzA1Pk9ESHcrNkZlZmwkITMlR3Q3Q10+JSkqPUYsNyQ3JCQiMy9aeiEpeUo7OTZGZWZsRl91RmpddTckRmBedTckJCIzIjRtMl9TNiE+NkZlZmwkITNkUHhyTWcyUzpGLDckNyQkIjMpXHYnKT5xJXpJNkZlZmxGW3ZGZF51NyRGal51NyQkIjNPR205bjFtSjZGZWZsJCEzIm89V3dXL1c5IkYsNyQ3JCQiM21YInkjZTdGUTZGZWZsRlt3Rl5fdTckNyRGZV91Rmd2NyQkIjNjSzNqMndKUTZGZWZsJCEza2ZAczMwJXkzKEZLNyQ3JEZqaGwkITMiKT1rbW1tbTtJRktGaV91NyQ3JEZqaGwkITNPPmttbW1tO0lGSzckJCIzSEFBQUFBQVM2RmVmbCQhM0UkejlbIlsiW1QjRks3JDckJCIzUiNwMkJwRi05IkZlZmxGXnFGZmB1NyRGXGF1NyQkIjM8Q2RwTkxPUzZGZWZsJCIzPHVdRz93eHZCRks3JDckJCIzMlInb08tay45IkZlZmxGanFGYGF1NyRGZmF1NyQkIjMsM10zM10zVTZGZWZsJCIzXnglKio0WSoqNDEoRks3JDckJCIzb1k0T0pqOFU2RmVmbEZmckZqYXU3JDckJCIzJm8lNE9KajhVNkZlZmxGZnI3JCQiMyF6KipIJjQhbyFbNkZlZmwkIjNbOyshKXBLQFk2Riw3JDckJCIzQlB0L29sIilbNkZlZmxGYnNGZ2J1NyQ3JCQiM1RQdC9vbCIpWzZGZWZsRmJzNyQkIjNhKCk9YWFnaWY2RmVmbCQiM1w9dVFPJ2YiXDpGLDckNyQkIjNkSzBSJ293TzsiRmVmbEZedEZkY3U3JEZqY3U3JCQiMycqMyJmNSIpNG08IkZlZmwkIjNmdSNSSGZNZiI+Riw3JDckJCIzc2FLMFInKSkqKj0iRmVmbEZicEZeZHU3JEZkZHU3JCQiM1czclgnXHp6PiJGZWZsJCIzPXkjPk8tcU1EI0YsNyQ3JEZpaWwkIjNfPXomZmFwdVQjRixGaGR1NyRGXmV1NyQkIjNpVHNQOyFbTEEiRmVmbCQiM1lmXVtkbE1rREYsNyQ3JCQiMylSQCEzYko+SDdGZWZsRmZvRmJldTckRmhldTckJCIzS1FrU0cjPkREIkZlZmwkIjMxWlBpNT0oKVxHRiw3JDckJCIzUVtJKilmQ2EjRyJGZWZsRmpuRlxmdTckRmJmdTckJCIzQGNAWy1URiRHIkZlZmwkIjNLRWN5OyRSWzckRiw3JDckRmVbbSQiMyk9blVRalMnSEpGLEZmZnU3JEZcZ3U3JCQiM2tDYXNzZXo8OEZlZmwkIjM9MDAkPT0lcHVMRiw3JDckJCIzLEZIbyNIbylbOEZlZmwkIjMpNCsrKysrK2ckRixGYGd1NyQ3JCQiMz1GSG8jSG8pWzhGZWZsRlE3JCQiMyMpXGN4KikpZUZOIkZlZmwkIjMmNG4mXCx1Z0BPRiw3JDckRmBdbSQiMzVIIVtjcjInUk9GLEZfaHU3JDckJCIzMCsrKysrK2M4RmVmbEZmaHU3JCQiMyNcJHomeWJhMVIiRmVmbCQiMy9QL0c5J3AqW1FGLDckNyRGYl5tJCIzLHVpejQjKWV1U0YsRlxpdTckRmJpdTckJCIzLjNYVjwsVEc5RmVmbCQiM0RdKnBQKWVFeFNGLDckNyQkIjNFXSFvJ3opRylHOUZlZmxGMkZmaXU3JEZcanU3JCQiM2ZsYTxgdCUqbzlGZWZsJCIzLCtwXFh3LChHJUYsNyQ3JEZpX20kIjMmem9VbT5hc1clRixGYGp1LUZeYG02JkZgYG1GYWBtRmdgbUZnYG0tJStBWEVTTEFCRUxTRzYkUSJ4NiJRInlGX1t2LSUqTElORVNUWUxFRzYjRjgtRl5gbTYjJSVOT05FRy0lK1BST0pFQ1RJT05HNiNGYWBtLSUsT1JJRU5UQVRJT05HNiQkIiNYRjhGXVx2LSUqR1JJRFNUWUxFRzYjJSxSRUNUQU5HVUxBUkc= # Alternative solution using dsolve: y := 'y'; NiM+JSJ5R0Yk de := diff(y(x),x) = (x-5)/y(x)^2; NiM+JSNkZUcvLSUlZGlmZkc2JC0lInlHNiMlInhHRiwqJiwmRiwiIiIiIiYhIiJGL0YpISIj dsolve(de); NiUvLSUieUc2IyUieEcsJComIiIjISIiLCgqJiIjNyIiIilGJ0YqRi9GLyomIiQ/IkYvRidGL0YrKiYiIilGLyUkX0MxR0YvRi8jRi8iIiRGLy9GJCwmKiYiIiVGK0YsRjZGKyooXiMjRitGO0YvRjcjRi9GKilGLEY2Ri9GLy9GJCwmKiZGO0YrRixGNkYrKiheIyNGL0Y7Ri9GN0Y/RkBGL0Yv # Comparing this result with the first one, it appears dsolve uses a similar soltion technique
in this case. # Example 2 LHS := Int(1/(y-1),y); NiM+JSRMSFNHLSUkSW50RzYkKiYiIiJGKSwmJSJ5R0YpRikhIiJGLEYr LHS := value(%); NiM+JSRMSFNHLSUjbG5HNiMsJiUieUciIiJGKiEiIg== LHS := ln(abs(y-1)); #Maple omitted the absolute value sign above, the correct result is: NiM+JSRMSFNHLSUjbG5HNiMtJSRhYnNHNiMsJiUieUciIiJGLSEiIg== RHS := Int(1/(x+3),x); NiM+JSRSSFNHLSUkSW50RzYkKiYiIiJGKSwmJSJ4R0YpIiIkRikhIiJGKw== RHS := value(%); NiM+JSRSSFNHLSUjbG5HNiMsJiUieEciIiIiIiRGKg== RHS := ln(abs(x+3)); NiM+JSRSSFNHLSUjbG5HNiMtJSRhYnNHNiMsJiUieEciIiIiIiRGLQ== sol := LHS = RHS + C; NiM+JSRzb2xHLy0lI2xuRzYjLSUkYWJzRzYjLCYlInlHIiIiRi4hIiIsJi1GJzYjLUYqNiMsJiUieEdGLiIiJEYuRi4lIkNHRi4= Following the second approach: subs({x=-1,y=0},sol); NiMvLSUjbG5HNiMtJSRhYnNHNiMhIiIsJi1GJTYjLUYoNiMiIiMiIiIlIkNHRjE= solve(%,C); NiMsJC0lI2xuRzYjIiIjISIi subs(C=-ln(2),sol); NiMvLSUjbG5HNiMtJSRhYnNHNiMsJiUieUciIiJGLCEiIiwmLUYlNiMtRig2IywmJSJ4R0YsIiIkRixGLC1GJTYjIiIjRi0= solve(%,y) assuming y-1 < 0 , x+3 >0; NiMsJiomIiIjISIiJSJ4RyIiIkYmI0YoRiVGJg== # Alternative solution using dsolve: y := 'y'; de := diff(y(x),x) = (y(x)-1)/(x+3); NiM+JSNkZUcvLSUlZGlmZkc2JC0lInlHNiMlInhHRiwqJiwmRikiIiJGLyEiIkYvLCZGLEYvIiIkRi9GMA== dsolve({de,y(-1)=0}); NiMvLSUieUc2IyUieEcsJiMiIiIiIiMhIiIqJkYrRixGJ0YqRiw= # Example 3 LHS := Int(cos(y)+exp(y),y); NiM+JSRMSFNHLSUkSW50RzYkLCYtJSRjb3NHNiMlInlHIiIiLSUkZXhwR0YrRi1GLA== LHS := value(%); NiM+JSRMSFNHLCYtJSRzaW5HNiMlInlHIiIiLSUkZXhwR0YoRio= RHS := Int(6*x^5 - 2*x + 1,x); NiM+JSRSSFNHLSUkSW50RzYkLCgqJiIiJyIiIiklInhHIiImRitGKyomIiIjRitGLUYrISIiRitGK0Yt RHS := value(%); NiM+JSRSSFNHLCgqJCklInhHIiInIiIiRioqJClGKCIiI0YqISIiRihGKg== sol := LHS = RHS + C; NiM+JSRzb2xHLywmLSUkc2luRzYjJSJ5RyIiIi0lJGV4cEdGKUYrLCoqJCklInhHIiInRitGKyokKUYxIiIjRishIiJGMUYrJSJDR0Yr # Alternative solution using dsolve: y := 'y'; de := diff(y(x),x) = (6*x^5 - 2*x + 1)/(cos(y(x)) + exp(y(x))); NiM+JSJ5R0Yk NiM+JSNkZUcvLSUlZGlmZkc2JC0lInlHNiMlInhHRiwqJiwoKiYiIiciIiIpRiwiIiZGMUYxKiYiIiNGMUYsRjEhIiJGMUYxRjEsJi0lJGNvc0c2I0YpRjEtJSRleHBHRjpGMUY2 dsolve(de); NiMvLC4qJCklInhHIiInIiIiRikqJClGJyIiI0YpISIiRidGKS0lJHNpbkc2Iy0lInlHNiNGJ0YtLSUkZXhwR0YwRi0lJF9DMUdGKSIiIQ== # Notice that, unlike with Examples 1 and 2, dsolve does not attempt to give an explicit # solution in this case.