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! T| ]]]HOL-Proofs:threads=6elapsed=579.397cpu=1434.624gc=215.324factor=2.487zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZWӗ0BdhUAy;څUl_ $ cA_Ar4<4"V1"K,ITE r%Nw/[y4n@͇#=Kg!ZlGÄv|Op^ɴg`̿\ 4}$r\˪b u&T}*fvXn[ld7dz1*‡+{\)rGTU&a癌P 0* m/a`n!8^%ycov: B}S'T*DSP.ZAtz‘ Hs,N,Q e%`һ& ]!\0}cTE6}eisuQ 26VRR.?xFIb|6b9Vkb&Gzv:~wy+&GNՃpB {|TZ8hWQSI? lǶ}>o% q҉4=XsEES1I ;ʒU#(CW7kP#,+7L QZT*׻Q1T@G!᜖l:IsPoHeSR1VAn}Q/z ō~-v)3S?FDA8pBEYK)k& v.JpD D}u㔀=j~z)^̅/@=nMufV6=u(/DhxΎ757Z3\}Dj >\;D_xL>jn*Dʍ $`7JнdPXe5[GQt(Cc(x94@_o6}a |B]~ 7 I\']b9 @aΈő^tQp)t +tL2NTgdH}5G_Dk镘E^Yb\ k&D͜tb`itSA"G| 0d.vQ #С|ׁ;eH aA[p5|?2e}'+^FCbi6qH{FRپLs!.:qNY *qag]A,27e(Ww)%l>vx6HOk[\y5޳gJL1ҭn4(qn q3B ٤'28.% ;q30E3[`*h84bDkjmԃ[?3M.d4<=tw [.VxXL] )HhP(t@-4j- ҁdZcɄ7;C_``5UV֠4 Z{dS*'])[ͺ:O'G0ůyi& Lcp[h(Hc<Y&1˫iXY~RDX$v6(&M2aϝ &ol+H&A UC.Hj64B4֞$jpzh |m)VI+{O8ʘ{aY\](eç6?؁8rk8l~okcu 9> %|A`!a  ! HOL-Proofs  %r#CJDͶT˧cs|/7A!݄ć pyAOsa{)[H͗k5&PNpFA8= 9%234Fyxsqb6Le{gX|_kAwe!bWeҤ@HTRs_Asf(2`ҹ#bQ0E>lFXe8ϥ~9m(pĊ-(Z806yn\{`{l4IVo }YYqǿd81%wԊhE"܍y?l_yDy=@~/DͳAuh.WxI1?4z"721a#$Y{H)#D| q?iij kQYxցTd1q:gsi6Yuo%3 -Ǝ%gͶ ʞlh[{Ŋ#Yn8Yx{Pߴl5 RTކg\U"д >R #pna\w}(W__%%,Rz%F$SXvƶGzJ~a)&/T"[rz(a dx-:; !զʵskqEbz ZN5<&Wڸܧ).G03Qڒ: 褤MA]Wr\Jo%<K.@tQV_䣚 ЗLċ3XpյQq dWw`]u S󕭦2RwSN 2јdc88Rc=nh7 ,\(1Byf[@\D$*HygϮ+$Zh/hvJ3b6AMR KS9ersWǑ1ח2{10[qIMhh0B-^@r-3`Ug*>Qv4@d27%pF\eoQ6". q!.{y0Cxo^KώO:jզ {-Uu]Y+g~p8kyr#AGʧK, \I6< Ckx]/>WqKa5`H$<)C?N7WH^N9Fb;>'R]FW_ݮyid<½ꑬl̎4Gvh'qRuU3H{8%^qZTn+rxwP l Y1t>6-̎!:Dy= %Y_@vl=KZSBE- b~2(똹mCJ/P-ʥOON:{/I,7ƀ20߸նѓM{cՖ=VPy\ >WԢ3O#l:XN[S˝Z; {w\{6ߝo(D}VVGV70ܿ\\__U;e,+H˛wo4䋠X,4t&[ ?X\)JoԇED!~ Ta~G-79bd)R{.(8p&מ'?X"ٺhiiGEvErGju8_4Qm嶉[5l-ݭx)/b[U4.mDk4CP:F$vN7pȢYs}e\<'KpV63`CZ/ϥ'[UQ+qJv95rUpy=JۗiehWWUDJC$ۗm @IUAr"-j&Lh-l7[J LJq6 q1 #2ncN!DŽ7 0cyI8 "4;/)y&N`i|R)5D-xadt df@SvBq8b)_6r7q nGwB??nl-G#it,b_g-R8,ljlGzp vDgo!eӨYlE^>x r b2P!8h^yF$UT;p?R#%okg,gEzVo&z9gJJTH2D?d8؍+q,"DDH9opVʎ~@k #29_7'}ц382fLFn<s 0) =L>AĒ4s^c^f"/eA渰C~T)4b'bᤕdHi\ty V峋G{7 kvɊۈ;ohA`nW(vcX mz V%i 8d!0ȍ~F{ RZfiX]2HXZƬbe]"X.:x ~p4g>SxVɃȅ;j) #āĵ4Ps){!wqaIیD>bĩ kx ʝyȤ !L{zkB^3C@#]_E I/d!P)pTx]3k&I6b*{&?P\j 1eO]@4t&Cc1RP1>t|&gwu&y%u^5SbJh4Ųj[IudJ m<2/\s/URx]3~[KuPL\mg ) \R \jgqVAk4+BH}}Nu5l﵎hKyFy g:`ҎgP*dLWUC_@1Ygц\)_qckkN~n7HS]6GP2+7[| @$Ԓ|+6p ,PJej*0/CĮ28( a$lϘcVb~`:+:D(Z ٍ6:͠ѝ*W| ڴ|W3h|\ ي_o .Īu=Xɲ/.d7O:L"Js8*ozFptDOG>zO-2 )ōzSǬ(,OVz+x91>0n3*U2ڵ䳌2?Z:X҃b<*dp*C?[YY! ͤVC2*ꩡ+ -ck8]<&zXYȣSe&l1+݅KAs?Kܣ%',n%;/xt}c]5PE :қ^*b2ḏgYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!B0L݇Z\:2XoIj:~ =\-G_R8Rn|Gw&;c7qӥs`V$W<{jF$׎^ЪşQJq ZKiAU8Ysv#B4/DwI2ۚ\BZh7ߔ+& +y}Q<L'T&{@H=W? YL|w,{Ji2"B0p#ҹ`~Fy8lE+X ;Nj쩅Ǥ?i,_2k[樂Uew /J%$qf6t1 wU*#Lemljz61bw1'?8stMBHZ=^q C|,(ʸAR!Ϥ2UZZ+s(hQ'NA\0 {h^0oraǡs( }h92pj,!}MI|Fu,U=K!P;no_[߂<f5 ܲ쬾A^\:g(1T.2 ^q`~?4 FZVh {B$#`7_6Qym <ވs]Yu޶GbHn 2zлŶa|{+yl3"/euЏRțK6~N2QUTd?r?x{8i.[軪ޕD 'xNb;o'玮7M;؈>ϨJ'E.q3*Օ׊*LE24$5[U\- .sE9k v>9'~]t1+]7Yw̰)_;XF6olW#W54ƆiLt\"BH*J ºl.`:4//OȯMjl YC]ebR{}yT3wq}E^"gP7)Oi') $Ӕ~'kKQ uI?1VF`0n×Y˛ۙf2- 9Ey9{\`g^a )qډ$G{" ʣ\ZcH2IxrAH2KR꠽yZ"hGtJ'y҈' ¹1}{_jH)H2h_u/#+N+;Wi[^ɮm~+xwWARES IҪ(P'вiCSxީܢU>4FB#s0leVԩqJхˑwjVDž$! ~JY4-/OL:0^*ɣN9$.ټ3CKi\JMF{b.~Yn"sc.5O<s$S R"qc)'4{M 8rS\r%81C )NT.Z D&k*/4 \Z&N ǁ_UO!. .N265d4.pݒֹ!~ʈIF}=̖S84gNfb͛``5c%Hq/)#=8Ďh /L8ŠHq|*Y 2:;gYZ7zXZִF! w7]ŗXi%> ;VRПr}XijwVtK߳ aYʼnC=[|~mu"D-͑y2 - .U_>e`Wz$qF onap;">Jب{^]TukB6,,ɰ8pc!%t8j—hh -"}xdwJ}BnOIUA 1loH? +n"P,Nt0eFW7$R!4̨݀'kwC5N?LT'Vs %-/M@GNBKPK-"[kΗtw zs`5S`lKOQ,E cTf+h/c}?uP0 |.ۚO l& 7^5,SQzPEmȮ< qezUqH{+id@yMKε54'nTuϰc+5r  4uJ:YQ zVhn9qLtrȊjKkn:0)kG=&R+hY ݸͣQ̐{ fAWs{QFJߒAYM Hon~XWqۓTc3Kjd)Ӱ̀&Kx ~I&#=٬ڱmrي9  hDz7ФnڎY2'4 Sgb*>=oIM^P1AqLV-I8LBVtkL,k7*J&5Y@d 0F.z{ X\cTvdM:|dtIJ+*.H(C:tIN K]/f5;"z+cgi}焗BDuL_pۊӲ(K"9*s5t%oAn0vLҙL%> * ֍mRᱣ2c I!9YP]gH̟BNC˜EV&jQVUhcXv0,Nq :́MbrB .B-}ђ-sANLOq̐?Z}I_dw$eJry L~vO|lș"<0o*Nq-:'݊.0D5TXݧN%<0K?@C A".|SUSRTrMiT@3{ 3nKľGlŃQF{eXV8ϾB|dHrV ZSz&w] K3mbN4VÝy+#7yj(IjS͇ۧV-oStԊEE`,Pi&hH|[;a{ .vw ެMxDJ%6S62)~Hv7aOG3u)f1x#Z̿ke·::c1MY&o}ݟ)>? }Bʹ(zHpZ-mz(}ƘJN lJ7na`',oNQnB ֫Osq˚r;?`* zO.H>t YIΊ cw9t:4ɿ{^Js10wO=ҋuCݻ+u d u2J82JRҎqx/sFYtk?y|}:ޝ))udO޵(vw=E@T KPψ8PihAW*gw3[>=WIG S k ^/Jޙz9fAbJ ^v7D~KRa  ΛnNjq멡7нSdR9mC;ʒ,WТ lIdU yE fr܃1˃JaumjXSΊ_D/ nAwp>0&fK<dE~(?q""l'`!e|ʸ7$ rM Anw:2%YF:F7F׾LJ~(٦ ~xs$.`}m=?ցQI("C.?\G#(,^hsN;KaǼ@JޅpctWeUp)ת3n97bS o性sԂ#HIYgRZ~ YC_,{!0>N&*B IZ+tUV рၰQ6? ם˿|x6p >D^0iJ0\8ϴ@]=^,!]ĥ˫ vU|’OP*IT[ U1t`+/́\1?:{y|þ_<{a/>eHX9-}+Z23{AƢǍ+~ 03''?QGd{] (RLܙ]ZZQh%h0&-?{WAi0ӒYK{C XE@9#qÓYw3B!'M,7uC X3Y1s p9Zʞã.{4 xQ?o51 BhlKltSGt2ϋvlx$2nC6M*jcGKON[T[Ԭc1_Ҍl$޿iU%fWI#r_q<*Ulg fQ6_?AԿ!<+\ jw5}cr,K9<( <7;5LRCҸ,MᏉJ[UVm$RH=?cuEyF{XJ*CY #Y,mN<zf&uY f{"OT:~8C$Eߚ`lGYsC/0OVk9lسP%Y) 'tKRݩgzVϲ;5kg>:uRL%٩DoPqԬBxuC ukԬ} OxIoe&ud9MD xѹE!kPtu.PE(%5 ~|g_ٴmEZۑmbOT˿},Rb BԀ9S1}]% Ut ʊ|9I+h'*n:?Y:Y^òvx;8VڬVilm,^ں<gvd?6眲Oy@LD'8#% $%|(dm8)@dt)DEʨ)6Ad=ZtĶGPds]˺)ZTP |bz8+߄:YHkm=J|ԣO偩nqAAHLIM0Ӥ `Oj*C'gry&3W\NMsz'g _PT_+dRH3ߨr T9j15lxX}Ȗ$0~y/i, f[62B;]P=ðhF?>9e^an=eDd_tf- s?[spe#lx[$I. pK=`Ƚ\F9 |-$hfo`iCc6W#w2]nk8_NI*D:c|\GE "dUH5+OcRru˃`K>҂@Qg4j%UFO`p O0/*^ J_ \'LΙqGLb؎nͦ6ѺcWD*pKj9R<&Z/+4rBa o0Dgwih g}:.5bZC~KtM?wxZ\aRg?+JM#'Ф3mkD(r0yu(Ҵ1prڕ|ͣB,WTV|W$=c0!'HJ3 0",l>TeAR #8q̂0{׸J:i i"?0f_Sʅ%BN8<&jԼzAjB%&¸%N-Z޿2wxid?X ~RtTyu]tWD#Ӗ!d/̀Bo (#d NoJ:|Emllf=㲷-QOLQu /$uЩ$oWB"+-_?%%k&i.e"3r76rY*{ 9;vxOКUӋ G'eHv`i;zߡߟSCqB@g(6wI?9Z b&uφbTw%0.T iVIN 9!TB| Ȇ՚D#dmᮔHEPDH9/qJ=bQshݞV|rd <{jw(3(Ib@kLmv8L/!6hA*:Au"fN%Ee,/GWcA.An5ᆪ$VB6FjV7C8~mBK<^(YP::N*%:%%D"):![UGtfvK&dof2-4b ·06W>4cee>Y_RqVH<;:9_ 0V#H28o!3<_ Rz4aTD?q\Qcn|CIQ"hJJF_:C}uY2ھfJE QK.apsv{zU)vw= k&&stobV+Z]\N"{8A/pUp`x^ՉFu߈mhmKQ0DR&|f5}HGZr@ )T-{n5i?ְ͗fve!'ZȄ9B=n,B[-ħD-f ͥ,#3֯F^'Ӿ)V$MCy wiIgI T/ Kk`pHjo D*ahM,>7+=0uqškȑlMJDv^wUV<{ك-}fƛvQCvW^A$!9>⋆,"wʈ} ONĴ:IoOۀ N]Rz̘-XLݔpn9GxRb2og59(8f8˚j!fr¾NlqNfUAWY_{%ct^FoƉ9͛3M/`L`zkgp8zD/[eBioI/wsFcC"~%Ylϓ3 6'Ick5T(tƭCHʬS!QM?^^uMijxbMP卩S/3 RmK[eZtlԽ7.sW{N!QS aK:Dk|_+/)Ũ5BY5CuSmdLjDBh4ao_': 'U.2uy@hFD(M l'IgiD}'++vDgwTc^̵EIEhTQF5\*ssT+DNa%nψ*6Zd]uVe2>>[Ö'$`~w3ʓIc9eU @+ŋcHw~1 QM~}ªp#p&Q(HRU07=٣֟dŏAYh-EgܬƐE֎<Sa?cILmW; :N p.@因RkVa@IT"pw+ζ=H;m֒~>m-a%MDj_]Sg!fX$1#L;}?]N@9de$`5hIEΐ= Ivt^4fPZ_V*FafE}9[.av{w;d~*Ů簶zJZ`|@Z[$ot%wGݣ‡0tk-7ϭ/3 ;tJSZqq, r^p00U{"gu =_,br#&u{ߕ:!6GM؃݊Fr6hoSäe'7]mEobK.{ g;bef(PNmzHWΜ ֹ_7d#{rN佘bH3U{ʄ-x&TÚ^af"ӡ.5SZ~o!A"Hjm QG3v޷ڍFAnDGԼ#VN I LpVms a4PT{oV+3 /] z8Cr2Xzk&q>Ӊ j/8&5,6SC}։Lt\%d͏{@8د٘yhk>1՜#7mzP/"dݤf j6|<;>|f`\ÕN!w-=ԋ¼ Pbk]w/9;y?RU7NdgO!PM<X<90rĞns#ѯv 'svsZMo2 CeC8Dx]XRu3RoՊp:S=a|Z?O_XNT]lb 3*>>#s3i'`RB:z@f"4 ~<@M2$9&hgÈgY][qqjzJvY130 wH5 :#q]HNtzlɚm1O`:0(?2%0Ǫ}kZgFoGU,-V=< oy]#Y8[E._DvE {@9ّ~Ś;g?(pXɱ }) |%,\T:ƀyaD,xcPЇ,-]31["Bx"Jv-њ)[O1M'jD?_}C+{S0*_t;c8^eU7'ّ9>9U+'{űv8>;< TlJǣDs\u dH^͹\k^^=]nFXF>뫹;]e3# 1&̂K 8P3Gynћ(j#BKr\*d2WRszbI}HB%lҾH1#k0b)IhyIXKJ`ca=}@pHb3^}]qe|Fi"fIkIu C&eckߢaۗIY^(_t29"Wռ.r;0D2![LݒhķCD:7[ ZX%`#1o~2-s5I7л*9(I=xj]Nĭy ƬO+WxQn_tL{P,] FC#SR47/h }Y޻R&77Iݫzx$D0Q A|EvYjnתFL9Eˀs&NAMWMyX͍ 6N~Zl}5g%,ubE+JIyqKX1qdvDGG c$H{4WRM+}TSVÎI$*h&@`k%dkуH؂- +#Vgt1.;+Vɱ)i1oϷ!y$D#ks٧g"'aYFByWncKZadsvXb6Z鏓1UI#4jt6}eɄ & uvLj285qESg}9n6)x1t[!ٯlQOW?3@j5k%F)`'sѡ~2'^'؁:}Vum$6? [Dm>wP ȞSB>T}} YweY_Γ5h?H> m]K]d$VEһ_BCۥ+KKT!M!V><=z:"H (̓aan; V0>GVCGiۊUP0t@%<}oo?.h)㘢R^C> C.4w,%&h1 Wni+*\ۃO5}M [(W#(x3DzŠrr5׃ӍXܐv974lB$1#z-z Meo,^*+oS)~N%l7VVM~QHo@v,:IQBd ll J ѩ#Ez^6+#I@'7llgtO0Fu}\Sޖ_;J-Xu?UHm kk#(}Am8M5@91kן wձv9fB L\ȽM)Ah$7:%J]#.4'_,6Զ0)5w~x.KP ~bmТ΢">P)'cL _[:sSWtWc1B\:P &I-*mlYu=;2`PeHwInfFKVԘ4pKb}ZV[eb[OzqChq'ϊTBc (2dSm5e%o/Yɷ@(Z}CQ au.tꞥ\~HʞޅLDK,7+2rZΪ"}^Wyî=MhՀB$ARމBvځmslP󟱗 $ц.ؚ)76SA`w~.?MF|E ԆKU^4 wx"^16RH%TSO,&c=T` nT ]zP0bLݶh \5=ł[싹l\[*ĩ:dE }kD-+߃k2{ܽup6CYtEAM!HE'kM1GD0Tt0ȷNЫGN B2O$/$Bъ$\ Vⱛ,l0|8#6(!]abSb #mk .%{g߷xH%Be|jd1 HooP\Uυ{w]ކ[1x98̵8]_=W9~;wuشf 9O!6p-/C՟yw#pa~-.z@Hހ;{U|aS5΍cąBp¾{kf SwmiLL$/47o?N09&RHԥu]!E%В4Fxgb%5oy=fۀye C@U0<>K(?4ӎ_4 |^][!\e }ij,=?Q~{< _YTJu6[acP S)k]؋b",IeYtc5EpxOSu2|o@,ɇei"2oiM}WC2. ~[fj=P,aCDxy_is0Fm"TO 3U&fHOu%mBnE2 )x!t 5LR1p!JQȳҬ*RytGO[bJGv"K]t7MFONn15~arܜAD>F3HiHqs1NM9QC؁H}Y"P(`Uajc5&H6/5(&Of? rXS~L4R;ZRI1?}tP:#"YUƉg!V krSe0_fKgo#.tQ4ȿ\R5 N-Wm ](^L h]tcmbq0)/nز +.$y@(b|xf#5kOOjlU4SMBA ϷR(LS*.gqbvA6k'h M8a@\M042j`c7btoqF} M?Gi#VS^?c_9QEt0麗:y?sUN3QrxEyhH]omZ/NB"vߌ&c96~lX:E}Y<CK=GH;b]U(`&raIeW XIșD2iH5BNܳݦlq%4;$|^/Wj8TCVؒSxg j5g:!mLZ ?(TQיܻFikՍf4v,:>my_4|B5>qѹ`&Fw**zwUx>t@Vy%{ ZJclS:QhY(Wp`f2dc֋o!CF9ȟ3-[8lڃ`գ>rc=e.GLS˒KF(lfl9)Lgɡ [Ey+-N/!q WW7d3^~ .H'`"Y2,qr! y&!.+0meF9eN}|% -M|,SNSX_eR?bտodzFӓ~]k*s|?G_oH 9Vkc ؍Ro|v,jǙŅ0Ⱥ*eӣqF"+̂oṱR^RSgB0k0!jDB).YQVb?5_b67zV'mK\Veb~11x)rxP}Ěe1G+E rzCP,@W_9 ?tj )_Yg=†'fm,FP.q5jY_6HҚ2R5ynƱKi#'w׌a)p7 s_jᮁmT c RI3>A!y467*͇͌2(b֥Ez;RDA켙TQEt7&aRnt h03?Y*8 RSR ˈip6VvUk:7ti0츂v:?gtT")'Ryr~p ;U6 i+h OH\]_ԍo! ` bA%Hz -h 7 ."hDeU4Q8p?4U#WٹhQqWT>&V88Xa #u]?9%T Gb9-d nv7U0ҍt>n2s8Em>:ù5sI8c{g\a uoHLwY>&yhviա1KSs\UWBsDkV7T(Cڬ҃mzU Δ}~-ucVj`Y?Vev w~7NK,شΖ,6޿P#XC \&A+mSM }à_E&2-G{ב%/ҷUsx[r2l_GiCr]dGsR*œ3J_~L=Lb|@ Gۂ ; ͞-͉S5%/^[Z-TnaOD>O%>m3SU~>KJ#=f>K }8{d:ifj: ^Ԍ([ p/`ho|Jj4K(2q-*EIkZL| 7Ι!%-MQ+CRx~NEv6| nw3BhSy7 xRPӱ=)'i?kdr鞀JıhB֖ɽS2RCڀ`@#UZXngzhhny8/p`R֛%0h}3u6rzVUA@zVf6Nۄ1rgRpULV2Qkq\9ǟ8cܩgAjѿnм+9UH`K.hEEM܆E'p68+PG׀TTFs%{"]X&GBt&8ed&{'02VEc89+D ~2Ө~)NI䫷-fk:q9f('TyrgG":6ƛ` 9Ro 1C(^WxNz;o);^HtߴH Yi8GmoofKy(&3"ܟOǍtz'OIGQ ͿV I! ϗAtt`єbF5ts?aS9p͸q-/{,/_n 2-Q?b#p`m|ڙLG~k{-sogo<U,jAM!QNj@c@4]o2>-|?]Q'IsOK-UχDJkII QbIRkX _1u^8lGU \r#G3R3c;-=$K&Ke/u $euJ'"jĩ1 o-Ԃ[aUfkՁߊM\-FbsOd:YLPL.67E;eyobTIxz*Ar,mf_]r)"ǂqoϦEŲDX$$'/آZsd >12H]`.erb~-ѫ-kVo=#*84<Ϲjriu(cn_.lص40J(af^Be:zgjN`L Z=}~f% P8gp Fʋ4 {oH]:\| E|wU ە'~&[V WxBb=AgRE] 9^oRzӁN[ٕ}~Lm{ƍ9Oi+-GeVA|;PTCL,Wc G '4.b4S*KB/ 8k?/8YtTK'NW3bw iҁ׭ғgq"+›հN╸3b7= dṓk#=;,1²r;{kRdwF[r|K [%hVT5o`GԔo/AUz덑jQP}b.@["06>8eb<7Yf%Jd` ?L 4M:v=K/gRS돼#:N>4␣)T>ӈ),݌ )Y:>s \#ͮۖZHcX502%9N1;_.&O ]K\9/UH5ЉDN:D[V!nUGѭ,K̏edZ[^AM"> b/nyh~\=8уL4f2˻D<`ק 9`. &iWˈuTI,Cُfx[Z$-R8-:ӹWYb5@iP83D49`b_/Y]zYdD4mHhcoo)R<:}fԉ+6@[2z.eŸVI+_Ya<أ4z%K`daQ2 @Aَ(Ezc]%S9;/ c7v!t<QqRJ Ǜб駃ٲsGCd$ߺxN0Y)2nQ3?6nm>K"^۾;ƭ};)ƌs!du ڃ) .lbSsDJ KJ p⩄Aj/aqOn69*(0'm5|a[Y/mxZ].X-'Qxo 2`]83u3x곴2Ѭ t0%4*D &=DA7?g IU!2_m  IG@7~ee`] G&_cn䏝.q "d=Jqj-)";hDcf!.S9W8A~vqdrZg*QCEbqqEԀYSt:\\ւ宑a:Jq͚?ɑJsw;3w.[V# (|{{ȡv& R:#s؂ґ'-l+'vY2`t$Գhc|, e%:.G :lsFm{;Y9mѢ&|^j|zҀ ē`Z$=۠vEzg|vqT9*|% B p"> t. N '|R[0l^A*XzgRp%Z eQ?d^plJ@cuZzwJ-<f^>r 59X0){jR+: JэFҒ 9;&=]ו0OԪ l6BJHZqbG'U^SRc;RCdt>E}=a?S-ȭǞM,uOlXQBؕ=tox}x|M=[延*>eq09vxڜ&Z|5K%X-@:84A] +^lK+#PÚ%^6:?k LӄycWyq rLŞu/[-2)|r:un釩>X0V.aj2$TA\NOƒ0/{A Y'5C.L%$CKv`RI:|:-< #dI zFi}Ա_;Th{:M7~y`+$[kO\nn:΅` ڲˌ?(*ڰs,D ZQR%k.N֥YoZƜ1" [-Q\Zboj3^uJq{@c@AqL9ſAT{dwAoHL9譼f(4:UY(d5H=8^bomoeA!EbjfCe ̚prPmZij/Co y|5KR'LAaSɖKkW thX܋Ѡa6TE|;>\р̹A'ӥ*GEd1Epf@ڂek;jG* T$SS = (enӞ2(xWgy$N>@w'^rH/eUجuWmwM}As}I9 h;i#\唫3]A%ĵil|Em\S.1NL5U @m)1iج1*; $ZrO< 6⪲LUlfiBk,wVovTpRylMSg2*PP4.( qIc"Sȇ,}g˕l=ZU68c-MȺeP3L=Nfw*_4 /5sS\sgo[\X΋kvK^2 }P3i"t.?u†d{yJQ%^5jM`vp/C3ǯ Ҧ.3Vh`A*W9$͂ol,U Fɬ<V׃37Åt_ڬ'}Q l)wIQmٝJGpZa*Gp0Xf\GhwLmTi#Ų~>&៙]s>Nৄ eM~^3a]Bd>]|'*#[t< ?|b"Uђ$SB񌂌R^[);TJ- qSe{Mc=PHV YH ;|,j ߯8Z16i/Bjx)1 Px(n%[Y}xSR^ cw?Oe+-7W9M&A4<`WXYUsjMpՕ l@ՈpKƽ=Wpߖ@u)ΫcH:d=8=qk( 'q)vPB(~zz K5MJ-ڟ޴.e~%4EcIׂ͙s3`Lp8PQ8/&]-^Xv܎X S}Aəׯ6D/fKpb1;ePBw˝v>o8u[mRUQ{)ˆzNrUzwls epXSiOa69wV=0to5V#,xÏl4DwҠX0b$u,BLY*yo=3[Gw/ fe뢘w7ګd 8tv O C}}GvyP; 唣( HVۭj1?Oݎi}Yϙb< |a髪(RtsM>c2"a瘼J˽*~ wM` ]گ}w4Ѹ[Tg/Mfʡ ?iaih~hzr+ܼ^m1OC qt?;ӔT\*Y^\n; 6]8Ϡ~"Fv55MyC ; cE ۍM_f9ObskJoXzטufnFUl}鉉"ċ7` OYRo./I0i;xb 㤘GzUMHqQ_I9mnjք!"-HFbT DCރZ+zhzYV59Ht]I4U0;\R -Wd^u9m.S/&9@F 3$,p%6di\^lD~=yIGpސ'>c~He=S|q7ieQQ`nSZE/pu`t:1$X-o.ʛ\3ZrI ]B;Y02|kQ!Ns5 6=NKwjy_&i)[>7V|\ i]4WLo=V@C{6s/iS} m1#\1,*(jī%􃀰/q4 NW {~lgWǥiߦIn.H3&M=|]@h4L;BjkIZH'@#T@/t@(U''V,ޡ*}89e;0%QA=r$~+NҀU+WԦ(CQj(9F"C0k N!"ߦ&"g+PZc vtTi&"-_oηcJ?P{NԧL0"D|t3*q?eOO#-CwFuF/njJk3=@%&mnc_[L$?߿P=+inwu3O򅄭{cz~Օ1N ڃ i8)}'5b-[==ؓxVj#<8[gBj̮NN bYլ7ۚS)@!p$/-i?h$7mebraRobDj=<ԻC~ 6xIN’e aKW^TW=t\Nz2fjx)HPF Y8$hMq"xzXZ ~ϔkzKf:EogL0e3*n %!G#sO0/i-% R9Xpx#fI=b?<Ԓ1 ̋*zTQ^e)N)t/pg^x+bg#h[)n+1̰je|\ރCbGeƪ~&1w>F6LC* '洄r/XS>ij2 $+YZ/:8Fy,kXX +2%8~:O.CrMޟɥ"| ͟-F6NM485 Qx0}dhPl}GU3_S$a ㋞|r(yepШ,̥ӕ*PÈfVuK8.2uq ~%G604$D EY/wγ\I=1s&߉M%7" V?+R f;{e*A80%e7[uxUˏs1"͓}p})7ݕ-( @PrᕸN3i>l-Au&cD^'*ꄼdv}P$? 'Ȳ:fxͨeWNv6 4`~>:N]f=@єM<LZXw/@#\FS qOyzތdf &6>-,t oZع4|2| V/` ފ(3Eh g/"5R޾m~|ы)W0}T^d_߬g(Uz);,{0m Hљp#B&nۘYe16cB)A'{D֠F"ԗdpy`{`wI7Ӄ%=HFA Ŕ7~yKA??yl 9_3W7{hHe.喔cjYg=^ $05qUtyEGl.BKX2-, 2뚍/2.s fH0 ~i{+]a{i0[au |ϾlIw> Q06Gu,vhJ;gw̝ zp7G{M`Ji5\WxѹL38GHtS) u^F ܿCC2j&+ufwY$a,X2)썒7礑2kCEL1P [ j{V$+^N4{JtVޖ_1[k/+Ę^>fJ@kH&"8L7G/uU˘)LKN#/m3yJ}{Rdڠt%ɚlv3R4௫Kl2B&[%d$eV ܏"?KbGi)o N;['Ǭݍ(;KԵרv>A=Yjf%\6!b@9Ja5/oL!yVKE.15G}ߜNH22:+u _9h3m|BGpĤ*u_L N.8ׄNIfDB1l`ƸD 71|)%_*塙Y*Avy.^mSZr$~q:F3.f4zK-7DԢp̋NkF)ίMPu3(f:b*ug|dn ']5h:[Lӄ|wgy{ylOvQ\ԭ6x]$^!Fs_yC@y{B}h:j~i\pmdD_g 0!wQ뛴R<݈TK^BF!W'8I |ji226 ^.VQ=+tt*[nJHPFa7۔(dSbǫ]h9a)MA-I3ũ(  γLLtyq:Ai{ -CϞO 5W' /Tc1fڪ%dk_L?{-"STA[|8bpu\pswm/-ȊTqm',ian )~k[_%rOnRT[w9̾!N~)0[v} bf? )DiFf3 'G5IMO@"4K9Q@ڬnۖ~^{\G>r· P?ӿHr Z/j#wjBiƎg/")/o\N)eXugK'8Vu4ڒ1 cHu^.wܾOx2J|}LL2Xqt )})|$mLW?hJjZЀ^k%56YX"MD5ZJ$Ņ5DCiO`+6+3bs ByB]W/>`Mbt(:UҐ^,􊐴Bs.ֵн"g\ >Z恻p#A8g'Fqy.5;"~C'/5<gM'l Fח *8 ^5hXFb9/,􌞋 N=RKtC>>b)C-dajcCQx:m\У;1 R+yg.EN|/<83,}',%gYZ49b4048ef165618eac50deb85949cca7bad0437af7ad79d6f9e93f2b021491a660edb894fe30c4c761025cbbafe099a6b45cbfda5d3aa142f2288fe5