Contents

x��R[K�0."�*���EJߗ�MD:SQ)��Η=�6;[�ڦ&
C�D�&�Oj�r�w;���v� ���0�fK�K����הּP�Lϼ��;��$����m#�{J|�K����c�@%��
H
�/���!��Y�4ߩ��sɸ���S�$
\��tl/�� �'��Fw�ő��R�=��)�����;��b�Ͳ�j5���"tN��}�b2�,�����^�(�B7Lp)�2��O�v�@�Z�If�62�\��(r��l6C��nΨ����ˠ�_ڮ�桤כ��'��Z$&Â�x
l(�I��R�"B��n4�hf��%��Z���0�@B's��ߚu�Gq�&�a{D�(A�{���X��S�01�ܪ��qK�;�o�

Quick Spec version

refinements-8.0.1