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 Q%`;Gؽ8nt*q* .#lw gh,jm lkʁ5wǬm\M2!Vfz|Odc|:A{=g;Ը\ ੥1yy e1TP!aބ?8k ǩ~PT%#xjm6R)k4zU8 /ٝι8"s4JpwV|ʼnXi!hLڤ`-]n\|@ЉPR&Bп4TJmWN* ttzz<ò` % HOL-Analysis   t,4T\D}í-NKPC{+L E6W8Y/Mby^;_]uLjfDk#dxcUg c8)#/0^9ȾwFsT0gwy98sGix AHB5$z;ۈ :/5Ūɦ)(ٔ)~b3e#8$x6F=up.[(Rl] v }I5Dcb2 Br8u7i%xust4ESh3kO8QYx/Y0[$0^ܼՓ*FlK/~4eeD`zP&ggbZRk/wAN7 |t 8•Ae5a&aK XoG,gHs/{LLėܾ(h[|aLi OIJ:0+D*]"] s4*m>:8؄*UӘ*Z2{ȎU`,b ~'yבd;PeZRcHt0`ٓ)Q^?aRᢖYMg\3U&l(<7о| Fa9eK -/ֲ䅌$hZ8؋P\S Eulcy5̈]F y%fcg4@nsqFT.=?$.[}W^*4ؘdTY,VoMH3A lIon8w0a 4m6_ 50^舴6Gud٫cNHOGF`,v59οQc i&ZxGL\oTڗpχF\zՒ 2Ĭ/52|5 YsP50aw S{tM^[IjUx9S;ԊQ)й}Uz\_Jj?I)|>T2MyY)\D gV27{} 2mOȖE j&3ofe0Q3ju"8Yt>zn36gzOIB/p-մC"e\i}_P~ww#|hSS}'6S zIB^,3g|υɽQ&hCncRi tġ(4%pX~.M`,Z .!Ej7HQE̛V} ӗs>H oH*O(D0yt#826)ݽc JXL' <,64ZpRzrUJcD KH.xj%5P;BJLRaeQy?KلD+ 2B& I*TB(E(Sd Jea>u3NI99G;4.-JW;1-+Q\fInu3\Xä8~c2`?aOO 1BZk(ڝ2h"ħÂmrCf-A͵;8tAmd{vzkB>GOڌԾ㔚tY&[/a\i6 ъB fK~),Ƙ(6H*ew15(6@&{ށ}^fCK=t.{ݗ(s~7 (ݯ~yd?n itgRx˗T j 2-\֛X<,&VjV xf'umJJ//uX.9WVz!625[η(38*bJ+B-XhP*2Z W]e@y 7+<4WMd7q(r%3R>gdJ*^F/l9 z8MTHw/ũ`%UffEt(Շ ";`kr}Cbc\D|ߡzmǕ?ӑQ0}蟋 bV}бsF sUz\;>mW@@x)v4k^XciW?_Ͻۜs$'о P{sD~*Zc̥qi=%]_z@qC$}LA>W'̟0XBm^wqe> +etZڷZ#8'( ɍ@dE8%qt@[m/4ˉ VL4(OzN2NؔJ/$|I{b=4wArVc{j/'@l#.)ޔb9.n=5g,&n37t١OŸm* gIZQTy9CWs᪰I:^aoA(?b!vxv͟$6{oiS.b!,;]JNٔ*銪2 Lb-NE1-aL6d-Ct,i GvMCs;'Bؽd%i\T|{e@Al`VrؗI7tuPx7qmbeȢ2yнt9%Yf|$憢.L:'D$x!3i@ &f }j@lh"\SEʈmI Jʷꚬ}_$ #'ThR?b\Xs,-%5+Ic9b3%VA=6@gR>PjHs3Q=9 :wxst3 {Hp{V`*}4\q fm:UE7 哗 j$*OSYt㮰fxYTk*lVGc04j}LA]5vؽ_p<w|̓];f=bnr_aW&B{ Z]uH/ A@ ohH4`, ?bj/  DA{5~SJl_YkW( ~+ː嫓GXNmܫnШSxn_RC*b©籓70%vM(p,UPw@i$BQSO6ׅS݊>*lu͉B|TqVl䝆gC܍9)Bs^y=Uvxg,:1i-t}6+wvDIiMqk1ŏ%܊`}X$d2P:s+rSNC%Gg^XqNޗV礴^O| Z\Q|vAc|&~di}Gm}$  --[먎k'`{Y _t-DwD ӽěSU+NQMUuAЫt+nͳM1(o@sq>(@W\ 7)2 j$-,Z-L;L:[& 9@>M٫~AwhTiyRuV2S0@aj^l]AnLHa=Դvrqp #v#:/O8t`-PBHbp m mo:t؛oY*; ' AI KPAwc"-)D$W Tw'la. 5,bSv1.Ǟ;ICs݁\Y),  2YY0XW]T耬ހXt $-OKomGp t]5ݵB-!HŜ sp\Au!f9d`TTbP ٢BQO~)kM<w՘|##+fË 1+k41AM/?DoHy) DzZKa,.3Tt[2P4ܚw( 1`GO[Y,Tu8kQY| qI#ll;ܠls2=dOюA"LM8뾼A[nKACSi^b,% c'~4Tp5L\0#XI"]c젗De>AˈyS JZwM 0i*5YT2(WE`wxQ2CgJJpoy-u7'Wn+N9`^ tP3N:o[o6^QK88 2hȐrrM_ɰ~p$Z?(łi{(O )nI!7e X^R.ahu] itRҦ:$. V= yoRߣvaWypR˭@O- : 6$M͌#c3Ơ4Z\mp>Ҋ ah?l;nRj+N7@°9#'bnrG%AK*dWYaٝ~ ڲ/_\eݻ.(0#2*Rm}Dh2q+'$Emg-`֬Vm[{PrOD:3X~mX4%F%xLNxv2sŌ9v1)nw;ݠX<&V-j,33L{H1@i G weB'G{ s 9|6L/ k1MT:i,`Yhul/F7AӉkiosmE4 =} ?WG =K"l)EݹaBؑŔdÓ.!rYg2}=2us(kČʱ`'iRܺu3)jVhՕ%/w~Z>e:=vEMFbj 2iW($0zC,'#{Ap.@ __qK] }v."Af.jmFڽȎ ?l=v.:DTFkA[XV|a.d΁_׺ub>9_+z zLljkQ@.¡=( `$a H0LmZ)|!RdTH^Hܹ_MaԐo{n06qKOn6^>+}wD{ѫg͙4~([}LbtQɭȽQQpo.ؓ;@V%piTbX]W~4bo|ɽTSoZ߿ X"~,}0XBbg ώaJHv#J@|IҪgna}cPOIy 5D^"m'Fϥ\f%PqԓJiiV(#vl %t< 7Ws>Ȝ [CvZkʃFJ{!LIgx1P*^"L}8Z"N&֬3bdM4$9{н+$2{86=0N']׻7M p{4ISd {ӖծκrFP}ϋv$(ˆ/;?_ Vaqyz}aR?p&o/Ubjn m*#1 `vtTj(Ä́ȄLo7 iGtrn6tDm  4mB#;OFed;c\ȜȚ}X`cQ'b.|_ coA I <7"ʨOCRD4|OiBnY0aDWa"D 4RMlgz:A&t2wYo 6w0V PΞe%F@ɀzg{CfF@XeMfE6qz{nH7 Ѐ$Cl00<Z2VPma勡>gْ`e4t #A}`d\~C%CljU.# a $FDyAo/gzd6K+יx32Gnl2SPH:X͔ʹxv & Г"e)h7/޳4!G S+ @@7QBqh#*|BhQ`P2. +A^j#`s(gVOـb<8f>Z - uT'NՂKvnh$.j̱L&f9hI`-6/qЗ}XL؂a(a^ ֤FY31ifE=,O{6M89.h}!).¯q< "ƍK(G N9rnUЦ1V_|"Ow7яlJwM*"" XIA+'Lg v/T D$8̶K[k& 7K| L\83L=i rpo:^EJS DZtɅex瞲>޻y_Um@yh+ЇP֪E9eލ[PA֤e+S^? aY3R 92aoBK>B I /meZTEt޵I47uRa[)FVvnsRFhksGo#eX'nRAyDZ`4уYh{m:)3E@-UIFghSltu1{QFWMRƔ<$>.#5tpn{bBcM|6܂յM0  H_h ]PLuN74[=2g.{#IbiXjoL`/fC/6]mFs8J$29"jkmhŰ><9f,c(R׮rsE3HRz4Eapsk~`v9HH2.ߥM͌;zc1?ZmehOfL`1{Q.:N 3yOlۉv:}-2+S4?0K*ht#2["-՝%> ' ILccZv&WH H/)J^8I/SII1^U47 Y țzM>_Y>n"xQgu ~R *h\ʌ;zeުtlY1zu48u矈bc%Q]StZܬ`JVI<(ƻOZ!%sZzx#( kE=* fZS';wG(wܯqB5(EiT޺тSxKşZJ!4CJ3h9az3Mt۬HVeS\59u )} GO `mnm@4Ҏ@3gw:U–.hBZmEeA 41]]HpɋR}ʷ%:s; 1/jSuJ12"}}at0tщϱmF;P6e  Y- +ʉM$LPY\I(Ǹ H?"7>X_zui !yOc"oG,i8&YIeN >.)9'00{NtMyytYB[Q(rC&gYa-vLC 3 7Y%BXrql;'.SB/ӂQciCQ7G*B"Hb\9H'ؐ,E99F/#ž>th5/bT; ,6Zz!4ɓ;9"mrBn,`FɥFJ9 ?pE3? "nJ3™tV[CՋG-ɧpֶ~z1 "׾o2PTLD_8,a2P:Ҥ}QKHh}Gʍg4% mYM5 HbM}ۑQ,zfۖ(9vK md Mzn,vG“y"Vx4nGF22T: Tr)"8-`{Hh-s R%?,{: WgڵO[䊫ggX`oIlr.9:*F#[WZPxٓ ~&oU;AӸ#դDJQrd V >C=iq 7ObM&Y '$leTU'ŀ*DyK[=()#1{(0ϕj]9R'>ϵyO]r䙀LWq`IZOr(e _Ǔ>^G\kjuޮ-x~F䥷Xe湗bzM=. "k/$l:VC0E62 bZaNx'^dMH \b$.&{6(/b")>&>S!ƢO$Sz68)J -RC|0!_fZ.vr$z( $0ZN? PDl19arc` QQ/dj!..Y)3njʙIC&-qPT:D !d#@jrޔ'sdOٍ7`o.ñwCKUAoiL!Yi]U|I-]dAYE&o kzm6&_JςVOg] n.ͭBAUͭx??hoʔUKbUgdd:\0>a_~b5[ /mb#8DWOssj>cy?0b(?zV[/NkrU=ÓWbf I`Y畧l5H[U`'P|ULB՚)p);ZKޏI0D6I?#iK!yzCޮ}#e҃ -{^R䅇KVNla#~lv&){ 3vun-4N qZ beW;&A $YZoa Jz3r2Kσ]3r  RzO*e!'F8N]X0|]Hf2F/`Uߪy3(yN/DwmiOV [-V[KkdcdZt_`oNrsQ!!\' pZPXwY'hX_w_vZaV,pq$|9t<cZ7ZB@>X>R:}k7i N]*s8;-ara /:3i-A/CE9æ1yQܬG<@ÏX _T# d&o=jmiF/ڔ''mW%Agtzɳԫ'HuQc̥n0>gTm&Bx:ڐGs* Nq(4b7pgе@2/>nqtV7xi0ae9fޢ(a6VPo}zļTq?$Vts$:آ!FkҶTk]ٶ: <&(}Htz LVQTٽn|S\/N_ƴTH_'*1o +]fCϤ.3 ۰N f(t TLk}9lBڞ:Eu$8ڃ6!jEG v3  3=EMCqz y1䙾Qo;?4W1Г2$[8H쥾(nےyVD5\v7Vs{1qIBih+GN~,?&\gMHZa 橋-E37^JMƝ:zQGR}qr#b?M8ι4e:X!e6liphpTJLlnY_[ ;I!50T"\'BcpP s4b]P(XD3wÐPGxE]>ZH:@؁6lwP v! t'Hl%\&T .vwNd+SMsa}^rPxDx?Yi]#_YowjBRJ !o*,dRT< qu 2؁GVMH)0@&fc/NǾ )P1īe9\uꏠ=u\B.h~uJNVTqib\qjI&RbiJ!s慢Jm'ʁ?!i6,.ɯKy|9-''nx"`ܣ6Cmvަl1Dr*5cb^8#9;}L1}mD#8zJ}lΖ'Vc:Zr=4Q K+t,t{Dc[$=AQ/P▿x<櫻ErBo- V{7q& I"oŪġtAȔ1׿aV?E1<۰' E(ĪAkU^J.Y#=ξ0{qnҥ 1 &mrnf Q clWb~$hίKlPD[ .~r>)gРS1HH.xI4EhTP*a=:Q m|Wr6b9u|DR( wQ!1!V5e95UyG8hƆq"uy~J mg'oRXMG/&!!-$5y*Tכ 7/Apliqp97"Lr)5 E C~SK~FƠ8prݢxMnduIڽ@7g߇WƘF 9ᆵĴiZQjNN&+RC,vWSѮ Ƒ` faLF@nh}hwxyZ\g59 7 NFۮtiV{H8\zPJA@cTPy|W_q\;Twj] Ԟ{֮&Ʌ: SkibHa)G;ZBp^IrtuW<7)E;"KƍrZ@!7-֞?9$d6^D]' D)T1" bo Ű=aa:rgRa{f Cڮѝ Fb.e3Q$egjx &x7[ #"np;Bc M((^n 3aU>QAըupDdb A< `0q)w/ZnEb!uKv ~ -`r6@+fsōxN 2ٜn`8Z}V*`!&`^+t䘶*6i/,FW/q{2CO犽P㚙; V>Qp,`B/kyOH. k#6G_ۅ*<dق12&)O\#).Xdkv0J}6؃K !3\kgx>;J@x׽q")ݫڀз,S $gkz9kτp:#%9OqY]gqC0ӟNnW<,2ج-=# nҺW* г[W2W1]w${Ca!#/e{S[[_/.وC@{X;"7qOQakGona=MJkul&|k'#lϰu^ܙOE胔9;Eއx<By*I]77Zo#0#_ Y%>;.Cp'Es.`Js8hܾdo5v p`aE%7dn5|zRd:2;H>Rsɭ]i6 NNmE8Vrb6yt}|E yg$hz$j=Z`w2/H Yyh;]yHI2!"ċCb#=ݑ =4ʰs3B#c(u(o@@G3 JL8=-9/m/'Y=2Ok1hNJC=P?P_꤂ α5̱c#nq(aꚐX2#zZ9n4B,0f5Thc]S1NN+05=)1Tp NW"oOyz9dŃsBz!$|Q*ƞ921{U<v -P9Bt &> dXýy'ٽQb$Uw;ڿ6HS [>{B$]XQScz$ Q#.VAjóW U[3+pX0N0]3-5z_߯dnZsQҼfpOCIٳ͇x0Up F`ئl)B1w0áSch\ nǥURRۺ(Oľp  .s_Fu /93r򤅢- kb?%Ͼ!!,NLpRNe<&)9USeP3I8C̭Y?Asz]\E~{3+M򽸒1GX`zbHbk}\&R$ &3KQ9͇/^A51:3ax*7[qfN™0aA<%8,A5J7.R[5-5\S4$!W]C Ted6H֣wF܊A=mi)] A&m|s(dGfFE,6 A?으d x4:X v u|AFL^XVdRBashAЁoT|ͥ0f̈hR5$ofvv`+F&mcS͠ GKQ>[cBYp Lv2#e/ƣVn, 0_8rL>sot؁5 'uE #̕tJ/FEY-9'9opzNV"YP6]'0  ʱ9X =:0Bz5믮($Ï#(i&<8LBA{1ڃ8'?1=짒,s 8}݊' G)YUO'lQ70*pYDLL)xj4~Щ[-@!_7=~z`#fBVog [V XlO ן8X/4 { c c߁(MSŽ>)=#H mab[Z hQ%DWi.Gv\qŗaK2$]9b^z54|uI"ztߵro-} ` QP7SMӿAnvt5j]$.5f0̃HvtdS Ho]H=r' .W* q>>/=x w5*m͒ĊNkȴS'!]7 J 8/mFK#ݟ~xd )b W">-Jw)Pe3HbŸG-FIP6fl:օ~ xQ7HG4( e4Nl9 wG{P9~1fGPқ)a^NTA7韼Ah:[*%QFҿQ::{+Oy2}P+&U`+`!.5~PHŚ958p^7+3bܼ,y$,t>~:tN'oݩ[LC0泂I 8G Ko#,o5) ltዯBO!%/^po N虍$Z8wpXZFDOFHC!"5QW|_K tT-eg˧Vè[ԒT$U/(eT.*~?K" gYZ7zXZִF! ( .]ŗXiɟ1˦r!cHkMeBd4?7Yk P73%ou1i#WM!B|߲c3V?+On飄c10N Sl,msd=SVaM!"=BրwoRj2ӉPLXأhrzk ίvq]a8S4x^8?;кcS{0" Cz3+g +IXrmf~5 XͰ |&ÄuOޟ mُz/m5!KI<=[*}N' CNZ?\\^iR7 Bi{bWo-ƃߌo$G(ˢ, =놙-i>lx' &b'hdo4]nm43=jO%4+;t*`_2 o $QhdO&c|v&(M7d'QU, /#H7,7`[I!'~9O䌧:BGf>ңDaΨ*@|tSp rD h:bn-Wqm4(53om9OL\#q['NWܰ;q@kZS~ uҌkN/Vfl@/6oq2Y`bZM ;A!JsYi&{8n)A`KE9t&rv]|`=D%k$Hi fe.@u8;ӷ)%™Xs&l>QByޤ0Wʈ=`V=š!)A"td3Ŷh0(jsk ~:o[Nv<(nȇ}+I]"BSk_p5+ʈ,]&д(B;Yﱠqjq'M8 T Ѽ6xJ ʲnnί-МMܰ *ve2 ,4 WU%>3 N_q S)b]\>?&Bl[ w>2ІNm}oS-~SApzL's4u.Buo Jl GBd!U?:8Wߏa0[ bǍ)cyᶤtgնz|F_"=x%|8y$ar=Em-ѻ`:+%gUwzMYKd\/MQ0BsJIrX*qR39|Tx'2 㑭xSk*51 z/lgyIbh5Rګ]"rє qGyȨx _,FTo#'9=|%uxKDZJPZMvtE" ItM.{2 rxO<v/zVk<=p& ;~iP$gYZ7zXZִF! ^p]ŗXi%Ie}Sh+z~qQAd}B  p[ɲJv K.G )$xy[ܻ߳2v n0q?[Cmcc,]֧9S;#J >aH\fiw{C\J|vP04Uv-/3FRr(!I~IABNo]|@̎4 &)Dʾ}޿%6>0gbr@ԭnB(@miB РUsZJ'-s/}t(eg L{Ҳ$f{hÌxxK fJ4Y~R9*EI1CE/F9.U>1=:9`M3뤌 6X耢;Z 'pl=!Њ(?mVO:^'qG 4tj](kyːt`*WGePm|"53p(AOUvIopB2v y;u_+9EZya7ĆiK!6BEչqvhk@XOt(/c~_9|j! IS:ڹ7832L4Pk ^Bm\*N#XL7u7r١;Yyɇ Yp#7Wq]y' HWtjD Ն""m;҃=~$9< VPE>WH,yb0- ғKJ#G|,3I0 )aV3G@~PA| 2aXp7ڜ`Xa.t`~N GɢΕ$RX*(6}m ] hs=dz)|ؐF ՚KD1.5eoMzLL wېk :U?R q.r5~1;bufk{VP˼iSN-FD̚Աz~Ii>Y-$L\38+~h@](}cA2""U]x*qjl-$;%;oC>]Os&)Lzߡ#ޜxg ??/nZ.)C9ݎAkGSfG"zSOuw9ޖ@TT.p5m) .of&~.6B1W|o?yòdBv7Y!"w/_;q֔쀠˝P"E Mkt\إ$Eb6^UG.l077~xpyG4>m8?Pr1  Γ"%lFn'$8uAΊP}nfeyVK1MxPJȚErOy) WhH,K-0q쨭ׁ:"~!h*ɹA/2|BR06Ƀ^4E4><ό!xcM94 m&(JO9`V/#n)g&fp<Zl(!, 7fFɕ5$EkKS.4ЊP  $I+\>2,;}:lqfȖR1e c{X{@쬩+njbtz֝?JYjeyH`'39& B7#.w*Y4KbGB1Yyf5<I׻JaY0e?)!<~\ ?o| ԁ:!KrVwaHW}FBit,leyڣ/Q)"̐ҽ*rAFɯͨpDf=2Ҩlݯht3_qc碓Ϣ`2Hu5%?%4yʼnˈEK).d+b}L-`9v1$jA[N@I#vNS' ?o9G|̉;8~SgϩӉ$f^z2yg|xQ=Ba'9z8oB{K'ld05Ѕ$ޢ[SA/[ gcelz gShkyYJ'lj$x 6ՌohCx{9Al{>0)PO@ͨnPzdV 6ڴZGh {"Cm-N,@ˇ̘m- &DX@ߟ{wYCBpf> U@ݰZw̹:2S-;w jĄd?Ј*y k/Gej7Œ]i>oTUebb0BeY'RCYx<5p? }vp%uf{Jop+4w@."Џ2(~T q˕ ( %WO4v;>Xzwqi~.E,ಊ:S*!@ւ ?ĝ`y A.Jѻe$Qrɜ+=ߨM(sΫfW9ν0ҍgIx*;$Zk|%$}] w(iԯΊ0Y K֘k 3dj (1^0[ =rz?.&_Vh̭"EEBY2 ]7Zk5d:vb fi}y=SєB͂[?JHW'jdx7<.mLdpXekd^os9;$(Ehrk )V_1tMߜ,xv8[]9ߴ?nFKjLhEOT.>6 a$M`!P 1k'E/A +jCi!!MrCC¬6ҳΎ/hysQ-wd!^My _T M^uasۡ-r e&H|ݸR#Mf!w l .`|$@X^sbF{x/Y>@$bA}O`ՔDHe1ޡ]_CGQKt'qā UCe/2w oU 0U Ѭi-W @VAŁ_Ls&)j0:C5 N"%NB=ih  L|"f~C,y(+ۇM|usu&IR E$]3e ?IbDh?-be>cث}Ĭ8F%fR]e0C+yZ{hyAЎ"~ħ ceWh.%D&'ݪ^V&ٴV6yِzpȵ2N6}:T׹2xpxſ#;CdžIEh:"ب^R0օ-8&NE؀ӿ,uc0'[˵8s,"h\&d_~-躢n\c6./`gr[wT v6@&B_2UԒ|=Q;N ;26ԝjk~p= ǂ^bU/ h!ڲ̻\頙d2=6W@垨 =^0h&HC rp™/ڜ*hfCrJ(x7oۏ33LՊp>=Px&ѳsYqa@AN ;6=A? 5B$u>1תA)%CuJA$zswWqp%0N `j!#? EC/,SL/PzO2Xcu5=*xn_m(C%#R+a7T%D|J  ӭDpFoDNA G{%J|+Nw #dу֒[:O% w,3 wYdit`(1u<[3  Gz+Ҝ^*9ilȰ4!LҬ uVV(GזrݣC}MLW4tt;̯L2Cgת\-h.f &W7Dȯ@{r=ߢ\\]iv$yஓѓk*!D.$yfKD ;$ ֟gA)oY Y# KZt7d/, DC:Z\):쒅co$WsOE3EROd45<^¼܄ [($õˠmCp .)GjhͿD솺׾NJE̴OPzQ!Bׂ CrxF c #87Cb_܋Dz:zrK?<7s o6deF@RMqXZ_[r 5l6__̂P `kI6ף mz|Q˖N CYY;!OX7Já%B\U]Xm(?/ir575uPNwn[^¡~XRV|E2 *厓  @d~a7_k+*Xa#G1{krI6Z($7u >ScƖUh,_BƨrU?ϻ"7.y5R˼C_%N{8Ws skQw$:|V[-1}˖%] 8/Ɍt-;`_"}d4;jNAq/p, /j2-,͗S0OGG&0ŭ+hm^!ٶ#2GBх^ACs!HUM~qK5iMrX'z$q4} gׄ)-"瑖f1ɚBOB^O9zlk @B6UBITԀpğM-dAe[|G qوL1Ip>΋npf qrFM1qA{뇠*f腸Kmhk4tIҘJeyB^(6`tBP;!b'plX1'Z#v)R:"!ot3o/?X2o>`XsE.q{L_+L3,qazhdJu9cmK OTa5MЀ~IubנHߵQbxc8Ɩɀɽ}.)s[i4ɪQ38]ŋТU'jرj!TF<3VZ(֤݌Hj6 GDs $ÓUvher+([pҤ1Ĩ\fQqHDld@9d{\zr" iĔF"qojz'3|6[OFONg ; ]OY#Us:²8 ,f̠Z8Re k#gIߴ{ ϬCƑ*c*!EI#]$U0\XQ*V&>D\9wa~< w`>-bBo2@QN=U\5 5&ýn aod(*|Q{!Za]NF|5xjar1؛Tpo6òή[e.OUwuLqų E>*=*i{u/ˌ rY Y~K=+g4e>! 2 0/V!U~j :kTFC0GB-Vsl Ξu^"π%h/\=ũo0\pQZl\zR?f=7&.]A@) W+t-kSEQٞ>1ʐT=,)q RfT8ڽ& 'KhPXER|6Vl01hl}?kL޲@ dgKk 3NsPWϭhN 0UI:֞˨G` H&aLJ`"WCG)&x7UlCRY_Wu#]?L;XM݌{}(ۓX b0=+wYY@;x\-fIIQ* :?ýM6~ J $LiŲ*tLvݼ.~CN(;˦ Ҡ%Tn%J ';١.HS4d "BQXkIKxIZl_ȑ ۪$g.Cy D?S@V3`qKfF)6p$ 2V+>[Qп:darЛvF^ @+xEAI4~{SAOo | k9z[f ,HhI_CU?v~[4"9td!?mp Ύ|~x:Ԗ¨5 B/՗7tqwMP! nlYYtXĘo|쓝H? u]n&Z@r@79 g;-9Lÿ#,nu04~ 6dz В5rw\)$a&#\G #7 A!q7 逘aG<%] t"\:\ݤJl1io.bҢKԤV;v}XBV$XfBP1Qu3iHƝwѮ*\AQJ) ѻX7ί0RݎoQv`-=YMh5j[!u85 9 H3hP| ;s"h[^B4ۨMt`:鵩RZQ$\DVҌD?{!}\ƌbk \o3a01i.]ZYLJZ:w"S ׯlyϯ^܊%g[FngXVVoռ) ۍ,uO[mzS~kcKaq&:{_Mv4'1xR+{P$n%EY~;Mrz-^j/d]yFS肞$8xo/mN gQٛ.i3VspQfCa;$\\<@ׇeŢ6"tBx©<#;lU1\w3(H#Յ{HycC))(,!u PU;z=` P{CK,iE5(qmAPMyQ*Dw9:rȓɨJ~FQַQ `<2[M"@td{4d$^KM<*.Wt(n+HehT)E\N=HbN@oTrrI|57ۨ %J 9GxM%.^z$X$|ח™X6xA&0+*6NLSG5 O"Z TMB$@x[UsYM9*?дńXXWB 8a%~>x|=ЅL:4ԁ8 ;2`Tk {~{C$bʕ^Q!/r7A=R+||Ck$zW9G5M "=0QSt|D2%NfrQ1T!u m"E͊(C->krC꯹+l;Ǫq00jG_Ni!o""`H&>JJjr0Y"JFD#NV폺H^,>qѫR$P "kW2+~ù6 5BK62Rj/h㕴cUux"^1E1Q`!"Ⱥ\ !cv\ƙl}?`/:r}#?Djȫa0);t@aډ[]Yݑ1_cݵ+s.=U KXRlAk7^E)9A瀆m1U~5ؘ'-0ZRe. _x}㵺c_6 oUeʽDQz `(fOo50Оۃ~cT} ݠ0(~wG%S4ޛ6Lcw?_-8uB]}ċ#QCg^7+4-ZB5q)7ԝ>lhČ<] [qTh#qQo$b[Ùp~qc s(@ SǛ|PQR}GpGF&{z(!\Am H4ygP3ymRhiq=HocWԿ@p\>:Ow <[CmZY,2 DL<)1A x{l#c[UVJmaTP+DTڃ\.,`'[~&u;'xS]RƐBNJCjdko( xBԇn~b3@(_ѐ[YWM-!Ռ1p`a0Dj&Vouxy&y#"joUM>էZzYfv嶽DQgd ێByG {e 64v*˙lSZ" v{#'iJluuDG}Abӝ5jOg jx^T58Cg5g^Mx<`sI 3٬uWg,xk- )'ۏQYk-l# ډ(:ڊ1SWh™'z-z as ;|&_ZaU8k :dަ7|9믳AvAMjSc(khܷ<#Q8*hy}uw2qTN %JB6?EW3 4W\ ,IjiEIL\ Y<'5F 6>AN0D]]k,.x#R+K5@nt bbSh3c!UO' twaS~5 ``y22$͉_˗G2gșښ! %dz!G!ίjD_nVB:QeSQܪW:ZԷN|بm\6,pw 5mX>oK>x.e[bZ&?PFc5d$Y jke6q80zH"$A # .]T`. _!<>EgQ.Hhr3_n}FXhQa6_~be94%Kg?ה_^䄵4V5 ϕP?b(So-,(X*$gtw>s_>\Y&1l+gPX kX5%VȨ-.{;>+81UkJik Nɨ"lLo, ,dpRC\ҏ pqҘ>O5qA%bv3?3sj8"*^c zGękG$yybd {mcwԗ#Æ񫹞,թ_fm9qOpݢs^-X?|\'4Z#HRw"G1F$YE+.'k7vݰHQhfM(n:-1#H]~Og /#NFe#PK^![9k[UZfH$4ƶ3%%W77z~՞M_gݱ(iSڞIQ*~s [HnlrL-!&LvROmù'HC;ݬߠfy%3אtnsCG=4 SGٮf8dfN%_NCaDq &*皁@⸴7"_S(%Jz*M2kBOhtD(K+ %ڼ2$zd#߁cqHNg@?>A^aͭXY$ 2QXne[>DZq&$[~tsa/Gs5*jh]rB`&8k8)E dѴrk(̷-'`!cIG"eL'5 VPJ_ B⎽ )&ˆH?vaJzf67w(q 䂾 @gɁ%R iXsEo )*$|X2dA[OVT#߽m}]G艐d>=$A. YF&:Q 赏nbt0 sDϓ5yoC &}~D܃78dyN> T\b)?e\[}T ,}VM᳞AQr\s36H=-U$j}2 hԽ=]xT&WXGk`du⮽8>ӭ'f"8QTw;^w$9 >O];ɮ79DŽW a)S5%@(Rz~urm.v{Cs-8fP#MϢ[2&| ,:*GO l]\] y3a>^n9'Kat.3?z@|)Ӏ?֘' <Ӧ/.itRHQs۟i[%%(1-2rR{ p#d"ߞuwuNMC:BtT16kƆ,(K= OYƲ臫Dq)||"R,Q#͒7}*nuuMGwzQ y/ޚH1hqhh'8F׸yRuuoϥ|b uAn-8&vKXhLTRA&t>Вm`gy^zFWPx!H@IsAa^q8ݵ/zkx#''DvݚZ2PHɎ J)y@z!xm1;T~)# "HƓKa0J_g|N_#S[FUh<` ]g< cgA_pG CطH8mO Q}?ϔ*͡P/hp PhH$ʰ/@ "ٍד2OR5,NgOQX|}GkXNu΋1 ޓEW[Mx𱯟2Ml,\13 <#KhrM&E3x9q˳}McpGKb.hӗm/f/\Lkkq rN0I'2p.ȸR `ڀvlՄ$}zQ}X ?|K-w2;[)̠+jk(-!rO_dsjjCLO]e$K$C O6BLLݿ 0l~\)kf $e;K Iϓ%7?Ũڔҵi'rB4%}>SID avvz0NgK v.2(2g7DkX?ݞtZ#HK|J o(3^@0(&AvmT;tHxvm`.'!?CQy;rJCcPu}VjB)J"K#6BIj9_p^JWdP{FQ鹄A+Uo-mЇp7bUiCH_ô@[`T/{fƥ{'cP)Q"Z?C+xTakEU=A2^F#ua*P"w+'v&RLT]/:rR kUM$a {.u/0}`(߱UL@V9QϿ'4" PσjO[{-ܺu[5i7Ea8CSFwjȃA'2D:pC $􉔿s- o=\Yc}`l%`ceSVICMk|vE,9P IޑU;7更vnG]_xh.}&7$"`WM&R!h ?%UչU$9^˒G;{i ޯCvnE[pT6њʇf/ϻaA;)۲Oŧ~U^"'8rpݛ~M Egkn4S{|#M2tqlERhCc^0چƼe_K^kPJ-]Vi[]!IY!<3zΞߍ÷I /-c NQb(@xR2s#m۝ uޡ̆ E;O؀'_HcB_,-IsHS2@@& oѼ$^3!#6Kwk1ީv G-Tq f YEkו?SpOM3K$8h KfzDdn$LV^ Ӂ& }Hۥ/!j\~?/ rIC*6ǔ8jnn ˿+|Hi<[BzPӳȕJ25Tq6}$.#^ 2"j)=(YѸpjƒD= Մcr&sx~s;/* aIf]ҥS͙SB)noG|BLъ7Ezڒ:,FY5zidtDK"%ml6c\؄ш81np=Y$tM AWLݝ֘ک#\~ Ց׆!0@v<3 &x%f|@Vx/-QG+_K.'_~-@ ?U|/+ &jdavU}'eM5Kz7A7!9VQOȧ;DၪCrn8Ĝ brB+ҞOF$*To~ڷKΔHu;"7I u. ֪^TlSkgdSWn?Igzvp[ܗqNJC\m(RD =ji*쒑3hu֢ѶF)K^'/>{ԣ@>cp.LTD7;+MVbLbgBqU HO ^!~/|UvbtqOl&J+<-z_a:D D;cN nث^-xw^ J6ʀ QWd :/]6͹I0jih/B8*象˺0Q^|2vXt!43>Ėèp@@jp&:l2YW` w)5lM g'hėjzXˀt٢K_Wiר T (ۙ(1_n=|s#&_,uIl};s;Q~\%ʄEӿoI}fl>m[pbV\ٳaG,2߻w `z J]D͵diOaG<^`~w9#sjZL6W$EVsڃ!燈'XfKRE&.IͶ?w,C82A>`C՘"ywܐnң8,;176:MQ //1f"ˮ&!Ҫ:LQDrOzAi|3~gK8a|0oMvjѢNtW]' igɟדW8H@AoCJXM Q?f~aQ+o~&C Nzc0,rٜae>ӍwCR4œ7'{fx&}/5{,u9Ém^33Z"WΫ8Tϩ\=T&=^)gbo$`2l/C;|tXyL`۰óZ6S',^㪞βp. O US~!3 j4MJO;ŵx?luBFU fy(H:ؒ<3 kYeBc 1aYCwQ8Xb&aȨ[$T! \e˒lw%MY+un(%HU0;&!,%\n`!Rp=LCÂs N! fnʥ"6Q?ԖNnaq ;B.Gre%%t]C1m5zC:c_,%RVĒAv5X%NNٛDb!bg12ȵek;Bf$Q1sbj/8"0zf[ʽYa(|\֗#1 45,Ȅݦ&WH$zBd[y `X~4xҋNb$5+T irtme2hvp0ˤ@F^?bA?@A=.k+Xq(%V0n 4g-?FK=>ʯ{=b ryn9V 6(GEda:,!1p{?|OO4ʲl}g/LȊ|r.TImPh#"sTqE)hHڷq4pkw/Y 55gy?B=~$-ZJ N [Fgs'zki&\-g %-cHB"K0f?ŒUXr_35>`mK`:!#wۧnڑ~ť*ĝD>޸f!uϖU GnQ 0Sv[:=$So[EV7դT8"KlLkΐ4;)@hb́40ƕl3KAㅒBG/|)3! +3 OKY K|>Esj`&,1{8PNww`dm8׊ ~.yxptlN;cL46ԖE>j-:'9;ǚ;;f ~dGب"\QQ;ǒ-#ߥ*\Gozbf=cgE,+,'SbN۟$_]G2@0Y)VȘPWm;OIv5ATҖ&D4:](]Ё2nr:^ʯ3x0.! eĭPR[?/U",CޞLlժӑθ+&ƗAet79NHQ~̴#Ө{Z"-^.]e=/μwU+ i|GEX{UGji̙os1EG~.Uй7MaH#H;X38[פǫڦ'9Mr4̲ʟR -12;JC& ?9!H.J)+0|\21_q̜FɃ{&![&C|^\\Ɓ7H |C-N}៬&k{ņ ϼ=W.6, jx.YSqܞ|ggݸlx^{%0{}+5Ʊۨ]WȽ;“8g%!c#Q2hO xƐ&ޫ|{=E ]ͬu36czvP7=[q6:㲐?xS2#o+Sٶf<ϕ-f9GlU,1lpD%Ai? թL|J11,]ڱn۱W@Qy0+_4R c A)XT("dy^-Cwo[ >>CKzIT>wZB)9]q @*\'"Enr`*]ʝ@` Uia1}ٽncTV1O mJe}^ch4#Ԃ4}2cPBs5IЕl,џ+E)nq W9P1ZeOV!g>]e(Zȯ{ZRWXxY40<h6NWOQ[ `\@!UһòȺ*'>fY?!LdR2Jv"}/Ltd`HD6s̺6*pS{w 5rG5IRs+-pI~-!4&jХ֋}"]ϞQ@9ZuQ] uO}[_f}t񹂪p7BWF9NNQPL/;0V.OwXWDS%BPc4`GqvPХCF`Bj9 mʏ\\IV~az0={Q|~iM66ޑyE%TWeذ=lNˏi.>W4 $8rE&/d_/yCʬOk[J)ۧPcpJbӤ\$ȮDȜRV-|:.8b(ϰǸTm2( ~z^"M< v 1C |qC,Z+ DZsPsN2e]iA_bl=YV>Ξ%1)F&Y@Zɐ+PI9 'gA*jiC1w+$f}O'2-z9d*3_ڕlwƥ|!*&(:k^(N1Q&0ˑ>tZ9.74`nKШFpŋ_eʱDtkR_I q:TLZ94ݚvِÀ.q޲-^,~00t5õTo5~gY†l|e[F?^dlaӈrҊgROF!eJȤkkhFw90堼l#%xJjBdrߙQZmTm'ލV.)w0qjtPދRK,7aPo( ~Dbp湧$+^gE_ϣ&AO e/z 4 Cf"qqJS|mËd1rÊAۖUR2m (K:[ueҁSlhR$&A8o$Q:u$Ġx^:/az!@W3R$|߶>Wֹ'L~v}ejexVCgTb8nm }WNg}@R(@YDVKfrl bRE>*lCˍ+\Ӕgf2XQ逌tZgn}>Ϣ|}?)*;+$DYXzr>1?$ާs' ZM1ee}5o(a#a(f |1>&E9\S#l県ֲ"]X8Rb##U$k.R48I(6CuYQ,9AV8ġQ'i);w@vE#PoRXP9>/!@Y ~On3m撙&z=q0TUI v#h^(eԞ"f{ɼ"Lwx}Z`F%n&a@(|[LmHA:LB\S,~5qf@,Ү0.\MR۽MvLgAm $ˮ{lkA%^ɲ]S0#Z1 ;1I״.>