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 T%<$d ]/]HOL-Analysis:threads=6elapsed=308.462cpu=1634.716gc=90.644factor=5.307zXZִF! S]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`)G0lj_om~yI[S8Pcx@]7okd,uMG X.Gݷq{$di'GI[?%ZqbHi+սeGreJxJ2k2.*tH*`A xg52jAiSސ/u<9yw!Ӄ W/eSh,[s%="sQXkyOIS$h?NGn(4՘-K@_H "2|]p5RJcpYHNG^48`mG`=IU`YޏG}Wm'1Aa0Jyw`_ټr?,{eM?0bjV,dMt'&;4暩jH/z58%Ϻiy<,|N.'rr T(5"^PQ1NN!DT;k"4sޱQ\rOX hu-?Hx$Pv6so;$$, r_C*RnlݮaEosЯ`%osslc(6C|"'*&o īvi-㾺a]+Vh,Nѫ<PK\EVH&U Ͱ4Ti+a;n~c qcA1cZoOϡlmuG`hf|]GI`)|^ ).Ҏcp#+['{ MiAH9 DMoirR.!H83ܑ)! ECЃfZ|0-]3=NdL%%[0|Fх|:M2-0O uYW|(%% !G!D2B`["3?_ G= $!7k둻}-}`x--KVWtFM#2@ FJ}ųUzXٰ6?mCpnE8Lu!}}^,SĄb6|%" )'@hWxf!S0j|EEtCkZ&7xXlLJ,갖"sib\a&S-dZ  󾙾[z(]٬_f5 8uW , ^2y(QˋI5>iDZe+C"`.(EOB[UOc~##1$g$rTg)>ㅬPQFsԍ+R[ 9mkH1-JƪvμUn|J{K UmX=pW. 1͸)tRaF?>IEt L'>Ii6ca˟ hЏ轢Ƌx[mRe e_uʇÛ**9uWP-w.~=XMBh )*Ԅ4YbR ?ǮPnSkwc$\*ʍIM)uϠ2hLN9'}l-Zc;BxN' c$2_݂L '#ߦԬ,chGDy#x12j!mxyInsc_LkS%ؿzͺ-:T;琣~ߤk MRcuHS9ʖGSc#4WH%=]Dz3k=.PDF<;1(JөwH[;\։R;{$@)aap`tv8/*~z=. ^a2(ğR٣kK|<1kg[2~ ω|*Ls_fz>ۙzu.q V[]ic_ֿu_>M \3Yv#-5JaQ h{J3yosp31l5qxbKƨu}tQ lPҡ04hO1_T;k OA<C ~;&W/c@ߣ;li\.B#ULBhb-P8Z6_DRu &'r7 ggÊI@&G8>S[~1?*zPnvG=|`FYqɁS{cXP2n(ٍ}q]Vcsfڶ~9{ Q }j% /t#MLX,Ձkv *\xݚ8,QbGT>wd_`Nh5eӮg0@5~CU#H ۬H!>RQN7G:ZsѤz;ձl9 8tރ^xk7Wo;A8oJsg^ɴ_g׹y% } / m@WXm.bx&&Y;C#5 O3-Pv%KӴ7Jcha! 6c-f4t3!Q9_X&xʜyM4 ǹMObƫ2UzVͱM?A_OȊ@MFYXd[m>M}"_Y֍}\Ļ=sEVR ?WI V~xY ;s MMtwirB4qgfǿtJs}@qO@Vmc3vfeϟv&yYq/AU5cJ-Yy#te8׊#uR׋N]@WVoTO\iX )+GR$Y\/wRJp_ݓtVc(N$^2jܷOTN!UЭ;_gxnsy#LMqfߦ>m?\u)(W$ ̻$AxYV)CReC6؀2GXѫ #QV#GrJj6nJ S#d+2xNdQV R}d;|A)իƚ"Pͨ:#$?r;e kqI w.wI۹BfE3,~/Ea"!+: @~^Q!\N.5o+:6)w 'aU'ޟ_6oL֎;F,ְ68S x .ӂ1T" )¢pbF@b # =t'Q-gOG=Dͪ|F{*tIIo)sɻm p@{_$֚;[dgl*YڝevX怴x濌7q8ӧqԮs>*& |YHOBF?oVg۫БF&c `vЩď!i裌zj竗 o9~}W9zX~R q<}ggZ&}#izlj# !BBxMy>8s$I#gNOb퐚#ջ]83sw$ꠎv}$ݪxOd6~Jqe< 7d0Г>zfMq߄M8V]#OcSгG%65RrJwNۋ Ζwj Qty}7UKb$O.N?ALK3X`yWGf2+*QG.& GjTMM+VP3g_#V89`d_O'nȖпjpo@ЋMPm¼פI#ohh6{O?x S\ Hu@4OX6lq4 ʝQGA|4_6 &1l9X֚o>wyLSRk؉*ɀ eps-Q6M*mb/8)U;4:}RM0f$ IUq)cu~ O35j,<,fsO=6"!_94n1I[CEn5 ڐqc1xfh^Ȉfc uq Aj‘ Uv!{ O{٦s-t(qp|$+Mp*CC y'k%8gHꍪiv6d̹1=ao퉐;ruaRȢ0cz>AdQΙnSlPĮFnp-UxA.nQfN̔- o Mny#  7') O{푧dZ+ G(EF~I1n]f)7}jV \9 56 X$p̤Ǔ8O}g z#C ӛym=;-F0\ /62 Ae9TNUε[`!k3$;2h4TCC1JwG'kfs$8ptv%q5.r\J;P?a8Rx *YUNTDy޹>ڦِF4c Չ] ,8Q3*:9"`̻oᱯ:a&׭+'q9BD$Mzhh=6Z!5vV4,t.cShP ^C2hZ=r(xV|'eq($XNq4V>-@EuRƿ k`Fb- *m1Gjɦ ?G\&ɦ4t -ܘɩ!"uSe>P^k Ҹm wD'9UioG`j JV.ߚtZ$ !B#fuZE~* p#(OH>$$3I{<{(HaѦZ4 ?" d[_RQ訒?TGTQd] {f˯Mu.b% g c=&)౥wéM9>tvdj.{i&h Wr5Ba,p37$e[ C](%<sٴ1-F Y<>`CT:aZ ,xIşӶWfc\T(R pPqZ3o7c0Fv[#Hg>mR>g~ ,/{Kx\m p(ۿ]/ݲr:7C&̑ꑀ2TkC$NyR^!Nof=H)$[=g 3!x(ׅ')s7G:[_Y$jSoz3֛#G f!I)ҭ/\:gɩfg]:LU-#݁$t+^klnqCΕV 46h}QR(}[] <%VxV5Z+>{޶w{X6qV,׼ASG2>ˀgTgT%LG{*JmT۵&Ʉw4F| WoWM^f*K)?-McO5gǷPC"cҩꙌe7o0-;^Ѽ& Kyռi.حv+FXkNwV 3ٻQO9S0+ioJ_X˗>{v#¤D +oB6FrZKׄQbE>e{Μ!˯OްZ+Ok\-* tBrI>x-~n7Y➴Zko򺣢%eXih\,ʔ0Xde%s vJSp#'MӨL\zVcPJKoRa#=\zYfj!Y L6idU9P(j1p$ IӨio^4F껜WO<B/w͙Gy&-bص)5'&zOg[*ݾXċ]/I[zA(eLk.I$ogjť/Uޠ 9yS&=^'t 8{5VŪkFE|w gi̮z4  {-Iz>OG' o ][F™DUœӼ z*Vafkz,*\R9Ҥ֦ Z#ƾ% |Oe(_zl[3~K)d'9)+S~KH&}{]/Xь8Ϟ:wD$M'CPH<wHQ'[ Ekޡ$s}ZV)0Px'uTj{>g;i#Pz}L) | k THxc(L~eΨsInlk/X? EڱVΩ| $m}S[-5<Ƅ6F1䠖,B jw[=@ AǏ҈'P ң0T Ӟh6i`&%)\Ucڏ|e {U)C¾ӦѴ$aoa`æX:xb(!Ma%aH̝uЅ'0xǫÖ `ASXzߩ2>D; sҤ!6ѭ:W ~ %KpX3oR폫8kbc?CQ 5m/`<4-f94BWTy6g8Kkqܱjˣ/lhJOU}Dҍ1t7RŞtاB#E½FuNT£?,B 刉6/ 9]9@/(m7eؔt􌋾oJ0D$)bKڑ5Mt%3DFHr&Uʐl}[uuy& ը-勋x퐝/M*^8 ?wcJ0<Ҩf3v^M5l}רA3l{xqYXFMl#(~ün #Ϊ/Ml>XS@Q?!cy}FsCj@(сAmCm ýI*ow 0_Lە.,>`ޢU% ®o䂑e'4δF b/A:3ox$I ekC8~|jHhs YV2\.@0\ІC֖O )8uAj/ټQFa?Β]mjy@& JBo<:U3K&_9akkP.|]5Ͽ&vX=Eno 'f`EQ+ԔܽhwdI*y]ђJx T,g<9e>%=5Nژ:b&_0+XQ/+8JϟRgPoyNrەN`6'hV C;L!#ʍls $CelX@یRrB[WdX?5lۭ ?mv$st^J)X.gQ<@<5Yc/L0Icy#'S/=oX< 3;4z_a&u)5i^7hHSQh3ǖu !,7B֘t' rٗ,gAE,'RRQb0 Ҫ7nB[q&m둦Ջ7Qr͉eM |NbJ!Ny T^^5!p.ËDc-f۞ 7a|4Ǎ,]29#%^y9Q.-89-zfWbd0^j+H8r3P?n"w7ۻiTpؒ}S#6@hE'= ePI!H9v2D /V> >>A}o0virw Ib,Ngd!_BTN5񺱢ܬsW(lȋN]oIwCkF%P1&:A%[dL|\Bwt, ŘM`S>qsS(MpLFvkHƏZ˷2-E+A "&O3hORyK;Qk?Ų+Q:IN(z }ۮ` ? i ^݊B,?xߑa<5E1 )\/fXW?O<h۱Zx._yf,k{vMgFk /ΔcEFuo, -a`V/A;uoF/k7%4R \f ;@6㶥.%*?JBRfE e<0 Gp2 Zݕ'%'K.ͮB `\:aF NKobPMi*%W\WC4u3BD_e,%8˼]$gLecoI=14az 1P_Sȡmߓ"`@\8r\*r1xpNjZM[PJqd[Ж:ǎAdF P[(mMqE㕈%8:{Guk$Hת?T`+'O9ψX}Hܨ: VL`#7(-g\2#s JYԒԑM]=\\DF݇(\@ VjL؀z[ꃣ| 9gfrAsxb儤Sؾ}DkQ'X Ex%n spЈn-#[+tsPilN &x}TQ.ZQYӈ/MMxMKZF$Mf¿. g}u /ḪJNfySmHPJKblj[|$B7Ϊ!Sz&em?iJΒ%^*3>Bˑ C! _ 1o9kV(^,9F ؼ¿m$G2mm~?-5VD{gY;㐑,%PpI73s4Zt*SΏhIŨY^M`H‘!Z ,)AȻjnw8+zffa 0hJJMj]=a6bVb%*4:,pAU>!X5o68ˉ~lB V['">[\l-s|.ccN@1͘mhhL~O3eVb729b5 r'? Dzk (n}EʭJ`!{=#gy=@⢧+NԑOBI-zKcN{V~X-z$^~" Vއa>=*K4g&<&/_s?s}%ڈ#?˪CYrh%p+hT )~*̲֋eC_.P+BsuZh5'lcф!B:zCċ[C@/5\Mwn{m ޗbɬA+ogX [5YP݄LyzT }ONjC^ހvH0}xsVuu)պ, c9L~=Va!Lt)a,D=/"EpJl{ dɬސ9_0!%hKLdY +E Y% r_Ҝ'zDž 2<!s@.M0tն ZVN|1NPŦچ  PLI^L@~%v0ܜ%<]')7r\sfd=ʷ|۾s1I ;..:Y}E1_ؼP*:]1Cۜ l 4)DhF9o]tCral(ԋ4y\ o!u_XA\J"bx) ek!꺈Z0}9 V+6pԌ$fq1)Lu~x04pۀ46N!ù^#cZ=t>;{sAWT#0p2[~R{n"y7Ux1 z?jVyI5U6wHoc$%3TP 1p\wGRco  b=YݕoK envI+cB3ò f'$gmLϰ!9f!>ե'MU I3l*SDX;Y'FBhSX5g V /DOĚKM\A_[?X + )/='~6L[p$OAHtF\jb1&cyS1kE}w-Gw#OgNWڧ cS}hJv_豑=H㸞ly#9".<VGhIk' EZoG6>ke-V\&f\7NR6Z[AWY5Fk j$Z3]:<%,Df~In{e UwUwHe]SE*W-ĸFl"` N #Iv!|Xtpx=KvW-18ԧ>nSy VBl{@y z,/\y -3Q0(s2S6?%IJZˆAyNO&dlw V,nKRțs׳nqCeHO6}ij\yn4PB)3v6=L ^N){[I sd eLz/UK_,&JJf2lza,"Ϫg@J%YFr$ژY/eQ/\痂UNy]1Lez MoQCZ9R(0i0!w>[D6@BǹSD 3LR)}/:,*A-Ⱦsf PƏ%8qe+Gp|8IZ.!|B44ܜPag᪀TwECYV ^5<_BqTnJW73XARYHY@2q*ÔDqI|kD~ITe|;KX6,G C ?J/J&q Fc(*g2@Ш{fCo%2Iezwu5;ڳ1]Mj{5[֗E i4?-!~YY"QFr[^<4oKXC5s ,3;DnRռ)` Ls{5D<41dd~҇JԼbp\)7WbHo/͎x] %f6'fx֦T.Jb=ZJLyqxzzvU;\ZwMBw|ۜhN%㇨gVX [ ֓8a/t3B;8'3\Tk,fnCwqjCVuKՒuPt,9f8~SGEĴ@]'sc˝G=]>xJ`Wa-z;pD0>ZH5Q_.0P4F7V W&:Vx`&YC#jZyH+l/Py hclsUFqɕHړw8scF>}6Il LZ܌&7MSנ1᳐4cQgŜKh1d\vj@RkHeP Cj/X}Cʁ\zPCNa^ 6/.\vaaBu` 2kU7S I<5Wz9-b ̨% |cgUREA_aRQJ>4\)DE`R|zR[ kΈ{Ҩ MSoGC-= 9bs8MѪk'}\0hUOWi@D_Qjri1]UY&O\^UJHaa uz">.[۝Vn]|ɼ.nG+ /U[G5{ ;۰80*=Y:2[cj?jҿCm<6hJprGo4tx[^)w@SSjʃFV0^+ؠE1(ul~Pʖ@g\1 3$֗MR-r/ }ʋP_SSpMm BC'Bmh5 3Z[3:{'GI ab䧌j[^f \s#.zl1-}0 eOLy-1d($O RᙟK!ťve;>Ώ3sFw}:} =>*:YY9_S:B2ȡbna.UCMXܱ /}FY33YH?1ZVmKPw\ , = tK!AcCC)޳9f~{a /\ၦ TΐoGrlCV ýd dKo_r 7'pp(<@R/(>Fzaq>7ӬЛ?,nOCX80਍F柫]M(?X}}q"Bh/|NH*uGܞ9yn1tFϺcי}d%3Y}!+-PkgŖ7kGU_b7&[Ԟ5aT4Z[ܣXj\rZ&{ED `i"W!\`=P{ l)lJbyNv0:  \M naSS 6jVr%TA2 J~j4o:8p+̡Ev]H'.(b_Hg|ۀfY_2-y(m)R|v#htz8J<5߇?Q8ۮD orܟ7?ό]^fB[@qz\C kOCai{*\Y)mFe>Upq~zEu_n"g\5cp1Y{緒-b@#\O;*gk }OɌuWnALdBes$)om`]v-H00r4y*l• jV+H;յ:{ӡ 8vs(Tb]IDŋE{g}cQg[Jq؟gi>SMϛ:ٝ9/3O*J . ]%V*c7QqX [>^e]BDKJN[v5mLRwd $X4 49@,n4 2'??r;Z%vdzWK>r笊"6"+!d;aw~‰&ad!WS߁T^޽aoИDy( uAr}|d=pɅHY"SQh&ax5.8Ӌ9قB\:R ۴J) weA݊Iu$kiϋDkE-I С|"I}m:M34<]e{$՗w]x2ݯ53Tk\!3_Kh뀾v2;U#w ߎ l)!VyH WF(mEĘP{Un|@vXl]~h"N4HeAv=S/P])X)HA%|Balk>t3X–cմ^_\-A({&~%)8~OfS]P393Jc|럳uX@4"sMbgک&@C{2X?F@,;"dXE+PB _-+q%?MMx 33;TP;dD sh@~P3d8Rws+.Cڤ9asQnh%=ݑORTL))~JVdꞵ AxlAdr9&s@a+BLH^CFǕ<**fNȗzn] P0 21 Q)oGOA S6UWK;o=IT"7o>Gg4 KN]+}CIeoI;ЗwU QCWY o+ϮPȼ9sɮ_"(>y& 0 eʡ'qd+Z('f쑧@%c"4KT"`ʗĦ0>yKvٰ'ΟiwM);=ǧ-\`ѐJIgx [Ţ8` -*;Bm1=08Sw_L y?"0ʥ7=%ޣV -SgәAWޔ_{^ovԢ~68@Rn%gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4ba'ܑfyh^i7M|z-UZQ]ci F$'Se ItU[Ω'F:5NZN*5mF=F@Ҍ~n9z*zim3Rج7)&bV=ݣAkrLB^qȶ ~!2\ItDcvlrr1{G:El8[ĤO[<&i6` $ am!5sFh-kDlTVYjQ-6y LBRZMɢ}]q)o%*^l3*!.7ܻrKQ.7;;IM/-ٺ~!xpp[d(" ҩ񲁬?q!3I,b ?'#Lp:=O?OçvtqGnˍͪB#Kx^:.3AQ!Z@/3XvN$ c ,9M% "*߷4l} R:CG߲1L2fl3)[Cq;r7:x*JkB*\Z"` qO1C+R5jGСO,MdG$jq"hWg -Mc4|" ׅ|Z.H#~H-d?\>#9[[&PtlDwhQt;6E79Ivd+䏇ؾqYd Ygq H咱{n@*{kO^n\gCΒZz8reC㎴,F}]?jn.k'C!ӄʲ ziJQΦ>,U6k0<~YYvx3\u9X&2*) V糃vC\6mO3phߍ)c=ƻaZ/Zqqe^oVxubnkZܓb0b|⢞>boez#YfW?yEj==P#%z/3yz҉[sYiwURb`Υ-+I=EokRqµ .TBY.;m)Cc!qEkxkP+DÜjY#7MJ8Q#+W;as TXf J~d~# -$r *~HK LDUΊ/ԙNY4T\D@Ƨ4g̓10 _$bǾS9!qMIm'۽#g!_ 8e70tVb}Öz#U.)AgSoMc"3^> ]!9VSV91Ϣ`+,.2^PzX/=P׈0؂n+H]Gr5^0 qkZIyNGYzP[IBE+Pqto+jxF hbpXrjv?,{!9\ZmO s(Rr0YSI`_(,@g\YeM޳ULR6 ٴ^+JS L(~#dUA~"[;8#˱ (GC0кOEo3H!\]GY< ۂuf<ZIhMH//֯0XP[^gYZ7zXZִF! 殄k]ŗXi%LP쑒FqKJހ1O2ՁMKGc@eVxf@HgݫǗHoڲeycхt3έFP )jb[o47[5`6H Eu|Z!}u0NxD7QP ውc د9+aAYvrB6)NFݨ*.kD<2nT  ML6R`h~]rRj3쫹RGn\p2 tBd_}}n1/hk5Đj s+F ԱÉ>jzF7ْ@޳ Uu4%`Z/(Eᔷ _Dէah 1{NbWaʡ1HcfX~"f1_S1 Cf $y2U*1Y]L7!K7 {}ĹvNR9loY'V9w V*~x>3 AN.J/m;p-eqX&mX`i z|%D]#Wwis Z[)H?)^X9W:_dVM%pD DQpb*ߧgCG` z z} Z"_4?3nD @ b_80_Q(6j![D)npv5"IߗYvBݸ[:͵t'=1Ll Q (Y*Y'tlxCd>yQRPHZ>m]%_t'82a|gGWY%C ~/BA`iItt☤[U{~?4rv$č Շ}Z:G2SB۩٦kqWOk@&Z7ZO4چ QKa*NDpRI"[7^DJ͉" fh,*V7,^O1mMSR3: V>R2 _ asI*3"w*?J!!07»a|x pBd֎ٳ,cأHkD@`)KA&w7MNb0YC> 9I }ԄNdgSFL/$k *aO'PTTwE]jE=g\F 2q28@Gj MZy=L+vnHHU9Čh1Rqrs\TpAT@J"M,mZA |^/(NsGVe3h #` RhUn󰳥恏 0~'f'$vcژo^3@v iΒۡl"}ڽl 0},,f2aS`-Q!?Es/u0nlxuZr 'TwPvd8" gدmAh[c͖i -B>yƔOZI =七O. ;M%l, ]DDg=ޛP:1c~%Oiw_m )U*D6anjSM{Mb˛"tgmV39y<9czZ.Ҋ;) k"˔Ux&[)G$*fc,hS~yFapLPOcvQ7~<氣Q\h{m1d^I 2$,@̚W3N"b^}NAR*mR3r8k jJnSހW9{ ֕gII@*AD/a3s?ٶ _ Ig8YKؿm0s}bszXQ⏩[Cb}Li$y,FW 1]{lGiwȞM TkA?9fֲ {Y~دs'SPQ)BB~[98pCtsޥt3+Q.49LH(2bE0&\J$LLYy;j -<zdȆqu8 |$ x5lo[c R-܋MfOv)@!8 s;4eMj2~pIv$.Ies/?p$Wָ=ۛ΋#RyiY|n"fC DgĜ:RG/4h7t=B.c N+ֳ>V,~٘Zϖ ~sEG7U R˲C1!_ـ7b:^K8åB)n0KfK_e-lRțt@/zh/5=h{..J_xM |JRH%H;>Ofv=6m LmUU> "G_F9.a8Lcc;D]AgT/ػ.KJSM HvYkr]]קx[hT׳XzL0=5[~ork+w]MfzT1oZP+Y:. #}uHkju=1 ]=;7Bpi0Ʈ.9syGF,w&}ytd^ ulxy/8-e2?.(t$j;׼Ʀ6l0EE CDn,'I+Ta ņ*ZP+1w8J^Lq-:2P9kPАfBnn1zm\ тaT_Xl`]0zRl1%֨Tz]*XC-8Bu#2((^AWlf^Nj]nus.}2&Lc ~5 :BV. ؅ -"E[|S*=g#w 9I8Y V 4iZ{749\ӛvC{ڟzꇺIK Y{933?N]Fm2ỉ|%RM O?y(+pM+uV7{?~̴҃TDJI-~yA`Qb9 ; @o6fSVl,VN@%ꈟˮ lʥh"Ji**N{4J!3c P9Ʋ&G>I'vT&LNH7@ x[ aɯ 31vX[; X7[`FҾ6Hw$MjPHբSIw.2{9ΙOڈ3G%%{i sU@ITcg /%W ^˪C{Ӆ 7Sri OQ<7_,WHDovTi3& @=֝gnݽ' Oq2u#Œk !5tBJxPu$sG{aי3X]_U uPjsm4ˤ~煰Vl~z.Nynq8EBQ>5rdIb!xI]E~N,础8g/Vu2JО'ٔń W߭~L kA{~u,'Nl^fuz(Y$KSg=߅JR]RXL}D'؛Ohrb3کŕec'5xm3MFެR]D{TrzJaZ6}t-nڅNu<ƠrCޗׯjf==Y{ Kv )ʱo:AЏ@'?f1TmrPg0ĝ[dy#&ŖbD+syl녀ruPdҝSuC>Ru{aMuAQ{T$cbmS06m;Hq8E>s`{"BAkJE!zbG9$(y > Pغf139 XseDLOw:Dcr[[0r;pJV0b*p.cCZ'}UljdpUIKQ!Nw$PA̿U?`C%ۗ~B|B4H4΁i2[P~Ҏ_T1.G^|~Z6c=g::{6'2T~ч,yޥF uj /GuO݈"ˆ7dk^W g|n07Y]Otu>6tY!*/4e:g7;LI<ػKFȗX(r1]Lqtn}Nn0갛? qE>9銋YA%'>עZ9\%,yULuj3v|"rncĜѣM'1f b!/Wr@=0xԈy} UI}[g]Sޠ(y spdY>7}dxe,f4l"_yμ\\h!M%o4;8#S.F]%6Z 4(8{3MZpNV 'ò`p Dk+Y][t={Qs>F-N`RM]3L4ԳWY\D"|8@lSH2! ~*F8G%=R/ȷp162gˍϣ¢5lgaR Xf#ђ*%/OOZrݭ $ũ/ )dڒ. C(1[F~>\~{]M7KnW+AHH6D)IԎƇ^)sZ3NbӮ շ^&gChk& 9q\Yͦ@?ݝϟN.)>5Wާ|ׄ# ݭ  Wf .T\pŎX8Wr6_r9@,JvW-`/x4QNi~/Y|p(}#(;ڲ'h<,CgX3wUZ޺s\ӻao@&u(~f s(XͩB,}~Mh/;M_ݓjA43'$$b#?D,(}ݻҽN HH%Ԃ[.^FHhu2ℱY9zjn0N$) ^%?SV*)Vdr9\*bggcǢmKkIih=T wlW44wKi-ͮu`c +wѭ)[~9RgRphBgW3֑ CYqi[L~kisu{-uWS\RlBSD K D2^x|Y*HZ^/0iiJԕ5xɲ/U a uN``w˵ǫb/]>:dT:P8D^w,{]?cf,[at66~ڶ\FwԝhwJe&5΂ ('|x0ׯXO:N*W j}TXUtʄ?̈́{H"=$AB(0𠬉Q4kʅQ0XuWn#}i&rccHR} B$seŒF*gߒ9[1"?R2CnN\vRoCT0Oׅ"s B A/퓮|Rq[T#UCvG ㈌+!L%VNf<"LV'BA[MN0N;TeQMP= ܊^f:rBc@q;`{9qYag혓@~_ Ƅr,X4 "[*|-\F, Kg\&Y?k ?.Idǿڻ {}A/_CQ9Ҏd<ד-xmkvUC2*B۽b~%-bN^-3ٰ8^)40Ks'-j(J ItO7(esW`lk.5uҰ؟t=`!)hBzFJ.|~w|>*d%k`"mFS$G8h`d/PLq+.X[3KLFCu`qqt#:Zb Ѷɼeoۇ W zHd~p[Pp " l-䎶cNnXȸׯi |/KUy9s3҇< VBjV8| ޿Ic3c~ٙdX`:rPcjm#CtB,=%U ɽ|A=v pf" VV=q::FgeCiKA =҃u.EV` aa<` Դ M1mCsǓy:7E\G43^.I@Hlʮʈ(Q2rd@ g) 7G qkd}ċ32@LX$E 9^aSD`|&R~nA;/7}۰4dUJPK ~E4\nx\٨!$d3۰t 'tthѦ^ moxnCFܔ&11aSAmӑmpK,:m|0OǙl1f߶";$<6:qhق:3C\WԉE%s~k@I&u̔;9-Jy> U+r" M׃I+K2YQڔ*B!v®g&τ.ԱJҖ ƪM諂#{Y8=}KD#9^^~^`srt[0KE/Diw˒ chM,bAfY̮ o-\ f[m8P< 1< 2ZNyVQ_[JKy؏ecSTtc)Dz6WX6I $`hG/ ~U Z`+ND"!ؑǺᛕAK9Q|Ghe2OH^< ], .@eoIbbSLC _ۏUN2LXW&=m;@Ŭxl"+iN|_I;GL\nf=8)];< eھ(u$soEd49؜TDFr*~w;|!Jة0)9=Jz|ʷ9I Z*}XN5y r'P9uF=$N%3ᙉRCBp%mź=i%$;p,Bh)-3k(s*Y~7թf4,dcf)&`kc>Pԧ#o!pZX=en.r*m5w_"Nh+a|&8G~ h lVjX)X87,Krc!uRcO *'ӘDԛ΅3W4&J-Ȕl = ^v=E<7d`AXw+Fz1Š1lfGbـ>$ MU+fo MsSɿ9^ϼddrBBݜHre<{%ʼ|0xwOӹfQWd O;C<h_.b1!J V/Opj=u#ѕ|h?Ai-=JH0T KM\۠8⭎ҋͺqU+T ISTŠ*˪e/,XkلtK6U;CGRfwͰu@_)Fs Lukb^Z6K3y5 &?%U#;BЩt_)T#CpST/l^׸>~yijHJpPE{J4Vc[nrho 2*h@LeS x+Վ H e\E|l5xafXX+b QL93|WRX~檆 yhNfݬl%p!V٧ @cYGi%Y; Qz`i1&L|=K& h]+m[!WjyїoG]S)R5?]o1aW}p^b~VR#T-h}0Q4Gf7qə(Y+hjN(h3 ? Z5AH(Ÿjr f Ԙn[ f˽ h- 1m, |on{h.N/^d-ar}QYzR` egx6> ɯP&f2Ig uC,hsX+IiYF.ʱ1u꺬7|eʦW°51jl !)@ZK,biKo;=Ҏ*$TERG>K6alY4<"NQ\ TnGڤ'Ȕdtlyy:X#^QsY+#QEhT#=SS~ Rɛ]CG89-Cl!.^aWPGBlkFh:PG8Z 9= Ad+1trƋڲ@<>rrB ((!V ٠vFRLj ܚ5x-Jklpn(UzC<˳})d{>Zb>QT^9nnK*l@:"">nXarwjsPǰ{KՁa-ژ?OR\@*cPzS վeSZT]6 !111PIH$ v"BlVkk[ܓZ+ :m5 6Qŏ߀su2Mg3DU ~=@ؙO^vyE|k~B\ /Z( <&FdհѨuU\: 0*v2(I Q6cGYq㗦Ĵ]i]}6ТRgQ+~OD9|@SFͮǀc7XT Y9:JH4n#U#eiHHie$(& qs.*7[I7%$)ϧawD.i4ƷQ ?SԅZ|ĂV kj%I%JqqddG Ep(ie(9=G{ͪyIi\Y,#[1:c-XP{AT7?rG9 +g,>i]Q!؄[o*UCUPFHz?QMgʩqr.rc^` LimWnT:99q!/zap|=q%_HlՉ$憪tث4_.cm_#z1ދbb-Uf#^{gD&W'}Cx.\"֫3N\6:UI);$'!&,NFQYd|rHf8Ⱦn#] fk8h V8w(ӊ7vǚqPAW?YWIz!+$djFdj@z7ma 2SN$P/(V"w-rbp=%guH<zAz@r8^oq՜eyҷcy*]^BH/`) Om2;ߗTяh/ B$|M~U>bNKkk[=PSʅЧ(F02wmL;Ko?Jզ!^J"bU;Ȩ_#cV>ZN1eGρ5+Dㅡ"F@|%CX0PlB6a%|*xdž)]͟}h6T?q6@tmJ:7d$ 4f}lzlp1} |ؚ~ ox`,S{!aѿy)䔒]JH *]V~^S%Ip fvhi[ J0JcO u2$IR;ae7KL2OFԗ{5H\R#H& _kK̢u XE4q7ݤ)0< _fhf Ti=Vnisډ1*9gP+] & =ƊM4lY) oimGID Ыl.1ANvrJՓ?/na-(`$;x&#`j!O>cZ;{l)2i]c6['khA|F?kmHYAQt OkmL (IUf"涽3Bsaq>gۋ[P1+q([];A3`Y-bK"2ȉ˵bJMErKNBDjXm>ˏf48J$] +EHݸiF5B(h_W=aYl1c L/^j(*uV(vQdž1O \~߼@R3OSWgV-7\`IG1 x]m-CYpLa w`ԿJsި2L_^Ǡ߀"qch1:uQzMv*UO֓,na" ~ã'y)CGӹoD#w%b;UN3[ k ggR+.5瘨 ι X\j (?]iET^ґI㟕dj("#k)&Fv/tSP6]Np|UA^۔X&qL[NktU_jHkPW d jF: fիLҞ VIcˁ8 zS}E#&X-} k.'1v"y '4} :'}6 ^eYTcasZ{^Sp꾪9RRJcm: /}ь6;u>E+IY$ 9^=C$Z@c +? A[xў[ [F4m|9-27 yTЗ3=>czTh ddz}FR$ "~VW`& ʒ cD ݭCn}i[Gi0mB_=gӁOY܋ؑ)S*8 {j堞1d'" ۩b]i<"_bϕC& 5U /,[/3g2ybH4ӽͥ8Te.'Ɋ啕P]}Ŧ Ӈ,O&U'H@K6d^ϛ*T|Ȩ1ΗJQYt"L<$Fii΅%t2]d5z'(Kщc/YXB5p }9v/yzJta j }h.ّp#Ϛ#}zxVRuBB&`&5%h,5:%(/ݦُv+"&9eDI܈zvÿq~RXevp6[Ow̼1gDz,܏9]1<0w'.3|~?zrbtuW(HVu.o>|5O-"<ٯrO5upǴ_Z+c n1]ញRs|?nyxh' s/Fh.LiBl$nul- \Ɲr?w 6+v37+Jok#zOׄʹG|,sxB`cByДlKDc!'oZ 9ϩlYZU}9+: :jwUɵyTSo*]pOyu<=V\br''ݫ\@RL$IjsY^|hY%̛'-\gqRt۲,XyYkѳ2*g:jy%dK>3zC\S}=K}O#b]KPc,ye]kOaFD&T0C(*Y~ y6`˿z=KJ6u}xE4>1'izBkX:C2q=Yk.=%h|ѼU[t.OLKn|Wԝ{Nt]֚N6|Sx#+XĿV}E T\z882mm/p.oV &FXUැʣg]7}X/^` w>BY K%/N'")c.c\O ~H[ΗahoBԟ}2~y/y:abqJ[[0~[4}ōKrHF)P|r\}0hkbJ0Zb xÜ feoh+ pw H7QcgqIjhݥ /WE('z)(REx3شly zA_š2p<|>_+/E ‡hZGK"%[s # PpڵʢgOq?u X~8\+TRUEI~q&ASn&%g`ߕ̶l, m3G~e/m9<\P !~AH0YÌW*z{Q>d:k}AɬtU0XU jo ułۈy:$U]` >#6硧gj*&vr T1&-{hzMIw6z e8Nۧt J&"\/iöOsvsԸ ˞\%'uO"m;gӑuov-!2LfnVɱn&VZǩyXT ;"jQYxLq @`Vz<~Up`dp\3>5g|dQfpˏČH3;wi0X%#I+tX6 z#5V{*hiŐH1ʗ ӴzBpoY v h "dۯޏbCp&2QyvwvIn=MCAt XLSlQͺ0蹳.κZUɞCfƳT,-NiBIvq)-4U9а1Xmv֘,e'mf-XEKBJG?Zv. K1)/mZq1c ǖ^=2/SG~"f\5'eF:wEqʞbQϦ*}Ƀԋl!R۟+m)*` /#YxSc(,¡Ȝ̒8C6Y e8-=wm!ڣ Xzv^vU*,.͕h"Jif5P>"C#TpBA^m]w\efOy 1tWϫѦ~A{B.[K^؈Oج94ZwV*ݹ^$sG%Dڒb||PEilEmv'\ jySgq6 "|yEsy87Lt 3{lZ<]B\s(غE,h-$:e~~K!.2ljw}^)jityqA B Rڋ|{yis/hL2SRi]f0/(|lQ] "T<%Has밖|I8MuYhSoM#͙1vOvA,C2EAǞ>G|(\bc.I@: ]Eņ-NȺ|\9͠&H;!<-E Btx%dTsdo&0uvN_V8#Co5ؖ x[8Y")z­E͊dcLv`o M$^-qp~mV "m0ٿn-MHY}zNp8?tnGQkUp&bBAP-FRM* JC >ʝ:j1 7ֲލuhʓ B4t5N06# F w2tL{tۃ7\V$rAHLu? CCA [d ;hdhߎ`DoԪ[ :B<fSb }?3mcY<j0L~XĔ2mFXu(D!mSzj),JͤA`OS!̖6bX1{0XXגbp9A>b6[zQ HE0MlxOv_Q!0NݟE rP׬%U~:FQĮ>dW^ 몠[qmT_^4co+:99b瀮Sz3 A]5bfR8hPBE,\; =AO ՅCaIukU4 Nźm,4H2KpJulϼg0kK~@φ7sA9$?u# Ҙ]:B|EK?Vs_P,@g]W[4񢳹=3O.7F\kwmH xgy7Dm8\`V82g\5H"51 HjhljOcðP1χZWqP< "`%YBHY`R< N+ bJC\UBcsaȒ_f;c~ <,iUyѰ`4\Ɯq~ġw:ZpT$$T,u9hXoD#@ME&Y%Áˉ ,J}ϗ9%?0}MM{F;Z02jڪ%qXl 1 r͠˛0YXM*TD<Z19-16YqαSh+܌\"m_-DzǼtWO0ݷԒ(.2oo+ /AdG+| 4]:[K)"O: C½HBC`|g2[$E.H#WUVC5/?Myʹ뱳V NL9݀J@X_ "r~`n)CRe1  )jl&Y c@ xŋV;1T5xp36YKϥC|,IFSUBZ}/ 8W+Y_-v1%Gr6c^GȞ/zx+r|JZ`ҘJ"ѾSDFOkek4:5YK}r|","ޔyncsZ{ksdllta_`L˃:\`3Y&ql8׺Slbud*G`ufrDG29)tՃ2-W4Bas'jXIuļZ% &GUٵ*\q)O-vK672JzM@} h/ڃILVvЊ> 8ۼEwNr(@'ą&IY.]3FF5ݗ mGjKeY_oJ'zk.XL {3̯YG+z%BhB`>DVnn$Goasj{ ?b6.3E#D|'ٲ #Ce;> R/!9 XGQܣkkp-O׃1k%qbR|ۈ=TƯAuq{2 vf07(QIw E #߬6n/ÁR)IJHw_4/yYf &x Bq:ukk0sO`|䝷¸YU ~@-;*_ː[r]Y|Uz&I?1()W~ex5h?UnMm0=>yv`؃׬[ q'&cXc0'o<ڢg^%~eSL ^ 0r'mt |PʨѲ=MÜ~sU.`%k8eYȇ6Q)8.5f g?o$ő˫J<-ع)2\w2"f:[1\*oSЄK._Tr! >ST.Ơ(JSH|4*nvcl4c׳lo:,FӼS'9?4":U$FH֡b-󞯫lhp5ۘOB}F"لW|0n^h[E-"}f|#8pbT5SG egJ}pg$7+(ԕ"Q!P^{o017K7By\K]'=OQx|M2OY'e3Ӓ׉H)9Mxٰ_2|N}4Mж8rRڧD,j=j.ZQn8 dv'KȎoe"0*)QWڇeC=.yQ)G 7jDbsS+ 2*I?sc"О y5)BNyG|?c;č%K#/qjmm-M$+xWQBdٖ <1 뇮ea~ &!ıgK*υKulmd%.ɍ@:}wNE1pZH7`ie 'gIKa:uɘ?*ۻP#пp+8[|)IDŽT@͛0M'W'1by <ٌ_; /fN] 4mVgKE~Ndf)!5rok;t͵{q󰪣rc]htϥ#1ʙ.l$hRUϵ'`2;H}wHkvqZ{M)yVq.fuNnޏSzJk!wp_tw[dN# wqC`;YT9nF CC#SȗǮ$˵ADZZʨApo&v)I:Uچ;v up>y*xO k*t5pVg-.'HGVi .j1KAC9(+~S x|*7gl+PrJlߡ(:*S.+o R MS[s2O[n{6ZՕ%'29Lo5<+,3n8(JKkְ:ↂi֦{꯬cѬOϲ9f <^nP ېUX)7n]>T}%FE\S7+̟Qgi4T+c%g,͙ʀڊ?N-5qgYZ74dc62fff8dd088cafa0b7e6dbdf2dccbd09468b069c9ce34574a9d180b675661212e7d3c60137e9 6c6d87ef68588b18c4100f1ded4e7f9d6b0486790d69ebb9e385bb8ee28e947d45bcafed550a06a8