SQLite format 3@  .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 M+t tT ] HOL-Analysis-ex:threads=4elapsed=21.538cpu=64.404gc=0.8127zXZִF! ]ŗXiɟ  Qe E=h @0&){FPSdge?p4 ɀ# jps 8JqL.;.5/X]ؒ2G8oOjK|l6/繈 =Ez6D. Wqywޓ9%"pfk?MNs 3}ӭ_ms=k`}2s@ uʸuz{\,O1r8CWDJV؁"3%7K/K+^*%iCҹ_z {X[@P B-Aeg3H$0Ϋqo۴eidEDofg4yY=5 wgBXl'{7Vː%gW[@fУ9&CLڗ8G"|5Pb %M߇B_w+;Q]4'9⦙ 򦶱e=&|;3;(2X3 _g$D0VAySp-TfmTP ч'$\Q3R]dy"?O=.d&B Tzk^\:yWkbA9s3!_`IОybmѣ'6cAViG5u|=<,=`NY`tyE80W;9rhY0L|u+մkH(ɮp8NXlwͬUHBt:?j88[,j6qcꈬϠBvvO6% eaڀѫF!w "R~kYp>^,"ti-V..7tʼnpZ(qy2 s<-W;n]iE~'+_eF$M⽼b3anPJ O[jV{w6o[]Uyp59Ѵt['YXQ̔7(R(3^_܍m載ߓ0Җ]ijwY/[/o0hdۑ^{ qAz*V*( 9KT9 Wum܁\I#1|i5% 'FXpz=ƬoT!Ӓbm'%5)8ʔ4 mKoB{ay׿uH.>=x*V6FɥdpJ^=V]hzj>_7v J&#pqO⟯l. EƎ|xV*'y,ڏ.\VP zouaμQ<ܽyl- 05 al=H8=X4|gYZ8ca1bcbdca210d46bd25d60350a4b4f1df793ab9f4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b23 a07ed26d5b609af76251feaece3a1e51cb776fc7 + HOL-Analysis-exu+W!lHOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/files~~/src/HOL/Analysis/ex/Metric_Arith_Examples.thyN+W-HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/document_id480  +IC |HOL-Analysis-exHOL-Analysis-ex.Approximationsdocument/Approximations.tex7zXZִF! @]A-MՋhvG"uIBm5=͢)aTqrrl0>t{v8gQrP\`I"%i fT*j~V5˱V̓ xg7ecLĉ4PcNělBoEHhaSsWG' kz/ژQaWɿ",_3QGiS,5G=Ab?/Wbpt~8U!p3ݜNQ.Vv Elj}pTrci'{v,F^.92&}|ɫVżT@D,=ƌ~}ix4n+WQ ,HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_Examplesdocument/Metric_Arith_Examples.tex7zXZִF! DN]A-MՋhvG"uIBm5gN"(|ʨG{{D@ЃE.zүgoOJb~l *˳(}΄ F78`wy#_E QMwAJfSuuo):D}}( @qf|pW~coƾ@iھFͼrrj_ _i9hE?+G&?=5v+y էjhzyNҐLWH쉎aYreh@i7-sDw{_i6+((%"F~-L%ة:tzt`#$v4`'gJn6,(ʽWSb\g`ǡ=Qܦ3h#Am>Że R"/50Xup:XrN^F#t W`XX(&'{zty_tY9^g0%jD3OG0<0[]>8|e-^1[ͬ}\W^S~OЪChjw%A1]}(X$7QhIa jw fbL4=Óv@$nܭ-ŦH6nr\kxtBƢmշ { QUf9w)(Z!/YJb9=J O0H,ϤWB9ˢ0|-O@L&ˏܥsFE8Z ~WSV"h( ^OfDO褧ȨfnbϳԳ#Z   }; }U @+I'HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/messages >+I#HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/markup=+I!HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/filesC+I-HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/document_idE+W#HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/markupD+W!HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/filesJ+W-HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_ExamplesPIDE/document_idN+ICHOL-Analysis-exHOL-Analysis-ex.Approximationsdocument/Approximations.tex[+WQ HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_Examplesdocument/Metric_Arith_Examples.tex   ٓ6T_9H1((zo,wK| Yy>`[Zm, 04`@:(?Z A O &2LTU3bCJU5k u3s0پ\Q|SNKJi/ɩ-da(Yyʘcrc!@;Ju&|;Q!q󝲢;t$)wŲ޿-$9lxi3 -!Y9R_M$%_4!'|.KZq P`FպٔPl:;-2MKd<墜.NkքJDńiuIeʹIPG){ڒbsEE h;'[]eh.(-OfP)iW+ᗻ5Y.4]Et|zuhc uY[yZNѕ]Ю{jCx.=Wa] 'NkqąJg7kVJ{lBHJ{VW4`M\ݝB8rߝh;Cb@j"<'%=a)kx4.丵m{ŽWA7ҟH#/oyaF|1ڣ8X~dX=mIgObk}ZY.EEsh^,l/zedVKU +!ZZr˘Uyor"j Yڕ_Suǂ "7xDM#h{}t{Hn$hJ:kdQ]( *V6]%a:B X{Cc>9*i؎)pOMIţvf|Q qҌe~w Tp@̠N=WIbҹYZ} %$?wSx~|ťYu&>IJ{4}XeBD3LB&TT)zW2(1h>wV(euC0k)x~?)ȕAUN64 Zs9|D:'2OhHQ,q7qiU(ѝ8|IfK>iavY. Jr)7<"!4w5t7؄Cy : TL)Da*Bl'xvp̂hTkUs'Zu[4{sq"ɥlS)Q(96R&!Jɋ&M*~A;{7S+Ss`9P8tSi35|1$n`#Iġ|&2MZR04 6fgF_FYёhtjGr͐bCo`Qt7:g¶%oc8&D1vʜ*'|kO14@, (PrL~ p,MCQ?ػ4Go/_&x,bX%uV'a$Z cy"m_ىQEϴB^iwazlV߃Άz[M>_7d(?3>M6r~pٓy+\Os̰gȐ|;%TKصWU] rbb^bLgLlQ3s 4$^ ⫽[z;#Ơt[9q ipw579$?Ayfw osg]0].< J @Ѫyp Is LdjnI˩9\m܁*+u Hc\2U[iȌ]|7Vm ی+#'8R6#6sluH*OwX›2<=4'T|0pQ<0] 2.3S T FӇy v.UXr 2Z{"*;=0 &C#l{i\ߌhA݇QTE1A:˛s Q݄T3 ٦]ZqM5Af,N-Yz Ý,!at98R߆ fa٫<93\cG\?V%K2e \.>`j>6>:IeW⾳;+2Ru^v-^ .2ݬMWRvmžH'gս4h@M,XdV-fhyf4s ]O ;nk˒ǿbP\|~b 11f4F~#㬘I4k\bVw$ 8՞ 3׬܋`QT/4sU@ d\LM^`"HGCt:.{P':NNVtT'y *rN\&3> nPYV u3Uw4_pyI)0c%Gj7"Bo1u1-zb8 :Qg)/OC~nJPx!vt6.g~jͰq6Q*xs4Ky -)bB5N9wV_` ]|d i2#Ѷl_ ;ylfL&R/Ay>{~o / vy [ܜ'ܕ롨7 CW|ծG> *2WL:NN?-ߊyh(VTK-WN <׉?&*yymza*K k@~%FYq~E"5%ۅ >Ҿ@Zy\, q32t^ܱLH&7e>瑀^A?&v*R$T ` f+;sbNƇ|rYy]5kN K/j6R/ȕo^ߗ >eu~3+]YUCrF{ K9d,WoPPU1.~gXSvT%-<藟֛>p_xͣIQI6SwNK[ǀTNeA[!X'>}=%i^:n-Ǡb0њ1V.VYi6$law'z! d?]n}\.oD}P:-B%Fߖ(C UǠ zrT`ʒ4,(@pljI@`|5w( d 3"X9ӭ]xEl.pqֵ [qSo \E'[ȾuJmF D\;T۴WaaM3Pj,XĮ0u1gQ7FyРc1 c;Kul*3"ۋ_7}OFcTgz`qf?*{ <-l%`<ڞ!s5r҄{@d sm ׌2ŏ!SpwkolUTBiX[Dw@ vQ֣^aػg*4#"K%} RXSa[ fXPh`&H7JC—oXӐDD>ؘh/|51H\p7!>8V-]1D Qnl&+AnywCYӓxاoal~dQ~G+vI1oqT.=urlXm5M"=I_Dso ƜI>w\HT Fy>i}#r1 &sdz|##"i>r}~Qf*誐hcg_gҎƂ` ;:a`Z#U$ aVJIâcob${Zy`:C~É' %캾X V#!D;ەa v?a+Y0Gʏkq[N CI4Swg8ܥy!Ai|,r<6=}<IG D*GBM3ȹ"[M7LjI~C(s\$L3 VցsqnI_Eͬ2a Tߝ;ۚw3:9?dMj%HpC:u?LCHHa5+?|jPK7YG e4.]FwN ;EuˍHGB<^?;\[8(-eY>Q)^Rb~E"kTnp*KNAFY pzB+Fw BZ;$ĤE.uNd3pAk r|r񵆂;CRGθZ*RtAn ފ߷hl}@4Rc$p,n`BΥaOQ w݇B0+@H!f4bLn*x $oϧ;ЈyлeLﺄL [O8<Ծ.NIT͋y[FFU5֥51t"zĈӜ@ ]f}IyM*=&nŢ~Zj.U-;VC` #p__+M .@ij 1!qz(R7߀ fI#?t>5FwSVQlsOv1)|8Pʼn@Kg,uC5]yρ@Ɵ{){7 :x-X ЂZ(4ܼ?7C߅Uf"ޕg%{@1nJFXvm;W0y'B *oײƷXMS%/M 3aS}~LTܮX:5;tNLuswvzZ"SeFpswBPHZ1X#bnH6=0| uJ:ʿC:77Cr,46[ðzr.{^o -`hѿ:s/0B L6KӠ a#+]5si<[qdI磭 M5H6űRհA0TjvqN?a$5ف,;9ڱu_T9ul'mP4oƁe&~Jǝˈ"lcYEL>6R^<Áf fNEd:d b3a5 6*&&f۹ysK%˳_iUБ4ᵔ=rs՚T>Xn\!@kYZ2G6's+n;kj \T4HFD| V(\6h 9c<&Lpp4?:6Ⱦ@tHoƫ韄u x_,PR^Mq\z~KBF̼S@i(wZOζe* NC[:hgOFvcX/ׅ pv55e "┙/8(s'cl omjHܞgH>RVZ\q?nxd/ F91e栗񿃦0g m( 6Pi L^':~p4+DHJ<E'{k^1‰0V#5Ѫ.`9Snq8#Yj}`6D"w[7wϘ5}hmUU]R}yrZg"J8&F"51:0N{j k\0T6cש&[]hыz%d/_x`C$wA~*X6~ٓE1'AĒ.P: Y?oďcGߣk(e9 $4( |ֿJ`h^&fD5_.n=nJ' RuxaZvd`/UWj&U?/W]M-)9-3u$qFtեaNx ݃O3ѴNs^<$"S?BMvQ9X&rVs2xL tM5nkkU:A4AT$}3/i?9O#:tLQO1/7m+f/NwGq"QTYa䫾R?4hZOy?.&ӆBvѱd`Z4KI.Βjr/WP*1$+9"p[Rg8u9NkQ0SRD9BLFj_Pr2]Q5DZŕ]Z4=E0{F'. փAjD.*HuUFI9~Q~̋nIng6n·alSCp{|sX Ӛ+H` ջs,&D2 JG2 G7nri@wd)Yѥ(_t)F};i%l`Ԣ{Ĉɛ3)=etYpP`0S"Ww|K>O^V;8^i 8SK7{i}lt{hix\"WRUg|OT JY`sX&DG&P@ oqȳ)(rp>Enkcqq{.LK,I(BXi8wغ *9ϜNH֖9yPJVa(U/+&EmAprGP*DG_2"V[Zq3Y!_ԴG<נK^1i3,^{ mps֚Vi2А@}kŠ4-%DłzGODѷsxΰj1_ ~"B6eFU꼙8{;ܐc6I Lv_G(cO5J i,HuN(?-892{faC%&Tht_kj9tnkH7߫>>41&$Hc%BWN0]&(݁-&VyEʑA $2׼V'wo*b{[G$U戄ml3iF 'Pf|YߒbW։WcA2̒2 fLi>LZޔ(3Ƅ.ӸӘ ϵ*0./*AB.4I(iqYkn/f$BW^ G9 r& uE8Ͱ\F,N'Cs(Vb';ȵl7?q=;hiO#F;j6P niꀮCxeǂ\I&+GUCwDw{%-]sEf {[/-u%u^[<ƫ|/1$q}w\}#W?-͓<)z7s@YlF=ȓ׌5yF #n'z&R+9O){\"T?,s*atԝ̕2Ap53͐46YS`ۂ\ 4-dg5ܗdI%Gqw^SGT;FcsOBT ayIJЗTG{1o|%͚ ҂(;)<'lhXؼieztog0Xq,\ pV|WGn<48PEĻܙk'C2") @/u )s:e u\/>;б{go-XН_@~+A+ %4 Zx[YW?9*]K={Y9pLs VH'LrpXN #nϤݟUvϸ.51.NઅC`:l߀A9E`ৃկ>}Oy?bdRAD`//QDҩC?5bki6T ^Z)όgZcfI|lߔZTߖQ~Wݓ xOu{?߹U^C"F>]=>U׎<[$LZiyL<둛 3!Ryqr@<&,`*CߣXvrG{*>yd0tb~"+VfX8A0ͯ3Mqtkk]Fe#h23v# :HЗs7'<-*Q0ܜE$q8ұ¡ f98},*#\{ܪy ˪/65' X߼OG.C̣ LߣG':<N+I`t ׏_ 2$T. Vv?ne(}C>Y\O\y̛} QP6 9BSwsk [:VpMQN;۱E/ŷhp=ZIm9ecx3We"> ${CIK,`GQ:} pm:ݎO''V5YV\GV0u ]nvg7;/10K.V?x9E5*c:ftnyXZDEv4ax?ze-f/KZn\J(Hyp@$J)G}!2N |VZBC@:} %lغ Oq $*k2/ZEY:#ncWMl~QG=/FQEdVCZߝޚ Pu0Uf_`Mk&5%6YgNx1U pWt0z@֔Vsc1 KMF C5h&uܔ;*Rf0GA9-m$̬KfӞ9zI3)xZg{M 3/Qa#rHrʏ]ͨyuC2+ bD@ DZ;T{h y}𯱕z0$@~m׺nsq-1AA'Vyu(Ųn#85h"F»V "D ?2 k=T6o?ݷE_'HR4(K*=mJ:T7 ;ɀf+52.(o=0/"nՉ3b2otʲ6n *~xuM 2RUoڌFq03X5uTp:<Mxݥnb9"a{A~~ 1#zQiwܢO1%sIĊgj͔. QҶHGBjes2r1.Щ#.l<ӏzӚU3U ⹉=ϻp@f}W[:kUqP?f"ZE~^qA7Fi>O3#TpVcdjyt' HK\c^1xtF{trz4##'u3Yk|$la^}f |r7RG_\.愯tMA9J;DN d\PIݒ<htz~¨Wv^Nvɬ^?ʹ#TrX obov:xxgdgl45DH.@woq) 3]#Ip`IxP =#DȐmQ{bwbfsM?K}?K+(.wrq}c#†G>ffTb)"yU2v Kx%aDK{G!@W6HІ7I(FE}zzynj&J[s/Y q3,} ~  3͕,*ԝ\ܬq5i.8t:뎗#+.NUɸ : cyG.dʌr#"%QjH᳞ - v%ެ~+ݍcmXQ0 0 63f&Vƃ_9K:զ`@;_|C9~9κ@epβ-]Q2m]]=K:>2"Gq C#ǀv{ 3} NmoFەܹ~Xߤv#ݷ^@^l(ʑ K;AF9#][0 J 㹮*kW/U@z*Xi\-n}f=ODH;~ rVK~N?~sl_cCH{@0GysmYiG :U #M&MՀ;z#!F4[+ IĤU;tHl 'R:6P%w*Xn)gEh/ީ Y^ڣ!!+ŒmZ1GuS| b]`hʩ F!~E_ FjǧVpwEܐ(6QAqIwNlra\NDdB4G}fdsĻjpκ?:Vv/U}x?cCX,-ٯt~ۣHǩSlV3 b^ ;JN(1- a'83o3\jooh%o1߅Dg!һ-)&#ԑzZ]ql%yhl,2+7֫w[Vg]4ZAt;qb#bY192P|<؇j"&\Df]7cYwUGHw /lw$UI0]|@}tУX5cU/i??d) f5s\0.r` M y&\‚ALw)PA:v[YZx LRT#V#˜Ξi=Wu]Ou&1cHL֋M^ksQFPݰGZ 2)ХE0 n#!bMWki*R5S xJ]_,dQ'Yx@E5%rg#QՀ1~n\xPƦQghcjlD+`?,P+)ń,ꮌlXx~?;?QBlB\I=/ ,S <{eK#xgv?"Mt{v8gQrP\`I"%i fT*j~V5˱V̓ xg7ecLĉ4PcNělBoEHhaSsWG' kz/ژQaWɿ",_3QGiS,5G=Ab?/Wbpt~8U!p3ݜNQ.Vv Elj}pTrci'{v,F^.92&}|ɫVżT@D,=ƌ~}ix4n+WQ ,HOL-Analysis-exHOL-Analysis-ex.Metric_Arith_Examplesdocument/Metric_Arith_Examples.tex7zXZִF! DN]A-MՋhvG"uIBm5gN"(|ʨG{{D@ЃE.zүgoOJb~l *˳(}΄ F78`wy#_E QMwAJfSuuo):D}}( @qf|pW~coƾ@iھFͼrrj_ _i9hE?+G&?=5v+y էjhzyNҐLWH쉎aYreh@i7-sDw{_i6+((%"F~-L%ة:tzt`#$v4`'gJn6,(ʽWSb\g`ǡ=Qܦ3h#Am>Że R"/50Xup:XrN^F#t W`XX(&'{zty_tY9^g0%jD3OG0<0[]>8|e-^1[ͬ}\W^S~OЪChjw%A1]}(X$7QhIa jw fbL4=Óv@$nܭ-ŦH6nr\kxtBƢmշ { QUf9w)(Z!/YJb9=J O0H,ϤWB9ˢ0|-O@L&ˏܥsFE8Z ~WSV"h( ^OfDO褧ȨfnbϳԳ#ZJgYZ ,,g+I!^HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/files~~/src/HOL/Analysis/ex/Approximations.thyG+I-HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/document_id482+W# d)}:KNꐿȾh톿ȦUѥ?lw8+w^Vc\'ƶZ5TcO+ɨ$o>Iف~Jm,,aeyY$Odh_Kw]J\HXgtDw9ta|j*%؆D>?Ej8de DT7d7ST_p5I>Ïi|BY\uך jS1O# UpۀA4o ״Z>MVZ%S9A#al`ZWEێ@ upa(?R!8GHq+Eqؚ `캅Yy3ag̅_>["B@<7QLzn>M/ҿL,+)PáhY+%`M eCe퍿V}YnT""-`~ϳ}ᘪyU}`-UT}xQ]X[ӘQɝK 0cTu\I":]8 F~Ro \]랮w7x^Ƙ㖶oίu Έf; Zy7kYVX f_r\ $rb W'愣[F %ݹ Obڹ1 Q8 y >M"ETcl h!=FoHvR'*quƱQy4x}r<3,f$)$ m@dAWK!܈Ii }/kxy>#UpN t7%?Zr;.d͌+0$p6a~HlpdW~b|n\[ =4F ξU1=ͷxXf͹)iR.&?e8 8qc׵ #&X0+X74#_q׳I.^=3?8uDC%ZS $NL SDG n>Lt,t !fƨH޳D5$k<8{ {dA%t LM/Q~֯oUةQdsx}1Roa`nQUX87}u~&u?UZIeW`Ev<ԁ⊮F$kɍ7XWb3g|h(E`ʌKG,\?G0Vޥ2,tבV3;*s4rvp_\+bMBLG3)¸Ne ]8/4oh &nGQikv?Tw}=aXBHHfӜ6\"s&WMu~SGU1MSq&u5ZS9K(EԟQ|i}4KRK#YqQ$p bg8нPX6 _V >gz>v$uOݽhE+f;UWĿ}Ǟ!U=lN4M{0^:EwkۑNJd„Nd8:$ނPym%rTUs|`A#ZWHZ?'LT`feBfGVR-ޱ% Cx^.|-M_Y= r'71di6B ?"hןeġ$XYBxcasLS 6ixi~=$E0f?E!Q]9z*`)[m)KL.]5-uhM& '5FR^R%{{Tќ>Jlc3]L nU,?W󍙩GdۑU=JU!u rDn΅pE pdwVZ-6#bu M~jTimOQ kt/Xo?8Gr8J ҷu}@e! HIO, \Uc.ɍgC'd0])Uz/rj.q*2= }aAls& >q^p,գg UGS;AP9Eg7;A3IbZxQդ R?աݸnεp6"dG4E[Z[JxS [fWo=Tf%Fฌ;Ѵ*bm5Tf\~C&B76~2O(sRgiGTS 1z2ޫSm+􀦣^ :m(}VB@ ?C CE>Û [`.|:xiM/۔*V<\' *@LtZHy.ߍMQwiH/twָC  7iM-qW634Tq0!xqZ6DNZM6 MxkwhCE{! ?30g:\`wWBI,EiүŃd]2ф΂߱g 8؄C#8zۏU5 l\\|w/ ?rMm^N$ܼY0g6/"B5$\;93~ r9z֡ѩ3'OTa'KKgzD,-k[7p;)S>U)yx^F7wuHy$L7]] UȨW]YJS(ˢ+gk[WmF:[~Ű&ޓiق[_&y&xi kif n Nz$! 6 OCR$XK5-%.eUl|}ha#_6c _PxpZAU8F9Ζf$| G5ŚkȎGyV R"OpY8S 6 U!G7צ_(w94|vnKU@(14FHI+rCݵ>LЬcP_]irJ';\#b=?3LeM_S1pSK<q+@(ICۇSO POƝaH6 /쳊1}nzs &?p+8@>okO]@ܹPIKq}>,(n5.!$|L+BĊW(>Z`8J0ȧH~mϧW/u:)5a-tpk}> 9'܎&p7~LT̩Y+#`cƎhbH65ZCzGy.aElƐ}ͧ]Xʓ%ra/Wmٔ2Σ` .̈́kk-y?F#yZl5n/x~ϖLc~g6zq󆪱'PO@o{j֒2nOdZ_0p!^$跥˵ E$2}{:˹]Vxq$njިn+mstjg] XX,P=.tzlwY Mv{乆{e 29x^JVE&\y AșB1zl|$1=$Ra"x vZ|HAbYoE'w;ů=[9,a:WZqڭ-"8O4Osa؝i/[<Αr } r77ϞM&k"> Nded/H0%͡ pJ"V6B5n( )u!r&xy7a)\#=q9^7;N\}=8MAzP97M~7N-Mvߢ H:z "f3πP;ctKa=V? 1iѸ2 p=Wo:W)_id30y,&e&ˌig=V޻ŁCr |Z^<ѢLHnlpP iIVJ+= 21fAO䤷W_BN+[yJ4'pr nO O"gwet+06DgN1_rSF2WR9=y82&paaB;M[} C)O!kϛ|Y6feh^3 -  @?%BƭYHjtr6uȲsJZW>쾣Eaب~:H&s^?C5sQD2d[zErx027Q0K31nf/4bȾ''ŀ;)Mfhi;CLZ۝wfҠ +TC䂕L,Wu1 ;Tnx*$c87az]es54oP 7F_Elrbw;@.)tNW6Tٰo$dt!xlv ]?U#!Zu:b Ȫ<xڷoSSx74!E< Q4AyF]̢ٕ@ôҍ; x6sӃWPVsRYYEH*GlY\]X%-Q8()k~`fPYϬ4}55ީ{6T! wӳTx:1#lİ mCHg> nkUA%7K>![)0 ?U'8Z`Jn7Vi;j$;mN m rt{퇒{$wFj Xj膻Wﯼ]-щTȄfXTɮ %uqQ+S[tQ_ tl_:1gjZzE!!lcjG^ [`4gNO >H.2.>#[Y (-}~/$>̲q3@(˕d]G۬o>V0=xCc#^V!@{N,h)#l =11Ud_GAP`d̀A 0czCҫrhNy"`" rW ֔:+k`ԥ+r]emRG_U\g:j]8ֈyx},*?_hSo^cc[Ŗ !{ưEP^ k%'g;~\s3+?za9[]'S%09J'a戆m[axM. Pۣibqabc-J9{le ULyU*&='4o+9r){ǂL%R݅ѱW֔"W%o"\> .Wf{ܠnF)D Xhf Ke#-f_ZJrϳ7@ M(_A(i?sR{h,O>oF,7^i,A#=Q V]3]_2ھ:c mӥЏ%)OR ߹xW$eٗ,)Ss5ioEerngI~Q@:.A8|MɻL [w*'akaIx;-x,a=ӳC|gI)aM+~8J~Nj+Df\AxujI 9;4khvQd1sb{ }4urbitT@hcWk6g?ޕv #J72*>¤;wۦHdvvh&cF t1I'tT8`V↨1(@0k "jn֯Ոnqj7$4f7]E3QeN63٪Զs5v|D9BIcO*(QMd~Ӹ\`r0$3>!*7v+gT v*kb@/fP=8c="̌E1^]C7fƩSGZZ/e+ةDӯ;kQđC.C@{ώ.ij{.M[U2FHeeB?aJ4eՆ>,s>i{V󯾖L!4jZhhWЏTjkxYr~k_Z &+e3M8\6ݞqa(Íjؚܽ>,`y& .#H OY@)Y)yTPs U!QKF !Gfi{/M{`;!-Xz":Ye QFO%9?9q(W:8>9IԂآ'k_tܳu$K(DْY z\eoլ)pމx1M~9Ugu'n ε.(HaF~B]Y(J&m#N62{&r.n줇PN}K㖠b:oX^ӋP2zQc' sX"÷Lc;.F@hKNY3k'=Q=9ּFg`\B7oUWEu%oQ5-%.́w8+!c@k2pmTa !/IZ l†A < IH_5F]rNdwH-ؐɊv4$H"¨Y4\U)%ȿHz@jgLzuVye.fvJYN'_}6V>ʐxk@Bw)'"ds,gwkv7|{}S:D.S,t`jmXltmU8&}6yJ)׎x,_{\ĈI Y3"1 .rrb~g"Pw* q%|F``}?zz(?0ǬxWYh[1ҥu_^s4P4͙ `e?uW#57y/74 &)5KYlIgDU5=:K"F8h+q.&x;6gnHQ49Y>YxoU,7~_-}c"/NAv6Wnjq[p-Xbőq\5,+נPCx@;CWPO1":::ud1\J[Ւ4o_>2Jt3 Ddm,ܑBD8P@`z`"'}Ue=ۣ!zF~ΤӹuG\LiE<Ŝ=&kn`="R-&m4 )$l^q;WY h"$Ak ߛdl.,n!]b^AW`P X;Pm:ISzW&RS w3gvCI=fC"gJ; Rxq9.YpnLЖ!cӵNQCJls򁃔2 `ͼr,`آyxADʓGq58F>f 7NSxD}Wj_bGޝ^Ll-2T|ІOX>8>ہCmOC߇o e\NwZ`hڵ@lg%[6\ ;dOSyw%tŒBw # !b[CysyQRxS;>!CvgauF^ RA18U-㾇6ydλDRԗ v9:'$ BdX+?33v^V0!]70ܵr~~7{s$쌉yҐn>;! ,HEˢN 9ԑQ}עZ;?0:ms'|NOXmɖfq1 n@#f̨kd 4AM ͱqlYz2kYm%0zS&bϓ~n;Z/\`.O:3aF;+L3=gdbF ˄+2 CD;J_;n7N Spi*møBۣyqJ5pw#s G<{ukН@4\fB:#ґk+YwlT0W+` a*{ EHgA(k\)6mRugMM={ՌDAԗpu: (2OoT}QS8ވGԀQ/mY(KiiW2AsǤ  f2ғ<ŸU~X^\y U '&D NF@CF!$u7hPOXVrgKO=Xefd )|k*b՜Vj +#!XafӶr4uͧ;g%rIpy]WlOx- PX`,YB>FOΐ9Ԥl:߱~z-i. }.OAS NBRy3oϯs-*u\Vf3e@v0Ɛ4-m'pq9]͓^ gBL(:H)eYX;bMc}Ⱥ5mzE`΁\CljT7+ b0ԭMJV: ?s9XVwMG!ER}c 5"[r"mT\"?uPkm8 5gIԯc߇V6R&1J@ōnWijC+g]3 /%@<%zGafr, &7[^x<#U/ 5HEy 9`e&J(C"m&%*!\F0hN;7d,KݽeiB [`b>< $`1:QgYeUdck׉ #I6[v94~-0#HQlѲfH ??, 3_*BO>8MFP+V06 ϚxS }.̲QRB]d u"{sg6be ֋;*,1XEiru1"ڇ&JC ,Iٯ}qF1 ${f@@ȮGo L ̈́_TDQ@E\#Ebe}Lz/4 ضbHِ mG/&mk~b-10GsnI Ԝ7-N3${Dh|׫ǼEN y:U}0$訷]&kDj(r;E`g1(Q͟\UJuXe*2E婡R5z+$)xF]YcfޑU%f`3 oٍ Kh.:K[s)ߔ*LkY^h:mG&I/"" W?_5-ՈU3qvY3P5Jg鐵e, KsLlpe/"zAzKb pOhMṮ=Cl&Cl0JCfL8Z2pY&FKsl_ |lwU |Vv6K@Hw LH^uV"ĊdF>K|&xtFeFTvXpWGT^oŒr<A9l;|n8Y, =g7#a\P]#~˿bґ=iʝW*j ,ŝ@C Jv`8 2B1)sָ` @0>tksP9d "vp``,: ,U{| Kk Mzw~J72@*1h%a-+R3ëMpE B ;S;z+ v]L&yRxӟh9h;-fry-Nujx%9E.'HxV-['&8} ~TݘA9"⨵9r ?W5ϯ5lяrFjڐp+_!U.)ߐzum xmE%[zM xTzʄ_?~0o+tY]^^oVdqXr:^AB[މuȂBה5Ƭi֘Nk`/5My$#!;DO4Z (XB}d;9zR 0Dlhňg$0;. ?>xT>އ)5u*(5͍q;Gia 8|ifp%bIͥRs3 rޕ:\L%{V[ht>TK }Ccu&kq#w!wP3:w#c0,{;ʞh웽죚BWm@”0ϭ1b- 'oGaOwGpleaYrl*t[Y[yy_w\o rP&,Tk4kj`m̍y'5jX,ﶮyzPɚ8ab4Dn˚jm|(3e_̨ Y1e۞W)6ՠ^xY{oU&fu6.KhT=k Իnut;?j&J!EYt4 e.EakրU GsU-o,K[]Lu֡O@ 2Zf8xDݓ&LmD6Ri,D/Jqm90_)DYj/?cBXt8̡o`M,mK!e( N) m ܝ$|C)>"XI<'J_΁ J,2H櫮}D׏ O议-1οݪY@;bzǤ? %n2ܵN$07 ,ޡȆvµ;Y98>W%ɣW-TשMdQQRr5aXc+0ǚb<>hjTai&m$x1)yyf1Z cj8/k -lܜskGxZ+δ87VJ)tRiy )Qfaf/FzraaWͭ"U ."'_gaJ)ܱq /CTU}2ׄjGnb-~,!S5'o/xbwwlPT5ӄ2L :;ԭK hjZH~' ꯲&.0؈XCf0Q*MA=}]UoY|=O L_s DԆk̞kYHa]}L]Aah;gO8]D#%Buj;sW~kl kXlkmG^ !y'x"aϛcm5pq Ox?]5x&eDDEʓ_bDC Gʫ7\GVX 8eк?^dž _ad>]~}~M,4Z5dmMi<]ջ*Y %g4܏v~9xRapEȄn7,ZT f?-`yv3(#h\,k&iy6amPnjJA`rNIYi:n[g}QAV6z(15Y[ 5i6bx% <껵e)i[ڥ_!.mH-;Qx!re:l!LvUIŦ]ne p'`uМc'M/5 2ꞭT`暐<#Mg{fmZW.Чgw4 S!9HMosCϱ35,'8`'GWsK#5a{ 7Eӂ)[]T 5}fVO>O 5sKg 4g^AE./dBн̒ c)h/T;w874Ų)B Qyy֙4`>K.[?Vi?&ʝ a]*a[*6|kW8i_2ڛ-wV0LmH;}sDam1ƒ,4#fU{"~.Bh&72ʒtH[^~CD_)TV"SLҏ8&;8ï1kVQކW{xOYKEC$6O.2? \c.^|3ٵ_#:d`0L';F(󦫨:'?,d'P”-~DCN׶˧q^ٺph-aRk`tUh-q@n}]-cᏭ_'=3)uiH8k4W2)p2!n3մ^ }~E}o!=n#n艎Ѿ^OtLS5!=5-XNHZbtmfR ΐiORpU% XľpYW SZe0 $.9A}xuŹyG~p]p%tDSg/8?5;Ш<.u2ݢ?[NƮ sfE ЫWkH3e%;\x dPo]وnYdBo6Kঈ;?F޷*O|hgjujIeIJmfm J7gxh︄΋*g|go9Ze 7UTtʋc[+rbY0pd:Qb<Ɠmwk`Iw) KY"ry1NtD"퐬TWQE6t Sk@ۛ5x.Gc)LJqEW$RJ>\>K1׀0yLgLv'cs0T\ YtFZ:gHe^V-ݮxocqCwf.8EgUNR6"20Kzg̃è-;:mk{?'71َcO0V؁>y:K71Ԇpc1=VA4Cd _k!泶[Hl Gw(r0AYG vMey>e3dySg=p:=P7Ӛ[ݾn׸yBa}6JmU`ߴF>s5@ .a_yN7"WZ^6.1_W"i. i@}-vy"WaM7P$iub>mC.EKu OdQ#Mvܛbi O?8xЭ -6O|އ%=TdIdp]H!D5TGfHY҆]?,Ep:7E91pf`U.J 7؟+&YCcEJţ`&8U,+2PVš@qԦ4LE}z,%f22Sw3X4S J 9} צ*ϯBR Xm1*`JjFY^F#EF[X-os0$[(`_gnx􉁛3Dj r.c#P~`\[4Nry`yyZzI4赤 & QȇRBҋ fF4Ve{ RԓβRji}j(W}W ;橌r]QI?ڥ8tPt9w?o&;9{Н GJ(C[ozQ#?9``!]%LK愼 ${s5UzOWZ e\F- QoZum V-L*FOJTh4+-cuҾM2&PX. WN+:T/=&i0eVD}9RQO& |EFVqvd$mvFEbt׋xd|:'69gʠf"OֿxSpf2-5T1^N31cē:/'ER_/z1&MED65YEۘ iFJ82 L_uF Ba$F>z2H-::ie7,@"q3ip*>0#ANQP'8, Cm||r6:;PV>( L+F}XfAE>`=j o pXP[A6ַˆ,SAGi1 ۟&8,^!)Geq-l7;H:{TH٢zo(HoD֬j#@qU/5ɵ#ɍhXl/y}=EaΦ^fjjɿnL R?+OiD0ȿ6*r|WDq"A'dH=uҤ9JJu0%Ͼ %Y_1;pR ȢA Iu6ګ!cHܗ G,O8Ga Pyv%"}P(ޮ݋[c(8vP4z:؄SS_z> q{]KAuela{ٶ0 !b5ىWwz]?.TL3DxS3oPsIv[3 YJL>u@{Ra 8wdWSyu3!J|nѓxSu#*Ԅ^v'1K+ Ƹpe]m)'ߌyٙHJs=UBtH̼r>MyЃ=j^}휇-C mMrNbuO9ɖU  "-Մؽ,xh8W%#>n=g?BWj^KZ ˋbEh[L$MޒhnWF} :t~#N#=~ Z-8@tDK:%1V}"cyvcu.5.;*b2 R'}6~9!-=-íUm{,'f^#> GzBSm-~a{_; q&~>7$X6FAXyЍg8,g` 9ww"˳ek-cfiڔǯ2.ͭT\C .7(و,s V*Ϊ:L, 1Iڀ@fW_⎂>Ƴl[!uӖ4Bfnkn)'b2`:xl\fZbY鎰lQDy&&㈜g.?>J.[,jS)d!mU cf*md#^_ u\?;P|_rؤ8 Jb1lIx7串ጡ^l^fIGsQ /"ȧ"Ѓ4j5dasaax4WÐKX4kݝ]7]&^ r7i5Ynl:ImG{J hsryq pHaZhW!-.BHuLR6*Д^5|5 )* Q ]_$p822G`b'-ZZ: E[s5;<#|y[ v/1}Hgr? m V$B.Omi)7)1#2|#yAjx1+B'0$7pp(B#[UR`IrHL-LxDg%Ak،M7e>.yBN@.f;O):m*[maA1 Irl{_NRDM $z'6_Q^~yl"́e@6cq uN?3y*h¼Aq%C!MH-B`?K[0da (9nT "kb#xPIŪ ߽ζzPwhL76!atw;.5'?zAbI$1%?G}-AuZ~03SF,<1?eN^U17>ѓ^vO]; ڢFWv)O.tKRחƹVh϶y@y!"RO#>.U-% J1N|ncg+Rc;RS' Fj13\,!0{ڥ "Du%S:3|$uvO?Z])aL@ YCs8w| WMn-Vg!) p*9*7a߬6RݰI[~"vkkJAk)jZnzQQV1&_9B=V| DCT.2ݤ(oQ эRSuYQUfՉ RPGnY#- ڃ9-0PW&Xu͵h]Gtp@l 9.RvFw"hyQ~gW֣C"v$[UQ d'Hco+&)!B`1_Lאs YNhr{#Tg yZb3x?|/b<BVCu ;>VC\ Q3칷M^eӋ$쇪+s“;|I'Fж?]V8frK`eRꭲ ts'$P^^,I|y')l 2l$^j`d{0%e% T'xFꜯ4,+ϤGS?F#8O-2{jMgʙh!ʞѭx#>3FxKbڣe\F+1# Biڙ,ydS< ѓK[\teU0\kP8jlW~X ?ג !lmbL2<'ن^]#Ɗ'%ORY,BPsi=;a'ݸY\)_Pa_Tp% "c=gfvHy>q_ OB W YxSH78g ^L]q#E7w'92=[Տ]N,pÎJB ,HG7"^V7FkXA[Du@VpH-4c^b<:栩Pu=x!R Ya  +dP|c|U;Ƣ_U FʀO 8x`MLZH4٦/앻=)KoN7~ K6|fxaΡ}ψyj͠."/DVW5 j0݅;;+/W|Tئw ߈=]17T*> ^[ީ fHOYᚨ}JX3luzF#jLܯڳ=i6aIu j$,$K~PBm%K~%J!tȬj9/LCÒaئ&?:JiV{+,!恫dmznG0cl5ֿMz7jk=dl F62zL%jdC{[GTt'05vC^Š LmZ%W{Nv@#C??jǓNVD- Ŵ/B>;qplwS,UGO24c VIC+,x0Ap;]iQ<)kWm9DC|uE l>s]ma-FLB'c>X07Z;;w`}4?ؗ ,u EyP^~%CLțaӎQ.ZCCכЏ);4`8kHxTØ%E%`. |{!B\] RKq$kM4|ocl.N^HL۞;36Ch7M86bͣQeߑ̌٘{[z#ۯ5߾3I4wy<㗷g_Hbd9/?䋧%I/EZr4S++%I$ۭèNz>IC \K a$z#/c?qĦ_N ^AfU9.:YzIԘp`O[ɆP. Uϻ+a;Q̝vIE?<%SYu+ ]s#L&!:^/Z{4rQ ӲaS #-V#k^JP-e%3x7-{Fؾv\X czVlFWgRjͷ:drbݺ*R._Mއ:KKY&t%.nkJژq?1Gn*.F>Y?/n dU ni. pQC"!)'%OCPT'瀯{-s*uSĴiam40gZC]&QV) GU=4*; {[b{`s"I<э =oDfS-bg/3NWCm$")ZNr KuImV/OKג9߅զ#b؏7JUs:ÒV,->au 槃@,އ /nݫ:Ea{*nknWn&ixDs\}L><N81z܊􀻯ݺ=_Ӗ_uqisj{Ig %ޮZ=D,+zc% :ND <X ]Q="c,F`kV7/.E[b -`슦{R^&STSkI](ɰ|`Ƙ95AzDQ{9Vͧi/2+ VD9Gl^>Ze rML=ŠVuU^%.Y5` p.B7k&!s5S\ jR7z>"2=dBN"k\Ҁwd1~_%S3v\Bjx=t6F=fQlo|Bba/LWpx}T D)}fE$W湃_6^ fKmJܮ)I JkG-1Gͷ6?bFU108G] ^?2ds'N'42wv2O*Ǿg9Aߵ&_*[Nn3 VCdB]\4!鰄t{(wEr]`HXuFw嵅 :]џr'GITBv@4ƼRXZP ((NW7)[%DyPnB)!U0|Abr9lf*imJcշş7:/%1Ita_cP^6:,XR%;a9wW>㕡~n8fh2Z Uku,Kbx}P B~Ane Lڸ9YcVyV#xBu +4b* {+Mt'Ŕ0#:¶^^c"**1a'N/0u9?J[aM`'><`/|maR_TTFm,b̨PF+b\if s䨾df/K?Y&KۓOD ӸX<~\Eb.M4 UMY @fmokԤ隗>z~ZT1Ösw !bnLCUfT憠IN$CAp䆋ϦLsA۾Bo:4H"&rZLKFYrЁ3e"?Bְ{zo9K 595t{sbIrZ Ml;X'j6]ph^RzC6f>K xdCE,y 1&KO63+]p (H9Z&KGVʐQ2z 0`:6 y\NNQx"Kοmp78RS^ip3G0,X(lZ89@ǀџOlĻYǔ8T}NzӒоknbJ l2j匡ZH^:}Ue(=P LC -$"=S$]N_n, 'q>=(ѪY'AaM_r6-L9.bCr+<2 Hy1Bwn$-X#6Kwa?5hmP3U玃B=}~>+e(Ls!MG=3@EîZ]G`tpR5mg"}>I|;OppMƨѬ]ܤdUiFz@oQ+Hq"Z6Rt 好?Wmv\3*wjokr=b&w)LEMRLאϚ]}tHގ{C]=)4'Q0[UG3~g hB 黉LĖgy!_asA %;l\2 ?=c?R6 B%q'0 vg7cvlV^# _6 ̛L1jXރ9]C;r F˖Z6p;rXt'ǻ?\]Iv? `ђhXE' g`ܝIB߮bWMG\پ9q4OȜ u"Nh2V's:2?R1.B:/lh Sw~L+#lol}Fs4bkYJ ^CW U*7nuh <樂fBR^['`ƙaW=1iaKqMWGcϥM`x'΁bckՃ >>%62i­N8'r6Z=:^1'B[|s;lz\ H@ql. bd6;VK^<0XT d?T. VŋCPṚ)̱RV}t S8'X,ڕlýa[\v(ѤƁ~ٜ*S'qd͖N,Y8g@͏^ )j.YӏWPg/!Ǜc> g$xȐ}ww6SyOsu%5S)[-i+92,t̥Ũ\v-MZdMkvTi'fyH^d]Q%4H5M_Fl#%OuѮs,@$ej|rbA\dahI%WWhϒNMgYZ {{a +I# LHOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/markup7zXZִF! N{]9H}4l w`eߵPzEcyP5^IKUJlRblB6x2 5h. %,ʠ7F8[0WD Np!wKz@g%4Uભ׸ayN6Hy*~@y'7K SoLӟfd6Tnwoe7ԈC:Qփ{[ʇ}b`e[;) qi'0Gqx_ߣ}(0ߍ3phx5%wNp,-]B+(Z.O#?aO% *TT.B*'C~fjK$?-JF]\n;s ICnalBCBM'ٿmδ[@&z_ơCF]$eQдn9F%,rzj087h7+vL1(+€DQ*/Ǻz|H!P,=讚i+զ(WaXp@k `"_.aQ~ZB?ƽ=0Mibfl JwyU^џW_ʕ^>n=JIZ^P=ړ*R[Z.R KM$PrHXΏ&"_  #w@\ҿ&_Ćpڗ`./ /G}m n@Nc-Wi OԣYA\5j*;.VMGY`bEВ ~| _(.)Le';v#{iwpOT@4~Q+wVrG׫t{WY.C&AK|z"7{Јm&uH4Rn(]cSdEx^S俛[dZsa38w*OSC4N N%D*k!H`wl!R oLٸ 1"]aOةm.̧И364_䀸t"?eg\/dFɃfq :/iJ )S/%jtCvp}xwϫh,5P0{}|/7_{gB%6 = EeJ;gLKu)pmxsFc<&?[XՁ_`m v.ɞk)TG AcV^4.̤'K8)Z~bg7˂- !{ 7Ԫ!$b Snm(+8h;ӿ(dH@f_X6:PSzY~YR8r~Qg!w__1̈82cj:Y+ؽϧ^orF*+N.WZj\0zB\sbR+"?O 1Px+1%, ޺S@ȊӮʬHL0䭆\K/3nQ2\k4J"g&YMv.I6T(]oG Wy csFj`9XGt[bJozPԫ`iP 5' rs,<ːjj@VοњNxU\>GX Lu> @xs^ugT?]m Q0 m肃RG|l$iܦBa=S..\oO);xѤH+~;%ÞUO59;P5vJɮtjt=U8 ,H?V4r`l*GmFS_4J殨֖;EloF^7"@y&6n=I\g4t;Q(j{ndGFgn>~:#,$b ҽպ<'ÃTۤ;?8\;I?VH_9Hc7:!`H㹀 j gdZɝJ#X2.w/褣؄Q>De=o.]w>lRcFYuYb^c=|Aw=S<}[ Xםt7B8ǟٱX 56e,꿎;Dg^ЃWi ˊ2w tmHՑ}Bգ)1'cRp!g'K+f^{p>&_te։kTcoWKH¼ink   j +I' \HOL-Analysis-exHOL-Analysis-ex.ApproximationsPIDE/messages7zXZִF! g]·Iq n[:|&[z;r'dfO>9eOO"4c[]$ Hm[4D Qxd x #Ay6ߑ!o2)oI׼VD?mܑBjV!rvBaԐ3|$*Oײ@ HvNd [tҭn6tqMԈ7ib3Ƥ!iq w4bKt9oj`VBh-M8/TD,&Y!j0oVOdzIzWE{s_[D|y[va4m枦_ߋ-P՚ RpW gE39gYZ