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 TT|%LL| ]/]HOL-Analysis:threads=6elapsed=296.984cpu=1447.816gc=53.904factor=4.887zXZִF! `G]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`IY2krF#+9{1A@kTVX>Es y̓֟g'DA "ժktR欏bLcΡB8ܳ $Xɠb2ėb'B۔e<|ZYX Sy5.Ė u chݼ,CwCC9]q3\ Mˉ,%wt7Փ<%zұlj(3GK(S>R^S-E5-1? s^blK'rc[p3>s_wN~ nLUZߣN5QB]o|)惦2egyEab!qU*6}٧QG(cfqN| 89X -1`d+]~ܬ~ssFT/̌Fy߂Gߘqb}[ e (Mw޵'3UZ$|,i=+p)|7h5@'f^DN'ҥfh n-Jz6xSUy~XomXǏ~pXP6cM 37/RNJ-,)@>@ Tc]6a507$&i3 &1n5]3f\ݝyYxބ8[Ny`q?Sl*"B`@zǹUF|W&GgT ]3$9IrM3T1@ |NؔD*#Jt\1nfb^NG7VQU3Ӡ(%|dQ<&&FpC-9ny ,$ƣDERyd~d7v]E/cM)`újfL9rF$I{% y.-cHrNOW*s)/M`fу;N/6קN9;x( ڹJyM(Wx w"_a%iiʹT dڄ,IL*p/L+'NxUWԫĻvI$;DGom $=' B<+Ł==ptDIws#kn?3nq/ 6*#2e-//9 Tv)sStP*&.oBZVy{o#)W [+Mtᖁj=< aN9T6tPxx_+IWgL$.]+ɼKĪM9ml!Pmv@ۯ4 `BGVZ*g6uO.Ǘ|vSc_{o5JQ*THf̉YxxdC`u{} D˼oifxck롷QoֺKJAqLܠIMD:CO(}Ю}uxmzc F|*/kZ lw$<<`Z!2#+$t0,w9 ΀J \ΗŲZ-Ї!,_]~$^ʈ:w@%[:p ][[J"Ix5~N,\^[ MʡK x%g*Jy@@L]Iul0N^p~jxK.T~Ebci. :'siJ)f{2lCz6S/IŎ""ԾvVuSx"cō3m=WKmK3&%W~a_ӵ˘OBK\c*0-Nrf`z/&d ,U !GwYYC"DR^ I#O_=&^Ͱ5.zGQ͌l8@!I+wbtAxP 0V74mJiɓNnz( l\?lXj)^/YS7ލЯgU7dAn҂!c'Ag2#/ " >ḂzGD OT3D[l~ % HOL-Analysis  ]2T=8]SQ ~bM[`DDf$pmRxĎftEYV7"//v}b4ea<g0ҕZSGu]kOf1]K"(z\mCamW hXUӒES),5XI%.0sgay>&z;{# ?!o.ռGo$t2?OFNq ]s/Z!P#K٘WǷ{$x,4wg@"V!+j]w;pWcn9(\' ${$nC2gs!_.%풔7^5GA\w+a(=-dprI?boִݽߒZlzz 㹟ZXq@<ǯ#!>yŞL_%>9RyOEm ḣD^!+5! xRtNN<A>dxcGc9W',$ a-nBCq) Kn (aVs3EV~ljܥwm-̯E}gx] %Їh_'; H+PLchλc[MX!`(!HYuA4&~:Tc%1~ar(RlMw"":"هy@#4RMQ:^|snD$WzjG*FZ,r$o>Bckb 2];4M60u( /LLl +.5Z:M>7Nt:z!sLF cW1mv{H GWkwg |A´}S4u4O]71R^J8r>Kَvإ'ZQ)?Js`)Z?8YHfTn"NŰO>0^~t|]A % 0kG||?cs6lMmvvdLxWY3K&c*~8r(u8"moCAՍV8' 1VLs/,^ r1Sn,wYf5ykw߇af|5 ^\9A|1x57TdV,_)lYbGǡ^F}7N6'@``{ .{If=rl#O<χѸ0"/yۉc2&!ջ]Hb.b*N‡~W`Kp/-V7ZWށ*K{E=M?.u4|SDq\ 63.`'mX ="={[pe[:\&/#Tv4@>tsgOY!|t82kD52< MhQ+M%[qQee|S1(Ӊc>vPp)cG(})RԊ?Tz6ӮZ=T<u =ƘR$/:ج{Tþï 1$Vq/ K9+ڿ;p*bIaؤfUnEc@5yz=¡+@m[굘:o7*$L#Nlg0 9ۧ#*ySܧIg[֫)e¯5k-Ɏ]'ًP4Ҩ3Ie&TW>^9 @o#|YheAA.iǽ3 *`{_%iY. o`{?ޚ<[n\ᕶj,VḊquGz6W<7QqzvO".ȟpڞgXrMBZg̚ 十]Z0YYPj"raOH*/dV:/m06F0}ߖj]X%Sdl"]?Nʙop jsj)f$%j%jhkuiDՋ-;2uǓ]")n꺻`POT+ Y|Y`". .* Ap YBC }-'YοdMfPiO䰓..,Jqzu@тhX⣚AчdaP6^w;U)ɶx0v^9 RN6env.fʀ% 댳)n;w)s"8$jlקd:1ÁsMdw/[c:6A 6swIW]fI%aYVB>Rՙ&L7 _Siջl2FRT/U# wR ,8ϼ;"NޚV=G:^;eSkx!fS(9s)*[`$e2Iw_QBGpܾt{Ԍ!gb" v)Yj`VvMyDg?Ɛ*OEy\}unTiaUuǏ=0lm7B'DZ֬jp(nL-gYa`Z_{U [7XM(zfIMDU^#3҃"LndfrGOImq9*b>v>P$G¹ PjiӚa<[ tUXv&vA LNGtݐ@F:^]!phO/̋0=RjDCN-ҋWe]BI%Y 2 'Xp2zZ4cp qp0lIV3JҐ*FNHaUPkmx0xv٧7 1ޅ 唕s o⠼i l?@?qTfdprTdhSUxڥTf}>P&^ZI]7՗lU2x ģ$;ܻWq~xIy_REX5%>C#6q!?L71Oh)kLn~ V՛Fw(ܟ`.l)U <N ;Lkz96s2캠v OeNp!JNݮ+[$m 7ՕɰfJ*?=q9;nܫ1_ǺG Ҧ772ҀS?ݔ(̺gMMF -y'ŜO[߂h& i%Q^V't:v$|f*gO.?9Z*/y7A\woIqAƫ*.2 )߇ &T4"$pggrG7kb\R f6Jq-|e΍)p]̊/\=MtϵW.r܇pA&C+31 &֛a+,:]Al1/w ~&+@€ioӀ6!M0v\@Q``m)P ut / ]r 5nۆ1F 1ރ+~ ӁLǢ w)FO=HFRG%컨GM£vö4HdzDsJ)WS6f(M4'-Yc(A2 ߣtqA\A #324s/Z3B 19PRST W?Pb+>`1`F883gʓm!n ЍџRvr9bl4v֔j۹5]\s $R.bi0@8$GCܚRWPn.\eRY1a%IwFLCHܕ q-T_%iQffӆFPzC[AD)SN᫈X4ۼk 9zz ʢA8ʔHScdRZsr8aP_Lcqw)3sOKAuցcq1+uN9'ߥ_B썠At7k;I-AYa 1cFay\FԆFMk[[q\ X& sҳTaQ̯Ż)m*Yr ×n"-Ó`Ψg>PpfCɉ NœA %0MxԡAK!u{0-}4 c?6܋N8݆6(;@YAB h>B y=Xj'!i˺:PT}Д=X  8@dHROxr=7R0Օ*\!BJA/2&'sGJ_֨46 k \) }aJsìC|% r>o\qyn|,tb،BR ojh7~A$*s5DK)M !#{o)t,Q@Ե v>C̗:~rZ&D5"Qg.{nkWZĨrY ىM#]$ kKDQ>faKrE}= Rb$>V ,]FRF0?`(EOLHN: 6Ly<1)iKo'BDecl7ǣ2T?&䓏!mN:A|jט4YߔOwkYҸH3x _U)M: 7Hg "S? c`k%V [M~k=wUt N_Pסlhψ&<9ϒ ZkUj&jiFc+f qQNP%G#1۟jŧu=tz"{NGA T2{>bS 18H CܤoQ1FJ\m\ ?@|IU%b+ ԻK&u3D}…GTZx\i:25.3D^*O pZ#<zNNy_Q{Ix+fƨ(dz_l覚WzY#)Еpn+N 2r[t<.3D;Y`n֞ȣkj3́i L/dKq$ׄ=7:zG͕"$ TDY^9Ej@Cǰ[! j"=!;$Ϭ`:޼ޤDqC)a~fJL͏]v74iFފ.HFX-Zmyx=x#>qq0^Vnh3 5J%\Es> Bb"-?'Eۂ R~u+/pKEZd у#wn)Gje5kPRQ||'@lo Qz%!%ädm= ܈`k mIY1I5|@M N{p1M9~-9P L\p/ceć3Aڢ] i/0Żm7y0-1G+$^/tSQUeMP~rYm~,>YFk" gr`Òe6tjhWp5uoTrw}UjD ,FV;v)7Ob Ȩ'Z;1jz +̏(G㇍ڌ71?JwFOBg^YW2K(O,F(}ѶBeWr޾j)`"ZS~ =G-VeH]G;m_QҕW9) wm <)Lz8 }uoW,:RuYp'=:e}f"vڴo,,Ȳ|=[he 9Oޚk| @Sѿ`eь44Aޖ>@Bl1E}rqo {7qBK2gE9kW9 N?|{0WڿhS#_ !,XTR%-Dv"B9&69TR8f4yO5{Wk\,`F9Cyct-ue hBqd:Q%7on*a|e :ZlDaC ƴW9ZgqsZ*.TyR&_vhI?e}O~!>a/oAWA:UW?i.T'db#a&Q9A?;Ԇ;2;VÍY2b /\Y$P SK#ld!vP'܋BKPUSٰٸH`@<:.Q9(pQ#kx@$f/h!}5>x͹  6P!cTxb?1EA(;:se  仴ݍCP OW[S7*ya[yڼ%-v[{`N=ԚWn* KlX(Xrޏ_{Qt ^Bf})i.>&0x슭m!B<H3 !8BӵKYY\039B Jb@6J{bO.E€Tv,VnwB(|&\xC7]!/X|KY qq`Lj m\lp{)աuS5h%(){ҽk+#Ozh.HF i 8}aך/s*Ӥ}D^sA\/ezϷ:a3UhZi lx4m4)殶%u4 c?nʟ"Ms&w0~Ϯ˔V bJtیCUDbwg8Kb[7?1vvyuー}Zخ *7h.`@4Q˴/pE6lOc$S . seaMB^T(IseivgpPy_d-'c ErFYzLl+UzԔ |\BHIM>"R5Oheb7dJZ~1BZw&t&ů!]9fkcBUɕO =*6R`2ק.<pZQAWO cZcbr qP\(ft1QTk FJN_^:î;/#kRl߅KM|&Y_j+tݍ&Lq bQk꾋zmK{0,&b5&CwƔĸ|.lZaGtB`UڑjjW^kӒ0f N =<*$O1W QL8[47[XXWv)"f-N0d^4PF\.re*2+u)/ejwT9>k `cPN*sWK%ΟdĹKz:y.>=qG*eW2e&|!L:g[!h飹,rΨea+j댗 8n ]Jcݼ7H }o`;(  O'Gef?骏\#%Kt C~C4#K@w 4w>:Ų'AF ??m|O7"FWv[ $bY]b@it[U6sWjG<8<#sd"v%Y⋣ɐQ V~)kw & z&]B|[nSXR: \&N[4\fù﹥oNs*h9n%f+B(Av *6X|fxw(`"Rz&eqt ht!$Lei;*25OHb[v_CW㑼䴖T#UCnyL %Dj]ޤ 79탱CVG)X۠i;hI2YFT@v,&â>qںd-uH~6|F}:GkWVhג57:n/ޞeIgNCEh$4r `5~Z 4H,&䎡rº˧C$mXSHa:S^L]tFeY)`:?r0voԴZunGm ( 8+méwˌQ@j,cMY>Iѳΐ)lFh6 VJr }T!r䶠WĖoݲ} mzd56#!7չ`ĦJq)-:A}m,,9 85}Qۭ-E%i&=TI?ID^3A`ek"si=^ 5kb7 ~\ſȬcW?\^ 30LC:8u>ymlk̶vOA@J!0X7%MfCnEl̏t}Tb[,vȳB]*n$\FUm.9ACg(5OoҜGMI!|Yχ=6wF+9a\ Fpwl ps 4J}a2r;ӕ(j5:7t? O,lNl]!?%?Z 9VdP/͹Y(> 3)>a%tI-wo V嚷@@f,Y i: تP_˹%u1GXޛa0{\=l(GyS4R7'~G2s2^cހ>I?>IV7tg;_=Fwr2A1{uA3[:S+ "P`JzVjrFrH0wK6žlx,!p V/h`  PQܦMbRN}YPH?V=]yepļTgDu_sy wZSX3Achwm_~ ; x{0.a jmY&{7KO7Rf{@% qJ8pyhMm?t7AO?:@gty߯]B;yTݼx2iے%4(}b0f ݃/ht1SRƁva3 ߃RsO쿊R>)78u -5X/{5  ѷibcI)x8F b7%N'%w;22಑ovbo󈱒\XBW-ôys5rΈf؈=`t>$m`'SJy8Z'# BlHtyTzy̡$i'EFql39EP9xLQ>r\{a_ِ 1`Ʊo"YqMdՇ_J#~Ũ#LzudxfQa1%>.`=4ƙ3V7ovoPg^Jr^ amBtUk7.a-HBn \=WuC9wQ6EvAuj"*^Y=|l *EgYZ7zXZִF! " ]ŗXiɟ1˦r!cHkMeBd4eMkO$ VjMs5d kD_a$qgHP|=lGUCmTgV YVwjN?@H4U V~Hq}zk93\dsߌmd:8ޛe1W@O-7 JT~JE2>9Ax*Ѣey>S3.BqxlEw-Q}62iPh uhWӚڻaA7~lɏ(Kcon w&dj}YgAf bX^BiyYps@e0_qy|Ķn؇RnNiG@I9A3x):BfCDS w``HeOF7N ٭eMyYrKHqH{jۄxeڕ[/i9 CAbbWKA_VDt ̘~mYJ]Tҡos;#p/$2:& EdE%Պ <{/A%O\uvh.YvK?v`oM-HI<^p,b<(ː CBaJK`(;xY[˪\mÙ9af'ݬb}M4l{6{i{/sB=&q0؂!`>sz70S/EfuѭbsUzƎ[SxO2mCr%EyhV"!{0ՎC񗎺NǒJ2,<+o2̀&BI6SEv>-b#~'|8LC *n(|HVM4IZ(v5EmiVs+J,4V?+hɈgl?WZGQrd` Ƕ ǨbND4dFWqaVϡP6Yu!RM$aVRA<9}aNo+pbsǓ{Bv*4|̽שWlY4pYO~77OE2c|4-r&Ay SP|3_ @[?cuqijpu%mק!?5:6)_ ޚyvRO Auc%sR}?٪ko+7avIM6_RKg W5*l^@+V!OzƋb h^}⛃,"umU]Fy㛝P2Sd!:?yRD`hcMf7gИ0,]hI .Wm;n1P)|1d&WmS r݆L0t{nQ## * +ܹM~rMS)KTЖ# Lu )!tA|ʹD5WHwf7f)(Eq@ *3M2-\`7wKL~x2o޺E7r"r=۱Bph5g_ݟEбgYZ7zXZִF! 0\]ŗXi%>o~¢Gl=$}趠]Z&Ⱥ?Y[S`|쮱J̇t♈#qQ, CTG?KV&!^Z?VPz^HmB fدͳɍ!^׋`Q}%SUo.p~҉<`15 lTEiݬ_Snxo1q\ -Ocb͘}s7vE$]#eiDJjŹ-UfU>o6cÊmiLe`-Bպ)iyL!vZ.\\ ]^& Oߒ j P.}M!dyQ#``&l:0C,)__5.E[!aQ`c5TnXs㲐wj!oT LJX(uM}>hX>@sUH8KGG7[f0 #8bnc+֘h!]5ccX N `=t9{Pc 9;9ȷJe@dH^[: [Ѫ?]^A5l ~lFj] vƂVzt$#RVHMۼ(S0xE'u X!ǭ԰%˱0n@ڿfZQ`0 !./}kp"d3~w7 <撰mj0EWn#S܇z H^7`iJ(,#ʔ;@%.ёuB:CU!Doj{b-"w$!!G9/>V+v~a8G9e 6I'I&uj.s+>YǯaGh>qTf3֨hlUYK$hv䀺ɑBXS {F˾BxyUkfjAGDd׼^|B/m9{G|[{$LJ>фEԌH?̘Q]sKj_Li*<v| n9fAG} [VR{Aȵ[a2s6{Icd՛+ո1GlUQ)H@|%rObI0Qz%HSE& A:j8o -7 `OWn}E?wKH\"u#q3gUӘҗHZM3'J@ ˴. o,a9*r,m:j}^YMJarAP?Ƃ-f:|~y>aP2wy:oU\U2 MVQ= QXOX[42idT2wkV+E2#z-Js0 T4ϐχϾB`bE%8}:zM9 ȸ#Ɠ>]uRA^ƹVg5Anӄ39j'FO w<'^`̔ifK kEX5sN#;+<.׻}T_EԻyboH,>h,4MAgc5" 9>T UPY$t{ݰ!ٶL;k[+z k]uG<3exg|$s{:j27P(Hֳ֏ a8-{}]I{hD A K<ý MXKhQhq/E\Sz՝~p0"U2N}rHͧ`uƴހQdj8+gʼ6y^uS?\eo~UnkK4GwgW!X,gv&{M 7-E5ex(m,/jR^HZVpW[( T")=.˶?U4=;ްsZ&M9 h뭮89?g`TQeadțp֬. OY/M C:41Hx~b\ƕ}njtiBԬAG;0aRO@mВDafL%4 ILm#1nV~S̱O_ PzsSSw}2jaw4qg\)%ZO0ܜȺ|7r.Qtߛ֝GKjѓ~jDY8S69х!5//"/FJ[:0YqAY7A7DϓUVUi e"uqԫJ HHf~Ohųld$#9#}pnpPGVE! U'lBVu#;Q0rw(J \m %[H<>_8.r3qf/ȬeԖȳ}Ĺ5-6LHJu_k(OI2v)Ts \ }(U>p=-VӺr^7ro xwzX!) ;c2Y/;q^R"&,<=Q~-=o2V=%ZwjS1N%pw?/4QvO]%<5[=sx9L^l/?d2"7)\4 iJݩD٥Xx=Vjw[JH7aϳA-5=;QfD]^%B0]fЉFKl?vUV(<'8}9 9 ,aqH"eVJ)v`:^}|;q MՌ~W nذrduif+cMn!*'׉qzL1-)hV$+-~YҔSGL:w'B쫱oaYS:ć Vİ8th!P#N j[ɕȓ-CV yB{P%gGErԚmC5$Z(kjl:FU(m #'wwyn5/ÈS(x̷hӒ| bX$MD^wI⊝~˿/Kguݑ8XRyF*k=&WcGnmN0`ǘ?qD9th:&Ɲ,UkK#tT6㶐)vMTØרK B"s!a0_]Naݒe+5,[\kNvXB梥*nSUۣl%)OpY~ J%hܡc^Jg{:<Àzޝt22E3y`cDpO0aATZ~P!dz,]&6#* $<Α2}q%"v[1h'eiMr݅ڃaQ&Y[!-+ ONf~~̻.v%ox3)A@x$.S(%)MfH& 6^2Vb6G5!"C;*rVwQҗ lZ+xq1*W 6ꝇrú&>}Yl@#P 3BQYO܃(݄tYhMG똔";X3OZ&6NRʼ.5<'tt^f>'٢#Ad)&mN7ST;TB\$ˍ! .r iT%?-Qv}!u$-pO[|_C @|YNNLgI\4<kߙJI-`@(CJ 8kpG9I:a, #Fк*|+;cZXǠAle %0)@F@X$Uc@ x!? [8*e)ԿC* Q ѣYj:XZM h3oN{:]`UqY)J5M1huJ_3>d؅lM pݪeQ|Qsh]#YumFԘGP/ gNZ1*2)Jڌٮ$ދfF!xX#n{̻fks`}C*B 2OOxb}&+l1es%$[|~^ݿ}7Ma$Il*>ҕnҔ(xwAK{+ЅVcgE 䊨Zrwq#GZe{+s)>炶 d ^GF t/<ͼF$3k7M p EkӉm"\9b r/KΡOʁ+C!H`e' aAv^h~hi0IWf0RKӿҏcRalBW 5Sn}\W) ܡugÉN~oij7L^eq-{^ F$IOɌB[$x3dzho 4z'oh=r'h,rҨ8X~l*A0<0ب1_)F :s%K&ڹG;3-vu bf@C0 fb Ļ `sӤ([*'(( v{1"Ne~ =˲9(ӕkNMREGXq>gwm,()9Qq|4+5=ß8HI4ӄ-CPb_!7 h U1$(P#R YhK>e"g*xe񞓓zmCPl0@-ܪ+K![sJ7uMc|OfT @FLy36\ 6N7:]v係ꟌM{Cbs|Cm*u<4JC|7a7D-aS Pg:8dAm_DwR̬\t,FK KhDlإ)]2kMڭb/uq}̱i8r¨u[?Sh'L؀{K.ﲇ2P.:,* θV QՋ(/=t)5AVz*# "1 ]-*;Yp9$s$JXUFbt&9)?g7w=ߔ]!?9Z˧~j%;&_tG{*Q~*`s_0¯{0$r6LF5 %ֳ)mdGQ\JGshVK0:IYuth$$?kպ )BOxOpnԦނ @;3GH^ki&˔[AYVf&\)d:%RRxR[abDNe93싟nݗ wUe P⠺xXtmf Rr䘼GUbJIywG4h^MN ;X&؝X|"$Frg40y`Mb `[q@ܨo(@qSWC J_/7\MDotv{# 塼}`'QMVwPJC( t"KKOPp9yZT)2'm6/0kWoG;t~uxcb8Y2U6 DoB.i:Z: 3 i>?iylxBXPy;\Uf>^DGcD\%?V?Na~ 5)mL1,1sÄǮD[zsmuLyB&Huwܱ) Ȩ<~-M&DK ^$KtD p񧋙@*8?vƁk$pAr W36h)P^ ӲahEWB5!fOYtvn] 1:qaU{YD!^ԮE$:21%JvVф1`6 6]OWePkmcFfidQJf˦pU @ßnyٓj, D}m7տЍ7&|N& Jxr!P[㚻:>l}\)m@BzF1Z_\%>A:\(#,fREr`u9x*#q0O~?M :KƎ^BoH6bb@b _B\Q>gjs|Hc]/z#Ʋ>yҤsA~~j#̸G6/ZL!/Q'!Nw{d76 ?jɰZc%u*h aCM7S3mР͗!2ga)~,gO%.e^DnfYe-b ڱ_o?#,[sv>(X#D. ~׋X.Gh[Dz6jkա}wm(rY,cУԁ&߈JXt'ԁO"K3D/PO 7{@M)ήSc%6-xifuW 'G9eۂWt8`^{ F pׇLlK Zst ;!8$ > =[go zRn4>fLB\=zJ"%gi앳ˇgS`!!aÌh^5 g!8 gU_t+0҉Dq=G'l xDRG ƪ4о'_[>h<ҶAa Č}pBj>NU/.[zWOJ>B4/vaDꀊ[gc~79HPZ<,q^e< =Hk",dx%98#~Y#%"C>qMI}:$hE+RQUKQxDXA5c*\šTLd` zʆΪDO3P^Kc&at?Q,O*Jҧj{p>H?zi"RO~}'G)1lyAKv}OMo?  <5)rRG^PQOEFsZ0e䆭 PY$U@)H>vW,{m!5t)hU #forIiy5YKS:ݑ ]K6uVtlJGEPHuAM|yjl?L̖ upJ VĜWHk/p&((38yrY$+l,42B0=@ W-#(#XV{OOØqFjک%3p-),pN"f4E$1fh6PN #/kbcBƳL |̮y2 [D&Pe϶aJ6&l{-xA4XNIra:x`" T6% 8\M 'M$()!(.s[c>6R('Gx]o%lL3v +Q|Z7.o-u)͇kSοU܆12[E e|o-"bR.*:sҷ4"]҂F o~=2$U Œi vNF 9lz8}c 2d )0;,&XƐ|fB_<e0ƆowPm+!wbH;^w_E"-S%8xbwN14W(3jꖮiTCe?؜ٻ$$f/ZйhD{{.y@s~ koZC)w>NMBknIXOd-r">؎+RFln Ņi'm)\pTcꮒ=8YFn Aqf]^Hݏj*uCȝL lWѤ#z.(y?먟§) eo=NoZ%?I] ˹/Q%i}6;qtUu5ʕ_Ǜ۵˓M%(2A6ruZŪYp{JFy;ODտ787A"nPsD^H0&6ʔ͐zv 2t3u$ts?ƈ2ny>ry@Xc_h!O'pٰTRHu{A<4=o8^mxRn:hhr攡jIM(ޣKR22jˇݺsW~#|l4Xt+"k ~O̷$,zJFgb^n([{y<頠s#g1fc4)'k`xs!$c/'a%9 Kz]}0q.f{4rm[_hw~;#pf S:PL,}q4y3süz 5]E !]x xwk\nG)|\h\xn2R1p#P#ZmF}Zñlnu* u& ֬Q([ب&+'3 |M+_TE(f\]zo܉iL'`a~G|+)x#x5 ïϏ4yVE0t#4v jKbξg,uT.6H=[B̮Y<i>+ M1IU6cxectTƪzr'?8P xi-mn)X*~[} 6_6 GJD#_ˎ>!MhXSޜ{x[ԾʣPV5(Wf,QFlB}ҙ$~`.>I@HNvT-4V)UNBYµj b$zT?.P1yKuLK8SQIɞPr$}my-K JLƿUыIW6H"q-<x(Ңya$Equ27ڸ~ C*԰DvS!_DG$<* ԝEA梕~YuyB6Nj_6ǹչ&{WpA&3Q7ydq25k_A}ƌ G3IKDb6GϡM_dM/9`SMa(0b?1vATwgHaOSLI34Ua8\b:a?S|\Uz0.o!cdl'VF|vpC<%*TI%fkB"u.ǠEOgvk'j\oVReds%9p!\ynw֤tj%+q]?> s+wn{`),7u`|Ъ~I[s2O.`5ј[(Yq&9ƴjjcޢG%' FM0d/I۸/ғM]r<.X~ ya;Ku$B}cq_I`E=nWmphKGʢhN`8׈p~ׄKu:Q/X'ei8LX1cy9fc5###63+iS(܃1)? [KҴ EV 8nC )8|rnBd|x3Rs^95x7R! \Wt]/Z21#l 5u+tOIb}fN$ZsgKx6(u>g9f.jeFh9CM6^t!!bRBT|Ώm,tfEX!ldnZ@}zh y@-ܜ[ėLety鿻(G2S P]v̍Z^5UlrطAj)u* ; iAϕ>qΞP'epeB &Pc ގJ:#䫉+gBCeUXy0])~>H<݌a#prgneRoʤy *)ŵO6HQ!{ή6QTɬƯ L@?y0u[CO&OG [ 'FQqFFkd׀od[ ӯVuNώxu(.Xk]%WԨ5/ GNOhY)ՊKtg\1&x&iTsaT˃iROPɜakXSJ'苻˱csҢX[.PhmsTK=jj2wsRAZG-dC8QnnQΓC--W6vOd`ۙ7E`T>=oX XA%=Ďeߔ4<E2ĖJ`*wA/iV'zC@}n)}ލ+!iD!3}4A?Oa??HU x@М [)Vdx6ϥ9V=CbԄ"V6!?B g8p;n|#!K܇J]3(4g?e> | v,OCvrGg-IPf> fCpc>˴ˆ'?X~(Ԟ;(/IXv=Yv(|0ob t+g(.ǫ%XXR7#[c-H5&k$j|u#C}[l0u$Xdx!%U]uk0|Ю|D xDVŰkuֻ&YC5_ ,X%Tm_:+Yf2}n;V 9M˯:EΌ>`3ݚ7D,L.V HDmKIxJ *EšE.$9?̭`c9= Go~;B!Uc*w7TPqnȐ⤃D*)(I`k1 UٙtL,(-@)h4=w߄_0E p+7x!ʪ#22xw7mbJH\f|49m_u/WFO/]OSOܓᅛ FeXzGO+_b:-Lf"oqV7k2 3iC>H>dѸVKEfu^'nG^5n/&-e x>ɾ(ԎF HO,~d*{ aиP x.#v#pɩ]JQY2ґ߽SBQ1zIpg9mSeX ֑P# h4_OZKѕ[Qs?ILLY]iwcZTJTr3r1¨s'FT6t3Z~u[1|-ӓ_DW|ik6="PEpk̸3Ncqޥ㍘iG 5Q:6uʔw&Zv@KCY 3ZҔ'-\2Sp>_T4q{1ݠ´qQ^J0S ἁeS"77!:(3U]΄ZcuځIO oȄ wҲ8ҵ Wk mSyu*uP#̗o[%>$Ol"[ql2R<2J dQehY^–lXtee$l=,hjILJR]^@6CyfL(,q =d< aHDd Fc0:)`lB .ug]TX?C:9LMӨQņ`M gHō6?v.v2*wV2aq;۝hJvp4@CJMe_(ǥ=]G&sٻlϕ'==HU+H[ucpæsAR8)nb.rǨ1Z{K` r.òo^D2e`vkyl w.aVIxAqnӄ~Etu7 :p~2M[Y;nND9k HVNfN->!iZ0 `zoM"(-񚈏 h'p)Q_/%vPOZy qHju,7|1lq%&d$ܘXh!o<-8y f!, `V8sHbH7W"]ˁѩ1]"Xegs"KH)z%A{Y(-}Q 7BQObF%3h6UNFLB5kOt5s;x49r|a$tF mٽnc,* +I-f[ NZRе]_k%ɛ1%{'d$ۏ 8)Q2D޻Lz#iw@ ͩm' ubMpiu(7;Q8 ? .oTA'k)O9/9w^ϴ">j{6Ak G "J;yNֹ$tzoV[b_k#9n`wK/A"fM1!|u[D\[eB\D(x͜,RLt[}>?J1jdgtyvYۙ<9 hZ'$AC -PX'5 r 4/CĞvH1@ Ds~ @-Y~T5dv~iiqzȸb?h͑ ]2=m.֔l8ᐤK*2&Pek0VZگbڮ7U'Ky$K/Eޝ?n`Ef}(aq@K !pd="8Kǟ@Mk}8Ի8TL-$Aqw5~CU߿O4znø3Թ[&-Qު6DU%YMޝH SЦd@3 6lӓvC.ۨ\싴yE4~()ЌX0HZz!KCB D/nmf7ߙf἟upܔVy{q8 (_>O/ v獀0rO0/o2/ʅgY)ܯPN)|]0+x}*lwԟ_]båF15鎽PR|>@$ORA iA0X^LǸ=JV,^)PD `$e5w0C7S4"ɵĵ!taUyچRpe`YC Q+lk~jf6K1S4?L/ ;V| T&#_It Ʃ ^,+?@M8yg@ŀ@8R:sP3GK!܄k-b#)*4?Ylx87Jۼ.`Pdzb4hv pF Hm'$x;eMLf%Ť =A+h~EiȲ: T!Zk#UZI9G]r^qlRhP-KōX^y;AJ)`cLFL-:i\iVqu7TUL[Vƶ-+v$RvɡO孤!<@d`t:&  \ 1JYD- +?;>/-2G{R)MǦɜ{ЉE Y'K|F:|=xw_]f5Bř]\yOC2Eb^Rהwa7!j6%vo*2*p3Lj|$d :XX+stic?^dezwUoBGmKԮѩxiC}֍۳? v: /bZds7nYSdmS@6C.*jm*"q`qIG6s/lㆸl*NQ%ҔCLYWkM&Pa|cKȩƃN3;dV+[M\f bJQWL0~?j6{ȺݽTNqB̜|0~ Ӟ)l(q>a'*jI:6*@jvmVdE[V* $Pzdӌ͓byPYM@-ʹtr.$Dena/\z)_Ny| qpGŃ\Ӳ0̚A̳|d A,pVJ' XwUtdST2H/-vh:N: t KAaȯ~Gh=3/z455 )DR:BM6B"ځH޴BI@!u=wQ:&p’bnW;%p(quj ٜH1FVW>V}?W:)zk*C)8CzRbE,4ipg*D7H1rHՎK rǘ8[ ;2V.-kѭ 4w4,J ЎAb5vv6-pR;&oyS`Py `I{n)&~mHM^nEʊUކ'H'- 19>m TY@=_(v!~_ \7 x ЕLLײ<ZI9q|YLۀVH*`bY{n~XlZ|Y e;=9xu]GQΤ[tZAxJ!t?Uť>1djL8SƯ9g__>Jܺb&9y!<UB46)sƜW"4/ KOo7$S:])`ԉ610rŒi]jH$KfN߁eF x/{?&Fr]:|R{-L&F$J/Uݐd+,o7nx)qqrecv5ѲkI:oPl1wYMoV\r+;G $MNXqS5!銉H=Sh[qZX9x\Qk3AJT̹$f*u;c 戄yב"%4 p`t]X$lKr/3{k?ߴo)OneE`fRڭj +7Tr~˺Axbx2IֆҊ$*\H-sھUD7gQ;3Erώb's@(޺xBr2B`ob+M劀M!{b! =! {ٸLyQ: dc~9; @#X2J>#M {+sf2fjQg)hV!ҟ-Dk^ sq*`V$;sQ&Y94u/)>| Rc*t}Ceg8EV\rpo)ʡDM;,@ypFv-% NZY̲I4qyufP=tҬړzMW WFH@}8^gYZeb5ab86ab8c551d93550c5b87dd3629eb9c7dee6a1e841a14f3cbe5e635587c582b2f4674f435e40 7d43288a5cc968ef6c8aa951129cae27c402c99e43204ae61075a5fb5b2be0346554ee61e19411f0