MZ@ !L!This program cannot be run in DOS mode. $PEL >FC@ 8B@{ 0x.text̩``.data0@.rdata8 @@.bss`A.idatax0@/4h@/19P/35#`$/47  /61$*,/73t$/86,/970U@t}E%fEE ?fEm$@QÐUUWVST$u$1E5<@E]E]蔌D$@D$$o$@L$N1t,\$@L$<$Ny<$É1ߋpptыpxt֋wщ|t$D$$@%PX$ju\$ zr$4@|$t$@$ˊku\$ {s $d@|$t$豊܊H $葊hu\$ Px$@T$|$w袊p4$Wq0y4+C8S<ӉRP,$WV,$\$ V$D@ˆm@$" @( $$ 袈=P$$D@v!@$ֈ$v'UWVSPCg@@u $@{8$7}-}#}] @T$K $WO. 11҉ \$t$ $!O11ɉ1 ;} ~$ ;} / ;}   ;} B ;} ct ;QpU ' ;} B ;}  F; |1ɿ |$D$$MfM q4$@t$@T$Z D$(L$T$ 4$藅(@ , ~@|$t$H $p$Dt&U @Zt޿@U $@D$Մx<$资$ل$`@(̈́P$肄$@|$KV#8Ɯ|$4$8膎8$L$Z4$T$T|$8 $808$D$t$<$8Ǽ8$L$j<$8T$St$8Ǥ8Ƙ $<$D$4$T$m8$L$|$8ꀉ$蜒t$8h8\ $評<$D$蓕80T$ $yt$8$4|$8 $$zT$<$蕌L1l҉p~IH8\$l<$|$"ll9L1h8x~6d~$[s4$t|$$뻍&'U]X@1ɣH@ 8@(@@ÐUWVS1ۋ}G~?@ƋO C9HXO _ X[^_]@O _ X[^_]Ð&U1҉VuS~#@N0B9N@^@[^]@N@^@[^]Ð&UWVSEEx1tuM1U 9FU 9t19$@@!|$\$orExːt&O9M~NvΉDA9u]WS[^_]Ðv'UWVS ]u\U 1ɋ~DË5@9tA9~u9u [^_]à 1[^_]$@@|$t$q넍&'UWVS,]}1ۍFP$=@]~;@uC9^F},[^_]Í&C\$E$qE9^]묍UVSu}] uaڀUC\$ @$}S\$R$t%)PT$o[^]Í&)HL$o[^]ËCK@L L$$MCK@L L$h$@@jT$L$o/$@@jL$D$ot&U]] }}utF;@tD;@u}ˋ]]Ív;@uډރJ1E։V;Vt7tVz~]u}]T4$JL$$xV뵐&'U1҉WVS,ET$]EE܉$xM,} ۉM7؉9~@Lt&}<~E0U 2C9ы]];?JUt&]u}싓2]<tv}؋8uz}؋؋}܋2W;WMt]܋SBUu܋ F}9MMU9Z,[^_]Ét ]<~U E7H~_t&EE؋~ u7E;UbM<$rt$ vW$@ @T$D$dlMUWVS,}u }U1ɉL$U܉$?vU܋B;BUt2u܋FU@}BO}؅Mcu܋NuD<n&|AuFUtMS]EE0]M|M}<?ЋuЋЋ08U*}܋W;Wut U]܉S}܍BM؉GQ;QEt Uu؉VM؍z]y3E;UM܋YEu܋NuD<$@@ML$\$j}܋OdJL$]؉$rsu؋V8BD$M܉ $Us]܋SE؋U9P $uE B ]9S܋]؋Us)9|T~E؋H؍QHuu؉V,1[^_]Ã,[^_]$@P@I\$D$9i $@o@|$L$i댉$@D$r}܋GUWVS|] EUMEUM Eދ]M=@S;SM] t S]JUKM]U싁ÌMPHE؋E]UXE&utMs]ԋMԋtxU4B F]E^@M1ۋA@ƋEHt&C9HXɋ]u[ 1;=@E;}U v'}ЋEԋtủ<u싆<FH5F@^0@ɍ v:u1ҋF-@v'1ɋB~t&'}DA9Oct T}pM}\uXXG4~(ыXǃ9~\C9u\p< {BUD3B $@@jT$D$E2Gw$(@1@|$t$EG$@D$ES$@D$ET$@D$ES$(@1@\$D$EF$@D$EZTt&UMWEVSuEg@UE@xtMEX@e$y8x;u.@|E$8|[^_]Í&x;t%$@H@i|$t$EEtx2˃(,11pÐYHrY(D$$QEx<$AExEE@Dp9UT$uE؉t$ D$ $ExU9D$xE$$U؉|$T$}BxBHٞJ@Z@x]غG(O _ T$$N&q]MظD$ $hYNEh4$d<t&M } 9p„xUxxz);}l@txp@xG0]Bx4PʉdZxBxx}Mf fMm]m]S$ZxBxE]Ev z`]؋dd BC8dd4s _\X\\~t``sXBHB\˿VT~g<t?;si4?$$sTvC<$<4?;r|TsS x҃HLLäDC;C@DLst@D1HxAt$|$$E|$(@1@T$\$E@zC wuɋxJPOxQ_xGxm]muV$_xGx$]$Mm]mU;@=M؋ $ESx8D$@f@L$\$E?t$Et `$@D$EQMT$x1ۉ\$E<$ @Eع$L$lIlXxxŒPBÐ$ED$KP1ɋs~#xދ< A:9Nx4$E\$ @|Ex$Fxݟ<$\$x5@|UWVSE }E<$1?hMȋlŰpWUuЋtrEԋx]؋|VUUUEEY@M܋OȉM@)RA$Q]E]]EuEiSM;Sqt0SB1Ct$U<$T$<$EuU9VyUM2UE;BEx$@x@t$D$ =SM;SqZ&$BD$NS<v;Ct$@H@L$D$<~v$@;r<@$'<$@;V<p4$ <$,@;:<P$;$|@s;<X$;M]; @t ߯POQEW$p@܏\$\$$PL$t$}MEf fMm\$mHT$D$ @$@t$:;e;P$;\$ }UEf fUm\$mEm\$m<$@M;@E] @M]~$|@7::X$:<$1t$}1;=@Ĝ[^_]ËML$T$<$E]P;Pt]SBUB D$1t$<$<$1ۉ\$Ĝ1[^_]ËuqQb1D$U$$Du]V;Vt`t]SBUB늍BD$u4$1CMQ-$@@L$D$9JBD$u4$BMQ놐&U]@1ɣ@ @@p@Ð%1A%1A%1A%1AUWVSE ƅOƅNuuMCUNG++C DžPh4114C41ۈӉ؃ ǃxۃw@t ׍u}4EƅOE1K )ъCS]S3}DP XP |RqEփt||D|jSPWQrEփ1҄t|X.ƅNN}\BPtT PXEPE룍&ЋUЉ4x114@4Ѓ ƃx߉7x덃P uVE!!pPfOуXE]}@tYEI @VEs%E@tLB0 uVE$! @WEnP EPE 뽋p 0Qp^B PE ]SE |UWVSUe MRMEg@E,@Ep@XEP U0rz Z J$XB}|xMPE t&']}tt.EE tVE$ tV,pPlEMU1| PplEDuJ| RE1ɺ@Et( j @h@h@P xQEUE @]ÉUE @]ÉUE @]ÉUE @]^&'UE@PÍUE@PÍUS]@S]]v'UE@PÍUE@PÍUS]@Sj]]{v'USSUE 19tHQBP/*u؋]ÍU1]Ð&U1]Ð&USPUE 19tHQBP)u1؋]Ív'U1]Ð&UE @]ÉUE @]&'UE @]ÉUE @]ÉUE @]^&'UE @]ÉUE @]ÉUE @]&'UWVS u] 19t;SRFP(t$u0}v#e[^_]Ít&'Չ'QM;QVSWe[^_%]ÐUSMU]RERU RQEEEPE1҃uEЋ]Ð&UU;U%D]Ð&UWVS M}E 9ϋ]EMut.S}u}u}u UK e[^_]ᐍ&9EtNQSR'uEEte[^_]ÐUWVS E9Eum^ KtO|Gރus_t-EuSu(NCNue[^_]ÍvЈMt} tÀ}tU }MWQEP} WPR ~}t룉ˆM}tE uMVQEPu VQR 먐ˆMt } .}tE M}QWEPM Q;WR Q} e19ut}OQVR%u۸`UWVS U;U ]E}$tV19]t?MAPSRl%t%t]uwG e[^_1]Ðt&ԉ'19t*HQCP%tt]_븍&搐&UWVS u}E$19EteOQVR$tNtS] }Uuۉ:r]] ;] DB e[^_1]Í&'uE 9Et?F]SU RMQ]SWURM Q^SPe[^_%]Í'19utYUBPNQ$t?t}u~e'} NUB ?&뺐&UWVSLU$rEEĉUtprM 9MU19Ut\}GPJQa#tBtG] UuMۉN} ;} ÁDUB 1e[^_]ûuUċZ KD]CEE<vMQЈEEEEu؋]tt}Mu } U2}ȋWE PuVQ}WSM QESR]Ћu} ^ E]^}mM1ut}ȋůU9qUt]tMATt&'}?Mm}.}wv't,M9…%u"tEutEt&'EH }Mt ]CuuE}uE'U3U}~MuȋE̋}1AE}U]S uFEv'E0Mt&'Um}~EI}GXEP Jh b !A똉$]Ð@ $뒍v@ \$$ !A !AY !A3vUUBuÉT$$ UWVuS !A} taH$xkP$uu@E|$4$Uu$t,EEۃ1҃…t΃ [^_]à [^_] !AH$y !AP$t@ $끐Q=r -) ̋@U !A]HUASdT$U1ۉT$$ tIHx|Au Hy;0t$@@T$D$؋]$@ @D$L$뗍UVS`Í!ȃ$ ADJyꡐ@Eȡ@E̡@EС@Eԡ@Eء@Eܡ@E࡬@E@EE$u 1ҍe[^]É9؉uU]u}= !At]u}]Í&EAAAA@uEAAAAEAAAAE@EAAAAEAAAAE@EAAAAEAAAAE@EAAAAEġ@Eȡ@E̡@EС@E@E؉4$E$0NjE 0 @C$C`@C AC@@(@CC $@S,C(ft$P@1ɉt$L$*$+4$3'+É !AC!AC0!A]u}]U !Aft$@H@D$D$KÐU1uu]D$4$ct $H1A\$\$4$0$Ӑ%01A%1A%1A%1A%`1A%t1A%1A%1A%T1A%1A%\1A%L1A%,1A%X1A%(1A%h1A%P1A%d1A%41A%1A%l1A%p1A%|1A%<1A%1A%x1A%1A%1A%1A%1A%1A%1A%1A%1AU1S] C1ɺCC C,@C0@C!A81ACCxECH@CL@C(ECP@CTП@C$!AC@@C0@C @CD@$C|C4@C80@C<@C@`!A]81A^$1t҉Ӹ%H1A%41AUMVuS] Q9r[^]ÍU@8@ T$D$$8@Ð%@1AU]ÐU]ÐU]ÐU]Ð%D1A%1A%1A%1A%1AU(}E }]uEu]u}]Ðt&D$D$<$*E~ '9} ËEFA9M1]u}]ÐU]]MuC3ECCL$4$D$1$T$3ECC]u]ÐUD$E$zÐUWVS1ۋE }HE~;]s;u }0 9}E@;E |9u U˃[^_]9u U UWVSE EHEUu щUA9M}y}4vt ]}4C;] }0U1~ڋtDDv¿뻋]M}4u9uuz[^_]ËU]M}4]̐U @D$U ML$ E]T$$ÐUWVS,E} }E@U܋M@ }Ef fEm]muVE $E 9]Mm]m] &C49|&H9|9}$4D$U <$T$,[^_]É\$U܉<$D$T$ D$E܍ D$ )] u $t$,[^_]ÐU@D$U ML$ E]T$$ÐUWVSLE} }E@U@ }uf fum]mEP$EE :]Mm]mMM 3]uȉu̍t&'EE]ԋE~$}tDu؋UDv E]Ąu}Eȋ]؍U6I9M}huԋEEԋ]EE~돍vEItDuFvEUĄu9M|D$u܉t$ Eԉ<$D$zt$ D$U)U ] $\$YL[^_]D$U <$T$L[^_]ÐUMQD$T$$ÐU}}E ]u_9}5u@|sÉ_4t$ $ۉ…u'7]u}]É\[9}\[9|$X@a@HD$\$7빸놐US]M t,C~t&HuCtuCX[]É$䐐Uuu]] 9^| ]u]É\$4$F9},ʉ)ȍt&'tHu^]u]ÐUuu]] }}9^|]u}]Í\$4$TF9}+ щ)&'tJu^]u}]ÐU}}E ]u_9}5u@|sÉ_4t$ $ۉ…u'7]u}]É\[9}\[9|$@@HD$\$7빸놐US]M t,C~t&HuCtuC[[]É$䐐Uuu]] 9^| ]u]É\$4$F9},ʉ)ȍt&'tHu^]u]ÐU}}E ]u_9}5u@|sÉ_4t$ $1ۉ…u'7]u}]É\[9}\[9|$@@HD$\$7빸놐US]M t,C~t&HuCtuCX[]É$䐐U}}E ]u_9}5u@|sÉ_4t$ $1ۉ…u'7]u}]É\[9}\[9|$@@HD$\$7빸놐US]M t,C~t&HuCtuCX[]É$䐐U}}E ]u_9}4u@|sÉ_4[t$ $2ۉ…u(7]u}]Ív\[9}\[9|$@@HD$\$7븸놐UWVS }E EtGO11ۅF}Gt#t$G& [^_]ËغFT$ $9w먐U}}E ]u_9}.u7|jÉ_\$ $ۉ…u%7]u}]Í\[9}ƍ\[9|$@@HD$\$U7뻸돐US]M t,C~t&HuCtuCX[]É$T䐐U}}E ]u_9}5u@|sÉ_4t$ $ۉ…u'7]u}]É\[9}\[9|$@@HD$\$\7빸놐US]M t,C~t&HuCtuCX[]É$T䐐U}}E ]u_9}5u@|sÉ_4t$ $ۉ…u'7]u}]É\[9}\[9|$X@a@HD$\$\7빸놐US]M t,C~t&HuCtuCX[]É$T䐐Uuu]] }}9^|]u}]Í\$4$F9}+ щ)&'tJu^]u}]ÐUWVuS]uE$Eg@EE@E@@eU}uBA0A BnjAAMBR R(B0R@ZHP||ʉ~PhXXȃ\CCA\@@AhBBxYXt|$$E\tMSy\t@11|1EtY(MC1@@@@ @@ @@ @@ 1҉111@@$11ۉ1҉11҉11@@ 1@@@ ]@@@]@@@ ]E1@@ 1(,@@ @@@@@ @$@(@,@0@4@8@<@ݙhE؉}ƁXEX(@11@ ݙ(@@@EEEL$T$<$EE}4l4$hl…h1t;E1E~UËDA91҄t \Uu<d<$Eu`d`1t>U1҉E~UÍvDA91Ʉt TuMN<u\<$EX\Å6X1tJMɉE1Ƀ~"U DA91ۄt T]߉ t$<$ETEL$$;uL$4$E$Ĭ[^_]ÐEUpt}\$<$MT$ $kt$E$B\$}<$8UL$$t$E$\$}<$UL$$at$E$M\$}ǰ<$UL$¤$uD$Ƙ4$o|$]Ì$MT$选 $uD$h4$E\$\$}T$0<$uL$4$G]D$$0Ep<$xt$$1xm$X@a@Ct$\$E$X@a@Ct$|$"6$X@a@Ct$|$)@pc@            /proc/%d/statmrb%drestarts : %lld conflicts : %-12lld (%.0f /sec) decisions : %-12lld (%.0f /sec) propagations : %-12lld (%.0f /sec) conflict literals : %-12lld (%4.2f %% deleted) CPU time : %g s Memory used : %.2f MB $tI5*** INTERRUPTED ***Global.hsize == 0 || tmp != NULLٕAffffff?+?{Gz?.bcnfBCNFERROR! BCNF file in unsupported byte-order: %s -h--helpUSAGE: %s where the input may be either in plain/gzipped DIMACS format or in BCNF. Reading from standard input... Use '-h' or '--help' for help.ERROR! Could not open file: %s ERROR! Not a BCNF file: %s Main.Cbuf_sz <= CHUNK_LIMITUNSAT Trivial problemUNSATISFIABLEPARSE ERROR! Unexpected char: %c SATISFIABLE UNSATISFIABLE SAT - %s%s%d 0 wb#B ;0.++Solver.Cj < ws.size()decisionLevel() == 0?SolverTypes.h((uintp)c & 1) == 0Global.hsize == 0 || tmp != NULLlevel[x] > 0reason[var(analyze_stack.last())] != GClause_NULLreason[var(p)] != GClause_NULLnelems <= szHeap.hok(n)confl != GClause_NULLinHeap(n)@xD#B ;}Ô%IT0.++c[1] == false_litc.size() > 2size >= 0 IAٕA IAٕASolver.hexpr@xD#B ;root_level == decisionLevel()ok IAvar(p) < nVars()==================================[MINISAT]===================================| Conflicts | ORIGINAL | LEARNT | Progress || | Clauses Literals | Limit Clauses Literals Lit/Cl | |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% | conflict.size() > 0B?? d@d@d@ d@d@d@d@d@d@d@d@ d@d@@@-LIBGCCW32-EH-2-SJLJ-GTHR-CYGWIN/gcc/gcc-3.4.4/gcc-3.4.4-1/gcc/config/i386/w32-shared-ptr.cw32_sharedptr->size == sizeof(W32_EH_SHARED)GetAtomNameA (atom, s, sizeof(s)) != 0__w32_sharedptr_set (__w32_sharedptr) != 0@@@@@@(@@@@h@@@@@@@@@@@@@@@@@@N10__cxxabiv117__class_type_infoEN10__cxxabiv120__si_class_type_infoEN10__cxxabiv121__vmi_class_type_infoESt10bad_typeidSt13bad_exceptionSt8bad_castSt9exceptionSt9type_info@s@s@`s@ps@t@u@~@w@`u@@t@ t@`s@ps@t@u@ @x@u@@Pt@`t@`s@ps@t@u@@y@v@@r@r@@@@Ѓ@@@`r@r@@@@@@@r@ r@`s@ps@s@s@T0,5(10L511h51122 2,2<2D2P2d222222222222233303D3\3t333333333444(444@4L4X4d4p44122 2,2<2D2P2d222222222222233303D3\3t333333333444(444@4L4X4d4p44__assert-__getreent/__main_fopen64>_impure_ptruabortcalloccygwin_internaldll_crt0__FP11per_process%exit2fclose?fflushYfprintf\fread]freeafscanfgetpagesizegetpidgetrusage5mallocImemset~powprintfpthread_atforkpthread_createpthread_getspecificpthread_key_createpthread_mutex_lockpthread_mutex_unlockpthread_oncepthread_setspecificputcharputsrealloc`signal~sprintfstrcmpstrlen_fopen64gzclosegzdopen%gzopen)gzreadAddAtomAFindAtomAGetAtomNameAOGetModuleHandleA00000000000000000000000000000000000000cygwin1.dll0A0000cygz.dll(0(0(0(0KERNEL32.dllP@@N@N`@N@N@N`@N`@@N@P@@~P@m`@v|P)@W:NNNm@@@@m@@~@@@@@P@ @/ @!@s@Т@/`@@e`@L|nYprintStats[vec::clear[vec::clear\vec::clear\vec::clear]vec::clear]vec::clear^vec >::clear^vec::clearV_vec::grow_vec::grow`vec::growTo`vec::growTonaSolver::Solverlmain|solverZ|GSolver::claRescaleActivityHSolver::varRescaleActivity IremoveWatchLSolver::simplifyMSolver::progressEstimateOSolver::removeRvec::clearSvec::clearSvec::clearTvec::growTSolver::enqueueXSolver::analyzeFinal[Solver::analyze_removable_vec::growTo_Solver::analyzeZkvec::growkvec::growToXlvec::growlSolver::propagaterSolver::simplifyDBxvec::growxSolver::cancelUntil|Solver::assume}vec::growToq}vec >::grow ~vec::grow~vec::grow5Solver::newVar@vec::growփselectionSortsortsort0sorṫSolver::reduceDB.selectionSort >Msort >jsort >sortUnique >sortUnique >sortUniquelSolver::newClauseSolver::search8Solver::solve|GNU C++ 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125)Main.C/home/Niklas Een/tmp/MiniSat_v1.14intsize_tՐchar_LOCK_Tlong int_off64_tlong long int_ssize_t{wint_tbw__count{# ~ __wch __wchb! X8  o$_1  $_1 __value"# 8  $_0  $_0 unsigned char "_flock_t%__ULong Flong unsigned int )_next *#_k +{#_maxwds +{#_sign +{# _wds +{#_x ,#8_ZN7_BigintaSERKS_/  5   5 [/7[;[U__tm$ 1__tm_sec 2{#__tm_min 3{#__tm_hour 4{#__tm_mday 5{# __tm_mon 6{#__tm_year 7{#__tm_wday 8{#__tm_yday 9{#__tm_isdst :{# +8_ZN4__tmaSERKS_U [ aD__tm [ a__tm [@@g@' C_fnargs D'#_dso_handle E'#_fntypes G7#_is_cxa J7#8_ZN13_on_exit_argsaSERKS_7 = C = C =7llIl  U_next V#_ind W{#_fns Y# Zl#8_ZN7_atexitaSERKS_        NNNO e_base f#_size g{#w8_ZN6__sbufaSERKS_  O  O _fpos_t o_fpos64_t sshort int  {' ' {-Q  {8f{ W| B( 6 _errno 7{# _stdin <S# _stdout <S# _stderr <S# _inc >{# _emergency ?=# _current_category A{#0 _current_locale B'#4 __sdidinit D{#8 __cleanup FX#< _result I#@ _result_k J{#D _p5s K#H _freelist L^#L _cvtlen O{#P _cvtbuf P#T! S" U _unused_rand V# _strtok_last W# _asctime_buf Xd# _localtime_buf Y@#$ _gamma_signgam Z{#H _rand_next [t#P _r48 \j#X _mblen_state ]#h _mbtowc_state ^#p _wctomb_state _#x _l64a_buf `# _signal_buf a# _getdate_err b{# _mbrlen_state c# _mbrtowc_state d# _mbsrtowcs_state e# _wcrtomb_state f# _wcsrtombs_state g# 8   $_3  $_3 #B h"l m _nextf o# _nmalloc p#x F 8  ] $_4  $_4 $_unused q 8   $_2  $_2  _new r#X%  u# _atexit0 vN# _sig_func y# __sglue ~# __sf *#[ 8_ZN6_reentaSERKS_:  @s B  @B l h _p ן#_r {#_w {#_flags # _file #_bf #_lbfsize {#_data ߃ #_cookie # _read #$_write 2#(_seek Q#,_close f#0_ub #4_up #<_ur {#@_ubuf l#D_nbuf |#G_lb #H_blksize {#P_flags2 {#T_offset #X_seek64 #`_lock '#dD8_ZN9__sFILE64aSERKS_  \       {l   __FILE  &M_glue  _next M# _niobs {# _iobs S#!8_ZN5_glueaSERKS_Y M _;_glue M __glue Me'  " _seed ## _mult $# _add %# 8_ZN7_rand48aSERKS_& , 2  , 2  ,short unsigned intjj8jM(X Mtlong long unsigned int   ( {$:Fsigned charuint dpid_t {FILE 2)stdint64+cchar2-&y tv_sec #tv_usec #8_ZN7timevalaSERKS_& , 2y , 2y ,8H 3ru_utime 4#ru_stime 5#ru_maxrss 6#ru_ixrss 7#ru_idrss 8#ru_isrss 9#ru_minflt :# ru_majflt ;#$ru_nswap <#(ru_inblock =#,ru_oublock >#0ru_msgsnd ?#4ru_msgrcv @#8ru_nsignals A#<ru_nvcsw B#@ru_nivcsw C#D8_ZN6rusageaSERKS_     ===I*S{#+( I {,< I,U I O-toInt_ZNK5lbool5toIntEv{ W._ZNK5lbooleqERKS_O W b._ZNK5lboolneERKS_O W b.I_ZNK5lboolcoEv W48_ZN5lboolaSERKS_h I b I bbool]]Var${Lit(/x){#0Lit+ 0Lit,  n O8_ZN3LitaSERKS_   Lit  yyyG/size_learntHZ#*I#,kL  O .X_ZNK6Clause4sizeEv{ .,Y_ZNK6Clause6learntEvO .Z_ZNK6ClauseixEiy  {.[_ZN6ClauseixEi   {.K\_ZNK6Clause8activityEv y8_ZN6ClauseaSERKS_    y1vec *#/sz{#/cap{#2$_ZN3vecI3LitE4initEiRKS0_  { 2S(_ZN3vecI3LitE4growEi  {0gvec 0vec  {0vec  { 0vec   {,3  {.`_ZN3vecI3LitE7releaseEv ->operator Lit*_ZN3vecI3LitEcvPS0_Ev -~operator const Lit*_ZNK3vecI3LitEcvPKS0_Ev ._ZNK3vecI3LitE4sizeEv{ 3_ZN3vecI3LitE6shrinkEi  {4pop_ZN3vecI3LitE3popEv 34_ZN3vecI3LitE6growToEi  {3n_ZN3vecI3LitE6growToEiRKS0_  { 3_ZN3vecI3LitE5clearEb  O3Y_ZN3vecI3LitE8capacityEi  {3_ZN3vecI3LitE4pushEv 3*_ZN3vecI3LitE4pushERKS0_  .X_ZNK3vecI3LitE4lastEv ._ZN3vecI3LitE4lastEv  ._ZNK3vecI3LitEixEi  {._ZN3vecI3LitEixEi   {.8_ZN3vecI3LitEaSERS1_  0/vec  3ch_ZNK3vecI3LitE6copyToERS1_  5_ZN3vecI3LitE6moveToERS1_  floatdoe*f#+og d -5isLitl_ZNK7GClause5isLitEvO j-fisNullm_ZNK7GClause6isNullEvO j-litn_ZNK7GClause3litEvy j-clauseo_ZNK7GClause6clauseEv j.p_ZNK7GClauseeqES_O j . q_ZNK7GClauseneES_O j O8_ZN7GClauseaSERKS_u d {o d {pp#vec *##/sz{#/cap{#2_ZN3vecIiE4initEiRKi ## { )#2(_ZN3vecIiE4growEi ## {02vec ##0Kvec ## {0ivec ## { )#0vec ## # {,3 ## {.`_ZN3vecIiE7releaseEv# ##- operator int*_ZN3vecIiEcvPiEv# ##-< operator const int*_ZNK3vecIiEcvPKiEv4# :#.g _ZNK3vecIiE4sizeEv{ :#3 _ZN3vecIiE6shrinkEi ## {4 pop_ZN3vecIiE3popEv ##3 _ZN3vecIiE6growToEi ## {3!_ZN3vecIiE6growToEiRKi ## { )#3G!_ZN3vecIiE5clearEb ## O3v!Y_ZN3vecIiE8capacityEi ## {3!_ZN3vecIiE4pushEv ##3!_ZN3vecIiE4pushERKi ## )#.!_ZNK3vecIiE4lastEv)# :#."_ZN3vecIiE4lastEvE# ##.K"_ZNK3vecIiEixEi)# :# {.w"_ZN3vecIiEixEiE# ## {."8_ZN3vecIiEaSERS0_K# ## K#0"vec ## K#3"h_ZNK3vecIiE6copyToERS0_ :# K#5_ZN3vecIiE6moveToERS0_ ## K#{/#{/#@#{ $(#-#operator() _ZN11VarOrder_ltclEiiO ( n n,#! ( (#8_ZN11VarOrder_ltaSERKS_( ( ( ( ((vec *(#/sz{#/cap{#2$_ZN3vecIdE4initEiRKd ( { (2$(_ZN3vecIdE4growEi ( {0$vec (0$vec ( {0$vec ( { (0%vec ( ( {,/%3 ( {.\%`_ZN3vecIdE7releaseEv( (-%operator double*_ZN3vecIdEcvPdEv( (-%operator const double*_ZNK3vecIdEcvPKdEv( (.%_ZNK3vecIdE4sizeEv{ (3(&_ZN3vecIdE6shrinkEi ( {4M&pop_ZN3vecIdE3popEv (3z&_ZN3vecIdE6growToEi ( {3&_ZN3vecIdE6growToEiRKd ( { (3&_ZN3vecIdE5clearEb ( O3 'Y_ZN3vecIdE8capacityEi ( {30'_ZN3vecIdE4pushEv (3]'_ZN3vecIdE4pushERKd ( (.'_ZNK3vecIdE4lastEv( (.'_ZN3vecIdE4lastEv) (.'_ZNK3vecIdEixEi( ( {. (_ZN3vecIdEixEi) ( {.:(8_ZN3vecIdEaSERS0_ ) ( )0S(vec ( )3(h_ZNK3vecIdE6copyToERS0_ ( )5_ZN3vecIdE6moveToERS0_ ( )(( $Q#Q#(Q#(double $((((( $,Heap comp"Q##heap##indices$#4)percolateUp'_ZN4HeapI11VarOrder_ltE11percolateUpEi , {4)percolateDown3_ZN4HeapI11VarOrder_ltE13percolateDownEi , {-(*ok@_ZN4HeapI11VarOrder_ltE2okEiO , {0B*HeapC , Q#4*setBoundsE_ZN4HeapI11VarOrder_ltE9setBoundsEi , {-*inHeapF_ZN4HeapI11VarOrder_ltE6inHeapEiO , {4+increaseG_ZN4HeapI11VarOrder_ltE8increaseEi , {-A+emptyH_ZN4HeapI11VarOrder_ltE5emptyEvO ,4~+insertJ_ZN4HeapI11VarOrder_ltE6insertEi , {-+getminP_ZN4HeapI11VarOrder_ltE6getminEv{ ,.+bZ_ZN4HeapI11VarOrder_ltE12heapPropertyEvO ,.?,b]_ZN4HeapI11VarOrder_ltE12heapPropertyEiO , {z,8_ZN4HeapI11VarOrder_ltEaSERS1_, , ,,Heap , ,~Heap , {))P.-0$/assigns%2#*&2#/heap')#/random_seed((#(,*--+ 3 2 (4W-newVar/_ZN8VarOrder6newVarEv 34-update0_ZN8VarOrder6updateEi 3 n4-undo1_ZN8VarOrder4undoEi 3 n--select2_ZN8VarOrder6selectEdn 3 (.8_ZN8VarOrderaSERS_ 3 3 34.- 3 3~VarOrder 3 {2vec *#/sz{#/cap{#2._ZN3vecIcE4initEiRKc 3 { 32.(_ZN3vecIcE4growEi 3 {0/vec 30/vec 3 {09/vec 3 { 30W/vec 3  {,q/3 3 {./`_ZN3vecIcE7releaseEv 3-/operator char*_ZN3vecIcEcvPcEv 3-0operator const char*_ZNK3vecIcEcvPKcEv' 3.90_ZNK3vecIcE4sizeEv{ 33f0_ZN3vecIcE6shrinkEi 3 {40pop_ZN3vecIcE3popEv 330_ZN3vecIcE6growToEi 3 {30_ZN3vecIcE6growToEiRKc 3 { 331_ZN3vecIcE5clearEb 3 O3H1Y_ZN3vecIcE8capacityEi 3 {3n1_ZN3vecIcE4pushEv 331_ZN3vecIcE4pushERKc 3 3.1_ZNK3vecIcE4lastEv3 3.1_ZN3vecIcE4lastEv"3 3.2_ZNK3vecIcEixEi3 3 {.I2_ZN3vecIcEixEi"3 3 {.x28_ZN3vecIcEaSERS0_(3 3 (302vec 3 (332h_ZNK3vecIcE6copyToERS0_ 3 (35_ZN3vecIcE6moveToERS0_ 3 (322P.(,,P.-2P.K4C@"starts##decisions##propagations##conflicts##clauses_literals$# learnts_literals$#(max_literals$#0tot_literals$#8,4C% K4648_ZN11SolverStatsaSERKS_Q4 K4 W4C K4 W4.3.3]4.35*V+(#clause_decay+(#random_var_freq+(#,4, 5 ( ( (58_ZN12SearchParamsaSERKS_ 5 5 &5 5 &5b4b4,5b4v:vec *v:#/sz{#/cap{#25_ZN3vecIP6ClauseE4initEiRKS1_ |: { :25(_ZN3vecIP6ClauseE4growEi |: {05vec |:06vec |: {0-6vec |: { :0K6vec |: v: {,e63 |: {.6`_ZN3vecIP6ClauseE7releaseEvv: |:-6operator Clause**_ZN3vecIP6ClauseEcvPS1_Evv: |:-!7operator Clause* const*_ZNK3vecIP6ClauseEcvPKS1_Ev: :.S7_ZNK3vecIP6ClauseE4sizeEv{ :37_ZN3vecIP6ClauseE6shrinkEi |: {47pop_ZN3vecIP6ClauseE3popEv |:37_ZN3vecIP6ClauseE6growToEi |: {3%8_ZN3vecIP6ClauseE6growToEiRKS1_ |: { :3X8_ZN3vecIP6ClauseE5clearEb |: O38Y_ZN3vecIP6ClauseE8capacityEi |: {38_ZN3vecIP6ClauseE4pushEv |:38_ZN3vecIP6ClauseE4pushERKS1_ |: :.#9_ZNK3vecIP6ClauseE4lastEv: :.T9_ZN3vecIP6ClauseE4lastEv: |:.9_ZNK3vecIP6ClauseEixEi: : {.9_ZN3vecIP6ClauseEixEi: |: {.98_ZN3vecIP6ClauseEaSERS2_: |: :0 :vec |: :3B:h_ZNK3vecIP6ClauseE6copyToERS2_ : :5_ZN3vecIP6ClauseE6moveToERS2_ |: :15:::1515S@vec > *E#/sz{#/cap{#22;_ZN3vecIS_I7GClauseEE4initEiRKS1_ E { E2i;(_ZN3vecIS_I7GClauseEE4growEi E {0};vec E0;vec E {0;vec E { E0;vec E E {,;3 E {.$<`_ZN3vecIS_I7GClauseEE7releaseEvE E-m<operator vec*_ZN3vecIS_I7GClauseEEcvPS1_EvE E-<operator const vec*_ZNK3vecIS_I7GClauseEEcvPKS1_EvE E.<_ZNK3vecIS_I7GClauseEE4sizeEv{ E3,=_ZN3vecIS_I7GClauseEE6shrinkEi E {4\=pop_ZN3vecIS_I7GClauseEE3popEv E3=_ZN3vecIS_I7GClauseEE6growToEi E {3=_ZN3vecIS_I7GClauseEE6growToEiRKS1_ E { E3 >_ZN3vecIS_I7GClauseEE5clearEb E O3G>Y_ZN3vecIS_I7GClauseEE8capacityEi E {3x>_ZN3vecIS_I7GClauseEE4pushEv E3>_ZN3vecIS_I7GClauseEE4pushERKS1_ E E.>_ZNK3vecIS_I7GClauseEE4lastEvE E.?_ZN3vecIS_I7GClauseEE4lastEvE E.U?_ZNK3vecIS_I7GClauseEEixEiE E {.?_ZN3vecIS_I7GClauseEEixEiE E {.?8_ZN3vecIS_I7GClauseEEaSERS2_E E E0?vec E E3@h_ZNK3vecIS_I7GClauseEE6copyToERS2_ E E5_ZN3vecIS_I7GClauseEE6moveToERS2_ E EEvec *d#/sz{#/cap{#2@_ZN3vecI7GClauseE4initEiRKS0_ E { {2A(_ZN3vecI7GClauseE4growEi E {0Avec E01Avec E {0OAvec E { {0mAvec E d {,A3 E {.A`_ZN3vecI7GClauseE7releaseEvd E-Aoperator GClause*_ZN3vecI7GClauseEcvPS0_Evd E-CBoperator const GClause*_ZNK3vecI7GClauseEcvPKS0_Evj E.uB_ZNK3vecI7GClauseE4sizeEv{ E3B_ZN3vecI7GClauseE6shrinkEi E {4Bpop_ZN3vecI7GClauseE3popEv E3 C_ZN3vecI7GClauseE6growToEi E {3GC_ZN3vecI7GClauseE6growToEiRKS0_ E { {3zC_ZN3vecI7GClauseE5clearEb E O3CY_ZN3vecI7GClauseE8capacityEi E {3C_ZN3vecI7GClauseE4pushEv E3D_ZN3vecI7GClauseE4pushERKS0_ E {.ED_ZNK3vecI7GClauseE4lastEv{ E.vD_ZN3vecI7GClauseE4lastEvu E.D_ZNK3vecI7GClauseEixEi{ E {.D_ZN3vecI7GClauseEixEiu E {.E8_ZN3vecI7GClauseEaSERS1_E E E0,Evec E E3dEh_ZNK3vecI7GClauseE6copyToERS1_ E E5_ZN3vecI7GClauseE6moveToERS1_ E ES@:ES@EE:S@:Jvec *I#/sz{#/cap{#2FF_ZN3vecI5lboolE4initEiRKS0_ J { b2wF(_ZN3vecI5lboolE4growEi J {0Fvec J0Fvec J {0Fvec J { b0Fvec J I {,F3 J {.,G`_ZN3vecI5lboolE7releaseEvI J-hGoperator lbool*_ZN3vecI5lboolEcvPS0_EvI J-Goperator const lbool*_ZNK3vecI5lboolEcvPKS0_EvW J.G_ZNK3vecI5lboolE4sizeEv{ J3H_ZN3vecI5lboolE6shrinkEi J {48Hpop_ZN3vecI5lboolE3popEv J3jH_ZN3vecI5lboolE6growToEi J {3H_ZN3vecI5lboolE6growToEiRKS0_ J { b3H_ZN3vecI5lboolE5clearEb J O3 IY_ZN3vecI5lboolE8capacityEi J {36I_ZN3vecI5lboolE4pushEv J3jI_ZN3vecI5lboolE4pushERKS0_ J b.I_ZNK3vecI5lboolE4lastEvb J.I_ZN3vecI5lboolE4lastEvh J.I_ZNK3vecI5lboolEixEib J {.,J_ZN3vecI5lboolEixEih J {.`J8_ZN3vecI5lboolEaSERS1_J J J0yJvec J J3Jh_ZNK3vecI5lboolE6copyToERS1_ J J5_ZN3vecI5lboolE6moveToERS1_ J JEJEEW1/ok5O#/clauses615#/learnts715#/n_bin_clauses8{#/cla_inc9(# /cla_decay:(#(*< $#0/var_inc=(#@*V>(#H/order?,#P/watchesA:#/assignsBP.#/trailC#/trail_limD#/reasonES@#/levelF#/root_levelG{#/qheadH{#/simpDB_assignsI{#/simpDB_propsJ#/analyze_seenNP.#/analyze_stackO#/analyze_toclearP#/propagate_tmpbinQ#/analyze_tmpbinR#/solve_tmpunitS#/addBinary_tmpT#/addTernary_tmpU#stats.3#default_paramsb4#expensive_ccminO#verbosity{#progress_estimate(#modelE#conflict#69NassumeY_ZN6Solver6assumeE3LitO W y7uNcancelUntilZ_ZN6Solver11cancelUntilEi W {7Nrecord[_ZN6Solver6recordERK3vecI3LitE W 7Oanalyze]_ZN6Solver7analyzeEP6ClauseR3vecI3LitERi W   E#6WOanalyze_removable^_ZN6Solver17analyze_removableE3LitjO W y Z7OanalyzeFinal__ZN6Solver12analyzeFinalEP6Clauseb W  O6Oenqueue`_ZN6Solver7enqueueE3Lit7GClauseO W y 6Ppropagatea_ZN6Solver9propagateEv W7OPreduceDBb_ZN6Solver8reduceDBEv W6PpickBranchLitc_ZN6Solver13pickBranchLitERK12SearchParamsy W &56Psearchd_ZN6Solver6searchEiiRK12SearchParams W { { &567QprogressEstimatee_ZN6Solver16progressEstimateEv( W7~QvarBumpActivityi_ZN6Solver15varBumpActivityE3Lit W y7QvarDecayActivitym_ZN6Solver16varDecayActivityEv W7RvarRescaleActivityn_ZN6Solver18varRescaleActivityEv W7ERclaDecayActivityo_ZN6Solver16claDecayActivityEv W7RclaRescaleActivityp_ZN6Solver18claRescaleActivityEv W7RnewClauset_ZN6Solver9newClauseERK3vecI3LitEb W  O7SclaBumpActivityu_ZN6Solver15claBumpActivityEP6Clause W 7[Sremovev_ZN6Solver6removeEP6Clauseb W  O6Slockedw_ZNK6Solver6lockedEPK6ClauseO W 6Ssimplifyx_ZNK6Solver8simplifyEP6ClauseO W 6TdecisionLevelz_ZNK6Solver13decisionLevelEv{ W,.T} W0LT~Solver W {.}TS_ZNK6Solver5valueEi W n.TS_ZNK6Solver5valueE3Lit W y-TnAssigns_ZN6Solver8nAssignsEv{ W-UnClauses_ZN6Solver8nClausesEv{ W-JUnLearnts_ZN6Solver8nLearntsEv{ W-yUnewVar_ZN6Solver6newVarEvn W-UnVars_ZN6Solver5nVarsEv{ W4UaddUnit_ZN6Solver7addUnitE3Lit W y4VaddBinary_ZN6Solver9addBinaryE3LitS0_ W y y4hVaddTernary_ZN6Solver10addTernaryE3LitS0_S0_ W y y y4VaddClause_ZN6Solver9addClauseERK3vecI3LitE W -Vokay_ZN6Solver4okayEvO W4WsimplifyDB_ZN6Solver10simplifyDBEv W-EWsolve_ZN6Solver5solveERK3vecI3LitEO W -rWsolve_ZN6Solver5solveEvO WW8_ZN6SolveraSERS_W W W W WJWJJvoidpgzFile*W8DY6 U/inVW#/bufWDY#/posX{#@*Y{#@7|XassureLookahead[_ZN12StreamBuffer15assureLookaheadEv WY,X6a WY W-Xoperator*d_ZN12StreamBufferdeEv{ WY4Xoperator++e_ZN12StreamBufferppEv WY/Y8_ZN12StreamBufferaSERKS_]Y WY cY6 WY cYWY9WWiYW:MZprintStats_Z10printStatsR11SolverStatsP@@U;statsMZ}<Z=cpu_time(`>mem_used?RZS@V@@0AgZ?sZ_@e@?Z_@e@BZV@XAZ}AZPAZWAZ}Q4CsZcpuTimeu(D>ruv=EmemUsedCZmemReadStat{{Ffield{{D>name|Z>pid}f>inZGS{ZsH[SIGINT_handler@@U;signum{Ix[!@ޯ@UJx[SKOQLd[@@=i{P?}[@¯@M[##N[xfreeKFptrK#I[n@N@UJ[SKOQL[@#@=i{P?[.@2@M \N\xfreeKFptrKIr\%8`@@UJr\SKOQL^\t@@=i{P?w\@@M\|:N\xfreeKFptrKv:I\&@ޮ@UJ\SKOQL\@@=i{P?\@®@M](N]xfreeKFptrK(Is]0@ޭ@UJs]SKOQL_]@@=i{P?x]@­@M]3N]xfreeKFptrKI]GC`@@UJ]SKOQL]t@@=i{P?]@@M ^EN^xfreeKFptrKdI^=`@@UJ^WKOs<[^p=i{VOt^^@@B^P?^ʬ@Ѭ@B^PEN^xfree >KFptrKEP^mAQ]Qo/#I0_H@>@UJ0_SKOQL_@@=i{P?5_@"@MJ_JNV_xfreeKFptrKII_@@UJx[W;min_cap{P?_ @/@B_RM_@A_VC_xreallocF#FptrF#RFD>tmpG#ID`$P@@UJ[W;min_cap{P?D`z@@B^`RMi`@Au`VC`xreallocFFptrFRFD>tmpGI`4@>@UJ[VK{S;pad`WS@.@=i{PI+aP@@UJ[VK{SS}@@=i{P?+a@@M5aP@aQ@aPiaTQiaD>dummyWTiEa`@ָ@UBOaOai@@B i~BiPM iOa;i@@BEiPOaPi@@BZiROa;iȰ@Ұ@BEiPObei@@Boi~MyiO5bi@@BiRONbi @%@BiPOnbi,@1@Bi~MiObi@@MiBiPObi@@BiPObj@@B jPObj@@B"jPObiDZ@ɱ@BiPO c-j@@B7jPO"ci@"@BiPO;cjP@S@B jPOTcja@c@B"jPOmcjy@{@B"jPOcj@@B"jPOcj@@B"jPOcBj@@BLjPOc\j@@BfjPBpj`ByjXBjP<dAZa?j(@-@BjPMjO/dj@@BjPOHdj³@ij@B"jPOej@@MjMj@UkOdk@\@B0k~@Ul@/@BHlPOg>lS@X@BHlPOgl]@w@B)lPOhkw@@BkPO/h]l@@BglPOh|l@@Ml?l@@MlOphl@Է@B)lP?lԷ@@B)lPOhl@@BlPOhl@@BlPOhl@0@BlPOhlE@_@B)lP?l_@m@B)lPP,i -Q,iFass+1iFact+6i32(PPi5Qr\Pei$Q\Pi(*QiFcCQ#,PiQx[Pi!Qx[Felemi)#Vioperator new\ F__p\Pji;Q^Pj.Qs]P-jSQ[PBjAQ]PWj3QWjK4Pj4QjFv,(Fc,(Fr,(5PjQ[R{FpadjPjwFQ0_VkClause_newRR,ROFpsRkD>memUCIkxmallocARAD>tmpBP~kMQ:R,LOFpsL~kD>iN{Pk~QkPkQkPkkQkPkQ[PlQ[Qo/#PlFQ0_Qo/#P>lQx[Qo/#P]lW/Qs]Qo/#P|l;Q^Qo/#Wl4.Q,iQo/#Wl,-QiQo/#Pl%Q\Qo/#PlK6Qr\Qo/#Xvmain{@)@U;argc{;argvÓv S@)@=SJ|=resZ<o=inW?v}@`@MvMv@AvOmv}@@MvMv?w@@M w?w@`@M=w@PAQw|Onj@@M"jOUniw@E@O*nw@@MwOAnw@@Mw?w!@<@MwOlnwE@`@MwOnwg@@MwOnw@@Mw?w@`@Onw@@MwOnw@@Mw?w@`@Mw?w @@M wOaow@K@MxMx@A(xA2x|A@xANxAYxAgx|O\qxL@D@MxOokL@a@BkPOoka@f@BkPOoki@u@BkPOolz@@B lPOok@@BkPO pk@@BkPO&p^@@B^PO?pl@@B)lPOXp>l @&@BHlPOqpl.@4@B)lPOpkS@_@BkPOp]lo@t@BglPOp|l@@Ml?l@@Ml?l@@B)lPOp>l@@BHlPOql@@BlPO-ql@@B)lPOFql@@BlP?l@@BlPOqyT@k@M y@Ay|?kT@k@BkP{'@%'@MH{Ogvz>(@l(@MzB{PO~v}[l(@(@M[?}[(@(@M[Nvparse_DIMACSFinput_streamWFSvD>inWWPv|XQvFiaWWYPw6XQvN_wparse_DIMACS_mainFin_wFSdwD>lits]YWNwskipWhitespacekFinkw]YPwXQvNwskipLinepFinpw]YPwXQvCxparse_BCNF"OFfilename"xFS"xD>in#Z>header&x>n_vars+{>buf-#>buf_sz.{>c/Yx>i1{D>n4{>p9#DG;{D>i>{WxPy.TQiaQo/#Yx>i{D>i{P#yEWQiaD>tmpPEy9Qr\Findex{PZy!7QZy:NyreadClauseFinyFSyFlitsyD>parsed_lit{>var{]YWCzparseIntw{FinwzD>valx{>negyO]YP.zyUQiaPCz0QCz3PizQ[FelemizPzQ@aFvar,nFsign,OCzxmallocA#RAD>tmpB#VztoLit2yFi2{D>p2yP{hVQiaFps{Z>{I-yFp-yD>q-yP`{Q`{Fothere{WbH{_GLOBAL__I__Z10printStatsR11SolverStats)@G)@UO{{)@)@M%|M;|O{nz+)@0)@MzMz?nz0)@5)@MzMz[N|__static_initialization_and_destruction_0F__initialize_p{F__priority{=l_True]X@\l_False]H@\l_Undef]8@=lit_Undef:(@=lit_Error;@]ClauseId_NULLC/#x^solverW@ GNU C++ 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125)Solver.C/home/Niklas Een/tmp/MiniSat_v1.14intsize_t Ւcharlong intlong long intunsigned charlong unsigned intshort intshort unsigned intlong long unsigned intsigned charuint dstd int64+  value}#   }   toInt_ZNK5lbool5toIntEv} *_ZNK5lbooleqERKS_  Y_ZNK5lboolneERKS_  _ZNK5lboolcoEvj _ZN5lboolaSERKS_    jbooljjVar$}}Lit( x)}#Lit+ }=Lit, }  h_ZN3LitaSERKS_ } Lit }  eG size_learntHJ#I#eL   X_ZNK6Clause4sizeEv} <Y_ZNK6Clause6learntEv iZ_ZNK6ClauseixEi  }[_ZN6ClauseixEi  }\_ZNK6Clause8activityEv  _ZN6ClauseaSERKS_&   , e  , "' vec }# sz}# cap}#_ZN3vecI3LitE4initEiRKS0_ 2  } _ZN3vecI3LitE4growEi 2  }vec 2 vec 2  }vec 2  } 5vec 2  } }O 2  }s_ZN3vecI3LitE7releaseEv} 2 operator Lit*_ZN3vecI3LitEcvPS0_Ev} 2 operator const Lit*_ZNK3vecI3LitEcvPKS0_Ev8  > %_ZNK3vecI3LitE4sizeEv} > UQ_ZN3vecI3LitE6shrinkEi 2  }}pop_ZN3vecI3LitE3popEv 2 _ZN3vecI3LitE6growToEi 2  }_ZN3vecI3LitE6growToEiRKS0_ 2  } __ZN3vecI3LitE5clearEb 2  H-_ZN3vecI3LitE8capacityEi 2  }q_ZN3vecI3LitE4pushEv 2 _ZN3vecI3LitE4pushERKS0_ 2  _ZNK3vecI3LitE4lastEv > _ZN3vecI3LitE4lastEv 2 . _ZNK3vecI3LitEixEi >  }] _ZN3vecI3LitEixEi 2  } _ZN3vecI3LitEaSERS1_D  2  D  vec 2  D  {_ZNK3vecI3LitE6copyToERS1_ >  D X_ZN3vecI3LitE6moveToERS1_ 2  D   float '"' Cef#  Cg   isLitl_ZNK7GClause5isLitEv  isNullm_ZNK7GClause6isNullEv  litn_ZNK7GClause3litEv ; clauseo_ZNK7GClause6clauseEv j p_ZNK7GClauseeqES_  J  q_ZNK7GClauseneES_  J  _ZN7GClauseaSERKS_   C  J  J J  vec # sz}# cap}#k _ZN3vecIiE4initEiRKi  }  _ZN3vecIiE4growEi  } vec  vec  } vec  }  vec   }   }G s_ZN3vecIiE7releaseEv z operator int*_ZN3vecIiEcvPiEv  operator const int*_ZNK3vecIiEcvPKiEv  _ZNK3vecIiE4sizeEv}  Q_ZN3vecIiE6shrinkEi  }2pop_ZN3vecIiE3popEv __ZN3vecIiE6growToEi  }_ZN3vecIiE6growToEiRKi  } __ZN3vecIiE5clearEb  -_ZN3vecIiE8capacityEi  }_ZN3vecIiE4pushEv B_ZN3vecIiE4pushERKi  m_ZNK3vecIiE4lastEv _ZN3vecIiE4lastEv _ZNK3vecIiEixEi  }_ZN3vecIiEixEi  }_ZN3vecIiEaSERS0_  8vec  i{_ZNK3vecIiE6copyToERS0_  X_ZN3vecIiE6moveToERS0_  } } } ~## _ZN11VarOrder_ltclEii 3  5! 3 (i_ZN11VarOrder_ltaSERKS_9 3 ? 3 ?#vec J# sz}# cap}#_ZN3vecIdE4initEiRKd Z } `_ZN3vecIdE4growEi Z }2vec ZKvec Z }ivec Z } `vec Z J } Z }s_ZN3vecIdE7releaseEvJ Zoperator double*_ZN3vecIdEcvPdEvJ ZBoperator const double*_ZNK3vecIdEcvPKdEvk qm_ZNK3vecIdE4sizeEv} qQ_ZN3vecIdE6shrinkEi Z }pop_ZN3vecIdE3popEv Z_ZN3vecIdE6growToEi Z }!_ZN3vecIdE6growToEiRKd Z } `M__ZN3vecIdE5clearEb Z |-_ZN3vecIdE8capacityEi Z }_ZN3vecIdE4pushEv Z_ZN3vecIdE4pushERKd Z `_ZNK3vecIdE4lastEv` q$_ZN3vecIdE4lastEvw ZQ_ZNK3vecIdEixEi` q }}_ZN3vecIdEixEiw Z }_ZN3vecIdEaSERS0_} Z }vec Z }{_ZNK3vecIdE6copyToERS0_ q }X_ZN3vecIdE6moveToERS0_ Z }(.~EPdouble~fPf.P~Heap comp"#heap# #indices$ #percolateUp'_ZN4HeapI11VarOrder_ltE11percolateUpEi  }apercolateDown3_ZN4HeapI11VarOrder_ltE13percolateDownEi  }ok@_ZN4HeapI11VarOrder_ltE2okEi  }HeapC  setBoundsE_ZN4HeapI11VarOrder_ltE9setBoundsEi  }8inHeapF_ZN4HeapI11VarOrder_ltE6inHeapEi  }yincreaseG_ZN4HeapI11VarOrder_ltE8increaseEi  }emptyH_ZN4HeapI11VarOrder_ltE5emptyEv insertJ_ZN4HeapI11VarOrder_ltE6insertEi  },getminP_ZN4HeapI11VarOrder_ltE6getminEv} l6Z_ZN4HeapI11VarOrder_ltE12heapPropertyEv 6]_ZN4HeapI11VarOrder_ltE12heapPropertyEi  }_ZN4HeapI11VarOrder_ltEaSERS1_#  # Heap  #~Heap  } 0$ assigns%a #&q # heap'# random_seed(P#(+ v  f (newVar/_ZN8VarOrder6newVarEv v update0_ZN8VarOrder6updateEi v  )undo1_ZN8VarOrder4undoEi v  _select2_ZN8VarOrder6selectEd v  P_ZN8VarOrderaSERS_|  v  | ! v  | ~VarOrder v  }a vec # sz}# cap}#4_ZN3vecIcE4initEiRKc  } `_ZN3vecIcE4growEi  }tvec vec  }vec  } vec  }  }s_ZN3vecIcE7releaseEv Doperator char*_ZN3vecIcEcvPcEv operator const char*_ZNK3vecIcEcvPKcEv _ZNK3vecIcE4sizeEv} Q_ZN3vecIcE6shrinkEi  }pop_ZN3vecIcE3popEv *_ZN3vecIcE6growToEi  }__ZN3vecIcE6growToEiRKc  } __ZN3vecIcE5clearEb  -_ZN3vecIcE8capacityEi  }_ZN3vecIcE4pushEv  _ZN3vecIcE4pushERKc  8_ZNK3vecIcE4lastEv  b_ZN3vecIcE4lastEv  _ZNK3vecIcEixEi   }_ZN3vecIcEixEi   }_ZN3vecIcEaSERS0_    vec  4 {_ZNK3vecIcE6copyToERS0_  X_ZN3vecIcE6moveToERS0_  f l ())l  !Q@"starts#]#decisions#]#propagations#]#conflicts#]#clauses_literals$]# learnts_literals$]#(max_literals$]#0tot_literals$]#8t!Q% !!_ZN11SolverStatsaSERKS_! ! !Q ! !  ! "*i+P#clause_decay+P#+P#6", " P P Pk"_ZN12SearchParamsaSERKS_" " " " "!!"!'vec '# sz}# cap}##_ZN3vecIP6ClauseE4initEiRKS1_ ' } 'H#_ZN3vecIP6ClauseE4growEi ' }\#vec 'u#vec ' }#vec ' } '#vec ' ' }# ' }#s_ZN3vecIP6ClauseE7releaseEv' '?$operator Clause**_ZN3vecIP6ClauseEcvPS1_Ev' '$operator Clause* const*_ZNK3vecIP6ClauseEcvPKS1_Ev' '$_ZNK3vecIP6ClauseE4sizeEv} '$Q_ZN3vecIP6ClauseE6shrinkEi ' }%pop_ZN3vecIP6ClauseE3popEv 'M%_ZN3vecIP6ClauseE6growToEi ' }%_ZN3vecIP6ClauseE6growToEiRKS1_ ' } '%__ZN3vecIP6ClauseE5clearEb ' %-_ZN3vecIP6ClauseE8capacityEi ' }!&_ZN3vecIP6ClauseE4pushEv 'W&_ZN3vecIP6ClauseE4pushERKS1_ ' '&_ZNK3vecIP6ClauseE4lastEv' '&_ZN3vecIP6ClauseE4lastEv( '&_ZNK3vecIP6ClauseEixEi' ' }!'_ZN3vecIP6ClauseEixEi( ' }W'_ZN3vecIP6ClauseEaSERS2_ ( ' (p'vec ' ('{_ZNK3vecIP6ClauseE6copyToERS2_ ' (X_ZN3vecIP6ClauseE6moveToERS2_ ' ("'''""-vec > 2# sz}# cap}#(_ZN3vecIS_I7GClauseEE4initEiRKS1_ 3 } 3(_ZN3vecIS_I7GClauseEE4growEi 3 }(vec 3(vec 3 })vec 3 } 38)vec 3 2 }R) 3 })s_ZN3vecIS_I7GClauseEE7releaseEv2 3)operator vec*_ZN3vecIS_I7GClauseEEcvPS1_Ev2 3$*operator const vec*_ZNK3vecIS_I7GClauseEEcvPKS1_Ev3 3Z*_ZNK3vecIS_I7GClauseEE4sizeEv} 3*Q_ZN3vecIS_I7GClauseEE6shrinkEi 3 }*pop_ZN3vecIS_I7GClauseEE3popEv 3*_ZN3vecIS_I7GClauseEE6growToEi 3 }<+_ZN3vecIS_I7GClauseEE6growToEiRKS1_ 3 } 3s+__ZN3vecIS_I7GClauseEE5clearEb 3 +-_ZN3vecIS_I7GClauseEE8capacityEi 3 }+_ZN3vecIS_I7GClauseEE4pushEv 3,_ZN3vecIS_I7GClauseEE4pushERKS1_ 3 3N,_ZNK3vecIS_I7GClauseEE4lastEv 3 3,_ZN3vecIS_I7GClauseEE4lastEv&3 3,_ZNK3vecIS_I7GClauseEEixEi 3 3 },_ZN3vecIS_I7GClauseEEixEi&3 3 },-_ZN3vecIS_I7GClauseEEaSERS2_,3 3 ,3E-vec 3 ,3-{_ZNK3vecIS_I7GClauseEE6copyToERS2_ 3 ,3X_ZN3vecIS_I7GClauseEE6moveToERS2_ 3 ,32vec  # sz}# cap}#7._ZN3vecI7GClauseE4initEiRKS0_ 2 } j._ZN3vecI7GClauseE4growEi 2 }~.vec 2.vec 2 }.vec 2 } .vec 2 }. 2 }!/s_ZN3vecI7GClauseE7releaseEv  2a/operator GClause*_ZN3vecI7GClauseEcvPS0_Ev  2/operator const GClause*_ZNK3vecI7GClauseEcvPKS0_Ev  3/_ZNK3vecI7GClauseE4sizeEv} 30Q_ZN3vecI7GClauseE6shrinkEi 2 };0pop_ZN3vecI7GClauseE3popEv 2o0_ZN3vecI7GClauseE6growToEi 2 }0_ZN3vecI7GClauseE6growToEiRKS0_ 2 } 0__ZN3vecI7GClauseE5clearEb 2 1-_ZN3vecI7GClauseE8capacityEi 2 }C1_ZN3vecI7GClauseE4pushEv 2y1_ZN3vecI7GClauseE4pushERKS0_ 2 1_ZNK3vecI7GClauseE4lastEv  31_ZN3vecI7GClauseE4lastEv  22_ZNK3vecI7GClauseEixEi  3 }C2_ZN3vecI7GClauseEixEi  2 }y2_ZN3vecI7GClauseEaSERS1_&3 2 &32vec 2 &32{_ZNK3vecI7GClauseE6copyToERS1_ 3 &3X_ZN3vecI7GClauseE6moveToERS1_ 2 &3-(3-3!3(-(G8vec # sz}# cap}#3_ZN3vecI5lboolE4initEiRKS0_ G8 } 3_ZN3vecI5lboolE4growEi G8 }3vec G8 4vec G8 }(4vec G8 } F4vec G8  }`4 G8 }4s_ZN3vecI5lboolE7releaseEv G84operator lbool*_ZN3vecI5lboolEcvPS0_Ev G85operator const lbool*_ZNK3vecI5lboolEcvPKS0_Ev M8B5_ZNK3vecI5lboolE4sizeEv} M8t5Q_ZN3vecI5lboolE6shrinkEi G8 }5pop_ZN3vecI5lboolE3popEv G85_ZN3vecI5lboolE6growToEi G8 } 6_ZN3vecI5lboolE6growToEiRKS0_ G8 } =6__ZN3vecI5lboolE5clearEb G8 q6-_ZN3vecI5lboolE8capacityEi G8 }6_ZN3vecI5lboolE4pushEv G86_ZN3vecI5lboolE4pushERKS0_ G8 7_ZNK3vecI5lboolE4lastEv M8/7_ZN3vecI5lboolE4lastEv G8a7_ZNK3vecI5lboolEixEi M8 }7_ZN3vecI5lboolEixEi G8 }7_ZN3vecI5lboolEaSERS1_X8 G8 X87vec G8 X88{_ZNK3vecI5lboolE6copyToERS1_ M8 X8X_ZN3vecI5lboolE6moveToERS1_ G8 X823S82323"E1 ok5# clauses6"# learnts7"# n_bin_clauses8}# cla_inc9P#  cla_decay:P#(<~#0 var_inc=P#@i>P#H order?)#P watchesA(# assignsB# trailC'# trail_limD # reasonE-# levelF # root_levelG}# qheadH}# simpDB_assignsI}# simpDB_propsJ]# analyze_seenN# analyze_stackO'# analyze_toclearP'# propagate_tmpbinQ# analyze_tmpbinR# solve_tmpunitS# addBinary_tmpT'# addTernary_tmpU'#stats #default_params!#expensive_ccmin#verbosity}#progress_estimateP#model23#conflict'##;assumeY_ZN6Solver6assumeE3Lit E $;cancelUntilZ_ZN6Solver11cancelUntilEi E }$<record[_ZN6Solver6recordERK3vecI3LitE E $h<analyze]_ZN6Solver7analyzeEP6ClauseR3vecI3LitERi E  D #<analyze_removable^_ZN6Solver17analyze_removableE3Litj E  J$=analyzeFinal__ZN6Solver12analyzeFinalEP6Clauseb E  #O=enqueue`_ZN6Solver7enqueueE3Lit7GClause E  J #=propagatea_ZN6Solver9propagateEv E$=reduceDBb_ZN6Solver8reduceDBEv E#>pickBranchLitc_ZN6Solver13pickBranchLitERK12SearchParams E "#X>searchd_ZN6Solver6searchEiiRK12SearchParamsj E } } "#>progressEstimatee_ZN6Solver16progressEstimateEvP E$>varBumpActivityi_ZN6Solver15varBumpActivityE3Lit E $%?varDecayActivitym_ZN6Solver16varDecayActivityEv E$j?varRescaleActivityn_ZN6Solver18varRescaleActivityEv E$?claDecayActivityo_ZN6Solver16claDecayActivityEv E$?claRescaleActivityp_ZN6Solver18claRescaleActivityEv E$8@newClauset_ZN6Solver9newClauseERK3vecI3LitEb E  $@claBumpActivityu_ZN6Solver15claBumpActivityEP6Clause E $@removev_ZN6Solver6removeEP6Clauseb E  #@lockedw_ZNK6Solver6lockedEPK6Clause $E #@Asimplifyx_ZNK6Solver8simplifyEP6Clause $E #AdecisionLevelz_ZNK6Solver13decisionLevelEv} $EA} EA~Solver E }Avalue_ZNK6Solver5valueEij $E Bvalue_ZNK6Solver5valueE3Litj $E NBnAssigns_ZN6Solver8nAssignsEv} EBnClauses_ZN6Solver8nClausesEv} EBnLearnts_ZN6Solver8nLearntsEv} EBnewVar_ZN6Solver6newVarEv ECnVars_ZN6Solver5nVarsEv} EECaddUnit_ZN6Solver7addUnitE3Lit E CaddBinary_ZN6Solver9addBinaryE3LitS0_ E  CaddTernary_ZN6Solver10addTernaryE3LitS0_S0_ E   DaddClause_ZN6Solver9addClauseERK3vecI3LitE E >Dokay_ZN6Solver4okayEv ErDsimplifyDB_ZN6Solver10simplifyDBEv EDsolve_ZN6Solver5solveERK3vecI3LitE E Dsolve_ZN6Solver5solveEv E E_ZN6SolveraSERS_/E E /E E /E^8*E^8^8%E]&E_ZN11reduceDB_ltclEP6ClauseS1_ E  E_ZN11reduceDB_ltaSERKS_E E E!E] E E] E5E5EE5EFLessThan_default\F_ZN16LessThan_defaultI3LitEclES0_S0_ F  F_ZN16LessThan_defaultI3LitEaSERKS1_F F F!F@ F F@ FEEFE'(G?((G)*i}+G,7G+G,QG,[G),vG),GE-BG(BG -gG&(gG.}'-G(BG-G$(G'/HFP)@)@U0FW1G2FS3GG^)@a)@,G3G-G)@)@,7G4lG)@)@,vG'JH%?((G)*i}+:H,TH,^H),yH),H-jHQ(jH.}Z-HB((G-H(H / IH)@*@U0HV1H(2 HR3HoH)@)@,yH4H)@)@,H4JH)@)@,TH,^H5IremoveWatch_Z11removeWatchR3vecI7GClauseES0_*@*@U6wsIp.J 7*@*@8j }V3II*@"*@, J3IJ(*@+*@,#J,-J4NX>P+@+@U?(GW1MX@progressPh@FP`1 N@i}S37NoHc+@l+@,yH4Hc+@l+@,H3NN+@+@,N4N+@+@,N,N4(L+@+@0=LP4GL+@+@,QL,[L4N+@+@,N,O-N*(K9otherN-NA([K9x-O(O.}AQ@+@+-@U?(GV6cS6just_dealloc3pOlG+@+@,vG3OQ,@,@,Q3OQ,@,@,Q,Q4Q,@,@,Q4Q,@,@,R=B R3OQ-,@7,@,Q38PQ7,@@,@,Q,Q4Q7,@:,@,Q4Q7,@:,@,R=B R3OPRU,@W,@, R3fPlG[,@],@,vG3}P+Rj,@r,@,AR3PlG,@,@,vG3PQ,@,@,Q,Q4Q,@,@,Q4Q,@,@,R=B R3PMR,@,@,^R3QhR,@,@,rR0|RQ3cQQ,@,@,Q,Q4Q,@,@,Q4Q,@,@,R=B R3zQMR,@,@,^R4hR,@,@,rR0|RQCQjJ 9cj-Q,(Q.}3CQ1}9p1CR-9p-);q--+R(BGDMRxfreeK9ptrKChRiJ 9pi-Re (R9dg ERNU?RSFQGR#8i}P4R.2,R2 DSxfreeK9ptrK}EaS0NU?\JSFQGMS#8i}P4aS.2,xSDSxfreeK9ptrK ES 6NU?SSFQGS#8i}P4S.2,SG8DTxfreeK9ptrKEWTU?RWF}P4WT*O0qTR,|T=2TVHTxreallocF}9ptrF}.F);tmpG}>^W=0-@1.@U?(GWIpIfromJ 3TNB-@E-@,N4KB-@E-@,K,K3RULJ-@Z-@,L4(LJ-@X-@,=L4GLJ-@T-@,QL,[L4gLP-@T-@,xL3UNb-@w-@,N4Kb-@q-@,K,K4(Lk-@q-@,=L4GLk-@m-@,QL,[L4gLk-@m-@,xL3V(L-@-@,=L4GL-@-@,QL,[L4gL-@-@,xL3CV^W-@-@,qW4{W-@-@,W,W4K-@-@, L3rVW-@-@,W,W4gL-@-@,xL3VN-@-@,N,O3V`K-@-@,jK4uK-@-@,K3VZ<q@.@z0@U?(GpJ q Kskip_firstqS1}X @seenvZl*start}}1XH@iw}S4lGz.@}.@,vGG Y.@.@*xx3XN.@.@,N,O3XgL.@.@,xL4W.@.@,W,W1Zh@i~}h=*x3]YgL/@/@,xL4Z/@/@,Z,Z3yYW/@ /@,W,W=*rJ 3Y^h<H0@3@U?(GpIpHJ#HJ1[@topK}l4J0@0@,#J,-J4 & - _(R-"_U(R-7_ (7J<__toLit29i2});p2-_%(R.9});i}E_}mU?RVF}S7-`8i}P4_T`,_-_ (_}A|i<3@b<@U?(Gl6_conflS6out_learnt|ih6out_btlevelid1`L J V8seeni`8pathC}\8pWL}X@i}R@j}4Q3@3@,Q3`i4@4@,i3aW14@94@,W0XP3a_=4@F4@,_1e;ci3NaK4@4@0KP,K3xa"_4@4@,,_47_4@4@,J_3aR4@4@, R3:bi4@65@,i,i3a-G4@4@,7G4lG4@4@,vG4F4@65@,G74@)5@2FS3 bG4@4@,G3$b-G5@5@,7G4lG5@5@,vG1le@j}P3gblG>5@@5@,vG=*q3bWm5@q5@,W,W4gLm5@q5@,xL3bN{5@5@,N,O3di5@6@,i,i3bJH5@5@,TH,^H3bcH5@5@,H75@5@2 HR3HcoH5@5@,yH4H5@5@,H4JH5@5@,TH,^H4i5@6@,i,i3cj5@6@,j,j3c(j5@ 6@,2j,((G9piNj>(j9x>v -#j(#j9nF}-Fja(#j9n@}-dj8(#j9nG}-j(#j9i'});x(}-j(j9x 9y 3-j$(j.}qHkmax6}9x6}9y6}-2k (^9copy2k);i}D -Uk; (7J9cpJ & Ek3@@@U?SWF}P4kj@@0kR,k=2kVHkxreallocF9ptrF.F);tmpGECl5@@@U?SVF}S7m@@8i}P4Cl@@,Ml-Xl(LEl7.@Q@U?\JWF}P4lک@@0lR,l=2lVHlxreallocF 9ptrF .F);tmpG >qO=p<@@@U?(GpOFoundWatch=@1=mM l3Tm^<@<@,^12o*p*wsq@i V@j `@end \3mZ<@<@,Z,Z3mQ<@<@,Q,Q3mr<@<@, r3nI<@<@, J3nr=@=@,!r1 o*c,r*false_lit*first*valj3mnlG=@=@,vG3n1r+=@.=@,Br,Kr3nKS=@t=@,K,K4L]=@t=@,L4(L]=@r=@,=L4GL]=@n=@,QL,[L4gL`=@c=@,xL4Q=@=@,Q4Ur=@=@,_r,ir7=@=@Bur1p(@k}Q3^olG=@=@,vG3oN>@>@,N4K>@>@,K,K4L>@>@,L4(L>@>@,=L4GL>@>@,QL,[L4gL>@>@,xL3 p(L:>@C>@,=L4GL=>@?>@,QL,[L4gL=>@?>@,xL3TprQ>@T>@,r,r4QQ>@T>@,Q,Q3pQW>@Z>@,Q4QW>@Z>@,R=@B R3pQf>@i>@,Q4W~>@>@,W0XP3p(L>@>@,=L4GL>@>@,QL,[L4gL>@>@,xL3.qMR?@ ?@,^R4hR?@ ?@,rR0|RP3Xq"_ ?@ ?@,,_47_ ?@ ?@,J_3zqQ??@B?@,R=XB R3q"_B?@D?@,,_47_B?@D?@,J_3q^J?@M?@,^3qQ?@?@,Q3qQ?@?@,Q4^?@?@,^&3-r!/(\J-,r (7J& CUr69p69q6-r/(\J.9});i}-rC1(\J.r >aw>D/@@D@U?(Gp3r`KA@ A@,jK4uKA@ A@,K3saw8A@FA@,kw4^8A@FA@,^GulA@`B@@i;}l7A@JB@*p<*ws=vw3psZA@A@,Z,Z3sQA@A@,Q,Q4QA@A@,Q4QA@A@,R7A@A@B RGtA@B@@j>}S3sIA@A@, J3 trA@A@,!r4F9ptrF.F);tmpGA{;ΠD@OG@U?(Gp6level} 3y`KD@D@,jK4uKD@D@,K1/{ 8c}l3,y^D@D@,^3HyND@D@,N,O=( ;x3ygLE@E@,xL4ZE@E@,Z,Z3yWE@E@,W,W3yE@,2j, >F29ptrF2.F);tmpG2Ea~@@U?jHWF}P4a~ @/@0~~R,~=X 2~VH~xreallocFJ9ptrFJ.F);tmpGJE~4@@U?WWF}P4~@8@0P,=p 2(VH5xreallocF9ptrF.F);tmpGABG@VK@U?(Gl= P}3G@G@0S3oHG@G@,yH4HG@G@0HW3WG@ H@,W0XP3H@(H@,3+H@.H@,3W7H@=H@,W0XP3-AH@XH@,3er^H@H@0rS,r4WsH@H@,W0XP3H@H@,ʂ,Ԃ4^WH@H@,qW3|H@H@0|S,|3ЀWH@H@,W0XP3H@I@0S,4WH@I@,W0XP3< I@I@,4 I@I@0*d04S3UH I@#I@0HP3z{WI@J@,{,{3HWI@ZI@0HP3(jZI@\I@,2j,F'9ptrF'.F);tmpG'QselectionSort&_Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0_@¢@UFK&'F&} 9lt&5E= 8i'}p8j'}S8best_i'}l8tmp(P4U@@,0P,3҄lG]@a@,vG4lGf@j@,vG-BE(IxIyER_l9_Z4sortIP6Clause11reduceDB_ltEvPT_iT0_RdP@@UFK9'WF9} 9lt95EF9_\7l@@8pivot>X;tmp?8i@}T8jA}Q3dl@@,4l@@= 2P3)@0@,,,4lG@@,vG3J8@J@,,,4lG@@,vGwHirand[}.[_.[}HdrandTP.T_);qV}R0lP_Z4sortIP6Clause11reduceDB_ltEvPT_iT0_ @O@UFKP'PFP}P9ltP5E7&@M@LQPxRlr_Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0_ @A@U6vrP9ltr5E3G)@,@,G4,@.@, (-̇#(gG>.=`K@M@U?(Gd1& @i}V@j}W@extra_limPh3=GtK@wK@,G3TGK@K@,G3pGGK@K@,QG,[G3lGK@K@,vG4GGK@K@,QG,[G3 wK@K@,w,w= Bw4wK@K@,w,w4gLK@K@,xL4wK@K@,w,w38lGHL@UL@,vG4GGHL@NL@,QG,[G3wZL@{L@,w,w=( Bw4wZL@hL@,w,w4gLZL@]L@,xL4wZL@]L@,w,w3-GL@L@,7G3ԉGGL@L@,QG,[G4lGL@L@,vG3GGL@L@,QG,[G4wL@L@,w0wS7L@L@BxQ!selectionSort >&_Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0_@@UFK&}WF&} 9lt&E1@ 8i'}S8j'}P8best_i'}p;tmp(4!@@,+,5,>-HF(H9x9yFRj9_Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd@@UFK9}WF9} 9lt9EF9_\=` ;pivot>;tmp?8i@}S8jA}P3*d@V@,4@V@=x 2P3K!@@,+,5,>4!@@,+,5,>RP_Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Т@@UFKP}PFP}P9ltPE7֢@@LQPxRX_Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0_`@@UFKX}WFXp9ltXE1 8iY}V8jY}QLZS4!@à@,+,5,>Rx_Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0_@U@U6vxS9ltxE11 Ly}tPz}3H^@@,^3l@ @,= 2V3ʎ/@@@,Ԏ4@@K@,,0PD -ʎO(R);ret}-5(RS__in_chrg-(R.K}.}QgsortUnique~_Z10sortUniqueI3LitEvR3vecIT_E`@x@U6v~gPD A?? M@[V@U?(G6ps_?F?1o 8qsB'X8psY3ƙxM@M@,Й3^M@M@,^3ِrM@ N@,r,r3QM@M@,Q,Q3wQM@M@,Q4QM@M@,R4ۙM@M@,,7M@M@B R3MRM@M@,^R3hRM@M@,rR0|R~4WM@M@,W0XP3Kr N@N@,r,r4Q N@N@,Q,Q4Q N@N@,Q4Q N@N@,R4ۙ N@N@,,G^N@"N@B R3uMR(N@*N@,^R3hR6N@@N@,rR0|R~3WLN@ZN@,W0XP3ʑ^yN@|N@,^1V 8iS}V8jS}W3kN@ O@0k,k7N@ O@2'kQ1i( 8iK}P41r@O@FO@,Br,Kr4Q@O@FO@,R7@O@FO@B R7YO@O@8iN}Q3KgO@wO@,K4KgO@wO@,K,K4(LgO@wO@,=L4GLgO@tO@,QL,[L4gLjO@lO@,xL3KO@O@0 LP4LO@O@,L4(LO@O@,=L4GLO@O@,QL,[L4gLO@O@,xL4ۙO@O@,,1@ 8cq~3A*P@P@,=h B)3ϓ;*P@pP@0U~= 2a~4n|P@P@0xS0~3^P@P@,^GP@P@2Q4-GP@P@,7G4lGP@P@,vG1e 8max_iu}~8maxv}V3NP@P@,N,O4gLP@P@0xLP4ۙP@P@,,1ٔ 8iw}S4^P@P@,^3 N.Q@2Q@,N,O4gL.Q@2Q@0xLP3&ۙIQ@RQ@,,3BifQ@iQ@,i,i3l-GmQ@oQ@,7G4lGmQ@oQ@,vG3FQ@Q@0GS1 2FQ4GQ@Q@,G3ٕ-GQ@Q@,7G4GGQ@Q@0QGV,[G4lGQ@Q@,vG3Q@.R@,4QQ@R@,Q3QĚ.R@jR@0Κ~,ؚ4WFR@XR@,W0XP4lGjR@pR@,vG3rR@R@,r,r3͖QR@R@,Q,Q4QR@R@,Q4QR@R@,R= B R3QR@R@,Q4WR@R@,W0XP3drR@R@,r,r4QR@R@,Q,Q4QR@R@,Q4QR@R@,R= B R3{QS@S@,Q4W,S@:S@,W0XP3ʎZS@qS@0ԎP31S@S@,3MRS@S@,^R4QS@S@,R4ۙS@S@,,1( B R4hRS@S@,rR0|RR3H^S@S@,^3NS@S@,N4KS@S@,K,K4(LS@S@,=L4GLS@S@,QL,[L4gLS@S@,xL3јZS@T@,Z,Z3KT@T@0 LP3?LT@%T@,L4(LT@!T@,=L4GLT@T@,QL,[L4gLT@T@,xL3n__%T@GT@,i_0s_73T@GT@B_3ĚrT@T@0Κ~,ؚ4WT@T@,W0XP4lGT@T@,vG-ۙ(R-(^.}<6Clause_newR.R9psR6);memUHnxmallocA.A);tmpB-('.L9psL);iN}TĚcheck9expr-!&(gG.'>>g`V@9^@U?(G~J+g} Jg}Kparamsg~1@ @conflictCl}~=X M rR=p @learnt_clausew'X@backtrack_levelx}3ěƙW@W@,Й3jW@W@0jR,j33X@QX@,3QX@WX@,3)ʎX@X@0ԎP1( *next3VGX@Y@,G3Y@)Y@0~0'P4Y@Y@,= 2P3ǜSY@Y@0]Q4uKY@Y@0KR1f BE3#hZ@Z@,r= 2}~36Z@=Z@,4FZ@Z@0S0W1>( 2~1՝H Bš3cաpZ@tZ@,3jZ@Z@,j0jR,j3NZ@Z@,N,O4jZ@Z@0jP,j4NZ@Z@,N,O3Z@Z@,3NZ@Z@,N,O4NZ@Z@,N,O4KZ@Z@,K4(LZ@Z@0=LP4GLZ@Z@0QLP,[L3-![@[@,4X|![@[@0|~,|3ޞQ'[@2[@,R3Ξ '[@)[@,, ,+7)[@2[@B R4|8[@[@0|~,|3^8[@>[@,^4Wb[@z[@,W0XP3j[@\@,j0jR0jQ3mN[@[@,N,O4j[@[@0jP,j7 \@u\@B73d \@]\@,v,3П \@\@=` 2P4H\@\@0HQ4K]\@d\@,K4(L]\@d\@0=LP4GL]\@a\@,QL,[L3qNu\@\@,N,O4gLu\@x\@0xLP4Zu\@x\@,Z,Z3oH_]@e]@,yH4H_]@e]@0H~7]@]@@i}Q4N]@]@,N,N4(L]@]@0=LP"->((G-j?((GNS)L(j.LP+D;nextO);nextV-hy(#j-(#j);rQ}- (O-ա(#j9i3});x4});child6}Hright}9i}H left}9i}-8(_9var,9sign,>\rD@^@gc@U?(GWKassumps\1 @params!HM+P@MP@statusj3a^@^@,k4G^@^@,G3^^@^@,^1 @i}1 *pM P4X|!_@`_@,|,|4|!_@H_@,|,|3z^$_@'_@,^4W3_@<_@,W0XP3ۙ_@_@,,3ʣgL_@_@,xL3v`@`@,4G`@`@,G3 a`@`@,k4Ka@a@,K1Ӥ*rJ 3N : ; I$ >  : ;I : ;  : ; I8  : ; : ; I .I4 < I4 I.4 < .4 < I!I/  I I&I.? @I4 < .? 4 < .? 4 <  : ; .? 4 < .? 4 <  : ;  : ; I8 I : ; : ;I8 ! : ;" : ;# : ;I$ : ;I% : ;I8 & : ;' : ;()9: ; * : ; I8 2 +.? : ; 2 < ,.? : ; < -.? : ; @I< ..? : ; @I< / : ; I8 2 0.? : ; < 1!I2.? : ; @2 < 3.? : ; @< 4.? : ; @< 5.? : ; @< 6.? : ; @I2 < 7.? : ; @2 < 8 : ; 9!I/:.? : ; @@ ;: ; I < U=4: ; I >4: ; I?1@ UA41 B1 C.: ; I D E.: ; I F: ; IG4: ; IH.: ; @ I.G@ JI4  K: ; I L M1N.: ; O1P.G QI4 R: ; IS T.1@ U41V.? : ; I W.G: ; X.? : ; I@ Y Z.? : ; I [.4 \4: ;I ]4: ; I ^4: ; I?  R% $ > : ; I$ >   I&I9: ;  : ; : ; I8 2 .? : ; 2 < I4 I.? : ; < .? : ; @I< .? : ; @I< .? @I4 < .? 4 <  I : ; .? : ; < .? 4 <  : ; I8 2 I!I.? : ; @2 < .? : ; @< .? : ; @< .? : ; @<  : ; I8  : ; I8 .? 4 < !.? 4 < " : ; #.? : ; @I2 < $.? : ; @2 < % : ;&.? : ;@I< '.G: ; (I4 ) *4: ;I+ ,1-.G .: ; I/.1@ 01 1 U241 31415.? : ; @I@ 6: ; I 7 84: ; I 9: ; I:.G: ; ;4: ; I<.? : ; I = U>.G: ;@ ?I4  @4: ;I A.G: ; @ B41C.? : ; I D.: ; E.G@ F: ; I G H.: ; I I: ;IJ: ;I K: ;I L4: ; I M4: ;I N.G; O : ;P4: ; IQ.? : ; @@ R.? : ; @@ SI4 T.? : ; U.: ;@ V.4 W4: ; I  V /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/usr/include/sys/usr/include/usr/lib/gcc/i686-pc-cygwin/3.4.4/includeMain.CGlobal.hnewSolverTypes.hSolver.hVarOrder.hHeap.hresource.htime.htypes.hstdio.hreent.h_types.hstddef.hlock.hzlib.hzconf.h`@G&U;9g+9'c9gqcc+99j99jU1QcGcU~c9cj9gq+gc+gcg+cg+gcg+c1ccc+9gc+cUbce9qg9+gceS,qqc+pG+9+G c/Q/vc99cHqc+pG+9+9G c/Q/c99cs7cHqc+pG++G c/Q/vc?9Aq?c)iP@:X~#OG @G:X)$P@Hr~,,*,+~UG @Hr~,,*,+~UG @qrdr~G~G `@deFr~+,C;qE;`@qrdr~G~G @qrdr~G~G @qrdr~G~G `@qrdr~G~G @qrdr~G~G @qrdr~G~G P@M939Tyc3GM93qQc'SkVH,F;w2Nc2N92UN+2$:::20d8:8]P({/`dX`@qwq cwc-b,Td2~:59e+p7U'X^fc!+_cc2yc+V5cgUWcx.wq cwceb,Td/D"s&plcdwq cwc-b,Td,wq cwceb,TdecUe9ce+:bdw cwceb,TdF,gxc&bdT\$ ~Ajqwq cwceb,Tdd,iqcicn+cGcccpc/5r56 cu9 cwcd~8dt t Ucc!wq cwceb,Td-c`#4'Zq#~8UardTCc>GXG(cAG9jUc,TU,:P36M5Cc>cBJ-cBcg9-D.oxx;"P+"~~c  /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/usr/include/sys/usr/lib/gcc/i686-pc-cygwin/3.4.4/includeSolver.CGlobal.hSolverTypes.hSolver.hnewHeap.hVarOrder.hSort.htypes.hstddef.h`@d@68944P-V `@G= cvIS~,q6[Т@d)@8:Fdc8~Hj9Xe9Y(X*qIr9~r)@%Q=:qqSa?z1z9z1 @c>95 @d)P@8:Fdc~HiqqDXf9UiU9||m|9W9|+|9|q|9|Zn)9@%d:T:G|cc|!TUziz9i@Hr~,,*,+~UG @Hr~,*,+~UG @Hr~,,*,+~UG @Hr~,*,+~UG @G:X)$Hr~,,*,+~UG @Hr~,,*,+~UG @@:X~#Gm @@Hr~,,*,+~UG :X~#OG Hr~,,*,+~UG qrdr~G~G qrdr~G~G qrdr~G~G P)@*{9++{Gq+pc+s'*{qb9{+oc+zc~9+G~9+9+G?ApW~cU~9+R9^9+X+G+GGJT+H+GG6X~,KU.*8<|+U\|||o9R:F:E+C9~cC9~c9C9~cC9~c(bttq9cR99~9GG~9{.99~c9~9GGK}9}9+~cGG++Gc~cc}U9~U~cGG,*9~9+Ncpc+9~++9~U9|+GLq#);Es}9d*:}9+}99+~c+U+}~~cUUGzc~99~99q~9}~9U~c}q9+~c+~9}9zi2~c~c+}9:+~qvG 9v9 cg5K~c:+vG~c+99<6o+W9)+cc~q~9+cU9+~9~Fq9~9 5K~c:+@v:9~9}+GHy92~V~U# 6$~9~cc~q+99;Ec99Gc99G9cOc@9w99/6oW9)+ckc5Y&9{+++{Gq+pc+z"^+"cUG~:F9~9~99{+89{+oc+{cyc~99:~+9~c~9~9+G9~c9~9z+?c~9q~+c~+~++q;~999q~++fq~U+DUp9~:Gq~9~U+~qGc~"h*###z,) 9{#V*8Tq~+G}+~+9~&Eq9U~9U~GU~qU~99~+G:9Gy9+~Uc~GXU+9+c~q*:p}9}9G}q9}ql+}ql9Y9}q9}+9}l+|9[9%9[9%[U%9[yc~99~c+~9G2}q}/G|+|UX9+G+U9|GT9H9+GU9R99~c9999c~99~c+~942G#:<+Cq=G 9:|9>+}c~9>&9999}9q|9+|G9|96:}9+|q(}+F#&:8:}+JU69J9!|n&|9"c~Up9|+G|G+9~G*59~c9|~9U~9C=~cU~cG~9|9\+4r:|q9|qUb:Td9V9+9u+XG9c99+9^+9+X+G+GJT+H++|9J+l&ur&|99|9|c||%99b9JU69J96c9pcpcp99<Dc~+<+D+cVqcczcp9pc #z9?8~99:~+9~cp9pq9p99qq*#'~FwGrvc ccG99pcw+ +w9 cwc cc+ccdGUcq99v99cc(9+9p9pccp9 cGz9#z9?~99:~+9~cz+ GlU+07Z-L&U}c*}9}U9p9}GT99~c+9~99u+fG}pGU9~c+~9cu+fUG9UGGU}q6)6GGcc:8,~cUb:z9~9c>:z9>,~ccb,zc~cU B~$++~9+~9~cc~9+~9QG'cdn6*GqGqc+pG+9qU9GU /Q/c_G!cc9;UE9c8,bq9+9G99U~++9GG9G/5Y+{+c{+9+9{G99pcG{q.#pqc9Uc~99~c9c9c~ccz9?~cccqccn9)~9~U=G 9fG~9+~c9$GU~+c~9+~c9CGtGqc9kU#w2*Tp*Kp*5({q9e-'.(fa:dH*,|cq|cVc|9{0|q9cG9q3{9|qnwc cdc{c9{q 99{q 9w+ c::bXRtccc<_g5K=r9opc9qp~G~:c,8~G+~c~c9U>GU|~c,hc cv cvc cc$c9cv2~989c999:,qC~+O{9|+bd|+G{UUkbdq{qc{9{U{9oU9{c9o9c={qo+9 ,v9 9v9 9c9+9+k{9p9~c+99 $v9 9v9 9@-#{{cp9pc9p99p+*u6{c::{H{{U~c:c<(c{G~99~99G{hc+zU>+zcc{~99~99UGv( ##{U+{~~c| P@AB L@AB @NAB D@NAB D`@NAB D@NAB D@NAB D`@NAB D`@AB F@NAB D@AB FLP@AB FL @~AB FFFP@mAB FF`@vAB BJ@RAG H)@7AG |  P)@gAB F )@HAD AD *@AB F *@AB F P+@AD F +@KAB E NAB D NAB D NAB D AB FL 0-@AB FFI @.@:AD F 0@TAB F mAB FF 3@AB F @@AB FL @@mAB FF @AB FL p<@}AB F @@AB F AB FL D@AB F PG@wAB FI @~AB FFF @AB FL @AB FL @AB FL G@AB F @AB FL @AB F P@AB F  @/AB   @!AB  `K@AB AG @sAB F @AB F Т@/AB  `@AB FL @eAB FI `@AB   M@; AB L `V@AB O @^@'AB I pc@7AG pushSolver__sFILE64dealloc_on_exit_argslearnt~vecoperator=_reentoperator~valuecapacityheapPropertyGClause_mbstate_tshrinkmoveToclearClauselboolSearchParamsoperator==operator[]rusage_BigintVarOrder_ltoperator!=initunsigned intthisactivity_atexitgrowTosize_rand48growVarOrderStreamBufferSolverStats__sbufvar_decayreleasecopyTo__in_chrgtimevaldatalastsort >pushSolverrandom_var_freqseeddealloclearnt~vecelemoperator=operator~sortUnique >min_levelcapacityheapPropertyGClausearrayshrinkmoveToclearClausesortindexlboolGClause_newSearchParamsoperator==operator[]VarOrder_ltoperator!=initunsigned intactivitygrowTosizeoperator()conflgrowVarOrdernof_learntsnof_conflictsnelemsLessThan_defaultSolverStatsreduceDB_ltvar_decayreleasecopyTomin_capdatathislastS@V@@@y@@l@s@_@i@S@V@{@@l@s@e@i@_@e@@@y@@ʬ@@ @/@V@t@|@@Ʀ@@(@-@m@ָ@]@q@@4@@@@@@@m@@@&@m@@6@\@m@o@s@@@@@@@3@@@@@@@@@@@G@@ָ@J@ӵ@P@}@@ָ@=@`@>(@l(@C%@%@$@y$@ @!@P@ @@L@K@W@}@`@>(@l(@C%@%@$@`$@ @!@@ @P@@@`@>(@l(@C%@%@$@`$@ @!@@ @P@@@K@l(@)@ %@C%@!@$@ @ @T@k@_&@k&@&@Z&@%@%@%@%@k@s@@@y@@@ @"@P@@@C%@%@$@I$@ @!@1@ @"@@v%@%@$@I$@!@!@ @ @1@ @!@!@ %@C%@"@("@"@"@("@0"@`"@"@<"@B"@2"@8"@"@$@(@)@K#@$@(@)@Y)@[)@^)@)@)@)@)@)@*@ +@+@+@Q+@S+@+@+@a+@+@[+@^+@a+@c+@+@+@+@+@s+@v+@,@,@,@,@7,@:,@D,@G,@,@,@,@,@,@,@,@,@,OvA.@C.@/@z0@Y.@/@N.@R.@z.@}.@.@.@.@.@.@/@70@z0@/@&0@/@/@70@z0@/@&0@"/@/@70@z0@/@&0@P/@S/@V/@Y/@0@0@y3@3@o3@t3@e3@g3@0@b3@ 1@`2@3@3@e3@g3@q2@b3@[1@`2@3@3@e3@g3@2@b3@s1@P2@3@3@e3@g3@2@b3@3@3@:@b<@4@:@4@7@8@':@65@`7@i9@:@8@F9@`5@E7@i9@:@#9@F9@8@8@6@6@6@6@8@8@8@K8@y:@|:@:@:@:@:@:@:@;@B;@s;@;@;@b<@;@;@l@@@Ԩ@ܩ@@&@D@|<@<@=@@@<@=@<@=@=@@@=@=@@@@@C@@@@?@0@@=@?@=@>@@@@@W>@Z>@`>@c>@??@B?@M?@P?@B@+D@cD@D@B@D@cD@D@B@C@cD@mD@B@B@cD@mD@B@C@B@B@C@pC@C@C@,OvD@$F@F@ G@E@ F@F@ G@ܫ@@&@D@ @/@V@t@@8@]@{@G@7J@BJ@VK@ܪ@@&@D@ @@@¢@l@@@ä@@@dK@fK@L@M@qK@L@K@K@L@L@ZL@{L@L@L@@@ݡ@@@ա@@@У@ @@V@h@q@Y@c@x@~@@ܠ@@@@K@@ @@@hM@O@P@[V@N@O@%U@OU@\T@hT@S@GT@P@*P@O@YO@\T@hT@*P@ZS@U@[V@OU@U@rT@T@*P@P@T@T@.P@5P@T@T@JP@pP@P@R@V@[V@P@P@Q@IQ@Q@Q@Q@Q@Q@Q@R@R@R@R@R@R@R@R@R@S@S@S@S@S@V@V@V@9^@V@V@`W@9^@V@V@]@_]@u\@\@W@X@X@u\@_]@9^@\@]@Y@Y@Y@Y@QY@Y@IY@KY@ o o pr !`e in b a  c .textau-.data.bss ) Fs [s ps s s s ps .textps.data.bsst pt !t F`u Yu sv .textt".data.bss<@ v v v .text v(.data.bss#pSPw mx .textPw$.data.bss@.rdatap|@@y 0z `z #@{ .texty).data .bss@ .rdata,| ?} Pp~ .text|.data .bss@ __ZdlPv~ .text~.data .bss@k~ x~    P p    Ѐ ' ? ^ v        P 70 P` .text~X C.data .bss@probedone-.text-.data .bss@ct@ P   @$  P .text@G0.data  .bss@.rdata+ .textX.data0.bssA.text.idata$7.idata$50.idata$4\.idata$6.text.idata$7.idata$5.idata$4.idata$6.text.idata$7.idata$5.idata$4.idata$6.text .idata$7.idata$5.idata$4.idata$6.text0.idata$7.idata$5`.idata$4.idata$6.text@.idata$7.idata$5t.idata$4.idata$6.textP.idata$7.idata$5.idata$4.idata$6.text`.idata$7(.idata$5.idata$4.idata$6.textp.idata$7.idata$5T.idata$4.idata$6.text.idata$7.idata$5.idata$4.idata$6.text.idata$7.idata$5\.idata$4.idata$6.text.idata$7.idata$5L.idata$4x.idata$6.text.idata$7.idata$5,.idata$4X.idata$6.text.idata$7.idata$5X.idata$4.idata$6.textЌ.idata$7.idata$5(.idata$4T.idata$6.text.idata$7.idata$5h.idata$4.idata$6.text.idata$7.idata$5P.idata$4|.idata$6.text.idata$7.idata$5d.idata$4.idata$6.text.data0.bssA.idata$78.idata$5.idata$4.idata$6 .text .idata$7 .idata$5.idata$4.idata$6.text0.idata$7.idata$5l.idata$4.idata$6.text@.idata$7.idata$5p.idata$4.idata$6.textP.idata$7.idata$5|.idata$4.idata$6.text`.idata$7.idata$5<.idata$4h.idata$6<.textp.idata$7$.idata$5.idata$4.idata$6.text.idata$7.idata$5x.idata$4.idata$6.text.idata$7.idata$5.idata$4.idata$6.text.idata$7.idata$5.idata$4.idata$6t.text.idata$7.idata$5.idata$4.idata$60.text.idata$7 .idata$5.idata$4.idata$6.textЍ.idata$7.idata$5.idata$4.idata$6D.text.idata$7.idata$5.idata$4.idata$6\.text.idata$7.idata$5.idata$4.idata$6.text.idata$7.idata$5.idata$4.idata$68 .text$.data0.bssA.text@.idata$7.idata$5H.idata$4t.idata$6d.textP.idata$7.idata$54.idata$4`.idata$6 .text`.idata$7.idata$58.idata$4d.idata$6,O` ` .text`V.data0.bssA.text.idata$7.idata$5@.idata$4l.idata$6D{Џ .textЏ.data0.bssA .text.data0.bssA .text.data0.bssA .text.data0.bssA.text.idata$7.idata$5D.idata$4p.idata$6P.text .data0.bssA.idata$7`.idata$5.idata$4.idata$6p.text0.data0.bssA.idata$7X.idata$5.idata$4.idata$6X.text@.data0.bssA.idata$7\.idata$5.idata$4.idata$6d.textP.data0.bssA.idata$7d.idata$5.idata$4.idata$6.filegfakehnamefthunk.text`.data0.bssA.idata$2(.idata$5.idata$4 .file.gfake.text`.data0.bssA.idata$4 .idata$5.idata$7h .text`.data0.bssA.idata$2.idata$5$.idata$4P.idata$2.idata$5.idata$4.idata$4.idata$5.idata$7,.idata$4.idata$5.idata$7L_getpid0 _putchar 8  _sprintf  h />_free0 M,_strcmpp _ qAl @ <( B^p0|  _puts  Ќ  P'  4  J X 8 _gzopenS {  @   _environA     p !!%!4!__dll__B!N!c!@r!L~!!8! !8 _memset !x "0_gzdopenS " A"-";"_fflushp J"`AV"___main _fprintf __allocaf"( """P""_fread "#_fopen _gzreadS _calloc .# :#__fmodeA_solverI#\V#,i#|###0##_realloc  #t#Ѝ $$$3$,__end__E$_$ _signalP _malloc@ o$_fclose }$X$$($x$P_gzcloseS $ $$ %%&%T4%P% g%@u%|_abort` % %0A%%%L%D%&d&)&_powP S&Ht& & &4&`&&& ''-' ='(R' g''_strlen` _exit '8 '@''h_printf '  ((8 >(hT(h(x( _fscanf ((.debug_aranges.debug_pubnames.debug_info.debug_abbrev.debug_line.debug_frame.debug_str.debug_ranges_mainCRTStartup_lit_Error_lit_Undef__Z10printStatsR11SolverStats__Z14SIGINT_handleri.text$_ZN6SolverC1Ev__ZN6SolverC1Ev__GLOBAL__I__Z10printStatsR11SolverStats.text$_ZN3vecIiE4growEi__ZN3vecIiE4growEi.text$_ZN3vecI3LitE4growEi__ZN3vecI3LitE4growEi.text$_ZN3vecI3LitE6growToEiRKS0___ZN3vecI3LitE6growToEiRKS0_.text$_ZN3vecI5lboolE5clearEb__ZN3vecI5lboolE5clearEb.text$_ZN3vecI7GClauseE5clearEb__ZN3vecI7GClauseE5clearEb.text$_ZN3vecIcE5clearEb__ZN3vecIcE5clearEb.text$_ZN3vecIS_I7GClauseEE5clearEb__ZN3vecIS_I7GClauseEE5clearEb.text$_ZN3vecIdE5clearEb__ZN3vecIdE5clearEb.text$_ZN3vecIP6ClauseE5clearEb__ZN3vecIP6ClauseE5clearEb.text$_ZN3vecIiE5clearEb__ZN3vecIiE5clearEb.text$_ZN3vecI3LitE5clearEb__ZN3vecI3LitE5clearEb.text$_ZN3vecI3LitE6growToEi__ZN3vecI3LitE6growToEi.debug_abbrev.debug_info.debug_line.gcc_except_table.debug_frame.debug_pubnames.debug_aranges.debug_ranges.debug_str__Z11removeWatchR3vecI7GClauseES0___ZNK6Solver8simplifyEP6Clause__ZN6Solver12analyzeFinalEP6Clauseb__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi__ZN6Solver9propagateEv__ZN6Solver10simplifyDBEv__ZN6Solver11cancelUntilEi__ZN6Solver6assumeE3Lit__ZN6Solver6newVarEv__ZN6Solver8reduceDBEv__ZN6Solver6searchEiiRK12SearchParams__GLOBAL__I__Z11removeWatchR3vecI7GClauseES0_.text$_Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.text$_Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd.text$_Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0___Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0_.text$_Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.text$_Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd.text$_Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0_.text$_ZN3vecI5lboolE4growEi__ZN3vecI5lboolE4growEi.text$_Z4sortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortIP6Clause11reduceDB_ltEvPT_iT0_.text$_ZN3vecIdE4growEi__ZN3vecIdE4growEi.text$_ZN3vecIcE4growEi__ZN3vecIcE4growEi.text$_ZN3vecIS_I7GClauseEE4growEi__ZN3vecIS_I7GClauseEE4growEi.text$_ZN3vecIP6ClauseE4growEi__ZN3vecIP6ClauseE4growEi.text$_ZN3vecI7GClauseE4growEi__ZN3vecI7GClauseE4growEi.text$_Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0_.text$_ZN3vecIiE6growToEiRKi__ZN3vecIiE6growToEiRKi.text$_ZN3vecI5lboolE6growToEi__ZN3vecI5lboolE6growToEi__ZN6Solver16progressEstimateEv.text$_Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0___Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0___ZN6Solver17analyze_removableE3Litj.text$_Z10sortUniqueI3LitEvR3vecIT_E__Z10sortUniqueI3LitEvR3vecIT_E__ZN6Solver5solveERK3vecI3LitE__ZN6Solver9newClauseERK3vecI3LitEb__ZN6Solver7enqueueE3Lit7GClause__ZN6Solver6removeEP6Clauseb__ZN6Solver18claRescaleActivityEv__ZN6Solver18varRescaleActivityEv.rdata$_ZTISt13bad_exception.rdata$_ZTSSt13bad_exception.rdata$_ZTISt9exception.rdata$_ZTSSt9exception__Z28read_encoded_value_with_basehjPKhPj__Z17parse_lsda_headerP15_Unwind_ContextPKhP16lsda_header_info__Z20check_exception_specP16lsda_header_infoPKSt9type_infoPvi___gxx_personality_sj0___cxa_call_unexpected.rdata$_ZTVSt9type_info.rdata$_ZTISt9type_info.rdata$_ZTVN10__cxxabiv117__class_type_infoE.rdata$_ZTSSt9type_info.rdata$_ZTVSt8bad_cast.rdata$_ZTISt8bad_cast.rdata$_ZTVN10__cxxabiv120__si_class_type_infoE.rdata$_ZTSSt8bad_cast.rdata$_ZTVSt10bad_typeid.rdata$_ZTISt10bad_typeid.rdata$_ZTSSt10bad_typeid.rdata$_ZTIN10__cxxabiv117__class_type_infoE.rdata$_ZTSN10__cxxabiv117__class_type_infoE.rdata$_ZTIN10__cxxabiv120__si_class_type_infoE.rdata$_ZTSN10__cxxabiv120__si_class_type_infoE.rdata$_ZTVN10__cxxabiv121__vmi_class_type_infoE.rdata$_ZTIN10__cxxabiv121__vmi_class_type_infoE.rdata$_ZTSN10__cxxabiv121__vmi_class_type_infoE__ZNSt9type_infoD1Ev__ZNSt9type_infoD0Ev__ZNSt8bad_castD2Ev__ZNSt8bad_castD1Ev__ZNSt8bad_castD0Ev__ZNSt10bad_typeidD2Ev__ZNSt10bad_typeidD1Ev__ZNSt10bad_typeidD0Ev__ZNKSt9type_info14__is_pointer_pEv__ZNKSt9type_info15__is_function_pEv__ZNKSt9type_info10__do_catchEPKS_PPvj__ZNKSt9type_info11__do_upcastEPKN10__cxxabiv117__class_type_infoEPPv__ZN10__cxxabiv117__class_type_infoD1Ev__ZN10__cxxabiv117__class_type_infoD0Ev__ZN10__cxxabiv120__si_class_type_infoD2Ev__ZN10__cxxabiv120__si_class_type_infoD1Ev__ZN10__cxxabiv120__si_class_type_infoD0Ev__ZN10__cxxabiv121__vmi_class_type_infoD2Ev__ZN10__cxxabiv121__vmi_class_type_infoD1Ev__ZN10__cxxabiv121__vmi_class_type_infoD0Ev__ZNK10__cxxabiv117__class_type_info10__do_catchEPKSt9type_infoPPvj__ZNK10__cxxabiv117__class_type_info11__do_upcastEPKS0_PPv__ZNK10__cxxabiv120__si_class_type_info20__do_find_public_srcEiPKvPKNS_17__class_type_infoES2___ZNK10__cxxabiv121__vmi_class_type_info20__do_find_public_srcEiPKvPKNS_17__class_type_infoES2___ZNK10__cxxabiv117__class_type_info12__do_dyncastEiNS0_10__sub_kindEPKS0_PKvS3_S5_RNS0_16__dyncast_resultE__ZNK10__cxxabiv120__si_class_type_info12__do_dyncastEiNS_17__class_type_info10__sub_kindEPKS1_PKvS4_S6_RNS1_16__dyncast_resultE__ZNK10__cxxabiv121__vmi_class_type_info12__do_dyncastEiNS_17__class_type_info10__sub_kindEPKS1_PKvS4_S6_RNS1_16__dyncast_resultE__ZNK10__cxxabiv120__si_class_type_info11__do_upcastEPKNS_17__class_type_infoEPKvRNS1_15__upcast_resultE__ZNK10__cxxabiv121__vmi_class_type_info11__do_upcastEPKNS_17__class_type_infoEPKvRNS1_15__upcast_resultE___dynamic_cast__ZNK10__cxxabiv117__class_type_info20__do_find_public_srcEiPKvPKS0_S2___ZNK10__cxxabiv117__class_type_info11__do_upcastEPKS0_PKvRNS0_15__upcast_resultE__ZN10__cxxabiv117__class_type_infoD2Ev__ZNSt9type_infoD2Ev__ZNKSt9type_infoeqERKS_.rdata$_ZTVSt9exception.rdata$_ZTVSt13bad_exception__ZNSt9exceptionD1Ev__ZNSt9exceptionD0Ev__ZNSt13bad_exceptionD2Ev__ZNSt13bad_exceptionD1Ev__ZNSt13bad_exceptionD0Ev__ZNKSt9exception4whatEv__ZNSt9exceptionD2Ev__ZN10__cxxabiv111__terminateEPFvvE__ZSt9terminatev__ZN10__cxxabiv112__unexpectedEPFvvE__ZSt10unexpectedv__ZSt13set_terminatePFvvE__ZSt14set_unexpectedPFvvE__Z23__gxx_exception_cleanup19_Unwind_Reason_CodeP17_Unwind_Exception___cxa_throw___cxa_rethrow_emergency_used_emergency_mutex_emergency_buffer_ZZ18__gthread_active_pvE20__gthread_active_ptr___cxa_allocate_exception___cxa_free_exception_globals_key_globals_static_use_thread_key__Z16get_globals_dtorPv__Z16get_globals_initv___cxa_get_globals_fast_ZZ21get_globals_init_oncevE4once___cxa_get_globals___cxa_begin_catch___cxa_end_catch__ZSt18uncaught_exceptionv_fc_key_init_fc_key_init_once__Unwind_SjLj_Register__Unwind_SjLj_Unregister__Unwind_GetGR__Unwind_GetCFA__Unwind_SetGR__Unwind_GetIP__Unwind_SetIP__Unwind_GetLanguageSpecificData__Unwind_GetRegionStart__Unwind_FindEnclosingFunction__Unwind_GetDataRelBase__Unwind_GetTextRelBase__Unwind_RaiseException_Phase2__Unwind_SjLj_RaiseException__Unwind_ForcedUnwind_Phase2__Unwind_SjLj_ForcedUnwind__Unwind_SjLj_Resume__Unwind_SjLj_Resume_or_Rethrow__Unwind_DeleteException__Unwind_Backtrace_w32_atom_suffix___w32_sharedptr_default_unexpected___w32_sharedptr_get___w32_sharedptr_setdw2_object_mutex.0sjl_fc_key.1sjl_once.2___w32_sharedptr_initialize___w32_sharedptr_fixup_after_fork_cygwin_crt0__cygwin_crt0_common@8_do_pseudo_reloc__pei386_runtime_relocator_cygwin_premain3_cygwin_premain2_cygwin_premain1_cygwin_premain0___RUNTIME_PSEUDO_RELOC_LIST___pthread_mutex_lock__ZTSN10__cxxabiv121__vmi_class_type_infoE___cygwin_crt0_bp__data_start_____DTOR_LIST____nm___impure_ptr__ZTVSt9exception___w32_sharedptr_terminate__imp__getpid__ZTVSt10bad_typeid___tls_start___dll_crt0__FP11per_process__imp__FindAtomA@4__ZTVSt13bad_exception__imp__abort__size_of_stack_commit____size_of_stack_reserve____major_subsystem_version_____crt_xl_start___AddAtomA@4__ZTIN10__cxxabiv121__vmi_class_type_infoE___crt_xi_start_____chkstk__ZTSSt10bad_typeid___crt_xi_end____head_cygz_dll__ZTSSt9type_info___assert_GetModuleHandleA@4_getpagesize_pthread_mutex_unlock__bss_start_____RUNTIME_PSEUDO_RELOC_LIST_END____size_of_heap_commit___getrusage__ZTVSt9type_info_pthread_key_create___crt_xp_start____ZTISt8bad_cast__imp__getrusage__imp__putchar__imp__gzread___crt_xp_end____imp__gzdopen__imp__signal__imp__puts__minor_os_version____image_base____imp__exit__section_alignment____imp___impure_ptr_cygwin_internal__RUNTIME_PSEUDO_RELOC_LIST____ZTVN10__cxxabiv121__vmi_class_type_infoE__data_end_____w32_sharedptr__CTOR_LIST____imp__gzopen__imp__sprintf__bss_end_____crt_xc_end____ZTSN10__cxxabiv120__si_class_type_infoE__ZTIN10__cxxabiv117__class_type_infoE___crt_xc_start____fopen64__imp__pthread_setspecific___CTOR_LIST____imp__pthread_key_create__imp__GetAtomNameA@12___getreent__imp__gzclose__imp__fread_cygwin1_dll_iname__head_cygwin1_dll__ZTSN10__cxxabiv117__class_type_infoE__imp__strcmp__imp____main__imp__pthread_mutex_lock__file_alignment____imp__malloc_pthread_getspecific__major_os_version____imp__realloc__imp____getreent__imp__GetModuleHandleA@4_pthread_create__DTOR_LIST____imp__fprintf__imp__pthread_atfork__imp____assert__imp__memset__imp__fclose__ZTVSt8bad_cast__size_of_heap_reserve_____crt_xt_start____subsystem____imp__strlen__imp__fflush__imp__pthread_mutex_unlock__ZTSSt13bad_exception__imp__calloc__imp__pow__ZTSSt8bad_cast___w32_sharedptr_unexpected__imp__fopen__imp__pthread_create_cygz_dll_iname__imp__cygwin_internal___tls_end____imp__fscanf__ZTISt13bad_exception__ZTIN10__cxxabiv120__si_class_type_infoE__imp__dll_crt0__FP11per_process__ZTVN10__cxxabiv117__class_type_infoE__ZTSSt9exception__imp___fopen64__imp__free__major_image_version____loader_flags____imp__pthread_getspecific__imp__printf__imp__AddAtomA@4_pthread_atfork__head_libkernel32_a_pthread_setspecific__minor_subsystem_version____minor_image_version____ZTVN10__cxxabiv120__si_class_type_infoE_FindAtomA@4__imp__pthread_once__imp__getpagesize_GetAtomNameA@12__ZTISt9type_info__RUNTIME_PSEUDO_RELOC_LIST_END____libkernel32_a_iname__ZTISt10bad_typeid___crt_xt_end___pthread_once__ZTISt9exception