SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 MM5$\< ]S HOL-Nominal-Examples:threads=4elapsed=506.230cpu=1787.272gc=176.548factor=3.537zXZִF! I/ ]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$AٿFea oj rI۲x;<@h<%~ܖe s1ȟ.Ö>m(/eNy+nlV`?.rҭmcqP0@n-q詐R/|us_p["o]i-MQl[bȕ(KT@˛$Ge"I'h)yX[2u"hęj g0;=ᶁ{{Ĥ+7`C6pƔ%R`JyOd <cu)mK+p\ .I8_2k?.EE$  `+1,pǫEp8܊V7DЀs>[ĭD wӴN=TLxt8$;`58)[.-1ĭ' >7t4)ގ>):.xOU)mAD@"\dy/*PcB`d݇UaVGGV\$]lĚhB:@M|5s ئ8$m[@9G( 5w p簏RDYlP=>U"n>Sͣ<a]~d:nw ~cr8j:=cz )@Ey؅(mx_Ys۸a3# ަ:!~l [?i ˦פQD,2yk jjpxXG/s擙n,S}l⛇#T Hۘw=[i.5_RR,(# !XhC^hO]C%gv xGY!]$ӮnՈZ;t:ecpN{\z'\o}HXVD$R,CBqUaV{` tǘ_!#+" HHף⓻,h]FUf}CT֠K56l@1L9fC[Aisd=~h;*o }.5ۅiu+ Dd4%CQbI?2i1d;Rη "~wO=Fm{>[T5]_|MTSW[uu۞ߏ6u`@gjGñ3)U1RJc?#~ΌYUsTl_pf_4 '6ݵY3e7?ٞEl :^ ۪Nҗ> a %O Éjf<( PYϬ -{Gz+u^jaH"&߿˘ӻ4OV@x;S@*Ay_ͯx]9=/EWFwJZ-*hZ3A.7JXu MϑdY1kd]zzX30bn:L{~6 x Lb;aCDsBXt6QZhFG)#?n;ֈ*u1 f:\wm#BYU1T*sǡ&r{ǎܟX6nKU Ɓ&a=i5AA Jl,?v9Qp >D@! K_c.2o;M|NH`яB)14Dgޡkr+Jɠ}}'dÙNFG8 $hU}HF~Ε~8Kz>%Pig^\a \:R i;{hy>jLT05=: ԕ{l'>ʼ[%K"b||<^q x.ߊ{g%S+Ėc6m/6MbvŠƮUb_ovܑ?%}Tl* u\\/ɦkWeĤJm,U̶kE^$<9DQSџ*Bû JX^رv>cMXJ1<K` _#.W{z+vGx]ĮmAtyy66|MqUSY-.ɑ@ǑG\2K#\o-~H0?fʙt_.3u]2^嵰9q͈%'_W=vl5j#B8ߕ>k&G?v Px,AmV7Wz pI-~R)qG@Gb{28o%{'!{ȴ-?;矙p.~i"y)qVA5J&ΪNqBY0Wyx% m)V=39GO'u-($n⾧GFN^La.yz \i &UB"2CFH*!(Frgo wp$|ŧcGz?8Sى19W L|DH#-67LmPp1)IPZ 5 HOL-Nominal-Examples  5*#7-t{lR@ljoMc,20E"zDZSظ" 7$2lYݟ+RmuYT sX1$Ufe!TnGI cQ--e5چ Y(KPv*oMJNw'W֩t:1!' Le9|B <Ö[!!KI_t ya8R#I[yHr>ÒQrֈJ{ Wp҃[(_ԭ4^ A{۪B̷Nٕ w 4 _%i-FI-1-{?iVCF4;0I'CylH pA^5av~2SʻJ~֣|VX=ZI.gprLsF9GÁj$ "&j`U~E<&iH/<=Z;;ɾ2&<@ ΰAYAn.E:R.uR&Tj?]!,d&N)}Fa%ɵH:,?X ]ރڤ"嫞,#U_KG/.ߞY_2ͮm8>f_#?#' 6 V|veU*`н~:-#lq^2r$O_:}@+kݞ(-XJX^pfA$Mku֓xB`UQFDnře"pf'gI0IJ (-KX?oN5毤t |4T2m1Q0+R(o觹3k,:lZ!AAꫡUGhJK wl>T(.d[!-YD-%K_V!&%#ۼA b3\ kr=Kp{F* n!]~\W߿]u. YE['F,Mh_D^tp{*$OaZ;ۂadžzUďC/lU!赆pIߝEץ^`o3@Jj:gj_3땟 hj8wQ96I툡`Whf0`8Ax;4ӧm{FErjN@{U03'Qlu6ˎ]me )|L#˦xβLu4laJąWH5^~*l%^07 #Vۜ M𒒌qZt.\935VSԭ⩴DoK= CbnI5 P!:>C1n~_'za= a6X*Amhڸ𒑳vԽ>\XWa7)ӗ.h̾L8i%NȤY­- ҸEg.uK<)w8vږ'Qw9zvN?ߵ >G1+/6\ +4x[SKs%g@Ύ42W ~27"pГtOVk4MA2a &H<&LXQj"'+HJk=) ,n$:šjI̭ɏVI"pȅ>gJ|֏.qbRMܩMpV툧f_Tt|WsO ()r5`,]{!LJVhbbg e&eO ^G\9c~8ki7buƖL2Ϣ|+ dWUZ^Qeze3Ōj:p PO23yK^Q86-_#ocXad;g-.Qw|LoRduiLuMEd5H*[w-9-[zy#$Z^ @p(G䡧n1Cc֠ׄr Ugd+]Y5JVbH.9JYilGVqۍFp Vبw~0i`oX"yI0U )eLT1Xt˄ ˵֬8 Q ݅&5}J, tXz kK%&=6Ϡv-|}ʞ4aʐqhZ.R¥LV"ψ25 V/W,PR͇. R>!BoB@/b  8PhdL9Ȩ.Q sϤi!JJwikzag0+nd2/4ϊGH{ը$2VィD|<)ŕ9H! ˁ݆ss m,I |{Gn+U8Ġ*b~d+^l\]fxI - yceĸ|iXރhjvz/z \)8=WY6@w9CJ<-΅QV编9pr0 d_N!2[UVwd_c< Ό( +k{/~%Z =1G (LlG\}n,F͙&󲥀~ heQF(5:z~庝Pdd7Hs]̽!` M3O+ؑ^T@csz9I<僜9yCUM5;ZUIG2F?sZRE_61MEi7QM>mTC:lJ1p*S (* FȅS1ibwJDGSFR/id͓Onht;6U]UBan{_Zd 8V1%>4LYCQgP,dj D s [W^t%`y03rUzGԣ;`ĝ~A/G':M\%!q'CwfN4 -[I$h 3&9Nɒt9@'@+sxFH0<c_O" [gO62Om@r"Yt3> Y9y: LybbLJaiY7m9 _UÞ/5 %p#՟har Ȳ[8W3hzg<A0쏇ZE3UmQTc=?{1J#7F띹Z)zj Qt=nkVG~\hXbCK3DŽR P?&5T%˃\Jd9xN3̝1[S${f\y{Mjd ! Z;UζA 5X|p A{ؐ@ON7ZY|4nΥ;jd֛3~>LO3~sF ZXBBr zX :Nj^\ ʠԠrO}oK֧_0'~Hd{ cD 'YEyD`U-jPyppmI\|~P͙#E+;v?|eQ&G^@ear$zstQPV0Wk A+9:ToI_;9|p|#R*G(&V 𾄾PI6! =Zt(jnz !̮tIy^VrFL.(X:nMFb=igc6dP^nEɀq=!Sg|ATSfepitdT^t뢹 r135u}j )Ѐ#9ܷ߰e0o9+;խX$= rߋdzVM,*z;* SpV$d*q~f<2ޣ[<u~8ؙIYKI̐(E` G5g{eK-_?a]rjv=qR8gUJ˭q!#2]wfu^棴&U@s˺>KA ,@w䚻SMZ ڰ*Xዯ@Y5Z|$jܓ³[Xt65HA*[*T${uԘ= >VWA' EX]RJVB&Q 31X']ݺ0q T0A$}-2~fS@l'yx/1P;7XR5sh{!/A#xhxԷ 'U##D( ?G7s[=w|RFv[ۡ|@> s8|ʾ !-p] ĝJHD+tpZ¬Ia{kN $T(iQ{$o `U’wp3Am1*2A&C (ߢx ̲%(rͣ3g[}K2! W6-lhCxD#AQGm"f*Yh^_ԉN 4UdaWkrq ׏K-RtKW;?HuQa6D]dOr((a[je/nNgp;>hիuerV̹sH+<Ԣw]V=[c7yx>-P(EgV+CvÚL;+ =Kx)bl` ̳k*567 vn EN{Tq}a%EWh΀;D%GusupL&#oX9~dcNLT#(ߔ:(&_Avd) %g&L D} U_TOhH2?f}Llb U »׶7iLKj5ˮ5%ugZj* hHSgLoq.V߽9 CC5SKЖ`{'}^A.z=D=;nw` 96ӽJGЫ-D!$9SIH%?6dv. BY$Xg^k@#iIL3ӓxLVG{%+h}zDS'cN}%sVj>\R HZEst͋CNH07h󱗢}ũ3tGa{BWTm<LEUt2cwJ8'r[ CX3mw ち+g WFӷ?9y&ά̤ <6!X^4|2| `)cm;#Q\[CSh>NX2wڀAP&0(V}^jla7s}2ڀ}a)?@,ifn&pCpQJJ/'3]hLI2:fHaF?6{R@&W>wgwL.H&~3 4qɀT[EA G|>p/ [:~^7|+^3PqX,T)xO> 1V5Igo%@n0G\N~A{FF|JkΌkխ՛?0; bB0@y\?PF^EU-k:[nMWwf˗`xUBN>YщlG|&n")ث^Q5,~.=f^P\fHP3c\;HM"S3I{7YdLĠ: ՜" rr$«oh2 FVjnPJ*&]τ1a[4Y÷VZts$!;ˇ)QJBaꎄl ZxoNh ;H/ 3j]n2&􁲫_SUM1k_&ٸ[i'XoNUyEwP,| bЙ~)e[3.Xh̻> i^/ :,5 "#mW|=-}3tXKHnZ%LM֌.7+&049bK:rw|%RS]D90 .EN :D%)s3}[{)JCӣ8 /UZ"M)Iv)Bi[1@Ix}'(`k!o14 ;YRv  *ۘgQyy) jb fDvaSvVA6H='Z~TT.2p%H`@cD10f٠A]v9Z]#>AgQLi1t18͉!0R3csVysM+D)Gb7TgޢxE~12aJIHb-q<ӊhHilJZ[E ͢S${rqTIo ru8ǎeaɩ0!92a:;i[TLj-{evhF g17TFW{֙ Gy h ̦Ӎ PCE5?vc@QYp6 r&cr.X!&H?}Z΂n7 ʕt< I:r*!-l{R8N%Bd폇i"υ _*u!~GdpBٓ5ەA{P\@[X{If4]ZH~KAT|[၆bn t{. ^ʴ ,gYZ7zXZִF! x(]ŗXiɟ1ʹ l93攀Lx3 t<1D 1v1o:\)_X-Ga4ܬ"̐l4O;>+24}/1zu{pӇo*<"X nE+0gn(O댴8ld͟++}4w6RPr]>-"^}8 eKB-v2qm;ٕbxHGO{ɥ _ZVny"Rb2MkH+ MA(H9!A/z,LKJA2DLwB9LF'XȔOg`DnKK䴯$ӗ3'F5:8=HN;=&t!u]hDvo\: R z74)Fsaw]dMhB}]Z)qɩcŘ{ 3uMx#޼ls'8*DegJکH`Pn#W< |:6]-:6) nC| .A_jYJ]VAKm<놊Jnx. ߃/ԄGHek ϗG A>cHAD Wpqg(2cp$=5܌:B&( Pls{Qj@>};6˾x[Gk*W m\wIreHOfkViRVn^[/leM+Ֆ~g鳨b^i҄r4:$ wA4,9$lU:pW6 b^:kxv}o_ZxCѹpj;H$ DYDyWcAwyh8eŻ,à3#dЦF׆XW,|ˊ}*5/SCø遂"p@DkuڿR`bnc0]^$6j1' f{8 ;x14Dg604LR`Ơ&}͑iE3 ݲy۵6gq3[)k@,u=c7 Lc_: n ќoO<"17 _]7su;?jF-z?"P PC_X <[0C:o(3Q?̈́϶l% A@ ?i'1Xx 똤eV2(ύ:BS1wbS-'#K]bFمZ)"{'[Pvm~S*wQ}Z2ȁzج#I6~pb- >6GyȺfr1ON:#>mWE9Ez(ѢgS\އ{V6(J𽔊:{T0Od% y [t;|=4%i..L(lO$/DvbB;pij2ႚ{%蟜ӏ9:`iTuhIfZ*u`a&J=PdeϢ$>s-F:T5*-/W:>* AJ)p+a-g_!,ТY:D JqzL 7Awگyw`4 |Gsϙ|_!rp0% &,j}i ;hB!e0eJDPZ|84ߵ_@?s 1o%{1*(=1ypb}?^KR5!WoE֕Ie WT^p&s9.9y/H*#[ e(}$ DTVєvȚ*btyʘ:**pooT+)ĒFWԈp/ !PޔB/SrL@Ϊ> bH2v?AYv:4AzȤ=z苊'Px}x_nJ63ʂD eWFK VCAv7 e,L<`!RVfOo %޵I1kPyŢ=ia?^ )G!h5h&M%r)m"i3c}B49ܬv BPaa\m0@(x HeҞMf/MMH^gY_pW,A_0tI4˜my\enn%D*C!jL^paEJh`#6 1.L2\8Y,,ܽ$NY7@6!mwPxƃIZ.{~0 >&qq2H2oֱWaE!ZŅ{@aG^esKƪC"w-j>Kz/Tɵ,' τBOlF&S-[m-W6%x]5PňW}q6$io$^ޜĀ7] ҫ!g(; 46ITZ  kf)}G67eK2s#WtomxE);!vlNqnBN\qS&D/>0# ?e] [pjδsG珬'wF?owa!7iV}@A,)q;z0֒tG9$=-6v[JU6buERu<h6t'Z~rҨ-n#072S?s 0ƛ&{6 Y f솑YhCH ܺC( bsNrSm nl5쭕iᥨ}0%-raw {=-W5,ž&\!MsH?#.B0~]K1.=*4p*6 dJGP=Iz7hX%]q)O #w )֞]4}^OK5LFv'KOs ʘ뢼Qw3ѡ @?;x,&P0i';Wv,!~E՝ p`ݦI{)+ k׈! ]-DMD8`Ղo2^hP:ASdY2"+ޖ2XbN +L5l"C2#DjDOH-gc߇&i|mXxFlc,Pׄ9e eWR79@ `Vy `#1Ɇ%lO_ΰSOӍ:t32EƛT [>);,Gz]Cͦ-2m.`^wܖ˯cvAG P sJ:n؇/4*p$zDkh]OêΈA^ed^ҶKH I}$\:uxJz:ruNȆzg@尐cqS}tm3(y! u_Ш9dFd xcp vh#i 7L'=f;ZgW4a?-ԣA[} wAztzJ.JWLCl(jSiQ%NT|zS]_1Isʦ poW-svAJ4W2.t^'.듖9kҰ.9 ߃l٫c]wD=~̗4D=[d` N8j@^fRraq%tB+Q.9`U>b(_z5ZFKtm' 6=:p\9AKfUquԡiui ",|ʻcmn@Fzfn-ސH>abjUtY6:#X6*UCׂC#I,JdJuH0سM^ZT ~]j,[w&ئHOچS|\ȭjA^Pk=Pm<Ƅ$ w<.6>ep@3"D/L I5Fwu9]"&ie'4CQfZuɵ=V>^sc#\^X)/Uǟ[/1ڊ YB!I)1 -/ i)WJK[B|i5Dvbgj г2M\t?CM *Z@;1Tڮ\ TN;n -1S1K%OXf`_ qK#I逸5(_`"!;J,ckXJHy#e J\ Y;5u~ 0픡Te .ІǛAOU`RX2zckrXb^jG o2 GjZz^z V ȧOA‡ 2KX.ѓsIl&*) '{l-]척\d'PB1Y -ODjY _pZ09)77W$>A^gCP- "&JrcMkRs.Z3zOTIM@C<|5)H"-(Hx(繄u P˜͒͝;0!fT$UghVQL;arOh[:P~ XȣyQDvdJ܍8 Ja Xgqn: Y^U>:'29mvBEPĒKdNj تtҒ kM'3;aL y49w[@ 6z?~tYڭ# Y̓o4 o !]\X{ }Hc!PI(E w0"]7717T,oZwlJ<:J\b^-f C^&̣;()Iθtsc t<.Gxåǃxu> g~{ǖқ,o0u(rX(Kr['%Iw|. ~?*I9/'_bpfEn e<$'; ~9ŃxAe‚p˝қ=:*KUnO6KO-;~tϷF^3  -(a@xT|!Tw&ѷ9d, uYߒ>c Slrt%oY;J -"Q^t^, P_)o)󱼪嚬CZi0A0^ v 1:~#N\ s`kx Ɵ={N}X}:mtYLƳ}_v2 )>4C9΀MkSQUCY Wwxq#cI$ܽ 0F@ZSt:~ b ::M30YhV@ȆZM'V2k #6xz?ֿ}$$r]*v9ier>dFFKl>`2{ NVQjրVDԈ*πg^QkF$$i^_w0Hњf]&-4ܘFW 7M^_BTA$5c* #MIAHy ( J(~4#%ߟ 08bݱRy$ndꚱlY\,.ONq.GAxTg2uɃM7-?9XU۸ܢ#̇Q zΝ5IK@}֍[E ՑuS67Lr\6GU|hPF?Լ`kG(OPX%[x2w9>mW;ϛD 6%0h.^ )E}J/%k94AhaSϬj|$@ã@￉ GSA=8s=9d#RRx$o}ůq@.doElmoKSh_{PǾi2('z.)8zIDy`is\M7etSLT ]*3"P&IДlYr?:MJL{B|ti[uz.Zz%[5Ɏ]XGG\,Qծ_<(@MA@؂}@'ëʐa%TbupqM*-C(rBP 1 * (4S@wz'Mrث'Јy,*4XLȘSԾ>M{Bu"=KR5njW.tdS̻'\ )JqUj\|ؙm9i(_0^ Y90,$$OK͠/O+b'lrي!D#7d*n s= yanԯ^?r{R46"n7˿S!F ,S6ݭ/@c'4p4t.Zv$@z-ٹA< tM\+ 8{9ޯ i}(]nƂ LVq:S,Zl5i^'<Б^V+ Yu nϝrmTETɹ"a(̨̆@Oc`Ф>?7> ry-B!u5J[eB[Nc.ZzݩǝS)=P߱i~nkQ7y&"%>pxu=4ZƿuWP{aXc@&)$QO[ i6'IuM4}%U14~=h^%J>U7!o1G?'DF R/wgJ0M6wmܦ6iy諊P KnFbpZ ZiǃR-zQ uTjVu0 E`N_kY!\yH7# PCt{УIvfʟKjpFwSȻǧb$$.gT{vixK=z"]hzPh+^q# 6 ?lxcFXui*cmzW+Lo-$uumQI!+hV`O݈Zc)-g! EWq\{}yq o2d%#J#}p$Wȇ+XbxIofo')$edSM(z~O;(}рᑿ&S;&AԛByAB9sԥA{E:gI&oz]٦|e'# `zíˠb6e|֔-=j_YI\ꐸzs(|Ϻ1W4E)PKK6bHƋ\R`G[w+(g[.j6wqAly33KBڽj7Žfܪbr={TJpܑWX_/^CfuC򆨏8qF` o9 Ds'[ͲΑ[ԇ+8QAiYeW<4}ʭ(r$h(,A^2$gO UDޡD4QHGPޛqeyo_@OG7ejJij;H9rH4MӔSY}{H%af9?Td)?YW{t-H4SP+36uvYٰ@WPp)=UAl4l,TFNßI]ɏ괓yaB9 =6p7d5YC+Sv'2V:Snz::fsCCrElZ Zam R=<[:m2Oz 3B꛿~(mO2 iE:ة˽=\tm}Os5}Q&Rԙ#+abuo75+"=@QC,|WuTIs/Z|<ͷؑ4/O mj,7+-i HݒcKzaF|e.\ N^3|vv0y[ƺXDEkG78%+ oUO*ðy蚵UVB U"bmny;]9mxoZ/1ܚVKP/<\'L&hƀG0W(K^ [ o#"DZ0Bw.TC#" ןKu;G,pI݂LN{Qs!$Gweۛ73(+.X;@Tk!Ù|igc l#&߂[e1?pr_6jx 5+#DPcaYCJwkZ1w$ 1-S?I.n6< ҈MUnk2N@@]:="Zزb0Џ@nD[!NOjQפVpݻq [(~nsIa/N[O%HRoVh2N8M8LI6*T v$4k'2P7c.,$bYd%Z o1 ­/[Ɉ-c4$A?`'yҵC}샔Z5c3hew$`iFa)e<_'COHˮ&#)hnCo q|;{|g }nV+\g )>|Ǘ Ж/*QS|M%c!>"PI@@~L)BՓ8k0~0ӳpvW ܱ⵩&t' T5ij'О+fWu~@ ̘^Ona;ICKu:!^Ֆ"ޛc'̆DD2hDNۊ4xEZnLzmX3;kf>U;iAcA'Oq'Ӟ cr, Hdx,/!͑B@%\W>]bPt_UzL6MCS8&s [sWA#T,K9w6u2: j})H 0}ԀwpX8oKcSԡ*hD't#1O$l]^~yJͷ| Uђ9π氙X6U>eٯߜ1d^1 E_.AnH{a˜lp 3_ΊobJnz3dI#+Ã? 2h@?Q_GZ,r?r"{j5s!VY!$ah}(giԹg>J % -[mLVBSr++s;%Ҿ׮X.$dVV-iNH<*L" Tr: R#E6R cw|=kT0+G={D$Iwr>X6u4^fp&z\5Y` ij~L}R}M,H0%O}NnV7*/$5O+Z=$ۛRVQʡˀa`5zܡ˕XQm%iCg^ڈnt.qE?=`\lYlbN 0aTr$vAQpo{]Z+D렢?=@]Z.s`K'Fu񷪢YT2ҖҞ #٩'^Vf2Zɐ(7Tҧ .}8Wj_x\FI ּ̖J ni9~;b{4뾺K7LʔZPJVfzm m\̈s@YrMA I.+'D.12͌o7Ң}r0t9L8Q!mfx7MN22Gp #lSўBpqC2x(t 8%UҙH`Oo9Cgq@elCS[_eIz PyJ-pp3>p=vBA{B8٧Ȅ)e^֋F9Ƽ,0z4<;M0/nDˢQg^_R3isQ7WҞڨ$J EI.#k|]h ζvD ғ9;z|jkG0F)<1ȺH?ߋ$6M F ~!Ӟ" ? 9F.y {hw Q!9MX~%`Ju8T:M gk] fdpf&y̓'½ڼa<55%(ɼbv(聴=N.CHU\cR/=^NU?*wp߯Jl/YKt;y&PG| en>A",|۶ܟK{E=HJ.jAM/-څ\%0(?Ç #Yso".@@*W|C[6!Mi|pK4RAC/4OR,@n f7˨~-|Nιe2o 烿07+6H喙rI ɥ+I {dzrT]N WLTD_tpO,`H ђG[W`h66q ]YSv%ٕnæSNlAxa3,^roa&N97/ubօ\%g.հy(#:Q0o4=jY#חFgC^Al8e0ӽ&EAsik8rcbUV aKj;NT>.5,*K0;k.wb}#5F Lw_ClJ,êPjMeP rByxWYgP@#'\QW!́> ݣ䑻+Vd#[7O:G.'l@~Mh@#ؤPƈ?}"6&\4J!|0Ώ@'+^S|>eh ?;UO%tc=cn´DOA|]25=ˆl֙;?8Ӹ4;U5em)ސ'Hx8yZs Y%g m?m~3pP-{ ^ .Y:bIc?bEV?;{GUU C[ϻK;]E]TO}gt8J+NHmh`oKjVuNC㜊wUI!0lb,mʓJvOpx9|@-r} +/« 8wZ5trd']x @\=20ͺ}" U[u64/壾%vGm OfY*<4, MvFn2痭{E6WKq69ҫGSoPʑeՐNeF+$*?[KU F2{P[cO('F%s #x Ďj?F OB 5-!.K vf'VUq( h:Ꞗ2c-Jz)ƨoٓT î L_ }:N  +ۿmDgy.gД9x%腝*i8ULزD ]nKb; _vqU8+VYz2$Ý?/4Qg|K1^;jg !/l4PսDnbrx4AN5%]k|v>L jPpn9 et"&jU~gbyaq@*M!W#d (=߶"fD:M7Zp¿;.`zR{R,OCCϋ0JG7!a-/aAƒnF^pm X F -S\c6]"aX3BH#։V])gk8,CtbDqդ#c~LDr<T&Ҽr"oޝ&7@G:Ok F[K: "TB~1!^԰_묤͡A* /?3U߭Pܶ2869\jE90 :ou(PbhzŲ-h3,S/JMʬbӝm8@3YL=<_t~@V+l.!2EN|ervyf[|gc59t .\U`Iᬠ ?K=$M`Pf ^= < a9{3- 66| Z&-:nQ?s_Gbf99uMx! |Vm0«k/o5|``pl:IR1`B=`#1˸zsݦ^@c/L3yɗdn_SUJF$lDw¯ z`4=Y>U)6U7]0YT/\aK?dL % >N(o xg=^ndU#X `7jMv`x4?a60E^oKepM6l/,SGBuQ9:_ Op=նVf9(ZKxr=A_h-̋N^ 2eOS(wtp,)Kl4`j_C5gF5'"e5N߱;A\(J~8BBq Ԉcl{y a+h.ȋJD@\u* yb_2<=p+qj6ח&u:8dqR]&P\I%Xok̄ji4jS;g6k$w%Xo]~[aAݨpRli|*vE)®#!l)*ZU-,}a6uYtzo"Gq W΍2dHijG#[20 ¬[ɍ97zCc*x}H&` ~6ܦYݮzL0R' O6sD0ЕrİgI[}cM1Cq3,"ZV 4;{QB_0`nJ!Z>e" ^q^Z]Ao9%R JLI^}kG|`Mv?$=X:R\A`HZrgE]R(<ӡfK+OkMDEHpH|<3Xʅg7YB%\Ӹ 5f<Kh>j (H4w"l ` 66zk/QZ+KЮ+a7M~n $ovz`tqqU( ῷ %_yݔ[Ap ڼM ~&uk"bg<0~9'j@O,گ`Lf4g 8D/ۘb nd LN~w!.j cw.81I5s-:h$l8`Xw)M(XLalA-N"<أifiC ?1&`VֳcnK e S|JތRgTk'`B&~y.1C#aTx&h頶=2ۥ ?.#F~1[1`m},і^ %rɅ}X$ \IrǴDR(뗈5~g% oѨL3Hadl+SZBí2`3C~gY8Ќ3j`lQ*"RIe#JBjUgUiqyo\\𪶨ҋecnۧ쇆\3G#NGx{mgrג=ҲɭHԸ t-vd%i \_0?aBT6 46etl(1]DycGku߭-z[@l``Z$٫g٦`+;|Oh8\ QI/u%SE뉮Hqk饩  fX](Isd̵/lg ңX b=5f+(j:x27 C}ufiE}~г | DCi~׾;KnMp dkK*8+4+^s81Fo jZmp *Ih] TYDN a""WܟbCZؤbF:6$Xتėf)@И Ŭ p"j3Mz.L;n}DÔ_R_%v}{SkCMV#7S׎x_~.[3c!ũ]y业Ju#Z-[+Pړo~$ֺ#9 6 jlV lm`)БyF%\kԷ)([ 1 d,@Js᫧r< %DK(>A'B|&ȯڝ٘c *% UsE0&D!sѓǝZϊ.M·.o>jۿGJK[ =mdOL4VMItoz_nw>.3d]sd7s.ŗJ0%+ lP%U"`oKP^R$!~JYє'̺$(v%f&u-r*s8=!Tnn5Ry?TJWYkPЄ<^%AXou{?E6Rxfqg"7Y5SŎ;3aVD4|\!&v/ћdRx^4*"Bd4Wf9Tz)3Bk/.ԗӛs"[f(1I1,x"'և4I3}p)J{=@^1 U^{-2q_5QA^eȫj^:+/g.荵>nZ3 n;s "&MߨLr jv"2RBwWۂM+]cY>N[5,0a{Ұ!]2jVxV%1+>ϒW|"ʸllbNߛI#8(TR49͘h\vVH'3|Y;uC? aJoC݈l| h6oxir~QРޤkQ~˟HSZ8N/4X3(bPLCĽ`_z.s?D/NΔHSn"@ImX^.DM;w~2ASso3gb,%5}ho>;NC!rVp$Mwyk{0z4DRcSt$:"= Z窼\xgg0XoТ6Ёh]~D襹E`h2G< k5}P$BJDb`P,Sե9M;K/kG':Ku[ʆ~Ҽ/`Kzoo5pВz(D* ˙[؂#g'&%$-uH"3%R 1Cj+D+Y_b8kj#? a;T@=A삘6=s~C xs´ ek'k=TvdKܣ3طc&m S闋4 q%=rGyJRq[ҰIG]r+~R-8ʻ u&cШ'G0cHqqyH:q9x!7~bjfwf[\wZBK;@>\KtR(aq16"~Ѿ4^c׮M"\a0Îv4Til(f3xe~ :ht]sh %.G!c)|:</e 9nd2=< .[.׷4{L>bՌސ͜/BT N)@l,EziY`]3M3gfs%J2>y2{Kb=GugPy= 2a&/i9@P-)eP%W2X@~+[oF@Mb Pˢ;g-f*Sj[uo>qw(U ?b5C< jONYC=@nP: 7V)o,HʢN4fGk]7pnyX B S@d٪-8KֳP`y^ +=Cq4wRmn~]FDAd5[)K'K4a&qX;sZ2!t]vcKk=LΰPPA]OȾ³ _ m tEmUHAYdcΣt>sUZ5}zZc@jۥ^oDXWpӵnHdpr b bykc]f.f>Ŵka4g% =8n,~f:I-J0";y 7bq֤?t"{`tHeʩE_s۝5Rɩ??Z:24դſm//7Ki`=rǎDrf3, wlx\=$jv ~ h]-)66Mctv8ߺwX`zEЋ'iGGޖ_ `i8KĚ uIޓ$fŖ}zC}6pͰR`lƄjBp4N=PhjuL_)o ^ %u39hJŸ}yT9 5۬4]רWTv5C\;B B[QZ(^9X2z 4\qZZ_s2*UYBWa&l>AjC/3$n!AAeE? XhzC< ܢ>Zrs.p _Ŷ$1fd 6l.e?iVQ]Ջt w!,e*_CG*es0j]PǦenv|Z_h~!h왆S2)Q_{JA9zv0+S3A:kD9X2#?# K! 4ab9ѮAo c[HV|04k|i*>d@FThT5{gN0\BUih8[d-"M xNŠʀ(:hk#w@$fg7C WYxrb "2_*n,?mUrV2z#ؒb(1n &N.8iv} Reدƪ&Ÿl"s _S$ b1ڑ>1(rj(522eQ62/2`Z$'9I&vq'UFgWOיOV UbphZ22SחboC2$J#i .vJLDJEj) |ɼCCZht2M%%{kNd&'ycGW*w@-յV.(ڜ̀?>p)_c=JC$ɵR:SV6ClA6@-g=o<ʈڵ[9A$q}C4tY\[FS R H8c*y3yln[%c7|3JȵOP{nKB'51Κ_-*GDHW1S%YUҌ"ei,YdL NNb/I4|4_AoQ*'oD:g]l %882uTL2-[M%W1>2<&J8lF?W F')Ee11Nʻ;Xr܌@vw_45*ьM_=wm8]d!j+%<= !ۻERgC>:o ~|WԘGLet#" zۀOh2m 6lv0f6䐷.QK0)7Az+r Ԗ\Ԍ\ha=җ j(5mh#epH |ߎ*C8Fĵ͑BNP`gC*[A0;]nn 1e4l.n,)BSlqG;Ku,:2!wH7sJw-D'=MN1X>2g"An .xsddؙC-tDXZ'Ņ*bA5(Aǀ{_j"QydˆBuP;qJ5P?A*t֮D.1<=fIOlk@_!o6"3}72Ɨ>Yt/moMFRKW'i>xnVd r-8uΗjԂN|*x-^;ТmSw>ԞaB@܏*Şۿ=r} RLう>Ʊp:# ? h^*1XY6
ۿ%Svh%P`[rk>}=aj+KKC{O9f-郯*S86E@e{#kG=Q3F Z@Ȭr/G]~.qpk!hHMHr\3Tw9I,S\p3Pv~++,9yS Dϯ ߷- ps^ smmq&?Wb74fC8k\"#?FC=`(+] /ubcK3ĦqA#rNi[;` %:Us[+]x2X#K0TRµ]햭 LSv4ohnUȣDԹ;[ُUiG(dzcA}%ۧvkAk5ͷ0 Ҥ q&ԃSϟA A=@'Qo$Fw/7gBs,(}S!?*.,n`'=#l6f#jVrvr,iTrUvfGH t"$ ? #zZr&_q}oLov,5csu=*{%8'G N%f p#@Wܪ-V #.bW֥eV>Ghd ([oķxjխwt<˗ɯ"&X/:7z׬4G'dvVI7Nn4='E#͏`.N`zm[Dvi)ZP"?}0%i/|j?H-#ʖS,΃lC=!58^'Ej%3A'!"HvH* Gp3A0Nc$x~{c刁hfۼ[tM/+ƦN)i`u^@Ytȥ8'sD$)Dm-m)_٬u!,!'H ")`ˠ0muUņ\?޽j8 s/MR~GĎ?Y2FcpNӺ/(8:81ׇ6SÀc>h ?V{XiϘ\R:U8_ZZБ w}U}8ڀ.f~] [P˒^$OanwS[a{FT!sIqA/ z68x ipC{^gv$ua?ęe<9ya8W,佱P+:4>`v@b'#6 j;&Too~"W%"b,F}Dq Ơ$FsY83Gjbjv6BM4ӃEOCϱ>7'/Gvט>{_ scr}2vXKnIMT^x ךd\dy=â|$%9P@v<ͩ4BhMDS/|N5f7a 4% Aa$#zI:3L{`&^'om>,u)9d$hU_8%{iIZ-jt0t6L7Cr\&&i%aLŠ V3V.XX)p 4$r ]*2)Nor㒁n2]LJ$[}&>1Oz8k!"q){iL9p)eފ/Hŋ]-Rc,$A*(#} `_bt]dfU#K"ޞIc7iBT ekz)!]m?!Fƒ yI1y߬K{0V8߳)":4T'5Y3ɫ!| r^YdPLfȕ8WY%}V'bZ'J _ۀ7MZꘑGJF!Y*?=_ f; 4 -%z{Gڠ% hsXMvaeJX>j nD(Xa_hw_#F)p쉶=ݵ;%?Dn pRbmad-tw =毲ط{A16FeW^yU6m4 Ȗ͹3liׄ_-n{mǚpS5r &I'Q=TEkd+ iR&K5>eKu/W걐NWفW u< VMp0gJ(H2CVf`}P0c/9koPLXoEo(#T^ u-Re<7d9׆ywMvVMJ< 5t >У$ugYZ87f5edf3191ccc78a79dc51b0eb130803aadb1dd9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c cff7deb7ff074b6c2f132875e3509921ca9b4e41