ELF4 V4 (!444p=p=p=pp$,=((( Qtd/lib/ld-linux.so.2GNU   .*:#3Up;9B:O^\aĸ P _Jv_RegisterClasses__gmon_start__libc.so.6atolmallocfprintfgettimeofdaysrandstderrexit_IO_stdin_used__libc_start_mainfreeGLIBC_2.0$ii hlptx|   UH45`%d%hh%lh%ph%th%xh %|h(%h0%h8p%h@`%hHP1^PTRhhQVh,oUS[ïIP4tЋ]ÐU=u-xtxҡxuÉUXt!t$Xz]U EEE 9E|EEEE؋UEE)‰UEUSEE;E |EEUE EE];ыEE EE EЋ];9EEUE EE];ыE EEE EЋ];9tPEE EUE EE];ыE EEE EЋ];9t EEEE[]USE EEE MEEE UE []UEE;E |#EE<u EEEEUEU9E|'EE U E EUED$D$$'U}ED$ ED$E D$$$ED$ ED$E D$$ED$ ED$E D$$ED$ ED$E D$$ ED$ ED$E D$$ED$ ED$E D$$%zED$ ED$E D$$3YED$ ED$E D$$A8U}E@D$ED$ ED$E D$$ME@D$ED$ ED$E D$$_E@D$ED$ ED$E D$$oE@D$ED$ ED$E D$$E@D$ED$ ED$E D$$TE@D$ED$ ED$E D$$+E@D$ED$ ED$E D$$E@D$ED$ ED$E D$$»UED$ ED$E@D$$AED$ ED$E@D$$ ED$ ED$E@D$$YED$ ED$E@D$$1ED$ ED$E@D$$% ED$ ED$E@D$$ED$ ED$E@D$$UEE8IED$E D$ EED$ED$$ѻiE E8t>ED$E ED$ EED$ED$$ѻEE8t>EED$E D$ EED$ED$$ѻE E8WEE8BEED$E ED$ EED$ED$$ѻXED$ E D$ED$$2E E8t,ED$ E ED$ED$$EE8t,EED$ E D$ED$$E E8tHEE8t7EED$ E ED$ED$$_UEE8E E8ED$E ED$E D$ EED$ED$$EE8EED$E ED$E D$ EED$ED$$EE8ED$E D$ EED$ED$$6EE8>EED$E D$ EED$ED$$E E8ED$E D$ E ED$ED$$EE8EED$E D$ E ED$ED$$C^ED$ E D$ED$$ EE8t,EED$ E D$ED$$U}RE E8t'E ED$E D$$*E D$$3EE8t'EED$ED$$*PED$$3;EE8t'EED$ED$$*ED$$3$8ED$ ED$ED$E $ ED$ ED$E D$E$ED$ E D$ED$E$}ED$ ED$E D$$ATE E8t,ED$ ED$E ED$$AEE8t,ED$ EED$E D$$AEE8t,EED$ ED$E D$$AE E8tHEE8t7ED$ EED$E ED$$ADE E8tHEE8t7EED$ ED$E ED$$AEE8tHEE8t7EED$ EED$E D$$AE E8tdEE8tSEE8tBEED$ EED$E ED$$AED$ ED$ED$E $ED$ ED$ED$E $ED$ E D$ED$E$`UED$E D$ ED$ED$$;ED$E D$ ED$ED$$eED$ E D$ED$$DED$ E D$ED$$#ED$ E D$ED$$ ED$ E D$ED$$ UED$E D$ ED$ED$$MED$E D$ ED$ED$$NED$ E D$ED$$3hED$ E D$ED$$3GED$ E D$ED$$A&ED$ E D$ED$$AU}ux}u%ED$ ED$ED$E $}u%ED$ ED$E D$E$ED$ ED$E D$E$p}u"ED$ ED$ED$E $zH}u"ED$ ED$E D$E$R ED$ ED$E D$E$0U}u $`ED$E D$$U$}u}t}t$ $ EE;E |DEE<uE@D$$EaE@D$$KKEUWVS,}(E $EEE;E |%EuE $EEE;E |EE;E |EEE ẺЋM̙9;UtPEE EE ẺЋM̙9;Ut*E EEE ẺЋM̙9;Ut#EME!EMEE2EEE;E |EEEE;E |EME<EE;EuEE;E |EMEEE UE<4 EME>EUE E EoE}uE$EE@EE;E |EME<uvEEE;E |fE UE< MԋE UEEЋ4 EMEU3Mԉ9E됍ESE$E$GEE؃,[^_]USDE $EU $EE D$ED$E$EE;E |/E܍EE܍EEEEEEE;E |E܍E<E܍EE EЉЋMЙ9ЍEًEE E] ]ЉЋ]Й;ЍE+ E E܍EE EЉЋ]Й;ЍE+ ȃE}uE܉EE;E~ E܉EEEEEE UEE  E}~[EE EEE EЉЋMЙ9UԋEԍE<uEEԍEE띋E;E vE$ E$ED[]UEEE;E |EEEE EЋM9ЍE<tEEE EE EЋM9ЍE<tEE EEE EЋM9ЍE<tE}uE/}uE !EE<uE EEEUS0EEEE}~"EMEEUE;uE}~?EM E<tEEPEE@EEM E<EE<urEE UE EEED$ED$ED$ ED$E D$E$EE;E~EEEEEEE0[]UWVSLE $EE $EE $EE $EE $EEE;E |E܍EEEE;E |E}~E܍ UE؍ U܉E؉EE UE؍4 EE E܍EE EĉЋMę9ыEE E܍E} }ĉЋ}ę?ЍE<EE E܍EE EĉЋMę9ЍEE EEE 9E|E܍EE܍4]$ 83E܍uE $EE 9E|(E܍ME؍E̍E^EE;E |]E E؋E 9E|>E}~"E}~E܍ UEԍ4< E؍UEЍ 7; E܍uE܍E E؉ E؍uE؍E E܉ E܍ME؍E؍ME܍E܍EE؍EEEEEE$EEE;E }EE 9E|E؍EEًUE܉E܍ED$ED$ED$ E D$ED$E$>E̍Ed}EE;E |fE E؋E 9E|ME܍ME؍<t&E܍ UE؉ E؍ UE܉ E맍E됋E$E$uE$jEE 9E|7E܍E$?E܍E$'E뽋E$E$ EEE;E|~E܍EE؋EEEԋE܃u$E؍MEԍE"E؍MEԍE)Ex}EE;E|fE܍EE؋EEEԋE؍MEԍ EԍME؍ E܃EE;E|$E܍EE؋EEEԋE؍MEԍEԍME؍E܃EE;E|fE܍EE؋EEEԋE؍MEԍ EԍME؍ E܃EE;E|3E܍EE؋EEEԋE؍MEԍEԍME؍E܃덃L[^_]U(ED$E$3EEEEEE E%EEUWVS|)ċE E}~}E$G$E $dEE $QEE $>E}~}x}}x}E$$tE$y}u EE $EED$ ED$D$R$U$EEU9E|E܍ ŰE܉ E֋E$EEB9E|qU+EP$d$]P$d$EhE}Ef fEm]mE؉D$E܉D$Ẻ$E|ED$Ẻ$[ED$ED$Ẻ$:}t }tE$EȋE$EEE;E|EE܍uP$d$h}Ef fEmmEEE;E|E܍4}ċE܍E̋EEЋM9E]ȋEEE̋EEЋM9ЍEȋU 1EE܍E̋]]Ћ];ЍE3 ȉ7ED}ED$ ED$ED$Eȉ$ED$ED$E$;EE;E|8EE܍E̋EEЋM9BD$ EEE̋]]ЋM9BD$E܍E̋]]ЋM9BD$E܍Eċ$PEZ}FED$ ED$ED$Eȉ$E@D$$K]ED$$EGED$$E1ED$ED$E$EE;E|ED$EE܍E̋]]ЋM9BD$ EEE̋]]ЋM9BD$E܍E̋]]ЋM9BD$E܍Eċ$/ESE$yO}EE$EED$ED$Ẻ$"EЋED$ ED$ED$Eȉ$EĉD$ ED$ED$Ẻ$D$EED$E$EE;E|ED$EE܍E̋]]ЋM9BD$ EEE̋]]ЋM9BD$E܍E̋]]ЋM9BD$E܍Eċ$0ESE$ [satisfiability] = 0,1,2 0 = unsatisfiable 1 = satisfiable with unique model 2 = satisfiable [n] > 2 the number of variables will be n if [satisfiability] = 1 or [satisfiability] = 2 3n if [satisfiability] = 0 [scheme] = 0,1,2 0 = no linearity hiding 1 = hiding using naive scheme 2 = hiding using covering (sat) / matching (unsat) scheme (see http://www.tcs.hut.fi/~mjj/benchmarks/ for details) optional seed -%d -%d -%d 0 -%d %d %d 0 %d -%d %d 0 %d %d -%d 0 -%d -%d %d 0 -%d %d -%d 0 %d -%d -%d 0 %d %d %d 0 -%d -%d -%d %d 0 -%d %d %d %d 0 %d -%d %d %d 0 %d %d -%d %d 0 -%d -%d %d %d 0 -%d %d -%d %d 0 %d -%d -%d %d 0 %d %d %d %d 0 -%d -%d %d %d 0 -%d %d %d 0 -%d -%d -%d -%d %d 0 -%d -%d -%d %d 0 -%d -%d %d 0 -%d -%d -%d 0 -%d -%d -%d -%d 0 -%d -%d %d -%d 0 c This instance is UNSATISFIABLE. p cnf %d %d c This instance is SATISFIABLE. c The unique satisfying truth assignment is: c A satisfying truth assignment is: c %d c -%d %s: seed is %d AT$  H \PhXo8oo&6FVfvGCC: (GNU) 3.3.5 (Debian 1:3.3.5-12)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-12)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-12)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-12)",!  "$ ̓!_IO_stdin_used../sysdeps/i386/elf/start.S/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/glibc-2.3.2/csuGNU AS 2.15q.<U0'"B3#T$0N%q"3(@)B*C+T,int-023E;u<400q)g00a+#'W~aq\0 a0aaaYaKqX5qJhp  0 3Ea Nb0 S Q <R$IT=N#S#T$y zV#8I#)T#z!h#8"I#z# &-`g 8;JH RR7 X7<?u#v#x#Vz# {#}#~##.$# b#$#(#,t#0#4#8 =$@#### #%#8I#8#  B  B %K RB@N $RO/ 5ARtXL RR7] a    d  $$ e5 ;GBjA#k#l*#m# n# Gd  I%#BR##= .,42#3=# M,5 / 4 Q5.789T:0ĸ5/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/crti.S/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/glibc-2.3.2/csuGNU AS 2.15(/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/crtn.S/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/glibc-2.3.2/csuGNU AS 2.15%% : ; I$ > $ >  : ;  : ; I8 I!I/  I : ;I  : ; : ; I  : ; ( ' II : ; &I'  < !I4: ; I?  %%S/ ../sysdeps/i386/elfstart.S.01:"VWYX  /usr/lib/gcc-lib/i486-linux/3.3.5/include../sysdeps/generic/bits../wcsmbs../sysdeps/gnu../iconvinit.cstddef.htypes.hwchar.h_G_config.hgconv.h[ /home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csucrti.S2,Wd",: ,Wdd,,-:[ /home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csucrtn.S:̓ _G_int32_t__time_t__GCONV_INCOMPLETE_INPUT__GCONV_OK__state__gconv_init_fct_G_iconv_t__rlim64_t__GCONV_ILLEGAL_DESCRIPTOR__gconv_infoshort unsigned intunsigned char__useconds_t__counter__fct__val__value__nsteps_G_int16_t__max_needed_from__gconv_btowc_fct__off_t__ssize_t__statepinit.c__fsfilcnt_t__steps__fsfilcnt64_t__blkcnt_t__gconv_loaded_object_G_fpos64_t__gconv_t__trans_end_fct__u_int__GCONV_ILLEGAL_INPUT__blksize_t__to_name__uint64_t__id_t__GCONV_EMPTY_INPUT__cd__ino_t__GCONV_NOCONV__invocation_counter__pid_t__u_short__count__quad_t__u_long__fsid_t__GCONV_FULL_OUTPUT__max_needed_to__timer_t__stateful__uint32_t__key_t__u_char__gconv_step__shlib_handle__min_needed_toshort int__dev_tlong long int__gconv_trans_data__outbuflong long unsigned int__uid_t__wchb__uint16_twint_tGNU C 3.3.5 (Debian 1:3.3.5-12)__u_quad_t__gconv_trans_end_fct__flags__outbufend__combined__gconv_trans_init_fct__init_fct__modname__trans_context_fct__trans_fct__rlim_t__wch__intptr_t__suseconds_t__ino64_twchar_t__GCONV_IS_LAST__blkcnt64_t__fsblkcnt64_t__mode_t__qaddr_t__pos__gconv_end_fct_IO_stdin_used__internal_use__GCONV_NODB__clock_t__gconv_step_data__gconv_trans_query_fct__socklen_t__int64_t__GCONV_NOMEM__off64_t__btowc_fct_G_fpos_t__int8_t/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/glibc-2.3.2/csu__daddr_t__fsblkcnt_t_G_uint32_t__nlink_t__swblk_t__GCONV_INTERNAL_ERROR__mbstate_t__gid_t__clockid_t__int32_t__gconv_trans_context_fct__next__GCONV_IGNORE_ERRORS__end_fct__trans__uint8_t__gconv_fct__from_name__min_needed_from__gconv_trans_fct__data__caddr_t_G_uint16_t__loff_t__int16_t.symtab.strtab.shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.dyn.rel.plt.init.text.fini.rodata.data.eh_frame.dynamic.ctors.dtors.jcr.got.bss.comment.debug_aranges.debug_pubnames.debug_info.debug_abbrev.debug_line.debug_str#(( 1HHP7 ?GoTo88 c XXl hhP upЃ{488 pp= ||==HH>PP>XX>\\>8>> ?x@%=@s J8Kc0KNUH[ R c;(H8Xh  Ѓ   p|HPX\ ValaaVaNVY itHPXxЄ  iLT|X` NVahD^ o*G  iZ F #ȆS p_ .t;P Kˇ XaF l }?& A I   e Í| ;M& \+? m4  ] pT $ ,n pޗM p 9+ 1j OG W:o^P \pĸp , /home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/config.habi-note.S/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/abi-tag.hinit.c/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/crti.S/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/defs.hinitfini.ccall_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST__p.0completed.1__do_global_dtors_auxframe_dummy__CTOR_END____DTOR_END____FRAME_END____JCR_END____do_global_ctors_aux/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/crtn.Srgen.cparityatol@@GLIBC_2.0print_truth_assignment_DYNAMICprint_clauses_matching_schemeprint_clause_covering_scheme_evenones_fp_hwfprintf@@GLIBC_2.0swap__fini_array_endprint_clause_naive_scheme__dso_handle__libc_csu_finiprint_clauseinverse_permutationperfect_matchingprint_clauses_covering_schemeprint_clauses_matching_scheme_evenprint_clauses_at_naive_scheme_end_initprint_clauses_matching_scheme_oddmalloc@@GLIBC_2.0print_clause_covering_scheme_oddstderr@@GLIBC_2.0multiple_edgesgreedy_set_coverprint_dimacs_header_startfind_circuit__fini_array_start__libc_csu_initprint_usage__bss_startmain__libc_start_main@@GLIBC_2.0__init_array_endinvertibledata_startprintf@@GLIBC_2.0_finicount_clauses_covering_schemenewseedgettimeofday@@GLIBC_2.0srand@@GLIBC_2.0exit@@GLIBC_2.0_edata__i686.get_pc_thunk.bx_GLOBAL_OFFSET_TABLE_free@@GLIBC_2.0_end__init_array_start_IO_stdin_used__data_start_Jv_RegisterClassesrand@@GLIBC_2.0__gmon_start__