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   I%ddd ]/]HOL-Analysis:threads=6elapsed=363.847cpu=1608.100gc=112.220factor=4.427zXZִF! Q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnSlz ; UNE5 >d _z vҊs՟u9n؉J}Nvq-E_t7`u.7pL3CWxI#5u?1I+ZYׁ61o\4İ9KʍҎЅ$c@=ι:^+<6,[]L'g6p+w/c.5;-ߙ0b`.nHaФ+N")GigCgBq<.LxRdt~<)ń.8jWk09$Pt=l&dh.5-BeqgO !L.nY5# s+!0CC>;bN6j5KƨѯD[B{ol2; t#9 80}ڐT#HKW~3w 1jw+Kh<#ǔ6 fX| Kx W]fhwD8/쫮N(@P I/'l#L#^S?uUAj"__ec~(9xwLe8]`*wT 1:\jvk*@ԛHP*Lx?Zĩ qצ"]):'R׼368Q&e)1zjع1PY>KǹRҼX#`JYqaF/xAuǚ/z:ns*Ͻރ諾_ F"=ZF9_Uupn ;Õ9=1--+mZzPxfM-7r% NpMkMZfp3doy*Qn  % HOL-Analysis  \)tGWuj^ G I&edqCSG`x2 ;ErUX>aW-~qx x"l(NX7N\7zfH..5߭uk?nf/SLps3p`rdhqUP t:' (Q-`oC5&N~=?N~\瓔A-d #&y)cؖr`u֟flH4| vw0EVĦd??RrBai+%~kUJؑ 7FZOu<?$>@[X' _;@K_lu9 E.mAR/)ލ1 * ,Қo %Zk/Z):x갾GSrttFh<4~a {~+Ю5phՂ;Ւ R">Ohb,,BuL)$GBN<5_007îؗ㣑lsf%f%эxl 4@Y]̦돉K'V,b CX4(.zGkA7AMV3J*ylVVWLQ8 SJn݁ŀJHG!sr]\݅ ժԩXSaDS, ,ԎAZdM9sYX6:u{ohnP.+1]X:-ׇM1q?)H|RF@ E($C{M3‡`؋o=\qϵXc@8 ]rI%TKO L_&k'^#;V']k!p $5î >X9ۿ4( Sgk;{X Pg5yAhc8G}wI'yi0(w六Tq$89>&Cñ = hhT&+ush~샶C~t:_ 9]KlA՟'2*z3A[zH)߸9v%mNqZ#rYb% \%hQ @ \w)Ҭy d0E3HT;?y5E2ᦃ:obe2ߗK %RutNᇍs8Uڂ;pyȨ慺Rt5虥y-(s]gooz^8<'ח3FȠۦcQHORG4efn[g,\Pi[L[]$03dy5\#$x#נ:11_<<@ L[^8 H-^ٽ< ڷs[@_O-_35 HmA}y2yӾg`)E+9T ?٘ |`a?Z 9'2Y7xnj,w:)$'랽A q 8yŹ(i8PsJf{= +3mS*\W`dU L`!yy4Fu;@ S&21п:h߯ov84D̲}`DjD{mZф͒8 jQcG/|j#nU=1Q^ӌb$^C saAĜ+дId؃里Gj`A|2chpv|YzC& TH6Z.BjV'wUinT|!evoO04kRj j?? ZkP#RP ux^$5O*5| g+֋;}"/cf IpPS]Ըϋ:W!bʱlڤEs$2-X5lTo m/c >sfϒ[4,FBdͷg0hyPRa~cx&bׂ B_:9[жDlnp:~ܐ/崉?? H߳D02Z r#;F?~oy V ZO@* ,4Vw"h%>T8>=pjԯ1jB4rrG,'eI)[nэ}Iaގ2gVa7[ZnYa!S!Ջ"]a 27E'rx-Ȓhr+pJ/,<̧y9]7!-PfHi}%T~b+믔CcZe'.'瘇q@UI(;Za~s zoգR:>?Gh &2>8[#p\6I{Мqt)UC7nVt-q{HZ9#ߠ1! "͇J\spdxR YaJBq/tA:6Q4L]%IEϾi~cA{?ykI<@FauF| B+˿?-Nx P1q2ػԨsKd?Rzu;9]l \Tq`"PנF>17 Qv@RDGy,tWmePZ7>d>WͿϩaI yN~4.P#xJbQ3da#d"! 4 ty-ɑ#L.i8Jy1̱r0Jƪ5ڜqM'.)4e4Dr1>1:4X0x%Ѯrz/gnvQ^kLˑŰȣ( cYFfD%=ofKhI~QR LM7 5w7cpVy }vW_=RЊ0" CVȧ aY;yϱSK`&NpekͶB.>T]?OݒG!77Y`؍ZXFq5g;A[E] &~#YO¤\[Ua42+tK<5"v]N7٣ޤ-hUu}4?#A& nWYtR.?3=.JgVw7`TʗJ|0p/Z Aϋ5|;9`xHޱf#/ zdf|:!6*N%qw0` 8h_'4#v1{/(6/ dK뽰u{Ȯ`X$n+CoRڨ@pIh|f"u %y.j,YoݙMW~*ːV=w{5<&mfw< {7+gSdq;QpJ ws 1d4>E\߸ڕaɦ\:+㕉 "qIf,@ÈF @8Wzi\G.O?\jrvR/g6}i@[eOEouViKTi"_o@]b"C|Lz0e*fX=a6sWzus}r(8 5- Te,lmYdPdN"7k5D_G/9 )귰~0s{N,Y˽$Is0 ^GED=3 'Q-gU௠N=zKhRSɰ T3rwJ]4?,?yBY1uZYїJU6{Y]`hU^tvx ѭ<:&y_ 'i laR{jTؾ<8~gINl@ 3 igΜ.mM2vg,LJX ^[n p'f*-,WϲN *8L[u|՜̡7O^s@`ג3Ԓtbd%1?"OkmВkvrnj8kB(qC#fЙ.}a k@ 6ICQl7e#'hvSS)@lX54) (O{jjN^%[ۧfRmu5g $^bŋJ_k:_Q[4QہbvP='ȦLxEE~hJs|X z|JVD%9aahn)"7f!\_W6THzvfy34\pE秷Ƈ8حjd#qYv3B=J a_> ۍZTdn?558*Qs2G Nnst߽ʿoGعY?7~Z!jFNQ*,SL5dDBRZC]_D<{sYmc0EC>SX88_ϯO}BeQܐf'VVZo@ O(zlDiloGdcڿq? TW׍jrF>r"11cANPAo0{c]ݰeζ ErDI.! r>,Ov(+#238?sco|@cS(d]˾9TWdg[tM~BgjVc87$t\aajFt77|1Ѵ &ӡ5y*'!N<"n8cېv HRr0ӽ3胥^)bWA4ÀQv-X\zvђ+]O;_7_OMXeKz;A dQݴמź3rs^ jhj,Xo>&*c,[⨧M 7Zb f]yϝXm8血D;Hz\;q}9D`Ȧa(% ;įo9pvQ h`pL0_R5W%C-7raD}v_.G)R*3]"-7DŶ]4fNS&x@g]E]# [5}{ö |VFJyٲȏrd/B+^{ $+vn;EUʹ{7S>uyl ;Pwe;1?Y{37:3X<=j|ZA[TBuHmhf .GcO9ƃo6z__5>;~gBX:W-$$?"_l9i䵸w\[) N̆c;)vI)m+QKDg/ō ZJT^ mh0 ?Ư +bq&:/F6߀; ;֪с^؜-Atn %v0yniqnz|N>'UVikz77gڢ4#1zy'U %UIe  lXqjD}l% * j,w:<`hf}$MxB"1S/i.Ηg (3OkXm|D F&C$'-I~ج}g7;s&XmS^ߠ""vcv pN0 rOi [x> LE,-Nl9xYPp5J2+<={}cit,$h[Ɋ֢G6'CA/)ScMJTŹfNx]z,R Z@ F똁}(k2aS0*_v /@z)%_^N:(3vt0_40iT@@6MnX[-84ՈGl,OEZPl0v1Hmhr ZDw4xkO띆~q^n|RK硧h"6,Jz$!!޹TӐftS)\b2]3U>bAXktȗSr'8NܨG9۲xZ*6v&R%n  T! O(XwΫ|ҊG'ts!͘)=^pvΥ.Kr6(ƾXi"M>I{L]@j4ي.o:g?{E,jylŊ[n-Bh6i}Cmj CrR S7WTT8 վ#ChlZ /<_a؍vjdbV`͕vA$HVIs '*?@O :†'+wbdoRxc: G4 K}+J1D 1̷7)c_EIܜ]i }P+ZְUiNt]7uM)צDbҢ$ 7ǫSX f(Ѭ  x5 K%(ESì+4%,E|ܠ_o)cR 0fT$܎J 9tOD><'oAur;&"Щ e{>R3 :l9~v(ȫ(Պ6+)XN3cBTi?Ȩ Sro/`՛Z}rqQHErr1Kov>BP% `o^,_Xk d#`)Br@fz"+.;7d-/N'AGqS>: 3lWPPL|^yΨyE0'TJz\_ -*k Hg}H1s h9Xk({UЏ0gz͹ 4A6uLp\1$,Hn3_U#,v2rH=~a0Iec[ѱ[9+閅۪OJS e,SXa_?xHYވ34EQŜiK$x1q杚0޺KDq W01 rVسAvS6zM{7ڵ߉(yx?A"_XPt=JG-V ͐62 h]z+0} G^ΔS:`k0\o,QOZѥϽ蚷Lv3Y 1Hȼ[,}D[劬I*V:tRmlgRAR`SFVu'1_QS քKC Rk٦ٱ\=$֩EMWAR0IVw驒[#vhJeCf"`wy5c <^K2wq8|ƴWܝO.U['#W# 0@J|(/8o/8O,` L(( %}5{595YAB„RG@wfج\!j# &)Ū [ZËd-˖< =3͛\ dDv/pn/S"~ | =mm":O9G Wftj3nY !^ !;8/~x,AT葟cstf[W,c @׸qBW[_h6'9mz&WؕWf}yKе>eʋIƭ8l{=7 uZ69P jR턦E?ҹ%M=Xh{Jk`sx5] .To/mLE:)3^V{ATVv̛& |-ⱺ6'9". 0WQ+9 f:0[/yr*FUjXywNRAO0sJԚn#8QH1{hl^1z&}az,Fuy|q>]OwQbpz0MtZxc9/c~)M˟Fd2œxqߧx8VI |=DѺΒ텟$_۽b`@xȭyJ]Zm1i2ZImoѥeQQX\!/Mřv Ww%uE)3'* }"Wz E7_ ղC.IϵK7g ;;B= Tm |:,Mp쟏6Oa WLEyT-;. !^{$8N҃L׳c'NH5yXr=|>Ěs Jvǖ@\5fJ=qOa<9~C1-VҐִ4l]c崇})|%@x jZ>lP,z[3`$[)~f [foIeA3Vjm/%>Kಯ(veUȶZ*x/yqxWZ,ԛrQdk 9Ej1Ƥ ª4ӀTAG>g+.^VG&ѡ'a;nc\dFMb[hZh?5I AW|cғVo5d/Jw1l'/^9 tJGh|i 5 [iF\Q% !1K~7x t` `b2ߪ`hl}n`=9H FIiaj|w;I4(JY{mSDgw\3e&S BjOQԮ2^MŨ<ϴn臈_ݓ "Z BDJX8w鑶IyoSkODȀ\3Qcjͤ'@.6#@t}x(ѐh ^ RwVrCe>`#H/f 6;-5 e> vI*ؕۦ9 j`7I TD(XW]^?>M`4a7׸jk _Y$`6T@ &qTJn8+YU-8U$n#*_@"/짥5 ͵D*h$qvw 38Y$H}Wx^i\ZXr@YV0Si߬q4F}N˷lmUsm<]GjFtp$Sx=M=X!:E1r~ }G,i/'|vF:ݷC8ڇuEWo ~t= gLkt[ʣ((+) Ө߸#ϧ[OQT#`Xyb?jQ7!)y6Sz}i}.;̓a8`&#"1MĤf1q15/ bFr ִ ;ٌ9V=]Aw#K\N 'S2#uy|(& V FJ^wêg@xvasDXsXfgS<^gу7){==$rc) kpvG?G)ΣşVb1KN%gВVmˇJzŋ G0UB<Z𴆈Lh씀:;U{KSj9x] KasA;p@Ҕ/\xLKHkV?/;^Oߎ_Cl8VbU--'C̽u>2\˷B6LA FZ-{/Tc˳T]QNDȏ}:]!R_kעU?iq3A3 <-Hxo?Sԭs:q,PDu$.҄"Bot'/ %-ҽbT{ .q&*QrYhO;+=&T/\"M&!i~ _YX=QL~*isVU}WGVe(3ɒsqM+Ņo42YNWyx"OA Kbࡣ,+rFN쯷I$`C; Q 1ɟp!,D҆oU{J_!lfd lLͼjMAD,Bp !&۩wǽTU[ݗLBLj~]/ .oa`ˤ~[ջg}Qq3%ʰJKq-te t%[5x#'Ch 4𤧽,7A(.t_?N_13 T  [~Qϼrg7rۂ'Uޭ 9 q挾 5g@l@_eͅъS&P\oNx0Fl:\zyR/HĿqp( o/gc2 x@XCe}MEԡ)OcY:0J,~)uzon(e~sEX/Gyqs{#Vc~A8]L.*PK&|/8 V6̱ܨdV2+#"&\;L;k*­DGA WǐbcNHRK9<@a ykbv$JrgK֌:ҫǠ<>~yOKζ8;`a&ÔME ,+#T")JftUt MPe/tBh_)RKD/rhkLIuG%а|D>/EFZC^b0!3ړx]gQܥ/n_+s4fIk ek#:!.ƈ3[uۨ'e~471/bK=J&,ȊjH ^ڮyGFU/KY&AJtRi{ jϦ,ML&wtJby~<\_XVqd" G$P^ rv%}gᘄ,yHO12#DDDUmtdȁ ˰;\?p: -קATІn9e})/N:x )wܴտҍA͇IYZqdwU$zCƁI.&q+Iţ9U4TÇP7!ۖegKMNUCXQ-KUT'&u㑢 5ߚf`f d ` =%JR樀,+cZ)c6"ʊHP`%+&}j %s^ A#bx1xX0aN_$'[ܰl=a w^~kζq_0w}Hdf(mL:(/luID-oc A :Sh)zdxA%|"4U] ҊSPjL?-` kzU X]ܳ}жOVǣ)u8XVSt`mGIi%=,qln|hD}*9Fv}!0t|O'o>!|Pn`@kn)UABh PQY8Ĭzȶ87Lp 85I$ds{b%|k"чkE&59b s<( g«jikGSL,yD2zGrrˌz9(j= 5cqݠamb2tWy?lH)_лk;L8V3xSfGx&'mm0Bn$嘫J>SFu*0\C~;;d<1 I{uK8. r3pUp/cˢRӕLn]#*%g!8-bƑ#`|l;0Yg@ u}t 3fP=B+]kÚY{ol15Rpc 2Y%b9׀_Jt 2 8Yl Mlj3;7]ZIN-^!ui{S鬭2ŞX{fֱii)kpi-G=JȭSb<2# 4o-(6)/&b@Q_ךҀVC+<݃dc m6#GYS\7;EE<זe;mih0U 9QZȾp m 7qZ#&m2q-ƈ`])Ke4;*E;}sZI+SXWl}tzF9%68W? P֢~mQXW/H@FR~+3;rr#n˨WwCWİaAF%P=Lz@x$HҼ%$L;=>1LUiD/hBAWXzban.#plU0;EB :)wv cXaftwgYZ7zXZִF! !*]ŗXiɟ1˦r!cHkMeBd4Ρ0%nf9}Yq=YC!S#6҈ZDHdOz|gFru5_!9\@n zl>y|96nxOvѰحN͌g3{NQ>OV ݻPTͅR>Ǥ.˗Tk( 5ȐuhVSq&6n-<g,>>P'(_ ۆ`u9˻/^UT8$&-kh6eϞ1h+*sveo nmL*[>NrIE[_2fF%6u> W ԇiP | ǻHHTd\4<;$v@􌇓bC,A6>*<2O#NFL{VTrrDNLp+).֙Ͳ &1W) Ǭ_Za*1{AvJl;*On.#}NDid* |!NQlVY5RHt '*U[Yڀ:jb ΩB.yVc+m.tww5e}Ly߳q6&T+S}/vF,O+5%f%HU;LCshw:r QzVZQ(O@[u/Esߔx p@8~ͷlaFYpNЕb}ܤ v_;X  Tuޑ??P5Wxqz` \/&lJl{%3}UnGv`Ugh5 Tzp[gAOp ߰?i_͖" bzþޛLוt@r?1lsnYݨƙ)^n4{C1|n}_f'v f 9=y$/i >zS E6nUW: MVL C0:W_HjK3Ld[ȑjHʞTAH~ ب&{Zx[8q*ݤ#Fp')'J8psRe,f9eM&*9 A$M=e5L3 A^Ɗy1GDۥ b3zΩ?h*NcX3!8 Bܾ̼ G 1٤\SBNֶzN"hq״4u81 + 7eMO/G4vRI#8<Mߕ`x ir Q|`jP0 E?>tb"Q4W[ƈmfJDDu^|Hh1}D e^/kPS*~Rilp'"l^ 8Aշ.ji5r؟AwlO6gΦF́,WX}J>A3%Ks)]u>'ivY"hŃxoJ=#q)%fGZZO+ei2Gq(%ǏIJP8(}>chv,ǖg-g7؟ ԥ~nCh䔷gYZ7zXZִF! sCik]ŗXi%;^pp%ȅ,soj\a]@I<ݤ v :.sfɾA"%ĝ!Q_ gȄ;(nv" 4sHn % ;V}'f +nk.!I KꨛGԼ`)hNg88_V/"ω*&v #Rxt?|{3:em; 2|4jgnc6B끍FӪ(r9i/ݞ6gjF(/Yxn]sX櫡f^`,L [Ѝ5! z_m8I3Xn 5ٝ'](M]y=U @x/RAGDFF$aTÊy{to_]3Z7Go .;H.dKlA.),yʍ"J12>Gk(+_@%5FuCMFLx,x{'l?ic3!PI\*ʼn7 3uok@I;8{eYtꉓKX" PN'H-z96\~r3tt} {V>K)DK(Pc#B lp:$Q<$& )upW1CjMN #a ڃcsP$h3Mޤ+`e "Kn`ĸɃ`$SL뒻r̯9 %RN"}ܭA:>4z~ i銠z$h̶Z]mJ'0@~ur.*Qcc>i`R\ST& ߽=7rP!UUԧy7<7 "5${QU= _UDZt뽛 t#?7ʧIddZ5k? f~3zN !a 3, ?[c(Ϸu1_AB;ߟ:c ?a6#hFT/!wW}g&D_!~ڐ^O֎C*E8^j2}O!4(how1 bsh0J+"]u: C|M,0]]Vs7~+iADϻޡoX mjַ"IhnNPޔ!&ͷe6 wqvע2+Cc61 i>&]%L!.x׸X455enN,9=nnB/wSʲT`‰ 2Bi_-g BD@:m@N/yeݎNnՀ#{[K•<`i|Os Mn#x)1A`=8 %׾OS 'cPKV(aZU7}A؏81+$轡V6ʶnp|1ϫ8٢栟Փyݮ*%QǶ.uZN +rZAEc}9ga\8^'ŷ]PpLj\Ƙ _T:ݦ+.\_yҟ53JW_FA vPNzm̀PuCyP&o#B\ Bsy6dH,kGhb[ejԉeL$mK]=,c鿸J@ƭ$?SWXy:o4s,9 3dXo8s'A[T~þ0(bFR?"/Tm./xx>1V~5Oi<X$nK{Do˷YjO̒v7ž`nJ\?ڛ;:谶w1@9V2mDΐتFƺ߸(( *%jo 0{b)biU>35܁8VI`fpI1xEfEh$! w[U?LwZlSK|ҚYzJvokXP ?XXMPk$L_;(u_EYv)9_(gZ!1l"a\N0 *;En::Ƈ=נ^Mnw%j@]6'vh%h&2g!*A c0(W"cm:FŮ82T.4t\|eYKWW,[YFk¾U5ZAi%Ksr3 86mh=5e_i*XN.&Wƹ6H g2HϢb-$2\ᨕrV۬ C/8_:/x+"ZbF) urdnj7 fzg2X/u!O>GoMv>6_&>=?AG Srdr_bK 8W³C^0^ݓCmy,:I*;1e[eR8G~yed ^b^/7vKKS0y{ʉ="cdЬ`v^YvG5cx)𥥑{Ho}!,?nfN3n29جIX|J`bki{c=l_}\zX,R ֺQmzuvUͭ'wZkmsR8~x^]{o-|\p>s GAdv,D/ b:ӿj+Zȝ$/qsܵ BX9[F*2NQάJ\H5R3tLGe{6V|6%YT'WDC4saDP|v >&%}(Hj@>eO=&~@.OZIFJq!w`pZvt|KFw,LnB~2p`t=Gb#'3L?ߘlze$*^]4:rW&Θ]g&&,Q܀hg͜v."N[2Uʟ~ʹ_g R+i݊#=D~o~5'y^ŕ9T Ӈ^#oWr%K${Gjt^%g2/?S?`  c[BTZ"gW_E :-IyEN7Ct,9Ȏ^}%LDfu<8d5m'k{û4`tɍT2`z{eTγru+ s5 ,]B1Ώg)5"&O8P}a?tcE#"hS;O(]^yƮZ[Ho9ͽt:pP(<2Ek%=JIm#6)SwwKC-1d_g`=+:;F/T-BKB=2Cτ%% [w@6_3N Sz!h [k4f.mnpUGj ˋҠ!ۣLԁVQ@) ^%HI>^AL_*t  9\Y,`0_UvmX5M<.72<}ZF#¥"{.p}Y ^Fh)908Fp ܄"XvN-F߂W"}8j}[[_mT2)EKb7ܐèm P^ 07!2|zH^ߔ74*[DBO3UMf nArK^5fپZkIբ奻ʮ^ƌK/VMe8=8NCOZ~g`"_}F0ϖI Ib1yqnycʖnY&vƧ}Ttota#isbnlq&u> ج#5Eq?dl@~ IY#$6tӲ4ܤom}-SʵTd)ޤ)ߣ@4nN:ۖj|[o?u$l%iUo m45}Ltkvu;9Pgtw7Ͽ߀ގP)w1?z%&N90|a dPn(B:~ԑxA#qwq~&F{{;ɦ)8YhF1cK3nt dMPlr3׸=$oF ikB5ɟUz#zbrLn>,tkRE9t lgfen9g\ iZL0Qgx%\wWCՕzʹVp|$jt1^b(K(:8+x\*x[օF _6 UZDI)x"Sr>$. JAt?.>δ>_Y{~-ʲW3 |ǹ YGNߤ9v[1<[ѓ`r0(6KG8S;ŇVo.u5vq0ZoL7Y3!|%s3Ƿ*BUAG֞ ΒN le&{t0\s5lioىYX*]5uwO@wrslK! 5M/VS0+3{ꤣg(.rϑ6w8oytR Bf}ywHOihs^Zh4ok4Rp(!{,vw̍ S3@b* w gu݄=84Lr}e% 1]QA$ڕ-ga3@Ο0Wy z_iQ;U>q7̅07ga%.t/39MpOQ&8r߈)?ce{WO<(v (<}3PT]e 4tG#U]vl  AR1|?V1z5BOC[ENc0?n ]{#ɿƓ RG(Up!2f_͌sG[+ILWzq"ސG'NS [V[Iw=2?ZOVv-;tذ%XR X{ ϸU2A{qGf b-޺މ{rɁm%viۼW*Drp0BϨ50ֽ(SvY,3 6F1Ūa( =p \sL3H !4a9>蒟#dϩt󢼞6 "؈f N+~+Q_HJX}6)k)NuL=~dUze z8VKwI{7zH?0;G9N+@t)B*R٩([{v%؁Ekk"/]:eY/c:|$:\t'jCS;Kh&;%& Ikvh*&687x*Ȕ =y0vb(XCWgOKo_Í{ lA>tv`CBb'CH0 B7=F0J@1$O΃M=% XcSp^3Nݬ7 ʟL 7cq2{87[,m_`tyzKW7<(U5p/ϺyMkB~K! #8=pGjx6eRU°=jB|$s^4F yH|a_}eĞNJ9O7v(p&^,X\.)L|Յf\#a}[ŠK%ZR$mz[ X?-ZڤLA0Mt]cAB4Q'{I XĮ< @ܭ;0;Lw|PC(6nyHuAb)֟>'ِsf]ϵ_$m!x8% X4U~PnU#jhdg,~N+vՌ>oL3]vNC) eБm=ۍu:_Y6)SssSévI& z"[8oř?;Jt?1u34{4(sTJ pR y·h?tB`nϒr(/)v/H""<,W~4Sb(;<8`/4_gφWeqsR"֜rR,{QM߬&9\ip ?n g@%~}Q ,y}-H+,6& ތ}I Wy=bOI֨mlD5(wJKnqcn򝜚kxw=F_5ī?իܨPyl=lCEn.lGLoUN;d!o ܋]jH6bL""e?:F |'- -B23H'7&8\ޖ},W,>=X-{plpp6Kؚ3qha>lRkƾ9f5K {A0^?z mmN9$9>sː>+A vXU0L&kY1=1Mwe-z(pjupF={,>֊f{K{a?ez#O:y:l@pk%R)q+Z5!ni"lPW綵Lk';QE$͏Y<:Ek@4IvŲQ-; |w99&v^o $)O 7Tɠ {nmҁh7><Wm{W$$>r: FMyL+ dT)~`ە3vlR;ft5Ot "hVdQA;` _Y!Fmtmc S`$k]g_W!UߨȮ[mS : 'EU e45U(z8\$('r!jd7gn3%&+$56!zyAPQ7<̂i{NfVEpY1>$U)(%%нS%iH:5vQLȝ5kL|ȞÊ/^0bEG %x=PTS)-m<|4KJW~~ Mdbϫ}Cybl;റOJ#vPT{P${i&8S8fP y13q5_^,em+ roco?f  PGE{= %"|.,`l6#F87Uxh~䓱 qJŪ\ .+\0xGoˏu˙+-2-.ӵ-&aE{* Zѐ~gY|p: 88 bkh~@|Ѓ+Nm;I^)67^C0XcW5 Rk53/2bF<]nϼ9y?,UFJ lji4șh&#h<T]J6$L5A`h"C}a9pR?}IDb"1P Zxqv'bC^m/I\꘴]?7zCR Tt -1HƆP0V0t 5DօpU?&okIVUQVKr9Vy2YއzJ[Q_ oCegH/S@ ݥdyœnOKQ9D{ղ~>:8OcGp~&gU$< &גUe࿇]mzA%ÞI `=;278 sZ+Nۙz';i҆[Qve"ĊWoP6 bD/\3JN^O BD[8nUc>2K3 ξ( YoւoP3^)60m*M?p+D'QbQK?\鏯k H%OjZ0۰|ל M3z]No|g:{; xI^.kȁaos<tXۮbM!Roⶕ'K;f^>FKM=",`{v me \1M̖ƮfgَYMۓ#XOۮ^f݄-Qς5ggy|U~BkDOk*eP( CqY@${I%aJ&1/`tLxk7}܋'ڱORp7eRSc|u%3Ri Dk/,G5|= ! -k+rM(Ef cRZj&=9wGj|KO4yX,>֡%{llHkK]Эϋq$ԐI\ey%l$ 3_u-`#K Oƹ%bFX|G8cfë}9i?v\ ,GĴ\ 10Wm闈DR h6eB?ChLā21˱ӑfPHYΛ? .HSFHoV+,'n_Va]h_>ڼiˢ3ٜ\iA!&Be'͗DThB#|064Qj6'==uXin< z2H>[/0IifĮ&=WGQJU8"L쭪V$ܩIJ꼚zgUrP2b'l,[?e6&=#Qo,r:?A|OPWa] Ie uQ+a`bm~kWDVU(e[h|EdZ7[abr"6~/fGc,UW37 mUaGFF۩RS]p۾`ߺsl (g(SႺ2n{yoꩤ.ʮ!^w/ Y5CƝGQq-Z"$?3ɧ%~y?ﵸmc]VdI|s6?Ӭ oFɅxr66^s}.<&!4A?h @ :,"' u>,SʍwM჌TS3f|A)|LR:H& gSl5?9:v6ס\[: ڸxamƗj5p#ӆ0>žP:M#a -n4XڑoH\lj]dd#X>Xi~ _}wf=8Ag*xޥP.t{)L¾鏑?y=D6$FM!_*O=VeU*vwIIeoOsp8PRݑVڊu:FE ೹wP;'W_*Ru-cB^{Vb903WE*|^XT!ud*3` gV8C}_ȡ4>95%<,6hE[ AʽZDqn?'҆Diwܾ0 bQ6u@g[B6j>&z~pAXT`FeC_i55X<ǜȼoqܭoZ1e +, 5'? ;Q~\[֮14 :t=X˲z{U7r)+|iwk `)4?ŪqymX(PZ|1̚Hdf Y(L}hx"!ਔZ{0X4s5"v*Q fV`%&rp`䴷)v֐@Ț '[b#g\vz(-`s[I~a±&)ц>7^HAIil 7 l~.~'i,|b\}~H/h&KAkT4LI@طD&szi`6/gЎ[c tj|Gy!iHEp+1.>'m, hr)|ZDt0&ͬ;g` V%~r߆BbAؓ"funVmr(V;2MVEy vKjW,2 +&b_?9u,h#rʄ4N cΟa򺨏f 6D%F38=${ KG :E. @a7 c .{`y\08BDsUe*lsM)^J( (jH@<^6McoA9:Nw.,Y2C~/5Ϋz llu|5"+_Wu- !ٻ?|ޝzX0Q[-ı\bAm. N&I4)vNBHY:OXn7F@'.`VGtҠe/Zf>v/ ʄӋ ddXF5pvRLcTXam .XD9~BRG}hm ɍ!RtVnURP>Gۑ%4eUew+zvdI#VH, ro ޜۈ.ӊY}rye3\?O,ʮԸXƉSe qB憭*\,)Le}RG*ݲHC4QG~)sI}ͧxo4$ԝ( eSLd;j8Ð0ϰXoP"ڋbgUM&#m{ھ%IWw[8qy CJ#*AL\̀;][i3<8aumk1dnu2v#vIx@W z%x8R>:=fQhB߶Yg9%`KόVˮjh0u6aj edȓOmGʉHSXgD<=`+ vèM(C4`p/v( H m+#K P3RT=UŽ#;SN_IN7@1``!*"lX ٟJPB/(a?1xv4oa$? Er (}yn#Vwǡ<_Eچ:@:K ^|_43Iɝyԇ#YmȄ֚X^IW~ء׹rq+@JUM`(Q+eLp'`A g(>H\MG^2_izYߑ~SmeWUao(kฤ^Wxc;-Kd LfZ #l /#]=v":+P}WmFjb{ksy7/r ̮9ݜ4ri5mO :zUXՠlS"Ϣ*uXWaQ%3}! "w>5XCZN% u3mm:\Q5[7,H%B3tuLf>iD>j=ka*[6j^so0o3n*M_ RRLpFYr/&1n:euo&} H>Aad_8OٻK4$ѱQ:)Y1\`g+{@kHDaAD)oXEbȿB*Ǘp:-PSSҕ,S-Hv84 ;a}ɭ|׭#yv*V FIS"^I>A,AJB>/}y`wE$$צm4ŹJU13 \G?Fs{>.JZ+&sշAB1M;Nt GpȒ 9ofWfC(#ׁ>!zr/$үL:[evo i_XuRA5v _~m90gTi<} )an!E!e? VwqXDq݅uIoT]"Bցn LVx`D'';O B;{}?;,vnH`s3[#Q.]^H!)d7A'}dzyF>+~Ҭ0:G3 ٥ gw1d$:>5en 5QJSJrW:/@.MmVt+VM&3J< .c1ɚ`/^dQaK/¿~L&Y)g[uߥ HĴ`d2a4xP-?؂6P(gO;1 ^3ĦH JCS* $ӛK|(:iazsea|>=xê\J0{c'}uO@5wsQXPH("fetuy&UA|@7RxU*l )N-[/AO?CBA"Qo34#2W,F*=}_kq]s#PFnRbhxދ%X{{Jiy؃6U4"M >Iu}on5сYrRlʃJRԔb[υ;ybSpAW1f4 ːXP9CV#dSJ;kCa?[b\LV%g1LyXsPxڐܲrbci`t/tV^$:dW'?~n~z)0,]]hfrKK $@l$AٗJkF5 })LI2-}j B`g]Hkkr\: {f `P Ia5k')5g88ߤ7DE\q?{ԅI;?bm$՜"bo-/Ɔ5f_bGL(\ȭ~huVʶIwFo 0ZqCABTjѿOe72KWB@H:>gɱFK.QeRMP~ϟapǠTm IO+#ۍ fl86-z5TKe=]mr:<#[$"#w"A?sxfJ[ohw7 &J~\ݨ<'eq)1r]B4ߢH?5> ZI>2uZ*(z] $40 +uǟL8wz5vh|#7vrt" 1ují8!qa]G37ǥ'^~zRi"xqg-E"L3lvȃse}흎w[G%H(ACԚd#gqr#nk(R)KֵƦNWeJſI } O?_jt}p0]uuTw ʻbnX2/]סּRgԇGM`6Y=yoNuӦfዱHgkzX*a ҥOHj*~hUL/0}JGxNwLW=̰TRn0mF慾 ^RWȒb*<%d,rgYᐓ)!.ЮU(tK`(;-LK_=9Nˁc7@ӓzy"7ȭe@g?d_&Q>[X$p䍆ӉCNj09Ǎ{¨";'Tqa8Z뀫]Ј[DPl|0υ6Vb's\ҋ68I|`Z2*1|'"8Rl UI{F>s7B>lCfffHw1h]JzKEwxB|aJù}Oҷ̍IeDcn/Z*9jibaJCa\QLpa=.3m>sZVpk6kvtq CjĨizތtQ0)=D(Ki3{8kk}RQ)9\ڽժ,"s4遜x}42Bwg$lo"S7ϼX6 RhWSBY8T>YN"u:2/tMX9)4wOKPSm)y AzB`Fj|ᤅǸښ?0ET4ɑ-#8+3"'\x޿B`ˉaua5%=BV\&PӶ2='rP2ޭ dq|T0*>bF}UDXV3h3ȵyy&.'8kkmK+#pSA@6-y]Eە) ǹBՑUb(Fh |,!DK "7#,\XVLa j;i~ՠ}M`^g`"Wbh( xUkcPeT 5f}G_$|ݺˑbh/HCiKrqvF]%,v|M9RɰHwj~&;ȣ>Re֥GkOչJd:6, aZڇ<$V_a潱O0vI<m  JV5" xziYzPhDr[!91VDi8zs> e b"vM+=GsWӥMa;o:yB0Yh[pl0&!ku VDq>m?&}b =#66_QVr+̠pϔ}&v g~~%yM+n7E'o$b&㮲Wm,fY=FdZpkLd?4u"fP|KwȔ)g7-IiWm@XQ 滭={Z80@V8#є/'90M:bQE#Q[[`^Wm ڞrq%;C]ұMۍ}5ęmBPIa=]Ň[V]eӴ=om QdҫV7W0Oվꎫ 2PsE \29 9fįf}%0[ jSѼHK*ȉ/;}A\=x'a1be_q-6I-Q_ Ĺߔ@ˤl-O&q_>T߽6T{)e,XgRBVztt̤zGѐg胬ng*b P3(ź[}*A _Hêk;CP5ۼ*F)I\Ri;)x*!b~jaUm ơՓ)UZxFVSlvnOtP\Uu7RpF*.9-49Bǟ5hO5rQ)D꺻\b{z~_ d*v %+b=:d-Ƨ)Ih.k~Eƫa.çc᯳&D,GE$Zf &q1t"E6V fz6?Õ˗qaQxgYefvoˇ;D4(l_Pb?i 39d{'gqQߛK( aEM7`o[1qf֧& &{;;o1zF\nnO'\T6}wbn{Q"ӕ_YF7W(Ut@m>q9(Py,?!|ok*Rl9'ؒ-ΧPF+&1!2#0 CƇ&1Z[}m kz01œ(@mT᳂Ĺōǯ[=ZvLt:@NBbعD}úc^y@lȎɚph.X€: b>(->qeJCW qO-1l:K,^b%;,A Ҍ4A(f)~*s3<>Ҡf]{/ u] =S6 aM|)->[Ycڔ7*WL-Hhbc~W ph{|qN&'~g=#:tA&jnP pWɅ9;3eύgW(XVt*z.! RΈݪvVRJIO)_|rМ\Zjg/luwmFk* N- 0eiDI['+7 Y_(X磃I] O ai$Ukaknʛ%H xn=OL@l݋қ\o.  GwfX.>x)5zk1T[1!)+K"TxgB?{&ZJJgH ;ꈡ3\5h1K+svE'yV4IkS{ y*YΠN,jWYӀ4鑁NB0@R"tp~ B41mEL+̓6HJi+xއ拲s gD]RRȺaJE"}q"A`J4Jm 9K놪g={j!GgX2]2 ]fU֯?7R]n`Vx6c2|D>f6 4%3`pOjX((6x_L#↛dNAv**:F#ctzF+,CdF)ezp􅳐p2c90s/ƫa:b b5c9P_IqZSh-hXWE_'~6n<K!%J%BSI`P}^0JՖʉlR)cz 9:;odbXrN{xctt}#Z{*{332N3Д3(A=٬?v[)ퟞ>~Z]+5=m榊*[Ө.Z-%J:J-E2ؒ! JqѥIRx I摮<"R6Xq h`{$D]S9L}Jů K$u@ Ћ*4+dڙn='woۜ۴& ڳ)\|4oX)ig߬fԕ EJ#&5~P4ObM󿍸?!i9K֣sXvvӹ<Ċy-v[m_(x)Rz\|A"*d Q־@QY#7ޜF֊G>:/BDh ٤Ӧ,Wٲ@D{q*-y蟪LeеX0fI]Ē)οE$)rZZpkKZ)zKV]a=Yrުz9l˪y&pcj9yJi/qٍXJo:LyYzXqʢKϊrc0z`~L>h[i6ɐ *Cb`9CB/3GWzaK~;vt҈"E@dϣ}K_6˕[nT{ߊL!L\472>elŮK>goQDxwEŒO?$0[[Jj]uI($Ul=JO [yHc;+mkDd!\) l5Hؿ3No |ލY3-Vh$*‰~9=BǷL>BI eɃFN {!DW{c]%CSQ].72Z7kAn; 'zdnZ' 2ʶlܓ2YI7$)3JyЉLyZmQU Vsg夙bPFtKrnRj[|ݲ7e?l4@Yjp=NF?fD9bPEw$E3 VHk/dvld w{j#h zKQ~E;g]SL2=坨'3 3K# w"[ ʙ}