ELF>@@@@8@%"@@@@@@@@@ ``( ``@@ PtdHH@H@Qtd/lib64/ld-linux-x86-64.so.2GNU%('!   $&%#   "% %&)fUa9$'q !cA=& %F%.xS:eF\T,!4eE&`M``__gmon_start__libc.so.6fflushexitfopen__stack_chk_failputcharreallocstdinvsprintfstrdup__assert_failisattystrlenmemset__errno_locationclearerrstdoutfputcfputsmemcpyfclosemallocremovestderrfscanffilenofwritefreadatoitimes_IO_getcstrcmp__libc_start_mainferrorvfprintffreeGLIBC_2.4GLIBC_2.2.5ii 3ui =h``&`'`%```````` ` ` ` ` ``````` `(`0`8`@`H`P`X```h`p`x` `!`"`#`$H{uH5r %t @%r h%j h%b h%Z h%R h%J h%B h%: hp%2 h`%* h P%" h @% h 0% h % h % h% h% h% h% h% h% h% h% h% hp% h`% hP% h@% h0% h % h% h%z h%r h %j h!%b h"1I^HHPTIН@H@HO@GHH HtHÐ=Q UHt$HH H HHu% ff.UH= HtHt `IAÐUHH H}UHHEEHcиp`E}~1UHSH}}x}~О@@@]lHcp`H[UHH0}HuHU؋ }x}~ @@@ (ȋEHp`(\(EHu@@ZEg@EHcиp`H}t HU؋EUHHHXH`HhLpLxH H HHDž @H) HEH )x)p)h)`)X)P)H)@H(H0H0@0H0HUHPH0HPHPH @H= H0H(hH5y gUHH  UHH UHHHXH`HhLpLxH H HHDž *@H) HEH )x)p)h)`)X)P)H)@H(H=( LLꀋ 9|-   HcH= H H0H0@0H0HUHPH0HPHPLHHH H<H0H(8ÐUHH0H}HuHEHE*HEH0H}u HEHEHEH@HEH}uHEHEUHH H} 5HEHUHEH   HEPHEH@H Hu HEH 2H HE HEH@HEHEH@HuHUHEHBHEUHATSH0H}؉uHMfUHEHHus }HHEHHEHEԉHEH@HEHEfBHEHHEHBHEHHEHH@H@HBEHEH;Euyf}u E_HEH@ftHEH@f;Eu@E#HEHEfBHEHHEHBEHEH;E}@HEHHEH@AUHEHHxHMȋuEEACAHEHHEH@AUHEHHxHMȋubEED(‰ЈC}tHEH@u EI}t*HEH@<tHEH@HEHHHE'HEH@HEHEHHxu1HEHEH}uUHH H}HEH@HHEHE@>HEH@u$HEH0֟@HEH8HEH@HEH}uUHH}HuÐUHH}uHUH}uHE_@UHSHEHHEHpHEHEEEE@  HEHEHEHEHEEHEfHEHHEHH;EJHUHEHH)HHHHEH}'/HeH}'vHE'HEHEHUHHHHHxHEH}HEHH}HuHEHEHEHHHEHEHHHEHEHH}Hu`HEHEHEHHHxHxHHHEHH;Et H}HEHHEHHEHEHHEHHEHEHHEHH;EEH@E}S u> 8 EE܉$ : = w H@\ Dž\\E܋EE}}EH@@;EuwEH@E}}}]b}}tmm t _ EEHEHUHq HYEH@E}eEH@Eظ+EHHHEHHE}NuEH@@HEHHH HEHH˱ Cf Hr ` N 8 Hɱ HF HS H HEm ? X  f Hİ - H HEH0H= th@1wHEH8I HEHHHEHUHEHHB`& /HEHUHEH8HHHUHEH@BHUHEH0BHUm fBHU7 fBHUHد HBHUHY HB8HUHEHHHBHHUHEHHHBXHEH@`HEf@HE@ ^ ER HEHE@ E4 HEHHHE HE  EH H HEHHHEHUHEHHB` HEHHEHUHEHHHHEH@`HEH@HE@HE@0HEH@x HEHHEHEHHEH@`HEH@HE@HE@0HEH@# h,HEHE@4HEH@`HEH@PHEHHHpHEHHhTHhHP HpHP HhH@(H`HhH`HhHpH@(HpHpt HhuHpu Hht@p.` HEHUHHHP80 HEHHEHUHEHHHB8 HEHHHEHEHXHXH@(HXHXH@(HuHEHHXHP( 0HEHUHEHHHEH@ HE@HEH@(w hHEHE@4HEH@`HEH@PHUHEHHHB81 h:HEHE@4HEH@`HEH@PHUHEHHHB8hHEHE@4HEH@`HEH@PHUHEHHHB8hHEHE@4HEH@`HEH@PHUHEHHHB8_hhHEHE@4HEH@`HEH@PHUHEHHHBHHEH@8HUHEHHHB@hHEHE@4HEH@`HEH@PH]HEHH8HCHHEH@8HEH@@hHEHE@4HEH@`HEH@PHUHEH HHB8HUHEHHHB@HUHEHHBH/HE"HEHHHEhHEHE@4HEH@`HEH@PHUHEH HHB8HUHEHHHB@HUHEHHBHHEHHEH@`HE@HE@0yhHEHE@4HEH@`HEH@PHUHEH HHB8HUHEHHHB@HEH@HhHEHE@4 HEH@`HEH@PHEH@8hHEHE@4 HEH@`HEH@PHUHEHHB8hHEHE@4 HEH@`HEH@P`hiHEHE@4 HEH@`HEH@PH]HEH85HCHHEHE}x4}+EH@@fuEH@E}AHEH;EtdEH@HU@AHmHmHEEj}tHEHEH HEEEE@"EN tD tuܺ `@EHHH)EEHHH)E,HEH@HU,@|HmHmHEH;EuHH;Et H}EHĨ[UHSH8 ؟ ֟ u ȟ H HuHI Hr Hs HuH? H` Hy Ht!H] HHH_ HHHu2H7 HHH9 HH= @HAH HE" HUЈHMHM؋ EHU@EEH@ft@M̉ HEHߞ *EH@É}̂~E@EEH@EH@;EuEH@E@EHEEH@f=0EH@E}u%H- HUЋ  M̋EH@EHEH HEЉHE؉)ȉn HUѝ HMHEH }7PEH8@ HUЈH HMЋ EGD H= H@ EEEEEEEEpE v_EeNET=E C,E2E! EEEEEEE E EqEw`EfOH=H H EB+H=$ a EH= H= EEEEEE;E'~E,mE:s\E(bKE)Q:E[@)E]/E E  E!E~E^E E E<E>H e HcH=c EZHEЉH; )ȃE HUЈH[ HHH] HH@H~ Ht"Hb HHHd HHHEHEHEHEHH HEH@)ȉEHE؋@$toHEH@HE}!HEHPHEH@HHHEHPHEH@HHEHPHEH@HpHEHx:HHEHP HEH@HEH@Hu 0@HEHPEHHH Ha HHHc HHH@‹E)ȃE}} ~E H HHH HH@(E*E8Hߓ HHH HHHPHcEH‹EHH‹EEUE9sH= E}t} u} u8H| HHH~ HHHPHcEH‹EHH‹EE}uH=& Qt \@EN /st \@}[H=Β H ’ EHcH͒ HHHϒ HHHPHcEH<HŒ  uH=p kHt HHHv HH B | uG}uEH= 3EH# HHH% HH@<E$ EHcH HHH HHH@H9 M HHEH HHH HHH HHH HHHxHuHCH\ HHH^ HHH@Hu @Z EQ H HHH HHHP+ HHH HHH HHHP HHHH HHH HHH@H\ EEEHX[UH EH8 HUHUtHU@EEEEEH@ft@UZ HEHS *EH@E}~E@EEH@EH@;EuEH@E@EHEH H9EEUH}H HEEEH@ft@E HEH *EH@E}~E@EEH@EH@;EuEH@E@E}uEEEEUHH0}HuH HE HUH HHH HHH@HH;Ei pHJ HHHL HHHHH* HHH, HHH@HHHEH HHH HHHPHcHHUHmHmHMHUH HHH HHH@H;ErHEHE)HHEHEHE)HHEHi HHHk HHHM HHHO HHH@Z T A H HHH HHH@HH;Ev @x HmEHUHMH HU HMH ، UHH Hnj Ќ H H HHH HHHP HHHz H9v Hn vHb H )ȉEHI HH> E}t}t}t/H= jE\EHHH HH H EH܋ Hҋ HHNj H Nj EEEUHSHH}H Ht!Ht HHHv HHHu2HN HHHP HH= @HH1 Ht"H HHH HHHEHEHuH}H[UHHH}CHъ Ht"H HHH HHHEHEHEH;EH Ht}Hq HHHs HHHt\Hh q H@ HHHB HHH< HBH HHH HH* B H HHH HHEH  UHH HHH‰ HH@ Ή H HHH HHH@H H H- Hf HHHh HHHH/ HX _ UHH H}u@ HEH}u и@EHcHEHPHEH@Hx[ HHEHPHEH@Hu и@MHE@$HuH}HEUHHH}H}H Ht"H~ HHH HHHEHEHEH;Eu HJ HHHL HHHE@$t HEHxH}UHH0H}HuaEH}HUHEHHE@8Hއ Ht"H‡ HHHć HHHEHEHEH;EtHE@0HE@4H}tH}g萷~ EEHEU܉P(譸H‹EUHHH}H}HE@ HEH@HEH@HHEHPHEHPHE@,HE@<H Ht"HƆ HHHȆ HHHEHEHEH;EuUHHH}H}H Ht}Hc HHHe HHHt\HZ c H2 HHH4 HHH. HBH HHH HH B H Ht3Hڅ HHH܅ HHHtH HH H HHH HHEH UHHH HH_ HHHa HHHuHI Ht"H- HHH/ HHHEHEH}YH HHH HHHڄ HtH΄ HHÄ H̄ Ht0H HHH HHHt UHHH HupEEHH<Ha HZ Hu @EHHH=7 5EHH H H HPH H9EH ‹EEEHH4H=Ƀ >H H Hu @EHH H HHH H<Hʾ|EHH` UHH0H}HuH}v&HEHEHuHEHEHt HE@uHEH}u 8@tHUHHEHPHUHEHBHEHPHEHPHE@$HEHHEH@HEP HE@(HE@,HE@8HE@<H}HEHEHEUHHH}H}:H}UHH0H}؉uԋEԃHHEH}HEH}u h@EEHHHUEHHEEE;E|ڋEHHHUEHHEHHuH}IHEH}u @HE@$HEUHHH}H=& HU@[葱UH UHH UHH UHс UHH́ UH}E UHH}HEH̀ UHH}HEH UH UH}E UHH H H H   HI HF UHHdHN Ht"H2 HHH4 HHHEHEH}^H HHH HHcH Ht%H HHH HHHkH= MH UHHH}H}UHHH}HuHuH}QUHHH}H}UHEEHHH H< u : 1 _EHHH H< u6w  )ȉ¸)щʋR I A 8 EEHHHI HJUHHH}H=-~ x5 @SUHH }EH f ˹@EE;E|UHH}uUE.EHHHHuU )ȉ}E}tE;EuċEEEHHHEEE;E|EUHH}uE$EHHE0EHHEH,EE;EыEHHE0EHHEHUHH}uHUE>EHHHUE+EHHHE؋0EHHEH,EE;EEHHHUHE؋0EHHEHUHH0H}HuUHMоϹ@ѹ@HE}x#HEЋMHUH}Iڹ@Q!HEЋMHUH}Iڹ@.H}ŭ@ѹ@薬HEHUH}@軭H}蒭ѹ@蘭UHHPH}ȉuHUdH%(HE1EmPUHuH}@E EHHHUȋEHDEEEHDu҃m}HuH}@E EHHHUȋEHDEEEHDuҋEHHEHEdH3%(tsUHHHxtHhdH%(HE1E\tHhH}@E#EHHHxEHDEEEHDuσttHhH}@E#EHHHxEHDEEEHDuϋEHHxHEdH3%(t^UHH0}HuHUEEHHHEHDDMAEHHHEHMH=z HEHuDD$D $IAH@V}HUHugH lz @(HEH=Iz HUA@UHHlH`\dH%(HE1H`lHl\HpHplH}XH=y HMH!@gHEdH3%(tөUHHHHxdH%(HE1HH$HxH H=y HH!@ͩHEdH3%(t9UHH H}uUMH=x HEHuAIH,@uE!H=x MHU=@OEE;EH5ix )ߧUHH0}HuUH5Dx ,躧}~pM܃H='x HUF@E!H=x MHUR@辨EE܃;EH w \@tM܃H=w HUb@tE!H=w MHU=@NEE܃;EH hw k@E!H=Dw MHU=@EE;E|H5w )葦UHH`HdH%(HE1HHH=v Hs@肧HHH `v y@HEdH3%(t舦UHH}uEEEEEHHHEEm}yۋEUHH0H}HuUE1H=u EHUMHuAIH|@vEE܃;EH=u EHUMHuAIH򾍺@:UHH@H}ȉuĉUUuH}E-EHDH=.u MHUA@EE;EȋEHDH=t MHUA@譥UHH@}̉uȉUĉMdH%(HE1}/EȃEH=t Uܾ@\m}H={t @7EȃEH Ut @m}H 0t Ϻ@̤}H t ޺@詤}uH5s 1bH5s 0OEH s @XUċuܿ@0H s @-UH}@@UHu@gH5Os )ŢEE;ErH .s @ʣHEdH3%(tVUHH@}̉uȉUdH%(HE1H5r 0SEH r @\Uċuܿ@4H r  @1UH}@@UHu@kH Sr @EE;EhHEdH3%(tkUHHH|DxdH%(HE1|xFH q @\|H}й@@H}о@H xq @xH Rq @x@x|%xtH p #@芡HEdH3%(tUHH0H}uUM܋}&EH p '@0UuH} H jp ,@}܃H=Dp U4@}H #p A@迠EE;EdH o G@蔠}[EH o P@hEE;E|H5o UHH }Hoo HEGHbo H9EtH mo T@ H5Ro HEH86HEH@HEH}uH ,o W@ȟHn HETHn H9EtH n T@蓟HEHH=n M\@蓟HEH@HEH}uUHH }Hn HETHwn H9EtH n T@HEHH=`n M\@HEH@HEH}uH 4n W@ОHn HEGHm H9EtH m T@蛞H5m HEH8ȝHEH@HEH}uUHH }H5m T'Hm HE9HEHHEHH=m MIH¾b@=HEH@HEH}uUHH }uU}EH ,m '@ȝUu@H m ,@蝝}a})H l y@l}3H l A@IEE;EVH l G@}EH Vl P@EE;E|H5/l 襛UHHHk HEGHk H9EtH k T@薜H5k HEH8ÛHEH@HEH}uH k W@UHk HEOHyk H9EtH k T@ H ik n@HEH@HEH}uH ;k y@כUHH }uU}}yH j {@菛EcH j @k}H j @HUu@ H5j )EE;E~H dj @UHH }uH 9j @՚EfH j @豚}6H i @莚uU@cH5i ):EE;E~UHHLHD@dH%(HE1H si @H Xi "@H 3i û@ϙDžH i ͻ@襙DžOH=h D$$A@Aȉ@Ի@q;@|H5h )g 9RH5[h їDžH 1h @͘@LHPH}@@HPHu@H g @k;H`H g @7H g S@H=[g D@I@Dž5H=1g Q@H g p@豗vH=f @I@謗QH f @@g,H f ټ@BDžkH}@@H5\f (ҕ@H}H 6f ߼@Җ;H~xH e @莖SH e '@iH}@@@H}$H e ,@!H `e @Dž(H=/e @@D;H=d @\@謕H d W@qDž"H d @JD;H {d @H Vd @Hd HxZH d H9xuH5d HxH8 HxHH=c @谔HxH@HxHxuH c W@YHc HxdHzc H9xu"HxHH=xc n@9 HxHH=Vc @HxH@HxHxuH $c y@H b @蛓DžQH b (@g,DžaH b  @6H}@@@H}H5Qb )Ǒ;|H +b @ǒH}@@,@H}H5a XMHa HxHHxHHxHH=a IH¾b@XHxH@HxHxuH5ea ېH Ja @D@H a /@赑0` 9aH ` @w|HEH@8HEBHEH@8H;EtH kK T@|HEHx HEH@(HEH}uH 0K y@{H K $@{HEH@8HEBHEH@8H;EtH J T@u{HEHx HEH@(HEH}uH J @:{Uuċ}-2HEH@8HtxHEH@8HEHHEH@8H;EtH GJ T@zH5,J HEH8zHEH@(HEH}uH J W@zHEHPHH=I +@zHEH@@HEBHEH@@H;EtH I T@MzHEHx HEH@(HEH}uH vI @zUuċ} HE@4<uH sH5B HH8hrHH@HHuH UB /@rH :B %@rHH@HH B @rHH@HWHH@H;tH A T@drH5A HH8qHH@HHuH {A ,@rHH@HHtFH PA 0@qHHxHsH %A y@qHH89@]qH@HHxX/H @ >@gqHH@`HH HEdH3%(tpÐfffff.Hl$L|$H-; L=; Ld$Ll$Lt$H\$H8L)AIHInHt1@LLDAHH9uH\$Hl$Ld$Ll$ Lt$(L|$0H8ÐUHSHH ; Ht1H`HHuH[ÐHpHcommon_resource_setmarkcommon.c(res_mark_nr >= 0) && (res_mark_nr < 5)common_resource_displaymarkStatistics for common resources (%s): - Time : %.2f seconds error: conflicting declarationsthis shouldn't happenv%d v%d weight=%d nop=%d v%d +)&'#("$%-.,*  !/0123455667889:::;;<==>>??@@@@@@@AABBCDDDEFFGHHHIJJJJKKKKLLMMNNNOOPPQQRRSSTTUU     68<=:>ACEG&24$ 7;KM35!9?@BDFH,&IJ6#"&%+N'(*).-1L/0  #<=>?@ABCDEFG*+,-./0tuXY44.3?8A-S335Gb"F"m YlEoXZ|[]^_hFdfgij """"""\`~kYlEon~pq"rs'tnk}FF"e{FvwFeM>@yVaWc/1vP`H$%yzP|p$%RS$%WP{$%sxP!}% Vb$%&o '()V&W'h&Q'()&WV'()Wc&'()&2x'()3W4567qKL89:;ij3" 4IN567M89:O;TZU[_\]^aPdefgwxRr~kJmln"U =&[\ ^R&(5 ]#b ' #.&'$)*+ &R)'&")*+&] )*+b#&)*+&#)*+'&wx#"#%!KL ',  !&&&&&&" """"-#&'''''&' ScbM,OxNP012389: 5$8673<"#%&576=4'5 ;&)*+KLMNOPQR!>?@ABCDEFGIJRK , "&(&& RTU&&&&>"#""""'LLNOPQ'U@RSS-#SSUSFUC'''RT''''#>>RH.>&S'>HDeletingglobal variable already existsnumber of assign clauses doesn't matchBoolean constants are 0 and 1 syntax errorError: discardingError: poppingmemory exhaustedCleanup: discarding lookaheadCleanup: popping}:@}:@,@:,@,@,@,@}:@}:@}:@}:@,@}:@4-@W-@.@+.@=.@I.@].@j.@}:@}:@}:@.@.@/@}:@}:@}:@}:@}:@}:@}:@Z/@M0@}:@p0@0@1@L1@1@1@2@2@2@N3@[3@o3@4@i4@4@4@5@d5@e6@6@%7@}:@97@}:@}:@}:@z7@7@}:@ 8@}:@R8@}:@8@}:@8@*9@}:@}:@h9@9@9@6433,*#&'$4%"12().4/- +!  0       !"#$%&'()*+,-./01y|zus[]a[bcV`\UZJkNWOOXIGOENLOJI9eFC<A=<<5978@8253-8-*+,4&2&2' -(% ;CG  !"#$%&'()*+,58:\;BPbQ69cC3]G~}GI|II{zyxwvutsrqponmlkjihgfeda`_^[ZYXWVUTSRONMLKJ0HFEDA@?>=<74210/.-J&;O;O&}|Jzyutrpnmlhgfdc`^]\YXWVUTSRQNMLKIGFEDCBA@=:876540+)('%$#"! fatal flex scanner internal error--no action found?@?@?@?@?@@@@@0@@A@@R@@c@@t@@@@@@@@@@@@@@@@@@ A@A@/A@@A@QA@bA@sA@A@A@A@A@B@B@"B@3B@DB@UB@fB@wB@B@B@B@B@B@B@B@B@C@!C@2C@CC@TC@ >@^C@C@C@fatal flex scanner internal error--end of buffer missedfatal error - scanner input buffer overflowinput in flex scanner failedout of dynamic memory in yy_get_next_buffer()flex scanner push-back overflowout of dynamic memory in yy_create_buffer()out of dynamic memory in yyensure_buffer_stack()out of dynamic memory in yy_scan_buffer()out of dynamic memory in yy_scan_bytes()bad buffer in yy_scan_bytes()%s Line %d: syntax error. wtemp.txt%s_%d%sr%s,(%s_%d=0 & %d) | ( %s_%d=%d & () )%s_%d=0 & %d%s := %s; %s_%d | (!%s_%d & %s_%d(%s_%d & (0 | !%s_%d)) | (!%s_%d) | (1 %s :=; %s_%d = %s_%d & %s_%d = %s_%d%s_%d=%d & %s_%d=%dt_%d, t_%d := schoose[F,F], schoose[F,F]; assume ( |(currSwitch & t); context & !(while ( !( )) do od if () then thread%d(); else skip; fi, := %s_%d & %s_%d=%sschoose[F,F]assume ( 00 void main() begin // context-switches are tight assume(T & !(T & %s_%d_%d=%s_%d_%d&() // init variable which stores if the original SLIC_ERROR label has been reached goal%s:=0; // block of thread %d // init control variables abort // assign program globals with initial values for the thread if ( )| F) then init(); %s_%d, 0, 0; else ,%s,schoose[F,F]assume(F | (T ) fi // set current tread value // call tread %d // release variable currSwitch //end of blocks //check goal assume(%s); SLIC_ERROR: skip; return; end void control() begin if (*) then %s := 1; // check correctness of the guess on the final values in current context assume (F |( //increment currSwitch until next context for current thread (i.e. t_n..t_0) is found // if you pass the max context-switch number then abort and return while (!( &(F ) ) ) ) if ( ) | := assume ( F return; usage: ./a.out file_name num_context_switches [outputfile] filenameprogram file %s not found%s --- %d num_context_switches must be an integer greater than 1 parse errors encounteredresult.cbpCannot open the output file. if (%s) then return control(); ; fi schoose[(!((!=))=>D@}@@@C@@@T@.@Ҍ@SLIC_ERROR%s: assume(constrain(skip; goto %s; return print(%s(elsif () do e@ٓ@b@@@9@@@m@@d@@error: no threads defined //nt=%d k=%d nbpt=%d kbits=%d decl , %s_%d, %s_%d_%d, %s, %s; void bool bool<%d> %s (begin ; enforce initend ;{MM(NPWNxO+PLP\PQ@QhRWXXX8Y`qYYY!ZkZ(ZPG[x[Y\\)]]@c^h^5__` j`0 `X pa a b Yb b %dH dp Ue e +f h R K z y0WX ƙHؙp 8C`ZyX(ĜPCx6@ܡh!ҥ0X-D oHZpE8\`O(ePx zRx $@ $D @C $lN@Q $@ $Z@ $s@! $ @ $4@F $\@Y $E@ ,@% $@ $@3 $,@) $T$@7 $|[@^ $@0 $@? $(@A $i@J $D@g $l@u $@l $@ $@l $  @d $4q@ $\ @ $ @: $ @ $}!@T $!@y $$J"@h $L"@V $t#@ $#@s $+$@; $f$@; $$@Y $<$@s $dm&@ $$'@y $'@g $(@o $s(@ $,(@  $T(@ $|?=@ $E@ $L@ $M@ $iN@ $DZP@* $lQ@ $?R@ $MS@ $S@ $ pT@ $4 U@ $\ U@ $ V@ $ W@ $ X@/ $ Y@ $$ Z@" $L Z@ $t [@0 $ [@  $ [@  $ [@  $ [@  $< \@  $d \@ $ \@ $ 5\@ $ J\@  $ V\@ $, h\@a $T \@ $| ]@ $ ]@ $ ]@ $ ]@ $ ^@/ $D ^@= $l _@ $ _@e $ _@ $ ~`@ $ :a@ $4/b@ $\Dc@ $$d@ $d@ $ie@ $e@N $$Ag@ $Lh@G $tah@ $h@ $ui@ $Lk@ $7l@U $<m@+ $dn@ $o@ $p@k $p@5 $-r@ $,+s@ $Tt@ $|t@  $5@  $O@x $NJ@: $@ $D@ $l@v $#@ $ܗ@% $@ zRx x,4p &@ @ @@@o@p@@ I p`H @@ @` o @oo@` @& @6 @F @V @f @v @ @ @ @ @ @ @ @ @@@&@6@F@V@f@v@@@@@@@@@@@&@6@`GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu1)GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu1)GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu3)GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu3)GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu3)GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu3)GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu3)GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu1)GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu3)GCC: (GNU) 4.2.4 (Ubuntu 4.2.4-1ubuntu1)Ll@ @ @< @@!o_IO_stdin_usedUyl@l@>@%intLG/ @WK'/build/buildd/glibc-2.7/build-tree/amd64-libc/csu/crti.S/build/buildd/glibc-2.7/build-tree/glibc-2.7/csuGNU AS 2.18.0]P/build/buildd/glibc-2.7/build-tree/amd64-libc/csu/crtn.S/build/buildd/glibc-2.7/build-tree/glibc-2.7/csuGNU AS 2.18.0% $ > $ > $ > 4: ; I?  &IU%U%# init.cO /build/buildd/glibc-2.7/build-tree/amd64-libc/csucrti.S l@ Ku=/0K  @K @${O /build/buildd/glibc-2.7/build-tree/amd64-libc/csucrtn.S  @K @Klong unsigned intshort unsigned intshort int_IO_stdin_usedunsigned charlong intGNU C 4.2.4 (Ubuntu 4.2.4-1ubuntu1)/build/buildd/glibc-2.7/build-tree/glibc-2.7/csuinit.cl@@ @ @@@ @ @@@.symtab.strtab.shstrtab.interp.note.ABI-tag.gnu.hash.dynsym.dynstr.gnu.version.gnu.version_r.rela.dyn.rela.plt.init.text.fini.rodata.eh_frame_hdr.eh_frame.ctors.dtors.jcr.dynamic.got.got.plt.data.bss.comment.debug_aranges.debug_pubnames.debug_info.debug_abbrev.debug_line.debug_str.debug_ranges@#@ 5@@@<1o@0; @Cp@pIKo@PXo @ 0g@ @@ `q @ H { @ v @ @@@@d@@# H@H0@0l````h`hp`p0`(`p% %o$;?00z;0IP$e  u@@@@@@p@@ @ @ @ @ @ @ @@@@H@0@````h`p``` ! l@#.`<`J`W @m`|` @#``@` p@О@ @&/@!; @O@@OE@N@NX@>_ @Ng@o@@hw@~ (@ ` `(`0`8`<`@@@@ @ @| @| X@/( MS@=@`JL`bP`yD` L@ M@ E@H` [@0 iN@ ZP@* U@ h\@ap`,`=`P`Y `d 7l@Up [@^z`| (@o$ @) @l` @ 5@ ` Н@+ e@N8 @?D @@K`U -r@\ "@Vk /b@r`} pT@` @d   t@ i@J  _@, @05 @%DA_`j@p W@ [@  ie@` V\@ @ ( \@5`C`N`T @\`g $@Y _@ m&@ @ ܗ@%``` [@ F@ o@%*<Rf @Ft`{`` Q@ ~`@` \@  ]@`` Z@`(`5 @F ^@=M U@] \@f Z@s h@Gz`h` Y@ m@+ @: s@! V@` [@  @Y  @C  ]@ `,  ah@2 `? :R  @b t  d@  q@  (@A  E@  \@  $@7 `  $'@y e  @  Lk@#  S@4  !@y: `G FZ  $d@g  @go  p@5  ` T `  [@ `  J\@  ^@/ `  `(  n@7  Ag@A  #@sP !d  '@g~  f$@;  +s@  ]@  @  p@k  ]@  $@s  #@  @l  +$@;  s(@  @v X`$  }!@T0 D 4X  NJ@:o  5\@y  @3  `   :a@ ` ` `  Dc@  @ `  (` 0`" 4`*  ?=@0 eD  J"@hK `  @j 8`u  (@} `  ui@  #@  @`  h@ `  @u  Z@"  ?R@  N@Q  @`(H`4 O@x9 @? t@ IL`Nbp`l _@eqP`init.cinitfini.ccall_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST____do_global_dtors_auxcompleted.6183p.6181frame_dummy__CTOR_END____DTOR_END____FRAME_END____JCR_END____do_global_ctors_auxcommon.c__PRETTY_FUNCTION__.2997__PRETTY_FUNCTION__.3009bptree.cvarOrd.cbp.tab.cyytranslateyyr1yyr2yydefactyydefgotoyypactyypgotoyytableyycheckyystosyydestructyy_buffer_stack_topyy_buffer_stack_maxyy_buffer_stackyy_c_buf_pyy_inityy_startyy_acceptyy_ecyy_metayy_baseyy_defyy_nxtyy_chkyyensure_buffer_stackyy_load_buffer_stateyy_hold_charyy_last_accepting_stateyy_last_accepting_cposyy_n_charsyy_get_previous_stateyy_try_NUL_transyy_get_next_bufferyy_did_buffer_switch_on_eofyy_fatal_erroryyunputinputyy_init_bufferyy_init_globals_GLOBAL_OFFSET_TABLE___init_array_end__init_array_start_DYNAMICdata_startnextContextnewVertexkrecSuccListfileno@@GLIBC_2.2.5isEmptyListconnectedPreorderVisitprintf@@GLIBC_2.2.5target_labelprint_expressionwriteControlbp_declsmemset@@GLIBC_2.2.5__libc_csu_finibitIncrementaddNodeList_startpc_returnresetgcomputeWeightsgtuplebp_maxretsyy_delete_bufferbp_all_localsisatty@@GLIBC_2.2.5printList__gmon_start___Jv_RegisterClassesputs@@GLIBC_2.2.5checkGlobaladdTailNodeListbinaryEncodingexit@@GLIBC_2.2.5newGraphbp_insert_decl__assert_fail@@GLIBC_2.2.5bp_maxlocs_finiyypop_buffer_stateyyget_outputchar@@GLIBC_2.2.5mostSignificantBitInccolumnyyset_debugcommon_time_getsecondsmalloc@@GLIBC_2.2.5fopen@@GLIBC_2.2.5__libc_start_main@@GLIBC_2.2.5yyset_linenobp_labelcountbp_funtreeyyoutaddEdgebp_globidsorderSuccessorsByWeightsbinToStringgenericInsertinterlineCodenum_bityylengcommon_strbufyyget_lengvfprintf@@GLIBC_2.2.5_IO_stdin_usedassign_g_to_gifputc@@GLIBC_2.2.5times@@GLIBC_2.2.5free@@GLIBC_2.2.5_IO_getc@@GLIBC_2.2.5strlen@@GLIBC_2.2.5common_addbufyytextbp_allglobids__data_startvsprintf@@GLIBC_2.2.5ferror@@GLIBC_2.2.5yyrestartgetStringbp_numglobalsyyget_textyyfreebp_nametreeyycharyy_scan_bytesstdin@@GLIBC_2.2.5bp_indextreevariableOrderingwspaceyy_flush_bufferyyset_incommon_errornumbermc_statscommon_strbuf_allocyy_scan_bufferswitchOnTiremoveNodecommon_strbuf_inityypush_buffer_statelimit_timeyyget_inIs_there_varcommon_resource_initcount__dso_handleequalbp_functionsfputs@@GLIBC_2.2.5__libc_csu_initatoi@@GLIBC_2.2.5assignTuplecreateDependencyGraphaddHeadNodeListInsert_varyylex_destroynewItembp_dtailgenericListSortingmemcpy@@GLIBC_2.2.5common_resource_displaymarkNotEqualt_tcontyy_create_buffervisitbp_declcountfread@@GLIBC_2.2.5assignNumberaddNodeassignOnCurrSwitchG_to_Gi__errno_location@@GLIBC_2.2.5dead_pcstrdup@@GLIBC_2.2.5__bss_startyyget_linenobp_labeltreeyyget_debugyyerroryyin__stack_chk_fail@@GLIBC_2.4mc_sepvarassign_gi_to_gincrementorderByWeightsstrcmp@@GLIBC_2.2.5genericSuccessorsOrderingresetWeightsassignOnCurrSwitchGi_to_Gyyalloccommon_strbuf_newequalg_giyyrealloccomparenumThreadssearchIresetVisitedsalvatoreprint_recursive_statement_endbreakCyclesfclose@@GLIBC_2.2.5remove@@GLIBC_2.2.5print_indent_statementyyset_outnewLinkedListyylvalfscanf@@GLIBC_2.2.5tupleyylinenostderr@@GLIBC_2.2.5localctrwriteLessprint_programyy_flex_debugclearerr@@GLIBC_2.2.5bp_parmsmaxindexlocvaryynerrsyylexfwrite@@GLIBC_2.2.5weightrealloc@@GLIBC_2.2.5bp_lookupbp_globalsyyparse_edataassignti_to_tinsertfprintf@@GLIBC_2.2.5bp_locidsequalNglobalctrsearchVyy_scan_stringyy_switch_to_buffercommon_resource_setmarkbCyclesstdout@@GLIBC_2.2.5bp_funcountmain_initwriteMainlinefflush@@GLIBC_2.2.5mark_timezeroout