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 "+ |tD ]/ Euler_Partition:threads=4elapsed=10.280cpu=29.580gc=0.944factor=2.887zXZִF! VŽ]ŗXiɟH)0%o)6T`3G:TL"-i LHRŅ꽋 D sL󠶊3Z$db_SvDZIS@cc\BxOq赾t1<כ l_JS٠/j K?d.]pvM"Ҷ-wRB%?36צl %T#lը߱(M_O] Z,J7 :De8:1.Q|no͚t~4 { 82L3))@wo7O.L>194b^CHL [v/*0fb>2-OA]5`;c7jN >L))p<sg`՞N%xMȯFptdBP x}]}T˚O/ݔXnl. s|UM<`| (puJH5956_s? ͩf ogi HOR '鱚=-~l0`G.A98f0Vn~3IbCֿg㘳RuMhƭ]>W^5$1L6ƿ̉j5S?D`oMhooM.lBR7fOgNh~%T{'_1x 0#e&7Zwܲ+`w"JtS"415pOsCA G|?ڭ 6)WxVoUBeZsK(j;gXCyv1-?dSa;@~t*ݛ$u*VPZJGᒸiImྡྷP9rE˥K,Ԇƚ1fCW** kiN zlI,+a%0=VɆGEB@٪:_A:" yq)(n-$ÒpOyome:hDl8]QFR5gPAyGL>P񍃨nPV}vE Y`2QjC\w3ˣtЯ}2Yؐ3aIAnRQy &Tm( % SF&Uy?P1q+d wix'&g&v?- p^S)o &A},z_Ϣxl7A\}JMrV hG2~e5MCS|T=[]!az"(JD!+'ǁJ [."OieA/PDo#m{D<"lv-9d>N@,wT;|…G/aT~,6nkXnD^ٝa@,y@ ; ٌ2-IM + Euler_Partition  h% _[lSRd4`峅'j&Kko%իq,;+2?etf"v3 N 7 28Za*h>ߢ<I%)82D(ɵ z5~}uWxiN3-@ kGYabEUV P.?&ž[}yl@p썛3Ww#;ItjmnAtTY/rFY(&1+j@ꌪIBH"܅j|8L"'O]ip෣K{Qhl i ~RӒ[RJF:6tmZvb9Q^ H*QI[XamfFօe'ü~( ٲ|[$NJ\M46f0bt'WX G'{d<)?=J}T&~O>P<.\I) Aשׂb)۰L!PrF^&X[v*u(ʒ`dI#pO<'=9PQ~Eh0ӽڌ+Б5LGpǓ0A'Z"zbrp뱟)}T}s9ass_!i@_@ VC/2}U Xlzq3 oE7 tKِr*E3TLYXҥ9NkiK ^ [w^q*r㥐 `+<&INk+@c*nU^GR5sZ3TTŻ9)L, SS٦{%g,N$ԃjYj?] ڀjǦ}P Y[n/^!1j-.(<@1e^$Q[=ff$|;΀; Y2Fi#eJ,'15Xy>+nNt1V0I=Dzb7U&SXs,$F #kcxڵl@tLmT_sc_wcCuz̆-A1N(OO͵r}$.L g)-b/ :s+B5oJիkp}~$j%S" m"gUOqukP`H3-a&Z H3scW~ZCӐ2A{pR_bZkQVq047혵R]ڮw<&j"e9O]|7TGTg_]Q:BqT>'Pʱ 36-s2}'iv%߭++bnf.9* m8#ד< &ѬjT7(X~s:4QIڙ=k-h_&g翣R=W*Mb+EK k' LUz/L&TN+:y]-=6?uA43ﴘhtvc;JNp"_2Nc\11޻7buwuY_ʼnKe TT=Y`ye Lk}#)rHil}ږM"鹓-RdZruאBoP#|*m$"ef"][}d=T!Z>5ܒN3{ںuhdlcb_{xђZ%*{?EF x6;Z$.1+ %%%VGXF_t$$ѝ:$7(3vZIHY Jy")R%/ l2g[V G_֧?M9M 0OBThleh-,OF[ɯ90'B3 Sڬ).߁͠e޳I8^ZiJ Lw 7aNΛ[aY桳8˻Y\IRtG-h.ذ\^Ec-yY9xzcR ̬ң0]i&V%iD i \bfAB"ĎRo25Z7%e8@3Wkzc}UI{\_uQ>yT#O2e_*,fQ8^INHDQhXfk rq;Xʟ85 \vh΍tC }N2z)໱j!ثәCO~d XŸVऄ9Ci]I2o`z#=)BZЍ\s{PBDE5\ y}l4SM&QyKd+Z{ңCބ2:, IS'Q-ayjR$3s5egg_%F0'v` ea+dz 1WУ)/VW*qSiNojB`fvrP&k'xFA2T0ϥ8\pǣëMwETpGu2sS嫯m R0NË7 EzNYCWZJ&p$.(c'`~T?]==墦|4$Q $8|5/ :le0 wMif)3Y&$bPԏꦚ%@s1fqAߕ;F%m37,ا^j1$R3`zdaJ{8pw/#T,[țt\l}4 \mYzON.pa(6Sqljx1ZhapLqPŧZج-eMzswluc|0,yHzz6Yi0lKy6ݕ7Bf8B*_l}JVsȺ6eP2Lq]p56s"?H0,"~#g%3cK_ͩo3lj@&ObG`nGѿ *wd9C!w Z#J"4t@5D@5+<-`xؒ !PWרگ:k7bƌFDDц%(=A:4\#=]&(xa e? jl& Jl2E|_=>g`lL~{$-+$ Yմ|p44F=7ﴫS E%Z@ɎKɖ Rڤ8}N m|V7Q5]PK48za򄤖J%~I}ybAI-V')4Aq۬@}*Sn'j/֒ژ;FXOfg # $L. Dy /u }U|kHz;&GyR)JҊEJxi?UK忟೾ʿC p8a߻KxAFGA9gKR_\~<.RCQi׺SJ56~qp"8{^8%.C}qqajOW].1Φqjx_mc{DJ%~kTsS24T=qIehAVXQmK!y^_vXʎzԫul<_Z]/sPį~ Du/X0 oŏ2qg:W+,ji-c|BUD H~xLD1C25CՂnRb|rK*O +H~V}hsdb*K4wCl\׊aMUykn8'b ZԢ֓KV͔{$C+({5FEjl%gO&/RC`$io ӷJƈxff9O >s`^Bf OULP @pnHwـW 1>{u,,:Z (lєM޵V9a>/(,~iZ|ޘDü'lA<Lrt=2;|Z9+6}Q>yE^(p!*6$k N ]"DuIRȏC-X TQW,}K%BuC"u)ۀTa6:@=&JO-hٝq4ԍmvſ97i’ې⸅ƻxq;Rq e,ѻTuy d;ӴڄWH7<\F8'qSM]O Sq-M !',Zo~:cf3$rآ7{t4F'mIyI0b:Rb~.s5X/a "$EWl4#tg։*'xL-a>fv3RO~ KNՖ?ΟvYGe)Skgt4د{&G0馪g23S \_+aĵNjyl ~\kgsI.^=}E}jpe_?j-B#bϮ[ n\I뇰 P *^?؊cn/J/!1ݛ%cjS+~,<-#\@Eq٥#yzG׺h"h! p`p*~Xi:P+pD=L*wka"J%\NQSݶuc,bYCKݭKPrp[@?,~CWτ拯:), ]LY9V;޹ZdTV#*Mfg Fh! G'zZ*GVχ wfijcqZKΟB$d{/83ڵ Vmg vzpWJA<_gʗ4!XV?$%t](H=Rkqs3uƓ-&zvQ99kX,D֯?6 |kvN$n=KqwN;{d$^Yژ}q|cQ }nJ!Q¿&0υ5̟.DƬP4m=Z-etSGq[%L<RX*1Md% IvP%X=mۆC ݪ RwqNji%6@ cDIGP/pPۉ!C^4`XE'eK*Qh> ]XGws)jk?}x6?IwV&B ,]f/:Mt!ќ^QMktUG '$0v=Rz6H9@xEbP٤zWACs4'r<%IrH Q!^B9T]e`zZ{E\#}wRygbf\:Bn2b0樲b3 a3Po2Mz0"԰= Y;\fSYh})Z3_3?T8]Z>)]4=-R3y~\5,B,_Y.Kя>lت ːNIϟh)x}j 3v==tB$M[l7|aV)f\Q0=S$ I;#Q 2$Ó_FD6'A6F0FѤ[g5e⦝9ބ#;PU>%@)_ثQdN:(=NoĦ]1}+V;Jm !hm16ROH2ug+䍣=h I.ZI {ydPu #Yc"qO>^-&<=2_ŸF!jhSxïq+YdnWGU71?BrXQzez9f҅!| K!CnEX8-u;} SPvM G6C_N'25&\ͳD8{ƋsDJuZ/ˊh!k07u;h)$d 01ޠ?Z6mBis(ifv?A.fCH[wPhwG@ X<9k ^^ }UY5Vr-(\֓ Ql DʮLr$~PD`fQZkb?( $]M×)FՂ * c SDs0; d_Ԗh\ƴaP+"]ja> s7'}{G!!jKF\k*kA9BƱoJT;UzAD"'ODFvCS,Ӿhnlij=Բ5Ac{YvFR.[YybEyr:&uX`g^QHae4D eI/G{{“Z$XKKlHF!Vt)Y#*Ӑ[Gr#M0N<A)ٜtSu4ы6 4'DP5!:J5*|1PL"42r {/o|]'uҒ4M}Lp=@0 ̧,88n57%;f޻::TyjM+^b|7:M~{NtlZ@A7X|Nڀj^Ow=\u1o@DiN.ĴvΌxdm e|Aߋrs?xUrnA8f*c(+#.ik޺ @T}$Y4uYP5t3(db'=!q$Dk54Bg#Hyk쭳Yع^<_I K⪯:h 1!W' ͩW.ҍ5NuCoSv@773dGFNpЩ~B^"q LaEX'ʄr4]w8n IJIgEu*`ХvaIzTDъֹD9k)@HAsh?Rܿǭye@ n\)ՠ\{L@ Z|%8vL0^O>:5BAJVEK i`+҂Epez/Pg@~CzQyߗNDdsD `b*VsE1WkhH D'^#\ۿg^0e+o/QEv>`)pjKcR&zB.ʐEK;U;۱ż4YURm `u4  k'}59?FBg(4s!6obi<9G8wYa| ^34ew6׸p߄]]1H5ǫ;\JhGD0b髞~k( /%xn&f]  VeqRˉQckP^Xt"9D PVnݘCk/2{(7eh ?#\Uq[N"N;aڃlmLoyVD$Փht3,H;3T@N^‘i)4h)NrœxG+S[:4ͺi 7 `Ԇp_@6ԴG1sb]p`&yb qH-;}i̓ q /7yF笍 rDÀOV5Mm0lG͛oci{%\G}K*#!@R7W.Jiθ3QAB摻졐DA3H$p`r/\W|>CcamR#1!;tm,ݲ%Kvր1vp$Za\,@≯r*͊ym`+Fm4OcN1}[s>(5)S+ѣ7i6y/ [AFrոVc?4@e[BgT2Dz7׏dWcBjggҋHa;;|=aEycJ:힗Wx*~@+ڌ*cw?دQd;Lvq ܤ# (ǐ=8pAٛ8d v(ޞ7 /L6|F${(Oy6S?a>X㑌o?fD%] Ko(Ri͞ J]j?8کM0ER+sR|[UrUhOTHGᛓ9k%i8;nES/4YEV%\#]?o!`d2A04_/Hq[PթO*ՁqgQmi?hBg?CL(O1p.6`ȟتfmP (a-E,3MQ$F؏1=c}7PmmCdlgE2B LrP\t?:Y%܅1kj*xuM"m}fRF 2UbaOí e]سIu>+KA5-4j a>j~KG5*H4P/W`JGkX.ڞC{c|k1vss_%˙-.g͡ $hR!bҧjwpJ$kؑ4dh@)gEԱĮmɶ~r(;*ѡΤ+3pii^n}LƱƭFfnfv5 68Νb}ywIɱ o5O:DXڪ=,Ev_lꮰ9j A]֘?9{W9w{H&q"3/9-Ȑet♾'dD5sL k`#C08w&-Fx-OFӀG9v !Ϣۚv 6F!ߺ/UH}] p"<ۯ Z!` ꄪ j6!K˻FVpXs!YYc>sq"Z*.?}=1h)V*}qD:-v Z;DNz2ʪԐQ 3dXĉnv*2ČL[T}pSd:{0gf)ZZ^_g6Dv&z~^# rPhYi{v[ na13/nS2wE&9ML\)i#7O4*:Rb( HޏyCi,)NZ ̎,e7qEf+YN\M(65M$=K!t(D־Gndx++[ʼn_IPߢ^k6aM]5ذJqWz'clΈZmBX 2OKG{9-h8ځi6nN[|" 5&}y+1_<VdHTK?7#(Ex>{Qfr]5Sf@n2sRT`r ?cBb^q6{>:LTOGq 3kĻ$rZIi#Fo?prҺ 9kv!Ȩ^Yv|Ovs]V/ӃI Ӽ9!6[֑DZ +D ;ŗLS5BJϾx2~.=$8cSԾ#R9)akÊNx?uQh:4X.O]dvw1cQ@AռL:\ ;\Ҝq80B3EQp2^,^YTWWͳ<*]`H\W м* K[X˼@/,pZ5IݷlMl{wi}xAg HZf[h}e6>J1lHEqڈ!* sX gH^~ ˱gx  <47; $b[> 6|`Ę*;4~e%M$j )yB@(p=ċZZ0ycL,?ZpV#?9p@U#ނcEWEP9ybww9L`TvXF[`VefNa8 Xjg75kǚ"zא![W:` ^X(LW.Wo-6t`* dp+w~P"=zMC[ndhuhBth,`gj(4}BW8;Įx>Ж} sLX{PF\"}-rmȃO'?))82Jͼp.^Yo|9}Wgj5Ja\ Ȼ8HۼHǒ? wFPErZ.v򇲰[ȬU͌4(Gmڑ(6MScr7ZE@uwJK5)N9`v58B.Ӎn]INmrՄөݔ :f %x ι_^bb~^/d|i(]S hmY}|kA .Q8s(Y "EbnfDYs\mHÂER_?|`̄ʓTL*EefR[j"tUW8M-YP$>NZ@rr^?9[ѝ.[8LfHTW d*ƾ㉫zò=%8‹u,!"L$ײYBZ`0kT**/] |Iڽ!Ytcq`G|F^rk-}w. qhkvA3z:;JPkzZW<_6\Lp.狨@bơ;XVS3JȄfaNNd*=N{Z[B3#l̶y#E;9i"z,\e ;;PqA!Є)STy*΄Ci60wn - Io·B.}x)2LxdX*OR=ނZqgbp\#?^J|iOJ\i>ەz( y zSED[RNJ/Ru]8efO5 MzRa[%(#60q\UmLTz0 'NGf^":],Ҫ=`1Y 6D6,=vr #9s7UM4hfqn?M(Eѵ0 "R+&8:8`2n?I )>$Ť_kJ<BM!ۮ0iKzzPq,E-^a~u!.j}b5Ur. ׹B_Y2J͎_iT9|g%yPCEN%b!A;J+}B (SÐ}ŐGHgj2)X"RVkkYҬ#ތ0t`iԎć=2bADp!e3Z P2 .@#~/s]RRD?c%7ږ"D4w[Fc% Fl?~< v]/F\m]VTjIrtx @}ҪK@iG}hܟinOZwMWy?n[Arw \9&* ul`%y kD(B/[J z S>,o H:j&~ugF1A_BKO ?A @=eXR"YHMIr1:9;W_?p]sWZjR'rr^̝guORë, .w-tˋ䚥:ϢZJ!<:qY| N獽> Ξ4,ҦRskòdN?ZBP)BA`PSWO"7<}3.>*X(e&4Ac-`yz})d:#}φ#*Qtxڿ>XDbK`tP۳jgb޵F촮EhO"|68ßA[4l&D1m1^7 bpmG3Y}~橚.t48'o{ndQdQߕFo]p32沔!/DH3{[VQ<؁?ވV׹ J aAGoSQLp1@YԩT' _R bUp:)(g F;>`gNQ9,m Fh̩DI> 2F8!8ܟ6q= c y c3 0l (*by1𹚽 />5ˌ ﰋCKQ{c5z?g!8ysVqwECI-S$a 6 WyAe.MH@~XoSx`@S[n\l~  A6}eFX+ <ʕ(  /9Q<2G :2ۈ؄F)Bѝ]l|&RScdV:Bv6 RK_1Ed wP:V;0݁]`Wv wh ڵcqJI:Ho޸19UZt l7hQɮʁYf љ[|d(gGEn7OWlj,l[ꖵ!sCkaN׸%j\}UtTKP@;ϒ;]p9a-" vA;U6@_pǷ"E*k9 sՙ+q Bk hf&Vq5mk9X;"*scCzݟU n)Ш?1̢vɇ+ײIb*J TӷגSGkLFUq bE>XX/ef|&ҫhNLZٰ̠z/,1 >,'J/[KϿ.3R*kD{BLΆ%r-Ln5%y@z#l3;⑊ `ClaVPCW-fboIvP?ËB?aK3Mk IbEyFhB3'u]ȼ/ RkKy.i?(ߏI*dG\h$s,9.E8n9ތ<9]z+h m y@'`{m#euNS_ j?/pu0^;nϸ)U? P*ť*X]We;$ݣsԠ֐{۸ԛ`{Db?)(>'K+ [-Mws|8xv켷۞|&hߵp,AXA[  * Tƺo|Zq;'I+"ThQ q꓃n,G y聓:wpknX6IC5k6ֲ|M1IǦӟ:&~vǢvtbSYZ+ʡD p1Sɫ;!"k˙\ڦMJq._Vt4&бު>7#Q+B$^i!skRy VDB!("Zv>`,}©\Xt骬.5깠7,Qn7^3oၫLW7L >0t*#b_p5ݴ,KB*Χ6Gçehx$ǯll(Q44;70K'ۃg08(]E>ȅc>@0p? !.تxp}]7 l2P4`vʩĕZ܂ax2-!Xϭڬ)d1?lY{CZĴ'|.($"%z<:hh6YyJCbNV ʟwSMUmAAWPM1ȳJJA/)IV'{=KM7o]$'C thL"VH7t-1"oU#NI\ôya#bj]*vH͚ a~dĥd2x 2$[ox{,J EX\.:JE' NkEyg)dUB7?2rnU A@*DBHf\ D *zy-VjڲwI{Ǣw4ݑR Q),r j(dr]9}VĹ_k}ވ_v3`mS9C(3">)/PB#]Lcz5w( ]1B>RQħAu`3{0"xq1|NH+yMG-D XbRy'&w aϷ{h&y=NymFDzHʖ{bo;l2TљYx E4bd7Vv9贁b9w;I% *5>c*&$?tJ 4]v~pR*uw[a3 z kW8[ ,,,vCvV.y>qlW{L8M oah;+A<^l6b/ /ӯ&΋$DSTl5D87̂u[D,q;vzϴ)0\TY3 ;IATP9-?z{{а3jd5o.juP!^2I3#C9몣l. {=J=<"@k>(zkF 5skEu04_fIRJ8 m#Q|=_PRSk2;'q Ht%p9{r*ڿơvۨA2.ädPkh#&+iN&=U;pY]6%spQ΅9iֈ91w-89bo] |㠍  *Uϖ%{3́eHW0 4fLy:(nvv+^=޵.>43x\|])_Sɔ<6CdM8f S%/+pE.-tzG rIj [{؍xGj|txTPѰhWc#v(>eZ9'gbwY7~NԴ7Emoe'` @.>Dh49[3K8ZcQp폼SQI ̿-΋6^o1i/ٱ<ۊTw1oZKT4j x<`41_и4B i 9a1[fFYv(- YӃѧv~?Jh aܼnUr3< }S9Uu*:q!zҹViǧ?w]-b^Df?]+sLrtC7#D"Ԣn :Z׿ ֩ʀ.E(K$OTu 7?Bcº&2prYKo? < l ۋ]E>jQ'&I ۼj ~(QI!">_5-.p&Z옿-qAwb/ ԩcJ'H©Yi8Q_ABI[2q hxuf"PIulc GTѢr5^*I.u4_ S!j.UX}Ƭ#<\K5Ö M%D\k]wyg30UR'%LQw{6#``/BWG!]:M@)FVhS[O (/$_f:%cfyH!J W)7TL{Gx}Pp[ t1Z5n9ZN3@,#d*ZafHe\?&:OBb 0]v$jkKd4JnJӃ0 Bt{VA}g<Ҽ\;bEQǴg7jdt:P 5Xhf~cQZR*ЎOM%vR\jSn}ǾBHbBv{F\x.)Da>KVuH@௘ RX 䂔AL ȏDZ sD+Cq6pCޛ ){yxAhĸGY#n#\G푻$/PB~T3TPK^IZxRFȍ[% =g>zTgy<=ySWk3pe;ýG"y!Zj4٩"pwC|)+gC,ܮ VE_z2x6k]Po#$.m 3L-C_wmc5b,EHuU c>R }kPǽ]_yV/R+m7h[{!t|ek?*ܘn#kG *ǟ1^H9%qez-4o{AxsC`;hXk(;ZHWUM1 oL A)80֝(4Q PYu$JQ4b=q[@,R4[8lk_'RSL9 +q`GT'hwvp&RVmMGxQ. f v^x5/݁@Zs¯DYz%pSKԦ'48:At%<ZϤ [ymp)Ht:xU[ Wm$ƥPW,HApMQ ϗ]42&*z*WŪ{6.8B0)txc(8_ۑV7ͩM4do4cg@̚?t8X|4}u'?JWL=j,x+PV-m< u<'x{:GrK <LJyؗލm9/xi*~aZx|8˄?&1V6Ph1n"[=1t Kljy+`r6EɊy`_R^QU 7tWH8*=ovoFe]Fi]uiނt]Gܔ4צX)"Nqꅭ|+ HNB xvMO#{ww|yi.%y:M϶7g@4ќpM~[Ôh-G.蛯hMf4%Ipրf0~kG'h '/̠?e}IVC= ̷N7`D>KZDEF-Bvu4AY¤'X^G$(jWU h7pBhom%|4GЁA`ݧ2"lnW$#QoT N)[Y)_Vj` 1D)a#0ʽ5as0y%B%εa:b τS2LfIE9L--24c29Qtg:"+ aoܼ(`UjV-SUTF 9}֗w@ݵvY85\۔yDm0P}EO`A: Um=+f~+X8qruZ~6h z[7Y1[GS<ɟLXZ'&+9 !rǴxd\ۄhlUa_mr/_`ۀ͗c?`+9=2Wb҆TG=$Amok*\sٞ{-m3rq+%`&cgpgbXmJJםhtA$ɡ$C7ug,UZs 6GD;t#pZs@د5 ~f:8v_/=[ް-s Pp-k%Xq $C! Y} 9N_Q~+Sx={z=Tr٢#4<>hi1_us`,G-z(nh p.]TS1]@sPٍ;:^0+Zו3ǘ 7ipi7a?rBf{*L̪ ̐R_B[ku;/Ӗ'_N_]6?2'QCPSdˆۃ"B~bQ\쾍y1k+v7P|u>cG2CuwfOo%c5Nf%@aev9 1 ~IE,>ktmW]X'*}c4 7!1òwséИO`c!VD_:A' ZR+tBR5@ T'=끫 SMp;ƺΒ w_4L¤`׀+y#i]_s<À"r3>me{EM,Gf-Gs1k$69S!RcIyΈȬkl\{9B)m%J C>,M#tJ ed5r08zS1?f Fя8N'P Mwk)DՌfzL8 0{*7ZMAՑ C1 A-~[MwKT#\E-3ͶY-5DfY 69ly>XyWr] lׅQ4vw] >WϖSC@ZXtj_ó(wCn)1<\տ{ٷ Snda"c2~eȝ0rK:e4ĉ׷ Xᩒ%~X7tK!Zcp+~s+ܬ$u2շdq~hc3,fcr39LZ- 09$3An1K&SY]7g 4( Tkh2H4`eO"{ F|z b^3Q%hC;˂PVJ6,Uq3ÑIhާ]1FӶ/`ͫ|%Rg'[j!oz: ˊ9Χ)vg2Rr%#9%.H@"g.Mvd C3jiN%~rۻFz rM#!XC &k2.$,'^$rQ/d%O0k`ᇱ8WPLֳ"k#K\G.%2/OS%Gn\/m?0G5y](ms D_,E pzhPAfp*XRSINS jF-u1& s8\@;gz/~6xٿw,Ϫ;jDwR> \|(6/~PMӡ刺N̊Jq@FQ'T\#^5N~} I%zuFvYp`H;kh]{C G*RDgF(Fjϻ2.޽6U%w:;n͑1.Do-.Wo@QRFU"Vh?) A1 RkR״1sYS`tfhEMuW eS=O;P,Rd L%F6(Kc;XL]/*2 d>dR %ר֤H(kR9'L%'1jZ`s6Nv̧ܫ-)ϰ, 408q2}Eɉв+eL+Xp(|~H[>:sdh wJ 3F{]a6_\) [ 害e/ H O(v 63+m e,s1סgZq qT6inŏ"MuI :mI"QʓGzoe'XBSs <7ctB?_&t?(%y<qKT2!H]6^cӡ.UpA„#˴b˨t$fh\`APзx #{/cN H.ٛ:*ڢ?l{@!A/l,8zP~ɣhџTv qc^jH<>I"ph&Xc)]L/f4BG6i+U",@rYoT F٥gSϢyߟR}Ux'Odwmjk -Z#0o Ë:79Q, jT̟W=vVĹO$uV;Eٺ iv2{[=(X6F$JEI$P*ۨ=4$ױQ@ R)io}QX/pQ?t6q )Erô'O%<& gU4c4Cgc;WB8h{xi%I! ĸI)K".\s8WA |PDu3%*ZG(B6KMp{Ձ*ǁf۟fXOtN3.=_`n5N s3RVs ӦP9L-`$%-1sɢ} V-B|v1^풦~-䳊dDBLȖưq?>\" &$h+r on:WHp:Pd׋w/kLRZZ&J@0ێDJU|$EuU=cŒ< kDӲUv0;#<]џ@No]P\{}ʣ sΉ<|kŗ^/wDuؚ&:=!=$IM5zw?u1kbq꒍=qգ'ѳ/x֛2mOBM$ <7H,c9#}cOKVws N93\@x@'01ȶ47B"c~bѓԻ{\5ځF.g$k?`$ 8N]ͦMEEx!,$Ne/ :"ךPK4SU 0)jT\H'n2c4mv`",*/N>JOK͊U(yNZNa |ڑ`ERIiJnGI0OoARB39A%%c_G-Oa,uk9{} %-k& 6fIH̀[ bBf.i!|cwVѡ%,-mJBKL;\(B6)OQ^smbb:6MhY(0I.u=qu\ Zn; ݪZ$ J֋/͙ ȇ *L%7i_6imh>s\ :x& B/HcV+?hA7ш-|(xҁxGq[:"ӎMwYtr'=Z vIpn*%eznas˱\V ?]%r:X7A.x,Cڤ$Zxnf~g{M66-ce̓ρIG#3͵\&k\qv|PG[8䖥a#vRx, Vx*k(Tj+bWeR 5 FȻyp* b oen]%*3"ͼ'zwEkE ,2EzE$Bv҅⡪ayXyGU#7JL,'&^i^֖GBA3SjT V,SY)iZŅ;mΣ{;?lg͕.Zo;&GbӲۣ].ems\˪nԠ8}MZŷ赂Q)l 1wRTkʈfw u"{LcwϽȓx>ԹNpVU{kplZ Ro%C;dshA(&R$|7`+ǭi}B CIwjn0K߭\|н^cMavcw2|MtO]0#"`e#Fc@z0'qtX,An/j*!ubR&>'  G@ SQm"c1~\ޑK)tD6 b0a); yN7Ő8&rŘ %RwC\wMu\E!0=Pm$U`ӿslIlE71Y8`΂̅ǢN={6" _;j9 bR`D]I<> `LG`1HW:cEra!lQ m7*jo܌7/߅"3g<%ϊ)ޭ5W$Pw1ꗑ<+@ WxR*Xp\LLR6&4.u6Eݨ P ,Ad{"f7r:Frd {9863t9wa6177y֐om_p|~2 CuU .s ~}6V._U({VbR/]/ͯLS٘ODpSrSM#<{@`L t_Qth$.aW*g4I\ޡGk}(h  3/owL/EHܙS-{ B#k6J+.{GzYS'),PƒW& eF֬-ҟ)wweaBBVdF / ی`OZ=]9LONb>PJO=Ԫ(b̽(L埇VH8OeuguUכ5'>2ЉT*I`k{7bA?|Bf{j %LE4n0s[䧖AϦR*3W_GLd~Yq_83:o ~|20 1QJNVP^%a˫h(>:RJ|(P> R[~@T@Qi` ς<Gڗ5Fթkk"3-q3l4.*8tpH/c=*J86_,:9شLQˌs{*ŚḨ#N=F~=O `qջAU1>-8[FBr4]+aHWJe2H_w5T<- iGt2^(", 4 *߿;м"8<ɓ,RO*4Ԛ2*4@dpG{ NgBAG+N`,V2S0 Fi%gj(W@ \?yY^3\xp6lXR8ㅎFھIVjʼhV>F;*!iA8c<) {s- )kH4@o3D}-pڭ=AGfVu8ҏ-6KE K( -oC7 HnzD3@;<0n7sKӯ0q'=rk-3@V;n)/5Z}K1Yj붝GC^DOVk1cXu:*TTנQґA[vC71i7RX%L&c dԔ$r|ҫӵ&d~eqˇhgb, ʝf2\|ott0;~ #a y0Ffk/I} Bf+u*j, NW^)ЁVM&. 2Y|ChefLٍ4ع'\IÎig@6BXx -1]-|H"pՔ.~i Aƻ+KEtG98ǀjy!;Xkℓn7CJ[nORF{"#ʷ(A&Y=3:n`+ȉy odצ"z~cZxjlVcctQu4^UL,[ j#%Mnį'0hqyeoAƁ$\MtƩuv*o/o()P#֎8Xm" yYK3-cuK;I ؼ3oQQ gN$˭lrRVUmS 03ZGT35e DL*4lP[U+,'?ȿC Y 7W^e-pxth"S ̖nm![C1VCxWH2~,%; |OCg.ޠ=)HaUz,8>@Qr->~d7U_gn*f|B})z+?m=Zn $Yro | ˙ -ڃXi9>~r@=d aS3WYL)ky P \7i:kS Is;踏}6|[?۾;WS$CCR1}z( :j6MV%g5ʚLj{`)vA=Xmꁛ$K*'Z8L.WʖL ^60Gk.'|2oDmGZAPV;h2p[hd:ڶަb~wל;*z.ה:20pw oy.!Kb~ )M4򖐽RmjGgG\i#ަ0~S?vIUHP%5 9^Obnof1'DST\Ț?DKU~`ɢaBaT{\|XwFdSƷ)hSZFDK}ߚO1[>&?<">aUH-[k]^cL5>"F̅$&"!(Mj,[LZ $ PY8=j^8V"pQEʡvF mG˶M4t}ٻUG0zͩlq>O{@Yfч~Noĉ5 ta8L0P5IJ3sZf(X=2ģiUW]~?ϗANϑQ) -l=sѝ\yaş2iQcK/̶ SÇyOn*1'&ӈn?\Y·#QmAjkTaIgVCmG߭Adʒ'@a nQIW[l:$kg2 BT 96H0ŏg&? lB ^i.J_6e$k.7w>GU؋1.U*I dHG!x#.kC²()ZkIr\RW'R7`:7iKpo`ꗖhIMAX%&o,GeA7hZ䎚ۘ01.Ņ7xiduBڛ:wWr5SEbl#dZB oN""v:) v{8A䰥Am3M ׄPT~㢦wcfڱRHQQ],F˰N޲v*h&ZW6u4ʹX}ا<_Std|%XrCC/>͗*f\ y8X\VK>"@°M^N2Md=aM:d}ݾ;5B者tZj5 %dc}G'e3\듛eYwj:/r.߫׌/íWjgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷Vdpdw.1<b"^"P@].D5Nbe=?N==^5x)J~]ơq!3$7$oD%(Ǫ(JݒT Nqzs=,J{¢M gYZ7zXZִF! N"]ŗXi%L!l,4V$o6nUSki4 揦NU3mPqj>?=g.mg H27+rshū@-WL5|\l2688*LMo>m6mu;8w،'/ROp6ډ%6#_3A\F"q/bR:A3?><`3;$&-:T>Il}c&`}/H" \68`.׽`r%4aq:\pmh:2ѹoXz8n[rCR;++H'?`ŵW̬U-v$iU?{kRcMapN\vڕbMoIT&$/(`3E' 1‡W i6IpXk+[K8Ӱ d(O!ayH_,&Ō=+iNhal:IƆJ,48&nmsb9sk%E<:y#\O-R_h,_$M Vջg_ #>J89FPۏbm 4 j *&(~VҩiziT۸%خ5oX#bTCki(.VmCߏ@<&%9$VH:Bkt,w_Ye'`JkȆ {F?KaFvD\*1 Q0* R? [r{n+.w2gteŮ!aEjúDZsr$wލf;/׎v'OM#mD 9$i>g/5XNܐfRp#egbC͸D3Ӯrh/Ğ]ziSJGx9Bӎc ۬a ϴ ]MU E7/^Rg[!|K=W6J@[׶ \I("RZ[{= T^aehLo~7:䨐$2ʎK̉KL#u+38(h̨Qy I= ~f3{" k4"6Q њܟNi09tȿv"}g`NRPy"^h'>ۏQ9gAK*SFd=˟}nv@/50?N8:fUa΍wcq AVcfQTX]GCÝ6lu3Pi~h xqFd03sqg+|-,z\ e2]8)0FF KQ,-/5Mk⣾XfQZQqi# LTd3 قűgYZdfd5dcaa43fe09ddbcde61a199e0847bead3fd798215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61