ELF܄44 (444` ` ` ``<Xt tt((( Qtd/lib/ld-linux.so.2GNU   E$8ie@aF9T=wM4|hfpf  libm.so.6_Jv_RegisterClasses__gmon_start__libc.so.6putcharputsfprintfsscanfgettimeofdaystderrsrandomfwriteexit_IO_stdin_used__libc_start_mainGLIBC_2.0.ii DTX\`dhlp t x | UT_5L%P%Th%Xh%\h%`h%dh %hh(%lh0%ph8p%th@`%xhHP%|hP@%hX01^PTRh`hQVh_USQ[>tX[U=tvҡuÉUptt hpЃÐU EPEPEU %ÐU5jjh5j=jhjUIљ1ÉUWVS } ]u;]})PVhÊ4jHt e[^_le[^__АUWVS 1=B~#11@9t9Tu@9uủTC9|~fTt\ڍ[9 uBv h*G;=W=e[^_1ҋ ttZuȃRh j 1ۃThߊC;|cTh=~X3hF;5|555hNJTV h?e[^_S55h؊1ۃThC;|UWVS }7W5h5W^5~1e[^_EE$Ehuu uEE9E~@EU ޿t¿u%EE9E}PF9u :Ctm9u-:Cu#:Cu:CuU}%UBURPhSH* :CuUWVS [6)Eue[^_1Puu uG;}re[^_UÐUSR`t`ЋCuX[ÐUSP[î~X[Bad arguments %uc seed= %u p cnf %d %d %d 0 %d%% 0 -seed-cnf-f-kf makewff: seed is %u Use: makecnf [-seed N] [-cnf] [-f] [-kf] clen nvars nclauses .  H H`odooDt"2BRbr„҄lGCC: (GNU) 4.0.2 20051125 (Red Hat 4.0.2-8)GCC: (GNU) 4.0.2 20051125 (Red Hat 4.0.2-8)GCC: (GNU) 4.0.2 20051125 (Red Hat 4.0.2-8)GCC: (GNU) 4.0.2 20051125 (Red Hat 4.0.2-8)GCC: (GNU) 4.0.2 20051125 (Red Hat 4.0.2-8)GCC: (GNU) 4.0.2 20051125 (Red Hat 4.0.2-8).symtab.strtab.shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.dyn.rel.plt.init.text.fini.rodata.eh_frame.ctors.dtors.jcr.dynamic.got.got.plt.data.bss.comment#(( 1HHT7 ?GoDD Todd c l ` up  {܄  \\ `` hh pp tt DD HH <    - L(HDd   ܄  \`hptDH `*h8pET[$ qX }dl\ph   G T* t $`-:` J]eo ܄ `\ "  `8  )9; A/ I=a`u{4H`ff '`= call_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST__completed.4577p.4576__do_global_dtors_auxframe_dummy__CTOR_END____DTOR_END____FRAME_END____JCR_END____do_global_ctors_auxmakewff.cargptrs.2847scanoneugenerate_wff_DYNAMICclen_fp_hwfprintf@@GLIBC_2.0__fini_array_end__dso_handle__libc_csu_finiputchar@@GLIBC_2.0random@@GLIBC_2.0puts@@GLIBC_2.0_initnclausesstderr@@GLIBC_2.0_startnvarsseed__fini_array_start__libc_csu_init__bss_startflipmain__libc_start_main@@GLIBC_2.0__init_array_endhelpdata_startprintf@@GLIBC_2.0_fininewseedgettimeofday@@GLIBC_2.0__preinit_array_endstyleexit@@GLIBC_2.0sscanf@@GLIBC_2.0_edata_GLOBAL_OFFSET_TABLE__end__init_array_start_IO_stdin_usedsrandom@@GLIBC_2.0fwrite@@GLIBC_2.0__data_start_Jv_RegisterClasses__preinit_array_start__gmon_start__