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 0 T\\ ]/]Auto2_HOL:threads=4elapsed=23.542cpu=63.152gc=1.940factor=2.687zXZִF! ]ŗXiɟH)0%of6BN!8eHtIM $<=X#Q+b\+^3vzwvK|1 =hU wۆNR8r_ Zp,>j&{v:œi-MLvg8Gs"hRaEyA;%jVjSJsJr1h`iģE1:X,iƩ^v1tZ"\>6|b@:ǽb#XPitfFoPoܒeˊ wՍ?Š*Vf/煞zlJw/;`IF$pqC[h9kE9\/ߖEkQiOٷZ1:Cx?ff{~F:sj?g0_3y|~\L`!N2ahE :r*0p$,,Ԓ%h܈KjBc"[o?Tm);Jnl~0{[{4?CYIV|I ]N햺[) I{hk noqJL嗹Kh%4wh;{&LsYf e~˜1 68AxtTCNnW%GO>M?igmGeG|֠?P,4 _Iu]~(SO.44n 4vFZ$(m$["AfS]ȩ [*B:jf+,4b50MGl?WM$Zܼ.T~b ň\FR'>;aQsCI~ 5>jVaĘp# V"+餀G^]I{'RkrTjK 1S7>O><6&(FԽn8hjM%\٣,Q3Lut&g8甝Q& l% {=Dr73s=(yt࿜6aCM -pĨOF>掬g(EPyyQ_;!^cؑhA!>[NxiXZƯ٧_b@oR.mhb!2k}H~{'G͓ru%[dr"ñ򎭴J;UmPvv쨒o6 ֬95Mɼy4Atd$jaF܈8;POy6"[<*x*Їhe72q@)[UT˓tl_$:P0(z e R35rP9   Auto2_HOL  \!7#a+BH(Jt,(NRpgrΑ &je1 МZӌ~jA[Py{|.?,6 Kѥ_4\q\p\c=>]23*Zw_'5ovg7!8MK6Tcחm3vbs8zG=2r,ʿ!?k3 Ou돐iŗPfƺKy? IUX ej{ppbA'~ܟFdXM"T(^i8 3D\I/4 u4\nw7"Kܒ:, _Tc-.n&gbpgT3>>E,Ĭ/Jq77!TߨkI*ql';-$]ZyIgB L+˖xR׬#ޢ Y!WKYYd8)oۦ66>Q_@J+Xށĸvh80v 1Nj堸5ڪD,>I޼! cM]HpyߖՌaS&gT4ss /Pݤ`^F"kPhV.J}tuB9ٽtp2;y O$4&^ƒ~X*DTV- -s"*5Qy2ͮ4hد]Yz1F5Eu6ݺK}Mru~M29jU74*K} }lP }UۥUm_aRv)lkhfi~إl(_ϖ5n= kQݛw e[X)z1ZΟp1r'>M/6֒ |qMt`v[2hLL!p~(S%Ơ=mٯ\ kʰJӴZZMYh%9~@Yk2\f=Azl:/WTm&;w-ڌFJStc,&W } L(Ͷ@$!KNƟaW7l&T)};Їyklȟ/4)=띢hn2 lCƢw\>[I u 1ZAM I)ZS~V>Eda, /ou\VQ%s Yy^;75~F^W=aڵCx!Cڝ%eS ?AΆ賃\&16|uepۖt'7aGcLD##'ɓ1Eny2Z}cT #7l9۹=i*އcRi7߇C3_GU+8*mXѫ^zc-ncX]FWSmzED6PF;rVX 5y5c˶SwL>ŋ864~ {e,c B#P9FpU丵m}>'7 H6dp#CE-\tPGLbmqq cGĹeGJז:G\WHjb~wLD㒢6gR1X50-LOĦ1ϭ򇅐!YAWʤ~$g}:3էDf]/(+W^Pǚqh!/ۧ@Ag -87fJ6ؐdJ6pId]J :Br9F.tC`w P;"0(H)rlJ=ZqBFUooNji?-xyHqv\1@0Mدt8QڋVeSpUk5~S =v#[s;zvP9V5Na V>Z6ma 5QY>oG NI6H#G6X8 n*08ؚKGq/w\k"2 FjpK_}w`bڟQ@.LË*fn>ďgu= wb2ҶFRՒ\#oְ`.j" fTi=еƔԴ(aL:|h($ xs\+ /x4Vߡ0Zr RhdC_9 Pq;p%F | 4H~#zIj0\Q"BT OE2|A!\:zFq*)2̾س&SQ[P@>rFnKhvoll;pV^p㿪#@m!y#\mF+b¶%$w(<'!]SI=qui}\{K19W}Z/yIѥi}=s]@X><3֦ 0M%WnB2U]?n8RK#^!yji@ӻE !P bu7Uҏr ,[ =9I5N$rj !ա+_&_:xufmw* /<ץMBPtyn|C?vI ]tُ '9(zx0&>c ^lJ.u^ZMl!{cn5o(! eW26zn7oIR$?ev&2WVb^P.p=H|2Q#"!?LB.`c"Y2AT:f0N+fi`&tpqdvھ[&W!/>Iw8Ajmԁ)h#|=~myfg 6CbjfGX\$L!mrđUʅnOZSjEu 4OrM%G5>fob˜];pGJ΀}|l_u+7l!gAu4<S1[eߏ@l%,4ksgE Пr9wC4]WkeTh吵A/?iЧYbOKMaޖa| 3rw@+?H4z B; ifYq%2i4, +=,]ͿuFtL!?RDR#Q4O1a1f1=b;V#dUGRbg퍎\m|S?Ӂ{f՟ԥvY:&5_Rdּ7woWUܭԄd If7Hi/|Reu. uE3JAd{"HfhM%\~c,?*8STr|R="N])'TtI&M߁jtc16qH>e}}ӖU2lϽ} a9]ίzY7 & S_G|DEz*ixRWցFEOsIiP_1+A!Hq]IA-5,oS x7G*G4:b[O×pNcqOS 67NrFW䈟U6(4ܳ\H;8tIY\6? i_/YeBѰ0\^> hx2>tފTvO9p[{;d嗏Mf{@Y~IevkMDWxN=]20FcQTo~BL|"Txn 4z&[CL]Aqr=;#0K;o~y_sUؕCZ+ aۈ''rn.*<sԹQQW0#PLAJ8x|#b㝩ns!SQJm^ͣK#k0{a33- ]̅_%4OAڜ`tqYK;o6N᧛Ga荒J$.~@ F ZvÃ;5?㛬,M{<ȷa)W}dc s{6glw:LRewu6qߨ_^jRr"'OԀHUPUcͦ[y# drJۧWFFocs"< Ӑ7tk*x U6x8C9{ <-G ,m]%k\Dwƅ(3|4-un;%AiP:Ռ?/OJmIZ7h7WE9c)5O%>=2G\.(wh*@\͙i :'5hk?z,Kz-ҘdW!\?գtn'q\:,ncm: h2g Oz!/~(AX`7OnHhp`1qy?63DjNR/' tl|Q?=бlЖ2"KyW j hquV dn>7ޭ᷈AþEd0D=Ve}гo@G@%{qe7ޟ.bJe<Igv:k@h9/l'$\mr˿VIz> )i қlRS 0>1OWj9eB8D+:cyz6֫hnF.hP|@H%NA pI3SW규ζPV@p%}8"K7 oX~ g KRI3cшKsX #AC oóҕ[s-GFQm%+. 04XEO)N6d=Vh{wn+yCtukBWٌĦX*+FzG<:yzpf6Me bcBȐJ5ԕ@b6:_>f&)L&gʞXpԓ#omj2+c]؞r 8|36|@ zuР{L T䮐FZ F44"LfQډ]ֆKú,q@jvNDj<x xltP7[Z2ķ}OW IvQY*L/4c~˵t+%f?;XcNLώw6Og/Mx?a ~sN뚈GĹDs2}LhS7pjE( #Fy PC4;F\xX=kqYSpm^MzVDe!t ,D;USd&B^i$ cjԘd:qFeFQQ<=w 7:֢xP8ȼJiҶDeqɜ^^'rmDbLtUӬyt@8 L2@cʼԿǼu!fJXe;̿/cE  HTvHgxA-nCg\VkG>Rğ 'ك-,٪]ښeeS%>;ɡ=Ջ&}BODXCiO4n]XlD[ÀTc:_1nf}#W'z>i))]q~guǒ+@W,u)W@7Vt+"䂪h8zv)p Ǜ7Ÿ"J'}5iQM8F-Lo&Dgi"Pzo~$X YǗ:v}ZZnivh[L3OvfHB|p}غ0A~Zv yj&4>D_)*p&UMa:FROz Ưc}AQrʞUR]G瘪_g.0EMZOg3=rV|5}ҦH u5ÂVCkfpzf;*p+D|[_&g$z) FԪV.K'FpQYt@G]I*ժ)$ H'?wd3IK!x]+=C 3k%\rPa1-nXsf/sK: |Wo&+'mnxD}I沣qa_g'Mem ?70 ~|) t$@@xl'W .i J{j`1LcS Z8%̍w f) iXR`xQv~ۈ60k|C뎃9&T-mo$j >4İ(BLQ'FڏmOInOy!R4 3).jvn/wadYFU#NP\(yQLv+mT5M95֡'3&נlb^U6Hh,uDrD$j)R4㽘Ϯ<㲸P݄&c jىP*;'B~KcD4QoC~ϣ%sM 2`һDx%!BٻG4DVIgzط؂SZ#P3po*Z}eAɠ' QR-δTVhǏיaauTBF0zfr!~Ǖz0tt=&͂+`jB-aw!t:y.[LNs ayY(jv|6P60dnN[A_$ )ǿ""z NnboPlwJ|> 96ף0+#%%Jwpxs23?w؛KFpFT4A~*.YȼR/ }KѐMf)i*v;hq/ЦB=S[]JE 1IfBu2S!9|c L/r?'=T[p19?jDB:)YYJJD %^ۑsH} ֆ,dj)9+ IoEBߓdQѲX*O}"Fs?I~v`hzZE1*#5(m91JO] H.J 8HB3;D𷪍qPf\ 8z6DgG= ?Kp+ ԉPPcSё 7BXDD+|Z񉆋F8f6B,iw*6=ߪΝEL'%8VqP70$Pe$MՅz Tρ \'Sf$<ݚui4G<Zy*z{ь6( Ի”2>P7/]T3[xGU/#WWd_D>dXYkv]o5h$OjwF(|d5$kcQ1w&Č$'xS,{~EJK Ej^a<d1p)ȁtw]סq#g%s^Ǧ)X ιm2ߩlVoOҫ\Uj F'vx_ż|~q"yqVvҿ;lf8NʰϸX#infOgE2f 75/Y@#2թt ?/6s*6?a0uPp8᫆ T­Y\wǤ}~xPUH`1:ёQk{z3!!c-2~|b &%Z{ӕyE4O}~xN;;~jM41TQ "c[Ny*54nm'mg\= ʗYX"J^Np0[uhz]N;tWsd$%jpČ8'8sǼE4|F.i1o`[5҆= AYUQM%FGDؚ-5ȂF&>Hao~4nst'~e& ${&te1] -Yo v:g= h'߫YrR :|j2(I U)R׃':oiRw!C]U9?_p02<:k/6MNX1&xlӗO}` l88.ȯ:u9*?2!UL{InD&V2,s? ”Tm_8t>%(!C/,ʎ+U4Vz-}`C-hk-$c>cbWi*2+ލ#rMA^v@qx wnJQ:6aš\ciB2+IG>kcpl2“끭[eVO['uxl?&Ji[Y:.$r_9B5ØY xAoђ+6|)k85rc:'_zJ&#鬪3()td,NjQBV %1q<ƑFz`)€bsOK!vTM3S1".ghTJ}#/h-\2ϩ-?2 /D^2Ŭ{?Z` ̀hV~/zl(CUn3ark,SkS]J3څXY-'aN2fPwRMZ'-%>r9z=] 'Kt.KdIbI| 6o4_U'k*|-XFE|XhW;* *F~+zδ|U^9ëuN5a9؄v.A$& fB7g&o)]`S`BF&Xǀu> !a ^p}tA#NV#n11£f7-"! a0 Qc"}0 ȕDd"&Am X׀r1<};d-gڒ7o6ͶZ&4ZcD ʇauv3U•`u2M&TQХ%Jd`j:a Ҕ,m|YP7AHq!3#[z2+VC@eSDH\Dz`INǺ\ˁ-x7ACtfJ@hC0@D')뤊jiWJ+Qvf9ȍUEA٘ƫo2beضK6_a/AVOubh86d3/}fF3oAApfd:Զxr\ CDkfsД.+L> 9\M}miIE~J.ʍ3(j=r*> 5W"xl 6BÈ- ^!iɸ?J<8@4qESl|M9 H5 [_R+~WXJ% s0\%jڮlj3^h.rllm1 s-"2 Dm(PI hn՗{ڵ~g4(flpȗBfApÍWq RyxYB?[p2!v8*+cP| }L&&0;Ey K0_TU9M5էs6BreXa&w&].S47h ɅlCD'+h'B(!mqP]-Z+q%o ]ٵđT&Gz6Tg8c΍9'7Kcս8Լ& ɭr-|"`,o\/ 7yjrjR`JぼA bWo}B&y[>.ӫ)Ō]H$̙_#,.ɁG&DI:);d۟OJs@G"ˁ=cr;E֣MVhA#E(>{w.s0޸LKDYM52[MZ@.GYG\Xw**0ZO_kےXzئ\\r=NG)=ԌF͡bHDRoLxPݠɥ;v575󃕕p725.ɒ}*Y*4H MF$/I]8n0>Nkb,5krVE2bc؆?aCiT>@JߊD1wlF>z{Ao-Bn6W~/1ڔGeI;ϐO dhJQcw7^,?,{mT+7jyo~1}euʙuΧ'儲6/,%nRQҝT874**HFUMUd7(oǺf.˥N(/2o-\ yr^;) ZzTi\oǣTqFբ{[`&Z%EOwz=<<4.*34Dz4vtmc*oO2Pd7@x7^:2+,4bKu"8BTAThf@G\GK.4E_B' RE^A>!'sߊ %#۾hF*oǒY`Yn{syi5m֞tZA6U>._ݽ$tZ'"(:NY(~a֐!;yxT" ]BVK3][M i4).#opԶ>cŎˍк#׀O IԆe͕qc:{VH:x13[&b}ȝWZ썵8*"br0'6KX,CauD_촶~풟ME͗:]o#!PP> ~R ]|f_`=̡-U6bN_B<W~ k@ mN}a_ J{ڃQè5B&94M-Vv~EaS%x$Nb/>Sj0 )4pAz-_GI~+k?a1KhY k哻oFb$A~}c2AuiƿU~#Oy,2X@|T<1P{95AI݉њxLLviƴMꊤtɁ4=Mm`+q :c^!eJ>|Y]q_6,;x~II@"i|#OWt$fODk00+mhR,X5%,D(ätNB\_2`{7W`|(1ZUr{ˀTP+уݾf"Ս計`>?OM{kNStc]Vzʎ/;(7#l-U(iuB" >TȏR@sA$!1'K;@E!CˡcP_ɽkLddbH qջeS#(|_ ej꾸*dӟ{6uT~:o> ϶Kx0Uy nzWJHs,=&)l Xz}_,YU AECEI2fC?ДڅvxG{? [@͖AC/`$sM5'ͳCtG]cj@g+ 91H& %lӦD 65ܧ#t?Ǹ٬s]ti- pzm q6ƊX9Ã_@y,ׄ1dj=_KIޱԔE H"?V6Ks+=znO$']h+ԯx6z-D=Oܐ%V[I")'Fx=y**LZCȻTjWo_9 ۋńJ*q^OK5! nxPus~QP?z%N~ ҜJ1A DTԈ;_[[2| ȡ!AwӀ 1JNs1tYރa )KZއ\.*X\f fRF鞜bRUK_l S (FL w;,>ܘm ;sxeCWW͟BMĢǒ:n&srΉɽ*j7c < u&o~w7עQ^65)&\(iQ%5 IОQdʞV_O[+~; GL6f(n. x0#L99zq7޸R@KSl!qV9Kb 2R$ UBE s2%ƈxW6Cu%?)8 y O5sD!AkX l%jư.Ѽun,/\''sL{[dI?.VĆA& q[K}ϳF6 Đ "Wc)?p$RJ+0.ULS2`?7LKCeoCrdaB[eAuĐUYT!,6fl$(F/5V]ik\UOƔ6YW/ADFH7HAz*}T&TC?o?TFpX'ipJ%Қ2;A]AOO7VHA-}j To$ղX|F .ff2pʩ6epCiwaWT&Rʴ̠+o`sõO rhamu6C28Y;Q tn&91$|bIqǸ ~?%ɡ+I :֗4fXlue~)&t检P%W\ [;-^3i) nI, *tto8: ͷ߽n:,($||y1C;t<0Jt%QS筀rCTĶYd&;0Rzhۮ&iS^)%chTџ+PJ6uz J.ߪZ/Pw7`'18=VmaS3UKwnٺvgVٚĒsFaxTGiZo%)p*=.&Rep)HjitA|2R,@[J902UY*Qb ^/& (gIovঘXz8TS 1[S/NW/EX"[.IqI,q_ t/v{Noo,|T䝴ߖ+(no)8NqM3{EٶLH8d\nxc%N`5a!͕n+ø=ĈyR>^1oy܁s=Jj'N~߽uG hgxvbb1[E`@i1ŏhr_8 %84 \map #8D^RywٵGwBi!Z-?(Pfys?&W~oj|) ̮;b޾ML8D@t'0 ELEudߡ_z,l4EKq o/L\qTKV[Hcڒ@JQ.95ٕlYK/\geTge9g,n4X/f.x>|Ss ܡYNa^p_I@Osj^:" \-uW)Z{ ú\(rt*nnrErһңtA&?BF_%J%q6kXWw`Zb!JV [ wV`rNhxQ&wt)&㴸|G# #?Sxݵ75hT7٘l_U&@hžBÀaJ@X.W+_j*>Yg{_e k7JO!.LzqJ]wZ@K pi j鏝uc9:_qC_Aǽ'G!%J=oMD}F<(oSrWqo ח$"%u' e4mߍK.e>pQb~/ 0o'݋ vcݝ/gg599X =1QC|NJ/}sYCG uQV9Y@\*cf6d[jV;fߛFj\^&HF"VOɉH/O'SD\:J:1E+ى@v8u0)JF?6<.*CXiΠvJn_wk{vfti6 sWH ?- ߳ ^p֡]8UZnt.nk`[=hCt̃FjTr-̱|-п1%Q! iJY6ې yϷ2^ժ ,@^('rX zj7 @0(tQ p ,Sw#Gy2mBGS 8$P,n2Cvzܧ),I (Rخ~F@~!b]J\DߖI9u$p rF}%4#9MN@Fb2K}- 2q 2>R&6npb"# Å'(VTKv O*'NS0y-\̔?fmzE_IYa1䌱|Ke.|lt! rd#b{eeb>I&戣_(NN:HIo`&/0T3ξoFOuz[kGςB.Gw(;`6+(њ+#텻0_8L8 %B0i6 ́}e Tv/R6afód| ~Zz>=`lVk}2 ~BۙG:dVf.g'ɭ5:F6 iZ@ĸ`dC"'I;.Ba~cE_忔( Euc\4t@7BtT8?iQe{W\ԟ=pCTBxc̮JڡH $hsnD\gl 0Z;{hu`dG!\k-mgP;nc2gԚX3'r} MWӕ7Ʀ<.A? n@~fVfrg_%Y@SILZ 6Z;<]^ul&2ݓ5oӗ[`a.>a\E7p-PsO~!e:8Ql쑌I7_f}7jod2)BƼV›RQD&gOXkI_7QJ/'9.ܡK*c9Uy3<^?/z, hHJEZط#++nYC,0RRȐ7*e,fOyI5pˁLwD}3A6 л@gXw|n$ƑLW`ݤʯZ!:I"`cQnCX33PL4 VA""!c{hoL<,&-8t]DU$qifcNekRsQV+4'U%nVA(CEڐ=>%Y!$55ˀ{&HOJېs^!17] j"3g-AԤhZq%0i ŐNYOK'nP+L +~8q#lV``Ŀ?-tRNt[*yInʵ|v;1ոIdn:%8jAYYObh6bp }%.C>5,h_wa9Pk!z/I#{u lW b_ȂyoaP"S{$Y&.gcs~ }f >+W!},NJΙlS1V8:F-;-b{k J~V~Sʼ !n[Ӭjqri roaVq;[?D@"?YΨ릊LpړƊԐS 9DU.]îB11*`W? !)@[- K #͗ZmvG lן>L2SF~hҫҀpȀ)AhIƗ|::]Xn$ka-Qt@&MYWeTى;{W0XPHgt"\.&N/ Ĵ.}k >0nsyӃbHѻ@0ۄ[&ݧ{n_& 7L}5Dφf 0|Tf&5b|A5R:>KdKjT +/qPtKX(M*W7|JfKobw去:^gvXG_s `@}mmg:LeѨl/"(Aե~uC>':r7?tӇU=$>N(AgځI<G,88UD?%cKʏZ>v ~7}ԩDuA0TG$1ss. xk {gUN QSm-Hjj.L\H3FdH oPMWj2X9̗ & sHr]2py#El;FМzCfǔ|o;/57<3j8lZ=~˖T WnqQ'R0g#b!4 "R\ȅd`F LA X߱ '?WM 9H_$#2 dV98&")14*,f;<>FRbnALuC6j r=MBǾ#]6cx1q\q֮?b1vp(-3 +YLx븚Vr$@=u8"26 HL,VFH?Ff"ŲDkTLe:.xDHA9D֏h3 "_߾oİm(4i9)S[x郉ؤ.$MoOn3{Ȋ2>!W=H+0- ׃'P6S^bքo.tE[yoIȗ#@c8Z9hl9|kt%aOd?<\LXͰ.^uAM,8h m4IxX\7!/{) ^ޟ; 6/atK\ٔΠCLلQR, znORϜAkG $zjN`Shp?o I /<zk3 LlC@Q&EE-Wq z=|sO}TfQwmpOeT&RŔ򠼲zB]8 dbDfҐm,kZ7չ{ YCTH ¬uRNJ>u@ϗW]9\eٺ]೿o&JM5 ֗7hOnI;pI?ېI.DO*BȕJΎv`P>i31OMۮ!?H7=#uvVduiyry CApdHR:WM0ZŤݴJTz% 5=D䀵)!'4Q+=ExZic9ދ߯NG-XPk?| h'i3 ІXoƲ}ȰKT;JD3 CAiV? a$  c! تBm|":_lXUTrEDh. FLwGYYwAR ή)k mmͷ>K1$$m%a@ekrM\d6Q+1S/BEXt:吏rI\^U#Ugp>HC(٤6!XmcH$ NIɫ*&utDº !{W.RQKnWKN}|k>^)S!$nfޗIq=[.RaMu$e Z+Z3KۚJ+1s9& }p2Qhl28fnY&Ae a|X"p33pN|@ԘO8w@.pKgΎ$䕊  Vumw @).[`o@L<$r&ok8ٷO|`}H)ⱤkF@D/f1()G?_)#^l2mgDҖ,9j3yUL Ln4;Sޮ:?%K1Q|o:G@L0}dw{wk䂔#YQ|3>+"&\Q8Eҥ\P 7EƸtvP-+q7Iq^2 (ʍӭ+Uhb &4^.szNK _.* {t6(^ jghu79 wq>|DmpY5ek8k#ֻ\+L ,' %| o[Ě ݜPd@TXz@Z3t*BgsbngᐗV@ d#r}2wʚF'nx,l 7~k8ϵq7rTVȸB-W'ey Z.0l@ qG|xvCcd{.N8R34/9\ACn(lD_ Z\Ǿ]7be;ݰ!;%JIt.ϰ2n x3g} Z6Þf|Z  >zQ .2 gçtu(J@o)[V,yI >Jځ4?]2~1uE3TcgҜyG׵C@'-cXd7Hχȯгf)s' 0ynQmP3nW{m' uy-e|{FN$DA&Qnn.E F*o @p΍"EW?|[!t)n~VHpѸFŽt% fs^b01p>4H'/iכv| M;϶NAifR#onrNM&F[gz½0tJi4;w|e^DOѦظ]>XqY sS_|KC~9b`Ӥg .O4*Yɚ3v5 ɳt?b̬3<$n7LӐ^ !WT5`|e6&GӅUc1'&#emG41ݕA)ABFYgUEu@¼W/iYքC!s+yá¯pg].sL|z8OF ;y!~3EHr AbϬ4Q =9P^um΄0?dz&cJH7gs~9%YgRuMU%OڵW#R- ; X-bVL |րVw$ܩF ʣ` r<d$rU?4n6e̊ٞ 0yTzPc\u.ֽe!Fʁx4Gs1-I<)(v+4r/2Le }12O :<X5Wi_VHlʓRSngk􂎜1l%Gr3rG_DdD'NkQUAw&5(B!"tR4;w8R XO)auҚ/'ͬiGxz }jũYL]}/O˨gsbMsOR>%⦃7^io&dTdDE(Wܡ¤[ % 3U XqWV ?l2SRcX/68#C'y-J90[N`IN =g#1-xm1Cmv޿\:Z/DW*ҔXX4F/cV^AD \?'񷒦S|Qx>-)/l9518BHFiL#>[te GUk޼g-k AL%4ٌ|ՙ}XL*A:`xTKhLbtS=.F[YQ PNĨ+CAy*%7EZaL|~&;ԥ>J֖uFjt0ѱE=>V YwZF8vgV('.ɨyGp&.  "c62i ]*߿ӑByҦ4bY 呝ll wYaIW&2-ҍPfOvk5-kw21^eB%*Yu: v<}?KL9mYwftKC=oBkz? ngOXgdppgW bVس*cFۄ^W j 1Μg`ɩD[QhS,p.9Ujc&hy޲l1ߋCNsvH.Ųc?XKdmci,~B$HwJ%ƣ'5aJVxq$ٳ~&9ņ8YP@4W{FJ|WTmzR/WkDŵGA,TfAd8QiCe>֋KXUbjUe[<62Sj&cOɋTr_+# ba"|o,;/s@ɣd~AVfY GJ g6Fp%%{J@!u7G켊MHh pJKSTˉn5׌!!N؆N@֫Ѝ$7 U U]?l_%{utdwv6IvPdj 8)#ez tZ9g2 v-_ES28+n[[Zݭ7'foXGB*E{)`qU^v(zNvn:rsAѤ˰7.jÕ**n&Tڤ}=DgSAd֧)@ks4zQ1R.oɖ~R^ GEPh"ʹ C+.DUC\v% )dI\^g ZG%F,Z@d1,*6wsdYSW`:ahz:W64"P[@\Z%dzED/%g~"ٳ]R;o6%?0J=?]BѾ%#>JP:K/ R{t=섲NBGa:D:d"ǭOŰ &cBQWbxRxQsw?2;8?Ici9@-Ǫ`lƏP[5$ "tۻ5pԯ~4nO!yF ԓQIJaYVKׁhp)G*v;$ ބ.bӂg%F/>E%e`r*liXo*/ gֲ L3GE|z)~ϭZp |Sdjv򬿀S3&U2vȻѹ ׼ K"Yiz:s71 ~܇?ϋQ]Jb_Gitr ^ >g.m!q`uT,SD%-ɬw J!V˂rzb Ѵ6!aFJ6|RLy1sJѱDL;6W۽7L_S-!YR1u>IKX)Bvgp⤠nQ4r7[&kյ4ęjg/ۀ凂$#Q A`K H.lSȣ]p[2="™x7<p5k iی5,[AۤKU3y3%`<+k"m`xIzߺ# 8 Zt!vZ ϢX|;/ݔAw5xS)[k8xiBndM8;>`l5Sƛ֒c/aF deOgT( !8Kzr1$"h$\UOi ?pغRld-Vw5ru%`+ t{wR]c%ÿtN&N^P]ATg!,k߯A.8γfidlG4א,fv1w-W&P4ʢ9~ dt3i1'. A"&S$^ꋯIrH^蜇33}N8(hU+IA@ђ7$YQd v{N((7s#E/`]P[= w$ͮۊ_,)83׽g\=_n ;xڬ'Yl(V~z!2Q$IzIָRK'>3.P4Ux`ZpW-Kh2ێO/}4]Z/-bbcW Rd\G[Yj!PR[][?EcJ c+>c[Hbxp\KMd=uWQl#5W棺ԙV4ķ7h{h~{V9R|n;~A*l缙˪RPh!椐o.hxB҅|le|)x)R[I],Fy7w¿wZHM=#Y܆ UEW` &2>S9f#ZI|6>#)RfvxD-g'e *C8G{/KSN9+Ńj*Ik:ny{9%d ` p7p /)ooϷk}@ya!q[ #AxS3dLۈY jTeEO*VTǻ NdAX nzx<>jѝM"`AIYQs5]ǐ^S&[ b턦,mY{ȝT{U,$Žv~bO/I2~BEY%_؎^}v7Yv('ta*$r޳]#eDZc-D#o;YEЪ~"Qb"-(kO-uyVϽ:s5a1%O㈂Z J q\GvӷIt^rp|QɼL㠅BL^AYŲ2s \Cg]c3_C|7UD/~TŒ&ŰjUuFb&PgDG=|S"w4ɍA[XKw 'l Fܢ) wG;d8n YRU9zqw]ZYu@n6Tloc^E^1rĕ/qD77}"aS2 r+%T0з&%Xr֘fBw \GѶ20JZz]a7"nO8zV)iSTJwʇύZ3 5/Vu ciq;k!u]zpRqɝIUjT(rYB;a.x/M!}O zvLmɩ9D0NAЩ Pcs%P"m!|mЬ&Ijl sT ȿ%1NYwu\p)xk(@^@;l3̈yU-jIƴXlE$2 a3 LS f҉?v1u N &9ӆ.m O OMeRVbEyNLLz[|'&?kz&ͦ=2Cd1R~WJ),ɑ#[DpT8& KWk?/_x1x~T Ovbn>8sc#)T"O<+r^rEKu1b7ka:`|xdo/}9ϕ+ApxL#N{a' jcZ\&PQ}Ra)r`hZT t wӏ1I~GO,  όTPJ~ư^ZTLiDjR]7 iC g:穹VltbcĈŚcֵGt ۍ(FGIth3l(=?{-M|Cr}t?O ] eDi=Zc[i=&Swt XAa|h!;Fu0C$*0e` Ipze. !OiNjvOβ &$-O5lIw]ȽWKM95t0^Ks$U_j?]8As-CPϵ-UbW?GTS T-+m6"jrC}Vf<6\(OyC=*:tTm;$!ƖKx\a{om> `m[{ܧT2E\s(VωWm->aKycJOZ0~1jed#'us (fѥu͋<\ɬأX8gcfů `݌(=1k:[ѻQH_:mmX dQ 7 g0[z1t߶Stz׹1H[ ~1 R)*t/j R+vRh$"iC&Sc]ⵝ%9u "[KZ]ޡ QeiP5v祈^/ڟx#ܖB2Y!Pk=aÕ1NXf0|E`3,7)?sӓ -42f~z-(JN4Q0k!2Ȏ$ox/Hai46HW=X$hWlMo{]H`:yU]sixIf3@-WaiX- CSy>^ RH$gT<+Kag} )b;6U#sԫL_u&/BKd fs\zm&t98hcrRSgdռxJ|]5DE0":QD)s:ƠLJݽe@ϊVnxOBrU})h 22|{YV- {fqKYKnsC t4뢒&S(Şǫ0iB.D0XO3'c*!(?WxJma0 (/U@TZ SE`$7=xDyOtX$WS[EJ.*,Pr c><w <\z:R;!CXGXʍ)xwX~d ɘUvn\Nо=-9 q}9Jeub<,WV{r&l"</`A5["Ϝ2tg2q$`Im\{qpB?D /z'ch7_1M_߰Ku3'G!0H(}|ѽFyI'9QOH/+x7=X;%#y/:=AhƤlD/=;)'u)z'Ubg즞D*_.I]I$ GΧuf1eY`2ַgMoï"rC@=\v; @Cꆻ)Ay L,cr] 7U8mY+B]N0~]fqklju #IJ%Lۏ]Xd\Gk IQXYdӇn#n2+tKnoO!ǔsrtFZ8C(7ĵ8z4 hhˇC(/rv1@oI]@FK %}lWŨWԅ,a^m reeVl@},_>o?*t Q. 5tϒW)}h(kjWYA~%JCvRla/_1#}S5uf~.~ID==zg-%(wQCP*$q dGjTCy&ꜣ˚ $=,{cR*3:ϟ0/ip=pD~鴺''.PFY*M߃A!S*t-tOvEcmn_d+h1H&h{YEZh DPNs1!ESsZ!e%)nF&^I|Mؾ~xո pS-%j94v7d/'3?5yI鄱ЙϨ\c lڽn5`\ MkO^C?}y=A!kU&f5LI|~ߖIV-v/ނpI`[Iɕ5jwQ'Ւk"2u,#k_dBN(05i<ތ'I!U:Z͍Iwܥ[nl Y6}jHHzT=n>֗p_fh>, )dG+y2i v^W6lB]v.L2'R|p8fb"Ɋo6 z¡:ex`<l jA@،~R<fƽʋ9tB;Pky΀ԉ'E_L|~a!;E*(3C}RN4\]B $DIɠ5TgwгR?1{I= !GBO(gKE7H͞kg1>usP09j6<<Uἢpz2W(@a0NѡQz>2A>2*\cW=BL&M 6ULBC^qJ|ο  r.'\ogw"ciGS^\ܮUC9z➶!M1L/2HRYjīYC88:^v;dF_mA tveeޖ\IzHK܇ź3V.(@QѝRg &RipjL۲W?=j:ը! - %:#*sW)d|2҉8̝1$4۽ fui m n-G$[T~J'FuV\B+Y(,CbfpeDVTp@S}jx.<͛1e'8ڷ_Jya>08Hn<ՐAFn_mbO}D-4gG3KzHw2-DPT`.(b/S.ḫ,ٶL ,::[5p3lCvb/Izޘ;|*<2LjaB3*QƧW]*;$wVR[z汾t3Kb+-2 > S2M_1vN͎hGOQ? \bsCCVWI#zjɄjVe P8.OZ(zozn&;` 2 LJ2z=J$!yvAKCbߌ<6  r P|XRF'A1V6_C Oۂ %jhyAVN$udwv*"a"ND_b2Q-qbh͟]}!XP/\ ~!ARl*h溟G8_h[l`A{>c\(aa5:X.„Z=/,uD/[8n[FxeOqFM_E>6PCCN^hxl=A) MaO/.\=2aߑMˆ#,tWLU$~L:x)8<Ȧ Qs#l8&Tn>Y-.ذBgF|$B+Ɩ6& 8BSkG7+L.Iqz](seٴAA|o19< īKN+ulҔK>KN4@{oV*djb9FGhԵې>2W3pȏ\s4l<:A,AsoؒݵT׿b>GX n>D'p13]@GМh/MG^scsEP)6$۲Yz='CSzJt!g 톿I %$Q|9Mj(d܉(e0I)dWoLL N D8̲ύ0vy{&NAmټ]s|0j38H b"iA# c+qLE#x梆"V5) [OjSj{5+8S82-qڠ<'3JrgYZ7zXZִF! 4 h]ŗXi%L ;PhbIF_ €H=ֻ fzWK<_ =V%ڜrVx_Lh /ެw+EiNp0a?O6`fdmɭ RhK 5?`Վ~Zxmc ]19ߕ1Kh.pv/v.ru`{=\-ϧAfV'ץ!RX-ao^3zpdkalpɽS,0P`OCI?j#M|ha>dE:!0Q( +uQbNtYhQeaDv<6@zeυ$'LcDkF-7^sb}8qΣp^{ڻp'~ I1_i:T+d@\tsZYѸ$Ɏ1Qxӿel&m.8: g,ĪbJ .ΡW.JBs {EI9]!l өK'A=Q`x8УoP ̿7ϨI%?5/9}̐D۞%hn1l[֙0)˷gbue c`1ҡι7V^(/ zk3r$O8m6@J4; G)vb[=DVMk4r%*ec`w'b& Ӏ֡䍞 "RFAxatϕW<6=DSXաkPEʌoG<}5 }^Q0(بp&۽?Tsaw9NY}VV0=㾄#-`pHK >}6 5Bo aE]Qa]$d[gUI;O?,IիEe5=!_BxBz:M%7Yۤx:]D + 8d| 4WM[,0om GĴ AreL3铩Jl]6}ʺmm=iEsV xhP,GL C9y-ao)㪪H\\ |sZi۸â xdԞJZ`;;SUkA2M 2Fi3~o:03r#qDfO[l82e e^Ie\%Ғ"EXǻ=)<~n&eO0ڣhu\ WVE>"H~+t-OuqlWc^# zk1^Qsk (SAd0a淡_Je48rH0h^cJ:Vu u+ o~;׋YKLt0[er*8)$` ֏=Ћ\9H:@%s8 s;(y{TǎՋV\fuokM_Uw4Xwc=~=Sל)ؔ(c8>e: k?ۢPKa dl.T QßA˨Y}&  3. ls9Ce%3#XXyĉ|3bAѨQ_TT^gȍޖ"M!Zv]}Fvuk=Q?Q3%]R3i~~PbjBXJI sܨݣ&A|+#kY+;bNHD1H::!q%΀LtLBuZPaP H{_P?ݡF$ E 5k_@`* օ& 3ƛX8)㰳rP6X<SdJ!٩ ^˫|a?#mؚ_[~QGK:YVQ *=&Ǎ F#%Æd(9=+ oČV]BSi?F;o-Tqļ#,+6SvT7%F}*2 ]d&<XjGAwb L qa\\dm^Mb gȵ^@άS-D\*wbG"x9_BBYKjX4purajUJZJѬN9] "zm(9Mf'S;UwU>}?[QJQ/$n L;ZgYZ4c986d5513b9da825e68b5f2ac2fb3d488b190b1d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a677371df1912d1c54c4e744e58c6b2cfa12a68dae13a