Sindbad~EG File Manager

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

ELF�4(U����]�U�塠@]�U�����@�����E�P�E�$����E�P��H9�u8����u/����D$�D$&�D$�$����E�P��@9�u8����t/����D$�D$'�D$�$(�����U����E�$����E�@�E��#�E��@�$����E��P�E��B�E��@�E��}�u���U���(�E�@��t?��D$�D$+�D$�$P�����E�D$�$����f�E�$����E�@�E��C�E�@�E�E��@f��t�E��@f��t�E��@f�����E��E���|��t
�E���$����E���@<uS�E����E��A�E���$����‹E���E���E��P�E���P�E��P�E���E��B�E��@�E��}�u��U��E�B�E���E��B�E��@�E��}��c����Z�E��@<uO�E��E��?�E���$����‹E���U��E�B�E���P�E��P�E���E��B�E��@�E��}�u��E�@�E�}��������U���8�E�@�E��K�E܋@�E�E��@f��t�E��@f��t�E��@f����E��E���|��t
�E��$����E���E���E��@�E��E���E�E�E�@�E�}�t�E�;E�u�}�u!��E�D$�$����$|����}�t�E�P�E�P��E��E�@�B�E��@��u
�E��$����E�E�E�@�E�E�$����}��I����E��$����E�E�E�@�E�E�$����}������E��@<���E��E���E��@�E��E���E�E�E�@�E�}�t�E�;E�u�}�u!��E�D$�$����$�����}�u�E��E�@�B��E�P�E�P�E��@��u
�E��$����E�E�E�@�E�E�$����}��I����E�$����E܉E�E܋@�E܋E�$����}�������E��E���E��E��E���E��E��$����}�u�E�$����E�$����E�$�����U����E�@�E��5�E�@�@�E�@�$����E�E�E�@�E�E�$����}�uŋE��E���E��E��E���E��E��$����}�u�E�$����E�$�����U���(�E�D$�$������E�D$�$����E�@�E���E��@�@���E��@�ЋE��L$�T$�D$�$�����E��@��D$�$����$
����E��@�@�‹E���T$�D$�$����E��@�E��}��t�����U���(�E�@��t�E�@�$����E��R����E�����E��U�E���E��@�D$�$'����ЋE�f�P�E�@�$����‹E���E�@��tq�E�@�$�r����E�����E�����E�����E��U�E���U��E��B�U��E��U��E��E��@�D$�$)����ЋE�f�P��E�E�E���U����E�@��t�E�@�$����E��-����E��E��@�D$�$+����ЋE�f�P�E���U���(�D$�D$)�E�$�����uv����E��U��E�B�D$�D$'�E�$������‹E��P�E��@��t�E�$����‹E��P��E���$����‹E��P�E��E��;�E��@��E�D$�$�L����E��E���E��D$�$�3����E��E��E�E���U���(����E��D$�D$.�E�$�����t:�E��@��$����‹E��P�E��@��u�E����E���E�D$�E�$����‹E��P�E��@�E���E��@�@<uO��D$�D$*�D$�$0�����E�D$�$����$[����E��8�U��E���E��P�E��B�E��$����E��@�E��}��q����E��E�E���U���
��;y���D$�E�$����E�}�u�E�Dž|����;y����u�E�Dž|���Dž������D$��;y���$��������;y��ЉD$�$^�������������������D$��;y���$���������;y��<.uf����E��E��@�D$�$^����ЋE�f�P����E�����E�U܋E�B�U�E��B�E��E܉�|���Dž������D$��;y���$���Dž������Ƅ��$@�������Ƅ��H@�������Ƅ��y@�������Ƅ��p@�������Ƅ��s@���������;y��<-u����@��;y��<>������Ƅ��(@�����������;y��<.u_��D$�D$$�D$�$l��������D$��;y���D$�$����E�Dž|�����������
;y������B����A���������;y��<-�L�������@��;y��<>�5�������Ƅ��)@�������Ƅ��-@�������Ƅ��>@�������Ƅ��$@�������Ƅ��C@�������Ƅ��o@�������Ƅ��n@�������Ƅ��c@�������Ƅ��s@���������������D$��;y���$���������;y��<.tk����Ƅ��(@�����-���������
;y������B����A���������;y��<.u�����Ƅ��)@�������Ƅ��.@�������Ƅ��@����Dž���D$����D$����$����E��}�u�E�Dž|��u����D$����$�����������<.t_��D$�D$�D$�$���������D$����D$�$����E�Dž|����E��$����E��E��$�����ui��D$�D$2�D$�$������E��D$�$����$[����E��$����E�Dž|��f�E��$�����ti��D$�D$-�D$�$������E��D$�$����$[����E��$����E�Dž|����E����E�E���@��E��E���@�$����E���$����E��$�������E܋E��E��E��T����E�}�t�U�E�B�	�U܋E�B�E�E�E��@�E��E�P�E�E�E�@�E�E�$����}�u��E�$����E���E��T����E�}�t�U�E�B�	�U܋E�B�E�E�E��@�E��E�P�E�E�E�@�E�E�$����}�u��E��$����E܋@�E���U�E܉�E�P�E�B�E�$����E�@�$�����t^��D$�D$.�D$�$����E�@��D$�$����$[����E�Dž|��%�E�@�E�}��^����E��E܉�|��|���U���(�<��t�E�D$�E�$����E���E�D$�E�$����E��E�u�E��E��Q�}�u�E��E��6�E�D$�E��$�����tf��D$�D$2�D$�$������E��D$�$����$[����E��$����E��E���E��$�����tc��D$�D$-�D$�$������E��D$�$����$[����E��$����E��E��H�E��$����E��}�t	�U�E��P$�E��$����}�t�E��	�E��E��E�E���U���(��E�����E��E��E�D$�E�$����E��"�E��P�E��E�D$�E�$����E��E�t��q�}�u
�U�E���	�U��E��B�U��E��B�U��E�B�E��E��E�D$�E�$����E��"�E��P�E��E�D$�E�$����E��E�t׃}�t7�E��@���{����E��@�@�D$�D$^�$������R����}�t�E��$����U�E��B��E���U���(�E���E�DŽ������E��}�?~�E�@�E��3�E��P�������D$�$�����t�E��@�E��Dž����}�u�Dž��������U���(�E�@�E��E��Y�E��@��uE�}�u#�E�D$�D$�D$�$?����E��@�D$�E�$����E��E��@�E��}�u��E�D$�D$�D$�$B����E�@�E��E��Y�E��@��tE�}�u#�E�D$�D$�D$�$?����E��@�D$�E�$����E��E��@�E��}�u���U���8�E�@�D$�D$G�E�$����E�@#��~!�E�@#���D$�D$K�E�$����E�D$�$[����E��E���E�@=���Y�E�P����)ЉE��E��3�E��E�E�@���t�E�@�D$�D$V�E�$����E�E�;E�~��+�E�;E�t�E�D$�$,����E�@��!�E؃}� ���U؋�d��E�D$�D$�D$�$Z������E�D$�D$�D$�$a�����E�D$�D$	�D$�$g����t�E�D$�D$�D$�$q����L�E�D$�D$	�D$�$t����$�E�D$�D$	�D$�$~�����E�D$�D$�D$�$�������E�D$�D$�D$�$������E�D$�D$	�D$�$������E�D$�D$
�D$�$�����\�E�D$�D$�D$�$�����4�E�D$�D$�D$�$������E�D$�D$	�D$�$�������E�D$�D$�D$�$������E�D$�D$�D$�$������E�D$�D$�D$�$�����l�E�D$�D$�D$�$�����D�E�D$�D$�D$�$������E�D$�D$�D$�$�������E�D$�D$
�D$�$�������E�D$�D$�D$�$������E�D$�D$	�D$�$�����|�E�D$�D$
�D$�$����T�E�D$�D$�D$�$����,�E�D$�D$�D$�$�����E�D$�D$	�D$�$ ������E�D$�D$
�D$�$*�����E�D$�D$�D$�$5�����E�D$�D$	�D$�$>����g�E�D$�D$�D$�$H����B�E�D$�D$�D$�$Q�����E�@�D$�D$W�E�$����E��E�}��]����E�D$�D$�D$�$Z��������	�E�D$�$
����E�@�E����E��@��u%�E�@�@�$����� ��t	�E���E��E܉E��E��@��u�E�D$�$-����}�t�E�D$�$(����E�@�D$�D$�E�$����}�t�E�D$�$)����E�@�E�}�t#�E�D$�D$�D$�$]����}������V�D��t�E�D$�E�$����9�E�$����E�E�$����E�E�D$�E�$����E�$����E�@��t�E�@�D$�E�$����E�D$�D$�D$�$[�����U�����E�D$�$�����U���(�}u%�E�D$�D$�D$�$�����N�E��E���E��D$�E�$����E��@�E��}�uߋE�D$�D$
�D$�$������U����E�@�E���E�@�E��E�E��z�E��P�E��@8�uY�E��P�E�@�T$�$�����t=�E��P�E��P�E��@�@�E��@�$����E��$����E��@�E���E��E��E��@�E��}�u��E�@�E�}��\�����U���(�E��E�@�E��m�E�@�E��M�E��P�E��@8�t%�E��P�E�@�T$�$�����t	�E���E��E�E��E��@�E��}�t�}�t��E�@�E�}�t�}�t��E���U���(�E��E��E��r�E�@=���.�E�P����)ЉE��E���E��E�E��E�;E�~��/�E�@��x%�E�@�$����E�}�t�E�$���E�E��E�}�u��}�t�E�E���E��E���U���8�E��E�D$�E�D$�E�$����E��E��P�E����t�E���@���t�E��E�E�E�@�E�E�$����E�E�E��E�E�$����E�u��E���U���(����t�D$�E�$����E������E��E��E�D$�E��D$�E�D$�E�$����E��}�t�E�$����E��$����E���U���8�E�@�E��E���E�@�E�E��}�t�E����<t�}�u�E��;�E�$�����tK�E�@�E�E�ƀ��E�D$�E�D$�E�D$�E�$����E��E�ƀ��E��E����E�@�E�E�ƀ��E�@�E��E���E�@�E�E��E�E��P�E��@8�um�E�D$�E�D$�E�D$�E�$�����tI�E�D$�E�D$�E�D$�E�$�����t	�E���E��E�D$�$����U�E��E�@�E�}�t
�}��W����E�ƀ��E��E܋E���U��S���E�D$�E�$�����tS����t%�E�$����ËE�$���9������E��,�E�$����ËE�$���9������E���E��E���[]�U���(���E��'�E�D$�E��$�����t�E��E��O�E��@�E��}�uӡ��E��'�E�D$�E��$�����t�E��E���E��@�E��}�u��E��E���U���h�E��E��������t�E�$����E��P�E�����Eܡ4�E�}�t�E�$����E��������E�@�E���E��@��t
��E����E��E��E�E̋P�E��D$�E�D$�E܉D$�$����E��Y�Eԋ@��EЋEЉ$����E�}�d~�$����Eԋ@�$��������}�t�E�;E�r�E��EЋ@�E���E�E��@�E��E��@;E�u�E�ƀ��E��EĉD$�E܉D$�E�D$�EЉ$����EȋE�ƀ��Eĉ$����}�t/�4��t&�E�D$�EЉ$����Eȃ}�u�\@�\�}�t����t�EЉD$�E�$����Eȃ}�u&�E��D$�E�D$�E܉D$�$����E���U��E܉D$�$����}�t
�}�������E̋@�Ẽ}�� �}��,�����E�@�E����E��@��t
��E����E��E��E�E̋@�E؋��E�D$�T$�D$�E؉$����E��D$�E�$����E��l�E��Eԋ@��EЋEЉ$����E�}�d~�$����Eԋ@�$��������}�t�E�;E����EĉD$�E؉D$�E܉D$�Eԉ$�����tk�E��EЋ@�E���E�E��@�E��E��@;E�u�E�ƀ��EĉD$�E܉D$�E�D$�EЉ$����EȋE�ƀ��Eĉ$����}�t/�4��t&�E�D$�EЉ$����Eȃ}�u�\@�\�}�t����t�EЉD$�E�$����Eȃ}�u�D$�E�$����E���E�$����}�t
�}�������E̋@�Ẽ}�t
�}�������E܉$����}�t�EЉE���E��E���U���H�4�E�E�$����E܃}�d~�$,�������t�D$�E�$����E������E��E�@�E��E���E�@�E�E�}�t�E�$�����u߃}�u1��D$�D$.�D$�$P����E��z�E�@�E�E��@��t
��E��	��U̡��ỦT$�D$�D$�E�$����E��E��D$�E��$����E����E�@��E��E��E;E����}�t�E�$���;E����EЉD$�E�D$�E��D$�E�$�����t~�E�ƀ��EЉD$�E��D$�E�D$�E�$����E؋E�ƀ��EЉ$����}�t�4��t�E�D$�E�$����E؃}�t�EԉD$�E�$����D$�E��$����E�}������E��$����EԉEȋE���U���X�E�@$�E�����t.�D$�E�$����E��D$�E�$����E��*����E�E�ǀ@����E�E�ǀ@�E�@�E��	�E؋@�E؋E؉$�����u�E��@��t
��E��	�
�M����E؋@�M��L$�T$�D$�$����E��D$�EЉ$����E��E��E��E�E���E��Eԋ@��Eȡ���t.�E��¸@�D$�D$�$����E�$����Eȉ$�����uA�EԉD$�E�$����‹E艐H�E苐H�E쉐H�EԉD$�E�$����Eȉ$��������E؋P�EĉD$�E�D$�EԉD$�E�D$�$��������E؋P�E�D$�EԉD$�E�D$�$����E̡���t�Ẻ$����Eĉ$����Ẻ$�������E��U��Ẻ�}�t�U�E��B��E��E�E��E�0@�0�0�E���E�}�t�E�;E�|�E��}�t�D$�EЉ$����E���EЉ$����}�t
�}��:����E�$����E�$����U�E��B$�E���U����E�@�E�� �E��@�@<t	�E���E��@�E��}�u��E��E���U���(�E�$�����t�E���E�@�E���E��@�����E�@�@�$�����tq�E�@���E��E�@��@��E��E��@<u�E��D$�E��$�����u	�E��D�E��@<u�E��D$�E��$�����u	�E���E�@�E�}��W����E��E���U����E�@�E��,�E��@��u�E��$�����u	�E���E��@�E��}�u��E��E���U��E�@�@f������]�U��E�@�@f������]�U��E�@�@f������]�U����E�$�����u�E�$�����t	�E���E��E���U����E�@�E��,�E��@��t�E��$�����u	�E���E��@�E��}�u��E��E���U����E��E�@�E���E��$�����u�E��E��@�E��}�uߋE���U����E��E�@�E���E��$�����t�E��E��@�E��}�uߋE���U����E��E�@�E���E��E��@�E��}�u�E���U����}t	�E���u	�E�����=�E��E��@�E���E��$�����u�E��E��@�E��E�;Eu݋E��E�E���U����E�$�����������U����E�@�E��E��&�E��@��t�E��$�����u�E��E��@�E��}�uԃ}�������U����E�@�E��0�E��$�����u�E��$�����t	�E���E��@�E��}�u��E��E���U���(�E�$�����t�E����E�@�E��E��@�E��E��P�E��@8�u�E���E��$�����t�E��@�P�E��@�@f9�t	�E��g�E��@��@��E��@���T$�$�����u	�E��7�E��@���E��@��@��T$�$�����u	�E���E��E���U����E�@�E��E��+�E��$�����u�E��E�;Eu�E��E���E��@�E��}�uϋE��E�E���U��E�@�E�P�E�P�E���u
�U�E���E�P�E�B�U�E�B�U�E�B�9Eu
�`@�`�,�9Eu
�T@�T��9Eu�d@�d]�U��E�@�E��E�P�E�@��u�U�E�B��E��E�B�U�E��U�E�B�9Eu
�`@�`�,�9Eu
�T@�T��9Eu�d@�d]�U����E�@�E��U�E�B�E�P�E�P�U�E�B�E�@��u
�U��E���E�P�E�B�E�U��P�9E�u
�`@�`�,�9E�u
�T@�T��9E�u�d@�d��U����E�@�E��U�E�B�E�P�E�P�U�E�B�E�@��u�U��E�B��E�P�E�B�E�U��P�9E�u
�`@�`�,�9E�u
�T@�T��9E�u�d@�d��U����E�@�E��E�@�E��}�u�E�P�E��B�	�U��E��B�}�u
�E�P�E���	�U��E��B�E�P�9�u
�`H�`�6�E�P�9�u
�TH�T��E�P�9�u�dH�d�E�@�E�@�E�@��U����E��E��E���E�E��E�@�E�}�t�E��P�E�@9�ك}�t�E��P�E�@9�t2����E��U��E��U��E�B�}�t�U��E��B��U�E����U���(�E���E�@�E��P�E�$�����u8�E�P�E�D$�$����E��E��E�E��E�E�9E�}�E�E�E�E��E�@�E�}�u��E���U���(����t�E�$����E��g��E��E��E�@�E��A�E��P�E�D$�$���E�E��$�����u�E��@��u�E�E�E��@�E��}�u��E�E�E���U�塤�U�B�E��]�U���� ���E����@���E��$�������u���U�������E�E�P �E�f�P �E�P$�E�P$�E�@�E��E������E��E��P
�E��P
�U��E��E��P�E��P�E�@�$����‹E��P�E��@�$����E��P�E��B�}�u�U�E��B�	�U��E��B�E��E��E�@�E�}��s����E���U���(�E�@�E�E�@�E��E��V�E��P�E��@8�u%�E��P�E�@�T$�$�����t	�E���E��E�E��E�@�E�E��@�E��}�t�}�t�}�u��}�t�}�u�}�u	�E���E��E���U����E�@<u�Ef�@�1�E�@<u&�E��E���E���$����E��@�E��}�u���U��S��4�E�@�E��M��E��Mb�E�������)É�i����)‰ЉE�E���E��E���E�E�E�@�E�}�t
�E��@;E�|ރ}�t0�E��@;E�u#��E�D$�$����$�����7����E�U�E��U�E�B�}�u�U�E���	�U�E�B��4[]�U��S��$�E�@�E��M��E��Mb�E�������)É�i����)‰ЉE�E���E��E���E�E�E�@�E�}�t
�E��@;E�|ރ}�t
�E��@;E�t#��E�D$�$����$�����/�}�u�E�U�R����E�P�E�P�E�$�����$[]�U��S���M�E��Mb�E�������)É�i����)‰ЉE��E����E��	�E�@�E�}�t
�E��@;E|�}�t
�E��@;Et	�E���E��E�E��[]�U����E�P�E�@8�~�E����E�P�E�@8�}�E����E�$�����t�E�$�����u�E���E�$�����u�E�$�����t	�E��q���tM�E�@�P�E�@�@f9�u	�E��F�E�@�P�E�@�@f9�v	�E��$�E���E�P�E�@�T$�$����E��E���U����E�@�E�E�@�E��[�E��D$�E�$����E��}�u�E�@�E�E��@�E��,�}�u�E��@�E���}�u	�E���$�����}�t�}�u��}�������U����E�@�E��s�E�@�E��E��=�E��P�E��@8�u"�E�@�P�E��@�@f9�u	�E��	�E��@�E��}�t�}�t��}�u	�E���E�@�E�}�u��E��E���U���(�E��E�@�����E�@�E�E�@�E��E��@�w�E��E�E���E�E�E�@�E�}�t�E�D$�E��$�����tԃ}�t�E��E��@�E�U��E�B�}�t�U�E��B��E��E�E�E��}�u��U�E�B�E���U����E�@<tQ�E�@��tF�E�@��E��E��@�E��9E�t�9E�t
�9E�uC�E�D$�E��$����/�E�@�E���E�P�E�D$�$����E�@�E�}�u���U����E��E���E��E��E��@�E��E��$����}�u�E�$�����U���(�E�$����E����tB�E�$�����u �E��D$�$������t	�E���E��E�E���E�$�����ue�E��D$�$������uE�E��D$�$������u.�E��D$�$������u�E��D$�$������t	�E���E��E�E�E���U���(�E�@�E��E��@�$����E��E��D$�$������u.�E��D$�$�����u�E��D$�$�����t�E�f�@��E��@�$�����t!�E�@��t�E�f�@�v�E�f�@�k�E��@�$�����~�E�f�@�M�D$�D$�E��$�����t%�E���@��@�$�����t�E�f�@�	�E�f�@��U���X�E��E̋E��E��E��E���ẺEԋE̋@�E̋E؉E�E؋�E؃}�t�E̋�P�E�@9�|˃}�t�E̋�P�E�@9�������E�����E܋UЋE��}�u'�E��EЉP�U�EЉ�E��E܉�U�E܉�'�EԋP�EЉP�UԋEЉB�E��E܉�U�E܉�E����E��E���E�@=���.�E�P����)ЉE��E���E��E�E��E�;E�~��u�E�@��xk�E�@�$����E�}�u�E�@�D$�$����<�E�D$�E�D$�E�$����E�E�E��E�E��E�9E�}�E��E��E��E�E��E�}��>����E���u	�E���E��@���u�E�E���E�@�E�U܋E�B�E�E��	�E؋@�E��E���U����E���E�DŽ����������E��}�?~鍅�����D$�E�$�����U����E��E���E�DŽ�������E��}�?~�E�@�E��,�E�P����D$�$�����u�E��E�@�E�}�u΋E�@$�E���E��������u�U�E��B$�	�E��}�?~݋E���U����E�@<u�E����E�@<uJ�E��E��E��(�E��E�D$�$�����u�E��E�@�E�}�uҋE��E���E���E��}�?&�E���E����t�E���E��E�@9�uу}�@u	�E��G�E���E����u#�E�����U�E�@��E��ЋEf�P�
�E��ЋEf�P�E��E���U����E�@<u�Ef�@�&�E��E���E���$����E��@�E��}�u���U����E�@�E���E��@�$����E��@�E��}�u���U����E�@<um�E�@�E��E���E��}�? �E���E����t�E���E�;E�u׃}�@tt�E���E����ud�E�����U�E���U�B�E��I�E�@<u>�E��E��$�E��E�D$�E�D$�$�R����E�@�E�}�t
�E���?~���U����E���E�DŽ����������E��}�?~�E�@�E�Dž��+�E��P����D$�������D$�$�����E��@�E��}�uϋ����U����E���u	�E���E��E��E��E�E���U����E�@��u	�E���E�@�E��E��E�E���U���(�E���u	�E��^����¡T�E�Й�}��@�E��E��E��E���E�@�E�E��E�;E�}�}�u�}�u�$D����E�E�E���U���(�}u	�E��q�E�@;E|G�E�@;E<����E��U��E��E�P�E�D$�E�D$�$����‹E��P�E��E���E�P�E�D$�E�D$�$����E�E���U����}u	�E���E�@�$���@�E��E���U����}u	�E��)�}u
�E��E���UJ�E�@�T$�$����E��E���U����}t�E�@�$����E�$�����U���8�E�$����E�}�u	�E��j�E�@�E�E��E�D$�E�D$�$����E�E�$����E������}���@�E��E��D$�E�$����E�E�$����E�E܋E���U���8�E�$����E�}�u	�E��k�E�@�E�E��E�D$�E�D$�$����E�E�$����E��U������@�E��E��D$�E�$����E�E�$����E�E܋E���U����E���u	�E��k�E��E�E�@�E�E�@�E��C�E��@�E�����t�E�;E��E��
�E�;E��E�}�t�E��E�E��E�E��@�E��}�u��E�E�E���U����E��E��E��E�����;�E�$�����t#�E�@�E��}�t�E�;E�}�E��E��E�E�E�@�E�}�u��E���U���8�D$]�$_����E��D$h�$_����E�}�t�}�u@�$l�����D$�D$&�D$�$����Dž������E��E���E�D$�D$p�D$�$���������D$�D$-�E�$����E�D$�����$�����u0��Ѝ����D$�T$�D$0�E�$����%�E�uL�$X����E�D$�D$%�D$�$�����$�E��E����E��u2���E���E��D$�E�$����E��@�E��}�u���E�$����E�}�u*�U�����T$�D$�D$��E�$����Z�E�P�9�t*�U�����T$�D$�D$��E�$����!�E��E�D$�D$��E�$����}��H����E�$����E�$����E�����������U���(�$��t����E��}�t�E��E��M���t��$����E��)���t��$����E�������t0���@�E�Й�}�Ѕ�u��$����E����$���t���D$�$����E������t��$����E������t��$����E��o�T���tU��T@�E�Й�}�Ѕ�u(��$����E��}�u4��$����E��"��$����E����$����E��E��E�E���U���8�E� �E�@���t3��D$"�D$��$����D$"�$������E��@�E�P�E�P����E�}�t�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��@�����E���U���X�E�����t�D$�E�$����E������E�E�ǀ@�E��E�}�t��E��E�E���u�E�E��E��E��E�@�E���EЉE̋EЋ@�EЋE��@��t
��E����E��E��E�E̋P�E��D$�E�D$�E�D$�$����E��E���E�@��EċEċP�9��Y�Eĉ$������E�E��}�t�UȋEЉB�	�U�EЉB����E�EċP�E�P�}�u
�U�E���U�E��E�E�Eċ@�E���E܉$�����tv����E؋U؋E��E��P�E؈P�E܋P�E�D$�$����‹E؉P�E䋀@�P�E䉐@�E؋@f�@�E؋P�E؉B�U؋EԉB�E؉EԋE܋@�E܃}��h����E̋@�@�E̋@�$����Ẻ$����U��E�D$�$����,@�,�E��$�E��D$�E�D$�E�D$�$����E�}�t
�}��U����}�u�ẺEȃ}������}�u�U�EԉB�	�UȋEԉB�E�;E�t|�E䋀@��t0�E�$�����u!��E�D$�$����$T�������E�E��@��}�u�E��E��U�E���E��E��U�E��E�$����E���U���X�D$�E�$����EԋEԋ@�E؋E��@��t
��E��	�
�M����Eԋ@�M��L$�T$�D$�$����E��D$�E�$����Eܡ���t1�D$�E�$����E��D$�E�$����E������E�����E���E܋@��E̋E̋@�E��E��9E�t�9E����EȉD$�E܉D$�E�D$�E؉$��������E�D$�E܉D$�E�D$�E؉$����EЋEЋ�@���Eȉ$����@���@���9E�u�E��@"�€��EЈP"�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��@������D$�E�D$�EЉ$����E��E��@���t3��D$!�D$��$����D$!�$������E��@�E��P�E��P�D$�E�$����E܃}������E�$����E�$�����%$>$>:;II:;
:;I8
	:;
:;
:;I8
I
!I/:;
:;I
:;I8
:;!I/
:;I
:;I8
:;
:;I:;.?:;'@.?:;'I@.?:;'@:;I
4:;I
.?:;'@:;I
4:;I
 .:;'I@!.?:;'I@"!I/#$%4:;I
&:;I
'.:;'@(4:;I?<)4:;I?<�6�WGNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)otter/clause.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�PcharFILE.d�W�._flags�#_IO_read_ptrJ#_IO_read_endJ#_IO_read_baseJ#_IO_write_baseJ#_IO_write_ptrJ#_IO_write_endJ#_IO_buf_baseJ#_IO_buf_endJ# _IO_save_baseJ#$_IO_backup_baseJ#(_IO_save_endJ#,_markers�#0_chain #4_fileno"�#8_flags2&�#<_old_offset(#@_cur_column,�#D_vtable_offset-�#F_shortbuf.#G_lock2#H_offset;2#L__pad1A�#T__pad2B�#X_modeD�#\_unused2F#`	_IO_lock_t�
�_IO_marker�_next��#_sbuf�#_pos��#�dP
C�.P
C3Mrel	�lit
#
�relargval�#argof�#narg�#nocc�#path}#clashable}#M
#literal
7��
#next_lit�##atom��#sign�P#target�P#
�
�termfarg�#occ.#fpa_id�#sym_num
�#varnum�#type}#bits}#)�P
C�
�term_ptr,term-�#
.�#�
wfpa_tree67�#left8w#right9w#left_term:�#right_term;�#type<�#path=}#��
�fpa_head@A�#
B�#pathC}#��fpa_indexD;FtableG�#��C�restrictdataJ
@int_ptrJ
�#i��#�contextPLM�#contextsN�#�boundO#�forbiddenP##�multiplierQ�#�built_in_multiplierR�#�`S�#�
T
#���
C?


C?@#}
C?3�
C?
�trailWcontextX
#
Y�#fpZ�#varnum[�#3�rkidss�t�
�is_treep
q�#uu�#labv�#typew}#
�m	is_pos�z
{m	#is|�#varvals}�#rel_stack~s	#�reset�#�stack_pos��#���	�C+
�	fsub_pos���#pos�m	#
�
clause(�parents�#7��
#prev_cl��
#next_cl��
#first_lit�##id��#pick_weight��#attributes�"#type��# bits�}#"heat_level�P##`��#$�	�
list�first_cl��
#last_cl��
#R��#�

"cl_attribute�R�#u
�#
"#�

Vclause_ptr�c��
#
�V#(�
�clock�accum_sec�&#accum_usec�&#curr_sec�&#curr_usec�&#�P
Cci�dsJt	�double5eRfJ#valg�#{jRkJ#vall�#minm�#maxm�#reset_clause_counter*next_cl_num7�,�assign_cl_idD�XcC�
�2
hot_cl_integratee��cd�
�litf#�t�
cl_integrate��c~�
�lit�#�hatom���lr���pr1���t?cl_del_int����c��
�lit�#�Tplit�#�Xr���\r2���`pr���dr1���hatom���lip1��pip2��t�cl_del_non�c�
�lit#�hplit#�lip1�pip2�t�cl_int_chk6�4c5�
�lit7#�t fliterals_to_termM���`lL#�tN��dt1N��ht2N��lr1O��pr2O��t!�clause_to_termo��/�cn�
�tp��t �term_to_literals�#/
	�t���lits�#�l�#�t!Pterm_to_clause��

	4
�t���c��
�pl�#�t!bread_sequent_clause��
4
ufp�b�rcp�}�c��
�Tl�#�Xprev�#�\r1���`r2���dbuf1�h���ybuf2�{���src���hi1�����si2�����shyps���lconcs���pt���tX{P"C���P"C��!read_clause��
u%<fp�b�rcp�}�t���pcl��
�trc���lnvars���h!�read_cl_list��
%fhfp�b�ep�}�lst��
�lcl��
�ppcl��
�trc���h!�set_vars_cl�f��cl�
�lit#�pvarnames���}i��tJ
C?eprint_sequent_clause���fpb�c�
�l#�pfirst��tprint_clause<���fp:b�cl;�
�lit=#�`ip>�dt?��h#�n�iJ��ljK��p$4=parens���tAp_clause���cl��
��print_cl_list��uDfp�b�lst��
�cl��
�t�cl_merge�u/ pc��
�l1�#�ll2�#�pl_prev�#�t!Jtautology	�/ � �c�
�l1
#�ll2
#�ptaut��t!�prf_weight$�� n!�c#�
�ip%�dd&�
�hsum'��l$� !i-��pj.��t!^proof_lengthF�n!�!�cE�
�cp1GV�dcp2GV�hip1H�`ip2H�lcountI��plevelI��t!�subsume_��!v" c]�
�d^�
�s`
�ptra��l%Ib��t!�map_resty�v"$Lcu�
�dv�
�sw
�trpx��c_litz#�\d_litz#�`%{��d%{��ht_pos|��l%I}��pi}��t�!�anc_subsume��$�$xc��
�d��
�!for_sub_prop��
�$%�d��
�c��
�t!Gforward_subsume��
%�)�d��
�%I���@d_lit�#�Dc��
�H%���L%���Ps�
�Ttr����is_db���Xpos�G��fpa_db�\�\ut�w�`c_size���dfactor���hi���ld_size���plit�#�t�	!Cback_subsumejV�)�+�ci�
�%Ik��Pc_sizek��Tfactork��Xik��\c_litl#�`dm�
�dsubsumed_clausesnV�L%o��h%o��lsp
�putqw�ttrr��H!dunit_conflict�V�+�.(c��
�d��
�@e��
�Dut�w�Hf_atom���Llit�#�Pgo���Tmp���Xec���\c1�
�`c2�
�dtr����cp_return�V�hcp_prev�V�lcp_curr�V�psaveit���t!�propositional_clause��./Tc�
�lit#�t!%xx_resolvable)�/�/�c(�
�$!/�/lit-#�l$T/�/a12��pa23��t!gpos_clauseH��/30�cG�
�litI#�t!�answer_lit[�30L0�litZ#�!�pos_eq_litf�L0e0lite#�!neg_eq_litq�e0~00litp#�!7eq_lit|�~0�0\lit{#�!yneg_clause���01�c��
�lit�#�t!�num_literals��1D1�c��
�i���plit�#�t!num_answers��D1�1�c��
�i���plit�#�t!}num_literals_including_answers���1�1c��
�i���plit�#�t!�literal_number���128lit�#�i���pl�#�t!unit_clause��2-2dc��
�!Thorn_clause��-2}2�c��
�lit�#�pi���t!�equality_clause�}2�2�c�
�lit#�t!�symmetry_clause!��2�3�c �
�l1"#�pl2"#�t!L ith_literalE#�34cC�
�nD��iF��plitG#�t� append_cl^4�4@l\�
�c]�
�� prepend_cl~�405ll|�
�c}�
�!insert_before_cl�05�5�c��
�c_new��
�l��
�th!insert_after_cl��5g6�c��
�c_new��
�l��
�t�!rem_from_list�g6*7�c��
�p��
�pn��
�t$"insert_clause*7�7	c	�
�cpp
$"�currV�lprevV�pnewV�tV!�"max_literal_weight'��7'8H	c%�
�&.&��lit(#�lwt)��pmax)��t!#weight_cl>�'8�8t	c<�
�&.=��$F8�8wB��lneg_weightB��plitC#�tM#hide_clause\�8�8�	c[�
��#del_hidden_clausesh�8�8�	ci�
�t!�#cl_copy{�
�8�9�	cz�
�d|�
�hl}#�ll1}#�pl2}#�t!X$clause_ident���9|:$
c1��
�c2��
�l1�#�ll2�#�pok���t�$remove_var_syms�|:�:P
t���r���t%cl_insert_tab��:�;|
c��
�cp1�V�`cp2�V�dcp3�V�h%&���lid���p�%cl_delete_tab��;�<�
c��
�cp1�V�dcp2�V�h%&���lid���p!�%cl_find	�
�<=�
id	��cp1	V�l%&	��p!&lit_compare,	�=%>l1*	#�l2+	#�!�&ordered_sub_clauseU	�%>�>,c1S	�
�c2T	�
�l1V	#�ll2V	#�piW	��t!�&sub_clause�	��>H?Xc1�	�
�c2�	�
�l1�	#�ll2�	#�pfound�	��t!�'sort_lits�	�H?@�c�	�
�sorted�	#�`prev�	#�dcurr�	#�h%
�	#�linsert�	#�pchanged�	��t�'all_cont_cl�	@�@�t�	��cpp�	$"�r�	��lc�	�
�pl�	�
�tB(zap_cl_list�	�@�@�lst�	�
�c1�	�
�pc2�	�
�t!�(is_eq�	��@�Asym_num�	��%R�	J�t�(mark_literal
�A�B4lit

#�%R
J�pa
��t!�)get_ancestors>
��B�D`c;
�
�cpp<
$"�ipp=
�)�cp1?
V�Dcp2?
V�Hcp3?
V�Lip1@
�Pip2@
�Tip3@
�XipA
�\dB
�
�`maxC
��dlevC
��hnC
��l$�C	Di`
��pja
��t!J*renumber_vars_term�
��DE�t�
��%A�
J*��}i�
��tZ*�
C?!�*renumber_vars�
�E�E�c�
�
�lit�
#�l%A�
J*��}i�
��pok�
��t!9+renum_vars_term�
��E�F�t�
��&A�
}�r�
��li�
��pok�
��tz+clear_var_names�
�FG
t�
��r�
��t�+cl_clear_varsG>G<
c�
�lit#�t'4,distinct_vars_rec>GHh
t��a}�max}�r��li��pvn��t!�,distinct_vars/�H~H�
c.�
�lit0#�pa1J*��}i1��tmax1���}!�,find_first_clC�
~H�H�
lB�
�cD�
�t!)-find_last_clU�
�H�H�
lT�
�cV�
�t!�-find_random_clg�
�HQIlf�
�ch�
�lii��pji��t!�-get_clauses_of_wt_range�VQI�IDc��
�min���max���$|I�Ip�V�t!9.clause_ptr_list_size���IJpp�V�!y.nth_clause��
JKJ�p�V�n����.zap_clause_ptr_list�KJrJ�p�V�!=/find_random_lightest_cl��
rJK�l��
�c��
�d$�JKwt���hp�V�ln���pj���t!�/find_mid_lightest_cl��
K�K l��
�c��
�d$'K�Kwt���hp�V�ln���pj���t!I0find_lightest_cl��
�KLLl��
�$�KLcm��
�hwm���lc��
�p$�KLw��t!�0find_lightest_geo_child�
L�Lxl�
�c�
�hcmin�
�lw��pwmin��t!k1find_interactive_cl.�
�L�N�fin/b�dfout/b�h$M�Nid:��`c;�
�ldone<��ps=���}$�M/NcM�
�t!�1find_given_clausej�
�NrP�giv_clk�
�t!?2extract_given_clause��
rP�Q�giv_cl��
�d#2xP�Pcp�?2�h$�P�Qsec�&�lusec�&�pcp�?2�tb!s3unit_del���Q�T(c��
�d��
��prev�#�@curr�#�D%
�#�Hanswers�#�Ll1�#�Pl2�#�T%���Xs�
�\is_db���`pos�G��ip0��dip��hlp��ldeleted���preturn_val���t�4back_unit_deletion3
�T�WTc1
�
�input2
��d4
�
�Dresolvent4
�
�Hc_lit5
#�L%6
��P%6
��Tc_subst7

�Xd_subst7

�\ut8
w�`tr9
��@source_list:
�
�d#�4�VWsec_
&�husec_
&�lcp_
?2�p$9W�Wcpa
?2�t�4VC�Clause_tab�4Clause_id_count��Hidden_clauses�
�Map_array!��(stdout�(stderr�)Usable/�
)Sos0�
)Demodulators1�
)Passive2�
)Fpa_pos_litsB\)Fpa_neg_litsC\)Is_pos_litsP�)Is_neg_litsQ�6

C�)Flagsh�5#65
C;)Parmsn6C6�
C	)Internal_flagsp36l6&
C1)Statst\6�6b
C1)Clocksy|6)Bell�P�
|�
otter/usr/include/usr/include/bitsclause.ctypes.hstdio.hlibio.htypes.hheader.h)=�.=g.gg���%��%.i��׸�.k�%���Y�+�Y��ɟ/=�׭�n��p��.��/=�׭�n\�(�	.l�Y�+�Y�ɟY�u/g��gK�g�׻�g�m���g�d��#X�Y�u/g��gK�g��g�m���g�@����/g��k���	.j�/��g��m�/g��l��	.i/K�Y1$$��.j�0���u�L�u�u�g=	.i�0�u�=
.i׃�&�Lg����.j���������%󓃻w�.�.	�ug�歑	�x(�u!�����ܟv�KKKKL)KY!%"��y-	-MKKKKKKKL�v"K/-#LKQ�#g��u!%"����%���%����ɰ��u/�g��gu�g�u�
f��/�g��gu�g�u�
f�׃��!%$�x�.��
.l��Ku��g��Y%󭑼�%󭑓�g��g���.k���uK/�Hx0g����gK/�Hvt=g���=	.��Ւ�/���l�.j!�g#Ko�#!�g#Ko	�
.k���/������0"((((((((((((((((((((((((((((%%%G�= #�/�Y=�/g/�g/�gu#��<��!��L#	.gK
.ig%�/!�j#	.i�Y�g/.��׭�6gv�fq��	.ju�/�/D��z��=.iv���˟gs��u.ku���=�~z=
.j�v�u#g��=.m�u/�:Ag�呟#�����uY��6$�=�u�
�
.uY�%%�fi�Y��Y��.i	tw�0u��g�ʒZ#&\��g�%�/���u#���Kg��Lg
&X *�R�3��Y#�'YYu��g�M�/���#���Kg��Lgv^�$�W�,�g��.
f��g��v��u/�:Og%��DuYY�uJ�#���Km#kX���.	f��Yw�Ƀʑ/��H[u�Yu��#���!"F&������g�gh/��vgyX�*򭭑=.i�/ג�k�.g徑Y%����w���.i�/���k�	.==	.==	.==	.g1.i�/���k�	.ju�/�=�k=	.ju�/�=�k=	.j$=.i�u�/�=���	.g=
.j!�:�.i�Ɏ�.i�!!�(�'�'��.j�u/�=��z�n�
.=��������ɟɟ�
.=��������ɟɟ�
.i���������ɟɟ�
.i���������ɟɟ�	.i��gؑgʖ����実��.i�u/g�xu���g��
.iu��u��=.g���u�/u�g�l�.=��	.i/�ɩ�.j�׻�uY�Ƀ�Y׻g��gs��=.j�0D$%.i������	.x�,�x/g�2/K�3���g�	fx�,�x/g�2/K�3g"��	fx,�/�0/��fg!�!�ɻɓ�������.j��/Kg��g�g�u���.j��u/+s1��gv��	.hxב��/ug/g��gu��g�gqff�=
.kY���5�/K�k	.i�/g��k�	.iؑB�.j�"E�\/���/�9�2�.m��/��x����g/?K#u���̠gw�l� ��Ʉu���.��ՓL.�u�Փ�/�u�k���+�>
.j���u�/uu�k�u/;,g��=�ɡ	.i�����	.i���.j��2Y󯭟��.��ՓK��h	.i����	.i����	.j����u/�:�g��
.gg�Y��$�"	.gg�K	.gg�g��.gg׮	.g�g�����K��	.g�g�����K��.g�����/�%ghz�n�
.ju��ga	�=	.�gh��%�uwY#��0u�#�u���@�g*�*uf�����	.i��g	��L�L%�\�ؑL�"���g#$�	.i[�g��=.
fu�v�˃g/��huu�Yg�#&uY�'ug����g��h�Y僃��K���ht���׮!�\t'.W$+�gNf4�g�����K���g�����=
.	fY�HY�Y���Y��uu(#�����"���[gX���

***** Turn Debugging Mode ON *****



***** Turn Debugging Mode OFF *****

WARNING, cl_integrate gets clause with ID: cl_del_int, bad equality clause.cl_del_int, bad clause.checking clause, address:%x     literal, address:%x sign:%d type:%d; atom:    cont_cl:%x, atom container:%x
-|$F#
ERROR, clause contains variable literal:
.
end_of_list
ERROR, arrow not found in sequent:

ERROR, text after term:

ERROR, input clause contains too many variables:

ERROR, input clause contains Skolem symbol:

ERROR, input literal contains Skolem symbol:
,  -> %d (heat=%d) .%dbinaryhyperneg_hyperurpara_intopara_fromfactorfactor_simpnew_demodback_demoddemodunit_dellinked_urevalgL-idgLcopyflipclausifyback_unit_delsplitsplit_negpropositionalbetatruesplit -orsplit -andsplit orsplit andsimplifysolve%d]  |
���>f����vN&����6��nF�^���~V.(list nil)
end_of_list.
forward_subsume, MAX_LITS too small.back_subsume, MAX_LITS too small.
NOTE: back_subsume called with empty clause.
cl_insert_tab, clause already there.cl_delete_tab, clause not found.ordered_sub_clause: not total.equalEQEqeq=$ANS$Ans$ans->WARNING, clause %d not found, proof is incomplete.
find_random_cl, sos bad.r/dev/ttywinteraction failure: cannot find tty.interaction failure: cannot find tty.

Enter clause number of next given clause, or 0 to terminate
interactive_given mode, or -1 to print list sos.
? %s%c
Not an integer: "%s", try again.

Turning off interactive_given mode.
Turning off interactive_given mode.
%c
Clause %d not found.
%c
Clause %d not in sos.

Ok, clause %d will be given.
WARNING, CLOCK_START: clock %d already on.
WARNING, CLOCK_STOP: clock %d already off.
unit_del, too many variables introduced.����|�A�B
A�B
�A�B
�GA�B
�A�B
��A�B
��A�B
�A�B
��A�B
�UA�B
/�A�B

	*A�B
4
AA�B
u�A�B
%AA�B
fA�B
�
A�B
��A�B
�A�B
��A�B
u�A�B
/ �A�B
� �A�B
n!�A�B
�!zA�B
v"�A�B
$�A�B
D��$�A�B
%�A�B
�)@A�B
�+�A�B
�.CA�B
/�A�B
�/OA�B
30A�B
L0A�B
e0A�B
~09A�B
�0OA�B
1>A�B
D1>A�B
�1/A�B
�1`A�B
2A�B
-2PA�B
}2SA�B
�2�A�B
�3TA�B
4�A�B
�4�A�B
05�A�B
�5�A�B
g6�A�B
*7�A�B
�7sA�B
'8�A�B
�8A�B
�83A�B
�8�A�B
�9�A�B
|:OA�B
�:�A�B
D��;�A�B
D��<�A�B
D�=	A�B
%>�A�B
�>�A�B
H?�A�B
@�A�B
�@=A�B
�@�A�B
�AA�B
�BA�B
�D@A�B
E�A�B
�EA�B
�FDA�B
G0A�B
>G�A�B
HwA�B
~H+A�B
�H-A�B
�H{A�B
QI�A�B
�I,A�B
JCA�B
KJ'A�B
rJ�A�B
K�A�B
�K�A�B
LdA�B
�LuA�B
�NzA�B
rPA�B
�QYA�B
�T�A�B
ttuttutt�u��t��t�utt�u��t��t��u��t��t�utt�u��t��t��u��t��t�/u/0t02t2
	u
		t	
	t
	4
u4
5
t5
7
t7
uuuvtvxtx%u%&t&(t(fufgtgiti�u��t��t��u��t��t��u��t��t��u��t��t�uuuvtvxtx/ u/ 0 t0 2 t2 � u� � t� � t� n!un!o!to!q!tq!�!u�!�!t�!�!t�!v"uv"w"tw"y"ty"$u$$t$$t$�$u�$�$t�$�$t�$%u%%t%%t%�)u�)�)t�)�)t�)�+u�+�+t�+�+t�+�.u�.�.t�.�.t�./u//t//t/�/u�/�/t�/�/t�/30u3040t4060t60L0uL0M0tM0O0tO0e0ue0f0tf0h0th0~0u~00t0�0t�0�0u�0�0t�0�0t�01u11t1	1t	1D1uD1E1tE1G1tG1�1u�1�1t�1�1t�1�1u�1�1t�1�1t�12u22t22t2-2u-2.2t.202t02}2u}2~2t~2�2t�2�2u�2�2t�2�2t�2�3u�3�3t�3�3t�34u44t44t4�4u�4�4t�4�4t�405u0515t1535t35�5u�5�5t�5�5t�5g6ug6h6th6j6tj6*7u*7+7t+7-7t-7�7u�7�7t�7�7t�7'8u'8(8t(8*8t*8�8u�8�8t�8�8t�8�8u�8�8t�8�8t�8�8u�8�8t�89t9�9u�9�9t�9�9t�9|:u|:}:t}::t:�:u�:�:t�:�:t�:�;u�;�;t�;�;t�;�<u�<�<t�<�<t�<=u==t==t=%>u%>&>t&>(>t(>�>u�>�>t�>�>t�>H?uH?I?tI?K?tK?@u@
@t
@@t@�@u�@�@t�@�@t�@�@u�@�@t�@�@t�@�Au�A�At�A�At�A�Bu�B�Bt�B�Bt�B�Du�D�Dt�D�Dt�DEuEEtE Et E�Eu�E�Et�E�Et�E�Fu�F�Ft�F�Ft�FGuGGtGGtG>Gu>G?Gt?GAGtAGHuHHtH
Ht
H~Hu~HHtH�Ht�H�Hu�H�Ht�H�Ht�H�Hu�H�Ht�H�Ht�HQIuQIRItRITItTI�Iu�I�It�I�It�IJuJ	Jt	JJtJKJuKJLJtLJNJtNJrJurJsJtsJuJtuJKuKKtKKtK�Ku�K�Kt�K�Kt�KLuL Lt L"Lt"L�Lu�L�Lt�L�Lt�L�Nu�N�Nt�N�Nt�NrPurPsPtsPuPtuP�Qu�Q�Qt�Q�Qt�Q�Tu�T�Tt�T�Tt�T�Wu��6{reset_clause_counter�next_cl_num�assign_cl_id�hot_cl_integrate2
cl_integrate�
cl_del_int?cl_del_non�cl_int_chkfclause_to_term�term_to_clausePread_sequent_clause�read_clauseread_cl_list�set_vars_clprint_sequent_clauseeprint_clausep_clauseAprint_cl_list�cl_merge�tautologyJprf_weight�proof_length^subsume�map_rest�anc_subsume�for_sub_propforward_subsumeMback_subsumeCunit_conflictdpropositional_clause�xx_resolvable%pos_clauseganswer_lit�pos_eq_lit�neg_eq_liteq_lit7neg_clauseynum_literals�num_answersnum_literals_including_answers}literal_number�unit_clausehorn_clauseTequality_clause�symmetry_clause�ith_literalL append_cl� prepend_cl� insert_before_cl!insert_after_clh!rem_from_list�!insert_clause*"max_literal_weight�"weight_cl#hide_clauseM#del_hidden_clauses�#cl_copy�#clause_identX$remove_var_syms�$cl_insert_tab%cl_delete_tab�%cl_find�%lit_compare&ordered_sub_clause�&sub_clause�&sort_lits�'all_cont_cl�'zap_cl_listB(is_eq�(mark_literal�(get_ancestors�)renumber_vars_termZ*renumber_vars�*renum_vars_term9+clear_var_namesz+cl_clear_vars4,distinct_vars�,find_first_cl�,find_last_cl)-find_random_cl�-get_clauses_of_wt_range�-clause_ptr_list_size9.nth_clausey.zap_clause_ptr_list�.find_random_lightest_cl=/find_mid_lightest_cl�/find_lightest_clI0find_lightest_geo_child�0find_interactive_clk1find_given_clause�1extract_given_clauseE2unit_dels3back_unit_deletion�Wunsigned intnexttermsc_atomd_atomhashvalwt_indexcontainervarnumssubsumedname_IO_FILEnext_varGCC: (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.rel.rodata.rel.debug_frame.debug_loc.rel.debug_pubnames.rel.debug_aranges.debug_str.comment.note.GNU-stack4�W	(�H%X+X$ 0X\B\Z�6>	p��R	��
N	`b��}^	h
n�$	j	p{@�������	p�s� �	x���i���:�6�6����`
	P��	�
�
��+/�<�dF�U�`>G�r�����:�������G������#��.?EW`jw��;����������������U'3
	*BM`e�Ar4
A���������u���	%A%.f:H�
]ekv��������u���/ ��� ���<��n!���B	�!z!.:v"�CQ^30iu�$���$���%>���%��1>�����1`
)6AKY�)@f*7�t�+��������E����.C�/�2�@��/O*L05e0@~09G�0ORD1>^�1/}-2P�}2S��2���3T�4����4��05���5��g6��7s '8�*�86�83I�8�Q|:Oa�9�n=	z��>��H?��@���@=��������D@�E�FD(G06HwD~H+R�H-_�H{nsQI���I,�JC�KJ'�rJ���K��K��Ld	'	�Lu;	A	H	O	W	\	c	�Nzu	�	rP�	�	�QY�	�	�	�T��	clause.cClause_id_countliterals_to_termterm_to_literalsMap_arrayHidden_clausesClause_tabdistinct_vars_recreset_clause_counternext_cl_numassign_cl_idcl_insert_tabParmsFlagsstdoutfwritehot_cl_integrateset_up_pointerscl_integrateprint_clausebd_kludge_insertintegrate_termcl_del_intbd_kludge_deleteabenddisintegrate_termfree_relfree_termfree_literalfree_int_ptrcl_delete_tabdelete_attributesfree_clausecl_del_nonzap_termcl_int_chkprintfprint_termputcharcopy_termget_termget_relstr_to_snclause_to_termis_symbolget_literalterm_to_clauseget_clauseterm_to_attributesputsmark_literalread_sequent_clauseread_bufskip_whiteinitial_strprint_errorstr_to_termterm_fixupset_varscontains_skolem_symbolread_clauseread_termset_vars2read_cl_listInternal_flagsget_listset_vars_clset_vars_termprint_sequent_clausefprintffputcsn_to_nodepretty_print_termterm_fixup_2print_attributesp_clauseprint_cl_listcl_mergeterm_identtautologyprf_weightcl_findproof_lengthget_ancestorsfree_clause_ptrsubsumeget_context2get_contextmap_restclear_subst_1free_contextanswer_litotter_matchclear_subst_2anc_subsumefor_sub_propUsableordered_sub_clauseSosforward_subsumenum_literalsIs_pos_litsIs_neg_litsfs_retrieveliteral_numberStatscanc_fs_posFpa_pos_litsFpa_neg_litsbuild_treenext_termzap_prop_treeback_subsumeinsert_clauseunit_conflictmemsetclear_forbiddenmax_varsforbid_boundunifybuild_bin_resrenumber_varsget_clause_ptrpropositional_clausexx_resolvableunit_clauseis_eqoccurs_inpos_clausepos_eq_litneg_eq_liteq_litneg_clausenum_answersnum_literals_including_answershorn_clauseequality_clausesymmetry_clauseith_literalappend_clDemodulatorsprepend_clinsert_before_clinsert_after_clrem_from_listmax_literal_weightweightweight_clhide_clausedel_hidden_clausescl_copyremove_var_symsclause_identlit_comparelex_order_varssub_clausesort_litsall_cont_clzap_cl_listfree_listsn_to_strsn_to_aritystr_identsn_to_ecget_int_ptrrenumber_vars_termrenum_vars_termclear_var_namescl_clear_varsdistinct_varsfind_first_clfind_last_clfind_random_clrandget_clauses_of_wt_rangeclause_ptr_list_sizenth_clausezap_clause_ptr_listfind_random_lightest_clfind_lightest_clfind_mid_lightest_clfind_lightest_geo_childchild_of_geometryfind_interactive_clfopenstderrfscanfstr_intBellfclosefind_given_clausefind_pickdiff_clextract_given_clauseClocksunit_delPassiveapplyback_unit_deletionpre_process!'->IS]f�	������	��� ,G	LRa"q��#�$�$(9&��"�	�'�(�)*&)��"�	�'�(�)*-+Z,k-v.�/�1�+�,./$	)3/>"x	}3��4�5�	�3�678,	19I6p7x8�8�	�9�7	9A	L;U<q	|;�6�6	>$		/	;E	?�	�		�	�	�	4�		�	@
AN
C�
D�
	�
ED73	89G>O<�Dj�	���FD�GD#>	COeF�H�I��	���4�	�@�1J2	7=L4S	X@c1�)�)�*�>�<')8*G<�)�*�A�J�	#4*	/@|�B�L�M	!'64=	B@M1mJv�	���4�	�@�1�=�1-O?P[KK�K�K)	1;J0YO�R(	-B4v	{�	��4	T2	=TPU�	�T�U	 	%H	Mp	u�	��	��	�	8	=`	e�	��	��	�	(	-P	Ux	}�	��	��	�	@	Eh	m�	��	��	�	
0	5X	]�	��	��	��	�T	#(CUnV�U�U�W�U(	->TSa:oX�4�1�Y�	���"	="j	o�]�1�+x ]+!`?!_�!b�!c�!,""e$"fN"gb"hm"i�"�"j�"�"g
#(#�#k�#g�#l�#$d$-$_:$_R$a_$a�$o�$p�$q�$p%(%n<%fD%X%s`%�%t�%u�%v�%s�%	�%'�%wF&n&gz&�&h�&�&m�&x�&x�&�&d'v'ym'zw'{�'�'|�'}�'s�'	�''(wF(k|(�(g�(�(h�(�(m�(x�(x�()d')}7)~k)i�)�)s�)	�)'�)�)e�)f*j*5*	:*_*zj*{r*�*|�*}�*s
+k+;+gG+S+h^+t+m�+��+}�+i�+�+e,e,f%,fT,jh,{s,z|,�,|�,}�,
-�-�#-s:-�i-�t-s�-��-��-�-��-h�-\.�1.x7.x<.xD.u.}�.~�.i�.i
/�L/��/��/�0j�0��0��0j%1jc1j�1j2sW2j�2��2��2s)3�r3]�3]�3j^4oh4xn4xu4q4x�4x�4��4x�4x�4o�4x�4x5q
5x5x5�$5x*5x�5o�5x�5x�5q�5x�5x�5��5x�5x#6o-6x36x:6qD6xJ6xQ6�[6xa6x�6o�6x�6x�6q�6x�6x�6�7x7x�7��7j�7�.8=8sG8q8�8j�8�8�8�8�8�8%�89>;9<n96�9�:]�:�
;T;c;"j;	o;'v;��;�;;<J<"Q<	V<'n<�<c�<e=jt=j�=j�=j�=>�M>��>	�>'�?�=@oG@qQ@�h@��@��@0�@��@��@A�A	A�BA�UA	ZAElA	qAE�A	�AE�A	�A��A��A	�AEB		BEB	 BEAB�uB��B	�B;�B�OC�WC�D`7D	<D3WDbE�lE�F��F�)G��H��Hx=I	BI'}I��I��I��I�?J�aJ�lJcJ��J��J��J��J��J�K�GK�UK�zK��K��KDL��L	�L	�L��L	�L	�L��L	�L@�L��L	�L3M	8MJM	UM�jM�uM��M	�MT�M	�M@�M	�M�M�MqN"6N`IN�\N	gNTtNq�N��N	�NT�N	�NT�N��N��NO�!O*Oq2O�?OHOqPO�]OhOxmO�Oq�O��O�Oo�Oq�O��O�Oq�O��O�Oq�O��OPx	PPq&P�4Pq<P�FPqNP�XPq`P�{P��P��P	�PT�P	�P3�P��P��P��P�Q	QT&Q	+Q3�Q�Qe�Qf*Ru4Rt`Rv�R��Rs�R�
SjS<CS��S1�S+�Sy�Sx�SxTvkT�uT�T"�T	�T'�T��Ti�T�U{Uz'UHU|^U}fU}Ue�Ue�Uf�Uf�Uo�UqVk+V�EVhJVxPVxUVx[Vx`Vo�VZ�V��V��V	�VT�V	�V3Wq5W�<W�LW�\W	dWTsW	xW3�W}�Wi�WiwDi����&R��T��	�	�	�
�
�
H?���������


H
L
P
�
�
�
TX\��������� $rvz���'+/���#'|������&*.Y]a���cgk�����tx|����APp������37;Mz�hlp��_cg���������>BF���������#PTX������GKO������"&rvz���	 
  ` d h � � � � � � 0!4!8!�!�!�!�!�!�!K"O"S"e"�"�"�"�"�"�"3#7#;#j#n#r#�#�#�#$	$
$r$v$z$�$�$�$�$-%1%5%e%�%�%�%�%�%�%�%5&9&=&�&�&�&'''Z'�'�'�'
(((V(Z(^(v(�(�(�(�(�(�(�(�)�)***-*v*z*~*�*�*�*�*+S+W+[+�+�+�+�+�+�+P,T,X,�,�,�,--
-F-J-N-�-�-�-�-�-.#.'.R.V.Z.�.�.�.�.�.�.�./`/d/h/�/�/�/�/�/�/01050o0s0w0�0�0�011S1W1�1�1�1�1�1�1�1�122\2`2d2�2�2�3�3�3�3�3i4m4�4�4�4�45-5�dhlptx|��������������������������04HL`dx|���������� $8<PThl������������(,@DX\pt���������� 48LPdh|�����������$(<@TXlp�����������,0DH\`tx����������(,@DX\pt����������04HL`dx|���������� $8<PThl������������		

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