Contents

x���Oo�@�+���Ii"�*BZY@�I�BkY�dāP�K��'�ڻ��)J/|5>�6Q�@�}�μ�<?�-��?B��u		�hB��ɏ����8�:����h�`g�V�֐:�^<��J�
�4�s'��s�j������'?����Nps��,��z����)�PgR	�R]��d��*�WXk*��掹����pQ�;�9���*G^[��Ƃ��+t%�X�q�0Rsm�$�
��n�x#W�pWh��k�^P
��0�/��:��?�2��~�D����$���Q-�nղ�?�&~/x��A�C���N�n�>H8� �_�?��MA	N�#����伴AԨO[T��c]�ki|fO��呙I7X�惄�E��Ōm�~�Ȼ��C�z�IN���������D%"(��e�L����ŭ���=eK��*0݀��4��*HV��5�A=��J��v�,@�T��š������ؿ�O�O�r�e��/g��

Quick Spec version

qed-2.8.1