SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info bIxDT ]/ Abortable_Linearizable_Modules:threads=4elapsed=149.058cpu=226.304gc=8.5967zXZִF! x ]ŗXiɟ3wD&s7Vea'[֦Ndvon+|ψP"d"oƽ9'RFpR:fV"@ךpZ[/G8&H/2Pn7qIUEypK zWNʙiuf勖bX&q0y3tIVţ:}f~v(×ٻck_ܔ8dKZ7vl`_| W @S3#*>H"O~wg"O,mko|U\~# ؋dӳS}Eςt${XL/ˮD#?aۊ f-7:!EOt||`:sY ,"XsT Yn>)6A wдzcKGJQՊmYIxӱbKP/̅jqPrX ]1;ȇPHZnDh72l>`E#>)1質>Nz/b0n[^IN:nv^p ʎ c_xPE]R=sAGwХywџXvl8 V2nW!YfB*wRX,7'0}2`wΛHvW0~CW}lGƙolv j-c{ U^FdrIa@<^݅|`þםyƃ vWANF yӹ&ovq I,|Ck>f)na$ؗtdE& ٷ?<򴸩eڇ0t>FkL4f-~f{ |4m$r ͌m9{yˣ+?P}JY)]LK-$s6sD?⧽g#RNg՛ۛ|Ē{a/3`<,[O s[*FǞ#h2RXl']Jώ3kp͸ˢ֚< \ѧ qP"yӅuv͟2+թ/21WBD>E &>N#=T>fyղ^ )MO ǐ+ 9ϾG=mסl4!fL߷jAPX cFϯ4[%`%FYKg#jePS}T^կ@\koܘztq\6 \D yiNtFӲ6͇qA~Id&X́ dP"iC*t)^v[(OΟpoiyTWh]܎]_U$v\VEJvfjrZGuQ"+c6V dfSb[@ ɽUǶny=!7;( 3drBLJ۪yqÍ|V!7y!HHW82²D=HMljU/Gm$zyi%dHCT{SGmA]Qgxf@S1 W$irz`d1 Nzg>S*2fԅU嵼%FA}bDj5˼ nTj_*2К""|퐑Hw8I`Amc!V4J~@h@QiL|N4Op 2M~5U|]ڐc#>ۙL$sٗ}>9R`tYiwaAy߈Kw+m"N5@"q9\c|R ]"Z9<CvbR6{{]GBzzMٟޞVcؠ9a /N0N`-h$02mȣ?h\0Mr9Iaߣwy|8nEQ[pxCfY3ck]9\-\5'BKx5A}W"|xꈓ-gZ=&y'U1yb ZgYZ7zXZִF! u/]ŗXi%D8U*CL|olBrϢ44ΓK\ YlP 459S;A ]5WA!-2fr3c  !I Abortable_Linearizable_ModulesIQ% Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.RDRdocument.tex7zXZִF! p]A-MՋhvG"uIBm5Ԋ7qr?Dy8o:sYd%TQ.==N1:'eÕ穽BG-'sB"ˆrC5\䠨- 9n뀦Vn`2 Լ jft޻VczZUck \I)t^3RCAsoo؎T!y%RYzgm/1zЙ&!Z1ʄx@afЌFbgMAH 9&ܐ4LFj)`]5&$rH uqaU%}^zL65 q/ "Y.;n3D.pB\YɆAO:MQYbcD~bm9a`4އC[$ӻ _m& 9T)(NKx$,U\&5'nsN+܀ղL{I-6э>\N{F5KU`3>sHM!BKx -^`sf&p#'z58|S6RZ=ӰLgKj k 0!!]e,?l04$te5z^jn_W&G;Eow>rHm"w}up[ڭu [bytFZ!F9rgt80Y|*7}@Xv}/qw]:e}DIQ% lAbortable_Linearizable_ModulesAbortable_Linearizable_Modules.IOAdocument.tex7zXZִF! @]A-MՋhvG"uIBm597 X4 8v!ZGTI G ivsbq=y]B;sEMP}2}<#Z-POzİ X6}T\sB m_jہt𪖙Wb'4;Gi/ |#{sޘiNm=p{kO$nme4)lbJrOV\?vu&+YOB?!1:F dJ̭hWœr!rX!9J].Lg?pps?~80T l5 )2H̾#XF_pF 9rHO]a>0JK&ۺRp ?̱dÑ䜨10& @?f'UEϷ BЄq…Q&.7X*&OvN{!0 |xI0-WBjq {Oz޳ck'J@_hȽgcCIYѧtH` Q;yC1 ݨJ8@\>%P=mIĩBjFWa(LrX5>{$SWm7Sb-N1NhTl%R`$d:Rx|I#*:34Vױtl JQϛ]DŴs(V%gtI=Y(G(ITJ33.wZڠM,.'e`D_mQ QKl}-)o}/"mۯ@)bq{j4zcE7Հ)}QIŅC[CPŋ:FH4\oXZfZ6HG{ xJ:o-C0q7o:ZE[A>y P2zMG;~6E8EO l\ ,Bց9?oZ-0~l-+]o|Q{SIim/YeP.C6".)"jrVk@u{gtgde"hZ&j c.Օ=AW >OZ8a/{3?qYpT]'2ĻFO z..olc|[mabL"Ur- g!XLzW"=AN}_$ʠnEކً.ַeU4X;`fT-–a¾L]mT6g`H1FgsFEҭgv澂agg݈}vQ&z'`4'%!T4H%|: Sq#n LTv"ag2xN?!p.yK֌edG;&qUJin~D8$6e6/$kn£<|0a|HC$~• A45YAUG֢EgJ }JTHCy lnloJ8Y!#v\ &ǎžɘg }!iY.7cnDЩXPz$MOIC{u/iӹsT%m2b2g|9ܩ7Ќ: c l cU=Ѽ";+)(f/f|% /Zr݊p4ܗDS^gB_ͨMlǠwz9fk{-1u      [SZIa%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Idempotencedocument.texXI]%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Consensusdocument.texXI]%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Sequencesdocument.texSIS%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.SLindocument.texZIa%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Simulationsdocument.texRIQ%Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.RDRdocument.texQIQ% Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.IOAdocument.tex(={5.0_墺! H#4/-DQru& &(0dF&cϫ.x]K-KL- YpJ^g}U1#ekwKY6tkN4%32wƣ=; 5R7EtJH+&RWe?8 em!:p!ۀ ȡQI]Sߒ>h(;:wK{yĽ/&*̳F T С*1LT_}cr *fk}O!^z?ڕzZewZ|h:=focۺe{\a@'۝a"y=BlwsEw~5cb{HYDy(Cѧa1 )m߉)*/QD,T>!d}` m1V/? S6/%Y7TҥO)6;3S69fxg pͬ!n[ܷϙoS&73}x)d{Nn8sfAA nq TE lڵ= ^Y5VD{\"UnXZ.#WMvv nA&P M_2ܟ숕21ަRNd`J== 5ļgd8?` > 4#JldgyP/YKs g` !"oP8'o"(;COt#8 (d[yHtFB4EHD*:u dpAilGjh$8Szj"O?;XԞe# NM\7*W +hϚOyR[IYy oRO$P2fĊz ZVZ{= OA Eo[ D"[:qHr8:,u"(Bh{yʱE6a@xH#(5Qqr0d n pl.@ʛuE9= ʰѱV5ϳ\U xt`_Q0g< ]̄ZGgF@ y XՕTTȰ* # S?M Ju3s_ Sc#F󹍆^"B()>Kn}Jrg>ʪ"ŤDwkA9Uz痏@ QY,Em5Θr~"4mPҔ$:%*7+ x26651a%|]7ʣj\1 Ȭ~fg%WqLP؝~r|Ey#E)ʕ_EP&^Vu[-[3V=EI4Oz ;l(L/Gh*-yI!S5U#0? S ȔfU.Mp<@ =$rxܷa ^A{͙|7qgQ\Ud?P-#&jtoOgo DmB߫H4 lG> #;Ϟ_P'Ը2`H& cFtNB ѳo& `lcZPO|=}8p/ ԤL5i#bo_͖r"6LtI!Y7P֯HfOJ)Es-6"NwJ-]9/ D13 CBݚr ϓ3ٽw}#fA.s0 p5ҢFB~ 'Ƿy?ˠ?Us)J;+]QzU1*;~70{{S}_8MJ%_~/gs/=>'$=;M/ԄNj^9fN$ }%5+~6OmUA֭6Ԙi`fadNYT Jw$A#J9K~z_8qp|PRԬ{15%LPrsgy0#>w#YVf)K +aXŅ '9MJ>d)rs;uVMX&$Lc)EX|5&w`yYh.)13_ť 0A H!TW+] :m`;Gd*. b>dLzeB =@b*9IY>56P2fxgxmẁOKeA$$iu$_ 4"}o5۩r>"JCXv߽ ͗+'̨(Yh/S|_”:RyP^. ^A\9i IټmC<20y,"@/}3^l2iWe<Ī\ (D6Q1Wu1I" trU'HD#ݬ !jfr.WO{EZs" Kk6hO)z;)%|&Tܕ~Up7g=\Ӛq!rJVs H\Q#f5GIB{Aǚ7[;F;9@o/t[1dg7gYZHP7.M} r~#<{rzFI mlԇƚg#z/#1|]@n굑\Әn<:g֊%[zc!7\ÐۯBy\5Z*' &cUQpEd#EEp>;ZHzH`A򙣭t3b~c5v@'!(bdO7dC >D57*VSטR{ޓ0) ÑZAj?Fg{4HTbv'}R?eS=H28 Aڃ BXґD?L eY!XNSj' ׏L+-٫C\/Lnt<~lc@ڲ#}=N& ħ~AoxDIr¬+u{q A^_'.Jv:ػ!aCYe#g릱5t^gf$Z/@8i;:sp'{xjԁ/Լkhvri`x4d{8MATsT&P/ k)Rs k)WW-כ0wzWƛk_av)S"fohU.03;#H*KL=6`FԱE bTy8+Mߵ6?zc9[TݷiF9 սԘ/O!U`;[3 ^#,#i=`-6o#t}i' Wo$A*s NckpXpk`I]֐U˽bs;'`MÌ-:$#4͏hb(A{/g+躤%(#& zV}DJPh20F n65/Ֆڤ)&By@Sӝ|=x "CmHa! aqL|煿}04ؙ@灁I/&c=7 donRȟKqA&i @Sz59@qEc"]3HFu(,sg_⎢6JDд:J"I=Iy62AB/t4"B>gi xURm 0s?@ |<~[ @opm2-c*}r0o"1dQG<\"*l7Z+L.?Òr #Qaw v˃w訵4]{;.KS= ;r,3MOID fƘ:D։rlOj{unhȞn7?A%+o]ZS/$n̠NmڹWR,wf8/0"(uBc7Z7$)adۧ kfF؎SH+~.9MȂc;x/z\+WuW ?cv99>^.QkM`Xd,KS0K a!7oPl 19nl*TdfČD=%;ρ,e-ᢌrk *vzD.(P{P06Ҕ tVP_BX\ ץΆ`-hH0Һ,`pO>bWWbdgU-|RO-HhS=Hw:?;=F$K]ot$W޻NW<"6/G|ՇH60|gvPG< %+f &Svqηré6\IG}ޕ )W\Ak4X"SjƐ}Imx 8gWl"۪ěW|ܰM&!9ruؤy(MQB g8ݟK2ޖZx\9Wʔ:}ZJ5'qnĴ |SzAJp#?~2=~t0#jsm!ɹWk|B2Ĝc⅛Ϸ} M,B&Eq Fu9a`G? B!0V9!n SrqK㸤J  ݰirt;9_6ŵY# D4-Xs >: ú5 z|%Cd:gl yP t07d2 qW,Yֽ?3E7 P #۸z'IY.˭)\WY/"OrdŝU`:|ȘѸ{gҐ?43|]*)=t27^6s8&"/u̐J3O$w1NبGt;Y  N@وa*&g;hϦrVbCgв^zbXS0wwmDp 5 jAʛl.fDrĿIFDd-e!]1t mQF*E cY2;`!iAoJ2 {l'e& -X¨k4bǘqxy FtZZWaD pN3am3ej¶ g9k$. 3z(RAƂ1*<,*an(HY6ǑJшHj[; yӖFt4Sh|əވ`Z"3el6mCx`rYPsg8.oLX 1)DePaVJv rݑb܀B sϪˠSLg*#Oql΋ y߇Cqs~gkC0Z /IICRe; y_Rpe>ؔH@l`,0`N1ϰKxvg Nc6Np.]z%mu}e'oͤ$oT a]e$M[7LL޿ -0b}Y8vf- r'CbbogfxV:mꃯA [?/ ij4*!v阜֍mZv{Uʥ~sQ6L'_r!hĂS$y2[#G~aQXZe⽟~Үo*aIj~8˜4xQ;ȡLt1Ϧ鬸MMLkoyTwFɻu,+A)&Z_RP>Ne2i⑧yWy+j/CuFs-_-ΘsAdT0&_&YܪgYZT.2pnu;)(ؓC1ͷNVXܔ sƿbqZ,U7d'2R n9O⊷*Z:-j4rX?ĀyqtXv9`"EḊǷ6!kXG7ĿTN yǿF3)΢D! a~P zĸ_$ |D:vNa+:}?ц RWVgaK_uMK&R|HepH SjEȱZ:ELX֥Z ^e+M\aYyNGjL' Pbw1d$ָ?~mr𭖫>;édT>1ev uS9Yf^4>/^U3Bk﮴l~=aG8F0mLb˽]C}O (hr5'M)QueT==_9|T|+4 xZr=`d)[vrS7Wʋ2Y:P) JC݋I9D vSʾqq2| :q1hb~"Î*򠾹b.,i lP{^3C**-ilsv0{-Y7!BquߓK<}zrd2<^TUæ!,Hӓ#CB28lT;59)128/~Q{b޵%w厧sҥ֨fp U'N/!;u oXUZZY--׻eK>o\ϱm2-_zvfPC K 2ѬVS~C:.dxؒճIo7/XU9t,^3IWxuQw{6K(c5$U լe?ـ*@WM(B7$?2> q &k;2‘?BN^:Q^CMj\ IzH:{nAJoealͲB"~3:ih12~{"JVEԸ5p63W9 ܛ`] k#ܚ6/+GY>$3*gV7,긶UuՊw״tFs!R0 o ! hP5ԢwU׃I<\Í. ܐ8prcLB$Wgxн6Qv-'MO-m<@ g&җ 8"6ef>'S?4;W[$XN%bp Bd:tg6ڽ0+y/fjK+to$LkqFH| O!*0{"%N Vki.暜 16^xJ ƻGgHhjfd?>H6#}ո/¨[Zh?y(+=uK>=xɮW.]D#OtPxY|oD2jwbiY""iID᠋p-|y/@=Lzp xmq|va-sl[M]0AlUn+8rNZ`Mv=B'~mgY,PeTWn\f & x؅݁$g9<w1H,6QB9Q_P1MTK0s\v5Y n 9 ̈́A鰍1AQXNB`#a|m3 μN28| ]zfWznjM> 8R)mQ:uÙ,40+T.B]%\9/ /òo6FX|qV0-8Hf:53ȟPrCi&Rz{GZI'w `ڍ&GoKj ֐P!BK2{߫$'R{F < 6>pPWo"LBE;KDϥ 8ڋg߶.;:fsm^flc+2s kP3"Ox(8z &=^k!r"h W[+i'nw#Uu^#AqߣeiOm#G 'HpSK%MWC40jA\d@dD%Ӆ';1mn= D2-V*ҍw᝻<3]+X[~ͫj 4jT 0m qJ]) zC{Oagx*UAOitFHzf`#,(!z>Axau^͍ ofY}m%p#VR7n:ee4:SJpLٌT_b f{xX4PT( $7i6oI?=TJ:oŪn>1!Ul^aeoOVIoQr4Wƹ-N;i``vp Ż6:6Gj+!FOa M.>9/SoEB6b/e)zLL=93*-xS.@}~>d`@R.1פs]ҙ[ {DN~ q G,y=x,I£QFFI%@qlQ.WLO80C`oWZ،\åzDQKfl߲8ҮSҟzF +@LDh}spS`GΎ.цy@'9kV ιl&R '=P\IsI*Aa9~&#`}(Y,ļh [6j82+vg΃RकX< j.k C+^.ChtWw%)<[mO7i"`q3IU|Y^LbZxlpx1 E0SYZ/ƂHŏvf&@>ij/aqOZȺ\ÍSxl9 ʾ^蕄Xa Ϊ}pZآ@2,oNoWJz.D\/ Z^>5SWP;AlXL$h : LEV3DjROᜇ.oyzi,Ik; M\N{F5KU`3>sHM!BKx -^`sf&p#'z58|S6RZ=ӰLgKj k 0!!]e,?l04$te5z^jn_W&G;Eow>rHm"w}up[ڭu [bytFZ!F9rgt80Y|*7}@Xv}/qw]:e}DIQ% lAbortable_Linearizable_ModulesAbortable_Linearizable_Modules.IOAdocument.tex7zXZִF! @]A-MՋhvG"uIBm597 X4 8v!ZGTI G ivsbq=y]B;sEMP}2}<#Z-POzİ X6}T\sB m_jہt𪖙Wb'4;Gi/ |#{sޘiNm=p{kO$nme4)lbJrOV\?vu&+YOB?!1:F dJ̭hWœr!rX!9J].Lg?pps?~80T l5 )2H̾#XF_pF 9rHO]a>0JK&ۺRp ?̱dÑ䜨10& @?f'UEϷ BЄq…Q&.7X*&OvN{!0 |xI0-WBjq {Oz޳ck'J@_hȽgcCIYѧtH` Q;yC1 ݨJ8@\>%P=mIĩBjFWa(LrX5>{$SWm7Sb-N1NhTl%R`$d:Rx|I#*:34Vױtl JQϛ]DŴs(V%gtI=Y(G(ITJ33.wZڠM,.'e`D_mQ QKl}-)o}/"mۯ@)bq{j4zcE7Հ)}QIŅC[CPŋ:FH4\oXZfZ6HG{ xJ:o-C0q7o:ZE[A>y P2zMG;~6E8EO l\ ,Bց9?oZ-0~l-+]o|Q{SIim/YeP.C6".)"jrVk@u{gtgde"hZ&j c.Օ=AW >OZ8a/{3?qYpT]'2ĻFO z..olc|[mabL"Ur- g!XLzW"=AN}_$ʠnEކً.ַeU4X;`fT-–a¾L]mT6g`H1FgsFEҭgv澂agg݈}vQ&z'`4'%!T4H%|: Sq#n LTv"ag2xN?!p.yK֌edG;&qUJin~D8$6e6/$kn£<|0a|HC$~• A45YAUG֢EgJ }JTHCy lnloJ8Y!#v\ &ǎžɘg }!iY.7cnDЩXPz$MOIC{u/iӹsT%m2b2g|9ܩ7Ќ: c l cU=Ѽ";+)(f/f|% /Zr݊p4ܗDS^gB_ͨMlǠwz9fk{-1u{Ns  auIS% LAbortable_Linearizable_ModulesAbortable_Linearizable_Modules.SLindocument.tex7zXZִF! T ]A-MՋhvG"uIBm5Ȗn.Q1?lzƱLxg+Osn)JwW*ad!+g]flXi"erll͇x*yfCL^8 z.M`9@ES6vpa *ٌDڵ8;5jyCÐ.' ' |%cs.̥X 2tg{96Hs"%gMLBy~S$a)?oL鼨+Z`GG'=\@`Y. ~ܢ[`X( tD0sb~j]R.pɄ`SjH"-xbB%7;Z?r–kCjd*&MG6o]]]i~b:`l6)3tQ2G#QdXנּ# >x܃CI!Wf$ <}BCFզ.lj&yՓ$YѠl'xλ ~o+8A * o(e'o41hBx-VEoq}`&Mʕu Sn3>/MP_xR'~bdL+⛱%=B/-9_RхЪe4#{9E]#u#wX֬9ڣ2d-K~;˧Ս8$SqtٮT=Byt Ml yʂBTa(GS`Iz h`c3fWzZ*)Je`j4Y41G(BMRq0]@`,AẸ7YJ *LE줬!vBmvgI¡7{шcK.@JwiV%CN(x|\Kܽib%)c~3rtΔUAlGT?TO*LdEؔ *'cYkqB[b0چƭbĹv:5z-t\U{W+kԒn0+SƂn5gg?˗.䆎bG-͐&ź= ݣV"˴lĞyJg0ee _Ri(eRP!50up v%F H&[OiofRzEvjkf=\ͳJ}{{e>cZ2ҸF4|FKzԭ.D:qUIT_ kcY~^3)wEɃ/ȌS:hTqj=]TZM_r .JCd!urm[IpEh6 EgЄq۠$gϠ)%mRSAڻCr]/<4cNuC6:^J[bcm/?R͌'ǬKw?r+yD9|)Pv澟ٓ EêX-ةq2T=i'30HrkdCvۻ! p𙨡J>mH o@<*mTK5-kD[C4 uIN?>0[@uH~UAN.1z1EM%SssԮDܴuUAP^eJ2M<^AbB>δL`qx6dEf3G;ܺ*羁%1g{/ h* H WQ!0jX3vn.3QJF+!tc: `S ?폛Ҿ//YKiTAl 8D^@TΘ\tqm+vh122Aq,'5 ñ;Az٩HH|mzR@ ?A[Ϙ,KűbZR"Au?CÈb+&90n_ki Mr [0=]32pj:?r1sxPDވyZbW-=3.va~EDXRQփ5M*N<5 c ÂqO+{zf Y#'3=bS vKdM!vM>nX={a3),SEZWK7|OBÈ)bƅV-6,`4J*Xrgѩ* /!gHADtG\gվ=UPf'cJbUx0T;-ъH)Aҁoglu&UIgmtD}k\yW ZƼD\LBgI祷HY5Iћ x㠎AVH2aC7؋ 2}1@(ݥKa|Ҭ c فe;>z) D9fxnD! 5;erRӹwC3X-kl@J:˼Fo(2cxHa~RR( Y5\"8as 8i476'ZU%tcE70 B0f $g78SKQV,}i,f`a6*8 }?O]>Zi%"_lNpᇭ ~E ~mK夣C4<,tۋCUZۗ^vQ%]+ՁIeyjVww8_:bX-3_ug;X/HwWLgCOɟ)/Г&5:U-/ 67TqLaF% ͊: -U}RRυۅ̧wc^LueBǩ|fSbVlCCo'Bp{7: |Uǿ"iI!d m;֣ގ19RQѤ֊dgvV<ݡRSc@~:e ¥ %bK|(Ƕ *6'm%ON)tF 'ky#%?r^^.Y#32쫊 lȫC#k#k 6Gonb>4ᯞ[^'ѿYG]Dvu)#E^Հ{dGJuE#Z&F?L()y`OUƨV\rD'I>g]pDz|Pm Pܸ>yeH6p#OEwC;-q*=ȎKoI&gek_vb^smyRˈIw5`r%jz;?"ʡ-v`Qկ)d3L&īw>-PFx&7oyT,m\(H`6Eh4>f,6JܘTm$#^ٸF#^JȾ\d#0QSWw7&1p`=!en)j{bwtbiDXzҁ?>KNAb!v"}MU?U܊hVxڤ%R"a(:+*7O/>6:#ž-1Jaxs2Y[E}^H7-~ !֜oIhj -ՎvGq~bm*+oH,{ҲN'p@zb0 (K|\[2Ugd|DEp >LDuRN]sWO:a#6"TP}X.jmzLCMH{<Ȉ;mh\θe&4m ?!BCgZ[V`x$G-L6EM gYZ^I]% Abortable_Linearizable_ModulesAbortable_Linearizable_Modules.Sequencesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȢDB xo"~fZ0D ^+x*oRrqӯ$KdNl7},&(9{Ĉ_ w՞{5A[؛dlD*YT47+m;Kժ[KDTsQ#*0pnJ6U'x\N_|cG߇P7\ayfR?WnJRfh3= C8+K/.\gt{mnŜf=<\؈vKNf&w'rV[Qm)ZxAZ u>!pa/-v!,%p¹BkWν.07߰z{pwVe$PsT^ u+K6-[&sP*˹&$suAs?7_%֤u85X4hmMg#`ȮZ})WSdvb`8ZRRAS[q>Sws& }Py*cbӛQ'sfQ!;Wn%JZRl{j+F5B28Gm``o 7MKAgŗч92¶<:Q™V&q a+b1hP" 1Fkk1*2HyU*gYZ o6ʿ?z~ޚbLKUՠC%GDffWs/{;.h PKjȺxjq\`|sWwVͮ¤%{׋k/:$kU%/%/~q͚i2bհ?: olem g_r$rNYm[2ꎾ=ܕ >d㼴;AX:4f8oW]ͮ6pȑE%:_Wu$I˪-]uUj93rP<qKI_ұW5g7!OYA)ڌ} wMOL}}ljN[LVSI!Lu~Ul |"D/Zfl vL:]dvv[l>#\M%O25vz8 ndPiaTV6p6~V7+sޣ 2p\VLWϑ_0IE-MjڡBaLU`0UIۓNJFyWF![䣎~ ݼUGCWNJ_.[]qNAu>FT E9[I"yۅa؉$?*'K2@t'OAǿ}[ݖ"L򅗦Ҏ}znI^hc?-w1 n&\~3tPmpY& @!57S({WߊyI谘i $8VŊpΫ_<IϹ'ƨq@+UtI͸Z]:H[ڕE=`frZ#[%=:>[^Uqg[~j<~C=@8jcAm dwLU}]A{)Hο+f7bkhg|QҾ 9хOeI ̭1^&RY~;v*(-9.:?k+YnJ-/?&;yCvv~8nY ֜9N?Al{$1}Ms[k eߖNFYBM4L\]3{Ho﹯BC[4}QGD\\{gI -9aӴףwr6쬶Z iuzIMmdZp7/mV Tg%12BaV$xJ f( |sƆ :%@o`ObS,WbZ:H)|].֛,Jg):OemH;铠PIqecpW4h: cVZn{Shwku3\af~pm,9D _6GU GV+`hvvexO}u]ߌE{lQߦh5>GLQ~$faTyr8<~fYѯSBv " z~rz0V쎎^-2:50 @A V\RN̈*ۂ;o>v ,M,[xYUȡF'ݶ\z  –IM(Y_U(m~'OV_j Lj$$] [p!T7N t)Ѡ'ǩw ^)TYPV^ O \\J<] 85|nv~Wa[F &&>^M"ĬA5PnZ(^Ņ&(s?XP f\Cf[gX!4pZTcC3 /Wـj6HS+ FkK &TcF12$%V$/wrN2D7v.Y OX9lm4#p D+1'2ǿhy2(U~ul ĂS=pg/X]E}c-o8^I/yD|!mXUO# M䭴i!"bF$ژ4WΌ>ѵ=ҢP' .K7fY5):2m P]Nc4Hc#  uX~pC#xi;J3'4(WDϡĵYH#?B/+L:oU-@yaw>3Љʭ L';+ևфl#V;tīyWEE:ph,rA{zYq2cxUolsEE~grnh!fE kӸ(Rflq43BڷGiUV,-v Kd`_q\FWan fbZ#;k*/)d+ǿ# ag}~hWk۫,_md"]|φ1S;%1Ypn}D~`޺HDl(D9%ϰ aѶ`}.;.7 ׊н "ցpJv.d码۳pëT?(y:EKO`Kص|&<91ehb኷PE4+g2J7+lܽPg҃:'wn΢~ihJ+Zhqol&|jNn~`$vZp*9Ѷk<C5D~mȤ & ШM)]?8]?(wN$|#ƨűAq1ۋO\tYNc:אCc y|?H$ą؎HRnA0˵Gh0)!8+:  W SIS+Ъ=v&oޜ"@:~j u-(p%ѣ_TENˇw%MPEV8JݮY'6 udi1]J2G{)qOhf)yC+K9?$jRL߾n[E`vZWHۡnR|'AMw>croԇsS,j纅sg<䜆\|L`i9m8%s [NEfJP (S7+ Kkv$lk+b3:-LI$hMO; %&<<ȃ7ɷžL[˺ԂT !zS嶰 VP2e0$bS΄\kՉc~~1)}V4m M<(MIhD?L$)_Ȇ>Zoءf^~ጣ\)4 J);BW*e9Z4qvD Fqk;d݀\~e|2uLUZ Ph ;a\ois#ExBY;HQ<,?})؆ﺽYńMcd+/tUf&… b~(nPJ#{,VHS9ifcPA3-m[;s30|@Ƅ )h@֛t 2#hƬ'D mѾ54>;NJ^9Ks@/]PM٪|}ZuutvHշCqo큙ŢSvAr &ǃ!1.7E T<㡉&x 㿋AT&hunteXUDKw/[4FJ'yT3͙fiѿ₹1r ciFcHt4X٨kbB\r32oeځ+mC_õi8%ݭW_ތLO+L(-| '݌DIvG l- seKS@Q?.p xْ}-ٞUF6 Ng2st&B+VPp_Dm2={{9j(@!}#a@BTD˥tj@d"DQ/9]"sqn<#{#c\#b1Kԩx Eb@)IhiƤɻ#-`&z"@DÕ?Z3[2J .XWxܳ`{>C$S2׎M͔o2܇sIs V &e+o=f7u$h_u^^^ux7ݽ%%pΠ5DjĐlhT+y3A[řm#@ E;V/*07it]^m7~HB栨LfzԾ(䓪ϭ&?@ ~v6},oT]F %Ԩ38؇ V釆bcxfxA,x<>"h#_olڕO/5(+ m;Æ#'߸D}l/_B'F]xjlmxeT;!&QYA6o~emo0QG^z$Zϛa8GGP-cSL=T7PXq⌏o ɛ9_'62};uwihv}:w&c`CVvg~)'3PO_ GAGRJ4Ai W 0Xk\i6g^v|!`kCe/s!yJ.  p fXHbRmh7~dӉJ40Y{^3S!42)CčjGgDWb*/)b>H(MĮ ^kT/1<T۲&lAkRo^sE'܂yyX r&)PExe^@M?ˇ;a5N'JIp?F[ >l[FlFx; h?=6C'Qt8z4׹kḜ5mS|_0|-N#]Šq-fsPbW6`x3nb֖- dW1dI#Jb8rӹq U-X*z!l8xή|C=.=׎P rcЩ TX-EBZ:hxH2ʹ4]}SŻ9'@R'HUf]7~]7655w;:gޟAmJ G*+F}Sヅ e9 A MՅPr.EུLQdf Ԓ9ڤJ8ѣ&bD0U"nj LFR_L oI ^@ M?A_Z!zSPXMǖs#`\lY@z`>W M;k= [rChF[͘G&7}z Cg$ ,P24VA0 ߝG#v-g Gq"&!Գ !)6?{9B[ΧGb:ےdstUg7aGie\"ul׿4`!&.G{>I=X|=l9>xk8JWaJ \? Ȳi\ލS]q2(K90sB[EǴuxYQ]#frupDVnڵg[-)ed;psmIz\@p$3}b_u5rzD-Ѽ05B;&莠IPM5H|b1\2VX@C;)&h-)Z)}r r^E!s_O\T$?LG5<%N-~붥YR"X]pOt9s_Y&6zر ry)_M4u`?_ h$(yJHay"M,l@*v| 8*hHE;~R^sxB% ߖr`3^ LK >ԠՈzJO)~wy?2!}t8ZV*7 mA^hl`Mg\WJ2>x›剖pxK}ǫ%Ja"{US P漲ZBȈ:h;Qme q>TꠔY7]1fO =&윰Y뼗sZܮXhSP#(h]Op(go0f]G)Usk VʯE(*MA'-)m HNth A?ߴss=ϝOBjʃTٶT`"zeLNP9!(lHFQ~[Bzȴ]!aR_Y$Q(!?ݨ&麶hgt;X,rIe{W&p)ae_P0Fl仂u=PxX ZٮT!{>D)wb^4qy x %Y6- G28x@zi+3)J5ny 7DWPn8<T(K]i^htCz/"D'hpȌ+ c*Up-FPx@:O˘Wm"yBYM[Nb-W]B}9t /i(cNrE6~`0W;R="S4XjS&O12\Ay+)Fb!B2ٶ]3O#˗#z6pmd^U#ki36KXIF>ͱ%$ƢÛ8u=J#/,.GPK'qdſ.rT yT+/u_PlX2l[u?1u CP<4Y@5qu2U以/”pj^f H~һ")H5$(J{ɻlԄGLJ@m89e%ChpÃV~Ylɻ<Ѳix.0$K:un܃b9o84 OCBL,j,h===0}o =j <殼mxl(D1Ғ!L4@+J3Ѯ'JyX dJ~b2MJpʾ >Cr5 ݏSR30DL6p!9\:dt>+Oa"-6#y`p%?_Vwy^$_,ffmɈcqqCRvN t!  ̖mulCkYMq FK[CkRg-ְ1z6Fv4M'pM(BH% O]`&A^ ܋LkLD*&B.0 ycf U=kT)Ev<3($7a` `b 2Y9P$~W~4a6wnkLJO甓镽Z& ATI`vփQ3UډE+v0Crm۽aypGH1}~an|it߽OvPzh++">:RXPUNnv@%QL9v^W {1POb@s##rTt>ӽ]N5W ^4* 73\a6x浇m1j4R+wT^m(0aG)97 c襏Ξٿ="NVt(2\y[i7HZ9,3hrf"%y#~N܌N;W1bwCq_ +; ٝK7ACCne\O*LRǐ16`arJ0,/Hzq0BoG);UnV1y Gx^zau 9MoS@ϻ7'[;nD&#^ SO. |V${}U"5PfKjs_Ȟfiǭ6X'1w-U@ѺC0i,: ӄG""FTY@𥧜Y0q(v7^4SM2pGZt{n`Q`A+}Ԡ,zd.*E/(sLX)Yd(~:eez|(&^Ulx/I?GHL}hр@F4yPn!FB!|.!ĨwנvSVƋ7qZ`ǴH3GsTdkj~ЭwPAy Dž$\Ig{?$׃j7/0d1)5xFǵL0c&a2n4dґ.HRpbuC*L7 0!q~TCWB|]7mAh窈R1b!ҪnXW\ <5FNQ^&cGp]}Ϙ*%Q$'SZ0r[*OAl+fPf\hΜ"fȡ^~ᇄ,6x}$ שQ?+?kwTpfk?jISkLIB͂}A6=ID\]R BO׵]c.TWE>{t;iEmʎ 2/vCɌ(WʈF@N`l3}>Rq*7; مV %x6/:@8^@Spwdl|ίTLc=,vuƵH R&u*}Zfd'+ ͑2!Ŗ0wBwL)+ߢ=۔*jV 2l_ܮ$d_PQ"7oX%%3_:~r* eI+mGyL=< &JOX@_O책k4q_I#TCz P[:"JLi"ӓ"-[8C6*-:a\Y-~ MyF$f:/_32Dw-&رlj=o_s& ome;Zz/h)cTbtrw`X ˦Xv( ?*2Dl_F8営INe?TT梮A*72 ;, ΍c3.g |/6gGY/1Ŵ@ %W7 eެCԱ'vR\OFqՃ]H'}w8ϭbFq%lVΪe|Kgܜxf,ĄI;B :'MbsJ%e,rj+iOq¸x>Lɬ&ikxu뫾6̈́y1Q1mAuUZZih \@ w\4a\r)Pgr:/b-XO~5&fvQjpO1e J&lnF >){d_p/wJn-G%JBۿs=ǭ@m@( ӽgwNĕ?M{~؊+eTo6ɄW<~_g#F; Dp<9Ņ╶)·;'qqx־3.aN(!Rڈ~r= ^TQđ.ިm>jX }Ě:,c%6PR _6*17 yJ3wxHeK NBP.6&_ `D)n,G!ӐȲm+FZQ@['π7Ru2\7elKV3BAu\qIjƭ sF_[Ǥw}'r=U鈜=ң8WPҺJivf*oY{gdg/D*]&[t)jIb=+P况 Km !|?Thgps!@@b~]B?j5AG$ƊkK]z?KiR=p5!&+uc4׎jh!(HeG;^V2; B9nJЮX+=;~lp k7 rDB`vT= ֐  ufuWևJnIZ{SN>d , _bɰN쒕lB2SN_{ J X91Iw{Di %fc¨|\Êk'_>ji՜~]VoO [ i%ʞ3,Ph<4Fg?vRJ@4UHq(Am3"e{) [NkQ OU+z߁ۃ -{+c(௱_:1G`>Bzdfx0ڨPuvVơ9De[[-G敢m\AүfGWQ~eο3`]/.w \!}Xr{VvLί~Oi=NB6萣#v*,'$L#E3fۚ0&[NK gxI$Sq^®^f$ժd 4E peM9LZq!/z.]ЊS7 j. n'6]Y,6F[M+3 @IRHi6znϦ?55P&gM7GzLU ҲSή 4@TOkbȑOK^w=7a꿲 dLnyk8 7=~CCq7 y {FED2B$؆`ai8 Dtp||@^kEKO܎)|!3&*)sgwEow;¶& cyZfm`h?%lGnJY{Y ugMp(EV6<=\9urK's`(FW/grl=Ձ$98THNʼn YcC:r·}GcqPWR@m,1~fDW,ҜNT):WmӇ H#3R;g%ܪXi Y7[3uʟ+{c)o)$|<*5oXW yXHYS dlks :*-jb}AAWmCF4!(d%=7,ca,VrNr&d)s OA1FW5Bzy#@VWet4JsIh0q6ypKpms(i-Tjmm~2ZL惚4qCu0/NL۲)XxD+gs 68c!m]t=)*}Kzjq$ Qvi*,X.u ۭ"Deҭҏckb-O}- 88㦎Yh:׉T)_w:{pqO\NvAs"ʙ<c"0M/X3 ȁ `Vkv7<d7DWj[UZҬhΥ(O ęT ]9:|5'} Ɲ_O5D}pBldJȜ*MpqŭxWV{"܉8nCѮ+* Ǵ*>R#3)k*RtU:x` DTq{k+p`9\oJo@18p*Z33+LQ$h'OAX7NފHVu=6` `!E:aT,;mz\~ K^ؠ^j8`B4LdGw2J&6I_!|_TQF[KM}#K}Ǣ`:YJ#xrc$8f 532^}wgWx\ vj%}%,4;fSis*ct;1](XrH{}yiF*^rkG0)JLoĻ|,_J^oj5HTLlJ wq3<4yv"< > A>y[s^Тn V8ݥӭ^5ؤ;OcA[&`ⓥ⮖H$\a%03dF0D8Ց[η8"UIlo_.b9jW;vK]M|9 j?]=!!%N0+MH9煎g LGVT\~/̥֌OTjfjWfC3RǾH }\ LCE4g[ IY+{RӅk,_LFX)ZxG$hXUVcQyyŶچ=[u@6zb4ܹ-B;3XbPNHZC+AO5x~#v4{(k?C@v?R;zB% *⬨*h_%;kKMz,v -h\QJ*_HZ< }R&I(\U#<[BF\Ц,^V:B\p NU^bى1ŕtr[X婈ȏ>1:@WZN[:4H\ 1bA25٥_%Gg{1v S-|)' #(%EIf_y̸RGc-_3/qMN{ w F PPAӲ{G!s-K3':7G;=#Je݁|?_ ׁV 7ˮHW㵮JIRB%h!C+ɜkB {aAxgvuif,PjZ +R@FaxJ!'-~" )Mөzh)aG^ޙ7f35Vn調 F A >5[ՑʝUraTYfhͱ3)y: :RlmeLHn"/acga|sW/Zf ոe/w"14n" /m`)x9j &|Bah)FlrpM IR;* !CICJ89Bs4\G֔Q>j(?PxRMۋZ6[tݹ\'재 G:짛7iw4r\0_JTӰEOv1+dB2pCgd`PR8J7ߦDN?;$Z~۫s=$`yM4}aN/nyC[mIޢNQ(ϯ%<ֺ|<=Ҍ^p4w?;'֎Un*_V~pB21CteViC@}i5n`SNOpe X>q㗧[kFӲ,J>ZO~Y7fL ㈭6kc'*PiEۗqϟTⴚ˃@_ _&p$Ύѐt !}؆NznzCmk"p&tojpG|c,FrHh@ḪtnjPn:$#: IQs^)!`| ^v#B0-YJUĠ \Ěd3d/jqx`5.O8l՘ib6#˓bl/+0scڦ6 jeP܊K-7#zP³'p5]hVqsjV b=Kgx2:'QR̈́ޗW8$DTY`䣾=n-[Do%`9dP BJ9tS(&1l嘬K.!d[;H"'m,DRZy m`%D#LPV,ld }C=3>&"/奜34} ߇.'Wc}SPR'\,y BG>fyWPb9xԲ»Զ([MLo(?-A{Dua٣$XE(|nᗇ֗=xR6.2<  MTᷢm4^}M dULI)}XdiY͍ ~Ca+~B\h _V2hmJN1,_&'Rt]:+79(IZ+%)3EFS`aH`ճGԜoݙ̶yBd-_H!1T۩2faE@V L+VF 8!cWoQ3$0yA1z+@=?JyŎTp4/aPՏ…+3֫#iEq Q>5($(_{'hlvVph!E{OHF>*[#L̥"5PG lrj UFU/7R0Ē%λ<~ndmd!4H*(J٫>xim02_n>8l$L`MW7n1[t~p@Ӛ$ qW /(9nIKyË́om/崩tPl N4yy("9*jӹmM%d`xdd,%{%wJ<>BX 2AqEa0}O[vP3 Kr¯"HAmdG?Fq1}X6<>ݐdU4yѰԀ>]I8 }R,2}:Al7C+=:@ Wy W4ga /o6OTCW6m;Jh?ɘ UaU5 b0WߨoU-_ֲBH7Mo_ԳM 8~T6DfD|C?:sBtAL 5x@,cVOVͬ_ݜ*ā uG=#eTwt)Y0\Vx'RۃR^_k+Zx6N_Җm }o \v?d[ؚՀ!zQb,/D+(JȎ>>l967J6z/+~mHYZO$V`09XaK6ä`@\Q3 տbas WmUO+ʡ )n:#/"-9;n~Ĉ-#Ӱ-Ev&6Src%&E  BJ8vMSZDt0BӠGEbm}&ia`L8CoX w0]Z+ SJ,ޚ\MP?sQSnWgYZ oou Ia% wrE&A.\> ߕmjK]-Ü&|?"-ܙxejJY٠\>(KGW95G%l%t2ǮAjsHWb㝵{JfyQUňq4n@S“\de |_cj8oI!_^C.<53z0íHl%IC(9ډjtfŤf5r;^ K@2Tdp9`8 ui6:CS,mjvU;LvJM^l$T4 J/L F XijYVc`,Ymttl }@ZP} _Ҩ\In=?#{Mcv>@!9!Q=3cB1n[r5bkPjn%![2 6,y"DY?t#sc(~VքIUaE\⇃F~GQ@+~O'P..v JӸ8](<צ%Ĺaju۫Zcy l4_S;7cMPeUb!@ >!g2zmߙjK;pFW"|** ;F $k3\ƝLѤxݲX(m4i Za;2KSѱV]DE'-Q̸ mH"~-`~B5*BK3&^.Ƴs)e4u&(@9|K}-wË(FGkߛe$_0Gľp>z&M,ao zF0_QO;@_)V,Q:0kkWJQBю7ƀ;ޗCDVEhѫ|%DR5oǟ xU@y9|/r./.-p>d9 eX@{tT \Ŀx6bO!~a+ 7kh \|Bu)d Wޱ;ի,OP8IjL@'Dsp!@lHu2Qy$}dixgt37*bdj](K8C B74eH7YPY#-u&&>^]i8yG~288zw8L0HY7wN|29CCVdR] "e%Aߧ;}_PnZT2ѣgov^H_cg퐡4}ʤ;BM UHb!̶4B{Jr<ڂtFѡ5Q䥬)I #:.)K9119 1 IdY.4)!d.A^CGI` &|޳Yv;93gZ!{ԘkQ+CuhN`)zlnaq FzkznWj py8}xM0_.ډ%#XAϊ<*Y^]@ˋ^fXgV ng2/ċ~c}FƐ׮8o<Yc#c2(1{.h2]`isCQcAu ы ) 0dCTM:B!$zgo1S1d8p{yeM{?p0,DmCT0mh DsZW+ G 'vMVj/KRtyOkZ %Ч q4M'T<0M33b!鵬eֹ*9) QI \7k!iK,*w+ir=2HnK}%Ro{c?CU&NV.L-#hk*#9jQJQE%H0w!9e_HfyBY;w? 1/ɛ?B fx>-0ȫ#Al3clųC|f/t)Q #Z}^ҋ;^Q04BSHdmA/?JTo"t@,A[5:3S+yO; kbZC*ȗ< #6'₸nG *Z.}f/~UgxK:`S {o u_`+%W o)*f-py?9|b1.5dlU~%ݪOb>NeV#aIμY;ᘱO>GI"CM~U`qdu|h =a0Wj1TXՈ0n& +-1hfdN}wՊ 󅫷>9<ܬds |*7H3 pOs2o ܇|pK ]#a-f}Coj/?F9l|Xd߫j5Ot eM%w5TQzV:E>HVXp;$&a~8DnKTD J'{1D3 E^SN84JU #'#Ljn0s+2TiT\+'|1DɃGVIgg_&q.QNGb ʳ⸙-Ɗ|?(&UP7MrU,1] -E\ mu?y h`wWu*h[C\MwW$H:Mb{AlctKBLi8`crs+J1Jj=F;m Uȓ-o5A6vMֶ >1=r=6p{:ňα89Cda1%qe|+S-W&p-IQ0QfEOm 9݄^˅t8Ϋx5)-㣳&!;"5c.t:/x9R]GqyR )@@у=N U.0Wf1o`U.79YP|GNCkT&([,>a:$υ]`.+X f{6<:cE&F=eJ>ni08tMUJJ*&}<}HEtyix%c?+!ZxP7>X U@'9 I B7O*_t+s}$q&0m:ܭ|Iou*=L ͘7ۥQ'yThw|B kz.l`=%!d$>3!Nk᪌v(Ԉ(ÑeD4.)V Nt uh9GJN9>WĈc/ZWH5\t߼VӝJ$NHKYGoN ÐݗȑHTBԉQ5dpZ%?gzߥt^DG*o}T{ѴWՕ~ :}ٳI: J S6[W$䲏~CRo?f%GOCB؁|DBS# zg>##`,N6e-XǪE&doKGk~ǝ^|W fxhKZ7Au[KlO4$Yu^>T$xٱb{8đzƸ|1b5}PAo/cȅEUFe_YcYj%jaXoάf ^ Ә-0CEZ퉪{M`,$TwbIG߱Ƽ~le?h&EVt0ۺ\ן\'6꣖UP#$PyNb4/S?IމC<O@Ij\˞ρ^XpIU,N iGߧsfbkq*jϵJ^Fr;PNl J)yQ;T*8LS-;cSaejB>u=s;5s ӈr!:l0u',I !ѝ>4ŬdzȭS2a?p c>R~oF}3?u;ΰV"%QHO4+oltrmq_:[? ddelË2UEH̭ǫǢe[&&\-%?UlXCcv֫.h}[u]~ċK(kt. f=SQ.5Cd2,cCWh=7 ;H^Ѡv|³]07큽@N'JJ-F7뙳U\T񌳸H>ϗg7K0'=c.pG<pU@2طw' 'GqaeC Tr,nojc FoW6IU~>LpdTiW wsl ;s3ycX.aA)%Pjp F3S"ROh|%eHںO)/ln!򑶂++,P҉:eu;wzbB 81ӐVQݕan<ĵJ;/33o7DK)WтM7tj=I˸KFx6)AIG*F?r^RYn~o>eZ-繥"a류,4iY!LC8P,Sysϝ)9c-%"[0$Ej~s =6K*.OD ¿# Zxv#^ڥm41C@|Gyn'٘Ȕ2<0{g ,kXc_? M _ R@I8yk*ӵS>楿\*pIrrUk&X .iuz}fa}27sb?e ,p)wj5ZP$Nʱ] ❃xv7:|t. ukUxM@DPBi{Gs =BLn!Vx< >.'X/HQީXzc>O]p>yB.46f@-R?lAGT *w?]:IJl)  AD<#ŦU=T/M^H9P2W+]Cg_#4@bvTH8\b':r%[}@D1e}1vq dYD:io(gN]rz8@@Lnft<2i\-؊=tPZezGp*w y"ny8^aaA"ǃT0dוTO>x/$>7mzwC[m0޽ ]a\I|1Sx5ht3x]o:KgD~[qNyhh'YztLQΖNΔz,pQ2xnFQ=Igǔ^hmڌ eҎ? c5.88hRg@KE@:ǗM㆘8O[ 1:6k(gQU & t-@ӳF7 @߯{n Ҕ`9|tz#0²7ih LJ6WwU^\%!mFcgS4TW-~[ˌ5C ŖQd(]nE$Y^Zf -8)"˧y??<*ݣŰy44蜲Ѕ 9֚(S0!\EvV#YRM]] HזFA)w;Ӽ!~ *W>;wntKS ryDd[PBHЖT`6B_=敾hu0X?̏$ \[_|IܓL0q.ou*$aDew=P |U;rθ#VEY4vPJKW-S|fz9d.POOq_y`yU%lh$$fr콋2/}T&ڼY*u܇R"NBWzv[~YAcdP&:n}ۤqs: P\m#@z\˘/Y}XsCS&yڶ⬑B/8V^IZbW(NF{:CVfQ5쇅f" RK>Tԁ@KJ՝L3Į?"Y=0ns:-lc&&14\FD'< bGy&:\WL;}`Rfn-T@|̰JU}sb }a/ZOW8U̵{!S\^)(*UF,v4a΁K IXv&Ё4Q^=GKk@Ote0dsV;hSHxQlXp̿'X"~h؋9xaofT r)3#O0" F9Tx2v 06Kγta5*c"Qcgy ٶ OufBR@TUɖ={D6wT`ŃfQR-ޱť;$!b߷E]7 U9oh(]>w^:E􇯻ٖVv頞d׵-vürP ڻgTnǞ5˂R4To=:,Kuy:fFaO,!;}MQp-nS5%72 }Ti݌v".i6sIu sRr4/6A578#HB<)`s> Xm[g œ@"uEbxsqU9r[@ D7xbLW'V4)gpľp 3C dP̲Q͝H^k+/RFWA'PWB)NskQc?,D/RdotR|Ӛݚpk?5=$neC 9 c@@'n&P*}e, [(`J f|;^6NwԉV#~WQ0^WqR.bkR 0,2raf;bBG;Zח} M\Xn8[tX_ce6rd@HdA̚ZVPJЯ R77 HEμ/ τ jns֡Tn̯;,s>YB ykal86jFL9]z݄´\֝ Nyl_TDFb)HDֵoJĻcMaͳ^9nS(lLg7r±@%4 4 DY~ćU+*x\69~qD+_`8DH(ab-i?[XV1+_:+=+@! uoP4kګ\{@4f;fۋT`Z235nKkZHi(FvBJ`6펙W tC{听4iۼۅ3_k`Ia0-"d~0N^_{ ( #5)tL,͘k"`N'ѯTuɈ%ىՋ۠'zLf] K%