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  e1|\\ ]% HOL-Decision_Procs:threads=6elapsed=222.631cpu=1069.768gc=130.808factor=4.817zXZִF! v]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓?d)UweTs0Woe,:xBukp6[iḭtcմ1w:YM|9ĪDJy Ш V1!A=Es/4W *p +UmF.rvh.慷KDT!干pz&o6ڹQ7Ih!WTfخ|u>DtL;(t{a/SYcL~].ÓXw7dP]X ?P+ʷRcq q3謟_% 2v!lʃ.~LcL [Us@a*gAC(hrJcϭ/29vɱF'4~JK=BI 6J6:\dV96lJꟂ.@j 9Sԏ]]'&/V@I)s &h[MǔTXsR}:4\J0>aM'\"42vζU 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 ZBSa8!X.t3_^RqrZ#wqZ,lYl!;[CMBx_B_J:1Tmvޥ-oYHp ]s3^t+)H).چns0]lu蛵|[lt#ctH3yi%?H9t Hi0'Zc̠ *K)Hӆ]cn >VUO8) Fc4, eM(l-\j]ӝޑ;!6 B]Ϩ`-yĴ|U|`{yI =\2_6 0#Lvr_ѷTAKAP_=Ű "l̎|]% 쐄ݳs21$[GhFͰEt288JBC47Qs¨)]L;ةp(Y`5d[d zȏ IoOQ`Y#BÉj +S) -%Rdhn7@BY'Ԗ M[ȝ Fє9pq;7_* *r3T*-ET,{ :M=ݓ H)QkG"bLQ*,G*}퇜0l'^\|h0C%Cv 0P,#/k}Y+2R $ihpg'gC^m{EaYVaꂆtƠb@a4GS}g!r릋w)CeH+sJ,-g o }ERyOv| " ~>fhD"U<U<4`gͭ=W`iODb ƹ+r|CۉWMOԷb1F LͼKWƫ8:b}56lON쿏t,_Ί,C#6#"oFo&=U"yPAMV7ɵ|2oKӉN՘Y=@ͬ:K[QX>9Cf> 3ɕݿc0AjOYWXB.9ΙonXU1G}_E[Dn tY[X~6b3,W-1 /B0NoQF*T;{pg`{Ono1],KfwD'Vkib֝m9=2JGSNBbHL)snRBod2v-_{P^@&q |RriAkVrze@2g{q>mKeL6`5 Pk@LS*&ӯM(4`҄A8|ǒ__&8~6>-v <+QN2XT Z 3qq[B4;kHኈheĕNvfiNDژQ $4O؂WD¡/ ^j`q? m1P7Q)- в"nϣWOrXP4P'x4 fOʽj:yMG2U->l̴. A"Ê`[-CRuDɠ1j`0 "Cͺ M}pw$ z7XVqƕdD1W1,Ncr̵Wpѯ^8Ot\{6zL ó,7/ҹ!>Ta .d> $=.˘̫,c`3_89U2ҏYҹ+u113!@[g >aF0"w{Ԧ@yU}ӽ?L X*&3X;4!͐A!G<(5D~~xTZ6(."3H `B85t͐NmaRsVh؜aZ,q@vǝ )z:Si@dg=Pkq5W^ͦ Vv JɌܹ eL%sE#u ոNpu^+:;+Ӷ2|ԅ< x>I8 u·PtKkHyx/LJ/8ưԭzh:]u²Y0AaF;#)]t,0rhRЃql!X8ހcnnP--E0\2!{kp h$D #F!X x?t(QON="P%Li v4k3 .p͋1@ZX.TQіTI\tDB0Hk}2:ʞMY0TYQ{xl$ILDh'tvH%n<d]\ "sC*4㐶N: ˑ݉=qQczzGj;t ޒ0.ds ivvf""Ⱦ2Sj|7^(AK|^R&X;TوS%C86,3c%Շ .Ws&LXS,,GɬxA&? 帖"19@ )\]Rt\{ȏY"+flǢWsB hNm|!l1bba hDc Qw :#.hLc5P_&+`9]F;)Y''Iy:oȣ_5m wʄά4ɡ8(U=$u{Ʌr:pQhIXϐSOd7:-I5XaamnlrL^o9%nq.A0ߖ&0/P,gsB0y<[VmTHbswRtCnf\r[(Ej|9IEm*ownxT/[@/Nq==S$tțD}WQ_,uyӴD9۾5v䂷\Z}b81N4$1ԟdCĨ[ dX0-EKS doh[JZRCaEM`{m8^ ѿyyʬ%1pww`4=8,G LtTIA*q]be"CǃW%W*'Cuk]@.Lhg/c/1” %إ8 p9nW 0';p$,`_3 jYj2|4$~ 9>CbP=QCzjڶVgT኷&xi/Q[5Ks@J #FY|҅_U-Wssծ ɪTW'ԯm;quU&9o?OT(^/h< 9u'_CPKJ91YoT`1HzTİy*%V^ɜ>mg*D ;<-X6gP]GpnelB-$VcLH)3*mXSqJqX;]6m s#9!u05;=70pQ[-3=ɴ!j~1a aC}{2 j..BD$mK1h}Td i|.גD\`/ë-gYZ7zXZִF! [(]ŗXiɟ17L? KxlWP8SաM~>fٺd: e5|! ܆?.Chۡά^!4+-bwÚ,o|da,{L $~aj_B#~-IcG_RŝھVSzR 5Z >Fgs?/ʸ ESFo#7 <Ğ>С)n! ݬmM۠'I;~}\I–ib%>D [`DHBR/r\Ǯ  >T _2:K96őo8 m۲sÓZ}jIz;y&Lֆ mz^zHJw6U]/9rm-dk@6":Ah[=nIq~Z XLaiL n s1<0vBK7C+UPZRݍ`iB/xxT)iyڱgYZ7zXZִF! f[G&]ŗXi%J hZfU NW [^ld4o:ĥ{KJȐ,埳(6f%16]}Rf%X/xBΩ#?r1!?rzR'%q>|Fl-Whz',cNd:j@U9ئx h3|#o|>`lvorѪH1 }:Kf2}Q{m҆)g٣'"[]3۴h{s7JÞV¼=Hv.2*=rFF(]U眊uN/%}xjGyqf,0G[ab;\.r+l;=S1㖑}l h0Hx$iTx\CRdE _){n{A,d;Mǐ( .tÉzOXf"l. 6gd|D(C<4m.ׁKJEIRT^ȅxm WL42|"foQYPd3.z/ , '՚ΰγ_&]W#H:OVJ"'jO{g[׭O4|jX}.n0|UM>!~]2fzq `n: މf.:]3Bjd8x ȇT D7-emP53˟P:cj[eHo`I-"!O6+HI]EU綎ڕ@ V ZVD%_6m<8 Yq62N~ozӞ*ߋ%qDr$__? i<>hķ% ~oo\F5L )I{[ Fxk!PFSz1KQaBFTlzj!8kh\+`@qrde2E Y}ޑ4>8ZJpz8|}I1W6M WDVü`7*|B-Z.yU2kbl7 fgྜྷ  TO5 t,ň[uTS^W)FX%!r$%˃{(d؁Wx|ZDS7#,kx;>ELP=wVgJ Ć!h"Y#bVj3>>ڙOS.I) y*aQypD̸mK"(yD[aXgzxW*CD_7ëBEDBGK#I}&oYj_"ŏ@6yp939;+\C!f%<ĨӠei1RkJFFzGyZ}͖OO5xZx ]w4 u0B"]X`kA Z{eϭŹ1i _ScD3)jE47)KJ:, WZ֌Z&6Ӳ*^!t\smZ@:`a@)I ]^xs dg4omϠ\' /fy>RM.*۾G%T-"S!HP}G& +mFWaSMx7~>C7yT?  gG| jEnK?4cMauOCir0WѴ 9$Q*$Wtz1l TfKH> _v^82pD9TW <2*~8  =X{f/8;o~lc3~Э;)Ǣw_|/"1S*jeGsJNI?ࣻ DuU>DH$_.|߈˞'yF2q)i"\eLCL8ƺ`@ajqb"yלm?|G51dyGf4qx.>FETjT4g%gBMߟ<sZXa`m܅2UO+DKڪD!+t9ړ" RӀʵg!T24s81%G95:/ޢi}eWr,qj4Jښ˗l_S}BY5N{׿-dy{F*,Q~E>2)`U!ŧC}̮C`2w.U{̀tjFS½Гh@dR*kJv{ű?TLYN$|vOH͉$,W0|c=zS6j~EujM[1Q!#x_A3Z?*:leZRW:bRFYwxט}dGIInFi=/&%9{ԹyAAW7}]4lGTSDr|4 Ltۍ$x"TЯYˉm,#e .u!HOڈ _;i)|Җ prgš$$"V| Ѣ/kG·Sʰ42 wUT2./A#™CXwk?z0iOɐ9O\|w6œnP=G0@XK;//!^=<"22;!?=zL D«#Dl(P2I4@=H.pAT7n"ra',K"ɅB/rÁ~sά˄ Mw̽^m~,}@^Zli^y?oyr@UYeoxoΛK.4!5 +;qYn/ykq'7,1X4D`Huop9/LR_1c$(ۏRUYywVZAzoU2}`JP0'&4'`}FyN$dJG6Aqq& M XKA6sEZLڻ ?"DqT(Hvl(n} WUDY^S~ŜzMz8x_}ƹ+ݮTڿ Ea2جӌu%Kx@dK^Vr\p fCEi 7DX&p e69FȰvRƺ$Jɰ*6wt0^ . RpF@h&S㿴HQrmϛHR/Ia*Guct/dEt|iyXAV\]m~BH;lr9w$ D56r9}.wRA)$ÇDס8Ş jEOER@J;N8auL2be"Q^H/կQj e'gJ} y]N5gh5\#) ./C_%H3fV&KU`la}DnPuo ͯIկ>jJ/bEhW&[ؙ17EzcW⸘/.+d%͑Դ^4 XXƂ@s#mPcKu <`UݎBvA2l4aUi?%|Jԗz~. 1тr yǧ]= '~Y k[<]o?2rA\ \swqۿۃ(Ok"4ҫ凤&q∩eHH.đDTgN۹NgSվYu[WΣ }R4 QKX@99Iaj^:Ha%rs9rpops4{,R}1@DƐg)=K̓^G7زAF!C6w]\-fEP{b/KKNN=Y`(1Rә$ jT,]wAE$qR"}1.)S{n+FʶU5<冸7JJVMM ,qNlV#( fcHON%@O.ڠ$$Kڹ\BL$\Z#‹-bXߓ?\=~S+L0'W. 43%?o@#RD 3U3ǟՠaܖ| To+hY^dcìO$.UE ܲ5±éɨvE_O=tA~Bk^ PRC>J@lZ<޶v$e CC 4f7|D$02l+qxW锅U`Бl !H1Zg5 F\ tthDgyăXKiY ԯ 0{(~/h8y"FaL[4¥\b, fg/R& Jhh1E2DPPpאe+ 8'W}\uj:Q: \U48!T) tfS}P3 ,՟qzˎAcpB^8?3,+gRx }k͋5'f~,)BMD WF^,6F-˝5N[uo)wg>a-)+!׍Y{vx USK@edG yڇt`t2ˊTtoZ:1B([>~T>T+!b+}rD{wO"%VG`czzߟZgWݟi'j\'\uӄ7 ΍Jb3Un`߰>7YU[o<lnjWa2q7+9͕w<=vs-4 }lL>HW۠:ku$qph~Q]eW_![R<4n&F4dC|珈0#@j_T)#sEr'b!+3a6ݍ;M<",:rG3vjx|K &G]egy@GӓѮ92GM4o ǖ/["z"H<1\&E $΀I_!⼊B P\g{(p#{Ͽce@wOXKR!'ԎvGUH4<`~A Ĥ}Q(`w~QFsXe5|Z5A;*T7CX ܸbۣPg*X(j-N~RKKHRH5X ON\sWa$tvRPKo)fE&sG-QOG_[efb`(j忑J8e~S1&^Zm[vݻq![uCkzjJg"fn~ww{hnw)y[8#Nx(Чǜשb!N%mu I%[H ;3rɰ̮iS-x]V^0y:j eO”8pEPj5cU{t2%c˷)MP=ucG'ԡFQy*PGĦ,*Ń@7f@[=IP@u)nNǜ?#G۔^?˕?88t_N& cM䐒oN% 1oìT?g)}8p`$4V"+%ӓ5nAkgoʶAoGUk}I! b?&']ZhO20Ww=2"&[s,WHQ,^t@'xXWѹbvB\|oΧu8BcVz ԻE)F`EPƩެd>BuV1 a;|cTNwV@ė^4 ؚbQf'_3:u_=xL:6?T@=op6@QI`X #ˡL D ޔ src.ۑgF = xy~CH;Xf z{xCw2Hg.!' V?pejRDcÁHƾZgjJ @7mr8s/H̳$ \l7U@' M%YΘ7mEjWM߹ )3$!F\(;ġ;fP7k+{?Y|3)"JUcCZ9q 5tۺw,p|2%Y bď7'[t^\6|A= / XnYYMe6,J` }P#'yTp ȳzMXB*U/#mO(\;]H!$ޠ [3ƓQ sπXΏS4#>9= 0 xvc;t^@[~"D0C$Alh?}E9At𝖠u*ZAf5c$ m#qo"p`oA#ul z^q"<?LסmܛӼ@P^P+ܢQHY4ISN>fmPҶ0_p0I",Hw}00JwG| |)ѧaB02RWLhJG f HkS@TZ+fCmѠ=̔"ej0rjæ \_cpAX'xO4^޷]Zw0) +SWwx B)V,AC?tb1_DE_5~ہGA#$ F ;6[5uvHll0Yե9˵!vO) mN&Ys<0VìS,#"|DI~XG _438S{ҧ'in8Ft ͦQ %#G;a2Tb3$l_)| `?@ʈ#Z D)^>Bv]qYK{hM?}oj(0yO"xM9ߣP.+\vF)Y81Xsz& ̛ FKs@)XZ5zbGacq5Nt"1<CLf;/̋_uŚT <(Nm\m}K<qtvV ЈS̄5mG4٢s*Ē rBJV}]oW>fې^6l J} l6x{ sP,nn/& hՈ]/`S1ؠzc<dz31Q RcXē"2U 4g@`i tc-6ڝ8Kl FIS v h*˱t0t鹢^SbI7- 0W[\tad<@^K\YSdˀ ʔ,d R{ Rf(3Q& 68eޜ| yjx|Ιm;0 O$Us zr7;/MblY B j`Bk.T"p|gԯZ$e֪+@99+0̗aHSWnlPM :Z2/ogTnu褕:>ʻJ3@[1G3 KC=X~WyPVGH .ow9 7ja$ :^'BՏs=8CU댫DK WeTҬ;bbJK.| !X.P+BS!67 '72@-Z2X=`Y&U.[+-?N)?J&vHƅξK1\fvMj-xtCuF.!J:n[Ɛ+Ol %x7rk T68čRdҔa2Oأ@+[:LuC&f6gbֱwW8 Q]gUpT~ tyS"`9/xԳN]) \҆ 1AQ^{66gW:M*w|^!pհ@>5jMk|=LxTz 0ӇfU\IӚ`̇ |K0Ϣfmvv}i0?hxN)l,| y'j^ [dޡnYG f/q_'dQNp?JTjf WX9r*7*&; D0[j#\#q; Rv)(pCd%?{D1gQ4GZ ߗ1ZB#\+~^ sC9y^NA8nV~8"z'^!S~!@F#vsCC,83u~d&{WOXە2ΨJ?N^<*P]-ʍxyVeAPb$((,) 0א9 pıGrbz vs2`AA'H)Z)q (җ5h`ѳbG<O 05 ζd玍66V;c3faѻ3l8}|bDKAnf E|F:pdV v^!s(C7EgpJ-Q6vObgks/\E?~:pCM,%u6r67YWD]p0Ҏ0'z H< ormףּMFӘȡ5HA/M?BSXKjmsMWֻf|"]qb(_郐s(1'j(8ǾPSUd\*(4Ahuՙk"2O#ɒ݊:ThEVT2Re/GVh|?[ =R`33_V/}Vh~%'êYv]]чr y t]Igtſߵ$K|pǙť ٱȠ"9-=~Y6]YY (|c`ΧN7FЖ-B'L%XR# 9!^zbvu4U=" m)+<`պs&FwФ R|/gS9[ےy=@4rf;1;7cUBh)n6bLq3""`LmMlئosMzܘGOHnd q8 Ҕ @CdZpWK0u Al᪽iŴfeX`vu;g6wpp*soay˿ GASwICV#ű!zɝ qڸSO&?¡}X*+CZ='WHm_<&E]Vĺ(vĞ^Y~vKҕXs<#yopc,~C;y fݬG߬m6Xr,%"}x@ց5\<_LLMֲ@S5vUV&ocAxKHE;dƚ㣘ن*~:i h~SP$ 1ld0p5I̯7s ep`yMZF50H_#䗙?ߝ4~ @ZOlZ-G`KF]t@=yq(K/h%femjXi |n :vF2de%rLm:S\:7`=p^c4ĩ VX&^hI2F3=UG?{Jq;})X( M8q'%l @ĈA9gRAVs?%B iԠn =Iz j z%;}Xs}K7>w5:I#=5](UVvFt{ݿNN1f F?Uef#+8kڎ{(IvWIk(PǦEIT~Y~$z|ij?R3BjuvBo$kwJw6wag۽[GY-ͭXj[p5*h-q똋; |KSݍm"-2w8ȟ }!p(*TYQ*`3nAa 9PX2|oꌏ~? xV}i-(4Wix:捲$7Ly~4ڟxmcKG7ܖUYR-^l a՜YcVTb&9_qIAo4VFCLTu qR)sB6* ^j%B}0kO!F 0`+Z'a7oqo b$"V^ءtXw*ixdfr+]/{?nv*\~5Oߌv6g6#*&0I 0sѱ]`*ٳoT&+$6.PؽV'63WoCUႊ:7=%kDs q^6Yxx\.8[B=(ul5p#L: ڜ}u K2w˂),VAup@kҋ.]ЕU 7O肭9es|xs?ܾ :'sb8m?t6tb7/"\ ?@z2_D\<+q [ 02r-9Y9M@rcva"Iyq04r݆{rAt„Q# Sr0uZHL/x1>C~zXI.3hFtO(ty: x`x&.!W 3c?\`m36䃇gc7 Yo&]6G~s2l'Z7?ǻgZy瑺/,zE3]N.^!9i!m4 c6"㲇F,80ߑȮsB8tj7?M_d/NBꓷԑ7[+>NXB}ɤ-;l|GW=@"x8b3{wt;+匘 1O^x2|p'N Qq Ln#W^V lG >!rt-Jn$+4a O:'~ (a5EAvLl7zދz>C\wҮX`QL? 8NoXUɴ%``ԼrNOxV?{0^]Ir6G;x"9r'gRqN#aa/"ީ pxI^^\TPЌ޼yGE볼$rRc7=W15=QnIbovե5eȟ`;C!#F8ZU8@ED~.r{q1p,Jc`1ȉnBRj:xaMpS[2_پ. P+nRrRg<{S-Q!$B}8͝i&3ۨYL?'/QD|ƑJ`iحOeU.Ы{:Fdo ukǃ#֞Sіgky n[Pgs[}БԶg9pO=maVGYdfڛ'ڰdK(\|3E."303\jgdٸP'! G+6agU.:IB| dmeRqHItTLDN,e~\W53!7KwEΰC^ғl j!w#-)!;YI=!l%Mj,;2Hsߩ\BLmP|߇A?efu NYh[t8Dh$G~7I[,F{Hy#qoaDbIg7I<]^ѳ?!J=% Wڲõ ⫽E9px^E NM~gikjr>5{ZiAcFyK *M6יgw'㻌ul'V05jtM}djɫ{p$( }D}'fՈ51RJAp!"ŽvsgYZd46c57194671875ccff68e34a77ed343e4002108121670f361dd7baeac5619349401865bfcc8ea95 84808ddc2b8d6f62c145501677fee680559f5790 cfe7c2be7ab4c6e4faacf890b63a312e09a6c311 f8bac2f6e12d997bc451d26b1f68eb1368b5ceb5 f7fe1e2658d172a3996c0a3abaf2bac175c89033