with(GraphTheory); N2F3STJBY3ljbGljUG9seW5vbWlhbEc2IkknQWRkQXJjR0YkSShBZGRFZGdlR0YkSSpBZGRWZXJ0ZXhHRiRJMEFkamFjZW5jeU1hdHJpeEdGJEkxQWxsUGFpcnNEaXN0YW5jZUdGJEkpQXJyaXZhbHNHRiRJM0FydGljdWxhdGlvblBvaW50c0dGJEkyQXV0b21vcnBoaXNtR3JvdXBHRiRJNUJlbGxtYW5Gb3JkQWxnb3JpdGhtR0YkSTZCaWNvbm5lY3RlZENvbXBvbmVudHNHRiRJMkJpcGFydGl0ZU1hdGNoaW5nR0YkSSdCbG9ja3NHRiRJL0Nhbm9uaWNhbEdyYXBoR0YkSTFDYXJ0ZXNpYW5Qcm9kdWN0R0YkSTlDaGFyYWN0ZXJpc3RpY1BvbHlub21pYWxHRiRJL0Nocm9tYXRpY0luZGV4R0YkSTBDaHJvbWF0aWNOdW1iZXJHRiRJNENocm9tYXRpY1BvbHlub21pYWxHRiRJN0NpcmN1bGFyQ2hyb21hdGljSW5kZXhHRiRJOENpcmN1bGFyQ2hyb21hdGljTnVtYmVyR0YkSTxDaXJjdWxhckVkZ2VDaHJvbWF0aWNOdW1iZXJHRiRJLENsaXF1ZUNvdmVyR0YkSTJDbGlxdWVDb3Zlck51bWJlckdGJEktQ2xpcXVlTnVtYmVyR0YkSTFDbGlxdWVQb2x5bm9taWFsR0YkSS5Db21wbGV0ZUdyYXBoR0YkSTRDb25uZWN0ZWRDb21wb25lbnRzR0YkSSlDb250cmFjdEdGJEktQ29udmVydEdyYXBoR0YkSSpDb3B5R3JhcGhHRiRJK0N5Y2xlQmFzaXNHRiRJK0N5Y2xlR3JhcGhHRiRJJ0RlZ3JlZUc2JCUqcHJvdGVjdGVkR0koX3N5c2xpYkdGJEkvRGVncmVlU2VxdWVuY2VHRiRJNkRlbGF1bmF5VHJpYW5ndWxhdGlvbkdGJEkqRGVsZXRlQXJjR0YkSStEZWxldGVFZGdlR0YkSS1EZWxldGVWZXJ0ZXhHRiRJK0RlcGFydHVyZXNHRiRJKURpYW1ldGVyR0YkSShEaWdyYXBoR0YkSTNEaWprc3RyYXNBbGdvcml0aG1HRiRJNURpc2NhcmRFZGdlQXR0cmlidXRlR0YkSTZEaXNjYXJkR3JhcGhBdHRyaWJ1dGVHRiRJN0Rpc2NhcmRWZXJ0ZXhBdHRyaWJ1dGVHRiRJLkRpc2pvaW50VW5pb25HRiRJKURpc3RhbmNlR0YkSTNEaXN0YW5jZVBvbHlub21pYWxHRiRJMURyYXdBdXRvbW9ycGhpc21HRiRJKkRyYXdHcmFwaEdGJEksRHJhd05ldHdvcmtHRiRJK0RyYXdQbGFuYXJHRiRJLUVjY2VudHJpY2l0eUdGJEk0RWRnZUNocm9tYXRpY051bWJlckdGJEkxRWRnZUNvbm5lY3Rpdml0eUdGJEkmRWRnZXNHRiRJLEV4cG9ydEdyYXBoR0YkSStGaW5kQ2xpcXVlR0YkSTVGaW5kSGFtaWx0b25pYW5DeWNsZUdGJEk0RmluZEhhbWlsdG9uaWFuUGF0aEdGJEkwRmluZFZlcnRleENvdmVyR0YkSS9GbG93UG9seW5vbWlhbEdGJEkxRnVuZGFtZW50YWxDeWNsZUdGJEkxR2V0RWRnZUF0dHJpYnV0ZUdGJEkuR2V0RWRnZVdlaWdodEdGJEkyR2V0R3JhcGhBdHRyaWJ1dGVHRiRJM0dldFZlcnRleEF0dHJpYnV0ZUdGJEkzR2V0VmVydGV4UG9zaXRpb25zR0YkSSZHaXJ0aEdGJEk8R2xvYmFsQ2x1c3RlcmluZ0NvZWZmaWNpZW50R0YkSSZHcmFwaEdGJEkwR3JhcGhDb21wbGVtZW50R0YkSStHcmFwaEVxdWFsR0YkSTJHcmFwaEludGVyc2VjdGlvbkdGJEkqR3JhcGhKb2luR0YkSSxHcmFwaE5vcm1hbEdGJEkwR3JhcGhQb2x5bm9taWFsR0YkSStHcmFwaFBvd2VyR0YkSSpHcmFwaFJhbmtHRiRJLkdyYXBoU3BlY3RydW1HRiRJK0dyYXBoVW5pb25HRiRJLUdyZWVkeUNsaXF1ZUdGJEksR3JlZWR5Q29sb3JHRiRJNUdyZWVkeUluZGVwZW5kZW50U2V0R0YkSSdIYXNBcmNHRiRJKEhhc0VkZ2VHRiRJL0hpZ2hsaWdodEVkZ2VzR0YkSTJIaWdobGlnaHRTdWJncmFwaEdGJEkvSGlnaGxpZ2h0VHJhaWxHRiRJMEhpZ2hsaWdodFZlcnRleEdGJEkxSGlnaGxpZ2h0ZWRFZGdlc0dGJEk0SGlnaGxpZ2h0ZWRWZXJ0aWNlc0dGJEksSW1wb3J0R3JhcGhHRiRJKUluRGVncmVlR0YkSTBJbmNpZGVuY2VNYXRyaXhHRiRJLkluY2lkZW50RWRnZXNHRiRJM0luZGVwZW5kZW5jZU51bWJlckdGJEk3SW5kZXBlbmRlbmNlUG9seW5vbWlhbEdGJEkwSW5kdWNlZFN1YmdyYXBoR0YkSS5JbnRlcnZhbEdyYXBoR0YkSSpJc0FjeWNsaWNHRiRJM0lzQW50aUFyYm9yZXNjZW5jZUdGJEkvSXNBcmJvcmVzY2VuY2VHRiRJLklzQmljb25uZWN0ZWRHRiRJLElzQmlwYXJ0aXRlR0YkSSlJc0NsaXF1ZUdGJEksSXNDb25uZWN0ZWRHRiRJKUlzQ3V0U2V0R0YkSStJc0RpcmVjdGVkR0YkSTBJc0VkZ2VDb2xvcmFibGVHRiRJK0lzRXVsZXJpYW5HRiRJKUlzRm9yZXN0R0YkSTJJc0dyYXBoaWNTZXF1ZW5jZUdGJEkuSXNIYW1pbHRvbmlhbkdGJEkvSXNJbnRlZ2VyR3JhcGhHRiRJLUlzSXNvbW9ycGhpY0dGJEkqSXNOZXR3b3JrR0YkSSlJc1BsYW5hckdGJEksSXNSZWFjaGFibGVHRiRJKklzUmVndWxhckdGJEk0SXNTdHJvbmdseUNvbm5lY3RlZEdGJEkySXNTdHJvbmdseVJlZ3VsYXJHRiRJLUlzVG91cm5hbWVudEdGJEknSXNUcmVlR0YkSS9Jc1RyaWFuZ2xlRnJlZUdGJEkzSXNUd29FZGdlQ29ubmVjdGVkR0YkSTJJc1ZlcnRleENvbG9yYWJsZUdGJEkrSXNXZWlnaHRlZEdGJEkvSXNvbW9ycGhpY0NvcHlHRiRJMktydXNrYWxzQWxnb3JpdGhtR0YkSTBMYXBsYWNpYW5NYXRyaXhHRiRJJkxhdGV4R0YkSSpMaW5lR3JhcGhHRiRJM0xpc3RFZGdlQXR0cmlidXRlc0dGJEk0TGlzdEdyYXBoQXR0cmlidXRlc0dGJEk1TGlzdFZlcnRleEF0dHJpYnV0ZXNHRiRJO0xvY2FsQ2x1c3RlcmluZ0NvZWZmaWNpZW50R0YkSS1NYWtlRGlyZWN0ZWRHRiRJLU1ha2VXZWlnaHRlZEdGJEkoTWF4Rmxvd0dGJEkuTWF4aW11bUNsaXF1ZUdGJEkuTWF4aW11bURlZ3JlZUdGJEk2TWF4aW11bUluZGVwZW5kZW50U2V0R0YkSTBNYXhpbXVtTWF0Y2hpbmdHRiRJNE1pbmltYWxTcGFubmluZ1RyZWVHRiRJLk1pbmltdW1EZWdyZWVHRiRJM01pbmltdW1WZXJ0ZXhDb3ZlckdGJEkqTXljaWVsc2tpR0YkSS1OZWlnaGJvcmhvb2RHRiRJKk5laWdoYm9yc0dGJEk0Tm9uSXNvbW9ycGhpY0dyYXBoc0dGJEkuTnVtYmVyT2ZFZGdlc0dGJEk2TnVtYmVyT2ZTcGFubmluZ1RyZWVzR0YkSTFOdW1iZXJPZlZlcnRpY2VzR0YkSSlPZGRHaXJ0aEdGJEkqT3V0RGVncmVlR0YkSSpQYXRoR3JhcGhHRiRJMFBlcm11dGVWZXJ0aWNlc0dGJEkqUGxhbmVEdWFsR0YkSS9Qcmltc0FsZ29yaXRobUdGJEknUmFkaXVzR0YkSS1SYW5kb21HcmFwaHNHRiRJL1JhbmtQb2x5bm9taWFsR0YkSSpSZWFjaGFibGVHRiRJMFJlbGFiZWxWZXJ0aWNlc0dGJEk2UmVsaWFiaWxpdHlQb2x5bm9taWFsR0YkSS1SZXZlcnNlR3JhcGhHRiRJL1NlaWRlbFNwZWN0cnVtR0YkSS1TZWlkZWxTd2l0Y2hHRiRJLlNlcXVlbmNlR3JhcGhHRiRJMVNldEVkZ2VBdHRyaWJ1dGVHRiRJLlNldEVkZ2VXZWlnaHRHRiRJMlNldEdyYXBoQXR0cmlidXRlR0YkSTNTZXRWZXJ0ZXhBdHRyaWJ1dGVHRiRJM1NldFZlcnRleFBvc2l0aW9uc0dGJEktU2hvcnRlc3RQYXRoR0YkSTNTcGFubmluZ1BvbHlub21pYWxHRiRJLVNwYW5uaW5nVHJlZUdGJEkuU3BlY2lhbEdyYXBoc0dGJEk8U3Ryb25nbHlDb25uZWN0ZWRDb21wb25lbnRzR0YkSSpTdWJkaXZpZGVHRiRJKVN1YmdyYXBoR0YkSS5UZW5zb3JQcm9kdWN0R0YkSS5Ub3BvbG9naWNTb3J0R0YkSSZUcmFpbEdGJEkyVHJhbnNpdGl2ZUNsb3N1cmVHRiRJNFRyYW5zaXRpdmVSZWR1Y3Rpb25HRiRJMlRyYXZlbGluZ1NhbGVzbWFuR0YkSStUcmVlSGVpZ2h0R0YkSTBUdXR0ZVBvbHlub21pYWxHRiRJO1R3b0VkZ2VDb25uZWN0ZWRDb21wb25lbnRzR0YkSTBVbmRlcmx5aW5nR3JhcGhHRiRJM1ZlcnRleENvbm5lY3Rpdml0eUdGJEkyVmVydGV4Q292ZXJOdW1iZXJHRiRJKVZlcnRpY2VzR0YkSS1XZWlnaHRNYXRyaXhHRiQ= Dg := Digraph([1,2,3,4,5,6],{[1,2],[1,5],[2,4],[3,1],[3,2],[4,6],[5,3],[6,2]}); LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSNEZ0dGKElcb0dyYXBofjM6fmF+ZGlyZWN0ZWR+dW53ZWlnaHRlZH5ncmFwaH53aXRofjZ+dmVydGljZXN+YW5kfjh+YXJjKHMpR0YoNyMtSShHUkFQSExOR0YlNihJKWRpcmVjdGVkR0YoSSt1bndlaWdodGVkR0YoNygiIiIiIiMiIiQiIiUiIiYiIictSSZBcnJheUdGJjYjL0kkJWlkR0YoIjVJMS91Wjdablc9STBHUkFQSExOL3RhYmxlLzdHRigiIiE= DrawGraph(Dg); NkUtJSlQT0xZR09OU0c2JjdgcTckJCIxJEglKVJ0Kj4mRyYhIzskIiM1ISIiNyQkIjEjb01vPnJYRyYhIzskIjIlZk9vNkMqPSsiISM7NyQkIjEzJFtqZi5JRyYhIzskIjJYWSMqZVxLTisiISM7NyQkIjFQVExdRjYhRyYhIzskIjJFUVckKWVpYCsiISM7NyQkIjFQUWM6KTNnRiYhIzskIjJLWHVxJD49MjUhIzs3JCQiMXlQOi9DdnFfISM7JCIyKEdqJmY6aSozNSEjOzckJCIxMVExLVImW0UmISM7JCIyamRZTiopeTAsIiEjOzckJCIxIz5jaE9JeEQmISM7JCIyZV9pcUU3QSwiISM7NyQkIjElKVtTOl9JXF8hIzskIjJwOXUyR15RLCIhIzs3JCQiMWAhKVwvNigpUl8hIzskIjIjZW8nKilbRmEsIiEjOzckJCIxekcjNDZIIkhfISM7JCIycztzQyg+KXAsIiEjOzckJCIxOHpmS0ckKT1fISM7JCIyQzZbamoqRz01ISM7NyQkIjFbX05vPE4xXyEjOyQiMVwxJyo0cW8+NSEjOjckJCIwIjReb00jSD4mISM6JCIyLGEjPkNZK0A1ISM7NyQkIjFjXXE9eT16XiEjOyQiMi11IipHKHo9QTUhIzs3JCQiMSlRYS5sJjNtXiEjOyQiMnkuMVwrJj1CNSEjOzckJCIxa255MyMqeVxeISM7JCIyTyI+LV4ocFUtIiEjOzckJCIxbUgib2xHYTgmISM7JCIyMXEvZlIqNEQ1ISM7NyQkIjFUJjRmN14iPV4hIzskIjJBdlNQXWRmLSIhIzs3JCQiMWhgYHRSUy1eISM7JCIwUU4iKTQ9bS0iISM5NyQkIjE5VGpCbXElMyYhIzskIjJYdmAoM0lCRjUhIzs3JCQiMTF3JltrOHYxJiEjOyQiMjolUSd6TTR4LSIhIzs3JCQiMUMhKj0iKlJIXF0hIzskIjJ5Rk5VdSE0RzUhIzs3JCQiMCJlb0BlUEtdISM6JCIyTCY0dTdjTEc1ISM7NyQkIjFKQTkkcCkqUiwmISM7JCIyN20ydGYmW0c1ISM7NyQkIjFfWF5BIlxbKlwhIzskIjB1QzxLOiZHNSEjOTckJCIxYDVCVF8+eVwhIzskIjItPjt6XE8lRzUhIzs3JCQiMSkpXEclKlJIZ1whIzskIjJGJHAxQ0FDRzUhIzs3JCQiMU8yeCVIbj4lXCEjOyQiMjpHPFlJQnotIiEjOzckJCIxWGtsbGxGQ1whIzskIjFWaz9PalxGNSEjOjckJCIyeEsvY2lfdSFcISM8JCIyZVZZSGp3cC0iISM7NyQkIjFAIWV4YCk9KilbISM7JCIyWCopM1NAemktIiEjOzckJCIwVDtCOz5LKFshIzokIjFsOCdcNlpiLSIhIzo3JCQiMUNLSzw0cWNbISM7JCIyVGNPLV9lWS0iISM7NyQkIjFaJ29fTG1BJVshIzskIjJaTCRcKTRoUC0iISM7NyQkIjJOdV08TEdyI1shIzwkIjFLcilbYCRvQTUhIzo3JCQiMlZ5QmRnYE4iWyEjPCQiMidvJSl5PjtlQDUhIzs3JCQiMWkjM2ckUjYrWyEjOyQiMSgpeWFvSk0/NSEjOjckJCIxUiNvMU1ueHklISM7JCIyPERhJGU6MD41ISM7NyQkIjEtR1xPXHR2WiEjOyQiMihwKD13Sz53LCIhIzs3JCQiMVUpeUV4ZF13JSEjOyQiMiVmS3MhPm9oLCIhIzs3JCQiMXV0MGcoM152JSEjOyQiMjNgVU1ePFksIiEjOzckJCIxJHlbYE1eaXUlISM7JCIxZnZGNyU+SSwiISM6NyQkIjBSIXo5KEghUlohIzokIjI9KnpUXk9dNjUhIzs3JCQiMSc9KSpSaW09dCUhIzskIjJlI0dhMXhyNDUhIzs3JCQiMWNsQiU0JFxFWiEjOyQiMiU0JUdAaCMzMzUhIzs3JCQiMndHKFsiUmg9cyUhIzwkIi40TClwSTE1ISM3NyQkIjJjb2l5YDEmPVohIzwkIjElKXosREhlLzUhIzo3JCQiMEJAc29LZ3IlISM6JCIxT1MnKilcW0UrIiEjOjckJCIxV1kmXCNIJ1xyJSEjOyQiMi1EJkgmNGo0KyIhIzs3JCQiMSQqUXNSKGZcciUhIzskIjFhalMkeWovKioqISM7NyQkIjIuLiFIOSR5Z3IlISM8JCIxQzc+IUdJSSgqKiEjOzckJCIxTl87JVxAJj1aISM7JCIxc0I/eip5UyYqKiEjOzckJCIxKkdbV2BYO3MlISM7JCIxPClmIm8oKil5JCoqISM7NyQkIjI5MjIqPWVMRVohIzwkIjFRXU0qKnpxPioqISM7NyQkIjJhWGhAKyQqPnQlISM8JCIxeS00TVxaLSoqISM7NyQkIjJEVzY3VEgoUVohIzwkIjF3Iik0dXJrJikpKiEjOzckJCIxSksiM2ghXFlaISM7JCIxeS9eKmZTJHApKiEjOzckJCIxbiZ5TlcvXHYlISM7JCIxeCpldXFuVCYpKiEjOzckJCIxJSpcTkojPl13JSEjOyQiMTkiKio+NnUkUSkqISM7NyQkIjInPVlDJ3owY3glISM8JCIxMV9BQTcoUiMpKiEjOzckJCIyMSc0MWkpKXAoeSUhIzwkIjEmKVtnRzJjNCkqISM7NyQkIjF0by4kM1clKnolISM7JCIxR2I+bidHc3oqISM7NyQkIjBCQzwoW0Q4WyEjOiQiMVhKd1ZBVyV5KiEjOzckJCIxOlU9eGxDRlshIzskIjB1XVpldUl4KiEjOjckJCIxM2J1Jio+Kj0lWyEjOyQiMFowKFF6amkoKiEjOjckJCIxPDAkPVtmeSZbISM7JCIwIypRczlYRnYqISM6NyQkIjFgV2dUSzZ0WyEjOyQiMUwtRlU5ZVcoKiEjOzckJCIyPFdjeG49IyopWyEjPCQiMWldI0c6Jj5QKCohIzs3JCQiMDZ0NjYmXDJcISM6JCIwLWwqKTQ+LXQqISM6NyQkIjElWyhbTDJVQ1whIzskIjBYV2IocCpccyohIzo3JCQiMSl5Lz5PSj8lXCEjOyQiMWAuXFlPdj8oKiEjOzckJCIyJj1lInlNIT1nXCEjPCQiMWk/SmdQZjwoKiEjOzckJCIyRSMzVmE2LHhcISM8JCIxViE0ZEhHZHIqISM7NyQkIjEjSGclWysvJipcISM7JCIxWD8qeVJWW3IqISM7NyQkIjEmZSMpKUc6JkgsJiEjOyQiMTlQNyZcJTQ6KCohIzs3JCQiMSc9TD8oRzBLXSEjOyQiMVsvSGZyZzsoKiEjOzckJCIxKGZGOWcieltdISM7JCIxMXlmZ1srPigqISM7NyQkIjEieUlkeSgpeTEmISM7JCIwYjhzJXoqSHMqISM6NyQkIjF1I3lCU11bMyYhIzskIjEmZi5jbjl4cyohIzs3JCQiMVtCJWUpZkosXiEjOyQiMWtCVixJU0woKiEjOzckJCIxVCVvJypIKWY9XiEjOyQiMTwwam8qRzF1KiEjOzckJCIwdS54b05hOCYhIzokIi9PdE0pNCFcKCohIzk3JCQiMXkwQE5gQ11eISM7JCIxeSVbbWYlZWQoKiEjOzckJCIxLkQpejR6YDsmISM7JCIxKCkpZSFRYWtuKCohIzs3JCQiMWxsclA3XXpeISM7JCIxMDpEXlBQeSgqISM7NyQkIjFiSSdlM0NTPiYhIzskIjFcI1tnKipwNHoqISM7NyQkIjFrTFVXNyllPyYhIzskIjEoSFVAKnlqLSkqISM7NyQkIjFvUTlISWo9XyEjOyQiMChmaVJbJ28iKSohIzo3JCQiMUQnUT1wRShIXyEjOyQiMSI0ay9hKik0JCkqISM7NyQkIjFAISlHS2EiKVJfISM7JCIwWGlRZVFjJSkqISM6NyQkIjFoeTEmR3kqW18hIzskIjBQaiYpUSs0JykqISM6NyQkIjAsZio9V0tkXyEjOiQiMTY/bWpVLXgpKiEjOzckJCIxTmBuaj4ubF8hIzskIjEjb3BYJnpsJSopKiEjOzckJCIxdTVcKUdSNUYmISM7JCIxKTNAOyQpXDciKiohIzs3JCQiMXItISpRPCZmRiYhIzskIjA7ZVlqaHojKiohIzo3JCQiMUQ0dU5WMSFHJiEjOyQiMS5zLlM9N1kqKiEjOzckJCIxPV9eNyJ5SEcmISM7JCIxViVcWlpyVycqKiEjOzckJCIwaWA6JTRkJUcmISM6JCIwRG9aL3M1KSoqISM6NyQkIjEkSCUpUnQqPiZHJiEjOyQiMiMpUkIrKysrKyIhIzstJSZDT0xPUkc2JiUkUkdCRyQiJ151IykhIickIidedSMpISInJCInXnUjKSEiJy0lKlRISUNLTkVTU0c2IyIiIS0lJlNUWUxFRzYjJSZQQVRDSEctJSlQT0xZR09OU0c2JjdgcTckJCIxI0glKVx2RWBoKiEjOyQiI3YhIiM3JCQiMSNvTXlAKXA5JyohIzskIjElZk9vNkMqPXYhIzs3JCQiMTMkW3RoSUpoKiEjOyQiMVdZIyplXEtOdiEjOzckJCIxUFRMcihSLWgqISM7JCIxRFFXJCllaWB2ISM7NyQkIjFQUWNPZTgxJyohIzskIjFNWHVxJD49ZCghIzs3JCQiMXlQOkQlejNnKiEjOyQiMSZHaiZmOmkqZSghIzs3JCQiMTFRMUI0KVxmKiEjOyQiMWlkWU4qKXkwdyEjOzckJCIxIz5jclFkeWUqISM7JCIxZV9pcUU3QXchIzs3JCQiMSQpW1NPQVZ6JiohIzskIjFwOXUyR15RdyEjOzckJCIxYCEpXEQiKSoqcCYqISM7JCIxImVvJyopW0ZhdyEjOzckJCIxekcjPjhjI2YmKiEjOyQiMXM7c0MoPilwdyEjOzckJCIxOHpmYClmKlsmKiEjOyQiMUI2W2pqKkdvKCEjOzckJCIxWl9OKnl5a2AqISM7JCIxIlwxJyo0cW9wKCEjOzckJCIwIjReKltdSV8qISM6JCIvYSM+Q1krcighIzk3JCQiMWJdcVJbSjQmKiEjOyQiMS11IipHKHo9cyghIzs3JCQiMSlRYThuN2lcKiEjOyQiMXkuMVwrJj10KCEjOzckJCIxam55SGkiKnolKiEjOyQiMU8iPi1eKHBVeCEjOzckJCIxbUgieW5iYlkqISM7JCIxMHEvZlIqNHYoISM7NyQkIjFUJjRwOXkjWyUqISM7JCIxQXZTUF1kZnghIzs3JCQiMWhgYCUqNGBLJSohIzskIjEsUU4iKTQ9bXghIzs3JCQiMTlUaldPJFtUKiEjOyQiMVh2YCgzSUJ4KCEjOzckJCIxMXcmZW1Td1IqISM7JCIxOiVRJ3pNNHh4ISM7NyQkIjFDISo9NzVVeiQqISM7JCIxeUZOVXUhNHkoISM7NyQkIjAiZW9VR11pJCohIzokIjFNJjR1N2NMeSghIzs3JCQiMUpBOTlkN1ckKiEjOyQiMTdtMnRmJlt5KCEjOzckJCIxX1heVmgoXEsqISM7JCIvdUM8SzomeSghIzk3JCQiMV81QmlBSzMkKiEjOyQiMS0+O3pcTyV5KCEjOzckJCIxKSlcRzo1VSFIKiEjOyQiMUUkcDFDQUN5KCEjOzckJCIxTzJ4OlY0cyMqISM7JCIxOkc8WUlCenghIzs3JCQiMVlrbCdlLldEKiEjOyQiMUpXMWlMJ1x4KCEjOzckJCIxRlZnWSd6dkIqISM7JCIxZlZZSGp3cHghIzs3JCQiMUAhZShlYko+IyohIzskIjFaKikzU0B6aXghIzs3JCQiMFQ7TD1ZTD8qISM6JCIxXk9oXDZaYnghIzs3JCQiMUJLS1F6I289KiEjOyQiMGtsQj8mZVl4ISM6NyQkIjFaJ29pTiRScyIqISM7JCIxWkwkXCk0aFB4ISM7NyQkIjFXMnZfYERkIiohIzskIjBLcilbYCRvcyghIzo3JCQiMSZ5Qm5pIW9WIiohIzskIjEnbyUpeT47ZXIoISM7NyQkIjFoIzNxJjRDSSIqISM7JCIwKCl5YW9KTXEoISM6NyQkIjBDbztPJSp5NiohIzokIjE6RGEkZTowcCghIzs3JCQiMS1HXGQ+J2U1KiEjOyQiMSdwKD13Sz53dyEjOzckJCIxVCl5T3olPSY0KiEjOyQiMSRmS3MhPm9odyEjOzckJCIxdXQwInlOXzMqISM7JCIxM2BVTV48WXchIzs3JCQiMSR5W2pPeWoyKiEjOyQiMSNmdkY3JT5JdyEjOzckJCIwUiF6Tm46cCEqISM6JCIxPSp6VF5PXWgoISM7NyQkIjEnPSkqXGskKj4xKiEjOyQiMWUjR2ExeHJmKCEjOzckJCIxY2xCOixpYyEqISM7JCIxJjQlR0BoIzNlKCEjOzckJCIxKEcoWzclKSk+MCohIzskIjEqKioqM0wpcEljKCEjOzckJCIxJm9pKWVOalshKiEjOyQiMVQpeixESGVhKCEjOzckJCIwQkAjMyhmaC8qISM6JCIxaC5rKilcW0V2ISM7NyQkIjFXWSZmJSoqM1ghKiEjOyQiMS1EJkgmNGo0diEjOzckJCIxJCpRc2duM1ghKiEjOyQiMWFqUyR5ai9cKCEjOzckJCIxSitITmA/WSEqISM7JCIxQzc+IUdJSVooISM7NyQkIjFNXzs6JlsnWyEqISM7JCIxc0I/eip5U1goISM7NyQkIjEqR1thYnM8MCohIzskIjE8KWYibygqKXlWKCEjOzckJCIxcnEhKlJHWWMhKiEjOyQiMVFdTSoqenE+dSEjOzckJCIxYjk7Qis3aSEqISM7JCIxeS00TVxaLXUhIzs3JCQiMVY5QEtrJilvISohIzskIjF3Iik0dXJrJlEoISM7NyQkIjFKSyI9ajxtMiohIzskIjF5L14qZlMkcHQhIzs3JCQiMW4meVhZSl0zKiEjOyQiMXgqZXVxblROKCEjOzckJCIxJSpcTl9pOSY0KiEjOyQiMTkiKio+NnUkUXQhIzs3JCQiMT1ZQzxHdDAiKiEjOyQiMTFfQUE3KFJLKCEjOzckJCIwJzQxJCllI3k2KiEjOiQiMSYpW2dHMmM0dCEjOzckJCIxdG8uLzZkSCIqISM7JCIxR2I+bidHc0goISM7NyQkIjFIVXMjKj1RViIqISM7JCIxWEp3VkFXJUcoISM7NyQkIjE6VT0pZnR0OiohIzskIjB1XVpldUlGKCEjOjckJCIxMmJ1OyE+PzwqISM7JCIwWjAoUXpqaXMhIzo3JCQiMTswJEddJyl6PSohIzskIjAjKlFzOVhGRCghIzo3JCQiMWBXZ2ktQy4jKiEjOyQiMUwtRlU5ZVdzISM7NyQkIjFUa3YpcFgkPiMqISM7JCIxaV0jRzomPlBzISM7NyQkIjA2dEA4QXdCKiEjOiQiMC1sKik0Pi1CKCEjOjckJCIxJVsoW2F4YWEjKiEjOyQiMFhXYihwKlxBKCEjOjckJCIxKXkvSFFlQEYqISM7JCIxYC5cWU92P3MhIzs3JCQiMT1lIilvdEkhSCohIzskIjFpP0pnUGY8cyEjOzckJCIxQTNWdiJRckkqISM7JCIxViE0ZEhHZEAoISM7NyQkIjEjSGclcHE7RCQqISM7JCIxWD8qeVJWW0AoISM7NyQkIjEmZSMpKVwmeUlNKiEjOyQiMTlQNyZcJTQ6cyEjOzckJCIxJz1MSSopekBPKiEjOyQiMVsvSGZyZztzISM7NyQkIjEoZkZDaT0qeSQqISM7JCIxMXlmZ1srPnMhIzs3JCQiMSJ5SW4hWywpUiohIzskIjBiOHMleipIQSghIzo3JCQiMXQjeUxVeFxUKiEjOyQiMSZmLmNuOXhBKCEjOzckJCIxW0IlbytWOVYqISM7JCIxa0JWLElTTHMhIzs3JCQiMVQlbzFLRChbJSohIzskIjE8MGpvKkcxQyghIzs3JCQiMHUuKDNGY2wlKiEjOiQiL090TSk0IVxzISM5NyQkIjF5MEBjQlAhWyohIzskIjF5JVttZiVlZHMhIzs3JCQiMS5EKSo9aF0mXCohIzskIjEoKSllIVFha25zISM7NyQkIjFsbHJlI0cnNCYqISM7JCIxMDpEXlBQeXMhIzs3JCQiMWJJJ281XlRfKiEjOyQiMVwjW2cqKnA0SCghIzs3JCQiMWtMVWwjM2dgKiEjOyQiMShIVUAqeWotdCEjOzckJCIxblE5XSt3WyYqISM7JCIwKGZpUlsnb0ooISM6NyQkIjFEJ1FHcmApZiYqISM7JCIxIjRrL2EqKTRMKCEjOzckJCIxQCEpR2BDJSpwJiohIzskIjBYaVFlUWNNKCEjOjckJCIxaHkxMWA1eiYqISM7JCIwUGomKVErNE8oISM6NyQkIjE0IWYqUjlYKGUqISM7JCIxNj9talUteHQhIzs3JCQiMU5gbiUpKmVeZiohIzskIjEjb3BYJnpsJVIoISM7NyQkIjF1NVw0ajssJyohIzskIjEpM0A7JClcN1QoISM7NyQkIjFyLSEqZih5Z2cqISM7JCIwO2VZamh6VSghIzo3JCQiMUQ0dWM4PjUnKiEjOyQiMS5zLlM9N1l1ISM7NyQkIjE9X15MXjU4JyohIzskIjFWJVxaWnJXWSghIzs3JCQiMGlgRCd6cDknKiEjOiQiMERvWi9zNVsoISM6NyQkIjEjSCUpXHZFYGgqISM7JCIxIylSQisrKyt2ISM7LSUmQ09MT1JHNiYlJFJHQkckIidedSMpISInJCInXnUjKSEiJyQiJ151IykhIictJSpUSElDS05FU1NHNiMiIiEtJSZTVFlMRUc2IyUmUEFUQ0hHLSUpUE9MWUdPTlNHNiY3YHE3JCQiMSNIJSlcdkVgaCohIzskIisqKioqKioqXCMhIzU3JCQiMSNvTXlAKXA5JyohIzskIjJXZk9lNkMqPUQhIzw3JCQiMTMkW3RoSUpoKiEjOyQiMVdZI3omXEtORCEjOzckJCIxUFRMcihSLWgqISM7JCIxRFFXIyllaWBEISM7NyQkIjFQUWNPZTgxJyohIzskIjJOYFcocCQ+PWQjISM8NyQkIjF5UDpEJXozZyohIzskIjJhR2omZTppKmUjISM8NyQkIjExUTFCNClcZiohIzskIjI5d2xXJCopeTBFISM8NyQkIjEjPmNyUWR5ZSohIzskIjFlX2lwRTdBRSEjOzckJCIxJClbU09BVnomKiEjOyQiMXA5dTFHXlFFISM7NyQkIjFgISlcRCIpKipwJiohIzskIjEiZW8nKSlbRmFFISM7NyQkIjF6RyM+OGMjZiYqISM7JCIxcjtzQig+KXBFISM7NyQkIjE4emZgKWYqWyYqISM7JCIyTzciW2lqKkdvIyEjPDckJCIxWl9OKnl5a2AqISM7JCIxIlwxJyk0cW9wIyEjOzckJCIwIjReKltdSV8qISM6JCIyMVNENENZK3IjISM8NyQkIjFiXXFSW0o0JiohIzskIjEtdSJ6c3o9cyMhIzs3JCQiMSlRYThuN2lcKiEjOyQiMnZQZyFbKyY9dCMhIzw3JCQiMWpueUhpIip6JSohIzskIjJrOD4jNHZwVUYhIzw3JCQiMW1IInluYmJZKiEjOyQiMTBxL2VSKjR2IyEjOzckJCIxVCY0cDl5I1slKiEjOyQiMUF2U09dZGZGISM7NyQkIjFoYGAlKjRgSyUqISM7JCIyMiFRTiEpND1tRiEjPDckJCIxOVRqV08kW1QqISM7JCIxV3ZgJzNJQngjISM7NyQkIjExdyZlbVN3UiohIzskIjE6JVEneU00eEYhIzs3JCQiMUMhKj03NVV6JCohIzskIjImeUZOVHUhNHkjISM8NyQkIjAiZW9VR11pJCohIzokIjFNJjRrN2NMeSMhIzs3JCQiMUpBOTlkN1ckKiEjOyQiMTdtMnNmJlt5IyEjOzckJCIxX1heVmgoXEsqISM7JCIyJypSWmlAYF55IyEjPDckJCIxXzVCaUFLMyQqISM7JCIxLD47eVxPJXkjISM7NyQkIjEpKVxHOjVVIUgqISM7JCIyYUtwJ1JBVSN5IyEjPDckJCIxTzJ4OlY0cyMqISM7JCIxO0c8WElCekYhIzs3JCQiMVlrbCdlLldEKiEjOyQiMUpXMWhMJ1x4IyEjOzckJCIxRlZnWSd6dkIqISM7JCIxZlZZR2p3cEYhIzs3JCQiMUAhZShlYko+IyohIzskIjJsJSopM1JAemlGISM8NyQkIjBUO0w9WUw/KiEjOiQiMGw4J1s2WmJGISM6NyQkIjFCS0tReiNvPSohIzskIjBrbDg/JmVZRiEjOjckJCIxWidvaU4kUnMiKiEjOyQiMnRNTFIpNGhQRiEjPDckJCIxVzJ2X2BEZCIqISM7JCIyLktyeU1Ob3MjISM8NyQkIjEmeUJuaSFvViIqISM7JCIyY28lKW8+O2VyIyEjPDckJCIxaCMzcSY0Q0kiKiEjOyQiMi4oKXlXb0pNcSMhIzw3JCQiMENvO08lKnk2KiEjOiQiMmBeVURlOjBwIyEjPDckJCIxLUdcZD4nZTUqISM7JCIxJ3AoPXZLPndFISM7NyQkIjFUKXlPeiU9JjQqISM7JCIxJGZLaSE+b2hFISM7NyQkIjF1dDAieU5fMyohIzskIjJ2SURNOHZoayMhIzw3JCQiMSR5W2pPeWoyKiEjOyQiMSNmdjw3JT5JRSEjOzckJCIwUiF6Tm46cCEqISM6JCIxPSp6Sl5PXWgjISM7NyQkIjEnPSkqXGskKj4xKiEjOyQiMnhER1cxeHJmIyEjPDckJCIxY2xCOixpYyEqISM7JCIxJjQlRz9oIzNlIyEjOzckJCIxKEcoWzclKSk+MCohIzskIjInKSoqKjNLKXBJYyMhIzw3JCQiMSZvaSllTmpbISohIzskIjIyJSl6IlwjSGVhIyEjPDckJCIwQkAjMyhmaC8qISM6JCIwT1MnKSlcW0VEISM6NyQkIjFXWSZmJSoqM1ghKiEjOyQiMS1EJj4mNGo0RCEjOzckJCIxJCpRc2duM1ghKiEjOyQiMk9OMUN5ai9cIyEjPDckJCIxSitITmA/WSEqISM7JCIyVkEiPnotLnRDISM8NyQkIjFNXzs6JlsnWyEqISM7JCIxc0I/eSp5U1gjISM7NyQkIjEqR1thYnM8MCohIzskIjJsIilmcncqKXlWIyEjPDckJCIxcnEhKlJHWWMhKiEjOyQiMncuWCQpKnpxPkMhIzw3JCQiMWI5O0IrN2khKiEjOyQiMXktNExcWi1DISM7NyQkIjFWOUBLayYpbyEqISM7JCIyZDwpNHRyayZRIyEjPDckJCIxSksiPWo8bTIqISM7JCIxeS9eKWZTJHBCISM7NyQkIjFuJnlYWUpdMyohIzskIjJ2KCpla3FuVE4jISM8NyQkIjElKlxOX2k5JjQqISM7JCIyVzYqKjQ2dSRRQiEjPDckJCIxPVlDPEd0MCIqISM7JCIxMV9BQDcoUksjISM7NyQkIjAnNDEkKWUjeTYqISM6JCIxJilbZ0YyYzRCISM7NyQkIjF0by4vNmRIIiohIzskIjFGYj5tJ0dzSCMhIzs3JCQiMUhVcyMqPVFWIiohIzskIjJXOWpGQ1VXRyMhIzw3JCQiMTpVPSlmdHQ6KiEjOyQiMVQydiRldUlGIyEjOzckJCIxMmJ1OyE+PzwqISM7JCIxcGFxUHpqaUEhIzs3JCQiMTswJEddJyl6PSohIzskIjIxIypRaTlYRkQjISM8NyQkIjFgV2dpLUMuIyohIzskIjFLLUZUOWVXQSEjOzckJCIxVGt2KXBYJD4jKiEjOyQiMj0xRD06Jj5QQSEjPDckJCIwNnRAOEF3QiohIzokIjAtbHo0Pi1CIyEjOjckJCIxJVsoW2F4YWEjKiEjOyQiMFhXWChwKlxBIyEjOjckJCIxKXkvSFFlQEYqISM7JCIxYC5cWE92P0EhIzs3JCQiMT1lIilvdEkhSCohIzskIjI9MTckZlBmPEEhIzw3JCQiMUEzVnYiUXJJKiEjOyQiMVYhNFpIR2RAIyEjOzckJCIxI0hnJXBxO0QkKiEjOyQiMlgvIypvUlZbQCMhIzw3JCQiMSZlIykpXCZ5SU0qISM7JCIyT3JCVFwlNDpBISM8NyQkIjEnPUxJKil6QE8qISM7JCIyelchSGVyZztBISM8NyQkIjEoZkZDaT0qeSQqISM7JCIxMXlmZlsrPkEhIzs3JCQiMSJ5SW4hWywpUiohIzskIjItYjhpJXoqSEEjISM8NyQkIjF0I3lMVXhcVCohIzskIjJgZi5Zbjl4QSMhIzw3JCQiMVtCJW8rVjlWKiEjOyQiMk5PSy8rLk1CIyEjPDckJCIxVCVvMUtEKFslKiEjOyQiMnNeSXcnKkcxQyMhIzw3JCQiMHUuKDNGY2wlKiEjOiQiL090TCk0IVxBISM5NyQkIjF5MEBjQlAhWyohIzskIjJ2WltjZiVlZEEhIzw3JCQiMS5EKSo9aF0mXCohIzskIjJuKSllcVZYd0UjISM8NyQkIjFsbHJlI0cnNCYqISM7JCIyWF1eLXZ0JHlBISM8NyQkIjFiSSdvNV5UXyohIzskIjFcI1tdKipwNEgjISM7NyQkIjFrTFVsIzNnYCohIzskIjEoSFU2KnlqLUIhIzs3JCQiMW5ROV0rd1smKiEjOyQiMiVwZmlRWydvSiMhIzw3JCQiMUQnUUdyYClmJiohIzskIjI8NGslUiYqKTRMIyEjPDckJCIxQCEpR2BDJSpwJiohIzskIjIsWGlHZVFjTSMhIzw3JCQiMWh5MTFgNXomKiEjOyQiMiVwTGMoUSs0TyMhIzw3JCQiMTQhZipSOVgoZSohIzskIjE2P21pVS14QiEjOzckJCIxTmBuJSkqZV5mKiEjOyQiMkBvcE4memwlUiMhIzw3JCQiMXU1XDRqOywnKiEjOyQiMiQpM0AxJClcN1QjISM8NyQkIjFyLSEqZih5Z2cqISM7JCIwO2VPamh6VSMhIzo3JCQiMUQ0dWM4PjUnKiEjOyQiMS5zLlI9N1lDISM7NyQkIjE9X15MXjU4JyohIzskIjJPV1xQWnJXWSMhIzw3JCQiMGlgRCd6cDknKiEjOiQiMipcI29QL3M1WyMhIzw3JCQiMSNIJSlcdkVgaCohIzskIjI7KVJCKioqKioqKlwjISM8LSUmQ09MT1JHNiYlJFJHQkckIidedSMpISInJCInXnUjKSEiJyQiJ151IykhIictJSpUSElDS05FU1NHNiMiIiEtJSZTVFlMRUc2IyUmUEFUQ0hHLSUpUE9MWUdPTlNHNiY3YHE3JCQiMSRIJSlSdCo+JkcmISM7JCIiISEiIjckJCIxI29Nbz5yWEcmISM7JCIyQ1VmT282Qyo9ISM+NyQkIjEzJFtqZi5JRyYhIzskIjJuU2tDKmVcS04hIz43JCQiMVBUTF1GNiFHJiEjOyQiMGEjUVckKWVpYCEjPDckJCIxUFFjOikzZ0YmISM7JCIxZExYdXEkPj0oISM9NyQkIjF5UDovQ3ZxXyEjOyQiMWMmR2omZjppKikhIz03JCQiMTFRMS1SJltFJiEjOyQiMTx3bGEkKil5MCIhIzw3JCQiMSM+Y2hPSXhEJiEjOyQiMXpERDFuQUA3ISM8NyQkIjElKVtTOl9JXF8hIzskIjJBcDl1MkdeUSIhIz03JCQiMWAhKVwvNigpUl8hIzskIjAiZW8nKilbRmEiISM7NyQkIjF6RyM0NkgiSF8hIzskIjImNG5AWnM+KXAiISM9NyQkIjE4emZLRyQpPV8hIzskIjFONyJbamoqRz0hIzw3JCQiMVtfTm88TjFfISM7JCIxNFwxJyo0cW8+ISM8NyQkIjAiNF5vTSNIPiYhIzokIjJVK2EjPkNZK0AhIz03JCQiMWNdcT15PXpeISM7JCIwLXUiKkcoej1BISM7NyQkIjEpUWEubCYzbV4hIzskIjJheC4xXCsmPUIhIz03JCQiMWtueTMjKnlcXiEjOyQiMmVPIj4tXihwVSMhIz03JCQiMW1IIm9sR2E4JiEjOyQiMi0wcS9mUio0RCEjPTckJCIxVCY0ZjdeIj1eISM7JCIxQF8ydS52JmYjISM8NyQkIjFoYGB0UlMtXiEjOyQiMmErUU4iKTQ9bSMhIz03JCQiMTlUakJtcSUzJiEjOyQiMi1XdmAoM0lCRiEjPTckJCIxMXcmW2s4djEmISM7JCIxX1RRJ3pNNHgjISM8NyQkIjFDISo9IipSSFxdISM7JCIyTHlGTlV1ITRHISM9NyQkIjAiZW9AZVBLXSEjOiQiMjFNJjR1N2NMRyEjPTckJCIxSkE5JHApKlIsJiEjOyQiMnc2bTJ0ZiZbRyEjPTckJCIxX1heQSJcWypcISM7JCIxKSpSWnNAYF5HISM8NyQkIjFgNUJUXz55XCEjOyQiMlksPjt6XE8lRyEjPTckJCIxKSlcRyUqUkhnXCEjOyQiMnVEJHAxQ0FDRyEjPTckJCIxTzJ4JUhuPiVcISM7JCIyJ2UiRzxZSUJ6IyEjPTckJCIxWGtsbGxGQ1whIzskIjBKVzFpTCdcRiEjOzckJCIyeEsvY2lfdSFcISM8JCIyMWZWWUhqd3AjISM9NyQkIjFAIWV4YCk9KilbISM7JCIyYlkqKTNTQHppIyEjPTckJCIwVDtCOz5LKFshIzokIjJLXU9oXDZaYiMhIz03JCQiMUNLSzw0cWNbISM7JCIxLWtsQj8mZVkjISM8NyQkIjFaJ29fTG1BJVshIzskIjF3TUxcKTRoUCMhIzw3JCQiMk51XTxMR3IjWyEjPCQiMjo/OCgpW2Akb0EhIz03JCQiMlZ5QmRnYE4iWyEjPCQiMiNlbyUpeT47ZUAhIz03JCQiMWkjM2ckUjYrWyEjOyQiMjpxKXlhb0pNPyEjPTckJCIxUiNvMU1ueHklISM7JCIxZF5VTmU6MD4hIzw3JCQiMS1HXE9cdHZaISM7JCIxaHAoPXdLPnciISM8NyQkIjFVKXlFeGRddyUhIzskIjItJGZLcyE+b2giISM9NyQkIjF1dDBnKDNediUhIzskIjJyMmBVTV48WSIhIz03JCQiMSR5W2BNXml1JSEjOyQiMT1mdkY3JT5JIiEjPDckJCIwUiF6OShIIVJaISM6JCIyMT0qelReT102ISM9NyQkIjEnPSkqUmltPXQlISM7JCIxYGQjR2ExeHIqISM9NyQkIjFjbEIlNCRcRVohIzskIjEzJjQlR0BoIzMpISM9NyQkIjJ3RyhbIlJoPXMlISM8JCIxJykpKioqM0wpcEknISM9NyQkIjJjb2l5YDEmPVohIzwkIjEpNCUpeixESGUlISM9NyQkIjBCQHNvS2dyJSEjOiQiMiVIZy5rKilcW0UhIz43JCQiMVdZJlwjSCdcciUhIzskIjFsPl1fSCY0aiohIz43JCQiMSQqUXNSKGZcciUhIzskITF3a2skZjtpYCohIz43JCQiMi4uIUg5JHlnciUhIzwkITFudigzKT4ocHAjISM9NyQkIjFOXzslXEAmPVohIzskITEzR3d6PzUjZiUhIz03JCQiMSpHW1dgWDtzJSEjOyQhMU4kPVM9QjVAJyEjPTckJCIyOTIyKj1lTEVaISM8JCExRGlcbCs/SCEpISM9NyQkIjJhWGhAKyQqPnQlISM8JCEwPHM0ZjFEdiohIzw3JCQiMkRXNjdUSChRWiEjPCQhMVQjPSFmI0dOOSIhIzw3JCQiMUpLIjNoIVxZWiEjOyQhMjNBJipbKyVmMTghIz03JCQiMW4meU5XL1x2JSEjOyQhMktBNWEjSEtlOSEjPTckJCIxJSpcTkojPl13JSEjOyQhMmAmKTMrKSllaWgiISM9NyQkIjInPVlDJ3owY3glISM8JCEyMiV6dXh4R2c8ISM9NyQkIjIxJzQxaSkpcCh5JSEjPCQhMjA6XlJyI1IvPiEjPTckJCIxdG8uJDNXJSp6JSEjOyQhMUdaL0dMckY/ISM8NyQkIjBCQzwoW0Q4WyEjOiQhMlpib0JjeGI6IyEjPTckJCIxOlU9eGxDRlshIzskITEqZSNcX1REcEEhIzw3JCQiMTNidSYqPio9JVshIzskITE0YCVIaD9PUCMhIzw3JCQiMTwwJD1bZnkmWyEjOyQhMSR6NXdfW0RaIyEjPDckJCIxYFdnVEs2dFshIzskITInendIeGI9YUQhIz03JCQiMjxXY3huPSMqKVshIzwkITI9UVw8WlshR0UhIz03JCQiMDZ0NjYmXDJcISM6JCEyMCEpXC4sNHlwIyEjPTckJCIxJVsoW0wyVUNcISM7JCEyJClcYlhDSSt2IyEjPTckJCIxKXkvPk9KPyVcISM7JCEyKXBrNE5OWSN6IyEjPTckJCIyJj1lInlNIT1nXCEjPCQhMkFRem9SaVMjRyEjPTckJCIyRSMzVmE2LHhcISM8JCEyMGQ0SC88RiVHISM9NyQkIjEjSGclWysvJipcISM7JCEyT2J6NS1tOiZHISM9NyQkIjEmZSMpKUc6JkgsJiEjOyQhMksnR3dbXTBcRyEjPTckJCIxJz1MPyhHMEtdISM7JCEyLl8mNDIlR1IkRyEjPTckJCIxKGZGOWcieltdISM7JCEyMCU+LSVSXio0RyEjPTckJCIxInlJZHkoKXkxJiEjOyQhMnhca3lfPyt4IyEjPTckJCIxdSN5QlNdWzMmISM7JCEyeC9rUkNgR3MjISM9NyQkIjFbQiVlKWZKLF4hIzskITFqam4mKSpwZm0jISM8NyQkIjFUJW8nKkgpZj1eISM7JCEyJ0dbcDguciRmIyEjPTckJCIwdS54b05hOCYhIzokITEqKlJtXzshKjREISM8NyQkIjF5MEBOYENdXiEjOyQhMURfXkxTOkNDISM8NyQkIjEuRCl6NHpgOyYhIzskITJFODYlPmNhQkIhIz03JCQiMWxsclA3XXpeISM7JCExYVxbKFtpaUAjISM8NyQkIjFiSSdlM0NTPiYhIzskITIjNHZeUitJITQjISM9NyQkIjFrTFVXNyllPyYhIzskITInR3FkeTVpdD4hIz03JCQiMW9ROUhJaj1fISM7JCExMS51LjtOSj0hIzw3JCQiMUQnUT1wRShIXyEjOyQhMkMzZmBmLyxwIiEjPTckJCIxQCEpR0thIilSXyEjOyQhMm5cdjg7OU9hIiEjPTckJCIxaHkxJkd5KltfISM7JCEyYUltVjYnKjRSIiEjPTckJCIwLGYqPVdLZF8hIzokITEqKSl6TE9kKEg3ISM8NyQkIjFOYG5qPi5sXyEjOyQhMm08LlZYP00wIiEjPTckJCIxdTVcKUdSNUYmISM7JCExWzYqeSRvLHYpKSEjPTckJCIxci0hKlE8JmZGJiEjOyQhMScqUj1NbCRRPyghIz03JCQiMUQ0dU5WMSFHJiEjOyQhMXYnemkqZiJ5USYhIz03JCQiMT1fXjcieUhHJiEjOyQhMj1rYl1fX0diJCEjPjckJCIwaWA6JTRkJUcmISM6JCEyJTNdPEJieiMqPSEjPjckJCIxJEglKVJ0Kj4mRyYhIzskIjJfcHgjUXgiKVJCISNGLSUmQ09MT1JHNiYlJFJHQkckIidedSMpISInJCInXnUjKSEiJyQiJ151IykhIictJSpUSElDS05FU1NHNiMiIiEtJSZTVFlMRUc2IyUmUEFUQ0hHLSUpUE9MWUdPTlNHNiY3YHE3JCQiMU1IJSlmcnNdJiohIzwkIiNEISIjNyQkIjFFb00peVRXYSohIzwkIjJYZk9vNkMqPUQhIzw3JCQiMSQzJFskeWwoRyYqISM8JCIxV1kjKmVcS05EISM7NyQkIjF3OE1CdCYpKlwqISM8JCIxRFFXJCllaWBEISM7NyQkIjEiUVFjKHoiKWUlKiEjPCQiMk9gVzJQPj1kIyEjPDckJCIxI3lQOidRRDElKiEjPCQiMmFHaiZmOmkqZSMhIzw3JCQiMWkhUTElKW9zTSohIzwkIjI6d2xhJCopeTBFISM8NyQkIjFHPmMiW0xnRiohIzwkIjFlX2lxRTdBRSEjOzckJCIxUSlbUyg+eSI+KiEjPCQiMiRwOXUyR15RRSEjPDckJCIxTzApXCczVyg0KiEjPCQiMSJlbycqKVtGYUUhIzs3JCQiMSh5RyNINC0hKiopISM8JCIxcjtzQyg+KXBFISM7NyQkIjA4emY5ZXEpKSkhIzskIjJQNyJbamoqR28jISM8NyQkIjEiW19OXVpBdykhIzwkIjEiXDEnKjRxb3AjISM7NyQkIjEzIjReXWt6aSkhIzwkIjIyU0Q+Q1krciMhIzw3JCQiMV4wMDIhMzFcKSEjPCQiMS11IipHKHo9cyMhIzs3JCQiMCpRYUJqZWYkKSEjOyQiMnZQZyFcKyY9dCMhIzw3JCQiMVV3J3khPmknPikhIzwkIjJrOD4tXihwVUYhIzw3JCQiMWknSCIpUTtJMCkhIzwkIjEwcS9mUio0diMhIzs3JCQiMTxhNHo1QyEpeSEjPCQiMkJfMnUudiZmRiEjPDckJCIxM09OYiZwRnMoISM8JCIxLFFOIik0PW1GISM7NyQkIjFVNk1jZ3pYdiEjPCQiMVd2YCgzSUJ4IyEjOzckJCIxbGdkb2knUVAoISM8JCIxOiVRJ3pNNHhGISM7NyQkIjFZLSo9dHA7PighIzwkIjImeUZOVXUhNHkjISM8NyQkIjEvImVvLilbQXEhIzwkIjFNJjR1N2NMeSMhIzs3JCQiMTlCVV5uclFvISM8JCIxN20ydGYmW3kjISM7NyQkIjBfWF4vQHNrJyEjOyQiL3VDPEs6JnkjISM5NyQkIjFMMEpLQW8hWychIzwkIjI4IT47elxPJXkjISM8NyQkIjF5KVxHd3A7SSchIzwkIjJiS3AxQ0FDeSMhIzw3JCQiMWt0cW5GUz1oISM8JCIxO0c8WUlCekYhIzs3JCQiMWNXY3dhXFRmISM8JCIxSlcxaUwnXHgjISM7NyQkIjJ2RlZnMmNLeCYhIz0kIjIkZlZZSGp3cEYhIzw3JCQiMTYtZSg+OjFmJiEjPCQiMm0lKikzU0B6aUYhIzw3JCQiMTBUO1Y5IzRWJiEjPCQiMGw4J1w2WmJGISM6NyQkIjBDS0sqKlFkRSYhIzskIjBrbEI/JmVZRiEjOjckJCIyMFonb3NKUkBeISM9JCIydU1MXCk0aFBGISM8NyQkIjFRdV1QSixxXCEjPCQiMi9LcilbYCRvcyMhIzw3JCQiMVh5QnhlRU1bISM8JCIyY28lKXk+O2VyIyEjPDckJCIxPUUzIT1wKSpwJSEjPCQiMi8oKXlhb0pNcSMhIzw3JCQiMSZSI29FS1N3WCEjPCQiMmFeVU5lOjBwIyEjPDckJCIyRC1HXD16Z1glISM9JCIxJ3AoPXdLPndFISM7NyQkIjInPiUpeVl2SVxWISM9JCIxJGZLcyE+b2hFISM7NyQkIjFUUGQ/dSIpXFUhIzwkIjJ3SURXOHZoayMhIzw3JCQiMjskeVt0S0NoVCEjPSQiMSNmdkY3JT5JRSEjOzckJCIxLFIheidwLSozJSEjPCQiMT0qelReT11oIyEjOzckJCIyTSc9KSpmZ1I8UyEjPSQiMWUjR2ExeHJmIyEjOzckJCIxY2JPaTJtalIhIzwkIjEmNCVHQGgjM2UjISM7NyQkIjJZKEcoW3RWdCJSISM9JCIyKCkqKiozTClwSWMjISM8NyQkIjFlb2kpPiZ6JClRISM8JCIxVCl6LERIZWEjISM7NyQkIjEtQkAjcGMhZlEhIzwkIjBPUycqKVxbRUQhIzo3JCQiMFdZJnAhZiRbUSEjOyQiMS1EJkgmNGo0RCEjOzckJCIxTCpRc0BGJFtRISM8JCIyUE4xTXlqL1wjISM8NyQkIjEyLiFIJ0heZlEhIzwkIjJWQSI+IUdJSVojISM8NyQkIjIlW0JsaFolUilRISM9JCIxc0I/eip5U1gjISM7NyQkIjAqR1trXj06UiEjOyQiMm0iKWYibygqKXlWIyEjPDckJCIxPjIyNCEpM2lSISM8JCIyeC5YJCoqenE+QyEjPDckJCIybWI5OyUpZic9UyEjPSQiMiN5LTRNXFotQyEjPDckJCIyJUdXNktSLSczJSEjPSQiMmU8KTR1cmsmUSMhIzw3JCQiMk9KSyJHZmpqVCEjPSQiMXkvXipmUyRwQiEjOzckJCIxcGN5YlV4WlUhIzwkIjJ3KCpldXFuVE4jISM8NyQkIjAlKlxOOEEqW1YhIzskIjJXNioqPjZ1JFFCISM8NyQkIjEmPVlDeSh5YVchIzwkIjExX0FBNyhSSyMhIzs3JCQiMTAnNDFXPWRkJSEjPCQiMSYpW2dHMmM0QiEjOzckJCIyL3RvLmxxSnAlISM9JCIyc18mPm4nR3NIIyEjPDckJCIxLEJDUCZ5NyRbISM8JCIyWDlqUENVV0cjISM8NyQkIjI6OlU9ZiY+clwhIz0kIjFUMnYlZXVJRiMhIzs3JCQiMSIzYnV4XHc2JiEjPCQiMXBhcVF6amlBISM7NyQkIjIvPDAkUVlLeF8hIz0kIjIyIypRczlYRkQjISM8NyQkIjJYYFdnQmkpSGEhIz0kIjFLLUZVOWVXQSEjOzckJCIxO1djKGY7NGYmISM8JCIxaV0jRzomPlBBISM7NyQkIjExNnRKNG90ZCEjPCQiMC1sKik0Pi1CIyEjOjckJCIxVVsoWzpQSCVmISM8JCIyLFhXYihwKlxBIyEjPDckJCIxIil5L1JNLz5oISM8JCIxYC5cWU92P0EhIzs3JCQiMSg9ZSIpSEwwSSchIzwkIjI9MTcudyRmPEEhIzw3JCQiMUcjM1ZPVClvayEjPCQiMVYhNGRIR2RAIyEjOzckJCIxQUhnLy44XG0hIzwkIjJYLyMqeVJWW0AjISM8NyQkIjAnZSMpM15DR28hIzskIjJPckJeXCU0OkEhIzw3JCQiMW09TFMmZSM+cSEjPCQiMVsvSGZyZztBISM7NyQkIjFtZkZNZWsnPSghIzwkIjExeWZnWys+QSEjOzckJCIwInlJeHdneHQhIzskIjIuYjhzJXoqSEEjISM8NyQkIjFQRnlWUUJadiEjPCQiMmFmLmNuOXhBIyEjPDckJCIxIltCJXknKik9cighIzwkIjJPT0s5Ky5NQiMhIzw3JCQiMTNXbztHciUpeSEjPCQiMnNeSSdvKkcxQyMhIzw3JCQiMSx1LihwJzNgISkhIzwkIjItZ0xaJCk0IVxBISM8NyQkIjEneTBAPCQ9LCMpISM8JCIydlpbbWYlZWRBISM8NyQkIjFIXSMpKno/RE4pISM8JCIybikpZSFRYWtuQSEjPDckJCIxXGM7KD5VUFwpISM8JCIyWF1eN3Z0JHlBISM8NyQkIjFZMGp5MSgqUScpISM8JCIxXCNbZyoqcDRIIyEjOzckJCIxWE9Ca0FhZCgpISM8JCIxKEhVQCp5ai1CISM7NyQkIjF1J1E5NmddKSkpISM8JCIyJnBmaVJbJ29KIyEjPDckJCIxZGlRUW4qZioqKSEjPCQiMj00ay9hKik0TCMhIzw3JCQiMTgtKUc5JSlvNCohIzwkIjItWGlRZVFjTSMhIzw3JCQiMTQneTFuNyYpPSohIzwkIjImcExjKVErNE8jISM8NyQkIjEkNCFmNFMoPkYqISM8JCIyNyxpT0VDcVAjISM8NyQkIjBOYG5YXCFcJCohIzskIjJBb3BYJnpsJVIjISM8NyQkIjFPMiJccUEiNCUqISM8JCIyJSkzQDskKVw3VCMhIzw3JCQiMHItITRzQ2UlKiEjOyQiMDtlWWpoelUjISM6NyQkIjFhIzR1PHQkKlwqISM8JCIxLnMuUz03WUMhIzs3JCQiMSQ9X14lNF5HJiohIzwkIjJQV1xaWnJXWSMhIzw3JCQiMTFpYE4jUldhKiEjPCQiMERvWi9zNVsjISM6NyQkIjFNSCUpZnJzXSYqISM8JCIxIylSQisrKytEISM7LSUmQ09MT1JHNiYlJFJHQkckIidedSMpISInJCInXnUjKSEiJyQiJ151IykhIictJSpUSElDS05FU1NHNiMiIiEtJSZTVFlMRUc2IyUmUEFUQ0hHLSUpUE9MWUdPTlNHNiY3YHE3JCQiMUxIJVs/RjJiKiEjPCQiMSwrKzUrKyt2ISM7NyQkIjFFb01MPVdXJiohIzwkIjEmZk9vN0MqPXYhIzs3JCQiMSMzJFtHZXdHJiohIzwkIjFYWSMqb1xLTnYhIzs3JCQiMXc4TW90JikqXCohIzwkIjFFUVckKmVpYHYhIzs3JCQiMXokUTEtPSllJSohIzwkIjFNWHUhUT49ZCghIzs3JCQiMSJ5UGwhUkQxJSohIzwkIjEnR2omcDppKmUoISM7NyQkIjFpIVFjKSlvc00qISM8JCIxaWRZWCopeTB3ISM7NyQkIjFHPmNFTi53IyohIzwkIjFlX2khb0FAaSghIzs3JCQiMVApWyE+P3kiPiohIzwkIjBaVHgiR15RdyEjOjckJCIxTjApKjQ0Vyg0KiEjPCQiMSNlbycqKltGYXchIzs3JCQiMSZ5R1UoNC0hKiopISM8JCIxcztzTSg+KXB3ISM7NyQkIjA4ejQ+ZXEpKSkhIzskIjFDNlt0aipHbyghIzs3JCQiMFtfJlt2Q2koKSEjOyQiMSNcMSc0LChvcCghIzs3JCQiMTIiNCxia3ppKSEjPCQiMSxhIz5EWStyKCEjOzckJCIxXjAwXyEzMVwpISM8JCIxLnUiKlEoej1zKCEjOzckJCIxKilRYW9qZWYkKSEjPCQiMXouMWYrJj10KCEjOzckJCIxVXcnRyY+aSc+KSEjPCQiMVAiPi1fKHBVeCEjOzckJCIxaSdISlY7STApISM8JCIxMHEvcFIqNHYoISM7NyQkIjE7YTRDNkMhKXkhIzwkIjFCdlNaXWRmeCEjOzckJCIxMk9OKydwRnMoISM8JCIxLVFOIio0PW14ISM7NyQkIjFUNk0saHpYdiEjPCQiMVh2YCg0SUJ4KCEjOzckJCIxbWdkOGonUVAoISM8JCIxOyVRJypbJDR4eCEjOzckJCIxWS0qb3hwOz4oISM8JCIxekZOX3UhNHkoISM7NyQkIjEvImU9MylbQXEhIzwkIjFOJjR1OGNMeSghIzs3JCQiMThCVSd6OyhRbyEjPCQiMThtMiQpZiZbeSghIzs3JCQiMT5iOSE0QHNrJyEjPCQiMSx1Q0ZLOiZ5KCEjOzckJCIxTDBKeEFvIVsnISM8JCIxLj47KilcTyV5KCEjOzckJCIxeClceSEpcDtJJyEjPCQiMUUkcDFEQUN5KCEjOzckJCIxa3RxN0dTPWghIzwkIjE7RzxjSUJ6eCEjOzckJCIyY1hrOl8mXFRmISM9JCIxS1cxc0wnXHgoISM7NyQkIjF4Sy9AaER0ZCEjPCQiME9rJVJqd3B4ISM6NyQkIjBAIWVVX2ghZiYhIzskIjFaKikzXUB6aXghIzs3JCQiMlk1ayIpW0A0ViYhIz0kIjFfT2hmNlpieCEjOzckJCIyJVJBQlEhUmRFJiEjPSQiMVRjTzdfZVl4ISM7NyQkIjBaJ288S1JAXiEjOyQiMVtMJFwqNGhQeCEjOzckJCIxUXVdIz04KyhcISM8JCIxQDgoKWVgJG9zKCEjOzckJCIyWCV5QkFmRU1bISM9JCIxKG8lKXk/O2VyKCEjOzckJCIydWgjM0QjcCkqcCUhIz0kIjFyKXlhcEpNcSghIzs3JCQiMldSI29yS1N3WCEjPSQiMTtEYSRmOjBwKCEjOzckJCIxQSFHKkgjemdYJSEjPCQiMShwKD0nRyQ+d3chIzs3JCQiMT4lKXkiZjIkXFYhIzwkIjEkZktzIj5vaHchIzs3JCQiMVRQZGx1IilcVSEjPCQiMTRgVVdePFl3ISM7NyQkIjFKeVs9TENoVCEjPCQiMSRmdkY4JT5JdyEjOzckJCIxLFIhSCxGISozJSEjPCQiMT4qelRfT11oKCEjOzckJCIxaj0pXDUnUjxTISM8JCIxZiNHYTJ4cmYoISM7NyQkIjFjYk8yM21qUiEjPCQiMSc0JUdKaCMzZSghIzs3JCQiMXVHKCl6UE08UiEjPCQiLTRWKXBJYyghIzc3JCQiMWVvaVZfeiQpUSEjPCQiMVUpeixFSGVhKCEjOzckJCIxLEJAUG4wZlEhIzwkIjFpLmsqKlxbRXYhIzs3JCQiMiZSa2E5ImYkW1EhIz0kIjEuRCZIJzRqNHYhIzs3JCQiMkYkKlFBRUYkW1EhIz0kIjFhalMkemovXCghIzs3JCQiMm1JK3orOCZmUSEjPSQiMUQ3PiFISUlaKCEjOzckJCIxW0JsMVslUilRISM8JCIxdEI/KikqeVNYKCEjOzckJCIyJyopR1s0Xz06UiEjPSQiMTwpZiJ5KCopeVYoISM7NyQkIjImPTIyYSEpM2lSISM9JCIxUV1NNCEzKD51ISM7NyQkIjFjWGgnKSlmJz1TISM8JCIxei00V1xaLXUhIzs3JCQiMUdXNnhSLSczJSEjPCQiMXciKTQlPVpjUSghIzs3JCQiMThCOHRmampUISM8JCIxei9eNDFNcHQhIzs3JCQiMidvY3krVnhaVSEjPSQiMXkqZXVyblROKCEjOzckJCIyJ1IqXCZ5QCMqW1YhIz0kIjE6IioqPjd1JFF0ISM7NyQkIjEmPVl1I3l5YVchIzwkIjEyX0FLNyhSSyghIzs3JCQiMTAnNGNbPWRkJSEjPCQiMScpW2dRMmM0dCEjOzckJCIwdG9gcHFKcCUhIzskIjFIYj54J0dzSCghIzs3JCQiMSxCQyNleTckWyEjPCQiMVlKd2BBVyVHKCEjOzckJCIxXkAlb2omPnJcISM8JCIxVDJ2JWZ1SUYoISM7NyQkIjAzYkMjKVx3NiYhIzskIjBaMChbemppcyEjOjckJCIwPDBMb0N0RiYhIzskIjFAKlFzOlhGRCghIzs3JCQiMU1YLyJHaSlIYSEjPCQiMUwtRl85ZVdzISM7NyQkIjJiVGtEazs0ZiYhIz0kIjFqXSNHOyY+UHMhIzs3JCQiMmI1Sm4oNG90ZCEjPSQiMC1sKjMiPi1CKCEjOjckJCIxVVsoKSo+UEglZiEjPCQiMV5XYSYpcCpcQSghIzs3JCQiMjEpeS8lW1YhPmghIz0kIjFhLlxjT3Y/cyEjOzckJCIxJz1lSk1MMEknISM8JCIxaj9KcVBmPHMhIzs3JCQiMUcjMyQ0OSUpb2shIzwkIjFXITRkSUdkQCghIzs3JCQiMUFIZ1wuOFxtISM8JCIxWD8qeVNWW0AoISM7NyQkIjAnZSNROlgjR28hIzskIjE6UDcwWDQ6cyEjOzckJCIxbD1MJmVlIz5xISM8JCIxXC9IcHJnO3MhIzs3JCQiMW1mRnplayc9KCEjPCQiMTJ5ZnFbKz5zISM7NyQkIjAieUlBeGd4dCEjOyQiMGI4cyZ6KkhBKCEjOjckJCIxUEZ5KSlRQlp2ISM8JCIxJ2YuY285eEEoISM7NyQkIjBbQk1zKik9cighIzskIjFrQlY2SVNMcyEjOzckJCIxM1dvaEdyJSl5ISM8JCIxPTBqeSpHMUMoISM7NyQkIi91LlVuM2AhKSEjOiQiL090Vyk0IVxzISM5NyQkIjEneTByQCQ9LCMpISM8JCIxeSVbbWclZWRzISM7NyQkIjFIXSNbJTNfXyQpISM8JCIxKSkpZSFbYWtucyEjOzckJCIxXGM7VUF1JFwpISM8JCIxMDpEaFBQeXMhIzs3JCQiMVkwakIyKCpRJykhIzwkIjBEW2crcTRIKCEjOjckJCIxV09CNEJhZCgpISM8JCIxKUhVQCF6ai10ISM7NyQkIjF0J1FrOmddKSkpISM8JCIwKGZpXFsnb0ooISM6NyQkIjFjaVEkeScqZioqKSEjPCQiMSM0ay9iKik0TCghIzs3JCQiMTctKXk9JSlvNCohIzwkIjFeQydRZlFjTSghIzs3JCQiMTMneWNyNyYpPSohIzwkIjBQaiYpUis0TyghIzo3JCQiMSQ0IWZhUyg+RiohIzwkIjE3P210VS14dCEjOzckJCIxXkx2LCZcIVwkKiEjPCQiMSRvcFgnemwlUighIzs3JCQiMVAyIipcRjc0JSohIzwkIjEqM0A7JSlcN1QoISM7NyQkIjEzRithc0NlJSohIzwkIjFoImVZa2h6VSghIzs3JCQiMWAjNENBdCQqXCohIzwkIjEvcy5dPTdZdSEjOzckJCIxIz1fLCo0XkcmKiEjPCQiMVclXFpbcldZKCEjOzckJCIxL2lgIUdSV2EqISM8JCIxXiNvWjBzNVsoISM7NyQkIjFMSCVbP0YyYiohIzwkIjEkKVJCNSsrK3YhIzstJSZDT0xPUkc2JiUkUkdCRyQiJ151IykhIickIidedSMpISInJCInXnUjKSEiJy0lKlRISUNLTkVTU0c2IyIiIS0lJlNUWUxFRzYjJSZQQVRDSEctJSVURVhURzYmNyQkIisqKioqKioqKlwhIzUkIiM1ISIiLSUpX1RZUEVTRVRHNiMtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliRzYiNjUtSSNtc0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkc2IjYjUSIxNiIvJSdmYW1pbHlHUSpIZWx2ZXRpY2E2Ii8lJXNpemVHUSMxMjYiLyUlYm9sZEdRJmZhbHNlNiIvJSdpdGFsaWNHUSZmYWxzZTYiLyUqdW5kZXJsaW5lR1EmZmFsc2U2Ii8lKnN1YnNjcmlwdEdRJmZhbHNlNiIvJSxzdXBlcnNjcmlwdEdRJmZhbHNlNiIvJStmb3JlZ3JvdW5kR1EoWzAsMCwwXTYiLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV02Ii8lJ29wYXF1ZUdRJmZhbHNlNiIvJStleGVjdXRhYmxlR1EmZmFsc2U2Ii8lKXJlYWRvbmx5R1EmZmFsc2U2Ii8lKWNvbXBvc2VkR1EmZmFsc2U2Ii8lKmNvbnZlcnRlZEdRJmZhbHNlNiIvJStpbXNlbGVjdGVkR1EmZmFsc2U2Ii8lLHBsYWNlaG9sZGVyR1EmZmFsc2U2Ii8lNnNlbGVjdGlvbi1wbGFjZWhvbGRlckdRJmZhbHNlNiIvJSxtYXRodmFyaWFudEdRJ25vcm1hbDYiLSUmQ09MT1JHNiYlJFJHQkckIiIhISIiJCIiISEiIiQiIiEhIiItJSVGT05URzYlJSpIRUxWRVRJQ0FHJShERUZBVUxURyIjNy0lJVRFWFRHNiY3JCQiKi1GLEwqISIqJCIjdiEiIy0lKV9UWVBFU0VURzYjLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkc2IjY1LUkjbXNHNiMvSSttb2R1bGVuYW1lRzYiSSxUeXBlc2V0dGluZ0dJKF9zeXNsaWJHNiI2I1EiMjYiLyUnZmFtaWx5R1EqSGVsdmV0aWNhNiIvJSVzaXplR1EjMTI2Ii8lJWJvbGRHUSZmYWxzZTYiLyUnaXRhbGljR1EmZmFsc2U2Ii8lKnVuZGVybGluZUdRJmZhbHNlNiIvJSpzdWJzY3JpcHRHUSZmYWxzZTYiLyUsc3VwZXJzY3JpcHRHUSZmYWxzZTYiLyUrZm9yZWdyb3VuZEdRKFswLDAsMF02Ii8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdNiIvJSdvcGFxdWVHUSZmYWxzZTYiLyUrZXhlY3V0YWJsZUdRJmZhbHNlNiIvJSlyZWFkb25seUdRJmZhbHNlNiIvJSljb21wb3NlZEdRJmZhbHNlNiIvJSpjb252ZXJ0ZWRHUSZmYWxzZTYiLyUraW1zZWxlY3RlZEdRJmZhbHNlNiIvJSxwbGFjZWhvbGRlckdRJmZhbHNlNiIvJTZzZWxlY3Rpb24tcGxhY2Vob2xkZXJHUSZmYWxzZTYiLyUsbWF0aHZhcmlhbnRHUSdub3JtYWw2Ii0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUlRk9OVEc2JSUqSEVMVkVUSUNBRyUoREVGQVVMVEciIzctJSVURVhURzYmNyQkIiotRixMKiEiKiQiKyoqKioqKipcIyEjNS0lKV9UWVBFU0VURzYjLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkc2IjY1LUkjbXNHNiMvSSttb2R1bGVuYW1lRzYiSSxUeXBlc2V0dGluZ0dJKF9zeXNsaWJHNiI2I1EiMzYiLyUnZmFtaWx5R1EqSGVsdmV0aWNhNiIvJSVzaXplR1EjMTI2Ii8lJWJvbGRHUSZmYWxzZTYiLyUnaXRhbGljR1EmZmFsc2U2Ii8lKnVuZGVybGluZUdRJmZhbHNlNiIvJSpzdWJzY3JpcHRHUSZmYWxzZTYiLyUsc3VwZXJzY3JpcHRHUSZmYWxzZTYiLyUrZm9yZWdyb3VuZEdRKFswLDAsMF02Ii8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdNiIvJSdvcGFxdWVHUSZmYWxzZTYiLyUrZXhlY3V0YWJsZUdRJmZhbHNlNiIvJSlyZWFkb25seUdRJmZhbHNlNiIvJSljb21wb3NlZEdRJmZhbHNlNiIvJSpjb252ZXJ0ZWRHUSZmYWxzZTYiLyUraW1zZWxlY3RlZEdRJmZhbHNlNiIvJSxwbGFjZWhvbGRlckdRJmZhbHNlNiIvJTZzZWxlY3Rpb24tcGxhY2Vob2xkZXJHUSZmYWxzZTYiLyUsbWF0aHZhcmlhbnRHUSdub3JtYWw2Ii0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUlRk9OVEc2JSUqSEVMVkVUSUNBRyUoREVGQVVMVEciIzctJSVURVhURzYmNyQkIisqKioqKioqKlwhIzUkIiIhISIiLSUpX1RZUEVTRVRHNiMtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliRzYiNjUtSSNtc0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkc2IjYjUSI0NiIvJSdmYW1pbHlHUSpIZWx2ZXRpY2E2Ii8lJXNpemVHUSMxMjYiLyUlYm9sZEdRJmZhbHNlNiIvJSdpdGFsaWNHUSZmYWxzZTYiLyUqdW5kZXJsaW5lR1EmZmFsc2U2Ii8lKnN1YnNjcmlwdEdRJmZhbHNlNiIvJSxzdXBlcnNjcmlwdEdRJmZhbHNlNiIvJStmb3JlZ3JvdW5kR1EoWzAsMCwwXTYiLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV02Ii8lJ29wYXF1ZUdRJmZhbHNlNiIvJStleGVjdXRhYmxlR1EmZmFsc2U2Ii8lKXJlYWRvbmx5R1EmZmFsc2U2Ii8lKWNvbXBvc2VkR1EmZmFsc2U2Ii8lKmNvbnZlcnRlZEdRJmZhbHNlNiIvJStpbXNlbGVjdGVkR1EmZmFsc2U2Ii8lLHBsYWNlaG9sZGVyR1EmZmFsc2U2Ii8lNnNlbGVjdGlvbi1wbGFjZWhvbGRlckdRJmZhbHNlNiIvJSxtYXRodmFyaWFudEdRJ25vcm1hbDYiLSUmQ09MT1JHNiYlJFJHQkckIiIhISIiJCIiISEiIiQiIiEhIiItJSVGT05URzYlJSpIRUxWRVRJQ0FHJShERUZBVUxURyIjNy0lJVRFWFRHNiY3JCQiKiIpSCgpcCchIzUkIiNEISIjLSUpX1RZUEVTRVRHNiMtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliRzYiNjUtSSNtc0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkc2IjYjUSI1NiIvJSdmYW1pbHlHUSpIZWx2ZXRpY2E2Ii8lJXNpemVHUSMxMjYiLyUlYm9sZEdRJmZhbHNlNiIvJSdpdGFsaWNHUSZmYWxzZTYiLyUqdW5kZXJsaW5lR1EmZmFsc2U2Ii8lKnN1YnNjcmlwdEdRJmZhbHNlNiIvJSxzdXBlcnNjcmlwdEdRJmZhbHNlNiIvJStmb3JlZ3JvdW5kR1EoWzAsMCwwXTYiLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV02Ii8lJ29wYXF1ZUdRJmZhbHNlNiIvJStleGVjdXRhYmxlR1EmZmFsc2U2Ii8lKXJlYWRvbmx5R1EmZmFsc2U2Ii8lKWNvbXBvc2VkR1EmZmFsc2U2Ii8lKmNvbnZlcnRlZEdRJmZhbHNlNiIvJStpbXNlbGVjdGVkR1EmZmFsc2U2Ii8lLHBsYWNlaG9sZGVyR1EmZmFsc2U2Ii8lNnNlbGVjdGlvbi1wbGFjZWhvbGRlckdRJmZhbHNlNiIvJSxtYXRodmFyaWFudEdRJ25vcm1hbDYiLSUmQ09MT1JHNiYlJFJHQkckIiIhISIiJCIiISEiIiQiIiEhIiItJSVGT05URzYlJSpIRUxWRVRJQ0FHJShERUZBVUxURyIjNy0lJVRFWFRHNiY3JCQiK2IpSCgpcCchIzYkIiosKytdKCEiKi0lKV9UWVBFU0VURzYjLUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkc2IjY1LUkjbXNHNiMvSSttb2R1bGVuYW1lRzYiSSxUeXBlc2V0dGluZ0dJKF9zeXNsaWJHNiI2I1EiNjYiLyUnZmFtaWx5R1EqSGVsdmV0aWNhNiIvJSVzaXplR1EjMTI2Ii8lJWJvbGRHUSZmYWxzZTYiLyUnaXRhbGljR1EmZmFsc2U2Ii8lKnVuZGVybGluZUdRJmZhbHNlNiIvJSpzdWJzY3JpcHRHUSZmYWxzZTYiLyUsc3VwZXJzY3JpcHRHUSZmYWxzZTYiLyUrZm9yZWdyb3VuZEdRKFswLDAsMF02Ii8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdNiIvJSdvcGFxdWVHUSZmYWxzZTYiLyUrZXhlY3V0YWJsZUdRJmZhbHNlNiIvJSlyZWFkb25seUdRJmZhbHNlNiIvJSljb21wb3NlZEdRJmZhbHNlNiIvJSpjb252ZXJ0ZWRHUSZmYWxzZTYiLyUraW1zZWxlY3RlZEdRJmZhbHNlNiIvJSxwbGFjZWhvbGRlckdRJmZhbHNlNiIvJTZzZWxlY3Rpb24tcGxhY2Vob2xkZXJHUSZmYWxzZTYiLyUsbWF0aHZhcmlhbnRHUSdub3JtYWw2Ii0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUlRk9OVEc2JSUqSEVMVkVUSUNBRyUoREVGQVVMVEciIzctJSlQT0xZR09OU0c2JzckNyQkIisqKioqKioqKlwhIzUkIiM1ISIiNyQkIiotRixMKiEiKiQiI3YhIiMtJSZDT0xPUkc2JiUkUkdCRyQiIiEhIiIkIiIhISIiJCIiISEiIi0lKkxJTkVTVFlMRUc2IyIiIi0lKlRISUNLTkVTU0c2IyIiIS0lJlNUWUxFRzYjJSVMSU5FRy0lKVBPTFlHT05TRzYlNyU3JCQiMVxvWiFRJEc6cyEjOyQiMThEMCZcZG5mKSEjOzckJCIxWypcXiYzYTF3ISM7JCIxTHoyT0g2JlwpISM7NyQkIjEvS1BaYClHSyghIzskIjFiJnApbyZISnkpISM7LSUmQ09MT1JHNiYlJFJHQkckIiIhISIiJCIiISEiIiQiIiEhIiItJSZTVFlMRUc2IyUsUEFUQ0hOT0dSSURHLSUpUE9MWUdPTlNHNic3JDckJCIrKioqKioqKipcISM1JCIjNSEiIjckJCIxLCsrNSlIKClwJyEjPCQiI0QhIiMtJSZDT0xPUkc2JiUkUkdCRyQiIiEhIiIkIiIhISIiJCIiISEiIi0lKkxJTkVTVFlMRUc2IyIiIi0lKlRISUNLTkVTU0c2IyIiIS0lJlNUWUxFRzYjJSVMSU5FRy0lKVBPTFlHT05TRzYlNyU3JCQiMSoqSDZOdz0hZiMhIzskIjFhJUgwWydHVGchIzs3JCQiK3dJYSlbIyEjNSQiMTM/IWYrSCtsJiEjOzckJCIxLHEpKTMoZmx4IyEjOyQiMVImb05eJW9MZiEjOy0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUmU1RZTEVHNiMlLFBBVENITk9HUklERy0lKVBPTFlHT05TRzYnNyQ3JCQiKi1GLEwqISIqJCIjdiEiIzckJCIrKioqKioqKipcISM1JCIiISEiIi0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUqTElORVNUWUxFRzYjIiIiLSUqVEhJQ0tORVNTRzYjIiIhLSUmU1RZTEVHNiMlJUxJTkVHLSUpUE9MWUdPTlNHNiU3JTckJCIxKipINmBZSj9wISM7JCIxYSVIMFsnR1ROISM7NyQkIjEqKioqKlI0cSc9byEjOyQiMnYrLWYrSCs6JCEjPDckJCIuKClvcydvMXIhIzgkIjFSJm9OXiVvTE0hIzstJSZDT0xPUkc2JiUkUkdCRyQiIiEhIiIkIiIhISIiJCIiISEiIi0lJlNUWUxFRzYjJSxQQVRDSE5PR1JJREctJSlQT0xZR09OU0c2JzckNyQkIiotRixMKiEiKiQiKyoqKioqKipcIyEjNTckJCIrKioqKioqKipcISM1JCIjNSEiIi0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUqTElORVNUWUxFRzYjIiIiLSUqVEhJQ0tORVNTRzYjIiIhLSUmU1RZTEVHNiMlJUxJTkVHLSUpUE9MWUdPTlNHNiU3JTckJCIxSCMqKW9zJ28xciEjOyQiMEBia1s6amMnISM6NyQkIjFBUyhSNHEnPW8hIzskIjE6PzIlKjQoKlxvISM7NyQkIjFbbjhgWUo/cCEjOyQiMXVGWj5OcmVrISM7LSUmQ09MT1JHNiYlJFJHQkckIiIhISIiJCIiISEiIiQiIiEhIiItJSZTVFlMRUc2IyUsUEFUQ0hOT0dSSURHLSUpUE9MWUdPTlNHNic3JDckJCIqLUYsTCohIiokIisqKioqKioqXCMhIzU3JCQiKi1GLEwqISIqJCIjdiEiIy0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUqTElORVNUWUxFRzYjIiIiLSUqVEhJQ0tORVNTRzYjIiIhLSUmU1RZTEVHNiMlJUxJTkVHLSUpUE9MWUdPTlNHNiU3JTckJCIxOjQncCkqR3hWKiEjOyQiK09INj9eISM1NyQkIiotRixMKiEiKiQiK0dUeDRiISM1NyQkIjEmM1JJMEREQSohIzskIitPSDY/XiEjNS0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUmU1RZTEVHNiMlLFBBVENITk9HUklERy0lKVBPTFlHT05TRzYnNyQ3JCQiKyoqKioqKioqXCEjNSQiIiEhIiI3JCQiK2IpSCgpcCchIzYkIjEsKys1KysrdiEjOy0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUqTElORVNUWUxFRzYjIiIiLSUqVEhJQ0tORVNTRzYjIiIhLSUmU1RZTEVHNiMlJUxJTkVHLSUpUE9MWUdPTlNHNiU3JTckJCIyWiI0IjNyZmx4IyEjPCQiMTsqZUFcOmoxJSEjOzckJCIyVXhmI3lJYSlbIyEjPCQiMCl5QSs1KCpcViEjOjckJCIxNiRIcGooPSFmIyEjOyQiMlc/OGJfOChlUiEjPC0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUmU1RZTEVHNiMlLFBBVENITk9HUklERy0lKVBPTFlHT05TRzYnNyQ3JCQiMSwrKzUpSCgpcCchIzwkIiNEISIjNyQkIiotRixMKiEiKiQiKyoqKioqKipcIyEjNS0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUqTElORVNUWUxFRzYjIiIiLSUqVEhJQ0tORVNTRzYjIiIhLSUmU1RZTEVHNiMlJUxJTkVHLSUpUE9MWUdPTlNHNiU3JTckJCIwJHooempESkkmISM6JCIyW3NsPy4pUiNSIyEjPDckJCIqJG95I3AmISIqJCIyJj5uJSopKioqKioqXCMhIzw3JCQiMXA/LVFjNy5gISM7JCIyYWIoKWYnPmcyRSEjPC0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUmU1RZTEVHNiMlLFBBVENITk9HUklERy0lKVBPTFlHT05TRzYnNyQ3JCQiK2IpSCgpcCchIzYkIjEsKys1KysrdiEjOzckJCIqLUYsTCohIiokIiN2ISIjLSUmQ09MT1JHNiYlJFJHQkckIiIhISIiJCIiISEiIiQiIiEhIiItJSpMSU5FU1RZTEVHNiMiIiItJSpUSElDS05FU1NHNiMiIiEtJSZTVFlMRUc2IyUlTElORUctJSlQT0xZR09OU0c2JTclNyQkIjFILigpUmM3LmAhIzskIjE3Yz5QISlSI1IoISM7NyQkIitLb3kjcCYhIzUkIjFYcG8uKysrdiEjOzckJCIxcidILGtESkkmISM7JCIxVnU2cj5nMnchIzstJSZDT0xPUkc2JiUkUkdCRyQiIiEhIiIkIiIhISIiJCIiISEiIi0lJlNUWUxFRzYjJSxQQVRDSE5PR1JJREctJiUmX0FYSVNHNiMiIiI2Ji0lJkNPTE9SRzYmJSRSR0JHJCIiISEiIiQiIiEhIiIkIiIhISIiLSUqTElORVNUWUxFRzYjIiIhLSUqVEhJQ0tORVNTRzYjIiIhLSUtVFJBTlNQQVJFTkNZRzYjJCIiISEiIi0mJSZfQVhJU0c2IyIiIzYmLSUmQ09MT1JHNiYlJFJHQkckIiIhISIiJCIiISEiIiQiIiEhIiItJSpMSU5FU1RZTEVHNiMiIiEtJSpUSElDS05FU1NHNiMiIiEtJS1UUkFOU1BBUkVOQ1lHNiMkIiIhISIiLSUqQVhFU1NUWUxFRzYjJSVOT05FRy0lKFNDQUxJTkdHNiMlLENPTlNUUkFJTkVERy0lKV9WSVNJQkxFRzYjIiIiLSUlUk9PVEc2Jy0lKUJPVU5EU19YRzYjJCIiISEiIi0lKUJPVU5EU19ZRzYjJCIiISEiIi0lLUJPVU5EU19XSURUSEc2IyQiJStTISIiLSUuQk9VTkRTX0hFSUdIVEc2IyQiJStTISIiLSUpQ0hJTERSRU5HNiItJStBTk5PVEFUSU9ORzYnLSUpQk9VTkRTX1hHNiMkIiIhISIiLSUpQk9VTkRTX1lHNiMkIiIhISIiLSUtQk9VTkRTX1dJRFRIRzYjJCIlK1MhIiItJS5CT1VORFNfSEVJR0hURzYjJCIlK1MhIiItJSlDSElMRFJFTkc2Ig==Ig== M := AdjacencyMatrix(Dg); LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSJNR0YoLUknUlRBQkxFR0YoNiUiNUlzQ1FbN1puVz0tSSdNQVRSSVhHRig2IzcoNygtSSNtbkc2JEYmL0krbW9kdWxlbmFtZUdGKEYkNiNRIjBGKC1GODYjUSIxRihGN0Y3Rj5GNzcoRjdGN0Y3Rj5GN0Y3NyhGPkY+RjdGN0Y3Rjc3KEY3RjdGN0Y3RjdGPjcoRjdGN0Y+RjdGN0Y3NyhGN0Y+RjdGN0Y3RjdJJ01hdHJpeEdGJTcjLUZGNiMvSSQlaWRHRihGMQ== M[2,2]:=1: M[3,3]:=1: M[6,6]:=1: M; LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSI1SXNDUVs3Wm5XPS1JJ01BVFJJWEdGKDYjNyg3KC1JI21uRzYkRiYvSSttb2R1bGVuYW1lR0YoRiQ2I1EiMEYoLUY2NiNRIjFGKEY1RjVGPEY1NyhGNUY8RjVGPEY1RjU3KEY8RjxGPEY1RjVGNTcoRjVGNUY1RjVGNUY8NyhGNUY1RjxGNUY1RjU3KEY1RjxGNUY1RjVGPEknTWF0cml4R0YlNyMtRkQ2Iy9JJCVpZEdGKEYv M^2; LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSI1I3lNdSRbN1puVz0tSSdNQVRSSVhHRig2IzcoNygtSSNtbkc2JEYmL0krbW9kdWxlbmFtZUdGKEYkNiNRIjBGKC1GNjYjUSIxRihGPEY8RjVGNTcoRjVGPEY1RjxGNUY8NyhGPC1GNjYjUSIzRihGPEY8RjxGNTcoRjVGPEY1RjVGNUY8NyhGPEY8RjxGNUY1RjU3KEY1LUY2NiNRIjJGKEY1RjxGNUY8SSdNYXRyaXhHRiU3Iy1GSjYjL0kkJWlkR0YoRi8= M^3; LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSI1ZWRCUFs3Wm5XPS1JJ01BVFJJWEdGKDYjNyg3KC1JI21uRzYkRiYvSSttb2R1bGVuYW1lR0YoRiQ2I1EiMUYoLUY2NiNRIjJGKEY1RjUtRjY2I1EiMEYoRjU3KEY/RjxGP0Y1Rj9GPDcoRjUtRjY2I1EiNUYoRjwtRjY2I1EiM0YoRjVGNTcoRj9GPEY/RjVGP0Y1NyhGNUZHRjVGNUY1Rj83KEY/RkdGP0Y8Rj9GPEknTWF0cml4R0YlNyMtRk02Iy9JJCVpZEdGKEYv with(LinearAlgebra); N15zSSMmeEc2IkkkQWRkRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliR0YkSShBZGpvaW50R0YkSTNCYWNrd2FyZFN1YnN0aXR1dGVHRiRJK0JhbmRNYXRyaXhHRiRJJkJhc2lzR0YkSS1CZXpvdXRNYXRyaXhHRiRJL0JpZGlhZ29uYWxGb3JtR0YkSS1CaWxpbmVhckZvcm1HRiRJJUNBUkVHRiRJNUNoYXJhY3RlcmlzdGljTWF0cml4R0YkSTlDaGFyYWN0ZXJpc3RpY1BvbHlub21pYWxHRiRJJ0NvbHVtbkdGJEkwQ29sdW1uRGltZW5zaW9uR0YkSTBDb2x1bW5PcGVyYXRpb25HRiRJLENvbHVtblNwYWNlR0YkSTBDb21wYW5pb25NYXRyaXhHRiRJNUNvbXByZXNzZWRTcGFyc2VGb3JtR0YkSTBDb25kaXRpb25OdW1iZXJHRiRJL0NvbnN0YW50TWF0cml4R0YkSS9Db25zdGFudFZlY3RvckdGJEklQ29weUdGJEkyQ3JlYXRlUGVybXV0YXRpb25HRiRJLUNyb3NzUHJvZHVjdEdGJEklREFSRUdGJEktRGVsZXRlQ29sdW1uR0YkSSpEZWxldGVSb3dHRiRJLERldGVybWluYW50R0YkSSlEaWFnb25hbEdGJEkvRGlhZ29uYWxNYXRyaXhHRiRJKkRpbWVuc2lvbkdGJEkrRGltZW5zaW9uc0dGJEkrRG90UHJvZHVjdEdGJEk2RWlnZW5Db25kaXRpb25OdW1iZXJzR0YkSSxFaWdlbnZhbHVlc0dGJEktRWlnZW52ZWN0b3JzR0YkSSZFcXVhbEdGJEkyRm9yd2FyZFN1YnN0aXR1dGVHRiRJLkZyb2Jlbml1c0Zvcm1HRiRJOUZyb21Db21wcmVzc2VkU3BhcnNlRm9ybUdGJEkuRnJvbVNwbGl0Rm9ybUdGJEk0R2F1c3NpYW5FbGltaW5hdGlvbkdGJEkyR2VuZXJhdGVFcXVhdGlvbnNHRiRJL0dlbmVyYXRlTWF0cml4R0YkSShHZW5lcmljR0YkSTJHZXRSZXN1bHREYXRhVHlwZUdGJEkvR2V0UmVzdWx0U2hhcGVHRiRJNUdpdmVuc1JvdGF0aW9uTWF0cml4R0YkSSxHcmFtU2NobWlkdEdGJEktSGFua2VsTWF0cml4R0YkSSxIZXJtaXRlRm9ybUdGJEkzSGVybWl0aWFuVHJhbnNwb3NlR0YkSS9IZXNzZW5iZXJnRm9ybUdGJEkuSGlsYmVydE1hdHJpeEdGJEkySG91c2Vob2xkZXJNYXRyaXhHRiRJL0lkZW50aXR5TWF0cml4R0YkSTJJbnRlcnNlY3Rpb25CYXNpc0dGJEkrSXNEZWZpbml0ZUdGJEktSXNPcnRob2dvbmFsR0YkSSpJc1NpbWlsYXJHRiRJKklzVW5pdGFyeUdGJEkySm9yZGFuQmxvY2tNYXRyaXhHRiRJK0pvcmRhbkZvcm1HRiRJMUtyb25lY2tlclByb2R1Y3RHRiRJKExBX01haW5HRiRJMExVRGVjb21wb3NpdGlvbkdGJEktTGVhc3RTcXVhcmVzR0YkSSxMaW5lYXJTb2x2ZUdGJEkuTHlhcHVub3ZTb2x2ZUdGJEkkTWFwR0YkSSVNYXAyR0YkSSpNYXRyaXhBZGRHRiRJMk1hdHJpeEV4cG9uZW50aWFsR0YkSS9NYXRyaXhGdW5jdGlvbkdGJEkuTWF0cml4SW52ZXJzZUdGJEk1TWF0cml4TWF0cml4TXVsdGlwbHlHRiRJK01hdHJpeE5vcm1HRiRJLE1hdHJpeFBvd2VyR0YkSTVNYXRyaXhTY2FsYXJNdWx0aXBseUdGJEk1TWF0cml4VmVjdG9yTXVsdGlwbHlHRiRJMk1pbmltYWxQb2x5bm9taWFsR0YkSSZNaW5vckdGJEkoTW9kdWxhckdGJEkpTXVsdGlwbHlHRiZJLE5vVXNlclZhbHVlR0YkSSVOb3JtR0YmSSpOb3JtYWxpemVHRiRJKk51bGxTcGFjZUdGJEkzT3V0ZXJQcm9kdWN0TWF0cml4R0YkSSpQZXJtYW5lbnRHRiRJJlBpdm90R0YkSSpQb3BvdkZvcm1HRiRJMVByb2plY3Rpb25NYXRyaXhHRiRJMFFSRGVjb21wb3NpdGlvbkdGJEktUmFuZG9tTWF0cml4R0YkSS1SYW5kb21WZWN0b3JHRiRJJVJhbmtHRiRJNlJhdGlvbmFsQ2Fub25pY2FsRm9ybUdGJEk2UmVkdWNlZFJvd0VjaGVsb25Gb3JtR0YkSSRSb3dHRiRJLVJvd0RpbWVuc2lvbkdGJEktUm93T3BlcmF0aW9uR0YkSSlSb3dTcGFjZUdGJEktU2NhbGFyTWF0cml4R0YkSS9TY2FsYXJNdWx0aXBseUdGJEktU2NhbGFyVmVjdG9yR0YkSSpTY2h1ckZvcm1HRiRJL1Npbmd1bGFyVmFsdWVzR0YkSSpTbWl0aEZvcm1HRiRJKlNwbGl0Rm9ybUdGJEk4U3Ryb25nbHlDb25uZWN0ZWRCbG9ja3NHRiRJKlN1Yk1hdHJpeEdGJEkqU3ViVmVjdG9yR0YkSSlTdW1CYXNpc0dGJEkwU3lsdmVzdGVyTWF0cml4R0YkSS9TeWx2ZXN0ZXJTb2x2ZUdGJEkvVG9lcGxpdHpNYXRyaXhHRiRJJlRyYWNlR0YmSSpUcmFuc3Bvc2VHRiRJMFRyaWRpYWdvbmFsRm9ybUdGJEkrVW5pdFZlY3RvckdGJEkyVmFuZGVybW9uZGVNYXRyaXhHRiRJKlZlY3RvckFkZEdGJEksVmVjdG9yQW5nbGVHRiRJNVZlY3Rvck1hdHJpeE11bHRpcGx5R0YkSStWZWN0b3JOb3JtR0YkSTVWZWN0b3JTY2FsYXJNdWx0aXBseUdGJEkrWmVyb01hdHJpeEdGJEkrWmVyb1ZlY3RvckdGJEkkWmlwR0Yk S3 := IdentityMatrix(6) + M + M^2 + M^3; LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSNTM0dGKC1JJ1JUQUJMRUdGKDYlIjVBLUBQWzdablc9LUknTUFUUklYR0YoNiM3KDcoLUkjbW5HNiRGJi9JK21vZHVsZW5hbWVHRihGJDYjUSIyRigtRjg2I1EiNEYoRjdGNy1GODYjUSIxRihGQTcoLUY4NiNRIjBGKC1GODYjUSI1RihGRS1GODYjUSIzRihGRUZLNyhGSy1GODYjUSI5RihGSEY+RjdGQTcoRkVGS0ZFRjdGRUZLNyhGN0Y+RktGQUY3RkU3KEZFLUY4NiNRIjZGKEZFRktGRUZISSdNYXRyaXhHRiU3Iy1GWDYjL0kkJWlkR0YoRjE= map(signum,S3); LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSI1aV9IInpDcnVZJT0tSSdNQVRSSVhHRig2IzcoNygtSSNtbkc2JEYmL0krbW9kdWxlbmFtZUdGKEYkNiNRIjFGKEY1RjVGNUY1RjU3KC1GNjYjUSIwRihGNUY9RjVGPUY1RjRGPDcoRjVGNUY1RjVGNUY9RjxJJ01hdHJpeEdGJTcjLUZBNiMvSSQlaWRHRihGLw== R1 := map(signum, S3 + M^4 + M^5); LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSNSMUdGKC1JJ1JUQUJMRUdGKDYlIjVJY0ciekNydVklPS1JJ01BVFJJWEdGKDYjNyg3KC1JI21uRzYkRiYvSSttb2R1bGVuYW1lR0YoRiQ2I1EiMUYoRjdGN0Y3RjdGNzcoLUY4NiNRIjBGKEY3Rj9GN0Y/RjdGNkY+RjZGPkknTWF0cml4R0YlNyMtRkI2Iy9JJCVpZEdGKEYx R2 := map(signum, (IdentityMatrix(6) + M)^(2^3)); LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSNSMkdGKC1JJ1JUQUJMRUdGKDYlIjU5eT4iekNydVklPS1JJ01BVFJJWEdGKDYjNyg3KC1JI21uRzYkRiYvSSttb2R1bGVuYW1lR0YoRiQ2I1EiMUYoRjdGN0Y3RjdGNzcoLUY4NiNRIjBGKEY3Rj9GN0Y/RjdGNkY+RjZGPkknTWF0cml4R0YlNyMtRkI2Iy9JJCVpZEdGKEYx R1 - R2; LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSI1PVw+InpDcnVZJT0tSSdNQVRSSVhHRig2IzcoNygtSSNtbkc2JEYmL0krbW9kdWxlbmFtZUdGKEYkNiNRIjBGKEY1RjVGNUY1RjVGNEY0RjRGNEY0SSdNYXRyaXhHRiU3Iy1GPDYjL0kkJWlkR0YoRi8= R1^2; LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSI1LT4+InpDcnVZJT0tSSdNQVRSSVhHRig2IzcoNygtSSNtbkc2JEYmL0krbW9kdWxlbmFtZUdGKEYkNiNRIjNGKC1GNjYjUSI2RihGNUY8RjVGPDcoLUY2NiNRIjBGKEY1RkBGNUZARjVGNEY/RjRGP0knTWF0cml4R0YlNyMtRkM2Iy9JJCVpZEdGKEYv R1 *~ Transpose(R1); LV9JLFR5cGVzZXR0aW5nRzYkJSpwcm90ZWN0ZWRHSShfc3lzbGliRzYiSSxtcHJpbnRzbGFzaEdGKDYkNyMtSSdSVEFCTEVHRig2JSI1JykpKT0iekNydVklPS1JJ01BVFJJWEdGKDYjNyg3KC1JI21uRzYkRiYvSSttb2R1bGVuYW1lR0YoRiQ2I1EiMUYoLUY2NiNRIjBGKEY1RjxGNUY8NyhGPEY1RjxGNUY8RjVGNEY/RjRGP0knTWF0cml4R0YlNyMtRkA2Iy9JJCVpZEdGKEYv for x from -1 to 1 do x,"sign=",sign(x),"signum=",signum(x); od; NichIiJRJnNpZ249NiJGI1Eoc2lnbnVtPUYlRiM= NiciIiFRJnNpZ249NiIiIiJRKHNpZ251bT1GJUYj NiciIiJRJnNpZ249NiJGI1Eoc2lnbnVtPUYlRiM= JSFH