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  RttT| ]% Fermat3_4:threads=4elapsed=10.807cpu=39.084gc=0.9047zXZִF! '[1]ŗXiɟH)0%oi8㬛\[t>Lc(/_(4D~tNtZxp_eZvяdA>Opj k9:?MoT4 ݆fZH KiQr X|}^vN"-VϘ"oۧ=vH uwBb6!3 )iuJgKu}罞 4o C#jI3#W[qaQ|"wۅh^ޘE&9%s\v! 9"5i8Mul e6\vK-vm0Ԓl|sn6>yϝADHp^$`uKwK o= ғ?XxOV܇^dJrރ>hM"ـDbA1Ń'@[C+b(]z)j*~o_j \p =ZDȀ6 m`Ml>[7cM(GxC+95?I.!a+)%n{h[YVAőWA25z(UhA@S:mGH2CĄ}1YC7+y*WԅN2|΀8x.{.R>W-;Ԫux$hQ11?> 3&0gν|ziB\ϽLNmsSh1'ܼPBd:#~L{*\6h7Ht D_]| )In) :役i뛛ǸcdzB͋3BϮ`g|AbesTbomPƯ)WLT|+p˰9tEIfÕ- I;a =DcR_->Za-YC| ej%&b> )sN9y$܎;ˏzܹ/lDWb zj6j}z6o"_f2a6cV4$:8zРɋW}hi] _%N%~迿Ӆ&ن[깚lߑ8*l%!EN&pBKw%;\{;Zŧ5zHv5d1|qG$ay)-KqO KiBȁ:̳Pɻ\M< x 5؟ƒ-GHY* J~ڠGЇOH| 2/}QiMkRn dxi\U4}+~5EOdUqAC{hrCf,y9T 4:`+{l&B(WTUA, +tD]@kD&9ԘWqKMV_ jEGfY 3_!7vS,Ղ<"+%v m%G 訶,+uu\ u}45SDLŽ=gIeσ9v1.=,Vs;9._L"kGK;uT\H|;Š@m!J6ݩ7/m0.bYPvS*r`d-5[aQ| n Dzqp dFaM0+{)>:~rF#jE5u s]`Y8ɹPTTqf K^!2# +Hab-hХ"KkE0B2&q'h$mQq} :Ӵ3WB/sp֞L ,WfMpݑGQJ+, O8;>4Z0 oJ:^ZMka'=9˴ [ud KWʷmp,]'E"[)`@Ͳ|{޺a+ zZﱙ4^P(8`dq#S8X9O筴B0O?zxn}E$^1^L[(C|%w;]wA<׳IyyA!])K=k q1}8k]_ d<62ZYH"4n ېϥ]1,#l : MgLQmsYyj ~d9q%{سc |H@ȝH"Q9ÅJX:$Ե"fO4)4hթ4Y+kgY?փ@i@[OQ.[3όN\@il;ݚڷ* }N튘dZHBL۔1<{4*gߢ9c/fkί:K jDJB eQ3|Ft鶕Nv,=PW[V*ݻe6nc$2,ʠ ,%IFߞ\L0 dS04Q7G~+7}ĵ UWu؂/JxĒtcQmx#ٚsSr4 Wc5]\1obi!x U`Y[Yi͓&"T'2xoάsVސѻ36VR}ćٽɫʈfMdip(+hXil\;㾌P~'@U5e7cd@%(a.He =AM>Yy;>p[;P SbPހJ!6b?2qPX$/bd͈I`oiŜy7=cŢϐ M/*x=`%urzG"efhOm33y`܆\ g efwY!עKvKmkk|c9`ЂnǶJRoWE &( gljGJEu=lcyMl|nLFaK5) 2NَteL.aD* Fe#Ƿ_/n` }7`z(rj`etusyn _X^>!Rjٷ` 0J6aaG, TgM>BY ܁"uڲJրcawՊ  p3wn] Ⱦ'r8Ƽt Ocf ^iO<r<}Y?J=CP)BNFjM`1p$X1/sg%A-ю&>jQBDJ[YҲË}74eMWN4 &1O\,N|~)VsZelbY PؽZ'z"!DC6d&g-4-%9JT03ZǦfHw*!ّ Sc|;?xa7)t{3(Q58=0!y=/:*24x6ɿlO(+ן.>/ R6#JA+ALBc`^Y"Exr/Lb~y,^C\vv;T>;Qժs[!Yv "Ó߈=c[9 mn Auu'%z!rfd=CQxNH0gRL'$SLDޛTcMD4Հ+с W$0M,V( ]k,&:sWOkaW4 -۶v`Dos_1HZ떲~jlhXbc/+v5VmvJ[j5YMaPoq4׉îcyL7PSIRDKCVxR 2MR%Q(/ă\eDKy~ !X,װc=_rT0rJNG$7$RbNqcE?Ny:(94¡txJ,\)R9^O'St{3U%in=%C nNe\a!f¥ҋƔ<>[Vj[OilQ5byx@>wh9~i]MPΥ1NQ#M< ߕ/Ew=kǜ! >X(|8;g<](N+jύ@(6?*'(CwHsQ:UYěҹ|ym9)$yst l$+yiH$37%AOڈU*F"X(cDzW,9h|/|b'h)'ԣ~3M jwK[: 9&jɧ6!8@7|X@uȡe!f蘬 շU۷/ PVG(<ہ}tAdH>?cf䜧[Ezij~6ߙǘLnf`fiaZ.v-cHt9#4(]5Ek#48y'J%8|B+W$D,)|T5iͳM ]}N[*ӓ-%@+X!͓8+S Ddz[@誴8g NsBA %Ï+|R7MB[n+\ ܑpƔ5A~Hk3ˑBv@JuT(^NRmstaVLjVtK)$3 Rh!J5'ޚ;J@Y*v5e껷;rD'JBp^N),NV-b$=1-tHç[+h͍]3IXֆjc8vvÛt!y՜F^.5v;#ǤD@x-dõԵ^ :@b5xxs:\3?#`W(9  H!bEZn$(n0 DʤxQ*,ͼҠעYݷnF 7!ԇ*صH^b ڜӀe >WSF_lmh*?Xͩ'l&:Cۗ^4 :]?F4WfoyD*D14^\;((ڗ[ǔb $:Z.9 Vs+ $JEFfN;~[(.=fݠ%(yکYyhG kڱ]HFƗqqlLNр֖Aft텓hmLA<2_KQ%bj4uH ds(GF;0@11܈joƦ0$qr(q6 ~fSgA'8zf/)[f)1zOj)jN]ᇒep~kB"4{4h6U2ͲRf-Vn71>'W Ӏ5)9~ _lyA(@;n.P[`l^F$1'" ~8T0%r/L`oKd* qAE^ !ԇ3\p|H<@kg;ƓdQzd VmjgRzBVo9OhY#F&]).67.^kDI D6'WfD;!ڳ`n'җŸg")ݚY~-I4(|B&TM⳯g}&7*.&'=nhe1^+sHvy8<*ʼe% %?Gj]hGP-PX1,Khelgaƛ VJVgkB[t.q+.$BS`$_U,_)VfPȜ8wK G؟BcH)n9(%c7!bOic;D@uCf"80qLw$hzo!sz Ŕ-JFa B[͖cet@hwpt{^B|rIutD@3.0N|)cuWOf\/CA=q@fV5L+셓!c@6 О 5\vYĴ Dd؞W̏_7_b5" 3 |;޾Yׇ2,i@FetΦNB9<٭ TEAD67KC{] KJ,us44߻qX #j9U̓԰u;DǖH1G&8OsÞ֢l')7x:B;/0DSv% Y|{a߳oĊ >6`^8ۻ lQ`5\ p<8fHnHvUӷ^5EYu-Hρ̛M~}#K/1{猃j*(vG~Y"]Cw0j2X$$wN(q<2kԉH1Л [x:Ojܔ9Ͻs'$t4FF,OW_E4ZgFaT#RYU5WR;aݢ" ͱ{,|6J=# =+2&Aq {iZUgFR618I Fwlo+ 9z7 z@5<,|Ir*LT)zAMa<ᩑ?N>c8֧d7 k}49S*9~cbގF'|F&HP{J/V5"EKpȹ<̾ժn+z\&mw8CH\S&z_Pk6 JܵF({Ȋmmx3(S^ʤڷJˆ;*r$ԒxA_(\:qi{";e40- FְPN=]E)Km@ t 6V㓟=UXdkV{ggѫ3Zh*mj:C-c6 >X.hR(eEÕMڔ11Մ4W~Z+dz>"89[e=@ g`A`~͂ff 34 ̀i~kL:oB3tjpw@ !S!4oSf-1;40#Ѧ/sG!zw؜ޣםK§f?hⵦċͫL{rGJ\6B=cw/qH ڹo!gX; 0&8:[Z1>1/I%>[g'>h?sQ3ߎ}Y5Ymά?;QxG6aٞʻBsݒvLϖ#F 1s2&΢=k[CLv0Ҩ0Pg\< zɃʗj וN:ow ZҢ]9lt_D,3N?e"8}AӴ $Q/Iq6*h`pMMJG=S' gj:Ad!fޮә3#7Wu>@TQw~)"JopU~.rktfU gej$3'p)˴3da oE!~lCc/!^p˿v`/ÆeJm#;7e#'$אuRU2H`U!<:SJ%']xW9~.!Se5$$BGH|\6nc&ccV2qH@Zn#Ry NUDb5gKڔ[a^J!ޠDSao5 -.> {;%&ԛ4( sL5/ vȴLL7f(rJ|~aAIKйT-jm`v93r= c{c kUadk!@gZ/qIuqW=:AПg8Y}$eæR-ZGu|^+HtI <=tta+Fk)'l/R% e~jɥĜEZ,BrVS擥32yi&H@/8VM(U0z*.vdjDq(WFj}2KY^#`ZH 66 Zva'G  1RyS >SLvՋhOF;ˢbq›yF( ]{z2sYYAl d?%wGl~%tb(^!)H4̈ t2ExC0s)o+iNhը O䜁070FMn>bcgE+c@:Iaj '`t FR.;\v@G:fRXk 1amڭV1k nceMΧ͢,uykH-}V!^koG?3nc=)!HPMl^3 X@QA}H8mWɯpziwdM4  =X Dz%cICf}E;lܤ&,HDN7S!ӉRBCmOQZIjC-?77Kj22kl!pawzd 9 vzLx+8g77h5 r(k::Grr1DJZ%!h?ݖ(s LuU&\O߹d%x^=9hYӻ_thd:^ v-6.1}Ζ1 bpåv鍒Q 3_n A%e $ԡ]2o艶O\# +al]њ ! B7_%$x8}ɜ%.o)KC޵,50OI<F#qbK]:55")T-5!x rQLD0YGWfj^Բgsio>>%1U5YWVے@e@s?`~j$rs3xcdc(5bv~ +c\OC,SNi~@_S9(?3SS"V] £֣]7ORFWsP @m?Q_I┆}(2#ja2[|[aT$y->^Y8j*X1Q%< G(?-E ;L/Y HW$k]=X~mT#Qvy;CN{ѽڻ| Op'ӿf)즨ƥj^ӫ {L9 M!n=|ىP8(l:NpNrLѷFj[4}//XiԲɲ^y % }gZ;z6r s6d"gi3_m-Q'u3Nc\tQ/?k[%_q=xۺٰךs;κ!bZ38 A*a] &H`/ÙZK\I;jYk,'ov,br0]pO+GǣT}NA+̎_fջc@L \M$zR]E+Ԇ˯x-G!5 rOH)_ci3z>}r.T9͖:7ɮI]r/[3W06 qOJQZ HJe'wzZ_Xŭ]V]@l}4;&?NYvg|!\N y XB@n?~b\QH[Vpé~1X5s&V> K'Nl%\ VKx4esĘW@!Q3gʋ9Rnz~vQ!u$Ix,ylat )"OG.nCцW ּ'*9DmF1cnzQ X=* ŏBNUxrGȡ,=n,,ޠk*v_ԋufEr6åFA51ʖIkFw1] +;`ƌ6E ag~'j!S A6eLod)q oYމyhވ'b]|DŽtn9E`aV0"-eHB5H p sŷ OKSʆ,Knmȉ&A2WB/EZw|DO\6FphG"Nn팳M x7!4*=;Y z/z꘭Cp(0r@Q| XPKE R8+^/*-&Wkd^V>xgDWy2a<*8oǰsχ8ҙJU~mOnhvA LN/"ka'#*Όf&,t14:1D*IF)gLuUEP;c pYsF_MnvӬ(ϻonL= ~SZpxxW6״*!znĀW_V&ǵoyxu&&į<>(!T안%f>(  9:ic7<07A~b}j͎;3F٭sD`6GLb%<) қN! el5|h臽'dJ:oׯ~"9ٝm<`'pӦ^0ߤx4,b.- ph@T2[66Ts'vH=ez z\*mjIVIOϼTۤ ?6CJHnNŽ h֨eٿxd2};";nA2W-^U;~_U`S͟`)<|bCr_"EH.HlO]ydkk١Bxpn` 1>.>!(X_fE?S{f >:r|aIV|zo!th[ /JNq9@Uo09psv E@*$p,yB2.߈bcyKu `L]C!Δ(UWPեIG\?ƅ*ڻsjueNe\k=SV09Jju͏kB>]NT?z / NōuW2#Θ'IRf= S\ZbɾP==0-/$7vƏ{((բ*{t^C{DS -HP؅ MG-gySg{gLu59PjDf07lduCO@!b(Dc {=f(E7Yҁ6p­`UنzvdUI;T]Z$eAoQ`)t5 Lu4mhLݢ} hoG- <[T6\:2;%i lChM7nLx Bu){g^?{%E,^{~)欨GWPF4OW2 "lCG;+neLS3a$|R UVɟ^mnJ[ ;!A-G{CңLѫ9m(%>hS#O I}orTX۲IlnBLlB5 Vm+PXaXqP)]NZongF\ġy'Or.LZ ti'Á@bĖP nD 3@p\)ީum5Hbi {qE= 6"߳ORtWJURX!]`#Hw<:oKjģOֺ&/ܩ{Jf_lO"g"/҇תnp)wD[m`Լd7,!Ts“3r/A iz_ Ї~(C.5:(`{.:[Pk/f̰2J 1ѹ65])/!2dGV"!*1_)tD?2}\))0Bm^D n9kB)BXo%L*it)3V/cDjߖh\y.^66< nm :huzLa7WE[oɍBI0^{mEt 7$w=K|M6IhNмʕmD>Kn'Ȭ!{xp6bes Q`mg4pG򊩉Dbbj|jiOe vS;^cr(P Ld>]2-.\QHx|m/@S(>~NQt]kO9j@B%F>O,;tP<#.5,X`R՗e/Sh;Y[ܢ-W7 "3Z,,I)Q$ D8>-j]:<峲*$J{^mFQs]4ֳ`D?ס'ҁE!.ЦՔ'g^#픬 Qm s?-ՀWm"FKIrJun ϯj$vi0tI ЩֳV!~ѾbiSv/XTMtKu2qelr&8@3տI/Y08OBXYkN O$7mSQW}ƵwPd-1X1MuI><FւϮH/bR繅fWObzדuz/j>g&DzVHTM1p0LwFL_Ɍ$*\c+~֟,ډNIM\Fۢի inEѮSy4m=XAڑ Twe'!;J#z?"TS7 )Ҩ  " ZIݝO+ x-XHVa)ZgTsXd?4K rvn+WEFv8+ xgu΋G  A(FGnB!.V ~@j@>j  #?ܞJ\ ]6{WG7s QF\m52/a$9kZ2W}(YAhcs!VNXakHT|jGjꇀ_Ed7ڋ{OW7X[?4M%*m+Fc+<:\4#p3&h z^}q7=R} ;NZxc݆L k7&Mo0* 5#W,m {;y6$$DoGBBGĘAѿ€ \6LdHppA`p]n;X*ߏ?{ :Y ̍ ;_%ߴ\̮%Tjs) FRXk|RXz؄lrj7 J; 4R! N3zf(ecW] 9+fIy+_l^C"Wvf]{N!!2bA. lv^ŝ8&h1">t+MðFf0 aHƥxL[' ]#s]]+Ev*ѹ4XȟUR'x‚1;%ǭ#Hr` NOSNF.9v+ڍ>R<$,uFqi\7 ڼݓJTVL~䃼텾x,Z;&*gaXNX.nTN>8_Y1G-WbOυS-c4wo.z}E[r_]P^O5GܫQ!^r͹AJUb}a֋Iy"zR'U*jL ސN]0~[n!;.=͡ORxe5zQiT-,JNhJ_i"Le枿2[$ ~rz@&?EE>VfWZX2=Z<`0"F|ΩZ[nKtun GzdrUF\Z<ŸJT>a3ʣ^#ziygt''х Ê>ؗv >T4+CH_D!ب1p Ԛ ̿ QwĜ;j|bu3H0T C$Q. =]ԩOj$2$yiAݻ$WucTCPJ,U )w-8$ [ß ΰpTK[wuB%uf4_jL`Ae s,;\ҽXCO,Q`80DKZޝr1 a9wD =?7O !e_ޯň~- ː RQٛIШ ?]}HMџ/V4kfꥫn'.dcN rGLxȒS. 5gɗ:>+%pDsx$l`V>SוjX-$  }$&`Lw36{|F"̮5Bˇ8 {Ź|,iDd5 g CwJ=&{hS&#hY]^FL}2DtItE@0n4#z1k;idA䓤 (`ii ɇa"{)@raŋgusψށX"&Iϑ{ }?DžΚF82 MJOm y wLԦ8b "M5~7vCM;bHwݙqx&FZze̻!>h{Wgw\I1c -4X!ѥ5|PKem@Tyx \aܵKOoRes(W~Jnoh!G؊fvbp8ԁcH/\۲+o{rJdoSBכ+3dn׏6uѰ ۪AyQ kA]qXhjї$pv)IZ ю`4$a#ryWR^:}an!d$ ̛Q7D`nNnVfNRS$T fJi$&Q\\=u*0\1O*j1߅~@طhKo7hCd Thi/JMb+!-eܬo:EljgqYfe' R"δS]ܕ9)V˽1.nRmQӊ3笷#:P٥)nO GE|;?:#ƈ/dF{ҢA = Jl:DEԥw3bzOm9t@;Gk2M!_dᏂ7,j{R7ӭ\#uf!ZOI)v|m͔^h,yd4 7Ԓi~=P*O\?iHiwlYtV.JʣJrh*W@^M9=R:>\?eBy&ȑth$IDVFԗp(hiӌYh^;۸xIl2> ɐ"D4R-9 V%iN'vժ @vд K}o<.p~ r\-)? jta4-bgUKy%kq&<)vo'TO"6ޜk5KJ?2DmhSeCWp$ͨ̚߉!wCڂҟ1/ֱ3|kF!2F ʅxǰCg9}w9,d2]U(n_ J £?qr@]ۇӞ'i1$|Sa,e#ڍG\0ō `k)Cqqhx|I;ʐ~}/L4эYqn"Zᒷ8&`4"-fğ97Au')buk4|a֍Q&4ucm #-؉qV Ѻޥ?T=5gJ`rl間OC{4_@Mpn[&ۙ5a!l#[ZCMfGJn#c}t]0|$ ͎K!C|ϥWOqUN8Oʠ:$cc.LVj%4PFN%j[f݋֑ GhHwm\^ umP5j =Z*!H=-$rʶzK`Wb9W-yP cĒQڤ'POՂVfpeGFQkȣ}allLmPNuUO} ͓ZvMãV% Q:[$mX|@;/d.5֡%{$⟮ġ"gHfo$~4yϴRoXjJ]8=`ٗ pFF3`zqwG8m!e/(r+EDZIndD{\?c(Cgݭ_tN!U;ώ3M2c>hɺ*.%H^q,B|KMňيo֟@ vױ} nـ|=2:v|7KC鹏J 8Z|iir%O\%?phqiBn!Q z6$ J̓1ۭ[ ~MS.uxM(̩Xw5݉<`U@Ww8{e`pΓUvwsS6r6ǕGНעL r?*;yn+A64(k J25gԐ^謰qޜDAM5J׻Q,@34GQ)So6뇔}湩 cj#XtiE\qEt.z Ouh=WLDw*o2ūϗN,!v~'P^b:M*%^3jM9yK n*61vNS>Tm7$QD# WvʺLmVE#`|Eށlߏ"C&{lԷ Yl`mȺ*);M 3yjG|T)y1ճsUuX)!F xMa+RaKRn>X=݅y>j6ѯT|k,&wl3-Cx@00 d]Uj7ԥ 3ak RP̩:MxγO=黴w:o+jxRf .PʃR uSf! oMpF/::' z''wL+cSo? [Yq(L+(cȏm7-} e^ =[^ϰn\͸x`Z._D̦kݬZ{O rlBeڛ hIG>c:joH*m(_9p{ L8!Z_\aӕ6Jk zUkPI< j_;>_򵍶QV?М|[ iu{Wv #Қozd;ũv CR3HL78Nǿ mVG q <Igsꝯnu@PM$l[EňY nW o8PMC Hҟ{ߣAaPЃ"[:ݲxD8kE^d6D1`]OWu<7jm3^b۳l;*^D'z}Ӂ8 ߱i Z_BӜƟ*Ϩ>Dnܖ*.W{Ng1+$^jU~R$T14ɺƎiD;zv xuF>4bdaY~(|Ԅ^C*oqFR܁GiѓNnCN |"!V7_*B=viXPץc?uLT\$Y gaBXMВv8ӲS)P r1{5_u4pȉzK$) >" \GJN'ͼ2ڃ*vxdb~+Akzƫ~ 4Qf&^#|~P+[3ELH6ΕRFOIcC&'kL|VeJՑCD4ejU+Ȑ#'R4&.k``*!J_I- |%eulrO}Rz>AD%,W+8Q9tqVYaI8ňG@iY=do~1?)rH8reeǡSkD[1 Ub%_)QI 8}"6l?ϐ8Sm(d$ GI{b˳q+K&hM|+tw)ؓ/;jDI.<SEfV+r@JmMIyFCش4O &_=t!M>?)Gx/7P@GU)_{dKڸgE#a"s'FuBaddx'!p_*)7,><=PgqHQwނu$x" n& ^1q:q67L=䣍ѷȸY[ IX 0ٺ㰐?w+x"`d?z5KG,""BXytx7ny{h7RNX6Yhz܏lӀ8Ÿ⋬c.#R)d@q1fht I[A%FDzmEa{G;44MثZܭ@b@ܨ6%M LLy01>7*H1ȂN֣X $] ,˱Kj3}(_YKЁRΔ- 'JLz"4Oبš&%(vϳFPdWgZBVq[8$l_Įx> UY3{XCβ.xHEQT^Ici`EE>'͏ ]{ŌwgnȔfo:*g8nXG`OYm΄fd=赁p7~ !}lsVez% $X_%o oy{W69jn-7S#u8y9_F~/x N Xw Ci# 4޷S6«Lg]=W~ %2$ͨW|Kչ=v|lG2װU#AGh7$xM_(eH N |u O&uhMsQ,~IFb`la_A;_I&vY]Eɐ +O4έ^ 75ˢݙG ~<ӤV[ag7慨'jUA ⭣F2$]-ۥ-ܵJ1oI"b&w(o`ԖѐX49}d} .>շנ!qQOڽ'L S<ǫױjT_|Yp(8RYxp<ּ61e6>5BkuWٷiV#^htgwӱy(7=UHxP)"& Lp"b^?~˾KIXwty6x |CA¡)_ƚcҧS*$a:,xQ` 9$/ e)R⾍LB 92ٕ"r091r( Vw<:|NB&v.Xb]ND'v);(mԨ rG C?̅M $G*EW e |1 Oc9Ć2!+Q]٤,ks[$\<̩kijYgcCR&J0y3KrmX!{s=cKlis#?^Rl&C+A\GܠNFrڹs[7p夲Q%A Ơd;N/6qsu l@&#E{6r.P}7ѻBea 7CHg2q ')\5C /=4bH}8sqU#TdtF΃Z mZ^mk4ضRp͑QT,-VI,dae@|f}.-RVJ+ARW,G=q?,|h@Ph7c̒8Wm sl%@O=Я &14pAG H10(mBk&c3hcQrl  аv~féRo]8ev5Am+ l-xkc YGUT=lk/̶b ˙F1Юaxik1R[tݴ濒\ 07񷹙QlPQ޵,W"t\#[a!jŢ ~gXBPّTXl O}+wD=ޔϡ\_Y2HG1Jk,/>(Қ̘&."3iPT8MO4B+kJ?W&g 8zԃU#E@0=?@[bXwYvAT>j ѱp_"K.H 6wӆ VPg~}sXQf*e^[>pϘDԎ?3pe ;}=ˤ`ԼYM`WBڗOq*]"?g d BjJPtkΜqiShIߤomͯNHfPBmw郹hwebPGQșXv/i:MxjGi@>,(R:6X*sw(. ^blԹ&@yb9+]v.7l C չnކO u2еJ\Gmm)m{ LZ<).Mȓh" Bm0"s,3z;~ ІhHS0_#5C'A!媣 ϵNۚv ~l wGQUfVRv"$TN4,M3ou0TPgjgI0U> VoqqUKpD.4e魈:~ U~οABN\d7"h1`jga"@4ݵiX=c𸑰_qg<䙍߽.5~ԋsp˦0Ŕ;WIo0$  DK"CT ~6 ̜3`UJ(buvt;Hr~d˹ʮhi!;Ғ4c@*[Å&܋TfԣZ4Jrz38wjw4y5YpvEVdL";VޟoED^5'(0_q|W̽q7Guiv/B>ɞ/˔kP$ @$㫽m f~ZOn4RP mXƂ6LAtŸiWA;A2BfX8u{a9֍X;-9xDޝ.ˎ,|C<( 8Vxb vJ }5Q)u9#0m6ғ] mR%q f[qsSM5&Sm^vfajOSm̑C f5( ѾhٶѴq}LWֿ8-@`ŦˆHqm,iK|,ޙ\>,(YPߛDT 1:d:>|2[Ct,yսa뒾"cy_~Z S)  ]~;R։Nk\%0vLm'CF i*p/{\{)9$ aNaTK ЀB8~.G>s Iepz^N &m!F*5o3#EsѹLmZڂm4:9y /| AE{y#nf >uӓ.wЧXJh硊s|< _7ct] OF5\?knQYʄ*Gr^ uOe,wB9 Yv1aU7T"=$61I9׀&yrʁVj 'ZP ,4ߠ^tYf3VMh ;}qӻ~!]pVuCg=& Y7?|QᅗpwC;g[cn.%=`rƮuň9h3Ad+$ęLsoǛ&{3 _/aBBqpYTRpn^5kƱY4tz 08c;ݮ2{},dimt6}]^6w=m\#؇U8Ok9p8rufp_B]ƹxzyk{+>n1zaeXwߧ_riAGJ ? wRb) pVdd=X9=$1u=,M-x/ur_O<3Ex&=~w }`ԕ).f;z pE $* gԂZc-y,q?%Q43Pt^2ΛNڌpi bk` OMek2Nց0`]$9o<̇r}bB@$Enoݥ8S6n)+ Kƭ_V{2j.>Fv C==2>‘>O[ n[`9t8D@-*MIc` :ĜްeԘNZ*#hz@{ԬNZ`}Z [=kkxue{]&_khȥ8Ԩ@! 8COJlRg Q|>d(ٚdzʼVߣ*H<0jf Au5˜dоJcΦѼQr U| 'et1' u )uU1WNQbD0Ne+55:;~^']ފOr}Kɡ !u<8Z^$w)kPͻS"#\a6b| [uwd 9TFC:R[),jahs1L"ŧ4/1x DfO2_,WkJsII)jҍA>-<#iL4Y'»af|FM=~N&h&BCnPɉP`{+AiIN~ A}쀐b.^ ^F0ڜlba0 s# #y|J}9u^ybN 4)|7CoaUwL YƓ 6id>N#wһPŞ>">"bp9zfA}m7re )8yXfm4NPT|@N5]/9 T>txw#=BEm1\PWൎ2qTؙCwKӨ uj׎/\GeԚWMFA$.C\©a^K@U!$aN5#L ]KlүJ%w}]\ t+Ys(^#`"%6NnXcoi*%F{f5A-Y"?2(PufYMŒlJg"s(i@b `$(1(Fw`p8ik[Gve_SI|K#-[=)w,A<6h^5 JD]K GcnǂD.`+HXnO% ]EǏ`Fr}X i\}5N+>7nXg=f-ůO5o\<ӌjgrIg,ɭ|Fob*VC¿D[NK6+\fI('a_G/7;h)s[P.lG:G0tP$!%I:1Pi Q3"4~ &NAīd楌bZw[jzNDFf'fmF~0Ua^y9 67"H7;OXScrxv`:j,(ݛPD#snln9e ) {٢IB@ztp!}V%@OE0P+ zzp*ZƯbjWԄX |On \{y;&D*Cu/%%BkɪgS6dAf1^k"/M֎/ZO B03ib֓M F~De$- E\q`j;RVO)_u"xm:M|޶۷R,-+iP)1'-0n:R˶NI܎lJ&c{],[ <ɮC,)aȟL iԲda8)U'O|WcRYNT۹ +u/HP%؂0~?hIVgy6r9RceD6IDs#8t>[g6j^ZgS$bO=V8Z1(i#_-PR7S44xͨo*ˉӌYt]{[L|5K@#òK"(DQ n+6Rwu%f<|Ґb%Bn] ,wSJ֭/1ɦ,`@&뚄M4҅a%~VԼ$fmȝNƐZ?h?#]cT2 f~Ut5',{15t̏\k [ wc%T_eQӑ)^'xw|lNn2#0Pꝁd+N6k% ]%q bnE=]ģm(o;W3P`(r1KR`m¶?OAoU(.J=BF0k7W^k^ؽ.A5A8+ɬbD!1E+ xZvR [оhirBd>m (zْ>v7$َ|b?v #=t~0EVdº;lVlax/k"¥C BDޝ7s5f}mo@9s3IG]qj(fO'y@UXɼZi+i:1s!p%/D׿>.Kh;ØEW,hZć9\GT !om%y=RkƤ?lj![d-R`P@-@/P*@Ĥ6/(u]F3q"V,; <[hJB GJ)vvF0dX܋CCd_KC3"sqDiʻ/*^^tv4-V1޷8y3VS0AeYO `OT brpKZF=F(`(z9izC1N\AG$$SE:s%B Z{E3O}id$Hsa19pT4}4ߕ` ׅ #Nq)Ǫ^T#6dWS PTà E-*Dl:f|8pF `ړK)6 ܓwX[[\&/cde8{2ṊpqW׫lOD!nǧ[MbjoZ7o]̇ŵ6v +0իU 9VŭdE,O=ձTb?. *tEch`F~'"% C I3^CHT  w^ǤzjJc!cV9x]ˈv\wxGF~H5}_UM*V\.B 2&N@Mk6v hwB[]` BOZABh=0Cč6B !lI*u'dh[p;f;vG|ϋ{ EM3O2c; twjת z |ЪI>^6:Q7#+t gYZ7zXZִF! G&7]ŗXi%L&օO ;ZoS`#ZRˤ`cbiD*h cAK#zIym۲ 7{\.Wov_j%|)n1ӰI~Z3:C ;fuP!'q]+g½R-@sQÝn#.%r ,m]P1FPbӘ;}3ABrB0m)zϹy8(4&pdHz*bNE$Y)?ѩԼK yt{ &Q2~p&JjMk X1HvɰGLr"5/C-r0!3LuY&oҧ쒧2}]m'jT[JG"뼌E̅D2S&}uj[_>P&CCccjk|$KshpiLx2xY.޲U 2}9fÆÂbȍ:(T7N@w%$^idNܷk,i$*K47 iKi`ǂy; ԗ]e8=)hsq }٬u@x&eg>&"qڥw{=Ec]*R?i+|v2u1\+;%wgC_#/;zD5zuLkE <[di~NI  OQYQ/ s@g?}Uk<䕏 X-~]Qp& 96 =1*Fs b99 .R;^}AY4h܂>"ObIr5rOy=ba̐HlT}])ƈ}(˝e좔\z&/ #~mVʏ ]oE%4%ۘK$/=,c˼G$xy*Lٗ~VT +=G)Uhi% `(q ݛdq/-CNWxwԶlOCpn?O47*,isшPȬ!#Bx탯=emreeXfC6s\/Cv.DzyuPYTށi;/w9* ՆBeytCѺQ0-9؅jr9V?щaE鷽cAYHRdΟ@KR /9꧸* ;y>QuRTR LC&XK#0dgrV`zT1\ITj *qgYZa013e5c2140909300b04188fbd38906b63aa7dca9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b 571411b4feb06689550dc2e63f29de34ea9b060c 298d0dd5b363f7402c16b180bec1f47809e210ee