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 %L d ]/]HOL-Analysis:threads=6elapsed=299.387cpu=1436.516gc=58.720factor=4.807zXZִF! I]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1r ‘_5mab^X882nEݭqũĻxwD|df^CФwPhZVxT!s|Aȋ͹K&Őnր˜W d9P+~|vP'b[dIVy`1C)י_sy6߆0 I!exPo兤D5jk0|,}јGWܢR{IL׾[dpjClq䧦H&*WvY7~t9|za„̏U)Bvo5vY jMr/6Ыv? sȀJR TTɿ喍\-O07T. /5_m9uOsh o3dq$6c\3 eJ.jg'[Ry[eNvM靽I&ZEw[;4;(Ffk ۠HEhD{1FW5$ `>B1F֫2G0?(5DW@%gLڐkF_fR1GbGW[҉*w^lmnTYG!s b%F3/*εDŽRWA.ɇ̾6('3HSyXh* SS΢wkϞLs4`n;P!W蒻rq+K]ރK=G>:⪪9%)x844׉ tTiTzfuJ/q_NzRDOܡi!͓qK(YǖRLP33 :h5ipok zYB\#]2GȮPb.6BGI?l; 2ǂ-BYc_\?@ Dkj=xFzxԬ{ zKۧ>Z~K=f w( QDYOXW} ;l&i:®Y-Ο4} &F2e ┨a;y==ݳ)c]hv7ʠŰa_Vm;4^3D[МTM5U᡾2M_[؀-B7/DZˣeɄ.1k}lte֪qq~tM^\ͥc-ȮWe^K?_iln> 05.^8oLڎ2ݵ ]BG H҈?ojT0T*G9-rtߗlښcP ߅z99G&X pJ$m+KLBU"[W!2 oB+Y3LF8X2܂Ň<-,KK1}</W'\?\.٨E>x݈Z/Ga Q{C@VkèA/ zԕzLm悤6{dV_(xY|tHg1$w5|*?L6֙b<8O,Զ?j+x9ݜJ%ϔE#pz*^ &;\1WGTlk8R l|gyu:jaK;68(`RLe'2s<;sHd^<$c 97ҕs;~kTy\/15tr^T ʿe<;ՉmuD11W1vFkE/˔hM 3cl5yY}:PRO- p&eܖ?YN[nk7&5A$O)"Dom7LᲮךvo }A<{吉 |BBM8h]p'u5\m:2EyS<Hɩ.}T&{*p8Ѥ 3$V 8;Dĸ Lo2չw;9h^<1)7$nM5Ya(9х/UY[5P0n1lSmZaEtTDJއȾ %(j::׆CVk.Nڐz4m5~:15&+:. Vw@w#8nyiG_0K:,nxK] raτNr3Lq>(f 8E0S5I& x\ ,K3}0^ue =er"kkwr=.C|5GO~zlk Q2ۻLS}jj4 EĒ!L6D"o9_Ag 'ahKϤBE[ |z=R]%޼ XՀ5 z 7W1D odsL{+k?}liAWH{\crRW+_GM]_g^*{& 3Juś@皋כ~FPB){$6$a]ɮ_fEnP8?~m`SJio)FZklKj7&[IIkEG6Ê0#*a;VҀ#mL¶ƴ87"̥H_7wmP0(L$WԵ{g;5֞7ٻ=*$X!=BBvoy2&:bK;SM-]Ɇo8¿Iu@D} >؍g(n㜃2ļ9ZRSB2+SLCݥ%uWDۨ9PxRfJ9 /:eב;0,Ti0͘(6Znh ѿKJP:HclC0܈k@^_఺P\{ƭ߭zDeL-5!ɍ{[i7N#IVFF<-Xc$aZdH)|L@F'fDbRiW+vDT {s3 }A81|хXv^ kćPvSs_C&AD՟e>psʤjybzG Я%?O(e Q$l0X\`@фC {(E$lk/[ESDZ1H1JN?ÍPG  &atLs";i[khDz-竿?v%T&J_?02{a5-$wsE5%jPDYq:!]PP{n˖+g*Y atHo!TOOQ4"ZUG0wf!{9OlgJ uknTilaދ]xՒ6[|@x9W&NW7kӡE`g"wZ&eM|p8NTC=^38+a4eCDS%"Îme1FdRw-St`;XX~n:\48k,FK 6p}a1 2c{J! PŠ/UC̥#4er~brkXzOe^'E2 d y ~ac!DsE|#1Z6g1>Oŕn070ǹlrh3-Fg 'GURO$, {90G0Hop!hXg{X4o:uOru91ͥuKɑx>t QHr|.o +X'~I̙W|7WX0\'b鵦$uo~ۓr;ېV3@}jz. O_N"CMR6[w˥Hx G6ڧk^iGϳ5~ZcyҾw@~˂ #,ҚJ V_ r /D e4"0ub]R/$|)*A{ Tenuy߱`?9VxY&.:k ~3Jf1y zfz1)lF ߶҉v$0_Fx#>n8+tԺhrnܞV*xIeAGTLP;*= نH-eЍb3å.˓ǺgX\kR_cժ wo^8oWKʜe J'* ߤ^R:C~36 Y_07埼+h~Pj7#59u$yXfwI\Xԅ]OAG{#ŅN?jpcu*i[Sjkx[[)Sm, ֩}j:9 Sqq aRuB)O'r)Vཋi>LD(8:uՖ8#r !Jͱ0: !QAi4"cأ\|e| jݿ-mȆ1Z>/[b;NjQ#07K! ʅ+m).]~ďgf":LZ~!}M4%MwVAx{Z*DwVhVWCN"0թȵqzTȑFyD (ԏJCZf`g`VzZϹJuevCw*<1=&mqhM8Np@-~:=n`4~:S *@&ȈN ϶OҐ8?R#qtE@%rLmʂ @rG)*zAN/p5v>7eT֬`Ō7HOy+]qcϗJz>THOܶLG7L%>:]d5WnyP8z>rړuXAT0*:'/B[Ͼ_6&85)ʼ`-sS}Ww,I5;ᵴT吨u2z$]]PaAnHctʻXG朇!-yE4橛ETx)MR_&";(bϜ4'ZWzjlT-]YyA)D*Vk\BPsǛf0U+ 5\W֛#*d=qXumEWq_a?тo0ZbsÚkKz ڇ+MAbۊM/E2,d$tWKzטY,ł xɏ^g1eB#p[`߳oh&NfYa{9>u[)+l6y&0DG1Ő>^8 H+iZEo\w#B0+x`գ2^`)81 ڝ8 ׇ7KgA< {m 7Sh |!ƾc]V WK DZMCv}Cç5-0a*q;#RJww?Ώ+o+;i)5F;9|s/|ыjb;%˳dVS5:v1V n}4ھ3#R*B6I1 e>:lt:KW 6Ws/+g? wmGOc5 -EzܷP>&L0c̅>ɉjϬD;~$z7@Y Tog7M7e2!؉ 1 c<۽fZ'&i3S"fp"DTuNO_Vn:ph9,b&h#@|%)[Iu jӲvReR9D!2R&ߏL9=zQ; ~8iP /?)QP̩Gw' I N[E _t.XAB;E|04|pwt<3;w?M!ZGە2mO/z86" 2,'-5cO:#/cf'9١]S >o3 NF>a|͹w$s;躥mdpBt+ P~'/[  k5/m塔-FCnF$ pLt+)A{ ;2 "W6x+BvJ&7* T5gG*o&ꎀN gqZFtwr.+U&^Ei`%yIEdrʺ}dNl9Za0*zi$%@zV5Ъ_Fp-33&PAS[jͫe n f=q/u m}Bq4+d=Uct=;߬jU-N9Li-E9\p@aQ^ȕ+l9GmĜ*X-K-liK+N<뚒Nj ny}}#ȧˆA zZནu߮VVm9Ҥ [W,:7jd'Ahkf,X?M``mY&AH0,o5įF, ?O#oItקȫ[记t@PvESfR1 T>fɇά祥bJϙδs|q ZD""O}ٱa>?gA&fsMYk(C !Do/d[3V376ô7&U]Iq4UYEʀ9qAmFX F.=I:?Q#)ӑvSEZf_ܚJmӯ.n|foYub}l9@16 ǣmYY6;vL ciރ r7\Uw\[%IuUw@w9 Zq7]ML=!&]diuOqg|jbf"B!N` k [s=fѬ͐5[w u&F-?~LC}.@/2e6Wvޤؔp<)fc pUfG3w[.F;t_'YLKs _'Zҭsiӿdy2H!k,53ˑ23n_e25"6sƋzxyJ4rpJPMQ$UD7r|KElrѦ_PK,HײbвJlh-OR(xl9*{Q~OLN;Ku1cL&淋[ Ү"7i*ue3dZds0NÅ䜳ۃF 3*=5Tݵ~w/u:ZX,GUN-L\W$X +CC@B6bi*,_|%!ыF爃uB9ё*@Z_4O [Tg_~a>A|M}[+۟ˮvt̡>, +(t2V\~dibJ0x\-w; ݼ%/2$P02=BKBC4s'Vo#`}GD`KLsw|N0L3)E7U4[ ջGVHTv+,:TZA j!.sէw+OHcF/bg2=.Hf c%sö\ gA5eCoυ4Cv>jR-?Ê}˸-݀䲲.P ljuG]b[,(ײr֧Q$1-*)i*v[K}+b0?<b F* ?h'|ߣx-( u0C#{HBQ ٗпdzbOJRbc{Z)FRÒ"^H]!9ˉX"NI7326n"$ZtjLͯn#Jn\`G/&¹]9ۢ._` ۳@˱3V&nk"iSIcpE^-o)ʆ:3/:@n Gw,A֜H7K|Ĭ{8F 5XA>'rsjQ&jFW`]'hΟ{ -pR[6)V!:NgVPP&V1Yޕжk1GT7(NFkc/AM=W;E`&!A߈FۖM c饸a1 ˥1$ö+™ʉJx hcRieb+PEwpܾ6CFt`X3qj|hlgFt!/FmP^:@SaAJcxװ@1:YQ^ 387,hL2$f͟hyx]L#GtbyȬ倐9w9JSKǦ,cT9[) =+p)Qˆ[Κw?`TWvW.;uzWf@SmӌaLsDԟ1牉"~e(&G Z3=/Q,EO'' b pr _E=ӫ 1֔VѸ[JKYRMZŒ g@͍e)Yшcd\[*,Oyt n_ ΎEgJ.[nۘ|:-_#H,8 y׵C@ M^C#wqRM{!Z9)⫒m͙S[TTUAdyO 9'ʥ6n JIfiwa8U*~S~X?CHn8h~`}y4=.@DrU4|EteF[Qw|uâEh{_Z;y%O4?8ebYRwhTp?8Є axVK(fۃo ;ZieTp_ti#^,3+RR76[V>>kh@Zk aέYTa 譂vA_GP)\f͔45D){ANiaNKX E< c`!A%5H"2&:q zX"7Lf)琅5%B'QQN+9Zݰ`(9נ ?UD}>`Ghg_yxr+2A˝$ɬ;#!;" 0?9mHEٰ'ޝϛc*xo K-!#ԶԪmѶ rkgI0Et-KڛߨwS)_L̦[@]wo|BlQIͬm3 0"s.Z?y?@3zDQ}šo3h?qکIbsX>*q7 !uoޔ|Ltf)  t`qʡ +}fϲD _+[;h{4+pyRٌ  Ӹd*x]n8j&*J1H=:vm\[(vּس$&[ib.IZ$Zh Jw,b[1/k"Y+:4lӪ4+ OTx @3:Wɲ$ ϭfۓ;8S 1_ҳq9O7VC+2;$\ؘ#ƛv$1ymip<ås}La }/a‰G qҕ.bZXnDG3:FŨpׁ;D?;q|ZXpC3VEpcʒvYlcte O,\L Q =cPMu<`QCUgg#.JK'nX7ht+Q*-G7WV_ӡŵ"nj6+δ9}n練J3bf˂ܹ C-ɳ}+NBdC@zEYbN]w`M SdDa^/߈U1`+C&.Y54؀&!8SMSEYkM9e$el0Da7Ho%gc;ܦAvjxl-2!VarK3[!J_+sGE)mظFlL̒=g6##M!ka'%e 7 u1>>6uюsA5Kva\%.r|*g -Øa=mMk;nn'7l ,3!Aʹ./Y);􈞩_qԿ2V*' 38XMvRQ/6B%eXU}HM6U>C3/i:|9pXm|Re>PTyvՙt.QJ"b収ntJ$g[_ebI_]S#IahY@cS` 9~@ j(3h~V ,ioX<\fdN2$3EpI*H%Ԁr`&x^pȹPN$"sSsľ~n3sfle2 *[GIx7$c0q]gS{t@qs!r@k;P;Z7 f^}Kxt W{xWO`-()SNH%Ptq$:9M]a>G7!)0(e30D@$4٘ J9W CT3b]b}*U"Y[븑Q @Q/[CK5O]>ئf Vt[2'*xsܢ'~Gʈ\~P;КYClF1n\L%]03WC)jB<l$D5Ŀ<]Oo>*CZUVu.msӒRe$H< kIkpaY鳨I3E|zQ5Rf_s/],@? NT!h 6;Wei^9~f5u]u-T; zӫ΄ I)Q~@o TΥqwCx@W!fz|g5rU4RZH9;GRv'*3E͓߰F͏x p%,FƂ3h[*~auʴO+\nz3VD !fE׈ 9NIlg@<{=.ja% 73S2y-x@îAJrg0Za(4bƚ+{(`_X01J41-=Ҕ\s8P4U&b0 P8טq]$+T #ti/]k,]iEXj•~ ;B拑A/y{kT1N$F@ +mXRbMmǃB7`Ҵ2(PoS>Vmwap{^cC[hr*TqwEwkG} ׏!iK)=5vݟ7C? ~9r?C/2~M+7f'gj ]KM?̣6^3*4SO7ΰn]ڑ_5IyKvaX"Ni.1>h0{h _&|d#ষmSC^cpSFWAJV⁩qy)*Urp~†, R XV:IyNq1SbLIl1gɧ_UmY>L}ˇ,Gִ#-h\2D9Z¶sDfQ:w,1͒Sy7 ||Np~R!a%Or%N܂F1v-!>s(a*_\9' cVv/0koQfe.)c'LYBo(#rlt֕ޙ uHޤ[xu)# 68*YeX\p\%'Mjp1QN|]{hE^0j~s q:OYoĢg&[%c t(mڵdNnCl;&{dW BbYQ}Ʀl5=s)2#0U"*gؼ4kKnKErX/ |8Y⏉/f*p?Y,zht?7ҫPJ gY=,jJ5B.=+m^qbi!KdrI'qf:"2K= VBh+{#Uy+;/Q+PX:$ 2 QX&x{h#D! `Mzd༯&)1d:l̔rHl놗+/p[ 3kVXi^G"y lK(=:6Nfv kOMa|4W;\p=xc[4lRD3|mE]ا~>5Fd. A[N(92+ٷ4Gs)t画TR^,* [9t±!ӑ5>Z)tš/Pm7YZ4 3e" h-^57xs+}_8=EtbP@QkZS3j -|ׁi"*5v[p]|{50%3p[%7ec,|lq]JgӺkuqRu5F6z<}K/CP;yAf;k2d]G .Z&'^ n(c@\dkUƔ и2EL?SDbΟvc 0~Q#1Vz~ WHZ =]AHyT)dyN-u!ZJF4`?|y*x`o2I=hV߫ùs6P!F=/4L$ÍKe#YFyc#S2 yGvFbeh6o2(!lIbG5Ա#IM= ,%#F 11. #dW385ٯׄČ􍕟:5ꚣ*MEXqQh8̚og-/|V~uCat[e{4wfԸIh6o`yDO/bK?DPBE`-i<ʌ 6 m/[ :%z* t"f;$z$9/XP3FC(,8,Uz&4鄡SqRb*)JO#YUcI+;~{rczMH7- J'B|^HL(Q'p!mb_oI HIYf1]xo+u; ;A7BGl5)il?r%0OEivH]P]u,ciO$3_n'ʈ$z(6 ->r~DɁkz7I dgYZ7zXZִF! "=]ŗXiɟ1˦r!cHkMeBd4{=;!ϑ`0 VxGq̻;0m >ChHv!r$J_jfLKcNG?MS P^(mgNJYT&"' fH攍5pyE;6,e`niKS4m|E&7bE!UXa3#:( :PcOH7GDpD%maN<:kE-,LRduXJGwtb807c,BSހYJY.[.Ƀ??}bW2z~u'K~PvZ -h,WpkB:Ӡ_R, sD8=_+~ʅ.PE@AT ?0LuQ$>d0v" gÀh5X~iӨ;qȮrm -q&q.6< 2$Mf'8;p fFStg,dho3af0F THĕ9Sɤ ׫$a"&Rť#Dm =Iɺ1^Y~!*.leN7h.V]Pv郖7e#&z9<zl0mGc{OcI+b-55W_[Ҝ_ NxKHq"(\I3 Pe;yJt6+/ap3cLz+srXSM^ &fS}I^0È;KaR~31gFL ,૵d+Qw;D%\(q84w+6C)}Emϵ%,z-$l[άP j cHhW#`+vNgHM]<ӈw>"'Edڣ[od'GBOl Pݥ _ s]"fJo _钲Ŕb_ bC H v3_y'h3|34 h=ݪ[>霏oC5W&I7E~}OЫ$NA">ٙ'qtXfy`A5Ob7^m\o\{7Ɩ7)eoKϛԎz)s,Y <;]lqϻ*,qS $]X,ͳzCRl ѤKrZL[ys7L{r_Qœ/P E\́ Ow/7p A+w 183{_*-1=~z Ɣ ={>wGHf ^hHN(:)2lCg|Xe7S7H tMcX"V|Z IAJ\t, l"wV0*Af݂m$+Jm*5;0Kim!Ix biRNJb'myv`PfNu"d9((#Ё*\Ս?ީr _8uiR}~fzECZJm}F't+vRs۵hj\T Ï5E멮~>3<ߛuip6B0&"0EFT Ҏ b)JctpRExR̺lS;k߸6-m!bMK~^97w1X4*-{kDGYRθeM#$!WSgwH%p UM&嫃O:B0YTW&#-8m)h=_ NJsqfzZ"CXƏv \tU{VD>dn@Q_fjE) ifsfnen`JhBV#!T }?FU"  &G0t>-`4H{٩"~Sy=I{hu))VO# ?#ge>CNɘU/C6K⫬"㍔54hiJgw$u1jWsG[8U vW}^v9Seg%WwvV7><>k-O_f-hx7t.lh2z[q ,KC~lx<&` $V`h&hCp!G"2D.O֧Cz;p'̫ K,>lijK>nDZ/h@0LW"Beƾy@I(i#ZIDN❢L֬j'הݍF* R1g{~VUq0}m- 7&-#:;F/Kd!?bP9;$+*%N^jFv&>6t>L NO)Te-E(/w- e h,c%PCn0ۡ׉0r{ꞦסRЖ lyjy_cnnU\˜95pLbxp걓gg}GcT6ƣH68JGd+Uڿʥeȯ |EI)qBǎG>:r ::uAf+@a ^it:^e8F7А}C G}AFWwNO.ujV tG{^w7Z*-!S /; ;pp0w 3ArRh"lڶ=cs!f80Vۂ\rbа =54!et& یmޫ,_u-*.ïflNfЃތ:j\Pgl>WJcI~&l+D7Ke@(WxvZON?QX%馟e5̹+T u=yϛŮ՜rXlָ S-:29tx:9u5P$-xDOVcǬ.9b 6X]5و┝ƻ-Ыo@YJb1YZhLQXd*0|?~2A4⺦$cкЦjij3kQRfM7 ;O8Ūq2xb6m38kLԎɥh/gG#0J)R@Zj,ėZ8kv!jGClw &V)Oo;WuA쯙׷8m99>=tƆS RjWQ!LВG֓+gV`Zhy-pI"Xg9ڙ!E^_ {Q31wWg dT3vJK킄>!l)Y/ud19a;Db<юͥ?lras}SMJj ]%zOq<8Geܮ(􏪠fyR(Bz?- w_õ<[*\7Mg\mɉM3w!< '1%K+M]*^=?W#:b4ͥ*~A&I1=XSrC,VDsV 6]ϴRCUJy)F +G, ne( - kM@ F#D=f~ٙ± z* <( S7(e ɱ'Q\sL11I(1Z񢑤%t C;B9x;y骭޷'z>RZl} 6biqb}mUFY0Vxrt:ܵZ󙅙@)iٓ IJeML߻?SSq)@"̶lU=aңg9{fH#Hkٔgtsq k 9)N˩ \4mKJjr n5-܂.{/hRIsYo%O-Y%m}4h3 ih~pۜ s]%a/=5I0;D7i7̅BF+J$ 7 _Vu'/pTH4ؗIhyLPu=@.!,P LRJ*?j<8di[ IET܋pLnB<$NNo1MAi(l]).B0<dFQq’j\>CCT Q7z˫R#S2uKL{O؊ 2qs>ܶ=&^ ^Ofq5ITṽڳ~/^[UG%L2mw;rzZv44KՔ* 1gu2Ea= /u}s<Tcӛ߼N<~4š`'Jg3d&@O wܱ{ڌ&&#<$nG8=F"D=NMQ`I7JUN8yǽF뵲(`>:"5If7p>7Z$E'q'tOԧcQӪ\s i>gfi|k޳'Q"GB2hi3ㇻy+<\ =+0T Z'_eÏ.\&L`+*0h0Y. l k×IO»ED/€^WV#XM;fC !|pEn| ߩrUQf0&P+-;1g;H[P=\+GG7+$"Y^XY7?gXmHpB1Wb!owP`B/4 aCߟcgfEpj!~ q98J3l@ޭhHi5';/$GgnB*+PbMmW9)+:7Dq5& G(sGEi%氟]N-oM! pDځVev,g%!2A"du[UI-1xKqY/"0zȒsg} Y?1[s={NgD?,#eЮD,@$󻿆Pef"z(@1yK͚r=T*L"E5$hSp>RF6`Qp2ӕJ{VOЙ8_S*&*5uk3/5MCX )<u`mA_G8Ab D-㼋5_RJ]5j֊B; >EsR%&BcT(.fҩwI>o`Ο‚`᫭{ .0 WsDb P0?ڏ $pu`~c" e3K rQ{_!kEEvUư) ѵцwR!V<n$z!X% f?kg1BÄiBTcMbJYnPe5⺄ Չ_6 @®ghir#0" @2+x\S&Gnn@8naMl">5E$ȶԱIpo")IFF^bЬ]5&REwi{k7!Ta%=)1&JWf*]+-GŌCjrvmqTa$s:g&/)k9wS5M8邪jՑlq{J3`$7ԿZt"-; '¤1T10!oUSu ʀ~f9ʥCFzIL|&04lX! eVg1 08:pLa֏,9,Y07Boz(D$!)Y<҂2lTy3I{5_~T |ڬlX1%-@fһp)o~fOPZWNSŢXIA-b|EɇH'TԲau 8~|.+u q, LF~ɔ 9(uJYjv6h1Fu/|DDQKz*a2Œԭۓ,4f[:St6ĶD1L"p#h;> aۍnˣŽ8Sfh^H`5Qn7J hІߋ`UJ0F uat(}3EakY Q~w=tJlqwgNE,,>2JX8F0C7#w[~2!IN~+tXՕ :fi yHbbWJ${Ru=]d C_,=8A(X/"%rj/X1uEIn*.j1Ό,e""1Q6z60~À"fŅyZ36f1GzWjsQ99fdAs?YKs-JHYD]ɷ |)YG Iwr ^?\4@H"'}!eRՎXUE&5d`$yx'6-P7ɝ\w jv.*x %m/ؠnBrѠ!Ԛ"^xGz%-H< :`ϞeKRǟˊvU}@? aiَ\GoT;+*u!ҽU柝iiT*`J{~عrGƇ h-Hv tl \am_݇UFz8څYGNTqh3?Op'>՗$&842Rml%Y>]ǝAP ,:C^j#-L5gz3d8o ᅻO}=; Fݕɘa$$@9Chk mo,D)Tvxx[T-󉨄*(aV%U9#S;\@֍¡>:QѭϯPd x %}c0s\ ϱ,h dk 8^/9خOWTt M6KJ5ÛzWGūm*F#yEEtى5WI W ᩫF]dsN3NqۈǴ.qt'ߤhEu316Cz@W󔮅2\@˨/bjă')`Ƞ8XD= 5 ;|Խ ZIpD% 'ykjq"E<`muBkcAET5{c?wkAk;O~O! V%SdS斫ěWdUbqb"͆F̈́)6( nO  ؑ.(9}ؗU2Qj\i,x/y j'UrlE nBh1lgYo[-;Cȣ8pQ^V cg!=a> ̪VB YKlIo^xeM;TY+$+>5VoRH:KDJrW M ^nw\PF(rD{5]~9jL͠ Pdwc\j\AR13^G__0,94ZH/{ a8eF/s C>v{XPay$ JriU:W[ yXrB3lnJBE(,\${*9%rKqUnac>u[c`6H*:8nBDSP^VjW9+d#LNS3,u,B۾kp$>Vӛk}uDa%j Q'_nWw\fLJ2Lț*μxG4+1_m~6sbϸUʺ , m:=bPwbM̷W&K.SUk!C(sѠj̎0!W̞)[ҡSg0<5x# ~2GGYO=e58\,v(О~*l$GHy`7~d`xi+ƱwڕhGZиBdSM>2N~hO%!Bx:S[@0bz߽_?=U? ech;p8ctb=ecץ>5f{bXgN~A$t w'5]%ˮcN@qSDձ#H`e_ɸj(8%ШL~0%M}AʔYSDp+2SlhAj]|gOHzpQi('T~@\|ڝ-DW7 (tJ_WVS#'g+qD%_#TָU<<.]UpH!79u< fyet4x(҉0~`b.ӛaI--ʎdWúPKf⢠<@\hlo7D MS5i1} y 3ŗh>n@Uv2$ U#jM>"m =A/c>+RAçfE˪Ivc23쯞} U8! Ae.=:35{  #q=|2<@AHֶK4Rծc =ƒx߀@3 ~ t,w >cynRt_QTj2nz A/k#ɇn)~nùG;'I;Vv/)O-,>JOO$?raE9YTXޣ)XA_&I Fb~!n|-G,.L( ݨdM^9Fmap3m[T\͝z/Ljƈz5َ]I[)!#r!MP5*LDxq֯6ւ{R`^UMr;B oЇ0"<뼥:.܈ &͟V`ϟЮU"qBR}⹄<#} _^XLwP_ ?r:ݚpa|ǁCҭbg^c :q OQY<S׻'#! ECj&yis%M;2ѿ2qmM~_ o%s\Gܯbo< .SרӋt`>tH4cl㣥g:]+so 3X| [~jرZzO${5)}M8 Fx ƅ;,Z$.#˞k5cǠy zpbӉ$7ܷ ΚnA$Vw b^kd<o>S?H97{&:KuuUYsp[#Y59~(aHoW\ _ÅHva!ݥ] r "NL;*=X||9À3:l:PCф,*IԦԉn0/A;vEF7J`VjxۧG{B=,/P/bG.c2Ţj.I~g 4ܿI3&͈(k&HÐtp5}$q⩩ ]:;\{v(ȼϠxx>mRFso/ (X30`;asz^W>gZBn\mD_3I_U~Mε>M\wS.taX? "xӕB0Lp"Bn I4$<h螃n+vC%!$z~%.1"f |~cOy@J lYxI!(\;ӛ>)W y͔Mj^VIϊBYAΗ '-=tbP ukϡ+mș9h2x?F9[0ib뛉]Yn]R$+?$FD򪭘%럲Ɓ[gXVG˺\{/O"}G-U:HCQ* nفeMGLFց Uێ6^6ZU E~܇}hajoeCb%THj>w I N5/V?i=GoyOuOU:o*Z`., A.Jv |;YtIë!YzE,<7F$[\C{)> d9mfcaJ*+<\7D.nyɂlWL>o8+_A@MKOv^ކmg?]&.%`$yqD:~WmܭR1Q`Xuyf=u_Wr &89=K6tg̷[P}\$yH}&6aIa״me_b p?Y)19o+0e 36ng[qže%S9e# rGWgbx[;]n %OJgNܟw`/6ɼWŚE5)W6Ğ՗Hq}rNuOvO<'YI(ᎉNؓ&O@0snw.mjKfi{ 5sҀI=i"O@OFQҋGb@w=tFIcH'i1 +J L_K6?im#+h:P8wJ=8lHT0ĉ=)a㧔ǸeAr&?zRvme;j{XN@4.RWQ@Rp, $SBd_Q>nQMX[f-(v!Ijd*_y4u ˛HpU-\po͢ { ;XJ*-|+'\M0G`pm|gWmeX9 ̋ͨ@m`4U6A؊^:"So)jx 'J>`\;xd*>#5'Gy\QE  rK(ްt'c֡-p/t5TfG 0d v#!R(4x,vz7u,QjDبUA3b /nG|_iҐH2Me`AF [eSu}{t"^UA"]U/*9&ȉ]|5S܌bؗouI@sC5`^H򮏪"H3*gβt?RKĿ!VmhϠ\BMfbTf;_Јudpؼn'Pp-pmdue?(lksՕXt)emX(3V ϗYQ\dE@TRoeR2HK3Mm <^z%ؗ͂+1GP3ZklH⫮C%c RVz n l䘖 Iݑ;o~7Q-vIcTxhwbr{ݿԩsxkjH("^s}\Zi֜ӎL)Xv31)g$Ui+0i#AjOA#ȶ߿&Xw4!K- ķW{Bà`)|y-RQfO}($<Ӎ_ F!Yg{TsNu EE3/I^ x[:UEM aCʿ1q{^kaP!=@ /.UvEy(A!W:`SR|0,& aGO#HBT_Nc۾a >-ѳNVo%@ywh8Q@P>wR7eZpS0IFv9x2yh{,=ע h篰EiP?̖7&eђM5 SR1̓`k0BUȾ 8\c?799 )Bl  [ Hu;Oe;6QO9~ jpm &7L"Fĸn Xjrd'[ѵջ КJB[ `1ŗ-OhB\#vk_o \ "+Llzs \'b2uq]uOyT/d! ִZ4fF! s,#ZɊbMAkhOQE(!40xzz/-V5KkYD栁O.#҈$jpUVG3XEnPX'hoN/pĨٰ5bz(Mk]8dO5>P('{MͲ_ mrrnQ_ X8xȿ; gA*n0w3xJp 1dž[m 3_R&lsT6J-K:]_)(GVQxoӦ,Yҏ`^msܖBNP75܃,t*k_JD95"s0A%fOaÕX'u?kB~iX\&<51V+TvFke4U_}=%\p<EhZ;ݯgcr?})2^ncDa*XlȘ wP!ß_4&K'pAd&(EfcPX6ο@ޑsZC{A-\%KNkc06JN6CRLݶLX-EK #PH䮱r e@DɅDvuG!MLwÑi2Μub DЧ +>Q%vδYTKhmDƾ uJ.ؐ:yypE-3-P8&ۮqI5P)/\tH4~6_AiӜw6,DQ>jno]QO Ҥnb@FQ=JjڊBv #rG+Cp @l43m2$ikCK~!!kFbȥ"^pCb%%o,%H;{f,)dަDeh_+T@T ٚX2XZxawD/E+p'_% sv\l:ȼw„L\*kFM5gU:W( θeY acB_ ZSsnI.~,4:`K ))K(kʍS78$hyNXn”4CuHiw3|_x)M~N~]< ]\ԧ-2^ƴ>7梇qYYo\8`5"r2NklHh0yŴAV dὢg??,)%0BkTK,anL&~vBFwM8ᅜMܢɖ2*Ԅ _쑉!=@QnmEvֿBmSAjA8u:R!>_A6H. -gFڨfT WÏH)j+k~>9ȷN(f=^}-΄^O^z|2LQ}6+C7WAZ5gqlKz 7xS";q@7K> ?_p0?:M%zɀj88:փiTuD3]R/!j%H8;iDi6?BBUnI vl@1u Xy1 H+rGQw#oU&&j[?mQVL&YI9`y&ͣ74ϸ@Gnr^aLl0 L"L"͓pGU)xr&=~ULj)^Aϐ(rᴂ(O~6ʘd`5̂E[}GwlOgST͸kHV[ht3C(G y9 MHC!T&_7d"99Ꞇ3mF40\pq<%6UWO`tq-kHrfo2vӎǦ7~P#=CQKrG:XDJkC'ൠ^5 3!{heLڴF{5BOԇ._퓱`x /r~5!0/U()BVq\ob&C؊F0B5qE&@`Zffؤ_[Gٰ#xoȨN&Vn-e+$-We Ccة{9 zڕ7)Lٻޅt#Wo0XaL I :I^L,@B&#g(E7B[V9ϼw8r`(sJsX a:weN=uK@i2mWpRi˸=m/X6? Тo+#.Vdh F.x8jJgp Y=?C}%VBޤ \a607)NT%ĪIќ< F뵞f-+2spGjjC3`1ˣ,ڿT?VMʚc?#159h0Rժ>& R?\w*6)lJ>®H秌.bK9:Y&^JJ8X7"MRhWHtF7vJ _itfT1 ?Q`Z%zVߟqToۧyc {3ʸj:ð_Ǿ8g~`0LO sWcF^;kY"D8Uf7|Zfi'PSGlECgcQH;<Ό͗5F#׷mWrxpPL8y[MMNzŪ.Α :vtl-w0W6Qy7Ue3Z$c5>9&G ?C4X"{#zA~Pd˦IjGSX6,T!Y dJ"U2( W2ҀOzȘ[ ٗ 9$ap˄Jlz뮒Y&pbW]r=x4#Dʘz"wv'kN Tx K^)u YT$HaT̚t(yu|;^f[.+ڦĉI R>|>BAXe?}_Ʃ37D=&?7,ކ|[mc:J +AĹ-ʾ1[=Xƺ$7//g4}bxK` vBK&'C޳J紹* #zi2e9u"ud]|e.븚$L7 }y>tLfPƃ5:yi Gf d%x-02M,lvGhQRQZ{@ɧn 5Pk5iM Ę.$w^C`ϟz6O7{0prp$v|S=/O>x:ӎ֩m]xdE#<ȉ5vpjlѺ"0 FAhI\w<:SN<|Z,rhTR<ٺVTM<vN( yO@.fy4ū DwUeB|ByvY/<8=U80^x͢NcC ZNj+n%+M07녫\O":jYšf%"zS'}o gUQn1=L" ˖;kPO[ӞPQM2X?#@qq.%RӑۆO*Q&uYe깰?7Z= @e'C{s }LLW_]1Ԅ,YTnZT3>E*P,d+M̓Og9>Ih\ݖtqDsjvæVfwU=Ԣd7z ,bOD< ƁT?L! eMОꡚyh=za#>Q{X93Js\rv;yrxl?NH^$j ^|zr9˳CmC)3/3Vr:0i- xaѱ#