SQLite format 3@ .;  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   `%t,t< ]% Stern_Brocot:threads=4elapsed=49.353cpu=78.676gc=4.3527zXZִF! N]ŗXiɟ  Q .N1uY?0 e e?GE1@tgyGWF_} JF0[s&2wkQ{G)ʲ0,A(8m(m]X9WetR "vVEbESiqw/?XTڥC% $U$e+<~NQ3R!)C<[SCl2__٢'5`{WVhNGfûLFTW8(z~j*M=ŲDYVMt7bOSbxNbʻBv`dAk`MWp')xjЋ(CokэI!{>y-kbHpǘO.눊SCx8] 45M"m8;ŤW7|V:}:N4+œ[kz"I؆h%G=>]PY{L>Ή{=p#GXi)`=qmHzO]=6U f(V 31mۗ|v9o5+YfAr-#!KיgYZ7zXZִF! ]ŗXiɟ1˦rG1)IulXM_h=LbK#wdn梱"Jn|c\LE^Di}))KՀ`VâUciYxm?: AFϳ#) IFgYZ7zXZִF! /]ŗXi%D3ˆśSrkEN2|5U{A$ [ʆ7th]zuh; =ƣTnf?}A"gpm/pE<>.e86I wR,*l;kg%x 'e*ˊҎ!V #iZFͳGD3xn-εqJTIhYe;9{s| t81|WL ~lqUx1DܻK#Z1ㅘ;ZE%:;rOqE?KjQv"q{YT %wVJ[lw4Oq?H3C8֡,.lXrr:&< zOGmQ@j| GI2n_u`<N܀ 11B邂X8d /zB }If='<3絪R|"f #tXiUl޲@|QTmIY1X Gȅ k  #0_vOcR1@K~su)#~\].S$IN!i3TTŁ.9^*g;ǫF><bjt1XK'sQx2lB̒΅y1`&m O/ % Stern_Brocot !%7% dStern_BrocotHOL-Library.BNF_Corecdocument.tex7zXZִF! ෽]A-MՋhvG"uIBm58Ϡӂ.~M{{ @nst0}Nt.ZMڗEkc?YdBz$QoGG38tU*/@T0o.kP0YV؉q, q`щ" dDό.͵w\b.IصLYoW\=΁a6J}sM0'0MY "s6S6QCg?OyQց2078rΪ}oD\)9V` f4[}Ekr?U&nk-ȵX/p"-q;hKub!o%C% tStern_BrocotStern_Brocot.Cotree_Algebradocument.tex7zXZִF! ]A-MՋhvG"uIBm5_ ~r%f")Cec@lt2|e OE1փ )i7d"]q}c~N q' 5Z݇Fz̓~.oFD78\<ᛣ(CI><1X.R= ˭N }꽣lH@]OH2w8N4⨵/h5!Y{\ՠrԡQ⍊Ȭ\8\jB5R&бG0GF Lr5ǯ \ M8i;Do:s#]톼 gUxlo 2u0ʉܻ,|6,4a]M%:V 5Q&FĈN~RKm{EzyY1ex֯F95Q(NBE6rqTmx?䕩E!s=kW5TN&6^F)/(XWY5?{Dg#)VЌZa zN,"]KDؙkϏK&Ωƿ#-.vɭ:u_(hY _hvOic:`I1w6 lBJf/D32[#Mg{Ʌ =!iGTveRWlڴ=*V2"+QGnSxw Br<%te%}3:ZB^WR[h'I11p@'u.~K+|1lteGRbñPb 1X/!H6UQëeg`X} )KPxF1/MkW$pfn7'oASAvC"ܞN7 vwپQW{ {Z^,hmiq"fNQ#hOH+UKRo6FEm7u8? #q]G̑j3 VO<MHb,ڣQr?$  I+i',jYXN& yQ\w\yR%Qp >)Ǘ岀1nu<_2=>/K_pQ%X;z"Yڴ/t֤?WҝWm:OYxMrUk<|ׄMSIX=)ƺ:)Nb*T(ei5g:y'PpPP\w,^λa_jXک8}=^&P*-\pUF|A1tORr%_'=P/Pu΁:i+~MyZw<՛ԀcocT{T +7ʱبGZ`+#72S C퓩x!<@D^Xv4|b$?^UxE`JJ5r̎H MHO0U eEć!U&[H!$,2Wy*pnB?VgeScѸ-R31VȤ!{!DuSB0 Ջuv/eKԱlwVl"uäB4EW EhA Q.쟥aK>DqɺT3`ˣ0iPܐJ=٤ *f>JJas{4\ofw,*FW #geoӎԻ@@JrrWHs)0bQw~Ƅ[Ey“7WGLF˪:21/HZ"g__=0w%gjOD!o?UlY FTqyu#lӛ'ma[xbڮSP jAFy{c)<%s }x2xS*^ 'b7m=D_lԢ;_9ö1HA<m$ j^elq2D7ő`xŸ la( U3_`,^^* Ԙk.SHa`Z *"mkŸ92s6R|nϿJ_mN&z~b'Izgҿf,B3f}V|D8* Xpjy{y4(茂zYTHP7llek+Y*reHUMkPt,-+J~&H S}H9J@s;fvvbn]4_WD52Y^>\ m',G2"߬WӐLe4ZЭYU!T㻯p95yx 8c)^]Dۄ f]~i#x zz&P`^qtTk`- dz9=lfUCUg$߂0!{[z(WReҹ9{'C3w΁F2T;XsNSNԿhn9H ^&wqVJaiyhJַ|\S8 } |ՌR JOЮ8Vl ㎧X ,T /0;63 N>J%S &:* 8O{Jܸ Pbv%fvЦpy>R'q6W^j])?"lT;\V{d|s/mVюySڣZѢ]1-1W֪2pֵv'4(ɰxNE ]Gp,*:R73DgX}l ][v[V2wD!-qv$ߩHngGbsBFq~΃6{~:p{QtN2k+“猘`/aiGU2#Vw' ­h"gO< p8XkҋfRu\1~t쉙;i=7˧k:EYDf75 Q@lM9b!AQh ,e9o3V=4 ^,<%I%Stern_BrocotStern_Brocot.Stern_Brocot_Treedocument.tex1%3%Stern_BrocotStern_Brocot.Cotreedocument.tex4%9%Stern_BrocotStern_Brocot.Bird_Treedocument.tex3%7%Stern_BrocotHOL-Library.BNF_Corecdocument.tex8%C% Stern_BrocotStern_Brocot.Cotree_Algebradocument.texæ/T%3`KU% sK¥+[?>pMe̓Whf= td/œ;c=5ƹTE qXisC!kFXIC5I3;B^}/Yէ AJD-vr{CS'~~mC9uë7o!Cߓ-t/)m q}+<1q9q&stQh]?iw~iHacEFsF:|$ڥʛҫvNX"t6r~O<dqfL^P3"% _^ΆCWW(]{廃_xL3 YfΓO'B,&v˪mYBҹy[5P;*ٵ\LyGOiQ}BS+xA-]E7'(X-_d>zw:y Ӟ *rF>tv|> VrE4諨?xm6 .dĽ+׌Mª .KXK2 gzJz4\=1+Us:n5L ޾ݯevn$UR:Q[BLYNs1 9o!>T- J`q6VhdD>l%nzDy/ 7eL"yo.jٖmS2}?*$i+4{%^eRHG^7+PÑ 5ݘ4.$eDCf^%oYGYQW 2_Q*hI٫9ԀdR}ddbnE<=6~f zFˀW: ^p _#NͺoΟ_bhiVrnA bgSae+o*g(SKlT#nϟ9C̚Ji( +O"e@gdzf nIYP핮y*wJ4˟{9V y7ySSvw6tD KI9L@O6k9 :F煿==@XNd/k BwqOw-KQh72`m*jav8~ߘX i{Eu_#\E˓O X.`e N'uZ8c4_cZG7Hk{, [謹tYf>x{#au .W qݡ^ ܰ8+o:R"f(3jJBB%k.;1sjFM, _ݵRH{&f0%K$GK6!H.;*m  _j(QrRjc<•l7ְ2hSDȺ}#Mw:,K:U(2?4Q9^+FxPXk+(/ò(Bm*$QZ$zF᠟?A'a#V#se(i̅Ux 'DGGIu r֏k Z6HZG\{$T@F&Zl46'9d͹*!]Fd1o-?%,Zom oDž 4Iԍc-[0~ -,Za}Pri[Ro˲j1lidcs3+vFr[y+'+`ޣ4Qu)UA`![d: ˩I], 4yz<{`C Z"["f #BgmJۈ27\|ANɠ4*_ mR"dKMGѳٞZG a q&_L2; "͢'Mm#5/7ZV~;wLҶ}nCўab_<&n7d AMI] g(ځaXH۝P J,'%a^q\ʄLM il 9?ӀfbufZcۅ<*b _D_Ы'u&<)U?v!:ahZRݰW!*/#1X`I>XJ)Ҹz>DKLܙGlOZE;mbTl6ΠeQt4d\`;{Z[YF:RasL*?oAEZ;V2O^tNTnxEF;QvKvm0uNibP_b`+vk{}#͊,{bf'h("ґmGb7*#Pk PRburȓus ?#fѪձgYZ bb!%7% dStern_BrocotHOL-Library.BNF_Corecdocument.tex7zXZִF! ෽]A-MՋhvG"uIBm58Ϡӂ.~M{{ @nst0}Nt.ZMڗEkc?YdBz$QoGG38tU*/@T0o.kP0YV؉q, q`щ" dDό.͵w\b.IصLYoW\=΁a6J}sM0'0MY "s6S6QCg?OyQց2078rΪ}oD\)9V` f4[}Ekr?U&nk-ȵX/p"-q;hKub!o%C% tStern_BrocotStern_Brocot.Cotree_Algebradocument.tex7zXZִF! ]A-MՋhvG"uIBm5_ ~r%f")Cec@lt2|e OE1փ )i7d"]q}c~N q' 5Z݇Fz̓~.oFD78\<ᛣ(CI><1X.R= ˭N }꽣lH@]OH2w8N4⨵/h5!Y{\ՠrԡQ⍊Ȭ\8\jB5R&бG0GF Lr5ǯ \ M8i;Do:s#]톼 gUxlo 2u0ʉܻ,|6,4a]M%:V 5Q&FĈN~RKm{EzyY1ex֯F95Q(NBE6rqTmx?䕩E!s=kW5TN&6^F)/(XWY5?{Dg#)VЌZa zN,"]KDؙkϏK&Ωƿ#-.vɭ:u_(hY _hvOic:`I1w6 lBJf/D32[#Mg{Ʌ =!iGTveRWlڴ=*V2"+QGnSxw Br<%te%}3:ZB^WR[h'I11p@'u.~K+|1lteGRbñPb 1X/!H6UQëeg`X} )KPxF1/MkW$pfn7'oASAvC"ܞN7 vwپQW{ {Z^,hmiq"fNQ#hOH+UKRo6FEm7u8? #q]G̑j3 VO<MHb,ڣQr?$  I+i',jYXN& yQ\w\yR%Qp >)Ǘ岀1nu<_2=>/K_pQ%X;z"Yڴ/t֤?WҝWm:OYxMrUk<|ׄMSIX=)ƺ:)Nb*T(ei5g:y'PpPP\w,^λa_jXک8}=^&P*-\pUF|A1tORr%_'=P/Pu΁:i+~MyZw<՛ԀcocT{T +7ʱبGZ`+#72S C퓩x!<@D^Xv4|b$?^UxE`JJ5r̎H MHO0U eEć!U&[H!$,2Wy*pnB?VgeScѸ-R31VȤ!{!DuSB0 Ջuv/eKԱlwVl"uäB4EW EhA Q.쟥aK>DqɺT3`ˣ0iPܐJ=٤ *f>JJas{4\ofw,*FW #geoӎԻ@@JrrWHs)0bQw~Ƅ[Ey“7WGLF˪:21/HZ"g__=0w%gjOD!o?UlY FTqyu#lӛ'ma[xbڮSP jAFy{c)<%s }x2xS*^ 'b7m=D_lԢ;_9ö1HA<m$ j^elq2D7ő`xŸ la( U3_`,^^* Ԙk.SHa`Z *"mkŸ92s6R|nϿJ_mN&z~b'Izgҿf,B3f}V|D8* Xpjy{y4(茂zYTHP7llek+Y*reHUMkPt,-+J~&H S}H9J@s;fvvbn]4_WD52Y^>\ m',G2"߬WӐLe4ZЭYU!T㻯p95yx 8c)^]Dۄ f]~i#x zz&P`^qtTk`- dz9=lfUCUg$߂0!{[z(WReҹ9{'C3w΁F2T;XsNSNԿhn9H ^&wqVJaiyhJַ|\S8 } |ՌR JOЮ8Vl ㎧X ,T /0;63 N>J%S &:* 8O{Jܸ Pbv%fvЦpy>R'q6W^j])?"lT;\V{d|s/mVюySڣZѢ]1-1W֪2pֵv'4(ɰxNE ]Gp,*:R73DgX}l ][v[V2wD!-qv$ߩHngGbsBFq~΃6{~:p{QtN2k+“猘`/aiGU2#Vw' ­h"gO< p8XkҋfRu\1~t쉙;i=7˧k:EYDf75 Q@lM9b!AQh ,e9o3V=4gYZ ;;B%9% $Stern_BrocotStern_Brocot.Bird_Treedocument.tex7zXZִF! x$ K]A-MՋhvG"uIBm5F)HQVs뽀>WBY59@jRN%6!9^9$y.T%]!\`"W'0`9 f͜) TI+u|B=KBI(`=vkmKl},lv#4J+~@]sq2m6ri\דxߎNsgC6}AC:1sZKƨz1uJ$8'U7p[!>Aod, HI|(yWy7Tb E :}ަ}haߒQ!_F`MV+aoY?Z4jGBU`Z|E81vsh; ܪU!M#- "9fVw&G'9)h;f`F2'髣!c, žƱIRI_L> 0^cs{=?wxq,f'n?Cng+(]Ƹ3ONiQTLdvL& 0,N_ѶqEvngPͳ~J̴p+Si2#Jͻ){@ \d( R (y\5/,"8Ԃj!\8O0.0MLxE@kcpmz ge,(M%WD|*G,nzjr g!dF_>S A qWN~Ɠ6iyGvJu~y͑HĒמbNLa3 ܬOY3E%̇S6svYT02en3lW9bp__kB[Gw&f0Ve.&zPuxLM?:fJX*@"b1{vz.&٬ePR=٧re=}ZS{S`TOQ$)Y("8pjH 0Yh:۔IwABSPx{%K+p\EUx%#H-k=MrQ$侺j| Ξqep;wL7w#B_QIdz;ԧR;֨p~܅Rt[ )( nqܯw5/*O"::xpnZ^Lqr;~>r!8'T> 'Վgq gB?(+8|nvRuBӫÃ+*'z} njnf%StNێk7IqϪ^@ D`ҫjr|uV0c|׽YYnkWqqO/,)AW0xۅؔ aC{%Gƥo4IEDd4®Rt:Sxo3Ou[D,M'B{~7LGm-yܕ7;x; G_ݠ ;e7xf,<0˝q|Yrhz`̹ a7RfvFqTv3הÝE%4 ο:[өtm. !dfO{nZ_ zRS I|;>$p}>vl4.c @VTQz3YC; ~gjwN(ႳފM,+rίN1~X,؆Zq} y=Ҁۣ8$ 2~c+YYoz;E̠q+,a6Ȓo`ISX_5RH1Gh7mq,LËPT)r3-)~b7Gq&y/!oM-b!˛vH~َ/+ڤŧ%r$y*yǹNwIz<&<%+:-mkNּUg*fZr]KcVжty(yEixs=9-.ڽ ('b9SlWBa#F궱OB ޥTA ,T&V]sK*{]F4Ĉ7T_Φc6gYZq~)8 xo:e u9}1ـG4ar!aHf=1f6dF@HB$_s2WNng֘-,B+ -^~>M#K:em2RWm\\DLS.VB,o¢s,S'&9؜X>mL_P|e`8ǔ' P.qN,8 8dLWÚjD \2LF)붟JacMe 7zzr` uv=8s3ߩ-g5@ՌհmKZ4r4OHk،Oy /N6^+E-_nῘማjѾ4t M?$*myގJP܂ﱎpvW\0'k9w& ܾߏ\]zFނX"`?)4-(lWnR׵Jlro'fOi#{|k&7IiՀQ#e\B{hzWەnA}+$>GJu(-=aC| 8ف8+4Mb)% qZ1⨽$j-|;X-Dos0eX16㸘s(nY# UYMK2\|} *{}߀[˗sYea-hDFSeiP&0:Ϟ`IW^VtA]}|*B*at^Ը|ټwkM4?t82N{2f\J2 PK'+Tf=R6 n'aҹ PC@Ià;5Ur;[ZhЃ6OR׵(|9~ s`nR9d<7yðz-ۜyngEϹݺ4ҎV)˔)FK>aas+?3]F:LL+6,fO/H\r2GU ՃRV<\yd^]]g;4v uMaGk/[O:ygq,XHn/*PVHEbVo[6Rf ҇{ D5 az(χV+_J*"  ӽȿc"fO+6Ռ>=+X.C*ɖRw%5YS .:_3GRa@mCD),֌&3T4{w߂$ Bs%uA`6ږJuDÞ~P4Y(>偍0 T;cp~}GdóqD l|2[]aԯ'Ln}e6^MyODp{ur&}jĴ%U^w,E^C0 [2(ֽ[Jn8}"CLX 5%`n HCC zB;GoBCl++\e9(-YīTa^UEi@}O({(繓 C@BN.t.9hvkFi-R(laO3 [.:cdcS^$|?Oj-{)P,fJDR̮xo%^KZᘕn"3ԇpR5S+FHі ,wͿvWgN~]mĉt*~xҮ5{(F~ A ` 5*8Pe{GSGS},eetTK cpyFQwDs[خ䝃$Q 7eSzQP1rn K?"MSA>F,D.zQQkVe7^z->-ͅUW^svGj"We2Ppqbcy#I"i>-A;')m'1*ن|ZU"8E)V|閾=|85;I&<": +dcv>pZUTl8ژiV3QkSJ^{?)j&"PlG@ ۝󪺨_Q(xFntIֹ) >v慁#Ԕgn:>ಌ+Z \g29RXz`pf (N7^{PG~jPze3NB7 /G='  [;"wcOY-PWV.2 ,F|VK ꪗqh:Fڰi:x@,QI24&uCꘆhY{OQc{0QNFG>ԃ#l2y25fƐZadë5@v}u.aWnw&Ҏqr#E7|B~ߙM*j5 RWJ3֥UU֊|:$K?d\Ǽ%[}\|4E=b[&-~F-k@xlOשSIҀ0IC&GoMl1U)ـ4͍cuj9OpB9SظG-gYZ s %I% tStern_BrocotStern_Brocot.Stern_Brocot_Treedocument.tex7zXZִF! p5q]A-MՋhvG"uIBm5m6Ju]DF%CT+ijH!s83VсKu`kTsT[MMl׃,o͠5L!hb6t\1vz01ӽzqguWngPAYd.[͗F~ a#! #8Io"\0 8>&kz@82?勊)()Ƿ}bpsR/AzR"hkMۢx6hRg^R>cN5&y1>cYiF-wʠrUjh."2r[K&3rޢ5#ȷM:B.I C䍻QOk *r or?!s)KA,9oRauL °=r_Ck;pOdfA0䌼$F-A1Cc)E"l|1Cx8ʂu6C-t_thBm}7.^#\ B"aMS ~ho^ܦ0ZBݨIs(V1fN yʋ1B6љDX@2Z +{V?YF0:k<>XcdlsqR%t;P_44`*Rr[?}c,7kFU}  j蟥>cLZŢWG; +%3% |Stern_BrocotStern_Brocot.Cotreedocument.tex7zXZִF! ]A-MՋhvG"uIBm5_ }%EҪ)QM# ES*c~>R")_̉Ϣqm׵~$:f<_)Sakzk~G;rw&/7O尴ܴU_Y?rӰy7917THr(~swAyfk8%Me^d80eDBڹC g~e&n2ݕ?Xy#[ ̓N}MU=9-NìRӤ&l+aRGH˥c̨[?"?>\ q B4l* >/Uɵ-s,.?oGM]抽ZeL󝣀vʍHn뤸%eX>L/M vgnXUxXF\+Oi*4-ZMpH~޶6"ɒ3s@你 KwХn峍7mn$6LL$teF1SKpWI"Wi$)RCY@oUh׶N杳s1 & aO4a]{+)< ޅul֟jVmn pNJXTQ$s} n{HM+0 =|9ȩan>=\ȹ hC><']#٢10?L3q>-{sX&r*HeD]!5F7Etek`d{_Bu@;"o@y$5V4Y%Sx߇r6:/m:)d.ڥv0{rƯ6؞SR"1~X1`~m˜4f0-R_xg;-n$)FIp\kr <dsFBSVGh޸IV "#Glwg'Lf4lwa`Ǚ?BFa`*q{A(#4J~ز30׊K_*S o*_iRXq+i% PIU'y18ń.D 5iIݿW7J+Js2| $!p].Wy㥪/1_^i-]Y5n iJa=1hIe(\ֶg4eAGؘQ$عqkDݐ DA3.z\U9UP_;u9!!Y|('>),`{VaVDԦjW,PoBR:GnEQհ_absɤ[16rvrbynAB 8` j5`X ґgcM& /_9aǗaVa$ ,ҹ|EB.80W2Yiܸ$GTEϾ9-UUuPB0k<7Eh.yQqȕL[ХQ #|#kD S9\٥ƲU+)o 7<" >`5u>o8arš,u$S}), WNCYqGp]XE09 OHC]ƏLu+rNDeD8B@{_ע#ihXgSw6J%c`^+0:}g~LTҐbǽ(qszeGmVm\G}E|<ޫgb`:{/"W d>J[ w ?wkLa 6ʀ͔S̊,_?XzwAY+&_5yXoʾ%t"ѩfL*$ [?m:<zh Ϥ'/-:K|/>=Zsf,}2qs&(,#z2a{ZiU d27Hu?/ky+ݣ1ǧpaR; /˥Sg.QtFʸB6sD̿5 Ǜ .cىne}Z=YUc\eЬع~WfA}ț2"xSčk!:P?kE1~hOo_oL3ց@ol/lHL?YI+OَGY?8רU9ēRV$I#7?ڛ#Ks]K!9#em_<1ȴ9G!E%$M:%sf>' |܅{.=APJwSÈܣ 7lieX-kϥg@<u劢 9 C Y:L'CK"Ao_L}|^@*3u0\q};ig2&4 fU&dd>b)5kt^ܭ IXcD&]27?yc<)G"ٲSb*Mbrxt'j7b(oUbQ+C,0Lc@_ϗI4g'IdaY`nz h梙0WVd)s:,@KV,'pu@b1pe"h'{=njX?r<QF/,uw 믨n}O_unK#N>,_!"q!cY37#0/1dAIMF`َҖ*É7`qoS44F2 ^642׳V jZ!f,ˋ.A5:#dQ~1q`#nKc4j&< p&㰭)dl L`#5xt葜-fZ1sv1K@rQ}ԭ6Nf{"+ q:E`>_SbsBQ@9l*0y YU) itP#o)׭wo&#^Xun e2N`!%%}լrZ}zȍ*KdOl Z!xq8韫otPю끋ҚilJ$_|-wa{ wV;5LIyܷ2-@(}=k/͚䩑TM@ ߰+ 74 z뙷"=JXa.ĉܺerK)"8$lCu'*7t5dCR,6XR9aeI=ҘX? ܨ-CqdU/ϱ\~F-ˊ󎠲KtU@[8نMt}C(2Wfn@&Ai@qK-xUx6/\wJ1߹ozu3[F1Y` 0=]a \ Z1)q$Kcr 5B\-Z@ݱ8<&xo_BE>U rgx F'qP-/4X×nvaOWۈZBU_>.}F0OsPCRa^&x1q5GkKa#M]Y]6?4KC,UP=?cҦaH9ն,.:96#3 MRkF+4q .6TXݣ}cyۤ&p5S  yr5z

5GlDz.5X;9-:^_T:buaNV)2Rt0Y?|=χвwfl$W~ W Ʒ,6XPvٲ//9ё]K zaOqVkc!݊eV Yw0@jqpZS֒`qfZ\m;)Ծ)px=@\bh|xB#xDbE_ʅ)} Dbp2c΅wc($Hr;qIE|gp ]'1 DZ7g Ȅ&TSr(gԯ>rd}ksA  SflgKlJt*EPEqO$|E@#o ц˖_/_RPK`h#y+H/>N(4e',H/去 U9~C2qKZy ;=%%M+ad6ћAypW=i_!}:%`' q8NwWh']>ඔq J1 q!yC622Xj*%u WOW ~&rD:ZL&Ai{gB!⪙ W5JrϨ-}3+_jCxp?a:ʋL̈́ : M(A$U;H6)0jP/ɧ)%!pu~Ok~`dN^FŚ<Ky(B֮9$Pn/LLKT>ccny!ܝP%֎L9eO:1Nj@8#Jrol3\R8`2\;1 1Kߵ&;v NWpU7B4goTNw2%J^Ee6K(uEf``5ɇ6zʀ ' C!^IPR0w`#ckP3q'ڟlTKY,L'URG~Uh82–o억},""*4xe`vRɲG@nä٫Ŷ:pbAÀD'WWH.Zczo-J6JDxp) EZ]iNgW(EԪ\BceʤQ'/{w.Bo"T8E{=a#BI2ypP5P9U{؇&_>*B4^?])h]iܸt{WBhl qIKx*3&Qk\vnF'T #0Ӱ553%ԼkQ|S뛃 >,? RUgr=F=%~VEGQ>*#9`)Pr`xI t7Vkp=.BǰVm!-C ܛ$x&W;W%$2.t7/DMY33Elѱ6SX%9lyCR U_J\L:w tJ^TH҆- A HF BJX BzHdH ()ʩ[Bo,t[PiۜgZ -k /oaqh8$LND[gJ5ccV\2. 4|E!rSwjz.*|^O!,+x5N9 m2_効+\OǦ un şj~g"61ψ!Rd%\un;CalaD)-^hhMc[ZPf\DAG{CIh-P3f@djG7YD$]kZvKiaSLU4TvywYLGU h^1 EB~0`@=͒PaȯбQN@ݪ]BPb\aKUNi-pŽ|Vx A:4IL j [^}T7٫7M, eLzpOYaFdd`7@0jk1wul17 ^?k *>CA s}N4Tipj^GnW0ifr|T^3zXҤ% qÉz9."@F &@պuH;`+Aiذ;Lf?I=ȡJM0pQfh|iY?ݳU^7^Fcb{aJ#0zDy ^ISqhUݣR@x/>_(m&KQC'~tゼwڅpm y'>fj bGCٰRwv\ hb88zLG ѧwz[/pþ{^@F?6Id襃%>?UQ Ưt:?5tPn+fr.?2<0>6pw0k>1m/˜==Gw>=֋8㐓Sv֜l:^4xɚ 2Sq$=8fjq,U΃>@)P$= /9j74=b[jfzm|05{ιvS"{?uKTc#N;VphN? 4jJA 99[h6‰6;z}ȿtF&wqY}F _x i(X RkkoJQ4v=X]␲xB&ǀ+ O1w`'s!1H&/IZDkZNێ*V]b;4Ѳk`FN L0]_QhESzxphWZ"0Q%t .=V$U<(FLyh!{PC ZJkysh+(sﳌhfZ0!خ4O@Gȏr<Ҫ%D#y/[>VKF4JL*SK| ?p1ڪrf~G 6k$YL K{XQ&uD+ x&.d4kp&҄qKZء T ~ɑ嵨xÌ8VT!uwL oy@F8||?7Z1mȳԺ) 3A_gaMlj*?A*y-oj`#;o9Cs4Eök (_̦|f(b  j*!D\ahC@$%ۑR #nuQNqWQ:"x:,AU3b<0(o)w5$f\ɮ."ALM &0Ya?'G.AX_[m5p7 *6wM~ogT $ MZ8B8@:-0zJW%TQeUCBK͂iB TPW32Z c32ysK]&`u?ĉUs,}R' %QqO[j\8x$h߼Y*;1|VHҤ#&5>ʹhDphJYCFV tvm{r&`nnKh8dLDؔ/0ʬ5sE* @eJOEf:,xl4P> -̕k/y\{5iBX&\FL@!>۫({[b6^竮@MjvҦǥ0;<jZ.^O PzYi(8XU* a>hv1 X3,9vR kc:h/MƂyD9 k;15V}T鯋fH#.O-XqOxѸ{$L&8`[)k7.S!cp!;/ 7< 8^_4]<0-v2ɕn]لU%7@]nrNMw孮3X j'U"&A(ahE{k2!Yye$˸x?j  S>:wTnK7y[?z|B6 |"qeپ?cZZ %nmK~RQrBZ0x)[Rk_l1[uGni,(5m~DsT:v/QՀ x6v`ȸư KRĆ' rh68,ݩH>τ}DC՜ڒ%;\Yvo=,n$=njs;)/hIl| O:cR JEOvB`p̃_6ݗי-t|h6t-hD']>p eP3]5żN3~JTNM~n |(-tE5G\GRXSD xkTB K &nd-| XN^aaɋ(5fkb8 n/AfAq߮l ]ޮ`ʠ"n@QU˃F6I꘿,MDLI>1Q4y]ao_ε.U93:Pz= (Վpl*bzMÂpjӔgX`b=<RBd]v*?̷p n2*r1, AazZiK7s3ZaM̦BmC"B J>H@ s4 |{E\!sʳZmׅUSԩ7!"i[Iપ =s-6 t$kN_$RZƋqs?Qlq)Mku녗zمsL&\_t .;i1싻/#)J%j"181Bplf&B2!i(4J@Qim(dQ`EA[E!?W+{4Dr*?m5=L7\J+ ^=ioZm#IJT6`ƻ#ɍq إ!z6ݣ47e$ʟi1V %"y#|Ei+^&W]18@L# 'dE|ܲA_WQA_=bar@ff<;L>^;\i5LǏY[EZdi4cm&U9F5L6JR$Cm:I u|0a5\dta~6^@Ӊ{y=zݷ`%303sNJ&=s,H{M:19ĆxM'KVBb8Hs:*WQ.MIEx癃 ktw{0.* ! Vx k0`񂌧q(z>\}(dOUa8 /C|e~e("lLwIjw"̹/Ѥ )o <;t Bi`d,TJEW&Fn".q5To:X ]"+$څȜh!zG04tmn)(E5-[1֓־k2 ^D2^Db]+m~)8f\m32r>QuvBքdc  0|k<8gE-XM݃p ,lg:\:"dYA-m%::9 E0E Z>w&a$a}2ei4s?( 0aʹWY)-IeVuI҄pT0DC@zs|k jjgYZY\;}QxՀCyA·'O]#%3 QQk0I I);D%U](bU#8 -5E9 MhaMa (Q,тi 'ڧZRX)*T:*ߙ%-1^gq YPx{8`V8BUM C|22cF1 mc=n$15L$M-j97sq,[wKGiv2Gdn:kq`l/$F* $}B nS@z~z`(>PK@ h'3Xq61oYelPKEY!RX L7YoqW-@vf̛aIth  ī:VCOL@UV qI<}[xIS|&G&̔۠QJ@+SMV hrK.#y1 _9H g40 $hX3pᔺ. S _7WhO>h9Zٶ޹7-Mly'ޞlR"^O8|">CaeCq) %yB/0׺)fEt"Hkc>Shwk7!('έR?ye͚* 4\(Hۇ_4m( 3Tޮ"f,^".)Xss2DP8-.(Ym'N#G=(+!;Ei2k%5l6:>{uUR'HD0FgV\אPa *l1VX9&4!k];Cp5Dtk^ }vN5D jao![ǩD[Oɖ卋Rx̕S> W޲$"D HKIiOl6?Q R"Z> Ơ? hoBþDTdԒ+cia'6>FF)Zg]ג=b (H4j#d2je].5(L5شrY E a)kƈX +bxb;]l$A؎MCj:RPL77 D|궹muK|ϧ+Gmkn_@!"E bR FCex9 ޶4?pT* 24pn=ǽHȌVMfq]ں;3M+OldžF.bqN$1:/?J΢ dTC@rvrI^3Bc"eڶ)%VW7n* T}1D+,8b/ݤ _gR.-Ü*fRNkSxB}~f1D|rm//ث .d7 SbrPA1n BI̦I7njMGW=#3jS7z:)\$u؂3Џ>TX4%eA;=e)aESPX,hzt{n@˶Huibb4XS&+"䐪`)~ؿ GxQa\L/ ÁB% fQ_>q$ YNWG1M %UBQ$ Kd_1Ue&K]wGܱ.CpK3qt/Aˁb~I FC<>s>]1?_ ,H_V