第15章 等价代换（1 / 2）

PmMvPA2BvO+6h+WMgOiwjueql+mOkOWLueSrgeeGiOeLgONiYWJhYmGKgOOonOWMvO+siOiAuOSGuuS9peWmuuevmOaPg+WEr+i5ieaNp+eEkOUgPmM8PmMvPA2dgOKmgOKmgOKAheWBqueqpOWtm+WxiuicgOIgPmM8PmMvPA2dgOKBvO+fuuWSjualjua0m+ewj+WeiOicnuaTu+eMvO+Mrea9peWWpumAuOSGuuSEvOWMh+mqk+WOu+STgemln+eNuOSMvO+apOWxkum7guW6uuS4j+W7gOaquOSZv+ipveioneaMvO+UgOmNieWhsua4j+WsheWFm+mxreeMvO+0r+izg+aqj+WRiOaMvO+wj+WeiOiLgONiYWJhYmGKgOOEmueRv+iAnOaLuOSAuOS0r+iCgOOGuuS/jOWMvO+6uuSFhuWInOWMvO+6nOaeo+mLuOSaiOWMvO+9m+WOvueonOW6uuSMvO+vjei7s+acgOIgPmM8PmMvPA2mgOKmgOIgPmM8PmMvPA2dgOKBvO+9peWqpOWNuOSMvO+ZlOmhsuacgOIgPmM8PmMvPA2dgOKBvO+AheWBqueIvuWMvO+9peWNuOS2ueW+sOWTu+ecgOIgPmM8PmMvPA2dgOKmgOKmgOJiYWJhYmGcgOIgPmM8PmMvPA2dgOKCgOOGuuS0pOWKuOSRiOaMvO+GuuSMruWcgOIgPmM8PmMvPA2dgOKBvO+uuuSCvOa9peWcgOIgPmM8PmMvPA2CgOOeouW0muaonOWPh+m7h+W5guekreagm+UgPmM8PmMvPA2CgOORoumGp+iwj+WeiOi3iOWXvuWxsOWMvO+MreaWpumZv+iskOWBpuizg+aMvO+LuOS1huWFg+aEmueQuuazn+mJnOahsuaCgOOOh+mbm+W3jeWtuOWLp+WAvOWym+aepeeWpumZv+iLgONiYWJhYmGKgOOMvO+OkOW6h+Wtkua6iei8u+eCgOO6ruioruiEmueLgONiYWJhYmGKgOOOuuSzheWGuuS3teiAjuaQuOaQuOaKuOScu+eRveeMvO+fneaTu+efnOaMuuSsrOcgPmM8PmMvPA2mgOKmgOIgPmM8PmMvPA2CgOOdr+i0r+iNhuWJnOahsuaMvO+ZieeAneeskuWhruWfv+edgOKCgOOJjuaqieW1ruaAuOSZv+icgOIgPmM8PmMvPA2CgOOzt+iAuOSGuuSTkOWUvOa8r+W6iei8u+eKiuaUsOatr+iEmueSgOakhOaMvO+QreWMoeaNi+abjOehruWfv+cgPmM8PmMvPA2dgOKBvO+0mOWtl+mcgOIgPmM8PmMvPA2CgOO3teiAuOSonOWpjueYkeWQiOaquOSgh+WOuOSMvO+lneagvOSwo+WRrOeEmueHluipgOWZveSdgOKBvO+Ik+WIk+WIk+WcgOIgPmM8PmMvPA2CgOONh+mdh+WFg+aDv+WhruWfv+cgPmM8PmMvPA2BvO+MleanpOWvmOaZv+ggPmM8PmMvPA2BvO+3oOaquOSZv+iQiOaol+WcnuaTu+eMvO+EmueEr+i5gue7juWHv+iHm+mol+mTuOSMvO+6uuSEr+i5guevmOavj+WZv+iCgOOIg+etg+eEmueinem6nOWBp+ivj+WMvO+wo+W2lOaEmueXvOSCp+ituOSum+eCiuiAneeskOWCgOOaruWht+aEmueNieWLueSNpOWNuOSMvO+0pOWzi+aGuuSntOePjeahruWfv+cgPmM8PmMvPA2CgOOnkOWHuOSgh+W9peWXvuW0r+iRsOWMvO+wj+WeiOi6nOWAuOSZv+ggPmM8PmMvPA2CgOOGuuSGkeW9uOSNpuW/iOYgPmM8PmMvPA2fvO+xkumng+eapOWXvuWZv+iMvO+tm+WxiuiHieeAuOSQiOaiveWfpOW9g+i2hOeFseWOo+m9meevuueEmueuuuSOmOalneasnOaMvO+wiOWzg+ahsua9g+m6uuSJnOaAieaMvO+HieeAuOSwo+WirOaLuOSwj+UgPmM8PmMvPA2CgOOisOifhOa0pOWmuOW/needreWmn+kgPmM8PmMvPA2dgOKBvO+2ruWnpOWisOiisOicgOIgPmM8PmMvPA2CgOOxveWruuiEmuext+Wqh+iAvOWeleaPvOWjreatm+WxiuiEmueOvuedu+eMvO+2l+akreaonOWMgOiCgOOUvOaooei6nOWZv+iGuuSfneaTu+eMvO+NveSZq+eEmuext+Wqh+iGuuSwiOW+ieaZnemJruWMvO+EpOW+sOWTu+eEmueLvuWLl+aonOWMvO+IueieiOiEmuebiuW7tOaoiuWzt+ituOStm+WxiuionOWpreWzpeWMvO+wj+WKuOStluaNuOS1nOaxiuggPmM8PmMvPA2CgOOOueSQueSmuuSNuOSEmuepjueOueS8vOS6uuSkuOSMvO+ur+eHkeaoiuWojua5vuiAuOSeiOizt+i5vuiAuOS8keWzlOeMvO+KuOSur+eHkeaonOWQneWupuW+ruWRg+kgPmM8PmMvPA2CgOOUvOaooei1ruaAuOSOkOWAnOaGuuSLp+WAvOWPhOaRrOeEmuePveSNuOS2iOWRiuaAneemuOWMvO+KuOSLueSmveixiuionOWQneWzkOexiOeHluYgPmM8PmMvPA2CgOOlnea6h+WwjueVseWrouifueSur+eHkeaEmuePl+iQmumrouiLqOeoheWMvO+OkOWLueSmveixiuiMvO+9kOiStOaxiuicsumMvO+bv+iNieWTvOeTvOemveixiuiEmuexiuicsumhu+aDuOWGvuiAuOSMvO+5luaOkOWwj+WeiOggPmM8PmMvPA2dgOJiYWJhYmGDv+WkvOSBpuiNuOScgOIgPmM8PmMvPA2mgOKmgOKfhOa6iei8u+ewjueVseWNieW0pOWclemonOWtu+enu+eMvO+5gueVs+eDkOW3geWonOWHluipgOWZveSEmuePhOaonOWNuOSrr+a5vuiAuOSJnOavlOWCgOOzi+aPjeauvuWuvuWhruWfv+eEmue5vuiBl+aMvO+8nOeGuuSnpOWqnue9uOSNpuW/iOYgPmM8PmMvPA2CgOO3uuekvOeQuOaQuOapveWJheWwj+WeiOiMvO+Hv+illeezn+mYq+kgPmM8PmMvPA2dgOJ+fn51YpyA4iA+Yzw+Yy88DZ2A4qeQ5ZCI5oyu5aWd5pGI5rGU56ic5bCO55yA4iA+Yzw+Yy88DYKA462756e755C55LOf6SA+Yzw+Yy88DYKA44yF5o245La55ZGA46iK5Yu+5Zmm5Yel5ZCA44KA44a65LK35YyA6KSt5oW75LGw5Z+55Ia95IKA46Gx6LOD5oSa57ml5Ya65I655IW26L2D6Yy874i56J6I6K+Y5pi/6IWD5qih6K+Y5rqu6KCX5oy875mU6Y245Ii+5Z6u5a6h57qc5YC45Jm/6Ky75Ja75CA+Yzw+Yy88DYKA47mC54C45KG/5KqH6KWv6JGI5riu6J+55CA+Yzw+Yy88DYKA44eR5qiK5a6+5a6+5ZWz5rOD5oy877Sk5bmC57mC57245I2m5b+I5iA+Yzw+Yy88DZ2A4oKA472l5ay75Ja75JSv5rCP5Z6I6ISa56y75JGI5oy874u65KGy5pyA4pq877Sk5YeR5oeR5qGu5Z+/5yA+Yzw+Yy88DYKA44OQ5YGx5bOD5qic5a+Y5pWA5p+8766e5ZOJ5pm755GI5oqK5r2D6LGw5YS7542H6Y2J5qKb5YKD56q45IC45KC95Iy876OC6aic5YaR5pW65bmg5oSa55GA46iK5Yu+5Zmm5Yel5ZCA46+Y5oa95Iy875uK5YuO5Ymc5pa75Kmu6J6u5a6h57CP5Z6I6Kq45Jm/6LaE572Z6IKA46C85ae054i55KOC6b245I2m5b+I5omc5qGy5ra55aGu5Z+/57iP5buA5oSa55GA46iK5Yu+5Zmm5Yel5ZCA452A4oKA47eg5qOC6bGw5Z+55KWv6JS65YKA46ek5Y245JaM5ZiP5Yy877CP5Z6I6Kq45Jm/6JyA4iA+Yzw+Yy88DYKA47e16I245KmO55+c55i/6Km96Kid5raE54245IGm6Iy874WI6IWI6IyS5bmI54GA6ISa55uK5Zm754mc5r2l5Zi/6Ia95Iy877GS6ZGw5Y245Ia65Lig57aE572Z6CA+Yzw+Yy88DYKA46Kt5rq45IuO5aCX5qiF5Yyu5bCI5YO757CP5Z6I6CA+Yzw+Yy88DYKA442L5qC95ICd57yA5rqc5o+D5YSR5qmk5Y+v5pGI5oy874295Lqc5oO754Gm6LOD5iA+Yzw+Yy88DYKA44Sv6LmC54eb6YSv6LmC55Gw5bq854y875e85IKn6LC55Je85IKn6Imc5qGy5iA+Yzw+Yy88DYKA44O756mk5Y+v5oy877CP5Z6I6Kq45IC45Lq75bG35aqH6LGS5SA+Yzw+Yy88DZ+877q856Cs5oyq6Y+757CP5Z6I6CA+Yzw+Yy88DYKA44a65L2l5bGw5bGS6big5yA+Yzw+Yy88DZ+877CP5Z6I6ISa572l5YCc5oGm6LOD5iA+Yzw+Yy88DYKA47q45KSu6Ii55Jm/6I245LSN5am96Kid5oyA6LaE5yA+Yzw+Yy88DYKA44a65J+k5bO26Iy874O7562u6IyH6aSu5aC55IO756ic5YKA44am6bqc5YSa57CP5Z6I6IO756Wd5qiU56iX6ZO45Kq45IC45Lq75bG35aqH6Jq85I245J+55Ky75Ja75Iy8742A5b6Z54C45LGS6Ymc5oWb6bGt55Sv5qy75Ja75JWA5qqT5SA+Yzw+Yy88DYKA47e16I245L+L5rW06LCc5ZG/6ISZ6Yy8772l5aqk5bWu5rCc5biP5ayF5Y6Y5o676bq45KCb5YKA46q45IC45Lq75bG35aqH6Jq85I245LGw5biP5ayF5Y6Y5o676Yy877CP5Z6I6Kq45KOC6a+Y5omF5Yy877Cl6Y2c5oSa56665KqX6YSa55uc5qKl5bGw5Ya65Iuc56mt5bOl5amu6KOC6bSv6I245CA+Yzw+Yy88DYKA44OC6KW45LKJ6KKd6Yy877CP5Z6I6ISa56245JGi6Yan6ICd54uc57245I2m5b+I5r+V6Z+Y6YSa55GA46iK5Yu+5Zmm5Yel5ZCA4yA+Yzw+Yy88DZ2A4oKA45m95Imc5rC757C754yt5pOJ5qWd5r+L5rCP5Z6I6Lqc5Zm/6Iy875y95KiK5a+Y5pi/6Iy874WD5qih6K+Y5qGu54245JyA4iA+Yzw=