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 ||T%d|d ]/]HOL-Analysis:threads=6elapsed=320.739cpu=1566.704gc=61.784factor=4.887zXZִF! L]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4._kԃb{RgP{CmnGaIg7tlJN+CIbEs"EArwJ AӏP>K&UrT\0H7MeRC/#\RTmZ*nx 7'n/I&"HH}I#x^dxgðmLT9P6El5Tgn9%Vٞ hi%Isŧ_|.xZcه('Bbue"SBҺ5]0Aܳ> c_1/xOeưleރoHraeC@Uax1^\5 =odR Ik_~@h>S>Ts#afMuPQ%5t3ԆdbǗStNYgN}).GX k ,~J`gQU}"'h%~>`’KcMȊml.'bxPؤjQ+"wN\r/J8kCq :Z( @Pm0$g{qi528B;/|F/ެrfv\i2 aF Ԓܯ^QPuy 89Ko,%޽k &yN/E؀gd4B[@<ZOd`nUswAHSwK/ƌߩ[;Vm}f,۳\ t< 'VaU-8=$r !U=u|^;ΓZI25c4b.Rvl}EY^?\AAQ⢞?Ya^--an13˾WD"t&"X/ ʨ|aBHV>6͊!gcT΃$úd!hY~Hga1J}/&bgFG4V spO$K ) Fz68T=ƄMFussB\딄KQ>X 5RPI'u"mIw]0ؠ_wvu0FNW#6J;M(O^K=+zlU#f.'\ݧ+8ˀko(o tUK_a:[?4JCu!:|n:ƃ2j }o~/%y~rȨӵ@!ՁqX"ڠA C rN yA}ԛco0K)ڴ=$Ss- "&sz+nIΪ׀oǩR+KxDᆩOUѺm]pxԓV8dɒuʰ{>zy:!0bt6o"G0LL?}b]+H{©˩z~<)j&MDD{yԃ xYp[Q6]2ﯟoiJ+HxZ`;y* .[i6N!`F41J2kbRWJ8n--:ţ?~^kƛd؇/@ Ƥs03,zbff ik6#R0σ͈+ϯAT[.gsN]:r|@`KrBvj#"B̺>s˰R8!S oVh$Y_79}9!yT#ϡ!_h+dD?n1`LBOOV(ZEG6r"XjddH:z|:M+ !ykH !lTifԱ-y(ҩ2(烙tD'!9~crT[pbuëG% :+~'|Ѓ+LY-FlslSvDf~>6.oOz̤Zm&fb였QÑ>l<ᔜcRwطxê/bu IbW\۳:f8!ž@1Yi*YlM\hN?>?e0!EpHnYRS(xu`vBͯ|tYikK.@ ,{!t꫐µ'cg5v3*+AMMiNJ} ̜zH7__wԂyeŞ0 ˾`Zl48^\a=M&~ % HOL-Analysis  FpkBj|/Ό_^W+s/k& @I+-FIZPENXʭ 5CCӡ̅sy W-A9>@B5A\s׳1 1*WM@?FDF m>0Qo03˖o`ccռQILOBP/;9%^FF~VwÒ@MF;y-Σo{<)ވgvTXl-gxk'գÚ; (IT*We/f|f g,UQfNGvlU^r^ ?rQhH\xnbN VH_|?t` 7DD=Kqsr8v-7330 P;>88Fp!z_+lI_XcP2 q./(~FTLX30TSqU&ykd+fB)g,iܽʹ+Q\'wHל2T<<Wz-Y")]vyQV99VfދZy.fwl^BZ\jC']Eqh3U <**ʢW4 H+k]9S2]iHSު^׿R:0]B~{}ձj_`hĺ#~ XƤz/]5c-ls@pRZ?eI n6A\'_<>ȘA!J*N%n(t~!Nә+0:' ]jy, BR*°Ȗs(Y+j-=|0s{vRi6H`g72[q Fk;-hnth2kG, ۮ񋞴+ V“զ.Qq8MYc"FQp <EWa'ͨd|Ezۼٟ5J4] PCy}ui434$?YN$A[vaj2`7]!2 H@(n6Վ)8Kj%C@jZt)Lk$8xu/+`$kȱFzipvO)F֜P 48.xCSԈą}X\h'H{i\_6O5_ݭCp:\e9EaaRBק~IV+xɢEFP) juYt*ĈED=?Q R V. ">[, rwyg;s\Q$KrXe{,{&9f, VTmhGWyݞo@Tn?Hnx?YfNj JH L*^v1xCRdce+1e%%Q^n/Y̿~X"qbI2ܵ*&bqDy(2AfT: E|r֭ B;X9mi c2d{Qx& >);Ml/E Kw%HD,[d+tl-UwFRD *AC>3Gf3CzK`-G4J]VJ uYGV}^=wsev>)WDxI>s_sP?a1 6w/_8A1$µ@IӗBRuZN|+} wVFuQKiH3*zt8>;e(wKaT1~;_Z2Lvֽv^D<F.O!+Ծ\Q4M4Ե{ƁUCGtĦ_fsM kruă:s4_>s.%j`;VdQPH Ͽp8E9$z"PkqcHvdzFvcc+2WB7:$|?툙>ȏ2g3~OlyHX^+ߴEC쿌QO-x lu 2~HY簎?qp)$y ~c*!U,4,F ~D^@dt FFa`nA1_.'iX.hgg}@1M Vj$o:=DPQC3,\qݑgxbS7S#fq͠-xW,(8YK YUVsI/f0!{ZAzpGiP2,(ƹmdmYl?y jIjA49 >EjF6 {+bp`ƨ&vwNLD톨=O~&+̳ӱvW6׶cHeX})pWꙿvAE}m-[ Tv?Q![iMqpE}r:ML[ ~[\*Ur=ū&.տnys^?Eϲ.OKPQ(zmVΉH;D>3({p=4fTOX|_HI{$ʷtBLI]dcv1D݉hμkic0mZ8fEC/Wrhc啖 ް_Yܛradど/U3lksbg)ф2+K֋gI3x E eNnOažOfO=Yext"n9C8߇X{_˃*[tRpAE`v.]StUrbx, {N"3\4%' t^`KCǖ(e"l(TYdTww_lASk@=Q+t:\,G ԧ58S\k\{&spiT)5b.V F3;eƗ?P^&&!]H3Q O>=H粢rHh.Z( >p{+ )H'%0 O}`ƈrb=cH%La69D HS #jq;*JiӘxa=VV5j}Jy򌚼]ARkNQ~ceK/`͞BonSNaQdM-͇Cfe;?t97,PkoXWֆ{?r 3PJ-G{i cFVߓ9ÕC2EYN4ZͰ$'a6ScK*o] !Ԛ'=(-ޫϝ oFdn}+YuEfy~M>|k&_OÕ Rq8eGlF4."nl?oVvsnQ('F cJ$@b|㽪6QߐE <#2T'J~np.)#3]V7lš1Dɳ\fv!v7+(Sqsɾ{PxO5G 5G=!ߖH g%*} }ѱMWi= QO I l>y`\4#U`4Ѹ$ƚ87PܢDkAx [}@.3@:"#`aX?7"> U ;<}zaʊ ʻa"|ǃ&R+Yb?V p/(W)U "R9gAt>׎'˯fS]lǏ{ =,/];@LL[0yT'W,5hp@بX\ޫ1oW17;N?wX"=qJLjHi$v߻ok!UN &u^5sno p/ژ<CXgi_'F49ADO'0f9D7Xy3`-Gjܶa.7ĊLT B&O]Z\K>AmR9qeal Isa6hj԰ ω*Oe D?Sws/{Y^a E'9rDkW{*;lu"gL7c!b'X$d vOt5Fz፪0[l=V_AKɩ*㑭i%;T^C+^*حly/E\ 1[O]^ӧ~K_,LqC+(7rQ/~p*lҁJkfYZmee"bއn+<3f+4 RmZK=\XI"UϨRkRcOtBkƒxdRn[5:}R9l*S|<R. kI x^vO"\` :‚’Oy5}i"8^)FQ+V:t'3CaeUari+?~8}2Ψ->`XN2lh%*m3e.50a'_v_%dv>Z0p .%pdmJ i ԚNJ0IYynx!XC;QtW+ MF0+P`64l\8e*=^=ER<EALT`Wf,4WXdbi{?"7RMb ivM>5wVG~)FG돸 jz_Jd6s Eyү@d<مLj[_!Iܜfc~sϲX|R&ݧ(xNVxδb;h}B Q Ό+uBc}8Q/ڃ9N{ʾ8w3OzԂ4?D@y-|'^uYGIpU33491 e YSLs$-,v3#TZ tΞHKX{Tt2a1B1~ch, M1PsNx)( 8+!AUA5MX;D b_Tȵ$8K#S_%*agYU rcjt7ӝh锯Z{@Bww()/DG~NN9t0*KHq!A!@ʶͳ޵]| #AieB>&- +Qbg榩٢W'MY0x)%֟tV!٬a')~kjꠧ9"Zp8ӭםR:`^o//N2:j+sn3i;Y'7,ba.={~aB>˓)h5ȇҾNs響@y9OH&Sԉ#N\zJ^(TnK*B<0stanP<,zCCݤd_fQQGINn]0]i)u2(sUDzyW_.N{!- æѧIux!]vfD+}_x1ɷ[rbZܵsIvq\:L{ݺJ'|5utDLmC }ޕ/'vS<$zQdIQ(yR:T :;K|Ll!T_>صUi]XnYT:IlSG1G{% p\N{@UIpB@&>>o؍ܩ~1Da'=)p.ڜKhj`nQNoGh޿B;C!z^:n4 kK؇:p^ƅX1\+ ؋: _+cDk*"4~\~OV9# v/{;wl\z+DL+(䳢Ep С~U˥wሦuoH pZcFb@Dc[hx.ֳm@-;U Vt>Ro#ep]3CR#5 yJ["eBLmk$smFAE\nA`'tF"|cRN|ӿч1t4?R Pќ!+ T\]:lMZӱS G'WMWq .LM{pYi+2ԟ¬GֈQey_X ';dBc'?.m&dw k0gN'؝tVKFkCvl1*7%ߋEʦ븠sd|b-t ;I#P6@m(Н? 3~ѳ-&q~sIъp%0)|Sp,Ii.0af}irx" ^NEpf ;% WĨLȊ@VBy.vFn] RT 6ƃIe(-6J)*+buRpcYQr? q Zϯ+UړTcQSD`m1u B0w?eVR?*Qw\ߞICTqh'IUA)fx_͘[ ݏ&E%\W&ښe(}{"ͺl7z[GԪ\y} fC$Jz"zuF' a^Zt 6R7hEIF:#I) PsԀŜ$(~ qkaIr)\&ȡh&FߝP>Żn:+uE ͻ:&Wu Z/x#HO\ѿgg޸$UtEߗD쓑rm"IG8Rh4l:ZA9~2wrS7: uSG.!n}c=P=k2kd6BnȿΤ]!;>A%& gԿ<]7rf[ -+,(s3YSrV% J].e A{y:&1Ӥy5pMi¦\y F}* eOfųyQfq/w3csDQ\YjU%u nkb~cO6>}jJ788)d6^\6IP. J 5I o fR¤Wx3xcRod<:z Bu 0:VmoW*3qU9 3G@JqeeB(eLJ@:*\߃h3#bx8L~6W倾L#E-\7|/! )!!7'}.5?g)6|+v9X5`& uKR3@/A~jnV AUl C'Dd?OxێʑfbP%x=Ԗ2EJ&?Yv5r\>i}&Mq㯫n S8]CRf3gmDŸonzJפPÓULE7㖛㱮'CM:h^_t/a7T$9N&97%ɳՋ]G0]Jvq(CR EբZpxlp| S3=JOP}C 4ᚻ_bdr+k2s5R>Unm8z."/9Gs+Et8mHyhXdL}Z)޽R47!{@1^n#%r6觋w6r\ 8E]Ҕb=["ET‡H>(#Jvjނ%F=ZZuSN%1q<X :ҀPYݹ3+հ 4^3(_d6mKh%å~d=^tT fWu9]fdL>EZz#9Q oNȎu~%M- ;ecOҜk ™(0u ~&b7VgUvưsTR;JFG#D ,N8?rhcb !&;jVWu·mQoWװܒ|şBz~uFV0Cљ1)T$qΜ#%rG# ,%.[bpdm()-, h%LG!;`4_CNv`Ac~xث z.%(T[6%z /N䦨d|rzթ =2:T4`^WWPOVP({ܥ@c4yK $.XAs"Sq'+rNb42?K?i:;gGz}y}}HekL^gT5y: NbS>e=QAIׁFdP\1<(:{cc157կ~zk > z0W^&-PB뽉[|i@2uŞؗ1n9!$U0 L+{Eaf|L '>xpz=2T>FQ4~{!UzU`jҬ{%O]L*ͣdZBMqW:ȮV ԋm9N&<'tS=wwP E( 2~-XZ7==ؔUIMYVc1x7 eȾ*m72Xл7PχO8]c*+}fu*0o M@֢?MVW~ ޟmލ#;~ZvywjKP1 zK}h4P s&ZD^ ?[=pYW[\; jN98," T&Oſ D}zxLI9{@\(XmVZA}3Z2?mc%ДKt)2ֆ;rTؽ%gȾtu?K:Huvcܲyi43Hy?$aJ%,G-{>*%E}&)jBְhqSqI ;;P[0i|ĥ&GF>a_ё@Ow^&6z*Yliv¸_Ǫ~=xu Yn҄٠4GxwT.C6S~ؼ"3 uإ2y8L" #ҹ)(Չ8]}8KOq'Tckю!9B_|[3;ޒdBD ђ&C%^)ꯊbNz$YRF&?w'`pcj^Q `ήDOTk$ 7v?7ga)Lp7,=3}*G"o)]&* ;:_[8fDL| nL 62׫phe䵨ϲnjO-iWTye V$Uetc"#5Ss5S;) m;{:-% u]ϓnO n|Rਪѫ-M L<1hR 8(eag褴y۱  3$&e |j߰$(#]mQ㲩uUrj~( #ʁf ?n^~E`HƞQw?߾X=BZ|N;W}D:-c(:/e?nQ%D5礭mX~+Eb`" /ʟ.SuIэ}xԎQv) =;,gWk!U zt3>x6 8(,C%X hm|&'px(;Ay`U AHd/S,Ҽ\܀ؙf6̱~l\#j/1ɛFbeS$>aГE軇9Lg{Ķ5&6D#+]~T I6[zeZL,d[=bZ OoQFt0OcpoLYG\qb`VcujYr&m6}<8D>`M:jh7k'v$tdB?gDu :`D5@'VS?c{J*{6L~?26u$ĝG}oӈ, OgɩD>^*|u{ %S$Ev_U3)OMMOƐct["oY r@qpYźNslu9Jנp轲^om;8lHaC5Ժ2-È4E cTFO|PԵ2=psF.t#4{*UM*n9YL:c>(;/T|e> 6+ = Qt_7}] IgAj0!mv]tf %4aF|N[\nMŝߤrtfI/wN5/xڧe|qO>}9H4j=ϸEV_^AܫV@\}U;p_s_})^6~]yLEmzR,ߞ+D݅ I;k?+\AF_.eB'%KLV ,(gڐQp\iJ!^3l5GSi}m3N1o˝ֳ@'6j #>(2OVc1;97m4r- ԥ}]LP Q $qS[涗qup(6lg o'q? t Lr]'{ '^溨؟k-v9MzړV,arpzh 4Ko.F͠ϫ,E :W< ,dzPR TG[oC.oL(evg:f+2Z-^?HNm:.'KDV ^]%L\En8)1>f(:NyCOޞ!̐l1nVZ= v BRR5NZsuՠnC2DŘޫ@PvgJW; c^T>%Fwo MfN]s7i噄OMo.MhffOLnJA#87ӢF XtsvҎa]Q&$f( sh-]IlL9*b<ð;iZZCZ'I)dg~߷BR8|vA)Sbc,q3^=7R(t4 pv4IBk=,_$erp@97ȶ٨Ga$7 ~g^fyxߕ *O=РTUZNu{hK'rS *BX4@µ%ل=D@$[q&UȾ69EÍJBwF0RSͫSiMjkds;Q2@ٳ4) ׈(9&6靘 ́g+l!#l@*bɐ05zpäSDG7iz̵m̘*O~g;? p;z \m=/nzz,F>5öh_׺ۨҚ7A񼋖~h!c{ |8+LG -B6d2HhU]%ܶԵpń;նAӥ ߐʊY,Ỉz:<2 զ!; !73=!"7B|`c! YϨ.}9  =%3|)wFts /X^I&; JoX!H>be­['حC(m}4aI`H1qgYZ7zXZִF! %8]ŗXiɟ1˦r!cHkMeBd4Ρ1~7Yw0w& "u'F\ٌ7"ͣnȷzb6#OixP%3 nH!E4B|*/ sg1zyv^/Jý13 m%|=/ aY?Gl¬yA<r暽;rVjLsȰ.Ѐ 'a"T Ҍzb\q!r(҈/+BXV?t0vnf/DWb9Fj4uri1G)n$ C[E4buC.nI 49ߴ:UCJ8F)ϔ_м@tyDS2Q>qh2(Giw,:M`tеL? UZJ2+%rKb 6!Kasi `SUhOcﺾ(VtObY/N 5Ҙ?,-Pm!qZڅ$ZOjjL+8 pTFɇs4aCb"9IcK2ݞN(b-nB9(Tظ@YSS^ z$`fpitǥc,-BÉAIBw^8H?RXdzЮT7z\s'YCM> /}3Ufed+LrpTWEK}xXrx,<:>KJI9-T$+K !vRjI`s}+G"M_xӕy/X\'RovgE \Ο$k}62Qxu,*5TL>,\_lvwm ~@:8bP{ݹ͵5T`M(r&mpT&^lHc X ǧ 7-e~˻_RR)D6O*Fz¸ݳD3aIEx euZ8x7ٓ:@3«T@ǘ쬵؅`> &Xl:r.r{}KQgNvtLiWi`/?5V=!r{5eDؤZ6jf4Ua%lbَd?JKZ!c*pZḏsxvjbmv iL g вy"%f<(/퓑è)_YZ\hu `DscNj>3[c: %6B񐍪q{UH jBf.ۦa a˂dEQ=8xtӒf(VWuqEb9ׁ =URy Ypw=H|YWM9XGd Hj &,W/];wNU] tX{A|@Q[3i?xf̣03U&BР`R\Gwc&߼e o vIb:St!}n۞)PG)zsts\f0p~_Њfqk%alvz40qšni*e+&H}ǫNLq-eb׹lM#lXef$m L]Ν:+^2/;A>'ݵ^ȹRY.k[y#Ԙ5*Ě2oȷ5ܘ /~U𛇟M74Cst"T67Vwu?"1tti'8}QΜ5{tQN|+SD$l(g"b;{~cj&YqO WL))=QXotK< ÓjO|,@)'S_+ rڂeǜ$+boDJ O2Ҹ:l"3Iif+zd"R1 yZ%FFpg :/9NL4ħPEb kՌr!^@M!TȚ(RW8"ޟ~J,9o*"3th^=\f&p|$u!\]LGn"PUc~0EZl*"0:aׇ@՘ `;ﲵ([}Xӽhb[B՘[O!{-$%爨٢Q4 'c9je ~A/;者jK8F٣| -#.Jɩ*nWCבSAB JHֻQ3., W,u:b&޻7S L u lbjlZ?T$}_=Tbt-in}. b`YQp(zM9Y5vfyB&c^ >+x|譍' Hծ6,vy"nW'SOFu2}{xd[H&H9|{ |U_%Q O';ӵdCy3;qp޲gXo2P=("Bl`'` kmJ$)LCڣe:YPiQUh[ [Ҹ`!U)[>)փ ^B5k?|e>Raf˽ K ~@[xÙT!4s򝹭 Pqq9J;y֣݀ϪĞdQ).#-r2 /PXf # r1E- ӈNwѿOcyɔ~C`S9Mwcb+E-eȫu^O9g^C>53 |zj3V6q[h}jnבdWsH{xh31#ߒ|nd )?YG.8/E_;񼏾T͹CN]Nۣ=~!Bݚ)o:ِf`6N&YՉ+9'iފlHҒ#"9Jo͗N!y yיe~?| Ȩ!e+-*d7*iPG6x]ʂ!َ+y'Nv;[E%NnֳۆjoVߧw n[O3 .KiUVJÜ^1#}N-`HC/7q Aj]h:Tͳp}L̪WNq{Rb !KA"@F(";3"hƘ.J$T4HlbAk*(azV78êwja}\>n W:g#V(ʘ6s)ejΎT>Ϋs9Peˎ{fdyTj5K)kς0TmZhFÂfxMT(YJ}}!)w25?2sO?(.r\\+;"Eq0ʎI cq!E˄9+f=2P}cjOGҬ8:mRRNq.)|۫js#Z}l 3l8#t@x&y5SS֨9y ϋì['t16+27 *Ө:gu N9?aA,`:󚧱v\R6$Nc>lx5]Ƀ䃯߃DzMԎ֢_"m&ݔUA^1g'(edo@j/v7rKfTs~@l}+Θ"Hq-duĸI@ z%?WnsZ~9N)YX\]h $*8 ]1-% 4p,TY0E` 籂݆WLw ao#u-"BqzHVXgtKM;k'\NA]:4YS%R9;eF;,=*][xub41__|836Bm߇ʔ4^Geo_Xx)@0 .,VrLْ*|ۀo阦T4\yYl2q}) D PszE[@1b{⮁1oZ>RV"}EʁOh,/Ia5=K{{RU,K|എn`˽<{pa=Kte%@̅xo>w Б#s8RoN 0Z +0NqsZէ{1- ˯>k(Il .8jÂAT`M R"}{TBEY:|4ʘ d'&QNvk3kFwPOV4Clt3&6P:(nw/rl?EV=Ofq[@}a|H[ۈw!ZIu{Pd)s42_&A'w/Sc [SOV~DY(;h~J/{5:&ؐqZ}L>>/硐mS1&E䨪b-Me_6;ӨLp]%*5b̷ Q0:M8WPG )Z}lv`/e ؤ"%aS4X Ta91TN}gw|cI̠2d%Ը?M#Fbz9:GCVH| /-8T+t-bP2 7Men.Bn7sws~(׏ k"hO`Dxة_H.(`Կ)2oyܗ?2' -Օ|p*܈4ϳk}N:I +l=CR@Ԇ{@:쩙R-T.}Fi^_}|Ka,LO.,8,"/{Ågh#TSCpGXe#iőY =U eoQX_fK^. N8(V 2i?-Ԯw68ĝv.lA0\ϣ֜0GlV+[6nU204TCx,:d٦Ȳ'_DDP+\',S9wi ԏBfy;t WԀ֨;YIP?UXї4CqpO_L#f1w၂w 9(YmO63.Ю%$Y & 0^tzi5U.$n8i{>Shף<.%T;Ybf) Nqc 'wRi݃kvu}V(8财Na)O5`p=t!+:Qtϼaf(@6RFwquWg\E~5"O[?B ̫~>$t`ٳJjk9 v85%q'7d- XxJWAlkR6zA<hz1e?N 5!m(%MCJ6 |Vy e63T\5-K_ɩK(7,ӸA|l7}#38)f׿QA%$+1gF$xdSi*ٰ^0mȢU f, |"*XN;#Cqtɱp8'Ƨ;1A޷gYrgw{ 5ZZ_T Sv*o5mR"G>3#-G}03ͦblg_܀+6&?%u>)1 qm_f~iDڴs(f #`](=\a„^W4v٤hTΞN|q YH*vtM#׏DLg,KtW׿t;Tm8¸Љh ]*(2{Na'5_kZ,ÍAQd*)Tqbyb(M}J,5k08.ԙ(ibot4]H݌g-אdk]%wނ1<-~y".]7]-0~15Yb!;!Kjжwbm%j!+*e<)`ڊ}P.m',P2=?LO\\ҭ_(k+8J@n {Nem +8 |*A{I٘6~!*Ph( )rېC^1fs5YXd7L5˚K "@g9p\ot]Zz79Pw֗)e^s.Mwhd0Gu!UWFDŽ2Q#Hv5#6$!|h!~)#E@x;!?#D/h<=O!`[ y!>E"rOI(Uǂb@۹y@^Y`W_@t(cF35[s@s4Oaa2̻DJ@d(y+Ls;i2,ݸVFoQ]QOǻx?ώJԙ#!*:Db7n t`NVyݖFNC,)BuR]E-YJ !;m iO)NȬBwM+$c)Ât%ha 1sՠIfJN(3=bƊP;6pk9.. %U5ziru0.uC #ZբeJsP'Ǿ^znzW7P`ں4ߍeypcS_s:NYX!ܼn{z؛Fh!_ȁE0@ gnkL|%0r^Vި} W-b &YlRl.&hl+9XMd8z-yIރJP>Z4i39'~R,IKfK/Urp^z\HDw+wR1*V2E@~ϞGV8'\"w'rt `937"o}^l9ø9 x٫]DLJA+QsH?W/=֒/eCE#4j E=E~`s]BaRdj,DKT-u ΅!7D֓_G(/EnUa:ZK;X;Rg90!<XB8(,&Ub1,TU%2tk]hg 9n(ww7Åu7!3ArЇ\+*X-fb vŤaB$ɱtSfHBJ->0L\/ c"%tp[j"2-!XDβyS݁Wvr85{*xꓚ QfW(Rph lQ'*+F`RdB~E:5$/yp©¬ŵ9O"VnL{{VcphD.bŸ/c(o3Ps*4ٙ0vh, Iu3PyzYWn Nv.WI,Lz"苤ԮΈiQȝ<"'.>֟rd("4*/% cssN n߳PT PPA|/O=vK@!KC:LIν7yK_J~UȣP1}`bxo[ C#h%194OqUԿ`2/"I`yQpFx(V[gZ1ʹQT0N%.iYb&YvrӚg€/ⶤ*^Tlaz°'{V}zzՍW~Pָew jGQW&?Q) MVuAg0OBHJv$\R~s'|$8u76=Ƶ#C!\Fs{,TnܳrW{~k<./+ >Wp70wm(C1N 䒯ʼqH)`Vu|AO^@לȈj%Ujn>NYq&lK)i"㡈1  \e볍eO$m<|a(1f[8+g_V'=~[x|&Ҳw݁;6P8ϣսf+~0(-բQ-p}c)W>95cT@#?ه;}&n{E{2"|G6 !z#Lh4%ƃ5ıEYI}{(L  9PTژ>ekeO_h~kFLz0XMo9Ouq։dޞ F%6U_܂bX Ɏ ~d٪M f>Vq&J!<җIE[lG]3RGV HUF?=U1*5 ?{4 #h]OwA?Ax i+ ""(^mge+ӈ ɡj-ޖpw:Rb!ݥoe/kۇ=gՙޖm0#cG;$ń*@_Z-7kQM~n}=N-xpzgGt/h" )e#0ymC5Z %X}Hc6P qoC-<6-`>Zn ["7^ǜ@L Θ}}u K#oJ?u]0zSVbbe.՜?p{5ïWGbQf8QvC'3%]jU]^sbཔfIy DZr {1PoPx|?T֪sA3gnVESjq#g*{ݛloYs{Z,Uĉ&AX5V0Z#'gGCJ9h, dl D4&'9~QU((2]'U]q c,@aü<xƞB׮Ԟ_٣'i qÍxO&?߳i]"s "ڰõ:|4-i >.`1\ e"L#NV IȄ ̊=D0/y_zEr!D9=pi^ۈh\(C>W_[fI>˪^ǗeJFQ>Q!`F70[&cʩ@I%ugdi*;RNCPa/&Ʒ1+ꀇCr{־lapNX:q}kc<9r$SoTֺ" '`(E܏qIlJ$d{( @Ν)i~҂so'l-kz+9,ŗ[,82wg<I쫸T4f}c Hh≓Z-EG>k2/b Ϊ ~Jg>'̱Jh[C%VXRjgG5Bakί Е.+>)^= 4`ME/S uĭ9[9J4,P]#RJDa݂{ṞR) B\K~! cLd웪iw/DYVգYa点HX5-05j8Qlv]AdQ=ϞFR?E31Y9N&6:@@kn3!8Qj`٢XvLZ*rXk2^;ڿmlc +OEg5NปӐb ?˥ '[? <7sA(8ª(%'B\!Y'+ `Ĥ%DB! S#FS hO""\jH7JVXeL[wq/#z*Uz͗vLwA;on [GCIٵ^Kef+k!` &cBy+D>[mp4 |]GmG'Ů*3G?[|ůhciz4LkJ)": P]GuWYYz6I,$2K u"ONgt?,A>sKfIbMQ2CMѪL](d"ApI` }3/4ߗ/yqH$ʔ%KԶw% q'Wn8T"Qhe<\@N B: sH,Xf+GF VbёW<7%1%g[V2= ԑgZ+>nzYS}J~mo1O۶ ?VQ!Ԋ*HcǏwZעSJ߲J@ ;F\̀})GXSWG>t#aCag G O$0kڮ"q%hs1MDv7:R=g,hnit?/2xܬb!*Z<&ƂBla Dc\S`z? 9>!Wbug)^0ۼkx[v.:UVܟ@QFzF^O͚-qxYc[?ğ]~8fϳ?j|w4 wI[fpzZ2\C܊B)}'Cp2;if~=@:+qmQWРl'DY@aRPn!TBNkwB+g&){\ B 8^pv2P͜ϳ`VH/jo~ecY {'h|fz>7,/Ž1r{ ^P&x+cSI7jjNQ+}"ӷha_T=7~ |^s. F{+ 4H}1wa Eq0"ow!m 5Z ,X+񾶍"A$؛t9鑛WӲ#4[/7EK{ڮGTzLV 'A8NQe5ydԈefHH e@vĊ"2i7e=8#ޘ}{؈56ͤA290۞0EF[ 2/rߕx L)y]կTϬJ Ij+isM,be蟢Ҹ:iûNօ}\ OL7ĞlpY]l@ܵxk1*Y۶hpn@)o͢˻=C ?鄘ҙ ݸRKqd^/^< g|SVZԗ;7#"Z@yۉⰺ$sQ:D t_!56$;ַU4*Ix)a՟cw~/ H>_'oqMls "zUL Iu jbq!O4, OHjXM'I_}Ԏם؛##yߟr.Y]uQX7 G % _ [t*U:&sؠ/Zϭ8,ǧv5CH@7%(f"%u::jb2E4ލΥHt]W >䔝 3k$!"Rm : ѱmC>VR7,?*B]^tBjkYv]x!&w#ˇBL;OBҷ9~Ze%<ϬjaÈfwk 7}:۶YrDN/ܱ@>0A4Om,7fmkw<*fZE"Z`89҇(8g.A1iӺY=XB' nXVR]T<\gT(n2ANfb-`i^LtSF83.Q`U-xfыY\8W!Hc:CCM Ǎ"mޛw.*tWE/qM)g@9Xva/BhJ>z0/Ys3 8=1s bd  OƂzԥu?dytn$"a|Rw{tѐJC3ܩMԷ9+G5~ިѮ~OiiDOKȁҋ{[(|lޣL3(?|'s:fq'ڭ~:^2_@G}t$Vt@>+'BIs*3{Bz7I`;t 9P +YҮo/wGL+ _ΪRz6T䩼6,uG0#Ջ=*qცfM kTb9c+^P܀7L6H,c"bUD Ft:Ù(N*\4 {Lk~]ڀީB5M-j~CԵ|ͺK}AetcPqk걅niH}#M 2hⅺ+BWD*%5t. $.1uUEq>h14 Qu\`%R:.]9cLGj_\/hPcуbԷuB=qH=!?+ÇIpubgy|_|26/A0 P%1OV@ .>-d7ͪ[5,Q9Y읦i8^x7.@COdzj}8D{Ti}$jt-Q҇!zf!lӽ }Eڜ7 YΥ8p 88'Sz3=ɍSw7/i\)?DGUȢmy$i' jAK;{8k#yJ#okH^0:6>hΩz4-<3,>p:] r)fԒKFx.2/>Rmj ˆr(- OO+:H4(@݅e2%\.T?˻S8;a9gI*W#U s>I]:' t ,6C#Ogȳ _/VKU4Щ^j9o?nҏZ81k3;^ќSӿuJDU"3c' ?,Ku 36>YL9-s֤VCMuRvny]Ç u=nawY FVb)F Q],Pj U6lгG 0(tfs74Ncn>TZlp(22ATPQq'L !6=09 u۩3*8H%ϜqCl R[l?؃%3ZqF]cdT-8 NuR}ёR;cIW,p Q|x?JGLSJKH \O;?x>LB=]Lz9꾄s:7ߘj!F~*SI&zM,>+GYt`v#6j8TVaNQiښGSdh"JVi;[:Sw9XU{XҺp~p'v),OB?z*Rvi۲;A3©wtf߇&c{<7Ag,1!D8t{.$ZsqI=_o ͬb OQxvCCsgxfu]}%Xv4tk;:}T GĠsdj=sM[T<|t-a]F?jm#pUgr/[ďy|(hcv!hdq&uE{uk 50L|R_1'A6#5'=9DdAWh=o5_?>OHK.^ERGWw}\ڔ+U0鈜KBSw2hr*2N ˗,pD=|9O{w1S>Jo,-ߑŔr}\f׺G+aMwJdg`;z:I14uE & lj:Fq&,'T#ÄTwm hoߝ揘^,G$Dg<fz[l$Le̋F6d|@x_/i=ip@re &TTol{1q*LͱT0Wd@b=%fgD-/[(Q*; ݵI=N$R QܠDM Rn `Kx0F_#cREm~jhfX'ܚw*ӘQLkIA5&|!!x79Al=DIU9+B!ϭ]%N+;mXksDR<[n9v"DXN1aSzZMk[5g0Hnp==͙>4_U 1wpOS*){6%W#} 96-Թ?)H&jU%jmuȹ߽Vk_IXoEynp۾*=a h i?̾ao0s Ap~ElRv%[6;NFa3٢b\J>1EҐ 9EވC*FĴ`QW pqieZ3TCSk2oT\TwBq`yz;.:p.?+8n>: T`Y*^'2 kW5<8 i|RMy[O00Hk)y\:rWe_X!#p-hm0j,׼{;$ӓDRBh%McQN~?ܦ|| 0C<n/L@pIjL^cR#Vwn|i61V Y ŲT>"3u'4TU2.40iS].+PA@5#&Zչ}B!%fCMte~pOGU5ne`+n$@Zab7/H r[˜}h,<, I7$҆WVCK%>&YHՇ#6kJD"o`Z lw:vp<:9*e+x.>nQ95؊qaܔ !0UmCB:D6G`8)I뮟JpJYo")Q\5QIOUߎ?5N{]no5x(aeps"$Hʇ>̦꯼Rv< sa l,l *9h7|uفYK q-:b+hybX]9gYZ752e69dbb4ff01e3c6c001f04cb731113bd2e8d176ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ec a32d043d7a78df09e2684446989c171f61b5b8c18e73a012a139abb8df4c7a742a29d15362363e28