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 vMv<<\ ]/ WOOT_Strong_Eventual_Consistency:threads=4elapsed=30.486cpu=111.912gc=4.3127zXZִF! G]ŗXiɟ{15Z9G~v[ Du,en`CM{pH[OB2sߩr ܌idC`!F  jeA3^|k 'c7L'cVS{.nQQ y7$SEIVAԕ}[x]tT'Uf{eJD8!Znb鄂)U+ϟOm$i @ `af}rU-^%\ǯoE\Lz,RWk1:ŽΛ\ ]6C= >#{Y/u?XWw*=IE5vwR2~#l} +*.k}9 5a F"Lm-!i* UV5WzN̈DKE#ϐW{ʎQs<~"X>:%l8} 1xflzmbY֝swT,>5 ̞Q 8 V#Ξ2qZ )FJ_Lc? Wq :mbr*V-8#Mb" 0_ g +38qw3*˨N=tV߱#1my#&P,`MlR߅@Qg̓<WS*LujGO'?+jl Α16(/c)[< h> |ơ=dv,!-tϠo{NT2.@dO!L&aBNY@ x 8+Z I7@\[ƑzUbA hńM7sq_rPc`T~PD֍`*‚ifMn}x~Ҹ_[.!?~lxnmBӟo M}&c]% dWn8=MU/ LWOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.SECcode/code/WOOT.hs7zXZִF! %: ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmdYaQsZ/ V{{2$z_eŽ<72z&*C_v+ḡhϳ 3f ^yu]؉lkK:A8S/LY(#_զn@&trî+%,u)@#@{}g}k+!$ h6gb% UhhƧ(OnVQbAJ<,j6K0EbtQ1I#ø~?Fn{" (yMC!? Зq?I=T;4BEև RY2 YoPjdxF1ic{7ҠEsT+ߑAB"^V[C77 2;vde ?$,RW8:Ծ3$<6 uڔ(M,!gq_1:њ$f>=rIMn>=ٯ~ } zQםQ׷yNQwZ'_;>EDz%QZG=W"3;{@ W>}#?ޞ_s}km^U3sa죶\VuA Cd<8E RCMƖT0ӔO^ׇ*‭QBL^&^-Ac^rs ,AU%cq$3U'c#3kXOI 4 "w( d6s"Q=} w8wc2BZ& ń _$j46~FhꑲiJ{*=Z@52Iivs{7D?2K0s^[! F݁._6JzَD`b*u0T*YQNt=֐i(47L71 "sT|_? /)HMCGs=tP#TeDV!.;$,2,t!adl}*-,kȫ1'aWQm$caǨ1f:_8AQʬaGlB BW&wniC<`lƕ-:ݹ% թǺS[7d#(`n2& u~ˆ&tOFVޟ=-ߡN0I7LQ ?Ċ5{:MMӳ1}tZrYc%8wVP`3J>2\mfGe,oB?LSU"ح0~9Lq?$Mq&Vew-|߅sba+9g^iG(.8V9 m21ot|&A3^vA0ѯX{1R99 d?"VJ`(5@AR:q1ONom7W+/ 2J=$ 7h-}qm C` W a u.OP@mC>`8F$Jwcc&7jN,57݋H3Z0.^.n=/!K͏8e\XMdz}έ6n+ێ=|;&k#N@ `ḓU _6U55 ү#ˊqctժbiO(=yd ͵ofujX+.3Tsz\`v,DdQSBpa: }%R:<6C܄տ"נ'|ٓݳ`fiBU9;x+0F|PE`:e:V=HU>ڤ#kra1]c[MnP] &C&xSɳyq ܁jK ab֥ 8xfkyrd5²ރtNOXOUJe|K=*1v:&U+?>)Uv7Z!PKu:XaMn IQm b`7ɥ51Q \Lu\iUG=9{ kf:))߰Vl*Li. {je1= o\c]IeSB#"      2o  t q '  p k m N i bMm%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.BasicAlgorithmsdocument.texcMo%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.CreateAlgorithmsdocument.tex]Mc%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.ErrorMonaddocument.texUMS%WOOT_Strong_Eventual_ConsistencyDatatype_Order_Generator.Derive_Auxdocument.texOMG%WOOT_Strong_Eventual_ConsistencyHOL-Library.Adhoc_Overloadingdocument.texSMO%WOOT_Strong_Eventual_ConsistencyCertification_Monads.Error_Syntaxdocument.texIM;%WOOT_Strong_Eventual_ConsistencyDeriving.Derive_Managerdocument.tex[M_%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.SortKeysdocument.texVMU%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.SECdocument.texJM=%WOOT_Strong_Eventual_ConsistencyHOL-Library.Monad_Syntaxdocument.texeMs%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.IntegrateAlgorithmdocument.texKM?%WOOT_Strong_Eventual_ConsistencyHOL-Library.List_Lexorderdocument.texNME%WOOT_Strong_Eventual_ConsistencyHOL-Library.Product_Lexorderdocument.texgMw%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.DistributedExecutiondocument.texEM3%WOOT_Strong_Eventual_ConsistencyHOL-Eisbach.Eisbachdocument.tex ZM]%WOOT_Strong_Eventual_ConsistencyDatatype_Order_Generator.Order_Generatordocument.tex ZM]%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.Sortingdocument.tex WMW%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.Datadocument.tex ^Me%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.Consistencydocument.tex EM3%WOOT_Strong_Eventual_ConsistencyHOL-Library.Sublistdocument.texZM]%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.Exampledocument.texiM{%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.IntegrateInsertCommutedocument.texRMM%WOOT_Strong_Eventual_ConsistencyCertification_Monads.Error_Monaddocument.texcMo%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.CreateConsistentdocument.texdMq%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.StrongConvergencedocument.texVMU%WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.Psidocument.texZMU/ WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.SECcode/code/WOOT.hsϯ :elמ `9Rtx[^<tMQFDC`CUe#3 UB[MT+)9s5802[p=&."Wlɶ;DQMٕB/4OGM:04{ML\nU xz?EHRiښԎ]-Ti6Jkb+teVJRhe(n)a~zħwnI䚼NH6qAǓ:x 8nՀi|K^Raڻǯڿ;SH|h_M@ ;At%(/FC'(׷XǤks)\߄E#M.Y=jӚ]oJ/n~X7'7U{TDP!I'W;4W-dhX}*qrHA_`hh|φ_h[qTHXj`;I I׼c-UΠ"^ӫgg"m.+0X u\(=A۩qov,L~Zx%HnoҰ-9<&@%G: - {׆!YP6U#2?H#|ܚQ6q4U$V:^{-dlK "]Ò[ڥT'TiO^RK{H0`N+*Tms|^/h.6HlT\i"pʾ I3ӶЧ:0Ky9ڐuv U*z 6ne$3S<dc;U¨1p'%j:2eϳᳮmķbIı@3}*b]K6unAZ*Co#vٵZV%8^&hϑ^~qV 1b>e1!(h@`LGJo8 ˵g8HU0&ŝWн' ܛB_wU\c~pFNWY^MM^'9kD $ A!'8>y+  Yػ"̠ !WfG.-rR ȟmћ_6pɘ?؂c,iL>koIk 9;b؍+,q5Q%bʆ8&\\:$NBshKS 8fKӲs6t%oا*O~5&Rw@o@Ӱ qÓ P|b4e%c & |لK~[pk݆6ܮN:~u"{ve ,=˛n[a贂+w8xti?i) )<zQc&.ec5'FRP PW:׆)T܈k618I%1afJx>Ak7BYخU{ߟe2򲴑ހXW`B*<>k)h/ë=P̼Y5LT.e/LG)i Ds+IP'.~QABs ND6<I֏v5`D8%#qle*u tsRxﴊ`*W`F9ivL9C~C@U$sH HӵfxO _VɉJ (NO؝0l ,1a(J/f ;.}w\׹Y6,k_(Sw;\*Mb :Qt RYe>uH!RilDΠeV6n@m3e-v24NT1?/c6!_୘kXq5gDJ`)v8h3a>W<2c#s8 GdRMHȼ2#b"`I]Xvs5@Dro ߅C1]Pz ׉'~/hkϷ>P:|1%}EP՞WL`^f\hˉC/7䚧gcQ##!gUh7L%uB@J.$n |/BC[=낓E8v=7&0 pF}B`XAsot ,Ic}Ъj KS_SR@42*3%裾>]1kR 1O=/1d4Ӌ8 N}*/|a ?0=1]اIߠ[;]\%ՋF'ϙ<8縶g $OcܵW,sYESK5utn!:>, Ē{6%L> jRD Ƅ APvX^_DŽ5l 뵫J&8"uHڇt|<&z}Nޓda@\B>0 lFPo:CO.dM\`CTѷLGpm-py7ZY>uPq[lgSDs)IDjaDQ% ]q$h0$^Մ~#rZ&\ ҉peAee@5jBo>ѥTԦ}_m^(Y).=jCSˀ#ɄnYA@pBbOMq2[jϹgV"3wvp$xHV p]W Lm #-8B.=#[c+".Ol& tڋ*P524fQ^uM07i`x}M-5[CXLD2efPA=gb|In#K~?.YgrW)C`F3(r"',0 `)<ԱE~ug*Nj2 j>|J |C2E?vdݹ{[2v&ŢbiZh\]C7;-HP y;=q(ljϡd|0| ׫Sz0lxqGOFIJw%I/N$,h@&# G B ϒ40c^AND_ [äM9?LlDz+ϤxAtGJ1Ёs0(_@&2n}am!f~YR=`QŶ; I_~P榐2]♫TeW9^:LOfG1th+w *L9 koQ!OK-CVu]nJs8E$BmRl-l$ձHUE-ބ27*~% Rk7Ap,ԍ[r՛m}cӸa;jbz0)+ 'jr c} IG*2mwQvaےopэkKT/ybm2['lk cȻfsVt6B!f\/D? _Sg1HZfpv m1]\HΘ;LiEdZH*y[m>n89[9hhk53Z٫Ov2Ц",+`j( >>ѽ>V-)$]pw$B>r9v!/$U3GY}+ކNy>N ;'i^DU˷-[]sy,*c c룿V?'8om1SlSzDῦHDS>vl+T"']~ٮszB.MF4˙2WYvR G @GR2`:`[̉)֐6a=#Ts~XhX4\8V,p{&OmF6E^apLM;> L֟^a 3} rD$߈g?'WFd\\Ţد5rP5T[N4PSb; _¾ 9jşЏVm}K2b m JiHᣯע EaAGIĤh38TUV <}5:Vl%!7咍'IX߮m <*m0Ai9IA$%a"Pۮy0񧧏0XѺ ЕPn4h*p-y&G,BXQlHa7³g:sGe>rk_"Ne@.%Rd0(ɁOߌdB 9K aw:U_p'o2ǹ]GO.<''-r4AW#w3SLYgD@z0_pHd+Ghy? _ 7]=LK~V"Y ]=Tm|BS"^y"QWB!xv @E,̌)gm&a' @_ h:d5k}w Bľ =w'OI='<7B!*Cv )~sxn{WIH#fioGegjԊJl|*>X^|mbea^LX_d†z#jgF&>WI¯4n9FOؠĽu,w[?)RYT%?a',]/%6pZ|꼧I_3ܽ@Ȭ :KtYY<3Tg溨8_.LP2Ti ly|1 -m8-'qxϳ7Ndzl"Yh:ٰ|mIJ γI楿>h6o>آX`]?Xh+ԙD Y=iyX;BArJy7ЂĠ@9?@ zmu0-6+{ 3ef!X?$c%v^H?U~7epϨz7}Y͟IjR续JI8F|ӢDvTÄQ]j5,Ej9XZ=T) q+ogYZ @MU% |WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.Psidocument.tex7zXZִF! ]A-MՋhvG"uIBm5MpK(xV)5-gv(p RfeiQOywG bMfq2H+65hpZV\ G9b6]VIAfYE{zh$Z3*˨N=tV߱#1my#&P,`MlR߅@Qg̓<WS*LujGO'?+jl Α16(/c)[< h> |ơ=dv,!-tϠo{NT2.@dO!L&aBNY@ x 8+Z I7@\[ƑzUbA hńM7sq_rPc`T~PD֍`*‚ifMn}x~Ҹ_[.!?~lxnmBӟo M}&c]% dWn8=MU/ LWOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.SECcode/code/WOOT.hs7zXZִF! %: ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmdYaQsZ/ V{{2$z_eŽ<72z&*C_v+ḡhϳ 3f ^yu]؉lkK:A8S/LY(#_զn@&trî+%,u)@#@{}g}k+!$ h6gb% UhhƧ(OnVQbAJ<,j6K0EbtQ1I#ø~?Fn{" (yMC!? Зq?I=T;4BEև RY2 YoPjdxF1ic{7ҠEsT+ߑAB"^V[C77 2;vde ?$,RW8:Ծ3$<6 uڔ(M,!gq_1:њ$f>=rIMn>=ٯ~ } zQםQ׷yNQwZ'_;>EDz%QZG=W"3;{@ W>}#?ޞ_s}km^U3sa죶\VuA Cd<8E RCMƖT0ӔO^ׇ*‭QBL^&^-Ac^rs ,AU%cq$3U'c#3kXOI 4 "w( d6s"Q=} w8wc2BZ& ń _$j46~FhꑲiJ{*=Z@52Iivs{7D?2K0s^[! F݁._6JzَD`b*u0T*YQNt=֐i(47L71 "sT|_? /)HMCGs=tP#TeDV!.;$,2,t!adl}*-,kȫ1'aWQm$caǨ1f:_8AQʬaGlB BW&wniC<`lƕ-:ݹ% թǺS[7d#(`n2& u~ˆ&tOFVޟ=-ߡN0I7LQ ?Ċ5{:MMӳ1}tZrYc%8wVP`3J>2\mfGe,oB?LSU"ح0~9Lq?$Mq&Vew-|߅sba+9g^iG(.8V9 m21ot|&A3^vA0ѯX{1R99 d?"VJ`(5@AR:q1ONom7W+/ 2J=$ 7h-}qm C` W a u.OP@mC>`8F$Jwcc&7jN,57݋H3Z0.^.n=/!K͏8e\XMdz}έ6n+ێ=|;&k#N@ `ḓU _6U55 ү#ˊqctժbiO(=yd ͵ofujX+.3Tsz\`v,DdQSBpa: }%R:<6C܄տ"נ'|ٓݳ`fiBU9;x+0F|PE`:e:V=HU>ڤ#kra1]c[MnP] &C&xSɳyq ܁jK ab֥ 8xfkyrd5²ރtNOXOUJe|K=*1v:&U+?>)Uv7Z!PKu:XaMn IQm b`7ɥ51Q \Lu\iUG=9{ kf:))߰Vl*Li. {je1= o\c]IeSBkGpz{Hs.<.ffї 9N63@z-nJCgYZ  OLMM% |WOOT_Strong_Eventual_ConsistencyCertification_Monads.Error_Monaddocument.tex7zXZִF! y]A-MՋhvG"uIBm5b'Z̬ onbTdDFz5, l[_bh]ݕ߶J4>C8itЕBf]OnQl~Ubw!qPAM` {uz lzC_r7>>CG'-U̫3sEm\'Wn|"Fc^䃳DK] $/w#k_6?tmDZ>xL}u ^h4_uoUx,<% "x(x@odzF-: ~-Ex# # *,1gHM;hU1ȞWuHW Ұ*}&?êA/S?Ik?@ipT=Θ\}[iǻpB2` O X3FW)Tl$b{ȋihƂd؂R]BT U^2zwUt|o(t 0p.?y,_V^{G"ir ' q! g7ydxКPdI<L,^fN " F` Y} +_Ćou72휲uUq BIٰG:ruvHӎO<] HrbEܪvr# { { ~Y-n.}7N[3`7ˇe; GrV Ӧ-A,ĂVd6)Hvk-5,ؤm%AW*Q|.>kvp1@20Af%Tv.T2غ` 308H6fF!+#Ms{\h^xZV<5pb}Mx0a mMo% WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.CreateConsistentdocument.tex7zXZִF! ]A-MՋhvG"uIBm5nxH Yw^"j,,FvzOٸ'+ \p^RTI<@F~l9jaq+Jy/# u@ƪ j :+3r4 - 囃o銋d_j&qܹ>ـfxkQRv8egv ur={^mqnw{$Zs)(]eR3 |`G_N>rc=:&;ׇ4#vL nvqA*@7,oj~t:Qi̡T"G_[VX9iwj3!c#ƤO0U f>C%jSuKSKԨFJ4H9|9Coz"d&c*mL HDTF_7q .Mq% WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.StrongConvergencedocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȩwQ2_tU2BM q` | V{ ElU[өiEYylH5o(a:~1UQ=obnV 6L|z9p?3yP5h0L!T<ס֗ YknT c31fI&ҭ9x}zB}O /` ,sG&^sC,1! 3D̶lrD?GVXFwfi1`Xlm38CaC_SzhmDd{Gՠ +IlwEp7vwK0c.A^6Hzv3Zhު\=9 sg;\]ߪ%Bw;:9 O9#yi۱%CMʼn[SIJZ:POv@o# Y Ny:-0_8 m_}Ϋ1 8)$+ !c #ˢ+ǷJ fނ}% o+qMv?;1|@%bj6:,q*hH |)(ueFIz,XV軷I퓋(r;PDI>I R&)PK΍ ]ԃ@wZ]lW,!_\9~x;ԓ%#0I;56Fibr6 )D ))gS!CKI{e}Uq(ֈAPDPojec7,UEíU/`R3Y\v_8O6lFtnnՖ); n&¡׭hE/ĩ7@sQ뽼Д /U>n%~e/niPD2O6mR+T0gSE+*> E mGt8e&>"ѻ3Y>J`=KR3>}S F{!`س F$y.ɀ⵬ u]Ƕ>LMOP0米.su]5>cDzN[N(X}2jߎao@ڄA>h !2k-p[?21*BԳ|?ɳ tFۙ $QaE!g}=!v%!SXwxG}"*[ ].(<>%]KC+CX18e\Y܆k _e3='!PYǮ2Y@L\K/~&J }ކ笃c Jm/5CjƣBҥXBdMf{ (eD.xR0YCP23/>VQ0m I֏(r]fK@of$)fbZfm&z~)-uѓ?SXH1s(9W Մ@4f,I#"h/1A³7$%$Pb I k*xKChYчQG\{hxKT5D0 e@${8Ӵ.u( #%R::[ >m=rEmq H("2!w({zR@|c1(jx.[Hɒ a,~ O ڔD˨\~hfP: 'P5&!1kyҽfTS"[FZ4Q4\ ~CkvņNZk R ^ǢԫQ{f}xN{LK4btT?6[ 4vĴiM"Y,^=T`(r@)VU UTΒhΓc|7mE+Dw"Yg5iTp_l"{?נF]ՍՊ,MgOsI_KQD\|V2]d3װjKf?ɢt{)6hpЈAຜL!sI|Iž O޾@aaE4RaD2gYZk| CSءF8a劳d|ѳ 'ڑP5 <\!( <G-F*-z jlviw},+:ݥf![?W-i(b==Ä #R A(ě6c'n`⇒N%h=3]Rռ6Ok-T|-n5:ND95p-A6a/Ax'}/{RF$)ɾe"2 \JgRz⩜-K.řBC_ognJzw^{RbTTЂq۩$/paQx!Yw$feV=>J});ř4+;PN=6O?ptXN aWo`Z$h8*1: 4O&=q)p(Tx%O< :қ kYGiQjYxszn"~Prڬ9m3HLL#6«w RukHd2(p;<}l٘'!^ϲiRFf=Ԭ@3#p 5w}.aoaXWN)}Qc_πw9U+8I~X%_GxC3!Av?z|'ؼ*SBp:UlK)'m*UX$Dآ*$QAIjcpYTHU^! TIf$wSF%ڄŒJ!Н3!>+`R)X(iqΖ["XejUw2hI˒?CtĨfv?|xf:Fi2E2ZPE9zPFՑ;w"GN(pA9WcvkM6TtX,dm6bqA0 dGS q<[ !D^/wc@3 Q >4H/> %<zQW2VW5}i:ή`x=tS\ `TT~b0Kؽv>v,8q%Kr}22rM8*2TSqe 9![# dz[UAbnDeszm|QDӀ8mpc:9fŧUcM!8zOi!Uם,89Ki%tG_'h,BJs^djzIhv3h fj5tznU#@df:YmGkVGwBW 9$T߻Rlݹ2vA;0ll/+Y  H̗ۂ^5#qّ7/c6ܨ*Op`eG/z;֩A+]r,gǗk V+2o]0Glm>1> 1<(t4 `2@MhW u)}i0B&XFk͌DB~t#Et牃I7.U"K&ң]]? a 3;Es[p E$\*B?KrU д>]SbT ߃(/iͲ<C,N 3E f!N|Y ݩm.+M8 uN,9PHlҗeʛ+bcq;V)ǥ5 S.m9*՛ ~n\jT` $"Npӫjy,n'l;vKfcd,i0K9>@L`#xb+ {|hf!DG/X^໌~a 3GjLYvGq$*y=̞hӤ\y]hD<吏 UZ;u4`TnQ4bחp.f0`Ym^ -&Iw뱹z=|QOeJs0 a䚼u rdFlL?ƩSҦYz0ȵ\[uܝ Qt+O> !]LARu|)bδ<ŏxͦ@XxFqyH dO=5l!kߴzU-ў&E`xe͡./ZL¢92>$ Tr6F 8jf(+Q򏱋C,= @h <%,R2:uPߟt꣜k1ga#[RT`uQ>Aln|/vvPrTdbY+#[PCc^LZ}j]p D"t4Zwjh$' 5GX& I_9㝎B""ʣ~:e ϔqC+pjr|?e)a2s!SDUiٹ$$`K,Wzy"/ !30ICTZ!4LI2}ίN"J)ëіHܖqMO0V'L 80<a:}&nEcD!׬WZ#N nŕY4 [E{4L w{{bjgdW͗uE:8iS@TD{.-r BO!IB lcc,LZ* kҪt j(-RHN'%-gYZw f2Z,&fi<ָ!c4(yUa-NmюS!R4j&U9C%4$2OE' r8h‰=w!t߳cFDheGzx׻zO*5ۚ\@$MfVZjH~)KJk|#'1~0fg]n^:TsFw䱾K ,(x99%~|_Kˢc[sHF$Y+r8KG-gOI>4~օ%R[e'^`Xn P{Kqz&ᒱi?Y^ˀCu9OmXERv=ݏ!^$r'o`mnmKQT+z<2I՛g;|R  `rQ-$)>/Ŏ:R<{ Oķ5~;Iޘ\9x\e W:d )' ꩵϕAN1O;tT_̮92>QE}-'l440|7^/l'!YUɮsg7,fy.YSWr-:]$w~7 0ftb AҬc^66j?G 嶢܇zф~`hCI vy@Q[PSw$w ˤң@uD&ϙ0*3CO73)C8u= pJJDO$Jeb,vV&O<$ԁ3>($>z-Gpղq'tIXąTGVٟ兺m2.pXтMby.}ѬܠVXiV\mf=Q4)9=oSiX#~3k!5گiK=w2MfR_oһ.8io.kOWC Otȳ1]Ql&U8ـ}c*m7󳓽ٱNG0(;9ҎlFҢ 8g*y]G{<}̯M~~i'9nxpRpBONhF[bJ(7R{$($O۩y9kQXAwK哌 :ŷu}Vg띱z5rp rvԚ@Gpp1_M2:3/B_|*¾$DJ.=:'GkuFOECHtZ`P*Ha;|Y5F\OҮW%#Cʹڰ C,/N %P1?h K[Xz7BDZ?N?#P>`1 +x̀G:WASp)2R79`) &̎ۉwa] E[j }r[45ʥ&zUWBǸ忕 @m^="[D >y]H&IVP|_8LT֭t&XTܾmmd9Zbk`擉:.jxح[aF7=7S Q>%:P M#4_FyeFI`KO3h/X*/[« ?z_Qy1Cv[ϕTmsкߣơ7ѽTz JyڥhSȷW9̖8ɹ]](;5%LA OŠ9O2R\9! U=h# ^4y,/1֨o)DWCᶳ<AANj8rգ9gDP:_=;y64mXѼn% (AVdoonkf=qQҙӄtig ٞ@'-+2?ʾ&bݶ9z( uLxyv7}=?-~'jNt#('fc<7{ClC'YcHN@P]v :Л,њ 8wG&]AMf8|j^J%VKZS^?8dz(VVt/8?`i(,g;=rF~rL#y/duf!ӻ5nH-hģC aԉ\ӬWAzybor*U@-qz7}%Ǧ BC|(T`7o@2b6ʓԮ,@5Řh?}79h,grШD0DQLΥh,G74j+Bmݓ] &_b YRJ#LE~ Xno"t~VZP5y^dL,## dI(f/.aX-kWgUV yˀ#iAv\J:Ha [Ar5aZch 0dR|B< Ҕ,WwKdv ?$ZbI#H&(s;ƠhBy9^:f^1`/dS9m~[LיRح!>0̗{ySbŠg[>Z/sLcNTT1$[}uc/Xaʀv|"SvO5;>Wok]pҙמ3#)q:;D O+i*9M2L^ݹoѪ->"fJ3p-Zs-"GȈ0+xKN#*B&!֑:+ˠ+]Qsx%J6XEO^ϲ.85LY++{%B)ޮ*.Qe6 XG\y,Pݲ]m-mPW> I1ݯ$.+'^s49 lXQ_ Y%[S؉V^J l?Mrj& LY&`3#)GU[J UJ%PHO|`+wy690ݗwG `q d fPʓPçAd_%(lP$,EF^=a0Q UfH V[10ßi*m`=/Tg,26&xY n&1;gm3Q`$'DX l/h}<%dt%?U*˕qw_];u "[)vDPDB)x rN8u/Jٝk']U>~p\F(S éXW"џx$PT<2w59x 1| 86G#wm)jBݩ5Ө]),\Vj$@~e-5_'6cgYZ vIl`|L,VWGk `iגT53q/GPyL\KBW;k`S6`HA,49P2ڿYkjQx5ۥ5;c cO$aQ]#zPonl/Y[k&.ű*.hܶi!wo43jKeP>k@u2 eW!pØIm=^[LncQcm* ߤI9˶q,gc֣VF6ߋ44fw|#)U&6%JNƴ b9.$g8ḺP3n XapU"/Y5y6R0O8 * !, 6 lW[@Ph[ 1,}2 fY6%ҥs'I6,]B؂b)|qtvf_߈% BEІ iF40'Rt_#-W(<\#bO-"|>x909Rd dR vL V ֿ/4H&/AE~27`ǃBuGwfɻD~lyPȟ8><҃UN/ (dV/+ EL)Ҏ WQS?EwXԭBrrQ{>0'4FsD bՔ[EX髸tD@=\ZN.tL( 6(BlQWF~a3N_&]v&ؙ}DX8~n _ЫJYVA6C K4 AOSva64!S!gϔo7=45fxT L_"ٟHY{wAHXvGnƒ{ V>K\(gMs/BPf:բ}B^1PMԭjUm) h, ԩ$pgH)Fh*oHkad$o#X?OopRRkIF, _DC,ӝc0 aSF[EEsGua~¨(a^,#??DJѧ*FVPjɍN ґ/ʜy#\-{@>wamts_5hj|r0/)S2*v'Њ8[;x @ʔ)(fbMi/Kl I檲~anKk46I^qa2?+ h R0~L9k{1,aC$\}Ps*HO7k`1,C| y?!)97qD`VT\KYXze@"{f)wGRZv]ϭ{K%TEZ0$1b+RPIw}Jy 1l U~Sa'`+?Q3z}2m~w󗼒"L?eZ[h!b/I3$dml6-ߖ:!>pѺ:k]{ 0e>(pSF<2{bBrooT<5C~WR"-nͽq)īȹ{wf݇-i;/K q4xZd D[%-#x#٧bUVKwNڍsE |aizw"Oi2e?IWx94 f !"UhvEifhhelC*hzh9mT!?c Iyo+܄(2o *qgѓ,t'V}{4>.ʀ51WN<³(7'jOzM'M(/d=Zsv/g:m@X?x/6A[ŰZ{w+89[AL򷵪 ayޤ*Ҕzmhs}ץQvcIMWNhBdj,yMʰLr:\n"v4eYZ]ڙݡH:γWjN\{v@dz6㎽F>/@2WfM%[=EeIPмdm}  r}j&]d[`kH}WqY?b0\Ga. }ɞ:B)oEx13">҄,1A02BY'q$Z-w3Ci/?t~i"d|[[PNWbe"x) }lϦxh c ̸,x)c ѮT Ip gv= 73ߤFm&o7ٯEٖ/j89\2O5Rf' ![H'Fs< ␠IKRfkA[[#}W19r_js5vQ|K&%:Am[7FB 'mP?s^5$נoxW? C`.T(7K J1v[F# 鿝` N;6V9| ֤{ Duj4#dL 45zh&.rTX~HE)8*0IO.ORi&_E;m2_LOXk4jAZv5:ȧ`/C3F|o)nU^v |)2OT1T/)]h _['>ymٹWdLtqc{,`,1j3ɐʺ5˩t?^LGVhGK@Pg_u<};7VZ!XѝI^[d$lf?кՑȿoT;ۄI$^7g439Fl-k+g#Rk  l"틶RxpC =#8#P|۞ z*8';h&|j=fS5"=IK?`32b3c{##Xt^.|=5C\0M$DUEg~MZh8B|jʓt`jxA(TšHMu?L0[0/VN8*8X/Q~ p7|^}y4c~}Y"ڻ( N'E_'΅K/o2ޕfsG;T$3 aҼxԳ_n8^}ac=ڒ[XZʙNԼ&% UTN1H8L.w6TkyVPrh< /0߾cS4 Pjs4_L|*" Fcao,@ ꤵ]znH B5 YyD4O}wN_#>s;)%avݐ4Xx N k֋ AY ]u#АPk514Cz1ַxW\`*4JLg<$8k !T#Dō,:_]QM*?2%g{*t aqTz&vOy'dwOQQC;7P{btuoE#'՚<97TPIS(N2'2'a]{a&5pB!}(%4I%TByCnÿMpΞZzTiYE"\?0(\ŢGF424=V;Y@Fiyi) (JɼjH)+3nhhBa`K"4USg+ajXO~"`s@p ņVvH0ww?:lK~<&Kt#=YUKl0Bn({4&-XH @VQKQlnp@>NTpTzC{it3F0wvG ICeuJ )JCR}fg\f5-2nUMi% SJ7]޹F ϵ}D #8 '!_f4Jj0HJj,\fGVVŮP?Wq,p6?J/!6R`[^cX pg>fOD]o&D1sE-h|R''[^8jFK yYi?H7|+찰HtX0،lcؽМAiOLOIRq@5J(xcDɄŚ ;!+ON8`/UC].#W> Pu2 R)W/Ƹk);6^)DE~ofŤBXg$Mc҄g}bgN!o=o *s1\%VFԍQ<*|\Ins sI۝Hlj %:A',ɧd3= 1)6?q֞j.M}aՙM&XS2(8ab| ,Ő%`џhIJ"d}C#?$7mi QFxn&4pBy3oR` W̶?άRG(B{#wݡXkYHW12rn O/ ׷Kf.DLUq+:4~kkHc"O^d @}}*2*ܤ&[)A4<]7<* M~6 WLO%MsSYˮɤt) Au)ƹdQ'ۋ7~恅k2RVmh|Xx]UDj7WTfJg6>D=} , )v) \!3v'I*< j1]cyL|~Ru!kpsY~97KJ{6ӣ:^a2n_*e`B|/Vφ+A JMĴ#s߈R2ド_kng_b\,.GpY"!a/;|"cΗTo‘j;f*krM38$s{X ~'6-~i~k1<'}v\,J_1\$J7ːVMHf9j~پG 7 @24WWuq/z烌xHV+ŐU2(T<%45iΚ+=?jvq,= 0/QJYT>'?]R@3Sx0HƘZh.UQCH[gjUsu`?u-Iir#!7qvx?f4/VA,b} @SлVY O$j] y z ill/DP m^$ :;nSL!S޹0uePy*ŞeN%4}r\L[0?*QHGxFGT|"C)oA&04ߒr転jxv*9=][ 2;lrx ӥ\|5nD ֠č-aD,cG]dyh q4?tgd4oLۮjl|0]tIT 迏.(Â/-ɨhvm6gj;Fsu&иr x !̞,y8A'ʀG7@\Ak?XVJP®=qÝN4wM\>S [ r|IL^c8C)msaI2 Ԓb8S kگO)p 5_(1o":YȷE.M8} k2 xW+6 sQ{H>͇*;c1H+<@Y/R4q?de !@ٗ2$3c"xuzwlWރNkZ0 e@4Epo3;7"a1~Lm X9Ǐkvލ] \"hc(xui?0LL0gP5||PXm}0&XSCύtpߕ$L4)a K`wfK!6EH [a~Dind ŦH7_ҟ=NRA2/_9Kھ7ˠٹӶ1E¬nKwAL,3p=*9ŚZa~¹M֋M2ǻ?rlKmx+LL^eUTʦLb6+*;ؽ4"O"Ԥ4}*!sԷMMDh9>/c?S]q;q2%;wLZSWlr~$Q6] aSnvtϠҼZJH)g*?IeG ƿD=)WJ$Ä&>:`=+Ǘ ﹃ vD~efuo-bT:ADBcSW!G(P/vKx,Wl# *栁J A"VpmE(#3F+ٹs|)nQ.|/߱fyC3(lBM At[BĘz jk|6,gBw\r6U!u?c.X-L +-%\{2x;LLAdZ^=TV2! 0J?C֟) ^:NVmU X.6.s2oA[<*[^Aъ^+5U3[%Gdk"%ơ+n[$󳜧!Ky\(jD('~*gz鶅VUa} 0rSRсXOCN^$\r|bwOqjuIM݌8cĬB{?aQm,sx{iӻ(8fŪW[b nN(-SpgѷpB23BbPRσXo%dl〺a.9%>.2A+ B̫'Q"̆~,j)59c)/Ț=%"'=nh^1~m1deNqo}ԩVC0 x$zk@nY7ToڂKE<'jFBY=8̣UY|IP { 1M ?\^D'ޢBINaLŜy->#/MK#, bf_IǢj {(rxf R9_A6ڪٝF}qvO7ׯV4jePF^=-O{I1:9װ!]K/h ,9%#:]>xP4~/;jU,=pN_ 2 Cļ8+_"F#MʑxV\҇Ff45-ʢN:Mϊ36>sS-_b~?q~,)Puq9aENM6GB(7@X'y=ڻZ(OTZm#rcR!CA˟}b)#ւ0Pbd[HثY3o2"#J/+ Fe<;KpkGIW)уtC 5- k;^)E"(DCۑб /Uz3vU"Xwiv_ 3۞盉W/5#d-BB^O2حpLަmxY*jf|ip%6Fm? 'F[_12Gܢ}L7|jk'4L"+:)Ok;ǡmFw*fx lon)jkW 7md+t;ι̃ymL48I$ ^~F܍;v*F Gfu%̭/`V;\jT[#{D1bˮ +*gNj|-o"QbG_":-B!e ٴtJ 17%=:G*;bj iw7k0 svIKN5lRCPE(y%j1l}y5,7oxu Wͨ]>WLh G9;ӍVFK9Z*}i:]4u sEfvƪ֬k}NT\@ТTΡ3NH&N-vУW!N%S2Sư#vr`VwLty<fo.ZN=KbrG45sSU nY鷺Hvִqݐ(Ծjgq=,j`)3Q[!ݣ*9xn{ {'O Dx 'X^CnM1G,ߡ\W9Naw4@ԟj3pj&E2\`% ߋ.o:{0{J*ըB4垝d,ߏ}yG䂔M[\@A˼MN΋7h 5.U;b,TpƈeP2p+A9S7X}C~i> -=z"c 9VX%z=YzcA/u|fK(E|т9C!` ܵI)b"*+zNAƣ™_# $M|9ҼїrT e*GaIxn:'`u4}VO"H6'bzm(R߮e^e-iWLVS1;䥀0ebE<,3%[i{1nb28n6^{KܯmM%Zn/o{$ Tz޲T&:@gbGwPܧjZPH2UzC95;Nca@ѻ(&gPjSFx}?s  ܩ,i4B Mx%;ݙxgj8ɭ)e{;HV=!pb{_7lWuw쟦_]X:)/DoCgs߯* xҝ)3Ϋ6XL!'|< ߅Q' dia”isIMX[o7rT\EV>QxN ~?Q \u6#gƤ䍰gxĹ6i;O يu8ϫú=9N=‘"/0K?a,gK9 =7&my kB^B#RuQN>},Td!t5IRwaڨf0D H5zYA8_v7" |Bnl)1ӧO6˺IVs{qfYRdWg: 𮀅n|۷|XcS׾+B]Й"]fk}ՇR@4Y9/UxBŶ俛|91,(V'0ۮ?/=WE2O'-c)49a\c][+q\&R|*(rL@yP+b%-u1[_?yJ=&0@z]85HbwEJyM-ںyΜb Rb- 0֯w #a z]PaRzTg_G6o8Q5 bF˃; A e|v!}:Kwls9" i"ǴM{lJao\k{o(ɇr2^-YSҠ3ũZǍ@ro.:U sPXu&y? h.;=O0)\] 祼'3}t:ةGndKriP91ETRM^,~Q.ٶSއɡJ4C>P]5B@ .VqW!|}sXFʎj"6#ޘl@hf{[vMl(57ZQLfex: 7`)&'0׶I)Qb{G8{El$q0mIU>dбP,d IbT ~! Txvh,U.8MQǕ7\1O..=zUlxeLW!"ǣg}3xD8smW;3.jC;{/"}եi„'(i)_iU;;l=1;%Ocih` S^9GL_Cs/Bnh7@W գ,y5D4z-P{m@?b|k.LN$8K }4z^Q'{ 'JX:r&-3Hf$*>ekJ"*`ѫUE=cp$)@X;D+lfn0H&$ 0UPexWOi}W5gm_oBsrl%H q 7pAݒvg!gVbq3~Z=BԞ?7W IcE6$.T9n ~r\Xd>HM? "/ Zw2'`ڡ ,Dak{7-8G,)3tdȞZ:x.3>+to Ls%3= y+I>,7&=rBgGQglDW̎ՙlђoKsϗC x 1&5 ִxb%f\9*쁖Us#v&FK@0cY1AfO=ouuW*7\q KbtȚZޖ,:Y6Xmvpu" (sMq1E GI,jbkr3ET6Q\U>5ȶz%V)##x?_cvbAJ>$ŅZ^ 46S 6j(:׌N Y N*t'φdo>΃0"tsvR=>ކ={6N8w >jg:aܼ-Zu8E i`xF3 Tʞp 3 lZ] :F{lZrg 8dQa;;GQ>JQEnqa Rԣ:gxe̯=i=uoq (xF2a8Bʰ1K`5pܐ5&Z%!ER#qg|HԾjXؙljlpb&ԝY&Zy桃9g7ѥ8 ņ?k :2:0\ P։@92cMH~,rWīN~(qΉ 5Tja%v](^|sL0aR\5\j.wB+&{%kN9j%/m/tVRXVKVD+yp gYZAwZ[0E)Ƅ Q7%ĐYP5cؼ_؍j|}x0TLHDr'7\"d Z;12Tdc5zkB^ynE&e0n?F.(Okg  ae- *&ۋArX 5֝1Ϙ+_dtP@y<#(ĝ%1 ._"rl̂ޢ|{/ʠ K\K)Ϛ*zyxL z-#hw3='[ce(ƓQp`G ZzӠzp n;r靀' E9s?Z9]%)d>7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5BPƧY60T.*g4(w<ҕe) Ci8g ῷ)E_z/ٓi ܅Qqz#ok cJ;N/]·B,EdH{'=649c&ϚS  ,TVG++#T͹ UZmY8jsx@WvtZoLŐiUEkˤ >}.՚QnI7RȅBBȝPv`KpnP'DнP|vNnN`C 5~a(؍HN[ކbjdm]ty*D 0rڈ'MopОe5+.eفk'j )c<,=/5W Ό huV%۲cnTl <˒{uo{*$u wjG*'"AU:tqUJ(C90952'ke#_(Ǿ.Z‘M-a/^XX!\~$>Nwgw?g'J{ zRSTOyBHC_{aSJ+u2ơ3"4ؕw Ʀ yy+ uEq fj7:{6>8] nggN?uL+*<"QH>-?2ɭk#^~,:ea6Ub,Eb#BRNBtjԃڻȳvFt7c^g-)9 @QvSd1Yl:{67SnP>4Alc10`ظ-wb4bD#$_Wݽ@hB)Rx!4R %Fw0CozR3ɶmҩPCSn^oJdOp,S>A;"}Z¡sG匽ޞ^"dtzҤs447^<=axX-`.b%#x7;x#496nߧqjŏT襪c`!z9}L_TUeˑ+ցBw#c3D_vMA_}]*bruBU&CG#W8cN[fvY/Քo^VUK,F+K=w&tL}dRcegi_4ȓȤ{4ܮ!9^9p)vuI:}eS">fzOMU5CًAi*9=tK\?yĮ-  b%AxK Ma ]3,LyYhM1%1$࡞3Qx Qxbm7h^Ϸf/}0z&H|u,ƿeD<67`}0-Gb%O!s>45Z}(4H6< c}mqbU5jgz"LjfQ^u>cő6~RK.^`zYl+Ge|;*UvfvR3C7Q~pڻ2y]hMQFX`)/ EB<}\cA; v(-?O֊gxR f+| rqk6xA6#DşvK&ʐ!.[J«NqTPȡ6nu qpI 7\(gq>{W 3qFhwifpq>C@\6l\d,'>έq?l'̬tP: V1r{y!/edx"VSba;ogPX+-7:_} iqEw>$`t5nvp2her4h)ԧ~Wx/lL82<8yLX| \i#ᘢ_3X nl ";CjVLJDC X4w09J`̣Z^{[cY<Ҩ~*)"-Y 4vCOvzG uH~COQKL݋`?bg[?pƬj˛aiz!+[HtI`JTE/&ήm!eĝZ6]TؼD)KZ z)Cǐ]д6-B'e tmH*fNrGfWƠ.Yl&/~pxҚ#BwP $ `ˇNG%Mc˄2%Fΐs' c.fu{!Zbu4P3$ F}>-HN  Is 7w@Q`9S? IDt5LK[!Z=wt/u𗿟*6OѭB~,-b^[4HLL"}qم?)L3#wCI,٫^kQZgF4(Di:0X!yj{Ut2xDcĴMl4n(?7''wTItʯMǩ&ѼF*Ii~{"%ځ HHgڷ(~EO$:_Zv'TD|E&b cfjU5~C#x5E*ӍM%16 aWہBAs#o.5AL jΒ|)hU<0 ʗʡ L=F2}X7+Z;F}"ՠ@!m@U($a=QJit=>`F{WNLρSLwAFC,#G,٪[}Ա[|+-={>Q{mx,K>~ydߊ`&rG1/ Fȭ3^ yAZDzi`R;x?)CEWcT=.u"Y>:Myo&|Zw/Yt]~Sxb͂gzĜMac=W>e,[V}F`D!R6. T/ %& tD?k'T,8s?P_\ԡw\qR lmM%F(˳b;E,Jf\&A$ʷlwM*eϒRȵ(2^fEcyRe_6*eoPMWPrQy}%m b٪V@<|A=Z{T% (ٮfʜ\c\uQ)>U(;(- vAooC/OM[W!k'6g"'šMNgE(j9%&o4u|'* 1q!OX@ N47L)1˧O, fz@ Ǒ@b'cK .6zO$2z*\6ӹ=djԓu eu!Q!a5C1ڻG,}p+s|,85mc :h7h¿'ֵW[zx3m錜=B!}wXR]rEӫg( "ZEo1*q<,8/ƃq'I@*'XVTkkp2SZ385Q@.A066oe>C[,=^A/1$xcfxX|hi`C5 8d jY^x}*!揠iy{>ߴжn hSc\ 76iт+ VLhyI+F5UHju¦ c܎~g*eAu#fZF$hgԬ,-!In6;B'3o8EɶȦ'TbFR`:=3CtT-) lf5h@Q5/kSSOKLY,mɃ<51wI ^q*/ռ;pWȳMgV%򭡏_gw@Ds>IȩB F!ζ3Q]4H\<^A]#1w!Xy SA!""h8֪OìSA+9 kFa'%%S晜6{|Yш+!8iHױ0HTsY6!c)bj>T4P`znVr0nvuC҂gh6HY4:p[J۾I",] FMhٻD&%rbװMy'tjC l!r|2XGa9tďpE? |)@3L[+搔0{ŤQ|}l'L:pLz׫O;\|ҏcXs3F D uHP LxF/Հhѻ7~fǵl aSYwbďjf{]G}K<ꮌ?.5WwD$|t{zn^21. O=Nv[zI8+>A)\}S|}yME4rI4Piͼ:w׀>h+$>G?_WgV!:RXR&a0pP^7U ȫ!"yĉ/ϋ] 26T+cq1!B4`?^S%f}ѥkvo=G͍= 5fF*ܚop鏛G]7šgM _3HRPdd6`NeAbz?8v?VҼ5̫Ύ?G=epr6 0b2C;Cr0E ?ke+quctܲe*dʹYrFf55P~Vuer)210չ#fpB{UEmA5=9n:]7h!pf]2}ܬ팀:_>G0@5[6D}+F>z {.k%$#-tGF\b)Hna(! _!2%"bC*sYr]|q9h\ ^ո!7`le02px1S ] E+Wm(kVH'jh&/stlųeKLZi$b FG.=mpB;XB^ 19b Mtsc_t"|$Bf% >$v "W[#}Wijzqzut<˅=<Ґn: Znbyk*3-~a2s0>}f ɣB:^隓ΜL̘Thz>A}nԬG3C\킥@8pg$t :ξڬ%4՟|}d.!R3|S;u9!5@HHH!fM'Q [thnVZË3ʧn)svCĺM;5QAӁ 7",*ۦ_'=KsTGޭy%@jb8־alO}H^jϻ3SG=ɿ#8NCr%RуFi$2D0=SrÿxX=$_;$M]Y.,T?~h~Ԯ4e=UU5֡84E{׮jܨO*k+_Áit5EA1SL *\NY//<)d-c 4ոK53zqeiQDF4s8b)şdnFb$: 9+f+aDW럨/A@FLŸ3NcQRNs)GE cuzR[K48ɟE?h3f !Uﳀ- Q+ŗN1xtcsvr LßE%#Ծ,SfmG$p7׶7p}N8zD؁:|Ek,bV1쥙r3>VCkhޝu2r !),Ӗsa n- K>ag/I*ziH#QaVwDs:A/L]a'7ܷ]x +VM Uy*QUT1I7wFjЅBO9g;$%Y%^M7֒3śl65KYS1^ZPjIFI~_Kru_X5f+NpV~f1:-ht=%oXR+1ȉ6_ !nuk5WVy^OW|ύ'5=/\Dd9n@YL剥l_U-x *ge2 Kw--Dv઴W]u?X@׏cwfet2jb7ԡӛ}N!NWd\-±#aĩ>'sAxV= 2#4 "\ L8p3HH\5;27g)l\ZÛϔMfD*F)6!e!d .콁Pݯ7Xє*>$:>2q*-?ZKH9y&{ ߙ"uG}wJ:Iw!z؛i:cu~fN2c|hpJ=RuwS@f-brY M!T 鈜 ֗ eVo /KsmFKs+ ?l:?Y,ô^Fu>Uܗ]QP`6,p)@y|HSϳk(;!ls8=J|5']5UjA/蘶(;SGhk omwvD M)TSR' 2#y_㷝 f&r#c~LJu6-<;e6s tp1,KH\yP::"k#۔ veg6+vK[oݸBŗn0AvB&9l;|rZ]4EԥVIYNDžpluV8?;5< ^8RyAɟ? `W4Y;ĀRJ4,Ÿ<4LOلѲ!xxzTЍ`ͼk/ݾiD}-G-e̎kj8)x]͂w k8VEȚXx{d1.pT|&#DkH D-@2e!m@/1%236gZRBlZᴈ(BM$׵s!&_ Yxp V ޫKiP!o Z;%}c-LAK nl>xt_S-?Ҿfc7BK:90j;D;Hؓ.yGhBoX1N#3% P4'!8F!n'a }wkzsZڨYM7G~C)s^W{ICoTvn\[޿}AeFjR4۷n;8!ٮ{ ȷ$/[&x]bƭ#hD9)  F1FAJyIe(t/}=!~ZGv/E"i/*o#r#2y r kv`RX8[t1:3,%b>R™LF¾gtAґ5׃|ͩ0$Y c'/^HbDRfd|x/?LEULU1 2[s^a5ط],A8FqO rzvѡ<5J&<53 }L,g#U劯8_Yʧ}Grbz068M0MM 8WqiKǃ]=*6|H!Dc%6bP9ڽ  Y{,f~Ԉ1Ċ؍[zc=˜NlbE7#:aF 섚cT=q4DgTkVE&cWy usRǜy ڒ7Z4u+R*fOsFVB(, 0B}tJv1~Mġ01@8N| eIEXŤgZ(U0V%ᡞ ō +dPId#qr Nˣq$Y"F0,5M+ʸGJ̴`StM@$-Bz>$ ZlQ't7zD<KCoWo܍*! z#S$v#WbdJ l`d5۾qC˚tj ҖhH^烢AXa\M j\X5y=e+ &Y"WPӱ:%kDĨĚK J~^k''y%X@S %EY8U@[JĻՑ کy+lw"K xd(AC.ޅ<3=ߣxvT$2怓?MZĜt_o8){{^a}+Z, 4v7`RA6,Gea "6˹#{-b┫o]$zp.0&\W0 ^ʗ.Snyq#djQ8( 6 ևvNŋUSt ô WF!웉aeqc1 d?7Ӟh yQ'd&<[4@Fc|P+mNCi`DuLȅ$ ~:c%ğ3V/hcU0o&x+S'M;a= *`F"z!){0>ȱƒK@f%7e/eyP`K ɞS RHl)Z_o< ·vqh%z]jp507Y<ųlZ>ȁôؐ/?!!7{ tM87z: Oén*+.2*%[e i bdžBs+*,:B'j\ME ~'z<Ϊ毼p`4ì|0/B @sOpl~y}& LγvI!Ϛq{n`ϔ6AZ"< } 6r/ TS%'}vF"ӥ@jO_0C sM1(zsL ':o1NA⫃EYy%(ģkG`5ʾn3u'HhWc 9& tbƜ :7J(7jthtaJocDbY]dƽRp<="x';X+aD g7kI6"Ӽ5 #Mt܋#qt?$ ВOi޼ >V^ rܐxR^q@6'W,pG&a/uXƗNNd B,Gi>6`J^M 84wnf*CJc"m=>Pqpv\1zQJ'FA5DvBԝ%b~vW Xeo'f'%bϱutn4*o1!X%8^}tW6io";×.7Iޯkn靼Qݝy<ӺN`W#Q 3-Z \ّW(trT +me0!F[&PΜH bc&6!'99 ;2F"ݢLjIlչ'SI6~dx1sEZǴ)V%V`4qS'mBM,Dt%jQn x04z@6-v|jiOy [*n?Zд,*Jmb#ZV>ϋ3)4c )[l%*M q[ɛH_-N{ȬA6Ffؾ(aPM%|65C3K|g3P%`U X`oC_/c'?SO5X hz-->n1V88izW8I.VV̒~$JKT }1On`m=33NڊP̂9#yRw+@$ +B>x/ggC; t衧Pn~`Ag;V=&$s9L~Z݄x9{RWqyt l LNO2Qy [4-ho"Bxgធ!s-hj=zA !w@!<9Rp,ⳈVefn]nU)}`"y開s$Y%}γq@Q]-bXxV%ccaq=kp^q[\ G`'V1dUZ]Bj烒3$Ot0*t>'Ji3Zs8j.-+w%f|[f(ұRD2N)؇Xz"DaD 42@LSl()Bu QɱF䋵M<ހj u{FW̓쭴ʹ}IY47TfwRҿg uv>]οOWW/{o(ײ71ʰPSe 84QQ~f} ~5-mQ\~\{7%@%7&5A A+nhy%%m{:^p;3 CSd)c%:0o<}BONS.e<\#amq$ UZK/ft0KbݨSkEGZucjּa=æ 2JڦWl&ЍMKdQWGƮUEHIL>ȕx}@ SE7Yvk=@ {x_}ȝ`zgA&F8G\V*+CEo׃V*s-f&e$c(BHXer?̞BSG b[pieM刼~">b;:Ĺ*j̫|XYvߝ\2üNAa؍nfl4-й,ZкE" x4`=Ԛ2 dEnBhp[ì C!~:w;SFf~QDNErbo:$d kRDq\2P@v3cOnfG G0_WcSȾp"%P tbXun+FK;fOQ/9C@HPTI.vG/(Wes3ٰsbENK8BT4nT+Sg~)٦ZsQo:uY(OcƦ598 PJBmA£hBp!HiNVz=yCɠ=y0%0jIӝ,²Tod∃6.#gj-HRmq1Zw$O7ߎG$ ٯ7IzŤ {%W7ku[zidxF\ *8l\1|@ht6 bO'׋+w'l̸aC_RF+%Q<©ry4'vw JB4I`һWȍ6BP80lBTy]Zz"^q)nCa[_q.*y#@MIPuL8_) =@O*U v=JKc̈e%&pk ($%ATJNe8; ~sx7wcF9kc>)1Ӝp4f+ $7 k=jttDF`5n,@Òu'V`ϛ"qŐ J[y?J?ⴗLϰW۵1>C0 H}͞7hVsMgm.w?-Il=pwDׁowK? rroN FTm]B#B&DGH5l|2ZaU 01`?LI0)^ RlۆCƦlO/jGWBqP^]xɀ./<-`b|ȴAӤg$qb }g/+ӄ;8W{GI`0\ KCȣz53hZ1G%;X:ʊWˬ i:%vuPhVF!a1_|>Qq`KaFbPh ܛ'gֈR A\É߆t:r3x~9N&C̓'9A=OƄӣЃћB(HTHӡP|hXDDb褜d;v^s{,p,CCi\qjsڑ |FN#ԣvQxYfJ꣑bF'"N~U̔±gYZ   M3% WOOT_Strong_Eventual_ConsistencyHOL-Library.Sublistdocument.tex7zXZִF! KS]A-MՋhvG"uIBm5Ȫ_O@.w:zԅ+|:KzC VS2 !Һ~DTSU8:RӸv Z3s%sܼO/jqN֍~N 3㢒*6/怋ĢqLJmK ܆2%[G<þd/-36O0X&>[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮe 1!1Y MW% WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.Datadocument.tex7zXZִF! C]A-MՋhvG"uIBm5dhBܛ:Ä9"pLs1CF&\ %!$Y ~L^06g+>iy(S[҅?sH3ۈ[[džb:ělhֲ,F@=b}'2RƂuw km;p%8$4|JJO4}ę'eT FsQJsA<' 0XeiM8QbLlKs-IFSy{Ʋrv\R+J Z}<Ū 9!#5H \ Me% WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.Consistencydocument.tex7zXZִF! v] :]A-MՋhvG"uIBm5T>?l+܍Ʉ"cPqJ,}Qa#]TŰ6L~m,}oZY,|5Ԕ%:F*z'nqd^â,\,؁W{ WQ)|Ik?δC0^4M:@RI۱ ⡵UuЌyO/!=>הٺ@c MqUtz)'~l>W tQPzmJEΏfek8]m>`&j(kf5CNlwRǃf@p?^wPj1Ɍմq7 ̼vVOQ椚oR'"wW .7I6Utߦ'5]sLf֤ qzt$(|kI1)CuJ)'$Uu*`KLSVn <;%dļGL,mֈFm6 +^xXFT^&5.LZki_ـd迹ފRG#]_~h+@YA/!q%#3w )v$l]bz/ډlܚ28 u4)tm7=cH*9Ŀ , %#lcVRhTlwvrA5mN P,VA>QچWf\ jEa Ā2msan^*u!`a2gS+l]&@otXAa_mTfyWg2J~Xw5d6q~Jگc+/N@HG~kWDL"w!H#מX_UG'rXxxb:a_:i`|^2`' h*Rj##:u ?[ԸG:k2Z7 D鮲` R wG>U|Ixϫǣѡmex\p :ō&]{&Ɏ>cQCF6Tֿr0?<9D= ZouG0W$C*޶;{k~-Q?u3t0*ڈҠu_,,P q7#\jO?`XLZO[S/s|.跳es Y( vWK3{w x\A8NJ.:lZ gamZnNFXbVz({2dB;UA kjR=G 藄㗗- &PZXTz6[QW "YZ#a&s]՚q! 3g)<")*"@33dlu]#p^ ',}?WSH0gz wY# $ew]w|AGB8cGfW=AOP"q)훾wI[,-2GeFk'V>Ӆa䗷M=_ėǁBoƠ$1 2xk( J/?A\5`Z'ؽw|>DIw:ajpGJf62P:ukۺ.'sOɥD.0Jَ_df`;ƨe!X*,/՜i@zـo|*^ B p/\) OŢ  AJxM rH^mԣEcQ32IhgEuP쑏>#v&Uwƶhv ݴ#cD}HIya+-h{!K _V<՛ Pr-8⹓m/7vS#&c?*(~PT7h/P4<'zQ\j~",!^![-w#'٧ OH.aҺŷfyt^ \>jaRsQ[5DTj3̢e%aq0epֽϩ6c|l=⍕]AO›CPL7<$T484hiEGJHJ۝j-FГ(M Ljۭ^<`vQEWAIS;_`'4PYJN#..#sXg,2 ~8֬'gK/lf%/GSp@zPd4c\'An[y)iaP{:QYL$nr%|v=޼%z=d9|N_j"JVV:z4j3EEc+`G+Bʥ$rtN s9Vslx>T!D.vCMo[6֐)d莲rvFWUKB}lIPcdLc_iHϒ$OHns`*R<[̶ X'*dK;Duخ,8<}hIT[iv=f<0.*0·@ GW"7Oo,z49AmEP!(gYZk?xsO91S6=28F3)efl59L96JlNck@ ltj\;Z^_gafP!KcY%c"C>=L?|˜wR?:grA>5mk>Be'YaAZ˯O"^t۸\oWNu@ѐ, N٭+)8͘i1)|wFc("܎iFȗ2AJa+?;}?PccG B!FmWrCxȐa? EޣFʺ`8`"+1j]O)9|H HK: _PƃOJwY/#Je:ϩDӬnH~ سz%*}]dj_^eX{>A"5]]I'ԗwɰx]}-&jU^ԨS՚v;'U^>7{aB gTTnՠ|Ӂ|wU`Wsޟ){Ltg5ܩ~quM=소,_}ZjEoF2bLcvlZ NuAPA~J9 C:|i&Rhi(0(-fw #KKpy[{%@\ʁ_ozc5W2qm?i%^Gi8NJnc>IEe([x$Vz ԳR_H?U)B˰#x [z#0ӹ/mXM<Q[B4vX3W chhJZe/]Z7_Oms182ߵ/c|J-MIQ΅3%Ƀ+g*Қ7gM9&H&{ W,%OidN#%K~:YRR:I'P\cÇ3R}i^T)l~ppX-8:@p,)yco.zqu|YM>鬟Yt93o]L}ڝ#gE{b Ӥy 3pT%}15h矪1: j848MiETit?Pn[Ip¼ S6`Fm4s<u)Ew6ߦln26& i(EoU^ɭ~t!Ҥ|OXŠhY"7;RY^bDBVpUզ8 ?<NrD|Uۊ%G*]_ǔɆۯ Սm >Ekj,ݩJW4RרCR^rdzOUˮTV|q$_cx@9ugڑI k6_GnpX2O>]k)*h=`˙XB3fC x+_: IC)) 1\ڃ =#Um-*cF%Uh.W50sóDˎQ󌱅@)Gi>A'>X9RxByC˨Yf?!kGM:˫yuTpS'}&;r7) T:ҔRW߂ _фRg+7y1 3:]8;@yMV yI N9f6HPp$ yIZjV̖PUϳ~^Ңt ȻK/k͙5 SG6Mlh/r  ^!۰:P@u~sė̤WuĜu=xaSLB"TS? aߢ^rx|gqja7 2lgd)j:Gg&<+1e܉^GȂ Ll"_Ű=dqE6NLѐ +ro)CH{]<EHf>by ca3|3ԃfzIֳ§\pB)Q|3|)V԰d|Z/T {ML#erf$M;ۥZ]7c"ДHSRc0W4םf:Qx@$?Ztϸ9,F*}{d)pH LPZbfƬ_+i(5TA3An+bi7cZt?5+m4qz#ah2,6zl;v:eqGj W69_u26fr<wypŧ[=-aFbkN*>B;q˜Z,^|Zuy*Z# ].Ӏ`rx.lgKOו-Pu+'E;]$˲BfUY]\y)8rh CVY~H`(~؇՞#2QwUyGj@?d]&T-aԋ)XЊi3 VLnt#8W,e"q-ނpȝM:}憈NW'ـAq] =aޚ QH98ߝ%nf"O?,<#@E Zׁ(;=2[+%$f,r8m&F\f6L]|R>'i0}LoWbG9GEkc7|"uS|yR^+{nKݸ++Ix:4W4sẠG-9#XjI4 5{-ykg< ~r\[`k? 9Ug+\axӨP 32@;L +)xk)˶\GLrϯ]4ZN~h )%R* 7gQY*tVoUt+}=58'ҕcp{; nEXO&~5V3S<^r)O={<ݽnCV@{nQMF8tz}`;o70; S [f Oj)2NW|ΏOG >4~Bjk'Yǝ7Ag@]5FκvR(&کaZKs$6Vol#EM0ȓXXU"6F (aj`(W[ MEy,f:IXnb@r'LW]p,!FCm8pi6w0R5$B胍-/WWsРIZSHːĀpiS~N,a'h $L̈́!gYZ  M]% dWOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.Sortingdocument.tex7zXZִF! q i]A-MՋhvG"uIBm5ȧ]SҎRu>>?)at`2/f*`:ssZ{r#eT^OR6N@K -t١P 5u‡ Ma0S`v`Zu9or X^[+Un놮^XyRy=>T_r3"-CG8#ˋpBAE 4L^UmxSќ=u2h?e<4U9λTꪘ0R^h*otf%נ sk&dsNKZ\S wPE0󸠖@c0R6DC,u*n̶<57w1ӂ#< 5_ƦoA ʔ#W~`M H7spm뇨cKeא}vL|J[WC #Xl1MkjƆawzC+_l!Nj skt{D+MPpҢGh0YU (Qx4إ79 Y~$,)4S,=pBݒv5(e@.VXs䠿輬.LȾ~dB:jp@1!1[ec,+KA- zTf䔩ϐ!"{s2,*xb̻+%8ᲬƓ0p뭴_9Q0Phn UqM8v}։!TgV,r^Nl7h;_(.Uy;5#S]:cDA[ve1*},G5rFsMZsp9gH7Ϊ:9ylvj!Ht4D!p]Q} HC"S}/NHyV?/Wj^lXrR8wSuDLϻ(Dd 9u2Kx2RȝM:aBXllN|h)RPm>Q~^/"2>6痯UF4f"0Ue\^#>&cM{q*;,M!1&c:" LcUBMn, RnYҵ_=_E@G)XtSs*^NaG}Fm&}*IHCrGPc߄؀+R"1)`sslL;t"9TwyLRɔ%U= ?*. &w:sF Qߙ'n!1.RJ|j>W]zq B IOG <Ծ .*{ƒJmK5eACɋd۹ƩwФsG^@iDH@ >&b}CK#>6gO6e1 k 3H@$ zVGS.O¬[L0\xkY볇^,r4t0pi wj k9ˡmu09X}\b;Zygʬ[*"YZ[˔+׶b.@& D\AZ'@DGF(zxDMn!.$,bkx֑ɘ?`xEL(PƸ*)/>FyMLkpl~~#k>{Lj٘FdW9NsǍWA7 9ҎM/|MP,GzdeyoN2[-iRV)fl+4p,v@mw՟qj|umpTdՎ("*t-}YzN\ n$|lpsN; Y0z_ \0jS~(ڠPJs$2,\xTV?_ Kĥna`N\fЫ DOBiYighɖbw\W7ouG! _ҫ*#PaW.-pe z:rk31kh78KG:#Cd?ϡSY V8HIqUfY"bB6xndw^ DRkMB빰m*-YH@4.W}^z=e.8 E|o'* j T@.J^Ƨs)kc]"KQ򉓁Xbᤒ1/_sy^ %`h6Ș$luq+4-ogYZ l M]% ,WOOT_Strong_Eventual_ConsistencyDatatype_Order_Generator.Order_Generatordocument.tex7zXZִF! X]A-MՋhvG"uIBm5Ń!31 UF e¬ ˝Ja)^fd !a&G?A6<]:_SsG]~k/n" B-=Ve|xq"i,oL{-EVZ-Ds@l[?4{Fbۘb\ ?92Sud۳ !*VQ֜OF_ v,^7\5F"z!xSA"UH3{Yn0Nhi:ElEqh>+ I,޹qWٮoWKT!(r+~=gĔۗg?{"ܰoG_fe,tj}Y,`07-Z漄2\Bv2ʚ=@_B0S xx^>е[*%U*%*e%1h4f￱Mm2?q6.ϼ@P1xlrPq-1n&.# JlV GUvD%n#b)')ww9PCj/)7K$Q? wkȴn3բ+iofKFMd0)qP#Kn§/?#{x'a$toըBRV†9i"{l%_W$fAX?\PpNۆC{A$"}Iv;M)}ysv9!|_بzLlɫx mSApBeJF+r?#K^F0GG@Q}+P? a <+)$Q)x.TrڽHGk0{ze#z()u IHVeRD"P lye+C՟մ"jۨ2#b9b# =@W$(AM__$rt`wi nkl*EʼfiGl#qeC\z'D5U B7׹aQGZp8^(6n ui+J]@&lNЃ +\5*S#ٿ'J xYW]Jc2lǎ̬@d{R5VU)'x덼s,7j} }Ef8;vYz 2h8qH{tߒbMm.vRI͔oq%k=a, w3p>H*sX'‰ϲQޓT;ȵ۽IOъoFqP9]TQ2G} -iJ{V jf hn"s} *u&Ā®kP 9 uo2ĕ2zfjkiЯ-Mo='+L X2o5AgYZ jZj%Mw% WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.DistributedExecutiondocument.tex7zXZִF! SM]A-MՋhvG"uIBm5vr)}χ0CY>8@4 7n6VIG˯-S3i0xyƚ\FSRi.]FC )UԏR eIƋZW+2# vjUb)-;g1>-T L ]Wp^dP^"Jw1YL1%!;ln8ӴE'UV")w_C!F'Fiz\. - QsW۫.1C2$Mc>^R3I=Y9&mlDJ|kFMޢ[ hPIx%*# M3% DWOOT_Strong_Eventual_ConsistencyHOL-Eisbach.Eisbachdocument.tex7zXZִF! >w]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+sm=6è @! ߵN)ټuL7`; еTO^ړc6CW:Xm jy&2u9p%a0)7&)%;ӡJgo&9 ˃H2 $pD9QM4-q$F<=lK+X:3_:c -=dz~xlE}[_ bpJu%05n)5_R >|0b奒u"£/-t2׀MKk޹|QIaSd_GN2NHka))sHu22'-9=y2J9}MPcODB! LݏU}Lj =rP {nWC%$ [;0t!A=KN~Qz<7*Ykg͑8>4 vB\`Y:| R PfWp؋R6*Wi0Jnf*겑a{O^(*$(g"Hp'Eк"b m~x >L8-Nskb:F7rA>1vD/y|91cxp[JĎ0:RIY`4eZ^+d:Ս.<4yR',iZh_L͏]U;Q#~YnHE\-]Cۇ5,#µw&cqkָR̅}9<+ܵԜ-ݣbg 9?jZ8ބWZl{WTf= (<1Rt祶ba5hOt Ug ϊe|ۄMeHvQ]VM¹qD:*8iy ۘO!Pzjs(8쁇­Q.-)f``yԦZEÂ*R1uYR;s?%)x'۝PLA߁M8և9F+U&*ēQljC*Ojqyk`uqPI$3]-.pT}kۊ5s n9)7EFTXGJ1iU"jZ!Q0zp$M4C%#g!ϧkjtީ]ÐZ?ybl1%@?W6%]sAûb}S=#un9{i*ؙeֳ- E%6.,-qLvk?M5Jhx#,P8PUXWzgȒg} ןg2"3{Gmwe ^$7|~2HNؒ\Ff̫w$1!'10 `vHIUSc b:ϸ GO@4a|ngYZQ**K)Z}I,DBq|C< Fb}+{t^,(!ٰ{:JAt8(sECTU!%YЖxE:hg ή^:KX-%ZT*J'dIh{]d+16_sܘUi+bkzIr I:r?cTL: _Q6CPw&y^^%@s%DD8I\~`{:)ނ~MHW|ׁE2@@iBhPHmka O)M Pa&T*/@|J²*'M?+~"@Ay<ֳܤ<|,C ֦vt ߋHd *}jGnCh̿p'Vy}rQF \n5 sY 8OF$7y5iVRf23}`MۂZic)8(18ZP­c/cԘONCH ·Ӊ$-o3<$&,j|{B3_ALAfcHlwj  SlV~ .t@߰BzHb3oZߵR>D$-nveL"}ʴXx-wPS&7s/%7K=QIbhXaغ6x*)v_۴5]˟H'VB_6PJgT8K,𯔈-Mur+xq M^A*`c.<|7\<ʌ~2si1f N4H1c՚eUTQ+)W̦3RfѬ %fЖ,nFAWTn5.6)6*ܷe&uQykXt~.;OjskA4{y.=E=oQK R1Y %r"ϻvb(_RZS+ s!&?J 'sm敼sG(|L+~Vq1oAPӘYWru%|ZDBEZ0K)٣lLoίBb97˄ `(F>`^ʒTP=cᚺHwRt,< ;+),W9@F Cxnln!l(mUanhWNMwGKm;EHm.% E`ۓ|8aI韼^ ]/m&ůLʲ\+v.XE]!2u>+zz] Ǩ ia8$,̌۟CFbQ5]>'IuUGn|j;iricDc`ΐf)t;(v\!|fv:|IY˻4}xG!THPj}+e+U> r`XRZb'(/s~ i ږhɞ0Gl)BURVz҈|`RK~ژLcw*lM@l1-3\o(H8JL{*XD*jjaaʡ$}kL!VN { .n ])Nlj*Y%Sb1M$˵cORE 8Wr7trL+Y0Nw6qoLw-8r@Y!qH'N/I=]m@u~ՕRg[kʒ v̌|>~1yUn34j c0A4RAkq8?P#:F1SDr\vBņ?!y!Cpo;>}HCJ~^r 6"x6e^$SLUZLe- ;ǚ:! T$R>"$hL"ΦAgYZ |ME% dWOOT_Strong_Eventual_ConsistencyHOL-Library.Product_Lexorderdocument.tex7zXZִF! Ml]A-MՋhvG"uIBm5Mk'- ee8k%-cFszHh/$TUU쨇;}R,cYpKO?ZW{T޼!_އa `O4UT՟Q)82~>Ġs 99>Dmlu<7uz5N&?!1K濑; ꙞUvI-5l.! NP;3=r\m ֭V}iԹֲ b)0A6rC}@ϬH,&ŒM 4WĨ>·Npp=䫆TV%|x;rD//<oCB&<=u/!>pJK ?qEvM5YRp[q@ޡʍh^mH>zLIuu؝W[ )7̗K9!`޿ٛXw\Θ#]lx {ڷlvjFE=1 !}Lr/f]u$wk343Ě1T+GoݿʭᬉO+9`Oi'dc1߶:mK" >.py|noR5-7jzB m-̄v:}yKĎ",Y6u i(0h7]$@L=*T?KFnդxku$If[[N4 @ݲ>dlS"!6SK^;>m&=A<1`\A_tEs1Ԃ';LL#c Tf@w+"+T~zwj"iP&`ysJ]CCD9uNDECcvnT*nY r5b0ɤkڊjxF"Hz>>!Ia 2`m}2tVXqUuJĸ@Q~?x({wSn#ƃ;+*ly Nu2u`]Y"'Lplb!Z6D/y# 6&"sKgˏ\:=[l-@Vu U/BPk8goU'J=w-qX_FC;:Wal_ƛ`es魳vHU 0,RyfWUM]+t%˸6>go+UB:Tߋqɂ!:Ո!H "Qwt9,kJIuO ^RI}Bi%O@O8eP&뇬OCL`Ky<#.,Gېlr!8xӷ鎖žj7p=b[ƭRt-NvsMKLdP 1N."M+h{8@v :ZLBǙ8QDs<̶2[QcQB KQrҜ!bW0]~+4wgha7rJ6y8&VP.//i!Q CL]@76G {c\jރoR~G,R |J1אM.'-a>*5أ;4~L+;8 'CEʉ l婃w)ɫnqi @^)\XeRny8 BTxaՂwLѠR$C"/a?~Hc' G2`J"m1<#b S2~OM^g[Ɛ.uȘAUϺ-}=0Fme}]|~,4 @:}lgYZ TT)M?% DWOOT_Strong_Eventual_ConsistencyHOL-Library.List_Lexorderdocument.tex7zXZִF! N]A-MՋhvG"uIBm5gq3P`J깕 ܯS7j.$I-8RI1zU"5}.8 ъPÝ]hipg+ 76+fydUd1K١5Vm kw*{>Ծa<LD~[ij&joo^2V8%)-Hg8-pӏyA^`"Ǘ,3 .а|6 `6ә|ܘ蠏:^><|-LErPmUDw'Rp6ݱc[6b/a*G F^zFWlwJ$8:Ve3!4P"p)R^U!1Wb%W#KR4&q()8lkg $ո((\X>38Ԫ| -SB'H%v !s/;qK tbXշv+Jcg~¢wk' Ruk-_t~\ 4@UuzQhޘol.Zز4@|5*]GvMUq13fӓ+j퍮Xs/XF}0l^ RTVxY ߜsOrreJ ~È_#8N!j, o7Q(jZ?Q+״yKέ+7Y{?3>P`KvA=ΐ$hyCk s k{J\58|MG~]K?XIu.&Z4HѶP6̚:<^\9M_VcC{NhfZvGS&cD1F&EX!-cux(YI! 2;]G$T>5-pN7i}vXo?$WytI҅_~ rmkRѸ֪ PcR[ Lz5LOZy-t84G?oqeCvPه]^ CNrqFa@eydRtlZΰ:~X\lv *©T6N^`/6LӍmvkVwcIxBu#2Ћ#܎Kڅztk *̐뒸ovtmiYt*"zu .L Av|dqowKuoYU<Z` Rd\b^h(= 2muP}[# EXKm=uS.c^PDŽ  Rߣ>}/h!rOs1M=i|Fȳ4"Q/QSA{f]vSx #;->=*6ޯ& & ^Ζɴc)c &|B=.Jz(q[lY+A}>7h0O7sMv{u`L'ɓPG ǠmH >j@+fb1cAcV[RlI|0]W23Yݩ@~ /_1cZ ZI_Kɀjyz;C[JuYI{痏X(8? y}S9JRGDڑ2\qhR]\(P Pp,B=ڭqV$9T1)}T82tgYZ   sMs% $WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.IntegrateAlgorithmdocument.tex7zXZִF! 6 K]A-MՋhvG"uIBm50!cl?ڀxXEJSZZc <-#l* Ԃ(yOD~L_ތmO۴mwX[H Cy({ViIQ H%5Cg'ސ{z14ZSL;|[(!z}3OcW+ ݷl8519%Q-{-iˀyq6& =rsLvQ Giª2~=#)G26"'xc2A./b̡-syKeZK|ٰFG,,c8>b1y!~{:m2T&֭&%UFF3~K+h *7 e-8|V:UYɻľDZc#}BFSA}ZN V =ʭ¶"1 JX'"o/][[iLN,(2Z&X^l_@4'ʖ=ԫG ol I:GF{f:r5ߕy,&m\AzP E=/hqCV읢5c:k*,Vb7tvbT{T @E&zӫ02QJ `+:.wy\k SkuECA8#_t7kP3MplR.4]}XG4]pJM_m|{W,xTج ZYЉ)N͜ GT q`1m;)S622eޒ$3띷  -S&X؇k>-mMUg6gv q"fd:+V10ޱ,w鰭T~}\_t7͒qWJlpu|DncHlфVstoԖgN9gvt,0fEL)7 QB$9Shʇ :w~3 C㈃12Mtka q#&b`d JZל*sF{hEtNFPw{3TTw>-k|lLH ӻ1>r5ĂRL]W0!V2"*1_6p4Q}ЃI>\o~W$v ]ki x0GҸzd:a7 +JmX y+2]AEz~w=@Cxű#2w__剣='3En-1=.H5QE|e3\p^WmXH'r]'D(je\cH$RTҩȠ*$;_Nr>+NgSAB|(5K)5PiP_hsR}&:SwxFU#8&PMG*}#ǩx'URf(L!Gݫ(.:Bl)vM)\ 7/5Mk5C5kVDx8s{C1Qo< K٥?'ν13W]o޾4rOSd+ T-m)0bCq4׵>0J!V'0o#%2*MNskߕ{B!6:34W"ɹBl:^#,r p)`DlՅRdV.RG>Υ:gaisP-28ZƂF1z<ߕKQHe#BbԻ9Ń;, :4l2)jS…/"[te~Bp$kTJ F\}/6 5nF]rZƍWk:<wyp|)_#?1he=}n/!aXkbY% `)NȊLɌgld@7UxE]6ゾ gnErp(y bl{&G8b8/O?a͏,xṋc&bĀ")zUfH-!=$*7 }ЏܨOnXnOY̴sSp|ܠz\\{^/xW %2U)Kae|yٳ2]:"qpeuv܋rdܝgLvY6b]vHvֺ@'wbd˃wN'NLxZ+Fhk'.)O)sթVv!1ojS sA];EwU\I7{٪bkMF*+\)Ah&J2Xt;?v:ffJ 4ǻ(t+߷=؇ .e_z$U-Y׉q,av7/UP>p`V׋b u/"]BEZ݋`L?ԏhYBE =*#EV.^[>dⴾfÐ9q_*x.f7LGT$lp`m?ԃEP sPA_FBKoDu;a9EDj.۬97g/N2gmgRx@DNL"]|vCx"ClIԵl=1`YFѪku-*;/rO`,r^U^Bi7SAoC;Qj%0VK먥EFE1fS$ ͳYRoH,M}C2;Xg! I'WAm+\+s5sYW!a3/_fQ BTFߜFrV?Ȏ0onSJɁh (gkSj8Zl&b ;Lz^'n-5xk#%SvzcHU% uCG÷Rx+ĉGTՙ=,WGmc-J:7FJz Q yՔj9/ͣ{GvJySnIQXhZK/#L.DME&bs;YEZ 쎀m7 7)Bſ撿V0<];4H(Jn4p *Aˡ=R>wذ`.d?brv&^3 %y]m= 0ɩqp Z['qbw;ٛjh(x 8K>[ ̓ؐ@=lF18z{3 y?%>B!Q-d o ʿas"Ni0pGL\;к7 r?dW 4ȑ6sFV $py|VghhQXr|hW<ϊ KŬl5PW+CoL%]aO-TʞȢ*LRҢOɴWuu#^϶NTbbP\Uq n9*#1vϥIte#Tzu &iX\-wCeT3 niɡ s,uw, skmT`ϕ'c*%e0E^PX O-́FmpKUd R~c-/3ܶ2@1@y3^t$SM= f.agYZXinTZe&/ұ3탍| v1dUnb6L߳0I*|G`õ0DȟY!Mu勷^l !O ꄼV "3r"ȾVHM&W`U bUS} iAƖ:QihKMR 0JE&Bጙh^Q_+6}ZCffijvZimOT C0\bBGRܲP̫OTt]Яa:Zr#m :Muf_,@G%.s~mEvVqrGt`;I{X"Nϔ6$ #lP^3"D͂|kYX*9\t!Lw 2wkA)=wauud?V^F軙ӓ,5(UYuX0u؞G#*ԧZxmr%7\N#`gU?SdɅm0(X,Hixa~*pܪ(lPͪ5BL[E\6WAcLHXW&'Ԡ$ryGKf#[OC=ΈДvh-FRAUvT@/*o7AF*Up%58)uX㞊9fDhh!wlTL©{P'-\'BWۦBJ=Pc._c/1 $&r!@q/ks}g\岘df4MiP䑆4+nf<.u{w*"h w$,kE%a5f ūlu|A>٠jhP|z̩9ol4 Z`"3h*Hdv$ Y{CtM%rMeowfNq/i-w#Y.<^]t`cq U07.9יq0odȂ;2m0!͟_^˂VP3nTڙoӥ,ϤaC-y:zןrʨt)(yNɹ -m ٝ,<٦HlsO?n[,+fϺoӢЇ$ = {l"Wt;fbP%n¶7HҸHS(%zܬ7E`4 oI(3&F=HdR;PA\&p1wVgaOP,qV ;GHYH# 4-jL kT"9wtGn @3[zJ5(A,N&,W_C;a oJKmJ*Y9YIopһM"PMOAtZفۑ(ƒ:تדƾמe|õwZ"sԑ.4֗ WfmOu>} @0@㚿-4)/Kc"qˣ8?w+ +59hr%k_Cpċt f}jI(Aݓ Qex~?LaQØ&r܌_"݉ {3l^E?H<}e2[m^*Uo1z@$$GfrsVpxg<4{vpHY=gdUަp!lHObC~KDPv+[{.@zD\هɾF5r2 /"qAջFR+vlcnx>h2^y=tv0 )Ex|{y :\xQU %*?UYq7cѥiq,L*~ix{jC֡̉`JϽm͂iSrCGr17`񦘸+j}D&2 Kۃjnceiܻ%,'U> z9`ّx6ڨnSieo 2Ҍi94/xӏgxq<$WW{[Mw<$cI\y8," D&3Bha Q펠Aih?KNk5ZeeL ̄#,ԄZK2+3PS.(7}ùǴ/^-.҃GơuJ:V< ,!@mah`ͬc_ z›tS<~8I9 *o`{4WùؖTQ|iz;bëDcxQ]8؇+<l봏~,Y _x>L:É3˃1R3|qVHkkdĥrr9\d]FFS?; H<$u3geLl`i3~,2{˔f n^Z;:H3D^y"f % n-s83Ոސjβ)f>U1vC>x^iΰX.s5ktLW6cD!2Fsg-7fWz :6v00T=3(VEKq3s~Ͱ$*}M qk7S6II+l}@.فDd2}|j wsG( wex̄9h &Vʯu }m}zam\[&{~Q>)ɰnhh,6ZNY ڴw%uŌ5IXYOΏВa}׈T6 5ls2ꅈv'׿si'q[u?PzPT<>:]w&k0Y 7^NUFhUZ`*B:FjH(\&zXZ;Ozm=|\+'ӆS殁O~]^<Ҋl+'L !$V#rYXMo lARŊa>397-c n++V"fIGX"7r~^N:uRg9y`GxHdFB\:K9v0[j LG*?cjh~>WJtWj`aiWz2^ve_(w`D]TXM_,``aZ0[/_jz˿/GpQa> ƫo9L;o6>'d8 Hv E鵘[ɴR()O˘GBd_9슲`AR}! KDBJҬhwG[9l-1:r'(Ȱs"V`l чߦ̚g=mҁfFZ};FBf{eqeo%^FoM{і(mģ2] KȌmMI*Oj3sR/>h8t׿ƹ}TA "H(=ThAR[E&VMp;kh%JNYi=Z0gYZ JMO% WOOT_Strong_Eventual_ConsistencyCertification_Monads.Error_Syntaxdocument.tex7zXZִF! ]A-MՋhvG"uIBm5b'Z̬ onbTdYQ]l|f".FKdp% 6ƙ Ew:1˸ ]PL z`B>V&2oV]G/~lb06H?[[<"UZ#YnpyO9>[-31=[E@ec6dt)gIm (2$R&wH&*u(Oۂ~a ]L W8ңa~bcKeDP*k":>E,"ݧ[tOPO<nQn;ձȴUP`vX"YXz$VAi%vnzjrw8HѓB(ɟ+B}ӹRB=?` Ρb⎳t2YnsЗY|%`%h!Cߐ_Wmwm͐y-dF XK}iݛ; ݾmqޜ5?gwDZy,zb{m$CE&]|Sv7'M3L7 S @j!QkDQwRpք#b ?6E w6[; >⸌OxlV}MO-NSK˂L!k+{aXJLwScF!* t?;sm\$چ_/dq 1XoC"9?el ݱgYZM;% $WOOT_Strong_Eventual_ConsistencyDeriving.Derive_Managerdocument.tex7zXZִF! a ]A-MՋhvG"uIBm5֕)eGBŕΙPSI"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{jOKO覧BNEX;D!hJT”'lp] stHÆ`컔 og "w2F`:qrOܑ8Fo_]yWܶ.㜣Ol ˑ, Y(\b^, ,OFmTtuda} m$*:dԱgYZM_% WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.SortKeysdocument.tex7zXZִF! 2z]A-MՋhvG"uIBm5ȧ]V]z{>AoM%G RE @Z"V?+X&EDS@G@cFXU͞s{ggx kE1Ki\+_RT*>U/3w1 TJW7Fwǻ.kJC\So?UEx`߁Y+ gp%:ec#dx2wT9VzO+2_k1D) wg|Pyq]cKkBᨘ;SYmv/Yw8bBKҳh ۔ʘtnּTUt픠Q޳A,AԏyKOaQ3EhgmEuFb O=›θ?#|tԇFgn2EVpxXA/[MݓdžbXMڶ=w\oM~,EѲK>=6`QVH HrzHa*[舮ZʋlܕlHD⥿-) qmymE.}Q"U> T|RE];{ }d24k xOG_+oH_@+bO#ۧD'F*7=HfS[3A^hbјidqkHтNKTe&YHהzٕ]+  HjË?#yzS-Q'YX7KB{|@ЇjdR\YcZp1˚!K]E [WmܮX!ԐG7o;l'u'|Z|W:6Q^} ezQgYZ  vgMc% WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.ErrorMonaddocument.tex7zXZִF! F]A-MՋhvG"uIBm5bؔF>LMM*G3NVO Dth#*K݆ZOy~1&L#ZJVmH‘e:2t+ɗTPeA 9 υW}8Uԡ,qN MJc9_G﷋@D8}z\M)of(3]C01Qĉ| NiQc_~]B;VF{~FN`A|y:\6JoV1!VȹC2\iz~M!l*dpg0eljȂ)]:?U6Մ*@ d57PW^rq,ihtRYScZ#T`Eoɤe.A뒯|h:YUQn}OGpm' y):V8d.nNڪ-lu, |e_aPypTaR2PwG'v]ՔrƛǏ::\cՈ6 Dds:GHVbքZO5SF5ea@T+FeZUTA:ʞ $:qϼ hTnj0uf%+o>q?b^P3k+Oq@M OK'WX;ee~ s5;b0s&f;BдiARP/⁙K-t Rh(fD.IeCRs#Sm0ILIĎf[Lah]m=UB5R0&?31+'cVrMo3,Tjɸ!Q#FhPј7ȇؿѺK+9;w.(R ܖfůRJ:`.f{%/-L'NP]֌72K*;G]o3qd6Ϳnk')'&AߓdNr@ҰnF)ӭdFҖ /˿J<][)i7#yB&.<uWpzȺi]REZՆV\׻0ٛh+n)lĈqwMU_{ }sOކ.<-7(ɾя{kgErhR*Hsi/ՈV1}$mT%J`Ww4\ܡ\N#rB@#ƙud8̍WB7]? V,金ef,'y,b2 6S{% רi*1Y2>:Ȣ80 M1 v+_Iw5=P{u=f:,jq5I6 -sܱgYZMS% lWOOT_Strong_Eventual_ConsistencyDatatype_Order_Generator.Derive_Auxdocument.tex7zXZִF! :p]A-MՋhvG"uIBm5֕)eGBŕΙPSyjsLOzÝ oYcCuIӰlk>MrWo`eDZ닋N6x'B##iWXo`zN m7??#|h6#|L }*uf jL!Hc$"mbFs@&Q ]tijR8>dV$_s/\f7)Wvx䀋 1 Bɤvsy߻F ÷y6{݁z ]p:G0RƲ4?_J64)gYZ}MG% dWOOT_Strong_Eventual_ConsistencyHOL-Library.Adhoc_Overloadingdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5zyU}Eg~.2aKYo "~|ô _6tr8K# 0mۅE76<1ܽ0S-Hm=K'rKuJĐӖ_!,/^/p;HXǁOW pZE#n~Oe処=w{<Z@Ⱥ{ 6mZȓ<cgwqA3d~=J^U~[ m!b@_[AE]^ճ]e'?$}/I|n-&;HmUxޱ⠂PZ CN|Z/TPMaZ2٥`$.ebc2gC8EQrO})r7JdLgQr#Mr!k_dp8݀%i͝xN@o/ 9upu0 {gYZ l,Mm% WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.BasicAlgorithmsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5A}ONi42T3i5YZ`_ {ŕ#sAC>֐ өRMIΞh`NƘa13{^즙";~Oޑ>ޢ`|$ݻxriV?㔡R} }D)ug⥶w$aM/ 2|w6 vl"{2Jx _Rp-rMg.*p *(B<d*=yMŇ{Whޱ<#뉐&C(+##3zmPyX$솨HP2kiVd#KWjah$M؊caĆUL ;US]oE.ԐؒyaHe1imj%qO5I9ȏVЋ`O ʆ#45(L}`O =j1* 2`I͌'>5Mf `՜0!έ S"cn8OD [j߬z>wP3tjjĀ)xcCg %uOT7^1kqFbʬv[}{h *,RC?YU %Tyɨg[JE=)-,!ſ?htK\6l忮J~a*FQ"SfD7!8d,>?0x;rF1W1ڶu_lDXsm>4$.E# gh3_Ijԣ_s.j_N/c 72 SKb,,{~)][ܷ`:uZ(.4PcyU/^+23Mg;ЅXqf0f+"J"fnkRmMhxc4qw!2dbR'-B~`Yټ{3.Ytdv/I/ccFŬG!M|Г5HK,s81@^% kA&y+m iDRU#=xƫvjTfI㻽 IEiwCÐWcQ;sDQ"BiEs ~(>50#D'з|'VE-b:me^Ry ^(rϟYCeeu~k)ܦV9χwCfUn֢] mUbu~轳w;Qq&P,PIJǜA;|mֱ/C(q?z&#dtlj+Dfhՙ[ eg;8$(|~jLNUlRt QuHd8 >k)ұgYZMo% dWOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.CreateAlgorithmsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5n'#A8U<i I0}72D^shQGW&f]zHx=J" o/Jv oaVԻ6pir ^8᫙PN_n: 1g5ՃWկd #V`6C^Rl@|UdHe5(}7̿$gK?y!s"$/8.3Uk~ "ERl4 Ĵ`/gIVDŽtc^̢pB9"R@NbFVQ( >/bYW|g.."gDmi_S9K_jbFδA=f]X |6267ak]VrԹ=>r**j4/3ìZd4P5C~ 9^ 7{~QHI X!7]a`sޠSTz=+gD1;/g Tw5#wO4||-7iVHoVKcU@ rL*^o1Q/IʗºG< T(3welbAЫ+ ^p%_GR^53>{\IVXd$t8nw*IX*. #%ͧw|9IN\;CFsH~D#/<(>w+/; LJXbMw|ЄrEҿB9V=y]PPjF\08)hIHh-Mu#E st'R*T K齴NFRd%nM:@Y85OL|$'ot-ϒ菴HSvtZb6bPb|IyJVE`|aV~ﲈ/V<"(.h(XWAAX]ViM~eG4q02J߼ěKۦZ / ~OVDmp$dS[:rRcrG+Sd$?sN)-w^z0%dN&>s 4r /_7䮷z?B+W .TjOkxWD xMǗ7 uDrKp{}W8 Fq(6Lu)wÈ6F?2 `5E+ZpP$H .M.Z&v6z )l4J 4̡؞UP `loAwqZ )# @;F,Nf3[j^E,6'TWoߊ2YIjgTDj!Jk s*("albSJ _%{gYZXi%D4G+,2c|'j)jL?LW]g~ҫ,ЕAX \h۬# ym`?"|nN`*ʫiƄ':Jm'4NgX™=W@л+O }ZdֱNX#=QTPp89nN-1@Ҁ@()%{K5@2dH#)ˍӶ/w,8ͦA@N/ uOFO8&?c%+qb.(>>@dMYYdK&nC\2M73cQ)(GˏA!%GܼE& hEe A+YčE?J#S=L7nMX幎qF^}qt/+|9t4N.d&+YH`}5$s'036iU· 9seYB]/IqC/TG uul?Mk@Yи ,[YɜZN\u(/ihŔ5uPt!-YH;wU`Bs}W4ܷ~$դ uj3(Oܷhءo$w!ơG<q%GU #A޸`3aBc*e~OCXf~ 0GUn^R'n*@ڞ<ta0J⶙mu=} ̌5np[R{""\P%pۗp+$Cw@>KxC5n;"2-Hia뒥dKڶ,ueYYK0O~}\QhT;OE q9>&¦6JU\1ʫ6uy,Yq1G3̖'<OWO"ݚJXWLY=+fRJtR RX~-Mˮ[]In Ig>AfHO9FŃP"8<)M8oy̿4ټzHJ)qp(dVԕU(X7}s0-ߺ2ZT*|7= onLM>ͦ:!(k")E;$ԂKWwoYR+9|kKS)"`qWoT ;MqZX3OnTxlNHcQ v -f"t+Y98tbƬ0QsOM>m5(Xwsm^m`J#C>#mUqIRZ]ꕉZ[oTS Ht֗ʟ?( )L^i)K^ E 黲 ܀pqdlkmYO | GOHl&k¯!{$o^K4 n{@zpOK<Si5CzyU, #*}az+PdG!b%t$?Bq1Sӓ˻w+Xyzܲ}:3;3L"XuWqnZ?!EhǾ RA 2lʾo]=dh}Qa2wryC2{NRGb^i!I«R\wZW #2F@K8"3wDC=e&μ /I[.q*xm~<*W Jft}E'ǭL#v}/.5*їd tX׊H󂽚 3ΐgy=Uk9/5}"M4+*ѝm2ĝǘל;!-.3VH#iibjii[΀4A. j)& g[/ m4 FIO:KM)Y sڏ=R*ie=ʉN)g/kx{K1pw÷Z˫rş~zWc?94a[ CXvuU!AaMbyˌOp'w`ބI T-9:KG7!+rv4%iɊ<ˋcƕ$xS<~M6__8MTq8ڲIݸtU=IvBꘆ}}Ƀe|Ku]ƼVM`a78}"=;37eNwxy,\ hH$Jr_W69B1#rcxum 笳<R5FʝƅbD&q@sm.,vE64cֵ<:o|I!C])G`vQ\Fc]q`@!+U n\ThuX/W}WaG>o>7nU[}J5Mj8fY>G^@t)!?b%Fc/\SgԍM'J V:vTbANe":`RGOOtWx OzX/.kw%ͽ수?Զ7mq)zaaʂת<-l~߲b4 $W^M~L +>Xiǽ܌8qH$pSB/N;9vHc@ʰR!x2Sؤ@Qz ;8zo{XP󩭶߿ݧo(1hUϠY@>@G/S(վ;X?s‡Ʊ*:Q`|՗«jX\z0*O'Opy6ZG@SM $&,jXJ zÀ5;l%YdqvenMR^4׬6st{9HMT՝S`PWԞNMBm)(XW+M`kg4ܸ֩!UHLe\Q#t1'E}oe`<*ef, &7Y=snw1pSW}MQg|UZ5pLao ސ 3frB.itUZxEGCՌX $Y7Zs%{434_6z1jp?ȳp2A+-sZ+(H!لHd"_S*e0dT:Lk{6j.ga׻*4;fWlf0F0|fr3=ѐSe~aFW/+ VIHAɳF?`Q[xZxwz[ёt2C@a"~j _Y bdɉo8FQeC6o&ƈ .; %yf)*Z:kORfNZXLƐ({.C:}7׹NxirB)5]OB״ ssc{͛Zv9[ "T