SQLite format 3@ . BBh77otableisabelle_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 00,tL ]]Category3:threads=2elapsed=1038.363cpu=1618.212gc=106.156factor=1.567zXZִF! }%]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo W01cZQRlt&\)h|HHI2 P?h `q(hP SS84:ljt]\.(@CiclU.6_+k =K{MYX!y7p^S~у k+`hVu-=+lTIvٵYNm( `6*3N8F$pV{M_BX7Cz}V#^([E ;]7,h'EEa <}z6&fD ^ jxl$^L>σ8m&Ok0aAԩh0}cZf.j{]:Lo.W"p$94q@cm?%>jdى1r-%$;.7r-[ OSUoFΔ]6K"d'Z #Z|F<#]ʰ QL>1O0 kJlq68g0}i#d 2}O[-1\!G8yۜk>CQԞ\NC:FP4{ڨqHœ&'αdg 4ηz#euLĿM_*Wsf>s_ӊbµu19VڈsK:N %T9x hSQEm$6'WHWƚneDH?0ArC, 0սp)=0[ڲ%4SuyH:>u7^[h_c{/z ,}!X] &6k}&2GA>[y m"F%7~oc󗣜'lMJL.GVg(lG9l 9V89IE'F8eYz9{W90ZH>r\Wd߄㰏Ytwb4"eՊ{֫2"RVj6ܣQMfBu 0c41ir6M돫ƱRD8nN㷕ֻvYILR#&I_Dl$ 'Gί3ܶEq:Ž r) kO&JE i:~D\Rz WsU$AVhZg Kdlz"80D/*$kįcWRMb."? S#)ѓ-!k#܁?!-ݲ (.GorT#.WcW2dWh!56\rw] h0Q&ߍ9rtW 7$/`9 #{ƞ,$STa{-<ʹ RHUR2#"ۻFH%UUwdfg P7 ]w*+WJC LzgIoz~.Ϡ#׼dˤ7IįQB ί?4C6^U7a(%'Ge OoT啩^r/ , ~1R7Iͼ߼t&{8n-KCg|Z.]<"Q   Category3$G§joǩ^P_ȤҰ|lpXL5\NXTɌ٣^='eWn~޿uF 1D]gb$ŚMFϙ*dnb5kQdzF;ѓ[w"Fۡt<MYN΢0{d%;JV K8Ibzn-j8%LSP<y'Q08Ϲ?p~ONRZN9% nÅ?MT,&:%fHOh/K&: 5atk[%u.]1K;il~ >͌|fu)1at}@Ҫ@ *Sp.Oo_6+pkͧ R1}wfO7 i{=O?Sr@7@Jfp aP: cdLm\Y/9yR[*;-MPh Wߜe_Fp`dR죜 9-*Ez[MaoŊ\Aݗ%V`(bJYꃒbٯfϐ45/wh-O};1TO c%o0g 8 jՕX a*2d evnv?WZ'j5u#̈2eTFt= a3 荽yt&Nf@8>ұ[f}A4e{Xoe7wp'NW%]/H,rWjl<ȸX6!+6=o?>_+5_9EDŽ%lm$OÏ/*|dAYTi~אf;"@Q ט (6bՂK>$/zC@@n'`Gهδᴘb{|S!AM < Ber@Ez鍭 e1˜w%=)hj+̀2_\~{G-SS.s?.(Fo wa_+^w@/ M/FLt?:fHc{sYϊ<aDװE "B;d>.I3HgNpt-;eUJ)n>lp(O]RLSAO5CS=Q&Vu |΁nn!%ʧPI:E).J+O+udo}DQa*SӀ H^TZoe]?W:iDM(_d֭ucybmH(۔2zj@mujI)Ʋ@;|DF%4dG)䝗lA~i8X4?HE"s L}3;BĉQLDr>|^w_Js=ҾJD:oHQgWO}Hg9pΈM!폲U5_f62LX#SXn9b2x)!<]f;oۗ W7z9_l/.P)Ud휡hXCOor^reʯﲚit 7r <䨦\Cg#ˆSƑ P ?rR5Υƞu(DSuIwz1@hmgQ52@ 1EbWGkdQ.w[(%)r=s Fe`]T3 /+O.x%p04tB;|sGpP=1=ԑn?}]Rgߒ,12qr d2Ñ#1mFĴ|qnnh8^SĦXfHJc,* ziD& AzQ.M`-7't|#mo$3Z[ "IjDӴ:Õ$.# aY_8)RQQ(,<|Os\F*G.uC?OmHvš~>ImI'L>%`>>´toRn(&6 >rYc3~E͎OUD h"Ƀ&)kZPCg`E6Bicʓ3ɗGPNlÛǀ"J8D=|>!\41[VMfebvMKbayEn$~كRi6ǠXMYqKhg朂Ƶ7h\%u,M4V1w/5U8)VC8,kK54}5؃KL+Y2n\T|L߂+raԷDgӨep_!,``GNnd^2mx&|+ qL*Ј&[ q9tO l d_S0iI,mZqkX uL1]+1Ht9 $ h >..Eg*pAL)ACZc{AxF1}~ޣ'Ξ)^ ֶ§TTwСRO*-NƉ6FsHQk0?Qe1@W~ ֳÕ|@g4(R> d6~dp";|+NWeT K`Wܗѽ,,Anh(%O@f 8USA-GfrL).朅x]5_H:"]KA㈯jD]泇M1氼'Y5aʥeyysazI]*r;1wn[FϘ3Ipᅈב-REK|7h0̴У7rpnٛZWn^es[OV* Ng]Ӥ/U׺{*8˸D`;,&h6Ynn ʗwc o wP()( '+~mŰS8(}j@«1}R˱G*^]xN%Yaq(aVMfmj9ܓjcH 5N#Y N("#&e#> QnyC`y̴`̷ٺ %CEaɔoF&L޶# j t>L#HSdG70oPR=L>h'%eq0^v^Ѹ*x78f2pqIFОat ?Y?w%h^e D0>qy]eH6AuI?'ņkUnnhrx%o&' 8֥p#IMa%=uPP~P@iӅ5!0(qCwSKə󸨽'[ѻ;θYhGdT$ӓX)=9 -VF|}ǫFPW-Og7k45eTE瑺ˮ7@mi79D\&qE,*+ֿ5w`5V :fb-\$"Bb ը~7yaROi )9 f^ yil?\CT6CF]/YA+|I!MrT^Wٿ~ U_` quo՜h͞wᴿipAB/S̰$W^|_`}F K > ㅵ39?$)ELߢq>bW[GM :s/9~VԲW$".\PmZDb86D25Q@Դ,:P1?U-Q\re;ܒ&hk*u=tJ~n%_ aK<'oݼʶǕ͏QJBF*VLYۋ{Rr%(Za ܉(Q _Қ>-97LE DwH?j?0q-Behmz(\FO;JXfEo[S6whD]p4`UΔvčcc~ywll9ߡr !oNA4Kq{THhqFp"΂Xߍ=_'4eKB$\˟K]v.Ml<\N Ots EogYZ7zXZִF! ]ŗXiɟy>Zr PZl1)!T]ǔhZ 0&:o:Rq  ٱgYZ7zXZִF! 򷣿 ]ŗXi%6SqC^ײ51/@N [FCFByI>F!܁KDdʥ%v0.m+02-T$ĮtQ4D`wĊ-P)vi",|\A b}CWvo#բ? Hw>"#^_%eG/:a|wRk%<>@YaQ-ps s$kZ@6)"sU[ zC"M:tײ8}/_]` &N2 a~ۗr_$S`}U%7Qp|]LYWB3& ŘxDcEY܁#s [A"^A`h"g9鴂 RHŻ$fh}l`J#dc>+Kt<YC,KЫEvPwih:tzrSTȄA>K, 餕vkXvw@('C$x+?5^ͤ8~܉W# sB:s*x_sҐvŧeaw/'+q3C- !IMäm$.+)kKlJfu8^}R\sX QОawUΠ_)j? +b(˖gq`e{](~D*id09_InKX&ʑΠ &prXZO*.yIXf\4@ bPryjW;5 Y;rVW^%]t8q1MoAZ&[GMob:ITWaͮPӡa`goĐ:o9z\ 1Q1njkn4Vphg5.ҳ Q:.gDyX#AQc+Vg'5Aк,L lP-_݂逳9EbŒw*O I%g堆yAG}1* 4ư/vjh&iO ҝr #8j!߂I'}v癸.RW/Ӛ"=Ju8夑peV˯d29U_'ˡQ,?(]/{!YY*02m2ɀ3]K!@,v;[0T-nPZYoH [D & F+к!H&tsxp$X$${Ll"!'%_;.`BNdna8!:_$x, v}{tc^* m`RӁerTR!;]ҏ,g=v&V`T!p-Y֚yMf1U4-cKgšGB%ő&?P]QuJyalwcۤg}'5W70WVDIR:uɟ.ۺ ( 4X]ɵY3K+ѯsL7Ry^k{FrJ6p @IsjQ0'c3_H%]})u 'kNڑfA;CsH-Wp?@|`؃?z6lvد"F$M7-}80^=RE?.f9Tae bWf5/AL& KY{b+G)E_$ٝ{/wp,40|7UiImq2x]b ixscp]`׶:ހ]-gBzn v 0+ؑ@#>^h^ڵ49!sYf9jƀT.;vXM2evЙ>dmPl|`EwċE~8 ~bTkp0% @Hqͳ{#jPH!&/\,^A2o. 7?Yc_z X& -ɣՏءPf#8Ba0ٳ%sr#}q=ψ(bʵ U 10b 05ӠQC]/K6_}Z͸h.OTyBq lb=〷؃[eL$X(*ߟ(fڌ!&Ӵzd5 @Oqb $LoINTDTNIq2s"UlPI{0-T̮(mWt@ΘŅ4 Ӝ{(rRr)_x#q.[ҙ[x q5ބl{pҖ^/6Zz"{z%J?@8]F)uꏊF,)<1V͵{6G\jcs0t&4wpU;w5uhNFzY/EIECӭ(Y\nӕO64„AEir ;\(v|5SSUP;nqV޺W[ 0®PN҅=?J/&<ڮ];i d<Z,.֯c1ލ3+0n1sioOڍEL{>BQ&PD+/~jZc&E Qt<=3j|G30yN]8TSQ".؟-U =$tZ`}q7F{,f_Xl6#Lk`'t h#goTru m`>Ͱhٌٓ$oGy7n?X4e8(퉂T>•0p_8uC # Pa23p|a+ߓW$^kb!O̷.6{\W,V GZvrA_ imʅs\Ȱ 21J3sFIdJ&vb?F6&'nf3Rż)XPT^{\#x%@L%ZcrD?>̋kϛ︐_oɲG)X5?2(bpvSΒ*.wgs?ֳAN dy[::nj~,B]Z1FFaV8.rr&_1Oln蚢j",gSBA L lޘKGϦfS]<~@H &*~-D}pzӫQ);E)?BDOvkSR(DZ?4=䏸,(| &27DLEٳ0@1))T*$l >vKmJ鯰,k8%L& H9i;/V`s% 7?yoeҪE_ Wg(yy="|ð~uHڕ ɦե>.,AC pЛsBQ\סWa=-Zl|-L} I_oCz4 j(yAٮVu!UPd#v{NikmWCF!7kq!=F GGhu!fpLQsҧSWR/$@J-B AMdKEnR44sGmW7ѕ[=8Mi+v )Twa :g-!6HUI_IkOC[=ej9t7dKDɖ2:^B瞵sv d"1YdL!P* A*[H)0:D0 LcaOv@WF[%r HANTY 5Z @􌾬J줵wCWͭ&M!PvVp6kq:@SÀ9vf&EtUl{\Xʅ}mKCZM zm-R}TY{b4 HØv^ ,\ ԫGA/f`Š1$NoI듄XܷP|΂ aamnP4g(<,Ee%q M ᆎu=B"kOhv >c LMo ZiOlHzM!0rTgbMSs<ЍNFBIj\t.K`Ja.UdR ݷܧż;i`HJNz.-ۡ>䙷+7έ0l Z2x 64Q>Qx)րu%ay P/%d)ڨیܬoRKXЫFzMBsŽ(JFܗM*Skrk׳r-0g1&?iNJ.BgODC&"^ *׀(s G&t,YkvX`߻tu[c lp:'& E`&A9e\i/!a6u4!P;==jmK9SkӧabvIo Y)/;R LUT'XγH;(ɜeh1~q&G||>v,twMI6f/و~y(!DkO' 3ݲ/r?~ř"LlShNa(8 hOBw=Tn2n\]mL !5.csTu.ފmQSHĨ JI`#A da{ wׂѤ/aITMfzGCZ1WBk$)ʌ--r F8TtX ңhvi{%.t)z1~ȩJ!uk]];ɥ~zB!^.JPW_5:rrN:@q\I$fz(](['Dܙm.]/t J"0:Afc\ ݃D1'hh}_r#8$NAHњz۪]zW)i9=ym.<Z!(؛ # Us #~ 9J=? {{d]D$Ҷa/QAW;&ĀU%! ;cC kG'=I?eHU}H~ =lK$cnJҚGJBa '7;}g%rh/S<Ô1DqE[\?%tm-㗠hKޡW\~IS7[s`=3<].@ךTT )U v FĬbQSbv2o c1YA JuUl]&]sx=ǐPAPKT_|[MI}aĸE&fKa7YAYf!OhV ̲Fv6܉fv*ۆkɡN@- }gþr) ,I$=0ĸ?kCHԐRW_=qiGy e0+M.{iQW91N{/j!9F8ɡDK7VUL|]駒a65'P Av$Ri;z+Z4F"W**4 z&ޚXaݓyL'KGO˓ Xqt:Sl\{jǙ+ܢh{Pm%Uf-H^{ui. FNhITzt._Nvj*-9ȂI |XCg|/!ۉ˯JO,RIy^:!ң/ )o)!z~=%5eČ?I+ft_JH:S-w8oIx (r1.)S!3 :i<>d3{ْ/şO}p-#KL% hAzDZpraΩGqb 7 LP{2+Ԋ6nkKw`8v/TYi;o+f8k ڕWt)ڔVkqnTvU` T#֎^Qtqj!#/ŤowNy0CG D0tv;QU-I(cnOn O>E^4xYPt)v?pT@932< n,*E?-D߿؀ADAPMѿ]|G<?a V^OU֡н F۞;?z6w2$$/oYbC9hT(lY¸+tm;?ۙʝiTyۀ(7<3Ј⪶bF0aǣ~GR ksa{@=c9x$-.b7a5NSYfx .{̼2k+*L/εCn_):E/!EE:KAryX v.d@"C-ĀfmpABgM04 b Ȗl9Ϟ` h8c B~L;z pAzUؿѱ$%jPG0fl6xqJn*!l*hA> DA׷5&i.SY/<9f~fP9kTOI|(q$=ҔEGތI$$0sJ&J8d]-{*xc Aa!U%Dڙ8glgr!Chft_b$m5WޫGUS~ʐzx6 Kަh2s2M4.ʼü1 i4a%wD׾,G[xm[K8_,=21gHPPMpJ#< > ρG:v' u.4hÌΔj{`X۫^ZT4eYL G[:Ee022abْ0u C`Tyhd=r}v뉌DS|o3 /ÆoR${ /t #\R?K.QX }g=b#7Dn\;gi^T_3a1P :c';Vs)A򊞄.ty#U7uT\H-j)GڂGJB.4nic\:6?r'0(RSsZYjb'Q K ߓ8._F7|ٿF{g>jj{ƋTx:9F1?8aCk!ύ=+ 1,mnH]8e,LYI3oLa9;Fw G9/ Hʊw@z ;Qt <#(vɸ :th֐NJSz`CڀԵ(J ɭsjE~zy(Ϝ8MٖR{dr<8)'7ķl?Eu֑۽>^stLrhvCYhrXV< S<ޯ|s  @MFc^ ? kv394aO+(҆N! \>$,xFÍ^H`vnF{2EOI=O2VؖV[*qb" g9B;_/WVw€|ɊwQna ik?j*wMnNW,\$3|ܘj=P5]y|an0]`% `2S(r#}*Q< :U`Xm5 N8_Ɗn3Z<{0>59ZRDKG2?SEl4iY_cq/ݩeNV n9):jcUѲt&gQ+;tm?V?\CuڴFձ"6XKJhhq E4Q>nͪG"ynפj: 5?4nA*vE 4*Ω Z6jmJD# bۜvk$v܆Y+g˃''L " w4/9J2I/0˧ Ѓ&% ,/jO\Y 3Փ{L>]+u1 VY&wJ.l|M~B?3n sux8 [}<% ͒[*Nd!]8KQ,y0\JV<%l`QC\QׁV/\M=KfJq|zxdgZ֤|&7Y셰&^5gN<5>4HYֶ6Iu\{2n~2޳(p iDҖuy„{%MNIgv {«nw!5d(=M9:Ik1' w*×G__~)"WL bԕbq\~6W{#GS;x΂]jAL&8e|&8h16i.V7< {xE/GrA)k3"В&SY7|+l#;nTRqPD0%pReǂ7 GGbef\cj$6O)ęJb"0>42TfpHk ɖ_`ܦ_ 8$tFtvQ{:1ǀi5GɽH i#@R1dCR0^!uл+%~ fR K(&{P!h `'M0 BaŴzz_ HA?R:SBeA>va)T$[jlȩD v-AjVarhmcyB:}qU5q!Ƴ}Qb Enxm3\nc2@ܠ]=kAt ϰmo%^mpY“?Z=qD߇j+@;>{FhWڴQI)He9ڶOlTμB.u'v,w˺hŬuxD xQG3yr3~Yyb Bc{[W^'B0~-'ADB?"[ZdzZxG\ h𛕫%X6*l)̜ !dDQ{{TرR ^r! K[8Dv-G^_p$!<>7@8{d>͠Kv}gjB5sYua}y4H/yn1|N^5Ct߿;KE讌g&97>=Dey s{ uFwhYFL'k?nP"-qp_Y!h ~JtoF Ë$Yf shP{̨H 4Z{:tG)8OxAdHYBI9%8Zn俾|vܘ(9DiH@;txy 4;>|']7`cgsZ ^/@.ir_Ui$*mja݉|`#0t7II< ȬA:ua[T\HT>*ci@.By̩XG}AyxMcvGj9a[9HoD0{E1QPmD@pWꂍ3̹[Gȹ7xc`-kޒںVí=񊥪hFi,e=qz]]sVYGj'`9=vAч# ~BV^Ks_Q>5x✃)Y5bc^& Eġq -Ov>1hB YmMLR[?I8*kT,$5(VB- (@ 8ҵcNWnJ8dZL0gGW٧Z2.#F6qm 9b I'DaY琮}=r|8O{1](HdSOqCqHʴ +˽8R8(%>AD3ey ܫ"ـ!p.P-ܓ1kO%L ͥTrx|yԩ1 vբJXgH!0SN6*ӫPA-0Šnͱʽʷ- ,::(rz-l`z86M ~0L0ܲS?t4#-fyp (Քu~2=z@OK0 =ɋخY1rAO X /y)( 'GpLGDp7#ge>i 0II •_<[ߌb.HPN3mD{s0ns-ӑj Lx ޜ/>|4(&z?]Ԓ6CAjRIJasZ?): Eͫj‹|1>+w&;srM lOc #3r#1&_B#Tdw(虩vu,݂R{^'muqp6)Mt nk0,[C|\ؚp&a~8:!$a1 peW8XUV]?'Ǩw(u?a_护՗YKYAI.-؜ϴ_˳vP]ou,.oUY>XT7YxF%\zuȅ? &,I0sQJ3Tn Y.`pt0^҅$Sѳ߳/A13gbgU3-L~JsW4yM_w5le6@r*c=#2[ԩqK̛7)J/FNi X(`r'~>~;,ٶ.0|<͛J-2yh$5 Fպi2 #,z Ȟ`yEv{DF3׈ϹPÒSGaZbM!q'FH ^Q[{CzѷIim@ؠns(Ϡ W[lubI@:yw@{ID;2[J=D ˓ϒdU2k]?' |ځU.ݥΟT ͼ/ ۹[Sژb\YvN rΓV߰#PZFJ/4.X`l(;vƛ`$r3ִC0ހ`'QuX u*5lz^fEol _3< 237bd&Xey4Չ`qS/bZGg wYՓ@w2_XK/ܰlKCM694lDfCCc2phWg_aqb* ]#)KlF zXJ"ݼQ =SoG{'{ T)IOt-KAeo\=ƒ_EL\Q ްdRUݬ Ao+>}QZC(ASj؂7a v?  /@IIMkPT(SK|oo,zWe[3C_\&c\ NK_XrI&d8ķ]ERSR~zHܲ)I R:@O\&I G`\0K?ڿeua޽QkSAI#"[(bwp 4]μ%sUzH-t\|#8>7kDhGF d],>KQޙH_+>3'Պ[YqoD73罨:3VdSȷԜ(YKˀtmO_OQY]Cx%9|^ (mCB g>>r ֩ZuTӔsXP,C"zG1V-ky.nؤ(T^Ef;{*yjd>m *S'GJhUU9l*T!P(,yȈxd6saU'!Gv[|>h_WvdͪIFV>+6uq$4t i:, {2 s\ eQϏa/Iy*hS|+pr wG~H%YY+ݍi<1[Z 0bsoUPJcshގsπ}4k9{rb=],A&Sw44)  ֝g[ ˮqƵ($uш `yߘ'v7k V6Ċk=^V "lOtu`n=wmЀt/,Zs#ǭϝU[l6>A9L-d?sa+%ћ.%^؃;#|R Nע<Ȥ^OgjjZ},R\Z7I"xanKf9[?a_/E;/B8+#63~lԐYm,tٷgV&F^^fN<$L` WV&&1Z.W%!/jhtq$un5= 3,x=ϒA"==y K%q38 ݝ<{4HL(q@0U JǺEjΰtr'DA8{>-(ҋxm&6m=TNJp?W9ݧC2zqX-jTL޴5o3p~_HJ^/Ӿ!n7)@$޲nʒ KA`P&4t\>;$-> 'mDq'-`G'na@0"":NՏthzIrO%jH:lʝu($r5*T9mN֗{ey$yFRT{Q3~ۊG"$NBz9 |~~7'irXf~tW>&t3<BJsWx!Dۧy,WY*[RCɂ]ck^l/4y#Ex0\c̟_2!!zO6V#D9Lt[cuz}{TPRur u]}1̌r";CYzJy%hfoTOȼ!S_!$EyS\LU$(uK{焇J21劲@ .}r@<65 A!gaڀ6Nѥw!mqr˒(/_oQ^0 Ηiz]_f^fW7:C5](27N6n5]sэh&Hʈ뤆B%؎T8ebEIL]Cdt I16ҀXsݖ;ŝn 50|M`oLzkvRWM80Uk1 $k][nno^7m"OU!OݿK@mʊ?\W?5m$Pi#=D-@_nuʻ 엌5WoQ/̀Ժ.hJ)? FZ. 55!iX.qx! uh5 =bj<(\1:Bo~V6YT?NPt͍XC֯ #(]N@-vt $$',S V QJEa!--7SZbi`3ii6ϯn}QiS+lsBjrX0͵U(M8nۤ-Wmx$oQoLa-36^JlaY ^.DXc:>VpLo^I;£ =a\gӪF'=8zJ/y '9?tiW6@[oP꼧:ըuTa-.~a s(q:)!G𯏚]DYz3kNxJ :aK(]м($i4}C0 *-uU5!5ͮ,;Sՠ,M-c"^i|+}o6؛ 6_c:U "f(J0T-z 'k , Qk%oODg/л|V'`W TM2G|/H{KЛCWs AxoaF(f)e|B t9LJb70\D!Ң0C c NKH9A|1K=s1/"`nPjphا*w xkp8Q>gsF 21i&ZᅩKeҥZʭ%O^㿖,G=\.mRjd3ըǦyt`$*-I)ж(p-j8/KC vߥ_ʈ-5YFb: Qy6OuК_gkHu^ܿ AE~-;̣kp&:ިhN/HH_!o<<ϗޭf/3ǡ#c,s"٨"F(Ҁp01T{/"Nf-][Lp޸u&/CGhLfle| Vb["Fo`(~Dz(}O?V< k҉5݄2ſw>^mD5 ՝I s%}w0,ʾA҃I!uvDD)`l10.zGrexsԞRFENb/XfnHy:^"D1#3(lx]}0̚J" r )&A RRFD ^=m?i:r6 [)cNKmw:`Bi]w;4"~㨩Qѡ Wt%fj 5>Vӻ{x d<,Ap~(6?Hl* fA| #Y;f(enbG.3FDF̄:J EKz ZRO~WQFl/E;Hq&RzKi#_mNjrH75vrYfcls7,}[ie%M#z&PLn;QrY{5Sb-`0Ѷ6}{&}~;zؖJ=zQuT:AH6{MZ~"rד#|lTdNhEkI2<; K s+8b}}|W}j}MWN %>qA V#$z,iۢt䲩uBXZB"(O?:vLL+TwxBDU][:QVޖ-{ hrgʋw 0*hw}9e6AC^H $ƣG tXxɹ.@rmyϮUKFy-/+>"z6W^΂/".[U? 8OԒʞ-V{5/"HllFQv%?fP?0f,yԅ*9!ӛcoB b4)6^4T]AO}LQ-6k4uE"(jpl W<&Rxa`a;Cs9Wݻ² K I013B9%s+@H_'bQlقZ)&hMp8vrck{e}F/JR8ŝF;FȲٌ٥Ef3> իtZ)ҤPj5i)eaycD!)u_Ю=6:iq]>ev)1}$KΜ;p CaѺߑ9trb_GqWH7IT2{U1Or^|nbfI [ VFEqkPЂ Wο 8`08WyK&-67k &deݳJ-׭Cy9gvnQ ~BU) ?Δ^MaU'&txK),GKZБdl:xr9H)y6Vz$]MD f^-BhWH"Ęh'*Gg+eͿuVD-!8胀eΜ +#G'ߞ@?oV]`hE(5`dkR8UzPV45ls $lBG~J߬F*--cnSh>ZּHy}H9 Y',Cc= *Zm : ƌqQBƟ מMppz؎F}d4}ޜCs'.t b"Pd!67cC^ڧeJxE\Eu994ZX>!*ie0{ߗ%JH,QmsD]`]d)F[ zb4ehb_%v`s&Й_;读4VH @@\B];_ ww;Zz+Be;+lp.K8˅( XY[p+bdeҍl3Hп̲26=8_,M =p;>;W J|§Irb%##-|cqI4' Z`bw`=@}46\)?r8ӛJ ρ.TD|w[Vߊn2;0wS;ʊLiO"Uc3e(6+e8oޜP~շXlx2i創VLsM?byW}0Ш`'6`Բ}_ YS"ZK:\h,X*!ゃ,RV7{GD $_u|͍n_4W3pOl03Ds#W55p @HON-\Q)!NR1qd Q|M#8U{8>:nGzUCj82 ݐ\[7jg֮㕘DѫAr諲wؕ=N'$>9dX+Nˆɱ\;IXwf#aH jZKPRG+iZx /w"{%4+n倩ۣOxtb m(8OSsfյ(o-7Ô@ VD,2dG4)8@+mLP0QΠcH4أ]eBmE]VMP W2iGՐjlmt)sodW MYnX XkVjҍs;au6TcP.oUyqWDWYmu1S"JM8S9N̴&?k5^Gr9} }As҄ WuDy|YFrG5x]?v׷tΝ|ו>v06AȤƈj۰wGjMySSI_ nC/H@Dja/:46#g~e Xcg{ T1>m^g^4HDs|'Kt=4,ʭcfɷ]P[M yuL ;4+]}7|$OxJ@gg&9j?Z$gBzp[\ȵ1ZZ7oE>]=TLQU5' "?5hO0s_I7U^bZE=^b.uaCށ*r枌jWav~>[ HĒ)Ï[jT밬)CUv,Ǹa *sܦ9 @l3bฏTMn⹽%䕆v@Mhj`!8YŽTq{p|*o.Y0! @%35W*R06$ʤú@:(jQ$x=B+IhlX`to01B4h|v |z3Ve,Ba^[Ak.!QLsH.prʼn~GG9$.= kL{⭉B[I.֚tATQpBͬ܁bF ަ~̚jAS?+²\>a2;3f;wˑRdܷ K^,yJI~q6tA MHޟ_P lQ-y{%)nsPzj4ܜ-R𝰤JlZbi.ۆ[AWC9^dm=L&Z1ץ%"qhSqUR7]8ṱ!ldC> ݭB@P煽vݼ#S>*W^N {X7. ֆN /9 ht" W]4/ұlqY96^J-%#h]rh8!)ePP,4qYtߞ 4j'T A}-FL1\LvuX;vVbZ˻`墹'u%K\}wؗn{8KF >i'LābܔYjv>2"#K!hj gn)/whuj9u\dBDx.vT⌲ v7tDQ I?v}rf CpLl؜.t&)BygYNAGu\xjNCo5 l/Ĉya@a`u"WQHxUVo$S4l PSxnM}`,$xM R Naس*XCt]ݫ)@.pYSt}*R {Jcĥ'^8BD Y]dV$qe.^qy3QM%Xâ`Kۑ{cϋ}=3+7$`e8{X%R6if^o0+t? ȷl\^Vu1eq Y|N"޽Ҡf@o%S7W0FapDP7~Xp>g<Ǽa^"y;lzؚ'1ˠd(5h3sXQ1?h>bH d8 mFB@IH*Vj@d%zJD%39yvիDeiסD{>H<|UW,ɰh<"D{.w߱`*&^_Gլ.b%ГU(X/4r?ߛo*,~JVɍ1JVr}gW#o$)϶1_J4dosц]<^4~JGg)Aꎎn 'ND:twyxe>>y̻C⚂ŚIR|W2V'n 2*m(z9q^~0_l )`znb=ǫx91Weju;eӢL2dK}Wn'bQZGwDĖ?{w[~N;a:i3jGCݝcBCLCXPǒGW;ntDbJ7U4kH Ņ7\G;4F" QNZM;!Z~ k.ʫunU]q X0VuI SSaA_#\@%Zxrn5J8 碌fOiA>W`W/fzգĵߢ{0 e_4QcQ]$=6\;(O0Id)Hǔg( z*-&'_.T=;)=#G9#`fj- ϑ 1Շͥh7s1qT>`i9sIYeʴ> 2^i0{tZ`Ⰹe52];hoE䠡|>ڃڎw57 Q.Qg :dqŁ@KzӒD0s;p|pJ$˕p8jD 4~mZYZȋ MeݡV|~dIM`[^d$+ZDjqKMȱ'%rU *\k ;r#%Ch/(4/o:Ns+DDE͍7* 6E+ɘrTB)j:?)$3yjcB̎?0JTU2>1B‹=) 0QCq)gOQ KYs(j!.. M%6R_!dcn43ǐ^=O5,fdQ%VgrN j>NIAኧ(g8O[L bfo>q%+,p %蛷 p΢y1BJ@8. 3PC 5 Z-bN8G2T>-[T_f#G^'k@kqY8m7Pb\SD-.iȉx3{x{t7*SJ?1CA>T>mtB(EӃ!A Xx2ZR'= U"C֖֛uˁ77GÝjJչ@' Nݹ1@#ƒ4 ~r's5Mn[A]?W5 -xb#꓏9ysxi\C ̼S}2 9 P|ULp Q[j!VEsk'Co7a76x*MBt})rȷTDl<`-{>#R])7}a96 !/K˻ Y)S ʬJˮʵK1ѐvOs@]₃xˌk(ʁV:*Kx?7UfP@ku(YniId Pjv{vYPXM`6# cK5_'*Gp{ ,[XS& 1pC10! x\L).5_X:q}B朗T$C/b I"p#b(0CLW>El(}Iݍ'BKb$ǒHԥ~=4u849Zx ZFi̿Қ Tmxt3jB{bj 7z.I:Bb %vay<5AZ ?~==[&1kQ4zPݘgAp&=>lA>ɽ"KsH"4tZ09~%,b]!J/{5zT(CdY~UqV{NNR֍*"_۶XK4o[v2oybWmCuX* Tcd ﯥ"@Eު+EbӒ-aB`^4{}ĀrMB햿VdĨ !Jdu^ɑxu6ނ z>9t$d|FW0 *얽5'rt\vYE7gٍo-e w_VFh6~FR告#xXr>NCYdp:T0x 1&ӅWd{ QsKG^l-5>} bjlH[Ǜ/nհmj- 巬𧛠9=n(s"6^rgЛ=$%^y"Jd Ye}n2GA8Z& ]4>Td,dpTTNF dSp>s tG#pH7IBqJy#Y6:FV%#6z~ !ؿ+K0W}E7[]EWջr3qx ~pqݞy ,|a@'7>9Ӫ'KMW͹DpZMNy0:o2-oz•*{'U5&-jl}S|hVFXRC۽ù 'w-7efdJ.q-t5t~@SXH! F(L?/ҽg=m@Ӵѩi '`M5`-',|xFi|cܫ;!Q )x4&o6am_(A% Qֻ}*4V[:s贱2eJUJ83`tP~5r8*]N;Bѡb1[Y?vܠjxӓlQy?Xv\Z\|AyTUnԘ 5 )*mq:2&:1SGUbF"UtlPÍafܝ\qppAg~M!7d1yyHΖb>J@rYL3[ OLcok^M$JMQc,.(iX::9 yLCyȚYT|9 h#@Է`Gol_+`:x=\jʨTȊ\hшORmGhbrua9ƤTr9 6)iH`l_pVJ c0A0x*C7 #&]0ʙj}' ׇ2mqMÿP V{=hDTh0.uϱvHWҟcK GsH>bG.i[@bz#42M{E)hhW bo}}魂% b{`! 4?Q $y,9Wzk0{b ='׉JjA@`aEw>+]kQ8tjT^*%LxU9Ama򷕖(c{Z#E3٦Hz]9-4~Ap^WʽYO:r% @9tgRl:l~|H O`Nx= V.bk;kלu]~ MLFq=UuY>'=;65 J(s`a o|˛dW({.AivV=3 hAN׉ϋ=t]aPViL0 &\sRj)6.fF2>~q7c`M>n{́1y-J0A?:P8@R#vE| A)A]5ueq?zO?^*]ymǖ!Ƃ':QEΊ27oP*A!Ēy,n'OOD!2Th[ oI7?R<rPX+:W;ǢUu_`Ua^?E>6 Xؿ"qMQp[I3\͠Gӽ)0j33/Д5APJ 1._]a.>_-`,#1khEirlK(YZo x&c٘~Q0abEsMqS-o'&ډ՚PS.hS^c rdh#пQ5UhXs =sR`D#ԾSnis$gm[!JRykAUUC:Ʌ]:v3cj(C1nYmyz> pE,CN9)gT#?E :~4'!5ݏ[fXF޺Dux{/~*o犺Tސ.'VI9p#5p<{b\l=\̞O:\K۬0}UKoayA+&0v4&ƖGu.-ͽ26Ri&7JT %R Fʝm9B7n3V}ܣEөwlJ!oXFI4dc.^"jZd❁Jcb:O}+D3FQ]۳tNiVGCߨg0Fn9l1AG7O:S(u;;0Q3^憝 I 7UIט"8\au' 6UPUR*IhTG܏@ ,B띫|Y` \9PuFf9JD`Uv3<,6=YɐxxkѤtK@2-Yx) ܢ% u~4լ4B쒼9)Tw,|c~<#,eL^Mx4ZS 훭aϸT ՙi)'@3Xq[(E?M1QKB8-"NHvV7K B.<\%~,'JᄈTW5ꁇ%Vw%vBLpӔtXL6&D{sC[ItA.]h8dwΥ'i!(^P ax%bA J$S~*ԽJ8ry%4 S:[RH2J,<LZmNo˧N Po@tldk*ޱ'п^*{8 (Y |uon|+P=1 YH({'*H:NL8fD<ѾrֺY)^XiFGzEi]eIykqU; Q~khj\Z*f"RL9xL&nYNZo ,<[՘ϖW m&q9 Rt 3&,-Le:,UPX\Me1cI^zupd3ɶw-$qAl{I :c9/CdF A{{KFbyxP:憇^2EſFmk f|[$I үIYB'XD'60JNnjOoVO?0e*83'% /  훠mlv7N'Jark$-&`NlTGp/y7AQj~<ɧ)vT N=ٱ8O&ɛgg4ź,*hJAw|8zyE&X/Ŧ]}OLgN8n_Ld/l8nR W_a<91kV.n^Pk _qn\I}zX<~tC4Ǖ z66M Y,hr;Qq.zf CpY o6ֿBw8!ےF_0.F0PC43Qu&#ߛ&Bt$)6#YF J'ghr4wn\BKi?ϩp2 Ef.Sqʆ'm4 Ulf5o\QS^e`bQmU\ hzc '1e&RH,ۇA=/_>a&gv"QgUaxi/|eaU]POmCG:=ٷM.aC$Hi:XS,Ot=`X"'N"|\ r gGMh-_\LݠWEq,7_O -g̝2=\ʹ>,i8%]EkFNIN7e)>_p멟z_CZ,c<c#IadD\B 4+=gt:,uVjwkr6üF1 pqϙGǾ g:'V<;yS)eNS gjHh!O_pY/1C{t7rA[n!KH'O=l1xkcu$űG,5vl=m³ Fb uψӬC2iy^T $|J.$>1HN43~/MZPvp;@!2tZ.;hPX$ yj5Z:꜔fJb9#`f fK?S|@={kzd$IrmzQdI]=|!|;ߙ%9_2*puL/z9_]9Q@n~0!Kq`KgX@'18~l]ݞ/+?M&)T;gR|zjmyVO0G͙HV#}gezm SwOHG>tl$F|[ -( %?vV5Aqxv~F _6|\(Y `S=- zTil@yVx3?g†݅4` w~TX%;!p,&־rᱧM4a|j'-F AdᎎOa?2-& "(Ӛ'Db+ptKyQދ+do=N aezƯ*Ym+6'ޝH'>`\j&aSB.37m.6)Ѐ|-H@D9Uf9.&!҃o\@m@2B! iη!m#xZA^N]b>A@^&t߷VwcWpo1qzJ4N UC2w bƑ.eU0 ٛ#JW42u] |uw|*fZ8HKtF#ǫy?TM枝Xύi!25/:y RMg+\UCp$bԢʘ.@~q{ D&3ONwEZys 9!]I<SE^ƫuҗRk(f?>|EJvE}M .F \ZuNk6KHNA{"L ׵$fneJU1=֙tF D3S8}T@RnthW\\Vo?nO-U _幾JnoODX> R *Mǿi3F\Dg@7*lN%/% rjì 3G\ǰqD(AB&xtAYpsM[T`ݍaLBRs(V 'FA`d4fHbdM\'9!FUͪoiVG\`akڼz _N D6\۽3WۛhX;igҠ* kǬ:b b՜)Wx/Yus\+5of]yPu0I3U7Q4= TʆwK<@8:]8K U*ڣ a,HTwj_#qFYoqLwͤezm<%pKURa+P/vcgdU܆)cwaK 9֯~f[z,xR0?kDP1HdۂQl8 TlC!%)kEl(|x"q77o5XJ:_ }ӹ^`[{.*Ge}kygZr>:#Ӌz_cLjgg cO=Z} 9OE5:Bоb%_a$%hz/2h\E8kQI (SӮ)pT0ʴ[IIf U=[nOWHYb)<Ɲ0hj>{PllЏFw-Fn:I?3f풘D)QRd;FQ^K0:ϻ:ytOJRюuc"xk6c+sӍ6q+ = @LPvf#i.f/t_j4#X5_$lu3l-5f߶Cc7 MvH[;% Uaeh =d9rσn"Fΐc-*IFXj4)i&n,JtZM. z|ܚ2`LM6u( {s¾L[;};ᜱPM Y3x?Jz3(wB)HU}kx1?1<͞]) vيx;) !ACne ކ_{7 @K0y c+me7%Be\V`3spCج'lB( 1o7O`Q/73G Ƀ$fuiuʠ5_5 LX&|EC+"JlJj ܮ@=-;("fG|g~@3;0IxiWEΦ$BtμLr}RxF{ѯnځܮ^kܡ DkG.7^x)&1@VaRqQ.WbC]5d@5&с|^jRBPnTC-zG)kr0bƓƻ1ҹYC@~F̔c&MsP$eэ2m}(r zNq"_+kr"wь)u-U[loMr xzW.塺/@ |p/o6wj"RCP/JF(߀m!lE5M.c4JKkmv˭4ẅKAL B o{DOQm./Ӏ D3޳_r#uclzk>tDȋ(gjPH$EscD:|tt](sxm:nEu0k\x%0f*_$[^hxV}$H=ԩGސdDJ֓O(h8 t{>̓U3v58Pg js5gvU\sÜзd|{) =TQ?E@`-K>j"0{ފ'Pr8S .ӹkAW@ ȌrQjމ'x8;3)XmSiR#CLֱrȱNJڨ;|+&iܮW * BZW"NvGiz j_n;t~}7|3:mV1뇫\)қ C;<4Ɓ^@re2;ޙ$~ÔH`3P@Yh |68MD2Eje p xO$5_ЛLT E.٪l-.J8a1 ]!D> mN;oSM}ЧaIJDZ75z^jWdZaiqkV";@nƞP)mqg- T;$if"УRuH{ m UOvHSNx%|l,@7/o"C},y^*WlwocWkfi* iXlDj-cW<]`ɾ'_8(w{ G@Ox9Re`25L7u!!a56.E?+Vj/ >$i@n%3d1o2>lIwbq ,Q O<ՁkFzjEFb;$8.Vjs0]QMk@W?e_A/Ч!찝7Vo~4^@"1m#oK\$NKji8,#G$!=|R|'ܼ@҇;։}'gՈjGI߻4saQ4q(YZntr^YHDf|H% t=!I 3>$Q.7&Bv!S-*ȟ;KxRiJ PLa/H+jot _v+ YђwQ{C\6J/#7Qjۺ f[s Ev dXxD߫ EH(Ӻ!^mAdslmן iC6t2{66Z]5h'+{ap"vɂƊ۬` "K/cnlh1-.roY@7rdccPlЧu{uy?vhpFvsGi=jf嫙 2u~KɪCz~Sޭ؃&l^+&¿lCGtnZJk"IS?R*h nHb#aϢ`R8׷;m?m$iv Ԭw7Eѝ[ W`CFC%{1gj~@S# l_`j@M\)'rJh@/D:ZBi)δl8evJ(S'.FˡրΪ䆶Mdq-Qΰ e}C3k^eͰw8Ho@(:3gx\(z>⏉1|av5 9Hr ^nkrc Zl34ڢGзuΑ fAUl&ֲ#g|H_g}|o/{7+d̀LQ|UR/cj:@C%IU!z **C[D) fY8p,"qISt50&&|I2kαXU9 eωdOQ,rFZp(e6P 㟶i {< \/W&#E(g>0$kPJDK'g\a^Ȓ|*IrTR>$"6I ^/`iD[h>HTGr +EE$CO[#J:XcX3SFx_T;8՜%Pc6 D-$O+N9b2"w_gS.R1i&vXY>[ LZ*[\dQm5!ݨ< =XUM2Nö~ƂXy6-nW$=%byGE#yxE#&V1.K"@3e/ckUs1 A;e%et&?TM}ZOr.T8:b ӹ, nysBb"T3m#X4X\{8Uhxb>"93IFrh4NU){EbW/^XPߊˍInȕsI1.2!z0-''t<ߛXSeiX[][a|VMRZU>5 0ɪt l;H&T%l׉r"S2΅ Ϯ}y_Rg\!tjdcGfv}e-XMM`O#4ae$ S·3wө;/E= ωZxIx9[) uv6_!uk(J˔S[%DC;𥟦Be׽7[w[!` cs͢:e99\P 8ieL i&nm(8- rSYb;@vUķX"!.RpcI`?aQϸ0uMc|\ ρN!Ojw bwwO6nSA@ 3i#)[&gxsDExqM0bf}\_ ˳6J(=$H8{@&6SP;sh4EdJgĦQT)#KU/kjtrj'jI[(=WW%^25?LA VO@GN:n B ZPSP\:L,Qco:?:s{z+A4IsZkb1PVBsE};gl^ kMґbƺZ@B⏮Rq 3'8j hݜ+:@O?GOyAd21BܫS @eȞ@Crblj'3$IJJLG={G ,ʂW8yU4 hu}媯H ^9y~ 2I /bQZo$[4%,/K [p;|M!k"_9/)ODoE;oF-'#mx@^'HQ YH9iX@fZ 찣q$dѪ Ρn^p=zdeo~;iB ıSIcAH=K/-YfĆyہ#, _řֿòF1s#zhh,sCG9Ӓ1PrmIWT/޺Th2ZHlB̈M>nij%,Kֳ @DJ@) MqD1ńYM#]qc~8DgwכM(E0$AwvĀ nOZ:dn sMTqsQv#٭}jE%`Y yWmW9R=RF .8/2)V$X{.|ţ-:{INH}tit L^8B;`̀l;Z;-8cv|Z.ck;]8j8nIڀ@T#by/'2|q a"P(yD8X!$u9} L<ق|o+ɬQ i=A=BUt&f?fVWw>Bx|W.cO0+*:~dB?@Յj:1 8~6EIN{8= ɲHX NNԧgub|"9SW{zʱ:XqOGl:q.m -TpU\1r {EDj߹4Vw|yU"qDEN &՛r6CV5}w=r:h.`%wyϏuCPGW6ooD^ooC^mڸgf A['oˆXDgjsu7`Ė|' BB_ nI 0U>+Û6vA?~=dܜap׭N-L6\$Ut8dTӊkA 硌4{N3 y${T kz)H!,c/B9D{%"̹ufJ#BDI$P x9wk -b:& lg!B>kx oul\ g\\'Teilʂp5G(U~ -Uz;·Yx-HtM]9~wZ{bAJubgYZ57e1d40a2685d80f40fe54d636d38798de06fa87e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f7267eadc07043cf62082f43776cad9fbb583c977