SQLite format 3@ 8- 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 %%5 ; HOL-Nominal-Examples:threads=6elapsed=358.992cpu=1356.984gc=117.760factor=3.787zXZִF! ܽy{]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%V|xcp 5 HOL-Nominal-Examples5ShW`yu`l NF7-VN058Yi=0ۧ_.@aV\OĔo'?~,LBmuF~t3/5>^;h<MJZȩ$C_ ڝE8Nq6{xT~Y,fq@X Yl?B4#4ؗёOeY1/AOk`|B4$;+`>h5.>FA ek]q`CuXn? (Xtu*:mXṾbEGi|uX)Ist}3p8ybg䕂_;zGEV(Iz"& (LK<ֺ-(_bge|x  H//xJJbQizMƭ+A{N@)#w۹ qCVl>*-P!t};s̑1\8Yb>l33|0Ni穤?DfZaO7( #]e\;/j =P4\rcZ{[0r'TBa*9RT! i#ۓlv:SE{~#/:/`Nܢ-elk_.qx}O~ utK qXRLQ"ᏤvmQaF\ǁa=DBv\f#(>>YxּXg?kL6c-z& ;H(]XER. ЉxVn'hMԔuw-_O!g_~7Gu; hwx$iuPCBwݟDeZA;i:31e%oۿ5ҏ`3lf}:kj(L yRETVbD\9UZX(1b Y qqVBw` /&5nG(, K! xٓH} {`i5H&SA8ug#ܲ.FR{KklS xs={_@?Rޫ1j .RzܓD>nb Sv"OkYHv.BYd*fyKA}^IvP$d$Arw횡 3onjiֶ﷨vkdғLf"EUZ >)C*g.INfv~UN/}YsXjE=RNi ;,opxkal7ߜ]mn3c"y[6< UsԈ9ȶ*T*բ4Ew+EK[y9]Ժ??{EIM^q .%!%"a8ǵj̖;1@EH?nψy'HKA٥OּţdaLKPV=z*DA /쏻[n#zv*l(B b Aj JKƒg\m0';ݓ32 65 G.}D(MZ!%n>3\ܳi!T9f$if|31/cmXS1w*˕Vj6r--jAB=KpO.7]{Y*?v<0]Zp RQo;bN7ֶl6f Sn]Eqs w3%ؓT͒nV) ;h`|Ybt\ " ;,}1id#oxf#EPh~`7߀Ԃ^e`&efC2+~SI\~A&c_Pijrm9CEaBM4uT]u +P`Ҟ{JLmoAx4AJ/ٕlUA1IP Y2B?MCL PK-:SPo)W?Oً6RlU5{32w 'lNu4F9Qb?IsXTCMg& qX?[0_5Am*މ25>W<D9D&y{f ԥb0>2%E|{g;[Qč< R$ E E%W0M xF;sG/N |x#[4NyԬsaxµbM|mm 6 2v3J-V evE1[=VIJDNr K"$QTCM0kTBgQ)N|l3 mR6;]l0sA |:MQciyP!+hB$;nwmI=v%溻0 \tg^m(vU!r6U_{oʬ EL"}ΚͯnAARqBOꪜoj~d Fkҙԛl%o\0)GGTKhlCy#M3RWb&׫NtC23Kup*a6S^guʷwmMnPxTx Ӧ9bC_=58OYK,܈Իz7X?[;إ)_K R()$J0N}Sp&,o`3MQ^i{@̽Hų5x> |zA;~׮80YY9˽bBq~2nmLZRț5x^8,7z*p:BPQm܁s#|)b݂k }9 *EuWދIEO,-3qgE^ݔ];KUCFCE}5(B@ J<854Bdg;k؞KnՌ~.jp_*$ң<3cOT,ZC>'>bNAc<UCG~ (2qK֦tOpQ[o&')T0CgQC,'K^:Mج5)/I>G>֠gD캂 › ~w]Rrbs!lRAGp ) y)l ]j4(VUwtZPj߳KMk-DeREK,6|Ș qo)ב%O1WķLrƵO'L r/$06L_ĊsTETwj:`W*IAI :]=|uklM5~(Aقw[|F3+BYc <V"(mЂIJzip*)p|Bq!ОA0%{W o=_@FiO`> mQrt#UaL1]_EDWu`hD|.( UjǐGHjwXnF *[E7B>}:n)g1{9Ptc , (\;cG))߱Hcwd M?TSmKE_gCV'+Q-6K\‘Y  :(?Y@4-Iبc wu:@HQh $p|]y Dy#.|ӿ$VX0U)|[R}37zb L ffI:DF#P&qle{ %EDھShBˆ&A6Vg ?Ӕh )ga fc9fD}|.*0oD3+ul؇ݹZSq-!D[v%Q*N^ 6r.rx0aߐ#F',U+8VKkc1i iʮ5 BsD`#?_|oy*$X6hѕ$,ӎ?ب><)VF,ϵb ;#c+?Foh>kw(Hͻ߷6}qQ\ƟQcgipZd{Ue7`xQEPRu$qڢ{G}ޗnZ$[DSo:ܺagM)0]g(i3m~vDIV36V쩲c)t@3, r .~xM8$a)ghv?.8p̍jzO-/kw>>GéYG.DRO0([)ƽ=11䥅5VJFښ ΜgEY0'?͉(ouЍ ?ӣHomq(KИAjadk4~K:q&)buxt`ǠEG}I~ q-$ .s)Έh&QBE82koҸoxa닦;;eC >ʌےScrArD 5~ZdIByʵ*+||̹2R׷nZ$]~U(?޴?hNoP"`ڷw[^T04? J/*Y#-e( >[BA,,CIKlLY>yW_F߯ `SiKP%_x$H|Ϧn8=uM^55)~vAzau[~gB2 HP?6=;2B,󳧰Z,[Ytj댌,̘a_,ovOqw L4u^ uZȪ(0'(x gQ f֭sF3f5PF-j6]RD2䃘M:g{.D,f", ?܀4‹S/Is$(Lx5l2Ϯ۝J-{ΔA`N>qg 0P=ڸj!W[\KڷugݎZV2a,H5vߜY&({7RU ,˕!2-l>5 )ػ]yʓ"XM!3W΍㻱`4k3/kTa!uV9ey#v2{TVP=h 4T.2cha =QL4C SRދz{Rʅ4 e{XѿThMt6kUDMF{흙8bB];27,hGI!uHZOQ4bv+&%l;װ}fV 5,=LU?$1UdTg?Tcx @ BjBɰ?Sǃ%lC}Mw _~@u~pYdu.es:cAO $ BVL W _N^֋2, ՂL]Zë1,bA2;ia;Q Q[k;oėpـyPK%58%2(z VލsOB b@pKdeXnL*;bw iݥ\q⹍6lU t] jI@n`HҊ'j.H(|>nYxW'oͅfN;y{ՂNX8i=aĎP80w D>?Kye:Q[_D'9¾ gIL%'{)F>C|YuJ"=&j2E~s<IPV!/);l5Gɗ̗c}4 XJA}c,%h4ј՗>BCh+ #Q:8yjt o&I!pĘJV*B *mC[~-5*DaT_8AL<97r+f?&s*WS9د|kl{#l^ߪ^!iV#,8(ޝP+f.hm/ cF6w-7b)`[L0{q*xE{vߓbžW\f\ +75$4Õ^v2 vQ&`<5~_tUZCRǍ) EnK{ :6|5$\b BUV^ڽ pXr'xhr8 ͫפF X1";t-rzd ws1K (IpSlط_:#AzhA%vpM>|МZ<;~0У hwֻz '_᠓ҍRܳx|xw RpL?t,@~`no 5'<QUW84aI!Y՗4JbjǞ f60kuǻDHpN<R:Q ;BղwrXjg'hX/fV􌵽zVPN)d}%xhаg}'{QMkG?lH3i'+zyq0J&),2tϰPhxtu#utB#R V׹qh~dћTb{L+Jz ^}5'Xt; Od$^L械g}QǵRKl/y@bIĤƘELvڂ݀&ƶq1Z^z~Yo~&]d?Uü>l 5 g6#A$~̬I~5oŞhB[u9MLR>nɬҁ2)Qz"Z[Ow%D'G<}-ㆪkNi"ۅC9ٛiyҎqº3wL{fTok^{kW,Sy)S"UPUZklB{.lT1} ]+qU0rB8d }4BE=n _ﭮ۫*Lm)+Zm@8%JR\eT׼?sE|BqhúYƶqc}VFnHcQ̙7 뵦i4w 5hdļŷr&=tjS /7t ̴v`iMK CUXpĢ9#IJT=C-韊4Ď!þ4sJEtFyS>7bB.M m",CwEΉ~/sZ{-ΐTt)kO \kLgӋy#3U%I" Ȋ =6mDr%0DpX ~{hpr ͜K4?$޲j+YEɖ(uԳǣUx`>J;+`Íq0sχq)4FqJ tιhzuדA af'3"pװ=}-Z)=cJ#b覞s7cpkzV|;\2eZ{ IGrSk{cBheKW@W$"QbuRIo u} iz?;A1P w >ENiIb.\)\1›hD{ JLɞ@Og&\je%"9 /hbB2eG:I2Ai6 S9zg6*[!$]ӼZ*6o:^:,YW g`67ԧst.kޡD=FT5݁ 2SymlO3 wC'!'|9Jz(b~R~~F`@K4X*!Q1#|:->r-]àD]$U=He1/%E 0s7MxiZLXtABrhj&,4q(_<-gZ{L}#% ۠%)]p;Ikwz s` Vf*6J[W,Bbj,CEhMgX ']j+JXBEЏD1|˾ D zkSca|Jp'vlA:~52@,XzVRRh'9 B2,QezU0H%ij\<)P;ɺ8PV Hk4 ;oXhי˝9fͧ7VNE"NOS'-v:4a.'}E3I6 WvB?yv~bsѫH}23ZfG)n%{lȀ Þ0vfEV8EXܡA,< J{D9n.z6bgsk_Exo[ h3jͫUo$'Yf zq8ނ^v堎zaͶIT\~^?м]GF 2QYG)%$Fv'~oVn%B1!VWC¯KygIb~i;NOמȢlq3\ D;~yŐ xhocMJ9"WSDO 8S L2is7k%l >R X!]DFù3`5̍@]/酰i)e6QPbX~-kK 84%`O\IlĖL8pJoYBuYJn¥*M%*;?K(~n6sΚě`C2sy{llI XdY\oȐd &ҰBV3#O1-i& 2d?G5m bBX/l (M?E)̝e6M?@](QnZq u_Va#`+_ w3ڜ G`'C']G;Av&z~sHQzs$t͚EvG .oefOٓBɵN3^6o1<&L 2KcfS~ Tnpj (6sD՜)=7>ęc-_#Q׼K,=C 2O?m"2J“iՐO2Ҕe;f;@]4 y׹:`Px2{*z⊒kp$0Zv/K&khPfe9ُz*5yxZQOz|J*\UP gb-Ѝ;8N6K7A")ɑ%r WXd W}( T4=}=P^m^< %#R;`&X9ҙ:fNIvlЯE\4@8ny]7`ЈzT^ròTxm 5-X=*3ʱIzQا58</Y{vݪ2iۍZhɑv;P!0۪k!_o$&ZǾշm#^tc'e)ؒ|~pIEt ]'XhQ\FEB&mC3zj)ϼP۲1mV2o8%B; I(;PycyA ,זnvi|ɨ:t1~,l>th|(CVn-F!E|GC!B(/KXò =Vm"M[2z<+n2L @_N J }]P,]:!}C]RroSR Od^Qp*1n:vT>n?PϘY Fxkjte vji%lWHPϕ#ܖ BϱrCoUqı?4$51M2> wtXvAgq|Uc/*Oig4qSOHcs˲O235.j8 6Ku+XPh„[vi)1)qucooe@2x~P!Nht76Y p;K?Qp X=zJ'߸fE-tO(4!yyrDUL25N,L0 ~_ѶuF&"@ L@)8dvpˇhKݐ? ("JñiJZ@[uȋ ƁK"<-BAz%jvp/ߛ.4Np]3e7B+rk#ڂ1VQhXΒs2XJg.|QomxD`_`',9T$" xe*AHֺڗ F|}ޜ$R#e%r)gsm`XŔ i$?1n< pH-('8>ӆ@?RNSHa-8J*"3 /;N*FIZDITyP tWE[hEAτed9ߧc/ $^Xy:O\W>`d{~I<1)Ҥ%0@-KI;d̨G"0Fg,`@5T#F)Xo0҆ftSqỄ96LG/N[~몪 m^CϜayX[4qM*ʼevc2.Dn2;G|Gc;IȺM;zOZd]ߢ4ڋ[Lٝ薭zk񉺡w8#"c$gasTN|bΘBKD cD:LjheӡmtmiΫI``2ނ(PZ.9mFN@Ryv4 B"i k&2+R`, ޺IG%TRjC^bj\7rx8 )d6o0&)3+_OA*h)KH< 4cju)O vY~⏌e (닫DVPu 1m\&hXjzu`cK`Q€\ Gz¸B"o"`%t4gTm/ ety`"Qe> 'PoЖ%P},i RO6`QZe,26e"Iw ޾a$cҮm–@^?cu˵:kcڱ: Fo95<BǁkdWIk&8T1 ,N+ ٶ%M9E?Nc}?[&x>8f<4YV0&j,z_ Majz#=,\L%>YYӣ&pA7_%GcRD|0~-> 9|:X&c;~=OHLR[Bcٕ%p,_W .̇ɴ}Kf}p ze6=%"w~)d%xQ(v`MQv&j!m|㰏|>UD!Je(Qx.!IW+qQjv\x;R9{ύ3Õdb  YFnИu).z0_,u"%?;],I u6|J(àk0ZJfǪ,_B뿠*+*?[@$2zX-xO/U3vi+bDȩT\'[y4tZ h壽[' HM8MߐЯsHO# =btDc SSvE7SBh<'kvi֮zyr15/9͵O? ⳹>d"9!Uu>'& $Մ}a̝_.W9IIN%yp|;z˭1!;LHܬE0 ?Qit7(r| h unzSޖ9O6&rz( %ܸŖ'gCOYԩjtP+D-6;KC'Xja>LL3o<\lQ#~eW\v]d|v3Y{g /Kǹy&W W㲝̉24L>E )-%]OHrj"g,~zA$ G='4D.Un6?YK/ѥb;ɑ,@Әޱbf~+[*?:?a=elxԃ(%7+mwcɃJ@ujA0ajnbfH3rU%C ]mUx3*V<(frr_8dpI *i |TnU5T"zpK:z*7b,pyQNW`:sX6)z\իp61.}%Cc،܇9`m`6<*|4grQZнF~80Z<`<[abpQ> J)ϿlA{+4-~p7Dm.M6 `’QCCFU~TTh+ebi@MuvuX';q D3n$yX-J3̫焭j^ QZu AeoK5l3cLE|W-_WO2}= Lmg}XI"΍ aLLxJqC䚳jkb݅?Fwvn'J-wY-"b\e"G(i$ na}+aa;]1|hAL)\?Ҍg +F7<iP7[^^ Q^1m$6,;JThϜYqJ. (x2̡37p@&R}zJ~? 3Lח#i1Ug?T|SKa@R5r>6Bć,~B[U["I& W߁OK N<;ig:U9i2A2^BB$(dw0u9ER p'0B pb*u.qO]L-,ĘM%l86 `4,OͧS夶MB-#~bcFP }I%#Ӟ"tUcMtpք-!ܺruћ<!B k%@aWKH,[ްFP%"cc7(88$Fg-zZJ14lh3(SM0W+i&kGTH;Y q9Rǭď!bue+bG5)[xcgF ǹdwq Mbm @!FTЧOⱨp'D= :|_u= c !EJ=eQ3r4?#i.4o&oLfVIuz! 9n³E{ѧSɖ}Cݎq#Gg:Nw,&k谝1XrE{Ȩ4wZa&!,s?NCQ-A(YorM\jp@齩 hbc A H Uぎ8Rpl_UFOgEfζG}>ټFJ!6Bn\J\cti ,kwI*DધUPZK/KlQ\9Ze_$LM#]|ƜV4OTt$f|4\@*5#Mh3pG# =/sO>wt5v0q&!Ve^=S%aJFxf/2y1m\V.J-YP\k{fL6~.6/(ORsͧ5?Hh&l'؄ mֹٮ(/ٳڞy4rH=2k >42m&?kRĿW ak>Ɉ$;&>փpc?w$Ϝ\B˅O Nz!~?fxtBg!Hl$ D@T3`X#7kЖfn԰,ޢ.CbV_įY刐@FMӟ")7jy5b /9Ӓ%/׳ٍJ=;-Yc}} ^}ѧ!2B!"wrƐ+>>Byzӡ9Z<clXl?};mC4jH$ǓoU{E9iyؠWE>2s%T\ gD4;>{˶IGVןʗI)wnR*vJ~!jrcD-ٶ;-sF^nzLt2?R>U|EpfHNP0MR07R{p )~hRDMg)wǏpw5X4H|t1ATS$[ 8ro)Jk@g a4>bEqii-]! t 2DqٽoWږoppIGxat[; CԪZ{rgȤVeAȽÁy"#"N| y޿"񆴡goiGDNx0`#:oLVPaXOtJ@RIה[!FOۇuN覝_++:*sĘ~38rC6N]ZBAܑyd? ;_YQTZʬg\`qS?#?A1`g8;WCh-m]'͍\0vVw{{E@; 5+}PGWڳP 24F&SSyX8;uk@" 6$iHiPfoۊ5[fMFB gD;3 X`h FK f D=Tlf-0?.ML;;*Ҹ-_AarR FJiEv* TA9UhR4^+">&{4EaCH2 "=0#9$,0evli%89'=_/s"j]".yn9-DWeP_ٓ\Jr,]eX@fe`զJYࢅu:+RcwS] ɗ"8SB| ٢s-f'CE)x?T{?Ԯqy0D=482J teW<'_J\6*@_DQ(o:D Z"ֿG(~t ]If1Bs iG:fXpnk:0`,-p?f2>:!}:O5}H DClFIp)sKk"k 87z jSlu?^DNUOϻCp&IL Vzr js@4{BoU5X⮪Ug* K}-֜VNc(yCv3"*`e,I=)SD OqϿ7QUpq4:yB7ߒ~78`JǘἵWT-Y{kPZ'YIK`)J{#sa3ⶡ+g,g 2pjGզ*f؞_b*5^ykǝc_|o݇yYqu\6esrkb h|{b>o`:VYiq`Oqdc!Qe@>$vck{>猹RG+ BY#DP~Hp=kDBu8$?+) HdA ӽ6svv_JRN+tx_|)gϼ22Vc']EB_G -$'۾ EwQQR%QtdԪ((vlڭ m^~'zQrGvD#y 4"ҎaqSS$)Hѽv+1 {,7?n0rG#-qig{ĉ`UɀYs/-&0h|" ([2?ˍщ~|- UM>$BbpwAW1LE?%lY(sH8="Cxԩ fnE@^sAǘ5⣵K6, sofKȹEzaF3Xi֘2I>_hyB1#ippҷO"2k X_Fh%JoQ{ߵcLDb Q@-#t謔h { Gx p#2E3[ YeWG9?Nw>h.!n"ˈq`y^:6g_v^WgcMj8C*W g1*l?/s9?̼t0$o 1o)cW.  8:%&-D!F,K;ڊ#w@ e{?: ޔωd2bخr[_tJ`ӜJv HD3b-fщ دv*Šf"vΩmB]Çg}̪ҺXl,rd]I5Ώ٫qM^:6[o, ۏvZ%0J,LJ(X*v g?v#TfAM< Z1|D dl`| ܚۨ%.z F !+{ڞ@ ??4**{SAiYW"կu2q 6Oa U:~* fHi![{%0Fˁs{\UF~dfo$}]`tt"@x#xOAWl>3uZs9ݚ[hκ\S]WBv}tT[ Aj <Ƞ׿s3aB`歃 |~\E=wAnB1 9]Y:d}jzM6h" DQ3D"<6`H5 dYNz;|b](TZv>ÅOH sz+*(pn1xr(f)Fxʣ s~} @D $TV&w< l$*6zx_ bݡ€(ɥE SRw= Gy@R#6 lzqAaa^V׆᧳^}Za87ush(I{wſKSǘ;O ε[!˽~7ҝđ+X7a;1ZZksgq1e_7'D g xX[gkYK6Aw5(&9l!Zߜϝbĺ+@rԡoGU{|X{8 C㳬{#{ZFt06̓ވ^gY }'1 |k:z\4LdBg뛾v|xЏ_L}ĉXC.fCӋ9Xb$T<羗?^sez"Ѐ΀Pc$|k9vE!Ec["Vڣ 3i4ʨzίB-VaטS~ب5; vz8RZtNN-?.KԾ~StՌX  eLNthvJ'CӲ5fTx뉮Lߌ9KC-)ď.A)rB b;cԇ,-HSD 6uBnq%L U5r\Vk˵҂KlوLPͅ7 F? jMAKtErW6TX Փ޽jd[bCC懔5Z qllB=ViJ0?73P[AZ8Yڮd@+䥹vD0z:O>8埞\g Z!C~O-[{x PʦaKwr=`',`EFs`=q:4i`ͥ7lB3 TXe4 qe6h|j{{=5 t5!!B%ebx͌IpxI^'oi6!jlRt-CWv =)~ Oug p$F2n͏%"tLA&Q+#S& ²Pɛ{B*<["~hHU el;}0g0n͚+IϬi"]KCm|V 4Ljfʚ>7f9}V4q4"|>`2%׼pvyCTkAȏ U:E\t.Yz*RK1%j[ŵ-^s|l qJ`I0uqw[Yz c9\ I\ djҟT?sU.b;LC̲# VljHSYzzA7,CID;"OA&jp"sgOCCަ&SV 8.f^ ; C~gOD5Z|ˡhi6\4L]ޛJI\Q+ﲡ"}O6l{ر6;vrWט!{xP6;c0bYӛY!2Yvsab>T>A\ Vᎃt%WPCǓ?)urmy|i|X/9-u$15I}/ qe8xӒļ&?y/LCl'șgXCVcF$}=L)Ù ?Ƃg$Ycl6CV-gVOyEaz)ޠT%|'d+dcyasԥ,p%G֑@ro^ۉM w(kr+TִfBv: /̎B:"ߪB*_8OFG {|=hJA<TDLF/>qIps l)j45qOSq㬪wa4σ'bάJ:eX*",X;8$1hȽP MKt6ibEMKK,laIӦi0|LPfQX$.q#8}_{2[[c+;jqUU)?`^|V^+ѻËryLJz3= '۠I/}WKX 9$hf6O"ZMmy 䯤> 8Ӿʔwim!"TjJ.NQn%\N9b;KrAnTv,tГy#5tzn+C x@Zo,xme^Bo`Hz~$`⸨Gl9PpB GM,9 0 yykl[a-)6b W8Yro\z78ZU"\nWgo}zJv@;?fmEw/6b݀ _tgYZ7zXZִF! c[UF]ŗXi%}cJa+m:y Ӛ`)F_Db?'+xdDZ5`R|kI{]w6-ϣ-yѾ4;& l LEx&Zu-_`"䟩X0bƯMYv5p R쯊S45 .&r5P?vDyg@YbKlZ8E-u (.mV >OFfiϽѲ'WCgVfOgQ%igf_ U]fa%3Oi-u&uL`#2^"tPvZYN<ӫZb?#;OlhtXnvo6 &/½mʄ|ڀ.6$糺R`]ڕշf+[@m0B?7+EpQ ^^Sıy`xa9#Q,$P`(ߏ/v~8 ѷI'#qt*H!U`c1w*AƱMI"H?Ǒ:}0Ď#0Qm颚(l/27I^㿴mNpAJ!:<\[iIti)p&a^sW:O-dN3ɐڹ ןqSYT]#9g[>` XN4/8l5KB:9r *(kl74ӛ|5J!ZZ>r+vatry“f94!g5/g3ȼ+^5]qo?mʡn;Sjk1^{ P{J4|x^h=3@,Ǥnߺ pgqZ"B¶CnuVn~%b(?Ķc 5/Z&d*Z&0Q{mRXVXi!e)R "'K>uK X vot3eeIT{l{3`㲚4LJ(QNv٨?2mC;J: baVƵc[lъe%`5 0Tigu i$]gӒ[\9LCl>r8妕MؓpU5HXyGNȷF[vBJLҁ-ww aqy?;JB`LegBjYRkdlj .9,bI;{bG$jY஋=X[1YyYi#_dh7 2эHs{+ظ4d|\zgQ 3b41V+5twF6{JYH4"8ƴ}N$+&%7(t6qt\@{J&ZUe;l{\o@6HDs/pG9LT%y0til 0#K1:{Ք''Ϸnһڕ䊛OhvaK1jWzڥ(SWxA1IU x64W\fT( F QzE4#!uIfZo BurqSZ.,GdF۷Cāyա'U}C1[,"S5\(W=8?JB(Bu^T%55'ojQf V:'2v˃X8jqɒZ~pn֣Ȫa<.vLqz@+oj !]+U4Cfx6ӓ)%n0g〉;obcNh*yu5 97RxdQ9is[^ɢܝ 0;=E.d̪)Cck`7DjoZjս\7p.u/-K LJ,1tI61ymvS7OQp#7wPM\w B 33 2UVܫnڡ*Xo^9RPT^U[UJVXÈXgϱ箶őG : `.[[,Ob(7FMz ӳU|ץ9^ZzR _Ԇ)8V2̺R j.'s|7iV$lj57u 7#iZLjcL6?mIRd^ޞci9 q0'|n ]Rl1}%Np'0<3"&:}Yx) .&gSMF;?0 }}+Frv\\67ɛ(7CُBKY&x`[tkf`uBhi;B蟅ΕPMiPaR6Yk='lm}8.&2\i=Ӏޯ" h iFp&dλW) F $3D>Wpn{)7\D9+TPq.'Q!nA4:B"E:+~,Om־;JJV0 twЖuTCG+VS׉adQQ5hc1_*-#:P`L| Ev,f/GJ%eb^Jc=t`kD;PjӇ<ӐQJfS fZr FOeS_PE4!<ޫ^PMMZ*OQ{bLmFfՙ2c\I_h?dgۓM PG"rxîy6n`5C${4( 3?R$;R-I7{kxe]X6ԦͪBcJWYUNGֽ{ /ðZ?<$g}w\tSk! a2ĵJ,ZT$ 4p**N ~Ɓk"]m D$s׶ye;MѮvH3BհCaz`!'lMJGI5bnc]\.&dfG$[^&*KG,j T0~8yh3 e BJ5FnNj |V&Ih7 Ңo (EhMGkʰƳ-Tj'gOc.`XPg]3M٘d6@d{+^X)g]OZYx\}@*(C^lԏǾſq\yYYkѴCYMO2ct=0hw 3?I*mdw#fw:i֓ L⺅M0hv'xVJeIN/j^[]_UrŇ*s2Ž92mB6džFRþeB<=/QŦS[C[)n/u9K *J3TWʖ.2Spwk;5`oy#Nr*7*s% 0__" N:1TLq K.{6#kgFN aOS- a3AEwhDCxZ'H5`R[I܍ùcE%xyĖG8yҮ˞6|21ܿ AbˆrO6ٞV+0,%`6rBLPi`y">;qdWDl1ǚH =H*e˰BkK\(+sӅ57f ;21$=lxY<ĈRd|9ϹWq!c2(Ս>nNVk~eqRy?g&I!ص$zcH&"^Ԭ"앎$6j 7kgMGChgoL1 22ҼXP4$U3:VLzn5@o:|$NAk{ru^Y/*!*97\RThwnY bZ$5Zb`$ @&yQE4rJoͳmZ ւi_}!לb1>.crLuYKf11vGӃ)?3os❻Y"D-ڻS Ot~'."ItRUwd=+Ѐ?HzF 6<~7FpzL8!.h:wÄ N@"nmu7jؤ}45SEHQUH)yUbk yP Iz6iȁ([ ʳ!-YDi]4TU-17EֆW stf+tjX*yZEmDI 3T`Ž{bcETQK$mEy?\S"yiМQqIgY pz]U̧:ܣ,yjxNXf9Xz_0Wv.a"N(/x Ϩ$oBM頢GxA$=^ {eFwtdŧ B$L]CS"NSSXFbv=FMcoRm|_ VH}*,ZkzIk&ɻQw:7+u_xFGpVMK5^G՜Tq(X fY~u=WtۢH̪t]>a@WsUe9eì~D ~03u^hJ/֑* V\%@Qk]<ط4NƸv̊oUpsenޥζl/7A240_A=z'EVN,/Hkۖ.\˿j *PYI> P7Ehf&dȺCJ V|ɱwOD$~7ezj4usU`.ΨdӐֵk|>|:?!zߙ9'{?zy 3TP2co& MkV~8-N: %Hb)].+<'IqK9aFYcfk #{9u,H!Π9zOf@'֫5 K3-c ~S=_ ,;d`=5Sd“&ޭ*F\<8 %ă(oVc-P~RHv<s'Cx6C\wY@ ]6BŰLFlG>Uukq;>)):1uÏ“jˏ( Ӎ0X5Ůֳ\JG2~@S?$yCT_"V'% iy]~C6'gHߧ!^U#jӆVzh85XMc@ =V5qϦ^*`9a42ąx!ȒB2Ƀn"Ԍo\t$R8+RL1d2p.sʥ#pfK!rp[Ho33c8rsT0!AzmXI ɀ%A=#?$2习h5M4ɕPsѹ_&HXv5䵌&vQrB)SbC%FHyuRtH %d2rVZZ엃2+ry`Vm:)nKw@B/b|Iq5c؏ NlPkwXu ]%ޅms/Pv8kӟ| eBr\`˱. %J@//͞{Rt`&{k0&:I 7m2#Y)A9o3KH t6uZ^}2Wsx}?EK3 Ny+֘ocA7jsɉLV D|F@އ ~ׄkUZt gS<=㐂cU1]2=J0]_jtxH 6bSdwk:Y`y+#lC 4 5Uf+7?/Iњ@OKYo7dXs/p$q<3}6fF$9yXg`٦Д7ߴ YfV˙T(7汇Yu HH>آ&(t.fk[ۡf,r&*=Ggɗ6`\$QA5pRJ-y?Kx>oMhc@wry~m^FJ" C:0$NE悍x3YMڇO*ɀazE 뾞cTMq)vXX섟V1:9MLAX!PS X,z M]fXg3Q]R!Xg\i dZosY!ct7~(P|b_3֍|=Q. &F@Rڤ?#;漡C yE"j" 3$k@ ŕ,gUtͭ< YY~ Ie? 2ѸA6{껷M[ e?sg׮5?|י0Ʌ^`+>^G*9Ʊ Zn7rT{B f.3p=\wha!HyB1{ŕο~ًk`jOXa(3Mqܗ.A#i&VN5e2d"IppxRlePn әE=X ˊ4+>nFib"KŚ'KLBnt>^@JQWDm5(W#`W&?=&&#n祵g%DVtMl7 ͆rW٨b>mz7,DYM>%8 JMpXVy~N3zEZoU=R~50̠վFn#Hj`u ʦ fI@HfaՈfOlZ&>7&e6ZV&'>^>%!5]cUUrۧOU#FMc8 Yf1*-L׿c)&Uo.'VY|L~ѳNp0ʎUgu"q U5x,dANIdV5u=NF>Dz]ǦLEf%6+BACǕu!k?Q nLHl)h3,9q0bԑ4g=8N2A}2ۀ%2VGcWUfLJl(4sAWw+#!_ cpdy|!k'J"-7eރ#Va"FVDq몖4~^$CPH_R``lBM2Riyv*[*d١\Z$Q'f;X6jLa(3 bV+`]2TeP+-c[Y{̑}4+7E@,4)U)64zsaP~Lf!\ұqZB*}ӧ5w/`wQ[zP,6ޭ M#KfᲙLYwmobmNAj|SX4 L*7G٠$-L #jdqx)o3 K_PMwe7 e|iaboѐ$ќFBFT^ n {VKRfL3 h 1b#4G8: 2d2gг~'NF,+t&tt &]+51ll(Vc$#!LtQQvT!乧h}q+}i m:2NnfĭNRv& 鐻H;~hۖM?X*I)lh"§vf&ݱu(>hھ4ڤQWU+޸?sӈU@ēJIeB2~7wFVȕatN.;"F3' jb#uy 1=xex~^}!=>B xTWB!vΣKSjcl4d߃ 5 NL~4ǞLBZu~f"ECޤ@.4XNj^I&+P2:Q!?39O<"RЎϟ  NN6P,c;eں2HT4Rb5"M>oż_Fh>iZB0Z>ֵ=^೨JO!7Xٲ p,>j:iɀ>&%D'6۶/{'"0q=E)wr;#=ᗁ:bԁYɞ oa+gh厇sHTRK~rɃ~ih w*7cR3w< +hcE$R?< \Mt[P'0MV{uiR e3hT$SJ\S@|Вױj$#qԬʼnqsw3TKW*n~w]cƯ_jCV>;h>Q?lT40QxR;kRzJFPX3uNmvZ]>}P\g݉eZ5Snħ䵴]Gs5 0.e00MP .Mv#N;0S[Bǎ",4i&{UU'v<_Q:QF!M0Zl]1%d/s>k[?4J;l`o53t`J^ò:s~a{Ƞ^2DVl[d<#V0n³ |-oA0d8}[*:cG|':L *8/n4a~NX!ٵC 'cH9?r/ W,2򈟥TR^wۑ.՞m񀟞 @g)}:r<r~lש_Lp?,`[vvNFкuKn2ԫF#m)d>"Qw2@^MJe)!Ug=1wuk:s fS2x.M3WUXcZpu%C$4FQ0^pGcۢI,`H!XT ^W^OϧolֲJVwNs ~Rq|i+Q8x~Dg]]v*&m$(ccJ-W[!7lFdAB_M̺EYu!K[,kҀY u5Ks5SP>=M 4Bo.mn.g@iFMks]{#pP%;fRz\]M8:K+:TsgUP 9PPh$>iȏRimZnZXH: htnOkBI01򼔮[̩wZAEnN\` \\z u`F緝BN;B!>@a~ 1z)%Lf0=PNP -C_0xB6稞d’jȟDڴ+9m\a',0Cs7re6k Mw0znTW Jn?iπϪO Sz,8GO7~P5̹L{QWdzF3d< =V^j5\U_DaQ0i>_mVIȃ܄!<ɤ\x+9yQV! \m"OHLb|pL3iC"dxDb -ry ؘ`j Աvdޑמ]W;a~(s>D=E`BR7M,wYߜCq m@uMy~vf4ɧ@8N7sp\-\"j0)fL4]Z8EX鬃[<7 Qku{I/c(N"VF*5~;b5Rz``WHe P񻒘ʏ-i k7KJ)09oy1=ә: -)})=r{Św 3,9C nTz\;C=:?"~v#?6 6*gS ILP;VOm'98XA ,Ϸڮtȫ'78(ʑ#Z4]3*Ttc0[ɟn1L)8LIWdS3[U5*[P)4JBs \ez&C!\~Ulڝ~j\c$z^ڽt-~D*暕f)9$kY`*;~]SJ`4M1y8x"&= bsO% *h/Ke][`70b+IUCgzygw0}SeV/,ۭCD^K>/.=(\b7BE!|''mEߘ`{%v 6r=m*R?P1@LC`l Xȳ|eIL\@uPON#_0M2SD6g_dVclI*^JkF&[L`OLn _0e\0 ķl,<āPeKP=[wzRR]$x1Td+6,s|{yQ{ TfG3=.y򴳚4+E,Z`ߐya+tRNyUh+k.jRXe!PB6J&Yu̻ߞ[m5--PG}rR ';7ߊ8Z6YL5qw~$&)C&vbTy}yf"F&؎P42Z΃gNs [c~Qz\<.y-^507b/VAyeq.xgyy2LrpLXg^01zXܙe[y@vxxZrunb8loqL^3(C8U{<(~"v)cʹ c`mh.*Cko){ »et/nIyJҪ x\g'@LuIQC:m VɞiuNcA0CTˬ->坱r"pA31 F `>x&sWoU sPG1^ tl8Tȟګ{Q )Qf+-9lQ#Ҍ3~|ia44Nyu \hȉaq+ ? u"-BH R[ J}G=ʧtדYb B|n˪ mF'DH[$g*hrFVM' kp[Ho;FW9U6gݷ]-(-H\g 9.o 3Ò;Yl]K+p<;&pr#<,1/8"6:P .9s- QI#3+>+j2D'蓽.qpzXTQDZ/g/jdfD#b]r9c.kjƌ)t[stqBp% IéqNBԐEAS00KS$Yog;I>Da:F 0xk;t3jBN|;Ԭ.9sܜ_7l?i|qlث*=xjq.ηlLq. ymnq.;@0UXG] `\狝~rh3 HSK]#}x:8y 溜 A!N-%p"@ŀQ4w A<YNb= "ĩ⨛'h/A3yuY.Yz<JLׁdqʀ2( PdBC+௕r,tP)a$ , V 3?3*<D3x6ë5og aJ| " J(ZwP}~nd## 1ZKn䬬Xٌ>'zk˂հ sWNp9'`fSCPlZg@ M")%Jq2cy2}އ$& m1 xҜggZGY5]f,$0i?58̚ZrҢr¼9Hs9hN*dD_AOT[p-'b,ҨdmYJoj ^ҸgxERu3(AJfsis' ϑ҂X`FL(AN*-,#g;L r[ W٧5{5W+Mcu_).dee蝀Iìr8ǦGks!':j2v-(S~.6XEqmm֭y8_J[WE3k^å!|"0x_UE>]M{Psy kQNj-Qg'H E UoRV -=Q<#` {FeSoqfH_`P=V?7{֌ܲB(}t@ʎB2`f$)ߤo[yz4_6izbbF#6-d#F1ڱYW4N{%cX}sSӁפѯmѶK/7ȱ U ӴeYk 6se P0)7")6k.q9 P`cGG*Xŕ".3n%_Y573BTT*,wU9=^@>n)g%Ʃ@n)E*| -\-Iʹ&D් z3=r"aB+útNΧl\HETޗ0ca~+ #(Q*6SVgX<_dPНp? =Β8 ,ݏk|`Z4jﴰ:MpXhh `-EDΕ3t<*8C( :ji߶z$;E)cH>oBVkԔ5P =C/ 4(ownj` |VY Da5LF ̱%@biGgsDͮ4##GD}[med^h`-}4'EGe .)&02x_H'ap%YvE: fDSIɾLk3Q@   XvEwi]@'62R;Z}wa}A >^F r=oҞx$Z_-VŎ9DM"U?(F*>_<[ ɚQ)z o)cK)ގ Ź=+W< kLb(~aæ}l&\/0bys!Cud{^{ҟ3WOЁ=~coU dUFUM> 7ͣq jZ %z&:z%Β(G'lPGL#Y9QzTn2!0px-ک5Tsۇ~pݶ#=v"u{(rq`ENBoB7q] m6(X!Psf2Wo-CÇUZ77*U`$tkJl, u!jQ2B}@M&lIS΅3|$Y?79 gU=߫0 vs]]W*9@-w^ٗ9v32qovoa{ǶtB^er6IsMNI>B耕T̔S1\gWv\:wlD}k/׾%P @ne^?{Ep bv4'qM"Wi:>pװteYP8,s|#QM@K*`0o {"2%rA!l|Dٖ^>e٪!cTuY֯wv.qLI{iJGi7ޯ 0 TsԞY+Xп`>26Th}7@ɮgiԣ>J#E}%hήz,;5@t2"$coZ(L6vw-rU+)ؽ,ڲi¯Li[v `<ȍ?&ctǔ@~Rn&A`4yh1T G+0n#^EiPөT4'VftɰlϨǢIzLJ.C&oY13OG&N'/4*Q&[`r; JQN4L&{tLv@aעEhoq)5_[XK[Vn95lulfd qoh / B<%Am!K|iz?7`PE(Gg'uL0Md<F:Z^P%{ǃZf]%z(Qftl0ڋ{jP޿pR&pKZʂîJC'ծ.}m`A7p>P5 h 0klzQjd_x|@putY!UvYfq[{ $_펛T#:L7q3 D BqnVi:Q_8||g0\Rz`e6z`G\U=r4H~Πeqv*m; X, \۶-*H9ؒ~OioJ}^G1C>˄e"%ӕxWYH5Sva¥[,Ts\>e\c!|Jժ.]%~Zг=HpV @a~0̭> EE:ls6)oYf}r=ȐvW|wF 8~==W#vY 2 *9n%&vEH`37苇 e#РFt04p-rz^sKYeX`c/4ą徥ei .&CĘYlfY~R-dng͒1;w;-l` 6gNŌꆯQ Zˠ Pl Df.TX#AeHW89?7&>fpt)J\ 2MW\dbz|aCBӿudj5CR>ѕ4Ɛ)= cV3JΤX!WV0_cB4T':])?d0K+s.^5m$"Ǝz_A3xZƕF!Ȕ; w -GMi^o۬dZggYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 53d0b597fe3a5fd36ccbbf07e1d234f97d5d90c6 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525b1b4bb7923f2739e3edc8ba69d5140b5156fd376 5d8dae86fd2069eaf279b211ed5f2a63cbd1998b 9d96cd11e294d427cdfdfad8cb84a9cdf8f99a15