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 1$dt ]% HOL-Decision_Procs:threads=4elapsed=402.274cpu=1366.340gc=81.620factor=3.407zXZִF! FM ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bEQ\MnR #ƛZݦ7dkOFd6X]8($,4)yuZt|qU%ħTOD>X}&tT('E$}i R`戳 =`%q9E80mibN&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 )'G+U#Y~yq3=Pd |469ڢ^i?GQ=^vbnoH w:)Ł.3FL݃URn"]a mYBс_݊Z(+ԖIDt$uMd-T E\H<)wp+_UX{R]{K\)C@sw˛E,1 ^WJGdJ ^s" 0,@\8w#*Kce_ 6gÓjn*)ħQus,@^"ɐ r?.xPa'aWҿGna݊H$ڜ`%l\YMNk ߓTetyZDpw摓T2[O}R[E&`&enM1s.6v9ow|'/E#& iU#&lkQ+bG*7gF(zΓS*(.u^}}}%Db䫆@UC/& H 倨CwZzabl]BRK:ek]A2a31bAt?FJ{HƸ2Tb_MG9Ȩ+`hIM>p[[puQ“O+c#m$xߩ0|f|یd?9'IFxږ9AhHDux(!.{'r͊.)CIE1WtNJ*綉V/ ه؞7|oԬlH ߜ^ޮ{uR3ʙ6f=u-Z՚TjݴC9ajQ|4"c{ۘ`pؖ3N/Pd{R3}*3k3k˜pG6xc1U<,*rtvcf5cTW4Jx@1;flRfziDQ!IUHr\nu5"S ey\^bwHuQܽN :bm V_41'λ(+OT;pgaVyesd%'jlw__oNҏ$ifV8w#p"O  &2#ZR (VΪ3;0wÎ{ԡ;~N4X|xb5(efn]ړ^ " ~R.윤[ս_F0a]yu.N06Bsٻvˀ0`1loF.0':}ipS9`>L]d1gfbd3mےIn c.">']L@W^[z:k+bO4;mכ 3qVw{luZ(_\|95\߲鑧njKB]Ic-NnܻP'Cӊ/`QᶮQP" 蚊Ok^1I5@()b{cHyJL a3ZjkL2%ժ5v)Fn$} ۍRYtla0 eCڂžCif egď ;j~fm?%߉[/h'6W?jf J2Rl"dD* )ԦJxY0}2v:%dcԊ 0O hEgAPxHU6^ jM, ~{Iu܄Ѩeh$GrY" 2__Yu!Cll?ᎲGRE4v%`h$2O j/_醙:,OyP,.TGxj"(,ZRfr"$G <;*ZGHf_W 끊KdM̭G4C&/46p"(C/ EUH=ۜ[[:[-vh>U )C 2bSy/HNSg.q ϫ ۈNB˪$nafs抴{#N,4Ѿk&S{KKJᅵ(NA <þIq >0ǂeW[۱Lr<D6αنx ބ]cW/ݙJ]X=Պ?n)4'l9DY'}0" ZBT Bu|v!\vcqPSEkId~k4qZ6F@ '82 z;Bl`LeYScxFJnlVJy4N>׽ˢ}XL3V_ΐw/P!i;o>t\ESԂjxvfff0I[ZbdmqGz'U!+<ʙu')AG}(mRCYIzzw&-K#ǚ4c,$’K쾧؀yf!:LȠV ը)؃2CF#Cǘ )$x#>[e5 n|s.?1F6|r!Œe2;5'>ޮi$f Nk'Ľ0&u1u:ܣ٬T}Wțo畛gך}Pr)BzīJȆ ƃnh~41aOlo 0eñ 3,2<`- IjO tB@ aJe Vˆ]UcxY*9@%ihQvDg+^l8a$lE|1G/Y?,YYX^ 5_g;xTO۽7;S-(I dN2;!pn웖V%IdWO!U#a\_l6+hAiWA2N )R׽+((qQyS9kGT=l}xIkhQ`wh2\5-B]+χR:Qۤ'zY`<ZOm뽂c+C1q ?mjWdjy'^b}Q @ζTSQéa 9`{u ȩ!Yl\dٳ{AN-|$4;@'c}Χ破0ZHZ#{G, ~Õ?duxjh &y);o]iAg\Dkx Wm$;[ZWm?lf'-0z'OēB{~kxk& ղ}-oEN:GJu;sA@2󠥥ei[Lx-Q+j&jm|{Z@8%AMw4n#T3k֨ӔE> Xe rra6wqj&(}w'?Nލz[V;G^ݰ {Ds-$ 4ÏTu (Y]Cq0|^&'"rb!J]:ͼ۝n0UqP]Bs1?]pToWw6YMqN:ʹ{5bg͗Zḋl!E ,$[04~.zi$ ::y n\u.O॥}q|2mj:qNاdí ׾ [X#tnSV31anDc< |̹ҏX}ljWG3T{GlĖ22Ik A|{:(é|Q?eeK>S:˄嶪NJ2WP ="r,ќ b `Cz8fٺdep㩢,:d x?@C8Cdx%x@-^ x%{y7<x5\0T op%qnP(0mI(5O 'l2cf09|A01V<0cF zcPv!巧KŒN-vkO[fwZE Kc zt&5wh5SB=߁Ɂ켦Vé<L=#bᲂ۫6NtIc^>xk`HE4kñA _"ԭֶz͟FI_)'mV%ӘcIs坆*WֳF[1D²0zr>X2u/O׷CwH - rϻMi$s%!D1tLj_8B-,hdH҇gYZ7zXZִF! s6q1]ŗXi%ES3w|Z_b2 UW O;gUT[ td%˥ &/IŲD5nd )ccsNx6")K۷xyu^bvؗBy ɉDD0z0bWhOu7xs7DK`pZȊMW玮'i,IqPrΓFRc}}u!?;q9(\F,'_s(m$IDtyތJ}=`yBa0Xa~{ί2;LM8Ug0@BO8m^r5/t-bA׉/GH%ȟ,b$oSbFȌ6ӘR r̬:wAh}>9> ~pd|},̎5 81>4ت+KrDQ(ޡD(d"09UeZB(vɅNG ޓ2{\&rk[l? ᇹ !]b%v)tHVS$Ci!Gϴnap0𭿠hWQuVDɆEWCЯ!JJ?]n6X;-w`HƓڮ3m1^.Lc@a^8\LXj|L9 gGzuO6wsHy)/ſyk-l!Xeb*gZ> IC׭F@ ~/#'Nt -zS }Cz,kJ0 {kg(@ Fy޵8脠3 *wP }5QPQqz1(۸d%= ޯI-E"v!Ȃ/J mV()} %Uy?k18+R ٢) k$6' _,1&xnr,1hzO.W.,Ko.vւ:k9%&־M4#V|\:ѝ2Mb"r sIՕɯ]ye,?=?˔Gkp8{ UJ<wuD*W~N~t>|8cprڳMZ:kul bУC\.?\]R h6*;(K]f+tq`iexjҫ ҩÚ3$1@Gש8wwOCYU,f|Q^xZ0Y7Ss A\0@T4Cf ͔x(? p3$Ub| |iJ?Q).lb-i ֕\p1E1?&1LgK֖% X~ 3~.ԮF|M۬%e(/s,`6#b*zy9X xlQ{S7ir^O"EXm? }]hS{" Xsl]V0 |?Vc/qo{9?dZx:iVHjamh3V۩[][ӫ ($3o/ ByFlx6,0 HZmT((ˡA]~U:ɘFhZ#-Hx噃g;!EInE PxM6־RP3q;݋D 6OG{A4#O]$]U[˄d4W Y;àz)_]ۄk62X)"IpW1쬶@8ԵmHE,pfA8e^w)-׵Cr$ [|dIY@ױuMALl"Bj*̅pecm*\UzQ[^~: N x%4x ica@p /5Vfѷ@oη7XOɃںI:z4Pf f8N&VF jGz.s#&nNObzw^![y-qι`Y8v.0G%$NӖ\DpEtUNۼHl&cN#]dg' rcN ϸ u7 Z ʹ<?_@o+Q~?[G+fƋ n `ˆ씎%R]),׸i[S`fng5c,6CRJyi*fr;D[[r M7d m^Y\JO`qN]{ԗt]Z>>0(<yhgLqB [jBݰIoO XJ^& >7T%>#ܠ !4bּ`zG Fi++ՀW^W?7$7eL&huhwQkAǍ■-ȴ_)R,)4*"2*|ޱ6׍(M*.p XOC%2RZ SO#HvV^YkZ1O̸X0`JKvhC/ }qFŰ|q)"gÓy҃R9"͵ d6BǷ۬#GlF#8~\ۍ#%P =FїŶm\me N8.H5L9z-|)t(<90LdE"(hkR9fFQ@A6HV,elXV7y1cSqm,/3\5? Ds #:G殱^߶ҫk>b2HatJﶸ!C`[j"&icg^phqK?rJ+&}Đ -7 l `R@E]>~ON!D Κ --bqD-ky @ZRO/BƩE|˜> xW"+mtB-ڳGbuIaww3"2pW9(/.v͗6U zgQ(Q|(=pW/4DfSD5S L4Js? ɹ- =5Ezv?"NsbUl֨~uG2\1-s)J3D}3QezEyEkRX`QyDO E!bSʌn>e[0jU TG>:H(F D{6[ )nCMd*_,OzsRu^kGF8c84Vd'u"j 34PAMۑ >F}B&Ucj[q&o.(KuX^,Xhhq|^?]`lGlu|ޮUd -M1$w{-Jn,Ϸ|67x ^3pV-y 3*8nHW9UЌ9.lT ğ"M-xb:TD#zwo9Ng0(?o%)X@l%j-4W7şkܾ:kk@NȾ:ԑ1eo@/;Ю_'&_<(M5ZnPj p`'8vRS&kX"]7ne^?-M hfG3UzzbuvBys]X7K B=Q\n^LoL KwhKɫ'X=:*;tS:2{#1OIo#E3 P7]h\.9GUa-ҡ{MដR%ZJ*jM}0BJ}hpZiXT Ks`m9Q cf5YAPpl$+XKXS+1AƙRfe[;̞q^F4-GRp΍d>2 }䀛Oi>/߄ zs]& /ٳ 8zjȲGo rbT J~Z|$<'Il;C"Q qQuU.1q^9Y1EO"3M SMmOz~Yi ߙDa`g&dq!$[r2F{G0_֯dǿkMmc)/A]#jSt"C~_uN['=_r@gG١nX^j*t=ftۣ8ݭ"@raHpRw׻NS7Tb\ɝK7a (ǶTZ"D8_ dg yvNo L`D?2ݽ+3i+}4P(g!ы$rCW },6~qO%F9%44qp^e$Ο=U8q[/6$B|ða3#{?F»YUegc5F$JDNC& "&*[R©i7jTDǥo q@hjtJ(]Ǧͧ[pt^iskP;#  E-W+t9] 9cb_Hvcqg?05EGd覨Ύ) شj/:%U+.A[y2PB19 ;tK0,{s}UF̟Bs|H|xl ֿa&PuRIMscKO>I1J>^JD pE8^DAX52% ,v蓤8101Eb%ꍭi3.e7.yDaR6/s7hR/JZ߳]ssTL{j9* 茸] CYũOgӛ*- 3Lc 3Hs$Avj\Xxt1R-w m p+epjȋ sFV {#RaqOxXL.H[a]g!$)I.aUz:sp+\Eҏ^%mtF6iERvU8 LtbOgZ[Wiڐowrb]v'WEEbzGF3)0_ǭݰ#74;N@.m-YDC $D؁>EBoJŠ̥fĝ>ȏ$S#gUP:KͤrTj"F7 K# WXaZTT][?28-: mX!Ej1-7UݨYoRli3?s>߸%oIDf,cE?]Dx.{a(s\4,b{| XLȭVQ~K{jg^K8>wSoм ZHR@cU1M^,w_YϙֈV~FV?ʗV>E*{#KImhڸ$Aak [M 5JeLx6?Hm_t $@wOGu(A)] :K8XGH# /KPd= rAJ^qZ"uqL4b @7}uX!AzdcΊ.ȹi] Tj .6u 8(MKD^ ]u8}}^X0%Z -/ p-~7o}G4f&FDBv,ut96|F9@a'q؁Huj121i3k@ ľlϠq2΂}½z5{in+ptC|@S3\(QGQZ}[К22[ՃFH=Y| 9 LPrrxscT+XBaEҰQaFg@'+Th`ՓzһPpڸ؝K8F/(b7>83J_؜<y$ W,d>d|Y1bYo1X:·UskY.bODKL4 Ygg}OɴpB`Ms~-&(=AzR]a 50.k}qoͰرQw} ЊԀ)AOxsL/z/͇ۆZB\۷u\'@4*Ush?~}L mMΒ2ˮH?vb~8Zᓺ&M7ܪyKlK2%h@P6 XS}_n1 Cd5}{^'i8e>$tmeTg4IVdl@^9I0\ZN-؍UTƦ`XXmkX~'~XsmvN l %￵~ƷJ.DRjxxq1>RiiwɆB<NrH&@E?/t԰oa1DVԀprt,  CXkӺ}CB_n$-=FC42r ?WqbURd'~z7㚦~~RyMP& !bYE &v @#]х9ehWp8uC,^l½D[8"#4ŃߡL?л#> BS8̼`5L ɹu!3SO=*Vxxׁ`6Dچ~ʜf 07p.gyBDv`Gp8oS/bk)8} %%Of>Z@]G}p+7թtiq[E \l-![zZ:2KR鳛P"h&#X|0P!Whwl9&'.DJ6\`kw\4}X4yX:Iͽndq tT stQYcIe=_6d$fBSƙyWA~)v:f Z[Ҋ|+sȤeWgpR]#N`K&CQdcQ'Zan@fd2Oy"ea6 ^&Ml C~0)D9Gxbr8JJjt>3BcXWe= BZ\-38{\oQ?BoW_ه0 ;4O.'ނ˗ԭY"&2\l DGC<=9M?\H5{ߕ3m9>H.u% Lɺ֏^p"ՙNZCF w󨯃=dwoniM^P,j{vBSpp,hJD2&Ug2["pH!Ӓh Vzj"Eһfɚ縜T'?8ww 󛃹*-]D3ޡ'D0,dR#ڊ% ޶U"JZT" hb^֙Xa0u>_lt@5bgf!t< Ԝ\O`wS;FNT21k!IX +Kfq^Y,}-k-[ۋ+#5Sp G2~z#wyJGVRʾF*R5](1dgʁdmJ9$ ]gȲ=7x%qϾ:s=)Ԝfo'N5_ߨȱrW߮M`pa9}7hlս]wkp$CUm]0F-~IkhTAc^e< ՜H-o'J XlF{ ѶUtQ:o| c\/oLԪ#ԯUUAne\- Dˤʯ5r-ެCoLȬ&?lyfŊB[XmL'90܂:@_y'uaG԰#$NnPk f_X 9*-6fH,{a3$ NjppLzil_tYfݕn9w^g'>t/N-)TL&J(V7ҟ~P IpFUM*@E?\8D>c.vޤ~?\m04׮;B?%O=H96q\#dxΔ:B":7"pm8E=-la[tlUW EIJM|URRRTƔhŞ6sI%ڲ7eD$x)Y\蝺+K%}&^6ߨ3+*U+3RF{,\"ڽʼgSnZOxc SUZ$1G0c=׫L8Yhkon{.crZ玜LZc҈gO[yۨVf֥.xiSA(a|#c%ƭѕr0$!̳ڌoz[1яũ/Me*2 tS.'sH%N;OJкqΑl fi:Ʀ%G{>>KȏJ@_27M@%ZrTkeS7զj ds1~k{/3Fw g9"I{ZdԄB>`39Tt+}~#r$riE1Bpd-1Gmy(J gMk>kG /-'s#oKSC̟:J?ؕOD0M;Ϙ> _e,m҉=KVJZSeJrd<98ߑ:rv?w\u}*T3a@i`׵o3%SF~, kbՍb3X>y]ZQf"CjGڲ ғk.2a:`xfL Li))fYRZ~ QrVnUAgKjWgð``RnvR!xՖ3/NJ(ӴAr#; 5s %cn 1Iugc .YmJY!C&3G>k ٻ0S#=.:ݬ^A2Ҧ8|.0 IK@?q);cE;8|Ч{F:IN,Wq.j )WO+)hsyruQ!FUA.ԺN0rJɤah8u@Y҇KYH8=$+ܭ9eTc>;R-BfW!~n%HBtkF1jUS{+6|; X98h~![}R|#Ȏ虥4'2W(HnU67 Kڛ>.,`'Foپ"ƹ|{VԚKTQtzɳg@~+7}\!HiW p<ՋzIV{ˋjcWīj=~Kuxn| gTߖF 3O]7S4݄)f?P_tbY~Ut He64Nȴ<[7q[ez~2޴r  h *cd;WDٹ!F'ş +vג G*{"*ETu<0 ьÄc"̢cEGNMV [}CjҘ;t0 D <ԏ)7j`#Njo=,vmc`ٍ88,|{UXzr\sXzrL:b_BhC(OlE'l,B(榭o`ND1}Ʊ=[q]7േbg]1i3CP?ܫΎ~]gÄhg+*`qB,COz['3a@H q'9-&7빬獾#)ttl} $]NB_ 3K`RY?ه3p:4sQp@;!3saY\wZ H!mD';LX32WP < ]ؽgc }IOy ȲhH;z“Ĕ$!eQW/t4yPqEwlve(.)<8 tY/O^0L.^`x. ~1%IƤD/+cG<;Lf)/ 2eB<կ*RzꕔAc4ޚ١J{Q-ѫf(3V55Z\:Ԉv@!~D co*@ft-: ȶ߅ @{,XfbmkNaJ\N#u.0׳iZӖUF!W sUB4d8Lg8ۀRZԝ2{ES8g iO|r+?~kjɩۜ&^9?D|.%UDvy p`pz6b'9w`E6;@kgiJD63 Zy(A#Y9hqZ2Xl̪ؐ$9:#OIcSNkYڜ蜰psW7u(:9g6.`GYuk41 K1][{qd;%;B7@F%A.pɃAg,:9VW/a"3mbrʑwx+h8xULNvD:ڢ{] dG5L̝O8:v6Ւgl=?D_n VwNqW&}X_(ɲߍW}G˩gt)>W ^c3I6)q$(!pXB=(;_}QLK6{potɼgzkR"9sRIiEY6k^QƊoraR: 2oMFc\t(1a ) 2Ïo$3\4 yMoio$}jqk0yQ{&9nP!52W6Lj^N\kHZmsu!ɱ{^QQSM_׼K*.Q>HD5'뵵d> !vv`dCkgU=m4A꽙 _P%FmkX 0 w<4Ö{$f/,-ֶ<~ 0)eUAr3 Wݾr9`J(ґ.>gu+XrHS>r<o&b;F|UN_ "!v`N(<h7ƩɈ5Ast`{JܣvF/=UG0(X[3,ߔ߇8ޣn{Zp#;6K~ʢAy8g[bY]O Bu8t-v3䉚(  Mha``'WLMM޴LGdV}nkP" ùG-Ncqs3Y 5 lVONd[ G">}ˠX߆An8OE&Ei$DP-lV쀵몣 B2.^$ېlw\$4$C ,ȩ4ڊ,  5l4MqDB~?X3ܺԏفjnS|6.YWp(RB >Kt*\81xǗ)R>VMRI3=.< Q(-w yxin̋<dY7bFNz_NhW 8>R3I0PL=VDF''*Jwe?ۉ}8/ mL*~nᰒd2)%hdphC+nLrZiָ819#UiPciBBW[;\_INN0MÂ.מ9hϰm_:ZbWvm$И,Gc3w~^!Vڵ\auޚq&jnE##"H6&ePB {fXHa$92s%EQ_AH "Pd&NR?!g "(!̾žGusp=S'Ʌo9jr355<:_`fRnQ^`b/sSx93m r^]ʪt. #7%KԽ )J9_ќkF^EZ:2Sk i|L&~./⭰߭ Dxv:$X Tw$X;zR`wXpL!~qXӥ,Py uC>ff tg, fR7a1 bwϧz+L 6ujG_ڰRS]Uas6!IJ?"%Ǵ2QHxɇ4q}#\ԪiG&t!G{R')Z<j1 }\`Y^ DS}4X8vX F똮f[)B)ɼvoc0ϯ *W`a|Y =%1먂ֈ.{#p@ϻvs0leH$501rf U8(1I [yM}+3A]8o{KCСqfеî.:R7,5xJ[O y2kFĻe5"_[*n}Eh(w,Y}/OJmGcƒm3pȐB Ć} egS뤝ExEp  ir^Ov՟9ÊTz8N)0y@\quavr +譾C9 J̿P}Pܼ,=Vbz 2綫j =#Cc>˒dRUjVolJ/^.Xk0mZs 9#';WVaWV@C>y6$iK{\z ҏcPg2\ysmԈTE,RTr 7t xôkby8B)na=%"4%cӀrϦ/VvckSrhۯ˗nÏ܈|O(EzvViiN>jA@`5 r)i[[X?1>%/:ʒ|xreA }/oArU(4$6"mS˭C4OeVR0yƈSY40C(iY5# AnCK 슀2 ;O'KS8s:,5^f$Ed9p5ý6p+6)} L iXG=oߤc#Tqu/DZ; =]v歚 ƑbdAj)T_@`^UgA\[-3v34a2̂ )Xi0kaJ? gi`-"L#fϤSW^Êw֨7$,cl )MpTLV nc()|A Rngy.Tg"AG/,Q,ȕbU A Q3<"BԤt2Ї@Oajj8Iڛ@j lY+%wmnj0H+q'y$Fȕ0OQg5L S4tY8?[=FSDgNܴL0xW6FsG=` 0{5~ZJH*|ŦoFM `` jK zs/ Sb|\-k%E4G'xsߩ_ <(꓃oPt٬JPSUTIr 6|,kr%Q@'i lc8s[^6?? =IɰOif uMxO.ۙN hձ>f#!1tR{*'*zTfQ吢vd贞*ƀƂe#$&xZCL;d5Ӊlߚ [)TYCڂ(S*8ysd}dȽ w11lR%.!1y/5cc7(j!/|א^ @Zm&1/;" pLgNe5GVjׂd0g8rq@q4Çz՝7- "]`td _2:Bpժ_ Ov={f>Ęusl˃Ys5j]외ݩ,' 3GBK|#^92k[;/QcF aG,&O.HV-ƹΝL*dk.<4cՄ>gxF`8 ; iߟ܌짻?UBvwXyOFv/ D4B!0!!+ȱ!lm"nO (/J򒦜zODKK~v(yQUJrbnȎe:$;f 2m8\K[0&Q)wAySuZ>"w,v"\x|@P'~O0®V؞Nnh+% LpX'2v<$ݺsL~E4og"Om59mU>{:_$ Kc߉1eNJ}^X; @c;_`̋F@V&5n™]Ws,Q҆Kd3hsD-m^?:掾%r!bp԰gMy'B+$ ^9$.%?.|%NeZΉC;F,CjhgAQ"` 3SQaS6tG<(^'(u%I ٩_XU֝yQGE_N:qz.BM?\djty m<g?g"}2#  gu}r˃U Ö'=HêAL6KszE[_=!d:7Hv Kx?ڒ-D93}I[3HЕRV{ZIoj<|V"fEGEfZ N]]gޅ@ 5Ck$JhKCQdZ=HCz@+/wŠ]>tRS٥:F?W{8jASOeB 4$E!G'X D7,p6ONmCEy?0mki(VM ql' EK.t% ;Bgzn2uQUڐ9nۘdC-GQEK6ܷ0QgvoQIC`θTVvRY2Ž#i"1XuS,*+9u&&Ӹ%^lt4Tvg!dMRU?fpj\_S8Wy=V|C:? DSAUB!qY6+w gkc"`Je䊺+!>cD|J>|wK$}f۸fMSRj/Z5)W j\ԼkX6bnNëӗ|cy=-G:-лQ[x~^Bt0^${ci)yiF˰P4Ŵ7w,Mx"K>MQc{qG{; %Kh{Ŕ ik{<+ɿa64ߙr]V<~L]3Yujh8'~/u)7һoܬ2CM9!.-1p`&k6JƋu4Bg309 CjTk&|C^ c1D!☎8gdMzյtlWN:N2%ׁWf}~}t3,|L̉wķ % ֿZ9E\X Â)79Y| q$xؼvۭ59(y#+6s#=c{mh>+HwQK~RoW%er`=Yueݫ20ų]o.`>t6v#x]8QRSzJ4 JQaU똲8u72șx+,Ej<7'8~21ݍ|oF+i#Ϫ|+9y-j/D׋)aL!g$^\:tFUݡD{$'M^J +pnQ|FF*J@wf0lDLv 93 aHAo]gՖէ`l6N#քI8j-?V^Z^ư&c0Clze: )=)!rCa@3r"61*R=>W'yŒڙnP6)':F(sg#0EA[~s_>jRkTNWG,굓7д)plc8ShA12R?A˧D> 1t^[(wJ!gӃs;ƓfTOYBX.6iq3cP}FهrY2aO،NX!^R1exxC85tf[2+l',H \8&4 t0,0Wo*iQD=rcHrTF KѶ-MLߥV+i rRj+d*?M u:\UؚU\(i7& 9!2?"faƯa*p5gR䱬/aD(+|xZ|߬6p#h-|Ļ׺V3i1Lq EAEzĪO- {SŨLS)-t&.Z' &{3\u,&yLB$ EFYIe2%fD3XUǎu8Б0'. 1SeCty!viVPbxC K@f TP i>xb4P!W5@V>$[8Rs' 7#^;<(M&JC KKM 1;C짯/yX!%=8.̘oEM%a.U)o&w2X_X<-f'ԣ\4va |jrez+!o̕߶+Way~$= oRl!8_\ дCCzs> M~5Ss/ ͠`xc6;).;NIСI5.e_zÏrc~?SmA &Ttݸ`nʪLu 'ř~&֪yrd Y"CIF3.ki 4ɺ(f(N.7O5"6ۢKޑUтQN@_p:QeE@[eEuFVb~ i@9$pC~PV키3yIN q<ĭ8.OMT KSZ,A{T^ze$_)V/.[v+ΝhҴҐ7Hۣкއfs޼13P%e]Z!2ߪ9XN\#pjf<φv@Ħ]; WΟ=0ZYf{ypW5U{݉.:"hF]X:-> IݾnuMZBhdʯ= %kp=FExc?V># 0(B=ݬVVr]q*RcV[`oI!7gA?>y4}FfvY%TITIz9]Ӿ=E-T{6kݾF2:jS}r O\" ttلviT]<$;Fwބcqhb*teZܛxar OZQܚEH]T@ 4V_\921߽D2 L"19w[*e$nj_Gɾ.7tQe)*_sـ;v\ZeH\P!A{xz]qv. |iH(ēWK'Ku=Ѹ<|]~j@3 kx/.*r5-jk)qOp֠x.']Nu:QmNz8P^_ӬH"4 2ѰK`&G'Ҟ~kNG>{ЈpHxmcn,:xK'rJZB&K;4 ';~ /|>mc!̆gYZ7316f0b56c6431c8624624bcbcf2a10e6cbe62be76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 ac9adae6b4816d95ffdc9337109dbec3aa8b2fac e66e4e93b356ed170679d69d2b51f8f86a9a83b7