Sha256: 2259295c12f56f17055c22f9258050ef2d1de17376340d4ecbade03106bdb5da

Contents?: true

Size: 691 Bytes

Versions: 0

Compression:

Stored size: 691 Bytes

Contents

x��UMo�@
�rc��D�KT�,���I
�ZT.-A> �6�C�8�dU�kv�i
W���_���iB�Ɛ\��7�͛�nT#���]���k�:���͍�७)��w$$��c���|�N@��4��ڑ�J�����@��H"��wE����؇k��gE�$$%�Z��*=[;^�T=�L�I��R�A���w�������b|F\=��ʟ×SH@I�7mm��m�0����(����)
ۚL�a�|�z�ҟA�7V�b�/,�'����XGu�ޗ1/��x����&(�C@�44>��R���à�^YӬ�Ws��/1�ܲ����e�Ct1��۫)��I掹k>陵�\n3RJ��
cQ��o1�@�\oD��
�P�7s1�a�׸��FƎj#��G��v��'�R
s[�T<��H�o��\`/����Li����yj�W	#gFƑCGk��nt��Ϡ�@-hP&��:]�MI���L�Xg�h����Y�J��)}	��K[dH\><O[-���@�as�]����L�5���%�CgN�eX�di
�J��Q��+�^G�Dlt����`Q<$t��y�v��v��3�����>T*����ҟ`���Wq
p\�������	�^���V`���;R�rZ�C���1�h��ޜ���t�:H|��]�5ڍSωX:��*�m��

Quick Spec version

metanorma-mpfa-0.4.3