!#"$%&
'(*)+!,-!,
.0/ %1 / 23
,4 / 56"72%8
9:<;>=@?A'3
,
DB CFEHGJILKNMPOQGSRUTVGSWYX9ZJK[
\]_^a`b`cJ`d8e`gf3hjijkPlnmD\H]5opl5qa]5l
r qaopstlnmPuvowkyx`d{z-|NkPlnmPcp`b`
z-|NkPlnmPcp`b`j}Le |q~|a|
€ a ‚„ƒL…S†ˆ‡V‰!ŠAƒS‹P†„‚
Œ KUNŽJ_WFILK[E4‘KN’%Ž“”bEH[nWYE•SC–Kg3—˜š™›{œtžžž_›AŸA UEHJI¡E4_K’%Ž“”tEC–G¢K£4¤¥DE5¦
”tE[‘WFEH•¢C–K§›J¨QWYEn‘Ž~WYEH’‘KgI©’‘Ž©EªILŽjX«EHWY­¬®H¯4°±›J¨v²§³´£µEH¢I¶KE5¦¶”tEC–G¢K¸·º¹­£»WY
En_ŽLNWFEb’nKI’‘ŽE3EH[5ILW–JEHCYW¼’PR_K’„½¶°±·L²¾¤a¿+Ej‘‘W–ÀjSX9Ka’Á‘EH’‘WFPÂJK ’n¦SKˆKNÃ~’‘K¢ILKgI9ÀCYŽ•¢EC
EH[5ILWY¢EHCYW–’PR©Ž¢_’‘[5EHWYa’§°±KÃ~’‘KJILKI~MPOBˆB#²%W¼“VKE5¦¶”tE[‘WFEH•¢C–K§› ¨ WYWY¢_’nEHa’nWYEH’‘KIĒ‘ŽÅE
”tEC–G¢KWYªW–’nQILŽX«EHWYÆ¬j®b¯4°±› ¨ ²EHJI4W–“ÁKE5¦ª”tEC–G¢K·4¹©£:WFQEj‘‘WYÀSKgIU’‘ŽUÇ-”tE[‘WFEH•¢C–Kg
“±Ž[_ŽjXKÅǹȽ¶°±·L²¾¤#¥
Ã~’nK¢ILKgI~MPOBˆB<ILW¼É6K[5¸“±[‘ŽjXʏ¢Ž[nX9ECQOBˆB<•~RËW–’nU_K’n§ŽH“
EH[5ILWY¢EHCYW–’PR½Æ°±·L²!’‘¦¢EH’̍EHª•AK«EH~R-_K’QŽ“D”bEHCYGSKg¤6Ívª¢Ž[nX9EC OBˆBVÎEj!WYa’‘[nŽLILG¢NKgI
•aR§Ï§KÐ ÀjW–©Ñ ÒtÓÔÎ~’‘¦SKg_KEH[5ILW–JEHCYW¼’PR+‘KN’5ˆEH[nKQ[nK_’‘[nWF¾’‘KgI+’nŽ9W–a’‘K[‘”bECY¤
¥ÁL“±Žj[nW–SÀ%ILŽX«EHWY¸Ž¢‘WY_’‘K¢NR9NŽj¢‘WY_’nDW–§”K[‘W–“±R~W–SÀ“±Ž[ÕKE5¦¸”tEC–G¢K!·9W–UE”bEH[nW–M
EH•SCYKÕISŽX«EHWYU¬j®b¯4°±› ¨ ²W–“¢’n¦SK[nK#WY EHEn_WYÀ¢XKa’nEb’‘WF_“±RaWYSÀV’‘¦SK#KÃa’nK¢ISKI~MPOBˆB©‘G¢5¦
’‘¦¢EH’D› ¨ ˜º·A¤aÖ#¦¢WY„WYDK×aGSWY”bEHCYKa’Á’‘ŽILKN’nK[nX9W–SWYSÀW–“’n¦SK!KÃa’nK¢ISKI~MPOBˆB¶WYÕ‘EH’‘WFPÂAEH•SCYK
، ¦SKQK_%¦S’‘Ž ¦SKˆ’nIL¦¢ŽjEbX«’#EHILWYKN’nKŽH[n“JX9’‘¦SW–SK#WY”bSEHÀ%[nWFW¼EH“{•S’n¦SCYKDKVWFKÃ~•J’‘ŽjKGSJ¢ILILKKgI~I%MPO’‘ŽÌBˆBÆEV‘WFW–D¢nÀEbCYKՒnWY”b_ÂJEC–EHGS•¢KjC–ÎtKWyWF¤ KÕ¤¢Ú!¬jÛ
®b¯4MvNŽj°±› X9¨ ²ÁZSC–˜ÙK’‘K™g·¢•~ aR ¤
[‘KgILG¢¾’nW–ŽjØ ©’‘Ž-’n¦SKUÜS¿
Ö2ZS[‘Žj•SCYKXÝEH¢IŒn¦SK[nKN“±Žj[‘K+KL“±Ž[5NWYSÀªISŽX«EHWYÄNŽj¢_WF_’‘KJNRªŽj
’‘¦SK3KÃa’nK¢ISKI~MPOBˆBºWFˆÚ!ÛÁMÞ¦JEH[5I{¤
ß àUá#ƒLâ8‚!‡!â8‡#ãjä­åÄåçæ
èÄæé>æƒSŠ¢ê!‹‘‚ë2‹_‚<æì亅Sæ íVê
!¿ ÁILKX9Ž¢_’‘[5Eb’nKI%•aRÏUKÐ ÀWYUіîNÓÔÎHEH9KNÃ~’nK¢ILKgI~MPOBˆB¡WY¢_’nEHJNKE%•AK[nKZS[nK‘Ka’nKI•~R
E¸•SWYZ¢E[_’nW¼’nKÀj[nEZS¦ðﴘòñyó4ô§õnö÷¾¤ø8KN’Ì’‘¦SK9CYKN“ù’‘MޏSŽLILKgÌŽH“Á’n¦SK9•SWYZ¢EH[‘’‘W–’‘K9À[5EHZ¢¦ª•AK
󢭗ݒn¦SK”bEH[nWFEH•SCYKˆŽ“ ’‘¦SK%ZS[‘Žj•SCYKX¤Jø8KN’!’n¦SK[nWYÀ¦a’_MԏSŽLILKŽH“ ’‘¦SK%•SWYZ¢EH[‘’‘W–’‘KÀj[nEZS¦
•JKõ٘­£´’n¦SK3”bEHCYGSKŽH“’‘¦SKZ¢[‘Žj•SC–KX¤SÖ#¦SK[nK3WY!EHKILÀjK«°±›J¨n‘·~²#¹-öW–“
E¢IUŽSCYR+W–“
·+¹Ä¬®b¯4°ú›J¨Ô²¾¤
¿­ÀjKSK[nEC–WYûKgI«X«Eb’55¦SW–¢ÀUÑ üHÓþýÿWFˆE_GS•J_K’#Ž“ö _G¢5¦§’‘¦JEb’EHCYC6”tE[‘WFEH•¢C–KgD›A¨
¹ó
WYVEI EjNKa’ˆ’nŽ+ŽSK3KgILÀKW–ªý&EH¢IKgE5¦SŽLILK·U¹ªõ WY!EI EjNKa’’nŽ¸ÇUKILÀjKˆWYªý
“±Ž[‘ŽX9KǸ¹½¶°ú·~²N¤
¿ÆÀjKSK[nEC–WYûKgIX«Eb’55¦SWYSÀý [‘KZS[nK‘Ka’n E̐_ŽjC–GS’‘WYŽŽH“¢’n¦SK#KNÃ~’‘K¢ILKgI~MvOBˆBV¤jÖ#¦SK[nK
WYDŽ•~”~W–ŽjG¢‘C–R9EX«Eb’55¦SWYSÀý W–“þEHJI«ŽSCYR9W¼“8’‘¦SKQKNÃ~’‘K¢ILKgI~MvOBˆBÆWFÕ‘EH’‘WFPÂJE•SCYK¤aÍv+’‘¦¢K
SKNÃ~’Q‘KN’‘WYŽÎ Ø K%‘¦SŽ Ø ’‘¦¢EH’QILK’‘K[nX9W–¢W–SÀ§W¼“ÕE+ÀKSK[5EHCYWYûKIUX«Eb’55¦SWYSÀ¸KÃ~WF_’nVWYVÚ!Û
M
NŽX9ZSCYKN’nK¤
Ë â8‡V‰!ŠAƒS‹P†„‚òƒL† ƒLê!âÿí!…¢†
_â
BDŽ¢‘WYISK[DEbMPÜL¿
Ö ZS[nŽ•SCYKXìILK¢SKI+•aR«EC–WFP’ÕŽH“”bEH[nWFEH•SCYK
—š˜Ù™—¸œtžžž‘—«ŸA jÎjEC–WF_’
ŽH“ÁCYW¼’nK[5EHCF*˜ ™› ¨ › ¨ — ¨ ¹ð—¡ EH¢IªE«C–WF_’VŽH“ÁCYEG¢_Kg ˜™ œ žžž Ø ¦SK[nK
¨ ³ E[‘KQ’n¦SK‘KN’ŽH“ CYW¼’nK[5EHCF#ŽH“’‘¦SKCYEG¢_Kj¤ Œ K Ø Ej’#’nŽ+En_WYÀ§’‘¦SK3”bEC–GSK!Žj[
"!#%$'&(̒‘Ž«’n¦SKCYW¼’nK[5EHCFˆWY)*_GJ5¦’‘¦¢EH’VEHCYC8NCFEHGJ_Kgˆ¦¢Et”KEH’C–KgE_’!Ž¢K3C–W–’‘K[nEC8En_WYÀ¢KI
’‘Ž*+a¤
, [nŽXšE-ÜL¿
ÖZS[nŽ•SCYKXÎ K+NŽj¢P’n[‘GJ¾’Ì’‘¦SK«•¢W–Z¢E[_’nW¼’nK«À[5EHZS¦Åï<˜ ñúó4ôUõ‘ö÷ÌEj
“±ŽCYC–Ž Ø ¤ , Ž[VKE5¦ªC–W–’‘K[nEC-$/.ØWYðE§NCFEHG¢‘K0Õ¨‘Î Ø K%[‘KgEb’nKŽSKCYKN“ù’_MԏSŽLILK21ˆ°3Õ¨‘4$/.g²Q¹©ó
EH¢I%ŽSK#[nW–Àj¦a’_MԏSŽLILK5A°3Õ¨n4$/.g²Õ¹õ¤ , Žj[ KE5¦9NCFEHGJ_KÕ¨ Ø Kˆ[‘KgEb’‘K#EQC–K“ù’_MԏSŽLILK6Õ¨
¹ó
EH¢I¸“±Ž[#KEj5¦§”bE[‘WFEH•SCYKQ—9¨ K3N[nKEb’nKQESŽH’n¦SK[#CYKN“ù’‘MޏSŽLILK̗«¨
¹ó¤ , WY¢EHCYC–RjÎ Ø KÌEI¢I+’nŽ
’‘¦SK3Àj[nEZS¦§E9[nW–Àj¦a’_MԏSŽLILK7$ù¨ÁØ ¹Uõٓ±Žj[ˆKEj5¦§CYW¼’nK[5EHC8$ù¨‘¤
Œ KNŽ¢SKN’’‘¦SK%C–K“ù’_MԏSŽLILKVWYªó˒‘Ž+’‘¦SK%[‘WYÀ¦a’_MԏSŽLILKgWYªõ Ejˆ“±ŽjC–CYŽ ¤ Œ KP’5EH[‘’
WØ ¼’n¦ðEHªKX9ZL’PR-_K’VŽ“ÁKILÀjKQö2˜:9L¤ , Ž[QKEj5¦4NCFEHG¢‘K0Õ¨ÕEH¢I4KE5¦-CYW–’‘Ø K[5EHC;$/.¹<Õ¨_Î
ؔtEKÌ[‘WFEEHIS•¢I¸C–K§’‘¦¢›JKQ¨«Kg¹ILÀ— KgÌ°3ÕKU¨nEj45AIS°3I¶Õ¨_’‘¦S$/KU.g²_K²NILÎÀj°31ˆK°'D°±—«¨‘4$/¨‘.g_²N›A4¨Þ5A²°3ÕEHJ¨n4I*$/.°±²_—«²#E¨_¢IśJ°3¨v1ˆ²N¤ °'D, ¨‘WY¢4$/E.C–²NCY4R$/Î .g²¾¤ KU, Ž‘KN[#’9KgE’‘¦¢5¦ K
EH[5ILWY¢EHCYW–’PRŽ“þKgE5¦+Ø [nW–Àj¦a’_MԏSŽLILKVWYóÆEjÁ“±ŽjC–CYŽ Ø >=L½Æ°?5A°3 ¨ $ . ²_²Á˜@™(@¢îH ÌEH¢Ø I§½¶°3$ ¨ ²Á˜
™(@S5Ç ¨BA îH ¦SK[‘K3Ç ¨ WFÕK×aG¢EHCA’nŽ’n¦SK̏aG¢X•AK[#ŽH“ NCFEHG¢‘KÕNŽjj’5EHWYSWYSÀ’n¦SKÌC–W–’‘K[nEC!$ ¨ Žj[
XŽj[‘K“±Žj[‘X«EHØ CYCYRðÇ ¨ ˜ ™ . ¹ $ ¨ ¹C . ¤ , WYÀGS[nKî+_¦SŽ Ø V’n¦SK«Z¢EH[‘’3ŽH“#À[5EHZS¦©ï
’‘¦¢EH’WY#[nKCFEb’nKI¸’‘Ž«”bEH[nWYE•SCYKV— ¨ ¤
Ö#¦SKÌW–a’‘G¢W¼’nW–ŽjUŽ“8’n¦SK3[‘KgILG¢N’‘WYŽUWYˆ‘W–X9ZSCYK¤S¿ÙÀjKSK[nEC–WYûKgI+X«Eb’55¦SWYSÀ9W–ï Ž[n[‘KM
_ZAŽ¢I¢Õ’‘Ž+E9_ŽjC–GS’‘WYŽ§’‘Ž’‘¦SKÜS¿
Ö*ZS[nŽ•¢C–KXU¤LÍԓˆ°±—«¨‘_›A¨Þ²Õ¹4ýÿ’n¦SK›A¨þ˜D!EHJI¸W–“
°±—«¨_›J¨Ô²Õ¹4ý ’n¦SK9›J¨˜E"!#F$3&(a¤H¿CYC¢CYEG¢_Kˆ¢Ž~ISKGÕ¨{X%G¢P’Á•AKX«Eb’55¦SKI%’nŽEHSŽ’‘¦SK[
SŽLILK¤¢Ö#¦¢KR¸EHUŽSCYR¸•AK3X«Eb’n5¦¢KI Ø W¼’n¦E§KgILÀK+°'Õ¨_5J°'D¨‘4$/.g²‘²ÕW¼“H$/.V˜D!j¤
IGJFKLKLM<N+OQPSR>T $ù¨ª¹ ™›A¨_›J¨_ VU TXWYRZR ¬>[ R °ú—9¨_4$ù¨Ô²Z\ R>] ®_^%[_` T ®Åý a bZcd^6¬ ®_^ ]fe a b
1ˆ°3.4$ù¨Ô²Õ¹-ýgbN®dhic ]j] .%k
l h‘®g®mbnkVÖ#¦SKSŽLILKg71°3.4$ù¨Þ²!¹©öÈE¢IU’‘¦SKSŽLILK%—9¨DEH[nK3’‘¦¢KŽ¢C–RSŽLILKg!NŽjSSKg¾’‘KgI
’‘Ž«SŽLILKi$ù¨_¤AÜ~WY¢K Ø K3¦¢Et”jK3½¶°?$ù¨Þ²D˜ ™(@¢nÇj¨ A îH EHJIÇj¨ A î3WFˆK×aG¢EC{’‘Ž«’n¦SK3~GSX•AK[
ŽH“SŽLILKgNŽ¢SKN’‘KI ’‘Žo$ ¨ Î#KW–’‘¦¢K[-EHCYCÌKILÀjKEI EjNKj’§’‘Žo$ ¨ •JKC–ŽjSÀĒnŽËý Žj[§¢Ž
KILÀjKUEI EjNKa’§’‘Žo$ ¨ •AKCYŽSÀ¶’‘Žºý¤ÕÖ#¦¢K[nKN“±Ž[nK-“±Žj[UEC–C̏SŽLILKgp1ˆ°' . 4$ ¨ ² Ø Kª¦¢Et”jK
°±— ¨ $ ¨ ²Õ¹4ý q2r 1ˆ°3 . $ ¨ ²#¹-ý¤
st
IGJFKLKLMvu8OQPSR>T $ . ¹Å™› . › . BkYwXb TXWYRQR ¬>[ R °3 ¨ 45A°3 ¨ 4$ . ²_²Q\ Rn] ®d^%[_` T ®ic7[ R ^ R h4c ] a/x R ¬
¯2c TzyW aj^F[ TXWYR ^ª°ú— . $ . ²ic ] `®{\ R>] ®d^F[d` T ® TXW a|`6[ R ^ R h4c ] a/x R ¬¸¯*c TyW aj^%[%k
l h‘®g®mbnkQÜ~GSZSZAŽj‘K3’‘¦¢KKILÀjK+°3Õ¨n45A°3Õ¨‘4$/.g²_²ˆ•JKC–ŽjSÀj#’nŽ«’‘¦¢KÀKSK[5EHCYW–ûKI§X«Eb’n5¦¢W–SÀ¸ý¤
Ü~W–JNK’‘¦SK+EH[5ILWY¢EHCYW¼’PR-Ž“DSŽLILK*5A°3Õ¨n4$/.²QWF™(@SîH 9EH¢IðKILÀjK-°3Õ¨_5J°'Õ¨_$/.g²_²QWF3EI EHM
NKa’Ì’‘Ž§’‘¦¢WYÌSŽLILKjÎ{SŽUXŽj[‘KKISÀKQWYÅý7EHð•JK«EjI EKa’V’nŽ§¢Ž~ISK°'Õ¨_5J°'D¨n$/.²‘²¾¤
Ö#¦SK[nKN“±Žj[‘Kˆ’n¦SK!KgILÀKQ1ˆ°3Õ¨‘4$/.²
¦JEDSŽŽ’‘¦SK[D5¦SŽjWYKˆ’‘Ž%•JKVX9EH’n5¦SKgI Ø W–’‘¦+SŽLILK7$/.¤%}ÕR
øKX9X«EUî Ø K̎j•L’nEW–§’‘¦¢EH’°±—.4$/.g²Õ•AKCYŽ¢ÀjÕ’‘Ž+ý¤
st
This edge may or may not belong
to a matching if x_i is true.
It cannot be part of the matching if
x_i is false
C1
Clauses that
contain X_i
K(d(C1, x1)) = {0,1}
There must be 0 or 1
edge ajacent to this
node in the matching.
S(C1, x1)
C2
K(d(C2, x1)) = {0,1}
S(C2, x1)
Belongs to the
matching if X_i
is true
T
K(x_i) = {0,3}
X_i
F
Belongs to the
matching if X_i
is false
K(~x_i) = {0,3}
All or no
edges must be
matched to
these nodes
S(C3, ~x1)
C3
Clauses that
contain ~X_i
K(d(C3, ~x1)) = {0,1}
S(C4, ~x1)
K(d(C4, ~x1)) = {0,1}
C4
Edges connected to nodes
d(C4, x_i) for i > 1
|Nmvk„`dm_|ha^ËmPlnc–|NkPl¾%kP`Ìs|mPo¼|acpl
IGJFKLKLMO a|``>c T a|` cV\ ]/R a bic_^A¬U®d^ ] e a b TXWYR h R0R
a|` T `ic0[ R ^ R h4c ] a/x R ¬§¯*c TyW aj^%[
ý aj^ [_hc W ï k
l h‘®g®mbnk%°'rƲ+Ü~GSZSZAŽj‘KðÜL¿
Ö<WF+nEb’‘WF_ÂJEH•SCYKÎ K4NŽj¢_’‘[nG¢¾’¸E©X«Eb’55¦SWYSÀ¡•~R¶ZAŽWYj’nW–¢À
KE5¦SŽLILKi ¨ ’nŽ¸E9SŽLILK 5A°3 ¨ 4$ ¨ ²#_G¢5¦U’n¦¢Ebؒ!CYW–’‘K[5EHCS$ ¨ WYˆ’‘[nGSK3W–’n¦SK%ÜL¿
֐‘ŽCYGL’‘WYŽ¤
!’‘¦SK[ˆC–K“ù’_MԏSŽLILKˆWY-óËEH[nKVX«Eb’55¦SKIEjNŽj[nISW–SÀ%’‘Ž«ø8KX9X«E9Ò9E¢IUøKX9X«EUî¤
°'qƲ!BDŽ¢‘WFILK[!E9ÀjKSK[nEC–WYûKgI¸X«EH’n5¦SWYSÀ§ý¤ , Ž[!EC–Cþ”bEH[nWYE•SC–Kg#— ¨ ¹4—ÄÎ K3¦¢Et”jK
KW–’‘¦SK[þ’n¦SK#KILÀjKQ°ú— ¨ _› ¨ ²þŽj[Õ°ú— ¨ › ¨ ²þWY9ý¤ Œ KՐnEtR̒‘¦JEb’ C–W–’‘K[nECF$ ¨ WFþ’‘[nGSKDW–“¢’nØ ¦SKÕKILÀjK
°±—«¨_$ù¨y²Õ•AKCYŽSÀa#’‘Ž¸ý$EH¢I§“úECY‘K3W¼“ ’n¦SK3KILÀjK3ILŽ~KˆSŽ’•JKC–ŽjSÀ9’‘Ž¸ý¤ , Ž[EC–CþNCFEHG¢‘K
D¨‘Î Ø K¦JEt”KEH«KgILÀK%°3Õ¨_5J°'Õ¨_$/.g²_²
WY§ý “±Ž[Ր_ŽjX9K$/.̹ř›Y.›Y.H j¤jÖ#¦¢WYDW–X9ZSCYWYKÁ•~R
øKX9X«EÒQ’n¦¢Eb’$/.ˆWF„’‘[nGSK!EHJI’‘¦SK[‘K“±Ž[nKNCFEHG¢‘KÕ¨WF„nEb’nWY_¢KI¤jÖ#¦SK[‘K“±Ž[nKEHCYCJNCFEHGJ_Kg
EH[nK̐nEb’nWY_¢KgI¸•~R«’n¦SK3”bEH[nWYE•SC–K3Ej‘‘W–ÀjSX9Ka’nÕÀjW–”jKU•aR+’‘¦SK3KgILÀKg3°±—«¨_$ù¨y²
st
åð†D‚!Š _‰Vè~‹P†„‚
øKX9X«ECƐ‘¦SŽ Ø ¸’‘¦¢EH’-ISKN’‘K[‘X9WYSWYSÀ¶’n¦SK©‘EH’‘WFPÂJE•SWYC–W–’PRºŽH“KÃ~’‘KJILKI~MPOBˆB<WFÚ!Û
M
NŽX9ZSCYKN’nK+EH¢IŒn¦SK[nKN“±Žj[‘K9KL“±Ž[5NWYSÀ-ILŽX«EW–¡NŽj¢‘WY_’‘K¢NRðŽÅ’‘¦SK¸KNÃ~’‘K¢ILKILMvOBˆB WY
Ú!Û
MÔ¦¢E[nI{¤
J +KLJ !#"
Ö#¦SK-EHGL’n¦SŽ[ ŽGSCFI¶CY%W $K§’‘ŽÅ’‘¦¢E $¶¿!C–K EH¢IL[nŽ©øŽÐ ZAKû&M V[‘’‘WYû§“±Ž[9ZS[nŽaŽ“ùMÞ[nKEjILWYSÀ4’n¦SWY
’‘K5¦¢SWYEHC[‘KZJØ Žj[_’g¤AÖ#¦JEH $LQEHCF_Ž«’nŽ§¿!C–KÃLE¢ILK[ÌOQŽjC–R~¢
 $~W Ø ¦SŽ§ZJŽjW–a’nKI-ŽjGL’V’n¦¢Eb’Q’‘¦¢K
À[5EHZS¦ ZS[nK‘Ka’‘KgI E•JŽb”jK-NŽG¢CYI •AKª_WYX9ZSCYW¼Â¢KgI˕~R¶X9K[nÀWYSÀŒ‘¦SK D¨SŽLILK+E¢I ’‘¦¢K
5J°' ¨ $ . ²Õ¢Ž~ISK#’nŽÀK’‘¦SK[ˆEH¢I§ÂSÃLWYSÀ’‘¦SKW–[!EH[5ILWY¢EHCYW¼’PR9’nŽ’‘¦SK3WYa’‘K[n”bEHCÁÑ @S5Ç (¨ ' îNÓÔ¤
*â )nâ8…Sâ8‚!Š6âþè
+ -,l¾|/q .Ôe^a|mPcpl51u 03l 2 gopq (465~cwkPlnmPopq V|c g`mPowkP^afÙdF`m
]5`qauÔkvm_|opqbkPu
`d6j8o 7SlnmPl5qj]5lÕopqe
\ u (9Þq
:;:;:=<
>@?ABADC }aha| glnuFE#GBHJIKEGL H -,l¾|/q .Ôe^a|mPcpl5;u 03l 2 gopq MÕl5qjlnm_|cpOo N5l¾«|NmP]ˆ]5`gqjuvopuÔkPl5qa]nxdF`m cp` ~|cA]¾|Nm_jopq~|cpopkyx]n`gqauÔkvm_|opqHk 9yq :;:=:;<
>@?ABAKP }jh~| gl5Fu H#Q#RSITH +SU E !ec¼|i~j
l .VMÕiXx WÕijo¼f3hLl‘m¾} lnkPl‘m#s|Xq Yl5l ZS[} 4Dcp@l \v|q~HmP3` ]^`g2 hLDl N
.V_DmvkPOo Ng[} 4Dcpl `j|qajln^m MÕ`gcwxaq .
bu ZHoù}H|q~\j|5xHxbl¾c Y |uv^jopmÁ\j|gS \v|d 4Dfq eg3]no¼lnqHhk Y`gijq~u
e`gqjuvopuÔkPl5qa]nix 4Dc g`mPopkP^jf­dY`mkP^jl
MÕcp` ~|cAe |m_opq~|cpowkÞx9e`gqjuÔkvm_|opqbk3opq mP`b]5l5l¾opq gu„`dAkP^ajl RNkPk^ 9ÞqbkPlnmPqa|kPop`gqa|cAe`gqdFlnmPl5qj]5l
`q mPopqa]5ophacpl5uD|qa m_|]nkPop]5l`dþe`gqauÔkvm_|opqHk mP` m_|f3f3opq h} HlQQ#E
m j9úmPowck n|NkvmPo¼lnc
|qa4\stl5pq o ^jopl5c q~|uÔfk Y`gijq~4e`gqjuvopuÔkPl5qa]nxUdF`mVkP^a3l MÕcp` a|c„e |m_opq~|cpowkÞx
opq mP`b]nl5l¾jopq gu`dþkP^alfRNkP^r9yqbkPlnmPq~|NkPo¼`q~|ce`qjdYlnmPl5qa]nl3`gq mPopqa]no¼hjcpl5u|qa m_|]nkPop]5l3`d
e`qauÔkvm_|o¼qbk mP` m_|f3f3opq j} HlQQ#E