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 `)  ]S]Incompleteness:threads=4elapsed=624.659cpu=1429.988gc=15.076factor=2.297zXZִF! ]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0aΉѷ\ڛ7F=m< :<3f&Twp,x>QG^sg{Ҳ3%FSLJE2B` 56Kŋ_sn,M$n2Ƣj3jȡ.?L\ww /-@2?el%" ڝ  0 y{*1F@Cb9Jw%B՚9`+TCSV|?S ܾ  %8cv VSњvA%$ XJU, ]*૝eE 2o,A~O+恆ŵ)2Hh $A U+}%QH%).M%: \f o No`6Ԅ\kV(VU}WIz^H#y2W[~Z*݄Wb(n0;_ǝI?Uzpm~0vw-#}%5OTՄDtXbֲ--3#3B&nTa'Uh-Sq1-5!.0NVQ(z[lux'Lv=X\u-l Λ7d,%tN=C"Eqo3T&s#t?7~y֩CdYPv-" d(īcv}IO>{L5t]h rP#@Lijd1=Bz<s 3LPq^Y wK4n0rj\Q 3PRXTH&E]qPnXO"&X'lt . 7%jj3ltDcbpg s|9pj%)`2oތ+rq <-&=_GBPdl'I~Y@'  uV!tm"Xvki"]]ӮojI_0JAcrzy%ʲKVOlr6:W4 f &\8:C̓mg0[XlYW`3)y ;"q?igA"Fɨ(WV9Yf:6$,D*&Qs#.mLzK?(re/'b61CǯiT(>FMcubcFPDsf~X?gLe Lm UPQ1_6:O<[:1L"o7Hɻ9t-Zn3v4R5 4A;L9Sm"䓳CkfMŧ9&@W,0R >9`'0LNj-@ab0Bk.z2Z\0F&ШM(mO'ةh:+$IY.ӕ";#0c`:tGB( θZ>+V$!>aBI5th/"AP [qfP +/vd'@kU6t cXEH|^03?ye[`4)^KUu'!,1B_}E=?pC@P&`l[$Les_OY 9EOe핣 E#7{M.ZZbNޝ39:'H͏@ޔ"OeXZ¯Oz0ytبLl\8RQU'9@wEwOXZn+htb2wmnx޹z3!+7 (~%LO8! {i)Z,!q( '<9TTfv_N)]tp/>q}Ԑ4Xd?Y$uOd4ᴋvfEō deTᚚLKlѫ]h!m5God~Y{$ 5`borߣ|jѡp/yqL[M^x=Qt9A:+$ G6@h5ͳx6R!D {(-`Ëy nPՙ 2x+v/kFڪ疋e\Zh`'<cT);L >p ]*0{X7a¢껪 s! ܉ʰ?Z)Hǎ4& (~w$ĉ%L ;9T/a}i޲L(?/);6auopF`7䘾Y%Ѥϗn`F9i`.abpX]=O!AE@ rAt@ݚgFuZ0q&@=li2u^VD!‚ }ZRtu]+ɡ4aD/,̡|Y/wlQgL#A^D{ҍaO]# *I'Z|OH iGNd晔M7Õ4,3)o5;mmn=W^.XR t KÒz[=EMf(tAD/Uf1=6S;-Q瞌s$V{Svޅ§=MM@ xbEo@tcWbO/ݏv,rX4*jm⻩6ߊnMܝAS ; iqMU͋37EA@R|W2$d&7/'im4rIfB_H^)ȼ>zf\@d4 'ʋWhctɌy֙d+vi S8ə/^ގ=0{ROf# b;q%Pey"[鴹eJبDTc l>VdbP+kbI;>O\kww9i^؇a1-qiLq A9zh"B͋'RaYHvU\\ጋ|1V!Rn_ZgMV!~PET#LizE޽mHJy|L'㫄# ~7oSP!|8?% V\V `~G66T]D&P=V9#i\t7JƲ`"\RxaeԧE6϶Y 15d m5RyC )l@y c(X#UyEeَ|':Fy@,D*)oN*vkg>TaӄϋwW,JDP5& Ӆuj6b0;uR/gȄz#}^MDԘLI?khe)SRfCdLc&2Nb] s'@K` VY6uE%0"ݥG.|%Y\E~Pn@P:Ŭ@|ZXp:gHHD?Q6~zCr k93|.Yj(h=(}mYǷZh?E'a5+lc6 7a> h^4.8X6kRUNN%I\9ԇE|?GCˎ%xDЖ0_~M$k2 VqnOՌZ`&ښad9-wiK+ =ġC`X; bMnGݦ|ҷBm*cr JM=?#x;2l)j _ڎZN/<&v]@՞\ EoYݩ&fRZ]߽?!({/"Rɱ[~d\-(j;Wog[ceD3ԛT~MpӧHrr[Ni k]~$YR~˲BU3%C8[: y Bwv\m㈸YZlZih ff>g MY>N+ 9Q~ 7ZOAҴOS= * &jY MMx#T[ 怘b>PY_ϚX*/G,Gl0k2{mV~»"Q޿Q`~Kȷ̇z+p FCBH2- ҋŻH2)hX/i IɯCq oO UWm[ u2fέȲ{DQ > 908_H$ :%󴐁;nS~Vt͙"yeT6`<ذ?VKL#*Vj=@%,Nrwh>&cY?ia~x\̐ZgPRv+rT3K $X"ӵuTT aS`9 <k'FT.de_QKIrTy*0l9H@UOmͯeoǟ a(N*tu >X 7ynv^-ΰj5撀R KP/[:tf”o0Hh$+-Κ zlZ '[eo wxdΞw8|+"yMsizxwW 9D sǦ btRyz67$A9 *'/S6 hbbwmGPr8(|MU \{߉<+\JFj-]#IJIL²05C*V)84EJsxTzI#G% 8"e&&R yp2vm5CXIў@yI%ct9cP.YV: $-#z˱yJ.ԡҍi'jqjȟG|^#Mhi_4jm"[LǴ2'R\嚉\k,*hbX#E)F/? Wo8ktTp>޳W@ZxϨ(!w!)xA~ar@2/R%(2؀wEK=FU1 +{0`+/&{֮!*yժ{,X,QA?7!Cע5ynp)ʌÕy;N3 qۉFz%+eJDIYg0)RNu8H6*z OX 9Fn!>JLm#MrMSRoI?پEo\֎L*^ɋ=@硃YB3LvT$HیzXk{ѫP%),.Dh )qeBEC-3d;Ff2n4Ej+3zM^k)MB9G&yu1ɭNĴT?{$)#% wΨg[Fiꊍ&y&$6Q|p;Ϟ|߀&o!s,~gTqFw`p@UJ3(;GaHC]xP "+3Ov2i`+mx.5ۦ) MKa1dSז.uoyBɲcs8tnFa)$@HK]"Yl2J- BrC+\O!@:470L2AX :4L&ȇxUF cLJ^qۋhZ&=b[*~#%BfBx4̴KZFNEU@G6WPRԸQffF! 12݆J`KP* C)6Q_| ef)5T.F܁9H._MWqXϣZB\Ӱx,$Vx'F5C.)8֤bn/YˤIp ERTdVЍ*At%i;XU= R=OͮV4pXɛ`e.\Ri'7 Ju %M0VL5pՠȤ F |yؚpvbE˓ D]C<߯ЉYe*TGJc \ e=랛mf!Mlj,OmPMOA>xut>0=H#YCg] 0mZ|njTĶmx/"/lx=O9[jf*Jdnҥ Bncd{ wB)"Y@' ym&g]OF$WlfYpȾ|}7r,µy[҅wժnF}DS|ۮjh](OJ3odM KA"A/J B\gMpA8d@-smi0g- 1DGfZyQWORy^gF5fz|X=)86sʺchZ_eO&`ǂp4c~@~&OrS0XVRiKrCJjp & [tH=IM0֟9&Χ fpW&i%CS6uD Ftr@HE-U^)NӀ\ QePaUOjx?SFDe쵟ZD,]\)rw{'i|I_ٮwLkFPʂ,W˅Zmth[kpw,į|OjOSk<ݤ Y7{yo($ +a3OX%x!]4&.m6LM*&s!9nYXrŤa&>,$3 Vp-d˝ ?-nnT#Yt޹WmW~ǣ7uOꂬˀ}>ܦ3'6/ FnPXnfG*5efd:@Jqyf@)muuC5"jM@҉=3#r[wZ%d|,tYю@ 0SbǶgD8+T+d .hˉ^ҪY c8=uZQ2#Mnԥܔ|BMLS OEfhsk0c <{ǎ*^Mpn+:UN=5.ڜ=3[ ,T9IPrg zc̤ tpCvM~}O gj4/X&46;-")kh謺!z~xچ#:(@| 77!l: ,լVp\ ->s*Q cyB^>L.eY>9k{Yt0/le@ݛ&2UFԢ;fF{VP_Ji?U1njَCE㉰`ݫvʃAMcaxmJs%v}ɄՕ𢩲LkHW kC'w֩rLnzpBNC2JÔMu Ճfs!ƯE3$^S]E-y "^W!ia#:m zұz5$yʺSCavK8eՁ03 cQ1aɨvWj TZ6M\UpԹ)d߃_ ǜgyG ɡM |%=g 8F܇I61_V$XZȹ҈Qʣg ,KeT5mF0[lw}竏(OլֿyԜ<԰ }XpPB@v~*`ޱמ;ckEt~+:J9 ^VԶt*Mw_(B'nul'WBd|M\ķ٬}t1u6 xP/ܲyאX!mY5/Vʟfe?#G_W:T%Q AX[ C+ ԕWS-cspʽXu6 6>#V]OQ> z̙x2Ԯ6h&uYc/e%rs ~p! bX#ĹjC]?&ĭL*SyPAE™g‚h6K:_QҎPq ƽ9l7蔵-`Udr-t>4zm3hWgӐb(C)jG3=LD0w)Rp,Lh QpxTa[ Gx_k7X9(\}#YkD?kxG.{B8ze 2`I^?wrNK)s3lRym7f?-|x[Ÿ>!P.Pˇ8l6ÆRjE*.ajyT[+4Y3Y]<@2\3ͷ% .TTps΢'&6AU|DKmPYzdallnan>Tt}5Җ&^"ٛ-Tr_ %$RR6i D!-z[+XȺ#s[ ñDw$,5 sin j1!U!@W#? iaq'#yTE' ,6HOJ=,EIF(3sk&7JG-m{-V[`|1[~ډ3*L8Lh%tY^H.͢;9~Qk㇫Bxl)\V,9̀G20U鬐pqE0£8|}'ONE' lE@CYlm:U&-Lhi0yG0M)-*@=\B ݔ~q[;;ܲlXD.sU &?3Yt~Jr1O>݈Y.Cl.sM~qF{ŽŠ 3 |!XRAr֭SofzdjC0"8"@G]}3eQrCS\?9.LS\ XIy ݞcs|M礲ۏLtN30mp ӺgGĐ]= C@&#ɦ  XcPu$t UiŌD+ Ds#lEJbR}[z)$sdl#k]ÅF`kop(γm\ 0h9ҷ}ĢD_Ŭ{#5gNFP3S :fq3`J /]p Q<" (;MMٕ2j^Ny'@[5 c 5ё ׼9FShkvRkTd)4j"x 0GF~O7` ^WVQ:M_# ݗm.<&Gat5Tz Q ( G[,L/H[(" i|8R3dv|6y7U"ǤLtW_쵇DFBΰXC +i5 "bN+4J*,3K:J؉ٍs9H:o1V{g2pMɭ7 9Lia`-dd˯ dzf@RlZ&v^ Ŏ97@7 .P',cPqK*[WWS#zoRW 3VQĂ@i6AP,:ЧrQq] ю.}e8},ķX]@ן 0@-!;GqEKf;&wC1~53#_N>IFڼF[)!崻wD+I76{%̕ŗ频'ztG2bw4Eҍ]etBV (p#p XNyUי8fIiAL9V梤7]#j O OIN f)2UM`Ok&YQ7JZ*4D6QzS/VCCDZ9CfPL-]Hbq:gͷ + 6_̦1QBURyM6ZU˖V.uXb$Qw(I0njFg]W?L >IǍºˉflKV f#wii1<&nϊ+(Ju&[ @HE LWInS`HUř Ho&I!hBU?bе\h7pQB-]P1tğ<|l=C~*I7pi.ΈsAmfP|4 AKqOm"GzaVܨ0z>(72 Gѧ[OQ ƴ:}I?DCC;ɏߠ91éM-=gZ5w:M1"(^GF3WfWYZ!z>Z(I7G4% z\~xl-;}DCؘ )=綆hxD;_mZvgkk2 S(Yg bܔ\'Z\7ˁIɭZzIi~9p¼ٱ.@Ix҃'_pnB u\L,6C } Ŋ_w֧A驭ֈ:\sd^E"ea1EG<-v{RP蝉.Th=rwq,PJ.C'<%m>-y!DF0ig+Jx\uUt6rkH[brHf]BY`_NQFَs en2ð([t%@`ˌuz~ӟKdf8I`A>]bJ/5LPFshi C;'HF*acN2O+jW%iC*<7AFP4\ԪNtrGiqx@rFPbD9fTk&F1MN n|ʝMҜ*=G>fzr$Qa#'r|C|̼h}ѣrGv(ͽ06vUdC{!j8D]_&gHn՘f2%m-GvN9>GSU4zi.  Ly`~`*{P4oLAw9[~f\3~ʾUm{c)LBG U/k~sO%wH9tԟ&8@Hs ,Ҟ"ߚrAt* 3*o\vǨhn:o&Ǝ\[̋P1{cg0< ]G\Ie3?ELܿn ؙc owQ3[ nF"#k'S!Gd9BqeD-|g GI\\o?D,fV\| O\ hKTֆEzlUk)u9!J{j"fRWE H'ҭTiD7:FPotɀUC VQaŸXRYnSVcۼV_#6/NhmAXKRX.95 wP/J_yXmΐĮMlMx//C|7PZhb6i7ma!(l[e3VqIʀ {I@"BS#y;pEDBØeFK`oywW&ȩm{75wW[^ʠ'l!G1 F,G@&y];fCSqL`3HnOsHb+GHON3F(xGtx[IG]r};V(H9ly:Ij/n5Q`Ͳ2ٿ [^y˼5n({l•yY~~ wX4IJm&KU= -_#:]VE墜ԎBWl kRj|xszewiv9|ʳF>׎3QKӼ.7V4JUDHF:89a^ /ʧʈ j. UMӛ n.T!B_!]JJJ-Ev/wP`^C;''o4MuժB=tr!&(wy_q}~q.ڱ^:QmT I16)Vy;pJ20EA1 #\ApxbK'j5pK!y|Ɏ=G4{iŅ/͓tq0 &H)bU8ʘ]ص7N(9}vC@I0t4jD۾XO˥()HkKKvF}ck.b/OΑ'x\ɤwY1w` GsttWGb]@J꾥 Ҍ9@fAS/|zB[u#?`&CmisԦRG+ܢ#Fo7O")H˞<1..UQ)`D 1Ho ivE/} ka=Gnu!j]_G \ p$Tzڐ*3;xp 7+6"ԂED5yVS&m`)0n }O/ER0 yYDGkXuʻsdOdXF,) ajt-{YU t FCpspψ۶1q"Α s,nqq|=oi@dr޵0:wc.A:Z"0jSqx4B -{iC4f^QĐ[JWdFڃQqC_kd4temk_ juB Oe@~;dX3㳮qZş?/cz&`Vͬ{:(h{(uq\P_?Aֲ㤥R{Lx%ϥw:'x(3eYZrʽ eV4*}R PG~=IGi9`Mpz("С7WS.&I{ME}qL4wN?iQ=e2\)/V\Ҍo% KBo.PJX3/Ak7h5M|bG-ғ {ǵ6B7vkYܶ2biF+k}3V{eߖN^Yh ZS((ۋXR(Zv;cF'37,6cdaHy-{9RfcE 3tnS<Q܎z9O}ߵ!ʘF6W1YD"+"_[:~:#/F8( <ֻB^g/fkۜPwdgG:YX Be[b6f7&@@61`A:[z6t7Qٵ2o`AaQ!W$0"mɽDu;1gUBU[Z(zyp#1df>PmzcӱC}41knV;:(H?V cU b`\bu IM2gSP%]]Xۢ^ӊV[EbRXA-/;Km LtK}V5Oŗ|w"tgfC{^?[0J?gw[&|{!ʛ;hد'LfgGӣ rt&@ xԕd(lm ?,\R}?<:j]980bg9ŗ >Lk;gDkT,jD[q.apSsG|9,XʪHbQ,dฝTx n΀rS[JĀ\v2V Ce^BX?4vTW*.-+v{;T*L_'(!92**ك<{|B>Ć0t?%- #9|n_BPju͐knu{ -ϑQߠ~ q8<̞W@[g]0*D|WIk4+7ڋ&*5PD$nMGPmLZUXr&.9.wgo^cԑ s7U5SlE|t^ 8}7|N_u01F}7'w /ׅ)N%DIԼ/Uisp;y6o[ypˀf-sW˷-BD,Pڷg8'!@TR0m`ey}";G^Cu[L ̽Uᬒ N: Y"y6^7`)+-tX9(.% (P<&(UA .tK(H8}881>kLË#@pDcӒbf3i޿rۿ8)гN63oQv?f`̑'|e@4KxUe@Ba &PF@Qu cpB$|B|Osz̷(붰x̅_ R_ xP.'}(Dr N +dἧhDO1zd8lܗcZSxpzAvrwUPYP+tQ,{`͆vpj|27_A%0 h&Vػg`GKujח7-U'}dmfeiq4F>) f$&Ōq#[$i%g;{{weV|\ dnFo_QcS$)YZC68+g~a򕎄(|Z-[>dWLu-V&H%"َ#3>A/H"en77\H}*H5HFķSqgv h&, &g<HZ8%V+9طi[ӄ})&Et!AwO=s.ٴx>8YuLNZ1D?L&6ǔ%v_ 4y%D#gKR8î fHK~ll7k\#| ԯ2mI0B\3)lS2Ae"m6a9WDQ=eQKyFo`qDD^A/Z-8GBiʅ}\J(QjАPPn#;CagNGaL@lhpNH7Z϶j!r{;ݽ&!M?Ao\>ZG@nE:5[9Y|+8z,޺ αNFm7]Dj ^IP۩P9'7#[GU͂K ]8V^ɏp,czC 0>mvޫ$8TR-b`+W3D\,dDDwe~8ks(LSPJn(]ylgTM56* ۅT`"mZdGK Qiȭ"Z?]H/ReV `.cx_O4<Ŗg4T8޻${MTQ:6^ Zm#abhr8Co,pI򶥚"ɎwggC|"{I3Ut.;pvL+_rr cz7~&\>ՂsHEӌм`jo8]e, 1V`9))No=8LK za1ӥ@QhBgI 4/R11M mL~xz6װ(vH;w!^;ΘBbI B$53@aA/{^/7nOGOA΀\&Y|3\v +FB'WzBKHQcbrE)LD$B"FH-h# su^gDH _#a6Ĩ7STJ7zʶفލًj! ϖ4|K@>A<3B;VЈ6}#ݲ,J @peݢ. qDZd}cv=Q(! [*Ct|d.y@̗8![}:1v.@>87l066c "DWq}!>r=`j񩻍!V iFQMf1"~bp](҂(B8,)o+ť-m-3hZ TV~}>ϧY^2PHܒ@ 3$n!. `_DB( k&b+:%ͽY˄o*N Qjםy_cpguoR Rp H>( *%lNk3Nxô nBQCFBvWߵ1$VVG?0ڰlKwO!vZlKWk {׾PJn'e$N9Ao03Ӯ@(9TZ+pd-1 O;i-_ I4dQ(yx8d! yYRͰP3XٔP b0| 5G#ZxI^u7ʠydFG(0M"ώY6P5**`!MHJ{.u*Y8=W5ܔt.bZ!5)ڲGsBExjs-ѰI7YtƔJ+;$.χNd]|f@W} B@ѵKD[h|, b go7WJ v޿gliJ`/DG(c(7^Hcu< kop2t-lzp)A/ܜ'?ibY035z<)Ϡi/9+ T2fA߫)z,rUI[M4 $ѓ țC&Fk'8]jk{Q5Lwg.oK@3m[mAڍǠr5Q}~93D؉XBϑB*dZ5JS(XTE ;O [ZSZ.Ov+y5t'uЏإh3sڭli('^qzwzh,& U~װ3nxUukfA>e5&2S|o{N D"]IiS.<%.S oKrPZ偶6ȼy&)QPq YNr풧#Gg,~Dw(ԑI`9_XZQ7^Kf> (WSH4#%_YȾVrVz2u|>j<5uGeÔy 0hQv=2R.X.?sv6…sZ2U=| ?Cuu:ht%Nۙw?o#ޅkE2CKF.7G.9F;Cm =cj)74KW9{7˥fA_[NfN+^N&-W 6GN:\5l'Kع'Gi-Lk'9#c?BM3#3 S>~CήyBgm@N߱wn*8;$-*4PZV [+6ɤ] s*S>J89p %lDτvp^xI,2tx&Y`FPAxlh.Ue {`f@8TF`,>m$uLyf5k-Lz@\>;>em/[H(gp RX`й6G,N9ަ6X}'CWii`Bfi6+a> 0 E<֜wSڬf`6k8< ̓UlvF֘ tcDZd)o\qO:KD31 !FwLcmU&\T>wH!nVgУTr .,z =cd%: 9VeuiaOcY+d .9 Si^V<4D4Ty(f}bBѤc&+.V: {b&]/s>Q06l05YZo6ۧX&JWurb^x-,! rKn҈cEV-8 ]nʕ׍+ ОPf5Fo bP9vd.ȳ ޖa~O0@ 3}D:>6۷[0>m17's[o8X9mA;_LDg~]$˼X5U~w$\ʓqQQnk:D$+$fʨQ/vHX>foRceⶦkg^Lt֯ _۟RM?UGpbg6>wK=kkj8vOg]i¨SI ks8yXb%cPR(g.jF"rp*r:rFŖpmN{ !-;~;QDr,F%run3ME,E=x'>_d~@+p]Gc8rNA/L yHr=C*) g^ e 3H!n_3Vʭˇvx `{w\JTȹfc=5prkQ86wA3Mذ,_Vr::嬂3gP}q; f7~v]֖y{q:T `Xz;39}b%9Bv"i[h-/|"*˳VJ"_x{PqdkNTRFT QHGCLΩ"Xn}\EGת[PELn:_j-6%d-[XD P眄Y ׵S%~R}CN_˅YG9:%m zi]Q*+lIU:3;LRzҢQ>q;ĿtCmzx {scGϷ-G  2͞rB$?cӍ(D꓇7k"7rE[͟CȌK~:;؛^rp3.xDȓZ&?PI;a\`իIA͊+=AUN ݴMct^Ä&yD`]ZY4ڬGS[AOTArY MDKVf>%[dB Zh` 5L" @1BD2Áq?zI'A|n=wޞ|7!;#lDžM7;KfArИ|! (Xdd5.a%war!w_q%S{_I;s3f@:b29/ټ%LO/yfTbbT);Ts204j=HG/SAo/OzҰ~W&S"6m^kE¢(1LZ\ʕƯqȐVç h(*c&M )$"Dİ@$O'b_- QGm28Fy:58!!VhcYul 3 ::NhO_n|w"5&^lT}lkhM i&,?tBH>q>Q 1)ݟ΅L/hDx[Ag7xAI{W< 7*$Ab1Jf4"3|/W5 ~$A$b|,;f|D/ʌ>\㠥S`SQ4^;ʖSYޓz9ڎ[yZB5"}kGvESMC @Iܥeԝ+ ЃjW $` 6O ƨw8gΜ]y$PS@Q,(mh <7?hԵ7Kx93aKˉ;sJ鲰vh h|0-2dO}Eߑ ̮fg8֋RBF ]UyF@T]!E(005u;BC"KT-HgmV'ryy&m$?eye,:-lioяz.GHށpluɏB[HG8߭;^WBEF?d3of(lwQsfh<1 Enhq·OM;O-ļ6&yT 0>0 p#5!U=71XC11rll*H Lq`eV#&Knjo[w 8HJHF[=UjߞM8&+4YdK`{(Й~rS1\ F_5rbR:&l."(K _~J.dC ,Fg$e_-ش] v +X[7^[d M,J SM/n1~RC8j7tTwv[G*SNBfцHœ-/xp$(3p(w:[LxJsmnE7VFC⅚ =NAXΦHcvk]Yara%{1/3k=nffLh\Npw|ЊZCu+irYt^'3!˂ sS)rE:Po:8'6ޮ,LIp0Gh ڐ#Oiͥ?Co/ jX*!jQQjLTiD ("v2n):5!:]q`9} *})UCKo~Xk!dT9{C=Jwncg7~`r '{YFY>3x 6btC91`|ZVEA=ZkU}G / 7W+=Q?-Q(wK)$d5_myQ4 ]jcLl,EUK*MkWST=N.y]ϴBqr^< F>.~1lÂKO˸fBGщ;2%g#]݈=۠}UijCD)Atu<%y+Z͒r>w=;|LOtwbmʹL); 5B;~c4G]tCɤu=>90c/ jeKҘW7JDдo[e7^Ic Mf<&П;٥G)dF>أaR\'vOIUBb.B \> >jɡIt-&QNxɰAJƝ#B-+6\C xr=o2X{4 {\+ </v^*2G(NJ46N<ܯ)P GAxO:X=ݭwZKK$fXH0`f D pB]5sPdMmF$|S/Ro<뉷W8so嗷8\>?kLY_MȋPrf,~]T@#DOU2FX.l8HIF}?>abՀhFIAב_m=P3?? y .":j9jIQ6Frkm[7.f' h[KQ7Z3P ߹O5e L/Vabrݡe#U ݋@<~ޓ(oӠss;(UHE@lj?̞;pe*i傄 ӔO\%>~׃ʑfsF݀'x{ Vk̃`Z͉5g^F36-[8@WC?H챈Ϲ5t)Dսbh%Wy:"C(iO&\T,J8,pB|VWmJ{,[nw4_&1tپjuއwq+ ~˾+`Gv&^猍,]oQ;ը *v|ZLVkD1./3zr>|p ȋt,L8A\Pɑ:wƀd(-z/o˗˥y'Y!~,lVFʜ![YhB˹0QdTꭙ 6Ex{\RǖFpXXSArfܚS ~[tK;6  ʊq|t10ѹ_S{] F"k=!<RpK|) w6߈rR7jo UI`uDj7 Sծ#EZ1?%iDϿ]g.Qd_f|VRR0`ndҨNU-Ъ/>bv親iGjvb?d :UYr#M x;VXeΨ(WH&Uq`PPY x SX'7 @1ąID Ԕ8_R|}f{GlFv^́n"%0a+3*~dJҬN CVXى1% H跎 mFĎ{w ljiu/f,O\&陹mݗ%WAO|v0"Y"+Ey m0Kz>ت^ZaG "}P>@O%ϝI'ʦ(ʫ6ƚƙ8rr yϥXk0[};L94v| ?0GW"c_$pc?.\.א&on,هfM\7bXG[?W }m$po s&&.#W,2_Ji= iJdtR\λNmUʮewm,br+<&wWW9"F^St/̪kΎi~Ʒ{ ,jAH:0~}/UXI{[ ʱy\E fV8.5C+|\g\us)9GGd-&+Ɏ&:kYEb&8Q/Pk ݺC%MO?`o 1ލDV|aΎ[{ktf 9@/)Ltft8}?Fys4eX 5mG@)NqPQo4ZunSshYhho~d?B]hHIafjpM)0 K@O;pcvS6m fݦ*i]z3rh:ȕKm^jz)f#.[dRmlN/}9OT4X@0m gh=]D E6p65 Tk8(v- mB%"4]緂EH%È;9DgӢ*R"Y0J.{Cy0Ͼif4M`7xέML](f=f7?(R@t_z[NPot-6\M`nǍF^i޺k#JGɄkg+ 8ۆ6᭪A ]6La;KM3aݘtAnpLjϯeK?s O,; ?MI&;nxXWI[yF={y"ѻ Ve001Y}I-׭Π{۱/Bp sƚ[m =wEGj~'~ҎRQL/VlZyk?XwS w ߳iZ :%'IJ{*|Ye&P-"X XmE }[%ݶl~}f}~*LS{_~1ɚRIRvD-ndƴ.Q_lȩG@7; 04Oqm䊨pWS^3V7xW7C6RRGR==;W}_-y[×m/ކ#7VK5nЪ-71B_ғGEp#+'UWF4Q\|T.yurko+;ϕw"w!Gwuƴ=uDU/ɆLWwm M;T)V4sN'jXO:.A6KH?[Uy)=s{(s=.7A$VtڸaCi0:{1nYͨ3f'Iμu܏KS#oXs&bf3$ /?^fֈ+lo'vFfFa{,{N-̭x.WXV z囍JQʷT͢3;pjo|!w2kyE]N0=uf"r2y4?(SfFlۏʭif?2)ڜf"W*.8۪*h6 VN29SIχe*~7/,Krޡb*Kqys[?(!1]`%tvBr"K1heOHU:PF+|H0P9>\ӎwf:u%~ΝGE@E'{zX}m34UjRv,TM~ΐd؃vk6bft}jʡp(AI:-s plʶPmLeVLI-v'?eOGR{!qt7mIN6VyQ 4EVw=xo;D)PSՑZɒ`E[i9y,G5T V0IdEJC6^FY=XNi i! uIM.)[jw$bX@ Fv6r[ oRٮM Eڟ/ XV;m$2 IfM_ѧXpF`@J"N N-kHn$߁[?mɡ j?8D,/y |')Hf;L,ɶRL@Ϗ@P+?,Ɉ~-1B,N"/ v `> 4 &is{1t({ucps9V]/.@h#J9NP~BN8p0ә|WӟX^ Ϧ/DE5(uruOيDi kNdoSbn Bc lΊۈ鞱Hd _IՄ؈ ̈O2d.9wp<c&Y nObuFh̗Z.c4<q)lRu@U9vkKHscudfrZ? ɨV%|dW@k[#RZ eʓ?:w>.n%54*nOFq>F6R@!M<"Wݏ7y.جt*"ڊ64Zuo>E̺a0,ҕ9kUQQ %ӭwfջg^_c _+7U'T=&98!)I󬈴v;q V\Uя'2/ԋNi{:SȋzYk>fvZh%V ,AC?*'Lʅsc<%Jq'L$kv!ɕ?7*$j! Ox} 8A t.U|+O7/[۷> 3ml_ΠPky6jO q}Z(?$sĸ$T@;PL1L̻i-a>0W,@AWh;ӋոO\]dX8 qj#Q*eqM4f I`iQ,?Im"xGFP+ٷ ci[de7 -{{џ@isd1zp +]vcyɟabίӼ󠃗̣sw^ilj̭Dp/R;}al"V=f;i5Y g|B1JG˺^2 ٢UGOQ~: +@FڨDtZàE;ʎ 7k!| #xK*-,'ce SKM JٸYѳ/52qAU3oH1rbCK9S(B,&=5V$ů#$ka $,LU>X DfY, jwUyxF[NUI  iŖ lči1m|>#]d4nu?;P9/_-Ɉ3& o"q:VU҉(V|gd>Fz~b͏5ڕJT"X]n~FF-;|*-:#nBBzL:p¶K`PhĻmOQ<N>9mPg.?pp}1' hd]$Mu@xi4;$ ]ePn1V^JĎ T $+F~"NN 4?">ښNGԞ VsʁOӽ֙ -:BN3(\nRd@ (w6=H;@Ϳ"H7qsZ7E~!g(߇omNlb)UW;Q+;';lZ՘,X'IAS8@5ޫt܉~8TpY(`kD؂.8#ll|93 9oٷfg)_A3}xwWw&׻c2B=11bjm ?QMR=h"Oy\1reXŹiUQRߩM@sTSYJ$sZz(ȼ:4{eKEHdO7_pd )mHsƪʂՁbq5{[QE$@ kEXn)[[2.ˉk/E9Җi_. Z+"\WO^6Oק ߤe+Pf|T(F:&qs%( BD Q EA3rB V@p_Q9ZPiyH5MnH38pۖWe8Er5+2 1UBLkf*З^3%ꪤpssfV*ԆKVرPўKa]ƭ3 F_j`"к=qSkzK!/E:JS{v,YDCBpM.a"RKLGt:0-hѾ۽x r't֪6)PCu*&EyƇ :tlӻodt [+z>"ϰ.oz0UEY5Φ_"Rm8 Uy/<$5\RMAD<@_~Su*s ᒎxӥ ND;ez'q{o4 ]c hWYd \`_^B9}B v,g %ۿt*~&뜌ˠ=aIE hmR G}r nKR#(T"->=@N)0{gjb7>͂SvqQNE,x~t#I Z?zُ~d@,Zwv !r8`.Lv\4ۗ JRޥ]˦2g3{Va"@CL6>&$<j5P.+KLz{P<V [rgnKr#-;*rNƑ+9!e^7{᷈3]oB*%*s3;*v|hanݨb F lU)A҈|갶P8iVd[Cib>@jVL>x΅Ӏ<'֤TٶY/>ԭ C e'hxb}o8f^@ S Nl>fbP:nny oWnJe!Gfe*g~.1v)s` Ds (&0(Y( 8II<*/{vF2?QmR!yԧ!|3EYfP$@UB^C q$V+H(Il=拺1xq \^(d)8 z0G!I)FDV'OtKS DŽZk+C~>w la'zPUi0@'+NeU,,9V x5@c eϗ$0k t5ժKI*pe O+^v)[\ͳيUKѷaărF'OsU|~$ʐk]'"u)*Sy,뺫or Y2Y@iB#R)IyZČ,NKV;"eIՇ$^mkgPx`@:k;xљnx!(}8(!NCqtL[kLI)gfR<3VWgv tr}Xn2cVԭ|8[ԄM,jQQs G$9p"' 5&HA"_sʅn6~NfUK(LYv88޿Kݜ6TZD1n&=&߾\F+!|#G/imؠ־.ʝ^XybҕmH'Dz:p~9dyϴS>}emԃ)ukfcnPM1%nӣ4u-̢(9Wp`}u W'ra2Ԏ$~ORs3__jϙi2Fuh5X!<jb|y9D^[a0Eڸw].OPm@{ lR HFt!"-Մ\3 Z+ <#"蒡.=u+^VòW=9Q*+!;˂IÜN >gw3tnUO6CB#[^Waܯi1mܶbpVy "Ɠ>a @öbtrX=~ˌ^dq@)]u{2ܭ]G,5іT(D+2v\ )DK(Lv8o |TV41)jGF_~k Ǝ]tR` !m USirq&/`34t5DUuw}~:zU%uʹ:,iU|- S,?{22.X  Vl ko1v[ZjLhUH%[CYߔBP4*)J==~k@ɛ|+X*S[> q]cs V:KPO=.`m-_}WDJK$3}n(Wp)RPK]a)as)`"8UPƬ=3J֓%;e c!h}p9- xUc)ث#.~;}(f,z/}RӣA~$D5&!'T+КLCY8owgFU$O1Ms{>}-+ђRNzbjv1 _@K._tȁri/==x(zz S{fŔ,N3>& P{FdbA^:bjF=*힤ͺ~qyh$hO7m%配6R3/gag.K*xz |`ŭAgʔ.`]fYLGE:w[)Jt] cbLe_}WKRmHnm"7B,z#ڴHҩhy!)BFM7bzDgx~7C ߔB A4dP i&,k8": zW, %{KLv" PΦR[r' Eqz+]ђ텪Kf@+TxđQl[lMv*s:*{vIja7 XNkD231y][ne+~E0Iu.7{y0m`Gr趜o.Pxaֲ^,l[g'[85kXƴPl5mT˩ ^4(tQ.Լ*Ϡ#on ؞u+ [RPq~eNz^?5 ύ-C䑏a;d6`2͈EKQ&uV88 py*!~^_8= D4hb]B̕(;iNmkd,4&Ï"}tԴv;ӖvB_j 5]!ɏlky]Ó/3XYW͘S/˅olZ3:iSξyUԫ݋{M^aur[kyNH$ќBVz4i3B>+槛{J (9:t90KDܭrMyԢΜ6t 3gFhꎞYk[^Q7InܚL5}T_$4嶀 W}x.xx*d3CbhO>D O2>hQ߃](nR3JH7ޕGZ+1?x.@'et,%kpp <'_"k a LvݑBYdD ذ5EfKa-ݰ1W&PsW)aL$(Ep+tĀ=3G~S4Ð x]g}(:|(`%>͢MϊcPu($1H9MV"(}md`xi->L؆M~Ez?<)(DPMD1Tg{oR9a?\' )_;n#*_);߿Te@=iyKH0Y&ـUj6q{D4D UPxf rPFwz?1?6U= %7C [_cx*VZY7kی$k׋up h:`WkA;%w31_{$A~j^MܤnѦ 2?cX>1LWoTntMs8SFfID tZ8rR[^g)(j2 !倍@;0Pw3bթVCj/y<[?J2d278[\kɸׅSHLù~߬-S1ÏwS($Pϴ 3͗i8f8ƚ̋b4O 섭.MA|P9ЇS < $q`Q>FS!5}, %'N0rO|P{w(kčS#o0]VK!\, BN$؁Z\ }*8Ub \kd'%h J?n[KY 㡟 *pm.%DT\l>d!ͲTP@CjU_Z-1M8Hl RQ ҟgWQB"j`E81"$ ;ށ,EYu;G;|}c`E;֯8P=09=G ~1±IJn==pXEb&T ?XYFAQUml3b)ۜ:/18Ebw#P{1QmvdI*rd~ShlXĚnD\>KR-xfn]sdKD~ar_Z1Z iJw 2m/zm9d76s2AިhslUI8Rkc~]޶Щ!BCP)m~Q"&v*_dbv/ӹl%4'T9}pfli-8_HKS%u 'j^V+FtvwQ.3^e8e3(9dߩf` ,y(֜0Zɕ-#cn~L5*]7ueb4@Jh}F ?^Z2Eh w_s]ӫW+97v2pf2#,4 -2[ P,-Fay":{ ^n\MU2qN}c-Y} R18:'WC,0k^mo69Gǯ2r.ImUM4{_[Зk,J8hHPOZ|Z`[ǵjDGR?/Nod\ Iu (rd,Z̠Y1P[{!A#c=(r: X~|ob-Ecpf}"\*,_{ V "KiZ ڠh<ĜO.7\ R^PK6. Ֆq>h 'P(@~bH yC*8ՠ t^}t?~HxJ:K"o|]a!J$C|R's[V+s SҰ=Gpt`Ң|2u"޷(Re"!_sEJ셷^9<QycKUoˮ̶JRN$g*p)ЯY%HMBIOq5Ǘjҋt[zh2 v8ah>Ԉ¿*Z?;S N>2P3|z/ZS\.8QyDܳX7.^n;ٟq [\!JMҰiFAp|˳z0?#uˡ~ [T71fT |ʒ8B6ڱuլUkd.;K/h,zAa  uLj8ѹ-Nը많]wP)՚RTF8yBqȐȃ28#ˎ:=j투~T}˚R'w\LWF~@fijsP┩`D"J?5 wsV$!"AG7iiذ})x  dRjATnEWU\mbޗwy|չhLFtCo,UQd+ LTQ3뗶QI\ޢDtEnL_9T:lYN_N S^2/ %j0m򲆹By*uko$vA L~(J'JĐ ԒUum-O˅!Q1ZR%w#i8@*Ej/DfN[hW$!qS$j̐`#)[paﷻ [ٚd>\5#*z4D+5R޶(\ɒ>lr21!. xtl7[ls}/=Ʋp}/-A9-T HiNՒ0xBfs*%~o c$g;Z=d2#$YCVz]39>KQ';Ok63=CVk^x'RĞ8̓~I^mLLHH71) |z*kuga\h镤/5]$Sx8ǀ4Noqx -o9 |߻`\9Pp _動 ? JZSnb'J)e^C򿃒{1z1h+ARm]4#񖼼UG+Xަel L=9ԐQD%ЈpNZdHs w @9@e^R$s$3D{