SQLite format 3@ 7- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 11w5| ; HOL-Nominal-Examples:threads=6elapsed=365.342cpu=1380.008gc=116.292factor=3.787zXZִF! !w]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&kM[~fT3[Ģ|@mW@C8}Ro[d JGJ{/YT0F2csm;4ןAॺBSٶh-g=-3Wsx3cREEv`z;pxpS2-dzFUSN>`mCgol*b+M π -ӛ"嫗[cJ&e2;U`WKg:k$zǐݻ V,Yn*[Tɧ>~MF_cewJHfWL4eu!w/7jk(s_U7EЩ8I ''iEE+4 :"vCC"#7nٳ29olb!P˞ `2p!^\,DwҋHwA 5 HOL-Nominal-Examples,w;j.x2qw(tDkdT&̹pZ%S~ Vv{hKΊ~b۩_r[SQ5rN7G>bE5Nߜ˛Ԅ I&O #Dj0-E؋aq˹|l?GJ 7Rv[ [ȑ]:? Tgڳf,\!vD3&Rau&?׬qhxd{hc \t_+Wѭ*BxŰIx0qp7F 9.2%(8 NTa$sLdDhdP.cػ.wO+6X}XY6o,;hupCou5Z7"1MxrקPI'f?ZwqiXJZnȨR ϙ%Q4dųt)n*+a8{KUFk9^ket8d/=nyzT.;R롙z-A0Iňq^3N8l*}MyZHs&vQP4_8AF^jlv1"q(սKAz7Ag}AJ'+8-*Ժ0,TiX|i+\g݄ٗe XJȌfj?a}Zw) gQ =b.=tǵi0.o7XBaqC_:9ˌU}ɀù!'`CS{U)tncx?4рf:Gkp#Qvqk?uFRȦ#D>c0dCyB2H>""5_b2}(A^Gdk,"^r;!ÿ!r1Wdxeea6z;ldD'#34& | ܁Q5ɊU@GvLn:gtDMޤr^.NWσ]f4o*^#I쌩aDnY¸a:a{=[~Ĝ~kA~|ֵau$ v $GZ)b/ICl+4F+2?N?/T2-@~1e♻fS ,9Q]7۴ F\5ShhEE[9HϷ]wd>7[o PqO|/纫K{;Fw+ɭx7cj U~-#bm}X=9͏P1ʕ]>ܱfљl$+ \)xVlp]0_:Sr(K $h]0k.bɈB襰kml|"=& / ɋ:B¨XjIgbK(!0<'obǕgOX9t0F[U %}=4 [Hln')`zf6]$\I}%>OȽ<3el񇋀~8'>YeEJE v&4)3rU_~7 l&!1ǏS5 a<D;JY;k`c'gSڂPiB$!Á",ӞXckv*uQt]:{ړ[Z<tFk._k~?D,BQ{|YdNH,+a J=8p_:R{X~vb}MHy9|Z obAXWHz=36N siW dnHԗF?vv qW<]|2 n-N^μNڡTE wb%3j뜺dB .$"!% /E{ދ=]]75 =΂0tpƜٽJ3p ,p:OϧA%KѰ&ڨF/}rXǻPN|ucfi˳rsp6?Hn:ns({y9׋dwm6":UPK8t HTAH"j~ybsȧm:aDBB}wU99c;2>WܦU P7E Ҥ@{RJLsv<{lLCjRBǟefjxN_G+oBD >|o8." Hbhը"|>zpؾ F:ͿٝSK"VZu3kv~@$KG2u@;7%7xx"dbSjw /z` 豥J9`,FA"K$c xȜ99v |uĂT<EGhG֥/ϐ>̈\]Udn ;C`1K;hz],[1@äF<}Cuy?YOSe$A5d7VqqCE3Qs>_j-{w!1ܻQ{Xצ $"ʆNU\Vqftu .K&- `SNi렯Ɓۖ@9^z`5F V˓/i nD\aբ#y%}ICO3$`fJ1Xz H*\W5!\H4ΰB~(CZPfkj"<*Iu5Ce!|\Q y5qݝ hN do\iє \gӼ\sM޹=fڊrh~^8%Pm^ %aeR/$R*_zJ3#Y$ ,RuUyK XWP4;# *[3]שϳS }J& ?w.qwԉH]nJnD & w(;gl5I?-l2I6et-5ԪYa֟)oRhXISͷxgSݴcS/&JvžwnhO.nJ-/_K2,&yKY-] '~ BB.=gcX*uY j&?߭ˋV5=@jEC2160TTN«H7QY4!^_Ἣ*Ki2M࿾$uOqY-ɋj=s K|2[`+3(J{]./wgg1u]̹N<zحLgg;<]|*8{ ?{S|U"J/Iq#ncqFEeƺJm+̶$Sh Ӎ݈˯z䎃CjRl^7)&Ú;upUxbYcGLfZ_"D,'EFfUgZ6ۦtXo`Ll`n{ N\ɾ`s~3)Ҫp5T̍S&\T`bpAv 6YԫK5}8Úp٭k](C.Deam'ɩog ^'.R 8(43h/Q@+c<P.Xgkpٰ h MnngH]O3VkEȄ]cqs &(BF䭛}ue fXI-jH,AQ?xD1 gCG %2gUN`ehv+I?`N `KLsArR Sx ?jٔioKWAtxϧE ktQK`ӶC\JAI%q]Q#DNLg 57Csd h V7BM["+B0.9b ER`NΓCp=(wbdTu˞n>|/+;-G5 ])e$11zT͍+9kmd03KZO GecF_mN)(O~3jyRp 6!#H ƲAnBlIB3h#VgYueLcV(Z ڨsqq~6_:65+Ŗp23q싖 jQbxp^W2 2 =;6$*O: G{ !qnW"D \3|W_ YSAxf dZ(LNOIPD 槦(k 75Wo>x3з #y]٦et$gg"q( p%()Lej0 2":ryU"([^*|)?q^m$ܿfFCepo;N~ ի ҈:ʌ3Mӻw@m8Hdp&d%nי p1RHDIlrGJulu# ڂU5]v?1nm猾*{>/7e?]> 1^[C݈^kd?H 2쳫Iq/!:VX]JӮ% $OrLUX9h.JqsMD(/^lNb m(3e__0vхo' &XqfudFSNOWPDş=Tְz!S>UrTרwlg1J|WS+NTLKgWtB(PNv@H3ojS9jp^k >H8U6M&5>6Ibćޫ-i*Wgx;|@,X/Kf ^qFpRqek ṵ|5s@`"j Nkˉqr C߰eW6Im :"r#Gm;3y;C+eb~A1W1 |qx v>`تEZqV:\ /jhYerj{f0 iX J_KOGm(#0?TμQ)c_SZ+Dpx ) ŕ.AO&JžbN:" &ijFyBnMY}Jedvs_- f*)`´?䉍rI1z'A/7P'Dɦ!<mrs83ྮ %M̅֞GU9mZFTj)j#np-)>-D#d{Y1B٣`wO[kȇNRz30_@xic8^hz~6a—6p^>' T|dM :-_CE,L6<nh0a"_IZk5f-D[&`5=G;9>'m08* s. lZDQX&$q fi;1Q ρ2fypd阳Xuf XLthw̱#cFarY JIidJ}C,B]DƮ`4DvūyX`X! -+# EqAxq/w ދhC}Dh[n`v9|hgi}fN닎l4i '[RTg+>Z̖+h)˹Jֳ VD 6i.\_A2ZsV_:6ohZH ᗼkاݙx7}G ,U|.#ӽ:m@1 wN·S+H$JnUE_6td&D=xmo\7 ĝ ⤮ueHk FN&'M|YF4XUxQb~![9XaN\0 rPf_U2e ,`%V8-ၧQXu>& =bK>3E' ٻ-?#>n ʄ: 8V 3|}Q˟yCIƞNԭnj!DzBf/:JֹaҨݪ͹x[.X27Ċ4^9P?}N}z6D6U{yEmũ o+ Bsd!吥y!Nj|GCI1)pF;_ ;vySv0j3$ Z{nwacUKK>-D@/ÖtK#@7e郅!2h1 W6K!YjS;Z-LN /f[rqWV0IcUYg{7TWSrx2{Zbז@# Wt)VǍ?(H]d9;LͰWlF zz[€{jl`RPzF+54+WH39iʮܫ:#~2G?*M۩ǁeM ʹje!5/(O\U 7b}\Hۯ i. fD ODr2gLlWgD93T/J)3qmpNYO&Fȍwұa&%olRU+!KyפFAC @F8) vKVWRNi]f02_Hvlw|I Souz8EIZGx$avYH`eNNEOkbzGP\OiU+*$Ϧoj/ ;n^x76*w/cR; 0W=:s?%FzDpsV 1UH#X.w2=S&ÚϚ.zEgk3*чKPnE4=4K$*W@ B2t=s!x F2ExWnب岭oޑ4EEyV!ؓ;TꎮZns-= s"pC$^4+w_|٘)LD֘HYr -:&ƾڹ|vMlM¡;wj]հNKfx¥DuO,s7_GpD~X+j|Y)L|L7(i߀ egQ3Z(;9DN'>OͪMvO܋O& XjH`;H92 WSF>܏Pj҂%'WI\cd VꏀlЅIذqo>kiJ  ϵڄЩ7{MS9Xw"O1X@> ۵V<|v/(Ot_=W [[H06:ޡ[sN,H+3SGU&r(J]0;uAV@5h+rX>(3yw/澋,hsy6uץ3V_Ф8B[-lL ,.'śȹ3ZYN*vp}YlDU{5G=HYlJNJ1PG3yMa%b zE )$T,on`4dTͼ:CjiN),/ʏk{J_Ɓ`p\ca̼s5ՆX\4m93:WJCiŞBAU ˖;Boi9s$e\du{qUzuWrN^ATkI9OS_*]GͳyɥQBp4? B^1.WJ A}Jj L[z^,ܞX+ R<'|t*io`D\wN/<wH[nCd K]2NyP/CEmG潘$t)ƎLG>o0yDq%ͭ{{qe*YᨇĈC/}^?y:亽VMMʉ54=V+S|1_OA*Lld`7[8NaQ֍Sl[(_w3*Q!c[-c}ʋ~t":{v!FZD؍2ZP.ہ ӳXqZ5QmZ1f9x "Kclz>cEKAYgr>ٿϏPVcx2wdVL*}_HIڒJ~2^gD/J_q@ueA%csߺ?P˘8hzGvVDC[B0݋*&ʲVnmY ^ B8 {6lzj)'6i|a-`ɱy UJ #jl㻃֯hML&kJV2D%4m- 8)Cef{FUtʀOC< m@g5c&.k.ʁ&Ϻi!]B:ms9P4p)z~W/TمKW3]lurNmkrZ׌E_=U -X8OLʬYڼ 9Ά=Y$cG}cߦWEr.es+[d}qa?pfaxF!؞hinZ1BdqNkҁҳPofr$2݂U4v2ʎzyh;gW?|HޓʅfPc=षɑ6@q?~0Y{/sH e2|.m׎I!"sn᳜ aQCAW5Po+#ӸeA` !áTĴۆX:\0coO1?x*{H Ua,`0E-eK}c =IP)^2 `z^6۸p3-pr@b3{HBb7#e PKy sǶosnpL̦dFuRd zb"؈kn:@jrhlρ|CqַRL cUF%oɶNɓ>=:%hȇV: \ v!$[&GhsPC:xbLAv'#~PPtFn]H9_$V v]Ts*s}%J!ks ԭ> y}(5~dam$o} 6^m B0c,)\ywg@Y/@__zǛ g3HKCTqL_ҥ6̐y b-y,>] OOi7a(a{y7V_bcI]`oxJF4cS\FLzVwBS!ť# ֍O&KN-)(kU8𦞠NwU"Pw(r]FuF nSyWS@r(dk@ |(`Sh /R<.Ouazܱx{t/ #fLSkЛ:=)lAV2ju꡼=?{=DYX;lV9>l6Mw]rOѳ`j߻ "{'yiW.$syO/-c.hR%1ĖΌ4<}aON*1eOcGv~g|:/iIæylƒ^q$7ibR#`~>$}] ]Jd2O:Z)}fy z {K6IiZNR39lOٿِx?Eiԏf NJHu¿RU`W/,ҌzjD]o0B*Ѿ7Qud0:D.HѷWpX~ezFGi@ITZxiyn6ROѥH]r=,jc:5 *<яbEjvnjmouF$\F(yQ#L!zw:`0 x[SAҏxꈜOM(2Ϭ?\Hٱ'ݼ_NGoTtaEG[ /,W<-Rj1;6)fsmȽv Wr`-ғ((u͟CXL-=k‰GFv8Q D8%nuoM@\LA>P30WK?0D:WgNl’]Kye,b)V|an>>Z#pO(Fs3;聏&\.2G%'א9{r^DJ ;9ޫQlonPǖJ-Ǎ*3L&]O"[ -;-[Y}. ui2=Szc|fk 7[ }~/˵g&cB%2qN܅뫍7Es;dt3KWm tpq_YNz(B!# \$"^~xOdfE_JeUkfX B*' KN`BS=G{f2SNglngC}7@j*+Eo+_EY?k41vɌ]cC.T"rTpd MFhO+  iĨ2? >b5=)#Ȣ~KFutB7qЎzʎٿko`K9K |ԑ#sM4YUgBQ*y][5.w 5$E P+ItVWOFZQ:k X ^%b#_-& IJa J?qȎsu)Qz5[T-@|Ϗ4e7s2 @j~@Fљ&qH3+X:*ASgmeH4Q ')vhm^yy33Dq` dhn,1o#D#@; n>>u;~Y6-WXpw9ѓ$"!`vaԉ۞B#z%ٛQ3IXWw^-2B.l-c2|xhw)\mґ~O:&Wj`v+Ä`  }Cipd%|rڛDP[k =$dzԞXP?,G #C,3 %|?CSQR%aS=A[>8޸}|/,Ճ3n@kG&9\]̹%#a39v=A:0b$2ڋnѝzB[|+-,kTc噤 G-`;"\i{%Xd$9O_lsVPr%zIC*chRޮߗ`mR 6vN |,"5Ex* nĴ9u+yUkaQX+Q`7Nl;c%&P sO%-hۄx/\SH; nD<~-yG1+hB[L^# Y pD Z'0el{ YB2Lf؊؟e?6[mbxEf* ޼u8z}8,-ETt"bhC{맚(nU#w-ɱ%2gF1!Vz#i_qs*%^ck'V6qK'6%0rUgEY~ꯪrgX^j؎rC~-P#}1/+ gq?):UmcEL X ً$'gow)zoC&ׂ(>GfэF24>Qnj62u\%eV]cȌ30)p"!y8'*v^B F:Yid0%zlll"ZX/bG#nP[ +bMtOZ:O.>X̔gha@/`f4fw, Q檏;mB(HP>b30n`6mւrG'U[59D"]fL[IMOʋGOuj|*.Pu^ɯwQ0éVXå2Loo(ռ2u|Z儰M2𧲟v;[^PbHL,'=׵ "l'ˎrP#fՉHU("6F[7 T2}[-xEXFK3e3+CӪd?)W56:gx?9Z5rԧ C16J GA,۶sGW8ĥ_нBP8M6v530|/f@Àը-p&ZsemZԆIܧ͏ՀK k, zP+ oaN߀ s(j-<)WFA7 E1 Oj.{Qb qT;aB0k^~OUGG[n3H}CB %\mMjr ~?U.x BE7bXyPs>A>-n4K`N{q:(tKttnTt1M;/j[VTxEh >9њP#+C0%IN !Q - 'TOԾ5prJzEmtvXԻ/G̮D)# "745b yB=ecؾJ [M1.P[SnR? Ɉ+Y!BuC(|r(QAbQCq fjXD>HM-i%:r}傥c+췟達LPƺk]RWB (C pbPAU}X+?,C\:FYVd~A^ Er)[﫧\1?ߔ I)II\&˲ITV?ۙl"qݢXAf3Ͻ$v% 5ͫ cS"U s9bIFus^eEdGʈ=F B(C*BzǪgK4Q{#oiQpbC,y0ڡCb摺'x/:B&zk%OHʠD(4w,n `8̺yLtҰ?k^PJ iі@ !W?B=xg\t{~11p?pipt.b pd*f1_όUM/ISr0;o"*_B3'7}$2zW/5q&b"w;#8!yD̂s1 ]Y*mvʲOvP.0 ?bI+hLNIiBaͰ;!JިʟT@_3y9^ w.iy3PF%kIߘ.7vՐ*K;y2gB|K)ηEO U1MNSzDm,Ƥ$3v'cف " )c޶Ooe GfBVժ Hf[?S$Ϟ#Nc"7;Ox"m$>KbEV88+rܓ~={yϝ [,S2l;ku*6L*2ul;#j}3~nnBfTͽ[[>*b* .u5ǩeY ڸ<=8{/>%h SPAS0sSBI utfrf1 9@d1dpvd ֢w`OtD\o^Х~[sfQN-p }?:spJ0!'5Ѡ=9K5l\}V H<嬿-HlS@6-kjiyeSE2WYr>v1>ݫyǞ1w8 a:[-7BgU7 J6M([`w {V@d҂hm@ }n.j[D0rYH$ΞF(}5{&/9*]GV#=$ B|XN1;bZ10dVJV,㭙dd!h h,>$TRZB_E7]ک8UD*"6D7QWΗ4|Mxvir S{M{ubр TQ }z/ϦMwvk=I7,,na], rHT'Y<2尯1B*x^0U3aRu>IΒ_ 4B|KhJyIDH?]>IL Jd,ǝ?$m6‰ ß :C,59qPh#y5GI)G(@$tvT1n(g5Y5hs ` ~l $ FRπXQ4AR Wn$FPwԸTVO+e=-(1'7#˰OfmRR`z3!ff n{U=ej묙N["Gr͠X]֝#g-z*G1qq$px8@1<Ĉ)-~OV` !az]"_>l(N]݃jaLm(Ca9{C[韹YZKUX2y21Lhz< OxtjhGe.A N<ݏؐS"NbhL,1b397 ??ₖN 'Pq V!ȓ`)Sr/F٘z)ޜBClt:AWvʧ N{l}ŗ|-^G%s53U :p>KdTwߡacueـL\r]q*kvGmBc /wV)U'HgI2""y=t)wn)0sU bYD;b~+5!3" -U )5TTL)dL!;O4 +c|DK׹ԬZЉx)'FA!3]<꟠lY]}F>q`U($Ztfn"8߆^BަBH?9kOca8ܴEM!z繪/#k>Cd'=ofOǒlpc=lq83U l&ta}I]ǓbPJlMnJcjK^فg 62'6B?wmué~VV><__K.y}Y..&x'lH:N\-J$S Hvv:G$"\Gyrr-̽N2Y)u ̮mڏ*G"%tM_gdz T9v|MoC:]E\)12ՌaZO - 9ty+B1avz1N|1ugbY%*ev^% Y݅4u$#jX<)kYaD9jpwo?5(G~H.%̍W6ͺuEi JW5uW'd|`0VgwR~4I_F 6ڢ&eU4V{5 K]bALFA&fϕOMQ46xdqCmV)å{ht@6WN6UK@܎Uڤܺo+4Q>Ds H\bŰ_Ї~VcqNm /'~|; Oˌ$trC3: 5a/;K5 AZɭ0 KדzjBd ␟- dys~չWtmJ bPBBfS$4S*+RVc\`[9e}do p3++mrqFaŸ1jA":T֯BA8Um.-Lpڪ^YQOs?ǗsݴVtM;no|sX}[^ \ܱ_j|Ugףo3IqV$өbV~g^ -0&MncKhzQ3}6\ zU(5J&Yqh#Ṷ{8WMKJk/J҃Zm= ٫FŇ-QQM,,KuW~iff+՟WUbF xWQT7 xpzLJ0TFMC.ȏ:5)CxD1dSlj!.lX0*F=;%kD0^3#va@#eeyy^ Bas@d˶8FAױm1>O(nX? i4C@`@'[AK"ڇ7耄Bc.{bU @Ce&2FH?2.ejLq(q]wl*er!wS~M,㗡z^ }[sE/F~;ESeq@a:D6g)|N\VQL&]׉VTq Cw6RIK5Z>VSy0V"iC[T?9e_@jC:"=z%܏?Z~s[*AT+;3O2?q?EeR@}L,}d~fK⟭'bvyh2-K*rhYs'RӺbiPG;{~ɧ8z; Oc'8U} rV+ox妭g^У\O-D68t#}gZ=Ru5nâ.qu=i^|: )%^NFkYN  Ǹ$hL;g@hs.X]< aPw60;NV z0,M8Afkz!5.S%ֱAPO=LU>1:5`UnsCpSO't oQijጔ+nOr(IOO]65 \ m(58bSI}pbK}H}1rS?j%qGNH.*|pp314a(?\/4qAղ?isTRG+'JxrIL^FrհY$~m8J)eO>I* ehۈRadPG;= H* {gxm<>LViRQ)EmTQqY_Y@lFm/ O͘!w}%Ov_xtbڠ+c*7H^BXXWxwE o[In{ Ue5?GTt)#\k4%EWȹu 8j=j`ʍⒻxg(h|1 FSJ&֌ًҀԮv-I8ҩ#guwt\hԄԱ#۱LJ!vշV/ =a쨷↳,0L~"С֪Q> Rٚ6>7JuM նQ~, PSu?2RoR^$rUGVi Py]\Da:LQ2LI9f>#[5Od\}Gf Q7.)p"7u7 {z̼y r {L|/ԗwKL)>Yt$R,rS%|+/6~;KƳ7F$r[} s$V2͡# {)0= Y2{4'쭜[щ 9Gc XBj aojm#Z%ɗaO$0Ɵ#ؠI!N!XI^}z`#{N~ J 49D6us\t!] f<{)BWSMgƈ߯`F]d!҇mS,* c7)$V ao:Q5ԃʈ \`/HA @a3>g:}0nٜѦ$QOENrӦ7R7 r#rՂ(O&Хt'5eg@GVf.k-Nc]u6v#ެ(*xY̘L Q%T9aFG18EBK{,R&~˹_;~ה ~MgQ6*޼b3PǏjm%RLTB{dآj1kf׈eH Hs^PZ˸E A8/3\3lf;wu qXި/dxN_l:6"J[{"!uJ*(G͉ؗ#k0P `?)lz֖J[/(sk Xx4{@qBxާcdB>);䟢I'3GX?8Pk9tV,#Q&p9g'`d]Y{! -הB :SƷgMrFg&hUƑzTjм#+'RJ ̓E "#MOѦg5̏[]GxKƚ)#&at: ..Qh󼩅0Ϫr0qv$ \׮[{zHT@6gHt"vxWnA4Ezo;H(;'Y\>~[:Fk5s.[%p3Hl\jd"X_O>NiBb&nX_~EI!Xji1lLDۨ\yZx8|"=b8^45o4҅ majJC{n݀K+N-,6}wCɌ%S00O_Q"(_8 k.zhCYK/~&t{hz+ sH,?zM~ތO珠U3x^e#3L~ I+;6wQSŧ8uuΗ^:` EIg̠eQ`DﺈyA?gYZ7zXZִF! 恈U]ŗXi%{Zέh0K=>, bޱ%"w9 S1Q+~YO|&JC(}3h7xa,$tVI,L] ѩ'@zC<^{ M4u,r5 >|*~ zwwh О,TG7\yoC}vtJ+^dۙHM'ؓٲ. t椭TEiq'tb۲T%KX@3Qy]Q{Ih< ]s1cim G&V#C\˹[}^E˜Y9!y߻ t>t: yK\h%RPTO(gfC,[Q(75> {_//Tଥ:,=u3:S^^{. H}Ln~|iRƒuQ-V.b'LwAc*!zp'# ?4=8szL4&%[aj-b@+%)5o~˼)+o1Gkծ8{/P ȸXil_6]E786 #ː,yq}os14Se6,A Z8q+[ڎ*d?cM)\Ee9<9ǰ2OuϯS'}ݏޣNCyrׅ{j>ΡO s@)ZJ[C=#s3 i,JÄ7Fi7Y{78U֟cRoupkLS Z5Oǰ1aGn$C3d_hA '[0pRulyuMtϗz> A[33$迨%MyWDsN  4E#\-,n f;wSBY7i?5յ.(ml(~U&Y&c;h%ZuKE "t̀ /h:̢.PcYxlSiAxʝemQ_: BZM6/6(29bΒձ]Aڤ:骒U{Z- %°TuH%n끈 ,$nX W/hFvPCas~@gә `i0C=|U-a?Tn KaDׯ_Fq !ϔ?U0 uj PNZ&Բ<GAE1\P,9Ťt7'45BG;z hx &pBgarsewxw#o6J_ȜQ=ߺӳn=`2s`rj;?ejuB a~P<1 uxjv|sԜz|1$ݥN*Pv%Fͥ`*?SQKo:ɹۛ <.}w^-iHBɺH,2 b rJ-p, _KuM&2'%t^҄hMvbnEP^xB5oK+$;NP g]Bt+Ы:M9 ӬsnΖ9DF@ ٺL=nwZzV.< B">VP  @[ᮽ$U,Mw+ԝ\3Q`Ecua);:SeAPڭs )AI%ki[i!=5!k {lCvrۅ& k>|&xVO"7IC-%r,!%PQ}qDr p`4an& ,|M:祁VZDLtux Z=,WvN1"2PnP ٯE7)2A..dewςMʩbK f&Mu@:BoR"6ASO3Q%9fVuyz5D%XX0H1j4ބdCxi]2B")ͯ -: 0CE UT*귊܄'!KIpo듬elɆٞP!RVBU;,NTrW#Bk y#[SL֩%a5lDL%tFLeȳ[L¿, 2Ұg9;}ii":ʥXiV <Z,?`:Mqf;\o Ʀ+dGC1)reRJ7\eMўI`o}TPHBUʅ_bwwj,*vpDȵ/R#sN@`mǩ|?>T՟e Vj x'!6^|;*D$UUC%[ ?YI22llk%,u:B'N|aywJTEc k-:#:LA$=+:6#_ y5AeI/CIjp|*$Ʊ$N*M4gC&'W:&ao;DJAU'ؿFU7)pcS8Z)૟:V^JxGs^.n&}k'#H`!wyճcbUm4k!kYŦwߐc)@r3uL.c;'0Ǎi^\:jlG6t:}=%0A ΍FDfg q^XVՀ \.&7jУʛz&:'X=xcz3JM/6C dRE[cvAPUP"7FiY=*l|x=a}ۚBi0ELa9QNPNx0[b=%@*DiOfc1&b A1{s5<Ů @cn;$ Ēf+ODQ]ujd\ b u^_KmwX+慞B$62&C5 +ܼL.4ȟDa/oJH4n o+cɎGmE d ~ʰ 3.&W]G n z:&Ӥ>de=3]᜺M}glOXW FWVGY].׮k@"CKB 9T6WE~qDY擁2S?^cW(0D)2HA|Ř\8 q3_=/՟/e|ۺE/E?\& vh%5V802`hߜ{! 18 hE Ž ϟ>ruw)&qQex^A%d;ARVF/ƊG@XX quYymU MN}5yKl$ J^o +]'B:j4wE@uObqM0iT^}!5; O3x&~nIF@p#zCU?n[(9/i^C*q#]XḱпƼcYl㱞0ۭ_[/M/p*@,}n=9mR9DJ-ҊVBξd-y`/~qN$Ϝ2O/0ŨnrkKIWDΜAHW9ql,Дy[J;RcXnzǖ /%*^#"6R pKww`_^@@;9[+O.Ԧ7$*1će$MuשƗG'x5ͅHQ,&۩QRd'@uONg_FMo*y,ŭM>o$JR(aAa ԺGnްT^}D ^^V{ьP N{tH3(n:}DCVʥm?F ++" Y;q|eKtO.&W0Ѯj*}IQ8&yʃF{KtM6}!7)SpI~p-_~= l͡=N .󒶋3MiU7'V~.GASWeZl=ӐE)_ZwQ Bӎs?}`h:vt}6m[A{D{m-{16*ſ' o){(g K%ǎ jIk4G0 ې F;k@ 1J9Qy0sJP)]=86hWT(Ogʵe}$}I/TV l4yggyA;jVg[h(ޛu }C$l9Tn3 $o Ae" -c?<%`"8Ɇp8F@,B` ѶqCt"#P%Iw舥Pp` 2?<ብ0HdQVݾVbj<]i؀Jclbr(2p8;:gT bWp`6GfFoeܞI'X3K.LL-tQ{0.nTg71j9i2X1\nW5t@}}"䂚iV ڒ]k2R_$J` 'xUo?K.N,45qWp>%D# ."rt9?daI@@#p_4TZo!bX^o, me^O+r[ /юvAAOmx:ɧ6?z 8K"c] SbURGJn)C.&{L?$tdu:7F_8#p;]sQ7L?fȳ`}Hok :"' (7[G$]$:TviUA'Q_NWh4E,P{G!U|uq,1SCI?y߶+UD,/FC&z.*Lȟ;BO3AOc>'NǨܞA_#0vT98D}HsӁFI Vݣ,.p(q~)kUN!c.|Td;n{Ǧ)~"MrW-f }XŒ0²[phVi@x"* EH|^o?:p陎rXtQgqy<)PK&KCwΑYJo;x1WX]]?f뺊_ZRF CH59ƥ )swTg3:|!jC#wgƐxI~]gVU֏v8Ξq5a駤I{|:i+gw1G86=V =ecd6HɈf&+"l}fSOW>X|m TBL e`<].UЏi!#.pzn7֖Pi/n-Lna${V2 =VZq* j³uc&&g6j"i_1G![krKx3}Z+D±]>t|D;SgWSFnv@ښY'g^h媆Tؓ#H,Eh5}[YrCĚR^YUC`ea=g~$-Ep3\kb%mɏTÑE #r > 7tS+>ÿ(p1881/Ѵ|evz5 {*=Yw*dT3˗}4glZd Gh^B3AA$8i8rH#H㴓pEJq%_kV,钷8i%,73|^y|Y(~~36"w 'q È4ZjST+-$*#'7N4_k@_GcAIdZDh/&B\b'ɓzh󶺶͚`RMY*[d=pB4!uU(Wp+mBwpj*ְ">~Ǒz+FJ\F!q[v?}ePhHH+w+|S/@)sLEm:*LB2!`YUϝ+@M!9Ppv~s24eF۶vO72 9Vk8\DnXPPO|gqR f2eΫO6 X6rXi-fRa$K#CQnPYYV{М :"9D &z.lգ>jנ|C"?Sķh!&(F qorPQdy__ &pt, -Ե{ )sqq(lni!L} <xOKvGt]ZL2gzl+Bȗ[Nɸ:7tra "$]-NW/h=ڄ&0j[EC:)~ve ~=I#cL|Eִ}&0_GsӇ#[ nVb*O^ĆW,UG<.E:O[f]`80֨NeU貴Ujl臵-[hJjTx~\|%lOz T ͙;>=>-|,{ފ̹'lSbKQx F#c¢n&4 ڄНe\ISr&Y7u|@P_=Zݗ!mV޷^Q8@iͿ(@Rn!~育Q[AQ≩:wٳe _NIt\FHuȁljDLR)h@aزJKtX\J/D|(D%)2gĸ2+9Ս)y,mQEsLX_0yUJ3[9hԢY$syh3fV+Әddw0ϾޅmXR@GPPMmJg&f=5Wvq䲭]2^exod3&7VNc<|k Ll6=sRxT_&H0N&A S;xxY+OS^Y,;n8bDie1AusƫcI M摜}*# "3UTnkC V1\^oeuw/n8c"Yn* 騉yu~> {X˹"F9ҦHh=m(fFL@XG[5(Jjq)z @)9@Ѩ~vڀ_ƌEƘ3axbdm+qoSԹّ5"F8*= z 9[g M91Tj|H{P#+G+Xj{_꘠?pw2čеC}ars2k5*@ 2!ICԾk phNGL|<.u찵bvdUTRHvD=GC5ú? ]x26S϶m4ͻU ,Pi_šL.,pxH~B@f+a^o+yvwwfsJL[l}xy @҇#GpVfOApqN/*ʎSY~HoJ9֚\XY4h'Z{1xʆ'͡ĵG-@Ij{3=lUa&6j)2at%ku O،‚@_.>.ѲEO|s&).Kp&g { k@=psǻgXh]4T|Ǫ&[4T98ԍfIgL6.&dP;Ec`vaeǦ(% iY;OnL{jJ&.k":D=TOI[G PV'Xற2I#OڼV'),#(P{JieLf~Ԝ ْm^OV(\{rI%fw 8XHT,.;o((0Ȩn4L3o!Lsl-ђa{処Ο86B3p:rRqz$M|!o ]AFL4d`sgv9Dfx_?rll>/]6*#P#p jtʒɁ/ve~oK0G_ 4yInp ђF*I:6〇;D=S(U)Go|OԜb4=rܵA KS5# th((c-Ĵޒa.(b/pRщDۀ hz4[9t {KT;K^iO TDȊѾ:3/` 7]")s=C/#R)t-ý?5(hZ{3- l}/.}*A"V.J5!88+e}^IbIše!k@e\BچTno?; *y~Tb/a=]QB=>e)xҎ31/a+!oW{LK󺶒߭|l+d2JPCN8׉\3 gjR!m#CΕ7%a fk@agodBD$!m`Rʣ'H{XO743G4#(1w-?#צraɂB*j9$0搙Er_== Tf:6x2u~񨦥l^m {5O}p@2X$eߪ!v?u!ʔST@{nx6i)bQ/QMp ** %km~}h#{ej{.I >wǣ\t 37T(|9c/ ik/(g!$o 'A'9CFNɡ('c" ЖnNfΏ@*|Ϫ˸G6R+bw}t-I/( %YW̆U& j&]"t390sϮE{o4ݍ/7XtVد<%:V *ƺ\ދAN0: ! )~{wŁ%di Lcm%3*+A bC~[s+Ē"puxQ34(Kc,k itHEį<_:xs Pg[g, t㴫Y+%a&@O965T?ML≚%:'DPFMMGJK`CA1IeN<ŋ21\]p WP ”Q,a}KLIjٔtğo aD}ligQixyN|?{"YyԝK~bfϛȆ4|E<;{O)-@Tccv7"8O =Ox&զƷ -[-=XP`)"ͷTԒiHF)&hӈk0/>OJ ¬vc]Z[J#{>oxҋu9rt AxB y\^x OR쀼}`s`@+HAv VBmLC'e=&]ۜt'x_GiihCė^{kY!WdRo9>0*m:g ^8]X Gvύ4 0T󺃵) E7FבQS8]-s{5Me-,9뽰K!>wO 6= cʞ5nƑJ’Gr`"l*[UGrf(蓥Iq |+>ajsq) P_Jc0LCw"7ι\x*e!2Ce$v)9~=K3cjS?Z#x :LG->/^ʕz@,UpuO?:`i>0'H0}ۻdP3a퀎u+͍ R|ɠiz%0?ϳs&rVubpeLI Bc[# .Tcr*)M'! Yhn~S,^ ]y򾵔:h O.پ**a>uUNQPHH.t?W[A:OLe~C,#Q}8ђߘe5sni@LgRR{nX,ZY#rO v{Y*|7X:v&ʃSN_CxHΈ?ţu2u/lɍ  K,pУѽjXو@#.5 UƄ y{h1Yۗ6{$\\~9 (&ǀLBD EhtiQPn~ ߃ŕٕ(T(ך/}eXvyVJ97FkɈslf3/ 6mLBf,/^{6m2SV~c0۴a=/_sn!ztyxS2m7]7**_8"ۑJwT#nORw^"Va<«^<'z,/w̻֗0s!/Jtz*nŭHR4iQũ2ےu=D= on j/|Y=nB:Ҥu;pbQ )J?"lW<|"PK6\ʨ:8_:jq!0-9 (Z?(sg3O/n&C͍^DnV-Pq~Y˟ H[[ð Co@qm;67LqrK&Պ!VB{nV-M$Ny#VlgGkK:jv ^vs-ZۿE-uջ59t=0kVoo(8oXz45yoo) rdwJ ݶbC^m؄PbH y&(!Dp*aiU;LG%+9'6ᷝ] 4 ď5aoɪ/@nѦ,jVhGԝΫN{[c_khPJ5K;8q;0e\YeGn,ԫp1dnF7 8=2X CӠn=-Hxmmpyx&?N wȂ*@waBɆVc_tGV"gi)򗳶vz[׷Cm$ܣ,B@R[._Q@63h~Ɏ9?3rCrW;OV9~`xͶ.V40{m Ii> ri!b_B#eo 3%5,?O(I^]axNGÑ&hX0&+BuGQg;2X~jݘ8xښ*HjQasUrR(;ZEMA?o̒}bmU3N1첛 ? WK88p;Vep&S>[O9E]!}> -$*:p&q:*P[H4o?*k]y ss B'lwNX~_1U_ʡXYP7 YK}AMj<0FQdxC4iO׊R䫌r\tl{{7;o ^2+"n:ʰKnPvظ\6-yq}6yfL" CqYd3NX&=8F+Rpes9W >Tw#w$sזmG0Gw_%!Se`3+,r۰[&b&hBbLJV@ s-a${dB_T]~ uw>9 Y f@ [Eu/Dul_cW#k2fz,D_|M8`)_b&h44bs XK&C6w:yetzL0VLY=&¶t2&Ug~&5H18Џؗ*)N&黀Na0i<}ќ7q͢Ó8.$>]K'RWlӋ9iWUop吞 ;dѼl|C۽CGeMΎ$B%D%n9dz faJv~ +(V8Eqa41@$ 2=ցBفxb˜n:hbyh@dk&&7B7TU,WPoջܩ'QbW! [ yLaHb-B9FK;5Z~_ zc&9{{$3J9p҂,k|Ho%vSdMة9vƎ,q-5*ˮ]gI |#JH2"4V ~wv~H0!GЙ8-(bԬwwL`[vK?,峝݁4sǬ a]]-D8d /S |3nRي驻۵H wm%G!ҕk!)B4Ò.ܳ)˼B X`_=!,"~rpaa4 G~ \^dGaC<\n=σ&wZޜ˄Qy3f~0\! nZ%{^B,\Db4y I(1 Wꡨ#XXAJ*]] ǁIEbu,kC,k5xFn2p82ʉI$.X_zcP2|lr2$%03L߿v$C@.jDv0H)J볏ka'&q=OV|?B'yrpDp!O0,Ѣ+zP^tvq"c힕q$w~vQYYVg?;DLr5Yq#kd#A;--"g(? * {*sb 8)1+Ş|v|@׷4Ec$?"nV )j9:ړ4qJv4EU\W Xa.oOEoKof}蟶8{)drԿsl*HwewX~ҏ7͍ ډMy}RAÆzP{y8"p#N,հHZ/TPwA!ȐcBv(D#c F~)6rX0 zx:ܴSQ.x0; /rEτ7޶p(6HA͚go:[P {5߹֛_@kېi"V߀Zxa?I2o3RyTR/ݐyaݩ||o}ڮQh';0(giQkEK1"[˭0|\Q &4==3Y4`^c"]MX_JOb>!vPц|Ea Ba0*wr$5Oi G+SiS̐AH,܇7#;NN,}?W"ImQRŸZhZ81nj+e_4GTFMpbR=2f;X^IAZ~iq.HG }QsqK5'#DW7?"\מ㞽19hFjhhd:Lxd; u]d'RR9clF/@a{)Oeٷ:S"w] rUm&?mKWd.H!x7O}:Dr}4lkw~X0>Y'bVQG[=eq!acԽOY8~h(P7=Y(] aHAtų24CL@ $QMv$74A6MRf{sLk{lMQW&v=/W7^LHcنZE\-wŃjD};GF !ZT[wleÄ|J l] {R||9T +y/4{wUX,GμIh9j[tMܤМJiIjjfk!cqG I*7:˦?z|MCfw9ݏNq <|Dvʹb(¹}8Q>rd)*6llZ ;o{?D_{YۂK  'Pe~HTUᄲ'& [[߰-8~UQ@\2Mxٟf=*~)hBkX>2h<[q'^Hias %U0 ⑖(v :t9cuyքW{Zj_#͞^Ʌ<2-W&P<;/4%vWVQ"z}u?IQ??C"|!Eڣ6K]|lo)QQ3-YrE.!4{ o 1/)3ӥiZq*SX1:˔+ݦa3s77~oCb"ʹ1:Hqo@ wf2Q~01JԖ0N ${& 9sWrzKv<<;``.mM\lp(,8/BIR zgjy~ZH*#:ڡ}v ’ԫQgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525e971f6238440d3d78ce2fd541cbb47208f4c8d90 dcd687d65bf4dc3808676ddeffb73471bc630ff9 8971a32687059a39b71e1952a454240587dc668e