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  V5|L ]S HOL-Nominal-Examples:threads=2elapsed=545.783cpu=1017.448gc=127.872factor=1.867zXZִF! v]ŗXf1-q恈ބԍW_8FW'<㺊PD?j1,q7^ <,~_z9M{sMѪP7VS f6_]ha(ٞ1;m\u_5uhA`R=-̇(?uJDepP`Ch:5w]޺EN) =hsk'bN29bL75AҘӎ曢ّi<z@-Pե. ?l<}~D.+ *.3;Ctو#b6=tl~u<6KTwenP<̿d)9WsN +ۉ H+ dG 9V2\nR=M$csl6Z >hECQϪ;}V p EUHKe==MK7dY-ँպ`-H!`-t#@1Bj*Y(=tpus6TgVQƲ8cr˼H9H}%*>-CI $RيLS23 3.`gb)'nE1[`X8P#L#odןMQCrTX^y%FW& SNE@J`E|c{{HP\qIJ7MBNd{/"G\DS79~񒾭HDARr.n- !ǠP TÔ$#"@v sBQ @Yx bYwf|Ve`u@d;_yF o)s+2v]k|^[B`"v{1,,Qkv.jہ? LFVƓߢ!/InyM>(䧚& ?/S 6_N#3C4Nx Le,5SK6uQcQAzVϺQ~*D}"y-MD" ] e^즷Z*d0<ЈFl9W8cenʏ}7)6UׄDQF|g w+͔?DQ]nogCJ*B_Z .7B?VdKwCn#ol/2xX"[4_Y큿d$g W|.cMVi˓7_':˟=nWIx*jqLe5FzY@ *e[8T0Ssk-ú!_&[Y%ݴ%~9ZŹ%w9vy⥤TmFE>3=;0JIy.?n!Q2srz.JKqͅtfOGsVpbӻ%t$3,Mo=I͜2pG?X=`J!?l^kp؄%ƈMN vn>!8=)_ tiY _Eְo([ Xl៖1(K0{sDtʡ{AЊa﬊S3aOy 86@^{Y xo\؈PhAԽb Y5pl}43l_`VN1p2:yP$ 6Q$g@Y wՉX'ʼnRwi-4|.t1ۀKt8"_l'hiF43e=~%Ih3=ZcB҇".UZ8@fGi0W^m Ei=aGF}`I/"d'Q%-i`m"A˥`g hs`CM )Zmצd1wW4 oA{^~ 0s͎_r+1},?U&S\";jm|-dMw.U5 E_搇=U!#N6@ՅdU&cp:  sOK`ua#<,:LG"nT(_Fs!ipSV:Icc?X|?Ѡ)߅ %eaq82Fs6ɼ2Lhi[t֪+WS+\&Xd{nכr-bT.I7Ǜ^5CJ ! IÏvPL[V!Uu:I#$Zae-5=Ѐ6.pCdAyKp5`n`p#BJءAUNKք8Kpg`zGJԹ/5M'g.a d[."߇3jt`*RJ!J/a+ oM-eTd3iIB}YV*:{<X{dT3ǎ{5o&{pwXaH)Mbti9:V[);B<*Gύd߆FqD?F d Kp1c{//:m7qsadoPm.r߷mO,fo;kj *RV1X洿a5*c|F Mr P"UPy}؂$+vf` oϿo,\%AH9AqJA1u َm w|ao}͈XFӱAԡ.3T+t*0r4f߄ {%hY^4{kRoBp%Ǻm;Ab=ʘxEo yTY2N1YGgA4,vM6dA\ G밡`^pPkNZ*yޏ R93ԉWH>Y_:>Db+ DC=EyBԙȨL_PoS⧜| πmw=wi0:DxfPʡFuj'1$كw^b1<'d7S|z Q Ww7ZpМGuCU0;ޛ^MJBJMש4< =N 2cï 9a[vGZ&{½:7`8S*J;mwƂkepr&t1 $̝0dkmFZQ„%nbZY#`t׈)ׄjݝꕴ #!YҲ|&j0ZZu>-%g*I/.toTy?8.gbl+]`Faq3Ѧm:#;C,A$Ney|wصp;+rDtR#z sNFM|yv떶bt0`TG*4c |da\ = mgXA6XG{ P檑*3aܡn rzqV6_o.'y ,Ei^R`$XiT#O.^ĕ]YW,7L() e$sê`˰+`rH9]M RݼڟMAWcȊ3~sؾ"܏R0NJǟ(n3 l^C?. 70&H\4ytkwS3L?pZɍk]Fr_J9A 15Mj@QoLPch3/:֍[f20$>.Tǘ]fy+:0|a6E'Z%l3Jj9_Tq-gqMe@QOHw\i %˓ .RK4OFLm7ots9*:Jmaw*iqoE,Z׎^3j̾'w+˸z= RvQiʬ~j #7 4LYx,&,x,{fSy#٦7S5R4$,ԁ+Dw6`!҂Ŵ; կR,}in*%u0=dl@CPyhsԭqń*DYq(Ki HtmAx/{tc9ۡ`WjpOMq@;Ҏ,'瞙==/{f^-L^J_摉&&:nz fa$.x3IAR0+ZPṃ5pCP,"cAJh|Ṱ_T35.w o$.:LdV->C9?k4'q,*IqM:I2=z`}loC;@.6δ\H|e Q NsMfGHL<߀&a,>qX{U'[U?G`3D. 6j̷PB* )z 9 -4(~zCL*ifaAl<:ԚdihbIq5jE?mE_ҕR9bvBAY@r'wro.Ԅ8GjCEʖ1G+ƃ`zA62}xK\=6VrOc[$p@R9ף|- gYZ7zXZִF! b]ŗXiɟ1ʹ l93攀Lx3 \ ,$d- / R㄰7vVkR)tkn7:dPw/v.:=]?E~vhZyHnhiW+MI2BvʻDcylƳ)K\ȿLtd,TB*5+`'65ɎVn~*X kax.&r{< e8>sm%X?BOB5kDAH*tg||7=A* j'lQ/C.7CDt Qasbr7k'EiXFS׌,+͎p˗Z, 3uOm؟kXT{W=ƍ牷鈐QaY/:  =!+k?"z[5ϴ/ xA'^_ 7h9M=s*gYZ7zXZִF! s`]ŗXi%;c1?%NAS{sSpΨlOq`袖#8]X4(IuÝ 8FhnF8>^Xлjm3G?D)h+5lJm(zwun>8R:^A#FYK/ `o#7䅕pm!yU>< rFdS{2 =iS $\%KMg$ԡ;T TS 6K(i׆{Qgge*/G@Q5Hiӎ`oijT"ȼ)q ;SyTEcF!>\'//a jj2_6oH\ ӻXz D&&t%YЃ=<Қ͖=x_NF,ޣ_JHgC:>\џwnќR ̡cfX37;%(\iyG|B|a0^y*d \$=f%7] NB ?9!,[~)p > ֋~Vw%LT@qd&$8"99sc`e*Ythgr0m'=W5!zֈ"~nb][\z!Bσ/w%B96}8r@y+^yQ#1Gg ,va yWy7"V[ :b9A[9%l&pY?׉b[aE]f>h\6m&uN,QsyMh *ZA}7+6̋v{Tz8z* -sDY]z iد.Ř~ACF{cã~6f吥p wt`43V$P=.o#@IG["nq [b(rۓ"pB~܌ 9fV4SK^Mx=0fQ9@\=v5D q}љ} jfg.`,m5J Rin͙Crn\&@ Jɾ޴5(D;瞬*S2~??£;^~VYSV !PFhbJ=2 L!4m,G*!g]y<Άd0&/;$J0jFfӉ՜y}Pz]EK9}C䜮$]h!(<$yNOl-Ds?9Jۃ} x{z ![Z50Yh8Wo{ -3.(SuvTkR?&$`8 FFN0Kvlo"M0(ӄDGMY8eأ1 o !m6Xp;nKl)X!IAk^,ܾcr$.9 AkHaS}P) Rn?A5)qtys΅xqt5%drKLݪRG+/h|)؅NseM}xN'PUm{;tZG}dmp$x0Ct㍾p.|uUr `.{i®x[LIeʺN`xwi[Uڬa2ʚGUB07>?4h!\d̥@F q ل`77b(OW9ccf+.}HJuQ <0-&)IWaS90G!OĐQ|!4Gx8@Ajשb[wpq9A<CBr/\ZuлЈ}Z6Ye6\:)4`56:w2H&_Zu}D6絝AC[] sbIw'F3v?ц K$Ɛ%g(&zt8-"'ew» RMz}а}Pd+fȥBKfӮc9ߡ=nwZKP%oQsgNb}7f7:bXJ$>J/)8Sߖ݂oƻ¸w*+CC`bgvޱ4~üĶˇ6;3ٷM3tpwGX_akDX1.zg׀rOZwƱZH:ſi-k0H--TS2fB)p[g0K5op)O6(Vw+kU G,0$A<O: ~eME6-p. =dP+(Ӹj1"[lv3"91e4J&6MѬ܍IXM69=}>պY]-ڎX^›kWi")"]CqP7fEӏ_˱z9h1gM(%D@֧Pq/ s)o /"Iy+ ԟWVe̶O6pۆ$(mRO̒yv#_ضH}ocT?i{4\NXeL+B讄PԒ3%{qLcY*f ,=ݲqZSiK؝m\y0IxZ e]-<2ð"+Jd#ME A>5 Xߤ.GrYP9v?;>WxTdLtW/+u@w*L{S9x+_5j/BkN+fS66:{x+N$ǃwF=h&}m%sCԠ7opnhG_gqˎMiZ(PaQ3TUޅMƔMzut@RT\Z' a/=0ʳ`Vڸ~Sv58,ֶ?}]7ptg~fbm쪢te{6>Vû9 > G^N(DKbQz-vH¬*=xy+ߍ ~H!Eq!١2+?KAK:s4(OEeX,m"*=4͉ưntO| 06D,Z(js4f(07dOe^>@*0yrIF|ߘU]Ɣ"7Z`FI VLݞpr,מ?7{ lv .Phxٺe㲼hd.[VYs"aǑ8nٰsLgTx'~Ma4SeM7#Fh`8-Ib& J诈ۙa?;=VRm<R=ec`ϤO_+B 7NԶ䟨1*C1"zڍR(1ve"Wtf[?(=pkc"ٗT9I{5Z.tNa /L}H^MߟRXڴ&~ϯdQ)7S$7Tn'-@(@TEѺc ֥c=`ȗ/Gq[,7i!.,:1l؂=K$p$z+sJIUUpja?X=aM}DGȱ~)2N$N/qZ}!+%Ճ߂& -In!ipCzN``r4='2x&cɊg /zɇKxtKӼvX߶X^wR3ލ O†+dKEsTz=P`?K[BS7vL$9cH|V$.Az.Wi U9?v L8vJl* h1{>v=xY 񖙥FyqV؂Kv-\(SDZ|Q&A0%b$=e"AA($-S.NL6뒡9u݋dU~<ϪA2{9j mȪbe'ZǬ0JNK-jn딮FLMo;X%x需jD: /skMܶҵzY ;dR劓pd pklJJeoD_(>}tШ w1!@= 0'@Lsb72%-zGـcQ \WFoԩ'Ε4W-Cm* w,;խNgQJO)]`G&O.XHt(D$<%A55RCo u:x`1 PRt'!wrcw?'S2Zr6;Ioi @sdpYԭ2> Fe\ʸ`(bh;\rd)O4^]:dL${nǐ'X[H ŀ@'A!C5+ g :oG{H?FU 5*!O&S{Lx0DSX0?l)X&qYէM]%qVx \>P r&A@!lˆ$>0 c{6Kuz*޵0bm/`-[N)>9rcQ>+3PjVr3(bѯ雒;ݸ,QJ_>j&4H Yp@ &Tro޿ u:pBD5F~GfCT}X<ҝ#4|*jo2`?mݠcf6QJAlSXK泤D>r>s(~~<݅ q9b#qAzH l鏫V5@OCƊz9zWFI0wZF| ص&]ޑV|#CҖ5p0NOC<":?#/Y'D!! wF>`\|ILLuzAs~3=P819Ptԃ. !W.)x婁]2LEjny?g;EKCG޷ew4Rşώ Rb#CgדDXmKh>&:dGw d H& EAwWb, RhVJ8sԦZ>Hg@HP,m[j) N^3_fnic1.ЈtN{/ EL\/s4oC}w*l^RVn"cHi6h"&B ,-ڇbQac+>a1/amr:a<՘iiiL1@갶YZܹBH{ku̞JrѠi\CQrM)E-ָٱs4j ø2Rp`s3ȓWs򈀿++,%sተC92JuϚ m$l^΢ +IMOؐ~esY#QZy ]Drg E'{TM0|'6vݒ3?ylOd| D_Eis؀b6P[j8?£i,>:tBT4)2TwL'Ulx| mboGtIlɽbnMB_~w UzA( _@Ǚx28Yo' $=_4qE/\}_j1HEM3eō641 (tj9L @iC"n~<޻c)mi 3" d;AһwcWys~u;&9GEqZ!~ P }td?viovMީĆMfۃzosZ%lopRm ?U6U!}_@8q 3.7hlȵ(qkhEX|Qд+"h&&#:ޙzv41>@>&5t:>ۍ3atn4T;nw8aU_)/D(CRqZ[2RYveb 5rjqQc2rH=RwF q pQ)r(+_u5s哹{">ətk5ų$?0:Q3o ۇOGp #bHf-42uXgՎNK̑]y̥.aӷNJُ: h+csT[s!OO*3N+VOx0l( n''6.M>F|?S\@\z26{L5ᣗÛZGio*)l2EX?RTC . vfakGh _uE}kfqM_7h)@6[eԆJ gWOʍͤiˢ^v ft[F*ya>B#O_ u7b}Zⴀ,cc]y$^ɒZq3r)f[M$ +Mo놮Ժ[!<'qU}_V|xL|k,%!_H)")rPfMO |mImBk?.$a aCPzFxU` f̻kk1CZJ[el ZaBVMLn>6 ZwAq"KyXd43Z5IAa_h.~LPqW:x_ _/u#gԤrQhK!Gz2v#ق_C,A08Az`7x(<lP_jwnO zab)%>mUvJ UD.ui,apS9O )9z&b>@$O]mۅψ+e5ꓹyn2)ם{Ȃ%ՎiǷA7=KX?}G)߆̚K -C;(:#|QJoh|aX3e% F_?ዌjtI^PՔ}UkbD#b)AߴG@GR-Č]Kw$+R7֎,%1r~d}k;}.1 þ%x kr3/ Ók( GK,6h'o@:K2sxLTFJM|6F-#4'O 7AW79U 9{+8>*crh\<#}?CS/>Vuq8S(;;wyx(!nO埦&Օ٭7E_0>)Pwsiv*6 '-° jVߵ[% 0Odo)K^D}:uvKKEZ!gڛ4 "zb~  ڷ8\b&݆I]9\ר]K8kV0 d@NBAoJPG[95te=#;@mʅ;_xGz3@DDxmE]2gA>t9hH/k'b^ƙ Fd5j}\@`Dy ε@f[k6Ğl? $tXl'*ĉA/RIb`lûk5seTV+[)r`f~fD,V8:z}='!ġ3AjqvϢ 4Q28K:􇮥xػ2_77<8,y*ܥ,AՍ}q|ݫf^4 xh.Uж.)'* @hZ^ z,^, a<ĭT9ɤxP ý@p9 1~ Rh,{3;^JA0vMB)^;^ =\EmA؞y.%eSaBfî8hȼd\gzLtuPYۥ3Zm&L NZCK8paЂ^aӖSLv K+4CI[m^O)Bi 6LuE1A@A]Bʰ2KcD\g% 12_TSB{.ʋN;RkYr[簞{%o `K)[DAnEJ-Rab*{=Ai:R.B҃7TQmuJ9v~ ROذW^..QMϦޝt_x^l/y{,.c2~+VTt?_3[~MM^V52y衧7͞hCUݽFLj=qNF‚ 'z3Tf FyTtSQ|f1 qKm,Ia3#fh1o"10ln>,z´ z K, IZTg8'`3%,>79k=~^IFj"*iaFM&9⚽Uש,Xe10ؚrx"eicz .ӡScEu)_-;-)yPf 啎O A5^XM80%Shܠ!lZ^tY A~EX ;T"tTD"LeuydGԒ\fLwQ*T,jsnv^|S`vPq~] 6l)O3}ͅjA/2̓g+o_x] .ĭkJ0/#l~׺k:wu+ Ú8^DdE,%A7 ! 2X-11s>:NRU%g.&V$Fz-.0#Y$#Q{l [6v{2&3gQA9M01xKPx=% 󳚇!^cOu:hpXBa!YE_\S]^/+ k)Nw-R)H'M<ƞ%_MЗr},*2%L7: k&:BKz(d%5?i, 9>שN( F=-`rVAaJw[0uڭ i+l.KSgj0d8']0fX PNLymsʕnvCetOgv\=pe@A8B=Vm>0|J$ UO1oQB\砘ٔzAFL67=0%)ڏ=$0k/QvK>%3]%%Z,/̕:dc1".{)IͰ׼3B,7V6">B۟I<]aGmuMIꕓ%Tl&Fҟ6RoArdP G 뱿$hRw8f܂ɐDXa:_?Dh 5Klgf{{sx WHPfkIUnюQIC=C"Z N:xd*u0rw@arsb1uXWS0xܰ9\>ðm# noܺ4#s-^*[Q" ƮK\K^BNpΤHL[#>=wrB[çx M& [aҒ.?A)l셵1zWz~cH3#<is!۴D!Z52 &3QÚ2b~rMyvEyȜW@wne" Ņ9n/rT!•¸o>ǎςa ^voT}5wnAm[2GzQޡ_80@52#h}V% -֠x"DMT O~{#`Xf]+' OKe@ڇڠG6B0TOP(RU x4:jET QwKY\%R̤`&/8zZ ;{rחJ͹:V7;w5o&D kt%} !Q|VU +\6V{9gM}9P \c1Ac]] ; 7`([襬m^ڽZ}wQ5e WQ 4 e|ޫc%ЀpJHV6YHfB^4+b~k5+;vHr!`NQ:__rhg!Y&(J287}9DlN vPA?D846*eQӛz [VH+߭<"<)^lT/IR NEMDl׼vD8c!..G7y< ̧5{)ݛęԛ/3Gb/hx{h\X8XNm"uT]S頞`&yv=AZH|@!+mBTJbPS.QaY֪ PKX@b:ЮRcRÃ>Mxa C) doNo*:\% ;U>8Ϳ̈&KZ77{g .n6:_Fj+1/2Nc uZu *gi2Npfhcf+Lp4vv] ȶ /vɹHjOEe.#li2"B|}Gam-'$S{qdv16e,b~rlbPzL@ttn+f e&cH\S/GZL2w/`I?,lħ\ї>[[UKqQsǦ5N/k6nƯj50 ~\  XG쀣f?f+&=rƇo n5NEbEhkI،?-7XżS'bhȼ۬E<.J8DgZOIj`ukj}jͫ;0*j l6ҺX"ܻ/ҽ\.lhvϠgP;Ԉ柘֫Io=%<*CYr۝@a]*蟍l;F4\*CQZpkn4꺧j/p4QO+=[\z |%Xg3q?/Bگ X*H"u9| ^ I6 X4B(eر+FCԠG ѲK! Up )HSףAVU8WP7MgF Z+9`7G} ZţiƆ"PJT@v7<QS)|DBm X-yoʁCs,'ELs"<.ٿ`hH 2-(}Qr.AHӣ\MFMbzv HD / (By]-6nWfawR5:0un]ou3F"\Ocʬ4Pv*]J4QCSZ`r7;  )e`WK V}D/ HJ)Ղ\pHrLx@vCa WjlQ0mܿAq]nKIwc-d1dy,ja80aXP$I)~k#X+Cjbpo wj4q=f# t.^`9;2YDԫP"}oI">QSGO1)&W$ǶԺn( :!2?lة3`ǵE<ȱl!n{J&P"'ъkŴx-&XWS\v uJn ͍H㪅ׂOTNd0P]_x8_F`&Tͪ٦GZvwF֮⣉C!ru..#QY; ^X0bv8cod/3Z/ϊ>Ro8Vjg̣K0؀j9)U^ /UrӺvaYiZȷY|;M\Έ +,W!I 7ʺאn`Hs8$ri5F6XّWbǪD/ݰ>^;M$2gb i0f]׮]lXb%@@pdNPTPJuc C&n텧8g"%!9Źw,+r7NJ9PMpd.ozJ%x6FYYek>䤥蓥9 k832u#}K3a ֭5/ Twצeg_vv,M')?M$Z@[s[]߸9+&-kGQg[!e蘔#I <Ç=  ga=)#KW(|yGbl{ʳHhU,EB5PrۨlIϠQ.G>FQ]fh@锡<ĆKb:Ýxy$| A5:.SO-Z>{t#Q$ i.b0ÅwcmT Yf*P@뷃ĭpYp||<.mI 8*RB?C42ze'0trp/}\R cJfxݏm;)|6_SoIw2x.z0sUOLFI$fnF|*ViYF {yZxg4k#e/\< RvPU *8MkA |e)˭r7sWYox[F@_'$J8M gO;sW;@>]zdևJwY#>&~gȹ!yplg0<۱(}j_4`P8Dף%)Bg ۶17MV{Th`-wzjH 7veT!d?dI3?W*%Oڟc\nW@#2q7Yq-vuʆ;S7'T9x ˡ;N~ bY)LhEб.3O 4>z$꤄궩8ǾFB95[$kLns-cC 1RUƵGXK ̵P9 % 2NkR2]hU a' +y(hy$)tJFa!!Ec^Bi?ʋst&uXyopCz 63B }&Bhv[îH2 rAƒ|RM4-9|ęfcnRDdb -M z7b\|/v^mA$ d1l;5Yn~e89w#FdpW-DVѠ<% ] 0$Q[Y:ٷ|/ <}WNPG F1ϡrZR SYF2 *4 dAV^lUYj ̧c @xzLk|1*w-^W9[2I&g5QH1EY7.Sč()2“6e^x+gGtq&䜑E{ W|#ZaM}&(i`&"wVnPp@܊mvT͡חҺͯ LN!4L/t:f qdh-7(}+'pIT]y çʝRZ)T>^gؘOk.*5~VH`3>-m9/K$]~ؒZdX'mqtƎB3yM;m'Le=ar%>>Dj&W{U/qE Y- Z_ES*f(?x8J2EӇi,ʧ gy3b ,krI9Ի.7ui^lmSI+i8bjZ⹬bDsE'6jƭ̻ч-+{F{uEEd<6Ja]phX-„q}T1߳[0%G~n#q-^K׼#P3o&ڸԸi|G0@@(ԇƋ+BxM%3QٳB{eb(BıyE,ֹ)r)()BS[0HuYbk/:3,|zט.K16Z(,Be-HTYKUdg!:mf.qfMW2&(j0/V7/= lb\qE*h(b^(xhzGrT1:0e:>+M葑D0T]Z( :GT1w$EmBRM-# ;'OsIvڧ=wFд뗞/J:4N&L AK^<9EVNGd4 ݵs''VZ3,Xj)c׌b;C[ΒY\ok]kD瞓痄 &xXrȈ(O܎WJ3pVqxp v0c^pوGR]P~}`qZs绽l}-s-qÄz{{!FXU>rxc/Ҭ9V%{ c*D_4䚮9 ߇秱CfKzkқ( (Qup~#HauuPJӭ,œG}m֕2)s~4HËu}<]64Bygw] \p8?t6ŬyF_s$rlB 6wwQ?'po R)f[m\:\Λ%c&d2] 5ރ|GLZQ}Ahzm^7f W x&%_ϒfW% +?~}$e:QKB >S\YmoӈɤaS3J >MXy~>5揲"WJ)>]8sVES)@z%TI9Uk4Z1(~gP}'id pP a{Q*  ~Зv1戓5*e* !٪}gK85# ]0=ϛ'aW z,ht}m$PL@lK:c }u>DA o\]dqgAGt*eG Z0}KQ]mvgpT$k4ڑt^PyM0PLǿY nޡ]!2zJT<궭!J|/V6.?8 $]Qru$gecn'͝\W-ѩ8^{%k6܀a n48328TM2tˮ6WlcQq vLnEFMFa5²gɧR}Rh?fx 1FU w# ^!߷*^UxD?S: $q(8l b4?s`[(C |a9ynW# fw`+3 GdyKwjѥ&=!2a}OWm#+ ?oopI*,E>'1֞[]5(r~+T+ 2}-6B 5 jX%m_ G;TRQ9 ^[Yb&%NIPQ_x% r-GO1N7.qpOĔj{AC d?UraPT $2-2 [oih,c Iqr^-IMy](e&jĽlfv$;LR$r0A"h[$, 걕/ `=gJR)ٲB(ľe|&~tw!,G ;lgDע Kau[A.%KO'} _i?y񦼱{Y&1uXC0~cǩ|6# J|O(;F_IKɩ r:W?:zsW̔+)dgoiy:Tq{#ˁ55q|/qqR#,wr5_NeDV%dNd-* kz%V`I%I_i7\{|ʀpe0G4ƒk݉d^M(1,DVY"K &8pn^x-Yq :o珹,e}{58_wGbguH#5!>*˟Mqk n9;|C)> A8|4 Nht:cB[`4d43'<^f-ARUFL6)x}aitdxVĈ(:!ވ !L3mZz7k4V F\XKGtosU?m93*dWbKj41:s2IYK%OHvHDr{QA`}̈++Ì"-8n'Z#਱9>&3N<l ڊۉ2(ظS!Ku.ta&tW2ǔ\V&BH[Y_dBwDʑۑ#!hl7C. kpݦq[聸4ٔt*:,l *,}VcWB*B :;ʭ~eF* ʧd$k,mS<#Fc2\JEcoNX|w$?CRxnF67ٹr#X,f-"eЗw)g;]1U? h̨ RSf>t>(5XR`4_)N ȦBqv=41DkM( "b,1qw#F%{:CT0~(Q˞Z+1^-w }PjWR TOăI߫ jN.^ & E7dι6OyXwYq^$Qc#$޵qs/‡ P0!"nqq սNn&͸U&tEdU.<.M+1Rzr< .zadD!I(iE@K+Q*v|7hibM Q;dJ ]vR"6K ܎Ck9jt&V. ŵbδW4,|@q _` ;]_| g2.9w>Ęբv{T@HuOioߥ6׵9|Q{T61B(>!@窣e;:j eLcl/V)E@cI"/;>=P]0]+DxT5FxX{C}A}w&oTTǬB^mևOɥg`q׹~$3 sRзpyg-Y iFbam]⠽zC;n0pŃ#HI+\@\B4\O—.EKp@Pݸ-z͛xnx<˘}./[uS5n;$ISѳ+b-4Ld" .>s><4ʶ }V=wZbAؠ9\%x@TPgC{gA]΅ aq(6 3k}Q5d~?sc/ĥ;XVh&&~\蹚\T06 ( ==5q%[Hi3$>QP1:k{JB@;҂1CCߝ՟lljدܗ:Xk~~9+7izēu~.'L1,ԣQƅUsm*;<Ԣ(*G-@0֒4Es)6/v_nK/y>-)9BSW 8gLtyiQBI]F7Ym"?`Εr^z\G:đ)Y;xsX`l&w$ [㢕ɉm[aMeZmXF8*=ۇ#ͬ]d?A{V2&xxw/`[t?"Y Q:L?D^ӽ9)tD4/3Jk y4h'¼̨6=l5QVBS7tmEyZ1k.<pv3#@~o:&C(MYtCBVr ͷF'kAKW$xkUd+ 21MiCûm&;]0P8tr Z`Z M4T|Q)C u*wO]\]j2M!.x\pS..%:YL#bm7r@gWv? r)Wh%+Ut999MO=Qչ`:lV-\AʞJd] O vobE0q i32Z2ף&TzkQGw'vWۘ$)fFg^D*8~hFxps?YWklMLMkHySnK{{N0 0j&Rl.=3<wvoyiQ)ޯ/bt `Q,v!/g7# NYx9U{<"c!8Ӌ2\T/X 6 N/),Vr?Vn/æ!@s{sJF $$; Z4D70f:zo#ܲC|< NP+G}c@?2 XNeHM!@WOxӯ k/'ӕj*\Zp\F 2^ "]ؑqfmd(+G8"b0#<}.^Ñ`[dMŔrAy۾R%˩C/Zn,eeO V[:T?/vkQ0?+?H`rBs\0oL qFz6g 2%)1?PRCmPl>r1"Ym>!t|L\ANnЖi@8c\sMkrGV;iӪ LZq\xRԘp$=5@0i(Je`yb)n{O6RB{/ Ul1&iA7X9M)Sڕ4;s.׸CwNʴ[J^g>[֑-q?~^ၒ;l(Vlc(*Y.qU .J/RuV]HRFoKEӌYU 5KyI]WpM~޴\bCcKei_iU7ZxZb-94s)lr@"U#)dbUs}}Θ0I] *wV69SeLoUQ65otAv*+b8k@8V" i"R_ꁛXY}\i3aI >B:s` g. i@LJR:ebs-w^`)TŔF}vzWycJ~y]r1Z#=GR}n7E@5g]i ERϚ*c{V 7PI(,-=7DX9Nps*u]"}q!.};5N6<[$=AKrwy>cu53m._dᛁbhpJ\3P``c"z"7}._ N%qb2͜E6[%KwP1LDZ}fbڇt3U@1;&JI_B@E`<:2=0-iKZsP_cͫ#ֺs=3jUb&5e9 4uWKNp<1qlPR!B 4}{$ǁ&4KjbڥUO%(z) p:dp[FA9O`xI'I6%g eOm$@[DB'\oZsBAi[Ch<8Ʋ8zp v+AR"c=#F~*=/@ܪRK+jp/O+],#/vȨ[Y[o^DÉPZϢ?B0zsi,C| ٙ<{i/GD(Qd%ʏs&].|r-;r/xZAϖq+~xv,r Lt/`&L)E'U G*2RF6&γYlryAՁh %7({c131U ܞlXÍKuy 7õQ[5ֻFz_uF $:n!v]h!v_lKN< j>$ dãSxZ(u)#g WF =zkd5/L,9Y D)|dIU kE,K:r/dXBq$ŭjvm[\fhnZ5Dm]x?rU]h~esBGOijÞYYB}p &CWFwI`I2VWUFeqՁr9S?:li謃z/[.;ַ-JʃFYEmjN\;g4U7f,9M;LB.E Z 9AT/. s@p@ݠfhېSWQ'qh i75^ e0R2_iA ʸl`?規/LY8 AJAAYjA2R:kEf5D}A՗ )$I d)~F MN璱'u&Pe>ί5{z|T67+3zg~ (M#%[ngYZfd85186bbe92ef193818c392ddf6ea5dc952768562b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 d41a318480675fa1dae8a13d9d0f6af627e5eb02 726ca73ac9173d447a7b7db15cbb576feb42d164