4 (非)条件反S(3/4)
SWEj6gQ+WRBYN3gl44O9+7V6CH9f4YP19zr2T2om8s3NkX5s5OOp+CmnFnCxok6nx/+N1DbhcDlpTHoFJvicgHnrvgfOnV3pyKNqX5BK32OOoXOfNBk3TDSmvrnwiDkvKT6nK/0AZICcgyLM+w+6KSryOpfu9oqFPswY12//bKW7hMZQqcwV+iUobRqXPYwaG2sLBXtx4tRNHPam+RsADgp8tBd8dgTBhFz87E3IDGQdyoCZcl5SP7hnnSrQ8vO2ionn2f7oEldV9lgw73iiEpX/0q/ihTiv5tb3AW7ghctVt76X0qRUrGbtd0qY5jhTjPtM9DCigq0s1STpL4xStPCPo+zcGn4oaF1gp1iUkZ3mMuQFSUbX9CiKBQU1bB+AdH7vR1qDS3sfgVsu7UQIobm90HrEfLFZf2JoAulX08riNUeXpHB+3fBn83+ikRmqcpboXXzIJ9KIoe3hPvS1XbgHPo7b4CJZ7Udtkaa04VGcq/goT+r9PLEFWXEiUIcvOyMA/dmG1Kl/pwu/yA2/urBJkt1R4mI3QUcyvAAhtWdA7+RblD+aX238gqrAZWkWwPjajAsEltLSk1ynaluC8XenXxJPYblsCg0xnwvwXo3lzhbwv5t1xIeJjfprFGJ8k/291bamYMnGVpJGdaSHAlopTdj/uT1GdpjR5urjbDanG/b+4mcXQsyak0ras6e3rWbdjYGwyvK09XLC4h52QC+lkkS8LTbWMzMOeh5fmNuZv+HCYORgoHwrPfcdReMH4WMGcBb28caaDQGwtMZoQ5qfCtpERYL9BzhwnRw6Wx88Dwv8kWO8/vS2dbkL+xwA9wk0zVn36T8FpNLuVjBPFMTlGcnf4hCkqmp+wa6CpS+M+iSQK6EeIVbdGSh0qm6GQKXVaIU0cvuDl0jdsLwhZqVMTN2iljBqktmpLLQnHVmB5HLbMfeGhskthuOWk5s9j+LNQHbWIM66RVLYs//QKpnCJ9yKOBpcU4zDAsv2/fDNLIIrFpkza69naxoi6Ukhvzfh4YFJN+xMeNShewibb6k2MIm7NFpXOANNLHE1LZWl7J/x8vskbTBS9pgxwa6rkA4yqYCKfb5awXQaKgPrxRSOB/tArc6Bc5nB3Wflaezwd385zRRACGS8bCsPow0aQlar6eKD8vDl4sNmYGYyRPuHzaU6YJgX/2B9xyOaztIf3iaXyVJ0XjQLjIxFmfOO0IMsDbwtHJkndfxUsgbxeAZhdXOZU9wAfszuaEosw2eQAWlw5/l8pvPAwIjVxcSskhK9wXowMmZX7t9aGWHCz7SAMLmJYlwyHcs8uyFOrUD4isaE2IrdsFPYyM6YAeDMil0ClcN5E4CrSjyJFEXrZo5hawpt3mbau44QvydO9Qw782T91wtfZMPngO33vHzRMqWdGRKJmq+xuAtOb4dADw6gD6D70IGWaXSxyjSEGgHZavchaxZD6iYubjN2mVBUo4Htpja/Un960R5dQlyafahj3yAON6uLoLKYUaCsmxXEE3NxfvMV443yxQylTUR3aqngRv8t+2v0RqSoWRJQwMd6/mkRHuwyg75Uo2UoKNA/uvXLEOdg9sfyFpTBSrDqBkEQd09hY4CCLpsXJHQfszjfQTKcm0PCBXyBr2KXEiW4A9nvQ6fORQ2UbwOGRnc2K34TDFez0U0a4a5EEegFgWxzguJVsNetSbsCzJYqsIw9r80/JF0fHNcqBAUtc+lJqu+Y9C3OTwCS8FYergxdgMDrYNl2RkDvrhTWBIkqXN+2Nvrx3sq2qlFg6hu/zrjcfSTrDg+tjmhU8TVhMOTGHGUe7gUSG1uo3IDh10VqitNzjDKo5eih5Tf258cQegsKIsno6p2uA55sbrAEk3zOfhXe2PKDA57Xq8ErD0uLUPx/8SoH4H3yXfm6n/kMmk5PzgAYi4PFXMS5A1J4OZOb4VA8TyZWVN2EGrmuZrN4tGoM3QAX/qDqyRlrXkV6S/dkZvXeASytBV5MCAWtFbQj/VcW/0aUPEsXzv17dQRblXd3AQibamGwBsXfVq9FReljrrFgr3ofgsDCpN4r5jqbB/0zPFRj4ECYdTbNRL0KqY/xsDV58xGh9XWeqGi2cCe/BrpkYcoqrY/zu+zguNhSdONyhfPRZ7s7PzTL8aJ8UxkY0jXEpiOnE+fwka/Dv7Y75yFCeh/yG0i5QWMYK/Pfu9+O3nM5rqi+hwid71KxUKG29vP1KL6USffSOTYr9CH0YTatGaV8VRbjBNmySgO3bsAb2iF6Fe68kEN0kqlfbSY+l6MAnjZifeAbOH32qme/xVjncamrOmpXDhNpUBKbAzGLxexYemucHI81s5NYz0xDHELpISg7Jt9y3xR7WUvwMfO9HnPzxJsNyv0WFZNkhQo69IWo61d6CabfGCVBbqJEK4uCWzvkYscA32CevSeeb3wZPeJcAFpTcgujYqNa/A+HXYR5LOsjWB4NCivsLHRstulYlvFRcmpAPw0Ckk7vCX2tbvUOstl2J7B6SkvMxxIbPtJYmYRPnJ5UA19dhd98w3mqzZsVF7JIjDf4OEyas6uvjP66Fii5vKbSWPD59pq6C+Ls7Cada5ejyrVbBaEnA5V9hAFNjUE/jDZ0ggLnLuInlASetScmPe9O0+sW4hSDlA/3hq5/Fbj3SAnFHxnMK5bNjfxMrA0Bfd8zR2cwy0gjudI3b3Zf7oxZjkkUW1A4PqlTK1gE54xRGcQm6ekAMCDxCNcMBn87hcbYLSUdWxyk5OP7Bz5vWcmTEOniWe07lIQkt2UGT7FZZekc2qcU/Rhe9oyRKY66OKcZ4yxArE4xZEB3oC5r9dXayUKxwgB83JSNK4gVbqEKDLJ6nXFslElbpd1zPpls8Mu2A+m2TcvhGA7CcrVuS1K3mk/wCR6/4pgtD8s+myiYaVw1B0cCwcqko9+9DGIEPBuVj/UMsEEv7waPxE/0avXN/IKsASlu1Qij+QNWxmThpMcubg4OehMcmeg7yvwZ6fywShPE2iwjejM7OieqnRBZguW0/FG7yMA+UK93Wqj0GQqUWMF0LJvwFj7V/Qi6sKy7FopS/IXpkpRU8vEYjDJaFCXOnfK/QiopIWOfRaw1fC8oLUR1aVjhLtI1c8jUKZHVNrj97Bxg6W6YkYwWSojfOkN+9O2ZnP/EeuG5NCj68ZTyEcnD/9YaC9BjAHBYconp7wrWllhMcP3NqVeJfMArBOPC0Kdg8c2PctXQQp356uvl5VMr4E6oGyhE8ilrQC0/ctkr2FBDdR/35UQn81Q1E+4sUaMpqjlqUjeOpIVdkp2MmWqoZylhbNq7SorEEWpcxTUxfJkhi9aXHVh/E023PyMO+8Gn9rqlyCuTakxcxU9BLNWBj35jKBQ0R2h6cpq3vvQqebeTd2qnD9YXAxPXrcMKUSuZIkqRwBUgaeUrcy5Or7JvesV78Kr6+/KFopVHZE3GNdNg+9wv8va87aX3zEvaF+whVWoD0D16zHzM9UtiLAL2G+o4Z2TvZPraKjUwqxgzQ0Q7NLcpc40eelTXc1woPjvDttqlExCG77cWtrQ/zVTpzKIPDrZNMYLxzy0lIyF59TlrwiOtIMsCzoratNV5+yNAgs9mQ7jIu9SZf3da+9Jbiqltd89oTLGxYNGL5AzXpIstZ/MlC5j7u8ODxjfUOtm28UYbjuWwYm5EGVYiVGy2t9H9Kpkhq0NXpAPbKEbF132kS39kOPND41Ip9hZioeWo9US4U8jav1+hXWJTa9BSwpx+tF3yDmQdgfMhGZGwy7zgneKdxUXFmxOcclhK8A6YPlY+kEMjGwJ5/34zPmxoRv/qkbrMKrP2ixuViWEgAelDJN2DUGg5auI4xxiHkjWiIc3xGTsDqNmUNXefndvK6iKRVIrMrpNA3RA+JFBtkDJnE/2u5bJmt/IgewQOy0ta73AtDn26RwkLIDXKW/kfsbnwBx2OKCtNp+xRrAydhLREq/XpWStbki/LdL7ehE/XjMq7KS1Aq9dEq9IdtTn87bXt8kLzZsQFwbdgz0nUvdy3hLiVcS5TFQAstMB8f2HcmiJuqWvaXI9Q4m6J0+T7PyHcRsIxA2X98eYy+mO5BpG6ibuEO5IWW4iL+8f66N/wqsJJxNOywWUBx5/XC8cXfy8XdbE1v+wYrv5nZmV28PM8zqLXJlPHXA72ICaC260i4DbJ9aJNuw785fuFamntsVRI7yf0K1TAGMVUk+DL5usI9W5m1o1yluDa59FrvvW/Zeekz3JNrAI/cnt/HuoGAtVowUP47301RWOHlKT0VY6RRYcWbgGHQSdhaS3cb0zzpiLmqOq+dQxE91eQ7WRogJUlH2vgRbTbAZnFOylXzU45h13uvvjW1GF4y9rt5fd4hRmCDXxqSG6SPULlFMGDvwuB5NoUYPC/DtJAsKJjqE/uTmIC24YMR9KwwM50LN14mMj93608AmYYgQP6eOXGjZ3XV9kyodmPPMoBjhsqyFQy/Gl633ct7Awc4VUZtvs8mZNuV9VVahvAtNbLv7l9R13BJZS6lFGY3XY2fifIILXiBgGhvHdsm6rdeMwYY6AWSOcvWONWn1Hn1b4FbrQ3qF447B47emY3j2FbymOv/gUDBrClpvqRalgUyqonG1YBvJ1aOMdDaBeNe5uilyFoNs9hFQbvJ1sfEdqDjnJzS74u+bksbCGrGyMD23VVtHK2aO6SfJXL70CPjGBlQvaKRbi60SCzkng6qABE5XBvm6wZFicSibL3Z1lu4AG7NPcfuYZsvWrTum1y9IT6mr1uz00gS2EqGcISvJ7G1EDqQjKbfHlXupvjSK1OQjn9qwJJsyZytFJ1upAuRgGq1Rw6RNIZo6uJ/3wpxawvDUYsLPeQdjxjWATd/8xejE32DD9ksaFyEImll+HQWM/CNwLih9rEJ6jq1HqXUXSxZ/cB6bve90il9e+b3wQ8dF1fMrEqAWVfPlYMwpMHDro8yX+lGwUA28IO8+p68NtaljZIxAw3aXSHNH/GiQxWubTSjTsGRXQVEIq7jBMi6mI30UzEP+Wd6kpsNYpo8ywiCk65Q38nb7daQrn8Xgxl3bvOlBxpQ78oMS861TICOtlI9d6h9ErTdqD05n/TP7TyO3dLJt7djH7IeYgjb4H/xQQsapp1+/DXBTsnIvWOsLXpsHhtytMQu762mFThGLbprCqxd7qrpCy6RO8TeB+aV2zAtVTg9P7uS9U5yLn0LLnmGSFLw/u/Vr9AW89NUk1oUq77HrTgW78W9fFAVmWt4BJpolgLjuy6kTkO5ydK/I1jkl8NCYIIQkTiOlgCo659Fs8V6DTnSoy6tX18tIltwcM3l2vnrzMrKwSzSUNz1zgHCglIudcJ7YQ4LGbZT9qK6iy9Z43GHRXm/y1TmDXlEbCYJFiiW7WfD3bBMwIWuyT3n7dey9dXNkX+ZJ+b6J9UgV3/ssy9I1yCCfHOBdGEj0yx4LzIhQ5izr2a85aTJbFjx/h3ylySivBepe7vdzX0Cs+8cFpOLl1HjmrJBmGFPwiwX/ePoPkTUTXNyV6rpQgaCRG5EPN0JkjcwBRpL5CTTlCyfbIBxERFW+jc4vsJ3vhC5l3m1lyPBQUWzkFlinHfUMC55apKD7GYLMWWdHF3dJ3HaFYlfeKiJ7NyFcdsiibSMWQie0JVip6wE3qFR0LZwxyhBVaEXC6l+I+M5i0EZJs5vkpjKRjydFUt9erpZlKuHwYazQ98isTv4uG7QO+B6uD6tCnU4WX7SratU/r3Z84HzyLxQ6T7oFtweWwPsFmIqe9rsD3laW9dxykA+V1FHnURoxV+CfhYjp0R8Qz426pbEjooH4qyjSLQebj7o4F5/ZEDHc2DzyMWUPwuVW6nbU/ykcfFnRVaXlpCGm8jgxydDmT1etroINh57mU8wQK5ghWH9nbB6MxfwDSR1zu6Yf+2emfQ/83/IIO8htSaHvUCHWbLMhSlTg5H+UtoO1eWfN0I3b+0wAoyZbXXQ4lxwiVceDU3aGARndPOawOM8iYPAhmfBo6pXATLlZwfLv2cZ13L+ba9k96TDZKdqwzwK22MRoB23zOQVeSvAjYeSDeO2WrorkZWv76iHlNdj7DLrY+fHi+aLYikiZmE5E1lFeFloX3zzDUfegTvgkCv/gfHu7gQymmMfYPdGzu1uHdqxhiaEQ5N/PYTX5H7dfB8bbAUKh6INfWqYMv7XyoG9CghTZ6Uar5OWhgR2aGKeVt2B2EZ+dEiiSScYJgBye16i6csesk4DhK83G7EtWBG4oWEZTaHsuR4ExkSDQ/Mb1zzpSFEMCcxn2JbQebMX1L+2zU4rYVBLOq114dfxlmL1b401hgkq1pRvDsjE4NHnY/IODsWeGBkiC634Rx/WeagC+oy0taQj4UNdsyLJN8rfDOFzxkrjr3RfI9khaEBf2Vq/rjAHQ9rzsBeOgIG2/AavJ7rg/eJYHgEKyR0g3dqrsZmaY4M9yiYY/ZT2d4fAWpzDBfe7I6HnPQdp0kg7wf/5yKEjScpex4QK8pkd9EFjmAtvASLkCpnh6lsjToU3ww2rJv7qHG77BNJHqdhz9oQZYKZVEhz4/ZU+MYxhKpdabtXY+jwUQyAEmfpUzoLKTAvTtV7Kt7xkpT4DstMu8jtLnjRSUycrDZ0J0Y5LEnpc6dXCxBqfPEgP9VxcNo5RBUdQjzjkUEJJ2cUz1ZrIsz0QHfHtm3jQrfDvC54yQEOg/fXSdgReW939FoSIa/rEVGi3F8uDyB7WP8LdJe/+Dk2FRQFBaLpq59vfVkHR77jvUmq4XvqTB0vEnU1Z/WGnk7WL8O1QmLwyR7fcNmMEPZb/KRFapb81V6f8gcK2fUclzKTUpO9co4v6Msu23yXz6ngw6t8hOClwZdCjSnsiV6Q9SRKujxfQLWFLArv1hmhAXHxo9NpqjsSCeDk8zmgi3cx8kbFQ/xMb2brKduNx9VdLiXLjajuBpD6yqbrW4y4NxrguDBzZaDjpVQ2vqK8iftxDgDuGvtz7WjAQGua+wHX6LtzoIxV6rMwBAsCLXcoN4lThECYxriva4vzpU75TEGmj0Lb7O/eeB+NWaFb0rMm59+g5uWnP1O+UGQFmK7bMu6Q9CPjzxGtI/kxBs5AdUJIlt4wnXHn3tcZvR/cwmudLo29sQUndOw6115zvcjur8knBXqELXRLgLxkgAk9iAQKjZ6cPcFH63qzSUuQUC9qec7vK2Wlaeeehd9F+Y6h/mwAAm9miFWMcqjm6iIyCajWbA5tUUvOl80SosXGgwjyo0EK998dcZFy1jad32omv+1suxgA5jLl/MJ+z8EgDab7+rtmDCt/owIr6qBpbnZIoW74gxd5TqLvXl4Jz9NA62M6hNrUY7tNglrM95CgbpOgr08ncuJ2Ot5DrENbq18Fh8UymmmGdPKC9/K1QulyC5DP0AFsrBklCblrmf63sNClxbTMszbPu3MSqksk+mI5XJ3piaUwwtHKC2NWFjOcrQadc0MUTlr5G1kyQxAFszYkBKSWo09J3xSP0a1YO1zC3oF/oQItyQ2zTn9Fd6jd5jzVQh7Rv+NIaLBgVL9RXzyhB52xPctv+Vrz4RnYDSlPN0adBRK+AzlmW5O9icOxU0OP3wIpLFmcX1UIc0F1zZBgWdSzCWdGBIyvGkk0wX10q8UlHUlVZPgsOp080Go0n/mSL4y4wsk7aAp3kI13RSyi7pydCu88wxBafQZjr9c1JU9kgzJQOssT3qSl71RtaCiinF3ov/gwuAjE6f3d6k2mWR1EV+LIbjNeqoCvCPWhhRfgUL1iTpqB4+NESzdOtNHaVJ/qUk0StkfC5ci+etlRQscYy81DZS50GYO0lpqP5IFaGIrKhVger2YvC9FZzO/FyXeiEi+r4ChABxPelPB6+kgzZN5uNkydJpeSq+z3aPuxsoue+jWto/5tJtIZFPDqcn26B9LqDtblwtKbYzLWubapRdQhlIPEdrhAIckaRNY=