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!$ ]]]HOL-Proofs:threads=6elapsed=644.338cpu=1803.448gc=311.064factor=2.807zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXbSY$1}Ʉ40_)N L%-HN𴻶nMkW Eoͷd %7 ~J9ć0~!m*dn\k} e6{ja&">#6YAP!-Kӷ<“W0R/3])imh1/ˀmGR02I+߮[Ѫ˷shT!2:ty '5SY0WAbiq.򣌳äd:WVcK[+vbB66KVDYuO%^<`s=G):VeMf-`.,-W%Y( $R2be1F`?9nқot+9 ]ߖ=H[+ࢢVSS]Mbk,M++dwL<54d?l8g* N\vDY_ΐ':I Kv~=+v[`Z (:ƕ0URpa٥bkv0@#BT +&5PBwN-Vӽ]ʶr;g7 Ie3#4gn0:"|7Ke6Ka«T)W9]AA3K|=#k4\+&"Et3Eaܔs*LƊo.zob]!wJ .1{LO w.a=NL6\xS.bо q B_7sZ:`aaoV0ţ*x)C<5[N)v3 LVϊ|V:+$咊羊=؁-i5P7(]f]ΓcFt%YTzH't\ hAvxGFeO7m%fr]dqSD%,(m3Oi *$͠ܙVE7# IzBWYBKD r%! ԏ:tH-ݩ^Gr*LΝ)j 6Ų<މ\N֔_e;(aw d.m_GHu~dP5H/c>UMEUI4 Q{H"n\B.<NaO`K+PqV|stxiB*m.'gAeRܵ&H&ᏺ4j:]邔V4`pF{AcĮA^]M5 1) 6ϓ!RŹt8Qs>|p{e7Z~լEB~Rgr/=jhjx '#7jlGrk S_S,Ka=/3' q76&F,S(bRsDA4쉾'ݤ,!@cފ0~;."9DUf44j8ϷP7"s="κ J'@JZ6"LhƏWc[w콓Y*YQ٣l C! ;Un-psLXʯ<3*qGN+BGE+ @*6ҜT11ѻNPtDJft^tx嬸]Kȇ2՟C9T,ydYpX@_:E'9$D䶳Cf*?<P;pKwV,{f!s4=/7YtS`$'iྷ :}TWd2R;1сRvbXRI#'}e3x bGBˊF8j,% Hx[O4(w;bmj;䦇 O: bБ m  ! HOL-Proofs  p//} }iMyMڶ~5L(d`mb5Y뱑2hq`K3s[jtǔ* `DڢXԽHF&_laB;ph=Oscױ)A뢅18`Z1g⛥SUw*Chf$WfT'T溇nѧ1l"ࡗfs D%κYv/x/;ҖgHnnSI. Ui+";}:UY=L+ ΤiS-;uM-8{j l$8r83UKG#W ʲM"$ξ8gڠy|gHzPhjLƅy|W0Z+D@t* _gZ$ w;̜{65GtFNcD>☨K)b] O뱷Ӑe~$ƲK}3?@yut-xUb3^ =(2޶?'KNfFkMj &aۯ 7KXl]F%i殇_A/nˢ22yjPVژL4=G|V'a݈|U#-(/Mҵ=oW`͆IpF>c. cL 3b"woLSTzH>XcCQWfLkd1̡MjğL %:SrR@f[+M0S=(jSRYa$u.N̗MHƴɍUHJ\uζ"K+M0N!bP[$p% ${k37lw^@o!:`4Z$i$C۱ \4Jg]FϏ(n$bI? Ha"Hꃸ뒶2myR+h[\=g8m6b 9z=+,@fSij1}{/;N w@ICl'o :B 8E ܱqԀ\|6;@Rd2wSm [g~) h4g&uhè-'v.%-jX u?R<9tky(tO3k[3#Y&u5Ab*e+ZN-fC})jm`GRcX\qX& }x4ٰx2Y>}GY_Siwϼ.@rOM99[7z-(XΫ/`-ϗ`OK 7tx5ȀZ{ ZyТ(Mn3Np*Ks{=:Ydy2qa ti̪jy< ؆|0>" ҽfٔ۱~*cfwEz2e^rBiIXt!hh✮"ĮIF9L3Sw$ʜIfcE|GkJ|6P;6j˦>8ޝI,Ӄ3$; ș$s w)N[JcM ~4 0ԩWMF=e:Řӛ(3C玽Ӊ-},N!Lgrd$ e i5y?H"MSt `qAV*U""pKi4{v;i6Ga c"1N`eZ <'Mc >iQ`ȕޗT."`W)Ad%dVd6']u"*Y3t}~02l~6 m߻=R&TT^[MN_ֿ|,)Iګg93v7HZːĮ,gFaXoB#GǗ} rV%:pЯ_ i_$Rڑ5\=ZkY\ݣQg) @M<63tA5Xmw,蚱٫AB's}4MU(XɈ`vod;O,.u|')F|u7Í˙}KgY/"ωe=6~ILGEd'SC]5ػ2G]YnXt[h9d`'F Dnk^y;G4b(VO⊕˃/3r6]DN% 9>"|<B׆ȣZ5&JCQgc@po1enkUIoD!xe6l&Qy^-Zw>nf6y)dlcz)cG'|fn|>3s wYZ:ĨGuP~/ږ1"51/awEM!!B/h9r?ms[!,&{a:ۙ3nUѨtuP Y *p=c¨FY_a6NY>ns3'k[X\Hl뀏:I/ϨH%7Vk)Lp\Rb/R3f0ՖNA=03PjOJo`zâ@AuYxawYtfr.Li.^|aU.t4m XIeުZ Q~Z>OoGS.:TؼMO—lkQAp!vghGzkcGRm t"'()|8tſFOom;UqSAz!WҜrm͈oM|cP* G>R.ʧlòmRwF+h8wu0;bf)a: p66ߑG g"%,;L)_tlPhXk+nϵCA.Rex'ؖH,kh {<#x_ೈF~̝^XKƖ 垖њ Ѿ|}a1 .U- WJsՍ 2?/gYZ7zXZִF! B{]ŗXi%>o&r4sj+IsA˰nr2ůnOӛcc0V:Q݁Ξ6(2,_Nca;`;:)MokX2g ])6תq.8yaV%lr`bTi矄^-Ȗ, ;읛_6tnؒvg)$N`Q* PU耞ZX!aO)]J=dSEv{Q1{9;üx7ޛ[#WsUV@ fK8^ɱêm2M/+,L(ji֎rD)J-=~CMaXS{Mb\/ ՃVA:xY4c5Ie0"j/ ' )jNivF#G&cVAؙvZ mzII}hqzRjǽF$knЩ/>Ɍ"OI^:Hp&mۘ~MB*u9qo>;?(\3_7C彧xqF58t 1 ͷ>[Q/{LbE)Axؙ M'*{~/hqIUurpo5M8,(J:6OCpXj\1#rW;6U]F'NמFU|eۆhnGϮ밳o$fn=GB p8h:dٰDA0Cfx$5zle^lJZǵnxt#? Xȍr K6)09N 7p>i\} TgG};}.)=3Hܑј(/3:iu&Y, _Ya)؀ZgɊ~Y}4\L 6s'α ēs[&Wjʖ89pS+|\ v"HGFoh#p8sqx$XCA4}Úo l~ Ey @EZ/GwwK\C?^1֣'`팪GD>:.]9+v.};d*:Lؒku!sw_gS@>ɥ+h4$ vQo \)G=\ &Nb#UV2֊,O%<[F7'OOG%m~A~W{pLѝXR'Pܑ}8q:/rlG[Zs ZeI13 .W/Eln@p y">\7hoS4%bekq Aw;e2{Pu XRywe5Ph |G2yڻP┵{lyDQIV}yA{9LcrGadCgT":y_pC*GrhP}`=EH< ´^fi7W"({"/W_:pwgA]XzՂt7pc8Kd )2?Ax}q~a=% -KޑO&QhhiaUN `kp 01N.=щtG_uUg `mI]WSRd}ڶՅUYF)H\ïj-B bqӫ0:+~2`[}M7_Ҫ P;L>Ӑ4޽H£YGlfG.tbh~;>cS&7~_z iJsׂHW9]Zasbjwqkʾ-a>Vxٛg rauT-UY Y_V_l__u- pƭ=H}3^|LRA8|E@{1~Pގ !rxV,c} 5 0^*(@.1 0d~e]XET+jOK9ImduYA+n[̡I Xĕ=)[rV@p3g5~,&LΜ LܧF696+}C0j w -uUob!e| 1zPt*_R2/z\JIgFjiN[KmIuj,\T/g:_Ȁ-;Z1čMt :O%u%n1'55l D?xa0-MmccJϝ j'y]sߺ[3)xwWCm =:eR ݵBoM3lR-Hx% f:{[8+d|+`ISpR$Zӝ#s qLs_*TKB0V o,,q-` _q.cٱyy ҼeE"KF[6L3ec}Sy'0<8RtX$ŵ>Zۻ?$`4Mځgw^jĎ/◕] {о/{LY`Ud:<˟i}bHc(s^e$y1L,! ~K8f)Խa̝Hȯg?~E*ʳbsb6ɥ 4Mzqo8jf[G@v(Br '~#U|=H!>#U`$@5zڈq Q%nwa~YAKl *pJ1g^F]-ZY]>7c i(Xѩ1^ǎ+,Ӆ|0uP/Cַoh@q|3 WdA 5hm!j4DW`F30dJ-XS}}2]F] 8]Af˚܏F@Eoߏ)+h umzQ| =2-JyXMP>lP\GsY{EOl '}p$dQl w_Zw@j||#sIE{Nj8i;)u+9w$s acE2^la 3舻9Xa̚zV<먥{yl9[Q%9v׊#MLO߼lM&, .w>,DiqGFk25XɠEWy%ݹh%z?0=|8WFR8{0q/O!֜ (ŧeC&L!j5γBuY~XEҘo aN'5(lZ_Z8?AȭMN0r{0͢~WT2ZF?QVK^"jt'5UfzhozmmZmߤ0V[PJ0 -PXApp ]RXp3TuhF?^e(\4CWqQI|ӧ䇩B43wϳͲ0KItxf8 eL=JB*4ZWw򇼥Xf;br5^iA\UvWWz2Qki \ҊZ\m1DÀd+Q*--gʚ1v5BRl97Kt6 XC4e'UYdg`83 L?hpH><._ƞ!ogTC'w 7ponFp&qIt'pRXIA-mjN8B92f,Pn #H"'Da (BJ v 5 Aqe#&wÐfݙύhn*{ēm:Y32WL vȅK\@.]MKS-=+5hEp$ᰘ#Ѹs,-biRb1NE#trU[䱴V*ȁttY2C9PX'fT2xOqgFv 4I`&N){2h1x-Vw_| |eƴoxʼnGMȓڻӖJ8J4N) #:4o^w sYn.:ɳ)i@/0HYQ8F5!gxxbFg!-2h#M4Q4XSvɯv 9 6y X}aNO:G< x8ռbk+ci#'' G@6@NP@0g }H\ k/븨랢duBغOA7d̈6.-K滮 *}LB(ɝE-vk>/kkdh+9+Tg$7&7hU+.S%buj}^vKaq/GwyܘA-Xg6@ 9|axh)+3oEJOhGjis>v ųstUZSCuaPA}5<5K+T+Ql์!;x^J ϦƈgEϢ>Nbp )F$=rG#6ޯ)S Sݷ-Y>m#XSQ̖хLx7奵ͲIk\@5i?PUE$O:Lpg䰒_"nqY˞ QvK4<^˲Sow>_tSXNo)Btb 76(:p3,D(eQ]kpw:>=17}=*aTz;|`T4z'C0Wg,uUT c|df\o>19^hhFxlKUxq,&Y߄JWr >nkVn;N@!g|'Lڈ_ҭVdv"5a4fӼ24fgc4Qh'b c9 Dֵo5\thO}IYm :5(tv#] c: RϞ(S{ZV,71N$ZC]JzZ$rrRr|mz5LS|n}y7%Z',;ǜݷ{t94\8/ 8?_[3؞% z#;M%<.SsXV^~/}/'d;2ANkNR&*R`u;e<*YQ4uuIk1U]4춌3'J0 \{VէWy@JrXk$S3Ky/oG2gr;ipי!o7C"7IܻmͰ,$67!"9`ohx}p<¸ɘ%Wfv{OT܆/9;ܦXhu]iBҐRqWĎ=h.`tH{Bo@@=7"=}M.gjK^ VhφAc54U%µWzqZݽIX;a,++^^E6 )Bn&Uh\(<cku ezsZ"˒GrLOєߊR4H ,BȂbf%!/܈~EºĬ3 &niF[{б@EQc%B]!utۼ~̗&p~R|P+`̵vBI>XÛ7*iNd4} ܹ-5de=p1ء{= r[זkYe|V ;Ia nD$&A2UgO.?g`fp{Y2~ ATRVEQN0Gi>y47ױT1]qyv1yEa[e[̑^.[ŋ2#e4=d\91c` &):"{k Kq"՟:K|i [ (1jОo3E/0m: [Ӷ+Ìv"b|C?a'81mbۧ@ʣOȏ7]ƔnhذF6\X@$~E8qˉ;B:ndaF=BS#B=qSԇM=h M׊ײ.@:y A@;Z֨ڨuCˬwɳ;һ6Wwb;v}$Sr3Ĵ%o;- _:Rnb&J8:IzrNxb*u\R<uqc_yQ;upfreQzE&|Tl|$g N Mފ>r3bK!H!ќ=/y[SWЅEzXޱSXGog)A/ s/^$JF tVylZL{g0Pvk J͉nO>'vRcJMV"|cBƻs7+kGDpa⎻hb9(=>!jZo@ %}A\6}1gIASdmNfb2"q(*׋0'^= x#7e8qfOw?v_FTb|T QsO~ˠڡ߰AƛfAdRko9ǫ~ٽ!2V`r5-նjXCh nGm#o?a=_"4g4 WH:woѾbLQL2?\ex*x}C s:>h1(8 $qcs҉jKFlӉHNmN/V_ s]f(UU”-ma6xOΧ\Xpb{щBfOFe*oa\7Xwio9'r7CSMwRADq[H&gc屡z, ?9rzgEqӬ]y\uvԥ^, ;Vz'pc_Xc_Q;Xp\%i쌠l(P7 ~QqxVPRe' GZ7Z;]2Ɔn" :ɔn,fWܱGO?gዲ|-LR4&{PB'yAPM+.<].Q ĈpGXP*j#_Kdv"-VO%v4+5ATI[Ư).BصzER{PB9j ć>?6#J&/zYI5q fK-w>.sHrnŭRI>j_ATP +ZyCHP,l>~|}I?cMy5ܴPY\$R#M!p`j' ak]L|}HYXcQ{j:a%:Ha3&,<$X}Oujy]t [s-nZ\GrfQ77 ( _` [ Ck=QӤ4a /#}R\\9ʏX֤yTtZɦӺf|?Uv(ntuJagmJ,0zKC)X} PFm`b r)F&kLXc:6mZʙ@ 6`qښB6`86u⣅gn=.DD*/#JEQ/I`ahĞ+mköiɆ#ѐ|rC\sM^k D-s~Nu*McfALj֬:0)IϿhWxF e +cK'amN_{C4H ia @RoذVLea_J (J RkЀxtn^34ɾ'PzOVUl7SQű's([ EENT*˥YKq Vlq3 =_o}] ћqdրɹ[X5[(lddfmGCuV (̯[o:i1ڟy\^"} TgXqX`%EX,}?wb݄ \'Fp7{G :yг{FkgTxpZyJaGH9ʝ/DtaiYKr F MoaO[\N.P¯2))~ḺI6A3p ( f VlEd%1 `cgY#ȯ`CUl>) FP|-:iˁI=gus&` swv;*Pݏ/77^qкYDB;ZY&8'3t-##X p81NDCW=KX2!^ LzV"Rz 872G HD5D&S0\Lc_ *[$t~'3t`mGG~aI@NIr$TZ s={O^r"-{8򲌽 SƎDuTqwu;/}^unՌhw.dxfjIȐxM6$O -)m[YTQ?wtU?NǺbJ6^ؗ}!7 Q0TQ.QV~-9sT8@0D'㛚?Ps^ۮf7_]P=qxjՃK-5(H*"ף^_BZkp8#0\qH4'L PjRNue`pE"Jς#*u#p \!۷rvy ?vtj!|E, Z֛iY, mg)RIUM'!Pko>VB[xV_H!]eJTj(*u gh-QTiخHKj]p*(NZp>A"ajARQfh Xz H.l\ww#myRn3H'Bdz:0~:|}z!hІˮ@:M9ꪒF ~8ܩ$^.pEr@ɘDv ޔ_lXJ < Vq +<]]PxEg`)wJû-x_;P怮렐]uHhʤZ.e(  {ЏU]ʭQ@ s%? u8B66Hr䇡p`R}p0HZp@T/:/%2}D?4c "GdX 0XZZ@3e]GԫܜXTXt4'IBb_M1-u0 d)v?o=JZk;90]r&l‹p8uϣ\H $sENJhPT}j8q/.aL$+*G난W~&0a_A7I .oHyoɎa+ diԸ)>*'[y?| t*UZW#Q'njz kouxȞ%]m0v z8lMX,%.)fQC6E~opB,-1u% 6 li$ `->}H걮!Ґ2ToOL/Ò¬q_*+OƝH+TE @y,(OϔJ?#(h"&dup-V{Yt~eC~zLk4*. S@>>͖z eHNےL">Os[vEz*[y߹+ND]k#LO _̉3"bC`Xsfʏ'9Mxd? mN'~!vCLI$]'DV3}YfZ!Yv՞x)ڬ\$ oJ" oHkɍsZ ;=PAoADQ#rܫ n6*MIKQʋt@mW^58U;(1lA-lA>̱.<ɋ]oY[ @̒N 4 v%zWu/E{_izW_U%%^Sua-0ٓ3!Ԫ|+pd"Y8QHhhe#x%.4"}|)GXj%F%O|k]N%=;clС2ѡ{XLz(A)E8@ Vyf72 '\x8p?|Yp~ELA@Z{5*J"gpWeFwODY&y_-hqcx釐!2 YeƐGc0A|PLBR.V X" <[ щC 8$#+4kD@j% Yikk(fv\[dYwv!Z!#.<1Z0 \vsq,Dhb7f0aOA)-fX@O 5nkm Մ*0j7>`BJ!VLׇnncnJR1OD/#wd>BA#3=Jav%Ys60 @h&}l_(.;qضJÂ3'ua_y3 e⤟upeR\ՒpHAW>d5SIXO䄪k6Eg!Js-i-74v2<9AcR ^+jrB!Aǃ{f-/nAf93UIlAҹ+|קkQ!󭋺6Qwu4S248˟ql[Sxz9t3bA\vK5pIll)tg?}[k0ړIccboÙ$ 4Meʊ="@K%[, "cya@oz2-)Jl.,Z$~@nN눬~8]Ag/Nw_A+T&ܜ3.@b0"^,%^`IM d:^?YY7s1p?Ģ~z{ NLlUy Gcig~!b8DmF ȭoDViӢz5۪=S) 0; BޥFaf`+"҉& AeL}M/RZ 3jCod_ZG5YOXV P~,'HT;/.Za5vŁmA]DA[hq[*/gUrR :RId>^/FWv-gt}]\4%,ԝeBnTm$IڮY!^J` {i[ˤOmY(iƈe?+$l,w({@P}? x~L-]qœK {3(܈gt$SUX?I>e)Ⱦ-SE8x ^m>+N cVy $2 cwb[Ĉm<09UfX.n|ǹNPx V+%]% 4r}y\_ ax/a0dyt[G#wR;- 'Uy ~гÆ2"o/;_U=aΦ;"f[,ٟIaӢTӥKEQJ&ӼA*ᄕR)kAELuQf8"sh,ru9^ &Ҟ .?׶-]ʼۘTEM2YlxϚhwCeoje /U:z5;mJN`OGfl.!sqGmUzow5q`+J9#-&hYϏp5t&,< +A cϩu0U0HQ[G?sYTB38Uw\:8Qܴ-YH % ~4l={4[yX!^qLQ7@ .XgH5Jkp8A-bqk{zD [|zV6jFlxǠ%F! b^d/kֲ'›_1M4 w韆WW lnk5k!o V`[[ĮAt/q,炦"vxeғV 6w@>J޲^ PmXo3z|`akVFU!2<ӉWW'sdͿ~ -HAEjA:DdF ̅L;?*n"\kaqM(yftl; 1 &dfFqc!m\n7 [{&Hfե֫ Gk3yČ(X#t]xzЩdy8-tOL( Kz""|a|źsROɛ15 nxɅk͙KYyeX~ XDp("FE\1 ?^Nk7a"zV gF[@v/'}À6N7-_P៑EO>3g' XRW}2X~p|4y7-1==]6A[JhAA)[' CQ8ǫul&Eqz5&9NV?ZRNeD~gpkp翻^VTV$tYyV(Te( '͛-}DslTJm/WgQEXIfRl$IVV9|K:z/ 䣤FN{HZv9\ 8mҫ[#UTe#˜\HЅF|AQ, fz%Jڎ VTV响b, W3BU$:_mA#{4Pm)scXTҝz6j.&;'eVz}E $jeiS$Ib2v19;O2^אasXp򋟰~DO81_I^A;W+ZZRN߯3¢&i.OgGhoT;/shq;\x'')>sp> +.b[p-m,D^~Nzž>"Lj it)!js>\O`W#0+q8(0JG萋-ns64dD7<[,zD XTq ZZ?u 0şB/T/]=N}Ӧ7>3k(nmT;&{p_.iD>d@f$8%&Y}%;xQrVXH4&,]L[Jt\8cdiD ̭2ƙi%%R{s}C~aEF,pD4츆gIϻPgvbV@tI>|R B8oZ)F `L;`gNO2֔VsP4-2&Fy:2) QZuDMm<`]֠*p$4'-m(Ť+!ZU))* P$pOIu'"iATOQ֛9}ڪ0~\Жq eE81י.s_pB"ЦKZhApF3_.A5{؄]7"Wy0!~|蟋fb?ʛl-eњMբ~k|# :jd>ٖ:Ȃvn}:+ĬZǟ@:8891&pӯ~DhC ݝBoKpx[,ɛMOPŨ.Ծ2s3}d"&ab4Ho.Mp'$jU_Uwf%+4P # ̑$SΈS@ExS>ZJ?w{5dLa?|49('5F)8\ Em4`'M Z)aEi i#krt1W DuK+db vl$n Y-qΛ{hgB0&+ɗv6z]P$3Ԁ.ɀїלvacv/Э]_U6FA0B hR 3>oy) (' |e2cl 2M,xI=p0 !로ΡɄof+}2H@ M*"IbmPA]|,E:,D3wkM¡zSt31ܯ)%j߈p5a.UTVJsA'aWOSht vd7D1/h,UE$B5bÓ?kQi OyGKimv{A+nxjUh$0r] l\_*$G EGj_h%Y݌>S%ԛ&/.5R;P(jamUD~ @p-! 1ԟۤ1?;ioP ꣼D)}x( =XE8ܯ 0q-Mx~;-N?`wsK?~^)8ޫ839$rگ!ĸ}4^4aDPG(LG3G̍nګXkot̻a}tǨf༧>c`ycqG{YeGk_ܮ_)>5X`mӕidr;Hb@O|Gc}ڢ% N5^EKEr,}h׮>q"Z SV1u?XK Wo6üuKtS2:@jRUt$uf@yn8RB7~s!T꿳U'+ڥqQ;ůr dmZPZ-(úRȔ昵aR5SpSf ~V -*.[ѝ\~"~SE'>frAa6qP XLA1(:nWA疣!<\U\rFuW UuvrUM)X߈+&qa[[iY2z=r``L2lϊg?WȰz4ͷc`l5ӡ}$1t3WnO_3ln˯{ir`N!O6r|a DUw˟Yqo, Y'6Y 4E#zPyɺjQ|]9}O $?Luqt!S<9=tF&Ɠ&萻/)Q;:".ul +COّV6D^pp_'HLԜ k1Tˈ'q(9hE۹Ew'߉["ѱeM' eqt-z')e'&/U{khBgAN[`fJwtƓ,QE Hϖh "ccy\ ~ x]ɓ v'6%Oq4%ɥ?و}~B>^j+V7t˙7F23100`1v[ԩL@|ysHΫe%yxDB8\6bތ̘7v >@- @qC1u~wT_Ak:/Û:`j!ֆƔĝCٗ#W3fkNs )G;[/i }Us٣ئ3rpq`ZKHM4Vid!wF1_Wa8471@N>&t6^TE,46q@LsO?wE,دf~03y2S]5rKXO]&~kcl߸aƟ`A8NNb07r|t M0uu윥jkfeRT#&#Q%~&1 8ىg[RP3U4NЦFHT"sRu`7-wCU6.wXtBjñG;3[Do"󌓝;ذmju'o6~DZ5٥ԣ^+ӱ3p,(/hۖfk^Gp‡.Rc:k;I`wmN;D c0fx{?R 8{xlnD==8pkm&q8&u/ܱ^(M'4lƊУBwfDSQ LԴ̄72"[PWT,MLAb4лafг~b)JHxo˭kngX7+b5ęNs[/`Ҧ)̭vcRo\T+m!.*݂x`|{5s :3\`d& ު\V5>j%B'-6U`5|wo=j`p m]s PHJv{ ]3Bx 1E 0@RX/")LD,FP pb\z҆LHl~b>+_ R%)s%ZSJ<i?6>`OtYSώXQBФInZAux ]uDV*G;w&%ARb{6J?+9,ć&0 *:r-|jY T(]v~x݉vdurF†3)颜+f 'B j;VvAmDT⼚`Fp7ې3L9R+VX5ו*_ebf@k=7F_:hA?o#O:Aʞcw"xyD u0MTl|).źni6~?Yb_ћah`]]S VWi"ރzo\m"u8o,-_rD#%ll-]Gb/+BD/)䆠 f6 }ڥ_>k6]g?1XV钘b5.qOMkєGUqq\5c~ewNޝJ3X@}ے{8FX{71@.%/@_O,d+x}>iKG鰰jHiJ!tj~Sp')XBA]*TK׊W^@A"m[Fm`\3@|I˼"777^ "HT°||\q)ϫ^ FY}#P]tY;W@kcҎ:JI4qҁ* &{U ʙ)*@n%e@ro},51N|y3#ٌpIQ%"~ Xt]]8U*&SB޿tyb~Ck1Z$^Me\ހy.奘舏;soHjƄ{Zx|~*ql>$#0S=ˀx2L_Ϫq2GjoOVG9֦!e05d!hmGr;T$9q|Љ n>a7l<%3%/w==x+dZvpJT#hKl$% Bdhu.| ndwc디i28׭5Uf֮EOzn6H}7cUM^!)A~(H-o|-- ,ȪvVmEOPuFK/= Ʀ/Ikf, Ya/2\V53gUPs#v09"L\8'N02-2{g媣J!Q4|yZ(D*?H^"gxPdL[13+y+3؇NqneϙCxi‡QS[__ Cfَrw1a05ہ$2xKM &qq6gGAJH]N/=a1cZ4R]i.fL0t=h_{m=CɽG59O8^E%:~%#πծ[&^ }'YL񮀟j@guaO?xCҰ~:Sc7o@D8p:UvCn-9ɄSP!~7!{tMqTz\LɾE1"UvV!HʯmDd[.V/uy6x'6<)t @i'-Ra% =IA+_ [ d(dIh-@ZO_:lndQ#n.5ASǚo4tT.wK~a7)鯕m珛K%̈lſ@jzUB`Yeow.bKt PdH2n 4btS][GtDZq$^Ny]"R9>P(fgc#|SClUa6\O١4 r0"\[}Jޅ#ǷvKF 2fm#>l#*QX!.( %[s5ڡN_48o]u{jbR5 Zx߭ y 5\8>;5H_6"i[9VYHd8%3v(,ezk# h B!odL9$Yztf yfEXu]%seAwCلnA͎&:;NmsJC{ACԠ)uceE0չlAA2ٳM͋O.l?Đ-tmde3m+/3yGaCR ɜQg"s]՟w#LCLܥH^C8ѲvTrfjavK(/*(@p^΋t5>wO玑nh<`AA.R^۳_iD_وl^䂝? L/9Zan 28ev9_3 ,[Wa[p:%^&zuK1_ޖ W*g'g_&8q5 G5-c%Bh#]C'8( eHf (-cqٖZR3|ݨ6dDP̎G&3ZX3e>вF3cJ %zXr [@`Ŝ1V tF2l R CIFk0>^M+!1?CM[w Bյ\'|3bKYB.{,' 8+La{=:ДASFVÜ(P8K5Smܼ=!*kuAS2y.馄$,ncd.9vD܍ q2=kb~ OV% P[c@tVGVރKoP̼eŨƾّgBYAV ;3>v w1f[%2sNlL6x)_[{a|K L]6\J]B}Bt`}~ƝIþ*],FgYZf0315187470300533023d5ab7198d815a94149c2eb8afa5f3e15914627405f139746db5363a9c9cdbd30ce425f79e67f2fd87a7e9ce3bb3d3bbe3610