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 Ev$< ]S Formula_Derivatives-Examples:threads=4elapsed=26.606cpu=81.668gc=14.5327zXZִF! ]ŗXiɟH)0!h^ F]fK=WJ*[Sn"J&͗|.:":YYA&KĒKU\dJQN5jg$9bӺc ΕR/|p2g#rnSQV펉+90-R'Mnᄒ8 h F {101S%"LJ2:9vE$2D[kȭu)Y qU9d &I\)TB Ye)V/%ρ8-@K(Zfz 9ѯ%#+ǹe8;_J$ 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 d k  V2pgGT ) 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 PE3CFormula_Derivatives-ExamplesShow.Show_Instancesdocument/Show_Instances.tex<E/Formula_Derivatives-ExamplesShow.Showdocument/Show.texrEmMFormula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_Examplesdocument/Presburger_Examples.tex|EwWFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Presburger_Examplesdocument/WS1S_Presburger_Examples.texvEqQFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Nameful_Examplesdocument/WS1S_Nameful_Examples.texfEaAFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Examplesdocument/WS1S_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 DEaA DFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Examplesdocument/WS1S_Examples.tex7zXZִF! ]A-MՋhvG"uIBm5˾_K>H)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 IIdEmM lFormula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_Examplesdocument/Presburger_Examples.tex7zXZִF! ]A-MՋhvG"uIBm5L5I <_fULL1Y'.n\sO͖`+CmRڼ-s>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-hR6gYZbEwW 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|:(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ߝCHVtAԕ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%,ԱgYZ } &}\ E3!DFormula_Derivatives-ExamplesShow.Show_InstancesPIDE/files$AFP/Show/Show_Instances.thyI E3-Formula_Derivatives-ExamplesShow.Show_InstancesPIDE/document_id566: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ұgYZE/ 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_ >Cl!v 쬨AAa:5\.nkOFBl,T멇cq)zR}k! "e%-0Dh?8HaiwL'=,VDk%/`p︅0Eug eab«`G:-(y5hJ֣;+RewŒ.(Qx^7B\Rf IҞp=ј3d4 #AKwZ y?tP -트Se5G2ֻg9Gm?X8y%3.}1 yfőA4NѪ;7<x7/1_TGY7Lj!}Gu 5ɁO< \P{yf~>^Nj ҹ4W _RL F&4BUv2}?3z2ucbx7ЎR팰Rk@aܾ187:Ή]F/ `r&` /QNHGձ5S8.w4J"=*꼏mM*ώ^>>˝a2h5sM[A pQ=oO|, ,ʞ6_n7id.x;._W?B.U:*X^Xm )/-Y%EOTr469֡IR'kh3)IU^/Gb:Ưik $fE?ѐAQ۫5"/HUP@~GeV-)# '5u<rS@p'ICT$^#͂օyW8ʑzn3_f>Lt$Ll|AJy2;?iLUG&=9mzͮMX53=.wAԃ)07PI/~ݍ!*B"AN:Gŋќ<1ίJSޠ0ˆ<,թÒdU\mN=uyId 3#*[K@! u`&Mr{[0% 3x@Fre`@Jz޴ng$>BTKn7[ȉض&y~5A0>~ -H!V 5ki'"Aqdxi<02C웗 (񬋌sef.ѰU[_l` 4$䣔Դw,";Z>\QNh,x{P4WvڠvWOB7]/0%]`(|FcW(*p>[)%{8)Ba쿋_U?c=Ҋnfrjʿ 39Y.ğ֗E60L ?c1%(D2GJV>$tV+8+gФ֢VqʏJ!XʵohiGf냐!'ޏTV0q64b1ð *Rr&[i1iC!)IlطpM[` Eve E"DHNj;^0?LMdB=HJx x|`7RU֖HA;VYJ'pZĢMłG2&"&m2ܽV&>[\x·kv)yWE AugJ3ְmgٴy-"rGfډ#н&g0$UyfmӰjp3vvMWc}k`"3NB G)!O*4y.r26D;& E')/AiKҚq8;d:ȩබ_j^0*-lwȴy06Mwc FOڬ2}=U̲uKˬ Φ#O!x܋}xcuaKA#/n3|Bw @ Bg].g`٣_Xϖ΀CMcxņu*N9Bင맥i @SHZj,]ɧDcMs#qWwd`ǜ&rm^dJM>uLg=ܣv_L-"0Qtt&3K }?ABJزی^V+| ϝv ĥ=; $풽)w<^TTg;F|!#U/=#KtM6JxVcF>Ls-*;>^\/"c4\j!fhs[f)=Y$BmזQ"> <α H]7r q@ 2#pʕ}qqOAVkJc[Vt|\FoXHY$ ݮkqp~zmYt3pO.-< %ЙyJ#{NBto=?8(ENStߚXM,UuvxJ7Cz3$9tc6$-r ~(ߎЪY@I.ji7T?YNxk&X1ˆJ(: /L(g&\qW?9QvA/f .#C(i{zC7>}cInCq#/mAL6Z*~@>Ztv !}>Dd]] [$g~j@Zc6-7/ rqZ#l&g6t:| P&~/\ubb~=5k=.=ZI/bs tR|aԡP VLW̕I{x'OpQKE0ӜD;߆ * 3CcR{}6r2Ȫ4c %kgK x!O= *vow? BnuVLħ: | 5H֠|%_s|Hsnw}7I\ZC^2jo[A~)vNDNͯ:>؟oOBy_ltAZd 24V[̍' ?  R1ΒI%.9#naaPVgׇPv.AkC`2l) Od?Gi}gܧ!hPu$O(+>Bۍ{J$ ~+'ˀ8!9 .?OD}uH25oD*9%Ϝٍ?RAąiȣ #Oe\E0Ʊ\UAO,խ~)6|Q{7" Wis ~FVє6J-3 3" %iˋ &^ʅa= 8_3HEt7GJs0xړ,?yXX V#D t| t.JX%hKK^m&Sn/R}y0'g9ۡg PpH\P%}ޘ'Y*9d<7$ 1ຒ&YlVC+RM+X Z9twqr$>Ik0ϸh ߝ(w\hwy)F::^LΡԗ[M^4}ʧZuW%6P4Ʈ-ƷGa\K^<;b_$ C6RIm*1 VerFPOs#qJ`kO=nHx)eQǒP-b*dRR%5lfX &¥^̾')D6CAe٠bNsV}[=ng0bL:,3b6 a݋4&ɧutZ|b1f/T+;*17a+ 'ٖǠ5?Fw.d[/*dו9rV+?sXq|ԫw$ͮ/,E-<:XZـwsJ#izU#v6OjⱵ/M:Bb8U(xst璹TafH pc|{H^5EN1#rlK#婇sJ2~6zgxGMn\׊b?']֦^ X ꒦1m}5a}NTlmd5Q8myNh2K^ å:Hԭ4?<ȝd( ,6PG b GbMC$&lʄ{CG4Nuv:,<9råh"/By+Ց{}y)!s[BLGݑC3%XeG1:W 5q f?O%C{ r~ V)FUP y^kðGn:8C`ܺ9 װ Ǡ CO!\^k}gczٞLDG7fU{U b1[Nq1vDŽX2;2AMzT-::_^ ͔>P\=E% !IHDgF< d:q$Ly69Y!!—?JVkA@~|80#La \O^2"%e-$LߋQJX݋F/ ! 'EFbF^I`ƽJuGP8N]%rma4P8ڊ V^ :ʦH.R8:)Mz V>B5 SlZ#'h;CFV2h&!^đm_aY06mQM, ڌHlg߇>pj߰D"bpS_T*e%V*'\iWP,!J`RŅd(j-%W$Q!,x^Buĥꫜv#~lC;RꜚDZVvN](+w{)/U)=ٚSSEMh:𭯒3DŽ#Yҕczc OVcG cr! yNC%gpWv,niJf~qħU&Bm(nKxl2h3DՅ֜ڱgYZ  kpAEi# TFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_ExamplesPIDE/markup7zXZִF! ㊮$]9H}4l w`eߵPzEcyP5^IKUJlRblB6x2 5h. %,ʠ7,U@[1h݇<^?QRٔ%?JBif:1,NΌ\^E50J["jZrT8=ޜ>'&:O^|Y5δЮIN]/Q0%">oqt_e1V=+iI6?%Z7΂VHI]ʬⅰMK;mRh90I ψx~<9bbtI[84%L:h tq1=^iIPݣVWHA^_:q-Q]eώLL@a?XPJz&la"PMDzĠ2/^}ёkOTs! c5˺~cÏ؁ɞ^MUnRF­ZڈDwa3Z;^0'=`J d¶ۏ85P ȼ$7H)SԡjT[<&䏨\t|uy}dim!*xmhhe۠2!yeu6~6K$9G%m]5)Q^fcYQԲ=X*CDJ-ՐIl`KEi!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\1e-pa<21Pj ZZ 9;eM7&xlb(+F@vH8#17+#>l,mހgjo6y1xi[PP|%Ҧx ^ S͗RO9)MX@^D6GNgd]7$uTXG8)2S!BwztYэtȅZ;'4SaM kuu62MݓMsދSn>7k?ֆG/RLܶd;mp9'.:4}I^d. 0alja<.x .ows>mz!i\-`4;ߠjB/duuAؾMl4k8E$1M3ɹ=GKb(%ja㓙eQ"ة@|nkRO+F';h1z& ؈;WY9k?!9F:Ȍbn,?ёqY8t& i2bӇ#fi#Y+,pFvj݋v;וr>r},m+D ¨M|Z}'fP*ޝGXFqvq٘Dқ_ذ귅UNYѽcWQ'П(eƋĄhiiАlkxxGuʐ>iq*y) Ǡ+-eKQ|>m_ Dr$zni-ma{$JsHEL].qWغl :G~E Wǒ+)nMM2K3NdkAjipf#}x[$QWH3ة. t||@yd_BKŌóa=iBRԊXC9 jV>Bz* ڲp7nШK|xM+O8.E*Ku51T +x&I2X Ja TX$::l R怏9HRj\뢼[Uus xmZt qIl.mlٴ6'y_ZcLV#{30Fphy2ފ>j㭇jF0bpEhbڨ &vr:Z_^+ A;\k)0 _J-0LÃ葄yҷuzdL}NmU_EO+ 01V?Dgq56W | ;tl^Kp vNIpZ d+Utzb` dr7/{!6&nMV%CH  >7'!nn ,-Νz u3X_yzXF'@'4k?5[òd'ƀJOFj<_?]-kS–#KyC7:JʹjV WhxfZ  8!}QME$AbPIuAoKFb%Meݎ39E9 Ɍ>,o% 14qC*&]}r5<ﺂ&Yy<Kuٸ'd5-&À:OLFJT8}G[n=I:6UNǍ%n1F<5>^"⫑; ](OdXu wGt}k.o$<%Ff~<J }5YlkB kr4bOT|alG,R\~Pm5YG@m]0M{ 4:\E-G]pYV-ʩ^䢦>,H꣡&eܑZ %VU"MȐ\E#!P{\(@hr(|"IɜtAo>M]ۛBXDyرf-01{Lvtqu>'vWZF&c/9eR:mpl WqTb0b5sƶ.\;Kb _ge[c7$UNŋv#hwпo'P2ЈN>fotƜf$UM@>Q9Y?g#\Irqsa!B&M\"c=x@(+-bkBZTUH0bޮW0kWHa';=1f4pZi0 %ssw|@M@ӤuV8vuB'I'+ͷ ˵En,U 뛑 $nݓwT%P* ^r; K?Itc_\O(~6M=FyZ `gm& Z(")IPi}NpŞ+{8L>0PSfslN_Vp])/n<'~*j^-js 0aHwO)66W./uIM{PLd۾KocXjN趻ۉ+Z.PoԭƟ-ϠlElXTc=jr6ֻ4&6`Aءba]EwQ@xjZm3z omgl/f{P&Mr!R"X`{ p=hg=md 1elŁ46Y :]8+:GHGiy׍]3R,h|P? 1:nK]g=V+.f*d5o55B Muf#C  c.ٟ5B)@ .qlUnjjM|w)òZSuYg3/t?6A.r<IVɉ3++SbBpoz5x.+nȟ 57!)r&V&?Q9جtb%#y`i{ e& NogYZ e * feEm!~Formula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_ExamplesPIDE/files$AFP/Formula_Derivatives/Examples/Presburger_Examples.thyfEm-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_ExamplesPIDE/document_id5560Ew# $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(Ő.`Όtʃ?i,p0O -q!:H65kiT cH-/ ]_$`D!FKA+sv_0JET` %75g;$C BIo\AUoA\[ Xv٤-*/M"ax݂dnewYJa|8IzU Ɯ*FScM*n ɑ#g7Q>\YGA7ne)TʔkB>ݮǃ|Vncnj0!%QU|'&$$լs\fjض  }?yFb`iZ˧}u34=E# ȧ?*~Ҕe\U%`1BHt7`~ԉ"ǓGM?)6`LJ?]yp31{Wڛ>&4н v}P!0me@?.f鋟n<,~e]2MM$_颚$&fWVW֢u۾QQM?ܵ5EݽN8!׀G~Ǿ &ƀm^A}۶.Ulcx39O< %|oZyΣ0]{T=]Hi gr5X۬Kh\Kz>#4p!JAɘ`+et~w2F j#tVzŬ -Z"UT-MT4Ձ-.kցڴ oX>PTjK4h8y^j~~VBsQ{6?_ ]{ L2TOL ބ1D:Ty,$"0~(nfcV V@X^dʹȭ.T[Vf_mf2z"X oú;8C?Gzra['&TDݧfp)Ĥ#]ā-⩂P2[t`ى)ހklP~J7qs'C.F<{-m&:*5)fMc,Hޚq$GPAjRdYk($dT*H̺S곤 ȓÌ~/a4 ,G海]f,3/`Op> ԰$eX=eL4H]+o%M`]8g=(,xiwu #W8''o E=gL‰$MmXe(7'w xh~Cotf#?nтlAgGiWOsr ֦p0gYZ!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[:|&[zEU=)uRy݋ET !~e>Ȝ63v#4: +J(؅DH$ԜEFn˃H37{SʰPO9{1e)":`/+̮͛s幂5z#:)|?T7WImZ+{ cNRRU)Y`ۓ`dc??W J/op)\!.%W27 b_BO{m@K9,|tSB^i)SwEB X2{뙠j@N?Ɗ tc X&cp 6Mr8r8DV.(;ؠRĔ|j7mR^;VE^2d01t[PkNI)%,=]y*)3蜵4gwɴe;8t_By !kr?YlC2za[gk3h#}]1y_-P礴`R&{O R4h"oqnbq4+YJGByd?xj 2+))+?܁% m 7u+[Pam7p|_{y=>_Bm A`ki'z8*wS7rZUyykZe4*;X52-n'#Ȟv<$OQW]5@0+N*Eq!Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Nameful_ExamplesPIDE/files$AFP/Formula_Derivatives/Examples/WS1S_Nameful_Examples.thyhEq-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Nameful_ExamplesPIDE/document_id568/Em# ,Formula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_ExamplesPIDE/markup7zXZִF!  ]sP 'm4t%M8盛x|>}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.],#}eelKe WәuC6XL&N͇9?{]( Ֆ-(é@aUeM"M$r@y<ױ/Q3\6VYHhz9AdPz-3QI.=$+aE|\R' Tz, ߰}`)bMfb2[Ozj I?ٺ0(QDnm0y}txZ$</6פּS܂XZ6w>wxhg] .j?ȁmʪa1>+}3=@6}aCv8E ȧ!cZ\4:gV bLݘs¬ UXbb#WQ j6+2™h{8+bMg7*[ufChyQ٠m_)B2SW#_5eЕ"Dap!vm:yF.~9' G0yw4ȶ,2hB>zO%ǜCQ4 Vҝ 0 T+ CcsgYZ_l^lCNE/Z.X1UAJҊ4NgN(y*rh?\((r$#X| ;CRhk5]j V|$w'pEP׽A ;AkEMeRFI*dd*PޒHirzU:$&XڿO|3/jIV j@G ۆS(0k]\;ߓϴ^opS^$:T sH7D;AYL^#lq rNnRVq)=Nlpd6~n>lle}oa VtT;NGZOjW*ʼj3s~s v=|nl`. -N.հBy _t(~y[I;3DK-d+^k ݃^6Cc,sY`m hAk*7{ckD:mPb,P"6\ EKN(` @aӊ^1 979ɵ4Xydq rc[ od mc/ MºCm=%A A .wm:KK\ૄLG?T)c\hWjs7n!C0Jc^0/erUu/ s-Zj`͡5W=0*MMLqY HG{6K(F >3A{SS@ౖr@/BK{+-ôH# G5,N]wRc&Oo꒝yt\Ny5Lv R~Y O. :l!=Nh%r=[djMIF^~]yl6ʭ]^@ZobFMeP.AC;q ;>L+pS.3 a{ އ&U` / \,˧A>^|']1.0L~`D٘[qݸ N|^ipy[-dCdQ?96׍[I=vL^,.rx, b=0kj۽^>*~< ų01S`F8W 7 T*ύ2 |C$Myןq*o 4^}[߶a3/أ }!_wt5o,)E7 ޵"QOvUk4 TȫbGFv&MB}%ÇՇ|c=fM6候DJ8Y펊o!)m_nHW0!0ME)N\m~E#j 0aTlur[\C̺^4jAڣE M\A DU'gJJȥ`kԆsś>or93lOCi(oKqGtyn ^Z3Wz{GB[]t|.07#ƅiQ\8H7`T1k(G{$+̩oF/n q1\|tߛVw.)}]J8aZV,w/jb$`#6tbdw#^vR#;]/`5_|ЎTc N)ݹaU.Eh145z i.\#ybzhmt 7sSD>.NiMcL.N;WCdTAm\q*NJ3G-*d;X}=VD]ݖ>΀6ĉtYC9% i8^ pD&z#9gF ر䣪FEqc3^WY3)HNDtᡎUG,\@DT" gAZk>3 Y(>׸foZ0V(UGʖ_{aevhMҭdDn"Nz֮8!3\g"4]Ӣ(Ԛ2Eph0E]I&&A7ZuhF 2V[YDO9)SZMbE@d*~bm ,C25bW)2&!@md3 0j>i+3t$\ E7Eψh e8+͏d5){T:Y:g/0 9Y-\S:}ׯvXd$ XT*ّ,E ._%i$xVj)(LMn/".SȝOCfHD;ϝz&krWl|y=P*NB%xmA@kY{yP*•*zқ9dEa2R(PKLΛ>C%L2T`հ!AeќПGT΍"aAOMgaϲz*$ԃUN FP13~6hχAO nj>7Ӽ\>;;J]Txķkx[$πu_R i?AG1[5Myl r ' !˪TrPVc& ﯬk{ ԍu,.P۔=B̷r<*fndY$e͟46ܠm"#x$p:#{ۢP)(.ϲ?2G- y'Cz֟+'rz?~dó1<.\;H.W:QB'puVV DUHDH5gK$qQy\}_xe\w<So6u|47ԋfBZ}wiO)RD*>df ܷe%j8m bdHɌ1&O1Gj#}xHy&Pxa4@Sv_T^q*i\4J"f`jGDT/졿*_DGNfMp5(B0 |;5ao9C5~w z/ P{:jj9%r_XV]נF=@so㼱k3SAcg Y{A O_HZK(\pj=ͻl8DzzZjB0L۱yJIPԺϐe.aL5Aۍvi+*oxo[&w[58j YDѪJf:H:l+q`4 aRfc?,kAאe}xP\3DR͛vJ>q2_F'fio}Z=lz7=@w_iCCK;"Lzf#H6CǸʩeu%ŏbJә6)Ry{F‰j eOMc}S9ak7 @2Xi "-x R s칗80UzD75k -`p*}.ET4{e #1& rwgԙۓR{oJp'a;ԔGV6, zì5 (9A8@``q%!_leC8|^}lBIBc|X0YEDSG!ą-{͹ߍ=RZ޷sk DEh?_:EPpt4' {6uXwJ,_m$geyKN5:tGZ:r%ͬ| ũP 9}XCh\s;S?t=ld`j}#Q}]@u[7r.Pd5j`p*VSmk+F093,P. [:vTEX,$'# ou˲ЩSB6R>4)?flwEzm IR~";Ƀx`\Dp+J3S/cbY]l+~rcZ)Ys8#AۚϻtTPvsk`_"&R]۽`\J̻tH>y휐C QJlՕP9 uK4-8c_Qo* q\y"ϲy#/jBP˙SQS9c9gsvSy#GjRf5>:DG.&-Aʩ8R7 !kwcQʞZ8 h|ehfgfGP Yq41rhIR Gx6FK*+sbيm^5 +˓aU4͞y_^Ul xrBaCd7 0ol]q{ͺ 3ұb ] 짨4,c͘X}e,Uܾ?vTL*#SutXܴ;Rénix>8( ੡u)i%pzsatY=11"|?6lM_ 2\jX{QU嘔{ޞ?gmWp#pjFq{#I"m|'܈kanP|.:&w!`Wfj@>VrDr|Ngљ{=ldnP@R$8>`%s5[y`oރ"*.O'KV_k燔Ad'IӮy̟=f~&˔"* Ȱg[\u,Zb &!?8taIYR32Rێj5PmQ'.-0F*[8Tzv95|ؤH[[qL(B;aEd'V-A -G+&P\ԛL-<~,عw1zX:.89kОۤ}ިfn)cD!qxFuߢy-L\B d.4)s҈2iz"j;62S1^ibbh; 'y2~Q*񁌒8=c h<@|DH|#=ⵒ1j5jt) 2yadur:=q8#ځ:8fd65#gIHHPJLu"2M&yf;zr.xi`OOקx?ڂZ 9/ف‘_?¤e!7.m<<^U(IB~=cD O_K*~W"gS ²M; Wy_^'&WGA'bI>FzHx`v[ UEj~Ff{^rn˓iJg|QToyPG 141@y12%cTE7x|ҧEěW"Eu@Vt,>C TԖz}EeGyZ"v~J{{*2'O:H)t+Wf>O+r&iMZvMb7{(tSeӑkbY$m̔O!%^ggqڰ)1S IL~Y2hB BZc;Hh_ qj\xdBڄr3 N@E`2[W=Ѫe"*!j#ŋsB[F1&b/4x ݸ\H7z[0DzmBRt ^\d:ҥ}i+R0?m Nke8Sv R 7F+oLɐKix0^DY]0&ݯ>]RMED~۬яS:nD83l38i{a%qt~O:ǫG~l[3|3i0&=CEb^g dLKC6iLn@9;rd 7oK؍]魣=#&֝Kr vS \Ic\NQJg^ePŌg~lsTl,ل4#*1OqXcƸr3G4_r] E$ Kݙ0!('409XK8I6@N_ht{\ǿ40! /BB?wQUr5B6%{#u=p EW'ߘiK>_T-&* h'+l) ~u'cD SAlwE.~mcCo\8R;%|.a0myNzF9#n]7ٔD1ׂܑrg;вt)" @ O tQXq˦fr8wnaiũ6Yз`4sR0'%#^0,ƿ)?kȉJs\[BI<JJ pH4٤ph^ prG9b vk}G_X->bYhf G]*_&tcNQ}~TqUAM 967Y4̶@xF%La㮇 m* EV (XYk9@!&%Q2:\?)yMF}k{2v>"$/FV{X{&bMhm+҈=BZ2{y}y%d2:TW-MGы ߬2Lr`)-Z&m3(ӣ|F^icYԭegxOyڠ1꧗px7'WNM9M`5K_To-5gg_Vv(QW'JQ˰VN)TCNϻT-RJLmpS[54deQ2q[ڞh e8#gٳ'JGO湺b,A?"+;8Onq26Ż?2.ZCjcqU+FwcU4]W:h~YIj+J"mee/Hl:ƐK8x)rMmo'9wH*kp}/UclJIwZ O>_kk,2G-#4w V!C,6#7"Q N18Tb 2;ְmbtׯ1 rw}Ys>ɪKN/'T/ ?N)ei7|(k9jb6b|:OD"∤ujuyFRwsj$Hx !qd0$9{fC 䤀 ҆K³,%=Zzh7ꗣ}.La:ftbēI39d>$3&]=4үl`^G@P >rWtёaXe'vs *~p1<y`֞^I &mqmy+ m|k-Ȁz6A[}^Zn%,-S5 H/kݡ[}8$uq]#)(*#zD˹Ƌ%GcTX‡2(emocI(VƮfdSTF~ !}O:2Dlv|N=w26V/#c/\OlG.ӕ"p'V]agi &] {:rC,#症>cQKc6g r*<!CnesFhH s@ȇ"Wj DT%rJL2o}cd'lqprѽTuyוGpQ%=>#=sc}sKsl΂K˚ΕmJ)7ɬK47~xm0ó-F_l>PwDdqoP(2l<^#k/J Ms"#cBUcviGwRTaj@g?wL )ؾ/\9#r3/irGXK?]f@}{a0aa٢ékHr~)EiSݜ\`P,wA8}2_q {,m$k|]m_)݋k"6ScD:TNEzX"ZtH ~j5~9g/o ]Dv(CE>t|#хFTm QXyf `=%W7|$OR))Ek쓄 l>O7¤N@o8E?ɆCɯJd2_Va#69Ilz/y v^`ʐy # ]oGhP/(Au :OTnȧLnMzIWq5+bb:8}Ҏ6'C*iPwc-3!h@0/-F9 ō`Achp `%|]^GTn*}Nӈc\433Zl_ 5h~UɻZ(5 |@,l4:^}W$$?)Jېy&lWn_ƙ øR>*Oq׬[^3.p w6gDnRyu<=^<=2Z;D7Lv$pU`iʊm}]X^(f5'9>xYrݩGZZ 䥓*Ų=Qe~WN}tY:$CZ$-du,تQ_ R(ů;/ drɛ9VNRH7 ױ$H!ʍ$wxʾ=Nj5RYpF-^`p2Kg*B_ Fפq:h^\GcO#|6?ܵϬkns*lLyöI$&e!MPP~Dgۑ߃Es-Ugb&r+>? za< l6vJHɵBtpP 8>A@hȓ2-W!6ǷK@ջFEW~Zz}]g! pfo5 @:WX_# bڒŐt?BVYIBmy@ҕa#^hۺ.)RD׏DZW2 J-aĄd"'!Nz%ߕ~ =:zOә}6MB^&$d7ٻƤ:b49e㼐qn2O6DZHagSP -X8f_շ.H k ( ޼h|&-Mu<׮70!=?̆^o*NsWP&[ؓp+>͌c, 3)*!e:홪ZgV.z9n4 82C// z4;mC& j$Q|ѫ6̈~4\0,iav- 8-Sj+b!bn=|$&`zQ."(ʆ26QTvQ?#姖ua72bW >Y$7@ƙ+ʎ sf\BQd>ZHZ8}ܲkI6a/Wq4u[:~c/Yq!Q:D[ ʂ|^E VWȇ1b2vq* sl ܲ|j"X:,FBQc xohc πݶ#Vϊ€JJJe%9`NcG^4G~X޻ћfyMX|?k2T+'8<+ KUMbM-|D۪=4Zpʫp0 e/[x * 19#O gfsV=Gg_sacqN.!Kad' b` Gf "KHMApE@OU83m]?1SfM>X6JAkH?ʲ_Q1s' peFudPtG2ebh/VhH=)-7U{yT_GJ$*t#e;w͍ _ߌLTV5e4m2zLH|uJ61GPVtݞSчBWSIo amr\JL%F7闺iLF諌8wtB3irPɖF|q,cvRQVyiձ@C D {l6amie .5J\Ą K\KOag='3dB~Z>Ybi_p ]gě5e"_qN߻:( 3sm pƷXQL&J?.ue-;bvX'tԝ(fv+]+;ˊ@'G?p&=eNd}eۢb(n5rUޒ(!J&"┫b`LrYݼt⳼˽ڈ@I8X(ӏnx?K<),T4i>C{V ^e~ Ko QM '&,9|a@ܖ' è4uB`8EaOQ4 D[N]M]iw^4ªx2+3$gwa2HὓM62ϺlͭXJ2 `zaY'A!] XD?>I&T5-_  ז'j,JbFX34(0! Dښ\qwE%JvD);UBo:"Ũ$44@^uUm5OwB2dmG:!74,C׋Z_IwqlI阥Kil10TLX7r3\Df)ٖne%_1o[ԃrr<#\ctЮܜYX1b|+y"瞍/hSF)p W v+͑(ϔ-]{x.HOZ/a< \@#z>bU+Oh5{]䨴sgHfk ۙ~xg$ { da<0;[ N|#t+T 9wcU"ŇS;:e`HeRN}C Ab*\"!srKK1h֩gzB.&D2q@mk{^->r=m'1E巴jGW &1AaH(SbCMs礲07u;vRצ#SC7- A˂ޯXT6_KS9 wIx˰il(>>ζ "X6̮exNB?t.X|a]"W|Aڿ% ӂ 4ѩNMlt+˰wU>/;cm%g[t}fn!]Z-f\Y?&> GAΔ#~A$ٓG+31S *#F#u+cT)Om.ѿ_>e-h?W3)3Auz<WYXX(LSNAE,e~6Ϯ#獙YxM:;hqla9xK47m"A)LDRt B J\#ҡ;dwɺy}(S9{jP{ k螨񑀶n-j(Κw+W^qiW(y0Cf!?8nj# GW#\S 71[_Q *Z#gGry ,SYnp&6ªh "BSs :,) H[O1D&b7@JI5""nEWrٙ.!\1Pus,*(j5yd޶LYp+G+EvotU&! i|=H8E֭ȺthOk7W@WA&5v&]F'^3LEZ͢>Tr}%}'U%&%$sѵ17*ΕJvkgxauked B^'Do+=L'lT 6l.s}ɢ݌ӈ,Y͊N٨i-ˣw:EaLYU[S˹]НkdG>Z JҊ7,ml4Ggrgb&Hc8kwG0FGAp Y]b; #E`$Y(ր!99e%9tZ 6Fur;Fk/4oKA9QI/{|1v4b&蒞&7n k~qqq;*8%{75xH h(=S>!"`D Yр7v<^a8ZZJDe>M5~`_d <Y9`||uc1NVD,du?Np!x4m}GJ/<~X~|J#\!sI$PCuqy@O.Nn%0(ăp&(?.<+N训 0 xVޠCrC?ՠ->^@{ym{4-­^טO+ 0UShjn[9TBi ,{i% ˸'+$jg-LlP7}0AۖѾf =?-M.i &6V~JhiV {3JInf]0+G,r gپi5{٦¸Kd3|ܕizǂi,r׈M͆G:iNCGMi m1 ȆM/ٮB:L Yb &A7FU/X+ q\]#ǭAX0÷Oa1Pщj!`v6Hf/)k>q՚[,AK\$ /h7j}i~EMV+M&-߉qebScnţ ɩ\ؾ/O$SuB04Q휔K྿a:}l:p^vdξ]qނ};FwK?)67k$AW IT.=&Q6׽^^Pޱ|pjUAuZ~ϏL^pxNRG]D ܪ#X/"ֵӻ_+~($DJ\2d}kHKX`Ӿ4 /LLLNeķw\n|C7|=7Ψ.}@+2A<_3zqI[J)V=c z ZT:yM}:gAqq%lXNt_l@뜻Jz y¾-X)@tN:/+"N{`Gt *.v*&N^hwkU6<- ]F-~q]ҒJa10ڋW5;N\~4] s?R؆d|fDgb}!0"LBLt=+k$v0;Z sL Lo9x, -aҫ.iQ>6@j0_?_ ­)q^ =* eJgbz PBt;2 xf1#`0Pga{ 9ϸhܭ{..őz.xyu$\Si¾g֟YZǩQ՞=SJ:ry0ű""%duUG,!·x FJ;DbPg[@*z`@kχV"n;=PYxx%ӽDdxyQ̓EG ?@?T=#b*$:ljLdZ]?(:1y s#K7cE%=$'$aAC =X)CloLs*{xz2r-Hj ;9{]l/3 qxӸt-qwDՆdNmIl kB 㚟:c!G0FYTZIFK&Pm4$OnK,}З$:[:ិ&oTܨ\3d);OZL&=(A7;SVaG>ܮuLs=$VQ pwlۛh"crVFd{1/jj+vMw|gp6 1p(og(LA`="co3S m Fj1Q֢4 9,=[yض>eNxq__M6ψC+}:w 'i[>UFxjHF3]\:H$iJ3A STV\*!WL!VT*Guu`7-w=Tz Wرk;C?J`*A[%KXPk`|bfOdѼzxCi*J)Ci:26A&$9+U񞅸ZϺhm@V1aG+u9BM|ޢ"(@Ve7)w)VzKj0)x 9F x ]|\{X Ⱥ0 O?O*nTg岢5ҟlvk|C(8y+[±y&FP)2 i>wl%/ =S#II1G ?+9ϓ jQv4tkƄ%wN+V 'V!KЏ>&,[~qHmUMn Q Drdr 6ЈTi>u0>\N9)s-ZX@ %<$_h;g zv[7}gZٳcչ< esC(~nԩh,Hjm?h=C }_nЊXp+;8,zio>}lʒ8*k5B2[En- M=]e:1{G t.z% Q`NH=h/!" ksѲŚgb_ccTӫXHu7S)S FH27HU4wyVEJgcbTWP'ctZگ3еJ8TÉ6$vH->XfBUmduYg[mBj6;֭Q5 `q(wٳ.+abS Y(Fq ח0>=Oc<*g_ aAVB8{VO5GQzݵe"w7ַL:2zp#Lk{ ${1/WwR93B4h^dp\voɧ:ft,Azm9ea'nAlt (-~p)9,z:H!4IV1rTX(l56oWf P!q; "x1ylۭ5@=%h2*Z7j16ըbR^--&u+΋%$6o)YOK9z Gsy-\y`c .]-2Oҵwf蒚Ŏ\HHqPZo|XXnX)MF+Al jcX[[y\ʃ!WX;^ Dilj;ʜt;^y"{]%pUN'YoGIQSjW^;7Wmp((Ga{ 5p(!xѫg>2V.8O}Fwu8;Җ7m]hnsgON="BعF bR-R~VpAE9لp7OFHyrtKf~{t3<GlOm'N{_'*PUL+4jtv:6ņ3$<ٝNWC0˲n8Lt ҏ\Tcȉ@Nj>iRw0w#,O?rߠj` ؟6μq5 +l?|8Eda5FrijPv <^(KXj&CwsռIE4J;YD`2qM`<ꢏVi?h*#AU97M"H{$xFÚsR2#kq~Yf0a@.k:,>ƄNfWʯjsP:,i*UXugg?7MPzThMnnP:Ē$".hrn6WZN-8dI5qcⲋ&?2UC ךX>H<ɘ 7ɥu:He6Rj>ed1BSBF:m)Yք=.5. Ggx$ ץgDKtd  T#No7b^p5֪hj(l9F߸7] ;_s?r鳉Ƶe <'0WSD*Mt&B{:bw+b*6 +aFȫ!CO}l珁CRT=r|]"0P=GMzSFFp,H![(zM|/V )p -[TCAAr. :S\t4hqC])rؿ^0Wț!B0Ž,^lh`5 Ҷ?Qwˣ֥^ yJ"T*̛9̖:iKe>R] t_L2P wBv؆yn6rМn"TX WKY L:5q*Cg]JYsԑ$xAh$ 瞸)\uK9(ф/I"ď"*})E#TF {-e}׎&'ErBd XSXny$!F'sPwP[hI@8,MO|r`Dӹ:s}sۓα\lCEVb{f=IVZ{" 6RFpf3UY ub[[i1|f7|:M 9ANWl#Ɩp;>3[EaÉ0klؗ >c=7C` r?hc?~?:pkqHf"@3`O@np>XkTGo R:!,JTtԗzb霥B?oJݡl#S^69RfZ8 p_)EYXbY?A $%8)Wq>eyީ*i.UWo)oʙD#l"V [XB5qOUt^vV3wnٕ}TMgaآN"˰b,odx =HǭA?mh~}EfW~omDtf~ nv퓓-#+va#8AQL 936Jگp(8J)Z֎PFNk55yz|+ && !'Ij3n)ASD?W P` u4Fs?8'&Lg,6+:y*|*Ib&BՏQqem6A+P߮{#k cg,X4[m*T@?2 UFN1m.v QF5ʖr}A!\M~Fvjj7dT"\d-o Fffc_z5ueGx:PP {RrpP")/B ^J;T֠daccg!s3*j}nm >݅3{%uH$<䨳T˶LDb]+>ebQnɰHk,`SYDYou)uGE[3D19 BPO [w-y,Pqg"!wT8f5]ޡoX-5}W,A|}Ė͂#(wJu?gP8gF!NJ2win/P=tܟnvH$wtR1Tvcb^nq&&mFZ5,krT-(oE(s(7HzbBJp nJ^*t-]Y W䦙=KJq* B ],1ֶtŗ׼NV^ΰ>Ȅ܉ZпHF b2^3DR8@@d] Pd@*lG [3&q,?sF{5 x.i>N 7.hLyy ʛKocRCD>[ %en !m丝Pԓ MA>UORR&|ͰPΘ'sѦv`AteBTkn+$2Fsl>u`T''=EcagOoxYԸ5IRXi (CQe|Cm/f_ao.z$KU`SꗟN.V6.H/cn<(ӺC@Ss[n63/GT ʜpggџ@b@7Xg*@.多_ŧ,{/vwfE13}F922 s;400 8d1ZX&':O2R ]lZ3!PNu/X *B_Aof !Dž4xr76;|Bjt+Ա@R:d*39#)WܬnE9uvO 0<vk+ E[Q/dwcѩ F)z+]my\ROdW<5 4RF0(n2 !Kju ?0=99 ]nyI9rܿC!ž!ڻ1E)!TL2GVkfB#1K;=Mck Lj%%UfO`0̅>."y4QGfaG`UqL^ڬ_`d[t6 SЖeOm}Dx0{1|N$a aST543begag %]Dd i;=h~88B]CFw!|" x]ͦgcJD't?WK/=^f|ߢ*+x2ͣ}r;CÂMӺr"f&w"#43e˷R>5L/bA`VxLIuS5&tWxگ e? &OC",AC+H腕Lt'Edy@OMQk&1E&1 =w?pJ̙ p 4!@рfI?T왫WܛBlJ{iϗъpm jm3K3ǀ[3#Fy?}6~fO,dWsחV P:7~oY`T ˉqz]zXAw F߰u.A1 aѴmsW8W6{/P!v6Ӷ8!}u/ wѼQcjYc6ؿηhj:*7ë5$B7߇ NBqAz'Hڑ+יl٬Ryx266_ u Xkl%۫[S2.SAAFi1SUGy$In3'DO5<+^+~+;nPPՅiunD.imm+kĘ5!.JZeQdzRf-[JPm$߭ω(wlGTQ PƂnElw5'}9 /Tej'>"P2I:! >(t`\{OcN1\Kz}ҀZ&..,m)>@H a'S8Z؛uGnE]q>.WDx~j{36"s&O28pulPO@|ժ:(Uڌog7Za~ 5~r2uIkҞMTJ~z3?]ke 4o Ӈ(~+cN(:!)-!pZڭO/M3YU8ŭ,u6,D!6KFxܥ\_TS\kmXWCvdɯQgշX k+eKVeV=ҿ9# ZF,G%hU9O]JΌ{G*ډ:qg 4⪮FbGF®]#e>9e$G?}ϳ6Do%,{ˬȉk pża#ǼX+F0j~z0AdO("㴐o?ef(\=?2 /;77P:ظ2B6% yO(*n[XCaJWVvɣ?Th^}N,?@tGkA& zfƍ%Ii6X :,je}ra^6:Ћ5⌒9i/#U{2ut'z] S-z5>ͪYdJpu(ISD;;O[iI:-wM@%x NÈ"F!*"2Z,;Cv,:Kp*+fq]Ibfp[= s#G_^$UTNtPDkvud„)CzL /x-j2,Q6C :^61pgYZ > V -> Ea!rFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_ExamplesPIDE/files$AFP/Formula_Derivatives/Examples/WS1S_Examples.thy`Ea-Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_ExamplesPIDE/document_id560E' $Formula_Derivatives-ExamplesShow.ShowPIDE/messages7zXZִF! b ]D?7 {?:fH\1ڲ);*KP b'@c[|%@;HM(YNUQ>Xܠध0Cy6ƥ癑19sYurijbg,8Mdv.7+ҟ| 2h C5┃`5%_=+ /%amynXfѹr¡7&ȱf~V9ӈ^>傚;smH\xEØkҀF0vr e/xPxDB:;!eÈRb؊!V.T453x/`g)NOۿ.qYt|p¢&װxmNxJj9IMa.AbXذOvB -Zz2]XBdB,֎~֌ͮIWX e.(XUf% ]" *bGT-]ᘏ٪uw4M~u_*)h#r"ACz#@:?(yŠ>Zs5+58HN#ҽaEnHuo"P,tTGYZ&k]qim|oT_Rx=SK>Kϙ%x0[hxUVF.5{:maJ%w7rWׇܼclɌ:F3)vqiZnz:d 4ѠpHkjmA2iHޏ+L*yְ^1"3 ]22D'ƥa]b)RCל=XQyÊ胬CyD3J0=nDg""͋>{JS+>~LAQ)r,ԣNC4^pû( {%[);$pFL :-i@x1 ,֏\թl [ĩj/J)c8T%`ٗkE.^ N\/"FI R 1B/ ^B]DvxX ,h/dt kϯ1P[793V^Bu;÷ņJYP4 hQȢj}\̌Ƃa I%J^;Y EPjy5"Bs`NM c"xl VS{3 zIvA]Ae Kb<4ɸXPp:v ;zԆ(VjöR^0ϫ'RYeۿ $͐hz~f $yL4P(7$īPL=ڋ0$B] -ԯSU5N;-(,kX_q2B297 OcH~ ɓN3Ht:cĮb{Z`ʼn97H/|w=f.ؔ-qR= zANU&ͱgYZ  E# 4Formula_Derivatives-ExamplesShow.ShowPIDE/markup7zXZִF! 꺥2] !M젗OFДc֗npգxe΢ԼsZܚ|d&ܣxLdui_p8":P+V\Q_ly+L%3ڨsW:!J}NB{޷zocmR>/duuAؾMl4k8E$1M3ɹ=G4lzEΒ ;'9ltU&(;#XD8^ `˼4 MNή ֨~0Rs[b|+`-,wW,5Dm_~wFKS/6BPϩ9#/q/ʐV2ֲִ ݞ*@.G<wTVn`zsfȒLlN2igĎ_1FXll COD̾CpAlQ𔩈Tc46N+5G)@2Fk( r]G2h%|)P ~m2myI՜"vzweۙ^~ __ ` 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:*d) Y1bCE WITI<9>%uDlwTZM+m)0D6 J|(ON[Di o'=2;z"שԥѺ0k]nK0$ӟ_d7*Js1+w6vv[Ѫ]VH6 kKaGF)_h" xjv'iOݪvH$t3^3:VcZF|lOPݧmٞ߰\?}]VAdjMLFJAAꤐU%cpT@m}*ױ$gN#9|zbK#|W^2owRފe3LoO#z/T&`8,-b=l"lff& H-qnoJ!F&3au ^a"7Zggy覙."*S3rNC4T.B3~Ձ]ҌU,1J][jt;]mp1e0/y+SɃ"K~,x#V2C Zfy9tOڜN8# ;% (|.l:UY-AB17wCYW_}7m|ӰLuc/ ٥v3 V0L6*ba;h:+Gxe rxzA@".jGXF@{[Ql\A=d<I"[t}νf.]@5|*Oz|P4B{b70fIscD;Y3MaVW.Ua0#TAlG9LbX􃬄,iG(7|f߭WxrqD\پzGF+._b, 骠9w*;V^֘ !R%!`\+F6y:`kIE)E=M(YBUc/#6QR;%V_iD@:awlOtَl&Y3AhTa%0 uFc[ʼnKUk:2^ H9~S vUq׷YS$s2ӟq+=xsTVj@WKqSjz "- @kQ:>kЭ#,bZ3ӳ^`%yf$ oSYiW|NM1 ܀*8s!O7:deؘHс_|0ݧE)S48oU՟֫9]}$T,V^J,VZ\ͪ<$ਠRc>OQo:sb?/S+fKjʰ١׫q@)ɂLE;X)| d?N;s (w#~l䜬DyK2:<y,EWe ś~$6E Maz̫# s wF=~m%4PT E&O[Z~^r17+7eb1wA^ !yFêDTSm+er\5R =·Б?*M\[k8FJL$ľ{l[ـ{i>J,46#NQKx멨љԓҦQ/m&G+P{YޕmXFn)Km|$PRSfsP \`N(0 s2]JD } h[.XEhl_6QwpNF^b1GY3D63>Zބݏ:-% b?3]DOjy8 H|r23㧿>BB1ˏwZi̳ؔXWRSG,0Al~gϾTŘc%W%m8u̙T&h CB茙őpsVRJh,5 m~>ǜZ|fREJbɕv'j۳<]TmJky@?Z $Oo [2k=5XO[\>n|)~[ɫ}I:>$ PS&MO-:c;\>f1q #Ņ}] L) lZ;VM1P G`3.F|#s$H˹ I+#q#q H|I₅i,IpFbIw A ajf;Mٽ<d]XЄ8sj "O2*u/ruķՕ}NA_"b 73xwgAwbjN{z~I=;?c!@zNDAi'F`G!w 8q8͇M¨io<{m̜;޹d0W褈A5aí : ޼;uW[)ڇCRK":2 ;Jlʗ*`R*yBrFU".ܐޑ2^1D$*5酪[ 4--tXG׉p ~ڙ11=UolB92׌l4;rf=pODu%Tb#LO(tY%[ t(Wgƃ}DPgF3֯ a0H=44l. n*U;w3 ӡ'd؝Y)6}AߨFo ǡ{U5:S}dΒTTc34TVӌW뜚1)y3Ji_UOOFET@w^6yu!Zʤ/шSb[)O?ia^{n{ 8hD`xLt71$HgE;D즡SC韅ă_vXeHP:/T "bg s(?P`.~cDJӐ PؿXMI)36Xqp3hSRQwޏ xuwxM`:ψm2%PN,4bja [Q- :gm/ fwz~s5r{*kM54n r92L'Ky_<(Q <2D&P[fP%JTH"'}4rnV1)"XD'Xߺ9V^6Y}W{eD18ϟ >S#wY;J8d .{\I߃xIJo8=ݡ |1amayfIFP ) ю.`pۥk-4%ƏҼ06^CDzx@,49 jy[GKfHĨ~\ YX (~{2 s=5ؖd}_NԤʣHW 24VwN'i1I,&/!"ܺ1l _<~l`3ޚrN0M+Lt:Ծ\R ؟vYQ(׈6.U9sJ--Gve]KM{]DQՒ70Q$z1;Kڦd)˛+h(Gciu=SLb9少G7/ ?su!(G6? + h)6nM8<kьKQ| tpZvu"**bYF{}Mi4UR4Ecf8;]C|=@UC0^ϫqP΄.h#ۻ"nS'/yJL7q NK|H%>w}Q( 9H9pU@ȑݰ:qSlw#,nxgCM>͵jg;swTTEzV]ïK o0vvZ:1'm>ԕ /uSn51n{B!Mq*\QUj98֋e[0v%n9t&L q7dx$":8~ָ\\AQ]lX~ NS[Fymdm8 G2M9瑘Yh!N,`=.. <h-benV c^EX@_u̙F7̪JXNDy#!.HR5uQVi(OZU&KXQXt;O /?$;z qNLZGܙK. eqv9ʩ&z6ϕ`ceb0ݥQ3205Evoq| ;fsm7J -?&LN/ny4_8"Ί6^‘'l2GrUxl]EH Ny˜&Q2z JКtPVB0>n>֢&e6DB-d8<W}|ܵ@,_k4"S&!sc4mY3ZBSsc)yfOX+6N;?7۳SFYE=LzA]9VsME*2 jou+L&l]'*@kLݰd !?Mfn,>Ȣ8bK]7qÌxԗ:I4~.$'; 1èq=J K wW!4CSN[dah6_a_} ۲'><Š)}]?, $2n&'i'c(H- WVYB掰z{$LgB.I>\O(#:?;6U}@sH DisC r2=Ti'{Ɩg%ɯX(l: 9#ždUNy3'oU$<6ﲸB-UF5\Lprbc =!Cv3MQ$N;,T̰ k9=T}Mm%vݺxY ,c῁ LFB nxf[P RU3}#C [x/'&^mZ3[iЅ%ʯdc@U-i$]IŃ&X2p6[ysѨU^pj%ї>mPODY c YxỆ Iz"Џ\ٮĵ1޷L^xtA ~ۚP%@L( ߊ^1"3iP!{ *(Tk;ƘD q?rddVԳGH͎H+k!_ GlTKOn(s2u5שlӾM柅̸k/]yXe]ȻI!j.ó R"t6>sL}O!jwP es[#}.B%A4DO΁%U*qo]^Y?q2)WKf 'j!%)V^P'w忿%h3)u2n S_fv м3 WWO/>Y u)a7̍!wZ_~ JxiZx_I Dg/ݵ vP&,QB^Kg2LgS "FgOU_ngkK,h:O.jշo-v/c2=ro?LQn1?דk|=G"q#gtPlӾQI~)@Y+Xb{UUuHl{om[$hf&2[IxHkD2V;gʳ#Q+tP\3x*? OđV]T?lZ oB/Td,Z2Q،0 =^H`+_".?fW<Gjy[LA\y4"3῏ByˀxS3oQ[0a, G p۽Sa$$D?x6pz{]zj\ 'J 1 [7%4NSd r9/G^iNKCVx)fA A5g]ZxghPJr[7D<`-'1 ;C<в: ~V@~_x$*R@TFH|99iu&Zu@2JjakGM` k˰1A;09wEp>$ky+2\@E_tS9A+@=*S}[SzN`$"h:\tko ʴ'x}b!ٷ 9Ll#./}"[HGZSrNѠDLTጓtuȥlٮ?|Ă\TNTp.ڨpq @PG@#nTSur=eOa/};;]T9_4?zMr(ǁ°>qK?3@sƛҶ­n6ͥ)ƻȮi$-d8qߊR4rxF7}d%ӼCaV |M\,1\;w3 :šlwF nG-M jX;C`_]TNb)Dѹ6X9ꝓ@apNEWWz;Lp@M7A0A x s5O۔gEG}S ,AƮ $)o2RlZe6'/@ˀ{6eE:Ʋ/" bjc}/|HB:O؜$K^rl!CO%( 0,@8J!i1fl4{ h0o3 [B#edj+KÂ|hyZGAk=@I' D =j2 Us$4ӳ,4*i~ J/اpO#y 32͕Uu,2BG̑ށt>j' >imʇ\P.]8򈿳 \{ݞ ](~dzE Av ͍sY0fg =bɩh4F=kPR]IS|dmTjL ƩM`4.jjq:YEaym;Jt.oN 򟸊Y@z\ + w6f8 V: kˌfJ[PاVuzJC8Ӿ5U:WKom9kmrE}YXrD|gWBb[٬-PD Y3/!#sъvT^# INCY\&wt2=}9TNo>~͍谳y4'2ţ~kkݴttTi|CLBo=ZzHҸ Ew[ 3s"nUYO"ĸ_P(vѸ{0.ɾvCy[="I%?8x\?#fzy76Zj Ȋ}|%&E@tiRNҙtg .phbCG" eƬrg1v~Pb^f mHV}#E\ߊQMUC=y2#:b|:wwJC HS"f{Wx((9 n\~6ޅe:p#7JkS6G$jQkB] wrNZ]YLXX4aŦVcI<˜'>I! Zoz2!(ݖ]% c ;/|uWkvpUc+[ NS=gDl73lO4o-6Z>iaڨW lHL,5XB]&283\0VMMxl] غ=Mp >Jm< h ? s^]=c,J\BE uH{Cm!o`fAԭp?Y~85,*~dRwArg1`Q'@ .!E{lU\R;!hTue7+1xT)zSsVX Z!NF7r?;EUFn5.#Q$<=c 4e."z1eҬU-kI]czT!Y0C;j Mr 6uB &1`M0=%Nx+u+LT,tK^6־Tبqa'%ާ`stwrc0R<aHG$^vc/xT>Nfm M-jIG;Yؤ'v{T_CeƔI“wϔP;1J*9^8+Tت ު gښ%4,Y~-_1ynR^oksy9pTBPH"vĽoTl;*N@< ; Dcb%YQ_c?C0}X̶Zq^_`cXnqM/[__!=dTUO EORVK 5b.zwi%5^tYا*IGw\{A%fds*."7+'DE5ѯ}.r. pPoES)+4qo0?%0+^}:nC[z39K@KSvb.hHڼ@Z#ί)F_ A0jQ0Zey($UNCVMiebbEKĒKXSC$ACdK0|pu{FWCT)⼿ qZPwD.8XI[WRm^Hir~{'^MV&yrwe? $Vk&KL0 V ?7c+CcL ds[D2܅5~?oC \-9bpTiB* L#&ӊN|[qغ]l qK7u_+t|~8Rs w,聴uW?ZnnYS'x~EaIJ~w"w/+O"4hS*Ȑ ?Nh):n'Y5AD'y=nI=^y]Jxyߚc('PkK]XMq>j~U4E=hd[C*rEmSl+fUT#*Y!227R/wr9 ^wIKOt bkV <c kBΧoiX[m ŕjYP\*f{;sJ1jWղ[kk_zwMb$ʨ/+ L-5#D#T5Jq{/Fl-w,=h']Hbo}iZqX69=ϠRՈ1J't|$8&KYV6>o(9m [K:f:?31cӽ {"yU"=k{yj ) ohi+Us|Y00߳b>Te% t6`ybGWuko/.VfV|g[«89|L F<iċ({ԫ!W_VK3 \DvbELL51Z_,î ͔DY>Q 9 ݂ ް[%Jv0DۧO>oznL q'@ܤd*-IgYZ5kxuZxI&j"50&x=`ub]x Y➰FO߁ b8nuZjÆw/8sr?=0/ޝnOI/a@4`X7s"-a𖘝?Tϩ';?U{LMNvҟwT? zF Km8Y3bDm;=T)Z: {S`Tԏ^S&z^ZPtV6VK?Q%[iT+eH@e3c>CxY+y%:?v7QҤtҎqo {[aSQABcWƦZsp ,nˑ"56 8mqȂIKe$^:sB&8+, Ͳ]/ZsX_RwFiG6|v ^DMTIt6EW3iGjgK"_nR8lF Ny]`1T8 [I:[ -Qmۜ}@AO#O{e}A@e߇] 3Y5CN KCDQ0~>t;n?$q vџJ+^?M'5bQIfJ:\X7GN6u'* ^:?JXz=Q΃_Di V/0~ѲVT3EhJڝ] =BaBaWC&$;(3 ꕜ>13ί>] 3y&u&:Ķ߫"_[Zq?H45ԋ{J/?Mx0 //C3̆tpxFHN[,Ry˜Qy^ E:B45K;i١'N9VyJeHT5 պ  hb-ǃHٜ&]1LSAyb1QdlčDinJ=?%:~^@GBPKrb'9ԓgDcaם> ՞WXdrv*"m,eݾC8!sd'`w&V&$ǭSrѪ*`ץ5t@qehu孢4IiJ+qhǕ|A#j) plO40ObP)h֓YGRm<_YE>MԾK7[@@Vt帚~OAk'\º |j^; >y~,LS=x{uwVlE[X [_(Ld;H} fb!29WX<l/O;Uts[nsС>73Q@6jL<)F]as3 Զ%-@4&cFWSnksG=,.N!/Ю59+Z4QkG LԶY8vHw`8e@!qArq~Ih` -1u*4XZ+$~>m(/7{F3*_0c '?OFPxyarCLh ;sȭ!'3NbX1 f>Eh-}ER tNY@J|9;BV (z$kѹOɗe+ wޖgS?3ǤȠ]8N4iTmP?r9a ΂ZW }Sp+#rI mx.tcLg򲄮9/O*?vZ!|F. |g~ m rNI uƑ@Z^%&BoGnHg3&h5R&vZ[DvĶi lqԏߠYc&/= Ui5Gt;(px)ܓ^rx1pZq4|XHz)#S>-Ziu#OIo1VD4*y%Q˭/Ml^`a;6eCVY+cp.7#?aQ@J7KsS|Q clOW6ĄldS( uaТ Gc6dLa,(3-㾜9gnjtja_QS%Ca(hVɮqN"eG(mC@4V 6VȮm?i9WƤQaeUr5km% -w-9 ݷsur$f(FG&+ь-=zM7EGZX{^]+ZGH$Ť|j^=8ifG*[W#۰bO`4#RQO8&\,'A% X jt/ޑx2YZ$ Y O,w<1 & #TcR"՛)t7XmT_Ӻp!cR|M 2L8Q@pև[J(@.Qs>G{ :50?YwVHu_B5l]MҕB7,~u.+qup-lfD\N.L\uѼlQS79SgEea,{rU":T'(j`˪!4 خn/I])WhA5z@^tmR-kPZBr JQ)Ѣt_p ,p=ƃHatwpCy6={]O҆T"p_M퉙|'!^5msub>7gE ]9h}hdt>b Dx=L"9 f9CWI "ɘL혻C }'YǴx]-H$=E^U1׉C-(J0fѦBvwsݷwFR B/$bIXfr6ZBk>o|uOny5C/0aT8}q#v[]t>)ÒoLndoF8`qcx!z 9B/;pa^@ G5K֜ղ%2Ux%C}vF̰e j/dtg@4k4p,fA}_Cl==%AFLQ7)qYOm' {޿SɾQ,?2.PR8/n1o-ϪJ'f/Kcg"Du;3eOڬ皸rN9[ |'Dpk2^ tS V5lT\7-z_ȓA{ڧ(CW2[Kٟ!oQW]G#,y1,j{S% 0#W;wHbJba@|_ϥ!5Ҝ[ʯ:VWYB3`qIQB}EOBH3?tcRY&WX/2ĀWm4hɖ!p.h;٫4'wVp7%eک9tk^uQLpKhOrMZi>N\/-5WϑڎCb羕8/S٩1=kl.jN׮p2Ï{%ZVJ嶼u;YL6ZvLĎCdJt- pwzx!=dӕCK$zɰ Jrh++A:G8g;&EZ z [zUd <=G`Wd0w4bދzjZ8 LCGm߅~9QD^lEg]ar {xu/`%!q]cT_DCYC]NV*)LZ?S#mvYsqBS1 K`UaHUNw$EZE)xVޮ{^HQZWm;ŀ5~N-נت^bKuAYr+!^uZ!=Ԓf# _d{q[ӆl,C9_r e{m.\(PW ȠF9T0z-rj>vO-w&(k/ZO'uTCQ'D.rH=-Tڻ oiƎ)܎KnF>|MTgE0gzmŕoUduB"%[a"rx*w 1ßhUwfWP(tDd|+܊wyN 3蝛uyjAF,Wh0I\@NxkĂ_xCg%_+N+ ڎ%/~y'읒R@Q1^fS3t#{eLw3\\(0pMh763nĘY:^Q(PB:W݇Tper4 Tcj$B^pi'צ+"~[ћ%c t=A5H hQqmvni"=/~~G8e;J9t_LH!m؁,kC1rU_gF!M Ҽz8'J ,d•ps[kt2yi<ƍ@Г1!Z>B{oyd{# S^cSyu]_aG} '7mR'é)bDh\ʺoqR C;=)VE &aWNˢE%)^% f[adOko޾ȁbo T }GP;c34?6:v'QZljB$+clP7Q<`Zz>/ܟgh4gICXWVk-V۴WxsD~bx0)t 3AEHWUhWIE3AIV 7*#K^F{uN;dXoiS-pF7qhP\z̶b!F<WR;GNt w^Q. g'X%៞tcE+Ima?qښTsf^OB>gkiS=©Ĩ,}1 5=ԊqOu7fsKMTNaR}wE$&b5 9lj'>,u;3A$)Q=CD CXa1*n/=e[G$@]C.mZzF_1ƺ+$gr [5MqWnAq?zh[?7jJ)$\Spȵ:U'\MR@;3U[X=\z5ю>.C}FrFjY r!$R>3b"oܪTqY練h_PGcr3MPxl1Ng /^YrȤǶ<,26ᮮA2)R-Uz7mB95bm$u~.ps$aV Pc0p/Ơ ;_ox}NdpB;ҡNШQ,{j p烳;JAu=@X.K6ކר|]ӰקZɗ^0 DlD:l(&CVFB .c@Xw!qK4QElЗMZZ AEKasm#A{噶vB\[68wem*#lMMrX;DOʨ)=L%Z|V >YQ<,B闗9G9sC%% ط 49}#a%Too7PNpxKn_m̜n*U9.Zy*-@|c-R?v .>> 8D&v$uK%GV m  ipη6X?C(6.A~M6>FDc5㖑f./geAmIi2S SLG1C^\#4|^ܪa6iYqO, <-؃\Z i`d}#AkO[lj>=W..N*86![Cȿ +{V4sO6l\,|Y>U '*ή('e bpNlMCL?> Hub/ĸ!pB[흺BkˤEgɞz.ӌrwTޑ+5)2EIbc"Xjj)OdO.jznS|5-+Ncf$s0Lgݲ=X!h0$ŲgB ?O6C8&7:z+^> 㠊؀Ctb#m*^u՟g} )l4{Vmc6:4z)7˅Ҷ+bh< :=QUz1{54)qU%4Ҙ:u_& ~sL҂5Sw0qNUJ 31YA}͡qXH!Ejg-LfbɋX2n_"F/󦚗}I0?thN 򠃭*^g.J2_"DM"̒ qO:݉r`h7QrbfLc[~6$%bqÿTMdjd{}U{v1=erE$sN^ԠF!-à?52B!2?L7qj**d T2wW]sXx;pUXyXil̏6r)2:2BNFk +zJVA~6o^ ;A:#G7!gxOeb_S׫]ob[e;1wV5x3+/}QYt#OJWJiI‘tчG?51kz:^': x?4 %]ikwm~t\0p,MpiK`*;i(Y< y\87tn]=U!{T>znL<4Fk?),{4/q{k7/|Xd`MwAuQxBbrdy]ްhF9T+* iH\pqH{|,1˽/2d}@p%w=gF:A"EeH|=k(^ E>=[Y_v×WO2N E|mqj\ ӨsmGB1:0*͟h}.ל.Mӱd5Em (:n>+3ݫ,F~%ؘd6BC5}'H++~wb9"KW4ACo$2LQ԰4 ֑v 7b oceɲJlma<7ևfg;46%J RpHFoF1< 08bӏبڍ}K(vBj"jX~59Ķ PEݑͱuH`{tE ՒPC+iR+2Q{ /ZctI;R@z2~PR`s~{blZW?{ !nau x(B.po%r2@7JG;!r|T3\IvϽt)AMpy'kkOO@ l+V%{ݒA x%[.lXSjC4da(0+B8u_%ֱx`o9&H$z_7>MLʯ2l;-rBh\E%ZJ# i[}IӟPBW6Ef/or\KPpF=F[0bzh֏|M 1F9i;su2Y/mbL%0dX=#L0BCɠ it\zi<8DN(pç؋'bHV<8!T4,ߔ[*rXB*DWz0cؒ1A/d+ylk8ȞEmȝ> a5bJ:GభKl,Pk0sD&Te~raQՒqi ⡆gYZ7zXZִF! ]ŗXi%T[DtNt /Ļݓ )*E;wVVR@vdK wmsl$Kt?hw=*uw|pC3n ˧Ì_}qfMJEa͔pFӑG.=K6%$`gRJk; ",^rc(%>c7U4P;i>M0&h'Fx6w"+ZsWdz u&G~xg33m"evo #jx6Jsa"U Lt"{(=_Sd@mU4?0^8{ wa)SͲWߌx15{ס9}'6'cpM[JFPW*;6?`l)Փ=@F tʞ°D|x֭>*bmG݌9'KjBQW8MDdmp*0?eQT`iK+l!y7!ǁxjq93cv}-!Dё.;54T k=˰C-o8?rq+Lы waBn0Rm*0Y:=Dx(yIP#0/̨7g & 4ʒĨ- &C]%>ܵQ/ewr]4)Σ8 ~mK6MwD9?=O68,q#Zܬܢ_n5ds,D0ZɯSY]2}#fIrjD 3~B;_-#=]TNy !*nF8]3֏R#Ks/|s򨈐(&i YZGNvYC9^# 5dv>j rhQ` 5L%9S$ai4S,NvT$B,&=CL9j5::^Jм6QIImƙB\Ō9t3QK24nl`-˲UHlm2|\Z3k>@T|m<} <pP(4-r\넾?m 2nyXejyN}~g3?mI9R%ٺirS/+x> U-cv+؜gϘ~h\ )-uI$!І!ZjA sc[;r;`m Pچ6ޗ%CwmqZXV^!]R, ͳ&FV?!E5-<'m`_ORLli[NJdfa,/O)!ȫgA=ks>nʹ,I*ҥ^džrǪ6G1m҉@^րqE(E&?VN"lj}]O k9o S ='\ǐG>%/[恷Ϭ!0?A>:/CdzfJ'V#g2Hd]*1R\XmZ]g,M1%pDPde6cԏ)5DvuK%1߇&)>g{2Qp u{]D*8$US9Q;݅˿?UѰ```9t:-1&C8X5kffCђ@9+Cݝ ([i +[8RkKݑ0Sne r쎏xVFN}}GvT7r\1 =!PiσFۻ?ZЃt~iњX? i|;=qRN:;*p(H8?0b78䒆.)Shb_Z`C文܊DFY|BtīH!za7yO (.*EV4ɧq2'$:Ԫ#{@ޣ ,%oBb*{l݁)X.8~Ns*.ʑN5 q{R^OjlQ~",Sה8h}L%w&#E"{KKl*AuFq_z}تK/e;qSw#4vJPF6 y(WzE5D=t,Y)Ge=>Ծ)A =pnYJk!|G<"sZ]T XN+*rHO dv0a_ $&٨Oﺈ4,.~,HJ yX†8@eq UMi1ZӜip!sr W?rumW#z=P@IGK֧npإv4/(oS$=3+xo|T4u^:Q)x=lX|GCР,𦝋N?ۆQh9pBˡ:2d(Y M˙Bb-ˋ:GF9̯H9)uEѥ qf&y$"ğðQ`MYi(w2lzVX-2 #{ttOj w>4+x cc?1/ɷ6TMgYZ7aa40d19d212df34e0d83f29a53dfbba89ec00dcf4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b23 510faf9f37fe77accdddfae23cf8292b23d4c627 0db4f75830bcf900eadee2c2465a205ba56857ee