Sindbad~EG File Manager

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

ELF�k4(U���(�E�E�d��u�$����}�t!�E���t�$(����$f�������E��}�u�$n����$f����U�E��B�U��E��E��@�E��@�E�@$�@�E��	�E��@�E��}�t�E�@;E�t�}�u�$�����$f����}�t�E��@
��t�U�E���E��P�E��P����‹E��P(�E��@(��u�$�����$f����E��P(�E��@(��D��@�d��u`�E��@�@�@��u�$-����E��@��D$�$����$�����E��@�@��$���$
����E��@�E��W�E�@;E��?����‹E��P�E��@��u�$n����$f����E��P�E��B�E��@�E��U��E��E��@�}�t�E��@
��t�E���u�U�E���E��P�E��P����‹E��P(�E��@(��u�$�����$f����E��P(�E��@(��D��@�d��um�E��@�@�@��u�$-����E��@��D$�$����$������$����E��@�@��$��$
����E��@�E��}�������E��@�}�t!�E���u�$�����$f����E���@�E���}�t�E��@<������E���t�E���@<�P�E��P<�E���@8�P�E��P8�E��@@�����E��$�"��t�E��@4�G�E���$�"��t�E��@4�*�E���@4���u�E��@4������E���@4�P�E��P4�E��@�E��}��D����}�t�E�$��)��U���H�E�E��E��E�����E��������E�E�}�t
��E����EԋEԉE��E�D$�E��D$�E��D$�E�$����E���E�@��E�E�$�����u9�E�P�9�u
�l��t�E�P�9�u�t��u�E��}�u&�E�D$�E��D$�E��D$�$����E���U�E��D$�$����}�t�}��^�����$4����E��$����}�t�E�E���E��E���U���H�E�E��E��E��}�t9�$p����$������E�D$�$����$
����E�����E��������E�E�}�t
��E����EԋEԉE��E�D$�E��D$�E��D$�E�$����E��`�E�@��E�E�$�����u�E��}�u&�E�D$�E��D$�E��D$�$����E���U�E��D$�$����}�t�}�t���$�����E��$����}�tM�}�t;�$�����$������E�D$�$����$
�����$����}�t�,@�,�E�E���E��E���U��S��4�E�@��t�$H����$f����E�@,�$����E�@�E�@$�E�@�E�@ ��t�E�@ �$����E�@ �E�@��tA�E�P�E�9�u&�E��@��t�E��E�E��$�E��E��E���E��E�E��
�E��E�E�}����E��@8�P�E�P8�E�@�E�E�;E�u)�E�@�E���E�@�E��	�E�@�E�E�@��u�E�@��u؋E�;E�u/�E�D$�E�D$�E�D$�E�D$�E�$����E��L�E��P�E��E��P��E��E��@$�#�E�D$�E�D$�E�D$�E�$����t�E�E����E��E��E�t#�E��E�@$�$�����)‰ЍP�E��Q�E��E�@$�$�����)‰ЍP�E��.�E�@�E�E�P�E�P�E�@(�$����E�$����E�@��uȋE�;E�u8�E�@(�$����E�$����E��E��E��P��E��$�E��P��E��E��P�E��E��@$�E��4[]�U��S���E��E�$������
�Eܐ�E܋@���t3��D$	�D$x�$����D$	�$x�����E��@�E܋P�E܉P�d��u�$��������$�����E�$���E��E���u�$�����$f����E��E��E��E��E��d��u9�E��U��D$�T$�$����E��D$�$�a�$�����E��E��@�E���d�����$8����E��@�@�@��u�$-�����$����E��@��D$�$�����$����$[�����$����E��@�@��$���E��E��E��@��t	�E�T��E�F�E��D$�E��D$�$h����E��E��@���S�E��U��M��D$�E��D$�E��D$�T$�L$�E��$�D����E��@��t)�E���P(�E��@�T$�$����‹E��P �E��@�E��@��t[�E���uT�E���uL�E���~E�l��t
�t��u1�E��P �E��@�@�@���T$�$�X�����t�E��E��}�������tK�E���~D�E��P �E��@�@�@���T$�$�]����Eԃ}�t�E��@�Eԋ@�@�E��E��,�U��E��D$�E��D$�T$�E��$� 
�E���E��}����d��uc�$�����Eċ@�@��u�$-�����EĉD$�$����$�����Eċ@��$��$
����E�@�E��E�H�E��Eċ@��E��P$�E��@$�$����E��E���t�E�Ẽ��E��
�E�E�H�E��}�u�E��@�$�E����D$�E��D$�EĉD$�E��$��E��D$�E��$�%	�E��}��u�E��@��u�E��D$�$�����$f����E��E��E��D$�E��$�������d��uZ�$�����E��@�@�@��u�$-�����$����E��@��D$�$����$�����E��D$�E��D$�E��D$�E��D$�E��$�����E��2�E��@8�E̋E���@�E��H�E��@@���u �E�9E�t�$����$f����E��@@;E�~	�E��@@�E̋E��@�E��}�t�E�;E�u��}�u�$4����$f����U��ẺB8��d�����M��]��E��‹E��L$�\$�T$�D$�$X����E��D$�$�*�$�����$������$����E���tu�E��@�@�@��u�$-�����$����E���P(�E��@�T$�$����Eȋ�EȉD$�$����$
����Eȉ$�����$�����E��@�U��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��@������D$�D$�EЉ$����E��E�@���t3��D$	�D$x�$����D$	�$x�����E��@�E�P�E�P�E��D$�E��D$�E��D$�E��$��E��@�d��u�$�����E��D$�E��D$�E��D$�E��D$�E��$��E��d��uB�M��E��‹E��L$�T$�D$�$�����E��D$�$��$�����}��E����d��uJ�E��U��D$�T$�$$����E��D$�$�N�$��������$�����E���t�E��D$�$X����E���t�E��D$�$�����L�E���L�P�E���P�E���E��@���u3��D$	�D$��$����D$	�$�����S�E��E�E�E���E��P�E�)Ѝ�E���E��H�E��P�E�)Ѝ�E��P�E��@�����E��@�����Ą[]�U���(����E�E�@�@��P�E�P�E���E�E�E�E���E��@��t�E��P�E�D$�$����E��S�E�;EtD����E�E��@$�P�E�P�E��@��t)����E��E��@��U��E��E��E���E��U�E���E��E�E���u�E��@�E��}��[����E���U��S��$����E�}tv����E��U�E��B�E�@�@�E�U��E��E��P�E��P�E��P(�E�@�T$�$����‹E��P�E��P�E��B�E��P�E�@�@f�B�
�E��@����‹E��E��@�����E��E�D$�E�$�V�����E��$[]�U����t;E|B�E��}t<�E�E��"�UB�E��@�T$�$�����E��E��@�E��}�t�}�u���E��E���U����E���tn�t;E|^�E��E�E��"�E��@�E��UB�E��@�T$�$�`����E��}�t
�E��@��u΀}�t$�UB�E���T$�$����E��
�E���E��E���U���8�E���E�DŽ����������E��}�?~�E �P �������D$�$�����u�$�����$f������E �H �E�D$�T$�D$�$����‹E��E,�D$ �E(�D$�E$�D$�E �D$�E�D$�E�D$�E�D$�E�D$�E�$�j
��U����E��E��E�@��t7�E�@;Et�E�@�E��E���E�@�@��t�E�@�@�E��E��}�uK�E�@@�E�@��t7�E�@;Et�E�@�E��E���E�@�@��t�E�@�@�E��E��}����E��E���E������E�@�E���E�@@;E�~	�E�@@�E��E�@�E�}�u݋U�B�E�P@�E�@��tC�E�@;Et�E�@�E��E��1�E�@�@��t�E�@�@�E��E���E��E���E��E�}�u
�}��\����E���U����E�E��E��@�����E��P�E�9�t�$�����$f����E��@�@��u
�E��@�@��t�$����$f����E��E��@$�@ f��u�E��@�E��E��P�E��i�E��P�E�D$�$�Y�E��@�E��P��E��E��P�E��E��@$�$�E��P��E��E��P�E��E��@$�E���U����}t`�E�P�E�D$�$�����E�P�E�D$�$�����E�;Eu	�E��E�@(��t�E�@(�$����E�$�����U��WVS��<�E�@�@�@��t
��E����E�E�@��tg�E�@�U��,�M��0�E�X(�E��p(�E�x�E�D$$�E�D$ �E�D$�E�D$�T$�L$�\$�t$�E�D$�<$����E��e�E�@,�$����U��,�M��0�E�X(�E��p(�E�x�E�D$ �E�D$�E�D$�E�D$�T$�L$�\$�t$�<$�	�E�E��<[^_]�U����E�����E��}����E���E��@�E��@�E��@4�����E��@8�����E��@<�E��@@�����E��@�U��E�B$�E��@,�E��@�E��@0����‹E��P(�E��@(��t�E��P(�E��@(��D��@�3�$P����E�D$�E��$����E���$|����}������E��}����U��E���U��E��B�E��@�E��@�E��@4�����E��@8�����E��@<�E��@@�����E�@�P�E��P�E��@$�E��@,�E��@�E��@0����‹E��P(�E��@(��t�E��P(�E��@(��D��@�L�$�����E�D$�E��$����E��%�$�����E�D$�E��$�{����E��E���U���(�E�@�@�@�E��E�@�E�E��@(�E��d��uL�$�����}�u�$-�����$�����E�D$�$����$
����E��E��E��]�E�@�@�@:E�u5�E��P(�E�H�E��D$�E�D$�T$�$�\
��t	�E���E��E�E��E��E�}�u�E�;Eu��E���U����E������E�E��	�E��@�E��}�t
�E�;E�u�}����E��E��E��@�E��	�E��@�E��}�t�E��@�@�@
��t�}�t�U�E���E��.�E��@�@��@ f��u
�E��E���E��E��}�t%�E��P�E���E��E��
�E��E��E���U���(�E�D$�$�����$����E�@ �E�}�wR�U��d���$����D�$%����6�$/����(�$6�����$=�����$I�����$����E�@�E���E��@
��t�$Y�����$����$-�����$����E��@��D$�$�����$����E��@
��t�$Y�����$����$\�����$����E��@�E��}��N����$_�����U��S��D�E���$x����E��E�;E|�E�D$�$|����E���$x����E��E�;E|�E�@�ËE�@�‹E�@���E��\$�T$�L$�D$�$�����E���$x����E��E�;E|��$�����E�@$��t�E�@$�$�����$�����$�����E���$x����E��E�;E|�E�@@�EԋE�@<�E؋E�@8�E܋E�@4�E�E�@��t	�E�T��E�F�E�@��t	�E�T��E�F�EԉD$�E؉D$�E܉D$�E�D$�E�D$�E�D$�$�����E���$x����E��E�;E|��$]����E�@ ��t7�E�@�@�@��u�$-����E�@ ��D$�$�����$�����$n����E�@��t7�E�@�@�@��u�$-����E�@��D$�$�����$�����$
����E�@��tX�E���$x����E��E�;E|��$������$����E�@�@��$����$
����E���$x����E��E�;E|�E�@0�ËE�@,�‹E�@(��@�E�@(�\$�T$�L$�D$�$�����E���$x����E��E�;E|�E�D$�$������D[]�U����E�E��1�E�D$�E��$�h����UB�E��@�T$�$�����E��@�E��}�u���U����E��E�@��@�E��#�E�@;E�t�E��@
��t�E��E��@�E��}�u�}�u��E���U���(�E��D$�$����E�E��}�u	�E���E(�D$�E$�D$�E�D$�E �D$�E�$���tB�E�D$�E�D$�E�D$�E�D$�E�$����E��}�u	�E���E���E���E��D$�$����E�}�u�E��k�E(�D$�E$�D$�E�D$�E �D$�E�$�q��t<�E�D$�E�D$�E�D$�E�D$�E�$����E��}�u�E��
�E���E��}��g����E���U����E�@��t�E�P8�t9�}�E��
�E���E��E���U����E��}tL�E�P<�t9����E��E��P�E��d�����E��D$�$������E�@4���tA�E�P4�t9�|q�E��E��P�E��d��uV�E��D$�$�����?�E�P8�t9�|0�E��E��P�E��d��u�E��D$�$�����}�tA�E�U¡�9�~0�E��E��P�E��d��u�E��D$�$	����E���U��E�P8�t9�����]�U���H�E�@��u�E��|�E�@�E��E�����‹E�P
�E�@�E�E�}�u�E�@�@�E�E��@�$����D$�$	�����t�Ef�@ ��E��@�$����D$�$%	�����t�Ef�@ �q�E��@�$����D$�$+	�����t�Ef�@ �C�E��@�$����D$�$1	�����t�Ef�@ ��Ef�@ �E��o�E��E���t�E��@��u�E���$�����u)�$<	�����E�D$�$����E���E�@�E�E�P�E�P�M�E�@��E���E�����@�$����E܉D$�$����E�}�t�E�;E��E܅�*�E�����@�$����D$�$h	����E��6�E�@�E��E���E�@�E�E��E�9E�u졌���‹E�P
�E����@�E��E���@�¡9��=����E�@�@�E�@�$����E�$����E�E̋E���U����E�@��@ f��u�E��E��-�}tD�E��E�@��@ f��u#�E��d�����$�	������E����E�@��@ f�����E�$�����tR�E�$����E��}�t�E��E���E��E��E��P�E��d��uz�$�	����l�E��E��d��uX�$�	����J�E��E�$�0�����t1�E�$�#����E��}�t�E���E��E��P�E���E��E���U���(�&�E�@�E��U��E���E�U��E����E�E�@<u;�E�@�‹E����u��&�E�@�E��U��E���E�U��E����E�E�@<u�E�@�‹E����u��E�@<uA�E�@<u$�E�P�E�@f9�u�E;Eu	�E���E��E�E���E�@<u�E���E�P�E�@f9�t	�E��h�E��E�E��E���E�@�E�E�@�E�}�t(�E��E��E�D$�T$�E�D$�$�����u��}�u	�E���E��E���U����}t6�E�E��(�U��E�B<�UB�E��@�T$�$�����E��@�E��}�u���U����E���to�E�E���U��E�B<�E��@�E��}�u�E�E��(�E��@�E��U��E�B<�UB�E��@�T$�$�]����E��@��u΋E@�U���D$�$�����U����D$�E�$�g�����%$>$>:;II:;
:;I8
	:;
:;
:;I8
I
!I/:;
:;I
:;I8
:;!I/
:;I
:;I8
:;
:;I:;.:;'@:;I
:;I
4:;I
.:;'I@:;I
4:;I
4:;I
 :;I
!.?:;'@"#$.:;'@%.?:;'I@&4:;I?<'4:;I?<!%.GNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)otter/linkur.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�Pchar�k�._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��#�XP
C�"P
C3Arel	�lit

�relargval�#argof�#narg�#nocc�#path}#clashable}#A
literal
+��
#next_lit�#atom��#sign�P#?�P#
�
�termfarg�#occ"#fpa_id�#sym_num
�#varnum�#type}#bits}#�P
C�
�term_ptr,term-�#
.�#�
hfpa_tree67�#left8h#right9h#left_term:�#right_term;�#type<�#path=n#��
�fpa_head@A�#
B�#pathCn#t�fpa_indexD;FtableG�#��C�restrictdataJ
1int_ptrJ
�#i��#�contextPLM�#contextsN�#�boundO#�forbiddenP#�multiplierQ�#�built_in_multiplierR�#��S�#�
T�#���
C?��
C?1}
C?$�
C?
qtrailWcontextX�#
Yq#fpZ�#varnum[�#$�rkidss�t�
�is_treep
q�#uuw#labv�#typew}#
�^	is_pos�z
{^	#is|�#varvals}�#rel_stack~d	#�reset�#�stack_pos��#��u	�C+
�	fsub_pos���#pos�^	#
�
clause(�parents�#+��
#prev_cl��
#next_cl��
#first_lit�#id��#pick_weight��#attributes�#type��# bits�}#"heat_level�P##���#$�	�
list�first_cl��
#last_cl��
#name��#�

cl_attribute�name�#u
_
#
#�
�
�clock�accum_sec�&#accum_usec�&#curr_sec�&#curr_usec�&#
�ans_lit_node�
��#parent�Y
#lit�#�
Y
link_nodeD�parent�Y
#next_sibling�Y
#prev_sibling�Y
#first_child�Y
#child_first_ans��#child_last_ans��#first�P#unit_deleted�P#goalߗ#goal_to_resolveߗ# current_clause�
#$subst�#(tr�q#,unif_position�h#0near_poss_nuc��#4farthest_sat��#8target_dist��#<back_up��#@��
i�d�
sJt	�double�
enamefJ#valg�#jnamekJ#vall�#minm�#maxm�#�construct_children_nodes�,\}Y
�tp~��?��z�P�dlnp�Y
�plp��tY
Esubsumable_unit�
,|,signP�Td��� ��`c!�
�dc_atom#��hd_atom#��ls&��pis_db(��tpos.E�\u	linked_unit_del��
|4Xsign�P�Td�������\print_ud_trace�P�cc��
�dc_atom���hd_atom���ls���pis_db���tpos�E�X�backward3Y
4�	�tree.�� f/Y
� ?0�� t1n�nres2n�p5Y
�dstart5Y
�htemp_p5Y
�lleft_most6P�sz6P�c!�linked_ur_res��	6�giv_cl��
�"�Y
��\�Y
��?�Y
��lnp�Y
��tp����temp_term���@hit_ur_limit_count����open_lit_count����res_count����i���Dhit_ur_ded_count����5��
�Hunit_cl��
�Lz�P��subsumable_unit_here�P�S"_
i
cp���T"�!�sec	&�Xusec	&�\cp	��`"��0cp��d#�-sec>&�husec>&�lcp>��p!�build_parental_chainK6� fIY
� ?JY
�chain_headM�dlast_oneM�htailM�lunit_del_flag_nodeM�plnpNY
�t)build_ur_resolvent|�
� ?zY
�tree{Y
�5~�
�hfrom_lit�lto_lit�p�check_down_tree�P�G4 f�Y
� S���rc�P�slnp�Y
�t�check_up_tree�PG�` f�Y
� S���rc�P�slnp�Y
�t�first_unifiable-����t#��index$�subst_t%�� &��pos_ptr'��tr_ptr(�� \)Y
� ?*Y
� z+J�  F,n�$var_nums/���}i/��thq��
C?|forwardMY
��cnKY
� ?LY
�pOY
�hlnpOY
�ldonePP�smax_back_upQ��t�forward_from_resolved_tree�Y
� \�Y
� ?���nres�n� t�n�lnp�Y
�t$Hfree_linked_node_tree�treeY
� ?���generate_resolvent9���< \5Y
� ?6Y
� z7J� F8n�tp;��ddb<�hBinitialize_tree`Y
��hgiv_cl_�
�treebY
�pgivenbY
�tdummy_targetbY
�l�is_in_ancestry�P��� \�Y
� "�Y
�lnp�Y
�hcand���lcand_subst���prc�P�vsign�P�wxkeep_clause�P��� f�Y
� ?��� z�J� t�n�keep�P�rboth_to_link�P�stemp_p�Y
�t$�linked_print_clause>�� �cp=�
�lp@�t$linked_print_link_nodew� p$lnpuY
�lvlv��iy��p$slinked_print_link_node_tree�p$�$Dlnp�Y
�lvl���l�Y
�t�more_targets_here�P�$%ptp���more�P�slp��t�next_unifiable�%P&�t���subst_t��� ���pos_ptr���tr_ptr��� \�Y
� ?�Y
� zJ� Fn� term_to_return��lrc��ptry_find_anotherP�w
poss_nuc_linkTPP&�&�lnpSY
�rcVP�w�pass_parms_checkyP�&�'� \sY
�nrest�� tu��depth_countvn�ded_countwn�tarxY
�ok_to_resolve{P�w�pass_target_depth_check�P�'�'  \�Y
�%�process_linked_tags���'n*Lcp��
�lp��Xtag��\tp���`errors���di���Trc���hnum_lits���lj���pr���t]process_this_resolution�	Pn*�+x \	Y
� ?�	Y
�tp�	�� z�	J� F�	n�process�	P�vtemp�	P�w�term_ident_subst�	��+F-�t1�	��c1�	��t2�	��c2�	��r1�	��hr2�	��lvn1�	��pvn2�	��t$Mwrite_down_tree%
F-�-� f#
Y
� S$
��lnp'
Y
�t$�write_up_treeD
�-
.� fB
Y
� SC
��lnpF
Y
�t$�write_target_distancesi

.%.( \h
Y
�&stdout��&stderr��'Usable/�
'Sos0�
'Fpa_clash_pos_lits='Fpa_clash_neg_lits>'Is_pos_litsP�'Is_neg_litsQ�� �

C�'Flagsh � �

C;'Parmsn� � &
C1'Statst� � !
C1'Clocksy� 'Nil_sym_num}�{|�
otter/usr/include/usr/include/bitslinkur.ctypes.hstdio.hlibio.htypes.hheader.h����滾ػ����x��h����h��v��u�/���h�����u���h��v��u��/a�$.�滾�g�����ɼh.h�.�tu��j�#Y�Bvg&d " ��g��.�tMh���u��l�#/��vg&h ּ�hh��#�h���.y����u�u�ڡ��K�K�K�Ki����0�/����/��
�$���#�0��ק��׭u���ɣ>	f
�
t?[��Y�L���uv��/�u�^ػ��uɻ�/;RE�"t	�:Kt	�;u�wJ.�#�.t���׻K��uu��؟h�$ٮ/�i�����u�/��10���v���h����*/���v���K�˽v����[	%��*�#/�}�����/�Y�u0u1��k�=�h�����它���v�/�j�.>.y�i���"�\����>!fk�Ki��kLL!.k��Kg0��g�jLL.��Փ���.C.lKv���k˻Oi����k˻P��\�/��矡��k˻k�]�(�>.jh���������K�����ɡ>.hhKK���ׯ.����u`�W>
�jv#����������u�g��!���#��������域u�g��!��!x>.m󑮠�g��K��U��L$.k�g/���gL�/�ii�kjKjK�g�K�KiL
.j/���0�0�0�0�0��ح�ɻ�uɭ�ɻs�.�.x���/���9�����������������������������/����>���0fj�!U�.k!0YH��L.lv
�g�+*h��MZugi+*hjjkJ�>.j��hiLL.jMi0K�����Kʟk�KʟPhKʟNL.>4
.m��!�#�#�#�#�#���v(�K9_��>�Z)K%94&v��t�ׯ��.j"K�ig#L��[��hg�gKʟ�gL��K��g�g�kL.l/����/���έA��/���/��.g��.jh��U�.j����g0��T�M.h0constructing nodes for remaining lits:ERROR: constructing children told target here with already target setcouldn't get link_nodeERROR ... non UNIT clause looks UNITcouldn't get context from clause couldn't get context nodeERROR: constructing children told target here and target not found hereFPA indexing not supported for linked res subsumable unitUD entering linked_unit_del, passed term followsUD FPA indexing not supported for linked res linked_unit_delUD exiting linked_unit_del, subsuming clause c followsUD exiting linked_unit_del, not subsumedattempted to back up from a node with a childWARNING, CLOCK_START: clock %d already on.
********entering Linked UR***********ERROR: unable to initialize linked UR inference tree********tree before BIG loop open lit %d nres %d
attempting to find clash for term  in clause  first time = %c res_count = %d
clashed against term:   in clause  ERROR: moved forward to %x first = FALSE
did not attempt to resolve  ... appears in ancestryERROR: found non_target back_up < 0ERROR: left_sibling chain to NULL***RESOLVED AWAY TREE curr_node at %x target at %x open lit %d nres %d
resolvent =  []WARNING, CLOCK_STOP: clock %d already off.
-- FAIL --***tree end BIG loop curr_node %x tar %x open lit %d
********tree leaving linked UR open lit %d nres %d
** HIT maximum linked UR depth %d times
** HIT maximum linked UR deduction size %d times
unable to renumber vas in fist_unifiable()ERROR: forward failed, has first_child that's NOT tarERROR: forward failed with target child (has sibs)ERROR: couldn't get context for dummy nodeERROR: couldn't get link node for dummyERROR: couldn't get context for given nodecouldn't get given link_nodechecking is_in_ancestry on lit at %x >>NOT_SPECIFIED: NUCLEUS: LINK: BOTH: SATELLITE: ** UNKNOWN **: **  << ����    -----start node at %x------
parent = %x prev_sibling = %x next_sibling = %x first_child = %x
current_clause >> (NIL) <<first = %c unit_deleted = %c near_poss_nuc = %d farthest_sat = %d target_dist = %d back_up = %d
goal to resolve  ... from literal from clause subst = %x subst->multiplier = %d tr = %x unif_position = %x
-----end node at %x------
max ur depth hit # %d  max ur ded size hit # %d  $NUCLEUS$LINK$BOTH$SATELLITEERROR, argument of link tag is not a list: ERROR, list member has bad literal number: %s
brought NUC is TRASHED .. already have tarNUC failed depth check TRASHEDNUC in on only tar TRASHED����|�,A�B
,PA�B
|�A�B
4�A�B
D��	M
A�B
G�6�A�B
�A�B
D��\A�B
G�A�B
��A�B
�cA�B
A�B
nA�B
�A�B
F����A�B
��A�B
��A�B
�oA�B
� xA�B
D�p$GA�B
�$OA�B
%JA�B
P&5A�B
�&4A�B
�'A�B
�'�A�B
n*ZA�B
�+~A�B
F-DA�B
�-�A�B

.A�B
tt,u,-t-/t/|u|}t}t4u45t57t7�	u�	�	t�	�	t�	6u67t79t9utt�u��t��t�GuGHtHJtJ�u��t��t��u��t��t�uttutt�u��t��t��u��t��t��u��t��t��u��t��t��u��t��t�� u� � t� � t� p$up$q$tq$s$ts$�$u�$�$t�$�$t�$%u%%t%	%t	%P&uP&Q&tQ&S&tS&�&u�&�&t�&�&t�&�'u�'�'t�'�'t�'�'u�'�'t�'�'t�'n*un*o*to*q*tq*�+u�+�+t�+�+t�+F-uF-G-tG-I-tI-�-u�-�-t�-�-t�-
.u
..t.
.t
.%.u8!�linked_ur_res�process_linked_tags%.unsigned intnextsubst_rettermsinf_treecontainerresolventtargethit_dp_countmy_depthcurr_nodenode_IO_FILEnopentarget_heresubsumednext_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%.	ly�
%\.+\.0\.4B�0!>	��R�QN	Čb(W�	^	̌(
n(aj	��{<dT��i<�	���i �	���i���j:��j�j�xo�-	Hu#�

,#�o7P&5E
.\,Pl|�|4�������p$G��&4����c�����&6�;�\KG�Y��i%Jxn��+~�� x��$O�n*Z��'�F-D�-�!&4@HOZaht�������������	M
4:FR]io������'�����
linkur.cconstruct_children_nodeslinked_print_clauseposs_nuc_linkwrite_target_distancessubsumable_unitlinked_unit_delbackwardkeep_clauseinitialize_treelinked_print_link_node_treepass_parms_checkgenerate_resolventforwardis_in_ancestrybuild_ur_resolventforward_from_resolved_treebuild_parental_chaincheck_down_treecheck_up_treefirst_unifiablenext_unifiablefree_linked_node_treeterm_ident_substlinked_print_link_nodemore_targets_hereprocess_this_resolutionpass_target_depth_checkwrite_down_treewrite_up_treeFlagsputsexitget_link_nodeget_contextputcharstdoutprint_termprintffflushIs_pos_litsIs_neg_litsfs_retrievenum_literalsUsableSoscanc_fs_posfree_contextprint_clauseStatsclear_subst_1zap_termfree_link_nodelinked_ur_resClocksstderrfprintfprint_linked_ur_mem_statsapplypre_processget_int_ptrget_clauseget_literalParmsrenum_vars_termbuild_treeFpa_clash_neg_litsFpa_clash_pos_litsnext_termunifyprocess_linked_tagssn_to_strstr_identproper_listprint_term_nlstr_intNil_sym_numfree_literal
-.49.E/J0Z_.k/��.�/�1.'/D-f2r3~4��5�2�0��.�/L1ej.v/�-�2�3�4��5�3�628=.I/G1O-h7r8�9�:�;�-�<�-95=NS5^>��.��5�3�4�2�1�-�87.9I:|9�=��5�>��.��5�3�?�2.@@HM.Y/gA�B	:.	:a	>l	C�	>�	C
:
E!
F1
9
GH
M
5j
-v
{
.�
H�
�
.�
�
.�
/�
-�
�
5.1-AF5c2h3p6|3�4�3�6��5�3�6��5jI�-�-�-x
-�
�
5�
2�
3�
4�
�
5�
2
:��5�/�-��5�2363$4+0.��.�/��.�/�-*/5IN.UZ5_3g6�2�3�6�I�3�4�2�B��.@@@@$E4FDLG[`5�<�J�E�F�G5V-bg.�-��5��.�-5%*./H6;.PU5jo5u@�@�@�@�E�F��G��5=K�K�K$L2MyI�K�NWNO.'/-NNP-2.>/_d.p/p>{C�Q�R)A�0"1UZ.|�.�0#1V[.}�.�-��5�2�3�634 2��5�3�6���5��5��5��5  5  5 3& 6F K 5P 3X 6d 2i 3q 6} 3� 4� 3� 6� � 5� 3� 6� � 5� 3� 6� � 5!!5)!.!5>!C!5�!�!5�!�!5�!�!5�!�!5�!�!.�!�!5�"�"5�"�"5�"�"5�"2�"3#4	##5##5A#2M#3Y#4b#g#5s#2�#�#5�#�#5�#3�#6�#2�#�#5.$3$5C$H$5a$f$5%S�%T�%S$&Tg&N�&N�&-�&�&5�&N
'-"'''54'NN'-c'h'5{'N�'-�'�'5�'N(-5(V@(E(Wf(Vq(v(W�(V�(�(W�(V�(�(W!)X,)1)57)3F)Y�)V�)Z�)V�)�)5	*-1*[T*B_*\�*-�*�*.?+-K+P+.a+-m+r+.w*D*]*�**�*�*�*�**C*�*�*E*�*�*�*�	*�	*v
**�*,04'9*T*b*���'�*hlp'�*/37'L*[*j*�*���'*$*4*�**HLdh����'#*2*���'�*�*FJN'S*b*���'�*�*'L*�*�*�*�*'**���'�*�*�* $'9*hlp'u*�*�*�*���'^bf'k*z*���'** */*���'���';?C'���'���'*H*W*f*u*���'+/3'8*W*���'�*!%'���'�*�**+*{�'' */*dhl'q*�*���'�*�dhlpt&0&4H&L`&d|&��&��&��&��&��&&,&0D&H\&`|&��&��&��&��&��&�&(&,@&DX&\p&t�&��&��&��&��&�&

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