SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 8!
B\Do_W8k > v?TĦ[陽R4A;kpm]BDQpg(GZh^x-%#gߚTw0[?@%~"&17sfANl #z&g)ہb6g>Ye.̲ tř۸$&wr-slEu0ɺfai4x8R[ҐIŔY೛$Lk8gm( XgT7F.mu?J|’RyHH|ȋX0I#b7Kz!ڽÜ֔  G֐Ó%+"i,3Zdn<>]#lo;za,n\\LVO),@Qʛ$]"OVY ?`ۢ[^zІ^4hex~7 o b7+cHӚ;BGu"| M|Ι2OqeAt%Q&&ཟ3,_E&uׄ,bYgCUJe78lO/v: ˫j툶0^ éyS;qK;nE2T l3Q1,zK$':e3. _rp__H tb/sc߼ڝ,{?lx0/n<Ƣ&.:vbfN(}u: eK\ W a%ME.!lMr.{8`݅:+_3+Ϗ[ӭޘrpUPU185֊"EMO`r [x/MƋ;3 Rqdum1j"E`aXC5GFf;#<:1'hT/RTbcQ*i/-H{ M@}pۦ\oXuv ҠdIbEAv봻]cX\(!lŨLu@aP],^7>[0^^fvٺm~h^~uܝoyWx n"Al`SJv%}\d\|1 4C1O`U+=hSKzꚳ)S 魷w^53Z?{e1.`y |m0+]\95)"MD= 4n'{fJLNq㳛W_@Kc,׀blmɪ+ؐRz/ !<% HQ#>y$+kiJ!qb3~x?*q0=okUNs.Ow/ vV`[#%EaBRWƈ?A`[AULZ\JHQjpx>pj#-$Km4n,ϛhɶ ҤHAMR>p _[0{'pjk <׭cLX{y%CUi&:ffh /4rfG3@eiQceRn 2Av@fFsSKǾ`CK7rpZr^ʁJ8?F\fgZ`uyQQC Kq<7):,_Uyɞ=NaN)E 5PVS-" )LVڎ t~8j ~EG9K+%+v/E CV5L:$&@#D^쎙u rw9uۥ`H˚Y'eX%K"n>6VCfp_T Z鈄FAĖv߿rUR]{kVJ!>Q/>6}2maa+̲olܝ@mh/1f(X*2)ќl3pOim+ ٞץv,`'XSe4m2PZ O S(#7"H?2Um G^8+VAxkG߃c,+(8n,a@yVU!عR=1U)VGsſY^CQ4P , 6%zGjB@DH9Ź+0֭tu\ `:eFƁ.(Z5z>`~rNd"S{\l+ⳊA{Djqs17i]nU(S3 eC4l []S1X6\ K"0 G/Of;,â-&@3'V2ͷHEBh1)r\9q00aQc9&_.fE7+gS=&j$jY6rf((a]dܰFkkf$8@l$]cf _vסX x\yu5X-Sw{m mu.}Ô'+s kl^u톛I$CzTfGފ7.,mU 릧a'"|*}>X f'SsV=}8妭Z {Ipwn<@_p (W8/zf#nљ Ci;"b5"S)zۥn 2*6-0dbjLrI I ٬ƫfMWBXQhaJ׽FUS1v/VJ&GY v{/pOT `< 儘xݓԴKDQd1w~Kn-=2 j#}`OÈ,+US$6̲GL5HJFi9-@;'UJnO0k7o|X;W$&8:~#enX  ! HOL-Proofs   C٭$Sx)[TjBILLSni>*ۀrʪ|AZJSJjus}hX0~PjJ`TqNoV;uNSKs\G.Fm-B KWiW[ Sp\:<劐-g)8M`ElS^\ IеlzPӚι]SΌUV63v*X=J-<UY\ /UpqrwXbK\CtFFGEnYXop Ң_kQ/B8(:K(ڙPk̴=ϵ&!dlɓr86e]7Xt{V7p[#"3ShAʢ(@e fJS1fv룣 JZԿWߔ4œydy@"PYnƐgk6:@K+ׯae9HN?e]Xk|!VSZĻ[‰]lnj'`5ܭFep.ŇzXJM/.cvb>O<[& qǑiqn;EF>&[ 2`5/Ag{Ej7l*M!{p נ6Dǘ R94抎TV[AkN{m1~` xШG U4e\kf0XxVbs5gfFEg03kk]cvV` J*UuxEn/j"0mLVʥx3PiY2@W\$gy/6CD6zj= aWTFDhkJd?D*cxܚCY%C=;y}HuB%Φ=)z?2G^=[z?<Xv#%\pXX2>h^!T Ѹ`ݻVhFyڟH߫e{6-P?1`2sQmSm?R O oT~fb1TNϏyLQr8԰" 9giZ{P/<$}O4yh_Z@ұ#V&0qk,!žDs|Ûͮ؉Q7"wnro8"|@p\I^%bW}`UFFJ'vhd >2۵9YU- /qa2 C7q~cY΅ Epa'Mv y[jo]S\?\JzdQHs^~7;MJJ)ЪOj(#)CU!`ʶ=:ȋ۸Ƭ̞Fqe,Z\,a53<ն$CLZq";Wq)KLaDa!%(:җ1үfr.N }՚Va5cЊ@0A`YzX97:T<p66P P.!Tp@xt^^DbK;_S2jñgYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!BgsS?6%dZ@^e0}P՟4< ĹlZ~ՙ&|0d구A%&Ѕ:V2'N5vju;g\{QNw0m&"z Al2#u #1*,}qdWNi&wkY/;MVocc9 5yIA3^q KuvkV2fwְj+"\Қv`:@M ]ʮ:!vf3oDIE JxwOXٯu g .xB-Y(֭\^csE{KF-ب1ýy@Eto%Z'bNJy1 \eH; rGr︳88/ܚub%_g[Ʌps~oty32!6 LcFB&Q8na0'lflȑFQ w+i^3|!BKb \\EyvZ ((AGP9|{!DK;.NE\E`(4U*s!ћ5s5_^OP^04@[2B"b4t_{ֺH<ŲQoJE∍|T6IkWLNrŇ}U)(& aCg18 X`tr2bG['ĶeT@.τА_S,%fNЋx,k|Mv"P1gT6jvmtYa{ I8tGa9XƋ9f_Y⣓ؖ6,(K{דCPLј7PJs Xj9}V@PM~g“Eu|CN-,$}2!5?JfuV9"*22L y0 ߴr %[mJ~ Sr-@)qB o_&V,71:PżdΏ Zl 0IMս|B1[0e0?s] p$Z8D)Xŀz1X0pMޏيH%'u%k,/x.6iYNa{z8Q.G! 2@7=oYiǝS3oI{f; &df<}!$cё]LhR)r^)wt wD:߱4sLnŊ. H%gⅦ33cjju 4hKluʌǁt))Һqޯ )m64[#ctR{OSHy2kХTcStl6 _H [Ԉ3򋚺6W+@p>C3<y:WL~oEc\JU<tMlm?#| 7dEoNfπjXU=Xt)nQwlś8.0>+]\Ikۀ;~lLwD|q?a]e$~@] .qM#qKKg%X,]ܳb,S*<%/my,>GnƉ|Ҿ9KeIq<V.V CsAz*;ޤzMa 2q_gYZ7zXZִF! {]ŗXi%>B "Pr}^>9]K UOCR7 9ޡڝ nO tt4.{sֺ!қOlNF}}.w"~~H5QQ' +$8Ӛum&AH-ހ}"zk}!ҚR/$]9)$.Gf2F[PɰdP'}M RZ9yQ$Qi2? L&JG+ dSnKoʈ<6?!U MïčvpncK~}^"|"k0#KJMg=߇GE('ePm@o7bVr}_њ`11@ 0({x=`:˿;[b8>O(taMG%=hfYT1N5D9tWP𱛱0xt}?⺡¿2 eKH& 0k?L& ɶ^0_u"?^U/{ֈD\JaX+0TkhGmc">z"z{LHû vS"cYKGj`T5'Ma _!v\]qa!+~ﰅ.KdVMɲe2_q)WZpO%)~| ΪAk9~IKe\gCGpoch GZChRmsQK3]m-{EyY+oO2JcCt!ic_ =Vloy${קlq&`4 Nɂ+e8Y A~S{wr4a*̟a[qO]B:@6'Sٓ,ìv7)]va'ÌV83I 6" F>CBH+juu,B=Rhw|y=ۈW(}ڒ3v`TdǨiG*,aof?`FuAtiRGs(3[d'9؎uB֫!Hu@ėak [R x>npz6 0(:r@y :w;ycKe+-y;3۴U85>W͜[Sj\tӉSp  s(ΫpUb#Ƶ&sEWm8׽ dbxVps ,Z s\Tf)eI+n4 w!&^/s7q>;™A;6/<ܤ|>wBЋ>c<୤+ӕFl8Y߽8 FA*@%\hjg󶺃tON25ėMac tr}$|XEuyލ3ZhR/QQFogN!|{w9|8[hԛhA\!_n{KwB #o廛taot=hpXOu#|(#H:<ԡJ=: |Mm6p(4ӢD+uN, !~t5BD;,u5GnJtH޿ǎs}lHg74@V<]Cs{̶SˇN K3GP'Kǵ!}Nd(@ٖiQ}%HJ*Q >IQYf9ҥM6?P;:1qcIraaMԖ>!ODpP]USviErFvWEʎv X*QG 5|Zw۞# <.T JM <~>qaO*DN s^h9rjdnEa]5m`<'rRuh%# Ka`k4g%;bAg2F?,g8q$ɛ ^nHGS2P9?%@7MVDW+ >FV[X`֛2CPO>XPG=TCD2A|C<wx:j˲oMm(n,l;3&vHT {8Se3©6:TwnTV"CxWpS=p~`:RsD-W 2n=-6%-/3G_/[,NH4ojq]Rgݽ;8of db<ݑ=#KpC"}3ߢ^}_V5 NSd噈¶Vɋ!|d8AdU/QIa_q=Nˍ&FLM8=4cK\“˿E:5K4Xgܭ7pKOxc$_jAa(PsZc{en06˲=;rES֘5#2Qw0RF2f[PBEj_/K"zy]bA&$@P'ktt~RЁ{ %ncVRdFQhmZ”bHsʼn/%}[):!P!Rp#e6pa<sC ީ.w;_Q)g);ݏDz jkm5#ӻЅ ؅y~kP?6GI+)Tb>u\ᝐvxoanlZ4"b54؞vHGo⠜D֟˦dC(׃ L%S0}gQrͤ 8sHZ`SW7lv}^oӼN7db?߲b,$MYj152m!"/mKJ8mopqT'tՠFP¬y! uv(6ȭ<} %J5OK&R:g-#q \e5 W#A8煙oϐXG+&zIVA7FIλ[K~7;tȪ7y f.kEěLOQMz$̍ 8>Ő@yHy *0:[h[hI.55.NA:q xZMP}64KPChHBÔ_fb HN!pC# ?| Aǎ/3>R4Oam:_|螹DK&*I뀨ejWF[f~"kz828MW릶uTDb`MfĬƁ'fEU{5a]'\5Dv8J|<@Lr-+&-Xl+tUhQ$G5 nJ$ͽr쏻FjB~"(wƑRBgܛ*@1~_ +Q˛+u/&E罫>x:_7ٓ};Af6Z[%$~0IaT)ʮ$Yn̾8X&MhEMutXoi/.HBM#ꛖG'] cnY hB\.?*{P0I;֞V$-(I>o*e*R7bS]ytU̻ۿlqd; 7ޡY&d[4}pSnOR,$hkڀV>!=X?]L Ճp<  :7#c9kΊr.B&\BVchYMue -<:?n P}.MS]G>}l[OLp¡Va=*wʯY8,C5Ĉ0t M\P]$!a?** y/̩e2%"(7W0~s Mt"B-3N=%{Ñ\wm-] WRC_ ^멣Ӳ,3 拃aq)zU r ꁚ]kp$)aB:ZT_Op|Fk0{K8>L< ;!JV0dʒЄd痗K9y&8-*7P>d/&A4aYsJ}sp2{.|/!¥qȅd|0[RY({;I_=MT*bS4 ?}a<O$Uy1uX$w@rjf毩teΈ\]77IG5ae-ā> G,(5Qf$R{bvSq#[87.RUBRkʿR?ep1*m ѡX`%rϵ /S2ny]! L%p$sNJ* 4iY%#'&6ũ{VYAoLWh.^i^Eup)6 *K$I{\d f--]HThfwSF[O*l8o${$D8~/X_vb /ntDC\jʌBwMYlDJ8l(Z8 /w#6N=z(ڇ)l3p,l]zz+jdvBӴ߼ T::!:bp W)#ӑFVazo,wJ߳XJܞ;t8[& SVH }%>g7$O^/rrc"m/ҼAsմ. )QT"(vFp]h).̄j<945g;k!#v7QjGghr}Nz_6nŧ~y_AY+9"[YByD$W{ x#@ׯڹt4<ĴR@ [&f4K֍E*>JX, )ӆ'xSnz XtX rĉ,I^0BO)%wwcH8թwO5B(kHů~Nn4C5PhGx"_y^Q\GHR DEZAW.$cG,V*"ctsw LV qLN:YU!l9)W+>՚2wZmswە>m@yߐ*~pᶂ*`Pd/}mXh>l7mjD(pП@KN@5 EB-Bbxq,I}P?:sLuD,#yl4,+ `@km勌zMFrRݟ_cCiWL|nϼ-< #[sғln8iye[h59qJMx?sFVź\فHpfZFOBWR'^3Lqr-m*@N!yӔ$ğP"c,cɋ':vb>OtTZ0^]CcXX%m 6U%iTO!iyQ@[PÁ!Rg(V;}fJmOzy.P>W-Ѭ籀c(L@?<ä-,6p-S9:L܈δ~yy8qiPZ4tvH8~;mj hW26 8%X:cÃ+zZTK͓1p)xظ̲:f=z;TȘn 0ʹ7?cuPy:P"`hCD\7tn?7G$ETJdͰ߮ߦ<ت8q^^Ddgwo[9rc)C"!?N#NfS^ZϪ,X~SW3tr9Î]i>:޻qPxQKN{]傫-v@#pJV"P4Ux*"l!k8}8| u6*k)Blbl1y:c֎$^N-*O>Shrgk<zल!mf8@ZXXOkQ%3qDĨ㨫-دB<ݺش3'*:fȶ&e}8}K$oZd ɤYV8[ ,ک>M[V\tpPyIJ1[֏诘'1v,0f 9)Ұͤ|XyŒ|sjs+ԯTʋjͺI.M:ݰ@TMVto5-&pn}B{xF.` n#+ ӎ`Iys5[ Ts 3G EKVؼy>OBe3ZZ*y=2/12:*x(1/1"J.= uރ nV/ΨRh^=LܟߕJH9J۞)PN pAu58nѴ 'Y!禼}7 bD0z8WcKH؟Id,An 㕊|\D 6/QhЃjmسMQV%? v BC0x%7*tat2EK>XxY4 o%73wv ف3=֞e51cW9QȂ GULf<c'Ҏ_}K7%dsz]?lx]APDIU_RVrA-dLbR>YvۀT3U_x=f GUGr6+}CaʟB'*9 l]eQ * _ڬ_ &/L&yw?K xtXuL3NwHOߑcn*deE}*W0 ̅Umtm`(-0TN:d* [nϖ^wf3T~)Re̓3E6&,8:7>ʔшg1Ex#SU=fZ!Pk) MSDmkx`i>&8 26|C:v}pѸr;H0# BOI~DScAvɡ(/H UXڸ~MȤeZ Ґ} 4.f$`N_$6)$ ~_Ƭگ\: ev_pΘ;g١[_ Ia5k 0vf)jHÀt#!A!6ʐDMx$?NV'W!6*H5W1 ѣ$r録?67P]le"uN|(āPG(qЯ{"63.~&YCCAXKߎ`Cv ^+Mt M L>@(3Qj. G`AYpګIVkGy,hU]?a5+\ٕ?;7!2ђ&'zt3` QB]wxFZu2~a~Rl^IA5 Mk;JlSTs|f PeL2E3'zwVQ7pxx,4]Q} [Wd?*w`}; lDvڽiFv.ӿIš[aVJ@k.q*?hR!N/eˠu!q$o }U.]^nO_;N0n!G;Ѱ5F虁$ZZ#F .Sñ⪃2`R0rR(&eͶ:h[Fwєia|-$4YmNY Q|/K _W>CrNGU@٥]ڀ8g y;v晖C+E gv?mIn-Ӟ8'h344rRE#RgD%-XE %m1[^w/(e W]!?s(7)?e;|V"- ,jԌZ#NI?i<92 ∨5H^Kd+^nD]qrncNy5J]Q:]Ygxe2ICM̍vLU=na<ޟD ;vD%H'9=btfݫ9w7F,~1TA~t́5@OS=6>3O_%~2kvmviCm>MnDY `JI[`H!OLIqeȧLTfx~ -|r tnDdJJzjO6K8~#mץ$ EUʋ72GT#*i@ ޴R WEð]^s5RÕ{aox>˞FNX<3?x4lF R}If!]qExm|~0xȅx)w_6"u@#Vx'‘nR+r3Ao $!?ro>qyl:emجDPH[FYuwZ, M@#2{MFA.5|"6ܯve/ȱNU@8?qx(U͕IKr'W"FP~G^B3 ^}jVYG xĹ_M!8j]ShiC!Z7q[`iJ؁ \:;ϱ1&@(Ǿ4ue LZ*\|}7*B'ů{X2!˒q_jcNv3`Slp'pv4N|11<ȫjp38tHq\I+YS( n_"]H(~(<b ro" jV]bc4 ${d\c 7*9⠫翛o(3 ˳Su9ǖmxit-ٳ <78%E+vm+1s_>, @"Bnʴpѩ:t @>+S>dC;#"~>6igr]-0@zYu37}1  I9!/dDLO~hH yF(^ݯ5z#&GAegtŚ:j.&!6p7͠Bf-iR^K..{+ qY !,)_(w)ΜO>Q9>(ƪAigSb!1wyKQ>ҫ#;ӫ]FGMY4V 2qqy4DQ*gL6M.ur:q k^ŸLr-țs%Ab6E#1ch4 i5yM4ΎА yI[H>zٴ3dQ%wD3(S?+[1͔Sj&\R&YKEI` oW6.ay D;Bi[G޴2cGa6-{qKgdٴꑰ*w\C[B8à+5\*~w.}xB+w&N,7 3H85yt2PWw'8݅2(8o1sf bO(#kf &joe}+e)XXkwYRA\"@}v6HJK9xQ4#9D6r,nCcN&;_V .B*go-6qfKJB<G" y?e⤆|Y ċA2 ,~+=HRmIڜi1!, 1W_זQF-6PqмCCϏ7hE;qϋH%@z>i%40Bz\blnQ'xt'v/3KHN`צAU  nU*7&Z)MKhdM)˚DX\ϋTr fqR;EC.Ư=^cK1|0L\mq @ӨC% k` lCmFgz h*t4X̲N5UիW2}|3O$^& y r r5%'季Gr;;^80x=CpM3дL,b*iW[ De0Lr{3xP0"F1tJ yeDV{=Wo_1#\dFhbEJ\RHC+ŞP ']FPY[-4+E-BbШsUhtF2dCXg_Eۉ8g?RTraOWa{N} pnH99o1:ۚzFXB0}0 š(eݰ'8+T/N\ m@/Is4mĜ*I)mWB4 SIi.? ]мƇkHҜ]( w"8ٷ3{wӂ%0ljֻa'}pԜ,Lc6 hzvI"c8 f|Q}Q"+JSÉH $b _B xOP7RpHΜzgd5/\U>Y_fLO0$m!)_?07= )M䭨/DrofiK(i|W4Nt{}JpT2& V'цٙPOB:FnYKS_2,[dxL=,'lx"o%Ptu*HA6; { $Yip ["28åp;!LxrSRTR.%Fny-UAVljS9^8.d\M$t]S_|m^0 $皻I ^Hv{"W*EQy 8Gtr̂L<HZv[,]A=WڱA:ء{7O\-A64be_ ߲%|yey 8FXϨ<;^`1.>UEtд%rۼOX \?Dn-kףÓ1-R>5WFef("܄l #Y jy5]}Cr̔b_3Ʒ;]9S!FdYIU-:X&59r0'Utd ptE\.4-]'-G^Y\ۆa+ @ku Z/28e= =o+_t cjڜoRڧkC^m-V*N!4x} s(Fd%>Ǝ^|;T0`b{1<񼳑>[Nh儧He+%6T>ޮ}"< 2SOP;a4EKV7HVb߰RP6Fmĸ(<άL_7b]QO,G" _/Hϑ./!RA}J?.a C7Jn-4I!k8nл]˯RB\/cˣ'W1tཽ#X- EF&<\VbpJ"'}Uʢf Bi%u֊j?IVV`BG=kAyTYQ+nF,fpf|E- Y Z[TLǾ&1m{@Q:L$Iu6"JΡ=?ﮩ" (~J@c$~يsV*~-c/h?݃V^ߡ[ȇnB oXEj\;'EW~^Yn>$N {,NVrf ߯d8:jR08AmAcGwA4q]n>Fe3L bns4[bo<36øS ..phȌq43<jW\AJ;vbo}ֵjU,9lNP(+'} fB o#/1Agr',NtLM L}ociV +5͉P-!Ŝ1xM"_j TKA}@lX+` y^?uSeyq v:St+ism1zu;`xbxTrbY*<;:]݌L»P%0@r`R3mQ>+e> \tXSj7i'沸MN1IԱ{UڠѬ <G7]yYlD+Хp(zͩQYx.(uKvnu6a@F~P3g#4ZQ`3Mص@"{v>"1v47΢IkoeK?΀0ٸ\s#),U~M#>yuB.K,]PGbI5qZjpb 9"!v'z`Hn[~uጫMH?urxqUj6O!d?'nruSFm(LZ 1>@dAg*ܣ #dѾbvNh4gn06wbTֽ3:%'HE& M%M2;ŝ4t ! TDS==UJ)/({/8MOLS$j{Y=(AZ>@)ٹK ,~[>+sg\r/7,J^Om KŤ{X&3pͤ֞,C\8% |ShtBH hh  R95/v($;szSr3p0"2Z&D'Nz@Τqs^b8j*\M|JVCYBa/[(^{M[Ǒ\\7nc3BL(`T|Dz\v[.C3$@RQgc3*M|3[%JHH?r Cr j#K &:q&X~>=ev1GH">X46]Dֺ`*.3aq?YE!*kW k&0B }3#9N:c;3x+=_neو}o8=O"R&#ۓ׶00nᄯuxF=Q= ;52Cũ8bbQ.t^cxzMVF44Aܔ]ϧ /)8spaѾF>3Aga[Vt]n/\vkNC&^w6mΌ9;ɰ|yUm pACܦ[]aa`%Sz0 0sz@oɬ=%O \@07)n{ s=h]!J{-#7m 􈪾腼ԁ4TpO r҈T`uS-R8$z)Lgxv%v>͏ )oo˦Ƶ 45ypXn͌~CI5*$ g!څMb@a 'Re(^j-5řc]ybC&M?,ϳLߣ6J (^jbLDM h:Nv-GKfs$C* ^HA tLbB|8C ڬqf{ǥoL >AY|TW+=,Ss˜^,jIp4vm;x;}!fۺ~2Z[N WO/l] 9[ōM;Z]#?h:H;ljFf,p4enS:)M`՝ {Kwm6ΠOOQ&[wj&9µz/22Zv(䬸>5!6!N³i9BZYJnt{0m߱j74G栂iRQ 2Bx # Q\ .irs ޯ P_8GJ_J*($'3#2-s\{YQ_qx 뱶p=&Xz3OETnDVB̽?h5Gd*p/]ͳ$" _?: =XbRp / HbO'\y1?pLka^ E:;+\,BDGU-nm!zHUF@Lu;m9Z(۳rX-h&C+?0դs+)w=Sloi %!i}< qr֋@AIPX&˵Uh3WDtQ̾ejCX"̧)`:`%QtWdOd(*Jbˑ*֭W^P?,Ëg38S~ =DClZy Hi6B,.=mRX3oỵeם-chj@3;Xƒ8v޾8PLلp kZaLnle3[äSN2Ý<U[JO9QZIY\nNTkOޅv.kFMIiś{["jFGpD} 6iuT@Czr.n{f`b c4Ĕ @s@5) UeNkj&y3#%9J:q0hͱ¿r>fmx{aOz s]37;ZLVgT_?S焛cTt<֨kcTb/G^{7rr;eQC-pbG3≩jOIjޔ$9|)Л3 i;s}i?; mPD| G̰EzkgDat6y5X^@ 1tȽ%a3z[ $ex{քE|QC]>1?(cfKB~ #`k J(^iT@bm4OAI-p \b,?sqBcf=,d|ݹ^*KHG0k?IY˝3TԚ\AQ#zDރP(M@њtp><WmDJ@ѱU׶ɟ3Q Iz7:2zi&=G0x yN=M\w`Q9k-e驈@hPu0TP"ch!˴Ri[PLr Ĺh{8M+Z_f9^;P{m$,0[ meSt XS2 JR7 }>)xhoUxDxE~ "%YAtSݛT{\-Q)`(s6n=CZ5v za7Ku0gKgFʌwt d"P6'n O.(yfIp;= )6= 0jIC!P8 tT&C^Lp7 IQ150죗씩{$ZlkScD[xy2:eI[bfi)eM@w۶o7.6~bufeW@=,bFk2Wvwb4b_q!r= N)DO H."~dBu͢4(JJ+ү'ӭH-Ky% +5*^&,3ad7#EKc*H6,t9ץ; U`Mr,E`P)^NuGrH5/N{F0"}cv8b}]z*zfZPZMv#z]%(95'IQpEyc#~: *B56u{a3BW,.!ME|}5/N8[qI)e;MjEnߓR7WC/p"d=U;` V~#f>UmCKTbIfj؜fUU8|95:[gP P<*Oi=:9;E  ݺQ"J9ϧO}C$`SG>[C/ډBSoFG+Y8P-@2 r}Z},5Mw2Mܐ!]ZFl-!@1p(qNjk@֜n3% 87#[Dj N 5rtV҄by'O']3GO2INw^W/Ј[C&gWOڿW{Z`}?1r/ɘabJ;N[JZغԊxXsS=ڸ&ѷZteB>\S# o)z_J6dĢTKZ4K]}T0 dSx|t,/]D"c@?5aVIAX߶!#J`Y $ݙs}w_MU7>e e2/-0g|vS [ ⰲcCP@Roe0Wo+}PW̎%d{&-d10PLTAJ-uRDIIv9G*/DчHF Xi4{u豴W"3Γe(n Pya:XLS|~Ս&B·6,'PZpl+U{(AB7QIF",;lʧrkE5U)G 6ՃAJd7vce^Y?[AM;j~Ma_z=Q3U,o6#}o4YtUoO=6TWnAdb:AӅFݧ@!V^sګ)h::J(0ڋ!LmtC'E&Y^:bZoQÙD7;w֢)"<9Y^|Ahqk'ǶO:窿_>q|M֝]I[&scr[bxDQ3Ҍc]OPn#S9Lv9 L]|r`u1C|ZT=Lp f 4Gm 1J%bߎ*'UO.w瀚My6t朢"j>{ / r^.inwZ|]iU }试ыx6;W"pәhuΓEǺx8!OXz)3\d Ș;)5jl T pS^E -v=N=nT-zi*0mF9gyK?C㐉) l=ĕXCw%@ZG\nu*>8wċ3ǃO 1N1 Q ׍>;"iln?, b|;ή4䌃'u]C,uYlO~.$)" /RMLXd޵κX۠y{ۊ Gj-,VCYZ^`P4%$#.% qcTW:w 'i AcJt fJ߱vEoJ9Pi( {+{&@m徬GZO::M w1N-q,ORskCs B՗)譟yL8??od[>0OFZXh܎#Eߊwx ʪaOY.ɐ ؽky D|ːf*Rt]#0Xd[znt2 ՃЎإb1dJ愃gn w=ku~"$Ձ Tt%MkhL"?OF.Z$mVã<"w+5UH]]ZȢ= 9oa#$Fݭ#nv1G]σJGL6`Ք5z l[d5|B: VWP቏LĭJō}hpz {?J0Nľs0k\ m{]c;apz_ L^5[GcWv1q CthP4;+ A>/GS]͗\k6d-YŗLwI,`S:7<Eک,y}d]k U&ygu.;{3k:ʀnevC!r^]3V+*&p%_l7@\vBU^X[|p7FUٹ?AEi~OZ!o|@|Pyғ!3Hyw3_Γ<H1gPr:VtGVkvģ#4t^0casDIrC4k#CĀ5 \8zh÷ QwO' _88RRK5M OE}W.…6{s4vϫ!f"Sx1qm:tF۠RCs aRWe>QsvCMa1zr~23JMf0jFE` WuMꨋK(Rt+t(ĢVP`f=7>I`Dp ^_eW2?9jWZq|9;*wts ^'"'F, Nny>;O]>!CNvkWWKDX+ j.:W5NvAo F:&|@߄O#Ie  j:WDc$TyQO"H?ɯ6ƈ 17#8:휔M4D2qZ`&7Q /Kƪr%tXW*zd-݉#d, Z>"/>B+\IIA"9+"Ȱ+gqL&O#yffm/ˌ"c|~jY3-"ʹN4BٷBrIƉ7|yMtkhDJG9>)(qjJ*u/k\6θϥyNbyoW\jtWJ̵^":~CA-j?;nmn@D"h:Xc M&;嘤\B_K@ ͓"A$+zVĐ_@7ѾMpσ΍2K$V~e`jg>zr %z8x't/6[Ym j;DlXTJs@VF1{[. ~25zWLҢ_h =86m ipEVPR?C}]ҊN\V]k{?6pzɩ[t H,M U)]++[g[x¦/yH;}:rRJ&n`n5Lr| #]g͢],K:0ʅ.auAa5mp|"_lm1_˧`Z3SzI\c b7-k&H?^ Ɍ*+Q% !*rS̞zI+h}:ۧsCa_1,TE6WĀg%ש)t^CB2gt="H<(t=MN3$5!p'_Jԟ*Bf=p,E/f7yUuN\4x,=j|nExA2MAf=js-}Yh?0kGqGY|DAHHgLy,,,Ź`W|>sSSiS~6JdsbϛkGkу~xTRDmC% !]@V)x#潈*qP1[MY.%{a]^8 )[ꃁx7! J<[ 1ehpBִkCG];F,&c8 E # ${4'ՎӠqrŤ@6&|[y뉟Rdtv[$!,I3p sD9߼5'p{{q\=󋔞u-ؽz(\ e^Sx$+vP2aS)wК'OڄA |ǯ`CMÝj1Mٙȵ4u}{3<>2Nœ3Dv+˳1u)ANVLw%[Eip/-$9d[%G.rIibAG+́*_l-\ӝ&CD&J\qieG*+(},PΗsBW̒gAǙUOޞv)rSGb׊}=-mK}1 ؙUmń-]iqc[vIW?c3OBK<଍ӧ B9(Kf>6x^c3cU:#cLjmb7ytÌs ਵo!ntr̟s0In WuS 6\SS|P`.y\8QyX.S3#p/*lAŐLOQ )/}J]cOOv%z?cܓ'o¬&G8HXokaL"]*&:-=UJְGLDk<߻;\#b lOWjoG"n6d.1 c-T_sW nĺ? ?m;\ϐgvߧ ӻcw/ө=,K_ RoٵR^jqg`I׮\T?i§C uMx`^q8^jǭpE]܅kڞK*¿9{ Fi'?pvoa7Kݣ*Q7whgUP/9 º%h(n[rS*_v#ghh>cD/2$N}PveCǨ{S~SW?9(pk& zM_I:eE(mx4 z1lZhY/Tv]Oixu-S*Tk'h3:ˤNțƿmBmt͞-X5$w?m&BKcvOcɴK\S¸P`z7E2W{TMR9CwՉ{̇!-? I쿪GePz-ͥ j'AgV&# O@/ OR2uK5;.u*.94}NN\"*P*BeMԔ 9*kMPc 8D \7kr캈j޸z L~Үvb'NwjPa"/CM