ProofTreeNumbers.hi

��d8042�
�C.v�>�T��G�����N�Ob��9�a�1�&\��
��싙���E��fɫu��g1�B������
����4�O՟q�
	


���\8��c�j�<�^�4D:�o:��[������P`AP�(�w~rud;CWp-����)>P��T�m�D�8-ĵ�j�Ts�g9$G�t�;��<F�P�U�⷗�x)B=9�*��tP���<���


�$$�r�C�q�53��1

�MDsH=s���5[�a������

��
��

�MDsH=s���5[��������

��
��
r���3�;��Mj.��`C���x#�Om.
rR���ٜkS	���x�M�	z��
S�>X`0V
"��~
�MDsH=s���5[�
������
������




������


��0
%�^w!�M*�I³�8�C������

��0
��0������0��
��0����8G��(��1%��b

������

��0
��0������0
��0������0
��0����}����cNq�����^p������


��0
��0�����Y��j@��¸vY� J�������


��



��



�i>��M=��d[�^.











 !mainProofTreeNumbersbaseghc-priminteger-gmp	GHC.FloatGHC.BaseControl.ApplicativeData.Functor.ConstData.Functor.IdentityData.MonoidData.Semigroup.InternalGHC.GenericsGHC.IO.Exception
Data.Foldable
Data.TupleGHC.ListGHC.NumGHC.ShowPreludeGHC.Classes
aPTreefull_reverselineNumberHelpneartree_reverse
T	$fEqPTree$fShowPTree$tc'T$tcPTree	$trModule