Sindbad~EG File Manager

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

ELF�P4(U����E���E����E��}��~��E���E���ǀ�E��}�;~��8�<�@�D�H�L�P$�T�`+�d�X5�\�p?�t�xN�|��^����m����|������������������h��l�P��T������������������� ��$������	���0�4���8#�<��1����?���(M�,� Y�$��h���t��~�����0��4�@��D�`��d�x��|����(��,�X��\�������������+���8����D���hS�l��h��������������������������������������������������������%��.��p8�t��N���0]�4�n��X~�\�`��d������x��|�h��l�p��t���������������� ����/����=���HK�L��Z����s��������8��<�@��D������ ��$��������������(�,��� �$�H�L��*����5����H����]����l����|������������������������������������(�,�0�4�80�<�@=�D�HG�L�pQ�t�P_�T�Xm�\�`x�d�h��l�x��|��������������������������������������������4������d��A������d��K����������������W��������������Pb�T�����X�����\���� l�$�����(�����,����x��������@��D�����H�����L����0��4�����8�����<����`��d�����h�����l����p��t�����x�����|������������������������������������ ��$�(�,�p��t�x�|d���������d���������������������P��T�����X�����\�����������������������0�4�8�<����@2�D����H��L����PA�T�X�����\����`Q�d�h�l�e� �� ��s��������������������������d��������������������������������������������������������������������������������������������������0��4����8��<����@	�D����H��L����P
	�T����X��\���� 	�$�(�,����`.	�d�����h�����l����pB	�t�x��|�����T	������������_	������������t	�����?�������?���	��������������������	����������������	��������������������	����������������	������������� �	�$�����(�����,����0�	�4�8�<����@�	�D�H�L��U���8�E�D$�D$)�D$�$�	����E��E���E���������E�����t	�E�"
��E�'
�E�D$�E�$����E����D$�D$.
�E�$����E��U��U��E�VUUU�E�m�ыE���)‰U�E��E�U�)‰U�}�u�E�D$�$
����E��}���<����E�D$�D$�D$�$4
����E��E���E�����������E�D$�D$�D$�$7
����E������E������T$�D$�D$?
�E�$����E��E��E��E�VUUU�E�m�ыE���)‰U�E��E�U�)‰U�}�u�E�D$�$
����E��}�;�8����E�D$�$
�����U�����$�����U����E��;Etc�E���E��}t	�E�I
��E�M
�E��D$�E��D$�D$S
�E�$����U�E���E�D$�E�$�����U����E�����l�E���E��}�i�Y�U���l
���D$�D$�E�$����D$�D$�E�$����D$�D$�E�$����D$�D$�E�$����D$�D$�E�$����D$�D$�E�$����D$�D$�E�$����D$�D$)�E�$����D$�D$-�E�$����D$�D$/�E�$����D$�D$:�E�$����D$�D$1�E�$�����D$�D$,�E�$������D$�D$,�E�$������D$�D$(�E�$�����D$�D$&�E�$����D$�D$�E�$����i�D$�D$ �E�$����I�D$�D$�E�$����)�D$�D$�E�$����D$�D$:�E�$������D$�D$:�E�$����D$�D$ �E�$����D$�D$"�E�$����D$�D$%�E�$����D$�D$$�E�$����D$�D$>�E�$����D$�.�D$�E�$����D$�D$�E�$����D$�D$�E�$����D$0*�D$�E�$������D$�D$:�E�$����D$�D$ �E�$����D$�D$"�E�$����D$�D$%�E�$����D$�D$$�E�$����D$�D$>�E�$����D$ N�D$�E�$����D$�D$�E�$����D$�D$�E�$����D$0*�D$�E�$������D$�D$c�E�$�����D$�D$�E�$����D$�D$�E�$����p�D$�D$f�E�$����D$�����D$�E�$����8�D$�D$�E�$�����D$�D$V�E�$�����U����E����;EtM�E�����E�D$�T$�D$�E�$����E����E���E�D$�E�$�����U��]�U���(�E���t�E��@��u�E���@<uo�E�D$�D$�D$�$3����E�D$�E�$����E�D$�D$ �D$�$<����@��E�����E���@�$����E��E��E��)�E����D$�E�$�����t	�E���E��}���}�tȃ}��h�E�D$�D$�D$�$3����E�D$�E�$����E�D$�D$�D$�$]����@��D$t�E�$�����t*��D$�D$3�D$�$|�����D$��E�$�����t'��D$�D$-�D$�$�����z�D$��E�$�����t'��D$�D$/�D$�$�����<�D$*�E�$�����t%��D$�D$,�D$�$(
����E������E���;E���E�D$�D$	�D$�$U
����E�D$�E�$����}t%�E�D$�D$�D$�$_
����#�E�D$�D$�D$�$s
����E��E��2�U��E���}�eu�}t�E���E��E��E��E�E���U���8�E���t<�E��@��t0�E��@�@��u!�E���@<t�E��@��@<uo�E�D$�D$�D$�$3����E�D$�E�$����E�D$�D$!�D$�$�
����@��E������E���@�$����E��E��E��+�E�����D$�E�$�����t	�E���E�}�;�}�tɃ}����E�D$�D$�D$�$3����E�D$�E�$����E�D$�D$�D$�$�
����@��D$�
�E�$�����tJ��D$�D$<�D$�$�
�����D$�D$4�D$�$ ����E�������E��@��@�$����E�E�D$�E�$����E��}�uo�E�D$�D$�D$�$3����E�D$�E�$����E�D$�D$"�D$�$X����@��E�����-�E�����E�9��E�����E�9�}�E�D$�D$�D$�$3����E�D$�E�$����E�����E�����T$�D$�D$|�E�$����@��E������E�����E�9�u`�E�D$�D$	�D$�$U
����E�D$�E�$����E�D$�D$�D$�$�����E�E���E�U�����E�E܋E���U����<��um�D��ud�L��u[�T��uR�d��uI�\��u@�l��u7�L��u.�\��u%��D$�D$&�D$�$�����d��t7�|��u.�t��u%��D$�D$S�D$�$�����\��t\�|��uS�t��uJ��D$�D$3�D$�$8�����D$�D$ �D$�$l����d��u7�\��u.����t%��D$�D$K�D$�$��������t.�D��u%��D$�D$2�D$�$��������t.����t%��D$�D$0�D$�$�������t.���t%��D$�D$-�D$�$D�������t.����u%��D$�D$1�D$�$t�������u%��D$�D$4�D$�$�����t��u%��D$�D$5�D$�$��������u%��D$�D$3�D$�$����$��tf�����u���u	���tJ��D$�D$2�D$�$L�����D$�D$#�D$�$���������t^���t'��D$�D$8�D$�$�����.���t%��D$�D$8�D$�$�������t.���t%��D$�D$1�D$�$������t.���t%��D$�D$=�D$�$P�������t.����t%��D$�D$D�D$�$�����<��u�\��u	�l��t/�$���t%��D$�D$I�D$�$��������t.����t%��D$�D$L�D$�$$�����%$>$>:;II:;
:;I8
	:;
:;
:;I8
I
!I/:;
:;I
:;I8
:;:;
:;I:;.?:;'@4:;I
.?:;'@:;I
4:;I
.?:;'@:;I
.?:;'I@4:;I
4:;I?<4:;I?<��&GNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)otter/options.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��._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
��#next_lit�$#atom��#sign�Q#target�Q#
�
�termfarg�#occ/#fpa_id�#sym_num
�#varnum�#type~#bits~#*�Q
D��
�int_ptrJnext��#i��#
�clause(�parents��#�#prev_cl��#next_cl��#first_lit�$#id��#pick_weight��#attributes�g#type��# bits�~#"heat_level�Q##next_var��#$�list�first_cl��#last_cl��#name��#�
gcl_attribute�name�#u
m#nextg#$�i�d�sKt	�double�enamefK#valg�#jnamekK#vall�#minm�#maxm�#Hinit_options1i��t�print_options�1D,fp���i���pj���tYp_options�DYX	auto_change_flag�Y��fp���
���val���O	dependent_flags��Y�fp���
����	auto_change_parmfY��fpc��
d��vale���	dependent_parms��fp}��
~��m
change_flag���4fp���t���set���flag_name�K�l
���pfound���tchange_parm���!`fp���t���parm_name�K�dint_name�K�h
���lfound���pnew_val���`rc���tcheck_options*�!�&�stdout�stderr�i�
D�FlagshY��
D;Parmsny�'
D1Statst�Bell�Q@}�
otter/usr/include/usr/include/bitsoptions.cstdio.hlibio.htypes.htypes.hheader.hi�ռ�񕟠������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������	.i#u�K0�=8z.	�#u�g#3=8z.�4	.g�.g�D�".i"�������������Z�Z�Z�Z��Z�Z�Z��Z����������Z����������Z�Z��2��0�0�.g*".?.j$#!#��^uu/��8�#!#�g*g'g'g%�/#!g%#��g��.jE#!#��]uu/ג8��#!#�g%%��Kg#!#��&#!3��/#!#��.g
Q%�%�%%�%!%!%!%!%�%�%�%��%%��'�%!%!%!%%%!	%binary_reshyper_resneg_hyper_resur_respara_frompara_intopara_from_leftpara_from_rightpara_from_varspara_into_varspara_into_leftpara_into_rightpara_ones_rulepara_alldemod_infdemod_linearvery_verbosefor_sub_fpafor_subback_subfree_all_memno_faplno_fanlfactorprint_keptdemod_historyunit_deletionsort_literalsprint_givenprint_back_subcheck_aritysos_queueatom_wt_max_argsterm_wt_max_argsprint_lists_at_endorder_eqdynamic_demodback_demodprint_new_demodprint_back_demoddemod_out_inprocess_inputsimplify_folknuth_bendixprint_proofssymbol_elimlex_order_varsdynamic_demod_alldelete_identical_nested_skolempara_from_units_onlypara_into_units_onlyreally_delete_clauseslrpoprolog_style_variableslambdatypescasesinductionbignumssimplifysimplify_rulesolvetypesafesos_stackdynamic_demod_lex_depprog_synthesisancestor_subsumeinput_sos_firstlinked_ur_reslinked_ur_tracepara_skip_skolemindex_for_back_demodlinked_sub_unit_usablelinked_sub_unit_soslinked_unit_dellinked_target_alllinked_hyper_rescontrol_memoryorder_historydisplay_termsgeometric_rulegeometric_rewrite_beforegeometric_rewrite_afterpretty_printinput_sequentoutput_sequentecho_included_filesinteractive_givendetailed_historyorder_hyperpropositionalautoauto1auto2eq_units_both_waysbird_printbuild_proof_objectbuild_proof_object_2log_for_x_showformula_historykeep_hint_subsumerskeep_hint_equivalentsproof_weighthyper_symmetry_kludgegl_demoddp_int_domaindiscard_non_orientable_eqdiscard_xx_resolvabletptp_eqbellback_unit_deletionsplit_clausesplit_possplit_negsplit_nonhornsplit_min_maxsplit_atomsplit_popularsplit_when_givenunit_ressigint_interactur_lastliterals_weigh_onepick_diff_simpick_random_lightestpick_last_lightestpick_mid_lightestsos_argfor_sub_equivalents_onlyfpa_literalsfpa_termsdemod_limitmax_weightmax_givenmax_secondsneg_weightmax_keptmax_genmax_memmax_literalsreportmax_proofsstats_levelmax_ur_depthmax_ur_deduction_sizemax_distinct_varsmax_binding_depthpick_given_ratiochange_limit_afternew_max_weightgeo_given_ratiopretty_print_indentmin_bit_widthinterrupt_givenheatdynamic_heat_weightmax_answersdebug_firstdebug_lastfsub_hint_add_wtbsub_hint_add_wtequiv_hint_add_wtfsub_hint_wtbsub_hint_wtequiv_hint_wtverbose_demod_skipdynamic_demod_depthdynamic_demod_rhsage_factordistinct_vars_factornew_symbol_lex_positionwarn_memwarn_mem_max_weightsplit_secondssplit_givensplit_depthpick_diffpick_diff_rangemax_unifiers
--------------- options ---------------
set(clear(%s). 

assign(%s, %d). setclear   dependent: %s(%s).
�WWWWWWWWWWWWWWWWWW�WWWWWWWWWWWWWWWW�sWS
WWWWWWWWWWWWWWW.WWWW�WWWWWWWWWWWWWWWW�WWWWWWWWWWWWi|W�WWW�W�WW<   dependent: assign(%s, %d).
ERROR:  must have one simple argument.
 flag name not found.
lex_rpo
ERROR, flag `lex_rpo' has been changed to `lrpo'.
print_level
ERROR, flag `print_level' no longer exists.
new_functions
ERROR, flag `new_functions' no longer exists.

ERROR, flag `bird_print' no longer exists.
WARNING:  flag already set.
 flag already clear.
 must have two simple arguments.
 parameter name not found.
reduce_weight_limit
ERROR, parameter `reduce_weight_limit' has been changed to
the pair `change_limit_after' and `new_max_weight'.
 second argument must be integer.
 integer must be in range [%d,%d].
 already has that value.

WARNING: no inference rules are set.

WARNING: PARA_FROM is set, but PARA_FROM_LEFT and
PARA_FROM_RIGHT are both clear.

WARNING: PARA_INTO is set, but PARA_FROM_LEFT and
PARA_FROM_RIGHT are both clear.

WARNING: PARA_FROM, PARA_INTO rules are clear, but PARA_ONES_RULE is set.

WARNING: NO_FAPL is set, but HYPER_RES is clear.

WARNING: NO_FAPL and FOR_SUB_FPA are both set.

WARNING: NO_FAPL and BACK_SUB are both set.

WARNING: KNUTH_BENDIX is set and LRPO is clear.

WARNING: demod_limit=0; set it to -1 for no limit.

WARNING: max_literals=0; set it to -1 for no limit.

WARNING: max_proofs=0; set it to -1 for no limit.
WARNING: INTERACTIVE_GIVEN has highest precedence
         for picking given clause.

WARNING: SOS_STACK has priority over PICK_GIVEN_RATIO.

WARNING: SOS_QUEUE has priority over PICK_GIVEN_RATIO.

WARNING, SOS_QUEUE has priority over SOS_STACK.

WARNING, INPUT_SOS_FIRST ignored, because SOS_STACK is set.

WARNING, detailed paramod history is ignored when para_all is set.

WARNING, with splitting, max_seconds is checked against the wall clock.

WARNING, keep_hint_subsumers is ignored when keep_hint_equivalents is set.
����|�1A�B
1A�B
DA�B
YzA�B
��A�B
YfA�B
�A�B
�>A�B
�A�B
�!�A�B
tt1u12t24t4DuDEtEGtGYuYZtZ\t\�u��t��t�YuYZtZ\t\�u��t��t��u��t��t�utt�!u�!�!t�!�!t�!�&u��init_optionsHprint_options�p_options�auto_change_flag	dependent_flagsO	auto_change_parm�	dependent_parms�	change_flagm
change_parmcheck_options�&unsigned intindexcontainer_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.rel.rodata.rel.debug_frame.debug_loc.rel.debug_pubnames.rel.debug_aranges.debug_str.comment.note.GNU-stack4�&	lXh%�&+�&0�&�B�(�>	�uhRU4DN	<wb�8q^	DwP
nLj	�z�{M���N��	4{��O �	<{��O&��O:�PP��T�	\W�
1$41BIOW]DgnYz���Yf����>����������!�options.cinit_optionsFlagsParmsmax_split_depthprint_optionsfwritefputsfprintffputcp_optionsstdoutauto_change_flagdependent_flagsauto_change_parmdependent_parmschange_flagprint_termStatssn_to_strstr_identstderrBellchange_parmstr_intcheck_options:>MQWaekuy������������������)-3=AGQU[eioy}�������������������	#-17AEKUY_ims}��������������������	
!'15;EIOY]cmqw��������������������
!%+59?IMS]agqu{�������������������%)/9=CMQWaekuy������������������)-3=AGQU[eioy}�������������������	#-17AEKUY_ims}��������������������	
!'15;EIOY]cmqw��������������������	
			!	%	+	5	9	?	I	M	S	]	a	g	q	u	{	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	�	




%
)
/
9
=
C
M
Q
W
a
e
k
u

�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
)-3=GQU[eoy}����������������#-7AEKU_ims}����������������	




'
1
5
;
E
O
Y
]
c
m
w
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�

!%+5?IMS]gqu{����������������%/9=CMWaeku���������������)-3=GQU[eoy}����������������#-7AEKU_ims}������������������	
'QVs�������KPo������>KSet�������!<Wr�����/Jj����%E`�����"=Xs�����5Pk�����6Sgx����
 =BG!M!l"��#��� !$!,7#@$[`mx#�$����#�$����#�$3Z_q ������%gl~ ���!�!�"��#=BT rw|!�!��#�$���$�� " 'A F X  v { � !� !� � � � �  � !! !%!!+!!C!h!m!! �!�!�!�!�!�!�!�!�!""" "$;"@"E"N"W"`"${"�"�"�"�"�"$�"�"�"$�"�"�"�"�"#$ #%#*#3#<#$W#\#a#j#s#$�#�#�#�#�#$�#�#�#�#�#$�#$$$$*$/$4$=$$X$]$b$k$$�$�$�$�$�$�$�$$�$�$�$$�$�$�$	%%$-%2%9%B%$]%b%g%p%y%$�%�%�%�%�%$�%�%�%�%�%$&&&&&'&1&$L&Q&V&_&h&$�&�&x
E
j
�

/37
`dh
���
���
�
%	)	-	
@	
j	n	r	
�	
�	�	�	
�	


	

M

�
�
�

�

-15
�l
p
t
x
|
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
�
 $(,048<@DHLPTX\`dhlptx|��������������������������������	0	4H	L`	dx	|�	��	��	��	��	�

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