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 ! L$ ]]]HOL-Proofs:threads=6elapsed=553.248cpu=1328.560gc=129.260factor=2.407zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟu1B.!y5B ( ]~J- ŷ㎧mpfH`Udhgs02*lRa!MB[ lL51С|4uA5 3b4 6­4Cء~lfq۳ˉQG9=tшSf#siN4~rôMYj8Gzn e Z7i8X4X"Mf$BfZwLxܠzZn%t%Yic*?l  ! HOL-Proofs  =jU8d ԛף蔣K\_8+''Fm͘7 nmn >ۂp;|]Ǜ}nюgt*i|y_'J,Z* n\R)Cـ&`TJ+x/)O0GgGoaXlQCPOMJt(\!\g>4T~&#]`'mg(;^<"s'e}QU`jփ>tveTb [SJ4'1I;$MoR=L2G ۬ d.w#c `9.79ʬQcpN<|jAU`Fl}l~f vmu og"/$'Wf;|t QBj4i{͐p#bA7K_`v>pLGOQڹ\H+t$8RW3 }?Cpl?g6[+}cŏX RH/N(Ct+ `xܖ# 7^ohWDʇ+rBX'-vK%*Nf(ᣣԔ^~XRHEAϑ;ptXyE]`zSV4bU#ȢւН^C>y?iP) )w.Zrxzs.ku:;ŒM8V {ps&cK9x}]fPGRIh#| N"r)JI|p9ya:3!Н&vl&>ud h8/ԝWo6~Sڍ4|zKaַ8/?|?IkpNL5V?"K5 nAeHd{$Y׏m4XEs>ME¤1V߆F|g-LхR6KiGsZ2\= n))0Y>˓[(܊Qi 3꿜g+uǂFM'mL=8OH{0vטpյe6Y7xdg1EHT89YjU5y4p#-dY~.]dİ ~{ 明g!b~+Xpfbq^Zo18W:~gn#*;O6m W|UnPu]|8"&w)a"Y}]=I {x A`|XCҜ 3s(8o-}MI$3(X/x6荒N-jvbGw^ T8^@ݓI&|3u_{,cIl(;lfrq{>8At(~Ha1Gy"PQ-_)fj)g I"Œe竞j6-e(;:IuiܠiQ|r$"RL@p]_=FGη5 LkXFytF`K$um% V,eI~ڦٴCSmݪt^dۉJǠT Tb=3ncc{NIE74w:!xt[c@*e+\O;a6R)|*K5mK{x31VIKW˥yT 2A9;싎V0Aqak9%k߉2:Qd&F3$գ{|8M痋R9`([Xx!N7J[qza>Þ31\/#T ja*S@v?['q?W4]dbG7`}'*JųxYBd='.a|\_:jS'/ :X~@7f*Rm'(peM71rՖ8_-)C] a(BM?ngI9Rƽ-Ev{]1Իg5VzMYi/䵾(n͏^*ZU:բK4ӽS%lgMS}YL 8(~2e8.^bаu:=gz,ڶ`UDd 򽍆A~ɧf5;E,5_)6%kZYߥ?,!iRp:Bpx$ҩe8CЪPF}3gl.I*l9.^_bt\c7xi/4y'Bl\ 褠 u$|l q%0P$[631lnIfb2հ!gnBY J1JpDF}unQ km4m1u >D$R(Xj ETUdj\]9%!5R$DŽ=(fGQn䷲a,& HR{Z7ý3`8$,:!"5ځO6hfB9e FzFVaJBQq1PJ'gD-7#, |ܖ:WVltjS A/eXY@b7DdqQ?ca|L/|L-C`Gf5ܰ,.ژzB!OZ>e,xOqnF3A{R?z^\{w^r V4}`@\pho4 ?D踸]^kчm)JN()`ec 3qA.Ԫ]8\HBz0uL>$2 Q8lHDibB^SԨqdk2c2%j7|qv˓M[tjU7-֚c;T/NZz9 wTSƪ5-/cFYvɸSBqN)*t㟷jfñtdq0thJU :@n K ៶: ZZ/35㴟g9iIz["Zរ~\~ W腨SEG< Qd[tH [ ڮXQ'^ \gAQ%> :5Wdh IU"AW8ɗ`^YR:F;Ye~j7g񨐞o'mnFדi?Xcq;RG'pوQOOײUpnuk{)©t5ܹGr0rp{ PQvT59r/(}]ReFDɜWm)isrbtC'V,bEr 3=Uk!`O}w~j-YW/|gYZ7zXZִF! _]ŗXiɟ29aoʼz[%U>EM!!*XK6AjPo`<[j=-aɁGVcJ-0Ƥ6-rf:CbU:Y^l&~]bs_30ܘcݢ9QߦderJCB@A ,\y܅x&6G[OFrЏO\4-ʖ=i!9:H+.:pqԅCӟ`{#gjc)ɢSւ&%9Rހ7t^w|SC+DxQiF}3s6[:WhLxzmK8ۿ+EjfJD9\fOaY"刕Pْ:>0[çEOScdתoϿE>2+dbw7HUÀ<^}D%!P(py'/ĢَU2~Qe ,_Rګn\4ڻ|7R)TZ(WZO"FZH6+,ՆƬ|OtJX)ycuO#؉cGnz@Re)nfآ:fA8w5 = e:g5xbFa"lGL%WwRc Bdyؽ18)y٪l.CTtr6h/NdhMš/o&Pm;<4~j 27$):jgYGm|+2>B Pp7$R+smL| ȩmƋ^/ٌP?+e7^r˦=Jh(Z1-QxWA fBmP} ||_D);zSGD jK%X =.ME:zU]"b%:)eG\Kޤ]ƒ`1` #IM[ͨl 1V_(4Y;wfPr {r],dW(k_GU~;O|Z|C9ŀ~TeUO2}uXRNNC㉆0sWC,][~+2!AK֖ZO[h+FRw.nŶ ~t*ŭ<3RDv٠bjCj~a2r6MW0z}ӃM*U\tM1/x T-D2{hm/<`Pz~D~aS acjB }n[*UcCta8_4ܥ$9n[Yњ8ҐhV hIK}Sǃ̍uXv1̪ &Ih%]&Ѫ!i*IS^ a~2G?2T$e;` 0 zT@q^۱.vᆔ5Yf09ao>i"}*D&,nP1 2Z\~gYZ7zXZִF! Б ]ŗXi%B۾=H!B_8r@ U,y J3g 4PX&X=uYxRs>]9e# ^SZ5C=SMfn+;%& 7양`= |ZY0v9U7T)Cmq][  \3Bf], Fk{iNH^(ceB|q7Nm=B՘3Yl>2I}۸/-}0o2D\A隼a`*$[QQY\ mXAOǰu-3I,ȑօZ81.}㡰|Ih41VYL:Â=W3֠?.x>u{r <$ zLa1WIg}0,pgA} ܪwY0irwu4ۼq(svzӨs٤'Qjex}1#L=SKrA|]HM_|ܰ1h.v7!s%N/5,I $C76=(yLd:nS!B%`ՠCH<AN:&䲴NuxxݘZż:(S 5/Qakf ;RwށcDgLbF1Z. Vyq V;sp3yŀv)3o- H)tI?[4+s1fN'P !F{P(w|eHRيx_C'{ݳFD235H!j*ΔpԮb0zJow89d!xGיMd]a`+0Q}dcj{t,]i݁ɮii&=i3;\ mȚ'6;ఫ:Ұ#:/ț+NU-MujQk_)!KnЭkPN֓m\BҞח@ph@SG_qxVٗl'>J#GʀUDXbH)v!W_4''hKʩw-j~Mպ?c |*z\ͺݡ'V-onhl2)7J:';i]=:~6>O7wKW:`# !w |ά y{Kk)t(w((E߶ЉG|HMd"@7`+9ᾔ(y;lU&b֏._gc2u)8t;f:vz] ]G";w_wdb9!ױ؆mZ\XhdWx`lKв&j%qKm,pg[[E :FZfZ6-V zocS%qM̱wڽ:`>a g?Z"#H掊7-p՟qNm禟O%Je7p]eV ^>Z?-:bd jW)U| uY0vMU׀~<0$ -Wm5.T—ؖ-@dVY;fc0q{/h{'|bybNL/'Tǂٜt Fck4+Kr(&aڶtRRLkҩtt=<;X29ۮoՒZ杏 W7Tc< F1߬|kpr`FSm/N# T)6xZ0́ZJz¬QRSQt|Zv庶rpY9̦5 zxbp/}%aB^>0Y,ě|V5jhqq?W-(`aAtK_8y:JfZ[wM=~[CrCt6hFY3PwTPyh`H`ҮtQ]?|;v>Wr!Z3<~;#RrcV2qLFB0D"sS6!eW>) W>2e1S H5x^M~&E`3g+Yۦ,Z5&+Eqs,֑vaL/Of ^Q:n?ŇuA+LB_يj^4mM1;2QC8gW2)GL^̓cꌮwl{CZB d$߬+yt :{4ig(XTÍW0Y_Z4l$@ǣAsLDm(P196CImK|d\H|(/7Ғz(b,0s\O8 j B 暩!8R-OY1n܂5l(Pp^+,3gy ˣT#:G9Z f}٫(FBaE(slryI^Izvo Z-ӁEXE} V SB]!Ej $mApXM`zlZ)Iˁ5j08]vp|cπőc/5Ζ%A=J% [ZvUEr꺣C$vbIR$4DX VeeP`syQnx$|$@6صr;/bKNwVْ 0F2#|#J",5kB诐Pvz!m,k<7DCV'7-7v7.2qu`Z[Tdg40Eha#݃1KYt]Ըnc㹅BdyyT8J/]2<|A +%_nV GWe>_s *eȝdg' I ]+eYGᎱ`le@!;.@>s=N1rQ[n6xH=ϕY#`8k(h19VLA..1(7ִMɸ8044 ܳ= r@֠r_-Znb0P o$٠DYB2CL9Ցc 6CH%A2[6ھ2|ZC=BaC~J&G2sj\=lv[wN*akgN-[O_vZ.Q7o7t)F{ȶ%s耖[`3̲㙯0vcz=f\Gj8_X:CxJx,L5-絸őW/axprW+{fc}:R\H,_29mG= ƺ dqM/ґzO1Rǚ'αcھ#mg)p)*+6"qaTYI(L2isR} -^jK&R#nL$ӧgMRru4DDdhه ^!P!cE  1jt-yo̚#b",JhQ46-*VxAqШlJTOlp %vϹňHeM$+kI"]gE^JA 9̩{M;Ut%:"”nPnڻM<4t?z̐K9k]Pa/ة]W&=m.xQQYB +qLo} :gۊ{ ;n[ueZ^72+zZ*$Sl1JMTov}eMTM|TuMbyg{],/$d<>w@tAoa1Id գ_MjwTc~s`KI7Ĩ\bEGWtB4@Y =y C#{pK?]kI D>O#̙ˉ.󩘙)xX ^\ZL)敘.opMܓGr )Blc[?\/"6y"lW<}x&bY(cQ F2id֦jUVEC oB*Cf?3n:38p^_7}jG䅌&yBch2V Xm.ݴ"<3Ƚt##?36FF#6UO9sO:3n>kԫ`tP(-?ؼ\S X0|0'eͦC_8>v&f=y3 ,휶RE W=,wRj !XѝUUɳDS*lZ`,WX :{t*C^X0~: \ ;]Ln]~Aʊq^>jbMϣ1@ 汜|"2Ҭw#9Glkl=A; **g eG/iXO_ɁL{ߴ㜇Q4{@*vN|vm Ut’G 8<р/SҤ/sT]@ф#Be'=mIXYb"f޹V#<q`Q7?u6gaY`yR8B۴Q8SU[5+ҷ7j/N+E?U-}B/B; 3y+$%)\{Qga*Wm#_EbWF9z>*z% 1<`r1:nC1a*۶ o}|J H%q0JN&ᗾ4DFv )ڙ@ީ߰L9/9Ԧ7 pevl*m͵qblsuaNe~ʎ}e7I?Z;f^.W {LDӯyU=+wg#u0yMj%Y3ool;C1HQ_QA=).j:$Z Y{m.B33h+`5~ -Ubp ٭UÝl֊wx'#ίGq6¢c&<( 7o"R<3Lô(nNb:ZJL {Jq׎u?UW Jԑ?{2dco!3#2b\ lHG<},UU'^.Qp̓:74#ß[n8l@PCU؃ j#2Vfp-Of dO6A|F=V[o{}53)=$T+rڒ#0QxildNѧ4 T."K͹?)n*u)涅@h^ކq@[NnS<П!lQ*EC^|=a5V xWT|%ܒ~,P!p v-oYFxH:M{X2KוFuف Bޣ?˛vLsSv(/\,B~«F4KdEȥԏ)Xũ ,uNtyY>7ê0MDD>oI҉ՠ>=?ruEi7$yN %K{<& 9.!_欢9CwI{ml6msU h4 2-ϱPdL#K@m3\t)KC}!$ʹi;='{h7"lfY0Zq} ;s)Wʒ+.`B 1g4e?iix(wuK;`/T n&,+ٳE6x k$r>byͮ~)]{E* "R t=wZ-oe=o{-w1O܁(l5 (HabM5N\C5BxΔ|1>frj;ϝ|{ x:B'SuF @8SR'H#⫹H,RŠf3&UrI/ѵXS%EGWj3N8| ?BFvjըwä!?UN9oI$7a<%mG[l٨4>rMho#حۗlO>5;v/k9 ab.*F&ngR(t [YOSGa]Gt9K"0o@l,=T9kx9@a:c[ hƉyݞ2LV:/FSuJëv^<,%b.|㲐h $]}Ojn?ZY㢕GK Vj$ UjWtp\a}0sWA~Y[zylC}{ . f? }s͍ FBLBRrIOܺPQs8&O-Kr(%Ri.e'2GHx`Hnz?F*Kʭj5~e?)smA Ɍ*';ݰA(B׶]Mo_[[P~*a^y2d fr|WFj 5"LTW]8 pȠ!i fEvk_1^kk !۞鮸?emh=4 ervfKTz mDlD|?TT5|B|E r[iDGBk/MժRz/>DlhL2C "Au z 㥥2*Gy.m;FUH*|VV {nj!a\ T=L/,(04ueئ3XjP"fGd-t 9?‡KҠs DDs}h/Yֱ濏ôt֭aȑO=e+ehqbAX)J˖-%}ћ`O/&F}\e)ۦRa귇>|.tL7$@Z 5(t nm-g\)c< HF[s>( nHA(̻m2G+XFLJ꧀СCz$`دWQñ;l=sM* RX[Y%f򮪘Y'"p3"BR{K%GOnÛ Jz@9п7 D0BFY] bٺʲ |ޭc{#*12lc,aBIY'>"Eat(݉FXyC^DӤ `g#0ꦇ9op0S}khte[C#v\"OyCA睚 /%es|݊vA :uDPEN*%ѩN '1aL+o+CYY{,cbf ;P.8txeǶrVQHo7ajMnj)'(dR,+uefr-6mg(OhPW2!6$L@tDr6BWh$М "x@|mme}#=`RU`%^.QN%[goIԶ^1iaBeZەft-&=;cp8w}UScƎ/ǝ.ƛc0xt F?;=~}Yܾsb)I:GUSrȜ9]4^{NWdHI&7Ck-ê!:K:cg;F$*s,+0wFp-"6YfٜlFaW2]qARn#?Ao?&h.0Pe?':F\k=(uU1ْ$p 7ѕa2qnT3A$ 2,kyVwqo\Kj1H[x-ͿXA'<8h ,=ƔmcQ=qRj:9KyCT o腟$u!90Y;`JZr[IyZH OCiC Q89fJSrq+ fѓ4S9֦uk䃯Y Ǝm0H&u_&W)Ul {kPW< `[F"(j=MC\"I<4#l6:ORWSRE0Dvs>9(_LL|&/>P\3YOgY yLfUFyZLkhu#Ӈ[ZS7+m2֩BcQi5]i" =^:8{*GoaElJi̓d$Ze˽ nk wxa0@rQ~1h+Ըt^VZ ULQ]xCoﭬqd ķ #j< z]@Dh,E O& n9`͇yNda rSsl|,VCm:~'1*vx\sB3K.権"tqHKshccL45Jh <)KW9?C W_,e0 pN[t^pFN]oyj47DѦdAs>pt1юL@Qr#B)R7O)g=ŽWPR}㯱瓬 *3Aty2޷wqqm)H|ca=$0kV=ؕ#$]KTׁ.:/uvf*HNmC3!X]{Nbº޸5@<g:> <`xhI O5~k𸕹̒gIF12{lٖSUUGTƑrxBhdliRtDVxȜVg t & 4tAv) Cg값R"O'ftMr+=AS3d_3 jVtftw8S69K! ]xP4fɱ9 l]dX,ZQȪ>>Voq5򈒴hC2l3l X% '`1M)\@QYpvE"Apsӊ#z+~IUm:D>߹ ~2Oq6L.6mp14$%X׈,o'XB"aI Hm'^1J/3]WtQ!EUJb.ݞ).64u~U%{OKxQigKjA̤vdea c])ÉxɥL8l0N9^-0+ *{A''||b<+ϲ{,ݙv|yȌ1E'Ο'>Oɔ-xD.;g'Wt[[L|"T'n极Z-;Q oIp^H_hh4h& {e]]QOa%ᦏ7cb~QwĽ_x3 fבiRh&h c4}[_ >tsEGFqt؂f1n>7bv;#ev 0t *KSD`ttGe:.a 9am2G+1YT%MHi1MI> WxrQ?xsWֻPҲYMS]x^4MB$#>(Tµ/ɒPG2hjRHX (s@2jC=dC5 u }zݜZOSDٛ8x QNt՚G_` k4ڴk^Z74#3OB"},+֐ۤ?$/ˍ[WL>5[D/Y'r/, $L:)T oã{JPdlhu|w6Bh`NscHĕp)$Ad0<64>²80{hsAlSi D*5=v|7R)HXVq|? c3}E}[[l}FCf$$ :B#FIZeoo浹#9* ^k+՘Ca !n"gh < t:x^p zZxmDi ]b,m(ޚ/eTf¸&:'E{K39Oqߚ*nfXw Uٚ$#.Lz)< <`9z(wȰkɡ64{ v3bc(49ewd&e2vuq0=f=. 6ԗY>y;m .Oטs2S1i^9KʋdZۻ]ʰrp ! hnUs#4+0G\r^ {?صGE 4t eMAj&zZM M#+8ǽޏ݀& UO,zZ8RFd.lL2# %H_PՂ5Crהƞp}3zGh[">_F} S-ەB#JK@*)sl&tÆ>uNB$`f^yXpE:Hq.O7_HG~x >XU*}Ѭ2FsNuߺ15̒/6x㻧E!o'6T:&a`'5PIj҈Imq?̳;}~qZ!=xє1oDZ[K —~SYOōnyȃά ~.?\ޓѡ;epp b_`ٵQMOac?D 8-N+?9,Bf9)fZV(mQ*;}~{V аMLx8AƘGxL|Hj8FrQ`ojR>WW8q9YcrDlT5 >AQfOE;ͩvud#7V)y |uPS(Q2MWu8;XP b.'YsI@t 6?8A+#XNd C UtYR撯sWe%Xi'MM`MI!زv#l\?>~,LO][s i̾ }2F$dp*%cfj* 45vWGw(}v`E{wli?@a2?$I mc>㹂pXiKgIxr/kbrHXa~ڱP?lJ*Bmr.o)''[o3ɖp1G")VݞlŸ@ q3ߢ΢7ײռȾI.-Lt14Yv CbLO ;P , |#iyg+=fѬ Û1Op +i :/2YޤQ3PWZ􄝣U=ѷV4`X>Uʼװ0Mש!zL-;zdO mɞ 8Pz}j.r JKB;KHW!\4_n}1?Y-7;譿Fϻ,17yݗ) MFO#GdPxgsi,+}\e !=*-"E YDbSOWRD CP0g4sm%E#_޹E_0 ]t\(&%7Bv /G]`}p\]mJ˪b{VJ?̦ pNW@XqI;9ޭWwBiqS `[H5nJ"HF=ײ #ҨhVLP^xvJ\ܵ\2n=ƚ>JXPMLڭ{V|e-  LA6RtΩr2PBZrȍY(`K̪|@ˎZB|kx_A1Z`;e3B)͖ >[K@f5lG9Qg3 }>؆fB0p\Kc0n-,%hX$2t'nM Bv?TUZnSa@w/t> E"b020` L0MMR瀲j)O|?S+{-G 7=㪈\<*6jafMVQ1ğ9fw6I*vlXbSj,0 6Hv" xP4%҉/fc= i}K9hb d[vM,?wN̿A 9rKɘ k0< Q3׋'/RT)ڪLO(4Yzj,gO=.XW!=N::WZb -IKs·ۺɼd2qK˔7_kj1bL +}r'2U3 9b)d]ܯ~Y,3R>1`k4qhD0a o}LMW0BJ7Ym?|.<6&'~JEnpZǾ!V'SQ_c9e_t2b9#EF\$DCnC-y ̰WO"˪&z0i C({M5R pu wF/ytYt-!C|9Jnkzlhznq_=T=$L{hp vr(Ԭ"" /E5r+[9L(2*xGHAYuu:ߺїT)u˒:Np !!a(`4ܺ|G62pBT {_KfB&(O31C3aqYRc>*E꣫`u4'ȩy>(g3'ɍ3WmpY6~42Ac)(cMjm*aߊFfX iH{[ g- T`XA3Z2؝%"ЋR~IFm 9aN19K,f$6r\[hV+3/ xCK%7Rcoa |FZ<8tܧ#IW"~L΋6&W"D?  S7 t[uk ~$<߭9d}\rM>jTb:j}?5^ *Zl7fӊ[I0r r$ZhT4N5ReA/^~3=đra5&?N9CQZ+?5:oY6:X, H Sc/ר{x؜l"o'\L+ 7PEs'y\=B9{`.g_ egJ'Xr"IUy~{Sr,Пz(F0@^N7Ѭ9Ix~SzaƲo Vftqj"*ѡþhJ[7Iǥ]m#or|ahn#wH{N%Я*FWt l'CA#s5fp2ı$,X- W&QX4y2<͑ <~>3a_5QdɆ!퇃07U4t3βAqC}U.K-WI~P/lYX!h(x+2~'FY=4Iz_찶6j{Q#+[~,Ι7ecy2 z<.8VXGyB8agKY)aznd@-6hI\uRۡ2w x']|rlZ !ksdeꥈk m^GV܁{: Ǭ~qNTrZAJp?"cli,(}qD'ZnÓkB@JW .$$CrMvNEpN%K` T۫#`X֞R 2t]25mS "x(}f[&6wʎG@S2#O ͛荲B,FgRa!BL&X2⑹2j0\t±T94àK55Q/ b  8SL_nDCЁ @B@pLf`̶P@7ȅ`ĕЧ;G5EIԖ!PJF7 &M"1P@6Y1&3ڮQDn /QDZs3B_Lڤ;lӂluwĞ,a~dғ!Lev ٌL{j IW!I[:wɢekrL[?qKe+(U>~92H=-|G\iK!+ %`'4z4X/V"K rڊ|kC{`' ¢EZz9Esې_&`'ԞїJ`!w_Y=$bb(2& E v =0JKtۣ,lIܚ[(M.VxQ^b]}V:-;EGÆNV5tEH$햡+|d+"D5' /4Y z(qyWL(1. sv.!֞2ak"Pa_V(: r*Qe0QΟ-B4.=dj꬀1H >` ڭ->[WO(u? B?ڌ Lsԕ{>=4=SI%CPŘW#)>%?2ܟLQMF!%&>gy 8 gpN69%T h_V.B/uXa#:[=)@<*ߍH# E9a}ڧ#k^]jRьݸ Q!^LH W`qDXSVmIqiv}fsV5stR__OvxavnKa˛fљhue3.RmgE*_-= Lced Mi~lA5t536bӒAЛ֠Gez*նs2TMd|5Vng 4Q RN̈i\mm#}z^:B,fh8^vʭ@o"@hP@4}Vߎ B#߃ɢ(.M e+kž*[.xf T|kFmyQiʛN@7°r ?PjgvR?T's߻G[Ɛ^J@,AWg8q8^Yfw^\A[Vt,E4:D|zj\v:U WxD.7],YZfuWYfs~t Y`&/:j+j^hbu9P>}3@Ol"${ W2 }r"8MJ0"MyEnt OZ%۠)q~X(@g=s#ucvw״R] I9 sT닕)3 ~K޴f~W'OVmWBleVJ#t)tgt>zWSmif"G 49 N]*\jj9c3[$XZwz‘KvO>P-a \6C47 I)2zo)s dv eU)2=) a%7+|ue4ڞJpo_GGl yeʹ$(UpKw솩C+J.V,l# H1@J|ޤ |#@蜗*/>܈v^SUn1Z_'G7¯~t @UoֵR7;m}&V}RRBl3/æBzoi@K^Ksheg&^NQQU٫L~0͍͆k@{2 tjQZN͚t! O"$BK/bKô;9V!k)މqP'B5o\&[,P~is_lGVgp"䳋 m|%czy/qU**StFi夈REINS&5oYb(p6} 9`d4ڕkX"iIqQ+dRoڅK6~j S >iAXuŏ/ ؘ"a&(koTEvy0ᯄr\rY%ؑ~|`ڤ.Jw{BrejK2ka~?7㭍k?7mEx\*1j㔽_HG||k&"DW*u77p-ѕQ]qN_,9FN$1ϩ akG0S1 ~mpxq(Qn1ա(V?h-9s)s5H0$b ۀi q]R-зyyǠMq!GVX\-~OOI wAE۬:?#Kˣ9v z8gt)r"60cS.V"(.M`~(q궣Ey]AYҎsG=$U|m<>t͂T|4`&l|cwp(T'cB!SѩR@!^TB_٣ S[uīyBMbz*}t>i-3ei&:8$;¾\?\Sӻ3XB{ɽ],9rFU- T:njY_D|eWbu)-loIj޶vwZ<ɊRs#i1TF "C|8X#zkOb&Wq3ZaxրD6p&B-U.Ѭ0s;Ø>1VPjΝ~قJ\#pG#[ xc4_d/ 2$Co%J4x3P)@:y=kH6H Yҩ.\ "?AZ q956 \jZ5t?1é!| 2?=R3%T& rIw)Rج3l|g>-ODwj_߶5'> 0ջDфL.H{~"񚚊bzqRaIZ)] v6AJa7\1SЌ4.yCOZdI(QV⭕Կ| @qK?4V}˘4X18F;x& 10ʎZ !US也qI7PZ9ox;OL)aEќ%h1y{x8+V!1ZSb;S>1s7\Z&O5 '- U /mv@6B$~ G6.џ(w3?|Z$5ݦFlԴ/fTn< 5a+ph{6P'd}S ;5taxu}_:ڽVtQeӏV>wVl{Ċvh2)+Ow1r;zYIJ|Op#4_O c\(oAzf4NIO8M7o,i[x9G[`U.D]r!yeBbM15|=cc F!uO/lX@V˸MA8lh&SS^mڑLOwwsQN% B*/{m X`9~;IT ]Af`@2`wҦ\y9 0Rn5]_k P.wve|3Ub仰3@3n_YX(=%8-&'!jJ(|v"|ljR9r^U׀`e~ xB2񀅘lis-}|a9͋s3ޣ+#Ck=Br8G0K(7i̦+b¯Lcf0|kϯ(x_[$7Q6ԫ{ݑ|Y쮗 =siQޫN!SVpc՛ Ϫ-|9TY؂_1@~Dn>F :j; @JFJ!,G+]2v mJf#51 "uE`_D( 5]kI!Կ8\ F^--)|?M77 |+dM"xyﮏa7+No<D.b?,s0뗻RN~֔P^v2pe($q:|+t@;#&.>v2F#ٶ{Y tW& {Pu1AUy pŃe:*ίLrρ&ǧ[|r=xz[ʇC ؊ސ!z}5opvaU)14Ddxjby5jG*[  U66[&]W6 6qJkPwwfɌpfGbk#:oSmfHFr9KDXgRqG [spݍ<۵ Cгѫ־G i_ +3hV)RAN`%t-_yyU4Jd[6W$a!\Y#jX$^~sz2"+?wRQ-)zWIz ;_1'S\8&ȘwܾEBidDRt=l,ѓݽɶ:P!~G!Iu~U(X Dji'( 佔0,N?)nݬ~KR rћ-47?K0H>m5Hߛ:SmqOA}͟}qjbyjq}ia*ܐP0f7mvZ켮 R ɭg[,g`z8DfCR(Vqal%8D줛7BU)Ky|̈{ӲpƲ j571PST5!dSIlo ravIRV <pl\SO6IWn5Ԥh$!*EնO!0<$7d,޺N|h7E\+愋9fR$חmV1!ʺ_b۟q&j\kOA! ^|l[~"]6_+2~~׃:P׹&'ѿ깊+hxmVv׭ L6CF; Sa.>&˙. :շibGḛSlFP "Й=J_3>'@`la( ` _1F I+ON;(֣l+/a $r^^+CyPg1ǫPR#` /QmW-i,ےxky"e<#E^]M7\;>9Rf61or\g`TZ<0lBIIaMD3O7ݪJK:^q+gћ:kg #aːAQ1`"r Wq XǾS>Sc!܇!Bcg9Nin qTIq~T- Z3Ca壓0SJENXH:&[(qJRo7tlolCMƶ`"Vxs狾•8/ Da?@tu6ZKlfo;N.D+!E,Lz.y\$YOOcD'_}㎀;-yPtv \^J;6ig t};v"iqD11C7~C(E(zQ6gf_(?g yF7tɾG dF>|\.7I Ie}r&ܭjShD]6 Bfq=V>BGVDje<|bfrE(}gK&O]lVjOydliUJ4DLX)k YjYR IvpSH&N9uޕq3::tM![;7nt q.gٳ>w U smA#pudE(a*S D?b]N1Tן 8ž'1[wK[wyly+ʔGπĎ&a9ۘiS2 ImR/ Yè"bg?&w zuفDcN6h iȧWʒ0c = @fmH.pVQoc$6ΩNc`i+9;+t?=to Pka @aV>@xs҄'Ţսw$*v unxVo9p|as)T~T3 |S;"hêJg̢o`&Y9}ezyk[O?BP' b7=9H! bbi]@ߡܒj^to ;߳S43BƵT)#A\MgjIcgcџX ɍg2@7WWP^3}44NQZ%ߚ zQ25zwm`M h"@&Dsb·Qc9 UP ;Dߊ!=mYdj8ɺ*I؜DSd%gbxP\XA_degкmճ6tേE.}1 _CA:"e^g}pq'v;k#9 @DZg`8y1}wy~-DY)X%"}<,[ f;xjY9k@5Yj c/}a~Gԑhʿ˿k 'K96䰤93$/I9*}ZY"](VQ!"K ,Q ue!*8Н_ox#RYZȚG]8:4GcvƝscoM7_yPe:m1;AETF|l~3ظ8E 1\Hކ]K`T9r#%0u`8$mAFFzTDqA/>f'UqƮP y3^R<|kTU)3}u~=H+Xܫک#[Npҹ 5c6X|naC3,/G3sЋ`+>CEehQx}) CiRXwک`#HS../-aCpߊ4MœFvl).V7S'2=a;d]&6Yh }3u_- EnB~%WWΑpu/v ]5LK{~r 9\}>hm!A<;=14LBA׾Q5bVJs>ȾvOO7.\)HǾ++*  ە~kV9(ka]oe|6Nƕozy#R݌isQ8X ɲJcYH10ɉnvkK\BKlnhP; f@$n V6zsҾ|SS%tQ/;eFELNQj]bw$ Ryw '>{m0T8-@1ߕ(.lac87+TҘ+k I(3Ӕ?O6g `a7l`ۭg fN,kxҷ9AIXyB(~os1>o6f:iz)LWs6!gd~ΌN?] fwwq쑂OjU2l}G'U| 2Zͼ؛|;Z2T{y2x4:zM > +NĨ(.w:Hz.v1Z/ 2oBH^`&HBlc67!0v׾qM?<߬y{0&Q"7ȥeY?VJFY`hٸD.UӀưn]T`ɓGKSD핳5EDsht{g/acDőU$ыʞ/` %CRn y҃td%?V/T7;fcm:hVzΣ$).J My#ϪXu7MM'_Q#Im {ֱN'1V>Cu2cBDlܓNF 2X)hġFE]*Y,C Y4á" 󼒴Sd¯?.;X)Iw~ѿmESF([Hp f0 (ڀWkbT9TF+S8JN㷁ƞ#H}/H {_5}^d"d*pt˝"ei")_)gkȚb'9/N+> ~ C_[ n>bcFgիWz:z1S,W)5:)64a1!,Jm^fኅev=YUG=V5e >7/hS+ՓXV!Fxdp-2UCe?,GQx %|/c׵ƧRr |+lmjN}%iΥgDȱz//\05j%#ceiRBnP,V N>L}#b^ĹF9>mu@PtPr8Sb~UlO!j[I'֦ ," lnu hZxjΗΈSaM5k8z!6HNߒl8h+DGxtW՘U aD0vy8͏ي 8'Uz{xKp,Tj T2]&xn4@6۩.e"[z$z'C_x5( 3qݑ%l !GYM|e)2Ւ:!0EҾa@mI.US驾NMQU(w$ ɕ;h-5ql13s LRw6W#zrDҖݴ+kVaݶqglW|"~ ƹ\ZsVSZ ;PYstNh''FX̷G- t<^ 1mk-Zhob^h0rKoSw_jXtDKԲq0tq~ukVe7j*X3<ȝ.{LL/eA+Z@ojPzP![Z([>j3?51"LdI=:3DXTi.s6$Iu,3 ɮJ#IKYrtљ !ԫ;Hbsb`*Brp@i H%q70W j ˥ !oi{X)Ŵ!Y |r3?ZcvM17Aiw74>7y*Q藧RΓ PWq TyR*,A.  kׯ6sp֧H]&OQvDFGK /-N `>9>u-AI3PI7q[}lcg[DfXa=Jz/x^p}tvQKbGnA W_W{q%fM1@79%j=j|>M 0bHhxTs p0{Ǔ\{iu9@6/zRwfēNߩ!ݓ"߰edb&*B.Gd(Z8*8CE3~;pus \ޙ6X9$r`]s%$yK_/zK,\*y#\VV "qV(Q&Seuorsqׁ։ڸI|8PAWcu)Z3xԐ ̨$~#U3,<~r$YwPG6 81nUQ5 >f*u]x]wz$3wU"gCPW]`Qƃ]֐EQC쁱&(&=) 5/JVN Yc^nsfXqCph:m@BW, WzhOBuu_rj;xئf{|4^ Y~5xkETXp ,J"ο)UC]~ jm2y8v<QmQM B z,GȤpo w2($8ӯu}^LT}szR߉nExGp`|Ca:;W}4- uD:]e3COJb>pږR<]FѢ~юwы7,O-Uҡ'fV%L$"T~ߟag^ı |sEs4|N j$ۢÜMA#ys?0KQ5$x\9k7nܕ3>(!2{.R7CE.9TAAGKrkN{ p "Ѧ,cch|  á 9t[riT,eJ"VrXxeI"Ehwm%=)+< gooBD2ܚȭţf7W{h; { oD Z:N3s]ԩ;Jļ_aA;S9JG!Km4i&ggffDŻcyشaKS\J(|ï>߫]_!U6 Xz%n3cpLB&Ph;yql ݨ@(L㘝%2S0,Eby  \5,=iOcKתP/dl}؎#y]mV2UCKx>Ű:,`++qF蕪hÈVb"B gm}? df3$]jS`!r>\=ۓ ?%IG#9G 8t)\d@gO-0%O2dGQfw^Ks@Ma\}0 P !aFT&;g wx?;z?DnE'k&\N6T<(s).X0^P)0~!s] /+nL(ts,/ ;u/rOIrZ{ ='+>~kXǎю޽ =:;8BAŧVC)E*\ :'X8螮;[!H04I-0bV @3=vsSf|c~Z:jA1 j2{Of !x5!x)zʃUh).ҍR5$r?;G?~`~ ՇVoH Z/9YB&e\&IP&“n.8Egi1@K!:sBI؅P z&λq[l U-1/cE,FE (spvW*m3@FJ!uo˩T<-o68SV紖·G Sԯd`C9e f 9ͭ'k\@n~ma /IѨJ_l6eJ"'x`~?Ypjée\MlTCOSd*En_dv1G.. O,,21ߏR{D_rGe٨NAHVy ԝVУId "1GcAL$K0W9w}[ jm~B籲O!/H>g3 @fՃVjX?+BR8P$xZ >n?m]PL?D^MRUoYe2,PF)CĪl䱆t?wk'd&HبI$g+\}| u5z޿G^*W i@1) hYu%V;7[a12bmZ}kvX!Kq.#Շ;vC8]CoSG7_<w8&,C6DҩX$0V%b|t,Eq'9rɔݤȝyo Á;Agg$:f/O]! j2= i?d֢;]͈ D67o|\"C##vbn%l!LVb`RBPxvI sALx8!PGm9Y-9d'zҒChžwv +,qGT~S@.L'gd[1(#%y>vђa_?l"V8fsV-|e\Q|~#AcS<曾D^X72db;ks=(g=9?]/Fzo>L+*h (zojbj&:е1E0Y'J5_`HvobbX\=!F]Z KO#ɲ\CA\N3)Dٝ8HaQ1mBma UΞT1kMz#ơ1%8g]HaegOڏ!lla"bHIfxn4d_Dc6m=`; 7jwP0{Cyق/< ̴V4Ao\ n $ACW|y2\`}&d75kh}W9ġzjc'N*.'EXf5XXaEaNE@bINbQ^*RQ!"VɁk {d< rpHYiѧ4űI_T|1IJ \_<=`{\|lEqw K\QgJ]4M"\Xdl 3<][h3L m:9HXk͍σ@P2 3jF6"_S<1(1-Dp^M!^\!#íH8 Crsk.? gYZ2f7562badffc573c2cf3685598ba52c35fe1966ba52852326379afee2cdf8f94e7105ca039ab9f980b99a48af1ddc40361a54996e7e6e2bce807f6cb