ELFÐ4404 (444ÀÀôôô@@@@@D¬¬¬¨¨ /lib/ld-linux.so.2GNU ª"P,-:<jXL¬"T\Ê3l2w|>A"p¬-d¼g __gmon_start__libm.so.6_IO_stdin_usedlibc.so.6printfrandom__cxa_finalizefprintf__deregister_frame_infosscanfgettimeofdaystderrsrandomexit__libc_start_main__register_frame_infoGLIBC_2.1.3GLIBC_2.0)si Àii ̨T| ¤ UåìèõèèæÉÃÿ5tÿ%xÿ%|héàÿÿÿÿ%héÐÿÿÿÿ%héÀÿÿÿÿ%hé°ÿÿÿÿ%h é ÿÿÿÿ%h(éÿÿÿÿ%h0éÿÿÿÿ%h8épÿÿÿÿ%h@é`ÿÿÿÿ% hHéPÿÿÿÿ%¤hPé@ÿÿÿ1í^áäðPTRh0hôQVhxèkÿÿÿôöUåSPè[Ãr8
ÀtÿÐ]üÉÃöULåì
ÒuIH
Àtt&B£HÿH
Éuê¸L
Àtì h\èàþÿÿĸ£Lì]ÃvUåìì]öUå¸ì
ÀtìhXh\èkþÿÿÄì]ô&Uåìì]öUåì EøPEðPèþÿÿMôEðàÊÁàÁâ Ð È%ÿÿÿÉÃUåìhÿ5TèþÿÿXZh ÿ5TèþÿÿÇ$ÿÿÿÿèhþÿÿUåìèýýÿÿºèÑ÷ù1ÀúóÀÉÃöUåSS];]|èÿÿÿQÿuhÞE ÿ4è.þÿÿÄHtèwÿÿÿ]üÉÃöUåWVS¡ì¬
Àuÿ5tÿ5xÿ5|hâëöøuVÿ5tÿ5xhúèýÿÿÄ¿;=te1Ûë=èCýÿÿ÷=xr1Ò1À9Ú}Hðÿÿv;4uº@9Ø|ñ
ÒuÍ
Hðÿÿ4C¡p9Ã|º1Û9Ã}!1ööèëþÿÿ
Àt÷5HðÿÿC¡pÆ9Ã|ã
Òu91Û9Ã}#µHðÿÿìÿ4hCèãüÿÿÄ;p|äì hévúuKìÿµHðÿÿh»è«üÿÿÄ;p}lµHðÿÿöìÿ4hÞCèüÿÿÄ;p|äëFöúuOìSh1ÛècüÿÿÄ;p}$µHðÿÿöìÿ4hÞCè?üÿÿÄ;p|äì hè'üÿÿÄG;=tþÿÿ=uì h èüÿÿÄeô[^_]ÃöUåWVS»ì èEýÿÿ;]£|ÇEðÇöE EìÆ¸Á¿üó¦ÂÀ8Âuh|CSÿu ÿuèvýÿÿÄéºö¸Áuì¿üó¦ÂÀ8ÂuÇéUì¶è-u ¶Bèfu¶B
Àu ÇëdMì¶è-u¶Aèku ¶Aèfu¶A
ÀuÇë3v}ð%REðÿ4
P@hÞEðU ÿ4èûÿÿÄHtè\üÿÿC;]þþÿÿ}ðtèGüÿÿPÿ5|h%ÿ5Tè\úÿÿ_ÿ5|èàúÿÿè¯üÿÿeô[^1À_]ÃU¡`åSìøÿ»`tv¼'ëÿÐøÿuôX[]ÃUåìì]öUåSRè[Ã6vè×úÿÿ]üÉÃBad arguments Use: makecnf [-seed N] [-cnf] [-f] [-kf] clen nvars nclauses %dc seed= %d p cnf %d %d %d %d %d 0 %d %% 0 -seed-cnf-f-kf makewff: seed is %d lpxtÿÿÿÿÿÿÿÿ¬"2BRbr¢²Â) ô 0(hx ÀpXþÿÿo\ÿÿÿoðÿÿo>¢dôdô9<Hr»ó0Òý,V´Õ1V©Ã¢¢ cV$ï[Lby¢¢¢ØÆÇ¢Ú ñ!"#3%K&a1x23§4À5Ø6ñ8 9";B=X>n?@A±BÉCßDöE F$G;HTIiNÏQçRST9UUVmX
[^·eÍhçl q r5 uP vm y z¥ }½ Ö ñ & @ Ët F ¢Ò #VY 4u < Cú F S© Zç ^ÙlùtMynö4¢¢ Lb8¢wb¢¢ÉK¢¢L#Ôç5ÁLÂwÂÂÂ¢Âø×H8KgLUËZ^?awb¯\ûr¢¢5 7!899S:¢m dôinit.c/usr/src/build/85131-i386/BUILD/glibc-2.2.4/csu/gcc2_compiled.int:t(0,1)=r(0,1);-2147483648;2147483647;char:t(0,2)=r(0,2);0;127;long int:t(0,3)=r(0,3);-2147483648;2147483647;unsigned int:t(0,4)=r(0,4);0000000000000;0037777777777;long unsigned int:t(0,5)=r(0,5);0000000000000;0037777777777;long long int:t(0,6)=@s64;r(0,6);01000000000000000000000;0777777777777777777777;long long unsigned int:t(0,7)=@s64;r(0,7);0000000000000;01777777777777777777777;short int:t(0,8)=@s16;r(0,8);-32768;32767;short unsigned int:t(0,9)=@s16;r(0,9);0;65535;signed char:t(0,10)=@s8;r(0,10);-128;127;unsigned char:t(0,11)=@s8;r(0,11);0;255;float:t(0,12)=r(0,1);4;0;double:t(0,13)=r(0,1);8;0;long double:t(0,14)=r(0,1);12;0;complex int:t(0,15)=s8real:(0,1),0,32;imag:(0,1),32,32;;complex float:t(0,16)=r(0,16);8;0;complex double:t(0,17)=r(0,17);16;0;complex long double:t(0,18)=r(0,18);24;0;__builtin_va_list:t(0,19)=*(0,20)=(0,20)../include/libc-symbols.h/usr/src/build/85131-i386/BUILD/glibc-2.2.4/build-i386-linux/config.h../sysdeps/gnu/_G_config.h../sysdeps/unix/sysv/linux/bits/types.h../include/features.h../include/sys/cdefs.h../misc/sys/cdefs.h/usr/lib/gcc-lib/i386-redhat-linux/2.96/include/stddef.hsize_t:t(8,1)=(0,4)__u_char:t(4,1)=(0,11)__u_short:t(4,2)=(0,9)__u_int:t(4,3)=(0,4)__u_long:t(4,4)=(0,5)__u_quad_t:t(4,5)=(0,7)__quad_t:t(4,6)=(0,6)__int8_t:t(4,7)=(0,10)__uint8_t:t(4,8)=(0,11)__int16_t:t(4,9)=(0,8)__uint16_t:t(4,10)=(0,9)__int32_t:t(4,11)=(0,1)__uint32_t:t(4,12)=(0,4)__int64_t:t(4,13)=(0,6)__uint64_t:t(4,14)=(0,7)__qaddr_t:t(4,15)=(4,16)=*(4,6)__dev_t:t(4,17)=(4,5)__uid_t:t(4,18)=(4,3)__gid_t:t(4,19)=(4,3)__ino_t:t(4,20)=(4,4)__mode_t:t(4,21)=(4,3)__nlink_t:t(4,22)=(4,3)__off_t:t(4,23)=(0,3)__loff_t:t(4,24)=(4,6)__pid_t:t(4,25)=(0,1)__ssize_t:t(4,26)=(0,1)__rlim_t:t(4,27)=(4,4)__rlim64_t:t(4,28)=(4,5)__id_t:t(4,29)=(4,3)__fsid_t:t(4,30)=(4,31)=s8__val:(4,32)=ar(4,33)=r(4,33);0000000000000;0037777777777;;0;1;(0,1),0,64;;__daddr_t:t(4,34)=(0,1)__caddr_t:t(4,35)=(4,36)=*(0,2)__time_t:t(4,37)=(0,3)__useconds_t:t(4,38)=(0,4)__suseconds_t:t(4,39)=(0,3)__swblk_t:t(4,40)=(0,3)__clock_t:t(4,41)=(0,3)__clockid_t:t(4,42)=(0,1)__timer_t:t(4,43)=(0,1)__key_t:t(4,44)=(0,1)__ipc_pid_t:t(4,45)=(0,9)__blksize_t:t(4,46)=(0,3)__blkcnt_t:t(4,47)=(0,3)__blkcnt64_t:t(4,48)=(4,6)__fsblkcnt_t:t(4,49)=(4,4)__fsblkcnt64_t:t(4,50)=(4,5)__fsfilcnt_t:t(4,51)=(4,4)__fsfilcnt64_t:t(4,52)=(4,5)__ino64_t:t(4,53)=(4,5)__off64_t:t(4,54)=(4,24)__t_scalar_t:t(4,55)=(0,3)__t_uscalar_t:t(4,56)=(0,5)__intptr_t:t(4,57)=(0,1)__socklen_t:t(4,58)=(0,4)../linuxthreads/sysdeps/pthread/bits/pthreadtypes.h../sysdeps/unix/sysv/linux/bits/sched.h__sched_param:T(10,1)=s4__sched_priority:(0,1),0,32;;_pthread_fastlock:T(9,1)=s8__status:(0,3),0,32;__spinlock:(0,1),32,32;;_pthread_descr:t(9,2)=(9,3)=*(9,4)=xs_pthread_descr_struct:__pthread_attr_s:T(9,5)=s36__detachstate:(0,1),0,32;__schedpolicy:(0,1),32,32;__schedparam:(10,1),64,32;__inheritsched:(0,1),96,32;__scope:(0,1),128,32;__guardsize:(8,1),160,32;__stackaddr_set:(0,1),192,32;__stackaddr:(0,19),224,32;__stacksize:(8,1),256,32;;pthread_attr_t:t(9,6)=(9,5)pthread_cond_t:t(9,7)=(9,8)=s12__c_lock:(9,1),0,64;__c_waiting:(9,2),64,32;;pthread_condattr_t:t(9,9)=(9,10)=s4__dummy:(0,1),0,32;;pthread_key_t:t(9,11)=(0,4)pthread_mutex_t:t(9,12)=(9,13)=s24__m_reserved:(0,1),0,32;__m_count:(0,1),32,32;__m_owner:(9,2),64,32;__m_kind:(0,1),96,32;__m_lock:(9,1),128,64;;pthread_mutexattr_t:t(9,14)=(9,15)=s4__mutexkind:(0,1),0,32;;pthread_once_t:t(9,16)=(0,1)_pthread_rwlock_t:T(9,17)=s32__rw_lock:(9,1),0,64;__rw_readers:(0,1),64,32;__rw_writer:(9,2),96,32;__rw_read_waiting:(9,2),128,32;__rw_write_waiting:(9,2),160,32;__rw_kind:(0,1),192,32;__rw_pshared:(0,1),224,32;;pthread_rwlock_t:t(9,18)=(9,17)pthread_rwlockattr_t:t(9,19)=(9,20)=s8__lockkind:(0,1),0,32;__pshared:(0,1),32,32;;pthread_spinlock_t:t(9,21)=(0,1)pthread_barrier_t:t(9,22)=(9,23)=s20__ba_lock:(9,1),0,64;__ba_required:(0,1),64,32;__ba_present:(0,1),96,32;__ba_waiting:(9,2),128,32;;pthread_barrierattr_t:t(9,24)=(9,25)=s4__pshared:(0,1),0,32;;pthread_t:t(9,26)=(0,5)wchar_t:t(11,1)=(0,3)wint_t:t(11,2)=(0,4)../include/wchar.h../wcsmbs/wchar.h../sysdeps/unix/sysv/linux/i386/bits/wchar.h__mbstate_t:t(13,1)=(13,2)=s8__count:(0,1),0,32;__value:(13,3)=u4__wch:(11,2),0,32;__wchb:(13,4)=ar(4,33);0;3;(0,2),0,32;;,32,32;;_G_fpos_t:t(3,1)=(3,2)=s12__pos:(4,23),0,32;__state:(13,1),32,64;;_G_fpos64_t:t(3,3)=(3,4)=s16__pos:(4,54),0,64;__state:(13,1),64,64;;../include/gconv.h../iconv/gconv.h :T(17,1)=e__GCONV_OK:0,__GCONV_NOCONV:1,__GCONV_NODB:2,__GCONV_NOMEM:3,__GCONV_EMPTY_INPUT:4,__GCONV_FULL_OUTPUT:5,__GCONV_ILLEGAL_INPUT:6,__GCONV_INCOMPLETE_INPUT:7,__GCONV_ILLEGAL_DESCRIPTOR:8,__GCONV_INTERNAL_ERROR:9,; :T(17,2)=e__GCONV_IS_LAST:1,__GCONV_IGNORE_ERRORS:2,;__gconv_fct:t(17,3)=(17,4)=*(17,5)=f(0,1)__gconv_init_fct:t(17,6)=(17,7)=*(17,8)=f(0,1)__gconv_end_fct:t(17,9)=(17,10)=*(17,11)=f(0,20)__gconv_trans_fct:t(17,12)=(17,13)=*(17,14)=f(0,1)__gconv_trans_context_fct:t(17,15)=(17,16)=*(17,17)=f(0,1)__gconv_trans_query_fct:t(17,18)=(17,19)=*(17,20)=f(0,1)__gconv_trans_init_fct:t(17,21)=(17,22)=*(17,23)=f(0,1)__gconv_trans_end_fct:t(17,24)=(17,25)=*(17,26)=f(0,20)__gconv_trans_data:T(17,27)=s20__trans_fct:(17,12),0,32;__trans_context_fct:(17,15),32,32;__trans_end_fct:(17,24),64,32;__data:(0,19),96,32;__next:(17,28)=*(17,27),128,32;;__gconv_step:T(17,29)=s56__shlib_handle:(17,30)=*(17,31)=xs__gconv_loaded_object:,0,32;__modname:(17,32)=*(0,2),32,32;__counter:(0,1),64,32;__from_name:(4,36),96,32;__to_name:(4,36),128,32;__fct:(17,3),160,32;__init_fct:(17,6),192,32;__end_fct:(17,9),224,32;__min_needed_from:(0,1),256,32;__max_needed_from:(0,1),288,32;__min_needed_to:(0,1),320,32;__max_needed_to:(0,1),352,32;__stateful:(0,1),384,32;__data:(0,19),416,32;;__gconv_step_data:T(17,33)=s36__outbuf:(17,34)=*(0,11),0,32;__outbufend:(17,34),32,32;__flags:(0,1),64,32;__invocation_counter:(0,1),96,32;__internal_use:(0,1),128,32;__statep:(17,35)=*(13,1),160,32;__state:(13,1),192,64;__trans:(17,28),256,32;;__gconv_info:T(17,36)=s8__nsteps:(8,1),0,32;__steps:(17,37)=*(17,29),32,32;__data:(17,38)=ar(4,33);0;-1;(17,33),64,0;;__gconv_t:t(17,39)=(17,40)=*(17,36)_G_iconv_t:t(3,5)=(3,6)=u44__cd:(17,36),0,64;__combined:(3,7)=s44__cd:(17,36),0,64;__data:(17,33),64,288;;,0,352;;_G_int16_t:t(3,8)=(0,8)_G_int32_t:t(3,9)=(0,1)_G_uint16_t:t(3,10)=(0,9)_G_uint32_t:t(3,11)=(0,4)_IO_stdin_used:G(0,1)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.2 2.96-108.1)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.2 2.96-108.1)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.1 2.96-85)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.1 2.96-85)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.1 2.96-85)GCC: (GNU) 2.96 20000731 (Red Hat Linux 7.2 2.96-108.1)01.0101.0101.0101.0101.0101.01.symtab.strtab.shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.got.rel.bss.rel.plt.init.plt.text.fini.rodata.data.eh_frame.ctors.dtors.got.dynamic.sbss.bss.stab.stabstr.comment.noteôô# 1((P7xxð?hhÖGÿÿÿo>>Tþÿÿo\\0c l u X ~ôô ÀÐÐ`00 `` à @@£\\``´hh»pp<À¬¬¨ÉTT ÏTT 0ÔT ¤ Úøã{-MìÈ.x@/ò 5= ;ô(xh>\ ô Ð 0`@\`hp¬TTñÿ ô ô +ñÿ2ñÿ
=HAhOL[
q\
X
¤À
¯P½`2ñÿ ð Ëð ád¤ ¯\îlû\ñÿ 0 ñÿ Ð
P æ *¬3"TpY``,-s<j
ôtL¬"·TÉX6 ÑÐ ØxÞ|ãTñÿï4" ôxs ù\Ê4 @ &l280>Ð
/ F|>^"z¬-¢Tñÿ©p¿ñÿÄdÓ¼gæ@ó initfini.cgcc2_compiled.call_gmon_startinit.ccrtstuff.cp.0__DTOR_LIST__completed.1__do_global_dtors_aux__EH_FRAME_BEGIN__fini_dummyobject.2frame_dummyinit_dummyforce_to_data__CTOR_LIST____do_global_ctors_aux__CTOR_END____DTOR_END____FRAME_END__makewff.cargptrs.0generate_wff_DYNAMIC__register_frame_info@@GLIBC_2.0clen_fp_hwfprintf@@GLIBC_2.0random@@GLIBC_2.0_initnclauses__deregister_frame_info@@GLIBC_2.0stderr@@GLIBC_2.0scanone_startnvarsseed__bss_startflipmain__libc_start_main@@GLIBC_2.0helpdata_startprintf@@GLIBC_2.0_fininewseedgettimeofday@@GLIBC_2.0__cxa_finalize@@GLIBC_2.1.3styleexit@@GLIBC_2.0sscanf@@GLIBC_2.0_edata_GLOBAL_OFFSET_TABLE__end_IO_stdin_usedsrandom@@GLIBC_2.0__data_start__gmon_start__