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 w , ]S Lp:threads=4elapsed=27.312cpu=90.448gc=1.320factor=3.317zXZִF! @]ŗXiɟH)0%ofKnSnyN?) ߙ`|1^+r0r70nQ|' F(w}8C6# S'UOJ.Bu0%Y?lkeS~+LǑUp!%8`c"_Ằ\4FBXq" ~jDR1 sQ/8i6 7 Z@[RFјy+F\Ԓ0_K@u{r'LRla{_qnнhdeo:M^p֓+CQ.;hvtƋbٽv[  tM(/J{LIBbF?Zԯ cg/'[˔sS?ۢ)"؆FE QX< m'. Ȋsu0 XbyKSui'~0mbxR}ܥ}災ǷUbb[.tuѩ+*0>AwY(TZV2zJ\/? , K=v^%s ~%c%oe^jrrdڊI2ĔIXRCV ϿXJ(wHFX5CTBI4GOROC)H{* Yk`;'`g<FmT= Q49=MTrf>.k1X)ّ Aq\ oΙviʬ|&ccLGI8 ߢ/xx'`[8bdt>=%J#m׀ev;ң`H$"Q1ܯR{[3S<`|)|&D5 }g5bdAaHç}2Koy!} ,L B2E |\dYӥuOe֐zfvf7X]3~ۡ9?N*1UGA0󆕪_xVD~:OS 5Qޮ%=uÌ`^LOMh:vK!qFvt bIzLC{ $td;/i~$)12y %~Qd쥯[?ɂʎ>C<Db N%=^&NObZ*0MɪeH*__Wy/'7aouo|60r,_;FyWtcWk]x8*_#y/kT#GY.Jg&UCת~HmBK}˲Rcx@bt+T&Ԁ0>lV#2 f ]SCR8nKf(F:4Mi.Jj| Vajnxl?n6{5dե,qnɔnV[)DR&i=Dc[ķl(ŋ"X7#^b[qkk^1yd1RPvj4E Ƀ{pdܙ5#`3xfRMl?IkU:қ4se7ȓ^':LPnT?#_=!i2ƎvNZ]uj!G/`mb.S6f\}Kj?RH>OCpSqX 63N7x\kH 0W;5͏Uara+ ȈZ-&UTĵʤ(-Cɱi}}) 7}AgC ݸ/0^-##2 8$Ze 5Dv90}in$Ǿ`}}sO"!&,$v 93ɜZD=@8=1 Ed(2|g  fےjYIV8ZkV#V zFi4z̹a:44lSC7V"nE϶&eja[t6r26 jz%,1Eo[X@6a.?"nq$$RU(Qlv-ű8d;2Jw(u.kOi#k˃~`ޒk靐ݘfX!^ID!Uz5(@6)z9cBB_,jA.{GxLL=nT,lR5;HM$Xvl+vfAd*WVb+Hx;/|~4w/e!B60y&bmG [֌Է9Y}nGsyhҎv4'C%l;P7 fX< Og}ZT&, 9m;faY$Jӟ슚1޸h3 W{з'{ENO $7@CҙZ=CQ r8N."1c+ -tF>,G9hC0 hp519  Lp  )2|G`g/Z^7Yw7p\ѳ\j3١]J'Z$f]V5C2M+ uqu:}Mhf=O+~RGE臈946 |VqKd+581d7P' ?V`sbG~2 Rycqz߱6R33GH;W=P oa5b2}r^Xd`K:,0N"ȒG-?a]L&hP(>oCyR#pt>j 0(2g:  WCN%hYI-ZHAt |Czh A9dZvo[<:W{Ϝ$ںwE.wԝs}2c_G 0<-DD[rp*:8H)}CraEbvi·6fXx dW)fn\f ‹I-&rF>Zbl<yx,Y>岒A3`α{(A ͷ|'<~x"g2"}58 Ȅ*oDw@&>7]ƿ tTiᚡCFS2' {|PP)őTcJdž+qFNR}<"2Qyg=RC.a\L3ChNv& R\ȠP~*%VQgϛ/n_"ss> E֟ gt [KUΑq%h PL; +GCv|؃K6j}q++fcOtJrp:JtS33YBP=[]MdtW*U*BŌ5!X2WAf);acOz}\8DwJߢXzƼ*z?'=Z-U~+zz`+zdj_B}:We>SOhf~J6|@Ce =;~ $~靄/CvjASN3]lBYf9Gd G1$_>'=[eqf"n,TpQu\`F% uj޶'m=.TN5r(ԝBuyȄR]Jt5652*ѱrdPAntlQ6xUdYƾG _R2a⸰\mX1؋$:y[VX'mك]L ݥ;iw͝؞sC1?pr;٣ՠ/`4~jv4#Zw%d c6()l_6QAj^oNTie';EVB녭L?ܳ&</y>OU-DFJ!'֊K3Ro?qn%UQZ 38kk8:GTEP2eu8-q ^,a1YcN/ YۺxXh 1a\,S͹PcxW֌!M"QZf*Seu͒T@N,pirO-} ~ԣyk9bKW+d'=k쓤0"|u| 4ጏVl=C2)(kf k#>9_?@d5Κ4}xGYEu(/p*4 iY WB&Mc=18Ow=1 d@s 4gCo'Vx Hw#vk,>+[_az:Xo>9p"!ET%|M!؅B)9.%cƏ+6jwA!kCH߾^w HiyDUzA44D[2(57E*BMvh5χnb 9""Ip;wsUz9ø==;o GK#Tmj$ƴ-]9&>]d,+=0tLOZ[_%?; jՠ200>f07Ea݂EHX=rIϯl ovjSȰ /Wڈ.#ΐ3 W>+j%fv#ű$m4m$yaO^Xn=4x/ `+L|=7t~w|$[-_ ( +`<\:z3 刜*ekmӕ|T/6|oA4 #]8 ޛj5|_DN$W8I&"qDxu2i9z'88 6ۈOzwD8 \>#Ƞ2^7 D~vqƨEߞ1`jwRc-n bk%x--a{8BM: ,6nټq)ޛR ܯyG)d%3K!QeG`zC9?.iLIC!2Oa :p/_PCE[[LG˯mjr"?Do%x3HEƸZQz+hZ:/Fu}Gz>o+9hW068>d1*&翐l1 IXV#Kn^v͜pp_˸xdO8c4=0^wSe+hmU-?)v iױKܦ~ b0vW1*I'] Ppa#8PMoq'fcɌq B*v~|=wBy{?`u[yUtDP|ڍ)jv`=$h)P;k ~wC&;s3uޖy{k8dǣPZ `"R9ݓ퐪arxLr`7f=Ud&8R)0T1ux#ݩA0մy x2Z |Ăț-UPf2D602TFzm,ʣqjqcM L5$pc/nK 9Ee2~{O[]2JMk:Ȱ)vȭ'L1B3O5\ a> **)4&_Վ*vTS@~"luͮPUp߾^ev61쀴[7 8D_,-mo"88@5K|K#r#yë)O.8ԢzbFy8QwjjJ#mdEpNBIcJv|0W,:.2".1fz{.Ԝzme͐5gKz_4X >7*R\/ g'Rx ̛#d{hk|a XBOtMG.fY/P2m=3zwYopɼ׋f44DӒ]ȒÂ?2&KgrHg.EZsZ(i4mɊr-=ؿCG<(vvsftSwhAdt!4Mӻa*FdΟí+ZT`*+94sao#{*z):f)+ŀv^87O "3 us񝴹2n ݗa)X]&EaTR7M& e) ȐtLբ:# 3@>RwԪ;xM-AjJ-K}Ș*ߌ'FU9ʊ(L1={ ]6puo-T%}l^tP L=6QITZex k}B2uQ p;fRFH%y, 6wo #6:xuZ=u~߳`y;SR.}~y/v^0y2`ˇvJO²vI硥VA_r@"+ ZpgQA}!z]U?ЭX2`"Mvķo>&oT*żk(_5A-O)~`*WsBfU]3 8'wwY iW^[~1pq"[zU JHW&v7Zr0B!4(wgyEE,p|$p!HՃ-n)c0eδяwz'_\-7ٳ4t"sŲe-5^\SVPlBMh|o{FzQ\V 4'y5陎E.:,H3F$38@(uFRFYX:k_X٪vG`t {i1/*d? ^_/\L ^\us+;iP NNܱ]bgChsp2]`h2nJϽ!|xuRK+ *n8*i>:֤`iePDUYU1Gn[Qe ޴Hod ˡ,3^6!kݱ)=|`ộJb&yLd͹Dw/`79D^/lR!2fbܵ[|r"@~rV+KƘ5^+!UۈfmOp`U'\`w1oesI%@^myx DKNfsI ((|{.fZiĶPWq:o,q(HPw\ɰJD$Zl"$NQ-tK\Ly3x9=L<2IcPrIЋwy0~Uf쌄آڔvt׻*[%@ - s녮$r2NĘ ]DpVʟVq)< ,~iP.<8=Wٔ ?uX|X5㫝 @  yȖxXg:x@ɭY9A87xA2Sm1a+L^ͥJ}bϣ&%fB]'r?=!& ]~dPh*ȟޕ%N sR7kR{ߚ"Jځ鞛]+rpƙ1 kZ]J~}]bZ՗,$`|>fQÉ9:9{ӡe[sf`Cյhj =aʛsy;~-)wIb%T1] m Wx%5(b:W "TNIxz./H +WδU 8 !\Gq;RQZ#0k>#X+8՝>P{=7"W@bZA=N1,2 TT>7#GCѳr4x QkZFEeYǒTlot\>}`;ĦXAb[1(h,#T~ Z9Ikr3?$*:86 ^#R$[D|G rYEt#Y 9uRAlhVuE>M/4\n bp SD VQfh]n/unB ڡ8DX3gֆp!}z|@13|f[ g9V(1%F0Y&):Zīb3j /4]kP蓢-@ TD 'x)}o =E"c&*vK[lwn:yWrPz.Ĝanb 4 0C&#Y+*:zVݔm`漸p4IJV`p)cQ4 '}31{Rg }Xtݏ(yVkCnKތdW.Peg5c,*/-LJn 3J &T(ч[zmb t9qo8C(rKyx$pqDQY 'F,rr"*ֻ;'1d4s&V(ͥ6?T-ROu .sOkN}?LUg av*1^W~Yt4NrS9ej1"snmdt)bi bܵ~MډRqK&gM0Lơ'EZܦ`V5wT)#j ` E8ӚlDu1±O"VnO>8E69\6UQxn""= =na7GME 4;cd{sYȖ@U m_8I,U#lAP# a]ƅUK1[!(@ ς&('5ؿ_Lք @{o u+{-hDț{0y g1wTWKwi8Fu_!v?U@z > ѩ{nƊ')~Ri(7[yq>?[S.֘2;Ha6 74ΈvQ]iE9xτ`]\D x(r1m$d@<8%z[ ZViJ"b^pP2,EEeL|[>jb_c`_ȉQj(#R!<m57X*0ƺeժ3seJx뱣 G5$!\OLS70ƻcY=KYi+@Ͳzlsp1ʭ]k U(og:VBaRW]lp Tz0di> g jCPAԔjN|Rwi+y%/zfVߩYڸ).8y?w&uٳZӞfG_3}੢А~!9Ы'xRO\/(T>QwE#T utGV@[r]f>FbQd?W y஖ 'Ej YTe]>d|(䁊E{ٯ5RP /C& |o4Zw١OOVREq4-ӇeϦurٶ]'n= |Iv UЍ7dP2bMB磯|O|~g>bmQ~^͚"sz>40Ҝ@ڠc,\}XTwu&Ȅ iehW}ʽBQug[+MTKα;S5C+}zd6z=FaJG5\ @fF 8DT+`"3$\ZGs̠ib [=~w rWºʂQ z=#(VrXMd#L풷"fo)r̄1, l'# ,\ S|d~\ d+7b0%^|5ط~vr+_sd,{e[ff£Mbp.&e%7J\y}8nXx HtUVR *A[#}yOS+Yr0g V\umc#'"Yd\{J% k^tj2vxJPUdļ\'# SqX4-i5ד-`=LoH9NpG10h>}{P,^oȼ1kO R m4S V,,j6_W60+Be⎚_e$=M m΂OWFT)6l%³o++g1t]8lucaXӾq=>ؤA4yج¹%\Hi|z1\h̴qhH2>3X.V/4у1'Che"XgJ M}MN]d, Nr-+Ɉ@rIڅDlx$Z=E2Q% DVJtUM*EjcF=d3f} Ijȏxf p[]bɍWrues `>{;mF}&{~H#yg^?DglR'U b/OԓqEQ+/mAXV^k: ml$<=,E~vE2G/όw`RDح_WIg%70}cؔ[ne&k/2"k.[Xr(82#lNOe3yt;POTKD $qo_i@UJ>r-Po&a2xg2+ee nENG(@ 4޼)E滊r(.y9SA[+P%L6 dE UK}Fa2&A)HSW97-Bi*ŧzYG ?&ZA%ZisYW-fIڹDh6_SqD&li;)$Ib^$Un`4gZYLoE#!L7b~?BcPسg$cCNc.$O2AѠga-.lQhE 1D՛\(hunF.^2S 3A.3[qSBj $8/b)-w,dz-iVɀ\&Ѩ)mY3AZ,* ڝTh3kr}<mPћޏ'R-Bp}!&pEO3Q%(Έ\CvB٩/2E G<%"d^e(tU9 j$)Z IDܚT$.+ӕ ْ<2 Qeq{ټ鮣(.#sil>fJcؾjw(:y֘j *e$w I@ɧ4_} 0=X =F:kgY)6pX5E Wa)y‚έ'2›x0i5N)"؝ .A쓷7~;egD<{PEsrWF,#w >x"Cf\_fd4lt"tt_`98n_5ͱQrQERRv-FQM]DliW\8T8'a^  !-'YC̖t*") =FפJTl$j6H'%a T\`4puQ>[Wk+@~U6t:~;,\,[]o[7, d? lϢsZӉHKJPeY:p= #C:*KdMuDAM>~,(,|Xi 4ܢN,Q/qЬ)St6G dLi#Sϴv)$nsGpcXEP _S QQLE5'GhC^ plDHtxM)II#_^OYN7LN'6JT4H*d'm+4eHe9R:fNu(Zĵ.%C&ï حqjAc00& usf{+]ƷZRu!{FKZNuKO9#!HC\$9O^i#I,zC=Q]KWV*[P"zn# 80e?wypeNYȯu~3CL|\=_f`;$Gs!dzd_I* ";X 'EЦ<ſ;g@.Ư!]5La RM&S2{2,A9)w] LN&B5B]{%2V٫P͇ӛ 2ƆʧmMᥰJ YJ/XX+|U7-\3V_s|9O+,i\`ӐhUw m~u/YZپ ~V$ mgex&)q#4f>9QC_}f7Ќi:*=Kwmە~`;-$\<˹2ZѦz {m>m8mŕ6 YͨX#vy |,2Ze,Zajme_U#F1[f c7Yx'˂:1] *YkLE63L WZ`ItܺA#[K=f,B4}Mkjp<\ j|U$yX=t<)#|lm'vמ˦jdZV(HjU@"3E}ҏc,#& Ň6G,o!h#UߎyFv|·%x1|1b ȱʻQ*ixeq ^`S>;W9\OWkG{i^+bC=\XlZ9T6- Rp7c˦"(;EisE<~rKeOdL|p}ǵ6Lbl>at/T%FwM[uv<T*jmYCLAq5:l/3Vϐв'Fs ~dΊt>2LW l ţ_D'KH*EBq&QOpp7xb `fTdI<8QT1kfj@f=qxRٖEu3ɥ_ m:$Dt-*FyDzBΣeBrn,PX(T f0p؎s G;SYp*Af4Sx|b:_aNJ$(!;.ԗe^tjAe6v25m BJ/R G_rvA >3~O0& #8lx$qS-O"*B(m#zn>zsxZ +HpEnxAwBfp0e$>)b,*++ ZhOg!~ʱShS8՞pqȗ0oD.cN/eJvBVP@`@BPt-kn CoNH_$IXnܜȑ(F%G#'J.ʄZcmdq)e~K2&ϥwNV,\;3ͩXg԰=\X~)9bLl+Hl ρLV=\_]SźP߄< f v?sJ W(>$.z圄+%s@(S3%\@AkbdSΌ!I+@JVzы}T->Xy~u,^|Rd1 G\mׯT2g P Z zدj;8qYeS'Hawu )q#i6E;H$ibڹKeVT6:廸x2欰TH\mG9+kjz &֌U+@Fyn"t*w%#G ,nh~ֵ̨T4+)/R96&B_3:v. (}˛k!{-x 1yshHeevj۰(XS9@Dƫ}d{Cqs9HZ ?Jk>Үv'm5bmela&)-k>h |4 7vX:!w6_vJe'Qs, $Jt\VZ LJϏr"m g*F&xy,/WFF%p_opzfn7Z':6~GWlULRC11CΥoډ׮:oW T7/7cDA, vcI(^ml:{R}\ď1}MqƏ2Ǧʷn7\ )6):jVWJIeuH>M7@=²kp65ž~4>%_IMzvg4 O |: s Cr{rR u( iNG#1}GdVʞ鰽T.yrUGc{82bwJ㠝ݒW~Ki-)U#*U-<*۽ht_hEg WDԴ]@jv\Jf5q'Vt\%VQbl-_: ϏZI'zF[Qiߏ/S }&Ϩ}S+ J*(U skuNK*>-" tQܠM}/[< g>$ơF>ꅭ &%{RH=_N M3:NݫlT%&FLP?V?ߍY5؇WJmvWhӴc=>Gt\/ v;Կļ*0JMyx@A#̤+&dzQo k|QDJ]f1_1\W4zq2⦟`*N柖yFy,ё*vPΒq'QYHǓ_(]%[#la6U}ў'\ʁ#}^e66% pClO,N{(J貳2X| r:w'xS uA,bœ/6axrzJmz{#nW"e.M.oǜGjrh0%Ԭ ;>j@(.&G`}lV ,Aho ┧^ it@o>@c[p/13 H )F'+@ź6iP$W V< Yɯһ*CpX4ϾX 0&+Sc.YݩoMz/qRp7!2oi.Oie^ 1]r {]+mǡ.rkҸ#zT/Uit)sNt^pAbm2fHі6Jl9ӵj" k'cm9#GǂR֖v :G (1!ܕ62tvݝ̨sH-59R ]Tג]TIIpQfV>J${?$au%O}/(d&^>vj_ߵ8)IkL w |5G?0ᑰx!i+f$%P mq bkLqww43#S M.Rfq \lOsrcS>zGشؠ-OlbF>eP5g? US\o$6zhͶ5d}f-.fl|ک͚\H9Ov*퇧zAYmQ.ƅJԺNyh` LkԎ+K8>Ë*@7EҸ MQ͠ˮ,~ŀ`O^ok GF`2'f-jϋ ~`H'vw#C*ܾ5e6D5M>OZ+͵'& .Gy6`|KիfR.̣:ʠ?iPDNct?F)p튗|Ym.KM8g2OW4/z>`)f_R0jIJo㽣> h S7H#b"TBZೠ4zϡikqQU%P+ v"! \}@<}NIykޟ%)/8M: 3zmK9'NlMɵ{t5[d^L2m& RغVxwZЂOqyLɕ=""J ~siܲ>xqהԆƪ$s҂nOۼ T]l^OmigZ!,Mn%ىs >-_ymfq9M=B E7T{4Cڏ{Ʊ|l+ ? ybmcPN$ЗvۙgfKxq% [mJ&O8M+ܾ >v>s19Z޸_#YoXIS0L^p (=Kk]Yӑ ZX>"(urW?g_;ָ&{r6e ~C f"u)rrkSYi%4yJ|PxkESOE*:\ aRڐ`e1~QD(.k+*-tGCv+q߭smniO@ LZY6 ~c`z@ifniPT+fCHK9hv;J7P"7-ecrmXeݗt *4mGJ ܩdu|6sD_NFJx BqUg@ *T#ڬī-7T$5g'걽ߵ3yi;#:];Wb})ݎ,(# r3Ǭ/)u  YDoh1>s84$^#aѭkzȊʍZT SHHJDqj #/5IE)_Z@$3g IP<+ gZab1U/}@<&\P¶= w-+7+M"ey%ܙ[US Ɯv:1qGjQJ ";\RKy}(ʦS].ٳtk:7LfgI|\U ['+srC$2x]YpWd#(g,/<8%@!ʼn`P I=q1X=|HӹQJa&\dk DrM _fC>G+2L$Kd<$ Rx8G;5fJzxPzxD79٪1I xӖګc = p4=D?YpRLAǷ .Wz~ CF{݆# ܗN0biBw_4h tBbJsR0 \/!7B$u;䜣ڔJ׊F0^gU 6Ӥ lE٢Ϛ\,V=qZЯÅ̄|됏}N$&fJsb1O;&#OT rj#&cͼ> u|Aq0:鍌4 KN!9 cڱL-o=&SM=͓5!@=EpyC:]drExt"&~Լ}Zy*>!DQ d/xs5q-K'1 R֪YUHq/>f$ B4#\ߚ~b~hJY2Q@օ:EgCP׮N2ȃUieOt4jxL_,dsԃ`,ѧ2@warϴU{LDz~bh󽛰%ht)S»Ԍ&rl-ztmS"k kx>^%b R8Oxc0A9B77ԐPuLc;ǥ${X^@qW]"XPe8|D [GtTҩ:j`-O3 #bapH(s+*ҍ-ЍzZ¾h?DQ;gYi{e|wp<Ҝ_ =5XT]ꎖHufUS58fhy]0aiI7Sm.ب-Ds^*=J(v)q'WertXD2ݡO~xaۨ»=|\(-4O[{Zeۤ1>vut,t]kQ\;~РFiOclpJ0%3ώ @Qt Z^)ժ, a {7Gc`Wu)wA4uf!`H$]u;v%S7$=7y}WIvALsc YEG~tkն*g)Jk&Mw,zj)$|bE%.:qRLJⰩU^54 iV TrNnH $ ܗq\=]nyekc5Wq61X#AJV1ED+[)șZ/vITs= 'RyPz=l2@Af6!_@OIv)9u>"!:QV('?Mk6b|uW;2Qtizl,yF0=<8GTxY&6!@|z]a%փژ8k+@*DV+hf'M>6QG&Abj_z5;#TlziJ'k l9_u @-u! ),#Q>1t 9c:@m!W3ܣ8pE!b3BEήV3 Ip98_1J!k`G!5'd7\},+x<TN5{p1pDvDcSѢ--&_MwADqKQN$d)UM }v52g]ro7˻]}l :06 aJJllE,h gތZ d S/eb/J(!%W{s;=tO4 JH:BQTp [+2x6flUkNR0Hg9W=Sc SY0lc (3<t߻Z*gbvUOq`1TKkRX2K/gUI}N$[ 1%Vc]F[4AjO==C)'<0gԎ=Jj> 4džJ ]rF:) N`:*œ=ˈ4A}'lcYuhnwBMgX J='T8H)vLkQÜ_EE]k͇w PNoVcf>fxpJO$eVռܐT> %'RPH ͌ҹGԄK Ƞ FUTWc͓ Εp[q$ YdbN$c67B H!77U=U}s m ǵak-æT+//p)Zm~x:Eҝ! ltG uIמּ׃1t̄)V Fvتk8q4!bJ/AP—OSZ:-٫)Wd8m׻BxG (mA4g +;i~($'JzA HdPNXБX-G95qV(‰ƟYMfӆ٦7KTZ<|:HQMJ@;:^giMT{NU3'ٔd b| STÇ9p]NCY=tE.nWbά9Uاd xF>ҐvRäV*vn6[T 3 [E>[4 Gv}? Ccd;뗟ml2k:Kx5ty0|טw Hmx#e&VOMCA [b=)ZTGpQ؅b 0S5D6>.>#0Tep=U;zů8.y?D0Ӥ!j,ob[ǬFuTtj?}3aiE<8Z?EbyO n CHxKFG3Kuv7g?Nȸ^pXm䬁|ܱA^/u:QQ6{p̠ P˺sնu|BOHxvv@_4l6? xCd%ºWv ^\ [J^#Cw<9VͲO с::P h{@#rʦ2w'{;F}<k s1sѥ~X6+ |EhB_ߪ#<A={M űZ_zQh$ف򜖯E+Lj1W6:-T["LWLgqa׺Wh5h:BǓwJO)kT2J_ѕ>Xe::xÂGwεʁy~ɹƇ*K a:=ScæPZH XZu&s8 oP'o`_|Kԣ?Lu3|H{3go?Br6ACoO%04>TLeuˤ&M'??'p. L&i6V0 )Yp*!a, wK}xe|.uBUA96,[f'՚^pBGt*vV/d R<ڃ͉ sҠi6蓎5T17 Hhb >襩u?7Db+ cHk<JMa,)R8Ef\]TB΄I%,Y3xU&* 78N0΀oџ㭝q@ќVE B&KQyosʴa=Cp`}bp@/UDC6G-u8gP~ٳT2 Km?8"i™1ù+EYTF?(H@fęOy hOp4ϯlt BY@, StԜ=ax&`rsDH{=.ȑA0Tz=%Pp#4~(Ί::@ ŠWq^YԞLO2B}l yoϯ a{$ ɹ$ byA \=fU),r5?KBS%׍ ?z!>I,3w A| >`52 lv'4F"CC*$]% `lǏdّN`9[9TX̉A lfЎMF.Vk2t:ralݛ"ےt! l|3@cVusjPD&|rSo/i:'zrhCٌ0{ƉwhA3- ~ Z5{jW[>VM:/Z iuUkg6&8}-O]4H>bsrZYDc+(_^Geʨr0;M^Ju[@9x #* cI V g_#A13@:oQ : sb->d_>V%u%u4ƛhޗWMWr& 8n@/7ybb{yw*; tq#h>:Y z;U0X1>8+`'5lp^(q-ELn1|G-s6Hl:Iq@&>ur!) #r)RZ@j'֤(u»eؽ᳼|lf4Jv a<>q1;dޛeNb԰Х2*`XϳeUmP}Nd~:nٔ҃2ya*hмNj>iNd ڐAW k-Ь T2$.F޹'NaAzc|.0F' pxA]]% !.Sq>Q EvШoO3Tl E]v5xmvM)|]X !.Ǣ \q<]'+ZZz ?Fw,cP^8"hz*4 >,"ɩoA$85$s%E>0ÑcOSDDiU!=DWղ OaM<$c/"/n h_J}p!gPv_#ֿꡱ8c֫ !Gk+ҍo⾮E`ae[ju6f#ԛ|Fg_VEB)RFop}XTq\k':3g$T,~ܛ&"Z5z  L;,b,}_DS4Kw1<OVG m uTY,u>f2ꭿ0r0QƔR&sM7_=$"zЪlffEϕZkk'(ry=Ru`A~0D!% FM9'7-;:ȻA |1Rl_F*vDp=*y ey~X.%e37F)MUjNG3MD΋ԤΓ?;*P^n8"\{؜_h@A-&=X Tݐ/{+ S2$e^{^$t/Tj.=\+/mnշB%k$W8z"=69expSy )j+M\5#C6iƬhHD?S l'W2;d{9#Z?q w׺'Gֶ_K$={%5D} X+fd#FNd%c/nhJ^׈BgZa> !2OqK/!2h#=DT%\ 7JdD(i=2l >0wNWqUvնG)=>4$T 2VXWMvkbeP|]|w Bпč} o<i*hQI%a!To%XGܠbͣ ;YK(=,\] #Xݐ-qϲw6C+mWECl?d2¥ ֲe-$, {5To]PTJ;=p45yo J5GH\(V)=MKd-ZIDiԉHĵQ.SYu nKݶ9N4B_]r,Y={qdY3M\̩x0Qٶ#3YG'wwCtBI0/eCc㪘I3;:/ϊ-#7PiH#n{?PIn˜ '1T3O{P-fĿ f߅Nq'܍/(&cS?{% v2vmM9޵3a_n㛉IĂLQQmcqcMPY8*2ij;Z<8}C^>jeVhGz=CߤI q/طG~zuWNN.]Jl% WO<#P*}ȶ>#Fw_=<AuűLIrOeCTtl$O~:rk?8ũHԉ`]qYNIo3,oVeGbft\2-_(2R):0bd <(M7zOM5kJ) ÿ60IhOhHG=vʯuY'Z{)h!o.|-@F6>wco6?(D&!.8V|'H00aaJ1jhgr x0x%1V7T"sLtupoX6=k2JN cË]~c,ej*7H}]#jᖽ"ڋ|jy1#[NUrL4.)`"d٦ΏZBtvZlVnH@"=BQ@+K@2fnƈ! 1 6]xeg/HSX9ң"aÃ%^pm̳WߺH*,:|Iȡ,qQoWŚq9/.M7pGG tŖ,DtE'SҕaVdԌՌf0K6 F:]9My L4&[^oL96#em/5eN0Bz8Rbp'"LaU{|xF#<\6 7(AGDsM#95-ɽS;;ghr[`\{ڏHz;WZNd f‚IO5aEWbiDAem5kfZ܍刖u5~+"̕_E͝51< A E Q1f+^)1c3XIFS_FƗͳ8&ǣ``ZBln57Q^|V5|VYR/԰b<q@fg (ǵAĩ_s+b僧N/o?~Ty/Og֩~Jڔѽd/hYޥӕ`oNؼm}6܃4j](ECG :pJ+8'?-^4ǩ DT!}QjshM.\ߎlf,xp!M\ R`jm7w~!qgh|+("@vm>UUuiͤnPZ +S ~xr`Y\saUo.hܞ^Z D*Iƛ}M0f\d5LLm>5^A.!N=__!sePL5-QE@s AA8{}Mdh)r@mS?Y|l 0x<8E%C[yaFf4>{;y5"DZ)tE; I;%+{2tSyV!hvU/=ĨՃQE:?WDd \҂;JZ9*>JslxN+gKGr_gVI%Q %s}l(kAyB\J]l.2bWg,1`C%&%fGѕ.M~ [Puxcꍀtګ1C~baWfArnC]'v%5/G=\oJc%aXKPCI}ͮ :/*5(ɼ D\3͂7~9l \?iIb 7wN-B£J~Y Jx4Ʈ5>aAl]JgV"|kqZ;m` #]Fb:vv@ d!n D^,_fC`:[:u#dhwW7iU!mVaN%WV'[ϮbrPH sᏛx9ZzΊE/ UqXu{JE =pHRܰCqA48ƈBK]2UEKV\0J*@nm&\Cʠ(PdSqٔ" uTI( 5\17Zh\UWX_s <wx[0޹pkQ*~Vs[-I{P(F]q MpGXܟ54&B #ndq4|Z3?APδoP Oo ^u@ Vj!gch] wYPíY*:@R (MXox0ǡ%P=O"3S#K{R,  'W}ͫO@A$"aQ},\$gV*+(vC_ զ"H*c|ppT}-\ [4UL|`V%"JV!-0k~6dvzT"ȥGַЌP^3`g Fm)??sL%cAeokQP kw_Kp#hfH;e[6b\Bt5 6HR(K޷Wo 2XNuuÈf TU kh(}Kt #e ky bF1{6)5u և^sn0J奅SwyA$ 7ZDk=`!Hўy.~v+mez0}0$%roνgg3z>=ޝw۞+&nVu!{JxZASdL*P'"+{ ܼEEUL$pN=wQƴ뇞9} 7*LJdbŞz=JɆd:;KD@$xX^Ȣ4tfv 0MI6ex,+Jdm'd@^e3wzbG}#`|m٥NnoyR lZq4禒F҄Lxno`^oMV"c`[S"rMZgap*:}űʨ&*}(%ЩsaĥWd5@ˋ[;HLXCivq"s؎[pι>3j. Z`xh|Z\E<?w,xFq)dN$j뜝WW($F#]a&"H?UH(;t_*f 4eAkI.^~g2X`+J/suYbv=P7QoqD!u=m~̋'?]TH`Z -_}QeBn91&$(lXgn߲EѺ3ˣ vCoFZ|E@!, ki?i@?l<̶_2t*l9@R?ۄZźIˢz|E?y* ~Qu8iGrM [פhaƁH΃66!tyj- y@Hv 3Nd'Jl \5!tOWkߌ[9P{_ܡ994*lf`ZO](86j[.5*m$yBo# Оnϖn|3Tթ_sK@/LWdKvanJʯd7+3;!~_D"2a4ONzyJ2 O%!z3Z.,/2,ϝs,H%ʎc`D F:(l ?,%}ӑ aK0 BóTk |)y-JX W,hb^PdR"cl=<[>R1ָ=A%뮴vBFϓVU=oe,XW\bRیx Hw%;\>V,')ŻQHF|X"p%%ԝp/0(ȏm*(2_@$Nv4曡i?pumto0uL0Bqi/ lA6!I2QAeNu8`Ȣ!(xX.\#U[^HPKv#KCo dM4yGTlAx2YџlfЌp~פߖ|xo}ȡ]TܲQs?ݱ &!'7}>mZ/ƷovJ˧ߥ A!h- D(;Or~ Yf>AXq$׶1_ͼoPmx%:#5茪;f5UGE37lRe&+j$.Hxqi -ٯBxIGVWAjP=N ޞ qP?OmXܓ zfתM- *7,) mhogiH"b-Kc#ۉQ,xd`ȍ`ʫ 1.31G1ۀ5 uR+s6Kzۊ"J?!%0 q T#m8VM3㬒DU^r؝J,2] uQ~ԬjJ@C/tx;} TFGcX*x) G4/KRtBthiM-<*c'&wvAʾ׀@v~佱V?.cy?jytjJRtr·W0dpO5zηmG'9c ]9:FXك<ۙػl6]RSAdkEဏ\PMRműybs-=(y̤<rO_68w|"*OҌ%<*ưI3ƹV;6~-CHqŐOœAI60 mP+X"L_ǏDgEH%[t)*-?8J+[=%B>pNooo:X5A +o#*xk۴)kq@:\IxG򢧹ӌ\~tDDžFciFyG i%~<>Ť 1e>׳_ӨMes p]vãkΐH&DhIL{{5#o@X'񷟎 qT`ƫ jQ"w.=gEuj;ap^QN.Qk@T%,MX{IjNBPW>j8Hw'NIǦNV2{UƎUq8@r*`q[7~Ec;ޯ( ENn>tANi@{b yO*%1p 37b%(s.5D64!e;"SdzaޮXW7biм-N?3TS8aߴ&QYD⌻q|w?SDnͼAMX/q)ĜBeXb.ZX+_> IWp=C%a-_5&ADR#bbQ^W/m0ѯjB%r%IT״ vh(TzU| β!B5)U}>R36i9Q`0UO!ȺfP2Vn/ h`LjaIhdkuhчB$> iM#ya>mbpl1ZK?<3xyV]VRuށ(%zMԸаȁA Co|̀{GTEvA-ub;lmKgkG >e])fP)F ֝Z? ˳J\z5vϭd>(r9^ܳ|I&znb*YU|0{`0uO``N <\ :J}v~^rHN҄%%iת=[SYp,%~FC_T{V\$EKQF4ʷҍ^c >% 5d2Aٍ^M[VYVRn} 8Ս2BCEe!N@y/ɪJAp]CɱպP0=&::L5Ӯ!VEٳ>a0by,"f+쮹E޳r*-{\a "|8/A>CVi(œs%NW[JFI^Lck/?ݽb|lU9y&2PV\%/X>Vw }AUv2`t I\p_M}bgaTabjJl#..pSͽZNsuK«n]j4b'5'[`rrॿy|z^V*소уz$W2? 6/H`OE aayMmGic#쳨&߭OFv|{d ad9k~rB#fr^dž Ak>L^zjk|kB5^BAGyya@_@)&xZ~Ok;!3uTON\=W^&-(*si!Ew鎠}nMܒ9gu/@~sq;͉B"Kv/UD]VV`fTI'OJV;$HIO}aa^ImY-TO4 V*31Jb'@]Lo e.cxHS tXWD?-^ir5b0u)։m〽g  K M-9 _C'rbE) #G4'ůNǪμ;/TyA26UqzzpQmo Q=x~C?/n6:IkQуa T/\H`ã/Td(IbMA幦1SAq~Ar2^\FiJN„]-_)-)r!jkQH+'7\.S>K&K'|*UX5I,AqS uIU i%q_Y7ʔ^Ͱq`}_ X -X/Vl;}H~5"fq Aʈ42d?]ɲ!)4ᛕv`яuA C dp؜ʔAE~qD>'ia[`B )?Yc(!m? ^ Bbw1ehl$vߤ])BZ ig_5W۲ƒLa^zf]2\oxYvinڔu렁V&*ה3UH+{  crM"i¨!2%er3F9|.ިh@H45W3=7FgXc"pm2U7!}G2EIs,UN*<_IO>^}zf~c2d,CyƮP |7nkTGbϝV #N\.Ə>7O<g5o^pjUd껲,^"y폦~.X+~'⭖{;a0u|o#ؖ|x>GǸz|' T&n}`9žՖ"J6:''r)1L!ލ$P 4kV7gY%ڠ/!ʄCT1e[q"l]d9*A-҆isyA!9 my<&\s>]}_s7K[|dtPXQn\"pPXvZѢhQbI3G+3S;N4WSuJm)5>-Ƀ^5& A\~N]k[iXɍՑ "nJ=v\rLV  zG۳*GbhAӽ:}C_d`T[yZ(nFԦ0{:<(/d~7R v"BodDVY]Y< #/z?_AbJpS 4q[26`"Q~z(Rzs8qUiil ߌ&Nogb{ddq֣$%E@Zl$U\H-| .&kJ4P݂"=E4Ɗ݀=w3nВj=53^@xUQW{.2uS2x 67y{BBU7xy\-JkvXEd|..DcW7_sE8!]+}@B q_@Q=Z"*Q1p<aݬz/ (AtqQ.3a"VAIx۶sd {+(c͕ޏ@\{̵bL-:# I~C ]UP@kC*Vb4#O|ebXV{9ٸF[HN>ξ]|D=h>A_INžMzZkUN,?d{H.>+_u{Ė_ųcTt/Oh#ُ1݁ u((˹m'YϨpP W\8NJFi?s3 j-2 `.iIT> { :`vsG.v~jMi 1\p=r8[ߛ84;iu]J<_Ӯ$$蠗DZ867$~\S]2LN͝}$q=w6eG  }j5n5OZqpn!hc SVvFGyTh6hc3j r3L驍ⰧȘ7ϟ.@we]:C (ݥ)*⒑#\|dGES`L򐮞ay 8O{ɛ򒐈s: I4ײ|)g 0>n|9UF ,.OEڑTJXd G ʀul4˚L'-Su#6OilI Ԑ|r%ٺaOe6\:?ft;QyD?5N /5|{`+qy ^/$g\=T@nk&6הp5 &YWs"r--:Yɋ(g0iz` Kya42r1g |`;c{+Lfqen*/f*̳NA$ٮh3< պ(AQ]a&N(|iTN*U`dcjsIoD<5:b1_E0z{#&KHTSCWj3|kk#w~^W㾀n] |И+_ggK:L5V3ċѿ t%Wu ~uW@n;BmpAS"̚Mu? /(!x ZOfd^fCD{f'wL/gKlAM:KfʃG9֛¦Ws.[kx7SkxcT7Z;>*߹rsS C`-VKȬrȄSAv$ ޅ*3HZkT#F ).1% c)e 7ˢm`c->mrh%!1svvРf ?YD7MfheA^k/^CSD"f0lI J P&J:8vZ\q罕1Ѹ+#62kƻv)pK?d0Ώ7II\ܔKʻY} dU%k, }Ñfan+4]nZ6g3 w}-10e1oNd e>]HQ *[:$5-uF|rmYtDw O/T-g$<6/cY3'ODV]RX9)ԇa\5Ky^,WثǬ픪"NĽ=y寛{Rf[ȋuG rkK*rkf}>*|snU|rje+-rlb1#"{8!i@35y9\h`M[my04ZkD6r l{ -izO +dlQvKv;Q=n+el;Kr9hyfL">Ֆ~p |A-\kn55.\ 2|\ÄNf=C?~KhFE#n]gYZ0ca1733abb4162dbf9a2375c5e060b0c2135fbc78215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b 38f9f4ed2bf44d4e2a3c3f9f4761a59c5b0bdf6f