SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 MM$'|\< ]S Taylor_Models:threads=2elapsed=137.658cpu=240.772gc=11.548factor=1.757zXZִF! ew]ŗXf1-q恈ŕ׬[p){th^]ݐ$Kt _Ys}ұ8[`gL:d_ITׄAj72~xhwvC?Z"l=Xf>f_{岶- -P\_j ~LY`%OX s4I1fCBٵ?6! #s69oޠ`pA 6J&fSK r G^p/Ũ-Eb] )LeAH$_׼V~ =N=7aUuU?T^՝?Q'ioXÆh(K#s>Idn"3Gk+:b0 kOiʩ$tr潐CÇsϖWw~JsSKD륆_D细9u)DN6Bų[t006o6IRk=Q|&G0lġv_2!N<3Z7'_8_Ŷ( /-o/Bp$q_`PK4Bt-j930ҿ9`L*ClcXɅbd x t؞)Cq |yJqRRJК ش?x/bZPfxYdx;DSGX=>[EvX0pԉn U -g  P݊U;Bx'Tԛ`ژaBؑjpW RpJ 9PhwY'v7i9;oIVznO!ԥTŇ R+n,#a](,Xq$6r=ldIh*eNa4m_(ji^H=}=[6^J;miWޱ`'0ӥQh0M(QNoBP K;cq]2f!`zޭx\Zׯ֏#2OkF]\>屄uގ@fMT!ܨ3YJ>6R -)&v=W50x.U'wwv&j~L:eAӻaབྷ Vޡ3?y(#pN\b|*5C0U]s}DmwGUȲEIkPhs\՝6#nkPsvDl95˘ȷmg&:,,O־ktrB-A>0b,+ KcwL{HYI P&""h7kSӈ7iۨ=4JiR!׭F EV`?G`;W' -uY@D;.qrr R1d"$"*#\d%`eWJmĮ,Rf(*z0 n/iqi::ڳC[cyb8o/!l%azy#tYnrn%Pʋ\ J;GR1 V.hpBZ^Р$~vȊ]8ј\/q;oO8C9 q!ZF6y# q:(>1usfA?"`{= ' Taylor_Models_'9% \Taylor_ModelsTaylor_Models.Intervaldocument.tex7zXZִF! 2]A-MՋhvG"uIBm5IQWf∓gS_\i=ͪu^@ݵA ?Ogy#tlĊ(@s]q44Hp1o~jd<}2)kemb ij2SYjgWrr9q@NElNSqqq'e(}<5"%َ-\#n~n c)&.)kjls`.A_^6Msn_%U)2-%*Jq ]b(bd~#ȅ}9?X1WëwjE}D'(=wJ\]CP1އ觨u-?DCwdrOElg)y,nЦpwhu#eK':ûdILqMlK>qy$MMGی H#:1gilt*-h4EeMEQʛ߶յ1hmt* uX.YޮlҎ_ÙsҺ)MRzNy̠ M0hBx C֪4嚃`d]'g掯"LصY,J0@>\Il5y珸\~TQ.h "0n\_pՒDTF] [ JɍV:3i-"l](      9E8'?%Taylor_ModelsTaylor_Models.Horner_Evaldocument.tex 8'?%Taylor_ModelsTaylor_Models.Experimentsdocument.tex?'M%Taylor_ModelsTaylor_Models.Taylor_Models_Miscdocument.tex<'G%Taylor_ModelsHOL-Library.Function_Algebrasdocument.tex:'C%Taylor_ModelsTaylor_Models.Taylor_Modelsdocument.tex;'E%Taylor_ModelsTaylor_Models.Float_Topologydocument.texM'i%Taylor_ModelsTaylor_Models.Polynomial_Expression_Additionaldocument.texC'U%Taylor_ModelsTaylor_Models.Interval_Approximationdocument.tex4'9% Taylor_ModelsTaylor_Models.Intervaldocument.tex쫑9?:=зB"wo"ggA5tʧB6 ki{G Kcn>kb4zE Za2¥XLe@R. |;&ɹ[Vcгh[y9PdjBӵ6$"k|{}2c]%6!; =͔?е%~4t+(l?2<ܼVI97}D& l{fH瀙Yx/ < ԕ]t hv W>hrlQ0=o 4y"??*'x2A m-0gb*]Ƒmۄ z{}t1/°{*gJsLXTS"]C)LQ У/txyJ6^4}/luvf!MGxпRlDÚ#&|);#xlYK=7C6Q4>f\U/AɍŸ$0uY-~<.am'؈JڥSk~k&[-iŕQS3M}R+1$\%qH# z8=M0QQK$ڱ_HI^N~Zu9<ǹ_5(|y/R  <غB(ɍ%5C_m7/$kpO'LGBoC.EW.uҎYAk*C-oN^ve*vjfSd\Q?FŚ}]qRXؐEm)XYcP_ڌ1 aYdϫЌ;nt#B%A]1S9s*x\!Z -t2f4n7FI 5ڗ{LۏEXš*Dzr'jXi#!L4 Awj/fY0/dtu=R+ XVć%| ΐs< ij>tߕJS9c7\( ^!2G{VRA/P5P$U_dΫճ)>)9WA^7^Ann1䂣bt n[5NQa )v(GyI(< ㅛ<Ĥdgb/ ,}X{i>V#)=/,O/UkG'?mTeZv9mR2EcAد$;&e_29NILՐg,w @UD~?,t6w;Cm>DHrB>RZͩ|EBhT%E,Eh-S&^tX}JO)櫉q|!)gIMHKfy2Rr3ʸL{ o6l)UWm /9ccOy})PRitYt+-=S%iApŦ<h컧jĻvkǎs11d"hVhEGnfjȣDT;@aj7I{B_xK9G6Q2TJ[~27_2G@Vs^*i[!2~ =W͈EJ^(3aFٜ :E*+nuelϒ_~R5+dRSi dY|+#==]Q$1;g"$,r=`JDLwK!2SD_|33m7_xڡ$(6ؖA+-w^mI,uP {5Ɛi _Ǧ$vSņW>ո",C];=jwBQhs"0R?SM,j傣,)Z.c ";zucYп@2V#6e&B:8׺rG̍̆xf$C324IHp&j춸ˊ.Crep),qηԎ_o .j ޗ>ukbFMA6{ ^|ZihOkVn(5S"K}(z"K母UY-+Csm/ 2~Xnw6d.ީS{H!J86 Ǡ(38v/WOMBw ĞUe-rQڽ[$]IVg3=ՏDŽo%X9x4 "&yG׈r-Nȟi.%\1y2Nw?V|pEkID'G*~6!c!W *@jImitboCU2X_4kg[Wɽz5so0)I2?wy2nnTZҰtATA4`d^ a⚑dGWHGѣyzhKdpjz%!F#_U&uX=| -,{1'Cs͝l9Hmv%&R}i 'k` gŰH~Q㞁F5!gg[QE@luz2s)r6'$ ̴aHJƗc@~%|C1r# n8bY`/1If*tb<iQ| u[H}CKY@+T;N9Dn;q6/CI #Wiz=WgK 'qزzQ z Op4]=r;*2 {)[l_o ,Y9"Dԗ1&pBpֿzA, Z,@r' 7C[QπךR̜Df@2?$@HFeH >@SFť!?VǓo=W!q 76%\3"K?go C"׭LBW <[6'0с,VS!pZ&uز7Ss )WI>m9aTشw&^2q?k#Csd@&C78C>%VL%1]\!<#Fqė7 z5جB  cf j ?S"hؑ x/÷X:zWe5k*ؐ/8-?05)jd_p.ݾun ORe &QV[//HS?1}#1͛/{мHoج!W]VHsP񧣯ȸ!tyG-^aDxHV䔽)/-MAr 1k?gb]/qNzkvaOs?aP@zny֣&-.%R^{n^u yg_? \(JnBvf5wj7_o0 Iljԁvm f>qmhhK ! -_Usѫd7&dq2/!#E1|Z]xQ 'wPz^  _6˹Ds"'==0E%z۷S~£J9+ak 3/} ;(,%Θ&!a#`8 wiSq>t.-~A4mXSd{T~jf"]@[wFT Zћkc`qצ7],QSa +bk=JVb=$qc5ˎYuj/O!sp'nM?`K\YEmϕ2L)`z ?Pӥ&5. Pf2J*]7:H ԏ[ >1N _1EBKJ{MTxEOt&r扰Nl+isuĮ&rS*f ^dF$=$\9.0G@gn@ZVo_d҈(]߽A_67_zz-w7X猏bܵd.y l(H}m7:|XB?#X!JseA(7u@!MlGш6zF!]>=thH~˗go0w6&hv0\AsJo@e L%SXyM-޸v7/o]{Թ~= xIkfoq hFR+z<2Ae䂝%!g_1Řz@* &7܄ -phM||b 'vv-(ND ^OtRre`4LeGCeUFe҅Jƒ!ڏ筟q svLEmkmѲ`e6])n ?SyHW>KjAB !xp2&,D.(S@%G0x')UGC?:+RStVODuw?[٤|bs(!f]Z+䓳k0*/t{@7?gp÷ŸPik]\&UgBW(Z:GBG"尃%P$WӍ)nq5Q2/MVanGYn Ŏɚ 'R̫}(e𦞖h<lk!}weC0m#g_R xR=L?bgó*EwI&J2}ҿj5gT`RYŌ~kP͘(XyWP a޲D9ۆ.i'A|X^d B=-4K)?\H\nT{E2ȘPtq5-q+Ki7% zFS7%w8Z yw6ֽU3:E~erf+0i c!9Gs=L ڧ|hoc>cZ6ݫgiԶʂ3SHNtlv.6u; xr}MG?J ~){RBXCƽAuZ:t+څ>z6' )BTߓsYK ~bR9'tN h @'ːbV>Y&x%w8JyV8 MJK>\Ng!#pY;UpHbIl^ 30pWRbml{[Piѹ׊q1k,i[דnsoA27ŷ?g#peL,T$|Jv;!ok h MyXvzFLVOnN{G[=tk,c'q8{.N󫍰GЭdǣ58)!QjFPl ^<XnxL =yH.s5Wd=*\m'մz!Lس`5ƱHyY !#k (jlg M~:JB`,nm:,l`Mb|r㉀Uɘ*r(+ne*iO*iu%U(SQ2+|e=!vݼ$o6 =Hl10Յ|'gV;ԛU70NVH EH3]C;ywͼޚ]}ֻ,2WВ<==\dߣI|:Z$?!Rs~DԔd$̛0 *nߊ%f)  ;"`rx3ĸ`Xuh1'"\!BQuW16+Crn8 TC?h\|JRBB &@׵/?s8"HE7n A.Sx1B5n:0Qa}PzMZ]%w ^˔UKٮUWэ `Hf&`xZ1T3.[z»Ǒ;CF)w*VӱlVbrk?#1`taD.By6Na88'B.jCk9E bщt8n@6l˽m*sб-՜Gy5͟G>î[AZ즓#œ1=MOeƠ˜7$c}BizA]go79Bq4sǛ\ʃ(xzebo,"j]69;l#1d6P tDrM0$┭uweaZea6`*6[/^!VؗMmf6q} +1?{*TÌ$R e^QZ+ "K* qq.׭cr'';qtzgsr ~bZvۖk {v0m?SC:avOTaM⨕-9]LTSʄr,$aNh鷛sj8o8ڙ:֌F\9oMaکl(l'҉ WYi=ɡ+Sx@WMoy+<3ȳa,x㑧 &dKX(W W &eKgaWw1cPvCP`ϕ)B-fF$>$N>3Sgjtn'5DQҩ(+ֶgߓk->_v"]6?C #Myq&ʝH{IUYS^yJ{O_s=wEFqv7DoI %6Tcuݠl"(\ћe@쎊-0Ag 2k0FsiU@+6JTSJiP4BaaՖ6>vQCݥWwLk2RА3?;ɴEQRUgX2ZZ,QA (UJT_l iy=S膰abmլ&: ]{%10cXhl[َ48 Nkn&"[4ƉDAwZZRڽ,ҭtǒ<"Z&;ʼը6u;ԏא+ ,qT'Rj'\mA;K8B6FkIpOT7f p&`%˜Bua83x[$8 fPe.[@11{XƧXwYUI=M$Ϧ9.| yujb,~<pkT5!}߮ ,ǍOJ-7F4ɑq>dU 8}ѿۿ?60v8if$|".BrB ,Q#LXSH덺lƄv-z8s!bGa:UvN9vR?]_rdo# Ow'zp3{2`&Msq7NuL/;tU0q2YEV-e/MEnWo>0 EkRŁe&o99v\5z[4t8L 5M2RNd+%#s㱹<@:My6pCtc{Z}n32zU~6$$&[xH!G]هI2 ԥUF#tu>43xtf[;34p#*;T K;DfdtfE՝#@'>J^ۄ^<8KKĹ ;K-8@b97)QK9AdI'nb?ɀa&I$ ̣DZi\9'\-W Ź /.>f1Щ\9 #X{J|ra O)Lj0@QVv`*4d_"#}$i&j ccA8t; XuU#[olYLqUǪқklLjaMRJ #[?<_CfEx|\*doF"3GHiނc=8LdR?0S>@o+63L(c7ZKp{J?ޣRIBJPMC6KZKruq 1ȇr-{b,'!u pkcc#zhjL~,tvL h<DJ `'\$NM24Ly<+|YJk!͚/,~p._6`O4[N_ l4w+US?D1+bLkَX#-Q 9VZK嬓۞EVvG2;fYS$& |_*!ai9,]*x(zR_xeV`Bo%@{`?s&bk >g8|;0cWe[4N."ycqվ}ds_1пtiӦɵm%PaRZpyWV@uVbX{cNWȯ <0 z0@}SQD|*nOTSWؙEwoY7dNgݢ:iBϓ4GSl߭%qPf\شF4g&YboZ.q.[ Ʉ,ٿ[jcGJ},2mz L/ey.EMMAfj5vL\l6i+vLl(>o|Y{n&hkz"U{2n}D%^W@a!06{Zs%{5,rO\~g6aW ps:-}|Z/\w/Ҵqh% hB,_=2 >9C횖/ P1.bWˀ8>zO"?Ëx8 9j$7 pL@QK:2y JXs`m#uߣd A4m׳jw_JKΫ9(GgDud$.m߀):TDM²qQf%@SY]A?}Yd&stM9 (*DK'^#megR, Ki>7>ZlicQ+FYQr@6<^ ],^NW בJX誰l=_WIPgwͲ~$4pOcKFCT\ /cZ>?tD3^c׭i@,{ Vh=^`Wi=l\K^ ִc풮Y"yIwe`e ћFTbXtT_3d F,y?*@' qtJ&f)ٺ"%ęӊΆ8.C@yEq c!`eNV{5heP_ m_(9YMnr䑈vto*m+=`kilRzQ@ |^v]Ms/k v k3h`k 8*ũJWJ{@㼈w:l;p6 1t /BTXxi@;DO* %-GA=BZ&RB4n{Y'P"VGt)9 xa@1Q#eث$T w쫂<1GwϺbS"s9 k θ;,::U \&~:hȶQܯ)[W}G.|u鬠G%?a%duэ6A7ns\5 u[XTn~ޟtE!gUo92N)>^N0k^.m[_;i<#cV>UZ&ݭؓl)susTc_n6y>Ȗ&{5(U@ ?Ѓ6QZەl:YS]V _vb35qk=W4W3Q%VXkꤳ%CDmsW*tn"O!b{=Ay9DJ}HSՠ]sD cN΢eJQΆzH`N߉@Mixo͆l] * 9- 3C5G4d1IA_nCzzA7qw8`_7vl bU>X Yno%RKZBP Q=bAc̿- `"hBy`^=~e~qʴC6M,H0)ˉ'T%KEn.B:ҖE=u ^B3\N= UKu'VBxc[_E1:+lKmWb \ɊqO|҆Y [7**TYg,6%4v*pK1NmB[tuGXD[|L„&E,4[><$ՏI:G+gN oѷT̛]%hyw rxI7mY- ,X9Es4Eϕ,sOPNM lRE:_)o~ @$Eh_^.a2Xe^G h@V]}m=xrlh a=&w CuX,xD3r87}Uӑo@^v^ -| x0uq<#pf8c)a9_/溢Y^wUus;U!e'_8ʼng ҥн 8VC~i/No9Q,\/D K=;pl!4ƧS!QBL]倃PrC\TsoNB;]#$GN{EDjfT1bxXO^Z#]nj`bUĤ7+{:Hq?|U-u;,veJ]w^D$p%n~Og|Ҿ[ʁ8K#;0AYӊ1#'5vj|X"t?~dҤ~ #fKjo ^Y f L3ҙxozLS_ s=C>*62U%z; W9uDȰ;WV򐡣>훈VwPᚑ<'*7\_hǂNH'HbAMOG"\GwP&pSqFCZñ?2a2=7YM=}zS5L~PfFk۠fX, v sbξA 5t0Lk.5<wfKl` OJVqFǫYh/$ߩ#'$!YZƨwt]+]xZn O6lGc&_{3nGd|vՐhOQ>-W"I)vWrcԂ̨w.-ޓLԉ(y$5wײȪ4x8JؗZ/Ny3"R~<+E޽=7k w'w(;-r~k< ʹl6^"{V8[UuuB7K`]h,tySޝL^:NjnXauJPغ4f:kð—;MG9Ky}3|8w"!"F /xCB+g[_`uÏMP ) KʂSZە29I|P6).))~0 >, HnU:p)<-9,!5VH9d]."a%E\h,h8d|W~J!gҏ^;ut( ݼҖp8XVRԬ2#'&19.\w$_rR49MqbױhHEoZG$c?MүL@a.sеhѳ^2K«?0Ռ^Re tQq6G}'Op1cCyx2n͝KCz*gb T'fx^іn )z*zd nut-lj 6|o:,h'Sm0^ )$-tO /hR A>\z țtaQL^ry!M/% )oYP ep#$zh|.цyE8|8=.LTj~^覥f%ZZ#'zZRsb;b?I,FĈݜi | IZxIzցpL4njOBkXy}%dqWd%\W"Ѩ F'tG ?c7E}XS/֢)E:[Wy2j+/{ߋAtbHh {;ՙBc2@Idvh;q)PnQ[/< *2lkczTx=2t-eG~ 8R@DkgT&`ζH}:=>z#%P݄t59̆"‘@ުLzw鍁cߴߜO+Z%~sηyt?Z|?F ޝW*S3#)#RN`&W]VrA7"j'0oR3uJsbDCeSV II(J_†PG^T@"V⥄5=PdҺe_J${P]. GaD_j\K<ћO'rZ[(ZDӷuQAnü:F9=K_[oKfPOfb]S(5oEGEeJg@ڈe2f~=wۇUWQCYC8$@!ol!q'΄#5UV/rnzgE\LQŸB޸C!Eipi.}j+3X.u-;D.70U/M {U)؉: ]O 회'q";%N\uDsضp߽&1rΧ]3 \?((~if\G@5Kt=3t ]}IҒmsǟ烙 er4xg(̧Y 2<tl< b>1vDb+YRSmǪ\x)jru^E}F%jc:Ē3,YȾγ6y@H:>HNj+#G/Q0'ONWdh-m2q:9ZAK;Beoۤ<"p/ܮFqmmN9^%Ͻ R8EJ, 2o HSEĞVJ5`IP2{~о.ls-*d瑚и:fYJ5n;23nsSp6+Kfb2+\Bދۀn2:n w/0 5'unH|U8x?v˸ĉQnlC4>!4Um;?&7&t aH&Vq`sT&vYu{fH$(Q0[A4XAhv9QRR̼U8l V8y/9T o^^1`@<HQq>ևJD2c|M{,Zo?4j@$fBjm<^wYF}N? J-eWoǤR bLVcJI.&aϤ_''dJw$|`/[0w3V~"i'0&Oj@G)l1+M19"{+ ]*?/ ]V3;T-UDVpԮvR[ܳNV82 n I{". pNAzlq5H@Cm}vDɟZxѩ>Ō~&גhˬ'JmxmC-=N! COf/վHg\Yqn)u+@sKpBQg;3`p6. 2' fH3H:(MqiS#j A̪;[էD8'Ebb3)O&eQ-ZrDo? wcYŧTG_WH09Կ/(x'6"VN3e!ΆصHݧ~j|yĂдd24](R]2#oIyXLp(r$?Pۨ>P?_0Ԩ6*$+C] >~`\[l'xQ~g~o{j!xRYf/nD=pW{ <-=2Z Jd 2eѪڤ"*쑭S~Kg/K$c^ gYZ  _'9% \Taylor_ModelsTaylor_Models.Intervaldocument.tex7zXZִF! 2]A-MՋhvG"uIBm5IQWf∓gS_\i=ͪu^@ݵA ?Ogy#tlĊ(@s]q44Hp1o~jd<}2)kemb ij2SYjgWrr9q@NElNSqqq'e(}<5"%َ-\#n~n c)&.)kjls`.A_^6Msn_%U)2-%*Jq ]b(bd~#ȅ}9?X1WëwjE}D'(=wJ\]CP1އ觨u-?DCwdrOElg)y,nЦpwhu#eK':ûdILqMlK>qy$MMGی H#:1gilt*-h4EeMEQʛ߶յ1hmt* uX.YޮlҎ_ÙsҺ)MRzNy̠ M0hBx C֪4嚃`d]'g掯"LصY,J0@>\Il5y珸\~TQ.h "0n\_pՒDTF] [ JɍV:3i-"l]( 9|f 6vR9wXطc6A3W ``'U% $Taylor_ModelsTaylor_Models.Interval_Approximationdocument.tex7zXZִF! #/ ]A-MՋhvG"uIBm5IQ1}7 󛚅* s}|nIY{56/}*O\>u#9x_nxTW,r狣 &/עcߟ{9`:Ձ8(;@%GUuggr;x,sdbZbn=M`:~FJ!"8>\sm)-r|}Lvx4{.;5nb򷦦\$-YmlL22py~'طnGO 0ldjpy 5n}fXT[1|L=eJ~sra!b3J\7OHxSsqOz_TɕRW2C0ZZ.N?rxo.e~g dl9"K6p!0W&ېɅ#Pz#@8KZWcŌG,dELPS!~Rcӎ fBߘuDZYa8 &{3p7r6eLqih BW/`ti'Um5NIK+DTa}l'vӅ_:u(!C.Gl!6,ߨfNh"ڞOߥvIUѦ[zE7.iCbFvibA=_u(<sUr*MWԫ h7@?AKm$DHt|#Y)V2X5 :f42f8WbJ*5'!*~g{!ơ)hóFW䬧M<{R:ȉ%G^$<$Ij?VċV,ct* v 6 z]-ir{>g2ݴKmUR<4f߂0h;4_=kAHqW 8!Nӽ]!.ĵL~mIgfm ךAAX wne~~ݘU {{UAkv~TAy$XwvcÛPIo>aF:Lı)~}k#d#vyb!&-H,}'E. A!b,nFB({>1*Hs,kXਦNuJ2xB|Z0n4VIyC'=:%"]8tQia 4x.l0b*E;Ll ϟCbҷMS1ny- jvՌ* [V.bh?B3gm3N@3x$NRY>hZeZJȌL~-mKԜN52Z_fX|?o4syߐzV;]_6Hƻ~xCq>-s_F Z%R .D2H@!hX{ SKn5uvT^_.Xg O? Mݱc3Uٗ AC8B_\4l$VszXAj2nM%];piI,>i%|bݓ~B| !)U + em]ЫxGc/9g/p2VW;f`Xρ_*l6.(7W¶QK椫]v1eVH_O!Q4v0$Y yfj%Iթ@ c0Pox𯁄+rO%P|% /Y{-Ɠ1 ;>\UnwA7`J.:_!G>Ж/E&{8 8iOƣKRx 7S >a᠉.>aJ:zbL[Ηϸp,]GمƔ-I쨏1|^ME2o@NfzaS,NcWʚF=슂p'"NH==#yrO(y*q]Oz zF*_,{7 lWJeBmi9|D-f`\xQe&inWHO:vQj޽nlIjFwQ9zXuvAWC:lO8|"H)YWde )XRdo9 Wi6 }DqΈ+ 39ʟDC59iB2UWׯHM1_c){y,?,>R{W(H9~a*=K~ y=JCܟ-[#2F 9ّo A-B62LK"Qnzk͸0a` ^{c6Ӟiȸڟ Tvls'|>Nw9B>$aW+.OA^cZ(Ӭ;bpХlͭo[+z>*at?K-ۮ-(~s@KblW p5p B˵)I.mK1)Lx]$| äOA[8] @_6jpC0[ڠqKiU6$kE3Z[/~>VFsh".~R.&:LS(|a %?w%[.j}2JS98I֦?& EgV)jp0CFC̰O5gC܌Ӕ'D.I(:n*F:7žGǰGpXD$nͪ0oyŕ׿leEy<'^R3MJGyF^sAL/!^Z_3g꨺4"|&T˃O`suHK}ה|Gdh?%$- $+5sSBcCQVq#U +y5ms4'#YNæ'=TIR*mG䝥$4tǵY PsY PPN0W2]B^Q~- PT'v<12HnUb+-#l @a&rͭMH7jQ/}ʀl8֤̯c$i ؊}7@8ϞUwXX{[݇%ͪ ,^S0_uCsDb샟7 s;17OW̳ *VDqhVdЀ=0oVk10PcB5~{mwȷ>N *w^ \9]/[M +ƎeCj ?:H]SI`X];5jhJtbf"{sO6 KUoR1j(l6چGڢ|/q5 on ۃa gqקj10MAN׃ΥHd?BA ++ ZǻMVӢѿo3VۑĚЕFqv9k=a/lxy9O25b4s7HJp, ysdV|&2o#bx+ :+ #ˋ{HK).ID#|&y*w#:=쨏^GX6tE> [Y4 =W(` {v3X'#]MiLNasusE_F`'iz˿d/mzIZ BZYfh;b,% g=lzeÕ/'h8˴+9hOn,pb矅[p?^Lי l  2iij¢R}/x/ j5>c#}0Uɖھmܩx@C v|sh i1&<(qr 0qJT%(N9 h(zR3oj)3mKAsy+@$Tل>ޖ@gɒ.fciУs-C)ΘT5,oB')Cwq$ Lc .&08 y_$2o͉rW8Oˀ*A`5q݄Z"͇u& 9DϰY,ONzB]6hyOk_] E],ߨ,8x@&/QD{ FN`)o܀Fz$Џ{ lJ! ^w/1~;;.>X`~ c"hߖ!}@1=DlI%S\KZd5 ##ktuu5s2cFH0o/،l^Yh6vgecD}!0Kamrlw J&M~^#;|UD>k`~ҠiEŃ]nL`l|lgB]ٴazd`1esq];*@#^ʬJ eګˎRƳIOM}/5_L!]Fx3Q,Li O+vaLwG_N* w\T|L@uǒݎ3O_KG? O+ϗ А*vS8A'-.&SZk˄(ۗh{ϨyX%loڜF{wʅZxt˓ihjA -c#[X--dUңBʶ˅?1_|7$!‡*/E#b Cr'r>W'SG>93 հ n ԇbej?\9|!@]2 F/^KG@i<:+*0_m}H1<HUo@EQo;͂q`(d4b,|)aɬ0Y@|?'if 7ܯjv;4sЅyęNޏP\/4~r%l+fUP78=cRg2KJGN<:y[UhMF:?v@hAx@9G+Q ,xZb:#c%, Շ vsډ.33g nW]쮨]pqAU3LS[>.>iXNT+A*I*.dcA>Ӽ/Վ>s~h R)bj;8K 6TVAۚ~ap7KX i[ PbN,,ѹ$腸MVqF|d'bi]7, fKMrS1@ʮKH)I*#' 9A*q g,]8šʴq V7ԹigYZ @'E% Taylor_ModelsTaylor_Models.Float_Topologydocument.tex7zXZִF! അD]A-MՋhvG"uIBm5ll*jN3y~Z7~ZVx=OiNz#[ lvk䅥 G>P5M:`3{'TɔdG2*Ը5x"&;2!.l՚l [|c,QMXϙzIpW5z?}? ~q5d{hQ ~mmZ"QXe5 B-La>L# 9,mx?9 ?1v)c܊-YGMe;~ʺnQJ)íL,kC?^;a>|aʼPec=~L1Usfc8:/ed@H` +W#?1j†7n]Ab]гW -ܗ zp^ (NArK9sI6llvTR# pnbBՁiC'4)0K3R65 _`2O8}{O iT2"wC}kAhӬg5+AcSa:nj.zx%T r"'i% 4Taylor_ModelsTaylor_Models.Polynomial_Expression_Additionaldocument.tex7zXZִF! N]A-MՋhvG"uIBm5Kg@Ul 2ui;f%#0)Itzmx^%PYJ1QmPh[ҐK[Ǘ[ ^D:)BkP1Hr4P\m\ `j;)2!a;Q7 Q!y)}â~: Ǫ5 6 LK:/N9L5l8QԯH{Ape&K<8l(a :`xZ>v* 3LjP㓟5xa;wHnL?[HHf0a G ݏ-EP5ĕ:FRÝyp9Q]|3E-T9Ek'_0nr';05[$s8\6$`3uNjE=LP]n&;1P ϓq6"/u\C Q $sf)7x8IUQ3'-R4/W&_m2U趵 JH I7`nٛzXJi;R.i[b5敽%TcR[~13:|悠VFmaK߼ZA2;D0{ܰK%1dx:?# ;5 C= B.`8@$r|H) QCeRd (uR$&Q anKj/Q=u|ٜLĚrxY{Xib% <׻c:Rf%=crIoS)&`9vC[EILud#`5|"8[\Na 㳧< 4i0V26Ge72}3,0P4hR2R.ZY% JZb(Ln#lH!j Y*L@d?ۈ,CEB5h]ņx]~fW|,pzEQ [wf]}K<޼u^RDXqFӓYUwB[lK UWf aLF"{G"zˋ sol&ZK[ZmG"_7X khxuXbJ;zԄ յf 3L 6Nj"X C5Fb?Y=bq~e 7. ɖ`e( G4N.4N߄3TR+WR5W7ΎߏvЙ5 0lyXD_o|r$FD[д#wrd5 5'ga]"5a@'sn!j# kOd:3Cr["Su#'a~Mo+&+o]q`]4%,0\{ᯔQAZ^b itnY#E^ -v%D^iז!'_1>kKD#Qad9  OTUڏV2qdH&Ɩ=R]Qqܘf {M1ߺᵚ248ZžGaդn>wY4.@=<2Sq9󵃹X?UI>PoK3rJ֙YCD.v\.Ҕ"C3*ZSФvu=` 2kH/h1~EM '3JQJR^IX*+/Ex$p8 ,X%KP2&< w AކuOvxHB\q# *r{! M3lި!zbm!>!$ēl\cZ|SSŗ%p8}S{C?>Fj-[fdt}â mR¤ǂCP2 3$nV/pgO[ɯY:"m+>M|]B&?`OXRr!Q]}2[nhß`<*ujLPo? ĆCCIKeW}C+_-ۢ4˓U2|lKHMF>12Dzt\^< tt(aɚO4q7yߘ[δax6aХe^ - Ķtx _דg%8%$u2iZs'ݎ`=5ILD5 鬏Jd'3qߕR@\, :QM@iI%L lm,S|)#mH\SS٩lُraa;bj<&%`kP=Vif%x5 2FQvO o Aui#+|1KŽ"}6<$mJ)>  Ke.2R 6]I̊-t&r,!MiqH6_uQ wyb6XHWBJ.+*2̙kڕ{2,Wx38{L,b{([|iI2Ol;:F03Sw+iW0}Z\M+^72VT6?4 VwԨjͧ~뙱[:NReGϿ/WȿK}CRp 7mY5m,'ʢKj?]]Veƻ$(݁#4l Vsk'H$P[8h m{!dyK %F1!F/z9GQ=0uЄWG_3:H>NIlZ:zHyn n5KlHf2{sҒJѼxi>Ҷa9K^$̮z}Q%E?)֋ -^? NEǻN].cyJphm2~TL ,tVg[*2Vucx\Wke:"`_˞,.rAuL{\9DCGqҚqiT&|^Hsľ4׮D"9Mz? VXu9[k٥,ˆ_5" 51K?hKE`T_aV!e!l$r0~*@^WVjTKmdJk>PT~boa3E}X.1:p~hS2te4 QY1iM S^@htE,zW;ֿ @xcMƅ.SRb6}nHud;R[;կ&/T@b,ڢF 5@a. `>jɈF-tìrlM\9̎bJqdXw)$CB|-Fx5DA@*,sLR ȱnee%E?6z5S|$u*䟶ۍEA~DlĠg֊XUq=? 0!{4.lA8n .ilE" ?dVr>YuP>jΡ ;0`ӿy% $,b_u!g*cX- a-NճX(GSfRbW2{p-ueI^b\:.NLS(GޯNɅot96aw0rF"IF3<3Cw6heYOi Y3uAi}`ST.u1DbC#D,uЇI uezgj-n_j?b~+V+j ؝I|@2)8zs}enXDKY1Cn}37 Tv":_ SH~$LO`$8#@[ Jh9v7'4:HتrY]^xk]  )gl p\3uofe(!7TƬ_u'J mW͋yTq$VWӬ2z2 1Brv"-P~XD6qj 7#V]qb |tQ=em@6mXU٬!wCc-pɺ,J%TJ7} xc3;#۪ip$;}eVtx7E h GY2=ڞYP/d7qlY4&<"޷W~!71" ˣlo{`21b8cǰ.~-"W'کV) n}5(T =M6G!"< O$\ocS>~Bhr]bj-,S<ˡ-d^ɰ,.SԣE:'U0Tqh 1)ྱ %y$k924bޯDZ[y(ݳO(ncߖւŽð>\_8.ۻ ^:uy̖yuKY5-#R}=K^nNhGtf-]*'zUurz08D'1j0(^6 6r6xMQkҟ0i٣Cl^̒3V%V/K| S]_ $kLU1ATZ4}'{cN*bgj \m`nF++CaqؽWie~RS2q]$K}k{BlњhM[g.An.1Jtۏ*)zu!S$=~8M!o EρDj}6o3ӝb+< : mMt8v437zkc*M0Х4̀h_q@gKuք- ~/.8Wʹ񯙨lQJڔNN 7v[Mk$8ƞXo-exTȖ/Z4Mf;}_1-(_Mmlxuª(F7ЎR"l2'S[i>&3@ ZwH31^שx&3-fWR&[);3lv+4Ǖ##-뻃ġ%*33low 3yX1VgAi|طjT‰}9ݦZ1&zy#U ϸDWG̘L؊ڼMk[d9^$uCrOtB椔#䪦 kZ/ڟ UO><븸=5 iڏ/ Tz?XZWy>8)!l|bܜe"cJKO$&ggYZ&QVV47];.ݥKz5?DG{)xkJ6v3]^OuZh9\Jk2ZzE4;5}BU܍b<?ѽ.}=Ţ|ti󰝪MtvjY3)-58җ3+yA: ՚[yy1:# Ud>nyDI"j3e/E ef@Dq3,C:$[@r!G=~$t< d2kq6ќڜ%cb7<8gDOn fGc\`H@fi WXfC]u'pBҕA_*Ef+2FDZ-9 ;TDDu ȧ ?BAPk!H<.S퀭3Y ϯ8DN n|^0m4Oe<3E خj]3bu]-ХQ%|=Fu#=ӈFLWό;9YdC#@WFʧFJ'W;+rcy[=?nV5Wz],z޼YùtLtWT M\VyYվG„Q.%?rt)ID|`H]h+ lh4(Lcr?`ߟʋ+x RRff5NAn¼Lk<^0tGx@02ieQȈGfm74x34SEvsnՙavD4BmAXF`(mo(m*9A4$=*P=D}vl}VA'jA,ˬI; LGNJm*m]9k⻴W"#PA*en5f]զ>,M̪'6K<UԳГ659FÙ@ٴ3[V$uMUx˱ 7[qz;xTQ;n~o{yy|^tBKnZ1rX.!ݽ Qݜc逨=|\1(J_Mł 1وWZF] 7Uh`@l6x[ -zʬg@DA1Jgحb_ӝCdB}z%e1KOU'@EfMAZ!rPH:KعGЍZ||؟G>Uw~GUhOEKǼ}_Vyz~Т{Ν,(ق66_5I[ xNwC=B\`r6OK/ݵ+fp^D0\UOF, OHe)Y a k'fpS|9`L^q ߺoˑ= '8Fи[m[,#1P ~i]M?vk?OvGYk^aǤ(w[ǴtGm8Bt {Vpt44NSŒzӗq/[$ 4ãm I D:DœdZ/äYy1ot[gO8Pwx\$&}Yc5MsX8@ (tDTIMJ^:DFmw?X>.bB>}O10C(|!_HgfpH$ uxKrTWH$-zM瓢ا&% j ^፾b7htm6*[FA{겤;*.5H%߈ζj5[-d p"YR]_Rʆf>](AQk96M8i-cJR+U|]B54&3Z{'W9FRDz (PwDjGoE\!"TF^C5O_WH1ar'6r>MѣW j=vC9N(۾.̉p9 Odg4gm u&4J2>WxsAg-A):n/'o_J($![a*EGB-]I@H4^W,n V>Tݙz1{TZ ]< ^&eњg^ (_9ݥ5kJZ)Fs(BY`Z@n8P]6duQ9~0i6,T3E05@m {ZĴ핚! Nǒ-2+#@Bm[ߣA*_K/aKe4O^dz|ҞkvePTK2>c(%d+j=Dz`VL{[4G򈑭aq4>\ z"4ULFYUOzp4up?&Eɇ!GBzOvZ vEO:Tёw/Uyx3BXHyնS+j$"uUQ;<nypgAx9w< e3zkz!2 G:t2DG yi>/Mii!L)6QwhBBs%Yo;k[b:9(/{Y"w)L"=j=a #EZ δ{Ǎa·2S \l\{2o-xLT r6h`*@|\"-  o+M'jkܗb_6 0]GkBZrur^4bĎG=.^;tI,18gt ?$[ǣT9S\)x:Oa&HP՟f,BALr9j/~v-&ky6:T+וe^m>rz- &>䇆Zh0@POOQ27 ?FZ% .Asiju2鸼VM>/cBcngQح;'9? ȥo$!4Ws9*AfșOt] }~qi= N9He*pcbQ2 /\ AAFP{U3:J\uMs&j\!k7[~t ^0}26 `4@QM{3y_qg;lo(BlB06P,>57l$[Z1RIC{ Gkև\b曧qN{Y#wP776Yl3 E iРk[>)F-#@=qjyb6nߨ5LJr?TugfT/g)j=* IT~~k-Zc  P~S6> ~GŷUFsUh?h`%!ɴCD0V ab?gH u W{}}&e8?tU;"\0ys=hdҨPbPc0ۉ5wƭsEt՜57(/Qn;V57@Q}J!=P[KCFijV[PϑGjӟdA Cs5,ϗEZae_;S;3Ne&d9mB\T@J-lp@/}`sk:cDD%?.6x]jIP5@g,_ͅM=8Wqz];1 [JU𕓚QQhH'1}-[ &Ϭ>TAv廹%(R\sKeEg8)b@T++ %EXn񨍟~?k,SE6;զkhʓU^JߧmQ %G gZݙwci4z'> 5'PJT%M ?y-/Ly wRj%՚:7\;[.ʥ$(w᦯g| ?jB1z56{֪ypG ԡ1;$C{ړdd2gjHZ7=~Md؅/ԈW+|<}FI {ׅp3nWa1L8{H]BY_sȤSb-1#b\=QXɳPZ˷^Q)X:yCѐQ_ [shn{gs<[GHn.j&VS8 HMq 2?3=P6kB˿KM+T~CU.gcj6JЬQ 7Ҩ:CJK,+03&OvtF-\$"2~CeyϪϛht-5D#xఐ n,{HW_ra7l7 J~4/3 NPx{Z*?Uk;M`,(3EGq,_k+kչXR6Z*d[zoAyu)qsu!d P Xmm^:nGFWxYq|^oMxt#V$r@%a!5 >i3.j"{+MBB@f*.)P&_fVGD$EZf<mI ͓1Ĝhx骧tH~=x?$MO,(,xz 兓P]|ڿ2ᤐؔ >UQ".>q+8 ]\~D_ ̾:elٷD:"Q5$7r?p>uh R-5f>z:a>%_gK,)*SVڵb pNP@}ylҮN –5 lrq'75Kuwrt~os*:-CF-5.! jL>Qhz-:*C srhM@w kOh0BZƥ K Zا=W$dO1c>uaIBfՀa:_e%V +l0*(S+Q>9窍s?gXR]rP /!*/21]a@17`|i=bKhdw}T_ G7`KbLDBDqk?c16N8jwN-<A-4MRi:Ȕ5rxYawxT'~gz豄:,ql$MUʙGr,A?Ep1GPdOWOo㽭ˋ%<땄f_`p[I7ͥu, rŹe5Ƙ'TRϭRnǷ9W'|g&#C"ƕgƘ /1ЬYw}BVR*~+bbܵ#]t;AqþJ<'y\)w "ƥ#mr*fY@vJc#Հ- dxҲ߹bX} Zf}aD8C1Zg,v!_B1@.@3W+oI _иXrJ#v&BC24ʴeSUG_p-_Lڴ`%Dh*=f _hٻMϸǧgw0iM>5 #G$,2hJO}QJh#JQd˷_i"e=o`,X#N# 2R-FlF9 ,aF eN a} 5@U 38 >{ .u\n>@9T ;g!ߥpF\}p#AJǘ>մ(x>h扈†(R:^/A,vOL#WjzQ۽2!$Dȃʗ~cԎopepSdL>UB_62xaynSG#.SfibkZu7b9dl/.Uޣy *JsbJXΞ,[߃C<톣\; 3)=1Q}LL3ȦT-1U_k :sF6yG`\ͭ z[WF O?vڐ{\vw\Z.8fww,"+vȉAٻwr}HBo+(|Uڹ -EM&?cq~;/\Nӓt 䙬X[%ZwKDE~c|XJ}'"t\jgH c̡ gjvwqv|󱙊@^[tГ|EYԯG:R\N&S` oX43 Zw+k i})xSSqk`h-a^/:bv[& T;ހn=YFe.d۠.Rhp >7~hUY)V4S}̯e6s%ّ:޲Tm - Z^{0Dmd:Lp5 #D@l3 8C9pi"1qѱ ]BZ"ZouuC[#Ewtѓ# ĸ ;" NȃUԌ=!=ac3yݒYFU/B0'DR},<39[KMzcF ?Łg: س!p>V}Zke̲Pp[N/)y9mRR;7Ž ZPaKQk_]%-1M[1QUNQ !)=]\:J /;(oV O4y71K̢JOmx:<52zDĭ{G&1XY2v {UaQ,]$@>DVH\Zm?ܶQҺ̎F#']r(qd-f; PTP^TN sL?># DA:Bͣx4ɶFRx?Zba`p2΁XK&ygzO|#kfUw)@\Drt33Sr *Re(q5* G68j9.Ez>Ѯrv8ey 3}\.ݎZE޳+;k?90-tEӌQ_N4 zJ it HN6X ߒ]_N+o*!O|Q䯇w: ~Ib8sXh$7JADF-dwH-kgX,ez dVYG@f¼)+H Jcu"< HBx>Rs}gdNشN</gkΚ(v^xM2;@ WYý=3eK?O(c\{ Aʶl Fֶ↔P&4m8v'w:Xa#. ;ZHkzU)NG&do͢*vdJ~­ 2$m# 3}Ϸx$Q $fއtjCY̟2UmL,h޽!#be~}Z)({BɈ6V]̣=zbQq9:J  NZ0Ľ+r46$OCݤr9r_,nYL)et]q`|<5+@&cR6hm4x1wn:\&>k.Pܞpb5o܋Wt2Hu$)z?W+]J"DECH&~LXN=/_t-u$ LLڟ7r|u8}tmm?jlM-xwsd3S~p){8v`@$rBɰ(<ISH~p`!B]xo!-*9Rg+ _ 1y!7߱5dǴ] Xc%1 V2eT'rN$;ݟkѰ7|1-Z6@P[y9_ϥ"D8-h$]Kw}}eqnqj0S>8ǁ02"Z.e*(t M-̥a!EQwN9fTh(wJ\RoF]Ls n&$w'IE%0LנU^YN"_'Qwn%d #{,jc|nO=S=,& 73'@fʺe,$.]:cN̋/u͈WЁ7F^/׭?rDoc?k1 g_mWF/zˑ [?@ݪ2D9˙/|Wұ9q+rk{34JY~π OWU'8p/=j1Ǵ2y*6c ;(A)m؆&ҜJ]Aql' nv1\h@P?Nm!~!@|O#2TVSn`p{ E/}0RWe{u$[&=;,hD6q^rj[ͯ{׀նW p}rl]}ѻnsQb?"'|4xߣI۞Ać~]UcUWi-/i6;0tyx_@l%A)s.obulӼeر|Y8ٍAk1hgzSx,=x_xʱ(xTx4+{fZړ;kF&s/ &髁wQc{7ۯlsxumpI !oΦ3]pͫ'may;:/^! $r:Xǯ[c8mK;Ymiq$R53'"@`l+ߢS8f68 'vBwHiIY(쌤r._*%9 ],HH"] FWam1wp)w@TAtynsAP_Tbu8`6RKz,K¯צ%Dv?u6h{MnS`hR Д8{)j&fH٢a G=#5ڔ(cQc&zM|eܐk~2;P|GEme(g{)&l4`҂LJ{!LG=3P&ol %[G~QPl&9Pc͋jFW]qPN5%)j꡺7Dh!7L%{G.72e7n4!#U.hM$prS>e!럼'u~_q1$z%մLZ0XaЁfXG sPlSɃ?WvƠ mi4<+҄ jv'w&Y>77A1Zw2'<\O|2P]pJLFhR̯1"P 2[!d+Ddbuwk'Ѓ18ȸR{qBw4B*l/kQkJ FS|+q bYQM{;Lp?MO(M9Dlw]('90w)#T߄xTR[,I("(`'g&OХJE.AꪶaZ7nBJ[-.i" 0̈,ω-m{iZ{ʹAi,)Ng%MfX68pZm͆u(&'ky64ȹNb7.ʨ4*Ű8vʷh?iزl6SfCxIkS[?*$O#vxj4*xhƧycO4?IeTh{,W{(eP%G?X3e sګؿ/O0?)Yh)>w`x% ^rfR'jFV. :Bl0T %c%- lC%GT}"3fyyT2@0n䟞cZȲG׸NҟB` %6ƍ011вDc.j)MH's^`d,˾ ϒ!Ȑ<0E/20çsN| Qb9K,GS.:eSuPҠa"UP sPR$Fso;CNxĦFJs:%0˅[]e0L{ uoG萇ŲD/ǻQP@YTxm ϐ2?Yee9W lU:nJ E4@I_ GUT@h_yw36ݦ{c#M"pfkI6ߎV8@xe8qm]|yK}J02ڏ@9afBW" $ j4סqJpvnoGLLU[Y:deslS62M_'="ҹ5KU#YȌi oRZ ZJHsYwL@ O׉x>pz q ~9( F)2 q}kl2vZ٨Y:v:qaM qe՘>UcJuY՗i,뽘H)Zڠf ħtV @oGh[3fFQ:QdD9luM~t!F~{pهt7//i T?bHJ=04)Pd5uu+4H?!Nc3XXld{7YqwEj$BvL'=nxxI O.x|ƥ!?bdNӷtE"D,.UH9WNg?Щr+⺟[[b'i9;j${Mn1{Ƃ1aSp~eߑڋ-wnO'_ʝ2:S@MokGo\t'e]/m Zju[\٥hgPs9j @˦CsMI²5i~b[!7vIDfT~VDrJv޿WzHolT&Ru /GG2_ωw#,U@VU"rMV k@Pov|ln~tu?O VhZ$&$UDD9\{JUrBp _tӒ/q -4U;!I" L}~/CZP7&._t"UQ߬^2G nQ7$S}Ręhi_ZJj=*ӏ;ŌF~}St򸂅\,M*KDÑΕ`BB(r<Ƶ6 KxG֛16źrĢ[g`y~୤T?7B~0I ^ O0R0$"Hd1rmDGP5>nF? MhIVyΛ8|lm\ҰdFHkLJF0JFf]pIFx45Y$'FRWoddxkmz x\+b˩~sF^H3pi $(@WLߕ&I !|ql:S$2$x5c%DZ8q+VJ( 5CRVQLr#y$U݉ZlCe4R¡(rS;Ynb|)#9;-s5Tq; ͔e+;sf]˭W 05 1MPP,8VB[24rNflE_qބQB(:r Ƚ )J?՗_ i: v"O۪>fpJy^Ɵ.Mcqq9V^TVJ.sJ%"J:z.ʵ6`2,_᪏#7Y"!.r %gPhxp)JmH:U%sPY >Vyi?63ZE: j.5 'l!Noi-[[%؊!v㠚|%ΐin*0Qjq!Hh-jW5g5_]▉,G> o^w7LwwoIm p `I}VX<)Mʫ% ˻5g؃Fn82ʺ zkWR RJGGϯSYN_ yoD9=^_fRKGdr_V ƍ~aNH H(cʒeKK~/Ya.' $Nj _Yx5тZi%0z*4\XmT%*y(ʕV2)kL?`Y6c9*Q!toF}{c<`ft+3k ݨjU8&utk0dcܫkOeܶǔCCK4(! EjK5/T 3fzU(/8N]|eo w\פBmaPI^` _Y)v@Vs350N%g* Sj֞K.hX4Դ!p˵*v4 Wj"6LT#"R<ˎhA,GO0ihozt}.b;}"\^Q9'I,D%R5żA>x$aXt'sNw(/xU,HlѴ^C4 { dM^m!w/ik3mihwݜ-gzpiIe=p ׻@wf4)f 2Rj6FBrfxb-^F";ӅUr.PTbG"o2Ib~Jl3RfuNvP>;k ༚; G&D)žA<ƈT[+1 ՍNwxApviK&i=d8Z_Qԕ >|"WMNEAk:͹4]#r{f8]o-Sbn9"֡sw^NW1BiCP`Cp_MgY̆Y6h}s0mUxϻkG#gaV?"NV:Mq \ ɳ҄Mrк tsEb&rY\iA&V7V͵nW<u7#V|#_"(\Vi֛TkǶhxsoglî]%+7O.d*#8 "rJ5W afd.S;S#EQ`*kj7Ҷ Nd>!%i݊4|q-.,vne%QB3-6 8ȇoޠ8F>sKHYS3w̒/q<:Jzm] ?]8j\O<&]Ace~pƹkV_qТ!tWPS-$}q]~S{p%z('8wI zLW+6zȱJ/pWX${8{. '*y5 -ϼ4 ?^5g"E)eRsDyx0Cu9-A#j> OfSl=(uP]6W(D*v` {EeWЇKwIaxһiz2|{;j>CQ@_ @ Pk)C͌Kq5j}~ I59:attPD%-O(so,V{=2'HeogQT}_@C7,F7md bp-O0[*Q`i6)kW>X\Ћ4%I?ʌ`z42CxKCħo>“ l1;RK:i٨ƨ) YQ:l7*h[ SqS,.|3$@=㹻-dp{vŠRS$"H Sz=|]mrZ׬JHJʰNs&0g/䋐f_EPkBɥa0`'5pRlP{ϼ $ Ɩ/馛mv昮?Qg\{j 0~YYb1Ű~?reS`3d'ڲ4zӗEbn-MTG5`g-SV>!F}c+Yp 3ѽ)R,ӡqK0 F .)rFq6ewi;D2qŠzhjFUVƑ.<@6?)UKǤ!s65S3| `}WB` J!"8oc@euHmi7[c$[2U!tc<%)9 'wj %CyϸSJ2~!LjzH't{հY-xJ#bow*[eP*&GO!(`;rz&lό^G4Q z"v _Kҍ5`<18vov!8lKFj]B="a&`UHa Z>Ñt,ە#ڰ/H&f$QvyOm1 G:r|(G_ WAM[) 䓟E'30 8_x.J͡Z \aT LR,xGh1}O)!r?GB^d/%bOv^N~DN7Wr>)ÐojT6 )"c[\#)nG {##[ZX'Cp1ew6 Ţ">ķ|i #͌)ZO^ϰ0eo%ěOkr 8UdN$k@!c VrB @ώ vb_ƈF_. "Uyws§qâ9|<t1HVDe=6m ޲H$: Rë<ˎRE,?[7p6&Yq&RUv8O`iVGe@3^kx\D%m5iуRm? 2ڀ]^.;E"(Eu`_E` `ȶIdnfdFBu^a7 t!KU}:삋˜NT.OĭCԿZtbWS.?,ohWEg۾f׬3-AQP6 <\SB,BWO6DݸG _fQ:/L`n(#`{T#MbJhwB ɮ>;d(v;]{3=?J(:tw6RXTa,P.xw[癪K;{;˲v4pE$!laݝ"]q|$6ئ.d'V n:?xm]t%71b&?w.!q:[2m10{-bv)r_qd6 lө kV;Js!n3{ EȀ~ tg;ma_"xz:&}1&vE勤5M: #E'xDŽ@x'nE# .)-xE0 0IY}{|jxe}/HC$ UMnOHS2̴ձqs٫/T?xҦ {)ՠMO5 U'?!DJC,qPLDQ'CU&/i2jaU[ \TB(5V>~ F ^cP|Wx:l[d*Da2l spcHML{Z=i_;v0->2~]ceKXTI=&4//,Ϯ[m3Wm>`8ejZ7H_o*'u'7^DC]u ] np'E1 XUim -]w% өـ ܶ?z$`,0H 8iM@cE?O]JcV*Є`ּ24d̀MZ^i^u^ԁMef!Q<d6]4^?E a|N YC @.+عnh!Ec I^XsjAtl-\~-pu0%_O+ ԏY+ Ԯf,g_:8eQyv./`6qN}e|vZcK@+ 7L+*Z{;Ec& mjx8)AzzWٸӝ trl7cv~)bleZG{7f| &31ْ" J0{Z^ ~ % #?i#'d333 !Nhrի($EPq`rFkDVpXN{T VT2^OKw3x1UI`w)u:a㖕N2?+(MP`vQmQv0>=z==@cD(KSj_4|{x<7ؔ(Nወ}sgYZ  h ht'C% |Taylor_ModelsTaylor_Models.Taylor_Modelsdocument.tex7zXZִF! u]A-MՋhvG"uIBm5ii1`_&R 8eb$Fě1uUQ-(^O1+-cTm6=BA**WBVľ#xcHTױ8 pO E0烬B'81ãi#R7uHIo0CTODI‰PyV@|3xr %SʫSm W FCwEo_|D¤TWQ) oغ h&7 ;(8{ MMN~5(:`] p%5%UU:V1% rXc5+:bhR u(ڹHA5C_$3;!~EQj9?s_[SO/;0 k-y@'fn#<D)Lg#l Kb~Ac'~w_E(P5&l~AL|f6v1yd9CI-ALfʱYY-r6T4>۸m x hɞfyF}H1uƬhWG8H@1*Epd1RHq'?7 ʒmvN(fR6xyգM)xGo 6p4Vx!(jא&ۭ f_|$OB|tas~)J}A`l.ɹV͇Z|p~^_9Kؓ d3*r'*Hk 7Y47t~;ywxT(p s{a5bGcVeR>Nw:%+uyviMg:E"Jv {GA|n 3#j=>#oUvWh_HB*)ІQԉޔ~:<Dwr^,St=y;\C"}jJ;?=_]Xdq^ _-Upo/N5P5"ؘ4Pd46uz%780FB"l+=ץ 36^7#tWp_qF?HRPv-cCX* ti,zco] $$J5//Ȏ* `"sP t cpiNT3 w^YP 44I'G% $Taylor_ModelsHOL-Library.Function_Algebrasdocument.tex7zXZִF! K]A-MՋhvG"uIBm5q\:K Zo))e_H(Tz<{E`&nbc,RclxJO?B%>W{r%߬<QLfXfX윝N໳_Lo ` R2L2v:f\XLs4HxMG[ C7l)2:?. NzĜ~_-JaSw@ē_+]p& ?Ϭ &,*MFcD薵g,Ǭ2f3W3:vǗHݡKvINnP{P7_eΉoc+%ZՕ즒8nyX0ӹ)k3_*k{R|/g]YUM%z2lYlL&\`c)4~0p !p(;Ÿx}A/DFy4$yǙ>Frf _ _p/jnø}Gu)ץ`i1JJI B3veE}9EYߛH> ^W\O>FCBWܢ)I, r@jɈ|{SlP-a6LMR=6V'G,o%.[ ~2w1N%"L(,kJ=D_,:I΂}9 RbVmWaHYBW Ǔu;7 \bI뿭8wr<6BpTE՗Apv-SZWSiڻ WO  %` ~k,C+e!Wތ˸AuQR i?{?KD-7ha@5^q2Ӹ(R㟝Gܙ*1<zn.#!4>u#1Jj47V)^œPR\[e(dÞ{XPf%%Ѱv8z?sW搴;I;lVkz7`.pG~ $^2ULd\'3߷p . R28UNJ՝1KxG˖fӒz+YJƹFovN_sz9^(|4 Fni9#uy`ߐ4 *LM_Y%Fa[=_Z:)&DuyRzh9-t(rճn&OfOVǶ4:ReMN[bSNAa=ŭ|nyEX1b8_$WX Gyϵ>#W'[EP55}2 d`H{LZȵQw6,I93gD`ᵑ͆911/@X,*n$ōllӎHXu;,Rz>6xmNk{nbLo[92ٽ28s~3O:]M<W'29"?8Ll'|-ujܩR!~6-yb l֯q0e[^յD#+R %fPRL3rN^( ޏQ~C[4Ze}BwvIh860؈tx{+,)%8u*~v+:6ሗ:Zr6nuX0Cϐf).{f*AkroC7KxRV7>ۙ6Y`iX^t BwLt;c2E.F=%B梖'kcgED9y*w1(_n`ώ"4=am@M GHgʀ.J!'@! YzM}vZvk1ɞBհ}xP h..}}2+ w&@?%Z[#E+ 2qʦIiޤ]XwpnP=D%߃OVQ6, -"KnUOp۟x2PZI`Gw]Zn;@K)1 5d_`*ӯIiG}< nKgeƲpL!Se#k&6tJ:7[(vn+V?:\B1)>ς0+,@!K7AlxZGYګKƚYt檩DU33Ⱦg_|v8Rה xTv iͦ.7zfmAY% Of荒 u]vv ZC5JM&vPOqaOIK%bItQ>>ֹ1π jgVlbf` -6@ʸ8㌥kc`nO44dFA `߲׸%T[b"8t혰KVM?{-`<"yrPP6vMmÁMoVAbn8\ vc!n<(J>ڂq& bV@!ecI)PJK3i9\w #2ƼB{VkF&)4`&Oa0 k;؛H'<0J_# O ۟lfr2'< S w[QcVnyܑmV~պd^ٺE f$\(r魛@Fudu)jx;h#v_bAKZׅML[A=XBc,cnm2}=W`zʟ"F!!͘- vԛ~6ZJS,F$Qz4r=,u;m:hIj.;1isa,=e_vF a%'\QM ]e F a$\q*>.p1 @ =IAݖf/EP0A^6mFzM^z/+nfȦ"49yv)iy=vz.aqUM^CŇ,LyNj4[:h6 &R=?K tKv7O9o"oaf/MJcZֽ<\HSꐒx6iw\7aLlkW`ZZk|0bIEch?\55ws*59:YtQKhJ{ܔVnTTXt2TA{ftȹI#5/8.|ZE4F[PAP Gl 9TlN~hXk\ uR`YW[kɹGlv\6Tj[ރ֚,^I;5.r~O&P#+Lo{7ͬ)3.Xjidyjukk ˍ_Ր[c6|).%P/SEO벒 AՐQN<[fh|3ߞ}-XWs=.CvvI\ ֱ#0:R{ah[ҁyxtqL"b:(ۖ{B,1 Qk8ir"ze?=NoBP[jA^)Ok/ \-Ɋ6i=y~ Qsh$>eC[X+Tl$* gDXR݁ Pc%hRE %(],Y39V8E&s&m/8"_]FSp&̹)6hU+PKXkשYPB6! aTģD:DVM̥@mT}s?V9|~M ArmL |ox|7,- HYAn;"AQݪNRX:/;?X>SR+ITS{ȶcQՑ-ZQ4SQ}\fy!BHwk;TIANmi$(1S$9͂`m9J:%(.MbEzy ^bǞbo+3V"{w7J^~״YCԼioE"4mobQ&w}>v^ ʣS}zMnS'vܻ$pUsƳ/92)Ga}]"mtDوa@O_޿Ĝ\Lܬ I2p{o @ &mkPPjОa[ꄨخ:=ײ~Kmwrqbvo0UH#^-- dxY-e k֨gYZ e'?% dTaylor_ModelsTaylor_Models.Experimentsdocument.tex7zXZִF! Rt ]A-MՋhvG"uIBm5@R}y0]'@;=ϦVdn5Sa/fE*$Y*!' ZfVj վ?gc*Թ[m|8{ ʘ+09 j}AwSi[N)w`,Hp*FԬZ=m\<Dć-bܾ&8p 9+F]sH ɛ$ TxpKU#noer3H&Mȁ#c8>V2 $q2^ZQlrAxV)EW T,*da¾2plx/3< (Wkiしjwlk,~nR4+ۖt k0o%0*lUpjG/`=#8kMn*rzɔ)JY8(]dCf+{]mh*}[ VtDeӅ o0`VW=`7`Gn#@6L6?A|\?MO-5rQEB_EUьTE7 UknUrf])4/+;i{k|PJBnr[ cY1p!8*?=UD M#,, H=SŃ|~AphefGsN ן7T\aNv͘ukpE ZX(/H7u1+4œUc*y"Y@?uL88E-$7@QBK6>ޘ#4]Hr1\/L.BDeQ)L e_;󡭛lcI!7tpD!pCnT"MF%, CnWf%؋.eF#Z0tMas$<,morql<z-sX2A-J򃾳HO_WmqżR=6щ_&U_~)ƪd#7npYBnj,6y'T 4ߤ")\d^v(ݰlG_V!'2ɘc WB9zq^bd*+Q|Sn&L7:D<ޫ/ŽcF7Ctp1=t]!9x V? >l(ؚ+(Vj]Qԩ,qN r-^ti ֘A =|iY3ixzw|`pGYt !SGp6Kɿ'MvTɻw j}&Q/=%3g69 bEkoDfFXIw-8l1=m'Suw(B>c7nOJ*PZ|Br-Y f'hwz[V8d*z wkX[W2[0HGz@`}` AxC;.IY26 ai/[̼ï}=2l$_T x5T&π@|#Of9T}._ .bvfqV@>O޼+,M NHl*E_"/3Yb#Zt)bK@ۼk25r01 dX! >N Yհ0$ c lͦ UCR`nnwɶ;A5/c)08LK4:ݿ3UT:mDv\3k D87GOyJPh bs&P%-TkZbFR{^w|M4ZN.H9Bp Ald~"%Τ`)b<W~~k:+="_"3u6^tn-Lٍg /v_EF3 7J@_BrE\JV+Uo^7dpFӋW.3[=v||;i JqbS!y!/cXd8_rӾJWkWE3*:`: mN-CӼGO:F!ԧuH_u•>!̇xwRlE_E$G8BqQU%,HB%PpE<0lH<7-ji20gYZ HH5 '?% Taylor_ModelsTaylor_Models.Horner_Evaldocument.tex7zXZִF! 8<]A-MՋhvG"uIBm5LliDE&r/UTAm!8h}i(`b]AYg1G i9"SZloCz~Fߋo)c1"s^X`d?e-]Qn9fn_54z]&Wm͔.5بt+hwK췅!^tIEqZS uL3P]ZQA}BնbxXp'H ڳÏ>RLΣc%&YWM/3 0rыt/%\[_%^n qӴZ-DHy#-uf`:&m9L0ц٩~L|[:Qx .'?V. ʫp'3?S5uzٸX͸fIo=>5mFzva8oX{KZӟ mRtXޱZDH#$(2{Te]ЧQ U|Ib'ɪ5l52$Nyz4-<*P0bH^WZֳh\W˞jlNskzyѕoP4 `8]9;"w)?(2~B78Y"B#LQE\Q  ؽ(dkh<IJILG>pq<"ԬaL*EB`0Jfq["c32d!Zم98q?o-aDvGE{;g{( d# +wӚ (pN*X$5tm>s t-;] \7H«/×萤+A?6~(v耞 bn-)-=H9Νaߝ 5B: :\5p-RE'~ TQ+#nyR0_:lpxx ]|"~eVXp LXPu 8NWU={V * SrH4Bsa`UzDB_`별^A'#g,b~X3 =OԾup,'ŖDXſlĸeЃZZ+e-3WkT)6[( " 7({^*Tr'WXe\΅Cxj? P#j9[dQ}DZH̖Ĉqr5qzX+PqBO(+ gtHT9%q _["(&Gu[ -؂*]bADS:?pփC_G 7ת;50ڕd L^%uQV |-eqOD!&UKƂoY {LK|qd!j@5JC]= htАXz1FX)>})e-IzVڐ`h!3dl EHPwCt;yg*w\-yluщq;֯={}酫Qm#{hؚ8Գ{K hs Xh fobv&'`G,ύ"skM9/W)efvfK d A\aKTu3 FN\ 0qŰ8eK_4TP#Tb=5k (BP6![Uz/n{=?2rVA="OecxA [aC7H$S[:P 7EXUKD۷Oys5m~Aͨ8)u5%,)ahuEW5}?1P!,F [v5~*7ĤB" /Aqu΅ M^gT[|pl3 q 3$/$Ug25Yh|aRMհL]S= #Ri0ұgYZ7zXZִF! ]ŗXi%; K95wS4Vv\tG0_Dg\,Ԯ)hO*r~oפY`O)1̞Vly7] k,|i Iٿ%y E0(E #]w16ھi0ŐDȁcQy6 7/gb7fFeZfI&IQ-:bW1sQ/2ep؄mp{䀦YgAg-~-.OQ@LZ&aǏ BYHZBƒ"&_Jp؏w3œ<}J-4,WaV@p;4N$e)M鯄[l8D{m ym}4d,J5YD4W='(bKRћOut7<;a݇Cתͩ_ ؙ!MU\|.ſ *<Lx'qND嶴[q,{ͰMWqH4@'_ɋBxHR-hR{E!_8 %v]uRFIU-)#;('L*0PkL&bGɡõГ"H^/;Iߜpis@auJnW+rEw@fLGE%Nl '?]`-{_zJutփ#KuK%P)!u'~P7y(6!ed-iHͼ]+З$:=EJ{FنSKUxy2 8ޑ{ E4IF*)" P/հzspGwtL߅OL󔎻9k AV8Zj֞TܭcVKIfuaA~h{ .+ַu 7{K^ͧwB@)%4{}5K$UXD~'۴~\4jHƦHziTHM;[Ұ{Q]k#b1\yUl,QDѷ+b)սXzvubUhW|Y.I ;ӌArr/-k-vsbNh[GT P>0y1ݫo ^!?,P%-.(0@pR?s9ZӿQC$.Qsy!1pX[<@FfKߣQZ赥19T8ɹNdShD͠oݽP]wO횒^bGQUH" L}IsӺ  {VQz[Ρ>mLq؞Hw옔e}= 9Og{bB1zq"ڭ&ǹTNp1>{&IߩNptUvd۱aV0]W9iV…^lj|.B/"~<6b6444AKm-6˕c8|X [ri_*!~I'' Pе.,Ikƚ~.#ݍ&ԢNIl\L1n$0u bO0ZpK!0bdCb2HD$-*hzP.;1%Z~.`/&{&pڥ/!_(Umس 71Ta+|*c,ug%ȅt ]l(2qb͜P+^MOGQ i8'FVfȉ)xL+6TA pce|yNzS~~I}l:1LIڡ{ahK3>iD^A;(*W.i0  H%SY+Uk0oM#141,;,#~PkVzJb=I"flgY^vyV}tonv{9)!:8z".׬Syئohڕ*qky"/ u69M ъ ރQxLucROqj+ѶiJE{_l0>į(!zHLǖWa< 7֏QE6YDbljxM:Ÿ(v^FF2p >.XAqx}_ϭs6*Y+INM;{TF PFgSR[h;4HL"zD^n=xP] "%׎WXi-(3>7SH̰#vC`zR~=bLil^H. 8y֟s?LVB/&fo t#Q5%\ 엺Agg%>ħBIk!x`Z@;Qz>Z^%gmJj_0_7c6]Al5lگܯE,6\ÿdSWxp5Ͱf{MM XN NWm?'*-ЕN02%ǀ\]WL=|㿼f8bo 2Lfeꏸ8CJkՅ*dŵhXWZ!,'ҕ?|BC6rtp5LJ Co:*=|S-ljxjwmY/c] k˙r|Fq 0'k`+kH50yoT6p:lHBZ򱖥rt뻔1c]"+,ȅ[XS9ձ\AJ^L7CoQ#O2~X`MŖuvDe`oD8E[0~a( 88-5*IptϺv-')ȳ>)V>9 MSXYA;byji`NOU$.cfm8;"WfspIeN'&k[<|nmv3Z./;۾O+TL'1}IN3I B>I_[f>p>`/ 6]9rS:>iD* oz;w$Q ^|m*HIVFChф U>Ed~4 Q(nC Y2l Ԫgc>W_ܺn' 1YR!tu7;FkesDL%$\K`]nv崿k)ID4,֕f0R]і0vo%M"ѓWaG< Re Mx%!0KnŻ@Dy}uU\B~K2'zz.|y>z؆@ @!=gLޝ󋬋ƺR`1p: Y^GV̊"f ek$ɔ{QO]Lt KLгQ n >(p%)حG%$V3qFI*KVYnnkհ\w;LbkLZBHC*lz@P|uɰIHw@vZ'T CʕU݁N5)2&A7t܉F² n1!崏0^!8k}/FH}<+TL}u7jNep:Wuh_cD<;iḷcgbD'UK9OėO^qqHJxɳ):j+fe}Zx*j_R޴[뽀7v`?w'eXQ bpr-P!w۾Q(٭^j|j" da¥˦aHTHDǞ!ʁ D^|KV>) B*e k|J0THGec2&(DTC% ]-,Qcsj[m Ȥ2D$ U b ]61#4VTA]ڕ4Y"sͤL{8j;7|7"Z3VgHhzBlmwD)$Biu=|zz}!hl /y 7} 7d>F7^\vU[(2{^ v[>pfaƛ$(N9.Ƭkƞ3$V-ЗU9 '!聩܅fvQ%*j"p΂Fg<ˆ ӽ6?֩+wbt[}:2َ҇&M1 Y:Eɕz2۲7)27mu3?]"sD̚w3V^9#f86⹠(2#G $do"C̏ɦ`CCNMgV%l~|j8)H.GϒE:VhI$O aVWxo߆WQdPk=|ɣlU8(kemHw/awZ\LJM#֣|a'm+liԣGZ%k$ޱsizD6"xN+imŇK5Ɉ“P8ֿz& #)*K[Ti;sFmwfr,˞K!![r_C[0Nܤ|12p_VQ. ń6 c <;~tw,>E* R3D7Q P+aQ@k,X2HƑYM7;K̂-qfRƸZ\g/h+75?[0 jGZv^7dhm4!NazA$<ߛ \}X2+) ,ɣ/ya/-eo&]B@5p#A6eTwNLH9ę 9w` gYZ7388f75eff233be08a7ddf52146cb2546676d0370a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 596d44456ba8b77c7830b4580eff4b21eca5ad71