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 XXl%<|< ]/]HOL-Analysis:threads=6elapsed=350.795cpu=1824.364gc=85.472factor=5.207zXZִF! AVV]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBI ~=N:HeB0Blka`r9sD)<$BXV3_F=a.:8uUј8n<5лW@kygE5G,mP*sP~" +O*1hWQ I_ ^Fiho1\ X/xQQGk/$9Ә3T9`WJ`IO6$_\3D; j+0k-0d*72MQ95O\)PC7>D^IMxk}<'Y'o4ؐQț&p~4۫<c0r 6DY?# W'sIUq ͞ϊ|;MUS(p:!ʀ|pg^|_XF*ũ’d/wFI#?ҳL^ 5T" PD )ҘJ_(^9]76*&"tfP*k9+8[KfޕNyy-к4 e[*B`T{/m;IU=%-m VĘjQ!ŕ)|HOĽmH&QۉzP (JH 2O46wmeH׀d2_9 7`:O+eM9~krQ,:U/wIᵍ:Y LoP193t<ե4Ff&;!E`@ztgڨ)-cq">ø7 B"P<|qFXtPZR^ee,_bZ0e-$qTju.'6'l7ġEnJrjҥ;nHU3z+ ~g(3km' &bv4 G"!6R)]C[ÚYʹH3Վdn#T+3&q—7*ܪК!Q:sEL%9ǡF 2RK 8QGq>$H߈!!7%7< 2_'%H6C?g/;wTʎXt*=C,=""xr.TPM꧋7r{lPpYB-I w]~{'1HSiۥ\ɚfۘ{wl3~`/Qlr<4Y}1ȳVK:Cs'H7h ky_@{J'6[ج17fOIg9RThH%}WpZ`zף}49ޅX5`2m0m҉aiSՑF;t=B7NC%M$)ޝ29sJ?dh݈Կcdn)D~GǑ4+&3x7vD뵹HX )}> -d6GU3WFBрk''DaRN5o)T;KLC^idm|ԁmFD_^^q4DƼuX{)dҕ.L_^' aC*@B_ ]"Kf L^v*}@,ir ckdgH'Z|+W׎ٸF&oB3EG_Dab𘪲'`q JN]"`U`jLfLm}[mG>x#(9-EwsAǛ ?t AD(B "m2_"7lLq:pTJ ʳ]x6u%dw8և~?zvritE?){4pP)fxռխ W/QY½BE@I복k^V3X8j,Vl-peu{ 8pޯ`RqBv  m) /QPel, k9. \z# puᙉ6QFK&~o7mA6oc1?h3b˷"UT2Nr`;1i ]l?fPYHٜ@Pr m!5z{6Tqr?fGʴѾ7f:Y.ǻ%g ^O6n㊜. r4DߒU8>ys}gNmsMaFBw Ms1Ht@T556BLKQ-V%K:@T4ܗFjD%ߌ_m_r&j4Z;o_5m(/tw7Ω%b#cFGZ jmfyyϡ;| OTИ*=w>oT % HOL-Analysis  U2>7F^3؜ V`Aર̯i!vA1(۩!7Ga׿f ,Bf( RmxVhH,BcQ9<҄)@A֧bo9⩑f D473$_.SB5IR)\8G5P* ;v]K+b5[k/D?jPAvA*CZJ^ɆXԿYW@{ ,Hf֡g.'JoM^6B KJvf8#)4r#$x*]yqj |Wu]0qv]> \^B邉ONė%CڠԱxSbOj$_`,v`+]](%]BՑ)i(py!JDBmQQv_>Wn츠_5hk{Sխ8[a=ױw\{q7Gx6g&a3JfЉ9+@XT]X,YXg/TjDl}TO[D57l$2D;W'wѯd|x0̀7f0 rC%aKaQ,sӲg/dW2>(JQ)P<ߊG}7Џ甧yU?DE]Uݗ>P^Pa (3ӑƾ# k@궲J+8S5Y7~A͑8ĭfܞ#"rw,A(_::_0W`V"Sgu`瓵 ȫi|_@vp,dJWSPZdm4e"wc2IW0l0[H}u/t<Ɣ8C"{[ۇ9~|xI *kqx@ݜ:>D cq2YMNΟߊ0 z'0UiX"*aDf,T/uAǞ4FGjqE|:IM/$PIo}C&zi͙IО ;:ak;{? ,T4{uBչnSp/ͧK\'z{@ !,QGG"Κ`yV̐ H]p£8W݊D6JcbtY!l"T^'`0 zDRRDPlUQ tȳiɎ+Ǘ D2 z*t1zK(zIrPcؽ0DxZwIĴ/KSJZQ%}3_Ϩ` ^Uԑ )C2,Neb$'N k0)zU8{.o,x "T?=!y) fqi8ݺz21LYU,; V*Ɔ~bRWTV_ ߃TKX,:+(̪@^`3rfۘ> W-83Cln,{ўϔs1s+/Hg:)P W<1Oj Rܕy 3{5YܡP*RYXP~ (Xc6+\אHubK dl"B-6nҮEժ,>H7#Rh)UKK RQpT*&m:'83[oR3 υJ|q< rㅍ NA}ŠyeaV9Ux8,AW)!3lZ}N",Pn~iNX/8l<$ƞѦ(-Vf}Ï: j77z FG8S왫'cxZgq#7z6dI.?Y 8<{z: qxڄƊ{ic $ "Td/x棉{mi\GDPFϟX$T3wYjQ^ڜymE*6w=FnP.P]zunmB[^MXy<݋ܘFMx{+ 7~bJaONFA}s5rŘb^[|6Vh{ߍr;k^DB{c b#Nb.%ٔm;FKNmO/$x >.Thƈ<ṯ7B8s`90c %7vAO]@G `Jk6:5:(_z9f}Z$j3ۃfQkGLI'G֚eg2Dԃ'$ͫX&2ӅDkwK#U&**:v Œ0V-vńTve4\}&6"\0~xP I`?v8˯qa*LBwғp<F7`.z u_͌1D: oS JM%-d0ʅ Zd-`HfLp-jO:6`/+oI?p|pz}VeBйo欇 O*x2m-$2Tw+/ kQ׿w>Rۿ5i@ҽ(8ȥKZia"Q3i]6Hg675ҲZ9Rӫwij047օF %"MV-+\Єst_[ӊMz끻{*@2ͫV eI(:'r8!_Z<{7}/D_eDŽhU^p[8۶4ɇn\o4]Ӯ.KJ>|Ē6V[@ACē0"B^TIoH[<d22ΎQK=} fS#nUSA;1H3#gRU<ft` U,Լh Y+^O a*MŐ":}ŕ_\m?]4;_pײoYv+:KxR{xI=j=]6p*M$:qa4AL}3yEyN'5m Ϭ_/ɸ\gm Gq,tQ+V~b70kJ!w( dVXPTUȢஊyn,~k_zV4NC]m'xQON:cj 쿣w ]THII'f6it q޼^.D,}MƦGV(O0<> E\r" vKѢ ݺ\fNR GZ"<)a6Xtx 1N˧4o[KR"Pp?}m/-g:B>~|M !#"%~$X'dRPQ`ܜ246=]]Q pC &by/2dbc**$"G18ƀP.|q&c 6rJ3.ԤvN@[{x=}tILoSLF{tyH~̇רH\J)@2#iCS[M s4廉]Z(V;%?_7|ybpVUG98-'/yη9F:/`C %i5X%~$%2Ñ ֏4_~[#eCsRƗinR @ ڕ/z[җVp_+GQd4lykv]pV:-D$7+YL[k)KDBC4kw1TpwϠt7z%9W暖TȌt`M(/v3,<|"@g&0CMjE9b:[-ipF'ImZd(># Aps jilYň-Fy5X`X2vjKk+5%>8ICvtTHv,[}?Cx~ZGp F=i^^1]-<چ%~ג >LdD,m64 i*DvW%A)9<( eRY`˫Yd ۾-xU}><l"؋b]<$E jEҺBʽ|@?RW[~Ӵ;w;pB7sVV<G{Ӊ#0Vt{(R^:%o5xKboeo}ehG2tRkBck6iD*p/[J';jeN9`"b (d#)Dh -ldyP&l:NGk"QUpK2\wz׵: X'QW@}-XOed[Њ]RpkY-MmOYՓӉEIThPM+}jC.dLGU*~(tR11;[s|~Hm\< 32^$mIxHSRҽ*IB@GaL<'A]Ӯp7Jdӵ :V[!}_h)- v4<ݦQ^DK)Bσ?T 5\7sL'I.$p}e\{O tcK,~5]kѕ,ilNOA} -xWkN e4J-KG`xˮ5>v5j͟Ǎbi7AmxZMOk~W<#gs&Zl``"BviS*9f͸T tEnS)sDb?N^#&7DǢe$>,-d=27wu#Tdj+YbhfmkwPB+8<Cl+Ek,ٕbZY,}0w>y@M]ZUV\t=8 ]1k9ŋ!)>| VZ[FHKѽuZtDO{NYruAU J'؛JX@t[`Q4 2H0,Anlw_Z¯q 3HaU@1xjS`R)iAImӐ&í0񞳬+ &N%90Rj$k6Jӥ# I.#$.`, aTiƇO +G5ķuN :.(=ߠHf6]nrHDWLcBq^HajK,s @fc0[!]BEs6ziKZQ2~۹NS4o -yRc8%n€|Wt*yKoV%;Lc֐7X2R= B&'CU*\MM.(oɘSrPq5Sj[EP],?ޔiRr4{Ċ~ W 7ݶ6 *nts'z{Ɍ|D81.j[E{`ЬR,A&660:\ofoho\``$?Զտ`5kߙkF&/{3g<4r #=_;߄NӠDr%OSWͶt9MTiXE:%9JQOXWw+xOƏOxr XI=., ;T7<`8x{4&U-[D3tlO븝#9TH[phQw 5U韧,? P{`2=7Ka4,vrp)x9'ϔ|HH% 2x{]J(+-|9~uEHIkU"yI .5b|PEB+~̔ݼٓŧk)°/1mz(P䕆JRx?Vh+og?mz~t%D5J`|;\_xL s0j!f!(}o'qA^t~7K'e-QT-Je366|弸/F˂yxae!^K,CT䁃l5D_$5T}&anJo[w+y<෈X~, lWv`P &| 8!ٍqnV7wX\$T0K0n,V)1|nMU|ΕOy8-MQ2X/[۠^0i|__^p!jqO;8;vk}y}NKlg?9f=EZ{Cxno֙kG̎"wĽCѻtyT? " N >p$Q~ݞxDG:a:*bO nRV.*y˾TMm>`ROņ0\vxi36б#>R_4凷хJP)>BUʋo _/ζ\d}>?\.|w@pe{4ƈVF 8榿>zɾ\*KoZ-~Z+ARQHhTIPGBKC 12IH]%-!V))pJY_-:/(&H1%mm9v+.bj1v_Uem]'mc{RѸ =N0 a'NivoUDP)=ŁQ}"q=nMP!B"`^{nѵŗmtJv& - `ûRW?O.{<&3F;տaX^̫| v~Gșzrz'.<߼Ź <%F?'>: 9iϖ- jy3y@&BI ƘA!@zbvLTx`v> D ~0]:Fi{G`'Y[UM GcC],\=Ȕ7I4#֘_gddk8?wx3#-&DIGv4M %|_8- " &LwO=*$IqK Q-%aQ.}E7PV /;0-]4eT*\T%ê,6xڡuO߸UyP'@-<\Bqc._P7l| VTkn&L,f\>tok 螋&*zs7S7UUym48\Q5k\z@&vHY[҉u\f:mZ9چ3B.ƒH,/`@C鎊3! ycu*"/aDۀ/6]zwkc f{fzٵj=כj0^TҢFÎ3pmny<;IM_++H|kd :oҞ1hxʃQ Jٟ9tOt/t6W8cd?9p;c`ݜiRd@aL9K~2 _,C>Sm 5KrxQSLL곌543 Q{^L$h>,LT6Sc͓%6_$ $:W[-z4F]4m)o{nI͘o\R0b IىfڡtD?hPSƵۛh\w y]7EshtI4;(RXT4!yqۼ<}w$2WݢnwB3F FޚMM %/et}+nJ,P7ky Q};%nk ,IG`j5}=KR5i8o}:|9;ZdjSTO$5p}w/җ@ P .$W ݢ=]. $8qK."y4}w]TWi(ő~˂ 8?1yip+DƙJ{ܳ<?$+Z&TS0!m+I[P.y BqYHZ(*#`~ .*AP"co4uRdHܔ$C^ pLS\#F'5?X?(du ڠ'i&<7!a$n7 f 3 Q@Py44LenT VFO.Izxg**Ȧ7sXgu7 _BƔ5$SqYo]q|S\(A`DwB(vpݬǶO6#y0iF=MFu&D5TJMx_5i4_he6>DtFCaQ6dʜf8qZ%w;jOC!֐7oE̙1@P)QE 0Wo'T*#rDJ:-&wʚJ;*A\G)/<Ȯ tUkV4#)ޗ’ԏsdAqqQ@c !񆭸#i\@p),[Q#NՑy+tY=f(WwKFƷU$֬+`hk?Cc7<Ɏਕ. $VEW6XVk5nPBK':H,Jg5˹vSd'U,dRӳ3+2nW ^pX(hV!0pZ9/>kS^^,8fd8l+qU 8g*$Xlo#)Id(%eR ;I`j%Qih"͏I %E@ ڽMqpAIQ@Wn1`zf.k|VYnêEhx67mEE7ըê=lѕx3ɓh0bV2{JD6)/^(LGY[-Qas92g@vz><@>póN80C,mo fjgs<#|sZi q%*Pa-pʺwk)%~YĢYcϴJoRX߱9FsiϜHS| %uPamtH"3Q嘄2a94I$&)<+] [XDYCY: )uɨ77fbXf"g()Vs!T*O^puI8SihM-%n C, >:o2!Z]q4(\3|&\zOGg$sPb)$dv-Ιs6?+ EO; ܴ0(הmZc7"aEqceRZ*!4G%Š[X!Y0u;MoqEЪ?ݣe.@}WGΏ ls^sU4 \`kM0N̰19Lm(:/5sgR}^/T,sa&%.1OCKwY]"Uiqrmu\^] gX1qW)Ea#/G3~9<*GV^3UЀ40f)LZ8{>|miA=b`8tƼX~ljw-ZtUnwZ(ƨۑ*ޕyS wD<^UW1 ̭Ga=H[AIΗ/;ZuD9uFȫNDlk#_Q<8TQ}(sLuQz>~uv=bAGgPUQ -ytfo3L_X /jQ,[mtֆqU@ت@hluк8] \b^`U'M1M<*ج%+gb5TѴu<ϧ.HCV' er66ڔdNZS_9ɗ.XOM+Z`&w1DKܨyy!95Z!/7yXƵdfz -F޺nO> -k:qNPx ><1}(څ`؀k)6g dZ|ft5b| nrO C|3/W7 $ªfT([$a=;̹?h+i0$5Ԕș F2r-MtHWQ:Jg')Y ci (a(q,vݯfJJ0!44CSƛX k_Z}(iGk->NcNO?WWJVws!͇ZjJeNWq n3Ykh?I+l0v6]{w錦F5L{# xWS&&PS^uUы,Jwe] Xo čK?]e,uxL m&W%7(t٪mf}1n@jltbd3ԛ=Bꙺ8~J=AhYfXJ.S) ä.M+:}j W3fmSq'C\̔6TF6A 5.RƩ?BVw%Ԗ0ćЃT~ _VTcB4.tLI.Q1s#p~TJ 5,d8Vna3Mt󴥞Pd\MyqT[)^YJQ76!Xں@rhIĂ{}LM&I͘!(]"?5# k(6&LAK `#f Fq38ħ_qC;3k,^/xP\  w6vC @rVb2Fja+1%0V-}Lxa!UwEj'9ΈjÌMycV"gAos3 h65 rLD*?:}e5 "mpmkTKow})ݑΣ?gu45W-6Ic7뙒MzR&KߋB[ jĬ@}UTkXmAYm8vO!$m0\??WF'MW3~ꛙHjs%h _S$(Y9\t *tx8MŠ+ƺc*G<Wa_Sz—Xy6?fFM`@n՝K/: 8Yb&2,9WC*EdK1Cngtto#5&q ~O+0Ti5vf:[I#y J `IҀ\"V;y ]2a9tnWĽ ИPX,GR%v@C([I6(yb_)>U:&y`% żx'"qxRCZna*򣖔ijRU lTQ~l(Tx8v1@{@݉:UboqHIKuLc͛T"&8>ߗ{pd O5=/&YَթV\)*,7zc8Pj֯|L5t3Ri.ոj'tAjythg[ ;o\3Ktqt4)_:no2gi,Ѽ뭖TT1mMaV)Eh_tx~ֶ Z+ƈO|n3lWjp9ݡkǭ Mrϻi !JL_pb$}ސE'7l_COMBlOSʤ r>` ;Dht*HS;g,")v6E$l7$iOO{3'_ l,V }k<$29(}KIZrWu] /h~`Q,B;[9PVi&C@`l@-~=b 4HwI#̖S}eh5 ,/HgBE=^X%m*?&mrP)gPٸ _6.u{1K$׉؛$nx͆:Av<y_)0CYu#ty}E䈠Euye FETZ9ƯH āNP.S,xO,W0]ѰSw߿ff 8:h.[TG0ֿdn29L剡ȸ>i+U2hd XGu.N 8|fFWݒ^ y-CRBv b5/-d`"b[asigW7E{gOpb3I + mʇcS|V5LwhDWBfy}lTk%*4.)=ȜqceŠahmK8$hKVМ`):`*D!\E:N&{_xGUHPM>6$_zlZ}el6LU_D;)m#1tdu>eU5t+_ˉ_!;ʤp!Z+ow黴ݻR- ;ˌ@d4wxr{=;j+J/ZUlN(Gf_&x>ԚHI㑴GaaQdO@WiBIFhE וW 3'(=zI4tңv@k!8-MY@ 19!#.|ԕ=/* )+|*ʧ&ʿvӱ`8޾m5FxؔB mj<<=b bt>K*#al8-ܨԩQVm'Gncܽ=\(HC4vB) (`OpwyL2=yo/udyz">&c}_a#%[&ٻ*VIˎ^ wjP`.,`h>d*Ybtx YY1#`pbUBqR O Ԑ Q!*mAY%8j"_ ,""oh@y1v㤕؁^ĭ[^^9KEyVXoɢ=j@yu-RS_5Yo8(w/M@XI "F<@Z ?d'4-8] ]]a>衏]mݩsK}ӐDF7v<^lJj?(iOzZs_Q9y$iljzi*ؖ@]A[7.fT|1TO̘ 9]bg ?ֶR?~柺5mmK0^ua^@h]:Ovpo6P> @T2X܀%t` wmD0ҹ;.K#{}3rE:3~@Ye?篈J4$R>hHrnB+fZEu2`f-fv;{Y{oK"-RӃs^/}÷Qdͽ剓4bk BJNO<<>*1Kp.sPV|-k_NQ xW:h~h*|֏% 3j \/? &5ܗ|ݸar"x0M+ ۣ͈HD S䞋yHFgPᇶGs0sS5yGg)0lsNƢqddD8F%<^歲UxKr`@ mDFh8G"Fn!GVg:m3QEFEicY#jii)%+1]?vu*]nEr iCl7eqzG,WF=D>+Lf*_Tȓ6~sjBr3樒_Rcλ:ZvGG]c#ï[h~LbZ|#h`T1}`%[ l:"+=#Y!|I\`/u+/s2؈֞YU”id gYZ7zXZִF! (! 6]ŗXiɟ1˦r!cHkMeBd4>-BS"r5T 1A,PnU~v\SMC4z>ͮq @wP=21UjW|-p^wqXp?wqUbClyjnOW`jX }6}POFq`& 9X(.)xzۆBqpfޟRiCgj%9CY` m'$W!ڷU$iUlRM=)pde6H8%4yFiQ-jQƥĔx_l?qc$]. x* MK4sjSxw@NQq8Y@1vxd;~֐_p,Ӭ1j6Yl8S,q2Q 8Z{-mJfaސ?OY IFym_ 5B4Lot 'դNjpɨL.WIG4˵:XꝜ^& L聈L+ }6 VOxlb`D;vKEN$:"w+{$n?`'S7i'YF3fjU9Z Cks44ӑٗKܼK>d%Qۨk;ql.]F tn ܛ#Tj`bk6iPߵ ԣAK |S=~R> 'df7r%V[2͛8;P^@9<}J=3&Sn_a-b%U5޾Y>ODpBք8(]862 Hs/U _~_{kȸ l`@ I MdRG߯OGTB2#?ߕSTGp3c,v!]2!#S8" ZܩD!V:D(p`n^yj`?Nb0@Ď|ar\'1u?q@J6g: 6 ƭ0MC*Ui"@ئD^`[X3O@9\EYfh 2Q.kn ѧ]Jo C+/"Kp[LEfZxEܖcGt]_0x`J Q rBjp&cjnp)?uz!e+$0A_[]}BfC]XPx 9'p M wR@#5^8"ϓ94=_ȋnzܝSp?C#F5T9J1G}Toa/7xiPx>MGW>,Ӛ\Z O iATݭ]0!@I3Wsg6]l\,fZ1q8i,A5LXHTX-,?]MiP|7DA$oeRޏ] 6Q([NKjƩrcÁ1nKZSv= UIVui8`›6hy8` 8}-jmmq;>0<㡲is=fo!?7-ЅIum'C."~KjN/aakMXsW'g>3}*./hH CDN]Ģ>;|g>[b1yUOl 汥4,Zqu(a0עTxϭrOYU%uvfU+DÀI}7*AKg|M':mp"]ÇWAkU@J cT:$yq/F^'L۽سPcSrݔmF[1hQdq1Y4l<,`A!I+CwAVk jcF)F5) &u+!\c|, VuyNSgl& %%2L Oy1cߍ'ٚ,Y˿K#}N Ypw)}% ^1]_,rW=țv"ab,м8['x?:U9ip˪I}"n_X`1֢dD@oO~p. m.-"ePwz0=J?Xqp.08M TF7'r4-ʵ=oQj%[1?Ê&_ܘﭟJqq I.et]xiDaޤ;j3J&'D 4LQH{xjAH &t{^&v< pA^j3# ?}65T@Wh|B#Įɟݻ`r\r^;G-6.D@C!8L6]?8% YHCD8//=qgF^;sK|K['@ oXVN͎?$hI0,^L+*eo[Iamg3'fo`+T&q缍+{_#KO %+˷+d*Dw`=7BlSm:Vb6 zAY{̂˾'%Ua1`!%+Nj3q;^Gtΰvx"e)G$QD H>UO=ˡEH-EyubWNv߷Z`@SK H}[w ]zI/sWf|0&!az lztW/a7 cL̩s5W5ooyTx0J5KgH)|MI=fV&c p_k/YwQu : +OC"M0XRkj C3/JK.8ӂGa2Yc s7n3fX붋Ջ(=g0s% GALۘ2 Y \t\z4g=mc|A4%*`JX,C2 ,.c<+h&Ӹ.H[@[ה##=$c {N2gFnEy#s&qR"!\],4]ܕHie"~KNjՋG/Y7c`z08PBba?6zc%؛۰?`Ku/Z/l}WfRʯK&"L0*m+<<8'3gSo(Gcچm,p ~_'c(UZ( -l-_-Z/DюOm ۋ=Ս6ׂ Dq`)gxl,q'v /}W-+o*= g]΍f;oIQ}7uWD u 9BZcZOSF gŵ%E\ן!ARdSN,=l#=|[L>́MLOMf17kiFfِ*Y8QU2|8+s5b[iڽ943?]ԭ򵡔 b$3:5@Raɟ ~WP -F6a@"焐Y[qGt+ 4d8a>Y>"~PZ9UsD$ e+ DWt_LSѽ^.s:nZL&t(y.Kd+X"Q5T5^L':ƬƺOLCgDKCA쌩5FU ܍xqzA`cWUD!o*2"R#PX׃Hf"HG@"1RYO,۞g]%gc*hK/ | ߒmK^.sݟK48EdT7ʖ~Uƺ*) iQbbDtLUdtV(=W >t޹&U]E;$!!\V$[a{Ԏxd%8TC6A&LbvC`Dӓ  \\Sl'e1r}հK)K}eJUpՏ'sf{ugcH{fz#_\ăDLZ$\}:q:/74#7Zg[ ܿeuqOf;2nV.^bH4D-+Fq+ua?y}Q}"[Q5w q 0'{0+V~+ TlIQz n "A0.( ci0j[;%)Ku1mb9XWx~)vH̙u:M0s2sc#xYHb7Y&kJz"<\ri߮,G0vIp$|l74Kyi\86dBAN|g{鑛5V͒fDbTA+҈*4ּ&d2$*F :vutqnX (?jpz֬S ~ӛ9}8;*'o> iO)"0L xiDC|V܌ssُzUI[t2^mB,t7OYK (9MBp#&i~\/3"]KO1Z) |6bPkP8L\]Q .glmnJC%62"t?|Ֆ[(sp0[}߹S}4PJ̕4u>uti@?U7gvw 5K)JiO,& x}тժzP]Q*bU{*?c35 %mP499s#;RW \ǫ@PzgM[":aO'| :a/2In6ՏRSG)T>cXT u Jrӈ`6ɠ48@>R&wP~$Mi@lFlӡHnaX4gv 4`K,13kW\l1o: rAo -# l%դrHZ.=n&3+䀬S7H]q%$(26 a4,vb[]kҒN_&;h$~"x]Vk:9կQy3pyE-Z橙so i9>{fQfr[IAYŋ\*fAٺ?[j|YxuE7뭓Qkal(=1)o[<˼ctm x҂;o<?+hS"}~De}j{qGnQJCűn0''3Vk GgAR3Q.NxH]jzߓ\̸zCC=%G7c>SZj i»]|Y֛߮ ճMCˎE0ؠ`;D24Mr%N~DFȇPfeMu䦇јuA㐺"S>LL!jPR84 ,Ml_$.`WE6u(bE|ZxZ 'QsB]&O^'ZLч%V}h4/u+PɮS>v#;B ȒTDH<+zMO*s4G8U_H@N_ t͐q2qaN<=mb" aDxQR9\8][NjO`Cw5HF4$.cDt$l|9ѢƴvMx>lMلb͊!aa,2nCM~0y~ t1ZǬS>6{YRgچWRe)uw5(;1i%f` &{JlWU?[[VYClsgqOdʋ+b0tx m7s:Nтο5T9hyɿ0=鞃~e΀UmqGUC {iŶ$w!SB O;U'_E.-q:lFv7>wE oւ`R"TUO"UCV|ϞLU``q46JAƩ~CkH>m{ZHrSz4lK%t:pƵGWlPGEDKp/*z5B,@4NEz{x?-Oݜ} _VsBf."%۽YB7t S&Q9E#|,fT~,G=Q/@Mdٷ2\v 50ڧE @|s_0 /殑`W!#\_Tx_ԄUfGsӢ}4h9\:ۗ[|lO- kAsӭ8ʤm>+rLW2.SP3O mcD~J-23b!;.cbL;,Qǧz&M2#5$\437:yE1T"6&cBT;i, &v6KU~hf0ό]o>-~@>m~<]B8WV.rNi_n=Mnv}sr2eG:z& Y2&+5)|k Bږ*~|(g.[ w1xJw쪓'  i^5˪q4vZx*~/Z g aS'j m+y/ BԯDNIExz K9bA]ƈTAgWUG^h|FDNmBӯx2ψ9džrOz%w7G^D!=_+=nep"K6 [nP-xص 㯶 &g%I1xD7tےS4>xbց0RF<ʵ70Ks52 jx mJ)+LZM,@GVoe;V\i!y,t=cvĄRN ^)?"n'yVWEh#!GgĀq}Nk (I8UlJ37Xc2=|rٗLG{B[GlID'FNP:uj6P a5͓tsf8$gA35s\o\#au:eOvU䜗17l ͅ,sѵ8QHVFbY3zvj| fAUA} :kҘ'j4aى^Z1Br'{n̟ FΟ6i)j>QS5: *A|&r"q=-nߺS0jJN&]-p\߅iܕ8tCҋ]-TDT,5T,2:1!"4+ -PěVj3t~+$c ):O"E1P:T|ոfSךI?0|ӁJxB;Z|7ؚX:FΎ#GILP>]Ł$*\GyfL :E,i:iyxs5=n?z(VfuT+Ƅq8qI3^ԓm\7#NF6WVА]vH0#M{.x꫽aM[G˃_Ւ&L2bLzo{ٻY}hkـÞ*x@_Kb?E$e9=|/C^7ev)s2 <号 ech/14p: mpt,d3D:p@-20s*BJx<*Âc:pbX!5r|@> ^(:KbR Rf^Uw 6~#5 IM^07F9 ?ZyM  H5XL{|*q7hrԘ)fEd TZ~n Wz9?9lCam$XL!rV`ke"  c)\P {]:܁ 3[Bgf7E1Ev[ r!NC|v,K[ۈؗ@^gscJ-5@_nJ{K1t' Y5}4'[N6?}X:/FÆiLL#ݹJHDѴhѓU$sl]WKzfQ-SdZI,=~/͔M2߱ U/^li%S_C`"L F]War[UDHf8EQ Rz'|?"Z:˝C() DOt\Yx).Թ@'U{`80+>I kmhmҀӒ8k՚v`ta}!%W笴Xz-8 )>8V])asF9*'tIΞb+0G/,c$ީei󠱏QvZl*,tBh;0UCE?3JoŪ8"dcHiQ5b͞UnU>(%zM"ن5; }V?c`D)4(1ԟnXGx)&@:ӽ%)IpV |B%m%@`4Bߧ~ͿJJWȎ /~%Ysa:tR+DV qRGt7 #h ,#yETƼ;OAQ L'tLt.csܽ:J$ nᆜ>5N[v\GcD0:.gcʓx'>m&J毷 aADϑpxÆzo !P ӦGEMZp37v swDQYmN$]̠g&M0Y8MiQiô}ٜ(T추sZUh $[nåXr [ jX0+Xm-Uu V5!eU Z|}d?7(bmV{(Iysm?^#$MuJoz}@c>agw })k=@.:ذz=^LE*q},iJd Ka#aK} !aHPկT)8ayzJC JnmdxA΀jvyM}mτ*` c*J- 莖DIex ;EJ,3 ovC]N4̪bbAĘ]"+m$#2-k4.uFjS,轁 'K񫃾V/!+;oGHVtӼ+Ң|'C1X%s`;6K<m(!:(8pnjAȬH,2lrQ -?n<>qZPOF U]J_%Oر5ZArK<%Â̭;a"{e+ֻ͕<6]; ,J|b-ь=n5BJ~NւnW'>WuB jdG^ZFFL{& ʛdô?N#Ge=[nafGMcSg@iQrԕ=& B |߻Q7pvAߚgnZ)murTU h^İ-jNLJD:a,!"d\2_++cGJML9 P@j8Ee ?M{8T"ǒ_NmLDC}: \W n|%e%G3`KmWXaUСCw.SfCړ){ UO̪ om? Y`+e VaE ǀfG;~_y[G=ԋs%<s3!OׅY<ͩ+_J[(;Lـ솽W'b7W oe 8@p .A48|D:ؾKbl3/_E# l^5 쀲˫DIy)ÄwAsVT lױ,(9<:w[M+RqX>fT}$A\QjWܛG T5uli=w7Ugf7HBqsUYKXSOМ*+[G3[eΞ˂f\׋lpI7=؁ Dz} x2(Xϰϳx w{}zW*d,! 5,$h!L^OL;#4+kl6K5|F&qEghmQi[v>SdQeyF >22a1y#oMdVaCOV@Ȫ36 .2OOI佸#+k3vTִO2i в]j@'vΖz<%LDl6 6a(u֢g$1,Qn߃?[M@0Jܢ݅^ɦ{Ge@.[et2gw(MM5eXSSD_ O0C8l),;^yu'=&d3g=0hŋxOu>}6x2e]I5lKKcIa9-EKϢXq"?u@k1x D)]7z F?C 8 fAhG,O+X]P5ܳ`>0&HTv-Kpd}WHl:呌skTOI ?A UX)-(0(bP:>t/2 $^O%& t>i$8G]K1& c)`8ӥ)=Wg(\sbѩ)h\ ~Ya C%ƧO'<"MO{$dpn j* tN^b$q(e瘾Cj(iC*Y$x<&%jjp^}@V"圇^ZBBpЍ/bn eh1nfP*I&PMNZр+stEAzRh 'BKSo]K }3&(8q]e^;ݵ^!Kdnf`&),~u#A虨rZHƤ]zbߑ[s>ե6"K{hr ":BbX'x {wWKFG>fJW`@0l*s_'ShOtv ?#@w[D= ֕쮓4jxO wx1I~B,z6Kh#dP$`j*2DW+6N@d*CϷm8gv{`&oc/F!BoC+HMDӱ r6=Y5>UWMy,)>ۊV,y2HweUT#φ0x.I]ޙƍ:rQ`hklB69y;tD/|%+?c@/;îBΦA?by\Gs7r Lq w"\':|X5EarԤ"-p*s/H80pW˄o6<5h2[:Ӊ Ef8~[R7Uq[$Z=T܇ 3i/S@Y&g[(iS#nvA)EƬT~<ŷMzNv*LdA\NxŘn8h䵩%!t~Kȟ2tHmzxR LGDO/ eWOŠ:I6-V. SJ㩏ijEzkzwXQ4b~>OУ~$"M@bm/.tg[;$$A ؗ%s,~r)%PGJ/EMdžU*vR~ a~6Vlk, 6ْʁZY t}9q$8.ԓ s7f"=&Qqprq!vv'?\ua3cJvAEfEh1)d5{!q]E%qvw`Jϲ{w^oHbkFzM:LILVA4k ;?ΠɧE_?U8sub1dקRr|gDMpÃAY5-C+r %ht7^LV9))h:-P4祰<-q`B˳/gܣlo) c! x:.wP=j@Ө8lFΚCޤFZjwQЈEVX\sLdך*E@9K{P&jE&RS&́O_8]ܫ Jf8"PǭNQr^8Mi3L4BԪS~:q0?oz4ǂֆal^u; 9uM57Lo^*vڭ>쵥4o9JFa?M/e_-[k7"N D^s7tŀ4>Eq ~K>ܡ"Boۈ0.5v?]<ƹGؓd\>>Cw|߾=nړ/B/~5LqZ& N-x4`,?lOIF?]C~H!%EǏvTMlkR0a w;27l~DcT_M_Fbl1M.Ywe^%8309\\935\0B.-SK+C]*vс1@%Z[ʼF T踜˥=M }%\HDjux C֍+Nvqq_XN`)fpȖ= 3s :0 s0e1C'^EHPVӒ/'S]*A&؊ TF)5M3i~`8̟)Hyѹt2D7#nxؚ5U|[ KĢuIZ_!+T]W‡Se4Y՛Wa J';R "OoߝXYU6S@U4p`g+c<?o)&|rlAJ| NW +p"<8(AG[*aೀV c>.ίS1ygp(~!cil MhFWFo" =-Xq8"<;Ylz {'Yxw@eD .X96ust .?Dh4.cP*<շ^ N$}@=x.esgJl`?,]̧ȣ.yDj*ߊb";`bw253C f6|5=2au>YլYav#;n TBgQ 9ꓶ##s&obRtk]tA}M)W~F+_fA^P usgYK1VZ r9z} z3۫yT^N`7}yrsq}aGگTI IZ!5߻$'&AݶM#0r7gm"BJ>~cƐP|bl W \< J/T'AcVRAETrnB瑈>0]ȨF@d1RLWEc@_?I,$.H4~ L\ "/vDG@-oi?"40(%Q?QU;X'ڪcJUMRe>zXxkG0@މ2gtĕKϊJ @B-L[`3ߘ24NOPsbL$36,53߉=tfYOVn'@gn+O G1x3e!V䮐A6RZQ~E㠄׆boQ|Ysqe!}Z "R晅ë+iY&Lf{Z›ӍɈ!#Μ%Ϸ#riJ7`h]<='tQedJ !ZeI6!X p\-.2E^h{P'[`;EDE=>}sIPlK"[S|SW+ȕ4+f|+"%SL{6 I\n$ZV";٥;<ܑo[#vो٣LSfԌ"1wDR"%G'F?wA :w-/`< v?aC Vr qZߴZYr g"G!k4=63zz)Ѹ;bhMejU8/2b9c=vS_xjr"##_PcL#R1)y([xJ4NW.O Ε'4x"dx26AKT6R&Iq[AK7K X}ԥbo9 թV€ՠOݡΕ~V߱V~#-L's {jY!FkJem>X #Z@9(AfƨvdRvʼhp ˞ý%G8ЦDڻdvvG^#GV]ěHӡC󪨋0RsA3v#N3 P`:*lNކAMj 8AAHջEKX=X*Rz*^5gGaOE7XM7F$icy&j7k ;,;Yw1$S`"jPCϴ &*!ø=Y|HA4ѕE=Hv ٣odI!,#U1/Gq#B60^wcsm!)*)][QŠf6_Ia!(C..m2xø2rlbclayH0x:9G>͉l{BB<5Gĩoo6{ H0E>蠅P;tF3:#e-/dH^<K^,u̷3q;p[{)X o/jDDwlo GrX61rs)m#b/CZDt/u3~FYGH! ұofô[.>])-QSBf(Sb希c^\2:u [/+8.O(Ӑh~ wWg)z/C0ml|{-s7n=)ZTv>S=m0p/D# $$-CȖ=&Lp4M^f΄)lD& (13g>8,=%beD 旘yDy+ aV0yQ;6M:AZ )4+ v8na)I[[LȨͪcw)+S}nnczdgcW)ϩZ>c%xe+.n;g} `~7v9 {Cg7ŵ~puq:^^Me?dcuJk[y5~  9~Mĩ"4b~@ta5ɡs|;#j_1NkU})0ǧows0Q+{8<@w'njD#)%u|]4"0,\L 4-7Gg3B2WAa"q0-Gcy{[4fye d,Z IMc`q͠}q2~\;a[GI9KU|6`CKxת=7D MܯShU$Gh BQJŖa(\ cSU9QZtL█9LSXp4~Ih6ZY z8ȿcpϛI|Z1`K^9оQq=pZM}aʧP񞭆NpucC c/Lf)1N!ed(^LZ%uI`oIgA3ߢ@o$;C"kԋe& zV7UڦakO(=/+vkm cs![:BD.4:(@*ӢBkbY ڢQB >rG'fߊţZ Iq^+Ռ 텫\wݮ:}lr\P$>ݹׄZޕ p$˻X9$cO0Ш*)U=H=ECKƏJ6/قC$SLAe4Eu͓&7"4B*yl಩1H?Hi))4s,xZnryq7fYqkaU&)A{ԇȣv` I;)?Y<c_S[~&e6%0Ѩd5s#Ѡ/ȼkd͟[tʊ".WhjC'i}JVQ!S@eþ;(&:'<쪹 [:I~y⤃qF EH*rJ`jmpatpzx/0΃Y@HT̩Mp"vɔ}BOKFY6V.3W%w8Gj؏QOkI6!EZEfUl^Y?, Wª]jKbVgG"9ߓ>gAn%PZޕfD)7W"9&](sMϵ*]^SUn){_|hug!Y`nviUG ya&ᤚ4z䰂ǡ9U ̓>MtT Aa-kw^Km:b|<u:r(4" 6geG~aw,Ԍ.$V[-@6%Xqf~ m2Y?K r&Gcݿyl 󪶫hAH 0hb1dFq =P?VYNlīYD*gh\"j;>:rĜPᮛ\ҹ:jlNGǞ)ԲF4!|RHщ`3$x/d_? 䒚CgZ~4L1䛡eJ OFӱVGolTmD:$|̎Q% F F lVZ$R]OyuSX|㶬@#ڜ(Uڰ6;WXkIGVE9dl)Vc>M{`޻w2geK?|f 75 n R<!tl3W\1i-J$N!;݄X޿Myk3I#y| 4=lbLCCHL2`]4?G鲢G 5f)L $av*;XuY:2k.F~#jQ]~TŶX}{[ylQ>nNaT)8dh<9"3m׏95aENOiۙ=6c}=ڝf&BxF@T]{ؙckWbj?z[VTZ̀ #Te zHUoVj{d<$&k(dB6aJid~ # {h9@9Ԝ]qV \*-S;^H#`{Վvz^`-^L /̔'a) r)Z37| "OڕupX* y?z yTuy{$2r.9wڼ8p~tJɒH^T@1 Tܫ|yCx,kohڃHQR\S.NoϽg SO/\t4ߝ,Ϧ-Ȯ|}Q; őNXIY^'H!;F/3zT2 eV_f.Nf7Y#wOob ng=%)3GΐrmYgC)}t">ɳ?t, uub&p]WD9=I3B~Ze d9tgk{]:βlؿ^Irc'BL(s$]`2ҍ-Li )["4bKZеe#xuWMjDU V䚪8hgd\Uay:0W iqd;DG,כ?ʠ|qۂ[^& &Xȟ[yre 9ySE=ֺzY{m3w$"I>8,mgT5-s!f,"bDODSZ&g IXIk btPi/H5Ԥ7ǎڹĭU<~,VG QQ-pYp`6|SJe5:.E?&SQN9g_y2`e۩(Fr=|*7g wS;(:jA+CYfF362㿛D%4"[5֠6~)$}y.puD (yjpTwٕH0:xӦ/ᮿjb||pZ܆)~D _U=g B=ihW>R3(z <}ਝO[b717|Fͪta9(&Iɣ ̱cD0LTf4I,'i_U#N1)A@U8J6>J`[mH(lx;!Ra9%$mmqQ{8m.KtvCNY谉ב-9"tӿǁNq gt7$Nk=NEZqnWR04 (eJ*$^wdUn,I=rmYE`7& ?#[N L6 Cj>fnPʒbZ= e@Jibw7K~~oI1̰RWiC즱390Ӣ|ZE*H6"Jrܮ+䠓HpՇi-_ܟ`ʳz؁K"s*!FiS}ԍ$ǐjˉi@6UŜ|`hé>!^i8Ӊ_l,'{<} iC5}ԼCw jP摃[ l M$( ;|0%~E.񐒞|?L.gARR?.} ̡>gΞGŘWދx(68ڙg( 72Z,"NB_׆ƵVNA_Y8W۵&ʗW2Xt$/,}QԳ'sMS0_蚦mv)!E8Zx7GVg D] Ýl*we#|1‹ߖ8M͖fۯSJq6Tat`я \9h33 jco&vSصe5o)v7Yf`È9RC9ſ6J im+pwFxA QGKphJ uEQsoa˸B^ GQI)Vǚp=EIz!ÞJ񒱑;AI(ih ;ᰊHemX^f{{;ʡNo>W^U>V~.J$pT*oB@1qVeVB983ǮAQ֐}؋xzz. <DHexGwƊ~t0Q_G)׆OM.,<9Z\@rOǫGO!ނ%zݯ9Y' _w}4lV;~ğQb< k w1m۲lY_``[a.cW8 f r/ϋW5dU2[ִU:hG)WG';[`:V28u d"YCV- }C*=ޒ\Ò兔,Y2`k= 58|!MVJNJ1I@'&tKtJE)ռnbm\wá#Q2!S>׼-D+;d<ג>&*fGA/pLԽ1o InW?t 3ZLSwL\AEQ 戧+9D V.^;0ph ]!|Yj|Ckm2S $%$Sj1G ey6PV4Wp &5 |!w_:]& τJCE^lH?-_@Auw+E#]5-biB%m6'VJ,ᑵM] ž":_pLH ,N\ƩU8# GV<ۛڿ5ZpVQsz p"%#5(F4hd)HN5A_ @:A]&rJ;3NHf "DT ,VbV܈5(5{6Y a_:gA*z7, uU.'f;Li)ڣGB_|lx_Z32sgm/ԍ;/N.iVG2^<tL7irӀ060b?EX .'c.ɍؤцnFAw1:*t)4ÃF G6g gwKiqb|pEc!?dxր'eO9EH2=q ݥ+O>ľ{ZOCl('@N*gh<];w3e<.(12(9T{ۃ1) eXW8 *u9"7 f*SD;lwRHcXI 9i.%Dv¼+ėiچ +ܾ6U9K,bO]A;i5[cpƖ,>mɌgfen{/*pPuˎb@}3D"^Pt^Ҟ4ɍ~O90S_.;`a!;2Z3Tyde1 9 i_+[i$TyCU2b0s'[a5*}T֡p}PˤZZBl̊8049Mf[-)*:TJ^DD4؝hA$&~49h^2̮pÑyKoR˃mtf_[_EOtɩ{e)hn_U\ ֎k ;$"d4@dRaSDN1>D  8~ԣTG樣Yd6T/܆Ok@) Y" vQ2ՓfbP@3yx7Ux`WW`p&qɗC\e_GԉKIVsP>d `% |-+>ĕtLh8Vj`P40R:-,[c9ymqN4)v"UZ4(|U&#^:R90dB;AA|!LGBaF4)0$뇅O r|=РGQaY+ۙ4GTqU =;ۺhRdǐ6JTqswjJʠiPZ+$N?%ImWQɼour&|h#=)Xz}ֳ͆)crՑ]7 ?[TtRU5gQic ,Y',o n\q4,g/ys2IO[q#]ϱ)H$_}'ab5ExMHy:&Q5O!N,Le*u>i7`[=wjN#DiX=z翛TC]Ŝ(eV89ÄFWk2Mr9Y]6BJ<Էv[56wO s ŒRV IafMXA72br],6(yĊaO PXhH?ӪL {}A?25" y᭬+4Zxv߰rhzTݵ)TؕDsqK{Wڸzϼ l`<`vs83u0K $XcHϞ$ N'x8B[,(L5O#]>]V#>vT]j̚KV{b)pF] σߠҒj$ %Ӱ,|cl;|ǯQ+x7bXþ4.A*-ٖpNr~A h>1Et7.x j%h=X 6{x4`=|>IufXRJ͌+cҩ-r)X5|1LhnT0FOO)T0P-\RXpǧmGIpRclo]dn3t;ikk7 I=G>-`a*}f yTPBȗ-EO-6k/N=aMmʅHNrp2yU.|dwPK\.S:`XҎp,]@U0Wt%V$inF=2T3\2ƑR7TRY  l ֛8&8nPIbNҩt]\P2%9ERު *'K6viJIanDWS{&_X'{\n]9bAD7TQ]7@mH%253#