Sha256: 0f85bc8b181afdcbe82f472b111049abe0e83189fecf2442d0b1922f6cea8787

Contents?: true

Size: 458 Bytes

Versions: 0

Compression:

Stored size: 458 Bytes

Contents

x����n�0�'��&�V&!��\"5m�+GLA�"#�d��Eq���4���T
<��P�)�Z&�8�������pP�w�1�\B��,��Iq����������;	s�*$��8�Nt�\�q�U��!�pfa�2���0'_~>�u`���R��ɛV㇯Q��4�R5h-�9�����:�Tu�������aK��j����ǜ#���j�c{qf��{[�����Ƽ�����P�X��{���t<R;ޒ�5�q��u�C1)�)U-�	ť�
��q�ݍp�Y�d���c3����
�M?��L�0x�JN�h[(di)��<��:���z@n8�H����i����a�l��;:�
��,���
��)g��hK�����SV��d+��2�
t!6�����k]Vx:�f:�S��r��͚���$����} ������

Quick Spec version

noam_lemma-0.2.1.1