SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 hhh!TD, ]]]HOL-Proofs:threads=6elapsed=540.721cpu=1328.700gc=133.684factor=2.467zXZִF! ճ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟu1B.!y5B !޽.ipqR ={xJ%4.Tڭfőf[zZ,G;OƀB4 cW]/o-NN2-.t#o -⯓Ur HhmіH׆b6ս??ƏcdJ<1Qo:NtfkH<~)ϼ6u#@Ws[,O==j(w-2!S\9^koҹkR M;rO Z$'\A=Y+LuI0HJL\`='5$ʢ`mwmn*_*w_f}y*dod [qvӝ 5cO'd;I'>'QZ/m To-YxC8 tI{AyIBFSr3?XHiE`7sGoo*k P-D|Z'jJ4JwDm\8IVIXӳO+\ %a0hkF h>)Yߥ?(Aw]f˃D{XfJG˜jYzGeϷh)K䵨2 zx0ۦ@Kf| KԎWS[6ܥy|L'3PWOl9Jet#X1jɍN4$EI|YRN4%^ń X6A%yKyryB6s h$!\$r:܀7#@]Q,!w#GB5} հ%7D˼a'XqmZ+WbI );c1URf_ iwM8*V7j3eWkJ߫l#MafT8P˝Z/GKSi3eIٚ1"U4/ $XGg2="#܀sc_ܧV]K 4>Dd_ƱEB3'1I;$$i6@(q**)J!osan]?\CyRGPXwL:-Qb][S)Q n9Bn*W4L#kMXT]b4 S[:=]\(v}075AHv DYwQsl*\9d1;e2B<`E="73/p*G NɅPh MxcԨu՚pD#gCr\n܍ܚ0 avQnNhF@\̺HP<ǀ͘nZ $-3rV]j(u2'ދU-yn̾qO8ż˛M6md!|N{z8MH%d񾊨Ԏ7V@:}y%ڳF$<Y ?3:c-zИ!;4f*Pwd&˸}/\c@zAqXˎx^IGZњ%$X{{Bj1d{.^x'WM@:iI!_H/f/HRQ3P&F?N#'FasLz>م̨t'ԡŤLV9=tĪı0Ŧ%t!1]1:҇9v`lbb<%n:9~q8}t F~%2Tx,$X08=?'=%|eW=:\t=9lN55N"N}\DHe d~G3z6m^tȟmh3u347wOw\ά{GO4cPBoBۢ9+r7#Mڗ:'&{ve]p\-D>!o־q@6q455Q(ds[m ag[i)_qn]gv&Bϐc=uT>ZNU,X<Ai\;Ƙshx(뒾iüT,$L44X8 c?6ޭ Z@Mb+s N**g15+ ErÇAqN̙ dS^Զ)>O'9teBWI.^"E˚_'䊤f'jZ2zoM4cuFqlZ_L}#3 [{)E!R=<^9mZ״u]o޺zr^^y!zѨRd]٫fBio62NGt 0aQ>F6~'SVGz}n+J읖`:=|Нj΂] Ēd% yT -sgUVy#Qo*gUI̗+A΋{b*B,<ϑ`[W' Ki&wў$rݘۣ[ "1'#>bnk׉YUXp)yhiBʴ㜑aR&a&U ~{}C!B󹺭_V6YEFed]r!{[ЛXdUs5Yw eSnh8wnr|kdlr1AY*pg.5`ĸ{R&w2QqfŽat ;HmwY92/{ ٙHbo4"B\]u߷t6+xyLyX@(j9b]Y,e +bb# "U\1<.|0U Zt^z'J}]/&̱gYZ7zXZִF! ^]ŗXiɟ29aoʼz[%U>EM!!*X0^tN(dq(i *Gʗ@CD+DKJinyքs݈NĤ |H{< 4NR'a !lʄojh{da ďc̽Q@l& <5ƀtGGg!˾mCj6;-8\xiPD B:պ> JE7>2ZPdV /cD!n}@<#}9y#@`U*`+[*)sW C@+E\4+K{]۞;E=d۷ ީgPurg#ZY]F`d&QϲĊ$j&d72 U)[|9f8 /M]uaB:9@19<2O_d ڷ5o>Ns\u0#t"m8A! eOQ+Xo'r3o+nHs&Ԝ5 7ix-YGl>9N9kpTYJW Lr hQwby`{V$C_'0wⷹ%*X+wNZ,u"NbnjrqŻڶ̑:Ra(SA- :!0dNc݉i?Z~& t:UV0k`[HȓT&:v Ksm +~ TQ޾gwY.AՍaoGeGLCS4GN=b! zZMScc\F_9I&گ 33zB?2A咛%4s=1^{Ye/Pt}n-l (~bUi5 jZ%z|A^WD$H- /t:6+dZO l,mE\xD:dz+KmcFeZKc}g 1o1giu;Q#Ό.Zy&蚈弹yרfqmrY*wf][ctkVlntL鍳>i%pQڣCj69u;@m (lEs( $tNoŝq KK:g;)C䥳lO}:Ā(uvm g{isNEmS^+%aj ,kjkf eD@g 2Yr֡gYZ7zXZִF! [N]ŗXi%ES1N(*KP,`=^Ilzk"9}ܼW;fg b ǿGL@#;?~ hC^х)dAb$~ @ 8oln|g6ϧtv~cJI68>#q5׆/1&qx.!1W]\R0@s׆1G.]K꫻]u~K'Aa]xaZ*k.iR^'‹qy^ȩAVցY.q'R!`Y $()\VQt9璶!] gnN4M ز}T5'sK}uF*s{<fM|T.F񕡍?){U34V(Ux$d`C\E1 x5tƮj#B*R_7ؒ-uFGϝFi4ij|(Im['AQYƒ4׷ڝ$8Zxu󽪉ookSOnixD48)'B"ZJZAU *՟9"p'6 9ԓ͎e؊h0Yу0>]iq`;ęH06Im9R'ϣ.J@@рhID!eOsZǓUm< NtW |#bU")Q!&~Y!Kn_:İE/ ]LP&^0>)nzS:= [\ioH_H(~!XJ7H;58EmhkIMƇy)+qAyWJK{CaKG+HTQ۷>ޗ倂YG' 9Ɩ u88WRtggBV8nbA&=VL=Jۙ*wu|ۃo{mfj&7TwkT豳 {CC_)J&_/,dڈ¦dԹA4Dqn3Os]ቔ( j =q&[/"!s\! qrq;,m8f[!!,%{2Pb"5 dJ81DR՞G!#ik.6nIOIͥUӕjݳr1>=ch jT#j#ĥil_nؔem]fZHqH٪RU,J7{-P9ӫ;͢g@ߝїx?6,ro/C 7F{QclGJKxގ,C@0!$ IϵQ: e^2P*I)&QGzUk}9W<|NA_ ,#K\:fwL(!^x(NcT))#h&iVD[U%9Hk3b?] "GL.׏3*Ƀ*M C薧)/:~4㼭,_Mq>]%nN-aj!m3uZjOBE)vg8: t"_3ݚ/ TdӦ\ž,KKmp 'whېS,(ITgHS+Kk<{Q8;<_O/ymk7G¦l/@ cQ,(|"~nIHX}t?Q"DG%HGA^mL^*=) ɾ |F/$l24Y2x0(=nt*=́{|h)[mv,ξЍk)MSU6=AM v$}gv>#u&_AdcQ xQlHn&vvyG e+g7=E?XL~冢8!zQg OB EפF M" lOn`rQ,!<ڝhM D5! ~C/ \ա T-?ϥJb bʄ D/1{fi˙Z; 0Ǐ< o@.gWtw5tѼ>*߀P}_v9̰^A =Nm.7FCUSUeG/;8 1 aKE`ߘ>=h>Tkt^mh:8v * ԺTPtdJ[o.C~[ 4K/r\`l[bU9߶Oy]_61xg6} qy29,Ã6vZM >B?Mw-PjyfD;4_jQ`7vHc;7h? ׌%7Ob::ZDyb;`GEumҪ2tiBZsN]szIaϘ"EnV8()i_Up&C>m7+q:|0eZД#8nQAӾUiySz2gtā<1XU^>ٞSI4\}3 ̌ r$cU/-L£~q4̔GoT`X=fg%8\  Y%&ɻMfQ ʿAwwLJiH2+GAF ۨXm1}xX# OYPFJ?; Nq#8'\(_+]Z MnQ`?+@D!H̜!`N,嘩w պ( dւb6 gxAIފ0%c* ^޹GzKAҫȞ`` p0baSʹd\[lnD=V^$[\pYnDB$90ukURzLzy%`UQDz#=Lw AAp{dgPɇ`h6¤yZofX=oXBE AF$ 1{MU6@b+ߜ:틥TeSi2M<щ&\KQ5ټ?dtC tKx č ZuLd۾8"fhS܍b0f)e\"[N5#p괽s ?7$JֵgOW6QCdၫnA%Zyo:藦t!I`LO~ SFô88wGA8gͫnF"tYQe_ΆѾ/~벗О]K^B lu$A xѨ]Pg]~kf':\k~DE~Uf+"ȥ< /L`Ao(>0:#`2)>ǎe> 47\=ټ@چP%kd`ğhd 0?tx "&j͊io~sJ{A_rB> _'Yf9S^9֞KU6ajd x'>0y!påz!zn 1/ p/w/ l3 X) }pS"`"s1i߽ HQgK32چ\z& 8[Xj+kCm;,/6O¯_̥zAbB2ߓm+sEn^'$I)s[r2!I;xVp>6Z]։~furDe02OP)q 485* (G0-h10iZ*CЃnew<.4QS>zLT{No>'amUePY*ͯdJ9W{㛛CN+^5 ޶/ X БZ~˱0﹥F[6I&\1r?AΕ>69ƏkB¨/Xٙz]q۩] Fe*)KKڀ\;3t\LÍJ nf8-GNbE/+SmX*d%): N`g m5TON?3>'&cé76Obc'25|+-T+S,"t nT|b ɉ@ŐaM^ ݤ3ڻ6|ǵqhoQO? }p`ŎƢ [_14Nf\0sSd87%NE=lOg4B7aY$-* bBKUAvf;h) QN*9I z xRDW)V-bg붛EЄ v2IT;[ucUY0J4!j?9z$eXO`g*N%okPogHet 0 ;֡8xo9P-P1r"d _UYFPNXPo$n:HU&mkT:g.RYbHf]rj/يYb gd#]XI˜LhPlhwST/y2ȍ][iGc(mx~2<91jU:OC7ݔ@mWk%ٓ:ATNyy ЎaF3,v[atO% lX?9SFUE8Go%-NߵG U1^BZMh"{C$fۛF(,. s}=K$sfoD(s>îN!ũQ:w:&>QJY0~' UkXWWbK>1ְJ cBB޳ ,Ky ɫ `󲂖o ,lZ9PQTt+]@:[¡WpV$5H%0 ~W KJTa MSSAGR75}x*q1b,!Rδ=aEJ*ͮ([Xۿ^;̼_8AyĴ bfv9uO%c79V͗ Sc#> *^72A,v&툓Cö02\EKY+1Ϟ+Mݪj>)VGiu%+}_l\ 8p="A-0'w'Y /*,W x\y%C3&y~[URhx)['`H,=<>thLvsC3u_҃,Ļ*sB" LEvqƹМt)*vY6 X*!e8_<ZPJWٯj-䑚\[v:ijS% #[e$C{4.X 9sU_uXXlIhqӟDA4$U<,gf3GXQ`O"(eas pϡws0ㄋLʵ.J$össAkGA;0vLme)$f-wur*fIdxJm+_uFY.lXI5̧7i<3iv.FS[Fl|4ՖwV@ۚQfrZ"\a`:[X)}H؏%dLRvp:Z=08o#ee"[H"*Fp֛F@O=hMrE0oE#*S2yݳcl09|}_{/Igj: ۠h Ĩ‚_i[`r; vPRw q?i)+>ĂW^M*4hUH^jy$k vݎL$pʊkXvB3!cELHkF;$[u :B*7[hmV1úqoD՘ H.g쐐;΄#S>! V8Q%Jޯ i;p-I ʽ9Fgm:n®#.Wyk=],hjԢ/kSըXj,,%!ξOay, ^ٞh/QIɀ}. (&8feZ@Q-ݟt0Ya㲷Ld(*2t6{SmuCYQjO4iKS AG2Y);ar?#th3B6 )qZ_Wc{WE^t $VUʔ;-Ռ Eu ; }"N0)@~\5>X &!+7UHR6Rlyt􁦴مm]R .\&7?WO7Pg+"R}k>=/iv oeWGpC vgO gu\ĺ< ^ISuBl2N*Hy(d(:C2[ĪGvr4!:?x<7UPB|~8ݤ7Εɉ(03UQ"f%xhsm`KA6A$e;>pn_~j #eQGwbܻB -4`ϷB aԤy]G^1m6eJF"V52υYYHRj#_fqfKN\aT<0*uA3{S)c$}zJm ى7%l)oiɕ1T&37Toˆ>'zi2\$\= '4b]IkFTJNcͥS*fџpd800r 2iϞ~1!? Jl+$N(wq,q鐫VR#)*塓%@!ZkȄxuU^a96P guZa@ S[*`mf ̻  imtR8_R~iŪKM~9,8]vGv-7QGmA* vy, pAqfl]}bD8wwܯmLJƗt](ra+\g cNrrqw @?8G߼2gxUEJq=u/B͏5#5^,\r.ʜLA/{mBʡAT;1>ԙ!Om$n4xY i^BTG#P$5כclA>EIC][wI^O$yLȹ^( 5~u0 GTuVYh-X0îȁd({8'-Z~WL86AH.~[sþPsa@YnMSJ7!5`Ƈ~x_V(c ŔNO j-VPatа=bF:WiB< sۣM F[S`%&8𾾜saei1GhDb~4D<ۨGFN1\"5ܐyq/ɒ;zߚ.44$RZgPk=ٻNw͹N~TNlF<0<_bd koQ*L^ 2XE1lqt fn5J{ꅴVcN'ZoVDg 3׆o@ީ2 9:|Lu=%nǬk_qVvc;ÉïdЇӇ61m= 3"!ΉD7Y Ž. KtnW@=z,BgD'6藈6ه8I~5m/?'w)X`|L4εpӽbsc"iĆ'i;|bG%9P(43t: $""ɕ 鬭f%0ߧM\{Ut~ĉmρ)ၑU$4ˋA$31y*@6A]fP{1UБ̗eؽCG?6<&W[ 9tp}"6^8ΌR@TV3͓]C{/+(oq8:]u,S0#vRɋMCb.$X6,%kfj03,6j~| cPr+;OUESkB[fsuV IpH qK{ +b ]sfXSW Pw$&9wz7ffV Jk(Kֳ,$ъ:Ǚt! p/^4q ]_UO l:$ +("/ '!0į[z5:;7F^[kɵOadO0ub4ܖ/{[v3::GkTUtJZ` @۸j`Zٻ?Mu7G*h`m-y!tcnM+n[]’ " ʅxv\2 [ܻNBiU*1WqђOr1u&>dMO7M'T(Uh1hu./6#J!?׌Ioufhq3)ZwA灺r|Ԥ31hPF,`g=⾄eNhd';_F,dTYLrt3$Y%J)-j1_舡]] tJx>a`[KBPV9y>,jyI:Z;e]3:%6Ci%q??TTެ]bW B>HVVYH@(Bʹ:G9Wmp9zHpvh yuI@8!MHd; ;|tK2d+NZ +ŃQyO``K3zO b =oX Q-4N#!sclj(jN1qё{1~Kd!@:fc߈zҫ#uO /R W-R/-EoSV!-nQ@ )™& \tmO}S>-kMJqxi=+G'һ|NUD\j@0 Pvzm=1c!=cܞ~_ ִ^|$>.}5Yl[N" ]CWӪd&Y^1Jw!-aTL`)h.%}~#(p$7-ڳ! 5,=3NqK% O?Tq 9>:Lʯ)iP^ D]' {K"sͣ, Sfk֓) :=N[P#![L+}kԮϯK!NF%տAjF!ԑpDmhReo NHf^`>03M 'MU.%v]aQq/TEmB Ȑ_Mucz25$3ttϮύhjV݁4 M/NJ,ڶ+^1HPF7.u (]C5g G=cV8{ 0%U<_^"x{< p};|?}=gMj 1|oR;-\abaAїjI2~M=rQgx4\\7g(9v!2_^1hE$$'naׅGn¾Cb@9/Y_Ӯ)yA21-ydnlDZvu8J4oHD^HP+iG Ӥ\[+ 9A>N8T/P^-욮])/6Ryuur~=,WôhN P'mp|j媈cJ r}tv3k0 |%k\,xvEp ńd98,cZX!l6(򃸗֋dMqvO(-@VS>A#eHTfҷpo'`Cig[5,U22潤y?KwԀI4Ԛ>7Ar:N4C~6Qt^k$vϜTGK$wJOq!lԘ.qLY=@bKM9 _!~ qكZBb~0 8X<]DS_) g/|N\=][`OgPuEl3)cHdiO< NY˧_$0.?0+ 3Y}UTȆE[]AU/jI/OZ%/ţ+=!ahcUPx.;dz2P=>G o<߳h=@kɠR f ~3t uKikh.&ۼ(h 9)@"yKNՎG9A!9eX9fP-@oS"h/!M.C ]BGdW>Ğ p/*b]@լCr?K0}7_'byz%RKcG!xcɧ2N!0 @<fJ#HkyxHMNK'JA$DE(&`sJ?“/X8I#׆ѭ%FPmzə{ ;>NČHK&/*50k ;02)@);vG7tz:m)Zgd58yX ^@ y沙jqMG'ʎloM6)g![jiW4PJi*o7 R-3d9$YpIfAwGsTo1iZW4>B ˸`s{?R{c[9v8tͪKA~n|7j֖0(9k[4>5U(>HIio^BpODr1w罹 {azP)wChzB;lRNK͚oc<.!X ӝ4zr@ t Ni+X">_JCMn0TSt}k+I0nI[q̆pf  3p=XJy>p^cf&Xy2"]clpHLd#DN")0L'Q$qrV bf҂`avi{;jهP&j+unxi|(ӕwH0kuVHTL < v!oҜNFl/ؙ&NXSBa{o,0)5M\Uvȣ4  bnGQ ; ) : v:txwЋAc} VxSCK '8>G7RyNr `7 ){*J޺+Ъt u|_"t^K62՛YXD-*7KK31$ܝ ?qMR P;Q*4&jۅ> *;P6΄`|y\k5WO}Pg8q=8mvjOsiT7Xon,:Q S&:oսV5OqqO]1=6mOBVgEXUK1/Hf壯2e?>[Î!j*"2g"^:l*3 V>&!XocU 1 )~E Jru`noAa- iV)Y'`Xr+7Xy6D 禼H?$B_}+oE4"̈ |a$} KApxgwEFn?d'-Vzpe ޞM%yN: gZS6GPnWSU:|5þJ1iI4uwi);N2cqxQGT\'j[/#H))mWL%-Z] eָ}($cZyUKu^k_,_om(՗PUtr_Tvlw+4$KwaVì%qև1۩WɉΕWwuhk+arsJ!KBV^(,~ _Cfm1/>u<6=P"Ҧ_ap#ޑ>6ᛶMxa1d2.8Uӳ*[z_,/t5,_՗mf F-FIuv.\oxe?!oCC?0:rC@^C(/n;.n^VrIwSX8^y$Og&%䆮T*Uq*BJ?x Xe鋍!A]; m.bcٽ \ %MqPuJ-v{>=bXZ,JD تjuBL,DuJ[BBR>VXY4Ip>il}lE]Bw<~`-q&gO!Id0_ %@Q.S}[?4E'eae Wz$1`y:ľ%Tk.7iai;bp6Hxue檡5yOQʉ6;'©zn3(L{Gsӯ}WpS!D e|?3ŦcX/9;} $i]C2KΝy.?PjI+ױѩTOU b swA)'ͥfts c녈թ2GRN.Gݧ1(Zb;$ Oɩ_pX5ilD/IZrSlA0J|%B)#"51lih=d] ȖѺ.Q(+DȎk<S%b?B"+I;?ȱ+Fb(ow2=`㮨UivO Fő0wT ~^ktxE'pR ԾAtdx}yvblrѹ([ޗ^GLKO충mY, m&t?xe?~}Ԭ UgJ~cb_=x˕W^EWr,\G%M\4 ,nEpC0P wUbYD@Œ gVËiAlQݐzya˥vI*vly0(>摤͞,< ފoqBUvw &OE @Nas[VnÊwᓵ:(ȗA]IТJ3ncI#I99]qsU̍|r>84w`#yVVu,d Xyb[#:xi%*,D!t[PZ NUY6y/_Ϭ=ehC+Tc7D#uY)a1_~{4"4qp6؅'\rwQc2j_ *"|6F3}"Ȩ)[N:5#yoXIe.gNTbg\sDW̻_]s@i=Gνa_QV+uȁfn|Lq;e}ׇ;Og}Z=nFdܛT&nn%gof?9qr:7שw 4V{-]yU< 4I"$̊g6 J~i-ɕɮ =\;K0, zyϺ}_Fi 3ubQ`+F M-M@.%K{[[F T8"Gdx,D"A6%mu"j=\"P}p#MɁь/;}9Flq5;o#6(v5zL󡧝hB0!Y*O>X;SW4@)r[2N7hQ) CS{a:*Qq|`Cw?cN)yi"|u%!G[x[AV„o6bMT\XBcwG4; KŭZ1ÇJErnWͯD4\.$:(ʻmOؕ:"S Uu-j||Y!x ۰͑ź܊(rDv}!CuP7"Y?1W= ✻;E]0z/B3DG ^c^o=@ Ay\$B#y/gSע тHvv>nb`L*̻-;cdta|l3$B`﫜u_yh(q- +ۖZ꒱"~QS^@)M[N#KnY;6(^NJ{d50o%n\R-mʰc@<ڲX3}CV}9&2+x(ͺ/sF64gfGkbfR 1'5DGk ? H^jI 8ݧT݁CP@#?<5EcJkZ|q-|t!c >?|=&qxLxqrB7{`v5qW) S^<&F\!ґkKGCx}H(Op w"mwPƃ\wbKhO3 lY5v:srnx:UC)>OXގ(L~)\xp(X,~zk+mT+׿"> vs]{r# -["o#{EɄ P29?OLǸ%JԱm{UT1k(w!73p_iM]ФW -A-˜Ma\~o=rJu'~11Z5wts{e Ki)6*wD(vfbZ#6y9PG>bv!EdA Pe"N_{ֆE0Ja^߫tnqE\/ [|#(h @0xٗeV#ڒHMV,?JΟjDuh,,4Fpj>RZ ǓF@ʫ̽^-wqg"aĘvvBV4_/dZe9"MV:]['׌XOsd^EuEzΨ[|x(%@W7OfD-WfbbZGms1f v c(0zpDQM;CHR/BLִ\ O'ZJUnh]1,Z~HT~8M:p!ĢS@DlPHaAᅬ!aڳ7쓌UDC< ["L^pr Pp)?LFiO`x`ޥ~t,)e3jJv`f$g1$) o{o٤Q[eHc1G1xLXX2+3ep.9yY|{hz y'<5A3tfmp`\Z< 5/X$_uۡ .|9w($< P3tN5khhaJHTw0p^YKim?Y~OU'YHZBy.Hky{x8[JU6n#̵5DLr*yi@X-%;>[*ì4BX$3'iB] #6A:Wr{_ÿL~|AZ㭱– ߄ئj [AJt6v9yƶ#P&V&d 4Q{XL}Nxr_)Bv+1P]V-JW+/ h,ݯ{(=[M{n" -g6rm>v fWAbфfOxW]0dc*2.X #2^< F6+W7'|JsUIt v"lZ{-RI6~XM] {K])鶜F[L^2 U@"00sr~g2 ;; VU,+3j:,/2jր!尛IS>Q]uy8.$O<'9E_׆|(XlDϰf!rxI|y(}3O.Nf&$Ji{20iշ2\YI6^+~>a?2G/)RG߾uoSpAE\JdQ\;f 2[JƏ8z):DUEO;(kGP\m c)D M cUrܖ#Qx_ѐDwAʟڕfOq1.57/ ϑ l֌kl+rm9˅pz1Z/e5c+ FCU=gغP34< w<:\ٽBtуe/^$'8"d/%Q0 ]=w?YPFk6=v-iK^dgq5(t)aFݜ*Szn-E~1S>@+ED~YnqqJj. T)LL >'.!y4{DƯ ť4N5E?5Ie1,8mb[ :/g.1z?S]̝u;-Vx78H^2S/3/Lgh7oPZG=5̤3$aoo:@Om8/v{>e'~EZ{c]Q^hWz•<%JJncj*"EhkP =zU3ZDrj%:z)ٷx>_ci#FZ sy a(&=l5͋u-0Bͷ'lf d d͎blGa lG;Ar{uy BJHRjʜ  th~rU(}V|3+WaxIFEb  v-dIiB& 7Sr l@ދ!;u*]b_2úFp*+/Z2S LкW_vz;! \l]y&LKSkŭGߊj'/2 `}a11XO[YKw)_ 15䓪ׇ(nKQfÁd<R y>Feλ~0κNOY<0}mIڶJe n.'0^..VjZk\b^:.\ :[J%޺Upw ro>@@DST*^/EGlax?gꅇ^ϽؕHۗGRíK;}=i{ڿ P]EGKMvXe_.X(xA$(RPcy`mRL? BXrG8G_fMS휢0\2_ >K1~Eƹtymlp&Y~}x2-'҈Ef6;"w9Rű5cMs81ӐvO l@sϷ&dfq&Urj/_Ŷ 7͋igj7A+\{L9Jh,. 徠Ŗ+)yxxZ_bͶg@8%ܰ8{F<1xk\~9{XlkmG(#?Q03ct5N"H7*2xl>ԫ IJ{hU}EJuɪ"A1dqhlrI]ȌbsۅD7 X-e+?[ X,+6Дq(H?^nvPSiXzA٭K]#WL=FuweheV$ێm L ZZ1!BMnM<=a5A*aTyI?2uVkp!ϻhHA."`݈F ;҉u ~K!}=愠E/6t)oRON4XQDpK"Ӑ yF n&GU <@b55ծ<و\F2! ).m4׫nJIې%^k3@- JUGQH,64cۨ{kAYw􌷩tC0,%cG-|TxZsahЮ$>nvA"DݻSH̼Z֕ C?-6G ڭN?zR5"&Q Jڰ}V h(\H嶶x`ӪH] &mޡx+fꪣ7WzI =ܰ2ùvQ<nO H @ɕ=:H&\ Ioe|&_T (FVC5(dడJ!NM04'PVuw Øx*_.^uoZ$&Һ4.pI3Q ~'gOh+ 16t/!c9qul!0:ffu-KyD]i jyqVځAF^uқV {/]r{wp+({&b# (DFpF֭b UBՓ#w{!Gih*dd0wXq94G9SoLVuv!o΢xn=Ipf+xR<@{{t=ߙ*m3e|5L6cȾYr!be&--MhdB<lĝ6>{SjBP5'dh*?n1 j..v@r‰Cq. eP:[1Rfwޖ~JﴉԏK_ ԝ2Yb7.!KJTc㑵NƏpĽ=Ԏ3ru6xş%1{А%풚 'UUw_EJ|4wS;9(O (/;nfWb]~@V*+GQCѩg-{#jr2}s5O."{q꣔{sv(  qdj͙A5מKTSwYg뇝{m(.Ph}}^zR^BSVjbd_@}9e8Z0ۃ<-h 9lV9@ McЯ'z`9 0EsrIHĕn\;(%k)ۻ*y M;|SP@}U~뫏JO1 =ֆ xBKGP!{UC@=ycTXB K[?@?4 ZAW~7m-POTmCfVgH)S_.K]X߁!2?u?p>!g l[̿>ʼnI0m4{k/OC?n)}H!ŒZ4.g ()A|@}H)z =* R!b^zm:oÖ4|>ϝ΄f $t]xk!YyF,1#=~,~E=ϝHtcP 5f-|wV%jB}i <%ށ Cgs\C 2crWJSJR 37oJW u6Ctp3 sD崅g5c*'l:>Q+';T|"ʦ.GF7Y2R>1T7kd/βg9eSYzSohִdC=Z|&DLLmMj}6Oa=+v%U皩ۈ u}W J>E3vG\&snž筆t;AQuPY"YDQC{*?l1 =?@r-a3ѐPIǺGP"`XJ=SQWS )Muh<.r,4QޞeуCDِЁO}"D P"l0C[*W۸4Z#NC;g85=m D8ssm@eވ̽T B[3^}eٹBm≉9\ XexՙV&[P݈` 62lbTERWԬQe&<ІaBhH I_?ʈ x e~aT_]b%:SA ViuUfD:* O6/chpj|xhQn{UOgWݦb}]qoP{g?w " e;,{)HuUQt l=$keY+ YJLRɮ+2N:~俸f:^t0,Y.FF P@Qyzfm.L=SցtZ@8s+6ψI)$75&W2\ڍۓ Ԯ^% ?J0뮗蕀QP;&3C·Jɇl1؛PE 76UNWƾQȎ[7&.S~-^M} ğ[Ò<%$cnŶ`TL,[BQ}9SC_HQ4PϺq1vdBL#1@rFf)Ns_6&^DdKCWV۫+wRqxx:7 a,ؼ}z# 3+XԁKށT"zR\#VFԉ' ~]M3ϥs>֡"9FWCڡKA[ӃNNNAAcYşMX0_A1;oX?͞MsLcYempHN{kܪ¤T 4R5Hv-VX@Hr% <&\~N*ce^篝Y@fpDpW"T\(8]F~#a2mۃ]u%Ax|AL&ӠD[m]v8 ù:m12o}jMho}|P׆T"xaI9~0-+dz1"] ``©pֲE\OĀn$j+Ŀy%??KBGjE%% bImsWqrd:J3NEz[s^$XU^O s+j `; 4E̙5.{/--zza6$py`HV^*L+sʹC~.{vPB3[*J̘U$V5AH9.58+k~IQ2TKb j}OrșpԾ'5pa#>a@zNc3ˋmE!f飋SlϜa[N6Q],^qWycv/* ;փ%wukp׆6.Joܕ.m4`UGBGi94[do1st #e%Hݑ6aƲ:>^ʤ{g)Uo%Yr񎰯T#.@\d׉LEGli_x>[zsyc|soZ={F{wҋ iFϒKG8$hxaG?} "חiY-='kAxU͂'A& AXڔ\q+=s%[QL=Q")RhG?%!ĭ(2;ZRBl>PE 5)Aꚠi&ZZAӐ,i-kz?w3ar,xv%"yO}2C_[J$S2*My=X:Ǒ~MKJӟTƒXVĞRdLTpUb֩(^;NZ6\ҪOr9> tֽ|sѲ0yRZtFЧǑ ER+{P.Qabz󮃎W55p+Sǩ@K!P/W~(OsSNSܑM"i$NP?[YyOj}E8f21~^lp%O5ѧ;4L_f.bEc2w^jQ,lu:otK,W>kCWϢĊKl@|D5 _R]Zŭw]ٱIW]UGl)>o诼ДwۛYSֱUy%]9Q;{bsU~>W;df GOw.ȕi:?0K>,We-NߢFsZƠQX"Du"4胓V]vfC1$ ~^qgb%EφZk0|QF=Dx5Kj,^q{7!vV:EOьM"{.}R)@k``Qnvx޿ŠjNe 9co|NfݹwSt،(WIi@*|z\Ec~`P!yZ]a8){6P9zа%]δW#!q)ajœc{z[ho(Vءڪ ;&N0(c"pTwZC惗,z柁:#.~-Vte{_걟Fۄ̳`ڣ^ eMHhrvV8PdmjϮ 1R5W?) NDF@_غSK)t 9&->rd@H{0IwQ-2*:Yy_@0nVa!4=O2Ҕjb 24|$sgWAGϻBVfKF$2 |Q(Gq}rI!ַ0}|C.LA*G[Zr &@xg* μOwJ N'^qWgAO F9yɻQubb']̩!ᖏ T=2O'ލ C IJϒ7ڿ q~cZ(POoü0FM_ehVp'g2cXs]{DL͛+ѻrrrG~=vG/Gڔ5{KYDcxsDe㢁kbxQЖ{ B}tB_mj)#N;|)c LBQZc|tKKp@/+`d'h>V.'V)8 -yGq3& xV؋R{N|?]qX%]FAdq%:D,71ܵS,pF<2}xx޷?o+fu FT+l#1":0v =4)x^*)r=Sٌxn(H{.[nfmű ۗz1&6rER:Xʊ#$ͼ/4^n㔂 'd|8e zتTSrx"ƒ_yih b;g?^Ӿh:4a+EOFw_ ̂ Jbp \%CkzּwO@)DK*3S܁}14lu.I]۵O0k*8B&DF~v.` @'(2~ UsJ9N'z*,o~㔫q!jeKu`Em!1)AЇ1L˴ #uBhkbn. Ӿ_n6ofV}w3R1$ʧPf&29./>x[dc?, *u>0ŬGy&P /L4{{ K|5us߼-6xM67֞nHL}6KruRV~Aݩ/ 4QQe2gK]kA#$ G f/H J®;6Ef9\@V ͥ +K5f