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 G5 ; HOL-Nominal-Examples:threads=6elapsed=359.333cpu=1353.864gc=117.460factor=3.777zXZִF! w]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&iZ^&1+C~eQL,8v\J(YS].jUW›;zoO<|-s/rXEFZn& 2޲tJg!a%ʀA]:7Q.Vd ! SחYo*Ts.Zւ)[܋CTSU{D[O#*i .㓞n;{r%ҼuLh? 5 HOL-Nominal-Examplesyۚ%g7a vęN?;opGG+d d{{cX}>鹈%Ѯ҈:6Rekݮ1t{'"p9HܧpbgW So=b/lR| . 18酞?3BϒS@-i9FҸ&wK6_dShc=۪9@9<L Q 8nfF]2=`rH-uz',ۤv,9%02坈~/@ܖX%!>Cil wɧ=^k9%7&LaAMsI}z(^yJ cMe*%|7lnwe'Z_mYd:jS3\&XpC:8{!TX g.~ OUkXL|ӄ%X=}X0r=t딱Q߈!NtXW%i%Ok$ ,%҂^3"ˢfh'qԖz[#[pi܈ R''iӻ絕VcG3Tu/0ݍs6Sv*>t>mQݞ^RyՓ19 Y4-'Ğ\(LAcpn?^!D IЅPE憞Pu;5A6TO}+Qu4:Vi3BC H¾ RO3d9 h>*ͣ\>5\,;V tR܁B8$َ9̖&BD xuO5HWɎ191R &dFH.܍af Z[x7sFZQD۩.6+rs?JA9Nu5I"(V[w81=#d,ݐ_`V/z k*hp %\bV2ˉe_B5c`7k~qBnlf*:0ZsEz6 =CJȂʎZ\DP ?.Z>ۯpH]~E~CZr:T R-O4gYP];s0 ܤ) ؄z&M}mqTgQ1qbZURXvy1^ 9(Q  hkAbaU^dJf}JLOwb9dn9Qb}XH #-`(s "ߐ>SqPWMS{Ri]S2qJ$DOdž(?>*3|UF@]JmfMғOL r,ó'.Pz~f7`q!F7Qچ-t)hˍ5:nM - Q_ʋ#%=oe6U24+:nY믰T08~{Y/٪֟*$kV(˱ŷtWzx= >ײ_TilQ))pVIϠI}z A-]{sY#4eg7EY‹3*. "ܤw IQ~2-hɫ08V@\7pV]FkB˵` G/Uy&#QSӔ4|V;Щ}J <Z@[sl3fwfM uE4QiBoA?;]l~t!vUW7[FK06@ӓewB? 'p!O0P]'h.PR5^W\n/BK&ՎcRu}D:6h!s5OvQV2{܅ְ0q?7JӮmLg L3"%-HRj0+cn1 QEz DeE=|HqK bs ԧAE9MJ̓L꾗ʄ?N߬#'mQ]'VE0.U_~6K}3~K=Lr&V/SϷXED|!=KX2 &)ҶbI7x郦*s ; fw4$G.feǯpXB SPTg "XR[r:D(TqƎDx0M ?}XV0`tB$8.}7@|sHY}ӝR% Q,G-NJS.*d P OxѯrA2@jYk+x _t B$iG Iɥ5̪|O]< -uW,)8:e"Z-pY#REsEC Zc)&8vЉ0Ķ&.oA[\,~O}N}-C2T@$L{@N}mg⎁5]$¨duZO kߔ%aSN"(T7XĮ7xد* P <#f dl nR,0SWJ'1;odNM?slҎPy-^~{iݮ]E\<Q`aZ?ha";׼OMc7-=Ch+gpc|cƨ y&/Zn,1=Ƀ#FU@}}mذ;Z9| Ł&"74a᧏+ ɇذPb>ĚH8FVqg"E6UT}+8\mE~|d@tH.O饺!. $K4G`yOAuxB:6%|ޒPS ։n&yʜk^+dU(ow7$&r%IzDm\Fվ\`ng#~2 VoWIz|2.:)g0ƁV1+!LПHo/'%U~|G9-_GA?}Zy,<;A- ƶ,˜;Mӑ̃]>Q{G?PRѿ$ 3RmBn";BXk-NAr6Ǔ+* l/Q@ 1Vt=2p?܊) !\?PV"Ѽ_] WJ ~Q o"|7 5 o}8I2 !*V]C±I5 HR؜KX(>Jb@@K& Xnn|bVܷd@?>oޝ_0Bb qHG.+KG֌[̴o[[ױ0f8{+ ̻B̫L/ZO~(}t弞E·r[ 6D:X+l!ZYD7H:,G%E95=PTJy?_;gow V=gYxV~zhr]z92j; RTxˈɇ)UWs7ݻ(w$[Qtf,1NHLe'YgHq㡮MD;w4^I,ҊޭEbLJe\m] ?X+-"Go!7I@6Vc"plBsI P 㟐L: 4 \[SA-4A4e坒>f6 @[d!mQ:D .MǴwG ^?n4t.z~!pHǍQcNq z6bqLyJ{H %B| ,€&}0]t73Z\?dZaϡ +];莴 Hzjct7/Ȟ6Ĺ=WELWA6X}5ha*{}l_JGmC'eѿᏹ= ;6d*- M#7 0kZ4_2*7og>2ax/U?Z%rPB'nDp|̖W5hWܭUw S#Ipƍ4ލNi;|mZsmxl~6338mܯ1Ň}jjyܹGdc45f5m*G}/U:Pۥ"/W!dAf7TԋȲ%R1}]SCLϷu{* mՊ]J TaJG-qs`AD?d՛ yݮzQi`oNMi삼z3''Ed暐dD@ڭG 0RKZ{h,ŒUW70"Ǽ <4Ϟv⃏Էh ~X\yt{,_k ͫxLZL{>v1`&8G27Ȧud}C"͖ $/'6%caјAT]TchY2C+77;l q ӿtPzF" ʥ1EzH|0NYQ`q3cTR@]cQTΚnyd~k%sXZ-adR=>ÂPs-׃KE, mo$\RT~77(I|T~5 H{cV!n 1@TTbSTD&]"XmJ[ZS98g,yI2S}e)[(s/_aCb~PhC : l4JU >^ ['oʖR]P$W.& D j!D7-#aj,@_v7UŴk?1+n[qFdFVG{d4uvOayi}5u$=rhA{aq Hz]|?[mDgv.e ҅k!ƴğ+,'jޣ. ˯OԻu+qzTC׏ҐǴΑt 0tNd~GshTtS~>ljO}xDC,툡pzչ±l>! 43ɞ/Tڿ5B[BbkeT#ܛ3UZ"Y]CIܷW- `n7 Jd^qy/8Xw !e: FȳU.V&=l ǟ肍Zߑ׸"@AĆRIN+i('㺔*ܗ9ƃ tھ336ߟ/Wx.A#e |"%χdyVK|!R:J=JVQ{c`Rtڋut-Wo$"m1pJ81/*lМј_|R2R~ֲ7z2Dse# dbF$ dj\0 bϧk&9^vW)sQ fɶ|[hQo/Y\OIgRiʟd8cdiQ;l*h+ASߡ ͠D;daq7@L?3S^cW{%#4\JwaX:5)9xca';tf):D6? 0ꔠ欩^ 6P{=E9 C֘u}V=2.lb`\7|mg~؉g L!nC[t-ܝ=uV [fYG{x(兞\Ɋ-߆6A4|<.ժB3", $ϯ)\=m^;uʚ*/ +c} y/K5; z:`t._XںHo  t&eZg!yo^!Q:`ZmAb}o q%uF|T.yčw - )Z֛bl;ᒕȄ1;j (|%g?:9L /|kNy\4W\`;wqO xƔԈ-TZoU8؊6P΍( ( $r#7YѣddE-ׅ|>Qk-߇{X~B 5G#W7ESP5RHYRuΒZ dQ8*KU֞; UfxR+W1Gm"x3Ƀ}j+d2E۱<.Gw&k?lpٝ甓Þ4þ;'slF|;R*qNň+SIد@xa9G0#E@3B}RHhZSX3Q[kU#w:nRP&=<צ~+&)6>hNF2]Oz)"IU4d<!~\e:WcBЦ s?ܑ Ꞝ[Z{eE3 (:B46T5*+̈́Z 56 oi 93&_(d]!^+%(I:KΠ_jPG!ƾ儹D"x!2԰TFlWvM@J-,UK `d) )J<W7%q9Fh D`‹99J噡8+m Lc=Y~s\(="qbuHCׯlT~_Eϼ%6P0 'Wn# K!pR`a|fO ltJ2].7iV!% w8z<ח^$ m!}G'eVP9@΁7[ xU\иKKiGיBUX>^OÿY' \74o[1k]!}eI-J/Zk=%畬_ij>tB `9DBnbV{" +^/4/z,=R֕퉉 0 %KP&,.FNd3$BpFr"0jm5TLs jvE+P8 8DYV$sZkiz6䯪Je )!}WL(4p6-Y(X~R4b+E Bλ}& Ͱpy{T"o~g&uQm G23&[z>L f?00OUZh_ƕf0;0I Jo~yIk2._R?Ԣic; W9%`Fz_3G_Q}U$3tyƸ/\^Pb GJށGw !VdoxѾhf&-'P|"Z9u] XY@дChX(3J˱Mg*ٯtq_qZp)rw!۶ٶò\iQBúV v:G2Zjō'1GI7tc`@|8 08=ꔦM,xl4_q-BV;7ٔ}JWx 65Kk|bPޛ%//\ʝVUy!4{0[c]JAA\F36b4V>m$fT]kZ-SJVاG{g]d:r* ;`_HwqTgŸMNo^PN7C݊K6PD]pZhDt$6kCT26q-kp]f$OJhh C.($q #c g]XEk)?.CR *9ۙklo ^k( Y&Sq_}w[[YX !z :7J1OJ@IdYҤb[ r ~+ KÓ{CcxJh& ?Y2^F;uWE$ o`hg`N;4&^5DaCC׻@L:Zl.q#խDp;7>WO2mhgPsJ#8-hج|[Z<7^3IV{Enc9;x~YH}wj& cc]hM8B_Fia dOPJ:M,kYSkdtq{VCu|0`X`;LZͩyp6Kj$Uqߙ 8I"29(C oEIOBp""CxNm3ƃ/!1Ip(uj]A),9z,MAjU& +߭#ΘoK'!I3CzĊBQP7`5$I,͔w8l jbVl\tU*x#<ֿ7lWel}ܶ ֵȗYq-\!)m)dGkfspSOسDတQ!\x8E8Nە/\S܋\@ >O}\x|Tدfbdxw+=w2Ph۴05UET+iZ}뻼3wJ6 ەHoS/>1E,cf*b83ƱO >Sl\p$O5p~KR\%P-@8K{B:t#R BuJ@J< y;W1rp6)zB1 !1@ %ٟD&.z)pzz!o۶p%X5H`W ;̉J+"ȫ`됊u8gl_Lz1)zG俻h?=nwo1&8i#5Ji:&Bz"P@>*Yo1(HTh UH.ϩ |_Ǧ S[O `t5}7+v1G~͉EdkJ K13z66i[joN.G cq>S,I!ES9 h#y3 YN=e %P(U&8J9m&B$9e5F7xj3&A e̎C\IЄ1q&͘a7̓VZ>#@W )pkszqc(9E>Q-j̛CEdߋrؓ" t=s!fJS;bؽ8LK\[?RofϏ;ۖb][&t$Mo{\=+ .9Zy&CTw{C +ξPvt0uQleNkZ;DǶ;mAa!Z"fYm5TV۬}+T#r)JɗI p'@FCDj~x*N([s ",ѵl:b[~,1kE/LH+ժhH |{ϥ̧e6tP+'Us0@NSkcsSz@I,T`"}N+0?$fͶ)WʾbL/uvp* p+ /ݔVa}:P:2]?c 2{mX6/ \IOJk;-`љrGgۡ$IY[Ӵ~6s}ׁ)AR՝ ",5NV^ǰA':6.SȰ]d@bSM'T|D1OҰP"4Nq3W9ݎ(n؁P]bSTh9?E(&ŤԊE7r5):0J숴:b1Ŗid]/ʐ?˸Ŝ@q4k>w`4 [XjǼ}=Zv"/E '2,Fgl6z]k@Ѝdlٳ@? S\!*ly^9/A zYL0a un""*9,2;fInja/]截ךɨ(sBeރ;| !wUN]r{I4r!bMإ;lP 99LBƸjeHKN*H5=`jCBG%>Fd@J >P, ~┮,:A8=4(F`w! /\D͖; ~! V|@c*05iҚg~VX*W,$a9k{o̎nazgޠ=|h`ފXdICT.y+\N&u-8R>HO='/ u4L͋ax.r:t Z<2;7-*@_WZFgEMoρhO5'33B95 H0ٗ>ApL%*[}▸awdN^!tCV4,Yp.ULS'C-]3w3*?525= -&̏声)YLUѴS@QTSTVeoxGr儯-8cDTX!`hy,`:PV슾~BaK o!gk)YBO!Q@߾?a57s wT o<{~џpB4kR<`쾖l6˥tO r9(hxx/3ħ3xtv6|\H]Tp,׬'d a_!blRvWT{4@|SƧVɕmz7~<K}NnsG)d]AO/Io(T+_ 0u4%.mGT(/}~Z2c8`3z>AϐMZV mĥBӡ@F C =AK`:5*e|PToQ}깋w0AM(xh18E5j{B} O]DŽj(S*b ,эQ#Gk5s_ Ʀ﷈gXO ́y˳_L ZN nNJ,㴿ASxp܃jigk&EBQ)bHXƸ6A9GW`%Rx}Byka붙y?Gsp )gzceB[2(Os\+2A'mtsMGP9=17ea /2'T`9@)[O4 Vk%KC$8M 6z`g*9>NUqWANNUeEQ2Lp#gLM7,u1*>V2$Mo.ь & RXO_}+*6 1TdGk>b1GNW{X&b:/z| $sLkRz gf땶^*z%(Q iR.[m: krŽr#P3W xvK.l +1av|@ryϟ8bxkؤZfO[G$;x8d^~Vcx^S-٦KGk_iǦGxQ*O!KMv+JL$a ե[s QC.Մv8GmEHҎY>`ܗo 9H&$] $:#A5I62m%L,%@2/A "@bL >Fm<KdnѤ'M Oflea0r Of*5.3#%+v#8 om}U)Wz!>8,O|oK\'8Gr]am&(|> yq'4ts;vw,#;LepVUewJAiISkߔ*L Lcz`՜ ?n8Tԧe^M_U<|HF+:96l'6ˬGP\KWEJq?@ruSwXQ?fNEƳ'W%0bSӬuQ„<Ι.ĊDAVԆW9&7}dJfjs/zSS$"巃/>4ܘr?ԗeH= 4^mGqIIrϹ'ɤFA@ _2Lp;2ߗ9ްU"͟}za߉@eA'c%h}* Bو;Kqg^s<} 7ӅB*tϠ"4op"+Kq !dv^0kigT߀X4Q;W_Zؐ"A-zaꊿ;$Vp*>0ASmyEDCF \"Hi3mGLAMOp_-۩*DnzOZP-x9`m8U1:,H8h|Ϸl%əTw\P>eT6 {v%c}kd87 v 2IbFUg*THFGFB!r5Q9Ӌ@uۅ ve>F WrO%֨5&6:H/[겤VFZGao q8FTIMъdžEJo 7cd=9x`\.q+ P;rk1V[n}ynr9N ܯ 57g :F'^KS7qzN/O0ݭ ;%+UM|Z'Wm"%GZsT聣ذii۷DwN%+. (;q4doTX[A [IJU͂ɗub?64p"}7g<{L]̒IGbrb^n>@?_n~{T,Lq~ 1qxXS5C - Xeh*Rv\xJb`{b [?O_ vNj-Fzp1MiXܺ$D,#ʵ@;k3rʦCXG ,]  Aa??!0u6 46.S@._iqvlWvu:qlprYQ0}"m1oQ7gBFyQCjM56AMJ."fMl>\O9ܧP aqm/Z vEtixdX;KMVHJrՒo .Ew)ٮci2|6öR{o% H}5Xh|z]gYWZ6̾+/<\un//M(r9&rl'jrw41 ;6H>z5Ox9 T{jdΪs=։>A&{bٮjRnUN)E)O՘6͑fB0Mخ֏/̺A|GBs}Rm0.gD._2q%̴}1 bXFtn38Xcb6)oZq ovq(3..@O,,6o^#XQԉE"/~RCHGтMJ&,WjA] dU_FR\[ќmQ$P>;eQ8V9nƙZ"|cGH%D.?w( 0fk~wݻ⸴>O1 ozdQnj3(6 H;Ycąa#٤\n :% 4ߝGo6pVBq 9.6mG;7 i"> }7eϗ7;pRo jcMȗ+OrB .2i{x"f|% @A)Y8. _GdҸjRJ1bF*?0M9^{u< 7rI'_ThKHݷwNJ u!ynt,8wʈ騖t n1GڭA)35ߝWRto@P">*i BnWV)lB̼ #H@{]Yr9cn54R0 M;3,S?_(2S#iV!."Pd3#7< !tCc Ert#S @fR =:HZN "'5_=צ_5!q!# 1yKY+ ,1&E<y.R^dY P媡re"uEP_Q,N, 0W /ah-rY;F>TYY֨%[ 9BBnXZ&- ϻE6,ZXN1!K/$$@jڻCşMضtOlb\pܸ(…BS 2MhXBL)mDگlj _P\)F'=lBfcN>-ٱևcDwf$ĈZB+^8Ĥ۟9rL2ҘԊyfz΢V{tPVy,-Nh8!٪f2XJ!% vȐeYЂ7, 9}QvR tFD mXbTmf@FjaBt@Ff|rH1yѓxQ;C0~b{9A IJX8^=BK=[2_{"׀x&NoX JT,A5M "TzAu#U^ ^I6`%u{\4|KD/B=+];`1Ni i"9BJ]vW/aPw/K0HP%5ٚruݘq؊CȝrS^sH "#Y S@a\b]ķpMzέ3NPpmϠ-wk]+Xj>wU"P i~4ݖ裧4 B)wu u G @Aĥ2`eLUmt-u~-yڝPҟ޹Ȝ٣]^w2bH5@r#>u>- dһ$X.=/ c#E*cw_l9#…7',Lkzp1PB/8ks6-Z7;tfdKҘHAofeEf:MH- ހ]&r$kɨl%u e/nq*MOo <pч{~cY"m6QO.nhlw[Zۺ7p2k&=b{Mɕ?lȇ2Ca#AL@]PCq0윷뢨CUQ1MuƭU sbJq,oMYi*q¡q6QAN͗EKMj"b_ lj;pxq s]7uj`YXA&FENaG: cO7r/ (\ W|0/'xbq+7H%z1"hh{ lwߠG,\XX%H¥\6+ټ#/ Kive ]! :.%V hד7׆2zn̯leM/n?f{$s3!)AF²ThT S&ێݭB}P"jtR€!V9GǮ'4hIfY뤟J̐m*wp3f*H- ѡwǩ -~N3 ji\?LU\R+(=PA 'dI .O@ xExcE C7OL*? 0 )CXElQ/.Iee3F<^6`EږJbCâH +2]4xŝ%f%8%lGgOA0+]T-wZc/`jw #+&,EjC {U|x^]߆bR/{G^.UJE$L.W@)O^>DzېDb`c^ K\!5{. ADNq1UZ^Y%ITIڅU1׼,&m/rĚIQ}kL@y̲\!h{{LRJMA8lr@xͺP|i?ʹ6 |G<Y+ӍCts2?&9C=؄G.nNyl2#tr, +]سt;MEFlj &q3gPBM),Jp#uwZ͔kn&KYnY}'\e":'ڔX1MϪΈG6 2_P ^_6p 2ת/@iO_T [fnN֒?r og}BP p Yv)\{,kcQWů(Uj;˦@( 1@Ó&e$]od_@RhdoZZAM\ф 1@dY g?#EPM/ic4+ٳHmו4TW,VCݘ*A34o`׋z<ؙf,fGp|G%g$d/lۆ):5!PeL." ɲ3Fz3huva+ U)$)_ gۼw4*}U ۙT^fx}^N$2]]·V2VRc$]TeĒ/u µ J8Y>ّ1d )xK-o|"ig^E4n%u{Z]Σ]W'?d)|ĵ :tGy#ࠆϙ޹Z!H}ӰRwLjruD+0fqk$sO l/I _ ˞Wvۼ*`YCYZDFwoVÕ'=_J9]ծi7XYkډf7)oo7>c0fTX8s[XˎHSc&u3Y s*9-YL3K f(PM``7ֱQ|p+De5 zlFڕZ]B^@a(Z<ğ$ؘ"*÷332|gvDqC+~ѡj#&1_)LR[kȡUQ2c1byGϏ*+g@ /TR2vxd('eDXt-L*1=_RsBbu9Ue5zcCfy"@ݑ~ZS9:1Fۉ)g'CvYYd0 q`,"-8Y]=#K JfOiD>X(1zYwsC=ߐ !(?I>@σWyvMF4t^? _'=ni{({qKtA݀8smۇ^:nQQި)|o B%Nptm ɱ1k!z۴\-NRرvF/s6z*g]G?`#~nx(h,d!vO\YrN`Ce3wȊSm]{j3(ކۏ8+iP +]2Uxm,n*n'w}vY4r 2jgYXe%^ŨA- 4(፩o$$k!DNlPUy`JIp*zw:toq`׀d"W^;Nʊ9&/~ t=T^,BO?!k=ju>Q߶ kÚҟq'+gƧm=VQ_mV˪%JDIX#r E\4}TÙ Y!U?E]Z(0z p9^kf u:_GUtqϧ0C'c3mk =ZrH,a~pV;ϫߔNZVA qCu~SY,U`:]ѝ'OT4,@сe[ZJ˕xw̏, ۧiC(YZ1ӄ(I wW U|Hi2KB;Ăf*-V>B/MƼ|pa/@Ǹ$ >;xj+{=H6Kr"T8Ryruܟn#2O|7V(anFj'|lcEZV ar')rj$\Ņp/TOl<\" 4 "WMV|nY]ldM2ל S^kf M9ƸwbaD(yaɧ&2}ٶ8[e|̮p0Dx܅5_X8/A俳4sEB *ᴻN_-<4(-籺|LT A;\.[)=Kzv6$jKU)bҼ U×O6?PC'ok#+@?TBqiw4 wdV,AAu+\jpCz Xwϟ/q, }"|9ԡ/]T:'pL;?V)۰BX~]#J$K:ݩ D{: -Żu|~ [X$O3ڏ?eJW~Uf^FX?xz)C7#_@,eSW5.H (qYF0ܪttȢ/M*HyS<̆PЋ?Z N`ag">JNZەH9=V.: 3@tCб@mř=-q^regg:X )[evh9 )Ȉʤ0=BKPT/IeY2SPn%wz2H|[UK BnՐr}:` eۜBOT鬙b \ W  Z}#t%8%K1\͞3ص\8H<F7]˕40EIc@B~MꤕE_<?"ɽJtVq5:'Qm lS'.F:__(ࢱ})`ҮbAʎ ծ1ђh0wΓ Ղ"pvbjI2I0S} u/4\sg/#k m?YWcYm!A~l;Mow+}'e鱘sio|tW8Glet0Ŋr~1]7Gun?fJsy4:\X$J:T8a.|洝Ӆrc=hܞxhd&of\yc[HX,ݸqKr- 㒖r voyqnЫRz&$y нo VoG8Y]baKڏmL(åW韚f ?&z<!-rqqlSdK"@;06p9 %Z݇e&N·,8xi^jlev~м '5l؍}g kM,I7՟[:b:`Dj X0MiI-I'qKW|ǡ`.TdK2n)XgX@!RmMdwS  *ɥn }bqށN5-ŝ"=p*mEpK@MW9?觭2MQyieb+^ 4JJ>3㰼Grg+:5.H>!dx*գcAQTh|!-1a8]sEԔE|4j/kRz#{oW҆C f;B-0ppnMzeWDqz2':y{QZ.]ftY6 C]Z9j™AB^G%*:3NCH;Xq9uޙ"Z)B#U ӗTz` EJ"1>ڮft^=;ZM}(z3ghi/wRCu@Iiߓ *We EwX5,uZB^Tl?+钜h,+1B<7pm^F!0RBwJx}&*ՁPgWQ-H$ʫx}]UwPF7Ӧ /qN%!ȍbeݳmsrq n[l8a%О6aHw:hz;j@IAd[<0ƷG/E^3Na6]"0^R)[cx^2iBς]N5!L%'MWp5vIꋡ2J2F& Pkozv$~ٛ3~[lQzأ BNPhV? c2!*l&B}difiO>H/! _e6Ug"cM!`" Ƹ)zrosAz}mbprag~!@QL0+UHfKޔ܎?N>+W%G~h޵T] [F<~B^6*R<# |DK~=Fm xe8=ƟWJRUnPԉ\v*=Tcx*J T]_RZ2ͻ1Xp|o;H^9 ^3:iPM43wNRM5дyVY}Lo>K@˄`3f, kP݉c*if5B,i=γUzܼUre%#8[خXwp]J* !VT 鹭Me&5Nrt"z3"7^o©F`=C۶35SRlؓKe|;79ݩ!zuZ_F}:N6zgF]h5͸`byot/Ά^:xme y3[ۙXc3/<ჴ!(0{R.B"j;t%~ ~?~Qh1H7:#9ǓXv1A>W7,t"Ca'͏(iLo< Hpc>j'uh^@ Y՚_>Q$J3RsD>*B6ϊ!P#]X/!xDϖ6FwY}\*8 븆=ndٱd.80.#^ƫ7gg:y3~6:M B$xaDY[⚸h iT wǜ+gW5,TB9&o꙾~6B6 u19^8M`J A׉bAlpWL#lѩK UFSp4L:TybmT@fAO~6'뤝b4\];3\~DI% 19 a!EAIj>#}CZS %9Y9Ԥp}Poe;u_ZBkaF|#q.JJo7=MSEWД~}VTd.gHF)ض 4"6۷1!#ǘoC>Ej#ٶf>ZHa_-O@#;h߲%v%7ScVo8Zm% ȏ p [XN0\#.QfmxkƯalk.5|CK+_UҗC[X]:;&SG v>U\xה95X䱀\0 I.=.pbwsd-4\.M"pDL..Qd@&b/7ڻ]ȑaE(k'+@8u* T~'\j\s8Qۡh,Ԅ)gɕ8 w -T6d1s-C5œ_+6ipge _4kD8\}K4q/t\kZ_*@FOҁsԷvpSV1f87sOgFgsUS}k2)St2fL`:5F~ޙj.Fu^Ο\mea`#J`NKt/yNIItoQl5xfq[Un?$ " oP`g1!hGΌ`Ԧ7l{3sI&)!PAȼL91Zݟnn8rtb`weU628%(X:SP7 \bf(hƴ>:*PVo." ®5AUP^70|%~` Rkܝ inM p,{W觖 Sv:L ô*3u]LTn8 = 5V| <2ܤٶ,Rc5Irs~>B_60h>~cU±| GQhSQTCmgղ3{tڼf "X0琄7 Ŭr:&S7^{&}@|a;`_;tXuF*"ݯNonLB!ŇJL%ձA/C;ZI]V?$8V\ʷ(Z+8X|lIU*B_/_#H?7wubY4$~zݔp{(I\|j=+Xw3n\9ː@Y\FHBxh3֜٦'+@&f.w^Ybh3jJ=tCw cVbaeމbw #oӠfBU>ܠSb_^̠ N>27:͇*b1\yo>J_`O:!o@y y^44+FG0yMG໑=?Ӑd^nqnCfnH  `L\!^r rU`徃ЩXO#(ͩǩݝf`y0n hzMXyJ]yClDdD$q>Od\|4 L~fo&ruHV0 4(CVW:C뾋;, ؗeh$ĹW1xXMo%&Z"ZJeM(Y<$9,*clm9r$oD\_Fğ!FVT,,/S!DLkۙi_"ٙ{Z̈́?chн*Zei>˳=75@efEIx|)`Md&ֻFb'-B-}pŜ7$0q?kV'"4 phN_jK%we<}3rB,c 7WKN3e{16}z^M0㊹w<á[{i:!V`%)+ xɪSAb)=oDX/xG~toy{XK8y `Xr)urU_}˷5zi!#tr]__?F (: HJg?'GX-a<޾gdg(T05BR.`]=`Z7› kS';J?Lț]6$ϗ")Z^(v*-W>:> P8#@: Y^!ijL9gjIJvhZe[to6Q %TO7[/ׯ,65H*m(3^ƴ0ᩀpU57+Xcm Kps3t†Y.ʀ2!W^}\s6mK!DgtxVva'h#_=z`*~Ѫt3N57AAc(~~Q^* @ ݨ[KtkRjƶ՜#y4' J$_(yw4lSEuOB/B/?Z'rnqJ%˥=HI~ 5`!qXOo0 tx9;5ұ@3j͝;zcJ&ƂA˼sk ת{BIkbrO/GIv"hbSD F<Eys_uߒʍWoRap)ۻ,*Z@<\y#kj7n6&\.(857sb1%+>N7,]~ n(MU.jK@6V!',qpSq&[wb8v,;Qh!'8a|^*%EqC#z.8&Z{[K ?乶>KU8(*VN3.)V`L*…A *+K?R3z ,G܅w )}lVXMb_!Pn]uj$:#FA H_߼aA`dΤŅR/W(U~w{֗ ̜"uqq Wx(u*M]3ywR ~xtQ5~Ejf?W=/P{J3"!A䒘V6Su+kWQ*qU# jGhd.LՃk`rw؊hbz?jMlW.Y6,6":hWuG%|kӜ&g;xB M :<ǟ8%*:P6ۍAlu4r5T{(}$BN ip; fdAaE*DP%Sә|F+l`rf`̢ bF]1Bvhp7<ϫa=\Og {;/ϰ1k^ 8aGJ|bιH-?: VsЗ٩4>l|!,+=y#Tngh#C,F:W`Z|!p *(ܲ '?4auczcҽGOÂ8Ugd@{1=_TsjXaj ?0K"̏43q׻^uaOM"o{ozxK uU]~4`Y}{cXzpی5$WEu"dլDXIWv(0Z.b u\DSKMUI>mU-)(AҴ憕#X'P{;Qy5ޔ~삍TJ2%^ ^)DB.lOSWVI$eKQ[MjERZ)QP"UO$n*kdaa$Z{t];)aNsP`F6Tm~dJn|g%]>1ȦvU!Qr"D— u Y xV nP^Vvy Ϝ`I cm\9$\F$bʫqޖg& $$($WSuz5eYW=>x(BHC@ c8җ]L! lʨ2 /A֓Q_ֻ@͡ Dk8=) eK1-fӚY); wג]a.lEU?b⤣+Ì 5Dž߼ğQLO`hRNd"գ;.mova'g \}jPE%#n?@C~J>L:#ٳ"uy32nU:1^+D(;n8NS?v+j=6+2"*6iҙZ7ymLRt- 0=j' hEM`M<25Yv*[OS:+zCJ -*,`\ﲞq^Nf=CBW;ݎdS;Yc*Oޚpt3󪏼)iK6Bh2Ԁ{YԸW%atFRQ?eIb-#zc@lݷꦖ,$|ALr+MI>(׾"`3HZ$:[vpS,;mr6opw V^wGegoіC6~W@;+܈Ft ٥8OI{oMY(ɭjE)J\ﲁ ?6X O~uf'7~}*O ːV+_Ct_B'm뉼}2d/sSoss"Vܧ?[ vr yX$$EF6/`pNFHfyqЈUR v37f5g۳絀2el743!M;i1% :UE70U{b00L_#PhI}HA-Tš2p^ 9"aⶋijR,WzkE**7~M]\\ /cu4K>먵p$D|%)ן Ym4ja+ 9uΕ+xN-cc0: =>5+9,;?bi^ ,NX.)3>.S"X_"Zbx8cu[I҃:cP%BK<~䒩ʪ{-Nڶ[Hxˀbk+lf5+ ؃*88ۣp8E;finCU,7i:~'R%Q5l0P6u͌;FM5C׊*!,Aoenظ"9M(e< &ݦ 7TZ*07nNw EYao6MP MHFwNKuK>o|R4C[4.Ἵ{`C7SRozOj AkQ _3fs6cc>ó%7& FyeFpz+^kFYGw<omSpxJ;?j\H]> ^B_ЧwrW!gMj +#`0>^mhpnlFNÞߗ8"K1: LW*?MC;D/Q sUa#1-ŗ 2(]' X%~Чj H-6$+]G\O/6A3oAxOҎcJ.Ip!h2& ,7y)}~'MpjC?Ds)i CY( 9VLa88@.l_i\7hI5t:5TDp!M񨣟_=ESo7:pLGD oˎlͱ {Vw}$n?w9vx"I^zoԡ;ˢАl[\ <{]6~+M:JJvU'aY\b Qll.xM zrV-J"x诳[HbP5 ʆ% NJG з7G92nr>h%n/(~n JZw`U6\Aw`.4au]חKb3 5k%^Yi râ' ך>\/v7%MA7rH֫m*pŰB'N5%MgjDt#3E W퓖Υ.#b-%Q2=܋='%BwEhMQ ,Mb259b1\ZS%Ey$'%7# C*-h4_ fHjbh6o aE>]ђ ~og'mf=SvАѨדiPQɁ>qj{HI%V#lq˔& LÔ+h aU\sei wdv5Bn EKO>QA=}[%-2~oB[sCé2WQ,ߜr(%#HM)&zhdEZdDaW_82sh8Qyqǟyo\|DllIU{%ah<> RZb)r,M_9?C >R4QΔ)6ލ벣!:¸Ku"y,+(.ΚyKک$Qҹ<-] UGjXnFݿꆑTX< @ Q t 8gL"XgaUxzB [^%_X.̩pe]70~-ء:8O9wżp@xIpT!gtBT^ b[C`ki.X@K/XSM]^]A{ flw1*mmi%vk+M@ӻBY@ڥз*qNOp׬$ 46\x5 U& t%E[ҿ00W`, @O~Mr|ƭy:EKt>ʰip|b+?ӴG#b- 2A:h 44ֱ˰&q"-9 xFyv$P4x>P _ h8kK@v .}ގ )5 fqQLf AB. ׼] Q_U|t^[&;m4>(n>?8s12gJӈ=K]uG^a,3NS?3ЫSXxʲW.QpwוUAuDf NeJP},XH;@ %C^ Hߚo?=3p1s1YH8g_ꓓEᄖr"9ݸkwt5>;^Bu;KOX(] `-I`pMXPk"TY3FHD tW}$av#s2gsî*{%!uk._pi<յ%dxsRwV/EZ=F ziK}f&'0kdN]H>qM X P;O3 b5F}y.APx4om~b`ڙ(t_̤$; moXWhu$;ѧF$ V6@-RYPHF J.Y H™:VJՄMf7mM6=^9$cBkT]cғiXG >H_5BY55Vik' x[E,CƮ ]@ɯVKt ''{=TQqP [N8xp6}yҽib T>N|K͏&lY2O>f*E\TjKs1 95 DbG;ĺ:aٛ/r׍ ԫHPܾ!ɳ2LLhq<.Ѻ͂yo xC(?n@wL29Xs*8a5](&eQ!Yʞ9)2s4x--8wtg; oX*Lnh$NS!VX8@{ [I_^!gyyĄltm4{J Uv33!G@G^XެPFHk_#(s "tn#NRKB#1. [6oҌ|u Bd@"Gj#v\d8]SsāJ:J*Yt t9 4 QvDHvw>US8Nucà˱7K7OAtQ2a`A8=O (ꟴ mɑ^QtU+8NZB5|(dY,b)tw2HCSzH#snh_ 5-mNzMبBPE4 תkYpP:S~HYpE&,$dAz F)ZdN5^ptS-x3|*Nq1yE ~LtrDsL~ktg ]cЃ|v0z8|GqƼ"luUgZgZA=EUEi@a-8voV PK3 6 wz]talEy0s@)Cb)pCvOe߱ (] 3 B= u{%(MCl:D*Q4MN4\3'aE,8sWD/82"?"uհy9qY,<=siW%DT",:/Χ !y9XKY`s?K2 k^Xc. ȈoG2V)vSYt=CР>)JS8FəutQfx3W^87T6,vX1gg|2F'~%Dr?%$YejkFQ4tP4'+G_Tt'w 8%g9v;Y甪 8*W:xƫuUm kpAi<'[~ bۗ03K,[!I2!xW,Dǔ3tfܸZV4 -JwZ.%\it|&g߰F7p+Ȑ@K}#W,ԺC `Ck:= <ש % rtdaBQB _O w파h*h=r TMւP?[(x)rG '@eQD|ؼ ݖsخb^Zw>d)>^ϐw.]vܘP61SXrf/~Ѧ(]H @MɤzNP‡k ']&Rv&d NS}(c ?,[K[U'_G'ZS%<%?as~aRѰ1 {(]k 1!  P2lm%GVǁBm4&/:#8]z|\\h;D(*ϋ;F[G*yhu8^9cO5hSe5]߇,~EW0Ӹgo  TAe@5hv&r9dbuov>وI|@b 3D1Yؒo%Q`DU$E$V;&oF-?L$Ap@Y:Z {u14wC(Y~sm*p3gYhWL'+V sbNj֠qjZ'8t͢*0~Oy}ﹹSAxA i*]B*wE )tҭ%!5վ%)Q >(%jWg MP&;gkTZF o )8T4 /0W-*d8AdES7 nM|*A/ O ⑆=7-\+ @ƮSQvA;+{֫iToS򸉇Scdžg(oP&d&$ߧ0OlX:2ǹK0W:eSYX3 #,K_I{>*@',#:V( Oa9+Oz2\+Q( bشO E;Xa/^dԀJ 4,,@| }@ZOt\5gOs j5s!-q]Pί>xFɐDޒi'`} B?,}X}bE(q@mM٢ϗsnVpp៱}O?q5G܎Q?-e {I]XB) )Hkۥc:쁑cl:#ou+Zq?IW,¹wgQQ{YX$x:Wh5gl00ϦNiI?Muu/|Ιdw'p22P5O[pCx ;r z4Er @Pb4")pq~Es6=(m;获J3 h I=$mҜTҐN(y#U,z!Wơ,yvӼ0hlOGa CIϘDſZKKn=Rp1NM w_z3{x++׸d}ð6!25K5ि0id2<+HԢζfjU&lSFVaϒ8_kXκӣ9gS,(TV IRnQ\J/"Upa JSkl.{#C:u9g=*|3?v+egʋ1;<)NV挙}HQh:-njp{doɎ#i>!:o@hLsH[uXf=&@NxMXl@(HtJ8!WgR@XNx8uˏKy/QSF ,lwfy)R&+,S=A8{uGavB'K=+{kR6_@ӣQG'yOژNm㰘UzĒVBJ[4%7+ Au[ '5aze~pa&v_#Xy^mAKWg߽$Rpp: b ThU~a^yev!`|@