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 q1l\ ]% HOL-Decision_Procs:threads=6elapsed=252.632cpu=1156.732gc=160.180factor=4.587zXZִF! ,Xz]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1|m$Q:ݶz*s2aX0ڔQ<HW-a#(nҞ V֝ߥ&ZAt'߾ЁY9B(N)CB^kB{KswM 6$׌4&>ӵ&:b4Eb0SN) ~k.fr$.dxRGiiPRj$EoH&^rc/Fp%0[B:o{YWe/qvd Fq', 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ wA{S:v\Qҋ]ɿ^הƼn5OFhqU{rm-mq' z[xqi0) ZF=v^gs9J6ml+s:k4<`ڌh#g $H ݵw?XnRPiwWy|q@ߧ ,;v5 Bi|0繜@GkZD[&7U_w[ڼj|ʺu]SqoG)ㅑݰHM?[-0{N <2EIKK3鞮QjYFxG{AC18hYhľh㪜3D *Hldsj@'cp^Hõ,7:]Ӑ0,hU cc`ߏ{ǟ$lVO,`#V˺Nw-w`킢YyKm74ܥ6J53CA*#KᘝB@X-B紾.߉CΧslq%*3ѽ2cMV[(#~@W6<mq>x(\(:yOyіh]O{cNp8.ot˸If- S,))yT]|bx<$2xKҤ#jZUE)Ң~fhseLVDt2P>TL#Lei ?gӢ/ 2pA*@"I͝3 ssrxBulxRKރӢ#3d#ӝ'/i.Ĝ=_Y4-h1b J,[8fo0j:H^nkױ֧=qdvNGrܔ]H QƧ1@ܨV:%ʠW dR6/=4K{FwMV<⃼;AA S}^V1F>%3VDZI.ko\NQTssݤ/bk~7&M?Zd~4}$@V?Ûx|Ң|G~3N3S"z,)k[ IŏMd-kPzvI=c9CR|BkBts+ /u4Ȧx3GDJ}[<q)\BBLZVRar&JORGU³<~B/aOja6s}Fی-{J곏L$m>rbݚE5⥴;4!\1\q C$T' !5|T~bRSf`V-R/npwgF6եNz+T6eYY(TsIF{3G=+6S$!i^E,xw$?\2ںgRoKr`N?@EL.У;+y5`Ψ,w΢&`IZx ˶(ץ즩6}iwC]*gߒ`md6I䁒IE;Y,IQchRI/DgDL^27?Vr-!+JRwF/D88SбgI: 5h،7DaH~'^zDDx@w&g V7A1Kл-_![))R>dRqOr'JffHqp 0CV_yV8r27^[R=͐Q7xfR&Aޞf4XK^'PZvg4fϻ$j#=Ym*eG FO3@tu+Tk%U>ŸK`3ñm`%d m->&v 8jM,b&&A.gGTjsJ}ԏk{v M84`tzoT%:ha: patT&mW ciɬ%7%v-/U(yB>TbH [ӟrӰ|БzI@H%`nƀS.)8Wöo@G5oKqF<aQP1tn1M^&JlV}ʫ) )tA\,3Agbճ͘]ֈrڵ'ijUy0p7ȏ/; V OD>Ǹ|x$'jr{̗HbFl/W$:w\@s-לDl2iIbt{mύC\[|ؼUkuLp>v!mxL3w_ 7/4o ʻl+hzzbQۦ@C׈K jD>]TH\~ u:2z/ٙy ]6O{+ie|4e:y vE*<8J{?μLMz@S1#Dj(:nB ~;l9z{~ +lM߿,ZYpk*>N&nS\[PY.7qRcy&C'}إ04De4MnmQ`̖M{z5db'_ ԚbTv8,LX,ȅLۨgN}aHIGW`DR_ OaTvy Jʥp1P͇1&| Du]~VX+RȘB}/y63Jχb˺RSW>y/poJ* j })g[#R,CȤ5(5g䝹Jp(w)q>HՅogauӜ2ld6:l~GH_ƌ,LmD֬SHo}u3JC͖.U4/^Xld&Y Q3߮kugVn3XXXkg gdIN>GԮ/7~l)72TjNeQ\< Q z# _oySnY]B {`#P袗<[@7~b֫ m&gW#Q&V9P}Nq(IyxA&J2dJ?hfGߊeۉyhvˇUۮ I`V| 8!< &@hy t€bpB}|`ê[>u.@x巳ʥ ߺ)r ҼPǶck`T1KB S=V.#̲H^< fLVivdnt=uYZ&jd1p#@u,So״ӛqFT%r*pģ UFwƘpQʛb=Kbk2lꛑ m꩹ NfѵD͌'a8V.{yZ& I zSB_!S(mtBYU6~~j€=6Ӻ%S~*upf؂.]8)k<;;6۪l@̕3~"x/%,4S.1ržק5PDYxй6(KgYJ Lz 5+|Hn\c0.BJ4t[5h\y$j j>!.yrXhO,c(o3̈徐oe)5e;NA阨& dٗp&#dˌ4!VeaApYpY~rư}C ʩݺtO&2B+,/߮ xI;P u? p.sOòG;BhtXnڠs;5X5"7ϷOKWJX.đNZ:.4q p,^Oa- q{cUDU[=X58ȒӍfٺdIćOut>s KKWSu}d7x\K ]U%|`9hX&{i -"Ұ}l-P.?EDSIwef7ʦ&޾=XM4{]@2vIW!Ԯt+_:/gsU&q/l4Z\!'[u>ZŘ\ S!TfX{~b~Z#32DlךNԠm'e魂l~u (qQRAwp-Bjy\XWP2*+"hغLY``9$ x"0}}#׵]Kngt顑Gh$Ë쯬7B"1r jos1Pm=:g/ H2)cgmB.Ih;?,!`=T@sW6rX$K6=vy MH1īToJgYZ7zXZִF! R]ŗXi%GSQi"Ov{hELg\M0D9>Wq2 C Rz=O}q/)ù?wx˵΋$-iiR!Lzbg~2w"4'Mrx0KwׄXeCyi>1[_af 'O)?[ӀMMp(dLz\7bR8 76:I-|H YF'-_qsɗf J)t̐+<7x˯[jnE/l>1]뒴1$iw=[yi, lVUT($Q R7谒ciQV;o40oj mu͆c_nn{ m54Kvz +mbMl_e3 w碌bժZ@QªC:R@u9՚B[.<em  T|`p([2XZs9ꏻܡմQkr(*N^K=O>GIC_F9Զ$Lиr)HaAGzjiR_T1(樅n*$_T?VgO  6-.k #dU"Wb|>/ JCthd%x!M-瀀  Џy8G&Y,v*s hZݒn_|dh{ǣH(l߆0Gxs9)C PE@Na‹֭|  rH 2ʷ.QY|DƙwX\|w.b.5(&_#:#` xR;D 7Y&ne;Z=i#YN!'؝QGSG=m[q 0{*]E1г-u^*ܞ$t״>IRԀHx$FDA`@͌:[#XxF1qk.uf59}`ցSW  L!YPqxjh}}ZDt85t@ˠGHO?N(IgwG))w\mvDiw,t&r o'XӔ槌"Ϋya4+*8%dV%(c9 XWDDi*yIn=;ԳYa u CƄer.]8|oHSl y Fr}$-bd3P@AѿL`7Klah ̦TR"-׏gt\24p+@^mp+xm*YPi H²;LEf!ÞF (0E2b;kjWf]y+qAФGI]$b vd$kL$K|~E9m]-tF2C97,CdYfZ yLub{}?``Ξ*z,: &( Y- ӡ6j'9V 1p[ _?TD#~Zz{6ae03h9%;ƦW)E% PF]a/0N` .*xe~"|k&x 3op_MrELjN5_XzOG~'Qv;◉ f w+l UC9逍XfUp`DҍgF=&Yd_1wovto+Qf4=ޏ2L#K* @p%GV7Dס֖OBÕ림N-:uA06]Xe''FAJ.K TYIQ ȋ2d_(OږueKA;6dpФ-~] PQd{cm؎oRRy;OЏ:6ZD TVs0Z9Kk̉`n1VEB'2dMbךenxL6l50vcL,C)G U˦1 Q1~ZPCs޽{CoYNńN^RQ4#uw(K6Sgi_/ܝtTF+vآncOaǦ;zuvMbAHJO+64WJBPW^6v"3T:D{Y=!f2Taތ=Oܿxfehꕺٻp"fy2U mGh=+L ԉGL"~0#Hag"%w,G'l=u%Tq6--;b{J𵍛HsT. b$?s08&Z/t/" G莸aJfc3D&3!0 b-IoQwPV`JQzgOTCҴckuZGlb)I2Be39EBi]:Xa-TО4|8&Cx " b2+<2$+-[tcq>|z~~M'd?i]oVOg;,ev Xn"B=(CU$?Bn,"p"k>HiB  (_󖁴Vae8K*&& TMYt.*c%ds6x*œ,my}Z@Vl؝g}sTڢ;oB?ލ)8 YG k!d˂(UZoz+Ь ѐM &@dMi @d%ݗ?ۊ2qOc@ffVD'#6uQ|gNȞYƚ  AiNxep#: *C6\RDQQЕ^1纛P/);P&*`'Gg$U?8r@"}`m\6Ҿ̧Yi:@&T.tNRll|es Ɂwj=XKntN ^ n[+^= u \cI'$Ns01\42 xXHbQ "Ǩ|_ywhDt=KBRC7Ρ/ER|e2U7[p:t#\>4JSj *aUf >v(fa Ŷ"yѩ|| $:2U )h%!5#&V*'F !#gFWYuU3V.r bqrӬ Diؠ0)7Si"ydm8O˰x`#ēyeѿ6zd+苎L/'$adП0R ܡvj:t%C]Uru.wsDXv#b7[9brnixFc[!Cp YϕMM݀DR{9v5?+7=fY? h2ǤISpg-yNd1;'Q|7 e0f{A|bL(mBf @aXQ]+p3\*֏ }/cRハ| ϊJ$\[sqpMq+&D VlSR$9'#bTeQ( 3.z D!ZcWm[+ecO*4뮋o)GQ*+rLOO'^&|φA0rnwcQ6>r|*7> 57$b2HqۙˏkOȁ9蔟R8%ZP4UAOp.g~ 2 d;<9(so(;nN|v8:d =1-vU$wJ! rM@f\(-͍brO% (8-ROK&ll?"_Di4yz&ߗ 6=tf- ZLw4ӱe^c Mbn0@To+ j~N^ͲyXu5R:LzNAˍW"`>{Ő7V}'ӜOiUӕcd[[r8m.X,R${-lLB:D}M3-)Wt=j멣#Utd m f GaDqӟKHPr\o=S)b޹иPU:M8rwfa_[Bx37֮A!%&ؘq E_ 5Ҽ<ߞ B%XՒ b]Wo{o`Oz\wpW#nwCUlnM˷0@'/Is;KnT^h~6Sfˍ?t!8.y"}Ԧ7FO[zZ,R @\^Oz4ʮ&(=~N<鯏!|E>+:F|]'߬by~oըŞX]%9~N4+86/ay%dZ0d)v4Ջ4@ͤGq{!S:gxr/.VȑnBL5v 8 ܫ;s%`)񯐴x\wq,-,~*}M"x^p@:Ϧ |XDVp[PdK)Hpm/ۊK,DbbbW/ /&9 i#h17ty8lyt͋Q|t~'10Êz3JV5Ww01HZ+UQ& GvR7:̜&t]Y7zbؘ܇V(ߓ-Upgy(LqʄAh*|%Pʯn,Js}5"Yw=Jӆ!13sw.A t`n{yj8?{$ˊ]6ʙ#shGIS=mdy[jp:IavS\q]*20WJw<#9XC`ܷrB[{&uQy*"_ϛb붳ajzUA-kMRGk2o*]g3K56X9K î>\06kR XA?;e9*#P&xi) xjqF]s)zʭ,DWM'9aئq?/1,ݩ:^pPp\C)dcزJveO_( q!-KY"5u>;"]Lkp4BIKЬ|4 fzPƗ l.0 yQT%M1kebZGfIΑDBr rȣ$$ŹZbdu8>ga/ Пԩc)t(=ǟ 0NKFec+u+XN@|Hvx 56pAd lhVxA"EX]e UXޮ T0wg7d1l9?K+Ř̢b^Md%.& m$}`m6[9r VAiP`}g_b‡l=߫)סS#%I9W`G'~}J|kj &%Ŧs]~Jc3?46ml,& QwNo1lY-ImM9\'h̵ti;wCP,u't=t#;Tve4h1].$[Zjt<Ɨh)VW;kV —E_&U._L5WpL/lՅ{a㠐pe >[8pm[i`NGƫt$&.;b* ¾Lb:} ~cr.ӈf>t[U%o2['HJZCZPY;$M3Y*,,:w328 秤 cмgÜ.z+`ÑT70?}~>7C \<7}əB$/.{Fq}ex?)q,xI,XYsL Y׍6 . k'ާvˈ#OP=c-]?"_\30Bxg}15R#A :J3`1|Mmyd:'<Ϸˆw68=b=A;Qz9Ȝ aRְ %rv LI,_^ZvЄr `pPɅlWQ7uF0^;5¤aRv]x}A=- pC%IW'> Ph%!m3G;j쒀M[#,V^?n%Ϊg>fl Q ->`yXD%g#P*jz8DmadJ8Ii0D`S S~$H 6hD{~&߂^&FCF6 [N;f6=->Na C]4Eoߚ_? Z!̐*oNE{of󿏨jٍNJ D97džqYX.BS;K՝)3 B~rg2*b{uQZ ܩ3EW I7Jv 2[&[Zj5զn {y ?Z$Xz.'Dط=M9a3xrRk/%5!Z,l yQtՋ^&8.dq;#S_K0n`#)F +`$[M[שϾ?q₀ۡS+7T.*fbxR3=r=nK:Z" pxK~+v4 κL]AY|&#mP0BEDﭩ;CT7áJnӹ8iJƇْZBeN`o,e [ܗƴQ Pt *?O2~p!B{:8 (UT_۸ަ@OTwUgQ0ɽK@sss;ƦЯ~4l<M"}'Ňȟ=kRvܡA:7E'e!=LLu3! >R/wv{0m!gʍc+dfI10~Zkސp,e~ (YG-iSgSj%WMg ~Iͪk{ۯiF<6LH^ќUg *C1`vskV+UV",*."; Ax&@mjU)嘻rM}ƆW|5=IͽL#;$yiMA\UqM C}nS#(jmyF ]Gt;ctUMXoҷ!)o_j(O|,(Utځ_ɍ0cRxL Q=FÕ%lDI.qPA;UB5'MZnY'1j4,G$Aw06)*['LJ=w*iC#,Iy\>L#:4/и} VRY7`fn(4{kqѽu]Exr>]ScLv5qcoPaIU BZ\jd,H|6{y}   a|Ԓ1e:00аh*Ը+~niW^"rEd~z,yʍx/~mq)di^&=3K8q5}DٛQk7w$qZvFqFvp)1+m&R)ze̖FwT #OPeA0ҀT8깎,K û<؊A%W3 ȿƨ ,@&}v9a vңpo2y^!<@p/M8 q6΁&7^P " 5@}H|EY?H4P>>b tzX#V2m[IH,P;&.[|4 НM/1tqz !ɱ8s˗Fn4+驺hP)]a믖yoM7L XF#d~fzQÕreE˘H.hO;k vuH˾x/.0Jx` s#qHn,5Q 6O6hFn2Xaž C߂C"q7exx,H_MM Thvwݥ2 x%9)o4.m?x I|?FY:` `4=A=.rcQUfq+XcZ:cwήڄӢaP 5փoϙS1 C84aY&9\uވh%:T6i?x(˜gai6a XBg?5r<×ah7X:t#NHf<-::pVE}J5ֈ EӢyBrK pr̲1Պ*!?J kAZiga1eN>, ߎ.J%BȄ8/B[l>jx6k;śNK2ZF(~Mɑ}ϝ!-zw,(zRb/D3FWD<S[ C+Y ċ 5@&#G6Ux6.?LW}Gaj<y> >28ITW~LYIu723%Η Z<= -:9򢿩&2٠?[d@ <#{(49̗ce/(~fe _NlT)s&&22ФJ%n3$E) #\'Vs[$_? m?zOmr# So&T8l_kk邰QTj6s,x"_$ɏ$Hևt*r"BCud 5 э쇪T|fQZ.p6T*;v? NB9jN_q9Wt`,2YZR;fg;Y0;Քdfҿ$Uk5qD}d2&.4̘YixU'47|j WM a 1ߋIgVQ|1liT)D%DL؈\#*ȇ 3a/0W]y\bKDQVn~cI=cS9]xKO9V] &"h7ݪxl@LG$]C|pe@Mo^L+ԣLf"60,<'%XuuY R`R|.|, `geMC f Z>Q5jG 79pŨzK_C~O%irS/c=g}ypݽy^qqUl$TUR-]֌, ZTE7@7WD8`Q G`drC]}Eɑ7;N'!ߟ۷ =ڶABl{y(: w2@e<&IybpJO uPo"8`&\%4זbRrS,#-ns]<+%UCFVG=#cX,z.lM~-?_);-I)O _2cӺ1%!GuvjXp}ދ1+f'K8,|A kZ6G\1ivK{0>6M y[ V$*|X'KG!gB];C<*i>t)e]tMDFzYI8XKF>bVZ9俶(ɏ~=}"b1aX1e2]~lEWuޟ-.zA"EXBUo]fH뉬a p'.Vm$,iCi_(og3i- E;+ȓ< (| ~,Ow,7|Թ3.[( S\rSvȪ'2O4hi+F^~ ɧ3b)U@X_mwٵ*衁NoEgy@/ zQpGRH .՞?Kdßh]^ts>w4χBT0-듆0䬎6nAq2"ݻJG185Xx[#0Xa֯6=U1yDKBjlLxq&JIfu4!?aO_U"h rW^tVgX /"daOXH>vPX 5"lwk͏8((6ku?(K]%H  e};qQn*ssWqA-,$Zj&w>}ҁF}7쎋wPa!^<i:Vpܢ4Pdn6(7 )-&@.e=|7 YP+-g4ovڏb>w_NʝyK4M3{@9=7Alz  rbw) TcO'e'wFOjgPA GckMQ M,{><9.W=xJoUw[޵0rf\qSV5 l^O/>c ]џe uBhL1!†d9ڎV0EpNpSt- Z8J"]כTY-2{Wx5K{.l;OGǹǕL"]jjYUME6 Ua9e%9t#=2fj2kٶevx6+ek먲ze1*Y[yq#@l|aAR_7eUv!J3˼à#aҢe#z^Yt헼M,tmP] d"ga7Bێq>% GY)sYHo;M !$΢L ŊV(_ֺyfd'ˏ1k!}}%'!kۤB>TaWb`')zl@Q8Jα͘ |cr.{.`fBVmݺ5T*xp.tg?&ٯ__f,KJz98E1sb@);klM@ "%.( ?QT||V/r֤#Jj{d3}mֈX+xmır{pŦ}VYzVmUA!u}TX%xehŰ{ªU‘J#iṟ Lqz0m QuR^vum^ȕ >H<9P7- }n<7&ڮˆj@m,K~Bd,l|?"^XiQ҆³n/OF^VO4070A@Ď tzLտѩbSj FI~S>GpÁ i7L5p猜pfE){B,? ;$>Ԗgʫ>aA #1@Ao\K_wJ"7påߋNgYZe3fe63d5b3f075673fe5a60fc19298762e4b75114332e5487bfb4ad6b6035d467f295f79a146463f e78c7f04815e9fc5fe2da76f8959bd79f85ddf4e 359e5242fc8c9e1900e99b8419e9046969d6c21b 2b135cf2c99f47461e60cce110719af041c67e7f 99e3e532912288de4167578959ec8deaf599420d