Sindbad~EG File Manager

Current Path : /home/beeson/Otter-Lambda/
Upload File :
Current File : //home/beeson/Otter-Lambda/misc.o

ELFL�4(U�������l����������D$�$���������������%.12f�f������������������������������������������U�����D$�$��������D$�D$�$�����E�D$�D$4�$�����D$�D$%�D$�$D�����E�D$�D$4�$����$f���U��WS����`����D$�E�$�����h����!,Džt�����h���uDžt����x+��h����@<tDžt����[+��h����@�$����D$�$j���������h�������l�����l����@<t��h�����@��tH�E�D$�D$ �D$�$t�����h����D$�E�$����@��*��l����@�$����E��E��<"t
�E��<'uB�E�@�D$��X����$�����X����������T�������T������HHƄX�����E��D$��X����$����D$���X����$����E��}�u-��X����D$�D$��E�$����@���)��h����D$�E�$�������tN��X����D$�D$��E�$����E�D$�E��$�����X����D$�D$��E�$������D$�E��$����E��$����`)��h����@�$����D$�$�����t_�D$��h����D$�E�$�����x�����x�����
)��h����D$�E�$�����x����D$�E�$�����(��h����@�$����D$�$�����t_�D$��h����D$�E�$�����x�����x������(��h����D$�E�$�����x����D$�E�$����V(��h����@�$����D$�$�����tW��h����D$�E�$�����x�����x�����(��h����D$�E�$�����x����D$�E�$�����'��h����@�$����D$�$������-	��h�������l�����l����@<t��h�����@��tH�E�D$�D$�D$�$�����h����D$�E�$����@��:'��l����@�$����D$�$5�����u*��l����@�$����D$�$<������9��l����@�$����D$�$<�����t%��D$�D$,�D$�$D����E�D$�$
�����h����D$�E�$�����\����D$�E�$�����d�����\�����t���\����[����uR��d������p����9���p����$�������p����$�����p����@��p�����p���u���d����D$�E�$������d����D$�$����%��l����@�$����D$�$q��������E�D$�$
�����h����D$�E�$�����\����D$�E�$�����d�����\�����t���\���У�?����u6��d������p������p����$�����p����@��p�����p���uڋ�d����D$�E�$������d����D$�$����$��l����@�$����D$�$u��������E�D$�$
�����h����D$�E�$�����\����D$�E�$�����d�����\�����t���\���У��d������p������p����$�����p����@��p�����p���uڋ�d����D$�E�$������d����D$�$�����#��l����@�$����D$�$���������E�D$�$
�����h����D$�E�$�����\����D$�E�$�����d�����\�����t���\���У��d������p������p����$�����p����@��p�����p���uڋ�d����D$�E�$������d����D$�$�����"��l����@�$����D$�$���������E�D$�$
�����h����D$�E�$�����\����D$�E�$�����d�����\�����t���\���У��d������p������p����$�����p����@��p�����p���uڋ�d����D$�E�$������d����D$�$�����!��l����@�$����D$�$���������E�D$�$
�����h����D$�E�$�����\����D$�E�$�����d�����\�����t���\���У��d������p������p����$�����p����@��p�����p���uڋ�d����D$�E�$������d����D$�$����� ��l����@�$����D$�$���������E�D$�$
�����h����D$�E�$�����\����D$�E�$�����d�����\�����t���\���У��d������p������p����$�����p����@��p�����p���uڋ�d����D$�E�$������d����D$�$���� ��l����@�$����D$�$���������E�D$�$
�����h����D$�E�$�����\����D$�E�$�����d�����\�����t���\�����d����D$�E�$������d����D$�$����E��l����@�$����D$�$<�����t%��D$�D$%�D$�$�����E�D$�D$�D$�$������h����D$�E�$�����\����D$�E�$�����d�����d����D$�E�$����@����h����@�$����D$�$����������h�������l�����l����@<t��h�����@��tH�E�D$�D$�D$�$�����h����D$�E�$����@�����l����@�$����D$�$5�����u*��l����@�$����D$�$<������V��l����@�$����D$�$<�����t%��D$�D$,�D$�$D����E�D$�$
�����h����D$�E�$�����\����D$�E�$����E��E��D$�E�$�����\�����t���\���У���E��E��@���t3��D$�D$��$����D$�$������E��@�E��P�E��P�E��$�����d����E��E��@���u3��D$�D$$�$����D$�$$����S�E��E��E��E���E��P�E�)Ѝ�E���E��H�E��P�E�)Ѝ�E��P�E��@�����E��@��������u6��d������p������p����$�����p����@��p�����p���uڋE�D$�D$/�D$�$P�����d����D$�E�$������d����D$�$����=��l����@�$����D$�$q�������E�D$�$
�����h����D$�E�$�����\����D$�E�$����E��E��D$�E�$�����\�����t���\���У��E��E��@���t3��D$�D$��$����D$�$������E��@�E��P�E��P�E��$�����d����E��E��@���u3��D$�D$$�$����D$�$$����S�E��E��E��E���E��P�E�)Ѝ�E���E��H�E��P�E�)Ѝ�E��P�E��@�����E��@��������u6��d������p������p����$�����p����@��p�����p���uڋE�D$�D$)�D$�$������d����D$�E�$������d����D$�$������l����@�$����D$�$��������E�D$�$
�����h����D$�E�$�����\����D$�E�$����E��E��D$�E�$�����\�����t���\���У�k�E��E��@���t3��D$�D$��$����D$�$������E��@�E��P�E��P�E��$�����d����E��E��@���u3��D$�D$$�$����D$�$$����S�E��E��E��E���E��P�E�)Ѝ�E���E��H�E��P�E�)Ѝ�E��P�E��@�����E��@������d������p������p����$�����p����@��p�����p���uڋE�D$�D$1�D$�$������d����D$�E�$������d����D$�$�������l����@�$����D$�$��������E�D$�$
�����h����D$�E�$�����\����D$�E�$����E��E��D$�E�$�����\�����t���\���У�?�E��E��@���t3��D$�D$��$����D$�$������E��@�E��P�E��P�E��$�����d����E��Eȋ@���u3��D$�D$$�$����D$�$$����S�E��EĉE��Eȋ�EȋP�E�)Ѝ�Eȉ�EȋH�EȋP�E�)Ѝ�EȉP�E��@�����E��@������d������p������p����$�����p����@��p�����p���uڋE�D$�D$/�D$�$������d����D$�E�$������d����D$�$������l����@�$����D$�$��������E�D$�$
�����h����D$�E�$�����\����D$�E�$����E��E��D$�E�$�����\�����t���\���У��E��E̋@���t3��D$�D$��$����D$�$������E��@�E̋P�ẺP�E��$�����d����E��E؋@���u3��D$�D$$�$����D$�$$����S�E��EԉEЋE؋�E؋P�E�)Ѝ�E؉�E؋H�E؋P�E�)Ѝ�E؉P�E��@�����E��@������d������p������p����$�����p����@��p�����p���uڋE�D$�D$.�D$�$�����d����D$�E�$������d����D$�$������l����@�$����D$�$<�����t%��D$�D$%�D$�$�����E�D$�D$�D$�$?�����h����D$�E�$�����\����D$�E�$�����d�����d����D$�E�$����@����h����@�$����D$�$]���������h�������l�����l����@<u��h�����@��tH�E�D$�D$$�D$�$l�����h����D$�E�$����@��"��l����@�$����D$�$���������E�D$�$
�����h����D$�E�$������t.�E�D$�D$-�D$�$�����@���\����D$�E�$������\�����t���\���������
��\����D$�T$�$�����\�����t���\�����D$�E�$������l����@�$����D$�$���������E�D$�$
�����h����D$�E�$������t.�E�D$�D$,�D$�$�����@���\����D$�E�$������\�����t���\���������
��\����D$�T$�$�����\�����t���\�����D$�E�$�������l����@�$����D$�$�������E�D$�$
�����h����D$�E�$������u	���t.�E�D$�D$A�D$�$����@���\����D$�E�$��������\�����t���\�����������
��\����D$�T$�$�����\�����t���\�����D$�E�$����
��l����@�$����D$�$V��������E�D$�$
�����h����D$�E�$������t.�E�D$�D$,�D$�$\����@���\����D$�E�$������\�����t���\���������
��\����D$�T$�$�����\�����t���\�����D$�E�$�����E�D$�D$�D$�$������h����D$�E�$�����\����D$�E�$������D$�E�$����@����h����@�$����D$�$����������h������t%��h�����@��u��h������$�����uH�E�D$�D$+�D$�$������h����D$�E�$����@��l�E�D$�$
�����h����D$�E�$�����h����$�����'��h����@�$����D$�$����������h������t%��h�����@��u��h������$�����uH�E�D$�D$3�D$�$������h����D$�E�$����@��
�E�D$�$
�����h����D$�E�$����D$��h����$����A
��h����@�$����D$�$$��������E�D$�D$5�D$�$4�����D$�D$5�D$�$4�����D$�D$0�D$�$l�����D$�D$4�D$�$�����@��u	��h����@�$����D$�$����������h������t%��h�����@��u��h������$�����uH�E�D$�D$.�D$�$������h����D$�E�$����@����E�D$�$
�����h����D$�E�$�����h����$������h����@�$����D$�$���������h������t%��h�����@��u��h������$�����uH�E�D$�D$1�D$�$�����h����D$�E�$����@����E�D$�$
�����h����D$�E�$�����h������$������$������h����@�$����D$�$N������#��h������t%��h�����@��u��h������$�����uH�E�D$�D$.�D$�$\�����h����D$�E�$����@����h������$������$�����$�����uH�E�D$�D$"�D$�$������h����D$�E�$����@���E�D$�$
�����h����D$�E�$����V��h����@�$����D$�$����������h������t%��h�����@��u��h������$�����uH�E�D$�D$5�D$�$������h����D$�E�$����@���E�D$�$
�����h����D$�E�$�����h����$�����n��h����@�$����D$�$������t;��h����D$�E�$�����h����$�������@��
��h����@�$����D$�$���������h������t��h�����@��tH�E�D$�D$1�D$�$�����h����D$�E�$����@����h����D$�E�$�����h������@�$����E��E��������P�������P������H��x���Dž|������|���J��|���E������|�����x���H;�|���ҋ�x�����ƀ����h����@�$����D$�$:������p��h����@�$�����tH�E�D$�D$4�D$�$L�����h����D$�E�$����@��V��h������@�E܋�h�����@��@�E�E܉$����E�E�$����E�E�@��H�E�D$�D$$�D$�$������h����D$�E�$����@����E�P�E�@9�tH�E�D$�D$$�D$�$������h����D$�E�$����@��k��h����D$�E�$����E�P�E�P�E��h����@�$����D$�$���������E�D$�$
�����h����D$�E�$����E�D$�E�$�����d�����d���u�@�������uR��d������p����9���p����$�������p����$�����p����@��p�����p���u���d����D$�E�$������d����D$�$����5��h����@�$����D$�$�������DžX����E�D$�$
�����h����D$�E�$����D$��X����D$�E�$����E싅X�����~�$�����E�E��f�E��$����E�}�u�$����E��$����E��$����E��$����E��D$�E�$����E�@�E�}�u��E�D$�D$
�D$�$7����
Džt�����t���tL�@���h���t8�E�D$�D$�D$�$E�����h����D$�E�$�����h���t��h����$�����`����D$�E�$�����h�����h���������`�����������[_]�U���8�}5��D$�D$+�D$�$`����@���E����E��E��D$�E�D$�E�$����E��}�u�@��Q�E�D$�E�$����E�E��<.u�E�@�E�E�D$�E�$����E�E����tQ��D$�D$�D$�$�����E��D$�E�D$�$����@���E��$����E��E�D$�E��$�����ua��D$�D$,�D$�$������E��D$�$����$�����E��$����@��6�E��$�����ta��D$�D$-�D$�$������E��D$�$����$�����E��$����@����E��$����E��U�E��P$�E��$����}�u�@�����u�E��$�����D$�D$�D$�$
	�����E��D$�$�����D$�D$
�D$�$7�����E��D$�$����T@�T��U���X���������������������������������}~9�E����D$��$����E؃}�u �$	����$�����Eء�E��E��E�@���t3��D$�D$��$����D$�$������E��@�E�P�E�P�E܉D$�E؉$����E��E�@���u3��D$�D$$�$����D$�$$����S�E��E�E�E��E�P�E�)Ѝ�E��E�H�E�P�E�)Ѝ�E�P�E��@�����E��@��������t�E�D$�E�$����������u����$��t�������t���������E��c�EЉ$�����t�T��uB��D$�EЉ$����,�@��$Z	�����EЉD$�$����EЋ@�EЃ}�u����E���EЉ$����EЋ@�EЃ}�u����t+������E���EЉ$����EЋ@�EЃ}�u���E���EЉ$����EЋ@�EЃ}�u�����2�E� �E�@���t3��D$�D$��$����D$�$������E��@�E�P�E�P�$t	�����E������`�E̋�E��6�EЉEԋEЋ@�EЋEԉ$�����D$�D$�Eԉ$����}�uċẺ$����E���D$�D$�$����$�	�����E������T�E̋�E��6�EЉEԋEЋ@�EЋEԉ$�����D$�D$�Eԉ$����}�uċẺ$����E���D$�D$�$����E� �E��@���u6��D$�D$$�$����D$�$$�����E��E��E�E���E��P�E�)Ѝ�E���E��H�E��P�E�)Ѝ�E��P�E��@�����E��@�����W���E���EЉ$����EЉ$����EЋ@�EЃ}�uۡ��E���EЉ$����EЋ@�EЃ}�u���EС��E��E���t�E��@��'��D$�EЉ$����‹EЉP�EЉ$����EЋ@�EЃ}�u��$�	�����$������H���$�����U����E��E��E��6�E����@�$����E��E���P�E��P�E���@�E�E��E��@�¡9�u���U����E��E��.�E�����@�$����E��U��E�B�E����@�E��E���@�¡9�u���U����E��E��/�E�����@�$����E��E��@�E����@�E��E���@�¡9�u���U����E��E��/�E�����@�$����E��E��@�E����@�E��E���@�¡9�u���U�����$����E��<�E��$����E��$����E��$����E��$�����$����E��}�u���$������$����E��1�E��$����E��$����E��$�����$����E��}�uɡ�$������$����E��1�E��$����E��$����E��$�����$����E��}�uɡ�$������$����E��C�E��$����T��u��D$�E��$����E��$�����$����E��}�u���$������$������tQ��$�����$�����9�u�������t.��$�����$��������t.��$�����$�������$�����$��������������U���(�}~�E�$����}~�E�$����}~�E�$����E�$�����}u�E�$����E�$����}��E�D$�D$7�D$�$�	����E���E��C�U������E����U������E��L$�D$�D$
�E�$����E��}�	~��}�B�U��������
���U��������
�L$�D$�D$
�E�$�����E�D$�$
����E��}�	�F�����D$�D$(
�E�$�����U��������t����D$�D$<
�E�$����#�E�D$�D$)�D$�$h
�����D$�D$�
�E�$�����D$�D$�
�E�$�������t���D$�D$�
�E�$����<��t�p�D$�D$�
�E�$����D��t�t�D$�D$�E�$����L��t�x�D$�D$4�E�$����d��t���D$�D$T�E�$����\��t���D$�D$t�E�$����4��t���D$�D$��E�$����L��t���D$�D$��E�$����l��t���D$�D$��E�$����T��t�|�D$�D$��E�$����\��t���D$�D$�E�$����4��t���D$�D$4�E�$����$�D$�D$T�E�$���� �D$�D$t�E�$�����D$�D$��E�$�����D$�D$��E�$����4��t�\�D$�D$��E�$����@�D$�D$
�E�$����,�D$�D$$
�E�$������D$�D$D
�E�$�����D$�D$d
�E�$�������t���D$�D$�
�E�$����D�D$�D$�
�E�$����0�D$�D$�
�E�$����H�D$�D$�
�E�$�����D$�D$�E�$����`�D$�D$$�E�$����T�D$�D$D�E�$����d�D$�D$d�E�$������D$�D$��E�$������D$�D$��E�$����X�D$�D$��E�$����\��t8�L�D$�D$��E�$����P�D$�D$�E�$����<��t�<�D$�D$$�E�$����4��t�4�D$�D$L�E�$����8��t�8�D$�D$t�E�$����h��t�h�D$�D$��E�$�����U��������t����D$�D$<
�E�$����#�E�D$�D$)�D$�$h
�����D$�D$�
�E�$�����D$�D$�
�E�$������t'����t���D$�D$�
�E�$�����D$�D$d
�E�$������t'����t���D$�D$��E�$�����D$�D$��E�$�����D$�D$�E�$����X�D$�D$��E�$�����U�����$�����U��S��4�E�D$�D$)�D$�$��������E��E�����\$�D$�E�$����M��E��Mb�E�������)��ȉE�M��E�ų���E��
��������)��ȉE��M��E�ų���E��
��������)É�i���)‰ЉE�M��E艈���E��
��������)��ȉE�M��E艈���E��
��������)É؍����)Љ�)‰ЉE�E�D$�E�D$�E��D$�D$ �E�$�������E��E�����\$�D$D�E�$����M��E��Mb�E�������)��ȉE�M��E�ų���E��
��������)��ȉE��M��E�ų���E��
��������)É�i���)‰ЉE�M��E艈���E��
��������)��ȉE�M��E艈���E��
��������)É؍����)Љ�)‰ЉE�E�D$�E�D$�E��D$�D$ �E�$�������¡l��)��ȉE�E�D$�D$^�E�$����M��E�ų���E��
��������)��ȉE��M��E�ų���E��
��������)É�i���)‰ЉE�M��E艈���E��
��������)��ȉE�M��E艈���E��
��������)É؍����)Љ�)‰ЉE�E�D$�E�D$�E��D$�D$|�E�$����$���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$��E�$�������t3�$���P�$�d$����\$�D$��E�$����$"���P�$�d$����\$�D$��E�$����<��t3�$���P�$�d$����\$�D$�E�$����D��t3�$���P�$�d$����\$�D$�E�$����L��t3�$���P�$�d$����\$�D$5�E�$����T��t3�$���P�$�d$����\$�D$N�E�$����\��t3�$���P�$�d$����\$�D$g�E�$����d��t3�$���P�$�d$����\$�D$��E�$����\��t3�$	���P�$�d$����\$�D$��E�$����4��t3�$!���P�$�d$����\$�D$��E�$����$
���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$��E�$����$
���P�$�d$����\$�D$�E�$����$���P�$�d$����\$�D$/�E�$����$���P�$�d$����\$�D$H�E�$����$���P�$�d$����\$�D$a�E�$����$���P�$�d$����\$�D$z�E�$����$���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$�E�$����$���P�$�d$����\$�D$)�E�$����$���P�$�d$����\$�D$B�E�$����$���P�$�d$����\$�D$[�E�$����$���P�$�d$����\$�D$t�E�$����$���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$��E�$�������t3�$���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$��E�$�����4[]�U��S��4�E�D$�D$)�D$�$��������E��E�����\$�D$�E�$����M��E��Mb�E�������)��ȉE�M��E�ų���E��
��������)��ȉE��M��E�ų���E��
��������)É�i���)‰ЉE�M��E艈���E��
��������)��ȉE�M��E艈���E��
��������)É؍����)Љ�)‰ЉE�E�D$�E�D$�E��D$�D$ �E�$�������E��E�����\$�D$D�E�$����M��E��Mb�E�������)��ȉE�M��E�ų���E��
��������)��ȉE��M��E�ų���E��
��������)É�i���)‰ЉE�M��E艈���E��
��������)��ȉE�M��E艈���E��
��������)É؍����)Љ�)‰ЉE�E�D$�E�D$�E��D$�D$ �E�$�������¡l��)��ȉE�E�D$�D$^�E�$����M��E�ų���E��
��������)��ȉE��M��E�ų���E��
��������)É�i���)‰ЉE�M��E艈���E��
��������)��ȉE�M��E艈���E��
��������)É؍����)Љ�)‰ЉE�E�D$�E�D$�E��D$�D$|�E�$����<��t3�$���P�$�d$����\$�D$�E�$����D��t3�$���P�$�d$����\$�D$�E�$����L��t3�$���P�$�d$����\$�D$�E�$����T��t3�$���P�$�d$����\$�D$�E�$����\��t3�$���P�$�d$����\$�D$g�E�$����d��t3�$���P�$�d$����\$�D$��E�$����\��t3�$	���P�$�d$����\$�D$��E�$����$���P�$�d$����\$�D$2�E�$����$���P�$�d$����\$�D$K�E�$����$���P�$�d$����\$�D$d�E�$������t����u	���t3�$���P�$�d$����\$�D$}�E�$������t>����t3�$���P�$�d$����\$�D$��E�$�����4[]�U�����$�����U����E�@��t�E�P�E��B�
�E��E��E���t�E��E�@�B�E�P�E�P�E��E��E���U��E�B�E��@�E��E��}�u�9Eu�`E��`�b�9Eu�TE��T�I�9Eu�dE��d�0�9Eu��E�����9Eu
��E����9Eu�`+E��`�b�9Eu�T+E��T�I�9Eu�d+E��d�0�9Eu��+E�����9Eu
��+E����E�$�����U����}u�$�����E������E��E�P�E��P�E�P�E�f�P�E�P�E�f�P�E�@<t�E��E��a�E��E��E��D����E�}�u
�U��E��	�U��E�B�E��$����‹E��E�E��E�@�E�}�u��E��E�E���U����E�@<u�E�@�E��X�E�@<u	�E����D�E��E��E������'�E��$����E��E�;E�~�E��E��E�@�E�}�uӋE��E�E���U����E������E�@�E��:�E�@�$����E��E��E�E��E�E�9E�}�E�E�E�E��E�@�E�}�u��E���U����E�$������������U����'�E��$����E�E��E�@�E�E��$����}u���U���(�E�D$�E�$�����t	�E��R�E�@<t	�E��>�E��E��	�E��@�E��}�t�E���D$�E�$�����tك}������E�E���U���(�E�D$�E�$�����t	�E��Q�E�@<t	�E��=�E��E��E�� �E���D$�E�$���E��E��@�E��}�uڋE��E�E���U����E�@<t�E�@;E�����E��X�E�@;Eu	�E��C�E��E��E�� �E���D$�E�$����E��E��@�E��}�t�}�tԋE��E�E���U����E�@<t�E�@��t	�E���E��E���U���(�E�@<t�E���E��E�@�$�����t:�E��E��$�E���E�@�T$�$����E��E��@�E��}�t�}�tЃ}�t	�E��<�E��E��E���E���$�b����E��E��@�E��}�t�}�tۋE��E�E���U����E�@�E��E���E��@�$�����E��E��@�E��}�t�}�tڋE���U����E�@<u	�E��P�E�@<u	�E��<�E��E��E���E���$����E��E��@�E��}�t�}�uۋE��E�E���U��S���$�����4��t~�$�������D$�$����$�������D$�$������t#�$������D$�$����$
����$��t����$��D$�$����0��~�����t	�����u�$ ������������\$�D$�$I�����[]�U���(��E��E��E������t����l)ЉE��$������E��Mb�E�������)��ȉE�T�E�$�E�4�E��D�E��}�t�E�;E�|	�E�i�L�}�t�E�;E�|	�E�j�5�}��t�E�;E�|	�E�k��}��t�E�;E�|	�E�l��E�d�E���U���(���u
�����P�$�d$����]��P�$�d$�E�����s�����D$�E��\$�$d����$��D$�$��������E��\$�D$�D$��$������У�P�$�d$�E�����s���U�������E�d��tF�U�����d9�~3���u	�E��(��9�u	�E���E���E��}��P�����E���E�DŽ�����E�}��~���E��E��P�E��@��y	�E���E��@=�~	�E���	�E��@�E�U싄����@�������E��@�E��E��}�u��E��E���E䋄����E�E�}���U�����;E�~�M䡄;E�	����uf�E䣄��Ћ
�E�D$�T$�D$��$����E�D$�$�����E��D$�$�����$�����U���(����E�����E��0��u��D$�$
��������t<�����t3�����D$�D$*�$�����$����Z�}�'~-��Ћ
�E��D$�T$�D$@�$����$�����D$�D$c�$����E�@��t��E�D$�$������D$�$
�����U���8�E��E�D$�E�D$�E�$����E��E��E�E��&�E����t�E���@���t�E�E�@�E�}�uԋE�$����E�H�D$�D$~�E�$����E�H�D$�D$��E�$��������t<����E��}�t.�E�D$�D$�D$�$�����E�$�������t"�E�$����D$�D$��E�$����E�D$�D$+�D$�$�����E�E���E�@�E�}�tp�E����te�E���@���uV�E����P�E��@9�u>�E��@�D$�D$��E�$����E��D$�E�$����E�@�E���E��D$�E�$����E�@�E�}��Z����E�D$�D$*�D$�$����E�$����3�E�E�E�@�E�E�$����E�E�E��E�E�$����E�u���U���(�E��E�$����E��}������P�$�d$����\$�$,�����E�D$�$����$
����H��E�$����E�$����0@�0�E�E���t��E�D$�$����������E�$������}����E�$����E���E��E�E�@�E��E�$����E��E�E�$������P�$�d$����\$�$X�����E�D$�$����$
����E�$������t��E�D$�$�������t�E�$����}��F����E���U��S���E�@<u	�E��t�E�@<u*�E�@���D$�$����9������E��?�E�@���D$�$����9�t	�E���E��@��$����E��E���[]�U����E��E��;�E��@�E��E��$�E�Ѕ�t�E��$����E��D$�E�$����E��E��}�u���U����E��E��8����E��E�P�E��P�}�t
�U��E����E��E�E��E��E��E�}u‹E���U����E���E��E��E�}u�E���U���H����t�$����������t�$��������u���u	���t�$���������t9�$$����$T������D$�$����������E��E���E�$����E�E�@�E�}�t�}�uݡ��E��E���E�$����E�E�@�E�}�t�}�uݡ��E��E���E�$����E�E�@�E�}�t�}�tݡ��E��E���E�$����E��E�@�E�}�t�}�tݡ��E��E��7�E�$����E��E��E؋E�E܋E�9E�}�E؉E܋E܉E�E�@�E�}�uËE�D$�E��D$�E�D$�E�D$�E�D$�$�����}����$�����$����$<�����D$�D$�$�����D$�D$@�$������D$�T$�$����m�}����}����$|����$������D$�D$0�$������E��	�E�@�E�}�t�E�$�����u�}�u5�$�����$,�����D$�D$�$������D$�T$�$�����}����}����$T����$�����$������D$�D$�$�����D$�D$&�$�����D$�D$�$������D$�T$�$������}����}����$����$<����$r�����D$�D$�$�����D$�D$?�$������D$�T$�$����R�}��6�}��,�$�����$�����$�����$/�����D$�D$0�$�����D$�D$�$�����D$�D$�$�����D$�D$&�$����}�t^�$D����$|����$������D$�D$�$�����D$�D$�$������D$�T$�$�����}���}����$�����$����$D�����D$�D$0�$�����D$�D$�$�����D$�D$?�$����}�t^�$l����$|����$������D$�D$�$�����D$�D$�$������D$�T$�$�����U������E��0�E��$�����t�E��$�����u	�E���E��@�E��}�u��E��E���U���H����t�$�����G����t�$�����+���u���u	���t�$���������t�$0����7�$p����$�������D$�T$�$������E��E���E�$����E�E�@�E�}�t�}�uݡ��E���E�$����E�E�@�E�}�t�}�uݡ��E��E���E�$����E�E�@�E�}�t�}�uݡ��E���E�$����E�E�@�E�}�t�}�uݡ��E��E���E�$����E�E�@�E�}�t�}�tݡ��E���E�$����E�E�@�E�}�t�}�tݡ��E��E���E�$����E��E�@�E�}�t�}�tݡ��E���E�$����E��E�@�E�}�t�}�tݡ��E��E��7�E�$����E��E��E؋E�E܋E�9E�}�E؉E܋E܉E�E�@�E�}�uá��E��7�E�$����E��E��EЋE�EԋE�9E�}�EЉEԋEԉE�E�@�E�}�uËE�D$�E��D$�E�D$�E�D$�E�D$�$�����}�tW�$@����$x�����D$�D$@�$�����D$�D$�$�����}�u.�$������D$�D$�$������$������D$�D$�$����}�u�}�u5�$ ����$X �����D$�D$
�$����}�t+�$� �����D$�D$?�$����F�$� �����D$�D$&�$�����D$�D$�$����}����$!�����D$�D$0�$����}�~F�$<!�����D$�D$�$�����D$�D$�$����}�t^�$|!����$|����$������D$�D$�$�����D$�D$�$�����U�����D$�D$�!�E�$�����D$�D$�!�E�$�����D$�D$�!�E�$����`�D$�D$�!�E�$����T�D$�D$�!�E�$����d�D$�D$�!�E�$������D$�D$�!�E�$������D$�D$"�E�$����X�D$�D$"�E�$������P�$�d$�lP�$�d$���\$�D$"�E�$������P�$�d$�H"��\$�D$("�E�$������P�$�d$�H"��\$�D$8"�E�$����E�$�����U����E�@<u�E�@<�����E���E�@<u	�E��r�E�P�E�@f9�uX�E��E�E��E��E���E�@�E�E��@�E��}�t�E���E��T$�$����E��}�uɋE��E���E��E���U����E�@<u�Ef�@�1�E�@<u&�E��E���E���$����E��@�E��}�u���%$>$>:;II:;
:;I8
	:;
:;
:;I8
I
!I/:;
:;I
:;I8
:;!I/
:;I8
:;
:;I:;.?:;'@.?:;'@:;I
4:;I
4:;I
4:;I
.?:;'@ :;I
!.?:;'@".?:;'I@#.:;'I@$.:;'@%'I&I'4:;I?<(4:;I?</$EuGNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)otter/misc.c/home/beeson/Otter-Lambdaunsigned charshort unsigned intlong unsigned intsigned charshort intintlong long intlong long unsigned int__quad_t;�__off_t�$long int__off64_t�NcharFILE.b�H�._flags�#_IO_read_ptrH#_IO_read_endH#_IO_read_baseH#_IO_write_baseH#_IO_write_ptrH#_IO_write_endH#_IO_buf_baseH#_IO_buf_endH# _IO_save_baseH#$_IO_backup_baseH#(_IO_save_endH#,_markers�#0_chain #4_fileno"�#8_flags2&�#<_old_offset(#@_cur_column,�#D_vtable_offset-�#F_shortbuf.#G_lock2#H_offset;0#L__pad1A�#T__pad2B�#X_modeD�#\_unused2F#`	_IO_lock_t�
�_IO_marker�_next��#_sbuf�#_pos��#�bN
A�,N
A3Krel	�lit
!
�relargval�#argof�#narg�#nocc�#path{#clashable{#K
!literal
)��	#next_lit�!#atom��#sign�N#target�N#
�
�termfarg�#occ,#fpa_id�#sym_num
�#varnum�#type{#bits{#'�sym_ent0
�#sym_num�#arity�#lex_val �#eval_code!�#skolem"�#special_unary#�#lex_rpo_status$�#name%�# special_op&�#�op_type'�#�op_prec(�#�sort)�#���N
A�
�term_ptr,term-�#
.�#�
pformula2parent�p#first_child�p#
�p#t��#type�N#quant_type�N#��
�fpa_head@termsA�#
B�#pathCv#|�fpa_indexD;FtableG�#��A��
'int_ptrJ
��#i��#
�imd_tree^
_�#kids_�#atoms`�#laba�#typeb{#max_vnume�#'�rkidss	termst�
	is_treep
q	#uu�#labv�#typew{#
�
�	clause(�parents��#)�;
#prev_cl��	#next_cl��	#first_lit�!#id��#pick_weight��#attributes��
#type��# bits�{#"heat_level�N##next_var��#$	;
list�first_cl��	#last_cl��	#name��#�	
�
cl_attribute�name�#u
X#
�
#A

�
clause_ptr�c��	#
��
#�
�
"clock�accum_sec�$#accum_usec�$#curr_sec�$#curr_usec�$#
Rformula_ptr�f�p#
R#"�i�d�sHt	�double�enamefH#valg�#jnamekH#vall�#minm�#maxm�#init�Dabend>�q,str=H��read_a_fileSq�-Xin_fpQ��out_fpR��lT;
��~tU���~t1U���~cV�	��~rcW���~errorW���~list_errorsW���~iW���~jW���~formpXR��~sYH��~\
z�fnj���|local_in_fpk���y
a�cpp����
�esecr$��r$��cpr����
��cp�����sec�$���$��cp����-�&cp����j7�sec�$���$��cp������Rcp�����c�sec�$���$��cp���@�#~cp���D�'sec�$�H�$�Lcp���P_�)�*i1���Ti2���Xp1���\p2���`+,,-errors����~p1���dp2���h�,�,ok��lV�
\sos_argument(�-�0� argc&�� argv'\�nvars(��h#.�0buf.H�lt/��pp0��d�/�0cO�	�tH�read_all_inputm�0�6� argck�� argvl\�ln;
�Dco�	�Hc2o�	�Lin_fpp��Pout_fpp��T`1�1cp���XH�1e2sec�$�\�$�`cp���dd�34cp���hW5�5sec�$�l�$�pcp���t�set_lex_vals@�6B7� t?��rA��liB��ppC��tPset_lrpo_statusZB7�7 tX�� valY��r[��pp\��t�set_special_unaryn�7�74 tm��ro��ppp��t�set_skolem��7@8` t���r���pp���tfree_all_mem�@8�:�c��	�t�output_stats��:e<� fp��� level���^;c<i��pj��t�print_stats&e<�A� fp%���print_stats_brief��A C fp��!p_stats� C5C<^print_times�5C�Mh fp���t�$�hmin�$�lhr�$�p�print_times_brief��M9T� fp���t�$�hmin�$�lhr�$�p!p_times)9TNT�3append_lists5NT�U� l13;
� l24;
�c6�	�pi7��t"�copy_termo��U�V tn��rp��hr2p��lr3p��pt2q��t"�biggest_var���VWD t���r���li���pj���t"]biggest_var_clause��WoWp c��	�lit�!�li���pmax���t"�ground_clause��oW�W� c��	��zap_list��W�W� p���q���t"occurs_in���W>X� t1��� t2���r���t"�occurrences��>X�X  s��� t���wX�Xr��pcount��t"�sn_occur��X<YL sn�� t��r��pA��t"is_atom2�<YmYx t1��#did_nested_skolems?�mY.Z� t>��r@��pAA��t"�ident_nested_skolemsf�.ZqZ� ce�	�lg!�pAh��t"groundz�qZ�Z� ty��r{��pok|��t!cleanup��Z�[("�check_stop���[�\Tgiven�$�Xseconds�$�\gen�$�`kept�$�dmax_given���hmax_seconds���lmax_gen���pmax_kept���t(report��\�]�runtime���pnext_report���control_memory��]l_�sos_distribution����pi���\j���`wt���dn���hcontrol���lsize���pc��	�tnext_control_point���A�$Pproof_message:l_x`� c9�	�user;H�pi<$�tprint_proof[x`�b fpY�� cZ�	�cp1\�
�\cp2\�
�`cp3\�
�dip1]��Xip2]��hlength^��llevel^��p&abap|��t"�check_for_proof��	�b�d0 c��	�e��	�hcp1��
�lcp2��
�pnumber_of_lits���t"�proper_list���de\ t���Dmove_clauses	ele� clause_proc	T� source	;
� destination	;
�c1	�	�pc2	�	�t%T�&�	D"�copy_int_ptr_list	�le�e� p	��p0	��lp1	��pp2	��t"int_list_length5	��e�e� p4	��i6	��t�automatic_1_settingsG	�e�lTf�lcP	�	�\3Q	��`hornQ	��dQQ	��h Q	��liQ	��pQ	��t"�sos_has_pos_nonground�	��l>m8c�	�	�tyautomatic_2_settings�	>m�rd�m�rc�	�	�\3�	��`horn�	��dQ�	��h �	��li�	��p�	��t�log_for_x_showY
�rCt� fpX
��" same_structures
�Ct�t� t1q
�� t2r
��r1t
��lr2t
��piu
��tj zap_variable_names�
�tEu� t�
��uCur�
��t'stdin�'stdout�'stderr�(Usable/;
(Sos0;
(Demodulators1;
(Passive2;
(Hot3;
(Hints4;
(Mace_constraints5;
(Types6;
(Fpa_clash_pos_lits=�
(Fpa_clash_neg_lits>�
(Fpa_pos_litsB�
(Fpa_neg_litsC�
(Fpa_clash_termsG�
(Fpa_alphasH�
(Fpa_back_demodL�
(Is_pos_litsP	(Is_neg_litsQ	(Demod_imdU�(Weight_purge_genY�(Weight_pick_givenZ�(Weight_terms[�(Weight_purge_gen_index_	(Weight_pick_given_index`	(Weight_terms_indexa	�"�
A�(Flagsh�"�"�
A;(Parmsn�"#�
A	(Internal_flagsp#A#$
A1(Statst1#a#�
Ac(Subsume_countuQ#�#�

A1(Clocksyy#(Nil_sym_num}�(Null_output��(Float_format��(Overbeek_terms��(Split_atoms��(Bell�N(Max_input_id���
z�
otter/usr/include/usr/include/bitsmisc.cstdio.hlibio.htypes.htypes.hheader.hg�YY_�vYZZ0����������	.gL$�%����Y�����*��#K�	XL=Y*3K�g��K��!�=�&#�
J�&#�
J�&��J�*��#K�]P&%/L��=��/���KmtX*/L��=��/��K�*/L��!�/��K�*/K��!�/��K�*/L��!�/��K�*/L��!�/��K�*/L��"��vK�*/L��"K�&%#K�K�*��#K�]P&%/Lu!�h[���/��#Kht5X*/Lu!�h[���/��#K�*/Lu!�h[��/��#K�*/Lu!�h[��/��#K�*/Lu!�h[��/��#K�&%#K�K�*��#K�]*/L�#���!�"�!�*/L�#���!�"�!�*/L!#�$�!="�!�*/L�#���!�"�!�#K�=�*1#K�^/L��*1#K�^/L�*#%%%�*1#K�^/K1*1#K�^/Kg#*1#K�^g�#K�/�*1#K�^/K��&LY�*�#K�^K�$��LN*g#K�%��#K��#K�K*/Ku���/���K�*�/K埻��g����y<	�%����#M���z���
�gg%��v�g�!�u!�%���Y%���%�ב�g���%K%K�
.k��������g�g����[!��"ʑZ�u�X\��[��xJ仫�Y��껫��[�����/g���l�u������/g���l�u�����仫䟻����
����.m�0u��A
.j�u��.j�u��.j�u��	.i�/�����mɠ�/����l���/����lɠ�/��=��mɠ̑��埠����ɟ���ɟ���>YY
.gg�g�g��g���#��@�gBz.��	.g��#�����������������������������������������������������������	.g��#��=��=����	.g�	.w#�"�(�"�(K��(33�33�3�3�3�3�3�3�3�333333333333333333333�33	fw#�"�(�"�(K��(�3�3�3�3�3�3�3333�3=3	fg�
.j��׽�#�����͟����ͭ.ig�����׭�u�/�g��=gx�
f�	.j�����u/�g�l�	.ju���=	.g=	.i/�g��l.iY����/���.gY���e�.j�K��u�/g���.g).j��u/�/���g�u�/󎾓.j�u/��=	.j����u��L�	.u��##��h��Zh���fj����"$����בבבג�	.j��v��g+/i	.������zt	.v�ɑռ/��ɒ�y 
 �/�:�@/�+//	�.g���L!$�3�-$�hK
.nu
���:�����g#��"#gY�8�=v�.=l��#�/��x.kuן%K�����g�K���Y���h�%K���K�q��>.u���*�u
fi�/��"zfn.i�/��g�gyf	�=	.h�=.g����_���g�/�L/�L/�L/�L/���/������$=���*g���v�X=������y�	X=�����z�`=��������g�����o�X=������g������6i�Ɏ
�.g����`�ػ��/�L��M/�L��M/�L��M/�L��M/������/g���"g�"������g�ڻ�����g���g�����.g���������3,,�.j�g��/��u/��%��	.g������w/dev/null
%c********** ABNORMAL END **********

********** %s

********** ABNORMAL END **********

includeERROR, bad argument to include: rERROR, cannot open file %s.
------- start included file %s-------
------- end included file %s-------
setclearassignlistERROR, bad argument to list: usableaxiomsNOTICE: Please change 'axioms' to 'usable'.
sosdemodulatorstypespassivehothintsmace_constraintsName of axioms list is now 'usable'.
ERROR, unknown list: formula_listWARNING, CLOCK_START: clock %d already on.
WARNING, CLOCK_STOP: clock %d already off.

-------> usable clausifies to:

list(usable).

-------> sos clausifies to:

list(sos).

-------> passive clausifies to:

list(passive).

-------> hints clausifies to:

list(passive).

-------> hot list clausifies to:

list(hot).
ERROR, unknown formula_list: weight_listERROR, bad argument to Weight_list: purge_gen----> ERROR, already have purge weight list.
pick_given----> ERROR, already have pick weight list.
pick_and_purge----> ERROR, already have pick weight list or purge weight list.
terms----> ERROR, already have term weight list.
ERROR, unknown Weight_list: lexERROR, argument of lex term is not a list: lrpo_multiset_statusERROR, argument of lrpo_status term is not a list: lrpo_lr_status
ERROR, the command lrpo_lr_status no longer exists.
Symbols have lr status by default.  The command
lrpo_multiset_status gives symbols multiset status.
skolemERROR, argument of skolem term is not a list: overbeek_termsERROR, argument of overbeek_terms is not a list: split_atomsERROR, argument of split_atoms is not a list: ERROR, split_atoms must be gound: special_unaryERROR, argument of special_unary term is not a list: opfloat_formatERROR, float_format term must have one argument.
make_evaluableERROR, make_evaluable term must have two arguments:
ERROR, second arg is not evaluable:
ERROR, args have different arities:
initial_proof_objectoverbeek_worldoverbeek_world: term errorsoverbeek_world: too many variablesend_of_list.
ERROR, command not found: ERROR, sos_arg set, but no argument found.

ERROR, characters after term:

ERROR, clause contains too many variables:
.

ERROR, input clause contains Skolem symbol:

list(sos).
File not found.  Is it in the right folder and spelled correctly?ERROR, bad demodulator: 
------------> process usable:
------------> process sos:
======= end of input processing =======
Forward subsumption counts, subsumer:number_subsumed.
%2d:%-4d %2d:%-4d
All others: %d.

------- statistics (process %d) -------

-------------- statistics -------------
clauses given            %7ld
clauses generated        %7ld
  (hot clauses generated)%7ld
  binary_res generated   %7ld
  hyper_res generated    %7ld
  neg_hyper_res generated%7ld
  para_from generated    %7ld
  para_into generated    %7ld
  factors generated      %7ld
  gL rule generated      %7ld
  demod_inf generated    %7ld
  ur_res generated       %7ld
  linked_ur_res generated%7ld
  back unit del. gen.    %7ld
demod & eval rewrites    %7ld
clauses wt,lit,sk delete %7ld
tautologies deleted      %7ld
clauses forward subsumed %7ld
cl not subsumed due to ancestor_subsume %7ld
  (subsumed by sos)      %7ld
unit deletions           %7ld
factor simplifications   %7ld
clauses kept             %7ld
  (hot clauses kept)     %7ld
new demodulators         %7ld
empty clauses            %7ld
clauses back demodulated %7ld
clauses back subsumed    %7ld
usable size              %7ld
sos size                 %7ld
demodulators size        %7ld
passive size             %7ld
hot size                 %7ld
Kbytes malloced          %7ld
linked UR depth hits     %7ld
linked UR deduct hits    %7ld
cl deletes, too many vars      %7ld
fpa argument overloads         %7ld
fpa argument underloads        %7ld
demodulations stopped by limit %7ld
  (hot clauses kept)%7ld

----------- times (seconds) -----------
user CPU time    %10.2f          (%ld hr, %ld min, %ld sec)
system CPU time  %10.2f  wall-clock time  %7ld             (%ld hr, %ld min, %ld sec)
input time       %10.2f
  clausify time  %10.2f
  process input  %10.2f
pick given time  %10.2f
binary_res time  %10.2f
hyper_res time   %10.2f
neg_hyper_res time%9.2f
ur_res time      %10.2f
para_into time   %10.2f
para_from time   %10.2f
linked_ur time   %10.2f
back unit del time%9.2f
pre_process time %10.2f
  renumber time  %10.2f
  demod time     %10.2f
  order equalities%9.2f
  unit deleletion%10.2f
  factor simplify%10.2f
  weigh cl time  %10.2f
  hints keep time%10.2f
  sort lits time %10.2f
  forward subsume%10.2f
  delete cl time %10.2f
  keep cl time   %10.2f
    hints time   %10.2f
  print_cl time  %10.2f
  conflict time  %10.2f
  new demod time %10.2f
post_process time%10.2f
  back demod time%10.2f
  back subsume   %10.2f
  factor time    %10.2f
  hot list time  %10.2f
  unindex time   %10.2f
@�@neg_hyper   time %10.2f
UR_res time      %10.2f
for_sub time     %10.2f
back_sub time    %10.2f
conflict time    %10.2f
demod time       %10.2f
@�@
copy_term received a NULL argument
============ end of search ============
list(usable).
list(sos).
list(demodulators).
That finishes the proof of the theorem.
Process %d finished %s
----- report at %9.2f seconds ----- %s%cA report (%.2f seconds) has been sent to the output file.
@�@%c

Resetting weight limit to %d.


Resetting weight limit to %d.

sos_size=%d
%c--- refuted case %c-- HEY %s, WE HAVE A PROOF!! -- %c-------- PROOF -------- Length of proof is %d.  Level of proof is %d.  Case   Weight of proof is %d.

---------------- PROOF ----------------

%d,
------------ end of proof -------------


-----> EMPTY CLAUSE at %6.2f sec ----> 
----> UNIT CONFLICT at %6.2f sec ----> @�@$nil$consPassive list not accepted in auto1 mode.Demodulators list not accepted in auto1 mode.Weight lists not accepted in auto1 mode.WARNING: Sos list not accepted in auto1 mode:         sos clauses are being moved to usable list.
SCAN INPUT: prop=%d, horn=%d, equality=%d, symmetry=%d, max_lits=%d.

The clause set is propositional; the strategy will beordered hyperresolution with the propositionaloptimizations, with satellites in sos and nuclei in usable.

All clauses are units, and equality is present; thestrategy will be Knuth-Bendix with positive clauses in sos.

There is no negative clause, so all clause lists willbe printed at the end of the search.

This is a non-Horn set without equality.  The strategy willbe ordered hyper_res, unit deletion, and factoring, withsatellites in sos and with nuclei in usable.

This is a Horn set without equality.  The strategy willbe hyperresolution, with satellites in sos and nucleiin usable.

This ia a non-Horn set with equality.  The strategy will beKnuth-Bendix, ordered hyper_res, factoring, and unitdeletion, with positive clauses in sos and nonpositiveclauses in usable.

There is a clause for symmetry of equality, so it isassumed that equality is fully axiomatized; therefore,paramodulation is disabled.

This is a Horn set with equality.  The strategy will beKnuth-Bendix and hyper_res, with positive clauses insos and nonpositive clauses in usable.

There is a clause for symmetry of equality is, so it isPassive list not accepted in auto2 mode.Demodulators list not accepted in auto2 mode.Weight lists not accepted in auto2 mode.Sos has positive nonground clause; therefore it is not changed.
Every positive clause in sos is ground (or sos is empty);therefore we move all positive usable clauses to sos.
Properties of input clauses: prop=%d, horn=%d, equality=%d, symmetry=%d, max_lits=%d.


All clauses are propositional; therefore we set thepropositional flag and use ordered hyperresolution.Setting pick_given_ratio to 2, because all clauses are units.Setting hyper_res, because there are nonunits.Setting ur_res, because this is a nonunit set containingeither equality literals or non-Horn clauses.Clearing order_hyper, because all clauses are Horn.Setting factor and  unit_deletion, because there are non-Horn clauses.Equality is present, so we set the knuth_bendix flag.As an incomplete heuristic, we paramodulate with units only.There is a clause for symmetry of equality, so it isgiven %ld
generated %ld
kept %ld
usable %ld
sos %ld
demods %ld
passive %ld
hot %ld
kbytes %ld
wall-time %.2f
user-time %.2f
sys-time %.2f
@�@����|��A�B
��A�B
qq,A�B
H���-�A�B
�0$A�B
�6cA�B
B7TA�B
�7UA�B
�7UA�B
@8�A�B
�:sA�B
e<aA�B
�AZA�B
 CA�B
5C�
A�B
D��M[A�B
D�9TA�B
NT|A�B
�U�A�B
�VzA�B
W]A�B
oWA�B
�W7A�B
�W|A�B
>X{A�B
�X�A�B
<Y1A�B
mY�A�B
.ZCA�B
qZoA�B
�ZA�B
D��[�A�B
�\�A�B
�]�A�B
l_A�B
x`UA�B
�b�A�B
�d�A�B
D�eSA�B
leYA�B
�e%A�B
�eA�B
�lTA�B
>mkA�B
�r�A�B
Ct�A�B
�tOA�B
tt�u��t��t�quqrtrttt�-u�-�-t�-�-t�-�0u�0�0t�0�0t�0�6u�6�6t�6�6t�6B7uB7C7tC7E7tE7�7u�7�7t�7�7t�7�7u�7�7t�7�7t�7@8u@8A8tA8C8tC8�:u�:�:t�:�:t�:e<ue<f<tf<h<th<�Au�A�At�A�At�A Cu C!Ct!C#Ct#C5Cu5C6Ct6C8Ct8C�Mu�M�Mt�M�Mt�M9Tu9T:Tt:T<Tt<TNTuNTOTtOTQTtQT�Uu�U�Ut�U�Ut�U�Vu�V�Vt�V�Vt�VWuWWtWWtWoWuoWpWtpWrWtrW�Wu�W�Wt�W�Wt�W�Wu�W�Wt�W�Wt�W>Xu>X?Xt?XAXtAX�Xu�X�Xt�X�Xt�X<Yu<Y=Yt=Y?Yt?YmYumYnYtnYpYtpY.Zu.Z/Zt/Z1Zt1ZqZuqZrZtrZtZttZ�Zu�Z�Zt�Z�Zt�Z�[u�[�[t�[�[t�[�\u�\�\t�\�\t�\�]u�]�]t�]�]t�]l_ul_m_tm_o_to_x`ux`y`ty`{`t{`�bu�b�bt�b�bt�b�du�d�dt�d�dt�deueeteeteleulemetmeoetoe�eu�e�et�e�et�e�eu�e�et�e�et�e�lu�l�lt�l�lt�l>mu>m?mt?mAmtAm�ru�r�rt�r�rt�rCtuCtDttDtFttFt�tu�t�tt�t�tt�tEuu3$initabendDread_a_file�sos_argumentbread_all_input�set_lex_vals�set_lrpo_statusPset_special_unary�set_skolem�free_all_memoutput_stats�print_stats�print_stats_brief�p_statsprint_times^print_times_brief�p_times�append_lists3copy_term�biggest_var�biggest_var_clause]ground_clause�zap_list�occurs_inoccurrences�sn_occur�is_atomdident_nested_skolems�groundcleanup!check_stop�report(control_memoryPprint_proofcheck_for_proof�proper_list�move_clausesZcopy_int_ptr_list�int_list_lengthautomatic_1_settings�sos_has_pos_nonground�automatic_2_settingsylog_for_x_show�same_structure zap_variable_namesEuunsigned intnextusecsymmetrymax_litscontainerpropositionaloccurs_IO_FILEequalityGCC: (GNU) 4.1.2 20061115 (prerelease) (Debian 4.1.1-21).symtab.strtab.shstrtab.rel.text.data.bss.debug_abbrev.rel.debug_info.rel.debug_line.rodata.rel.debug_frame.debug_loc.rel.debug_pubnames.rel.debug_aranges.debug_str.comment.note.GNU-stack4Eu	�X<%|u+|u0|uGB�w3$>	\3@R���
N	�:^��P"j��f	�:�w������	�=��� �	�=���Z�D�:�~�~���0	<��
�
mY�+Cl_
Q�Vcit����������)9FSfy��������:s�����qq,���$0@L\bo����NT|��������#6=DZkx��������d���6c	B7T(�7U3�U�=LUaqZoh�7Uz�������tO����-�#/:DOTkz���0$����>mk��e��"+<Tbnx��������@8��"4?JXl�W7u�����e<a�5C�
��AZ��M[� C$-9C9TKT\�VzhW]{oW���W|��>X{��X��<Y1��.ZC��Z���		�[�	�\�&	�]�5	?	H	S	x`U_	m	x	�	�	�b��	�	�	�	�	�	eS�	leY

�e%$
9
E
U
e
v
�
�lT�
�
�r��
Ct�misc.cid_nested_skolemsnext_report.5786next_control_point.5815proof_messageinitwall_secondsStatsclock_initinit_optionsinit_attributesfopenNull_outputBellbuilt_in_symbolsinit_special_opsdeclare_user_functionsFloat_formatget_is_treeIs_pos_litsIs_neg_litsget_imd_treeDemod_imdalloc_fpa_indexFpa_pos_litsFpa_neg_litsFpa_clash_pos_litsFpa_clash_neg_litsFpa_clash_termsFpa_alphasFpa_back_demodabendstdoutoutput_statsstderrfprintffwriteexitread_a_fileread_termsn_to_strstr_identprint_term_nlstrcpyFlagsfclosechange_flagdependent_flagschange_parmdependent_parmsfputcread_cl_listprocess_linked_tagscl_integrateprint_cl_listUsableappend_listsSosDemodulatorsTypesPassivehot_cl_integrateHotprint_hints_cl_listHintsMace_constraintsread_formula_listprint_formula_listClocksprintfclausify_formula_listWeight_purge_genread_wt_listWeight_purge_gen_indexset_wt_listprint_listWeight_pick_givenWeight_pick_given_indexWeight_termsWeight_terms_indexproper_listset_lex_valsInternal_flagsset_lrpo_statusset_skolemcopy_termOverbeek_termsset_varsSplit_atomsgroundset_special_unaryprocess_op_commandsn_to_aritysn_to_nodeinit_proof_objectread_listrenumber_vars_termzap_variable_namesoverbeek_insertzap_termsos_argumentstr_to_termskip_whiteprint_errorterm_fixupset_vars2print_termputscontains_skolem_symbolterm_to_clauseprint_clauseappend_clread_all_inputget_liststdinauto_lex_orderautomatic_2_settingsautomatic_1_settingscheck_optionscheck_input_demodimd_insertindex_lits_allinit_hothot_index_clauseprocess_hint_attributescl_clear_varspre_processfree_listpost_proc_allindex_lits_clashweight_cladjust_weight_with_hintsfflushnext_cl_numMax_input_idNil_sym_numfree_all_memfind_last_clrem_from_listun_index_lits_clashun_index_lits_allcl_del_intimd_deletefree_imd_treeweight_index_deletezap_listfree_is_treedel_hidden_clausesfree_sym_tabprint_optionsprint_memprint_statsprint_timesprint_stats_briefprint_times_briefSubsume_countsplittingmy_process_idp_statsrun_timesystem_timeclock_valp_timesget_termget_relbiggest_varbiggest_var_clauseground_clausefree_term_ptroccurs_interm_identoccurrencessn_occuris_atomis_skolemident_nested_skolemscleanupputcharParmscurrent_caseget_timecheck_stopreportcontrol_memorytotal_memusernameprint_caseprint_proofget_ancestorsprf_weightfree_clause_ptrfree_int_ptrcheck_for_proofnum_literalshide_clausebuild_proof_objectunit_conflictstr_to_snmove_clausescopy_int_ptr_listget_int_ptrint_list_lengthpropositional_clausehorn_clauseequality_clausesymmetry_clauseauto_change_flagpos_clausesos_has_pos_nongroundauto_change_parmlog_for_x_showsame_structure#*/4:@EJP [ b!g"l!q#v${%�&�'�&�(�&�)�&�*�&�+�&�,�&�-�/�0��1�212$/?D3J/Ya2m4�6�7��8LQ3f9kq�7�:�:�'227=W9\;r}2�5��2��5�<�7��8==9R>i7ty8�=�9�>�7��8??9T@k7v{8��3�9��
7807;@8Z7ej8s1��3�A�9�B���;!C)7DdEjF|G�7��8�A�9�B�
;3D`EfHxG�7��8�A�9�B�	$	DQ	EW	Ii	G�	7�	�	8�	A�	9�	B�	�	
DB
EH
JZ
Gq
7|
�
8�
A�
9�
B�
�
D3E9KKGb7mr8�A�9�B���L$E*M<GS7^c8~A�9�B���D
N
O-
GD
7O
T
8o
A�
9�
B�
�
�
E�
P�
G�
7
81383V[3p9�B�E���7��8%*3?9DJa7lq8�7��8�7��8�1��3�A9'Q<RKXdSt1��2��T�U�S�1��2Tf;�D��3�E�F�G782AG9\QqR���S�1��2��T�US1%-2<AT�;�D��3
EH%G<7GL8gA|9�Q�R���S�1��2
T-U:SJ1Zb2qvT�D$39E?KQGh7sx8�A�9�Q�R���S
1"216TYUfSv1��2��TDKP3eEkO}G�7��8�A�9�Q�R
&S61FN2]bT�U�S�1��2��TALw|3�E�M�G�7��8�1��3319FBaEfl�7��8��39"7-28MAb9gV��3���W�V���!�X�X�V�Y
V+ZB7MR8mA�9�[��3���W�[���!�\�\[Y*7<[KZb7mr8�A�9�[�V��3���W�VV["'!,X1X6\<\B[XYgty[�Z�7��8�A�9�]  3  + W0 ]? L Q !V ^\ ^b ]x Y� � � ]� Z� � 3� 9� W� [![!Z!!5!7@!E!8z!_�!�!3�!9�!�!�!A�!9�!`"a"7("-"8b"_�"�"3�"9�"�"�"A�"9�"b#7##89#>#3C#1^#c#3h#1�#�#3�#1�#�#3�#�#�#7�#�#8$_6$;$3P$9U$[$s$A�$9�$c�$7�$�$8�$_%%3.%93%9%Q%Af%9x%d}%e�%e�%f�%7�%�%8�%_&
&3"&9'&-&D&dI&gN&gV&f[&gc&h�&�&3�&9�&�&�&A�&9�&7�&�&83'_U'Z'3o'9t'z'�'A�'9�'i�'a�'7�'�'8�'9
(j( (7(7B(G(8�(�(3�(9�(�(�(9�(7)) M) e)7p)u)8�)k�)�)3�)9�)�)*l*lE*J*3_*9d*j*�*�*3�*9�*�*�*9�*7
++8*+A?+9Q+me+k+u+;�+�+C�+�+D�+E�+F�+G,7,,8D,AY,9v,n�,�,.�,f�,�,.�,o�,p�,q�,9!-&-3@-F-m-r-3�-9�-r�-6�-/
..3..K.tY._.v.u�.u�./�.�.3�./�.v�.�./w/x#//>/C/3I//X/y_/d/zo/rt/z/�/{�//�/�/3�//�/y�/�/z�/r�/�/�/|0r0"0'0;60D;0/V0[03a0/p0}u0/�0�03�0H�0~�0�0�0��0F�0��0H�0��0I�0��0K�0��0M�0��0O�0�1P1�
1J#1+1;1@1TL14Q1�Y1/c1Ss11�1�12�1�1T�15�1S�11�1�1222Tf2;|2s�2�2a�2��2;�2��2;�2��2��2I�2��2;�2%�2��2�233T3/ 3}43KF3�Z3Me3�j3M|3��3O�3��3;�3S�31�3�32�34T 4%4z*4F24�74F=4e4�j4F�4��4��4F�4��4�4z�4H�4��4H�45�5H5�/5�;5HS5�Z5Sj51z5�52�5�5T�5F6�6�&6H86�L6HV6Hb6;w6\�6��6��6�6z�6/�6��6��6��6/�6�7l87�c7l�7��7l�7�8l68�G8FO8�_8�j8�u8��8��8F�8��8F�8��8F�8H�8��8��8��8��8H�8��8H9�	9H9K9�*9�59�@9�E9KM9�[9Kc9�i9Kr9Iz9��9��9;�9%�9��9��9I�9��9I�9��9I�9%�9��9V�9X:�:V:�:V:[$:[.:\8:VB:XK:[T:\\:�a:[i:�o:[y:\�:]�:^�:��:]�:��:]�:^�:"�:��:#�:��:#�:#�:"�:��:�;�;�';�2;�E;�P;�x;};3�;��;�;2�;�<!<26<AH<�T<_<2l<�u<��<�<2�<�<3�<�<�<2�<�<�<2�<M�<==2=;=*=5=2:=;C=O=Z=2_=;h=t==2�=;�=�=�=2�=;�=�=�=2�=;�=�=�=2�=;�=>>2>;!>->8>2=>;F>R>]>2b>;k>w>�>2�>;�>�>�>2�>�>�>2�>�>�>2�>�>�>2???2?;%?1?<?2A?M?X?2]?i?t?2y?�?�?2�?�?�?2�?M�?�?�?2�?�?�?2�?@@2@@'@2,@8@C@2H@T@_@2d@p@{@2�@�@�@2�@�@�@2�@�@�@2�@�@�@2�@;�@AA2A!A,A21A:AFAQA2VA_AkAvA2{A�A�A�A2�A�A�A�A2�A��A��A�A2
BB3B#B.B23B?BJB2OBMXBMcBoBzB2B�B�B2�BM�BM�B�B�B2�B�B�B2�B�B�B2CCC2'C//C�VC[C3`C�lCzC�C2vD�D2�D��D�D�D2�E�E2�E�E�E�E2�F�F2�F��F�F�F2�F��F
GG2G;-G�;GIGTG2`G�nG|G�G2�G;�G��G�G�G2�G;�G��G�G�G2H;H�"H0H;H2@H;PH�^HlHwH2|H;�H��H�H�H2�H;�H��H�H�H2�H;I�I I+I20I;@I�NI\IgI2sI��I�I�I2�I��I�I�I2�I��I�IJ2J�J(J3J2?J�MJ[JfJ2rJ��J�J�J2�J��J�J�J2�J��J�J�J2K�K'K2K2>K�LKZKeK2qK�K�K�K2�K��K�K�K2�K��K�K�K2
L�L&L1L2=L�KLYLdL2pL�~L�L�L2�L��L�L�L2�L��L�L�L2	M�M%M0M2<M�JMXMcM2hMMzM��M�M�M2�M��M�M�M2�MN3	N�N#N.N2O*O2/O�;OIOTO2EPPP2UP\PtPP2PQ[Q2`Q;pQ�~Q�Q�Q2�Q;�Q��Q�Q�Q2�Q;�Q��QRR2R;$R�2R@RKR2PR;`R�nR|R�R2�R;�R��R�R�R2�R;�R��R�R�R2S�S'S2S2>S�LSZSeS2qS�S�S�S2�SI�SI�Sa�S��S�S�S2�SM�SMT�T$T/T2@T/HT��TF�T�T�TH�T�T�TIUUUKU%U,UM6U>UCUFMUUU\UHfUnUuUIU�U�UK�U�U�UM�U�U�U��U�Uz�U�DV�mVd�V�4W�|W��Wr�W��W�$X�RX��X�Y��Y��Y��Zh�Z�Zz�Z;�Z[z	[F[/[E"['[z,[H2[/>[EC[IN[S[zX[I^[/j[Ev[�{[;�[��[��[/�[0�[�[��[��[�[z�[��[��[�[T�[�[\\�\\&\�J\�R\�Z\�b\��\�\��\�\��\]]�1]6]T;]�A]/M]0T]]]1p]x]2]��]�]�]�]��]��]��]�]�]^#^K^H�^��^�_�__1+_3_2A_F_TT_Y_T^_/f_�s_�{_��_�_1�_A�_��_��_�_1�_�_2�_1�_��_�_1``2`(`14`<`2L`1[`}b`1r`A�`��`�`2aa2a�'a�NaSa3^a�ca;ra�~a�a2�a�a3bb2+b}Jb}{b�b3�b��b��b��b��b�cccTc/(c}4c�9c?cJc�Uc�Zc`ckc;uc/�c��c;�c��c��c��cD�c��cddTd/%d}1d�<d�Ad;Kd/Zd�_d;nd��d�d��d�d�	e_He�Ze~�e��eK�ef.
fIff.)f[2fV;f]FfKf.UfHbfgfznfsfzxfH~fF�fG�f��fH�fF�f��fF�f�gFg�;gFTg�qgF�g��g�gT�ghzh
hzhhzh/6h�;h/Sh�XhH^hFmh�rh��h�hz�h�hz�h/�h��hF�h��h�hziiz
i/%i�*iH0iF?i�Di�diiizpiuiz|i�iz�i/�i��i/�i��i/�i��iH�iF�i��i�jjz#j(jz/j4jz9j/Qj�Vj/nj�sjHyjF�j��j��j�jz�j�jz�j�jz�j�jz�j/�j��j/k�k/-k�2k/Jk�Wk\kzckhkzoktkzyk/�k��k/�k��kH�kF�k��k��k�kz�k�kzl
lzl/'l�,l/Dl�Il/al�nlslzzllz�l�lz�l/�l��l/�l��lH�lF�l��l��lHm�m�EmKRmWm.amInmsm.}m[�mV�m]�m�m.�m��m�mz�m�mz�m�mz�mH�mF�m��m��mFn�-nH?n�\nFun��nH�n��nF�n��nH	o�&oF?o�\oHno��oF�o��oH�o�IpNpT[p`pzgplpzqp/�p��p/�p��p�pz�p/�p��p�pz�p/q�q qz'q,qz1q/Iq�Vq[qz`q/xq��q�qz�q/�q��q/�q��q�qz�q/�q�rrz
r/"r�'r/?r�LrQrzXr]rzdrirznr/�r��r/�r��r�r�r2�r�r�r2�r�r�r2sss2 s,s7s2<sHsSs2Xsdsos2ts�s�s2�s�s�s2�s�s�s�s2�s��s�st2t�t't2t2=t��t�0upuBg���2�
9�.	t
�
C)-1Y]a.
2
a
e
~
�
�
�
�
�
�
�
26Kos��������"`d�����DH{���+MQei}���
lpt���159]a���������!z~�������KOS��� y}�������59=\`�������.26U�������:>B���#AEI�!fjn�159������z~����"&*/3Eds�����	
>Mi������9 = A S W �
0
4H
Lh
l�
��
��
��
��
��
�
(
,@
DX
\p
t�
��
��
��
��
�
 
$8
<P
Th
l�
��
��
��
��
��
�
,
0D
H\
`t
x�
��
��
��
��
�
 
$8
<P
Th
l�
�

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists