Software verification based on linear programming* S ... - LAAS


    
  !" #$
 %&  ('&
)*+ ,-,./0)21 3547698;:=@?A+8CBED¤s¹l•—–C° º »l›™c ®;™œ››E¤‰˜œ«C ˜7ºÃ•—¢P•©ª®h›E¢š¢š•—¬C¯—”Ęœ› ¢œ ˜œ•—¢>¤z¹² ³+«;”¢š›E¤z˜¹l¢>˜œ”‹ª(›¤P¯©•—–;” ™”‹ÁZžC ˜œ•—›N–;¢¾•—–&®h›N¢š•¨˜œ•—¥¶”–lž;ª¾¬h”w™œ¢‹² ȉ™œ›N®h”x™š˜¹;¢>˜œ”wª² “9”T;”w§C–C”Ęœ«;””x¼l˜œ”w–G;”‹Ç–C›˜œ•©›E–2›E¤~ÉG›¡ÊË®G /˜œ«‡½Ì¡7«C•—Ÿ±«2•—–CŸ‹¯—žGl”‹¢7˜œ«C”–C›˜œ•—›N–¸›E¤ ®C ˜œ«GÂ~®h”w™œª•¨˜š˜œ•—–C°Ä˜œ«;”c ž;˜œ›Eª´ ˜± Ä˜œ›TŸ ™š™š¹ ÉC›¡7¢+›E¤@C /˜± T™± /˜œ«C”w™˜œ«G –žC–Gl•—¥l•©; E¬C¯—” ˜œ›EͶ”‹–;¢‹²+ιǠE®;®C¯¨¹l•—–C° ¯—•—–C” /™Ä®l™œ›N°E™± ªª•—–C°¾•—–¸ ¾¢š›E®C«;•©¢>˜œ•—Ÿ /˜œ”¡ ‹¹˜œ› ˜œ«C”¯—•—–C” /™ ¢>¹l¢>˜œ”‹ª»Z•¨˜7•—¢®h›N¢š¢š•—¬;¯©”E»G•—–˜œ•—ª”5®h›N¯¨¹l–C›Nª•© ¯R•—–˜œ«C”c¢š•—Æ‹”›¤+ÏË·aКºÑx»l”‹•¨˜œ«C”w™˜œ›®;™œ›/¥¶” ˜œ«C ˜ºÒ•—¢•—ª®h›N¢š¢š•—¬;¯©” ˜œ›*¢œ ˜œ•—¢>¤s¹›E™T˜œ›*®;™œ›/¥¶”˜œ«;” ”w¼l•—¢>˜œ”‹–CŸw” ›E¤7 ´ÉG›¡ÊË®G /˜œ«9›E¤· ¢œ /˜œ•—¢>¤s¹l•—–C°º ² “W«C”‹– ÄÉG›¡ÊË®G /˜œ«¡+ E¢+®l™œ›¥N” ˜œ›”w¼l•—¢>˜»Z•¨˜+¡ ¢ E¯¨¡+ ¹l¢®h›E¢š¢š•©¬;¯—”Ä›N–´›Nžl™ª›ZlÊ ”w¯©•—Æ‹”‹ ”w¼; Eª®C¯—”‹¢~”‹•¨˜œ«;”w™˜œ›Ä;•—¢š®C¯© ‹¹ Ä®C ˜œ« ¢œ /˜œ•©¢>¤z¹l•©–;°TºÓ›™˜œ›ž;–Gl”w™œ¢šŸ‹›E™œ”P c™œ” ¢š›N– ®l™œ›/¥l•—–;°¾ºÔ˜œ› ¬h”•—ª®h›N¢š¢š•—¬;¯©”Ęœ›¾¢œ ˜œ•—¢>¤s¹² ³+«;”+§C™œ¢>˜®G /™š˜›¤q˜œ«C•—¢;›Ÿ‹ž;ª”‹–˜~•©–˜š™œ›ZlžCŸ‹”‹¢~˜œ«C”+˜œ«;”‹›E™œ”x˜œ•©Ÿ‹ E¯G¬C EŸ±Íl°™œ›Nž;–GRµ@˜œ«C”  ž;˜œ›Eª´ ˜± ª›Z;”w¯"žC¢š”‹R»‰˜œ«C”´ÍZ•—–G9›¤P®;™œ›N®h”x™š˜œ•©”w¢¾«G –Gl¯©”‹R»‰˜œ«C”´–;›E˜œ•—›N–;¢¾›E¤P®C ˜œ«C¢  –G0ÉG›¡ÊË®G /˜œ«C¢‹»"˜œ«;”Ÿ‹›Eª®C¯—”w˜œ”‹–;”‹¢š¢ ˜œ«C”‹›™œ”‹ªÕZ™± ¡7–¤s™œ›EªÕ¯©•—–;” ™´®l™œ›N°E™± ªª•—–C° lžG ¯©•¨˜L¹»C –G´˜œ«C”c¡+ ¹˜œ› Ÿ‹›E–CŸ‹¯—žC;”c¡7«;”‹–2 ÉC›/¡ÊË®C ˜œ«Ç•—¢7®;™œ›/¥¶”‹˜œ› ”w¼l•—¢>˜² ³+«;”¢š”‹Ÿ‹›E–G¾®C ™š˜®;™œ”‹¢š”w–Z˜œ¢‰˜œ«;”ª›Z;”‹¯—•—Æ ˜œ•—›E–›E¤R 5˜œ”‹¯—”‹®;«C›E–Z¹¢>¹l¢>˜œ”‹ªÖ E–C¢œ ª Ê ®;¯—”‹¢+›E¤@®;™œ›E®h”w™š˜œ•—”‹¢®;™œ›/¥¶”‹´¢œ /˜œ•—¢>§h E¬;¯—”Ä›E™–;›E˜¢œ /˜œ•—¢>§h E¬;¯—”Ä›N–´˜œ«C•—¢+¢>¹l¢>˜œ”‹ª²‰×L– T¤s”w¡ ˜œ”w–C¢7›E¤ª•—–Zž;˜œ”‹¢›E–¸ ;”‹¢šÍ˜œ›N®ÇŸ‹›Nª®;ž;˜œ”w™¡"”Ÿ‹ E–2”‹•¨˜œ«C”x™Äl•©¢š®;¯© ¹˜š™œžC”T®C ˜œ«C¢7›™Ä  ®l™œ››E¤q›¤@–;›N–lÊL”x¼;•—¢>˜œ”‹–;Ÿ‹”›E¤q®C ˜œ«;¢›E– Äª›Z;”‹¯;›E¤RØEÙNÙT Ežl˜œ›Nª´ ˜± ½ËÚEÙNÙEÙ¢>˜± ˜œ”‹¢‹»;ÚØNÙNÙ ª”w¢š¢œ E°N”w¢5 –GÇÛNÜEÙEÙ¾˜š™± E–;¢š•—˜œ•—›E–C¢‹»C¤s›E™c ˜œ›E˜± ¯@›¤~ª›E™œ”c˜œ«C E–¦Ý/ÚEÙEÙNÙ¯—•—–C”‹¢7›E¤aŸ‹›Z;”/Âx² Þ5›E˜œ”˜œ«G ˜¾˜œ«C”ª”w˜œ«;›Z&;”‹¢šŸw™œ•—¬h”«C”w™œ”w•©–•—¢¢šžC¬Zß>”‹Ÿx˜˜œ›9®G /˜œ”‹–˜à¾áNÜÝ/ÛEÚZÝ/Ü ™œ”w°N•—¢>˜œ”w™œ”´›N–âĔ‹ŸN²‰ã™±´›E¤ÝáNáNܾ E–C›/¡7–;”´•©–´Ÿ‹›Eªª›N–¬¹´ä;™± –CŸ‹”5³”‹¯—”‹Ÿw›Nª»Z˜œ«C” å Þ5æÄçh»; E–G´˜œ«C”Äè5–C•—¥¶”w™œ¢š•¨˜L¹*›¤ å  E”w–@² é0êCë‰ìí@î¶ï"ð;ñ vxòZó¿yœôÄ}Zuwtl`G†/ò;oR†/õquwuwtoCy5öquwòl÷;uw}lø‡`;|hpÌvœywuxpsùqõhywtE|9v±úhv±yxtEø9`CóÀò;uxø2}Zûar;tuwp©ü@†E}ywpzò;o~` r¶}lûzpÌ|q}Zyxpsòlo~`Nv±psøõqûÌ}ywpzò;o~`EyxtEv±y†E}lvxt÷ltoRtu‹}yxpsòlo`öquwòGòZóœ`NûzpsoqtE}lu~öquwòl÷;uw}løÇøpsoq÷R`pzoCyxtE÷ltEu öquxò;÷lu‹}ZøøpzoR÷Rý þw
ÿ  

       "!#"$ %'&@( ÿ )* + ),-)/.01213546,789!,;:=3  @? %' AB)C)$ %D:'EB)* 'F*),

F@C$=GH%D014I4,JKD:CL 0 M N K>E#*)# 8O$ %D&@ ÿ )P
) Q,*

  RSTU$ *)WV@?RABYXZ [F]\D)T^_ )F  )O_ T^

`N K>E#*)# 8O$ %D:'Ea)SP') Q,*  RbTU$  )OV@?RABYXZ@Qc* d\D)cT^_ )F]*)W_ Te

f N T^*  8P') Q,*  RbTU$=*)WV*?YABYXg h\D)cT^_ )F]*)W_ Te

‚

Ú y±ywö=noOo¶ôôôý pzoqóÀòRý õqoqp̆}ZtEo~ý óÀuoûzöGr | u0t/y m òh|hòlûsòl÷;úlý jlrSslt ñ Šqò;õqoR|q}ZyxpsòloRvÄ}loR

i2jlkTñSm p
q v

wyx{z
|H}~€2‚CzDƒ,}„x

… psoqtN}Zu7öquwòl÷;uw}løøÇpsoq÷ ÷;}Zy m tEuwv7øÇtN}ZoRv7óÀòlu7ò;öhyxpsøep †EpzoR÷}ûspzoqtN}ZuóÀõRoR†ywpzò;o¦v±õRZù ‡œtE†/y7yxò}v±ty Zò óûspzoRtE}Zu¾†/ò;oRvœywuw}lpzoCy‹vpzouxtN}Zû~öò;vxp©ywpzr;t´oGõqøùtu‹v„ˆ óË}‰OŠ‹ˆ bbŒ tEƒOŠŽˆ—_ m rGƒ;…Š | ä(uwtE};† m pzywv´v±yw}Zyxt ábâ  }ZoR> | äSâ  uwtEvxö@tN†yxpsrl tEûzú;—` å  ùtpsoq÷pso‡v±yw}Zyx-t å‹â  ò;Ÿu å‹â ‡ dGõR† m }vxt/yòZó+uxt ‰CõqtEv±ywvĆ}lo‡ù@t óÀò;uxø2}Zûsûsú¸vœy‹}yxtN|‡}lvcóÀòlûsûsòô n 9êH ×DÚÞcÚLUí ׈* ܚØOØlêGðEð څH„ Úz ] Úދë†îít†PêCî Þwë^ Ô … t/ySjù@t­} v±úhv±yxtø òZó´vxúCo@† m uxò;oq^p †tE| }Zšõ  yxò;ø2}yw}RýgToNO ««“¨; < ®z,‰ ®R©[®R²{b ´Ö³]¦´š¨#³²{Çò;oS pÌvc}†/ò;õqöqûst?Š , q…‹Œ‹Ok s òZóvxt/y‹vPòlóv±yw}ywtEv5òZó^Äý \  ¬ƒ 9êH ×DÚÞcÚLUí × ŒD† ܚÞcÙmwð ÜZÞcÚLðWH ܁H„ Úz] Úދë^ Ô go}l†E†/tNvxvxpzùRpzûsp©yœúöquwòlötuxyœúŽŠ/,/q‹Œ‹ ks òlovÒ  ´ƒ ²¬' ;/ ² ® …  oŽ‹ ,( u py m t; o å+  qr s X ‹Ok \ ’ p©ó>hLo å+k ,( ™ m t7tˆhöquxtNvxvxpsrltoRtEvwvaòZóGy m pÌv"v±tyòZóhöquwòlötuxyxpstEv‰pÌ
v ‰CõqpzyxtPûs}lux÷;tp©óqôctP†/ò;oRvxps|htEu‰y m tP}Zöqöto@|hpzoR÷ òZ˜ó ¹±òlùRvxtuwrGpzoR÷9}lõhyxò;ø}Zyw} º*yxò&y m t¦vxúhvœywtø“Ä2 ý ™ m tEvxt¸òlùRvxtuwrltEuwv¾ötuwøp©y´ywò0t/ˆhöquwtEvwv y m t oqtN†/tEvwvxp©yœú òZóõRvxpzoq÷ } öR}Zuxyxp̆/õRûs}lu¸øtEvwvx}l÷lt‡ù@tóÀòluwt}ZoRòZy m tuN`5y m toRtE†/tNvxvxpzyœúÅyxò }¶rlòlpÌ|Ô} öR}lu±ywps†õqûs}luøtEvwvx}l÷ltl`Zyxò}¶r;òlpÌ|*}ö@}Zuxyxp̆/õqûÌ}Zu+ywuw}loRv±pzyxpsòlo`lt/y‹†Z˜ý œo2v±õ@† m }lõhyxò;ø2}yw} ò;oqtT†}lo y m to¦v±yw}Zyxt}lo¦}l†E†/tNvxvxpzùRpzûsp©yœúÇuwct ‰CõqtEv±yE`G}Zo@|Çy m õRv5t/ˆGyxtEoR|2y m t}løÇò;õqoCyPòZó~öRuxò;ö@tEu±ywpztNv7ô m p̆ m †}lo­ùt2t/ˆhöquwtEvwvxtE||qpzuwtE†/yxûsú&òloQĖý »>y m }lv ùttEo v m òôo­yxò m }¶r;tÇ}ZyûztN}lv±y¾y m t¸}ZùRpzûsp©yœúòZó t/ˆhöquwtEvwvxpzoq2 ÷ ²@¨,¥a´š¦/³a ©
©e¦]°®«i WŒ, ¨#²r?, ¦/³¥Z ©” ¨lˆ •;Žf œS;€ ŠvxtE†/yxpsòlo¦nhýs‚lý … oqòô pzoCywuxòh|hõR†tEv5}´|hpe–tEuxtEo;yc}Zõhywòlø2}y‹} øÇòh|htEû@ù@}lvxtE|òlo¸} ÷;toqtEuw}lûz^p †E/}  yxpsòlo­òZó7y m t2v±úGoR† m uxò;oqep †N}ywpzò;o0uxõqûstl„ý ™ m psv¾oqtEô øòG|qtû+ôpzûsû+ù@tõRvxt/óÀõRûywò9v±yw}Zyxt*y m tÇø2}Zpso y m tòluwt/ywps†E}Zû‰uwtEvxõqûzyÄ÷;pzr;to9ûs}ZyxtEupzoy m pÌvT|hòh†õqøtoCyEý

— ™ ]LíGìwðEë=×'ØÙî¶íÖ×DÚÛlêGïÒܚÝ'ÞEíÖß¡ÜZÞÜ œõquøt/y m òh|9psvù@}lvxtE|9òlo9øtuwtûzpsoqtE}luöquwòl÷lu‹}Zøøpsoq÷R`Cô m p̆ m øtN}ZoRvÄy m }yTuwtEvxõqûzywvÄ÷;pzr;to ùGúy m t7ûspzoRtE}Zuöquwòl÷lu‹}Zøøpsoq÷cvxòlûsrltEu~ôcòloOš y}ZûsôÄ}¶úGvaùt7psoCyxt÷;tu~uwtEvxõqûzywvEý'™ m pÌv~øòlyxpsr¶}ZyxtNv‰y m t pso;ywuxòh|hõ@†yxpsòl; o ‘Ëô m p̆ m ôpzûsûRùtTóÀõqûsûsú*uwtûstr}ZoCy7pso¦vxtE†ywpzò;o¸nhý¨nhý¨n•"òZó~}oRòloZ>pzoCywt÷ltEur}Zuwps}Zyxpsòlo òZóPy m t2vxúCo@† m uxò;oq^p †E}ywpzò;o0uxõRûzt}ZoR|&y m t2|htüRoqpzyxpsòlo òZCó ¤@ò‹ô >vxúGoR† m uwòloq^p †tN|0}Zõhywòlø2}y‹}qý ž t ùt÷lpso‡ôp©y m y m tpsoCyxuwòG|qõR†ywpzò;oòlór}Zuwpzò;õR‹v ’Gpzo@|qvÄòZDó ¤RòôTcv n 9êH ×DÚÞcÚLUí ×@* ßÅêGðNcð ܃›@êaœ+íGìb Ô g ¥–¨; < W# °W¨,ª:Ÿ ¦cžÖpsvÄ}óÀõRoR†ywpzò;o
Ÿc  ô m p̆ m };vxvxòh†/pÌ}yxtNvywò tr;tuwú2øtEvwvx}l÷lSt ý òZó }ÇuwtE}l=û ‰;õ@}ZoCyxpzyœúSŸc q ý s XN¡ ¢ H";£>ý \ 9êH ×DÚÞcÚLUí ×@@ ÞEî ܗ×ð ÚÞÚËÖí ×O~œ"íGìb Ô g ²³a/ ¯_ ®R² ®¦/¯—ª:Ÿ ¦cžÃpÌvc}óÀõqoR†/yxpsòlo1Ÿ¤¾ô m p̆ m };vxvxòh†/pÌ}yxtNv yxòtErltuwú2ywuw}loRv±pzyxpsòl o æKJ òló }ÇuxtN}Z=û ‰CõR}ZoCywp©yœúSŸK¤‚q æKJ s XQ¡ ¢ W";£>ý \ 9êH ×DÚç ÞcÚLUí × œcð ÞcܚÞEêaœ+íGìb Ô g¥ ²/ ²dç ¨#ª:Ÿ ¦cžÒpÌv¾}¦óÀõqoR†/yxpsòloQŸ â ô m p̆ m }lvwv±òh†/pÌ}ywtEvTyxò9trltEuxú v±yw}ywtLA  òZó }*uwtE}l=û ‰CõR}ZoCyxpzyœúSŸ â qrA  s X¦¡ ¢ H";£>ý \ ž t¦}Zuwt2oqòô uxtN}l|húyxòv±yw}Zyxt2y m t¦|htüRoqpzyxpsòlo òlócy m t¦oRòlZo >pzoCywt÷ltEur}Zuwps}ZyxpsòloWòZóÄy m tvxúCšo  † m uwòloq^p †E}Zyxpsòlouxõqûst n 9êH×DÚÞcÚLíUק ¨œ+íGìwðEë=×'ØÙç îíU×DÚÛOÜZÞcÚLç íU€ ×WîÝ©]Ëê_ Ô … t/y˜á   ,y.æKJ X á? ªý ç X *( J 9;`2>  ç · , . æKJ X áUƒªwA29æKJ ,«qrA  ~A s 9;`V>  ,¬. æJ X áUƒªwA2‹æKJ ,«qrA2aA  s 9Cý … t/y¦õ@v¦†}lûzû Ÿ¦cž¸ª «¦¯f`'°KZ³a²®¦¯ }0vœy‹}ywt,¤Ròô/Ÿc­ vxõR† m y m }Zy+la`n® â 㯂°± ¯ Ÿc­VqzA ç s ,²"l`"}ZoR| ûst/yõRv †}lûzûŸ ¦c¸ž ª  ¯y«“¬Z³]¦¯U®edH/ ² ®¦/¯Ö}­öR}ZpsuIŸ³S,´qrŸ   ~ŸK¤ s vxõR† m y m }yyl ý X * `lO  ôct m }¶r;t Ÿ   qý s , ® ¤µ¯ °K¶·¯ Ÿ¤‚q æKJ s ýaž t*|qt/üRoqty m tBŸ¦cž¸ª ¯Ö«¬±³]¦/¯—®edf²®¦¯£³Z©^¨*};vóÀò;ûzûsòôTv#n5y m t ¤Rò‹ ô šv±úGoR† m uxò;oqep †N}ywpzò;oUŸ³ m }lv^† m }Zoq÷;tE|óÀuxò;ø@Ÿ ­ ywò?Ÿ ­  pzóq}ZoR|¾òloRûzúp©ó2l!A ç `Ey m tóÀò;ûzûsòôpsoq÷ tc‰CõR}ZyxpsòloRv m òlûÌ| n Ó=ÔÕÖԔ˜

¤ µ¯ °K¸ eã ¹¯ Ÿ ¤ q æJ s ¤ µ¯ °K¸ ㏺¯ Ÿ ¤ qæKJ s qzA ç s=» ® ¤µ¯ °K¸

$§Ÿc­VqrA ç s G $TŸc­  qrA ç s G ãe¹¯ ŸK¤‚q æKJ s ,(Ÿ ­ rq A ç s» ® ¤ó^Ÿ=qæKJ sP¼ ¢ y m to¸ôctvw}¶úy m }y5yxu‹}ZoRvxp©ywpzò; o æJ pÌv©‹¦ž¸ª:`C³]¨§}loR|Çy m }Zy5øtEvwvw}Z÷ltNv¸ý X *( J }ZuwtVŸ¦cž¸ª«#²®Rµ/²d¨§9|hõquwpzoR÷*y m t´† m }loq÷ltóÀuxò;øYŸc­ÓyxòIŸc­  ý \ ™ m pÌv‹¤Ròô‹šv±úGoR† m uxò;oqep †N}ywpzò;Zo öR}y m •óÀò;u y m tÇv±yxõR|qpztN|&}Zõhywòlø2}y‹}¸øòh|htûö m };v±t´vxpzøöqûst/ˆ&}lûz÷;òluwp©y m ø •ýœõRuøt/y m òh|&uwtûspztNvTø2}Zpsoqûsú9ò;o üRoR|qpzoq÷9v±õ@† m }Zoxú v±õqšù ‡œtE†yyxò9}¸v±úhv±yxtEø(òlóP†/òlo@vœywuw}lpzoCywvy m }Zyyxu‹}Zo@v±ûÌ}ywtEvy m töRuxò;ö@tEu±ywpztNv òZó"y m t }lõhyxò;ø2}yw}vxúhvœywtø‡ý ™ m pÌv pzøöqûspstEv¾üRu‹vœy y m toqtE†tEvwv±pzyœú0òZóĆ/òlo@vœywuxõR†/yxpsoq÷‡}9vxúhvœywtøÕòló5ûspzoqtN}Zu†/ò;oRv±yxu‹}Zpso;y‹vy m }Zy †}Zyw† m tNvy m tÇv±yxõ@†yxõRuw}lûöquwòlötuxyxpstEvòZóy m tv±úhv±yxtø òlóP}Zõhywòlø2}y‹}qbý ™ m psv¾pÌvTy m tÇvxõqZù ‡œtN†y¾òZó y m t óÀòlûsûzòôpsoq÷v±õqšù >vxtE†/yxpsòlo~ý

á Ó=ÔYÓ=ÔÕ

k9Ú×"ê±ÜhîlØlíÖ×"ð#ÞEîܗÚ×yÞEð2ïîÜlìׁíÖÝ'Þí ŸܚÝ'ÞEíÖß¡ÜZÞÜ

™ m tvxúhvœywtø òZó´ûspzoRtE}Zu¦tc‰CõR}ywpzò;oRv¸psoÃöò;vxp©ywpzr;t&oGõqøùtu‹v¸pÌv¦|hu‹}¶ôoÃòlõqy¦òZó y m t­v±yxòluwpstE| t/ˆGywtoRvxpzò;o
 î òZó"y m t´}Zõhywòlø2}y‹}*vxúhvœywtøY }lvcóÀò;ûzûsòôn ™ô5– ò ’Gpzo@|qvÄòZó+tc‰CõR}ZyxpsòloRvÄ}Zuwt†/ò;oRvœywuxõ@†yxtN| nD¤RòôÖt‰CõR}ywpzò;oRvcô m ps† m yxu‹}Zo@v±ûÌ}ywty m töquwtEvxtu] r}ywpzò;o2òZóapzohóÀò;uxø2}Zyxpsòloòlo2tErltuwúv±yw}ZyxtTòlóatErltEuxú}lõhyxò;ø2}yxò;oòZóm î `G}Zo@|ÇvxúGoR† m uwòloqp^†E}Zyxpsòlo tc‰CõR}ZyxpsòloRv7ô m ps† m ywuw}loRvxûs}Zyxty m tvxúCo@† m uxò;oq^p †E}ywpzò;2 o ‘Ëòl˜u ¤Rò‹ô >vxúGoR† m uwòloqp^†E}ZyxpsòloU•uwõqûztTóÀòluPtErW tuwú¸øtEvwvw}Z÷lt¾òZóî5ý ™òy m psvvxt/yÄòZó"ct ‰CõR}ZyxpsòloRvÄ}Zuwt};|q|htN|¸ct ‰CõR}ZyxpsòloRvcô m p̆ m ywuw}loRvxûs}Zyxty m t}l†E†/tNvxvxpzùRpzûsp©yœúöquwòlšö  tuxyœúl`CùGúóÀòlu‹†/psoq÷y m tr}lûzõqt¾òZó"v±ò;øÇt¾vœy‹}ywtEvc}ycv±yxtEöbèn, ¢ }ZoR|¦}yvœywtöbèn,§æyxòÇù@t¾ct ‰CõR}lû yxò‡‚;ý  TtEuxt‡}Zuwt¸y m t9ct ‰CõR}ywpzò;oRvÇ|huw}¶ôoÓòlõhyòZóTy m t0vœywòluwpztN| t/ˆGywtoRvxpzò;o ‘…æ²,W •´òlóòlõquvxø}lûzû t/ˆq}løÇöRûzt;`Gy m t´};††/tNvxvxpsùqpzûspzyœú2öquxò;ö@tEu±yœú¦ù@tEpzoq÷÷;pzr;to9ùCúI‹q ¢ s ,y. áSâ  q ¢ s —` äâ  q ¢ s U` å‹â  q ¢ s 9 }Zo@|I‹Ok{q  s ,y. áSâ  q  s —` äSâ Kq  s —` å‹â 2q  s 9;ý ™ m  t ¤Ròô ct ‰CõR}ZyxpsòloRvÄ}Zuwt¾óÀòluVC X . ¢ #”c”#”!_O9 n

ç)ì ¶  q…CçT" s , ç)ì ¶  q…CçT" s , ç)ì ¶  q…CçT" s , æ ç)ì ¶   q…CçT" s ä â  q…C s , è#þq…COçT" s ç)ì    q…COç&" s ä â  q…C s , èÿq…COçT" s ç)ì    q…COç&" s ä â  q…CçT" s , èÿq…COçT" s ç)ì    q…COç&" s ä â  q…CçT" s , è#þq…COçT" s ç)ì    q…COç&" s å‹â  qzC s , é þ q…CçT" s ç)ì v,5 ž tT†/ûstE}Zuwûsú m }¶rltÄ}¾òloqtcyxòò;oqt†/ò;uxuwtEvxö@ò;oR|q}loR†/t5ù@tyœô5tEto*y m tõRvxtÄòZó‰}yxu‹}ZoRvxp©ywpzò;o~`Z} vœy‹}ywt òlu7}¾øtEvwvw}Z÷ltÄòlóRy m tvœywòluwpztN|*vxúhvœywtø òlóa}lõhyxò;ø2}yw} }Zy} ÷;pzr;to*yxpsøtTvœywtö2}ZoR|y m tr¶}lûzõRtòZó y m t¾†òluwuxtNv±öòloR|qpzoq÷r¶}luxpÌ}ZùRûztTòló~y m t¾vxúhvœywtø òZót ‰CõR}ywpzò;oRv`Cô m ty m tEuPy m t¾vxúGoR† m uwòloq^p †E}Zyxpsòlo uwõqûzt ò;uÄy m t ¤Rò‹ô švxúCo@† m uxò;oq^p †E}ywpzò;o2uxõRûztpÌvÄõRvxtE|‰ý »>óôct õRvxty m t´vxúCo@† m uxò;oqpÌvx}Zyxpsòlo2uwõqûzt ò;o
Ä`hôct oqttN|¸ywò2}l|q|¦yx
ò ?q{înŠ s öò;vxpzyxpsrCpzyœú¦}loR| pso;ywt÷;uw}lûzpzyœú&†/ò;oRvœywuw}lpzoCy‹vò;o­}lûzûpzywvr}luxpÌ}ZùqûstEvE-ý »>óÄôctÇõ@v±tÇy m {t ¤@ò‹ô >vxúGoR† m uwòloqpÌvx}Zyxpsòlo0uwõqûst òlo1Ä`qôct oqttN|yxò2}l|q|¦yxò Uqrî3ŒŠ s òloRûzú2y m töò;vxp©ywpzrGpzyœú†/ò;oRv±yxu‹}Zpso;y‹vý ð î탆5í@ð ÚÞÚËÖí × Ô … tyvî ù@tÅ} vœywòluwpztN|Övxúhvœywtø òló*}Zõhywòlø2}y‹}Óò;o5æ yxpsøtWv±yxtEöRvE`¾}loR| q‹nq ¢ s ‹Okrqzæ ss }Zo0};††/tNvxvxpsùqpzûspzyœú2öquxò;ö@tEu±yœú2ò;oxî7ý »>ó7y m t*vxúGoR† m uwòloq^p †E}Zyxpsòlo0uwõqûzt*psvõRvxtE|0ò;o| î `ay m tEo'q‹nq ¢ s ‹ k q…æ ss pÌv vx}ZyxpÌvœü}Zùqûst´òloN î pzó }Zo@|ÅòloRûzúWpzó ?q{ î Š s m };v}vxòlûsõhyxpsòloÅôpzy m }Zûsûcr¶}luxpÌ}ZùRûztNvùtpsoq÷ ö@òCv±pzyxpsrlt9}ZoR|ÓpzoCyxtE÷ltEu r}ZûsõqtE|~ý »>óÄy m t ¤Rò‹ ô >vxúGoR† m uwòloq^p †E}Zyxpsòlo&uwõqûst¸pÌvõRvxtE| òlo'îP`y m to&q…‹nq ¢ s Œ‹ k q…æ sas psv*vx}ZyxpÌvœü@}lùqûstÇò;o  î pzó+}loR|òloqûsú¸pz!ó Uqr î ŒŠ s m };v}Çvxòlûsõhywpzò;oôpzy m }Zûsû~r}ZuwpÌ}ZùqûstEvcùtpsoq÷ö@òCv±pzyxpsrlt;ý \ … psoqtN}ZuÇöquxò;÷lu‹}ZøøpzoR÷&†}Zo m }Zo@|hûzt‡vxúGv±yxtEø2vòlóö@òCv±pzyxpsrltr}Zuwps}lùqûztNv´ôpzy m ò;õhy2pzoCywt÷lu‹}Zûspzyœú †/ò;oRv±yxu‹}Zpso;y‹vý ™ m õRvô5tW}Zuwtò;oqûsú}Zùqûst&ywò õRvxt ûzpsoqtE}luöRuxò;÷lu‹}Zøøpzoq÷Óòlo } v±úhv±yxtEø òZó }Zõqyxòlø2}Zyw}ÇõRvxpzoq÷Çy m t ¤Rò‹ô šv±úGoR† m uwòloRep †N}yxpsòlo2uwõqûstlý ™ m tvxòlûsrGpzoR÷´òZó ?q{înŠ s ÷lpsrltNv7tEp©y m tuc } ¤Rò‹ô >öR}y m ò;u5}öRuxòGòZCó ‘ËrCpÌ} y m t†/ûÌ}lvwvxps†E}ZûR|hõ@}Zûsp©yœú y m tòluwú¸òló"ûspzoRtE}ZuöRuxò;÷lu‹}Zøøpzoq±÷ •7òlóy m t´psoqt/ˆhpÌvœywtoR†t òZó}ZoGú ¤Rò‹ô >öR}Zy m òlo‡}øÇòh|htEû~òZó=æ v±yxòluwpstEvEý+dGõRùRv±tN†ywpzò;onhý¨nhý¨n ôpsûzû‰v m òô y m }Zy5y m psvc†/ò;øöqûztyxtEoqtEvwvPuwtEvxõqûzy5ò;o2y m t¾t/ˆhpÌvœywtoR†tò;u psoqt/ˆhpÌvœywtoR†t¾òl'ó ¤@ò‹ô r}ZûsõqtE|U•`G}ZoR|2pzyÄpsvPy m õRv5oqòZy|hpsuxtN†ywûzúöò;vwv±psùqûstTyx{ò ’GoqòôÃô m t/y m tu5y m t }l†E†/tNvxvxpzùRpzûsp©yœú2öRuxò;ö@tEu±yœú¦†E}Zo9ù@t´vw}ywpsv±üRtN|¦ò;uoqòZyNý ™ m pÌv+†/òlo@vœywp©ywõhyxtNvy m tcoqòlZo >öòlûsúCoRòløps}lûlöR}lu±y+òZó@òlõqu"øt/y m òG|~`Z}ZoR|pzûsûzõ@vœywuw}ZyxtEvy m t5psoCyxuwpzoRvxp̆ |hep ¸†/õqûzyœú´òZóv±òló¿yœôc}luxt7r;tuwp©ü†}ywpzò;o}lvy m tÄ÷;}Zöù@tyœô5tEtoûspsoqtE}lu"öRuxò;÷lu‹}Zøøpzoq÷}ZoR|pzoCyxtE÷ltEu öquwòl÷;uw}løÇøpsoq÷Rý~^7t/ycvxtr;tu‹}Zûquwtø2}l]u ’hv+ø2/} ’;tÄy m pÌvP÷C}Zöoqòly5v±òòrltuwô m tEûzøpsoq÷lûsú|hep ¸†/õqûzy5pso òlõRuT†}lvxtlý ™ m tuxtEø}lpzo@|htu´òlóÄy m pÌv*vxõqZù švxtE†ywpzò;o ôpzûsûP÷;pzr;t¸òloRûzú öqu‹}Z÷lø2}Zyxp̆2}ZoR|Wu‹}y m tuÇv±õqšù ‡œtE†ywpzr;t }Zuw÷lõRøÇtEoCywv5yxò2õqo@|htu‹vœy‹}ZoR|ô m ú¸pzyv±tEtø2vcyxò2ôcòl“u ’2pzo9öqu‹}l†/yxp̆/tlý ™ m tÄüRu‹v±yy m psoq÷ywòoqòZywtpsv+y m }yPy m tTò;ùhyw}lpzoRpzoq÷ òló‰b } ¤Rò‹ô >öR}Zy m psv7rltuwú´tN}lvxúlDý »>yPv±Zõ ¸†tEv+ywò õRvxtÇ}ûspzoqtN}Zu¾öquwòl÷lu‹}Zøøpsoq÷¦vxòlûsrltuòloy m t2v±yxòluwpstE|0tˆCywtoRvxpsòloôpzy m toqò;õq÷ m yxpsøtÇv±yxtEöR#v n y m t¸uxtNv±õRû©ywpzoq÷&vxòlûsõhywpzò;o­pÌv|hpsuwtE†ywûzú­pzoCywtuwöquxtyw}lùqûztò;o­y m t ¤Rò‹ô švxúCo@† m uxò;oq^p †tE|­}Zõhywòlø2}y‹} øòh|htûöR}y m vxòlûsõhyxpsòlo`Z}÷;toqtEuw}lû;ôÄ}¶ú òZó@üRoR|hpsoq÷}¾öR}y m pÌv"yxò¾óÀòlu‹†/tÄv±ò;øt5òlóRy m t |q}Zyw}yxò m }¶rlt5pzoCyxtE÷ltEur}ZûsõqtNv"}loR|ywòuwtûÌ}ZõRoR† m y m t5ûspsoqtE}lu"öRuxò;÷lu‹}Zøøpzoq÷v±ò;ûzr;tuN=ý »>yxtEuw}Zyxpsoq÷ y m psvyxtN† m oqYp ‰Cõqtötuwøp©y‹vtErltoCywõR}Zûsûzúyxò¦üRoR|­}Zo}lûzû"pzoCywt÷ltEu >r}ZûsõqtE|0vxòlûsõhywpzò;o~`@ô m ps† m pÌv } öR}Zy m ýg÷;toqtEuw}lûRv±yxu‹}yxtE÷lúÇòZóay m psŽv ’Gpzo@|psv5últy m tN}¶rCpsûsú*†/ò;øùqpsoR}ZyxòluwpÌ}ZûöR}y m m }¶rlt¾} vxtø2}ZoCyxp̆øtE}loqpsoq÷R¸ý ™"/} ’GpzoR÷pzoCyxòÇ}l†E†/òlõRo;yPy m pÌvPøtN}Zoqpsoq÷´pso¸òlu‹|htEu7yxò*† m òGò;vxtTô m p̆ m |q}y‹} ‘¿ywuw}loRvxp©ywpzò;o~`~øtEvwvx}l÷ltÇòlu´v±yw}Zyxt •ywòóÀò;uw†tÇyxò0}9öR}Zuxyxp̆/õqûÌ}Zu r}Zûsõqt;`pzy´uxtN|hõR†/tNv |huw};vœywps†E}Zûsûzú Ó=ÔYÓ=Ԕ˜

q Ùê&ê0ÊPê±ØÞcÚKËê0ðEê±ÜhîØفí ÂBÜ

݋ã y m toGõqø*ù@tEu*òlóùqu‹}ZoR† m psoq÷&oRtE†/tNvxvw}Zuwú­yxò­†òloR†ûzõ@|htlý£™ m pÌvÇ÷lõqpÌ|htE|Åùquw}loR† m psoq÷v±yxu‹}ywt÷lú vxttø2vr;tuwú¦t#2†pztEoCyTpzo0öqu‹}l†/yxp̆/tô m tEo&}öR}y m |hòGtEvt/ˆhpsv±ycn5òlo0}Zûsû~ò;õquTt/ˆq}løÇöRûztNv`}ÇóÀtô óÀòlu‹†/psoq÷2v±yxtö@vÄô5tEuxtvxõZ¸†/pstoCyÄyxòüRoR|‡}*yxuwõqt öR}Zy m ý ž m tEoÓoqò&ö@}y m vtˆGpÌv±yE`pzy*÷ltywv*øòluwt¸pzoCywuxp̆}ZyxtE|Ó}ZoR| }÷lõqpÌ|htE|Åùquw}loR† m psoq÷v±yxu‹}ywt÷lú­psv oqòly}Zûsôc}¶úhv¾v±Zõ ¸†pztEo;yNý »šoR|htEtE|‰`y m t2öquwòlötuxyœú m };v¾yxò‡ùt2öquxòr;tE|pzøöò;vwv±psùqûstÇô m }yxtErltEu y m tÇoGõqø*ù@tEu òZó7ywpzøtvœywtöRv¾pÌvý^7tyE`}l÷;}lpzo&÷;õqpÌ|htE|ùCú‡y m t2v±tEø2}ZoCyxp̆´òló7y m tøòh|htû}loR| òZóy m t ¤@ò‹ô óTôct¦†}lûz# û %1ç "2y m t¦oGõqøùtu*òZóö m ò;oqtEv*}ZoR| 4çy"2y m t¦ûstoq÷ly m òlócy m t¸üRóÀò­† m }loqoqtûÌvE` y m tÇ÷;toqtEuw}ZyxtN|&}Zõhÿ ywòlø2}y‹}¦ÿ vxúhvœywtø †/ò;oCyw}ZpsoRv?× 4% ÿ çØK× %Å }Zõhywòlø2}y‹}q`aóÀòlu}¦yxòlyw}Zû}løÇò;õqoCy òZóuwòlõqÿ ÷ m ûsv ú "fåÿ 4‚% ç("få% ç 4%W|qÍp –atuwtoCyv±yw}ZyxtEvE`o2× 4‚% ÿ ç‰ å% ÿ |hep –tEuxtEo;yøÇtNvxvw}Z÷;tEv}lÿ oR|  ¢ 4‚% ç)ååc% ç“KÙ 4‚%­|hep –atuwtoCyÄyxu‹}ZoRvxp©ywpzò;oRvE`G}loR|ô m ps† m uwtöquwtEvxtoCywvcøòluwty m }loU× ¢ 4‚% ç Ú ¢ % ÿ ûzpsoqtEvÄòló+†òh|htlý Ò‹Ç È

Ý“ê ™ m t m õq÷ltEoqtEvwv¾òZó5y m t2}Zõqyxòlø2}Zyw}øÇòh|htEû7pÌv¾|qõqtyxò9y m tÇpsoR†uxtN}lvxpzoq÷‡}Zøò;õqoCy¾òlóc|hpe–tEuxtEoCy øtEvwvx}l÷ltNvPô m p̆ m †E}Zo¦yxu‹}¶rltû@y m uxò;õq÷ m y m t¾üqóÀò2† m }loqoqtûÌvEýD™ m t†òloqoqtN†ywpzò;oÖo|htN†/ò;oqoqtE†/yxpsòlo öquwòZywòG†òlûõRvxtEv&‚Nn |hpe–tEuxtEo;yøÇtNvxvw}Z÷;tEv‘ËiWpsoÃtøpÌvxvxpsòloÔ}ZoR|ÔiWpsoÃuxtN†/töqyxpsòloU•*óÀò;u2trltEuxú öò;vwv±psùqûstöR}lpzucòZóyxtEûztEö m òloRtEvc}Zøòloq÷%ç "l`Gy m tEvxt¾øÇtNvxvw}Z÷;tEvPù@tEpzoq÷2v±yxò;uxtN|2òlo
4¸|hpe–tEuxtEoCy öqûÌ}l†tEvÄòZó"tr;tuwú2üqóÀò2† m }ZoRoqtûr¶}lûzõRtE|‰`T}loR|ÔoqòÅùqu‹}Zo@† m pzoR÷ ôc};v oqtN†/tEvwvw}Zuwúlýgûzû5y m t9t/ˆhötuwpzøtEo;y‹v´òlóTy m t¦yw}lùqûzt9}Zuwt¦|hò;oqt¦ôpzy m %5, Ù0}Zo@|'4 , R`"ò;o æˆ,´" ¢ yxpsøt&vœywtöRvEýÃgTûsû†/ò;øöqõhyw}ZyxpsòloRv ‘Ëpzo@†/ûsõR|hpsoq÷ ù@òly m y m t&†/òlo@vœywuxõR†/yxpsòlo }ZoR| y m t uwtEvxòlûsõhyxpsòloòZó"y m t´vxúhvœywtø òló"ûspzoRtE}Zut ‰CõR}ywpzò;oR“v •7yw} ’lt ûstEvwvcy m }lo ‚N…ÇøÇpsoGõhyxtNvý

vx}løöqûztNvÄòZó+öquwòlötuxyxpstEvcöquwòrltE| m }¶rGpzoR÷}vxòlûsõhyxpsòlo9öR}Zy m †}loö m òloq"t G*€ÇvxtoR|‡}g  gab œ¾b yxòö m ò;oqt G*i ‡ †}loö m òloq"t GiÇuwtE};|}  edC^_Ð … »œb] óÀuwòlø(ö m ò;oqt G*… ‡ †}loö m òloq"t G…vxtoR|‡}2Zd ™aœf7˜f »œb[£yxòö m ò;oqt GÇn ‡ †}loö m òloq"t G´„ùtpzo‡pzywvTv±yw}Zyxt´da‚N…8ÐT…qý „ ‡ †}loö m òloq"t G¸‚}loR|9ö m òloRt G„ù@tpso0†/òloGr;tu‹vx}Zyxpsòlo ‡  TtEuxtpÌv´}‡|ht/y‹}ZpsûztN|­vw}ZøöqûstöquwòrltE|­vx}ZyxpÌvœü}Zùqûstòlo­y m t¸vxúhvœywtø‡`ôpzy m vxpe†Et
qz%D, Ü_ƒ4|, قæ(, " ¢ s n
¹x†}Zo9y m t üqóÀò¸† m }loqoqtûòZóö m òloq"t G¦‚´†}Zuwuwú¸iøÇtNvxvw}Z÷;tEvÄ}yy m t´vw}Zøt yxpsøt º‹ý ™ m t}Zo@v±ôctucpsvC¹±últN@v º`G}ZoR|¦y m t öR}Zy m ôc};v7óÀò;õqoR|òloy m t}lõhyxò;ø}Zyw}ùCú¦òlõquÄøt/y m òh|¦pso­‡ ‚Nk øpzoGõhywtEv¢‘¿y m tÇvxòlûsõhywpzò;o&ôc};v|hpsuwtE†ywûzú0}lûzûpzoCyxtE÷ltEu >r}ZûsõqtE—| •/bý  tuwt´p©y pÌ#v n ™ m pÌvTüR÷;õquwtv m òôTv y m t¾vxtc‰CõqtEoR†/tòZó}l†/yxpsòloRv7óÀòlu5y m t¾ôuwp©ywt}Zõqyxòlø2}Zyxòlo¦òZó‰y m tüqóÀò >† m }ZoqoqtEûRòló~ö m òloRt G¦‚}loR| óÀòluÄy m t*__cŠÓ}lõhyxò;ø2}yw}*òZó}Zûsû€*ö m ò;oqtEvEý Ò‹Ç Ò @Pö¸Ì/øbÑ Ëmò£ÎnóSø?÷šÎ3øËO÷=Õ_ô*Ëmò)ø?÷šÎBA˜Ë
ÐïõBÎ3ÕDò2ösՁôaòDCUöFEbÑ Ë ž t¦oqòô ÷lpsrltvx}løÇöRûztNv´òZóTöRuxò;ö@tEu±ywpztNvöquwòrltE| psøö@òCvxvxpzùRûzt¦yxòvw}ywpsv±óÀúґÀoqò&ö@}y m vtˆGpÌv±y•ý gTûsûtˆhö@tEuxpsøtoCywv}luxt|hò;oqtôp©y m %v,©Ù*}loR|14I, RýPgTûsû†òløöqõhy‹}ywpzò;oRv‘ÀpsoR†/ûsõR|hpsoq÷¸ùòZy m y m t¾†òloRv±yxuwõR†ywpzò;o¦}Zo@|y m t¾uwtEvxòlûsõhyxpsòlo2òló~y m t¾ûspzoqtN}Zucv±úhv±yxtø •7yw}’ltûstEvwvPy m }lonl€´øÇpsoGõhyxtNvý

ÝÜ

fifo_tel1_write.e0 fifo_tel1_write.e0

fifo_tel1_write.e2 fifo_tel1_write.e2

fifo_tel1_write.e1 εε fifo_tel1_write.e1

fifo_tel1_write.e4 fifo_tel1_write.e4

fifo_tel1_write.e3 fifo_tel1_write.e3

fifo_tel1_write.e6 fifo_tel1_write.e6

ccf4.S16_Ringing_tone1 ccf4.S16_Ringing_tone1

ccf4.S1_Idle ccf4.S1_Idle εε

fifo_tel1_write.e5 fifo_tel1_write.e5

11

11

εε

εε

11

11

sCONNECTING3.1 sCONNECTING3.1 fifo_tel1_sCONNECTING3.1_1 fifo_tel1_sCONNECTING3.1_1 11

ccf4.S18_1 ccf4.S18_1

ccf5.S4_Adressed ccf5.S4_Adressed

11

dialling5 dialling5 timer1_stop5 timer1_stop5 11

εε

εε

11

11

timer_on4 timer_on4 called4.1 called4.1 ringing4 11 ringing4

sACK_CON4.1 sACK_CON4.1 fifo_tel1_sACK_CON4.1_2 fifo_tel1_sACK_CON4.1_2 11

εε 11

11

sCONNECTING2.1 sCONNECTING2.1 fifo_tel1_sCONNECTING2.1_3 fifo_tel1_sCONNECTING2.1_3

εε

11

εε

11

sCONNECTING5.1 sCONNECTING5.1 fifo_tel1_sCONNECTING5.1_4 fifo_tel1_sCONNECTING5.1_4

11

sCONNECTING5.1 sCONNECTING5.1 connecting5.1 connecting5.1 timer_on5 11 timer_on5

εε

11

11

11

timer_stop4 timer_stop4 offhook4 offhook4 sOFFHOOKED4.1 sOFFHOOKED4.1 11

sOFFHOOKED4.1 sOFFHOOKED4.1 fifo_tel1_sOFFHOOKED4.1_5 fifo_tel1_sOFFHOOKED4.1_5 11

ccf1.S2_Dial_tone ccf1.S2_Dial_tone

εε

11

ccf2.S1_Idle ccf2.S1_Idle

ccf1.S5_Ask_connection4 ccf1.S5_Ask_connection4

11

11

onhook4 onhook4 sSTOPPING4.1 sSTOPPING4.1

11

offhook1 offhook1 ccf1.S4_Adressed ccf1.S4_Adressed using_tel1 using_tel1 timer1_on1 timer1_on1

εε

11

sSTOPPING4.1 sSTOPPING4.1 fifo_tel1_sSTOPPING4.1_6 fifo_tel1_sSTOPPING4.1_6

ccf1.S1_Idle ccf1.S1_Idle

11

εε

εε

εε

11

11

11

εε

εε

εε

11

11

11

ccf2.S5_Ask_connection1 ccf2.S5_Ask_connection1

offhook2 offhook2 ccf2.S4_Adressed ccf2.S4_Adressed using_tel2 using_tel2 timer1_on2 timer1_on2

ccf3.S1_Idle ccf3.S1_Idle

ccf2.S2_Dial_tone ccf2.S2_Dial_tone 11

ccf3.S5_Ask_connection1 ccf3.S5_Ask_connection1

offhook3 offhook3 ccf3.S4_Adressed ccf3.S4_Adressed using_tel3 using_tel3 timer1_on3 timer1_on3

ccf3.S2_Dial_tone ccf3.S2_Dial_tone 11

dialling2 dialling2 timer1_stop2 timer1_stop2

dialling1 dialling1 timer1_stop1 timer1_stop1

sCONNECTING3.1 sCONNECTING3.1 connecting3.1 connecting3.1 timer_on3 timer_on3

εε

11

11

11

dialling3 dialling3 timer1_stop3 timer1_stop3 11

11

11

timer_on1 timer_on1 sCONNECTING1.4 sCONNECTING1.4 connecting1.4 connecting1.4

εε

εε

εε

11

11

11

εε 11

ccf5.S2_Dial_tone ccf5.S2_Dial_tone

offhook5 offhook5 ccf5.S1_Idle using_tel5 ccf5.S5_Ask_connection1 ccf5.S1_Idle ccf5.S5_Ask_connection1 using_tel5 timer1_on5 timer1_on5 11

ccf4.S10_Conversation1 ccf4.S10_Conversation1

sCONNECTING2.1 sCONNECTING2.1 connecting2.1 connecting2.1 timer_on2 timer_on2 11

εε 11

εε

εε

εε

11

11

11

εε

εε

εε

11

11

11

εε

εε

εε

11

11

11

εε

εε

εε

11

11

11

εε

εε

εε

11

11

11

HJI1KL8MONQP8RFSTVU"WXTOYXZ[T]\_^a`bZOc d\bYXSec \fS `_c Wg:`_c T]c hXTjiX^\fZ;hX`bYXYDT[k8\b^alDhX\mYDTonqpbr

Ý‹Ø vx}løöqûztNvÄòZó"öquxò;ö@tEu±ywpztNvÄöquwòrltE|¦pzøöò;vwv±psùqûst¾yxò¸vw}yxpÌv±óÀú †}loö m òloq"t G…ÇuwpzoR÷Çô m pzûstò– m òGò ’;tE| ‡ †}loö m òloqt"G*€ÇvxtoR|  edG^WÐ … »œb] yxòö m ò;oqt G¦‚ô m psûzt ò;o m òGò’ ‡ †}loö m òloq"t G*n*uwpzoR÷Çô m pzûstoqòlùòh|hú¸tErltuT†E}ZûsûztN|¦pzy ‡ †}loö m òloqt"GÇmùt´}Zûsòloqt pso0†/òløø*õqoqp̆}ywpzò;o ‡ †}loö m òloqtNsv G¸‚;` G„2}ZoRt | G*iù@tpso0†/psuw†õqûs}lu†/òløø*õqoqp̆}ywpzò;o ‡

T  tEuxtpsvÇ}|qt/yw}lpzûstE|Óvx}løÇöRûztöquxòr;tE|Wpsøö@òCvxvxpzùRûzt¦yxò­vw}ywpsv±óÀúl`ôpzy m v±p^†tNq…%@,Ü_~4D, Ù s n ¹x†}Zo¦y m t¾üqóÀò2† m }loqoqtEû‰òZóö m òloqt"G¸‚†E}Zuwuxú¦m´øÇtNvxvw}Z÷;tEvÄ}ycy m t vw}Zøt¾yxpsøt ‡ ºýC™ m t}ZoRvxô5tEu pÌv9±¹ oqòº`q}ZoR|9y m t´öquwòGòZó+psvT÷lpsrlto‡pso0„;…øpsoCõqyxtEvEý‹™ m t´öquwòGòZóv±úhv±yxtø(÷lpsrltNvcy m tóÀò;ûzûsòôpsoq÷ †/ò;øøÇtEoCywvcn u1v;wx;y4z:xO{ | }~€ zV4xO{w4z‚F{>z:~;yƒOy4z[y „ „ „:„ „ „ „ „:„ „ „ „ „:„ „ „ „ „:„ „ „ „ „:„ „ „ „ „:„ „ … ~†x‡Oy:ˆysy‰ Š:y:ˆ‹|ƒ;yŒ:ƒOw4‡[{>Ž[{x;y‰"!zOw4zOy;‘m’ “ ‡Oyz"”Bx‡Oy;ˆy‹y‰ Š;y:ˆ‹|ƒOyŒ:ƒ;w4‡V{>Ž[{4x;y ‰•wx‡[yƒ –O{ ˆ yb”—x‡OyŒ[wx;y4z:x[{| };˜>~ € z[4xO{ w4z‹–;w4€O} ‰†{>z[4ƒOy |:ˆy;‘m  ~[™bBš ›:œ;ˆ4ž;œ;w4z zOy;4xO{w4z[Ÿ;˜  š ¡:œ¢€[ˆ£;œx;w4zOy:Ÿ;‘  ~[™bBš ¡:œ¢€[ˆ£;œx;w4zOy:Ÿ;˜  š;™œ … ‰:} yO‘f 4~[™bJš › œ;ˆž;œ:w4z:zOy:4xO{ w4zO¤;˜ :š ¡ œ¢€Vˆ£:œx;wzOy ¤;‘  ~[™bBš ¡:œ¢€[ˆ£;œx;w4zOy:¤;˜  š;™œ … ‰:} yO‘f 4~[™bJš › œ;ˆž;œ:w4z:zOy:4xO{ w4z;¥O˜ :š ¡ œ¢€Vˆ£:œx;wzOy¥O‘  ~[™bBš ¡:œ¢€[ˆ£;œx;w4zOy ¥O˜  š;™œ … ‰:} yO‘f 4~[™bJš › œ;ˆž;œ:w4z:zOy:4xO{ w4zO›;˜ :š ¡ œ¢€Vˆ£:œx;wzOy ›;‘  ~[™bBš ¡:œ¢€[ˆ£;œx;w4zOy:›;˜  š;™œ … ‰:} yO‘f 4~ ƒ[™mBš Ÿ œ ¦; >€ Œ[{ y‰:Ÿ;˜ :š Ÿ œ ¦::>€ Œ[{y ‰:Ÿ;‘ ’ ’ ’B¥:¡§†};{>zOy:ˆ]yƒ;|:ˆy‰¨’ ’ ’ !~O{~;w œx;y:} › œ4©Oy©Oª œ;™¡"«yO™ ˜  y ŸO‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ;™¡ —y:Ÿ;˜  y;™:‘ !~O{~;w œx;y:} › œ4©Oy©Oª œ;™ª"«yO™ ˜  y ŸO‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ;™ª —y:Ÿ;˜  y;™:‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ;™­ ay;™:˜  y Ÿ;‘ !~O{~;w œx;y:} › œ4©Oy©Oª œ;™­"«y:Ÿ;˜  y;™:‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ;™® —yO™ ˜  y ŸO‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ;™® ay ŸO˜  y;™ ‘ !~O{~;w œx;y:} › œ4©Oy©Oª œ Ÿ§«yO™ ˜  y ŸO‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ Ÿ§"—y:Ÿ;˜  y;™:‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ Ÿ;™bay;™:˜  y Ÿ;‘ !~O{~;w œx;y:} › œ4©Oy©Oª œ Ÿ;™m«y:Ÿ;˜  y;™:‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ Ÿ Ÿ —yO™ ˜  y ŸO‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ Ÿ Ÿ ay ŸO˜  y;™ ‘ !~O{~;w œx;y:} › œ4©Oy©Oª œ Ÿ ¤"«yO™ ˜  y ŸO‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ Ÿ ¤ —y:Ÿ;˜  y;™:‘¬!~O{4~Ow œx;y }:› œ4©Oy4©[ª œ Ÿ¥"ay;™:˜  y Ÿ;‘ !~O{~;w œx;y:} › œ4©Oy©Oª œ Ÿ¥«y:Ÿ;˜  y;™:‘b’ u!¯ z;~;}4€[ˆ>‡[|4ŽO} y‹ˆ4xO|x;y:ˆ_‚e{>z:~;yƒOy4z[y „ „ „:„ „ „ „ „:„ „ „ „ „:„ „ „ „ „:„ „ „ „ „:„ „ „ „ „:„ „ ~ xOyƒ°™¤‹x€:ƒz[ˆb”Bx‡Oysˆ£;ˆ4x;y4©Q{ ˆsˆ|x€:ƒ;|xOy‰"’ “ ‡:€[ˆ_”B–;y‹‰:y‰€[ yx‡O|x†x‡Oy~Ow } } w–[{>z;Š†ˆ4xO|x;y:ˆm  ~[™b’!š ¤:œ¢€[ˆ£;œx;w4zOyO‘Q± 4~[™b’1š;™œ … ‰;} y²  ~[™b’!š¥;œ ‰ƒ;y;ˆ ˆy‰O‘°:4~[™b’!š:› œ;ˆ4žOœ:w4z z[y:4xO{wzOŸ;‘° 4~V™b’!š Ÿ œ³[{| } œx;w4zOy;‘°:4~[™b’!šO™ª œ´;wx;œƒ;y:ˆ4ŒOw4z;‰;{4z;Š:Ÿ;‘  ~[™b’!š;™¡ œµO{>zOŠ;{>z;Š:œx;w4zOy ŸO‘f 4~[™b’1š;™4§:œ¶;w4z:·;yƒ[ˆ|xO{wzOŸ;‘f 4~[™m’!š;™­ œ:Ÿ;‘¬ ~[™b’!š ¡:œ¢€[ˆ£;œx;w4zOy:Ÿ;‘  ~[™b’!š ­:œ; yŒ:x;y‰:ŸO‘f 4~[™b’1š;™¤ œ ŸO‘ ’ ’ ’¸™ ™›s};{>zOy:ˆ]yƒ;|:ˆy‰¨’ ’ ’ !~O{~;w œx;y:} › œ4©Oy©Oª œ;™ª"’!y Ÿ;‘°!~O{~;w œx;y:} › œ4©Oy©Oª œ;™­"’!y Ÿ;‘ !~O{~;w œx;y:} › œ4©Oy©Oª œ;™®"’!y Ÿ;‘°!~O{~;w œx;y:} › œ4©Oy©Oª œ Ÿ§’!y Ÿ;‘°!~O{~;w œx;y:} › œ4©Oy©Oª œ Ÿ;™m’!y Ÿ;‘ !~O{~;w œx;y:} › œ4©Oy©Oª œ Ÿ Ÿ"’!y Ÿ;‘°!~O{~;w œx;y:} › œ4©Oy©Oª œ Ÿ ¤"’!y Ÿ;‘°!~O{~;w œx;y:} › œ4©Oy©Oª œ Ÿ¥’!y Ÿ;‘ © €[ˆx‹ƒ;y4©O|;{>zfy4© Œ;x:£‹x;w]ƒ;y |:>‡†x‡Oys|ƒ ƒO{4·;|:}sˆ4x;|xOy ’ ¹ w–Oy·;yƒ‹x ‡Oy‹w4zO} £]ŒOw:ˆ:ˆ {>ŽO} y†ˆ4x;|ƒ x[{>z;Šsˆ4x;|x;yº±1:4~[™b’!šO™œ … ‰:}:y² w~°|4€:x;w4©[|x;w4zf ~[™‹{ ˆŒ:ƒ;w4‡[{4Ž[{4x;y‰’ “ ‡Oysˆ |4©Oy‹|ƒ;Š€ ©Oy4z;xsŠ:w y:ˆ]~;wƒ†|€:x;w4©O|x;w4z° ~ ƒ[™ –‡Ow;ˆysˆ4x;|x;y»±1 ~ ƒ[™b’!šO™œ … ‰:}:y²s{ ˆŒ;ƒ;w4‡[{>ŽV{4x;y‰x;w:w ’ … x°{ ˆx‡[ysˆ|4©Oy‹~;wƒ‹x[{>©Oyƒ;œx –;w;™ –‡Ow;ˆysˆ4x;|x;y»±xO{4©Oyƒ;œx:–;w;™b’!šO™œ “ {>©[yƒ;œ:ˆ4xOw4Œ ŒOy‰:²{ ˆŒ:ƒ;w4‡V{>Ž[{4x;y ‰]x;w w ’ „ „ „:„   “ ‡ €Vˆ_”Bx‡Oy‹ƒ;y¼€[y:ˆ4xf{ ˆs{>z:~;y |;ˆ {>ŽO} y"’ ½

¾ }-x‚ŽÂ,€2Å
ƒ,}„x

ž t m }¶r;tTöquwtEvxtoCyxtN|2}´oqtEôøt/y m òh|óÀòluÄv±òló¿yœôc}luxtrltuwpzü@†}Zyxpsòloô m p̆ m †}lo¸ù@t¾õRvxtE|2tEp©y m tu yxò­t/ˆ m psùqpzyÇvxtc‰Cõqto@†/tEvòZóT}l†/yxpsòloRv*vx}ZyxpÌvœóÀúGpsoq÷}0öRuxò;ö@tEu±yœú òlu*öquxòGòlóËv y m }ZyÇ}öquxò;ö@tEu±yœú­psv õqoRvw}ywpsv±ü@}lùqûzt;ý »šo †/òløöR}luxpÌvxòloôpzy m t/ˆhpÌvœywpzoq÷Ôr;tuwp©ü@†E}ywpzò;oÃyxtN† m oqYp ‰;õRtEvE`y m tWø}lpzo }l|qr¶}loCyw}Z÷;tòló*òlõRu øt/y m òh|ÓpÌvp©y‹v2}Zùqpsûsp©yœú ywò m }ZoR|qûzt m õq÷lt‡øòh|htûÌvÇòZó¾}lõhyxò;ø2}yw}­ôpzy m ò;õhy¸|hòlpsoq÷ }ZoGúÅ}Zšù  v±yxu‹}l†ywpzò;o~`7}Zo@|Wyxò ÷lpsrlt9}y*ôcòlu‹vxt¦}Zo }ZoRvxô5tEuô m p̆ m¡m };v}Zûsôc}¶úhv´} v±tEø2}ZoCyxp̆¸øtE}loqpsoq÷

݋á tEûzöhóÀõRû+óÀòlu¾óÀõquxy m tEu´vœywõR|húlý–œoy m tt/ˆq}ZøöqûstEvô5tÇøòh|htûspe†EtE|
¿Z`ay m tv±yxõ@|hú&òZóPy m tNv±t2}Zoš vxô5tEuwv m }¶r;t }lûzôÄ}¶úhvPötuwøp©yxyxtN|¦ywò¸†/ò;oR†/ûsõR|ht;ý ™ m tcøòG|qtûspe†N}yxpsòloõRv±tN|l‘L†/òløø*õqoqp̆}ywpzoR÷¾}lõhyxò;ø}Zyw}W•‰pÌv"|qúCo@}Zøps†5}ZoR|´y m õRv"oqòlyóË}luóÀuwòlø }Zo9psøÇöRûztEøÇtEoCyw}ywpzò;o~Cý ™ m pÌvÄøtE}Zo@vcy m }Zyy m t øt/y m òh|pÌvcüqyxyxtE|9óÀò;ucyxtEv±yvxõqp©ywt÷ltEoqtu‹}ywpzò;o~ý  Tòôctr;tuN`Cy m tuwtûÌ}ywpzr;t¾öòGòluT†òløöqõhy‹}yxpsòlo9ywpzøt´†/ò;øöR}ZuwtE|¦yxòöquwòlùR}lùqpsûzpÌvœywps†ywtE† m oqpY‰CõqtEv psoR|hp̆}ywtEvøÇòCvœywûzú¾}ZopsoCyxtuwtEv±ypso üRoR|hpsoq÷TöRuxò;ùR}Zûspsv±yxp̆}lûzûsú m }luw|ywtEv±y"vxõqp©ywtE9v ‘Ë}lv‰y m t5t/ˆq}Zøöqûst ÷lpsrltEopso0…qý¨n´òlóü@oR|hpsoq÷2}2v±t ‰;õRtoR†tü@ûzûspzoR÷*y m t üqóÀò¸† m }loqoqtEYû •/ý ™ m t*uxtNv±ò;ûzõhywpzò;o‡yxpsøtl`y m ò;õq÷ m `@pÌvóË};vœy¾toqò;õq÷ m ‘Ëù@òly m óÀò;uöR}Zy m ü@oR|hpsoq÷}loR|0öquwòGòZó+üRoR±|  psoqW÷ •ywò‡}lûzûsòô psoCyxtu‹}l†/yxpsrGp©yœú0óÀò;u y m t2øòh|htEû7|htEvxpz÷;oqtuNlý œoy m t¸}ZùòrltÇt/ˆq}løÇöRûzt;`ôpzy m € yxtEûztEö m ò;oqtEv}ZoR|‡üRóÀò† m }loqoqtûÌvòló7ûztEoq÷Zy m …q`a†/ò;øÇöRõhyw}ZyxpsòloRvTyw/} ’;tòlo&ò;õqut ‰CõqpzöRøÇtEoCyûstEvwv y m }Zoԅ­øpsoGõhyxtN; v ‘Àoqòlyxt9y m }y2y m tywtûstö m òloGúÅøòh|htûTpsoR†uxtN}lvxtE¢v ‰;õ@}l|hu‹}ywps†E}Zûsûzú ôpzy m y m t oGõqøùtuòló"ö m òloqtN“v •/ý ™ m tuxtNv±ò;ûzõhywpzò;o yxpsøt†E}ZoÅùtpsøöquwòrltE| };vò;õquù@}ZuwuxpstuÇv±ò;ûzr;tu´pÌvÇoqòZyvœy‹}yx#t öòlpso;y }Zûs÷lò;uxpzy m ø‡¢ý ™ m psv¾ôcòlõqûÌ|­pzøöqûsú†/ò;øöqõhyw}ZyxpsòloRvywò ùt }luxò;õqoR|0‚NkywpzøtEv5óË};vœywtuNHý ™ m tûspzoRtE}Zuvxúhvœywtø †/ò;oRv±yxuwõR†ywtE|óÀò;ucö@}y m üRoR|hpsoq÷2†/ò;õqûÌ|¸ùt ,t ¸†pztEo;ywûzú0vxòlûsrltN|‡p©óPôct m }l|&}v±psøöqûzt±ˆ 