Sindbad~EG File Manager

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

ELF�{4(U����E��E��}��Ѕ�t�E��}��E�)�E���t ��¡��)����;E��}�~*�E�D$�D$�E��$����E��$������d������xi������������
�¡d9�����D$�D$/�D$�$ ��������D$�D$P�$����$��t/��D$�D$�D$�$�����$�4��t/��D$�D$"�D$�$�����4����$m����$��������x@�x�xP�$�d$�(���}��E�f
f�E��m��]��m��E��X���uj��D$�$�����D$�D$-�D$�$���������D$�D$��$����$n�����E���E���E���U����|@�|���u�$����E����H����E�����E�f�@�E���E��@�E�f�@�E��@�E��@�E���U�塀@����@����‹E��E�]�U�����@�����u�$����E�� ��H����E���@��E���E��@�E��@�E��@�E��@�E��@�E���U�塌@����@����E�P�E�]�U�����@�����u�$0����E����H����E�����E��@�E��@����E��@�E��@�E��@�E�ǀ �E�ǀ$�E�ǀ(�E���E���U�塘@����@����E��E�]�U�����@�����u�$����E�� ��H����E���@��E���E��@�E���U�塤@����@����E�P�E�]�U�����@�����u�$����E�� ��H����E���@��E���E��@�E��@�E��@�E��@�E��@�E��@�E���U�塰@����@����E�P�E�]�U�����@��� ��u�$����E�� ��H��� �E�� �@� �E���E��@�E��@�E��@�E��@�E��@�E���U�塼@����@��� �E�P�E� ]�U�����@���$��u�$����E�� ��H���$�E��$�@�$�E���E��@�E��@�E���U���@����@���$�E�P�E�$]�U���(��@���(��u�$P����E��#��H���(�E��(���(�E��¸�D$�D$�$����E�@�¸�D$�D$�$�����E���D�B��E�ǀ@�����E�ǀH�����E��¸@�D$�D$�$����E�ǀL�E���U���(�E��^�E��U����tN�U��E����‹E��D$�T$�$0����U��E����D$�$����U��E���E��}�?~��E��)�E��U���@��t�E��U���@�$����E��}�?~ѡ�@����@���(�E���E�(��U�����@���,��u�$����E�� ��H���,�E��,�@�,�E��@�E���U���@����@���,�E�P�E�,]�U�����@���0��u�$����E����H���0�E��0��0�E���E��@�E��@�E�f�@�E��@�E���U���@����@���0�E��E�0]�U�����@���4��u�$�����E����H���4�E��4��4�E���E���U��@����@���4�E��E�4]�U����@��8��u�$����E���H��8�E��8��8�E���E��@
�E�f�@�E��@�E���U��@��@��8�E��E�8]�U����@��<��u�$�����E���H��<�E��<��<�E���E���U��@��@��<�E��E�<]�U����@��@��u�$����E��� H� �@�E��@��@�E���U��@�� @� �@�‹E��E�@]�U����$@�$�D��u�$����E�� �,H�,�D�E��D�@�D�E���E��@�E��@�E��@�E���U��(@�(�,@�,�D�E�P�E�D]�U����0@�0�H��u�$(����E�� �8H�8�H�E��H�@�H�E��@�E���E��@�E��@�E��@�E��@�E��@�E�f�@ �E��@"�E��@#�E��@�E��@$�E���U��4@�4�8@�8�H�E�P�E�H]�U����<@�<�L��u�$����E���DH�D�L�E��L��L�E���E��@�E��@�E���U��@@�@�D@�D�L�‹E��E�L]�U����H@�H�P��u�$,����E�� �PH�P�P�E��P�@(�P�E��@(�E��@$�E��@�E���U��L@�L�P@�P�P�E�P(�E�P]�U����T@�T�T��u�$����E�� �\H�\�T�E��T�@�T�E��@�E���E���U��X@�X�\@�\�T�E�P�E�T]�U����`@�`�X��u�$����E���hH�h�X�E��X��X�E���E��@�E��@�E���U��d@�d�h@�h�X�E��E�X]�U����l@�l�\��u�$����E���tH�t�\�E��\��\�E���E��@�E���U��p@�p�t@�t�\�E��E�\]�U�����@���d��u�$����E����H���d�E��d��d�E���E��@�E��@�E���U�塈@����@���d�E��E�d]�U�����@���h��u�$�����E��#��H���h�E��h����h�E�ǀ��E�����E�����E�����E�����E��@�E��@�E��@|�E��P|�E��Px�E��Px�E��Pt�E��Pt�E��Pp�E��Pp�E��P�E��P�E���E�ǀ��E�����E�����E���U�塔@����@���h�E����E�h]�U�����@���l��u�$����E�� ��H���l�E��l�@�l�E��@�E��@�E��@�E��P�E��P�E��P�E���E��@�E���U�塠@����@���l�E�P�E�l]�U�����@���p��u�$����E�� ��H���p�E��p�@�p�E���E��@�E���U�塬@����@���p�E�P�E�p]�U�����@���t��u�$����E�� ��H���t�E��t�@�t�E�������E��@�E���U�塸@����@���t�E�P�E�t]�U����x@�x�`��u�$D����E�� ��H���`�E��`�@�`�E���E��@�E��@�E��@�E��@�E��@�E��@�E��@�E��@�E��@ �E��@$�E��@(�E��@0�E��@,�E��@4�����E��@8�E��@<�E��@@�����E���U��|@�|��@���`�E�P�E�`]�U����}tW�E�E���@����@�����@����@���E���E��E����u١4�U���E�4��U����}tW�E�E��@��@���@��@��E���E��E����u١<�U���E�<��U��S��$�E�D$�D$)�D$�$X����xP�$�d$��ɡx�\$�D$��D$�D$��E�$����E�D$�D$L�D$�$��������)¡�‰�������RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$0�D$��E�$����|��)¡�‰�����RP�,$�d$�����|����)��ȋ��
|�\$�\$�D$�T$�L$�D$�D$,�E�$�������)¡�‰�����RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$\�E�$�������)¡�����RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$��E�$�������)¡������)кRP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$��E�$�������)¡�‰�����RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$��E�$�������)¡������)кRP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$�E�$�������)¡��i�P�RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$P�D$L�E�$�������)¡�����RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$|�E�$�������)¡�‰�����RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$��E�$�������)¡��������)кRP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$��D$��E�$�����)¡‰�����RP�,$�d$�������)��ȋ�
�\$�\$�D$�T$�L$�D$�D$�E�$�����)¡�i���RP�,$�d$�������)��ȋ�
�\$�\$�D$�T$�L$�D$��D$<�E�$�����)¡ ����RP�,$�d$��� ����)��ȋ�
�\$�\$�D$�T$�L$�D$�D$l�E�$����$�()¡,����RP�,$�d$���,�$�(��)��ȋ(�
$�\$�\$�D$�T$�L$�D$�D$��E�$����0�4)¡8‰�����RP�,$�d$���8�0�4��)��ȋ4�
0�\$�\$�D$�T$�L$�D$(�D$��E�$����<�@)¡D��������RP�,$�d$���D�<�@��)��ȋ@�
<�\$�\$�D$�T$�L$�D$�D$��E�$����H�L)¡P‰�������RP�,$�d$���P�H�L��)��ȋL�
H�\$�\$�D$�T$�L$�D$,�D$,�E�$����T�X)¡\����RP�,$�d$���\�T�X��)��ȋX�
T�\$�\$�D$�T$�L$�D$�D$\�E�$����l�p)¡t����RP�,$�d$���t�l�p��)��ȋp�
l�\$�\$�D$�T$�L$�D$�D$��E�$����`�d)¡h‰�����RP�,$�d$���h�`�d��)��ȋd�
`�\$�\$�D$�T$�L$�D$�D$��E�$����x�|)¡���������RP�,$�d$�����x�|��)��ȋ|�
x�\$�\$�D$�T$�L$�D$D�D$��E�$�������)¡�‰�����RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$�E�$�������)¡�‰�������RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$��D$L�E�$�������)¡�‰�����RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$|�E�$�������)¡�����RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$��E�$�������)¡�����RP�,$�d$����������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$��E�$�����$[]�U��S��$�E�D$�D$)�D$�$X����xP�$�d$�0�ɡx�\$�D$��D$�D$��E�$����E�D$�D$I�D$�$ ����|��)¡�‰�����RP�,$�d$�8����|����)��ȋ��
|�\$�\$�D$�T$�L$�D$�D$l�E�$�������)¡�‰�����RP�,$�d$�8���������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$��E�$�������)¡�����RP�,$�d$�8���������)��ȋ��
��\$�\$�D$�T$�L$�D$�D$��E�$�����)¡‰�����RP�,$�d$�8������)��ȋ�
�\$�\$�D$�T$�L$�D$�D$��E�$�����$[]�U����xP�$�d$�@���}��E�f
f�E��m��]��m��E���U��x]�U���������)��ȋ��
��D$�T$�L$�$H���������)��ȋ��
��D$�T$�L$�$p���������)��ȋ��
��D$�T$�L$�$�����|����)��ȋ��
|�D$�T$�L$�$�����x�|��)��ȋ|�
x�D$�T$�L$�$������%$>$>:;II:;
:;I8
	:;
:;
:;I8
I
!I/:;
:;I
:;I8
:;!I/
:;I
:;I8
:;
:;I:;.?:;'I@:;I
4:;I
.?:;'@.?:;'@:;I
.?:;'I@ 4:;I
!.?:;'I@".?:;'@#4:;I?<$4:;I?<G,H)GNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)otter/av.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�LcharFILE.`�I�._flags�#_IO_read_ptrF#_IO_read_endF#_IO_read_baseF#_IO_write_baseF#_IO_write_ptrF#_IO_write_endF#_IO_buf_baseF#_IO_buf_endF# _IO_save_baseF#$_IO_backup_baseF#(_IO_save_endF#,_markers�#0_chain �#4_fileno"�#8_flags2&�#<_old_offset(#@_cur_column,�#D_vtable_offset-�#F_shortbuf.#G_lock2#H_offset;.#L__pad1A�#T__pad2B�#X_modeD�#\_unused2F#`	_IO_lock_t�
�_IO_marker�_next��#_sbuf��#_pos��#�`L
?�*L
?3Irel	�lit

�relargval�#argof�#narg�#nocc�#pathy#clashabley#I
literal
.�b
#next_lit�#atom��#sign�L#target�L#
�
�termfarg�#occ*#fpa_id�#sym_num
�#varnum�#Ry#bitsy#%�sym_ent0
�#sym_num�#arity�#lex_val �#eval_code!�#skolem"�#special_unary#�#lex_rpo_status$�#name%�# special_op&�#�op_type'�#�op_prec(�#�sort)�#���L
?�
�term_ptr,term-�#
.�#�
rformula_ptr_21f2�#prev3�#
3�#left3�#right3�#up3�#down3�#
�formula2B��#��#
��#t��#R�L#quant_type�L#r�
mfpa_tree6(7�#left8m#right9m#left_term:�#right_term;�#R<�#path=s#��
�fpa_head@(A�#
B�#pathCs#y�fpa_indexD;FtableG�#��?�restrictdataJ		
6	int_ptrJ
�	#i��#�	contextPL(M�	#contextsN�	#�boundO	
#�forbiddenP
#�multiplierQ�#�built_in_multiplierR�#�WS�#�
T
#��	�
??


??6	
y
??)
�
??
v
trailWcontextX
#
Yv
#fpZ�#varnum[�#)

�
imd_tree^
_�
#kids_�
#atoms`�#laba�#Rby#max_vnume�#|
Limd_pos�h
iL#imdj�
#kR#resetl�#�8m�#��
c�?��rkidss�(t�
�is_treep
q�#uuc#labv�#Rwy#
�=is_pos�z
{=#is|�#varvals}�	#~C#�reset�#�8��#��T�?+
�fsub_pos�(��#pos�=#
b
clause(�parents�	#.��
#prev_cl�b
#next_cl�b
#first_lit�#id��#pick_weight��#attributes��
#R��# bits�y#"heat_level�L##W��#$��
list�first_cl�b
#last_cl�b
#name��#h

�
cl_attribute�name�#u
Q#
�
#�

'clause_ptr�c�b
#
�'#�

cci_ptr�
�c#c�b
#v�	#-
@clash_nd,�nuc_atom��#db�@#u_tree�m#subst�
#tr�v
#found_atomơ#evaluable��#evaluation��#already_evaluated��# prev�F#$
�F#(�i
�ans_lit_node�
Ռ#B�#lit�#L
link_nodeD�B�#next_sibling�#prev_sibling�#�#child_first_ans܌#child_last_ans܌#first�L#unit_deleted�L#goalߡ#goal_to_resolveߡ# current_clause�b
#$subst�
#(tr�v
#,unif_position�m#0near_poss_nuc��#4farthest_sat��#8target_dist��#<back_up��#@�
formula_box��R��#subtype��#f��#str�#length��#pheight��#tx_off��#xy_off��#|abs_x_loc��#�abs_y_loc��#��#�
�#�B�#�L
?c
Kformula_ptr�f��#
K#�i�d�sFt	�double�enamefF#valg�#�jnamekF#vall�#minm�#maxm�#jtp_allocbjyna��return_blockcF�pscaled��t^�so��s�get_term��y�,p���t�free_term��-Xp����get_rel��-��pɸ�t$free_rel����p��Vget_sym_ent�����p��t�free_sym_ent��p���get_term_ptr��#4 p��t�free_term_ptr5#R`p4��(get_formula_ptr_2C�R�� pD��t_free_formula_ptr_2_��p^���get_fpa_treemm�� pnm�t�free_fpa_tree���p�m��get_fpa_head���=< p���t-free_fpa_head�=lhp���uget_context�
la� p�
�t count���free_context�a;	�p�
� i���t�get_trail�v
;	�	� p�v
�tfree_trail�	�	pv
�Iget_imd_tree�
�	@
D p�
�t{free_imd_tree8@
n
pp7�
��get_imd_posFLn
�
� pGL�t�free_imd_pos\�
�
�p[L�get_is_treej��
f� pk��tEfree_is_tree�f� p���xget_is_pos�=��L p�=�t�free_is_pos��xp�=��get_fsub_pos��i� p���tTfree_fsub_pos�i��p���Iget_literal��
� p��tzfree_literal�
;
(p���get_clause�b
;
�
T pb
�t�free_clause%�
*�p$b
�get_list3�
*�� p4�
�t<free_listK���pJ�
�qget_clash_ndYF�0 pZF�t�free_clash_ndq0_0ppF��get_clause_ptr'_�\ p�'�tfree_clause_ptr����p�'�Aget_ci_ptr�c�]� p�c�tqfree_ci_ptr�]��p�c��get_int_ptr�	�� p�	�t�free_int_ptr��8p�	�get_ans_lit_node���d p���tEfree_ans_lit_node	���p��}get_formula_box��� p�t�free_formula_box3���p2��get_formulaA��i pB��tfree_formula[i�@pZ��Oget_formula_ptriK��l pjK�t�free_formula_ptr��*�p�K��get_cl_attribute��
*�� p��
�t�free_cl_attribute����p��
�)get_link_node���	 p��t\free_link_node���H	p���free_imd_pos_list��Mt	p�L� q�L�t�free_is_pos_listM��	p=� q=�tprint_mem�T%�	fp�TKprint_mem_briefHT%�'�	fpG�!total_mem\��'-($
!total_mem_callsg�-(7(P
"print_linked_ur_mem_statsr7(H)|
Alloc_blockFAlloc_posFterm_avail�rel_avail�sym_ent_avail�term_ptr_avail�formula_ptr_2_avail�fpa_tree_avail m fpa_head_avail!�$context_avail"
(trail_avail#v
,imd_tree_avail$�
0imd_pos_avail%L4is_tree_avail&�8is_pos_avail'=<fsub_pos_avail(�@literal_avail)Dclause_avail*b
Hlist_avail+�
Lclash_nd_avail,FPclause_ptr_avail-'Tci_ptr_avail.cXint_ptr_avail/	\link_node_avail1`ans_lit_node_avail2�dformula_box_avail3hformula_avail4�lformula_ptr_avail5Kpcl_attribute_avail6�
tMalloc_calls8�xterm_gets<�|term_frees<��term_avails<��rel_gets=��rel_frees=��rel_avails=��sym_ent_gets>��sym_ent_frees>��sym_ent_avails>��term_ptr_gets?��term_ptr_frees?��term_ptr_avails?��formula_ptr_2_gets@��formula_ptr_2_frees@��formula_ptr_2_avails@��fpa_tree_getsA��fpa_tree_freesA��fpa_tree_availsA��fpa_head_getsB��fpa_head_freesB��fpa_head_availsB��context_getsC��context_freesC��context_availsC��trail_getsD��trail_freesD��trail_availsD��imd_tree_getsE��imd_tree_freesE��imd_tree_availsE��imd_pos_getsF��imd_pos_freesF��imd_pos_availsF��is_tree_getsG�is_tree_freesG�is_tree_availsG�is_pos_getsH�is_pos_freesH�is_pos_availsH�fsub_pos_getsI�fsub_pos_freesI�fsub_pos_availsI� literal_getsJ�$literal_freesJ�(literal_availsJ�,clause_getsK�0clause_freesK�4clause_availsK�8list_getsL�<list_freesL�@list_availsL�Dclash_nd_getsM�Hclash_nd_freesM�Lclash_nd_availsM�Pclause_ptr_getsN�Tclause_ptr_freesN�Xclause_ptr_availsN�\ci_ptr_getsO�`ci_ptr_freesO�dci_ptr_availsO�hint_ptr_getsP�lint_ptr_freesP�pint_ptr_availsP�tlink_node_getsR�xlink_node_freesR�|link_node_availsR��ans_lit_node_getsS��ans_lit_node_freesS��ans_lit_node_availsS��formula_box_getsT��formula_box_freesT��formula_box_availsT��formula_getsU��formula_freesU��formula_availsU��formula_ptr_getsV��formula_ptr_freesV��formula_ptr_availsV��cl_attribute_getsW��cl_attribute_freesW��cl_attribute_availsW��#stdout��#stderr���+�
?�$Flagsh�+,�
?;$Parmsn�++,"
?1$Statst,$Bell�LEx�
otter/usr/include/usr/include/bitsav.ctypes.hstdio.hlibio.htypes.hheader.h��u��)���;%$�%��%�Y���5�K%$��=	.i���������u�=	.=����	.i����ʑ���uu=	.=����	.i������������ʑ=	.=����	.i����ʑ�=	.=����	.i����ʑ������=	.=����	.i����ʑ�����=	.=����	.i����ʑ��=	.=����	.j������#g��#�=
.j��&�Ę�H����	.i����ʟ=	.=����	.i�������u��=	.=����	.i������=	.=����	.i������u��=	.=����	.i������=	.=����	.i�����=	.=����	.i����ʑ�u�=	.=����	.i����ʟ�������uu��=	.=����	.i�������u=	.=����	.i����ʟ��=	.=����	.i����ʟ�=	.=����	.i��������=	.=����	.i�������=	.=����	.i��������=	.=����	.i�����1�uE�=	.=���	.i�����uu�=	.=����	.i����ˑ�=	.=����	.i����ˑ�=	.=����	.i����ˑ�����uu����������=	.=����	.igg��/�����	.igg��/�����	.u#=#���������������������������	fu#=#����	fg0	.=Y	.h55555tp_alloc, request too big: %d
Search stopped in tp_alloc by max_mem option.

%cSearch stopped in tp_alloc by max_mem option.
    (free_all_mem cleared).
    (print_lists_at_end cleared).

ABEND, malloc returns NULL (out of memory).
%cABEND, malloc returns NULL (out of memory).
�?@ERROR, context %x, var %d not null.

------------- memory usage ------------
%d mallocs of %d bytes each, %.1f K.
  type (bytes each)        gets      frees     in use      avail      bytes
sym_ent (%4d)      %11lu%11lu%11lu%11lu%9.1f K
term (%4d)         %11lu%11lu%11lu%11lu%9.1f K
rel (%4d)          %11lu%11lu%11lu%11lu%9.1f K
term_ptr (%4d)     %11lu%11lu%11lu%11lu%9.1f K
formula_ptr_2 (%4d)%11lu%11lu%11lu%11lu%9.1f K
fpa_head (%4d)     %11lu%11lu%11lu%11lu%9.1f K
fpa_tree (%4d)     %11lu%11lu%11lu%11lu%9.1f K
context (%4d)      %11lu%11lu%11lu%11lu%9.1f K
trail (%4d)        %11lu%11lu%11lu%11lu%9.1f K
imd_tree (%4d)     %11lu%11lu%11lu%11lu%9.1f K
imd_pos (%4d)      %11lu%11lu%11lu%11lu%9.1f K
is_tree (%4d)      %11lu%11lu%11lu%11lu%9.1f K
is_pos (%4d)       %11lu%11lu%11lu%11lu%9.1f K
fsub_pos (%4d)     %11lu%11lu%11lu%11lu%9.1f K
literal (%4d)      %11lu%11lu%11lu%11lu%9.1f K
clause (%4d)       %11lu%11lu%11lu%11lu%9.1f K
list (%4d)         %11lu%11lu%11lu%11lu%9.1f K
clash_nd (%4d)     %11lu%11lu%11lu%11lu%9.1f K
clause_ptr (%4d)   %11lu%11lu%11lu%11lu%9.1f K
int_ptr (%4d)      %11lu%11lu%11lu%11lu%9.1f K
ci_ptr (%4d)       %11lu%11lu%11lu%11lu%9.1f K
link_node (%4d)    %11lu%11lu%11lu%11lu%9.1f K
ans_lit_node(%4d)  %11lu%11lu%11lu%11lu%9.1f K
formula_box(%4d)   %11lu%11lu%11lu%11lu%9.1f K
formula(%4d)       %11lu%11lu%11lu%11lu%9.1f K
formula_ptr(%4d)   %11lu%11lu%11lu%11lu%9.1f K
cl_attribute(%4d)  %11lu%11lu%11lu%11lu%9.1f K
�?@�@  type (bytes each)     gets      frees     in use      avail      bytes
term (%4d)      %11lu%11lu%11lu%11lu%9.1f K
rel (%4d)       %11lu%11lu%11lu%11lu%9.1f K
term_ptr (%4d)  %11lu%11lu%11lu%11lu%9.1f K
is_tree (%4d)   %11lu%11lu%11lu%11lu%9.1f K
�?@�@�?@context gets=%lu frees=%lu inuse=%lu
trail gets=%lu frees=%lu inuse=%lu
fpa_tree gets=%lu frees=%lu inuse=%lu
term gets=%lu frees=%lu inuse=%lu
link_node gets=%lu frees=%lu inuse=%lu
����|�yA�B
y�A�B
�/A�B
-�A�B
�/A�B
��A�B
�.A�B
�cA�B
#/A�B
R�A�B
�/A�B
�A�B
�/A�B
�mA�B
=/A�B
l�A�B
a�A�B
;	ZA�B
�	/A�B
�	|A�B
@
.A�B
n
XA�B
�
.A�B
�
rA�B
f.A�B
�XA�B
�.A�B
OA�B
i/A�B
�tA�B

/A�B
;
�A�B
�
/A�B
*iA�B
�/A�B
�nA�B
0/A�B
_cA�B
�/A�B
�lA�B
].A�B
�bA�B
�.A�B
lA�B
�.A�B
��A�B
�2A�B
��A�B
i/A�B
�cA�B
�/A�B
*cA�B
�/A�B
��A�B
�/A�B
�eA�B
MeA�B
��A�B
D�T%�A�B
D��'8A�B
-(
A�B
7(A�B
ttyuyztz|t|�u��t�t-u-.t.0t0�u��t��t��u��t��t��u��t��t��u��t��t�#u#$t$&t&RuRStSUtU�u��t��t�utt�u��t��t��u��t��t�=u=>t>@t@lulmtmotoauabtbdtd;	u;	<	t<	>	t>	�	u�	�	t�	�	t�	�	u�	�	t�	�	t�	@
u@
A
tA
C
tC
n
un
o
to
q
tq
�
u�
�
t�
�
t�
�
u�
�
t�
�
t�
fufgtgiti�u��t��t��u��t��t�uttiuijtjltl�u��t��t�
u


t


t
;
u;
<
t<
>
t>
�
u�
�
t�
�
t�
*u*+t+-t-�u��t��t��u��t��t�0u01t13t3_u_`t`btb�u��t��t��u��t��t�]u]^t^`t`�u��t��t��u��t��t�utt�u��t��t��u��t��t��u��t��t��u��t��t�iuijtjltl�u��t��t��u��t��t�*u*+t+-t-�u��t��t��u��t��t��u��t��t��u��t��t�MuMNtNPtP�u��t��t�T%uT%U%tU%W%tW%�'u�'�'t�'�'t�'-(u-(.(t.(0(t0(7(u7(8(t8(:(t:(H)uKK,�tp_allocpget_term�free_term�get_rel�free_rel$get_sym_entVfree_sym_ent�get_term_ptr�free_term_ptr�get_formula_ptr_2(free_formula_ptr_2_get_fpa_tree�free_fpa_tree�get_fpa_head�free_fpa_head-get_contextufree_context�get_trail�free_trailget_imd_treeIfree_imd_tree{get_imd_pos�free_imd_pos�get_is_treefree_is_treeEget_is_posxfree_is_pos�get_fsub_pos�free_fsub_posget_literalIfree_literalzget_clause�free_clause�get_listfree_list<get_clash_ndqfree_clash_nd�get_clause_ptr�free_clause_ptrget_ci_ptrAfree_ci_ptrqget_int_ptr�free_int_ptr�get_ans_lit_nodefree_ans_lit_nodeEget_formula_box}free_formula_box�get_formula�free_formulaget_formula_ptrOfree_formula_ptr�get_cl_attribute�free_cl_attribute�get_link_node)free_link_node\free_imd_pos_list�free_is_pos_list�print_memprint_mem_briefKtotal_memktotal_mem_calls�print_linked_ur_mem_statsH)unsigned intnextrel_stackfirst_childtermscontainerstack_posparent_IO_FILEtypenext_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.rodata.rel.debug_frame.debug_loc.rel.debug_pubnames.rel.debug_aranges.debug_str.comment.note.GNU-stack4H)	|�p%|)+|)�0|)B�+K,>	�R�WIN	�^(\	j0e�f	���wk�
��uO�	��z �	��3z`��z:��z�z�\��	L�0
�
x)|3>�J�U�^h�s�}����������������-�A�O ^�n�}��$��������(������,� �,�:0I�Y�h�u4������8����<��@) 9H$UDc,r(�0�H�8�4�<�L�D�@�H�P�P
LT,T=\OX``lXyh�d�l�\�t�p���d����)h;�N�`�ml{������p�������t��,x;`K�\|
lyu}�������������y���/�-���/����.�c"#/0R�B�/U�b�/p�m}=/�l���a�����.�;	Z��	/��	|�@
.�n
X	�
.�
r"f./�X:�.FOSi/a�tm
/z;
���
/�*i��/��n�0/�_c��/��l�].��b	l	�.$	��4	�2E	��Q	i/^	�cn	�/	*c�	�/�	���	�/�	�e�	Me�	���	T%��	�'8
-(

7(av.cAlloc_blockAlloc_posMalloc_callsterm_getsterm_availterm_availsterm_freesrel_getsrel_availrel_availsrel_freessym_ent_getssym_ent_availsym_ent_availssym_ent_freesterm_ptr_getsterm_ptr_availterm_ptr_availsterm_ptr_freesformula_ptr_2_getsformula_ptr_2_availformula_ptr_2_availsformula_ptr_2_freesfpa_tree_getsfpa_tree_availfpa_tree_availsfpa_tree_freesfpa_head_getsfpa_head_availfpa_head_availsfpa_head_freescount.3992context_getscontext_availcontext_availscontext_freestrail_getstrail_availtrail_availstrail_freesimd_tree_getsimd_tree_availimd_tree_availsimd_tree_freesimd_pos_getsimd_pos_availimd_pos_availsimd_pos_freesis_tree_getsis_tree_availis_tree_availsis_tree_freesis_pos_getsis_pos_availis_pos_availsis_pos_freesfsub_pos_getsfsub_pos_availfsub_pos_availsfsub_pos_freesliteral_getsliteral_availliteral_availsliteral_freesclause_getsclause_availclause_availsclause_freeslist_getslist_availlist_availslist_freesclash_nd_getsclash_nd_availclash_nd_availsclash_nd_freesclause_ptr_getsclause_ptr_availclause_ptr_availsclause_ptr_freesci_ptr_getsci_ptr_availci_ptr_availsci_ptr_freesint_ptr_getsint_ptr_availint_ptr_availsint_ptr_freesans_lit_node_getsans_lit_node_availans_lit_node_availsans_lit_node_freesformula_box_getsformula_box_availformula_box_availsformula_box_freesformula_getsformula_availformula_availsformula_freesformula_ptr_getsformula_ptr_availformula_ptr_availsformula_ptr_freescl_attribute_getscl_attribute_availcl_attribute_availscl_attribute_freeslink_node_getslink_node_availlink_node_availslink_node_freestp_allocsprintfabendParmsstdoutfwriteBellstderrfprintfFlagscleanupexitmallocStatsoutput_statsget_termfree_termget_relfree_relget_sym_entfree_sym_entget_term_ptrfree_term_ptrget_formula_ptr_2free_formula_ptr_2get_fpa_treefree_fpa_treeget_fpa_headfree_fpa_headget_contextmemsetfree_contextprintfprint_term_nlfree_int_ptrget_trailfree_trailget_imd_treefree_imd_treeget_imd_posfree_imd_posget_is_treefree_is_treeget_is_posfree_is_posget_fsub_posfree_fsub_posget_literalfree_literalget_clausefree_clauseget_listfree_listget_clash_ndfree_clash_ndget_clause_ptrfree_clause_ptrget_ci_ptrfree_ci_ptrget_int_ptrget_ans_lit_nodefree_ans_lit_nodeget_formula_boxfree_formula_boxget_formulafree_formulaget_formula_ptrfree_formula_ptrget_cl_attributefree_cl_attributeget_link_nodefree_link_nodefree_imd_pos_listfree_is_pos_listprint_memprint_mem_brieftotal_memtotal_mem_callsprint_linked_ur_mem_stats-6=it�����������������
��16�<�E�N�in�t�}�������������������"'�.�7�CK�W�\ep����������
'4:?O�Y_dlt����������
 '���������������'-28>LY_dt�~��������#(8�BHMU]������������AGLRXfsy~������������K����������
				$	5	B	H	M	]	�g	m	r	z	�	�	�	�	�	�	�	�	�	�	�	��	�	�	


D
J
O
U
[
h
u
{
�
�
��
�
�
�
�
�
�
�
�
�
�
�
� &+3:jpu{���������������!',<�FLQY`msx~������������


!
'
5
B
H
M
]
�g
m
r
z
�
�

$17<L�V\aip��������������	4:?EKYflq����������������#(07aglrx��������������"(-=�GMRZa��������������������������'msx~�������������
$17<L�V\aiq����������������������$:G`fkqx~����������
�38�>CJnv|�����������=H�NSZz������������
CN�TY`������������+1U`�fkr������������$*/;Aep�v{������������"*05AGkv�|�����������
08>COUy�������������
3;AFRX|�������������
9AGLX^������������  � $ + O W ] b n t � � �� � � � � � � � � !#!�)!.!5!O!W!]!b!n!t!�!�!��!�!�!�!�!�!�!�!�!"("�."3":"`"h"n"s""�"�"�"��"�"�"�"�"�"�"#
#.#9#�?#D#K#p#x#~#�#�#�#�#�#��#�#�#�#�#$	$$$?$J$�P$U$\$v$~$�$�$�$�$�$�$��$�$�$�$�$%	%%%?%J%�u%z%�%�%�%�%�%��%�%��%�%�%&&&&+&1&U&`&�f&k&r&�&�&�&�&�&�&�&�&��&�&�&'' '%'1'7'['f'�l'q'x'�'�'�'�'�'�'�'�'��'
(1(?(D(P(V(i(n(�t(y(�(�(�(�(��(�(�(�(�(�(��(�(�(�()
)�))$)*)=)B)�s}@}e}�}�}�}�})}�}�}�}�}�}P}�}�}	}H	}�	}�	}J
}�
}�
}}}=}x}�}�}�}}.}f}�}"
}T
}�
}}=}2}b}p}�}�}2}�}�}�}<}zSW���z���z���zz=AEzmquz���z���zzEIMzz~�z���z���zzGKOzp���z���z��z/37zaeiz���z���z��z+/3z^bfz���z���z��z/37z`dhz���z���z���z"&*zW[_z���z���z���z'+/zW[_z���z���z���z+/3zcgkz���z���z�z59=zjnrz���z���zzBFJzx|�z���z���z048z_cgz���z���z��  3 O p � � � � � !.!H!d!!�!�!�!�!" "="]"|"�"�"�"�"##8#N#e#}#�#�#�#�#$"$B$c$�$�$�$�$�$%-%G%b%~%�%�%�%�%&&7&R&n&�&�&�&�&�&
'('D'a'{'�'�'�'�'((/(H(c((�(�(�(�()))D)^)y)�)�)�)�)*+*L*j*�*�*�*�*�*+7+W+v+�+�+�y0y4HyL`ydxy|�y��y��y��y��y�y y$8y<PyThyl�y��y��y��y��y��y�y(y,@yDXy\pyt�y��y��y��y��y�yy0y4HyL`ydxy|�y��y��y��y��y�y y$8y<PyThyl�y��y��y��y��y��y�y(y,@yDXy\pyt�y��y��y��y�

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