ELF>8@@0@8 @ @@@@@88@8@@@vv ``8 ``TT@T@DDPtd@@44QtdRtd``  /lib64/ld-linux-x86-64.so.2GNUGNU03z 3)]0`1_024dT)r:M(EL CpyIkxF  S3g7n|fcv]SMY*9NyDX/! ``!` ! ` K@!`PA`K!@`,@libstdc++.so.6__gmon_start___Jv_RegisterClasses_Znam_ZNSt13basic_filebufIcSt11char_traitsIcEED1Ev_ZNKSt5ctypeIcE13_M_widen_initEv_ZNSo5flushEv_ZSt16__throw_bad_castv_ZdaPv_ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_l_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE_ZNSi10_M_extractIxEERSiRT__ZNSt8ios_base4InitD1Ev_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E_ZNSt6localeD1Ev_ZNSt15basic_streambufIcSt11char_traitsIcEED2Ev_ZNSo9_M_insertIxEERSoT__ZNSt13basic_filebufIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode_ZNSt8ios_baseC2Ev_ZNSt9basic_iosIcSt11char_traitsIcEE5clearESt12_Ios_Iostate_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv_ZNSirsERi_ZTTSt14basic_ifstreamIcSt11char_traitsIcEE_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev__gxx_personality_v0_ZSt4cout_ZTVSt15basic_streambufIcSt11char_traitsIcEE_ZNSolsEi_Znwm_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc_ZNSt14basic_ifstreamIcSt11char_traitsIcEED1Ev_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6__ZNSt9basic_iosIcSt11char_traitsIcEED2Ev_ZNSt8ios_baseD2Ev_ZNSi7getlineEPclc_ZNSo3putEc_ZNSt8ios_base4InitC1Ev_ZTVSt13basic_filebufIcSt11char_traitsIcEE_ZNSt12__basic_fileIcED1Ev_ZdlPv_ZTVSt9basic_iosIcSt11char_traitsIcEElibgcc_s.so.1_Unwind_Resumelibc.so.6__printf_chk_IO_putcsrandputstime__stack_chk_failputcharclock__cxa_atexitmemsetstdoutsscanftimes__libc_start_mainGCC_3.0GLIBC_2.4GLIBC_2.3.4GLIBC_2.2.5CXXABI_1.3GLIBCXX_3.4.9GLIBCXX_3.4.11GLIBCXX_3.4  P&y -@ii ti ui ӯk)at)``2 `0`5`6 `3@`7`1```` `(`0` 8` @` H` P` X```h`p`4x``````````Ƞ`Р`ؠ```` `!`"`#`$`% `&(`80`'8`(@`)H`*P`+X`,``-h`.p`/HJkH5: %< @%: h%2 h%* h%" h% h% h% h% hp% h`% h P% h @% h 0%ڊ h %Ҋ h %ʊ h%Š h% h% h% h% h% h% h% h% hp%z h`%r hP%j h@%b h0%Z h %R h%J h%B h%: h %2 h!%* h"%" h#% h$% h%% h&% h'p% h(`% h)P% h*@% h+0%ډ h, %҉ h-%ʉ h.SHH@HH{ 1H@0H b@H @x@Hʉ H  D+TH=̎ H= H= 1e* H*Ynf.w&H XH DXEH|$ 1DZ E~`H ~ H=W 1H5^ A fDD+TTPH9 |!DLEu܋TTPH9 }Hn D@EumHn xu`B@`{H@`dHKf.H%h 1 @E@t(` HX=e t*z1H@[ÿ@H @>ݾ҃@DG% H[@`HHH@H`B``@HJ1I^HHPTI0@H@Hǰ@HHq HtHÐUHSH=8 uK`H2 H`HHH9s$fDHH `H H9r H[]fff.H= UHtHt]`]ÐUSH ~.11@Hq H<(Ht S H9ڋ ~IfDHQ H<HtH̊ H<HtH9-A }H= HtH= HtH=֊ HtH= HtH= HtH=s HtH=R HtxH=1 HtgH= HtVH= HtEH= Ht4H=} Ht#H=\ HtH Ht@H;HtH{HHtHCCHCFH߈ Ht@H;HtH{HHtHCCHCH=s HtiHR Ht@H;HtPH{HHt;HCCHCH Ht@H;HtH{HHtHCCHCQH Ht@H;HtH{HHtHCCHCH> Ht@H;HtlH{HHtWHCCHCH= Ht(H= HtH= HtH=o HtH=N HtH[]fDH[]ÐAWAVAUATUSH(= HcH= HŃHcH߇ 1HHÃHcH5‡ HEAH$D$ HD$HEHD$H<$H= H$L4$L5H D$ EAH2 L AL= E1N(IcMA0~BI1@HcH uHcHpIcAtA0H 9|AAI A9|?ML57 HcHAIH5 ]ED$J .DH;L$HQD H;T$ A „E 11oDH9wDE9zt*LcHc1NDH fDAHD9|AD$HHJ.1DHcTHA9D$ H$ID$ 9Å +HtH`HtIH(H[]A\A]A^A_E?ML% HcHI$1H5݄ A`H([]A\A]A^A_1ҿ1>AWAVAUATUSHHhH$ dH%(H$X1 H= Ƅ$H$ HDŽ$ `1HDŽ$Ƅ$HDŽ$HBH$ H HDŽ$HDŽ$HDŽ$ H H HDŽ$(HxH$0HDŽ$ `HDŽ$ `H$0H$ bH$0HHH$ H$ = Hx11$@Hl$ #CCH$ ȺH|$ pt;H$ H@HH {8uHH HP0H H!%tL$@HA`DHJA`@HDLH)HcD BHD 0BH$0HD 1H$ `= HcH= H HcH= H HcH= Ha HcH= H5 HcH=p H HcHz=T H݁ HcH^=8 H HcHB= H HcH&= HY HcH =ԁ H HcH= Hр HcH= H HcHHz HËl CHH<Hc{HHwHcSH;1HCH!HcSH{1HCH FHË CHH<Hc{HHHcSH;1HCHHcSH{1HCH, HË CHH<Hc{HHHcSH;1HCHCHcSH{1H0=: CH~ HcHMH~ LHË CHH<Hc{HHHcSH;1HCHHcSH{1HCH~ HË CHH<Hc{HHHcSH;1HCHIHcSH{1H6=P CH~ HcHSH} RHË CHH<$Hc{HHHcSH;1HCHHcSH{1H=~ CHW} HcH=~ H| HcH=~ H| HcH=j~ H| HcHt=N~ HW| HcHX@LHu *~ ~ H=} 1HcH} H=} 1HcH} 0E11E1} EOH| J(fDHH>} HcTHt$H$ T$uH} L=} HH<@HgK/IL | L| AL| K*H1D"01)1JD8HcE@ƃHrAH A99HcHHK*HI@AFI9| HtHCH$0Hw| ~RH<| fL%6| HH<@HdI\H | )| H9} | E1L { ~xGE~]H{ L{ 1L{ JfHcxI IH8HcHRHH:xH zC94͋{ API9|{ ~<H=g{ H5P{ H 1HcTLDGHH9HRIu0=F{ AV{ dH$0HDŽ$ `HDŽ$ `HDŽ$00`pH$sH$hHDŽ$0P`*H x H x H$ H$ H@H HDŽ$(HDŽ$ `H$XdH3%(Hh[]A\A]A^A_LH5vy H$ LH_y Hhy H9tHx 1LHrx H{z H$ H$ Hxw JHxw xHH$ HH$H H$0Hv Hv H$ H$ H@H HDŽ$(#H{HHH$ H^HHLv HBH$ HAv H HDŽ$(H$0HHHHff. AW@`AVAUATUSHHt H@H`H{8OCC`H=:x HcHK=%x HŃHcH3 x 1HHÃHcHw 1H߃HcHD-w E9AEL5w L=w Lv L v 1HLv L%u Dl$ I@ADHDMHDK~aI|OLD@1I"IHTKH L9t*HcA4A4uօH IHTML9uHL9wH v HCDl$ H9AH5~v HU1AH9Vt0hHTH9THTHH;TCAE9}HtH6HtH$H[]A\A]A^A_At 9t IH)TKf.At 9tIH)TMHBH HP0A@`D`Iľ€@HI$H@MMA}8AECLHH1HAԀ@`eD`Iľ€@HCI$H@MMtkA}8tKAECLWH?H1HdLIE LP02LIE LP0fffff.U@`SHHp H@H`H{8CC`HHr x~DH`4(HHt$HD$ Hkr 9X}Ho H@H`Htg{8tICC`HH[]fHH HP08DHH HP0SU@`SHfHOo H@H`H{8CC`pHXH5q DFA HHCq YHcË<@``} Hž@HH^Hþ$@HHH@HH}8ECHH1H[]H=9q DEOA9|4YHcDE4D HE#A9}q ~~H /p H=p 1fDDHEtOD EuFLFEEu9@`޿`I'Hþ@H9H[]@HHE HP0@H`H HP0D@`Hl H@H`Ht>{8t CC`&H1yHH HP0f.U?@`SHHl H@H`H{8CC`HHn DXE~JfDH`4(HHt$HD$ Hsn 9X}Hk H@H`Ht_{8tACC`HH[]ÐHH HP08DHH HP0SUE@`SHfHOk H@H`H{8CC`pHXH5m DFA HHCm YHcDE@``{ Hž@HH\Hþo@HHH@HH}8 ECHH1H[]DH=9m DEQA9|4YHcD E6H'A9}f.m ~~H /l H=l 1fDD HEuODEuFLFA,u:@`޿`J'Hþ@@H9H[]@HHE HP0@H`H HP0DT@`Hh H@H`Ht>{8t CC`&H1{HH HP0f.AT@`USHH}h H@H`H{8CC`H @`BH+h H@H`Hb{8CC`LH4Hj DXE~LLd$DH`4(HyLHD$ H]j 9X}Hg H@H`H{8cCC`H @`VH?g H@H`Hv{8CC``HHHi DPE~\Ld$fH`Hc(HJj HH4-LHD$ Hai 9X}Hf H@H`H{8CC`HH[]A\DHxH HP0DHXH HP0DH8H HP0DHH HP0DHH HP0BAT @`USHe H@H`H{8CC`HLh AHtAI8H5h HcGH<Hc/HUH<HՃ9}h H=nh H{8t CC`ZHB1H#H HP0fffff.AT@`USHHb H@H`H|{8CC`HHe P~QH\$AH`B4 IHHD$ 3Hd 9h}Hb H@H`H{8ZCC`1H @`Ha H@H`H{8CC`HH0d D`E~[H\$AH`Jc Hd IH4HHD$ 8Hc 9h}Ha H@H`H{8CC`6H @`H` H@H`H{8MCC`HH5c h~ZH\$AfDH`Jc Hc IH4HHD$ @Hb 9h}H` H@H`H{8CC`>H&H[]A\DHH HP02DHH HP0DHH HP0DHH HP0bDHH HP0DH`H HP0*AT!@`USH^ H@H`H{8sCC`HL ca AIztdI1H=b HcFH<FLb I<,fDHc.H<!I<HUHՃ9}؋*b H a La H{8t CC`:H"10HH HP0fffff.ATw@`USH[ H@H`H{8SCC`HL] ArR0IH=] jHcŋH L&^ L ^ I<@fD9jHcDH EHI<E$ Euº@`HZ H@L`MA|$8NAD$C`H@``޿`Hþ@H?H Hþ‚@ ] H5K\ H=] 1L\ ,HH<EE~MJE Eur@`HY H@H`H}8EC`H޿`GHþ@@fH9L[]A\f.HHH HP0@`HX H@L`MbA|$8\AD$C`H@`޿`JHþ@HH+ Hþ@HfHH@HH}8$ECHuH]1[]A\û@` HW H@L`MrA|$8AD$C`H@`޿`ZHþ@HH;Hþ@ LI$ LP0LuI$ LP0bLYI$ LP0DH8HE HP0 @`HV H@H`HtZ{8t<CC`H1HHE HP0HH HP0Jf.AWAVAUATUSH(L%X AD$D$ I$HX XHT$HL$HcDQ mf.H)M H@L`M]A|$8AD$C`CHH'k@H9P |fHN (޿`oغgfff)9_Ht$`D$ H9YP }p@`cHLL H@H`H{8tbCC`qHYH[]A\ún@` <LI$ LP0@HH HP0蓽ATr@`USH褾~O mf.HiK H@L`MA|$89AD$C`胿HHgr@H%9N |]HN `H4(hغgfff)9hHt$`D$ HȽ9N }u@`謽HJ H@H`H{8CC`趾H螽w@`Z4N cH)J H@L`MA|$8AD$C`CHH'w@H9M |]HVM `H4((غgfff)9hHt$`D$ H舼9bM }u@`lHUI H@H`H{8CC`vH^H[]A\DL8I$ LP0@LI$ LP0@HH HP0BDHغH HP0bpUz@`SH膻HoH H@H`H{8CC`萼HxK ~H11f.HJ `4(HŹHt$HD$ 9J HG H@H`Htg{8tICC`HH[]fHȹH HP08DH訹H HP0CAVD7K AUEATUSLJ H=JI 1L J AL$~CIHcJr94:H4@1HHcLH D\D9H9u@`׹`{Hž@H趹HEH@LMA}8AECHºH誹HJ B L41E1<p`AH @H)HI F9, ~WHI J0HPun@`HI J0HHA9[]A\A]A^HE H@H`H}8EC`ϹH跸HI B ~ZL,11@HI `J(HcTHIG H 4@H+HH B9, HE H@H`Htz{8t@CC`0H[]A\A]1A^LIE LP04HٶH HP0HHE HP0XAUD GH ATEUSLG H=LF E1HG H-F E1L%AG C~AJHcJr94t>H4@1HfHcLH DlD9,tH9uBtu OIE91L;G []A\A][]A\1A]E1ATD G US1E~yL7G H=E E1L6G H-E C~9KHcJr94t2H4@1HHcLH DdD9$tH9uB|IE9HE ;XA4@`޿`赴HHH@HHE}8ECHHH"E @`X諵`OHHH@HH}8ECH諶H蓵H@ @`HH޿`蛶HHH@HHt}8tDECHOH7[]1A\HHE HP0[]A\HHE HP0HٳHE HP0/pUvSHгDiE E~l*1@H膳90E |6H5B 譵H&C <(uH5B -莵@H@[]H C HcHDEt: C H=B HcHc4 B LcB4 f.B H B B Hc҉<B ff.AWHcAVAUATUSHHD$@HHHWB HD$+DHD$@L5C LC LD$@HIL؋0HD$pHC HT$h$J$D HD$E!IHB HxC H B H5B H=B L,B HD$HT$ HL$HH6B HA H A Ht$`L-A Ir L=B H|$PLD$8H$HT$0HL$XHt$(HD$AJIcH|$LA9LHH H $HL$ H $uwHL$HJLD$PHHj t$@9t HcI8I HD$HA(nH=> Ht$@HGDEH> LD$@J4u^fDL MLAE8EuDQHADQMcBQAHWD,EVHHcI<I<L MLGE EuDWHADWMcBWAHQ,tALLcOcAGLLcOcGIAHcEBAVQH= H8 HL$@HHĸ[]A\A]A^A_fLILKuzHWDEGLILcȃOc GAHcE BAfH|$HD$EtrLD$`HL$PIcHIDQH)IcAHc\DQDMcB\EUH|$PHI):fDH|$`LD$PHcII}DQH1QHc҉Qv@BLD$PHHj t$D9t HI0I)4H HH)ЋDuH|$8OH7HcHcAGHIA Hc IAH); Dd$|H$L$L$L$L$LD$0AHI8HcHcAA@M@MA HcA H$AH:hHL$XHA<TAHAHD$HAQ3tkH o: HD$HQHЋ0H=B: HT$@HG-WLHcMcWHT$H‹2LcGB4H|$hH?~H=9 HD$HGDEuWHWHc҉WH 9 LD$@HAFEQL HcMcQqqLHcIc6 Hl$L=6 L6 H-6 L56 HD$HT$ EH AHL$EHt$E11H,$HH D9}1HhHcA9,uAAD CEH D9|EH,$>P7 GH9aH6 ~at(the current h0sd structure: soft scores: check_h0sd()...the size of h0sd is illegalptr_to_h0sd->at()'s hard score is not 0.check_hcw2sat()...checking hcw2sat:at , is not hard. is of weight 1. is unsat.ptr_to_vhc0->at(the number of occurrences of showing vhc0:num of occurrences:check_cand_solution()...hc0_n: ptr_to_hc0->size(): check_value_valid()...v -0h *s best_cand_vars: is not satisfiedthe size of hc0 is: step: %do Invalid filename: s OPTIMUM FOUNDs UNKNOWNc Sorry, something is wrong.c failure. is an unsat hard clause but not in hc0 is an unsat soft clause but not in sc0)'s hard score is not positive.the variable at this location is should be in hd, but it is not.)'s soft score is not positive. should be in h0sd, but it is not.the size of hcw2sat is illegal is an unsat hard clause with weight greater than 1, but not in hcw2sat) is inconsistent with var_n_in_hc0 occurs in usat hard clauses, but not in vhc0 in unsat clauses is inconsistent with var_n_in_hc0ptr_to_hc0->size() is computed incorrectlysweight_unsat is computed incorrectlyillegally write to the value of variable the number of unsat hard clauses is computed to be: .A;4%ЍPАx 0 @xК8pPpP8pp @x`p8pp@0p``@` 8 P zRx $xFJ w?;*3$"4DAAD  AAK DAAd|8BBB B(A0A8D`k 8D0A(B BBBE w 8A0A(B BBBA zPLRx@ T$ ܐ@BBB B(A0A8J  8A0A(B BBBI L\ؤBQB B(A0A8DP 8C0A(B BBBD ,-APD0 AAJ <APD  AAH  FAE ,(-APD0 AAB <L(APD  AAF  FAE 4BPA D0/  AABF <pBPA " ABH L AGD 4BPA D0  AABF <<RBPA S ABG P AGH <|FBPA j AGK  ABA L[BBB B(A0A8D` 8A0A(B BBBE 4 BPA D0  AABG LD BQB A(A0? (A BBDA K (A BBGA 4FAPD  FAA a CAD 4BPA D0D  AABA 40 BPA D0  AABF ,<-APD0 AAJ TlBIE A(A0 (A BBGA  (A BBDA DBID A(  ABEA A  ABDA < ( BHA  ADA ] AGA $LAFD FAtuL BEB B(A0A8IF 8A0A(B BBBJ LXBDB B(A0A8DpC 8A0A(B BBBC L,JBBB B(A0A8D`V 8A0A(B BBBB <|AAD  AAD  AAC H,P!AAD  AAF <P!BBA A(G0 (A ABBF $DP\AGP AA l&D]$Q_@Xh>         @- @ x@`o@8@@  `h0@p@ o@ooL@`@@@@@@&@6@F@V@f@v@@@@@@@@@@@&@6@F@V@f@v@@@@@@@@@@@&@6@F@V@f@v@@@@@0@P"GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3.symtab.strtab.shstrtab.interp.note.ABI-tag.note.gnu.build-id.gnu.hash.dynsym.dynstr.gnu.version.gnu.version_r.rela.dyn.rela.plt.init.text.fini.rodata.eh_frame_hdr.eh_frame.gcc_except_table.init_array.ctors.dtors.jcr.dynamic.got.got.plt.data.bss.comment8@8#T@T 1t@t$Do@HN @XV8@8^oL@Lrko@zp@p0@0h @@@hx@x@X@4@ܐ@ܐ````````h` 0*02 v8@T@t@@@8@L@@ p@ 0@ @ @ @x@@@@ܐ@````````` d@`*`8`E @[Ȥ`jФ`x @`ؐ@` @@ @&````+`4 `? !@ T``С`j` pa@` 0@ P=@ 8@!` 0 pZ@-Ii`u0`   p}@!```?Yx@_`h} P_@  Q@ ``, @x@?! `w`ԥ`@ O`Z`i@x`!`P O@` @` 3@+ 7@9 b@ GЦ`Oc `:@o PG@F 0@@```` U@ @,`5r`}ء` @T@F` `2@-p`  [@0ȡ` C@R` b@u "  Pl@+ S  @p `z ! `  `  `` ` `  Х`&  L@[6  ` ` ` !@`   P.@! W `e  `6@-r ` ` `  @` p` /  ^@9 P`@ `H  PW@ Y `b `i  @z  @|@!  ` @ 0`  `   ` ' `, `5 N   P` `   @\  @ |@"M s@Jcall_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST____do_global_dtors_auxcompleted.6531dtor_idx.6533frame_dummy__CTOR_END____FRAME_END____JCR_END____do_global_ctors_auxdist.cpp_GLOBAL__sub_I_sp_value_ZStL8__ioinit_GLOBAL_OFFSET_TABLE___init_array_end__init_array_start_DYNAMICdata_start_Z14build_instancePcptr_to_vhc0max_flips_ZNSolsEi@@GLIBCXX_3.4var_n_Z12Write_answervmemset@@GLIBC_2.2.5sscore__libc_csu_fini_Z8check_hdv_start_ZSt16__throw_bad_castv@@GLIBCXX_3.4_ZTVSt9basic_iosIcSt11char_traitsIcEE@@GLIBCXX_3.4_Z19show_best_cand_varsv_ZNSt8ios_baseC2Ev@@GLIBCXX_3.4ptr_to_h0sdsweight_unsat__gmon_start___Jv_RegisterClassesputs@@GLIBC_2.2.5_Znam@@GLIBCXX_3.4_Z12local_searchxvar_lit_count_ZdlPv@@GLIBCXX_3.4ptr_to_hcw2sat_ZNKSt5ctypeIcE13_M_widen_initEv@@GLIBCXX_3.4.11__printf_chk@@GLIBC_2.3.4_finiinit_tryputchar@@GLIBC_2.2.5_ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4_Z27check_unsat_hard_clause_numv__libc_start_main@@GLIBC_2.2.5_Z19check_cand_solutionvweight_hardclause_lit__cxa_atexit@@GLIBC_2.2.5_Z13pick_var_3SATv_ZTVSt13basic_filebufIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZNSt13basic_filebufIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode@@GLIBCXX_3.4var_n_in_hc0best_cand_var_n_ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc@@GLIBCXX_3.4time_limitbest_cand_vars_IO_stdin_usedtimes@@GLIBC_2.2.5__data_start_ZTVSt14basic_ifstreamIcSt11char_traitsIcEE@@GLIBCXX_3.4_Z9show_vhc0v_ZNSi7getlineEPclc@@GLIBCXX_3.4ptr_to_sc0sweight_unsat_best_Z9check_hc0v_Z9check_sc0v_Z9flip_3SATivar_litsscanf@@GLIBC_2.2.5_Z7show_hdv_Z13check_hcw2satv_Z9show_h0sdvvalue_best_ZSt4cout@@GLIBCXX_3.4_ZNSt14basic_ifstreamIcSt11char_traitsIcEED1Ev@@GLIBCXX_3.4__dso_handle__DTOR_END___Z14print_solutionv__libc_csu_initsp_value_ZNSt15basic_streambufIcSt11char_traitsIcEED2Ev@@GLIBCXX_3.4flip_boundtime_convergence_Z17check_value_validvvalue_Z8show_hc0v_ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_l@@GLIBCXX_3.4.9ptr_to_hc0_Z10verify_solv_ZNSt9basic_iosIcSt11char_traitsIcEE4initEPSt15basic_streambufIcS1_E@@GLIBCXX_3.4time_best_Z10check_h0sdv__bss_startclock@@GLIBC_2.2.5_ZNSo5flushEv@@GLIBCXX_3.4_Z10Ans_updatei__stack_chk_fail@@GLIBC_2.4_ZNSt8ios_baseD2Ev@@GLIBCXX_3.4_Z4initv_ZNSt12__basic_fileIcED1Ev@@GLIBCXX_3.4_Z23build_neighbor_relationvptr_to_hd_ZTTSt14basic_ifstreamIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZNSirsERi@@GLIBCXX_3.4step_bestsrand@@GLIBC_2.2.5var_neighbortriehscore_ZdaPv@@GLIBCXX_3.4best_score_value_Z10check_vhc0v_ZNSt9basic_iosIcSt11char_traitsIcEE5clearESt12_Ios_Iostate@@GLIBCXX_3.4_endclause_lit_countsat_n_ZTVSt15basic_streambufIcSt11char_traitsIcEE@@GLIBCXX_3.4_ZNSt13basic_filebufIcSt11char_traitsIcEEC1Ev@@GLIBCXX_3.4_Z11check_scorev_ZNSt9basic_iosIcSt11char_traitsIcEED2Ev@@GLIBCXX_3.4flag_weighted_Z8show_sc0vanswer_writtentrie_bestprint_speed_ZNSt13basic_filebufIcSt11char_traitsIcEED1Ev@@GLIBCXX_3.4ans_nlast_flip_time_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_@@GLIBCXX_3.4_Z5CheckvisHardsat_var_Z11print_scorevclause_nweight_Z11free_memoryv_Z20update_best_solutionvrand@@GLIBC_2.2.5_edata__gxx_personality_v0@@CXXABI_1.3ans_Znwm@@GLIBCXX_3.4flip_Unwind_Resume@@GCC_3.0ans_in_ZNSt6localeD1Ev@@GLIBCXX_3.4steppick_var_ZNSo3putEc@@GLIBCXX_3.4_ZNSt13basic_filebufIcSt11char_traitsIcEE5closeEv@@GLIBCXX_3.4_ZNSo9_M_insertIxEERSoT_@@GLIBCXX_3.4.9var_neighbor_countstdout@@GLIBC_2.2.5_IO_putc@@GLIBC_2.2.5time@@GLIBC_2.2.5main_init_Z13set_functionsv_ZNSi10_M_extractIxEERSiRT_@@GLIBCXX_3.4.9_Z35update_hard_clause_weight_with_pawsv