SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   R)|l\ ]%]Groebner_Bases:threads=4elapsed=402.357cpu=1419.112gc=146.676factor=3.537zXZִF! ~&]ŗXf[&*%5r+=~ȳL\Th;% JUO4UbUΫ2zDr$ޜl ;4`T o DŽuɢ"LG&6A$K&)e=&ѨlY!t}KOEX[|BoYƂsG +* qIBDZ[( k9Fw`T1En9ߖfA8LSyګC)gٷtn/jӨj&`H-?b\dX̿<7n n)aah՛4Htvc1~<_6:f=+w9v| u2UU\IEљs@74zxϟI*%X>"q7ʻzgy<0Z.}lQ, `/mal]M XFC=VݗXTUdY!}]0~:q1Aΰxy>m կƀ %GVEt{x2c#%+)p D+2tF91!_5 /+K T+><ޕ]5c*߅i@Eq ;z31w=]/vf Ȝ_i;(wvV|tnu++JHp]ig0zRYO ) Groebner_Bases  =c{*rMUj*B+T\ tٴ]IZȒY&[hNF,)t'{J@RSijHɌmzF87S+pM7>i.B F6zqR* ,c#*>[.<;2y+FL6'0df9'DǬ/ܯn%@.iU? )h=lN[0~7q7j]qSmJދ/ئs1/"iяЎRQ}2 PŪ&N x+beVATmn*!) OTb u$7!W8pOY ے4.E\^a/o*O޳D{Ҁ^@eQҴD{kGLrÑqQq Y&aK[/-_V_aj.zI5_';SrwANp-Ge}(@TdUW4~-k[VmFŖ56vzθ,CX( t%/{L4Cƺs:`-qFL3&By_לme3ճ)=hz/@pcb#jqFPT8t/A/_K0&LjePqp.KK(%^V.č {Uc]xGΈVE].'u?Ԑ< xs! wY<3_C8{wn9?roe徕+*Y!CYM1`@}#1C[JO e*n;v!`Rh}:Y[&?@"%F$HgXjIնFr,t]$b/rےk OZ0D~d$4S?ޏ 't(]^x=R 2y^>mp~Lu,X́?ٸwOcU_Bj48=J/Hvcdcg6ÄH3UXxTR{"/^l L[UB=mP{K9~"6M!7[NS kw VȰ;g-o8<EQw4#J)z3.L_leZh`i L]3pƐ֕D6.F>y|it{Zt0s{I S#K恺4 x/72S=eIq' -_6o4 zv7_ܸ|A3,RBa؛~οt4 \zU2haDnOx,@B/BWwb&5~\7'\z/1$Y#a}! /S0 .^pD\/ Ee)#޹Ij []m/=qBvT_gUuP5_]Ë_Kf xš)3]lV{m|ӻPpa"dCCtt<'[K\`-壾 cw4|C)x KS2]{_l?.@9: )4d1h [ܦgɩ\_ TN r({[6^Yrx$5'csi#>[j?'`"WUq[NאSZ-]=EfMRm'Ys;Uhv6WXl Tuңx Z#d)ɭH ѡ\[B1ʂC63##79r?~a,Je3 e*J&!k>SÓ@40>?{WUU6'(ržg5=R6w zIYP_߇7v_]JM1|[E,c6Hx/N*`R4#c 0BkQM躸}1ttN坍,B ȏ Fp 3z6u}#I*tZ׻KYc*ڎ>WV'[2^(35Lo Q&~`m‚Q? j uϑT0!$lxzd/] NwWPFy,/YGlz#6Ƕtܓ zdl]+բyW*&? oGFgNixLMAL0>#l^t@*A!C兜\?HOqF<ǹ.17`1ŲRRyc|{mDI,HkrFvpE"Om^MX\4#~Z {<iI+ݍ֠F"e s˂6%D_f|O= *,d^dcx\MoB <XQ)zbP|KׂnGڥ):4t+ϭ&("~?:4AnOЊO21\7oQTAr+'NҊsk 2gÝ =P4F5~7unaT0xFS07HJʨz4]?ӂ ߩfRDrc-ʽFjLL!S,6S$UsEbg 㨠@JWk6/N*tI=k$ RZ8 #Cy@|]V D]+cK7— Dc&+ V1}Z U}?XyRF3@4XKO6a__az ɩDi2!|Q^zXspx=tE9m.,#2(Q}F:J?lZIjBpWQf&G;a/<pוټ'Em>&(b;0>7 AD- &<A9`mGu˜pn#g0P[ţoI9Wwnv`,a/5sQa2%щ7XG[f TںC fZ%!B@fW-di$Q'|^)L:0.(p \x9'B ye9(^}Ʌt}wډ֌㓞2.E^!ͥۥ_z ][+sJ_ bMʂ!8z(Ncms= ˜g F[^n`w(coLS90B9\L(k0$1B@}l 2B(3`yN+z1~.¨}Cĝ\GC_3E3 }>rI39ܧb=Ԏp-k Мoz9|1 !x(oUR/|uӼӧr۵Ҭ\b"[ȶ[hsֻg`-da~lΉyr\@6EO6溎>>rMz;~[*={B2U,| SU;AGl?kk{T̾gwG7o0AksbMhϏX?W5eqSGAQ:(G)l>Goʣ)n,(eA^$} %ܐuhb+)ib@;_;bc V[#Qݒ)90(&tR, 6Μ"Ujqh?t=Kď`Cö9z"ٙGh}@4?[,^EM(*`]4 ~Rnۖ:ff] DyWSZ}MH~OK@" ;ꀨ3vzH BFb l,*z3:B\[>X4 IBKܰHpMw#(_9[6;HcV"6p$%?5xCHtgB*)b삟J:f%Um>Eҍ> CԟC̺Wb3?lI.HV/Mj,9kh>li/kL#{㷱+~4Ku"4]uV/WYFq]Y.VhʩCOFi6n'R˦bC>Ӈkbyx r83e(i@ɪ-~G\=J#2Knthxd؅&S-03~Qsdq5RIq:Df'xSzӳ\BZi+^?q Vr18:8m~5 -^8rMS{47[cZ B~{x8HސNai`y *, D&[8_|Hu-L<bZ9S0.~S[L7Valށ6IVO=h9Oسws(ZF1?Ju6E #wM![2]ǨD}cbΏ[ſ \/o &J5ơ0z4 P;1!fk֔ VށN!WZH$d⭶MYͧ[> #F4CpoY|gKh(o5hݡ&@kmU妰׆yV6l|rnɺq`+$\k96ӱ҈fꇤ+Np tw)]avm8Yt~ X_'H_s:mDu~p@AEt.[@kw/ȍ(lH%j0XO݀nQWBoC`5uɎ:׿C智{T Å~d(p Xx/b*O OKaBܻ`-~# ĂükEAOʵ6T{XhuXO' ٯRpi-& zռ@yKSQ{ |T"O.U͑rOrzƮѭ… g$RZB3["Oil[.CT5}j7>#V1LhLi݌&NQ ?[sקy(Mh Mxn2k߼ YS쀆Z,q'G0hfsrn ZF_\ vFs>=";e8EZ3u rs=%X& .gr.=?mY@&gM'l0tQ%tV?tgY\v TҢa[6 D6ZfySRP\-e pw7GHLY:$mQ%YO#B 2;rݕt& &k 24&8m`G߹e4[ 5ڒnT@q%!"A7C`uͅ+><~i!mA?# PAKezB4(HGju]a8?Rl<,6@k4Ł@Ap*rPƙZK"q.Ng? X~;Cu?.iIćh UWYyCeߤrL 9A IFMm~Q4I$,{~s*E'z/ 7X"sW%㣪V ock&CY~xvE=p »?)Lq5leILnie0` UWq LNÆJæzCA2UWd)lvk0av4 #~^jMFFZ<@?.%r `PF6~b/HXM j/FAtB.J~6NZ,bD 3ס@':LD@+b7c2< KGOY-p.M~TpT4J15U$VA%dm,ߞ*}#zJK5WJ#}; Gw/ fS[ޜNNU:nU\lEY%&OնW2o'M/?,w%m g/%7=lhX{ (2dnx vLN?#z[U] # k𺨌yu/Ɓ;-nꥷsPq..l Oc%d<[nt"JZ@.Uz!"[M^΢{:ڷ{ gA'_ m @ry-`Obp nVu<+=ڽTVߠYgd61oz:%b{c1CAzkEf' ~0crF<_!zCxRWg "ɵ#Y32nL+ u1doL 'ăN᜾Oܮ{-5c#;yMQ9N fFyq6{CPkzt:h(]3FV][Îod f(xJX*{NM)O=Wi: oB~4 4glgYZ7zXZִF! Dc]ŗXi%@b_B>*|{{"„~j O]| q\9cIcAx?`;]nY0}ko'AUqTCւQFΌf(^WcG ̘ ~JހB) \ l>ڗKNr Y!UYRTtۓlESB 2Υ~ y4J;E*0SJoM04}QR]@}Ml:f-)Vv[Yn$ -TVOm9ܜ ܖNfhy_+Y e?WF ~@'u}Rۤ *IYfď@P+&n- {ARnOwuW^'U$H Z۲kB e x<{e^[')3ZTp67TS[T5wZ,B}hͽ̭G41e::=!3LL{,A̫NK紇kQӸg:ĥtS 艎` vBЃ/I,tW"o@~*VT΢;Y&^9 wkaS|D?4T%rc2b}hŜ&aYL$B%HDߦiEdqJB [f7obl/ jJv&ɫZΰŖ Z]*6?y|,zr` dZp8>CEݯ͐Vl0CV6 `gL _f\Cܲ8O~˅"X}EPB>%&-' :Qp.s!*3Z&ůn|wy䤃*o (["|$'S?tl Q`Ŧ~@kwӷvHNKuML/C"k aw6E1h[2K-yy%et<f,o$%ZxC %LRʂ&UxXh!v zcxܝWd? ٚK;IR]!`rT^>)&w;O.pgL|-&~5U펏o7"(MuXE3CSCrmr4&,CPy^wVr$PhH@/@(կ~-XQ݃:~6 n)9z< "7Cvw)]5t{:0rit[:zՀt]8םGeF*.؉4-=Fu5.ߗf ieXB]}pȒ65D<{ve(ULBGf\>edCXZPKÜQt_V Y=Cu!rX;1+'!+ fw?˹e{m}I6:4L)"heCU12<ƽUҏZS#(Okeǚr\ _5OԮ$st?09JG~bY}aJIT48l#Zӱm%9#դfDYg>H$k'vUUmϸK!{\Q-*Va jj6yJTdvP8k(0$oJ-_^r EpLTF9EHnRnyO"%GDFMp k{(IB+'HM><xX3,3.E=EN ",jCbyjYX\8?wI9Ffx4YQb?Q-\K4^S)rO,Pg!4b6ȕ#4"(rHQIY[Lǯ_3ϵ!6v8e(&iVwrWc@|c jZDwJ =iscZ9coMPD>170=j}^ҌcbGi3ϷX(l.> 7Y'-ygLUAL@:CVRt_WHeٌsDia8- R~c©@Ou1<-<RCUo*ЛJJ2r5 ҤCad;-KihqH/)%eZV5whQUvv3/+d喎T\C6aI)IA'{JEJ5Vy@N7&*#F2q`Ah݆d$" ,YqxF!gb,y0TeH%[N=o^gwq:jGSIHQ4*Җf#N S֭Y&wF"*\kxMW^+Mn$NqoS.GlFuߕB2 =/hxjӫ^J4^5y[P0|99!E„ζsp?=8>3DFG,P|knW~4_x?[Ͷ!c/Hɒe6 SwbpBm%J |G!f;qia=dpwFmUI>Dt~$}R,}ʈ .S`~@Vȏ z2w"Ҵ`VwG1Kwl<>x3U7ҊBxf}0>T u@~(x0Ԭ $Cds"9zL޿򾰷}O8[L&LyUFW(F ]wFdʞHÑ#jb R3ӡ{uArh,1vJiHH;jTt+gTio `B5dCW<ڳ: wRוС75-d7=sAmot} ߄٩MЦ;z|Ϛ`G0g|R:EE@My<9R'rL7Fbvj\u la&>Ird@S(PڙB~ ath1ؕy_I# )I-i9r~XC u\f18&2@_Qt8d0V_YQ:JijU$[.S[^r5Xb?uՌ-qkH+%`{MktLN9ǻZpR`ď /^n &S=,]^s^Ny;-/ 3:=:=bL"9/jMT<8/LcõQ,:^gC5<@}_bcbooCrwEp^`61%=ؤTEi5Sk~ !P=F_HYk>WLs$ת BgJZ' A=+9\C^C71wmd sf?r,Y2nTLjFSm 6<ټf\ (XD%GgO]8뽭 /[%#* ieжؘ?86JPz0vO |-*K(d<坛#ߝ;ߍ!FN^Β8,\#nɠ$x^#5ȾH,Ůa=*+IDY&TVi?3! UKlB,I}^2jfw84Gh3J\LSE1.]~ak $pI#A[F2h_!aԱq W44P8 Dsssj qZ΂@H#P>?+~ډy6tς6cvrWcĩx)!¢g_K>Zh]b-fkx6(Hwa%P PsAg{W~dcXwN߰æCxleX;Kji2|zkNrpC4ցB22y~"^/`0k!%gc;( S1S#'*8ZAEf4d΂j8sʳJ.g6>⽦Tm PJă8N- sr8fv @=)[]tR&L]SGŘI:dp^k檼v]G@`[.!Ӻގ:vzo:_'NNNL6kۧ5Ȧ"^ E}}Fš1)wބG7oa#~o|xJ=3 4[r_-wP,TD[Q\V9wS(xEsz7TtG0|6gHQݖO'nQf T#RMC~<"BV5 o3^ǻTAV2)+M6u =AƮJczQ0]h<q+ 2"*_ǷW^,{u(y6j.pGVJmau00D7c7ZnJj\k'gyN_b|-!GxŮ9U3(pw *9,06;8g\bhcAՂ 6IjeXG_e^Hid+u'' \VO1ם e>'}0@J߶o֯BВYVĐl4l]4k O@G xn-s@ ])QDQ^3D?vR^r'~q %U94 BҨ.3$n13gaS:E H4?VOwEXCtoomR],WHuEC4 lEh>RRo_ e WӢ LGgn)3= ;)q[.Ͷ!wŏ*PDb^5z%m#l8(Tݮj{F-k9i(lNBV83|Ζ7-/άXm[E-eSKC^81m]?~4+ӉSO3m.l?%+y/ޔ븄_/."[á|a8YANd͠8J'hn +>3w1@j̲| BǨ4LS|E wsidhaO=]Z6ݍ{9_&l N g-Ѥp%(S' ȽèHa$tչ"3yW4'^F͌"I9ZL]½IBj1~dbl؀Հ &)PaqjT4{ v] Jx7$5T\/]$( $8N.IQܷx\zkUہLZqؾ\5$΍;"E !neұ۽{S:AOQW]2i}Am%.dJrc?%5'q0|5cvVIdy8vBUhAB f2;4b~p5oj> q]ChԚ*Ċok1g4 V( *uci]9Hۘ3/ޒtn݋v6ʬ t_(l'o!Wn.ngUNW͎ҮYRs>pW氐/N'A(&t6-x&m1WBf6X0e;[B VS%$-pASIYItdt6 ޱ'| 3_~A s9PY)ݣ`a1.]|CtpdO~f6\m)[pR'dn h@M'n{P@f|j'6|ЊwH_NMA\;b5 [4,NeԎWZ}조F˚1o~ oY]ķc* NcڛqGT{{̓}r~A;qlN ^ȯ)f y3 I#q$-YpYqᩗ *d_PU+&* L/T' 溞;x NHط-f!6 P}ٿIJOj( |d.x {nq3L5U=0/fSňqu~3uM?`,c}BNH)ZW*Q:n=i3{ȉ `ge  ue`>Ss FW6ev">8ylY%16Et*L~aG]A`7b4{6mPPj1]lأNO񏸹-LsFU>+i._[HF5HR"yROC:CEKo QQP-Ԟh0lY;?5~KY:h7LǟP ,J]V&'8\"z @818ylg\ g8nFOA/"C-Q*KQ?@R# EUՍgKeg# A"3>gf8"yeӊYUYHVMcWJ zxmOEL, JalZr߲^㡛+"JtEbyzQr0VA%[(r`>@PH@0]oL<hL/8qWFn%!.U͢d\ O,.]5"XT{mvHCo-{ v{t(%aUmh=/~/mQSHP ކʥV1D{6@,>&+`D",@Xu;UZwlL,΢تkb2ĶKJ#7-K*F-;#_KV,,~+mREoy%9@Oq w-`XXN&cwfl-tjp] DJxK94o8Kb3#4M|7z䶒D|Q9wYqp6 閳bH\A,26iRDC0F+Z`A82d05Zgxc26ƕ3Вb(+" F-$ ooԔ gϝĒYlkuURyzCJ*:$:IqxC0)ՎyA{͕= a[\Eб}Ghx\huRo'm K7'ad)MEie3Д\6}hi;0wuA$s#ћ$Z!.&R)Z/_M_%rQ!I,]OR]^=zDܦSw%X.JiPa9]gбpY-⣯t&v~ Kl&C*ՑW* %hn+BdĐK_Ώ/$jl,BLXeN7 WX،歊DáIszFvIPVrSs1Fo=,{VRG#;.[H6LtW^q* 3#}EU÷A@R"@Alpi%\,f) D=^m|l%T>ХϼPjh_I |pEgYiXԵqQ(\\ @`|6LVǢ/34Pv?ϹB{M;0` :vVG$Fc'wtlAGpPG8\x]`s@bW8uQQƻ{8BtdޖI*lwEN^` Q];TS6X *bdQӗ,=T`HIX-}\3ƍ d^5GܻHQuAblg5zߞfҿ`@S#Ǚo2).mWRF38D8(ksdXZ{%[XȧmdmF´hǭFiZ7^L/F0{?ƾGT9$.hv:U_?~rDB>z䫢!2:pefFڲD:0{ʖ0?u<8sq'_ݞ~E`r'IR`G+Z130 !{NXSȄ?%0] Xv a`o}= 5[CӚۗ{;L65S, TפßH%Ѥ_c+2!QErM }kN4CɶL VY.̷K'P )'9JXռVĉdETzĚpՅP:Cc|(Y=ޕ!7\ď/𒧹˕6ƙ뫼_sNhS μ0Ќ12cTw+^f)TnM~RRHi)cƿߐ-xAkQN Jް |nČL ymh';~a{ A1f03҃{*+&=x(ӁkcI]f0oݻRayi`ͷH8oAK;9A*^ jrڢ^Qh%>gNYŴޞw痁6NDyXO64Wj\Z*zN~j\_=^ܱn `Ȣ0 E2lJ<ߏ'3}kSXƚ4SG~Fm"r6T3'V,')avg_p-<_czaع&.ҷ[̎:VEvoPwm,ie6t^v7P * }.JGٵ#^lL~ps爛ՃKXfV!GFYxJ4.-,{ U{mN=t2^mB"hm5Y2!L^q6(ь*l0?IGlD$%Ä?N};iN k SI=m)"_^fO/pU cYf슴ڮ]`1^c[ s,z$;xB cȧϑҔO)j39wkºR8}ځvGš}փ3pӗZ$;eT$O{%Gʳωt#\J`r 1z6P0ަPL;2vm B[?pAvϚ,-]-K_QFYHa|K~@:D₋^zDT,CP~BS](U f6g-U7:Ԁ|F\7c2rlo@rb!IHjF>ηJEENA6c5ֹW`*'!_FUS zt%h0up ]H:vJXG]T @/r(QcOA=B>wm|aP:>^uG^qN,9EOI%_~($VqG5v y!&ٵdgsԛyA!VLzT4mUO|]iI$MstK%'e;b MJ7ddKQ{#:hT'ť ҂D&LJ6k5Uj7,TߐPlkM$-P YL#&(3gsrCt'sv5,m`Ԟ@`Ȉ ˜I7]M;eGnzҺT.X1hY1!;Zk4 ~rWc\ Ay=ThO!8W}`me^%O4ÝgW&Rx.J}p1sOP)z(a Z U 9) 'b8xMgʔA 'fG|5DŽ c\.Wޯzw Pb~ǰbö{)Q/*@i ahIz"l`t,zF4&O8N͙lJUunz&Zئ24Y8uA(7mCHQhllt/fhBL!쇖.mH,BH$^H_-|EY>h}{:@ -vAo,wxU䮸A~M2m98>RUH+rGE? 2{J >R&9Քt b$^wʗFՙ/W֖85!eܧbheq# q~0ai=ڨ}(`psO2!ܗD? P^WD4y~).z-.&}Mlnj2 ~lmr 5E%fSG /#t4Dd yn?҈lO'gon3Ԟx#+,j?ᾼTn^[wq%H-;TNK+N(=5suK7:C1)ͥLҜAT·S'Dvk'h&F4' 0A1}2$hT6W@m 5=h*y|tq&7KtN7TxcN͏L7xft@K-]XH9kvz1"{yTуjpcM K: лSϹ1414}H`˖<=V]騒VՉ)BZE#W_7Z_>}U]2e~>1睒\4`7Fj}"Ĥ.tU'zRv4:W7!aG='p='1Tos>yg@d?D%1PGʝa˼Kk$Օ/S?˚%=H7N;сޢNG3:ѩM777R&mFECXh¼+i⠨y @!y! "]hx8-+KJ-!"%/2 oE+xeE.;(\@ޯtFHYff;&@fb0* dy_Pp >/ ])q r[*q{n7 V"'}Sn_a..aQŴ)-rGk|nϨ292F:吢ŢYSpiKt/\P ?۔w`;{\iq pN <&; fjWZ'a3ُQ1.,u9ttH%%4Yٕ; ,D%.oh902!m zyyh P~H ADLxY}F )U7 b~!҃*F2ӆqt T:^`= :a^YՊUCW> cEh;"FL2ˠ|4=r1$'7GhvhL( 24d9 I#*xh5@7j2>қ Y2ܵ;x ]GTZLrD fZ@ix+^O _vUxR dv^A:G1ii9qDOđqg٧tҥk nY;rK ԽNkL|kP½nչ6%"%0:H59H0RSŨ„| ZyVc2%`FiLމ*QZiW@X|II"4@wyiF3K_{_#ưMf1tP 3G6>[~PF7-בK)Hr}}ď&x(GL(>"=~gS^hK4f4n͠s,0->qHMMYcwƀc cZQ.<q'Mz)qN{7'VAWtŬ0뱛+'ugɛ8ve:Z[x_%l5FDQN$cG.BȬib)Q1<,[MK;x] I1Ǖ!Kr$K/%{:c#<+6qoVvl ۺwK!H I#%]m*3tZ_q/uVHi*W߃*R u{˜G^f2GIy a,>k]fW{ Xq7fZZ~Zb!|PG3'K~9GlvaiMݡp-t{Ɩ>BJYRSi Kf]'{C,1o[CWݣaű]Xپօy- A68RCB[Lh~7cq L?:Zae23n.@8һD=|޹-{.QAh]YX$Ix@PGg/gn_ڨ; W E8Ssͣ4ԓݨMPƔ"#)6jpyI\łCO^+U#5hpOseyPgF@qycC+vFq>$TCV;S9$z rNo_kAFt5Ho\<^ |KؼqN)b7(yvH߫}N@PMK:j~o7w.Ux$8zq_"_hwdiTtZaY5Ց5R,ys]ү"-QrC;[d?Oi@sЄ ܐa!$sܣF7gvf i\A(hrwr[H궈h _ݮh2>\Sɿ{BCP)2 ۫ v%('P!tqL`tMb ڎ-{Y1;-!=B`pO8^#>\~agz`;_X/LYR"TZˆ_8v:=AA9F+N5b0GO㲇Q@ewई]nEc!pAv bO]=25"l39CqC޷OTV _g/vX pBIgi|I {[ ?vI(ݍ,djMjma6C? n_x!AWGz~')i/1[/U쾑ԙ˾!"TIХ-ii}Ω SA9ǟ-qyBֈdǓyMaIlJy 'V3:ɛwwZMIs@F3._& ~x@@SW+|iKWPtW)RɌ5- B?`&KTXUK6Ďͻ>-;Mb.'}ڬtݢ\¤ ;`jVN٦4l9֙QYkpD {%; 2#T\͍*;4rBg\y5LZݶ̉UǮp{ i\F oPJx՟KsaV|!a{iGJ`,$P &KSu>DYOx/EX13F?ngNōAж| . I`]c-mU#[zxh:vP֊$11\Xza2Dlc}wngv:8TWFm]"jFNzoz,1F1 /óI1/8h\\.\& Վ ֏l%͢h[+y\a4lIRPHsY#OE9H1oyL[G ӔY@eؓ\ceGAGnHze'E|rq<~2|w67Hp3ZUE@kT\9j@43U |pt~U';xv,jx6w9R.-QT1t1$߸)KQǷ:p&sP%wh#uTθpBI{xX8o#-6PU<:%yj uRR;n<8:2הAԆtM_/]s΍l .#Dd>hΨSBYνl:ςR ԛ9gRB +|UR<9c%2Oㄉ'fO*V];xBx XV`mE{\M/2O֕q\+ 鱱u3D};P<bcQ? : y(%:Wsϙa  y`/I Q)AN5:p1쳇Yix1/"&h:؀O.al1w OjW1ऐb0k&Pmoϒ*%>k{, \ )c1DBc^Z]2JoS4&"˲ [ǙT6 4^FX 6xiޘU#%bie@t`ī05qh,AƉϐ9Dʦ1.QE>#4 uČO%dB~)o'Jg潌J63xt⯉rL7܇1xTw`u=dRe,k/5}PZg^bJkHedS&:?Fo2}\تnp1~Vogϸ0V}8IBZFA2 Ie1PMd5SV̢cyxbg.2n{^҃Ts/q'Ki?aNgkMzΒ c1GͅF"votߟA|ÄIRݤZh@=/-Ti(l x"Cr+NwzOC}@?t{${k/59JㄥT/m"]B7A4இq:GӾ_ikRI_BIG(- & =O .ctmхځQ܉ 4)8 [BW Q49]lMc KqSk.(j3l:Qʍ2Nq2!Pao v&)c|3>B|HG)?cpzio3D/0i MC^$Yφg @" >/ATKeJ#)=$Č:wwrcY*@w(7:a<^ߊȃ FJfBsF` 4 U~CG6ERn 2MQ˙\ŎͰMC e- mE_.ԫ>kLG-na3aR FMc$CFBfO=x oAq2[a(]{Tiy 6—)@ETž &3{u]@e*sA fV+Nvlfv#Yfl$ & buلj,!i:☴U @""b sU%pIg%iax®l22I( NGT2ޝOЎxw"mPXA}rL[߱qxb]^6UXt`TXr&X^ŨQޓF| sr~a7K4x7?k#mxjު\gh"< ]D>} tdˑ'>Rgg(ρi" c'a͢Z@whֹv2\MB|"ϕx)¿b` _pn6$8Vq\P#L2feK31:2>Hc0qYChl:6I|y'UpCpPմ4c|.E}l}X]ݻp|?$NhKF4W>;ُ5Ʈ| >'ė-ߦCnٯ)TRe5dwf!h B+Gngt |׻ڈ&HQZ8hY}mPw`9E%YX U {BV[j?5pXk'm*`PDWpNU Z(I5oZ*i'њv =D1s4c#ㇻuZ:s93dŧ\Ǜ^.>dmw,Ayi3Ե̡Ąh 85_wm >kUsT? mwЬSahV ?I{S 5!u잤ѯ06 :FtV:$k5q|-s\ V&6zɑg*u96e&Fk*/ ?X7b+=6,Wܛzh߃۷>;a*b  _SԹ[@Qեder&p}c*X6LB t' |F%6tWpKPdNN fspO?5"Ul8xq>>iQ`P]})cVMAjM гRN+ۆi-7G7~zwH>(B®v\SKB78]F:50C3\G^N3^ /6[X`.rc>AN#o /δHIX`þ*Vg[ʛKqp ,C+ )D& pΚ OYtUr}':Փg ?q/;D ^܃J#,g.G,z\Llpw,)¥?$R)U6Ke"8@";NdICd`b+A3;Af}$MfUѬ7;!}PYֳ!AzlMmtDP4ΝN}tL p\|! ne !,=鍋"q~'ץu,vrvSuM,`I=W*_4q5~B5վ:i("kzm3*d\6v'KW:: Q5E5huV1]򰙌d iSrC}PCD:z? `F1=ox/#bDP|%JkƛxU IɊw& eSxy;eKd;~Anq:㌥ 3TC{k+̓s>:r+$M?j%vC&&s'6^7]KBYp]W9IݬG:j C>!l|@{xl1\ G1)8m/%e)LleޚC#5?ny*^E'=6?A@me1rJ3$&53Vэd=3#7z7DE$QEdU]Y{)=Qz`=Ble\n?1B5tA/ 6lH;hV&kIZiY%96EUp+”K_Eȉ-̱}уͺ;aL0,R#!!P\qn " H{\X鑯9c^ӖКq?&^'2AK|~gNW0 <<fd@k:9E{&q# lB+I|4WaLg|mE 3.1/!~JMȔo1sTjGr M cezGh~ FS[UAr="cx./s׺ge>XZ:R[B1 ` BzW?qec L`evqp3Pл;"1ʥqRW޿+9nb5&˗<τIg"' !x:j ӕ|Fª{9l&:$B?r( >%EdpBrMј3_ABUB9p'b+: !K9N|>Կ9\2}#vw'.L=']ѧ@HA]ZY:t+m t[VK7vi7S0|񭇻ueEy]s +x °3X3eޏ`&:]Kz^:v0 =ZcGFvF'xjXEY0D'c߰ѭ\vTls5/$yR;nCK-#_&p&_W]+ւFxۖ;#P/Qͬj|+ IN 73k6tT!aO$Wt@,ΊLrz Q:+sBHX9<)dx8aօ`mP:8޺#9 gYZ,S<8+j+Z!ԠkUwhu{-&6$8h͏R![׋$&R| PvG?)~HHE]0SR;P:ؽuE;1 n6m }QJWNciN߾GF>y3*0>Ʀ4_rdN:D zG' q{AږO F}r9,^mRu q2FM+{3c4&^Tq,,:jΜH{),#b6˄CI/xWi͎^ rl|"CT.~.RG5N #b!#jխ]JJu|ܓʪ-.P1xҎB\qbi]V@HIkqIVL1(-TĉhgYZd504ce6440a18448c6f136ecbc3091d699b2278a31f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 93bb26101d67863666294058bea6da4fd77251ac e9f583b3750b5c1e76eefd343f7fd1a670ada61c 41e50692a44a746fb0d98c1dd9e7c2f9637b9deaf7565051e2f0de3027457b850fd5219dfa40bbaa