Synchronizing Periodic Clocks in Kahn Networks

Synchronizing Periodic Clocks in Kahn Networks Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet

To cite this version: Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, et al.. Synchronizing Periodic Clocks in Kahn Networks. [Research Report] RR-5603, 2005, pp.38.

HAL Id: inria-00070404 https://hal.inria.fr/inria-00070404 Submitted on 19 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destin´ee au d´epˆot et `a la diffusion de documents scientifiques de niveau recherche, publi´es ou non, ´emanant des ´etablissements d’enseignement et de recherche fran¸cais ou ´etrangers, des laboratoires publics ou priv´es.

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Synchronizing Periodic Clocks in Kahn Networks Albert Cohen, Marc Duranton1 , Christine Eisenbeis, Claire Pagetti, Florence Plateau2 and Marc Pouzet2

N° 5603 2005

N 0249-6399

ISRN INRIA/RR--5603--FR+ENG

Thème COM

apport de recherche


         ! #"%$'&()+* , -.0/214365798;:14A@+36BDCE3F@G !ACBED  7 $$F >  7 )+ 7  ! @- ) 7  !4 H  G" ck   1 ck ! ck_  2 ck !  _ )  *.% !7I J< A 1 2  K AG_$7 ) _ L !4 ) _ %) 7 -NM

OQP ^O6R



̒Í+Î|ÏZÐtсÍ

Í  Ð
ÃÑ 
ÃΊÑ6Î’Ë

u„Švqu|»qp6³ mqe6u¼rUyŠv4x 8 yzpv4wc~d{y†xÔuv_xPrt~UyŠ‡wqrty†v_x HRyŠrºeÇZrUex‡cprtacyzpºu{_„†uwc„†w‡p9rtv·uv_dˆ‡yŠxceRpsrt~Ue6{_dp i´ yŠrta n°–psoZx‡u|a‡~tv4xcyŠÅI{c„†eu„Švqu|»qp6³ mZe6urty†v_x  qe6pUu~UyŠ+e6puvqqe¾¥_ex‡e~|{’rty†v_x psrt~|{’rte6¥_y†e6p¾Â ±²v4~º{xZo n° ptoZx‡u|ac~Uv_xcy†Å6{_c„†eº‰c~Uv_¥_~|{dºÄ›G{_pte6½v4x·rt~|{xGps„z{’rUyŠv4x rtv {N‰cwc~Ue„†o·ptoPxGu|ac~tv4xcv_wGpŽZo½{wqrUv_d{’rUy†u6{„†„Šo y†x‡pte~trty†xc¥D‡wq¿+e6~Up9´iyŠrtaÔdyŠxcy†d{„iptyŠÅ6e_³·‹ie6„†{rte6É´2v4~t»qpg{~Ueqyzptuw‡pUpseI·y†xÔmZeIu¼rty†v_xԗqŽ?+e±²v4~te´2e uv_x‡u„ŠwGqe›yŠxNmZeIu¼rty†v_x A ³ › )µ S$›)µ  ˆ hXw‡~Xd{y†xDdv_rty†‘F{rty†xc¥¾{‰c‰c„†yzu{’rUyŠv4x‡p…{_~teg‘Zy†qe6vpsrt~Ue6{_d ‰c~tvque6pUpsy†xc¥±²v4~Sa‡yŠ¥4aq°Yce¶‡xcyŠrty†v_x `¸ &%' —!(L³ `a‡e6pte{_„Š¥4v_~Uy™rUacdp9ce6{„´iyŠrtaԉcyzu¼rtw‡~teRpUu{„†y†xc¥‡Ž‰‡y†urtwc~UeRuv_d‰+v4pty™rUyŠv4x]ÂÉcy†urtwc~Ue°Yy†xq°L‰‡y†urtwc~UeIÄŽ2{xG ÀPw‡{_„ŠyŠr‚o,ex‡a‡{x‡uedexPr”²y†x‡u„Šw‡cyŠxc¥,‰‡y†urtwc~Ue~U{rtewc‰q°–uv4xP‘4e~|psy†v_xGp’uv4xZ‘_e~trty†xc¥…rtace±²~|{de~U{rtev±+rtace cy†pt‰c„z{Fo_e6N‘Pyzqe6v‡ŽÆqe°Yy†x4rUe~U„†{4uy†xc¥±²v4~X‰c~Uv_¥4~teIptpty†‘_epUu~Ueex psw‡u|a¹{_p…ÓG{’r›‰‡{_xce„Wqyzps‰‡„†{Foqp6Ž+pta‡{~U‰cxceIptp y†d‰c~Uv’‘_ede6x4rIŽiuv_„†v_~excaG{x‡uedexPr6ŽierUu_³ ij}~Uvque6pUptyŠxc¥É~teIÀ4w‡yŠ~Ue6pºuv_x‡ptyzqe~|{c„†eR~Ue6ptv_wc~|ueIpŽi{xG y†xZ‘_v4„Š‘4e6p{‘F{_~ty†er‚ov_±‰‡yŠ‰+e„†yŠx‡e6¾{„†¥_v4~tyŠrtacdpv_x¾dgwc„™rUy†cyŠdexGpsy†v_x‡{_„Hp‚rU~teI{dp6³ }a‡yŠ„†yŠ‰Gp  pD„†y†xceÉv_±a‡v_de·exPrUe~trU{y†xcdexPrDe6xc¥_y†xceIpRy†p cwcy†„Šr v_xÖdeIqy†{‰c~tvque6pUpsv4~Up±²v4~Nacy†¥_aq° ‰+e~t±²v_~Ud{x‡ueº{x‡ a‡yŠ¥4aq°YÀPw‡{_„ŠyŠr‚oDdgwc„Šrty†d9eIqyz{D{‰‡‰c„Šyzu{rty†v_x‡p6³Ršcv4~ˆy†x‡p‚r|{x‡ue_Žrta‡e “”eÇZ‰+e~Uyz{Nâ”v4d9e ±Ã{_dyŠ„†oDv_±u|acy†‰‡pºÂ0pswGu|a¹{4p›rtace}2“ X¤P__ž4Ä & ¡_G (2u6{x¹Geº±²v_wcx‡¹v4x `¸…°YuexPrt~Uyzug‰‡~tvqqw‡urUpptw‡u|a½{_p {_x‡{„†v_¥GŽ4{_x‡{„†v_¥ "’qy†¥_yŠrU{_„0ŽP{x‡ºcyŠ¥4y™r|{„Æ`¸Apter|p2{_x‡º~Ue6uey†‘_e6~Up6Ž4uv_xcxceIu¼rUe6 cyŠ¥4y™r|{„;`¸pŽqacv4de…dˆw‡„™° rUyŠdeIqy†{pte~U‘_e6~Up6ŽZ{x‡acv_de,e6x4rUe~trU{_yŠxcde6x4r”uexPrte6~Up6³


   

   

 + , 



 "!  )# %&*



      "!  $#% &'( 

š y†¥_wc~Ue ' HW`aceqv’´ix‡pUu{_„Še6~ `aceIpse{_‰c‰c„†y†u6{’rUyŠv4x‡pÆy†xP‘4v_„†‘_eW{ipterHv±cpUu{_„Še6~Up;~Ue6ptyŠÅ6eyŠd{¥4e6pÆy†x,~Ue6{„Š°Lrty†d9e4³hXwc~Æ~Uwcxcxcy†xc¥ieÇq{_d‰c„Še yzpi{9u„z{_pUpsyzu{_„;cv’´ix‡ptu6{„†e~ &' žB(YŽ‡qe‰‡y†urte6y†x¾šy†¥_wc~Ue ' ³W•Yr…uv4xP‘4e~trUp{9acyŠ¥4ace¶‡xcyŠrty†v_x ÂÃâX×SÄ‘Zyzqev pty†¥_x‡{_„0Ž ‰cyŠÇZe6„†p‰+e~”±²~U{_d9e4ŽqyŠxPrUvº{9psrU{_x‡c{_~Uqe¶Gxcy™rUyŠv4x½Â0mqכÄv_wcrt‰cwqri±²v4~…`¸ pUu~UeexOŽ × 1080 rUa‡{’r”yzp 1920 H720 × 480 ' ³iƒ acv4~ty†Åv4xPrU{„;¶G„™rUe~i/ k .10kn~teIqw‡ue6prUaceˆxZwcdgGe6~”v±W‰cyŠÇqe„zp”y†xN{„Šy†xce,±²~Uv_d 1920 qv’´ixrtv Z  º o † y P x t r  e U ~ + ‰ _ v z „ ’ { t r † y c x ¥9‰‡{_u|»4er|pv±—9‰cyŠÇqe„zp³ 720 ¡q³iƒ\~te6v_~|qe~Uy†xc¥gdvqqwc„†eX3 k 2(46572 89492Hkpsrtv_~Ue6pi—9„†yŠx‡e6pv± 720 ‰cyŠÇqe„zp³ Ÿc³iƒ ‘4e~trtyzu{_„‡¶‡„Šrte6~; k :"0k ~Ue6qw‡ue6p?rtaceSxZwcdˆ+e~v_±H„Šy†xce6py†x{±²~U{_d9eX±²~Uv_d 1080 qv’´ixPrtv 480 Zo y†x4rUe~U‰Gv4„†{rty†xc¥9‰‡{_u|»4erUpv_±—9‰cyŠÇqe„zp³ `ace,‰‡~tvqueIptpty†xc¥gv_±{9¥_y†‘_e6x ±²~|{de›y†xP‘4v_„†‘_eIp{uv_x‡psrU{_x4rixZwcdgGe6~iv±µv4‰Ge6~U{rty†v_x‡pv4xrUacyzp±²~U{_d9e v4xc„†o_³Ùƒ(qeIpsy†¥_xrtvZv_„Sy†p rtaZw‡peÇZ‰+e6urteI rtvÔ{wqrUv_d{’rUy†u6{„†„Šoԉc~Uvqqw‡ue¹{xeÁºuy†exPr¾uvqqeN±²v4~{_x e6dˆ+e6cce6Ô{~|u|acy™rUe6urtwc~Ue_ŽrUv¹u|aceIu|» rta‡{r9~Ue6{_„™°Lrty†deuv_x‡psrt~|{y†xPrUp9{~UepU{’rUy†ps¶‡e6HŽ?{x‡Értv¹v_‰crty†d9y†Åe =

G K) _> A?7 ) _ -   !7I  ?' % @8 >  ( )+   R BADC )+BEFA6GH /  E!>

^3^`_!ab c d e

=

 / IH I9 _   ) _  @!_  ! M

—

Ñ6Ï Í
ˆÒqÐ  Í Y) сÍ
zË Í # E
zË  $ )+)*
   ) 

Ò  Í YiсÒ$G E)

rUacededv4~to ±²vPv_rt‰c~Uy†x4r”v_±WyŠxPrte6~tdeIqy†{rtec{rU{{_x‡¾v±rta‡eˆuv4x4rU~tv4„Huvqqe4³`aceˆedˆ+e6‡qe6Rptoqp‚rUed ce6ptyŠ¥4xce~yzpg„ŠvZv_»Zy†xc¥¾±²v_~9{R‰c~Uv_¥4~U{_d9dy†xc¥R„z{xc¥4w‡{¥4egrUa‡{’r9v¿;e~|p‰c~Ue6uy†pte„†o rtaceIpserUac~Ueeº±²eI{’rUwc~teIpŽ {_x‡d9v4~te›‰c~Ue6uy†pte„†o_Žq´ia‡y†u|a Ë )  )*
ÃÎ  K™Ì ¥_w‡{_~U{_xPrteeIp2±²v_wc~iy†d‰Gv4~sr|{xPri‰c~tv4‰Ge6~srUyŠeIp H ' ³i{‰c~UvZv±rta‡{r6Ž;{_uuv_~|qy†xc¥9rtvº´v_~|p‚rt°Yu6{_pte›eÇqe6uwqrty†v_x¾rUyŠdeaZoZ‰Gv_rtaceIpseIpŽ‡rtace±²~U{_d9eg{x‡¾‰cyŠÇqe„ ~U{rte›´iy†„Š„H+eptw‡p‚r|{y†xce6% ¡q³i{xºe6‘’{„†w‡{’rUyŠv4xv±;rtaceSqe„z{Fo9yŠxPrt~Uvqqw‡ue6Zo9rtaceSqv’´ix‡pUu{„†e~Wy†xrUace…‘Zyzqev‰‡~tvqueIptpty†xc¥u|a‡{y†xHŽ y0³ e_³†ŽqrUaceqe„z{Foº+e±²v4~teSrta‡e,v_wqrU‰cwqr”‰c~Uvque6pUpp‚r|{~trUp~Ue6uey†‘Py†xc¥9‰cyŠÇZe6„†p  Ÿc³i{9‰c~tvZv_±OrtaG{’rirta‡epsoqpsrted a‡{_p+v_w‡x‡qe6dedv_~Uoº~Ue6ÀPwcy†~te6dexPrUp  8 ³i{x e6‘F{_„ŠwG{’rty†v_x v_±›de6d9v4~to ~teIÀPwcyŠ~Uede6x4r|pŽ2rtv p‚rUv_~Ue¾‡{’rU{·´iy™rUacyŠx rUaceN‰c~UvqueIptpte6p6Ž{_x‡Ôrtv cwq¿;e~irUacepsrt~Ue6{d!‰c~tvqqwGue6Zorta‡e,‘_e~trtyzu{_„;¶‡„Šrte~iy†x±²~tv4xPrv_±µrUace›v_wqrU‰cwqr…‰‡~tvqueIptp6³ •–xNrtace6v_~Uo_Ž;psoZx‡u|ac~Uv_x‡v_w‡pi„z{x‡¥_w‡{_¥_e6pX{~Ue´e„†„ptwcyŠrte6RrtvºrUace9yŠd‰c„†edexPr|{’rty†v_xDv±Wrta‡e9qv’´ixGptu6{„†e~IŽ {_„Š„†v’´iy†xc¥9rtvº+v_wcxGR~teIpsv4wc~|ue›~teIÀPwcyŠ~Uede6x4r|p”{xGR{_pUpseIptp~Ue6{_„™°Lrty†deeÇqe6uwqrty†v_xO³ er6Ž+´2eˆ´iyŠ„†„µptacv’´ rUa‡{’reÇqyzp‚rUyŠx‡¥gptoPxGu|ac~tv4xcv_wGpW„†{_xc¥_wG{¥_eIpd{»4eXptw‡u|a {_x y†d9‰‡„Še6d9e6xPrU{’rUyŠv4xrteIqy†v_w‡p{xGe~U~tv4~s°Y‰c~Uv_xce4³ 


     !"#$&%('$)+*

`µe6u|a‡xcy†u6{„†„Šo4ŽIrtaceptu6{„†yŠxc¥X{„†¥_v_~UyŠrtacdA‰c~UvZcw‡ueIpHyŠrUp °0rUav_wqrU‰cwqri ÄOPoSy†x4rUe~U‰Gv4„†{rty†xc¥…—Xuv_xGpseIuwqrUyŠ‘4e ‰‡y™Çqe„zp… p Ä´ey†¥_aPrUe6Zo9uvZeÁºuy†exPrUp?¥_y†‘_e6x9y†x {,‰‡t~teIqerUe~Ud9y†xceIotd{rt~Uy™Ç¾Â²eÇq{_d‰c„Še…v±O{,— 8 ‰ca‡{_pte6p —°0r|{‰‡p‰+v_j „†oZ‰ca‡{_pteS¶‡„Šrte~ &' žB( ÄEH ot =

5 X

pt×1920/720+k ×

uvZe± (k, t dvq

64).

k=0

šy†¥_wc~UeD¡¹psacv’´”p{¹¶G~Upsrº‘_e6~UptyŠv4xÉv_±XrUaceNacv4~ty†Åv4x4r|{„¶‡„Šrte6~6Žy†d9‰‡„Še6d9e6xPrte6 y†x {½p‚rU~tyzu¼rU„ŠoÔpsoZxq° |u a‡~tv4xcv_w‡p„z{x‡¥_w‡{_¥_e”ptw‡u|aº{_p = (0) {_x‡ ⊥ = (1) psy†x‡ue ±²v_~X{„†„ ³?šcv4~”{x¾y†xq¶‡xcyŠrteˆpter S Ž
Í$# (S) = w ´ia‡e~Ue [w] = Ë¼Ò  {[w0 ] | w0 ∈ S} [(0)]p = ∞ p p ±²v4~ie‘4e~Uo p ∈ N ³ p > 0 ‘4exPrtwG{„†„Šo4Ž’rtace2±²v_„†„†v’´iyŠxc¥X~te6d{~U»›{_„Š„†v’´”pµd9vPp‚rv_‰+e~|{’rUyŠv4x‡pµv_xˆy†xq¶‡x‡y™rUe‰+e~Uy†vZcy†u2cy†x‡{~Uo›´2v4~Ucp rUvGeuv_d‰cwqrUe6v_x¶‡xcyŠrte,´v_~|cp6³ Û ·«q&ª % C LXÍ‡Ì 
ÐÑ #
Í ?Í
K)   Ð
ÃÑ 
ÃÎ #
Í  мÌ Z?ђÐ FËÎ  Í # 9[Ð  [Ð Ë Í )  Z
K)²Ï  [Ð  Q ¼Ë  /Í   Ð
ÃÑ ’Ë ZµÏcÑFË  Í :)²ÏPËË  )+
z'Ë #|ÌNËÑ ¾Î|ђ Í !
K)+
ÃÑ’Í  ђÍc Ë
, $ Ð )*Z?Ñ
Í Í
K)   Ð
ÃGÑ !
ÃÎ #
Í  Ð¼Ì Z?ђ[Ð ’Ë  / )  ( 

ºÎ Í )LÐ  ͇*Ë #ђР)²FÏ Q  [Ð ¼Ë| Ë
Ãђ͇Ë Ñ # w  / Í w0
Í )–Ñ F Ð )*
ÃÎRÒ   Ð w  = u(v) Í w0 =  u0 (v 0 )  Q   Ð [Ð ¼Ë Í ) )+
KUB Ë a(b) / Í 0 0) ZµÏ
ÃÎ|Ï Ë ,ËÑ 9ÎUÑ RÒ ) )*
ÃсÍcË ( NÎ  Í]Î|ÏcÑIÑFË +#ђÐ
Íca Ë (b )  Í+Î a a0 b  / Í b0 ˼҇ÎUÏ )²Ï  ) |a| = |a0| = max(|u|, |u0|)  /Í  Ï [Ð ŠÎ Ë ) Í F,Ë #ђР„†e6{4p‚ruv_ddv_x dgwc„Šrty†‰c„Š-e /. Í :   Ë¼Ò : ÑFË

|b| = |b0 | = ŠÎ (|v|, |v 0 |) ZµF Ï ¹!Ñ )²FÏ ÐDÎ Ë
zË Ë )LÐ 
FÏ ) #ђ Ð Z  [Ð  p = |u0| − |u|  /Í n = ŠÎ (|v|, |v0 |) ) Ï Í |u| ≤ |u0 | +)²F
 Í     Í w = u.v[1] · · · v[p]. (v[p + 1] · · · v[p + |v|])n/|v| / w0 = u0 .(v 0n/|v | )   010(001100) / # |Î|Ñ

   Í 10001(10) M
: Z
zË +Sс/ Í T01000(110000) Ì $Í #ђÐUÎ T) Ï  )  [Ð 10001(101010)  Q ¼Ë  /Í ˼1Ò 0 Q Ë›Ï  U! T)²FÏ 9Ë ! ÍGÒ # Ð9Ñ #  Ë  w =    Í  a(b) Í w0 = a0 (b0 ) Z
K)²Ï |a|1 = |a0 |1 = max(|u|1 , |u0 |1 ) / |b|1 = |b0 |1 = ŠÎ (|v|1 , |v 0 |1 ) . / $     Í $   C+Ë¼Ò Ñ’EË |u|1 ≤ |u0|1 Í |v|1 ≤ |v0 |1 p = |u0|1 −|u|1 r = [v]p Í n = †Î (|v|1 , |v0 |1) 0

^3^`_!ab c d e

'

ž

Ñ6Ï Í
ˆÒqÐ  Í Y) сÍ
zË Í # E
zË  $ )+)*
   ) 

Ò  Í YiсÒ$G E)

)²ÏF Í w = u.v[1] · · · v[r]. (v[r+1] · · · v[r+|v|])n/|v|1
 Í w0 = u0 .(v 0n/|v0 |1 )      010(001100)  Í/ # UÎ|Ñ

  010001(100001) Í/ 10001(101010) ! 10001(10)    ÏF  Ë )
Í) Ð[ ¼Ë )+
Í Î Ë 
zË w = a(b) Í/ w0 = a0(b0) Z
K)²Ï |a|1 = |a0|  Í |b|1 = |b0|  . Í/ $   C2Ë¼Ò : ÑFË

  |u|1 ≤ |u0 | Í |v|1 ≤ |v 0 | p = |u0 |1 − |u| r = [v]p Í n = ŠÎ (|v|1 , |v 0 |)
²) ÏF Í w = u.v[1] · · · v[r]. (v[r + 1] · · · v[r + |v|])n/|v|1  Í/ w0 = u0.(v0n/|v0 |)      010(001100)  Í/ #   10001(10) U Î|Ñ 0100011000011(000011) Í 10001(10)

š‡v_~XrtacepU{»_eˆv±2ptyŠd‰c„†yzuyŠr‚o_ŽÆ´eˆ´iy†„Š„W{_pUptwcderta‡e~Ue6{’± rUe~Xrta‡{rSe6‘_e6~to¾y†xq¶‡xcyŠrte9‰Ge6~ty†vqqyzuˆcy†x‡{_~to ´v_~|ºaG{_pi{x¾y†xq¶‡xcyŠrte,xZwcdgGe6~iv± ' p6Žqy0³ e_³†Žqyzpi‰Ge6~ty†vq a‡v_„zcpi{’r”„†e6{4p‚riv_x‡e ' ³



 ?  $
  *    $  ?  $


ƒ u„Švqu|»,±²v4~WyŠxc¶‡xcyŠrte”psrt~Ue6{dpWu6{x9Ge”{_x9y†xq¶‡x‡y™rUeicyŠxG{~Uo´2v4~Ugv_~W{,uv_d‰GvPpsyŠrty†v_x9v±+yŠxc¶‡xcyŠrte”cy†x‡{_~to ´v_~|cp6Žq{_piqe¶‡xce6ZorUace›±²v_„†„Šv’´iy†xc¥9¥_~|{dd{~GH clk ::= w | clk on w w ∈ (0 + 1)ω

•Y± ck y†pg{Ru„†vqu|»D{x‡ w yzp{_x¹y†xq¶‡x‡y™rUeºcy†x‡{~UoD´v_~|ÆŽHrUacex ΊÑIÎ v_± ck Žq´iace~Ue w y†pyŠrUpte„Š±pter”v4xu„Švqu|» ck ³ ”³ ¥‡³†Ž (01) 5    !_    7 >! @@ 7!>8/  _  !> L !4 ) _ - F >  ) (  G" 7  * F   -    7
  /  _   ! > L !4  ) _   _? K _ ?$) _ *. _' M  ) ? ! - ! < > G" 7 #) _ )  ! %%& !  ( -K

^3^`_!ab c d e

'

—

Ñ6Ï Í
ˆÒqÐ  Í Y) сÍ
zË Í # E
zË  $ )+)*
   ) 

Ò  Í YiсÒ$G E)

O` vptyŠd‰c„†y™±²oºrtace›‰c~Ue6ptexPrU{rty†v_xHŽZ´eX´iy†„†„H{_pUpswcdeSyŠxd{xZw‡{„Æuv_d‰cwqr|{’rty†v_xGp?rUa‡{’rrUace›wcxcyŠrv_± uv4d9‰‡wqrU{rty†v_xDv_±Wrtace‘4e~trtyzu{„O¶‡„Šrte~›yzpX{„†yŠxce{xGRxcvr,{º‰‡y™Çqe„LŽÆace6x‡ue9~te6‰c„z{_ue A ¡_žZo ' y†x rtace,‰‡~te6‘Py†v_wGpipsy†¥_x‡{rtwc~Ue_ŽZoZy†e„zqyŠx‡¥H γ → γ 5  !   ) _ + M   

OQP ^O6R

̒Í+Î|ÏZÐtсÍ

Í  Ð
ÃÑ 
ÃΊÑ6Î’Ë

'GP

tp e6ÀPwce6x‡ueIpŽZyL³ e4³ŠŽ x v y yŠ± x yzpi{g‰‡~te¶cǺv± y ³`a‡eSv4~Uce~Ue6ºpter D = (T ∞, v) yzpi{gu‰GvG³W•Y± D {xG {~Ue9u‰GvGŽÆrta‡ex y†p,{u‰+v´iyŠrta rta‡euvZv_~|qyŠxG{’rte°L´iyzpteˆv_~|qe6~6³ {_pXrta‡1epter D2 v_±?uv4x4rUyŠxZwcv4w‡pi±²w‡x‡u¼DrUyŠ1v4x‡×pXD±²~tv42 d D rtv D y†p›{„zptv { u‰GvPor|{»ZyŠx‡¥rtace9‰+v_[Dy†x41r‚´i→yzpteˆDv_2~|]qe6~6³”•Y± f y†p 1 {uv_xPrty†xZwcv_w‡pd{_‰c‰cy†xc¥9±²~tv4d rtv Žc2´epta‡{„†„Æ´i~tyŠrte  Q f = lim f n() ±²v4~rtaceptd{„†„ŠeIp‚r n→∞ ¶‡Ç ‰Gv4yŠxPr”v_± f Â á „†eex‡eXrUacev4~te6Ddº1ļ³ D2 ® eSce¶‡xceXrta‡eSpter  †Ñ6Î :  )L[Ð ! v_± EÎ †Ñ6Î :  9Ë Ò Í;Î Ë {_p?rtace›pter2v_±H¶‡xcyŠrte›{xGyŠxc¶‡xcyŠrte pte6ÀPwce6x‡ueIpv±e„†edexPrUpv’‘4e~rta‡Ê epser T (T=) T + {⊥} ³ 7!5@5


ŠÑIÎ$ 

⊥

= {0, 1} = T + {⊥} ) [  (T ) = (T )∞ ⊥

Ê 0Ð ƒAu„†vqu|»_eIºpseIÀPwcex‡ue…yzp?d{4qeXv_±O‰c~Ue6ptexPr2v4~{_‡ptexPr2‘’{„†wceIp³ ® eSqe¶‡xceXrtace›u„†vqu|»v±O{9pseIÀ4w‡ex‡ue s {4p”{+vZv_„†e6{xNpte6ÀPwce6x‡ueºÂôiy™rUacv_wcrS{Gpse6x4rX‘F{_„Šw‡e6p|ÄyŠxGqy†u6{’rUyŠxc¥ ´iacexN{‘’{_„Šwceˆy†p…‰c~teIpse6xPr6³išcv4~”rta‡y†p ‰‡wc~t‰+v4pte_Žq´e,u{_xqe¶‡xce›rUace›±²wcx‡urty†v_x clock ±²~tv4d!u„†vqu|»_e6pseIÀPwcex‡ue6prUv9+vZv_„†e6{_xpte6ÀPwce6x‡ueIpH T⊥

clock () clock (⊥.s) clock (x.s)

=  = false.clock (s) = true.clock (s)

® e,psaG{„†„Æw‡pseSrUace›„Šersrte6~ ±²v_~‰c~Ue6ptexPri‘’{„†wce6p6³W`aZw‡pŽ qexcv_rteIpi{gpsrt~Ue6{_d¯´iacv4pteX¶‡~Upsrie„†edexPr yzpX‰c~teIpse6xPrS{xGR´iacv4pte~Ue6vpsrXyzp s ´iace6~teI{_p ⊥.s qex‡vrteIpXv.s{p‚rU~teI{dÕ´iacv4pte¶G~UpsrXe6„Še6d9e6xPrXyzpX{_‡pse6xPr6³ `a‡egy†xPrte~U‰c~Uer|{’rty†v_xRv_±?‡{4psyzu‰c~Uy†d9yŠrty†‘_eIp…v_±rta‡e9uv_~Ueˆ„z{xc¥4w‡{¥4ev’‘_e6~Xu„†vqu|»_eIRpseIÀ4w‡ex‡ue6pXy†pS¥_y†‘_e6x y†x¹¶‡¥_w‡~te A ³ ® eºw‡ptertaceºd{_~t» # rtvNcy†psrty†xc¥_w‡y†pta¹rtace ptoZxPrU{_urtyzuuv4x‡p‚rU~twGu¼r ²e4³ ¥G³ŠŽ  7R±²~tv4d£yŠrUp y†xPrte6~t‰c~Uer|{’rUyŠv4x{_pi{psrt~Ue6{_dØrt~|{x‡ps±²v_~Ude~¼Ä¼³ `ace I #- (   ! 7> ) 7 7 ) _    !  _' *.%&)+@ < AH $#%) /  ! *.*. D  -F > ?* !A  _  7I- > A?>  !   )  K _ -  ) _ ) (
!  GA _7 -) _  L 4!  ) _ < F$ 5  /+/ - _$/1   ) -F > +M

^3^`_!ab c d e

Ÿ

Ñ6Ï Í
ˆÒqÐ  Í Y) сÍ
zË Í # E
zË  $ )+)*
   )  8

Ò  Í YiсÒ$G E)

_{ x‡ ~Uwc„ŠeIp›{~Ue9qeIpsy†¥_x‡e6Drtvd9y†xcy†dyŠÅ6eºqe„z{FoRyŠxGpse6~srUyŠv4xHŽÆacexGue9rtvR{F‘_v4y†Dps‰cw‡~ty†v_w‡p ce„z{FoÔ{4uuw‡dˆwc„z{’rUyŠv4xH³ ® e {_~teDrtaZw‡puv_xc¶GqexPr¾{+v_wqrrtace¹u„†vZu|» u6{„zuwc„†w‡p  p{cy†„ŠyŠr‚oÔrtvÔ{_uue‰qr dvPp‚r,‰c~Uv_¥4~U{_dpg²´iyŠrta ‰+e~UyŠvqqyzuu„†vZu|»qp|ÄirUa‡{’rˆu6{x GerU~U{_x‡ps„z{’rUe6NrtvR{¾p‚rU~tyzu¼rU„Šo·Â0ž’°‚Ä‚ptoPxGu|ac~tv4xcv_wGp ±²~|{de6´2v4~t» Po_er…{g±²v4~td{„Huv_d‰c„†erUxce6pUp~teIpsw‡„™riyzpxcvr…{F‘’{y†„z{c„†e_³ ()  $$
$









A

i$›)µi

µ





*  ?    *  + #+ $      @

` a‡ex‡vrty†v_xÔv±S~te6„†{Çqe6ÔpsoZx‡u|ac~Uv_xZo½u{_x +eR~Ue6u{4p‚ry†xÔ{_x eIÀ4w‡yŠ‘’{„†exPrº{‰‡‰c~tvP{_u|a ‡{_pte6 v_x psoZxq° u|a‡~tv4xcv_w‡pˆjRe6{_„Šo d{_u|acy†xceIp & ¡ ' (Y³ ® e~te±²e~ˆa‡e~Ueºrtv¹{xÉ{_‰c‰c~Uv4{4u|a¹wGpseI ±²v_~9dvZce„†yŠxc¥¹{DptyŠ¥4x‡{„ ‰‡~tvqueIptpty†xc¥guv_d‰Gv4xcexPr”qeIpsy†¥_xceIºv4x{9u|acy†‰ & ¡B(Y³•–xrUacyzp‰‡{‰+e~IŽPrtace{_wqrtacv4~Up2´{xPrrtv9‰c~tv’‘4e…rUa‡{’r r‚´vgmZvquXqe6ptyŠ¥4x‡p?{_~te…e6ÀPwcy†‘F{_„Še6xPr{xGrtaZw‡p2w‡pteX{,dy†xcyŠdy†Å6{rty†v_xºv4x {wqrUv_d{’r|{,y†xºv_~|qe~?rtvˆ¶‡x‡º{_x v4‰qrty†dyŠÅ6e6¾uv4d‰‡{~Uy†ptv_xO³ ® eXuv_x‡pty†ce~WrUace”¶‡x‡y™rUeX{„†‰ca‡{_Ger Σ = {i/o, i/¯o, ¯i/o, ¯i, /¯o} ³`ace”deI{xcy†xc¥v_± Σ yzpWrUace”±²v4„Š„†v’´° y†xc¥ H Ýrta‡epsoZdˆ+v_„ i p‚r|{x‡cpi±²v_~”{xy†xc‰cwqr”vquuwc~|pŽ Ýrta‡e9ptoZdˆ+v_„ o p‚r|{x‡‡p”±²v4~S{_xNv_wqrU‰cwqr›vquuw‡~Up6Ž+ptvºrUa‡{’rS±²v_~Sy†x‡p‚r|{x‡uerUacege6‘_e6x4r i/o de6{xGp”rUa‡{’r {x¾y†xc‰cwqr…{_x‡{_x¾v_wqrU‰cwqr”vquuwc~”psy†dˆw‡„™r|{xce6v_w‡pt„Šo4Ž Ý ¯i psrU{_x‡cp±²v4~ixcvyŠxc‰‡wqr”vquuw‡~Upi{_x‡ºrUaceptoPdgGv4„ o¯ psrU{_x‡cp±²v_~ix‡vv_wqrU‰cwqr”vquuwc~Up6³ š‡v_~…dvqqe6„Šy†xc¥rUaceˆptoZpsrte6d¾ŽG´eqe‰‡y†urXe6{4u|aRuv_d‰+v_xce6xPr…Zo{_xRy "’v°–{wqrUv_d{’rUv_x¾{x‡rUacy†pXu{_x +e¾{wqrUv_d{’rUy†u6{„†„Šo ~Ue6{„†y†Åe6·Po½qeIptu~ty†cy†xc¥NrUace¾qe‰+ex‡cex‡uo ±²wcx‡u¼rUyŠv4x ¥4yŠ‘4ex·Zo¹rta‡e‰‡~tvqueIptpty†xc¥ {_„Š¥4v_~Uy™rUacd¾³ ® e,~Ue‰c~Ue6ptexPrrtace,y†xc‰cwcr…{x‡ rtace,a‡v_~UyŠÅ6v_xPrU{_„G¶G„™rUe~”ZorUacey†~iy "’v°–{wqrUv_d{’rUv_xH³ ¯i/o

6

i/¯ o

6

i/o

5

i/¯ o 0

A0 = input

0

4

i/¯ o i/¯ o

i/o

1

i/¯ o

2

i/o

3

A1 = horizontal f ilter

Y• r›y†pXe6{4psorUvpteerUa‡{’rXrtace9„z{xc¥4w‡{¥4e~teIuv4¥_xcy†ÅeIZoR{x¹{wqrUv_d{’rUv_x L ⊆ Σ∗ u6{xN+e9ptee6xD{_p ´iy™rUa l ↔ 1 {_x‡ ¯l ↔ 0 ´iy™rUa l = i, o ³`a‡exº´eXx‡vrtyzue…rta‡{r L × L L1 × L2 ⊆ {0, 1}∗ × {0, 1}∗ 1 2 uv_~U~teIps‰+v_xGcprUvrtacepty†¥_x‡{rtwc~Ue L → qe¶‡xceI y†xrtace,‰c~Ue‘Zy†v_w‡pipte6urty†v_xH³ L1 on L2 1 `aceptoZx‡u|ac~Uv_xcy†Å6{rty†v_xNv_±2y "Fv°–{wcrtv_d{rU{ºyzp,qe¶‡xce6¹{_pS±²v4„Š„†v’´”p H…yŠ±2r‚´vuv_d‰+v_xce6x4r|p,{~Ue9uv_xq° x‡e6u¼rUe6ÆŽZyŠ±OrUace…¶G~Upsr2e6d9yŠrUp{_x v_wcrt‰cwqrrtaZw‡p2rUaceSpte6uv_x‡ xceeIcp?rtv9~teI{_yŠr6Žqv_rtace6~t´iyzpse…´2eSexPrte6~2y†x{ ce6{_c„Švqu|»p‚r|{’rUe_³W•Y±OrUaceS¶‡~|p‚riqvZe6pxcv_re6dy™r”{xv_wcrt‰cwqrIŽZrtaZw‡prUace,pseIuv_xGºdˆwGp‚r~teIÀPwcyŠ~Ue›{x y†xc‰cwcr6³ ŒOer a, c = i v_~ ¯i {_x‡ b, d = o v4~ o¯ŽZrUaceptoPxGu|ac~tv4xcy†Å6{’rUyŠv4x yzp~te6‰c~Ue6ptexPrteI ZoH OQP ^O6R

ŸP

̒Í+Î|ÏZÐtсÍ

Í  Ð
ÃÑ 
ÃΊÑ6Î’Ë a/o

q

a/¯ o

q0

k

s

i/b

s0

=

(q, s)

a/b

(q 0 , s0 )

¯

a/b i/b (q, s) (q 0 , s0 ) s0 = k s `ace6~teyzpW{¥P{y†xg{›p‚rU~tv4xc¥S‰‡{~|{„†„Še6„4´iyŠrta9rUace”qe¶Gxcy™rUyŠv4xgv_±G‰+e~UyŠvqqyzuu„†vqu|»Zp6³µŒOerw‡pWuv_x‡ptyzqe~r‚´v y "Fv_°Y{_wqrtv4d{’rU{ A {xG A ´iy™rUa L(A ) ≡ L1 × L1 {x‡ L(A ) ≡ L2 × L2 ³`ace6x A = A k A ~Ue6uv_¥4xcyŠÅ6e6p L(A)1≡ L ×2L ³ ® eˆaG{F1‘_e L 1→ L 2 on L = 2L1 → 1 L1 on2 L1 on  L2 on1 L2 Ätļ2³ 1 1 2 1 2 `a‡y†pde6{_x‡prtaG{’r L =1 L1 {_2x‡ L = L1 on  L2 1on L2 Ä2³ 1 1 2 1 2 1 2 ƒ cwq¿;e~v±Hpsy†Åe y†p2{x °–{wqrUv_d{’rUv_x´iacyzu|aºu{xºpsrtv4~teX{c{’r|{,yŠ±Hy™ry†p?xcvr2±²wc„Š„;{xG´iacy†u|a u6{x¾qe„†y†‘_e~”{c{rU{9yŠn±yŠr”y†px‡nvr”+e1d‰qr‚o4³ƒr…{xZorUyŠde_Ž‡y™r…u6{x‰cw‡pta¾{_x‡‰Gv4‰¾pty†dˆwc„ŠrU{_xcev4w‡ps„†o_³ `aceNuv_d‰cwqr|{’rUyŠv4xÔv_±XrUaceDqe6„†{Fo {x‡ rta‡eNpsy†ÅeR+v_y†„†p qv’´ixÉrUv½~teI{_u|a‡{_cy†„ŠyŠr‚oÉ{xG{„†oZptyzp³]hXwc~ {_‰c‰c~Uv4{4u|aX´iyŠrta{”u„Švqu|»Su{„zuw‡„Šw‡pOv_x›y†xq¶‡xcyŠrte2cyŠxG{~Uo…´v_~|cpÆyzpOqy†~teIu¼rU„ŠoS{‰c‰c„†yzu{‡„ŠeWrUv”{”ptoPxGu|ac~tv4xcv_wGp „z{x‡¥_w‡{_¥_e›{x‡y†Np   Ð
ÃсÐ
ptyŠd‰c„†e~I³ q




q0

   #  $! 

` a‡e~Ue{_~te{DxZwcdgGe6~v±X{_‰c‰c~Uv4{_u|a‡e6p,±²v4~9rtaceRpt‰GeIuyŠ¶Gu{rty†v_x {x‡ qe6ptyŠ¥4xÉv_±…a‡{~|q´{~Ue "psv_± r‚´{_~te ptoqp‚rUedp6³ jRvPp‚r9v±irta‡ed{~Ueºv4x·¥_~|{‰ca‡y†u6{„rUvZv_„zpˆ‡{4pseI v_x·‰‡~tvqueIptpˆxcer‚´v_~U»qp³ á {acx½‰‡~tvqueIptp x‡er‚´v_~U»Zp¾Â á }?“XÄ &%' ¤(…yzpº{¹±²wcx‡c{_dexPrU{_„”v_xce4Žcwqr yŠrºdvZce„zpv_xc„†o·±²w‡x‡u¼rUyŠv4x‡{„X‰c~tv4‰Ge6~srUyŠeIpŽ{_p v4‰c‰+v4pte6¾rUvpsrt~Uw‡u¼rUwc~|{„‰c~tv4‰Ge6~srUyŠeIp³ á }?“Ù{_~tegw‡pseINy†x { xPw‡dˆ+e~›v±rUvZv_„zpSptw‡u|aD{4p ?{‰cy &%' G (Wv_~ rUaceXf2v4pto‰c~Uv€‚eIu¼r & B— ( _rUaceiw‡pteiv±Æpsw‡u|a9rUvPv4„†pWpsrty†„†„‡~Ue6ÀPwcy†~teIpµa‡yŠ¥4a9eÇq‰Ge6~srUy†pte±²~tv4d qyŠ¿;e~UexPr?qv_d{_yŠx‡p {_x‡grtace6~teiyzpx‡v,~teI{„†„Šow‡xcyŠ‘4e~|pt{_„q„†{_xc¥_wG{¥_erUa‡{’r2uv_dgcyŠx‡e6py†xº{,psy†xc¥_„†e±²~|{de´v_~U»,±²wcx‡urty†v_x‡{_„‡{xG psrt~Uw‡urtwc~|{„+±²e6{rtwc~Ue6p6³ }WrUv_„†edgo &SA (‡yzp{›~Uy†u|a‰c„z{’rt±²v_~Ud ´iy™rUaºpsy†dˆw‡„†{rty†v_x{x‡{_x‡{„†oqpsyzpµrtvZv_„zp±²v_~rtace”qeIpsy†¥_xv_±+e6dˆ+e6Z° ce6psrt~Ue6{dy†xc¥ptoZpsrte6dp Hµy™r‰c~tv’‘Zyzqe6prUaceXptoZx‡u|ac~Uv_xcv4w‡pWc{rU{’°LӇv’´AÂ0mq×SšWÄWdvqqe„Gv±Huv4d9‰‡wqrU{rty†v_xH³ ˜…xc„†yŠ»4eXptoPxGu|ac~tv4xcv_wGp„z{xc¥4w‡{¥4e6p6ŽPmq×Sš ¥_~|{‰caGp2{_~te”x‡vreÇq‰c„†y†uy™rU„Šoºu„Švqu|»_eI5 HpsoZx‡u|ac~Uv_xZogy†p{ˆuv_x‡pte° ÀPwce6x‡ue›v_±µ„†vZu6{„ƍ‡{_„†{_x‡ueSe6ÀPw‡{rty†v_x‡pv4x‰+e~Uy†vZcy†uSeÇqeIuwqrUyŠv4xpUu|acedeIp³W`acemq×Sš·dvqqe„Æyzp”uv_xZ‘_e° x‡yŠe6x4rS±²v_~Xrta‡e9{_wqrtv4d{rtyzuˆqe6~ty†‘’{’rUyŠv4xNv±rUyŠdy†xc¥‰c~tv4‰Ge6~srUyŠeIp & ¡_B¡ (‡wqrXrUace9„†{4u|»v_±2u„†vqu|»qp…´e6{_»_exGp yŠrUp…{dex‡{_cy†„ŠyŠr‚oº±²v4~i±²v_~Ud{„H~Ue6{4psv4xcyŠx‡¥9{_x‡Ruv4~t~Ue6urs°YPoP°–uv4x‡p‚rU~twGu¼rty†v_x ¥_ex‡e~|{’rty†v_xv±WptoPxGu|ac~tv4xcv_wGp uvqqe_Žq´iyŠrta¾~Ue6pt‰GeIu¼rirtvptoZx‡u|ac~Uv_xcv4w‡p?„z{x‡¥_w‡{_¥_e6p &%'BA ŽGBŸ (L³ mPrUe‰‡prUv’´{_~U‡pHrUaceipsoZx‡u|ac~Uv_x‡v_w‡pµuv_xPrU~tv4„4v_±+{_ptoZx‡u|ac~Uv_xcv4w‡pOptoqp‚rUedp{~Ue{_„†ptvXuv_x‡cw‡u¼rUe6gyŠxgrtace cv_d{y†xRv±?ptoZx‡u|ac~Uv_xcv4w‡p‰c~Uv_¥_~|{ddy†xc¥„†{_xc¥_wG{¥_eIpŽGpsw‡u|aN{4pirUaceˆ´v_~U»v_±ŒH"e OSw‡e~Uxcy†uerS{_„0³ &%'P ( v4x ‰+v_„†oqu|ac~Uv_xZo_³Ô`acy†p´v_~U»¹rU{_~t¥4erUpgrUaceN{wqrUv_d{’rUy†u{xG uv_~U~teIu¼rPo uv_xGp‚rU~tw‡urty†v_x ~te¶‡xcede6x4r v_±”‰c~Uv_¥_~|{dp6ŽOy†x½rta‡epU{de pt‰cy†~tyŠr9{4pv_w‡~gu„†vqu|»¹uv_d‰+v4pty™rUyŠv4xHŽcwqry™rqvZe6pgxcvruv_xGpsyzqe~9ÀPw‡{xq° rUy™r|{’rUyŠ‘4e ‰c~Uv_‰+e~trty†e6pgv±…u„Švqu|»qp³½mPrU~teI{d•Yr & ¡B— (yzp9{D„†{_xc¥_wG{¥_eº±²v_~ˆa‡yŠ¥4aɉ+e~t±²v_~Ud{_x‡uep‚rU~teI{dyŠx‡¥ uv_d‰cwqr|{’rUyŠv4x‡prta‡{rirU{4u|»P„†e6pd{y†xc„†o psrt~Ue6{d9°Y„Še6‘_e6„;{_x‡¾{„†¥_e6c~U{_y†u…v_‰qrUyŠdy†Å6{rty†v_xy†pUpsw‡e6p6³

^3^`_!ab c d e

Ÿ4—

Ñ6Ï Í
ˆÒqÐ  Í Y) сÍ
zË Í # E
zË  $ )+)*
   ) 

Ò  Í YiсÒ$G E)

 2 O  #$ˆ' 
i?)µ i  ® e‰c~Uv_‰+v4pte6 {ptoZx‡u|ac~Uv_xcv4w‡pX‰c~tv4¥_~|{ddyŠx‡¥ „z{xc¥4w‡{¥4eˆrUvy†d‰c„†edexPrˆuv4~t~Ue6urs°YZo4°–uv4x‡psrt~Uw‡u¼rUyŠv4xHŽ a‡yŠ¥4aq°L‰+e~t±²v_~Ud{x‡ueˆpsrt~Ue6{dy†xc¥ {_‰c‰c„†y†u6{’rty†v_xGp³hXwc~Sd9vqqe6„{4cq~Ue6pUpseIpirUace9{_wqrtv4d{’rtyzuˆptoZxPrtaceIpsyzp…v_± uv_ddˆw‡xcy†u6{’rUyŠv4x‡pO+er‚´ee6xˆ‰c~UvqueIptpte6pHrta‡{r{_~te2xcvrWp‚rU~tyzu¼rU„ŠoptoZx‡u|ac~Uv_xcv4w‡p6³Æ•–xˆrUacy†pdvqqe„LŽ’´eptacv’´ rUa‡{’r”„z{’rUex‡uyŠeIpi{x‡cwq¿;e~…~teIÀ4w‡yŠ~UedexPr|pu6{xGe,y†xq±²e6~t~Ue6{wqrUv_d{’rUy†u6{„†„Šo4³ š‡v_~rtacyzp ‰‡wc~t‰+v4pte_Ži´eDyzqe6x4rUy™¶Ge6{ u„z{_pUpv±‰+e~UyŠvqqyzuDu„Švqu|»qpº´ia‡y†u|a‰‡~tv’‘4e6Ôw‡pte±²wc„SyŠx rtace uv_xPrteÇZrv_±‘Zyzqev‰‡~tvqueIptpty†xc¥9{_„Š¥4v_~Uy™rUacdp³ ® eeÇPrUex‡¾{uv_~Ue›‡{’rU{°0ÓGv’´dvZce„H´iyŠrta¾rUacy†p”xcvrUyŠv4x v_±‰+e~Uy†vZcy†u,u„Švqu|»qp”{xG´iyŠrtaN{~Ue„z{’ÇqeIu„Švqu|»u6{„zuwc„†w‡prUvºuv4d9‰+v4pte,psoZx‡u|a‡~tv4xcv_w‡p‰‡~tvqueIptpte6p6³ƒ”x y†d‰c„†edexPrU{rty†v_xy†xrtace…ptoZx‡u|ac~Uv_xcv4w‡p„z{xc¥4w‡{¥4eŒOw‡uyzºmZoZx‡u|ac~Uv_x‡eyzpw‡x‡qe~?´{Fo9{x‡9´{_p{_‰c‰c„†yŠeI rUv{9u„†{4ptptyzu{„;‘Zyzqevºqv’´ixGptu6{„†e~eÇc{d‰c„†e_³ `acyzp´2v4~t»‰‡{F‘4e6prtace›´{Foˆ±²v4~xZwcde6~tv4w‡p?eÇZrtexGpsy†v_x‡p6³•–x ‰‡{_~srUy†uwc„†{_~6ŽP´eX´v_wc„z„†yŠ»4e…rUv9ce¶‡xce {_x9{_„Š¥4ec~|{yzu?±²~U{_d9e6´2v4~t»›±²v4~ n°–psoZx‡u|ac~Uv_x‡v_w‡pu„†vqu|»ZpG{_pte6gv_xqyz{_qyzuxZwcdˆ+e~|pŽ_yŠx‰‡{_~srrtv,+ex‡e¶cr ±²~Uv_dÖeÁºuy†exPr{_„Š¥4v_~Uy™rUacdpOv4xˆ~|{’rUyŠv4x‡{„4xPw‡dˆ+e~|p³ ® e{„zptv…´iyzpsaˆrtv›p‚rUw‡qo,rUaceuv_xcx‡e6u¼rUyŠv4xˆ+er‚´ee6x ~UerUyŠdy†xc¥ {_x‡Éce„z{Fo¹y†x‡pte~trty†v_xHŽ{4pg{ de6{_x‡prUv eÇq‰c~teIptp9{~|u|acyŠrteIu¼rtw‡~te°Y{F´{~Uev_‰qrUyŠdy†Å6{’rUyŠv4x‡p6³ ƒ xZwcdgGe6~µv_±G{‰‡‰c„Šyzu{rty†v_x‡pµqe6{_„4´iyŠrta # €‚yŠrsrUe~UyŠx‡¥ % v_~ #scwc~|p‚r‚o % p‚rU~teI{dpOrta‡{r{_~tex‡vrWp‚rU~tyzu¼rU„Šo›‰+e~UyŠvqqyzu  {_xeÇZrtexGpsy†v_xrtv’´{~|cpdv_~UeXeÇZ‰‡~teIptptyŠ‘4eSu„Švqu|»qp´v_wc„z +e,+exce¶Guyz{„L³





’ii       !"!"#%$ '&(*)+' ,.-/0$1 23-23.$541#6 74%$849(*)+: .;9A@ BDC+EFHGHIC+J3K LNM I%O M JPQP'G9¦˜.B¹P'G9VX@ L»º ¼7½¾[LnM IoE=T%T1WG\$10.)  3at. €4%2#%$aNŽÀŠ ˜ „@[gagx2/,0.!" i“3œ3œ2;RgT1EFHB M T à IF\T=U"G9¸XICoŒoT M T=C+E6 T _T1E%I M W”I5ŒŸFw`T  NT=C.F UT T=CFw` ] CCB.J3K ] XSÀ ˜DV L R ]_à ž˜*V ] Xq ˜ VP[Z*IU%G\ ¨D©jFw`‚ª:T=U%G,OC ] B*F›IVP"JFHGžIVC²XICŒoT M T=CbE6T=a+2$_c/$a…na£90.i}}3}* +…k»rt#%$1$

,’V"¢? 3‰[272$1$1$a.‰' 3r„#6V3V$1ya•. p jx#oa3b': 3rg 3ƒ #6V£5 .>974%#%-23.-4Vb'!"!"2#1(2#%c3. ,¤V4% 23

‚z …N$s;9 •j#% ƒ[0.#%!" Ha ˆ[.*0·&yD0.a•230. >9$123y2*anVb·_¶*/n•74%$1-6yaso. €4%2#%$a6CF\T M E%ICC+T%EF %XsT=CF M GžEŠª:T=U%G,OCŒI M ] W VJCbE=T1W ˜+I.X—JC+W à I.Xta-6ybV).4%#oœDa.)bc$d3h3hoe7fid* ¢/07‡n=#oab_).#% /i}3}Vf.

,o°j"ƒ: 7ˆ^V/~D‡n-6y$a*rg .…n$1). Harg 7p(*!"23ba7Vb"±Q Dr„ /³V0b t&ny_$5(*-6y.#%2230.$n.V46  2o‡ ).#%2c#6!"!" .c /,Vc30c:/0.$541#%3 LnM IoE6T6T1WGwCDOU'I5Œ^Fw`T1ŽŽsŽNa°h*žh=‘od}œoeod3i}*agz*).4%!'~+#^ohh*

,“Vl‰' ¢Vy :&ny.?$1! VD4% -$[2;l$1 !")/Q/,.c30c3?;w2#)V#6///).#%2c#6!"!" .c. :>98•.  p_23$1*;=@?2AB#CEDFA#0EBGH; 932/?'I1?J3K; 9+A'B>=K6>3EGEB'DFA#0;'6#CH