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 `EvD, ]S Formula_Derivatives-Examples:threads=4elapsed=26.136cpu=80.172gc=14.8687zXZִF! ]ŗXiɟH)0!h^ F]fK=WJ*[Sn"J&͗|.:dR{+;-5n?:I52.c\[$°G 'Fٶrҧ.Kέ9'”X%RtbjՉHS]oP"I8q^F`ODR@t^6)(Snլ1jjֽ8n (+Yk!콽|\oxܬY<TEff#xp|pB"4yvThXp#_ufGQO4fkTJy=;ߧ2zNE3&/ZA;"*|$ E Formula_Derivatives-Examples #eEi+ Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_Examplescode/export1.ML7zXZִF! gC]9 ! kH0XOPHĆr- 4~G Jy@e0 ky}Fͮbxhuܞ{)(Ld+/DjE;Ǹ<[%B2o"F8&dZ#ydVɊ?8v17">Yv}jמmLt!쬣HiP'-GQΠRY,CO-CUӫYq*5=h-X "cڱ|]_ާ)=&d&n\>*bƘudi=2T煇Т']{5~0u2Ec;SUr(>ɚZ * L۬i͌M޺h0=n&Y TQ+i*KӨ)#OMP*23\TSc U@Q9G~Lna"efR]6\JS  ?!߲>Gtb**Ԅ]c`A-*&ˈֈQ5"5cpk)bB:;_D3=+yXֻ +Ф<WyI+y v9n=`:bGۈRڢX7_#2|m<Kdr$aLʐ$""z}32CӬO7p)> _]@K8г -2_S(cP8CR#+Ody@ =mN7ƾ{JH8U-kzc7΂0ZMrxw5SɍЩgQrCxy3+Ʉ[}w.`n Y3BEa肌4Cb5v#TVZuÉ`~@7(.S-}؁tF{Biu%~BQgb!GusRtғD 6scqėzW#wϖkx?.g۩0OܧGlTOhgHΥUh@=Ͷ[WH# x8u.d<`oe{Ry>Gs e'?_k/a'I`8 tCN}?B~N3DO5hpeUĞs8۳#0X]~z[^/ߓ4]^73[spΏ6`I#rm:IoEocD䛀Jo3C{.Kw׀c{{< `K{wEAv$yF2Ua+5جED9gApĦݗ='P;A J)sS  ZIRǍg$K]R7:*<|;ADb_߲AjaO5^+cG0ޯr-KYI;aܹ6- ֧Vw ^+,z1R%nBmKl͡Zgd,Jq*HWWa A1;̿#y]\!kNzEF`lV9T.Z{cH"BAbN5!]:Tw@hزNnZهP9Ll_Q5=?3m, Oib *B'O>Ȓ$3 }fۊSdhDh>]hT·*h/M>Xk >,|^p=]J6\U&DSs,_I-t`=hF?s^rb`%ec6{FaN B iv?h"{~3lε.tyRvYƱM4y&"\IJT >sQ)fl]{;/?=Hmz[WYw:ؒF#<X@YzN/2D\6ϐovUΑLkTt 3F[ }`4P*L:z MP22xЇle}[GRgZ2!ܩKMX:#gt]N ?9A3GmUIc8tCs|^0Opэj?[o_23bL1%+Fub `I(f#nWNBy \VWKYE+xˣB&B!oz5 } ѭH;"-%'Dv}֕{(PAMIyCl1>[uÎfB}ϰ5eNeޢp3%'ue 3zZ͝=BT^!Xounx/|E3i-э20 .b&G-VX}zpOs|ZbE)\>~Mg@\ԺHA*P^?zDPo:ECjX^Xi9Fb:`"!      "gi H k  V2pg dG ) u= P  YEa'Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_ExamplesPIDE/messages"WEa#Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_ExamplesPIDE/markup!VEa!Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_ExamplesPIDE/files \Ea-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_ExamplesPIDE/document_id8E'Formula_Derivatives-ExamplesShow.ShowPIDE/messages6E#Formula_Derivatives-ExamplesShow.ShowPIDE/markup7E%Formula_Derivatives-ExamplesShow.ShowPIDE/markup15E!Formula_Derivatives-ExamplesShow.ShowPIDE/files;E-Formula_Derivatives-ExamplesShow.ShowPIDE/document_id_Eq#Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Nameful_ExamplesPIDE/markup^Eq!Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Nameful_ExamplesPIDE/filesdEq-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Nameful_ExamplesPIDE/document_id]Em#Formula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_ExamplesPIDE/markup\Em!Formula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_ExamplesPIDE/filesbEm-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_ExamplesPIDE/document_idbEw#Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Presburger_ExamplesPIDE/markupaEw!Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Presburger_ExamplesPIDE/filesgEw-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Presburger_ExamplesPIDE/document_id]Ei'Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_ExamplesPIDE/messages[Ei#Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_ExamplesPIDE/markupZEi!Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_ExamplesPIDE/files`Ei-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_ExamplesPIDE/document_id BE3'Formula_Derivatives-ExamplesShow.Show_InstancesPIDE/messages @E3#Formula_Derivatives-ExamplesShow.Show_InstancesPIDE/markup ?E3!Formula_Derivatives-ExamplesShow.Show_InstancesPIDE/files EE3-Formula_Derivatives-ExamplesShow.Show_InstancesPIDE/document_id <E/Formula_Derivatives-ExamplesShow.Showdocument/Show.texPE3CFormula_Derivatives-ExamplesShow.Show_Instancesdocument/Show_Instances.texfEaAFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Examplesdocument/WS1S_Examples.tex|EwWFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Presburger_Examplesdocument/WS1S_Presburger_Examples.texrEmMFormula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_Examplesdocument/Presburger_Examples.texvEqQFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Nameful_Examplesdocument/WS1S_Nameful_Examples.texnEiIFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_Examplesdocument/WS1S_Alt_Examples.tex^Ei+ Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_Examplescode/export1.ML  haVOX +9ӻ(#@Z/Dc&+ /Kΰ{q6{"ʊ24F^5ҳJCvFGr2 ,c3YD[`ߎ'vj|biVóPp@Pγ22YmR:/| EiScǶi|:5--Zu.Q(URp K@O9'VUVВ]9f*"߬mSG`Նp# ӕ7tF F PUNX*@cd8<Ɔ*6HFDs L)Ɍ3ULGjiMWi],T zN-n+Vcg)"Z.ad\q"t8k7,V |2fPˠSDÉE]PF)Lf|M9tʈ3ZZji)ժg΍ZpR0 g /ެ:]|zRg 4aƙ+uTg.] ,2GF?vm_L KLutc~(>) J 2<05N8 0 9@Cc_ ^:{UpPw4<)LK1j㘻/nZf.)4f6Ƚ7UժZQ-SNP+?}RtHM~r Q,ف_[+4}m'/o_CO=xYw4w]|7.ጔ5d>ANF ŕ4AwUae3-| 6"/f iLkQcO}rd 9! 6'2o`Cv>Z$۶bYhM\;\icM˃)09!@U}k ֖TOH pAs}tT-!<Ry׶!w#ḇ_6Eo6|J_9IF= ؝ޏCpXX:,ڭ0*iwNzgԣABqBv;nu_cձ, 0Gvơr]0ʆJxx*mwq w ԺjQ*g怢e͖Ŧ)d @#%)[x-unY7F0@aG;:Ff p\_z Xhݳ1Z*]cTy1越83SWl{-ZԔٓ#֤(Av3 / FkQ)<{b\D\e)\sp^u1tW U faBt~~4WI%w:m 2E'FthϭSym)~*LGKx (X}`wG,Ru30A*-/j~W(i s8_"v47QM j /ʛeY MS7j"X$~OQOsQ2рAh;1ĩQ.~J8~"x@F ,y2sUo>_@4P\c4-+!O*+ N!qw {$ NkF^ GƥL< . 6|Qq!'߯?`-:lQcb6 Td^&")lfTCK`]e6TMLyDd7|6/0u+62`6{nYv}jמmLt!쬣HiP'-GQΠRY,CO-CUӫYq*5=h-X "cڱ|]_ާ)=&d&n\>*bƘudi=2T煇Т']{5~0u2Ec;SUr(>ɚZ * L۬i͌M޺h0=n&Y TQ+i*KӨ)#OMP*23\TSc U@Q9G~Lna"efR]6\JS  ?!߲>Gtb**Ԅ]c`A-*&ˈֈQ5"5cpk)bB:;_D3=+yXֻ +Ф<WyI+y v9n=`:bGۈRڢX7_#2|m<Kdr$aLʐ$""z}32CӬO7p)> _]@K8г -2_S(cP8CR#+Ody@ =mN7ƾ{JH8U-kzc7΂0ZMrxw5SɍЩgQrCxy3+Ʉ[}w.`n Y3BEa肌4Cb5v#TVZuÉ`~@7(.S-}؁tF{Biu%~BQgb!GusRtғD 6scqėzW#wϖkx?.g۩0OܧGlTOhgHΥUh@=Ͷ[WH# x8u.d<`oe{Ry>Gs e'?_k/a'I`8 tCN}?B~N3DO5hpeUĞs8۳#0X]~z[^/ߓ4]^73[spΏ6`I#rm:IoEocD䛀Jo3C{.Kw׀c{{< `K{wEAv$yF2Ua+5جED9gApĦݗ='P;A J)sS  ZIRǍg$K]R7:*<|;ADb_߲AjaO5^+cG0ޯr-KYI;aܹ6- ֧Vw ^+,z1R%nBmKl͡Zgd,Jq*HWWa A1;̿#y]\!kNzEF`lV9T.Z{cH"BAbN5!]:Tw@hزNnZهP9Ll_Q5=?3m, Oib *B'O>Ȓ$3 }fۊSdhDh>]hT·*h/M>Xk >,|^p=]J6\U&DSs,_I-t`=hF?s^rb`%ec6{FaN B iv?h"{~3lε.tyRvYƱM4y&"\IJT >sQ)fl]{;/?=Hmz[WYw:ؒF#<X@YzN/2D\6ϐovUΑLkTt 3F[ }`4P*L:z MP22xЇle}[GRgZ2!ܩKMX:#gt]N ?9A3GmUIc8tCs|^0Opэj?[o_23bL1%+Fub `I(f#nWNBy \VWKYE+xˣB&B!oz5 } ѭH;"-%'Dv}֕{(PAMIyCl1>[uÎfB}ϰ5eNeޢp3%'ue 3zZ͝=BT^!Xounx/|E3i-э20 .b&G-VX}zpOs|ZbE)\>~Mg@\ԺHA*P^?zDPo:ECjX^Xi9Fb:`iǼL NGCW!㮵=d0K;O( 55HEiI H)mGAQ)1'*HFâDo|e W;xno"k }: G4^6wQ+( e2h'ɔa:5_iFAq_2"4y ť ա稧/-7]ߚ@xa_=U)!TmdAډ^/Z`d 8*3N5d }-yO쥓W#4T3 [EX_cBԍel⥹r#K\]J:$G1FL4S3ג!(^kg0Ӽ(2< \W& gCaP/߀P({+Q@ZdY'ئ$&'`" èX l>CR;>mGqкg:XDQǫu ^\p@,r‚+pKghxYH-m{B~ 8~"nYZd IJ*GEU𸭱9#d.<>WOB=':8+w mcݨ:zw|)wH$c,y4~UTEkC5*TCnjݨ+cPq>h>Hb [~R" Q}ŏw:r> ͤ[0"B9!JzWݻ-ߠhQksWGa }C1rGqګ iє-ۗ:L1 ~؞zeI͎k87Ly(~JPnT :<+*gzz _Lx2a k[BTN%x Czv:]r !R zƐ4¤f0FO=4a!8rk;.@cP3A%s 3C6H͜'ۯ!SRsc:p}˙3F ~-=JPz.S"m?"ܤgDQ_ڎou]I(IÏ[V@r'^S[+wwB@NUWަ uF T ꦴ 3B3> :2{KSO^L{k@e6߻ Feox0,a2QzúJ{ n& ʓx #a&=۰_֬Ec}MigYZ I.IbEwW TFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Presburger_Examplesdocument/WS1S_Presburger_Examples.tex7zXZִF! "]A-MՋhvG"uIBm5˾_K>H)mGAQ)1'*HFãR?p*v%#9p tElH.])\ 3EYtF3-+3Y o'Aѱ:z9L@CL>LL$ࣼRgoGu2ơVOn_U &7$65rdg}o6Wɰʎ ?~N4T=%t@&`}$^ DCѣ S'UHZY;D{`EJDm̲(*ogv_ ;ʎPOOyOiD؊ HzD|jIIV!/M]akrpgEEL=ʺNL7ݳXIlu1*oKڐ+f;1\迶Cn4Li70!b?[4lĈ=RYsQ{RiGКSIF):X@Q;|{Fnik}^[3X|:(u>VaN@.a\1$K>Xߊ oY&S6~"KW$޵JO;zcYGGӋ"A|PLrAn BC‹Ցtjx˘uf5RٖzjnI?99OW8f^QLXiO3A J÷Jck:k_r [ѹb؂}Fɫ"jQ뻿Q̵BT۔L֗7ЁjrG@' %3b rrBS! Wd%ye*xK"߾:|+DԒ)`ʑ:Cp"1oiЋnRhׂ#&O륄 ̈́4_3\#nѾJ,TbdžslB5'9jށ[j+'܂'S?w{B)P9[nOdfzHFfIKA_H-hR6gYZhEqQ lFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Nameful_Examplesdocument/WS1S_Nameful_Examples.tex7zXZִF! P]A-MՋhvG"uIBm5˾_K>H)mGAQ)1'*HFã-f;'D"ZbZyb0&Z*QP5ʶN+yglx|*5u*/PǝǶCǂ cd%]11#EJӍ-ڌQleW吮~cuЗEwuK(_aZu@5=JP. @3ɧz'A!+>#IՋۿGaΧњ/QP./r}_R~8 h* +Mm-B vC0y kV9&wD0|,`wNi X^]"7@ծiӰk%FbADծb=oOϡ80T/$u:ln2جś.6 on3\za/pno((DI CV<&RT> )|=9l/3o$)I: AMsՏEq`/u"FƵ4E9 C=`Y~Bk|qHᲿCxkO8YFV Ctm3,fdW(JE͇fD)*#-D,PpfD ?]RZ"(E?5A/,VavmaklaE( 2`:r<D"R*p'5℡BVօI?nѻ# ~ePg+^z!Uj~=fn٭3!Peͯgx7I*|m{V5uh$åə"Jb:R@JFǞw7űAcnẼ>34̓2|3p=cQYW/S+VATmǠ~[f!eL=<ɐ4ShXD쀝E#FPҢ l*VBl ]\@yh2r CwUw^ṕlqz3T_\gxpN$;muҞ)aeəcKׂJCTsYξJ2?V榜E"ľH[Ҫ0-JY?Ф9 ēMO<|7} ܥOl }j[wGR ? RUEfc?'Bxz)K„8T}s9eHw`E |<6DU;ȩ@][5VЈnaRv!`5nA)r4$$gg\3|!B b >87Yg$3AC`Sݨ(\Va3IOU1\BCsNpV.ck%-n7a4|ϜyX?b;q]"pT\,:#̫m_/iıXoٸl&MI8\mJ,[z$ove)f6Ŗ!0m|L aU\'O=NߝCHVtAH)mGAQ)1'*HFâ#pN+a5u]M=FQ+gՑAn'3_L89]_5ma//bDn.X;"= uo}1wͰ͔ߣOg5qlWA8VtACivi\u64%}hH" \1R^N: "6~޴U~,il_(eS>peE:nPtw)xL~xfW >&S*$e:JjuA5*;W'oJ`M@ ! GPc.+m$P*iH(9@j1l,\ip`ŕrDߐFͻZ; @+Ƿݧi*bi%)6ZL_29!1luNX`lWh%*i.4wHoP^9!5MڔZle8kKJ=L iЏjHAwmʸ&s'B"E{ 3O\< a7[!Fc!PV)8Xsn` 뽊qm*5csц`ϲ,"fS'>u @Br?6繡_ dLLR C޳0wTcŦqdZȂlCGEF_;s>zE_p`g%yoc8RW*Y#vQ@{J tGphǹCG4 )fP|HH](@IZ YIm0ϜI%+E9Q?*JZ#s~U&@͕T?x&`;հ 'Z0M5fa-ud[Nln0')ALar6[qRE0ASk i';aFYS(>~+ ipM&0"Jg'k͌@v[m(:!Y[j9[V)4pL!% HKB(4;*G3c䘳kTFܫZ@5 ̸/c?T1c Zsc46Q7UBV'V 4BCӪeYNx\Wo:گT#ԧQR9c1,l(C?$Oҿ)>еj GcgwCPSJRB!xa2V-w }Wg(E.] F,\qP'C̋;F^ep"'4,#h @vvH3fAjkʨ;Ws~چ4uAP'y'`,Ӆr꯹b,̍Zp``vKkq,Nto,sųףڦ>$.@݇3JC80!$&ACٌ@hG! 2:kTn$"̚hArnj;MoMn ĊNPJ<[W|4ѐ?vʝSi /&אZⰋңB_B`10ʧ'+z[S*ȅnwo p(gc7+Ȣ_B{R 4OYQsrBl&UQ65?"4q?SW3էUjm쑙N`#Ifg\%zR2315pq7Dftc* D.jamʬ_"MatRW0~AỮ۫1%և:JL6H Vbx!;>b,q yעT¨ktT fs({3 i0؁ !Whl5gu̮,|#|c)f35_}n'2;;0vb(@|?@5A]! k=9vRSǷqC4*x xz pÁ[$'UoXb{N-B:D!3( Mӊ"5%=+xOb؞BCzxSJC~5J6A |$v(FRu1怪;av3kx §# Ȋ%4rRJz{K6Xŕ-0׀N5NZcbB%AHf~|9VhFxt Ix$ ]VW汤69ڍkD|H$U3z /X5Lc@PEc)ϓ2!_MgYZ }C&}\ E3!DFormula_Derivatives-ExamplesShow.Show_InstancesPIDE/files$AFP/Show/Show_Instances.thyI E3-Formula_Derivatives-ExamplesShow.Show_InstancesPIDE/document_id566E/ 4Formula_Derivatives-ExamplesShow.Showdocument/Show.tex7zXZִF! p]A-MՋhvG"uIBm5ȣG,|54ƙbW&GUfQ.?lMV`o)8x~kQ!= ~ zvGK16Bj"]B ֕cMO"ɭkkq%Rn'cXWutNA|:!{>]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/t)lKS9䛗XvUZwŔvCXO+#q9NJ/!B@Ѧ8dPcu'h.E4vKsIT ,y$(sKz!uxEO;:[Y4g9 H `N0;f ZۯMTKLIr-j881k8eV6%#xwQ]lqIyL܌G,sۺ#CƲ{{k&3sx"|5zKm+.gj{TgshMWRs % MPZ(p6@0dS9.ϗn H-*p_:E3C \Formula_Derivatives-ExamplesShow.Show_Instancesdocument/Show_Instances.tex7zXZִF!  %]A-MՋhvG"uIBm5ȣG Ќ{o:cG:5i+~<.p%`V}qipsbĪ"^“㆕X0Ռ vm ޮ$½lZNo0L3ݏNteݦv5,UOśHhzӌQh?ŝpn2?$$bO X#[E90OO91P3JJyS#hC vj4xn~rN%7t8 {> p4hyc_?f Shh 5_#<33W̬hP>ϥ@@G>.% Wk52TW$@ ' fBM&D*/^Ԅl@4ldH~mp%4,""JCI]Q;~NdiUG:O y(NT0NfsacR4zjk"x Fd}ЎP0./lYot"7q4?=?2aSFz] xOq?\tlCɉ}b>rEpĽOJ-(,kDUo|ٖ-BiT WLJ~4oV(mspG2%hR'BSÒX ψP> R,FEI80`z/K̂oa,p:drS,XD9Fm} պ;R)9.N =dĂ.0G| ,|]q)a~F0`eyжlI?[EkGqSp(:h0 "?^2~oWWj:RR!z{z6B)lYzE_~tv 4ǔq~'|3qFmn8uUe?D9iQRBO轃Lɍ)tD\6 ^%Ld@d bT6nSЀ˷C#ɶ" E>;w[t\ a #E=OiJguWg[kMF5lRx'U,[t ۡL9wX/ZAH5,F7Qk5JND^5S0=`H,*W<6ybNXhG4ke?ԩ7]!%3;qQi>ZjHPċKqv"EL~"fҬ "pXKu;D+ eaU65Á'd"-܂} ty3e)[BXMlƴXADrs|>[ ^NN+0:llƶJ`M0) ˝bq"q΅R70bqb(RI+߻1dgZ Xd39)SeeG6K|t$i8tVnYW/S9j 7_G$%%^G-"];"5w N?<s"[WŽr۟h8" GH`,O`bmx.)kZ1=_)Q?fXTc2PA4wN>#)UT[OvVًW>I$^mi^7aC+׼E t@ѶAšG]#T ha囩?X7}6I 5~-3cѠyU@6jXxy:o▂Z~kKp_MDA]6 5g6!5{R1y cdv07t_10_#(8JC3jX"9A'g"˺yUkf2ȎM.nޟa)&!Gl%Ǔ+qc2\ ]~e b镹OʅN D;DE*BZɠ:@ȶN) B7%KƘ(> S# ۏ>dz1{} }[(wM&R$> {u|E#{gjH$}rv! S :5Yt.mSuMfVܣ7 ME0ÆMPzQ]XH/ O>[. u7MWLΜ[w r|2&=6 ђS瀒-"o$SL Iΐ{<ڙx)&)}'o_ ΃>[7@K= ??izs2n5RmG?+j9ee7%;2^C׹[:ۀ,.glTgA_y"bX79K=R]ҖY}=I& ߨbz[XÒSr@LұgYZdhM)*27~@:pW@;_ML29|'AY{m "N*Yo 5"}Z?VBb;v$4AƳ(y~LKub)l&qvCvyuj.KPVMsAǁ/]): V|s䮭Uh>ԕfO83!G%<>~OlVm*>V@ϨjtuQ:|ݥC:p~': }ig 9"8I\>KkgE8p|zAӁND;˦=WBί@Or6ٷ$~1`K awZq፮%ogO4m׵8yQy@xlh]3$1Cf@TbrK4O׫.P}W*Ռ#wir囹0qLLjx$s>PBt<ĹZ<^ L͐z Bq·_J N#Ys'^&tB"I7vR%n%uD о.!C/DpDY:Q"E,ٜGd$,2$m'߂9Up]` 14>$~~M%h^JvLSMu?ҳVۑbxK|zd|\'_cd?:ot+lq6M2d^*fe~wgR!](4dK=\tBl JEE`[֛0GdP"m.icbo*k`# 7[f0A O)AU'$_һ~ d$DI$;p|_ R){ ǐ׬@-! S"]c$o'*r=sKj qhAtˉ.*2Aie\ETd] nMFFbEYWY@l͖ GؾIH}+j=/p _J;A׷q0#7"gv>)wc@eA0clP F*FB1.g_A{Taube4lu-,3ܾD3eN؁;M5p͒ _XvPUom-?D%V+eO'聑u>'YJL9(y>c `̱FYK$ Skh'Ħ9k}΂<_)AߧBΣ2I0ˬs}g&w71VLM\b'z8y,7nt8:V.D38 B;*t6z`Kwz:뒡UY gpp~d|BF DuXO[12NlzO(ִva 0r`!Nʡsr%E_x%7M0?s3; 5;l-]\|Mch0!Cbgl27V=\1¤'}]tR%z.w?,"Ge&>sEfy_ڽznLc^8=}՟ "N0–SP f,׵Rf>)D\k*_Ly&g6b̸cxpU⧷v cޓj ڟ!8Π |$'uZf [T*"S:~4t6*z,w?h#UKO>Qf7!4=]]7%MsG@pj\-!٣Yf?yLFYUu}5I]`HKIQ_<P:StgA>fh2ȥ=sS ꔷH'b&G@L]؜ha]gQuPyAbo0-X8MetNISQ5D x]R6|xHY? UIJw3lC':Vk4cG}`10DlUD V'yaIg5\4rK,jy@ϡjb<89Z9> `؞[kjZN]g2QOX]) CQj?┶m`ba Ҹ %|]llFx\7mɅkCMW#.1 ߲:`ٿ[W'#$oD}M팹$oHj*N+-wGxy]a8ÖKqfcVZg6Dr>eӶ?ob'~lZk%,ԱgYZky%T<~̓ lf&q0%'9Dwdn_|lւJU_;q}pevVYO#g [c\O@}twN~f dăbfFl3RÎ TƐ;wr#cu4kAyDVÞ/xbf[M;֩&rrhz6IjxGPDJQ Vs▃7rFMQeP8йd Z7hsoc}J~3ԡ(2đPqfBJHS _}͵1kKFƮr ɳmZ6=Uj^"P_>#~\+5Gϭ4o-&MXG~6$=.aTJ PپԖb0̔o  'WT< hZ<0BW-u #Xg7`q345TҡK/mZ|'8_W,kb rz7mxma~ pSǁz"6޼f({ yqݺZaEbCqOtJ-6$/@^ɨSB$@S|N*Ѓ5n=,TlJh?wE5꡼]@"r.<<Lj<2Lmqś@h r֋6>"r.J ACVELE(= PH+9qzVs\" wp],G뛠KNVt 4M)UpMDrBm_c#Z^kE9DOSj&@E,K5k[׎h5Spi8#T^\[29TD?6CbA!k+VB#cR\WYA}f-,5t}MvK@+>`ʳe l;.cQ=$]u0KKPȓM]VU!)'R`, _KPg m/ psd@҂E7H.-2וPW{.6P&Vװ h9i%* H#nsv[Fk<1{w<*ž(Ks2sTxmӬR@w2g *3[By_dpL!/1q;`*դu839eV:}Vfb`xZ,Efz ܮ` uwz%ޠSŏ,b]H V>Y>%Yܤ-jj952~e4q,=5jaK@#wD+% .D0ySZv<}~t!e&dsKtfp^ g0آ XB=OsEG{-A>!cX98lWSH_2ڡ/9GmG\A)O YY4c2\W O\0~(+Y4:2X*>c*+pGWCTJ"xh1+!AQlX{i &酅3zf:R/i;'D0*K9#F{*!>π<&qiJmbo= &]t@"DbȌQYXx)-oRD4#t2.PH/\ %y_#66{گeJ:p> cFCvs5|ZGXrqop]ICƋw_<|إ$2Kc+1YPjz$[0&rt0Mg>:FKۍ.1ˏcguU .j_<2u1V\{|oR+1$³81J%8ZA%{D*@eʔ&B4 dcyX(2n/"^IԜI21=}D $_ZIħְ x1aң#) di5{uZOh5O  }Bcz#w޼Bl8uqyX5 ܈Vl q ŜAIJiuDfmYd"az<b KUewx=^ZG rV͟,Zv%W-scܾq*Y`٣*Hv.pɀPm,nEaۻ_Bڹ)mV~-3@td4&ʅlBk{ fOuX~y=d+S܉[x^af£m7~?I)c5uߖڅ{bkK "87e}k#Yvf5m!ֹ8EE0t[N > gޘ%z~Am DM xX&) ͤr]|z4 `ax<*Bs--.'h1b8&7UѪ`?$*&|HWA1 kWT=~-q]݈ELVr0[ڶhGEE#hdltע܉9sa"e8ۀ hqe+o⑻5*0)R ,]5mӆ=(\~k*rEnE mNybEO쿵 {ن{xyMدc/s4i v|f^v?ԣՔoٜIhςC*B 6v 3=QXu<1"l?BR6,۾-r'l'Ð7]gMs[$!+Р m1hnK[ޓ߀QjJj=lR3Q acҬ>9а p2F. .6_9*_G0 ov,xO8VTu n|qJa0-k'(tq+1qo|"H?<0v GUm$vRBQ]NFC?~6X0w;L 9)T>[ϑt;~>K,26 Dvcl\CĬ /kQx̃4q $=(ԒI$@nrfÊ\ F4 ʪLƑx躁$ B3T88He]t;k@w&'5mIx1l$ӗpCiNQևGac6ʇ-\IђX^& tcz&ٻ{G}2N/! 8J b}"E%*򧁊jRuoY.!MU†^SSTW)ZۯCq!-c45k؂5, 5 +CkOHvLa A//Ug%;+|Fåai ES1 p,Pȩ I2.7*O eNMlEN c gu|Yߟ eCoMN39E`Vt :h*جmzBBFآcqRlKޗCsPa qc k9p-N ʤ[ ֹFf )\O/~j^ sen 6g#y _.!;E@)@a&}d#2,h}O8<,""Q&4 cQim y+4e7!ir iitx O~dL :z5Nؤ/U٦S&H )|,iFYsgNarkf7{Oܼ Ų1IpUø?г=duqumXmga쫏 AgXQRSq䪷gAf=hyi$ai %O3dr{\AFpW 0ۏK'{cL//SO8ˢrHУq^V^bо[{Qznb6\`AxʨPV;L&tO^Q6P;?8ֺWkrͩ)whTS HPek"ɯ#ĺjI! fY'8}|gS|`UX܋1÷t6B#7} (UIM2)XM8D(s}pcg%_/Zy@ya(l:JmZΛNpm[B*0cټ=QsŜ*.mfMcN!Ɏ4Z'Qh}vA0 fP;똳%4cCU` R3鎈*q_!pwͶ6`$y&`+ps߫h[iU KkR<@ts;k̻b$QA z6:XXV 1b8t[q@[R`{gH9A*2p6 \ Cϕ~ U|'VjȋM܇1C>.K }~ Zwtii>w|;DE&<; +]hg}kUI$oVd"xyhb.U_XZe-Q:` tW?|7}o[V&/`cmawJQH SJ()#mbx-1vk,̍Vlx(>mCzUʝ8MS<y$ 8HRx'ľ.S\֚~}6ŴFPaW>kJs9|95S /\"<]%Ns >GLՇ=]A}ˉk8Nɼ ~&A k, u!%(u#-:k*塹Cbqw9MG6N=JxKGv?C?_~ᧃrpM':^c|z? 2@F .;8ڦxVnrp%KѯM#CʊNI5$z~@Q졠'tsNnt]&2wE3/'=_QCR9PCՅ=EgYZ  w|IEi# dFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_ExamplesPIDE/markup7zXZִF! ㊮)]9H}4l w`eߵPzEcyP5^IKUJlRblB6x2 5h. %,ʠ7,U@[1h݇<^?QRٔ%?JBif8> ^l}ßs9 fJU 0b5|߹_X\2;7rVhXrb0#De{xP΄E?f.=x^B>mu Q)t<9` "U.cDbw[>d*ȶaʒb"l7/xWktsv4 XQv =Ei!zFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_ExamplesPIDE/files$AFP/Formula_Derivatives/Examples/WS1S_Alt_Examples.thyd Ei-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_ExamplesPIDE/document_id558 E3' ,Formula_Derivatives-ExamplesShow.Show_InstancesPIDE/messages7zXZִF! #]D?7 {?:fH\1b)x="m^cEjg "Pe`'!/ɛcTZdR[ +֭u]˝ M#^G;ǯ){Zyxo5nV4@ͭsH@3[37ТRz n=dm8`/+ ED{'>DX7_q6p*Gؼ؝jpZtڻ EPUcMOcCq ш<*,gM|8ͮ8/ןsR17pj [XpXv"kcWsI~Z8 nD 65&xL*'zaɆ)|2Tld1RhA'`4X#&ZaF|HPdE@֤Ս*XBx"o8^NvcOp.j(Ϸ@e4ΛQ$CboH~V֧硁-ɒ $XbkN5jQ:EeUGإ)'E.TY!U>07wx F&zgYZc E3# LFormula_Derivatives-ExamplesShow.Show_InstancesPIDE/markup7zXZִF! !] !M젗OFДc֗npգxe΢ԼsZܚ|d&ܣxLdui_p8":P+V\Q_ly+L%3ڨsW:!J}NB{޷zocmR>/duuAؾMl4k8E$1M3ɹ=GKb(%ja㓙eQ"ة@|nkRO+F';h1z& ؈;WY9k?!9F:Ȍbw[Yh0%tǩh_*Ԫ|1q,u&Mw24 'b%>׶ۛD+??ms1dKf3RsD(H MQ+ߊLi%\70Om<毗}'6]yjӳKF 'P;Iݦ巅t՚^j6¤oNSGF?ljæ@((."!ᖣSfhf1SQLYu5TUhZ2&&0K0#e =9T4= I46"QeZ'5 ~:jZd9hդj])yD Hwb{z3W ]_*/)"`GrO%J Mvd撠3 oYzBw؃Wn[TKE#y ݲ;=˂|SYP.q`+ϒzU#s9vLzm`(2a+I9/eL̴ƺ~` E)7Ұ=ڼyogi жW/jq?[<  L}PUYNj.z*iଜcVɖ.f)V3~3;#)zCڍ T#x,<08kmJ}˶PjDr,\G.! ?цQܣ7sIpA~a0̇ "ӹJ&]`&*${{5ͺܮɴ嵍-2,_m- ODtvt 03lX6#$P1&w|6 ?7~7 FnŃ41F`_őL gʝ;wg9 {](päv8c%iUڑCRλfeˢǨ-TŞfa9豸 gE#'I N]DӡEi):n~?϶ kX%͈q*/Z?߫Z.7MY-f/DZrי_|[0*J!އHE%w8hxv}N 1v]9 tOCu[|qlejG|F&Kdk(Wv)8+8Di˗0[jPwd9)9Swr.fVؗLz╎8CsSC`Zdmh0bEX[]GEאJM\T#ٝd|DN\`n9̖" ޢ5$n&ҕV}C!eҧ p̮]7k;ݴN{*5VS5B.Ih}nw h)ST>S\9V "Bhs#Rm?]DP[M2 6AW(R 1}8쯿 /u.8_/; 6q'W:3LaV%Uc*;V2m-J ]̏ųګajLO+ubڴ$r湠g`HJ밝tϗ|z q8crru(h`Ef0=lud=O.{mN/;G%2G}1Kv|xbr4e8oY nJ/>poςr5R5" פ:%Jm/J*E(4>P%k+dO+F[;GA0m"f@{ܦAMaϔXx1i9Mz5jZLg(GnTɪzЮRV*x2zg.EoٳK$GxMG@,R˓уWޝj'hZ;^4gjg5TN/nlmA̚ʹ~_\ʆ~6'0sw1=Ņ$C xR]Zs%,=='p9;J$]_>}IxK9|G-JwУh~@ ]sہz=`qYH9>X@+ TA .!Z!E-'^ۄ oӳ4mx`bX\i2lUn6q/] )e3݄kiHU{)U:Z1JT}q$ow~7Val6V׺Mib Ke@-bDL+O HkPwes'GZ>#@TY ^u`ityuæĥ2nRbM `5͏j-+0ڙݤh"Qccއ7,49(X+meuЛ$hH+vN[З!ؠ8r\@:o] Q쀏ԦʙcPצc_3(B ,Ze(kDN?,LI6WCv%O@/Qg<-=Dp;^u^lFKC^US/{3j86")m4ԋ+zl u2ߩά_}ޞin59؇p=W#I@Յ@"oE3S(o>v]%X(a/sZf+ ww\+]L9kj4LѺle %ve0`M4 ⛍ |Z fBQ ߙت-69]~[;>IgT2v@R '"8*GT')׾pN|Lw z56+vp0Q˕FN))MTmMtIeb:TLDQrT}A&ߢgYZ i * jiEm!~Formula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_ExamplesPIDE/files$AFP/Formula_Derivatives/Examples/Presburger_Examples.thyfEm-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_ExamplesPIDE/document_id556,Ew# Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Presburger_ExamplesPIDE/markup7zXZִF! #]9H}4l w`eߵPzEcyP5^IKUJlRblB6x2 5h. %,ʠ7,Ul: 9B 07| m'av~,3~z$͍o'D#x~{`eI-J+ gQr$8e,>'Dv|,j*͟FdczAQX2d1q@֓`sIS\JR]?_l[Еg?=)>S!nSA䄋꾭:udD!_QyL%@z 4bVsb4b>̕db$HH h>lY@R)[cZMD^EΡcùEInBm_OU9^  ĸav)wΛ]2k3RFD dz=TU+a']!ʂMFs:'|,*^׷v|Z+ khwlgM@gWDZS "fW$ZEv@+;G3auxcIΛ~ mꇕඈ˺}ރhs$h B![g88ϱkO禴Dhs `) :Ϸ;⡎WFM-%;;@JAy)8@33Shv񿚼|n~[K-g1ĔiӲ? v`"!MԷZhŇj^mUk,W%.BKk1~ӧ4zDžR%qcTٍܱ6;_<16x0)a@2*vٷF "P=B\Gu'G3ѣe 9RQɯ vYHZ^EHCٖ~vt!*4.!n4[oH˖fou@pK߃K[F7,G*ѺÛʪb'Pcvh{ #:LT+  tnOi7l&kuFӾr~٘Ǝ+)Ú\qL"L+Ò#zƖD"F亼Oh{{f!㙌bQWR.pIJS3P9V̭K]涭GF! E*Y:K wH iբцW-n19t`RȡLhJ/Y);t~t_]h5Vs}9u9#yNz,A6V܎*`7cݪJ: 2WTu0:, ݴ/TǨ! 63*FcEhfKņi-3p$VGW|N۰ H5 h_1'3 .툊HJn6LUAN0/d2Sc ]r#m/4ѷD=yǮU{JR$631P5%Ahybe2,!$EvJPEV KS^}tNp@zA8P'Uɳz]8j$QpX pgmXܝvs͠73@l*0;?gYZ!Ew!Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Presburger_ExamplesPIDE/files$AFP/Formula_Derivatives/Examples/WS1S_Presburger_Examples.thykEw-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Presburger_ExamplesPIDE/document_id562SEi' tFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_ExamplesPIDE/messages7zXZִF! G3]·Iq n[:|&[zEY:LdȟZ 8uү Q]vR=eaW~k_!F2 fX~ۃCDX&͒м4l[8E8pl~\Q=f0v4ʞmS{_HU(}x i Kd Utdy0c"V#p=$zai:x3?_$'>ٵKql&2͵kdsKvp-zɅUm|xk@PF1X׹kՖ縆{@HL7U<>C]lѲBwBȢ057ىZk]jk%o 5*:WySba9(lH9ލZQ EfA|h;K5bCr8 ϊwqU}cvlEPB[Gnޅŏ|ݗ ~ j+ !,*2?6|L/)%OfM=,I߀]GjwR_͒ӥnbA0 O'vғpgYZ hEdE!hFormula_Derivatives-ExamplesShow.ShowPIDE/files$AFP/Show/Show.thy $AFP/Show/show_generator.ML?E-Formula_Derivatives-ExamplesShow.ShowPIDE/document_id5649Eq# +J(؅DH$ԜEFn˂Ƒf>+$DP]N)jlVd * #(\HFx+ςLٜlM[b9τ(WryS<_uhfB@ԋժsm D҅ZE V8#fFl&s[~2g~ e(`\(Oy~mF28dbA ЅJU8{x&;Yq2ϼ@fN ..}v4 ^mMZ$c''+RЖ֠ػO_Tױ&-+cGxa $KQ/N}4v+9ưUŧĖbDŽbsCJ !0J&rP7ulŋoy9fxj.pfm xrE7!M: T^Fh%jy<Y%#}Xh|ќxW_6t_`wŽ,+zy"=J<NJ,"zܨ+[׉81nd9o<4+}R#w,69oÎuO!NiڊpG':v$:Y_;b',e^ri;A}ڸ?I܅Jf{yc7{P҇t5d;Jm/SiIc^0 ^)% `}k4%ll.U$Pm0eJ_VrO"QFM")0\K 5؋6P&=*"sގi 5G1D.+-%kx)G}{uhz]Q#M thrL#fw#cͱ$߇ Y =淮efL7眸B_꘭^%vtnG`Q,XXMbb@,Xue17.],#|Mj.u"J)dKJϾmpA7ҘW77ᩏ%k9QQǹr! `HSF;of>MBJza}{jBq"0 fN"3>>PqD^&e>;ϚȄ7X}4^~.Kan#T:Ԩc ݜ05 k0ԢYwV8w)fΙ,͊FҷFض1$KyQR%tN":PYe:nH;n*~k).ff`A;ԇ:HUWZ>|w2Bp5)]q,D*MNv7=׺+sX+p FRY$Iv%nX0չ;% gYZ1M%Ч~ Ԇ7Wk"T879X.5B YUGQ kd<(y35@Jd:$s$c5T  D1Lċ8-kAxKKW ܦW#VD˛UV>IVStv"@#߸\\__KCGz~eer˹9sj{&3}{uN6RC\]⯬plj4N~]j3T nkwFV~_w%CBw8Uٜ,S6Â>q Bv%瓚31p3ca/o#|ExI~ov-4qfӓL܂նYaQNJ992'B%^e+orVEymIϋ4C3U^aoS|]q~ @:{@c" JwG{ SwqG3}lsj2bYwgHtY`Ldwk`@Km`;?ved[AͩZQ.0]4<ѣVa^i"N9c21Ny2vq[ (jF` .),Cm62h&m4Rtf֚H%r |ֹCo ]srQajp!-o@N2sR:l-]@n,Mt#Z7$K=\HѮ"Pe CG|,F`=eq`vx> %6.K4B1n\uGYXPG9]7ՖW ==rg$,]Q!pįoOTN# ~ d;$:l5& mEdur ~16UƋCOL$*YMhR YZ*/  2`βnPE_U1RkqG <9w|B.ŽɪM0!??TU CLSt==] _`irvwHR ۑh):Uշ~2'2 ~M?,o[PVr0Bݎ0nR?YO0E ,IRXj=@ p  ᬮXrun3HYz H'-nZ0!Ead7Br&n'=ɠ`Em.Ic8¹D!42/>zd-w|31+lsʭ]4nf;2eb.9qt-_DTm1q?R'4dUm7?{nFX_5pcl—:FQBd 1jNjS}PxOAwPxH+͟Y*{,L5; SF7rqjٕn"AUlߋ(Q4Y\ȻF^1DLp N_=h~xDկq1/ i0Tj6~K8._ZD}p+gxi6AAn:^gM, n>M25֣:"[0c #J'7&>$ʳX @ b W儧M$9h %YG!K`[-FאF+zn7+B d/-trCʴZsܜǮ&u/qd 1@J?wGOUHoN`R43ͨ*Ӥ6oK`yv~O~#M$Qp@Gw67f4gNyڍ[C;QA<]w{Gw]:+}ky\Z"3E6 ZH2P/Up-h4UhG>~ :^t$2D5)=*|01WR VZufn:* "fUvQ-*9,vs^K9 jRY8!k 0ڼGoڄ ~%X6{iv=aSǎ)[s3xrP~gl̔ GYWeb0$-R /F{|I:YK+2,[Z4Ln='Xh `$/OwՍ N͢J!UCAS>b۞hcBR̅Ys 5aDqlM[KS׀GQ߂|A: NC)pI[ĥ"װ ,(i%Mѱ52"T3\x:Pҏ0]X*2&7#׿ ]B&2[lte*88ËC8pWj_XSsLosF(Y6ؠ"юoY&Ҳ{]"V!fOz! Bfᒋry(˰1~VIńCÂ&|K ̅o )9[=ԺP$béoqoh8垠7gbiܧ{7NX(>Dn`=b T4Ɓ!+R~!&4s: +b`PZw)AK׉Wj{h&ϳލ,Z>WJ.\pdPnèFO  ' p碮5ၠޱ{Žw$4= .0f#lV@.en- >{;l}*ffO\ʤ/VǼ6iB2UxqʍĶE:vw7神HcTN(QߑE&G6y:h\LBm^⯁=n\? $}X-U*s 4_ &,+} /_'X0T\jfc7x?dn ț66M;vJ[խ_qGe6h->Tc %>݀;X5DۈP_”ѡh9v/K^f_7nR/e` uIWFŖCZ-u+Ih^gmDu=KNd: J0 0ٲ!"@mB~x O\SWTh* 2ңBJ#@ްw6Q[=ȿeZ- {ogHhؠiY̜| jAKLaE"rmd]'?Tf䃟,(}:ޝ\) !@رgYZ#QOR\+JM/J Dt.Zަ~-!v:c[|AoR\2JB5?|v@eL`s76Ai 'DᡏŶ\] рSߙBQi2ݍ˜3d&̩rs ]̂$1l[jDD3f?y3Yrzxя??cD4>i xeӸ~8Ҟ9[mrlf]V3]VܧUD,eyJ%W,d'݂'M@'sHdX,e>o kV~w{6Io)XXj2Iqru @j-/Y+=-Mox BEvbu0)"Rg!ެCA̖ϟ*q_Rhо+3_Bun)zeZ\7R''g4Y[kh`X`9:3Cy__臞h~v#ߎaٜnEZh Y@x+8% y iX3]_z -e—Fs9itmqdɁ) B8N)H0cy% 8 : jZ4&Yh,H#p|_?yCs&6+]$Me/1Fy\BezcTTYj^B ѷp6> X"*^&W3rz<ɗ㥸¤%yXp%1zYa/H.}JNf(iryK 7BjZ['!yXN7Zp7?aGd>băs勍uӸ=W3ɉݕ;pםn=w;Zғo$* 4Ak-u$&} UcQ#{D:"T^J`͂9^WjSY:Sb-&0 *'O'Q();*DTeBI״յ.:/)ŵOxq'団csUQdžD8:nP}(ٮX.+n:sIʑ$,IL_|ލ| t"ܰg 9<1[_L˘Ldzp a&%BCsk"83yI`b. 44¾f=WIմTIV5tѰ%  ݕƲO B~Jp Z 3Tbe0.U}QI)vd(j(} N&$Oni'쬄6 v!+tJQn.+cMZ bᅪæߤp<`ے# ΄x\=)c3ьMI[&K9I#˥@(v0-bfrtzétaX\2m#K[oour>È[VT#SHե !g4n1bs"7}0jeRkCCV$_ͪPyZ';9)$K~^4iu]Ư$BfЁXjbA*G,|G"^Gh]qI׳1*r#E0k*zFet]$jJ/IڬjA.5en@n9j ZO-Z(Cjz;o#7(Adp5{30%nh\9?pOQtbVJt n\R;0!^xη3tLtZ2 3}سt'T qw- JwDW[Ψ޼]&(=߬D:;7Lz:?Ubz3ƹ-Ƥ6{1fK,Ofa|VvU-pa%&e}WuKLZ"'=[ܦƖ 8nuBҸ8B9Gp.šKX"ݷ CaE + 'n;J@kƊ䓒|c1D[vxk ̆T e[6RĨg̯nQIϜORA07vYWVj&./ n1%V1-Mm}Iv|ET>zߊ:kzr u%8%p#@EaL=&̂_9 ?i:+P˜hUТڵ*C"EqcN>OdͶvߔ8y]z[To6/R ه: Kw\\zom,%U',s ^v<.HM wPHt={_!(4'2_5\_VDϤP"`wl\*(Em>5>*oXjZ4MA֛JQ:psn5kaU/6V̺jvɒpYÔtɠA`DpAtɾB!=u-I?md@s-UPHUȵ\X1K+.f8$;(S>(2Í$Ok7"xC \N u^̘OZ}q-gc"`>öBd5pQyV')zԈ%2yu\7A"- {ågP6)L)ȴ .j6|!Vw .goH@Ju%[*OIA_b-9Y FX=ա՗!f;16-ˈLil9kY%CY"lj<" /k)&[\)!=84Fz7\:ai5&0<8e3r#I& k/A1l0YbgyGFT! `ċ7݀:[?"BTKi׃jڀ)u̥:1?GL%R\j-2sZ}K1!,vWawWvrϊ|^|.rzQ<@!JgPSfQ8|oMPRc.-'ٌ" ZDDÁ p߇ j^~< ~bq|5n01J)\&Ky*WEroW85S}$ ӈ eթݱ3vu( f ,_ќ㘰<#}pj T%Z ={*("W.eYN9֎*zSy*/J}=yiWD4En2ӷts.TP\ѰF =&5:}!"?f܉Y^_]Rj?GYl8`]4 9}Gi>-2T.8(L㥱 1+u,nO#=v?*]}ӕe~y=/`d ;ʌ6]( Τ,Iסk}lf{V@|u|){Rkcg^z.U hxQ(kO|Mp4h;S:"6s||Ii0#KT寲|j2NUsxx9ƫ*#|Je8`h^1i7_b@ޫFEQV+UJT [fr8=55p%/Iұy>h[6?IETŸ-N_ jy {b%=RcdrVq6pMpE;ykۀ؀?6QHn߁Ӳ1b[#x,@z 6bJUQlJLgx?3Ix"rpm84*s K$ +J5&L>" ]S !LS"sſ s4x< *Bh@d^%Ѹٲ%YHh6]Rnu̡G#d#O0kx~eDC"m%bRZt ،{);ivP?zϸ?4gW ڥxtozZG{z%Y/iKMJ CjuBrewa6Vσ%%z"K8dUkGVa^NB/kx틹7Oޕ]+/!p,Y}\f9J|#FqtA7ErVFs/EHИnvco* HxH5 ?+Ay+(<2N(4=R uő/ [* 5]|du%zxܯ0gS4SK̼/Dh&v7Z:/+pȝzL;HN!S(]djJW OLL*I\#W#h_f(̣bSdF 'x3J\-Y򮼶~e|m4bՀbo2< g~IϨ'hN&~t1 he|r!:CMx 1/B=׏ѨySSE`N16]P=HlzǴC}5+0 켨BTE=6`)YuDP!<k1eO=SY8I}=W qw/TS};.[FMآAd!!+*`{?x ,l V EH'U%ﱴxe4(f!u[M} HvMno%IHPjj%nEb͹ >8Fn\χ#B_Q0R-ex),sDgk68&+F+FI: UO2QT߹1D-+EF!W^iMVfӫLi1{8ǥ')}nAY'`}GA] H~t֥HO<&+FBF8@q'wS;i_"3%lr-i8a !Tx4b$֘xt~7Ɨ 7qL'h5i9&sՊ˩C)ʔ:U$aKK|E)t11x&!{kr<䨡[lQ`U<@&%ʽDޠhp ;X:lJ5Jz fY$9 gtѤky)9yC4[TŦ^f'>/i",ElN>dyQA};ӤKZÌY'G?Ji ; /3{g=G:ƹ9JUϓj&륫XtjgJ( I`w%RTC ; oLM8*A"@EdQ_+=:8 I+ gI]$9L/(7*_`'xob| m̷TNr&]vhcC> {aĩIy$x~ǒg{ѻ') &Ӑn<xb*? $F6]bn!`mwjJcx)>\Mɍ.Ü# /d%IM^B>RMLNHxΥfa"@d/LӔ5o覚8ID-֭JL(E ɛLO6ZJQ6A2c,.C郆q}4b|@KbǵՁ4e\J0ffg?%RUTv8])71ffq<^8b0}@!ve݊硜O0VRΞ'?)vV兵rul$B۪^a..AZ1rd@qֱ^KCsA;l|݌ɧBvnӁ^6ۂ (~F(F"!Y0`<]o܀+/*z66i}'p{sŻMFYhX^} VQ;nɌ'ij%ȱ[sd4؁#JPbF(gm˴tҘӌUӉkPwpʛiR?:U3 rO]5=W"y$]{rZhv]9 }YYŚbܱ$7$2 \i kUnL BHm:5Ifi#DPa~^<k0h'ae'&\:ENhj wTo}k, N8uv7_@\885T_΍.UJ\ z%t!'r}֓ZpV(ٍO:g4ًpi"z%>L$} %ܩ K"Lm^Phnet{NekU%" KGK`Ů۟"U.q۔u1eכTG=fB\Ul14? rK?!Mמv[{ NHw%ͮi0;̢̌ B^/B5rؑ_OF:8t$)|mӌjǒ2KCwB_i~SU'"!t ;ͨD#&5(바tRd <\{L=k+3İ]AAj=L0: ׯmk$_j p qà2DIQ!#1 ;jV_me: 8B:.q!4jK@V;vghQ~VaqOlgC/sL JDȄbZX=VXJ>^JA\X?&xwA\~}RPr}4}[iR&"rO֕`B+=pD{)@bibǑmb/ n^4!['AN江L ȋ{8uP9Yf|zm;`-%RHfd0 , cWH2r#{FHc~ vKS; N>K|謾yB.Uh{[oN\'o3^-yZ_\އE~\7\ԽBcШ_M!ӝ̸Ym,FmE{*]s`F. jAQ"+B(㡻ljtw[,W?K!@7GR|ҩ߭T9m}bb^xnmh ){/cCdF4akp_b[ǑhJ,.2-/a XBcHz5 GL eVjg "mE(,Lˋ)9S؝JgI?b>"sSNx`s$#ەnxC2gXx%u1콝, ]`A@.(b%Aʭ{ZLk"9 V%*`!ʄC52:Ar'dPL`ؚ^Ԧ `jQ\"t|( !*$B|,p5 27kuT%$x[-*f J$U&)hpĔg6ٻ>y‰|XP,h+NtF*ɣov.܀a{!ӛMDM?=[} 7t rƒ}ڻz-l H>NFf"*XpQ=[glAUMt54cgJJ&J+|V4v"6SXWtQC<=HDXز$g5훨pkЖgC|t9BF*DySF8fXFEJE/ƜjDKxt#^Ф7 2sڔ$P`9Wr8,?'[ H*y(z^+x@ưDU3a1mqR_Q>\wY#;hd~!Fh+1LvQ y^U%?1ZJ[!_ \E"/-nY r-z_zPiNAOK2/(g.h|TA@Ұ#op3D5?k }IUҤR ]e\_\`;&~vpH#jgRHqKN{pZŃ1() gWt6dORK[)n/I0H,n7EkyOQ)]"vo|g{\Δ akEFTX6c/;dJNTYӟ4i&mŴ7b-&7AV!؎S!vG8D#yɅ{\ >ۏ1sYb. .QB YqBK](#RՐѸ~Qs 4с3%ܩ8dCXWFFR+ϛ`!6pUc;1 V(`.G-طzƣ c8HH,j biŒY3\=}Τ8l/{FgTNEtAB16T۵ˀP|v$%AR"xuVfjS-+$ĘX { 5'[kˋE )S.B \gm"S3j$QMoUT>j ^J0z~7c!-Vd'р!Mf8ri3yZZΫp-!Ў'wY]ʹޗcۺX2T5}n؆']v()_DF7Ow.W=])B)(Y JLO_6$Cyג t7)D/WXq_O ʾv{:HVG 'j٬d*rD9)E|3i,[z$#嬂n iNG4@qan'׻scݾ_pBvѪWf6̘Eb`8J3o߳? aOB[ gw) ^潚,%da}R bugS'7g5{@uJ/Tϩɿ"ա]āYR=JD4 N 1A({)mAdI-u{Fq @i ,g~u=(m8f_3Hy;׻"'ɚLr{|[X9uZ4'4mabw]b"R{^`)wBX( `Z4_׺G2nlxM-~A&ƱƦZ\cx>Vn5CD]^Q'DzcfWN2|#H/SD}NWE M)Vc9ߏ =" Dtkik<,S/ Us%e %']Z&=I 9: Ij&O&)pv Ebb"crŭ~!es6}Ŀߪ9T)pU X?CXl)_zFN]^&6oo_ GpZ܅ߩyY%JTм#E#4\x\^ZҚ=2v$ fS^?(h9S>>#A.U>}>;m"48΀'1L&1?qʥ]`[Ge~%*=k|k2ρ] MҬ*U.gY7]\cJIygK2p3לx?Ѿv 1Wk9ؕIeuIz\iW6*yD6H;M)Oww:?v(>M{#x93R߶U=N+6Hv>`\DZa 8؉Nfv\P۶nѢoGMFg|^nP+  BתXDSy2G- 5E ȁm $j?*a-iiA#/guq.;(k~^e>twpSib7/A3:2f?i66~9x %AwZ#tr]Ego1ߵ(u:vb r7Hw:};OΑUOMC̬$s퓱8-Q5nG NȱT6t֬j<G4m-"0 Ѩc ԝ!\N|J: N[" Z\qڙhUkxnN>ɎD ,rj_e7pájEP8qhKIlhʁQW?mVuv?R<Vԫ$ȞACG0+#Z">sf9i;0Ƕ!m;-6 D$w\xz`sSonM렴CQUdCiA}iĸ~I9ݜ 1ęTIa3ei E[;~=%Ca-tP^8NޅI)ŭcf2TiI-rPkZlTK.Un+AcJ`P/GK~ݤW˓Z"h<9V}6 ;X>TԵ̂B`s*y^W5JjNK-!#Ry }iduX9#x; Uհ;M`q&(bHŋ}z;䒵-3r+e8Zb7Oc<xc2Z#Ͳ1{CPXhÙXGk.jRshWH#B59C5ZkHSLN&,%(2 tr̔'%•Y,kv{Si@|LFa'*ӳe@>-S#剝.-"\2<_RzlV)"$1/֠Z(0Pn> !N;;I9@P用f8nmPyNݓOLi7P:(پ7Ʀ+w{Rݸ͹+V<U tln_P ܆Wĵ x63Qe}"Ur;/ R{fdGvbԡv .--!|J^*n F39$HedTC%8D8_#8)!o 7~idv4<2ʸV~Rȵr ?Dk1 DYV)zͬ(UM;3K[LX$/ nR6537$z[T~T1w>bDxOfRdT}.'r3sT0BsF9?oK xV NsH m~BIKd( B[R@Z[/o!= >cwlbzo#udO{3oC4Tn2tؘP?PhldYqw¯p74+Vf+:>ɢ0*+~0ک ۾K)Q~eVQvX"g<A'qS7+X$T=2NmgS8b7C?ޚ<;b*A-F~\-,:7J:~tY߂46/؞5ՈI8KWO 'Mj^B-KYwPѱK]$?z_R9b/ U1VπL!Y-u! .) &@UkSaTn} =Ny +$sVB)U=3h{AǸ2}-{kUzl_2þ +QEdU検g;QL vƶ~sbX3AkOgבaнs}qC$xsx `^Ͱ}Q .EIMj[{Bxb p }bY9>A4V0#iREاfX͐OS@+z7KQ c.uvbwШVzpOyB{<Qo~B|ܣN*S/tUth&۟Fu{4& ~ՙ\JyљHe>&M%_1Ck&=:v<0 ܮ_ /G^8;KzvaơF ѯ-ΩS6[: a펂PZAd/&^ Qi)g4VM8ҹ mFu+D0ع={#eƨɍ/&ooquqP:u_ $8X(}p*IOTj^.XMKE~z' *k'9^,BBD&ѷc1%5pk !'C:y=F9A7i }GvŋyלL ț&PTL!חG(iÐmV(e `C -w}z>zwypFqllpN7+ V{9>YEZ aLs3EէVQSp?asSk$WFtI:O$bBBv[?Z5jCaC O4bn+_Xycӹɠ fQh5Ma7rᵰW?UWdbw=AOfz+/z~$Gz|lfkUz4e ;55WYjRgIipwkFs.1֪|'0s+H~K '3it";㕠  H;u|+!/L[Ϥ໅1񵈓[f9e!9yV4=&1CdA) P"(gbO;OAabmWʺNDLQlHD=i V^Li"23e*-AXpXM87*x"X7hJQ.} Uo~ucV\@yPVo}6b+GM}?Tנ&R0}[;Վz/ !WYXtMU@:a!{ ijJ41,`VZ ᄚ ֖*iuB/+=0+o_([*dM'D_<MۡAh~ 4v2 Ո -*^?|:f-9HiphUU;\d[랣O.|'r٧ZC| vX$ცVz'F}s dK߫9 t۠5{@}iɡWpϪ1#})'AcCVL.6#l^3&^a1k 8ִu_X&L5{^T۸-T27-×J6lrAWL>7aX/XW5 9 nQ4l֋ٲ#el- ye(VnU8^nYr& Ha%~J1wƅmXg6ڲxx[044Ix[6PdSH-ivR\Y3܃1 |,_gw0LƯ⦃1$>X2_ zM |$ة@|ٷ^Or[rF䖣V`t(g";HBC[f" Йs26SKAPeE$txo@MN[Y5[?+g}"AC02UbE $fEHr K+0(F:jyOLC MG )Vl^Ot\RهmTTfuk:,CGhϜ9BݵO .,Gr8L ?jNxs 3LjQ x)M"Y%RŢttsP̨b7z,Ԡ.Wm0> EEdaR]l55ao7׻ֻܸBٕ:#-47yBMu{ۘz{D~5j>z\[otd蕕A}+eģJ8JFwzC&+1X&6̎WȢM(zcn6yYUiCDXqL 0:iGp©LxF-!ӷM)&MԞwn|/hJPÀGul[+ܲ?  5Y+^Zv6[&žߪ{fL\O]QAB+B)eL- T,EI TDw@ QUG@c3nPǘ1 i"I-5=@ D7ү-ܜ<#T Vֺ\%$eaawhgD }tb%16b aTJ7"i=sVAOLH8]}QL)eb__u,y@? 2+]) \P6!̧VĂ?d{z@k2UJ#6P>{^LhVŽƧEMp_wry@r E Yp-.c68u1z~q4v2L"LQKMћ1p=U|\9HMa!$g_S, q)wͬ&)1=VtSZVz:x'IG8jeͩp։̓}B>#6𫁩έ«LKYHB@5xFH*<V| eVʳćУk +_s]HAHLRF $j[$XI. ):YYAd뽻\w$( ?- Ɍ5|Wy.qQ"jL Ko&7KG^sm[ӍxfhkeT o8P^9&RP7r@Ni7 jèDlg?6dLًfؤr7A< t4N-_YSx/TL:3+7I:kp(3ވGsW̠?9X5Cwb,[b ;Ʒdֻâx-hR'UI8Ou><8Q840նwQkJ?P'UI.@W >To,xd2,nu_},)T%2Е,€V&P7}AiEILlUJ]M+‹T#al#xb,pUsz:|\SO"ADV5o9VoH_icw2+Efn!G3b )NI hf*3Ud[| 7+#ymOp( S=mܩtЕ:#o#C م;/e^C_p)7w,ڣkL} XZ_TT2)HG=l*E[ MIfKO]`h~W- 9i7rjI79d\h)!I1L_D,L8J{޾OSRbsZ"Z15E-@tS!HS)j%r1x`z<1+<_ hv6fW &%(% YOanWnj;cvWe. Y gJUW-?rXy3&ew nF@TT LeޯSa6&x ieC 000DuIu+ Y3u4Sz1a=|p(fs5F}24Nq5j *Th e(hګ6GePqIɼa.O 'M;##֠ 7ϔ!Yq NT1\-oJm S>MwAGȭHWbʄJHr"Ǽ[?f8BEBsf$| E5X ,Pͼ{v8~Jrψ7== Vy8]G1q s I;?'SjOe%diُ Y§oCA kEZf%Arc,Nj\z\>5N. }(ʅ6;3%ןSmٍ22*s$o! 5  =jWxraΊDŽؠF5̑ݳ qn\ҹAJQ $ %5hr$;5jMG[uJdԫڶG3ra%uヺAw$2q=3<Ȩ0vF/8~ʕzgq'?SnfoR}+c21ֶňGW]P4k4,`@l6f'w`Π]+z3\FWZSf.x^{ @64Gxl.L< [L~r;`a~D/yWyH$^PxkYN*~N&1oT#(PO/y )sAzY h"@\u9m;+Bg;AЧgl=m6%Jrd>ˍɂ&vİ.z<I l\i4U0_{%UT=},\SMR(XzУX"`:-3"6p@5͢-WNm8n-U߫r:%qbO.PAJN @V]07߈ Jy1mQeTY0`0yVVs"=ΫE6~&B)twKaC" f3녂?k|Qu}.'y#0Fw¸ akBg%W@XV ėHBK]UILTmp(ңUkt\3lYA1Dk[!SH'K }`)8$h;+ p @W[eQGxVB_ݴHZ=EDVÊ?`@`Zތ,Wq̈́I]vS2 wȺ:I36dKwIEzd#gu  ^.2ݪKX]z "CJ2dSD|HDQ嗬ox=670bx5e&&z*5JC/IUͼ<ZMYL-Pm(aJۤoQn(t?‎2!2ׂi$!( HFݖ{Wxv$87`; nAF ;2:@O 3Ψ048GF~72_g.vȟ{W-9c&8ɍa,x`P?Lo VSFT')j|[91M jGqȴYpUS+KHr4`fۯOhB dmcsae2x0j%hjW6' 0$Y5(h[nt ,[sHڹMM3yiW0ކ/ٶݒO~" Yf7Whd\˜īBw?3Ex+pRFŽnws%3PV*-=Z :m7eA PF=ٓ9l--sa$ +kZ^-e~`ۈ>GhQM3P#ƽ*۰r&''RtډQJi[l5l85s[(,eZ&2G9EȟȥuimG=%i1֝F 邡 FڎT}ɶi7s9g[yOHW:FO)7W*!3 }VFͼeWxq9?D1!Dj‡iȆ:a'm#z]e*X;/8#Ih";["` l^\Sl'/%l^$F<bufʑcH}&V^ı&+YTи`zי`{ gy{CFV p25z̄JPz: :>0nW\rc@(D۪ugw $[ĝ[6wlhd]ꮖU>qNc'h8m~*\rhjvV} LW]ʡ6]kymJg. r!yI;WRThYE i>\v["J*|{9-kLJgӜ)N qH|K~20:%fcF'rwRo7Z:``6_*nOAOì4 um 6&.lPҽ1deFd <1/L/ c.98#s۾n@),l\x6#IA&/EV%@b8OD>A(r~5nHI,p3ӘTC";әUʔvrx%:-T~WŌ'wM7= ;3DA|*ZyH=*-~k' mU"i$7Lml[Z1AEin,I6Z/$eƄ!Zt=qZ`JcS&4Ϥ`4Ze0dDaH4TRK~3'ݝA+_}$  ~F;I*3ӍF' ?T£ABW@[R F`^λjM0F(<+9 ήpT.P6g12aC -]0"}$y/SO&]]v"O慧c/w 3H~TwНr812ej1‹rXR)a>ZAC - Ʌ$Y{j;,zhi녊@l=]7[La;/GϪPv g®fk5ͼ@هo [o׶v4#,-vJ04tO0L*GrV eSg@W +E'e2Jh 'Tw^SAȽdMkiF Fp$10nz~BV-wVSv- M\}DB!&OWf}{ 68X">kӾ}z'u4uc)Bט'c @_tPWSp}.IW!|n젳Ջɹ[XqLuZqI4يԪ($Lw ^s/jk=bvCIiwR A+I̫ﳶf@eʼn!DLm(nshy;ژ+'~o]gF$$QCz=ű:(i'MU*} D GDR~/.H7?;kؒDTr_}VF>% zIE,}h._@' ^zf;AWxbKb4w5,:'>5 Un$Xٻn`Ы3w1۽*{AծEؒCH7Ӥ1XQ-pIp;(3cgM*3@&|0Vo#Y`fg(PFFU{H-efL wD>wAizdH7_c>=:S^& ?.P 30ܣ51.y6s%?s7 Uz_΅ 0Q ƕL X~7@ծ^N]WhBEAq*<> ΰSE¿AaL+1DPpNO+G2 ?Si#Q6se@#Ë9J8fS0Y%Z䆦ػHlrFG]+ 4tEkj'۲]`A:T49-R\&8Lp/duuAؾMl4k8E$1M3ɹ=G4lzEΒ ;'9ltU&(;#XD8^ `˼4 MNή ֨~0Rs[b|+`-,wW,5Dm_~wFKS/6BPϩ9#/q/ʐV2ֲִ ݞ*@.G<wTVn`zsfȒLlN2igĎ_1FXll COD̾CpAlQ`ʼ;'UcVB !؍ʛt8e,;.͍;((T{U|7 u#>iƠ{RƧv42* E% lFormula_Derivatives-ExamplesShow.ShowPIDE/markup17zXZִF! r]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0S\'gwy_[xUҿ 5xJѺֻ+Lgx(l蛵{H |T~u`{s}vkg cB=AR"tXŌ)2q2ƒ_&Q>ʖ3vKZ.acFkC8r8- 8xM}H6 >tm*v߰džn vCj_>k=e/K He:!}#5lQZDIsclANxPÆrVu3cٌM%cE[ 0jq7h4Iĕe8`r<9֞=wW-r%Ox Au}q$I,0@K\l8l="n'5uPJ E-#;% c;gI7\l‹)2SYM@#=?j"9K,;{X;fbS uU ےv _ό1Lnn=T\<}~o@X̶ d_jWS*M24NtXY@W!8Ԏ2٠]҃|m88_NtLhCLA(STb7胵WWv}Ǥj 5|ԕ#$*ryHA0 bD}l:0 (&د' `Hq%9"DbNVi oh\f*:FDIePoxoT9h МS se VH|%|sD,у.4GكhuO _ܟ{dLgLd?ZC|B7vJj+"77{WΗ@5`rO oZjrOttK z MzC00OX&_H/e MAI6\Qt߅8yumŚ]ʘxkK"3aKW]bmF Ժ)=lӤO >#u*ąJ [^aI/}9DZ3R,IUt4֨Z9epj=٨S2ۖw3ܖu%iժn{"!;% ࡿ0DEu}rܭxjΆ cz s@wOv߁/,Go"LZ\M /̡b#.pRZuCiPs(N* y 4ɫc]T)(N5mw7K vmo^c72&;.OP7&oe#O*i=% Tl+c4{m[H(/byjE$ ~K?ۖW㦠)\KI]F$ 4Z٘sJ#tXrH0ɡf2>5*Ih׷nltS!h^2n]_QŋT߰lѯEI8Uoo|jտlV)pRO$mql# Fwi?@ @ vb(FF\$vtܵ#6?9PG]i&9n9Q+0>)}0s\Rf3ث_-uD+6=#2wS/3B"^Ӈi7N3Q5ԛcD{zta_G(>.'EX>ɠ!eG'=1.Xhy(1aoYM| 0!UR>hISqbY"E<]Xj3 `-l |Aif8*o$_Kd?׾/c/? M*cq")VWԖy[e%ru @'`b`ZtW)F>ۗY>aFQ9W\VmI4}ܬ{;jq`<@\.IQ`3X}._@0L;Q?cvEjELWa`ؗ 42鄊z=klKd-iUcbRe7>(a C)&BMo*&dӨ&9bObTxP[RRm@3{ Йw<P e O+Cp[[ZV`7Sujk\ˠsTh&z z >,>u=9 nP3ޜB˺㐄iЍ}o"r#ȸNN<ݱ݆Qwp7Q!jmdE+;Ǡ5IskÌ@#8zbsnw sٜ J807(IT, Dh]~Dg&p!MK.7Q$!oYratw^)5ӵa'=nҙ[Ght C:#.M7Sn3SydѰ/W5%}uA@.y~vKQK' ,;ԁ|SO D Q02=^pW,iKvVKAn"xkCg^NoV6y) ])7'5n %IN'IqE !׎^ IX\LG,= !&=.|%ٴ>xɓڨ4@yi"Yos iAaQ7moBDt.6]Ud*nIJoX"\\yDD{OF|.Ab c]ࣵ4V$Qu=tً2f7EoishK_M [[@;ފj*{aӏ/NWߩfa ;VWhy i*GT+ueWKge@"Zٖȋ"Z١PRලgtb/:taV{}%j5(J1KPe^$|vC25o!`I}⍾'1DYݙr N? 7P|3PI .$'e3נ^׊J% Eqh7? sy5q8uu{<9d DHMo@;U4%]QevAmvGs&&V;׽ x6ڠtXȂg;s[ӟ\Vmۺ)J8IUM/=eK׻Ed+C?ӥrbPttBcMFZqmwzY:%p>?QFufע*oVZgdcbfb23Ga= bzBmǥ3j(CzrK EHS̋aXKt%NB Ӆ$1X.&zl%˂֧7op Oe-D52-ӹܸnYrIZkM uz噡s.ݤr~(4'wXH0nN92CD4sF UƫGvx/%m ⨀2(@.=vM_Aη FކɰwR!b{VJ%i@]̐R{n wN FJ3i [_* -&& ?A^kxabЕD&*aSu~8}>88 Z-?zWdFՄҽD/>45N{?Zu 6'B6E|XY_At7)8Y6dٰNezĀ7=A1\>5g{0, ۗ*pCd+X;σhUϖ3ި;ĆQڤZL!>NT4Fcչp<'o66LapeoVG#RяwXb7'!H>烆ٰqG1KNf8AzZyo|LMzDp]"n! )rjf A>̑IS@Q>kdg>>AaedrKlO!8))k 4@7PJš9؂x8 H7K v: OwuAmeB:yJ>g?Q;sϗooԹ&^5z0,{.jҌ r˽(C_W,5V-ѿL1W1rECN&oVr|Yi$^)MQ*θOmO^ 7o ueySV@⏺ j yѷ&8`^sdfAR)@yq8Iw E8wBACn9o̪PH ,*0.Nv}ˑd5,k,T D6 \6U4:S*I> al9{d,L\L2əz0fUcmn-BZjj^'0Q$iw_^T@4To}0o_}&s[N`V_ '0nfB?mOQAYJ Z@) EN_E~l=DP}ߊC}TYꂑ^ /R{$8p/߱,XRm0fk?{I(3r-Grd{t> =e%㪘e«RV?qs{.e̝=I1bl59*\:N-HK -LMׇ#;'tO,F ܸDDR/=w< 1;?(|l=WKklX7nKŎ|dݸ*׉A^^i$%}Xo^4{?Xr ^6by3e#3O}bwhnQّZL\6b&Aƣ^/q|oHBjΕP]lbV2!H^LO~2fbҤe2S%wmk3 Y>4 [kW'kS%`RfDAgV^4d[H4"e"EDԇި l9]P:£N?X-cF@$ɹ8>& La<],k:eJ$sfhMq;Y+B9#}+m"Q䯇``YD(2lTڏ^ LA'nրI@%z6U}al06RU:6!nev>Dx 293 4`EO8:4gaz K:@A Ue/tVq ú`zU& 4(yl^`I("$I-ʞ놤蟉 dH/AmhBNu0z6nVubXʒQp$ma-ǤϷ]O4w @ stZ#&BS磦!T>xFCSgO1%bìNq=')WI}ͣߞt, H+ yҟa %%2z~:D>?~qoT\7#`ݬYkϪ]#wԆR:MS\A-9V\Sl:T*ceD5PiG*`;!Q_SMy9d'uD0"3[ͧ gR=hNnW=2ڹ>v+9@YЁ3+<7rG^>r#mwK m;qmRcHs4ʞD+5ך8#Gz'}&:`W ]5!5W=8ƎY̶,g$F'S&^CśEMɝ`EGB 6> ZAclβ*B"/bBփ5S u*M@~ 9#\b{׶F'M?YV>K[ R_(7K1xQ!tu^[cCzxyvq}ȂB%LU g4ՑW%I>H#}YCK1 IBԬZc "]ZR"={%ܾitOٞKs`[} r&;Ҏ/$wM)}<Y?uUڒ sCL; >_u7Uo &6ih~zl'hXeEۚS3O)&|._1>Oޘw;~c Y?z]HLŸnX,=N+6?/tWͩ8-?RCpeW>:8&,#xc^~Y- ;%0}IiP+vG*nqm>qLduʸ6<̯%ibauXC\Q+uJ׋k|) Q-3ٛ>O0 CQj8{&9G8S(<>nAsPA {T`.O&D!4GvϥMs8_ر[O!9_\k/A]Y>Q:KwW7O` &X{m-x# x(!STgv9Y3޷Y G$XUhm鴝(q>c9t\זK@3uˬU60VdG^"lI|̻r$i4a C/ hSomTrۑN @Sp}c'\,8f05F:qC7f):H:O~'ǺL%`~cf ꝤTC3VNݠdHv1FCod{DEn #5`hj5ڶGaWHd/CP[?7J] sZԥGatRxүȝqZPod$˪D]y͠z YeUm˶hnF |G4B}`}5{%GeOR⡡>^2#w?վioE|JykeGzZ @wVbL0tnabnnMW:~m%AF f 1tRBn/bQ>oΛkSm@n7 . u8n7*+YoBX?#anuɫߩI҂|I8˨)PkF&H\F) 5z1yiiIؓN?Y)=@'q񁂂kͺpl(ţ'#D bn+1ɿ՗Ϛz%X R  YQ `Y?NpC5D.ABqZm˓5r܊p.y,s͏Oo pu_L.ߍe'PP#8/܉sRD4r= O׻vaBYumUO4w@Vs@]#wr'8^Nn>S}Ns#_6++y[|he(e lJߎdaK>=1@ UЄf*yXߗyO_'XuxuFvL 8d"f5qsD2Gm`Կm"dJsg#S>_aqzz̃H:UrĴb08w=ѱƻucQ đ5Mc)LlbS?Zv 1\hdKMSERx\Օ92ܫo:nYhn ֳo^0ls1|Ҙm>8&jC`]zTxOvBOR vc^h;Lg߈Cn^r2J7fjiшfIbWֽl vنk3 . 3 W5o@ӣ*D饉*Yԋ$wܴņC!*ӶynL"zj0ȤnkMxϳpZd*9gYZ )Ȯ LQ ɛ}<]hzq,ܡI oMuŠ CP1# J `KqMvYc3:=6xN>{X0((E &:4MWG? ྠSÊY }kݰRF|iORk[6 ]3|>="i| U Eyvj}8`y S9w4rq;!Cagnt;[BVc}rtjx,SXМ^d p+{sF,ڲ"kW0#ύ kB·MvRˊ:66ƙnEۄcBg2)x5CV"/wvGDHa}Ō(\2G A!ky˚!-MA(MH4. #ـzdT{شK{%U:Ct 8WRH%ǃdSB%!KUƓ>&rfp% 9PL urTkF9O# ~*5K~R^v{>w4vKy_7iIc$qx`z"2>/ih=HBT,VG5|"ܤлi e&vV?ZdnNwⷎX/ibրxm*6޷a-8 #S0I~88ITnJ%*<t 2IAfP%~їP;9I>W .+%Dm[uHbIҼ'8Z FŽSiٷ]BR[QR<`5 9v$8"Nv˱v#:v?*fc+|2PRMT`ۊPH+Z#/CM1Ol: =,O-z .Ξh43HaT4j?Do*Hii` >;y U@wd HR}&^H? Mωi3%̓WC?K[_M#JhI < ((qjq$ R.艘!خ)}"ݥTP ȻYOBʲ@7cjp> 帖 diׂQkiljq=p=C@J Fc0F^ҿFWS.!h2PnkҖlZň,k3v/%EMx_9Ω`X$!~̫C0#1m!ҟfÞ Bk>';0W~Zۘ'9-B!/5Qfa&ZtI#aox"ґQ)~3]C.=%?t_rOL$rA\u9V8O@Xb|v.ۨQ+I/up7'Q#6S>,p${Pz/V@Sѱb^ J@Ps( INWK:6zeWR]jjv6IrS(}EB-4eWfɩJ :ӡѷ t~̝d:fx)qu^=(.9Ôdآ{҅:R~b3owT ”G$>W Ǥ_|T0nH O;F"3>ˊcʊzחlp /P`Sp㿲'h9cŸK5)U}3T_T\oR@㮵$ =BS}7A_ѽ*axxt(p&ВAw#6w.x3Q?1U7zoCt嗡Fp`nNgc@kWݠtw fbhȱBgMHVIU2Pi (yq9? 4;oD[z} 1w<%|h}}I1]i~X;W d!4%:+*]dwsN\jގ=;s+6pNLh]bxZW9/v\yp9ۚ0;lI.y֋L+.<2hU lH4KC;)WwKrO5 ]&IWH1 DcۛV,=/O=prA'7J&_P3VĊiBU^ t:؋݅Xv UF brn }q3$/$N+rCK!θf#B{n_N6Dh$3O YM=r&/ uҬn㻧`rk:\ |@̔"t<` c^~.iR\Q(inp}H=B*8aV)TQBk> M,2MM$ ~籠؟Z^$*,&r-)Ɉ;e1qF|35-,2^鋴;@Pdol˸(RZ[WYIPlx-oM#Ik2K=>t wKgV8A)\(!M|j P@/x_jGٰf;;N+F>L16WIV \P[.Y'ÿ31oXSxze<1a N| 7H|\ٔ9IvNZ6A:ɘu]黸N 4OH@Ww.o\E,%}QI8X?#\!Q@EU,sH8uYa F5ngʹ .18H3G9aܡprn1v<~+hT;FC,yMRaQ;X8BWɳw'eI"x+Vm:k]֗.ܜߡtt/u;,LZ"08+Hrp]42pǎ| 0X;fE])8z8} !3!fYxa׾Y\l^uAH5vjJre} 63QksЪIG\\AG(idVx44C`Q;S 5\O-sQ5$Po|Oe^h;d<.5/HAhJOlR Z*"*Qms)jj -HϲqK0/yKn 37T]B|x Dguqo7 jN3ZZ3t'B#Ýn Kvq=w:Z`> z`_mI-klyƂ' ub+'8db AjȣQ;<Z8;{<@W7F(ʙiَ_5G;!>=gYZ q!Ea# ^5msub>7gE ]9h}hdt>b Dx=L"9 f9CWI _ۍBuyU'3GOJ"r`ݯ˩m9KAKsAWY F6mD4uG n- ״J#O͓?3 ɉ ghqCz3^NDàP) z˜3HNHr)XTEB٘k:|5I~p|3(G%ŒnaC~eȆ{(7`ȎIď./IzK'ߗ}'._iݲJ:VdH#>Owe[dd{ - ߮X/EX8py#52Xu (Y5LW|3͇~t߯4=d Qi[x?j/՚ {(rX xv^3_ gVn[x B<% ~I"**@21FD*Wq5"qy?L ibMU +t6@nt J m% .\2'nw=09"=3|Z$h=,aUuM@ f-j r`!e2 BBs\OuSSGfbW) M#qi8}ߌ7VrsZev~<{6?4O~׮PY~H+*7O?{w*tuImxMdH5nTXȯ0E8|aU޳q׼Bg s ͶD-8 /NUZeOw"Ŭ OW1 W(4uQ|FDO:H#F_"3%LH<䦲WJ 'Po^U Q#Ԓ=ZU;|%YA}`I'*QLyp}>ker{T$/iC>r2#WfLLL}{`(FwjvbY-!cKtZ"JLO ʂy`UWxnNC8~ї˴g YL$0~(C_=C}2ZgfL[evOhraŤiO!$IXG-L Aħ°w8OI3&vSP{)R&nV CqN2&"iyIO=s=$+T ¸ CқHϥFzl?rP$ѶRk=893)HuK OOf"фqZ{6e]sAؿ%ؚ0l%(1U]I.[0I(Ttx/S5 ̑7lmP3J-Ïki3uhRKa#xjx]۲KU9 T"ɯe_Kbsj40A:7-Rգ$nByM7S*N9 P#sJ "$Ӝ@5-{" Vlcڑ1i^ K(㈚Bq%'"dBa$D& Ot6Z }:LK;w[dN.`}3z;el$HtoGޡfs5[ЃvE~ *aX ΤX^dj&%4*z~({{ߌEVX PoG3;lu'~]W wHV݂?䥓lepH`$͙86 ,8< G=W {O;`or/T/qM ǍpYڋ̢H:i92Y~,݄.c?s 뤰Q,ڋ%gtY3Moڱ`R?5v?_zؕ3vլT2.v߱V`œη=ňb&p4 HpPv_Tk cvD=KJ.Iۆ+4\Zſ5CSP2r /? j(ߢeƍ5 %k Rx&Fн%hm_;fZ^"[\~_鏓s/n_'7?V-3-ųD2Rag c0ܞf,͖5(Zk>Ui>$)bDQ8svo$'V奾B`GJڊwOߖ#UϬiy iֈhnUAaY!j@y77Q5ObֆҚ3^12B ?Ad&CYc4zx0M'KCFTB{d)PҰOwzR! "Ea' tFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_ExamplesPIDE/messages7zXZִF! q]·Iq n[:|&[zFǔ&nJ nDÿDj$_'8(**D@d >8D2Pr5x*@̨J".)+v/}EfA`YC6"2HfI7%[|c ܢGyw62we{9v[rJ#s~lX ,L4,^[ʤ̥5}M%62U%70j`=fQPu1dpl{IptowrHhB<6KWʝvTP&!!)t=x7wYW<#^"%>;q*D*biket :a~e2#{| +A{EPv}D&ZlWlҤ)s]6Xp2?Ǹp^O*3bhY V>sveyo*/NUHKvXw$ByϘޠ>wˤ~}d!z& BW7l6&da#ʀ-yq>M43Y&wm;ЕQEL[ȇ$Vhw^ek k)GhɔYDlZ# aAxwH3u&L,_QDXޛ !/(q 4]Xæ6I{ ΉWز^ _Ɖ8ZSV+v yTꡩdk"&ɫs=Elok;K!B$ SFGw}wVԦqꁱtǍǟ3´\hgZNY`y=C /T2lJ W-懹4*Qs)ǜgOT""5;xL#t*+FOlYb~'f χ eMvV3{"l6_}TU+ %6F)h]x|lZNBT$D$JGVM~E:l9Mvp |~)(Hjr7𤊷a14*yIv|C )|Sj,QiwsOO:7oߪ9kNE Y]~%`b)ד4; -NX)N{3l !(y>AQHÔWs @0:3 ORiXK-R=7~&$8AY%V$؉~/ =ր+.~́-`q7 bMh%Gk '$(e/|HL1{$-V7R*7;$Ha3Cf#&1l ;btD|=hd{սl5e@ɳI{.h)ɔg}f}t c*H^Tr4^) FjphJj [`$( ٰ5QR:9i9 |e9jBoۖAF^\U)(d ! qp X˴r6m/:6)W2 V 7}Jh~@R~W1/wvћظ:$C{ƚȑ7߼OyÜȎ%'UD̐ÑI(gFdIan`pcWJbܶv@n(NkdPih&W,;G.xWtQSO-b`0h+h4~;Kykd7/ag6EB2g<d.gYZb! qs pHTڄN Q]Z(`Yiv+h=SNp1`;NEai=+&e8mW'Q>RŖjZD0gYZ7zXZִF! ]ŗXiɟ1[pYP,lHwAvTrHlTE\ۼpNp%G\Z[ʠi9eNE87z !bґ],sLP@UrvKߙnÖ4Y.It<4Ai7C7Qܝ<$m^* s1ΦЂ'&Uqb XI^mL3NCU V/}OgPgYZ7zXZִF!  O]ŗXi%TY rB`Y; n2Vϱ@^>ĦhI H'{/3aIBpB'P9{E]@bi41T Z["lc87H`R0It&nDeˑE =Ջx*Ex :´7Ӏ1EK4aL]?7-I16d+U[.׾EtVce`-!dXڧ:Hg> 1*'@uyw"^:!/ d!X[:n#%iew/ Y֥ܢ\wVoJBw鱊w9~! []V ]eR N_\꫄XWliNM 袜Dz+Ny zw?7b|+>w=_ gE1TA $,quE] 9 eiz@bpz޾JoĂ(*4Y~lf2iUxT$%5Ƃ-H.ҽL}7&ˬT[cj)9_Zdaz5zz$ NLV!੮fK]@:wNɧK)_zQA3Vp`+Z6e{uw| A# gv3ӊQq9W&KkFc [ bU:]JlYzVŝB~4 p:. {++֙L] ]\?z1 WQqc~ޛ(h@s.?{ZA^}tY UxnsܢgRcnYj6ɏ\ ֎n1Egc$(N3 5yTv>y oFBLLQh#o"nII1mV@r:;&؎: A6Is}r25NP*.=K( NqҙYuC̵c.o`weu:Fqg ԟP@; ^vq b@/5IS ֕4_c3C Pb?4r i[ *x2z ,<o`xTfp*[A)^x Ėۭ,]+rf3SUى.q^~4'LDA*b0*4NIEWnAԱ:Y\u {;x1!v+Oo-5p5'G9ڜ!l6:akXun"]8 N zpEZA"ca?@YVj?'Ú(='B#? Y5mOם~(Yq֛>kFjo&0o-oUbs:=`б$G_aVdȜ_M"qnUzs_%H2o+OkK& ]_QE?`rl`GTg4!itr#עi.q2qr VB/z&R^`0;">ĤbKl Ö~l89vاIlF{Ŧm.cobqԮ5ʀ Xb|i[2{`7IQvT",$U틤 I#Ϝ7ҥkr"Bb$cZ{{U|j?^+޷P^L۫ӂǛ R+N/`ob'gr-n###"aӝ=&%TJŹgJ4އ"rը)wo0mSW_oѫ-91ۨ6_߆ƐaŰ,&^&*72jf&x6bֶf s?,N!6~_rت2<9{r)A+@N3pA{VvAFI1!]<@\@3L/8.AQw="6bef7F92|ӻ'ɳ>o18&_$ƀ x,9YWo`\.R"|yT$T_Ȁ'P / Kޗc`GWRsD&1CEqD gƫh10Cյ(MXH}#13uF=_If(U-ܞAGHʈ%}l-]#@=Q#UHJp-D'w0Ul7 5x7 c BCȄ,8z.ƏKKފa?c5D ] fU=gYZfe103b16669301deb2f05e918255278591fd80bea8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b 2a3ae5bcf110c0b224d650e7eeeff12ea38a548b 692041f1b59b9a0b71dc480344ce35542929de04 eb37683897fb5fec7bcea7a4d84c589870d0e47c