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  c c}1
aA;)ԁ愮ԉ>VuqIҚ۾Wyqe$/&*ac'QcpmQscŖ ؓs EKub |=J"轢|p[ې޷˛d{clG]HaΞ%`jjimع?QqV'n3 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 Tô@Cr<ѥS:nd^7Q$+/)(積gOӔK(߷v얁-Q3j)akc! es+lRX}'WKf~okRQ1!d(uޡFoT`;K.ixi!?*y%H>H=N>…0d&mQw =O^%'!KU]U:4)`w,hB4Տ P'vY Id-cJb5 ܍= Uf8k2?q}0dxZ#2ieQѢԝW&s{@~k}QA澎)ke$6' J<}.Ú{፬pٶRal 7S߶V=~^M5ׁ wHV ˶"OqR!dE>lO2|t2d^|ƉX^AHI@-; ga{-5Ԏ%bJ-b>d[h N{,B"`k<\aiпS|W /;{O),)sAk%k- ?BsI vŵ`,8UMr 8 rq3i+}LjlygWa!80l|;'Ī=G( j$"/Z5*< =#>VlMF09yvEZ]sCs]ev"f:!VH7BmE!k{Bٵ=on 2}@YN<9 7ƠgO¨tUQe:y;'3Yw2WgY[$^w4.]՝s%-"U)~%7vPSh%%'~) }N[LO"S$Pm5uJv| Ȕr ~+_i`͉r4v3k߷X WI$}"!)R K""`DT*gXu<m2bmX2u㫆(Qgvd2)Gbm$sTBK|cǝSU;yF4_|Ooy 1KO}8?2BF& KM3(l$b;CAҏ"G) [Z+/:EثߏC{f[*ny8-C{5-(ˡ@vX^G Zչ(4f=>P%- M:sG|}^Y\gG׌Kkn1APdGȚK[NV;U"WuJ^WF-]FgThOq#3v{l;Sdkdgp3q?\;H+rq@ ׎P/yUܴXu(T`׌0=:Pa }Jp' %O.; 8'KY<|QŐ SyV!А귒fz|׽"41b:i(^{Jfiw'[(8)٦x aSFδ ץk,Z5iF1m~f7x+QX4p~? f# 1WIK{8FK6d6% דx{ (8G&O'q0,]zJ۰5I=r(⚩0> j8¾pC}Vtɔ+i>i1a@eHqQy+ހqmX/ôԓ<+1'c'pmYԲTq7Qr=CL ;UOi3sn:}"oqN41 C'MZ]d-@ l߈98޸nMf# ɚ0Ci#e]EtܔдkyPjd=!Wx OPQr b#k^'FFQm#‰i O|JF{i&֏SL 8`iGb[TFAAΨ߄qHė9F({ĸϺ9pa?]r7kN熏r+΋ B:^ϰ3-59 |ve;?V$_Z. o4'yWš!2߬T %ӆ5Ef!Վ4+KŦHk g=/ħ#r9Ǵ:QS쉥U% /_]Jmp~H7Q{Wѯ=!@u)5ɵ1;n鉚 n)AtfM9m({WDnŝ4aC},Xl^rw+3Өv_lg! 69U9+1f8(`~\5̾i3 ywR)o@PWPO$] *Ujz(] デ~eX@7'/.$U_Oh A99Y>pc!4<8ӹݖricѴ[%Iֵ89Av*l^NƨO}xBm_$%VL^c*kQ.sױܦ\ݩ?5U:N '9qUYrnؽ{ u T vʩ v `n:3iK?T1D;U`pke'< y_YZHZdTt n}F_y;:gfk<6>8ynyژ"}+B^~yd:}8zCYώ̼I AC83C.[nf>8n[lدK~jqtCC7Fdyn2d=$xEX&<"ItWF܊Lp§䥛,A{rHZxmbZ3bA/D.`e^ wj{jP(?_0LQg/RZ&TtkbS?\[ia&GFLT)_\{]*7ˆ#vu9͞@o'zNj6BNG b\˲/#MSrwwmf.cT+J})3ץPC4r&@:Z}NSJ+F6N &;uqtxܹoљ RY*߃:ϟs>xX͍h63!de̓&J'iȤ-?I5>Վ^ʍ&4ݲ/OHkul  BH! E}$+g(p Qg0xX-|29|B@: sDVOdc^YL9_fV\:yM\ YN꫚yZ^ ^A39x?TǸ[ՇͣC P0 Tr0DaLxL1埯rCt^=Rޚ7R7N@o!V&|yf(ްmy% ~Mr1ӠFd[MWiթ/㟻XH@0roHc +J*'aFW(iO%TrzSH!B\ʿ`;Lc?- IDkiG ف҃wMBR>[" ibI}TPrÕ vmn&7L_+D1r)7׭5r0Nfp .LعkNҝ۟cs<^P튂#dZ4n[ꅹqFUeĠ@ݕtmm/;KBkTf$,f1uD a\Tb y R•TALYW,ZQV¾m)r-nRYav/C{8Z|#S" 3Q7'-zy{Se1PJ::(rL2d6=B֗SE؃FG]깙27x^ɹ_`;"k;OeN7K/ !@Ew3ĂlRV1U4CN[DAVȀ}fw{z-r;4(u3]aƃSL\͒ǖY/j̖Rd9pًk?>拿YVWdUzk!zKZaGjOiiŶax[?~C'"ŨoLe jk@NM|6ط[SAiŷo~GSWR 2<__rfO1v"_7ĻەDZ͐ie$!7kz6gbUȬkpW/+Ș2gYZ7zXZִF! \,]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-x{eڶ;I$+LO*a$z`&sxdA2GDvpp/`Et$F=uW8DqP"Vj\ ⡈^Ho&[laV"%;_"mjaǺ/;߫q?s +] P#=L3|Z5kK}6b+gD KA1p1OQ /݁+"}Ӝ-=*PBvhK鉝FvǗFn 7H<ΛܮQ.,ba ^O]S9PA-{y&wkWc vWLL?8Ä7BGCK]C\ҦW w>Y0=Mޑ4V9dS)B{/@ľnz ߫d *Jr3@'XJr{FX$@;`H#>B*8<)RU 0 MM߯%0DʉkBD*I˄HߨzYǠpлqFïWF>U8ek4)Μ-vgddk[_ gG9Wiihђ{ak,/r\A ;ώP[Gy ]d?8ZjO:!] &%!܎xh1S(wSk8lKÌ~bVG&=\{  JZ*Yz|D?Lc$JKCmÍ8]B΂ NB$} @Ϣ)uʞ߈[?U 6?dZЉs 0ϐ/xa޵>7zAP/UKWt`` 38S'hz Ug6[+Q5vNB;vUǢ:P#3b'hՍjlFܶ:&5g;Dx` rX5"s˝u< Pkl_2Y /lphRMJvù`2M#s)]o#4$S/įbMo=5<'<, 4٘صl<>ST(Usf~7ʞhNT E  0O!DkAx6w|li'< {5*n/&}8'̓ }pMiq Bj= -!S Щ͟@\ :SwH:tK›GIYMW*vQ ⃉]XqXEȢhJ[\*3bxI8/k$iܙJ,qBqPMoܽCHNr‰dz ! T NG仨MgC$3pH(sЬEa#mJh*\[*eEl4]= ea߀! }M6;mQrE?x.,~r@a.PήÚ;g!);3ܨQ}-sZQ7cdwZlsG&Lݎ^k!|2~K߁OX\}ktAnCGkYhHhwU/ ,mI}VKuֿq!E̞[Ghʛ܌-6mvrیR~_Ft9Vqg4ܕW%~S`%# ܀G5kQ#07qz֚mO։4g3 t/^. P ep^m#3g'ezEw^8-l泱 M ΍jhy SJ]s=!>їʿBs)k8Z To:s^M#= 9pٴz a|ʄQ*9G<.g7 6;Hҫ#Y"BY;;Er̷SbGm+m}xFOYz̒;:qZߚ1n@;r]MGIUq\2}K!׷ij$UK8֛j D׃# Ʋ o0TEX * އ2_DDqSD]#KqЁw:lW'S;3m, P"Ŋpy?^_%0%cwQɦĝ ԌNjUxv_O-Nzb|ayAzÖ s7SE_p~^y .-')y2h0T%嚅V;U9vrZ=g8b'j_vV1ͦ[u67>V8:_ڮ,qʺ\:*ip{M X ѳtbJHvTA\rIEi)5Any3J~xe٪~H9TM pv UVx$Br\6d:ħ2BX$\.CDQSQjOYVT6kRK2nPEu21j@=pX"?65.+k1.v>cFcR25oq}9hC6mEL<poa$fSk*LL<屝L-`9 twWWem&PܶDM -|x̩9pozj5 LgWQV t@JxCYHP'e_M'TpW}cNLW\% uE-V:ӧwu/nn׏[pO9k,!7c XnqsRL@TWFg0-ywސB@00a\$Kk0KCʲJ""+*?lx~?UoWWh4`d)&Vk#j?>=YI3s@"$$(xZg)B]%enU(?hK!ف J*]UJڇxFhuHzؙJ~S4jsf`v6qrY`\ok Ylfz 'Mjpcu栘/Ţ~J ߴ}IPI;\?֗)K%el%V/@J FQ$!v`T!ar/? 9fShh?8#0SU#ѐ8]5<:9L^Tvk|8]((ܯd YIv 3sVt12U'X+ѝ haRm/Ղ*hA=(u> OJD|,K!ɗMc58s@m%xv(˔ٷJV]vGv~aG ߓ@&;q#Hx'oA=JtPdUkEދS?6`XX2SVXVRad~8GkMg Mkd0lBHPMښv!tA[;V8 j&_wgDy. h]J4w+y~2t˫TrD]F7V8&m+WWjZT?@"K]sM<jXqo!ԌF!@wpqz wi#P#Q|=spVM O'1J[Ư 31yymXqթ,]Ӑw~+3ﲍcĒXU@Ҵ5r:K}A0vo@U$=!!9Ɉd/_ӉɴV6aTг>0SI#GRp)ETG66Utn%jVJ- D>~C&gjDިyIuO_v_욪?䵔k~[2[>CT":ac=y"R=cbVh 7jp9"Q\Pٳ{Kr'I`hxpb.-^/}$ĩ3.R{"vPA?R~3iЌ+V{66a>Iw|,v=Z6QΞVqC)6G!gr S]ghXD*~$vY²Ђ w[,ؾd_tF슆:[^Ygo +,+60)/ǩIL 6%EِX- P{' <=)y.]@o̴ŝ-`I>| @>jy}Nsm汤3,Lwv8W'yxN(2n:Ĵ}z)XgƋQZ~ga`>H~+h܂n`ڜGGD>fZ`7JIւ bkˀ(Wof|rOIxP&xqA7/פdu rO1Λ.~9ْ0ŦE(Kڦ Byu\3pun)3 /x߅^F02~jcL[Q,W.KoY4!5M7=K#x%' ׸;ίxcqV1 P8bׅg,nj/~v|]DY ړ6mAGx"-;/~\IA$j|0;Hb32d{ىDuGGL>NCH-B kWGHH[8l{:ǫl-)@2Mς)jNYϦ]s:cL(z`~1!"6u24CT70TɩBQNoKLқ.,|7:4nmmֆK3WP,<|OJRWl,K,NmJOB<)_2 ="ttb6r)GbE-ް@%66Mŵ#}/&gDZ{QhLޙ++m_ly/r6qG&"lG@ѿ1'?daKQͽO$ ea& Q3\t"}9٩j@laaWWp6Q!b·Y:zi4Խ_קm<߃UerYID2 Xޜ|Ł1u Ǜ|uPE7#MuF)M,LLj{i\ 0Q$A d#u/UolmvC2XaShoQNqw6p,%>ayxd|/jvG XS6E)!'$jdb^~β%*L7:fƺfmp7; ilCb1vg^?pSSMnoOf:@Xf;a3ɲ]d$h(d鱱kr0 Z`ߏ,5W<#WʳKK2ndmJKn =-cuNO_wCvNh=Mv#O Sѳ!lIPG[~^w8D7n?⤟Qբm Df&wW'E>Fv,'zDQl dvD̝Gs1d7.7{IBڌVT:sX:ϰ5nNWUwH+/{~D&}LJT6ngNR^[FfӍ _gr9sp>wF+ė{VyŒ@;2,J3˟1'a_ 'juM> "&ƶNyTZUI',`I#$oyZ3 0R0)-'Y}# gp8y6Zw7@8cjހ Q?;LbI&|rȒY^f>jO1F'Nq&^0Rf59. ֕?+P"}^9t/u.cOSgwd je#k /!uAa7ւ|%!Ļ$In$1?F!rCDwz`AS'$]MP}j~'M}:0z^MIܩCb]$ fW{V`)_;y e΃pF*$$)3PmdP#M@/Fv*NRcm;NXQ.aN2Z0Ygeظ)M\t^u7M__6Lxs\26]-;Lj#e͓T-L-,q\ T 'J侐4*#BۚD谰KyO9M5Wdy-(MEh52c ]~.+R_)P2W:}1LrwsgGCy= 39g1'1kޑgeXj rdlzpa>;4K'AFD'jXfVgSeޔ1\a``HwR2\1 d>wk&ʧE2b0쑋46$N'%mnۡpc[᭙>m6\VB5qQB RavV+z} k1J=Cq]"4yXm1 z;kA ~o呶H/sC,BDПc-;yBA!+A3pqDzV8kU' w&sjM1'x7!f'`ԷV+wJRҒXn$hd@[c3}p3Nv`_@ U C}ܙ~ 9^ ROds9ȅ0?r?Hɉuann] >]AO-OtN<yfMe=JSW_R.^? n/x3;] ԩzN9bcH4LA6;Gw 1 LpA `\?& 8Yx(u3E7mi/(u3:/p0-ZƠ[ l~BA >>jLo EGu{D!2hԜgc-è 1@7<q:N]tsn=X9n F9nKβK 0 7lhF41n(4ZDڮfV`l`ZAGR2A0$ *]E{*" ͂Q'Tyu6L^*&I7SCuey=-g)q`M՗rA3LR[7_] Iٞ0- и+a?irQ8UOr6#T ;jy:QGm ) N:m'Yv *xgv6-oGC2ELU? A-yϼs]v}`̂Bpf!mBH{ 3_w['pWV߰ `/^9WjXO|BR`o~5PEp@:)Y|]· rr0iuCqKdZ .#E@!9Lޒo~[`6ΐA-UG_lm[B!w-λpӦ6{Nmd :Qɷٺ=C TnT)$~/s=ݏJ'4ADR2Sv_$sa# Q>cux"3{rDPjOi/fƀ0Kn\ۑ(1P7E~ v}B|-7CT.@`m i8dM-ʩ9ݴ?*D#P:J+Gpp{g 4F&!RFvOCa$Т$}>ǶX;m'UzEn𕿀iS?t$Q,1wV  1 `_#peVn% }2 S+* }Dj4%*Tg(g::{I^bfWTtA]N9үlBUn؛0I?Gr6AN+ ~[F H_wv#Ws0ۥKJ V{EMQ0(y 8fw$uow?.}Rf;ܚG^T(PŭG,:&=f 5~Ğ6,|ZoVx{l365߳WQR\kuK#x,/`v :+ERrπ*xבJ6Mg!9foӆ-_%G,ͤ}6@Pq[>list0ό9"Dͭ~5hЭ **S1VxSK53(;0~ér&[%\Wa7 R(h-6e!aCA19OY;!_^=Йto,7~ٺ$9?2=V|xYzA]Cֺh _p| qc!Upe(3B~_{K(3)Sѩ^>}Um+3i@d\Dj9Zs(o6ns(.}X.D s1O.R=$==D1[e{ 3& .$u`J@4c2w4Q`hޏokkiaeL|ԸdnCwޕ5)Ғ|L\>iC1^vv" A p`G)N -k)WP*m~}ڠC%ZF=Nژr}T2Ξ)ԷL\O ~J C0MVWH6!a`8n/eUp|yK4k8@̴EҠoom[̡{bݪ%*P 6dRYO.FND=myԒysx1+;sό &j3 #;?hwd9D" auF%_"h=v'*J]k|@_ }sֆ0=@^0Z$TºbJt`nUXWG_:oD [j* >3a'ԋ^WS -$KQxrDSZj;ˈ*ziPԾ0Qɕ*s5sh0Д> &ahV=L*@Q˩fCӕ<~M9B33-`o|wFýYlDE1Q"tݛ7;BOhjpLW{h4^ .&(>D;xrY .o.CzKjvtD nKM=_b;<+ `~J%4ݱ,|9/,]ڈs~n,}M#}ԙ7Ilag5\} | "|]p1 vzhsovA6xlG):`U&6V﫾[8@`s@p2 ظ]YX}rjMJ` xYA !Ș2 bih88n3% شgLL_ 9͌ľ/XφSrIgeܝkEV= |^V"?sEr}CO1N,d{/)NN: D=D3i^>y1 r\B5r!.g;`ʱۍ!QoYUPd= ^V#yR$-nZIfv ^h@J+yﲶ'(I$,DZZYTlЈv/ aIT_@Q䰹8Դ;v>!,@tvWXɊFV1t0}ZoKPO0z "3eS'x\1'ZHg$o^Bx;Uȏ "}q,* ygHV;q=+Wq}'h@Uϒdؾj(W]~2R=[uoX3AyMpv 4T*_GYİtg_6 !`m}C+ A1/?SaJC,u,B%'th*-n8_`7>f!1 lXT@r(B(psQǤBgWp>F+kAH amCŽ.=Ic{mØ_E0?1])66XUϴų?d\vϙQ+2a!ΗgttfOy^~tPNfubC[dLWr+[hp^MۤQ4W{p|:ڢ}BۙKXzi ̦Bd~^Z> !-P1y1}cf{. q5P !WE݆Pmٌ=" :(+b* Dru-TBҞY\GY:an"J!˪ra7%Y҅]x6C:iucGd@24?2QT*#5Nt)  SH9hy~*jo{Ap A٥^ܙalo+2˴Graۅl]Q; qxii@jłbW-+NJQvS7=M*L=|VAb(x&6F.T̝T Y2xۇ9>i5+CB_0KlVFSsn*#Tno@i,~gRTFnމ؈=lkl]x tTj'gh-S7w9*SF3y'o耵YT7ӾBG}bFKa2 37@fo"-I?{)kyVvURU:g5S/W)DN'?q/7XYO8֫Ł$uS ,p]K_ÿ٘ ` ^M}SW {FnywV2FW78 6ز7۵5uÜt$)u76@FA7u$TBP3&!}1֥S} !fSj3#6- k-.@B465C% @b!MWUM< m-ԆZPuTNrO!XԒ kG@jݰ1VIIV)=%˳ ,;a}P)T1AWxB=p =`gne`z55XAL۹kw;JW3l/|85~ W*H:}+ԗX3NW+4C81T72<@+ڨtCXVG4 J0ڹ&p*"GV)/ 5T&Ũ|z҆AǎCz&Z6nF &׋k$'ӏ3`AcF ̌_6=mͬ)([^[}{黫}Ly//{o"h}SݥRKR7{WaO6> &]İk$̖6& sqe/0':=씎(` qiP (IC O]d, _g[pO>l/gk, O+UdV9n^zĿz=&}Q6P .歀4&)Mu7zEX^Is igFiojpuqL@ۖG{U2bo3_qIr#4s]qm!`HULh\\ }CcGd% Uv u02G$lzP2TdtddNPxEq?o8 A=@7~:m %P4J!ߚ 1(kԀz!oInE>Yzlj f8Mֶ>/'TIxwOAo!7 rK]NCWq۳J…ؿe"m-:t+o(I~YxIF/qwFGW͝0f @ @vifktĬp(>KFV ]jݩQQ4AB0—:6&%ԭ~̘ƓjxaunM%H0hl[U,DJ =d1 5{ϩN>gSO['cdm' UZ|rFXRe@$0wVfJBCOUj((JSU]DgP`>q\> S9S%lw0žVd(~'^2lXdT5^ʕM^]<[7?-Hz`zHS#`$J 7Y,n&p$>;{#*l3z$!6rWHt ߿vד_95byˁph/k]b|3""jҵvPl4 |Y$f>=o: ̱2K߮n\tLhqN(T يܸ6uӱ00SҬl|>)K޻Z“n|V_,4aޘkc[= IFCx70 ƒ ?(X BHI5V7=iTtXtiOb^tQ3`K?SbB-B}X݆} 9b9qPH8y\mƗ7pdm}Ra@0{(M]ܘ);F/9[;טS1=zrTM0XL+wV vJ 9V}uMԇޜK7]6FAq'GcK-:T8t(Rw!]RU_kqB 1$@iE6Jп^!mR[4fkl2Lo )2W1Ve_Ui;'R YxoHUfcHy>e/6M27ZGٻ~lsDpq7z: t=3ā NE=%ɭ՘(Pv^RH\ٞ,v3Zt9ۭcrᔿCub3=*W߉z^e?mϞi* /uYwćlb-+MuM4\M4f#02#ȸy ~i~5 Xƿf ?t ~gڈc-1ש gYZae584b214b7b9a698da08d56c4254b2cfd909496d7bbd02684baf956e1423f3454e2d869c3eb5036 9c726adfe089422a375fb3d23090f34ec1598542 244e10ff205a9861d85e21dae66ffde688a2fe39 3fd7517f04bd6aeacc6e3f19aafaabd546022697 c69268f7388f1b3e4f3c1d68bcc0442ee374ea5d