INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

ISRN INRIA/RT--0276--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 2

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Algebraic cryptanalysis of HFE using Gröbner bases

Jean-Charles Faugère

N° 4738

Février 2003

Unité de recherche INRIA Lorraine

+-,/.-013254.-6879,/:<;=.->?A@B68,/C

DEGFIH5JKL'MONIPGQRJ)SUTWVBQUX3QRJIS

J3YZX3[\S]X^_Sa`cbdHe-TWSUQ]fB^_J

g=hiT\jkJ3Yi`mldgonZprqrl

sm[WtGt-TWhuY*vGJ)huJ8XwEGJ3hwXwEGJxP-yz|{~}W€L‚NIƒdhuQUJ3hmK\„B„W}…L‡†8ˆ5t_[\VBJI`

‰Š‹IŒ3~ŽGWŒW ‘ q’‘ Q]vGv|JIP“QUJ3S]vG`qf/^_[~YiQRTBP_`w”)Q]`5[€tG^Ge_SRQ]X•BJ3b–Xhibdt|YuT/`cb|`cYuJIH^—`cQUPGV ’˜H^_S™YiQ™š

ƒ~[WhuQ][~YiJ8”*t-TWSUbdPGTWHQ][\STWt-J3hw[~YiQRTBP_`mT~ƒBJ3hœ›_PGQRYuJ5›_JISUvG`I)žŸY)E_[W`œe-J3J3P tGhiTWt-TB`uJIv¡edb£¢/[WXIfB^_JI`œg[\Yi[WhuQUP

¤

TBSRSUT~¥*QUPGVYuEGJ¦Q]v|JI[B`)T

¤*§

[\Yi`u^GHT\YuT£[WP_v ž¨H¦[\Q©<ž¨P YuEGQ]`t_[Wt—JIh¥ªJ5t_huJ8`cJIPBY[«P_J3¥¬[\P_v J­<X3QRJIPBY

[\YcYw[WXw•¦T

¤

YuE_QU`*X3hubdt|YiTB`ubd`cYuJIH®e_[W`uJIvTWP

¤

[W`cYZ[\SUVWTBhuQRYuE_H`

¤

TBhX3TWHtG^|YiQRP_VMOhu¯BeGPGJ3he_[B`cQ]`IDE_J°[\Ycš

Yw[WXw•X3TWP_`uQ]`kYw`=`cQUHtGSUb±QUP¦XTWHtG^GYuQUPGV[MOhi¯WeGPGJIh²e_[W`uQ]`²T

¤

YuEGJZtG^GeGSUQUXm•WJ3bB²³

¤

XTB^Ghw`cJªYuE_JmJ­<XQUJ3P—Xb

T ¤

YuE_QU`)[\YcYi[BXw•¡v|J3t-J3P_v_`)`kYihuTBPGVWSUb«TWP£YiEGJ¦XwEGTWQ]XJ±T

¤

YiEGJ¦[\SUVWTBhuQRYuEGH

¤

TBh°X3TWHtG^|YiQRP_VYiEGJ<MOhu¯BeGPGJ3h

e—[W`uQU`I´=¥*EGQUSRJ°YiEGJX3TWhihuJ8`ct-TWP_vGQRPGV[\SUVWJIeGhw[\Q]XO`ub|`kYiJ3H¦`m[WhuJ)XTBHtGSRJ3YuJISRb ¤[\hme-J3bBTWP_vYuE_JX3[Wt_[WX3Q™Ykb<T ¤

[WPdbQUH5t_SRJIH5JIP/Yi[~YiQRTBP¦T ¤ YuEGJœµr^—XwE/e-J3hiVWJIh=[\SUVWTBhuQRYuEGH«¶BQ™Y¥[W`=¥ª[B`t—T/`u`uQRe_SRJ*YiTeGhiJI[W•)YuEGJm›_hi`cY ‘ q

XwE—[\SUSRJIPGVWJZ’9W„ZeGQ™Yw`i”·QUPTWP_SRbOYk¥ªTZvG[¸b|`·T ¤ prg¹ºYuQUH5Jªedb)^_`uQRPGVZYuEGJrPGJ3¥“[\SUVWTWhiQRYuEGH»²¼*QUH5t_SRJIH5JIP/YuJIv

QUP£pœ|½€J)J8`kYw[\eGSUQU`uEJ¾|t—JIhuQUHJ3P/Yi[WSRSUbYuE—[~YYuEGJ[WSRVBJ3eGhw[\Q]XZ`ub|`kYiJ3H¦`*XTBHQRPGV ¤hiTWH ‘ q e-J3E_[¸ƒBJ±¿AÀ~Á

Â~ÃÄ

hi[WP_v|TBHÅ`cb|`cYuJIH`kÆ`uTYuE_[\Y)YuEGJIb€XI[\PÇe—J<`uTWSUƒWJ8vÈQUP€ÉGÀ\ÊÌË~¿-À\ͱÎ

Â

ÊrÁ©ÎÏͦа¥*EGJ3P YiEGJ<v|J3VBhuJIJ¦v€T ¤

YiEGJ¦^GPGQUƒ~[\hiQU[\YuJt-TWSUb/P_TWHQU[WS²QU`)›G¾|JIvo_TWh)tGhw[WXYuQ]X3[WS²ƒ¸[WSR^_J5T ¤ v ¥ªJ<X3[WP€J8`kYw[\eGSUQU`uEÇtGhiJIXQ]`uJ3SUb¡YuEGJ

X3TWHtGSUJ¾|QRYkb<T ¤ YuEGQ]`m[~YuYi[BXw•-´=ÑÒÔÓaÕ8Ö°’ÔhuJ8`cta=ÑÒÔÓרØ~Öc”¥*E_J3P †IÙGÚmvaÚ)†8K\’˜hiJI`uta†8KWGÚmvoÚZ¼G†I}B”

Û¡Ü/ÝAÞißà ~á‹W‘ Q]vGv|JIPQRJISUv<qf/^_[~YiQRTBP_`œ’‘ qr”¶ § ^GS™YiQRƒ~[WhuQ][~YiJmt—TBSRbdPGTBHQU[WS—J8fB^—[~YuQUTWP—`3¶dMOhu¯BeGPGJ3h

e—[W`uJI`I¶dnZSRVBJ3eGhw[\Q]Xprhubdt|Yw[\P_[WSRb|`uQU`I¶_prTWHtG^|YiJ3hmnZSRVBJ3eGhw[G

âã—äÔåwæ9ç¨èé8ã\êëoì-éZídî˜ã—ïðiíGñò·îÏê ëoóòé¸ðwôã—õëaðiî˜óòaîÏê

& ()«

‹  ‘ q ’‘ QUv_v|J3P QUJ3S]vG`Zqf/^_[~YiQRTBP_`i”*JI`cYœ^GP£X3hubdt|YiTB`ubd`cYuFIHJ<XSUNtG^Ge_SRQ]f/^GJe_[B`cN`u^Gh

SUJI`t-TWSUbdPWHJ8`’ÔH^GSRYuQUƒ~[\hiQRN8`i”5vG[WP_`5SRJ8`¦XTBhut_`±›_P_Q9 ‘ q®[ NYuN«tGhiTWt-TB`uNt_[\h¦¢/[WX3f/^GJ8`5g[\Yi[WhuQUP

JIP€`u^GQUƒ¸[WP/YOSUJI`OQ]v|N3J8`)v|J § [~Yi`u^GHT\YiTJ3YOž¨H¦[WQ9O[\P—`OX3JY[\huYuQ]XSUJP_TW^_`OtGhiNI`uJ3P/YuTBP_`œ^GPGJPGTW^_ƒWJ3SUSUJ

[\YcYw[Wf/^GJYuhiFI`5J­<X3[BXJe_[W`uN3J«`c^_h5SUJI`5PGTB^GƒWJ8[\^|¾ [WSRVBTWhiQ™YiEGHJI`5v|J¡X3[\S]X^_SvGJI`5e_[W`uJI`5v|J£MOhi¯WeGPGJIhI

[\YcYw[Wf/^GJXTBP_`uQU`cYuJ`uQRHtGSUJ3HJIPBY¦X3[WSUX3^GSRJIhm^GPGJe_[W`uJv|J±MOhi¯We_PGJ3hZvGJSU[¦X3SRNtG^GeGSUQUf/^GJBmµªQRJIP«`u^Gh

SJ­<X3[BXQRYuNv|JX3JYuYuJ[~YuYi[BfB^_Jv|N3t-J3P_v ¤TBhcYiJ3HJ3P/YœvG^£XwEGTWQR¾v|JS[\SUVWTWhiQRYuEGHJ°^|YuQUSUQU`uNt-TW^GhZXI[\S]X^GSUJ3h

S][œe_[W`uJªvGJ*MOhi¯We_PGJ3h8´·[\SUTWhw`fB^_JrSUJI`²`ub|`kYiF3HJI`[\SUVWNIeGhiQUf/^GJ8`·tGhiT~ƒWJIP_[\P/YvGJ ‘ qÇ`uTWP/Y²XTBH5t_SRF3YuJ3HJIPBY

QUP_[BX3XJ8`u`uQUeGSRJ8`m[\^G¾HJ3QUSRSUJ3^_huJ8`*QRHtGS][\P/Yw[~YuQUTWP—`Zv|JS[\SUVWTWhiQRYuEGHJv|Jµª^_XwEde-J3hiVWJIhI¶|QUS·J8`kYZt-TB`i`uQReGSUJv|J

hiNI`uTW^—v|huJSUJt_huJIH5QUJ3h<XwE—[\SUSRJIPGVWJ ‘ q ’ÔB„ eGQ™Yw`i”5JIP$`uJ3^_SRJIH5JIP/Yv|J3^|¾ÈjkTW^Ghw`¦v|J«YuJIHt_`prg¹JIP

^GYuQUSRQ]`u[WP/YSUJ°PGTW^_ƒWJ3So[WSRVBTWhiQ™YiEGHJO²¼’˜QUHtGSU[WP/YuN°J3P£p” ZTW^_`N3Yi[WeGSRQ]`i`cTBP_`ªJ¾|t—NIhuQUHJ3P/Yi[WSRJIHJ3P/Yf/^GJ

SUJI``ub|`kYiF3HJI`ª[\SUVWNIeGhuQ]f/^GJI`rQ]`u`u^_`ªv|J ‘ q ¿AЪ`cJ°XTBH5t-TWhuYuJmÉ

Â~Ã

XTBHH5J°v|J8`ª`ub|`kYiF3HJI`

Â

Ê

Â

ÁŸÀ\ÎuÐ

Ã

JY

f/^QUSU`)t-J3^_ƒWJ3P/Y 3YuhiJ¦huN8`cTBSR^ J3PÇYiJ3Ht_`t—TBSRbdPBH5Q][\S²SUTWhw`ifB^_J¦SRJ<v|JIVWhiN"!£v|^–t-TWSUbdPWHJ<`uJIXhiJYJ8`kY

›_¾dNg=SR^—`mJ¾G[BX YuJIHJ3P/YI¶—JYœt-TW^_hZSUJI`*ƒ~[\SUJ3^_hi`œ[Wv|HQ]`u`uQRe_SRJ8`mv|Jvo¶-TWP¡HTBPBYihuJf/^GJSU[<X3TWHtGSUJ¾|QRYuNv|J

S[~YcYw[Wf/^GJ°JI`cY)´ÑҘÓ

Õ

Ö°’˜hiJI`utaÑҘÓ

×kØ

Öc”f/^_[\P—vȆ8ÙGÚmvoÚ)†¸K\’ÔhuJ8`ct·ª†¸K\_ÚmvoÚZ¼|†8}B” 

# à Œ8‹ Þ %$ ‹€ gTBSRbdPBHJI`OH^GSRYuQUƒ~[\hiQRN8`3¶aµ[B`cJ8`OvGJ¦MOhi¯We_PGJ3h8¶prhubdt|Yw[\P_[WSRb|`uJ±[WSRVBN3eGhiQUf/^GJB¶·pª[\S]X^GS

_TWhiHJ3S©

   à Ã

±· %

DE_JÈ`cJ8X^GhiQRYkbºT ¤ H¦[WP/b“tG^GeGSUQ]X£•WJIb“X3hubdt|YiTB`ubd`cYuJIH¦`¦huJISRQUJI`TWP YiEGJ£QUPBYihi[BX Yw[\eGQUSRQRYkbºT ¤ `cTBHJ¡¥rJISRS

•dPGT~¥*PH¦[~YuE_J3H¦[~YiQUXI[\SotGhiTWeGSUJ3H ’ÔQRP/YiJ3VWJIh ¤[WXYuTWhiQI[~YiQRTBPa¶A3Ii” l|QRP_X3J)`cTBSRƒdQUPGV5`ub|`kYiJ3H T ¤ [WSRVBJ3eGhw[\Q]X

J8f/^_[~YiQRTBP_`ªQU`*[v|QR­<X^GSRY*tGhuTBeGSUJ3HŒmg²š¨XTBH5t_SRJ3YuJ8”¶GQRYmQU`*[±VWTdT|vXI[\P_vGQUvG[\YuJ ¤TWhYiEGJ)v|JI`uQRVBPT ¤ PGJI¥

t_^GeGSUQUX5•WJIb£J3P—Xhib/tGYuQUTWP€[WP_v `cQUVWP_[\Yu^GhiJ`uXwEGJIHJI`I ‘ q®’‘ QUv_v|J3P–QRJISUv_`°qf/^_[~YiQRTBP_`i”œQ]`)[tG^GeGSUQUX

•BJ3b«Xhibdt|YuT/`cb|`cYuJ3H ^_`uQRPGV€’˜H^_S™YiQRƒ~[\hiQ][~YuJ¸”*t-TWSUbdPGTWHQ][\S·TBt—JIhi[\YuQUTWP_`mT~ƒWJ3hm›_PGQRYuJ›—J3S]vG`3ZžŸYœE_[B`Ze-J3JIP

t_huTBt—T/`cJ8vedb¢B[BX3f/^GJI`g²[\Yi[\hiQUPg²[~YwˆWÙWe ¤TWSUSUT~¥*QRPGVOYiEGJmQ]v|JI[B`=T ¤o§ [\Yi`u^GHT\YuT±[\P_v5ž¨H¦[\Q§ žkBŸžŸY

E—[W`=SUTWP_Ve-J3J3PhuJIVB[\hwv|J8v5[B`[ƒWJ3hib5tGhuTBHQU`uQRP_VXhibdt|YuT/`cb|`cYuJ3H…e-JIX3[W^_`uJmQ™Y*X3[WP¦e—JO^_`uJIvYiTtGhiT|v|^_XJ

`uQUVWP_[\Yu^GhiJI`[W`*`uEGTBhcYm[W`°†¸K\_¶-†8„W„5[\P_vJ3ƒBJ3P«W„5eGQRYi`I

ž¨PlGˆWˆZ[€t—TBSRbdPGTBHQU[WSYuQUH5J¡[\YcYi[BXw•–TWP ‘ q¬¥ª[B`±t_huJ8`cJIPBYiJIvªYiEGQU`HJ3YuEGT|v“QU`e_[B`cJ8v TBP

Ä

hiJ3SUQRPGJ8[\hiQ8[~YiQRTBPdÆOYiJIXwEGP_QUf/^GJ8`3±ž¨PÌprTW^_„_†YuEGJ¦XTBHtGSRJ3¾|Q™Ykb¡T

¤

YuEGQ]`)[~YuYi[BXw•¥[W`OJ8`kYiQRH¦[~YiJIv£YuT«e—J

[\YªS][W`cYÓ !#"$&%O¥*EGJ3hiJ !5Q]`ªYuEGJ°v|JIVWhiJ3JOT

¤

YiEGJ¦’Ô`uJIXhiJY ”=^_PGQRƒ~[WhuQ][~YiJœt-TWSUbdPGTWHQ][\S-T

¤ ‘ qmGDEGJ)`u[WHJ

[\YcYw[WXw•5¥ª[B`=QUH5t_huT~ƒBJIv5edb<prTB^GhuYuTWQ]`'prTB^_„G†#-YuTTBe|Yi[WQRP<[YuEGJITWhiJYiQUXI[\S—X3TWHtGSUJ¾|QRYkb±T ¤ Ó)(* !#"

$

%,+-/.]×0i

ž¨P YuE_QU`°t_[Wt—JIh)¥rJ5tGhiJI`uJ3P/Y[PGJ3¥…[\P_v€J­<XQUJ3P/Y[~YuYi[BXw•¡T ¤ YiEGQ]`Xhibdt|YuT/`cb|`cYuJ3H e—[W`uJIv£TBP ¤[B`kY

[WSRVBTWhiQ™YiEGH¦` ¤TWhªXTWHtG^GYuQUPGV±MOhi¯WeGPGJIh=e_[B`cQ]`1µª^_X3Ù/¼/¶/µª^_X¸{~„|¶/µr^—X8{~ˆ2©²DEGJmt_^GeGSUQUX*•BJ3b5T ¤ ‘ q Q]`[

SUQ]`kYªT ¤ [\SUVWJIeGhw[\Q]X*JIf/^_[\YuQUTWP_`I¶B[WP_v<`uQRP_X3JOMOhi¯WeGP_J3he—[W`uJI`rQU`ª[)¥ªJ3SUS—•dPGT~¥*P[WP_v¦J3­¦X3QRJIP/YrHJYiEGT|v ¤TWh

`uTWSUƒdQRP_Vt-TWSUb/P_TWHQU[WS`ub|`kYiJ3HT ¤ JIf/^_[~YiQRTBP_`I¶-TB^Gh°[~YcYw[WXw•«Q]`œƒBJ3hib¡`cQUHtGSRJB´m¥ªJ5X3TWHtG^|YiJ5[MOhu¯BeGPGJ3h

e—[W`uQU`ZT ¤ YuE_JtG^Ge_SRQ]X•BJ3bT ¤ ‘ qm·³ ¤ X3TW^Ghw`cJYuEGJ±J­<XQUJ3P_X3b«T ¤ YuEGQ]`°[~YuYi[WXw•«v|JIt—JIP_vG`O`kYihuTBPGVWSUbTBP

YiEGJZXwEGTBQUX3J*T ¤ YuE_Jœ[\SUVWTBhuQRYuE_H ¤TWhrXTWHtG^GYuQUPGV)YuE_JœMOhu¯BeGPGJIh=e_[W`uQ]`3½ Q™YiE¦YuE_JZe-JI`cYQRHtGSUJ3HJIPBYw[~YiQRTBP

T ¤ YiEGJµª^_XwEde-J3hiVWJ3h*[WSRVBTWhiQ™YiEGH3µr^—X3ÙB¼·TWPGSUb<YiT~b|`J¾G[\HtGSUJI`mXI[\P«e-J`cTBSRƒBJIv ’546875eGQRYi`w” m³œPYuEGJ

TWYuEGJIh°E_[\P_va¶aedb¡^_`cQUPGVYuEGJPGJI¥ [WP_v£J3­¦X3QRJIP/Y:9;¡’_[W^_„BKϔO[\SUVWTBhuQRYuE_H ¤TBhXTBH5t_^|YuQUPGV¡MOhu¯BeGPGJ3h

¥ªJ5¥rJIhuJ[\eGSUJ±YuT«eGhiJI[\•«YiEGJ5›_hw`kY ‘ q»XwE_[\SUSUJ3PGVBJ’9W„eGQ™Yw`i”œQUPÇTWPGSUb«Yk¥rT«vG[¸b|`OT ¤ prgr¹…YuQUH5JTBP

[È`cQUPGVWSUJt_huT|XJ8`u`uTWh’ÔnmSUtGE_[/”  DEGJVBTB[\SrT ¤ YiEGQU`±t_[Wt—JIh±Q]`)YiTÈtGhiJI`uJ3P/Y5[£H5J3YuEGT|v|TBSRTBVWb€YuT `kYi^_v|b

J3¾|t—JIhuQUHJ3P/Yi[WSRSUb[)Xhibdt|YuT/`cb|`cYuJIH SUQR•BJ ‘ q–¥*Q™YiE<[\SUVWJIeGhi[WQUXrYiT/TBSU`I½€J*H¦[WvGJZ[)`cJIhuQUJI`T ¤ X3TWHtG^|YiJ3h

`uQUH^GS][~YiQRTBP_`TWPhiJI[\SG`uQ3J ‘ q–tGhiTWeGSUJ3H¦`m’Ô^Gt5YuT¦†8ÙW„OeGQRYi`w”`cTOYuE—[~Y¥ªJ*X3[\PJ8`kYw[\eGSUQU`uEtGhiJIXQ]`uJ3SUb)YuEGJ

X3TWHtGSUJ¾|QRYkbT ¤ YuEGJOMOhu¯BeGPGJ3h=[\YcYw[WXw•A´ ¤TBh=[\SUSGtGhw[WX YiQUXI[\S|ƒ~[\SU^GJ8`²T ¤ !’ÔSRJ8`u`YiE_[\P<¼G†8KW”·YiEGJZXTBHtGSRJ3¾|Q™Ykb

Q]`*[~YmHT/`kY=<ҘÓ×kظ֝

ž¨PÌpldg/)„B„©¶d[\P_T\YuE_J3h=[\SUVWTBhuQRYuE_H ’?> ”¥[W`=tGhuTBt—T/`cJ8v

¤

TBh`uTWSUƒ/QUPGV[WSRVBJ3eGhw[\Q]Xr`ub|`kYiJ3H¦`²T~ƒBJ3h›Gš

P_Q™YiJ*›_J3S]vG`IžŸYrQU`rXSUJI[\hiSUb[\PQUPBYiJ3hiJI`cYuQUPGV)t-TWQUPBYYuTXTBHt_[\hiJYuEGJ> ¡[\P—v5YuEGJœMOhi¯We_PGJ3h=[WtGtGhiTB[WXwE_JI`'

e_^|Y)YuEGJ¦JIƒ~[\SU^_[~YiQRTBP€T ¤ YuE_JYuEGJITWhiJYuQ]X3[WS=XTBH5t_SRJ3¾dQRYkb£T ¤ `u^_XwE–[\SUVWTWhiQRYuEGH¦`OQU`)vGQ™­<X^_S™Y8 § TWhiJ3T~ƒBJ3h8¶

[B`H¦[WP/bÇTWYuEGJIh±[\SUVWTBhuQRYuE_H`’ =¶YiEGJ`uQUH5t_SRJ3¾–[WSRVBTWhiQ™YiEGH ¤TWh`cTBSRƒdQUPGV£SUQRP_JI[\h5tGhiTWVBhi[WH`I¶ª33w” ¶

MOhi¯We_PGJ3h)e_[B`cJ8`[\SUVWTBhuQRYuE_H`°e-J3E—[¸ƒWJH^_XwEÇe-JYuYuJ3h±QRP–t_hi[BX YuQ]XJYiE_[\PÇQUPÇYuEGJ¥rTBhi`cYX3[W`uJW¶`cT£X3TWP|š

`uQ]v|J3hiQRP_Vjk^_`cYYuEGJ«¥ªTWhw`kYušŸXI[W`uJ<e-TW^GP_v_`H[¸b–SUJI[Bv–YiT ^_P_v|J3hiJI`cYuQUH¦[~YiJYiEGJ3QUh¦tGhw[WX YiQUXI[\S^|YiQRSUQ™YkbB$n

YkbdtGQ]X3[WS²J¾G[\HtGSUJ5QU`)t_huJ8XQ]`cJISRb«YiEGJ<XTBH5t_^|Yi[\YuQUTWP T ¤ MOhi¯We_PGJ3h°e_[B`cJ8`°T~ƒWJ3h=@BA—¶·¥*EGT/`cJ¦[W`ubdHt|YuTWYuQ]X

¥ªTWhw`cYcš¨X3[W`uJ5YuQUHJe-TW^GP_v QU`J¾|t—TBPGJ3P/YiQU[WS9¶¥*EGQUSRJQ™Yw`hi^GPGPGQUPGV¡YiQRHJQU`±e—TB^GP_v|J8v–edb [£SRT~¥š¨v|J3VBhuJIJ

t-TWSUbdPGTWHQ][\S ¤TWh ‘ qm mTe—JIP_XwEGH¦[\hi•|`mTBhZQUH5t_SRJIH5JIP/Yi[~YiQRTBP£T ¤ YuEGJ5[\SUVWTWhiQRYuEGHC> $[\hiJ[¸ƒ~[\QUSU[WeGSUJ

`uT<YiEGJ¦XTBH5t—[\hiQU`uTWP¡¥*QRYuED> $QU`OTB^|YOT ¤ YuE_J5`iXTBt—J5T ¤ YiEGQ]`œt—[\t-J3h)[\P_v£QU`œYuE_J`u^Ge|jkJ8X Y°T ¤ [WPGT\YiEGJ3h

t—[\t-J3h8

Â

*·r "!$#

½ J¦hiJ ¤J3hYuT g²[\YiˆWÙWe& ¤TBh[¡XTWHtGSUJYiJ<v|JI`iXhiQUt|YuQUTWP T ¤ ‘ q [WP_vÈ¥ªJ<v|J8`uX3huQUe—J

Ä

YuE_J¦e_[W`uQUX ‘ q²Æ

’‘ q»¥*Q™YiEGTW^GY°ƒ~[WhuQ][~YiQRTBP_`i”½ JvGJ3PGTWYuJedb @BA–’˜hiJI`uta @HA ·Ö ¶oYiEGJ›_PGQRYuJ5›_JISUv€T ¤ X3[\hwv|QUP_[\SUQRYkb ’6W”

’ÔhuJ8`ct· 6G”[\P_vXwE_[Whi[BX YuJIhuQ]`cYuQ]X6G ·JY

ÒAÖ

A + A !#"

%$'&

$

A ()*",+

e-J<[t—TBSRbdPGTBH5Q][\SQUP-–T~ƒBJ3h=@BA T ¤ v|J3VBhuJIJ !—¶ ¤TBh)QRP/YiJ3VWJIhi`/.%0132415

$76

7Gž¨P€YuEGJhiJI`cY°T ¤

YiEGQ]`*t_[\t-J3h !<QU`*[WSR¥[¸b|`YiEGJv|JIVWhiJ3JOT

¤

YuEGJ)^GP_QRƒ~[\hiQ][~YuJOt-TWSUb/P_TWHQU[WS 

ldQUP_X3J @BA Q]`5QU`uTWHTWhitGEGQ]X¦YiT @BA89:0;|Ò<AÒ9/ÖuÖ)¥*EGJIhuJ=<AÒ9/Ö?> @BA89:*Q]`±QUhihuJ8v|^_XQUeGSUJT

¤

v|J3VBhuJIJÓ²¶

JISRJIHJ3P/Yi`±T

¤

@BA H¦[¸bÇe—JhuJItGhiJI`uJ3P/YuJ8v–[W`ÓAš©Yu^_tGSRJ8`T~ƒBJ3h @BA_¶=[WP_v

H¦[¸bÇe—JhuJItGhiJI`uJ3P/YuJ8v–[W`[

t-TWSUbdPGTWHQ][\SoQUPÓ ƒ~[\hiQU[WeGSUJI`@

×

1A!AAB13

T~ƒWJIh/@BA—´

Ò0

×

1!AA!A1C

ÖD Ò0E

×

Ò

×

1!AAA!1C

ÖF1G!GGH1E

Ò0

×

1AA!A13

ÖcÖ

¥*QRYuEIEuÒ

×

1!AAA!1C

ÖJ> @BA8 × 1AA!AB1C

: ¤TWhJK#ML1#6N1!AA!AF1cÓ²DEGJOE*[\hiJ5t—TBSRbdPGTBH5Q][\S]`OT ¤ ÁŸÀ\Á  Ê

P Ð uÐwÐ16±v|^GJœYuT±YuE_JOXwEGTBQUX3JZT

¤Q

[\P—v¦YuE_J

¤

[BX YªYuE_[\Y@SRTU

A

QU`ª[±SRQUPGJI[Wh

¤

^_P_X YiQRTBPT

¤

@HA3 WVT @BA ²

·JYYX“[\P_vSZ e-J°Yk¥ªT5Ó\[ÓÈPGTBP`uQUPGVW^GS][\h*H¦[\YuhiQUX3JI`rYuEGJIP«¥rJXI[\P«XTWHt-TB`uJ]X¶

[WP_vSZ´

X*Ò Ò0Z_^€ÖuÖ4 Òa`

×

Ò0

×

1AA!A13

ÖF1!GG!GH10`

Ò

×

1A!AAB13

ÖuÖ

¥*EGJIhuJ @ A Q]`¦hiJ3V/[\hwv|JIv$[W`<[WP ÓAšŸv|QUHJ3P_`uQUTWP_[WSmƒWJ8X YuTBh<`ct—[WXJ¡T~ƒBJ3h@HAº[WP_vb^‚QU`¦YuEGJ£ƒBJIXYuTWh

Ò0

×

1A!AAB13

֝r³œe/ƒdQUTW^_`uSUbJ`c²[\hiJ)[\V/[\QUPf/^_[WvGhi[\YuQ]Xœt-TWSUbdPGTWHQ][\S]`3

½ JX3[WPPGT~¥ v|JI`iXhiQUe—J°YiEGJ ‘ q ’‘ QUvGvGJ3P£QRJISUvqf/^_[\YuQUTWP_`w”ªtG^GeGSUQ]X°•WJ3bJ3P_X3hubdt|YiQRTBP`iXwEGJ3HJB´

d Ð# uÐ3Á4eBÐË~rDEGJ ¤^GP_XYuQUTWP ¶|Yk¥ªT[~­¦PGJ)eGQjkJIXYuQUTWP_`_X$[\P—v=Z»[W`*[We—T~ƒBJW

f

3ÊÌÎ]eBÐË~Zl|TWHJ¥[¸bT ¤ hiJ3tGhiJI`uJ3P/YiQRPGV @

A

T~ƒWJIh @ A

gTWSUbdPGTWHQ][\S]`g`

¤TWh#KhL1#6N1!AA!AB1cӖ[W`

[We—T~ƒBJW¶|XTBHtG^|YuJ8v^_`cQUPGV5YuE_J`cJ8XhiJY*•WJIb ¶cX*¶NZ

ª¿ ËiÉAÁ9ÎÔÀ\¿_DTJIP_Xhibdt|YªYuEGJOÓAš9Yi^GtGSUJY7xÒ

×

1!AA!A1C

Ö@>ÇÒ@ A Öio’ÔhuJItGhuJ8`cJIP/YuQUPGVYiEGJœHJ8`u`i[\VBJ8” ¶

X3TWHtG^|YiJOYuEGJX3QRtGE_J3huYuJ¾dY

j Òk`

×

Ò

×

1A!AA!1C

ÖB1G!GGH1`

Ò

×

1!AA!AB1C

ÖcÖ

l5Ð, ËiÉAÁ9ÎÔÀ\¿_®D·T$v|JIX3hubdt|YYuE_J€XQUtGEGJIhcYiJ¾dY

j

¶m›_hi`cY›—P_v [WSRS°`cTBSR^GYuQUTWP_`S9 YiT YiEGJ€^_PGQRƒ~[WhuQ][~YiJ

J8f/^_[~YiQRTBP Ò9/ÖgmZJno×

j

¶|PGJ3¾dYZXTWHtG^GYuJoX@na×F9—

½ EGJIPYuEGJ)t-TWSUbdPGTWHQ][\S Q]`m[5HTWPGTBHQU[WS—YiEGJ ‘ q hiJIv|^—XJI`ªYiT¦Xhib/tGYuTB`ub|`kYiJ3H®T ¤§ [\Yi`u^GHT\YiT

[WP_v¡ž¨H¦[\Q § žkW2e_huTB•WJ3PÈe/b«g²[~Yw[\hiQRPÈQRP g²[~YwˆB¼W[©)ž¨PÈYuEGJ ¤TWSUSUT~¥*QRPGV¥rJ5XTBP_`cQ]v|JIhœTBPGSRb  ¿ P À~Í

p_Â P Â

Á©Ît-TWSUbdPGTWHQ][\S=’/¶q&

$ ¶ +

hw[\P_vGTWH®QUP @BA ·”

QUP_vOYuEGJhuTdT\Yw`AT ¤ [ªt—TBSRbdPGTBHQU[WS\T ¤ v|J3VBhuJIJ !*¥*QRYuEXTdJ3­¦X3QRJIP/Yi`oQUP @HA3 ¦XI[\P°e—J=vGTWPGJm’9`cJIJ1ƒ¸M)M°ˆWˆ

¤TBh·QUP_`cYi[\P—XJ8”·QUP <<Òr Ò!dÖtsvuwAÒ!dÖcÖTWt-J3hw[~YiQRTBP_`aQ¤ @BA ¦¥*EGJ3hiJxr Ò!dÖaQ]`aYiEGJrX3TB`cYT ¤ t—TBSRbdPGTBH5Q][\S/H^_S™YiQ™š

t_SRQ]X3[\YuQUTWPa½€J*hiJ3t-TWhuYYiEGJªYuQUHJYuTO›_P_v«À~¿AÐ`cTBSR^|YiQRTBP±T ¤ ^GP_QRƒ~[\hiQ][~YuJªt-TWSUb/P_TWHQU[WSd¥*Q™YiE œD ldEGT/„W}

’Ôgªp g=žcžužO†8„W„B„

§

EB8” ´

ÒÔÓg1 !dÖ ’ÔB„G¶U†8KWˆB” ’ÔB„G¶KW¼/{\” ’ÔB„G¶¼|†8}B” ’k†¸K\_¶R†¸K\ˆB” ’c†8K\_¶KB¼B{W” ’c†8KWG¶¼|†I}/”

œD ’©prg¹ YiQRHJ¸” „GÙ5`uJIX K|¼`uJIX Ù_z¦`uJIX †BKB¼`uJIX }GU†)`cJ8X ˆG„B¼±`uJIX

   à Ã

_huTBH YuE_JI`uJ*J¾|t—JIhuQUHJ3P/Yi[WS|huJ8`c^_S™Yw`¥rJmX3TWP_X3SR^_vGJrYiE_[~Y8¶BQUPtGhw[WX YiQUX3JW¶\¥ªJ*X3[WPGPGT\Y²Yw[\•BJ[Whue_Q™Yihi[WhuQUSRb

e_QRV ƒ~[\SU^GJ

¤

TBh5YuEGJ¡v|JIVWhiJ3JT

¤

YiEGJ«^GPGQUƒ¸[WhuQ][~YiJt-TWSUbdPGTWHQ][\S°’Ô`i[¸b !NL6B”  DEGJ«hiJIX3TWHHJ3P_v|J8v

ƒ~[WSR^GJ8` g²[\YiˆWÙWeo¶Gg²[~YwˆWÙWX

¤

TWh*ÓÇ[\hiJœÓ

6 65[\P_vÓ 7_¶ ! ¤

TWhYuE_J°›_hi`cY

‘

q prE_[WSRSUJ3PGVBJW

& ()« ·

! #"$&%('))*+',*.-0/12.3('$&1435!676

½ J=hiJ

¤

JIhaYuT µªJIXIˆW}|¶~p ³Oˆ/K'

¤

TBhae_[W`uQ]X=v|J›—PGQ™YiQRTBP_`I aJ3Y98Oe-Jr[›_JISUv¦’?@;:m[›—PGQ™YiJ=›_JISUv

¤

TBh·QUP_`cYi[\P—XJ8”

[WP_v=<>8 8 × 1!AAA!1C

:aYuEGJ)hiQUPGVT

¤

H±^GSRYuQUƒ¸[WhuQ][~YiJ°t—TBSRbdPGTBH5Q][\S]`IDT¦[¦`cb|`cYuJIH T ¤

JIf/^_[~YiQRTBP_`

× Ò0

×

1AA!AB1C

ÖD GGGt @? Ò

×

1!AAA!1C

Ö 7

¥ªJ[B`u`uT|XQ][~YuJ<YuEGJQUv|J8[\SBAÈVBJ3PGJIhi[\YuJ8v€edb ×

1AA!A1 @?  n HTWPGTBHQU[WSQUP × 1A!AA13

Q]`±[£YuJIhuH QUP

× 1!AAA!1C

[\P_v [ºXTdJ­<XQUJ3P/Y8 ½€J XwEGTdTB`uJDC [\P [Bv|HQU`i`cQUeGSUJ£TWhwv|JIhuQUPGV–TWP YiEGJÈHTBPGTWHQ][\S]`<QUP

× 1!AAA!1C

GTBhœQUP_`cYi[WP_XJ±YuEGJSUJ¾|Q]XTWVBhi[WtGEGQ]X3[WS·TWhwv|JIhuQUPGV<Q]`°`c^_XwEÈYuE_[\YJFEHG

×

GG!Gi

E C I

G

×

GGG3

I

QKJ & b ¤TBhxKg L1!AA!AB1L8[\P_v & $ C $ ¤TWh`uTWHJM8o ZJ¾dY ¤TWhªJI[WXwEt—TBSRbdPGTBH5Q][\S QUPN< ¥rJOX3[WP

vGJ›_PGJ¦QRYi`SRJ8[Wv|QUPGVYuJIhuH |D)Ò

֒˜hiJI`uta¦QRYi`)SUJI[Bv|QUPGV«H5TBPGTWHQ][\S § Ò

Öu”œYuT¡e-JYuEGJ¦eGQUVWVBJI`cY°YuJ3hiH

’ÔhuJ8`ct·HTBPGTWHQ][\Sϔ¥*QRYuE«hiJI`ut—J8X Y*YiT=C)

OÜ7P9Q9RŒ RÔàFQTS4U

ÂV

¿_ÎÏÁ¨Ð

Ã

ÐÁÀ)Ð3ÊRÐͦÐ3¿_Á

à ÀWAÈÎ Ã)Â0X

LY 3¿-Ð :

Â~Ã ÎÃ ÀOÒ

×

1!AA!A1 Z?

ÖM[ Á+C Î À

Â

ÊÏÊ

>\AÈÁ^]_ÐiбÐL_BÎ

à ÁÃ

<=>=U

ÃF

`]«Áa]

Â

Á9bZÒ<GÖ P Î^c8Î P Ð Ã bDZ±Ò

Öed

·JYNf‚e-JÈ[Ǜ_JISUv X3TWP/Yi[WQRP_QRPGVg8A¶*¥ªJ£X3[WP v|J›_P_J¡YuEGJ€`cJ3YT

¤

`cTBSR^GYuQUTWP_`¦QUPhf‚¥*EGQ]XwE QU`<YuEGJ

[WSRVBJ3eGhw[\Q]Xmƒ~[WhuQUJYkbA´

ikj TldÒ09

×

1!AAA!139

Ö >\f m Ò09

×

1!AA!A139

Ö 7 KQ L1A!AAB1npo

¥*EGQ]XwE£Q]`mQUP ¤[WXYZYiEGJ±`uJYOT ¤ huTdTWYi`mT ¤ YuEGJ5`cb|`cYuJ3HT ¤ J8f/^_[~YiQRTBP_`3OMOhu¯BeGPGJ3hZe_[W`uJI`œX3[\P¡e-J^—`cJ8v

QUP ƒ¸[WhuQUTW^—`œ`uQ™Yi^_[~YiQRTBP$’¤TWh°QUP_`kYw[\P_X3J±¥*E_J3P€YuEGJPd^GHe-J3h)T ¤ `uTWSU^|YuQUTWP€QU`°QUP|›_PGQRYuJT ¤¤TWh)X3TWHtG^|YiQRPGV

hiJI[WS²`cTBSR^|YiQRTBP_`w” ¦ž¨P€YuEGJ<XI[W`uJ5T ¤ ‘ qx¥ªJ¥ª[WP/YOYiT¡XTWHtG^GYuJ<`uTWSU^|YuQUTWP_`°T ¤ [WSRVBJ3eGhw[\Q]X±`ub|`kYiJ3H¦`°QUP

@ A )DEGJ ¤TBSRSUT~¥*QUPGVtGhiTWt-TB`uQRYuQUTWP«YuJISRS^_`OEGT~¥»YiT^_`uJ¦MOhu¯BeGPGJ3hœe_[W`uJI`œQUPÈTWhwv|JIhmYuT

Ã

À~Êqc~а[`ub|`kYiJ3H

T~ƒBJ3h @ A ´

r  à;sà

‹ RŒ

RÔàFQ>Sut]_Ð

X

Y*¿AÐ

¸à ÎÃ

ÀO8 ×

1!AA!A1 Z?

13

A×

V,

×

1A!AAB13

A

V,

:wvZÎÏ¿@ A 8 × 1AA!A13

:wv

P Ð Ã ÎwÐ

Â

ÊÏÊ·Áa]GÐ

Ã

À\Ê

Á©ÎÔÀ~¿

à Àiyx

$ d f  Á©Î ÊÂ

dà РÊ

Â~Ã

Ð

ÃÂ iÐ{z

Î|}iyx

$

~€Ÿ¿AÀ

Ã

À~Ê

Á©ÎÔÀ~¿|΂U 8kL:ƒd

„ |}i x $ ]

Â~Ã Ð_

Â

3Á©ÊÌ˓À~¿AÐ

Ã

À\Ê

Á9ÎÔÀ\¿ ΂uU 8 × Vh…

×

1A!AA!1C

V…

:#[]_ÐuÐN…tS> @BAd†t]_п

҇…

×

1AA!AB1…

ÖÎ

Ã

Áa]GÐ

Ã

À~Ê

Á©ÎÔÀ~¿€ÎÏ¿ @BAÇÀ°Áa]GÐ

 Ê/Ð Â Î

Ã Ë Ã Á¨Ð3͈d

DEGQ]`œtGhuTBt—T/`cQRYuQUTWP«YiJ3SUS^—`mYiE_[~YO¥rJ±E_[¸ƒWJ)YiT[BvGvYuEGJ

Ä

›_J3S]v¡JIf/^_[\YuQUTWP_`kÆJ

A =YiT¦YuE_J±SUQU`cYœT ¤

J8f/^_[~YiQRTBP_`YuE_[\Y=¥rJ¥[\P/YYuT)`cTBSRƒBJW²prTWP_`uJIf/^GJIPBYiSRb¥rJE_[¸ƒBJYiTXTWHtG^GYuJ*[)MOhu¯BeGPGJ3h²e—[W`uQU`T ¤ n " Ó

t-TWSUbdPGTWHQ][\S]`r[WP_v¦Ó£ƒ~[WhuQ][\eGSUJI`Iž¨P ¤[WXYI¶/YuE_JOHTBhuJœJIf/^_[~YiQRTBP_`rbWTW^E_[¸ƒWJ*YiEGJ°HTWhiJœ[\e_SRJœbWTW^[\hiJmYuT

X3TWHtG^|YiJ)[<MOhu¯BeGPGJ3he_[B`cQ]`I

Â

6 -5 1* 1y)6D*+-0/12.35'&1 3 676

nZPGT\YiEGJ3h*TBhivGJ3h*TWPHTWPGTBHQU[WSU`Q]`YuE_JZJIVWhiJ3J)s*J3ƒBJ3hw`cJOSUJ¾|QUX3TWVBhi[WtGEGQ]X3[\S-TWhwv|JIh*TWh’‡O ‡TWhwv|J3h ” 

DE_QU`)TBhivGJ3h)Q]`SUJI`i`)QRP/Yi^GQ™YiQRƒBJYuE_[WPÇYuEGJSRJ3¾dQ]XTBVWhw[\tGE_QUXI[\STWhwv|J3h)e_^|YQRYE_[W`e—JIJ3P `uEGT~¥*P YuE_[\YYuEGJ

Os ÇTBhiv|JIhuQUPGV5QU`ªYiEGJ)HTB`cY*J­<XQUJ3P/YI¶_QRP«VWJIPGJ3hw[\S©¶ ¤TWhmX3TWHtG^|Yw[~YuQUPGV<MOhi¯WeGPGJIh*e_[W`uJI`I

E7G

×

G!GG3

E

I G

×

G!GG3

I

QKJ !!<oÒ

E Ö

×

&Q

!<oÒ

I

Ö±TWh !!<oÒ

E Ö

!!<oÒ

I Ö

[WP_vo¶|QUP & VWW>_/¶|YiEGJ)hiQRVBEBYuš©HT/`kYPGTWPB3J3hiT5J3P/Yuhib<Q]`*PGJ3V/[~YiQRƒBJW

½ J)E_[¸ƒWJ)`uJ3JIPQUP«tGhuTBt—T/`cQRYuQUTWP †OYuE_[\YœMOhu¯BeGPGJIh*e_[W`uJI`*[WhuJO^_`uJ ¤^GS·YuT¦`cTBSRƒBJ)[5`ub|`kYiJ3H e_^|YmYuE_J3b

XI[\P«[\S]`cT5e-J)^_`cJ8vYuT¦v|Q]`uX3T~ƒWJ3hSUT~¥ v|JIVWhiJ3JOhuJISU[\YuQUTWP_`I´

r  à;sà

‹ RŒ

RÔàFQˆU Î

ãÂ4X

Y*¿AÐ

¸à ÎÃ

À

 ¿ ÎP Ð Â

ÊWA À 0C

Á^]_пgU wÀ~¿—Á

Â

ÎÏ¿

ã ÊÏÊmÁa]GÐ

ŸÎÏ¿

P

ШÉGÐ3¿

P

п—Á|Ð

pB_Â Á9ÎÔÀ\¿

Ã

ÎÏ¿NA À)ÊUÀ@[Ð

Ã

ÁªÁ¨À~Á

Â Ê P Ð5%uÐwÐ d

µªb<XTBHtG^|YuQUPGVMOhu¯BeGPGJ3hªe_[B`cJ8`=QRYªQ]`ªJ3ƒWJIP<t-TB`i`cQUeGSUJmYuT±›_P_v

Â

ÊÏÊBYuEGJ°[\SUVWJIeGhw[\Q]X*huJISU[\YuQUTWP_`r[\HTWP_V

×

1A!AA ? ’Ô`uJ3JÌp ³OˆBKat_[\VBJ°}B}W ¤TWhm[5tGhiJIX3QU`uJ)v|J›_P_Q™YiQRTBPT ¤ YiEGJ)QUvGJI[\S·T ¤ hiJ3S][~YiQRTBP_`w” 

r  à;sà ‹ RŒ RÔàFQ ! #"%$&

„(' É Â

BÐ*),+.- |1Î_ Â

ͦÀ~¿AÀ~Í5Î

Â

Ê_À P Ð rÎÏ¿ 8 8 × 1A!AAB13

1 j × 1!AAA1

j ? :&[]GÐ uÐ

Â

¿_Ë5ÍÀ\¿-À\ͱÎ

Â

ÊoÎÏ¿kc~À~Êqc8ÎÏ¿ À~¿-ÐÀœÁ^]_Ð × 1A!AA13

ÎÃ

%uÐ

Â

Á¨ÐœÁ^]

 ¿ Â

ÊÏÊoÍÀ\¿-À~Í5Î

 Êà ÎÏ¿ 8 8j ×

1AA!AB1

j ? :

ŸÊRÐL_BÎwÀ %

Â

Ék]dÎ

Â

ÊoÀ P Ð ÎÏ¿ À *ÎÏ¿

à Á  ¿ wЃ|

 ¿ P ÊRÐ3ÁFU wÐZÁ^]_Ð

X

Y*¿AÐ

¸à ÎÃ

À *Áa]dÎ

à À P Ð ÎÏ¿ 7d#t]_п

U/\8 8j × 1!AAA!1

j ? : P Ð Ã ÎwÐ

Â

ÊÏÊ·Áa]GÐuÐ3Ê

Â

Á©ÎÔÀ~¿

ÃÂ

ÍÀ\¿ ×

1!AA!A1 ? d

µªbÈX3TWHe_QRPGQUPGVtGhiTWt-TB`uQ™YiQRTBP€K[\P_v€}¥ªJX3[\PÈYuEd^_`O›_P—v£YiEGJ¦SRT~¥ªJI`cYœhiJ3S][~YiQRTBP_`°[\HTWP_V<YuE_J k

DE_QU`¥*QUSRS·J3P_[WeGSRJ°^_`ªYiT¦v|JI`iXhiQRe-J)[\P_vVBJ3PGJIhi[WSRQ3JœQRP¡[\P_T\YuE_J3h¥ª[¸bYiEGJ)TWhiQUVWQUP_[\So[~YuYi[BXw•¦T ¤ g[\Yi[WhuQUP

’9`cJIJ)`cJ8X YuQUTWP¡¼|KW”

¤

TBhYuEGJ

§

[\Yi`u^GHT\YiT5ž¨H¦[WQ·Xhibdt|YuT/`cb|`cYuJ3H«

0 21.*.1k) 6p-`*.1*+34'51 /12.35'&1 3 676

ZT\YiQUX3J*YuE_[\Yªv|J3›_PGQRYuQUTWP£†œv|TdJI`m¿AÀ~Á P ПÉ_п P À~¿

Â É Â Á9Î

Ê  ÊBÀ ÎÏÁ^]|ͱ Z^GJZYuT`ut_[BXJmSUQRHQRYi[\YuQUTWP_`

QRYmQ]`*QRHt-TB`i`cQUeGSUJOYuT<v|J8`uX3huQUe—J)QUP¡v|JYw[\QUSU`*[WSRSaYuEGJ[WSRVBTWhiQ™YiEGH¦` ¤TWhmXTBHtG^|YuQUPGVMOhi¯WeGP_J3he_[W`uJI`*`uT¥rJ

hiJ3t-TWhuYTBPGSRb hiJIXJIP/Y±QUH5t_huT~ƒBJ3HJ3P/Yi`I ‘ Q]`cYuTWhiQ]X3[\SUSUbÈYiEGJ<›_hw`cY5[\SUVWTBhuQRYuE_H ¤TBh±XTBHtG^|YuQUPGVÇMOhu¯BeGPGJ3h

e—[W`uQU`¥ª[B`)tGhiJI`uJ3P/YuJ8vÇe/bǵª^_XwEde—JIhuVBJ3h µª^_X3Ù/¼d¶µª^_X¸{~„|¶µª^_X8{\ˆŸÈDEGJµª^_XwEde-J3hiVWJ3h±[\SUVWTWhiQRYuEGH"QU`

[ƒWJIhub«tGhw[WXYuQ]X3[\S[\SUVWTBhuQRYuEGH [WP_v¡QRY°Q]`œQRHtGSUJ3HJ3P/YiJIv£QUP€[WSRSprTBH5t_^|YuJIhOnZSRVBJ3eGhw[ldb|`cYuJIH`’9[<PGTBP

J3¾|E_[\^_`cYuQUƒWJœSRQ]`cYªT ¤ J­<XQUJ3P/YQRHtGSUJ3HJIPBYw[~YiQRTBPQ]`3´ § [WVWH¦[G¶GprT|XTB[_¶dl|QRPGVB^GS][\h8¶ § [BX3[W^GSU[¸bB¶dMOe·¶o33w”

`uJIXYuQUTWPz_U†OX3TWP/Yi[WQRP—`ª[X3TWHt_[\hiQ]`cTBP<e—J3Yk¥rJIJ3PYuE_J3H ¤TBhYuEGJ ‘ q tGhiTWe_SRJIH § TBhuJOhiJIXJIP/YuSUb<HTWhiJ

J3­<XQUJ3P/Y[\SUVWTBhuQRYuEGH¦`

¤

TWhX3TWHtG^|YiQRP_VÈMOhu¯BeGPGJ3h)E—[¸ƒWJ5e—JIJ3P–tGhiTWt-TB`uJIvo¦DEGJ›—hi`cYTWPGJ 976 _[\^—ˆWˆ

hiJIvG^_XJ8`YuEGJZX3TWHtG^|Yw[~YiQRTBP±YiT[°SRQUPGJ8[\h[WSRVBJ3eGhw[OtGhuTBeGSUJ3H ’˜YuEGJœSRQUPG•e-JYk¥ªJ3JIP¦`cTBSRƒdQUPGV[\SUVWJIeGhi[WQUXª[\P—v

M°[W^_`i`cQ][\PÇJ3SUQUH5QUP_[\YuQUTWP–Q]`ƒBJ3hibÈTWS]v ’

§

[BX\†IÙG¶ ·[ IB}ªTBhJ3ƒBJ3PºldbdSUƒWJI`cYuJIhw”u”  §

TBhuJ¦t_huJ8XQ]`cJISRb€YuEGJ

[WSRVBTWhiQ™YiEGH 976)QRP_X3huJIHJ3P/Yi[WSRSUbXTBP_`cYuhi^_X Y*H¦[~YihuQ]XJ8`QRP¡v|JIVWhiJ3J:6|¶ ¶·33(8¡´

9;: <==>

n@? nA? nAB!!<DCEFHG KŸÓ ×

1A!AA!1C

n × [ G

AA!A

n A*[ $

AA!A

n ( [ JI AA!A

GGG GGG

K,L

L

M

   à Ã

¥*EGJIhuJ0n

×

1n A1A!AA[WhuJ¡HTWP_TWHQU[WSU`¦`u^_XwE$YuE—[~Y¦YuE_J¡YuTWYi[\Sœv|J3VBhuJIJT

¤

n=

QU`¦SUJI`i`5YuE—[\P 8¡

DE_JP_J¾dY`kYiJ3t$QRP$YiEGJ£[\SUVWTBhuQRYuEGH Q]`5YuT X3TWHtG^|YiJ¡[€hiT~¥ J8XwEGJ3SUTWP$T

¤ 95:

^_`cQUPGVÇSUQRPGJ8[\h<[WSRVBJ3eGhw[

YiJIXwEGP_QUf/^GJ8`3²žŸYmH±^_`kYme-J)J3HtGE—[W`uQIJIvYuE_[\Y*YuEGJ)hiT~¥m`ªT

¤ 95:

QU`m[

Ã Í Â ÊÏÊ

ÃF Ã

ÐÁoT

¤

[WSRSAYiEGJ)t—T/`u`uQUeGSRJ

hiT~¥m`5l{n A!A L K+ n n u u s!!<oÒan¡ÖW 8 V !!<oÒ Ö`o/

n J3ƒWJIP¡HTWhiJ)J­<XQUJ3P/Yœ[WSRVBTWhiQ™YiEGH 9 ; _[W^_„BKQ]`mPGT~¥x[¸ƒ~[\QUSU[WeGSUJW´²YiEGJPd^GH±e—JIhZT ¤ hiT~¥m`*QUP¡YuEGJ

VBJ3PGJIhi[\YuJ8v–H¦[~YuhiQR¾ 9 : QU`5HQRP_QRH¦[\Sm[WP_vºYuEGJ«H¦[~YihuQR¾ QU` ¤^_SRS*hw[\PG• ’Ô^GP_v|JIh<`cTBHJX3TWP_v|QRYuQUTWP—`5`uJ3J

_[W^_„BKϔ _TWh¦YiEGJÈ`ut—J8XQ][\SZXI[W`uJT ¤ @ A ¥rJ¡^—`cJB¶*QRP ¤[WXYI¶m[–`ut—J8XQ][\SmƒBJ3hw`cQUTWP$T ¤ YuE_QU`[\SUVWTWhiQRYuEGH

’9X3[WSRSUJIv 9 ; ; 6W”OYiE_[~Y±Yi[W•WJI`QRP/YuT [WXIXTW^_PBY)YiEGJ[BX YiQRTBP T ¤ YuE_JGhiTWe-J3P_QR^_`

A

aÇ³ ¤ X3TW^Ghw`uJ¦YuEGJ

QUHtGSUJ3HJ3P/Yi[\YuQUTWPT ¤ YuEGJ)SUQUPGJI[Whm[\SUVWJ3e_hi[t_[\huY*^_`cJ8`m[v|JIvGQUXI[~YuJ8vƒBJ3hw`cQUTWP ¤TWh @BA—

_huTBH [€X3TWHtGSUJ¾|Q™Ykb–t-TWQUP/Y¦T ¤ ƒdQUJ3¥®YiEGJYk¥rT€QRHt-TWhuYi[WPBY¦t_[Whi[WHJYuJIhi`±[\hiJW´@8 YiEGJ«H[\¾|QRH¦[\S

vGJ3VWhiJ3J5T|X3X3^GhuhiQUPGVQUP YuEGJ<X3TWHtG^|Yw[~YiQRTBP [WP_v£YiEGJ<`uQIJ : T ¤ YiEGJH¦[~YuhiQR¾ 95: <DE_J3P€YuEGJ¦¥*EGTBSRJ

X3TWHtGSUJ¾|QRYkb<QU`*`uQUH5t_SRb: ¥*E_J3hiJ:6# QU`*YuEGJX3TB`cYT ¤ SUQRP_JI[\hm[WSRVBJ3eGhw[G

}*+35 )) *.-0/12.3('$&1 3 676

prTBHtGSRJ3¾|Q™Ykb5T ¤ MOhi¯WeGPGJIhe_[B`cJ8`m’Ô[WP_v¦HTWhiJmVBJ3PGJIhi[WSRSUbt-TWSUbdPGTWHQ][\S_`ub|`kYiJ3H®`cTBSRƒdQUPGV/”Q]`YuEGJO`c^GeGjkJIX Y

T ¤ [E/^_VWJ)Pd^GHe-J3hœT ¤ t_[\t-J3hw`Iªn*vGvGQRPGV<YuEGJ

Ä

›_JISUv«J8fB^—[~YuQUTWP—`¨Æ*

A

V\=QUH5t_SRb«[¦`cQUHtGSUJVWJITWHJYihub

T ¤ YuEGJZ`uJY=T ¤ `cTBSR^|YiQRTBP_`I´[\SUSGYiEGJmQ]v|JI[WSU`[\hiJ*hi[Bv|QUXI[\S]`*’˜PGTH^GSRYuQUtGSUJmhuTdTWYi`w” ¶ IJ3hiTv|QUH5JIP_`uQRTBP_[\S·’˜›_PGQRYuJ

Pd^GH±e—JIh*T ¤ `cTBSR^GYuQUTWP_`w” ž¨P ¤[WXYQRYmQ]`*JI[B`cbYiT¦tGhuT~ƒBJW´

r  à;sà ‹ RŒ RÔàFQ t]_Ð5Í

Â

_WÎÏÍ

Â Ê P Ð%uÐwÐ 8 À Áa]GÐmÉGÀ\ÊÌË~¿-À\ͱΠ ÊÃ

À',

ÎÏ¿ ÎÏ¿€Áa]GÐ wÀ\ÍmÉ Á Â

Á9ÎÔÀ\¿ÇÀ

 X

Y 3¿-Ð

Â~Ã ÎÃ

ÎÏ¿ 3Ê

P ÎÏ¿

V

ÐÊP Ð

p_Â Á©ÎÔÀ~¿

à A

m ÎÃ ÊRÐ

Ãwà Á^]

Â

¿5Ó+d t]GÐ:wÀ\ÍmÉAÊRÐ_BÎÏÁ©Ë5ÀmÁa]GÐ5[]GÀ\ÊRÐ

wÀ\ÍmÉ

ÁÂ Á9ÎÔÀ\¿ÈÎ

Ã

wÀ

¿ P Ð P 3Ë

Â

É_À~ÊÌË~¿AÀ~Í5Î

Â

ÊÎÏ¿ 6 d

Ü Ž|"! S$#À\ÁŸÐ±Áa]

Â

ÁÁa]dÎ

Ã

uÐ

ÃF ÊÌÁªÎ

Ã

À~¿—ÊÌË

Â

uÀ

]

ÉWÉ_Ð wÀ

¿ P d\t]dÎ Ã Í

dÃ

Á wÐwÀ~ÍZÉ

Â

uÐ P [²ÎÏÁ^]

Áa]GÐ wÀ~ÍZÉ-ÊRÐL_BÎÏÁ9ËÈÀ ¦Á^]_ÐÐL_@]

Â%dà Á©Î^c¸Ð

à Р `] <Ò˜Ó 6GÖed@ ¿É Â

3Á9ÎwÐ v]GÀZ[Ð c~Ð `v)Ð&% 3ÎÔÐ3¿_Á

 Ê/À ÎÏÁa]dÍ

Ã

À wÀ~ÍZÉ

Á©ÎÏ¿ X

LY 3¿-Ð

Â~Ã Ð Ã

wÐL]

Â

c~бÍ

`] wÐ3Á9Á¨Ð°Áa]

Â

¿ÈÎÏ¿ÈÁa]GÐ [À Ã Á

Â~Ã Ð{d

n Xhi^_XQ][\Sat-TWQUP/YZQUP«YuEGJX3hubdt|Yw[\P_[WSRb|`uQU`T ¤ ‘ q Q]`*YuE_J[\eGQUSUQ™YkbYuTvGQU`cYuQUPGVW^_QU`uE£[

Ä

hw[\P—v|TWH±Æ<’˜TWh

VBJ3PGJIhuQ]XI”[WSRVBJ3eGhw[\Q]XO`cb|`cYuJ3H ¤hiTWH [WP¡[\SUVWJ3e_hi[WQUX°`ubd`cYuJIH X3TWHQRP_V ¤huTBH ‘ qm-½ J¥*QRSUS·J8`kYw[\eGSUQ]`cE«QUP

`uJIXYuQUTWPz_K)YiE_[~Y*YiEGQ]`mX3[WPe-J)v|TWPGJ)edbX3TWHtG^|YiQRP_V¦MOhi¯We_PGJ3he_[B`cJ8`*[\P_vXTBH5t—[\hiQRPGV±YuE_J)H[\¾|QRH¦[\S

vGJ3VWhiJ3JZTdXIX^GhihiQRPGVQRPYuEGJ8`cJOXTWHtG^GYi[~YiQRTBP_`Inœ`[XTBP_`uJIf/^GJ3P—XJm¥ªJZE_[¸ƒBJmYiT±v|J8`uX3huQUe—JZYuEGJITWhiJYiQUXI[\SUSRb

YiEGJZe-J3E—[¸ƒ/QUTWhT ¤ `c^—XwE[XTBHtG^|Yi[\YuQUTWPaDEGQ]`r`cYu^—v|bQU`e—JIbWTWP—v5YuEGJO`uX3TWt-JmT ¤ YiEGQU`rt_[Wt—JIhr[\P—vQU`YuEGJ

`u^Ge|jkJ8X YT ¤ [WPGT\YiEGJ3hªt_[Wt—JIhµ²l|„W} ¤hiTWH®¥*EGQ]XwE¥ªJOJ¾dYuhw[WXYª`uTWHJZhiJI`u^GSRYi`IQUhi`cYªYuEGJ)[W`ubdHt|YuTWYuQ]X

e-J3E—[¸ƒ/QUTWhT ¤ YuE_J)H[\¾|QRH¦[\SavGJ3VWhiJ3J°T|X3X3^GhihuQUPGV5QRPYuE_JXTWHtG^GYi[~YiQRTBPQ]`I´

! ' (*)3u+s,.-!w/0-1-4

Ó

LLAvLL32_AA!A

_huTBH YuE_QU`)hiJI`u^GSRY)¥rJ¦•dPGT~¥xYiE_[~YX3TWHtG^|YiQRP_VÈMOhu¯BeGPGJ3h)e—[W`uJI`°T ¤ hi[WP_v|TBHÅ`cb|`cYuJIH`°Q]``uQRHtGSUb

J3¾|t—TBPGJ3P/YuQ][\S5X3TWP_`uJIf/^GJIP/YuSUbW¶oQUP€tGhw[WXYuQ]XJB¶aQ™Y)Q]`°QRHt-TB`i`cQUeGSUJ5YuT¡`cTBSRƒBJ5[`ubd`cYuJIH T ¤ ÓºJ8fB^—[~YuQUTWP—`œT ¤

vGJ3VWhiJ3J 6QUPÓȃ¸[WhuQ][\e_SRJ8`¥*EGJIPÓ£Q]`ªeGQUV’9`u[¸b¦Ó

6

*7B” ²_huTBH [tGhw[WXYuQ]X3[\S-t-TWQUPBY*T ¤ ƒdQRJI¥ Q™YQ]`rJIƒWJIP

HTBhuJ°QUH5t-TWhuYi[WP/YªYiTE_[¸ƒWJ<ÐL_

Â

Á c Â Ê Ð Ã

’Ô`uJ3J µ²l|„W}˜”

¤

TWh*8[WP_v4

:

¥*E_J3PӀQ]`*`cH¦[WSRS©´

Â

P †3z †8¼ †IÙ †~{ G!GG K\} K\z KB¼ G!GG B„

v|J3VBhuJIJ z z ¼ ¼ G!GG ¼ Ù Ù G!GG †¸K

PdeT ¤ huT~¥m` †IÙWˆ/¼ †I}/{\ˆ WWzB„ †W†Iz/K\z G!GG z/„\z/W„ KWKW}G†8K\z KB{~B/{W¼ G!GG

*6ZZ 6NL{2 14 6

6

D[\e_SRJ†W § [~¾|QRH¦[WSAvGJ3VWhiJ3J°T|X3X3^GhihuQUPGV5QRP£MOhi¯WeGPGJIh ¤TWh  ¿ P À\Í `ubd`cYuJIH¦`3

_TWh=QUP_`cYi[\P—XJm¥*EGJIP¦Ó h 7_¶W¥ªJmhuJ8[Wv±YuE_JmH¦[~¾|QRH¦[WS_v|J3VBhuJIJ*QRPYiEGJ*Yw[\eGSUJW´ 8 L6œ[WP_v5YuE_JZ`cQ3J

T ¤ YiEGJH¦[~YihuQR¾Q]`6 6

`uTYuE_J°YuT\Yw[\SXTB`cYmQ]`*eGQUVWVWJIhYuE_[WP 6 6

6 6

A

ªž¨P µ²l|„W}¥rJ)VBQRƒBJ)J¾|tGSUQUX3Q™Y

J3¾|tGhuJ8`u`uQUTWP_`

¤

TWh : QUP

¤

^GP_X YiQRTBP«T

¤ 8 [WP_vÓ dYuEGJ°Yk¥ªT

¤

TWSUSRT~¥*QUPGV

¤

TWhiH^GS][W`*[WhuJO^_`uJ

¤

^GS

¤

TBh ‘ qm´

r  à;sà ‹ RŒ RÔàFQ "Ð3ÁgX wÐ

Â<Ã Ë Ã

Á¨ÐÍ ÀœÓ  ¿ P À~ÍÅÐ

pB_Â Á9ÎÔÀ\¿

Ã

ÎÏ¿«Óhc

 Î ÊUÐ

Ã

d]l

ÎÏ¿ Áa]GÐ wÀ~Í

É ÁÂ

Á9ÎÔÀ\¿ À _X [²ÎÏÁ^] 9;Á^]_Ð

Ã

Î8Ð5À)Í

Â

Á Î_ Â Á P Ð uÐwÐ;8 ÎÃ z

# Í wÐÀ uÀ@[

Ã

ÎÏ¿ P Ð5%uÐwÐ;+ ÎÏ¿ P Ð5%uÐwÐ

ÎÏ¿€Á^]_ÐÍ

Â

Á Î_ L%;86ÓL " Ó A

L ;@=ÓҘÓ?V L8ÖoÒÔÓ?V ÖaҘÓ

"

L¸Ö

#¦€ *±– *·%w

DE_J<huJ8`c^_S™Yw`)T ¤ YuE_QU`±`cJ8X YuQUTWP–[WhuJ<[WSRSX3TWHQUPGV ¤huTBH"J3¾|t—JIhuQUHJ3P/Yi`I´¥ªJ[\hiJ¦hu^_PGPGQUPGVÈMOhu¯BeGPGJIhe_[~š

`uQ]`5X3TWHtG^|Yw[~YiQRTBP_` ¤TWhhuJ8[\S`cQ3J ‘ q…tGhiTWeGSUJ3H¦`'ªYuEGJIP“¥ªJ[WP_[\SUb|`cJYuEGJ«hiJI`u^GSRYi`5QRP“YuE_JSUQUVWE/Y5T ¤

YiEGJ3TBhuJ3YuQ]X3[WS-hiJI`u^GSRYi`TBe|Yi[WQRPGJ8vQRP«`cJ8X YiQRTBP«}_z—

·JY ‘ qZÒ!c1cÓ·Öe—JYuE_J[\SUVWJIeGhw[\Q]X¦`cb|`cYuJ3H XTBhuhiJI`ut-TWP_v|QUPGV«YiT¡YuEGJe_[W`uQ]X ‘ q t_huTBeGSRJIH"¥*QRYuE

Ò0-Ö[5hw[\P_v|TBH ’Ôf/^_[Bv|hi[\YuQ]XI”rt-TWSUb/P_TWHQU[WSoT ¤ v|J3VBhuJIJ!¦[WP_vhi[WP_v|TBH XTdJ­<XQUJ3P/Yw`QRPYuE_Jœ›—J3S]v @ A 

DT±VBJ3PGJIhi[\YuJ*YiEGJ°`cb|`cYuJ3H¬T ¤ JIf/^_[\YuQUTWP_` ‘ qZÒ! 1uÓ·Ö¥ªJZE—[¸ƒWJZ^—`cJ8vYk¥rT±tGhiTWVWhw[\H¦`I´·TBPGJZ¥*hiQ™YuYuJIP

edb¢/ § Q]XwEGTBP±^_`uQUPGVZD /ldE_TB„W}_YuEGJ*TWYuEGJIh²TWPGJe-J3QUPGV°¥*huQRYcYiJ3PQRPp–e/b /nm^GVBT\YIGTBh²QRP_`cYi[WP_XJ

¥*E_J3P !7 L{[\P—vÈÓ L6QRYOYw[\•BJI`5†±HQUPÇKB¼`uJIX«’Ôg=žcžuž±†8„W„W„ § EH¸”mYiTVBJ3PGJIhi[\YuJ±YuEGJ¦[WSRVBJ3eGhw[\Q]X

`ub|`kYiJ3H [WP_vYuEGJ`uQIJ)T ¤ YuEGJ)TB^|YutG^GY*›_SRJ)Q]`°†I} § edb/YuJ8`3

_huTBH®YuEGJMOhi¯We_PGJ3h*t-TWQUP/YmT ¤ ƒdQUJ3¥ ¥rJ°PGTWYuJOYuE—[~Y*YuE_J°Yk¥rT¦[~­¦PGJ°Yihi[WP_` ¤TWhiH ’Ô`uJ3J)`cJ8X YiQRTBP¡KB” X

[WP_v Z…[\hiJ±^—`cJISRJ8`u`I´mYiEGJJ JAJIX YJZ’˜hiJI`uta X=”œQ]`°JIf/^GQUƒ¸[WSRJIP/YœYiT«[hw[\P_v|TBH XwE_[\PGVBJ±T

¤

XTdTBhiv|QUP_[\YuJI`

’ÔhuJ8`ct·YiT±hiJ3t_SU[BXJmYiEGJOVWJ3P_J3hw[~YuTBhi`T

¤

YiEGJ°QUvGJI[\S A5edb¦SRQUPGJ8[\hXTWH±eGQUP_[~YiQRTBP_`i” ‘ J3P—XJœYuEGJOQUvGJI[\S²’˜YuEGJ

E_QRSUe—JIhcY

¤

^GP_XYuQUTWP—”ZhiJ3H¦[\QUP_`œ^GP_XwE_[WPGVWJ8vo)³

¤

X3TW^Ghw`uJW¶-¥*Q™YiEGTW^|Y]X¶ Z¶ ‘ q»XTB^GSUv£e—J[~YuYi[WXw•BJIv«edb

À\Á^]_ЪHJYiEGT|vG`3

1k6 }$ '*1+T6D31*.'

DE_J¦›_hw`kY ‘ q¬prE_[\SUSRJIPGVWJ¦¥[W`°t_huTBt—T/`cJ8v€QUP g[\YiˆBÙWX,ª¥*Q™YiE [–’Ô`ub/H±e—TBSRQ]XI”)tGhuQ3J¦T ¤ ¼\„W„ dDE_QU`

X3TWhihuJ8`ct-TWP—vYiT[ ‘ qZÒ!7 q1cÓ\ 7/Ö*tGhiTWe_SRJIH[WP_v£X3[WP£e-J5v|T~¥*P_SRT/[Wv|J8v

¤

hiTWH g²[~YiˆBÙW[Ÿ°GTWh

YiEGQ]`*tGhiTWeGSUJ3H«¶dYuE_J)J¾|E_[\^—`kYiQRƒBJO`uJI[WhiXwE[~YcYw[WXw•<hiJIf/^GQUhiJ

6

6\ÕuØ°TWt-J3hw[~YuQUTWP—`3¶|EGJIP_XJ°Q]`*PGTWY

¤

J8[W`uQRe_SRJB

½ JÈE_[¸ƒBJ¡XTWHtG^GYuJIv [“MOhu¯BeGPGJ3h¦e—[W`uQU`T

¤

YuEGQ]``ub|`kYiJ3H ¥*Q™YiE YuEGJ [\SUVWTWhiQRYuEGH 9 ; ’ÔQRP

¤

[BX Y[

`ut-JIXQ][\S-ƒWJIhi`uQUTWP

¤

TBh/@ A ”=QUHtGSUJ3HJ3P/YuJ8vQUP<YiEGJ°MOeǒԁ_[B`kYmMOe—”ªMOhu¯BeGPGJIhrtGhiTWVBhi[WH’Ô¥*huQRYcYiJ3PQRP£p” 

nœ`=J3¾dt_SU[WQRPGJ8v¦QUP<`cJ8X YuQUTWP<}_})YuEGJœH5T/`kYYuQUH5JOXTBP_`c^_H5QUPGVt—[\huYQU`SRQUPGJ8[\hr[WSRVBJ3eGhw[G´

¤

TWhYuEGQ]`=J3¾|[WHtGSRJ

¥ªJE—[¸ƒWJ`uTWSUƒWJ[ 7tL6 [IL{27*75H¦[~YuhiQR¾T~ƒBJ3h1@ A °DEGJYiT\Yi[WShi^GPGP_QRPGVYuQUHJ±¥[W`†I/{\Wˆ/K±`uJIX

’4…K¦vG[¸b|`m[\P—v«z<EGTW^_hi`w”ªTWP£[WP ‘ g ¥ªTWhi•|`kYw[~YuQUTWP¥*QRYuEÈ[WP£[\SUtGE_[q"!OÙW¦tGhiT|XJ8`u`uTWhm[\Y†I„B„W„ § EH

   à Ã

[WP_v¡zdMOTedb/YuJI`œT

¤

smn

§

aldTBHJ±X3[WhuJ±E_[W`œe-J3J3PÈYi[W•WJ3P

¤

TWhœYuEGJ5HJ3HTWhib«H[WP_[\VBJ3HJ3P/Yœ`uQUP_XJ±YuEGJ

`uQ3J°T

¤

YuEGJ°tGhiT|XJ8`u`¥[W`m{dÙB¼MOQUVB[±edbBYiJI`I

_TWhYuE_QU`m[WSRVBJ3eGhw[\Q]XO`cb|`cYuJ3H¦` g²[~YiˆBÙW[·¥ªJ

¤

TW^GP—vYiE_[~Y*YiEGJ3hiJ°¥rJIhuJ À

à À\Ê

Á©ÎÔÀ~¿

à ´

^ h22

L{*7 77 6 7qLL12*7 Z2 L ^

2 2 2 7 727*2 LJ7 ZqL 86qL 2

^ L7*6 6 tL

6Z 7*6Z ZNL627

72 ^ L'7

272 7 *6 NL{ 7NLL127@27

¥*EGJIhuJ*^

ÕuØ

J

× 6 na׸

žŸYmH±^_`kY*e-J)J3HtGE_[B`cQ3J8v¦YiE_[~Y*YiEGQU`*X3TWHtG^|Yw[~YiQRTBPQ]` ¤[\h*e-J3bBTWP_vYuEGJ)XI[\t_[BXQRYkb¦T ¤ [WSRSAYiEGJ)T\YiEGJ3h

QUHtGSUJ3HJ3P/Yi[\YuQUTWP_`)[WP_vÈ[WSRVBTWhiQ™YiEGH¦` ¤TWhXTBHtG^|YuQUPGV£MOhi¯WeGPGJIhœe—[W`uQU`)[B`œQ]`°H¦[Wv|J¦X3SRJ8[\h°edb¡YuEGJ ¤TBS™š

SUT~¥*QUPGVYw[\eGSUJW´

nmSUVWT †I„ †¸K †3z †IÙ †8 †8ˆ K|† }W}

§

[WtGSRJ ’Ôµª^_XwEde-J3hiVWJIhw” {d†B{` ¼\/{|ˆ±`

§

[\VWH¦[ ’Ôµª^_XwEde-J3hiVWJIhw” †W¼5` †~{d„±` †I}/¼|z5` †IˆB„W„5`

MOe ’9µr^—XwE/e-J3hiVWJIhm” „G` †¸¼|U†O` †8„B¼±` zWzB}_K±`

l|QRPGVB^GS][\h ’9µr^—XwE/e-J3hiVWJIhm” „GÌ{±` _Ù` ¼W¼G¼±` }W}\z—}5` ÙBÙW}_z`

MOe 9#6 KGz¦` †8KG}5` {~„_¼±` †8}W}_K±` z/}WÙ_ˆ±`

Š 9; ; 6 ‹ S ‹ ‹ ‹

prTBHt_[\hiQU`uTWPT ¤ ƒ¸[WhuQUTW^—`ª[WSRVBTWhiQ™YiEGH¦`*[\P_vQUH5t_SRJIH5JIP/Yi[~YiQRTBP_`)’˜gp gžcžcžm{~„B„ § EH8”

Grobner Bases / HFE (d=96) PC Pentium III 700 Mhz

0 100 200 300 400 500 600 700 800

0 5 10 15 20 25 30 35

n

CPU sec Magma

Maple

Gb

Singular

F4

F5

prTBHt_[\hiQU`uTWPT ¤ ƒ¸[WhuQUTW^—`ª[WSRVBTWhiQ™YiEGH¦`*[\P_vQUH5t_SRJIH5JIP/Yi[~YiQRTBP_`)’˜gp gžcžcžm{~„B„ § EH8”

Â

µªJIXI[\^_`uJ *7«JIf/^_[~YiQRTBP_`T

¤

v|J3VBhuJIJ 6«¥[W`[£tGhuJIƒdQRTB^_`cSUbÈ^_PBYihi[BX Yw[\eGSUJ<tGhiTWeGSUJ3H«¶YuEGQ]`MOhu¯BeGPGJ3h

X3TWHtG^|Yw[~YiQRTBPhiJ3tGhiJI`uJ3P/Yw`ª[5eGhiJI[W•/YuEGhiTW^GVBEQUP«huJ8`cJ8[\hwXwE<TWPt—TBSRbdPGTBHQU[WSa`cb|`cYuJ3H `cTBSRƒdQUPGV_

1+&31 h6 6 y 6g!1 '$*. 1 '"*+

½ JE—[¸ƒWJX3TWSUSRJ8X YuJ8v[*SUT\YT ¤ J¾|t-J3hiQRHJIPBYw[\SdvG[~Yw[*edb°hu^GP_PGQRP_VmYuE_TW^_`i[\P_v°T ¤ ‘ q€`ub|`kYiJ3H¦` ¤TWh·ƒ~[WhuQUTW^_`

! L7*6*2°[\P—v±Ó}L{ 7_·ž¨PYiEGJ ¤TWSUSRT~¥*QUPGV)VBhi[WtGEa¶~YiEGJmH¦[~¾|QUH[WSGv|J3VBhuJIJ*T|X3X^_huhiQRP_VOQUP5YuEGJOMOhu¯BeGPGJ3h

e—[W`uQU`œXTWHtG^GYi[~YiQRTBP£T ¤ [\PÈ[WSRVBJ3eGhw[\Q]X)`cb|`cYuJIH XTWHQUPGV ¤hiTWH ‘ q¬’˜hiJI`uta ¤huTBH[hi[WP_v|TBH`ub|`kYiJ3H

[B`*v|JI`iXhiQUe—J8vQUPYi[\e_SRJ†)`cJ8X YiQRTBP«}_zd”rQU`tGSUT\YuYuJ8vo´

0 2 4 6 8 10 12 14 16

0 10 20 30 40 50 60 70 80 90 100

n Maximal Degree in the

Gröbner basis computation

HFE 128<d<513

HFE 16<d<129

HFE 3<d<17 random system

ldH¦[\SUSav|T\Yw`mXTBhuhiJI`ut-TWP_v<YuT¦[XTWHtG^GYuJ3hm`uQUH^GS][~YiQRTBPa

nœ`QU`H¦[WvGJ«X3SRJ8[\hedb–YuE_QU`¦VBhi[WtGEa¶ ‘ q¬[WSRVBJ3eGhw[\Q]X`ub|`kYiJ3H [WhuJPGTWYJ8f/^GQRƒ~[WSRJIPBYYiT hw[\P—v|TWH

`ub|`kYiJ3H

¤

hiTWH YuEGJMOhi¯WeGP_J3h*e_[B`cQ]`ªt—TBQRP/YmT

¤

ƒdQRJI¥)

Ü Ž|"!

iÀ\ͱͦÀ~¿¡É-ÎÏÁ  ÊÏʲÎ

Ã

ÁŸÀwÀ~ÍZÉ

Â

uÐ

 ¿ =  Ê/Ð

Â

Î

Ã Ë Ã Á¨ÐÍ

 ¿ P  ¿ P À~Í

Ã Ë Ã Á¨ÐÍ

À ZÁ¨ÀIÀ

Ã Í Â ÊÏÊ;c

Â Ê Ð Ã À =Ó+d ·À mÎÏ¿

à Á ¿ wÐ vÎ[Ð([

Â

¿_ÁÁ¨ÀmJ3¾|t—JIhuQUHJ3P/Yi[WSRSUbtGhiT~ƒWJ±Á^]

Â

ÁÁ^]_МÍ

Â

_WÎÏÍ

 Ê

P Ð uÐwÐ5À',

ÎÏ¿ ÎÏ¿ÈÁa]GÐwÀ~ÍZÉ Á Â

Á©ÎÔÀ~¿ÇÀ ÒiL6Zq1uÓ·Ö°Î

ñ Ê[ Â Ë Ã

ÊRÐ

Ãwà Á^]

Â

¿0kd5ÐuÐ

 P ÎÏ¿ÈÁ

Â

3ÊRÐ

Ã

Ð,Á©ÎÔÀ~¿ )7d+@|ÇÁ^]

 Á [Ð¡Í dÃ

Á)Á

Â

eBÐÓ

6

6*2zÈÎÏ¿ Â

Á []GÐ3¿–Ó C 6*2À Â

ÊÏÊ Â ¿ P À~Í

Ã Ë Ã Á¨ÐÍ

Ã

ÎÏ¿€Ó c  Î 3ÊRÐ

Ã

Á^]_Ð wÀ\ÍmÉ

ÁÂ Á9ÎÔÀ\¿

Ã

Á¨ÀiÉ

ÃÂ

Á P Ð5%uÐwЈkd Ð3¿ wÐ v5[]_п€Ó>C 6*2 ÎÏÁOÎ

Ã

ÎÏÍmÉ_À

Ãwà Î3ÊRÐÁŸÀ

P ÎÃ Á9ÎÏ¿

ÎÃ] = ÒiL6Z 1cÓ·Ö uÀ\Í

  ¿ P À\Í Ã Ë Ã

ÁŸÐ3Í d

Ü Ž|"! ·À Á^]_Ð

V Ã Á L]

Â

ÊÏÊRÐ3¿ /Ð vÁ^]_Ð P ΂ZÐiп iÐ$[²ÎÏÁ^]

  ¿ P À\Í Ã Ë Ã

ÁŸÐ3Í Â ¿ wÐ P Ð3Á¨Ð#3Á¨Ð P

Â

wÁŸÐ $N]_À

Ã

À wÀ\ÍmÉ

ÁÂ Á9ÎÔÀ\¿Fd

   à Ã

_huTBH®YuEGJ)VBhi[WtGE«[\P_vDlGˆWˆ|¶-prTB^_„G†,Q™YmQ]`P_[~Yi^Ghw[\SAYuT<X3TWP~jkJ8X Yi^GhuJB´

r  à;sà ‹ RŒ RÔàFQ†t]_Ð

Â~Ã

Î “É uÀ*ÊRÐ3Í3wÀ uÐ

Ã

ÉGÀ\¿ P ÎÏ¿

ÂÃ

Ð,uÐ3ÁoÉ_À~ʙË~¿-À~Í5Î

Â

ʲÀ P Ð iÐiÐ ! [²ÎÏÁ^]

wÀ8Ð% 3ÎÔп—Á

Ã

ÎÏ¿<Áa]GÐ

V

Ð3ÊP @ A Â ¿ wÐ

Ã

À~Êc¸Ð P ÎÏ¿<<ÒÔÓ :

ÖB[]GÐ uÐ 8,C svuw

A Ò!dÖ*Î

Ã

Á^]_ÐmÍ

Â

_BÎÏÍ

Â Ê P Ð5%uÐwÐ

À,

ÎÏ¿5ÎÏ¿«Á^]_Ð:iÀ\ÍmÉ ÁÂ

Á9ÎÔÀ\¿Fd ·À ²É  3Á9Î

Â

ÊFc

 Ê

Ð)À ! C4qL [Ð$]

Â

c~Ð8 kdÈÀ uÐÉ uÐ,3Î

Ã

ÐÊÌË

8 2guÐ

Ã

É&d 8, |ˆ[]GÐ3¿@8 L6ZgiÐ

ÃÉ d 8† L @|d

&1k' H *+35 ))

½ Jª•/P_T~¥ ¤hiTWH»tGhiTWt-TB`uQRYuQUTWPÙmYuE_[\Y·YuE_JªX3TWHtGSUJ¾|Q™Ykb ¤TBhX3TWHtG^|YiQRPGVO[œMOhi¯WeGP_J3h·e—[W`uQU`T ¤ ‘ qœÒ!c1cÓ·Ö

Q]`²t-TWSUbdPGTWHQ][\S|QUP¦Ó ’9`u[¸b <ҘÓ

$

Öu”¥*EGJIP !QU`²›G¾|JIv5eG^|Y¥ªJ*¥[\P/YYuT°›_P_vt_huJ8XQ]`cJISRb 8 % ¤TBh=tGhw[WXYuQ]X3[\S

ƒ~[WSR^GJ°T ¤ ! C4qL prTBP_`cJ8f/^GJ3P/YuSUb<¥ªJ)[\P_[WSRb|`uJO`uTWHJ`uQRH±^GSU[\YuQUTWPhuJ8`c^_S™Yw`3²GhiTWH[5tGhi[BX YiQUXI[\Sot-TWQUPBY

T ¤ ƒdQRJI¥ YuEGJOXTWHtGSUJ¾|QRYkb¦XTW^_SUve-JZYiEGJZhi^GPGP_QRPGVWš9YiQRHJœeG^|YQ™YªQU`ª[PGTBQU`ub5H5J8[W`u^GhiJ3HJ3P/YI´QRYv|JIt—JIP_vG`

`cYuhiTWP_VWSUbTWP<YuEGJO[\hwXwEGQ™YiJIXYu^GhiJ’Ô}/K°TWhªÙ\ze_Q™Yw`i”¶dYuEGJO`cQ3JœT

¤

YuEGJOƒ~[\hiQRTB^_`²SUJ3ƒBJ3S-T

¤

X3[BXwEGJW¶WYuEGJOSUTB[WvT

¤

YiEGJXTBHtG^|YuJIhI¶oI3I ‘ J3P_X3J)¥rJ°VBQRƒBJ

 ÊÃ

ÀOYuE_JœYiT\Yw[\SaPd^GH±e—JIh*T

¤

[WhuQRYuE_H5J3YuQ]X°TWt-J3hw[~YiQRTBP_`3´`uQRP_X3J°YuEGJ

HT/`kY*XTBP_`c^_H5QUPGV5t_[\huY*QU`ªSUQRP_JI[\h*[WSRVBJ3eGhw[T~ƒBJ3h @BA¥rJ°VWQUƒWJZYuEGJ)Pd^GH±e—JIhT

¤

ÙWz±e_Q™Yw`ª¾dTBhrTBt—JIhi[\YuQUTWP_`

’>œ³OsZ” -DEGQ]`mPd^GHe-J3hZQU`mYuEGJ`i[\HJ

¤

TBhZ[\SUS·X3TWHtG^|YiJ3hw`Z[\P—vvGJ3t-J3P_vG`ZTWPGSUbTWPYuEGJ±SRQUPGJ8[\hZ[WSRVBJ3eGhw[

YiE_[~Ym¥ªJ°E_[¸ƒWJOQUH5t_SRJIH5JIP/YuJIvǒÔQRP«TW^_hmX3[W`uJ)`kYw[\P_v_[\hwvM°[\^—`u`uQU[WPJISRQUHQRP—[~YuQUTWP-” 

QUhi`cY*¥rJ°¥[\P/YYuTJI`cYi[WeGSRQ]`uEYiE_[~YYuE_J3hiJ°[WhuJOTWP_SRb¦YiEGhiJ3J

Ä

X3SU[B`u`ªT ¤ XTBHtGSRJ3¾|Q™YkbBƜ¥*EGJIP ! C qL

´

×

¥*EGJ3P 2 C ! C L ±[\SUSAYuEGJ ‘ qœÒ!c1cÓ·Ö*[WhuJ°QUPhiTW^_VWEGSUb¦JIf/^GQUƒ~[\SUJ3P/YI

A ¥*EGJ3P\L C ! CL6±[WSRSAYiEGJ ‘ qZÒ! 1uÓ·Ö*[\hiJ°QRP«hiTW^GVBEGSRb¦J8f/^GQRƒ~[WSRJIPBY8

(

¥*EGJ3P\L6Z#C ! C NL [WSRSaYuEGJ ‘ qœÒ!c1cÓ·Ö*[WhuJOQRP«hiTW^GVBEGSUb¦JIf/^GQUƒ¸[WSRJIP/YI

_TWhm[\SUSo[Wv|HQ]`u`uQUeGSRJ°ƒ~[\SU^GJ8`T ¤ !QUP_`uQUvGJ°[X3SU[B`u` ¥ªJ)XTWHt_[WhuJ 9 <Ò ! 1uÓ·Ör¥*Q™YiE«[

Ä

huJ ¤J3hiJ3P_X3J

vGJ3VWhiJ3JÆw´*†¸K«’ÔX3SU[B`u` × ” ¶†¸{’ A ” ¶†8K\ˆ«’ ( ” GTBhmQUP_`kYw[\P_X3J ¤TWh*YiEGJ`uJIX3TWP_v«XS][W`i` A ¥ªJXTBH5t—[\hiJ

‘ qZÒ!c1cÓ·Ö¥*QRYuE ‘ qœÒiL N1cÓ·Ö´

P KG† KBK KW} K~z K\ }W„ }BK }W} z/„ z—† z/ˆ ¼\„ ÙW„ Ù\z {~„ B„

>œ³Os’ÔˆWÙ/”2>œ³Os’k†~{\” ¼|} ÙGz {d} _} ˆ_z ˆ_} ˆGU† ˆG„ G} GK {|Ù {|¼ Ù_ˆ ÙGÌ{ ÙGz ÙGU†

prg¹’9ˆWÙ/”Wprgr¹’k†~{\” }G z_Ù ¼|K ¼Gˆ Ù_¼ Ù_z ÙGK ÙGU† ¼|Ì{ ¼|Ù ¼GR† ¼G„ z—{ z_ˆ ¼|U† z_z

prTWHt_[\hiQ]`cTBPa´ ‘ qZ’ÔˆBÙG¶P—” ‘ qZ’k†~{d¶P—”

_huTBH YuE_QU`aYi[\e_SRJ²¥ªJ=XTBP_XSU^_v|JYiE_[~Y ‘ qZ҇ q1cÓ·Ö-Q]`aTBPGSUb5ªYuQUHJI`oHTBhuJ=v|QR­<X^GSRYaYiE_[\P ‘ qZÒCL N1cÓ·Ö

`uT)YiE_[~Y=YiEGJZJ3¾|t—TBPGJ3P/Yi`W8

[WP_v 8

×

[\hiJ*YuEGJœ`u[WH5JB³œPYuEGJœT\YuE_J3h²YiEGJZE_[WP_v5YuE_J ¤TWSUSUT~¥*QRPGVhuJ8`c^GSRYi`

X3SRJ8[\hiSRb¦QUP_v|Q]X3[\YuJ8`ªYuE_[\Y58

×A C8

× C48

×A ´

P z/„ z—† z/¼ zBˆ ¼W„ ¼W¼ ÙW„ Ù\z {\„ B„

>œ³Os’k†¸{W”2>œ³Os’k†¸KW” †Iˆ/¼|Ù K\„W„_ˆ K\zBÙGz K\ˆ/¼|K }W„d{d} }d{~}_Ù zBzWz_ˆ ¼\„BG} ÙW„B}GK {~Wˆ_{

prg¹’c†¸{W”Wprgr¹’k†¸KW” †I}_†Wz †I}W}_{ †8BK|U† KW¼G†WÙ K\Ù/K|„ }d{¸z—} z//{dÙ {~„_†W} ˆW}/K|z †¸¼\„/¼|z

prTWHt_[\hiQ]`cTBPa´ ‘ qZ’k†~{d¶P—” ‘ qZ’k†¸K|¶P—”

Â

P †I †Iˆ KW„ K|† KBK KW} K~z K\ KWˆ }B„ }G† }BK

>œ³Os’k†8KWˆB” >œ³Os’c†¸{\” KG†W¼ K\ˆG} }B¼GÙ z/}G ¼\„_z ¼\Ù_ˆ Ù_†WÙ _†Wˆ W_„ ˆW}Gz ˆBÙGˆ ˆBˆGz

prg¹’c†8KWˆB”Bprg¹’c†¸{W” }/¼| zBˆG¼ ÙG†BK B„G„ †I„B„GK †8KW¼G„ †Iz/¼G¼ K~z/ÙG¼ K\ˆ/K|U† }BK\ˆ_{ }BÙW„GÌ{ }Wˆd{d}

prTBHt_[\hiQU`uTWP·´ ‘ qœ’k†8KWˆG¶P—” ‘ qZ’c†¸{d¶P—”

Comparison XOR HFE(d)/HFE(17 )

0 5 10 15 20 25 30 35 40 45

0 10 20 30 40 50 60 70 80 90

n

ldH¦[\SUSav|T\Yw`mXTBhuhiJI`ut-TWP_v<YuT¦[XTWHtG^GYuJ3hm`uQUH^GS][~YiQRTBPa

DT<`c^_H ^Gta´

‘ qZ’k†¸K\ˆG¶P—”

‘ qœ’ÔˆWÙ_¶P-”4 ‘ qœ’k†¸{|¶P-”

‘ qZ’c†8K|¶P—”

ZJ¾dYr¥ªJZ¥[\P/Y=YiT)›_P_v 8 × AW¶y8

×

¶H8

×A

½ JZE—[¸ƒWJm^_`uJIv¦`uJ3ƒBJ3hw[\SGHJ3YuEGT|vG`YuT›_P_vYiEGJZJ3¾dt-TWP_J3P/YI

½ J£e-J3VBQRP edb$[ YiEGJ3TBhuJ3YuQ]X3[WSZ[\P_[WSRb|`uQU`H¦[Bv|J¡TWP YiEGJ ¤TWSUSUT~¥*QRPGVÇEdbdt—TWYuEGJ8`cQ]`I´È`c^_tGt—T/`cJ£YuE_[\Y<YuEGJ

‘ qZÒ!c1cÓ·Öe—JIE_[¸ƒWJSUQR•BJ<[«hi[WP_v|TWH"`cb|`cYuJ3H"J¾GXJIt|Y)YuE—[~YYiEGJ¦H¦[~¾|QRH¦[WSv|J3VBhuJIJTdXIX^GhihiQRPGV«QUPÇYuEGJ

X3TWHtG^|Yw[~YiQRTBPA8aQ]`*H^_XwE¡SUJI`i`YiE_[\P8 ’˜VBQRƒBJ3P«edb<YiEGJe-TW^GP_v«T ¤ `uJIXYuQUTWP£}_zd” ž¤ YiEGQU`mQU`mYuhi^GJ)¥rJ

   à Ã

E—[¸ƒWJmYiT¦`cTBSRƒBJœ[±SRQUPGJI[Wh*`cb|`cYuJ3H®¥*E_TB`uJO`uQIJœQ]`%C][Z¥*EGJ3hiJ4CQ]`rVBQRƒBJ3Pe/b¦t_huTBt—T/`cQRYuQUTWP¼5[WP_vZYuEGJ

Pd^GH±e—JIh*T ¤ XTBSR^GHP_`Q]`*`uQRHtGSUb<YiEGJ)Pd^GHe-J3h*T ¤ HTWP_TWHQU[WSU`ªQUP¡v|J3VBhuJIJ48 ©´_

:

× Ó

K



ldQUP_X3JœYiEGJOhuT~¥m`rT

¤

YiEGJOH[\YuhiQ™¾<E—[¸ƒWJmYiEGJ°`cE_[Wt—J(n

[WP_v

Q]`ª[±t-TWSUb/P_TWHQU[WS—T

¤

v|JIVWhiJ3J 6|¶/YuEGJ

Pd^GH±e—JIh)T ¤ PGTWP 3JIhuTJ3SUJ3HJIPBYw`)QUP€YiEGJ C [5H¦[~YihuQR¾ÈQ]`)[~YHTB`cY 3C .8+×0

A

<µªb [\tGtGSUbdQRP_V

`ut_[Whi`uJSUQRP_JI[\h)[WSRVBJ3eGhw[¦YiJIXwEGPGQ]f/^GJ¡’˜½ QUJIv|JIH¦[\PGP`)[\SUVWTBhuQRYuE_H¶²I3w” ¶a¥ªJ5XI[\P€›_P_vÈYuEGJ¦`uTWSU^|YuQUTWP QUP

<ÒCaÖ <<ÒC A Ó A

Ö=TBt—JIhi[\YuQUTWP_`I_huTBH…t_huTBt—T/`cQRYuQUTWP<Ù¥rJœ•/P_T~¥“YiE_[~Y8 2¥*E_J3P ! L6[\P—v

QUP¦YiE_[~Y*X3[B`cJ*C 4 I

A ’¤

huTBH…t_huTBt—T/`cQRYuQUTWP¼B” prTWP_`uJIf/^GJIP/YuSUbYiEGJZYiT\Yw[\SAXTB`cYQ]` <ҘÓaÕ¸Ö ²ž¨P<YuEGJ°`u[WHJ

¥[¸b¦¥ªJ

¤

TB^GP_v <ҘÓ×kظְ’ÔhuJ8`cta/<ҘÓ

ÖcÖª¥*EGJIP\L6Z# ! qL6’˜hiJI`ut ! C L \”

žŸYªH^_`cYre-JZJIH5t_E_[W`uQIJIv5YiE_[~Y=YiEGJZt_huJIƒ/QUTW^—`=XTBH5t_^|Yi[\YuQUTWP<Q]`=PGTWYr[X3TWHtGSUJ¾|Q™Ykb5tGhiTdT

¤

`cQUP_X3Jm¥rJ

XI[\PGP_T\YOXwE_JIXw•YuEGJ±E/bdt-T\YiEGJI`uQU`IO½€J±H^_`cY°X3TWP|›—huHJIvYiEGQ]`œhiJI`u^GSRYi`ZJ¾|t—JIhuQUHJ3P/Yi[WSRSUb«edb«vGTWQUPGV uÐ

 Ê

Ã

ÎÏÍ

ÊÂ Á©ÎÔÀ~¿

à 

ld^_tGt—T/`cJªYiE_[~YYuE_JX3TWHtGSUJ¾|QRYkb)QU` ҘӷÖD Ó $

YuEGJIP±¥ªJªvGhi[¸¥–YiEGJ*X^GhiƒWJxsuw—Ò ҘӷÖcÖx svuw-Ò Ö "

8xsvuwAҘӷÖrYiT±›—P_vYuEGJ`uSUTWt-JOT ¤ SUQUPGJW²½ JX3[WP[WSU`uT5Yuhib¦YuT›_P—v[5VBT/T|vt—TBSRbdPGTBHQU[WSa[\tGtGhiT¸¾|QRH¦[\YuQUTWP

’Ô^_`uQRPGVSRJ8[W`cYª`ifB^—[\hiJI`²HJYiEGT|v_”²T ¤ YuEGJOX^GhiƒWJ Ò˜Ó·Ö ²_TWhQUP_`cYi[WP_XJB¶B¥*EGJIP ‘ qZ’! L6q1cÓ·Ö¥ªJmE_[¸ƒBJ

X3TWSUSRJ8X YiJIv[5`uJYmT ¤ vG[\Yi[SL'7#C$Ó CL{*7±[WP_v ¤TW^GP_va´

.8+× 0

. 0 4 L "

×A Ø

;#; ;

Õ

? <oÒ ÒÔÓ·ÖcÖ 4qA7 qL{ L'7@ ? <AÒÔÓ·ÖV 2cA 6*22 7*6

Ò˜Ó·Ö 4 VJL{2 A7ZÓ ( "

LLAL "2 Ó

6 V A 2=Ó

; " A7*6*6NL6²Ó

Ò˜Ó·Ö 4 6 62 A22cLLaÓ)(V L NA2 6NL6Ó

6 " A6Z ²Ó

; " A7qL *6 Ó "

6NA7 L'7qn

; Ó

‘ J3P_X3JÈQRYQ]`X3SRJ8[\h¦YiE_[~Y 8 × A G ½€J€huJIt—TBhcYQRP YiEGJ ¤TWSUSRT~¥*QUPGVÇYi[WeGSUJI`YuEGJ€huJ8`c^GSRYT ¤ TW^Gh

`uQUH^GS][~YiQRTBP_`3DEGJmhi^GPGP_QRPGVWš9YiQRHJ8`=[\hiJ*VWQUƒWJIP

¤

TBh ‘ g ¥rTBhu•|`cYi[\YuQUTWP5¥*Q™YiE<[\P<[\SUtGE_[°q!œÙWtGhuT|X3JI`i`cTBh

[\Y)†I„W„B„

§

EHWm’

×

[WP_v

A [\hiJ°X3TWP_`cYi[WP/Yi`w” ´

P ˆW} ˆ\z ˆ/¼ ˆBÙ ˆ/{ ˆW ˆBˆ †I„W„ †8KW„ †3zB„ †8ÙW„

>œ³Os 68(#(

68(#(

6 ( ( 68(#(

Õ 68(#(

68(

6

Ø 6 (

6

× 68(

6A

68(

;

Õ 68( × 6 (uÕ (

× Ó

68(#(

68(#(

6 ( ( 68(#(

Õ 68(#(

68(

6

Ø 6 (

6

× 68(

6A

68(

;

Õ 68( × 6 (uÕ (

>œ³Os × Ó ˆBˆW †B„B„W„ †W„W„_† †W„W„W„ †B„B„W„ †W„W„/K †W„W„_† ˆWˆBˆ †B„B„G† †B„B„W„ †W„W„B„

prg¹ ’Ô`uJIX8” 6

A 6

A 6

( 6

6 6

; 6

6

6

6WÕ

6 6 Õ 6/רØ

A3Ó

6

× 6

A 6

( 6

6 6

; 6

6

6

Õ 6 Õ 6 6 Õ 6

רØ

prg¹ A Ó

†B„Wzd{ ˆWˆBÙ ˆW/{ ˆB\z ˆ/{\ ˆWˆ/K ˆWÙW} ˆ\zBz †B„B}W} ˆWˆ/¼ †W„W„B„

prTBHt_[\hiQU`uTWPe—J3Yk¥rJIJ3P«hu^_PGPGQUPGV\š©YuQUHJI`

¤

TWh ‘ qZÒiL6N1cÓ·Ö[WP_vYuEGJITWhiJYuQ]X3[WS<<ÒÔÓ Ö

Â

HFE(12,n)

1 1000 1E+06 1E+09 1E+12

0 20 40 60 80 100 120 140

n

n^6 xor

theoretical n^6

Experimental curve

prTBHt_[\hiQU`uTWPe—J3Yk¥rJIJ3P«hu^_PGPGQUPGV\š©YuQUHJI` ¤TWh ‘ qZÒiL6N1cÓ·Ö[WP_vYuEGJITWhiJYuQ]X3[WS<<ÒÔÓ Ö

P z_† zd¼ z/ˆ ¼\„ ¼B¼ ÙW„ ÙWz {\„ W„

>œ³Os 68(

6

Ø 6 (

;

× 68(

× 68(

6

68( ; 68(iÕ

; 6 ( ( 6 6 Ø ( 6 6 ×

×

ÓaÕ 68(

6

Ø 6 (

;

× 68(

× 68(

6

68( ; 68(iÕ

; 6 ( ( 6 6 Ø ( 6 6 ×

>œ³Os × Ó Õ ” †B„_†3z †W„W„B} ˆBˆWˆ ˆWˆBˆ ˆBˆWˆ ˆBˆ/{ †W„W„/K †W„W„W„ †B„B„W„

prgr¹®’Ô`uJIXI” 6

Õ 6 Õ 6WÕ

6 A

6B×kØ 6

6B×i×

6

6/×

A;

6B×( 6B×

;6

A ÓaÕ 6

; 6 6WÕ

6 × 6B×kØ

6

6B×i×

;

6/×

A6

6B×( 6B×

;6

prg¹ A ÓaÕ †BR†¸¼\ˆ †W„Wˆ/K †W„B¼~z †B„/K\Ù ˆBˆG† ˆ/KB{ †W„\zd¼ ˆBˆB¼ †B„B„W„

prTBHt_[\hiQU`uTWPe—J3Yk¥rJIJ3P«hu^_PGPGQUPGV\š©YuQUHJI` ¤TWh ‘ qZÒiL t1cÓ·Ö[WP_vYuEGJITWhiJYuQ]X3[WS<<ÒÔÓaÕ8Ö

   à Ã

HFE(17,n)

1,E+00 1,E+03 1,E+06 1,E+09 1,E+12 1,E+15

0 10 20 30 40 50 60 70 80 90 100

n xor

CPU (sec) n^8 Memory (ko)

CPU Alpha DS25 1000 Mhz Memory

XOR

prTBHt_[\hiQU`uTWPe—J3Yk¥rJIJ3P«hu^_PGPGQUPGV\š©YuQUHJI` ¤TWh ‘ qZÒiL t1cÓ·Ö[WP_vYuEGJITWhiJYuQ]X3[WS<<ÒÔÓaÕ8Ö

nZSRShiJI`u^GS™Yw`mtGhiJI`uJ3P/YiJIv«QUP¡YuEGJ5[\e-T~ƒWJ)Yw[\eGSUJI`±’Ô[WP_v£`uQRHQUSU[Whœ`uQRH±^GSU[\YuQUTWP_` ¤TWhœT\YuE_J3hZƒ~[WSR^GJ8`ZT ¤ !/”

X3TWP|›—huH®YiEGJ)ƒ~[\SUQUvGQ™Ykb[WP_vYuEGJ[BX3X^_hi[BXb¦T ¤ YuE_J)tGhuJIƒdQRTB^_`ªJI`cYuQUH[\YuQUTWPa

Üdà  Ü S t]GÐwÀ~ÍZÉ-ÊUÐ_BÎÏÁ©ËÀ°Áa]GÐ

X

Y 3¿-Ð

¸à ÎÃ

wÀ~ÍZÉ

Á¨Ð = Ò! 1uÓ·ÖÎ

à z

P Ð5%uÐwÐ5À Ò0-Ö ! L{ L ! L6 L6 ! NL6

X

LY 3¿-Ð iÀ\ÍmÉAÊRÐL_WÎÏÁ©Ë <<ÒÔÓ

Ö <<ÒÔÓaÕ8Ö <<ÒÔÓרØ~Ö

° ) °·‚ ¦w

žŸYaQ]`aQUP/YuJIhuJ8`kYiQRPGVªYiTmXTWHt_[WhuJYiEGJMOhi¯WeGPGJIhoe_[W`uJI`aH5J3YuEGT|v°¥*QRYuE°YiEGJ²TWhiQRVBQRP—[\S\[~YuYi[BXw•mT ¤ g²[~Yw[\hiQRP g²[\YiˆB¼W[Ÿ

½ J°XTWP—`cQ]v|J3hrYuE_J

Ä

YuT~bJ¾G[WH5t_SRJƱ’§ žkW8At—[\VWJœz/KW„B” ´YuE_JO`uJIX3huJ3Yr•WJIb¦QU` ÒAÖm ( ¶|Ó YuE—[~YQU`

YiT¦`u[¸b¦YiEGJ°›_JISUvQU` @ A [WP_v<YiEGJ)tG^Ge_SRQ]X°•WJIb<QU`I´

Â

8

"

"

"

"

" "

"

"

"

"

"

"

"

"

"

"

"

"

"

"

q1

" "

"

"

"

"

"

"

"

" " "

"

" " " " 1

L " " " " " " " " " " " " " "

" " " " " " " " 1

" " " " " " " " " " " " "

" " 1

L "

"

" "

"

" "

"

"

"

" "

"

"

"

"

"

"

"

"

" 1

"

"

" "

" "

"

" "

"

" 1

L "

" "

"

"

"

"

"

"

" " " "

"

"

"

"

"

"

"

"

"

q1

"

"

"

"

"

"

"

" " "

"

"

"

"

"

"

%:

\9y!1k'‡6D9HH

DE_J5Q]v|J8[T ¤ g²[~Yw[\hiQRP$’Ô`uJ3J g²[~YwˆB¼\e&=t_[\VBJ†¸KW”œQU`œYiT›—P_v€[SUT~¥ v|JIVWhiJ3JhiJ3S][~YiQRTBPÈe-JYk¥ªJ3JIP-–[\P—v

j Ò-֝rž¨P«TB^GhZX3[B`cJ°¥ªJ)E_[¸ƒWJB¶ ¤TWhmQUP_`cYi[WP_XJB¶

j ; Ò (¸Ö

; o×

; ·rDE_QU`*QUHtGSUbYiE_[~YZ¥ªJ)X3[WP

›—P_vJIf/^_[~YiQRTBP_`ªT ¤ v|J3VBhuJIJ 6«’9`cQUP_X3J ] L "

2dӻQRP

j

[WP_v-L)QRPS·´

… Ø "

Ø 0c

"

Ø q

B0 j j "

J

Ø

!

j 7

DEGQ]`*VBQRƒBJZYiEGhuJIJ)QRP—v|J3t-J3P_vGJ3P/YmJIf/^_[\YuQUTWP_`I´

!#"%$&!('($&!*)+$ !*,-$&!/.0213-154$6137198$:1541<;$:19871<;$:1371=

$>1 ; 1 = $?1 4 $:1 ; $:1@$:1A$61 =

!*B-$&! ) 0 1 4 1 8 $:1 4 1 ; $?1 8 1 ; $:1 4 1@$:1 8 1@$?1 4 1A$:1 8 1A

$>1981=$?1+;1=7$61

@

1=$:1

A

1=$?13$?154$6198$:1

@

$:1

A

$61=

!C'D$&!*E-$&!/.0 137198$:1371<;$?1981<;$:1371 @ $:1<;1 @ $?1371 A $:1<;1 A

$>1 4 $:1 8 $61 ; $?1 = $:F

nœ`Z[¦hiJI`u^GSRYI¶

¤

hiTWH YuE_JI`uJJIf/^_[\YuQUTWP_`I¶G¥ªJX3[WP¡J3SUQRHQUP_[~YiJ)YuEGhiJ3Jƒ¸[WhuQ][\e_SRJ8` Ø 1C

×

[\P_vS A QUP¡YuEGJ

tG^_eGSRQ]X¦J8fB^—[~YuQUTWP—`3¦½ J<TWeGYi[\QUPgJIf/^_[~YiQRTBP_`°T

¤

v|JIVWhiJ3J 6|<½ JXI[\P PGT~¥ ›—P_v€YuEGJ`uTWSU^|YiQRTBP€edb

vGTWQUPGV¦[\PJ¾|E_[\^—`kYiQRƒBJ°`uJI[WhiXwE

¤

TWh ƒ~[\hiQU[WeGSUJI`°’

(

¶q.6[\P_v? ;¸” 

/'&1k /41k2.35'&1 35 6 6 ' 51*+34y9y*+' 5$ 67

ghuTBt—T/`cQRYuQUTWPºKÈ[\P_v }£YuJISRSª^_`YuE_[\Y[£X3TWHtG^|Yw[~YiQRTBP T ¤ YiEGJ«MOhi¯We_PGJ3h±e_[W`uQU`’¤TBh5[WPº[\tGt_huTBtGhuQ][~YiJ

TBhivGJ3hiQRPGVd”*T ¤ YuEGJ5tG^Ge_SRQ]X5JIf/^_[~YiQRTBP_`œVWQUƒWJ5^_`œYuEGJ5huJISU[\YuQUTWP_`O[\HTBPGVYiEGJ

j

ªT ¤ ÊRÀZ[Ð

à Á P Ð iÐiÐ3DEGJ

MOhi¯We_PGJ3he_[W`uJI`9U X3TWP/Yi[WQRP_`xL Zmt-TWSUbdPGTWHQ][\S]`J\[WH5TBPGVmYiEGJ3H 6*2œ[WhuJrT ¤ YiT\Yw[\S|v|J3VBhuJIJ=Yk¥ªTœ[WP_vSUQRP_JI[\h

QUP œ’Ô¥rJ±¥*QRSUSvGJ3PGTWYuJ U YuE_QU`O`c^_e_`cJ3YœT ¤ U” MU X3TWP/Yi[WQRP_`mYuEGJYuEGhiJ3J±tGhiJ3ƒdQRTB^_`mSUQUPGJI[WhZJIf/^_[\YuQUTWP_`

¤

TB^GP_vQUPDg²[~Yiˆ/¼~e&ae_^|YZ[\S]`cTH¦[\Pdb<TWYuEGJIhi`'

¤

TWh*QUP_`cYi[WP_XJ°TWP_J°`u^_XwEJIf/^_[\YuQUTWPQU`I´

   à Ã

8$54$$ A $= 1<;$:198$:1 A $61 @ $?FC$?13$?1<;$:F0

ZT~¥ YiTǛ_P_v$YuE_J£`cTBSR^|YiQRTBP Q™YQ]`¦JIPGTW^GVBE$YuT `u^Ge_`cYuQRYu^|YiJ¡YuEGJ¡ƒ~[WSR^GJ8`¦T ¤ j ’9X3[WP$e-JÈv|TBPGJ¡QUP

<ҘÓ)(¸ÖrTWt-J3hw[~YiQRTBP_`i”[\P_vYuE_J3PYuT¦`cTBSRƒBJœ[±SRQUPGJ8[\h*`cb|`cYuJIHŒÔ[WVB[\QUP <ҘÓ)(¸ÖrTWt-J3hw[~YuQUTWP—`i”²l|TYiEGJ°H5T/`kY

X3TB`cYuSUbTBt—JIhi[\YuQUTWPQU`mYuEGJX3TWHtG^|Yw[~YiQRTBP¡T ¤ U ´ª`cQUP_X3J U X3TWP/Yi[WQRP_`mJIf/^_[~YiQRTBP_`*T ¤ v|JIVWhiJ3J 6±YiEGQU`œX3[WP

e-Jv|TWPGJ’˜edb¡SUQRPGJ8[\h°[\SUVWJIeGhi[¦YuJIXwE_PGQUf/^GJ8`i”ZQUP <Ò˜Ó ¸ÖmTBt—JIhi[\YuQUTWP_`I ZT\YiJYiE_[~YOYuEGQ]`°`kYiJ3t€E_[W`ZYuTe—J

vGTWPGJ)TBPGSRbTWP—XJ<’˜TBPGJ)tGhiJIX3TWHtG^|Yw[~YuQUTWP«tGE—[W`uJ ¤TWhmJ8[WXwE«PGJI¥ t_^GeGSUQUX)•BJ3bG”—EGJ3P—XJ°YuE_J±XTBHtGSRJ3¾|Q™Ykb

Q]` <Ò˜Ó ¸Ö

" f <ҘÓ)(IÖ²¥*EGJ3hiJ$f Q]`YuEGJZP/^_He-J3hT

¤

H5J8`u`i[\VBJI`YiTv|JIX3QRtGE_J3h8DEGQ]`=H±^_`cYe—JœXTWHt_[WhuJ8v

¥*QRYuE YuEGJ«XTBH5t_SRJ3¾dQRYkb <<ÒÔÓ Ö ¤

TW^GP_v QRP$`cJ8X YuQUTWP–z—}º’ÏYuE_J3TWhiJ3H †¸” È½ JX3TWP_X3SR^—v|J<YiE_[~Y¦MOhu¯BeGPGJ3h

e—[W`uJI`°Q]`^_`uJ

¤

^GS=YuT¡›_P—v

 ÁŸÀ\Í

Â

Á9Î

Â

ÊÏÊÌË<[\SUS=YiEGJ¦SRT~¥¬v|JIVWhiJ3JhuJISU[\YuQUTWP_`'YuEGJvGhi[¸¥*e_[BXw•¡QU`YuE_[\Y¥rJ

XI[\PGP_T\Y›_P_v«[5e—TB^GP_v«`uQRHQUSU[WhYuT g²[\YiˆB¼\e

¤

TWhYiEGJ)Pd^GHe-J3h*T

¤

QUP_v|JIt—JIP_v|JIPBYmJ8f/^_[~YiQRTBP_`3

r%·3

½ JZE—[¸ƒWJmtGhiJI`uJ3P/YiJIv<[ƒWJ3hib5J­<XQUJ3P/Yª[\YcYw[WXw•5TWP¦YiEGJœe—[W`uQUX ‘ q$X3hubdt|YiTB`ubd`cYuJIH e—[W`uJIvTWPMOhu¯BeGPGJ3h

e—[W`uJI`)XTBHtG^|Yi[\YuQUTWPažŸYQU`)P_T\YTWP_SRb [YuEGJITWhiJYuQ]X3[WS=[~YuYi[WXw•È¥*Q™YiEÇ[«VBTdTdv XTBHtGSRJ3¾|Q™Ykb€eG^|Y[\S]`uT«[

ƒBJ3hibtGhw[WXYuQ]X3[WS·HJYiEGT|v£`cQUP_X3JTW^_hZQUH5t_SRJIH5JIP/Yi[~YiQRTBP¡¥ª[B`Z[WeGSRJYuT<e_huJ8[\•YuEGJ›_hi`cY ‘ q XwE_[\SUSUJ3PGVBJ

’9W„eGQ™Yw`i”

‘

T~¥ªJ3ƒWJIhI¶/`cJIƒWJIhi[WS_HT|v|Q™›—JIv<ƒBJ3hw`cQUTWP—`²T

¤ ‘

qºE_[¸ƒBJme—JIJ3PtGhuTBt—T/`cJ8v g²[\YiˆWÙWea¶/grMpªˆW8©

DE_JI`uJmt—JIhcYi^Ghie_[~YiQRTBP_`Z’

¤

TWhrQRP_`cYi[WP_XJœTWPGJœX3[\P`cQUHtGSRb5hiJ3HT~ƒWJZ`uTWHJmJ8f/^_[~YiQRTBP_`=T

¤

YuEGJœtG^GeGSUQUXZ•WJIb|”

[WhuJ[WtGtGSUQRJ8vYuT¦YiEGJe_[B`cQ]X

‘

q [WP_v¡[\hiJ)J¾|t-JIX YiJIvYiT<H¦[\•WJ[\YcYw[WXw•|`E_[\hwv|JIhI

‘

JIP_XJB¶GYuE_J

‘

q=ƒ/š

Q]`²YiEGJmHT|v|QR›_JIvƒBJ3hw`cQUTWPT ¤ ‘ q–^—`cJ8vQRPœ^—[\huYYuE—[~YE_[B`²e-J3J3P`c^Ge_H5QRYcYiJIv5YiTq=^GhiTWt-JI[WP¦tGhuTWjkJIXY

ZqrlGldž¨qZ—žŸYOQU`m[WP¡TWt-J3P¡Q]`u`u^GJ)YiT¦J3ƒ~[\SU^_[\YuJ)YiEGJtGhw[WXYuQ]X3[\S·huTBeG^_`cYuPGJ8`u`*T ¤ YuEGJ8`cJHT|v|QR›_JIv«ƒBJ3hw`cQUTWP—`

T ¤ ‘ q edb<^—`cQUPGV5YuEGJ°YiJIXwEGP_QUf/^GJ8`*tGhiJI`uJ3P/YuJ8v<QUPYiEGQ]`*t_[\t-J3h8

®¦ *±

½ J«¥rTB^GS]v SUQR•BJYiTÈYiE_[\PG• YuEGJ¡¢/ § QUXwE_TWP“[WP_v nm^GVBT\Y ¤TWh5YuEGJIQRhtGhiTWVBhi[WH¦`3–½ J«VWhw[~YuJ ¤^GSUSRb

[BXw•dPGT~¥*SRJ8v|VWJœ`cJIƒWJ3hw[\S-^_`uJ ¤^GSavGQU`iX^_`i`uQRTBP_`¥*QRYuE«¢—|g[\Yi[WhuQUP<¥*EGT¦[\S]`uTQUPBYihuT|v|^—XJIv<YuTEGQUH EGQ]`ª¥rTBhu•

TBP ‘ qm_žª[\H QUP_v|JIe|YuJ8vYuT5YuEGJ·ž¨gÙ ¤TWh*QRYi`mt_[\huYuQ][\So`u^GtGt-TWhuYmT ¤ YiEGQ]`*¥rTBhu•£’9nmSUtGE_[ °lGKW¼B” 

*~ *ª*

µªJIXIˆW}2 µªJIXw•WJIh*D°G[\P_v½€JIQU`ut ¤JIPGPGQUPGV !

X

uÀ8Ð'3¿-Ð

Â~Ã Ð Ã v Â

²À\ÍmÉ

ÁÂ Á9ÎÔÀ\¿_¿

Â Ê ÉWÉ iÀ

Â

L]£ÁŸÀ

=À~Í5Í

Á Â

Á©Î^c¸Ð Ê/Ð

Â

MOhi[Bv|^_[\YuJ)D·J3¾dYi`QUP § [~YuE_J3H¦[~YiQUXI`3_ldt_huQUPGVWJIhcš !²J3hiS][\V_¶-†IˆBˆW}_

µ²l|„W}8 § [\V/[\SUQµ[\hwv|J3YI¶A¢WJ8[\P|šcprE_[\hiSUJI`*_[W^GVWFIhuJB¶—[WP_v£µªhu^_PGTl|[WSRƒdbW°prTWHtGSUJ¾|Q™YkbT ¤ VBhu¯BeGPGJIh

e_[W`uJI`*X3TWHtG^|Yw[~YiQRTBPT ¤ VBJ3PGJIhuQ]Xœ`ub|`kYiJ3H¦`I²QRPtGhiJ3t_[Whi[\YuQUTWPa¶GK\„B„W}_

µª^_X3Ù/¼ µª^_XwEde—JIhuVBJ3h<µO ÎÏ¿ Ê/À ÎÏÁa]dÍ

dÃ

Í

%º¿ P Ð3¿ P Ð

¸à ÎÃ

ÐÊUÐͦп—ÁŸÐ P Ð

à РÃ

Áe

Ê

¸Ãwà Ð3¿ ÎÏ¿ /Ð

à ¿ Â

L]Ð3ÎÏ¿-Ð3Í ¿ ÊÏÊP ÎÏͦп

Ã

ÎÔÀ~¿

Â

ÊRÐ3¿ f*À~ÊÌË~¿AÀ~Í5ÎP Ð Â Êddg=E“YuE_JI`uQU`I¶¸ž¨PGP_`ueGhu^—Xw•-¶

†IˆBÙB¼|

Â

µª^_X8{\„2 µª^_XwEde—JIhuVBJ3h°µœnZP€nZSRVBTWhiQ™YiEGHQUXI[\S=prhuQRYuJIhuQUTWP

¤

TBhOYuEGJ¦ldTWSUƒ~[\eGQUSUQ™Ykb¡T

¤

nmSUVWJIeGhi[WQUX5ldb|`kš

YuJIH`I Ð

p_Â Á©ÎÔÀ~¿AÐ

à  Áa]GÐ3Í

Â

Á©Î

Â

ж-z—’9}B”´}d{¸z|}WB}G¶G†8ˆ/{~„_ª’©MOJ3hiH¦[\P—”

µª^_X8{\ˆ2 µª^_XwEde—JIhuVBJ3hµO¡nprhiQ™YiJ3hiQRTBP ¤TWh œJYiJIXYuQUPGV€¹ZPGPGJIX3JI`i`u[Whub€s*JIv|^—X YuQUTWP—`QUP–YuEGJ¡prTWP|š

`kYihu^—X YuQUTWPT ¤ MOhi¯We_PGJ3hªµª[B`cQ]`Iaž¨P7f iÀ' d

$ d &W¶|ƒWTWSU^GHJ°{WK)T ¤ "·Ð,3Ád #À\ÁŸÐ

Ã

ÎÏ¿

=À~ÍZÉ d d ·dU¶_t_[\VBJI`*}GK|†Bdldt_huQUPGVWJIh !²J3hiSU[WV_¶A†Iˆd{~ˆ_

Ìp ³Oˆ/K rprT¸¾o¶¢— aQRYcYiSRJB¶[\P_v r³ ldEGJ8[G P Ð Â Êà v

 ÎÔÐ3Á9ÎÔРëÂ

¿ P Ê/À ÎÏÁa]dÍ

Ã

“ldtGhiQRP_VWJ3h

!²J3hiSU[WV_¶ZJ3¥ =TWhi•-¶o†8ˆWˆ/K|

ÌprTW^—„G† mQ]XTBSU[B`D°prTB^GhuYuTWQ]`IDEGJ`uJIX3^GhiQ™Ykb€T ¤ EGQ]vGv|J3PǛ—J3S]vÇJIf/^_[~YiQRTBP_`<’ÔE ¤J8”¡ž¨P ËiÉAÁŸÀ#

 Ék]GÐ

à t

Â

e

d =À~¿Ðiп iÐ3¶=ƒBTWSU^GHJK\„/K\„«T ¤ "Ð, Á

uÐ

Ã

#À~Á¨Ð

Ã

ÎÏ¿ =À~ÍZÉ

Á¨Ð

d 3ÎÔп wжGt—[\VWJ8`mK\ÙBÙ|KWG†B¶/K\„B„G†B

Ìpldg/)„B„2 mQ]XTBSU[B`prTW^_hcYiTWQ]`3¶*n*v|Q°ldE_[\HQUhI¶m¢/[WXIf/^GJI`¦g²[\Yi[\hiQUPa¶*[\P_v n °SUQRHT~ƒA»q²­<XQUJ3P/Y[WS™š

VWTBhuQRYuEGH¦`

¤

TWh±`uTWSUƒdQRP_V¡T~ƒWJ3hwv|J3›_PGJIvÇ`ub|`kYiJ3H¦`T

¤

H^GSRYuQUƒ~[\hiQU[\YuJ<t-TWSUbdPGTWHQ][\SJ8f/^_[~YiQRTBP_`3

ž¨P iÀ' ËiÉ-Á

„ -- -~¶·ƒWTWSU^GHJ<†8W„/{±T

¤

"·Ð,

Á iÐ

Ã

#À\ÁŸÐ

Ã

ÎÏ¿b=À~ÍZÉ

Á¨Ð

d

3ÎÔп wжAt_[WVWJI`

}Wˆ/K/z/„/{|dldt_huQUPGVWJIh !²J3hiSU[WV_¶_K\„B„W„_

_[W^_ˆWˆ8 _[W^GVWFIhuJ=¢—pœ~n–P_J3¥ÇJ­<XQUJ3P/Y·[WSRVBTWhiQ™YiEGH ¤TBh·XTBH5t_^|YuQUPGVZMOhi¯WeGPGJIhoe_[W`uJI`’ԁz/”qdÀ

¿ Â Ê

ÀYf

uÐ

 ¿ P ÉWÉAÊÌÎÔÐ P ÊBÐ

Â

¶a†8}Wˆ_’c†|}B” ´ÙG†dBG¶W¢B^GPGJ¦†8ˆWˆWˆ_

_[W^_„BK2 _[W^GVWFIhuJ¢_Ìpœºn PGJ3¥ J3­<XQUJ3P/Y<[\SUVWTWhiQRYuEGH ¤TWhXTBHtG^|YuQUPGV–MOhu¯BeGPGJIh±e_[B`cJ8`5¥*Q™YiEGTW^|Y

huJ8v|^_XYuQUTWPÇYuT 3J3hiT£²¼|¡ž¨P D° § TWhw[G¶JIv|QRYuTBhI¶Df uÀwÐwÐ P ÎÏ¿ Ã

À dcd ¶at_[WVWJI`5{\¼|W}_

nZp

§

g=huJ8`u`I¶G¢B^GSRb«K\„B„BK|

l|ˆBˆ2 n·ƒdQ][Wv °QRt_PGQU`[WP_vn*v|Q_l|E_[\HQUhI—prhibdt|Yi[WP_[\SUb|`cQ]`aT ¤ YuE_J ‘ q€tG^_eGSRQ]Xª•WJIbXhib/tGYuTB`ub|`kYiJ3H

edbhiJ3SUQRPGJ8[\hiQ8[~YiQRTBPar†8ÙWÙBÙG´U†Iˆ|}W„_¶G†IˆBˆWˆG

·[ IB}2 ·[ I[\hwv ±OM°[\^—`u`uQU[WP¡q=SUQRHQUP_[~YiQRTBPÈ[\P_vÈs*JI`uTWSU^|YuQUTWP¡T ¤ ldb|`kYiJ3H¦`œT ¤ nmSUVWJIeGhw[\Q]X°qf/^_[~š

YuQUTWP_`I¦ž¨P f uÀ{d

$* " )W¶·ƒBTWSU^GHJ†8ÙBKT ¤ "·Ð,3Ád #±À~Á¨Ð

Ã

ÎÏ¿ =À~ÍZÉ d d 3Î϶·t_[WVWJI`

†3z/Ù-†¸¼B{|¶—†8ˆWW}_

§

[BX\†IÙ8 ªlA

§

[BX3[W^GSU[¸bB\t]GÐ

 Ê/Ð' Â

ΦÁa]GÐwÀ Ë¡À±ÍÀ

P ÊÂ Ã Ë Ã

Á¨ÐÍ

Ã

dU¶oƒWTBSR^GHJ)¾d¾d¾|QT

¤ Â

Í

ÎP BÐ Â Á^]_ÐÍ

Â

Á©Î

Â Ê "²Î

 ˁd*pª[\H±eGhuQ]v|VBJO¹ZPGQRƒBJ3hw`cQRYkb¦g=hiJI`i`3¶o†8ˆG†8ÙG

§ žkB2 D`u^|YiTWH^ § [~Yw`c^GHTWYuTÈ[WP_v ‘ Q]v|J3•dQªž¨H¦[\Q©£g=^GeGSUQ]Xf/^_[WvGhi[\YuQ]X¦t—TBSRbdPGTBHQU[WS™š©Yu^Gt_SRJ8` ¤TWh

J­<XQUJ3P/Y¡`cQUVWP—[~Yu^_huJ3š©ƒBJ3hiQ™›—XI[~YiQRTBP“[\P—v HJI`i`u[WVWJšŸJ3P—Xhib/tGYuQUTWPa»ž¨P ËiÉ-Á¨ÀW¶ZƒBTWSU^GHJ

}W}B„±T ¤ "Ð,

Á uÐ

Ã

#À\ÁŸÐ

Ã

ÎÏ¿ =À~ÍZÉ

Á¨Ð d 3ÎÔп iÐ3¶Gt_[WVWJOz_†8ˆG_ldtGhiQUPGVWJIh !²JIhuS][\V—¶o†IˆBWG

g²[~YwˆB¼\[8 ¢B[BX3f/^GJ8`g²[~Yw[\hiQRP·prhubdt|Yw[\P_[WSRb|`uQU`T

¤

YiEGJœH¦[\Yi`u^GHT\YuT±[\P_vQRH¦[\Q-tG^Ge_SRQ]XZ•BJ3b¦`iXwEGJ3HJZT

¤

J3^GhiT|Xhibdt|YW_\ž¨P f uÀ d—À Áa]GÐ ~Áa] ¿_¿

_Â

ÊE ¿_Á¨Ð ¿  Á©ÎÔÀ~¿

Â Ê ËiÉ-Á¨À~ÊRÀ#WË =À\¿'Ð uп wÐZÀ~¿

P c  ¿ wÐ

Ã

ÎÏ¿7 ËiÉAÁŸÀ\ÊRÀ#\Ë D

f t$

&~¶¸t_[\VBJI`·K\zB|K\Ù_†W¶3l|[WP/Yi[*µ[\hie_[\hw[G¶¸pª[\SUQ¤TBhuPGQ][G¶

†IˆBˆB¼|

g²[~YwˆB¼~eH ¢B[BX3f/^GJ8`g²[~Yw[\hiQRP·prhubdt|Yw[\P_[WSRb|`uQU`T ¤ YiEGJœH¦[\Yi`u^GHT\YuT±[\P_vQRH¦[\Q-tG^Ge_SRQ]XZ•BJ3b¦`iXwEGJ3HJZT ¤

J3^GhiT|Xhibdt|YW_q²¾dYiJ3P_v|J8v«ƒWJIhi`uQRTBPa¶A†IˆBˆB¼|

   à Ã

g²[~YwˆWÙW[8 ¢B[BX3f/^GJ8` g²[~Yw[\hiQRPa = V à Á L]

Â

ÊÏÊRÐ3¿ /Ð3¶ †IˆBˆWÙ_

E/YcYut·´ ¸¥*¥*¥)H5QUPGhw[\PG•ATWhiV \XwE_[\SUSRJIPGVWJB†WYc¾dYI

g²[~YwˆWÙ\eH ¢B[BX3f/^GJ8`ag²[~Yw[\hiQRPa ‘ Q]vGv|J3P›_J3S]vG`·JIf/^_[~YiQRTBP_`’‘ qr”[\P_vQU`uTWHTWhitGEGQ]`uH`aT ¤ t-TWSUb/P_TWHQU[WSU`

’˜ž¨gr”´oD·¥ªT¦PGJ3¥ ¤[WH5QUSUQRJ8`mT ¤ [B`cbdHHJYuhiQ]X[\SUVWTBhuQRYuEGH¦`Iž¨P

$*

f t

&~¶—ƒBTWSU^GHJ

†I„d{~„±T ¤ "·Ð,

Á uÐ

Ã

#±À~Á¨Ð

Ã

ÎÏ¿ =À\ÍmÉ

ÁŸÐ d 3ÎÔп wжGt—[\VWJ8`*}W}B¶-†8ˆWˆBÙG

g²[~YwˆWÙWX ¢B[BX3f/^GJ8`ag²[~Yw[\hiQRPa ‘ Q]vGv|J3P›_J3S]vG`·JIf/^_[~YiQRTBP_`’‘ qr”[\P_vQU`uTWHTWhitGEGQ]`uH`aT ¤ t-TWSUb/P_TWHQU[WSU`

’˜ž¨gr”´—D¥rTPGJI¥ ¤[WHQRSUQRJ8`T ¤ [W`ubdH5HJ3YuhiQUXO[\SUVWTBhuQRYuEGH¦`Iq²¾dYuJ3P—v|JIvƒWJIhi`uQUTWPa¶A†IˆBˆWÙ_

grMpªˆB2 ¢B[BX3f/^GJ8`Zg²[~Yw[\hiQRP·¶ ·TW^GQ]`°MOTW^GeGQUPa¶a[WP_v ZQUX3TWS][W`)prTW^GhuYuTBQU`I°ž¨H5t_huT~ƒBJIv¡[\SUVWTBhuQRYuE_H` ¤TWh

QU`uTWHTBhutGE_QU`uH¦`T ¤ t-TWSUbdPGTWHQ][\S]`3†IzB„W}_´R†8\z B¶_†IˆBˆW_

ldEGT/„W}8 !¬ldEGTW^_ta #=t" d) d v Â

"²Î

Â Ë À P À~ÎÏ¿ # Í wÐ tF]_ÐwÀ Ë~¶ K\„B„W}_



ƒ8M)M°ˆBˆ2 ¢WT/[WXwEGQUH…ƒWTWP 3^Gh*M°[~YiEGJ3P[WP_v<¢GhiVWJ3PMOJIhuE—[\hwvo ÈÀ

P

Ð ¿I=À~ÍZÉ

Á¨Ð Ê/Ð

Â

pª[WH±š

eGhiQUv|VBJ°g=huJ8`u`I¶o†IˆBˆWˆ_

Unité de recherche INRIA Lorraine

LORIA, Technopôle de Nancy-Brabois - Campus scientifique

615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)

Unité de recherche INRIA Futurs : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France)

Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)

Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)

Éditeur