SQLite format 3@ .0:  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  $%\`;Gؽ8nt*q* .#lw gh,jmth|#l *0 "JNi! >DG6DT0AZ>6'B]ˇD$΄ &Gu^6tGǔgfʀ;4:aXP(HAc2،'"]6#p1 A=9Si& Uag.F: a1(t JPk䋋ᅲ;@w m#bdK=5=l]i:8ڜOH >l>@Wf+&ggr1a䯵2P>/J$dj x0ieVrP&6yB!~>/BCɌd1P\R\~rͽ>Pd_,H7ofkqBMKH7{-lr-̓ke=W1gփ ,T ЇQ1"KAacUqaIo WE:GRi.~l!jqiŠJYZV JR)D\bѻ93J9+jo栛nΪrA.ljxv !=Gni>QUrMKZ "y 8y% % HOL-Analysis  Ub>LmX2k7&i8A1oGG^^JZ -") `(xCpʑhn<Laqi\^Ş9MVت=eX=)W#-^t QAOY{eȔ{`!Y5HE;nqpz/ lp%ImjXZ 0bRoʊz!&NSx9Yha$ [x(%2.c0.^wB- Dڦ: @"_v|z>]@ )mv{I jZ X`jT0^;HkqyxuwzЭ@ yhPMͲk'B(l׻e/<7:ȊQ{I c] B޵¤fP;2O#+ tµ'6vr@F0st@*[H/k\9I\ý dˇBR K3_ۑyҬH`6>YϽo}fpmKI l]Ǡz4- ot&r=t6ZVW;|TK"6,Aϝ rW u )20_y+K<؀3v 6Jh1y}P q@!2ET]06;ˢVZ6g<DS C& <$,;WΠFJ6IlYQY敚7!, s+SmйfWmvArn[*`p|Ҽh'0AN̾>YITȹS[4y+#=Sc;~@v]0'mFU_pJqC%3.iߺn2 z3nf8-42T"qNr5BR,h. ]}W!:5l\"6B(gMu貫g; 3K$mjho)ðODRV8sen Jѡ,d = 鉓*\a<MV\+l b8ZR"1~2yQr ,p0zJ, gzZMn Nݣ삡j'fw2xn{wZ.{ڇ ւW Pq͗I̡8\1)܇pC ?HGAQ8Gîe!jc^9hm&tbz3 G [H(-Q4hMk%3ލIE49[{:e>%jũ; {Ip TdY,s`Z?C/~WِM _ r[;OF\&"ںI[rhBFN2T/J {i lp|Ę#r.EU~ a4 RdFqH^Ϝ#u4g:i+3+CiYqhaU:X3>~ Da[Hݶ%*3Rlk΃|J 0knA6ΦUm'9< S;Ҭ~_1Q1 ] 5I+fiexlvc@}`(@rRǢo:`L)]Q#ԌBՋGz:꽎͡iLFeCUCwa{!xΪLL=4VCQ9HA[ĜLj.xŊhk5c`)=P^ }2 1/mЃwە^3s4Oef\)Rͬ]x9>TQ^jd [4E6tF$C; \zVz CD X)qLȲNNS+xTkMĴ11sq^ <#J"65Z,V,݃CJs UFxde]@x BNGqpqCؙs3f "1v?˩e6qJݕd_Ɖ!`b5SH:(Mމ龗VGs@eYphqJ.+&C T?tT.p8 Aa]:k 2'n׬ HXQ J\k)b >yC$KJ%;yTPI;v2A4muj&֨m,IJ娟5nn}c!iΡxD{$ YY,)R'ejLYn-;b56 s_9^fGCOrݙqikk0Hd:L uYs=w\3si MR_jԙg $"[/D&M+N`:Fy4f)cV}À12ﳕeW { Kq =EnwboQ^dg(!~!g)r9MD/.m2ayKs:l#vmZ$A/N,뜑5ZgdπvAC}*ծN1,U4exN~YTr2sݓ 5xݫWI1iO3 2ZB7O!$vJXpI%uJ4{굨.`5b{1P(7g\en;MmIKiZ\WN>rWE2cc@*!AgWK@!X A݋ /~u6iz21k`ąYVw.%Z ]V]= 78uUAa ھ^-b A`?W_>3]PQXDEfўZCf1ޮ'i366XP+5 aUMg9#zߥ B-B Tx՛뺿?Y/ܭͥ] Two:M̮۩:XU)>Ա;Z 14 ~a\s|X^nTu~/yߎ8wOrAPj+J#SV_9]caG3%p0 x`j4B\PEm@k"AAg4ՙGj8Y|yd^I%빛[>[X[b"e\ NCh, »-PoAM@/HrE[gNLPun&A׀e<<y.`QjvK%T_2jѾX+RB Jw?׋U \#fV`ʪT4| .#d!flƆ/B^S.g1d >;d:߄Sr9cThX8'ˑ"h,ĉ~ Π_|RLX xM8$$\ jSX9YeX#L$P~G_׎cbH;谑ni%y'gOlW,ldРc^Ş},~-]fgkb}( h5&vB,?+JV6]Gx=,<P>[7olY~a]`ڶC;Ճl S.wzo@=X- l-NM)+^HOJ>| dE/n@l{<+x4l#q1ʳp01 gǭPV>bO9l1z" 3fZNA]KQ)_E*rsE`⡫A)6beP=6"}LXʟ'bwv^ET,E,𮨹t22zkIARf3 Mu6$yѴz븜#+xUg+ bMR%r*h"؊> V`7;}~ `XB{ Z L/.ur-{6hToYb9S4ߥ\(o܋ڧ=`qu|Ee=F}g\LĨQziwg[AQu*?^q/אlVӍH(+-5 w[/!4jsڱAAVeh-E&m{9Hh4HjF MDkC5p.RG&S5õ~ ^b%HM)Y3 ?S*lv2ȡ~ggVt;$_{ I3hK^ @C ݗZ.> DqRa*S=)^ގ̣0!Ÿ5h%h3 S?J)t.u4xY׈y9)`UB(lT4/s:&w+Q똟bil*Z#c%9 ";FzzLڄ7#u|_ r]לb'UAT*tJŋM;vK)kB; [E 렠aao6K'l'ϻ%eX0Į.~-EwZS^i^OZ) +(\mgC\{=f\4ޞw*ZLX-N $W:=YWo}+돹X'vjۑJʔW&5ݞ xZ_l0dGU ʾY30g_@ʳШG\yZ*JTEd8oe3ZH<=sERMv >v? p뽫jL W נԤF㤶}]i^ecg#kJn#])kBgduAh1kٜ 5O| k[BYq- jW#Q^ux"QZm Lא(LCY7w~0#i:}xRfq+ h6`E] 8_.t,YOgeYwtJ*7+tf7 QmxB/h@7}-;3*EfcʡMZa;<}s}a g꤅\-&Bb#R5$By[*hV5}pQ 򍙎wav/ j{Xuu.Qq=s[ 9 4>r1k &R4@(Hcǚɷg[.КIAa䬕v3%)Lþ~*VuLido^\K"t)ϻzZ 籃x+$T̉=SO `Of-#BY |e&.znscl1s#x8,}$0iSݷ3 &M㻕CKKr"O0MZ쐅/VԵ]k [Q;$t=6;-g74lBĂu4Fѯc\ 7ݡ%D bbZ R†K΃\TI H!Ϋr'`mڰ1VX·?h Me} {'2/|1{1UCL [Yjo4ww:OisG"Y/ޯwO>)65fu11=5$s}<>Xi͵]SY(Vp'Ƀ_kj֐x-<21~[]5aGvWB:ؑI~/|AC[ k08V r{T/ItG>)ޘJQ "T'?4:~_:.]sts%\fMi&^3r`22f3Dsb|:{uC! I=}eedo6͂NQS0}c+ķD3SS p@wli?o eʶ_s[%vbIG/XH ϋfe{UQr0hl8/ƱN^0aˣFXŜW< 8$8Շu |VOH^OHLKB˳0&GǃTdo'@J~Y-ҡ_rԬ*J.m+c``0%ε-鄸f68mĤψ="9hDl 1(x\gDpU`h0E7&P心xR̈;MpV +Xa)yulxiH3yov{Q ʳsB)Za?^]z'WrTh{Ľ)$ssٓZ`~j/n;(N;paU`P"K,.=,[\(E 1Ko&~_=8ʙρOKȭC1{g`;Ws:i: g4ݫ5 474oqED 2OPsgޙZ̓unw}pqU^D.L*¢U+Y?uGt7/c̘5- 15qT9fF٤mu魓a^iQX0 ,1 fz[) ̀u{lZo'"Ȋs6nY=f e@t:I$V̡ yEWChB=$`<#T!5"0BԼ/7 tWzZJȌU pl\eZqv}e2l]#q%gD1Ar@N0ovd}`g"E5_Ǎo΋'iPlOgf91#\nyE+tOF}Glr 3{.J+u_:sH tx`0|2r1^M"MIɞDoCɶQyR/|Cƍ߲w\ݳ3q;chư%M<G5WX^c>7cmǮ^9M}ȽI$_VcՓ7k$VBz Rq1#9l`^JԽSlA5SUM>I84_\vXr .ҕ JeG٢9u'FTC#}Cx&%Sru,`1A N.53@du .ffƪܖ4*%\}K-aG؇vj_;U$X뛜_@Cu{.E"񏣽fY hV&ؙHshǾvae$I*Z1}Z]݄fQsfnL< ;G|{y )t[DuWbCqHHϜZ vxy93YRP=%Aە9{hCErA.chށElZLhU6u AC`"zq-F$G8}1LK(E+K͹6pC|3>r) &٫scmj1N0 )PGskE.(}t1rkќe)e"qI<2oC߿w*Mtx[~d'SnOIQ%NYpShP.{p͎g" 0zۇB{#䉜b[pw#W7Mfc[}J1qo/-t!67$'Qhr dJo$Ã.68"D "VW*_dw.y$̹\$<>5.'#&HҼ0 h-1lmcfIZucחY0>8Pn='S7 hR(D:(#~Ba,]spi! M ^-9L+5{Q&oY݌QN~zA!Ao(ˁ2 S>L:B +tH2?<7RN84AN}}YCX\T,]Eb)WaT% 2p!9C+j(B#Wӝ~6PldgZĈlGX(boo{`mZ &g=$ Y==\ _BuG}Zk`FyKB|Hh؞;+D uI"trA#+w4Bv7vT%o0bibݯ*ap*\uGH_1D T|~@(^xͫ;Ne 9qOhgktʍ6jc_-:d }q+j\9'ؼ!?Up "CoHu&C0QˑoaG0 lH£`fg%cN 6-9C'%ZF>˪ӯ-݁7cSuY};O{D͜qv>Yw[b@ri٘Qڸq"rtP5}V`9y* &i')mY ـ;I}Vٓ2  }KV(f/CXX|[_e< fL~@ @3o} *LKrJ}Л'8Qwt9C90PORQjpm՞c8P/,6Cf\, xw$jXG6ָgxz^sY9nRk@p @sz_UW€ /X[ړ&SH^Qꣾ-m`=9]7b&o`߲سHuPdcUcۻ2fDc$1F؂q4pDFe 08ѦO!n <>WH2KtGFߛ"DBQi@f]rpR"֜4Q0F-P Hqz";VDx2V^In1d;UyI ;DZuT,'ic X 1w#T-9wx@*zo[ Hk_H^=+3-KEJmmٵ fՈv#;}<|]Gjׯ5.4SbTG|%91kQc:TÆtg&$"~A{9&~,nܥ>osH= s&{Zb *zoHԘ? MSzVǢ|wgp~%a.CQ(;1#{ڰoV5qȳJ./>84ƥ#D]`U~ݫ g?wF_p6 D nд7k;Dcg9@2H1[W#cnkp'T]yhv fӊz 1xz#Bi.`_8yʹ 9/]‰Aҧ (ucǎ^a7h|!52Vl/e7aIqVC{:k`04dN9]X~RB $#,:I+x\i&E5/Aq~;ʨ nH^} xI@< w瑩PuRm[6f-Э oVi!r l5[%]i2bՄC;pGJEMJM/,VJщ4?a0[ʕ>-pV3Nh Yۨm@| v翃7Pݖu-YUYq u߱zQUaì=3 nw:BN 5|ؽ}Tr&Ǖ[ =}3QClv]IJRBtlJ 1.evmƋNKLJ GOiJ/iV%l2٥DY| "儺vQ"Bbҟ{ D:( HMWkC]ٻǬmv12l[f%F NJNӅyL?&DHtx7vDjI..f;2me0@w)IDY*eu'ܿy܉U/BT&}MmP ^=zX. z][[L .(U7`=rMB{rބ 4fYSfnc5bk*x4Nmbm_aw9(U.ek&"FPZ9>Z~xw`tHcp1_m6?b(j ոaN{1l~0;Y˓d)vvaUش0q uz,=pP<@X=⣕9>y:^"V+yCZ^&?.Yb9ԋ }(OmqV]hX]61l-[NҋD5S&j"OsKܓݺ Vf[EMki2)s]D|]Cf&k&ލ*@} VS+WbGRDk)'tv/^Ǟ7{Ja[} WrhO2;*Wgߢ/4C0ir5#!sw(fr 7\j3ig݈.6mg:uɤBzVg)b>\~+ՑR3L05jg囜u ~v:aůvH~˙1 J{wJ*sDoyc- ]y5t@֫bLN0*3#QRwrǯ5ot5e3Q/+q[# qGE nhD9zg70oPtFTDq5Ɍ5f8$:F X)?tA :Ͽ[3΅Iô7g5h\dkq\B] )ɵCؒCS "2ysXs5Ӧ4\(2LX7DnM v+G,u$-g*} S05{"'^O|BQ<\2D9 4ɟ}sL ՛]j^9e4u[j2-ݎPqg FV%jYܘ>ѴOfTTؾ5=7>S!Jۋ{)}K%w('$z(|KɕEpã/?ZY;dXXSc-PM=3?` AVmydDnq./'??Q@/F$hjt|y%9Rˣ-TAXͲdp`@_'Ιeƌf:%V7VP$ P.@E9 9Aޙ?*S0r7d.Yevtg5ZϏms?.B 9 B.'&[/to_z)P mg99gޖ@G"Ὗҗl+{Klb cx@>R[#ٽCmvR ؂&)PĮzv =le\Z5SU5\_H&71O&<٧* g}_2'(fHi+jqw\I:Du1?z.bil`XGz{Ab}8}_d#~3 k|A sC>{Е ljݘ0*1E[p;ĉ8~d{i'Ys(͍?Q?CW=k=â;w2Jn1WPpi%?-I3.Ll5,x0Pm;yB>RʖY B2Y.UD2w8()2q!`0LYn[b6\h>^ u5(c8@ۜ#4)ۍi"čw#آ'Sywf '(G\eK&ұQLrgj`I$:kc@β6 .u(&br#J*)1)7'Iwg,nE)w w=sTb| C@N'<3}IbPi.Hėej1c𜊁se)IY!r=v7 \*?;PD abXʿr e#7!>10OHk"?ݠxT"SD4Uzx]`TxL0^rsc{ !U#F*d Bi%E!13 I*4&eD˥ms?6W( Dh-fKSh󿩐 8i"ۋԺ{ ,[e<ը۱T66sR0G;&Qb*KSűd 8*# P 2gCx x;aCyUuû2E1" >p!CG gQ0AW4X^ [qMydǒn=OtțO D//|]5H0ssPءRz^*]UV\|=v`3W&k~aڝACE2)pa_q0({Wo'.' =E WXCVJb\"Iw[rC,sܻ-AI*yUl̹!Q!e3LB=DAo˱IpͥjXt^飵ʣs$Mϸuo"MpH0~?-X[^U5k}8 F{p 2!cԍ< цGfFO_OOfn `1.o]XwHoQ%\Xj~9X삙]:[/=.N&úof=A_g+5o ᐝ{?;r?Jƶ&2{L0]y;9 j>VlU/k$\nQ|%pGT8)1|vd\EzSs.ɾ\xFעnw/:3ZhWSk L=SlhNVisd oΩD/-F{<1}_IJ#Q1CsPAnX`Hf]o>I,!!Y+MԊgX0#e}e.+%v'.N5TAI#;4smpTo !`R&E\En-ǼX`AL'aE16#Jcq"h7kl5 U%e aql{N]XA+)?mJNDžN: $Wjkx p会;s8yi/6g'ژ-@x/&L[=v9R"?A%{ ClF~tEϻ?H1+IEމ&ؐ,WI璈o%Qa$F$Tiτ Q8@ ,N[DTJy ^=:Nh:ыZ I[D ,V2Y鑌Rnd*=Xg/[Rү.23ҷg׶ݠCR^i<[7BXRVSUmhnw^Y܁D1?* O׮C0yY:}e$ 'vt o@m$E1+6r]mw>Ed J./Qv+Tj3S3㒐;6Tjuyu IE pl#xg]RCZҝFb4;`-A#]4N?޿ÙIVi֚\q8 HOͰKiOkfZ,{mfQk+ g`ܖ7SNkCf&4+e|HQ /{ U+!;6>QPc~vr o1Q3l"6TΚ[]d(ٲ8m)2޹}]">!fެ f<cpcKIoZp>ݿm<Ă}6Cora*࿤T;ܼ|[U_AO@XoJF0LӋ,X^hz"LTe+,hHCPT3O^99o N -M ј;Zw~F#R5Tֲدt<جBllhy|Ί'pJzzH> åT2ucvRr}VC lcfcU%t V56 "˪'kb)Izg0 ";~Eh̙+K oPFnyQ₸`W)?ӼE6aas&#dZ[,S.cɡH''@=m J-F G LuwQuc_#q)#Xqf>b.)EC1/"F[pf"Q<@G۽xLZN6 V_U١iL7;/ <Bq=ZlY0*uD\1/f^*ЂQbni{ӣsh>}GϽt(SsV및Ԅ{A?lq%dYp9Qi+e`gA h(3Z 'l領M(mb]b ,`Қx aW=jVt1nHVCsf?=]~ 2:h`M0{slAu}[Ի?HcO2`z3LRW*d.ϟ7&0iċ. Oj S>-7:ty_6ףJԎERqs|S+xPG^ b7+1A#I߻1JYNb]a1hAz;(bث~M&e`Q ٢ owbTH\MU+M"?ukM&LurD@"TMxU0s$ך~X$ \"`⃢1*-C^3u:nw?B|_>.RҝqT-P5_ t`X-98Ɂr=eXg^h&۫> l/TD8dkFe#w5Ar4/m(-FjGz\@%n, IJ]_ǿd81rcf~!Pޟ(ˡ 42fE66`SDo6+e;Ƒf^ܹ =;vo3:5*_ÃJ{k9dVVlwVz{t[4ܒV_/X}6[\g:4<脤gG(顨@1K3|>_/TzJM_,o(g$rZ"GZ獣 l7^_Z:q5;LEMx= `{2vP+.TNjH5uzuXP4[YuO:Iq\g8hq7C-i Qľ }gYZ7zXZִF! (! ]ŗXiɟ1˦r!cHkMeBd4> 1ƅX OP#ɇlwiv*$B3 `0P{ܷoTxHh`UMoYj](tnj?R>Ml78V¯̻WĊ,万 5H"{†IBza4Y@C!5vFߺO<@#/TKLsM {0ZTkZmgoGP3-d7v^|?@4ҨqQ)YBpֽ(pʠĢ\5oiag5:\E`7%RڃAL^*EvV@4, ;@äQUZ^T ዛqU3=s\m;j&\ ۛH\qhKtW҈}!~"F8c9ԇjzf^7k1z2kkl6˖_0d@p"'Nd ȑwꭈ%Z9\|4*}EIK#RJ J@A2ތ,Ŀ:Fny: wP9 wAK52 GԨ95*tG͂XmD6ߕ)T]7 y`]@O*%UsC-58bQ&t#l5nsO:أhOi]KOTYkbtyA(/u}_ `|b앆A|K/8#y8Y[sxQLr4awT[N"2}o&1Pe(e tۃ?rm.r3 J}ݿ&%ּJ༮BS #vye43PbpqhIGD[}mPMm˜rRwv FASo=o\$t~CZMpgN.P{tt cmTF {=n*9ĊӺ M]A3$}(eVk.eeԠl^_g4 l~ ^ ]#Ya!8l/OhO՞X}vck0 5f Rs3A~< v>+bh yl$PB8g 0<>W0f4pÙq<ب,_vX E-.ZTڝ; ɏ*M "͉Pt1.e-ț>.ki1x7uާuUVBP7#bзI@$ez"\DQແ,@Fj@ 'ps}YEJAkt7JIi~Y,mrYq$snvDdg^ie>Q7/{WW=g|Vۊ"!ލL2gkʍd8¿dR#TfЪ6;f2^UqSIȔéΙXLLAvK%DPoM5V||hoͭœQlR z.vMp_~= ĻdчJM̍nՌ1I\qbVkꏢO4)Nw( kXaUXݾ.D kP#h/`c$1n[D -:VI̼|妾޽26If:}%6e9eeCf*%MDPnXN"w1(":{&$^PڎαgYZ7zXZִF! ]ŗXi%GtZ_;y_ĕB'Y sMVb>kS@r><`%4޼q#x{ )6XNW2f@;Mwn< vm*Χ IÌ={"zKn*cWQTD=ky7 :tp,\972 -ס@SxEA}܂3r׮$ϐd:IwtGc˟w稧k7BnYO 'LlKixgt_qR%+ Ū2H)Ad{}B87u vJuCck$Wܫ<sh)T3d@mF[wT.2fF7c#`fv oEdi"3HϒҢA؂M[Fש3]j{ճ:M=qZxThؗ8]lI{."<(cpLZuȝ:Ak=]D + SnVmNÊ\Dy8[t,|$9*lo:GG1ZVu?JX^:yi~ckwV_R&z8Y^wAƲ_zf4emDvhsȯ[7JE2{:u| V4ƮOzo!T!tF. RqsLj!WrݟVZNEp~wA)ҦԽ`ḩXsr6`: J6?X6a!1҆)`ïA1>JsRNt|=lqd`@`EWGWE"I'&E^~̷i)xAEtŊ"RCΧWaInmΧ)%@cIL1sI_/%"Fh.PêJ`#9ɬVlg1 Z9y17K|{V*c{J;Sv5{p  p?reP.%+3o\T~jØM 퐰P? @ynu+iAV:=rcaLȲ/D3mx{lP78]fo9&~\=پbNIe{RK#1ݷj`rܱ<`l=U.ߍEUeWkϋcQCIm(Q֢p@O"#|oDc9 QUlH`iP߀ +Q>\`_|%*˂ꎼhJۂ>wWV QIW۸+%[H{-̚ Ub.h1 \~06r\SAc39msaSmmߦΈMT8=a EfAf*qN%Y`w{Aj Hx_n~PB7A74rZ~r]XgՅ=Q=6;ǩa4$ ,++k 7yXRW3K.lKYE:z9|Փy$<Ɠt+Hܜ@< D;0 v:Ev4Xw;B|:8S2jvUmVw+ꕅbk g L@<c:g.YbjܬU m',V28A*v+.|FEPAu2)"E33@Y$rg>cb@]<߯DGo}|;-[EؖC7K2UA.k+_|4ʥQ<wd["⚮)8ܥM38Є$$XKe.eL?h:23(Ai%?LVeflBbkNFR#?$nAaMKN2!-h a?铓L'_(ڬsAEo}}30 L5iQ*,ݻxSlj -;۩fePPh^ -m|ɹsQ: &K5;O9! ]X@g%1~bW P_Lzꧭ (kpeNg5Qc iUPrA*C쬶?a޶ ,_~ M-CD`ͼ U]Af1{Ua n>{r$GcP tUa|]}L)x]/0}Uةߡ,^q o<:p'"5u#Phz7 $-Ö t^5|6fU/0bLWշt5GL7շ(|&$;%r9 GK8Xilu$k9v3Q՟\dJ wsԌf`VLU0p ;/fOKC\J14(RI M kUX;|cpɀ_5T%VɉtY%ё[~܁y1 y t J$,V$G[;|,Q4h$Z8W-:S~/rpû|zg]jڀI{"9C`_͖+3b?db''rA5e[ S"197w[>AAC&n9vR =P{n=(Hxi3I+C$eTwy8z,292obwlJ;˛{$, q}P:Ib }L""<bMn),̣`.Uz@UL9;J B qf lњ7$FZxO8 gnXRL͇=(ŔX:I}64'܉q$X_ mt=&y@\U; ɐRBBx > ]1i|}H7VpzK{@ 4gۇ믌CS /6 %? 7ǤNT}Fur`W,fX,bK4vm`%oj3Ԛ0~D I,KpVng͓S!Fp@,I"Mぱw\};XoLY5Ͽ`X&S P+ WS P{&m#x Km׭};(_EP}jj؈o̔1}Ξ1PttNI2oSoL |Bre &qw2I5(!@T)Pay){3Sqh"/K\12T,"n[S ;ky^!]fw_CjחrAB#!Dky$ќ~is'Qݥ%7q֤^ӏEdy>Fj48ؼ^6$DuL#H@IGׂz!C3L"+?>I})#LBm=F;`oZrc)A ·wnRl dg&..1J'KjUMXixtmC~_ҠGUR Gr,f<V -\rI:WbVc+gG}(Ogt`CQu1f4.QG()P[a[vM`\GmuZ05 x*CWR[^;Cixs8DNկ:\. u- [Fj>+Bnf uxSq8Vbt̪(FXj41}&U92jNbfDל]d.$`vj{jC+w,|Lgtm'% w~#/}@F53ÑNԅS uFG^'cTdzMbe뵑`o^^6ƢI{lqK14 ^ 졖nmQ2LKRCQJ%(>;4PeYOG~+zYyS-)<:,`kG& bg[_.',v 1)M;d;^ӽho& !p_h|a3)$cci \}l7,{~-ԃI!Q"$U=Vlyi0*fim M@҇ݔ],>I졯ntbT;,e)ȎGs6XY-hֵr6 .~ E!܂/ lryYjjl7bAIqNg-`ߐ.6;E~#|h99DbShfwO|*kw()t4|1Y$QBWdҮ+7ƀbHYSG/OȵMbV֒q≫#g9cLwCS~}zq G>vl>fjsMnUN_iӖ"7 }3$.C*n_?Eqawp=r#-ĬfOPEJ'X]&ɉ"<ZK:{0sC }8zm'"I.}tigjg,\BU^S >J]q[ߣ ݸ;lWH r3xyKN))]8`^v= 1|@kѕ)/x&.w: :Ї2pSIkf55v5osse \- 1SYq% ^6~ƾ{9oj?ʦwH)?@XV5;8$$'ɩ&N[_;D IXuoN:r%DpTW*g$Q5@L!|*~myr+E(z7*%<9'g+TcYh3ݥeD0VKiNQ}Ը?/aKDp`shH#@Ղ[MU9 wYAԆiV){0pdi!$z%}I -#MG$]/alad}cA@M 1#t1('Z|?kV! <:צi^L^xbI;e7 HPpf>9hUn,lTErIZ.f>P0N#.3:"oz]oV@|el ҏ 9A\Qg~T#U()K,bYt`'D)cλ1(~ )i CzkM_>R,<&Ew5+@0ix;$~!:'ua'GIbG~6^x5E.2 uaG[YοB=f)r |Z"-+ɮڋP⊞z9HŒcu6{Gszym= 6R~/4x"a6v_\`E~uH,ZdV@@ i ^20 F.>Oon'w5::?~ XR. UmlMy /he~͐8 P澌n2y'=ꢮ0ԥtQZyZu߼\~e]7ȩegCF{5b/=ؾ`)Ntݝ J*l-Gl|\};/[/dQ|xچ)z|=`񏢟L ߢis8~,i ̾kA4N>ń+Xe*22oH,q ~ȁתL ŏGXZ:P, 2fH h<@.Nh& Bo, 2Pk~\'([Mώ3妖0SpXǮLO\dE9F%EJ_)'D/mLqGq.a% IP:iʢɷuaw^s|L/w$PQf%T- 6W=3?Pj?ZQdlU9OCh)X'/uG4wN \[&Zn;UNd{4X ~&QIu)pfRop\=lGT8-Re"ў\'d/O te:s/_~4 u}_*Ag3ڸ/W|_% !) ~Q7U,L! 558hr[.Y^:1N\<`Dhg5!=SRRB!``r7uYH(䖵s 8а&z4SWc ?f ζVG.Q??.k#X8/7w<8zIf'V(] 3GŽ l4W0iaR 9=^!S` sޯXz [=Ǹ7W8&^i)%C x'2M٦uW_ d4WASL; Ff%w`Hz}{[+M_QX`%giV$ (W` -Yͮʉ ![m.] Ⲓ_^O\=]nב1w]cr{>k_BGgB Yc[6\7[Bx *PtV۫vn[p!e硬N_'9mmؙc7uSc#sZ^m_h=p¬^B r: '%ZZNU,ïjz}Xɦ׳SyYC~13Ƅg1~qc̈́b^ Hx'%I?/BwS91\|DS#4a /Ӭa"zĠ:8+oM2xń\'$Afld"BUP}ZYWU{(bnLYNw#xOW:nTvB‹jm:,CІqDOBR(f-2$ES!֖#>qxx dCYu ڴvL6}iMȫ?ׇm 鳩 P#hN =cqh$6s,PfaMQ׹vԢE \LJPn)L3b$1! 3 [ ΡYVgJh΀mfzbrV6>4-B\Υ3SbRb MSGXw+Iԗu-a.}gixYR3<bTbz仌OyXgiʸ[^:徱/f.QC.u6T"Cd7eiyC%h,k _>S;*ɰ:ivq3MIz䕝3ģaFIGk`֚ D~O>CLVcqQi9P]7ZBI7]Azhv o8ӘTh~* ]Ek7@ĕHע"Q(^v/ @iw ?)<"EMvFfwA6\6F qġ(nfY)U\ū^0_frCGg ?^~N߁,ic(EahLTִyWSq[O+[9o xOx7mM` r^g½zC}> S:WF:ytnXT4jQ!49|јU!!b,?ZOK`pHip(‹ j^?r~^(7eg+@GxhOo+E_ ">b3 $݄.i>@W%yg#Y:M:7jǑ$`D œ..`A"e%=>!b oSKl;NԤo^8.VNa ݮ=Fkr\Kg"|֥ӿ|&<l,/Z) 䟯8~ =xd{kNIM?/g񅏩ʼl]QҺMb .K0d:^A2엘O|8\*/X}d0]jKmȍ#3mшxhjumi/+?L5 sB@gA0qh:ǂ/2Y'o N>wN³Bw0VX& /B4VvZ -[ 47=ns"V_J-^`q64ש |lvV0#$+H%hl6ݽ|mwٌ >=k._hlsc?`ɮ|޺;dRl@1إCbz 38, +'pZ ϳHJV=x3hDo󾒆5p8=EyT~dBuTa^bww/K ) X7j m$2!s%E EH$\qSO㍯Ï||!fx؏;xRF10qđ 4'm{e> JPꟗSxzױ^:}MR8*Zz=7Rv 2vM3? /wRčDY%g0oZ4`!85nQQKRK~(n~Yb)u@"ΩDFíPkP KV;11͜7u+.:/аJϱJD0MЇ[uhY7u6겦y 5Ob5!"n$%<ݻXHl-1S8Zϥ#0y@*0! D6t8Wi>s0Wd0$ a!,Ɯv ݲSI*b/Wf z=S$w4)Is!t0=!,Z!H8L4yI=Zhql ;ڈ% bϭ{H LbZ'X6WNViQo_N+#9F w?"^ږͣ1q*{J n.9xB>&H^)bPw׾]ո0UVEhɓ2lO_R!dɞ"tܒW6)9mBx d:tgO3Pbg:ȣ?v`>6r''sHnH!÷ZpU6\릔H-=}=ÚHg7^XMC8R@mIdQ|R !Fe7yP=A9(iՃQUZKGBN=LD;/nZnOJV`8Ce1n2R 2"vpg^^N]@ 8VF9Aھi!2.V©@ToL_c(Hצuʯ3΀?뗢} `:PN1Zf 2Vf?L;SjZɬ<g Jf$Iv1hFlN&}evfzﳢ< jPFQBN5Cs]xPLK#D42zZ,{"+3%'\EWFGd$5/-{ntCrs@naAu! Q$AozQlX ue>?![75’5Mb T0M:/<܄G__OlVtn ~3=lO4YRwh6e,0U 6`h;Ӫh7u%%2(}ՠd'I16g΂Ra!gڛ1Aq) ueMM~bqdV1e!UaZ0&u,>Ņd)/c9+NK/}i"YT#eSZ? l˭nu:弻`Rh\f.D(ډ4t$%]eR)TDu>z;% :qz_Bi'VxM҇1}olR 홭ϟֱ"mKEzby]K13.m4IZn-g]x=AcbO80\R$^\*4EJfi˩*eFLrSq 0K5º,/L?Eaφ~ Ill"j1jiw &2.n xFRyAF&3=-2/ex8/R@ײL6_ w;/cm?7U*ni?}LۍMG!hp o|!;Ka`bI5 NMƘ̩xnlAIBM&)"z^u'F_-5vP(`,T]Gln몗?E7Euoo]Flb$zQBs'sZJ4ǁ#\K".gXJo˲DDͽ6gQI:^ q%Fn H5Wy*}jwDz#"~ƂD2N%5cD=7@bWp!CD4oqZ Czʑ]coY$ .u"vmt˅yP+c ZЖv$>2qesadh@@+pL,J,a"W#?S%<4? 1JhCݸ?z3aαyHERf=G~Jul69'dف+פE'&!tV:V 4|<DK!Fn+_SY2Nvɬg #2~C3^pi|~-ZI)/=V"D~MY[u)Xj}jjgbVNd'<JdNUE b4wVT`k0zYdu匔-6FV$Me%|Y Y\; KM,;/jRaֱQc[`!i.R}/ȫ?M੗kt:MWГQ]lO}Pg)R?W߆ B6w^eS0p4vl7)<# Am X6q}$S.YP63젔P.Ou`E5.ԮQh,&&b4S蠜Jw4Vhމ\՟@$''5*OFڙz)u=ʷ&!HEi+".sn?[Wfܸq' +:ތp b($`)bW>S!DbU=bFѹQf"R<)z_hZdջVH/*$엃~NvgܭUQM05O$nNhlF>pGbV;N"C2)s ' Etަa"r nmKDkEGDŽ*',G5љ=NM0h SU&W}BLȺBڅ2]Sv2B:?Jwnuy$=&_qd5[p $wz]/[xxZ5DvZ&bQ#à^hGlfY?y ro@.QߞΐHm4޴ڟ4"{i~1 ~Vd,IeS ~aQobHأNÆuMr@"I`~RЙXPVghǒ-ӵkls!jy/8V:1x3 ~VJL+D ͸_!lyڸ"]IT݅W"h2bo'D5%D& ^)Z M5 ooH \ [[E4ZpU>rAvf$w#!-j [35dݸ { 8[) =_D0LWWW=! EG/qf,d4"C| x6oO[6~xM.#k+\򣙳jȭu*{xK>ጺ%FfFmTxG8z&,v`(^psJ}[9fO1r:omG:܏콓ue̗t梍,*9p"|xs2y,> 9 xSr]e$Xz!v&3Ri@}HE7V'"mc 7a{M~U]{T}YDO+akL"/߳ >l )=sOv17V#Jj/wM#@Ψqj 4)e"m=+So0Lȏƾ)B ԒRጯJwr8v~}q cUYd<l%Ď*u gGuf32)FhC[4]R >ts;Js,GM 6SEX߶%Y\ZT߻캢S}y Q@N)HnVΊ|mK!ԆMAgg }νv5l3n9Y1Ί2?/rt:9|eilyckk܅?|qe p%E_ 'IdK[ieaNYibs9XȡQƘє|~f OU'Bʛ:_ KZlSZRLvʓ:8l=DuC<}z,oF69E*d=%6JJю 4ƒox;+QA65`wfN# G/SܢDSdTw(%ϦRae$loGa&sn|ZUf۠} J+[DGEqrk!0 C>(|0žڃUtI<3n>En+0T>**(Г^ =B.4OӑO)m36Sqw *uA BW{ hUkT.` svr/i)jk"Vvoߋj:*~n%sMڴzƬecHU"iAHFY;``NO=u ^)=.~*u`437n=^/om83G\k,.J["a wOɁj&,+n"ˎ_93\1\a; &8 =*-A-Lu i,)H!a_a#m]P[䅾2]͢!݀JOj^`6Ƚ׶X$ƧsC=9XQ®XלپO]uc}GuKP/6&K\=<ݍ}i~-'VCj Vqá&-k Jཱ垃ݬ;, "2j4"P(bM\|GMN_v4m˧$%Д1z8!@oPU⿊zBBH|8KzF`hxd2_oLGvA0>pRA#h64iYĎ2۩F/I^=uӺ'%DUhcc喁:պ8#e*y `KcUj!jxQW6dݽED^G-"Ӗ#1(,Q.Q|%%fjnkifMR>95O.}gdUlBRY~z.(P'Ѥ3[_J(qB@/>~y`4;_w]'EV:'Zsd|uuEdw{^i&(i`Aƥɺho-$F =8K=BM&#lH1MD4AtȦ9W>_م-Y85Nz_YN8-ږ˽tR&  j+aly֥Jϰ+>QG5X L56PZy5=܎>7-;S pUۤWVALްZbۧ3mbt[hq`pqd+KΧ&tX04!~=1\&H*#<)N8\yENQ֭΢WKc7/A盯WЗu޼ó#0nJBpaZ& ȿ72u-<2v9CşNJ]dIcGqRёP!`Im4.HG]ݡ=MRt Q'ћ4lv/FqC6zaovŨmEP؂=N4> 46$Ndy[q m- N|:Ĝc}b5UJ84O[PSzj}k'eC`_-CLHG+ vv; p$(}-}j ~ro|8q騭㸼trv73wXqN[| Dͪ,4 O^K|8g`. : ֥Z3ր x Z._=uFzgy_PD|C섫j}~T_[()}A,} '-EtI"> Av4q`5W{'"^]c>dx45h57GXDQ_9,:{z.:Nf)1%ᣟdZ⋢) )ba F;嬗鎞2z-<d{hÕg6Bs52ܴ~PȻn"?Y!b.4 ܦmEX'GLjjFDX:i7UW ׬6ر)®ukNl +tG +uw LX7ۻhvfF۹\n#/v;N'qV %aBcKTё'` R|8xc86Ղج> mpe~;FS 'ħƫ0~ZPyCq>o3ooΚg@|~P9~)ZMv1}oQ!/AS}BCHԆ`I̯4eBbVeo %?t9^R0}4m&# o54z}U؊y`v i -nʸ,T= = Ju&jH9jqX:+fIX bAI9ƅ?dL鉬hT]z-zr]{黦oA_!}53e,L= qQa1叫_l@7d-Gg&f}Oa_+Y ſK? t6ޞ 11F)|nX:Ʋm,H͆MMA/~-'VH.~Dπ=d>d {O]K;OOM;v^Ha$ ŵT8{P%2qO#j;,E1lX {_}69Mw҈#Pū!(@EUViECd* F]Yxns?xd2>SWe2rfDB+Sp#8.[*Q8hw[;~Mx Zch5a",.YO~|[LY+6ӱ!m E(GH8/p5 Od1Cf\T.FA.[Zi"]" ST[+Ҫ9g=d:wbLF{DV'Ƌ_:1cfON ?FV×~G<^6Іѕ۞ >i{F:[TtSr續B9Sr?Ъ=5Sa+iXmE󣮪fBW*&9fw !u[n?}6[+Pȱj6ShË-~gѧ;anT8FFȥWtO<$#].>l2&48խJt@D kXeS:Փ|OHNyL<_66BEP߻E>"c,$q OLHSQM("ׇPD}˸V*G>ڱ0C /;Y?ERk3Tbһ5HHDHUz B#{kŮŋf~od8mX뼡9U+LcXY}{aaN㉞t!OsDT;0֭C:F¿7tȒm~F5(>}(H= 􇖪bw@txxCqC ĂHZ/EqfqǛN, >"5Xx !c,; ,isW][[tlGb0in#< ]I/YǤ &(Vt 1J[GJR.'T>~DNPw!_WLqg6qgSV 7W@tDя=5#M&;,?7r1#,w@=?|+^Cv2 6 qº&:1?sk!SzrŊ> Nj_!41PAݙZNbPmyLg&VY4zpi2zۢ1Py;LVYXE _ؒ> WBQ^k_z3'Fu$;>(<1J߭pnطv'Eu6 O!!^Lwθb`+#${ʄ6h)GRZL7cX5d]`тċANQx=AW{YR)2.{u{)+]v/E\w1a0kK<׫|yYhIl^Wc\g0(gqhtjgB3 sm\9 F B$ᘯ4_{Υ)—ׂ(G)Lb9kyKKE mzE-t{Rvh9 z:g?X9*ڱJ3Ⱦe, Xgj}EA%*sVN?ĮQ}eyZm]}ڏ>F=g ڗ—wIdG&wU}ɇ6[*O$hO'aDFѲutm=]HʕzZ:|O u$Wnu',.o13odc#rѶ >4Pj': O3Wq*i,w4$UWlL('15A ܥ19]=i SQdweRT"RS:(ny~ $+l'q/&;EK0@&ڊCdxMY2`ǽ 2Y++/{,Iш&:"q'gM2Uqaw *5 " ɶ|#֪!B-ՆLbAI\_+9*r/PLw?ۺ'>@SQEyoNdPJs B:J2E|J"5w+fh6~g J:ƒ\XBtz  [_})¿f#*p$}7[m`:hZ4N&bU#Z=o2e Z$>s#خMD^\2 Cg&oRCgUfc8x[\ K̾3}3XÚ6|3Xh'1ꢚٹ. Lil#D5?|bpk.Ɓ=W9(őE+$N#&X#%(MNe@_ ,C#%ei0q{fn<q|,Ӌ+@cVLZ$cBj9Vy;<¤u?&ȮnsOpŞw""fgM%l 'F~ ~9ߠ9Kd=xp[jRfضx(b(ڈƵ!ɪͪ;GԵ_y 'DQZ91ۜIue0]:7fI~VJ!m`fTCuT69@=%<&;k4Cِr5 }3+ܵ -XFv RQբRT8ZԨx` ,eGfpm4uoxhp{$!bk_]\&~qܾ~A{bS]WDn2l#caن+ĸbKi[ MzAd. 6kƱZU UOjtSq$B׃s<[{=^IpӴ#&8L,-岋.i/d}6WQ> 9!M*$=ǚn%Vv`jӅm|JryQ;p[Ym@ D :!?C<^XD뽥fe19Y@8ʱ'A=VsJ֏ db"'q.[ɐL /=ϥlZD X!W%}+GhQ芝Ê0/xc`?4 (fY#R|sh s~`f~V/>gr2q=Kպpd6Nu1(jaJZ%gLHҞr>FC8L36|T= HP{M<}BxjgxD;GC~l L9 Yo e+^̙gP "Ewd(3n^Ej+ %i{x8mF6eISκɔCW^q_#@B%7z|Q:Һ-NE7-MWQek?ptL.٧cϡmZt]ΓL1ebp?۰XT(]H&y _[vg9+'I0Ka]>"q@#>Q,1lGcp㝲])Q})4ib' ^ oThx΍(GOׂ2G_f̤qY.Űz M$:[c%9}z~'꤆yR>Kp0wPT&WLڠ"A9LU9me ^CwTV>(T=raO va.2ohvB=zc҃3U?:t#>z~&J<%^ڙBhZĞ}lhG%ܔAB4$gaTf|rf z=FE:y<Ɏɓzke=5hBB[D{MA*b^b @&Z=%|N]- pX\CYcx})!R^dJV4iȫ7̓|S 2+l8.ԏ1|k ZWWZ?qn bb0=<)H\g?-~#pkkl fΊ#!]}NypMg-$4g 'HMc|]wR 6z͂d#2B,?8il{d$JW9wω HmƼԈF7w!H w[]=J7z_st!EtmC>ɠ:<~ 06AϭNx:quzNiۨ]\ÂMGȜ)+y>rb Tk^3zq˛rzs/Z8 ڲvϞa4͊q} ;<̕1Ks.Y[57(Gw?vҚ(@@%&"w+NY<878Wynsܥz!ҫ)6K:C~5z6^]FSNixE $e]'(0"#suK|:h&:kDPHH~l"V<ۚj I0'Ea-ly=u"r2P 73]i_N(CDυDBb,@̭fAUls65tySzYB(Z`;|GTktV̺Ϙ5\ J:%yR*\U #Y&qMQj4`FǗg:(VR9b jښ=>^yqlm1YK[f'"I2$D]4,lvkc,p 2ͤ RS4#A2r7SSCnrxaK\bA [ 2u=^Zna"̇9n`+br)e:ÄwT W۪B`;+{F5C-i8:g$uڈgaNyopt @[-2)p.gm a c"ԲP1#'Kڦ4HٿӰKiw)EXVad}d1Tawpke_? G[[U~\"V/ $wlέ[Aq3]y\RFNWtW=:N%̗PEm/d#IV?0G8:~ϒ* ET(oi8c7z7ڥXooLْ% R@]( C~jj]lgL>8~u>iFE457 15~:ДF{uKJP?o! vN_ggY!T]{ !7`Y婬z)b(~kU)m|{& ʂAdT)va^U6 Ggٕ Q kwf46)V#1\Ø-UXΧzT2 PU)yKgxL'4/<6]lC1,"K"#Q)nWŜYmn^* t%WW)m:Iq [ԘVEپ?hX;ܙMZ qT.fT}@tԂQotʟ[J_Poa U换pD/bF ԭZ&{Djk67u st:>/pn!ɳL:;!=ȁ1۴qPy+IW N'ho3N<`_cY\2.\$;j60C5"v\˜}3P̀ߺ=qHt=6Zplٍ*/0Q%m7(2"_}oHRN(JpwͿ7z.Ƥ[AF$ņ@PfQL3!m ƼO\( @5ӿm+o[*޻оB#׈,AU{}p#F`okhXCPr[g pD\uS'W* 3ӊ:SyU  6+1pbRn(@X/Kfa\H 7*zC *Sv-S6b%ߦ\mEBԳJNmMmg{yqd-CbdJF6 w  5ָGi!Vt `u\&lQ:{9sgS/DHZl֒׸sGbinIZtDH+zd y#MeW( G. X``!ٝRӮ[t`I UrCPW: c'R+ |}Ze!cjwRM B N@,д6sm!+42˩EMFs&לe-ztt ._ γ8T& b졓hXa⽜_X}l­Xfn!Gɰr2A5 Jn'YIApW$I^Qi+g^@ބsB v9;`Ib{n^1'Ho:C %~4I_%ZPKDUh?yz;Ƿ6G Lh,-`[슠Ju|],_ |5ލW$4Dօ=Pay=yԭMd  Z:9ȄH[::[FL#]dvPt^+v"Z/\v3sG(.hQUtiwH.v\u1GH ܸ[vm?FzL9prSaRF^\Ui]:ޛe)sTn{6_##63OϵhqY)P,ZC$HhըwЅh tHi6iS܊"Ų~{h.cĊAxdFbY7nۇ6[RhT54h0sDi`0 "6 C >S)pjH