ELFp44 (%"444ddddEdET"\\c\c((( Ptd11dd/lib/ld-linux.so.2GNUCH&AB/"8? D$>%< -36G)E; 2 0C=:F147,#* !.+9(' @5 OE ,)TD!T<L:Pez\;l |e!we@!h!: ̓Dܓ@2%/T0f(! r/,<X-LeMXf@!g\!gf,$gE(g!lK|g<3."8g!PW̔OܔH!U 9,<L[\@g!l|S1p}̕FGܕ!."q8 !Y Xg@!,5<. Lq\ m libstdc++.so.5_ZNSt24__default_alloc_templateILb1ELi0EE8allocateEj_ZTTSt14basic_ifstreamIcSt11char_traitsIcEE_Znaj_ZNSt24__default_alloc_templateILb1ELi0EE12_S_free_listE_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc__cxa_rethrow_ZNSolsElpthread_create_ZNSt15basic_streambufIcSt11char_traitsIcEE13_S_pback_sizeE_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev_ZTVSt13basic_filebufIcSt11char_traitsIcEE_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv_ZNSt24__default_alloc_templateILb1ELi0EE12_S_force_newE_ZNSi7getlineEPcic_ZSt4cerr_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE_ZNSt13basic_filebufIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode_ZNSolsEm_ZNSolsEPFRSoS_E_ZdlPv_ZSt20__throw_length_errorPKc__cxa_end_catch_ZNSt12__basic_fileIcED1Ev__gxx_personality_v0_ZNSt8ios_baseC2Ev_ZNSolsEx_ZNKSt9basic_iosIcSt11char_traitsIcEE5widenEc_ZNSt15basic_streambufIwSt11char_traitsIwEE13_S_pback_sizeE_ZNSt6localeD1Ev_ZNSt8ios_base4InitC1Ev_ZSt5flushIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__ZdaPv_ZNSt13basic_filebufIcSt11char_traitsIcEED1Ev_ZNSt24__default_alloc_templateILb1ELi0EE22_S_node_allocator_lockE_ZNSt24__default_alloc_templateILb1ELi0EE10deallocateEPvj_ZNSt8ios_base4InitD1Ev_ZTVSt15basic_streambufIcSt11char_traitsIcEE_ZNSt8ios_baseD2Ev__cxa_begin_catch_ZTVSt9basic_iosIcSt11char_traitsIcEE_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__ZSt4cout_Znwj_ZNSt9basic_iosIcSt11char_traitsIcEE8setstateESt12_Ios_Iostate_ZNSolsEd_Jv_RegisterClasses__gmon_start__libm.so.6libgcc_s.so.1_Unwind_Resumelibc.so.6memmove__strtol_internalmallocfflushgetrusagerealloc__cxa_atexitsscanfsrandopendir__assert_failpthread_mutex_unlockstderrpthread_mutex_lock_IO_stdin_used__libc_start_mainvfprintffreeGCC_3.0GLIBC_2.1.3GLIBC_2.0GLIBCPP_3.2.2CXXABI_1.2GLIBCPP_3.2 P&y u0si }ii }) үkr)HeGPee e 0fXff$g(g 8g%@g3XgBpdtdxd|ddd d d ddddddddddddddd!d"d#d$d&d'd(d)d*d,d-d.d/d0e1e2e4 e5e6e7e8e9 e:$e<(e=,e>0e?4e@8eCt9 € t)A t € uׄ€ t; t6 t1 CB€ t t uuaلUXSSjXYRPPh| hhfP1jj 1jRxQHRPQhXLZH SH xRQS%HL t&|9t_SSYSPDžICR xxDž8Dž<Dž@C9PPSREdVVh :EuPPh{'PPShPefoPPSR@uPPPhhPeGƒHD@utPPSRZYhe&P!PPSR SShhfZYh|P $UVSuPPhhPe4$ ‹HD@uPPRScY[hPXZhhPeu4$ƒHD@uPPRSZYh=P8Y[h=V, RP hhPePPXZhhPe4$ƒHD@uPPRSY[h=PXZh=V RP hhPePAPxY[h=V RP hhPeQPP?XZhhPe.4$X$SY[h=P XZhhPe4$ ^$SXZYh|Pe[^]Ðt&PPRSPPRSPPRSYUWVSEEPERR}WuV1hǍ$ EPMQURc9}A]PPQUR …u@Ku3F9|WWh| hhfP$9}΋}t uVRE@ERR]SUR=EPPhhPezƒ8OD@ut1PPuVR%[^hPHZYh|P[e[^_]PP]SR$͍UWVS ]}  PYZP hhPePYZh|PXZh WR hhPePPZYh|PtYPPOQVjj jWRP$$V4$ Ãt4PWRSVd1e[^_]PP_SV.4$Ãũ VcSSh hfZYh|P[^h| h`hfPZYh|P^Xh$ P h;hfPP|ZYh|P7&UEg]UhjÐUU A I I ]ÐUWVS] u~ SatlPPES RP8gsпu% e età h@g뱍 h@geǍt&e[^_]ÐUWVS}]QWRS4yƋ]؋E)u Vt&=w 8g~^ Sу4u(ee] h@gH h@g?ƃҍFYt&EЍW)<)QRVW4&=w 8g~o V߫맍W)QRVSU2B눍vLEM̅uB uVEȋEx$pҍQu}Uԋ}SRPQ{늍MPPQS蜈It&UU MtZЍADŠBBB t@B@;}]ÐUWVSU hl$RXM1E;L~P] PPh|S~We[^_]VVu h$VCXZYh|PVW}MAME;Lu PPhVX‹KD@uVV}WRXZ1YhPW}WPPhu/U RWUPӋXD @utZSSRQUXZFYht-PwWEPK)9 tPPhx/oPPRQ+VPPuVRV3UUU] v'UWVSE PEPj UtKMYPQT9tc1ɊKtM Iw4s t׋EQQSP賹MQT }Wh h!hhUUZHrD];ut^1S U;S$u:BE‰;C$t+C$P@S$EE‰;C$u؍vG vD;uuuPP} WVe[^_]h h[h#h$YUVS]u#sHSD))Au e[^]ÉPPjSvUQVPR/ 9u1BA9tAQ9u݃ QDǃƃe[^]ÐUWVSEMuYFT]^P)4։&BEԉ‰;C$t(C$P@S$EԃEԉ‰;C$uG vD;uuuU^H))މΉމu9EDEDDnUAAHuውxEQ;Q}6ى]ȋODȊ1I xEDž|QU9UxODlp"MpAMEp9EfpӉU l 11JʃuI8B<9~ȋJu;|~ۉ|]r WЃ h@g}J3t&CV)9يЃut֋I9 ЉƋ9|pKNdd։څ$hBȃu1)؀}t-Vh!hHh#h'H}|L@L;4~4MwDH8P<9]C]}QS K9tuEuuUqQS@e[^_]Ë LABF L{ UK9tUEEUQQSE9-P@99Iu)ƉueS8C<19nڋwD))։މލqU}L@L;4~4ALJLJ{ KU9t2UEEUxMEKEEEEVVPSdv>h!hh#h$uUEENjEEEUPPRSvh!h뵋hhЊփh!hh#h'9SC9|9yG4)`UWVSELDUlXJD)EEE)؉<9Dž`DwJ2M܍6U]E]ÐC K98t EUQQS ]SSHu`FD9`sCUJD` Hu֋PuϋU܍M؉u;UXETExx~E܋u)lUEYEJDE))߉lj߉h9kDFD;hTEHD1ۊuۋZ]L6ÐMES K9t EUQQSU؍ME;UtZFD];hUJDlVVPhPeDY[h(PC_Zh|PBu~x1ۋ}܋U)9sJ5PeNTeA@utFVVRhPeDZYht-PACC}܋U)9rPPh|hPe=BQPPRhPeB븋}x~Eu)M1QTYP)<ljljǍ zd91t&1ۊZt`zt,F;dEXP1ۊZt4zuԋU ؋ZD؊tvF;d]UZPu]tÐpS K9tptQQSVVPhPeBY[h@(PA_Zh|P@u~x1ۋ}U)95PeNTeA@ut VVRhPe5BZYht-PXACWWRhPeE@ލ&J6E]]ÐS K9t EUQQSUM|;Ut2JMe EP }x]E)t$=w58gG S?]؋E)t$=w 8g S?e[^_]Í]PSRQbPPRSoƋ]؋E)u V_A=w8g S^?h#!hh#h$ ?h#!hh#h$PPh| h$hPe?P>]E)t$=w8g S>]؋E)t$=w=8gU S>1pPPQSnMP7^)RRShPe?^_h$P>Y[h|P=VVh|hPe=Ƌ]E)=w=8g S=ZMPPQSm^ESPRQ`UPPRSm>ɍ4u:ee h@g> h@g$=눃 h@g=봃4uiee h@g$>vv4u:e e h@g= h@g<녃 h@go<봍&'UVSU uыVDڊ t߉؈ ^D؊t[^]Ít&H[^]Ð&'USM ]ʋKDʊ uȃ t []Í&@B@;}މUSPM]QURE PS6x@SP€bSP@]Ðv'UWVS E]} uujVWSx/e[^_]ÃtHw0RVWSΦyƃǃe[^_]h@!hIh#h%9t&UVSUuREPE PVvÅx-@NPQQNP@e[^]ÐƆdže[^]ÍUSP]t&]Ët^ SЃtQuڃ S$wtǃ Su. S yǃ]ǃ]]CtܣEt1{putǃIǃ:ǃ+&USQ]t]à S $u4ǃRRh|hPe7豎ݛ]Ëũ S$Rt[ Sx StTCtܣEth{puSt(ǃ[t SЃth/ǃ ǃǃ&UWVS }L9E EU 9U|cU싇P‹2N)Ky "& RRQWpKyNQRUVRiu] N u9]}E HxL0A0e[^_]LJL0A0e[^_]hw!hh#h$%Z6&'UWVS uU}UӍ9&2CJSM93BCEPD1W9Ct΋}@ vWP|9|EL9KHU]싊9Z]9uKZUX9t4ExP9uك UR%E9uЍt&]~)%e[^_]Ë}sL9s]싏Pt& SG%U1JDˊt"9tfCu&] LQURSW}W h!hh#h7%!4uV;Vt#t}:]JN]W}SPV WUdt&UWVDSlUJDzDMCDMQ))щ9sT>1ɊtNjx U@}zDPU)@9th!hh#h(3UuPEZPu]]t&MuQ)4Ɖމƍr9]U1ɊJTEE1BE9/UU ȉM1tMȉȨtMUBUMMFA9r]}L19EUE2u45&MĉʃЊ9MC;YslU1> UMȃ9uuȉM19L>9J~h!hh#h(CHuUuBUuQh!hh#hP%MQȉM19uVL>9J!h!hue[^_]h!hh#hc%h!hh#ht%h!h名UWVS }U 9t }. RGP1Å799Å~};UtЋWD LыQ9uuAtU]PjRWÅ&e[^_]ËB ÈAU;AtVtA,h"hh#h)G/h"hh#h )h"hh#h`)RURSQ=RC&USP];QtC+uI9uQu]Lti S ]h@"h$h#h%.h@"h%h#h%h@"h&h#h%h@"h'h#h$ERQP؀$SzUWVSUuE @zP)WQVD@]WKT)KhWRVS~߁G],@ыs]))(Ήd(ǃ,ށ\^ V9t JNM]tdQ K )ʋMt+ATC]d);v'()ЋV(^9JN@uJˋu);^|_ 1)9r WE CЋUBDPPXMȉT\PXPWQ) 9rU]MMQUȅr h@g뾐UWVS,}uW;Wtnt6ZJ_ BM )ȋV)Pu VRU e[^_]G} )WQU RQE e[^_]ËE)t҉Uԋ]ER] )SPMQOUЃt_PrU )SE PV(G)؃t =w 8g~A S]ЋEԉw4we[^_]à UREЋd M̅u)M̋eet h@g4놃 h@gŐUWVSuU ^$:)ʋN)уvI hxCFt8^$~SKWO ^W^e[^_]Ít&PjjV5@^$뤐US ]S RyKSAB ABBS S]ÐUWVS } ]uBt@t;H|@ u VRPWSAe[^_]UWVS,}} ?wbW7);U sK_M )EɉUusQSVjG)u8uЋ]ԋE 7W_e[^_]à h&댍&=w 58g~+ SO릃 M Q ESVPuҍ4u*e eX h@g랃 h@gĐUWVS } u)PURWVWCe[^_] PURSVE PWSXMZ؉))QRPWSV e[^_]ÐUWVS } u)A;M~^ URMQURSVEPMQURWS MQ)ڋM)QMQRPWSVe e[^_]ËURMQSVURMQWS뮐UWVSMyUzZ))9]EDž`ӈу ؈ ȃLjу ȃ@࿋] ЈEsSu{s}u{sK uMދK U$}V$Ѝ})1ɉOG QQpplQR<8lfjPS$QA`JG` `]EU {@s8}؋KF)t=w 8g WZ9(uŃD뎋V$Ћ$1)؉g GGRV$.DD WbU@2y)ڍufjVRWM)ىʋMA4qfjVWM QދU ދJ]JSW} WQEtFuЍ}9t< F)t=w 8g| S9uɐt&e[^_]à P@<9tgtUX8 9 tA 3C)t=w 8gq V9 uōGD; h@g뻉 ]ҍ 44ee h@gEҍ LuHLee h@g h@g6i h@g!릃u.@ee h@g- h@g4u(ee h@g h@g{ƐUWVS } u9s h*9re[^_]à P; ESWP*A V8UWVSE],EuE S |M E$}xuE(utdUĉpClCh]|]Mu}EtpUhl]UEd|UEt))T)M؋UMtM܉up}䋵|xUȉủ}ЉEԋl}Mhxdu}MUph`l KEE;Et5M9uۋ``r`uu}밋UBEB‰EUE묋dph`l]؉{ `s{ Ĝ[^_]UVS] Eu9tHVAQȃ9uE[^]UVSM u]uVSIt uIu[^]ÐUVSu U]9t3RSA9tuA‰9uE[^]ÐUWVSMUM ;MtK֍Z!pSsQމىЃ;Utu܍yމك;UЉu]U ;E[^_]UWVSuE ]}t#Hvt WQAȉʃKu[^_]UWVSU4эMuPVE PuVQUuu)u8UWVS\]UU;] E}   ߊ Ὴ@ EsKwS sOW KSwsOWw C }{ 1ҋO)MMVFPRUWR}&MXQUЃ W R8&MQ|&UJFU }u5}S8Ke[^_]ÐUWVS\UE U?E"E]u ӈ} ˈ}U ÈߊM È㿊U@} ËE_wO Zr_wJ }Pw_uXV1҉^M Euuy F) SKPRVUR"MXQEЃ V P"}W"UJCU }u8Eu}XW?6KM9D>ɉ;tB щFtp^E Y;0F;p Hq NLt&^} Z;7F;p PVq NӋ{ uEV tBUt E@uEp u9MUUrUtEpE U9B9PUP 9 9|QYgU RH J} EA4]X)GC tXKJM ;7C;X5P ZSVӋJnE H E UAA u/Q8UP%UB t ‹@ uUBEtlj‹@u뼋U :P 2Q tK:tF>҉9tAʉF tp~] z;3tlF;ptkP rV7C ډAtHyz} ;t:A;H t9PJ QN Q v} xM 똉H듋E ʉX ŐUWVSUB)t =w 8g~ SWe[^_]Ã4u!eetЃ h@g뾃 h@g͐UMAAA 2A<A8]ÐUUB I@@ u BBB 2B<B8 BBBBÐUVSEtX8p 9t S9ue[^]ÐUU E ]UUE ʋM ]UE]P))ЉȉÐUU JU]9J%ÐUWVS} ] W K )ʋwM A)qMTC)‹E@@AFFF @@@ RQ!U JMMCK EESMĉU|U xBUEtOMp_ ]}NF lMZVu]UE]MUED$(t$$tD$pL$l|$ T$Uȋut$]\$|L$ x$D$ ,e[^_]Í& P& ]S<$ᐐUWVS,EE }pEЃG 4PVSW OQY _QNVK SSwU O ?OU E Ɖ_e[^_]ÉG PtO)4t PGt =w 8g~. SG^ VUҍ4u&e et h@g;럃 h@gȐUWVS]ue[^_]ÍWS$RCPSC3t=w 8g~ Ve[^_]Ãu!eet h@g뾃 h@g"͐UWVSUE} PRXZh&WM]Ѓlp9pٺx/PPtu/R hW{Pr‰ًXD@uJSSQRZYhP;ƒsD@u#SSQRZYh&PMȋU9ruUЋ]lp9l(puċEȋ}̋lpx|MĉEuԉ}E؉]}܉UlMUȋM̉uE}UM]uE}9pt=p t&9t*E;EuuF^]EE}9uփ MQve[^_]PPQRPPQRtMȋEċủE]EċU؉E}܋EȉMEuE̋MԋuЉEE܉}]uMU}]x|UE9u URtXW؉9t(;Gu_ CSW Gw9u؃ ]S볃 UR0UVSu] 9s R|9re[^]ÐUWVS]ue[^_]ÍVS$RCPSC3t=w 8g~ Ve[^_]Ãu!eet h@g뾃 h@gr͐UWVS\}W;WJtr2YZYZZ _}7u؋_]܉ˋwu֋U )<ljljǍy~ J ҉{~KNu}؋u >]܉^UVe[^_]Ë7)EÉÉÍYtEME]fjSU RVuVUԃхt]32srsrY MfjSwVU RQYuԋW 9uW)ȉȉȍBt'@=w 8g S]Ew [4wE @Sv7E PEE9t t&ƒ 9uU}t)MI=w 8g~$ uVT WKu}Meet h@g3뮃ҍ Mt h@gMee h@g h@g{nUVSM u] VSI~uI[^]ÐUU E ]UM M]ÐUU EJ]UVSM] u)RSQVc3e[^]ÐUWVS,]} 9tZwU)ыEЋC)9EvAM1PjVEP3C)uAuЉ;CCe[^_]ËC);Er>WQEPRuЋ;͍v=w 8g~V V?QPMQR{K3ʃ )w)VRQ띉 }W P<ҍ Mu0M̋ee h@gj h@gL뾐UWVS } u9s h9re[^_]à P USWR!  VUWVS\],u {S~VK } ] N M؉M9tMM*P] QA;]tj;Ft'} ;]tGuу] ;]tH~uًN yQV ~>N} ;]u]]\[^_]MEYE]OEWE] cUWVSMEM ;MtKǍP %ЉZ~z׋^Z Y ;]ىtu؍q Љ׃ ;]uM] E[^_]UVSMu ]9u$QS9tu9u[^]ÐUWVSFYt&EЍW)<)QRVW4&=w =8g~o V맍O)WQVS\U2B눍vLEM̅uB uV]EȋEx$pҍe[^_]UWVS } Uu)9|.QMQPRMىʉM)9}PURWEPve[^_]ÐUWVS ] }u;]t;}urM)~SIVMu)~{I~E0e[^_]ON;]t;}tPPSWU u؋KN֐UWVSE };Et)pN^WFV_;Eu݉E E8[^_]US] Et҉؉u[]ÐUWVS ]}uON;] t";}tPPSWUu؋KN֋M )~SIVM)~{I~e[^_]ÐUWVS ] }u;]tI;}uBON;]t+;}t&PPSWU u؋KN;]u؍vM)~t&SIVMu)~{I~E0e[^_]UVSu] 9s R9re[^]ÐUPP} }uÍt& hgϸ hhEjh@ 蛸Ív'UWVS}WPOD(,BBW\GDAAGP$G\jʷ$G\F4$vG(GhGGG GGGGG G$G,$G8_@9DHO<G0@EJ@@ u hR`X,Dž|DžxEEPq9PQTQ,PS[L P4RHDž4Q,PR0H0$SLXZQ,SVV hVTG4e[^_]ÍhVVV,R )HQ,VS袦HXQ,P떉 (GPQ9t v9u(Q)4ƉƉƍrt'@=w8g. Sµ,^wD9t h@gHh4t h@ge e h@gGkUWVSHu^\V8RԨS_^\8g SNPFPQ9t9uQ)<ljljǍzt'@=w 8g S蘦VDvDUȋZ]9t?t,^8~ 9t" C)tQQPR"9uރD;uuNjUȋJ))ΉƉt+=w58g Se[^_]ÿu^ee h@g輧N\RRyWS,N\CI~\GV\R n h@g$됋=8gEԋ SSNPFPQ9uQ)<ljljǍzt'@=w 8g SVDvDUЋZ];u6t,^8~ 9t" C)tQQPR|9uރDu( e e1 h@gt h@gƐƋEȋH))ωωlju V =w=8g Sɍ h@gh4t h@g轢e e h@gkUWVS ]srD vC9}1M؋Uԋ 1Ҋ1¸Ju1,[^_]UWV1S,] U[JPȋx]19sVBDEC9sωH$P )~]Iu Ny݋]̋MCD]9Mrċ}W,BW,Q$$$ P/Ep/t&UWVSUNz<4r<;r@19ZDBD]E3t&ډȃ]ȋ;JMFLAL;u}Q}EM W)‹)׉lj9rh,hsh,h /E8MUڋuNMEEE9M}xu^D]uUF]uE9]U}UM4щU؉ȋU E BD1҉E9A;EM]AM9]|Mu]Ћ NjFDǍ ȍ Q B;BtBU]:44uENEyPNxMEuȉM؉1‹EPD 9HB;E~EuNyUu]ȋϋND4ύ Q B;BPtBu}@uU}F @WOUĉF e[^_]Ë} MyDډ}֍ TBT] s‹EDTBT1/h,hh,h-<uߍJ A;At0AUu]: 9މ h<ߋ]]̍J A;Atmt]AE8B}SWq$VRx]VSq$VRa}PWB$PQJY}PWZ$SQ3뎍&'U1WVSu~ ^)NPPSV8^<~P)ӋQ),$vU PPh-R茊ZYSCPRZYh<PuZYODPQD MQOD))щ9re[^_]Ít&UEg]UhjÐUWVSu ]}N)QSUR誉MV)ˉ)ډVUe[^_]UWVSVVU u]z)ЉЉЍA~3J NKNKN K NKNKӉ]؉]9t&9uUE)ˉˍ4XE v)׉xE]ZY[^_]UWVSl]}MQq)ȉȉȍ B9E MȋWŰOMЋW UԋOM؉)WU܍ h@gE) h@g뾐US] EM9t2PBABABA BABABЃ9uԉE[]ÐUSM U]u*4CBCBC B CBCBIt uԺIu[]ÐUVSu UM9tQ0BABAB A BABACÉ9tu̍C‰9u썶E[^]ÐUWVSME] ;]t_ǍP79Љzqryzq ryz׋qrs;utuƍ{Љ׃;uuMu E[^_]UWVS}E ]ut;Pvt#JNJNJN JNJNJЉуKuω[^_]USM] U9u.=ABABA B ABAB9tuЃ9u[]ÐUPP} }uÍt& hg证 hhEjhP{Ív'UVS]u t0QQht/V߁Y ZQP衂u0e[^]ÍRRhw/V证Y ZQPqtE ^ue[^]鄁&UWVS ME ˉM1ɉEKU1z9|-zPPht/UR6ZY QPu8F9}O] uPPhw/URZY QPtPPh^EP؀F9|t&uE |ue[^_]PPh~-}W裀G&'UWVS }_tt119s5%Aƃ9sh0j=hz/h/vtth0jAhz/h0|T e[^_]h0j:hz/h/h0jBhz/h0뾐UWV1S }G O$)19st(9u4C9rF vʍe[^_]h0jJhz/h/~h0jKhz/h0荶UWVS ]PPE h/P0Y1^ QP_Zh/PKƒ8wD@uVVQR_Zh/P~K ƒ8wD@ueVVQR_Zh/P~Kƒ8wD@u=VVQRN_Zh|P}E/VVhU u/] PS>~1ۃP3~N$V )9sTt& ʋ~t&RCRU PR~ZYh}$P}N$V )9r SS] he&S}^Zh|P|E@E}4} QQh|W|e[^_]Ëu PPh^Vn}&PPQR]|nWWQRO|VVQRA|h@0hhh,-|UEg]~UhjÐU]u1L}C{)9sEאt&FE9r]u}]Ð&U]RvL}u)pu]]u}]NuA]u}]Ë$ÐUSRPdPdt ЋuX[]US[KP6~Y[Can't open input file, it's a directory too long. Unable to continue...Unable to read number of variables and clauses( Stack + Vsids + Shrinking Decisions ) Memory out, unable to determine the satisfiability of the instanceTime out, unable to determine the satisfiability of the instanceVerify Satisfiable solution failed, please file a bug report, thanks. Clauses are true, Verify Solution successful.Z-Chaff: Accelerated SAT Solver from Princeton. Copyright 2000-2004, Princeton University.Can't open input fileInput line p cnf %d %dat line UNKNOWNUnknown outcomeRandom Seed Used Max Decision Level Num. of Decisions + Original Num Variables Original Num Clauses Original Num Literals Added Conflict Clauses Num of Shrinkings Deleted Conflict Clauses Deleted Clauses Added Conflict Literals Deleted (Total) Literals Number of Implication Total Run Time RESULT: ABORT : MEM OUTInstance SatisfiableABORT : TIME OUTUNSATInstance Unsatisfiable(Unknown variable value stateDec: AddCl: AddLit: DelCl: DelLit: NumImp: AveBubbleMove: RunTime:c Z-Chaff Version: ......Solving cnf_file [time_limit]Usage: Chaff 2004.11.15 Simplifiedzchaff_cpp_wrapper.cppzchaff_base.hi >= 1 && i <= 32int SAT_GetVarAsgnment(void*, int)bool CClause::gid(int)void CClause::clear_gid(int)void CClause::set_gid(int)v_idx > 0 && v_idx < (int) solver->variables()->size()zD*** in %s at %s:%dư>void CSolver::set_variable_number(int)int CSolver::add_variable()void CSolver::init_solve()void CSolver::set_var_value(int, int, int, int)ClauseIdx CLitPoolElement::get_clause_index()void CSolver::delete_clause_group(int)bool CClause::gid(int)void CSolver::adjust_variable_order(int*, int)bool CSolver::decide_next_branch()int CSolver::preprocess()ClauseIdx CSolver::add_clause_with_gid(int*, int, int)void CSolver::back_track(int)int CSolver::deduce()void CSolver::verify_integrity()void CSolver::mark_vars(int, int)int CSolver::analyze_conflicts()int CSolver::finish_add_conf_clause(int)int CSolver::conflict_analysis_firstUIP()void CSolver::print_cls(std::ostream&)void CSolver::clean_up_dbase()void CSolver::restart()int CSolver::add_clause_incr(int*, int, int)zchaff_solver.cppnum_variables() == 0 Decision: / Time: _conflict_lits.empty()_num_marked == 0_num_in_new_cl == 0_dlevel == 0value == 0 || value == 1var.value() == 2dl == dlevel()Assignment Stack: ) is_gid_allocated(gid)var.value() != 2s_var >= 2dlevel() == 0r == NO_CONFLICT CONFLICT during preprocess vars set during preprocess; gid <= 32 && gid > 0blevel <= dlevel()var.dlevel() <= dlevel()cl.num_lits() == 1watch_index == 2literal_value(lit) == 0!_conflicts.empty()_conflict_lits.size() == 0_implication_queue.empty()variable(vid).value() != 2unit_lit == -1ante_cl != -1dlevel() > 0A 0 cl.status() == CONFLICT_CL BytesRestarting ... is_conflicting(cl)max_lit > 1sat_dlevel > -1vector::reserveImplication Queue Previous: ) _assignment_stack.size() == num_variables() + 1_ordered_vars[pos].first == & var_ordered_vars[pos].second == orig_score_assignment_stack[dlevel()]->size() > 0ptr->value() == 2 && ptr->is_branchable() Variables are defined but not used Variables only appear in one phase.(*_assignment_stack[dlevel])[pos] == (int) (i+i+1-value)variable(lit.var_index()).dlevel() <= variable(vid1).dlevel()variable(v).dlevel() < dlevel()_resolvents.empty() || var_idx != -1variable(v).new_cl_phase() == (*itr).var_sign()var.new_cl_phase() == (unsigned)(svar & 0x1)literal_value(clause(added_cl).literal(i)) == 0var.new_cl_phase() == (unsigned)(s_var & 0x1)variable(assigned>>1).new_cl_phase() == 2Database Cleaned, releasing (approximately) !_params.shrinking.enable || _shrinking_cls.empty()void CDatabase::lit_pool_push_back(int)void CDatabase::free_gid(int)bool CDatabase::is_gid_allocated(int)int CDatabase::merge_clause_group(int, int)bool CClause::gid(int)void CClause::clear_gid(int)void CClause::set_gid(int)ClauseIdx CLitPoolElement::get_clause_index()ClauseIdx CDatabase::add_clause(int*, int, int)void CDatabase::lit_pool_incr_size(int)zchaff_dbase.cppNot enough GIDCan't free unallocated GIDg1 != g2_val <= 0Lit_Pool Used Free Total Num. Cl Num. Lit Efficiency CL : @ ======removed=====Dump Database: VID _lit_pool_finish <= _lit_pool_end_storagegid > 0 && "Can't free volatile or permanent group"gid <= 32 && "gid > WORD_WIDTH?"g1 >0 && g2> 0 && "Can't merge with permanent or volatile group"is_gid_allocated(g1) && is_gid_allocated(g2)(unsigned)var_idx < variables()->size()q= ףp??333333??@?? - +zchaff_base.cppliteral(i).is_literal()num_lits() > 0w[j]->is_watched()V: DL: POS: Ante: WNeg WPos bool CClause::self_check()bool CVariable::self_check()ClauseIdx CLitPoolElement::get_clause_index()num_lits() ==1 || watched == 2!literal(num_lits() + 1).is_literal()(unsigned)w[j]->var_sign() == i;l0ffv~@ЀP pDlP`$pLlБВ @Dl00 4\з Ll P$pLt` P0|   Hpt `(`(((P`)xP*,023(4L?t DEFI LP L| SP(S U PV X$!XL!Zt!0^!_!`"`," bT"b"Pc"0m"0q #rX#s#Pu#w#x${T$~$Ѐ$p%,%0T%|%%%@%Д,&T&0&&`&'8'`''Ц'@'p(((p(P(P(P)0)X)`)P)))$*L*t***P*PT++ +p++,`,,\dzPL|  0FAB e.<@ L]AB IR.|.I.*.I. .I.PAB Fr.. l.I.U. W.I.U. W.I.W.I.Y.y.@>AB BO.. W.R.^. W.R.P. W.R.,бzAB FK..I.<HPAB F].U.I.m.R..I.l.R.$pAB FM.$AD F. $AB Fs.$AB Fj.( AB J.HFAB e.$h;]AB BH.$P)AB AL.O.$`AB Ei.pAB G.AB  AB I.@AB I.$`AB Eo.$]AB Fa.$ ]AB Fn.$@g^AB Fd.$^AB Fq.$(g/^AB Fd.$P0?^AB Fq.$x0O^AB Fa.$_^AB Fn.$o^AB Fd.$^AB Fg.$AB FT.@AB J.zP|  AB FT. DAB FU.zPL|  FAB e.@AB A`AB A8'^AB ID.7.0.`.G.8 (^AB ID.7.0.`.G.$P _AB Ia.$ p 6_AB Ia.H*AB 8h*V_AB Ix.o.[. P.. e.N.$-w_AB Im.$0AB F~.,`1,AB F.. S.($3AB Fg.$P07AB F.(x8AB F(.$;AB FI.$=DAB FH.$>AB E}.(?AB I.HpD+AB A<h G>AB I...I...,`N _AB I..I. YEAB AQ.$`YAB FU.$$YjAB BP.$L`ZAB Aa.i.,tP[7AB AW.o.g.v.G.,]AB F.. a.$0cAB F. dAB AN.$ eP AB Ig.$HpAB Fm.$p uAB F.$vAB BCI.$w_AB FU.8zX_AB F.]. g.r.P.}.($}AB Af.k.I.$P}BAB Fu.$x/AB F.$pAB F~.,P_AB FN..P.$AB FM.$ AB Fs.<HЋQ`AB FU.. }..d.N.I.$0AB Fs.$АAB Ff.$NAB Ft. $!AB F{.(( AB F[.K. (TAB Fp. W.@P 8`AB I.v. .%.M..V.,0dl`AB FT.r.P.40AB FU. f.b. .o. s.(, AB Fd.e. $X AB FV. < P`AB F.U.L.).@.I.I.$ AB F.< Щ`AB F.U.L...@.I.I.<( `AB F.U.L.0.@.I.I.4h `AB F.U.L.P.P.4 бaAB F.U.L.5.P.$ pdAB Fy.$ dAB Fn.$( 0AB F{. $P AB Fq. $x RAB Fk., $aAB I..0[., @ $ > 4: ; I?  &I%% $ > : ; I$ > .? : ; ' @  U4: ; I4: ; I &I I ! '  I4: ; I? < %S/ ../sysdeps/i386/elfstart.Sp.01:"VWYX   init.cC /usr/src/packages/BUILD/glibc-2.3/cc/csucrti.St3,Wd#,: ,Wdd,,-Y /usr/lib/gcc-lib/i586-suse-linux/3.3.1/includeelf-init.cstddef.h+j+[8Ke;VuVV kC /usr/src/packages/BUILD/glibc-2.3/cc/csucrtn.S | XAB IP `AB FNOshort unsigned intunsigned char/usr/src/packages/BUILD/glibc-2.3/csushort intlong long intlong long unsigned int_IO_stdin_usedGNU C 3.3.1 (SuSE Linux)__libc_csu_finisize_t__init_array_end__init_array_startelf-init.c__fini_array_end__libc_csu_init__fini_array_startsize !X.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_hdr.data.eh_frame.gcc_except_table.dynamic.ctors.dtors.jcr.got.bss.comment.debug_aranges.debug_pubnames.debug_info.debug_abbrev.debug_line.debug_frame.debug_str.debug_ranges#(( 1HH47 ||?GoToDDc Ԑ`l 44 upp{pptt` 1ddEd pEpL]L\c\ITII>I> g0F 6 >n  gF 6 #)>V vgF 6 >' 3d 0@ . '  /S!##!@!7w!+!W!!""@"!")3"*t#'@#_##-@  hgF 6@  y +(>H+L++& +,+,) ,@,.Y ,0 ,( P  g F 6P 0( 0@0.[ `   P&" Q @" `"  ` *   " d  pF" " `=  0" /" А" O;* [` {P  YE   " %0 B Q,)hЋQ" "   /D!k" <`0 5   N pL:\cPL `;" Pe'`;" Od" " > P) 4о J j \pd" ; 5l Lpr l|" 3e!f" б" ee@ ( !@   >0c WD" 0" м  $ >  V@Xa { " dEg" :L" ap F"   " %P"  m" N̓Dg" U" 0)"   hE 0  :`d" ~1" ` " ܓ@  Щ" I" "  P8 !%5P) Q8" f {Z  0" 5 (" @"" e" @ Te 0f(! 0 w P `  !0" ! r!  ! !0" 0"/|" "@" "P." "PF #,$#X` G#p" u#P  #> #8 #}B #<X#` $ #$p" s$Le$Xf@!$\!$ K" x%0|" %бz %g%  %f%- &2 &&$g8&(g!q&lK&|'N" ]' u w'." '<'px '0  (" (  8(] M(0 j(`Y ( " (  (P  (`  (p )  )."6)8g!~)eP  ) + )  )} )0:" E*  _*P}*p **" +R" +" ,\ #,p  >," l, ," -  --̔I- l-ܔ--" -p" -F" g.`N  ." .H!7/!" i/6" /`i" =0P " 0  0n 0dE0X 0p 1  71 Y1z1Le1@  1@  1P 1pM 1  1 2 2" ?2 ^2  v2 2z 2F" 3dE3@g" <39 S3  p3  3pm" 4І " g4z4^ 4p 4`Z 4dE 40 4d 5K 65gK5" 5U 5t 5zX 5,5  6" z6<6P" 6D 7L[7p  !7\470" 70d" 7Yj 8p 584 P80" t8@g!8`1, 8" 9`" 49lD9|S9 9P[7 9pD+ 9* :" j:&" :' :=D ;1#;Le*;@ A;`\" ; ;dd;;g;* <p 6<07 V<P  p<P" <@!" <" =,=Pu" = =P =! =M =_ >  >" v>" > G> >@ ?; .?@" ?`;i ?}@3 -@  D@" n@̕@dE@P" A" CA!" A? AAܕ!B."=B8PBPZ bB |B B" !Cp" eC" CP  C` D !(DzD  DdED" E  5E IEXg@!E,E<.Ev Ep0 E Fp" F@>" Fe" G ." pGLGп GT G " ;H\ ~H H" /usr/src/packages/BUILD/glibc-2.3/cc/config.habi-note.S/usr/src/packages/BUILD/glibc-2.3/cc/csu/abi-tag.hinit.c/usr/src/packages/BUILD/glibc-2.3/cc/csu/crti.S/usr/src/packages/BUILD/glibc-2.3/cc/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/usr/src/packages/BUILD/glibc-2.3/cc/csu/crtn.Ssat_solver.cpp_ZSt8__ioinit_Z41__static_initialization_and_destruction_0ii__tcf_0_ZZ18__gthread_active_pvE20__gthread_active_ptr_GLOBAL__I__Z8read_cnfPvPczchaff_cpp_wrapper.cpp_ZZ18SAT_GetVarAsgnmentPviE19__PRETTY_FUNCTION___ZZN7CClause3gidEiE19__PRETTY_FUNCTION___ZZN7CClause9clear_gidEiE19__PRETTY_FUNCTION___ZZN7CClause7set_gidEiE19__PRETTY_FUNCTION___GLOBAL__I__Z15SAT_InitManagervzchaff_utils.cppzchaff_solver.cpp_ZZN7CSolver19set_variable_numberEiE19__PRETTY_FUNCTION___ZZN7CSolver12add_variableEvE19__PRETTY_FUNCTION___Z22__gthread_mutex_unlockP15pthread_mutex_t_ZZN7CSolver10init_solveEvE19__PRETTY_FUNCTION___ZZN7CSolver13set_var_valueEiiiiE19__PRETTY_FUNCTION___ZZN15CLitPoolElement16get_clause_indexEvE19__PRETTY_FUNCTION___ZZN7CSolver19delete_clause_groupEiE19__PRETTY_FUNCTION___ZZN7CSolver21adjust_variable_orderEPiiE19__PRETTY_FUNCTION___ZZN7CSolver18decide_next_branchEvE19__PRETTY_FUNCTION___ZZN7CSolver10preprocessEvE19__PRETTY_FUNCTION___ZZN7CSolver19add_clause_with_gidEPiiiE19__PRETTY_FUNCTION___ZZN7CSolver10back_trackEiE19__PRETTY_FUNCTION___ZZN7CSolver6deduceEvE19__PRETTY_FUNCTION___ZZN7CSolver16verify_integrityEvE19__PRETTY_FUNCTION___ZZN7CSolver9mark_varsEiiE19__PRETTY_FUNCTION___ZZN7CSolver17analyze_conflictsEvE19__PRETTY_FUNCTION___ZZN7CSolver22finish_add_conf_clauseEiE19__PRETTY_FUNCTION___ZZN7CSolver26conflict_analysis_firstUIPEvE19__PRETTY_FUNCTION___ZZN7CSolver9print_clsERSoE19__PRETTY_FUNCTION___ZZN7CSolver14clean_up_dbaseEvE19__PRETTY_FUNCTION___ZZN7CSolver7restartEvE19__PRETTY_FUNCTION___ZZN7CSolver15add_clause_incrEPiiiE19__PRETTY_FUNCTION___GLOBAL__I__ZN7CSolver13re_init_statsEvzchaff_dbase.cpp_ZZN9CDatabase18lit_pool_push_backEiE19__PRETTY_FUNCTION___ZZN9CDatabase8free_gidEiE19__PRETTY_FUNCTION___ZZN9CDatabase16is_gid_allocatedEiE19__PRETTY_FUNCTION___ZZN9CDatabase18merge_clause_groupEiiE19__PRETTY_FUNCTION___ZZN9CDatabase10add_clauseEPiiiE19__PRETTY_FUNCTION___ZZN9CDatabase18lit_pool_incr_sizeEiE19__PRETTY_FUNCTION___GLOBAL__I__ZN9CDatabaseC2Evzchaff_base.cpp_ZZN7CClause10self_checkEvE19__PRETTY_FUNCTION___ZZN9CVariable10self_checkEvE19__PRETTY_FUNCTION___GLOBAL__I__ZN15CLitPoolElement4dumpERSoelf-init.c_ZNSt13basic_filebufIcSt11char_traitsIcEED1Ev@@GLIBCPP_3.2_ZSt24__uninitialized_copy_auxIN9__gnu_cxx17__normal_iteratorIPKP15CLitPoolElementSt6vectorIS3_SaIS3_EEEEPS3_ET0_T_SC_SB_11__true_type_ZNSt11_Deque_baseI12CImplicationSaIS0_EE17_M_initialize_mapEj_ZNSt6vectorIP15CLitPoolElementSaIS1_EED1Ev_ZN9CDatabase21output_lit_pool_statsEv_Z16SAT_MakeDecisionPvii_ZN7CSolver14set_time_limitEf_ZNK9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS1_SaIS1_EEEplERKi_ZN9CDatabase10add_clauseEPiii_ZNSt6vectorIiSaIiEE5eraseEN9__gnu_cxx17__normal_iteratorIPiS1_EES5__ZNKSt6vectorIP15CLitPoolElementSaIS1_EE3endEv_ZN7CSolver22dump_implication_queueERSo_ZNSt6vectorIP15CLitPoolElementSaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1__ZNSt6vectorI9CVariableSaIS0_EE5eraseEN9__gnu_cxx17__normal_iteratorIPS0_S2_EES6__ZNSt5dequeIiSaIiEE16_M_push_back_auxERKi_ZNKSt9basic_iosIcSt11char_traitsIcEE5widenEc@@GLIBCPP_3.2_ZN7CSolver16elapsed_cpu_timeEv_ZN7CSolver16verify_integrityEv_Z14SAT_AddHookFunPvPFvS_Ei_ZN7CSolver15add_orig_clauseEPiii_Z17SAT_SetRandomnessPvi_ZSt10__copy_ni2ISt15_Deque_iteratorIiRKiPS1_ES0_IiRiPiEET0_T_S9_S8_12__false_type_Z22SAT_GetVolatileGroupIDPvpthread_create_ZNSolsEx@@GLIBCPP_3.2_ZNSt6vectorISt4pairIP9CVariableiESaIS3_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS3_S5_EEjRKS3__ZNSt6vectorIiSaIiEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPiS1_EERKi_Z9SAT_ResetPv_ZNSt15basic_streambufIcSt11char_traitsIcEE13_S_pback_sizeE_ZSt16__merge_adaptiveIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEEiS6_PFbRKS5_SC_EEvT_SF_SF_T0_SG_T1_SG_T2__ZNSi7getlineEPcic@@GLIBCPP_3.2_ZN7CSolver13set_mem_limitEi_Z14SAT_GenClsAnd2Pviiii_ZN9CDatabase16enlarge_lit_poolEv_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev@@GLIBCPP_3.2_DYNAMIC_ZN9CDatabase18merge_clause_groupEii_ZNSt5dequeI12CImplicationSaIS0_EE16_M_pop_front_auxEv_ZSt4cout@@GLIBCPP_3.2_ZNSt5dequeIiSaIiEE16_M_pop_front_auxEv_ZSt11upper_boundIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEES5_PFbRKS5_SC_EET_SF_SF_RKT0_T1__ZNSt5dequeI12CImplicationSaIS0_EE17_M_reallocate_mapEjb_Z13output_statusPv_Z18SAT_ReleaseManagerPv_Z15SAT_NumLiteralsPv_Z25SAT_NumDecisionsShrinkingPv_Z16SAT_NumDecisionsPv_ZNSt8ios_baseD2Ev@@GLIBCPP_3.2_ZSt11lower_boundIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEES5_PFbRKS5_SC_EET_SF_SF_RKT0_T1__Z15SAT_InitManagerv_ZNSolsEl@@GLIBCPP_3.2_ZN9CDatabase14is_conflictingEi_ZNSt24__default_alloc_templateILb1ELi0EE8allocateEj@@GLIBCPP_3.2_ZSt17__merge_sort_loopIPSt4pairIP9CVariableiEN9__gnu_cxx17__normal_iteratorIS4_St6vectorIS3_SaIS3_EEEEiPFbRKS3_SC_EEvT_SF_T0_T1_T2__ZTVSt9basic_iosIcSt11char_traitsIcEE@@GLIBCPP_3.2_ZSt24__uninitialized_copy_auxIN9__gnu_cxx17__normal_iteratorIP7CClauseSt6vectorIS2_SaIS2_EEEES7_ET0_T_S9_S8_12__false_type_ZSt26__uninitialized_fill_n_auxIN9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS2_SaIS2_EEEEjS2_ET_S8_T0_RKT1_12__false_type_ZNSt24__default_alloc_templateILb1ELi0EE12_S_free_listE@@GLIBCPP_3.2_ZNSolsEPFRSoS_E@@GLIBCPP_3.2_ZN7CSolverC1Ev_fp_hwfprintf@@GLIBC_2.0fflush@@GLIBC_2.0_Z13SAT_GenClsOr2Pviiii_Z26SAT_DisableConfClsDeletionPv_ZN7CSolver9mark_varsEii_ZSt26__uninitialized_fill_n_auxIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEEjS5_ET_SB_T0_RKT1_12__false_type_ZN11CClause_Gen6nand_nER7CSolverPiiii_Z13SAT_AddClausePvPiii_ZN7CClause10self_checkEv_Z13SAT_GenClsXorPviiii_ZN7CSolver21mark_var_unbranchableEi_ZNSt6vectorI7CClauseSaIS0_EE5eraseEN9__gnu_cxx17__normal_iteratorIPS0_S2_EES6___fini_array_end_ZN11CClause_Gen5nand2ER7CSolveriiiigetrusage@@GLIBC_2.0_ZSt26__uninitialized_fill_n_auxIP7CClausejS0_ET_S2_T0_RKT1_12__false_type_ZNSt6vectorIP15CLitPoolElementSaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPS1_S3_EES7__Z15SAT_AddVariablePv_ZN9__gnu_cxx17__normal_iteratorIPKP15CLitPoolElementSt6vectorIS2_SaIS2_EEEC1ERKS4__ZSt8__rotateIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEEEvT_SB_SB_St26random_access_iterator_tag_Z21SAT_GetCurrentCPUTimePv_ZSt24__uninitialized_copy_auxIN9__gnu_cxx17__normal_iteratorIPSt4pairIiS2_IPFvPvEiEESt6vectorIS7_SaIS7_EEEESC_ET0_T_SE_SD_12__false_type__assert_fail@@GLIBC_2.0_ZN11CClause_Gen4and2ER7CSolveriiii_ZSt24__uninitialized_copy_auxIP7CClauseS1_ET0_T_S3_S2_12__false_type_ZNKSt6vectorI9CVariableSaIS0_EE4sizeEv_Z19SAT_CleanUpDatabasePv__dso_handle_Z14SAT_GenClsAndNPvPiiii_ZNSt11_Deque_baseI12CImplicationSaIS0_EE15_M_create_nodesEPPS0_S4__ZN9CVariableD1Ev__libc_csu_fini_ZNSt5dequeI12CImplicationSaIS0_EEC1ERKS2___cxa_atexit@@GLIBC_2.1.3_Z15SAT_SetRandSeedPvi_ZSt26__uninitialized_fill_n_auxIP9CVariablejS0_ET_S2_T0_RKT1_12__false_type_ZSt5mergeIPSt4pairIP9CVariableiES4_N9__gnu_cxx17__normal_iteratorIS4_St6vectorIS3_SaIS3_EEEEPFbRKS3_SC_EET1_T_SG_T0_SH_SF_T2__ZN11CClause_Gen4not1ER7CSolveriii_ZN9CDatabase18estimate_mem_usageEv_Z12get_cpu_timev_ZdlPv@@GLIBCPP_3.2_Z21SAT_AverageBubbleMovePv_ZN9CVariable4initEv_ZN7CClause4dumpERSo_ZN9CDatabaseD1Ev_Z22SAT_NumDeletedLiteralsPv_ZNSt6vectorISt4pairIiS0_IPFvPvEiEESaIS5_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS5_S7_EERKS5__Z14SAT_NumClausesPv_ZSt24__uninitialized_copy_auxIN9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS2_SaIS2_EEEES7_ET0_T_S9_S8_12__false_type_ZSt5__gcdIiET_S0_S0__ZSt22__chunk_insertion_sortIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEEiPFbRKS5_SC_EEvT_SF_T0_T1__ZNSt8ios_base4InitC1Ev@@GLIBCPP_3.2_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE@@GLIBCPP_3.2_ZN7CSolver19enable_cls_deletionEb_ZN7CSolver14clean_up_dbaseEv_ZN9CDatabaseC2Ev_Z18SAT_InitNumClausesPv_ZSt17__merge_sort_loopIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEES6_iPFbRKS5_SC_EEvT_SF_T0_T1_T2__ZNSt8ios_baseC2Ev@@GLIBCPP_3.2_Z14SAT_GetCPUTimePv_init_ZSt4fillIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEES5_EvT_SB_RKT0__ZNSt9basic_iosIcSt11char_traitsIcEE8setstateESt12_Ios_Iostate@@GLIBCPP_3.2_Z17SAT_NumShrinkingsPv_ZNSt6vectorI9CVariableSaIS0_EE3endEv_ZNSt11_Deque_baseIiSaIiEE16_M_destroy_nodesEPPiS3__ZN7CSolver20decay_variable_scoreEvmalloc@@GLIBC_2.0_ZN7CSolver19mark_var_branchableEi_ZNSt6vectorI9CVariableSaIS0_EE6resizeEjRKS0__ZN9CDatabase4dumpERSo_ZN7CSolver5resetEv_ZN7CSolver17set_var_value_BCPEii_ZN7CSolver15add_clause_incrEPiiimemmove@@GLIBC_2.0_ZN9CDatabase8free_gidEi_Z7warningPcS_iS_z_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE8_M_eraseEPSt13_Rb_tree_nodeIiE__cxa_rethrow@@CXXABI_1.2_ZTVSt15basic_streambufIcSt11char_traitsIcEE@@GLIBCPP_3.2_ZNSt12__basic_fileIcED1Ev@@GLIBCPP_3.2_ZSt24__uninitialized_copy_auxIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEES6_ET0_T_SC_SB_12__false_type_ZN9CVariableC1Ev_Z15verify_solutionPv_global_check_level_Z21SAT_GetElapsedCPUTimePv_ZSt4cerr@@GLIBCPP_3.2_ZN7CSolver12add_variableEv_ZN9CDatabase14detail_dump_clEiRSostderr@@GLIBC_2.0_ZTTSt14basic_ifstreamIcSt11char_traitsIcEE@@GLIBCPP_3.2_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc@@GLIBCPP_3.2_ZNSt13basic_filebufIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode@@GLIBCPP_3.2_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE12insert_equalERKS2__ZN7CSolver9print_clsERSo_ZNSt11_Deque_baseI12CImplicationSaIS0_EE16_M_destroy_nodesEPPS0_S4_vfprintf@@GLIBC_2.0_ZN15CLitPoolElement4dumpERSo_Z11SAT_VersionPv_ZN16ImplicationQueue4dumpERSo_Z14SAT_GenClsNor2Pviiii_ZN7CSolver6deduceEv_ZN7CSolver8add_hookEPFvPvEi_ZN7CSolver19add_clause_with_gidEPiii_ZN11CClause_Gen5and_nER7CSolverPiiii_Z19SAT_NumAddedClausesPv_ZN7CSolverD2Ev_Z15SAT_GenClsNand2Pviiii_start_Z15SAT_SetMemLimitPvipthread_mutex_lock@@GLIBC_2.0_ZNSt24__default_alloc_templateILb1ELi0EE12_S_force_newE@@GLIBCPP_3.2.2_ZN7CSolver22finish_add_conf_clauseEi_Z16SAT_NumVariablesPv_Z20SAT_DisableVarBranchPvi_ZN7CSolver7restartEv_ZSt26__uninitialized_fill_n_auxIPSt4pairIP9CVariableiEiS3_ET_S5_T0_RKT1_12__false_type_Z19SAT_NumImplicationsPv_ZNSt6localeD1Ev@@GLIBCPP_3.2_Z20SAT_NumAddedLiteralsPv_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv@@GLIBCPP_3.2_ZNSt5dequeI12CImplicationSaIS0_EE16_M_push_back_auxERKS0__ZSt16__merge_backwardIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEES6_SA_PFbRKS5_SC_EET1_T_SG_T0_SH_SF_T2__ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2__ZN7CSolver10back_trackEi_Z15SAT_GenClsNandNPvPiiii_ZNSt11_Deque_baseI12CImplicationSaIS0_EED2Ev_Z21SAT_NumDecisionsVsidsPv_ZSt22__stable_sort_adaptiveIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEES6_iPFbRKS5_SC_EEvT_SF_T0_T1_T2__Z20SAT_GetGlobalGroupIDPv__cxa_end_catch@@CXXABI_1.2_ZN9CDatabase17find_unit_literalEi_ZNSolsEd@@GLIBCPP_3.2__strtol_internal@@GLIBC_2.0_ZNSt6vectorI9CVariableSaIS0_EE5beginEv_ZNKSt6vectorIP15CLitPoolElementSaIS1_EE5beginEv_ZSt11swap_rangesIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEESA_ET0_T_SC_SB__ZN7CSolver10preprocessEv_ZSt16__insertion_sortIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEEPFbRKS5_SC_EEvT_SF_T0__ZNSt15basic_streambufIwSt11char_traitsIwEE13_S_pback_sizeE_ZNSt6vectorIP15CLitPoolElementSaIS1_EE7reserveEj_ZSt26__uninitialized_fill_n_auxIPSt4pairIP9CVariableiEjS3_ET_S5_T0_RKT1_12__false_type_ZSt24__uninitialized_copy_auxIN9__gnu_cxx17__normal_iteratorIP7CClauseSt6vectorIS2_SaIS2_EEEES3_ET0_T_S9_S8_12__false_type_ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0__Z14SAT_GenClsNorNPvPiiii_Z18SAT_GetVarAsgnmentPvi__fini_array_start__libc_csu_init_ZN7CSolver26conflict_analysis_firstUIPEv_ZN9CDatabase9mem_usageEv_ZN9CDatabase16compact_lit_poolEv__gxx_personality_v0@@CXXABI_1.2__bss_start_Z9SAT_SolvePv_Z19SAT_SetNumVariablesPvimain_Z22SAT_ClearClauseGroupIDPvii_Z8read_cnfPvPc_Z25SAT_EnableConfClsDeletionPv_Z15SAT_Random_SeedPv_ZN11CClause_Gen4or_nER7CSolverPiiii_ZN7CSolver15init_parametersEv_Z17SAT_NumDelOrigClsPv__libc_start_main@@GLIBC_2.0_ZN9CVariable10self_checkEv_ZSt4fillIN9__gnu_cxx17__normal_iteratorIP7CClauseSt6vectorIS2_SaIS2_EEEES2_EvT_S8_RKT0___init_array_end_ZN11CClause_Gen3or2ER7CSolveriiii_ZN9CVariable4dumpERSo_Z22SAT_AllocClauseGroupIDPv_Z16SAT_SetTimeLimitPvf_ZSt24__uninitialized_copy_auxIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEESA_ET0_T_SC_SB_12__false_type_ZNSt6vectorI9CVariableSaIS0_EE6insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_realloc@@GLIBC_2.0_ZN9CDatabase9alloc_gidEv_Z20SAT_EstimateMemUsagePv_ZN7CSolver10real_solveEvdata_start_ZN7CSolver15set_random_seedEi_ZN7CSolver17analyze_conflictsEv_ZN9CDatabase16is_gid_allocatedEi_global_debug_leveli_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE13insert_uniqueERKi_Z22SAT_IsSetClauseGroupIDPvii_fini_ZN7CSolver16update_var_scoreEv_ZSt20__throw_length_errorPKc@@GLIBCPP_3.2_Z21SAT_DeleteClauseGroupPvi_ZNSt6vectorIPS_IiSaIiEESaIS2_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS2_S4_EERKS2__ZNSolsEm@@GLIBCPP_3.2_ZSt24__uninitialized_copy_auxIP9CVariableS1_ET0_T_S3_S2_12__false_type_ZN7CSolver21adjust_variable_orderEPiisrand@@GLIBC_2.0_ZN7CSolverD1Evopendir@@GLIBC_2.0_ZSt22__merge_without_bufferIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEEiPFbRKS5_SC_EEvT_SF_SF_T0_SG_T1__ZNSt11_Deque_baseIiSaIiEE15_M_create_nodesEPPiS3__ZN7CSolver19add_conflict_clauseEPiii_ZN9CDatabase12is_satisfiedEi_Z17SAT_GetClauseLitsPviPi_ZN11CClause_Gen4nor2ER7CSolveriiii_ZNSt24__default_alloc_templateILb1ELi0EE22_S_node_allocator_lockE@@GLIBCPP_3.2_ZN7CSolver22run_periodic_functionsEv_ZNSt11_Deque_baseIiSaIiEED2Ev_Z12cmp_var_statRKSt4pairIP9CVariableiES4_exit@@GLIBC_2.0_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_@@GLIBCPP_3.2_ZN9CDatabase19mark_clause_deletedER7CClause_ZN7CSolver5solveEv_ZN7CSolver8time_outEv_ZN7CSolver19set_variable_numberEi_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E_ZSt18uninitialized_copyIN9__gnu_cxx17__normal_iteratorIPKP15CLitPoolElementSt6vectorIS3_SaIS3_EEEEPS3_ET0_T_SC_SB__ZN7CSolverC2Ev_ZN7CSolver19delete_clause_groupEisscanf@@GLIBC_2.0_edata__i686.get_pc_thunk.bx_ZSt26__uninitialized_fill_n_auxIN9__gnu_cxx17__normal_iteratorIP7CClauseSt6vectorIS2_SaIS2_EEEEjS2_ET_S8_T0_RKT1_12__false_type_Z5fatalPcS_iS_z_GLOBAL_OFFSET_TABLE_free@@GLIBC_2.0_end_ZN7CSolver12cpu_run_timeEv_Z20SAT_GetClauseNumLitsPvi_ZN7CSolver13set_var_valueEiiii_Z19SAT_InitNumLiteralsPv_ZNSt11_Deque_baseIiSaIiEE17_M_initialize_mapEj_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE19_M_empty_initializeEv_ZN11CClause_Gen5nor_nER7CSolverPiiii__cxa_begin_catch@@CXXABI_1.2_ZNSt6vectorISt4pairIP9CVariableiESaIS3_EE5eraseEN9__gnu_cxx17__normal_iteratorIPS3_S5_EES9__Z13handle_resultPviPc_ZN9CDatabaseC1Ev_Z17SAT_GetClauseTypePvi_Z20SAT_SetClauseGroupIDPvii_Z17SAT_GetNextClausePvi_Z21SAT_NumDeletedClausesPv_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE9_M_insertEPSt18_Rb_tree_node_baseS7_RKi_ZSt4fillIN9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS2_SaIS2_EEEES2_EvT_S8_RKT0__ZN7CSolver18decide_next_branchEv_Z13SAT_MaxDLevelPv_ZN7CSolver21dump_assignment_stackERSo_ZSt5mergeIPSt4pairIP9CVariableiEN9__gnu_cxx17__normal_iteratorIS4_St6vectorIS3_SaIS3_EEEESA_PFbRKS3_SC_EET1_T_SG_T0_SH_SF_T2__ZN7CSolver15unset_var_valueEi_ZNSt24__default_alloc_templateILb1ELi0EE10deallocateEPvj@@GLIBCPP_3.2_ZN7CSolver10init_solveEv_Z13SAT_GenClsNotPviii_ZNSt5dequeIiSaIiEE17_M_reallocate_mapEjb_Unwind_Resume@@GCC_3.0__init_array_start_ZSt25__unguarded_linear_insertIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEES5_PFbRKS5_SC_EEvT_T0_T1__ZN11CClause_Gen4xor2ER7CSolveriiii_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE19_M_empty_initializeEv_ZN7CSolver25delete_unrelevant_clausesEv_IO_stdin_used_ZSt5flushIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_@@GLIBCPP_3.2pthread_mutex_unlock@@GLIBC_2.0_Znaj@@GLIBCPP_3.2_ZN9CDatabaseD2Ev_ZN7CSolver10init_statsEv_ZN7CSolver13re_init_statsEv_ZSt24__merge_sort_with_bufferIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEES6_PFbRKS5_SC_EEvT_SF_T0_T1__ZSt28_Rb_tree_rebalance_for_erasePSt18_Rb_tree_node_baseRS0_S1_S1__ZSt24__uninitialized_copy_auxIN9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS2_SaIS2_EEEES3_ET0_T_S9_S8_12__false_type_Z13SAT_GenClsOrNPvPiiii_ZN9CDatabase7is_unitEi_ZdaPv@@GLIBCPP_3.2_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E@@GLIBCPP_3.2_Z20SAT_MergeClauseGroupPvii__data_start_ZSt24__uninitialized_copy_auxISt15_Deque_iteratorI12CImplicationRKS1_PS2_ES0_IS1_RS1_PS1_EET0_T_SA_S9_12__false_type_Z19SAT_EnableVarBranchPvi_Jv_RegisterClasses_ZTVSt13basic_filebufIcSt11char_traitsIcEE@@GLIBCPP_3.2rand@@GLIBC_2.0_ZNSt8ios_base4InitD1Ev@@GLIBCPP_3.2_ZN7CSolver9mem_usageEv_ZN7CSolver14set_randomnessEi_ZN9CDatabase19get_free_clause_idxEv_ZSt5mergeIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEESA_S6_PFbRKS5_SC_EET1_T_SG_T0_SH_SF_T2__ZSt24__uninitialized_copy_auxIPSt4pairIP9CVariableiES4_ET0_T_S6_S5_12__false_type_ZNSt6vectorIP15CLitPoolElementSaIS1_EEaSERKS3__ZNSt6vectorI7CClauseSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0__Znwj@@GLIBCPP_3.2_Z25SAT_NumDecisionsStackConfPv_Z18SAT_GetFirstClausePv_ZSt21__inplace_stable_sortIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEEPFbRKS5_SC_EEvT_SF_T0__ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c@@GLIBCPP_3.2__gmon_start___ZSt17__rotate_adaptiveIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9CVariableiESt6vectorIS5_SaIS5_EEEES6_iET_SB_SB_SB_T1_SC_T0_SC_