Edit File: Spec.cpython-311.pyc
� ����q�d[�����������������������������d�Z�dZd��Z�G�d��d������������Z�G�d��de������������Z�G�d��de������������Z�G�d ��d e������������Z�G�d��de������������Z�G�d ��de������������Z�G�d��de������������Z �G�d��de������������Z �G�d��de������������Z�G�d��de������������Z�G�d��de������������Z �G�d��de������������Z�G�d��de������������Z�G�d��de������������Z�G�d��d e������������Z�G�d!��d"e������������Z�G�d#��d$e������������Z�G�d%��d&e������������Z�G�d'��d(e������������Z�G�d)��d*������������Z�G�d+��d,e������������Z�G�d-��d.������������Z�G�d/��d0e������������Z�G�d1��d2e������������Z�G�d3��d4������������Z�G�d5��d6e������������Z�G�d7��d8e������������Z�G�d9��d:e������������Z�G�d;��d<e������������Z�G�d=��d>e ������������Z!�G�d?��d@e ������������Z"�G�dA��dBe ������������Z#�G�dC��dD������������Z$�G�dE��dF������������Z%�G�dG��dH������������Z&dIS�)Ja�� Contains some experimental set constructions. In the current state, not to be used by the faint-hearted. It is likely due for some major refactoring and has probably many bugs, it was a long time since I run the tests. You don't get any other documentation than this right now. ����c������������������������ �t����������|�d������������S�#�t����������$�rK�t����������|�t����������������������r$dd���������������������d��|�D���������������������������z��cY�S�t����������|�������������cY�S�w�xY�w)N�briefz(%s)�,c������������������,�����g�|�]}t����������|��������������S���)�briefstr)�.0�xis��� �c/builddir/build/BUILD/cloudlinux-venv-1.0.2/venv/lib64/python3.11/site-packages/guppy/heapy/Spec.py� <listcomp>zbriefstr.<locals>.<listcomp>���s������&@�&@�&@��x��|�|�&@�&@�&@�����)�getattr�AttributeError� isinstance�tuple�join�str��xs��� r���r���r������s���������q�'�"�"�"����������a����� C��S�X�X�&@�&@�a�&@�&@�&@�A�A�B�B�B�B��1�v�v� � � ����s������AA'�A'�&A'c��������������������8�����e�Zd�Zd��Zd��Zd��Zd��Zd��Zd��Zd��Z dS�) � SpecFamilyc������������������j�����||�_���������|����������������������|j���������������������|�xj��������|�gz��c_��������d�S��N)�specmod�defrefining�Anything� disjoints)�self� unisetmodr���s��� r����__init__zSpecFamily.__init__���s6�������������+�,�,�,����4�&� ����r ���c������������������.�����|�����������������������|�|������������S�r�����Set�r����args��� r����__call__zSpecFamily.__call__���s�������x�x��c�"�"�"r ���c�����������������������t����������|t����������������������r!|�j��������j�����������������������������||f������������S�|j�����������������������������||������������S�r���)r���r����mod�fam_And�_cons�fam� _and_ATOM�r����a�bs��� r����c_andzSpecFamily.c_and ���sG�������a��$�$�� )��8�#�)�)�1�a�&�1�1�1��5�?�?�1�a�(�(�(r ���c������������������H����|�j���������j��������}|�j�������������������������������������������}|j��������D�]?} �|���������������������||d�������������|���������������������|��������������0#�t����������$�r�Y��<w�xY�w|�j��������j��������� ��������������������|�j��������� ��������������������|������������������������S�)Nzselect contains)r����_static_test_envr(���� mutnodeset�nodes� test_contains�add� Exception�fam_Identityr*���� immnodeset)r���r.���r/����env�res�bis��� r����_and_IDzSpecFamily._and_ID&���s��������l�+���h�!�!�#�#���'�� �� �B� ��!�!�!�R�):�;�;�;�������������� �� �� ��� ������x�$�*�*�4�8�+>�+>�s�+C�+C�D�D�Ds����A� A*�)A*c������������������l�����|�j���������j��������} �|���������������������||d������������S�#�t����������$�r�Y�dS�w�xY�w)Nz Spec containsF)r���r2���r5���� TestError�r���r.���r/���r:���s��� r���� c_containszSpecFamily.c_contains2���sK�������l�+�� ��$�$�Q��?�;�;�;���� �� �� ��5�5� ���s����%�� 3�3c������������������Z�����|j���������}t����������|������������|k����r|d�|dz ������������dz���}|S�)N����z...)r����len)r���r.����max_lenr���s��� r����c_getlimstrzSpecFamily.c_getlimstr9���s5������ �G���q�6�6�G����*�7�1�9�*� �e�#�A��r ���c������������������L�����d|�j���������j���������dt����������|j���������������������d�S�)N�<�(z)>)� __class__�__name__r���r%���)r���r.���s��� r����c_get_briefzSpecFamily.c_get_brief?���s&��������!�^�4�4�4�h�q�u�o�o�o�o�F�Fr ���N) rK���� __module__�__qualname__r ���r&���r0���r=���rA���rF���rL���r���r ���r���r���r������s���������������!��!��!� #��#��#�)��)��)� E�� E�� E�����������G��G��G��G��Gr ���r���c��������������������,�����e�Zd�Zd��Zd��Zd��Zd��Zd��ZdS�)�ArgNamesFamilyc������������������.�����|�����������������������|�|������������S�r���r"����r����argss��� r���r&���zArgNamesFamily.__call__D���s�������x�x��d�#�#�#r ���c������������������������|�j���������j��������j��������}|���������������������|������������\��}}}|�|���������������������d|z���������������|�|���������������������d|z���������������t����������|������������S�)Nz*%sz**%s)r����_root�inspect�getargs�appendr���)r����coderV���rS����varargs�varkws��� r����getargnameszArgNamesFamily.getargnamesG���sk�������,�$�,��!(����!6�!6���w�����K�K����(�(�(����K�K����'�'�'��T�{�{�r ���c������������������f����� �|j���������}|����������������������|������������|k����S�#�t����������$�r�Y�dS�w�xY�w)NF)�__code__r\���r���)r����frS���rY���s��� r���� func_argnameszArgNamesFamily.func_argnamesP���sI������ ��:�D��#�#�D�)�)�T�1�1���� �� �� ��5�5� ���s����"�� 0�0c����������������������� �|j���������}|j��������}|����������������������|������������dd�����������|k����S�#�t����������$�r�Y�dS�w�xY�w)Nr���F)�__func__r^���r\���r���)r����mrS���r_���rY���s��� r���� meth_argnameszArgNamesFamily.meth_argnamesW���sY������ �� �A��:�D��#�#�D�)�)�!�"�"�-��5�5���� �� �� ��5�5� ���s����.1�� ?�?c����������������������������fd�}���fd�}��j���������j��������j��������}�||������������p��||������������p�t����������|t����������������������ot����������|d������������o�||j��������������������pTt����������|t����������������������ot����������|d������������o�||j��������������������pt����������|d������������o�||j��������������������S�)Nc������������������:�����������������������������|��j��������������������S�r���)r`���r%���)r_���r.���r���s��� ��r���r`���z0ArgNamesFamily.c_contains.<locals>.func_argnames`�����������T�%7�%7��1�5�%A�%A�Ar ���c������������������:�����������������������������|��j��������������������S�r���)rd���r%���)rc���r.���r���s��� ��r���rd���z0ArgNamesFamily.c_contains.<locals>.meth_argnamesa���rg���r ���r ���r&���)r(���rU����typesr����type�hasattrr ���r&���)r���r.���r���r`���rd���ri���s���`` r���rA���zArgNamesFamily.c_contains_���s���������A�A�A�A�A�A�A�A�A�A�A�A����$��� �a� � �� ,�� �a� � � ,��A�t�$�$��-��!�Z�(�(��,��-�� �+�+� ,� ��A�t�$�$��-��!�Z�(�(��,��-�� �+�+� ,����J�'�'��+���q�z�*�*� r ���N)rK���rM���rN���r&���r\���r`���rd���rA���r���r ���r���rP���rP���C���s_��������������$��$��$������������������������r ���rP���c��������������������"�����e�Zd�Zdd�Zd��Zd��ZdS�)�AttributeFamilyNc�����������������������|� |�j���������j��������}n/t����������||�j��������j��������������������s|����������������������|������������}|����������������������||f������������S�r���)r����anyr���r(����UniSet�c_from�specotup)r����namerj���s��� r���r&���zAttributeFamily.__call__q���sP�������<��<�#�D�D��d�D�H�O�4�4�� )��{�{�4�(�(���}�}�d�D�\�*�*�*r ���c������������������n�����|j���������\��}}|���������������������||������������}|���������������������||������������S�r���)r%���� gengetattrr5���)r���r.���r/���r:���rs���rj���r���s��� r����c_test_containszAttributeFamily.c_test_containsy���s6�������U� ��d��N�N�1�d�#�#���!�!�!�S�)�)�)r ���c������������������~�����d|j���������d����������d�}|j���������d����������|d|j���������d���������j��������z���z��}n|dz��}|S�)Nz<AttributeFamily(�����z%s>r���r�����)r%���r���)r���r.���r���s��� r����c_get_brieflimstrz!AttributeFamily.c_get_brieflimstr~���sI��������)*��q����3���5��8���S���q���'�(�A�A��B��A��r ���r���)rK���rM���rN���r&���rv���rz���r���r ���r���rm���rm���p���sF��������������+��+��+��+�*��*��*� ��������r ���rm���c�������������������� �����e�Zd�Zd��Zd��Zd��ZdS�)�AdaptupleFamilyc������������������^�����t����������j��������|�g|�R�i�|���|����������������������dd���������������d�S�)N�newc�����������������������|�j���������d���������S��Nrx����r%���r���s��� r����<lambda>z*AdaptupleFamily.__init__.<locals>.<lambda>����s��������q���r ����r���r ���� add_export�r���r.����ks��� r���r ���zAdaptupleFamily.__init__����sA��������D�*�1�*�*�*��*�*�*�����1�1�2�2�2�2�2r ���c�����������������������|�j������������������������������|������������\��}}|�j������������������������������|������������}|����������������������||f||f������������S�r���)r����_exodoc�setcast�specoargtup)r����funcrj����docs��� r���r&���zAdaptupleFamily.__call__����sN�������L�(�(��.�.� ��c��|�#�#�D�)�)������t��s�D�k�:�:�:r ���c������������������������|j���������\��}}t����������|t����������������������r, ��||��}n'#�t����������$�r�|���������������������d������������cY�S�w�xY�w|}|���������������������||������������S�)Nzcalling func failed)r%���r���r���r7����failed_exc_infor5���)r���r.���r/���r:���r����rj���r���s��� r���rv���zAdaptupleFamily.c_test_contains����s��������U� ��d��a����� � B��D�!�H������ B�� B�� B��*�*�+@�A�A�A�A�A� B������A��!�!�!�S�)�)�)s����'��A �A N�rK���rM���rN���r ���r&���rv���r���r ���r���r|���r|�������sA��������������3��3��3�;��;��;� *�� *�� *�� *�� *r ���r|���c��������������������,�����e�Zd�Zd��Zd��Zd��Zd��Zd��ZdS�)�CartesianProductFamilyc������������������.�����|�����������������������|�|������������S�r���r"���)r���ri���s��� r���r&���zCartesianProductFamily.__call__������������x�x��e�$�$�$r ���c������������������d�����|j���������}t����������|������������dk����r|d���������S�t����������d�������������)N����rx���z*Domain is defined on binary relations only)r%���rD���� TypeError)r���r.���ri���s��� r����c_domainzCartesianProductFamily.c_domain����s0����������u�:�:��?�?���8�O��D�E�E�Er ���c������������������&����g�}t����������|j��������������������D�]]\��}}t����������|���������������������|������������������������}|s|���������������������d|d�d|z��������������sg�c�S�|���������������������|��������������^�|�j��������j��������j��������j ��������j ��������|��S�)Nzcartesian productzthe argument #%d)� enumerater%����list�get_examples�failed_coveragerX���r(���rU����guppy�etc�iterpermute)r���r.���r:����exs�i�ai�exs��� r����c_get_examplesz%CartesianProductFamily.c_get_examples����s�����������q�u�%�%�� �� �E�A�r��c�&�&�r�*�*�+�+�B��� ��*�*�+>��D�J\�_`�J`�a�a����I�I�I��J�J�r�N�N�N�N�3�t�x�~�#�'�3�S�9�9r ���c������������������L�����d}|j���������D�]}|t����������|j���������������������z��}�|S��Nr���)r%���rD���)r���r.����lr����s��� r����c_lenzCartesianProductFamily.c_len����s0������ ���%�� �� �B��C���K�K��A�A��r ���c������������������<����|j���������}t����������|������������}t����������|������������t����������|������������k����r6|���������������������dt����������|������������t����������|������������fz���������������d�S�t ����������||������������D�]\��}}|���������������������||������������s�dS��dS�)Nz*cprod of length %d: argument has length %dFT)r%���r���rD����failed�zipr5���)r���r.���r/���r:���ri����bs�ts��� r���rv���z&CartesianProductFamily.c_test_contains����s���������� �1�X�X���u�:�:��R��� � ��J�J�C��E� � �C��G�G�,�-�� .�� .�� .�� .�� .���E�2���� !�� !���1����q�#�.�.��!� �5�5�!��4r ���N)rK���rM���rN���r&���r����r����r����rv���r���r ���r���r����r��������sb��������������%��%��%�F��F��F�:��:��:������ �� �� �� �� r ���r����c�������������������� �����e�Zd�Zd��Zd��Zd��ZdS�)�SequenceFamilyc������������������,�����|�����������������������|������������S�r�����specoarg)r���rj���s��� r���r&���zSequenceFamily.__call__������������}�}�T�"�"�"r ���c������������������L�����|D�] }|j������������������������������||������������s�dS��!dS�)NFT�r%���r5���)r���r.���r/���r:���r���s��� r���rv���zSequenceFamily.c_test_contains����s<�������� �� �A��5�&�&�q�#�.�.�� ��u�u� ��tr ���c��������������#�������K����t����������|j��������������������D�]4}|����������������������|�j��������j��������|j��������g|z����������������D�]}|V�����5d�S�r���)�range�max_sequence_examples_lengthr����r����cprodr%���)r���r.���r:���r����r���s��� r���r����zSequenceFamily.c_get_examples����sl�����������s�7�8�8�� �� �A��%�%�&8�d�l�&8�1�5�'�!�)�&D�E�E�� �� ������� � �� r ���N�rK���rM���rN���r&���rv���r����r���r ���r���r����r��������sA��������������#��#��#��������������r ���r����c��������������������,�����e�Zd�Zd��Zd��Zd��Zd��Zd��ZdS�)� MappingFamilyc������������������d�������t����������j����������g|�R�i�|��������������������������d��fd��������������d�S�)N�arrowc�����������������������������fd�S�)Nc������������������0������������������������������|�������������S�r���)�c_arrow)r_���r���r���s��� ��r���r����z:MappingFamily.__init__.<locals>.<lambda>.<locals>.<lambda>����s�������T�\�\�!�Q�5G�5G��r ���r���)r���r���s���`�r���r����z(MappingFamily.__init__.<locals>.<lambda>����s��������+G�+G�+G�+G�+G��r ���r����r����s���` r���r ���zMappingFamily.__init__����sH���������D�*�1�*�*�*��*�*�*�����!G�!G�!G�!G�H�H�H�H�Hr ���c������������������:�����|j���������\��}}}t����������|||������������S�r���)r%����Arrow)r���r.���r_����tf�ts�rets��� r���r����zMappingFamily.c_arrow����s!�������e���B���R��a� � � r ���c������������������n����g�}g�}d�}d}|�j���������j��������}|t����������|������������k������r�||���������}t����������|t�����������������������r4|dk����r=|dz ��}|t����������|������������dz ��k����st����������d��������������|||���������������������}�n4|���������������������d������������r[|dz ��}�|||���������������������}|���������������������d|d�d����������t����������|������������fz���������������|���������������������|�������������n�|dk����ri|dz ��}�|||���������������������}|���������������������d t����������|������������z���������������|���������������������|�j������������������������������|�������������������������nUt����������d |z���������������|���������������������dt����������|������������z���������������|����������������������||�������������������������|dz ��}|t����������|������������k��������dd � ��������������������|������������z���dz���} t����������| ������������} �|�j���������j��������|��}|�|�j���������j��������}|�� ��������������������|�| ||f������������S�)Nrx���z->r���z<The '->' specifier must be next to last in the argument list�=z%s=%args[%d]����*z *args[%d]zInvalid argument specifier: %rzargs[%d]zlambda f: lambda *args: f(r����))r���r����rD���r���r����SyntaxError�endswithrX����sequencer����evalr����r���r#���)r���rS���r�����as_r����r����r����r����r�����fnr_���s��� r���r&���zMappingFamily.__call__����s8����� ������ ���,�&���#�d�)�)�m�m��a��B��"�c�"�"�� '���:�:���F�A���D� � �!��+�+�)�Z�\��\��\�!�'�$�q�'�*�*�C�C��[�[��%�%��M���F�A����Q��(�(�A��J�J�~��C�R�C��#�b�'�'�0B�B�C�C�C��I�I�a�L�L�L�L��3�Y�Y���F�A����Q��(�(�A��J�J�{�S��W�W�4�5�5�5��I�I�d�l�3�3�A�6�6�7�7�7�7�%�&F��&K�L�L�L��� � �:��B���/�0�0�0�� � �'�'�"�+�+�&�&�&� ��F�A�3��#�d�)�)�m�m�6�*�#�(�(�3�-�-� 7�� ;����H�H�� �T�\� �� $���;��,�'�C��x�x��q�"�c�l�+�+�+r ���c������������������j�������|j���������\���}���|���������������fd�}|���������������������||������������S�)Nc������������������d������ ���|��}��|������������������������|d������������S�dS�#�t����������$�r���w�xY�w)NzMapping Return TypeT)r5���r7���)r:���rS����rr_���r����s��� ��r����gz(MappingFamily.c_test_contains.<locals>.g ��sX������� ��A�t�H�� ��?��,�,�S�!�5J�K�K�K��4����� �� �� �� ���s����#��/�r%����forall)r���r.���r����r:���r����r����r_���r����s��� @@r���rv���zMappingFamily.c_test_contains��sR���������U� ��2�s� �A�d�G�G�� �� �� �� �� �� ���z�z�"�a� � � r ���c������������������V�����|j���������\��}}}d��|���������������������|������������D���������������S�)Nc������������������������g�|�]��fd����S�)c��������������������������S�r���r���)rS����kwdsr���s��� �r���r����z9MappingFamily.c_get_examples.<locals>.<listcomp>.<lambda>��s�������a��r ���r���)r ���r���s��� @r���r���z0MappingFamily.c_get_examples.<locals>.<listcomp>��s#�������G�G�G�A�'�'�'�'�G�G�Gr ���)r%���r����)r���r.���r:���r_���r����r����s��� r���r����zMappingFamily.c_get_examples��s1�������U� ��2�s�G�G��1A�1A�#�1F�1F�G�G�G�Gr ���N)rK���rM���rN���r ���r����r&���rv���r����r���r ���r���r����r��������sh��������������I��I��I�!��!��!�&,��&,��&,�P!��!��!�&H��H��H��H��Hr ���r����c�������������������������e�Zd�Zd��Zd��ZdS�)�PredicateFamilyc������������������2�����|�����������������������|�||f������������S�r���r"���)r���r%���r����s��� r���r&���zPredicateFamily.__call__"��s�������x�x��s�C�j�)�)�)r ���c�����������������������|j���������\��}}�|||������������s.|���������������������d|�d|���������������������|��������������������������S�dS�)Nzpred: doc = z; failed for element == T)r%���r����rs���)r���r.���r/���r:����predr����s��� r���rv���zPredicateFamily.c_test_contains%��sU�������E� ��c��t�C��|�|�� _��:�:�:�C�C�C�QT�QY�QY�Z[�Q\�Q\�Q\�]�^�^�^��tr ���N�rK���rM���rN���r&���rv���r���r ���r���r����r����!��s2��������������*��*��*���������r ���r����c��������������������&�����e�Zd�Zd��Zd��Zd��Zd��ZdS�)�PowersetFamilyc������������������X�����t����������j��������|�g|�R����|����������������������dd���������������d�S�)N�unionc�����������������������|�j���������S�r���r����r���s��� r���r����z)PowersetFamily.__init__.<locals>.<lambda>/��s������1�5��r ���r����rR���s��� r���r ���zPowersetFamily.__init__-��s7��������D�(�4�(�(�(�(�������1�1�1�1�1r ���c������������������,�����|�����������������������|������������S�r���r�����r����sets��� r���r&���zPowersetFamily.__call__1��s�������}�}�S�!�!�!r ���c�����������������������|�j���������j��������|j��������g} �|���������������������|j��������������������}n#�t����������$�r�|cY�S�w�xY�w|S�r���)r����Nothingr%���r����r7���)r���r.���r:���r����ys��� r���r����zPowersetFamily.c_get_examples4��sZ������ �\� !�1�5�)�� �� � ���'�'�A�A���� �� �� ��H�H�H� ������s����0��?�?c�������������������������||�j���������j��������vr0|���������������������d|�j������������������������������|������������z���������������|j���������|���������������������|�fd�d������������S�)Nz%powerset.test_contains: not a set: %sc������������������2������|������������������������|d������������S�)N�powerset�r5���)r:���r���r����s��� �r���r����z0PowersetFamily.c_test_contains.<locals>.<lambda>C��s�������C�,=�,=�c�1�j�,Q�,Q��r ���r����)r���r����r�����isor%���r�����r���r.���r/���r:���r����s��� @r���rv���zPowersetFamily.c_test_contains>��sl��������D�L�$�$�$��J�J�>��|�'�'��*�*�+�� ,�� ,�� ,��e���z�z�!�Q�Q�Q�Q�S]�^�^�^r ���N�rK���rM���rN���r ���r&���r����rv���r���r ���r���r����r����,��sU��������������2��2��2�"��"��"������_��_��_��_��_r ���r����c�������������������������e�Zd�Zdd�Zd��ZdS�)� DocFamilyNc�����������������������|�|�j���������j��������j��������}n-||�j���������j��������vr|�j���������j�����������������������������|������������}|����������������������|�||f������������S�r���)r���rp���� NotNothingr�����convertr#���)r���r����rj���s��� r���r&���zDocFamily.__call__G��sV�������<��<�&�1�D�D��4�<�+�+�+��|�*�2�2�4�8�8���x�x��s�D�k�*�*�*r ���c������������������B�����|j���������\��}}|���������������������||������������S�r���r����)r���r.���r/���r:���r����rj���s��� r���rv���zDocFamily.c_test_containsO��s#�������E� ��T��!�!�!�S�)�)�)r ���r���r����r���r ���r���r����r����F��s7��������������+��+��+��+�*��*��*��*��*r ���r����c��������������������(�����e�Zd�Zd��Zdd�Zd��Zd��ZdS�)�RelOpFamilyc�����������������������t����������j��������|�g|�R�i�|���|����������������������dd���������������|����������������������dd���������������i�|�_��������d�S�)N�domainc�����������������������|�j���������d���������S�r����r����r���s��� r���r����z&RelOpFamily.__init__.<locals>.<lambda>W��s������A�E�!�H��r ���r����c�����������������������|�j���������d���������S�)Nr����r����r���s��� r���r����z&RelOpFamily.__init__.<locals>.<lambda>X��s������1�5��8��r ���)r���r ���r�����memor����s��� r���r ���zRelOpFamily.__init__U��s`��������D�*�1�*�*�*��*�*�*�����"4�"4�5�5�5�����!3�!3�4�4�4� ��� � � r ���Nc������������������Z����|�j������������������������������|������������}|�|}n|�j������������������������������|������������}|�j�����������������������������|||f������������}|�R|dv�rt ����������d|z��������������}||_��������n|}|j��������|_��������|����������������������|�|||f������������}||�j��������|||f<���|S�)N) rH����<=�==�!=�>�>=�in�not in�is�is notzlambda x,y: x %s y)r���r����r����getr����rs���rK���r#���)r���r�����opr����r���r����s��� r���r&���zRelOpFamily.__call___��s���������%�%�f�-�-���=��E�E��L�(�(��/�/�E��I�M�M�6�2�u�-�.�.���9��W�W�W��0�2�5�6�6���� � ��� �M�� �������e�4�5�5�A�-.�D�I�v�r�5�)�*��r ���c�����������������������t����������|���������������������|j��������������������������������}|st����������d|j��������d�d�������������g�S�t����������|���������������������|j��������������������������������}|st����������d|j��������d�d�������������g�S�g�}|�j��������j��������j��������j��������� ��������������������||������������D�]-}|� ��������������������||������������r|���������������������|��������������.|S�)N�relationr����r����)r����r����r����r����r����r���rU���r����r����r�����containsrX���)r���r.���r:����dom�ranr����r����s��� r���r����zRelOpFamily.c_get_examplesq��s���������3�#�#�A�H�-�-�.�.���� ��J���$��A�A�A��I��3�#�#�A�G�,�,�-�-���� ��J����w�?�?�?��I����,�$�*�.�:�:�3��D�D�� �� �B��|�|�A�r�"�"�� �� � �2������ r ���c������������������N�����|j���������\��}}}�||��s|�����������������������������������S�dS�)NT�r%���r����)r���r.���r/���r:����dr��r����s��� r���rv���zRelOpFamily.c_test_contains���s0�������5���2�q��r�1�v�� ��:�:�<�<���tr ���r���r����r���r ���r���r����r����T��sU��������������������������$�����&��������r ���r����c�������������������� �����e�Zd�Zd��Zd��Zd��ZdS�)�EqualsFamilyc������������������H�����|s|�j���������j��������S�|����������������������|������������S�r���)r���r����rr���rR���s��� r���r&���zEqualsFamily.__call__���s'�������� (��<�'�'��}�}�T�"�"�"r ���c������������������B�����||j���������v�rdS�|���������������������d������������S�)NT�equalsr��r@���s��� r���rv���zEqualsFamily.c_test_contains���s$���������:�:��4��z�z�(�#�#�#r ���c�����������������������|j���������S�r���r�����r���r.���r:���s��� r���r����zEqualsFamily.c_get_examples���s �������u�r ���Nr����r���r ���r���r��r�����sA��������������#��#��#� $��$��$� ��������r ���r��c�������������������� �����e�Zd�Zd��Zd��Zd��ZdS�)� ExampleFamilyc������������������2�����|�����������������������|�||f������������S�r���r"���)r���r�����exampless��� r���r&���zExampleFamily.__call__���s�������x�x��s�H�o�.�.�.r ���c������������������B�����|j���������\��}}|���������������������||������������S�r���r����)r���r.���r/���r:���r����r��s��� r���rv���zExampleFamily.c_test_contains���s#�������� ��X�� � ��C�(�(�(r ���c�����������������������|j���������\��}}|S�r���r����)r���r.���r:���r����r��s��� r���r����zExampleFamily.c_get_examples���s�������� ��X��r ���Nr����r���r ���r���r��r�����sA��������������/��/��/�)��)��)���������r ���r��c�������������������������e�Zd�Zd��Zd��ZdS�)�SynonymsFamilyc������������������.�����|�����������������������|�|������������S�r���r"���)r����namess��� r���r&���zSynonymsFamily.__call__���r����r ���c������������������r����|j���������}|�j��������j�������������������������������������������}|D�]-}|���������������������||������������}|���������������������|��������������.t ����������|������������s|���������������������d|z���������������t ����������|������������dk����r'|���������������������dt ����������|������������|fz���������������dS�)NzSynonyms: no such names: %rr���z*Synonyms: %d different nodes for names: %rT)r%���r���rp���r3���r���r6���rD���r����)r���r.���r/���r:���r%���msrs���r���s��� r���rv���zSynonymsFamily.c_test_contains���s���������� �\� � +� +� -� -���� �� �D����A�t�$�$�A��F�F�1�I�I�I�I��2�w�w�� >��J�J�4�u�<�=�=�=��r�7�7�Q�;�;��J�J�C��B����'�(�� )�� )�� )��tr ���Nr����r���r ���r���r#��r#�����s2��������������%��%��%���������r ���r#��c�������������������� �����e�Zd�Zd��Zd��Zd��ZdS�)�InstanceFamilyc�����������������������t����������||j��������������������s8|���������������������d|�j�����������������������������|�������������d|j�����������������������dS�)NzInstanceFamily: z is not an instance of T)r���r%���r����r���r����r@���s��� r���rv���zInstanceFamily.c_test_contains���sW�������!�Q�U�#�#�� -��J�J�J��� � ��#�#�#�#�Q�U�U�,�� -�� -�� -��tr ���c������������������f�����|����������������������|�j�����������������������������|j��������������������������������S�r���)r����r���r����r%���r��s��� r���r����zInstanceFamily.c_get_examples���s(����������� 4� 4�Q�U� ;� ;�<�<�<r ���c������������������D�������|�j���������j���������fd�|j��������D�����������������S�)Nc������������������>������g�|�]}t����������|�j���������������������|��S�r���)r���r%���)r ���r<���r.���s��� �r���r���z*InstanceFamily._and_ID.<locals>.<listcomp>���s*�������&U�&U�&U�b�z�"�a�e�?T�?T�&U�r�&U�&U�&Ur ���)r(���r8���r4���r-���s��� ` r���r=���zInstanceFamily._and_ID���s,�������$�t�x�$�&U�&U�&U�&U�A�G�&U�&U�&U�V�Vr ���N)rK���rM���rN���rv���r����r=���r���r ���r���r)��r)�����sF�������������������=��=��=�W��W��W��W��Wr ���r)��c�������������������������e�Zd�Zd��Zd��ZdS�)�ExpressionPredicateFamilyc������������������8�����d�}|�����������������������|�|||f������������S�r���r"���)r���r%��� expressionr����s��� r���r&���z"ExpressionPredicateFamily.__call__����"���������x�x��u�j�$�7�8�8�8r ���c������������������������|j���������\��}}}t����������dd���������������������|�������������d|��������������}i�}|D�]}|���������������������||������������} | ||<�����|di�|��} | s|���������������������d|z���������������dS�)N�lambda r����:zFalse expression: %sTr���)r%���r����r���r���r����� r���r.���r/���r:���r%��r1��r����r��rs���r���s ��� r���rv���z)ExpressionPredicateFamily.c_test_contains���s�������"#�%���z�4��t�c�h�h�u�o�o�o�o�z�z�B�C�C������ �� �D����A�t�$�$�A��A�d�G�G��D�I�I�1�I�I���� <��J�J�-� �:�;�;�;��tr ���Nr����r���r ���r���r/��r/�����s2��������������9��9��9� �� �� �� �� r ���r/��c�������������������������e�Zd�Zd��Zd��ZdS�)�ExpressionSetFamilyc������������������8�����d�}|�����������������������|�|||f������������S�r���r"���)r���r1��r%��r����s��� r���r&���zExpressionSetFamily.__call__���r2��r ���c����������� �������d����|j���������\��}}}|�j�����������������������������dd���������������������dt ����������|������������z����������������d|�d�������������}d|j��������i}|D�]}|���������������������||������������} | ||<�����|d i�|��} |���������������������| |d|�dd���������������������|�������������d�������������S�) Nr4��r�����LEz:(r����r<��zexpset(z, r���)r%���r���r����r���r���r<��r���r5���r6��s ��� r���rv���z#ExpressionSetFamily.c_test_contains���s�������"#�%���z�4��|� � � ��H�H�W�U�5�\�\�)�*�*�*�*�J�J�J�"8��9��9�� �3�6�N���� �� �D����A�t�$�$�A��A�d�G�G��D�I�I�1�I�I��� � ��A�A�:�:�:�s�x�x�PU�����'W�X�X�Xr ���Nr����r���r ���r���r8��r8�����s7��������������9��9��9� Y�� Y�� Y�� Y�� Yr ���r8��c�������������������� �����e�Zd�Zd��Zd��Zd��ZdS�)� MatchesFamilyc������������������\�����t����������j��������|�g|�R�i�|���|�j��������j��������j��������|�_��������d�S�r���)r���r ���r���rU����srer����s��� r���r ���zMatchesFamily.__init__���s6��������D�*�1�*�*�*��*�*�*��<�%�)����r ���c������������������`�����|�����������������������|�j�����������������������������|������������|f������������S�r���)r����r@���compile)r����regexps��� r���r&���zMatchesFamily.__call__���s*����������� 0� 0�� 8� 8�6�)�D�D�Dr ���c������������������x�����|j���������}|�j�����������������������������||������������}|�|���������������������d������������S�dS�)Nz Did not matchT)r%���r@���matchr����)r���r.���r/���r:���� regexpobjrc���s��� r���rv���zMatchesFamily.c_test_contains���s:�������E� ��H�N�N�9�a�(�(���9��:�:�o�.�.�.��tr ���Nr����r���r ���r���r>��r>�����sD��������������*��*��*�E��E��E���������r ���r>��c��������������������"�����e�Zd�Zd��Zdd�Zd��ZdS�)�RecurSelfFamilyc������������������d�����t����������j��������|�g|�R�i�|����G�d��d|�j��������������������}||�_��������d�S�)Nc�������������������������e�Zd�ZdZdS�)�+RecurSelfFamily.__init__.<locals>.RecurSpec)r�����recursion_level�recursion_limitN�rK���rM���rN���� __slots__r���r ���r���� RecurSpecrK�����s��������������D�I�I�Ir ���rP��)r���r ���r#���rP��)r���r.���r����rP��s��� r���r ���zRecurSelfFamily.__init__���sd��������D�*�1�*�*�*��*�*�*� E�� E�� E�� E�� E���� E�� E�� E��#����r ���� ���c������������������N�����|�����������������������|�|������������}||_��������d|_��������|S�r����)rP��rM��rL��)r����exprrM���ss��� r���r&���zRecurSelfFamily.__call__��s*�������N�N�4��&�&��+�������r ���c���������������������� �|j���������}n6#�t����������$�r)�|j��������}|���������������������d|z��������������x}|_���������Y�nw�xY�w�||�j��������j��������������������} �|���������������������||d������������}|st�����������n�#�t����������$�r|��||������������}|j ��������} �||j ��������k����r&|���������������������d|j ��������z��������������||_ ��������cY�S�|dz���|_ ��������|���������������������||d������������}||_ ��������n#�||_ ��������w�xY�wY�nw�xY�w|S�)Nzlambda self:%szrecur with Nothing, ok to failzrecurself: recursion_level = %sr����recur)r����r���r%���r����r���r����r5���r?���r7���rL��rM��r����) r���r.���r/���r:���r����rS��rT��r�����rls ��� r���rv���zRecurSelfFamily.c_test_contains ��sX����� >��6�D�D���� >�� >�� >��5�D��H�H�%5��%<�=�=�=�D�1�6�6�6� >����� �D���%�&�&�� '��"�"�1�a�)I�J�J�B��� ��� ���� '�� '�� '���Q���A��"�B� '���*�*�*��:�:�&G�!�J[�&[�\�\� �%'��!�!�!�!��)+�Q��A�%��&�&�q�!�W�5�5��$&��!�!��B��!�&�&�&�&�!�!� '������ sB���� ��0=�=� A7��7C=�'C.�;C=�!C.�&C=�. C7�7C=�<C=N)rQ��r����r���r ���r���rH��rH�����sF��������������#��#��#����������������r ���rH��c�������������������������e�Zd�ZdS�)�DummyN�rK���rM���rN���r���r ���r���rY��rY��#������������������Dr ���rY��c�������������������������e�Zd�Zd��Zd��ZdS�)�TupleformFamilyc������������������0�����|�����������������������||f������������S�r����rr���)r����formr����s��� r���r&���zTupleformFamily.__call__(��s�������}�}�d�C�[�)�)�)r ���c������������������t����|j���������\��}}t����������|������������}t����������|������������t����������|������������k����r4|���������������������dt����������|������������t����������|������������fz��������������S�t ������������������������}t����������||������������D�]\��}} t ����������||| ��������������|���������������������||d������������S�)Nz+tupleform: wrong length: got %d expected %d� tupleform)r%���r���rD���r����rY��r�����setattrr5���) r���r.���r/���r:���r`��r�����bt�obrs����vals ��� r���rv���zTupleformFamily.c_test_contains+��s��������E� ��c� �1�X�X���r�7�7�c�$�i�i����:�:�K�s�SU�w�w�X[�\`�Xa�Xa�Nb�b�c�c�c� �W�W���T�2���� #�� #�I�D�#��B��c�"�"�"�"�� � ��b�+�6�6�6r ���Nr����r���r ���r���r]��r]��'��s2��������������*��*��*�7��7��7��7��7r ���r]��c�������������������� �����e�Zd�Zd��Zd��Zd��ZdS�)r����c������������������0�����||�_���������||�_��������||�_��������d�S�r���)�category�source�target)r���ri��rj��rk��s��� r���r ���zArrow.__init__;��s������ �� ��������r ���c������������������l�����|�j������������������������������|������������}|�j������������������������������|�|������������S�r����ri���validate�compose�r����others��� r����ofzArrow.of@��s1�������� �&�&�u�-�-���}�$�$�T�5�1�1�1r ���c������������������l�����|�j������������������������������|������������}|�j������������������������������||�������������S�r���rm��rp��s��� r����tozArrow.toF��s1�������� �&�&�u�-�-���}�$�$�U�D�1�1�1r ���N)rK���rM���rN���r ���rr��rt��r���r ���r���r����r����:��sA������������������� 2��2��2�2��2��2��2��2r ���r����c�������������������������e�Zd�Zd��Zd��ZdS�)� IdentityArrowc������������������@�����t��������������������������������|�|||�������������d�S�r���)r����r ���)r���ri���objects��� r���r ���zIdentityArrow.__init__N��s ������ ���t�X�v�v�6�6�6�6�6r ���c�����������������������|S�r���r����r���r���s��� r���r&���zIdentityArrow.__call__Q��s�������r ���N)rK���rM���rN���r ���r&���r���r ���r���rv��rv��M��s2��������������7��7��7���������r ���rv��c�������������������������e�Zd�Zd��ZdS�)� FunctionArrowc������������������N�����t��������������������������������|�|||�������������||�_��������d�S�r���)r����r ���r&���)r���ri��rj��rk���functions��� r���r ���zFunctionArrow.__init__V��s%������ ���t�X�v�v�6�6�6� �� � � r ���N)rK���rM���rN���r ���r���r ���r���r|��r|��U��s#��������������!��!��!��!��!r ���r|��c��������������������.�����e�Zd�ZdZdZd��Zd��Zd��Zd��ZdS�)�RepresentationCategoryNc������������������t�����|����������������������t����������������������}|���������������������|�|�������������||�_��������d�S�r���)�family�RepresentationObjectFamily�init2�_fam)r���r(����specr+���s��� r���r ���zRepresentationCategory.__init___��s3�������j�j�3�4�4��� � �$������� � � r ���c������������������ �����|�|u�S�r���r���rp��s��� r����__eq__zRepresentationCategory.__eq__d��s�������u�}�r ���c������������������:�����t����������t����������|�������������������������S�r���)�hash�id�r���s��� r����__hash__zRepresentationCategory.__hash__g��s�������B�t�H�H�~�~�r ���c������������������N�����|�j������������������������������|������������}||�j��������|<���|S�r���)r���� getobject�__dict__�r���rs���r����s��� r����__getattr__z"RepresentationCategory.__getattr__j��s(�������I����%�%���� �d���r ���) rK���rM���rN����_derive_origin_�_origin_r ���r���r���r���r���r ���r���r���r���[��sZ���������������O��H������ ������������������r ���r���c��������������������D�����e�Zd�Zd��Zd��Zd��Zd��Zd��Zd��Zd��Z d��Z d ��Zd S�)r���c������������������������||�_���������i�|�_��������i�|�_��������i�|�_��������|����������������������d|�j���������������������|�j��������}�G�d��d|������������}||�_���������G�d��d|������������}�||�������������|�_��������d�S�)N� fromuniversalc�������������������������e�Zd�ZdZdS�)�>RepresentationObjectFamily.init2.<locals>.RepresentationObject)rt���fromNrN��r���r ���r����RepresentationObjectr���{��s��������������$�I�I�Ir ���r���c�������������������������e�Zd�Zd��Zd��ZdS�)�DRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpecc������������������,�����||�_���������|j��������|�_��������d�S�r���)r����cat�_cat)r���r+���s��� r���r ���zMRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpec.__init__���s�������� ��G�� � � r ���c�����������������������t����������|�j��������d|z��������������r2�t����������|�d|z��������������|�j��������j��������������������}||�j��������|<���|S�t ����������|�������������)Nz_get_%s)rk���rJ���r���r���r���r���r���r���s��� r���r���zPRepresentationObjectFamily.init2.<locals>.RepresentationCategorySpec.__getattr__���s]�������4�>�9�t�+;�<�<���7���i�$�&6�7�7�� �8I�J�J�A�*+�D�M�$�'��H�$�T�*�*�*r ���N)rK���rM���rN���r ���r���r���r ���r����RepresentationCategorySpecr������s2�������������� $�� $�� $� +�� +�� +�� +�� +r ���r���)r����objects�specs�arrowsr����r���r#���r���)r���r���r���r#���r���r���s��� r���r���z RepresentationObjectFamily.init2q��s��������������� ���������);�<�<�<��h�� %�� %�� %�� %�� %�3�� %�� %�� %��(��� +�� +�� +�� +�� +��� +�� +�� +��/�.�t�4�4�� � � r ���c������������������D�����||f}||�j���������v�r |�j���������|���������S�t�����������r���)r���� SpecError)r���r���cod�dcs��� r����getarrowz#RepresentationObjectFamily.getarrow���s)�������3�Z�� ������;�r�?�"��r ���c������������������������||�j���������v�r |�j���������|���������S�|����������������������|������������}||�j���������v�r"|�j���������|���������|�j���������|<���|�j���������|���������S��|�|������������}|x|�j���������|<���|�j���������|<���|S�r���)r���� normonamer���)r���rs����normname�os��� r���r���z$RepresentationObjectFamily.getobject���s��������4�<����<��%�%��>�>�$�'�'���t�|�#�#�!%��h�!7�D�L����<��)�)��D��N�N��67�7���X����d�!3��r ���c������������������������|j���������}||�j��������v�r |�j��������|���������S�t����������|�j��������d|z��d�������������}|��||�j��������������������}||�j��������|<���|S�t����������d|z���������������)Nz_get_spec_%szgetspec: No spec of %r)r%���r���r���r���r���r���)r����objrs����gs�sps��� r����getspecz"RepresentationObjectFamily.getspec���sv�������w���4�:����:�d�#�#� �T�Y��� 5�t� <� <�� �>���D�L�!�!�B�!�D�J�t���I��0�4�7�8�8�8r ���c����������������������� ���|j���������}d|z��}|��j��������v�r ��j��������|���������S�i�� t������������j��������|������������� |<���t ������������j��������������������D�]�}|���������������������d������������rd|v�s�|���������������������d������������\��}}|dd�����������}||k����rFt������������j��������|�������������t������������j��������t������������j��������|������������|���fd�������������� |<������ ��fd�}d|z��}��j �����������������������������|d|z��������������} | ��j��������|<������|������������} �G�d ��d t����������������������}�|��j��������| |� ������������}|��j��������|<���|S�)Nz%s.fromuniversal�map_�_to_����c������������������&���������j���������|�������������S�r���)r���)r���r_���r���s��� ��r���r����z:RepresentationObjectFamily.fromuniversal.<locals>.<lambda>���s�������q�q���q�/A�/A��r ���c������������������2����� �|\��}}n%#�t�����������$�r�|����������������������d������������cY�S�w�xY�wt����������|dd�������������}|�ur|����������������������d������������S�t����������|dd�������������}|�vr|����������������������d������������S�|����������������������||d������������S�)NzNot a sequence with length 2r+���z#Tag is not an object of this familyr%���z%Object is not a source of this targetz&Value is not an element of this object)r7���r����r���r5���)r:����e�O�Ar+����name_�Sr���s��� ��r����pz3RepresentationObjectFamily.fromuniversal.<locals>.p���s�������� B����1�1���� B�� B�� B��z�z�"@�A�A�A�A�A� B�����!�U�D�)�)�C��$����z�z�"G�H�H�H��A�u�d�+�+�E��A�~�~��z�z�"I�J�J�J��$�$�Q��+S�T�T�Ts���� ��+�+z%s.universalzSpecification-set for %rc�������������������� �����e�Zd�Zd��Zd��Zd��ZdS�)�:RepresentationObjectFamily.fromuniversal.<locals>.AlphaSumc������������������N�����t��������������������������������|�|||�������������||�_��������d�S�r���)r����r ����_S)r���ri��rj��rk��r���s��� r���r ���zCRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__init__���s%���������t�X�v�v�>�>�>�����r ���c������������������V�����|�j���������|�j��������j�����������������������������|���������������������S�r���)r���rj��r+���r���rz��s��� r����__getitem__zFRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__getitem__���s!�������w�t�{��8�8��;�;�<�<r ���c������������������8�����|\��}}�|�|j������������������|������������S�r���r����)r����xxx_todo_changemer����Es��� r���r&���zCRepresentationObjectFamily.fromuniversal.<locals>.AlphaSum.__call__���s������*���A�"�t�A�E�{�1�~�~�%r ���N)rK���rM���rN���r ���r���r&���r���r ���r����AlphaSumr������sA�������������� �� �� � =�� =�� =� &�� &�� &�� &�� &r ���r���)r%���r���rv��r����dirr���� startswith�splitr���r|��r���� predicater���r����)r���rk��rs���� arrowname�anrT��r����r����uniname�Prj��r���r����r���r_���s���` @@r���r���z(RepresentationObjectFamily.fromuniversal���s�����������z��&��-� ����#�#��;�y�)�)������&�1�1��$���d�i�.�.�� C�� C�B��M�M�&�)�)�� �f��l�l���8�8�F�#�#�D�A�q��!�"�"��A��D�y�y��D�I�r�*�*��$�T�X�w�t�x��/C�/C�V�%A�%A�%A�%A�%A�C��C��!��� U�� U�� U�� U�� U�� U��!�4�'���L�"�"�1�&@�7�&J�K�K���� �7����g���� &�� &�� &�� &�� &�u�� &�� &�� &������6�6�1�5�5��!&���I���r ���c������������������������t����������|�j��������dd�������������}|�L|�j��������j��������D�]?}d�}|D�]8}|�����������������������������������r|}||k����r|�|c�c�S�t ����������d|z����������������9�@|S�)N�_isos_z*No numeric object name corresponding to %r)r���r���r����isdigitr���)r����on�isosr�����nn�ns��� r���r���z$RepresentationObjectFamily.normoname���s��������t�y�(�D�1�1�����Y�%�� O�� O������O��O�A��y�y�{�{������B�w�w��>�#%�I�I�I�I�I�'�H�2�M�O��O��O���O��� r ���c������������������j�����|�����������������������|������������}�G�d��d������������}�||������������|_��������|S�)Nc��������������������$�����e�Zd�ZdZd��Zd��Zd��ZdS�)�/RepresentationObjectFamily.__call__.<locals>.To�rj��c�����������������������||�_���������d�S�r���r���)r���rj��s��� r���r ���z8RepresentationObjectFamily.__call__.<locals>.To.__init__��s ������$����r ���c������������������L�����|�j���������j�����������������������������|�j���������|������������S�r���)rj��r+���r���)r���rk��s��� r���r&���z8RepresentationObjectFamily.__call__.<locals>.To.__call__��s�������{��/�/���V�D�D�Dr ���c������������������t�����|�j���������}|j��������}|���������������������|������������}|���������������������||������������S�r���)rj��r+���r���r���)r���rs���rj��r+���rk��s��� r���r���z;RepresentationObjectFamily.__call__.<locals>.To.__getattr__��s5����������j�����t�,�,���|�|�F�F�3�3�3r ���N)rK���rM���rN���rO��r ���r&���r���r���r ���r����Tor�����sI��������������!�I� %�� %�� %� E�� E�� E� 4�� 4�� 4�� 4�� 4r ���r���)r����rt��)r���rs���r����r���s��� r���r&���z#RepresentationObjectFamily.__call__��sQ�������M�M�$���� 4�� 4�� 4�� 4�� 4�� 4�� 4�� 4���r�!�u�u����r ���c������������������Z�����|�����������������������|������������}|���������������������||d������������S�)Nz7RepresentationObjectFamily: not in object specification)r���r5���r����s��� r���rv���z*RepresentationObjectFamily.c_test_contains��s*�������l�l�1�o�o��� � ��a�)b�c�c�cr ���c������������������V�����|�����������������������|������������}|���������������������|������������S�r���)r���r����)r���r.���r:���r����s��� r���r����z)RepresentationObjectFamily.c_get_examples��s%�������l�l�1�o�o������$�$�$r ���N)rK���rM���rN���r���r���r���r���r���r���r&���rv���r����r���r ���r���r���r���p��s���������������5��5��5�:�����5��5��5�9��9��9�A��A��A�F �� �� ������*d��d��d�%��%��%��%��%r ���r���c��������������������,�����e�Zd�Zd��Zd��Zd��Zd��Zd��ZdS�)�AbstractSetFamilyc������������������d�����t����������j��������|�g|�R�i�|����G�d��d|�j��������������������}||�_��������d�S�)Nc�������������������������e�Zd�ZdZd��ZdS�)�/AbstractSetFamily.__init__.<locals>.AbstractSet)�_memoc������������������>�����||�_���������||�_��������d�|�_��������i�|�_��������d�S�r���)r+���r%���r���r���)r���r+���r%���s��� r���r ���z8AbstractSetFamily.__init__.<locals>.AbstractSet.__init__'��s"������������ $�� ��� � � r ���N)rK���rM���rN���rO��r ���r���r ���r����AbstractSetr���$��s(�������������� �I� �� �� �� �� r ���r���)r���r ���r#���)r���r.���r����r���s��� r���r ���zAbstractSetFamily.__init__!��s\��������D�*�1�*�*�*��*�*�*� �� �� �� �� �$�(�� �� �� ������r ���c������������������B�����|�����������������������||f������������}i�|_��������|S�r���)rr���r���)r���r����r����r����s��� r���r&���zAbstractSetFamily.__call__.��s#�������M�M�5�#�,�'�'������r ���c�����������������������|j���������|�u�r'|j��������\��}}|j��������\��}}||u�r�|�|||z��������������S�|j������������������������������||������������S�r���)r+���r%���� _rand_ATOM)r���r.���r/����aa�sa�ab�sbs��� r���r0���zAbstractSetFamily.c_and3��sZ�������5�D�=�=��U�F�B���U�F�B���R�x�x��t�B��R��(�(�(��u����1�%�%�%r ���c���������������������������||j���������v�r |j���������|���������S�|j��������\��}�||�����������j������������fd�}|�j�����������������������������|d|z��������������}||j���������|<���|S�)Nc������������������~������|������������������������|d������������}|r"��|������������}|������������������������|d������������}|S��Nz AbstractSet: not in arrow.sourcez AbstractSet: not in argument set)r5���r��r����)r:���r���r����r����pararrowr�����srcsets��� ���r���r���z'AbstractSetFamily.c_getattr2.<locals>.pC��sZ��������!�!���=�?��?�A��� @��H�Q�K�K���%�%���>�@��@���Hr ���zAbstract set attribute: %r)r���r%���rj��r���r���) r���r.���r/���r����r���rT��r���r����r���s ��� @@@r���� c_getattr2zAbstractSetFamily.c_getattr2;��s�������������<�<��7�1�:���U� ��s���8����� (�� (�� (�� (�� (�� (�� (�� �L�"�"�1�&B�Q�&F�G�G������ ��r ���c�����������������������|j���������\��}}|���������������������|j��������|d������������}|r"�||������������}|���������������������||d������������}|S�r���)r%���r5���rj��)r���r.���r/���r:���r����r����r����r���s��� r���rv���z!AbstractSetFamily.c_test_containsR��sa�������U� ��s�����L�!�?� A�� A���� N���a���A��!�!�#�q�*L�M�M�A��r ���N)rK���rM���rN���r ���r&���r0���r���rv���r���r ���r���r���r��� ��s_������������������������ &��&��&������.��������r ���r���c�������������������������e�Zd�Zd��Zd��ZdS�)� ElemFamilyc������������������,�����|�����������������������|������������S�r���r����)r���r����s��� r���r&���zElemFamily.__call__]��r����r ���c������������������T�����|j���������}�||������������}|���������������������||d������������S�)Nr���r����)r���r.���r/���r:���r����rT��s��� r���rv���zElemFamily.c_test_contains`��s.�������u���D��G�G��� � ��A�|�4�4�4r ���Nr����r���r ���r���r���r���\��s2��������������#��#��#�5��5��5��5��5r ���r���c�������������������������e�Zd�Zd��Zd��ZdS�)�IntersectionFamilyc������������������0�����|�����������������������||f������������S�r���r_��)r���r����r~��s��� r���r&���zIntersectionFamily.__call__g��s�������}�}�f�h�/�0�0�0r ���c������������������N�������|j���������\��}�|���������������������|��fd�������������S�)Nc������������������D������|�������������������������|�������������d������������S�)N�Intersectionr����)r:���r���r/���r~��s��� ��r���r����z4IntersectionFamily.c_test_contains.<locals>.<lambda>l��s%��������+�+�H�H�Q�K�K��N�K�K��r ���r����)r���r.���r/���r:���r����r~��s��� ` @r���rv���z"IntersectionFamily.c_test_containsj��sI���������5�����z�z�&��#L��#L��#L��#L��#L��M��M�� Mr ���Nr����r���r ���r���r���r���f��s7��������������1��1��1�M��M��M��M��Mr ���r���c�������������������������e�Zd�ZdS�)r���NrZ��r���r ���r���r���r���p��r[��r ���r���c�������������������������e�Zd�ZdS�)r?���NrZ��r���r ���r���r?���r?���t��r[��r ���r?���c�������������������������e�Zd�ZdS�)� CoverageErrorNrZ��r���r ���r���r��r��x��r[��r ���r��c�������������������� �����e�Zd�ZdZdd�Zd��ZdS�)�LocalEnv�ADDr���c������������������>�����||�_���������||�_��������d�|�_��������||�_��������d�S�r���)�_mod�_specr����nodoc)r���r(���r���r ��s��� r���r ���zLocalEnv.__init__��s"�������� ��� ��� ��� � � r ���c������������������b����|�j���������}t����������|�j��������|������������}|�j������������������������������|j��������j��������j��������j�����������������������������|j ��������������������������������}|j��������j �����������������������������|j ��������||j��������|j ��������|j��������������������}�|d������������}||�j��������|<���|S�)Nr���)r��r���r���_load_namesrU���r����r�����Code�co_findloadednamesr^���ri����FunctionTyperK����__defaults__�__closure__r���)r����attribute_namer(���r_���r���nfr����s��� r���r���zLocalEnv.__getattr__���s��������i���D�J��/�/���I�!�!��I�O��$�7�7�� �C�C� E�� E�� �Y�_� )� )� �J� � �J� �N� �M������ �B�r�F�F��()�� �n�%��r ���N)r���)rK���rM���rN���r���r ���r���r���r ���r���r��r��|��s<���������������O�������� �� �� �� �� r ���r��c�������������������������e�Zd�ZdZdZdZdZeZd��Zd��Z d��Z d��Zd��Zd ��Z d ��Zd��Zd��Zd ��Zdd�Zd��Zd��Zd��Zdd�Zd��Zd��Zdd�Zdd�Zdd�Zdd�ZdS�)�TestEnvr ��Fr����c������������������ ����||�_���������g�|�_��������i�|�_��������|�k�|��������������x|�_��������} �|j��������}n#�t ����������$�r�d}Y�nw�xY�wt ����������||������������}||_��������||�_��������|�� ��������������������|j ��������������������|�_��������d�S�d�S�)Nry���)r(����messagesr��r����LocalEnvExprr���r���_OBJ_r<��r�����GlueTypeExpr�topspec)r���r(����Specr����lexr<��s��� r���r ���zTestEnv.__init__���s������������ ��� ���#�t�v�v�%�D�I�� ��'����!�� �� �� ����� �����#�s�#�#�B��B�H��D�G��9�9�T�%6�7�7�D�L�L�L���s����2��A��Ac����������������������|�j���������}|j��������j��������}t����������|t����������f������������r-|�j������������������������������d|z��������������}�||�j��������������������S�g�}d�}t����������|j��������� ����������������������������������������������}|� �����������������������������������|D��]}t����������||������������} �| j��������} n#�t����������$�r�Y��(w�xY�w| j��������d�| j������������������dk����r�|���������������������|j��������j��������j��������j�����������������������������| ������������������������}|j��������j�����������������������������| j��������|| j��������| j��������| j��������������������}�|d������������} |dk����r| }��|���������������������|���������������������|| ���������������������������t7����������d�������������|�|���������������������|�������������|j��������j�����������������������������|������������}|S�)Nzlambda LE:( %s ))�INr����_SELF_z#TestEnv.eval: invalid argument mode)r(���rU���ri���r���r���r����r<��r����r����keys�sortr���r^���r����co_varnames�co_argcountr��r����r����r��r��r��rK���r��r��rX����attrr���rp���r)���r*���)r���rS��r(���ri���r�����ls�selfsetr%��rs���r_����cor��r��rT��r����s��� r���r����zTestEnv.eval���s�������h��� ����d�S�F�#�#�� !��8�=�=�!5��!<�=�=�D��4���=�=� � �����T�]�'�'�)�)�*�*�� � � ������ G�� G�D���d�#�#�A� ��Z����!�� �� �� ��� �����~�o�r�~�o�.�'�9�9��O�O��I�O�'�,�?�?��C�C�E��E����Y�_�1�1��J���J��N��M�#��#����B�r�F�F���8�#�#��G�G��I�I�c�h�h�t�Q�/�/�0�0�0�0�� E�F�F�F�����I�I�g���� � �J��$�$�R�(�(���s����+B3�3 C��?C�c������������������,���� �t����������|������������}n�#�t����������$�ru� �|�j��������|���������}nT#�t����������$�rG�t ����������||�j��������j��������j��������������������r|���������������������|�������������}nt����������|������������}Y�nw�xY�wt����������|������������}Y�nw�xY�w|S�r���) �iterr����r���KeyErrorr���r(���rp���r����r����)r���� collection�itr����s��� r���r����zTestEnv.get_examples���s������� ��j�!�!�B�B���� �� �� � *��]�:�.������ *�� *�� *��j�$�(�/�*@�A�A��*�#�0�0��6�6�B�B��j�)�)�B��� *���� ��b���B�B�B� ������ s0������ B� +�B�AA<�9B�;A<�<B�Bc����������� ������������d|v�r�|}|����������������������d������������D�]o} �t����������||������������}�#�t����������$�rO�|����������������������d|����������������������|�������������d|��d|����������������������|�������������d|��z���������������cY�c�S�w�xY�wnX �t����������||������������}nF#�t����������$�r9�t ����������r��|����������������������d|����������������������|�������������d|��������������cY�S�w�xY�w|S�)N�.z getattr: z has no attribute z , because zattr: )r���r���r7���r����rs����DEBUG)r���r���rs���r����subnames��� r���r���zTestEnv.getattr���sQ������$�;�;��A��:�:�c�?�?�� f�� f��f���7�+�+�A�A�� ��f��f��f��;�;�;�D�I�I�VY�N�N�N�N�\`�\`�'a�'a�NR�i�i�XY�l�l�l�l�\c�\c�'d�(e��f��f��f��f��f��f��f�f���� f� \��C��&�&������ \�� \�� \������{�{�{�T�Y�Y�s�^�^�^�^�UY�UY�#Z�[�[�[�[�[� \������s#����0�AB �B �B��A�C"�!C"c������������������:�������t����������|t����������������������r������������������������|������������S�t����������|t����������������������rKt ����������|������������dk����r|d�����������j��������j��������u�r|d���������S�t�������������fd�|D���������������������������S�t����������d�������������)Nr����rx���r���c������������������<������g�|�]}������������������������|��������������S�r���)ru���)r ����ntr���r���s��� ��r���r���z&TestEnv.gengetattr.<locals>.<listcomp> ��s'�������O�O�O�2�d�o�o�c�2�6�6�O�O�Or ���z0gengetattr: I am picky, required string or tuple)r���r���r���r���rD���r(����quoter����)r���r���� name_or_tuples���`` r���ru���zTestEnv.gengetattr��s����������m�S�)�)�� P��<�<��]�3�3�3� � �u� -� -�� P��=�!�!�Q�&�&�=��+;�t�x�~�+M�+M�$�Q�'�'��O�O�O�O�O��O�O�O�P�P�P��N�O�O�Or ���c������������������:�����|�j������������������������������|�������������d�S�r���)r��rX����r����messages��� r����logzTestEnv.log ��s������� ���W�%�%�%�%�%r ���c�����������������������t����������||�j��������j��������j��������������������rt����������|������������S�d|�j�����������������������������|������������z��S��Nz%s)r���r(���rp���r���r����)r���r���s��� r���rs���zTestEnv.name��s?�������c�4�8�?�1�2�2�� ,��s�8�8�O��$�(�,�,�s�+�+�+�+r ���c�����������������������d|z��S�r?��r���)r���r/��s��� r���� name_collzTestEnv.name_coll��s �������j� � r ���c�����������������������|�����������������������|������������� �|����������������������|�j��������|d�������������d�S�#�t����������$�r<�|�j��������j��������j�������������������������������������������}|����������������������|�������������Y�d�S�w�xY�w)NzTop spec) �get_obj_examplesr5���r��r7���r(���rU����sys�exc_info�dump_failure)r���r����tvts��� r����testzTestEnv.test��s����������c�"�"�"� #����t�|�S�*�=�=�=�=�=���� #�� #�� #��(�.�$�-�-�/�/�C����c�"�"�"�"�"�"� #���s����5��AA;�:A;c����������������������|�j������������������������������|�|������������}|D�]`}|dd�����������}|d���������}|�j�����������������������������|g�������������}|D�].}|���������������������|�������������|����������������������||d��������������/�ad�S�)Nr���rx���ztesting example of set)r����GetExamplesr��� setdefaultrX���r5���)r���r���r����r����vsrT���vs��� r���rC��zTestEnv.get_obj_examples!��s������� �Y� "� "�4�� -� -���� C�� C�A��1�2�2��B��!��A�� �(�(��B�/�/�A��� C�� C����������"�"�1�a�)A�B�B�B�B� C� C�� Cr ���rx���c����������������������|\��}}}g�}|}|�=|j���������}|j��������|�j��������j��������j��������u�r|���������������������|�������������|j��������}|�=|D�]^}|j��������} t����������d| d������������������������t����������d| d������������������������t����������d| d����������������������t����������d��������������_|r(|�j ��������j ��������j�����������������������������|||�������������d�S���)Nza = r.���zb = r/���z message = r<��z-----) �tb_frame�f_coder5���rb���r^���rX����tb_next�f_locals�printr(���rU���� traceback�print_exception) r����xxx_todo_changeme3�noraiserj����valuerT��r�����tbr_����los ��� r���rF��zTestEnv.dump_failure+��s�������#5� ��u�i��� ���n���A��x�4�-�6�?�?�?����A������B� ��n� ��� �� �A���B��E�b��g�g�'�(�(�(��E�b��g�g�'�(�(�(��,��9� �.�.�.��'�N�N�N�N��� ��H�N�$�4�4�T�5�)�L�L�L�L�L�r ���c������������������n����� �|�����������������������||d������������}n#�t����������$�r���t����������$�r�Y�dS�w�xY�w|S�)Nr��F)r5���r��r7���)r���r.���r/���r���s��� r���r��zTestEnv.contains?��s\������ ��"�"�1�a��4�4�A�A���� �� �� ���� �� �� ��5�5� �����s������2�2c������������������.�����|����������������������||�������������S�r���r�����r���r.���r/���r<��s��� r���r5���zTestEnv.test_containsH��s���������q�$�'�'�'r ���c����������������������� �|����������������������||��������������|����������������������d|z��������������S�#�t����������$�r���t����������$�r�Y�dS�w�xY�w)Nztest_contains_not, from: %sT)r5���r����r��r7���r]��s��� r����test_contains_notzTestEnv.test_contains_notK��so������ H� �O�O�A�t�$�$�$���;�;�<�w�F�G�G�G����� �� �� ���� �� �� ��4�4� ���s����0��A�Ary���c������������������b�����|�j���������s'|����������������������d|z����������������t����������|�������������dS��NzFailed:F)�issilentr=��r?���r;��s��� r���r����zTestEnv.failedU��s6�������}�� %��H�H�Y��(�)�)�)��G�$�$�$��ur ���c������������������P�����||�j���������j��������u�rdS�t����������|�d|�d|���������������)NTz: no examples for collection = z, message: )r(���r����r��)r����forwhatr/��r����r<��s��� r���r����zTestEnv.failed_coverage[��s?���������)�)�)��4���G�G�Z�Z�Z���*��+��+�� +r ���c�����������������������|�j���������j��������j�������������������������������������������}|\��}}}|�j��������s#|����������������������d|z�����������������||�������������dS�ra��)r(���rU���rD��rE��rb��r=��)r���r<��rE��rj���rX��rT��s��� r���r����zTestEnv.failed_exc_infoa��sZ�������8�>�%�.�.�0�0��!)���e�Y��}�� ��H�H�Y��(�)�)�)��$�u�+�+���ur ���c������������������P����|�����������������������|������������}d}|D�]C}�||�|������������s0|����������������������d|����������������������|�������������d|��������������c�S�|dz ��}�D|sF �t����������|������������}|dk����rt�����������n(#�t ����������$�r�|����������������������d|||�������������Y�nw�xY�wdS�)Nrx���zforall: e = �, from: r���r����T)r����r����rs���rD���r��r7���r����)r���r/��r����r<��r����r���r���r.���s��� r���r����zTestEnv.foralli��s������� � � �z� *� *�� ���� �� �A��4��a�=�=�� Y��{�{�{����1�����w�w�#W�X�X�X�X�X� ��F�A�A��� J� J�� �O�O���q�5�5�'�'������� J�� J�� J��$�$�X�z�4��I�I�I�I�I� J������ts����!A>��>"B#�"B#c����������� �������N����|�����������������������|������������}d}|D�]p}|�����������������������|������������D�]X}�||�||������������sD|����������������������d|����������������������|�������������d|����������������������|�������������d|���������������|dz ��}�Y�q|s|����������������������d|||�������������dS�)Nrx���zforall_pairs: a = �, b = rg��r����forall_pairsT�r����r����rs���r����)r���r/��r����r<��r����r���r.���r/���s��� r���rj��zTestEnv.forall_pairs{��s���������� �+�+�� ���� �� �A��&�&�z�2�2�� �� ���t�D�!�Q�'�'��>��K�K�K�� � �!�����d�i�i��l�l�l�l�G�G�!=��>��>��>��Q���� � ��� L�� � ���T�7�K�K�K��tr ���c����������� �����������|�����������������������|������������}d}|D�]�}|�����������������������|������������D�]�}|�����������������������|������������D�]o}�||�|||������������sZ|����������������������d|����������������������|�������������d|����������������������|�������������d|����������������������|�������������d|���������������|dz ��}�p����|s|����������������������d|||�������������dS�) Nrx���zforall_triples: a = ri��z, c=rg��r����forall_triplesTrk��) r���r/��r����r<��r����r���r.���r/����cs ��� r���rm��zTestEnv.forall_triples���s�������� �+�+�� ���� �� �A��&�&�z�2�2�� �� ���*�*�:�6�6�����A��4��a��A�.�.��P����� �I�I�a�L�L�L�L�$�)�)�A�,�,�,�,�� � �!�����g�g�%O��P��P��P���F�A�A� � ���� N�� � �!1�:�t�W�M�M�M��tr ���c������������������t����g�}t����������|������������D�]_\��}} ��||������������}nH#�t����������$�r;�|���������������������||�j��������j��������j�������������������������������������������f�������������Y��Vw�xY�w|r�dS��`|D�].\��}}t����������d|z���������������|����������������������|d���������������/|�� ��������������������|�������������d�S�)NTz%forsome: exception at collection[%d]:r���)rW��) r����r7���rX���r(���rU���rD��rE��rS��rF��r����) r���r/��r����r<���failuresr����r���r/���rG��s ��� r����forsomezTestEnv.forsome���s����������j�)�)�� �� �D�A�q� ��D��G�G������ �� �� �����D�H�N�$6�$?�$?�$A�$A� B�C�C�C��� ������� ��t�t� � �� .�� .�H�Q���9�A�=�>�>�>����c�1��-�-�-�-����G�����s����$�AA)�(A)N)rx���)ry���)rK���rM���rN���r���� iscompleterb��r����r?���r ���r����r����r���ru���r=��rs���rA��rH��rC��rF��r��r5���r_��r����r����r����r����rj��rm��rq��r���r ���r���r��r�����s���������������O��J��H�#$� ��I�8��8��8� 3��3��3�j����������$ P�� P�� P�&��&��&�,��,��,�!��!��!�#��#��#�C��C��C��������(�����(��(��(�H��H��H��������+��+��+�������������$�������������� �� �� �� �� �� r ���r��c������������������������e�Zd�ZdZdZdZdZd��Zd��Zd��Z d��Z d ��Zd ��Zd��Z d��Zd ��Zd��ZdBd�Zd��Zd��Zd��Zd��ZdBd�Zd��Zd��ZdCd�Zd��ZdBd�Zd��Zd��Zd��Zd��Zd ��Z d!��Z!d"��Z"d#��Z#d$��Z$d%��Z%d&��Z&d'��Z'd(��Z(d)��Z)d*��Z*d+��Z+d,��Z,d-��Z-d.��Z.d/��Z/d0��Z0d1��Z1d2��Z2d3��Z3d4��Z4d5��Z5d6��Z6d7��Z7d8��Z8d9��Z9d:��Z:d;��Z;d<��Z<d=��Z=d>��Z>d?��Z?d@��Z@dA��ZAdS�)D�_GLUECLAMP_)�_loaded) r����Docr���r����r����rB���wrap_source_stringr��r����)�_hiding_tag_)z_parent:Usez_parent.Use:isoz_parent.Use:Nothingc�����������������������|�j���������j��������S�r���)�_parentrp���r���s��� r����_get_UniSetz_GLUECLAMP_._get_UniSet���s������$�,�"5�5r ���c�����������������������|�j���������j��������S�r���)rz��rv��r���s��� r����_get_Docz_GLUECLAMP_._get_Doc���s������t�|�/�/r ���c�����������������������|�j���������j��������S�r���)rz���Viewr���s��� r���� _get_Viewz_GLUECLAMP_._get_View���s�������� 1�1r ���c������������������L�����|�j������������������������������|�j���������j��������d������������S�)Nzguppy.heapy.Spec)rv��� attribute�rootr���s��� r���� _get__origin_z_GLUECLAMP_._get__origin_���s�������x�!�!�$�(�-�1C�D�D�Dr ���c����������������������|�j���������}|dk����r � �|���������������������||���������������������|�j��������|������������������������}nA#�|j��������$�r4�t����������d������������������������������������������������t����������d|�������������Y�nw�xY�w|S�)N�setofrT��zno wrap:)rv���wrapr���r����DocError� __import__� print_excrS��)r���r���rs���rv��s��� r���� _wrapattr_z_GLUECLAMP_._wrapattr_���s��������h���7�?�?�� $��(�(�3�� � �d�m�T� B� B�C�C�C�C���|�� $�� $�� $��{�#�#�-�-�/�/�/��*�d�#�#�#�#�#� $������ s����/A����;A>�=A>c������������������6�����|�����������������������t����������������������S�r���)r���r���r���s��� r����_get_abstractsetz_GLUECLAMP_._get_abstractset���s�������{�{�,�-�-�-r ���c������������������6�����|�����������������������t����������������������S�r���)r���r|���r���s��� r����_get_adaptuplez_GLUECLAMP_._get_adaptuple�����������{�{�?�+�+�+r ���c�����������������������|�j����������S�r���)r����r���s��� r����_get_anyz_GLUECLAMP_._get_any���s��������}�r ���c������������������6�����|�����������������������t����������������������S�r���)r���rP���r���s��� r���� _get_argnamesz_GLUECLAMP_._get_argnames�����������{�{�>�*�*�*r ���c������������������6�����|�����������������������t����������������������S�r���)r���rm���r���s��� r���� _get_attrz_GLUECLAMP_._get_attr���r���r ���Nc������������������P�����|�j���������}|D�]}||����������������������||������������z��}�|S�r���)ro���r(��)r���r%��rj���r���r���s��� r����attrsz_GLUECLAMP_.attrs���s7�������H���� $�� $�A� ����1�d�#�#�#�A�A��r ���c������������������4�����d��}|�����������������������|d������������S�)Nc������������������Z����� �|r �n%#�t�����������$�r�|����������������������d�������������Y�nw�xY�wdS�)Nz#boolean: 'if x' raised an exceptionT)r7���r�����r:���r���s��� r���r���z#_GLUECLAMP_._get_boolean.<locals>.p���sQ������ B��������� B�� B�� B�� � �@�A�A�A�A�A� B�����4s������(�(�boolean�r����r���r���s��� r����_get_booleanz_GLUECLAMP_._get_boolean���s'������ �� �� ���~�~�a��+�+�+r ���c������������������0�����|�����������������������d��d������������S�)Nc������������������ �����t����������|������������S�r���)�callabler���s��� r���r����z+_GLUECLAMP_._get_callable.<locals>.<lambda>���s������X�a�[�[��r ���r���r���r���s��� r���� _get_callablez_GLUECLAMP_._get_callable���s�������~�~�8�8�*�E�E�Er ���c����������� �������L���� � ��� �������|�j���������j��������}|�j���������j���������|�j���������j���������d���d��� t �����������fd�t����������|j��������������������D���������������������������� � ���������������������t ����������� fd�t�����������j ��������� ����������������������������������������������D����������������������������������������� fd��� �fd�}�fd��d���d ��}d ��}d��}t �����������fd�t�����������j ��������� ����������������������������������������������D��������������������������������������������������t �����������fd �t����������|j��������������������D����������������������������������������|�|j��������<���dD�]}|�t����������||������������<����|�|j ��������<����fd�� �G��� �fd�d��������������|�����������������fd�}|S�)Nc�����������������������|�S�r���r�����noder_���s��� r����mapchildren_idz0_GLUECLAMP_._get_compile.<locals>.mapchildren_id���s�������Kr ���c������������������D������|�d���������g�fd�|�dd�����������D���������������z���S�)Nrx���c������������������&������g�|�] }��|��������������S�r���r���)r ���r���r_���s��� �r���r���zI_GLUECLAMP_._get_compile.<locals>.mapchildren_default.<locals>.<listcomp>���s!�������7�7�7����!���7�7�7r ���r���r���r���s��� `r����mapchildren_defaultz5_GLUECLAMP_._get_compile.<locals>.mapchildren_default���s1���������G�9�7�7�7�7�d�1�2�2�h�7�7�7�7�7r ���c������������������������g�|�]}|�f��S�r���r���)r ���rX��r���s��� �r���r���z,_GLUECLAMP_._get_compile.<locals>.<listcomp>���s�������H�H�H��e�^� $�H�H�Hr ���c������������������������g�|�] \��}}|�f�� S�r���r���)r ���rX��rs���r���s��� �r���r���z,_GLUECLAMP_._get_compile.<locals>.<listcomp>���s9��������*\��*\��*\�.9�e�T��,1�2E�*F��*\��*\��*\r ���c������������������4��������|�d������������������|�|������������S�r����r���)r���r_����mapchildren_dispatchs��� �r����mapchildrenz-_GLUECLAMP_._get_compile.<locals>.mapchildren���s�������0�'��Q��0��q�9�9�9r ���c�����������������������������������������������������������������t�����������j�������������������������������������������������������D�]-\��}}t ����������|�|������������rt����������|�|������������j���������|<����.��fd���S�)Nc������������������4��������|�d������������������|��������������S�r����r���)r����_visitr��s��� ��r���r���z9_GLUECLAMP_._get_compile.<locals>.visitor.<locals>._visit��s�������Z�Q�t�A�w�Z��f�%=�%=�=r ���)�copyr�����sym_name�itemsrk���r���rb���)�CrX��rs���r���r��r����symbols��� @@��r����visitorz)_GLUECLAMP_._get_compile.<locals>.visitor���s���������$�)�)�+�+�A�#�F�O�$9�$9�$;�$;�<�<�� 9�� 9���t��1�d�#�#��9�&�q�$�/�/�8�A�e�H��=�=�=�=�=�=��Mr ���c������������������R������|�dd�����������D�]}��|d������������������||��������������d�S�)Nr���rx���r���)r���r����r����recover_source_dispatchs��� �r����recover_source_nodez5_GLUECLAMP_._get_compile.<locals>.recover_source_node ��sC��������!�"�"�X�� 4�� 4��-�'��!��-�a��3�3�3�3� 4�� 4r ���c�����������������������|r!|d���������dk����r|����������������������d�������������|����������������������|�d����������������������d�S��Nr����rI���� r����rX����r���r����s��� r����recover_source_tokenz6_GLUECLAMP_._get_compile.<locals>.recover_source_token ��sA�������� �Q�r�U�c�\�\����� � � � �H�H�T�!�W�����r ���c������������������~�����|r|d���������dvr|����������������������d�������������|����������������������|�d����������������������d�S�)Nr����)r2��rI���r���r���r���r���s��� r����recover_source_namez5_GLUECLAMP_._get_compile.<locals>.recover_source_name��sC�������� �Q�r�U�*�,�,����� � � � �H�H�T�!�W�����r ���c������������������<�����|����������������������|�d����������������������d�S�r����r���r���s��� r����recover_source_tight_leftz;_GLUECLAMP_._get_compile.<locals>.recover_source_tight_left��s������ �H�H�T�!�W�����r ���c������������������������|rC|d���������dd�����������������������������������������������s!|d���������dk����s|���������������������d�������������|���������������������|�d����������������������d�S�r���)�isalnumrX���r���s��� r����recover_source_lparz5_GLUECLAMP_._get_compile.<locals>.recover_source_lpar��s`�������� �!�B�%����*�,�,�.�.�� �!�B�%�3�,�,����� � � � �H�H�T�!�W�����r ���c������������������������g�|�] \��}}|�f�� S�r���r���)r ���rX��rs���r���s��� �r���r���z,_GLUECLAMP_._get_compile.<locals>.<listcomp>��s9��������(Z��(Z��(Z�,7�E�4��*/�0C�(D��(Z��(Z��(Zr ���c������������������������g�|�]}|�f��S�r���r���)r ���rX��r���s��� �r���r���z,_GLUECLAMP_._get_compile.<locals>.<listcomp>"��s�������S�S�S�E�5�.�/�S�S�Sr ���) �RPAR�LSQB�RSQB�COLON�COMMA�SEMI�DOT�LBRACE�RBRACEc������������������b������g�}��|�d������������������|�|�������������d����������������������|������������S�)Nrx���ry���)r���)r���r����r���s��� �r����recover_sourcez0_GLUECLAMP_._get_compile.<locals>.recover_source-��s4��������A�,�#�D��G�,�T�1�5�5�5��7�7�1�:�:�r ���c��������������������������e�Zd�Z����fd�ZdS�)�._GLUECLAMP_._get_compile.<locals>.wrap_lambdefc�����������#�������F�����t����������|�������������dk����r�|�d���������d����������j��������k����rk��|�d���������������������}��|�d���������|������������}dddddd d ddd dddddddd|ffdddddddd d ddd ddddd|z��ffffffffffffffffdfffffffffffffS���|�|������������S�)Nr����r���rx���i$��i%��i&��i'��i)��i*��i+��i,��i-��i.��i/��i0��)�1��)r���rw��i4��)����rI���i=��i>��)����r���r���rC���z%r)����r����)rD����lambdef)r���r_����lsource�lnoder���r���r���s��� ���r���rH��z3_GLUECLAMP_._get_compile.<locals>.wrap_lambdef.test3��s��������t�9�9��>�>�d�1�g�a�j�F�N�&B�&B�,�n�T�!�W�5�5�G�'�K��Q���3�3�E���c�C�#��c�C�#��IL�s�UX�Zz�VY�[c�fi�lo�ru�w|�q}�k~���AJ�gj�mp�sv�y|���@C���FI���LO���RU���X[��Y\���_b���eh���kn���qt���wx���z~���AH���zH��vx��py��jz��d{��^|��X}�W~��Q��K@��EA��B��yC��sD��mE��gF�fG��IQ�VR�US��OT��IU�HV��BW��<X��6Y��0Z��*[��$\��]�^��^��#�{�4��+�+�+r ���N)rK���rM���rN���rH��)r���r���r���s������r����wrap_lambdefr���2��s8��������������� ,�� ,�� ,�� ,�� ,�� ,�� ,�� ,�� ,r ���r���c������������������������|dk����rt����������|�||g|�R���S�����������������������|�������������}����������������������|d�������������}��|� ������������}����������������������|������������}����������������������|������������}|S�)Nr���r���)� line_info)rB��rS��� ast2tuple� tuple2ast� compileast) rj���filename�moderS����astr���r+��r����parserr���s ��� ���r����compile_z*_GLUECLAMP_._get_compile.<locals>.compile_E��s���������v�~�~��v�x��=��=�=�=�=��+�+�f�%�%�C��#�#�C�1�#�5�5�D��;�t�\�2�2�D��"�"�4�(�(�C��"�"�3�'�'�B��Ir ���)rU����tokenr���r����dictr�����N_TOKENS�updater����r���r����NAMEr����LPAR)r���r���r���r���r���r����tokr���r���r���r���r���r���r���r���r���r���r���r���s��� @@@@@@@@@@@r����_get_compilez_GLUECLAMP_._get_compile���s������������������ � ����"����"�� �� �� � 8�� 8�� 8�� $�H�H�H�H�%���2G�2G�H�H�H� J�� J��� �#�#�D��*\��*\��*\��*\�=A�&�/�BW�BW�BY�BY�=Z�=Z�*\��*\��*\��%]��%]�� ^�� ^�� ^� :�� :�� :�� :�� :� �� �� �� �� �� � 4�� 4�� 4�� 4�� 4� �� �� � �� �� � �� �� � �� �� � �#'��(Z��(Z��(Z��(Z�;?���@U�@U�@W�@W�;X�;X�(Z��(Z��(Z��#[��#[���&�&��S�S�S�S�U�5�>�=R�=R�S�S�S�T�T� V�� V�� V��/B��� �+�/�� 9�� 9�C�� 9�� $�G��s�%��%�� �� ��/B��� �+� �� �� �� �� � ,�� ,�� ,�� ,�� ,�� ,�� ,�� ,�� ,�� ,�� ,�� ,�"��w�|�,�,�� �� �� �� �� �� �� ���r ���c������������������6�����|�����������������������t����������������������S�r���)r���r����r���s��� r���� _get_cprodz_GLUECLAMP_._get_cprodS��s�������{�{�1�2�2�2r ���c������������������@�����|�j���������j�����������������������������|������������S�r���)rp����byclodo�dictofr����s��� r���r���z_GLUECLAMP_.dictofV��s�������{�"�)�)�#�.�.�.r ���c������������������6�����|�����������������������t����������������������S�r���)r���r����r���s��� r����_get_docz_GLUECLAMP_._get_docY��s�������{�{�9�%�%�%r ���c�����������������������|j���������|�j��������z�������������������������������������}t����������|������������}t ����������|�������������|S�r���)r����r����shortestr���rS��)r���r����r�����dos��� r����docofz_GLUECLAMP_.docof\��s7�������w���&�0�0�2�2�� ��X�X�� �b� � � �� r ���rx���c������������������"����|rd}nd}|�����������������������|d|������������}|����������������������|�j��������j��������j��������j�����������������������������|������������������������}|�$|�����������������������������������}t����������||�������������t����������||������������S�)Nr����r���ry���) rB��r��rU���r����r����r��r��r����execr����)r���rS���initr ��r���r+��r��s��� r���r����z_GLUECLAMP_.evalb��s��������� ��D�D��D� �\�\�$��D� )� )�����T�Z�-�1�6�I�I�"�M�M�N�N���������A���q�M�M�M��B��{�{�r ���c������������������t�����ddi}t�����������j��������D�]&}|���������������������d������������r |dd�����������}d||<����'|S�)NrU���r����_get_����)rt��r���r���)r���r%��r���s��� r����_get_all_namesz_GLUECLAMP_._get_all_namesp��sN�������!����%�� �� �A��|�|�G�$�$�� ��a�b�b�E���E�!�H�H��r ���c������������������������|�+d|�j���������vr!|�j��������D�]}t����������|�|��������������d|�_��������n |�j��������}|D�]}||v�rt����������|�|��������������|�j���������}|�j��������j��������d���������|d<���|S�)Nru��r����__builtins__)r���� all_namesr���ru��r���__globals__)r���r%��r����allrs���r��s��� r���r��z_GLUECLAMP_._load_namesx��s��������=��� �-�-����%��%�A��D�!�$�$�$�$� �����.�C��� (�� (���3�;�;��D�$�'�'�'���M�� �,�8��H��.���r ���c������������������6�����|�����������������������t����������������������S�r���)r���r��r���s��� r����_get_egz_GLUECLAMP_._get_eg�����������{�{�=�)�)�)r ���c������������������6�����|�����������������������t����������������������S�r���)r���r���r���s��� r���� _get_elemz_GLUECLAMP_._get_elem���s�������{�{�:�&�&�&r ���c������������������n����||�j���������j��������v�r1|����������������������|������������}||�j�����������������������������|������������fS�||�j��������j��������v�r�|j��������j��������dk����r�|j��������j ��������� ��������������������d������������r�|j��������j ��������}|���������������������d������������}|j��������j��������}|�j ��������j��������}t����������||d������������������������|���������������������||d�����������������������}d���������������������|������������}||�j�����������������������������|������������fS�||�j�����������������������������|������������fS�)Nz<lambda>z<!SPECEVAL!>� )r<���stringr����rv���anon�Type�Functionr^����co_name�co_filenamer���r����co_firstlinenorU���rV���rS���getblockr����getdoc) r���rS��r����r�����lines�lnumrV����blockrj��s ��� r���r����z_GLUECLAMP_._exodoc���s������4�7�>�!�!�� � �$���A��d�h�m�m�D�)�)�)�)��d�i�(�(�(��m�#�z�1�1��m�'�2�2�>�B�B��2���*�B��H�H�T�N�N�E��=�/�D��j�(�G��%����,�����$�$�U�4�5�5�\�2�2�E��Y�Y�u�%�%�F�������0�0�0�0��������.�.�.�.r ���c������������������6�����|�����������������������t����������������������S�r���)r���r/��r���s��� r����_get_expredz_GLUECLAMP_._get_expred���s�������{�{�4�5�5�5r ���c������������������4�����d��}|�����������������������|d������������S�)Nc������������������~����� �t����������d|z���������������n(#�t����������$�r�|����������������������d|z���������������Y�nw�xY�wdS�)Nzlambda : %szNot a valid expression: %rT)r����r����r����r���s��� r���r���z&_GLUECLAMP_._get_expression.<locals>.p���s[������ =��]�Q�&�'�'�'�'���� =�� =�� =�� � �7�!�;�<�<�<�<�<� =�����4s������":�:r1��r���r���s��� r����_get_expressionz_GLUECLAMP_._get_expression���s'������ �� �� ���~�~�a��.�.�.r ���c������������������6�����|�����������������������t����������������������S�r���)r���r8��r���s��� r����_get_expsetz_GLUECLAMP_._get_expset���s�������{�{�.�/�/�/r ���c������������������6�����|�����������������������t����������������������S�r���)r���r��r���s��� r����_get_equalsz_GLUECLAMP_._get_equals���s�������{�{�<�(�(�(r ���c������������������0������|�j���������j��������||�g|�R�i�|��S�r���)rp����fam_mixin_argatom)r���r+���rS���r����s��� r���r���z_GLUECLAMP_.family���s)������,�t�{�,�S�$�F��F�F�F��F�F�Fr ���c�����������������������|�j���������j��������S�r���)rp���rx��r���s��� r����_get__hiding_tag_z_GLUECLAMP_._get__hiding_tag_���s �������{�'�'r ���c������������������6�����|�����������������������t����������������������S�r���)r���r)��r���s��� r���� _get_instancez_GLUECLAMP_._get_instance���r���r ���c������������������6�����|�����������������������t����������������������S�r���)r���r���r���s��� r����_get_intersectionz_GLUECLAMP_._get_intersection���s�������{�{�-�.�.�.r ���c������������������6�����t����������|�|�j��������j��������������������S�r���)r���_Specification_r��r���s��� r����_get_LEz_GLUECLAMP_._get_LE���s��������d�2�?�@�@�@r ���c�����������������������|�j���������S�r���r;��r���s��� r���� _get_SPLEz_GLUECLAMP_._get_SPLE���s �������w�r ���c������������������6�����|�����������������������t����������������������S�r���)r���r����r���s��� r����_get_mappingz_GLUECLAMP_._get_mapping���r��r ���c������������������6�����|�����������������������t����������������������S�r���)r���r>��r���s��� r����_get_matchesz_GLUECLAMP_._get_matches���r��r ���c������������������"�����t����������|�|������������S�r���)r��)r���r��s��� r���� mkTestEnvz_GLUECLAMP_.mkTestEnv���s�������t�T�"�"�"r ���c������������������0�����|�����������������������d��|������������S�)Nc�����������������������dS�r����r���)r���r���s��� r���r����z%_GLUECLAMP_.newtype.<locals>.<lambda>���s������1��r ���r���)r���rs���s��� r����newtypez_GLUECLAMP_.newtype���s�������~�~�n�n�d�3�3�3r ���c�����������������������|�j���������j��������S�r���)�User����r���s��� r����_get_nothingz_GLUECLAMP_._get_nothing���s �������x��r ���c������������������~�����|�����������������������d|����������������������|������������|�j��������j��������z��|�j��������z��������������S�)N� partition)r�����union_equalsr<���nonempty�set_of_disjoint_setsr����s��� r���rB��z_GLUECLAMP_.partition���sC�������x�x���)�)�#�.�.���(�)��1�2����� r ���c������������������6�����|�����������������������t����������������������S�r���)r���r����r���s��� r����_get_predicatez_GLUECLAMP_._get_predicate���r���r ���c������������������6�����|�����������������������t����������������������S�r���)r���r����r���s��� r���� _get_powersetz_GLUECLAMP_._get_powerset���r���r ���c�����������������������|�j���������j��������S�r���)rp���r���r���s��� r���� _get_Anythingz_GLUECLAMP_._get_Anything���s �������{�#�#r ���c�����������������������g�S�r���r���r���s��� r���� _get_quotez_GLUECLAMP_._get_quote���s������� r ���c������������������6�����|�����������������������t����������������������S�r���)r���rH��r���s��� r����_get_recurselfz_GLUECLAMP_._get_recurself���r���r ���c������������������F������G�d��d������������}|�����������������������|������������S�)Nc��������������������V�����e�Zd�Zg�d�Zd��Zd��Zd��Zd��Zd��Zd��Z e Zd��Zd ��Z d ��Zd��ZdS�) �/_GLUECLAMP_._get_relation.<locals>.RelationSpec))�1�paxb)�2�paxa)�3�defiop�fuop)�4�defipair)�5� defitriplec������������������h�����|����������������������|���������������������|j��������|j��������������������������������S�r����r���r����r����r���r���s��� r����_get_spec_1z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_1���s&�������w�w�q�w�w�q�z�1�:�>�>�?�?�?r ���c������������������h�����|����������������������|���������������������|j��������|j��������������������������������S�r���r_��r`��s��� r����_get_spec_2z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_2���s&������������� �A�J� ?� ?�@�@�Ar ���c����������� �������l�����|j���������|j��������|j��������fz��|���������������������ddddddddd d � ��� ��������z��S�)NrH���r��r��r��r��r��r��r��r ��r ��)r���r���r��r`��s��� r����_get_spec_3z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_3��sD������� �a�j�!�*�%=�=�����d�D�$��T�4��SW�Ya�b�b�c��dr ���c������������������L�����|����������������������|j��������|�j��������j��������������������S�r����r����r����r���rY��r`��s��� r����_get_spec_4z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_4��s�������w�w�q�u�d�i�n�5�5�5r ���c������������������X�����|����������������������|j��������|�j��������j��������|j��������������������S�r���rg��r`��s��� r����_get_spec_5z;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get_spec_5 ��s �������w�w�q�u�d�i�n�a�e�<�<�<r ���c������������������6�����|����������������������t����������������������S�r���)r���r����r`��s��� r����_get__relopz;_GLUECLAMP_._get_relation.<locals>.RelationSpec._get__relop��s�������x�x��,�,�,r ���c�����������������������|j���������|fS�r���)r����r���r���rY��s��� r���� map_3_to_4z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_3_to_4��s������1�:�t�2D�+Dr ���c������������������8�����|�����������������������|j��������|������������S�r���)�_relopr���rn��s��� r���� map_3_to_2z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_3_to_2��s������$�+�+�a�j�$�2O�2O�+Or ���c������������������������|�j���������|��S�r����rq���r���r���rS���s��� r���� map_4_to_2z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_4_to_2���������+�$�+�t�2D�+Dr ���c������������������������|�j���������|��S�r���rt��ru��s��� r���� map_5_to_1z:_GLUECLAMP_._get_relation.<locals>.RelationSpec.map_5_to_1��rw��r ���N)rK���rM���rN���r���ra��rc��re��rh��rj��rl��r���� map_2_to_1ro��rr��rv��ry��r���r ���r����RelationSpecrR�����s��������������������F� @�� @�� @� B�� B�� B� d�� d�� d� 6�� 6�� 6� =�� =�� =� -�� -�� -���J�D�D�D�O�O�O�D�D�D�D�D�D�D�Dr ���r{��)�repcat)r���r{��s��� r���� _get_relationz_GLUECLAMP_._get_relation���sG������ E�� E�� E�� E�� E�� E�� E�� E�D��{�{�<�(�(�(r ���c������������������.�����|�j���������j��������j��������j��������S�r���)r��rX��rt��rV��r���s��� r���� _get_relopz_GLUECLAMP_._get_relop��s�������}�#�&�+�+r ���c������������������"�����t����������|�|������������S�r���)r���)r���r���s��� r���r|��z_GLUECLAMP_.repcat��s������%�d�D�1�1�1r ���c������������������6�����|�����������������������t����������������������S�r���)r���r����r���s��� r���� _get_sequencez_GLUECLAMP_._get_sequence��r���r ���c������������������@�����|�����������������������|�j��������j��������������������S�r���)�instancerp���r���s��� r����_get_setz_GLUECLAMP_._get_set ��s�������}�}�T�[�/�0�0�0r ���c������������������4�����d��}|�����������������������|d������������S�)Nc������������������2�����|�����������������������|d��d������������S�)Nc������������������8�����||k����p|����������������������|������������S�r���)�disjoint)r:���r.���r/���s��� r���r����zB_GLUECLAMP_._get_set_of_disjoint_sets.<locals>.p.<locals>.<lambda>%��s�������a��9P�1�:�:�a�=�=��r ���za == b or a.disjoint(b))rj��r���s��� r���r���z0_GLUECLAMP_._get_set_of_disjoint_sets.<locals>.p$��s%�������#�#�A�'P�'P�$=�?��?�� ?r ���zset of disjoint setsr���r���s��� r����_get_set_of_disjoint_setsz%_GLUECLAMP_._get_set_of_disjoint_sets#��s(������ ?�� ?�� ?���~�~�a�!7�8�8�8r ���c����������� �����������t����������||�j��������j��������������������sl|�j�����������������������������|������������}|�j�����������������������������||�j�����������������������������|�j�����������������������������|�j��������d������������|������������������������}|S�)Nr����)r���rp���r����rv��r����callfuncr���r���r$���s��� r���r����z_GLUECLAMP_.setcast)��sz�������#�t�{�1�2�2�� ��+�%�%�c�*�*�C��(�-�-��T�X�%6�%6���"�"�4�=�)�<�<��&��&�����C��� r ���c�����������������������|�j���������S�r���)r����r���s��� r���� _get_setofz_GLUECLAMP_._get_setof1��s �������}�r ���c������������������,�����|�����������������������d�������������S�r���)r:��r���s��� r����_get__static_test_envz!_GLUECLAMP_._get__static_test_env4��s�������~�~�d�#�#�#r ���c������������������6�����|�����������������������t����������������������S�r���)r���r#��r���s��� r���� _get_synonymsz_GLUECLAMP_._get_synonyms7��r���r ���c������������������6�����|�����������������������t����������������������S�r���)r���r]��r���s��� r����_get_tupleformz_GLUECLAMP_._get_tupleform:��r���r ���c�����������������������|�j���������j��������S�r���)r?��r��r���s��� r���� _get_Typez_GLUECLAMP_._get_Type=��s�������x�}�r ���c�����������������������|�����������������������|����������������������d|����������������������|������������������������|����������������������|������������������������S�)Nr����)�egr(��r��r����r����s��� r���rC��z_GLUECLAMP_.union_equals@��sC�������w�w�t�y�y��$�+�+�c�*:�*:�;�;��}�}�S�)�)�+��+�� +r ���c������������������D�����|�j������������������������������|������������|_��������|S�r���)rv��rj��r���)r���r����r���s��� r���rw��z_GLUECLAMP_.wrap_source_stringD��s�����������,�,�� ��r ���r���r����)BrK���rM���rN���� _chgable_�_nowrap_� _preload_� _imports_r{��r}��r���r���r���r���r���r���r���r���r���r���r���r���r���r���r���r���r����r��r��r ��r��r����r ��r#��r%��r'��r���r+��r-��r/��r2��r4��r6��r8��r:��r=��r@��rB��rG��rI��rK��rM��rO��r}��r��r|��r���r���r���r����r���r���r���r���r���rC��rw��r���r ���r���rt��rt�����s���������������I�&�H�� �I��I��6�5�5�/�/�/�1�1�1�E��E��E� �� �� �.��.��.�,��,��,������+��+��+�,��,��,��������,��,��,�F��F��F�e��e��e�N3��3��3�/��/��/��/�&��&��&������������������ �� �� �� �*��*��*�'��'��'�/��/��/�&6��6��6�/��/��/�0��0��0�)��)��)�G��G��G�(��(��(�+��+��+�/��/��/�A��A��A������*��*��*�*��*��*�#��#��#�4��4��4� �� �� ������,��,��,�+��+��+�$��$��$������,��,��,�,)��,)��,)�\,��,��,�2��2��2�+��+��+�1��1��1�9��9��9�����������$��$��$�+��+��+�,��,��,������+��+��+���������r ���rt��N)'�__doc__r3��r���r���rP���rm���r|���r����r����r����r����r����r����r����r��r��r#��r)��r/��r8��r>��rH��rY��r]��r����rv��r|��r���r���r���r���r���r7���r���r?���r��r��r��rt��r���r ���r����<module>r������s:�������� �������)G��)G��)G��)G��)G��)G��)G��)G�X*��*��*��*��*�Z��*��*��*�Z���������j�������.*��*��*��*��*�j��*��*��*�,'��'��'��'��'�Z��'��'��'�T �� �� �� �� �Z�� �� �� � GH��GH��GH��GH��GH�J��GH��GH��GH�T���������j�������_��_��_��_��_�Z��_��_��_�4*��*��*��*��*� ��*��*��*�4��4��4��4��4�*��4��4��4�n���������:����������������J����������������Z�������$W��W��W��W��W�Z��W��W��W���������� �������$Y��Y��Y��Y��Y�*��Y��Y��Y�" �� �� �� �� �J�� �� �� � %��%��%��%��%�j��%��%��%�P �� �� �� �� �� �� �� �7��7��7��7��7�j��7��7��7�&2��2��2��2��2��2��2��2�&���������E�������!��!��!��!��!�E��!��!��!����������������*m%��m%��m%��m%��m%���m%��m%��m%�`9��9��9��9��9� ��9��9��9�x5��5��5��5��5���5��5��5�M��M��M��M��M���M��M��M� �� �� �� �� � �� �� �� � �� �� �� �� � �� �� �� � �� �� �� �� �I�� �� �� ����������������2N��N��N��N��N��N��N��N�b`��`��`��`��`��`��`��`��`��`r ���