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 H1~\dT ]% HOL-Decision_Procs:threads=6elapsed=234.261cpu=1117.308gc=131.0847zXZִF! *]ŗXiɟ{\AcKEuy*}TqWnj,3jkտxog6ԇ_kq};^YL?N1[k(e0٢k`#%ϙ1|YTxh5w$cJmN?hAT 9[_e@: }H͕єQDM(QwH==E^SA[ܟL>T:H}%%mH b9 'VgYE&JI8@Y֟63w.?tTCȰPcQhmH z܁܋ }ijrHPyy3M8Im+}%Z+o"Br>31u!In.%f*g =xjuWx]?eRDžGh2LE~j  8Ul]asB\ȉF[rL^IueuqMs3J0mibN&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 P,oTXff<;-^c8HDq#'R@]D2] lR:!qHoyldGJ|}omc5$ ،hUXr@=fT6K/b:9-p¾} \beh7CzQc1[_6 LdB*g=]l^ڸѾ8I.=Sku@F[ kY?,@:D`0T,xI&DŽ6b|%/VboZSI%bZӇr!h>rwNԙ*1;|޷ >Jg9N sM9^4aS-q!C%r:Z8(Q0LcVbu^SNՒͻuo˼YcCyl+}L-z1tW>|,S6!yvMQ{1-n]2fuoN%^c~(t}&`zF(X CŕOO5da5Y9T,6S>ί䮴3l$SY۹7]N-iԉ&AՎhuUq=NڏM O'1x!g"NO g/([VVq2=dD$F9D͛ m^a՝Va+33i,$f#zz/LWj4KOih,ìȟӜ?3CX /V K;놊0oorBo;5lyGȜi0.xZ ЗUAXGQx2O/ElU4ZRwmR%}#alA?b#b 2_TxcD(+ wH?>`MB" vzG/')?iAb숶_'mn̓t599%>l\S^qSF間T*ө5agb!ڮ~/B=аhKT/q_;, EpsV)R[BMR@@ Z?1)҃olᧅ{XBp0FʛКN[jX1"!/FzPџȋ2綧M:DFԫ WzX_zG|-W:'.c$ѺNg]w7UQE)${[/S9aB?XфI?Hx>%_>zik|y.\TcZEjjWǐW\nֲ~GvGdv,.;Qc:z&.api&%jL<͓em upnoel%;i?[tj**tIQEtv^է@(+'W*6cs_Ĕ" DR-kG.{Ѩ`?)堫1[[$lح} e Q8*º?'%eS"IxNcWP'f{URDRANVz^,{!Zοsn3<@J!})ڕGd,rikcOx_Șf/$xxi7o{_Xe-jq[r"zcRTs9)qخ[<5O`ެf.ϥ0~6mEFܽ8iᛄf!m{Md QO^x Nb~K`¢HȺ SuGbfY֯!bZ8>UQ?]xKR YWEm+7ȈVR/>DFNbr"" /XlPޑVeOkk$HL4S`09ok#R\.C_ T>im-ҥڱ^j }U*Ժdz{N\tX[խ/ ǒe/ɹF p (1s&En̷Jmwo[L~>I!?Di: 5ġ,_(k} RpX7!RkѺk5Ji/OCdDkϣŇ- C~% ܽŜV@ܿ Qwn)@hs'b}E{mˡst47BAir~j ;TJYqpC:Gg; {bJ^Ty uA*Ow JPAWf"Ë:0M}f>\.^w>u*6\Fl 56*̚5"pyC_CrIAjzS< v؍#(#'EARIvlw(&hn;zUh9&DzV%o^^ y1N43+%rɦ2Q笞*ODzXOv)#;9X^zF;zstfLhĶG8` C9rҥ@HTt)t6qt]o=OTBG7g贉|z5hCT*`I 9wNUHMQCWa.Zqre- x6f$P1=@`B&ԠGv9T5>$pz׎zyGEޡFy=?-ƟdVzs㛗_}`F/jdn@]&ɫ1H^5>"oyFs3IX=A6 㾢B= yhD,-ow&vٸrYY̛rkx0Zz/xN D50<DtºyېF(&lWpӻ5΁kdG>& eoaDs-9dIw=&>gj`nȃ#*h] aZE'"hyDPbv?'7ajyWp5D"2Q\ j18OlrMA"t!_o:xh#TMce?Y'/x/'Ħ;.{}U'xa21υa)a wג/:}\eYphΦð(GxA~^r,'efȻfjk#}ڳDCؙ3(vXg&#%MmW0MAʺٻZR4ʒ[߱VӕپvowoY~?F9/[\bIdzŻUy#铀_ ሳgp^jXKXlkn#7Jp&5T3IR2+׸^#R^=cm~`B>a潻Yzv!XήԦ߫7 &h&Wfm$'EޞLRPzHnː\$ЖeA;6HX;.*oW)3WfFgYZ7zXZִF! ^+]ŗXiɟ17L? KxlWP8SաM~>fٺdzxU"5"fOۜ ) ΝO$TND&dsk%57/H i.HEz̷6gê"E}:x 'I7-2F0` cv=#HGΓ VQ9or$jə3WX ZjODbRm"p=IynF[<([H '!kC)_K [۴w }++c7Q ?6rhrRNdVryYcVA۞2Ur=*:y=[>Q/]"bBɼx^$qV[cK"uBĚ a.i &UM|nW2E+jc[yK 9>PodxZȤNr;P*\H#p-/av 2()~2APX6JQ"(4-ۡ2"%CؑNgYZ7zXZִF! JY]ŗXi%L*p;~^^1b{Pl,rL}HUw[μtz9>ꛞRfEz(7_+Z|W|Y@鲗w}KZỵ}A;'T)R*fv^\6ApS\BYHk9x=Gi3WP0%}/m'S%M6 0ۺ8tNh^:1:#8`4?F>Ƀ/1Eo9 }sD46I:/lY[hgg~ 2o`&~͵닕mv3|&233JlQmQgɥG'I1])5t.I>=To*EtvBtyGip]X"9jֵ ul!-TԮZfl7WzjyMb ݓkgg-d='@ݿ.nbOV>ܚۓH1)8Mv h\ڦw5P߽Nr/|%RziR&{ϔĜ:OaC(.CݭD+L+gvNfL: d LGe }O/Ɵt|tPPhInl1U?=~l`qt !"\4b:cB VvmZnXfSP$(oTauu Zf.*6ŵQJ\PpgF>)v)pwZAd3K2,05ʋcب`y4r\c K@P#:WDmM&Yau)a̮[ \ˊfYBnWRA: G=σdZi0GM}fl0%[KKTg0#ܿH"Lj`ayԾcb[aNG:T&w0_hD%[t9rJνOm "WD+-gpl5}-][E۫A̰4Jh5kG7E74LJ1<кxMEjcxɜ R"]63.}|M{2Qwh燇uVQmKӊi@GgͱDjjH]c5&iLVzfV^>DéH'flA7|PG#`ba_ ̅;1 5`C;fO]3ԓ-.`q<Z$*M찐q M1.$BJa5ݵZ,C2ߠ@K/WHNd+G6cn`I:RY5W{6&]sXգ)ܲh>iż6,%roxHz-&w PSl O[lNQim5$q\3|։@ۗxҀ"K~p'>+ySˤ=Y ;7n2K '?Vַulayn\"?1=3jzYU( k/m߂90Knm#s x=5`) KޮT[\nˉE<& ѝ+@ᛎDwq9ؘ*ŝ`VFYm!Es8RRQ*]±TO-;[Q@wLm*0@/vR .!ۂԽ'}Pl|iXR Y6x`.f*ulY c)eNij:2^A6Y9 r7{Í\ؖʐbrlDLjիLk37Xnޘѝg;یzc|Q N?oMՠDupwbf8, asR`Zُiz E2bB )xS`\iъ%GwufzQ<0HP£FnsL.(hb}xK'JNMoM\~TJܪ29D8ۅwUͯq wv H RK.W8 TA"ߜ$m4r[M^3]=d4 `)m+/a6NlAR) 5rBt{K0Ng | ήqxq%2sp*cBfi1Jz70ۏTs1x\ojӟF]_J  Q.]Ӧ>EU_v>؄x Q9 +l%h a6W:b aC%`|uÈ=3`oI+jM!"nLG ؀4-ܺ,0"4ߑe$Iey+7(lD>Zo[2+}2]VfT^X8E I&gtPݯԳ 9Tqu- ?vYORuT4$Ē+jP7lrve;`qI øizp4k7k`U^b~.M'/ܧ^_L$ k"/1'UHܠSF f?[m28KhX0`H=CŠqeK${bdL п?ύ# :xɌC؉ WVP `pzj8{t<%4r)X6#)Y.6N nUe IWTz=2flCS=} qM5&Wrg+S1J<}n>_/g=*.pb[n[9i_ҟӳg,MmUmbn3c.a~Sg^VFRw[<)u\ 3z/>ޡ7zv듽i~1=ugUY6`yxS( $JQׂ߂[+NU} OAZҍ˝4m:c0@eꔧ'zq& Gk7g+c&/rGz? +؆֘X4% hHfhE.(4bx)O;ió:)֘eS)!;q&=/|mUWk*6|6vGrm8yG#Y" D0ĺK aN D;˵ mVwZSGjXH7($fضjgLT&Rvwb )-H4&P1@?Rќҍ_ej H8b샎;7"'iZjߜKքA6 9 -uUaN6[ტ 2Pwv:ޭ;>K`Xo3E龼u R,%\Jaxt,YX5 9lz/\UH6u7Q^5 W(Xdv+BK?l Ƒ;#zJ=\>Bk>@3έOD0aT>[Q;&q+p}H+"iT8RӼ5D%@o9${v.+eSd`ԉ1M| ~)")A: bo ?X! 7{ɬmOKHW݌MxcŤp|0n1cKL~7#kf=Ŝozoܑ~$nQe_Qn`+`=F;;?_5( ВftC]P i>oف<s2skx^2>&ыۑ>MAƖ}d-@UagƉ^!eEmh_;Ӥd~uN#6w֩7 &ꆒoX L0X94Xԣ'3C#Q߂vqO2X߰\ MJlI;ogEoc5HǵT%4vy6 Y ?QBS3kPodaKqIJ>WR$򛓆C V~~9U&mXn%i!H[~]>狻qT MSӊ{RC  (5|u6[[{A4cĨp0@CKLIZ/T n1"e4܋y&҅736H۾d.4b`r<6ti渪@>V"̿LQ_=5_̥jNPS >{J#7!=İ?i74V em:Hrunq1~_JG*Haal{y:VSsXg T%yBP!htļ1()W%ph7Զ_ u'aDDXrZp͊9{o$^O*{Yj*O #'l6ԗ/*Z@LP>,cZ݅ǪE-Pzagg+|/][Ȣ܎E4#'Cs#z H^j ,UoUk[RQgKWxt͒:OY{'\6jӐx> ?X{%a}S/i~rHiLh0yge'_PN{nKOfXAӚD3kxkô^_]n^U| +%f5~I6T#<1A ))Gk*fzk 3/D;/=o>krpEgL*^畹c!6,9}x0PSs#QTo·|fiv^|5`pղq;FjϠZƯyg Y򭃑&YIf;U?7.h5#؂Eʮ XPX9pL ׍K:١ʰMg|46>Z9{c~Ӥ}2}eyf RُYj쬃$>›ZbFMAHh֕#O,>) -d;n&!y>䖲֧ѡQOL!Ƶ4TpY 8I( ; @?̂;zZ1-=\Bg9"af(YimsIasY:.kq,4|9/I Ty>\لIvz&hǎ0W!yoWv]>ݳ̫5ů@c[-cG],/CӒVA!Kl n$ bǍd9Blz$ke@^{_Og}tj[*+;i҈/ˆY˺5}`scK$c5giYc9G*jaOw *Av^`?2u Njzu18F UCCJؑI>( WAMRB`o4k'E7lP-{G4gOY`3nq|A7KRl(򠠡hu$hR)u3\騮`B4ySX|uQ1:sԂ[^u̅cY؊PKω |ƊZki1B$Jfǐnu'S-fk3=SBCƺ>a~=VmDS+ҡdklP[ wfadnR %Sδ >J vE s!M}+aSl+ h;iY y%V7BLRŇkҽ4H b@~tG5x{\_lf#'NҨGq٫iT~hj|r 4;S{#rg"~ґ; +ľi UhW!ͺ_{gΚu`P+[ C U2[@Z59s^JEaf9Іfs~ @#`\ΟYjMQ[b!#4y3h詮fU&pֆJpj_ hfD##7dQN R6 vc=|KMnӳ!A/ t9e꿬[ 'MjB2߇ufPw~57-{uymW딻á/B7{ 3dj%8E-!N{v,ױ%m^8M:5՚*y3/9{oՅgώf~d7RٓKUAFtx'.s^qt0o2E#ӣ^>?K1buQ"%r%9H{[V\-#SXe)]}:Pa6NQ7G,]Pg ?]OzYS9=x#y@8Qru׃k):)׈ԝ{*pĥ w4-w\kRY^ )2Z‹n.é?SN9F_R3uRr(=nnɊv*cgD%h;%I\MM&Pvsn 0zѓt12i:.Mu03k0ZڛS#A៷&roO |wb)IM7H`͍֢INZzfv *+ 5!+>Sba咂[l$ $HpLmxk53E.fuxLmRN^ȥrnB1ySy!~aT. ~k4$u?ڥ1~瞧U h B ,$J9qbؕ@(,Xj޼T 5 'U}Tn3uCDO ԙ T y<'Gt*YthFZ1Qx9 @/o L}>S^g>/!Kx `6  ~>Sh)&:KZfjG{IR'ko5)`E]O١"`h>2DWnIf*%qINĠ >y&9 ^-G `Ŋ.t-K`#ax?Ȼ]2Qm;X~e>&d$|į !C>q%ٽ}rS% CC-z~E\Ǟ%6RQ}cm?b^[0K1G [aDog;1@4߭X.bbn47l8bߜdFmVIwD˥F*Ip^tOmDZWKQiPI[ۖБyO{+y En,p|,`w<*unY^lQh BMt>/w.]2j 7e8S0fCcT$b%Y؂D/y8>:nTIZtc$B yj&Y&QJ' ,wP3C>̭#g>Oaxt;ÖժyXqCc^69.,҇YG0hb"N< a:z:gxpl_sڙ?0fX+ß&2EPl[$QN.DF:WI,SY&i|Hl (,k.eH )ȏ.? 'KZ=ͪ,,f#n]mf=/3Cq\,`#cߧҿ$64h.gFOnj1x@\E]/B!߰еLuG> Bp :SlOh"7 a%3{o󄎉LUx/I=f0% +`vJetGRNrp=k8M'z&w+!O8F_0/]ImEzL^՞v<g;u8m/cŁt5Xj?92Âh~oƘ >mnxF0MT.dE5Ө,dd (Te`s As'=vaޙ8eQ/^'Y2mZ(mTĨܭAgzO*DȾk64L?c9( VRN _xl1DW18Oҽe[!L Ƥx%/ VpjxR@"G=hҸI].<WcUr֦_\HЬ{嗸,:*"zg %s<|;/yrlq>f'2)OAʅמ87pP׺!+stsUi_[ZR ]Uչ,ߌt5MP۲5SeŔ.pVluGQ=.܄`G83P< uu Gµ+2$!q-et+v)"R;Q;Gf%_uZge4(NoYT[XYS|H ߩDäyMPm.(*v 3ޡ_jӳ4TsL~5&@xziuzQZA~{%ص$qv08.%&JLTخ&&ɰNku@s(roء^&KvGDm3:`뼇 [S'W<|Vy+_oҹXJNU²Br(lU>|$pY\* ֠PmuUvN,f4IJcE7oS/4yQS޳.YXRk +j(&]܂RVBկ Z.o=x@dq#v3 ݃XV^`r^#DۣqG|XƜ:kO Sæ8MY3`Xl}wYr=`ƯMb(HOJ~Uim-F锉#Fث~RCT>Lk+_ s":Mz+͓-A=15W€a̦}dkEԥc9AT*{ e/:l0l;MBhuC'@֣cWR\fX_qD&)@=;k@4ځB_^l.S*7~.j|틞"p)N{X$U#-SB],>QKd<1cFL|K8.wx(*>l~HIS#LF59#  6T(oWb:ț<@-iکFcZÇDk񼼅eG¬DX"ojćt cnZX=8T VaypG:]JnN#o죎 @׉'cB2b\\Џ9WKNOi  @>7p%klTqv.j7F=h:4}P˧$R^EǤ G7 ˎj,>b*S+}_Ȓc\Ĕ0b 6^`vl[E.xEopCE’7j]+q(LoguSMpK87Io]'¥ʝzd$\&e5כ$e8Q} hTٖJv-3i S )~s{COaVً7,:7WQÃƖ4?(kD3*`XNى ~/ 2x6wG{ּǿN" 6rvC qe"||:D܆Pdvk(,\'N擇9%'kiBhUG?kW8QdYZ*%F'J=)i8 ylp/\#W+Q\B%jhAof+@ [Kj`R_fScM"4iGPS ]\?r^Iޟr!^lqDF'B7,85.\{(CRUS+9S@ ዠAS0uW/fqw=Ax@ƣ8rAɶx N7u/J hh,F~瓋5'eKԾ~mYe k>Oc)"nVrXb-Q6/%=n,e艹)}̓YP?6Ѱ;jU%s=Rydy[v`.zcIZ-B=VjC`đ̕]J^zD=qt 0PɡBHc"a n&z6R=+Iz7e Y\rPџNȣ=eWJy),uwKB~Pv\I08 %/Gs]w2,0yHm:Qk@#+ !]?!@X{!(NʎPTTCSZo[{&(x.EVQDSf%MR_!w-P/jm{) ]CzdX|-~"hL<,td*$E2\^{W68n bf0GܟD@F~∝?~1粏h~e8g~<27~[ÆXs nDPzZ9n%ʧ(=p؀-Z2U}$~~?6B[ 3vLvg1*Y+1vZ…ۍC گcXE˘~y@@Cv,/36YMRE6u AtJ]FĕjeZr8.)x{ |U@zq#Bݦb'])x1nKdIzq_9۩ܠIiehƗstϭ=C;3ALl>߅LB@i'꼟G{&f'Gm꭯kz}MOlMMD4.LW?ԺM| h{,F 5WDž5b'\ YPRR|YM=o43$@VD<eač)8lNii~?C xGq`nN*e RO/Sh\jY@$qΆ(ky+ǹ&Cr-P=ϭ-ۚ ;Fb3ei܂߫)ew.fpP,;YS9lP(%UP8^;\ap \oȵ7}fA;<"}8cC( ѿ|APYX4IBk?"3VRECZ_ƓqrgH$b*RZپ PƒݯJΩ}oeh]ˌ`8]AX5"`G,oaM7W9 @zDWx?\cϧ+*P`װOz|*~  4]knS>o! ܱ @mq%]3D `3iKuVI2[׳{Fq= qWI2V6D$jZ#*. t";ˬ~>ȪuCY!j]6lx C 1Nr!G?;?&OeEf Sen ZL\"i=4Kc=iQQ;2V ԂBxr+R;6@$~$GʞBK-8 t%e%oA~ WQYh]Uc$+zb{#?(´)&v+ÐrTt/.@E$:Hx7>DQDܽ+padQ%ñkSkrWs(ĵxuG)qQ'3/YR[X'A3~4 &yNv?1whwo؝R.#4g]'0x FLph;ajt'HDFH2{̭GmѣVˢ}0~wֺT` op.9Wܫ֟%ndG\on-̸S[~etcK*A^u.;X:h2UMB- (ݐJy9@3`tQ610{?,RI\[wcZ_S`CeNKpߡKJ?{Gȕ*R? y]J\tK=XKݒaVs*$J"FK8vHg=v~5ƞC:(w%LбVpivejͧA)~f3OM9&ǔ\7A*QVқ6v&"ڋ/H~n͆`fӄ?gDvHal$nokUGsuBU`F?'%f̟Enac+"tw0 : l2ju#.N3#oܸ!N׈ZE8Aj,o7+l ^F4/֦/ uzAAކqM,N} La8Xbq'IZ4 -ʜn+nG|p ^_1etBUzklBAoc 1Cɏ^v19Z߶%N7ye3$/啹#]'ݗ!'00dfz}4p#?: I[NGuDkmc^M)کF~V 䥢);LKp8." ֕N}RsflRȩ6Ct ktn!agh{%ekRDBH%PYREp a_/]uYv2 pv%Rvs7_"y22VTi='c[ʿ2uhP\9$٩msETn|!ty w8A*]XM/k`R5vUF5E>ZQ%kF$3oVI;`PTel5#lL׽j4X=Fђ~ _|^R+yjZ/h7apUȘM ;t,•L~67kzRI#bAҳ\P>_ܗWLЯ @z^\b&PEƎ~S1p\gz̪#Z"hH踦}d' ZR]ʿ^~+Z SCc`dTPwu͘hh>Q-W]z_TW-LJi,zUp{aL`{y-rKż.! r8])Pj+n8at.oX&o7s:+snW9AM^[Ɲob 2Z>pIÔ{}5}Tbrm_(5fPZDg3|R0ȭ9 ?mwndot J5Ë:چLj=>@6TEFw~3km̤p#%l|v-.tyS'S\b :v1bWX_ߜG JYZU@%]uA/c/=üyAl'r~l{PIGp-4V  x؀w:8DBkueeyV4}2ʖq9ek`d&DXV:a~csΖtޢJiJ; w7Rmr`Y!0i= Ӏ61"?\\?  Bm#.4,Pk$#y_##1̋mJ"ho (UV)v$"72}:5jq(P4HX5ڦD= J_)S]z)n#pӺ79~Uiϔ㇛!nhNbQAҘOiuwOC9<ݙ8=n>玲DH+|$H~YlÐ؏X*:emR C[z!^&֭ 2bg8b= 1;5Zg pd׎azðdz/U~Q!Zd gkt5EB7{17<Ȼ'ؙO $7JҨopc}c ґ(x .d70F@fQ,qeO9\A\=aq ޾#BCq|9ި V0QX>N Po$RSoE{4kј(A[s;Mzjs" 눥v]H=DZV E*~Q͔ hʤ[v,*>׾+GZuZ9k \ [՝b= RJrnmoxJ {F|4u ؕ`ЊA/) sv??GS {)(}8S?P'![y͂L51}SmG_SL澚fP%O l;L9=^҅ ;gf.W az yVT r$ ^Ȍ// #neTHjRɶD[Ç* :pg)cpN k{q 6zb&|Lj=[sߘH9 & !-#b᫕)=擛ȜllwYrR/پ),uk8ϲ"lꌣH".jB߰[uxGVTIEqc}Ca C '\OIxT;q3mTB 2w[UՏ`(0ѴSeX}m~>/r~`Id$%;_XWhCmlMɰ2)@уލXjrDxYQy @zn`1"hfࢋCCʾ!8E i\Mk'] +.B(KխMᴹbw@G)[ &ZBKSF+\F ƅ@oӒ;{iL@l׍F~\ui %ٲK7C.>.ua q\VG [j`d2]&Ew7PلT,C擋x--G 8ڙəkd6 )3^gMrB>@ cuId"]|1,ғ+w ;)m}Ś3tr߱*zhlp{YrЋ&,H6wpiА}"ڗ7}&߷u뫗zȫ;X2&6 ߌANJOZVgUl0/)gLW^['8LS_\Iۉ]KU(;pP&JVJi36/E|Āa2BwPldEỏC`uFCj4hк'%u6fruʹht$EI;U }E3{J0"\ڤlrQ0_\3 5Y-v^[E+iYeX xhko=޿'* KMka9RժCw*NC75nSh3x4 t^"fVL Og#rCF5FYל—.n2ũJa\_4F{t)/ m\i6 [gB&1X0 T=A1lds^(ǁ"*#z8y!!P5䤁*=vB}2j%n9,L΢/qxVÈ|WeM!MAo]m)@1X{~ Eu;+GQzp2,sSA8M/pȾAaB."p~Ɨl%c|O F?agǛ I%ޙpL Ξ%tcwbjh Ŵ؁#(@2ی]kSX՘ J= :^P)Cab߶62ੵUg>'# "OUP/A\@j ,#HаD(FfA(2۷XgYZ0cd8e99b16928491a31cf0c90a35d2de3eeed8712378b0ecfe5f199d8fe42ea5ccea70a2a20923a3 229a1d829501cf0a740156509d19e43499ab4bef ca14f16b93325bb5550fb25e064a375284fc566f 6a44ac8898e209cab0a2756e7fa73edd4b7341f9 4a21e5da5bfafd8fbbaeb9c1ccfe531933a52f36