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  T Tt%l<\ ]/]HOL-Analysis:threads=6elapsed=318.504cpu=1576.120gc=74.120factor=4.957zXZִF! 㲋On]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQ\kh\Aѫ!Gvv0: ODmk$Vzdò\Q3ǰ'_ٶ "}(QxJBl5n''93~mf2Fr4kj jH l|RTM%yZ* ب:blٔ?,nWӌ7vTfLFTy~!XUW.զc䜃;r. Ѧm{ @2 QWN egUhq;%PY3V k~m ^PlE9*(mT5 o[T9 < Vu>ǾtP }xi2^I5Ϡ%|9qf4&!¼sJ\6pbZCjZcUuʕ QPz PҺ`ڳ" % HOL-Analysis  \Yã3ؚ: {oYDMxn{bز,#Ku}<*%x.Q xBCTΔӜ2ACgo8*?44h{wNAg(f?4OaAk5w鉄Htw\'93nSn<_T(sh25|3z8k>D"Bوh2@EX |4 jD0 1*6d0꿨_U z:=l.bkX$zgq1H /NeD^9L8o:lǘq ^ifʹpLyOۚ;Ο:}0_'3R`xԨ= 3MQE@ia\0,Ļ^.,˱il#i? 8L`*#~g8bdR_% N%n̩Z׉ 㪡F9]aԉCRk?w*h.y(%p*~8Wm;ZI)P¶/{ZۙD-.;bIs#RS wW+fdW8ϵBI0d3:$T/pH:g?:Џ"v-4¾ĺ/V:/cduu.ܻwUONJiCJGglϰ5FҌi=BHOމ7. fLz {m^94  9C-,)n ycũUInN l\i!$,]n{ n^ <D@yH8V=QF[^5͵JW8-yCFcl[x1\7?|Tf(2s{3$0dVDc&T?C2 tUT520S֊D8 tFJ aLSS!:~ }@-0k3wѿpO٩:R KTm2qVv}GtbyX30,'}YRƒK#mlW߃cQ^ƘpڀY`'o԰[cwCfwL'q84 8em(~x4mq(KU.p7{dwɃWODK- F BjA.gxi4 іn㎌2 'vԑ%)kq)?GuC28ωEMA}iץa9Ư-o)SX]sD";81˙ĕ@N5%mvV):ywnM,5g(&WSJ٦~΢(Ú٪hMs"A7PtKU0yfMAϒI@v8$# R*|ؒ>pyCi` +!.A#aa7xrS1Y;D=[4~څd=ۣX jJyٚلMHd܏rGKf]-Tk1w0@\蓺~mAY@Hy.N [l HYd8X0 s2uD*>- $ROM9GGF#7?lQ[pgWzPeVR&! %7ZWޒLh0}..b(DPɃqY'3Dz$mEglfM]f@lAzUn6ZL΀g: )b'>{{t+$܎wT㆖ 5=_a=(5a3A76 1uI9-6 4aL|ږ <$ZKt^"1lغWLiS!`E@ ր c Թ9d|Y:JVE`"SmA.f9wVġUo"}bN4yӪy+OfDJ{=$_VRi* 1(2326 {&V7l)JgjDl4rLBS(B iXA>,DG|9VxbV% ЮKZ_WO`1PR``0|ޅCR#31oփ|N6U-YQdu9(0VxB@|=aaK~oFvd2 1iβX#-[ 3=,A`_ H0KU8AFcߧZQW'1GRTLn$-tEj›j t쫉)X>`,|քqyxL4+  MSy>Ci>AV_]n9$ e+ĭʷ'&J̺[A{6VReG^E+O/F@[ȔKg͋8Ҫj dY&> wt6'^رۣMXFD~cgEMTYXcFU#רLBmSpљ([;! iwqh lюb(Ikq;/t$%(%?~Eeq?C6:Ŝkjy5 !XECcBε+2*,P7)vd!V3WG'y/v)Ӕ5Dz~4'u'H-D9{w7h8 , !*6:z5C؛CFln=2!G! lQÛ\6IUiG,`S%$_d/[#r=3=b \`g5l DuwCMc@iKugg$7_琙J;Th*80Ӟ;3*s?C 2 Ev5-U+EfR>gŢ̮qtSrw8`:6/gd#[(@}J$Ӹ2:`@-Gwj= Xo3`U$2n:j?z|ohĺ>mcX@H2B# \1mH]s2M}<"ß>Rzv |> k4{ 9oU6t*{1H0'.=qSt6Y^KϯGW`dDJtyDsOfu`'bN&5}^?tQPľ0z6v\-}lIp17郜I~ |m2INT7A7 dL_t1!;%ޅ]-~vPŬ:ޚlb-[Q[Mba$n=\XiKG؋y.r8KgZL[Q{%'F܁\G5q˅ _Î=;_vqq[d{۬? =4&5\_ a+ O*It 8˹V0оQ-9hY:^՞G(B;!>if a?,|tBF 3vC~&".óW":#)=-b„"K|}33a9#|T|JR홁CNMÕ̐Ua>d{=ҍڗ 0ڇՉ Q8=%Fz)jOjeBZ؊? 2>[ӂ4[*;e*>#+nwb[o^dV#/|%~lVэ+w6_쏠Du< د{YV|Ed هNw!H#>[$gL8z~5x_923`Q]HSh` ×.8U6&RM]TM(3zKI=ObkAB.$N'Jq"u~[]N3CꞢv\o%PvYG87Na<[*wlڅz,y-hkFѱ| Vp?b͈c 9 S=A#lk& b@8^_+GlmvXxMCYeSk"r]K_ 0J%*䌕9LV5ōz[Eb:Z 5CVc顇!y }XIQ'aM~~. 'I;ȋ6:* [DBpCv1YrQPQa#9s`^1~8_^|4HʤCu Y:=LGuwDO/3{6r0/1䛲[}Exc\V_)wFSb릶ǜw՜!g(͕N IVP^Q,dvXpeWzr IO0c%RUeY |ņPån|-+T}O0GR"ERW4/=^Q^ gx>=|b)Dv^)(]rM4 ]LEth(l]]H@\:NڐZ]]tp_s&MP7?tx\ +St!lc_5ŎV~9c}GêRfPʻ\5PA{)җ@ gV5@Rg?WsKXOqJײBbUw8N:sj$AN[y:( }t8s:8?֭mF;2e'Mj ypWH$IEwBUj`[ 8(A5s#r ph>]Y\*p+1iMǢpn;<%,.ѴweBi;=;_Z&s>9f.U:y?JZZU1NqW*ݪ$=N ?]߭0tYb>U[@[DtƔwd!=L1*bie>+FLl6 3뾽(\JB+Tz c(:%)hr}c$3™ ,K]Ѓ"ƀE@b[nGZzyL)Mr=[ˮqfTq=?͓2e_A)arT3j{?ṛvQ Mt>wT1/$ؤI)9[* 0榽-ELG/aVh?qpyPP}m_C[ŇK3E4g),rZEG,]&zoO4C5s36csF$)TN]Y9@), 8H85>t'sN !p`WLRQ)G3QV?B~r!Ei–TAb=vi\ʷ~UM}WN5Ε6~b̋eJI<u].x{l~5F1)3T`b{mP]uQ^>AbQ<۲>[WksT\NGw$dQz)<ٛc\JEQԸJg!X< M6C~9I8G7!*GyQuNU/5ʱ;.ܣVA$*p哺f峕Icin (w\6T@*@&Xj g =EgBfW(g)4'l ?66Vڌd3zS^k vRFut!|t)ˮnq5节>Ѯl] <"iN=I lDRq,Ax#vD=&yN6ôvSp]0 &UTwp%W}-X[Pȷɪ;e컒nh;P+Bz1Ks.?9Tmʼnx-JYɧBTP8^f"սj[c|̣>OM-1y]:n=egP6СPNĶe J=I(S4?=PbDHGIBE`|4%> n1C^.*џco@.Iv{Eix߭Ïz&[]N V#NQXrO[ɉ3_'UoUe"wLfr7P(w&@eF|G=4m0/fU\gƑTߝa34#!ȸӘ ];E~ gL46U:Y)S`kϵ7>yq7ຼ⤽~%J crVDDx/ ꈡ "0#"CYf Qf:`f,% <Ƅ@GF[}`H)&S ߧQ/W&qv1X3eS'D @vA(6Іg"[$#& H\ŀ!>WL.j1P 㣕`:N =*z}ݴ/h`HD52B3# H=ܫ[Z]Sbn]q!IP;ӳVAAI43-q^k($9a'u,=\Z؞D  >ⱿߍI27marj}yjdZ%e$P`"v vtj[!/&W@uh lpD (-չx@rxk?nmtz-11\_ܛ t@^Elpl9Ffm&M̛$046)]{A ~\UB7YfEz vę\#ZIwKw&zO2[Q]v9|ݯI,0@S/H -(V԰u֚.~"Y?$ק[ x,f{5G>t wIX{O8bxXQEr [.ۮ_ˠ{JmL ti3(Sa|9ILP^oN5鴔#S&=4\k.oZzS@H-_IXf~lrsi1 z3I%( 3,4#i%zTW'QYUԪ Xa}ƐH/?F{w`OBh6ҍl-} y 2"/a:XcV\Ð|) sۚͫrt*7Zlg;ΫIsC*2׆٪$ v*C)j'hVELL1r\,?{)dZ{R|H܀"h1bXst7 $fm`7<yN%hl$o(H>8@zfF6Q*;'9%dMz  )߼#^5:ܘ{J e=_?39+Xp]@1eu'a:o(h'=4!l4^itcJv_7jP#s(64V8{@FG*mNsA:%-~UC}07fێ&q?kː _NSzC2gNŜc#@Bi}7IAqנem6Pgso9qtoe J]!3+%h&KAP9{F"kwߢُa#ϵ=܀kx=q.ŇH-Sy4q={}LS.45 Й#y0l:\;nb@OQc^1hx{FJ-bJ1W߼7@}H>/̘[٧9)8|C˖p*q4Eӧ"11C1_,811=ḵtMZG%#q}[O;0bfx D=ڙP7x'qLRhf,-F[FPB\"/GoĚ{= xVLz T DF} B(Qd-{:H[)[s4RD \ EB5DFB:<|5TqU{sKVB]wS^ƒ{LjؑQ/kr8D?}5L ц'2BEV|0sb9/^~zvQw~ KLj|` p@ =OUyD3%%68ΪOIp ) >SЮW&XP76&gSuo8_y4xo}pnQd /j%a_ >o.0Fcye i٬vuUVn.BCQ*y_"!]:'v*FPV k5:-b5ZY[Ϸ&ŽK 8&R@4'Idh{L`.:EjnNӎNJ[$_*&j wk3,L f+ܸXEcm*'ƂSk*:K~(]k;F1*A'ţs q"!ҋ|W)e>x1Bd|,7vs? BM5_N KH}+rş5'F86씾oTl'vT<4:pdBꊔ W4 L"HAF VM [b[ZlnٰZlGV/&BNC=8\s{2P(\r1¡X*z`:|6jj{]&_47 M2 "ni𧅥ym\ODڋލ+F0 ,6j'C{67gNsm*Uf)XQJF D> ןTԶ~)w-Y4U\lך [{K25| k"Gt~uTg,/8Giz~'/u{fHH(R4&91ewƑkT|nEMIMj#?(:§p#ĄT;zvD!"<#;gVQKPgR/CFY_5 AhwS#興Ԡ41xҫߒS>Vx- , , FOm-#KϏFȭ Bκ]m# BQ\KڤD@%G8e6fR5ͦjݛ= 5S-gV[ySmZkX/Se8-q5h5%n>UFvU2U\E؛K*I9  瞎 =3zm 0E]2E&l_S!(N3{v9p~R/W&n!M)!tBt3nG`Wh8oI)CPN}`:bGj)0mV6(JL51z%Y[ƥ/yTݼFʔz n}=ҞSC 9taN"]f\aRKk1'[Lxqaء>ۆ?,6KY 5۹dn~#y/ 99*Upԥ K/VqqIVO -\v4Rn6/ڧ0k 4k:[/g[d@eyVD̗~H$p7kB jfODCP 7L6k[褁LЙmFnI6іUZQ=L,b׽T]g@2ۆ#-3- |j7O5j41=hܚ%m#t BY~l*piHtadX)8aC}hD]ti*= vQ{UPDkڃaZg;W"4}=e$t4O#Ѭ. D\*@`b{aBظo3fɮ>,D<r(d&Ƈ$&_*N;kQxp.Wƕ\Y=x+`⑁oCzґr@6V0Js'(x}9Vf?ZE}mz?zؑI2p:/b&*}BD A3*eywǧwjpbW'gdQth)ٜ&R* vcBPu"~*V*{="d`<$vT Esn삿'O= 1}؅a8A*ٿ0 SD ֒FF9YeZ 8ԗk,>;Ѫ9Oj IM5-FfA;04@&ތ~buu X/bCZ$ΙBj.ʦLX+DB($c<xs ;mv};s"OyK@I{P3>bkIMǗ 3ĨM̛ơs\D[Dm4xj#zj 4J ]ANc{ v{ą2hmKL7(APn]:_'(-l!Tpte!&@-e!5źk׋HM_J ]iWa;Ai o;Eu<顩 jh@ʡ|f_?Q|ۋ XDy[2qS}YDO\_#FX e-p䯱cf& UK/Ͽґ,]Cu~lt]sVOҷgArrbn'm*Ȱ' !QnǸ6R_"Ĩ+y /$.s~vFvP]üy\iks)*8e9k\"Դj m `DzUn KAdvihS6E0tsijᑮ$QȗABb3yרz!(ϰjE "@-;`cZI]<[2S4B'V%uf\wR* KmͤE1beIauS*{ifx MĉX<:[3sЀJ)~AKv%+ EMuZv(0A2SDІޫN_3ϴ2rIP_kÏ-f ba,B9Z$*!F0:``23z8 G]m5eR씘e+ɛc"Mj#F,?j1kek¤\/YCՃy7/f]RCӎ7" hG%Jl+"b·u2D?I"\,!S;é{clƞ)m{Cu߂/8*i osߥ~0|wGCj~fZ!O(H1IV,9)"J#qt|٠Sg}U)cִ7!"ܨ6V>:XX{{uz[_']!ޅD*J\QîVS;uAk]ҷ>:X5HV^{+ghT17|Jƨ*3b= r ;ki{;Aͳz$f8tjDHQOsiFF)֫&2lq8Hڈꐓ^*m'#}m32l܇ ;s'$x3a|1k2}|$N-n)oZ;ѱA*;7(hA1=l#\pILUX0KVƇg:Я6q9dɜr1I;2+eI_ ҧ&΄c/  F8LՕtATԢe塠!BMGo 53yl:bM[+B=M[ތM~E4Ĵ_:K \1!)¬?ɤA] bh#$:=>@`˭\2}x_h(Rh6hR}Q§LgbXh4߻gn'@iDM2fϡg0? ƹsl@^NYuoO*ܯWW2SqF7pyixf}<t-/5ar-'h&y z5ML>kO&TM&zpaJXPhKGr)c~YXǛ <J4'Y"%m3'A}! \܎g&KB=ck_ I*xM.DAw!*JmF üQ*$*BU//\ohç̇9tK m\m|Q̲2)\zmi4sy3oWFk2vPIdۆNZ|g7}9/kccbVkG@꠪1BҳۊE޹ }\\\\FZ({[5=?S LxQ^uRJH-@oʺ~]9ŤO`̯_,)Ge\_Z gYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4?47Yk3Q-ӀƪwM>VꕧXIt.FW' >M.|(ݻZOO OQ䘬nֆϊ;u~{Ɗɦ K:7.6a0}~9qȯSڨ,wElIms۷Uq7A2&iKJ& |}~U3XCCqqTd5Iuffc&&6L?ѥ]vV.fPSyWx 9-FA]跜Z,b jaQǙ4IExX!x^ģT Dba5g'~N*G-‹uy>p}u~{Akjw>`zO)Laߌ'"be/>`Ut#N gU=Zb¤28Gb¼[-|wC`4c臊 !'j o$g8CfŹ [0DfH ި|>?ko/X qUJo::w~g?8wotќ^y#rʋuI*/tf&>񔨉RG(ndj·t{l$I;1~ʯp CQ}rERߔ@WP'q(Hţ6hhov >cTer`e\[0{q$Cg-?2FXXFp(|MfnF25-ז]k2rH]@\Ko/Ll@ ɑITƭe&wl,Y(YmblC.1`Ɉ\ekD,x"?0 e Ь}-"iߨO <"ғDμvDWnQTDP9aD9aZφ dVI:=dq#hMK- F'`p%`PH~/<҄㚯nQ/Fzڱ>Y iK^IgdSojar qHB CM]>ЛZQu#KIl0~\9 :n ~'mM `~252g-4Fco~z] ޷%;Ңq/aw) 7xj~שMc҄6{߲KkAdUŸFMq9L> bJiND5`1i΀OzNaPSlf%qT ή^cjF){N*mٸ2[6m,JRZfײҠ_{~TN$̂EYt#tb۰j&o(vQ8o8۫7^ZtjP_),-IpY< nbp\C-QoN9B=]ʰr' tʌo'}ف.@֫Dl}()@Úku<,g풌e`I-ȄZzg֮xۑo n@z{3ZEQY 7;:*bByvߒ ֏OR+IsR݌X*X'EHc< Ta1RNiKl-'݋O`i Hc2H$ (Ǧ597]OO¾3~$诼E$9 7T;KcO<'N7ǖgYZ7zXZִF! ule]ŗXi%B.ò{5 ^ᮇhc79|-2Xj(M̃@lmА*I&??X1΢6ՁchҒf31آ&V6o gX/,+|_ů z-J$Xc`Sjhs:|y;ʔIyv !)X(OA`g!,DH$GSiG 5[ć?ƛ@>< XoW4};B0'7?&͘Rc9|$27 OO]FJB 9 !L{۬b6D9 ass Bњ#w dwxH.?'oidQ炦 -Ɖs64ncPۉj{3%B$SH q4 *M<͍K? Кu 䬭̟ż!PdLJ=FܝKiGDܐn{!UW /5%y88?z׾3 w݅/vX-7}-Հ=<b/p (xpX12= c8( ,&.M> i>dM(VQӾD̳:͛V9ȯN2`۳-Z5m&Ku~KXzc37?g'b| ͘"1<E #Vt[+K󓯠eqg6i(< sR>tsH`؏,I鶼+ڕ|YE7'०Sh!)6BؤI[צ#λHghŖXe69|JL:,7s9M7%D`~x")iKC;rܑ9R93'$E4>iP>za}ϡ؞(;6?4|';ʃo{)R0D&_}h/:%YZ\Xm"U8ЋF!]][,RVȄJprT# oԁGtcɀW|B~jmضQ&}iDC:jr8' 2f€Iw9kqȚIYi##5‡z_!)~u65֒" Ttd}ɬ".9`PVxSf jڟ?VmR# ß!OEU KDV$LX| =Q؂ < sN0K9Rh'by0QF0 o Jʑ0zǸ:q{jf4}lWC-f~%{I\/E@X}!!Е(,лAlӎj8A0|joٿaݼI@q*pC` ࡛JWpq鼝/oL:aΈH䅖\eqg~Vm B8"vn"F ^ru~-WRYi^GíGo(;}Gi >tE 4BL]^+ّ8&FF7H?/$S[@0yZP<cJl2LKJ݋S0형ư@0`dOSp) җS**_jUoZWQ; J ju 3@ܩb~zX?[/4K_(9rjsAż7tAaԶw0 WёHm钺dkН_ZH6?1Y6Mϙ̢0;EAr+/`]$լra#pW8]`g,J-X˻쵌`CKoB7'p[CkܼMs;/+^Io0zLC5t*~ck$WRSoJ> Z2P.*2B /0^>k%[{S|܎SFBƛcЍ\п.v9"8SK6މW."\ ;IaZLP ;leg 4s#”>ȷsQOL<$29ZYe?"ϕ˴O Ѱ S ,gZZuFЂrSZ.eۚ`ž'Kl'HRz;פ$‹] @RӒ714ᖛLz24Ï%PBBg as$x:=AcK)l|CCɽ壴 "'(8PsYOT ޲À๑oOhO6Ơ4<_.lZ5QQLkSP2̑[ 4T4؁9p hc`>``:ڃv@-0X eA0!4^!ǦoLi'LSʠm>I虢 >6f2_01{ \ˑzF r| ~C_uY69kE jH3${gg+.|Bh!h,[8Jj/Ů  04(~"g~]=Xw|˩H%^Փfra~=w3 쟮LGߙ@6?+)DQ1b_zkܟ]W,vCۉ &Lh2oC0jQap1$ .Ih&5-i< .9n'˿l(pZzA?>v0½hq_#tU)b>Vy,"G6Kr2F#l[-轿4̳;8>_#hH8yw:$'Orm >܊hvH;6D1TDGt--R%D!l1,`{I{m =P. _P)舾FB4,!Mq"[K&耫fzUonܔ/ԻSzS.9MO~dӫmtߤ"+ 7fۈ&c̖fD6p7]Dص$q 8&D]9Iqr8I:#8s"*e|*il}Z&uOC?)sViA%iguL`Bp*arX3YiP[9sT7v0"tr=;ᛶHCa!'|-h.:6f!W?/&.i"ٮa|+M(6mIukXl m0_=Ŵ[t_"pJIG4 #[ `Ȃh"sdW[](`Z M9^D|~zԡ<k3}lw`*5PRj}ٜ\4HR}?֙g;ЮHpComRsG迗l!$lSsHI˵J]wԗș#}*:M3M) EΕ_qz 9+ e%-frK;,X 0\4oZԲ`u7RbK2pzz@ZyېPAg)6lAr& 5\CO5#64NpT_l@V6 <\p,޶L>Gu[BX4,Uƌ7ZFZҊ5([4eO{ +!OJ&bᴈcT|(8s?߲~.AtJ2YXZ&0fZqnC$88/(l<b4y9x|^NSkݥ$>t@1b@ltxv?=b~Qի[l>* y\ťT.YnQEsZ:5# 1"/52qy/3zQc.EnlPaŗI44mxt`G=1 1S1PVneLmH4,Dj<ϭlY Jԍ/YD=6j#岯 zb p3g({b^T3LӬ31¹T8nFW|q3['kB9vW8tIG𺹿BivP/|'2C( ̪uB p ?7 -}¯-\Ck垀&a U16u˲I/橬ZpS z/f/݆)M*`AtEz΀oi cKw@q-G@n v|&"7 x@݀3NׯzB:(bj\"$n, kȗ5>eqr2ZfHxYƎ_f" ܃0ǛM yIcAh,8?;(`?R\SE/`Cgas:iC0/w-Y/ڼI3; ۳Mت̭$TǯvoQ‶VW)w=]@V)a#TTZ } rPUjG1Yt7lDWF{A*Ƹ[ K8<%"GA6!憨~e.&Ԅm\>y} uA9 ŧc .MTqPlHkGH^‚=JrA~bTFxrK@܁vM[C+CAbNŵbLCXBly8\)7/28XFK6VQ>Hjs842=+Dḃ(Y1p:{4(콼d6KopjWBܐZڢ/Rd4a>E[H,xk׎zr.k(t4sԌ(^ z4[l[EƤOf/XxwߤBTgs=^Ŀ 0B[opE15H*>L.2̿XSr[# P).o5<_̦:}twU$&sL[X.fuG մvǽE' 8@2^>"V6vddi%{_Z%q> \Np$HI!=TM˱k K6fPz_ݢ 2$%wl6Ӟ) rIb- M:8S?-Ćbs8mU( z?k `~q=4ۂ.*Q^D0nK%aH瀿k+`^G^b`*nJ"+w81YsĹi&Ds,@db藓տI]"jl*UM#WH "s\(fag%^Qܥ>t=x~\ 0d~ۢxNFT>yۑN`4W4?ejNxyߥ˚3 b޹@GP&Jq +htV8[k&11yF'mGقv%O3Nmq.GΧM1c397wO8[$ء;\Lz@M.DW(Oug:ou& h%Ck2 #~ <@+lT*[ҌOW VAkSwƫߌ|`bR$sܬ[[~/GreOeLK Qj߆XRr20 6[7fve3>r:'IQţH]:^jn:ax$K*Sp'5gT.!w BDBmn(']~K̀!Ul)uxx:ek7e b,_=r$b LzЈm=]F6.Z+nL Z_YNv)cf=FoA;c>&;75yi{#y.zY+뒒{7ubsQ_-6fQ\w>0sgԡ0 ;K ~۳KaˡJeOq6sCoK OLCMšs۲{octT tԖMgE4AcLJ~t1tVlxLXl)_= z(S/&~L ?UZmx /7N `%Ҵʂ!~(?ɫ&)sqB-0(HS(>o[ȕOp&'?@i`{9T6`ZEItDQ qKC杧~iJB폫^-|>^OcѠ}TrCs1dT~8dcLIExV*c1>1l~mN(00 4};gsߩguoDBkXBuyBHe=,zNƮ\wiG%nudzli}\j8'VTL:ƶ~osQ/+۫jWdQLx55ȊoU2qWJqI7]j;>'I=PcOS| ;U@\ Rt{8einC ˍ7 ϗڒH49NM3LPcyh:k!g9,*13m-DţH ,[xcfo HybP̓ӷvWj 4HU ?Ma.Bduqa-nG$i xż~@9f~).M!`D}Wh~'c%&Bf1syRk9/ QMf)2µuUkT)dJ.#ظ[Rܢ•h[!`dAk뺼=; b(GM>3xD?OW$h{Qɖ Wр:ux<\sQ)Ńq`+ȑՀ?J%qAGlRqjpk, B@nXUmҳa7Ah8(w{0ہ4Ġyk.?e<Kw8gF&͑4ȃ{k + ^ fQiGQ'2ةP_IK?wg˖LX "Ώ";*nƂ&tStdﶷqksWstMi%"H)Cj6QD\p֯ ~3 ,-S{Po:.H^7DrHt|/O %&D(5AOE#iۿUpo~,'f@_S@56;P6lSV`Z(;ƙ;4rMֵ?"uWa^|?&Uɠn2UHҭ31 95 o$2o`aJ6@K\rkLr#&kY@kA$TEhv 3{12y~ j;n(F8˕A SWb;G] ^ҁ03~tNHbל 䂃aP׫W@r,8$'mÎ-quF:Xxy8Ä<Ш,4\|Ρ|)Cxu$֞=dbbE%JIݻcяhif "!FWo*NH0oIFVIHf{}SoPXsIW%g♢8 X:DPnOޣdV{9Th+Uc6< շr˘EtBM(l>4BG51D?]ݶ zЇN8)bh bffKdrod;qPjnoXwUgaaԪqqVh*xs C9Ytkˍ(Esu?ScEtǙ@aif &S{Fى3mXEL-MޤLI)x.*?R (0нR两7IGj_Dc_1_8OnpWzw첟%"$ C+O@A+)و_VXZhP"d) c刚1tdc5o\N襴+M崾ʼӨm5QZ; !v't~j>h Mk' 9DGn\IV 1Y\pgFijTEeoš!gUYJx',Yց!+pUka,~9CYX[\+1]c 2% AZ6 -sd5;jk6Lk!7F݈ `KMOp/81/Ł}16݁{/6q!;dǵ*ᔳb i\x4w,yj[=qs1Mr㑒10NqχƭΜk&S5b<3݄+3  =)On4HOOܵp!;i.]#жұOځE˩DJw6D%-PqԒ E$lu-ԏ>ZsnqqUDP 2v (B pBT~PA۳y\c[phh'@.>D[@L +frϮ!4JbQ}=|a1Dž"ė41kIOJ;/LؘLI5L~Je;̶ueN+53~TnJjdaO[M )Z,1Ϋko{kά9(w(Fu^:R]=Yam@cXȈ#>rUx k_`%$6L9PtP,~E Ӯk +O1˿r$m٘Ya+Tyo =s.:Ra64i.# P!3W/́: q,lhScfn%\G]ᣞ5r ߢv6HqhŹU":sCg>oF5 ;`݃xa%'n/'up:O IL8@Cp?sNL½=k7c O$w!NC-f*,y `xR$b"+X(NY|4[瓉>!Y.ךyC[Nͧa3W75Y9 >/iEFLvt#pp{-J-tɈ 'Lp{jaC=|X 47f0A^ͧұu7`#}Pt ⳙ-y DÇlN0^_9xK%ޚEE,F8ݯN}@[EK)e&WY%_vvo2X50+9աHa^BA!24F䙔ܢ-kӭ~p`_}C#?)%Þ OPXs; |/GNJ/@#w?2Rt#MvŤOGXpX6F:q:TΗ'SΦ/jѐH9(oAޣĬHת.2#В%3Z;I3>fTaBd\6ZsaJ] %,ڻلRؖ iByEmTñW0T5(8s0ߠ[q~Nd&hjJӒh -SM7'5k~$2EHswW.< DueXkR2.Z6E"H9^ئQ3|3bVxlO`9Jr1Kx;.5I6gA |u!R>\׉ψTxn~pAȵ)R}IȖj&:yN Z2?bI !Dl-o]Ca,Hû|ŘRT&a}IjRuv9>yu/ >gN#KtGr|ﱳ+!IB3Y} (4v'">WPt0a6c@xs*̽oQ aQ ~0b"_~Pt_%Sƶucm5:Іt:S9<5ĕ0lP/͒H";4l/EE}fSHO42KTh?⢼ މ{f΢-DGtZOK/{?`k qni<`';ܺA݈ :kNj-/I`(KG,TX+ 'KEOQ]T5 lFkXK)”?r;2Xoz/-ĭmk?aIxF`RޜmOZ!'Ϗ_0XvLpðGDvm˓mNř7S !`aȴ$"$=wh>R}[E-eGjH;ʐ&ucb/^| y} M3\1-*RCCr/(])LaRq4kr]O|N:l%Y.IGZkVq_;6[?=:&n_RSh&$bKDu1qSq؄WԐ+!h_Rua͆3` ҙ&8⒡_3zC>b._$.ogZ!sv>P3Sn꥕{ ^(n+G]>:dw%| E>xJ>ލAA&*CiU3It O:.NFh# 7ň Q7Ҵ0o&KR~@{N(::\Ve=!{vx\ݚ3x87P%$%lZ'kNdmht. =À{0,b/lJUrHllQ{ 3T%`Ⱥ ?DѲ>*[^+eZ"o)-Y YFe.JЙq47MzqMr#r&}:0B ce-cp ұlzƻDsYSCg>4(%E3hb"44b-")=Mry^o' &im +;-$K< bm Ie` H9P9{\/D;ӪM΁"' .^V/^LS+.f9 ꛛxxUϻJtӬͿG2^V+=}^9(w X+^$j@y=EF9C t<`Ő#tLjc&j9VhKC)< |K.̒Omo?%JSX.{ʴ΍5.NK9}^9+.E8@rTv&?i]\vٲ8@& w:֥4'h-&b!6M{57B1^ի='V47?~يP}x2U_+4"`aܔ| ~&kW9pϭwdTvtd;V}{ G1߉s5 m@5x9 WGtZnu&jmbHcˢp55*' ą:DGqG, HOr/kbĆӗગƼlSplR;s{3ʊ.NNb6sCW2l^*>eĠV<ci#e.u%b#&W,(1),-5,U>nOo< T9!^JCa ]Vg:};"ڄ[bot y(`"dY p㋻Bk;`;7X}g;ϲ)./ATJDdD+'N4[&kN]eư qTlI)V.ϢX *0tX4{-_ƔC< -"qH;Duڋ4{YdkTg`t𐖑.}^$0O1+}@X{jk{;5զ&I39-2vt$ӻzՊwR;4̾SsZC'cZk+V/7 hm/eGƙ|9(Dذ@So1_(~s&DrJʈ4<с#McVlE(+[eP4`<@IY鶧)<V bnʼn̤)П$N<[ k+K-nQK !ޚܙsh?`2*e!;.Q!*ܛ~bjDC -GU[Glj^,f70 HÖ|X"Zx}&GϚaNmk_Eݴ gm  KoL웅?񯁝bχބS99gV 5D2vQx3ѩ,Q]_bVWs@&m2do6PgIU 9c.XEOր`9CrQjy-, "EMAo 7]̽~*vyg-xng-GF񋙔 U]Wx7U(@:6Mng}p$SM\n=r$򋩉܄|,p S~ Aq$kTۃA94#6bߞ`[hSxMܤ*3֪\z5NδJf9'`Ki{OK0Uy,|U?:cx.{D_0 ~ LܬқŃ8i 9,/I9Q"/.:H| *R(D*zF2-o x6~ᇄ3uf< #i ~ 2Rr4`m7PuZb\tWM 4Y3ZWkdlbu0Gfa>Sq41Kk(5EdLoqcX( @R9((qFLN:m3H=8!PiBwMZ1OiQ(T| 8Kѭ7%b`}lTi&oi\ZV۝yc wM200`/_@ԒURM^U7'7z}Є D`֠b62/I2N=^*B  zoL;$upjע.vL \{@y9%/́zM!ӄ&Qn6v8 &ؖkd6x~.z<*{*/J3Uc JP4ͩwաT^lk_x.bۙ~Kw,K&7Y/MPik0ԛA5s" rܮkыO=eЧ MMA2݆ NL.y(jS:1CW])HuHRrN?9}Ң%NW(hD`uCR(}O|d:He*X\cТICv>`h B~bĈE9(@2PdAZ#ɄiAyQ (UX ?0QSJFL1K;+PJl,j(.YY@8AkW(c݃X,Zs!beMi/QaJQ`]~F?nוhMЉ]N '[x+)aFd=6 Zp_D ${ ӻLU-i%l}BƌސsuM0hl/&DiəF$6 xpav'>GUKdZhN/B,45 U.^Gt<$KAeAv;bsP4` em.zZlDVpE1[ˉ">n:OD}&?{finE+VEo"GBg҃t+ΉHGr4mܴړEc,E"iEmPU/uCj- nttD7m;rxmQN!ut %hevzv+}4)?3`t ߄wb*;$RzJxVAZXh]'lE᳸ؿsu,C7={`H8DUL-ΥK{R~6 ۽F}gOT_K"lM)"W4+«5<mK>L,ٷ Y⒦+f@+qқ!4SHJeBp*(I^qoij`M7B/)HY9ۇP(ࣉ 擓Ot녶q^͇ ^$v{@ bd"\-bv#`#?broDOPĘzA۪]%cS{[Bqm#t|F =~eFvh"Z7.9NԔU&b%7|w0~5'B0BJy^reSأ?ќEwjdq{}}U[3] 1eͧQkfCN@TPtl=qoˏ SLH oU(qsk!S gw@OPu dXDn=ٮe4ޟ 7B }Ovk9+RH`8%=!t[G^'F3q l~[[ֶ{D$<2Ƌ ]\T8¯AotAq2@d,>{LG0zm4%ZC'B<8A  G#;<(lWKx @?P%튶ő-S#O9+IcُHtꗡ,]wm y9aNqtaYʜaaѵD\Ct0%w0v|ٶ pYI=)Q,:G5l%'cII6` |rI8im]Y >Z9\< o"ijgN-Br ;0k@&D(1s8E2V ]O{+=PYȵ7('R\ G&)TI>B'q$$'FO!Zo*Ows2ڳ!NZ̠?rrz%Nr7@2NÓE&c @s_X<%Hmnq?;B. ~~/n#GyUGu?aY;YPb4U v}=Լ(%˷*V87WS![ec$Y~YWk b*.qΔԱC #dgؕ.Z/`a@Œ?5߽#"kFk)v)]OMM ;Fy[ B__y.ƇESA}>j4"6Zo!Hɑ w&wR4 Քr><OCe(lu_xmXU!{>(=`|^heӠHDw&]>Fs7x}_!xCFV`pYQf-Zw@7CHY٠=ʂ_vC&Q {pQf:G-O&NbAVTd8ªUfòKz'(}Kk|Q6 XsC2%\R54 T Qϕo^sj'&*wC8 4 c' Ng34`G3d;|f~v4+4X@isޚ667z'-k A[@t3dr85c OyBL(>`"XǽӸ: dJ[rN!VήV>)J0ސD/D%BZ]fGWrn@KŨn(nL6ޓ}:g@p#c:;y&,b$-j`| N1'6E$H*t!J&Hֆ@ɽIʄRKGEѿikhJpֱ-O> nO]/(6+XECL^>4N}֤q׈T<\=Ox $`*S'zPvEN9o@"\ 0{-O0@~f`eKCԏt;2vYU.:Xc+ NiQ"EFI>AI` DSԔ$*=N[ jRUxՈT i(&P]f [e=l+.(mT30G΃  kWԙ%Fܱ.s0`.6k;-*3XƏB\USoQ߁ %,2B5%`{T=QwȁG5]=/ J Rw0 s(6 se(Ab~~@!oWY$s0v&=Wxft`/.Z85m㻦,2ki͑m 4KțOn[?yx© X)?sdV'՟`_[V~ ǯGn6tvu|g,z4MXQXTx5cv/C,Ҽ2 rE+Zt!`;OSa"QEb`$IRN`s Fv!VzC֩#>*D8R-.J?f8hQz攑Q/ăt鑰59AOQ4*F#Iw()ӦIV`e nInhe"_1/+#6r%,qcuiWqb%|G Z>%>\3yye$0Bs% blԾwuJa;ʕeAP;nc!,y]im϶O_KƗf64JrMI-Q~_nN`.\VxHEaYx$W_d`gQ SVd~*Vע1z*"0xY-t8vqѽJ Nsu8.Ilg<6Ӂsxmn_..!4@AN^4|U3x0YGg"5!8 ?\^DqH9/%v0yRCזl&&߀j:9|&`16)rsś!E {xO3 2ݔlwl*V׉P} tux&?1$U~#1D-:P/pҠ2Bң/:PŞq팼ʈȈl?y{Q1WqFz{;+6#'Gk+uܟiKKoKab %G r]MK.N|876` '='ɒzcS_/ia)؀ ņu(rrE_BeBdG<JvJ7:к+N59[xG|W.ױfo!BSב#vU ٚԝQظ'zՓ6NgD [/hufBNyy%:Lo۶`5U]~mJ;f3FZ Nϧ8GHr!\b"]. F8ICU{R):4[th:&sPwԭ]]IC,FÂs1-1Sraya]:bpJR.yo69+X M ?B*V_00w-۹#g}/ oSK^׺S[a Li/`Da:2.nQUH.s[yd˖/vb^lއ.*d&/S6lH*'WqG~ndzZр~$.JF0$5n;VBfk?YBzeY⃸i[} XT=}//`Bg:{9PW`+sf`2ď9 3ZJw +P'OW $EouxZǣ=/f>\_ $oܕIL9hm<YSgJf}a܇<79tVL-Pk>?Fz@>ξθ =:C%0X]9T7Ӿ i?g-1블'wS-Mq9!-t@Wu#Hb6%P{˿|b?qB0Wè:V+~$y$DA#MgG#+g!E/ե:"zBiL9p`d9$>ɤ6@{ݥNۖ2%\d4-s&}^Cp1=R6&?L.L}ۖ/|}wq|@]A÷9Y`v$.xZZS63FG UuER$]x`1PΗÇ5c\f`83nk~#J7eZ:1sM#(ꨒѓ@4QߐgobL Ms.0 V)%>BU>P4-( ֒>zUZDn\p 0Qb1/Š_7hn HMlumV!mRA0շ9ghͲ_Bl1Dl㺑Bi@ ]+^ZnȻh\YqD fwnXI׫OA;&n\$)'x8+GV%#p|1wWKj{Z^/6_ qOH4|*#IZqQ4!Z3*|l1kJV{^O9jBъkLA(:?># M"4nX,nD ).K[?۬#wdf)],=n^ޗrHL,@  Wf¢ T_."1?GVnê.jHϯ o&e$5Qm",IAkrRIF#҅Tt78jH^:ja68o@65^ikBx9 J{{ vgati;(MBRcUȉ<p}5rVGkͱ]~˳P =ZPFS u#kVaNӁvƪc PTZ B8 nCX.:ExV4^ s C 4X!4#Aٮ=!*zIKNl7f=ZʔݔM=5DcK 1n$H*hzWdSO܆[ER⺯e?RzˑZЙ=}0QJ3S$L ir#(^,QEo+dpw◲YÌfͧIӸgOϺ\sEiÂOttZzXʺ9TDO}UZ~9GU[hAE?*H} #2}&m9 ;Gb-D%?hK";]oRN\WTU#[5XzOC(]v/U)$'5`oEpK:St=Czl8Cn$f>kRGAC`хy-?u,ٙ;3ƀ* NCq-Hkulx@;x~ƩýaAAQْZg[Or}hAI_sѣԐ#aU t?5 @Ӿ67N"8 ^KVC[sIgF0y 1 N]AK\谈. bASz>xN*zШPYsx FD]1"ãbT(Yi6E;tt[^ȺX‚E\^"5?uU3|op(IӕI>;G\DwktU:d⸗#ēr.uEwJ?.g`` XH1@>a9%kSI*gee`>pX Y,fn,}2 ;/M3-W#Jsyn[qB5"VfRkqu]nw$(x_4pUGt`{C*gt J,- Ʌ}b.]KL0}BnتŅ5P-AB#0MT'~9B&r~Gt٭OﯸO9ZPyI'%:ث(Ƃ#Lީq-/d"ճnJ+[@Cp诉3kbT!W7OluGc ] x]˚l5$BA!i4: [;H~:_.nNnklFmG IZ1Uf CWG?){=@$tLricfȃ*J12c/8÷?Gcxukq,yέd-Mg$Se n= ;E 7eU[daƮq@IPʟ9ߡM~(D,@ZtyM?* 7"K|̿hZ_\RT8m'EPeȽ,`W>J=ПY]"qgpfMhSoŽgH1؀&[U$I_jôE@~:8A`DhsԊA4;1 Q} |_yx5SzAP # L6 y3Ajy(! f+Ys ;f{%p"rNpgYZc368efb3f868e9d7596ba043c07d426d4a7e0c1f3af822fee716c8c3f7a258f5d449a67bb4886bf0 419241d6c416195954afc47f066fda364f6dc3edbd6d51bbcc7a2180d72bc59111105fcea7e5f423