ELF84<4 (440000/Mt<</usr/lib/ld.so.132.!F) x$"P I~r-Q(b"$ &/M 0l20fW |7Jw3N#+G=c\@vg},(;',Z*1 8.u^BL*%mKd%)?' 4&E!V+:OSe<oTH>9ty-_U/Ci5k]sX1{RD[YAp#ahz6nqj` 6668 4  , 0 <0 00>'x6?\8ha:],x8^ϴ")/6]4Z~ϸx,"t7>ZpXh~x0p4\HT08#h4?ONu"X\"0 $p-y,Rh=u(X" h%, 1V8c8{`8X`t$ppl44|gg4tǐxl:0,W^ dx}8 8Ls83488jk [cp|]   İ  4 e@ @ @ Ę, [ !   T \ L  +T S D TX  THD jp # 9P Q Z" c lp X h X <   P  / Fl| ^h e k y  \t L"  p"     X 42 <dP" L< |8H  d <  t $p8NlƼP|,@<""0!۝xϼc8#x)("3hdCPO(f@w|P|4P 8 PHhTp+/3RZqg|yPX|FXV,:_(jq H{4/`d85dMRox_bmTXp<)`P@Xcio0 , hx9$`{:0D$T>z۠@Pt v $8DAP4QxTt{dp+`è4ʐ ɰ iUPxq,l4 \&T8H<_w8Rx("@S`@"yyleng$XAjgSwDhhSN2imO.iostream_init__0oGStringctvyylineno__0fOunsafe_ostreamHdo_opfxvcout$XAjgSwDfhSN2CmO.iostream_init__0OnwUi__0oFArray76RCommunicationPair_dtv__0FEendlR6Hostream_startyychar__0oFArray76SAutomataTransition_asR6FArray76SAutomataTransition_PrintOptionthr_keycreateyyfndyyolsp__0oFArray76SAutomataTransition_ctv__0fHProgramKProcEnableR6HProcessTB__0oFFlagsasR6FFlags$XAjgSwDIhSN2SeO.yymaxdepthatoiSimulationAlg__0oXAutomataTransitionArrayvci__0fFArray7i_HGetSizev$XAjgSwDr74N2iMt.helptext_mutex_held__0oGStringeqRC6GStringyylval__0fFArray7i_JFindIndexRi__0OlsR6HostreamR6SAutomataTransition__0oGStringctRC6GString_environ_end__0oFArray76NAutomataState_ctv$XAjgSwDXhSN2ikO.iostream_init__0fIRelationKInitializev__0OlsR6HostreamR6FArray76KTransition___0oRCommunicationPairctiTB__0FGyybackPii__0fFArray7i_WInsertWithoutRepeatingRi_ex_register__0oHostreamlsl__flsbufmutex_trylock_GLOBAL_OFFSET_TABLE_yytchar__0FESortPP6GDomaini__0fXAutomataTransitionArrayHGetSizevtypeProcess$XAjgSwDIhSN2SeO.iostream_init__0fFArray76NAutomataState_HGetSizev__0fIRelationEMarkiTB__0FGyylookv__0oNIostream_initctvyyredsmutex_destroy__0fFArray76RCommunicationPair_WInsertWithoutRepeatingR6RCommunicationPair$XAjgSwDr74N2iMt.iostream_init__0fIRelationLFindSimRelsvatexitexit__0fFArray76NAutomataState_EinitP6NAutomataStatei__0fFArray76RCommunicationPair_HGetSizev__0oFArray7i_vci$XAjgSwDIhSN2SeO.yypgo__0fIRelationJisCurrentiTB__0fIRelationGDeleteiTB__0oGStringdtv__0FHReverseP6FArray76NAutomataState___0oFArray76GString_ctv__0fFArray76NAutomataState_GInsertR6NAutomataState__0fFArray76SAutomataTransition_GInsertR6SAutomataTransitionmalloc__0oNAutomataStatectiNCBR6FFlags__0oNAutomataStateeqR6NAutomataState_ex_rethrow_q__0oGStringneRC6GString__0oFArray76RCommunicationPair_vci__0oIRelationctR6IAutomataTByysptr_init__0OlsR6HostreamR6FFlags__0fFArray76GString_HGetSizev__0fIAutomataPSetInitialStatei__0oSAutomataTransitionctv__0OlsR6HostreamR6FArray76RCommunicationPair___0OlsR6HostreamR6HProcess__0FFflushR6Hostream.mul__0fHProgramPCheckIfDisabled6KProcessLociTBTCTBTC__0fFArray76GString_GInsertR6GString__0oFArray76KTransition_vciyyerrflag__0oFArray76NAutomataState_dtv__0oFArray76SAutomataTransition_vci_vector_delete__vector_con_yynerrs$XAjgSwDIhSN2SeO.yyact__0oIAutomatactR6IAutomata6KProcessLocR6HProgram$XBjgSwDfhSN2CmO.__0fIAutomataHStutterv.serial__assert__0OlsR6HostreamR6IRelation__0oFFlagsctR6FFlags__0fFArray76GString_JFindIndexR6GStringyyextraprogfclose___ArgvyyoutclockReduceOption__0fXAutomataTransitionArrayJGetLISizev__0FkCreateBaseAutomatonHandlingWildCardsR6HProgramR6IAutomataiR6GStringNEE__0FHyyerrorPcyymatch__0fFArray76KTransition_GInsertR6KTransition__0fFArray76SAutomataTransition_JFindIndexR6SAutomataTransition__0oNIostream_initdtv$XAjgSwDIhSN2SeO.yypactyyestatethr_exit__0OdlPv__0fXAutomataTransitionArrayWInsertWithoutRepeatingR6SAutomataTransitionyy_yys__0oIRelationdtvyy_yyv_DYNAMIC__0oRCommunicationPaireqR6RCommunicationPair_vector_new___0oGStringasRC6GString__0fHProgramILeftTypei__0oFArray76GString_dtvprintf__iobStutterOptionyyvstop__0fFArray76NAutomataState_JFindIndexR6NAutomataStatethr_setspecificbaseAutomatamutex_lock__0OlsR6HostreamR6IAutomata__0oIofstreamdtv$XBjgSwDIhSN2SeO.__0FFyylexv.__lex_hackyycrankthr_getspecific__0fRCommunicationPairUGetCommunicationPairRiTB$XAjgSwDIhSN2SeO.yyexcareallocyysvec__0oGStringvci$XAjgSwDPhSN2ijO.iostream_inityytmp__0fFArray76SAutomataTransition_WInsertWithoutRepeatingR6SAutomataTransition__0OlsR6HostreamR6FArray76NAutomataState___0OlsR6HostreamR6KTransition$XAjgSwDIhSN2SeO.yydefyyprevious_exityytop__0oFArray7i_ctvmutex_unlock_ex_deregisterenviron$XAjgSwDchSN2ilO.iostream_inityytextFairOption__0OlsR6HostreamR6FArray76GString_yylsp_thr_main__0oHProcesscti__cg89_used__0oOunsafe_ostreamlsl__0oIAutomatactiyyin__cg92_used__0oIofstreamctPCciTC__0dHfilebufIopenprot__0oFArray76KTransition_ctv__fnonstd_used__0fIRelationETestiTB__0FHyyinputv__0OlsR6HostreamR6GString__0FHyyparsevyysyyv__0oKTransitioneqR6KTransition$XAjgSwDVhSN2CkO.iostream_init__0fOunsafe_ostreamGoutstrPCcTByystate__0oFArray76NAutomataState_vcisystemstrcmp__0fFArray7i_GInsertRi__0oNAutomataStatectv__0FMGetPartitionR6IAutomata__0fFArray76SAutomataTransition_HGetSizev__0fFArray76KTransition_JFindIndexR6KTransitionyysbuf__0oKTransitionctiNCB__0oFArray76RCommunicationPair_ctv_edata_PROCEDURE_LINKAGE_TABLE_fopen__0OlsR6HostreamR6FArray76SAutomataTransition_$XBjgSwDIhSN2SeO.__0FHyyparsev.__yaccpar_lint_hack____0oFArray76GString_vciyyps__0oFArray76NAutomataState_asR6FArray76NAutomataState_yypv__0fOunsafe_ostreamHdo_osfxv__0fKunsafe_iosIsetstatei__0OlsR6HostreamR6RCommunicationPair__fsr_init_value__0oFArray76SAutomataTransition_dtv__0fFArray76NAutomataState_WInsertWithoutRepeatingR6NAutomataState__0fFArray76RCommunicationPair_GInsertR6RCommunicationPair__0fIRelationJisRelatedvstrcpy__0fFArray76KTransition_WInsertWithoutRepeatingR6KTransition__0oSAutomataTransitioneqR6SAutomataTransition$XAjgSwDIhSN2SeO.yychk__0FIPrintSMCR6HProgramR6IAutomatastat2stat3__0oFFlagseqR6FFlags_etext_lib_versionyymorfg__0fIRelationJisPresentiTByybginyydebug__0oIAutomatactR6IAutomata__0FGyywrapv__0OlsR6HostreamR6NAutomataStatemain__0FFyylexv__0fHProgramLbuildEnablev__0fFArray76SAutomataTransition_EinitP6SAutomataTransitioni$XAjgSwD28LQ2C1k.iostream_init$XBjgSwDfhSN2CmO.__0fIAutomataHStutterv.parallel__0oGStringctPCc__0fLfstreambaseFclosev.div__0oFArray7i_dtv__0FESortPP6EEdgei__0fIRelationMGetPartitionv__filbuf__0oFFlagsctiTB__0fKTransitionNGetTransitionRiNCBmemcpystrlen__0oIRelationctR6IAutomatayyval__0fIAutomataHStutterv__0OlsR6HostreamR6XAutomataTransitionArray__environ_lock$XAjgSwDIhSN2SeO.yyr1$XAjgSwDIhSN2SeO.yyr2__0fFArray76GString_WInsertWithoutRepeatingR6GString__0oFArray76KTransition_dtv__0fHProcessJnumStatesv__0oSAutomataTransitionctR6SAutomataTransitionst__0fFArray76RCommunicationPair_JFindIndexR6RCommunicationPair_fini__0oSAutomataTransitionctiNDByylstate__0fFArray76KTransition_HGetSizev__0fIAutomataHGetSizev__0fHProgramJRightTypeifprintf__0FIyyoutputiyytoksthr_self__0fIAutomataIReduceMev__0OlsR6HostreamR6HProgram__0FHyyunputimutex_initlibm.so.1libC.so.5libw.so.1libc.so.1/opt/SUNWspro/lib\8|V W,8*DP\Ehtc!fP#/r(4s@LXDdp| {zC @D"cT, @'$0+`-` `?-)#L-/  % +` `?`5+cP %@# @@ڐ"4@W@@@㿘 '㿘!#X  @'   '!'!'!'! '! '! '!'|! '~v!'xp!'rj!'ld!'f^!'`X!'ZR!'TL!'NF!'H@!'B:!'<4!'6.!'0(! '*"!'$!#\ #c`@@  $? , !O!tB '<:|::::; ;;;4;L;d;|;;;;;< <$<<! $ !  !! , @@-! $  ',!  ԡ, @@! $ !  ԡ, @@! $ !   @ !   @ '!! @ !!А '!!$ !  , '!  ܣ, '!  أ, '$  ''!! $`%,  '!&%=@!   & !!t$ !  ! $ !   ! $ !! S!!t M!#4@}!   !#D@r;!   !#T@e. '%(ȣ,   %(ȣ,   !  @Ƞ ''\%(ȣ,  @7!  '耤 耤 0%,  '%`,  !  @?! $ ! #a $`'!   !  ?! $  %,  '耤?!   & !!t$ !  ! $ !   ! $ !! S!!t M! @!   ! @;!   ! ,@. '%(ģ,   %(ģ,   !  @Ġ ''4%(ģ,  @w! 8' ?   쀤@ ' '   !  @  '耤  '耤 ! !! '!! '!! '!   ! $  ! $ !  @ D% ,  !'耤 耤 '`%,  ,  ! %,  '!! #` ? @@?'?' 'v!! M! Đ@!   ! @;!   ! @. '%(,   %(,   !  @ ''%(,  @!   '?! $ !  , !] !! '%(,  @@Q!!t$ '%,  '  K< ', $' #a $`%,  ', $'%8,    '쀤 %,  '%`,   @'%8,  ,  ' < ', $' #a $`%,  ', $'%8,    '쀤 %,  '%`,   @'%8,  ,  '!!$ !!$ !!$ #c@@#*!#`@@@#c@@#!#`@@@#c@@#!#`@@@ @@# @@# @@# ! $  ! $  ! $ #c`? @@@h#c`? @@@^@ !#l@@FQ:%#cT? @@@B@*5%,#cT? @@@0@#%@#cT? @@@@!  $  , !] A#c`? @@'Т  @@*  А@@!#ؐ@@Cآ @@#  !#@@= $ #c%? ? ? ? ? ? @@#\#`@ ! $  !!$ x ! $  !!$ n ! $  !!$ d ! $  !!$ Z ! $  !!$ P @'̠ @ #ax@@ r!!$ 64!!t $ $ ', !] (  p $ , !] 8$ , !] HD @@  @@  @@ @|@@x@@t@@p@@( @@<@}آ @@4@u̐@t@o`t``b ihiPkjHkfgghirlmmmnTrro(rrpPpqq(qPqxrq㿠'H'DD @D  @@7H  D@0㿐'H'DD  @ 'D H@@D''㿠'H'DHD $ 㿠'H'DD @?D ` @@=D T @@9D H @@=D < @@=D ( @@D  @@D @@H  D@㿠'H'DD @D  @@; H  D@㿠'DD?@@ pD ?@@ iD (?@@ bD <@BqD H@BlD T@@D `@Bb-D T @@96D H @@=D < @@=D ( @@vD  @@oD @@i@0㿘'H'DDH @@$D'㿘'DD '㿠'H'DD @*D $ @@=mD  @@=fD  @@=_D @@=YH  D@㿠'H'DD @D @@CH  D@㿠! @!#!#?@@>㿠!# @!# @!  @@8'H'D! 8#c@@ 'D@'8H,  @#c@@x '! 8#a@@U 'D?'DH 'HH 'D L , <  -` @7!#$ } @,!#$ r @!!#$  L , <  + !#$ [ L , <  + " !#$ M L , <  + " !#$ ? ':! 8#cȐ@@ @, L , < paafv $p , !d v~'D?'DH 'HH '^ @! '#`@@!!$ 3!! @!#  !#  !!'D!! 'D!#  !!'@!!'@!#  !!'<!!1' 'O 'K 'GD   d  @@#'pp   'D      @@#'ll   " ''D h@@#'hh  , !y"      @D Ȑ@@!'dd'P TԐ@@,'`` d  @3D h@@#'\\ @Ȣ @@Ԡ 'Dؠ 'd  d   d  d     P   @'XX Pd  @'TT  'D h@@#-'PP   'D h@@#'LL   2D   d  @@#'HH  D      @@"'DD   ' '''D h@@"'@@   ud  jD h@@"'<<  < 'd  'D h@@"'88  'd  'D h@@"'44    ' '''d  ' ''L'P@@#\'00 ' '?'D h@@"S',,   E   =d  'D h@@"6'((  ' 'd  ' ''L' 'P@@#\?'$$ ' '   v 'D  @8'  @eD  ؐ@@''     @K    @Cp      @D p@@''`d  d  @KD h@@!' `@p @@ؠ 'C       @D @@'' d  d  @D h@@!X'    @i @@ܠ 'P  @@ 'qh 'hD @%'h@B!#   ! 8D@@"! 8#a@@'#c @@q'D@'@@!'#c,@@Z'@t'!! $#Тb@@@tt@t'#c<@@:'#b@@!# ! 8#a@@'#cD@@'D@0'ܐ@@'#cd@@'#a@@'#cp@@D@! 8#a@@'#cx@@'D@'Đ@@'#c@@'#b@@V!#   ! 8D@@N!# D@Tl @@|-Ȣ @@t  @@nl @@hD  @@7@sp @@Y @@Qи㿘'H'DD#c@@X#a@@D#c@@JH @@#a@@D#cؐ@@5#a@@H @@"D''D@&D @$+'||' ' '@sp'xx!!$ D@i'tt'! 8#a@@'pp#c@@'l@sM'hlh!! $#Тb@@@s@s='dd#`@@'``#b@@WD ,  D$ 䀤  ' '耤@,  ܀@v 'D @@0'\ܦ  \ @@C@@$['XX'ؠ 'D @@'TT a'PP@4D @@'LL @'HH@,  'ؐ@@'DD @ 'ܠ 'ܠ @@  '{qD @@%!#   ! 8D@ @@ @@ @@@r:㿠'H'DHD$ 㿘'DD @"'㿠'H'DD @*D $ @@ D  @@ xD  @@ qD @@ kH  D@q㿠'DD@D @D @D $@D  @@ :D  @@ 3D @@ -@q㿘'H'DHD@D''㿠'H'DHD $ 㿐'H'DD  @s'D H@@qD''㿠'H'DD @D  @EH  D@qP㿐'H'DD  @1'D H@@D''㿘'H'DDH @@qD'㿘'DD '㿘?'㿘?'㿘?'㿘?'㿘?'㿘?'㿘?'㿠! @p㿠!  @@p㿠'D D$ 㿘'H'DH@p @pr'D$ D  @! #`  @@p D H@@p㿘'H'DH @pu @p='D$ D  @! ,#`8 @@pR D H @@pP㿘'H'DD H @D'3H @p4 @o'D$ D  @! D#`P @@p D H @@pD'㿠'H'DD @D @oH  D@o㿘'H'DD H @@o  ' '㿘'H'DDH@  ' ''㿘'H'DD HL /O㿘'H'DH  @ #`8H @@! 8'㿐'H'DD  @1'D H@@D''㿘'H'DDH @@oD'㿘'DD '㿠! Z@n㿠! Z @@n㿠! \@n㿠! \ @@n㿈'DD@' %@'ฐ@@n' '쀤@8 'D@@ G!D@@ @w  , , @@! ' ''㿘'L'H'D D $ H D $ L D $ !# H  'H 'D $$ L D ($ D $ rD ,$ D ( hD 0$ D@D@! 8#a@@#``@@D @@#`t@@D  @@#`x@@!! @@n#`@@!! @@n㿠'H'D D $ H D $ H D $ H D $$ D $ D ($ D $ D ,$ D , D 0$ D@D@ ! 8#a@@h#`@@AD @@#`@@3D  @@ #`@@$!! @@m#`@@!! @@m㿘'H'DD @* 'D @D  ,  @m8 'D  @m-H  D@m$㿈'DD $ @D$ D ( @D $  D $ D D  @@m <@@lD $  D $  !!$  !!$ D , @l'D $  'D @D  , @l'D  , $  ' 'D @k 'D  @]D  D  ,  , $ D $ @@  D ( @@   D@@7D $ @@  D ( @@   D@@ ' '㿘'L'H'D D  H,  L, $ D   D  L,  H, $ D  'D   D $ D  @ D $ ! 8#`@@#b@@㿘'L'H'DD  H,  L,   4 '㿘'L'H'DD  H,  L,  D   6 '㿠'L'H'DDHL@ D   D  H,  L, $ 㿘'DDD  D  @'㿐'H'DD#a@@<#`@@#a@@. 'H @* 'H  @DH@P@ 'D#a@@ 'D'p'L'H'DDHL@@ q!!  !!$  'D $ H@@T @? 'D $ H@@A @@' 'D ( L@@- @ED ( L@@ @@'  @(    @    @D    @  ' ' DHL@?!!  !!$  ' 'j 'D $ H@@ @ 'D $ H@@ @@X' 'D ( L@@ @~ED ( L@@ @@3'  @(    @    @D    @   ' ' DHL@!!  !!$  '? 'j 'D $ H@@  ,@  'D $ H@@  ,@@'ܠ 'D ( L@@ ,@ED ( L@@ ,@@'  @(ܠ  ؠ  @ܠ  ؠ  @Dܠ  ؠ  @r  ' ' DHL@ !!  !!$  ' 'j 'D $ H@@ 8@q 'D $ H@@s 8@@$'Ԡ 'D ( L@@_ 8@JED ( L@@N 8@@'  @(Ԡ  Р  @Ԡ  Р  @DԠ  Р  @  ' ' DHL@q!!  !!$  '  'j '㿈'D! 8#`Ȑ@@<#b@@U ' 'D @u 'D  @gD@J V ' 'D , , , @^B 'D 0 , , @L+DD , , , @@ D 0 , , @@ @h ' ' ' 'D   D $   Dk c㿈'DD D  @ 'hD , @g'' 'D @ ?, $  ' '?'D @=,  ?0' 'D @%D@ D@ , $  ' ''㿐'H'DD  @g'D H@@g|D''㿐'H'DD  @G'D H@@&D''㿘'H'DHD@D''㿘'H'DDH @@gD'㿘'DD '㿠! ʐ@f㿠! ʢ @@f㽨'H'D! ̐@f( ' !!| @@@f( `#`@@'#a@@( `#`@@'#a@@( `#a@@'#a@@( `#a@@'#a@@q( `#a0@@'  #a@@`( `#a@@@n'#a@@O( `#aP@@]'D  @@'#a]@@J'#a@@+( `#a`@@9'#a@@( `#ap@@('#a@@ '#a@@( `#a@@'#a@@( `#a@@'#a@@( `#a@@'#a@@'#a@@( `#aА@@'#a@@( `#a@@'آ @@'#b@@'#a@@( `#b @@'#bX@@'#a@@w( `#bt@@'#a@@f'#a@@]( `#b@@k'#a@@L 'D@ '@h( `#b@@M'D@@'  @@'#b@@2'D@@'  @@'#bԐ@@'D@@' @@'#b@@'#a@@ '( `#b@@'#a@@'#a@@( `#b@@'#a@@( `#c@@'H @@}'||#c@@'xx#a@@ 'H @h'tt@BH @@'pp  $( `#c@@|'ll@@>'hh#c@@k'dd#a@@L( `#c @@Z'`H @@'\\  !#0'$!#D'$`$@@;'XX@@'TT#cI@@*'PP@@'LL#cK@@'HH#a@@ 'H @@S'DD '@@@H @@>'<< @'88' ( `#cP@@'4H @@'00  !#`' !#p' 4 @@',,#ct@@'((  @@p'$$#c@@'    @@]'#c@@'@@L'#c@@y'  @@9'  #c@@f'#a@@G 'L '(@c( @@c~ ( @@cv@c2㿐'H'DD  @g'D H@@c:D''㿘'H'DHD@D''㿐'H'DD  @1'D H@@D''㿘'H'DDH @@bD'㿘'DD '㿠!#@b㿠!# @@b'DD @g', @b'', @by'' '@@bj', $  '@ ,  ܠ, ܠ ' 'D @@ oD @@ @$ WD @@| @  CD @@h @  'D ܐ@@V   'D ܐ@@E   ' '',  ܠ,  ' 'W 'Р '@n '@b,  L , < 'Ԡ '@;',  L , < , ',  ܠL , < , ܣ,  L , < ,  ,  ,  , ܠ ',  L , <  ' ' 'Ѐ  '@f@aD', $  '@ ,  ؠ, ؠ ' 'D @@ y -D @@ i @ D @@ V @  D @@ B @  'ܠ '@ܣ,  ԠL , <   'D Ԑ@@  nD Ԑ@@  А@ D Ԑ@@  А@  D Ԑ@@  А@w  'D ܐ@@    'D ܐ@@    ' '''D ؐ@@    'D ؐ@@    ' '''',  ؠL , < , %̣, 'ܣ,  ԠL , < , ȣ,  ,  , @ ,  ؠ, Р '0Ԡ ' ' '!#  8 '@1! 8#a@@ '@'8,  L , < @ @@e ' ' @_' @@D $ D 'lD @@    " , D @@   t  l@D  t@@''D  @@ ' 'ܠ 'D ܐ@@ ' '@D ܐ@@ ' @'||'hh  'h  '@أ,  ԠL , <  {أ,  ԠL , <   'D Ԑ@@ F'xx   " , 'أ,  ԠL , <   " @w$Ԥ  @;D  $@@ G'tt'Т h h  h  А@ߠD  @@ 'pp  @$ @@Ԡ 'rfD ؐ@@ 'lD ؐ@@ 'hl   " , h  @ ؤ  @D  Ȑ@@'dd'Тh h  h  А@5D  @@ '`` @Ȣ @@ ' 'D  @'\\@!#  &! 8#a@@'XX#` @@c'TT#a@@'PPD  @@ z '@,  @],  @] '@]@]t @@F@]@]$ @@8t @@2@]Ȣ @@*㿐'H'DD  @'D H@@D''㿠'H'DD @D  @@H  D@]^㿐'H'DD  @'D OK@@FD''㿐'H'DD  @'D H@@]@D''㿘'H'DHD@D''㿘'H'DD@ D  OK, < @@? D  @@] D@lD'㿠'H'DD @*D $ @@ 7D  @@ 0D  @@ )D @@ #H  D@\㿘'H'DDH @@\D'㿘'DD '㿠'DD   #  D@\㿐'H'DD  D $ @ D 4  8  DD 4  8T , < H, 4 @'H/D  'D   D $ O, O, < , 4 ''㿘'DD    D@\M' ''㿠! :@[㿠! : @@[h'DD @ ', @['', @['' ', @[''ؠ '@3 ܣ, $  @['Р @D ܐ@@'@@ ܣ, $ ܠ '' '@ܣ,  @ܠ '@@ '! 8#`<@@#b@@ @r, $  '@+ܠ?,  ܣ,  @  'ܣ,  @G, $ ܠ ' ', @@Z@ '@ܣ,   @@$ܠ 'ؐ@Z@Z' А@Z@Z㿘'H'DD @) 'D  @D ,  @Z 'D @ZH  D@Z㿐'H'DD  D  ,  H  H  ,   'D  H  @ ' ' 'D  @mH  @f D  @D ,  D  ,  @x  ' H  @H ,  H  ,  @V  'D ,  H ,  @=  '" ' 'D  @ H  @ ' ''㿘'DD  '㿘'H'DHD@D''㿐'H'DD  @'D H@@D''㿠'DD D  @@ 㿈'P'L'H'DPD $ L  D $ D  , @Y_'D$ HD $ L   " , L   " D $  'D  @. @Y6' @L @ 'D  @@D , $  '@Y@Y 㿠'L'H'DHD$ LD $ 㿘'H'DDH @@XD'㿘'DD '㿘'H'DD  H  @3D   H   @(D   H   @D  D   ,  H  H   ,   ' ''㿠! >@X㿠! > @@Xu㿘'DD '㿀'D'HD D _D 'D `D"D *`" * @X:'`D  ⌖    @XzD"`D ` @ L  1@X@ 'D  * "@*D @ '+`# ,  $ $ $ '@WD *`" *D` 'H$`$`$`D 'DD#`' @W@W㿠'DD???ў㿘'DD '㿐'D'H'LLD"`D rX !   D@WD#LD"`D ` X d  @W 'D 􀢀 * @*D @  +` , H@  '㿘'D'HD'H"`"`"`D H` DH`@{D H`  @tD, H`,@lD 8H8@dD'㿠'D'HD D   @H D@W㿠'D'HD %D $  @pD  @jD   @dD @_H `D@V㿘'H'D 'D @H D  ,  '  '?'㿘'D'H'D  D *@  H  '  '?'㿘'D'HH D H  p   T@V H* "@*D @ '㿘'D'H'D  * @*D @  H  '  '?'㿠'D'HD D  @VH `D@V 㿠'DD" D" D" 㿘'H'DH HD @! #` T@@V D  H, '㿘'D'HHD@D'D  @UH H D @ 2D'㿘'D'H'D  * "@*D @  H Ϙ '  '?'㿘'D'HDH' DH@' '㿘'D'HH 5'H@- D @k   @d@?%@WH/֊ '!D @ D'㿘'D'HDH@D''㿐'D'HD ` @I'D  H @TD''㿐'D'HD ` @*'D  H @D''㿘'D'HDH @TD'㿘'DD '㿠'D'HD D   D@TH `D@Ty㿘'D'HH@ 5'H@@- D @k  ’ @d@?%Ē@WH@  '!D @ D'㿘'D'HDH@D''㿐'D'HD ` @I'D  H @TD''㿐'D'HD ` @*'D  H @D''㿘'D'HDH @SD'㿘'DD '㿘'H'DH HD @! #` T@@S D  H, , '㿀'D'HD D [D 'D `D"D *` @S`'D  n8    @SD"`D `    1@Sf 'D  D *@ '*  #` #` #` #`  '@SD D*@ 'H`# `# `# ` # D 'DD#`' @R@R㿘'D'HDHB' DH@=' '㿘'D'H'D  D *@  H  '  '?'㿈'D'HD D GD 'D `D"D |x }"p  @RD#D `!   1@R 'D  D *@  *@ F ' @RD D*@  H 2D 'DD#`'㿠'D'HD D   @RuH `D@R㿀'D'HD D WD 'D `D"D *` @Q'D  h    @R9D"`D `! (  1@Q 'D  D *@ '*  #` #` '@QD D*@ 'H`# `# D 'DD#`' @Q@Q㿠'DD??㿠'D'HD D  @QzH `D@Qr㿘'D'HH@< 5'H@5@-!4D @k !6 @d@?%8@WH; '!D @ D'㿘'D'HDH@D''㿐'D'HD ` @I'D  H @QD''㿐'D'HD ` @*'D  H @D''㿘'D'HDH @PD'㿘'DD '㿘'D'HH@ 5'H@@-!<D @k !> @d@?%@@WH@* '!D @ D'㿘'D'HDH@D''㿐'D'HD ` @I'D  H @PQD''㿐'D'HD ` @*'D  H @D''㿘'D'HDH @PD'㿘'DD '㿐'D'HH > 'H@5' ** D  ?+`D@& * D '?*`D +`D$?'*D#@  '㿘'D'HH `D  'ZH `D 'NH `D   'AH `D  '5H `D   '(H `D  'H H *@ DD` *  ''㿘'DD '㿈'H'DD D  @ND  'D   D $ D  , @N'D $ D   @!!D#aP 1@@O   'D @,  D  , $  '@NH D  D , $ D 'D  D$ '㿠'DD" D" D" 㿘'H'DH HD @!!\#at T@@N D  H, '㿈'D'HD D KD 'D `D"D rX "Ȗ  D@ND#D `!   1@Na 'D  * @*D @  +` , @* ' D@NeD *` *D` H@D 'DD#`'㿘'D'HD'H"`"`"`D H` ѫDH`D H`   D, H`,D 8H8D'㿠'D'HD D   @H D@M㿠'D'HD %D $  D  D   D H `D@Mu㿘'H'DDH@'?DH@;''㿠'H'DD @D  @M0H  D@M'㿠'D D $  D$  D $ 㿘'DD '㿠'DD" D" D" 㿘'D'HDH@' DH' '㿠'DD" D" D" 㿠'DD" D" D" 㿘'DD '㿘'D'HHD@D'D   D@LH H D D'㿘'D'HDH' DH' '㿘'D'HH 5'H@-!D @k ! @d@?%@WHc '!D @ D'㿘'D'HDH@D''㿐'D'HD ` @I'D  H @L D''㿐'D'HD ` @*'D  H @D''㿘'D'HDH @KD'㿘'DD '㿘'D'HDH' DH3' '㿐'D'H'LLD"`D *` @Kh'D  n8    @KD"`LD"`D `!   @Kk 'D 􀢀 D *@ '*H  #` #` #` #`  '@K@K㿠'D'HD D  @K H `D@K㿘'DD '㿘'D'H'D  D *@  H j '  '?'㿘'D'HH D H ! В  T@J D H*@ '㿘'D'HH D H !ܐ   T@J D H*@ '㿐'D'HH > 'H@5' ** D  ?+`D@& * D '?*`D +`D$?'*D#@  '㿐'D'HH H*@ D D +@  'H H*@ D D +@ 'H D  'H D '''D  uH 􀢀 oD  D *@  D`+@  'H  H *@  H`+@  'D *@  H+`@6  '+H *@  D+`@! ' ' 'D    '㿘'D'HH `D  'ZH `D 'NH `D   'AH `D  '5H `D   '(H `D  'H H *@ DD` *  ''㿘'D'HH `D )H `D   H `D  H H *@ DD` *  '''?       㿠@H,` ``` *( ` &`@HR*``` 6 *  6# #  `@#?#?#?&# @ 6  # ` @ &#  2&`& &`&` @G$@`*    @@GȆ@`*  @ "`㿠@!`?I]G9e㿠LT>0\@ ?p x Ѐ Ј А TД TИ Tռ<dָL\dDh8 ,,(L\llH|$L( ,(dP0 L( ,<Xh|Px@d@,,,Lp`,d@$ 4DTd|tX@((`Th`XL@<H@pDhl(pxtH(lH--p-P.Dx../,T/4 /\/x//P/ /0tT0114X111`1D1 222L2\d2t8222|3$833D4,4P4055P55 5 6 d6 H6 $6 $6 h6 07 7D 7 T7 8 8d @8 8 99:(:t;;(;H;;0;<< >>,>(t>4T>D0>H>T>d>t>x>P>P@8@AAA,A(A`8ApABTB0B4BTB\B`B<BBBBCpC48EhE8EqL q\ qh qx q hq Dq $q q q q q xq Xr 0r r( r4 rD rP r` `rp <r| r r r r r pr Lr ,r r s s s( s4 `sD <sT s`spssslsTssssttdt(@t4 tDtTtdtt\t8tttttthuLu(uTu`upuluLu(uuuvlvHv($v8v@vdvtvDv vww|w,Xw@0wP w\wlww|wXw L,HlltPx\$P\lpT0H\T<dhP,,8H`DPPpl@$lxdD0<  4 $ 66( 00<0H0T0`0l0x00000000000000 0,080D0P0\0h0t0000000000000~0{0xߜޜbad switch yylook %d %   %2   8C@KU^    !"#$'(), -!."/#0$1'3(4)5**6+7,8-9.:/;0<&1=3>+4?5@6A7B9D:E;FI?JALBMCNDOFPGQIRJSKTLUMVNWOXPYQZR[S\T]V_W`YaZb\c]d^e`fbgchdiejhkiljmknmonppqInput string too long, limit %d 8 (08@ H P X ` h p x ̀ ̈ ̨̘̠̐|̰ ̸  ^     " "   6  J (j 0N 8j @j Hr PV Xr `hj p^ xr ̀z ͈j ͐ ͘l ͤj ͬp ʹr ͼp            $ 0 8 @ H P X ` h p x ΀ Έ ΐ Θ Π Ψ δ μ             ( 4 @ H P X ` l t | ψ ϐInput string too long, limit %d Input string too long, limit %d  !!*!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!Input string too long, limit %d %d: %s at '%s' State %d, token end-of-file -none-  #(.7AJW c h p v |ކލޔޚޠީ%s yacc stack overflow-gi+gi )gigigi gi%gigigigi gigigigi'gi gi"gi gigigigigigigigigigigigiReceived token end-of-file -none- %s gi          ABCD L:>JSP"E7/& ,4-Q)HFM% 621( N <8 =5 0*@!!#$'+3.99;?!GIKOOR    !Received token end-of-file -none- %s   syntax errorError recovery pops state %d, uncovers state %d Error recovery discards token end-of-file token -none- token %s Reduce by (%d) "%s" ޳0ߒ 4f} -9i< ,   /210FED7C6BA@=<5;:439   #ITCT Communication specified in Process transition invalid .. IT    *** Executing Usage: LNC [-vfsr] [-p] -v verbosity, 1: parsed info 2: constructed automatons 4: simulation relation 8: stutter reduction -f[+-] fairness ON/OFF -s[+-] stuttering reduction -r[+-] reduction between constructions test.prgr*** PrintOption : GeneralInfo Autoamata Simulation Relation Stuttering Automata*** FairOption : Fairness check bypassed Fairness check for the last process only Fairness check for the last two processes*** SimulationAlg: *** ReduceOption : Yes No*** StutterOption: Yes No*** Base Automaton parsed with states. *** First automaton construction. *** First automata constructed with states. *** Simulation relation construction. *** Fixpoint has been reached. Invalid fixpoint. Continue.*** Fixpoint has not been reached yet. *** th iterated automaton construction. *** Automata constructed with states. *** Checking new automaton against th automaton by simulation relation construction. *** Fixpoint has been reached. Dumping SMC info to outSMC.prg../SMC -s0 -fs -v0 outSMC.prg | grep therm -f outSMC.prg*** Fixpoint has not been reached yet. *** Starting next iteration step.*** Fixpoint has not been reached in 5 iterations. Terminating.* Invalid communication specified as automaton input ** Invalid process state specified as automaton input ****:->(,) Initial State : Transition Array : PROGRAM INFORMATION States of Process Communications of Process Communication Pairs Left Process Internal Process Right Process States of Automata Left, Int, Right, LeftRight,(, ) -> 0 <= i && i < leftright.GetSize()Interface.cc<, ACCEPTREJECT>(, , -LEFTINTERNAL, )*** Automata construction with states took sec.*** Before reduction it has states. *** After reduction it has states. AUTOMATA INFORMATION... Automata Initial State Automata state array *** Partition calculation took sec.str!=0String.ccstr != 0String.ccstr != 0String.cc*** Statistics for x simulation: *** Statistics for x reduction: . RELATION MATRIX : |rm -f outSMC.prgoutSMC.prgProgramModule process = 1;Module admin1 = 1;Module admin2 = 1;parity[] = 0;undet[] = 0;presSt[] = ;nextSt[] = 0;cond[] = 0;u of admin1: {parity[] == 0 & undet[] == 0 -> undet[] = 1; }s of admin2: {parity[] == 0 -> parity[] = 1, nextSt[] = presSt[], cond[] = ;parity[] == 1 -> presSt[] = nextSt[], nextSt[] = 0, parity[] = 0, cond[] = 0; }p of process: {parity[] == 0 & presSt[] == -> parity[] = 1, nextSt[] = , cond[] = ; }AutomataInitialState ;FinalState ;parity[] == 0 & undet[] == 0 -> -> :;parity[] == 1 & undet[] == 0 & presSt[] == & cond[] == -> :;The stuttering simulation|elem != 0Array.ccelem != 0Array.ccix >= 0 && ix < sizeArray.ccix >= 0 && ix < sizeArray.cc [] []ix >= 0 && ix < sizeArray.ccelem != 0Array.ccelem != 0Array.ccelem != 0Array.cc [] []elem != 0Array.ccix >= 0 && ix < sizeArray.ccelem != 0Array.cc []elem != 0Array.ccix >= 0 && ix < sizeArray.ccix >= 0 && ix < sizeArray.ccPROGRAMCOMMUNICATIONSLEFTRIGHTINTERNALLEFTRIGHTAUTOMATAINITIALSTATEFINALSTATESNAMEIMPLIESCOMMACOLONSEMICOLONLCBRKTRCBRKTLBRKTRBRKTWILDCARD-unknown--no such reduction-PROGRAMSTART : PROGRAM COMMUNICATIONSPROGRAMSTART : PROGRAM COMMUNICATIONS LCBRKT com_pairs RCBRKT LEFTPROGRAMSTART : PROGRAM COMMUNICATIONS LCBRKT com_pairs RCBRKT LEFT LCBRKT process RCBRKT INTERNALPROGRAMSTART : PROGRAM COMMUNICATIONS LCBRKT com_pairs RCBRKT LEFT LCBRKT process RCBRKT INTERNAL LCBRKT process RCBRKT RIGHTPROGRAMSTART : PROGRAM COMMUNICATIONS LCBRKT com_pairs RCBRKT LEFT LCBRKT process RCBRKT INTERNAL LCBRKT process RCBRKT RIGHT LCBRKT process RCBRKT automatacom_pairs : /* empty */com_pairs : com_pair com_pairscom_pair : LBRKT name COMMA name RBRKTprocess : INITIALSTATE w_nameS SEMICOLONprocess : INITIALSTATE w_nameS SEMICOLON commandscommands : /* empty */commands : command commandscommand : w_nameC IMPLIES w_nameS COLON w_nameS SEMICOLONw_nameC : namew_nameC : WILDCARDw_nameC : /* empty */w_nameS : namew_nameS : WILDCARDname : NAMEautomata : AUTOMATA INITIALSTATE name SEMICOLONautomata : AUTOMATA INITIALSTATE name SEMICOLON FINALSTATES LBRKT finalstates RBRKT a_commandsfinalstates : /* empty */finalstates : name finalstatesa_commands : /* empty */a_commands : a_command a_commandsa_command : LBRKT location COMMA w_nameC COMMA w_nameS COMMA w_nameS RBRKT IMPLIES w_nameA COLON w_nameA SEMICOLONlocation : LEFTlocation : RIGHTlocation : INTERNALlocation : LEFTRIGHTlocation : WILDCARDw_nameA : namew_nameA : WILDCARD 6668 4  , 0 <0 0#! 8 !-4LBNOPX0a l0 {u$u ptxyyh,yLu!zt1wxBwdR{P`{h`nu0~0 @pHhpx ,L!` /(=J0S^0 mpxp`$H8 `),@ LY{ P+H V@(dn0w\0 p,@L (0` 0 H )x(7>0GR0 axpspH,PL  (0۠0  )p2)HX)ph*,*XL* +((0<0 AhH@hp@p(?x>?`pPC,gCXLBAEplDPCD E F (&009@D0 SOtOx4NHNpN`0K`JR RH, !QL :Q4 ]S  kS( y 0 @ 0  0 @ 0 V,  0 X 0 " 10 :X E0 TY | jX0 Y  0 p 0  0 p 0  "0 +p 60 E T0 ]ܑ h0 w 0 ܑ 0  0 ܑ 0  0 ܸ 0  0 %ܸ 00 ? N0 Wܸ b0 q 0 ܸ 0  0 ܸ 0 aT a| bl| bP 6c88 M \0 eܾ p0  0  0 e$T ex| e| fpPf8)80AL0 [j0s~0 00 00 0 0 #20;F0 Ud0mx0 oh(010 040 q@T+q|;r|MrPfr8}0<0 tLTt|u|uPu8'10:BE0 TwDgv0D0 0\0 0\0  0݀ 0 />0G݀R0 a~|w}D0ݘ0 0ݘ0  /08ݘC0 Ra0jݘu0 0ݘ0 0ݘ0 0ݘ 0 )02ݘ=0 L[0dݘo0 ~0ݘ0 0ݘ0 0ݘ0 hT:|J8|\Pu80ݞ0 0ݠ0 0ݵ0 "10:ݸE0 Tc0lݸw0 0ݸ0 00 00 4,.`AT`hq~( (0>x8h:%.],xQe8ls^ϴ"]4+@\aϸox,"tZph+xC0LQp4p\HT08h4O""/X?\H"V0 lt$py,="8(?X"Mh V889{`J8Xa`t|$ppl4|g4QtXǐyxl0,  x*8H g8Ls848 k  <[ X bcp| ]    İ  !@!A@!J@!fĘ,!{[!!!!!T!\!L!!T" D"RTX"a"iTHD"jp""P## "##p#hX#oh#X#<###P ##l|$h$$$, $4\t$jL"$z$p"$  $$X$2$dP"$<%/8H%G%Od%V<%e%t%%p8&&ƼP&6|&A,&G&M@<&^"&k"&z0!&۝&x&ϼ&c8&x&("&hd&P'('@'*'/P';'Q|'g4'P' 8 'P'Hh'Tp'''(Z($(D(Lg(k(r|(yyP(X|(FX(V,(_())$ H):{4)]/)d)~)`d8))d***<*A*^*x**ox*_+mT+PX+ip+p<++`P+X,,,",70 ,>, ,K,Sh,nx,u,},9$,`,{,:0D,T,---L۠@-}--P-t-v $--D-P4.xT.'..d.5p.P.V+`.mè.4.ʐ.ɰ.i/Px/$,/<l/k/n/4 /\//T8/<00*802Rx0A(0H"0Q@0i0S`0@"LNCcrti.s_ex_text0_ex_range0_ex_shared0crt1.s__crt_scratchvalues-Xa.cy.tab.cBbss.bssDdata.dataDrodata.rodata__0fHProcessPSetInitialStatei__0oHostreamlsPCc__0oNAutomataStatedtv__0oXAutomataTransitionArraydtv__0fKunsafe_iosFrdbufv__0oOunsafe_ostreamlsPCc__0oHProgramdtv__0oHProcessdtv__0oIAutomatadtv__0oHProgramctv__0CH_STCON_v__0DH_STDES_vLNC.ccBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPCc__0oHostreamlsPFR6Hostream_R6Hostream__0oHostreamlsi__0oIAutomatadtv__0fKunsafe_iosFrdbufv__0oOunsafe_ostreamlsPCc__0CH_STCON_v__0DH_STDES_vInterface.ccBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPCc__0oNAutomataStatedtv__0oHostreamlsi__0fHProcessPSetInitialStatei__0oHostreamlsPFR6Hostream_R6Hostream__0oXAutomataTransitionArrayctv__0oXAutomataTransitionArraydtv__0fKunsafe_iosFrdbufv__0oOunsafe_ostreamlsPCc__defarg__1___0oKTransitionctiNCB__defarg__2___0oKTransitionctiNCB__defarg__3___0oKTransitionctiNCB__defarg__1___0oRCommunicationPairctiTB__defarg__2___0oRCommunicationPairctiTB__defarg__1___0oHProcesscti__defarg__1___0oIAutomatacti__0CH_STCON_v__0DH_STDES_vString.ccBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPCc__0fKunsafe_iosFrdbufv__0oOunsafe_ostreamlsPCc__0CH_STCON_v__0DH_STDES_vArray.ccBbss.bssDdata.dataDrodata.rodata__0CH_STCON_v__0DH_STDES_vSim.ccBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPCc__0oHostreamlsi__0oHostreamlsPFR6Hostream_R6Hostream__0fKunsafe_iosFrdbufv__0oOunsafe_ostreamlsPCc__0CH_STCON_v__0DH_STDES_vBase.ccBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPCc__0oHostreamlsPFR6Hostream_R6Hostream__0oHostreamlsi__0fKunsafe_iosFrdbufv__0oOunsafe_ostreamlsPCc__0CH_STCON_v__0DH_STDES_vStutter.ccBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPFR6Hostream_R6Hostream__0oHostreamlsc__0oHostreamlsi__0oNAutomataStatedtv__0oHostreamlsPCc__0fKunsafe_iosFrdbufv__0oOunsafe_ostreamlsPCc__0oXAutomataTransitionArraydtv__0oOunsafe_ostreamlsc__0fOunsafe_ostreamEopfxv__0fJstreambufOsputc_unlockedi__0fOunsafe_ostreamEosfxv__0CH_STCON_v__0DH_STDES_vReduce.ccBbss.bssDdata.dataDrodata.rodata__0oGDomainctiR6NAutomataStatePi__0fGDomainESortv__0oHostreamlsPFR6Hostream_R6Hostream__0oHostreamlsPCc__0fGDomainFGetIdv__0oGDomainneR6GDomain__0oGDomaindtv__0oEEdgeeqR6EEdge__0fKunsafe_iosFrdbufv__0oOunsafe_ostreamlsPCc__0oEEdgectP6SAutomataTransitionPi__0CH_STCON_v__0DH_STDES_v0NdsC6hIhDbT.oBbss.bssDdata.dataDrodata.rodata2TeRZBziKYqK.oBbss.bssDdata.dataDrodata.rodata__0oKTransitionctv2WsIDW14Cv78.oBbss.bssDdata.dataDrodata.rodata3DoEokU2OolL.oBbss.bssDdata.dataDrodata.rodata__0oNAutomataStatedtv__0oNAutomataStateasR6NAutomataState__0oXAutomataTransitionArraydtv3hdW1KyFmf0W.oBbss.bssDdata.dataDrodata.rodata49uiHhgcAxHm.oBbss.bssDdata.dataDrodata.rodata4NMORFtrR26M.oBbss.bssDdata.dataDrodata.rodata4O7vcqdWWHQb.oBbss.bssDdata.dataDrodata.rodata4VUTmv64mOqL.oBbss.bssDdata.dataDrodata.rodata5hvuhKRvNCmc.oBbss.bssDdata.dataDrodata.rodata65zpmTikstca.oBbss.bssDdata.dataDrodata.rodata7wm0kc9E4nQx.oBbss.bssDdata.dataDrodata.rodata@gkdOFaygxuJ.oBbss.bssDdata.dataDrodata.rodataD0mtekLSyBPn.oBbss.bssDdata.dataDrodata.rodataDnqlZnFQa6tM.oBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPFR6Hostream_R6Hostream__0oHostreamlsi__0oHostreamlsPCc__0oOunsafe_ostreamlsPCc__0fKunsafe_iosFrdbufvEuWvbCegNeJK.oBbss.bssDdata.dataDrodata.rodataFJ@kRlOtG_Cm.oBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPFR6Hostream_R6Hostream__0oHostreamlsi__0oHostreamlsPCc__0oOunsafe_ostreamlsPCc__0fKunsafe_iosFrdbufvFqkC_Hp19nVF.oBbss.bssDdata.dataDrodata.rodataFxo_ecwhFATK.oBbss.bssDdata.dataDrodata.rodataJt69swuy42kN.oBbss.bssDdata.dataDrodata.rodataNL8L@yumzc8E.oBbss.bssDdata.dataDrodata.rodataNd@tmgNee8u4.oBbss.bssDdata.dataDrodata.rodataQechaI7cv6vK.oBbss.bssDdata.dataDrodata.rodataRaMW04oKqqk1.oBbss.bssDdata.dataDrodata.rodata__0oRCommunicationPairctvRcpqFAtTcn9y.oBbss.bssDdata.dataDrodata.rodataShp8zhV@yj0R.oBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPFR6Hostream_R6Hostream__0oHostreamlsi__0oHostreamlsPCc__0oOunsafe_ostreamlsPCc__0fKunsafe_iosFrdbufvT2HqN4xdZlQI.oBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPFR6Hostream_R6Hostream__0oHostreamlsi__0oHostreamlsPCc__0oOunsafe_ostreamlsPCc__0fKunsafe_iosFrdbufvReduce.ccBbss.bssDdata.dataDrodata.rodata__0oEEdgeltR6EEdgeXUhH_afdjBPE.oBbss.bssDdata.dataDrodata.rodataXtAuTT45Tvau.oBbss.bssDdata.dataDrodata.rodataY70IY7I_RjJv.oBbss.bssDdata.dataDrodata.rodataZrNCaunFc7nT.oBbss.bssDdata.dataDrodata.rodataZsdItP6MM8V2.oBbss.bssDdata.dataDrodata.rodata__0oNAutomataStatedtv__0oNAutomataStateasR6NAutomataState__0oXAutomataTransitionArraydtva@N5uA56MhtY.oBbss.bssDdata.dataDrodata.rodataaUFe2B188OXq.oBbss.bssDdata.dataDrodata.rodatac7EmogbwiB4x.oBbss.bssDdata.dataDrodata.rodatacDmS@8igXLjN.oBbss.bssDdata.dataDrodata.rodatacccxEbZyzbu3.oBbss.bssDdata.dataDrodata.rodataec7tUwDkqAMM.oBbss.bssDdata.dataDrodata.rodatahoS2y4H@puTL.oBbss.bssDdata.dataDrodata.rodataiTznmXxfPZOd.oBbss.bssDdata.dataDrodata.rodatakI531cO7RVeD.oBbss.bssDdata.dataDrodata.rodatakolO5QXMKsC@.oBbss.bssDdata.dataDrodata.rodataoFeVXy3vYd2q.oBbss.bssDdata.dataDrodata.rodatap71PlgrcJblP.oBbss.bssDdata.dataDrodata.rodata__0oHostreamlsPFR6Hostream_R6Hostream__0oHostreamlsi__0oHostreamlsPCc__0oOunsafe_ostreamlsPCc__0fKunsafe_iosFrdbufvrA8uZ7r82Z_s.oBbss.bssDdata.dataDrodata.rodatarJYRfvEZcbIK.oBbss.bssDdata.dataDrodata.rodatasO5D4L2UNUMq.oBbss.bssDdata.dataDrodata.rodatatcH0KUNzzMhj.oBbss.bssDdata.dataDrodata.rodatauv1hyoX6ate@.oBbss.bssDdata.dataDrodata.rodatav9OKi7pEXs4R.oBbss.bssDdata.dataDrodata.rodatax3hEQLnVccFn.oBbss.bssDdata.dataDrodata.rodataReduce.ccBbss.bssDdata.dataDrodata.rodata__0oGDomainltR6GDomain__0oEEdgeltR6EEdge__0oEEdgeeqR6EEdgemt_stubs.ccthr_keythr_datathr_data_lencrtn.s_ex_text1_ex_range1_ex_shared1yyleng$XAjgSwDhhSN2imO.iostream_init__0oGStringctvyylineno__0fOunsafe_ostreamHdo_opfxvcout$XAjgSwDfhSN2CmO.iostream_init__0OnwUi__0oFArray76RCommunicationPair_dtv__0FEendlR6Hostream_startyychar__0oFArray76SAutomataTransition_asR6FArray76SAutomataTransition_PrintOptionthr_keycreateyyfndyyolsp__0oFArray76SAutomataTransition_ctv__0fHProgramKProcEnableR6HProcessTB_START___0oFFlagsasR6FFlags$XAjgSwDIhSN2SeO.yymaxdepthatoiSimulationAlg__0oXAutomataTransitionArrayvci__0fFArray7i_HGetSizev$XAjgSwDr74N2iMt.helptext_mutex_held__0oGStringeqRC6GStringyylval__0fFArray7i_JFindIndexRi__0OlsR6HostreamR6SAutomataTransition__0oGStringctRC6GString_environ_end__0oFArray76NAutomataState_ctv$XAjgSwDXhSN2ikO.iostream_init__0fIRelationKInitializev__0OlsR6HostreamR6FArray76KTransition___0oRCommunicationPairctiTB__0FGyybackPii__0fFArray7i_WInsertWithoutRepeatingRi_ex_register__0oHostreamlsl__flsbufmutex_trylock_GLOBAL_OFFSET_TABLE_yytchar__0FESortPP6GDomaini__0fXAutomataTransitionArrayHGetSizevtypeProcess$XAjgSwDIhSN2SeO.iostream_init__0fFArray76NAutomataState_HGetSizev__0fIRelationEMarkiTB__0FGyylookv__0oNIostream_initctvyyredsmutex_destroy__0fFArray76RCommunicationPair_WInsertWithoutRepeatingR6RCommunicationPair$XAjgSwDr74N2iMt.iostream_init__0fIRelationLFindSimRelsvatexitexit__0fFArray76NAutomataState_EinitP6NAutomataStatei__0fFArray76RCommunicationPair_HGetSizev__0oFArray7i_vci$XAjgSwDIhSN2SeO.yypgo__0fIRelationJisCurrentiTB__0fIRelationGDeleteiTB__0oGStringdtv__0FHReverseP6FArray76NAutomataState___0oFArray76GString_ctv__0fFArray76NAutomataState_GInsertR6NAutomataState__0fFArray76SAutomataTransition_GInsertR6SAutomataTransitionmalloc__0oNAutomataStatectiNCBR6FFlags__0oNAutomataStateeqR6NAutomataState_ex_rethrow_q__0oGStringneRC6GString__0oFArray76RCommunicationPair_vci__0oIRelationctR6IAutomataTByysptr_init__0OlsR6HostreamR6FFlags__0fFArray76GString_HGetSizev__0fIAutomataPSetInitialStatei__0oSAutomataTransitionctv__0OlsR6HostreamR6FArray76RCommunicationPair___0OlsR6HostreamR6HProcess__0FFflushR6Hostream.mul__0fHProgramPCheckIfDisabled6KProcessLociTBTCTBTC__0fFArray76GString_GInsertR6GString__0oFArray76KTransition_vciyyerrflag__0oFArray76NAutomataState_dtv__0oFArray76SAutomataTransition_vci_vector_delete__vector_con_yynerrs$XAjgSwDIhSN2SeO.yyact__0oIAutomatactR6IAutomata6KProcessLocR6HProgram$XBjgSwDfhSN2CmO.__0fIAutomataHStutterv.serial__assert__0OlsR6HostreamR6IRelation__0oFFlagsctR6FFlags__0fFArray76GString_JFindIndexR6GStringyyextraprogfclose___Argvyyout_END_clockReduceOption__0fXAutomataTransitionArrayJGetLISizev__0FkCreateBaseAutomatonHandlingWildCardsR6HProgramR6IAutomataiR6GStringNEE__0FHyyerrorPcyymatch__0fFArray76KTransition_GInsertR6KTransition__0fFArray76SAutomataTransition_JFindIndexR6SAutomataTransition__0oNIostream_initdtv$XAjgSwDIhSN2SeO.yypactyyestatethr_exit__0OdlPv__0fXAutomataTransitionArrayWInsertWithoutRepeatingR6SAutomataTransitionyy_yys__0oIRelationdtvyy_yyv_DYNAMIC__0oRCommunicationPaireqR6RCommunicationPair_vector_new___0oGStringasRC6GString__0fHProgramILeftTypei__0oFArray76GString_dtvprintf__iobStutterOptionyyvstop__0fFArray76NAutomataState_JFindIndexR6NAutomataStatethr_setspecificbaseAutomatamutex_lock__0OlsR6HostreamR6IAutomata__0oIofstreamdtv$XBjgSwDIhSN2SeO.__0FFyylexv.__lex_hackyycrankthr_getspecific__0fRCommunicationPairUGetCommunicationPairRiTB$XAjgSwDIhSN2SeO.yyexcareallocyysvec__0oGStringvci$XAjgSwDPhSN2ijO.iostream_inityytmp__0fFArray76SAutomataTransition_WInsertWithoutRepeatingR6SAutomataTransition__0OlsR6HostreamR6FArray76NAutomataState___0OlsR6HostreamR6KTransition$XAjgSwDIhSN2SeO.yydefyyprevious_exityytop__0oFArray7i_ctvmutex_unlock_ex_deregisterenviron$XAjgSwDchSN2ilO.iostream_inityytextFairOption__0OlsR6HostreamR6FArray76GString_yylsp_thr_main__0oHProcesscti__cg89_used__0oOunsafe_ostreamlsl__0oIAutomatactiyyin__cg92_used__0oIofstreamctPCciTC__0dHfilebufIopenprot__0oFArray76KTransition_ctv__fnonstd_used__0fIRelationETestiTB__0FHyyinputv__0OlsR6HostreamR6GString__0FHyyparsevyysyyv__0oKTransitioneqR6KTransition$XAjgSwDVhSN2CkO.iostream_init__0fOunsafe_ostreamGoutstrPCcTByystate__0oFArray76NAutomataState_vcisystemstrcmp__0fFArray7i_GInsertRi__0oNAutomataStatectv__0FMGetPartitionR6IAutomata__0fFArray76SAutomataTransition_HGetSizev__0fFArray76KTransition_JFindIndexR6KTransitionyysbuf__0oKTransitionctiNCB__0oFArray76RCommunicationPair_ctv_edata_PROCEDURE_LINKAGE_TABLE_fopen__0OlsR6HostreamR6FArray76SAutomataTransition_$XBjgSwDIhSN2SeO.__0FHyyparsev.__yaccpar_lint_hack____0oFArray76GString_vciyyps__0oFArray76NAutomataState_asR6FArray76NAutomataState_yypv__0fOunsafe_ostreamHdo_osfxv__0fKunsafe_iosIsetstatei__0OlsR6HostreamR6RCommunicationPair__fsr_init_value__0oFArray76SAutomataTransition_dtv__0fFArray76NAutomataState_WInsertWithoutRepeatingR6NAutomataState__0fFArray76RCommunicationPair_GInsertR6RCommunicationPair__0fIRelationJisRelatedvstrcpy__0fFArray76KTransition_WInsertWithoutRepeatingR6KTransition__0oSAutomataTransitioneqR6SAutomataTransition$XAjgSwDIhSN2SeO.yychk__0FIPrintSMCR6HProgramR6IAutomatastat2stat3__0oFFlagseqR6FFlags_etext_lib_versionyymorfg__0fIRelationJisPresentiTByybginyydebug__0oIAutomatactR6IAutomata__0FGyywrapv__0OlsR6HostreamR6NAutomataStatemain__0FFyylexv__0fHProgramLbuildEnablev__0fFArray76SAutomataTransition_EinitP6SAutomataTransitioni$XAjgSwD28LQ2C1k.iostream_init$XBjgSwDfhSN2CmO.__0fIAutomataHStutterv.parallel__0oGStringctPCc__0fLfstreambaseFclosev.div__0oFArray7i_dtv__0FESortPP6EEdgei__0fIRelationMGetPartitionv__filbuf__0oFFlagsctiTB__0fKTransitionNGetTransitionRiNCBmemcpystrlen__0oIRelationctR6IAutomatayyval__0fIAutomataHStutterv__0OlsR6HostreamR6XAutomataTransitionArray__environ_lock$XAjgSwDIhSN2SeO.yyr1$XAjgSwDIhSN2SeO.yyr2__0fFArray76GString_WInsertWithoutRepeatingR6GString__0oFArray76KTransition_dtv__0fHProcessJnumStatesv__0oSAutomataTransitionctR6SAutomataTransitionst__0fFArray76RCommunicationPair_JFindIndexR6RCommunicationPair_fini__0oSAutomataTransitionctiNDByylstate__0fFArray76KTransition_HGetSizev__0fIAutomataHGetSizev__0fHProgramJRightTypeifprintf__0FIyyoutputiyytoksthr_self__0fIAutomataIReduceMev__0OlsR6HostreamR6HProgram__0FHyyunputimutex_initF2 d(d 8*82<65(H4 ( - : F M S Z ^ e i $       $       $ , 5 > D K R Y _ h s$$$$$$    ' = S j           $  d'd880<674 % 1 < I W e $*4 d-d88<<65(O4 7 :$$$$$$$H$u$$$$$$ $'$A$e$$$$$.$T$$$$ $6$F$[$p$$$$$$$,$G$x$$$$ d*d886<65(U4 .$=$N$f$~$$$$$Q d)d+8I84<65(W4 d'd880<6@64 % + 1$W$t$$$$$$$$7$S$i$$p d(dK8i82<65(\4 ($  d+d888<65(_4 1$H w r d*dK8i86<65(a4 .$d/dT8r8:<6742$d/d_8}8:<6742$d/dP8n8:<6@74&$d/de88:<6742$dzd/d@8^8:<674&$d/dZ8x8:<6742$d/dN8l8:<6742$d/dh88:<6742$d/dU8s8:<6742$d/dV8t8:<6742$d/dJ8h8:<6@74&$d/ds88:<6742$d/db88:<6742$d/du88:<6742$d/d88:<6742$c$d/dQ8o8:<6742$d/dz88:<6742$W$d/dE8c8:<6@74&$d/do88:<6742$d/dg88:<6742$d/dr88:<6742$d/dW8u8:<6742$d/dJ8h8:<6742$d/dm88:<6742$d/dV8t8:<6742$d/d88:<6742$^$d/d88:<6742$b$~ d*dD8b86<674$1$d/dK8i8:<6@74&$wd/d=8[8:<674&$d/dU8s8:<6742$qd/d78U8:<674&$d/df88:<6742$ed/dM8k8:<674&$qd/d78U8:<674&$qd/d78U8:<674&$d/d[8y8:<6742$d/dJ8h8:<6742$d/d}88:<6742$d/dQ8o8:<6742$d/dN8l8:<6742$d/dP8n8:<6742$d/di88:<6742$d/d88:<6742$d/d88:<6742$[$d/do88:<6742$d/dn88:<6742$d/dN8l8:<6742$wd/d=8[8:<674&$d/dp88:<6742$d/dU8s8:<6742$d/dJ8h8:<6742$ d*dH8f86<674$3$ <H4@(#)assert.h 1.9 92/07/14 SMI@(#)string.h 1.17 95/08/28 SMI@(#)feature_tests.h 1.7 94/12/06 SMI@(#)stdio.h 1.39 95/12/04 SMI@(#)va_list.h 1.6 96/01/26 SMI@(#)stddef.h 1.9 92/07/14 SMI@(#)stdlib.h 1.27 95/08/28 SMI@(#)values.h 1.13 94/07/29 SMI@(#)ncform 6.11 97/01/06 SMI@(#)yaccpar 6.14 97/01/16 SMI@(#)assert.h 1.9 92/07/14 SMI@(#)string.h 1.17 95/08/28 SMI@(#)feature_tests.h 1.7 94/12/06 SMI@(#)unistd.h 1.33 95/08/28 SMI@(#)types.h 1.38 95/11/14 SMI@(#)isa_defs.h 1.7 94/10/26 SMI@(#)machtypes.h 1.9 94/11/05 SMI@(#)select.h 1.10 92/07/14 SMI@(#)time.h 2.47 95/08/24 SMI@(#)time.h 1.23 95/08/28 SMI@(#)siginfo.h 1.36 95/08/24 SMI@(#)machsig.h 1.10 94/11/05 SMI@(#)unistd.h 1.24 95/08/24 SMI@(#)stdio.h 1.39 95/12/04 SMI@(#)va_list.h 1.6 96/01/26 SMI@(#)stddef.h 1.9 92/07/14 SMI@(#)stdlib.h 1.27 95/08/28 SMI@(#)assert.h 1.9 92/07/14 SMI@(#)stdio.h 1.39 95/12/04 SMI@(#)feature_tests.h 1.7 94/12/06 SMI@(#)va_list.h 1.6 96/01/26 SMI@(#)stddef.h 1.9 92/07/14 SMI@(#)stdlib.h 1.27 95/08/28 SMI@(#)string.h 1.17 95/08/28 SMI@(#)unistd.h 1.33 95/08/28 SMI@(#)types.h 1.38 95/11/14 SMI@(#)isa_defs.h 1.7 94/10/26 SMI@(#)machtypes.h 1.9 94/11/05 SMI@(#)select.h 1.10 92/07/14 SMI@(#)time.h 2.47 95/08/24 SMI@(#)time.h 1.23 95/08/28 SMI@(#)siginfo.h 1.36 95/08/24 SMI@(#)machsig.h 1.10 94/11/05 SMI@(#)unistd.h 1.24 95/08/24 SMI@(#)assert.h 1.9 92/07/14 SMI@(#)string.h 1.17 95/08/28 SMI@(#)feature_tests.h 1.7 94/12/06 SMI@(#)assert.h 1.9 92/07/14 SMI@(#)string.h 1.17 95/08/28 SMI@(#)feature_tests.h 1.7 94/12/06 SMI@(#)assert.h 1.9 92/07/14 SMI@(#)stdio.h 1.39 95/12/04 SMI@(#)feature_tests.h 1.7 94/12/06 SMI@(#)va_list.h 1.6 96/01/26 SMI@(#)stddef.h 1.9 92/07/14 SMI@(#)stdlib.h 1.27 95/08/28 SMI@(#)string.h 1.17 95/08/28 SMI@(#)assert.h 1.9 92/07/14 SMI@(#)stdio.h 1.39 95/12/04 SMI@(#)feature_tests.h 1.7 94/12/06 SMI@(#)va_list.h 1.6 96/01/26 SMI@(#)stddef.h 1.9 92/07/14 SMI@(#)stdlib.h 1.27 95/08/28 SMI@(#)string.h 1.17 95/08/28 SMI@(#)unistd.h 1.33 95/08/28 SMI@(#)types.h 1.38 95/11/14 SMI@(#)isa_defs.h 1.7 94/10/26 SMI@(#)machtypes.h 1.9 94/11/05 SMI@(#)select.h 1.10 92/07/14 SMI@(#)time.h 2.47 95/08/24 SMI@(#)time.h 1.23 95/08/28 SMI@(#)siginfo.h 1.36 95/08/24 SMI@(#)machsig.h 1.10 94/11/05 SMI@(#)unistd.h 1.24 95/08/24 SMI@(#)assert.h 1.9 92/07/14 SMI@(#)stdio.h 1.39 95/12/04 SMI@(#)feature_tests.h 1.7 94/12/06 SMI@(#)va_list.h 1.6 96/01/26 SMI@(#)stddef.h 1.9 92/07/14 SMI@(#)stdlib.h 1.27 95/08/28 SMI@(#)string.h 1.17 95/08/28 SMI@(#)assert.h 1.9 92/07/14 SMI@(#)stdio.h 1.39 95/12/04 SMI@(#)feature_tests.h 1.7 94/12/06 SMI@(#)va_list.h 1.6 96/01/26 SMI@(#)stddef.h 1.9 92/07/14 SMI@(#)stdlib.h 1.27 95/08/28 SMI@(#)string.h 1.17 95/08/28 SMI@(#)unistd.h 1.33 95/08/28 SMI@(#)types.h 1.38 95/11/14 SMI@(#)isa_defs.h 1.7 94/10/26 SMI@(#)machtypes.h 1.9 94/11/05 SMI@(#)select.h 1.10 92/07/14 SMI@(#)time.h 2.47 95/08/24 SMI@(#)time.h 1.23 95/08/28 SMI@(#)siginfo.h 1.36 95/08/24 SMI@(#)machsig.h 1.10 94/11/05 SMI@(#)unistd.h 1.24 95/08/24 SMI@(#)stdlib.h 1.24 94/03/28 SMI@(#)feature_tests.h 1.6 93/07/09 SMI@(#)thread.h 1.36 93/12/26 SMI@(#)signal.h 1.38 94/02/05 SMI@(#)unistd.h 1.20 94/02/16 SMI@(#)siginfo.h 1.34 93/08/03 SMI@(#)machsig.h 1.9 92/07/14 SMI@(#)time.h 2.40 94/05/24 SMI@(#)types.h 1.30 93/11/09 SMI@(#)machtypes.h 1.8 93/07/09 SMI@(#)isa_defs.h 1.1 93/07/01 SMI@(#)select.h 1.10 92/07/14 SMI@(#)time.h 1.21 94/06/08 SMI@(#)synch.h 1.26 93/04/13 SMI@(#)machlock.h 1.12 93/06/11 SMI@(#)synch.h 1.21 93/04/13 SMI.interp.hash.dynsym.dynstr.rela.data.rela.bss.rela.plt.text.init.fini.exception_ranges.rodata.got.dynamic.plt.ex_shared.data.data1.bss.symtab.strtab.stab.index.comment.shstrtab.stab.indexstry.tab.c/home3/fac3/sistla/viktor/LNC/y.tab.cptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDIhSN2SeO./home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g y.tab.c -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDIhSN2SeO.$XAjgSwDIhSN2SeO.iostream_initprogbaseAutomatatypeProcessyylvalyyvalyy_yysyysyy_yyvyyv$XAjgSwDIhSN2SeO.yymaxdepth__0FGyywrapvyylengyytextyymorfgyytcharyyinyyoutyyestate__0FFyylexv$XBjgSwDIhSN2SeO.__0FFyylexv.__lex_hackyyvstopyycrankyysvecyytopyybginyymatchyyextrayylinenoyylstateyylspyyolspyysbufyysptryyfndyyestateyyprevious__0FGyylookv__0FGyybackPii__0FHyyinputv__0FIyyoutputi__0FHyyunputi__0FHyyerrorPc$XAjgSwDIhSN2SeO.yyexca$XAjgSwDIhSN2SeO.yyact$XAjgSwDIhSN2SeO.yypact$XAjgSwDIhSN2SeO.yypgo$XAjgSwDIhSN2SeO.yyr1$XAjgSwDIhSN2SeO.yyr2$XAjgSwDIhSN2SeO.yychk$XAjgSwDIhSN2SeO.yydefyytoksyyredsyydebugyypvyypsyystateyytmpyynerrsyyerrflagyychar__0FHyyparsev$XBjgSwDIhSN2SeO.__0FHyyparsev.__yaccpar_lint_hack__/home3/fac3/sistla/viktor/LNCy.tab.oLNC.cc/home3/fac3/sistla/viktor/LNC/LNC.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDr74N2iMt./home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g LNC.cc -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDr74N2iMt.$XAjgSwDr74N2iMt.iostream_initPrintOptionFairOptionReduceOptionStutterOptionSimulationAlg$XAjgSwDr74N2iMt.helptextmainmain/home3/fac3/sistla/viktor/LNCLNC.oInterface.cc/home3/fac3/sistla/viktor/LNC/Interface.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDPhSN2ijO./home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Interface.cc -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDPhSN2ijO.$XAjgSwDPhSN2ijO.iostream_initst__0FkCreateBaseAutomatonHandlingWildCardsR6HProgramR6IAutomataiR6GStringNEE__0oKTransitionctiNCB__0fKTransitionNGetTransitionRiNCB__0oKTransitioneqR6KTransition__0OlsR6HostreamR6KTransition__0oRCommunicationPairctiTB__0fRCommunicationPairUGetCommunicationPairRiTB__0oRCommunicationPaireqR6RCommunicationPair__0OlsR6HostreamR6RCommunicationPair__0oHProcesscti__0OlsR6HostreamR6HProcess__0fHProcessJnumStatesv__0fHProgramILeftTypei__0fHProgramJRightTypei__0OlsR6HostreamR6HProgram__0fHProgramLbuildEnablev__0fHProgramKProcEnableR6HProcessTB__0fHProgramPCheckIfDisabled6KProcessLociTBTCTBTC__0oSAutomataTransitionctv__0oSAutomataTransitionctiNDB__0oSAutomataTransitionctR6SAutomataTransition__0oSAutomataTransitioneqR6SAutomataTransition__0OlsR6HostreamR6SAutomataTransition__0fXAutomataTransitionArrayWInsertWithoutRepeatingR6SAutomataTransition__0fXAutomataTransitionArrayHGetSizev__0fXAutomataTransitionArrayJGetLISizev__0oXAutomataTransitionArrayvci__0OlsR6HostreamR6XAutomataTransitionArray__0oFFlagsctiTB__0oFFlagsctR6FFlags__0oFFlagsasR6FFlags__0oFFlagseqR6FFlags__0OlsR6HostreamR6FFlags__0oNAutomataStatectiNCBR6FFlags__0oNAutomataStatectv__0oNAutomataStateeqR6NAutomataState__0OlsR6HostreamR6NAutomataState__0oIAutomatacti__0oIAutomatactR6IAutomata__0oIAutomatactR6IAutomata6KProcessLocR6HProgram__0OlsR6HostreamR6IAutomata__0fIAutomataIReduceMev__0fIAutomataPSetInitialStatei__0fIAutomataHGetSizev/home3/fac3/sistla/viktor/LNCInterface.oString.cc/home3/fac3/sistla/viktor/LNC/String.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDVhSN2CkO./home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g String.cc -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDVhSN2CkO.$XAjgSwDVhSN2CkO.iostream_init__0oGStringctv__0oGStringctPCc__0oGStringctRC6GString__0oGStringasRC6GString__0oGStringdtv__0oGStringeqRC6GString__0oGStringneRC6GString__0oGStringvci__0OlsR6HostreamR6GString/home3/fac3/sistla/viktor/LNCString.oArray.cc/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDXhSN2ikO./home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Array.cc -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDXhSN2ikO.$XAjgSwDXhSN2ikO.iostream_init/home3/fac3/sistla/viktor/LNCArray.oSim.cc/home3/fac3/sistla/viktor/LNC/Sim.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwD28LQ2C1k./home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Sim.cc -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwD28LQ2C1k.$XAjgSwD28LQ2C1k.iostream_initstat2stat3__0FHReverseP6FArray76NAutomataState___0oIRelationctR6IAutomataTB__0oIRelationctR6IAutomata__0oIRelationdtv__0fIRelationKInitializev__0fIRelationGDeleteiTB__0fIRelationJisPresentiTB__0fIRelationJisCurrentiTB__0fIRelationEMarkiTB__0fIRelationJisRelatedv__0OlsR6HostreamR6IRelation__0fIRelationETestiTB__0fIRelationLFindSimRelsv__0fIRelationMGetPartitionv/home3/fac3/sistla/viktor/LNCSim.oBase.cc/home3/fac3/sistla/viktor/LNC/Base.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDchSN2ilO./home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Base.cc -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDchSN2ilO.$XAjgSwDchSN2ilO.iostream_init__0FIPrintSMCR6HProgramR6IAutomata/home3/fac3/sistla/viktor/LNCBase.oStutter.cc/home3/fac3/sistla/viktor/LNC/Stutter.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDfhSN2CmO./home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Stutter.cc -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDfhSN2CmO.$XAjgSwDfhSN2CmO.iostream_init__0fIAutomataHStutterv$XBjgSwDfhSN2CmO.__0fIAutomataHStutterv.serial$XBjgSwDfhSN2CmO.__0fIAutomataHStutterv.parallel/home3/fac3/sistla/viktor/LNCStutter.oReduce.cc/home3/fac3/sistla/viktor/LNC/Reduce.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDhhSN2imO./home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Reduce.cc -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDhhSN2imO.$XAjgSwDhhSN2imO.iostream_init__0FMGetPartitionR6IAutomata/home3/fac3/sistla/viktor/LNCReduce.o0NdsC6hIhDbT.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/0NdsC6hIhDbT.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0fFArray76KTransition_HGetSizev/home3/fac3/sistla/viktor/LNCTemplates.DB/0NdsC6hIhDbT.o2TeRZBziKYqK.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/2TeRZBziKYqK.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76KTransition_GInsertR6KTransition/home3/fac3/sistla/viktor/LNCTemplates.DB/2TeRZBziKYqK.o2WsIDW14Cv78.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwD28LQ2C1k.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/2WsIDW14Cv78.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwD28LQ2C1k.__0fFArray76SAutomataTransition_HGetSizev/home3/fac3/sistla/viktor/LNCTemplates.DB/2WsIDW14Cv78.o3DoEokU2OolL.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/3DoEokU2OolL.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0fFArray76NAutomataState_EinitP6NAutomataStatei/home3/fac3/sistla/viktor/LNCTemplates.DB/3DoEokU2OolL.o3hdW1KyFmf0W.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDXX4N2yop.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/3hdW1KyFmf0W.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDXX4N2yop.__0fFArray7i_JFindIndexRi/home3/fac3/sistla/viktor/LNCTemplates.DB/3hdW1KyFmf0W.o49uiHhgcAxHm.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/49uiHhgcAxHm.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76GString_JFindIndexR6GString/home3/fac3/sistla/viktor/LNCTemplates.DB/49uiHhgcAxHm.o4NMORFtrR26M.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/4NMORFtrR26M.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0oFArray76KTransition_vci/home3/fac3/sistla/viktor/LNCTemplates.DB/4NMORFtrR26M.o4O7vcqdWWHQb.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/4O7vcqdWWHQb.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0fFArray76NAutomataState_JFindIndexR6NAutomataState/home3/fac3/sistla/viktor/LNCTemplates.DB/4O7vcqdWWHQb.o4VUTmv64mOqL.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/4VUTmv64mOqL.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0oFArray76RCommunicationPair_dtv/home3/fac3/sistla/viktor/LNCTemplates.DB/4VUTmv64mOqL.o5hvuhKRvNCmc.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/5hvuhKRvNCmc.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0oFArray76SAutomataTransition_ctv/home3/fac3/sistla/viktor/LNCTemplates.DB/5hvuhKRvNCmc.o65zpmTikstca.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwD28LQ2C1k.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/65zpmTikstca.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwD28LQ2C1k.__0oFArray76SAutomataTransition_vci/home3/fac3/sistla/viktor/LNCTemplates.DB/65zpmTikstca.o7wm0kc9E4nQx.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/7wm0kc9E4nQx.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0oFArray76SAutomataTransition_asR6FArray76SAutomataTransition_/home3/fac3/sistla/viktor/LNCTemplates.DB/7wm0kc9E4nQx.o@gkdOFaygxuJ.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/@gkdOFaygxuJ.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76KTransition_JFindIndexR6KTransition/home3/fac3/sistla/viktor/LNCTemplates.DB/@gkdOFaygxuJ.oD0mtekLSyBPn.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/D0mtekLSyBPn.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0fFArray76NAutomataState_WInsertWithoutRepeatingR6NAutomataState/home3/fac3/sistla/viktor/LNCTemplates.DB/D0mtekLSyBPn.oDnqlZnFQa6tM.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/DnqlZnFQa6tM.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.@>__0OlsR6HostreamR6FArray76SAutomataTransition___0OlsR6HostreamR6FArray76SAutomataTransition_/home3/fac3/sistla/viktor/LNCTemplates.DB/DnqlZnFQa6tM.oEuWvbCegNeJK.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/EuWvbCegNeJK.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0oFArray76NAutomataState_dtv/home3/fac3/sistla/viktor/LNCTemplates.DB/EuWvbCegNeJK.oFJ@kRlOtG_Cm.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/FJ@kRlOtG_Cm.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.@>__0OlsR6HostreamR6FArray76GString___0OlsR6HostreamR6FArray76GString_/home3/fac3/sistla/viktor/LNCTemplates.DB/FJ@kRlOtG_Cm.oFqkC_Hp19nVF.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwD28LQ2C1k.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/FqkC_Hp19nVF.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwD28LQ2C1k.__0oFArray76NAutomataState_vci/home3/fac3/sistla/viktor/LNCTemplates.DB/FqkC_Hp19nVF.oFxo_ecwhFATK.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/Fxo_ecwhFATK.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0fFArray76SAutomataTransition_GInsertR6SAutomataTransition/home3/fac3/sistla/viktor/LNCTemplates.DB/Fxo_ecwhFATK.oJt69swuy42kN.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/Jt69swuy42kN.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76GString_WInsertWithoutRepeatingR6GString/home3/fac3/sistla/viktor/LNCTemplates.DB/Jt69swuy42kN.oNL8L@yumzc8E.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/NL8L@yumzc8E.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0fFArray76SAutomataTransition_JFindIndexR6SAutomataTransition/home3/fac3/sistla/viktor/LNCTemplates.DB/NL8L@yumzc8E.oNd@tmgNee8u4.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/Nd@tmgNee8u4.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76GString_GInsertR6GString/home3/fac3/sistla/viktor/LNCTemplates.DB/Nd@tmgNee8u4.oQechaI7cv6vK.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/QechaI7cv6vK.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0oFArray76GString_dtv/home3/fac3/sistla/viktor/LNCTemplates.DB/QechaI7cv6vK.oRaMW04oKqqk1.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/RaMW04oKqqk1.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76RCommunicationPair_GInsertR6RCommunicationPair/home3/fac3/sistla/viktor/LNCTemplates.DB/RaMW04oKqqk1.oRcpqFAtTcn9y.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/RcpqFAtTcn9y.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0oFArray76SAutomataTransition_dtv/home3/fac3/sistla/viktor/LNCTemplates.DB/RcpqFAtTcn9y.oShp8zhV@yj0R.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/Shp8zhV@yj0R.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.@>__0OlsR6HostreamR6FArray76NAutomataState___0OlsR6HostreamR6FArray76NAutomataState_/home3/fac3/sistla/viktor/LNCTemplates.DB/Shp8zhV@yj0R.oT2HqN4xdZlQI.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/T2HqN4xdZlQI.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.@>__0OlsR6HostreamR6FArray76RCommunicationPair___0OlsR6HostreamR6FArray76RCommunicationPair_/home3/fac3/sistla/viktor/LNCTemplates.DB/T2HqN4xdZlQI.oReduce.cc/home3/fac3/sistla/viktor/LNC/Reduce.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDjX4N2Ssp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Reduce.cc -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDjX4N2Ssp.@>__0FESortPP6EEdgei__0FESortPP6EEdgei/home3/fac3/sistla/viktor/LNCTemplates.DB/UwF51REECU0n.oXUhH_afdjBPE.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwD28LQ2C1k.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/XUhH_afdjBPE.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwD28LQ2C1k.__0fFArray76NAutomataState_HGetSizev/home3/fac3/sistla/viktor/LNCTemplates.DB/XUhH_afdjBPE.oXtAuTT45Tvau.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDXX4N2yop.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/XtAuTT45Tvau.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDXX4N2yop.__0fFArray7i_GInsertRi/home3/fac3/sistla/viktor/LNCTemplates.DB/XtAuTT45Tvau.oY70IY7I_RjJv.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/Y70IY7I_RjJv.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0oFArray76RCommunicationPair_ctv/home3/fac3/sistla/viktor/LNCTemplates.DB/Y70IY7I_RjJv.oZrNCaunFc7nT.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDXX4N2yop.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/ZrNCaunFc7nT.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDXX4N2yop.__0oFArray7i_vci/home3/fac3/sistla/viktor/LNCTemplates.DB/ZrNCaunFc7nT.oZsdItP6MM8V2.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/ZsdItP6MM8V2.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76NAutomataState_GInsertR6NAutomataState/home3/fac3/sistla/viktor/LNCTemplates.DB/ZsdItP6MM8V2.oa@N5uA56MhtY.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDXX4N2yop.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/a@N5uA56MhtY.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDXX4N2yop.__0fFArray7i_WInsertWithoutRepeatingRi/home3/fac3/sistla/viktor/LNCTemplates.DB/a@N5uA56MhtY.oaUFe2B188OXq.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDXX4N2yop.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/aUFe2B188OXq.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDXX4N2yop.__0oFArray7i_dtv/home3/fac3/sistla/viktor/LNCTemplates.DB/aUFe2B188OXq.oc7EmogbwiB4x.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDXX4N2yop.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/c7EmogbwiB4x.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDXX4N2yop.__0oFArray7i_ctv/home3/fac3/sistla/viktor/LNCTemplates.DB/c7EmogbwiB4x.ocDmS@8igXLjN.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/cDmS@8igXLjN.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0fFArray76RCommunicationPair_HGetSizev/home3/fac3/sistla/viktor/LNCTemplates.DB/cDmS@8igXLjN.occcxEbZyzbu3.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/cccxEbZyzbu3.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0oFArray76GString_ctv/home3/fac3/sistla/viktor/LNCTemplates.DB/cccxEbZyzbu3.oec7tUwDkqAMM.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/ec7tUwDkqAMM.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76RCommunicationPair_WInsertWithoutRepeatingR6RCommunicationPair/home3/fac3/sistla/viktor/LNCTemplates.DB/ec7tUwDkqAMM.ohoS2y4H@puTL.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/hoS2y4H@puTL.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0oFArray76NAutomataState_ctv/home3/fac3/sistla/viktor/LNCTemplates.DB/hoS2y4H@puTL.oiTznmXxfPZOd.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/iTznmXxfPZOd.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0oFArray76KTransition_ctv/home3/fac3/sistla/viktor/LNCTemplates.DB/iTznmXxfPZOd.okI531cO7RVeD.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/kI531cO7RVeD.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0fFArray76GString_HGetSizev/home3/fac3/sistla/viktor/LNCTemplates.DB/kI531cO7RVeD.okolO5QXMKsC@.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/kolO5QXMKsC@.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0oFArray76NAutomataState_asR6FArray76NAutomataState_/home3/fac3/sistla/viktor/LNCTemplates.DB/kolO5QXMKsC@.ooFeVXy3vYd2q.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/oFeVXy3vYd2q.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0fFArray76SAutomataTransition_WInsertWithoutRepeatingR6SAutomataTransition/home3/fac3/sistla/viktor/LNCTemplates.DB/oFeVXy3vYd2q.op71PlgrcJblP.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/p71PlgrcJblP.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.@>__0OlsR6HostreamR6FArray76KTransition___0OlsR6HostreamR6FArray76KTransition_/home3/fac3/sistla/viktor/LNCTemplates.DB/p71PlgrcJblP.orA8uZ7r82Z_s.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/rA8uZ7r82Z_s.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76KTransition_WInsertWithoutRepeatingR6KTransition/home3/fac3/sistla/viktor/LNCTemplates.DB/rA8uZ7r82Z_s.orJYRfvEZcbIK.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/rJYRfvEZcbIK.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76SAutomataTransition_EinitP6SAutomataTransitioni/home3/fac3/sistla/viktor/LNCTemplates.DB/rJYRfvEZcbIK.osO5D4L2UNUMq.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/sO5D4L2UNUMq.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0oFArray76KTransition_dtv/home3/fac3/sistla/viktor/LNCTemplates.DB/sO5D4L2UNUMq.otcH0KUNzzMhj.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDXX4N2yop.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -c -g Templates.DB/tcH0KUNzzMhj.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDXX4N2yop.__0fFArray7i_HGetSizev/home3/fac3/sistla/viktor/LNCTemplates.DB/tcH0KUNzzMhj.ouv1hyoX6ate@.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDv74N2iNt.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/uv1hyoX6ate@.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDv74N2iNt.__0fFArray76RCommunicationPair_JFindIndexR6RCommunicationPair/home3/fac3/sistla/viktor/LNCTemplates.DB/uv1hyoX6ate@.ov9OKi7pEXs4R.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/v9OKi7pEXs4R.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0oFArray76RCommunicationPair_vci/home3/fac3/sistla/viktor/LNCTemplates.DB/v9OKi7pEXs4R.ox3hEQLnVccFn.o/home3/fac3/sistla/viktor/LNC/Array.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDnX4N2Svp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Templates.DB/x3hEQLnVccFn.o -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDnX4N2Svp.__0oFArray76GString_vci/home3/fac3/sistla/viktor/LNCTemplates.DB/x3hEQLnVccFn.oReduce.cc/home3/fac3/sistla/viktor/LNC/Reduce.ccptf;ptm;ptx;ptk;g;s;V=3.1;R=<>;G=$XAjgSwDjX4N2Ssp.;/home3/fac3/sistla/viktor/LNC/; /opt/SUNWspro/bin/../SC4.2/bin/CC -g -c -ptm -c Reduce.cc -Qoption ccfe -prefix -Qoption ccfe \$XAjgSwDjX4N2Ssp.@>__0FESortPP6GDomaini__0FESortPP6GDomaini/home3/fac3/sistla/viktor/LNCTemplates.DB/zxAPZB6gQymm.omt_stubs.ccptf;ptx;ptk;O;s;V=3.1;R=<>/set/lang/seva2/4.2/lang/cafe/lib/misc/sparc-S2/; /set/lang/seva2/4.2/boot2/bin/sparc-S2/SC4.2/../bin/../SC4.2/bin/CC -noex -I\/..\/..\/..\/include\/sparc-S2 -I..\/..\/..\/include\/common -c -xO3 -Qpath \/set\/lang\/seva2\/4.2\/lang\/cafe\/front\/sparc-S2 -KPIC -D_REENTRANT -DELF -DELF_OBJ -DELF -DELF_OBJ ../src/mt_stubs.cc     $66 *66 466 >88\DJ44Pxb,,j00 o<<x, } 00&  #00t0+0@` _ mmm`