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  %L|l ]/]HOL-Analysis:threads=6elapsed=352.427cpu=1824.568gc=116.676factor=5.187zXZִF! $gX`]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? Z{c禲Nq48Oߣ0l q wy<$=euIv./1NnYw` [MD%q*gߜieSyo"faF(QyOz}78s`zxΙXK{P~9E%PhbRތܶ8RGQr$fl{% x5Qt-a4#I6UZXV{;M$hI)ϐ[X-%2';0fӖ2߯r-aS0pxwΈ8`/7jK $k?ͺH xe7?S*}Y0 Rj^[zu DԍVCS8ån|Bou!wh4z S{0_#+jT9I]K({ 0yX74V&0Dgk}2'A1QѰ΍ث\]jW;l!›sAMHyʴA:<iq0l(WdQnp%2k`: /x,$O6QBmtp9&QY(&mN$FwP|1G@I a/U[K TIDaУGȩtb 9AW?iO}^ʪY`USOo4KwtAXg_wԗ]߽ O;C> fW`4Q[ R@/C 4lCwM*ڢ9&M>KU~fFJ7duݡ ђC|.S!9sWpkg&dHKXՊ*c%X,%Iy>T&z#79_7&wK "QF3#"YR;oس_o]+ACk-t&EJ_X梟:jʍҦI9gynxVTqcSq6`ŽC~4x ;w.yX;QV */.`yRe މaבQ5^Q&U"wZn#U0ruSB]SED6L[|D-BI3bNC"p]/ D."8_jdaɾ5zSAgŚlV#͛˪XSFO"o4`,qhQz(iOUF2-+t+  (Lˣ̚Y߭Z1-u cr=|e*x2lteu I})=`oxY$}9>$j8`8eL].ϟ|\}w${n%'lPJ[PEcovSDfn"DqIBoru[^_w=jmr2H܆> ga!gI&xc6FBѩ_9[^3BWBMODAzsȥnm #⌸^˯z {,K6JOWCJ\~' ,pǜ(h=]LaS'F++jo`v![ofWfDsv  l0xԵag*4ϞE{ܦ3T"Jp3EyIOռah5 ?a5ʬO4{`ͷ'mӡi wjȂ ߘ @SM'ܗ_,`'G/ɽ>4A2(3qjQ2wș: ~5{,iD ;xyX^1B<5'9ґxmv*.CƟomA2I_ƒC~׌07"d/t.gDzk# &;{t`uCQ.GoXM=HZuۅv\21Q:K<MɥRomc^ Ρxޢdu'^[!Z%Drkvl4]Cc u Ͳߎo"S<:;k#/yEBJ,Aȧg aDsԅwʻBJA +9\%Q7#rrsB" d0q{nr>IG+Ĝ8YD)6ѤC0~VFdl^u2~YaHffb)hJKJRLN K|4V\@#dG:MH|n;>c]XhzM )F1)%Ii똿~[Y+C݈Zd8+ fH{wJI4l^x}XjydZpsV[-C 8. ^[zQ>9nwjQ>aPn*VGM*+i G,jPT(EnK9jjCj^G:}'REd뗥\4P3Snk)#_?n^+S{pcٝ\"\S).Pnj# {) c_OcMOϵ&S1 N+bXQmgQ%D{{.EWa.+U%l2yL# f@Oz^aW[JukFHnm/Tu9TD;BIkgxmyT~[Cfl4Z0XB"Bbd6SoTt&diaa@)YS ؠ^0`H:Gҍ%\ckh`ƃ/!z%s7yi0 Ѫݧφ)oƿN~`&fI)lbd>vhc@ӳ/ *Bn((ؗWmø>Ym'"wC^ % HOL-Analysis  b+ֽ*.+Z_CNaM|ZPޅ__sW|MV6LpMLX0ڡ1,jn}be:'<b t2kQ ꙄjvOYޓ*7ҡ two?Iy^#IQL. Plak+07GB1la(0d5=P'՗a21Tf׵Np^%(LKjU :N@PQ5y`CXH4$S+8½""WP2E5U76ds+ rbC3P/H6׸ۅ\$,S? JM[Gq|/_hJݰ'<[71t rw%$԰aX@+EtnK\*h}{b?J1.ƈn@{DisZ7 Etjb,ٞ|pdJ$Zdzs^.%{zr!+kzpoډ~ DW a"4U<"}4ZEQ9 ύ\=̈^GGט gA[+VJ'֭GOȆi\Vo[DwOzXgڇcwFl hu5UK^61 ifT@IKP<7 ӹhTy~ّkʘ%?t]ITQmys#soqˌZMwkk7Zb|BEЕXs"?A:o>bE<FgwUԀCб2ZtHljzī'ehDša`㻾råi'gg dZ ‹B긜߁2&Wuc Z)[)K{ *:uBĨ{^i\be#Ƹ5sE\RȏXC/^:MH?)J< ^V|L콺aZ޲An⤤"R)&: tP1}iQHvX¯j .|O{t6^Iդ >' ]ԟAd`6@H>N;JILB9y|8tcO e/$@lx1_a$<|“}L_Q[JP4?\B5m':U;T]Ԍk[ƪYJB)%>AI#~jgջh7 ܜCΟ IGNF)<4'恂*$(0ea8o]~bk5`WQc}GD6.HC>̈,}S]>2cZ?Y4!{Hs0\珎wFj tC)ҿ4( Q,.̫dDuuu *;>e E;xtM"=pKXm[ƿQJBY- T;T%$REm=3 7rБS{ C J5@м'F9 "7r%#Ԅ(/PmaT$g2'b؆-|1¼ PlӒKy %܄%mV}6]W{ 8xw7oR׭l3t&dnV"6/%'nN,=<Jh_JҬB4lTC h^ Ss\8bVc1_k0vashů.W@#I!@ع߸KAI!9^jzk>`', 6^7 cqŁ*HJa;>Ob(=uR5b4H_P~mJ4+` ܈hA3/ӜQ.8AW3id0O{`xVEk ?WK\|\"!:V[gR#WNM|']Ps8meAàv>?`iw*srCv<_U8;V, ~Mܓӊ=pi`E(BBwJ-nX4C|`LSuHRV̹tsxIc巻hzWJUcViZW3n hE_W6'G\ᠯdvʯf/Ӱ᯲ NS\8 !D׊a(2x\Ĩ#ƍZ#V }}ADt- ?HkLNbP {U2'nΟVu\|ugjepUpK zɠn% BHXO40Qe!8#[mR,y1<_x:{nLls; OiFYή,Fh$knYϢc Շۡ) DDv܏LC[f, }u8(_(HCV"P21q}ecw*QdXu٢ٷͮZ̴g> Nn?DM:z w9?.&v $5 £VS F/!}%566w:xS*JVugStEY)A/wLP*DԆֈ,/SyZT:&s\1>q\v]buH;fS,+rIG 3VG}B$СU s\-T;%| CǛ]gO0t[CEs Hu9;$!@8`!DRso-ִ+tHvpdc&oya J VvYvܪt5~rPNȵu.3yh=HCgxX L&VBrJC zl >5v֭k=f׾6:DM$o 6{~rvK?dyιwcat_pfd: ":)r$)t9pQi>3ҍ$~i$(iRڅ0"\g2xX=VU oq8z?[;% nT9r}a$*{^fҙ>~Qe4F'XۈuHx[]w&Hu C|wFC*S+dUkidb;;NH^ WW6ܚS޷xx̂,Ÿ]١gK:6H5AH9ۑhs7Se{%7OP:.VP7NBAZ~EI>r]R lLVT>/|aw-z& BpPc0%4L.JpYƜkfYs{*EﺚG<%@r a6|T=05N=1)K0IG(&["EaomuNIKVOT*ŅzSR#J=qG3O4bc C'#cSt#1ˈW41lfFzJ~-a4hVDayytBSwq?KCJ^j9ћf_SZѡVz7цnv)̜zP@]-p$8;դ|r`;!93ʲ*a~*-DT5pǗ=f\H+6bkjǺ+xB3-L.h5G#W $ lX6[Syj˃Y[~{ cLe=y\F#*hM\GRzFZ.m/km)O'\q>y|6MÒ]Q|2F5ve*hZpqo T _ !HXRܨHwUPuL&*/]]"xi/ kY~q,:6Jz;d'W@G:R!.#s_$JsͶkyBQGD8NěKwQ* E6i]=h;" aRø,O+!Aʻ_"*T5?pjO#nBU38Nlu:8gVa<ݴ<+6% A q.ĸ7:ҶQ<ۆm@5m~\$u MȻ H7Tp\bTsm_@F QT (Te9J:)¡Drڷn>YUۆ1x>'ffqW,'iQl%GRlEnw+~3C^}>X,E)yqC JG1EgQP ({>q+-ҚSƳ!3; EFCv {`Q/tbz0(ƃخzC'_yN26ja`޻O܌z:ZQ=vWJJ[ cRæH?M8e'N{V6xm(LiuF542xG囯*hP\G'9[R#Ew7s>L *j_8]/%\5O@Ng{ed?0* ,֞)g, rP)2cD}?m$.gG4%S ?Kƽ!"|Y(>C~AXL0LI0t4apP0P,P9`m3FWow:0 VucYEι>fmهNtm8u't]gkѕrW[M8…S 2R3c>֓(`ڡٳGb#+ ffLgCʎqv>̻D 7jJb Ƚh{1gzv< " cx)'o BW$R" oZƁ\_mzmh6zʴ?Gc#~m ٦i mdňlcgh.iGmӮƾh=VqMyn2Wn-^  ˼ue"%5@x}Ih)'Su,xլE M`Yi)n ^;5 Ko@?kB1ƌ/,C- Grks?iVbO5aJ)?0jY *ErCmL78(pia75@ӈBr!3K%װ2߆d'  +AjѦaC6d[}gs[td#{a'OD9)) eحE- zGde=8eUC -O;S:x8GMD̪[﷗դ? B :jUʫP c(l1ƪg^J "T](_"/Ȉq,q+$&{ t PàtpLd ʑ䏅8<&n4b)_ے9{Hћ'eYh/+Fi!'BL@|[<ρ1CB$$!OYJ1u_,JxtSnU:km1._ ZWA;%>X ?9҄vrYIw,}gq`)'AS>92^ I+;aP Cω\<9T!b vb1VC^/4:XFbZ(ا˲w 1SFL1+B6wE)Ż=;MN}YVB*֭Ndc/`(q.H@ZeC4i[cwJ&SB%uPPΩCT`gR";ܤN9roÏ7ok"f;r^ 0xUT(u աam[ê{/ugJN'Z%uRZITi糫S,5Ve=16c53D-<݌{YE$mb틝jDR,*P 9MUvC݄ď  3l}>"i,`d=\fT]nL7/'Nbbxdl˝e'q;=?8n"3o8=M‡Һf)l.Z!Y~hc u*qe Vx0Afs&2q^KjCw W A$ burj €a3_nE3aDFr.m{ 9=_qn)uĒp 23Y]?ryL hNOz |3.c+$r)[z7wIhyxE6oNϟ~h|E:S p|A[Tr$ioj.)|ҜZ04A}ФZGBDX ?2&ì탁mSPO~yR}䐓u= /[9GkD._۞3ئ7L_dWrS-Gw&́F}*MOM3XmrQimpjΚ5qj85LO[LЕSmfT/L-̃ LѤ}aA[;䶉&M{dv ִ]ς*ei^ e|0O>WԘ^:r퇃q/bNDeҷ@dl\q2JZL9[P zL[P?9nnq '9S(+$c-׍W +s\Ѽ@kY C(c F eg۱5Mmrx?'o@W-$NٯHO#O(BY倔tk&Az"wpe@7F݅q]uL ϭ7m3wٞ  $sk3Y|,<. Uο7;|].SY]P+=bmMC|Jףk}g˴o369R,8]_1{~y`G_ehFw]Z粂dkOm(lP' bi82! =-Ȑyx8x/FdICJe*:];:(oJgdIryM=Qt.Tf |hQB#:~GB#wKW)EWѭ`EU4?y'E4u#3D߹GxS=Kx5Ä="{Xt׾`KeI~*p@mLrWS}9cCtE9%~ا]1iĎ.sxR\- gڦ:bԿPO,ŜB:7˵c\8Svi~ūPc{ џ &ȖfnI/L߰>3ZOߘX'6 |GI H/t]J6I@ʊBh'WlΟv)ҊV|PY$}zC+M&$%W?E*֭>i\\c>sВ[\3BxlZ=k1f7r3> rCqBwA*Ƴ1ӽ K "EppE_);tŋjWԑP;Cnj҃+W;5>P|vHk&9P"szv~T,0 >0' Wh|r&PҒ%5ژ,+ Tj@D1Q|A_}/m6\mkFm}aB[r:Y}41D K&ڹԫe1=xO&:X 9ʪAq {V{Dd'ВKPq8WA#q T˾H m bbggfKDk~"w.G/U P]4ӀȇTi#d3 BEp;Be{6 F69Wݔ2e҃;\, ̗+YBB/$.Z I> $(3[UuDh7\D  wzy~ f G Z\ʖxtDnErѓm8k-y'yIv"Q_ DQ/Z5= fŃLTs]SגNom44%>bxOQSBy@ϥ ~6#]Ҁv•V#&H-&nzAYz/i2Ɇ)e7 %a!iMFh fCj=0kG >qR©` kTY$!KLCH{O6E)XHƴ#h禙rz=%[Ttsb HhY 9U(#.yV5]V}!Al垹t"2 '[i/V< PJ9. ] #ηtKIiJ)SԃqEY%XڋCc!쳉.K07)!# {煑~iՇ%Np嶦4òluE/+Ŝ ^HLO<3XY]лj /\b/vI`^F[ 8gV$&igDtLAthDH9^t-P%y~Bit/Q=g}_w3Sfq"gc/Vʲw{OwJ" Wh BGpBjv!yht<s"-l{d c;5hOt1>DS.[ȱ63@٤(Ϛ0t*Hޛgf9+j#2YI)k{Ks%,|,p_XبhR\(pJAK d^$/f-D9H Q;6 HW_$__"۟mO'ܯƿ,'-i%]dU(ltT끶dAc-t ܲC߻n"$|*׫x #+VQQ~F+]0k4Ios%EU.)RZkgT}BEzLH [=,)^Y`\8+0xo䬫7%O䔧 =M/=ؿ3ȃfMY;ōz?tǰ:ɳ<Ąk eajZ0/k+j ~`H_%Ъ)"[@'r$eobHqPD6E }5;Btn 8ZwxlgH /J97a@ T~4qJ /ShWG u@hӸfrO('h!*1~ d,`3J.W0`MJѸbNC6~o6F唢ה ʒ'|j)*kQT*\)U sIl#TのV6lC ׋~L O0Ч)B5eF=gI=eg cRהA4˽"BQ/PLy7> SsGwEvDU3԰?$Ũ *HpdkDumo$)(ż"ӉOz|" wTZ\%nOij%(E\Moe7̥wiypU ,wUpDnWbܩD Jٴ1tK[vX],byJ_pX?-b|Ds xS} f- GϕíRq'$՛'wjb>ZT7qǰ@`HH(!b05$b5,'PQ.?ܠPȾ UޣG6'$$ dÚ^(N@]ڮ;CCgʁ}?S{ض*[՟nLf)Ōb>8(}'[}"wlb.~wЛ$x>7Is  @f;ohW?U[$~ϛ^V:R{ںҰ6mdX<#:WenO 03SR6;ΌTWB'[@ܕBK-2*ZA/lLVǕ'bU a3lQ4u=76 ٲȻ+e\G7ȭ.;P )v T|7]G u3>;қ A* qUZ;4 S8CVβϰw 9\z&(&Y:&ȩ+$lO ;V AKqN sls?Y|ap#h6?Xhse|NM:{.TY>;]@q]q}_ɺQDq|$qM/[hh&#)V-?bsnfC[:gy|C]Ȟm1XQRΝICkt+ sf @^b1 UЊv&i\Ty(÷S7d^^*% :GY"[_IeSnݝUi. U:" ']#Isإy8؏ k '.z| b?[ [ :_8S]K)+mL{BZXJ WV Y2[^jcF k0mi+|XD$jvV+\A!Å;S|c^<[" ƑAR8Y2yI`͓8-uRYrձ.7OW5|p9쫋Gt7bK|'[1ɿqHV^݇#+('=Š tP-cu ts×$}On`3~ Ƚǥ@eh LB5>Ifoa a ِuїeN =c_g-L.ý+bϼ|FK rkZ\=i?*D{᏾΍$jD S]`q/uAP- W5 h VzԷT5MG(1Sva aɒŅ.T~lF{Um &o1f[NF1O:Z g>`C~\8D2#Ӛg9u>?,* zgHqpl";<_]a+$:|e+ \̈t#7{i@k+[XUM7xgq~3%Itm)T3b5|D0 SQL>'8}RVeUg'o]8F(7S >,\% xpi;.-55PD(ͯs+|}jO_sNq!S"*ڷ qrƍ;tRԶof(ٿ\BO`Іy}{+ .Ӓ?\LodE+g,ED\S&cWL-zB6 c"0Lj*/T2lbT Doq̿iad!d.]s,gWEP84~_oJ'Y5n3񛠇mux*gs],C43XLd$˖og$zIN@O[$:)՞~fHv@Zh_{Dt3֫}P9k<C[5] (Π[1@2Y X,P'/gр'ؔΥQj].cV,?hsbC(Nˍ0xB.A*OSGcQ- HaCiQ%ݮ.቎F*Z n,%6NBeJP8gYZ7zXZִF! ( 8]ŗXiɟ1˦r!cHkMeBd4?47Yk P73%ou1i#WM!B[KN+H}<+0Vǃ.|uKj&.c+t>'=w^&$; aCn˹;SR~jO}4}qC|y2̀L zniKnyD暸=$+yB|T_(6(=|qt E/Ļ .K6 ~ri9'4jD09_@;ykB ©j!$OC`B2dSH$7_DD'AAS:^q` FBDf#M;r٠K>^<$߾EAYV2RpxiXFWEi3%&m^=PL=Yc U $!~<߈@;QB\$'/Yncŀ2bQ7 ~Oӵ*%vR y"I\5̦O (;Fߐ rnA )x9EbҖt#ePNhm1#ޛ``4DoXP-]d:x#uO:z3 P|ukg0DDij2c3wOE7Ԡ9-S %@ƫYơ=d|wEw/I&O |__d^'o'jBEqoP6D)~YѭT \Mh`x@Y"&RhC ayC"f;0<YPf5ӿ| ҿ~6Bce䙗 TŌ s+;EȵٺbWŀCuPduϽ~|*wF~wԛfkQX1q!!= y >G:unkH-&`Ov+]uI>VYab&fTeq7\-dtpJDx(ॳRzCգU-qJ ׹֯u/_T޳t{dc8=.]8M6N1̋@;d}f9*yBֳVނS9PF'ϿXȫ=A*VeAN!q]@F5,+QG s|tpU}L^m)~&V#ia>2L4k:Qd WbI|" ʩޞiYz)YmIfqWK՜K$r3~ۍ8mT7myx ,[CÄWŁ[h."vwVI|yV!mX>IdLJ6u  BY䱔ئ$HqSMBkubAF,4K몍11`Cq?WFr

yrg?Υ-@7CE]L xp&g\r 1QFb{yu_ǵ/C~D}IW8{tNhmNXk S 1EChpeq巛+ijAIs>Z̐|:'4߯yqXi_E󖖡Fq?z-T@̾6 TSj`T3 H'.%L+ø!FRRG;CHokwqMoN$lԉ4/Чb] }8@hEva|3L)RM/gun|ZC5\U&G )Zk\-rװXNL"?(QKgYZ7zXZִF! ^y]ŗXi%G U[g:|uUʋ 1xXfp >;F ph](KI&C)VEtLAA K4؄Ή{h{Iio'3#gzcХz)tp}{㲁 x`U$RyYKi E8S};=X.NWN; ɲ}SJp M\s`yQqT8). >QJrϬq+'<͑AE kZQQ +TCj7*yeʤnxR&Odd䴎-C:)K*oJƴt:fqvɓDđ|ѥ# ִ~I-V~PNQ`fZXT[a~&@ˆܹXvs\G#rU&;lK pkZk(KNLǭq'v_3K2`)uD~5uZݻqVeݵ/41f\ jd`Қ 2 dl^63$tǛ6|ҥ -ԿvHr _t7|Rt~*(;~HKJSsxgD&ߪү*5I aIC2=U_F+;Z덡Y0K_:=G_+2qU$Hګi:\v@bkRIP,'Ho\# Vj3=2}r6p;ѶuCe՜y*;Ʈ<~ r] }ܲ 7("K3JkR {L߻'v; .~U޽q88K0ވ^;ݨJ )P-; cr \@`7-gvn R1Y:i`>>ڤPf3bJjs$Omd͚h9FQkZa'l' 1R_y-jY2qbgK@ U -Z`ZFέu߽'j(asg >Mj``qu| ;0?S">*Yps#G4"톄yM(|u$LXIД`0ɜp|_}Q0d QP*q|Ͷ)0ƛϞxވߓ*Xfk=*L8V?1%7dr+l=JՕӳEo1~Q\ Ucò+2H %Ϡ@-/ sj@A 5` ,ݤB4f.d=/31XH\EX,J9 Ka3#˚(.bH$tR|؉u# ɕ[d1gJ4lXAGPݛM1++ _)`pbnHHN^Q`o!D̛Т:}66'AHQ$OC "$qe;t[y6J4K)=f Vis2ː[E5Ɲ ZB$ !\VRU UF_it\NלK+Βv.{d:f^|QMh%Qt5"tn>hh]m4'TԹ ѩ);I셤 =IC=ClK6{׵1qzIPCZF7p J\b 7峵 t_|#DX#%zd UĈml%IlGƷK,K+VW3<p8+xJ0突 d&/^2NsF~P/ƒGvLl?v]ys<"TlkJ>5WwGX%j:1T=oDZmC 8N7i/>8:1`1Uv,j~Li" 7aAFj <17չJ ^HK dQ[\\PU(UuVxr!d?y@/`pgB\,z_ ;g@nD9(r'It; M2zŠ e6* N8&lqO`vEՉn7h@;!' Y2}~[593x/Eoltva$nj%9h(Jy# [@9M~ٗPW&oL' Uͅog?b zO"3-UQ"+}'rdcE=b<`."PEA8Рvȭ,7=2路Z9QȐbk?ni#Eu ~5? seNѲ|NF3DU9V/} `y$S'h9ǂ_UO$nfY :!Y5٤|s/xGK֣ iذFsc9;)tXu540XW6tv26'D+(p6}j"=NgA0k.PgpAiu4ZSQfwB;NY4jvd8*LgS|Q\/-'pA)ySIIn~97hl =B{ZÚݥB cLZ&sQkMoi[0^wz/ooWU@a= q VCS`KVae9nȹ/ sdv}ut6`!9y[ eQ*滶b̺1-}oWQ^Zt0oۧh2r+ 1:1z* Z◙M7)_ Coߜ~1d1>AC3 tye3onC^&K'󋰶}bIvI|CYvjʠ:¹0Oe 9pzЧj_xD:2m)tIq%S h]@P"@ffr?D{AX'J%Ett(IO<?I^"܈^OR@DG/B4i6E5+C@۷U R{W/+/_lVK-,+mܻncJ@"üSR *Es {F+PF>Z!үd B CZ=-W2R ݉W(q.`D* 9 2RsK`zk`S )).}u0J88n@lc 6wj4;F4%%j~j2Ɍ,a F#䱛$>T6^6Ą?/lpTaBMӵY2#5ߺ&ZycpʕFq~;wկƦY@/`ʇiq D3PI" k֔[bWpI%"1&^0+0 *M'v^>Rh#k9:,]q.\QC^rNړaQwzjht9R収K J^2v /D. 57ı30މ1b5UTCN9d+{bH9g89)oZ|K譕SpW1]6Ck&Wn-\3nqPlEIAڮKe4 /.T\s!tD)#>QjijjD89)n%{6?KjEp{heˇ0>g 8UЊ-gM]C.aw@W(K7@G2{v .ZyG@++w8Я: ˾ ckRx^OM[֮DG! gPt^0@$wYԒP(N)J0>[O;~lǔÂ萁Hφ[3 zDc?r7FGir!#k@0k%JzuP|h8hGEo񙾅[o5nxؓSGr^ON'4UmޒN65WգX|Qݻ+ v,Zw EHWݢ$V><րQ˴LZȚ2'\ _oa wʰFx*z`Ѽ Dl4qtg#vk83™C:mT^4U-ư6_ AhttE}+q?Ͼ'Z&2R[.LָƤJT!=1W_A;V*h41EYE@-1cBQJKxͫfFnR++DV 9@55 vOR:%!I'8 7fo1x:]^_ryǃx[j+9Jqp+G!Y/{CxB. i-Tb}L}U2G3>-TW5|׸\-F i1%luWR1N!QM!1H&Ɩ3^XE`E,,V|1tz#f"wr7 x1ny~k=7n IM*0:VxS143fM1h{\~^q}7%cCHJ`Op x,q"FjܼC@rn wUI F  qF%K=/:BN҉Zy'D\ tJ"&DxJ:Haxf.MЁAƗxE (eUyњSHćHcO@nɉuI RIg 3JTx ֨tDMs);t<3<* I\槔9( 7}-ttv1,69Cú5D6M4 *_Kbm:Lxn+~jEGOy D.:U xT8S:Jx"vsLûa\0M}pG2{Jc)0vc_!-P*[6wgz%:sS}Wx]㺙^ϐsCADoJo!iMEF0FK/ό3]U!QI45wTeT iԈ@ӢriѬ27ָqQ8hDTVt(%o#Oqh[)O+U /_{qbEl5'V) k[+}6 1AXEKoJخUY%{b`]йȒPؾQ `5 in/ov0Y5JTݡ ]ʹўIA<c%O/)؊(z8e9@JA{m,[Y>~7IcJ 7@ laܳv}D:`d_f},grxFjv_<D ?ge#oƆV_s4pu}<:j[+o^uxn|sIzaԚb=RDf+rjkGڽd%0kw=XAaPS&w\htfxDb߻?W ycZt9hk2bb5~!"{[e؋ < ᳥ľ+u5"V=VtaKm|qpY |00sZ~?.D(ᨴ/bM6GN t!Q}b^?cJY-=q;BB5yX*ȶXj(qN`^iZܞTiP`O]gB}./wuTZVR2N27'9xmerd^(孈э jV>Gf8E%In JmȨ Nٺ7ܓܹe_/hl驥(I04ӎ؊dQW8p0o=#@uaKɝscQ?Bkd*>a7L7ak-DKj=^ Dg5zFt#%:Ʈ&:j5]&s`ZLn϶r)=Hgz;[%Iޛν}R-.:mOA#u恵P';g_dm:C^EY[DcR9b( pO[D݂Gx/m,h%$\hYoRNt4"51槷[Ԓ1kyd] :A|%BZ(9v;&PDګq!װLfVpz@^z ݻ/S3r\εie¤5r%*JV\pCjN))[ a]݄pPr'),UIX? `Ů]=o.z 3Qs''/{d zv3cas JO{c7W680&h(<&4M ~?Tm'7"m uOLӄZ$¿xЬ_IJЂ!E6>A%iDj\A1K%}w %H&^V?q+sZT^٨;MoQa|u-4 1W, IU8?)ɇp 1:K/"oo"@ub&KE[lKl~Hjj盋BQJ)USCPu)FA\(*0:卬7E3mȜG)92:qzJ`ru zud=DWHfZFW,Z?آ$p{^Y,.z!`7dtƮ|a3ƔMynE^?~;b7ouխ͝Ƀ1cϮ %ܐCvV;}(wjduq#PT;j|Ap 6zɗ B͐WŎZS:>!6}e=o@O2#GDxh^zW}M9>q]i߼'h(\쉎2 wMΫ.硄y@n>e59j+JkZn?ojs``|1eZwG?P1r Rj\=Ч9g:$ݙ~V@V0e+G-܁^L`DW[U^_1v!"G#mFQa8|xWg ޢ(4.2l*gd͎JwmIp̣(NG жl_$Bt7s_O6Y>ԼNt|as bkc%PHrПE KU«};}伹:;wg[D!DD/u !|) Q2b` +:'二:I֤jޔxޅp^K;};߹tnCK-ŋGkWwл*mK3j 8D"4y) F:G潾-ZICM eXě% 2ޮ+ɕYFzҠ]x94&Q,p>Q-yg-D`wcQy,,/ Vu/"܉Dh5er]%Eb/m{(@eGu5$Ft>c*c (ApٝF_unS h~0CJ+.L|=ԗߐ`Cgi;mRŵqCYqW0aC٨{>"­]f`b^D t^gOۭzoMށԮZYgsWU_,^eb/ѽ:i:- ޾w= PHD˼*zCU轺]qRfO\-]{C ^Ėڈ+{xITI29 sh3]Uך9غ"P˜;Y2m}9iJcwA^0'M-Q@$ kB3)2Ԥkt3ot滛/^2cЪdݱR-] RK"tM1?Q}-x՞7Me+>[qQV: _^:YvdNbrbm14Ւ_tֹA-!fSX%=ԡ(bW@ m>~ `8$l*K]LABDzq ~`!Hm`N+FH.rzoX2;qNbŁXKlw~- wj1RGُcbʙFP1x:y$Ʌ/-S ħi^z 8n[|*=n ek>S؉ڣdL9:V(A9\u U]^yaF`]]wsߪЭ"GI+&9i^ތӈm2#t<^>鷐AyX{gm"T᪶vg3A78 ~&.N43VքN8e{+uS3r=.q[<˂Ew[~db/('zx$DG3E#7N>0a7ZLrƑ.!Fw@aJ]p\ך_(1EYqLʛL5L}47QdldoxsQ"yh LO❱| ]Ά* VYLzMfF}~n~~rֶmxPZᅩpv{\3hEĿ6=,5Va(̖uҕ}MaϣD0<UiƶAyI!L {/^ϏIS*Ek3M(wfM6ojV+(Hh +M+e? 2A8*!ƥ% 4Gqc y.k(Щ1(Փova9BB~5N8Js/zHCǥzlg72>b9uO"-MVP=;2ͧ&{GQQ-H]P5}Q-c(XLPM(N!Y/a7ÚG=L췎9mf5n^z9$=}s֋ŏ@Cs)ئ?HR)y3ru!1~&߸r%2TS_ 0eIQ7ã} y:kq]lOOZ.w7x<;?yXPm/%8y X%=?lTUKȿ['+V`_f.bg.H(h*GH1ss%kGv*?-h?[,\S|WWp"j \NDvklEסEyP,f <2~siف[H஄*츄];*ZwY:JݡF &=$$6xg]f e"PjAuNv"mh՟)durbƋh;ՎzfH 12ӦB(1k1D.1BzA! //| GmrǸbpO%Aɧ0ɖ:I3vS2+nt `i7FYI|3a@T?xv,2$_zmײsLtpC%ǕvٛzFb%G' ]YK48zWTW@cc>l{=B}yxIb-F`@)w{9 +B_[(? }P ?cd(*;RM#Ҥ] 6tOfrҴbEZqlc<E%.(k V~ .XFq0Z=6kw o`LC} jPhbգݙ\~NC7tٹ*N~5$pCכ&PŒYM(E^nikqd'بTD40e|9|rjHs9u G'R"M.C?\><><(=@303LFMfgŤ)+4OGptbq%>ٍJ v9WQϨƻ`זìa䫐PSi hgR<0C5Y5wx-Z)s4ЏB]&s9H$>e eڌ  71tΧXV~zCdNTm0shXC |ǘ {75M4 )xEdS#yч{p&tAI_0G\rc.ED!ø[ 1% $ #~ڞ@)L}b5?v͘AXhÁb9lfT_xh)ඛAp$D][Vm N,4)fͳ 0JR@VGk J׬aP `z\eqPGle>Rh ?%UЖ.قZS]F\K N>AL!6 Z vnPy^.Cgp}hPzxrsmpWxd0nFU!ɾ".dopܽS>?LsRgs[h3sťˠ#vGEM%yUpU?-x,$.b@QOBE/d)@bwj0k(^4zP׆p WE9 ۜ΢!>eJ2T>a:UMAWںi@ >-bh \CMZ˅ d? ={V:-ͬUS+j"dIelskY@1gMLE+$,]a("c.,%L2*haPюN:ͅeW8<41f ;ݼ$oծ}'6씗SxH* gEK\gۙoVjFʎqχq o 6k Q'tٗ!Y}Z6:C^2{ǐt0(YL^Y 2@hVs% 3z2&\mتgx d@.pbuQ'׶#'C}-JUT6P4되cːّuJ$+SL-Zး/WB!34(MQLOnho-ǃV:~]ST\lq.:Į[<P‷G_̧'PDđ|>G[`I7Ս6OH?D ,YD}ūts3=\[<=թ: JÆy8DPkI-S"_#ɣ>=gZ}B( .Wn(z,||נ^ ed90y0O!Lq)1 Ykit]&%cBwUzw)};/yGfK*W0."m޽oДc3~Dq󰍴]{~F|jxi  MB(cӷEA8@&rF0ڤ /*/0'qU0ejm \7 c"Rv3o9iz \9FQ-n fĞߵ .˱P6G$Kj9@Oc]5( [m.rs0X#\ aZ`!'MXHoIb7N0vJ>oozM0\v[7ƹ? wR̯ЗibqŽֱ.i-Z(3̭ :Խ0y ĜVf#s:5*c[$u4ghq i>Z:ARH %h&ڗ)Q 3)i ?~ݘcg9p R$mO)B0d(MqeFbFϻ '5zu԰igr^Q (1.z0I|q~/0X߉4X`t}n߯;>jeYnN5a_0 H9Cc(Tktu`!qUJE' c:L 1Ժ朗e8 ?7%z``Q11secޥrr쇛Ƞ`B*0TBhaLEV6|*\JխpU\tV)=%GqcCs@x6j'OGĹ$;I-ّ M}ܱ y>[ YTbnr뵸5ލHcPd=i"G&ݑa[A DP~ʭASQ2HU$u,Z?fJ&C쬁!"}Y<'>S\2ψi7+;.jo, Zeuqn&8i6zءՃゆ/_<2Ֆq="yqg#Cf-Ŵ7XR5Fꀮkfxqr68ޑ Pj4TP_GZձyPóQ?4+Ю )Up q0 7[ej؄)xڴmCbŖ2R3HVv螺ܩ}Vm9_!S3"Pb]>ԗ_å QzWg TIk^6^B%Np5a[)q;Hؚ5'i{}SzOV =!Qsy*HtO-A dgzņAw95 ǚFCc/.[1䲂hj[ ruHْDO 7UX&'zu&׀刳ا{,rrÝ(H&-HvH=VݨW̘a'f(+*,\6Xc ?E"ɐyϑdacuen2p~0)qt 2WDVwr,v|FwړLg Svͦ s@~hvN @q¸Hi䖰6%sN$L "Ph$OX"IcP%^;y4u|X͂xpzE~ޠ6qq.ovjL3zo7w a/^y!FXc4T3;"Fs/ŵQ)GG_5t_&(#\- ӁƑi pвn4ؚ65W=@, }&7 ul<7pv)K&^zJ6ҧl?u*) UbP)}{00:2$kR _Q cΝ5mpEƕ|߁4~hX]9x'S =s/ /5o,Lt=c`µ_ Ӹ9=\ Xpf FeEoyJ^r z 7,Gјj9|?.EYM“JDj|iN0Iv&ʺf;Kl?|Ze>fa χ, fLKXN@Qu[T.&9OmG{@m+O|tĵ{S15 Qj|ϭ{6iX6-3 S,BR^3R|tkd7=1u,IktkN šgA.S{e6\ʃm}G>WbD_cĜ[%% 7D=ut,4=wU^#Ճ&2ezBGZ@#fTy*aXet (dz8!XkMh}KfZ}zȌ 'vY=0=QzDJvpwℋތ34@'QL\r%*U1$t}ȻLXI !a?DojG7OjeO;1؂V@+gVDRK$L{3@~ݯſ՟ٯuZQ75BíͳqDg#K6#fJ b vZ2j2+2fhs 5a* HܹpsD8FGc x 8IMWZe++%_ǣ6YK 22!FKW ~:{ xtDSgr;p)!~T҈Su@K\D~UlG^~{W=#]3>9}x|Vf:D+U~w?yvu߅έmXGW\nKyD8gҫυKa\@,dfs**hCLW^˾w,OWœoHH=?cjENCv~9Mxڱa.h7+Qw<Vyȍ0ܕC24 ֿɂeQ*t&BI UkSԏaەR,J#:u+Ysow`T}면~w϶0*sEm:|]^Fu3B?546Ga#@cGmYH L+ T>d]VG#óT,6؉J+Y3b|d=&_$ζE$5xr9R kW[۲at\ P׺R@ZG9}K{pzԎm60T6 mB#VM| mR,+$L> 3p> k0!`:hDŽHkȍLH&!6TUhnֻ|/f1ֈ{Bv^NTe-i!XAFoIA)8M~Px"W^B&Ij\c630q /\X, 6J=TP `-ҒEϹ䇁qvA.^UQھ]pxE3t4NxZdv}ψLLfP@6$䤲aRȰ#C 0|Rj~\-Ubl@qC~b~éF-Nb/N$ }v85h9ya&{'8Z,GW ѝ-F곖r ڑUXˊmA`N$jaie6v VLDe^ z(]kBƓ> } ! +=%f{[ +)7r(:.g>ʔ_Ƅ|Y@d j-lDղD0"<*ęn[NkYuKl c%T9/nV O$ kU՜]C; ۈXW} @Ԏ 1nXͯ*Y 8A2(g"Pۭ;% L;0;)8›DE+g1u /kY.a=bM Ж$Qfڿ8$8% :QYB i)iSBzD"O` 5h!)lad*F;DD:Lo1xpu ٭ęg79=|iwmq^*m50S^|6V,: qZ籠O䇔+*ur((F倸Rnt`PA;d[8P6\_J,L^^kFI kNNҴvs o? OC/pېx;blm$W[Y?8PlwC+.JhQFؓ|{0V|0F;[<'{]w4cV^cZ4󸐪;g%`) \y֎GT3 4ckH^`H,ل&IBs~ dJV%ǵTG1SVqA +y<+EH>iMFnFDEGE^d4#th(ې5*38Z2o4lI7Nc1CdOA3WgB)櫀H@i !R*?><Յ*?š}Mr: @ڤpHB+ۏ@KF?/B^8 ezvWS,F(2Pb%j0fSZ6Wy>ޙ;3B!}L-̡\Z3WHɫR҅4 A>cE&@4{1r0zU#နMKk}lGì'q=pWy}]@3)0ӟE>?qy9H<)1;.@+3GvAG_t=!RF,K0T--Tߡyieq gy{UaUIN"Ln2il)>LPG#Sr-ܢNSȦ}Z5lFL:d#o:?=i%u5?{Ѫim\Ա(Fk}8sRʒTrgBT ]fñj)lseMl4)S/8™(C`<&+%;g.蚢bGH0 ?@bD6ڞMX K("tlz+՟U쮥i\أUU7D0[ %^q P}pW+qz~;Bnť 6Zse[7W(e`m;r0Ce9a}^4:9p }y3c]ۘ(9,N؊YTM?'kQngHIX9ynjw~$zG^\T!Dd{ےn&PKz Q[9~KBSE,"A‘8ڰ¿I~ޞ0}w56ĪXa9x<\zpbzMv :.@5;b)[u8S%VhtnM´5KtoIR8`@Vޓ BW`5Um?rs/EEP/,MPL,y΍zpϣb CT\I=l2vGh%=C|GIIXkfo 7{ Q_]2hNjn<^$2 ,XMߧ}<`vPYg=mO,mjev0ydj)4*"e˝MQ 5J53q5OΞU9/x:IkGS?<ʉVu|EhʪD6:|?]6=(2BsfZ\"iLKܲºUʇ( h?AUb`w&9[z?i?Y8: kK2} j6P IgWS-ʹs[lg`]V7@_TNڬP{ܾqnԞ{KLX AP:"' 1 ;+z{QpxJeLr}\hbnx/K x~pE&7]Enky]V>7)S. wO;ΕI2/$P豅B:vxfFuOߛڤziQ'"ȑ.(hatdqhFsf0̷?$rJgjGh *CĒm@wI<(DJ"V nt@эe&Еl-Z#R^ DAC.I"4[`kWVU) 9탽1EqZ!@XC8M'/.6RZ(/n qBJ' _n$sZ8IO<9 JU˸̤6lǒtZLeyUꗴGiN̟$Y,h&>o&hgC pdPom)Tdq>^U#<'Ris* 8sAbJPJAhNTɮ,P?,;"аZ$TShJ x ~[" '!#~)h_J ZA'}Sή&&[UӒىOl3P(SѯREZdSxƱO s6phpUGFR]{*D^d:r:^c!G|Jd FbK6L].K\A /w/+cU)s5M"bF)L1ffU.B;c#sBf[L͹4DҬeN T~ܡѻ1e}Z;4&+Nc,'pez/FZzsT{O<|"Q˦=p1dcܗxX1#s}q탢g2o@]X3h%E?o,W3S0vp1呞ɢZk(挪%o&+52!Y{ щ(F=āPX(`e1bx/8Τ9毷(Tx`?TNcXЗ±:qt7"$0nD嗟ˁABJTL,\@Ug)MY* ZiȈ5p=%rCL_:ar\4_ʥx;o/~theQ?^XM`Zu*{^Z\Ns#l:ܖTJ>0tUyٝ9 ؋X/w0 YnÃcllWD京f 0ٳ *(<87:t3݌`woJGExwLٸ[RH0 imT FP^·dAWWZ8h$x6E`$g$4gFwHu@02yys,g=Iパ[c_k/J pi)Mm>-#8BLnTU";߯-MnwحzFBFe X8lǶd~"Ea"K=xޘ4 PXu^aޅXr1+EoXQx UB(:|> \'hlDӪN:|"4|Pׂ|h ـ\ % Eڰ u,U?-³&?˰7Id((-)A𽤸;`}k4w;[G++M&o@u|q*Q"-6rD-]qV.4so1+{^t:>٢6-mZ1jK% c%0e_JN ђv9}B 7RVo.l$5Bkf_yV} !-&wO8 i3c}0 !t Ghv^ćw){/#2q- mv#1BHB874Qa+Za]<J2){9އHn ?xC鍋vϔg'M9u:kV$F4[4 :'ӄ'=.?|ڈ@r&3j'V{eˊY$ =2H*yEmpσitҌ _;V*8O |A4<o:~T| Gx8纑J]_F=P- F#Nyϝq8̼򛅟!\h"%R` '{2Yz~`>uj %ߣn';ͅ^NkpVk@u< y*CshѾ fAFpz0 36Q={R\b꿎yD2L,O|j7St*\Ʃ r&I"abkI3gMD)r3# k.5:^>~oduS=<E15_br7:"=Bԭtq$aF0W lܾޣCkj5x ZZ$3fp-L4r:)8p$_# P@&k638A`M^ŭJEI¬HZF-ȱ c*?ݖ o Zƅ\PraGe XRNv7v!|1^AhSOi/oIw`)hh?)o]nW=<^ܪf0 5_FԠT]v(hlɨ_,EԺ~1}]_Z]BW['\ɫ~a=Ixby@q'j⋛CMkB~ߚEnHvsՂX_.5{jvGaq Ǒ1gHOXݼMϵz51=?P˘G$}γ|$M]wfA]-k6Vٽق[Y%(c/AVڐPހ w`6^;mFdRjhZSAݠ oj؋ IWV6NA,U;+j~gKF9_ b.ȭVl\0!R5u?cqY,Ю `UI@ryOn.a\F du^EV3Bc,! ~hz@_fftםJ~9M->bS;߼{?m@kr͂cZ*k=2=VŘ}\j&xZgAJ9P'1 $5`>)K9thĬWYpi K~ \y1w}KgBh*b% }Z p(cWݠAɫH;QBY5U29Q g'4!5d}%a5_@e8l#e0B(fOȋ?}$iQr dIWVwc1hbɤwAe'\He +`K,Uq`\\t-]c;=cGrc3Wp$WΗn?hB%${K& N2 Ϝ7kɢ ߓU$0\7_ჰD*[WW&YSza&򯕰]οd[sTҎHG&hFz/x!y3g[DyZsqZozb#\YwGnpTSȡb8##HW@ 0qwI%' |n/|/FW5D\=h'=]틳%T6&y[lQѲh%U4Lc1vL<z8#v[B7t&Hڒ<A!āE;u+$ЃǤ ]RrJK4