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  p%t,t\ ]% Stern_Brocot:threads=4elapsed=44.200cpu=72.536gc=4.1647zXZִF! LN]ŗXiɟ  Q .N1uY?0 e e?GE1@tgyGWF_} JS Q#X%I# ((<w w L:5LL{aG@LJIԸ. H:ioǒxj a{7,Nsѭt9c5Wj:O&"Ǟ^[KH;p9m) ׹P{2.__kgV{@CN*:fY)hh{odfL?qs8qgYZ7zXZִF! ]ŗXiɟ1˦rG1)Iu3Eak!b7TBnLFh>M[-lH 6 [Bg4:lJmcf׿6A[FIOdi5^ [d99"HvGw~vgYZ7zXZִF! f]ŗXi%BzR"?ve*Lv0V)x- q|(Mwo%hMդܹBB+)C17hsvwr@o#\a-Y0swoK3y8$b$^{xjݻSuI?pmZu|˶n+8,5رV•3 p$ZEJ!`7oNr:4cRS2[ˮ}65܆LK 2eDW,) T7*`f5sX}DJ&GӼ-~=dP/k…|x*_-=XbeAqqn |@rHD;"FU % 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 jjgYZh٪솎MpIM A_yeKgd c&Zk>b4&̟\z|sy$N~԰.sa݇\UtDVMHkuèFe}*L5"K AA 6$=m7EӠGFmiQ)AزHp"^r HVB"<|+Ԋjk=΃Tf>cVL⧬i-}ZN Ji"M_N;W' EKqQ# fH"Nqlr%F-i5JlGSgӲܿ8&v߬5%3az m9gH{S@FtAII)T4ղ+LXSD%PslX9w'(c^>{Ze-gԐ>S;qF8 ?K%>yx0;Qyr'p䯇lbR4'1uA&^N%/0.Dznj<߽^^'!:!OY=7+r%A"P}ݳ 0r=":\<щjjVfJtcɖөɜPYĨgaPaT*WIN'ldye4W3IɆ"n (F:, k;~*xg2#>iTj@ۺI/qCk2^ UDm/ۋJn;!R.3m հ,pA$CڼAb>uPskLWC!]ug ,oF]Mg񹨙wJf]ꤰoå8D0V!)z4HWU1?.JDRy5 |մ.[)ǟ Յ P?G0@zJ0-.OR6&PCꐦ{\H("h4seg"7:='>Ht3+ԒjoQa>"[ݥHP1>J0#+YǦ_씌c ڨ'Tmat`[:;ü5 0eB[PD" R QyzΔrc.ZmmsG|V?Xj&}?:p {HunC- :!~RV4<7 hDXh$1Wq^T)6WGO,Iy&(GAD,1v: Q}SeطvCUd]0 +f*%u= {WPbђa,k)6P0>)Q%䠩p #{R(iAȤݜ֌mUפ7`K7=wȂ0!1= l݈]FQJlڌMW\EVm" $ -\ƫs9ژ_ⴆ8N{f3 Ȕ1urQ؜Ƞy7]_f\j G2%5B\m&5=l6:Cay;L}XKm1ÆR+4R0eMyvL821AdN#F':gNg@vmb&lơJ#!|L,5C܇뇆*e?% t#FZ*?et=LN6Ý@u'㱏n@h3Wtt6 lq6!ui&꺬$>Big96::IX2sZ^xwPS@IY"|4.j #?c3#K \n@0cQ"MmYX㑅f8nM9%,6+rE^ lAE$9>7^)diVa28ZE1VNB)T\Ua35 =/;B;Օ*h*?~%[ok5I[ =~Ej7ecX,tNŻ[=m H4yVbWPi{KXp"sc s 1+9qb^US8ㅓ/P? |H ;P|L1+)!`ەꦱ~ yL)+GC훿a蔐["ݠE{H . er>MAWު=ũd@vOJgv۹VW`5.dքBd^um"ڱm8;YR!%cRYxo"Ui#m\h-w9sQ=l[~G]uic!QY"4nTƩ X۽bP8>E^B\ZLg"O "aOj~4৚*¶r/E,-%&y+ZdQ끌Vl812knd#<nWg+%ܠ^.E!Jgil4X[ C"j8Td[ b0*%YQ@?a=}#]};NRi̓;lvQņCncת1{$ Gcv<ȞDH?\:STKC;roŕq;VuuAai+Cr?|1(_`[>̽ٿz^œ3S4#x8Z4YU1ԹYS23NU[ݸZRL>!X F;8SQ b%^Lz :73jEmᤚD~TTTBYNQ7"!9 ܝUP}$Ud {׵SkحG\

d`m@_1S,.09h-6ÌcX"'L(vF O ߑ /^h ˁpOm, Sx