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  & &*) D$ ]%]Groebner_Bases:threads=4elapsed=394.349cpu=1369.272gc=149.128factor=3.477zXZִF! )}]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HDžW,W9~a) `tDUSnMUA||oxJ=~$w2!BrLh4c@wyM~ *?Nz uYP=iЁ5nvۜ+sşK?nucGRO~w_ЋHdӎu #S9`pbk01c K"H"Ft͎$e| əov%lz: (5xW{Z1l$Fx ArLeb3 ~v@1`vd,0,L1Kxtr̴m@Efr6pClwnVݧܿKIp$^Di)@z)?;,wb hY1J@~]X :,w`4&' I|@pzdms2xO?n;ĥp"%oURdDώGA[&[{2R6RHGEҫ #MmL;]E!gM*"yw UL>4Y{c1fOl^)nG9wiASNp ԿVLN)QX?ajwG8Ȼ#4b[):fr3V9EK(>+etS[7/䄳}oϟB MmbtF̂.^B5Uѝe0݀"1i-ʴa\)I$t43؛`0Bȵf=\ Ŷم Jg]1aXEђlQu ECśt-ٻL"Kl0,y.X}tgUQevbH`rƉ#H!U>b ŗJ+ HdΝP[K'!`VnF%esSR;)0O$g]/8*1i1qUPӣ1c8he`hz~4P5>PkT|L,Qk)F]?kH&c(#(k>=K(+u-h)FF4$ -\#1R1ځfҏ)pp="~ⷐ9C%]ySI* PlHI[JWIv6V-.[W{g>ؕt9ht".Y0)_YNyKs992,$T9Ǧ"BoL  w$Os!HbN-5٫4N]Gv:{1cFG Xb C/ ) Groebner_Bases  ([XN叓hҍFG:֯Gr?W5;{@J8Y"nk뮩f8+F 1(_JdJ/qUV6OxwRjKĶ*#]m[ݾ[d]O=k7 3T_l'̕f)X3bJy<4jUQF 'V3lD ۭmmY | $p;3q7< lLp7YG [$t;/}%tFs/$8nBLw,Hig`wTz3Pe` n+;t0 `o@3SJCLlnOxGѩgչus- 1M?0Ph}'/b{qha&F]iKLI_?ׅUC 匣 .z̑ޠw2_mV?G':Vs/ZHZXX,h_w1nfZqqTb PZ uEDQP#3y Gl<$+XT($ @ab/EHGՖRs&M2 רYhA"ދ\í!܂C`8VOMQyMfHR ,|O6&5ҼU1G9$#,CfɀL^0KNjp'p/x4$@${G2= L:yw~Y-WPփpDY:&6ھ0_ VmŌӶǖbf3zC_ wL|{*#UZyncp"phQ|f8p2| u:Ȉ O7Z?L֌!(>%w8X۞ٴmjsX5lE@ !$ 5-`5̬7G[Ma (V(,-mNswSyBX 9M ۶腒GR#a߲(; Oy]Hr43zfy8.;dԝ 3MmLfuOO9H> P+ @a:l#uDf.Wi*bas$]EhBtAB=1M鮟Zi?5Vḟ0BQI';J҂H ;f^ "1JFvqt)̦|\̈. ߓ_ v03'Z?aM>2*:pj&j. ػ:iI9dUy_~P@ [M[.o<uf%2L^Q| SopqD5eC9P엻=la7 D͚BzQNG><[^H'?Q2:AX!AQ]zm-]Vruĕ^P_x B nRpTwf+2wQ?$NBL*R0&ᭌW6!gakh ئ:n/o[}?NjzӴm_/ic eJMj0PaYF,*2j N7 Ƽiy<R?hyA%vd y=WzB uG*S xC>#=1{R8Z΍+Ǹsy=a{Tд#7gq>j54=:vv)l--=xDܺeg7J'Ojι@~).13,enG6:VљLOR=@P =A@nY M1&1Dd{#g}O [=JsrX{(2t(uu}7Mri\>#vǽ`:-G*ql74OhH]䀮w4QG;ڭlY2;/ECh`*X-hw˝/FsE6O;hLFI,$owIVN~SmEp/4/XŠ:;oz+|c^'!J &6IL*)Y6ȡB Ԭ p1>0=󎇷_X}=+\S,]} Mzτs|nJ=:76 \sQ6lBJE祝B\8_2OY(T 8,gaC̻ {!W\`,~FlwQgzޏQ:u ͮ1z˨q7Lg?nq+9Fkqtד V{~ ZޘuRCK\w9j%UevY][E`,k*,ÊA#_C;Xz) m\b|{f?冾pAEK0d>o{N@W| QbMUF`"M_Q ^]$MW\G..s+r' C rF8Bt \XcW^\D9WN0]Neb2!hx90 +^V҅!]> '3j/${lJcޤ3ľ0L&*R,*{vF+.[xaӥJ|dpw瞳s%I{_9cC5un+;&ag5wO*Q:EwNH|u,ͨ:ׂ xn=K[sfр![_?%}pIwVx=#R6*k rݑiA LatdL&Vmv$:B(OGIT/({V5#Xo2l@zy(uӒbPN$O7%u6). .o**| 3긱vMo Xa +@(0 }98܂&uIySmCb]^2?R[)g1Q,(J * j`~9ϨþJÏՃ6/%?67D9v3ˤt5C<..`un~c#PX}RJkE߮:FW-_@j7K~hJ !S/eg?z󜯢[q^7ieU )pFcYÆ /O6,2&.񑵻H )te)͉+?)t m~ޞIi=$S]f6ͪ-]Eˎ^lC2;(+tu /4Jcm΢^+$ԂaB.# .%p;\-?C6a߅qC.,8 P=3o\Kw)DHf*~z 9?Y!ڝЖ!Q/mD`H C7?f?ʙb΢4<Üˣ7VH42ӚAAX(,YJ#k yX$Dl>jb} {EL訒F$MWLeR*ͤ]IM/V"<ĥ6VM(Å<(=U6N fJB;wWr$I5@ x :[@b/Dc{EP@2s%Z%H-NTcٗJlh #!<Řj1=>F ȳ2 Ӌx_!=5S1*=@F>n0LdaK}`JlB7T27PQPז$ OW~h6#{ X;2+#+Nj 9%9FjOE;MGȵn?x1Kvf@k⚐\zH/sr\~׹&c2t]twu^I<  U[l´ŗ7YLe,.S$VRq0 ZzCA6%DyVmC_zx2ʕ gWapۨ𾧛xbZTF׹I#o^3SwyTiF6cT|ìq2iWw*5FYwxIçꨮ1;y-^e5m CsPm|sA>&rű1=D]uWi Vp\>Uۓ\+I \ruN~@z/tEw2[XlNHE;; PiG2\_XXI,QVmas$;s]}lnׁm*6.)ZMI8/TڕxnckTRcV\Sb Ƈ7OMSсʳw/`2v`Uˋ)TXuz{2[}ń]N05Q^XToko7ӷ qhRu?cx , ,pi9n╜Lr egt"4K4Zz_qCF_,=N3ɳ40S lL=ݭByðs';rnowHXf# AҦ~:}. B6fO?d7#ϗ X8LH ]gM>Rsj$@2ϯ s'CD۳)xwGlۃ o=]1!{~?qb--mqN ?מ#E],T ķfMpAMSkqpyNwIRgBo;g6s|e~(e8fwS/d _"]f!3յ}]1y!NK VDZHmm< e1łK"zg_,{-W$@<$?5^B3 蝨4No3T)Fm}T[Mw!~fwj.~*{y~'uAou",QukC-8~C.3>!iBT]L#sP[wo riա٤^vC\w[_[w^z_ ~DK}"T Kץ~Pq@u=B.kT1TQ "lc@/Tm;XV+%#N +j`#f6T,DEDonyWSF^[j2i>̂=CǗV3Lgq@݆b>2jdJՐ,(ư3޾kZ(=5W@Uol׸2bmk0nnֳ Lݦ8D} l :x@D,rDܣD5~f=1 0-U(24IVmuƢVE,UqZu#hoٕ!W*x;yᎅǭTf‘LAcЦcjԴl .)o/Ґ}(H%.z ӭGF,om+ S,|97x@^ n\ҲJzKM5-ê߬]-W/^k-И ,ZPب?2+vV]*4(}ʯZUָKȪ?p+؉DjANt)f~/ߔ_|@w:H;˨8/z2"s::-5G*,:@i:/71 FG9ksZ݊@ [Uhd_SJ,V9]py'iD#+>[? ]@lGN(ߏ+NU-]3J'cX^xRyj}HJ0DQK}AE<(HɧL[sL. 'acHU@3Ufl?~sgQ+N35At#@f5Tf'!xK$w2'mQH=&wiS;J8~yn9*n~?F YvFmrw j|-l лDv.'?Jz wL)`&Il/s0"dcK%.\L%DQ3־(?%.}\S*ٜ3j}Fi,ZuS~nOz(w5etMc8_4>ke #SnCU^QK2$P\(4TBJ$ߔhEHGF!p Fp"W"H//;./1~7 [f%;?Ը8Ł w@;Td_\>IPMJ,M[W2SÛ5%aYtMUJ]ΛЄ\ZvNċJ4@P,M[^mg"]IHzhRӇw LNc-o =H|D@Xޡ5S& , K ~Z'z ' ^KzhIlKo"FKWo@0/G|dy(A" Gf<z*Aa~$^+؇f ^Hd҂ד5.A7jC4$?ۜ)j8fBN.mĂ;_2bḑ[`au[Ⱦp@NAÁ%vP@pT9+/̼H΀;znj@ɕAScMC6_{e( lJK5Wb:m%]oE (ZK\sB6)HpHTpӄ$wtEtn/IXR{*/E$tk5޾]~R l CdQUl+q.mh?HFIg;}U+ꚴϼp$`[㵯 5$elgYZ7zXZִF! tJ]ŗXi%Eb4O?ُ^,U~Or ɨƺb:ܣرh-Tj9[aUzW>Q\ +L\IдM ߢ }\Ty;>Y[w^;Pfkl̿s$T$1 qFE'2.}j>* 2Cz_kbԐm`M_+@ƷoK=ˏљxHQ ? ^ lKM)#x:Wy. ;É敓׌^w<@&2T_L$ةUO.ώGǻH2[wel_D#Y b\]' ϡwuvK]K4͌DBeɤФD Nme'`$͏C\ e|?3j< m~)RZgO=.!q)i4Snb+f ;QOS}6Rwsc8n/yr5khH'Nz3=;*ժwVZ0w`#yܟ3JІ \w" :Q5 2(ԬQ0WWq²<11f=o^#c ئ0).qm@Z98g6<ȴD\~BdX(gИYs<,x֤zE,:l![\i- ;;PDpi?%750%NL1*>V4uuS ~l19,WVNa/(\ ߃YGZ'/$>CAS`ڤ˪ǪuEr%^ .ƴ;]^32"&|=:W 1\L E9 s5BϲW]VAKoTwD n @f5 lqgX0He8W6'dz#KlQ0".ހ3yq-Aԕ9{g=z@C$f V-՞43B܍ 6(J 14ymDcJ5ͭ^ez$qccאJ0U2y1ꈨo?{bsZM 2hki m,?G&`y Cppy N3h#goA|Cm3vQ}ZZv>v0 ~y壚& 'QU#uKm[WoW‹#C4!̊h ~_>\&$ݶ9`ÄĮ:ʲ-2KH ҨarKcFE>O!Nai}0ԹiEb;,u,g~%xV0뎱ꕖgGأ/zno}z #.շZV%T4੫sV+> gM;S5.VtQ #=om%`[LC"$:^1G`/kwO{;N2(3, Q鹦U ƈByRFa? iT"$i(LBHoVFQvC/zv2_aƂv}$T"q6><Ɏ*tm!s p<}H~aټW<7SUv6^o ܒ E?i@{A+}#S j#GArYU3yCY~(G)prʐ [1P4V yOBbm~-}ÏEpGw/zVi[d~?9s~ x+ϫJkgHfOYQ̖a\]J/B-9'x< bl}Jv5I:Mk$$(,A¬;j֩ۛboX6K2Iq7N<e}ymoxϲwjjwz=̐Ä* d^Y]$=*iCGy!\U`x]ǫq"ylm _7i @=FH |VQ#e E 9-)Ï]U) KAN?']QSβ X#3"˩t\}X%YgiqzUʮ?ja ОLoSy^@m6s,3d32K]ޠ) G:);r* jW}ENr~;m2Zz_Ɗlp!e)|[2І.WMO?:\"^7/VݷGӟ}XK񕱈gN[P,ybqQ0W2lYI$pp4qG]Rq!_RH.`9tmk܏nRX:h3\=ܖG+@43CU1,♫]^{v8TpVjf3A%j4g;yP1p>&{Z$*Gtå9tQưWOr.pAU|!S^O_+r9]n浵6oGt$6$Kc`p ߪ&ۇPj%u3nG_H ,j {L0]KnmS1N5gq㞥Oc\ „HP0ҾkUت̲Q.cOk+f9G!51r'| Gv^'9,\V5JziSTDLJvO܏䧨-690G<: sl"?UD5jۑhkpޫ).vBh˴`9!YAqP$gzHl1f}G;m3 êI/*xvj!\t$ܑZB T^(WCOw͢|3ظR9Vʋzacŵ ?Ms[1Kf-d(F!7_yɮK@d@&vpRd"oυIFC]v%=@sIe6{&Ȣp+ɗXV V9ջO z1E_NdW-Ц:z }Z"V3heQVHt.wCJ-*<('0rE}hUxYIW+44 ]zr FIfmm>%?}tΡ>,i=gɨ=*M#Ur{h}q3$H(tq^_KkK^3(q#;b-Z.碟ߎ:ܘfOrTF.2;'/Ni Li}ȧIOd?h:M鳃,~jƞqs̄\,8V;s? P/]-i#JQ [Z ɗTq=  -j ""cZ)OkbSzVQK/?Ty#0Kqp2btm%9H]N^ -` (R2%Q@H]4>*VٶIm'A@!6^ s,I2!%+ʜɍ_󻻔P 81j,[PΜ<"Dp׹Fw`/d)}A,`tԛáZ) -ɽc+ȴidUvdOcRUiZ;}'Tw8f?Fn̨?qr _!.F?2zJS"4 8Tā/? 냁2hi2@1Yu<|P !,,PM|Pˢ4".CW9G s6| 1;ICR-j fm?=h gw._1:B)&4o8avZ_Xe/Tc 6Hµ? o c~hce瓬~M J{eFu^eղBϭCR!9*q aNثBÜ L ui\]CU`^zdLB `z%2b|}Ti1Dž,d c:;>F*k,}3% rg0.qذv e 0\ hˎT+iVR2%u Z gƞ<:e Y& 'T/'lO^d6wfTR֜tbU,.# t6#!fhS}WcRh~TP* t.Mhzls hmcV$= nijII ̦x\q KM*'F|@(h%VgE X+H2tqfa6 v^ɗS):8^W9W>7y7b͇B0~ bM~G5oPʚkHy+_r9*ۨPfI\GP/*u[5 bv1wΩƥQpX!T ;nQYDsInܥgj"SWFN9AVHmQ9Lux9<Ä8yx8 ` PNz& $KRj951Rz>8!v5`)'d]l5&Q; u᫥ia'b^K407qT[~Z!CI4qa9!JQŊ2^`3óIH?t/j}Rf*ӍQ (f ڀC&ď4 ]F3!K #[1D ,klm(((Pskq)o[QDef +vCWρϊ'j)$V׻Kt,s1IuR1`S#FTS86yWZS67bepK  Wrw3Җxs}V)xCG ſ5᚞uiӿ36p;q]" O[A܎5T"7?ZzydJGꘗ% M ~;RN`| Ny(]:邩ԡpX6=!(iu 7}: M:] (}/QO MB!vG 0Z%`9r@L<|iXGu+[ %$boԓޖ];qe)w^LuSS\lal^YsjR2Ғkq6R\ɜ#CX^^Ͷ:K,[`\vX9xŵpmv =\c]^(4Ϲ?#E< ^Oשn7w)}Fv,F}G.r "OdTNWʿ(}% r؟/ ^޴!dlLo5HWf±9= *8廡}{HT]-+&} LDRz;h j(*A 몆7]׉XxHN%8R+Fm7+MAu6 l4Lk0݀rdu g&1 D\s ħ~(ȲOJ_xsqs9S5%Kk 0 c%K8QuQOpT~D%5TGSu!%`E:VK#5 sڋӦ|@Na[k42`?MI1U؟F%2v_i+0T ] ٫=\~'_zVMHEt9hȗ~IR~J.#4:Gf2Hy,g&ݯ-1AQ=H9- |^[{f c<$@/FN͠v |04{o7샜)MR7Ge(RJ+&(@˸nc^]=Z^joaZ!բخʶr7goEr_|Fᨔ%- d-S\XzMn7wFL;{OUW*vB+$6XзK+LJoY-O.jz#3їV0Ғ!e5-^[  ;?PxRl0^EMSM{5P.(9b sa?eI "ym<- 3zg- h\EiA䥵Dx1")oH @Y*W6"hj]\3)᠕'7- Ş%a"UG͓0,HoVs׵^R->(BHjv(F^wTZ, spCn%[2 hkyA>\2OqWYd})EZUA\̒9"pJG8&6[GQ,Eh02°reB(!Wb3Cgq `1{_vh;%_]6DIXvkX3U'kƻvȼRE=}SJcG)HjeăeH{r0A'Qe=RbԉT$Q|1zHâkˠ˖xTn6%T50D0cɮ6d7alZh## !@VKEq`5pϴ-oN ׍uGua9IIHd5Z-1@;$Ч&6:BXvD/29 kP%:bQc%d gBX,}{KўӒ?Ͳ7ͯg1O?^Gq@~Aklp}D^]mL1TwHO$܌o0\|+ ɱjX :. V ΑZrYT:.2\kkкZ5W叇FqB4opD]TPRFnhU1 iJQ .W%NNtzs8]`1dek/F`ݾGtc)8̺ R6e!QPފ<eu: 4\{k}Iq3v4~Qƻmt{2o_ A3AE5%wvJp}0Kt{Dž?_qeiZI{EIߋ-Ljk9t/hFj"컉QU~C^ѲM YcNT~o8R[nf1ҷf:Yop+"g:Vn7 դj^t(zvنqY=h:Y`lgf4=9qKxe#>QU_@f eH:r'w95)O#BMs8:oJw*Z,T^ <ȼEZ'l|{}&~\̲e8@!+9>C1xlB(o Ty--J]Iw^,a_LT\Kei5wdRAl]A1x//zbH@UQ;y5#3Ex`yU8/Qz("R ͇Y𢡳ƨu5g!F=a 7fIF:*Ss.èy!}znVp)?f$i*-'ux8?HU&5N >&M B~&끸h5tTb=\~n'.(R&7)2;48L&kfV 8еZ*M c:^9Cul<]VTl/T)T(] ~UTTeK#_}0vz2NEJL5[Cc ˔[.Q.dĀuIJQc 垓E{+Dkc4lؑ9xʯo$w^c=/=E0mE1ؑ˚E[ْ9 JYr]18šK&@ս$(`l%+vڈ`((HϨHǁexqJh?#0i^p"OorQnFϒ Z2yJ[&C=׏)y^*z,w1abaCDɭ% j2&S|"/#B837C25~vh}es|5nW7i&0z\kB'CcNZڢ|Y$ړtԬ[G8bxB)ї?ªrCUW/6 -Z36`#7r1HV@Ák`4l〃r.Caje< UH4.P"i]3Bjl'iTpggdfJ ?,2_Y-[G$>=F*s`(kLm޿qC z ]rZn\N<]4XwO-ɡn:G#vsfʴZ?mͅJ/Tƃ6п#ׁ-`' J16 ^LЩoE-;i]22%}}.%Z鱝S?n (P^*~,Jo$f_L4 / H )̒vu[X wɔܱh f^-kiucv190iz cŏrj.S=t[:$meJ@&OtwI٠vL}UXM;!@ kav@CՃkF:=M-v辭ck'DAf"D$qixV֡5U{&g3Հlzny(~La-Җ|qLL?hy1!갾Q&Z,^h|w ˙yQw W qD{.6"jn!l9ґ~R3qc)bpNciy7 g1CY QukIEaq錅a8xmJt9yׇXBW/e@bƕk 33!טR<7I|(euDob@~!lrT(M_A6l$:^ 2ty|ɇU4 oM lg#dd7py mi&=Z'Y[ %k3-kϹ*>\VvŪI"%drq~ CtZ5sg_-P ޠFȒ=+I&}W?֢ռ9qW'Z?m`\*QC T"pwXܦ1fuL':f6FtrT"wJ ,"]wz>.-~/b(҆h[(Y8+9^ΰ9>ɷ';耩!*;޸bWeXn-Т[ńVSif(/dsIxnyd/Dzv|}pNʶtX*B<|lUi\Ku,(cR4&g-#jUUEuYT{nz4/ɏr X1"K+hXB',*]݆^B/~@kf;>޲Gy/6A\ ^1;GiȒ-(dwQ)r $7V߼ynWt&,[?B})M\G [i@qe"$8h~b'<ف؁S;+jUy&XcΨbX)8Zv>seʦ ~Fy E}RD^bBD!ؚL$g[Fq~kxvDYGAL#v>-C8 c0aCg%uӰґƯiZFeJRw y>Lm6-c{;d ?fQ?-E 2(dy'@uN0d a`a|VGÐ hAuƴ4nANkdSH$ԞpXNvط kiJ]aTBub`a61$ !-W},EjɨJ@ $V;ؼԢխLQTRcq Ps(~&w'>_̪>ߋjFa콖KR$_*hk1Jg*fՁʏ׬rP?;?vp`Q-1[f=9S?B>tM=nN>SܦVsoJƫ5Ry}vl.ڽ"Y@q2Шc]Tp4yn~PA 7fF1+Q›Is%%N4!D<%SpgCF/gZI6?lpA( IER8RH"+.6 c W!]1mWl=k^\yDNB."wRoqPI҆ΤVArt:@MfoW$$!s޷!)4"_ Xl~NdPm JQkKPg*1|KGP͐S+sd|/?\H hH;$ K4WJWew3 }GO W3&f9oބm6 4 厁cpԦ(lIXnR]AOpw ɇf&('"S_lB]yEdbIehat o$J0PicEWiŨ_sK?5m0gRv 5LY_j(C|3GCă7{ZHh(2ID[ڰ 2i"L1T!DU=zpέgl6fdÈɪt6u^3H Yky)v0JqRJfwg8%xce|%9dJ6sud^斱V * 7:*S#Y ~Ӹ \]V+ ]K[b&NÒNv@䣺i*Ws1`V+µjKd)bA0sSc;֩ؓ75;2Vיv_}g{@'ܞstE[?tn}d@7םm?U5|mF. _Y#tEoqGsŽ,wՇWl[:{\J_8&ExRIlH̢y7UoiҢB}g?\Q}23CnKܞ=d>9M?$eo Wei:ꯩyjm1ݫW @J|x`MSqCO>=63nC-g']jR5utF~maBb甊 i%F6?T\gnWdFziBҺY4:( JE_9 lq,Tg|eTG1 p٨ؗs8A Jx``Ӫ-G{fXJNK퇬RV!>D I3aT"'.yϢ#2tS&qӸT'& ~-n(T~tC9KG+A{[PO;d(5=Iq1ɔXPMz#P5@~}a澸T(7z 6Q^&R ??;0˘硯uz!Ӽq/C ;fi-G㳡2ҤɁPaʽIMdyi"1|/HL޹.j8n/NGt[G c6jZ=+ή-+d:E%>ƥHqOE)=[Z&jl!D-`,E/sNY]d"(Hv?ihh[ip*"#RFz[WE.R-%?b VmơRV*xHY҄Q3) !i ?h$Mq܄2\Gav(t.}v9]dr֢˴ƨ[<#UY"5M-/LU,iee ZHa X`F.!?ܲFwUF!cy-SSq"u<ɇm0 AJ*2-Q" j Q?B`χBVl-:}(d:%c2/$yђ|G,:l^sbXN]|xչOj9˘Ї3l6f-]ﲵΡ '-_qJ{~!!dƶ"1ZXby>c (%(_Ж)R/"HeGp ,%ʕՑUrR(EH .[r1q ?ܱ vQC>g=A(B@Q,\ʉcX'N?7>8W0ڡȴ*EDhF0D rKh/KYZ8N_$NoW;HK?AN5z4$;Ĉ =i𶷡wro@fDn\?V-U^~p録L$'~DMEe=65ԃ D՝>U>Mw?`B\3$0"jn*]+{ tͨw Y_^~>_xR&')H3#`iLNW_. !mLm. 8̑׃𴫫;6d V[ruƂZg=\ "u!Af>! PtUU0/It(3xaZ5{Nֶ.?b "DY@|ZQq GL(I P*;bAE1Ԛ5ٟ8N~AAn/$@%u_LW(Hbb|ڍ Nu.Ћ3kpppj#g`ˌk?`28w _f2H|ԢfC;t3*v2t2),4pLɑ5GDPe 2o@iyqens'1|'FQޔ?ZY-/޹3_i݉ 8E3dCݒ+ WB`J.h42dVF'Z:ry͆܍t<;SSC3+ZJ{px)0dk4;ύU3,F4bX@:FbRMU3 heDְŴ9> u2,T|{Yb|f?]Cnj2o,N6[<1љ_ȧg*|l_@AQv :z2toKNrXGǤe[|/evWiFE$7*¿a2웗}fLv| o[>t,пR;#pS+[)6Kf>FJuJWqҵz!{"k FeuWFJ5FqGyȿ ޿<2Qpo\Jʻȣ7,14$}w: NZ-n(Wh*q}^^'*fam3;{X@&pY*%ad ni} ">QGñZq;M?!(W=6` ?-ַiio؜1cw'8p{6rK )myjC4;ŊT(fqg-djٰdÏ6u"gOP=isݙ+0̂=iO@֕t3=FvMEKA@٢'EƔ-9C><ڷNzFG[Dz;$ X(PԷUkD&MRJ>#bE 1rY&ou#BAI%ă-^Q7L}kH#Cmf!iDRvVt# h K*z)aѾ>v.%"$?iUzy/Is(/VR"&s.AǼT  g^d,RM=)M7$rN|y#p>ͥ|i+/T]!v Ean0lPrfB 4pBՀ-VTaMds|k$b Þ u"/ϔ}!WCf:Ԝ_Ey3x#LWQ&W.tpAZA+MkZ8z,^v0Dg~+~BJUBc愄`5 YIxMm6?6MBo\`R,gK{).u-Y 6NYrH~qs;(0FOg̠գ;ㄝjPZ1ѰPM~x&%W3G{jo:K1f_dEIFizύ3IB+"Z}hCEX24wtB4=KPGt%{`RDN *qBZ0) XLd>1E)W)X#LyX,> 5z!du;ܲ|O 8B.<2 x]9hC'$TlTB)&R誚N@Ee@hh -=#"^ln𔎤Si ؕ!*-7U%/n&`^~Ry#ޞ*43?wM<Q-S D$n.SE[2x9Iì x:QD ~sr7sY!)A[X+b,]AǤo|3U&c]ދ"9!Qs8hSy`![g|#}GBcI5yY6֒'pգy jkF>TMwt]n參Vu & {z?Gqç "k+ėn)XcMGVFxaE`gV 좖h*KXSk0y`LҚ;El:Q1hChޥaCӜ<&.v"̭ 'ՌY±˂;=kr/)3n1\Z' 'Tga$YΐBRaӬp ƄR˶)\e$tJ㸭Ew+9sB)vHmc\Wwɫd>I"+f0?r(]E7*hfk0nkN oMO(,]ig 7Q\ GM(˟ ̭Vݚyo >Pne! ]]v޾x^wC`N5h)G=ռoZ|[w-Թ0?x1׼Z/r"AReBp͒>X>ByX|[W` dẗ́Gql(HpL!a <SݚSB^ΦJ\+m,ec Z3_:n?+uҏ2~#69۰؞QDH\@躆j4՟R:c}`dW{. f/iyuAU]1郚G9^-}OyW=ޥ}`å2B fR΄ [q}? W[QV9P܆a.[͐rA/1B5SٌgW_Y|9eQniQ0qepQ208%f/z g聾*3 Z dܿFZ[06)@oNOCbRd1-RT 'x'Zxd 1^+uqEgzi-al*j*R׶f4HkwJ2VVK5毪TJ+0 C%*}.Y!40# *Y %]o|;'tj _n>= Rf=gW7M׊ԨqyD˰Ax &wojS]C%&Xc)h@1'z8$Iw ax=6b4^0khr6 4EqƯ9lo.@O_7g'>J ǎ97FKW?(Ffka3uv.7׫HvE5]i {Z.@~#0CSE"0k7cd'bT0Ho7__da`Qzǽ\-G.\\-l9[뒼D{!Ԗwm"\ haR[{-w7陼ѯ0)JflM{d%8wQ7/0\H +\/?(8גIF裏B!}oo);a},) FPn־X0CPyOORkc9 Z{ B{rBWzs{xFEʹ4Kսa 9aQҘxQX x(H벰*Dͺ }_ge3\NHdEji}WJvKLȦj;vWŻzT{xBpp}txke\ĦYo'xuLu:(P0unL}wuғ~fh!T&x &aK D͹*%ՇnZoc-a!Q+qOlpv z#( p_wĥ)ꇦa+t'P\[jLh S'89h\iwٕ9J;{q^u"dR)ʩ:ݳT^߇_J x ^p]XVueWz~PIؖ028_PXU(Rʆ!,7-Ƥ;ЍvT `M)NK|-@uQ P.ĤL_s &l*{`Ȧl(?fc/ԬTz=C_.'+/ TQ8m<ȱʖ׊C(~t.;oTtGI@ > 8.e}i+Gup#+% 㗚^$0㮾?}*|@V-2o{_{ \ >ObLȨN+OU{6'UT;Y.q [ <'U.Gin$E救 ̒n8 L.ݾg08/hyx9qDrĿUf6sHKj*[\j:?ذµg꒲Y%@3Kɤ#yDYs: v!&^}l/9pXt?ܳU0 d y˅A/OtKv46kt1B ԻSkoN*mNj[x:_uu=M8SbMcmA( B|~;Ɵj5)|OmhJdB?L4Du\Z*ڞ|iS$X`W4=(x-N8*k6KyD&Ea14x׾[cK,sPK eO&,ձ?+PK}HhGcP eOx*Hf2k$Nqz2[3zTj{$|Zէ YU].2e}%R;ÏP3B6 pk_5#Zgjcjek3+ i0VflެBA"עrz}G`TYUy,&Bcm[:U㖿 D`hحH:DJgv "|{nK4pd _x]7'&JP8JO#땾[7 ysЁ Z"@lF ]qSmQ >m#(*hkF~ڕѧXFsZ_-L|웤`r=ornʘr'K{Ýc6szk^ݣ=Ȟ[B}@Ul/e6e;\C[G?55Ax ߥpI'dµnhD{lޗNoHZ#Dga=E.˔r=.yIX69>OJ%tu3fp%(&SaF/iHy=pIc 9Іg)Q 6fbF,}]>THwrLycyћVbA> V$u3<+aUj[MPµ7*#_XI4t_=CA;'^8bi A T0aٕ؛]|+6Z6P_6_zWcP +?LS} e[0pPorHJgI6a+1 wS$Gm,IpH\z}/Yv}׈GSC<&qAI4wKڔgryE|w^**p+6f_ `z8 E!v,RͅvlIK_K2~~WñXDTScSjz6(_f!;8H=h2,=rCrH%iC$6I<I,J2vxA,~_v $rdZZ;ڼ8ASgQ!Y'q)"kFvP[Ͼ*SOIp/ҧo'"w; "Dv}n*Тjy}b!nkyMU)qh&z  /#O-dj#>xpwamxE,JYfUȋAtȓȍ ozY+ mP]^)TmxnV&`ۮ4b}.PDT֠0UBTtH/8d)WnS8wrKbi[O2To.*h.IJ 2r=;ciQ2of=K_b>#ǂuV^tZ.B҇Tftx]Yx5K-&d$KV2;"pY>+Tm1//dO;IY0FJt{O:T g$QEcU1㤀P_ Hd5-y.yWQckmҬAXm!R־B,xA#oMG%yTc`? l[cz%j}@Zf'Ҡ-O (ѕZb+֯c,3r67y^"=Nt r\.nvja 5tnR6 V2.Xa3e Nb5\ ǑN;Z[bGT}X:-cH.&Ё iFVF?3fFDv^(KTep@$\Fr4LɉMix`Յ