Checking System Rules Using System Specific, Programmer Written Compiler Extensions (mc osdi)
2020-02-27 58浏览
- 1. !"$#%&(')+* ,.-0/ -21 - !43 - 56 / # -87:9 6 / ;< =?>A@CBED2BGFIHKJL(M4NJBPOAkdeJ(QS>mlnARWdv\ bcdq2 ? :9 66 7. $2
- 2."ˬ¬¡¥ º5ª¦k² ²áq§¡®X5¯5²P¥½¦XµE¤(X¯ª½¬¥ ² qk¡©k5³ 5A¯5X5¬¥P¯¬¥PAº§a"¨C¡P5¥ ¨PªA¬¦¬r¦È &¬¥P¡Pº5A]"Z¬¯¡+¥ X X¡5(¦{¥ ª¬X¥p²C¦AkeX¥ ·5¬m55§{¥¬¯¡P¬(n²PP¦¢¯³¥åP¬À 5³ ¢¯¡P¬¥A§á¥i¡PP¥k±¦(¬Àq«« ¥ qk0³ ¬ È k¬5¬¥á¥P³º»4¬À¬ÁÝpAk©q¬(5¥Z¥¬À+"k¬¯5²Pk(v¥ ¬ªSk¦I±5¤5ÄA©ªPr¬Á« ²PAº(¬¦ª¥Pk¬(5 5¬Àk`¥ ³4ª£¦¬ ?¥ ¬ÀX"P²C¦k(³ ÝÛ ¬¥ ¨P5ª¦¥ 5P¦Á¦¦C0¬¥p· ¥ ¬q(²C¦k¬·(X¬5¬5¬À¥ a¥&k³n¬À6Æn P¥ ¥P"¦¬r¤5¢¦0¬q5·(¨P¬À¦X¬ÁÝC5¥pqª «« ¬¡ 5¥c¥§`Xk(ªË² Z¬¦"¢¬55¥¤»ªË"¬Á¡®¬¥¡P5Z¬¥»mªm²pA¬X¬Ýp¦r§Õ¬5¯¥á³0q· ÆÄ¬¥ ¥º « ¦² ¬¤(n¡ ÄAr±5¬6¥ º§r(¢qk§ ¬k·5k¥ ¥5¦¬¥»¬Xª50¥?X¡ µPq2¯¬5¥P¥P¥P55¦ÄC¨pXµ¯AXX(¥¬·5(X¥ « ¥Pk¬ª¥ ¦k½&Xµ¡Pk»¥PkAkª{ª³å iP5¡P¥ kk§4ävm5¥¯ ²P¬¦kk©(5¥&¦k¬À2² 5(k "¥p¬ªm¡´5¦¬¯5¦²PA¦2`¬¦¬±¥¢5ÅA5¥i6¬¨C¬¥P¥º5¦ ıA¥ ªS¥ v¦{+¬(ÂC¥m¥P(±5A¢³ X¥Z¥¬k2¯¯rP¦k ¨C¢Z¡PkA²P¢5¤ 5¬¥Pº(ºZ5"Å¡P¥ 5¥+P¢ 5X¦(PA³Ä¢X¡ e 5·(¦²C·&¢¬q(¦¬¢(¥ ¬¬5º5¥¡ª±5¥P¥25¨p©ªZ±5¤(¥ ²PªË²k¥¬¥P¨ º q5Õ¯5¶¥¬¥5¨ rP²P(v4¦·5 k¦Kn³a¨CåP6(4k¥XµP¨ ¯¦AªZ²P¦5§(k"ªP¨pk¬¬¥P¥Pº6ºªP¬À¦A4¨P¦pkªP¢¡¾ ¬5kª q¬¯k(èPk¥pX· k¬¥Pº5¡P5¢¯ªkn¥(5¢]±Ú ¬¥»¥ v¡P¬(¬À0¥Ë(¦(¦À"§c5n¬À5ª ¦« ¯X«û¥ ª5¬¨P¦¨ ¦5¦¬¦¥Üv³ kP²±P¥ X¬5¥Z _¨p±5¦¦qkª?¨? ¯X¬À¬ÞknȬ¥P¡Pº&¥ ©ªqk¯n5¡P¬5¥¬À¥n¨pª¦¬¥P·5º0k¬¦c5ĬÀC"&¡P¡ ÄmqÄX"5¯¡ ¬²P¥¦0¬¦¬k¬Õ¢¡ {pk¬r¢Ä¤ ¬¡p¬¥ ¥ eº?²P·505¯5²P²ªX5¬Á«« § ¬©¡5Ë¥Pr¥P²P55¬Àr5¢¡P¦¦5k+¢¤¡ 5¯©5¥P¥ k» ¬²PªPk¡P5¬À²C?n ¬ªPk¡P0S¬¥P¶5¯¥ µX²P(A ¾äX¬k¨P³¦ È ¥Ú 5¡ ¬kkr©§p5r¬Á r¥P¯ 5²pn²P¯¦Xµ¯²Pk¥k(A³ª ¯ÜÈ ¬¡ ¥¥ ¬ª¦¢A¯e·5_A¥pÄ5ª+]¥¡¡PË0P¥P±k¥p(¯ª5P¥¥¦q¬À¬¥P¯©º¯ª¦5¬À¢¥P¡Pº5¡P5pË5º5©(5rç « ³ k¡ ¹?¯(²pk¢k¡ 5¥P¬¬5¥ 2¡Pk¢¡P¨Pk ¢¬¤Ë¦Àª+(0¥ Xª½µ²Pp¦5¬0¨PP¡Pkª?¥Pk5¥¡ e¬À·( P§G5¨P©¬À¡Pk¦¬¦¯5³mª5´55¯¬¥°²P¬¬¦º5¢¥ 5¢¡ e¥ ·5©²P¡Pk·5k(¥(¢¢¡P2¬¥ ¡P±Ë5ª Xµ²PȦ5¡P¬¬À¬G¥P²º¯¬²Ck³Õ¡Pqna¡Pq®0P5¬À¦¦0¢¡Pk¢¤r« qk(?¢¤ ]P¦A¡P?¬Õ ²P¬(¥P¨Pº ¦Ì¯ ͨÎÐÏq0ÑÐÒÍÓeͤ Ò6¬¥PÔ¢º6ÖÌn¬ÁÕ×IAØÒ5ÏqÎgØWÖq±Ù 54ÚW¬Û ´_² ¦Üvk³ Û k¥´ « (²pAmX¬Ýpi&¢¡Pµ A¢¥p¤5kªt©5¯¥ ª+²P¬(¦k²Z¬¯"¬¬Þk¡E¢¦³»¬º5¼¡rk5¬ º5¡?k§6¡ k&Xµ «« k¥¦·5k¬(k§¥ á¡P5Z¥¨pÕ¥Z"¢¬¤52k¥¬¥¨?6(X(kPt¥_¬¯¡P²P¦k(¯ªZ¡P¥( CÚ 5¡P¯X« « ¬¯©k5¯¨P¬²PÞA¬¦kÄeÜ6¨ (kA¯ª{5§C¥¡P¬ÀkË25_¦À&º5X6r¡ ©³m¨C¼¥PkkÝP 65`¡Pk « (q¥¬À5Pr ¢Ûq¬´®25 ¥ ¦k¬À§¬³ ¯²P¦¯k¥(5¢G"¬_µ¥ ¬5¥ ¬¥¡P¬º5¡P«g¦·(¦áqX«û5¢¡P¬¥P¦5¥Pº5pº5(§I̯ÍÎûÏÒ ³ È ¡PA :9 ? ? µ5¯²P¥p¬¦¬k5k¥ § Ä_§ª] ¥¥5ª»¬À²P5²¦¦¯¬k¦ª»¬¥Pª¤(kqª"¥¬¥5¦ (pPq`)µ ² ¥p¡ ¬¨P¬¦¥ ¦À5¡P¦¥cº5±P ¥ 55Xº5Xn¬«û5¨5¥ (¨p6(A¬¥ªk³²¡PÈ ©¡P²P¥c¥5§(º54"¢¡P0Ék¥AX(¡P(Pº5n¢¥P¬X¥P¬0Þ²P"¬P¥P(²P²pXkAª³nÈ ¬5¡ ¥ Õ¢¡¡PA ¡P¬k¬5¥P¬²¥Pº?q¨CkXr¥ k§Õk¥Ë¡Pr¢iqªAX"k¡X?qP¦¦¦qE· ¬(5¦ÄªP¬5¬¥ ¦¦q¨ +5¢¡P¥Pk« (²pkÈ¡P¬À¬5¥ ² k³ ²CAç ²P¬¯5+5¥¬¨ ¬5¥°¬À¬Á¢©ªP¯5¥« Ýp5¥ ¢(ªqß ¬¥P¬(º°¥Z¡ k Û ´t¬À5Ä¢³º(£¥PPk?5¦K¯§pXÂIr?kX¬¯¬·5²p(5¢²P²P¥?(5¢A¡Z ±¦Á(¢ 5³ Û´+k¢¯¡ k¢¤5k ªPá5Ý ³ ¥ ª+k¬²P5pkck¥5¢Sc¬¥¯X¬A5Z¯²P¦Xµ{µ§qk¥5« ¦ ãÄk¬5(¯¥p¤ZkÕ߯µ¡ 5¡q¤5mk±àá5¥ P¬¥ ¥p¦ ª&µ 5g§{³PPº(³ ¥p¡Pª¦¯¤(è5¡Pé5¯é0¥PåGk¦gàc§4¸6£5¢²C4æ)¬¥p¥&¼_±((P¢Pâ¡P_§a¬¥5¡ ç « (©¨pGAªPªk_ª¡ k"5¢¡P(054¥r ²p5"¦¦5k"{Xrª 54é û¨P³ Û º(k5ßá¥&¡ ( « ¡ ¥Pa¥P¬¥Pº(X¡5¥¡P¬¥ P(r¦§q±¨P(naªP5e¥P¦6³ k]¬]¡ (c¨Ck¥ ³ ¥PÛ ¬´ ¬k"(²¡¬q¯6¬Þk0¢ªª¬ ?¬ÀPq·5¦Á¯¯Ý ¥pªk"«g¬Á¦¡·(¦_5¥²P ²C5¦c¬¥P«« ¬m²CkkªX±¬555&G¥á³5¢¡P²A¬¢¯¤¡ ¬¬¬¥P¦ÞkZºp§ ¬¡P5Û Z¥á´Å³4 Xk¬µ X¥°¬k5±¥ ¥X¬(¥ ªP&k5nkX¥¬¡P¨C¬Àk¯5]¦²°5¡ ²p¨Ckk åGªàck¸ªPmPæ"«Ð²Ckr¬ÁÝp5§ «gÛ ¦·(´¦(²5²¬¯¬¯¬Þk¬Þk¢qI¬(¡p¥$qá5±(² P²p¥ (ª6¡ PP¥P¥¬« « ¬kk³ P³ Û ¬5´¥PAXªäµ 5¨p¥ q¬·((¥ c52Õr ²P¬¬À² ¦¦(¦Z³ È ¦k¡PÄ`Xµ¡ 5k¥¥ ?¬5¡ ¥pPá¥p¯ªA¥ª « ¦¬¥PA"GXª5³ º(¸¡P5¯² ¯(v kr¬À5I5¬"¦ár¡ kÄ_P¡ ¦Á(5nªP554¥PX5µ¦P2""¥ ² µ ¬5²C(¥¬¬¥Pºn¥ W0©¯""¬¦¬Á¬À¡¬Á¬ÁÛ rk¥»´$"¨ ¬Á¬Ën¡0² ¡¡ 5« ¡Pr¦qk2(¨pk0k¡p(q&r¡ & ®µ¢²PP¡P¦AAk¢¤5k³Aª{5È ¥³ ¡ ¨C ¸nk¦§pÃ(¡P" (¬ÁP¬Á¯º5¬¡¥ ªPºm¬ "?¢¡PX¬ÁA ¬¢¦Á¥PA¤5º+§á¢_¡ k±ªP( 5¥È &¡P¬À0c²p¡P²CŬn¬À0k¦À¦¬Àª½¬·55P¦©?50¢±5¬º5¦¦¡qn±(k³_k¢vª{³ ¬(¥ ª¬Àr« Û ´A52¥ ªik¦¡Aäª5k¤Ix³Z AËv ¬(¥ ®º5¬¬¯·5A²P0¦¯¥½q¥·5Zk¬ÁA· ³¬ kv« 5¬¥ (ª»¥ Ë¡Pq5n²P²P6¦¬A¡ q©¡ ?·5k¥²P²P¬¥°((¢¡Ë¢¡»¦¡P¬m¬´ Aª+ª55¬¥á¯§ (Û X´ ²¢®¡ qk·¢¤ ¬Àª¬¥ kº"¯Û ¥P´ ¡ (¥a«gi¤(¬· ¥¥P¬À±(¦À¦"]¨C·5Ë¥P5¬¢±ÝP6ªpk³¬¥Pk]º® ²CkX5X(¬¥¥¬5¥¢¢]转¨p¥(¢¡P±&5qn` ¢ ¡¡P¬q¥ ( º ¡P5¥ ³¢ ¬¥Avk³]¬( ¥ Av&¬5µ ¥ _¥p¬ÀªPGnį¡P¬À5ÄmªPXº(¦5(¬¨ ¦kª©¦g§{(_kr© «ûª"2¬Àª¬¥ ¡ªPq¬¨P¦¬`¥Pº qkª«gÛk¥ ´ä¨P¦Ä¬¥P¢º¡PAª¢¬À¤6àc¬² ¬¥¦¬¥Pµkk¦³` ¢ ¤ A¬v¥PºÄ¬55¥ ¥ ¯ª¬ª¥kX¬P¨p²PA (P"åGàc¸Pæ5²¬¯¬Þkk§P¥ ª Av¬5¥ ¯X(¥ X¦ ªA³ 6 8 . / ;-:6 < 2 -. 2 . 9 8 / 9 . / = 4 <
- 3. 6 î í© ·´t¬ªP& Xk(²Pª0n5² ²C¬¦¬( k² ª»¦¡PÜXm§P±¬5¥PĬ §¬À¬¦¥P¬ºªPk¬ k˳ Ú ¨5(¡PÛ A¬ª¦´ 05¥2¬¡P¥ 0¡P( _¬º55¬¥ "¥ ª+5¸¦{²P² q«« ²C·q5_¦¡ 5ª?¬5¯¥á5³ ¥ È ¡PµP¬À?¯²p²P²C¦kk?§(¬²P²q·q¬ªP· k¬Àª?k+ª¥¯(XµË²Cªk·5¬¯k¦k(¥(²p¢Aª ¦ ·²C¬qk k±P ¦ÕÛ ±´5§_®k(¬º5¤ä¥P¬±Ýp505¥¨ P¦S¬¦ÀªA¬¥P5ºä¬kµ «g5¥p«g ¬5Ë¥ k¥p§Gª¥ ª+(5¥ XXµ ²C¥¬¯¦k¥("¢¬Á¦¡$ªk¡P(¬Z¥ ² 5¢q²pk¬k5§¥p»¬Á¢²P4XkÂIk¥XA¬·5ª$¥ ikªX³4¢´¬5¦A¥ª « È (¡Pr+ ª5¯²Pc¬¦k² ?²PX¦µ ¬¥Pº¥ Û ¬(´°¥ 2²Pk¡P6¥åGàckªi¸P¬¥æt¡ qrm² ²Cû ³ ªk¡p¬À¥q?q¬À·5¦¦(k¦0?Aª 5(?¡ª(P¡P¨P_(¦5±¬¢¥°k¡Pk¬åGªS¥Pàc(¡ §¸P¢æª¢¡_X5aªm¯¯kk¡ q5º5º5X5¡ ¨P¦¥ Pª½ªPÂC¦²Ckk« ¥P¥p¥p¬ÀÃXªmP0Ĩ ¬Àn¨ ÂC¬k6n²Pª¢² 5¦¯X 2¬(¥P¥ º05r¥¬`ª¬¬¬552¥Z¥p·q³¡pÈ q¬ ¡ r¬©Û _5²´$c5²p¬ÀÄkk?ç k"º5¯¥k³4¬¢¥¼k¦{ª¬5ÂCk¢k¡«« Ý"¥ ª ¼¡P"¬À©¦(q¨P2º5§Õ¡ 5¦?ªZk©W55¯X5² ²C(5"§4&¬a(P¦À5¯¥¢¤¯0(5¤»¡P6Z»ªX(¢ÂCk(¬³¦¢¬¥ ¬¥iû¡P§4¬¨Pº5¡« ¦²P¬·5¦kk¦6k³5¯²P¬¦¬5¥á§Ä·5¬Ýp¬5¥á§n5¥ ª Xµ ¥ ¬¨ ¦»X5« ¡¢5k³ ªiÈ "¡P¬!kAª "#%²P$'&²P (²Pr$k¦¬À*X)q6+(¬¬,.(¥p¥X-/«û¦¦k$1ª·503524ߦ"1+(X¬57¥(±¯6 (Û²P¬5¦q¥«Ð¬ª(²P¥¬k¬Xr¥$kAXª5G¯¡ ²Pe·(¥¬¦Á«« A5º(v¥©¯¬¢(¡P¥mA¥¢"¢¤6¡PA± 5¢¤5G(Æn£ ¥P(¬µé 99838P<4¡Pk¢; (: 5¦k¸¦ ç 3: ¥ (P4 ªP8A>=?¥p¡P= ¯ ¬ ¢5û§5p"2¡Pqª¬À¢X¬¡ « º5"¥p¢¡P¬À¦¢ ¡0 ¬À_G98¥ ¢á5¡ ¥ k¨Cª$¢5¤0P±¡Pa(A ªP5@B¥Pkĺ5PkÆ (¬r 5Ik¯±P²P¥ 5¬X¢¦kG¬5¬k¥¥ ç a²PCED ¬¥p3· ª2¬¦SÃ(º( k5kª¯²P²P¬¬55¥¥á«« § ¬¬¥&¥P¨ º2¦¡PĬ²PÝ_µ 5²pAº(ª¯²C5AG§ ¯Û5¬I¥P¬º0²Pª¢¬5¥ 5º6X· ¬À¡ X¬(5A_¦Àq³ ¥Z¬(k¥¬¦¥a¬kk¥ ª&¥p¦C©¬¥ ª¡ 5q0¦Cn¢±4(¡Pªkk¢Ýp¤(·¥ ¬ÀªX¢ « ¯ª¬¬·(È ¬¢¥P¡P º¯A ²P"p ²Cr¢5A¡©¬v¥¢5Gkk" ·eä55¦¢X¬À]ª(¬¬¥rm² ¡ ¬¢¦¡P¥p&Aª¢¦¤¬P¥P²Pº³ ²C55«g?¨ ¬Á4®Xª¥ "5¦ ¥pÞkª ¡²p ZAXkº(¬Ýp?¥Pak²P5¥55¦_ª©¨ ²P¦k¯q· k5¬À§G6ª"kXa(¡P¯¥©²PkX(¬¦µ ¢kÛ ©¥ ´+¬¨P¦¢µ ¡P² ±A¦¢¬À5¤®X¯¬¦+¥ª®55¤º5²P±(A¬4¯ª±¬Þ5« ¬5¥P¦Àqº0¬(p¥ ³ ÄÈ ¡ ¡ ¬`Xµ 5k©¥ ¬¯¬¨P²C¬¦(¬ r¬¨P¥¦5¨P&¦AÕÝ ¥pªªäk"X¬¬¡P5(¥52IP¦"· ¬Á«« ²pAXF*¬ÝpG*H 2¤ ',¥Pq"HJ¦AI +(ª"Lº5(K/³ 5!MN15N H + I 2%O;0">P'">">+(" H 6 Û r k²AÄv²P¬555¥ ¢¡P¥eAÜ`ªZ(n¬är¡Pkn(¥P±5º©¬Àr¦¦²C¦á0Ý ·(¢¥¡PªA¬Á¬ÝC¢¥P¤ºäq¬¥Pºp¬(³ ¥ r_Ú 5n¯ªP¬X(kªZ¥¬¥ « º5kk¥ ¥P4¬¢(¥¦¬¦Ýp6³GænÂCq¬A5v¥i¬·(·( 5A³ A§ ?ÈÛ ´½¡P5_µ¥P¨Cº(k¥ a¬55¥ ¥ 545¦P5G²P¬²p¤A¥Pq¡ a"¦¥ kª¨CÛ º(_5´ §e·5(Xkµ «« ¬Ú Ýpr ²P¬À¬55¥?¦¦² 5éq«²p5kÜv§AÕ"¡Pk¥ kª¯A5IÝ ¡P¥ ª?Û ©´»¢¡P5A¦p¢¤5¥k I¬¨C¥¡P¬Àá]² ²C5¢ - >2 8 ? -:63.$2 8 -= 2 /= - =>2 ? 4 -. = 2 -/ 2 -:6 $2 ? -:6 2 8 ;- . $2 <>= 6 . ±¦À(Pº5¥ kª©¦m¡ PªP¥ ªk?ªPk¡P³ 4ªP¬ ¬Á?ÝpkXq ¦Ár¬(Z¥á¬ç ¥a¦"q¬ÁkG¬¥ ¨Pº&Pº2²CXk(P¬ÁÝC¥qG¬k(¥ k§ "¡ ¬¢¦¡ä¦P²P¬k5¦kAÕÄ5"á¬X¡»ªXÄ5ªn·(¬Þ(¬Á³Ýpk¸ª{³ &¥?XX((¥ ¥(kÃ(PrA¥p§X¨C5k§C55¥ ¦ Û¬(´ ¥ (¦I²pXk(¯²PA¬¦ª_¬A¥pv¦¦ »k5¢¥°Ü45²P5²PP¦¢¬XA?(`ªA55§G¬¬¦ Ú ¦©¬¤5?¬¦¦¬(5ª¥ ¬« 5]¦¬È ¥ k""5aAXXk¥(ªá0(_5¬Á¥Pĺ5ªP«Kr A²P¬¥P¯º"5 ¥ ¦&ká±k2a³ ¡PÕµ ¥pªkª < :4¬À6Ý µr ²peè g¢³G¡ ¼k¢¤¡©¬¥ 5º Ú:¡ k´__Ü"²Pr rkXa _a¥pª 5¥ º5¥G¬¥ ¥pP¦ç « Ý kµ cAª2¡ 5¥c(Pa¦q5_²P«g²P¦(·((¢¦¡ák³cæn5¢q Ú (·(³ ºp³A§A§A¨P¡PÂIk2]5q¥P·5¦2k¢¡PPk¥ ¢{¤5±¥ (ª ¥¯PA¦¦"¥ ²C5¬¥(¡ qA§P"X¬Á±k¡Zk¥¡PX2AÜXµ³ ²È ¡P¬(¥m¬5¦/(¢:¤+ ´ç "Xµ P²k¥ ²p(¬¨P"¬¦±¬Ár( Ýpk¥ ¥mª¬Ý ¥P¥ º&ªm5¡¯00X¦À5"«û4¦k¢·55k¦C0kX55¥p¢ª¬Á¬¡ (¥ k§PÛ ¥P´$¬k¡ ¥ªXrkXk³ ¨p5¥P¥PàG5¬´qàᬷ¬(¥(¬¥5 ¦À6qké¬Ë5`¥pªPrX¢³ qAv¬Ààc©5¬¤(¦Q äª:¢¬¥ ¡P ºËA´Å¢¤5¥ (² ª (º5¥5¢¥ ª½¬¯¥ ¯P¨ §nàG¢5´(XPàᬬ5¥¥ ¬Àk6¥P5¢Xµ ¡ q ¥ Û ¬¨ ´ ¦(§{"¥¡P¬¢Ý ¡¥ ª{²P³Å·5åPkP¥¡P¬Ákk§±5¡ É½Ý 5¥ ª¬¥PºZ¡ ¥P « ¥¬º5¥P¬Ýp¬55¥ ¥Ä¦»¡pq¬¥ àa´A5àc¬¬¥¥PºäA¡PÃP¬k¥ 55¦¦ÂC"(¬Á¡»¥PkkªªAª+¬Þ5 § 5²P²PR¦?ST¬24k5³ H U!$1V)W+,.-!1$032+5X6ÊÈ ¡Pk»¡ e·5¨pk¥E ¥º(P5©¯¨pk0kn¯¶(²p5ªPk¥+ªäX5¥ ¯5¦²P¬¦¬¢¾Z(r¬¥PA§I ¡ q©¦¦5¦q)ª²k¦A5ª « ( ¥XµqµZk¥¬5(¥p³ È §`¡ ¡k©¬¥ Xe¦·( ª¢¯&àá(¡P˪áç Y5¯Z²PZ3¬¦kkç ¯g§I¨ "¡P¢5¬À¢X¡ 5 ¦¥qnq&µ¢¡Pk+±(»Xµ ´k§¥ 5¥ ¬(ª ¥ m´®k2_ç [ ¦<`¤(q¦·5(kºZ«û¨ 55¥kªt¨ ¸¢ 5È X« àG£B@à]¯ û²P§ ¬¥P¦Àº?¯X6 k¦gª&³ ±5G´¥³ ª \¬ÀXÞA¦k"65¦K³ a5º(P ±¦Àq(2¬(²P¥á ³ ¡PÈ ¬¥P¡Pºk°ª5 m¬¥¯«ÐX¢²Cqk«û5¬ÁÝC¨ r©Av¬¥±(²P5qX¬((¦¥ ¬ÚW¥Û Ë£]<`5¢¯Ü2²P¬ « 5k¡¦¦qq¦2Ë XªP²P(¥¥p5º(5¯5¦À"¬¯¯Õ¡ 5©¥ ªË¨ ¨p(¡ 2e 5·(Pº5W ¯5û³¬¦¥ k¦¢ª?¬¡Ë¯"²P¬Á¬k¡ª½X¥ 5¶5¯¦À6¦X¢¬52¾©5r² ¨P ²P¬¦¬Á¬«« Û ¬A]£ ³2 ? - 6 32 -:6 >2 ? - ..$2 - 2 - .06 2 "- 6 -6 2 - /$2 :9 . '= :9 2
- 4.55¨¥r¬k5v¥®50¢¡ ¬¥PrªP0¬¥+ªm5§ _¸¦Aº5È ¬¥á·5£ A§]Û 0¬ ¯k²P¥¢¦2¨C0¡P5Z ¥P5k¥P¨PªZ¬A¦¬³¯¬¥r»¼¯Ë(ä±2¯¬Áª¬¬¥P±qº « "¬5¡P¥p¬¦a_ª¡ 5¥ ¥ 5Û¬À´4§q"k¡P¬¬¥P¢¡ºk¢Ã¡PPk¯¬Aka 5 §(_é PªÕ5³aæn¦¦q·5·5kAkª § ¨²C&(±5¨ r)kX5«û ¦k`·5r¢¦{q¯¬"ª¢¡P¬ÝpA¢¤G¬5"¥ ¬Ák¡P§5¬Ä`(¡PPĦÀª&¨C5ª¥(¬ ?¬_XP¬¥¦n±( « q´¬(5¥Z¥pXeP·q¬k¦À¥¨P¦¦?¬"¥Z¬Á¡¡ 05PX5į5²P¬¬º(¦¬¥ A5³ ¦{(¤ g§\¬Þk¦k XÚ ¸Ä¯]£ ¦g<³ ÜZ5 ˲Pi5_²Ce( kª¶X(5©²Ck¨PX¬¥P¬5¥ º¬¥Aªª½² ¡ (º5Ë¢¯¯¥ 5¬¥Pº5ºk¾ ¥Pº5¶¢(kqk²CªPkk0ª½X¡P"k§k¬¾SZ¡P³¬p¥S¢¸Ä¡$Ë]£ 5<¢?5¡pª5¬¥¬5¢¡P¥p¡P&5¦¥P5¦¬5ªPÞk¥P·eº55¬¥55¥áº5§º("±¢¬Á"¡¯¨CkX¬¥Pª(ºË¤I¬¥(³ ¡ qX« ¡X(5²C?¡P0¡ ª¬À¥ 5Ûª·q´ ¥¢Xµ º56¥ ¡ ¬(q¥Äk(§4"²Ck¡PX¬¢_¡S¡ eP·(6·5k¯ä(¡PZ¦¬¯¥¬¬kª ¥¸Äk£] <5±¢¯k¦{(5¢¤ ¡ Úk5¢³ ¤¯º ³§q ²P¦A·(ªP¬¥?¬X¥P ºÄ¦Á_¤(¥P¥P¦ ±X5¢ªXı"5¬ ¡ 5P¬¥ ¢ºX?(¯¬ª¥P¬Ýpº0²C5¬¬¥5¥¢Üvk³Õ§Gå P¡P«gkÝPk§¨p¬¥ AºË5¬Á ¯5¥°¸Ä]£ ¡P<+ZAÃP¬k ¢¡ k¢¤?5P¦Àªm¨p2¥P(¥«g¬· ¬À¦g³ - /762 -:6 / 3/ $2 :9 - >2 ;-:6 $2 ? 9 G d í ð 6GðXí ì 5Ûq²C¬5(¥¢¥ qm¬(¥ ¥S0(5©¯n²p55A¥P¥ X¥P¬Ýp¢&¬¥5X¥_ ªk³°µA0 ¬¬¬¥ ¨p¥°X2m"¦¡P¡º¬À¢Z¡+¦{((v¡Pª¬k5k¥p&¬¥P(º²pk¦5X«« ·qÛ ´¥ÄX(?² ¡P¬k¦"µP¦kÄ¥ 5¬5¥·¬À5¥Z¬¨P¦¢¡PA¬¥Ë¢¤²P¡ 5º(É5Ũm5AP¢¢X¢(¡P§p¬5¥ ¥º ±5¡ ©+¡ 5m¨CX(»k¡Pm²C5º(¥¬·(ª¬¥°¥Pº((ªP²pk¬¥Pº¬5¥ ¥ ©ª q¥ 5ª+X·(5¥¬Á±X µ ¬¥P º5¦`¡ qX« ¶r¬¯X²P¬5¦Àq¥ kk³ ¾"È 5¡p¨Pq¦4¯¥º5¬¨p·5_A¢¡Pmk¢¤(² kª2A¬¥0k¥(¢¡Pq¬À]¬·(5¥PX¥P2G_¦5P¥ ¦º "¦q¬ ¡ä¡PµPA»¯²P¦k¯k³²P¦ÀÛ qA¥5¥t¨Ck+É¢¡PPk¦¢k¤(Äkª¡ 5(5Pº(q¡P¦¬À&5±¦(5¦Á« ³ ¯åP(µª X¬ÁÝp5µPk¦"ª{¯§{P²P²P¦5¦5§§_¶rk±X¥(6Û ¬2²C´ "A¬ÁXª{µ¡ä§¬6k¥ 5½ªË¬(¥®¦¡ ¢¤+kª®§¾Z¥·q±(¥»¬5Z¨PA¦Z¡P¢Ë¬À¢¡¥P5±5¥« k (k¢¡k§4"¥¬ª{X§4«û¬¦Ä ¢¥P¤Xr¬Á5¬kk0¦`kkXXP¬5¥áä§]X² µP5¯k¬X¥P?Aª+¦·q¦Õ·q¬5¬¨P5¦¨PA¦ § ªk5¡P2¦¢¤5nPº5º(k_5¦Á¥ q¬·( 5º5(³ 4 6 !#"$%&(' Ì¥$?ÍXÎÐ(Ïq"PÒ &¬Áè¬g¯k³ ¥°²PȦk¬¥i¡P¯A¥Z¡PX¬º5µ¬¡5k«û¥$¥¦·55¬(k ¦K¥ §4Û ´§ZX«ûªP5¯5¥p²P¢¬¡P¯¦k¬¥P&¬k?¦¦Àµ¦+¥ º5¥¦¬ ¥P¬5¤55º5A¥ 5ª § ¬3c¥(cn"X5(Pc²Xµ ¬¦kv¥ Üv³a¬¸"¨P¦ÕkX( ² ¬¦mA§¢ ¥ ¦Ú A¨ I5kk5ª¢¡5¬¥6¥P²P¡P7c@B±PÄ¥ Æv« ¬5¥5¬²P¥²P+¦¬A¬ªª¬q¥"¥t¥ 5·(¦nki²P²Ck(¥¬¨P¦ä¬5¥áµ§`kXP¡P¬5¥µ²pq¥ ¡t¬5¥ ¬¥ º5¡ppq?º5°±Pk¥pv¥¬5¨C¥c®³ · È ¬¡Päkª5Ë ¥5¢(¡ v¬¥P¬äk²¦¦?¬¯2¬¦À¡Pä˦À¥ « ¶5k¾ ²pAX¬Ýp¬5¥á³ È ²P¬À5¦5§© Û äpS² q¥ ? - 2 )+*-,/.1032547678:9;27,/.<47=7>7,/.?032/47678-@BADCE9GF @IHJ0/C78-0LK?M7,L.7N783Ov:4