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  5Dt ; HOL-Nominal-Examples:threads=6elapsed=362.071cpu=1361.468gc=118.996factor=3.767zXZִF! 瘢v\]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&jSd۝ĥjf,wD==%;~_F=UNx6CLzK#>C8  X.?Q)m?<( Q~/JzdW_$Y:]&f.sech̜Z&(@XYƌնnb ov>n,h g hy# YscorP9SZ`%˜ $he%bDNVVYhS ğ)etyH3p($מ\B#_HI>zI\db e/$nAHO/U"fl^$ 5 HOL-Nominal-Examples,fFWVGta6L`<<q}V{o>6lt3 XЍ\w=NMӼm*^ o(vs},z"N)ۡO`r8.L\KMϮ[+O$@l͊$@gx!ɯZ6bv}h8dF;h2e|V}Y _Z?Г2 L֠a$`q 1p~sG Tsɶ2Zp[y{E6C>y^tҿ_3F X,ᠧKxljfģRT^'cb^йvJk;fwN׭jz`Hlh`fvE:?S00)#k;£&,H@vtoSʒ%6USrZC#B(AD'/71'z[ËvtNL8V~>ψh]%WΘ+ӽ;C6^Y=V CDZ8i >܋k<c&趔9ZSa:eamoYISB7(j zS"j^?w=x Q-#l1;Wi )'zҐgG{a< 5w:O:v~5VQ6ItT!_-Gu1>3I ǃxxN +<:-j ԌnJmGk]Z u;2,p0d \Z; 3 /0@S] gv6i5Eaُ?&I2z'F㗈Tj jTU}l e!AMGy27>|=v'NǙy, 3Ayry&7QqGcAf,4=D)ŅyNWwn13 'wVc=3򪋀]Rױi7h(tSC-r:>VABΛӃsWě)4_2'BqmAl54+ZxnZ UHbP93[jfPKc^јAyYhT>uEt$@w",V,r=o\Kgzr U혀) ~A7F] eDy6]3=ESlZhF.GY5i˜bAZ&T?cNIZLӹuea_#k , 瞑hcϟL`LjHI`8&Ta"Glz.rȱsBlN d3j j87nqli%=?B]>jo] -6)<Íw^tw>ZG3zM2EלĹP$n_o[?n'v.hQ%  q,AqA0ʑղˏ*l u:[՟gы9նh߷ <ݍIq^iJ FzmӐ{-qj1W"AM Unז]\&uU!l.6]M3PIybPs3X7)z~u'Rdw)_ruH rB]Z]B\&j?o.Tl{r*/XF|Mď]EO ;$5ԛWriJS[VB>9y# +')Y s.nIx+SGPˍFp3[*8e\Hj(P{"2"IzZ2~stY2,/vc9q>noՖm2:&*z@ =>ԥaY9N攗WtiL&rY śj:'Y WxsipWW;52?Rf!57zRiF᛿NNf@w3v 4C0$u>m{ ^jܽ)$*bd.s$0,('Y+b;A{Yӆ}$4kԲU33M)5\k-tH]J#JSw7y9 0F?nC?V[>c %WC1f~H_L`kM*GH `=mIU͇^ j䘰p|ziGT$ 쨶Qyq譌3]H#BtZ) BY̭b>LA9-X=R$^w5wEZ}T࿳(G?#tl^(+xCo륉E4ƃ@ڊ ^KH։7t=P1ƐI7m0|5ѵ@˦:@$O4*(GxЮ HPs1jD2x‪@htƔl;ERn,0GD9@qExCv{enI]`Rd2 Xa?n,,5$Zyu@\аUxU<5{ԢO!f:Dvl3i4덲/ &YRFJTtH=3/GBЎd!%my`ۼOW*ɱq(Wa<JH)}WfbhSaS;{?㱏Vn# l'%*@aMMPDK^$ z6 ŷ~ `+k&%HVmell'ɤ-I/^+;>:۲Ź =vȉZͰ$U^قlR;WJԪ׈@|Zl^>$ ?ݍP; (Xæ> _1iܟJ hVVZAKYt0cCE_a'x(㩑2ÅYٰCS^̏U{^ʈ #gKjզ$vUXQ[䋝'WDF!.ѿǾa̖si>ְV<}& A|Y+/A!ZJe@ҪNEi,d|;Q2KpMuv!"_dʷ{UC'V:f{97se=e%P|/C{xMX@0#X |W&:Il}/U>ҍ1zPŧ.o +)җS \rS;w|Ruw]^Oɩ49Tq|sЦ|0FRcƂ3@rlU~ "R 4˧t ݣ$ w_<5^4]-+Ro^CoF>us㥧9ª&;#|A#Lp:L2wpODyQ3pnf F:#g A@2^O5`Zq¶3} ޯloіc@"eW~Kh7rw17}Yoh%!_A( ZPVVM,Q;$h4W#*:PZHݓU㣷#zBaÖڇ(IŒ%~!)$h_ h :Wuk\*!9`EkJA]n;6+_|g_@Kr4V`7^~P!^qinq 7_'Ġ\n`,tT%I;#ܒU ;eLy|N=(W{u u&c-S5{6xv(bܙ,.;-:wg.*uϽ{knEv.њfٶ#-g ywр9--/`V9\Ncݧ:t76#S0|<᳅{.1L:̈́}CL}oҔVwqS]..]l\֖b6I `q bfнPS+csI9A{s |Z9A=]|qN4I{$~N~tն [aH*6b04OD=yAM9\aLiݓ!޽$#_SV& $G!X+25sN&ε4_Ybf3͖Q1L * :T5$<34<5L ?i/`넯P|BƟ], IlVE͑ 쉋{x˴WOq(τ ][ŇF4qtaJ.aGK~3/2Ap(\]"Wy5|[}uA/XftŤW䙑Գ<1UR;R Tɼu87<(9' XhQCF}z%彀,.}Nd&U\+򿏐R47;FsnD{6 Д'ɂJ,0sʠkEyI< e< *d_kldRKYE9O"8P򬞤Ƿ>}S.$lOmruISց1ёYGԽV6|fj~`)ӞUN =2.93%48e7=DAwu A~hώ=x!r~]H4&{Sv;qCi Uatl3بZ>y,glJom@z~8&^4p%S*5S+qD{u}{ ҘbGlZJ7 ͦ*t Na-i%\ e4K2D![39 N[T`G`eۊhEx")?=ؚsbc'm7_Pn+rIZ#t40-fZvJ`OC9<=K;Gs񁱼<50ٳo#1>˕E[Vۯ̙`Dm5f)HDCYH[v}utFB J!W.̣@DBQבuΰ)JӸ[hm'E&_a;oqcC5M ❠ێ9Ľ >YZbnD wv0'T,m *W5QB =95:8^z<0Gw BB9A ٤یdR &j#ҷ]2T[NFschw31n 9ٜf/rȡ瑤=th9KDE?% -'$G$]Ȭ85Mqơ? SnC11,Ӯ8($hH(A͂5ǚ+CiJow+9iJR,tB!qpFM Z^e,3_ Iv)Q2m$~ iQ9,0EWk*Zuj&sCYNY{55Sp.;L ozg*lݧMx%yOc.(N :jUMO@hw[z*."Gs=+dO!>4Hwtq_[NCN{ obj3YP0 j8y *]B,HeߨIYg႑03BD/hz/jIՓf)0 6+oS&F8ڍxu/z=g$lz2"BgǓQĉ}:]"aJзvʛݚ P 4']-L+늖\j :XK,@v-)F`iQ LSarD?'5m sV5pʈ:;#V, v.P A1M˵cpL0F7 8AHl+hrT޼Cf*Ixhy) hT671>goD} O2c_v1ZK:?ϟ|FՒ9J&{u]Ӂ1=Ǯd=lx_s5uqHC>g4 JǦ*jOeWç.wCDQQ>V(c\pa[:iVM(b'x^rk^ǯvfmX&e>uIPU)X}:$0)Φ7&1 ccQԾz۩V*Wߤ󭸖'ijGS~3t|R Yj׶RퟪHC;0${jg pOc(BU 30FkXsA:lMfw|M|7AYaO$:6 /QNLv1a< x.8FASa"KmZ.7f/9,i,QGw# c W:^cõJLs%^Z"ȭpk.\7~B+5A93MYSl j?9a_90 2^d0jt; h{tUXP4 R c+3tN{liCTe1 j"{/3$\Lh* `Z>HDN(K 3l빍*þAQɯ8:ԔSS]w[o7GKSÝ1ߝC]>`Ohs00UJDlQ O{3Nc\c]gp:VEK<ŚB2yX[a@]͔jâ=5jFG݁̀[١P+GY2 \^>Hd}DXje)G{)lZfGkc?ia*ouC~Ys:,r>i\9SA""K`'JeHջI4Ol!"x pѲ w{;vXwFS1>y7ѩpzE){s:\tRC Jz):ދn8I7w f*oG$Cb<]1g `g_n+ɳ+jO 7d`׫2~DI= &gmňnY_F̐+0RZ#`rx3ŭ~^(1ǢȜ.ւ} MJi\B M:&G|$f#HXR5-3X1&{.Eqv`WݶLlJ$PpK5tcQzkȆT*h1xf! ?iYRkcKoq楈?0K?^M*x|.zJ {:c1Sنh9D)MԐ_q;HjHg~bKoІg:$ءUrH*M:dl@;L5d"Á{_3]%27y^P>(\G!^{2鑠-Zn͡,H@xgEJ1ՄYf;OʞB+0l%_ Y~ˤ.q?MAnH@ot=:I4I|kQ%wB'&jv( Xܵqfs.}[l^<+v4` /"~,l_yYiDR[6_aWʇpFj];u{o hgʖUDGӰ (l2F9Z$vn҉ң0<Ý*?Klड़WP7nu]LP(Zzȯw[Z U6%]\i_a"[i0l/SΎ`\O6s'B_8VѪ(aɸ/!Yn֐pP4_|䵭mIl=(xVxCro[ܧo_h:kBpŁMl>~hJ81ga a+[(D T%sHl9+T\^JMF_{/Vʈ9צҨ^ {oPG͐Ul Ȋe0B*O︯?<aѹ>_2K5tǠ*+V4-xj6ᨤ>NS|'@>c!?x=җjB:݇*?_!~7ȅv> zGp= 5z墋`V[$y͓İ1O[^'=C{2oe eƪ@r@GX7R[.Eo#kˬZXb{;zq$Ûav/JTR6ˡtm`R7>jm@ 0KG7ԑ>iHb2340!ZGԱ7cs&m:gUG?q&I1@FE;Soy[JBI^8B۝- ȷԘ犠1ǧwcBz VdTKz[wW^PZHɰ7s>iU'Ua#fg d}! h(`M&!O祣bYFnJ}gFH5B᧰d/MHd*q,P#A'+^;ƤnLX.ekOK[U œz{'$7 X{|Y K(ZfGKi7EmI* bv_tMqFv$#l4Jk?fiR q2؃c;'عbNE b3)k-mqu#Oɱ^{٬fg4s I!"<.C[1Y)l)q) 2Ltѫ%zV`3rP]}[}A"t]ܣ(|Ӯ$QF1L:tEhӄ:AaIuA G5 βrNmӃrQ,YJ2>/T=ږyj"֋DUHp!C ʊJ7HACAOOۈ'u,7~ԕʧ tGF$CjNx䀊JORL-y g O$6DUpGj5|dP8B`fv L9_ccN%ݯT`t>#}b~$V0 ;øCҩQ?; $so. r4J;'Hίx +x$FnҺ$F>zݲhvM],LOE t_xkkO"VMQ{^h)F.V .B'=јpdl}`tAIm $Ī;{K71xFnZI2\VO5[%P\$b=,S.:ݽ:ѯuB?Ql]O >ڂV.O*[rc`>^0pk\Ձ&;gB]"y<114 ,'XX.fY; cp#b¡kY)QP+.Le4;jT^t8?JC5Ws=:;\ƘΉpo/Hܚ{-V:Q-X)vtQt)OE?oXcEɣMFPKQ$|-SBYSh*=ĻX0?Gν,:&/Ԑ ˝g0ۄОJ"ה\EK܉[`7Q*0~?3x+AۍlAFtGl.onGZmi; :4jL&`?u8,}m1{yʢ\9Zٌ|TS/<2)`VB9WŸ.itD fYɴM:$Vo㞤Ƹ" {AIu͖W)YPr[܁MfT9*t\[M&S\O9R R{/#$vsgVbQ.t]`YJPpG PfcN7).XM̒-)7\XO+Yڌ+}.Cb7!9;~|dV9Ci jtgT\*YF 5!ƹg V+A65ۉĒvtv'S]J?Mi r<(~t=1iRǫ$B"sa7cH`J/?zN&}kԝiz"n)p:1'+r|J,sU0n B **V/27q[XYs9n+YViq*@mU,%O.q]4tc|T t6[S)&B|G=E:´2f=13i*𧃇[R,=S ճ5 y(b͍@@W"~Ai: {e^xLmb#f&$uӨRgg`$b}aӋfJB7M/զY3j} B%^$>j&h 9۽+:YmUcb&rxqbۥy.-{ڻi9W>0$Miqe(&h(1@5\VR7S}'贷j*>z_O B}JݷŞ,/-%y8f| 7 $2@L1 >p"B'Uf C&i}p-\3VT ز(,r-"G+ 4qs)gi4r]%dz ?'GoP& _^8jlO[H+Z2:~*cSEuo0dF1˨r.;#p{1\wWW܀/ĕAwX9pQ)CӤnQIJu2Fqng6>j:NcXФ+zNn4;$'J7/^lXV*ZϢ3`QɩU| 𹴂Yty?)VTljv;gI8Q%"pm|Ɂ\I|Z8k4./(KϬb]֮amW`kV(!'IXABTPb`Ӣy&~g_EMI-7O!(nXsCvp T ))\jMwm6TR@Nl킴rjZdD'/s*'1岴MTR&ROnWw/UBƀoϨg מ>W/q2b;OBS n8Q/ĨN8?* xQ?ѯB`YJr2(%F} ut, o(CmaF] \ŊksRSĤ:4tr7Cd$|y&Vh,u7*u * iήdIC3y" SO!۫7&V w&S{! B32D+17gMꀋzs]aڧ1@%FځgWbx/T)sǙP +v`D18|BLظ.2^?e(@U;48*-r)!:TOí91"hq͠1d@I;!2^@QGut]`RSx2Vx>^RMh4~CӺ ;udm>gm6N6lbٲ NUA@c`[e&=uw9N퇊jQ_靤DWnS;/Bwyp@V-V7PSy)-$-|RQ@}Bn| bW\wo!0W=`jKLFy̻'oBIö Zq ޲izEC"=J ks\Od\ K {" h5oQ#'ÎZCmG}'ɷ-Digk:٧ӳNsQL1PFz9@֥^\\u7.l)Qƍ^ s[_Y:o4{judÍ2vYEA?%$;)#\@ aO݌o@#Al0%/6( #f/W,QlYk\V__T1[iTN@뤒,a={CIۊXx ?Dp@79̣1х1"0o$Vݳ] H-]K^ӝKdԠÚVHŀ=5 ?5]S)'6}^]T!BC"P[ ;%Ns wz qAy1Är7}.t'pĂ%uk(xg`vdǮ7sʦ&zX!bjJH[;Y¡zx1.|Ǭb*~YI?U#׉%DIhx:P\@m`AU'Du@ڄ$ z!0Jݧc!A'nXV+_֖rmڲDO1x{ V)w]&Y_f+ukBeOR|U~9Y'MI;⯗3r5Ofse:a%zJ띟y!anWN[90ψB|qs35Ҧjj9ǍfqV \4[o&ЯۤyzF-f[!1дsǷKՠDnяߌ1.(HsM-c]Pc ,,wTctp'eD|6pJtl[`]p4*t:/s6͢"*x |= kj W^Lxqq W Ms\{z1?\_Kwg+/X z{r~}K/ޤ8ۮy&=|CvmOAzD(5u>_HfKʮUY1dE *ǵ ɍ5uu +Z;иA2#}fD_cr;}ʩeDzxUL QHʂB'"%$o7N$Rt@@ŦXd%a1 C"P JL][M^q!܇z .*7 *GpHɽ^-.1 qy(_i/吂2,&FFd2wX^U~tָN*GJ ZSU*&mEyϡjMmh@8kAj/,& ɹej}qΘ43hzoXP:M a-0Q$MVuqh۟q% 4c LnB\. boB᭿ 1wvJUt_Yn95ibܾegG[!@H=LhcW`q3OsC9,?'B0OdK6lBe i52IDekW]ZSJ0%h&}rlg߸"}M;Ͷsyg^&q|NUBf^"G= Kt2YŰ#dӠ 5b$wv=fem r,Jxpu c&b|;Z %㍗m@!l'1ǂgW"ndlN9c.W{ׇƘJ#M}7 7>Vt}" in9^T۰Ɯ8J_y*Q;%! =^z6p+quEhzƏ!?tbJh rXNyrA}`Y[>$9!S.O/*V,PRLoc s;)<.FjԢo`op9J jn0͆-Z11U]h(UW]n{Ci%/6NdChU1тhf]ubl t"o ʊ'[mS20q8~w])ݪ;|:Kc+VhYM:&Q-2uL.ry^3Թ:=0W?ROj{lG]"^U> 9m\X@E|5l^hYQ mM`i ˕895Ɵ{VLU%JVS,2DDjI?g]Q@;Ì } fF2<؎.I\oU JPLy==\q>곡]Z2ʆElۭ겱sˀi4s#.)CtRТt$ї L1Tkh3.6m$/@6+ c_`a83Z B7џ1-z0 CiuS0B U m`!7gWf-Wyh8mwM<b;2b,Zu oL`tUR"飲~MճQy2\` ~ ̏g˨VS8P>71hژò wӫ[\Qwc\->O 0 ,yB%~1 Osj sfڌYpUՊ ?{H2LoF d»FԋYHi{R0 [8#bʍ{>z~1ClXĐ*{F6hǪ8AڼAHL2ǿFX>X/qf> j&޸WJ5nupnڪN/0h^rPcԿȢ $KY`5nFҨpT<=%0I-MCOR~8Gu&" A̪^|6⇌[ WDyK-ĸD]&2@IΠ㫾 8m!-Y aM*8E  YfiFE뎶D8ϲmOU‘jNw PT9iRˠtLp4s.灰eXF}Al WfL_e=(ΠcbD0{IC >) graG"0p>2;>"Q@93eiq]:;>Ej֌(D_f 0^F4QI#L\"Ok~/Ut)Ky;:[:W7X[ C sr3ɬv*Q9/X&=ȓԉl\:Tv-qFghH5]&zD0d&@bnEGXR89ֶa,thtE`">OLALݡZ=xt&~k8[rV3(U07Wc8+m_69ֹjOz:a_Cbw92 WzS d;ܓ,2VCN.^ ܷϦxTNEfb{j3yӃŎzJP**K1 'ʑ낛mVX7IMFNJTrhDl(gю@}TXӱ^j?)C5Ip a8/P:Ki3~&X2h#0SF5d"(Y ts K#478;[eϵ&u\= m# V $SgSvXV􋄸G~6ܠkOySr3m/G]CGvyusw .nRȅ׉i";0BwkH >ۈ *. \ltspw%;9ox ±)ggarT2"9v{Bȍd@UAEilW.OϊB5d@&4~g*;z0 WZ]4Sf&󜍪G_5խTʓޔDXZC8GfeKXM;w+.vD:U>rꏻ a~^q+2{ %h{p'ݟ"C^O~zC/N|0wڰQ„dУxĤp> .}r&'VTzoyt.O쵸1t%?O ^2ZmqWk߅a?ec鯀m~QAS$e*5rzkuA4GL9N*%:_/||c*5kʧej?Aj[20jIKpxֿ~lZ[RkYӂbqp*7#~h oif9n dZ𑎹@9u@H =/`tk7}\i#dH(e4lGL$&*hP |P*8grOM60+ {87, LPGB=Y#s<JÝٰ|us#Db%m%8KƮt.8ܹuc.6w$y>$=6g)9{U2'.qNC1^4zۊcIvWv j։o%B[!_Z%#l`^KV/:E?N2d ;]O~*Z=gMgp"}V&YEx !Pٕ{%ܣ'BقLNGiIm9ymvQOk*f|m3#\6YbStQY\Xzj.MH76P]phou5 /C5=́XjZ_w>F]ŚUU~/(F㥹W}DTE8C#)P8}2WZgOԝGubц4P tkqBsȎ1=_P-u_zJb: PaìWc0Kh#濂ib58Tէ Y72wIŀ`4GژN"vʣB:8Q[ ;{X孎e^ŒaHC0Mӣ~svs] `f:o5?B[Y)*pg 0iOSxPy*{j#ݐR(@Y֌d)\DE.#^kvgBpP`ح]gWԭ R{9Qo ffջjML/]'hәn 8a񐿪Ȏc Wjqorϐ#K6}\A/=OC5\amDL$2Ѳhe.i/|DH.nҮA_B5fOJV*4<%`كe  kP 3o>"r=4 $ ?|.ʕuLLP-6?0yhZ~#] wY]#h{|kxcn@Vl2t~lXa!wž4^T;ᩴD d|z hAI?X#>LlI,-%hIg7Ra9FS‘>gyё˵IyZQg)qZ@̶ {di0:Wg"-J3DF[DI|RZuW<p$!7#d U:A8g,ap::kON2(,]h!ׄ2qVqtwUX0 VA?čaci]/F!@$}GA}v:}StC[G-+CmQ.n;v*.k=]giTP9dE*y&7yC `җ"e7{e¦TP|VǷԸ(7L}ņoi"+ = +L'6|j\,qGR|H424Q/E:]p7?@E?@jڋ<n#R*<K+:S~.bo1,Dxq4eҗ%u;D@RtfBxލoOܶxapBio_fO,Shxk;UN8!s.~KjF'ӌ [C Dˉ<:R`dc@Y"P!ƋǎFZ&jd4xn)[] 紟G a=Eۙdx6XWU쉤W_@>;wV ~D ZdX|BP")vj+f9r1}If4N*5=<D4qG"v^uQ q [Ǯ;U6]ҁ/fs!AYaYEl9r(ua48 T\tDټ^sR|_aExY"cq'@@R,(LM턥M OCـ[`@>V[#]󕍛lhXS9 eDJZy*^#'߭tS:[_| n=^&шvs{߆x)X6QXAb8/{1H˿1e )T@P%l~#ĩaPQRb_Nq ZRhlaE ~=S ;+KX={P/]_N|T 2(<ɑGgƯ]Zs\aɅ.ԁY.f E3l#Ge`ðN=+Ɛm$vxGL8S p.GuSm(=륝 0n eSwmdZhc%'h` SS..!vCt)CȏFRyޞC۰SnjcL0 $3;Jfc齳u7<ۦK "So7R zXf>9v#8Ț-Ks|03ZͪF9S:n4IY$uD囼9_Y'u*Oi s4NZ)=:\(6̰׫w{qG; ҽUg}ߘ~@_ m:מWPjȃcp# C |t]#.Bo1< Saے>lS3Q[3)b)VUB_2Q+ )Gp &`Bkx4瓖1pG[t}`RYU[^Y 57,RY ldk/zX-{_]#8?\rW׮(5Ew> Pgbk9T7s fذq§LfOಂy%# 2()õIzO)cm J(*5Η)E*RJLt-8/3lY@J?b:7U9RG7IedhT#_԰Y%/O],% MY%:'S!ExhaaY%6Sck[gKQ8>]|JKJ[v2:^Ud1^΢n%c"euX` N(^tF<4J o\'(鸘[PF ?C9ţȾM/M9г5,OG"hdnovPld~iyjfI/R:EtIO |~P + LC$:}Gf+ػ:>j'̯{L#0pM*v 5.[s1[弇4)eTq>gΜ.}쯠A㪢,#Xg(ƨ&30yc>WYS{rvhEY̾8 Pb`klՂCn?̠>ˆY ʄv0YY8zX^q_Ug)v{p J4E c!`;hvX渆,Qإad] b4_<&Me=r}2$4ALN0v@0j8'b?;Z;S 8GS5d*t|%^,E'(\AE{ XJSJm.|ňZY]t1ym/,hmG95L4O&tΨ:Ki#]QO gTQDmw}ul۪[@,k bҙj%+H@l ֿD 1Dî[>wËYށ^D2χFΌWugk'%X Cm85՜-b~€wz喝#2G}*-H2A䔧~{4=ٮ C)~̲k7" $})%wWZahQ&Xܖc!C[.TQ~im.!_bX,f2=r0瑨åH+@&-cmd[W{z2gؙ[3t:ĭ͹%Y7j x4p}uX8(UŽ;mJ˲z Jg")p.m%0 /Y>A~Bǒ84]/2*CU_VNGWYDR_ԮSDS(D^Z( Le-GۏaeJ|˿%I#|\6ͯ`,$*'*g_0BՐEu"vA17d@9rt2 n%whͅ0mFO?'M0(h˩DZ D mjˀnk*{9Nx2&e-z2yu\H^e i[\'t`# tu&w醯uNo:Rܤ$RWAʷǟa)\Z:u=qnUV'Q$9Z7U b —6Lz & B-:76fCX"JKTQ e׬IrbkYL)@$t߻Wh9)QMZv\NxJAz2x^ ԃ%̀8]S Ns\Wk.N)#UX4unTB6(S5VA#⸻k] u4h)PB,הo>@,pQVeDϓm)+cpǧ UG7d"!]!7j|H|QwslM=|q"ԼTt|t ɿ(W(gbQٍ鿓n|!?-#r%Y_q:,-=<JJV+Ak;urca=>``E{2#%M ؒShbLT]yTyr̛D ɴ+Oto RE,?!\m3IY0a]-k19VO~"vFsa}~i/[GӐwi_!Y̡ub<@1e@y"XQ:>!}甔$!B4*\&kdX"U}s 6zRiO)YfJ ϴ0LL쮤lj{MYPԒ}MnlTgV"]##,&cB 6h}5x{N? DSC0X=mG4yQ7TlefiF U>T%k|8P?]OxL% 3F`kh/PY]N2?BQzh ,Z٪>U('ű%]+}ltD{3cBVId3XvFw,`}*{%ְ jP hV$2XcMh$G<\٫cZݓA(mYayc/qZRa_Ϩ)g~.<$݆(ʦJ~ATɈ&ZFRU*ke5HZLc[S!<_â]1޽33r+&(τm(=Rզv_DzkY^+cjVø;x^؃\ᛘ}~) `ΨSHs|b+\GxB"aR&5t&A值j۫j8~)z V:I \<`A>7nxtt[L6a '**h!M ˃1 ;~?/&dx~B>ǽW*8U-Z9tGwtqϢ:qw|?mcU-A0+'&s?f |^Rȟ2 6){UG3SH}Ea{#)3꤂VGT[J|8Fea* _[ ,d@nB"=m[u~A`.Չ:#jH!`ҭ@jۖEbP`K7X*]C!kWEtdpEG7ٚC㳱gYZ7zXZִF! qU]ŗXi% 0GE`Dx8&q/Mvu,O\b7N.?e < f9:}ʊxO/ b՚k,2C#^Ž=0 M bW~InºmeUFŌF>1P>r޼,SVC/i%_)68fNM!.W 佯Z;A+y (c{nVK/]a +穭?xKJϴIva#&mj(ENBԦ&,2idښ~=:N旟TƝ^ftz!lNŋ'V?+ s OUyTe ^L^`wVfI #VW76mRFj%[WIjWeISFpNU(QqKztS++,d^2{`,3i:#ѭƪJq.We:->[(TV4`fUhNU5<_\pNȳ|x"טfo#qi|R AժZ8oB;EAЄ˚T8 ,RogaL!s$G ܶb4Džo%ctcH(X%ĺphJũQf㴣oc$huN{Sbo]$dZ2̇/̒'n+Hw&F%1Q%&B$)yńj"OV:uz2}3ѹy< {a2HrD8)`?MOE+ ;_pK4HHSjҶy U) a [x7)0oGe8&lg|Icdؔvßt <Vj/ I"CFضE Zy;$ rB /KlX}*Z8qgf8_P=` #5U ;jQq,8Ha!F),޲_ 藢dS8n>~?t.~aa@L@/i遲Fc7V+JviX ԧ e0ct[je Y*2+\Yn`ŪpxYAȯ3YXKǝVD Wd 2h8V1qDc^TKNўGNq>v97IlP"b"}Dps3)¼1R~W g8pctEEA&Uo @pڍFz֥fO4#S>J}EOn.[?: 6@9Jv|Dz yj%`z4سCEwAs)k?yrN?$ۯiMњ|-&lj]Ek^f AAKsFqqb3XEQDOnƷxt'g!R0W`ň2kVaį'.E$k#~9M,D} Ls9Dk!/;\QlMC2ˎ dZ Fy6R-d{.4yB(/^34'8}qoMGmZtK@|dҬC&d͍Yow3+$`))3bUѕWAa>3"كC' ]ggc *.wE҆r{u.뢴n-}=^" T]z_8^8y&$wSoJ٨%#Ŗ80{qFFN%)y5 ;r;'U w;3*嵢8 HH5=Ȳ:,ȱ4'Y Kk8 ?f"}#UiRo ?gߊ4P66Ϊ;#5o?3akV'9ҍF%Je)h*bmŹ!i "1Za 舉&X eR'SPZ]&Ӱex9<3Sr?dU Y >}ZϟG36ܵ;=d]h{X^JP;EEy'L7+ n{[;P'?sgF"stt@9UMpٖ$qU:|;)JȎW$ᑋ%}̸,rax3)LyjP6H2EqElbWfK3X~C_,⺥j<;w{o =D8S~݀IjѾr.{M{uBljxq 7LP2t[VPgv*-Ed5&Gy^ l5;ԁfVp~Nj= ML\6 vԧta3%AT[͹§^|B%TKk`+BĿ[LcBW0M _0)ʨ3Rv %|1{HbrCee7yk\}fW-FJ2BǵiZ>jE'B O]vNeE77@ڮ1pbѠǏf 62I4Qi=v(cC:3o.%;ұ?j+\ I.E(qj[jQcV؈?}1\:G!;,8:p*F%T(T2Q&ˇuJ!m’ Äy|0Tn= 16CkA]j7>QAwm*AᵨADFN3F .I0${תV TEMTxܺN )|/ &)^[{Z{㹬>n{!&+ v!S:14C t~~@rgsY.AQ1rWԉE=ov :_פx[Wd-Cwӿ^5M2V+3O7Ox?#mm1m`j<+=q+\pO MV#q9k@KG*Pea51-9 RP_0EAٝ akʸN+:Ή"G {:~$)H~ cq29uWx'3]$O(,p92>T\O*P}cN4}cxKEM.ޘ}a;cռ])kk@ˑ|R=l )MLػX".9C:8-iMQ; +#kk1[xn|1|{w 嚫p V6 MN"V.(֤g+7"on07t5\Ւs]iTV봷Z"Z;g˴lWOdm ?Nv'U+[+jK5Q(Y:?C}&c>`#Ff|2R 7C1kI%^F/aq-nkY'2\7OQr9n!CԧѢM]Пv^bq PI6"-t=3OB]rY^ܑf4F>0MhR>%+ tKbdk;oɆ"ʡp\}ՆTyb]]^nF,ԏH^Y6?JX:&-fE%2{}~B(no, hnug]oI=I^* Q =`R!aaVt1¥ tŸ`{'`rLDzđD$FzVSߟ!s!Rݝaӫ xSw/\OS1o1$H_+}~8<K 84R-niߡ> 9 F=Uo˨˶dE84d"/-' _K,S3]g7#]ظY1NDСN&tfNM!:6;J0*ݮCj9O= XǞ)( 5i|z|`YOaXww2d< 0^`:iUw^țg}Fo"4Zr/8 'TkY opwO`v4N#:f bs$ќ`: &PY(#ODg*kpӅ)DrV̻,Nly/bUo @:/G㛲\i??nXHمC}CRՖcif$~{+m%}#Ӻ[}z1nTN?H[n:N0H'Ψͯ_9$-HTG_8fxsk]~(g-PȶŨ}͎GR dP1cQrV .U{PsХ b8iE/cZp{':]=y=|/y'9^*W&\U{1( 56Š5.7cM:\gOQ_L5tm 3Ơ^Y>[E(O(bΒ9oⴙz攴Έc1mQ~Wچ*UM-E}x<`[ [&,Oyvtf1@&w%߸b?vC]0eXAۘPIOJߧr].DshD֌LnTH@68:t4zdIJD H0&P&vIuq6=gg0‹Lܰ5{ \ ?C ˳ ՞0umshh>1#>2Rrmۀ"T|( iDmR(=mC2w*g \JJo9پ~im=a>= vѽ 79>ܾC Lċ?Fw Γ)HoM߆G~k<(k7*"lk ?RScvE+b^05K02`Glߐ薇bA9ʼnrHO9f7g\jlki+=Y ,=g٭PzZ&n=2, *Ջ; ٚB*k!] (!o/喐YO"}]D/RpQF!9['c4s7s=O#v3 1rz8)髒ڰ˭O1mu ?!9/"t0gAW[<d9 =$Dʭ'•Hx]$IIe]kJ\M%0t矇8 *Z*ش}"AupO&~ wP ++b3gqa fϠ@(a{7|"TLVh]RƓ$AAP8%3sݢD1H'/]ww:OD%KL)d>v:}RK+l36sʜ~/˂.ψBo#RAfM<5C)"0P!X*sU[s"U'm@w$ jg/%bn Nc' o)l,Ϝx*pC(GN-L'C5D p2\Vx6e@./u]H IEB?caxHu3a|nZ 7M{ArޢUJFQ̃)z.6E ?LPQ!"=O>Vu]U~91aFk[;|eMy/K@ۼT8e3s 7O/)헴 2Ve0Q}5cDÛ|pկMȀi'A#H4jD7-6?'wn5$TAbS`Gfȏ[ ]- .SĐ[7XЕUV-FC {CٗY5T;Vd @OܕuӏY1OSQlZĝ>u|8%+4hP}vh^i;춻Kw-UQxmoĐ}D0 a,M+v\!W4sO|lPj.W:Hi RZxIWÎ0lֺ0ю}zÙ_}2piS%.yH MES?'=ILБ]|`.qI-%q?zBt뉫̩G':97H-\Ffn6Pbc.f].4A]r_L%֐r*,J +c[5 EΫn1nw97thv\gtC{·-z^)xHs>f9K]sԇAMU ցtl Q1D@MkDI$)7-.KpJ43v)"w)+:(؂Eؓ)ޏPN¥ ]k,Y'BTo/p"Sc̒U`_vWŰbg ?cbkI${A$7~}MޕKq&Z. +h,6dZq1%]$5al!e}wؙ] S+7ptSyN-rIX%!o ˱Rv d/{gm`KU-=LT-ZWk`Z>hYlwyP+w/GEB>˪c֊11gwXr`l}WDU*Hהlľ $$J>LiVCBx>6vƝ0zC#Y"BT,zWVJV\j16v[z?o[J0Ll7)K!zXjЫc `K< MWRrx~i]wn nR3"#KX:z&t_Z7n,`AyRץ˶@p#P))M}>K~y(P>rcm4XI˄Ġ&B6|b)13 Xt3|ȂӺ۱vH귅;lAQM 匳x5j݌UFQ?;R aY48nQet;eungGէ:]>!Ђ-i3u$n)CQV@ !z"mqW~w߽6dUUi$!ltW U2t֚h:fq1ݕH`:%eeԐ4:uK5Cir< 60j` j((k+۽YO³ZN~7ez &6.ϵ*Ic6< oJ'<6Qeα`CIl*Z%m*-_E7ߥjq-`#{3N<2` .8#Wv,'2!O5Ulyi&i3*F_PAf$m%}:1TZ%HȬ4,Md\2haI+ o :>Hs~x.-%VJbwrs*w&^Ț bEasu^fnV S= t)tNyrT2jΎ@o&mBpȹu(9^RMx~ X67)>M?7=wU:NWKn?O A[p R,ixkk[9=?:睭;0D/ݔoehn&S[?W`<4p$SIbĮhUD\3=ܧ쯅,yUܜ8ov8!t2EGRc8%l5PZ1+AwrOi;ߴA4ϊ-jy0Hn>4~g߉bUud'd\n&,*`> cZ%7-6zGF]<:j[Wn'lz bO'}A)fDhd g:BR }>sz#h&EwVX@?:]='`I ЇA|߸aO ^%4}|2fY2yvm_RZjB ̿e2mw蘳:`(Kb(#0;Cs^bΝ,QϦ+Ÿs \j_n"ScHz_#V~{GhJ}D>qx#6?r%{[6 e4D1/ψdDwD}(i{3!"[1X];!⯽0C+l'يԾ^Bf/O VK< r!.Ryj<)Jf 81-T%Fx:Ad%L#o)[d"_ɘHXٜiZد(5^Led&ܟx5k|# +eg{)Ȏ<}3l6%A"F",в7-7ֵ_[U"}x2(0ߛu xt 0:"[Aw^|n1VJ qvIRg{]M||p!IJpb@(sJmw8O%PG|&M -}[;pT0!-g}}9Dٚ8 G9Ph!'Ilsrvophe4La)GuDx^,6+Iolx@>*3\/LCw?gks9bR{QÓ7G8YSTΆDt"y &_׮ >B *"w:Wڐs}S[C"U:hzmImul4M}L'`Pڡt3[egb;|st7[ VvG F\oIG8&F(E=rIG]Dh#Vm4^ DM#${qT:,Xn¥QF0O \DD$q{COЊ`2 <H>,G\PX%w 䈣'B) 6@ŮP`nc#1y$(6X'NJoWJ4oa!b:7VF2[_G96 3y|gXCȋ)SqgsqB>8-\) /#)ҲN#H<,ca Gth~h4V67)? 9Z|ɕjj#1BkG8zcgM~]#ziQX|{Gx;9 a(BT.u"䠲oL Dd]F=H d.WUi %2LS (}l |m#9Ga]v EI {4ka|\y O$qL6Z x3iYY= PB-hS[rQU8kLėX~=FmE/=(Qe,[}>YOe]`8<) bVKYJN5XשXxʍiTWrCSZs+M M6-3d? Ѵؽm^.D9w}:;3 5~U`^5GoѰs:،___^hg4ABgjCVʲy6=wU^vuӧؓ}uig XdM7wN+y*vm|8O"`pv *| cVn1[EnC(!553xSpKELCxcd25skR?/iKح;޷7[UǠZ݉Nw<'X "4qI _%|wR6A!6cL&}8p'mG忣IAr˧6W NBGkNn31!=U pQ :0IǔLbL:BHz\fsCP#ZtdN5]nfic}JvJ,̿mϥYX*(K䂿\'cKi._|gտR_*}ҺӝH ~j@`83jEkowWkjdt Cudjf|ru-3hnSD,kcYnUb97tFTh;?(oɈ]`* }q2 Q< l}?qqcfF 0 e͆ɛb Sc8?E G<֌x#ߛgt9!^ݓKa$Q͑rf-+MB: Qs΢.žl}Ga ܮzK'?N7iQQ^eD|@ Na$'ta[?hĮ@Ej*ymyX 4- Ry$܂.剷ÍdXFMAfT6@DM:1BG먉E#tFH[wa7_y6SF&cՂ4xVL]a!T|E;;W+)ؽ{9V ^l#7[i$@d(5򷧣,pʆƟ.W n:>MWz -QrD՛ !&8LWoj뢼cS#nexUj*8r;Z 4\"^QXÃzj;9idU+y܀4+qG?5t1n)㐣7cq7ߘP4 S֡l ͹݀)[&.{ d&ה9zBHEmB,C]>)vMR["~GL1ͬBVinU;tTF&O ٟMٛC$ |(Z1vVJUv OpVMlsO \ JW/(U6vZ6SwmHqׇ)c W>`PScgc΄OI~Frћ >$$mS&hpَͫ3Rk:Īd6wXa+5/=A c#N'c ͟ą*Vxl RKJ/i352ov2X!MwҘWoݗ?Y!x+,w\,Fe;t نgn;- &#dun5F[kӗNvo0a4/e1w=rB)v`WHS P4HY^vND *gՕսAXg5"H5`i꾢on ^6gϰrFk0߇pQ1 HQnB` dH^DJdx9a6ʡU ^a>{: ROFلФ=`K((k`6G-՚k%rg ze;N|הP٫P$B[}A98%61wK}}⊷+ma) 99X280љĠ;04 `_WP"Kbx}{8ZOb CF֓e(t(i.FVDݣW&'a_?sSЖP'e0'6j 6A~SMT{m&cbMs9$,ugc oo+_S L0w:N%+: d:⭘]fu H[m4DcPrٜ7nnٴ)"&ʈ?c֦U>hd]]AUuu) E=h'vb}^|F?ipMM^,N&ߦzo| zs/Ƥb5""ԟx~6 4ZY%$ȞUnKOGӃ~.xė-ywҳ].#e%MܣH4=,ޑUb5hx^Sքlapݣ& CXXzGT 7p%:p*02҈NXBǜȹC-&fq>(N-@fa)=:O9՛j?][Lj=!lFt]3M jr0"װ={!]x~Scp}W4NZ3Α8O]zlp+5 ;6rX$5ZO($<[PSDLTa&jf woT @طm>ZLQrK*Ogk[iZW"VF1+^0βs0KJ۶JAO*+䩷QSU<"I,["HC*p}JW2"5J*wn Cʏ\"ۜn?X$KT=h898", ˹e㤽:F'e]vW J@=7bVܳ\w5$p(v`ČG5-;,Qh>cF0(ۉ+j23AaC!XN+ 8{*Y %rHTDZN jԹ,tO.pBׯU"eݨ=2 ͌$q̮TYx%ܶ!`;m~j8fu . TX:Qp߶"DUoyZI2,嫖WC'Y@u[ƅЦ5Grnh>Z߁۵}L+ˍэljg%}tI/E[fL7)4 n`T)}=j{V@d><}0pADmi2}"8z ?h6V& *߸Q!@,i>XnɿR'cnF!QJK_=m7P/iL~\ƃHI|BUsk˄T@p&%axo/nqԀ@Mb-d ^vk)Z@rsM-GZi_2C7C~KUj*|LETr-f2HѰhk%fb]YhY yW40NK椳ΪY%3+L뒏qQ7lH+7{k(֟],UQwCT dҡSp"k˨Pnq%=?]I ón-2R =]U|Psrw#d+V4~pN}QɃks(d[3esupӴ P(AS!X{7fFTz4k|ũAM>4}VKôHXlϛZ-F]J R$NWIޑMO#89˰* G8&0+V04u,:4x̕>/8q<п!+/M:7I; ;N{-=lœ7Pkg&͇=,*q\<"KA7rj+] Uf[=3:rw3~ 1 sڭE ;U>ʫ*)̙;}63g kL+tdV)\ЯsH2b1Ya@cMx}Y l2N`2{B]Cg}c̀O}dQ{a8IϋB]eYGI3( JPF q"mL̚"wLJbTehXjC=y.Eo)\WpQ-E:9ei}gYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba5258a4d67297c0e2ec77e620c6ae4452e9ec6476acc 61168796331c08066a160816a5083e430d7d6ce6 f6ce48201aea607dfcdfb4ff6e12d02a799a74f7