Sindbad~EG File Manager

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

ELF�4(U����E�$����E��E��$����E��E��D$�E�$����E��$�����U�����E�D$�$�����U���8�}u[����E�E��@�}u#�D$�$����ЋE�f�P�K�D$�$����ЋE�f�P�(�E�$����E�E�@����E�P�E�D$�$�h����E�����E�����E�����E��U�E���U��E��B�U��E��U��E��E��@�E�E܃}�tB�}��}�t��}�tK�}�te��D$�$����ЋE�f�P�f�D$�$
����ЋE�f�P�F�D$�$����ЋE�f�P�&�D$�$����ЋE�f�P��E�E�E���U���8�E�@���E܃}���U܋�0��E�@�$����E����E�@�ЋE�@�T$�$�����E�������E�E��@�D$�$����ЋE�f�P����E�U�E��E�@�$����‹E��l����E�E��@�E��E��E��E�E����E��@��;E����E�����E�����E�U�E��E���u
�U�E��	�U�E�B�E�E�E��@�E��@<u �D$�$����ЋE�f�P��D$�$����ЋE�f�P�E��@���E�E�����E�E��@�$����‹E��U�E�B�E�E�E��@�E��E��@<�����E��D$�$#����ЋE�f�P����E�U�E�B�E��$����‹E���E��E���U��S��4�E�����D$�D$�E�$�����t	�E��v�D$�D$
�E�$�����t	�E��N�D$�D$�E�$�����t	�E��&�D$�D$�E�$�����t�E��}����te����E�E��‹E�P�E���$����‹E�P�E�X�E��@��$����C�}�t
�}����E�$�����D$�D$�E�$�����t+����E�E��@�E���$����‹E�P�@�E�@<��E�@�$����D$#�$��������E��E�E�E��E���E��D$�D$�$�����t	�E��v�E��D$�D$�$�����t	�E��L����E�}�t�U�E�B��E�E�E��@�E��‹E�P�E��$����‹E�P�E�E�E�@�E�E�@���I����E��$����‹E�P�"����E�E��@�E�$����‹E�P�E��4[]�U���(�E�D$�E�$����E��E�u�E��E���}�u�E��E���E��$�����tc��D$�D$.�D$�$P�����E��D$�$����$����E��$����E��E��(�E��$����E��E��$����E��E��E�E���U���8��E��E��E��E�D$�E�$����E��"�E��P�E��E�D$�E�$����E��E�t��m����E�U�E���}�u�E�E��	�U�E�B�E�E�E�D$�E�$����E��"�E��P�E��E�D$�E�$����E��E�t׃}�t1�E��@<u��E��@�D$�D$��$������\����}�t�E��$�����E���U����@�E��D$�E�$����E�D$�D$�D$�$����E�@�E�}u��E�D$�D$
�D$�$������U�������E�E�P�E�P�E�@<u�E�@�$����‹E�P��E�@<u;�E�P�E�P�E�@�$����‹E�P�E�@�$����‹E�P�O�E��E�@�E��7�E�$����E��}�t�U��E��B�	�U�E��B�E��E��E�@�E�}�uËE���U����E�@<u�E�@�$����D�E�@�E���E��E��E��@�E��E��$����}�u�E�@<u�E�@�$����E�$�����U����E�@�E��E�@�E�@<u�E�@�E��E�$��������E��E��@�U��E�B�U��E��B�E���U��S��4�E�@���Ẽ}��|�Ű����E�E��l����E�E��@�U�E�B�E�P�E�P�E�$����E�E��@�E�X�E�@�@�$����C�E�@�E�@�$����‹E�P�U�E�B�E�$����E����E�@�E�@�$����‹E�P�E�$����E���E�@�$����‹E�P�U�U���E��E�@�E��G�E�@�E�E��@�E�$����E�}�t�U�E�B�	�U�E�B�E�E�E�E�}�u��E�E��%�E�@�E��E��@���Eԃ}����Uԋ����E�E����E��$����E�E��@�E��@�E�@�$����‹E�P�E�X�E�@�@�$����C�U��E�B�E�@�U�E��B�E�$����E��v�E��@�E��@�$����‹E��P�E�$����E��F�E��@<u�E���E��E��UڈP�E��@�$����$����‹E��P�E�P�E��P�E�$����E��E����E��E��@�E��O�E�@�E�E��@�E�$����$����E�}�t�U�E�B�	�U��E�B�E�E�E�E�}�u��E��@<u�E���E��E��UۈP�E�P�E��P�E�$����E��E��B�E��@�E�E�P�E�P�E�$����E��$����E�$����E���E��EЃ�4[]�U���(�E�@<u&�E�P�D$�E�D$�T$�E�$����k�E�@<u-�E�@�@;EtQ�E�P�E�D$�E�D$�$����3�E�@�E��"�E�D$�E�D$�E��$�m����E��@�E��}�u���U���8�E�@<u@�E�@�@<t2�$������E�D$�$����$
����J�E�@<t�E�@<u2�$�����E�D$�$����$
�����E�@<t�E�@<uk�E��E�@�E��N�E�@�E�E��@�E�D$�E�$�����E�}�t�U�E�B�	�U�E�B�E�E�E�E�}�u���E�@<�r�E�@<���E�P�E�D$�$�����t=����E��E�@�@�‹E�H�E��D$�T$�$�����E�P�E���f�B����E��E�P�E���E��E��	�E�@�E�}�t
�E�@��u�}�t�U�E��B��U�E���E�P�E�D$�$�����‹E�P�E��$����}�t�E��@��E��v�E�P�E�D$�$�����‹E�P�E�$����E�P�E�H�E�D$�T$�$����E�@�E�@�E�E�@�$����E�$����E�E�E��U�������E��E��@�E��D$�E�$�9����E�E��$����E��U����E�$����$����$����$����$�����U���(�E�@<uu�E��E��E��E��]�E���D$�E�$�����t!�E���$����E�$����‹E����E���E�D$�T$�E�$����E��@�E��}�u���U���(�E�@<u�E�P�E�D$�T$�E�$�K����u�E�@<u7�E�P�E�D$�$�����uQ�E�P�E�D$�T$�E�$����3�E�@�E��"�E�D$�E��D$�E�$����E��@�E��}�u���U���(�E��E��E���E��E��@�E��}�u�}�uL�E�@�@���������D$�$����������D$�������D$�$����J�E�@�@���������D$�$����������D$�������D$�$����E��D$�������$����ЋEf�P�E�@�$�����U���(�E�$����E��E��<$u8�E�@�<ct�E�@�<fu"�E����U��T$�$�����t	�E���E��E���U����E�@<u	�E��u�E�@<u�E�@�$����E��V�E�@�$�����t	�E��:�E��E��#�E���$�����t	�E���E��@�E��}�u��E��E���U���(����t	ƅ��X�ƅ��x����������ƅ�����@��������D$�$���������D$������D$�������$����E�@��������D$�$���������D$������D$�������$���������$�����u��D$������$�����U����@��������D$�$���������D$������D$�$����C�@��������D$�$���������D$������D$�$���������$�����u��E�D$������$�����U���(�E�@���E�}��}�}���}�t6���E�@�E���E�D$�E��$����E��@�E��}�u���E�P�E�D$�$�����t?����E��E�@�@�‹E�H�E��D$�T$�$����E�P�E���f�B�&����E�E�P�E��E��E�P�U�E��E�P�E�D$�$�
�����U�������E�E��@�E�D$�E�$����E��E���E��E��E��@�E��E��$����}�u�E�$�����U����E�@<up�E��E��E��E��X�E���E��E��@<u*�E��P�E�@f9�u)�E��@�E��P�E�f�P��E��D$�E�$����E��@�E��}�u���U����E�@<u�E�@�D$�E�$�W����,�E�@�E���E��D$�E�$����E��@�E��}�u���U���(�E�@���E�}��}�}��}�tf��E��E�@�E��G�E�@�E��E��@�E�$����E�}�t�U��E�B�	�U�E�B�E�E��E��E�}�u��F�E�P�E�@�T$�$�����E�@�E�E�P�E�P�E�$����E�$����E�E��U���(�E�@�E��n�E��E��E��@�E��E��P�E�@8�u&�E�D$�E�D$�E��$����E��$����'�E���t
�E��E��B�	�U�E��B�U�E���}�u���U���(�E�@<t�E�@<u=�E��E��D$�E�D$�E�$�=����E���t�E��@�
�E�@��U���8�E�@�E�E�@�E�@<t�E�E����E�$�������t�E�$����E�$����E�E�@<t�E�E���E��E��E�@�E���E��E�E�E�@�E�}�t�E��@<u݃}�u�E�E��3�}�t�E�P�E�P��E�P�E�P�E�@�E�E�E��E���E�@�E�}�t�E�$����E���E�E�}�u�E�P�E�P�U�E�B�<�E��E�@�E���E��E�@�E�E�H;E��E�P�E�P�U�E�B�E�$�}����E�}�t�U�E�B�	�U܋E�B�E�E�E�E�}��D����U܋E�B�E܉$�������t�E܉$����E܉$����E܋E܉E̋E���U���(�E�@�E��E�@�E�@<t�E�@<���E��E�@�E��=�E�@�E��E�$����E�}�t�U�E�B�	�U�E�B�E�E�E��E�}�u��E�@<u/�E�$�������t)�E�$����E�$����E��E�$�<����E�U�E��B�E��U����E�$����$����$����$����$�����U���(�E�@<uw�E�@�$����$��������E�@�$�����D$�D$ �$�����E�D$�$�����D$�$
�����E�@<uL�E�@�$����$�����u^����E��E�@���D$�E��D$�E�D$�$����-�E��E���E���E�D$�$�����E��@�E��}�u���U����E�@<u�E�P�E�D$�$�����,�E�@�E���E�D$�E��$����E��@�E��}�u���U��� �E�@<u%�}���E�@;Euv�E�ЋEf�P�g�E�@<u!�}uV�E�@;EuJ�E�ЋEf�P�;�E��E��+�E���E�D$�E�D$�T$�E�$����E��@�E��}�u���U��� �E�@<u%�E�P�E�D$�E�D$�T$�E�$����:�E�@�E��)�E�D$�E�D$�E��D$�E�$����E��@�E��}�u���U���(�E�@<uB�E�@�E��	�E��@�E��}�t�E�D$�E��$�����uۃ}������E���E�@<uB�E�@�E��	�E��@�E��}�t�E��D$�E�$�����uۃ}������E���E�@<u?�E�@�E��	�E��@�E��}�t�E�D$�E��$�����tۃ}������E��_�E�@<u?�E�@�E��	�E��@�E��}�t�E��D$�E�$�����tۃ}������E���E�D$�E�$����E�E���U���(�E�@<u
�E�@��u�E�E��?�E�@�E��E��@�E����E�@�E��	�E�@�E�E�;E�t�E�D$�E�$�����tًE�;E�t�E�P�E��P�E�$����E��E��{�E�@�E��E��a�E�D$�E�$�����t<�}�u�E�P�E�P��E�P�E��P�E�E��E�@�E�E��$�����E�E��E�@�E�E�;E�u��E�E��E�@�E�}������E�@�@��u(�E�@�E�E�P�E�P�E�$����E�E���E�E�E���U���(�E�@<u
�E�@��u�E�E��?�E�@�E��E��@�E����E�@�E��	�E�@�E�E�;E�t�E�D$�E�$�����tًE�;E�t�E�P�E��P�E�$����E��E��{�E�@�E��E��a�E�D$�E�$�����t<�}�u�E�P�E�P��E�P�E��P�E�E��E�@�E�E��$�����E�E��E�@�E�E�;E�u��E�E��E�@�E�}������E�@�@��u(�E�@�E�E�P�E�P�E�$����E�E���E�E�E���U���(�E�P�E�@8�t�E���E�@<u �E�P�E�@�T$�$����E����E�@<uW�E�P�E�@8�u�E�P�E�@�T$�$�����u�E���E�P�E�@�T$�$����E��s�E�@�E��E�@�E��1�E��D$�E��$�����u	�E��@�E��@�E��E��@�E��}�t�}�uÃ}�u�}�u	�E���E��E�E�E���U���8�E�@<t�E�@<��E�@�E���E��@<�����E��}�u�E�@�E���E�EԋUԉU�E�@�E���E��@<�����E��E�;E����}�u�E�@�E���E�E؋U؉U�E�D$�E�$�����tV�E�@�E���E�E�E�@�E�E�$����}�u�E�@�E�@<u�E���E��E�U߈P�&�E�@�E�}��F����E�@�E�}��������U����E�@���E��}�t�}�t��E��E�@�E����E��@<t�E��@<���E�@�����E��@��;E�tc�E��P�E�P�E�@�E���E�E�E�@�E�E�$����}�u�E�@�E�@<u�E���E��E�U�P�U�}�u�E�P�E�P��E�P�E��P�E�E�E�@�E�E�$�����E�E��E�@�E�}�������U����E�@<uH�E��E��E�� �E��E�D$�$�����E��E�@�E�}�t�}�uԋE��E���E�@<u	�E���E���E��}�?&�E���E����t�E���E��E�@9�uу}�@u	�E��8�E���E����u�E�����U�E�@��E��ЋEf�P�E��E���U����E���E�DŽ����������E��}�?~�E�@�E��3�E��P�������D$�$������t�E��@�E��Dž����}�u�Dž��������U���(����E�E�@<t�E�@<������E��E�@<�‹E��P�E�@<u�E�@������E�@�@�����E������P�E�@<u�E�@�$����E�$����E��P�E��B�U��E��E��$����U�E��B���E��E�@�E���E�E�E�@�E�����E��E��@<�‹E��P�E��@<u�E�@������E�@�@�����E������P�E��@<u�E�@�$����E�$����E��P�E��B�U��E��E��$����}�u�U�E��B�	�U��E��B�E��E��}��6����E�$����E�$������uA��E�D$�$����D$@�D$��������$����������$����E�$����E���U�������E��E�@<t"�E�$�����E��E��D$�E��$����K�E�@�E��/�E�E�E�@�E�E�$����E��E��D$�E��$����}�uˋE�$����E���U����E�$����E�E�$����E�E�$����E�$����E�E�D$�E�$����E�$����E�E�$�����E��E���U���8����E܋E�E������������E�����E�����E�����E��U�E�B�E��@�E��$����‹E�P�E�$����E�@�E�E�$����E��$����E�E��E��<����E�����E��U�E���U��E���E��@���U��E�B�E�@�E�}�u���E��$����E�E�D$�E܉$����E�E�E�@�E�E�$����}�����E���U����E�@<��E�@�E�E��@<t�E��@<t�E��@<���E�@�E��E�$����E�U�E��B�E�@<t�E�@<uv�E�@<u�E���E��E�U�P�E�@�E��E��=�E�E�E�@�E�E�$����E�}�t�U��E�B�	�U�E�B�E�E��}�u��5�E�@<u�E���E��E�U�P�E�@�$����‹E�P�E��U����E�@<t�E�E��#�E�@�E�@�$����‹E�P�E�E��E���U����E�@<t�E�E���E�@�E��E�$����E�E��@�E��P�E�P�E�@�E��E��P�E�P�E��@�E�P�E��B�U�E�B�E��@����E��E��@�U��E�B�U��E��B�E��E�E���U��S��$�E�@<t�E�E���E�@�E��E�$����E�E��@�E��P�E�P�E�X�E�@�@�$����C�E�@�$����‹E�P�U�E�B�E��@����E�E��@�U�E�B�U�E��B�E�E�E��$[]�U����E�$����$�����U����E�$����$�����U����E�$����$�����U����E�$����E�E�$����E�E�$����E�$����E�E�D$�E�$����E�$����E�E��U����E�@<���E�@�E��z�E��@�E��`�E��D$�E��$�����tA�E�@�E���E��E��E��@�E��E��$����}�u�E�@�E�@��E��@�E��}�u��E��@�E��}�u���E�@<���E�@�E��w�E��@�E��]�E��D$�E��$�����t>�E�@�E���E��E��E��@�E��E��$����}�u�E�@�E�@��E��@�E��}�u��E��@�E��}�u���U���(�E�@<u
�E�@��u�E�E��?�E�@�E��E��@�E����E�@�E��	�E�@�E�E�;E�t�E�D$�E�$�����tًE�;E�t�E�P�E��P�E�$����E��E��{�E�@�E��E��a�E�D$�E�$�����t<�}�u�E�P�E�P��E�P�E��P�E�E��E�@�E�E��$�����E�E��E�@�E�E�;E�u��E�E��E�@�E�}������E�@�@��u(�E�@�E�E�P�E�P�E�$����E�E���E�E�E���U���(�E�@<u
�E�@��u�E�E��?�E�@�E��E��@�E����E�@�E��	�E�@�E�E�;E�t�E�D$�E�$�����tًE�;E�t�E�P�E��P�E�$����E��E��{�E�@�E��E��a�E�D$�E�$�����t<�}�u�E�P�E�P��E�P�E��P�E�E��E�@�E�E��$�����E�E��E�@�E�E�;E�u��E�E��E�@�E�}������E�@�@��u(�E�@�E�E�P�E�P�E�$����E�E���E�E�E���U���(�E�@���E�}��}�}3�}�t��}�t`��E�@�D$�E�$����E���E��E�@�E���E��D$�E�$����E��E��@�E��}�tK�}�t��C�E�@�D$�E�$�����t	�E��!�E�@�D$�E�$����E���E��E���U����E�@�E��E��E�@�E��y����E��E��@�E��@�U��E�B�E�@�$����‹E��P�E�@�E�E��@�@�E��$����E��}�t�U��E��B�	�U�E��B�E��E��}�u��E�@�$����E�$����E�$����E�$����E�$����E�E���U���(�E��E��E��E��E�E�E�E�@�E��n�E�E�E�@�E�E�D$�E�$�����uC�E��@�}�t�U��E�B��E�E�E�E��}�u�U�E�B��U��E�B��E�E��}�u��E�@��u�E��E�$����-�E�@�@��u�E�P�E��E�$�����U�E��}�u�E��4�E�@��u
�U�E�� ����E�E��@�U�E�B�U�E���U���(�E�P�E�H�E�D$�E��D$�T$�$����E���u�$�����E����U��E�P�E�$����E�E�@�E��@<u/�E�@�E��	�E��@�E��E��@��u�E��U�P�E�E��!����E��E��@�U�E��P�U�E�B�E��$����E��$����E��E��E���E�E�E���U���(�E�@�E��E�@�E�P�E�@�T$�$�����u6�E�@�E�E�@�$����E�$����U�E��B�E�E��i�E�@<uq�E�$����$����E�E��E�@�@<uM�E�@�@�E��	�E�@�E�}�t�E��@<u�}�t�E�@�$����‹E�P��E��E�@�@<u�E�$����E��E�@�@<u�E�$����E�}����E�$����$����E�E�@<u�E�@�E���E�E�E��@<uV�E�@�E��	�E�@�E�}�t�E��@<u�}�t+�E;E�u�E�$����E��E�$����‹E�P�U�E��B�E�E�E���U���8�E�@�E�E�@�E�@<t�E�E���E�$����E�$����E�$����E�E�@<t�E�E��w�E��E��E�@�E���E��E�E�E�@�E�}�t�E��@<u݃}�u�E�E��*�}�t�E�P�E�P��E�P�E�P�E�@�E�E�E��E���E�@�E�}�t�E�$����E���E�E�}�u�E�P�E�P�U�E�B�<�E��E�@�E���E��E�@�E�E�H;E��E�P�E�P�U�E�B�E�$����E�}�t�U�E�B�	�U܋E�B�E�E�E�E�}��D����U܋E�B�E܉$����E܉$����E܉$����E܋E܉E̋E���U���(�E�@�E��E�@�E�@<t�E�@<���E��E�@�E��=�E�@�E��E�$����E�}�t�U�E�B�	�U�E�B�E�E�E��E�}�u��E�@<u&�E�$����E�$����E�$����E�?�E�$�W����E�/�E�@<u$�E�@�$����‹E�P�E�$����E�U�E��B�E��U���(�E�@���E�}�tw�}�t=�}�t�i�E�D$�E�$�����tS�E�@�E�ЋEf�P�Ef�@�4�E��E��$�E���E�D$�E�D$�$�����E��@�E��}�u���U���(�E�@���E�}��}�}4�}�t��}�tX��E�P�E�D$�E�D$�$�����x�E�@�E��"�E�D$�E�D$�E��$����E��@�E��}�u��C�E�@�D$�E�$�����u*�E�P�E�D$�E�D$�$�C�����$������U���(�E�@���E�}��}�}!�}�t��}�tw���E�E���E��E�@�E��D�E�@�E��E�D$�E�$����E�}�t�U��E�B�	�U�E�B�E�E��E��E�}�u��E�E���E�@�E�E��E�@�T$�D$�E�$�e����E��P�E��E���@u�$����E�P�E�P�E�@�E�$����E�D$�E�$����E���$,����E�E�E���U���(�E�@<uW�E�@�E��	�E��@�E��}�t+�E�D$�E�D$�E�D$�E�D$�E��$�����uƃ}������E���E�@<uW�E�@�E��	�E��@�E��}�t+�E�D$�E�D$�E��D$�E�D$�E�$�����uƃ}������E��R�E�@<uW�E�@�E��	�E��@�E��}�t+�E�D$�E�D$�E�D$�E�D$�E��$�����tƃ}������E����E�@<uW�E�@�E��	�E��@�E��}�t+�E�D$�E�D$�E��D$�E�D$�E�$�����tƃ}������E���E�P�E�@8�t	�E��s�E�@<u8�E�@�P�E�@�H�E�D$�E�D$�T$�E�D$�$����E��0�E�P�E�H�E�D$�E�D$�T$�E�D$�$����E�E���U���8����E��E�$����$����E�D$�$����E��E��E�$����$����E�D$�$����E�����E�����E��E��E�D$�E��D$�E�D$�E��D$�E�$����E�E�$����E��$����E��$����E�$����E�$����E���U���8����E��E�$����$����E�D$�$����E��E��E�$����$����$����E�D$�$����E�����E�����E��E��E�D$�E��D$�E�D$�E��D$�E�$����E�E�$����E��$����E��$����E�$����E�$����E���U���8����E��E�$����$����$����$����E�D$�$����E��E��E�$����$����E�D$�$����E�����E�����E��E��E�D$�E��D$�E�D$�E��D$�E�$����E�E�$����E��$����E��$����E�$����E�$����E���U����E�$����$�����U����E�$����$����$����$����$�����U���(�E�P�E�H�E�D$�E��D$�T$�$���E���u0�U�E�@�B�E�@�$����E�$����E�E���E�u�E�E��t�U��E�P�E�@�E��@<u/�E�@�E��	�E��@�E��E��@��u�E��U�P�E�E��!����E��E��@�U�E��P�U�E�B�E��E�E���U���(�E�@<���E�@�E��E�@�E�@�E�E�@<u�E��@<t�E�@<���E��@<���E�@�E��E���E�P�E�D$�$�����tq����E�E��@�E�P�E�P�E�@�$����‹E�P�E�P�E�P�U�E�B�E��@�}�t�U��E�B�	�U�E�B�E�E�E�E��E�@�E�}��]����E�@�$����E�$����E�E�v�E�@<u�E��@<u�E�$����E�P�E�@<uE�E��@<u:�E�$����$����E�E�$�z����E�E�$����$����E�U�E��B�E��%$>$>:;II:;
:;I8
	:;
:;
:;I8
I
!I/:;
:;I
:;I8
:;
:;I8
:;
:;I:;.?:;'@:;I
4:;I
.:;'I@:;I
.?:;'I@4:;I
.?:;'I@:;I
4:;I
 .?:;'@!4:;I
".:;'@#:;I
$.:;'I@%&!I/'4:;I?<(4:;I?<�*�HGNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)otter/formula.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�QcharFILE.e�M�._flags�#_IO_read_ptrK#_IO_read_endK#_IO_read_baseK#_IO_write_baseK#_IO_write_ptrK#_IO_write_endK#_IO_buf_baseK#_IO_buf_endK# _IO_save_baseK#$_IO_backup_baseK#(_IO_save_endK#,_markers�#0_chain #4_fileno"�#8_flags2&�#<_old_offset(#@_cur_column,�#D_vtable_offset-�#F_shortbuf.	#G_lock2#H_offset;3#L__pad1A�#T__pad2B�#X_modeD�#\_unused2F#`	_IO_lock_t�
�_IO_marker�_next��#_sbuf�#_pos��#�eQ
D�/Q
D3Nrel	�lit
$
�relargval�#argof�#narg�#nocc�#path~#clashable~#N
$literal
5��#next_lit�$#atom��#sign�Q#target�Q#
�
�termfarg�#occ/#fpa_id�#sym_num
�#varnum�#]~#bits~#*�Q
D�
1formula2parent�1#first_child�1#�1#t��#]�Q#quant_type�Q#��restrictdataJQW
�int_ptrJ�Q#i��#1contextPLtermsM1#contextsNA#�boundOW#�forbiddenPg#�multiplierQ�#�built_in_multiplierR�#�bS�#�TQ#�A�
D?QQ
D?�g~
D?w=
D?
�trailWcontextXQ#Y�#fpZ=#varnum[�#w
�clause(�parents�Q#5��#prev_cl��#next_cl��#first_lit�$#id��#pick_weight��#attributes�;	#]��# bits�~#"heat_level�Q##b��#$��list�first_cl��#last_cl��#name��#�
;	cl_attribute�name�#u
w	#;	#�
q	formula_ptr�f�1#q	#A	�	i�d�	sKt	�double�	enamefK#valg�#%
print_formulaAfp%
�f1�t��tYW
p_formulaXA^,fW1��
formula_args_to_termg�^�Xfe1�]f��th��dt1h��ht2h��lr1i��pr2i��t�formula_to_term����f�1�t���Xt1���\r���`r1���dprev_r���hprev_q���li���pf1�1�t�term_to_formula�1��tϦ�f1�1�`f2�1�df3�1�hrҽ�l]���pfread_formula1���fp%
�rcp7�rc��lf1�pt��t�read_formula_listEq	��fpC%
�epD7�p1Fq	�hp2Fq	�lp3Fq	�pfG1�trcH��d 9
print_formula_list|�[	4fpz%
�p{q	��
copy_formula�1[	6
`f�1�f_new�1�hf_sub�1�l!F�1�pf3�1�t �
zap_formula�6
�
�f�1�f1�1�pf2�1�tMnegate_formula�1�
�f�1�f1�1�p!?�1�t�nnf�1��f�1�f1�1�`f2�1�d!�1�h!)�1�lfn�1�p"$rename_free_formula^�Vf[1�#\��#V]��f1_1�t$�skolemy1V�<fw1�varsx��f1z1�\f2z1�`!)z1�d!z1�hend{��lr2{��psn|��t	skolemize�1�0hf�1�vars���t@anti_skolemize�10c�f�1�"�subst_free_term�c��var���t���sk���r���t �subst_free_formula���var��f1�sk��f11�t jgen_sk_sym,��t+��arity-��pr.��ts1/���}s2/���{�skolem_symbolR���DsnQ��sSK�tdummyT��pcontains_skolem_symbole��ptd��rf��tunew_var_name��k�s1����}s2����{c�u��{var_num���Q
D�new_functor_name��k%�arity���s1����}s2����{functor_num��"^uq_all�%�f�1�vars���r1���lf1�1�psn���t �unique_all�x f�1�vars���lr1���pr2���t"mark_free_var_termx�Lv���t���r��pt1��t"kmark_free_var_formula#�Qxv!��f"1�f1$1�t�zap_quant=1Q,�f<1�f1?1�hf2?1�l!)?1�p!?1�t"Fflatten_top_2h,��fe1�startf1�end_pgF�f1i1�pf2i1�t1 �flatten_top���f�1�end�1�t$>distribute�1(f�1�f_new�1�Tf1�1�Xf2�1�\f3�1�`f4�1�d!F�1�h!?�1�li���pj���t�cnf�1�Tf�1�f1�1�df2�1�h!F�1�l!�1�p!?�1�t�dnf1��f1�"<rename_syms_term*$�t(��fr)1�r+��psn,��t �rename_syms_formulaQ$z�fO1�frP1�f1R1�t �subst_sn_termfz #b��tc��#Vd��#]e��rg��t lsubst_sn_formula� � 0#}��f~1�#V��#]���f1�1�t�gen_subsume_prop��� �!\c�1�d�1�f�1�t-subsume_conj�1�!C#�c�1�f1�1�hf2�1�lf3�1�p!)�1�t�subsume_disj1C#�$�c1�f11�hf21�lf31�p!)1�t�formula_identA��$�%�f?1�g@1�f1B1�pg1B1�t �conflict_tautologyc�%'fb1�f1d1�`f2d1�da1d1�ha2d1�lf1_signe��pf2_signe��t �ts_and_fs�':(8f�1�f1�1�hf2�1�l!F�1�pf_type���t$gset_vars_term_2��:(+)dt���sn�7�r���li���prc���t$�set_vars_cl_2��+)�)�cl���lit�$�psn����}i���t��
D?$mdisj_to_clause��)�+�f1�f1	1�df2	1�hc
��llit$�p!)$�t%m+�+s5m��{~Q&D�$�cnf_to_listI��+I,�fH1�f1J1�hf2J1�llK��pcL��t%clausifyi�I,�,fh1�lj��t�clausify_formula_list���,�-@fp�q	�l���Tl1���Xfp1�q	�\fp2�q	�`%�,�-f_id���dc���hlit�$�lip1�Q�pip2�Q�tcnegation_inward�1�-/lf�1�f1�1�hf2�1�l!)�1�p!?�1�t�expand_imp�1/T/�f�1��iff_to_conj�1T/0�f�1�f1�1�lf2�1�p!?�1�tTiff_to_disj10�0�f1�f11�hf21�l!?1�p�nnf_cnf>1�0�0	f=1��nnf_dnfI1�0�0H	fH1��nnf_skolemizeT1�01t	fS1�" clausify_formed_11q1�	f^1� y rms_conflict_tautologyuq1�2�	ft1�f1v1�pf2v1�t� rms_subsume_conj�1�24�	c�1�f1�1�hf2�1�lf3�1�p!)�1�t]!rms_subsume_disj�14�5$
c�1�f1�1�hf2�1�lf3�1�p!)�1�t�!free_occurrence.	��5[6P
v,	��f-	1�f1/	1�pfree0	��t@"rms_distribute_quantsV	1[6=7|
f_quantU	1�f_conjW	1�hf1W	1�lf2W	1�pf3W	1�t"�"separate_free�	=7o8�
v|	��f}	1�p_free~	F�p_not_free	F�f1�	1�d! �	1�hf2�	1�lf3�	1�p!)�	1�tQ#rms_push_free�	1o8a9�
f�	1�f2�	1�tfree�	1�p! �	1�l�#rms_quantifiers�	1a9:;f�	1�f1�	1�hf2�	1�l!?�	1�pnegate_flag�	��t$�$rms_distribute7
1:;=,f6
1�f_new8
1�Tf18
1�Xf28
1�\f38
1�`f48
1�d!F8
1�h!?8
1�li9
��pj9
��t�$rms�
1=%>Xf�
1�f1�
1�df2�
1�h!F�
1�l!�
1�p!?�
1�t"W%introduce_var_term�
%>�>�t�
��v�
��vnum�
��r�
��t"�%introduce_var�
�>�?�f�
1�t�
��vnum�
��f1�
1�t7&renumber_unique�
1�?�@�f�
1�vnum_p�
7�f1�
1�hf2�
1�l!F�
1�p!�
1�t�&gen_subsume_rec0��@�Bc+1�cs,Q�d-1�ds.Q�tr_p/�&�f11�t�^'gen_subsumeZ��B�C4cX1�dY1�c1[1�dd1[1�h!.\��li\��`cs]Q�pds]Q�ttr^��\(gen_conflict��C�D`c}1�d~1�c1�1�dd1�1�h!.���li���`cs�Q�pds�Q�ttr���\�(gen_tautology���D�E�c�1�d�1�c1�1�dd1�1�h!.���li���`cs�Q�pds�Q�ttr���\�(rms_cnf�1�E�E�f�1�)rms_dnf�1�E$F�f�1�$e)push_free�1$FG
f�1�f2�1�tfree�1�p! �1�l�)distribute_quantifier1G�H<
f1�f11�df21�hf31�l!)1�psave_next1�tSk_func_num�Sk_const_num�'stdout�'stderr�T*�	
D�(FlagshD*t*�
D	(Internal_flagspd*'	}�
otter/usr/include/usr/include/bitsformula.cstdio.hlibio.htypes.htypes.hheader.hj��!3�	.gK
.jg�ug##��uu�u.����h=	.l#\$�uɃ�KZ�uK�/=������gu����=�K�jft���!/v=	.yvבבב�v���g���׃u�6����g�gu�KrfflJ.�u0>fkKu��g���%󭑓׭��.k��uuK/�H{0��g��gK/�Hvt7g��=.g/7�j#.i�ʭ���Ywu��g��zf	�>.i��/g��k�ح.j0��˃u��=.w#��u���u�uY�0uY0Y�u�//�g��gxf
f��#��uuY��u�0uY0�ɻ��u�//Yg��gxf
f׻��������fi�&��˭��
.k��K�]Y�K�]Yu�//Kg��gxfcX����%�#g����g����v�׭i=.i�uK�>.g+
.i���u�?z�	�
.i�ɭ�˭��.�u�/=�kgu#"u#���.j�L.i���>/����.�&v#"/#�%Z.�#�/#�%L
.k)��Z��%#����M.j�u!�/g��k�
.j�����/z�r �
.i�h��.j)u�//�g��gxf
f0u����=.i�/g�!�ˑʑt�f.iYu�u��.j0�����ح�uu�=d�g�gػ�guY�g�gg��u�;"���g��gif�����ؔ	.i0�u�/��g��gxff�����ّ>	.g+.j��)/���)�/=�k.i�h��.i�Y�!���.i�%���.m�0"�0"�0�0�v
.iK���Z�/�ʃ����u/Ygػg��gt��g`�#�ɑ����
.iK���Z�/�ʃ����u/Ygػg��gt��ga�"�ɑ����.i!���.��>Y��%.l��!��!��Y�/g��k��r.+..jɻZu�Y(�ɑ/g��k��1gؼg�i�.gc�!�.j��u/g�����u/;,g��=̡
.��Ւ�/���l�	.����!4�׭���v�
Xu�Yg��!4�׭���g��nf���K�ح=
.k���?�/g��l�=.i�׭�!��>.j�gYʃ����uK�������z�
�!g�a�!�=.i�%�גZבu/g��g��xfa.�]=.g��uY�.i����@�������u���.w����=�Z���u���	fg/	.g/	.g/	.g�׭�!�=.k孭Y�/g��k�uuX�<孭Y�/g��k�uu.��
.iK���Z�/�ʃ����u/Ygػg��gt��g`�#�ɑ����
.iK���Z�/�ʃ����u/Ygػg��gt��ga�"�ɑ����.j/u^!IL0��u/v>.i�u�/�uu�Y���g��sff׮���>.i��/g�Y�g�ghg��nff���ɭ˄g����u��.i&u���ן�ɑ��u���ׅ�.j����׭���Yv׻/�gxx���ܟY��h��/�g��3��.j0����׭�uu�=d�g�gػ�guY�g�gg��u�;"���g��gif����ה	.i0�u�/��g��gxff����k�.�Yۑ>.i�Yuɒ2���.i/�2���0��0�.i/�u�/�Kg��gxf
f���ɟ����i��.m�E"�E"�E"�E"!��83.l=u'u'��v*�����=.l=u'v/��v*�����=.l=u7u'��v*�����=	.g/	.g+.i&u�׭�u����ɑ��u���.i呟�4K��u�Y���g��sf�׭kf.Y�1YY�[�=TRUEFALSE&|-><->-allexists$QuantifiedU1111�
ERROR, input formula contains Skolem symbol:
.
end_of_listend_of_list.
�2��=���g�
�
3
�c
ERROR, skolem gets negated non-atom: ERROR, skolem gets: $c$fk
WARNING, the following formula has constant '%s', whose
name may be misinterpreted by the user as a variable.
disj_to_clause, too many variables in clause, max is %d.rms_push_free has extra quantifier.introduce_var, bad formula.renumber_unique, too many vars.renumber_unique, bad formula.����|�AA�B
AA�B
^�A�B
�+A�B
�A�B
D���A�B
�-A�B
�sA�B
[	�A�B
6
rA�B
�
`A�B
�A�B
D���A�B
V�A�B
�:A�B
03A�B
c�A�B
��A�B
��A�B
�bA�B
��A�B
�A�B
k�A�B
%�A�B
^A�B
x�A�B
�VA�B
Q�A�B
,�A�B
�[A�B
�A�B
�A�B
�3A�B
A�B
$VA�B
z�A�B
 rA�B
� NA�B
�!jA�B
C#jA�B
�$)A�B
�%:A�B
'*A�B
:(�A�B
+)A�B
�)A�B
�+�A�B
I,nA�B
�,3A�B
�-)A�B
/AA�B
T/�A�B
0�A�B
D��0A�B
�0A�B
�0A�B
1`A�B
q1>A�B
�2jA�B
4jA�B
�5�A�B
[6�A�B
=72A�B
o8�A�B
a9�A�B
:;�A�B
=A�B
%>�A�B
�>�A�B
�?@A�B
�@!A�B
�B�A�B
�C�A�B
�DA�B
�EA�B
�E3A�B
$F�A�B
G�A�B
ttAuABtBDtD^u^_t_ata�u��t��t�ut t �u��t��t��u��t��t��u��t��t�[	u[	\	t\	^	t^	6
u6
7
t7
9
t9
�
u�
�
t�
�
t�
u	t	t�u��t��t�VuVWtWYtY�u��t��t�0u01t13t3cucdtdftf�u��t��t��u��t��t��u��t��t��u��t��t�u�t��t�kukltlntn%u%&t&(t(uttxuxyty{t{�u��t��t�QuQRtRTtT,u,-t-/t/�u��t��t�uttutt�u��t��t�utt$u$%t%'t'zuz{t{}t} u  t  t � u� � t� � t� �!u�!�!t�!�!t�!C#uC#D#tD#F#tF#�$u�$�$t�$�$t�$�%u�%�%t�%�%t�%'u''t''t':(u:(;(t;(=(t=(+)u+),)t,).)t.)�)u�)�)t�)�)t�)�+u�+�+t�+�+t�+I,uI,J,tJ,L,tL,�,u�,�,t�,�,t�,�-u�-�-t�-�-t�-/u//t//t/T/uT/U/tU/W/tW/0u00t00t0�0u�0�0t�0�0t�0�0u�0�0t�0�0t�0�0u�0�0t�0�0t�01u11t11t1q1uq1r1tr1t1tt1�2u�2�2t�2�2t�24u44t44t4�5u�5�5t�5�5t�5[6u[6\6t\6^6t^6=7u=7>7t>7@7t@7o8uo8p8tp8r8tr8a9ua9b9tb9d9td9:;u:;;;t;;=;t=;=u= =t ="=t"=%>u%>&>t&>(>t(>�>u�>�>t�>�>t�>�?u�?�?t�?�?t�?�@u�@�@t�@�@t�@�Bu�B�Bt�B�Bt�B�Cu�C�Ct�C�Ct�C�Du�D�Dt�D�Dt�D�Eu�E�Et�E�Et�E�Eu�E�Et�E�Et�E$Fu$F%Ft%F'Ft'FGuGGtGGtG�Hu*�*�	print_formula+
p_formula�
formula_to_term�term_to_formula�read_formulafread_formula_list�print_formula_list9
copy_formula�
zap_formula�
negate_formulaMnnf�skolemize	anti_skolemize�subst_free_formula�gen_sk_symjskolem_symbol�contains_skolem_symbolnew_var_name�new_functor_name^unique_allkzap_quantLflatten_top>cnf�dnf<rename_syms_formula�subst_sn_term�subst_sn_formulalgen_subsume_prop�subsume_conj-subsume_disj�formula_ident�conflict_tautology�ts_and_fs�clausify%clausify_formula_list�negation_inwardcexpand_imp�iff_to_conj�iff_to_disjTnnf_cnf�nnf_dnf�nnf_skolemize�clausify_formed" rms_conflict_tautologyy rms_subsume_conj� rms_subsume_disj]!free_occurrence�!rms_distribute_quants�"rms_push_freeQ#rms_quantifiers�$rms�%renumber_unique7&gen_subsume_rec�&gen_subsume^'gen_conflict(gen_tautology�(rms_cnf�(rms_dnfe)distribute_quantifier�Hf_nextold_snunsigned intnextnot_freeprevresultcontainerf_savef_prev_IO_FILEnew_sntypenext_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�H	��%I+I0I]BeK�*>	x��	R�u+	N	0�b J^	8��
nl�pj	���{܈h
�D�.�	���r� �	�����k���:�7�7���`	'	P���
^� ��4V�;c�KXdq�%��x���V�,�����:(��+)��)	�+�=72#:;�2%>�E�>�S$F�]Ak�+{���A�����������[��%/��FMR�-ds�6
r��s�[	����
`���z����������*�:4>03MX`hw�b����k��^�Q���%:�C#j��!j����3�	 r($V<� NM�$)['*ep|�������I,n��,3���"�-)2/A=T/�I0�U�0]�0e�0s1`�q1>��C���D��2j��B��4j��5��[6�	a9�o8�'=+�?@;�@!KQ]kx�E��E3�G�formula.cformula_args_to_termrename_free_formulaskolemsubst_free_termSk_const_numSk_func_numvar_num.4261functor_num.4286uq_allmark_free_var_termmark_free_var_formulaflatten_top_2distributerename_syms_termset_vars_term_2set_vars_cl_2disj_to_clausecnf_to_listseparate_freerms_distributeintroduce_var_termintroduce_varpush_freeprint_formulaformula_to_termterm_fixup_2print_termzap_termp_formulastdoutget_termstr_to_snget_relcopy_termterm_to_formulais_symbolget_formulaflatten_topsn_to_strstr_identread_formularead_termcontains_skolem_symbolfwriteputsread_formula_listInternal_flagsget_formula_ptrzap_formulaprint_formula_listcopy_formulafree_formulanegate_formulannfsubst_sn_termprintfputcharoccurs_innew_var_namefree_relgen_sk_symsubst_free_formulaskolemizefree_termanti_skolemizeterm_identint_strcat_strmark_as_skolemskolem_symbolstr_intFlagsin_sym_tabnew_functor_nameunique_allzap_quantconflict_tautologysubsume_disjsubsume_conjcnfdnfvar_namestderrfprintffputcsubst_sn_formularename_syms_formulagen_subsume_propformula_identts_and_fsget_clauseget_literalmark_literalprint_clausesprintfabendcl_mergeget_listappend_clclausifyclausify_formula_listget_int_ptrassign_cl_idhide_clauseappend_listsfree_formula_ptrnegation_inwardexpand_impiff_to_conjiff_to_disjnnf_cnfnnf_dnfnnf_skolemizeclausify_formedrms_conflict_tautologygen_conflictgen_tautologyrms_subsume_conjgen_subsumerms_subsume_disjfree_occurrencerms_distribute_quantsrms_quantifiersrms_push_freermsrenumber_uniquegen_subsume_recunifyget_contextclear_subst_1free_contextrms_cnfrms_dnfdistribute_quantifier
()0*;+I-X'k.��/��/�(�.0
0rw/��/��/��/%1V.ot/�0�(�.�.�0HM/hm/�0�1��/�0(7B3_j3��3��3�4�22.5CN3W4p2�6��7��33&4_1�2�4�1�9#:,-GL;R-a*hm<x+�2�+�>�88%?_8�8��3�@�>	'	#	;P	U	;b	4�	1�	1�	B�	BQ
+x
@�
+�
C�
C�
4,>4hB�D�D�E�D�EEFE��B�D
D'
ED
DW
E�
D�
E�
C�
D�
E[C�C�C�E�Fx}G�-�'�H��G�-�'�H�I�J�0WK�L�M�+�C�.'O=DEEMNUD]E�Q�+�16QVM|M����R	S#5RPUSj/�T�6�VU/US:�W����R�S�	R=SKXe/u{��R��S����R��SX/�I�J�0!.aKrO�[C [~CD5IWX\c]B�5�W�\�^Z_�5�W�\�^�D�E_DE26:aQ6Wbckcqb�'�b�d�6�a�J�eef FI Fv e� g!g^!g�!g�!h@"gc"@�"g�"@,#C�#g�#@�#g7$@�$C�$Q-%QU%h�%h�&h�&@�'@(C�)j�)k8*CC*Cb*l�*k�*C+C%+lZ+Co+-~+m�+�+n�+o�+p�+q�+r/,r@,CV,Ed,Nr,Z},[�,f�,_�,q�,W�,j�,k�,u�,u-()-v=-wJ-s\-ud-u�-s�-x�-y=.D�.D/D=/D�/B�/420B`0Dq0D�04�0E�0_�0E�0`1E1N1E,1N:1ZE1[Z1fe1_�1��1@I2�r2@3�93@e3��3@4C�4��4@�4�
5@l5C�5I�5�$6QF6�}64�61�6�7+7C75&7�17��7��7C8CN84�8�8o�8�94<9�G9��9��9+�9C�9D�9E::�d:��:��:D�:E
;�;�p;5{;��;�A<B�<5=�
=�t=��=5�=��=��=�>�Z>QP?Qy?~?o�?�l@q@o�@@�@��@�@oA�tA��A�8B��B��B��B�B�B
CBCN&C�;CBCCPTC�\C�dC��C��C��C��C��C@�C@�C�C�CDBDND�.DB6DD>DPOD�WD�_D��D��D��D��D��D@�D@�D�D�D�DBEDEEEN$E�9EBAEPRE�ZE�bE��E��E��E��E��E@�E@�EE�E��EDFEF�FDFEmFOxFC�F4�G��G4�G16HOAHC�HD�HE�HD�HEx$E$j$�$�$�$$h$$"$�$�$j$�$,	$b	$�	�	�	!>
B
F
!x
|
�
!�
$�
!���!�$!���!


!T
X
\
!�
$�
�
�
!!>$_cg!�$�$���!�$$8<@!~$�$���!&*.!Y]a!���!!���!���!&*.!p���!�
!sw{!���!6:>!���!�$�$���!bfj!���!$$PTX!�$�$�$���!��!Z^b!���!�$�$�$!$$@$O$���!���!$HLP!�$���!!���!�$!���!���!F$UY���!�!IMQ!��!E$T$|��!���!�$!E$jnr!���!���!   !C G K !� � � !� $
!!!!N!${!!�!!�!�!�!!W"["_"!�"$�"$
###!B#$o#s#w#!�#$�#�#�#!J$$Y$$�$�$�$!�$$�$$�$$%%%!n%r%v%!�%�%�%!&$(&$U&Y&]&!�&�&�&!'$y'}'�'!�'$("(&(!a($�(�(�(!�(�(�(!)")&)!V)$�)�)�)!�)$* *�048<@DHL���������������� 0 4H L` dx |� �� �� �� �� � $ (@ DX \p t� �� �� �� �� �  0 4H L` dx |� �� �� �� �� �   $8 <P Th l� �� �� �� �� �� � ( ,@ DX \p t� �� �� �� �� �   4 8L Pd h| �� �� �� �� �� � $ (< @T Xl p� �� �� �� �� ��  , 0D H\ `

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