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  t%DlT ]/]HOL-Analysis:threads=6elapsed=342.453cpu=1717.488gc=77.444factor=5.027zXZִF! }SZ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$v''*l ޑ;7O ҭnWz\xv\{ si `aDȞp$>rk`#~Soi*G=L~%:0HgUVW #0s 5BPNZPEt9.ò/Լs#0M?a_NҢfb¼*FUKVX{2:ׯdl>",Eή,I<"3 Cفf=rşo.~-( JϤC&K@xu2{pϒmM143C桐;tFUA?%oVIZv&TI('4"->n[lv@#'M%Q&k϶7-c%Sk ʻ+vm|Ov CUo-nTLMރ*a+}l?][jg%;0iѵtcv ԜecHXVpL/a;f߾ݧ1Y! ]뛓â tD:%+g 8 iapeyԜB Gp ")<9eOt%۶}ܸqD swqFKrN" p&[ZHg3D/ υK&D sQ,Cטhz BەZ`yO}1( ? )l@ kL*; .?↓³aWt0?|^9 ~fV88Snawx[/Fe ޘf% 8,Gn3 ׾P_Ϋ@_CGO- ϲOXx % HOL-Analysis  87egzTCI946)䦫rՀ Ys6&"gLiFZgx=`6ְgG5]0þDy>gK QO)\_~n|T=SDvә\_k";Sv'DrLHGP8 XwX/&&5I`=9/Z.et}瓪 䰼q6*#P<\D-GpO319 |Ņ͊.J{cx'8##{ֹCrl5t.ɔH$A/3l9X"}b1nSAxHE6 i&1KS1PN,3B1v WBKm2d9'5}Ig@(2|TtOB;kq@CR|QD%`RŎQ$6Fgg m^:%'7&\hB(>*͸l𼄶7 +`C_U}m4{p'_zj;w=u"q=6C M|M>xz7y4yBM8nΆ\뺜Q]eM$ggZ̘,47zCϑ~Sx;#쩟>K%tӯ ? WQ4ɳQqJ"~a"a=+JKGI.}kYNx(.v#< BVϟ\+Q!adA2'\uxiEiп2j D<߹vU "!gZ4s2ag,gn3#3ǼQfUQ7x~nE/^ ?)I؄9%ERo40D y( ie&q`Gدw׀` DnELYZ :dw^L@(D)Q jvdmU6}vnM2RGڽXJa/Q.x c0L0i(u8b#]o~XnzN7ӄmD.vd[>:}`cImf`[ Eh%QF /x39 4GVøʬcnio956BbAA,{w (?\'OE~,xIڷRewr[v Yd@>ikI~FN#2^ui?#?[ s2>'T|(Ef<k,WBR@Q~GhO¢9"Oc-[!)ƨe%d( S%Ha~V89S\Agrr s,* b6PQ88ߋ"ƚc$YZAĵ=<+gdYә|t:m`~wt-BI-9E PR8,*)ߘ8ȊY_Wx7e۪1z55%⶜MaB"D3ϥk¿Y@cLk\_L6#2Pdax a_0KI0=>IBVyhg8.CcVҽx߯dέKρ[ /zvHU9c@2a~])dt,VRi#5jz+z979ڐY$ ]_ @.|z IQ<%JCky|]ҸIs8 ;xSޙO1#o<#oX/ f 3F'"@)T&:g`+g^enE%Uu]ћ'|}4$rGPN(B/hXЏU<Ft0 _5yՌ]H+RK1ZK,FUg%k)EhĞJ-3E/wܷo`hfRR[lje<N )1ĸzoDJq{j*{ljB| שl<KhM3"0=ӭrم ‡͐H>Bj$)"ng6[ǭ ($F=E LM%,@V [6!)XwI򈌫y.xb(V %4kb-^Hrvf$g@}lZ\}@}ř󸚸QiYv\9fSȘ8JqQPtf.t[= 1zc}j)!]vp"pK:UP*>QActxCDZ.b3,RpC}.4{HHMS" cBaI" Xtt˴I/@VP薾 ^a<-Zg qv*KPKcI!@L#DW=~ ._ _gL%l~<& ]X:q? oϢ5me*(|"=q6_ p2ܕY4LQQ,9g DPVy|z|O4wZC>N\J>OSE8լ%I9ѱ+ leƈ,$ޗ-%x-i͐e5*]1ei:./ v73b o#NCkr ̄ĝ w `# uSYS!G/ (1g%b٢#,#Tϋ>F/˙!o쉄V"8h˂!F4 IJg#k65jx+Vm|f,&WfYZ|3Nw? هh޺:eQO.=6v. ryk]}6<.mz`Mײ^ΏFݾj)M5JӮƈ>q&pЙ=j(qO*;%rܕk8dLh\_8 X`L?'P ܓFF%&`ۓk½pgl3.1C=";27mfh(hV'+$%58iUXLD(šhbП3v&uYRXJѕBLnIҭ-w`F:}(<}י"8cUc%W“ж @u^;a 7G[:k7^3̥ nB\UN\!ƍ9Ѱ ` rX+;Ǯݒ0=$}؏BLPPh-)o_^:";2ųÁ(bK<Ȗ*s>dK/m.GSRL[teB@.mi=}ǶOpmvtp}NxyZ ktZ36h+굣N6ɽ@Dt_%r/|q=VmFPfc[eS`t4<,Ns9stCr#YQ>?/="V3.UGН,CRҼ/5~w0h(l, @@T2hRwvawuI%Y#U(H6~ÂVry`M-0D:TN7R-R3nkjSO/ Qd69w6ԲZo@T]'uۑ~^)^D;2E`1Bi[$YR%Cgs2Ϲ6v~ez$8+rLRL>E ƶKT#k`velm*jrULׅd紧ġ i_ZdvIAR߿RI3i*;u6. q!Z^Iٍ 6Ǥ<@{.'TdWѽd(h*36Y\y/܊~'߱ Te{3L#.qpSc iDp*4Cv7A'!җ &&(dmqriJ[RX-a}DqRSrB _ ;jl .r^tZ$!Ћc 3bƻXB[R?+L"Ԥ* 6L).oHto@p_PRQKTTӈ3D#rGPnڽ)L:a:K -z E2T``Kqv>zp-ѪX)zUU 脜&uFBc71d;iXj !JʭmAMsb"z \$olՇ{FPwcPLq3qJ_w?teB٫|ǘsBA FAۮEh2e#4S W ^y%RbI*w"Źc^4Sg;w1V>R>Ru8A;& ~_UGxQցgx'(*Tj*yU!{5kz̃>H Eimaǰ9*wS/$hss)*5ەAtdU)T^;#xkQ3z|~ٿAAVr a5j2`G?#IEc֟rDB4ԲNaL2jx|ѲD}/ fFc_I|# ̏Wva"!NpӞB~9Umc&vzurA:r-G g'FO:;V8=ۂM1b´dB%Lc D@Za[xV=L fXE`[ӛ$#npr l}@g=kPxF' gp  A* ѧqN %i#.زޛ޾.Utck qLګ'O~H;ue9 g>A'*il0#93|ޞG 3N R fɈ3YElJTgAe"lrx0d95v*qǎb GH%Vs*:5있O>ug%ìx<8,R!'z8PP3Uܚe@匫^ZtY")R9wtWFZh PKmEHEvh{')5su{`C8P'k1!3;Ęaw,8%(T i3yD/Z oޔ1"*joPZ)k@SIOff?\ M <;RIrkkacp8Y2i~W0oin-;({oG lM+kZRAĦb|A60Svjx/k]OȩOmv$4e ȿ66-o'ȯ90^`j'ҿnw$%%=[<.T=2FvyP &ɘ Lofnn' 8YH[Heɧ10|D{p#v擋%[=Rv1mΉ>wKtJ+,M@ڪo ? 4fK0"_A㙄.]/Ŀ +5HU Gr/E&tBN=EѸ-~~%ѫɣ*.<6 ?LkqI9S53wlV檛hi9cOذy ȽT}=b=wm` |{l SƖud_" |]VgR/~S6y?0fѧ5[w8n1&v=g ~"Y)0;]K@qQ=\TtjjщW'$f{Cg,eJ\A eNm[p?&/5;u>M)xG-u(_:M^/QSBC!!&ky|:-!WZ5b 4j3C)&L ~ -xb"nl6 r ucv2z?Fnƒ*AWagGM s0JSm)rSJuB=MUtf7TG29S'i9\6@iz`a8P7  _`L_%e7olGrxSb,E*]#'5n#e&0l/c1@2e..Ej=Yn8Hl|Ǝ^[8$^o2~ Q&Ղm/(XspeH{9?jطCz7mBUP HfB|WqǨy߭?YHT!"=1?0v‚BKՇmY= n96|& `XOc!.G$zAr,5_bݔN,6iD81vB(ۮa8oQ6xb(r !$.=nd-!1!Љ(Cqה/I;((R siհ̽H>E>72JI TdK5$tc&V$2a){k$do6r@(l4=;[vd؁<\RjQNtfYk$A7Q;+Zpb-;lfMAt&OpZ+DĝdP ň-@Ø2H8nåa^ me&\Yh `~YS8Y5lF鬟۲{\R9%&GO3*pTh!'vVde0vyզ[{EG"N(~ |RRCT9,+a$s4yv:{X.:BgzuaCtR7V+VSQN1OV3oGcEC"EtBl)B/w8?迸;)>.$Te7CmwZ7b siMxfק_WE*(4 *6ԔLM[.]z'oF?-dM;-qVVWr\XZ(k)Z+j=bE9!"y o1 Xb]+È=|N >0r*#ݏYpIr18!U4(t/L''B㷐Ϳmr/ _GQm44ɶDٿHuA _:Apuax:ABQJK0Iܰ=4X巛#j8m 7잓j3;OcINqzDPز(y5 yMEArs]3Kt^gv/+^EIɢF_&JƥUOLj-@FY{`-3} vF7e *0n,x>`+qo@H|OffNWĈ/A!n^w 2fWn[Rũ_ˑuD^12` y+[v8@뢸O+`B7p~{+QܹSY'=w>0  JauKÊ^M=#᭢"zPRyP_f{C'TYE&jDwenI,.z\eK:BVl&9DB$Sw aCbCO`p?z5N<xA`XS'-=@ÜZ=CR )=c KqS?tʯΔ=.FfS7ۿ&b'g2c-+_6~:nĊFMע s-lG ' *Zf/sE.K1 =PYnǬLc쭖Y+zR|^-&fPkgbvH*T* E↹b6zؕ)2Sk|6hWrdlWtƎKPd*3Fs{DމIuOkQ嘠)Pnnܷa~-qyi%N M6bu|NjE9.T`-F~B;N`wZ:_P6BUY`I5 sj;99Eey1WQ]*Aa1_>YR]-i繒q照lí7>po7z4αEs1s Rhfy//g8IJL7S7fϠZAG(5|=p/"7$XgIhtEVP8l$JׄcqlvǑxl'plf2mg~ lCyUj}LPA1_b_:q\{ [/F<<rz}.\2X}v[%Y(ۓO~睦\§` Grc[ ͵CN JvVF;! lYu ML =oԥĄ ͒>Fb{K_=WfLoXmFpNTJh3 H'at0LGl oQI1h){%Ѭ3_4Q$dFX SOvlL]z.$`e=- 0?DTT7b|>u43UӘ5Knֹy$w̏}l]{T",}JdWn&I! sx7sv(@.9iL tA![0 zxbk7%U>$ Cb2}#OΎi<}'մkʥqgI`g!sbbz Q@pp/qT *,l+3O#?0#X2?ޖmQcyZf6TlvN9`9 v5cƭﰜf 8(7 rV[s|X3G8aWo];F2C/Um2oV(X YJg\w ϋa6\_a\ ,f`P'3T?n~$moHL3>;Jݠb+Hj0vVh<F\9Wob*9sȪf9 wj=ik$]%M9 >ά3N EK-a1@`h#\j%h- k2j cGMC6 k.Q ?øLrL7et)ۅ]O Ol'+L^\DBv~W +,C"Q;Htm>vy2 }-O_֨@5T\G?MPiu2 *u$PgcHD珡1LW__|~K/zq彵#imhLo.# &2i+wmmlE,&w95+ D.'#}1A71R18~~`ԋ͏yzՉϗ_#}QO?hMGM/iGRlҏ!GGtrUvSAv[ִ:*u5w0T/Z%ZMadihxAb" xfIN;GR浲bP4øk*i>t0$ EOhrtľfօ&R0қrkɬ3Wݚ<ˈlBYad F9޲c|&&(!nqh"!P!I0 `'x,l&S14Їg4Ţ6>Kz#t1E+U hgX_Ԏ;oLR L*un$jUSggم40^ГLGߴfM Xl ں#cṔ341 Sj؆V8X,i4>s"GT ːnvE)T:vx1GMd 7;^|^ׄ C FD@,M"P[1 L9&Uhy֢nS&T6sq pݤ E?r䶭Ћywlg^d=Q955 niU }A}8boRL-7x(n3I΍MʤR&(mXM {rtJR.]z-6um?\DbGU'Gi[;qvn:9^\CV>1"3["+qOI<ƢN )teu.KdЦdRm@aq'︔wHg1ff(+3V7]e%.萀'iyXoJr.g|ch9&᛻~:[KN;i7K} E|W<8TEZZ y-M#Ocĩ NaJ-ie|ۦgI}UhO>qֻ7(Y[]/xpqy@,YJx& +V'4([?Lpq ibAYs%ۚ63fc:SwaF+#7̑ٸ˂:nB iCcrvǦ#ehBO iA Ш~Jc-NO*+3\ߨ{jaA:MjY/S4{fhEzb`L՛=0;^[*m$ࠉOK)8sk{qMsvZI)pK!B0?̰q; \,%_L*Vx>/ @Kڽ!jy0>^Ydi ez>z"dx\ȑɧV \rPw{i gKQp Eºj}A ;-QrQ*Ǩx c{S!zd8G0X1y?1c+d]qDi؂]ݪhp$5\dMB[8-aOUGl4,!Hn؉H,&}gs)w4MG7DFwuS1w! lP.I8Ή!~&L,Oˠ n5\>zw ֺM"x[G [Hq=H@`f [900 k';yDQn'B9[%e~@p=y2h>Ԋ JIۆe*DžSe#!$֍\pC *@ʌn'Τ΍ ?^UjɢX4m(HgjPS1F2F?BQpv_/O8\8lkJ^3˘:p}Ag8K#b RXoKrZMGRf3vk̤eŖ=[W/ϳ."}˛6mbn*b J39$Ŧ4f b!"'‘`"l]jFoeABbڂ+~7s:e|8aMẕz7+۳L- ,:PӢYq1咨E%VHҭ=s يYBps玒() Q*D,食(ÜtpG Q®YV kE/UƖ( % AAa*~Q:<_4HTdw>2G2{i"o@+[,^I:;X?S=?SUiL޲5Xx9% 0/-A &5'?qzL0a7ݒ;cDd<"{o tD2e䇃FEtL)_l2 \ ;-*1'5yLg})< 7`9ʡ_"GmL2(V{ԜVBܛ$5 F>C3??TXB[k(JXJ%1w(o DۚNJ&(O% *A^xy=@Y~*== @G d!埡RRQRL`:-ĕ崽 2}~~(),J+&,)%4I&,\TT=凌\Gqx~u$s>٢ or,NʃZJ"%. o0BbV |_~.-n:E.HoUUBe @\gX,u VPAwL$ev}o.akD3Xj )L2[߽=7LX:^bA?)/SOuEraG \13ƣ/N3k ?ڗX.<=,26x!q8DR\ όٸ`WVXًc؉4}DstonOus 0!J[isD"ɰǓAjwwdm#|Nzp`h Yb߾*'m&*{ZgG `Y= mXߤ+|3u]Am~kF hzخIWQ D ̛)@P g jqoc>m_K H啌yeX4؛ӟ^O&Q1Mn+@ J2@1#+\3IB= zvTmºYh *ZbM/Bqv/D2teh;ITΌ߸ { joj8 @ _K]"l?MTWk3'[̞eZҀ_"t]'&$? c=O"6 ף_0/k6.a/|(m Ƨ}0z*4( 2 +r IٮdOcۉ;, m+}1"a'̳ЅnPPNNS)+Pt [=נl\'{%PŘ/(_Y8B x/pn 8OK:] ef|5w<|d ew_o\i+؏.]^JK$7!<s]eͣ0$Բ0=f"klwdϪGJQ2wY ]"[o~tva3k~ )K|5{8b~AxD.Α5x6_y.3C Dhh̫^w"LJ sϛ(QgaB.hpTj>0S:#g,Λ?{&;;DǤpqb8nh uתs7!b4rU5 Rh$zsE1p)GMB D:P aldHo#E~S1t1sQ/U6C3 Dp5 3v(Ӫo(5ryWߕ"s]7Po゠W͸)WHfF_HNﱔܪ_k D돧 ZN#q"sz6Jc:qOv .U9S^ r wz"5p$Gsbs!`K8:N8ޗ:Pc$?z)`c̙:K&͊pL<˞J-Z\AwO;P|t.qUKDIN;0ޤmsO7Dwmxa^Ʒ-AČvTS3=\濅+ow ;]ߡ =_%eU<{ےy->#(F+C`ݗVs5"}]V"[ͧRĪ_dRtY ]4^e}-̍ʳxhAh{9ssp,7Ew)r1is"-TCHy(0kBt'Sey2.ƍg/7!*m;{tf0:qKG]}ƒObMqd/1#ڂh_lcB"aN wFEetUO#@ub1|Ee= 3P껒krEa4Mg j@J; i)I-7E؍$))YZ~?|5XE,9떱6"lq֍~:}``AXng ߺ+ć$M,o8sSob.8rr O`Cl20}$ uDe;h*gzbγ0LNp*"vq4h>V~v"=4,4 ED/'Ч \|̻ï5׵Zl{3Œ*=/,9BYmӆ[ p3QzAQ4O?PxЉ$@;F!p#9Oة)Ί|bi,q*x4[e$T:F $ꬴVgG^՘ EBN]k#D?$^1~a2 <-d3-@ɡ<i '6?H6- oH O/kmhgH޹-ߋ{c2_ %N]V{OrK,1)?, ZqAgcGVֽ3D({(.}SaPc49^uЖOEPA#-<WJ.2}W#୩F-82CAD=}%cl-9h'Mh" G;(+>e}F(Y{9dBYԡQ>УQs&)DAmBs/Ҕ}Ui: y `Ӭ~P_B1r:՜]cD&ɾ&YH5hc`֫ׄ6R\vw&ir9+/yH0Raߢ*Ҏ&DwR|kF @|囃+=y-Г*h\B7sw$-gڜCêB(^ix$耔1\㒞;%_[n8FD2C+rLxfRj}>-*~蛋qb4&/ YG~a˜-:I2eͶ!c)! `_YrQ2Buq-EkBpYbA>`:BY&vC6@r$B0NQq (Y>{;snx~9bK23־72T'#LZ|VWYbq縭C˾^PYf9x, B|kƜId5GZk1whG";bcm9S< +/HI-W> &j+hfP'l[ra ͱ= 3HKqae+"ceql CW P[)ί~OKXHJ.6$g'8w^`"~5>HbmsJ/J ^?ЋUzw.r4Ϲ Ż6 ٹ=oZ [6ym;ג8u%S0;0~$g-4Tn:|Se"o m=ru֝x+"=V̴@ S3 .c=kgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4!3Kl HOЃ ׁ<ed?}*+h~k.{*Εw@$_YڱֵZ!35bڇaTcmMl;@Bæx74nƸn\r_@G1%|Ϡ\&P; q=pEq\lA5ޅI^3;wܬP_ 4kxbaxD}N$h*a@:=mLtRB悔:0K>CTQJe!`JG$(gdlʠ{F_ݻkG!ao2ƘZ6z}LJ=^nz3}$f\!RDnsPuʬZR@nP2/Lq(?\ 9@v>9猐J݀cbS +ֆѤC#,JBj.Dշϝn:4Sz:?Q+=P!X*y-߶^7| U~b,p\3^i.Pk0E4WIIclb|L-s;B疭Sx?Lt?4ŷ;XT=uT>V D4Li#a, |=p%+LMr9oFj/SNFdI0ͮxCg*LF ZyYVk-{XXI5f`*Tvz"к5T=A״<&1!cJsRu=լ9׌@xWy8Dh8ma u1jPdt۳1pݪ||zK2ITJ!MpUb`g)#Y;ZW\Z5z(׆<" ]fЄihDE4ã6xlJa9?5.K8u"/FQiT zY"GdҤ]rn Iڹʁ qOhUSF _㐪WP,5rw r"y ޫ+WGwbFk;d!='[N $W1%qQKmfhc/9cA((akrϟT"2AEgAHϸ󙽊4EpI+a&װ 8qRWEUVM羼jUw(i ^e $o;Z\g3Mx}9̔8ܻБю}*_Sջ쇦,! F%"e ȕ;'aY'Ye2EԯI$~9t\/mAz`/Wu)}mڔ*SkFd+˄WZv{{D8fO[,.I) i`no)UӽC+kEJNBQ439 OMɚ6 [T.[Y͈@c\jElvIwC]i<'X_^SF=P/e;sa%Y.w0{y /2\}Y[Ug] ΄.fS ţax*YK%$>À7w:p FtcMOC&|2S~s DI7G'6k3|ƭGz+_fJk`p9)3=Hj]&zYY,!wrvG!q134TF3*zdBEtw|K(gHXs`~سxWj <*'$%]mrƽ eཞo1[?Q_G0-ks%#)M`uhhQx^@vX+4jyLqf9<7?ĕ O]?RS"U)Vwb#ƜS's0c{[io 8ddY,C9,td>7JqZ}fT|$,m *\m_RfIG!9AMxN$0v55=Ʌ2rŧK=˟ /D,j{'>Ũ쁯vm>ҞF'P|O=z& M O`)p'wPo\eNAM+"#d%m0h0ve%lǶ#ϭ'8uRrS#wUAIwPcp@P G]ozymz8%.TR# } '`:>6$4FӝX?>upU12_jI{i(\'''9N¢V k9֪fvE}̣YM 8 cCOrI̴̚wFD>Ъɽfh|[|:Uʡ@\qϝ[.3k|F2C}Q5qn{M7.s=%g!nRgm:yb& ʭP4"y7սM4Z n4M[ݴlpK~Xek9NfHCHcVTPc&efvVqGd7A_sDH"]~O1_X{A Ϧ?LGP~Ӌ.,'QOE?Yr*҈`eݦO|c׃J\.md+G@6m::h[K $Îۤ/A܁# U3j]B}G^om"'!0Vo[~7v2F])\1j M+N3YĪt| 'A@Ji`lO HDa"Wmy*+ޯnsYY3/~33?[ʼq K6xEdVLN R4$SzRK+N 6# U8C8څ#CIBa^ҵ?;WǸG5om(Y)p&$XhC|8~ 2YVx(FvU4Sg"BxM/hjʏ?VE6V0G}2X8N{D(=! QiH͛Ρ.HmKRT͍nH?[e~ŏmaYļ蘾eR3`G6twS9٨NQ*Bkaق%ʩ]Kkr=^l &(uƕ,^c8k- 7]T6K_&T!pv /8Jwf &;cFSWmL|E?BRyRD'eb5HB]Dq>Qe4ʽOBE7Iwa C4>r:ZI߉ilYezG)5^P"^TMARJG3z?l#.':os8VX۩Z?kfCy1vaҺ0p TtQIy4./''[V1͊τE%T '"}hgY’$=)Wr2OE<9fAS!TpUw{did ^\/Fg84CgnZX|N/"UMuno3?UL ^t@. cu}Wmw*bJzDdH/w%" jXni(-J<7SS]ѮLG\`BIxN1ܯw,&ֺVj)q1sD<XPۇvOQزA@(O %zz ߂5V'Ϲ|lnd3`ŕkZϩAk#>SZ 9|Qok: -hr85ҊTtlS^8g}m}c$M/%Bhfx¤&)ٚz^A}w$@pJ̀<;p^s]4G*-͋4gqҘxrb76JvF EVw kI&E|#Dp hFgpp 6 ']8SIߺtF 5!9 4-jv-Qo)֐TH)8! ;ymepZӆ| p. /J[ IMR޾< Y,~`79'^7c6YNx<҃:36I,phS_}K4VJ_(:5&7MhjY^7$u"?ؚqk~z~ynJ[S Uc3LHW[H$6/TV͋KvݼO̒qGeG$^KmARQuSzK0𓱓CߑS@܁HZ ћm:Mc=n\S5Y;ؐ/`g68 m$&)\U6qJйp 5{0shGܲ̂5'Ng-77 TjZkG"0.r=*V۵l^èOIThs5؝5!2[3~B5TuO =Jy@>DzNI4G!q&ߺxҼQjFqAX_g!ncN7 t& 6IFŃGgbkCmd ZхZbVCǬK?rgb&dxX_?Xݏny}LA. :=CBԢ6NÕBJAծ+x:~mC !vUf",Q!7մp4hưkVݣj2yuZw!#]DY @\]!%[qA6+EUS7h=Goc 3b=c֑|`ajRp||No)( %GaJB/`Ł1,QiO~̑[c㥩isu]=wk\b[(r„WU6TAKy1qIV R[}N[X6`!]V ' Œ0>dЗ߀tVB`wN<ߘɱ4y)\Ty/ ǵ(QBbhE$ `t!/Gr4q ed'R"xti#,OYom4Vf \*޴8/jq:dn2t>癄q&Nmk=f\j_xcRH;1;2ZQ,ѡ#RLRR;J"\ uu&!-WTvy&t[Jjp3//`J(-95~t!8"nq>oE::t/ pA].Op3 _CV2IH2Y'OoE*2̽M9pHbOC$z!`8\ B2HVdxj<~3Ҡ)!ʃ{Vy|G%Hkfc }AՄw<+蠿J0ub,ѰRV\DHJ!N17#\GsRW?w9H63|Ia8$2XRMtoTߵ=Yb^L 8Yi$*dM#c@xZ``{nEb{nj]-ijW'BL!!`!y耧5]lCXwi.8<ꌃE)ˊIrė!ڗDtfgڭVu`zI cb$Im<Ҵqv\_01?hIjtR'WkI+WL?LĺU묊P?7&t Coܷ)xϻO#T˷۪xkbH__Zr(!!Ɩ܁kmDf^e@,# ž"])bvJ@U( _]i7: %z шg$bDbo<rcb!'/jY!ͣo`"ziɋ8}  5+MI2'/~Ɍ,^;S3 &$3pj^]`(Q̸Dv?E# RvY4T^]$XB=~7x!QtEy#^o^S4\!ɂ~)5Ws3X8B-u5[,ڑ?OgEer)=J ઎$뫽TTK;YXuvxWM}V``}gGdpA<&8LkYEGin/HڥS@). h>|0#ۙTjk~۞=\*}$|g oA؟Ikn?+%e]%ag4 +1K*_f4 Z<~BoϽ K(pULH왏F2&o/KPqKa0%H졗1b7)?X1aȧx˿S>j,^G>d6Buf8 Dه9dd]Kˏ(ju~Tog-X*)C-uSA\n c/ Ƙuc NUCj-_ d>(մx,DŠ ;x!kVU-ΔHj.>د Zȳ sM`Umbk>;\+ g@^KB`Pa`yՀX[>N¦+ҿ+dLiFQHe2=c&gd6tE=5G),R1ӋA*%ė,=C=`k˟đ֪Eȸª[U4o5h4D-}=1`W"*ERSIw) Gp7ztx;sw HXݵt8ӇH\!']PĎ="FUʞ6ߺB48\H׍pP@WQ!8v+No$(zҋT?7)!y- pDi(zgu#[ z]7| ^OpEm}]2HL㤬"57{bL8 fc4_ 4Jw<7|%_zA7h9%ΰc r? fwZėU.:sF9c0 ;(*ŧ{$vqx] gJ,F$9*z8FN%a9sh$%u,] Sm^k`Kx- Gq a?❱ᖢ$~qW6* D D*PG/tcuh(isk ~[iבu$?<ȭd ,`wVPԦb1r:ICeU-R$h^v7aN+P0&!WzY4WAaKp1U"B %:g.i}8ek0.!Wg%pa G#/1>:|9UgVa7"^3_аhVȞQ LEg.Ku6P%xj/:Հ!q'yeI^|g6./;p_(;ؠc;2V!)+MyXo0W:M%jE٨~j`kjxl0(jpJF%|je':2Wxn)svq>c^EFѽBbAG=-W7+v*# NI@|z^Α֬e邵Udl+b:h($=c9ap o ֡8ci%{K4]W FZZ׼0vla˷k3\l*càR~k?s(E~Xj {AV=nhI0iU쇮B_Pn#t~җ^lcEfVbF( XǓ]|LwԚ)꥗Di\$^8r/I ){ ѯH8 e;[0wxQ'k8s)ygH*AnPY-6@lGx2G1nxS>Ɓy~$P(.t/"Fӷ[@!b`ϰP~g7U,&<)sm@U1PzB9Q({Vݖ_j;ZOvl$$ PXjIBI_Vc|*DB eMݢ|O :Nes) iџB AA#a)0%+<~ ^V6LН%` .\)\ALŽ~pu]Kfamǖ-|3ƚbl q#k?}R1~Kx#p>T!͊;$Wp=|]&)t0O@v fdz;(8׳ʰ{aϫ^LнaOEj/,k픂jH_TE~Bv{0;zB#<'ک)R$uo!y#^MQ: wn {`(>n6s!bKqEutz~'-m gpwNے!Ox ,>yS2@~sFSdEv~& +` @0(ɚb}`]ƣvjA$놓UBE^U hEZ]uەNz}tzT<7-Sjr *rei3F˝1OS+nh" =|9v)%::lhq$CeGg6).ہ'uKAP'w (0j=.ItWYm:aUMhH7ɼ^;[Ps{Oғu ,Hn5N~3JZi~.S ,OųP<(С֌H,m!=j1XªS3gZ ߪȝ$7흆 2 6]ucr49llxJ!χ$rvB]w4+s3TG1ذxF2lP*LZӝrpuIV:g#0"G$Hm2'`rv g"&"k©uZ;Xnil+.v [t`~R'Wh6^XG0Fou>?ϼ&ߣshoi5dpY #:Djk5M!vI / P!^Kg~a + HnRy{V6mf(D1>L)3XXrW_QkJ!iPQQz2p]\E^(IHtT:S;`\.>",^ğ@Gq תLo^$nCiAPaRO-钵FjnMplqPtxA[OxRo%цsd3޴9Un`dǩ{^5!lJ3`b*.5^_ًUYD&&5n7eX,ɋ(*Uftv=i_)Gg~gd0V ހSDvtڐX`Q(I\frD[>M(}ΞIŝAZّ,;8["X퓆TAj,{}JwUdžr)1˅;҂o8XU4o PF[ȧ NiEł> &)fgGUVf&s+aG H)HQn'0Τ4yQuƻl^.IF$öGrԒ| 0+usa:U=I!D%gp"(>Z[7S{F\ 3 ۜ$Lj[pmWIc.JCGWNw 2E;7cWG0]޸eqaAGp$$gviaf&´XX@e"J/m.^9,MDK:_GìL Ӷ׷Iw92WPʲ35N](̊fF e/x!Rr4tG*C0 . kWIZmK**y"k'X?-#>Y9m`f"SʂhPr'(i9p&cThxh^d'(qQ1*"$sL ;JtpR`DRk"'gA烛 '/I7MU V!O*ІZ()Q#1?)yϼ Úwe lx; ]#~ J1oaH1Xs6~p%Fd6&U49gΪ`FVʣDtMp#Q{HJ}D gyYjupZʒf~J@0@҇tl=T 7urVsUjJdP‘*??`?LZ G8G!qCNmwn';$b8 Fr?r8,fcdHp`7xU6m &:yLR0l7;wm"->!A03G7ĩJΖ)Iqޮ#.l?tУ17lȬ)zBAzj`t0Ly8IF,bwO$yJ 0h+pϰi 1?#t$S넟`b4KRȴJ/d#HhhM'b|\h\8׬:#.܂fD= :b7QG#k_ςuOYSxȞDXkÁ^>WG~W-h3IAFEr3 o XܺPE:{B ߔزN$ҸLN<0s9H6M@[oj4&iUk)vb6^_!*HE\C>Ԭߥ!~#}Em* L͠In=-7C[ G4 9A?éûvMhE63'O (w0˶1gCTpz2"5N)ps8wr[lQ=Gg(;\Xфd2aߠH80-˗Y4_YP&Qp{=Vk*ͧpX$ϑjb+jԛQ Y)dž5cr'QE3~ThCm8Y~oݏս•~6wKO# jz`qE&%G-)XH+Pn%pckD$)_ -6Eo ٕmGA2V* #/,qUΉY?7u(B"G :ZWX Uph k EQ_Hd^}I:TI>ό "ÿq )? +˪%Z%zЗSr:I1ǖֽj 7ꇶ-6.JMH~5 L)?b]1MoĦֺubpf/!5gwgPePREοp[lڔZS 7 [t¶c++9<06 >!R~2/|vz1y?ҚckԤ_' .Vc€4;Oj 0W(// Mr&N)kNq%)&߳;WfN ȂQ|W &M^!1C- 4Ն0 } @ތpO_7Ǔ! Mft 1ʕi燭a"³ nqx"*n@mXݿ?Je`=(\r嚧dOF)1?*SH(Wވl%4oKtC% _y>[il(Vx~aacRߖ7ZMf|Al}z&BZKY5Q-.ڶUL2lx_0N#[0cy U*&)E:P\+`=O%$4 $8cn,0UDo%Ksv*-6#hK ZﰷڐJ12u}tFs(AkX|N!.Mݯ 8_(~z|(r{hNFbƺ0syMZv!Ŷ\ BW5}@ٻк,=LS^Z65y"@ ^H%\5.q\QOH8Ny1> D`Е%+=*P\̿BV?! }mhqVaX\~P^EV L?E)eD&C6/-ൃEt3 @5gZ:W0RXa_eTh#T׿YZ=ZCwX|iK<8 ]66vD{vh[kzo7"lJ+z@ +CW*ufG40eFՁl[aoM\hV i|v*gj@\5dN+4!f=?Η|_<ճVj/(j`J`vqJ]cfO] 8΍ k02 ~'\FzI ׇMJr1sB y C/ V*=t]ٝQKZ`PJ|1 g8jH3}Ww2:X!ց;jz= %l?JI%Wce4 aO1y K>=.>ᨁbʹ]?mԥ,va5/'\Z^ħV VgCr 'LhAZⲟ7 x"uyF,( CLaʐaN,. CGotߧuZXrum4w.N!+|7JA1- W?Ѣ~&1aoW`፽d%p#I)/ftIPvgT_ҠZN$R4cZYbmPS}5:ø+{:  {"%y.y=A,6ʲ^.F8FvOo*i^f>&)l'_Hu*R 0h,H\0vQ0/Oѝfs`#3Fؙܷb֋_hεCw|6|?|Q}h809eM1|}! λ|ZZq$>{x]N.EK*\m8yK|?sZb;s^p dNrvUKMEZm: [xo$BKY'|^Qxq$㟎QAڽQ+)v*;|ёt;nx r_9)5+4\ t~a.NkMINTb=CWUH͋3SS.n.%u3dmDzNNo3w؃Yk'WQLhbUgonbzQRLz$c̓nYFQԢxL6BǃUuX{/Xu<59.&C*v UTLj:Ou|#^wF~g%eH15#?cΪtq:ygXJ.;?f綛iMOIoJl=՛O(=.bJuH-F~L9!Ԯ($EWv,$gђ#8\ޫ;~6R<ƃu 9b3f&"ˈ'I9KP?j~T7wa TE1mR{$QwsЧx]ѽU%SЋp 'Ee`+z@l/C_rHaP"u#PF˄~p#;%?cf_:l/7< f@'aRY`\Lcl<ϐr"q2[ļed<kw7j-l\i*DV3(m+ @˦hD6sJ'G n|zg'yM^g=#diiCDOMǣ;{;Je7v_}JwN=n~e*!䯫C(I;4q&;6ub8Wۄ8x?ÐddOqZ+W( qLgyӺ!iœkm .sLEX!.|TҬڮH!?b#IKk \樽`NJFdD0Bces5A3fp:N^cަs|! 8o= ЋYܛPbĪwsQ԰1@k?Qb]Fm7-+į߶p:/<37KJ"Ge tE!ws-?- G;+.c.,qO$#oz&?͕S]!F? 8b1;pg5uѼ2΍dJl:kxH"hl8 uwV@ѓAV"vi"f9J { * ǖLbNdWI*ΑeAEX޸“m[B/}~h-ӳ^Q_G[ա&eDu |8Z#i׬qO5{żv#ێם sɳ)[vhzo{hu֕xlkKފ. Y[jSψ24ZAIԋ"#㜐!XGl0$zC蝈v'8O?:v$|c:&g=4.kג踖ʼnc6 I722|]إZbfV  rQZSAwV\|B Ǥ> <%#[ #䳳FoPy>Lpv:5c X%3mːp cA+iSG-W~'24@"&`ͥFǡj@KkVw_bd#}\M[jG`Ilt ͵kuKR7 =ONEZ- w%oŗBF¥&K xK}.T FtsD~o*ݒ;t\̢;Tؘ]S̷Xf}Mp89bH; n}vWz[D;cH;V"L<̼ʨ5(O\*䐃fBۆuA*ZQvß ^l _+I*Tйrk{e"jRdAQnZJF~Ű 0zG~|lhqP |\Lr/S`2WR[:%'i۵MU RW2=~}ݿb)kw)"q-*t̕ABok76 w}>[6iywfj߹5h7rY 1Xę8:JP/YNZn훐+?G4X(L$Iլn=hg%+ 䂀@A_ArF2{5| xnZjs)`̙JI)fqu ߨvydxCA봼2Kޟ9C./=fVNA [ \F`ŷE%Zy͎46C`O\pqO8I!_E1,FDQakr)3:\1DwD=-g&zT1,UTa81]9^<NX~MhjrF ]V3b8 U:BxFDԬt[zzH6"h_N>t\t@X~['^xa- 6rVTIq=*2ː~_9R˛#U4P h7D[ekbF#\'@;^y+a:̰"Zv ;H8߰X %_>n^E5)I'HN,NatI^ 3y/8CdBy)["ik#P{lEhC9|W_SðzM3 LmEB}h?)-9(N4ɲ~ʹt;K6Qsd,i:q}ֹYJ#jvXOjl2ҌYgcD3 d"\A ϱIYX>9' ۳n_ؚ+^H" v]U'mX Us: r1H-lPg2)qZi[=jP9zE\}[N8mG5G:yg@CWH4mPZ_(P_|,'{S <. A>۶h<0nw@u' Bp Jup]z d K4 u:FxQ0CޓeT($oUwv>_ʯR, ]A#pv%lP'!i3 .Oco^;Pm;ؕ,]^Q)EC2ܐ&BneUŜ*,xܔŔkd[YW̚Ih]Lfhm'rڷ7%{]@;F_Vi +p?XsLpY+w/(7~ o_{|TEF&je9|X`"9qPAwdVXy?T aYDA8rMBA†1J' vjEiJ!p{Ę9D8iiwD-QAQA<(trȨϪS:G7ͱARU`Vo;{{lm7%>9C7N6x)*G̓*a1g7rR4.|"n\޼L 7iX7UtR?!o3^ C\G3BY*S|FbӛLx)ʨ `\+A`@H <)P-U.=JyݝɻQm:iwW` fO7%W]vgW˧E෍>t_DZU,Wkڃ1(; Eմ'+7]InLگRKU6:ŸJ1W>eL=g59"12Kd1 6OG=gu8`@|`.G EQ)t!ʦ%0p26zKKHuPa"Y璣OkK{DX80mJ3h'w2FaL<2q=G7C/a&^]`8r"+Y~02']zkʱ Ӄ >f٧3IPwv{(zF&ΙW,-Iw4MR]k1dl֦rKxQV7;[΢ -:yQYP{c={^f9|[ieL3lG7BR?(NR WE{r8X7>mh7dSq <}ֻɇ=@kS 9OB]84bx,ާ&xPSg[  0惆2Dπwty.F0[1t:~&/_cGxx Ӊ:s%Q!P4Ya.X͹x9V6xS%25m^o,Uq}lnZ_9unS|dvڹJTJ&s8PuH̤4Lk$ȰڴPrpY ] 6`ayCӋu08Z)L4s^LVd:U8ђK <0˩}쉗$>Q寷 co.}x(oT]Aץ h>=EfsIKd h87%1/CXWo;"CI()41qMqj @u)3TSJ]_xkT}6Dwg0jwmv޽ }œLz`Y04RwTӲߝ$A-M%.a|+!A5F٫ ٴJ?؏ ^&2x+?%!9B?E[]S֟qz_\"VK䒊&jK4uﳊW~(y '=j*W% ~6?bxBee?l8眏@n{@56D u]1d)`, V]94G)zgF? uUU5uE ԅwRZ"a0ppɫõ!A=aQ#@k,DAu^s'K]Q~fTA=)8&5!C)j?n9Pcio_2*Kip&4o<3c0XlC޴9| IS QA.J,OBOի`#Y!L5X!aMR#dp&K n 4}C ͑sZ'?PňBSyi듉G6l"QM-+w6koPr%K2IOeUfEGk`0uبu脌H0Mم(7rN~ɬ{h"̜ :-WzPsc=%=XGЄ<$Jg9G&1E \ySQXyWҡ̳6Sl\oRrgKe,i43GYI媴1ducet Epݔ$w ܪaشӃ l1Zԝj̙稌ң6\]I"TN^֬& 0ںy-=Rb~iI\HD06"9Jd%Ĵp _G\I$ k|sɮ-cw sdD@EVT}䃭4/yyRfc_ѐM/Fh0Hʥ[`5RDw>·Gཨ_| DmQ.ש돐Ao'Y5ށTJIDH<6!L(t@g Tڌ'EaZdY_< ` \ J{M #V[&lS:ݕ,(g^MuIw|=u|vJɛF9HLXzk$+&8@[lLzYhbp8ɃvXX1<Hf" I^E/*ccvQR?1ePŸӗ嫹D/zSثuq; ҪEi`7Q{ssn1oPhv@ ޥKkFtRam}SWl-d6Eʉkm[odTc%5g9`0}7qi+n-vm%Pyܴ`b+Ӌvj랉KɅp]k="'ƏCgዤ?)`0f|[ʚ-]BIv8$uXx_uCC /E|$vPyjy>}LI~ȴvb<'/V̻Fh:aՆcEq&LzMKk8)H_` V+,JksÄc=P.sp '+NoW] ^ljW/Võ#!V,LQ7Z}*MqY+V>gF5&w Lt):e8giN.)1!/^γ5quR!Qz,ߩHdS{6n~ -q]m#6~(9ῄ3dOj;:/3%9zb}3|L?Հ:.1 ܻLN;n^YO;L54%e\Ξ()H#ˎGDLo>:m&5jLIV5BZTi+eCa"PPVS+` 8򻴤( Q03_|&Hu[G}^O:qG~Q2x](Rpr_ ]H#ApV|_ d\*8m. F3u^ TBe R°\}96fܧ`~{v#1RrNGȣ 0JF]xQ*B#2]<"?@>J׃ԚC-:p~ضw?m.o{Qiă. plP <'1Ѹ领!F1|e o!hvwhezTl)fƺC 3kxWXvj3R(HMlD]ߛA澛<"]t(q*^g 5`JIȏG1ܯ qC6}w CjƑNIy{x=K{&BU@<׍,oI[{$bi0Yw"Lf(T̤oqnl"^b~JVsu13UD1dKi K&X3=R#s,#z#^o41W[Gk~76s2\q "!f;ʦYX7M{ M#=<3RJm4ڰv ']'D:Ńe:G}ۂaYi4%ڭuCl}WzNy4057!a8 ) o{XY]Ѿ!,{;\Gpՙ!S[wA4=!k/`Uhf @]4c;XoZsC7lw(WKtɻf.#8-%uvT0|uxEȔt(qrLHneJ/;f S 8m(Vv$x|zs)KLeyޫ[ZY h?) 29-齈"԰ %> ckIL hU*WԹ;Yt)E&bR` t`#>/T &^1D+C!d 7"?{5[+>]p~#_w}wsO7GK 3OJ?@.Ik K%ӂoc擌JQ/76ؗ@‹p9[3*.ZKz|fgk'Ž ,gf:aMbH{J: U{> ֮s [[O3"bl;,BW{Mqn}&fɔb Z>gz]@>ts>njiyRࠕ;9ȌF28=\j%h `9ZM.=+b= n#%vM9ZJ(7фN:J[9aUQP-f 69h)a1"":߅Rξ!+L0ξXY sAvNi-R xi|1e"4#&c`zCv1 >ׁf?G}֬hV lr55 ]7ʕo[";x_,4io@&?ym]Y$- t҅VfqQbxAFξ9kVµs dC-DZ kéToU؞ {>(GɅKO]NEP >mźoG0@j][Cl}aLJkŋ8~aQ Kbcİy*~y{ 9҈&߁ ]8K -`5=bu s$X `mj Ջ\*ekF y+۵ b>CoT?1UY:c ذGkL]r"`IĹIfRn?1qjVletrP0.ꯀH[zBkk2U% "]#:=nr6WV\ |oGFڻ-+.EGЫ uǨ57dFp?3,E7 ]6Y3C_ʌ{7ps B+sw5.كա܍4xQ{Z*yK'Q=M ؼLNQ2+bYuR@>c]h5!~w66|i"_MK(KT3 D v0GWbl{@XEXgM] C܈to%+ G1f?t=pH?Rz,y\o;I0d,*3MXcmy ִC AZy]ɨK0wh`7YH|ef;lSf: _5.nٝ[h;!BUcIߺLٔ)<#YܥRGh4S%4A@ !㆛%&&UF*z דjɲ{_P/6J.IVWYG[<:Mij]SԱg('1q`MWrÓEMk gYZfc0de5a7dbc2fdc65b91ed57e49c3f8be6768de3670512538733605cb63d45e26f52dda04b891aaf d1cbb794f03f6e7c97845b63a50e90ed33c8e18c67c57b6371070fd12d0ef0875b9216c7d8316c7f