ELF>@@@@8@%"@@@@@@@@@ ``( 88`8`@@ Ptd@@Qtd/lib64/ld-linux-x86-64.so.2GNU%('!   $&%#   "% %&)fUa9$'q !cA=& %F%.xS:eF\T,!4eE&P`M@`H`__gmon_start__libc.so.6fflushexitfopen__stack_chk_failputcharreallocstdinvsprintfstrdup__assert_failisattystrlenmemset__errno_locationclearerrstdoutfputcfputsmemcpyfclosemallocremovestderrfscanffilenofwritefreadatoitimes_IO_getcstrcmp__libc_start_mainferrorvfprintffreeGLIBC_2.4GLIBC_2.2.5ii 3ui =`@`&H`'P`%````` `(`0` 8` @` H` P` X```h`p`x``````````````` `!`"`#`$H{ՃH5 % @% h%ڽ h%ҽ h%ʽ h%½ h% h% h% hp% h`% h P% h @% h 0% h %z h %r h%j h%b h%Z h%R h%J h%B h%: h%2 h%* hp%" h`% hP% h@% h0% h % h% h% h% h %ڼ h!%Ҽ h"1I^HHPTI0@H@@H|@GHHa HtHÐ= UHt$HHu Hl HHu ff.UH=W HtHt 0`IAÐUHH H}UHHEEHcи`E}~1UHSH}}x}~0@H@X@]lHc`H[UHH0}HuHU؋p }x}~@H@X@ (ȋEH`(\(EHu࿠@ZEǑ@EHcи`H}t HU؋EUHHHXH`HhLpLxH H HHDž @H) HEH )x)p)h)`)X)P)H)@H(H0H0@0H0HUHPH0HPHPH  @H= H0H(hH5 gUHHH F UHH1 UHHHXH`HhLpLxH H HHDž *@H) HEH )x)p)h)`)X)P)H)@H(H= LLꀋ 9|-| q k HcH=Y HM H0H0@0H0HUHPH0HPHPLHHH H<H0H(8ÐUHH0H}HuHEHE*HEH0H}u HEHEHEH@HEH}uHEHEUHH H} 5HEHUHEH   HEPHEH@Ho Hu HEH_ 2HV 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$HEH06@HEH8HEH@HEH}uUHH}HuÐUHH}uHUH}uHE@UHSHEHHEHpHEHEEEE j HEHEHEHEHEEHEfHEHHEHH;EJHUHEHH)HHHHEH}'/HeH}'vHE'HEHEHUHHHHHxHEH}HEHH}HuHEHEHEHHHEHEHHHEHEHH}Hu`HEHEHEHHHxHxHHHEHH;Et H}HEHHEHHEHEHHEHHEHEHHEHH;EEH@@E}â u  EE܉ : = w H@@\ Dž\\E܋EE}}EH@;EuwEH@E}}}]b}}tmݡ t ϡ EEHEHUH HYEH@@E}eEH@Eظ+EHHHEHHE}NuEHŠ@HEHHH HEHH; Cfu H Р   H9 H Hà Ho HEݠ  Ƞ  f H4  H HEH0H= tș@1wHEH8I HEHHHEHUHEHHB`& /HEHUHEH8HHHUHEH@BHUHEH0BHUݟ fBHU fBHUHH HBHUHɟ 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 @HUN@AHmHmHEEj}tHEHEH HEEEE]@"E t tuܺ`n@EHHH)EEHHH)E,HEH @HU@|HmHmHEH;EuHH;Et H}EHĨ[UHSH8Z H F u 8 H HuH H H HuH HЎ H Ht!H͎ HHHώ HHHu2H HHH HH=v @HAH HE HUЈHMHM؋z EHU@@EEH @ft@M̉ V HEHO *EH@@É}̂~E@@EEH @EH@;EuEH @E`@EHEEH @f=0EH @E}u%H HUЋ M̋EH @EHEH HEЉHE؉)ȉލ HUA HMHEH }7PEHŘ@ HUЈH  HMЋ EGD H=t H EEEEEEEEpE v_EeNET=E C,E2E! EEEEEEE E EqEw`EfOH= H EB+H= ы EH=q H EEEEEE;E'~E,mE:s\E(bKE)Q:E[@)E]/E E  E!E~E^E E E<E>H  Չ HcH=Ӊ EZHEЉH )ȃE HUЈHˈ HHH͈ HH@ %EH/ HEḢ HUH HHH HHHP HHH EH ن HMHv HE*`@"EH8[UHSHXH HHH HHH@HEH HEHU HHHW HHHPb HHHPH= H9s X@-H HHH HH@8u8H HH HH)HHu EEH̅ Hk )ȃEEHUHMHEHEEE9E|Hl HHHn HH@<u4HH HHHJ HHU O B UH HHH HHH@‹E)ȃE>H Ht"H҄ HHHԄ HHHEHEHEHEH HEH@)ȉEHE؋@$toHEH@HE}!HEHPHEH@HHHEHPHEH@HHEHPHEH@HpHEHx:HHEHP HEH@HEH@Hu @HEHPEHHH Hу HHHӃ HHH@‹E)ȃE}} ~E H HHH HH@(E*E8HO HHHQ HHHPHcEH‹EHH‹EEUE9sH= E}t} u} u8H HHH HHHPHcEH‹EHH‹EE}uH= Qt @E /st @}[H=> H 2 EHcH= HHH? HHHPHcEH<H5 / uH= kH HHH HH B  uG}uEH= 3EH HHH HH@<E EHcH[ HHH] HHH@H9_ MS HHEH HHH HHH HHH HHHxHuHCH̀ HHH΀ HHH@Hu @ʀ E H HHH HHHP HHH_ HHHa HHHPl HHHH, HHH. HHH@H̀ EEEHX[UH EH HUHUtHU@@EEEEEH @ft@U HEH *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} pH} HHH} HHHHH} HHH} HHH@HHHEHn} HHHp} HHHPHcHHUHmHmHMHUH+} HHH-} HHH@H;ErHEHE)HHEHEHE)HHEH| HHH| HHH| HHH| HHH@| | A H| HHH| HHH@HH;Ev @x HmEHUHMH } HUc| HMH H| UHH H7| @| H'| H{ HHH{ HHHP | HHH{ H9v H{ vH{ Hq| )ȉEH{ HH{ E}t}t}t/H=[{ jE\EHHH| HHc{ H\{ EHL{ HB{ HH7{ H0{ 7{ EEEUHSHH}H{ Ht!Hz HHHz HHHu2Hz HHHz HH=z @HHz Ht"Hz HHHz HHHEHEHuH}H[UHHH}CHAz Ht"H%z HHH'z HHHEHEHEH;EHy Ht}Hy HHHy HHHt\Hy y Hy HHHy HHHy HBHy HHHy HHy B Hdy HHHfy HHEH my UHH0y HHH2y HH@ >y H y HHH y HHH@Hy Hx Hy Hx HHHx HHHHx Hx x UHH H}u@ HEH}u 0@EHcHEHPHEH@Hx[ HHEHPHEH@Hu 0@MHE@$HuH}HEUHHH}H}H x Ht"Hw HHHw HHHEHEHEH;Eu Hw HHHw HHHE@$t HEHxH}UHH0H}HuaEH}HUHEHHE@8HNw Ht"H2w HHH4w HHHEHEHEH;EtHE@0HE@4H}tH}g萷~ EEHEU܉P(譸H‹EUHHH}H}HE@ HEH@HEH@HHEHPHEHPHE@,HE@<HRv Ht"H6v HHH8v HHHEHEHEH;EuUHHH}H}Hu Ht}Hu HHHu HHHt\Hu u Hu HHHu HHHu HBH{u HHH}u HHu B Hfu Ht3HJu HHHLu HHHtH)u HHu Hu HHHu HHEH u UHHHt HHt HHHt HHHuHt Ht"Ht HHHt HHHEHEH}YHjt HHHlt HHHJt HtH>t HH3t HH-s H&s Hu `@EHH Hr HHHr H<Hʾ|EHHr UHH0H}HuH}v&HEHEHuHEHEHt HE@uHEH}u @tHUHHEHPHUHEHBHEHPHEHPHE@$HEHHEH@HEP HE@(HE@,HE@8HE@<H}HEHEHEUHHH}H}:H}UHH0H}؉uԋEԃHHEH}HEH}u ȫ@EEHHHUEHHEEE;E|ڋEHHHUEHHEHHuH}IHEH}u @HE@$HEUHHH}H=p HU@[葱UH[p UHHp UHHp UHAq UHHo HHH@o HHHkH=)o MHo UHHH}H}UHHH}HuHuH}QUHHH}H}UHEEHHHQo H< uo o o _EHHHo H< u6n  )ȉ¸)щʋn n n n EEHHHn HJUHHH}H=m x5n @SUHH }EH n +@EE;E|UHH}uUE.EHHHHuU )ȉ}E}tE;EuċEEEHHHEEE;E|EUHH}uE$EHHE0EHHEH,EE;EыEHHE0EHHEHUHH}uHUE>EHHHUE+EHHHE؋0EHHEH,EE;EEHHHUHE؋0EHHEHUHH0H}HuUHMо/@1@HE}x#HEЋMHUH}I:@Q!HEЋMHUH}I:@.H}ŭB@1@薬HEHUH}D@軭H}蒭1@蘭UHHPH}ȉuHUdH%(HE1EmPUHuH}G@E EHHHUȋEHDEEEHDu҃m}HuH}I@E EHHHUȋEHDEEEHDuҋEHHEHEdH3%(tsUHHHxtHhdH%(HE1E\tHhH}G@E#EHHHxEHDEEEHDuσttHhH}I@E#EHHHxEHDEEEHDuϋEHHxHEdH3%(t^UHH0}HuHUEEHHHEHDDMAEHHHEHMH=j HEHuDD$D $IAHP@V}HUHugH i p@(HEH=i HUAt@UHHlH`\dH%(HE1H`lHl\HpHplH}XH=!i HMH@gHEdH3%(tөUHHHHxdH%(HE1HH$HxH H=h HH@ͩHEdH3%(t9UHH H}uUMH=5h HEHuAIH򾌬@uE!H=h MHU辝@OEE;EH5g )ߧUHH0}HuUH5g ,躧}~pM܃H=g HUྦ@E!H=tg MHUྲ@辨EE܃;EH Hg @tM܃H='g HU¬@tE!H=g MHUྜྷ@NEE܃;EH f ˬ@E!H=f MHUྜྷ@EE;E|H5f )葦UHH`HdH%(HE1HHH=8f HӬ@肧HHH e ٬@HEdH3%(t舦UHH}uEEEEEHHHEEm}yۋEUHH0H}HuUE1H=@詤}uH5\c 1bH5Ic 0OEH ,c H@XUċuܿL@0H c W@-UH}I@[@UHu[@gH5b )ŢEE;ErH b ]@ʣHEdH3%(tVUHH@}̉uȉUdH%(HE1H5Mb 0SEH 0b H@\Uċuܿa@4H b i@1UH}I@[@UHu[@kH a p@EE;EhHEdH3%(tkUHHH|DxdH%(HE1|xFH 0a o@\|H}йI@[@H}о[@H ` z@xH ` @xL@x|%xtH ^` @芡HEdH3%(tUHH0H}uUM܋}&EH ` @0UuH} H _ @}܃H=_ U@}H _ @迠EE;EdH h_ @蔠}[EH <_ @hEE;E|H5_ UHH }H^ HEGH^ H9EtH ^ @ H5^ HEH86HEH@HEH}uH ^ @ȟHi^ HETH\^ H9EtH g^ @蓟HEHH=E^ M쾼@蓟HEH@HEH}uUHH }H] HETH] H9EtH ] @HEHH=] M쾼@HEH@HEH}uH ] @ОHq] HEGHd] H9EtH o] @蛞H5T] HEH8ȝHEH@HEH}uUHH }H5!] 1'H\ HE9HEHHEHH=\ MIH¾­@=HEH@HEH}uUHH }uU}EH \ @ȝUuL@H q\ @蝝}a})H @\ ٬@l}3H \ @IEE;EVH [ @}EH [ @EE;E|H5[ 襛UHHHl[ HEGH_[ H9EtH j[ @薜H5O[ HEH8ÛHEH@HEH}uH )[ @UHZ HEOHZ H9EtH Z @ H Z έ@HEH@HEH}uH Z ٬@כUHH }uU}}yH cZ ۭ@菛EcH ?Z H@k}H Z W@HUuL@ H5Y )EE;E~H Y ]@UHH }uH Y @՚EfH Y H@豚}6H bY W@莚uUL@cH54Y ):EE;E~UHHdH%(HE1H X @H`[@2H=X H`@Dž\H={X \@ƙk\a@Hz\HPI@[@H X  @-HHPXH W ]@H W (@ԘL@H0I@[@_H0[@H\A[@\H V 3@%L@H V ;@\ H V E@躗H iV @蕗L@hH 9V @e*H V I@@H U E@[@\\;%H U R@̖H {U f@觖H `U p@茖HEdH3%(tUHH`dH%(HE1H T v@)H[@LH=T H@ H T @ƕH uT @衕L@a@H ET @q6H T @L.H S @H S @H S @L@OH 9S @eH S @3L@ZrH R @ؓH qR E@蝓bH LR E@x=H 'R E@SH R Ů@.H Q p@HEdH3%(t蟒UHH }Hu}~}~Ю@-P P yQ HEHH8B@HHP H P Hu @@۔oP HEHH8跑YP SP HEHH00@a3P @@肔ǫty@jH=yO đ}u6/@@菐HP HP HuP@"(HEHH8/@SHlP HeP Hu@ UHH }EH5*P 0EEҍ;EUHH }uU}y}H O @ E6}~H O @H5O 0袏EE;E~H O ٬@諐}H \O @舐}H 6O ӯ@b}H O @B @jH5#B HH8蔂Dž -HHH=A B@B  A 9 ~HH@HHQDžJDž )H=A  J@ӂ @ 9 ~Ƀ;|Dž?H=6A T@聂H=A a@e;|H @ q@5@ 5? eHD@ HH@\\t \t:H Y@ }@腁AH <@ @h$H@H=@ @bHHH=? @BHH@8HWHH@8H;tH ? @߀H5? HH8 HH@HHuH f? @蒀H K? @wHH@HH ? <@HHH@HWHH@H;tH > @H5> HH8/HH@HHuH > @HH@HHtFH a> @HHxHH 6> ٬@bHH8@~H@HHxXH = @HH@`HH HEdH3%(tt~Ðfffff.Hl$L|$H-8 L=8 Ld$Ll$Lt$H\$H8L)AIHIc|Ht1@LLDAHH9uH\$Hl$Ld$Ll$ Lt$(L|$0H8ÐUHSHH08 Ht1H`HHuH[ÐH~Hcommon_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 decl %s; // block of context %d assume(abort:=0; if ( !() ) then fi init(); //end of blocks return; end void control() begin if (*) then abort := 1; else ) then while ( ) do 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 (abort) then return control(); ; fi schoose[(!((!=))=>@1@g@@@g@@@@@%s: constrain(skip; goto %s; return print(%s(elsif () do ߂@S@܃@2@@@{@{@@!@ބ@@error: no threads defined //nt=%d k=%d nbpt=%d kbits=%d decl , %s_%d, t_%d_%d, context_%d, currSwitch_%d, abort; void bool bool<%d> %s () begin ; enforce initend ;{<^O^$^L^t_```0b<bd'cLh i?i hi4i\i-jljjj$^kLkt?llQmmOn<nd)oopp p, LqT q| or r r >s tD hul u Hv v v v4 \ 8 К ԛ $ ȟL t ' N !< ʤd ޥ צ  ',T|,9ERDdly  4ϫ\$PLϭt4®~s<hd7^,T,|{лDlѾ<qo F4\G$LttzRx $@ $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@ $x@y $|@x ${}@: $}@ $DK@ $la@< $@ $V@% ${@ zRx h,4` &@ @ @@@o@p@@ I `H @@ @` o @oo@8` @& @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 @ @@@@ā@ @ @@l` ` 0`08`8``0`(@`88p% <o$?00;0I$e u@@@@@@p@@ @ @ @ @ @ @ @@@ @@@` `0`8````@` ! l@#.`< `J0`W @mX`| ` @#`(`@0` А@0@@&/@@!;@O@@OE@@N@NX@@>_@Ng@o@hw @~ (@ `````` @@@@@ @ @@ `@| @| X@/( MS@=`J`b`y` L@ M@ E@` [@0 iN@ ZP@* U@ h\@a`, `= `P8`Y `d 7l@Up [@^z`| (@o$ @) @l` K@ x@y` 0@+ e@N8 @?D @@K`U -r@\ "@Vk /b@r`} pT@` @d   t@ i@J  _@, @05 @%DA_ `j@p W@ [@  ie@$` V\@ @ ( \@5(`C0`Nx`T @\8`g $@Y _@ m&@ }@ V@%@`` [@ F @ o@%*<Rf @FtH`{P`` Q@ ~`@X` \@  ]@``h` Z@@`(h`5 @F ^@=M U@] \@f Z@s h@Gz(`` Y@ m@+ @: s@! V@,` [@  @Y  @C  ]@ `,  ah@2 p`? :R  @@b t  d@  q@  (@A  E@  \@  $@7 x`  $'@y e  @  Lk@#  S@4  !@y: `G FZ  $d@g  @go  p@5  ` T 8`  [@ `  J\@  ^@/ p`  0`(  n@7  Ag@A  #@sP !d  '@g~  f$@;  +s@  ]@  @  p@k  ]@  $@s  @  @l  +$@;  s(@  a@< `$  }!@T0 D 4X  {}@:o  5\@y  @3 `   :a@ 4` H` d`  Dc@  {@ `  ` `" `*  ?=@0 eD  J"@hK `  @j `u  (@} 8`  ui@  #@  `  h@ ``  @u  Z@"  ?R@  N@Q  @P`(`4 |@x9 @? t@I`Nb`l _@eq`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