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  4M4d ]/ WOOT_Strong_Eventual_Consistency:threads=4elapsed=31.288cpu=112.232gc=4.184factor=3.597zXZִF! ΁]ŗXiɟH)0%o2ڰ\ta柛H16$pi~ A7a[CS~z\8ך 4XGo$uHBkv4_~t)6sFz왯Z6E}ur_o!MZQHQS"X$MMIO^y5!^syg3l #M WOOT_Strong_Eventual_Consistency @@=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 ZMU/ WOOT_Strong_Eventual_ConsistencyWOOT_Strong_Eventual_Consistency.SECcode/code/WOOT.hs!Y4{t"ķdkM~*N쬩h@qFLF' yPmP꣑o.stMfANm+F{01:컵#NAAGF@*l<+CJ*O թ 2Ô1s47:9dĴUQhu_gafSrKr4'b{zUJ#(qZfio@8=})e:bx{x?Ϣ5IOKxꂠ(JJޭ٭]V.jLmd_Z]B)dHihMQMm3D*62(i'%5ju SaZ\~}СWpc?*v&=Zk ;+<&n7ükP#FH+XK™\ 4 nt )臉Q+`l}m 3C Au:;rH314sNz"pC!jB9yXy[4ݔj#ex)I drA Sֆ/_$H1 5 vtbQU3|''F4(;+rQZ[n' =] OdlI\?dy?|3y 2dž *X'jtvF#-V^!3֨Dd̻M~D|mt|\DMpM~=`[z "^vHGҷ708.3_0I70 $֚z7uXڕ1(Apbz| Z΃gx >\UH=yKĥC)O-{BQ+T G@@ʕŦ%/9rJ46Va?fǫVK c1cZ>`1 2um2"gɛd]gcpg1_F`ZQlٮa[uŶRliqH^'*_88#}xG!o'MDt"2+Z%H~[}ٕR)vaJ\oȍ'y?דrZNjC#vHɵٔkև<U:ΔykhA$$I X~s*EDH2E?WV}1~EȪhGߴxGA.y2ڗB8;;RkgJZGcd[:]ɿfzc(pŞGIN-;27K-n0AS h9e>W^䀙]Dy0+=!m?ԵO*% ef:=;2(PLb+|׸ =N'ތ.2Xy$iğ?rrV"P?>~[ Nfgug F(-SFUBenDY>)yx2ps)萵dk׌ 6/f`u,Tt0ǿ];1]Ex!f2䊙rTgrQ c9^겤ZI4ONM˹E+AHQ? w?,Q'?QC)y 5/vrI/$4/60^l[ <6k2O/Hًfk$o$`~)m1X> ظmލ]yc:Nvv)Na13UD]{!%OO,BԿaFqEyr'@ASHfKʾ/U;J&k?R1VD͎¸S"LvH3Mo+Or*=~9raIڗuZ#[XsXz5l騕Ŝ@q3k}]ؼV(QxsyZr}(0ue :g/Xor_r:9DقyD矕;ë"3K4ûyM A5԰-_~&T)A<+ӣg i3ڡl-ru54&EՒ'bVl̼I' rF2ua2?Z@dWdUզ AV^| &:q 2 $C99¥ړ =>N`$5-nO K5>|z  vb)QrJrl=$ǶEvrb2UO $aufc=1g.vlR_~tnl|fjѯX ߭dԌ.V. iSc Smߘ{YKDYFjYMmlZ<Q9`3~s,vHrÔ5w Z)&}MЭK3|p@ xpϩ6Gm`k> iz@!밡GBz#qO4sy΀ D~ (YqF,r?j;Ͳ`1 M^GWA6at:0yE+2VYe3# ⳿}ek0W$]P 0UYcGsbuHUR4^J+ ^'k驯ײgoK7^M 3[>7ǃs J/x2aE mfRR]MbD^p~)%vj+r{ṫŧqUTب 'z"2fU(?r.!פ]hPD贽Φ2n˿ [/B|&JH#ye{Ud4iPj(p XjomȄQe0u!i6 ,>xVlϋK`NpI'os"%J9[x$ʀ<;|/>W %OUȤxCLzi,#Zs9h]>LbQ+<Ϯ?oǦEPJj˥N[{/o8 V2-c@HW!7I,@$/TB5:9W*( iGm ëa_W pE ݈U_̥W5ÊFBsl<.x$֟RRXwp^QP?'M711% !67"DZq = s*0e÷?rpq`55 8RĪX/r:' yw\I]x5;gQ^6kREHz&P>Hj!WFձ]>N#ep41/;s,۳>U_2F4P i-Mk.a a!*d*s.ڋ:w;?BV9n =$kVs}כ]<1yFe?NHyE{6ðP΀L]c_>?pSԆ-fδOCL0teZfU&{D𖯎@bIǸ6]h/*}"k0a6  4؏7 ^K5G̠ tw _럛Pl nD"2bSnUj/;D+ KaxL=z}cNio| 80ۧ~z<8X?{E4dXÍؙZp* v4 ¨YGI\cQ )Xo;K|Uh%[ rMMGTe 6-H\GArpCv(eÎD{]/ioS1JH6I v*+ IhWb}ZP7p 6kxVfxx v7ۜ7R*` vkFޤ0@=otb^艉*иqRF RI#E a.2NHg*V0 bkqX!Z)},yGی8c0Ll_%,d }y75Hlm7؛ڈ_9aT&Qk0Z Fds_UalaܻU2b0MTހM+^,s.;‹H5d\7D?ZgF vS̳E!@ FG=SYt Y:s_wN-vb , )'V+< L8Kԋ=+5 pZ^ Z';ޢQ+t*A/B>B6f'ܤ"AP u I v#v€C,Y軷+U>=&ChKQߺ %0wkBqs<0ŽY_9tԮA)SgĩNI}u=:C/;B50UxT_8g!!\`~dLbPg,{N2+DvW_rA`"37KT?&g2pjAlUAfbI s0r|o=#!C0sT!Хs"FAg`*,kGgD'*ḄEL(-{$avy~z3]H'&+QL^wf`6HgеT3+twRx.7jgnZHNjp EE1;,/ƀ%)^G҅Cw2/bX+`5rpdL2r o  Zw6㫤SpPN`vwӵ,D~rV9T)y܉VCU#H5Ⱦ{^DH~Pje%g%nt{ *T+\]rT\(`ygk]W憎J>9bF$/&< ~Iu:Y_-"gf?<:t _ vG\e!ְ3a6tmZoB:ۿv˃o#b|7/IE`b5ff 2A7dO65D /n£;<\b*E?`?`EGmUv!IsVKҘd^ XH{r~!VX0M^8&!`w׻wS%y}`a w )/wNj(-\̐PC!hY~ڈ-쓂]J㼰 x"j!DڴYBə[>6fSC1 \n{g4lBTϴ?Wm<=I`SF?7OfMfvB!m|'97"zMg_ lMN~n!k0[$!2KxVvӲf*O`W7lC9 9-XS3@&NA*0=I㛴?JUaPJܱHfGIX@މ!ܽێ>G 8L"L|ΎLgqسw(b1x*.)fdX6.]ނT xGgI=ÔJuZ6Hp9rU<5w?4:laW5;G) {%V{DMMX# p~Y!f` ]*ܵcOu^\߰,E:$IAh<ջwS8vI5A0{,R]; U%|XB2ro z8C0F~H8z9dc)ƫFCRoF^ᘶ= Q©w͐zY֖kQsKm6ΐ$H{Z QBOzF>*{9Uk(C =`I<ڻ}Z l4A_Ubc `JhA^׬Q;+/g/Yׇ%JTv?4&{݋"A*"5 &#gw<В;f;j0>L 8C%ҞM`DS7DPmE d{بoI2MK]h Gaf"%1 fypU-ӹ4Caz\g\I?`Mp]x"1\5N揆UMha-Qo6dDn+hA= ^=Jc[8~J.h}SK~^fdC<śH2o@R"v$xyBaoS-#l4g)0I߳E3Eu+V*4shx ?P]d6,? fU4 cxK&/UÍ6\8׾&-R4oSgᕱuT&0Ul}`#хt9p&Zl<@y-WRѕhEZ2b p>5 :w-h;iӱQ ,Vz=PEse7:CqpwxuT=Dgqe<-?gqGvX͌W;^ԋP8:ƈqr]AT_-#tEOPSQ]$,CefxNJ 18_+Lz]^+2rF"yZn WeW ^!m{*㖒q b7QB~엪]X 3rQ]mO%q0k?6KZ3,5P T. \2 faoI h m%i *40ߏuS^ $1@{v?T 5}g<`V-N$!ŧұ<}jǘ|} |yXݹ ;ffbGxgcsT;QJ8$TklaV||MFTCzI͇tJ*l/QKw967AXB+T|ܘpi.6î'nW/]q6oDw%d{e"O@(ʀ W:ՙJ65Ş}PV09 zVE U9+RVm`0M|ώپZe0^R @`nB{%NEޘQut#B";y(hQh<0Gե^CYq&n﫥ywmZu4Z3|_$+d80+<$Bi^q 3fCn4mM87}}UYjq,&WFb}U09zIOE;+wPOIP(KJ875p-D4Y=_(g >1rtJ{Y˙:HnD'/&}R<[pڊC;ocL\'S`i^S6?.en'!c2j9\+ti CڔW/` Ayǻn9^&^&^2\?ш.%A~#g+a#,by H47O8җb]^i}O|- LpA<ˢ%9-MaWRayKI|^kq~NgX?6 VzTci}]@?{jg[Ab Bs2A w!͌\.I.YE3xhF-]m»#7两 +9m] تH@tZƊ@|ѼDc J\˽1!yG JV 7[%:QwM"%cĐla뎋U-LUȂ+vtM&|T7s36Gy9rpCDKEI/U4-8r-9ccY'.T=qrH~_p"=IL i9"7"LA/Y}L#r7vLO[iK"bT+U/y#lfyo|E-`zGF:^ xF`ֽsk;p2l݀˧)~cy90ѤJN%~8LY'N|U(|>E#rE  ORNܤ!CN^p x!_&vwY)}5ffK dsgA=ˬ9 ?"7 Jԏh,߅#v0[ޚgK91nI+UXMfO9tA/;IRIX\g6ÂĆOݸl`U,nRIo+!i2U!7F(Q-P^ǬuR1m,3\#>n#n2od_Jv4[?d| Dig>6$@2=O؊$`u`t+^3;q,]s< ^* J}jNxB'1 Hw,kb젓f֜hҊ5 ZM=n~ xа[VqFq`ʎ|:KΜTwԶ2 pow9#: G7@^>Y/΢W-H Th$4 c_K 2NB I,+?>+Pc[6V\ D}VxLwJ7,x!1@EX)( [*gƍ_-+yF3(nSQE{5:xIgzV+qwRuanD<kS  D 87dE/ؑ2%;r73 5R*SH̿80Jhp_-DϬ&'?VRM s"y'pbHʏr|GTuZ -yEYS*>Z-ӒP)=r[`?ā\HP<лh,Ú2 *3!e|SB& G˾E }vו_jٔHTRמXbVHf?Y|yE8qܐVz5/$B)z3$]k"2 q8fQ@6[mB^y6x8CxU!'Y"A6aD5,Mh$ !2o#q_Eecåp{M_5;4,릥sj 6KӰ6cKpTI}c+ >$nTM|G*j+9v|g!C TuS&+ H-?qBj `^xian!Y5srr5*Yu3*ޙ%FSvO) a>$!(gK~юbDP:z`]1"9gdnHLH]A)nSUQqG&qbv *'hRʐ_;GVWنN{P2O~43piSRn4%E&hm̳Ned④&j4a@vݾ+P %2 @y@AoMKr]Yx6Y]/݀ {vjrݛ?vka_!ږ4yr,$*xRf:2U+{Keg6TvB0`X&;O Pò)'&ĉ9踚hidiJ2CjobMk {Ps_)T$*)H;ݬ[%3;ťIimdogodp9e,3qT[^R&÷\R K+ 9v??RFئSѨӽ[ISr37@;k:]:0ۦ*yeF 29ь+t%̺ɗAλ<`eVZnJ!kr|D[K.{&[PH# !!h3[& RiPHp ,s46m=8Nެobu9s"W" m+6ؓ,(jMk0ąݮ؜8`W*b E#DDgx 9N',vHTufKQvہ씦MaA9Q錳Jq9]"h,}%tX Gу$rti18BdY9`45;Ge <ךN=7Z; wdGR^"f,{N7 ʇRN )YΪzFAo O<*5hA0Z}ˌ,X5rwRU*TWI0o olUcx5LߟG 5Q:W$jpRDF^Kn$o)wXl!/(GJN r,26>RTpz`v~#Ig XA9ems_ QМҟq:XAu/@CGv**@ObM BK qjt|,0R?τDJ @iűv~fq+p˸fY_őbX Y]7uj'N` V_\{D,c[pVG|7L&!.J[(ZaodCt\7pŒ("[28^5"NFӳZ9 a8&rTu:yGV=~k5hn9Ak.c>?<ׯxg0iRHBQe~E7Zʇκn'cABpυTo傟Q pM~ W[`O4h޵\CcW3 edL>,BG26@LU`w4\mZ᝶#N dKnwci4a 24,KSUzO\i>m9.=[+IQ:ERh(owJߗЯ!k@ghuh"hVfjk4GfM\nEٔSWA4%=gw c&c'ޡ2jHvJ^$tjlϤ<}QP7#8@;m|ȥm0m<͝/kt.BmUT3ӿUVGP.re6\dD,7iYeC yͭk# TlfK s ,޽sᶱSDޒթ[#FefqÖdi<{?^k TgD0@a4<ȸVeșLNX'DDT6f=PF#zJ䶌&"7v U ; % TNY U, !l WuS&ޓXpq!zVmg]D4,#L/^dذ+xxO fC:[r1/֙-#AǜCD9GpSl8-iA۵" ΄% X][.C nK `>zfVUێj%[2kg8eڅp!W1gI%%2DuBEF@J !pam H04| ;0CIm> K/v'w>- :U+Mfs󭋷h.[VYaOݠSηKzD ,u1Γ;˄~etgE+6:n ѠmNᅑu#2wR=;7k=1[qT5#{сE-uaLpi[V#r<0Y |5eI,SHfzQ{(HǨwwz!蝼Meu,]&\w5a];X(0gel6:w`Lv2{]D:Y12+L.Qgz#k*|$܊"| 6zZh8FA, HC5/agp"~DĘB8f,zd% I0Oȑm6Y~Ky+>| +WNhP\~g7ehT=O3#Ѿ荂1[)7'&q`EC %#SΓƖ;0.z y{rk+%;6!uM %Hjҭ!IB5G,6^k=k3W珕FH5 [ QVH\m{# [(:D#}'EŖNl#I&D%y)~9+UL}uեހu%Tֹz?JOL,! CY~]k%"~ptn>OG +$vh[鉵[mvC'^ӫ<ŝ ݪHI7C-v0ys=)s 'mL z̶ Sbء?W0ȴ\ 5hatk28XL 9`]هUb8\)0m X5 2#E 7C2k\d X/NbD2Bt v+iP0ӣG*̷:ygxs$&MP~5 o]nwP@IhoKd1HsIgJ< <Ȕx 3{"o E!. ޿= C0*81uhdF 3%t+hKc+ T콴kc 3.^zcvpLyJ.p%*c4⣯MUTiP4|@xDq@Otnv~T)Y(=0͎ab)U읖^F<ijdE!D]ZCҔx;Hsޙ[QjG|*ߢϔ][И Վgd iNǡ wYoD#j3^sf,lNx!eh &}qEK̉q],m:<$ix k@rP&w.x5SvfXZk>Eq/T%6#L!h]H[O|SQZv=b"B%>0];t n}^8Mo*Rz¥ &EdtŬVi% (T>߄Е].1Ԟs \Vly7O>PxY]],:>:w}yrt#;s&:?xtC|Nn{7_Vdɟ㱭Ư[Xݲ*)V;2]o߭>D6YI2i3|; A/)R7DAZ c`9&Sq RHLmSiv,#>$"@ϮLoa7ظ!ngeATOFno42"h]sU$ rԕ$ v?%ӭ ;ujl!Y V5*܌71=:OW8Ĝ:l"[HaBN nK̤fRy+Tk/ =9*%ev軸Y fmccWf"\/KYYEff.G3C(eiz:9dXşL 'P3FP&U2y78<2!y|ӦOCSfk@y)f5ˍpJ)Y0%`[!KY7B َcMn),C(3:@J[j4#v-k?%-?XC9ϳ -@gaZOf<( pqY6 wq-?%g`Sq(+)e?K}H=^x_)oLC;AuQ4m) 5%FGM8zq 9v;I+1~e3\ GѺn FfhP@n=J.cDx7 <_İuUY6aSKxbI^~뺣P4[w5M]Ȍ&2TNl!zʝad5\R ؛'j:6e-f;ݜBu--UOPaZXA<͈@M-tyu; n־s.UY)xzR__D)Y\> mX'J(4ݓ{8%*> kz_p.&o_2zU۴]'>~@Eޮ#x)A-ZJ@mɀ '&‡{8sX-N>pЫ 4 :CSof AJΠ'WK2yΑwPEHlUٍ>ᒳ2!0r2~DNfo"($3 2PlPp{ CnD_"<4W(=WVap<E7VmJjlO+AQ1UYCDnزozTZcNHwMЭN2CI ls֘\"O13A$jW r4~mbBLn >Ox!%ӻ( W8ʧH0V T[[NIVp3,ﰠBD.H5PrP[M1:a08ݵw:p>TԱv>+qS\(5Y$Arz|22{[n5jœ&+TH<0Y&4 X .֍cj,(E`m4<&3'!DGvlLO3qWYZւV$˓ .i׹Y p^ ÍIۄ-q =q@շdzZf"$:_ +,x9A33,x߾~#>0]fh$o%ݽ(z`X =k̡WMp'4Aב6[MC&tHkŔC>:ŭ W/A$-kX-i>mj5I1T2"3$֘AN1 (Jow `zbZKmcH9J=1N^h_2/LOj>N7+2Ipyc. T{)4Go?9Ԝ8.y[f~};?4 $DG2A5~Q03op y)o{{|y{'w<ؗo ]02ͬ&sD, G32I#YݙꃫNm'+3ײMyO; 1dEMT8;CCʐp"/:rUbhc>K>N %\`ّ߳('0)%F!o@":-#tE/)D~wh4qQ'M=-:X]D%8@/kl*C[,Or_EJ'c>A-DѥOrO{f8ȧRx P%*ic]l%;x[Jp?i(h1Hg$[*2U2xl N ,8|oĽ?w]-Vp2l^DVڜ/V̛#ט9vsaɬG59ZN ]nR?9oW&v}Easldk,#X|k,fg=3O|G@O3 k '  i.@3@^e\̷Oxef'!5{Jmsݕ7u7݋U֓3 ;v̓cS3WL;UD5ޗB'd)Q 2Eo'czCp'bp%GqY6]{>2N{i-A3/Y!ʷ$0]3dJMbDuy1b~|MUaZ ,ᦰkM}LyOaةФ`Wts)v8ZH@' 5[5YrlF{S[otrxV?o3uXrc j!*>39];/Q𱐻"j#5_殪Le!Z@eIT9ξ */w}+/:sR~*FA2,!ڶFlTEMb& JS%r4s=1> {GT+89}_dv_*$e|d~EAwDi%i/&l?(C>ǘp;۠lsQȥPqyA ŭNxo}>,6bMH}nM; ` )grlSÉz2eh߭M<E~;U0̹u^0 r5qc)\Ėݝ@n̄]e {k-Ѣby69iGuU>1:gA䐨fJVg4-j%q XfwwCS>vC-Mh(USf] mmn8)h3] 8xTn;kwfO2""ktuQE`yK^ˁbKӆ挍xkY^R_԰^NJrWy"W9D.+!#贁S/⨠@"OUq#;buZzjWYNG%(!0&d8č$wӲkڲU:pBM#qdpD8F-Ð,BE6Hё$=䉏/wO|"vi:\a|c:Yh'8XA4*?}L](h>9LA ";74;2.WCrcyye8'R[5U9]رtK: HDgV<ZPNFq?֘gD5ilswcT֏oc aEpDO&JE$GTABG6t&cHғq C]ohv]y"RL枰 ;6.\/i_Ew@x9KiZzVz-~h q sG℠Hk)?/QBdK`9i3z>*v`Le6KvQFYbݛSA;P,={G$AL~_0Z.d ٸղ50f yJU[;We\s5X93ű.yds;r?.|MffzWd\ /pP\{e ̻YDyR #P~S}>cvJ35o1Y\h.w1 a|D AWٴAˍZ֟MK%FbXB v&`#{k/li ^ewS0/o gkr51OޓsɔǢTG>,OmOP7 @iF7i_[ "F~N|BbJ@NjԼ)w&J)zfʊ?sEGBdW2J^?Ê̑8U"M/QeͿY42FQ!,# `8¬.)Co6.Wfugoq?7gӶ2 Nı0"(" MFi*fݬ`*?i5VWS ~_$lI,$e>/(&dΰቫ_ k0eN$UDHǃxG:5'7 e(UFJN?*3-_ؠ[jTGd~5Q[[hjW'~о̘jY K^h2aL2"q]O]5t/{S@/b-[»9gݪ*8LD1AGk)z1&Fjg$SEg*uiLo_bİ#Sn󗂉at2; ڀidrzqN.EPa|8mg/(ΡǏ,ؽl@t~s\t[D??xeUmdmijO@XH>54m~R>" Nא(gBe];hrC7[΢rWDkavpX98It{TOcM,4'7\#u@bMol{s]. %FVpu~W74 NQ @ X.@4+vzgѼhj2Gpj?lʆmoY1P _SaЕT )P46u6&Bȯ|7&?Z1sAЖ"M0,L\LܹI& gl]ըR 7 ˫7O!kc*6*͘: "F*|grD lR|+'.5.9ݓ݋fkJ`tiaFUPxo0Z56dI@β>αvN[kNe3G͝P"?%ܛ:7f#Y2o\9 މvG)9zu5k&?"mOT*W4ڇ, ~{ck{0bhq)0`A;Ɠ !C Aڡ0k4!+ Iw.G(;)^V2$MEDb1Ʌq_҃j~+}/5цy(,,o-2JzsA#?5 Ȅ1[ٯIۋ\Sܚ,P!*azpzڤ|P6vT~kcTWD^|xd[\w?9kQJEH0(>V^tdl?` 2ci?k{ յض+@"n>ZD6DGP)#/#^*T18$$p9Φxe/'hbWuTN&#y#GnǭCgQZ dO%΅:2Uk{ w]I'AO?vlVxrxvzPRBP& O"̶QީG/%|qMm?1xB O8ۚ$j#7曖FV4/Q kdI+zU[Y-;N2!UN nO9۩)T^~\32X=q5S֢Ov}E7,3`3$]rakH arlM?\LA8Bm(@t6M -CZ|$ךr(3sVЉ1 tRk%ϟSG|d| Ci",v{jqa0 Z3D=EXǓoӚu/}-Lc"[7V6u! H#S8U{5l!7oh}( ~0"n"Ie:9ڨ|GsM;BbcZ jy{ NwE|eZ_~@\Oܢ r)\eO/9ܸST 'TpTZAz+Oue2g}a檥RQd6-$ |^f/56ëH,\8[L5!!X$Ę97s\l2Wnޘ} F $RͪF8@žaxyt3̆Β"r=2Mc?k@X` l{]X-`q_+i=0\ygm˥6"ZMAnO1)`o$jNyC܊# c_OUL`&`{RBsYaQ&&H0j f&< &ɢ5VF& ֪r[^.dFjǷgOu%[p`zVE  VS\FDpnolraE#2T9p~s ΢v;P 4xTvs>?fSjاs;YrWA3%uHfIͥ,e8 VՏ (Z@S5 Eԧzϸ^LP8a˼ ~-ːW&owʓA U~ Z~w MBZ$|u 2JzwVGsw nFvGgVK0?Q<+cPiQqCNsY$hV^yYAƅoX@x`yH ? Vç0j=0$>%2 .Ol( d掫 .bu@ /^5Gk60(/JovW+۩NU]htnMW9]=E@Ā5EE;0"0t.Q\vR 64:s0T 2{w󸺷 Qgg7s|u䤤<;3Ӱ#@֯ r}ZbqS Z#ODɨTcIHy\?djX\}8 -UIp/U dǦ\+6mQ)zlZ giut0~r k*j{yX{5}y$[5_L>(ț|D^7ӳq7)F{6 kOפqI$ ضc3c^n-SqFZ}ahJ`"ٻAa'iA!,.1<$J_œ!Ť+'YR s ۶I^bw:^^dtW/9E%: Wr1Xij$0;~%$>[-#-N 5eRW@|P3k_A1CYÙ3Lr=LzAI@s+"|24˕^lC~+Λ])l^:ʿ*i"1[@4G ǝ t+z!b\O\J⤭2m# ͨ! rXYԬ A}2=DXݐ ʹV>d a1!T2&)G3<{b"Һj2*Ҥ1 e{j[V7 \~ a$# } F4-F9~JUEKԅcTbk;(ۋCg5]u_!##mӷ IEukɕܢ9A#p;_Z\DXS cb (ȏch,h89SSZVr67r]w~}|ς׉[tX`_}_n˃ƊQuN}I.D꽺*r~pKre 3پ'c# j1mɏm)qN#*%)0"~@Y 9mp3I E(1eIG;0Wj0x{@ wj,hI#|~KܒKjkL]H(F#."-O㧬>!:]RuލC%6/ 1(|UAv:Fa%PQEWۘWhtM$ 4Wh'HenD}L)=`SEïlMƘQ+&`~# X+H]CξiV2SoYdz;"Rð.=$KM w0TA-_>as'Go)#=3<7ѺbxRfX锑 =\=<-=RS .+<8Oq1E3`@I2kPۯK;OÜEqXRO+Dt^;Z̞HE?څXyQPZDZvzrU-K Ka2@_ܱ$ ^][̠DMu"~Q*f3f\]q STo-.|-:3 {h Roq:Be7nlNnDؐbr26Zf) RY$ANM;L 2^U#peYaϢД@m]S0_z*]cK8LEgq5:5(ɝ@&$š2%Ȋ^SRSяpd I%d4n A ~3\HBk/4꧚ka24߆%]qumIKS & D5_cd!~4MΠ`WYmN Mh?z02tL)s#gHLDاn^jG!{ 3oR}>8iz [V]BʥLY)ÇMK>LK{U+!Oӎr{>#O;<΅ D9^5I:j5ektD',)U2%` 7qnj*|\Q=Tf[mmHǤͯ #|*|7Is{*mOͫ5sSʖO%xR7MsDe£Cj{ a~ϫX pvсQz1Xc%KFZD?kE.zEߥ3HY\bޅ浄s~!CX#HQFoUDXwg SA#$kT?C_m&%qz)k~GJKS݂ tGJI?g$Ui Ey)Oޫ`l#_O r\'qcDĦij\qT—`M@ Sns_kv x㑥//"œ+'?31rSvW-DݺNrY\m!:pmTT l(nn7}l /DwԶ;ΐnI &358IKEh-ԧi(k?L%.ph|J(='uOg zMoaV!U*j/MSyݔF2cҨVc=)fNeh61Β:j*:¼ dvF`2RfQVjcR!V詞=-rJ0V(x6%"?ԤI8%f@%CN3}p$>Q(7X qI%RrsT`UˍuK6o$ӂdc/*"W`BdMLW("e9 ެhMdiicθ!_}٣@&I($բ6ڊY͒xʳ" CQh3k E P(W`@8( &Nq a>E9t3L_ݴ^ƫNmI_+\ ^$~^czAi\xPHw7؛bQ' Ûm'憧EƽL-xW<=66D*?Jx40Z#᩼ GK1.H&LX'u/RC/4_ࡺ`}{Q>`>anJ!$#Wځ+h0 1ͯ"/ wZrG9R"ړ#4BM/[ы Aۉ{Id1=7?zeUWcUn-JW~ wedY;qk -TedSݡoS / AXC8+pGZ [QsL Kh2>w{ !̡?Q|}2$Nq$KC[ⓜ,a G!T`V[ Φ-Cǥ @Nro_a"Q9nڂ.@;@2B 3_H~osje)uk|;kmL%@nHGk ʼ QL-U.*1OElŗX} B|C?\rXZ:N8ASeF<xh9*cwHڛGe|Do  D34VOA AeQHCJSx?ԸUcf=[DIcvDޮ^,QW;mk !)Ф;xny=Cz1MHg;#j Σ/@w$A:]!5r^GUњT(Fsqksg#?#E1@_zM8JNzv7`2Cxpɶz $1If4* sD_$Qhr]ҍ] rzy*8\1% btbXd//ƒЬ "/uO׎frKSja`,7{:#xuvoP:e[Ҋ!o2xcCtJP}֣K@|~܄Dd.dJ FX%0K5qMS ^%O*587OFn5x.Q)ut%g6HaG/b }\:}Wh>Lq-aU[h>D upHBh jVP~EFvXuSPaG !ʋU& <"|Mz7ZsvП2\7Z)?r8B qU t˨ynۀ&m]ka *w 7PY I,i;fdgl I?gp[˯!g/B{MɃQYG"1\w;Mf`zҁt;O %,A]Z? MMo;ȥ2O_^jW%u\qqhB<,T=.UVD5=k4[ߕ)-HHp×tވ Arߢ|e5v^^9RCE[=P~q#Gr3"#'(Xe -1p(XW ٴFA'M~jfenD7+;Ry<B0Jn}x2Œ둃 U'cUt kV:>޹ͨ{31K! Quuy}[:sIEpeI@7_+3 3gђj!M<Owpv=}Ԍ} *|rC*^<,#7Adk7Z q'n'5 3pPlf? M7x_F?i\H~_\I}8?_i0 hwXl8E:f/J8oԾͱc(pX\VkTg Ɉ9DJ1HuH2[8zYJn].IQEx?ўiqej2SM DpV!/I@e;`=J 2OClY %ip~W؊\]qu߸DC2I3Uur0`If]qp[N +V~nJx+BыMxrNsWUp񪚤s=bk&ծn:-\_4YB!5)O@cwm4| '^ɬ <<v$~ tֶ{$9@*ZUtm ]7QEf>I8x9B}h>[|ʼn)+a(} *YmWxp,b2ʒ-פp|{6>_Ae@v&-7?teM8:ĨVM(Z0@`,p8%!u~mRne )o^PB RЫ^ψl6Ԧ(tvW-ΑjuJ}~X3EW2aD5S+DhjSFA=QW8?%]=P\5}17)l::T_?v>bJx7DUtDoIbfuH{xu*&6y啾̟;kDn>IA# N|*q/Qʰ ~-wGL197ߤs؝@s@!^2]($Q`@Hd5PU&?#R )+!y™G~JӰ]jJ!Q9д wMkH