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\L ]]]HOL-Proofs:threads=6elapsed=630.839cpu=1795.520gc=262.752factor=2.857zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\3dT33 ~`g␡}#5͛05 lm6Z_Z>? ]17ʄeU13T'V+N[[NKHf/qS{K 0D1%J$m 66hO[CvS_1W}8A_] 3Np|7QЋ3}TE&mCk\CT Q F GuyA SP>@TQJ>ƶG C7O̲0Eᤨ1iGJ  ! HOL-Proofs  O E;D %}*\û+`d8X?ׇ.1QOҚT)6PJH0RQj9H.pZv"BÍ#+)8 BpFJqZNKr>H3[&na*.GO̴ |o2"O'H<{vAh@)}evವض@+e_1xS8S5qbsBu&˅QJg<8|e[4_c9d-uĝ&1O ޣ8!"9pC[<$<x^z/~34+@ՀsjՀdZp\ZM9"'L.Pj54 [#p|4w5 L!rq&sLhT@^O2;OzOddw {Co2SN@m(ģ<"g| 0}˰g!K\P7BPV9R72Vu `f"20bZ4eectqA~i&BF gܦ1}_d[޵ATsTںFnY"SH ;c#*ҴN9| ow- vm,T^ -K(%{qp4`]zP/PmZE^HE=3GTsp"B W|BzC+e^L yڕivm!ϸHq p-Ӹ,`: hMfF [NM ́PsYzXҌ`.@_ҹ}ʛdI'NJ)B);_ }dץ#Ó=cRI7׎PavYgv)DdԘWdR7yt@c5?@pekpE !3U4[o˷)hQx3f32&(LC{ Hc}-B@{<:Ѣ֬"k$WL4@V;c`O:]Tky,/"* UAi?2 o`ݱ(H/O?:,_ЃK'd `e*&UUd"tm@D:*i̢TI%,LkuCom4 ʈ$M.hj#A--3 4Ň!Ȇ0%,0N"1-r I;4LOߛ8O>9P9>$lE]YF5I^ZsshAkeX¦j RDqmciϾvF6fޜ;+#]{AN_6LutU.,.nH/GÄ`3`F=|͏ʛ#xdIqܬڪ*t6@^6> J-B"{dm2r w1}Ji*4/.Y*hڜjFZg_6\h2 4ljNfǕt@/Os}HڧH떔ѫN%m2BvN/>s>uBu̶65M[cy&:WAT$љ?~gSb验]%a(ח.KAK_R1^5XD[ݐNA';Ɗ*<,bzNEp;?krLH(۷LZosgVA{U6Oqї/'˄6果a̝85ŷs4{N"8aȂ^ >VmthxK 3??7!:O)_߽܀ԛ-m47/L'،ďpµe*!*:`ຮȯп;RP÷#Oa{n _4R_{zux G =89XwfѭCP5((6g7yXu<0(Jӆ5˩m$:dli5ﲠWMiܨ|E۹ ~brU1}^19f4X9WLìIgXn: hr4I{-Ƈ| V@&dرqT 7;I6[ J{?I'%?(feځqw ,sE#CT+eնW?*qnʃװ6vܲR<D]ԍ\A.`YdL72nZg_x j-JV aY9Ӧel/N[Q4ed4k#$=1Yzɪ!u_bQYW3Du@ZS v# U5"L_6Q7˿HK*$xZj`SxN-K.H :/0bI^-d 1J${n21["'5:q.Q<DP kˑhķ誆 0!o!]Jdsh>ooj\e lL"7^Js!R;ly%߄.& R VLt?/4"혁.g&!iq41v EKXמ'Uk?a%p[{mIȝxpt8ٜ";rJ`,: XV" O#fԯpp8j? Dh^[]qZոzj(1#\}TD3N}zYoY@)lr̉'CU ki}Εޒ|[(>#G3KPJ=tY`t"1=uS XѮ3{ lԟ)l}V "4j|5Y5RK{ hnbq" `;9$2Ɇ;yǁf%V@jz|dӽ[o hBh6#}Ɓꁌ'ogDf$>R4 o˽ P=a5*E.%(Zv|kotu%465KL~Y.hG_> b' pXq>Nu#r0m+ +uP-+-C;e%bK (Sd:{mh[|7?U jyDLOdQ $#;|E[S7pZ͠YJ$u2.s x3%iwmbYߎ{aqu(а*B]TM|=S>U&T{Ŭ߀!!q+}y{#.1q"-Bb8 t;#U)\1>mQX̚uQtҖ\L0=sZ0aӳ|#$J ;6iHO 2;'=ڧ$;Fa{n,w<]ޟXR;!m-Ȏ;]s=8TLmZzWgSW ؙ3֜pd1~` uf= l{t*t̩'Tl۬ҟE}[z) { _ӪÕ-j@6V&wt~pր+'rX lb(;j%Cc%^ЗXLi+db]?C?/UW!^پ8\<ʜ(vHqUBrpH7m6.{+>qzh3dӍḱW'`c~Z:b+ 4wycvPq>=s̃OW^P*[*{,9ar"xYGT+胐'+$p"|U6$Е;+)رDG*d"6GRm? _պ%%Ru'-UJsV8T; +,Zֹ*,vdsI zOw sllaoRP>ۦCKQ{Ԍӯ0ND41j >ܠ})>LSuVbVCژ|6ٜץMg\Eg iMl Y-N 6mKT#UtԿEqЁvVXWDdxJش(2a~[v9AqLŀ;gN>Č=V< \hGv \\G[Dwтj+1W|ahre3ŠK>1R_<{w&>с|6/bhvS#Iwe0A\up*#stf8M [ڌeC.mS"] G'J(cm~5+<EX en JU40ͥ-aқMnVj7k`hAUt zcn%٬5|+SlǾ/ȯ7QY"zfI-IiN?޺DW,L7y hM K.э"27 KԬ6L/6q_*;-DrfC >6|ԁ|\?NX`uM\ Q91$pY>nnspұxf%peZ1uRl SOrZV2i9N {7QW@Z|VyA]X/r38B P쏭8Bdl)\ܢ=r]YmL;*;^Y{BK  i@i?:xUjPsE,J?cSt(H_TZ^voO g3krB սY_2$=Shfhsa!r?Gқ QՍ7](~ŎBoGܑLw,*j*9j?S8`jD!N-S8{~SN+vV:6,%̻? ) 41@pp8/RzVޮT#P&Xz"JN$5-T%{Bo2#;p(iЏbKfOKP?&|{aiqEs\(I`:§mOLL^3gYZ7zXZִF! l]ŗXiɟ29aoʼz[%U>EM!!Bg{6ҏ# lKϊ[lzZ`/G'R=.Q/2{@/ SIjIG3$_>y렾 &Z dKbJp;Cƥ/Q?.֛a叚2Bix-᳄pםϷl[ ӟ yV=f~`=\O^瞣hw\./CŮ>}d9l~+j Q6k t Q{vtKx~C__x7H.!UˈȀpnqhp?&` IHWb >*K\cXs%:s6RqAnw5m5ל"xS151qP~]B^?CYCL7#EE$CfԔ?u|Q2i\ |vO~bydV񙤫= օqxƛP =nSiGPCS8@kn_8p6>qL9#jU"".^҄J-XZxgQ ReާQ ~tSr=m_IVJ*\☕/L5I͑^@h,<ōٮKkJ(ن\6g4T!&h, 1bS1/G[ -'0}DqxF~pj,d~Y}x~߃Mq= lC q׫S(xtu_ҕ ܲ9JFxUkJ8l^ &|I\{Cyu'B5+0ۧZt>8e jdpCό9שׁBiT}X!|͈k[u1ܔ[Jł1wbbhH va(BeM ;K.1jE*vx$KspaR!Dv[,[lgxҼc|_~F~V0L]DjKBC;;C$a:H0OjT_z.>y wS. Hn7<wf۪5OWlbH巨omKj+EԤo#8\ C^K5ë7Q mppgE?0^-2g1PA_ ?t՚'|#u{gfwuyĀnj`@% \砟92M{-7[XBET"?YoZa_ZUDDe' %1r/47e >tЩUSeJb8*(FrEI\; SVǴ-Q7͙ͬʫԁDӇ'ɳH(Simig.^ 2+ҥΦ9Z/꺩ŭR%mOıMɭMdCY8"}$ eu6`u\ь4_Z֬rS5$%J T `p4j U)GD!XHq#r~-5DYQ{! h]V]mխ@ϗ'K +5) :Hqlh 4| L?B?S!2#6a=>'Ek}fСn#6y̞3͔3O\ ˟gF= xW[#{vإhrn=]'vJxPx`S* AVHgyI@>%9<%+ E;/>*flPi ޅM5z[ke mY۰Vɠz;(+i6NDs6P56?RvM%U .YM>&EY/TM#tƒ^q*ɺO|- <J[̡k$<*NII ;80CR]xFkϏMZܢZn _$xUܽzY2ϜZnǥTe\|fhڠO.lq<7ࣉ ab[4+,OS@|[x'_gZ֊媽CsVhc[v{c{>KmIu`e\'IpUrWWK+3Mp0瞛+4v- ^9QGNKM_N"MQ;9qYrA)G5xT'w6aMPy90BJ--F5^kKn`ch}LvG $ޘ:[F$vt⯒8Kꮦk^5"e-{Bɀ_h2lϬc%QSDܞ$+N5$wڮݡ!U440 lE[S~mAZһ?5dp> =Kjelzwubt窀Eo_r{Sedo/,f m3-PN"Oq`tGd0f4d2/rej_n3'xD]!w>-5UbPϋԽǟ +%8~yPn^?[ў}>~e㔅M0v'0Pg ҒNY^leAGX/všG?¶7ٟIN~v)8Q8w];7jj9$I)r\Brxá3_qBHS浭9"z?*cnFLD-Ly#+//S"^ NȀG5 V>h1%)Z$;TbRe1B5p|гjUI6m|3wH&+0Q!bq+#4g ל?Wʨ"umE0ɪ.?T+,|%b]K0i {t}-{\q5#Nڡ[eL¥wD>l6ߛަl4B?rϘJSf%pDSkCSS&eYw$R$mZ(So7YLb)2i^o;ڠs,*~<4 fess)*H.8ڌ rUJu`;Ȅ/7'F+%μ^[v;E؞ P"&|5A 'sY\\/_;Yw&:1'kZ@< j$۝}vq1dӇ Ͳf0R"v\a/|QȵqΎ(StzW4*—$7bFLE_lH_iئY<\uX?BIڒGK(:6`JQ$RVO`$BȃxD-eSџ55 R6IF5°Da׍qgBNyJՀ>;Gլ~4C|#)D+)(J!ցKl9)CV5?̈t}j@\0Ap0|1o u1( llILduIĠTIh z-,tsaoOp4pV+I^nb(y;eI|L $+~dnekf qcT9ԛ  ˜lXmJ.X%JЦw%d.%CXgg궳Q$\$*d`C q_2ĂH8Y=Y0J/e8΄ d1,y8X{4t  c:jr#"QaU4a$ej ~R~uO ٶyN'kk]%#Q0vC=qc8Ȑ0Rdi^TJ{OH3ʀqKO0zڌEde3K+NxŻY,|du$SM\у#w8S@rۗko4pC- {e@BX   B`u8a?)#:7N-_0:C}wݼARj'B$LVI [O/)ֆ %@b@ * *i"Sи>AA.Mwu )FTD%0VסLJQG\gL>fyj}*eEDz-9>ejp]+gE.pĻ?}E^ NQ E(HeIHQJ)8X' {,zBXKݟ\?&~~z,c3?$ Xs7EЁ0iQ1syYK&$n/^B`0f%R[p{+8*dEr&U3ܿװ''M0ZqdXa~> ݙ2rd.UQM[nhF4EW踔#ȥ֦5:J=ۺŻ˿V 5AgE9>V3z4ާS!>׫7 6fMo(fWtwz7wX?6jſѾ)Oױoɫ2R-C g--zw`fqh3/ vDMO2bwg;ݙh`Hk֦>O{%QLa~*7:Zv1 VzyF@ϩ ~& ^!WA`-&_aؘ5E!8ش>kw oSy`H Y+(<`tՓeΝ.ɉjhb󱣒VpGTvG̈u"i=?L_K@O(}F4zsn0.;Q>}GI VÂпW.fDg"Xw ]&IUfVа0wߪ.SDbGh3ɚ K58bx wP5H"h2o/H5")rb'ľ?5'Ex9 r!+c{MV=+1i$܍C.m7*X..YW юmH)g\O7!5Xo .꠯ =Lʋ>63 }E}uWQ)LWaMF,ޤkO;>\"f,Af$ߛ|_#Nh!f1 .?| ܢb$iMH`dC5Ov֭P3\fW!HP7/@"#V4c\NIwik֠T@{Q&Z5-{2J#YL{8 &ӹ VZp¢pS=}ptJ_V ې?2|Bdqy8#̂1V^JwVjJ-rИo+{LkFP2`*'?kH}[ܪ·ONIр\u?hşM}2XM(ԘH`0*AU%Mτ{l쒵x"5A`Ⱥ4iOr?!k8o[L (}.NDMU)%˓LOX0e[`wځO*eUi(IG> bJ^GRUlZ_B!)1֫+.0IwaMC|ÐdRK@Gܶ8fqT `w'}_7nX z|ebwjeg̯{(CݩzdᡦlN`}СByzAۇx[k:ڋ`Zɔ{^0x-a+5Lmo-i~zWv]Rt,bxgKXU Si|])vm?n,ijRp~ll;n>DU8!'?㷂 A:L|xC D>v8e^ XLl3ojEOsǙ8;* \i"hv ,Zƿ~Kb 3~A$cUzwm,$VֈV-sq~P Lvs( A!XS풠_l&FޒI}(L#hcMznoob;vs;ˡPZF34{b$EWD' j, UcAVRҲ 9W1 'BPfx Wa.Q^􌃳/2Z&sYCX&}.3ϮB+/d=rwժqu6͚<# 5ݮT OyDkٹ (JVo8s&4[-Z+GEaukgs8 AlY[\qH_OWb |JTnEL[#6 HZ!X|C`Kqݓ/{*+7/{XN,R6t~ o щA) Z k}3^|-ϖ$y1k>ʘdDM%7P_mvT¶;T.eNnO7ĬdDk'nVg^niGYFgH\Y^u<@K. {n=_yh Dm NE/K#->KBqPequשIRt*x!+Ky/[y^??L)8D~8z .% XܫGA+Z`H!>uPƧa'IA7rNpKEXgaF JGQeæ~E5:eze*հfX r(I qj0:,Ď=m% kN5VH.v~>-Nm4="@ ,`?6(}D-j`}DxAo%[i=EE"#馬wIi<1<ׄf3F4n BPgד$.lrk30w0W&OҌ2z5bfϲӑGX-Q~ʻez&M³ HW"47£4AuN5 yfƍcתᛋ3R!;X% "+b+v>ux9M7z.cvoC4,jokQ ]mm`|R57M0Qq7`;iCP9DhV_<~yFy.7\,Yr-6 M[0Cғ ΚP?]ܞ"ABh_U"dG/)彧UwoM D)z,yB-qWi'`9]旈XsdH@|ʨ$q/Gz{ f LJBV16 bF܀|frN>AJ궪\S"5m/hHi;oIUE77 _n@;>qn:nȝn-(oBn$e:4i ,f5") BܮI*&7p fHgVh^˿3c\sr kmpYC#6h7ڴ3 x 6j0G 2Te`O5 gxnޡRΦB FXeGTu]Wykv02ӏ:%{Տڅ]  I/}ݨ}0()F}46ƒeɚ ;-(5(et4<^ j-]$ʼ_0V4Pq8?Ȅ7'Hu&YhcVSg;:i5\ч3짿WB ^T w!W:c1LqtQơc ̒GFR!'%&86DC9p*nݶh]]x(0 æ!U?x;zn&/÷% TcZ5pm!䣭iXf6@Yw}^@bs#⿠!اAr]Js4KIwt:~lYb<4XmBtW3$'fyQeۤaci)%8SJ` 'K/oh9b'C]}~mCe *'*уp}} >8>kT [YgS[W9FfQ<^ULyIl#[=AgnVDhck-0YK#[6[Y0xB .ī;GrW"z:hnzLȦrLRȃnU[x,^s̊ae"ρ \ՎNORqYP [?C9h^r3> ;C]c3T_@lVBw2*}%l/I;?0WraoQj¨;iJ'^_T`H R uBHs{\&p}nzRc)7{؏M,1]5(C(fF:pXWR% z`^@N!BI\*^Ql)H[?E1[RcU+-=z (.x{Q}K;I+SkWҁxUv z?!8ܨF# tPSwI;~6/f0F ȠR){p 09(Da"Th5Y Z5(_#a2 D^jgrBl3w{Kzg0l9#tnUHpijN/I0‰~> _jH{EV%UP}[%R+a[&qU̸(֠)C= k~i ڢ .[jU0B!nTaq}D,~ͤM,l̒!A5j p56UYw/ 6,)~},Zx 7&w7Q 7yr4Qc}/[ҙ$rJ'h7}u'+>38Oy\v*vΎTKGű%;^z46<`*XnrσL6o6R;o "t4H!lHDkEQG\9QSY0kVKw30`01LT H\˧uw׀u׹bGZO&9 ڂ'odI'*,%#4j-UDv0NHt& $ļ u%U@?JS`bA_W6uXAc< ;2o & |ixq!e :i; o<(,]%¨q~ϩ`b98e ɮPߙ'aGn\`odBЛW69?q5+`NqEDEIjܾH_|'Yԭc)IU Yhok0Qlebi?s{!hLz!g2aDP6B%rЈ'81su{lT3$ҼIF8j=r:2ٳ: $?o0q<;!p b0lfZ0~<9 fJ$9xw brK.`=H@jU.V)P62=&>b# ؉we'}&y3P¸EL-9 l (~J)[IQFy˾m/;>RJ܄ - 1=h-pMίG]Z "q+ Hq%]7A\Ǚ;^]3BzYA[\FH@PqJƕ3D9TG1 n>A_z&-uSJxWzsK,Nr7% CQ<g%ƢPAPB"~Gf}XyQ4cP*{7(Q91f[og!s#a6\ d`>=ؿ7-VMG-k8=Ʊsf_P6THνAp *zc_b'm|,lMd\Af VMG2 ʟ@ENʹ-VّtX\xq^DjS~ e MDZ; t9q\=Qr G7D;m'-Ch0c.=jvEt:aF0~xRr)E7sOhJפ`#ඣk} 56לAԟFp2AQ@jz%䱙w"@:X u1SsE9IO%:bDJ.!CRiZs9m(S+x gè8(> VjU$ ,kԌ'iD/cMt]#3ANA"cqaJ<)qqة0IhF utS+`>a4pn& AWq&F &=*wǨ  -OGP +*¢yyEMB^@ ]tjPUDn9$ o)'0ęlWd"ݙjt^L3ס R+帷r9]$Wad>%=,B^FM1ؼS>ZB.ԇW#n EA8 ,{ux20C [6\Wx"tc[–KW~sqWmzd U$c]23|A5ΰIAs y*HH/>6y۬{R㢙{6U?#IBpg%46`bM[OY ! =·"6Jw;F3axȶȓJsyj$vIk$lZI],BMẐ p4U/"4!!_N dNl3Qy ~( :ES&C8Z2Yv rk& )-C_M%P{prՒoE?h`oFA86S7_MJRa-%GkM^1:Dޔ̻?ısM(DtX#i 8DDI8.NX>&g]Ƭyv8a,|3Z+ vqńo-k'+c} FìB $FޫҾ9GaF1]t; ݅S@'{@0*j4 (Љc|&&7gFsnZ @3c.EY6 Z"-Ӎ ڰyKzg.7(y- ({bk׏ \9od\Fbmp1̜c.u5 /c^J9\e lka>P3;uƑ^Ģ+}`]ߟC@>B a َZq9q, BQ_y5):+U%(Ug)~B(H[#~2І'ͤ” 㴞h:`(P8a,7O LWNn T{A ]v;qƉyӯ<{!(w,KiXڠֵz @ Н;j}~!lgcaDhWA4ݚ!7Iځe<XgAXl)#ԘUP~AAz!g,~/F]^8%'W u4 6>;[_:Ȕ;0KTF 7> }PDxIšps?I2h hݤ=cF@0_0;Temg 4!M ~eٍy|(2?&v98M,#az=[ P> &F$ =8y?[Jh0&pư/$R{KK;-x^H'5Kgm0+?LAb 4z\QRzaٟFNܹHe1 TrUT'GTRxa=5@\?5Um3 *s7`(޼VNb)*T;7c>F3]0M!fGtYւwɩ3LL`^@nR~>r 4/}%/.>"M} O~7杏\@&pRA.@ :n1I&SrҺ`A'KrN c8E<@_eh}VQ> nsfqSŽG=i[ ,؈n_2k| k%|[gnC܁h"`FOP[C5]jO}ep*fo)PQhBuytrcmxbZO[Rd˜FVkrlh{O43Xƍ]ɉ }S:g߀7:m)Mf9!VnǼ5 Wn}cbAFFᇊ; 13Ln3؇=q#man)c}AҠ0+~/R[b7r T. i~͢Y\h6r=0%c 8`Y6j٩ K+x,1@"OXIfBD/݂:OݢbM=)؆HYh&e<}>Sxm@@ƻN%TƇK_G >_S.(s%o:9.xv6Q3&'/U52{Q/֦O7`LEً`"U17x<tO@(]Ōvao՜>gJ`eX]5ej)l+_B$8n(YT0@EYlsE)0Phc7rÁ>{cslO,иo}cDz&"pR4(c~aռCSaےvB 0O+ iZ`s캸<@(o}:DQTsK̫9ZHe)dS3"emX*hsYvfؘIhE4aXE=ckQO[}r/ iWY6Y@$Zł;/娻c Jst7P$#+>n *J'T1u6L XV9'kxKݛS *Rfm^<6Lk>Sgy9-i: y;d$Ϯ%6m0䌠mn1iL* QFv{GI.1 `݄~[d9A1rNUjJ$t2diȍ4a'`JU )AH)3a]s<9^qr)2v 2s 8 79fsR$wIv]߯rayِ+S꼗=# G@kzqVC Xb fl$ȷV,\g+eȳmHZ 3Ӱ$9,ŇK2Q;&d JAE !J/Tph7WZ+`1%BHb7ɫƚk8O{ۖTƦ0f .&4 xmK }b6kZ^s_A5okNVJ')8tl<| vibkY +(enXCmn~30E~#oc`3)+K7J<*vYRGg3mdqxD6flmkٽtr@]|ő!ʥ& Z!-⥲`[-J2=YpM1yoP7?FaPL10 u!lHiLCB ;_ 78gZЕ!gWfB%H*%bzI`a":T+{+(^pdM 7ڸA'[7q#9sU[_CM":}'G5͸ySdC`b3EOߔB&̄$,NC U6ˣϪʨ?:c a6k =>krASI Oubྠo|$Q܈>5+?jS쀙&>Tb[jоVh⩲`!^T+c=?6q.g/^z wp*6OȏCGWk VP?d:4MPS00Σ/N Iײ_Ґ:&)7jAoN+}d[bP/]] {K@oeȫ1Ɣ} ,̮-EQa{UԴ}z禡+?nU(ϺzC ,ƣHmrں|UFUm̲CF F/FX&{r+(Z!хMXxwB*8*ZOd6fCڦ8@li 29Lwy[{j'Ԟ~(%?!h;-;ރz~KK}a^8~[f 8JrO8&|'qQL7e}qQmґ?Oc8j+SPO1 tU 7CmjeXV!WtƗܠp!^91Jūh_^ 97ab-wת~:O9OpI{MfO[JZ-{ ';]Gd;lb2 {jB 7Z>}}ecM>|F g9kK hmK38G3L-FG-e4?d/TRC$X͟VTSYDY?̽zT'0M2WH H֢&@F y#Ȯ٥UxQY#0Ŕb}r`,PĨS xBS1$F .ɘ𖏪귎d&kjkţ*. ֲ>Sy4΋FjGFD }3jY~1 ܞI7Nw4q&ddB?ͧ:6 }qϿz45C c6UωؗPL-mJl嵎k9aU XaIں%:kӓa:j ~b{3 cEf͡'jHv I~7A4,MR`ByN|ϖ7 CE{4F%2=L!X^Iu3M IPRH@nL~` NL̉Y,Z(TEG% g%q Q].Q<֑OP&nK`V=oʦn*6;mc쌡3vhtZēYbu rX,o}ނ< OwnKLePWHx[QuXũ>V2kJrz9'+Wܴ[Nkxĭ:ވhk*9L)q6Į&/T g\՛ۀeܦ($=U}WN@6 oV덨lfgӇ!Cr~VvjRL%HB/ݦ5;6^6HI|{VzR‰ ̯//e6G$X6_mJ^& ar(:6?sep}qǍqC°n~N3gwOZHKwT90!iKaރh!fbmx*T"a3 Z 0^=J'I+VUHw[^׎%tcjä:g`].X=9[ay)L=z1w WYnT8ˡqSyrƠB|04$}g3V0HC:Gp[o9WX[o]|Sm-w.{ü/123K/qL?vdc Ч3@ Eg N{ $?<<݌bhOoBkuM3#6X1=B>߿Ƽ2,۱>* {!S=llo@41Qta>ǻr1elE.eoK? ' br ʶH8rTCUJm}y&afme'hʾ=" wy y JTD!XW\| !hO}:<$ %PS5(5dm-C2ks`;œ/8 ֏Z2LVe6|Ej໠F~Z=wȑDmR_H~'/D8"6^2R -ͿL٨"q>2~^#H:8kSb|ᥬDĝcBJi0O؀}s)5H5>BW~`1SWJt$n1\GP5B:l[ch %AsQR)ٰZãj 8KDz| ׍M':z#pl,dϛ BQ!S5@ضQͪPJnP^2Kl(>D>d(-*R2Id$,[(}~qgzq6$heW$n枊ЅdzIVN &q|rh/TBwz?(%NlUF:\,EmCD}|o>"Tm16b<oJOE I4^W+h EeAOgqTifd2ʫ6x 7oF e&#EgLbut$1Jm¿0}9k߽D= qqzz~@/Gq gfo&qwc@RLWSڢ&J:fJb4'_0Qh&MwlYEyY1Ha<`M Cf&tdB픫u|~rK N:(0q^p#1ʨDuw{? 1^uH9ӋZ@ik-pBؚxt@( 8túh'a\L*yA]˄F3vQ4=ΦгGޙUj;a&/|.lo˭%:YhLvyԩ$P<2WU8 ys% C2.FOC iUԮ}M ~7ÞCNO#*J Un2ZWPvԈ0DMUߊŰqQ1 R;8VvBhؖw42 yUSIPm*Wnn#KxƦ[l>.o7JF5g\('5QE';G<#HvHӗ1K aCMk3E? qR'G/"̐AaGֿKGN^$u%$.c]љݟp4(畄Pl^c3kt>,g&( bv3ŷFN9Y埪] Uc;1+?6ۀf4%e25C6@"hT6eN'Ǭ@!(5$8ZEmQi}4 /4u]R>`Da~)k|١ÒAzZo荺DŻ ՙyM2@-uu~Yمb HC:j5SrJ{(1#/3Ff;6PmE&0ITܞ0#PR͓EM'H3oɒpB܎灋㮣8F.eHq Flm{ YQL$bʖo!L#bM86q !XєjQptGuVw"%/O4od10t/5 '$*=4"XX76\ϼ =O:{` ̤>}4 Y1IF4ZHByTqp5xN=eͻ6zl\~Ե+ wJZkZg]3qcVAƩk7!L[/aJ͊OȊyzKr*߯}'Emv--)ʝ$C`K"WExIaMNKU#r#6N 1XM *a͏V[SZeBSцjeQ MgdĞ

Rژ<j+xVC{QA~rp Bb!p>@FxNZ\;Lmt5bވ.b4OWUVVRgweiP^M\>j$YR:] 37lOXf44B1k,gT_YUM/&o׷f88ش5SRtUX䌱1RU;a(MNL([}\WQ'0рl&6M< :CRu :dGʂ*FRm/^-P XwFƲOo${~Jo mn7zؾeړq26}T|v'=|g)̈=f.-)=cyCR$CL #J=^OO6~hiݺڽ};6='>U[Usژ,{@NNfWO4렩dۜ_QS`>c:Oty7ݣi8-VD:z:|+v[]dH{O;26$ca@CkTYAox/zV{w"vlHAYaLM1ٶEK_ʭ1i߽Qܒj2{ Bj?&9OIS9Puޢuf{k2QxMKRo Mʕ\axLG@$أ:~K$3(_ijeAP[o" 7kj[7MfTاԃ,jp=/|#LuSmgUB "dc#dhj wSqYq B4U젉@HϖE;HO KRȣ\)@T|3A葮(8 R D*wB3@~A*4f6>Er?_؅nڨcCi<Ȩ-PDsgK%R36׫C^Dg>Ɇ|>>5G|SsWnWjB-yͦ N)(Wa3լa)qxd. Td ^әb~^4@Y}YO%Af+$oSu0+(5:irH/'JҿpG[eW{_'-!gOy&./IT0OqwW%͑"E2!GjGnօS@eML+mY/оy%!lWg$!HR ng |gQQ7 =\F6͝MLj ,X>@H=C'(bkDs bAď.ysY!^d~^>tPe8bK^`jy{gӫ P3N@[ɰwv_4uHE*j U#C}LY:$/r|>Qƭ Y*W &wE+ӓ)kǩ"ҩtYE!}$):uhhFJEZLhlݴEP3 G3wAuIf#3A{X)llfK%l(hlngyJ}nd76fP 2X=o,쵝;31xAd:놉Yf"g#W_=Ԥh˘>>LT!/s)pǩ^0kѽ߲8b9Ywٷ'uVk~N/LFAvA+"h3`  49gW6*+8VH.MrJRj "ΗP)%׭exzHJe976#"#nq!^MTcTp㪱wt)Hb0,<[&:@7k䟴 /q\d x&cjDV>4,6 PawN`2v0oA2 gц$A}OV O`i-Q0׎Ͼ>a A2o>&ݳ~R2lyV$ Pt=O%_aQSV~(ұ9(c?ɵ"ˬo`LMoV&P6z~ W"(358lH-̩|Cn 9.+%8.s$2aHt@D!`-]ܢ'Gkw$rZIu;Oiy'=rsMѡAva#6>.vovsF!Vh2Ğ1?-#iIӳh>c}bxޑ7WŞ%Ǘ[>"$`9s:[=J`qˇyZ۶lҭpG9tEJTE3@uZEмNxGxtX,iʼYQ% d,x?p`@̪Rpd򣄟+ f~N7RKHH3ݺ Xٯa5ws.x NZ"\x.mCHugz.TVf`iY'sEܟgS>oܾF4J8{X"]˛z_q:e96gRqR_C6w褤 =!hmNA`CekBkpfs-B68(XR,k-CqFCGmvT;8wWpBhT^x:-?*O U 0QUAm_swΘM|OM[ MFjti +de <DŽkQTh C3_?{˽,"X6tu1ˁoVަc [nn g[(/&0C'^7`J,2o6GT@MNYW3T.~#Fhd 17q9~5p9 0>F*_p`*gf$()~wJBvFФ46&4Pk Jޕ}qw"ἥ٭.=AzSn8ɲTEH[EP{Sa{|g7piMOA=F].G<{YV:N+wϢUh kgNZj))T U>?YC_1KUf~aVAc~zcT0 X?L~CfVu: yACN,Ԡ1laz5i m5;[@=*s+VXx 3u3 楤^8>yFfu$F2o"gȘ*9My8sAcҽ&VnB#T@4R׻qc`n=F? 8ZK")hB4&h |0'|Xr(XNX@7 D ͂O7BW*ZI=Y%nY(q@1.5 mMl1U:mK?̱W>a{"rDz!_Âfm芄߇5s'7-#%pʵ{iky^Sm0t}UItX%{mWNbWDI68v凋\{-UxϊP8K&)BRR|il(5RHt%`qqe~[̹+t멡æVm¤AH/M_~킠0c>vh':i7VV);3Swxs#՘d }Wce*6LW'%HԀ[-5V[Ϊ,ش~*U0D0Z\ųNJ5 5TVމ%k))@ӏRyRv_VU-? k(,pK_*ƃe)Vn}M)/}mP Ͽ ;-g!=c y =#B&^4A6Z"CH/t@X{XNҴ ҆YC]6|G-. :%+F:݇iuV)ӱnir%hȅ,^ i.Uj}rz8㫩kdyM~z,~gVeseӖjVTTu1:}S6^RknY[[SnT_5ѵqQB5 Oo[C9~gaZH2ށ+|Q"" )m)=PxND}TVG(PV\哿G1N6@ U|%o0hs P7:G'U?# q&sC/kzkJDQLmR;3pЍ8ƅ0XZBr Zc̗M {~{]9 դo_tIJ9An7LViEG rVt.66Hlqb\Eel$G}j%ogźAv~HJ}ݒPFn-Es\;0ҍo.Awj[L+4*? Тd_O5hC`]ܰZ[a`a>(97 ɐ|%1g;Kg9B>)!\!~^}W AE.J5^XP5N;Ha,ʻʪi1䦔dL$iK.vkpiQ*|gYZf61fe550456d7754b13dc9e2e387ba68f2edd3149562e4e089728e23b6fd144e8ae0b325e248d0f2453ca4220e5a4b265a8ca547677f6aa48556bcc2