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 !!5TT ; HOL-Nominal-Examples:threads=6elapsed=363.017cpu=1364.836gc=120.644factor=3.767zXZִF! z$]ŗXf1-q恈ބԍW_8FbѴ Ny#jꂒ`ZܼPw6V#Pb EN :7“Fe\`&/1|0$_"QutVx ^bU}h:KcDDH:qe#fU4SRO9ڤ2ދ&իOA4(hm%kdXi {{4P$ +<@[{$F]J{hܸo74psVU0|7krӀ/$1YǏ 5 HOL-Nominal-Examples PYɱ^΂To6tnyh⽺>ܹx#͒ٯ!,_5TQnu񍪥U\GIVo,";$Dg*+\KK] @s&c7Tp+6{8 iXWkJ~W/^ HJqkSx@хo,x0:J+dĞns!:ǵ2xE Io&8p$CPк6bɲ1GƟ#dɿ ʯ\*gY%)FǀsvNvrKֲ~ipP%Gc]m>X؇"lofLZ?`Ʃ CZ S n´90ٻqmji^.s7F >όƢW3_cŞE FYbnCeDoe$e45lgNEa]=-V.?"T8P놜<'~/,R"NX!z}GK+kq#Vd z]g LVx,S >:]fkQ%:!{Ύ wx&$-d#"3׷kuhY]?,#"F|DoLHG+ WxF.MƤc̐lX-ؑgF.lDxd]N.I( G:Adܓ_ˀM0q%۳WH?c+/#c둜L%\$TIW`h !z__6`Ixfڈ5c"1Y,z*SϡZƀ ػHݾkO!%5]XYY{T 6yw4}-WO@ V=ϗEi){fc3)s&Bζ"R} \1LBV|R:ĺVak'~21XEu$qE 򥬮[M}ME2 x5rLE~Sf5[7 GrT4.MC2W2 +nz *l޳&Ùd*D_{aʽRXu܊ڡGB^퐄D5_B]n֖$2j}s*rl6CxF|v:l+zh-lFV;/n :ܥX !IcAiS ??M4͡xl9h.U̡ ѹ9b(cBwi #D6=amz1+IE}jdsn/TPh2"`%tY2vuꡞ1eߔЍ4]AoKlwUmM1&#ź\b@6 O9nDRKU،#wu_i}]<6K᪔)N@ۭ>0@V?DCK3? sc9)/N~|m;osqz4s5۫.b]C?mtȒ")^mҐ{I#W]Ssb'[nM+bƝV vp3s VIᣘ=rhy'3:tfR12M⾈^x js}.4FYFaegl<-F>{2x ȳHp@)#n=TX9)d#,xUbu oIތ\ aN,?< >[KŵN\@|c~Fl(gJٿ!#{|<GATŮjBó"P|u9Jk8LOVHCV 3kE!s&TC[FT4A-=W]}] s8(" TFA({4%4{K:A: )p\cbp4yGK H%3ѷ(Q ĥ5W3 S_'ؚ1jR!w#SJwʬ Lz1;ɨH 2aI%*U='ekC) ̳3:Nrۖ+pV>q뽦;j AQ|lЙnejQVK/<4 a9 =SkU /o|'6p(0mNiEpR߹|HBϝ'l!#& !CH.rYD̈C@esDP\-7y*ًhr'&Mg:(ytqǢjP7mGre)) A@ -)PjʼG+@k/k3lmDc;en^o7ia]ȥ1 2 6 0 Ҥ_MnݞzI yw-lY hajP6)Ftʟaف6]/NuC4ʆLGuմF_'9rt n_Pch'2:m6*sb" E?BY{ I:K2]f>=>!!P hbױp9T>\:IbRس_--(m&EƊCk$OPd/]Vo,!m_O "w6_Uz뻅D[}D`wSB;YSoe"In~rj\g+ }ND‘gn]|=EsONsjXJߦ7H ;ŐK-cp+ *X4ب+ Ar:.rS稺'/eiq6 xYD2,3p7^mЫȊ4鴑SL/eH,C3&\o%D=8#a#/n C30f39S!b w_lR??CQ;eKΥN`Îgfn+~bmBFlU Y7os'h\@$ p:~(]}ۨ0#pJ<ʽkB>Fo\(TFUdݡ-Ya87U 9W&L$$$\}KjQx kZHT9][mi<0X'\ih12GFz)|VuK\EaKIƥ'sO>p=մ8xGwLUŌ& `~6@8&TRpj3; FYܳx2W B/VH^o/ΕDžT R3_\laqޱ(MLQzguvБt ͵)gu* 0íKwD;,#޸̹i]}'̏dWy .  /rްwHe IsWEƱQm;:hP:M:f)+Q>h :} 3XYߩ+t7ޒ&[_r:gdHiVcN.ϵsgEu8` bk /vUYkVhnۃX*bs _V>Ztc/7L!d(KF/ pI.8?X'Tu}4b!lrEO|:4~!sz8_؍8MFL [֯pAL B,0\@h rьKs/m5RlKb \ApP'U=OrlzHAhLee!)2i//EK\@sN rMMJ k.$Qlrt0>8vD] zs;y{ VZQ:k䜻3vd %,x䂠y&KCVQu'Uce^?;46&xhRw$DfB T?ȍw~[ IBs`DS+p0%HWbר4q=՚n3Vi ϩ0Z.~mJ!ׁ99#3PS pB<"*Y mWƴTO۝B!TlL-]nc*t F9ȟUɬ+*V +ʦZD!hwLyVqI`Pz.f(̋юwͪ2ϠJ 3Xာ]F"Wzy?N͌P{?VLD@nJk^J̧Xtޣ/XQ=L߷!"]p| jĒU1:(DCp+/b4Ecdzajn/{Q/d3ѸyG6hbX n9MuϜW]s!ɺOYl%YhLwJߍOy&7Km?% [b,AQk.摡thMђEloI=I㵭*%B 0+E01IqcNɳ \Mvߢ s?0xVldř *CvnZ1f ƗvفW@Ҥ@?Dy*7CƜ YpDgmF^0X#(Kb g ,Bx~r U FAڪQ'baݑeW*t;55XrN,z+w&(Ӷ3%X]!ICd:_8_OT^?[7sK Xr}$&?]ςd8XQwɸx6=֮.wt֠ R-[pJ,y20S$f3IݦNc:TU'VʉBh"&RjN0 .Ey Yt54Sx4'yw4JV1ZWw͡"E#8mYpkEJd%BV8ar0RpT;x9UqkFV4%:TTԄ#kRmz Jޙ q'nX ^PkPhS%4o#ish.Lc.I|᎕1MYy'U%]T, @'Iß|- @ U#5$ݠnD!-x>r c 4 ckeIVgԽZzw{G٩F[lAlqPenDCλ :/·E=0nW)H w[myv ݫ$ |я/;-$47y@:fÕY$! Ǜ\UMEFԵg Dڝ؆@xۉ*%(ymXhW&SA ?$:pH&&<3OZܢW}SĨ~hQ`Nl(SNd)ʶ*ćʾ0hl!]>G(KTy~ՖcB$ݦaC[?L2Q0kCWUhsP=e>UWgNqz(K 5> NhAYBcn9+X? L!G_ 2rh*byi6m>>fRZ:|q8"ek&DjNm0|\7nb}{0<.ޙPw~m9H& =7* N<!A# k08%2qT sdg;CfR<|ݭOo'nC#qeN[7h:β %{6E |yŔjfnH?.k Kl-.G5$Ѓu]&Cu*gy'uk޸皲^ 5p+qJ0 RH:O/qgxԶ{N8|I^qKx'ݨ(&n0.{OP4l8/*VX'U\ {B 6PLLc;-tm@()<"qaRɨIwSK0Ɯ7⤵ٝe -i7=};d.RrHw8^΃O:fU(?r>vSw~д ƔUeez>lI=u)AC^HszQ9/ &RJe.2 ; ȳeV%n^)y9Wώ* z585:$џ6oLsV!#=GaZ۸o0Qj[VCFrMT,8$/W39]B-KS"9x ,D̦YK7 81/A +=?3]yRB-sB`޴mֿPY0*ȥ&gBFwOrlzup~oH#1,LQqo 9o{g;yimGLQ3]v3);pp&tKdu A`@t=R}f+zM!3f?l1&8T8m20wUENY652VVtpU89H@Y(%@Ox4xɃ,Ǡ6״-;!Eȷɡ %7 Eşh5͵ Sv3=e8ѸPl ]vBƑy{bYޔ(<2c$d{ĄiD3ፋ&A'WmcG.b4iovVkYFS lAHOKcLkLM!,y :s<0zX3mIV}Q0-ºD@:IpwɸL=4 rV_tL̘؟IavEvMB#ײ4OV.A>՘vGm}K8]߱yW\;O끟-5TŸd;OGxS2qH U0c@ PBZ4ɜi湛*_] g]G_%iN D>- SrHŠZYFb^$E| ,M~හ<~䨉0]~BkR nw Rmcw1\9EoBxʛej&"b4[s+Y_gˇ$ N8c魊S@`\  W`aȼx_N|)׃gTp;:"N'XlE c"Msrt;j:gY0e߻KƽvW>f5:<;ڔ tU7:p6yӲpLh.YHyyN|Z4hTtna&',hid7@ŗJAʋ B1~ixVrkйZJk6ǷȩְʰV<^7wB>3fi+4>CTBQ Q"_Ywd"#Ң5T<3ܥ2-dʶ_W~iRJ;J;2e+מ kg1.]DSQ5ӊyk,# NԿ2U¾8f 5 /5m:(0-8NJ8bᓢ_dtp`pR6IE3տ8-1ӗ\k$Q>]/ yEuheLyFбeżm  ApfQc5u!+C=}= ;dSUT&7.f.ы@W-Km62^$$Bl#2͊QzK-~8 ). Ӳ5EuB=(Lqf/9@Ƚa~ ͋ l4nO#::=&Ҩ.n+ =Hc*OM |Zt <~œfj*p*j|ɳlDh\ j!6DCS.Ȟ`_ 8!a0ЪPZUyYn D@/a rxItp"ʓًz9w H C܅f0c%' һu#o,Ũ=@˰m$g3%o[ JAXNjV"c*+2k~nڈ N{.Ĝ!%eª3?5^ĥ$vQkd$G$p/K9W3]~,b~&I^l˓GZzl{7{C(m2O&ܢ9wOFpIa>a b"mz6PNQU'!īzO_ݛ1J{;1nWۙsK*Rj+S OFhVܞY "ݣ$T앦9F #C,fDAqcUcZTQ?A+N6cGeTvK>:BҾv&$M$wrd¿!m#*Z2zuca@ '80]hL%fiupj`$>XjkG*$ :ZuI8,(պe@;:>0gѲܖ-hЇXa>!_OG c+ .)D(> ܪ/Å"O(\ZZTl%wBCҲǽ}% W\.enp8v@ AoNPWtzmn ь?N& *'lvu ~鋧`JpU%Z"bȭy("< 4 t##KV-f~22:D406\W%7[G B`+rdieH}@?(7ӚXԃ{NX7.lJ:@3`Vm yPWM,!(l¬\?X;]rp,78O+!ݕ[ eCa D!By$S"Y2LLn~h q.0m3("WOGk/B`6DRϐjm}?9ꊭrUʚӲyu,VJ$EITRf>Tɫ \1oU~LD96cMZ.oQmC\ت"8W_#b׶n&YM&vh2AзlB'4YQ/1w둦 T VB0J0֜w1wqsLL (]Ҩ|zU~Hȉ9>d tK<-Nyj#kQ +}q '4P񲅺}$Y;T)5(<(~ѣW⎕5KwCI]yG,7U]#!CG!g n>}"km] Ja:Pٵ!C yџٍLÈȟ,={}GWÍH#3p+̡SHgQ,~ŻZqeJ5?hHtKx2jQ&n#ς*6#abΧ/MT?lj y^RPhU/;+vx%[t"FcǾ\b{oYr sw)p]%l-7-@ezJ\\JV`2~Wv_-0)KX/Pw\aF#I c}s8.(̲w_Zt%>z[3(/-oJ2bãڲSXXR)o ,DqLC=(τPh09{H"`Hs;g?.dbwtGФ`0.jk^QwD^cwVV$sgM5!VFi&HSh%ņЇs"qEHe M9Adjwk-|hK7pKPUCg#ᐉye/J' g[xWϞ&&]"'$+nާpVrB?j m=ͩѨ y0nF,70x3j)I( 3fLHucո/l6-Zc'ᐺ`h [[u*8/$wҞVXAl`@ YX{IKp>쮴ϲzM.* Zf[`̙)Tc`m? (R^M" j%,^³@U;V &)v|:@$Ƒ;SZ\c+WixKg%4@^E7}lʣ#5x(*tۍ{3= Nhpք(mDENq{!=rf&ueqK #$l0>, Ri/ÍW'Ӄ)unQ+|,Ocf0'U1rymѴܸXx:$n;Z u?QJcPQi 0SGH,^$c6YqJT^4p\簂4)i,0j T3hSrX_*_E`L (]5sFF@"΢i%pȰ|tZJ \54N+] wBO|#O]HyRLaą,h fk2rj="ڝx oڪk\ Du^7`[z@: /Wc:d^1DR`& +^L>M,gMhLwjX}_*T߳&\~wvRa!S9lX:x; ,[SǛE$GܰnAhY J,(V,\̲riߘCtG,/-qny !bs/ -8o*Ɖ3 Nq9buCߝPΓ V|9z\_@IUbN)x$:qR{#PMh. m9!WɰƿX= >@z\@:6!:Ύh^{޴w|xFp9悰 %dr4 ʀ|r> !tslg*X/d~shn,禜 ( b]RBo>pqWn<xLR &#Sr.R̋9 R Jր뤹,ڏfONbqvmMH*F~cE4oowr=61w, i)*NLX䡒?zcCk 47RrbK:TOI~G>eJڅWMRӀGZIEh y$M+,,ZI{eքk/bR6k(A:]` izݏ;D-b ɋ5#֋5BZL1BWt^ptF6b{2=1`@+<"KXEQu`c~oЏ +~$~y8aD ƍ+򸭐w!ֽOCYYs+zW4ol/qkA=ƫtm|U^O ҺЙσ9)U*aeJYD9֕^VY ^6>B׆ޓ?5TI vl]!:ÜfEKt& 8ǫ*ys! {6s302n:3Tk eT pu",Ma74'Wu+Yk8} HVވ$m~ ׇ@@/02QX^ `thM!brKbM89OYn:@*5ܾxݪ*sЫDrF| \fL,O;G\$2ucɕN[:y䟙'N1iƳ]7Dԏwu~ۺ)ȖMd 1U!gcŚ;/e;h%[T߂AFRV {mhO갭wPހ \K]6Ž9'Z5H2QsCDoFk2:># iOQ.L;8(}/bg.16A~] %1;+޷teǐQZ9!±|"I!R2Dzƹ` =ފ$&-Eq3R8*;ws~0X+#cb#M*'d*_&.ӥ{aiY6#%g̔~+[2%'fl|rzn~,}>?%w%xuݽ^㈚l'ڬak:)|Vr?yb_bkg;Tv(\G|OK~FVJѭlUulyO }]vnHZU𽕡j&8[ee@ECqom|磴1|cʷN$\3g38}5=p%DN)%H-)  9VqC>?wc"f0U2#TH &|H{&'ݓbKV"pKX2OِiAZ0H%Rh8Ѭ/΢LT+!C),pXTDpx,qy/"X$%= կL}a\J'  Lv 銈h\VϒMɝ׮A1moy9cw1F+jh\V? tˎ 4sGZ!ٕ"e1:jV('īW9|ŜkbQߡWO ˵oF׮Fw7 } ^5N/`1c^.y!F ]3Ѧy|[/9Ү ZVK<%\٬8^o,v'w!L`TC*D(X%Y@YW;@S=mӁk9e13JEdOQXXRR9r.g ؕ1~xcLybx Mڮ9nW!V o '~Pck9g3FgW_akVi9 `\]U&LÝg녻}jbwr2w~Dێ3&NU ^$D-O|yx(FD Vf)c;E V󒢐A0FEF2m/Za~c{>|ߝJg ݎ = Kf*a"i!ǔS\HS`o$#p.~֬pQkZ37-C8k'# oKhVb@ڦAG&-2-vcJ'=Kh3$DiXZ{h4_ۙdl4|.u@g:!@prIbϙ1oQMX6nɮ&vƁ'_`XqWLxe$G?W3'8>`hԳ*zYn)Ìw+p@؂"ܴ0}u^99ZtГNo vm67X&פ4"8QѾG1/h\4Z| nبЮ̮d"N#=!-Wӑ1Ϣv01fA'4dvoI>ܘ";\|n1WCجMt*j>b/^gx_RB-FC9c (uov>\KM܋Y(oƭ<53N.ۚ"c: A/VԩK]k $ub]rtQ+{fqzy]H<* 3D}oZ ..څYnsB;2 ߏG=s#LudH1rxkkˆ^v>VʢL.L79'h榚g4d|MDqRH+zzN|g=kE'LTr:}+x-?b/Ԋ^L4Uޭ)(tYF~~Qnfv}׷NLX62H¿>D`aC}I\aEcFt5-YaeҘ{О@a [E˭,ynPnAM&ksX)R7\jJ RpQӯo؏[*ڪju!! A&ˆƇ6~}s|M;L"~A/u6{P4#by6u ?>I^k`4 ?@Bڝ?-* S)]!zRJ.9dz$L1ŅKDp^A9To1iiK-ŋh"crt:K,!qRq@|} rJM0Lt~5VӀDN 6yilM<ջT%1њoJ'Xpw@횩B~bm̎4suo6a8eT&4&.Ώ&5UL(]0݇EL*cE_nR ݥ|)tW+g8PVte:n?(<"JŤ; O {y!$xƢ Xa!,E4^$ si;O -Ƈ&5y XgC: Ǚ,ͳ 1I9ፐ]Ióa~b-ulvsܹpA1poc9\cu BHʲ e ç;l(=k 쥭>B62TjWe[* #wEx<) gkH6=VII3kveښOgZ}gDN듻fk(SvŧAg&5©dlAʴh _|^X/4TUy||h&UIR1 φ}-14da)#3sޯ@fiqr, øLԛ"Lp k!ᅨBBrr6Ҕ 䂀4x.. "k(^L^Z?UP8jBIvWϋ=ŀ+\*o6 WЂ8%C[W+E ?]n `HI_|yȎur.Z#>eMء`i|^Cq<QXǦc!v-_Xld.o -9^DNJ!28;TzVSЉ}aQiDscT:A߿2Ё ա }~@N76y+HlB:H>Cŏcr&N˜t;yZv 27   ^LvW?n+isª0/e/;-~N4" p=Wr=3YmNXĻS#erqù]3r(Wi/5.4/X"X 3PDsVhր MR<] M<յr3(w%m|$ VF˛B#v ̑o; GD]"]}A?E `U iexx+.qe_ o=!0AE$ /|SERusi̛:#NXd4A"##zć1n䤢9/} l >uq'*k4W5d'&3MR8Y/auNR4}uxM2q”>1,ЈA@` 6h4biOM l+ &=W} @#liZ#1H*ӛ*ZWV%p@VTPXBxR4e[18iSībWYvzEנxg-֦MaARͱt9g A]ѿUL;wнs'ugHtޏWi_{U[زp&Y]aSuhn0q:r iܪR~Irzׂk?C_u;f>q`` XO{ۄ-*kt|?Xh}gPUADM+imBӺP-2؜[7fג9֚>{pwϒn[-oT %<`ĝpHɮ!9} S+&h\ &msF8_e@ ;E+Uf͇jS$r ةUҕg4AAc3fK19ڱYK9'/4%كZˍnܑZqИxd<_䏼'ؠix B#n%?s ;7A˪gL{x X9INrV8lrB*^\%rی^r*+1S~Kmv_E[ ˶ e&^-iWѤH S/ŚD$jxexB074k#(&G yڷlr:3@}N19h5|tt́3aP+j,~7{X/^ r>ۉg"n#6gR R6@u̴NŎ@Cq.4KLvID2[CAMD b0-ppb#5h&X~.$ lT:LH66g \}7 Lg){êt0ov܅`SjFOt/Vd/{S`jA]s *fc'8t,DilOB#xp Eσcq.|M吴 ɖB '%dG, nWz"V=Oa&1qYV#veUh_a+R"9AXg,nD?H*} :&4/}Oz.n@υOcו2t}mz/kϷOL; X>\F"LL4{ Bvjq 5;?U 5ORAľ^&]|AhZ.)s? b5MH|}[!!Or& w;eNzȑxDaɚB拮2v1ﱄF[wƨYΆ%ʚȲ B"㵷,|I|)1+h+ X&e9uɺ7 +Ie7Ǘ4ђp'Sk(?ۯyo5r՟@|1auvVnSأ (; g]<Ӑ룓+?IۣMH.)󌻢sMgfie^1%!\kcƻ^5nqp+jǴjSx₻7&^i|p "8Rwݣ]Yvh1Q)&+`%VrmE" DvZz ,uߺ-waT&V,&VuHVd]i)n,_ۇ'JMHf;|yby"d R5\)(x#7fKr!1 O&X2% kNE=C]у66{C@kDѻezV!Xs¾R==*Ɵ5ovd/S{# d 몽p&}"nN Hcn7j ]W,rɦ0˨ey*BڪF+.HUD1W6:w""qƾ$=qDRGvL,ݜIp_d杽C֟'Zg^wB U`'0Lt4Vͬm$x{*Kz" 5 pV 2Ę+`i7@~|Òb E1@ e k|f:v~zxxr1q.:c"/u2wCyH✦cbV~_7Hy28YΠiA '4|L?ZĻ"${`[i$V"zr4fHjzCB7J,SK,Cs UK鏒cO)0?.#(XAi?c?탘#]oNǬ`['_jx ӐM$( k^|Wb{%5 ! J$i"n(]ƪ}KRpjT#uE Yz'8ȗՀ:ROu$OM >c0kzv=oX_t_(\K_bb:uB.BXL-8RbM:ٳR`H>c–_C*"C5KLM%q?+S:<ǧ KeS8zoBhusY=q*2 $t GH@)u]P ݅2^!WU _^oU!d-kmbDx3.e-WcꋷLMD9KU~پ#j97 AhfW0 [d\dm*:hs. ;ǹ.oTm=#/ nq,}cK _}Z:)LZ@\JيvcB L%ff@R4FF>S() !($TC7Tg q Ep2DyC ~9'OpEۘ3l%80 Z538|~U&u>M9 BxMC 01\Hivȯ tY P >Ҩ;m5[bwOHqyUCNؔÝƥ/[$4m!(ku=3͸%CH0 X'55e a֠QWهEF!PXN pTc:qɪ5%@/O]1vf!nrP)h'}>y0,xGnos -Pǫ )R.ӭ[9cbrM qd NgKz ԢzrwFNL>Ea6!7",q>!⹇O՟ SZ`PC2[:i=;?A;z%Q6 N 㣟=^!{uP#{TnMyZRiE'_P8􎸈,}0z=-m=k$Bjdor5_mEju |l(PKPlw6!8C9wpfcZ՗64}M#v {ūe7;bp1A}Й1] ; 303\mxaƨvc:ׯ|WyU57t90'#6,aP{#BHeIY?qeURUU9S"Lm`"=ɔY\W"Ʈ/ah@HDy]u,$c v 3ur X~A!+43z ,@wߢŗ}QoLTʹJA z" .vrmFBLSOH7;C / ZA_ӊ*va,uz*Nks!i1pytlj-1Z p|ݜ؂ǧD$r"77F\KUiv BLr yQdX!+C^UW ݤcEk}Td&B\>%*WBm?"܁_B鞵\ d+;F.M\im UzGhw1{ŷh '8d4 Y .x4-2F`_i§s<{ܼZvv׈Alb5Q*HNC Y g|ci*Jp#,leU?z3kꂍJy.솕 cYi82ӔG$k#. QZ_+E6Gt<㠾Վq{X5Bc4EnepyF@{+ VSQM@UH[4dpKҭd5`s==*s]Sn8Q>=;J~,/CR5Mej$ps7~pDqUz>T 8UB ;>Cikp,4bzVqE;*+`ѕ7OU)8`eNsgYZ7zXZִF! qU]ŗXi% M3^Z+x #Caܟd̪ۢQ/osͨ+NTs uT1rN/C2O"nȽ聋Ͱ۹zXm߿&n&F2O+4L!Y>¾ ^M1aoNfoEU+8;_4N;yP&xjL/Pu/<"P1\l_AѯžyCrL<;?ұ!yR(tǶ5‰z>reR\7dC: R?nq>&HitE9N 3 }±~T얍s/_fkWAX?y4p*f{`Vı¿s9S5‚lhS$;O>:޳5*fk9K6䏆?.Lq)1"nԣ$V{"ygtk*ɛn8g ֿiC#u|)PҿOEaCps?u_aI%[gPew/tb?vtMs[faׇbmF2-T& D>L.I%mp"$K։<0&V֫ee/MV͕_Bg[ 73-FR@B%t n{<^GF1CoIv#GUå);k%Zkʹz$\Ԅ28OE~( q5D*߬qFD @Cߙsot&h7hc)1#|_y?*65J >#BLv*qD05a޷}+;J5#OXzfjԯc3ZvTK>K)O05z_* %~ɰbO/68L#^U)*t\/BPikCZrK.hYZ&;UMGVE5)(h>2"4Ld,S|_yɃ?0aEu!TfZ8аq4Ntժ87+I.F2*lɞiυ$6 gk̂+wD&^@dO .5ȯg]hڔᜂX%2 !2*R(j`$G'y"IFA^];+tk4xr;,OGA&$N7qG+}hˀ.\iC6(e1}DNhd_TT"v8J];-0nGśJ k*a,a~rzI'Ņu0hKȉ5vʠ$<%h(4׏O>ѷ_3hi5vl[bdU zlM@B?܍hDƘPpa*aGӘlؠo,Tki,- &P8?VuaJ h%?yOx"8CӤPC81i)^L|GpqT7I⏬*ż{ol6=ZIxmJU:.QC<'2$[^qzγR$EXF(r^=h}0"o%v O -YyMYz~i, ">J,Uzn5h!K2^1XҸbe=K@: m!`"_lӤ(MT/9} Pi?:Z <*$ 5(tHZX׹@iΣ|PgLR#l ͦ(4{&&FKxQA-#T3o'mߎssim6EOď m@h ?TA{(l *RMR3k 伐7}TM:eh\E~go/,㰓`8D^q~4H[!u-$/o'T!YW41JoY%ò|c1sƃV,b{ǷEqTƊWAV;|R 4a4ƟQF[ '`IHgAjRl1y834 >ŧcs%F|Qk}laZ$㈕kleF`2- sȦ^DYpZ+Mv}%#eYM=< E:QT#݇+)r+Ӂv-ecN~|ypQ/Kun3qJpVy^,H,}(ܿzt,nb>,ܞP V^~7O۫w=xT¨S/ښ7@R/R=e=q>Lla!,]48$A4. n &r4og)ч\5$$4XʾȯA\=+YF&qLzAenJqtR~/ZD}ԈwB5eZh򓴁u+&ZvV)pC5`0DZeO v:V9i+aAhvπy}CTK<ߠγ@??0D ̱ _jrhCF[:.@/Nl. hA C썠-ɈGsŨZPSBTnHУzSu`=`sBg󸝎JH4)U^M]GӓP Ul)U1QejNJ Kݮ.ոO *&f2SUv=  ,mw`)4`s6⛿Ų"pv (;hYk;o$? Dâ,SUD-v9kjٜaX~)1 7uEgnb=7xy?yqݩ5LcʜI͈ N fץ2@ Bڤ?7{vsY6 b^fup4zR%3BlR -5<7ZsB}bb)[9Z2Ye}}6hcXo/b_j+ sI!{^zU(1 B CǕ$+DiH) aDW/ ̝m?ҳjM߇H~xvv0xA"-Clz\yK`CtU"1&]:oL@^e|!ϣeYqd'>CfegjKoDK|=XKC4Y0gY ә|5u78$ڦdynT8ԫ XN5k8zmiy5h#gߡ-(K{0 J9QQ,2)S%]d Ę-ʋ1}.+qFG\p$tWSnr;7crsC,3y%6nRQHPu6t9z*cXP;b?L=:7z]njbQ/E$*0.a\3m4`2,,j@Ҩ+?[u1D74u[EG k>sNUf #yz8ȄPXaً*$OoV7 WNxƼ:p'}@[Yf8*&K j壪}5Ve3yzwe/ qڌge7Z tw~ysrm@d#Nur Qd WxRUE 7s^nUcF J+E Ż]ΩJԜtaB̠e£ZP߸2!b72O#7^: n;_;S@cg/5o騱M M]vҡt>'󟦢KOR8(C̵M-VRq SssG+</9p$~ܖVk<[w^Ʌ3G2\D HPKfhw8ڌ)v^4x곎PR/f$j[V)Ga6;'͚oln/ |&N +APJJz䦢q(7x,Z!b|SDb" 6`)>ņ}E(كI ﭡ"<'*͓yxP@aQ9W6~Ӝ'!P&KWNA9ZDQ@)]e0C۪\Ri!4f'w9ȟ]sQ̟ۤ->.7L]n\Cʱ4L2k1q% #i|د;hYSě8-3>JD8y^[b2ԃQ_9f0tY>碚Dqs1w@w^0~׋8Nus{ ) -ҭ+|~LKXM]шVeU OjDe*pBѥ a*kVv9#)]v9Oϓ*,/YUEH!hlT~teWb/PM̳@D2Pnx}W-HN+fT7؏+Ƈ#~#ԁQ暈.eG) H;@Jec38Z3:M%z[b6 6lT;:;Fu֬eK+ D4D%`l0TQQsA]Cz|UCX'tdd~<(o_QN?;#,$pB'|B‡8xF>0cj\@)^krS2 J{B=JE;; A>@ |nJQRo嵠pmKdP]uoK$:6)]eӶSMx|zv;=p]Zb>T$nNh,U(8mF[g,DZѐhVrV"-Yy<@o+ :7Hl59}QOʶlzi ɠ/Z5+P ͏`Ip{!Y{؊:NGw`5c_PzA]34.fN 追P*m,Z̽w7=/WֶZ!9:J6fGLyYWtK*0Fw1X"SuY?M݀gqpe^Nh0^3Ue&ʂS- Ǥrqo>pⳕ;7f7l{ ̩7o:&!ykX ǼM-wL[sKBg[ 1KV͓U! lOk1ξ—O:XBFC:rƚWh[6촞R4gjœ}ť"ƥ uXDX߀l|hN.%Nq(P8F7S1_=j0yttި Nr3E[A1_ȋ'ߩ)viEc//7k1 V1`(UnQA,`M2'$CըtӝE!m~a-I+_IkkKf5s].s)*PRDڨ>&A"1 5)x̘B[vR*Пn[C0YD5Wa ,셶d!l04X x.;c?&߳fv]<u 1|>&ǪESʤDPez:#H!PjH>HÙum +1莠"t+.W$^gE-{_/f^KDptJxD*IjdÔw}m{y]wlD+skwsiFW(d<zGCu ?yD?~֎OFT We`愸ב{ r jj*Фg碁k~5YvsޛK T#yY/O;(%#:kQܤ`fQ U94d|  U۳>tRa9nHN~UJ{:!I^%klnwŶZE i!edgҎTӷG@8Kti?էLM?bhx^o.gZy~^ j2 {NJF +3"Va"d쵡$J2\t뱠)m(%-:i+(3Dbp\N⇍ѤaFaHbv9q() ZlWMGR _ ɽϊ'لdH9CZ?8!5G0n|ZEj\2 Y滂Üv˻ o$vdh#IdGYF8;抝n+ko =46:3yR%QIyiSfх2\Z_ t|MhLo`"7fK}E*M3A. <+WCp8Δ2Sx-LAX+T3Қ3%Qv<"`H]%Z˛bfB [M <Mx rX9}oܦPC..y{G&޿4>mg%ߟ xC2fKc[SW%8lLVNE&sSB譋|79;μ7o75dFpqMSɆ^5b'O WjSh9vMoﭯ>Ӱ<@R[+LD adS}jL A$DQƁviXdaҶ%D"O {A1u>%fCg:UfEN8} y뒖./[PkIpNRʄ⁦w+$b8IMi}cf$tuhLvOA1u@KOx2VRߤJN,gnG>Bi}xoo$we iX-bYp9^e8Y5{4 8S<:S%b'WN]0KCgHpp7 T#TZ)Uu(=N|Pc-=^әڱ_Ӱ /B}nay` [qP".o}a_$8(%c<ʈ\ӣ43&Ή,7OqѢa8a^ĬqP/7QgCY&H4I-d^A͘) M^_A2"r-TTJrĿybV31ji!"E}L/R =GkSPtUo> oNXZhR+iBARtv$e.|Ut^{ű ^S)Ͼ|Vhq9t%C*4)^K{L+eHIX-%ɗGudy+ ^ #]5]t!M$id\CVke߷o:`3gy4Ĉ-P4,6RAFcn.SD'){;Vg i6><f$-џREdSE='0m!etVJ/S|%ȦA-*0ZA_ԛk-HhygC|JԤ#Hy ~ $̗MY@^"70zo{bR]+(O;$JCT.@z-E5oJ҇` $4%3TפwLJE%{# Fx-P/6iSb"Ty\)z|kHi`ك\poM-p28(] e%Z^ޭ*(%uOLvsUTZW{,5(m;."x^Fy5NM۠v$y Sc Z0v* UB0C~4W%5VͦMyz("M;דK ;Ft{VC?zk(|j̀,VPPMW\j}-؈[ Αk(/+YqY0⋋`d?>81G vN4bDG#ֽW)g W{i/RUVPﶳP Ŝam%`-9UͻNb|&QC;nL.!ھu{oU;eѱ@B|fyeH"J'qy;M)__?[C2btB:ߐzg"A`ν^oRkdiSR&ُMM͖oRJ,WL,Hs R)'tLʧsz~, \Ȭ`A ^C% ~UJ恥C@xlr>  V`'Y`1 *=^Q?1s 3 PP"VH2lY]~zs$I!~ orfkKb!TTspe/tih7Cn5CfhSwvD9RkGIejQQ]q>:^\Fjw}wFS4FIݤ({ 𾖺2idpJx¸ARx.;1稥RkJ?G&*|T!?:,תO0/eu5Ŝt 5t \ȂvT`KVJd)TIܒL`.{RNq?>@Tx3T)@^`lIsvO ឱh"޳G3C)p TD6?hN>>e&9g=!?bh*}i4lN*aóoh0` a˩؜=k@  "[?d? 8Fǟw/" `4AuBl?y8P` G?,kw=; 3 ;m&,~곪r̒3Ycٙ&SNWVyWl[sc¶9VL2c!|(i_ %S`Es$N]ȸ^;>n|9 h]1551%g쁈)B)zڨUsf{$E ;ukT fL~.uLՁ" BWoPPCBlAD|#u]렜7od%@!!EBz\HK]P):Yz =RCU7 U]*%Q壻^4b -fVYWOIÜҕh ZKfc?[Cd:?@Rx)wsf1ٿWY0=[Qc_L'1 춠L0Bd'`xuE?_/cz<}t;k8u)3IzRfw;W[uڢn3/YC}bYxdwc% *y5Me_G,\M;{QFI2]+ޔCf{!F=uGWtҋ1~6 ;{ <C))oIH=f5 \z\ rzrZ~S$]:Z^ 3 gఠєqG@7kGtab S*R7z"rTtTC z:ٯJhi>EAHL6P˚GM_0 GPN2v4͠񍸃u(,՟](/ ZdW 1kF*lfcӟn[M Jna?c]|~@Bˣ#b3 y^&|B"!LƮ[|5QZwʈ0^vJ0В^\h$e_,? qVA8fM-&ݴq`qZRsL.LJ7*e;v/-!8neF~Jq>[ :PCusƑwuu[z\ɕ0VjםR㸢,s'{"{4c|xtwcd$L帪kw7ARqx"ZDKL⧠(̹J8MC-l@nsa]P֧~o5LGH#גR-9goKa{M2Thot(T@֋\߽w?E|ߋn8#hX'&.#vٳEcC ٤C >#R3t&9x;i IU+p#'.TJw,y\׭v375 *AYj_;0Rd-7ay8/ͭ >ȼ ">@s3\W\ +NfET2 بZhr>]\T|΅ \׌A9sK.]] zbHc BAaYڦ}вUftPٽ 'tu <΅ZXngVT>8DAۛAЗ7Szky\Vݽ"e3_o!52lʜc8WZcemvҵPg?q@hY?$6!G /:dzwgLXw tawëO#~-ҪP6pGt|и:5i} B7ItT٫韬27:Ǡ]ڤ<}ax>q/B⣥mk/օP(i=^'flrV `YFjơ< ۜS {ׇ6N߬kIJ Mg+c$,Ѱo t?z_;^d1qnF!Z/-zKWC&k;St @3څFi/Ffe go\A @7xŝ9j@S5m7 ra| /ĩV/ Ǻ6ϷBa< C_i4wt u̙ >H:IHsUSROmzQjf&k~ 8`>O[^Zdbd4p]F 800/x +N=[ Sy?/_b;遱l,M/7qL2n!3[ƒb66~B$05UNШQk)ai_-4M|4at@)!,R._D4osQ̩D1H^0eizY.{fx!{-i Nec=B+GFzu^4|Ϊ?5"va.d6`APQZVA[#e<`Ml9G)'qdsq'$3IUCfIb"+V2P0 {E29 z{Fjq_ S51FllC|39kju:J(xڀrHl~)]c5Dlq7fX-DM_/?O=;#&j=%Yi-z4R]]//RM:f!VstbajG@,?ڒOS $B I5򸞢 ûsdyةN>F]kgJ%pY̲S(sQ%cs:Yd[mE)qũFD2mF'r8$@r\ΰNy(w`A^4 S\/)CyÑ>-qvm;#)s^..ɖщYF{#"|up/GF 2߾[b(WXH' F%z+[bV}S|4zgoRHƯ*C,s.BAdl>ulM˴q_qdksQ':P0ɄDItJ,UcWH S/zCa% u6GK[Ut^lGPs 8o.Qb0bo|9+jےcA, vD;c\ӂuB̌ːϱ3dq"/a9!Pr;nJ,3n~ՖWc<|fE%OΕ-lLtZF_T@'.y q HS)Gn%rMVF^^x'6I}~p>(DwC,%2B5%!.M!zRKHScфez pFoDvsJPo`c/JoΊ3 {6WO&"\4Iqe52|+y@Vb"xTs [:۩¼~$Qj3^!r1'~I5אDIcPeG˱2y(EK] $X%+5PebaeZɇH>\RD/l.`~'Y$EЙi#mIK -8l=OV(s!Y"t *5=?!iI(HXaIo: D"ܷAP8s=C!S S6#{R#*L3&d,Qg&@{ti)!\ F{<KJieWz\ C݇B\fyO.+V#Gfp۾Nɞ$K3°AgK4iLFb̦8nx ։)xܪ&ڷ¾W7WA]dtS+ʎk$,TKⳗ/Q#mRg=3-ijoܟMF!Sn̲aIՌ_C)( gxNqC? 79ÿ,3SlYpV b,^I$2#h ma>gͨFv7C@زQ@, KēAL!'k'o,u|$6 )!{KgQsst4PD,҉>βya>)Nx ,03i$0^ l3/4y>aЀj"ihK%# lxŕ<۾#X`AAf W^&7~5)-]Xu8BX]v_g聱&W6LTb)q#BaU$S 49fzUsj(ߛa+^FG_h6JI9_4CRVk? F>5nPp wL'KG3a&|S>D ?Lp{nF$}Y؏ʘx( hj{gJa;7 X&Yؖ4?$3CMJ7oOƐǺ5,oVwkT2LgA#7sAdL1`;b.`ReY+(ïl˪GK| :;֗ĞyaRz'MPngA6]pz㊤~%C?êsG3C/vsv'Fĸdy~ */g.4: FD8| Q5N7QȻ}ZGl&7-`Kt cLmML=l]e?:[$ nRd+ZGj.]m% z0P(lt$xTQ %i+qXL@똎@w9R78ވ\4:Ē@ Һ@ךz6>?i4˿VSr%[3hSA͵:Kf1T.9FK,"\&eiw?!k3ҵWJ' ,|s%܋Eiz51ąi18Պrl/8L؎-|VOvzH$ ϑ_ῴ;QgW͍Guvrx#ΚEj1j4x&umM0ȳ#|oY+|]qٜǣFt1^ aT?ƋȈ ߎZ#6$'8}͡Z _|cZd|O\>ȒJ} ʚ+Ԭ>Y xگ=ÉG=SًԋCnEa<##zdYew=zDa6Gs{Ѭ4[riaSuތA?h_MQd{R {lis7.[11&Z,ё_PvZD29G$y!jNLG1 g6non[7ey4Q5m18*ly(Bajc";ԃˢۻRL@,8}N~T0D􉇱e)B'Nx]7S^H/. N|=ݒͥ}P'8"dk ee&'n Nve J>^xr MA=䗴~Do6J؛ Y-0z9),~ԕE nɽIyQ{w.$kaOՎ#W誵!+nr v&+\:5*Cb%.Z.q+ER i#g6QdCHJ%t~l>T i>nz3vZ?~OhNifZ"oˁk[<ƒ[L%3)Eq/7 4CX4?ڐVD:}ql[:TJ*P | i՗h3 Ĉ̱k&^'@d{/R7[mkz۾( PoϟwgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba52540a6228891797c17fa31e571c913021c7c787477 38ccfe9e472c45d1c011603729384e3a62940f93 57df22adbfbfeaaab7206b988fcec5b4572d64c4