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 MMo!\| ]I]CAVA_Setup:threads=4elapsed=624.720cpu=2153.508gc=97.944factor=3.457zXZִF! V=$ϟ=tUY7e͓鮛"O`07~ఇd:O5k8;LKngs nR 8ct_LrЀ0֍ϋ {`슔"yZ&ِ[G,biU&S SB;CW]6a&;MtZprnFx xvV!$~m$VR}z7 *+{ȣ$}֌WH=}ƵZW@I«9Tǘ܀PbT˸_~>'e_R:4[,{QlAe=R}bCzh{2_ތm#Q>~ Ւ4`ye9+ AGLrxKMxM,EM|r *h8poHYebw<\ *NJ0ۓNQ[TSoFʨ2t)Tv)'H%S.Ѷ£h3ΪҚA;}2먚Iཱʬ$1HNYk߂lCi@SX- sf/hrdx_XHk@O'3h1(o%z7)lW~T& !XDCՙKz?>Kٿ JJakN_"5j"HÛu N$_"Hlܩ #=PY'^ޓG-E4Ýx!Gzp@V%Q?yGo_M% @Jhطմ/UvV^'B.a,[MB/ծ{g0x"YßYrT}byKlL[j`q@uaC?P~✌&QЭ t._Ѫz^=?tv>68G)~~qp5Bzȭяp49ZNk@%n< *O1r1M0\V 3y/M2|R6w&  ! CAVA_Setup  kS_O^qҔ+,L,RfxHnuU}lvKu`K E@U|ʰnCmϱ-1tÉP]/4X~ǀ*b.D05HgoHYJ/k>N8=d|mؕjPZ?~Vf'>3oP sf?[;*[9\#'d=bCMGHI]ΏoXoi ߘ"~Bh JfQL5EHqoqXɓke?Q'P^AG[/T~,/|y̐$= ,+;9)V{\\ bGBǦ#e7đK7W?fE /f>i ʨfx"]9a{hpf3.o=G7fMAȘfy♺ :Y̧ 5qX_ c4q;Zϟyo4Fx9@$imϰ"4YR}sYL/)轱w<ɪXYNڝ%Yn:A:C8@z*@?tcj6_.W:bkiS/ˆ_+h l4a] X4>fE?%rHxQb*{3CTsD挵s&' IH?%-&P@pg{Kq JO*ϥMBUPpN& 2+S!f&]5wwмHetR'&zBA'dȃ²o+$U}?WMӚ%fG,6+P̃(1_(_}Ş+v"a6Q +C[LIjk XhLc`C=4O{Kds0 *F VmRlrǐlL:+vȢfp=e 8L1rCMq&lz'V.t{;(QSB 2O&w5S6JK@U}9Ls_ *Le1YgTJmu⽔ZTfN /x\D5Յ|d@!qzp>qPΰhT JuFW;'}Uoo.&RAS.r3̷sNƹ'h+!fWwR⺖տ-pR>[ԭIZFgv_'lRɠbljUih Dؐ$c&{ +jB4 L@W!+0ʐԟWP}H.og='.8a!s}~$RCK%e Nn4.@#Z  8 Dbou@ z!Ƥ}$by4:UbA˝ ]rv垅ZDe0; ؕ:q#GKpYCWSR`5.Ϊ>% \7 u 3/w+ ;qc4[ n+Emchmݬv8k*ڌssB9j$3HCB%`pi#&,6e[Gݯ0qf sSx~lZ>#]V?IRH|_beE~JOދ.4}@9~_Q9rW/r)!-< &ѩH% N{˃uVJOB>flJC"iKo:ctU%z$|'SԎ}-Iq<{TCkQ[4[ HRBKVÑoR,Wf ]mѦ1W3? }/j7W5 r{ 'z;hR]GP(JBr絪 uhγCVY$ :jħ/4B~Ew %MR;<",f!>ec{f B`#m i 1㮀N*ێO[Ҫ@O ,=zzhܾ`WTTn-2kjQx[ZDMZ y+-Lcd58yŗ\$50g E:-e@T;v1x_0aý_. X-f>p3Y]+і>\Ώ@Mg)Ŏ@o-wVACNlL}iMcGz~~ ]QEtKٺdyk'_M%IY Eŭ^pZ C5\,Ǔ6`S" |&a26hЎh'NʶL!{G-,"j(ŋO8 b co+$t4푬}X;$LE'8>ZFk971ԍ,s+hi!$/8{x/=fS+Q~Ъ5v3=6lt{5H@`5))8ߦ0|чH|ұ@0,fˏkg 4^΋2"ALjp̬C_B4n8‚ a1-Ki ;LDiP ~qNX` `MG9dW3%^\ԷoBE PƵoloB݊1RKď>R*Y2B H9fmwԂO܆2Woi no2N>6WH jʯnoU\ќpD5y4Ú:jU( 5f^;ߓ!+ޯ2ix ]=48bK\];k0I++TsGmnL6J%^12rB {u$lP3 4}Ǝ*vh*hLaeβb[#Ȅۀ>[jnZxLM/>d(4;S"1 ot7Lj#q U?\& h0dGc4d-nL% ^zϔT5:B3o^YC$38VgL|  [ *CTrlʸEzJCS &huzgiS&qP>+Si0qje[0-2A["3]ۅDɔP+Hpe `L[~HL fF2sNek?O+ tD}-cPKD6dl ^);E!ޱ39L$ҋJ\*3eT!4W|÷$ :׮A\ `P|9&gFjvU" 3빬wGz򆸶q 񱰚# \;90pK}2M gk>BhMŒk=Mm!)بzC *DAMٕ3 E1^6ȇDAPǍ0O Cw[/5_sj_9p(ПkW@@{? E b`JKVBkIwzQjneVȗ iNtFd/^u})Ǩ1 S-B|m)쀧G@Zc6:6ڜXZp,ooΥc&uc (ܶv/x2}Zlچ86w $:OП7+4bIYucWDS{ܱfu IhϙgY.8%>$m߫~ַbiSn=–3]Kȴj}~4-EǠ^n} fYw)iR6Vk; '+1/ 鄽2vM`c|\. W!*cM lGAIc5h{ɥN8&*II"C_r/gh ?x4QM5G L>ҽܜ=|ٟ 67?.dsxE Bnk齔-Wc@1Ϙg0p7Q f~ng C̓$3,f^2g"\v/)[~pYUt&femEVl3f1Xtgz;F5}FK=ETrV^Tw܁suKV][V!NDύnuOx^ڍ>EpaNl9R* h̀sCl l&v Ma vމ10WU"cIGl /v]'M0WΒԐQrǾUlV1\fpR9%aZJߗ Q3j,=0~Rn){ʞĄE R6B Sm"vc)y4%S0a 1Ru3o#iKE\1s .ɝ]r+Q EơSWWes}Ƌ󱩇#َW JHbQɈqm߽RU$`m,ۇKp8jP=į(QVAL:T%шgr ^n0%%8pU_\"ktTP.{Kio `ڻy|v1!٘MEnŵM-CajK׸+vvӧoLl 0sd.RAyt?@a/ F' p+5|Εk[ɻ%hsj >+ҼUL@N'i蹎M[*://]nM=ߤ_/p:j P:gyԮB"d;Tr57i엾}KcUFӡ :.A31Or.bL[|II@#&Cm!6&dd3r*X}wɴ4\- SfYP IŞ# k4שwkv R#0zYzO) xMp0f4^d=C;+> hn?]9$ba{{jY ?ȡoD^ayHMhܾ8!WBa3P uo77D/+?=oab0&Rmny "ya1ŭ™O$;9͍m˧]M߿x5wLQڗ]/j }hRpqJZݰ$umQCl xfIsZ1|fD٤ B#hV3WLqgwx @$sŗY0wBڡ1GG:2ZVm-QiLw;S &cȒ^0m֎dk$(z\.JYR= WKO 4S#50oG Gx8'tHa ƎHByRU.GvpL4|psaB%};ӟ5 ^{gHK[xo~j ]"6';ڣ JMw_MExڤG%i--m8swUZRC(?jď; <.CN?,1kK_ n,x]5& z>.w߃jb*K}ڣNUt T;HEL>c)1F-q@Șfj-$j-,0|-ӝ bc&Od \g#7ǧ%M7z0EWo99/EEi[8)lDnK왛0Z4djdW- Z˹[z _.k]}H[%l ,Ehi\ @F/Ceh՘XWJpǶ&Pnf)0=Ĭ!M.$E屎T''a> &Kkd oAO!DԶ2c=}Vv&%HS'_Y̯:,K&?G ~2j[ %32 jRv gh۶~8Z$N]?BAcYZݨ>2F\W[&g`#o/s`,GL*k GT> gDM`0⓾<*+<#}y. a =樔A0_a3ttXlG_hZ<(6ZTVc 1[ت0!,Wh{"iW?1O D#%|-ώL3Wª <{/\)6OUW2r`= &XE8z wc@Q~VyQtr -[̡OA%b1*5f+)j{+`q?WI,LDNس看>-np6w|x|‹ݚ.t+tDE -{~Jd âI }6Z[mduJy_Kh&|Sm LڹMּ1%ƄDOO%2BcƱZ:aI mc!b.1q[wQDt#l8Qiewu[G38Cn(/܋ Gë $N w)U`(iV Zz ԍomXj^ P:TnĎi!y'P Ô Ħ@+@Ģ ĚJCF[r6Xo.5ZlEE!,3,oRpD_]dK.S=qHʒ5/> D1}#G`"@Md|S=Κ_Ze)q! HEF04&JzU[/v,twl䠾xGe};4)nBZrOGnh+A3A?DyvXi1䪏AQ+*?>Vde Ź-dQRy X}wKGpA:_gR-\G{ &r;Cf\P8RYc(V&QWr Aɴ0P 3dMuek"`3ֈ>qTpUzޘQMŅU%M92^Zt,i " f}YM'낦j;/9i?*{K|`Wlؿ&0z<6^.<8dl A:, (`%_,˨-#&;xNH[ dK%9Ӥu*;-ҏ(hIj}G_RrdMd>,ak !%&17Nr%ntoU*1Hؑ29SMe%Ĕr(k~AbBROnT>ط{]⻘ZpXUtCUuHx‡4Is9@[dz1( n|Sv4"E Hnk⸋ NVkX\V-t\\և$K5E`IDN *$=g)& X49^Bj&;crt Һ7EZSJ>gMN{'.(֥#Dk1Hg2æ@w__(*OТ\1N Q gմJX}&}y{C*pyU@$16gqd ^*p?¸u63h L *A@, ʍ+Vޏql530}Zlru9>*@z[k*2JMJXV14%5%_,s?a(F3p4F+! ]U8M7Dm(5R4ڃ\bs33XەnH;#bEt*XVqkjؤ_>"g|?-Q:_:ѵ\xס?e| ݿԻgL'op(LDnuV']c&!hCm4O:\baQ„G滌uɊ֠kL5i1f^˩ϩ= ZNN4~uIO#ã䥄 ԍRIǩ]QrkGQ]#w x޺\ba{ҷX/?̵Ax\`um.QiCuM?8:.J9dnƈ8$ILyi0)fUDf/ PF[ |"ȽR!`9 9fy -aTgYZ7zXZִF! !+]ŗXiɟv s3mU!Az|ByR:'0Od8񂶢yg1Slzc4s3( G5ZELKn9Wr|_?fGl xO^bߜ#b>氘 _ϱ1T82ci0쇫緩oe:lWǥ6DUsBkT4/P;~u\@#i;]_ qƏ1) VꞛEHy +zOxiY^<[hsDbQد ݠk9pNoNM~_oH&䩵0%U|\9Cm'@blSb{DIntL)70ea/aio- & X/EJ+i/-|2#0߿apԔѷA/ͥ;YU)(wҷNdT;Cd-+{G}¯{pAUt@(CDғޚ=㴮oˊP|Z_t@)d^ز=H'8~ǐv\u7?/sEȕ{ ڡpԟcb7~i+UЎI9ōaU-r~BubsL$1:VVKǘ1OW[F)=5)d$G4z& Kœ{şL7ŕ_~XkCaл!j#vSe% iwf@rE=y`yu5P#Y:Fg{qR 1:*A¢KoT_C#h22RQbQ*zQ:95 = U`eEBL'瀌 "'CxL:VgpGjx9-5By m_ye)6%xP=Y4*֯*rO-c/sq?ε 7؉k ^<5wt>3y=Ӥ3,c r|`/!_5Gai!9G^<2ckj' #wElXX|zD^] #Xy_ Rʫj>|uWn:tT+Dĝ%!Iy/`N]%!\K̛wگ6ujX?긩s ]dQ "؅r); VQ%nV 4cA+-vvL:ѝjh, u?hyqe8!r88;lwSM6TR`{h#i^/A8 @wٺWZ$7]NgLU/ +?66o2sU|ZI̛%̶erz5o\P~5!8pB:˝L~/3UOGMDRbc}Ib]9'[FĐ NTlGLBhKrKe 8hJZM|m L] C?WsEz'yF]mV0~|f '( ih|;j&bP/ Z ͛a}q?auÌ *Pl! ?u5Ҽ*GA볂d?GT!BЗۀk QdT-Zw"znRT]J}}Pr* 3VTzJ΍ecֽiB=磦GdPO~f0t5@tj/uOh,J%y&ɋVYkUΗNDi?Z/Y@.9DiESjنr_d!ѝ,ՋLjuc>#H3ďP Lrt(m.`S)m?:V-9LpxŲǞִmdNN<݋F _D>Wa dTlK<19pAŐ{y,Sdop3r]])<<ωy [ɸ#kYkg$ޮGrUWHRs7yP˙a$唳|!Ũm?ޛ36:4+j"!|JBd5CG>O! ,HA7*\6ro؆q 1q 9Av$S:\1UoBl3XsMz6a&f386‡=-ud3f,b$oєuN%;.vH9[!+rej |_WRyʼnY6cCas!F󧣤HFhoj'5.HhgtXK &:l)hF05w$x, Ȫ=$4颈CFQ@o[Pqb?Ju!eRz*sRttgԄ?V&0ܲq7!sQz- _PkѴ]];@ hJ&3bkݒV*?㗁JTsJd Sx;b?Oe//L@)8 Oߵ;cR{4Գ7)\w%3Y-EJޭabP8B15vuXٯ.m;q@$mc+Y8h\ktnJ >?昽PҰЂFp 5btei67m_ a[|̕Da2@4v:-B)Noh¨Z1jpPLPHB-~ۭB.VGon7J0nrE$K_TVY르}G .$~ƅ 3`|I`ȲVQcu(B2iSyK ;Q1,SbUP|^EO &z+0e$#hE%0'zWtV a^A<99'XH!N~PI޵^r[рEKT>bYK=en-0kK̈OU5mq"MRڗۺk 'Ǹd %x ~%^46Aps z[7QR=JR@FX4=ė(a _49鸯D>J XOsGhzὐc8HdQࢇfT8"T2%/:': +.H.U_LC%ʄ?JZB@]X|bZu(K}ui1m(+% zsU;:ޡ`ǙH˸JCkaB9X1MG$ONK# @ V8EXw|8Tӣu/ླྀ\Ԗ]. ]m$h >)')Յj!ިrm U fYh?!a FM *f]ul4f)O PT !P#5l\w0@>vhLɤyF|'4*~ОAz\i(%ǟETuo;3ƆMkϯo;[P`ύ!gK n[8\aͥ^v=T@Y/]~=Uc: bT#s#Umuex_٢L_UkAgћWreh C?X'zR=k4BGh_WgJ 4R+3?nFmN}[82|oP@'):6HliB :qB쨾47I1+.)yO=R/Wt}bt#@A>*Ƈy S<=`j%y$޹値d{:2tY8{`p{}ȗaچx@ǯLh⊰j=O΄NYhi^4@0,2 :^m`d+y0̋o7b hbzS iڇ*2 CFh+Bg9kV|GP 8Ǯ+Q1Kg\Mc$% ,Uz{i9äǤ!`mSGEdQe'ZK94H{#i_)d"QӅT}ko H-9 0cR~` /!"i?x<&AOq9SoܕT٪b-754NO6'=G\iD@l&}::$q կf%Ak33Љp+<S8r=͕8], ƅ K^旝25g?EY-aCrp ШzƷ>!3iչIYMrhoWK-ďڢW_OD KfˈuVӐ$6 {B:gzq`D,y{ߙ3{-]~Mfl ws.6k@-;PVGU~~U7^\M Gw@j>zMM8Ncu"A}/ }5/aģ$`L%ug(iYj&лk˧!CO.?c ;m J|bX#A @Õcwp-[+!& kfXI Ɖ~0n?J7klLz_XJxyص8ȬwE(4nZLkaM„;+^>8.QVcާwy]u(Y ^U/\j"xt<i Ҭ{氵ނ?و'K"hk!W-ỏN-k#>hĞOaJ8nR-U,GZZpqGcu}A/)9P a>"+|D#&5ZRcu)xgJ oHbW+^sp.WU>6<_als]xO~k0`dZ̧P+G+5nvy%k<;^Z g8V+ T(^; t鸝!q3/}Nimn(p&EBh(Hw$; b!}TawGӤrzUF  "Ro] cVF:zv W탃f0g cţ%vEl}ŏ `ߪKυ~K;dSl2}/k& \c=<=Lg3QˏI)%OJ4kgwc.O- u\CR,APM])u 3t9,S4{܉u<^e*EV8@ץ.HoFC\Cql{svFxsjq'^Kp'?.GL[x$R5|4P=xL=NziyлqTV4>xё\rGOEۄyZ;+oy6JAƇ7TNY.|zO{y`& Kۢx:kM}zqz r+Px"x[Fa~g·Id3(ݚNjR ҕYqzϵvR !·WnZƣ"uj~@|H}Vg1_FppbF,N00k0{V!&_+q?=T4sҝd3u>^/l&̚pK8-oW ЂZ 93֥-*YGACuPوgs Q7Mͪ|xCN?yW呂[O(fȪ\r]tD}Xb6*I c\/VV7}@+4="}UZ]ɮX* \=~ן'QȚ| COzlqBFF7'y9E<XX٘}E("U:NRJ!ۇb^U,KH/uS #ڷ76oY-73A4R\pm$c@iMy=Q".嬘꫅٢G;=`Tޡһҍ0~Ip<]&=fŎs]gxakmexw 5~=sS[u:nslU&޲Ul9i0%Uǚ4ڶ=uW/vw]`g}@Nb~FkB/֐A.W:$#z 1ği͌ :]l~NH+K,=B@1e"AkA X}ꓡiŎGTf)JY?T_xcS^mc 4T]1Pp^_֔#o d!?w]YX>GPrO {D:M^Qԅ_܀|7S5C] l1Fn_Ϟ Lk)R.D eӂ|lҕ3t0Cܢ}K澖f4N1 U HUa1Ku:6+n fy_RsFpȦ<%SJzɯ@{;l+igAu/-=ɄiࢄFLQ]rXZt!Q/ *hQKN1th7XUD95kw"(9,Z|qdcb{w><|xK딎}GhH@Qyfi'TcbUHo\6.kl&RѸV`>wvi8XbIPHbsv܃8Fr9J5J%e\wCԺZ]_Դ|^[ѥ#ӂc$X)ɍ|kw*0Xtʆ2 (-(et ( 1Y`h"N}y,gE}*');-G,;7}_EY݃G̲i!LQ\{VlAg _ey{5*r[=@~=|h u?Lc~ QsÛ :iZ,( 2eMPɅ}asI?қt"!'Ner2k;mE^=[LU _SHp77B`A\& fǍ 8Fhć ,7+|SJJ#xXV6$ͣDb1Q쨭}?$iz9|Dcd;Q_U@XG|"'EzZN튘{/B\re+"3l%#Y|)*%RjNۧqt+G_s97Yaqv42<!ax7n_[RYS~E>lC*pܠ)vw|]rڪy0 uO'9"սŲLBreG0-Ѹ=6 s|&LWAaxqc®p}ܖz6 WPu/7Ł4x]GZmZ+B)V]f$ϟlu2okhvxu2 MNѼ.կ[cG?|U),Fa_msۼ5vj L-ws}zHLih+ߟd X?߬k  P *yzñ [gzJ>(op$5lܦQn2 QBZ"5z\OoLwnCv)W# *RΛvD|;CbĜgGs#|5*Lk^^ýZȀ.W7] )-(&~@dn}~04pG18ġaYĞ?R@<5e5UdNQ~TdUᒸ#8-Yh 5l0ZlTsJ{F2@YҦ-MݿeH'O䂋%B -,[3L9d@A ʙ  e~zC:Nt,{&|pAAY K4RӳݥٴԢɞƸ#z nl{y8U0,IJ=ɖ~Jls!z-,T$0F[zƘ:TJPYvy[4z5zciqTh?46ǂɮ\q0-~93$ d0a56E͑;(/ 8NJ:+f2S1vv kSS=ք\+D}(Ӯi% "+lv`?WIKXN]GVLN.Z*Xo[jK>וZqǀIuT]&$ђHɫxtdDoɥƱdO*B:$29m]NʎʑGC+k/)?#J VwHl-K4^ q<qo-}/M3F[BtӿOn,\0ɧVx@`:+*sMvtJº ?B-a *p19S3xA5Zt]?WSF{KGt00d#O8 -qa8@/ HJN2!{CS®6n#b\5ÚTh&þ9-ԋ^KTٍ{y/Ӳ_t1lRr|6Π9UwS%*] èUpʤۣF $%3@Ƨ֛ÊJ֬-_Ye懸?kkTMlq0}&25l۽sb)e.ej7\׎uf.#e{w`M%9,{}ݺřb(HӋ}^Ll{>ҙ+>Zim0hyycd7T-ZcGe޽O7L1=?ƒH]+ieh \|p <}/lCt ;=6+Am^_2UIg5њw&Ƕ0kMA7 ok g7V:AaR\IQ7Q=B+0?݋v 2Y]_-H1Qx&an啔<.'Ϝ dbJӑRZO7=>A 3 k:SLjyܟ I0Ԗl??tW+u6h˯pPQ f E b.*hYb X_ VM9ΡSh/\3z֓6lIuǼs,B3 ^O@ ^Q4*WD (wƓ4C)5"wEfUpk,}PLŇ XǢ!W,9Ώy l;h&M&Yf,t\K;9SM7aij @eMg-iW=,!+n 뉩I&ũ: MZv:{yT's']׌elnK1KSŬg ޥ+b? #FAVSYPE砠F+ljx|0޽BFq%BQXf/է6FקYfUP#VSElv7F{.n浓I/R<!̳Q!x{оe.+"> i * RӃg@H.B߇=n%@' :yvlu[zn*S/1"&{<_@.OQ7 Gp輁GIWugGQ9.4պYiPWXu[+b˼^ѢX qW,49A#z=%4TҬ$Y-7^9E eԊha ުwŔK[B&< IC2%/D"D b6(E꣌v FN2 ee55ul OaSBk o_m/AՁYBp%_\'L^?WNxvk ~V\vZ4o>AlWD'[Flbr#sP*n{]eu9Ww<]MNf R45ޘ .CD@XA!.Gxk_|$/qy$ l(~.94-=`$pEinx3X'pW%ٽX %!~cFt*b5}W{$DCo#餉) w7aF@ $ǜrv~fyVlO5S\*WNAn(3N]m)eo6k~vpCv;ye(=#=)p{dDŽ1Ee2Ԣ/)ACqF0JϞmz bm  :L+Z/,wޕ :G|ܩ7T!5Fvi>#g |e lCGF:2mBϵ&cDK@:؀#{YQ tndE@tߓNf!gj:sHwR 3SmqM=uyxC$S+"x&2\WX.`k'<%y!=I 7K>GSxLnY+',`-G쯟=C4Gs9J-_خєR$SLAA vq{"V#Z(Ɣ;,' P/oV~OP||IXT9FMj:8he%D-f~99E} {xcBǾŴ=XS VVoQmI)s09U7czP  L%Hʑmvt@U4vPZv򌻨o= ?Dr1 ?R誝ۉǨga]KP9nb;H^p\'՞Hō~,ٳFo#fdT_Qq4xH\c=z_,(P;4^tGd PQIUw`ߵ*hSYzj"~AЛM;V[{sehs?Bjvf5Ы[`," :CDF2 cJR;EFT37=#@C<݋]@tZFҖ>r5Ө@ނ+W_(ZJ AcUhOz g[pסb;vkJcLd٩6g%B0JA̺DFLST4dq1C`4d(f_n.A ɠOow]׼l;k,7SCe#Zrj``#Af={{*BB! W@ƁA#T 2-9Z ]S *:^{nnX'hA!8*BQT|I}Pp6S}1Af_4 pwk-pcQ@R6{ ɚPc`%ұa$&VkR'R'd2`wvad;Uy6lZZmguP2sHEx /%E8`j~$Pw#͖/H;0LfXD.|ٽ<uvrp uN.+F!ۿ'do} 5n~O\z IΜCeD~FtkhO/GңhM)*@=\MzP1yhPt4OD'1mLpm /6~0.R H .L T,ٷ[zš]!xIh`Ýn_TKd-o[j+hqOD}h<这vgY"מ([p\UZ#(;W%4䕲w%]KSbvRj&K]EGDP4M|[;=np$801yRϝB^gfy~ξ`)?i3zg.me/ hy}c?ZU@$>˚gxYz R%^?rp(JXRWR6|S,ѤBKq1G%٬5R9K"PLfjbN=TԇZoڌúD40șqT1?v_ͅ~ABoKWi 0SHG&ڿǎ*9;Mi |JF5-wnz;> h`ؖwgZ1Wsga," uQgŊMT3s蓣Kr#ZE7U+ܖB<)e6|fXt6HmMoM_+rjv񯁒+TB[!2=ҚSV|r~޸x LLFdߖud]h? 7Ny9fޘF)G{h!e?)5KsWfvoזNVvLV dL?Xp?t<(;a{e‚2:F+[4If^ʟ2?K|Ȇm[X3 t.8 > ^ʀ8Έ_Ŵe|myź%eJs}wr2ow xf~zȒj%ەӜ|3MZ :;t6ff{mu;JnΉ"I0W6}#pVV Mq+us5ڈyBl1YE$M8GKc H FK̅rKAiǹhܞׁ]AI94}b ꙘxeIrS=,E&UL1wd6ZjBd?[*&[JK>Sѯ(]=fq\Cic¸7Wru:H:aeyi뵻hbq7j0ǽ:͞U\Am\oHQ.gp|}ކ]4p8 p>)r5:LlXs&&ӒU @|yp/ HW< 5 8O!fN3N0xAB2LzWsmWTC6"n*9%,m6ɨ+iX8d%HptmFV9yO| 5׊fh<@Kvfl#D$E 1J!e%\dPԕ;sbYHۋsخ/ U^3)B)yLbQANxc7WE'Hkq'@Ns~;*w: jtۉ/|ԙb;LωKm^Z׵=6IWCbI!alيt8 #tFr _ts[-@4oTlO/䒤;XwW z ‘brQa~ ~ %}FD 5cE#+G `;XzŁD5b e3'':9 lOn }aF ~B{ ]w;dU | Jbu\ uD;lRbż|fƟb(ߩ<7iXǥ%Q/F^K!,yTmͷ)'VTb:\hqsonuY|*$r\z` M.`/ mBF1-c1soDUi$nns 9>JO\w !<||=9ث> ΒQF|2{\ƫ?*>ǐ 1&jx;-`e%5KSzeĸ1kyA|ڳTh*eׯHŧEa ~"P[u_1B0_(zi$ 4Nٮ\⎎jsHfeXI׭<)C%(f/5p]{7^$=J4ј"n:Pw@7l5.)S3@ŚU>*VMJ8Nd!ZTbj o8z@GA?}?kU<=ihQĿEZ!d)ZR cwRFsgO9A wo3+>&`V.}u ެO7RȠ77Z?]o] j @eqa{Qٱ'yoJqHo FidPB2ImgX[p2k̝ޠ.دLj [S@q*oO>GD4\RafPa3gC v3ZE#%kM`Yn&;93cS;ˁ%ѦaWA0/2$S-dM1LA<0wD ggtG)]^BjmHL#EI,xi~uk|$O ̶8_j* U/ߞRb?szt1_FRAt"neZR Y+1{#?\ED ,ϸZXW&<5Z'GV藎 TmNP^3d a0?AQ.c+EoBZ֞vPڴȦbRI[] 1׉7KjΎS xi=gde!,Tmtx3K+S_*P1 .w/HU-!(DG}LGGĻT7ٖgu(#Z0Z.YϽOMp&bgvo0 q-u'%bqV?i v5i QK}N6ۉѯ}qKv{D"*E/d-I2ߡ-=e΀*)I1|ѱm/o״2d!M dD'mؗGǑ Eړik&XݮD#7-U)'9^ݭ+i}lLrJ`^ZB4` Zr;N+}k5wnJըn.mk%0Q ׻Kl}.Ųtڽ" qH{~9%F=G{yl30_Ra- {1x3]nʅsgq)/y2޿# ~HD8oUO}4z$aCiwHH; n9+yVa|}k wԶY#{Om6=o~>ˑ`?^qh2^,Qm-zJX;rPiВgfK=Mʦ/e Ġ9O/~x0'#f%l[w*y1t%޼ ^ie{I,w)C!0X?aJv]dQ%2#"E]~mh:-6Fٺz+)idr?zyp,_S)LW_5 og+A[7(gei5|.Z3@H}Qa?`}K&R1v} n~fI=N;XXuDU;\P Y\T}{~9g6]z (9Bb.腽P+I46pNNʄ187(Hbot9pJU 2 A?Vb˝Wq@-)1$_c=]#pG߱w,g֭SP瞉RuO6w|*ũ[ϸ2rF ,!+][mD|.^17+`) bmPXMH; 8t@fpCZD8ĮD9Q|Jej0,QǬMyVm~E aa.M<35x"VP,mAaaA`ĝf Ayk3 -nW We㋳"uLPMcMW "fe >5S]T Ǭ 3cc[Xyƥ95Q4) l?ˌRcڑP `YM},f^FJ@_3GXѦjPto *ZK6 Y=ɒQɺ.KŊ TfY/Wcgm47#>LL~(hik #}MwDUD\%"DSӕ3ޡ'Kuu9}o|%3K@w>tն ۧ  Ť2iO)H̰_-s95A̡E6cNA /U U %}?d3w$P 0[1lZkXomB%_doJ=ˈקb]i %v#B1 |mz&%=n(hHWʭ-yL3X͖U 2Hyê4 X9joa;鐫uQ*?.\{Kn},Nx;=OPc@ҟ(agwn&WP w\ZkВZUY,xCO;pe K\A[Cj} pܧη=To"7 )7fOjӆ6akwܨ;v("Qw jpV%,P^KyPGK <^=s BiK^'#8^%sN=I6Qlx}yCQob?4I$qnnJp#}O\ l<͡"\qoosLg20_ϩuSMu RڜGp/=g(gv~+s!Bh4% y"Ȝeӻy[:nxJ8ef foѰT86S.[J:?TحS~@o1P-km^;3!ts`@AN/-\t;UeBƕd54h*gkdTOifs: #CEDz`PݔeN$4%`ǵ'EۉY'WIPѡ'rˋ8*}*yA>1.gZva}=2@V2UYaȾ{xmK}*JV Ɩ$J3Z10)s(1p>'\Kv SXbi>~:Qt+poAYP>y1WoH MDj9ㅟ(5bYd'IQdԄ10<%pѽGɆ Vb_Q0r  'mj){Hq]iX;}82wF|k'5 ߒ%ܿcs"U߭R0Dl{ 2cL5QܘEOV,p_/̐n_(VFIQ Y񤍃` @rT~o=n!:_YKdASirNy\Ox8~*;~)=: \q +&BgR4]jR縟jA@Y>'dg1QԚ=|d~`bK!ҭ h)Ppe+y褿8@6Eq Gd؈õ?jbNR0@dpô3FaOR-|B2`qErhјȵF_Pse<+ޘ)-,gt<~*&$6ef~pz{oס,eQ߯`.Oi8Yzk9x8l=kdZI&"_Z6$@x)u ٢ߔl^k/F"5* "[w>RI>ǢxYzwQzxyNQ"ȃ1c e]"1ZjW\h Hf (eTiR"Eey^6%ڦmHn+tQv:R_B/ױ0P1Uyjdh&Zm}j7ʽԧhjKr]ϮkRμ^h2QSjcw"{Ӿ1WcxRsi`}ü<{J|j -]ҩ}Ы'ODJ 6їT5N6k$,KYd1V렍o#'}$ DSJ!mȆ7^Q=1.vI%>,y`/[ZJ9Cb2$lQyq!K~&$ `ynAU?ί . woUhq$TU頺v s /\ae"*|CeL=τHO<(_B^/cyYHd8qnotƞ>]?n Rr\ϔX}\XH'hx= %WwQw0🆂ISP{֐XKf'_r Q4eݲ`+h[{~s%1l?dX;]^Huhn2Qg/hi{8bלj?T%M:m8B:̤\d |MX!$QƱ~' ͦzr%>jTZOKY?IȞ vJ*"=..&hiv6w:aroTl\T&x\$UbݟT('6sbHdbiLR.oIO1o%óLrqI ;Gq)k1 ";"p̣$ =D%df::x'ގfBpL#Ud˲ .yX \?œS>ʓ1ZfG%y"6]m$ɩvesńFc;p{.2G uixW'pe?VIL1ԃT|}U6}]}uPaLrV4&PY削p~bnVnKdlC'6s3ЪjYIS[^!AfWa(_?&Vj3")Pr71`gk½=| kbqz=ǿ[ FM Y=lmN9Ϣ¢*%0:=`99y\9J~:e|HaRCuTlֵfx1ayvnjƯ ;Whuj% _ ֗wz2:uugg |nUAdznz%b{ӎO'*zJ~Jֿx;%6b /8TsUU)vg|8MZ]6ʛ+I^yG[Ӛ(E&!$n;n2G-cwML5sKztܶ$H{@Z{pa:-玺3/^DQIxT;A~ice-t]:LEkbF|; JĖ/ jFh`sxT8AP4c\ijTا~HoV[#ZR 'F9>ϊٳJK1s0_n n H$t"S CG%&{6 0dJrdVӖ Pgg *IACKUY!7`P5;'xK^NƣD8u*D.9 T ʹ8di{Ɂ'`ID r!NFj.ST|6a=fH4b{bf‡##EZ7JE.Ox=lh&u"0ӈ|2RM+COk 4\vvPdV};Llso>ox(YFJ{t?HM!^r-YIx+$T<J7C?٢1FΜ,Y߇5ո-C;mw]A\ \IʓO0g2Uf(BiWF_VQo#,+[:5L3^Ӌ p8D 3`h52t0S)(7Z-q_ Лu@ ̼ ARdݰZ"cG]]oh jIw?U:lp&1jkMȤW+`z༌=߬FMW=8hx25'I"r@۟&Bi{ ˅]ys/l\1Fp0TV44jM+.>&{[Gb)K3vsB8 H #͇jYgMI:Ry\0lE"@sАVy +ym+P fg+٬v'7uzرD\A_RnuG4? \s5sL@(ڨ|Qwce؏):lJ2 MlS "8!0`))4N1Doͯ x@.io6PɻKxKrCmq81zDMAv&('ziPA KdbuOSZE֗X|s~P!8:k(8H&4[2 ؂{!K'κ|;ѓ,:wcL\Kr'y=T1bBo@%+1tV,+7Pond"3jѝWJ{N`[C>xjEcV{T9ULr7_>Ƶ]ML6  ٘;#JP[d\V'JӀ1¤T!7FXFb23m tWICij'Yb0>zstN)qGyϟ_c)%](/łz[ގ%7~9LB悰T׳;: y@T8:1d G}/tѾ9׿mO&諲~Hk*6OD$Z +3j\@S,JRA8~i|GTĀe8z9^"t7 $'fW"YD&4"Zg MΞMftF{Ib_`83q- 5>|VnHo ELL ^P$ŻfϒGĝŕn8&YP >[禧d0y564" & *:t)Mt)"eYwajojXj*@k(u.^_<ّzĔ-np`;ԏQ. E& 2A?%ȫ_)4$$:i- WrjIc+Wv7Tj!(j48|֫j$bA0LP$AF5vri֞6LMgޮ3wi:Kg [Rw(!lW6K/nmOc-M8v~58ze@U;>I*THMF` rnU`Zn1aW, [ެi6r P3 %D0d!F\.](Gh#0e£|aCHW6`rgړioaZʢ&TQ.*uT<^CjbIYlCCT;%F&`-4zYiT{o8tن ϪQJu9 ~6defHʍcmVDߗ0(4Leho=rۡ[޴#2Z"&!jlћRj)ķ~߰zZ]7^F;;uZlRCtY*3!3#g#E ;j0E"cnQyh/Ҝ(ésAOy0w5Z-0mmD|ۘY60^:"$,x?D[\ 5{L";_g8wVsiObIRx5{Os -?k!<7v'mGXE+ C+ii)[ :n7RaפɠU20VȆTwO|.Gb [w<߳m+܁۠,3n2rҎ>T 02h-:B`IQR;v>( ##4pzO%DǪLe>{]% }I"k7C'Ϟ ‡iM\o+(,ul^v UzwN\Ai3؎f7f1 OO9*𣖽MCd]fu?u#i(hVDef6?nu\odynT]͈jR&Ll%=F7_ hK]~c!oxL/cn0 ӳAh9>pEWdiU[JLzwyIC>\pbw>>!m:w}U;Z&Hn4ӲTDe/ 3M6aa-wpb#xT3j՞-fEs(׸P8@0Uy)aԧY%4چI`8Uِk%*F}͕lcwJci@,ixW7uݬ 2t'gМJ%YNOeD]YMҒzo!⾒r;x-*k3_bj# .(]БA;jw@vLi: C+'07|_l@"^1H)mFz# ~A"3Nw# $v@1bD3ån\0v}m7Z+s€‚kWA> S-rrd_g !۫im7@wРyufU '13(}=(qHM3=&IOX SշKy2f7BTP2H>;U1I% f?Z:N+ָy(e{Oo3b=(p{H7`G X"(?dx\KQَ:C6(5FߒU_M(YmdD2x})LOXҍ1cZ垶\̧0k:¹wS.hCT>1T#%k=ߛh=+~x48GpjWm vs6bl L47 {T>#G[^=YIT#:Y zEx@-r]iҠ_o{\;V>@g>.?ͮ$Q'.lV3+`8oTKW [;Uu^*w1bEax3d5!JX)j09L9${:>J_;Đ[1nBּY1BML'M[uG[r?e>>ADNԘ-yiϳbҪ ViL6\/{ V* MF:&ҞQŹgv#fᱩ A=,JbiGu-|pWǗ,H# -|*.ɜ@#wZ8u 8~S&]Q |zfh{pBޫmn.'3"(tHdh \TQ?f;Mq`ҫq籱mߞf9\׋2 Fd m/vNXg]wSw`~_ r+\f!zDA^8eh e]BXp`ɧIhƂG|{+Bpmnsf NaxfFN, Uvd,JȕSU: {yVXYm.}:LhS PڟوK2NDDhtsgmyNu A:G1i/. 8fIқupd#}8e2"TR; aN1$33`p3nQ${w]B_?3,?5W°߂ W4nd9}3r\ ͎LXDXռzj{>_aטRN#sҹ(kͨv$kK{`4T -z=Y3v%tfr;'aPo82/(ś8a.o.!5UD oP8YM[@ %6w#Nn4t/$hbo4~^FdAhEmPvA62j|ٵm|ִ?׌{;%ptKpckz%9tG PW&a/?9nƓo\{ (#E*c͎_iɑUC¥_f7$8ׇp)-|! @ՀyĶax_fݗswϹ?{T6P(@/>'w^;5F ͱ/E &xUuMa!;ZpY ? HwP#i~8Jpv H`Ӎ*crowq!*ߓ$g#(+_/eTQX8?ǀ -fr^["ڍ,Ɍ M߿'}%z%Ee~ `؈=h7K^7 bBȇ234fjQ ;H1|N"6Xwj1OfӰQ{";J9mш0qD_KR%T=5ߎsZMih#(=z<^Ҡ%.v"bJ{wb o`’uLMac"MfK䔰pKI?kPllbe>|L.G}Dz yũ^7:\/̋DG;vH$[لwmk+cֵ;}/D3I2 [ބfy#16mHlh5XKR5WVh,܍|GTMYh` Ř7@.L+/b_&[};o`N^'+&MLui^Myd}w<ӯ}spu<U&탂EHl=C\l5]vtȊ$($l#Ҟ>\럣؛R0g-#^ d$)~ TiU8^bsdAyP|U)k<#^}gŮoAn\o(ڗkt=[t+w0~ PPvNvH/9x;L'~;lgcyFoGb&lm.G`b3c$v^fSwI.e U b MAN_ OnOb~ P}iV_q8j_9_swW3lO?1=΄$67nk˾Vy1Y9Ӻblª  C8dC>^ %hؔ0ՙ/_[ͥU@\JuGR kL^f*$_5Mf'ReW Qtľ&z.($5fH6殡ֈnc##7EjR #2I^!":S5p x:Ü[|&9y Vߜ3:4ۛITeۗIhM8oBmllSm4F4r%i>{|D{!渌xrvSkSvh#WbTc 鋣FlR]H@~j$Ɂ⨂u6[۴؈]jxv*i#, u-xraS[ۢHZT=*ȑ>M/ v *0BG$+pQ԰6 .:{-#9&| 7C #7:Egh_m]$6r-ʘ/,zG-RHmuu2?k<ٰ]8.rzݎ>O"tc1ZnVZk7d*]Lz1|qjeVIyp{WK) ) Q@k2.1X=Á\"O`$p,=h³mF<+biHzS.ǥ}!T]vv;RZ))$krW% ]6pɿ!ql)]lYZIRc(ALk)S7ܳPQkZC}hӬ&kc *{7\D0M^K[#e I3M72RB0ҼjU&>_aZۿz̀m^G>F8UvS0+9yQh,Շ8/\-z_"x#P]+S"ޓLͿ 18, M4"h8 3G%YAmx(tD vmy3)U(q9?.npiŦ#?Wx{ZSuR;v|жk"K&PV:.2N 8zbR[T0Ku G9tGuDjM>(3Pq[HY$Hd1$ rЉ2(89@.# MQ lyRw&<*8_,NsAc`ID=+&-j2~Įɞfݮ\%Mv-bybka=O._lB mEsdܩxJ;r¸Zb8i~j݂Q*Y熀NO΢$n,׾ړq}.J%%A]5LpՏd4/WGkíl˦BBӓ5~*[AT#ds1Q 4#0VFe|t:w¶Ղ=JM3W&VHcx_ئi`$H˘uͱy*b&UXMސ6W*{ V!v/dO(әIT-8Cz]v'jn|$ /BBfVl{m2sN0ֺA%26f,|h-sșU]AGz#" Lc P*xh@NT2tfx3u1~RC8èRMtoRu@q*VNdCj]]-\]ߘb[=%}u fU$tntv;똧>`5l 5:`1p+1,l[\m| Xlwro8*4(@cӅc7;PlfM 7yX:Ʊ^mu6|gOm+OJ33\ԼRwNy s L%`7 څ?HW&xVuܢ/ t}̲B@$JB_pݓOU7=h6LNrR! o]TEIffco%iK(;Vu_%Z%5y"fuPVD&lG[8ft@}h׸wF%pF2јc4K!AD EG 5#ʘ5dY$:+7#/.`ImY#Nx:D!YJӿc[>k2 w7Sr4޽mhr|LYݭeNWH{h3SʷIW'শр`YZ9lGË0jД$<1s$T'Ky ]Ǭ=X%A=TN(əN^L1V=YBKpl>5Ne"g|L?4o<Í4VK=TR2(taECA>2䁅Wו[5ߝsUTBPqGm\`GᏕ!hcdrऽ";'|X nik, s!A$֡(x'EsrEr]v6Mb=LAJn3lXwݚPX/Ķp6 wI4>m~Lk1MbL5"W\tH A:2:ZdM$x ΢BM_e+dHt!YX;W{-ׅ$5%ӶN 8yZ&EwhJ>M&C`AoS뱬( ݂#" 4?UaRV[Ne?i r\}dS/%=9#mn]jz "gT]{^B).MD8@F+2~Dpd]z HZ=K=Kl/qm]OPͥiwA9b7˟A0,S̝ἩLJjy SGn5xnm?k~J^ވ7BB5_+qzkMTXo͞'(㶰 h5K\w][e2gFȥ/R*}Oh9 <~¶ aFK@قPV : Xk(X_eb9TpI-+BΞN,ZJ=aw3BuJgK$t E4)y>YܗNʁ`ǐ(e_Y4pM/m { c 1ZhÔSͰN* MY7i:h˦ϧwd^$[}}xi U=U>(exAѝ]!GLgzLյ/daBj-}fo̱pڹ!=5zM 䯸x\ ~@L$rKu۞c{Lݑ|*òQZM?xKib^OΏ}7PPVB 4%I_t;QxIRÞiFs% ˳f\/4Xo$$ѽC+z} .1ѵ)3G\>߯5_!RwNTMY KH#&ܬhfl5ڝ;p[>ꣽ$U#&zp'SCj`2'stK-TNj.SmYDV73[ 8) =.SWh_A-:@ VRd.;ATCۈa]5nrWB^v·XN_!HcyD=™`C& \iϸ^ }Q:*Q8/+rH3;saδ斿_Vz?]T6!f"3sKK3V_d#|d.0pxbQt@?gq^Xanf~mH /{goHIݎemwiA'x8fݍ W]6W,[{,ށV,jx_`}^K%Wu&,ͬiW}׸Z _&\1eRN\h!9~G}Mai]!c͊/ pVKVJ!ỎE9*ϱDXUimiPf5$f's8.,m oyIԐLq|S!/L?6 m@kj2̂&z3GH@DBݯH?DO <&jNdlR/?|xX0`bĦ67 = lQpc vpdqvB]<‰x`r?'jz·gtʁJ-}$\ءVrCKFƒ5_Q>ȿoY9}ILzw"=#S0X FqRF |?ꯣac+H\&c"R>7)3VNTA,UKPwxщ#E]3d*Tc0f'&+P\ur&P'k-3Ƕ. .k:BSflI+\nAUGýZU"yh2.@.ͷm7KMg|):4ʮM[/:,*ģZm]SOI>g{Tg@.CZ8e$F6M!gNږș†O΁ Ֆ/DJgH>mj>+]9.!G^=;:9N?P\VS~? tj< rσ$h0ZA ś]UĔ?{쟋}-N `N#$AW-68'v5Y+yl}_x40c 󈬗ىvzL2Zn3c&۔pZ&JJ(fB0=(昍qbkSWd XbJ;L 2M B dwҥeǃYVɍa?mg#DM/sR>^!x|VrhfR‡°z@+ʽI#gL8j._k@{ !@R$>tJY-mWĻXHzSڰY{9rrQLuOۍ`MYC0 x'1)W7|,wo₢Ȭm.o(uO7xWUv+>̍+N/ZDsnݵfdy&H ԫ:#Ah7t6~I'%ME ה/Yۣn~?jNˢe?7_2w̏cl^q#)]]MgqYWJ+_2\8,daN la2b$ҷ&3ejW&ȼu32LM{NT|%=M`O("FGR/+ݨH˝##87mEʶN B GJ q{NpK6KToTqCK2m:luwH^RĜ)&v"~g?lH3t/Iac8civ4(gqEzwn;C|lm*= *E%m@zлUV[^1fWaBeV$[整Ye/qDlFyH)MxJ <m;jVzI+}.Y$ f Ar;Q{1zQy}9,6v 0|-- 㘭0bˌIbSg!9Y|r/$8b[%8>`%&vRvg/uA:$sAg3 rSDFY=~ $ҙOBR7l+huwW,T1w6?4kFvlQdL:7 ssa5!<ŤrwLws;