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 !!/5$,D ]S HOL-Nominal-Examples:threads=2elapsed=649.718cpu=1210.892gc=149.444factor=1.867zXZִF! ˻ I]ŗXf1-q恈ބԍW_8FW'<㺊PD?j1,q7^ <,*wh0ʅNZּE1MÛA!@jGlB7ί߉|qAI{/gIfKpfuS-^M){g 939awYҽ.n*QХqY#dGGf;CFW,Qk|h YT%xv1 $CG6k*N9FH8NT(_XlO487MBB:U g RԹ6Wv}nZ-}OzR3NM*B/dJ{8}5mNfGߡXY+ tUl3{vua][_u!'}7€hFa(uTl8l 3klLݨ7fpkىdCkѰ6'vbG'5NQ#AX PumS"RD6{Mdt*SwfZ r؛4,Me@utrmZZ»~%WQ<9%8- 33@ljA<< MYSg0 )96XS޸gz?c%3䮴1 ]F?f޹K#xc? A P/:ΓZG-Waa?QWJeI0i)r9璁Jq}Yԭ i~\s甙 G*kҳ4֞UI};&FE*hS~gmBAڈ/fg],Ҏ%hTa%ĿŠ6j&09DVz?s8 '5-+gp9 WϮ*gi]h XLePpc2 s R}=J%4}zuK[9GGIPbۓc} TUJj&Y 6$,s$#Ԋo 6*r2UC:%a<ބ%U`[ Tp֒6G3`۞xѰ▅7G8x 9u(hB7g5!PVh$7l{ 0#%kDtSLZ>@)kJ9 g|Iiϖ r+<@,1:Cfg''IL fdGfWS@xfN($ނPs; "Ue%'킙[a!bZו` q55|;MyJ)]!6F{hZšS#CypRoq;v$ gJcTM_7teƠ*5;xwsV:EP׀|-B7\(Cw0L=SʸFty "{/uV(niC") {:sttkrSLv2[!]~6F<9ÝoaWI@d#g`+TV.½R?{1ū%FZ@.h(13ڡ@*;b 'Ds Ӯ*n{J#M>11s]R< -y!MߤRKuP5dY, B*W4#Jvg@&Gր4UW Qw 00AWy7ޣ7^16 Q\ ɑ/Z3-RF.ɳ+ߐI˪u _7H ZwNQwz9}$&>W-SGM6ȹ'zGk6j'yØo9ܭ}.{wvҕW[+T+TFdsK}X `mSS#h:)߸Q5S哦{M` Yv pYhLz[I'^e(/W\NY tvGmIWqKٳolSPaPߑ\HoOX\V,w_2&Wf )WK;5>dcy1e?=%1m(+c@p:z^ `6M?9򖯐,p[!`Jȣ(%ew"2ܓ/ۡ})X(0biu!{ĹLUW4N$f*Վ~eGݤrmܲCDȥK m.Z~Y+³  :XgO=2v xs^(&݉IU5H(0/ 3dK/Mn$krSs iog+"ёSV>MI0RA^M\:ϣpD \+pk=Z>u$.G;2e-LG.ՄtH\P ^gŒ\&xzBUK^-f4co͑QDmqj# (B|Е`s7D=~<㶕 ],6ؽ'zrLcf׆?݃ a'cLGE,'RZr3oñ!2 ղ^QGg7m;<0SR}Uq#t+!PeءU7MBP氺9_5}EHS++8jd{[ZiTYvqӴ'u 3n҃L(C [e ǭ0vM%3\3 1Ed"b:xz~wU_oNkNb\6|-/ΈPbl,zm_S1bGJbwԘ P({ `A~ƙkӿ&Y}pDS9ui]|:VK4// d'.:9 #>> /K*}FURl`=@b" ‚{A9.xad5o$(8꘾~Gl~[ G%e\ "XI>Fw d_{AZIȒ5o׳XcFF2.0e4| vpc}V3Ye5R,58[ tm/5 D5Eլurnt[IMf@:9-B E]>~_2b,\ 'G*M_li[Y2l8mWKq46*Õmp+|+9#_vc X%8l @ä pU67`܌(t#O2\/\CDJDh9(#̬.?Pb$ uvE4120}kl`o7naMe֪P~ǃ M稄Ea@pnLSoDC|<{d!R2 RCؼH#gfͪrgWZ(=2'*&8uPfgd1m3K{QG '3.Q0\΄wMŊPžKGnoRNu(n^|x.f |EwĎ6/1rHm7$Cʲ:J/Azt uTStBFIшIQ2U[bQ\ v&9{:<@[+[VSP4e"8ky/.ɞXRShEaUR˚f]-R+X#* \$G":1Y?NtB7> pB!#KQ;|3Y%%>urgy,bWXxc>\`F$t iMI ` &En|]W6W d7XUjix "ف ;hT悗\s[OD-aN DF@5ϖ=gYZ7zXZִF! c]ŗXiɟ1ʹ l93攀Lx3 a$c~_L1XxV.RN1$I~T,'ݣE&ɸo4YT^Q;!T+\-D$%u IpK~e;|ziN"OӒ`%n5mnD>7ԧhcNk=>&lXsB7:#`j>:/-'򔱔'kj[[]nB[si 8({f08B#1);uX=ۉS(xuZ rr=P=q  ^k3XO`eK-)Kb??ZPҕ9 ۬h^m ŀbne}&U>s<Q.wy:t.1{wt E BAQY=Q+w2Sۑ1( 1%g J!`y;I4bgo~Z+UhgYZ7zXZִF! WZ]ŗXi%;UGD65ϐ)O/ 'GW@Zi/Lcor}͂rxs}L9(xc?{~. lzZ!SR8ldMs{tȮՏfN5UFoViSL\B]%T6 9]WTea=>X2-p*:F( au/2HN8 lBS v}&X`kIPW1NhM1oͬ3JN+xPM68CUEѸ.):G>>:! F!H+om)D<u`p>$` O㮸6e'ɾ* i,=,K/,Ĥ<2U`y_d:ʡL&p&̐ڿ,??B%Gh4\`ZȎ(&0;xC]gkhGVLәNh"nC0GOb`Rx16{y翦ç9% HtI&ݛr"Eb}Mr}) )dQKIC `t22v!GqnWe!{:uOGK(_955u x+ wBB`7ip8Qb Eݬu^9!7OkVuWy\btJ=֦j|T 4tuAiD"* *<΂5_-+{3}YɨKΜTl^!q7z[kҝ T/o"-/ɤT+P h}eM[EYr9ŤZ=PF"[cs Iѥ1C͆3#sFC/r{yTLAbujXE۲-+xs>ȕ@G/Smʬf(=뮧@ TE9_=6ǫʘD<,R>E)eIy&mÕ X?|&@;Os&6NZ --;7b~TQI`e$ 3A3Ʉ_ "%0ȭ),2VLh[c_du!oTE ~q &'OP8S..h72b_D2I51 Hp:k3pL#E3 tHE-屉 'UMyEd7bQ؃lfi#,kZy|K}sG> 2GS{AIף` %2υ_̍ B ,1FÂnps&WGzY{nGȝ6@ yr\ ^4|f,*+zraE| 7yUme^&҆eZytCܙ͹E*ʷdiSpV`ғ;X=g&;Bj)^4{HnnMF8h* t98l[cSѠvKs-bM 2[HtrIZ4JɑngASkl.bÑr׉Y{U"R}dť\m% ={Mdq`gtзGY7=J(p Y1Jr݄:~LfmA8%BH]f-uF$lKMwUDAZHwsrRA 3t _@d ߺuo*i5{pZK|+4.@o-RO.PNِKcrPxVKҡbV'^>K;YrHe[HաnႣ /( 4oلJ1-(Kܟ*DuHVz7љ c c>I[_g xtAY5+?y*؜q44AAlvG;hwQ<ꉔQ]ow6Xƃo2-qH#~eD_: Esz$%)pqzMc Vw¤sQul> J+kqTޜDv7ϥe=I{dL *aWn r=[60/ C;ZU"PzH܄?D)* uLE:+@h 7+x"Id'6rw񅢡k6Db*| v@*,uB9xzOgEg}a'a$΅:UE JkJ<*UYaG?h΂V{l+v!ZrQ}k&|5PК0Iޕ9}R @dl VE⸈~4(L̮ 7[ؾޠve_|BDfM3(6fCjVwQч)X+KW"; _Zn -x#v:f*"*Ɔ,twG&OBE+dr+Mt<%%5sb.nId{vˀT.byjOѢz^ !48/s4Pλ #e,$P4Ŗ xD}ǧG_d%3-8L~T[ogŏD ̐ /H %pJSڪZzB\2U@qўquCdqq]!b.!HkC8FX(+? \PuU&IX= kfom"ًAޗ)wyw-$G.om4o,K`Fc {@h)nduR^t9Hq15ۢK""p?Ro2 EGw`8 |23Lݪ<ɠVn~.oi/ޏ=cCu 9rCNʝn72/W3:gY3ظ7RA$2}X s!Pg~I ӸM;LϳRZ:|r,%cɳe9<:?^5H̡tJ1Nl)CX/~]XT:KK8:VO2v0Х9#:o9EvHy+O4<iT[i"%; 2$ꒃlgYzXE܉b:{C ߀fg`5{m]뼁{5\S\\w>zdcYٱg1 k;I==h7uYm2~JrP7l|5V HV|TeFU1Fv{Iqe@ۛg+ͣ{GM?@gHz ݈?fJiG/߀# $Z`麥Ie7rCs1H.'m69ҸqŠP9ssSp#-NESBE SF{/>?YinNwFzҰH,afEEo8}}Nclᢑok`xSpf^aF4iv;$"f@,E@Ĩ_ָ:s@lkU1A}ϗ 4nD >MZ%@oW?g@S3H[F  G8ukmKS<,OU9#AMI<) fBF`ԟII+)Ѫ m]u\ õ"7t=9"q_WF粽kT;7L{[ȈoEsE0Ye 'mZ'8ń";eܬ:] ~ wE=pNh|;bVPj6hIKb`(H$@ l/{E!aiB'ʫlj*r`z<[6]8p2hy.}1SqCm@K}>l,GF/Vyaz_OoaGUo. +JqWH ҧR6 hMg@ Ar#-MPQ s\|Yv&Sk.IQѻ]{Ά1* o i>\=aҎmꂴLn/ >~~:|]ClOat9m̙;#-CCb`_WRV4]dc龐+h@ϻw^P !)[ԋ #Tr{v./? :55eyy>)ۿW"]ݭPV21 zM ŒWYj -pHŒF1Nڹ1)XS~LJO-ϛL`Jav0aќ80T:&D2OBqu"*>C;J\oDGVTmɚ:VAN_fY$vKUAMkVYJ|;Pbk\d-lVUľYRf}խ'ԧ]tMٽMNv߻A%e"٪O}޾lbp h ;ml6*Ãxurkb~#RƉyaR\1 ]+Sd{۩p:ƾ)H=ʇ.%٥&$< 1hsT_B j>=l(VQ2MuYq]\tJ3i2X20@ɽ~`M zNU|H'wy@5 zYL4[&a5sZq[)  A8De]c22FBMH\Ny RA@ad{+auSl~$[BY&/*I>jK霑r <ѯWRapӍp8vz񤸣w.m0]Um)᭄*s bUZgsLlU5쌳hI/ oaAkm;tk̥x)^1f/S6XȽ};D C&|Ll2O#eJ98bl_55\6uošM?Yc*Y$0qBt 媖^\q jbOS;WH),-0ۋ<+ٶcZQ+)޹_B?[\R#-n κ&pcv 2 x߷4V [n@" f]$VVdag?e.q1̋=/$]$,BMGFDX≖;A-! ~= p}qi?11 y_thhJb?ԃ=9No'yjj40;QT >?y vb<Én*]*Bo~Dez Q>0-(5) bOhݫO ~Ksΐi[FDK4xaOI",@vw.%4LlGlwM$<1X>FB\}rydr) 5h-erV ?xxzp-x*7H[5D0~bw&iiv~ldjۈq *MK O`U>/Ɛ]_,R 8@`OQo#,r3;Us+'Ll;8kdِZ9$AZ3B׻K^C\d+%l?gC gn)RO O"h*4`ǫ8tx ⒑G;=Lrfpz$6>mI41 Ak4%6ҁZHOZHMx7X=s%loc8.[@3 ^LG[4G>jdq2`$lw;;:p-m ؋ ':n|6ws2G@*TK5wi#"x o^T.@|j"b?zKϕjWa&Dtj^EfHiM1FG|73lr8zr. ke,]i17ZE0|u7WV~_4Z^'sGl-b sZY(sZVK mL''.-WGKou Z|)QZ+ɴ #?:.i cZ_ʥK%T[uN}Z~5W $S1eM8A۪NA,bPN+=Z,!+hܮ,RZpPj&GL%AtޔcBzYl/Oc[<ˁC~-kYil !K.%7PܳpZzj]&f&;P~7iCVel <^!n5RZ5Mu-Cs ƅ Ǟ ^jt^0U5%ݥ"bVA1ފA+Uބtm@ˮ qe`[5{Ps9-տܞHκK&O IJ\5:H멤Eʰ'CPfp1˯狰nCzX0RgZ FÈ(Y`Tqls|,ga3N'۴^L3KbfKJa_Aɻ[$2[U [=#8F[z[1 uRwk{ݜ_71r!7s!wնm:Um+Ðo\FhƙW_<yjj~τ $AAj3dh׾]YV)ܿךyVie}3Ŗ"[YdYChU`pj9m٦=?A5VFbgxuv'P@mML{g$E XcRQaO9nVd$&"ep(T(% O pz'ǐc32K_(YlKETo]?X`SژRTWbgÚ>AT6_}[[?Ɉ<U8t|Jj-#^kp1BILܑL8cEh ]̼@^*ܺ'S eF2Nl+h~ XD^U`,~#mytVC>=?*r5{V GTUD(&i옉@4'u\ đ y)h"/(~?*.rwVm*iɮ9e8@LBj NL߂Y `Ʌ USR 3pa7n crvw4LgqSe{֪EDq|5V]&I1:,wfAl5)u%$q?Lz-qe?Ǡh _[xC)tuZt.k8\Dgn:0Xq |֎">3\ ˖5 %Owpc~' Rnj$uLbc' V,0]\1[Rx:zgeacPl.(y{$)fvܗjx]+={,/Vq(b4j(8gH}yf`liH~0V"0=e3Kש'3+Jf+Y"ꗊ8Iӷ 9b#6푢Ջ'M̦b-qP\ݻ×%<q\VBiK]ߍ1F Qy[a"DDijq`-:k|H+d*? `M.1œƨ:֕]cq5{P ,agL1hZpj’P/6pRfn ҖW~U+2oczx;f\Y)!4DRuf}3A}3H- c f<Б RsfȲ^o1]*=[tx2T[he 0-KasHF2r$|qPdUTk8ܚ׏:!RsjOUE Cq#/ܛ2kpaxQ }!-KOe{ NuZNfSBt[|6dy.=k,),g:j1O8~tyy<B:KH1]b>`KJ箙uF) tFu;|}b˜ lD=>,S='T˜8]Ss>]G (!WxcdO2NӶr훫ٞBOIr]=>^8%H)_g✡,(yE ,F%hC TQbZ\޽;(*M C(H( ^єO9gOح2֕GF_ hyF6.!0߶Llܿp:Z2*\_q h2WIdYs]7%E7kߣ' aTʴ0Wlv$o=8~Dj h 8)u-vA-ח}VN*m XQkL򍓺0Sl.tghyF@G:cgk! nV,7(*wƢ-fRL2H)g3q938F&6Lt'% em6X"<7K,EܛۈmI6>.FOXТlNm\df+SJzBA7KDAy(]̛>\N房 #0 5d$ < KF edfesInF6E wuAHA ! r}qmJTߗ> *<5H|_F- ]/PDL&L26y BX М`hzDHGQȞƈTyS6sjWĤ!\/e5EGMcq1 ɟt 5H3霢dxQȃiX L]>ΨL$nƲg%3չx$|p[dh5o#j;NFRvBo漪Ԕ㓳W1.68: nkoarX7!4_|}wKH<MiucK$ٽo)*m\_C.{Qh(ѨA9@ pRjrs& ;Zs71Au>wqL݀7~Aց>IEVn,UpD.ĘWI6n0x[>j޶Fɕƭ_w%x 5ǠӺvjb;skcm `XAL | v/Cc@ adN99;>0\}ZRԀUy1ڴYe*izﵒxDqK99q)wc3@0},:v^c7!vB#"dOohc>e,WL cyX\OuQrV"=qa:O,a-EpL@C]@'P?_ύEA;ʻKv!qIq.ڗ\kmFX ҏvx]$vH/T@bd F]rLSMM:S?h3bi6U'!gF##w&cjjH%af*4 ]8!dil73vyu*]ލ"a5q+Wvqs9o-" >|-ֵ40c;G #K8\m5`}G*D'1ΚoA&C00rʙՀVniJg tfRbRV S?l6$v2(CC~zza-0ɟkS^ky2ipdA(fq4{d` MBd4ž~!-\"snD 6XϬϘE"Bv.wN0dp1ecU~Eсu, O/f0;* f10ntl!&TIܔ8u2!9/%I![&g8N)*c]E\l<Ӽ}"4(I' ͓;ׅ}Y 9W#`,ՕUJ)UO&8Do[C$6QKZ1loVz/ȇyߛ{z)-A\1'I JQ ~PJqĭ'͡t7Z͏(|cI%Cm0j'_iVǭ6~)gI-az@QoRLbˆ,VP#H3KKg;PH(W8|h݉:7$-6' -4"~]֪(5UyV ,l!M5Gz|)_]vض\4Qiƿ)JL{H߃K3aF^w,J͖44?`d*K] -yĖ1~)_N.(1mHRrlǞBC0cy6,\)Rp`2$˸]V9f2^d$71MSnj4֪p+Kf.SV"S ' K譧2gAkT%L1ͬs`K.UDLWՇ{;T*գ%"&h|K0WoVGl6uOE9s(N5ZۋOXJVH 'ӬwTgd{~M5-U0##%y~Vuͩ94MQp%U)z VqdH* )Rr1ĔXYӴlcc@{Ѳw:ox [S Ou^]y:W3&Ǻ,Ch~4xꯐz $ ?'LXD~`ܾ#Sq9i7 dy|?Jua^0yۤC$c-yl=o_s c3bL<ʼ*9LOnĜ|4g$ةh.un*_X0oQ`j)2Pp2]u8>R!CIkBgiZs7ðe>b\(9i{ǭƀBFWd)}Fq{4 6YHmcSF(iznڗH5*? j79Ie'ٞ4"o@Ŝ:@Ƿ*(X3uP7ߝtMH6.Ȯ:)Hcn{LJU rViU9 I'Cƪf'53Sy|O:ÆiW=L moMqPs]z"\ @4F%Q7[PgxD_jL: UW"1u9Wi&Wz?8R2s޾VѨ̰p%Y"nPƐ uz"mvzїxIE}|;[lK l`uh=_B@f`rط{J{W3uZ/H_ѹλ\^`ITՊۙij֪qKS8}U, ^g ):y?/iqݪ N4DBk`v IzPh޼n*3o?FViW>P#r ϥHV/έύwQq ͸%טH$EA` Z ]"v{BgߵfR60{ah"/]g,xѷ]|U!loQ}% "NgI0**׬ wk76?fe.X:-i:8d~G%`5@Fـ>hqOir{s›}nO_~@Jrfo{*5=Znv|,%lqKif;BAFx_5$)ՅnSKَC*U1kj u sA b: IDLSLhkjZĎ ZV4sj d%_5]L:66ӟo$GAE#szkm"U܌rb6Yd`d oyrc q:"eZa>esyW4{0 RY(9'2:512PK {[\I s,pgUe+ljN {m]-:Үs;B6@R ?AD7&ߊ>w .x@Mf-e*SﵽBrBC-EG8+Y-AO݅"s*6Wyihۓ%ѥj%wB+`eG~Up"K/{y6)M GYtg1JJKN\[E=T+Y^gDΗkךT&O,1 <lz \$C9O"ͼ7?hd>i=͌ j&A8yP-/@mj2oyvMETMp m}ĭ3yωhL Qz>$]"#CA'N-DG/ݝH;v,=s#iԈn`3+߃G[X8>Ǜ ֋ti1^s8>r] 9{)}Ay)OC[ű6q߷s>*ڎT@3]x57?^|Gt536^Ơ翲Xuõ,}N|X #Jo@.O5[uo-, !u9)b8߸TliB SaIYAn-AA-ȘuH>~`&]3Q?$On rl{yle5p"bj[ɕ@~JuGINQjDu]^&;Dߡso6xc'$YSN+i{2(hX,ȯE!Eۢ@GU쳞#[Ebݿ >G63'}I1{\"?=#E[ j1~sm.Od>T}}c"X R:L5̓uzq&'pEN̤cL vӸy[5ipnIDud^–\NӛR˳ E(D0e@!I%k2/AZvpnt俎 Sjv ʰ']C=hcvv:Q4 XwMC7yp+y)v՞"柖Gw!vT{|8ǓSD7_4f 2btf_iP+"IFbt|760!%%6f7-A9ՔE\@zE"!1 |q1CɵKWXP|HƙGAsM`n_ZB.k?f6tF@[ьnu$yRyϽkp̲rzlɇU ނfiLVڲRN u]luxQl*at)6oht;*N*~[eT9NT"خD%ձ@`wM92Ə3B6X_-n< {>e#yy^ ƕj:(gZ xV d š4Iw?>4o{ ~ )ðUs-gyL#?zNdv#D"TM1@dD"@ 批b`x~ eeϒ-Og8q@`Kjg/q^(e039 V$VM uQYx tLO;|WKڃʊ)Ww0VubxV{r>X,t]oUT}:7mS,?e# WQVDl~sa=Պqs ?6p_g/?e困3@;%eX-5.jlX" X}^zԘQw dSO}hX}э%@f=VݺJb<գ:140S\?1 ֧Mإ7 >!gS4+.kP CKR Pv1bj~Va{P|^~Eđ7̹,|GDb< s 'C=&1~DXs`+q[E5OBB_>OD%"UQLdt_ ;,N7gQ%$j6Oy QUN{@ Vr)tGQk+IWJKeyqMShJtweJl+hW*WGxpݐ+|=\,k`\ >xA$񷺗19'eL4VO$ǾMu@IG=.ěf}]V~Gܟ+=\aC(1 @ԴiJjEEH'Lm{DW8$u\7N]M}fBdgR*޼?'`.[2TCK.:kxPPwڊW=W$0D^uۅC;|ֲխAo \UBċ_cL9Ξ~G?"eK;0kl̹a;P*JL gh[Oۣ+W8l h賨=Ҏ/'@5L(gm!m8Z:,1䁍R0i֯j=8̥%FY!Yk80a}hv5c o .:+Au6>8BZ]f9t!˾5)~6uUѢ\7u݄^y#,]3% ɇP.#s487wѭeTqCbje ^v:T`MX,Z MzLˇwC`|L&@}KjMmbǚmګͱxE%*gdR!ۋ3dBSNFVI{NܚPs8+x>2gcݹ;A#^e2rƈr H"b}1 7Ex C/7V 6S ~[;<ѧZrk bml5|(J;Ki_ƺf`} +Rdj8O)ji!o d(aYڞt SjR3q#$!,d{&մ5߱S D>dD  r5e|خKـ ٧h.WN{@NG8 ,F~}<s&Rp ,x m+*%)[IzwD kKVɟ"-E,Xg 9@j«,:k`ifm@sp jyґlvvPEwiaƬj5ыx fl17)EF_XD[x+Xw)o%aDt f"Ic[ 3EeIV=^b:L+ao&r'4~J83vCѩay%X<œ4O4f=44  tzڄ.:w49jT|"sÂ򯅳>Rzk♍=1ߦL3;x镍8tÑay>5Ʀ?k"XS$9^n14 ,gil|NxJÃŁTj Ȁmy|=w| C8=ڌ86P,ۈ~)z4?ߝb~}?^*t# \`{A~{gL% \=~X`q 0Jv7BiBΜ52U|S#2^.*>yģdoO^hOQ!|s /@Rd%+11O['ӻ>#y:ԍ;"M9wZpEu0.KaĻuI* ^ODm?ˮցsW]SI&]_,(Me%aOEֳ5v[ S?T:S]/V$hP^&FULJ&h%\-/.-d,6@wTt#~=ʼn(d2ǵY|OO…Mg02 5"̷IC͋q=Y2thzgqn[}rLZ!! < ѧ/+m.Zd W0eIǜjMҲ1)"$M]!nP5+ѡy=(FJ>ˎ#JŠ͞IGDEND`!,gTnܢc4b~| (_"i K1Ig]@t"0~`6UdQPy $+O5LbWe8 MKBjA s̝;l fh?%~zlBvpEN"H(( IcUGzr-{_sSWeHfp,m 똪iZ d*3`r_U͉ʾj:Jr>؝Q`g 6.:ynJZuŹra6S§N x^wha6m'?ֻ`4^!pU Hj͍ۄ7W#3ai]/0@0؀ڷGg2[0J{et/ࡪI`,jBշy"d޴MIq') N+p$Qnrqw}PVo߁ty&XEԭ ?`v3eKYo,ʈ=] YmE$מ_k ;='w,A|4Ӆl3$ļǗ, 2TԸ\[/e 2ix 1A4Yoܒ5sd+&} fiL>%x vs;'%=@wΡD+!jt[6`X]We UbAHpY9 p1VN`wӮ@+pٖ2twd33Ã6`ƓFnmidqDmcjlnɅ{ta z4z <*HieRttqӠR{`QiZILsjo\*՗B:ɷG1oZdo1_v5g'K1v7tĜ%pe1 R*# ǖ2s4n/h@HbI 2ev_F1 ]B^m xk\⦽`@euNFMM iM.O7;P5f~6D/'6ÂT@VPvm?.8Q$gb\Ot`s#}͑g@(mxHj1~i{h3Ǿƾgw&]@JTi[4ש25E3Mw8kM:,>J,f|o4v753h1Kl lA7^=4`zπSD +-+{pYo+O=$ͦjc 6p? ۔WL%&7-s6$LC/{|/Ϣ_ RB>cąd~~_+N9(xiQқ("^.]+j2YQI$#8\ՠYrK`|QϤ}Qڒa,4/XҡM9u8P@‚>SkL/-WziFR%ʺsѽi2ssmƶy[.8F{{]ŝ M]:[QJepl:5O6=p9uZ[dsXYiJmQc-9~U0 cяP  ޥO8 :xBVDR0[s @S<P]e L*yf^׊ zokN$@qq$3V_kmB.6ܞg^Á$Oz Y?I*5ĵ}חl*B wҫNH4YBK$YCч&W̮js͌$Af|d j7R~٫z%~|})uO}#,"ֈ3K"бcpZWEZM-\Ug'-ّ5\Y9~Ooߒ^#'sP#Y't ڂqvJרm`?hWps…w .u;VYLnj_#*cEb݈.їl7w( 68XXe@k#͌΁44ێlg271?q/ҙN>+ BVnF Z G0,O}(!q:0>[T^A=XZ־c,ywC<* |ēhȄ#]M J*wRy$]B _$%n_a-| e,osM6a"O`Y>[,kR-lJ:5RHh$"J; D=s* +&8:42 Z=0=K.GP԰ V;P1eq(H3ƭǤIQb$ѢD$CLN5;H+ dێʁFQGEІ~PWtw;lmrn1LgABX'( lRFf6@lV8`}Mʿ8{/~&qoV7Im[F;l݋-{k Gg -&zt񩁛ؠiUz wuz;Z#d֣- 9F{ nE0XY\>ʿ5 ;. 6/seZNҩ8qo{Q[8_$a߹.1h>yl28\4rE;e&'`Qw਌SCG? ̨Lr³4 ?;w$YlSN(# :D&V]S`úaBa*ٜLem 6zTUR9ن7/r0.zVs m.4&_@<`G%A8 ܎H- nG_h$AQEP˲B ϴ("q)wc?06KIu|5Ct}D_iJV|{pߞDL[JRq WAT+ʺ/owJXEZdVXNP7꺛5Vm@?@ eʝ7J&XyyE Pp.fa|#%}OPqxoD@:eQ~^L^GQ]gǤЙHPm&HogR=KɀI7JlSE{myz>y%* K^pyoiv(N%H;VXg:!e E#"F,9E*|V(P2OMjqˈN{'|xX3Xf ap ;ޑ'=ִE~ 6eyu& ou^](CVܺ †k*GLV}~Wԓcې0KLM@fffyI񦋱A61e3 I3l½B`#oӟQ?w&v{⫺goL H)WAϣ"x"dYDค jR7!ꪝlav r+zZz}V05h5j\Ez'0Ed~y@= 1;t/0F"-n׹^ps-F ;[_y6]џigA{k' o'2tG#jZb$@mJl;N.~1pӘG="k*h"P b 2o^JHFDJj#L&Xbk>yg3UpN]{rŔi0٩x:GE"1ؠF]@NlL]}za)Q vČ[ w visN'L4q[mW^9%>pWmTzByaI*J7]6jHg{AwӺ‰"ypcf #FIo#+5Ӎ?&#/.oD[uTxElK⼑2_NB[Uʲ}-Y~fetx9pR$ C:I4.V 8vslZU< > t *Q19a#k 5ﹴߡQPui]ev?Of(AHќǣɽW&lO h=E*k[vP4B@$w+(D **APɗ>1p*fxӣVyvvp%wmˀU 7^tjJd_d[GpV21TFܳ,<#Ad}!8O(>YH޸"&'ӭ6wkqY RyӨ*>ꀀ$EInJbroXƙzGujTz 'WmNa&Gnep6S|"ΉRHz\lQB(՞Eq h1V҃K<̀^id%ޱd3iM3xZX/cF:sId.Ig'ZʲJ%%]"+=>"N.exi{[rb,S[o9Gbt(k9r"< >θ(ko3g8:qX/Ԓv: I +Au)U4@7BKW E7Za_ ֶK QuiP` ;>b 8mCP ݱXNhn<7:fč;:@$U߾6uF4Ck©K (I\·IlՑvT|_sDRJsmt&m@7>:*vȕ Iq!4>6j}N݊|PeJ~> Jp&yBgPi|paƊ\VN *KϮT#jP$aBODv%:t"lqUAbn4ZoŖ[áW.|5#cxVjFLY%89a?6 MuyPT;})HDv>즂L`ڼ(Z!tiW=t ȭc9"k(F!FXB)Zv'59)Ӻ n, H` b [AZ:WZ,ʭ1nQ~o*`c+͚)eJrK*j*XC*F:'E=@.`.|i+Xd; ᄉ*YJ7EZڳ,3K[T)I }:8d`(!rL EPCeы6K2m m}^s}.8,4(r7%Zm%pzB3=lJ#w OƸ`3)ˢTj"7zf%ֺ@@W6 #Sq6(v \=(fGNN9i` N@ya6RQ*k렄9bBu41|c F3<:x7I3ȯDl*lپGrOF9%٦0XfH L`jljw#[VLdC帵|k[y-3Ay Olk5H Ob%!ou^@Q'l#{.2b̀q]0í `qmO@ <JQOcՌHՕNUWXdah")4m?ZGDg5 bϪc%Yq}(m@0T#QYԄƭZ1vMkx,i%>0S6ktՊ{K,'xmfhR-s^ qKp\?MQZB '##7L]h3,O=2xc̬3bDk=(D.q(z5.5)#]l%uč3Os8=ax@Gе . $o;6KUr ľZjx $毖O%. C>S qX54$z?6tdEv6^{rQQ[mà黲/h}jBt*W!qD2T*l|gYZ7901485c7be4d34d82fa27e0659abd7f09d5a779f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 600e22bc2edc8056b332800032b4ed87cbe79023 b5fca2ee9cf9ec4efb4a475253596b5e00e0017d