SQLite format 3@ *- 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 >>34< / HOL-Data_Structures:threads=2elapsed=684.483cpu=1103.172gc=29.596factor=1.617zXZִF! !]ŗXf1-q恈%kV^M[-a2'1 3 HOL-Data_Structures61畕\op+ot)h{cRYT ks^Wu{\F=< !gG:36BjnQyF|\ y6^^Ծ_`F샋 ¦K^,ȥW,,֔yo{=G)Os/P렗C&Ϩ–4IL-6ylS 5v*}r&@\eAna9+MD_wҌzTck(K+a[@_JK 6;ߛ%Y4_޴pK^'GO@09l^;A~޵N([bA9b¥Z%+KDv;pn%)Cy(.aE4!̥mR rJn"r Xssz 2{$YPS4J TiBx[?h`sLwzb)DyiB39jn36%` UJ/ȗ/Q m4ά1q!}^N9,0'?*϶By,+dz9p .ax@\#K#Bz lqwg(M5 0 v++:]4#:{ߊ " o-ڌrK@NA xp1lqZz`5.[BqOz .qBJG4y 8?>rǒwO7z'HTD8fW{`sWbkPMs0{P-cpj $v^;'aȗdmQ~n<:48BR!u"uQJCo/1ln:пEŤf&(_K\q-ځ&MZ \R'@['jp0h]lõJu•T^ ,RZTO,I퓸 =*N)Շnwj >Y21,ANf,~4%l.Ytt'q{^`!`\f 2K_)a9sj4P!0Snp%K_LԖOW㡰31c-D$  Vs獆_٫ҝO}syo%m"P̻g3+ӼLH,*MC|CXb 5U91ޮOЁHaf5o0cA=4>O}G5 A^o`J=YbB.3WVa aVA4V<Xeb#([pkT`_Ex?${h#}Oヹ„ʂE|[ga j'Ҿ,YU+o&Ud4xߴ$e^[Qx~9mcI)/kE;0mHc~ԍhw>mqW2"kX*##ankE'QPt DCr2HXp9/$ri[{]ҼEZ}?F~= H1N!g9`Kzp T#7K*uurM 9@g/ b\Ηq#`T4^Jr&KzwZG4˯{c:d`Ө*R]K"ff3mqnɖLd3exdEŨ5d'v;BE%ڋREGWOO,֛~cyuͣ7?TimFc߉fs3?~qC]$0# uu,R߸&<;ZVqz6$Gz(l{C?~,wj1>-tRb'>5T>[tf̯91Mܩ}b* t*XKϼѕ[5 :wt^nb'biޒ#ldHeB.#2oGNZ|\8Ď  WTCɄѿf00`8bѓ$N#Vf]IBCx'bL &d gkr*&m( &P4:n{n  ~ Lu!SU?/].3;.㡑`5*b60-X 7* oP?/~5Φ/AEuǻEXC+ٙ<2Z̊M:3}.Su%b×iXnBd#V,Zu-\"zHN^UyYAĮ]CǤŗP&< /ִ ~C ApWcQ ez-ۺ{VhG3Akn~_gl!MfN[8PΌ,R(4.7paOl,yL 4IZh-x&S$0քfE{;:UUJ BTWfZȽCY16tM[w-b#jas~u7MM:ޱf _ v:ÀC᫯t,JTmI-Gf"^ _H!칠hH|O#+o0Gu1=z7)\wHM:-@#x3V0]$Nȡ">IBݙ]8 }& sZ¸hBɝx''ڶt.^)ĸd8$RWA2U|uFx{xm+1>}ȱ*;xgkNh;hxet?"](ХB3auL7VIG=z_wG,PdCaKﶨ;qKx?@3]%pmJZ@PW2 wq:&C(Z\."8s2^tYڍWdrJPuN:>d"0j`{¶Gs&?qz (Jê`dis;{:H=R0"5?&kX[白z}ڨk/&_ pFF̢K٢:~l s*OI,kkO..L)mW r.h < .hs%_bMWN\ , o(tX1B%* /n`9hq5ʆ j\)8w7WЎBVa_a9Q11`L.;Y9+/^Wد.<ш{n.ZMm$ǣ,BEhĀTcYdQ/z vkEU=Rx$bYwaXYv5DߨN 7>VqfB5.jp"8GV ^rSMyWWV,ҝ.ᑼ F7"H'!F)#\ol.!v hQ dO,$5z%TR( Lz-ݘ_ Z'~ILNW=(/ʙSCڧۏ݅ +2+TVt+Ps(ĥYZqp#F( +i{ 鄃hiH#|80V>"EO Z)uiemQtvRcIp:HuΑv6i)q"RQqǦޘ} 3wIAmc/"jbL)?]LC}Sz8H#*GwgM᧩U/v#)pAS KOhs[#ʬl2 v$-M'EՎkv Hv+i_꽌LΌXE7b macbqK&a40NS68nk=L ur$i[HbTrѡ4x_& BKj 8}S0чRR4*ʵ,6mO̊q:57$FX&,n25jӔ~s,ͨloې1^)m _Q{R ߭[vwq]J^ E1 J47l`Y!t`N:,ሳwO,XZzI Iv)[x|Ի&bI2s`6;X*֯mJC)>$*emG'VёE7#)[ ݐ{^,sSBЅxZn#R3[̈$`g6?T1@L|y;j;ig9xK os|МbOG8=m(:C]qMetӘzzd4t8k@!jwNz'UZBN{gܯ}|;l,`ͨϒFze"EFZ";P,\`u`;tgGp Q.sV^eԿL '/9gT1:7D*`x‘2?2õŠ'1Q* #Os3p~pVQrGpn&mt:ӴT.[9C x.y?d1 p(M!+`E?&C|L?Մ6[("MmxܚH6NFk ;q{x:. K=3ERv_ah*Xc5`4 f&O&7@ ^YNduLфS aw[QԶ w[#Ap{2A;{n"[en=u{c dc:Ι1NS# cb)BRWgײRrd3I#'1xkm^^e9'+AXu5`3*xR~!# wnt izqb L8kotTC(TB\T<8\(\ہl`M`IDdd$_m0~fe3^ ژz %9p͘UimƓ!S $[F'= ?O@ K^_lqأװ@cs'->IS~pv/U 3|4 wta|wsHHRC;v{63M&_Zd-#|'0Oh+mJ=V؄F_Of'dY ^-Rڦ QQvxȥ Gx@l!4(#n]~%ahn3: RЯ߿FHg;+~^h^DD@3͛Ըdڙ2g2a?mq/@­oZZp`^}S|0ÍNsIbrBBv̹Fx%L}lj 7>X Bpj0%<;ww`k~&eVu8~[#X)f4ӒYL1Jp+Vq(pH5 =5n wm?0Ô/ _Pæaݬ-RӇ\afg)0!p=oڏuŒ:;ńש.vyR| KpAd!qDLhS~&P?z<\uק=n?@'-&I|D>Ec.n 0yT=<_WZq`šVO"v f1ަ~u d;c]ǧ3+ܦDCo(}WDeþIBaB 7 ʱv- z= }it$MX?M ln)gV7! u F=}Coa}O_Uto^5)2 O˰[90}S_-sCOhYQ!Rx!IOCXmۓ1HLs`2;EJ* "a`$v5*ivwVS;UXnn^3TQ,Q^eM-*A@8$|Tzbޚlr^7+\` Eyep%Op-dY 7 ӪZi.sO I܇GSJu.F:g0hњ9>!;\Q3q9c4*193[՛\67Q&^ (HРr竚3Aq0]4%񝚵m` zDW+rTGlIȵ귦a= yGx~>$ͤ`(^G= gΠ>-zՂ XQ 7p#ɳlё3!m`1#2k=;vȰ½qA~?ˏd]P>9aWTD"+ Eo>7krW~^p>e,.u9oRpq8% =L%XJj!#2nFe4~x3aNz rDQ84^ {q*(R?sJ{_Y_0e# C8'w dVx9R&JCh4/ Us6`l}Rte9~^êWrMmXxu&P LBNop'@SA1lK:p_5)֩u"3sR`jX第`Ik0np9 Jf'f-7PIw J0?uSpv[A.ǡP!gf3}H 7"+p?$\8q/Y.Y|MyQ`xەh`iOݑEeR{uv oUx_ը578¢w‚Jsc=TnVXˆ /u"͔.!ؓ[k{k俫T"C|ԝƶOǯ(MQJt~-"wFx1e#hna誷C'0\=Fe>-_ O7XH]}iў%.JC)CA[!1- qe,9˂j% =:˳(,viCe&s|8t\{TᲵ'%.  ;F8%zQjЗʇ:oއ׎GcnmW|$C2l۱Uv8/FS܋ u,Qw'A zЧ"m(ʆ5AcB>URD&`O["EBeWA$YHUL`N/ƘM箿(%5nAX7O;V;Ay*/ Y/EE`z%`HU_ͻu7=&:EEaey¸K 0ȃ`I2Ogx2oy,p ݓ\&LcʡqZ{e=@ 9mgV`"]ʣy4e\gJO}bːԍ繚iw^s?zgk˖DG!02D tD+sf@TɁХXVrB蜉07e~sp\|Pm/B1lLض69b:_j?N(o{L?7bKp\!}8=jGv8Yńye.w\ϪɐzizN_CO*Vg?4GQ!)1;aapz fB=t__p~]g0|Q=T\ej%0(зg(m%{IlIzanĭ(t6EʽQf]@/j'* Rs肑ϫ!E͛)<"i(h6H[2lEy?D]81$`ceS޻jg+|PJFT=>VȚo]{>0^8"Ix^#M O61UX$oĕl:6'9&\4_{ub+g壟c~?6z U]-At&lR #Ue0gF.9t+̾Y>[܉՝K·eF%uC2&͋]ȱS W{؟8yj讉K0 vRKMQD}w8de#UIbv$ue->Dt,ҕ&+IJ1ĦB"TFUqߴ\;Pd2~hbvWhLR}[DT>[x4QI$x MU22Mф*W ~VtFSl O'3vr6=ֆ̰Hm8U :·}(i_F^H@#i(J:Vid܁ߜh'i,.ѱ𢖪ıd_C,xUYJ-:REh"XA+pQ彉P5Ɖ2-:SƗ{;; ,jՅ=doXA|-[ `;tm#$I0Y¯b] G;ӮUE(eE6P"@ TZ3Mȕ.AQ>"*J)ײjLsJJ/dY"HɯO:r-xeOy,6X{ 4!V)־׳X{F\zN0YEސ 4YQ7d_*-M"+G¬麪51<qC 9 uvS;b@ Д;A7\dQKq2hn.-2*Bz\ D:N$*n\CI[vJ|+u4 )0|]79g zjZcO)-NN~OzEhbA$Omi8+D0KOTUV!S"= HSC%XyIg {s֐$a%`bF#kU8Fr: fI 'NTR!yQs_-ŰGXR Ah<κG㊠k/jKl /t?Yk cgQP5r4$OsQ\pvɞ1HQ G膰:\}Ԫ9h0 *̖Du )'3]F<-esz/=ڕ2(vWj|5#?{&gmZ'ܙ_h^>_ؾ s2O _ }Kr>0$3laaWi"5rnΦ~`g1CD\ 5AAZn)N1qζ k2xsD I_ޞkcZLA/}\SQ]>BXK3? a<ƿ:3 ?i W=8( -[ϫ -8sE^ "*bT+-7svlm;R͵eHPOgx{RN=D/doN7Nn(`,{Xf(pcڤ@᱙ MKԉDyS$44I싉PM^U=|-F롾P_o[`Rbìπ6t{01Bv3BtHLO=Q]L ێJ^UV9<LǃU1/"VcL3s*p3e!38Rc]$@G7Φ쁓XZ"); RK!Fwp7=v1 Q]qA?׬] AFce2R br*ꇌDG#/a.us'UP%]oBh`HXPu%yrRtxT>E&*EMoN`El(J1|4#<3,PyE@\lct2^U׼ڱS\ w-U`mex\|tyA$z \golj5lv^VGa&jMFne. ˗('|!N)O/py> ǡ$٭G*}@r`G?دlVQ˶('UA/InLfwm'w5;TpMFoDKQn aXr#xoV98L@(㧝:yXFY(UD'4zo_]-p@Y/ϪYgQ™95DjoVrܸ3C׉)!2f'!Yj~QccUvp|RnnL-Z}AeeF+? 5Bk: <Y\cu^½hl!3qTR&]ptqS (Y\ Ec Ϸ:{z|Ȗz!w͊gO!5!n4@=aj ]lfk3405a&5Jʜ.4'ط4H~u~l,;)!SL+ׅ k{TbfyGq"]𗨬JyqiS2+=x i&|ppB|GV a,2T~3pXⴵOyËYZʧ4W"Fuz3n\}냁C6'"*qb`f(| E f_?߫fh4O::KbZK̓A Xr: ĊQdM᥽=kC^ϐt:|pMa0|th)F0tkW[,Z pbQRp坣ES^ihW_e_^r/M:j]2vy^f]FU.)<rlhGuRuޑ3r!3?PϋaV/֦3T A?{ TNs!U2G_@r}i/tfԒ Flw`=,#6 9aiSK:p`fji "#rpvaΐ T^k] ijg|Gwm~|#vzOn+ؖx."HKJRcaaa0>V+)|%xi520O4Lu&/@Qkn@x}֝(!z1)n!k4.9Ȥl8]Ч,^H _FD7J)2tQ`SZͳ}hIZV ads=@GIhUy&QLΜP^'(O,U2XkVs32b4 9JǣtIC 8$[_ W̘7$KϐsanHq,CCzA.ی2N\)-Z ICrS䩔EկG8k';)QB?\i$|:+,߲3ų-/9r&+ FaK۬\, : J/Q8$ЗM l+> K+RTYj,Sj]aT:4ۏ\2ml[]d.eR͔aڸR/7|d30䚥՗q'4%;xG%j d᮸r0{x/L%e`VW˄[՚0!x,5OCaٔ@,2c'= 4P;8O]|r6cߋ޼ŶaE_i" x\jz1,=X%GÈ$"1GwzHkOu&PlY)젰 9a+MQt%FyBN*+9H^bfL;u H[g*($vtk.Y}1 O:yu{rd$)^4mBO= UGYߔ#J*զ|nt_H+ӽn(YEPK#677XeHsD X5 %" `餧K+Z Is&oGD@7v qڤ2:!؅EZZn{TNZL\DXM>,s= 0#Vee ~ o 2g?ZvԨo~sBL-A֮ǕcNofb%&]T0 x(!@ &lɾ561=tDZV,>wfk-E}=(z߫ 7:14sc1':JhmV=N Y(SQ%ID181ur0ZU9U h:8Ek])R88<br-ԾX)RȷEcsG K[UOО E6tO@  |$)XE9k4/ 򻢋uz'|cf'` E2yN+GmGX-F/o°FdJ9W:5bbzwc1K=2 l{ASB77-&(d? z5T-23զt#n4U/ @^/}7)f;K(n!)i=4K苲^+r3 %Gs۫侅jV)7ko-K[S][~Ҷ7J.%Қ4LE"kyv@&M9łS=%d̹pUH4"l[drOvOLi$y# 7"x?+AVM2l/b Bqxz|nP+"ŇtGõϷL l1'JylݥiG8RWzJŏ Y)4P8 hI &&#UG׎1'x9 L,l0|yPdV$ku?>IA ScB %̛ep@-2Q=b/ -ڏ1);ĺK5߫S1;=hkm ZNI囖BT1w` @MN'c  s#5D0 `_cjv40 G Af$=NOh D\Yo$e lp1pbA!{HQz%@ ֥@< H<`3y<IUXDq§Y*x9lw81@8Rar"[0bYS@![w˪Z5 ]ZTw`V27&TMѓ[!DVl=Zui,c(jj < 'zڗܵ ^1"aURCbKЕԎLRN gBtpEy\6,g퓘B1vƴ Q۝͈T2Tr!H3dܽge\ڷt&錑:cMٮy9|-f/& d \As #$v*ED2KD}i21.W<ʤSX/'Ꭱ=n?w(%bd7`Cp&p(Tv3f>VL]z|d+rt٫,'|!~zAy|>wk#V-45AO*k'5CEic,|3}YEm?6.vֽpBa(,758Wܯށ<0@$;ZhO=B5837sTZ&BX1^g CNǴNڙF**MI$H@09Z ky;`."r{ [FT\gɖȋPy3N4};}n; ^"NAw1Ϊ šovy+@ 'Ke!\b&B \c kx!Ķ8MizAGHo14@c#>kk<lNid@E[MFnm ;է*_ĩ|(e=4ؿ*Eej.LJ ܌lfg;,3ߋj329*l"0Df?d!Ir7{ӥ\&?h -JO]-Kϛɠp b80׼l &}4&ͷXt΁C,5l,4NiYa݆뗖ZկOq;Ts ?SE &>^`o(xvBxEK촻H뢜5\D)9Me;L}Bw ٿl$xq1l_,pqμ*Yl,,r`y0LEj-M32<?Tqg;?sqXMz^ mYK(tj"*dDZ}簾DƯc62\Vp_2Lg*.\3joν&OAdl<ڼ|xI"L |a)>:xaY3$l~e& rJ H>)LqȮ s"N j&B$Ar"![6Я#)4ϭg֌_:Mf-oy2Kh^,ڌfd oy5@\ù?V([=3E7{`TgP.̗(W"71! ?Ryw-%*C%9@Vv(VIvh5{ԋݵL+2~~h1?Ƣԁi=D]M4Zh'Ch~Cf4Ej ہ{,Np^X?hC > Y(>,.~ KRSpfnhП8<((WXWU=Ny,(xp<UDQA叏e%H0Us(`RᦽPEa}y{󻳾Wx7W"Vs/j6 Zj\޻8'6HV}+V 3JuyT^wldqiIYKrQ ҋ,)(JU727@Lߣ@ID2T5|0C8?$L$SVjh!3D˃oX_˛"qS,BEO6B.5ZS?LJLq֏ c;/] QS5hjڃIfn 0.|E.mm&;G0)s-Er[Mnt!_㻟'>b0ӿy3YZgʼnT4gWEQw rIٞK#j^[lqVͣhNH2_3Vm7RS:2Xޠ3٥ Vcj{6OK6ؒ)L[%*ē$TJ\=]gz+`J[)~OGĕo*Ι1dWbwz ԓsIF$pt)'eL vq΋#tiC;37C/-ixϹ6uxAi+w>`OKпďɉs65 c&n .tva\lb[oumC?ͥG?=4y)!%Qvd ⍃{̨#ཌ@ Rm lX8B4R"H`K .q]nFKsOa6oS%Б>T)FˏӿR7/Sg9KǦ=1}M"rU)0xzc73XH6=xg<;׿f}'%޵$U-,nhA9z[:ڋ_ #Y]H@G4ppzd QX x0]߯\ԍل͙;ۮ. Is6׍' T[F􅎑דD;_.fIPmQb{T3@#ÍcøS zPEi3&|Ϯ_A'&'fDoM_=>o/(tp PRj{CEB |\LB:q";06C}8'D%|JIXmL2CFw|.Yrȝ?<%>M(#4*F!i7#r6^.X:o5 h\3%y P щam|eL'U[rpd,d6 "z/֮`X !DG|RԿeVh~G)AcIiu$ `c5m?v+&a8y^jLƫ.Iƥg/Š=u]eQtڇz+v}O1)i Z0V[ХCl>^y WvL=5 E-21h0dMGO}]`1Rq֑78̹&< ('2/zP@TNL&-YjOUyhߓBh89:q=z@^,!~!DZb69/oί3r :٨k[\.fk L&T@ 7O\?J0W3uB~(+ S'2C ØB Uk,-MbdZ7Zk>FXVY -bP J 'Hό>iԄAnHJ-hg1=CAsB`vFS8!4JId@QdemM[q[n Ê1ۯ"i9(O񧃝Kہ^(e; n. 7p 2Z}h  CxL w8M`8'9L;R*2)vAuK)ËUS>NO4Ëf"Uݤ(hա9L[ǽMT-ng֑?g8 GI*0//PIMfCPLeĘy٧ f5CP#Y4A^/p|L+.)&^uEVU$#:t@f/z*E% gAJ!F}F[BdzX.=@ X?J,IXJ1f8#۰9'Pr'M:q2ìnc).W3X(z,3KN9(ioVGY7sk'Z*Zt2rاKxO\+\{p""\wj!P; +!JxCjI,?0MnADfNOțʰ@1:mᱬmDE x9nl\wCh)Kg1|*<=$UP%H&!Z%<iMփ͕9l5kCw0btߘȵqZ}//ibB#Qm=k[-mn>K6 kMIX2R\XJ_ߛ/M]]2umMdΰ<%OBҢ[!d}ҴcBYq"+P♤Pp~A׃>KMK"ez"9(^6p iQc <-~^PM 5z(Lip5-3Z(0H"2B-W.w (hF>N=;33Z}2k>Ŕ$\R'!N:N)IlBz?ImGe,]-/2qѫmQҀo4oਿ@WQޡϟohnC0x/7N}0AA֨MA4ݟ-P>r_-\|fؼ[XX:r]rÈT\'~x '㋱P# qD+Dj]D"hGu5B'~,H~;BI V1+Ä=4?D̥Z~\;ORԘ}$(\$m%$ͯ8[m`=6:`TU/ Nmɼ|D}s5DJO&_af8НcgGaOzhrԪF|(vl3 (#mCÚOhy: _n:jFzcxq㰒骐urK->yXe~n[p5=bV%0yĂ1cTݍd(uJtF񈚔Gw I*cZ%'([2ݒ`dA'%AaU;^4>G&ڗ=%L$=$ APcQnM7k76m>2`x$pr$8X-ӳ8Ga35irh(Xi= }(ƒx.YQPV0۩YG[=9lwծYk>/@xalzAH/cؓH*1W1 |VNr颤3 ?Um#9]t24wlG{mDWKaqO y?ܷqiAB!1E@Ok4c.iYWP40λwÉ hgP4ӵ;?.1YV9owɥoe* +7||^S֥9㩱` YB" 3&JƜ~ G a㼠JxΙict f0F\tvlrr Q.kHhf1HLykrAI-^?hr.Zr3:!șR$wGCqʫ$_C/'nB6FeSy)(˘Q(}U @.\ |յԌRv=5}C@/1R)'Æ%^zO")M)̣ȦTw2Bfp>>_M3bFyZ+tPWU)ߺWk>m2].!wk8'&S4Jz#yubhjqڐQtCί O2`+*O?iKq^{"y>jG IK Qx?AE&Hx`r㟄t@Bf *h |dKjXޛI.5bɖD^x`e59֚TLtx %ﳇP}kdO؇ĩIne6^\*ScIZE5쭱7ҴjI<=PˉnIcd}MY~Lf6'qK!j;*M9@Jz >wȗ*'!LJ뽉*j-8ÖN]O}M;jTC !\&HqXc"ŀϺn1gvG_Z;[fYfVfgiqDqqF01F\练$h@ZFfx`25omIia)e.ؑTѐ:m Zh9LJr\hnB;d=Vr۽b"3^zBǬR"' ]n #8zz>Πק4ZunUtbI>4* NU 4Ĭ;ihp1IV,9E[ \dS$a @"|rWz+/k &7<Hv7E26' y,UMP56 CjaeB \{NuV5U񼝑gmGBZ2uX&(03I+tQM~bȌ\S2w-JtP,n)9'@{P`%q7cb-l!) {_uDA,H)(jH'sxͷy(\ Ӌq(|PQQ1tm4=݄*!E?SլJ#x  هuKx~uK[3O`m Q5̙rLH*;SLL-0Ⱦ2L_Tv+|-[ZY;U.~雚xcK}:%h a rKr=Ր10Ӫ'gbs޳>UM,Nb9)l@އ+9}7a cՒط9 ${ja}g>QO1SOK|gK$[w 1{-eӅN7o.~1dh(!>u܄ 5Sg]Q۔:); jl% G t']u4J?AQ3;M\R$s PZ&6qL)mUrQ(A6kJ^ `\ki1XKmnot |`êy\@|.'C5z =&@ cǫM>hlv \\ʈ0[ *{Ii6M((HP2*Иg{Oňȯ((`mjWw~tk/47Psc9 _ǚ<&zޙ Z8A< O7WEKa1% "w!^;'_YTK:pRu\q&VW膁SڿG,o04Iw\$0WcMqqCؠ 3Ш3VA;j^ׂ7F/ؾҒi,"W.8f;o+#N/J Zާ80 ܿ.[" ܸT ]v!0eg==ntoI:Iߍ?$94D59Y?4q: "R/#6 Mmwlr&4&/Zc}VUŒTdM4Ӫb?OL`ȔjgdglsyxҜޝi]8:矵9֫U8b8ƠH(@N8W f0>93SJEg75,3u>xдP%cA WAЙ(Щ=լP oFσsܲ9{ \zx9|zs!q,kL8lro ;2! V¾Z=Ol^x;*5qc3o0g%߂LtD\Gh.o{-jkt`%ϨOH<8%LG.5$7to|RA{K(nԿJ!a2#f%<IdCXf9rP7rhxpIt*D}QUR_ _@Fwaqй^}`׼P/C21ݕ0uK )^?|iTrpdQ0q0!2Ax0wj=*KTSW"Օ2i1UJq;j`MKmSF _rp(6`DU܄+vmGF5u;$Bc B܇F'c;ؗS'Wֺb~ѢݱDVC7yX:YU]dZ_0\Āyтfߢw~6h|;6ozT/.czjLhnG..t3<%3v_96zيݖ&QE odžQqqeZ ViӌFE Z)v@FJ7'vWuJ>@n#[V&j޲SAϗ=#aBJ$.a1"We9VqRi3xlh6>tu-i6rϞİK>#V>Fm&@KM|Ŝl4inyr,]eaÂ4C3m=d ~du7974DK(d(L* %yr@^qOF*oiUӉ;dzvM~%JA\QY@ٗR8DhPz$`{ғzonjϞ0tٕtVh%. FAeֲ~5yKonrrpdPIgAUKZHd xĕ4thlIt- A,D6@@&~Hz,q$PkO?5ÿz*Jf(q0cb;&RB8hIo34H=zVEC{b/ {ՕrA@]Ad"Qv\s33B!yWϜhcQ˪Ďaw#niA[Cn4/=<Z!dȾbVO-ǀsJ0̑-|W(ZW%O+ϳv=aKOU, ۘ*ЇѪ4`\Py`sPI6 DAM(< ]`i.0 ٣8G3[>'{Q6YGK(v6dR,J  AD;- 쟝D4*7Y/:^ ]|Ti&v(n[͸%RD^`f?Nads$[19qiq,u7|tQSوi3hb*l+ Q$ͽh%@h õ< wcn!pjp3n1kTcXdRI@[p 2g!eU ԓ#8Be#(wًˋACuMCȳ  ;B‘Z*xq2(N([F? v lwn'cR c$GG]i= gSOhQiǺ@ i0jkڏv,Z,YUѱz~h6!|A2FݨoCEڍ ,_@;sxKU~?*ꡄ.TWLn;Ҝ?1ߠ#2;f :sANVQ-UppYLd8$ đZh$ VRPF2C|hIz{^zޖ0cb")h{ ~ AQ&EVz6%6tof"%;2'$~&ofO%: _WD;i2Pa@"u#C >ĩ6V;#$# X8=B gL=!OdNi骍~edu ʶQeCL:U 7\J 6\:6<0 _44'Ah#`]φC4 ]Bj9S j̦]%d!Iao"]ۤF 'B}?qR[6p5ic%r _Y4!X$SY+e,EI8Ml2JӪtؿUEI0@CPo67saev#:ޑh%^1: |+r=&Ypy9#ZTqsK׍N e67?~+0PEwvy3%XQ iOUx*Aϼ7Xrݸu%`*3BN֩oPM4A7΅u}zD9f;;Hl- P  -@ϙc2z g19,2-N!&Lpn>ʹ)ӠTw)!.! ڜ9SEр?^@Q<8``G{AB~_CC36X,`gb^=qQxXZ뼹|l3HH}ٻ eH`ĩ]`pJ̈́- u? Toq ]\CVF?X}3 (Y1DY2 Bi>3m655 wk<΁ ,0!f'\Ah"Hi)d6((XWQsrPW8WJm~RIGb|F|⪽ѵ|GZt{J* -9Qך6o6-|!iB*WQLoRXBٲJ5FsIU894V2N}J ζG;ny &k_7;컫ms (V(M ;- <~#b}bŸUc8-PεP)Ml\7Y)exz4b>#Kj$6xk<︥y X ~vxO~6U-}2'4@,ѧz 9)Et<֑)}y˰o ڋSM 3"KŪ@ PqnAQkl(x?;iweDK`ɽ9V[ Q&}ũHM h|Y3mr~^ӝ"48٭'} 1QH>Ԗ~)]hige08љ4ԝ|Y+R=2A6zxC4ܫ́nJn`I{k҅CfJ\^Fdwʃ&ex? )9 ٔqQ""Ve0Q5_WNbX܉i.ƙl8RnU^7Ƥ>Bս;^D- N,xPʳ,k S, fYѱʀ7-L3 HO0qx*Ā\(Ĉ =n\gd7oݣcS'NDj[2L5Lh}ɾ`i7rϻY2ZYמ!D}DqK cU!0p)-Fg/t %wWpg~ǢPw5.l8__kŦȘCHKM SfHXmdrcZЖ"Q-{qoS?~e܅- \%[b':NJKRLT lZPG  "q V]U&;*H6y`JnM> e|T·p.8uCۂ[mKZw;_Y4НGm"sjN%v=Tu o143CPL'.m2ų኏paGvsY2&_<0SOZdL]S"!,DkdB^(PwR-D+fS.6t0 hMFǐi6}?wJ.g8pa$qPW6ʇσ+%'K*>^,7`Rz߰ ԙסDctk>KgČ#|ZEQ޹dr7\`jcgم}ȅXfSL9s}}8}00Ip |Ss `>z!r'C8z57 F;Y9} :(r{3~~xW'D\\E{(ie凗u'Au  Fk(*MEQ\?CY;nt0udHY]cnBYo,BVAL,5WS=ǁdQ%DͳdhZ|z}4v@_DVLjãުOd>Vf[ax\'ل<6L7.^M>hҞA k 8)Bi- ,.uݷl78eՒ9 SP]v.=>œ4K,kf\`wsLcc^L;*[,Rk-*5Ãܻ`+<H;_ߏI݊i:K1.~o l>L:+as*kx rW ulC{DTaoCXNCDٶRo1SSO$OPۣ̹Ne4s^h'%M8ǟqpuIKH bv[d6!⃢?pr`MK6l!.X[+]A$Hhjlj<4 9y`@ˈ"5u "PfS'%_G ڤ=2dR} Nv'ZiǰKeɪ-7A^hMBqDV!X\4N,C{kAeP7Yg؉T]3;K}(hMLu3S IQuDLuDs0\(I8|_4B3,s>?tdxG 9024#;"oθRzD-g)^1g /ÚU`K >'8?/h?*Uڽ)58B5OmhjUIy)Z\zB, :E60w`] eې#.O OsʐK8N&bQd 6kZgXʵK긓9۸2`wkM-crhfi37D)R=!Xf I~T𨤄B9/;U9ڭRR|xG :/'Ie%c:&rn vz`<8@ᄷF)WB(WF]T%+OK\\UC5'lI{&<@ 29]E 4(o+uQ/;~‹mgRdޫYo[VN;і}[ԔrCf'N .eqt_EkN'$uk!ZyA@<0S{߳| n7J>=P2ze]{ХN R@5,6bq{QŁ El?7 P ͠ҍS7,ij=ÎdX{._u/[NC]vVɸCj~N{WГ\85ߤNԎn mP5fǸ%<ޡ+cYq4t g5%%TR%u#C9\k35ed4ź2)$Ux9,sw\)1wbl$6XlR:]u Oa"А[O Opm ׭#_#]Dk7Lrg-T~; Pϗ)|nwxaKd PH *Q.54- +z5iQ^{L _;#uA_-< f& #xm^#>C͌,P:bcmt`qCorZ:Z\Y!1b0*5d.t"ׇJ<O5B08:eƥJ ёQmAomdF~x$[3KSpQtB=֙ q]Ab}H i~L@$AU3zl@e1V=uЛx~;hU.H4Up-8 ȔVV{ |xg7 z,VuP'1#W'WZԑ?(ŧ_>݅eh2:?w׭9N^sKxNk8q* ӼJ9|[&7 Spe;&ڤ)')4[Wjp|B2Rw 1H_8ϩ8%'$h4 ,KX S 7ğQn:Mu.PPY(t%Cؤ~ ۶:y*`T1ZJ W y+2XT ㏝8s1/tgYZ087c7af85752954f0acdc5777e1f9cab64006a6f 0cef64d547365c36ce2b07d63ad82869d058cf7f 0f83e9379368d232af1423c3a9685e6e1cf74f88 17b9a1585aef604e28786415ac55e6599bc1f806 1a9bbbe5bead4a777dfd8cff360423b166de322a 27abfc4f80208ce2315b25ef1c7cd6b0e333a212 28d1c39a1cbd82a6fc8b4ad6eb4144240e34a08e 2beedc995de344b2d243f1e49ae9db7239872112 2d85093fdf9250477107e3aba1537ffb15d00e09 2f49a5e95a6a1245cc174d0e9e127b870dba15a7 30b6c2e974cd2da59f32add24e209be98605594f 32427f3247c39cd021df83e286bad085e8edb40d 32a632be8433576f4cfc87ec285b172c7ad0adf1 34221437a109a5594ba7786476b5abb5979a2647 3b722566e6a6a6d64dfe4bea3069cd97a2860e4f 47e756eb8636ae441b20bded9ff8e438ec9d355c 47f83d20c1b8692ffa67199b5761181969f9b31c 4d9e3a4a19ecfba574d07ffe568da104fcd573a5 4ef3f82615cafe36872080c63f0d609bd92bf781 53a7885fe616a83d8be7a1a17c02b88be6af0359 56f9bbe1ae24b42b2f1cdd0f23b3815a49036796 6182ab98501d24aa7defd95defafa2bdfd4efbd2 75ab70fea14c8c654f24c0e23524b0fea077e9ad 767b848e899bf51172cfcafea6b2fd397e8b0312 77222580c7c7ecd9bf11814237b3d7a6d6d9e572 781253a33cebe4f11895d825e0c5e34b6970a13d 7ce48f292a90fec49f4aee6f72f80a36d4a39965 7fac9826dac247f0615ca2a2625a718e19376c27 82fce86746f9061205d625fb926c1da3b71e3bc1 8ccdec289ba1954efb6d0640b571fc84972bba8c 90fe3391631f5ffdc1ae875ebdebd0c8332bc8cb 97020981c6aabcd5f9a12344194388cc00a68b45 a3226ceec7ed2717f070670b41ef8c46f8bfa8e8 a458eeb3486d7ab347b443630c01509cda865748 a6d881014016ac510413e96c94577bf126ea335f b9da1cf9d5ce6b6340c0004876dfab2f5da7f51e d245d2093b2eed70c0dc77b72bb43bd6885c0f0a d9fbc7f7eda85a098cb7c62a39e6cf3a40c3040a e21dbaf449637eb9161af006cbc8f4faf91e00f5 e3665764588de24c15f05979770d43c0f6a88276 ed3710f39610adde0748ee8f641fbb4ecd7a1f4b fb6363a0ee9de856decbd42448870af989fc821fd38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5