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 4!$ ]]]HOL-Proofs:threads=6elapsed=566.263cpu=1407.592gc=221.552factor=2.497zXZִF! W]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZWӗ0Bdh{򿒜ήfZSc氻P8X1=7fĢŕנn3JK1F~,B-M+}ю"&Ua3CN1<:>q(;~ o}y> ԙܘӣ ƌǀJӔïFvtLzR\_%*sb3[^Ӽpʫ+l=,% 9g-9a(!K\} sx3/qIQ  ! HOL-Proofs  P_#~{93~yy٩6#9 }CJ:11i٢Z-}f;FalR-_ϬqM &ʥE0C,y?jj#dۺx* k\xFPpMOs!JZ>E";3ҡm5ȳh7f?gPpt;טzz,P[SEoM^cPE]X߱>%8*1)7 JW~cou`v>E >IJaA@!>>gz7 HxKu *JL &?'=΂s"2Ĺ.6[żf8/Lj2ONH f /;>UZ ]JšY6IZb8 ͟?*Fl")yR7^0.lzx*n 綹OTòm<}c׻Yh)Urÿ-#+ WCJG{2I GϚ 1`px$|mMoc\(Ld῝++'*`YY%n:d@qIqSXwFӛ߀Bc<'o鮎B_? Ia*p\ t2]d;lTteBFeЦK$4ArxmI\ELM9L3/ 1i`$-$2 [y⿥S _2l9$|A?6H ).`Xu:F)75* 9*AuܷaNj.R ׺X!P^g>MB b)nPxLw&@[ p@E> 3}*AG*[He^Z;#kBk0muJ2{/k0b&FymQ"&z@+ u3mڑ` \nY=vuF`OC#NBv| c v.EjG7vX,H>aiCj уfH5Xs[1QY0hc*GG=5:.!%X O.So١Y\R˥DQM@0b#FVVLj?,U ޕ:@Pl26 ?TOy,pK1&OɜFoZe\uNʀꨟ׃fgsdc%he&w$$ T֢ +T05Ȗ)p+l_G$68\ A*6{+0u>F0Q1pMް_huED;jXF |IyPPy\sLڊ[s ,Wxx|Z$5& |lR[kF0IAǒbz7-<=.)hg2We߫nbM3= '^E՗G(4RC[Ld#S =>=#u% |߱T&Pm>c/hdqV80H?R<ՐF:E JN.-N1ֶ'an8ee`FgҤK_a.sP61YfCW|~fN+8WvU}!n)J*]( 4̥-"T3J3)GT`@{Ǻ=U~ǧ햪SVeP#(lBp-Qp)C<{0i5[?|=| )MTMlD/I#yqN=n1v Kr4jEDAٱ`ӂ,Ԝ!+=UW]jX[M%LrrwM#u^0COک .7Eݪx߯1n-j9KϪZd #OrtwCH몏q%Ed* C~ 7=0CA,jb?2\+&@ %Dߩv8_nSW,f:gZ(uBhq !QG`>z(,uMi9IO/4!Xok#a'Ojo%();~cj7|KjgS)ĿTroT@Dr 5_fƘ8yDPPSFDyzƛ߻CSw1|IU6Q(o>p>]#[rjRϵSb]d^ ]ֶJ]`$ΜF,:,#)Q0p!mΊMsk՚mF'Ag6{ +0ݿw*!y 6j)K@P@3W%*Ga\2X fMxY&S%=SܻB0/1[ȣ9g y`'k-=!&ut? [y 'F +0-uyZFGG`r65\G UKE]{O:pPc=$'Rps˴Zbav.bLעgރ/,5kBSқN#A|=:[hR@h+MB`ڝ~|4X ~99X7{azNC8x˗R"  J#wc2iƀٞUewynce8bTjHj[E;C1&r#CA'p[9!U"}[;"nB.*1ry^;ڎ9|#wf9D^ fdq>a|- <-‹GCJs$^(3XyG*Cwb; _,jcB@Ff+-0S$Z] Cr2!*(S,]W)=y$:.x$EY[z|'(#!Ҹ]L.u@otDږ31igr]Qo`P^Zb^P_=|W;y/8gS&4 `?(1 ^/-TT Քk⹷oyR&_*Pf+\$$Bp2яd\'m׳֋|T(L `gmxLg߅+\ylVˢ i@[J1 _}6ayKa8H6&uƄJ³_zJ\HꈸM^x99؁ý2x U/ftt9w,Śqc>"Yz®2z+.ϳX9*&:*-ŻCk uN(ej|icO:\tݦ™$wcPBF=؜x|O kұ: jX쁩|RJKyjjW>VdTZ>L15Q0(nIjDw=QNJ覝Ho ś{BTZjd-Ll$܍._ӆ>P G!]țDPv^LJƄP>f];,NM6.[ާpE"h.fD4B~JPQ/-wO@TBV%BI;G>oƼ_8H CA|ij8~+Xy-V)>m+1o-. <ŅuaN@ s}JM!1At.X@ް&|7.$e>"%M\zh'qnER2%+f.dWs Gc$4*),gR gdԨLN2DzhT'$.&'sf[҉ x;x/P,aE+/^ji* ? aX_nEc+ՓDwTb8d+|+Y3#h/tQO |fcVJ0ϹʮW~OӖ B(!n) f_IO=^T\ }ο4`}G}e0mٲPg$^5ҒL?Cj׽ rhK%C KCjR qCeD:fj.ۇtt%$+3mA R!B :6FF7>bJj<i{xҶ8 B`@ϾT+*GPXWnK^z~Ǜ-1E0V~kY=8kGZWHSs895sߍ '9ni)>`LK8 LUæQMP>O cTmٟa]KGӄlh[g]a|x, ࢖m ˔^^WAss}vJ>ճxz\"g[ƶ#S7W&AKi4,zv|gfFDf> m 1fw%[H^~y3z#yiFOf5 q}>}Ԑ-؜eVgYZ7zXZִF! _]ŗXiɟ29aoʼz[%U>EM!!BKBW.X]V;QȐK7vh&d}p,ny=̋ j(XJt{s$-ov ,Bbۢa5#~߻bwmvpjQHv r't_qy U^Ct{[XR<7( Z+qpJ+Z{f+%~u99S&' ZMzÑY"Yetâ̽ze0au3\`΀3躀({nqOdqNl+68#hoo? $b~B*RokgR.N,݆,_A< sLDYFc[DO7tJLx' $GO>'\!kCKb/M5ONOrǍC. GkwTN SpRuu3pn+p$ !O}g+R[ !qqm JY&V>~"?| lրUD@ރ=:2Yu 2]Ld;ewޙFu4d9$rf=|D]vK-9S9keA t>s\.,rFf]]K}D{A%QT$scW(gpf#ܕ:#gzGc WѳyEK6C$t?ѲvFoa4GoEb>F\EVB+epk> BԌz7[s1-[}I?2 2>9GgYZ7zXZִF! Úr ]ŗXi%>roGc'9|l((r"O]9%6 ;b w+q侣pl&TL҃}; ES3xGJ@54⮝vAIƓ,/0M^Yp/E?7G|D4w@!*L? }jBߨ9d`.y]_ YFdMX==KDvrVy^;{EY-UM}qэ)lDb&荵 2s}>c}ckc|1>u 7hٳs3/r ]~%ѧzg|rRTBw[^&G$>-@ҊsNZ`Tz뭻8WrTsXŨ(Z/J~ptCi,fSf+M:#ƄÐ"D.ES \z 2A9q/F&>^1\м(Ӫsʅǁf4O@ Ѐ缕%źHNm7E(&piAXAb:M^>W c[4d|ZDpoDI.0-b s\L/ƨVI}n=&9aY֓+_R ]SW~#5OCɉ1TlEy(,@eʕ51wlq+cnHaVB[|Fzg%r \"X6ެ͹` ϧy lk- ՟yfTo8C~DG5Adx hRNcod Ύm>:iYpdc-\hy/v^]ǰ&UQRjIJ2cD(׍CVR O:rjYhk( :nojXW9Q"u༠Ã|j34ľ}+ˢ2-gb/59S aAʨhA%@L$Q/-7س0I \SQ5F\SZ^/co!ۮk^ǗFُi{4[ Fiof_:n?}#,Iʨ""D2FrbutpQX[T_rПYx;O{(ȁsMnYEvV'XGgdvUdQbjy ZVNإ^cŝ:mLvtV'.K>{s@5M}jmjHi#=+!)xI=6y9 -KtgێMTξkQ hn N}1ՖJs4)I+_~hl!I>|zߊ^-%;Ķaa9;׸C$2 (+r}t|$5(ȵ{Ź7J)*I0p`u(cz(Cgdi~]c5[ž~`8ӛPa@ is x=M;؆ٱ~Xt&oP#3+)w%5MPyîo8A(0QH|4//SlVvȂ0Scf$x7Go#nkV2k6)8-D=@Ϛ ,C88O'0܏B#?#/{rޓ$:]}jZCgq~st $2_knCy.I@(. ̓/fڛ,,p!GJ֍KBQ^#B;33!b96nsXvlޕ[~mP~vш!DX.wI5J:O֎20yveЃKx mǙk.I  "a|!xX3s=Ma$4&C#(E"WU}rHZu0 /M>\{aK*ZH:TTJ^*u8C[)8H!j/B#? M RJnx <l:|E'D-.z V ::bKy/F96>pq z= ӷ M#0i+|v1<6k[Gb5i{+rH-L4S&$,SuX>c4p;0e/m9lޑh#IiFtJq)xDag$: RJ;:\Hu ?߷@͜^ WdevLI=~jT1[jr@2-RA> |!~:*eY0ಛ mƤDTH n Q#fƹ_ٰ/@jEl ݷ%>)0jHF7leuш{,ʿ}o3{s$Jě*$8kC.AK}(hs.^gjln@Eƺ%7Kjtwf'ltl\Pyv:qVUT ç>:m2$EEJXֶ։[WP$v4V[+RN*]L'x#out^V=JF BϐS!u{j10,r3PcAҬLX 7qHuV2Unwt JhV ő2<\';h`;gUMVjvpW&rJOrջ0z~?*ETR}6Qq:+>7d6NFAV+n@7"ԫU,߷-r2UWl&Kkݤ%"KS# p.H9,E 塙`E :7;^.V'{dT{a9gklI/H{|(Z'D}n@(j3\YP<S|l ;vb]]kiݡ8Z'=ggWBK.oUxWP@7>)!A.vYt+qRT jK~m4w{ C;91cdpFs1婃g

4aLo΍83 N@ġ&Qv%QxEjQSmEPnY,)vؘWv&|e:Ԇ>,XOX<$P&sOvu%8ܳjn@o:l\!vەaL||޻`d \$OvꮝiSgpW4)3.ݥ I gF &g6C"vŹg^?]a.JmmA[2YY6Y߾nE%sIɩ8WPa*cZM5>*GX3l P͘"A56JꙖ9 HF#g9v8;4e8Pyѧw''n2y<Ɲ`v~8څN(e'\eI / u z*~TJ\%Z28PA#f Ā~?p-U9E6N7;*ÎB4; 0bR#S۟F5d=* R$]gDhH4: K`l Y,(^$MmT :!Ľ}$P 3L7PMRX?bB;ȶ2nЌ$f\j~az%mTfp%rEÂq7N6D~-i?zxLnk{261M5u L3/Y0ƢWpЪ$Wç,~'8MA %U4ρvΝ1`NAq0&& i+j&#Ie*Ȗ?0#4ZhkPHm z>F)j;]M)gF*([᱃%(s+# VЅ Y2aj† ^G8% Sk~tr!}X{Gѡ50E(y4tGEա6hU?o;uC?mMԑ*:^u U)566-jPi-tu4SI2g L9vtRW l"js0|I_Z |Pe@EPgoB!eO! dɳFs1iz`lc&AyclH @za2* TƉ6'eߤd\`߾]ي&>#d%LHP;Զ#G* k ieš&"o.2n2wx#J8n,)v%:6tk VGTB4(hm`, HH}}{=6 s8dq8){ ~9溇Gq\*U"&ׇoD4pz - 6&)pyHj.>mBubK;w^w"NQTkW ܋~Tkw2/+s!UJovb}‹)TAUH$B_mּN6*6LekpY-kUҕ^Sl=`UЃa=5Q ) O 4н9bBOWy"Uw'&h=,p1m ̖V,Zu[Zq_һƉu2 Ɔߓt`]m E 8&kZ"u xu`Ֆ~-$0P@O: hyCCԡ`6;ExyÈ 'ڕL.N̦ݡͽ>b~c"xDVFR &U rGb`X]̏"M 12M6la}Q9>XG?|8LcZ)} uʂ44X8 xH/*ӛəݎi #*Y#שp}Fcc/m+|(Z4?Sxk\-Zԃz:^A1*^gBjr{>6 ! 8]S8ZhaAz>{.ѣjc\;=_&3$gR9RWM_Ln4iGe@~Hj N JR (g7qfUSm? |MG|Fa±$u/cz^_0Srg|rxiE+[V ꤃EDAUDQ!u#l̶D51'#T;VaE x}ҪNaJTj Uw;V(!*X*1V {[S8ŕhVpM6rEr^]uH:0^ kYTҭ`(F-*}&Hy~ggYA 1d@2Z'oKcc<Ѽ[T5;<\Q?EL -LWUMa3љ[;A[ax ˝nM5ly(Gu-DrXb(rQ/07ZY~ś e(Iud#Z'u7l[B:L#R&b0n6b*i{?O>$˜EE!f$#waQ5jKBZp?>g_LUђU}$2KJx\L AɆp.Yļ׀wuHꄯC@1Eܽlڍ@TdH냘O~lx5Tǎ겓“ ^u%n>Q>~@ }֍CH/|Q+E19p,6`|D˷u~%ܲ](P/Pq s`X>ĿLt La;LyFh{*ǧyts6}- bvbfvT{# ᐗ(U=~Q60>ZO.,}FOj,^'TBo`b$ᮊ vP{Mp1 S8{,3[~!f9?@U 8(ئ.E]#\&F(ͳja2H$cWq'wNMBMTӠyԃ>J4XnVlӠ`ڸxV]6ovqLG3߰x|4(,I0]Y-@i kl2`_UtX_v.:?%fj׍ W(^R#jl#3we\=r>s(0[ <c!qH7JsN6`.5E5kWG՗O3 9"`X5b\%[y;ƴPu'5/ qG RS6N \Yufg^TW_&8&9 .]cgu8&* FE V" 孙O7JJ^ m<#ΒNAtJN]>zmWVׅR#\ڴ)1SKl3 #7Φ%.#qzABD_Sw,5ARM(=,H p&J2^cw䜬?drm: G̩͂9L`j_+Q[mD\>zzADZ%Ent/|kmWT 2jZ m'^X]ǎSdjKfp |RϚ*<g6dїOߢ.nK`㍤ ӂR%-n`!>u’å9pVqËLZj5q7~Tʸ,r_pwH;޸/fOL+ũ˫(A$}X.|INNCp&19q\5FȐr!šqYΙ'4=U{\0``@SLz"a:z5х4@w˹F/ J<.8/\6* CΓ$,x{193`tuKA0MF85P?x';x;pw#]>pUEKhҗ7 cڵV|-nqHD/mp_@'1!Y&!], IY3etFC[d ԭK(qdT="a=k1Nmjdք/Y5tO{M:P(dz,h!OvmxNQq*;R[;ҵĶ| O6kEujWtzQ5`Y%Wa6O˅E Wk_jMX-ǧG׊/)F&TJ'sgR16k:m[}YJAM݃5>BQ*{ɻqf=p1 ރLd_JeJcN2T[:ZjWi8./;VgY!(Ϙ`ߗ|+E`0laQF'EQ?P$4LPp }4=6;iR| 咏)&Q Gx^vDaLBqAT~B 1TIjrC8yA2f Z dپD:۴?7H} dgHγD1~Y XeQ&}uo6]E@1Ƈ5ki gbV2<5윶 Oԅn?ds $c9o !d)j@J0]}*3u\"sd i]TҦTMsb$GwR;oPѤɛGic2'6k9έ+*LbI:%;M66R,2X% V}hHJtlTW"l'c}vنAc:o84q;<Psx$8qOAXrg H9FÆlPp?Wv# 罜dfiSu\o"I+b⫼ "4U,!%x.'rld[hmGTn%YAV>9(:hJ#vngݗiVR*}y{HCt *IY!P}bc}c{@gH4_K99P[Mvk:^-#KKD-%ܓMߏ%v uaOmV5pG$\;}Xb;ֽY|)jcr*YX27g ?Ä|ݖL;(kmW >LOӡ&yw+gD]c;{@Wnچc(`t6Z: J7O ܈qttŮ6'LR,D N)HnDF_ ytO(bOzMlTDD0o 7.,\za6|tI.Wh|wpvQ-281; EiEe<*U^el6+ofie4H4O >*3lbZ6Z'դ ?=!FXI "Z}dڡ2]_ys#sO/ɺ;62` c>BljbwMT;3Qhyv) DzrOD  d]RpJ3YsJ.JLɡ}O4#RLGJmve*5<0zlPWXVk.%]pgPcM3Nq1fGL?Q=cwN9T2, m;9֕Ds+盘j8xe2]4~wLD9v/|wTMS%Yr:jJB_9OB x.s\}犖EX,"_Op-fD174j}Sq0#8skGP6BI9)swl\b)o$ʦ= 2QRիnJ7Na8,0\oKzp]0S]`U$Ǩ3Єq_ AqEg)"$we+s0&V9ޫ%IAY>'3O$q[VhNCgl=XFg^$ et3I\^Si A;=q&3n/#p&MѰzȧSALE?5},5?59 ;z+Rgi}/znaumN b%ڏNp0-,&ٱ€C/Gthx$6 K00dm=E~vIOf6A_3F,w-zhZST;Zƿ?Q4d$'ZX5AL> 8-YC Jp?H7ۄP0d%15c 6R6&^Wl%*Zu: e}MlBnUєm2~,3815ݮ*@`p69!zOo[~3]ǪU]L]QtD}E?<NQ $N}Yq@4y]Br`~MO7.^iQ"PG]7 R`6_2l9'9gxдl#:O8Yܓc k mgt7oSU[$ʋpj+$R|WJ>^be. b` _2Iͫ|%pqy7>7LD ǯ$UuNװ>ک`z= |- K d792(n)slLeH/Y MFFh0JnGݶ@?r.Q'[~r`zsFj+dV~ѩ?͑mI|#bTud^(F) :Ğ`7ZY Fό^/!L#7w-rQ|ٽd>k( Ă/Iөz@j~̕fm'Gޏ7(7]BL } 6<ȋ7A'$(eX:Ꚇ˜-o0\m\Ӫ߱4G~=X F)c{Z`E.$;_Gs[ YhfVn?;3/QVO1O{\@^UsTjFViv8ozc+h @=%CWѢ 6MƝTVщ*i"cq޷jK etԫ`YH^U +S]WJJڂxj|d4{3( d7:"g-ܭ|UGrpk[)n Z,sx;C)޸v|Zp+7Gj#݁cfla"NKrAԺId<п6f;0 xr_)1nJk5`zsN/e«r6}ͫBaUySkV21h9ȅ!7yghuŴݩ:3`@r &n/& ٮRO/MYꯒSm@q[\zsQʍVDzl1"'颶: gξ&PoUK^&Vy? }"+@ H|Rr$M9S㥑KJ8!{On> VQh2Åmi*X l3Lng9YD}hHOԀTZArDA+=|-k!DS ~Ni&(ŭwМSx%`葉EC0H"-[ 8o c0R A wwEB6!}kM_R<k;e5m nFYA n˻Yk`6۱&oWz<]Yq6~4F0傕1k.ޣ-^hQ /DZ"zwnipBg4: t:F)vtU}paTM%. tDAJ>֞3 DŇG&q:yi`m9Bn$ec|p0J3[h.~ :lrz5r*AF ŵƠdt4tJJ64?]X\]n7 cDz%&  8[ܳ,˘_V >K -q|8_Y"$~Ş0JaԈ@RI*ʎ.[ !s޸?}e`ϔAns^3q(5k1 ؛% avfӖ{rS)@᫻Ńu+s (mӣwVU^{1J> -a/G(JlUЗ`o DD;}*{EQpW I'NơkhjЗ%y=!Z Q< Dnnp%,3,+hXXA?}R{o`r]gԲ)2qk>vcWZ@"y4NX%f$>Û͚1 `O H!kxV'^ .jX,ƞ2EhD=An{iM8*SDS(dxE̖':ԕ^\54'n͟kB\+X(̬>DsũB+<| ܋ ׾NkDJ!‡Iє*&qBq `x2D泊4l/A.:ؘ h6sվ/2۷CQ9c%ܥd#߷g~sdo6#DiF*R@uQ-][zj{DT g[f[WaUܱ2]PT1FeRk(!{V:ۈ%2Bw˵?aJ-5 ?LP ضn? R4#^Y逳czAGΫDR#jfZԗ$Q wtvnHQ'0}y5Ucwx+g`{R X-?QJ\~/> O> JBUwiOs#4d`]ל{` t6!{ٞx'"V YdUæz6E :|/LM4_֑+Glxll@.0 $</&#hX}^vDŅ[%M `޳Kjpb>R}oHwnv5Fp]tڗHfԷxr_㰱A sM@:ڸ 5Jb,RZdtc qFhx3zJ62:+2 eu֡E졏%>~o R9Ŏ)LҊ򔟐 JS`hBܔ*"jRhT5{@H3m~kbB0yYXzay[K$t1&&znYc`lT7+SVLm` (LH5Ş\lγۚN e$)1 3|_8-I'ꢍ>ށ XэY[%קuH*Ի5Y[ TͿ<1pK?A *ew/hxWi d7&1, ʯfU:H&h_/쁾Ր",\.&^7&)g.'f@xhG^=,@9Bl:)MX"k+JtY ,ja됪Pa33 ]%iQSqv,zlw$\#tQ`H'% ^OBޞ&@#9HH\4^D{6\VZ;>ӓtEY ])P>;=$sk4lOyMT5=m F K;AwCʺ%jO)FϴnY kyxKCY 4NRI7d:Ko31?ݽngcFaDVjOB? >X{9_GV- Ҋmڸ|Kw +鏻wSx2-h#9bs.`21V~u-LCf㹐<~*C!~dj3e!-_5k`aIncS0X_ғ!ƒcL/QL=^\a%^\>󗞎,^RR>9n$T.fbhx\nO)$ˈB͜Dez#$oBд@xmq/2@nGPXGst m wGzS}!X~UCqI1NӍ|;и5EN8yPsvgNܘ[Ǫ/InP좖a01Gk2)y]_ܢ̘,Y8 Ru;P҉م|Y{vƩHLDmXo |-!ҽJ,ĢOA'JK+Y1F{Z= z{0g 8 h~ < boysu k"G6/fmHeMWR~ja ^o1bytTpQZ? @EkxID 2`D'X:z_vۏ?kw8Vpj|WpRN:+Iޥ8>/a\1k a{HsS{-Aex arWQ~.W&xss׾/D&:⊗kz8\D XP L(?SR Xoqu0W/GqgxgRk D2BoH>ȏxHut=l0.y+xAlAӯf}' &;. ޭ/{ ͙x9w*ٔ dB|?w6(I"aK2Ē$&>̄GcT$t1%p]4E dN !OHgXُnu@pIq,CtJ95':&dZN}1k볃|Cn uvb(M!QupSVW ؚ"+=9, !1 Lwߺ>JڱvC EI)5_l0[KS#Y8鲳=^ !'fصbq:Cuz6#j?h>`0j5dg9Qg4gg9O&R۠nV Ѡzꇦg;J꘬ nvY9eb|lT lRx܌*p7A#eo[&kPgusw˟{W+rmbDFK*uc ,ߔ[J(aML" ;曆y =P9'IgFX?2fK *kyTLc_k=% Jj%c.ӁLIm%pʼE egj1_#j >bb9M:D eF`ԢNS((uS>+WTajp)K`0GM]lyJVV콭˽ 3Rp#?[‘P. jQajr(EX9]!Ī~RK0\*[]̑ 1y!, 4|lX'?w~̐>.3jsaXD;Cm|):oKx)@BޏPxO1A0eMed&Qc^H x8%l2ԇ9@O]WiKխ0&r$r Z#*Ml6̊|_r-Bjq(YҟM׾#W7zhhj\@V@ gM #kbJFo<u8KPi }!Q#r}( Vu* 81 5<-G*#u%) {Jyod[:F CܯEƷ;LV+.2:YxD?l&({iȧ:uh Rbsϯ 4PJd 5nCvU{l^£1QVIv陬ъ7NEm֌ s”Ha,g/T4 " Wbs8T:/k M(˶ؿD+tn7H{  EK2R?܅o׺N A>|H2 gk ?n_~( K^I@ۜ㎅Yy=8 C` rV@MX!y 7Cg9;ovΧ''d,geRu@چ Tv#u A**L!elVv wM{TfXAD] /]Aءܟ[׮nN]hcftiMd(oj˃NbS{0HóU]a`sS* 4J: t`tG90Vqޙ_Ta`Y[laU2F'xo= *}W"F\5d}0;>MtfM?51%bg oԴ=%"w]@kC.u,m ws@:%ٟI{t5Z3 bM%/?k LCt oggk ~qbf2T83.x`LJ"IEXjz/=E mi=5jx=MtzcR8RCKe5tL1["'l-x +BF,Osħs)uM%Yagr;I?KaJN?x+:[l_S%X?7kfc{rvYI-Lh D7SNk]#i6GIJAEFaOFҝM<8ɋԵ; s>"ִJR iM`iJ(}n>Zإ\4lul{SoGֆ'_硏X' .k?/\ KpTzN*ck ]S?  U|ɧ M߿PßƧ*)JRˍ~dD<w c: DuDumCqo]V07-A b.n^>:e|ftjKm)k&׌mIkd RNc 1dAݹ9q&o5 XMJ=%Qx=4;X Z OC5?Z/4C|Hn3 cF!{hFaoSjBյ/lVf`^{4d7߄ltc3ӤJ]d'Ѐ̞~ZFp׌.rk (G Ph]ZR)ʳ9®IeƑ J\?vi9bŖ" d ɒϾv@BJXb19,D`/`Fֆѕ4 O4"ITF:s'y&+Eb$ڷyn1`+זC* n$&xV\UkQ\#z@ Z ȭ}ay!l@ @O{w?ߩ]dH3Hn?tbZr$Y0]n<9*^8H@aUR"qBqg([Qk>N<~1:? J?|biKo蜢)w ղ'\gȇ+~AC4U`myY"ܚ063QauSGdI{8F62d u !rn0}OYCϦ10Iz6N @WzI^D1Ziy' Jlm|Xvk0|p"*3Fzl41|ʧ=ENxM"=åVZ/`%)oT§A=7](AIu͋# sF^7.e,o%~9]@|/dB&tw=uUHJm{K,qNFq `i#s0nMJEfW%K Vzr(uα`O7x_L ~8⫒yY,XRo&նK0] Ysδ=X8;B 1u!6Ȭ??A5Q{5uUףy[PW>$Ig|G]Z èJ )x^˿y*i^lz0o%Mj0S3mϝY變J`IՊ!叿; : A"۽lvSD?'0u9Nɧ`|Ňdh$@`DQ)z?Yrgq$R?ϰwufP:JFex.EWށ"iVN@+8!=m"pc}%ebd{:ӒB_7!Kb*"$}/iO/=5 33 ӈ }B8IH] 1}m8J:F, -P*] ?.44mԓ}}j3LdL@ f `Kw˭υbX$Ŗ:]DR2=8=\O<5 w*-% ":@- R" xsB6:o>H_Xe S|',aNISs}'0,;9"jnT@NVQ$ن3Ab+>!؟,-RXUx#es]R$ ΦcKF/*.qv IW Zsٿ)EoM7b%G$'Мw-i}ꌼ&KCj bY[1KBaLv';=yE4fXΓb{y?^ûhHiZ:x)0v:z1 BSe׹IWbXb $\r.7F6* oCJk24U~ J8JtL1}sX%XQgkR2>vc 3+jU+CJV(2ݦU(")uAe^/`Nt d@<4W0n:m.K5;vhWas##xV 8W-Q4 Gi]Hڤm<t$Y_(1TMu-YhS2%C $/BhK,x-Ѡ{.x [t$=I0/[e&7"m㼦 ߐoR85Q [ UWhz$ Q'Ae"C _dϳ02 X@OKWg=~(ppe_XA1SE=M='C$j51 Jp͏J{>wzAƟ?jxK*TShPFϹծ8ej{fKG 5ִݦܿg9k<0̓E` );ech ͤ$r\[fFc DfStb53`c FR:f*1%>CwʾO=8XWwH@T{>ےx=r"RW&tN3!X`P'hGtUb2?y3*$toJ&!T؁/%H*"C. ia= <  Evz+]mܵ~<1*Fa ۳i]vt?4^2=I7x/Q]K##mflj`ϩx4Q 5Kl'BC+ZŜn$fucSNh1իF9vn)jk*du^[/;<)%TjuwBԡe %0Z娬AMt=ެ?Fgi˔ "SȺR<: nTLwEqξtI꼛(Qɝ^/ 5!RCzՔne HGe3 _?{Il8ARUH C|s1c'5 ~PgP4Wu옘aH(D|?x.XpoQI%brIX/^ĕw $ϸðs)+ 7CbO JmJk)̼/z8uP^@#:"0T//Z c2, jKIlۚ86.j!LozDZw)[)C)w1`Rlw99ϥ͛ltA]!Ft\($č\q׼~#e:#mTؗ[{ni~& 2T`Jkw+*`H ?&D( ZnqijΨ(;ޛ_D0I!TJg ʌ*oq}^\?'@ud+ }"2wC"Lp{AN)F`SExHi)j2\R@W FdYJbT}3G߅3Iy3 g Mꓺ