Pushing log-based reconciliation

HAL Id: hal-01248209

https://hal.inria.fr/hal-01248209

Submitted on 24 Dec 2015

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished 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ée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

To cite this version:

Youssef Hamadi, Marc Shapiro. Pushing log-based reconciliation. International Jour- nal on Artificial Intelligence Tools, World Scientific Publishing, 2005, 14 (3–4), pp.445–458.

�10.1142/S0218213005002193�. �hal-01248209�

9;:=<?>"@A:4B<?CEDF:4BGHFDFI@?:4BGJDF:#KL@?<?CM4N"COBG9;:3<A>"GEGECEPF>":N">RQDSDFGET

N

UWV DF@AGEXZYSN"CE>[:3<?CM4N]\^I_GECET?`CE:P'abDFcdB:=e

fhgi/jlk3monqprsnstuwviyx#z|{sxh}~rmo}wk3p6k3vZ€kSrm

‚]ƒ…„,YYS†^‡~ˆLK…‰ZK,Š,9

‹Œ)ŽF‘’?“’”^•b–)‘’–A—3Ž’˜#™”;š=›

œž~Ÿ ˜ F¡‘’F¢Z£…¤–)¢4¥ –

¦

—F¡'§[Ž’Œš¨3–

¦J©LªZ«[¬©b­

®¢4Œ”;–Aš¯RŒ°¢S¨=š3F¡›

±

3¥S‘²‘’–1“A˜´³b¡Œ)ŽF‘’?“²”µ›°A3¡

‰ZK,¶yaY ˆ/K,\^9µ¶yƒ

‹Œ)ŽF‘’?“’”^•b–)‘’–A—3Ž’˜#™”;š=›

œž~Ÿ ˜ F¡‘’F¢Z£…¤–)¢4¥ –

¦ —F¡'§[Ž’Œš¨3– ¦J©LªZ«[¬©b­

®¢4Œ”;–Aš¯RŒ°¢S¨=š3F¡›

‘?˜ —’·¸ŒŽ4³b¡Œ)ŽF‘’?“’”;›°²F¡

¶y>"N[>"C¹3>"X»º½¼F¾'Š,>"N">"c_¸>"@,¼F¿F¿FÀ3Á

KLN"N[>"d <?>"X~º;ÂRK,d@?CEG¼F¿F¿Ã=Á

ƒ,d <?CEcCET?<?CEN@A>"N"DF:N"CEGECOB<?CEDF:BGEGED)Ä/T)ÅcIG<?CEdGE>'I dXB<A>ÆDÇ/TA`4B@?>[XwX4B<ABhÄ/C<?`DFI <6T?eS:N²`@?DF:CEÈ[BÉ

<ACEDF:´Ê4Qy`>RBTATAI cd <ACEDF:žCET/<?`4B<L<A`>˹BT?<…cÌB)Í?DF@?C<;eÌDÇ<?`>6BN’<ACEDF:T/Ä/CEGEG:D<,N[DF:SÎ4CEN’<)ʸ9;:#<?`>"TA>

T?eST?<?>"cT)Å3Ä/@AC<?>…B[¹BCEGOB_CEGEC<;eÌCETÏ@ABCETA>"XžCE:<?`>…d@?>"TA>":N">ËDÇ:>’<;ÄbDF@?ÐÌǽBCEGEI@?>[T[Å3`CEPF`ÆGOB<A>":N"CE>"TLDF@

d4B@²BGEGE>"GX>’¹3>"GEDFdc>":=<[ʸˆLD[Äb>’¹3>"@)Å4CE:ÆDF@AX>"@b<?D'@A>"cÌBCE:ÌN"DF:TACET<A>":3<)ŸDFd <?CEcCET?<?CEN,Te T<A>"cTy@A>"d4BCE@

XC¹3>"@APF>":N">"T)Ê4QDd@AD=XIN">RB:>’ÄN"DF:TACET<A>":3<,T<²B<?>FÅ4<A` >"eÆIT?>Ë<A`>ËGEDFPFT/DÇ>[BN²`ZIT?>"@LCE:žBd@?DÉ

N">[T?T…N[BGEGE>"XÑGEDFPÉ1_4BTA>"X@A>"N"DF:N"CEGECOB<ACEDF:´ÊQy`>6dI@Ad¸DFT?>DÇbB:>’ÒN"CE>":=<…@A>"N"DF:N"CEGECOB<ACEDF:Ñ>":PFCE:>CET

<A` >[:<?DžN"DFcdI <?>BÌ:>’ÄÓN"DF:TACET<A>":3<]T?<AB<A>'Ä/`CENA`Ñd @A>"TA>"@?¹3>"T…<?`>'cÌBÔSCEcIcÕDÇbd@A>’¹SCEDFIT]BN’É

<ACEDF: T)ÊSQ/` CETÏÄbDF@AÐ'GE>’¹3>"@²BPF>"Tb<?`>…>’ÒN"CE>":N’ežDÇJN[DF: T?<?@²BCE:3<?É;_BTA>"X#@?>[N"DF:N"CEGECOB<?CEDF:ÊS91<Ld @AD)¹SCEX>"TyB

:>’ÄÖ>’ÒN"CE>[:3<<;ÄbDËT?<?>"d'd@AD=N">"XI@A>y_I CEG<8_3eRN"DF::>"N’<ACE:PË<?`>"DF@A>’<?CEN)BG¸@?>[T?IG<?T8DF:6_4BN²Ð3<A@ABN²Ð=ɽǽ@?>[>

TA>[B@ANA`žÄ/C<A`Ì<?`CETL`B@AX#DFdS<ACEcCETAB<ACEDF:Æd@ADF_ GE>[cZÊ

¯6–

±F×

FŽ?šF‘ظaÏeSN"GE>’É;N"I <,T?>’<LX >[N"DFcd¸DFTAC<?CEDF:Å GEDFPÉ;_4BTA>"Xž@A>"N"DF:N"CEGECOB<ACEDF:ÅDFd <ACEcCET<ACEN,@A>"dGECEN[B<ACEDF:

Ù^Ú k3ÛÏÜ=Ý4Þyß,àLáÜSâ?Þ8Û

’ãåä¸ãJæèç)0é)5¸é)0½êãçS]¸ëëì01=¸é)0½êãçë^2=)íµêäî´Fé)0½êã8ç~êãÕé)2ïç)ä»2lç)23éÖêí#ê´7ð"2S3éçSñ] ’ã

ê´ò2SZé)êó´2=2Sëô2=õÖ30½2=ã=æyê´7ð"2S3éÑ)2Sëì½0½S4é)0½êãô01ç0½ã´é)êò5832Sò÷ö[ø3ùö"úñLû2=ãüé2Ö5ç)2=çhê´

ëëì½0½S4é)0½êã8ç»)2ý3ê´ãã2S3é)2 òÿþê5ë'¸2Z0é0½ç»ë^ê´çç[0½7ì½2séêü´ê01òÓë^ê¸é)2Sãé)01¸ì3ê´ã 01Féç

é)ê´5lê´ã Aé)2æý5ëÏò4é2Sçžê¸íËê7ð"2SFéZç"é4é2SçSñÌê2´2= 0lã2=é6ê´)óçì14é2=ã=02 çÆãò

ò01ç3êãã2S3é)0½êãç»ä¸ó´2sé2Sç)2 ê´ãì½0ã2ê´ë82S¸é)0½êãç»ò0õ=5ìéSñ]-yê²7ç)2Sò÷)2 3êã830½ì014é0ê´ã÷0½ç

ã êëé)0½ä»01ç[é)01sé2Sã05201èçç)5ä~2SçÑé)¸é~58ç[2Sçwê¸ëëì01=¸é)0½êãçêóô0½ãèôò01ç

=êãã2 Fé2Sòü2=ãJ0½)ê´ãä~2=ãéSñ/$'2=æïç))2ÖãÓ0ã0é)01¸ì3ê´ãç[01ç[é)2=ãéÑç[é¸é)2Öêí6é2sê´7ð"2S3éçãò

ë^2=)íµêä 3é)0½êãç#ì½êJS¸ì½ìæ´ñb$'2Sç)2w01ç)êì14é)2 òo´Fé)0½êã8çžS¸ão0½ãé)êò532~ò02S´2=ã=2Ñ0½ãïê´7ð"2S3é

ç[é¸é)2SçSñ]û2Sãûé)2=æÕ)2 3êãã2S3éSËé2=æèé)¸ãç[íµ2=~é2oì½êüêí#é2=0½sì½ê=ìÆ3é)0½êãç~éêÓé)2

ç)æç"é2=ä01ýë82S[íµê´)äç)2 3ê´ã30½ì014é0ê´ãyñ$'2Z)2 ç[5ì°é'0½ç»ã2ÿ=êãç)0½ç[é)2Sãé'ç[é¸é)2#íµê2 

¼8›]—F¡'—3šFŒÏ—F¢¸šÌ‹Ñ›4˜ —’·¸ŒŽ

ê7ð"2 FéSñ4 ’ã»é0½ç]ë)ê=2Sçç=43ê´ã 01FéçË=¸ãëë82 ¸…7^23é2=2=ã»5ç)2=ç˸ãòÑé)2Ìç[æç[é)2=äWä~æÑ2

é)ê~ò)ê´ësç)êä~2#´Fé0ê´ãç]éê»´0½22ž3êã8ç[01ç"é2=ã=æñ$'2#ë5ë8êç[2žê¸íLwì½ê²7´ç[2 ò~)2 3êã830½ì01

é)0½êãÖ2Sã0½ã2Æ01çRé)2Sãé)êwë)2 ç[2S´2'é)2 êówòê´ã2Æê~0½ã2 0ì½2Æ2=ä~êJ0½ã¸ãJæ~3êã0½3é)0½ã

Fé0ê´ãyñ$'2Z2=ã 0½ã2h3êä~ë5é)2Sç~=êã 01Fé?íµ2=2hç2Sò5ì2 0é)5ç)2=ç´Fé)0½êã8ç=ñ$'2 ç[2h´

é)0½êãç'¸ëëì0½2Sòsé)êwé)2žë2J0½ê5ç'=êãç)0½ç[é)2Sãéç[é4é2Zê¸íyé2Zê7ð"2 Féç6¸01ç[2 ç6wã2 3ê´ãç[01ç[é)2=ãé

ç"é4é)2Zíµê´2S´s5ç)2= ñ

ãü23õÖ30½2=ãéÑ2S=êã=0ì½014é)0½êãï2=ã´0ã2äÑ5ç[é782 ¸7ì½2~é)ê 501óJìæo=êä~ë5é2sç)2Sò5ì½2

ä~0ä~0=0½ãlé)2sãJ5äÑ7^2=wê¸íÆ´Fé)0½êã8ç=ñy ’ã÷é)01çÑë8¸ë^2= 2Öëêë^ê´ç)2Öç)5 lã2 2=ã´0ã2´ñ

(ž5Öä~23éêòå5ç[2 çÖÓëê7ì2Sä ò2 3êä~ë^ê´ç)0°é0ê´ãå7ç)2SòÕêãÕé2lé)2=ê23é0½S¸ìÆã¸ì½æç[01ç~ê¸í

7óé)ó Aíµ)2S2»ç)2S¸ñL$'2Ö01ò2S01çZé)êïç[ëì½0éhé)2s´Fé0ê´ãçh0½ãïéêç)23éçSñ/$'2ç[éÑç)23é

)2Së)2 ç[2Sãéç,#=æ3ì½2 ’35é…0ãwé)2 ¸ëêí^=êãç[é)¸0½ã2Sòw3é)0½êãçSñ4$'2ç[2 3êã8òÑç)23é…)2Së)2 ç[2Sãéç

¸ã0½ãò5=2SòZíµê´)2 ç"éLê¸í3é)0½êãçSñS$'2Rç[ê´ìJ0½ãÌëê32 ç)çb58ç[2 çyéêÆç[é´2SçSñ 8ç[éL7¸ã8 ²ãò

78ê´5ãò~ä0½ä»0=2 ç…é)2ÆãJ5äÑ7^2=Rê¸íyç[2Sì2 Fé2Sò~3é)0½êãçË0½ã~é)2ž3æ=ì2²=5éSñ ç[2 3êã8òw7ã

¸ãò²7^ê5ãò2Jé)2Sãòçýé2ïë)20½ê58çýç)êì½5é0ê´ã êãÿé)2ïíµê2Sç[él¸ãòÿç"é0ì½ìhä0ä~0=2 çsé2

ã5äÑ7^2=Ëê¸í^ãêã~3ê´ã 01Fé0ãh´Fé)0½êã8ç=ñ¸$'2'ë2J0½ê5ç…ç)ëì½0°é]ä¸ó´2SçLé)2Ìç[2 ¸Ñç[57 Aê´ëé)0½ä¸ìAñ

Ìê22S…0°é ´)2 4éìæ0½ä~ëê2Sç,é27´ó´é´ó3ê´ä»ëì2J0é"æñ´.ë82S)0½ä~2=ãéì)2 ç[5ì°éç]ç[êè

ì½´2ž0½ä~ë)ê´2=ä~2=ãé0½ã é0ä~2hë^2=)íµêä¸ã=2#=êäÑ70ã2 ò 0é)ãý´==2=ëé¸7ì½2 ´58¸ì½0°é"æÖì½ê´ççSñ

$'2ëë82SÌ0½çÆê´ã0S2Sòýç'íµê´ìì½êhñ ’ãç)2S3é)0½êão 62hë)2 ç[2Sã´éÆç)êä~2ë)20½ê58ç 6ê´)óÏñ

J2S3é)0½êãZë2Sç)2=ãéç]ê5]0½ã0é)01¸ì^3êã8ç"é0ãé]ëê´ä»ä~0½ã#ä»êò2Sìì½0½ãñ]ê7ì½2=äç]ò2S=êä

ë8êç[0é)0½êã01çÆò23é0ì½2Sòo¸ãòò0½ç35çç)2Sò0½ãoç[2 Fé0ê´ãñ8*,0½ã¸ì½ì½æ^782=íµê2 0J0ã sÖ3ê´ã3ì½5ç)0ê´ãy

ç[2 Fé)0½êãl~ò2 ç)=)0½782 ç'2ë^2=0ä~2=ãé¸ìb2Sç)5ì°éç=ñ

bÚ

fZÝyâÞ^à! ÑÞ8Ý#"

$'2 4ç[éÖä4ð"ê0é"æ÷ê¸íh2S3ê´ã30½ì½0½¸é)0½êãÕ2=ã´0ã2 ç5ç)2oò2 ò0½S4é2SòÕ2=5)01ç"é0½Sç~é)êè3êä~ë5é)2

ì01òç2Sò5ì2 ç=ñÏ*괞2¸ä~ëì½2 ööFù$

5ç)2wò0&%Ï2=2=ãé ´)2S2Sòæ¸ìê´)0é)ä~çSñ8.6ì´ê0°éä

¸ëëì½0½2Sçç)ë82 308Z)5ì2 çé)êÖç)2=ì½2SFéãê´ã ’3êã0½3é)0½ã3é)0½êãçSñ

lê2 ´2=ã2Sì¸ëëê´´2SçL5ç)2 2=ã2=0½3ê´ãç"é0ãéËç[ê´ì´2=çLé)êZë82S[íµê´)ä 2S=êã=0ì½014é)0½êã

'

ñ$'2oä~êò2Sìì½0ã 5ç)2Sçsé)2ô¸7ç[é)3é)0½êãûì½2´2=ì#ê¸í($léêèò2ã2ô3êã8ç"é0ãéçs)2S콸é)0½êãçSñ

$'2ä¸0½ãü´ò 4¸ãé2 çžêí'=êãç[é)¸0½ãéZ78ç)2Sòô¸ëëê´´ï)2~êëé)0½ä~ì0é"æï=êäw70ã2Sòoé)ê

ä»êò2Sìì½0½ã ç)0ä~ëì½0130é"æýãòç)æJç[é)2Sä 0½ãé)24é)0½êã/ñ8$'2ä0ãoò7´óÖ01çž=êäÑ70ã¸é)ê´)01¸ì

2ëì½ê´ç)0ê´ãyñ ’ãlêò2Sé)êÖ0½ä~ëê2#é)01çžì½´ç"éÌë^ê0½ãéS

'

¸ëëì0½2Sòl ´2=æ ç)0ä~ëì½2ì½êJS¸ì,ç[2 ¸

êãôé)01çhëê7ì2SäýñL$'2ë82S[íµê´)äã32»ê¸í'ìêS¸ìRç)2Sô¸ëë^2S)2 òéêl7827´òbñ/$'2ä0ã

)2 ç)êão01ò2Sã´é0&82Sòï7æé)2Ö5é)ê´h3êä~2 ç#íµ)ê´ä é)2ä~0o7^23é2=2=ãô7^êê´ì2 ¸ãü¸ãòï0½ã´é2´2=

)01¸7ì2 ç=ñ

ãÕ0ãé)2S)2 ç"é0ã ôìì½2=ã 2ý0½çwé)2=ãèé)êü0½ç)2 é)2ë^2=)íµêä~ã32ýì½22Sì'ê¸íž=êãç[é)¸0½ãé

7ç)2Sòü2S=êã=0ì½0½¸é)0½êãü2=ã 0½ã2SçSñ/ ’ãüé2Öíµê´ìì½ê0ã 62sç)ê ê é)êï2ëì½ê0éé)2Sê23é0½S¸ì

3êä~ëì½20é"æÖ2Sç)5ì°éçé)ê~¸01ç[2#é)2¸ëëì½01=¸70ì½0°é"æsì22=ìbêí,=êãç[é)¸0½ãé ²7ç)2Sò2S=êã=0ì½014é)0½êã

2=ã´0ã2 ç=ñ

)yÚ

}wÞ8Û*SÜ=Ý+âÛÏÜ!,,Ý4Þ.-8Ý+0/1/÷â?Û-2/÷Þyß*343â?Û-

ï2Ìò2=é0ì2S)2'ê´5Ë3êã8ç"é0ãé…ä»êò2Sìì½0½ãhê¸í^ìê²7ç)2Sòh2S=êã=0ì½014é)0½êã/ñ ô2750½ì1òwê´ãÑé2

y¥S‘?˜SŒ¢S¨A¨?§A—F‘’–²šÆŽ?–A²F¢¸)ŒŒ—3”½Œ½F¢ À

ì½2=ä 01~ò0½ç3ê´ãã2S3éç…é2Ì2Sã0½ã2'íµêä é2̸ëëì01=¸é)0½êãyñ çRã~0ä~ä~2Sò014é2)2 ç[5ì°é ¸é)2

ëëì½0½S¸70½ì0é"æÖêí,ê´5 6ê´)ó01ç'7ê´´ò2=ã2 òbñ

$'2o0ãë5éý01ç ä~´ò27Jæû÷ç)23é êíìê´ç5ë^=êä~0ã ÷íµêä 5ç)2=çÖê´ ëëì½0½S4é)0½êã8ç

þ °! ´ñ$'2Sç)2Zò0½çð"ê0½ãéÆç)2 ò5ì½2Sç)2#0ã8ò0J01ò5ìì½æ =êãç)0½ç[é)2SãéSñ

$'2wê5éë5éZ0½çžäò2»7Jæýé)2»ì½´2Sç[éžç)57ç)23éžêí]5ç)2=çÏ3é)0½êãç#3ê´ãç[01ç[é)2=ãé 0°éé)2

íµê´ìì½ê0ã ~=êãò0°é0ê´ãç=

þ[2"2=íµê28=êãç[é)¸0½ãéçwþ¸ì1ç)ês=ìì½2Sòé2=ä~ë^ê¸ìF8íµêžãJæ# [$ &%Ñ0½ãé)2 ãì,ç2 ò5ì½2

(' % ) 3êä~2 ç'782=íµê2* % þµãêéÌã2S=2Sçç))0½ì½æ0ä~ä~2Sò014é2=ì½æÖ7^23íµê23ñ

þA 25ç"é62 ¸3êã8ç"é0ãéçÆþ¸ì1ç)êZS¸ì½ì2 òò2=ë^2=ã8ò2=ã=02 çR=êãç[é)¸0½ãéç Fíµê6¸ãJæ+ y0½ã~é)2

ãìyç)2 ò5ì½2 ,.-/ &%hä»2 ¸ãçé4é0 &%Z0½çÌì½ç)ê»0ãýé)2 ã¸ìLç)2 ò5ì½2ñ

$'2üç)2=ä¸ãé)01êíwèì½´2oç[2=éýêíw¸ëëì01=¸é)0½êãçý=ã7^2ï2=ë)2 ç[2Sã´é2Sòåéê5´ é)2

=êäÑ70ã¸é)0½êãêíbé)2 ç[2#ìêåì½2´2=ìÏ3êã8ç"é0ãéç $3ùöö4ñJ*ê´R0½ãç[é¸ã832Æ0íyé2žä~2=é)êò213ÿê¸í/ã

ê´7ð"2S3é54~ã2=2 òçéê ç[é[é 0é)é)2»=¸ì½ìyéês¸ãl0½ã0é)01¸ì½0½ç4é0ê´ãlä~23é)êJò!1 2Ñ=ãl5ç)2é)2

íµê´ìì½ê0ã ~=êãç[é)¸0½ãéçS

6

417 ' 41 3

6

41738-/491

3ê´ãç[01ç[é)2=ãé'ç)2 ò5ì½2Æäw5ç"é'2Sç)ë82 FéãJæ~ò2=ë^2=ãò2Sã3æ2=ì14é0ê´ãs¸ã8òsê´0½ò~ê´)0½2=ãé2Sò

=æJ=ì2 ç'ê¸í 7^23íµê´)2 3ê´ãç"é0ãéç=ñ

$'2ë)20½ê58ç…ë)ê´7ì½2=äW7^ê5ãò2Sòwéê"2=íµê2¸3ê´ãç[é)¸0½ã´éçË=ã»ê´70½ê58ç[ì½æ7^2)2 ò532 ò

éêé)2»ç[2 ¸ê¸í…é)2Ñì½´2Sç[éÆ3æ=ì01hã2=é6ê´)ó ê¸í]3é)0½êãç:´ñ8$'2ë2J0ê´5çê´7ç[2S4¸é)0½êã

¸01ç[2 çy!Æ A8¸òã2SççSñS(žãZé)2]êé)2Syãòb3é26´òò0é)0½êãZê¸íJé2 äÑ5ç[é/´2=ò2=ë^2=ãò2Sã30½2Sç

´ìê´7¸ì½ìæô2Sò5=2Sçé)23ê´ä»ëì2J0é"æñ…$'2 )2 ò5Fé0ê´ãÓ0½çw2´2=ã÷ì1¸ 2S 2Sã÷é)2s2=ì14é)0½êã8ç

)2Æç)æJä~ä»2=é)0½S¸ì1çžþ; <-= &%>-# 3ñJ ’ãò2=2 òb´é)2#ë2J0ê´5ç]0½ãé)êò532 çR2504ì2Sã32#3ì1çç[2 ç

7^23é2=2Sãô´Fé)0½êã8ç 0½ü01çZ250ì2Sãéžéêýëê7ì2Sä çhç)0S2w2Sò58Fé)0½êãåþç)2=2´

'

¸ãòïê5

2Jë^2=0½ä»2Sãé¸ìb2Sç)5ìéç Fñ

)/ڐÙ^Ú@?&ACB<DFE&GHDFA>IKJ

*)ê´ä é)2lë2J0½ê5ç»ò2ã0é)0½êãçS 62lò2ã2lÓ6êãç[é)¸0½ãé~R)ê¸ä~ä~0ãoä»êò2Sì?ñ]$'2

ë[é0°é0ê´ã~ê¸íÏé)2žFé0ê´ãç…7^23é2=2=ã58ç[2SçË01ç]òêëë82 òÑéêÑ3ê´ãç)0½ò2S]ç…é2Ì0½ãë5éRé)2 êì½2

ç)23éËê¸íFLoþµë^ê´çç[0½7ì½æÑ3ê´ã 01Fé0ã/´Fé0ê´ãç=ñ4.6Ñ´Fé)0½êãM 58ç[2 ç/éêZ3êã8ç"é0ã2 ò 4¸0½7ì½2SçS

6ON

*PRQ<S 2S)2sé)2 4¸ì½52o 0½ç»ç[2=é2SãÓé)2ý´Fé)0½êã 0½çw0ã83ì½5ò2Sò÷0ã é)2 ã¸ì

ç)2Sò5ì½2ñ

6T

PUQ)L@VÕSbéê)2Së2Sç)2=ãé6é2hë^ê´ç)0°é0ê´ã êíLé23é)0½êãý0ãýé)2ç[ê´ì5é0ê´ãyñ

à 8›]—F¡'—3šFŒÏ—F¢¸šÌ‹Ñ›4˜ —’·¸ŒŽ

þN

(PP P þT

T %

ï2òêZãêéË=êãç)01ò2=,é)2ë8êç)ç)07ì223ì½5ç)0ê´ãwêí^´Fé)0½êãM % ñJ0ã832 2Sã

N

%5PP é2

2=ãé0ì½ä~2=ãéRê¸í

T T

%Ì´çËãêã2´¸é)020½ä»ë8Fé ñ ’ãò2=2Sòy¸é)2Æë5ã0½ãhê¸íbë^ê´ç)0°é0ê´ã L V

íµê

T

'01ç=êãç)0½ç[é)2Sãéhç)0½ã32~é2sç2Sò5ì2=ãü782Ö=êä~ë5é2Sò 0°é L V ë^ê´çç)07ì½2Öç)ìêéç

==êò0½ãéê

N % 23ì½5ç[0½êã/ñJ$'2ž7^2=ã2éíµêä é)2Zç)êì2S6ë^ê0½ãéêí J0½2 01çé)껸ã8òì2Z

íµ22=ãJ5äÑ7^2=êí…=êãç[é)¸0½ãéç'2 óJçSñ

$'2Z)2Së)2 ç[2Sãé4é0ê´ãsêí…ãæ@ ,.-/ &%#58ç[2 çé)2Zíµê´ìì½ê0ã ~=êãç[é)¸0½ãéçS

þ"ôþ

N

CPP P þN % P

þ? ôþ

N % PP P þN P

$'2 ç[é 0½ã 4)01¸ãés2Jë)2 ç)ç)2SçÖé)2oíFéýé)84ésé2ô0ã=ì58ç[0½êã êíÑ3é)0½êã S¸ããê¸é

êJS35 0é)ê´5é'é)2Z0½ã3ì½5ç)0ê´ã êíL3é)0½êã# &%ñJ$'2Zç)2S=êãòs0ã4¸01¸ãé01ç)2 ò5ãò¸ãéS0Añ2´ñ0é

òêJ2SçãêéƸã 2žé)2Ñç)êì½5é0ê´ãýç)ë=2ñÆê622= 2Zíµê5ã8ò ê´5éé)84éÌ0éÌ0ä~ëê2 çç[2 ¸

23õÖ30½2=ã=æ ¸éé2hë0½=2Zê¸í…¸ãòì0½ã~ä~ê2Z=êãç[é)¸0½ãéçSñ

)yÚbÚ DFE E JJ

J0ã832žé)2ž¸é)0½êãì2Ì01çRé)ê»ó2=2Së~é)2#ì1¸ 2Sç[éRãJ5äw782S6êí/Fé0ê´ãçS2žò2ã2Æé)2žíµêì½ìê0½ã

íµ5ãFé0ê´ã 0½01ç'ä0ä~0=2 òýò5)0½ã»é)2ç[2 ¸sëê32SççS

# ,þ

ö

ú N

$'2Ì7¸ã²ãò²78ê´5ãò~ç[2 ¸~0½ç6ë82S[íµê´)ä~2 ò~ê2=]é)2

N 0°éÖ7^ê5ãòs3êã8ç[01ç"é2=ã=æ

êãlé2

T ñ éÆé)2Ñ2=ã8òlê¸íËé2w2ëìê´¸é)0½êãy8¸ãJæýç)2=ì½2S3é)2 ò3é)0½êã þ?ç=ñéSñ½

N

>P S¸ã

5ç[2wé)2Ñì½ê62SÆ7^ê5ãòoê¸í]é2

T

6´çž 4¸ì½0½òoë8êç[0é)0½êã0½ãé2~ç)2 ò5ì½2ñÏ$'2»ë)2J0ê´5çÌ01ç

ò0½)2 Féw2ëìê´0°é4é0ê´ãÓê¸í'é)2ý3ê´ä»ëì2=é)2=ã2Sççê¸íÌ0½ãé)2S4¸ì6ëêë´4é0ê´ã 0é)è¸0°éä~23é)01

3êã8ç"é0ãéç´ñ

/Ú }yá34táàLÜßJáÞ / ,RÞ  âµÜSâ?Þ8Û

3æ=ì2²=5éýç)23éý0½çsä~´ò2o7Jæû÷ç)57ç)23éýê¸íhé)2 4¸0½7ì½2Sç 0½ 2=ä~ê4¸ìÆ7)2 ¸óçé2

3æ3ì½2Sçwê¸íÆ=êãç[é)¸0½ãéÑã2=é6ê´)ó¸ñ…$'2s2=ä0ã0½ãã23éêóôS¸ãüé)2=ã 7^2 ç[é)53é)52Sò

çÌ»é)2S2êä~ê2 2Sã2=¸ì½ì½æsçÌíµê2Sç[éÌ0ãò532 ò7æsé)2w35éç[2=éSñ8$'2ë2J0ê´5ç'´ç̸ã

0ãé)2S)2 ç"é0ã 0ä~ë´Féyêãç)2S#3ê´ä»ëì2J0é"æñ= ’ãò2=2 òb=0é/01ç 2=ì½ì¸óJãêã#é)¸éyé)263êä~ëì½20é"æ

ê¸í]7´ó´é´ó ç)2Sý0½ç#3ê´ãã2 Fé)2 òýé)êé2 01òJéê¸í…é)2w3ê´ãç[é)¸0½ã´éÌã23éêó ¸ñÏlê´)2

ë)2 301ç[2Sìæ´ 2=ã÷é23êã8ç[01ç"é2=ã=æÓò2´)2S2s0½2´2Sò÷ò5)0½ãô3êã8ç"é0ãéwë)ê´ë4é)0½êãü01ç

ì½´2='ê2´58¸ìÏé)ê»é2 0½òé)y2=ã ë)ê´2Æé4éé2ç[2 ¸s01ç'7óé´ó~íµ)2S2 ñ

$'2Ìë2J0½ê5çR)2 ç[5ìéç6=ã 2S4éìæ»7^2=ã2éRéêÑê5])2 3ê´ã30½ì014é0ê´ã2=ã´0ã2ñ ãJæ~=æ3ì½2

35é]3ê´ä~ë5é)2 òÑê´ãé2

N

^ì½2S´2Sç,¸ãÑ0½ãò5832SòÑíµê2Sç[é…ê¸í 4¸01¸7ì½2SçSñ¸J0ã8326é)2 01òJé)»ê¸íϸãJæ

)01¸7ì2]êíé)26íµê2Sç[é/01çR#þµ0Añ2´ñ 2S´ 4¸0½7ì½2]0½ç,3ê´ãã2 Fé)2 òZé)êž4éLä~êç"é,êã2 )01¸7ì2F2

óãê+é)¸éžé2w0½ãé)2S4¸ì,ëêë´¸é)0½êã 01o2Sãç[5)2 çÆ7^ê5ã8òo3ê´ãç)0½ç[é)2Sã3æ01çÆ7´óé)ó

y¥S‘?˜SŒ¢S¨A¨?§A—F‘’–²šÆŽ?–A²F¢¸)ŒŒ—3”½Œ½F¢

lê´)2'3ì½2S)ì½æé2ëêë´¸é)0½êãêíÏãæwç[2Sì2 Fé)0½êã»ê¸íb3é)0½êãç…=êä~ë5é2Sò»êã»é)2Ì35éç[2=é

ìì½êÌç'w78óé)ó~íµ2=2Z2ëì½ê4é0ê´ãsêíLé2h)2Sä¸0½ã0ã ~ç)23éêí 4¸01¸7ì½2SçSñ

$'2ê´ãìæÓë0°é)퐸ì½ìÌ2=2ý0½ç»é4é 2òêïãêéì0½ä~0°éÖê´5ç[2 ¸÷é)êïé)2ç[éç[ê´ì5é0ê´ã

þ0?ñ2ñËç4é)01ç[íFé0ê´ãFñ… ’ãò2=2Sòy…ç)0½ã3262ýä0½ä»0=2sé)2ãJ5äw782Swêížç[2Sì2 Fé2Sò ´Fé0ê´ãç= 2

=êãé)0½ãJ5ê5ç)ì½æ#7^ê5ãòé2'ç[2 ¸ÑS3êò0½ãéêÆé2'782 ç"é 5¸ì½0°é"æh0½ãÑê´ò2=Lé)ê ãò»Æ7^23é)é)2=

ç)êì½5é)0½êãïþµ7¸ã²ãò²78ê´5ãò 3ñ ç6ãsê5é3ê´ä~2 62 0ì½ìb¸ìæçËë^2=)íµêä 7óé)óJ0½ã

ç[é)2Sëç=ñÌê22Síµ)ê´ä é)2ë2J0ê´5ç'2Sç)5ì°éç= 2=ã2ë82 F鞻ì1¸ 2Z2Sò53é)0½êãê¸í,é)2Sç)2

ê´ë82S¸é)0½êãçSñ

8ññ´ñ !

$'2#ã2ç[2 ¸sç2=ä~2Æ58ç[2 çRé2Zë2J0ê´5ç)ìæ~ò28ã2Sòl÷ä~êò2=ì½ì½0ã8ñ ë)2Së)ê=2Sçç[0½ã

ç[é)2Sëè3ê´ä~ë5é)2 ç~oë[é0°é0ê´ã÷ê¸ížé)2

N 4¸0½7ì2 ç0½ã÷éêïç)23éç=ñË$'2 ç"éç[2=é~ò2ã2 ç~

"#%$&%'(!sêíé)2ü3ê´ãç[é)¸0½ã´éýã23éêóÏñ6$'2ü¸ìê´)0é)ä ç[é[éçs7Jæ ç)êìJ0ã÷é)2Ó3æ=ì2

=5éç[57ë)ê´7ì½2=äñ.R é)0½ä»2ÓÕç[ê´ì5é)0½êã01ç íµê5ã8ò íµê´ é2 ç"élç[2=éS0éý01ç2Jé2=ãò2 ò

éêoé2)2Sä~0ã0ã 4¸0½7ì2 ç=ñ…$'2ëê32SççÑé)2SãÕ=êãé)0½ãJ52SçÑé)ê'¸ò÷ï782=é[é)2Sç[ê´ì5é0ê´ã

íµê´Ìé)2w2=ä¸0½ã0½ãëê7ì½2=äñ^ ²íËé)2»ç[2 3ê´ãòlç[2 ¸ç[ë832Ñ0½çÆ2¸58ç"é2Sòb8é)2»¸ìê´)0é)ä

7´óé)óçéêüé)2=5)2Sã´éÖç)êì½5é)0½êãÕê¸í#é)23æ3ì½2 ’35éÖãòèé)02 ç»é)êü0ä~ëê20éSñR$'2

ë2J0½ê5ç'ë)ê32 ç)çÌ0½çê´ã32´0ãý2Jé)2Sãò2 òêãýé)2Ñ)2Sä~0ã0ãÖç)57ë)ê´7ì2Säñ$'2ç)2S¸

01ç5ã01ç[2 ò 2SãÖé2Æé)2S2 ²7ç)2SòÖ2ëì½ê4é)0½êãê´2=Ré)2h3æ=ì2²=5éç)23é'0½çê´2=žþ?ç[2S2 52

Fñ

Tree2 Tree1

Tree2

Tree2

Tree2

‡CEPÊ Ê YSIN"N">"TATAC¹3>]_4BNAÐ=<?@²BN²ÐÆTA>[B@?N²`>"T

*,052Ì Æë)2 ç[2Sã´éç…#=êãç[é)¸0½ãéËã23éêó¸ãò»#ë8êç)ç)0½7ì2Ìò2S3ê´ä~ë8êç[0é)0½êã»0ãwéêZç)57

ëê7ì2Sä~çSñSRì½0ãh)êÌç 5)2 782=íµê2 3êã8ç"é0ãéçS=ò´ç[2SòZì½0ã2 çy2=ë2Sç)2=ãé äÑ5ç[é ž2

2=ì14é0ê´ãç=ñ´(žã~é2Ìì½23í;éRë8¸)é]ê¸íÏé)2 52'é)2Æã23éêóë2Sç)2=ãéçRç[22=¸ì=æ3ì½2SçSñ 3æ=ì2

=5éž01çÌäò2Ñê¸í 4¸01¸7ì½2Sç ê´ç)2)2Sä~êìy72SóJçƸãJæý=æ3ì½2ê¸í…é)2Ñê00½ã¸ì/=êãç[é)¸0½ãé

ã2=é6ê´)óÏñ6 ’ã é)2 ´5)2ô4éýì2 ç[éséê 4¸0½7ì½2SçÖäw5ç[é 7^2ï2=ì58ò2Sòbñ'$'2ô)0ésë8¸)é

¾8›]—F¡'—3šFŒÏ—F¢¸šÌ‹Ñ›4˜ —’·¸ŒŽ

f

g

h c

e

a b a

b

c

d e

f g

h

before must have

d

‡CEPÊ4¼ Ê a^eSN[GE>’É;N"I </T?>"</X>"N"DFcd¸DFTAC<?CEDF:

(žãïé2Öç)2S3ê´ãòoé)2=2Öç)22Sì…êò2=0ã ´çh=ãï7^2Ö5ç)2Sòïéêlë82S[íµê´)ä é2Ö7¸ã8 ²ãò

78ê´5ãòbñb*ê´Z0ãç[éã32´$ $ »ç# 01òJéoê¸ížwç)0ã=2w0½ãé01çžê´ò2=0ãs2S )01¸7ì2

0½ç=êãã2 Fé2Sò é)ê4éä~ê´ç[éêã2Zë2J0½ê5ç)ì½æ0ãç[éã3014é2Sò4¸0½7ì½2ñ$'2Zêò2=0½ã7,

ç 01òJé)Ó ýç[0½ã=2Ñ01çh3êãã2S3é)2Sòé)ê7^ê¸é)»¸ãò ñy$'2 ç"éhêã2w01çZ7óé´ó íµ2=2´

é)2ç)2S=êãò êã2hS¸ãý0ãê´ì´2ž78óé)óJ0½ãñ ²éÌ0½çƸìæç6ë8êç)ç)07ì2Zéê~=êä~ë5é2Zé)2h7^2Sç[é

êò2=0ã #ê´ã~é)2žç[2 3êã8òÑé)2S2´ê622S 2Æò2 301ò2Sò»éꁸëë)ê#0½ä~¸é)2é)0½ç6=¸ì135콸é)0½êã~7Jæ

5ç[0½ãсä~²ò22=2 4¸01¸7ì½2êò2=0½ãhêã~é2žç)2S=êãò»é)2S2ñ ’ã8ò2=2 òb´¸ãó0½ãZé2Æãêò2 ç

é)ê5´sé2=0½ ´ë ò22=2Z5ç)5¸ì½ì½æÖ)2 ç[5ì°éç'0ãlç)ä~ììbê´ò2=0ã 01òJé)çSñ

ññE ñ "#%$'(! $&%!$

*L0½ãò0½ãýé)2~ç)ä¸ì½ì2 ç"é=æJ=ì2²=5éhç[2=éZêí 02Sã ¸ëo01çh¸ãï!ž ²¸òléç)óÏñ Æê622SS

ç[ê´ä»2R2=501ç"é0½Sç ´0´2]0ãé2=2Sç[é)0½ãÌ2Sç)5ì°éç=ñ4(ž5/ë)2Së)ê=2Sçç[0½ãÌç[é)2=ëw3êä~ë5é)2Sç,Ì=æJ=ì2²=5é

0°é é2Zíµêì½ì½ê0ã~ä~23éêòb

6

J2Sì2 FéÆ 4¸0½7ì½2 0é)ýé)2h0´2Sç[éÆò22=2#0ãýé)23êã8ç"é0ãéã23éêó

6 ê

*Ësíµ)ê´ä

6

²íÏé)2

*Ë~ç)êÌç…é4é0½çËë8¸)é]ê¸íyh3æ3ì½2´)2Sä~ê2¸ã8òwë5éR0éR0ã~é2Æ=æJ=ì2²=5é

ç)23é

6

%2Së82 4éé0½ç'ë)ê32 ç)ç'5ã´é0ì/ãê3æ3ì½2Sç)2hò2=é)2S3é)2 ò

$'2Zë)2J0ê´5ç¸ìê´)0é)ä 23é5ãç 0°élw2S´ç[ê´ã¸7ìæÖç)ä¸ì½ìy3æ3ì½2 ’35éÌç)23é ñ

ñññ '($"

(ž7 J0½ê5ç)ì½æê5éê»ç[é)2Sësëê32Sò5)2ž0½çç)57 ²êëé)0½ä~ì?ñ$'01ç'3ê´ä»2 ç6íµ)ê´ä é)2hç)ëì0é'ê¸í/é2

y¥S‘?˜SŒ¢S¨A¨?§A—F‘’–²šÆŽ?–A²F¢¸)ŒŒ—3”½Œ½F¢ Â

ë[é ñ ’ãò2S2Sòbé2¸ìê´)0é)ä ç"é¸)éçwíµ5ì½ì/2ëì½ê4é0ê´ãsêí/é)2ç[2 3êã8òÖé)2S2#2  é)0½ä~2

ç)ê퐸žêëé0äì,ç)êì½5é)0½êãl01çíµê´5ãòl0½ãlé2 ç[éÌé)2=2´ñ$"5éZç[0½ã32wëê7ì½2=ä =ãl2ã

ê´ëé)0½ä¸ìLç)êì½5é0ê´ã 0°éoë^êê´ 5ì0é"æ ê´ãé)2(ç"éÌé)2S28ê5#ç[2 ¸ç2Sä»2w=¸ãlä~01ç)ç

0éSñ$'2Zíµêì½ìê0½ã~ç[2 Fé)0½êãlìì½êÌç5çé)ê 5ã´é0°íµæÖé)2hë2J0½ê5ç'ê´7ç)2=¸é)0½êãyñ

yÚ x , Ý4â/ ÛÏÜ

$'2Z2Jë^2=0½ä»2Sãéçòséêwä¸0½ãê´ì½çSñJ*L0½ç"éìæ´çç[2 ç)ç6é)2žé0ä~2Z23õÖ=02Sã3æÖêí/é2#é6ê

ç[é)2SëÖëêJ=2Sò5)2žêãsÑì½´2 4¸02=é"æwêíy)2 3êã830½ì014é0ê´ãë)ê´7ì½2=äç=ñJ2 3êã8òìæ´´24¸ì½54é2Ìé)2

0½ä~ë3é#ê´ãlé)2 5¸ì½0é"ælê¸íËé)2»ç)57 ²êëé0äì,2ëìê´¸é)0½êãyñ^$/êý0½2´2é2Sç)2éê ´ê´¸ì1çS

2žò2 301ò2Sòé)êÑ=êä~ë¸2Ìê´5Rëê32 ò52Ƹ0½ãç"éRíµ5ì½ì87¸ã8 ²ãò²78ê´5ãòç)2Syñ´$'0½ç

ç)2S=êãòsë)ê=2Sò52Æ01ç'3ê´ä»ëì2=é)2J0Añ2´ñ¸7ì½2Æéê(8ãòé2Z782 ç"é 5¸ì½0°é"æ´ñ "6êé) ä»2=é)êòç 2=2

0½ä~ëì2Sä~2=ãé)2 ò 58ç[0½ã

0½ç)êì2SZê´ãý~…2Sã´é05ä~)5ãã0½ã4éÆ #0´ñ

ô25ç)2Sòwé6êhç)23éçËê¸íÏëê7ì½2=äçSñ¸$'2 ç"éRç)23é]01çËäò2'7JæÑë5)2Sìæwãòê´ä ëê7ì½2=äçSñ

$'2'ç)2S3ê´ãòç)23é ´çLò2ã2 ò0½ãw=êì½ì½78ê´¸é)0½êã 0é)é2'¸5éêç/êí $ñ ²é* 5)2 ç/3ê´ä~ä»ê´ã

íµ2 4é)5)2 ç'ê7ç)2= 2 òÖêã~ì1¸ 2Zç[2=é'êí,2S=êã=0ì½014é)0½êãý¸ëëì01=¸é)0½êãçSñ

.6së)ê´7ì2Sä 01çÌò28ã2Sò0é)ýé)2Zíµê´ìì½ê0½ãwë8¸¸ä~23é2=ç=

6

ãJ5äÑ7^2=ê텴Fé)0½êã8ç60½ãýé)2h0½ã0é)01¸ìyì½êç

6

é)0é)ã2Sçç'ê¸í57^23íµê283êã8ç"é0ãéç

6

é)0é)ã2Sçç'ê¸í5äÑ58ç"é Æ2 3ê´ãç"é0ãéç

$'2»é0´´éã2Sççh2=ë2Sç)2=ãéç#ýëêë^ê)é)0½êãïê2Sžé2Ö3ê´ä~ëì2=é)2 ´ëïêí=êãç[é)¸0½ãéçSñ

*ê…0ã8ç"é¸ã=2'žëê7ì½2=ä 0é) ´#3é)0½êãç…ãòwÆé)0éã2Sçç,ê¸í^ñÆ´ç,) ´ ´ P

=êãç[é)¸0½ãéçSñ

$'2ä~2S´ç[5)2 çw0½ãê´ì´2sé2ïR& é)0½ä~2Ëé2ãJ5äÑ7^2=Öêíž7´óé)óÓ¸ãò é)2ã¸ì

5ì0é"æñ*,052Sò 4¸ì½52Sç2=ë)2 ç[2Sã´éé)2hä»2 ò01¸ãê¸í˸»0ã8ç"é¸ã=2SçSñ

yڐÙ^Ú+DFA E /J

%Ìãòê´ä~çýëê7ì2Sä~çìì½ê 2=ã2=¸ìh¸3é)2S)0S¸é)0½êãûê¸í~¸ìê´)0é)ä ë^2=)íµêä¸ã=2SçSñ

$'2Sæw)2 2=ì½ìóJãêãÑéêh20½70éËíµêRç)êä~2'븸ä~2=é)2=ç 2S)æ8¸òÑ0½ãç[é¸ã832Sçöùö ¸ñ$'2Sç)2

0½ãç[é¸ã832Sç)2Z0½ä~ë8ê´[é¸ãé'é)ê 2=éÆ»=ì2 ¸ë01Fé52#êí…ì´ê0°éäçë82S[íµê´)ä¸ã832SçSñ

’ãlê´ò2SÌéêsçç[2 ç)çé)2»¸ìê0é)äçê´2=Æì1¸ 2ç)23é#ê¸íËëä»2=é)2SçS2Ñò2S=0½ò2Sòéê

ì½0ä~0é'é)2hç)0S2žêí/é)2žëê7ì2Sä~ç6éê w´Fé)0½êã8ç=ñ$'01çì0½ä~0°é4é)0½êã'ç60½ç)2Sòs7æ~é2Zë8êJê´

ë^2=)íµêä¸ã=26êíé)2'íµ5ìì7㠒¸ãò A7^ê5ã8òh2ëì½ê4é0ê´ãÑ5ç)2SòÑé)êhçç)2SççLê´5…ëêJ=2Sò5)2´ñ

ñ´ñ´ñ $ $

*,052 02 çé)2 2=ã2=¸ìyì1¸ãòç)S¸ë^2hê¸í,é)2Ñç)2S2%^ê´[éÑþµé)0½ä»2'íµê´Ì78êé)é2#$ $

7¸ã8 ²ãò²78ê´5ãòÖãòÖê´5 %"#$'(%!ä~23é)êJòyñJ$'2 ²0½ç6)2Së8ê´[éç]é2Zë82S=2=ãé2žê¸í

782=íµê23ê´ãç[é)¸0½ã´éçÆþµíµ)ê´ä hé)ê êíyé)2žë^ê´çç[0½7ì½2#=êãç[é)¸0½ãéçR782=é62S2=㠁3é)0½êãç Fñ

$'2Rë82S=2=ãé2Ëê¸í äÑ5ç[é ž2S3êã8ç"é0ãéçy0½çLç[2=é/êã#é)2 ²J01ç]þµíµ)ê´ä éêž Fñ *,0ãìì½æ

8›]—F¡'—3šFŒÏ—F¢¸šÌ‹Ñ›4˜ —’·¸ŒŽ

IceCube+Disolver n=40, Time (seconds) (median)

global 100 80 60 40 20 cycle cut 25 20 15 10 5

0 0.1

0.2 0.3

0.4 0.5

0.6 0.7

before 0.8 0 0.005 0.01 0.015 0.02 0.025 0.03 0.035 0.04 0.045 0.05 must have 0

20 40 60 80 100 120

‡CEPÊ4À Ê¶/B:XDFcÕd @ADF_GE>"cT)Ø=<?CEc>…GOB:XT?N)Bd¸>]CE:ÆTA>"N"DF:XT

$'0½ç#ì1¸ãòç)S¸ë^2»ç)êÌçÆé)2~ë´ç[2wé)¸ã8ç[0é)0½êãï)20½êãê==5)0½ã ¸éh êí 7^23íµê´)2

þ¸7^ê5é ´3ê´ãç"é0ãéç 'ãòl ê¸í äÑ5ç[é ž2½ñÏ6ì½2S)ì½æé)2w0ä~ë´FéÆêíRò2=ë^2=ãò2=ã=æ

3êã8ç"é0ãéçZ01çë^ê´ç)0é)02êãôé2sç)2S¸ï=êä~ëì½20é"æñ/$'2 ç[2 3êã8ç"é0ãéçh´FéÑ´çh2504

ì2Sã32=ì½´ç)ç)2Sç'7^23é2=2Sãý´Fé)0½êã8ç=ñ$'0½ç'01ç2504¸ì½2=ãéé)ê~é2h2Sò53é)0½êãýê¸í,é)2hãJ5äw782SÌê¸í

)01¸7ì2 ç ' ñ

$/ê+5ãò2=ç"é¸ãòWé)01ç ´2=ã2Sì»ì1¸ã8òç)S¸ë^2è0é÷01çÓ2=ì½ëíµ5ìÖé)ê 3ê´ãç[01ò2Süé)2 5ì0é"æ

0½2´2Sò 2=ãôé)2ë)ê´7ì2Säçh¸2Ñíµ2=2êí äÑ5ç[é ž2y=êãç[é)¸0½ãéç~þµ0Añ2ñ½y¸ò2 ç"é3ê´ã

54é0ê´ãFñË$'01ç~01ç~ë)2 ç[2Sãé)2Sòè0½ã ´52 ñ…ï2S¸ãÕê7ç)2= 2sé)¸é~7^23íµê´)2ýé2lë´ç[2

é)¸ãç)0°é0ê´ãïþì2=í;éÌë¸)éê¸í/é2 ’01ç 3´é2 5¸ì½0é"æ0½ç'0/ñ$'2Z7㠒¸ãò A7^ê5ã8òëê

32Sçç#0½çZ7ì2Ñé)ê35éhì1¸ 2wë¸)éçžê¸í]é2ç[ë832´ñ8 ’ã8ò2=2 òbÏ2Soé)0½ä~2»ýç[ê´ì5é)0½êão01çžíµê5ã8òb

é)2 5ì0é"æÑ01çË7^ê5ã8ò2Sò»éê782Æ0´2=…é4éRé)2Æ=5)2Sã´é]ê´ã2ñ ’ãÖç[5~5ã8ò2=²=êãç[é)¸0½ã2 ò

ç[ë´32´¸é)2Æëê770½ì0é"æwêíbJ0ãwh02S 5¸ì½0é"æÑé¸ãé2ž=5)2Sã´é]ê´ã2Ì01ç6ç)ä¸ì½ì8ç)0ã832

é)2 5ì0é"æÑ01ç]7^ê5ãò2Sò~7JæÑé)2ÌãJ5äw782SRêíÏ´Fé)0½êã8ç=ñ í;é)2S]é)2é)¸ãç)0é)0½êãy4é2 5ì0é"æÑ01ç

ë8êJê75éé)2žãJ5äw782Sêí/3ê´ãç"é0ãéç]01ç6ì1¸ 2´ñ´$'2Sãyé)2#ëê770½ì0é"æ~ê¸íyJ0½ãÑ02=

´58¸ì½0°é"æ é)ãé)2»352=ãéÌêã2Ñ0½çžë8êJê´Æç[0½ã=2hé)2wëê7ì½2=ä 0½çÆê2S’3ê´ãç"é0ã2Sòbñ éÆé2

ëç)2Ìéãç)0°é0ê´ãyé2Z2=´2 ´58¸ì½0°é"æ~01ç78ê´5éL þç)2=2#7^2=ì½ê ]¸ã8òé)2žç)2S¸2%Ïê)é

y¥S‘?˜SŒ¢S¨A¨?§A—F‘’–²šÆŽ?–A²F¢¸)ŒŒ—3”½Œ½F¢

0/ñ

’ãýêò2=éê~=ì2 ¸ìæÖ=êä~ë)2žé)2#éê~ä»2=é)êòç 2hò2S=0½ò2Sò é)ê»íµê35ç'ê´5'ë2Sç)2=ãé

é0ê´ãÑéêžé2Ìç)23éËê¸í^ë)ê´7ì½2=äç 0°éê5éRò2=ë^2=ãò2=ã=æÑ3ê´ãç"é0ãéçþ0?ñ2ñ½¸ò2Sç[é,ëê7ì2Sä~ç Fñ

$'2h2Sç)5ìéç)2#ë2Sç)2=ãé)2 òs0½ãýé)2Zíµê´ìì½ê0ã ~ç)2S3é)0½êãçSñ

ñ´ñ ñ

*,052Sç ~¸ãò2Sç)ë^2SFé0´2=ì½æÖç[êûé)0½ä~2#2Sç)5ìéçãòé0ä~2ç)ë82S2Sò²5ë0°é2äÑ5ç[é ž2

é0´´éã2Sççç)23éé)êñ

0 20 40 60 80 100 120

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8

time

before

IceCube+Disolver n=40, Time (seconds) (median)

global cycle cut

‡CEPÊÃʶ/B:XDFcèd@ADF_GE>"cT[ØS<?CEc>

’ã 52 2ï=ì2 ¸ìæÕç[2S2é)2oë´ç[2é)¸ãç)0°é0ê´ãû782SJ0ê´5Öíµê´s7^ê¸éä~23éêòç=ñ

*ê~é)2o3ê´ä»ëì2=é)2l7¸ã²ãò²78ê´5ãò ç)2Sè0°é êJS35ç#ð"5ç[éÖ782=íµê2o ¸ 2=2é)2

ä~2Sò0½ãïR& žó´2=ã2=ìÏé0ä~2232=2 ò灠~ç)2S3ê´ãòçSñ*ê´é)2Ñç)ä~2Ñ3ê´ãç"é0ãé'é)0éã2Sçç=

é23æ3ì½2 ’35éç)2S 02 ç»ç)ë^2=2Sò A5ëêíñ

$'2ç)ë^2=2Sò A5ë=5 2h01çãê¸é#ò2ã2Sò2´2=æ2=2ñ ’ãò2=2Sòyé)2é)0½ä»24¸ì½52hê¸í]3æ=ì2

=5é ´çwä~2 ç)5)2 òÓéê S2=êíµê´ 2=æÓç[äìì'é0´´éã2SççSñ…$'2Sç)24ì52 ç»ä~´ò2lç[ë^2=2 ò²5ë

S¸ì135ì14é0ê´ãs0½ä»ë^ê´çç)07ì½2ñ8$'2Zì½´2Sç[é'ç)ë82S2Sò²5ëý232S2SòçZ»¸ãò 01ç0½2´2Sòíµê´'é)0é

¿ 8›]—F¡'—3šFŒb—F¢¸š‹Ñ›4˜ —’·¸ŒŽ

0 20 40 60 80 100 120 140 160 180

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8

speed up

before

IceCube+Disolver n=40, Cycle cut speed up (time) (median) cycle cut speed up

‡CEPÊ  Ê ¶/B:XDFcèd@ADF_ GE>[cT[ØS<?CEc>…T?d>">"X É;I d

êã~é)2Sç)2Æëê7ì½2=äçS´=æJ=ì2²=5éR01ç6ì'æç ´ç ´êêò JçËé)2 ì½ê7ì8ç)2S¸~)2´ò0½ãZé0ä~2

3êä~ëì½20é"æñJû0é)ýì½´2Ìé)0éã2Sçç=é2hç[0=2#ê¸íyé2Z3æ3ì½2 ’ç[2=é0½ã=)2 ç)2Sç¸ãò 4éé)2Z2=ã8òb

782 3êä~2 ç]25ìéêé)2 ê´ì2Ìë)ê´7ì2Säñ´$'2Æç)2S~01ç]é2=ãs250ì2Sãé]é)êhé2Æê´ã2Æòê´ã2

7æÖé)2 ´ìê´7¸ìb7¸ã8 ²ãò²78ê´5ãò ç[0½ã32#é2ç[2 3ê´ãòÖé)2S2h782 3ê´ä»2 ç'2=ä~ëé"æ´ñ

ñ½ññ #

û2=ã 23ê´ãç[01ò2S7óé)óJ0½ãLé)2)2 ç[5ì°éç~ë)2 ç[2Sãé)2SòÕ0½ã 52 ü¸23ê´ãç[01ç[é)2=ãé

0°é é2hë2J0½ê5ç'¸ã8¸ì½æJç)01ç=ñ Ìê2´2= é2=æ 3êã0)ä ê5ë2J0½ê5çê´7ç[2S4¸é)0½êãsê´ãsé2

0ãíµ2 ç)070ì½0°é"æwê¸íÏ7óé´óAíµ2=2Rç)2S»0ããwê´ëé)0½ä~0½ç4é0ê´ã»=êãé)2é ñÌ2Sã32'é22=ë^ê)é)2Sò

7óé)óç3ê´ä»2žíµêä é2Zêëé0ä~01ç)¸é)0½êãsë)ê32 ç)ç'ãòÖíµêä é2ç)57 ²êëé0ä¸ì½0é"æê¸í/é2

êò2=0ã ´ç5ç)2Sòsé)ê2ëì½ê2žé)2ç)2S=êãòsé)2=2Öþ?ç[2S2Z78ê´23ñ

ñ½ññ $"

*êä é2hë2J0ê´5ç)2 ç[5ì°éç= 2Zóãê é)84éÌ5ãã0½ã~3æ3ì½2 ’35éÌì´ê0°éä é)êë^2=)íµêä

ìê²7ç)2Sòü2S=êã=0ì½0½¸é)0½êã÷01ç ´50°é2´ò 4¸ãé2Sê5çSñ ë¸)é»êíÌé)0½ç»ì1¸ 2Ö0½ä~ë)ê´2=ä~2=ãé

þµ5ëèé)êå ´lé0ä~2Sç»í´ç"é2= Ñ=êä~2Sçwíµêä é2)2 ò5Fé0ê´ã 0½ãè78óé)óüêë^2=4é0ê´ãçSñ ã

b¥ ‘?˜SŒ°¢S¨5A¨?§A—F‘’–²šÆŽ?–A²F¢¸)ŒŒ—3”½Œ½F¢

0 100000 200000 300000 400000 500000 600000 700000 800000 900000 1e+06

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8

backtracks

before

IceCube+Disolver n=40, Backtracks (median)

global cycle cut

‡CEPʾ Êÿ¶LB:X DFcÕd@?DF_GE>"cT)ØS_4BN²Ð3<A@ABN²ÐSCE: P

ê´ãìæÖëë2S=0½¸é)2Æê´7ç)2= 2Sòsç[ë^2=2 òA5ës0½ãs2=ì14é)0½êãsé)ê 5¸ì½0°é"æ~ì½ê´çç=ñ*,052 ë2Sç)2=ãéç6é)2

5ì0é"æsò2Së)044é0ê´ãyñ

$'2 ´ëÓ782=é62S2=ãÓé2Öéêï=5´2Sçh2=ë)2 ç[2Sã´éçhé2sì½ê´çç=ñL ’ãé)2=2Sç[é)0½ã´ìæôé)0½çwìêç)çÑ0½ç

ì½0ä~0é)2 òé)ê Ñ´Fé)0½êã8çÆþ78ê´5é ñE Fñ!Ìê¸éç)5)ë)01ç[0½ã´ìæÑé)2#702 ç"é6ìêç)ç6ê=35ç 0°éÖé)2

ì1¸2 ç"é6ç)ë^2=2Sò A5ë/0Añ2ñ½J)ê´5ãòñ´ñJ*ê 2S)æ~ì½ê ¸ãò0´Öé)0éã2Sçç]é2=2Æ01ç6ãêwì½ê´ççSñ

’ãò2=2Sòy/íµê´Ñé2Sç)2é)0éã2Sççé2s7^2=80½ê5Ñê¸íÆ=æ3ì½2 ’35éÑ01çw250ì2Sãéé)êoé)2 êã2 ê¸í

´ìê´7¸ì^ç[2 ¸y0Añ2´ñ´íµê 2S)æ»ìê þ)2 ç[ë/ñ´0 …é)0éã2Sçç=é)2 ç"éZþµ2Sç)ëyñJç[2 3êã8ò ,é)2=2ž0½ç

2Sä»ëé"æñ

yÚyÚ J E DJ E /J

R)20½ê58çb)2 ç[5ì°éçLãòh¸ãìæç)0½çL¸2]5ç)23íµ5ì´é)ê ç)ë#é)2 êì½2R7^2=J0½êyêí3æ3ì½2 ’35éLê2S

»ì1¸ 2hç[2=éê¸í…븸ä~23é2=ç'ò2ã0ãì½êA78ç)2SòÖ2S=êã=0ì½014é)0½êã ëê7ì½2=äçSñÌê22SSJ2Sì

ì½êçb5ëÏ3êä~0½ãíµêä ò0½ç[é)0½75é)2 òh3ê´ìì1¸7^ê4é0ê´ãž´2]ç[ê´ä~2]ç"é)53é)52ñS ’ãZé)01ç/ç)2S3é)0½êã 2

ò2ã24é 62ÑS¸ì½ì5ëç)2=5òê²)2 ¸ìyëê7ì2Sä~ç 0½o)2Ñãòêä ëê7ì½2=äçÌ2Sç)ë^2SFé0ã

ç)êä~2Z)25ì1¸0é)0½2Sç65ç[58¸ì½ìæÖê´7ç)2= 2SòÖ0ãì½ê²7´ç[2 ò)2 3ê´ã30½ì014é0ê´ãsëê7ì2Sä~ç $´ñ$'2=ã2

ê´ëë8êç[2Z7^ê¸éì´ê0°éäçê2=~ç)23éÌê¸í,ëç)2=5òêA2SìÏ0ãç[éã32 ç=ñ

*,052 ë2Sç)2=ãéç…é2 ´2=ã2Sìç"é)58Fé)5)2ê´7ç[2S´2Sòw0ã2Sì2S3ê´ã30½ì½0½¸é)0½êã~ëê7ì½2=äçSñ

¼ 8›]—F¡'—3šFŒb—F¢¸š‹Ñ›4˜ —’·¸ŒŽ

5 10 15 20 25 30 35 40

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8

quality

before

IceCube+Disolver n=40, Quality (actions) (median)

global cycle cut

‡CEPÊ4ÂSÊ ¶/B:XDFcèd@ADF_ GE>[cT[Ø=I4BGEC<;e

User 2:

...

User 1: ...

...

User 3: ...

User k: ...

‡CEPÊ Ê \^TA>"IX DÉ;@A>[BGJd@?DF_GE>"cT

3êã8ç"é0ãéçç[é¸é)0½ã~é)2Sä~ë8ê´ìy)2S콸é)0½êãç)0½ë782=é62S2=ãýé)2Säñ^Jê´ä»2=é)0½ä~28ç)êä~2´Fé)0½êã01ç

)2´502SòÑ7æãê¸é2=…ê´ã2ñô26é2=ã»´2ç)êä~2'ò2=ë^2=ãò2=ã=æÑ3ê´ãç"é0ãéç6þ?òç)2Sòwì½0ã2 ç 3ñ

’ãïòò0°é0ê´ãéêsé4éhç[ê´ä~2Ñë=2=ìLéç)ól=ãê=35Sñ ë¸32SìL01çÆä´ò2w7Jæ ç[2=é#êíRç[5

32Sçç)0´2ž3é)0½êãç'ììÏ0½ã´é2=3ê´ãã2S3é)2 òé))ê´5Öë8¸0½01ç[2#ò2=ë^2=ã8ò2=ã=æÖì½0ãóçZþ äÑ58ç"é Æ2 3ñ

˸32=ì1ç5 5)2#ê5éÆç)êä~2h3ê´ä~ëì2Öé´ç[ós0ãê´ìJ0½ãwé)2ç)5==2Sçç[0½êã ê¸íËç[22Sì^´Fé)0½êã8çé)ê

ç[5S32S2Sòbñ7"23é2=2Sã»ãJæ3ê5ëì2'êí85ç)2=ç=47^ê¸é~ë)2 32 ò2=ã=2ãò»ò2=ë^2=ãò2=ã=æw=ã»ëë^2S¸ ñ

b¥ ‘?˜SŒ°¢S¨5A¨?§A—F‘’–²šÆŽ?–A²F¢¸)ŒŒ—3”½Œ½F¢ À

*)ê´ä é)2Æë)2J0ê´5ç…ê7ç)2= 44é0ê´ãç 62´2ò2ã2SòZëê7ì½2=ä 2=ã2=4é)ê´ 0½~5ç)2Sç

é2Zíµêì½ìê0½ã~ëä»2=é)2SçS

6

é2hãJ5äÑ7^2=êí,58ç[2Sç

6

Lé2hãJ5äÑ7^2=êí…ç)5==2Sçç[02Z3é)0½êãç'ë^2=)íµêä~2Sò 7Jæs~5ç)2=

6

3 é2ëê770ì½0é"æôêíÆJ0½ãoê´ã2ýò2=ë^2=ãò2Sã3æè3êã8ç"é0ãéw7^23é2=2Sã÷éê

ç[58=32 ç)ç)02ZFé0ê´ãç

6

,é)2wëê770ì½0é"æsê¸í]80½ãÖò2Së82Sãò2Sã3æl3ê´ãç[é)¸0½ã´éç'0ã´êì0½ãÖãæç)5==2Sç

ç[02 ’ç[2=éê텴Fé0ê´ãç

6

*ê´ZãJælë¸0½hê¸íR58ç[2SçS L.

)2Së)2 ç[2Sãéçžé)2~ãJ5äw782Shê¸í60½ãé)2S ²5ç)2=çž=êãç[é)¸0½ãéçSñ

$'2Sç)2Ñ=êãç[é)¸0½ãéçÌS¸ã7^2 0é)25¸ìLë)ê´7¸70ì½0°é"æ é)2Sä~ë8ê´ì/ê#ò2=ë^2=ã8ò2=ã=æl3êã

ç"é0ãéç=ñ

% % $"

#

¸ þ[ ñ8þñ þ

S þ[S ñ^þñE  8þ" 

´¸ þA ñ 8þñ½ ¸ þ" 

´ S8þ[S ñ´þ? ñ

þ

¸   þ[  ñ8þñ ´ þA ´

þ[ þ" ñ þ4´

$,¸7ì½2»žë2Sç)2=ãéçR2Sç)5ìéç 0°é ë8ç[2S5òê»)2 ¸ì^ë)ê´7ì½2=äç=ñ*ê2S 4¸ì½52´ 2 2=ã2=

¸é)2SòSZ0½ãç"é¸ã=2Sç 0°é ¸´Fé0ê´ãç]ë^2=65ç[2SSñ$'2Æë)ê´7¸70½ì½0°é"æwê¸íyJ0½ãÑò2Së82Sãò2Sã3æ

7^23é2=2Sã éêÖç)5==2Sçç[02h3é)0½êãç 'çç)23ééê´sñ$'2hëê770ì½0é"æsê¸í…J0½ã~ë¸32Sì

êí,ç)0S2Ñ 'ç sñ*,0ãìì½æé2hãJ5äÑ7^2=êí,3ê´ãç[é)¸0½ã´éç782=é62S2=ãl¸ãJæéêwì½êç ´ç'ç[2=é

éêlSñ$'2h2Sç)5ìéçíµê´Ì3æ3ì½2 ’35éÌ)2 02Sã 0½ãë¸2=ãé2Sç)0½çSñ

’ãé)2S)2 ç"é0ã ì½æR0½ãûé2Sç)2o2Sì01ç"é0½o=ç)2SçS6=æ3ì½2 ’35és01çý¸7ì½2lé)êèä4é é)2ïêëé0ä¸ì

5ì0é"æÓê¸í ì½ê7ì'ç)2S/ñ…$'0½çS¸ã 7^2l2ëì1¸0½ã2 ò÷0í 2ý=êãç)01ò2=»é)84éé)2ýë)20½ê58ç

ëê7ì2Sä~ç)2ç)ì½0´´éìæ 5ãò2S’3ê´ãç"é0ã2SòbñËû2SãÕé)2oç)0=2lê¸í#é)2lë)ê´7ì½2=äî01ç0½ç)0½ã

é2Öç[ë^2=2 ò²5ëï7^2S=êä~2SçZä~ê´)2»0ä~ë^ê)éã´é ñy*ê´ 58ç[2SçSËþµ0Añ2´ñ ý3é)0½êãç F^é)2 ì½ê7ì

7¸ã8 ²ãò²78ê´5ãò ´çž5ã¸7ì½2»é)êlç)êì2wé)2 ç[2~0½ãç"é¸ã=2Sç 0é)0½ãÕ»ê5Zé0ä~2ñy$'2Sç)2

2Jë^2=0½ä»2Sãé煸2 50é)2¸ëë82 ¸ì½0ãÆíµê…7^ê¸é)wé)0½ä~2'ë82S[íµê´)ä¸ã8326ãò 5ì0é"æhê¸í8ê5Ë3æ=ì2

=5éÆç[2=éƸìê´)0é)äñ

/Ú

}ÑÞ^Û,á3à* âÞ^Û

’ãèé)01ç 6ê´)ó 2ý2 ë)2 ç[2Sãé)2Sòèoã2 ãò 2=õÖ30½2=ãé»2Sã0½ã2 é)êüë^2=)íµêä|ìê²7ç)2Sò

2S=êã=0ì½0½¸é)0½êãyñ8(ž5Æê0132 'çé)êÖó´2=2=ëýé2Ñ3ê´ãç[é)¸0½ã´éÌë)ê¸ä~ä~0ãwíµ¸ä~2êóÖ0½ã0

é0½ìì½æo5ç)2Sòü7Jæ

'

é)êoç)êì2»é2Sç)2ëê7ì½2=äçSñ/$'2Öä¸0½ãÓò7ó 0é)üé01çѸëë)ê

à 8›]—F¡'—3šFŒb—F¢¸š‹Ñ›4˜ —’·¸ŒŽ

é)2Z3ê´ãç"é0ãéç]ã2=é6ê´)ówé)ê´ë8ê´ìêæñ´ ²éç6é)2=ê23é0½S¸ì^ò78óÑ01ç6é)2žìêç)ç6ê¸íyê´ëé)0½ä¸ì½0°é"æ´ñ

²éçä¸0½ãò 4¸ãé2#01çé)0½ä»2h2=õÖ30½2=ã=æñ.ë^2=0ä~2Sã´é4é0ê´ãç5ç[2 ò é6ê~ç[2=éç'êí,ëê7ì2Sä~çSñ

%̸ãòêä ëê7ì½2=äçZç)ê62 òlé4éS3ê´ò0½ãéêýé)0½ä»2´y3æ3ì½2’35é#ê´5é ²ë82S[íµê´)ä~2 ò ì½ê78¸ì

ç[2 ¸¸ì½ìLê´2=é2wì1¸ã8òç)S¸ë^2ñÏ$'2Ñì1¸ 2 ç"é#ç[ë^2=2 òA5ë0½ç#02=Ìé¸ãè ´ñ8%Ì2´ò0ã

´58¸ì½0°é"æý)2 ç[5ì°éç=é)2»ìêç)çÌ0½çž78ê´5ãò2 òé)ê ñEsñ8*êÆé)2»ç[2 3êã8òlç[2=éÆê¸í]2Jë^2=0½ä»2Sãéç 2

5ç[2 ò ò2Sç)0´ã2=çóJãêì½2Sò ´2ž5ëÏ3ê´ä~0ã»íµêä 2Sì^2S=êã=0ì½014é)0½êã ¸ëëì½01=4é0ê´ãç6é)êò2ã2

5ç)2ë¸é[é2=ãç=ñL$'2)2 ç[5ì°éç3ê´ã ä»2 òïé)2 ´êJêJòô7^2=J0½ê5hêíÌ3æ3ì½2 ’35é ñ/lê´)2Sê2=

é)2SæZç)ê2Sòžé)84éLê´ãZé)2 ç[260ì½æ#ç[é)53é)52SòZ0½ãç[é¸ã832SçSS=æ3ì½2 ’35éL´0½22 ò#êëé0ä¸ì½0é"æ

3êäw70½ã2Sòsé)ê ´êêò 22S=5é)0½êã é)0½ä~2SçSñ

(ž5 ä0ã 3êã83ì½5ç[0½êã0½çýé4é)2 ¸ì#ëê7ì½2=äç01ÿ¸2o0´ìæ ç[é)53é)52Sò S¸ã

2S4éìæô7^2=ã2éwíµêä ê´5 êóÏñ…(ž5wã2Jé»ç[é)2Së 01çéê2Jé2=ãò÷é)01ç êóïé)ê'¸òôò0½ç

é)075é)2Sòï2S3ê´ã30½ì½0½¸é)0½êã 2S)2w2S´o5ç)2=#êãçZÖ2S=êã=0ì½0½¸é)0½êã2Sã0½ã2~3ê´ìì1¸7^ê4é0ã

0°éýêé)2Sçéê3êä~ë5é)2»ã2+3ê´ãç)0½ç[é)2Sã´éÌç[é¸é)2 ø ñ

{ ´ÝJÛ,á

!"#$&%'() *",+.-/021%34/576528/50+9+:";</=$?>2/5-@+9;A/5B9

CEDGFIH0J=K=KLM N OPQHIRS4TUWVS4XZY[20$,.\2("2+9->]-^+9-_$a`,` C65/02>>bb,=c bbd e(a-/5f#

^,g2ehI0ii,0j4

k l&nmnA-f)$olQnpq$ CA1r CI6/C@^,650$s+9f-/ C652;&g-/+9-ftu@0$v/5w-w C+C6C-B.

*Ww= Cw+#`7>]-/6(yx,`ztZ*8`7t{k||}t50|},( Cw/5-- 6~`70</5w48Q@2/C$2f?#h€rqw&@]/

k||}j4

b,`‚ r_w465/01ƒnw;658w=;Ag-/zw-I6/= C 6z>,/5-w Cf,„@w=!0…I^;> Cf2 +90</5 Cf

$w^,656$2w-;>]-C6C-B.†VS=,‡Wˆh‰b#j4†kdb0c b,0k ~hIii|#j4

}2Š]Šf†1:8mWŒ‹#4/5^7mx-+9-ftu@0$a/5w-w C+C

6

C

->2/5-@+9;B9

C

sŽ< ‘A’UWS“•”HF5–X

PI2H4—vH{R˜ 2KU™HN2P=€FIšMgN2q›8FHœ—nD8Fš0OœK47UežKJ=’7KZ—Ÿ9Wh€"k||,0j4

  ƒz2Š2/5^$2/01¡¢^2£;w C6Gw-$ C6 C- -/7@w4!6/=w=!t‰ /50/5w=eB9eT#F4N¤.Ÿ†V‚ŸuUAŸ“¥Ÿ.,¦§hI<j4

k}<c b#k~h‰\#,^/"E0i¨#kj4

©,l&Wpq$ C™1r C-+.‹/0„™¡ªr CI6/C@^265$v-2I6/= C6x,-+.‹/0B9n*Ww= Cw+8`7>]-/6?k||b<t{i

( Cw/5-- 6q`70</5w4Wh‰$,w‚k||bj4

d A«‚™p_65,/"2w=!]qU™HN2P=€FIšMgN2&¬]š€MgP­Rš#J€M‰HN3M N¯®WH5OM‰JDGFIH5OFš°Q°&MgNO8*82E(a±I*²~/5

0i¨i,

¨,`‚†()†/5>eW1`70$2^2w C@ C+C6{"E;-fw-&@ C65-/C+n>2/5-@2+9;B98U™H°_—¤.K³Mg€´yHIRU™H°_—œ ZK4F

U™H°_—œ,uš€M‰HNP5†¨ 0c0|b ~hI0idkj4

i,¡‚˜/5//5w¡`7-<µzI6/5-e()]x,> C/5-,]$yr_/5^2w42+€†1*8 Cww^2@]‚>>,/5-#w4¶65-

657/5w-2w C+C<6 C-¶-~$ C‹#4/5f68/5>2+CwB9 C¯·”K4N€MuK4 V‚UW“¸¬´°_—,HP5Mgœ °²HNDGF=MgN]JM—]¤.K4P

HIR¹˜MgP5€F=M‰ºœ ZKLU™H°—œ €MgN OQD˜»A¹?U~¼‚K4”†—,HF=€™’zSa½e¬ Vq20$9¡7G()Wh‰¡7^f^2I6k||,<j4

|,?465/5e~()nx >2/5 C65¾/0er&W*W//"W$o()~*82 C;/0~1:0"#-^e„W`>+Cw0650$¥$6=@

/5‹

C

wA -/Aµ8-/5+.$ tuµ

C

$,>>2+

C

w0<6

C

-B9

C

)¿< ?V‚UW“À¬,S›q»nDG¬&‘8œ,FIH4—2KšNÂÁaHF–P,H4—2-,t

</=,2±Z/5+.$ehI0ii©j4

ÃQn~/5f^

C

,A\2™mnA(¶/6

C

A()A^2 ™$sp‚~rq-

C

2f-1`7/5‹6

C

-& -/;w-2Ä

C

w46

0‹#- C$w CyQ;-@ C+9˜$26=@I",I65¶B9 CE“)H#ºMg¬2´P5ehuk||b#j4

0k ¶()x26Z" /=" ™\#;\2™ CI65+9/0n^6;˜^</0™(¶/ CoƒGÅ_!5! CAƒ™+9+9Œp‚

x Cf+€~$¥r˜0‹ C$onx65/5~1:- $ „n¡Æ Cf+:"¥<‹ C+.@2+9Ç+9;I"2I65Àg-/&¶$ CI6/C@2^2650$

µ8-/5!,I6=<6 C-; ‹ C/5-; 60B9SI‘A‘™‘È·FIšNP4š#J€M‰HNP_HNEU™H°_—œ ZK4F=P52ɧeh€}j4}}#d0c}# i †hI0ii|#j4

b,a\-2y?†x +­"¶$yx ",+9‹ C‚*8 C@^,ʆ1:Å_¶65˜/=$227-A$2w CC-)$a->26C C56C-