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  )LT ]/]Stone_Algebras:threads=4elapsed=66.803cpu=127.188gc=3.824factor=1.907zXZִF! jΟ]ŗXiɟH)0%o$Urui#Smjyo,!;Ms-WGIwRVnK2e!1IT=.+\ Կ5L!e{ . }%+z\\jp>Nd>^V[:p?uq>'6w{Q/A̛BXPz;ue%w&} pT36{5I bdu:St}d8Ko‹FBbUk`Ssf08m*&l^Eui;p/fV;HƷn07-o8'$O㋜a+`S6M#cJ?[KWW csYgWtn4&bgA{ 52hǻ~PY:~;FXS2[e/=Gp7;hHDC heB֮}})dDX,Td-'OoWjoϚ@abg%֎!,~),FW]X^ߴʭB~RA6/hZ7m5)emNT %2&LЉ7y_JTbQS_ܘzM(g4`,hܜj{^ڢ|1a[ ʨ04#piN A޾"'Ϳ]r*=f,>#s(H'N]:`s T, "is< NR!5I<@["']fvRj+Mp#9qٖH+P& 07p% jg%8]YYqbx*~gBe>_K% )<82@oaȞZUTNfN ^KBTbÒcwEbˡ4Wp~cNFVdDH;O,6!>yx6ߑ Ӡ-]$@.7M7ficl1I 2721_zMO(549DFgi O# ) Stone_Algebras  l[aXƤ7#[Ak'8F8DCNux!M߾R"5 bX*ҙHwa,} .䡃bc YrGb~>GIl Wi+[/')of4ZxAxg]䠋-F•5,d wc;p(^XG!xX p: CQKuV}D.\y(x7{B: GCd]k {+7&&'ĊOF9B]dlcs3T5W偠,U>- Q85[V?JL6Ckrh^ݼMZu mo<畽:e-&} :)JlNZYozƄa콕#\ςQ z?a: 'DZٵ.Ez୽wBԐɺ{>ʙTQ,rrs5秦^5QAMu%T+ʸY,C5C'u0P§y ;A<@tކVVb#㔯Kw5'Lrk$<)naykCOQn\FPeR&jb~̞>OI4Trn~_%.~3CDәBm^^OQB2,KbemCMh*w:X^[MgjXVhD6odɨ%_P:XϖMN2g"^!Ob^O7U]]<%TZ j3^\gTi?@Q>xg(|a؎2ۮ9U+l;::9\xL3渶N;IR$ Qhչ%@%a>.T=3x*dQVUV lHݑ0#qj?eɩO)CD.-xSz>nCt-=bBGǂݡuhE`ՈZ\@^nґ׀B3q#\P/GyՔNeh'zqQ撊6.k{c%e2_n1}R[1Sc f Chi`&j.O]Qn3/Dۼ5 =L,S- ӿM(e4ǿ4~P8sjF#(А#Z!^5)*2#5 Wl~Ӈs>rcwܚtjv\aULW@KE JzvCρKe@/Ȳ`rz[4TWSa֫iԺ歎g =5VKG\JlFq( /5*@,SC{:PUM:aȐp cwMt=Qd5ɰTWXwx>[ƓN}},J̷ #UzV=0](^@eVS!vq@7JF69'ľv ,wl54>+O=y %,i15ШX!jn"##jpZXME:(FeEapx~;:9a,*@;X')Fb5w $*4+*VF\}'l<&-NϘcpBb^D>!S}sJpә<̲tj[9NN۽_W.  7?yCΈ"ŮmwA֒} HޝڭyF5;79GC8d<+JKwc` ATh]JTgKvDݍ҆JM"WKhiBFVֳ?%Iv `|vO0>!,j0챉}~޵Լ;R$*4gpGÍ{ Q Liks[4uՈw&^q8Kf /s [dc79:z $v`K@+o}PDQFgp7%S,GN(Ӕ*scwxx5֯*f@|QDPUZBG15c !&> MsA9|eha_<ʟɔ\BTK41-C74<9^-W0R 2IYwqƿ /u=NlhiwO&n WC"H+9O%z!-uij\ $izHTjJEEx$#wveU5I7_ЎvDqRAB}m$2,fcQ1\jQ,oP;LbiklG5qVe0xy <zȨCb7ae<2G'>| EGӸi YOrCֹboFA@fQɮ)X2&[,Ilgo& [ \J:b+*^fo>WXJH*rN4s\F'>$3Tj| 2/c͖b @4l; Mzڹ7!3鿘!&eW'B-t.'Rՙóy8J2 +PXnӥMy߀lBp6eV */KM?8R^8J==/3@vx%P:yKEy Tdf8 ^XLPu7)ߘtgXQsuZ!V8<ϡ)W3xPܛA<:*ȸRnL7U_QwػL{kT>;WV 'rՍ\\'(^t>ǞZFLEZpsVDov"P>i:_kZ?B|@oBb[0`,s|:0~Ĭh#,Iv|6@-os鱍CFHr-UU_ar#{fES.4>}u0\yer '~ZX1=2jJg/-TFsE9`8blv-Pno@hrƒ +lO'p,^LJe&>Lq6_iMgevxs[fgx[Cu=q.l94h~_b V 7Zl%u-ɲ`4s#o>[Tb_m<-+< H~ 4Slx잉`3k4Fj4$F'R~c1FvJQBs\os:c$u bNJr`{#攺Ԓ*Tq%d@qNЖ+t_RqNvP|mK(Ms9 ѪQw}ш`+ќacQA{2au@q5_ BGFu-2(]c7L}ۋW5o)-lWdqʿ !!93dՠ>yWE?pY7 V[8^ )B9a1:n'enDtY} Ky }꠴=޿ؾV)-БQvWL{G^F<(C]Zs9/I{1bF4xKA7,⛸R֞bGxv,OeJ%_~tUP? )dTy=lTG,CjūO'ݓf#'>yXo`GP'W|Q*: R5S4L(8Z(> LФ+Ffˣ`͍C`fBfgM_zڔZ5P-c+`Ek}ԣ<. l!RUhǍ ES͊^!*awAL!b:xyT0ZXj u7[q UD lFhI1͘ IO2`=9Q@:<ٯ^KRױ~HU5O-8E߯RZxЭ55 ?vP@˒mj @o dW>/,&UXhB9rk}wR;čvOi# m//lTI} UcPLzC֔98q63"lKp=t90n+VqH\q'1SG'@9xEj־5v෽i"zTSr|wH,ƚI=-T>M8;Mg7PJ^$kܐZ4jhbpIB5d`s9+5 %4ų]7ՌC܀5e̽=yKRj`&D oi%sWi=ԩwRۏ-g`jiYzDՈ7 ( dd *zS(b)뇛@C\M~v;o|h.v8$RsJ[>a;k &?^߬\ʮ^ / /~Fb| :ċ@f*3vr-`9\u Lve׉)U`I>с>: ćv}˚M#U Ye;RP F>G.N_$Z}ns^0 -B8DCbG|;2ȹ;Dbqg4NXf%* QyPvߪy4|':U\)ļ4n2GjJA}lن`@s`y⭜-"ڨc0)ИMJ͈ 21rzRǍ[%( ;-j:zG,7#q'R?WR&6=So~q U =KbQB Ě:D~M>p & ~%.7xp'>֙yv`y)R` .35jB'*Zo 01 -%sf"v"l "q|]ћv T1]H:`'֙j^H[W(E M$"T+QN1p?ֈxjb6{Mǥ -)C<"5@o5s--,뢪~Foz?vo!,PHe'\b2(J *5fɡ&+ :Z45ڐ!טe2MSC)c{  ?eFGsghm*3=0=UM~ac̶;r&ڝ}Ě M9J^ GhMLÜ1 Pu-"F Ad>rh :>Z'AwIo 4#- ] .X{c%PCletxFw{t Zo&Yc7Z|9a0fXB׹-F 'qpҢMJW ؉׻T.yԀJvVqܸ 7h6bO u#R䳜/5=Zt$p 74p01GayoR۳{$Y4*I^Hʱ,=%CydTe|C3zPG *+ЧvX> p71P9,Bf%lBY̕jeVa\K/Va_ \.|ɍs;"8"LO.BYM1v~iB'EbBHN#k#30hYvv6XF@HBKAr$J s$'XC-J)%iÆLfUѬʛh$SPxN#QU^,j!/^ΑXH6G d*}Ow# ȿGL~5|6N)DW\,uwi&B}J~}Yz~e Mi4e^+Q!IɨLi3p6`'G~T^Z*?z eݿgW-TU RJX]ՃX!J昍xJ Β%1k8T0uϾ }vц[ɰ56c&P 3^OP Dmiq:^obYC;L輲9no,lB(0Z0z-5*ܬtE;9;)ɗ2ţXKr&jgeE6Aq)-0Ru,)W)|JqT8y|Sq6a# 7k託~f6[ ;q̉dvf\zlΡރV;.Ǧ WcPKo [Nec6r叽Ow tFab`gnf8H(ȼݚ,8}a{2Yj}NpϭAp@w KR-{ׅa҃FCp$j|м`S/x^$%к91g.=)x{W--*M?olX jqdD|I? ,L$;L^^lwouN#UdVJㅂDb\$_J,07I͛zHv 3 @#r{f6sXisHe­bOB7*cܿsyIhtie(vO&&QS *!BDVC24#c[ܰmXi,!*o-*OKV.tog|Zki H=qyM1_N0faL?N=>K5jϦ6$؅MK:(s<?l{'~VDP߼;yr9Q:=!ǒ B/A`a : O]y!(ה!)H:=v~Co]d2Nf:@u(j]:7^;xFj|4$x$HK ~rnBUIjTld1p^ ~M* |}"xxMXCLz<~'U4yhFEF *;%o + s,>j,0j|ף4"mg᪖@$;ރ w6a*'XtTȸF^gRn!\"n}( KLZG.L![%@P ;ԕZ̧lIn*GçE-7NO1b?r\x)1Vl`{hH':ٍ'nJħ5`7b3_B Mrj`LP p}IbY м &Î_^Dk^ k{?EU>G!EA D9D|6dJ&qģHD`#c™C jK.N@m>p2SWaYi^L'1;oSGdA3͐M4;29/K1h8 Kz$ǥr>%R}Sg"324]v}@& ySI&?W}L lۼUDphmAq\9|ytİ@x`22GQX/2MxK,ٲCK>\(@!xg4BS^DBt28y~K@nY'c9N`)DU#WhWM5bɘD.>ހfq^TDGZ5Vlډu[1m 8v'#ȥ)D7ӄTHU앵\ǒݡ 5_36f!x+A6d2~|Pϡ&[@]/a+ϑ]\v, \{1@:LY4d<$gƈ37̽d~X3G{ylJѣsߣ$sc pCcU9E5Ųn!3tt kkV L44)efһ;hnyn甠]M"WlRV,5{6^bSKi:ls˘wj+XlFjB4¯R,S"u͒ CjT#җu&aVrч}$XIo6 |!D$~}|LC/ 4/ݠm=^њY)`@AC? ,u)UL 쪏Ć=ۅ|I{9r4 ېkMxgM12f!.PRb7VnM[[w, v3Wؐ/omVG>~'&h<[0@(;H{㟄%0B'm覱5۵bBeiރ7!պ'c\dt|H־jgOS|?] ͐ ;VS g9~֏VM kH A?Q/ lW;{Fz)u1CoF? l_Xz({YZz󊑿ꯚ/֞ ~z2 s@걙AVCӞ-cN#׼ZGuo@`yǢi TGMbi }/0npBi@5~@*nyBz 1h:K|9j{@M겁h7߯n.׼k4YQQ\|闪|6dCvD:6o0g Lw\>*Ho%5X! ?Tc!g庖^qFQlv0kfy@* Je:lYSѵvT[0~KJ7f' A6+FhzHi8y7cc3)N=Gu_=@ҷP{ ✳|0h$cTZ32ZSs :LTWB ),p-El*Tz1g'%mNe?ݦLzVhNV 2~dD]s# nuեxX(szD^:#T4ݭ¡IgUԛ:E$ei~V/ƠEo+Tޙ2BfWxZƴ!D]%djtnL%-a@K_ .Lҷ-̷V 3{82 Is;ӈ|DOԘS{s.yFZvx4S"37 cpޜ7e'au?4rȼ"L_U6IͣBs߃'j!H1^hUboMܒ?kil88\OP1p!}:=``hMsQÃ|4Ie `qjS@I`.Z#^ :u n'\ZHp)mb;P :wu>TV i>]f/A7^uoHT nRbGc1?¬Pt6D=j&+~?k7l,mɰJPGzq,"J]-qX8>ߖkZ͊ڿqqՆTH/?׳@Y%Oj@5W`vWE}I>ǜeJ%rF:TbYS<܏:G!P|9'WYX 3jXq{+-SU޿fC,}_N=\-|f N44TAo \}Mpҳ#$НB C:Y 78W ҪϒǤDΞuVʋn>9޾:) d0&,yV->a`RI{~eUSR?\P`AX`h͎AՐo1~s9+r #cU+b2Y=^)Cb[X?n$Z)ZDԵ#]8x <  H"T9SOyC%%`aIc1=gΎ}k=H' _(ƅQ"9]#2,/f@@ ~8q#.!D!8 8رXW⯪E!~  vs'αV'"VV ܨrk*H0=x1 <[S{,7HկZ{⹢QRkvt|sa[qm3=|vm_H6@ք$ ;jJq!{ت\=.Dm[[OyTj"&ȣ$=b#JXMnksgxDVndvn1ںP|^`I #ׂBRەxjZZ\t*U9lD/i6zOpc/IQWXq5dw>!b+G Q* $fg×Pl‰&{+hڢ$PJ <ҟbFkM!4uǯ0d|2ڑot8WWĸ Q&e!nLj66fzFN4 ;'tcfpMi<NѦx"RrCS֐:^d*-$Tk:*ɠ鞇UA'[}2ElPz}PKηg@NOZVZKvw#k;޸041g{$c4t|g%zB9Ҵ$~O\P(' `{yC-h%[CtX;,ywSh D !Ojӽϳ%X{. DN -#K!lM㑍c9i'Oު؟n2WGˁѫtt!@d'X=M'Kgטּ ޵%B 1Jӊ] #q& ;*`M?}vVj\$Kc o ԡBx~xR'&hvd72-:v#4}sS)*XXl?tn#G+#xߴm/kc=oA<|=`1$Q="V/ӎ[ؚFG1f%!^]bF>iZ'2Yӎ PS@Jiv3ZQI.Ϳ=!,r 4q-GqٓᴋL(85~rigJZ"b8dt]Vrb$VP"@E(!琅:.s|j VTy_QώZ(DžDdЂJX) тG 9X([ip짐 a5qD8fC脨cUR-I19S/v 9wdWIyʼz!tg"4v7`դ*JY8d*7{l%y'=p:=>T?[}V;lhd~x]chy &/@]n<\c IP5IX@"YF>EgHi8D,Je\y4j_Q)f1} EaLHXvqPc :467-Ƶx, Cϓ\zXK[mOof,) qo3?s,G, bo@Ǎ1[*2㚚<皸 ʀR9V=}8E$>0䨼P2^ Fsw6I\9AlN*)茿fFw=f::KK8=o Zc2A77cW1 eN1N^TR@o4Bue$AZ'HxBw_6'A$,G$YOk(*#zWc$g옯 Ԓp-YAF̷sei7׃ZtyD;X89ԛ3J2B&e~*gZ`x9qSYq I V?^)@AϚa!$Gځp=R_/57+wmX/Jgz(InMT :,-!:HG ]ײٳ~2gV(Epդ!ltK߶ Q 3'ɵa|XaT/ oRl ΈCD"}[ ` 9 d-WglM1G]~mD":/8+ӣ"u,}|cfGG 1/yCqzX I5F@RTMEŢ.db5X%?(Nשcϭ2L\MShWx3ܻJm~B BNj QKPH\>~c+P-L{tML) 7?ST>0@b[vyhkYy6*-IqS``=VV9)2k=:rz#"ru^!/"޺HKܸ4FJ>^ c-$[2 l`W:. ,:gz}OoZB Q#5h 26DLytDRQ{<,Ĕ*JYWW%t;Ļ>]Α;D9L228/3&zL)B|n*t'QTp*&t,+ZA,徘ĎӺ7,fQfWk(`V߱g M9LyoqQRT#: xJ~ZDh &D"]F6TOeW. fȼ'pYX=KHCONyP0ՀcM=~9˸J r9V$czx]Opxxe0dm8APEo;R}KS^]]C?MW&7]ςoS0NHJ+V3dgMbB =d]IFXg,ߧw=C%FNN);o%t3 Krb6‡X2?B !^B5a(`+C3NN`ȶB5^Ipw#ЋxEm \!YJRHILE moi?uCKWԳ!Y{ TrAyCᘾ).*4x͹voO>tzOe ͯO$SYCwƶS{ɗmYTTKZKLE<P֨L[$=KDhVhlQÍ v z' 6K$//{8vNm gm˼$Mq)0\orq_3?zpɯ1^24?[ƷGΤJ13K-?l7y>S `T7yoČ4Oa*O: ĢkOVT /Pz9Fy<|W!oM% wo嗯ŧ:vRvsPC]0aQjs*aW =lri,IծߴGd~3ž~Xd|45[`ʙb c_rNTfj.LC MTdSWD7zK^iH˩nmVTZQ&j37 nėFdt[n{oh_F:t͔3 <ވU}bazI/OP÷*2Iub`llrnutN{,]}9VC=!p;S^B;T3kS*șvxZr`~2[t;1V,?_ -=``O֥Bilgo *SdV'e멨}â*ۊ7UzQRͩ0w$Ա,̦ Zb*s Dhq _# I6+R#6l TӶм0ocve eCulis2!ɬm*\:p=J,wwdy/)3i4C<27mV-4sHg~;\. j =Z{ GQUReC$ 3 5.yW&Qm7|J R9A]Sĕ=76SRF7z5UF{=Xҡe Kz gN㦞;S6iDc(,k~6٣q()Z~5fxs{m7Nk 0I'sQU(%mGdhlhɳ[>p)͞=W{h'5#(՟n5*?B]aIveu$=z|saKh~IJZױA'u0-O䖝pוo8Nkv!rx|Ji2vR3w{ (ACۍ6._ BLo<غ&*<8|Z>pb! {?}B n}q9-.e 3OȃWWZC$H(oMuOEȫ/"PM/eVx#y[X-dQ(9;tONU"Nf~o`&F|(둒.[޾ۡw$H#ԘM\0b \ 58CYnybS- _i4ȉڢQIε)>StJd`lsh]Az_Hl,Sǜs! | qubnw4?G1/Eq &XCPȉIͳctLFWc=GMY%bú8j'8(raZiv*H"33 kmu2iMmhW}Y'WR3[nX IK6tX,_EaM= prӬ3oa %ka~Ў._,Z=ցw@Kk fp5ɑp]O%+6k'O4L]( Kѡ15!H"W@m|%zKlm ZBU vl6 ,Uu3 [+2M E)UoYS;||yfwWZ<鷈ᆖ6UvqlÞL@^#錼A8qKsmcǟrDž;&Ng!eѬ n'VzbpS: Q*W@˓SMYU[^#-<4U) eܼe u9]hhJKmF%y {WR?X2ױTgNگ_,>|CKcQK= 8,Ud)*ӏ-_V yV 'v_RYT bDJ)gD!HD YD _;`%m/%R 50#9 5=X)96_D:d{"__k-D*äɧ;߭K&ʃ]-WJihz<YiX4,;~"O]fI>OwoU6ui.кdaRځң ت- Na"f:ᨋ&^\j[" .tq5IJ(4+z6[À$KٌrR5;A o-xޑW&۰Rxoj~qǦv#f [h@)#8:I~ ߏQ[ka߳ 1{pg^wB/Hb'V,W7G RWIX{Ǻ^ }\\C嚒*\3*tTt<>]YR(/l?><Ne A-.<*daTes}߼,.:>xb?5BaKի\/|ďM'%Ϥ!DN<Q`/DD~KyoW,uN)@CZ}H,$G>cd<6}X[*j@) X<-d@@%]rĉޝc%dΙl X44"N#v.V֝/Iw(Wtr 7SSM;ar 5[w6oC\!PD*- JW!( .B3!d 80 +^>H(FR ؾ5:u?\yQ/Ǯ%/|)DtE.<=2 A`.6)Z0%`<&Ďo ek>v, GI.Senߒ̅N@m=QUL}oqʫaӉ f]*~uƒZ돉˜BU]M,b 9gMb6|WxŨs|nMaYB6}O]W宗n{DԶ7~a^}!㐺Տ/=4 ~RB7h$"hve>~zjybBE 3D1kL_qW}vCGm,O63~Oe9T W;̱#ˡ<(dC3Wl.xa ^޲tLD~hdժ+h4.O/RcCp^B+R$r{!.nM DUdgXwF9ݦ%nlv厗VxG 3 7x(&[U {3{e} %p3Kdt?i\UzL)ƷC 41w. i=5p4hrTŽW[gnMC.B,ȄƑ K^ 7oF6U $qSbS4D֧V_np".EhАD8)Ղ襵 ۯWaJF+Q}OݒȤ%@ -qk3NI)pJFU,I)yU]uHUˬϱppW>e~+c=`(EE(\.O4<}9gnS 4]}baDg3R@ 5S/+̣t)ޏrf><>Z{ UﰡQS#[%2oȤ/|461_ur&핯k YcXϞY;yk#(ML*T󼿿ݴF͚B'A]Ё9SܼgR 79n탶bΕONK6:#FWQ7f)5JTY3DfT _\/eG:D} rPe7en#˒wm6L#j1e E6Wڷ~D =3ǢL/'"J]~W}U>Zl-wLQ4.ϴ-N[`f8e۹ruSۂsr`lo@6;8TQ k{U$uŧPXJd@lǍ҆R6pƝRPB?UŹ5QIg$BDWТQPiiO ZB0Jm$JȒu6/2O[x-rD'K|t$mt(N{(`~sf"{QTJš|]&]lR廙AzE\RMW yÊ";{餒k(~nIZflH~|/BZڜj)yLvzR9L"#^4bK#\ 'IW艴07hTtKk;;*ֶB*cwF!aڲn lOqp㗸8BwE F:]2$/ֿuݓu.ߪOGWe2l(Q`ztB, dq׊Í\ @R_]m a{ͳ%M$FL:2 L1Xj){ :9Ԝ_Y,ZLpc+a?{HʼnB0 08SK PSWұ1kT*LrM2g\e /mտ + $j_5Nd5 T  qi!l.y"};nαQW)0dr0APdzBo&IMm7/ʲZÙ<rKjR4ӾNVH &\m0^b9ɦ-MSfOͺjGK [Xb~Kp,DREtLy\H$ir_sĺGW!8e5mAHzoTAXvлsV\Tߛf=NN;[,2uqܑNa Y-WrSOͼS,>uU[hF5yd1V"od*U1~\' _r[v!HoMvڷa(o39j5#16u+V\TSIz/*_0553m 6@z%m}6[8onX^Ү/OmII?FF+aІ·rZ(yKߎH}Ԗ6?XGL2TvBX;e RD`U7ko?OI'Q7o-b)2.λ%пJkj)+igs7l =[MC?ZíNJMڀ#6ِ_.ƨذuHz)&FE~|JSA!hG{RڍC]K츼UB ]:? ^F9(Qkw􊀖V\e)̞{Q=+w&ثfjŶ}}˜BWl3yV6V}:w: ?wΚ!(WweHBVem]vZOn <́[ :!b[>CRviw‡snN6Kf,}Pl[4Z44p"6̵uתHO٘,JݎA"\|v[ڈϘWa$1\LKP=TO; (bT+K$Hϻe|-b*un; ԌH4X3zK%p C~LK'{.ΕXi)c&tYkI/PIoExM{ k)S2At4Ia ՙ$-\63r/.Ө!4b(IQp)%Go'10@] 6k+HI1:!EtvdboD}2kh گ&>qϪ@v0%L2%|RN_7x`o:{Ci\s%za5C בg++#l5:cmGt1J]\b):̝g2f4V0;C OIrB{`V`ŝMsɚg~p0 k$B\"µyUZ_=Fͤ1'Uc4شm_Y6" :2TȀoo;Gv>xXHK't{\0l6rd564OV4Zqӵ,O#6TSA=>ϲl`'MLw T5,{F?;Ƅʕt qH#DDs7~'p_u_~)KQnT֨^gw.AՋUMz?kf_(k eA)>2>4/{[iL!p @nx@pwޔ?)gQVVcG*yfY53xJz)2>"ݹY00A+ 7d1 Z 5g'fVZ+raOT"8LtD*Pm\y k\0*MZ>r6#]%;3l/I1Ps{a H j6/cORqbZ1:ElU4}Ӻ<$ rʶ1/KxJ+b .?&KW6IĩjKő0Uϊ0M>x>S,΂)ӳ!E}T-]3RVZcj $v}_ցO}a~&,( j?ZDgfbJG.[ayHlLxz߲o&U++wQ"dJaUIrCxVl$_܆2"3w.\F_np(=&C^f@|y!@QG~۾!W[RBIجH8jɹljl{KEQߕFSʤ4=2b}%կ {|pki"qqdƱd~SO%^I*.\y:n?kKxn7K۱ T^ʌԬ}rD(4>6Q/ٗ:=Fꐊ}e6vi_|ެj<ڗDkl,y'ŋ&qRD|\FXC I7I JԝhHb:'4 `)9yR{zS}Cm ԃ=-3uX7[kkgy5Q v*+_ixvkN9w`t0#' ֤\*:6u }I Ko9'kPL5 =,@9D8wglvv؄1㎢\gCcV׊KVJMoTMUrAzbH2dCHƷA@1xq}.yDĤ7NӘcU>jwZ4kxҎ Y5-'YʽL1ˌ͡A 6\x,Y7k0>YK8HGg9Ac0n/3%;h,%17B 3q@)0gV,X_A)::o '[4jߍp3`K:K[ qfճxC-yޔHw5ujwlO4}'xyӸkthtW+T3i:77Ӱ ׊ᤲ<<",cl藖c}Ջ,Sk T)\;p`#B|e{yyWoo6`AHDU%O ~3v!_6m,ߒú}V+9bqdMf eoo"s݃h ̴py7T V|a1kD!r:mG q9\2395&,鴪v} }9>BGw2VyT a`=9g\Պ*0$vK(OȆ7﯋Ӧ8>Q\V@Ȧm$$y=gkm:[nC&.Yx롖~>*BGh6mCٙ8|J0QaAbi℣;`kA 0w,ǚw?Hb& #>WDiRWÅBd@ښ!zߥC:Ւʇ?)O:.tux4$n"(iXLpf \K{em?+hU[hr' Ve}[R׮'47od#3De{JQe!i,nqKqM8 L0%+(zEE5h8ÀB2>ܯÈmf1BM!`ʒC/gJ/*2JpYH5ܻatT\1 e׽~GדqN HϘW +Jdx wOG(_SK/03-T|g߶@IbArӁ$\A'wsUC.qƔʤ5=5/es('ڍ `ƨnƸQH#EhI,E/1(8FjHFXLѯț'N0aw ?C(L]}U}np]p>wvIhK9Ry%t|0}fD#Aی#ף B B |&GVlu^vءLJK9mqI{BmM΁Lw3\2jzʠGHH-oхkJU5j(dtpz#!l̡k :]zNDgo"K䂖QU"DP1K¼H$>'%d Ɛ39f%/Y l~H +|(ox "Z?[ #*Rt]xِ_tɂ)Ω縉cQ*L`BxM_KLz8iYM~qA4!5T'ՆxرǐO't/%^(\&aϮ\fa:j'*vQ~LI؇`jft^W8a$rn|9qsX\7O7_<”feJ+utro֤,ֳY6dQ$z+a`Ð|5ڭYgz7Xj AtU&~FjN|K#Mx%Bt W!(4n ٨S9}]^`A]Fbfq<;/f$Oφ~`%12k"r;/m:ߵAE*3o"m_3Cr-lRjw6-ց'|72R*6RDŚGٖS/ ak7ZV t $|5fi8pE$B>#y<P7^|/;o\j č#n^ _[ dMSGel߬[J|T3XW΀Eπ%䴳 +gE\k@n<\ԷB符QP (hœ0K,v?$˩y;4%VvBE ֤Pj߉s9N]" @g*({yxm'y \2okRxPթ1]#qӰ%z Aiw"irj| ]/i WO0\G>"{2XpCW`\>$ !XE!5#uI u7`MS\UguF1!AywYAzTd0 "\FZ~d5c g期cb,lj.U8*B i!r/5yΦ "'Iy:陒> eh2dZeK2s-)1jiSh40[-1>L fر zdٻ%Y@ct(UHL8U߰e)KbNK_u-~/adL.)RM_r=i|6_XaBkc?$D4q %Ezs^"F`PL1ت'd(Aﰗ\S%[B'{L輦aFnvw,bD'/3Fu[Fapo΍b"6]{kڟxnMpw]ɷ1N!C~fFvk>TypQ ]dTŻz .h!*,gO~'*KZԱ) IQMfɽA>Mۤ.HиQBz%#y&Uy8 tB<yXMq:޿XebU?0jl7zps2M  ]\dS.iG&GB'gwFN<ůL1!=&~t+FzekhIl"\P!T&ph-!K ᓓ.Әj'5Ԍ^1.\l -GsgwYgy] 4'iBUsk2Gk̴Ldca?}'ᅳ YW{z H>՘UAt z]a|Iݎ{-ըrd@#.f汢"~ڹ&k> BԆ1}d릝a>]&pb N.Y*gBGo"?'wqIَ:>Ghb,`qf{`f^(MeA KeLjmu!G[C^&$䑪@bwY*(^G) ތM01);{ҼCv2v@o)9%6kǾ/#aj0퍥x q:ƺ1HV#r.>p >=ZSܔCivl^I 9!Y~K A- ۧҌ2lċ=yjјR3(ڧ1B Ueak`|~+EwwڗLYxBʖfupbYE/*"@0g2x?7{}ε#LDJb9BQ;Gq>מ톶f}yW b׶Wٌcĩ6$J`(Bh[ʳ(jXv#_4MJSs9B^V߆~I}К/Sb*Loēps Lφ(F/fW;^$+ap!)+ñ(;. Xt9~m]*Z$e 4f* 6k S*tɵ5E^X#bR{JV6[w|h2QKBMD32ٳ^ۚ> H?;u ~۽,2l闯6ouN?Ur0Cˊ{ꡛwگҔ?69aX{ ፻ vz#KAߗSh!'|=Oz9O">a5ǰjEǬ ț*M¨קJ&*d4 IǑUv<6vzk2X(Bp ͿK<$LQ#u̇C9s_̫+L/Hz;# bu`U3_$8l\.~ @HMDQ| ڑJ#IX,5DBP)|nrm95vfioqp՚slsPT D$oK<*[<%GkWAj%aSm#HTIMљ0GMti )"e]z9/*bhmJhy<p NMUƫn)|mb1--2RM RC<}\ ꃝC * RFT#*M\9^cVWU>4]PeMpB4jcmtήzöOR݊4$.M"I<\J5>Nk z,|jE_ <ŊywP7fooy^},!"h$xZ\-ڣXpe,M`m e $nvi~/燹K k%:dM=JB76|d"ۧ ^O2kҨrBjڗf~P>rK\y6i ցX R~n Ff,0e6n0)-n|0D0 k{}X:oN5;},NՑݐE$\ t?7,GtS #5M sԲ$'1+kR77[-iV;.0$! Q[K7GcN=fT.2ڜ aA~Y"ߞ`S$z,;{uS5vS]I#}Vyii^ϭ6fd# 0|Wbd4ňDZ6OBa!H{P=Dg6;hKz> A?_rkQb0X  bCQv<9_Zhe<3&؋%\t.,[&%ܫW8n\=y blHkiuVw>g7YI{c lyx6[ d U?r_!3BNMW.OlrK~K" C@xƌ,m˾ťRף-)'q Ed=5ò(!d@#:y\3g׍j ,j**q` 9.lyڶknsQfd^W u;6MfJһO~^iO{,̓4<$:",=詭(D 24(bC_x[/D2:7pRg "TL\+ jzHڥ}aQ2rS *I Qo;qn$TV #‰L46v'k*HeE]* oZV#kpֵE k vw[:L{/Ptjpr&۰ך́p GU~x|^/!WNUp]JjZR 5!"lfsğӐ4 0*0C*kx{07HQ9/n^Vf|۔ʆrLJRvB\p7#i^Kdy >ԇ*3~ʉo%lođ"B{A8": ':"{7sVEg4ulzO1iY?P&w.pB:Ƴ!J:1q:C`A_$ns)h&גɁxe3tH<65 F< ! y/!>[O@QΫP{ ^F!4kJ.Y/UĴcH Q4?(j׷SlG&/tZ/ n^w:( Q׍nL;)QC?{Y`ml0dʼnZ" / iEVl PJV^dgTͯ9􍤦L+i{Lju،~).\^7ŋ/9Z$Q8Tj&Pߙ8AUPEU6ӣazBm{kU^]:&F&Բ&Wcu/R;ü Hõ_CB ޤAmo{7IEmbdNJ^ԁ4FRDt]2 _ƭ潘%{~l NڰI P`5Ժ'O%Q<oF\oz(|]/Ķ'f.A@=ծbs3^GC*W#[bcWvm[Yu8A|CF:^%7P"j1f[900cy&@֛]/0C+IU1FaA^ɗPoּ6g=#UogV|T úP{B,rHJ2Vl$xP3CW.ĸli 19'w*;iV;tE[S3EA2G F <a|f|:˨ٝ!3)P_Y M30SںzN|6 I>Up13B1L{bZh9uRp-+F :" ]+qǗ>9oT.KUH f-*˸ eF XcgGhV`KlSwxN??|lpsA6eNõ*R>Łk8ﶅ+h:XS *ﶥڂM5tA{6LCC+C`zb8{;in=/UdA H o 3\zlvDfS6G@|7w}a~b'K;74%wZ5'x3Za\ $nf:@Aꗲi+!2~9\*/נc C:;J( X3 xO8 POW6XcŤa]4Z);|+lݾ .dՅghgL?UD^ ob$}#Ee;NVNr1@P47/3[+z4qZ~sYcEPYzRbbO^U;9tq d;Ǭ+˚cDY !%]L_-w|f sil#3_ ʉiFrks4l}p1E#cm]G=>3AgB:p=bi:jsM_"ۡ: AqpaKLBZWoIbNO\|X`袆µ)-iH'_!gYZ7zXZִF! F]ŗXiɟ34Zkc0kb %BН9||S8Wwm9 E(t}SwtAg3*Զ5(ܭVgEЉLAsZ=*E<@YKBqᔵ^CP IVRGnN$ ~8^GѤ b =ȄE0ώKsaZa.w-nirc-TlFq}˭=)qHЍy:O|> l0Ejdb \zp.)Nsp)5N Ϗ~}(Rmz@:1LN')i_  t;V`=SnPnǼAIoI$"a$k[-{. &-s]g-V*KH5 hxik L.%-l-Vywl89Nޱ;9yPFI鸚RgνO.; /q7s a }*[un!bۯ,_TtNjfIL: u^ܗ?1F nwfHhӾQN 2LDAk:\uEvOH8ɭ^11Y2A++ }ө"32pOWq~03mU%]G9Z/v9'Bdry2dJ^=Ҕ%HBNKN7Xn(akC#  8 G;1CT(ηә?-`h&}H%,u5?MrQk%0,3F Q$a$WC R#X|ZpD   GH3+6iF;9Rf4$*6V/1&D;y-XU&Xp e\Fv!_@>(A/Xv [Y cF?kI%\ޏdPI2A'$8ϓ.!sLx[ n2&.aG/1/Τ]ku z١C.ֆ Gb^Zbmdn.a2gS~rO@>bq[+ltJ=*"v]ݔ)\^poUh(Mzӣd!>#?0î-RM%'C96s}PVѨj µ"3\2 YM {.˸Ckx50Q/u t-b[YBS뗦FyNŪ;B=˪CI{[T=[ZF]^K|B<8SWhm?Waݷ$'FA*?0RF[+0WX`GBM]pKFLLwʌmX5(h[c^{ŎQ?0^nQzz qehܐWXA4~{OC)=f%OF͊Ebx*\?6K3mO|@v<'bݰw"fhg_;Dt4Y9'}#)(@FTզNM< <}{ ^bHEE ' ZoVnp_0 mu- W;<{;br;8'7Qc(?esvD+15[#K\RW%!%$VKk A\bXUa?c?Vnw\r8&uWӲoN*@PUd3D qF)#E.ad~N5RBK5!x2 ,W$a?m~ưB"dWWW`%`L-&Y `Hޓ' ->#_GJ$W/ؙG4 8Rar8<|kpU&p=o,02ƩD"d^ J a^s3F.w`QJ* 22w^x`č6a=TiUjJQx^>tcZK$LVaE# F"k֔Yy<#Wͩ+E6^[0 H^A$zU4R4,ĺU Ril^p8+!tgid)*#s1cb3$7)snl˸S S8Zem #}7OQp$E>eRnrø"J)^ 9:uEi7 ' X;XXC}p,Upl=2WYw0ePnh%: d`hz?mmYvlCnİd~f:~2w22=TFgͩ)ljpvZCD֦z;,CiBG5B 9l~\BwѬɬK==r;=:fD7}z dkr:rA<5,5KJEm@3\U%wm~+JT&Y4Qq-q9Kׇ9v e7+>j-d"towрSkf8{wX5G64 :}quN>7+#û(GQ([,7PYmɴ\;ա$h>:6nc BjEzGE̎T