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  l l\)4,L ]S]Incompleteness:threads=4elapsed=576.701cpu=1379.540gc=15.828factor=2.397zXZִF! S"]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0eB|I5 2Vu&:2Cz'1kӵ7;D?L`sy@Np~(55(@Ur8k76N-'iZӝ.JrCnY: Yq"[ASD|AF7 g IO?py%z$}0޵-#9Ġ_ibF҃5)6 .t@,jN[ VXPЍuʑA\Dҭ!D a] 09Uڜ RҶ6O('vc8@#[ƞRb?<cP&+:߷RNr[)JDޖiNfC]D>G8t(G+o{BDd8 dm(WSV1.V@%Fod+1% ) Incompleteness  ANGG^sh77xsz}b/:"h٠zClW?y0f?1lמ#^,!3΢DFKW)qhꀧgV@1]LkwA' %|}hԞX!&; O$ւ;ˮL 8i\'L,vAwOX鸋d{gKvԫGc+rr[+ 1~aQf?Ir}R`cO3-e3tN eY '&Pc whQb+6Z%/E5%"bv20j+ݸ04$ODN%.WG ún1Z_.Ia@'|2М~ѳ!˿=q;r%@ [Ny7X KmD sN}-M}>}4IƳt?cY'N‰~wʛ d"~Q\gTM)?_Y!*oS 3T {#UɗojHIb鯼tppZSb{b/}._c 3ʲwhKvD{mg\b,.?VMHUCL.O~ ׷*_a}ڍQ̿s狠%~\rܞ.<ߘ!9!Z'=CQk-:6=-imw# :jًBw1v_`LUF/;ҩeC=&ň疦fh 3ʕsRgݿtCN3"}Ã3k<~ _S<Ѡ:st!&@:!'M ulzYL) Bfv?o\2`5 [!#Bi8ETG=^kR(EjSGhƬ,avc7j]"W2ƞ?;=q}S W>~r}6REHݡeKYI*ѮpdT3@:H& GTXE\[lwhBww_e.z2+'8-e9c~IRCKsYヒPt̏4{(k8a7Ypμtq WZͭ`M×=tiMgHLebG."|W{T}NddZGĐt>2W)ИrDoE9;]3nOM~ UѹȰLP(G6xl~I Zom(Q1uyDP@cwVr(XҷRlgBk ǾH>vr\QgLH$$l7t+N6ڞ.S$cfΆxQ{xf5BG ~ISō3/@ # ܚ{S0|;GS]hkiLJGdηRs⿰:β cژFpȤ#l,CYy4Qoى"B\Sr{tJ3RG}V@Y`.X).ILÈɂ@Ƙ)O : ܧNBlqҜtl-#w?MOp_$R8\0Ϸk%T/kBM9]: U33st|b>fR𞓠?|"h;6%lN}?@?|'vь]SՉ_ٱ9[jj1!Vp_W]m%ð'͹0 Q{9ZZ!̡cikg|2{F]By@ >ChE6L"W3We\W3N$3@ƲGql*]d=>cPVMk25|IХ>)/|U"T~g<TIf̺+AV+tI*J e*% ~.={?7YyrQs<%~oNJJ"}4'@ww쮪qtmFWw gLZ2 y{ǜo{=}j֞Ȅ G y#I>(AȮ&* K}(=ݙT"}\5Ք6{AhUU<,y ۫28!{"LöHd{+B}eAIcb6:_=cW]14*0 DKl'@Ww[ĽjRλKd*ܔe /oRjk>~"9}6wjnNK z@Q=ԳGynEl|Z_2H&$qBU+] `!M$f\"5߄-Iƀ$l)QP}DN,"i[29[T VrʏXMó5%%^ ss')O : Yj5C ߡբPn r8谼98 cK.+nLJoss{!gmC;L9:u]ApdISVG/[!QZz<(/SI01 ;%{$ LR2ܤxDZ}w>1UM8Ec2'gnrHolnJĻ4Mbs".Ni+@&Pn'D] 8 9_/H!\{&@@ ^9 J ]s8M CG4'/. !Aʋ%O=A4BYj O jV)\MhpiEv̹³.`J}Gl! kplX;<Q8IFx`]k-]}g9`=1Q9+!shti\Zcga+[Yk ̄lBFĘ~"dA+$$&EepL#0꾟K: -A]+% V(Je$66/kK?r _{UIfm~؜M0,HZ:D!|%kd+ځ&-4p [sfwnV`$ T4F0AFW}#<;_pg*Ht'a2j{̽F%gQ(3Bq%O ?*wtG|"h5$t,BP#j截kS^4W%~"`ݱ+4Z\[z-GV2Ϊ~ ~m6'!y5r`HAJJҁ t}ogBh(]X E}rt83zq5^Mz@]UTfcB7*2A6^'cp'YAWɼǿhR2,6w0hxF绻B w)͑K[OPo8bV)cy0Yf32ۛ2ɩ-Ci)[NҦ(~xH`y'D윋ҭ7$v< ƋIE6zJ:&UY:w[RcޜCj[ۭ퐯geVkB'}|,uAk)}ݳ PBLz-_d_G|ɇ"pOV8`SeCy'HóЉ`𙡑@,ri|m% az*_TzUz|D+hvlّ fgt /5|aNA%#5`8ۊ@Bk;N@\)XQD:#rNrMZvTi>-nBҜG7"-'O|J97i6:/>|W}f%&BGZvDzH$f1x6a]-_TSFY5lf-/ }Q;isF-'w\VTFaI g|af{̀v|m )T.aQi9I]IX6 P8=eœ rvn)" Mt_..P[<e3gY aZ5'_Gh3zbPLs,v:CLQV61Ȱ翋G (yEsD/Ǽ@j,5*[cYXIl~rӿ'$1,lDYFs֥0~y8ʮ=4Tk/ۿ¸Znt4.? \#m00@?w &snOn,?)!wq8I> 7l^H^){!=N._[ ?JH;n1jDaO@S?&ObrHdad\|9MQ<sadVWh HfX=KGmQ"Occ>[ Mg"$j%FϚ 8Qa*c]ЩSﴘm0pLA__ax܇^R\ZB鱫JLqMՅҔ1VI1!RJ] d@A~F^VJs]Nqw>tޏYvQ&<'><6HDFW냤QŧrFM`v~H}m)w/z'&0Ձ$A5 !*_o~^9B8ԗ __ݼ47ۏ(;"{AY3*417KӓTvLHZW{֫3Ep8]N|s.+r>QuS"_tOb>Pn#Yi[wMnA0j1}rJ:iw9b( dk44![ǥcRzrx>n'@}K+Ջ'18vO -0t6,S8BT]j$չ{RٮN=mB +h^*L ydCQM׻GڏA4{C/sdp(sG+)[,b鐾d ){9q]K|.3Ѯ'A25j31 B8']dLiJ6əkB5 &~h/oJ'S%kmM]TzƆK*Z]NS\CkMeeNrǪ%A%'hD𼋎%#';d8'>0DQ*o[H?9jem=sUg]>cB4_aesJ;.8b|`51'tg,&h;ɦwrwH^cT儋;S!mbzcԅ\ ћjt_jɠVo.[1vO5]p7`2;Vɠ/\9/ O~uj <(:XKP|M<6՟ (ၱ9ƃ^AĨT&ו 墢 lS}jD@i&x"y+DԼSDgYZ7zXZִF! ]ŗXiɟ頏ā˙مPn /C$ZVWRVa(*t(lHK6"cTY9X騵n*I(* BI.!tZ|gV7c¼)XnX43X:Rd?'Iq(Y0 |yO7jdpץi'Ш1|`czԢ}2"rc3e$t"_֔?:1#55y*)#Ф7d*՘Nvn!T[;p}Ǥk֢dEsqE\L.-> c i軆~XaVg?)CE7 K%{{Գ1y@0}?jAXEYq!$"u_<*HH72qlr[[M%!u3g ü-o/ֈ3}6MR9k;m;h62Nx#d(4p (j+8f:!$WԺ̺sSr "~"~Nq m,Rr uӉHc@xPC3c_*%lhI5ӽU g՝9`e?UGa!ׁb4oE @:Z]0y_#g$i8rvuuV}J{yGDr`oF,^QJ*'2rSPFlJs{IP n;5>2B٠ISe~\ yO/gVC [S蝍`rf' '*p$GlNDlYІIlS=L cMJ;Ui됊*M+vP&;Io& ^vp?WQ&f&F)2r(CR̦/* j6+|f8N]ړa?'5}28SB<OHbC(}>bjB;BZ9$,? VZ+*Y%xX >r!KFW^AP+ gZRYyYf=ſ،ɟү3o}Y',9 *4+<?G0g&3ϠeS.̏#e׎a5aPOD m*Τ=9-TJHظM̞"3%oփl>6:!2zG)ts9X4`/GA앟)i52̀Ɯs* I@b#(}[ qbKblP|On.('2UYF̀sf?fΣ9uf{/KD6odPbVi̲R i=;F8i5 :J^q9\k: >Ȅr;+Z"e&&T)pWp +9 % N4 l٩f{NDOFmz*2= ̊bn/?Q CEr+Q5- |.Vߛj*ox2 *-vA(?,H@lƼ"=4- su4rgҏos א{sip |Y)!=3EUH{7LYաZBӃkzz:M*sx;LΖ7I&`+#go?Ypgg8]޵M %Dlmi3rsY</͠y* #yv] zC6:Lׂ$#<%A_K7Tcl, b4x/t2<1?C gfE6ro?V`%lqXڟ h:`0Lm[iFeИG݋F,$Vh0wr 2LX_\$#OAq 5V$f%zS`C Q'? VeNf VYNLh̤A)F~6T߹9]5o-%rZ )CrA=]|g&Zp ᧎$*%+bSmJ{&|ƻ ]!-/jjfkĈaue.@uH1ks> 69KKOF$(J.dK툡Qb L(]왔r_#fuȑ66HIUĪ ٓ#m&8/#*ne0Oܿ 0{+lf_VKv+#5k,ԁyd5 t0I@:c-0R:pfCO/OXZL0QуPV>S:LDyHz (>3KhEopE tˎP ~&3voG/"$E` rг=F-Ef_INȸߐ]!` q c21#&7Ki}X v1czTzSqs PaXƏq*EWګs Je *YNۄ / (hIM*;²6P=C ۡ:GF?3t LPT-E4 p<߄LMXI"4Z_~Κ1 &PkT@lSԲ?M/C֟Cṗ|#  5*mG0Zb8VlJp{4]"\Ӎ[/'`^])5+E_d*Ʊc>s drܾ[ցL"}̕2Yl2Y=Ez+UUA`_7Ӱ'`o 2=z,X&GR">jpdNI~U*p~vҙ/Sx]l`@Ɇ涬FjY- *ˀ֡5 )dQ㡂DȚ.iZ LZ6}wLIH}Mx [Jn*JK޼nCb>ɶQ Oؚ>>S;ј&<٭DN{7 3Khil*:tLMI8&ݠޯ&|CSj1Ki|])Din@v8*E^z fGb16%1 \:́rq۵Ӊw¼l ፟>amaFy@iEbheWt4E`v(a4ܺKJ,^fX"BSkJP0aͦ%p|^}? U37 ֛ [91 w$sḧ_ʻu`׍ҢH 3ML[䫉%*ycm\R(j^!}A3\S+ ]:j}viߵ7wݰ.ki v?A w3͹lzkYiA6;T'`6"k%5/M!Oq0^-XU$r61 Dq`'۶2H[Tb ]_sJS&)Qr ,)Bڃ^We :pEZt+>.bۅHэ̥J7X:~Ck'$ofy MJna7a;^u b=(^[P߂ l0wc0= pmC-ejug}/o\՝ !UG1zgJ*A I^)O_.!O9`a/0㨏C?L^!0TeY3WI`;2F&{hڀo2E3νIH|F\`ډ&3}Xu1?lB Qd&6}(Knr0`眷x.7[uLt(7/.Y4I) !Ŏ 1}C|#Bڤ{_|c6cعed'K\\GL-2NVqicayzۅչ)"flEUB ї腚?5nV$ tEIO[^Ǜf2V0Hy a#w;^z7*hqmZW2XEVjX#f52N73 j.HܗRˋO>Ґ( PT{.sۇܖ K+ |1]S nXsKټ{cMoI죎`| UiLz#PbR;#EM ,A!:oW}Lc9߷LV[[*ٮYTB)4?k^3N<0FK{~&P th&2s'1s+-)zM^-d,n8l5 6Y]:,Cvl;"?yG.'3ODz]Fh {na"jLZL3rXVͤA.-Hp%cvx'g$UKOrQz`fK%,kb,w,fٓҍ7Z~xFbssWF%MPH30;KLYWHF>ڱQ]GUUy 6Qr˭[ṋ6rc'U\HH-jI(ٕr8ZD"SNH?]r}08O:e0/E[K_zpq6W!O8C~^;f^sZ^>UU^&3,B J}o0 FZte$xZ3Ln۶nSɍB3F((sp4o (nR|qrʒ/?V1z'nk젇dPY~,IM`I.WmEȳ0zA=ݟ(6ʢq HC/z s!Đ)V{Ae0j K =\ݙor2$CI=h0&$qX9o'+iZ<ؔڢ YiQ08T,F}F1UO_W?Rk~m_օ,j^[-*΍(w]i HnEgMBnu\Q 2VԊ\[sE1T(ntܭaF (GmZO]yaIFTR|%V.\M/T!'xU}\|%j7/Pη$3AåuR!Ӑ-+K#qfjB&E+DŹo ٶ#5JUӫ~QEѺJlqP1:@miB0E?êff@8. 㤯syk4L b(,'ۯ{)T2(_4~zvXWڡ7mqĭ4'e6;r{etH'Xz]\K=Z%0޴Л3UvQBhprxlk j%>-~ɥENL5g3.CE{aj%d)*c&$P!}!Ǒ]\VU)czN&[jtVK0~d;WAӡn:{gcR9?N۴4gtD(ҶRF`K~f:M>ajQQغf.Ht ?K}+'t^YǓf `[RM+ʜM&\=7Dv'c7p7Zr?g_6SP 2k1d6BWS%;EY߽6t( -u)lo#y^NH|1ۈL,u\ao-q.wW!JꝊ$mE0/7_ RKg!qRVls׳W۾}JY%IN_ Ѓ ,Sw4Rx2ew,GX7"Qdl `s74h@$ҝ1/9[^n :NՕ1'PG*#fO!K4iڽ$eQԥU+DvYY)c1)N/8bFYQn&{yJ[_Tʀh!6:UZ+b~}: !QeSN҃ǒEЃ8K2q4O0=%<׌!iȳsbdrsFl1?R"~ 3+1{fH#{vu; j~\!l>1=^. A}]f̈]Jߛy턝֌d-(2-`&{L%Ya[ ݱMVUfSHVBVXٗmg{Z=SpvY#1/m h5tyY/vl<#I ]Fn79vxXQk]Z 2Ot\w-׍<(WoXעrWɅ Pz{ddK>'xyur,ן&?T75Ik_EJs TKå!sWu0>L7gKQ(=R&3U,<&c{]^L-A` T ;׽0Y.j'F3ar)؞ N+$'b]Xz"?i|YmcZdEz[rbH$b?,abJpMS4{;TU S Fc-/^Pc]8^AV-pn~'bJýx山c!D5}ra.M*òwefd'\ _r3%㐸 u9lm=-Bbe+ [Ev%H~O إ-zcsƃ<]]k/Ow7Znb=k3^iG\:،]$Ǚ? X`w9?3͆[ ޻*aQ_l8#DOT'\ ,S'Pn&~n+쬺SF7geH/>Ѣw:}YrJr{?okB;ґ-rԵʠ+:Q4(DOeA#\V8UPdC7LrCюd2Ym ěZj9e=fl \!Rnd,o[C<'L&S@ʬ{rudD'LEu*?hOxu|I}L|yؽk9sfрY8*DJ)IpoN]iCEyJ##DO= -׾Z*>y:BWe|ASօp>I=qaPd?c9Qț[PL/}DS= #<wӏElpS|[OQ}8/E*{c.paY&jB^%jI[RZoc*N2ȶP3}65e'zJeK#%ƑU?g& 4L}^W楒z?np`LfP^jЀM=fdE/%unzu+";T35܏mb^[-Re[৔u%=qo(BCѼjLVﯕR Bf;FUb'I:˥oVt x;՗ q{+!#s@&C,n0b{iJUo]EtzeH1`썒g85Ƥ?L(?J "+ fY)=hka6o;)̥Apu<ăaVF p"F`ːiw+w+$p|^4L)(]QjAg$c jI^frfj V;َO~8fR>M/a8 rL[ эIQ!õ`\8,*a,I(kGĬG3ɕi|@YfoJ?KKu)6xB}Ëb9mV~1_B60M}i&-ț3K ^.0P4%\2$S}M%^殐(IHA(H>2ZLfw`j|8@^yB~Ψx$"z+EU< u)b '+|-Hlc'슈̠@VWz655--yuNFaơ+fUO'SJ}뭦Go{uDTtDN;6&o'ϱ&W˟4xW_K2Y[ Nb" dՐuh?娼c!(+ Jouޓ;f$p5Ph fAZ۹ %su uq؋ )QGw#3;˥}(L7yaSuCbgp`2$@ 7R8f#kipf~5Xk:n!|j/up50I]f,P h&VIg~} L~=%;-E" 52m0SHjh`P~B^5=,9[,1 ĵ8o$ZCMY*p+.|l `YeI@oΟyFL8uL<>qŅכ Q&pb8Ѩ|qTd8BJƤАfaM@2( 7߾6#A(~dD;XΌ`GiiXG} mIca{"nV8Ӈ5y-SHƂQÏᶐ'oe4N{1fL/Djl!6eM~*B4SNY2mUYTZ Y\n6+5e|<|ci)b5trc0|lF ?d ΂F6|rmp߂ kbsgcY#̥f51{TAEũ"ĉlTRAWr;qɅd2ޏ')-=_u<&9 NDže °ĕv8*#?я g#DSwgmc.~6 G^嘄1 ^!3"VK*vjDXLfHvwܡ�HXEZdh}d0䩈]s ,-i BiY3r,Y;GX'.@98 O/K4U<) $=lQwOkؔ5PK;l*DHq2 0w,O25AYM6խ)sELOw?׾68?o opgs[385]9QQ0;W|q A{U$_.nwqy1f:,7OJY|1ڷܩ"|k!ՔO@QbY*kHNlj&gA)-b o4ɝ|BV}!e"v<XXk%f(`gI5yby;|"bYUҎu^{)E唪anۣ57-)qTƤߢU) h7"˓jG Yiѥ۽L'oŞD l\Ŋ3va"d㳚Y]}ELg[VBh$NEO1oB)B@%8`zj Dk0Sh y4a㝤9u왖3zo)MV$erdrvڔ-}<@'[<-%mF裚XNݚ%χj{+cgԟr U^0S;K˜~,3.9ab`M"Mfct; 6$3=Et`2.ˣd;ʯC -#Xn֨{$ !o|(.EKyUZNЉ3r %Kvx<H#Q:saɨMj+Hr^)E&4 ikM{6PNdbc`Ȱ5|*T'nwK0%qT2۸'ZD)yP4z;H,!/dBwt[tBkx@˂huwO,Ӂ?>9'38iC[N0xxe LĈ;:Rv.rnޏJI:q NGCH!f۹U?mC&&d%>z\G5F6;@CM6 "?7)D|Ȁ<#WL\辕[w9`[<ק(4!Bg!Q3=j@#Oȿ\? 'L'ΣNֺ}`hXٟ~waQ^_|]qл8 Xfi£'Rߟ&%x!k%Zy(3ZbRe4 FI[Ju>}~J˥DS>"3H8֖T#g Cp4qiT8!X 1 F?z*jI6on0{`8sǵ)> H<1*B͇g 2ӲP-w:329}ȶ6`k ?ȍ&?~& ;jߧAuvC,/9h繃%[]&JbkWm$w-Mz{mg-tcFi9D6Feɏkؓ <Ȝ؄I}6Al = }@l:@Dle̺(k! S@ͦfC!7mοܱ _#ʠyzd{;hΗ"P]/oi7?'1ɰ|d7MʜMFdN..#avAjb ڹbZa5ps$sʈXlyw(8. B%]9>YT3!^9%i> Z- yQz_d R zHPL3JNGe- qe!)v"t΅Tf 8"gOÙéAa ovQNZSi?P>2DYzRim&$?A)d\~PTy- o&8 sYG|iIfVXTPجxnL ":RƛfV>ATjcW^c_l5,ҪK'ĬӁDˆy\]~3LLV?c&zE:^i>]Ħ+UX]eF/8kƬJŷwfH[A侁y1#5sH^{*itgT~ZIdi\zLΦKWXJt-)h_v-da*"0 r+A$ԍ$P#WrWHqXM vC^du {7J*c'SAsvb̭qy`1[(?/\ Dƹz7IOqz Be4E_,;$ftdao6\90FЇ CK.lCP0~tKP^ӫW~*z`^ %e!@}`, "\|h? >5O}LyxNSř?;oCD(y%`f޲sz@@,~5#mi=iR/8ah9"0gs=/IȳY9&\8wٗ!8*ɰRL$G2[ۈ٫$B@`>Jt^=ȕO1a@K]ȿexIi˞X%GrY70j<3o A([Wױ۬ѭMN ',*W?K>R$E&3euP38ù$0z> @JfG=$v$kl}< ɨW?2c0%୲Qx |<p,`J6?J29 Q: LR!~/DRQeg$spe&N[Mk5IG 4+-&[<.*Aׄ.oj#U3ߒ\qkOisvL}?h]m2sue}[Zyݼ."irw=2% 9BVG`D'Q>w4'o\G] `>gdؙ_Fe}'px&7mI@c}( ⣃OHkUvԊe:;POy\uwOffF@&fWel/E*"xƦ+R k3h6fXuְ/>Da2Aǫ+30vg(,UjxC|]󷝰pel\+uMx#4_EkÙ_r*dh@,`$f~OL}8yG{(y*<ţH_+̖Hu@XyaD ':pA^R=%esQ3SK. 9xܳta ha*$DfME;Ԙª˶<23\z;`Y ;cg-?{;*Ov '̉P襮;0|a}Q6uA )]ks.OSyn?"ɓpXRjVԾdt{mCر,=KkxVkO/Nw^2b .(R,Gp9[GҥB^% KC@!i.$z(Ustgכ.CDs'ңhDkJ~| :F67;!dZ\[ %3`-PN'`}G'=?DU~}'R[-`=%Lt j&c}ڎt] ʭiV#G,ٌABn*ߚ/oUuUa4k1%?!DzUlz |QfTڍ$]oK:SL wuTiROY*IF!c65؂ 3G.bwC{ru8G͚g}z~ $M͌r˩Q3a=: E2Mt`@_Bq(!yw(е#‡*\z-xլ 8A&RZ$!ZfrBǁrV8Y(JVn{Mj`9:2i܍ɗ`n a-C\DP4gzDtz[z C%,,hsմ v82Y^x2:Ki=16V$&^]z_N| E y@`0tje@POu%>L$no2;I]p%ɦ7xK71AL# qea/>.` [*QW}MV`, hte6l>&Hv՜&sa~~]9jbwg%9eϳsZ{KL߆K[M.0dÕdsr7epn9jr 9%S f*ƿlߺ|1c Hl҈h7,4$%NKsMMVgpHIf`: 9K+ {1e>w$[ߣC[_3W CoE& j0a=$4n,Q/b6=d%>RGR9 u  'r #8}u!] u38Ń-'#(Q%c3^/ <"# z('g#iKx!?5gyotb8Po]rɮTǰY5Z1dG>E92WVs0?7!r_[ի|Yp6KPQ^Fz ]#/qրbnΑ,h~W7UkT1NUU|lU<@?qWCr ?u#B8e9ď׹3͢\6B@ΓK?Ƕv2ގj8Vs%T-oRJ€x'ïծ[м\2 Rz; +`UfGeO @=UDj7-U ^M XZ3yA̷>t;-؃*տއ/lT^ w܎dodG+]ζ2eǜ+o0zAˆ$5ϒsIPƣ;L)" !  =+1b_12 H}fӾt%?~t/ 覧 , @>WVLC?N6]-6Ry{ֶ.Wi:S' w$=) tIh%ǜ}onɶ#q!:aj-ܬ_MNúD>hQ \Bf7O ˈ|V|sBץH5ȁ{8 Z4tw oCO ʖ A[(+wK#2&ZnkЕ#2. y'~_x>.U Թl&3zc% ÿLvL)T*j罷wIC|RCj1T;b  %T$ `m .3Sn:jO)_hofsDf%n)5{M/mt"38j]?xkx"& FCWI^eU4) v y$lԊ$/^N2aR⺶D} yU~|,n{ڎϯ  K$*!-"cuD9.BGe'+.v0rGgX٤Vx_c=p'K$;ouh.{C5AVfϦQm0CBx \C0>0?VFcc3͍A%KboStk^Bȼusm9кY!KܦP7q;<; !G*ߨeo"DfJ+)xSNRK㫾@줬K]}=Օ6 XÇe'!p+Ȕwy+5RYT)ڠ?)XOs'B LKXXB*O rPJd6q~y(HUD_p % kl*IL?:@ B~JqdP"߾iMeh/\/>RΫCx~f, 7o=I ($|Y ~ W}hӔ]P-"XG%ZjRce _ 6H7?۶&[9sgy1kC!a v0 cU)[Ͽϲ]?may1CQXвĄcb/EiS'z= jSx޾O^y:N`:$_]8GAp03w.ϻ$|0ZLmF+;n7kޓ //]WIaV{+i\ Ő@F䘖5$j&j[WVT@ J9pd{.kInX Ux|JWΒ}o|97#"1SDzEI^섲 gly5D`<ɽsAlV9[4U"dV9m[n2u{ skE:!1{$iS1;ߚ5e(6}}cWʲ8싱^,d=Mlf"qBga %*NBX'Aktƅ}b %Ӻ`jZXEnLaK-\M*&f8cr v@DU`}uz _׻x*C\Zz XXg9*@d F|=m} Krz1ZWM/OL!QUE1+ ]O?#̤Ck(e#d^忽+?XNlx5`#]A 8+mQ,K?D2}|Mb0/BنM "ѳQe0} V YNr<$%NmLqOBva@YO0Mĕ_0I3TN(;2[#tiWRNC"[f;$p"DZ|^h Fƌ5458Sc2#ߧ `vG dxUPsՋ*Vڴlt%#x࿧G~]H竣bQsc.Ƥ%0F+;3ktg7uG±„w% e6cޝ{:ho2ΖTW=ViWs S;)T.7 iIʵ/d{e\ X3bT@4- ,ě Սx\qwuہ<gg=D廂dA;2B+uX^V)g70 l6Nq/Rۆ5x{}6BA֦4z^Œ;[ڎWf[ҕ^Kq҈s f4GB[xCzI9}5i;ӟQ*A㑘>TwE9Z ecqA*N;= oA+;Y6#;~}j~k(S*&̡)Sy3w}ai1ŋxa= FV_J{'-''^ c >K8DX[+41VI"\tYH|-,ElW)~E!!$;$#2b{BTZ2|N1`sDF@i,c&q<},FagIڪ7؜{uߨtD k4cF%Pcz,e%U5M@X=dCf( 6N :+\{*mr,{% \~4Icsvҟ|  >#u˪Mȗi\h)Aۖܭ|Ҿ& q 6vq" THIUF\sn_Bpmgh,*~cEě; m "cNxRq2!vjeHء!/@B[!:3}0qZ-g5y~[dž/송L}5E?q :wt:zUj6"{lq|#qZ6пRr{[3Z7s0J!$o+-?;3$o]xJPD~}ZT9*J6n]wPOP3C 䘽il C| &j骸,oG#3,[+ |]NQb|2]ji3b1φ ̑)vU{U/EX^J |sD(/\HwA,9da֚D;‰ o3oGH1_Z?w—qjxՌV+mӇN3k*Ad@r5Gv6M>TNCYߏvEXQu @  D{%2ctl (3ΒʶxWL݈':+_U/>lN/(R;,nQ ͱ6](0o[:0s.#4ewHoĄ}Xۧ1$7ҟZX,D ]H Qqh'Y 1ȥ+S 0SCg:TgQ`c/5ueo~G@^< Hĥ$Dq #?i~/Kߏ^y7-nN=7,t𴭞B=@G^uj9_⛃Zօf5/#)o><|hHȼa@bȸ?TRqbDRWh-'H"Sk4c a]o_,/xB9N!3{Pet OgҚI_g*v}yU0Ҭ19eޣGFsBN8O󛄗X)hPh @(դrp /E*(4|?-*vg)Bˇ̸ӏ'*zXdS"mh_O5ty@ϙ %<$_5VBNڙU͘r\=ipn8iлXCZnkEVm3ʟ:WZrm@.Ձ tLPSj B6/6+IPPG3GDMŒDi*?,I#SfV\8n{g\c{v8 9Ui^9apb@YSC^$L)^k1[C[^w8JShCdݥ@O70؞kTC{ժДi:UrN\F2[So]Ȥ0PҹVɰ~:K>.?ڬҡ+/!>#uW9^dr5&Rvx묭 ~;G^D Um@.7,d pRRχehp b8c-J 5eB.μ{>y"zBs |4Ea1Kf]( .Zxr`6МXxY{Gv|mll[ĉj6Y!", +]_-x9zNq7 `}*EkԪRѤBf*yŲT0hJc6 :dm' &=jKb#V́DT95ColN0avSF2,> |SvQfj1t)!Cʏ5'И\[x:9q'@o,=h͸f]&oCDȾӺLXs|́_yؾ5)1d ڪappP㎊hPg3yg0P o9@QLGt|~+rnW$zPsAx/BA"YEh8,j4f J${Kֆ(-VN/ƞ#U}Mx.gSp)_V<Ù @EPIG􁚎,iW  nug 9 /FQȸX 4-!F3+J/46 3Q%vH{nW,08m .rI>ڰ['^Z9-=][k3o.Ryw=!>ט֎1cLbn]B:i8J'!H~,\ ǚ)AZr<戞mM9l6P/BS>2o\+ o@1kNWH!Іe&x9#"JUqnz!p+<ՃB^5C?̇2PdJ1mѽgJ; vWGI r<μQ\ۏzvލ%gcKML0 QS> Cem9ښ:?JJh$R@y@\E$!4YVc1OX |XeMRb,8 urkAOo;"ExC+Ǜ懄_޾HTYkTѽrTWlMi uAs'&ׅt9~gp#Qm CȣJGad8o;BY ;o{rψ2*o3` 90GubzoIڞy# R X #\;Sh %e/7w;F[\Glc/YjG;k"I"7)X ЄJ "of/`!#Oea1RYm_$",14EFv[%fKg$w{Ě=vXƐ?ZѺgo_l+`GmO$B( AښPRy0\;_E5(K(,̉&Ƕ;:L>A (FyeC<~VDϧڤHbOYWMfj -=-i )׶Q ~ 7$ AK,ˀ6e !-OԵa:uCofY s#k1 _V0Z8?)FY.tF~MυGBߎz?|U,4R.?Z YEQxXhZId֙a՞SvrPE/ttgԘ˲=f騝ZE; h@Z>c{Qۈ|Xhǽ?b>R9m2xqؔLbn:':Cdxf)a>]ǢK"4 2EnQwbFb$ = $&-nHn/nC%$mh{n˶vV0-Qohsj)B˪ѭ(4ih5p< pnHB ZD?T1VW!iŒNk9h[ Đ\B:15F>f4.G`hfEmʾw #,_aJv >cJ⯥|ք=o.xO)td8)\liTT (TPYB`}TO%k1ȷ<}c۩yz U-+ HoU;` H-~7BTpve1P`msWQoht\g^_q[, äh =bB X-lc1|:Q!i¤AY9#tZqTz Ii=Z[b?^{XJq~6/Ohž̓qDiFt0!hM؞IPVa[gD4w}JvjRq '?WQp~࿝)3RA{T r[]8ϥwϣ}tCO#D ;/uf`x8j7Gj}KcUEui)JVdmWƩVAqPEugAw]9 ZcIZxfuH![/3ZQWx*Z̙ 1ө$q]ٛhX2z6-%{wd:h$6ڠ(HcЬ/-Mt ™fޜb(JzoB阮_pQc#|YM.Ig]J KW5|[>ꛇ Wd*zsnQғmeC™#L q%d$+ؔ ~ykc$8^6YbmJ?:n n(wיWMW:KL DW[}@Jʅ)i9 P;aʉF Rs$h˳[}1oOf7ڹW.>n 0 2PUp c{2"4Hf $ mȣ`/ V^b\Ķj]-%_2ѻ.95j0]K01YIe x,A#VeɃ+$]2ҚN2ٺYJMxܾJ+[T*p* v7M"؝EIDh77=ݠǣ.љ J (Ԑ ?q7C(0 .ZS 8㞣ޤ4w%u ԏO4##f]6ړ{ 4E0&0K,2^eHf7}a$9!pm*p,-OHNCGd<~9Jya5i=4ԍJD)`sLc~}h Gzr(z{+Hk& 9w*;${FRO߿L.fBD68 +C1}.`a7bFH$8"BMy5?HYga̛5hw ԋ= 1[*ˇw(y~LD{";S\i}GfgiS+[a ʮ1[lj$M/?$QSMwWC/oWkM6 /|e?P&4ܝ+HJmCaB+}+d/c_/Ҟ^t*U5jGb1hKa;=-X!;_+TCɏ _r@;ҋc@~nɕ+S[+-ۃ续e8J%_L!1t?Ê-eM2 BҰz9ۚ{G'AM] <͉'6g/OHrvgU.Դ{Z_Bu~BMn%?P  ~wN|G:Zܨv3Ւr6@@1\90 BXԐǬx%̍^ףkv"va*JaH8ܗ+W\ Xw'q꺍TVI,frci#:AS#c?<ث&* liSXʁ`l.14F4y7&?> e]#(\CV="5! AϦC(!>yzne;-gauǾdY$rL:o.1S眣,c klxp$U1ܥZF.]Ia4?V᢮lD/Kx~֖"7lضc(XzyqT;x~,^&`FaU bJu.!Z' Dv]M"{ .A3ϴөe_5d6˖dGn,iVq(m\ iyvNciqVNBB*27WFYPbcb6zӤI\%ȧKsg,~<&|C<أVy١f[vcݴv25k1r6-'cWR[*΁ @h?nYZ0E23Ԙ\mdls/2 Sѷtw*4[PW]*Ãrh. #hx:105UrSew l<冒+/^D91' p'k&AF#ڵƌxĸ i$1)/E`_g]/d}hTҥLh3TGLr5=D^+Aɫa=F/ՂV$f Rٵr9L*Ľ += .|nst6|XDxYG=5OmBHk+ ҹDb1L%9Z2,6nnx Q1+Uݺ:P J>KB.I9o2u0W泥8t[2^A.KxN6#_^}/xzꏮ3+')оHs?%e)adf! R5 RJ+,4QJW붸O5 vI^Lơ ̾-Nz*dd74 EK_I4^$y~mٓ ;ēŞ "! 8yo4n}|FlYg}Τ:{o>Bqf`%uLTb]NSKHQzGHY\0x C29bpvEL)qa׍mهV:gغ}7$9ԺpL-SA'T?B O7P"Ȇ)qTo ՚S vO +锵:V*׏ ]!1YvM=; -b !닛=g]l)Yz/%KwaM1Έx8q|RC>g0d{PK Pf|-y !8DyzYAT> ln{ѵdsIPvB]KQCі` cf8P=r4vp5.MM4(%)$nV.LYfK\Y&ˌis 19-U/$)lfF6CHK r[~ vGdl}uosH1?2xĥߪ٩߂g5{CBΐ)&Z,Zu6s3x8*ڐ/>{v v^̃G|%@"5]K$bRa5juGvN3鹰y˄:Vx o7@PǍEiqfZvYdj⳽i$Iޱ)7]zu3_3u~=˾Ж w"4ƗSҐ:wwa'F *:T UFD'9yLgHK1FȓfgJo?-z xc:Qb{bs!ލu'2&D| eDTI,ڥpi GN'"v*C+s9 PMi2*7W v $fVKfwq7Sx.Zs/R$"2 'h$9%3FjMaX¼JW=p2nmB//a]vq]P.%9ELo̓Sb!Ju{ڐZO(QǠoq~Q#-J3ᦒn$˫ ?`ϡ/rrhcq:Gf{\_Iq,=Tq2۹+$w1h/.%yWH[T΋փ(XPbuXKFDp$Cw?/S>L="]'e%vV T`EVZ 5>>K-LXKuAew~HI)~WE Mņy` كUkf> dj2J'噅S'14ŨPe6\7+v|![g-+rńWqLP Gn}0),>ʞ\X%eCD 4$ff "Gr]a 5>zM]: %##~%'foMYj}TaJmT]Ml;|<^d*]Ø8ޮQ@ykCZS!OdқڱoBhMӋҧf к:npP}ҩIE˜^\L[0[OTЛ Nh&̣%u[%R٢ﱻ*ߔ(ُΟ!BYnHԿKĸ=bu[+| ߡ+`7U_r]{l];m=2{htmOo 3ӭ~W_ ! q}L7u#s^-X586dyo·d-4x:H8F69j*jWt?z2be+@w щt=D5 o&͟17ỵm6 2 eڢ!#q/NFL5Rmy!S"Ȓ煵vpn@.k,hjYnP脞> A@^4CD 3/*u} ۷ [q^vxQ蜙7246?UOW'`e,{IluAu{"F"#O [j s”܅6 >B6CLh}=NGS^P3iw攄!oC%[Pm#vevw@ֲiiv q>;{0dxƲʲ'NPYim_Cb:(~y ?6ccH`9 u|O XK ohO_Ը.S~{h9̿e+%yѷC.>?BUk{ce_wUc̺-ގ6ě;R`_pGNB1ɰ KlL:_"Su싙ʴ$`4N^FV_L%7DLa`àeYRq\˥lUv[D3:wS4>HWBz-CƸ O)O؅6 L_\4^ܿa?'B\7M] r`sH +KFx\Dql/Z_yst~R/'r:'yǯ6re㌽F)~'C6I;֒l89g 4x2,DS_:fs<*!uȵ(Tv.6Qu|),3P%l.5A>,)r#܌aYȖ?NCpz1輗/Nj(菍j^C)2IȨֆضڡ9!Ab`96ewU_,Enr^xX.RT9Q ȓ a Qdp~tCLXsaaI0JΉdO&42AO]7ooۣsEW>Y4~|c#JrL59p7f|0I]4.ېri1[fSf5!@~ :wd_k:);ʊf[:wr_o\T{lɨ njs a{3i$FxN ń 乽LFaі ;*ё*'iYG}uKH^hأ& ’#9#m캿cp`2\6kuG'fQ4:עf7'Bר kb,f _ٲZ "[oK&#<矻ęe9T.'x^$h15p^: z/kDoZ۠w o/"TF{ۛ ķ^+sFҳ)/74J;v̢>R8/c&1ٷxU0ݻq!}Yv >cǬ.o.W8D&?t/IXTQ{ТP|KE,ЗEܡMk2,fkՙ+,#1#8a `}k)-Ŀ8 Qi~7.՞?umLlJ_ѳ}̲wֆx>Pkb>];Y?:Z1|h^}t}6]PuW$l\w_3LYo΄aVK$zcAWxUiD\ꯠ}4$8+k)$9?[Gi0?LLF߻QÍ[omv>8Q 76 ZD.- #dS{Z#[r؀{fo3u[c2V&^%֌U6z^kl=1<Ώ  > .,A@ 3Y}mgYZ1323d78a3bbb30880fa55d74a1dec00380916dd03853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f 3280a11c1bf92ac7973b98673933b1bb97ac2fa7bc1842f7150553f9685dc6af02421873d9dc260e