Sindbad~EG File Manager

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

ELF� 4(�L$���q�U��VSQ��L���E��C�D$��$����C�D$��$�������C�D$��$�����E؃}�tJ�����D$�E؉D$�D$�$����E؉D$�$!����$e�������E܃}�du!�����t����u�������E���E��E��E�����t����E��$@�����$�������tt�Eԋ@;E�|i�E�����E�E�H�U�J�D$�T$�E�D$�$l����U�J�M�I��؋5�T$�L$�E�D$�\$�D$��4$�������t�E�$����@��,��tM��D$�$�����Eԋ@�D$�$�����EԉD$�$�����$����Eԉ$�����EԉD$�$��������t�Eԉ$����Eԉ$�������~M����ẺЙ�}̉Ѕ�u3�����
�T$�D$�D$�$����������E܃}�duH�4�9�u#�D�E�E��E�D$�$0��������t�������Eԃ}�du�}�t���~����}�t
�}�d������}�duS�����t�����t����E�h�����D$�D$P�$����$x�����E܉EЃ}�jt7�}�j�}�it�2�}�kt�}�lt�$�E��"�E���E���E���E����Ћ
�E�D$�T$�D$��$����E�D$�$��������E܉$���U���(����E��D$�D$�$����D$<�D$H�$L����$m����E��>�EH;E�~	�E���E��E���E��U�T$�D$�$�����E��E�;E|��$�����}�t�E��D$�$������$������%$>$>:;II:;
:;I8
	:;
:;
:;I8
I
!I/:;
:;I
:;I8
:;!I/
:;I8
:;
:;I:;.?:;'I@:;I
4:;I
.?:;'@4:;I?<4:;I?
��GNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)otter/main.c/home/beeson/Otter-Lambdaunsigned charshort unsigned intlong unsigned intsigned charshort intintlong long intlong long unsigned int__quad_t;�__off_t�$long int__off64_t�NcharFILE.b��._flags�#_IO_read_ptrH#_IO_read_endH#_IO_read_baseH#_IO_write_baseH#_IO_write_ptrH#_IO_write_endH#_IO_buf_baseH#_IO_buf_endH# _IO_save_baseH#$_IO_backup_baseH#(_IO_save_endH#,_markers�#0_chain #4_fileno"�#8_flags2&�#<_old_offset(#@_cur_column,�#D_vtable_offset-�#F_shortbuf.#G_lock2#H_offset;0#L__pad1A�#T__pad2B�#X_modeD�#\_unused2F#`	_IO_lock_t�
�_IO_marker�_next��#_sbuf�#_pos��#�bN
A�,N
A3
}user_functionXYarityZ�#arg_types[}#result_type\�#T��
A�rel	lit
�
relargval#argof#narg#nocc#path{#clashable{#�
�literal
��#next_lit��#atom�#sign�N#target�N#
!
termfarg#occ�#fpa_id�#sym_num
�#varnum�#type{#bits{#�N
A�
Jterm_ptr,term-#
.J#�
�fpa_head@termsAJ#
B�#pathCP#V�fpa_indexD;FtableG�#��A��
int_ptrJ
��#i��#
pimd_tree^
_p#kids_p#atoms`J#laba�#typeb{#max_vnume�#�rkidss�termstJ
�is_treep
q�#uuv#labv�#typew{#
�
�clause(�parents��#�	#prev_cl��#next_cl��#first_lit��#id��#pick_weight��#attributes�]	#type��# bits�{#"heat_level�N##next_var��#$�	list�first_cl��#last_cl��#name�#�
]	cl_attribute�name�#u
�	#
]	#	�
�	clock�accum_sec�$#accum_usec�$#curr_sec�$#curr_usec�$#�	i�d�	sHt	double-
enamefH#valg�#t
jnamekH#vall�#minm�#maxm�#Pmain� argc�sargvPsgiv_cl��Lerrors��Pstatus��Tlevel��Xfirst_of_next_level��\strH�`xlog_fpV�d��new_limit{��hHV�print_banner� �Cargc���argv�P�i���ppid���tstdout�stderr�Usable/	Sos0	Demodulators1	Passive2	Hot3	Hints4	Mace_constraints5	Types6	Fpa_clash_pos_lits=c	Fpa_clash_neg_lits>c	Fpa_pos_litsBc	Fpa_neg_litsCc	Fpa_clash_termsGc	Fpa_alphasHc	Fpa_back_demodLc	Is_pos_litsP�Is_neg_litsQ�Demod_imdUpWeight_purge_genYJWeight_pick_givenZJWeight_terms[JWeight_purge_gen_index_�Weight_pick_given_index`�Weight_terms_indexa��

A�Flagsh~�-

A;Parmsn���
A	Internal_flagsp�$
A1Statst�+�
AcSubsume_countuXi	
A1ClocksyHCons_sym_num}�Nil_sym_num}�Ignore_sym_num}�Chr_sym_num}�Dots_sym_num}�
,
AcUser_functions��Null_output�VFloat_format�Overbeek_terms�Split_atoms�Bell�NMax_input_id��Overbeek_world��J ��
otter/usr/include/usr/include/bitsmain.ctypes.hstdio.hlibio.htypes.hheader.hforeign.hNvZ�g+/��g!Y�uuv���Z==�#;����KY"�K���#.[�g惃0�Y�K�X��g!Yu$(����w+1Y
�h�����;��gL�
%d input errors were found.%c

%d input errors were found.

=========== start of search ===========
Starting on level %d, last kept clause of level %d is %d.


%cStarting on level %d, last kept clause of level %d is %d.


given clause #%ld: (wt=%d) 
%c%ld clauses have been given.

reducing weight limit to %d.

%cSearch stopped because sos empty.


Search stopped because sos empty.max_givenmax_genmax_keptmax_seconds???
%cSearch stopped by %s option.


Search stopped by %s option.
July 20061.4----- Otter-lambda %s %s -----
August 20013.2----- Based on Otter %s %s-----
The command was " %s%s".  The process ID is %d.


����|�( D	FA�B
C��� �A�B
t
Q
t
t
 u !t!#t#�u��t
main\print_banner�Usable�SosDemodulatorsPassive3HotFHints[Mace_constraints{Types�Fpa_clash_pos_lits�Fpa_clash_neg_lits�Fpa_pos_lits�Fpa_neg_lits
Fpa_clash_terms+
Fpa_alphasE
Fpa_back_demodc
Is_pos_lits~
Is_neg_lits�
Demod_imd�
Weight_purge_gen�
Weight_pick_given�
Weight_termsWeight_purge_gen_index5Weight_pick_given_index\Weight_terms_index�Flags�Parms�Internal_flagsStats+Subsume_countXClocksnCons_sym_num�Nil_sym_num�Ignore_sym_num�Chr_sym_num�Dots_sym_num
User_functions(Null_outputCFloat_format_Overbeek_terms}Split_atoms�Bell�Max_input_id�Overbeek_world�unsigned intnextcontainer_IO_FILEGCC: (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-stack4�	x-�%,+,0,�B��>	1R�$N	 3^��jxXf	(3 w�o�?��	H3�1 �	P3�Q%�v:����@$�	�)��

 
 �,1@ ��F�KRZafq{ ���� ���������	�/AJY`m����������������	��&�1�@�L�X�b�s������ (�� ���  ���� �,�9 `"�H�T �a�p�|��main.cmainnon_portable_initprint_bannerinitread_all_inputStatsBellstderrfprintfprintfexitcheck_stopsplittingParmsalways_splitextract_given_clauseFlagsinit_log_for_x_showputsstdoutfflushnext_cl_numlog_for_x_showprint_clauseindex_lits_clashUsableappend_clpossible_given_splitinfer_and_processinteractpossible_splitreportcurrent_caseexit_with_possible_modelcleanupmy_process_idSosDemodulatorsPassiveHotHintsMace_constraintsTypesFpa_clash_pos_litsFpa_clash_neg_litsFpa_pos_litsFpa_neg_litsFpa_clash_termsFpa_alphasFpa_back_demodIs_pos_litsIs_neg_litsDemod_imdWeight_purge_genWeight_pick_givenWeight_termsWeight_purge_gen_indexWeight_pick_given_indexWeight_terms_indexInternal_flagsSubsume_countClocksCons_sym_numNil_sym_numIgnore_sym_numChr_sym_numDots_sym_numUser_functionsNull_outputFloat_formatOverbeek_termsSplit_atomsMax_input_idOverbeek_world):?PUen����������� �!	"#$  7%X]lu��� �&��� ������#'#
$()-*2A+L,Q[`u|����-���������.�	/-60?1MVbjqv"���������2'32:AFNV]bin����������"u
B
g
2
<
x
�

�

N	
�
�
�

26rvz
�)�45/6B7W8w9�:�;�<�=
>'
?A
@_
Az
B�
C�
D�
E�
FG1HXIzJ� ��KDLjM�N�O�P�Q�R$S?T[UyV�W��X�Y�	D	H

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