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 [3,, ]]Formula_Derivatives:threads=2elapsed=507.962cpu=786.848gc=349.616factor=1.557zXZִF! e ]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)FYJpm]yE!0\tF )Qn5Thd ?\o믏-*Fh;A@Ҧg܉m7&;Q96(taM? Ұ !&33 d u1LC2(+YtDLصkhGw YTmgߟđ| `=ڮxC @v߬Z?g BwˏͧnjUA|u@Nm8K3RW!+.nȏya7[Q1y~k+hrz[usyv;-4Ұ|___ Oy#&qE>4DF0n5OonvcCrũ&Ҡ 7OXE\o/]'i2Lf,<09v-wj́Q͵&a pl_qNZ:c c&0r|I,2 P3 ȎW{_\Ⱦ%]gG@oLH|O wf'+1/pRO7!E2^C5?ɨ:\U>ma ,h4_Fs; =K:JLa FyI=j{﹞0q`/j6RKn~i?*oXwѲko`-S6-(Pc=r(lq‡~+i\x!U\ߵ77m/FFW6m.!Vd)=,=ҝMX3MWX'Αy%s.R,H%2,=YAFL;Y}2cR Vj8Tä-?7O?~~L߱q\4ֻUn#XT_޸u nJĨavV4cʈf`6LjSd.s}*wq'ItBlnڋPkXOZ#w!yNyG(wK->keJ$K!B|mߴQ)-Q\CBDc =ƹKC`~b!~7ſd7SE~τQ\ YnǯQP:( ')1ڋa:n"Ϡ&U=UR,ǫۭ˽ʟ0( 蕻5Ī@%JC&7.&vX4Ґ#Qq1 zq?LҔߧ>WLf},>z<¥s",s4PЎ0g`ȬH-ұwk{a}Yڒ:Ħ+KO ZdRBye'$ ~UR9q2/KF.ڿGA=,'ۇv U!{9꺎%>[ٲU`oziP[֩uͻ8?􃌰艒F)/ᤶWBM'AD;% g3Լ w8v#fYeev:8[E8}"Ia0bI.Y .q 0wzHJH~7h_+ڃ(LKPE}Q:S[c nR \ E #jzVN@N41"7s #mq~qDžUWhP-15_"{s>`A*ɧb΍3˸SFe?}W(?QW.?E[Z\ ;pO~h f֓6Z\XFM-BrE@ [#بLÆAʷ(^EZb5,DG$NDLӍwv(2yy1g%)3Wv=B4eWLğldToD D`NS,G@xHm̏㘪n}׮zY=+,vps..# s']sV6E=qՑ6|?+dŪ(_9Mr SNdʥi pG\ K8}5^:8ݳr(MXwm1"Fē?\ jbYlZbXH[ 7$8 |z7FwZh?Pգ{Wzޚw鬘M4ʚ}%q6S_[[2U_!K}9i>pzA>N }:hGXz\/+Nm akaYoghHwql\R |1@T><1NUU{$ {dgYZ7zXZִF! 6:A]ŗXi%;?2#$^O[b)?\,>pw`}\CDmAAX''=+nv-L%SSk &*[<~dH֔]@1'Yfj8h x:N6Vږkqm+$X*w׉ERÅga.&rȮNX{fI?B*{J<(ׄ3b4aI)9mH)mGAQ)1&:WJJ@ʭwTf 27%?Ҙx5UW%l: ^,z;lClCR,fh ؔ4nr%>ӭ% [0C8@/ 7􈐊<3z wKO pFFQx^槃o4b TMA<K|etXKG,@7bź66yEelсR-pLc`z_W|&m /"2$]|YcWENʡSX33̒ my<zk,jH~U:_ E6 {LPøwa/52@g4"-Q4HJyGUTH_G2t $&vA@h:ʯ??Q.]^Pmq~SE*䓣Zgy|iTv*tg&ї36_W e>T_<ړ eeʺ$I\u0 YH/B}9,#}o7Eѳj'GPkpm-suIWѣZhA8b_&a]Wax k$C&](jPܫ59&c+%A1'HQ)L 6uI,p#ԬxkZ`1 P*;TQ#"      I  { ; q %  U?3A%Formula_DerivativesDeriving.Compare_Generatordocument.tex;39%Formula_DerivativesDeriving.Generator_Auxdocument.tex<3;%Formula_DerivativesDeriving.Derive_Managerdocument.tex?3A%Formula_DerivativesDeriving.Compare_Instancesdocument.tex53-%Formula_DerivativesDeriving.Comparedocument.tex T3k%Formula_DerivativesFormula_Derivatives.WS1S_Presburger_Equivalencedocument.tex B3G%Formula_DerivativesDeriving.Comparator_Generatordocument.tex 833%Formula_DerivativesDeriving.Comparatordocument.tex B3G%Formula_DerivativesFormula_Derivatives.Automatondocument.tex I3U%Formula_DerivativesFormula_Derivatives.WS1S_Alt_Formuladocument.texE3M%Formula_DerivativesFormula_Derivatives.WS1S_Namefuldocument.tex:37%Formula_DerivativesList-Index.List_Indexdocument.texD3K%Formula_DerivativesFormula_Derivatives.WS1S_Prelimdocument.texO3a%Formula_DerivativesCoinductive_Languages.Coinductive_Languagedocument.texK3Y%Formula_DerivativesFormula_Derivatives.Presburger_Formuladocument.texI3U%Formula_DerivativesFormula_Derivatives.Abstract_Formuladocument.texD3M% Formula_DerivativesFormula_Derivatives.WS1S_Formuladocument.texWLB6aHru k 1+K0D\~ 73ZdcB4{_*G̹bP^ĵ!iI )#>7KM_ w$Yo z1pyY;K>s<,%bٔ*fǽܜY .?E?/%*(ez߳#~D}-/[U#S,sz6"ڳH9թ'^"<8,fwPR^Y>;)7. _HڠsIG0rB|1k baAyf5fQP. e>E7 x0­>R-CnE5g٘5яL*䷵r5U.ζ}6jƪzsf[~BW_=FxkJ2 4;;CRpip@$70p v[,~H51F` iaL~mhک0N2d%3п".O2~;bPAG7xLCa{d¶yfA!mX~??# 똗'ڥ,-jM_v@I8Yu\cG'#" )v5^߮ԑy]0"?Ur D=C yYqlĚQ5毊Ec>]9t$_IYGk z5p :O֊8ƃ;S,2E#o9ۿ= ">mc)I+nW=Gavw"6Ne=h >Vw=o.*\5f ۊc5T%BxKxtkuLbDe ؇[g* Ӯ2=WY&r/?4v"$VikEanw KG kG ?MO\%LҫD_W UA@4n!Xb,ȝlv#R^ ߊ`= %#Yr1RmdH`l],v@>XoQ,Voi@Ȝ \m9R,N"J[ Ӈ/}JeN5{X2_0x.UK)~Yv$y'`.65n:墛7\[&"?M͠=F7R^ߟyH7J#>?I\"ѱUnRX2bVU499hq'$)I\k:?8Ԝ>z"FʇMu:j%w~ˆbHqd"o?&"r))eˎC|.gDHsjds}=ľQ(IY'KbLFˋoԜ$IϫL,>uEH9_ ut/S{W6jvLtT1k蚒X.ot 1UYsK$Bm/ڜmjs_ 4͞h%LSyl V23*oC'Nno쵹UK.AG8挾a 2 sa0|iDø/"@ K>U_Y3 Jkz Ga{C\OP&:kyx`mɠxDpX M0zUNKg0m2{7^&ĺ?6D,w4GLژܔJ_P||ؚ\FʄsSԮ6 'c9ѲsݪM/gwF&`I:vZ PxxQFFRzݰ\)-3Z{p6,L`}VE%4)ٷ)Qbe莳 d\q7oAam`\:֏Jb V‘)7+ia'kjBO)<\>3N,#4{jW{vƆIÇC{3mM+-3bbqzwaXGVSd aO}l2yDR@䕝',CpMXxz9{1^$Xf"(7oNSm ]>ݏc4E0jH^ sCxҀ@] BxS O ['K6&A( L蠅1F Mn[4&P7l6NȬ `H.d^`FQQ̍~@+Q2Wi\q?HtPFXHٻܫ|Ծ|u6T_$Kɾ4.6A'xf!YCaCD-r嬶FS4g(JNjoR|YI32x-b)3}DCH4M'-j GwmF\+aՄw[j;VzL UAg ͎ꑰ!f~ͼ?>~BWlsU"A~2_,.&7h$yVCʶ!}Fz93:K֬9d~QꕹnRSue:~WUlBد[Qv1 ͇P0f@^R)N&A&&h7(C3O^:yJ;pgwrrGƚ HA&h- *'g==śi{=Z0KXS1T҄Ź8cWF[%+w?Ί¤*"n3P*z%40ohpÑ^l}L;S?$YlT:mul$(-ƫ݈l"9s }7g*4V36@U6iNy jIi-F" R,";h@xH(62*hd^bwp h{$lr~u_炚ð bv)?u}DWA5x'+k7mqbG/\?K0-R:0>]{4lR)`]b"}Ob֪$KI.1~1};"W!$ vV(,`Ĉ2@k û{LLeK >bwOҦ⎟Ax^,O]K ܤ !m[:ާ[Vi$hfo;݈o8w ӟR0ʤ~xY8TU0xҵhc0'V@lKv[ j*h@atܬ/L2p.ɁZd`#+?A 2SYJi^/j9i"mH٠sNp&@pNI.M%&LI6.Ƌ,s6 s[z F+Z$"|Z'Uk ׁuKTAt"vE7ώc;BQqvŤ; hPnxa }%Jn*ypFOJ(iT)Z-kJa9a]x%dXLSG`Y҉;.{ˀ?KbE Hc&lbR)]E%pe[[U9idN׾ZES݀-t)Ł_a|nP|Ղ%:c0:(C?eĵⅰY8jˌVs‘Cd84+[~|@;jK Q VNAR/ِ/#qH8P}On;i,g'c`{sN(:ێ}sGzbYOJ^kԮƆ~[?)Xѕ@~܃8lΚZj&K2*C5rv&B≠+3q Xz; rG6Qb|O{#]2mdAPNZfhp6TPSm ,ׁ6ո_9ka|'[7@#ƩvP =MeO{!x8PB5k)-Q=$ OnA!޾-1SHL3zh4ۢrE9g23lzVln9< l9"nٹ;oGo-\(i˒^qtEi9ք;w$]V2ZYB{L~>pW$o7]܈ɋX=x(.} ZkE+IPac>#::=$n$ 4nϥ4ZHuCu-9g2QK">_y7<%~W8W2[F$9>Ff!v 6(DߏX6/U*'?h5/WI19iYZg2%cx.\%Za|(5ܩQcmflu9z.PM/AnFiPj՗/s^ZhOJ*epewV& N~8-[f<t5%{O1sx se`kvTyKvx&8ࠗ|if6kQ`a׭Ok._XstFn.(]:^oӬmAG'Ͽ Wr43jfDSj:pgZZPU9zأ*?xϴDRUau!P%$Wqmp%\81L$|! sߤbIYxg.oiFCIwMr>vvq2hE^88s0= GMuEY&$ļi;dj8(nkwA{lR 7y=ʻ$Ud#y) gfn+!/ dv?Chs p/r0ЇNNNOFKZnbZh`87/Nc!eYpLH P=N8 ͠8]9*=-;2h<tHWyI#f>~\1t}]fEYQ$djaQpyq|;i0\n\Cf̤[Kߐ=^s*e)8Y_E =;ƨ$3a*R 6Z*M*w0 6h哅v@XHw;$tAM|$kf}\>BݍNw"~V>,s(u)CK,Xeˉ))Ih}7ӆ]M3wȿa vsr&'VO_s︟+T׍cH=4?5n^i*M0b\n],!% sOIG5sQ7(=ւ5pEg6zU$'ٖ!CuV5[I65][FxEGh7|͈61oS.H9sa7#C{R2@K˦P!~Vr31Y;xgTl>8Բ0z`̋Xz`ta >ImiU;i9v%+Y?ChK.yK2ֻ;KP1K1EQ[® N_qa9J.a]sKUʳ-˪; ۩v@d1ʝKU (yMX6Zx+#p~:)$-{cAbo)}5rIo 8YOZtԭ!޾xud(sv FǢJ&>8^HNa¢{`e4PLc}RYIoF)CЌޔ*g[b"T i(%x0?QP \Tqq7*G!. {A ׸FP6'G>~n }S^KPd5ĝRf"E(0x4"TeK߭cs#LO񔘱c#@"@4}OyzX4"ǰo]5IOZVr|S2Sc`ͣB.V0flU?ic"2н9Et %`),TtQXc$_4jKn!2>M{2[h\cww) 1G(Yq<XcG/t7B98%4Ǩ6kқ ՅvD6o0F1̄d;$z?ɴ3?ǴQsVБ7Oeml?A$. Qο=kNuw &Vt2e֪ghӈь4:r r(`%,꾥G`@e<<-2w$")\Lؗ' #y..۬ {.U^$F ]+ksgrm}nX? 0"j(9^^rGU2dp!¢r1.J͎#;)"~8 Xc FZg5S'lII:B@߿Fה2_=Tޓ"thdg޷hùbt\OV ?r$x;JTz͜DӬq2ʞ'X3ʢnSqFK|2X7kWNnQҟc;4u:-DuhGG*c*=L8S"Nj(SQMa 3ꤦ/6&afuGz1" ߂5CM:tˋJ {UyI>Md9VUvAng!00B:F΢abRŜɧQaģ+IM`.fYt%spNLTskمǍl2k+fs`K]"ϨϚ $j_[&YI~q.js#)16򖒈{B)b@ut2hܡ Ķݝ# c]h !by0"N$ͬrekMv~)JGL^C^j"7]W=$ HQ. o#h#z5 Nw՟ի:Un_3',z7W퐬i/*)(0KM` ޾_)6lω OcJINC*H'?eqWJ-zz?N҈gl^#MЍTWAu`*mH8{%>jvmj/75drxhƩ_}1u%̕KjN|of 1uČ5:*ǘ&>maxL&9=~|$h'24miG^ щ:|_]~f֢_~ сU ?:EYX*a q2c.Y,˳{ ZQs%ȧ5`3"lYB3d)`I^3}xβB̽3tuL=;)[RO >8) -A+B*51q.ysWh_Q39n BgK̗&?'*_LZQƂfB'gr͟w֚-4Nە|v)!5XaO@يx67(i<`RBQDIFk7/!zl* ȕg"E4;snOA=otT j-Ʉ 텣uיxrtJ/SCLjײّM/YFhwK*詓涙3]+"xfKSSSUH"11A*RB9^n >|1C6Bo˿ BR-էtG* )j2#ux(03OӮt_R]tQ]PjDA? nsJ$< 16%WXditKvvZ⨝" U~'C /h\R ?.xɨ¥}'(j`(w80L.v@@qR #4+h+558(o,Src״0z(*M P| yl%U^ l*2 0v$ l5nkS5M޷0WjF2}q0Ip`Wb(&BL^w{8qU0&k/1&j͚lTrH<{^?̴FQ,L!<:m}:C~ȯ8/$$aMNЍ?q,E(/[Yzj1p~.oOvVQ'yp1l7F= [*7 <T}tg;|6nͤBQCDd.[*6N&AyqFE%e38JNB69˘CbIP0vlZMwwS 9ԯ_J䗼$J5 x;oi{֪.͏"K #rO` rtt/⹋Ps(&,q K0.Bf=.PEAbפq|0u_ߋ˩3傊$nn&-EJ=e+7՜ZȒ^<M;(} ;)ŐwK}_bTŊ.}N`婑ܣQnsWwcLF|LlK$mAԨg %цMc:) mzcTӚL 96s(k3d_ŵ]8x55hXIT@DNm"pIkmiǭR&mR~S8à8oC;a?Py2TA+HslZ>m$)5LZT`p!Do>BLG66!CiP׺Z.;=7+`CU[YJxOݵ⡍蘇!ݠCn }#5D] ;6̏f ZgYZ V \}J0'Ó'Ωp ϶:{̮J.p7? 'T>PI={⛺NI;xE-'(ERh&~gHe>L{}Oq;@|]僾J贴~9yعK3,5 ئBJXbQa5^t­A`BqXջM3Ӥy5$@o|Nz8TnnP^gHYz}pS60 T^9w I#Krޫ*֪ %y& tyaFv׽ٔq@ /@8j*-w*Y_YsٴcAhI qؘh@t+!p4M`˦ٺ'~a;>|Bp_pC+WϡpcDL.rFIU[X@`ṾRpw9G&\{G]?ap?O@fCyC?2> ]}+j,AW'{T:5Ϥ,Y a҃Y ;:;Ћ/}-L:j:t5р-zEϳg8O/9>}Л4W8M Wװyɚy7F.b힦:HM88Q¥^1_vya[JRbu)YXDGx9]PhǷQ T)Kha1=̵'DNJw᫨* "#՚y -#X형=q*vBKUA a:6xk@iK||:Վ()G@#%}EN*ٟO}ة|2CyHf'_B NDCC9'7y)ϡ~$ԋ\ڍ8BH].䛵'mf4 MAt;T*nZKь:ڿ[WujB[[:XTG.yx]Si u4P`ٳDn^ArdTNh҃%4Ӏ J'I҂Pn8WcWc%iЖiOع J)-AY Ggݹ MZ3,WN˒X1^| ִ>!eU-uJ@B=*7zNjf B wܢ//бBx73NrېhcrտrRwaBL1ЇO}cs}VZXYG@OyMgrNZ(pYIK b,G#t0-ߤ?V5WU%']@qNM{Q6jsT{<#W9)\5W` 갊yn/I)QE&H>bvޣ=J8=c*h5sޜOj1NfU(i`+e 2J}(n7yЮ⿚ <>(("\~\D)_?nJALܘ;&G$ۑǽP|1&x8z:VȨ8eԱyb#KN,Tî,, ZCR{b#yzb/ z@dOxZPOs)8C#A{=z|`NL0PAM0p F%w]OT2We W & G8L<}PZ2:ps|xlH2=Yϸj27/Y{rH6x-D&X\vv "dnRW+OO|/,Yhֳt,CfBl3JКIC"!qf YUy̢Pez7u55s1#0c@lI43\now-Q%6(|VXT*mO"fe̺*q" KDzY/s802ہlSnҚ y;?hۖV_B̒ӒK=_P S_MwrUFVQ hZeiBR`shI0%|iP"dl} 2D%LRlK3)/]\4ezd}i}ZiSJ{M5W=|t>z}YS,}g]^ ޿sdD#M҇~~ǐ_S+Ea*-l֜jS*,>+&*ɉX!zwpFÄ)*#\^;n_lDބ턲R+"tj(spu7Y1dmyQONyI PHѳi<Τsy0N=Vr|0H &bȺ ilhIUSW Éb<oh&Pli@@[, R|WuwCGAU K7.㐙w+(0[WQF-FA2,|87+˗+8# y3p/!t= 0vaƂrPKM 'A3ԉ*dŁ6|n#}c줶d XO'f(ȪwI?vu1j3a"@uVwNM r"P@_ DqnzyO+Dэ ꕫD7u+Rp~ni$otӻ|xKX]I7jZRFň3 DLRAyS8cQkćM}Wt=[ 4_G53F:P;=:Eۨ;,b e`5?f' #F(y{wK 1XBi; o Y,9,-o{D&Jq֥d' ~:orUG'&z->}1D*1!.UZ=yo-V޳xS6G ߫7(UT뢛g~>|x͆~jum㖭0x|/$gӬiXG<+.6or{iu%?vUb*TKv\}>JT"{ZN;CৰC}5 BTo7J+s6đ'u(d~ T|0[աl賌;a=0"'髬Pϥmvˋ}ČknpYߌmEtU~ՒccxjH起8_EXWDPӧ9<-yoZ;A gůЇg׌OCiLےќ(R}j֛TW.;0 fۗ&d3[oAՃ.Sq:!9(g;1+qh3F,DcgVnyW9Iь`CwRߐ7sz&k|l.1 OD~h2@M5_)[z[QOZZ"&?25d{cu.E x)jT.s md\?Ŕٻ̉ ]uϤptB~b7Z܃84'/"D^cl48u==3nO4cihKPytL.ꅙqjIbۙa95$V] C4B3Πw3oP}R܄;JN_Xhl14?j'_ 7PRjg("͘Yc ^W]՗8I!b)̓rϨ{*AMՌn|8FC:}K$pS&.殎=pV5<)fJz&O:ޝ3B@ A=s@OFKƘ46ܖ%:?K(FaU!mq!&&j qRETP/&N$Jkdn w'vnʸsנh_|M :RhZ}+mM809C QɇB'Jfd<»S|fW_D ~ۨw)+,eAL~0SIi\ٯѢEdRS&|m KC|Jiݛ''1 q$Xt.2Xѥ(ߝ\a-L[d;1uu<1LP<(ݎl >~q_@{](>|56Rt\\i/ͽ];dRmcJeؼ[ ;0]T5g͕~5t԰7=o/11숊k93^ŒԄ$ &e㰇+`lJfF^z̆j-ʰg@pAGRA>G)#_rdy qy#}q۩Ϡ&>B_DLX.<܃CX]bKóJXV]y׮Äk*)&,.^:$x`̀yF%kX XQm@g&xɌ{m.2ìl_#eplŦ@&|v Nj:hK+ fYT9dQ4I7HcNfCIs"+E䀳6FjcgiRm_DOES/<(_sÖX- k.Dâw?1kci;`{|-D.kIсwƜ~wWvKx5Y6N>&VV6^L" E@Ќ x"nӐ_]I~@Mi~z$$]r+k ۧ4dߜZ%!@3Xʚ*&:/e&7_,gJ{s9g/Z3ڎ[h\K,H -yHlvuJ Gg\F^n%?Yri1I'-Ր\ 6;#aT킽ʝ%tўaJB0e ˕o݇[ 4YcV/xaT˧b)t6C%`Cm˅r@:n^xDx0mP,OعYⶏt4ƣo(_T8sqnOe$\6Rr|I8'?!¼P i$oGM=r..j#l!{,M>/U_> PWA˫i3t:A|M |Fv)OxЮqD|ύz*H23sp>9Z G:`Ri25E adv$4췣JD \>Q- [ <3= 'ڇ2t ^s; }4ލ(ٌ]ui9R_wnA; s1A! v|Uz)E_dmszj?Tedq<[㻜2W"< ܋$ЗzSXU>لļ_H!\X3jFyKG:jixSGPÂs/ *z@w$!̿) E'e}:u1*V]ŷ8j9ٱme6LՂ&Ae%ž'EsDofפ'jɹN !lgW+"9 ]F"錒nQ"1tF[)zP'DhzY8e1Ͳ5j1fb0>Ry a0xg. Pٲ%|O9H U! mYhk {Cm^SsC5^Tgܼ+Um[GBj 4&'G36)3]fBlOfT а?+ #r΀P>[t'@ O 7E:m ho'?Ӡ]1!].>p8dՅ3nF=jy2g).HJ8ݍ#-=n^Ő#-+bt0ҘHŴr@:T3q U˩}ٳh2tR~MI;fLR\a^wgN^oFqyjU2[v][m⊋KL!,K[)$=ʢ{UU.+y*J˰vC^߸9>MiȺŏ\tW_uaՕ!;GsdOi']QpCr:BC.bAʷvM#L&d83#PlXf.8-q'}_"2F14kͳ4-kcRʅW[X +yT*%bK2v-H\=4)8R_|eön՝ %0X4Z;C>\9*G;R5|.1P)/ b>rn&g>,rIe7 +!NpO?/J)*cwz7.![qdZnIQ$;׊ 9Se7(7bMm Q2;^$YBxcbjI':*[#NCᄋw)vKLqs/򯭝Zc  SQpDs؇BM f ?S Y J\4*LKpYUo~ߪ!zcKygc+ FpmR\3#DIIpARxt O`{5shoE!kz&2$Ċ/*m` c6\ esHcƍSg!x<.{։l*JV1ב2"|7'P!%?8/."F0D!eV8܅Rln?]HrYbM2&$25hK02jQ<˰t8+7Grۺ=(ơ2R1{_n FLUjXZ&6$~/8X/j]e(A=}?p_R[WEID=;Km3Ҫp.2KaB48|ĵL3IkRu9B˖d&?gT86GVtl9o.[;h*y7e`HjU۾jDȀPOZ\^.-O{GW]b=t~zӭZ孓<ǘѮPk9 {*$Ap$mK#ܯ}?ØɐDOjUc0(fIh{=VM4yo܄c:t jBx@"녩XTsj@fNe,Yk-&."n8lzszNt|4-JOsHVcj,Gqa?ۨQD*cj%<'n̡ O|c[}O^}`Wx8Yud/Y 82 94yԓxzseԳ) KQEaXw@!mНr䖒`Aco n *(E-hk II.$1L?~y_H4/NQlML.e!gO}X"(S P -En.4Y.65>F>.g2$|#YJ4L._apcZ?T̫±rw(U &\T%tSiY5.0szz2_ AVPb܃qX+9+6|?5̀NzB!1@;&Dmߖ2ɦ˛l$ym*ݰD#ZjtF hίV \7g`YO ->d?߾`O:l[;!z#JHlNyJ~A!b lZɲQٱJz/@C%%HF4h5>]21,N-L5-_0 # R~'yPVT,KJSD|$4f*n #*OͤsaOvP&A2޿pZS M,[&5[wCxi2ٻN]F{nS>q㝓=ݛRʍKVj iܧ5 s@y cHs~J**jТf0qoAJ+̜v^}<<7ŜMZFsuPJ7z&14=yOA!AG1[D[PS*(2C9Bw'P[UP/B4.tHSbV 2$ `(=|1U<Ĥ0] R Y]t9BF͛Ƈl=ImPU`G O`㣭=~ h:j:;6|Wbw#:~xL s>Z`֓XoTcG^,qĺP>),~>SeswJ ׂIX^NoqyHRi xyFCUДJ~eIػʷDc$}k)oWBܘӲgJwcGCA zq#[¹8?}*kgaф̻oGϱH:U/9CYt?j_yvZNBKY3gC$gMFA.Mz9^hy/Vk "Q{TRGU{03Wa_=n"WEb8jON+Rd!J)c̻ Tz'ZOa8TO?=$U S˾q~:̟[R0(6V*hepAV>wkf~vη^lC$಻ը#ζș wlџd[r}?0JWћ׬*-%=)4|ie,($- R2Zf'~4p]*H9RY,b{/8 s1CX[u9Bȩu*%{<`yjjoO0fHiks-GӠqXAaś Wo&_?  DPzyP=0I"923|Wכ gXtN?3+T$~Sltz/rhi\!*E\v6lˉ78n?XzOR, LGUW}G-mϦZ)~c۱w ;S.afFh幩@$ߊ$A_"o|jIZ`MHCn2V-pV̓me:8lS4pܓJ/:/\% .ec-T3 6wCsh+ѧ~a ߒDZąeOr|vMϤ$d{ט+Fx8 ~#ho:1tthIra%,Z0[OFEa zk"{ciVT0=U N5OQ<1Ok/TD7 2L0>mHvt|E]aWر՜no c92ײ]Z&+Oio&rF;jC:cDM&jWGbcpW$# _k3CkKR <>6o.[h`tPEv1gbCc g}eW;:o .jZI8M2&,̂ x'A+$uÀVEn˘PˏGR30m)@Zm \uV-2Z L{u-s(G&d(`2e oWuݟ:_jHªzߴZ}g0|{9! zQ/_%?q9v O9`Y2 +ܳύov vS%'LWLlf\1~n :eW JiX1AOGnY1R+ީ].Ϙ ! uI5C1iAݓ)p(e˟fDҚj.7߮ۇzPa}GmΡh^0COhpMMPiY`tc9!7Wo=؋&(_6DDgkw}`ESg|8֎FsJ%ߥoL6/B%!I:ғ2,v$TCIg0 B'Ķ7 .,D| ,+mrE>Pj6 !ꯩn OOh-|b<Gax[( z\셩€ecR"&_FTN }'cxer26Sjk  stc+s'ULuĥ\ġL ɿŹw ž`}ڮa8'R--&Sܕ ~Z{ރ/acfx[;sJ, 'hI4'oVAR]YsF I&Cqy#U%% T:]&~,#Wc'WV]PqPJԗi>lN{~eD 8(-Zr9i;6QQ0ky pwFIKF~Gc)T)-;N¿#wI棆jN`OH3iX7Vow-E;n3F^73!;(jm23R7"7H)mGAQ)1&:WJJ@ʭwTf 27%?Ҙx5UW%l: ^,z;lClCR,fh ؔ4nr%>ӭ% [0C8@/ 7􈐊<3z wKO pFFQx^槃o4b TMA<K|etXKG,@7bź66yEelсR-pLc`z_W|&m /"2$]|YcWENʡSX33̒ my<zk,jH~U:_ E6 {LPøwa/52@g4"-Q4HJyGUTH_G2t $&vA@h:ʯ??Q.]^Pmq~SE*䓣Zgy|iTv*tg&ї36_W e>T_<ړ eeʺ$I\u0 YH/B}9,#}o7Eѳj'GPkpm-suIWѣZhA8b_&a]Wax k$C&](jPܫ59&c+%A1'HQ)L 6uI,p#ԬxkZ`1 P*;TQeě1,0# ,j6N_0mژ: L}`nAfg@ ))?3U% tFormula_DerivativesFormula_Derivatives.Abstract_Formuladocument.tex7zXZִF! 䯟N4]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ.9`itRiwOkfŭ@^+$ءev]ҺyouҾYQUtv4IMT{@nmGd|9Չi8 c_P!&tK}-hjR6_LZiv R*DLTe/E%_oPR-7A>eVu뇆(g%1 ;)X]=uO0,OEgGnI)9F6V^Nv=[ ^&lǁx9(o1vq'x5"2V\9Jcz_bNmLK̽"$ `Lʹ{68,|fN9Ѡё%>! {`1y=# r1);lbJ*/7菔`&RNC#_XC{~z2+ *9M)neܷOӏm)N(W洪禮}Bi/:ϡc'\&zJ-QK/_#6~Au9"JkyR2J5V$QGyDI`Bd{5'f:3lRPu8iL=IrSdҦT-=Fvx>+ ^RR/R&[4mc9?㱒lETpYn*o>ĜӼUՕt `󿰺Y4"DB a6(CWQ77f-GjSxd Ks2_kݥ6[$V*N< YrvA"]z+PE$Y3B63c~ڭ ̲{VDFC3'4vœ8NJ|'L+[ uCi"w-HJD@#7v6[_uS}`"Fm-':"Τx9Jnop"`5ˡ+I ]2L*nxG;>X\D{j\6b+ hoR&_= U?: QWB68@j&qY ioNE[8Xמǩ:v͹ϣ4BKd.Wk'!^TxTAc*7$#ƨg ps-5Ӕ>/aNJ+SB+WI, tYGW3ڭ~ }6}|GO֘pNW)ϊ". z7cX0\{ٟVQ8{.?Vj; pEIΩ 5Λ< ް@+$6糶w˃|w6ph>0>Y>٦ύI5 ǿx8Qv;'&lȊA]SpK/T),ή3wD9[L-(e0>ПƢ,3GR%M~[[s\PͰ0`~Ai5?Y{Q[iH|=@Js.BtαHLz׏Am,>C%@Sf3F_ٚFSҚd1ǫ CPT}HA 0 S,pʃ>9#GԞU?^\W (5L٥Mxy]ъCy- Dlj U֙ROd_s 6^E A7UVU]u˵.qh~D7O:2!|Hcys^6<뗇 v}iJp},Q/o:^Iҥ0&չ*iAg%Bj-7TS)J`l9s;^TTfpA74Fל)u5˨^@<(]N1q꺱[xy̆qR5mfqGoVuyEӂ )`Uw;]yCfb"as=09W _7Ǟ|Ԓrs\Q tx_PWFzÕu5h=mtֲPyYY')X-Eiٗwx(rk}!? `aO/t-1/65j]d(Nb4?uDŃ׆_w?`udQe:ϫy [m,\ -vYVڄ0 RhF絾 -Qn~Ue> QzY#40X9Ȯfbw qxU6TԤd:W~H9ޢH[T_2Ou|30# ߶*,-+=V2b%\ݤ=y p ě9:950:X|y|j{Qk% _AoEU904|YwG`fDGoiGtNYgsAy`KE_&6T0Dĕo$9#.֓tdUgzֿ99s4Wɉ$dC`mX4 c?\80Vʍ<"\pf0 `yvIJs"x1g]lE8q\<9VP xa>Dh'αhoς(I~g R͘WO:v쾹'rQ,o[zܧV^dۢҖ:+BQ(IJ}0)ѹ;%fd lۺ@YXioZ[A]&@dN2}{;آQ^#%D>.{ U}fVjFֵ 4|vVYCLR(lPlXi88䔸#QWi~'gb ml+KPP1+ ;R­p2T le&4O˶VlFnxC_k;؄֚=3-3nwxPB{9 i9:|Ȥm;2n!#"W7Eflc8*%+N6y]k[$H«ŠV}~#BVuGvP0Ipt:2Aq+.@Kzl^ F:e˚KMv'Ί34 )2i,O aGePYN6q?cߑ?C]e{aߥ ,X2iY~CTx߀kBn,1` }PԆ}r!H3v?t.anۨXG6uJ/Kng4y[<̗#$-g[g81bqQ`lɕ,'vCB 5_@gN@_,םq(xo & #slkg5w^_6ڕ?(H1Ů^Y;FL0g zM. S#:UjEN$9|/yE+s]:ŰWT^V͋ThMzV&, "3禤c*t5hO. "%sF^=!Ms:\" ߈p81;lv"_&{{z㯺 c-Kє QpF(&0V [dQ}.)d{y ȄWy1COʋ>(2.XMё]Ur'1J+RL3$7/찇lGMTŧݡB\Jxr5Hpˉ*1) @uz)|b{˒.¨bx'NO.әLC-BAuidD[t-^p3'=*H1ZF!r=5Z|M2Ep-bF XW l#H L;&7NJ$3Na.R&Z989@A00w[[g͑quw{-#f3@(guq 'F~Oliq|4wW0TQ-U到=V̹->6{@E g >X~ed|+ῤc+7Zmmy_;Xooz(̆__qQ86n2 \X;8n}٩/XU!2s.^H/k %ŏa*nC/,CWmVsTbC`\k Ll|2i?:^ ݯ qDw~n^2tqjڧ#{}MU:H;(lOohQ[2x:3S~IU(`Mtg-g| T}zE5q4Qtv)*<p[Zaߍs[Mnԗĺ/IHk;Fh$bhKL YKp(*3 $ކT 4>c/- p=c_S}]30$p۩zʐQ6ÆB2%zXhO_Es;L|+q㶖^u:=L7[Gw3/g-͏wd_ 0?s1V:K﷿Jx,t)zH_,)ʣ/R6dN2h+4zhQs*J&Y,eUzS]f%#D>;] o)Oi2ɺd8]E*҅5 ,]O@֍օ9fEMܫYAic<: Bա$I3aGh_uxaA6#vELIF2RZVf[!%w]91X!^[Ox\RHMIS>ys0 AU9lnS &Shȸ藦pg0T\јz6*$с֪_Rpԟ2ff=q V|QՊ M[螒=򗗉^d2N=+ rMh8'#2B%(M{qKD目Ӻ%4R9&R)ncљ߬Љ-6ӵ3f7yn}/ ٿt[`:vSO!@\89ckp0jf;yB$S倩8˶jwd qfo}&c6UScn.Æ@_rf :0=+"7b3ܦ`#U__P2͕8LGգ }tUg$%}{vQ%qUaHc!BH^DJ$sN?#2 wTbG|V?$ܭx;"+8 XߵXPX?*o5BAX ͗?Y$Ҽ?:iIpȴ[v❘=SdH6=rs<届5UB3T=zcbUAuIEg?/I.U>Y.6뤉h8β}ibs3l氓8%P>:K8)G7ʓW"rb ->+h\B9^IgvC<wFi(#K^/Uxpp9Ĩʐe& ]_4MYqlNfe>7Q0 ݺF:v/=lM!`~>p | q!P~a 9iW%3zV)!4i.DFk#PNL]_1e@\`C->NynNYc rsZ7Q\NҞnJlG2p[,b 2⪖G(m9Tn$PɁSc__zz9V[E]c?,f='KRM#2VL.Eozu4ze7P]-%u"qe|?+:ϴE{;aOPFy.fI@|H,:z<' *ijc81Vj&Xk!xӷsZEL(m YA1Utj)"*H6DG52.hƽfurd!#U#z"ƲUdVy\~E%oHAAMlȏZҚ04dJU|)+)^R)FW@}u"> :/RŃ(Iuԕ!jttbbsOي`Js\F\?i 8 3)tW6KⱪS뱴T0P 7?3 RuG0͙gZ1˭hD>=F@/QQ+# (n#pq[Pˬ+7H֮Afe3/t5ߊW ?y:q-1תڀ~᭱'@hf9x:XYШi(H?f=MhLC,SޕqhZCŞI,,xs~k[/67i^RxK@C5{V? \>ne!ghsM $yiFu}zO9PV<؈vT1HӣHWssUXD|HGM0~iYqdkvkxh䠨+C ߠmY/IAg^v'{AjlV{Ǽf7&ɋq=hacebӣ^yPU |<-w;!&Ξ/i`.#| l A3$[ھE]CIyeG2;B//NRYEd>}}%F!i{"|66ϡcsl~J K} K}UK'!y0f=~p eKewpB:^ \[ul|08E~?uf2R#~K~Hw0?`i&/g`nX29w˲yha6jxPC8Pra̹ R6Ax2#xO <["b]]1@Ykq2AҰq_TѱNst&JEb*[K܈@;ΡHȩLHGsi쑤YA_ LTM: [p+_/&|mPl sN5(O녇 "!?0vSuR)X(AB, j=Xh 5MqI3 fD`?gk܇,b!0IuT+HRj>vJĆvLY?6Ku@,&2/VW%$ZI}tgpP^9a f{9J\!(k { -X9ᛱV9f+y6qJ>Rw C\!i+ug4L?mMɋ3w"W>H_QljB{TJS#|uekI8sYj=t7ݯ߽#TY(TNx3.GQ$ uvr_ZyiҪ Y xnnT=`i~Dz丼:Q&%?_&2r>Q_MpѲF9=`<ӣS=~˻д ᪹7, Qg$*: ϯȠ^GSQ X: nTUqȸ˞7{\oaGIf\&Q,ď)Q #'^ +mU";/H}+yŒiH3;}J$@ʞKA>x,ڽW@-ͺ^y+"!rȵxgeɵAiY uֳ/kˁD@n[4vOfZJ@_dFc{^.AuRk.&m%ֻ%'18 e8ܥd &Nre>npSTub[N WW7rɗMrfY4/ pIa+\z(&yվZe(Vl 59a,d2s ~O [', oo]KhPXK^`ZfC9im)HA u Ds oeQ+En6 r?ugjϥ> ')"5t:[庛D{_Ҕ68tBjǻ6u)N|7zoH\8nKVLʽB s)a Gqti.Y)lI @^,m1ݍ X=ڏQKNj :-_Sz(pSݻjJm% m &6u#|A%4N4әb?2b &7(LyDNynUX7$צHړS hٴDd%Q y$(̖L~~Ѧ0a@e6C]ϥhq c ({aCXZs㣐FyETM㧠hqTvYL8y9L=ᯈJ1znPph {ICgNf\ ^7G igxz>s. $8j,Lκ͕ʝ׍2Eږ"&B<տo Ko̎X\{v1/\޻J_ADX.VUE%o*A05Ζ*L^+:x.[fm "a3fҧmIbȽwʤ˟Բ -Lv9􋾾WQsGTۡ}8 SU]Gm[&,bQiLZG"l72x7א[7*y `؞u[4slQQʧ b eX{ą"c8èv0qDL`À> x7k5j sM[q@*܊J`$G p{(DϠߐWۗC~᳈h/o|?&1t4@${P/ͨb`@mfvc/pB(0.Gt3@Ef.f;;)[tQB͊y P2M? "HMZܽ|*O=>蚾JK`r:=x?,t38A=9CH]mc,f vl$HFdK=s<3y&Oe؜p7=L ،g4M/c |+ȻՔQ=nS*AG,#T=GA+lB|6 fkZ&{k#Jّ¼y>{jL7OFY?UdTt-ȥn6Y@U>3|t=@|xkˁFOJN2T$Pyq=q FpIJ&TOm !,>{ tjR;CsI x~QOғDcxs6K}0K}No_3趿5RXt!Xnl]xUei 5` $DPEY'{Kyɪ=zR tN "zawP׿% AFMefuʜi.y@@W%`(%/5uޮyQ\4[^N3?a¾0TEP{k ͜6jB\b,P/]guo"ԦC)hR4n/Q,XK< ȶ:gwvMĈ ݢj諾hh;Ā>8o)^ɽudiE7 6-~@ ;L+au ~gVҺWՕ5R~KylI[BWZE$aU-6olWq}g# j8Ibѿ[@EYAt|s72ER-F٬160Fw9gaN2D39#4eLv('?@C?˞) 4JحN@C 셻pa>!,sRgfJb,AO?{#dMUJA QW;h9_jRn8H?-˝0E9Okˊl)V"2B8)5KQm8NBs~"@[P[gbMn,h#w&>H դb/ȵAq6[Sr`0AY͔4-E"alhT!4RNSֹˍnl:Wfqb 5:E==3Xw 찲4̏xd92$.8'9 RIaִӣI5!%,M%ZNWZQ ^2\x*qi5KrY u/kۂli>s.՞RY l[6IOPʕX$O#~2|ȳvY#aOc"ia!U(yM[V+\(;ؓ]a~ jJ1AW 򲊉HT֮s'35$ӪJ)74kN샋$uf&TLP_GA"y`:M ZV K0͋ QPeY'mP$06/|֥7b|I FBaqдZEѪqzu4իL8 0]` yx(-F[iXmY>q*_~ q๗#Ps- 2~o̡ڰ+&:bsnh ! tdr֌95XƄC[zoC.#P򐎒b^s/Lݾ.r,s|y[>]Dd_8;WmqWFՎuTWX{\+O_5SKBEY]iZYGqD&K}[FYw,8iVq+͏𛐶3ik[J_ \>! Or嗒F (?[UǟkN-ؕH+\i:5  r7)v8[G*|2GHmQHۿ\BXsVYQm̪c';9M3ƒk(ܦ׸_[~>vQ]gĕRrT( B䄩ЎL|vf)s>NdcVn SޱgYZ @@-3Y% LFormula_DerivativesFormula_Derivatives.Presburger_Formuladocument.tex7zXZִF! 7]A-MՋhvG"uIBm5L5I <_fULLȾ9 /CmĈ餠+ӶI8jjbEښLlh,2D"@{x/HLs5/v#͎X9~Jr¯DftyٯBA[3[("o=,[!526v]3{jvuc4.* 1.(؁7˺Dlpæ䅓͖а6 uVvxC}ksw^NoIJja\+x>),$v /{%6Mcm3sWC$J/u"Ub "\w𘕲=~HSdLEi*/FN?'k0ud4ѽ²D*1g/઴$72 X{7~ݕOG4Ƌ*ʥttFaaR ϥwVf-Wi-JNf qTJO0S'FGLKNIvMT4kMk>/&KS؟[_*ChnVTFG'J+@.[Bh ׼9$p2]qd@?_"92/ Gla"$o!ː4Xಸftsp`ޭLۂbc'~֖\P&kq唗Ul ?uv5OxeQ,Qt8 97F$u[/fwSb ] !r4#a2T{\u$(R6 av?CWv},-lɌ?.ȑ3.OC|Y^HL N+\ixlx5YOLYhD$N?*v`=75wWhĮ(Fվ0g awr7Zɭ#!fK,+~3.SJ{ &*8 Z|X\z61/|p4a";} mxe 7\!1Lw擂ecJa|U:mMذ5zi0qtF$xuîLE8| 7w55hPV>pAfWG׆Gڼ0N<f<;7070F/E򛘹;O'hG||yt|$걄 !gb/8НtDh e̝Avi@],TV.S ,;)_ rEuRa ?s+[U#|KW3̀$D4úLA8`XDKPZ(UzL@dc?ۘ< j+)Pb%Gy{cJ5NLofAoq*Aj!+ކb GTJ$G@)`.@]*Yܢux&–M8$}>h/ck= }'\Y"KqmzVN[ }R֏a$Uhn=~&@-se!Ӕ7n;U></+q6LB/O(6.y%RDx`=\ivs/sjrv\*b%|-/P*7@tLW3+`xNfeL݅NzDۭ0c70to0xg=I(Mc-t^\7b.zҶgQ?I=3/ei5{{ 90A'WZ ֣I6"^H6f~2 uЭ󁻃g/»`ȯjbk4oNjIGi u\mS)H-,ծۼƻ crZIF"0G34a˪T2p"E sYHond?s'3E(a+c"3|`͘6QXb^/5@T\xfǓ&9)IeYjzQqWh 0Iwת ?l"Ό|ś+ Yv_y_`rq DEJ=YWßh(Kܰmʄ%ÁT O i E^E٦lH:@GPS[ZsQElIGgvI jw%z:FMx0Zٶ(eRطuLeH!:XKh# .Ž+qMjf{xJw(e(ԉeUb8jFKbY:~96}~'{cѬ yP2n]Ra DIŽ?ᄑ]!c[adhwqiD,d&W~rn-&;p?X0o0T%&8C*b0BڱFi aI]r6og G]Ε:!擞"ETN*_эrzvTDPKO}2ȑP:L/&fPÕccC5kŎgvѻo䌰m 䌾V v'R/)o&2;p,!S;^Ko`Iy굃a\j}yh׫JhpJb8:*f)@+AUCѮڦI:H6q/9X#~?*̧iNOHۋ= k"r5T?~vOm![VZG!ZBqazțaIXn zp6[=F-GŇV*bq\g-nk' [4a)<,H2n3mB"+cr4Op9cBJ}H^??.Bbr0JɁxGy yۨfyw Πc{ []{\qWh6X%yI\1n(m Sx\N}Ue l꛵o-ۢCEZl3FP; x]>ޢ{J؃? n \@i'%ՂZׂX Eì fF`MH+퓒/Zv{[sp;mk@W)#*0nAZy͛jL';vh(ǎ„`M|moFƢL)\SL0'~I$fgqצ1ۡ*uUM-\Uv~A@pur"G:bz $5ǕpiK?{pe0c)\b8HRb 0:!r;=Cl S N{)AIc5軲!z :TցgqlBdRdKk$ ;V G3 Hp=ŵfY!p פOsG @'tэLmL")Ҕ:žn;"Cf߿`+dػQ~ veD_g%Gj>HzLmd3_ ^B,O6>naݗ.3VOŹPa^q\c8aE|Z9_c|K {5݃АFElށ15 fк^eUX6e*->E8,ض42 J"싰X&YelHxQ5W Ÿ$6I gڐE~;+lTSג^qF6W6gz4g%iRsuՑk7\a"4½Bxh-e#ģ 'u5'W" $-s3\lG/W}#-kת18ei^J[<@f&~_l؛5w9!(Wݼ,2Yת?z+!f]< !%xT!>pQW~H {2EHY%k6jlnS0aߩ,V%Zf dD'Wkk{HK?њp4pxK&f{VigU| ܑ߾znZ{xrg1WQlt7N+^)d1 @ .kh84?c6{L 7Z$$Bw _btqh셩oN6aﶾ*Sv,^۪!z/*ʜ ՙ&ȳwܰaOCkjM1u;Xr{멗!f &(7M{ΫoD19wBɈFCU~Hf-ஸ!.|K$O |x0;[ [xJ]@ù?&̡MhNUe-3t"B 5<K`?W|I6Ǽfe/HXinWǣ 4G a^/H#z nؔQ *ÁIQ y)B#>{}߱{'઴ށO 9S$QO@]piDj[ɳNɚۆ50M=M/)9걟 qĶ$v ?u*S}w"Na]5"FG-.+p]iUѡ\9"y.A> /8@[a/9i@B97 (XF!;,0>VаTQ/4'9ZՊHEȟ,!1nV pm8|n ^G8FZZDA*(u[.k߁,G$I4QÿUAW{c4ﲰykZV\" h$9txLoܻtY x^CH!%\[9Ls^ TA?+ Ɣ!j́bCgfte|y{ Bx"$r;$g+ Qb_&%2kUހ S|P TEd~RF5J#Gi/ThBNs"CjKV(znB[wIR#q|\uzTgmEݖV=ƍ>\ 9rbKϴVkuY'[HB Gp"Y26eTI:Vܜo\Lۯ8Q x~̨O|/ҠHuLZbw^lQ#naN_Ni ԣoNp2@l:i('taW"zDG_[j[[ џg&bL/,t{NVIgu'!@kߺDLk001O?qR~ ^P嶩@SLT)aꀚJ,󶻟z Z;8uDs6V?qxhP3Ǫ~:L&CM:J=W ,oTҺ߭SC=W \`$+1wNKF0}/+礤k|4vt 3=h~CPL(7kV g{"t}#OX!ExH 摽yAz?0 aht":|F,y5NYEA=nˢoF×R4-ʑBo5ݧ]&Жȝ"`M'.O0,)LEg6mWW&h֦NN 3 M=X?lwF՘jYDMb(r] \dNϕG EJuGu@xD_2/D/m* u{ irl mךAS xʟbuE+DmG؍H:J_!9PqBfͧ23K˻oT}S&C20/LwZ'-82q00A7F\.a`R f2SH@#.P ,Wud 7ʴS Va&E=>,+4}&D$44b? /0ܜCdešty=N8MƜAEw? {*hgc$û5@Q֦-Dhܠ,Hb2v{],﮺UӈX˗Ը֐$b}2AZԣӥ+/H brt&4v*":%.44 W}0bIԘ f&=5|(|~FUPxc+)ax;hA)=ePRzȠgYZ X37% DFormula_DerivativesList-Index.List_Indexdocument.tex7zXZִF! ᪺!Z]A-MՋhvG"uIBm5gq3P`J깓YkqՅ| Ii 7I/rDŽ:W1hF [$'Yc!#AFa(/=O@@,2;HГAc` !\k~P$#32{\ QqHL瀑$Dɼ QF&͕5Sϩ.%}0zڜ/ΡB)qwc=@Z^G 0 =yi*x=ir#EDRLvE>h*{uW>aқ4Ox>J M3:>cG4aaR|ie{.UN3K% Formula_DerivativesFormula_Derivatives.WS1S_Prelimdocument.tex7zXZִF! T"]A-MՋhvG"uIBm5˾_K>H)mGAQ)1&`< @] l3:Pt]DE&f0mIE&*{S@- >*^T:|:[Q#1Q)sj7=w4 ^^Uk^- 0|VqXӠhFm{$Icic`bau-*e*Tw5|"IjO{řPeoQ[-M8a2OgkP|Jh!`<=j dh 8atG撪urE_51l'tV2, ҶLNF~%[;n_'NQrr#-c dK}+Qu/9#8n0@k#PM`fF{T;9]2_j8y1ws\eܭU٠StpZ"QP?uIb}N|Z齴n@ QӫtIF3,cxAƅW)L(DF  |Nc133yyy1"Fow\ԨѱtX;x*Oϗ=Ƅ?hWuK5諦D4oTyx>rhr@qo9d_nׯ D!F-F@ޚ4ђ 8wmm oiE=0S.Vni)'Km3a% DFormula_DerivativesCoinductive_Languages.Coinductive_Languagedocument.tex7zXZִF! 8)Z]A-MՋhvG"uIBm5zgi%HRy)r e#N*; uob$v18+Bh5-ZL5] ЋĄ;dO|KF[Wo*^պHslR,#:k y?e,j@ h4W52(,د ]#zs-eeOorn"~5CꚈHbx"+/;+`޶:̸ʈ·I,3q l^$ukb]Qg9biъI3xEv3D#G)Vzp:Կv*;Ry) 8V%غ+qo@:h?:xdT gn 28S`>EV^C;Z%GlT vM&zjN`~o>kX@cëv|^`М'G2e^"S 8njC\ixLi[X#O4iբ [pU:[$VtB(T&ڈc/~BV@,f)|gFRH6,^mp&9ƔVe1C_HdG?$]2Nv#.]']&xr7bj˚SoGp!,mycisbrvr'DxM8lj\9&=p z];L' hrPHvr9ϥĹ$Zᵑy3@xD) Wi8\i/kʫOIS״+1Q,|N}lG}s?PVf~9[u"oN =aCU//ׅNꦓ͹ɓ+ 6IV_otk? eGRX`ZI-!Ւs=oXA3$_&:}lU\T,6q& ӸqpdOܔ1ě+!ŊW~VªX=t!ܯ-ڮ]64Nobc}\V%\Є\\eRYZԳV7$nL] hB Onf4Q^gw kP A {B7;4al[6n3Wf6-S?Sɟ)”fn=XܛYYm;+s"QoxP1R:5smM5AJsIf,GFsȋ<)uRًO'fX362mo{3=zX //[4n5pbtEg{#{_$;k2'Tcvys8 I;լvdQ̥ U%HoL-Tϩ{A_04=XgSmnF8xКvֶ8DdI͵Gjo/yN=%+y hAYk2)-6TG!zmpň3&]j3k)F 5 j`h%VGJ>swHYՠ`ENMbFtl^X!9B>&tljM\;֯ʎ=+@LuzY,c.P82%"1GJ%ޢV=m+_XGf DŔT*,gG} ̓Oӷt@vzcBJM]edjᮘgUk|yO,Hs\+%!ٛWc2r2!O:gn1z§Nmbj\Ŗ)SZ Hs&2K,D KګG,W6߷km+]^o6ZPkE^ w!!*# v֋cI:u#F/!w=awO&^ҰqmmH-gh2CWq- i&'Ыq$hjr]7JlsaB]ՓXc:M82l!qg=wd U9LА䨀 Y.XP߄g<4+[4Ev/%Xth?)PӸfy3du5^w4b_A-X2N2 SU[3F{aMKEt.1ᗔ @Zm!%hOJG,G.V}3w¯qO1rA46F;n5J-»Rz+Q2Y*& %i91&ّ#P4X9:4HW@qSkKe|Z4*g Yk2CYt}vC*M}Vܣa>ݝ6s"f/Qm=?9̤,_7%BYZ]e: ԞϐN1l`bq"E]k{ݯt{U⍎!Ć1 -LuQBbbȺۚGoo-&| /Au7Up-p3m(+DD>|iu< m7gwKζd%&Wy֢2K!a!W&ysd6f&d{8-},摐vGW^Auђc:@CuߝGsT'/yP*Tf«7pcg{\ gXc2$'݁68 Z(:پ#vYvl9 ic? =tf642;\b I2e\ZoV)s> ݇]?: WJ ^KoD!$Zc9no)W -}$5*jF&G r<>Tf=7eh >uc]IWpgXM"$M:!X9p,%&#)-P9oͲhEÀ ] F@7(|$3c*;Ǐ|Hێw 7^hXʦD hCߌ0geH{^5Οr;yvP5Vl#|p=Ę {L|ǁׇ:mmKZ}N/Uډt٧˧>5P ufWtj#9,n p@ gٯ2[\K 0.G KcrW؏ڏ8Ht l*yB_a^_D4j915-.gt\BXJr{sG}zb߷0?p^{ҦSm w" $a^ ~ȿ1Ԝsh2 i4;If~"ǹ/݆m1_F־{ůl?rz%[Y 噴J}vpV2~@!U_ePo9IMm@Lu,`˙%2TR>=0/L:f@Z tɍE۽F:XT2GyLp~XVhܽS]SfRX'GH'6یmG hkEWkZ35vnS1PΞÈ4@ 'J40xa@I Q03$kERa6wZPC.LR nrTpo7 UN=h(^悬o@n!eя)"f(qs7Bوxa~{udb*g+P ǖyCɠaX0:{j <.5n6?HkkI)V/N$3ڸ.m Xaj2ţpzBݟHX-|/%iذ?hи%Ah OHQ)ԉ|(|mAzAJZq 45# qpQ i? 14?q~dsC-[7O`ג%* Tc!,A>A3d:,~n*Um{!nҭ,BV˅DY[Q-bÙq* ]-bߴzaBP2Yl񽅨i$hR2pej.[r1xbw?6:_kSWcى3c'GYQ,*&+ FC$ J ׄm[WCLvg"٤&hW?MR1f5T4}5eW#pV3 ԈIT)RS˔|š\+CځS^H>/>GZΛTSז31ɣN[C!+SKB6[+[rsIy|,MZhr'>3l;Jvj~ɋ=~1Gc[uҝxJY_= l")\fq8aIu,.U*-  4_6p9gtCH=x3ڽڟҚ`OY25}fͦ 2ЉYkKSd_۷mGv D;T6RV|$q4i4*$1ǿ"nvX׋ms\քoFչ8S,l464P(vغ³->QOhzk83*@/D?`a-vUz4ܙ Ƀv֞tFRl)3 %<%w 9u@qPp1GJnNrp>| }{y"+tfҮUyul4~J݆;يru#ʍMp18L |7O!'Z۫OD$!;+M_fۻHcd |z*wﳼd(l Yqbix)~li y- 1 c|5Ǹnr"fa|*o1Ra1ze5\SDct> bL* ὴ a=-Un4'ӴQJxR(umw@QNy"xɩ.qD?`L)6CUMi?8v`ljϮOP}K#úiZT0TG >Vw[9Qc[ Yj%wn=Z+k|ujɒ%rszQro9AJG`.RlѬشqX*l}P$AA;ee4H;<2"~Gyw(3i f3Lί0Eek[YL_P+˖RTBuW8~ğ/3nV$R9*"Ǎ4aẂ%/֤ Dob53|ah1rr Jۚ~BeC2#s]G|Li91cuko0Ly*(bIJ{B]&u-`w"?v)pR病B%JkRH70,t,}pͤ:__(RM8-Xf@##ĈMYd8*]V$ "ASq]07xPbƧb#j8Eg<\.v+-Q߱yZ$+Gt]-InB T -31桞立2}e]hK\,H ?7ݜ?=M (_poN,JV:y, Źnznp?]1+₦fg2JJPq.glg-ZĻ|!(ԙIݹl_j؝e&]Жr nSG"룭iN%zLɲO}ĭeT3u=w!y'%]Q$l}XĜBU@{ŎMg`|*?C3oRC8RZDeU~b8*@/kyˣ1YfP n-5 F;kщ ׆ֹ@$TdjcǰitE}:qi餐8-H$†"%f2N l6 _L]=M6"vk#WN~j!Njak rjzBCsIrtFz\>QJ@Eb;-/kŤF">YdeD (x V_lpeՒi"!pn%E [`Ҽ!EXfC|\գF.Hm>3wC޲sDDt9QlqSc{~;d'=3MGO_Oi,Ž#R".nV~)RϢە\r,W<#,K5EȏHLQ9j!3d"ӏcxܼ-H Rp2˂:mx|3l'R&і%q?xv,+bTxt`oE'y>~vT1>Նz<}X͡?A#%OTva: [[jl('Bϖ̐#cc :rHÇ27%@t8G\v5T ؐ+/IMi0;^s f b%t8K$rd.HϩZH%Bwk}\yp+fN+l,m=LsؼGz Y]j9\z{{6@sncqVVZBxc/HS2>An1j+l$PL ޸״]>[=Tͯ gdwTEɴ?TGjHYŋKo*oaJHgzZwmUupRA['*DRچ  \<2 A&7CQbA3Ck%a p?o%{uʧle)\+u\C2r}AmؐzYrNHfU(mwB5ƌ_du~kJM5)UNմ0By%7mXq[adPnУ0'8ThDng7m.:PEJܨÈ `bhҫM 6q#tJ00z3@6 |ЏeʙzUG 9!R9mȼ7xc_z= ,!s$ >j9z8-ruH aQёwA>gP!k(2x GG:e=~ U#/o!ZvuAo>e >$V9j#` 4蹅u/%:b\r ၵ!Z-u&'aڞU三 ~ΰJ$i.6߮{/榤Ig:w)_lReStuȖ=ؔN2*o~C`ŷ4,|E9P%?c-1C4р\CzaIb !3C͉9~M}cmcJ!>iG>;j%gP)Πp$QEo7bֳw/8^Dv.G=$|HxK #:tf Tt4c٠eO 1s%_?Ȏ{EKſ/͞(V)gC ~qpmdj3v ּ~mGzJ9N '( R$~zHZNKJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiI$L]?\jH]#tȕ]D1F&@o9Pkêdu_ IF 2i[D8O%1 z;w ԙ#R AnrEO5_o{D+SI}$́YB֮H4~mj 3SG|%UN:w~(1\;5Sg˜Q߇Q>zOUpFj\ /^溘}}yrK EN$)MjHYf[s`WBq *G $d .;wFdBr,7ISLr;tHC^ ^"P~3/5!m?!o!΀Dcr ZȇV Y fCć. MD ~C w~OwX%hқ+˘SL6tv0%IQ4&5.M. ~W ᤼Np"JR7&I/JAR~]}P& !*c:}=@ne F9 " {k! vy;lK\({nj=Bpqc7:fDD8)4'J􍖘fd2K9y%XHs'mdV->AFj޽w BVZ$6,g0B+'{ԶYEWʹXwOzOcT!>gt›fBg%/wX@T 6]dK{6+$vv?z^{GqPKh"RH"a&ٸ/⻙ݡNԪGM%; :8ʥ7"̙p- xUrUE](b/uDf \:Ԇt@iُ=n5F8+ĥL6"+ۭtZi]P"„O3zMo%v/VYS]d')\FԫQ&ji.*1mPu! O{iQa E6`~N@G؋DBErP4XᑧoQJ Ɇ <FGJhOgwƢ^AW"}onSiڨ`WHvg7a?,K)OLi I޴zM&<qK@-maVhP ]!.MU:/*`M~oV>7wXaMihU\bUK ]h$ژ{Ii_,~)Yw"&!/ h?1O 3Q$:x"Wӓ4R5\!;ygAх2  ov6֐cBNʝ084ݔo|֦1a&73Tf ӳ?}_< f 9g!e=N/ۙvAu {r!)'KinTȫdÐ.5Ke\Z//6ɇCE(awC"g"4<[ۏ:zkp0UyɶOۥ$ƹGߞ;3tKDЃ~5@oeC8?% n** 9jJS"׻!a*Tl$>AnGܓ{o]J~gTE1uEܚίO^tR8τ6 (Vq<5.'PCV"d440V' -ϔ89r@]l+paUsMvipvx Mk܂Osm,c|PI }.Q~ yhE_ XQx|YφoxK\Qѯ,QEy!*Ω@yH3oâ\mޜٗ ?47nZCί6oQv%2%[)k߯u2V:Y t{n1BXRȀ.Xxe0 mꑎ@@d(v N*yANq1Y[뛰?y3aUJ"F&V`° E^O1y(I@L ɺ L4}˜"dlp%ngcUL/,Sy1,{F/ÕxGA k(?>|,[V@T`qNłV;5WG+3%l5=fL~|Eܳ;GQ &zni v }.Gufّrgٻ7B&mӮbڀ*懗huHx-B:$1Wd-|cr{x&eQa0[}NU5D\ Pkrۂ/ߌ7{eeDSA-Yq1U x -)HJk=ӕT,S+=T΄m½:bǀDYBѼRX/7?znx\~ʷvHo~9/elkM Mq˱%wP@a$61M=({0I"ZetLc/y9E:߇0-KG7g)]:C_LZn&t@\3jHDߕ_ z2`vl? }kz p3Q [LZ (%Wʰ6Tfd+$LO~Vֻ ݡ庆a>Ȕدqj]H"{Q7qd(X`¦j2uܓfc gG&!; qjfh3fn_{qoV@ WiC1;d=~rbo3EDr:[_B _p18J MI{5ǭTaEVEu?/}2Z /&R MP^m4y .7 q*YvZr9\V\9=!aģ}w 9mѸ W'(Qmy2g1YS(Eub3$!%T:<_  ,1M7&,M#naaAy!d ~sz9Ǟ'29JwSHZ"9\vTV$gln Uڒ OZYV.!7T 0VQ^^? C`-^m嵿z:+\ݒѶ&OU79NgIW4%k%Fbq~~UNqsozD!%н}X\9ûafԨBjmSEWk,rzA2 S'GΥ6(db@Z oTϸBi /HF3䷦_ L `mKwDCqt LcOtG4`Fa_@$leN48e>VnueĨgрד,*oc# wMb cSwJ#Q.B;b )=Er0;v'~k{`pUy;k|vIQ _uL6^[ nkZUGd9!v=tȂ@gCf{LY"8Wuh5Ϻ7$ Yd}aVҜ(75%Wʞ @~wݓ^rK 41% M[fjS\=-ţ7nKO*#-R'#Y⥒q0785k ѳ DUZ4\ki\iv9ni]s޺M )w\bGQuN> kTfX\͗!tUԠiMoI[P洴Yp97y {4yt}OU ѦJ'-G0⚞oHGlSRqgmn.Q*@Y֏+pb\ɗqnLHrtiN'[jbE HI_lBW@ 5Cu>J<+vPv(\H4j(gjQ3/e>ېvMKx(Nɞҭ Mo'Pؒ"&ujQ;, 2X2:XWx)B[2>_UǾͳP9/s<(n~% ;Y Ke\7P쬑J1d+Eed5GPUƌ}]zDݭR;axD_4<'?@7^ETOJk`\UǑX-^L]LNb{D ܶ -yvzUm{w,j[̏X0[c밢e|3p"K8%/ h͡Y(ph,2$2CZymjRMkoWx63f_Q :Ob:|TP>2p];n9tf+t %rQPBq-Fǩ3^MI4ݚ?9\= ^E!\0X_/A)#jv˲!yɹ4eX67c.$l8UP=;>_Ɓ{uנ gLKdѪG \{Z=oNDHꐷ4k>aഩDNvq6:p酝$Ѐ7Hg:cN ND.~%Exu?x(o' ⹊*fô4٩ Mxtc{H"lLcb,m'Or/,` fE@Q7n iAnl-u$NJT!-ɂM@"lܐ̸as;=K11aa?;_U0aS<;ic^EG)LDu)w6;f;`2 FW.!;9XnHQTH(ImMBpoJp;ekQ!W= (T?)U{V.ofOM&W#&]mG.K|GUհACր YX{vmq!`; %a΋)᥵A]|yyIa[>03dy)k]&v.Ƶro& &+K`̉ۚ(SQqt8YN9v{)_7E|ƌh>f_wf7.gbP'1Q8au^g]<ⶁK g7#y9].3)C|$:GnUS0"gq5Xqy~%2/U6x+w+1CנUFbKZ :{&4"v&f57Yr_yG>} ~{a21'9Obj97(tB{$a>A2r'8 z }n ]=RjW]9@BgzwDAZJBl}RTKwJtpjC΅hw&{ŸxmS Tj޽T L{`kI[TaKKUBV͒5TJY ֱo]ij )$IU:={szĬv[(5WLZ|gB ,A 䊞!]*7Q8rqX*T$RwџCXR(Fn~2ͯ|Й-BdfUއp <9>Ng'$m Je2S7T#][D'1=LOT!qww 8mxU ᳱ]kvRzmqC3"7c&` ƟNK,~#S@GwV! ^j"-U];+ICzMY|6'>4#j|fELS<$TuJy/2"~5eIlW`sNgj?}/h*"(6߻C/wX^tTX]~ Q /+\]% dbi[o1_bB65gYZ͛'94 MGl^bFre;rt;CW~'QNzV]$%GZɗvLJr\ňuwgۦ׷ [ugꋦֳDlJEu(LW-"~)"&mD  `mxxXfeAExgTэ~{K8ң$kS yj0bB͂<%;쁴bF:"+*`]lčzBq,VIVbL?wnI/7}ES~Bik$e%'T:~\>RF2sDM[yV|~E+AZ`CNNˏ!FJ BȦP@|`/ *F<SZߔ!F3@?O\We}<r!b{B.߱s!B]fc"!N{&x]zŸHzG|;7YLa}NTȩ{/a<\ڃnɳ_jϔU4B蛞Fk1 puGA  J!6IsF-B3h,+JgA^7@t:c,?yf2=v;^o9>ȍ}ϧyǥO-,7 k7*> ,wm]LUgvv bNK~Gg;_yjEEᘾFuͼ'XFLaPQb?$`S/E]5g qD\|r'C@ P|ԁ2 ec'V.#-M6p+& L. ٹQ4>g5H&RTEsRq(w}v,㞧'ʘ܎\/NjL_AoRkܟbwþPuV @1Κ3] ,nivIGWtak0B0DErxbGzzZ|BOB{{ *T^ D: kО'cÁACG=; \ `vQD' 6_Hsr=@7k|=>P@ڊ7r8sÜOVb#ϐ6/! ?PSqRDIj%rBn!A0[꠴=j'3(%AClչ:\Vm92Iۻɀ4LSvg쇦)󼺢_9`A֜3 p$S'֠}wtH/)|a X4\4p1 Rsv"UU&$4lQ_;ȴh>ƒ Z ߽rb*9fBs]~R&+Q㲽K3811|VkI@Xҩ)o^?Fv;I^ZZ6.Z DS M50bhoe`RCTS xBU…*%5Ͼ䓪IxL%/ MQ4s}I\쫸S &]x'o;]LUG0$#-\,,AN7Ju ?A_ [@#o0q,K;lMR/]=Zqy)֙)Qm'b\`ݼc 8g V×@#A0nr*.=^_k8,TmZMY%oLAbhvW=W6#TT 6#!&uQYJUgdϯR'Q⼙Z~hy͑G슧t,r)\8[r9O\(;_5Us!Ʋ3M*$7p &,dUV; ܻ`oA2-_1 rO],kb(uQ7q d'S=T%p~hM#j@?B?A~O&EQ7lX.JoNE]ABr$dNFbPo#;ykD8#%d|g`SOQT8h m/196ɦ*[R\6'P47Ye:0+:84d.=TIZ5vTގrU>a=OfKxЍTAj93I4Hu` т/}oClUK$JXkI^D2M=W}fuduPb7x?∄#e4WiOr z^V]Q_Q~SuY?u@; F^+TY"x\dGy0$+#Q8,(gRi+v= r/2%iqQ1r(Y]Qa,XYF70 ?Mˋ?^q_/ ) NZHf!j5 k_\&><2*li)]ͣ:EC_7WOڐI#2 bc]y*de"jDBK1$4?6 KCֳd$钣#γeKiDʤx}?Bx-X{u&}17> `Oe,:`Bg\&F7=kHh%BS{ʑUDmvS.:[Nus6Yx L| C>gybOo$0ߜJgYZ ^3M% H)mGAQ)1&@?GogL5* k=4.Ic@&C']m蕮NY{,\Twx;m{T{&1Na "歩cȇlA3k# JR/ϹM-ǁyϕDzrFK߰p2IlEw'L>a<2?B~Fz-Yjbm 'Wo`9fWl!qzrK$,HٰU?3ZO}[c@7pv!2);E~ L"l/.fЛ,ݤ6#ΐ [ZaN*YT|P!+|EeC 66kDƒߖOBa$GK]uVtJ|%'59JeOR!p }K ZgzI'G }8 qwS`{%Yw&!5"FF] ~4 }enG< PPle:j Q w)USәHu2иtm._ Nj/omeЀeӃų?1h)(NyHh3jaHk+ Lϙc)$(Ή_$b@s?`^ @6?޶}; [` A66Ԝ&o-G_q t!Z\n\\8Ǭ?cnEJxد]9wQ2*O:3U.^>ո$巎lI.'bnU:#YE>!,yT7`ߒ"_M}\w'/[; cW(V-|/SydrԐ= 3QNk:?Qd*Nw$D UOOHj>a@<؝]%rNzu;h"Z T^m/ DO2B\^2&mhEQ@^~>jaFt{_q3$`7vhvv֏SvN(}y@&uF94>BY ^wRSfRrc}vHbӫ3Յ~s~FHؤ6'Z:"Ώ⤒U>15av\*w[g{eb>8}-,vA@(px %ҏ5H5%xze3Gu1P, H6mٌ8q;$=Ad\ocM!yCIPo->Iu3w͎.9!2E&H_d5}f xEi$$#eLJj9zRse F/e3><0"<.r HHlgz4t>heS]ʕj}Q2>!JM;q,|"Ίԥy8bEl*FOOY(CqL<}@f "Ҝ &.*\)$%3ev9zuߣP?;0^/'8xE O-Nc[E޵3eWȧ+ uk ;E9ܘM؈HȔ8U1e 0ٝ΀ VP23݉hhB .`QT~F%V K+yO A(E-/(*4q9w~ j{rNXoBwdocj+J0W$AT0PTF u@}H)Z٧'h$Θ-C^a #{{;'2L +:הy:~r__:s^# qC9luSAqDN7@ҠFo&9dRi"7ȤjA}|uP\=S6K0t2 PqV *ᯟ^Q[,^@2toJ5G> tGTytRL=i"Υ@>fʮ {e ,b${~>-U8zf7*P)Ǻ$fN*BB`pR{o !wGz\uAbE<@/yQSD!:ɅEP@X7IyCs#,$44rS;k) ,nbiE0 V<z2ʫv8vbtkϊs]`rbPz9v,`YFe,YN[?˶ ߽qbz͜io]b1:O/3TDyxT吭B7"A=P|9bnFb ʵxl WI!ƏXhjxo=F+U#,M):w6_-8.i8 E{ELSra=ӡbf%C<™[k]jG'+$ {ZQjg=&h-~81 %a 1~;^~$W&a:{ʪr)tty' .9ba8Q\꽼KV!}b@By%QB QA$?Y,l9;wau?q3-.lxq)T_>ݤXqjLa*DNȏ&9*MRvS!~ /?+}[oȌH\>BD[O?Uظ2{ b[ՁAЏFx r3YWG8.8S+/a(yӊِQ nFh[nRw٥UH6)\F-he֊\ c!G6W~YB޼Br}h:5*f=K3Qld-yy(a,'>xt^\Tkb3tУJ*y2f`;YcJ':3+6׾XW* B{ D`·hѩZ7$bF4i"FwՓKj նEmSjQyM7! lN"yt{A[iBj1 6 1Oka8.mAud!IT]e G53I0OXW#u0αQCd֋._)C \wq\g*w7&ud?~K!Q֨~MkQcQr\zs.LĂw!jc"-BaYwhӹnP&8GǾQcap&dhZR\ v䥅k3[@+Qk%g{&Y=fkkjI<fMlp~CQo?=4zb}1?,a^Zn8(}`ag(GX&ϵrB*> Uq `G4UAJ'i)B_,-d@ienV3$=ϛv?C˜4&)4kH`/:~#LS >5bK[mflz2Uj_ufQ젽m@,FZFzRkwSp)dmznGhs(io줎ZVuKMv7{-#*sV&6Pd4q(!億#ΘL3{k[|n?YX/7(? F9P[WieV+\@h>hV:pLA*mH- Rϑ&6$nLTMn|.$7Ԕ`,(1EfܦX ŠRQQt@ބ5pAT̺AĦܖɠ0:w5Wxe(7I'l <+QpsOXNBf"Cz9|vWT!Nf}~#SgݱWoq#eAbψ@TҐWF@ү#`s]wyFDt?Jfa51,3{9,^:nk9k9l/$KT$é xL Oo#DłHK -IX)G\K5Ҧ{7" 羾`luc[-ǡa=kog? \w 3}Cbq8#XB)2ҫ,nGx4}|C.a:wHc@R Y as#H4\[3weWWZSv\ˆ]g΁ڢ,''zMd,U ·͕s*x^/t'Qx)8ǩe\JqZЕNqO2 xrl1gW'<된^ ؼW?pt7{ywQ~FEuB6a v?:0ؓB7άped&,Nn9nEըU

GgYZ 3U% Formula_DerivativesFormula_Derivatives.WS1S_Alt_Formuladocument.tex7zXZִF! ;`|]A-MՋhvG"uIBm5˾_K>H)mGAQ)1&2FN?:9 ;|B!Asw7&s̊|8߳`CDs5H"ɡU<_۳G8`툮OjW=21Ƿ:b98$? /ɠõ[OX2y)F2P6Ha⛟klՙ̨n- g=S!gIٝ"ӻ<5>5nBJS^nF"/QgkH\ԟx"&`ŒA;J=CF91b hUܠm0 ߢb֓N|ZtbVKsOMyUU[fEk [6=@iC(ޜ3NL)5HAw4=[tm&{] z`CtU!)`2E?צU91Zg+ans eˁ显'Dރ] ?o3܆5C'2$pbhhڎrvhYuȹsQ82e]r9T[1Ǣ+u$b Q9M3yRMbEl`GTIz &Q eYѡVm4K/bph)R0$HoRzv5JbA':RPj LU:O7OȐw%zk&ܙME8"j9e&g ٱLn'S[]QT< q=IRT4/YXUŊ[kylX 4]O6r\܆ͻQtu8 =ڴ|pv}1[ rT`*3ATɚ٨&2`32 j0P쩱238yYhđB ̮:S\'nO4n/4+"ԛݝ1!NpAP؁9b@F >͋RIvdkrKjOE/)(p(THy]BUz$wZ2"]!ZV etk{fY@a#=`+On!Lqu[J(nLS'pߪ`@;xM-×ĵ917j >uCȻyĪ`{{jo"+H`zW*pĘ+ʋ2 A|>+css*a 8OJq#| 'iDYӋ8y h{(:6U:FG B㣠}̝ΌcpWTk/|kXma o )C^~u YC*thuR%[l09_:gdEص #kۤKeVJГ8ey>8~?X-{z3_9>Fʼnn#SU=~ؠG>ˠ꓄=aBBK ;YΦX l*V 9 ch :.ÈaLuiuf\%N46t 8-,4P(m]0B ƅὨh脐)8QF~zMSP\'ƏgRSlvh/K\+"fL۞ k(/82)Egkr@׍bŇ A+`TqaVy~itSh/(9 y+n0!/#//St:|PD!RG MżJ؋G!m[}` Tb&:G=١SPF'DpՁÊ8OG8&p]& NCg$pqq(pTgtuD虮o\QrP4He UF16 !/&//Zm1xp܁$_~4kSf T&bo7+ v1 I_C՟wP}Ϯ S(gݏX͘r@@ʙ+1ᅞ/^pv[ٌh@R9i<9Î-ڣq~v\'z }[uc" % c>V$P+-s2S Ƴ(yQ fT/:nJ M6I} ER=)CyH] GkVa0ϭJ~̅}|de3RWp}Ď 7 s& eQ,7MJ^=a:i'L<]=a˷D!LDOOjдҭCdNjeV.@hǣ{R@D>r }e} ,諕~!'wcI 0sE7v}K2gnI JG{_G:uqPޮ>2fc=vS+{#)b*f"~"9a2ve4ըKR#ܔfy㱇uYg7W8J|һN[ 8r$ļ f/Kr\P֙uc^ê ZOaPn"^fq'U@@aP& ֫ 9 C&HR'nĮ)5pur~Νֱl=KIܔ˜4u)i24ZP, Wi+I/qU+(~HEI w"DPx:F?G=U kuZRek:@_cks qpKWw\ mzBdZˉҒK]g7H zYX xFQ߅߸THW Ks]ձo:kC#;N7e?~GoyT)N qC f|^L>u^QD;z^>r˂ɂ VrA 5)$STh rôDH6MJ^fsU(z0/2 2E '<]b'rr}gs:CǑ2z ˝%lr0GÓzD ~F2 Kebs)pvnq<NIN|d捉{{4-/4>::|},ֱU1_VnYo4/G`ٿ1-k [EB .gUb10>!l5N=MSh̏@)KOxv~eJD嵱r-MnZXp#8A s"$?g@HY9 _%}*z+Q6mC S@]JW.!c$9o-?h*ҤnQ^c!7W$ )l2XN Ѐ9Me.*Sht&M@f֞zY\~'f2ڃ{=<1s,ϱ:q]?KY#:X {!V&806$׍uvĮYDHG{,x;z qt% Jg l>U{D]Ġh.]ƀd6/(i'׌imԺ$Q%֥Mo:egkm#o[؝CHM˶"Y>s,9'Գ6p& 5G>@+۹[3Zs&?ӄLO+bB wb0ȤPէb~9S ,͞O[G I *p4ʭp!yJ)ܩ29N4zLq_nE @DL^@ULggiK;!7\n(tJ/^2?b)Jw4@A1`͔{naJ|APw#Rv ؏0y߳Ó}1,Balw r3B> 6t4݋M16(<=1_Wy5a)e Oc" zaɐ֏7  ۫N Uv Wd%+. = ,]Sa`,f3 0Փ{܋J"֞sXɒ蒦G?I+Vke.d+ウ`H/o;DXIƸ{ y [w*)?x( USįݭK?5l>/n1uOel.R!^bA@@7㲧IB$s7*"= D:XUN| 9 4:^ͦbr527oq ynTeH3Ō1XsNYT=FFOJ!׽vg'^[Ka0"Ou)TYX4 <p9,.Ț(v+ݭ)t&d0=l "+fmvl;NoLuu`K17/:FLO*A+Md(3 BD ZB֦?SОEʯTnaz a;ȏ:fOv8zEF/_ ,S{qgyaiK}+`6kuGSNm'0xHOIQp=9և BI+G]b)InR޽V*lix,wQKng$偈I X 5pkDK׀;1CcxF_3u,S3(8PpڄРώz+T/ƩM@8Fm1qA`XCr\+mxjpz5S(7نcYņ)p5fדp PFF~BMMkOSd7@bx*LsˣoB(24BuhDa~ Gzڞ ySN+QK{m-H}m[ʶ*?>H~n Mj%(ږ$*05 ļ1Oԥ@KG8b+բI#_fʺ=?5 䤪:(Vwi%lY=g'NWa{f8ngرgYZ JJ+ 3G% \Formula_DerivativesFormula_Derivatives.Automatondocument.tex7zXZִF! 9']A-MՋhvG"uIBm5_20Itwǥ-1Dj#Zy7`ga4jt%-I Zu9`F0/˛CGlrLi͠{è#V"`"-L;If1+ b}o_xhMO $O}W,ibm-n6G WI1r7"_K=Gq:D֝9^ey˵ toӤ[Hg6g))}[o%0.Tb Q{_nCˠ/DC@K"/0V9=I|.{>nWG*V ?kI N4F${UUu/^ei{ZN 4Fce?+ h 8 O괣9 6:S#;#[0VN5(pT[ض+>7pmhV #o$O]FLܓǔ_'HpPn"i@&@Wiu Z/LΊ kߐCndBO}40jSƸ#Q鼛;痮Ę>tOf뾵#}o4e3 upq:Ý}x4 esn8Vy|0ް h$oQtteZ)TZ0f'SF-FHbFw FJVFl-/ꎭO6Lx1]Ip>*zCǫq֌R8N9&Gi.wD]bӜe2Ͳ9EI|>sOiOVNS_^B9f\nOٵ͍ Tq ]9s&[sgq !d46rn,׼5!+2Ee*>/Yp+w*Ur忂1 0jytZs{1Ӑx lLe~b\=ѭpI2ɜja^(`m,' B5J#w-ދwu|4=SyismYJ/{}%.ԢK9njC3'zb}i3kX Zk#b3cQIrqXget sB>?"b0=z {e԰ D7!,u2Uԏx-.p)Lq/a8ik;'GN+C#M Sk8GJѽ@/Kpsf3!CYu3Nre#ީ.sDQhMBAv|"ϫVk0I܌f<[$M.-G25? k9**Qs{k 6c8rxcHc7]KGeI- vC+ls3mi$uHqYʐuFY|elK Փ#Ù״,o)Sl`|(´.Is]1ǴiE(깐ZGsp=1 1T)ř'3*UWT6=s-SBֹ( dId9$Jځ~߽um}GT?`p[37"d}68Kh }+;Y k#J,qs:ttiCQW?|ΟGR>C8;E 9)m R4X"etf?߲2Q07cMrDLl:^/::!#]67~bRU Kb,m*6~ixrje#KU]Y _gy!Vb-<#zMGlCWG4KdGn~ЛU9Mb)PtSb[Ȗɦ_]=k7Aݼgx9yzXcZs_z WcfbOL%=mw/|E垈]F`,B},O1 {7_|w-ပ҃O`SL2zh/-9fD!HHZCIO4ypo@8%oTn"'2_gB|y>\\}" j8&F?a߳`?OgȚ0x tײfR~Ia_s>՗9B6R@دX.כ>>n-XF2l;gk|}#i"AİIq.* -=CV?}yF[ Sf# #ZS~] Jknϸl ;dg()ڥ0*VM1b`*aJVY$oJf Iz=OXzdxF\`jGΩ\JH==:.Sk"c_R S 9R!\U5ӱ,{D'&(@.Hfbu[/&JC;HMC[Td`[EI> ?^ OU_G8&{~Iw5AZ3Ͱ z7`Od{6?XN˟3~LH{RܗpS4;ry[Cɪ#mRzTq3`ބ-yK/4~mvp;2eWodȈeecp>7$=]l2D//e[4+•'y'?+6b9| ~Ne jyTDnDŽuXaq|jaRܽZ swQƌ_w?Dy k6OiߚʌQuS?@HS ]uWlXENIES 嘼}c5 # 3G% LFormula_DerivativesDeriving.Comparator_Generatordocument.tex7zXZִF!  ]A-MՋhvG"uIBm5XJx=鰺:IJ,O"%vھjnZ)1ܮn;lTg 3֣V^ Q4rĉb@5yhy/ r[u+4v0~e˿oAxIsLsgwb@~{ɬCC=oB{ {5L"2#Iܺ%Na$6r&Fdc-]d\]yHC ؃0UZ`/M{{=*9(DmaضR-"@H/+Gl/;V& gIt|#Baq@a)Qp'G!I 33% ,Formula_DerivativesDeriving.Comparatordocument.tex7zXZִF! t ]A-MՋhvG"uIBm5XJxEds&*rd%#|=Bm3Ξ. rFOh2ٮl-e<9y76YL]yaSw$TQU=BO3HoR,GN{6vIB2e PX'|T_d USj }%#m(S&@Ķً xEkwHLgmΐdYgG .1m-A p}A&]*7,VBէ̫6[<tMW:chh 6ƤG 萊hVo\Kl92A .L4 kBŐ}Bq8Lbd9CJq)Ƥ 2>.>R%ހ}IʦrR[;Eُj.cG?+0M8ipi,l܊ Gt'?>B((`A3¼[e(Ȉ:E&auqq)qF 2xT/vQ׿`wPalН=G6*#!{ *+u K3o&L%OkSjlffW{/+4"G;.2ߊj\/G,]*"cBlk[@S&wܶ*x|-~<.lj8 #@0j|鿒7"ŸR(O!fAc.<5j@E[Cva^`4=::҃ݝWʑ:(m;TNQE[fBuu> " /?;P|w!pGe8qdF'NR+}΅qM -33lK C6c?zpH˿eߪc(}o7Y$/^;O` ~L#ȿj+au.9U/\~A_v+m'ʢ˝=ۆ 8< 8VqV͔anha~3O,=7[_QwTsh"8У ;;Dq"6/~졶_Sq#Y^Z 3bV'˚/PJ itk\Z1[ #(Hym|Y"@\"HS2yt7||.G!q12+qn1`/=??Hh&.g?ROpOw - 68@=̩8VpJ8<`*3_ovIT9Ǔ9,@xx ۄB |+CIT|2Z K39v#T}`? ԕoØOK×=U@xXĹqZ:-Н'g|RtR(_uuYJ@}%{J}N|^wF\d)[b>}` Vvu!&mL|/C EtIRD$d؞7@=8K^{gEJhf $?"-04n*7u0WMXhKSYbaDՉ|Klf5Ȃ۳9+9-,6]yi؏':li۟@b?VY]*p,]a#=8ߖ8+`THþTE ԇDeA:zpwG!y4mv~qT"qK8R5@"{*h؏Bͼ,3To%Jd/vcՊMz?Z+ S+XC6dÊM.vΪgs PZ'NJdW#F< 0%18z5+D5@8F!٨my@$ JO.QYro % <0Z?@y$ ʤm3OP`yؒLǖbf0ؐXakյ dH]Gxy1kS-e-V~M^P=`*Ac$߀T7V{n֑:B+m#2K/V"7Zòte+Sf  Qr xf%"DzH#>|[g^YS CAmpMrٓ0<c2gYZu_Ȧ(q2WcjԒW?i cN>yNSh9*J w KKw!uѤ~ O(Ѱ!dG~cUwJ 1> C#X\-F*%vc;C< YWN6Z(^ۼM"Y 4 ̵=3jv3WAv?)Jg[a6[Z[wF%)y2q+)RsoR/'x Lյ&htHZyn#LlDp3X;-(!ȴK<2 CΆ1k)Mw;]-jOjKYܲL(ztْHcQI.*lGѲ.Ul\՘ ԣx',8M>@!kplo|!t%K>J;r4HƘz t]&0Z}KvMALyW:$&l+w> ſ/=m|h=ujsV.{&5bƷwcrHHwiFWRW$5WY>Il Dk`Ȭ_'h fDcBUAmΡi{Ax*kħS߽peD|AaJSu뾗n$AQ97ݔ?Yu`G, ?k: 6(.sA~(WV}D}{C !ힹ@tYwG G Hܖ$Ha0u=F;Q:BrY tbҍ.woE\" x<]NP l% b;Y'.1#Z0<#\Cy~_4% + [?N&9YVwr^Y= ;t#Gn8q ُ\-$5D]p1DnKyB_8RRFo]xTi>fܰu)1?:i5Z /W3 "6Y抦-"2*{$h^wwI˜i[IJn J sh \OG z+d=:}!ݴ9s++x%;n ~N bԚ.:$y,8@W!Z&|Z֠A|u&X񄏶 ByGmEv^д{]Ÿ GYq^腑ê(I z»c gAs#jLk×bX /1 %w߯idި8*qc`i濘 7ᮎAL#I|+Y!'G,@e $oUl#8{kȫ=9 ͚}+o ]L5R=BJV3" 76 :'2HtAN:.d;ֱ ZS}BxK RnhEy(yu̬MYeB&0p[ ڋ#0uwgHQ_h*GG_iQ^kO`CէFX@x䶙_Y˯,i$7ZH=p6 hXB [G<٭jmG> %55[eI¸# k[uԖԳ?nQ/v*—D#tֻpZ#]BuiU`boϩFH _Aeí!GXY4t]>!r8so Gwq$j54(}l*+ǟ~Úw$1I{6Y޺D2RrlGƆ 39VwE.TNx.Ʀ1wJU[:d% +ݮ;[ ~K `ܽ6*Cw ^dv{[lX]95 A Gj<$k>S%:1]a4|>,`Vơ%1ǩ߶" gYZ hh 3k% Formula_DerivativesFormula_Derivatives.WS1S_Presburger_Equivalencedocument.tex7zXZִF! Kw]A-MՋhvG"uIBm5˾_K>H)mGAQ)1&>1"|Fc}Ff{;7&BHJShJ'H5Pa))ˢߦ8yIuDAO9,Eo@Z1R3yۑ*@Kzd 'xl@"9םFƳ)tVF.h֢@jՓca5 /?x~T\ j=e?v#/˽ftUMusƾwH([LSƱZϛzNY1bٌhzʥl@ub&:= I1wrы2].yF*`%@gƥLoܖ}LqIV.ծ/P_* "LN dp{9SXJT0{n =w %(*yu@ҡXc ;127VOqv/aC3S[*v)]`c8(7Թ`2K 8,6bj7 /cI{_GXTIV 4"p:G>4_T'MC88Ҋ O9)Ex>"BQ叜 )qSg{-0x>l/\k?)ߴUyd/* B$(&acRㅲ9<텫P 9N+$G sp0.-s^4L`WDu_b0v0‰@ 0ʘE7N@wNǶv2֪; hq SMD|IC+0Auqw+2 (N+% mcĨ & RĄ.w>S,ЃxiD) T8ѥD +K+PcUG-.uѳ[^g QN?i@bիoJdeNk}79a֔^է8q>_ݽVx\{?5% *HܴtGˏ!ty&E ۦAGB:L$uېޅBt5B^y|Z0sgm: ;{|)Ɔ+snndr\ddGqh\qdCFnm69)IZHĀ4ү &<6Wԋ'@ DG=7^+V2q+5,0]&Ia~a+Vlazga|0Qr,K5AtGŽ|εŴ⥫嬨FdRU^m \}9S[Uu.} >ghR+ÏQvn Lٗn|jC+(oU9cQ6N2#/O9SVB}QD ݬ@b)Ey>|Քi$S(UI*)z5$2(Zwrm*ŒV'-pr޷Cx>AYdtC]`|nΓAGN-Λ흀gz٦t*a<;&+@M`3hId.$&+m9TZx۲|>"2@b|fDZ]Ad~9Y nF%K2ք Z7IQ^t6ޔ-FWme/oĉ?)C.2u&lHHva[supIA.@x@ܿI*('bz):2Q`eDLTUiֹX%hl#F UHKʆf ^{rz oڴk5 㳯u)%u6^N؏C1bvBI7pIy\أNiVN2]xy˻0t^Bc|^֍N<$50.sh+FK@gYZ T_T3A% Formula_DerivativesDeriving.Compare_Instancesdocument.tex7zXZִF! -V]A-MՋhvG"uIBm5XJx]4Ź|:\dB]gz$"}sxI{K;o>}l۵ۥ;܌9; >C4:Z" 8KzW`<~@*%X?d}tLgJ [rM,SҠ |A#&~7?Y~)IyΤffLu_gjLإ͸-N盵G=DL !m[m:pg?a+}WXN1Gm 6xE ӱk&Bm,Od)4~њrm@?l}3P.uPK.cr0a=4UOv$\&pHi2Azئ:*q$F 'U\Oʡn/AmO{jON87L7':SKnFp{:c^*07HxרddAȍeQe8lչT= fGPP I]lp(ۊ22W&_;1@oٝ1:PO8SYWCIKdDܛ4٤~SgL~.h k99qܘf:l<&R` 6 ~Ӂ &/\|gLbF;(W$ŷWH`G0 -Cv ٭ے iQjt{u#zڲZ;];t*10pu<6,$Vo'MHœLb-i\]Mt13vE;P):TCH bs1ڧ].InMS7 ᛄc \&6!4(ݍ}N;UX.f52PS-Nyb%pi[MNd߼2\l⼃=vDu0»"i}Bаi;UFyVˊ`y!RMoZA.ҷT:Vna7"tDKAAJ`8v'JlqDN͇ivu΋[~kg7~O,9e0ド{[}IB%p*H΀A@7\O t}o=?#L$E~:7h*π>!wQܥL*[Owf" @inۥdž79~KpL!A^ F~Sv2sWI k= [?kLmեnm,. 9F"LĴkӘl_đ'%7k4k}ڼ{򈫎$1`hя39cl}1$Z S)kGm7Ty0 5Vx_WUۈԡL^ L2˻4}Z gl1C=cbgvD(>i0dlX<_kw*?l2%su7r8\ 囙[ʽAXg3bE !t37ѦWlJ|/Ԙod0\Nh6xAW*>>5/A," Rٔ=-Q?")Ծs\){,HA1teA~"/P&m.Zhgh$7Nz8\U٧c8D27 `h&wN-v@.kG,X5]B/u)8neLTl68 GۿBSOr;M$ThN$jbyoQ߭ʒ*Ç, ?/: +ұW~ZSІi^kPFl:u( ,ͺa W)yIu/pS,uoOs-]bT$Ƨp<2p?m kK#/nг_/ڊ!RŹ`o#߄gB:MƓ/uǾUfR=x)Urq)O`n ѯ1c&GfsbҾms("OcHC4DkQmBD&Kt%"pQMX"nR43 6u:+8xv={LຏgYZ ^ x^X3A% :2)AMؖ3H0K.`iӯ/ţAϬ&H OߌuA qkhQEH569̀({Ng_UG0> >E -> c:^Æ# Q]s;&dK$ =` ցJ񏜆 wG-yΒ%{5/p1H *G UOoZ8 X^f/n\Ou_0]M' H,{$=N}1gUY(Lb9(R%w&NÁ22y`hlMj<ρABeݧI$nTЁH| [!N_N#PL$SJ~j*@RvnVJR1M__{r~K¨D,2-ěu)qTQa1^b:f:@TS&f(tH}Xڄ%.ϤwOLg=AZR8u?4Emi&N"@رgܬթvODs@ڃsa䱋՜5&eJ8P8G묂Q6(5 ILb-[ ^Fs[M F+uR+{  : "f _a(Tp*vKiNii.1y!Et7]Nڎ4gꠘN7Iϫ H0eRmPIOj@r|T7j5wI>8MD41w̄&9ꢥ. n*^yCygti7ŘCFvBJ-KSqw&;!!hVw_2nbC#32Re1eTƠMcZ+l^ctj& ̔QZL.Ԃ;n]]mY$*7]*ӻPvU"*v<5385RBR q".3qAA(4A;TsXW4r$we7rX-Fb1W| 5Ebf{I4Wa]|k-VG04ʘ4;p9Ƽ>j7qbln6q܂>E48Xy6mze&׿@wJgX8@D֧ G9pFAh1t Tݚ$NDn{Db1wb-tv*,O3Al!:[O!aYcR ;߫D]WG5'Eꢿ<#ySjpv9yXbEն;I/~;<&;AH!3~WoWL9]&l4W6r)ǦWfDm]" X' gYZ3;% Formula_DerivativesDeriving.Derive_Managerdocument.tex7zXZִF! t]A-MՋhvG"uIBm5֕)eGBŕΙPSI"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{$7%^Fgb ݝ$dJi'D„ͲWʲ+ORoq 㫩0i;4B7]p%? EQ;.') xR?BXuZVb#OǒQ!}-^虏UkEct r]Ұ'Ҙ(֪omUg;|gYZ&n1\{sIor*,L/cY,,E|wHRo5Q䁿]e6i*H/PHB1;Υ`+eo:8VgR EINjzow_JҀ@#?Ph d&t`pّ%Iį7'*#HxA/n*m{ ѝ$9esj>+L zz1+ۦd\RFJD]< i1v^lrR5qMښ!g\8ҮGp#P(x1sKjX"6ua\5GdX.5ԊK;<'yJ`=+K`lx.S.(~ϱ٨K _ij) Aq8N~KKs#6v_uj݄#L,ުKX f@a^aqۄ 뀄Cv= :2NSrlsܓ"yF}]{2:-MB̳Uq!^y" 'kT p_u&\HAOb{T0,&}@D(HD=lj?&v\:3KCGqV(?,k 츀]i%rv=7%pN˪=|uGKM.|]{ycpXVZ30E2)E`aked&ZCs4VE(^ <}e&X *O63k0~ѠE53=HG &ͩm#\̲K媳A% -\c -|%LvA%5plgrrz^dgu#%Vm_ _^_(&e`֓7z9tWsڹӥKWm0, iɠ :CJr\T'vD ,JN* nLlh+q@2&n1t߉CհHu{EN8rbE@z' /tMu{o/ IV|&?OPqEɩ{)Cusp-JPxyJSiowk63g)7l}$)=A B+Wݢ 7u֯lPL MPe`ZwyӒ GcNvV]&kieh$ J'{O~H<5'@ j*Ʉ$n7/zNoq5QyPzݿ]-\CA~ ;)hb|)CtqxN[\xLm1ƶ$YN9BCoc`'x+#4NtWZ>9kꂈ6;y)+$%h9̴\l2FkQ ijؿ%AY{J ľlWZ xwΟf(rqyYcpkLW*45WQĦM/ iFt|0v߀wm5̊$Mt 57`@ЮRl/eapZUa,Kvک*j:$^+FpuɬYEt>D{cni}n:EH&t"dgessRf@v*@Z1?:D'vH¤M3}1޿3&;~G\VNy)[|лBEH [ ]y4eK_f3_FH{ 9ȑ֑T@p3 (`0b}3W9-[78Kh*c W;w1ǥCCvPJƠU3BŰw%v؆ 6p @c'ݷ/ϚG9(<7>f57*H\:[+|M"G.2Lij$x=nB+bKD4jԿ^@8 mk5Ϋߗ+F _iUh+Еveז+VXAd 0U G?C)"}քܥxԱ䬿C2,R=#R7VcPw a7+YQliA䋠z Lp;C/dQ^:^놊(FD۳[[ASx9p{AzSAһ}K6nRRV&lV}O1s7rWXG> e0M $/%ԝ!D=81mŨP6NHT@t6 DS)ҧܨ`v)M=( R9aL`:DeP"5i_f j1##o"&b[?B D%'\++Fĭ(f0*mDAEZ"t (#<=2I`H`iy섺j^8:`HO |1WQԏJyR@ Jew(#U3!lf_c~Oh>uu5o5m XҰA-d VK5=zTz $J3A?޻ⓐPjбHq;:"L% [ԡ-ۣ7:Q/m8Dw.YFR'1A a54 D`089t I1aV3;Ls^Ӱ %|| ^4'W1<(xh+nB-~Fnă~OX:CN"JeoB!uF13Y?g#(VC5v=vEC),k @{QSJnz܌A]nC/Ox?âPq·xp!swjZ#%g,:tUr?4 1w,eE"l8* Z]ޕ'-PO)biE\D'ݪϑVRI:M=1_ܓ 9>5iaa&H:kVDɶaiIɍ!ƲO-@JHmSKd6 DLiHqTd!j6 Wg]' >@ywԙ S _s?Ree@K2egM2#:3JkF|3O1Ww %~@جn(C/³;1m712^R%ыնaf[δ-N&يdmFVv QX|(@eO P*Mg~5a$t l9adFAN`;kG?D? e/[Eq!6=jX(Qb~m(,2dsSzbsWdb3ֽjD̾M;`/F|21fe{f=)"BLwk & >7hf|=>EMtNP_>(OdYeY`?($$IߵƄt䅄-9A;m1Am2(.]~Ƹ)c|uuj3V ޥܟF!z. ѩۄ:.?CG9~h<9b2 | (w nr?583Y 7[D 2*\ oImM Sѡ<" GvP}!ĔFKz2DŽ$S~"-@۝ C}<)eO5|duҌDcKj c?CuNӻ-z}cjN"bX}hJX|yCPel=f»|藦bx>4k{NN郮#fKk>uu„" q}%tqCQٍ5P'Ç@gnpW~bAF9_q?TfZ cUV^un,u.'ֿ`\"~)bY#vN=N4C1>=haZI{19)4fzX2wGaP_L6kp"& T1Kzl"p\ZDFE.P,9D/`&r_2nn3 *ug % 퓰% pt+."nW2 '27 oU2|amkx? E^ZwU .Q/yb z?Z \e[Bݓɲvm9A~؎| 9R.U5r=RQu1r퐃^/{?1ⷊnđ`T@ex˖y Ky:u%y)`ZUkDU#(W{+TY:ȓ{:yP 6 Ȣxqg$p-[B+B:Mm(ofÏ~ͯks- W Ƙ eQў`>]WHe߭[G M`9:gkYn:l(d2?vqb=Q,ڣUʶJoQxhMm +i\o?|"ޅ-ӎM(MW5UmH[a;_ ʥ6@aq.Cb)۫XA6{Gpr58?/\mGI5]t\3!|ZF̪%56CjaW(/0BK&!+uJIpKbT6gf>F\QM@)fEʦt d{a̹?MWKi(emc8Fl5~FKmldÖ&}ʽSrmx d@5jlDfe jådT?upDYЀ|97RU ^<^JjpЅ9F 25h{ПuYkE.uJ)͠׿i|&S9R5Ш:$c<'Wӡ(~, cmƄ,wa6h0=F`QkR;]qY)ݳ;^g+PVrTv&jj,vl\Q WrTf$[u ҠL+,нC&J{Ƒ~ b* 7є.h6VVհ2TJz8}kеt;^Sy/Jݴ%/mNq!ʮ ?X`wuVZ BM,pH=oFA. #lVWUS>-V̊D ~7/KW- Rs%=kDVM졩l' ^MlK+굒]$jˮwDB"F<ӨxgrZ"i:B."Mis_MmMf ˭LݩacJ E"J %#ßxP9pp)g;>/;J[A@4GtZ?l^[g+K{[=fV'UUN|k GSxR,.KOތ,Tq3G] }C6S?csNOIoS.ViK! ?;~˅;a7իnb%i2j h9+>5 "qAfa"Z 󾉆 Ҽ#PKMY^7 r۴K QzRB* TvnnlP^G% PG^z(Tq]MiRݡ{IChxiSmV *']xYW&{*>Qj?_M}~aVC ihO XhLk6ۡ8B* %;BNxy/:l><&l`057CuUqZ'ZyrɴG!:H򥡚S#tc*/V|ZXΏ- 9mUsګج4bJˇ@ 55ISĆ3_qyŒCN ś>S.Rd*i5V h`Ќقۂ0~@m0|/`8X;I%ٍ r"d.JTq+p3eQM.%xG6pTp /Q@1%%m|K"ǥ.MQ\fqYdRW qSybXf}E[ԏ]'7`7&bpܠ>wЮ2l(ed}N7>z`3Ր5=AT(_Or;u#e3f[:sM{Sd]rMvxIXg$00N3M"u/Oh@py-Ǣ5DAac`4%M)ػ髭FR]4|P_ϳV[e7Yihdc/pqKoyCIŮ!+f U{ )SyHGъ=L`0H;tm Y)GDYT6tה5sGxVp/3J#m/Or0 K"Z]]57oo+q#$ r m`dΗ8zBoL{EG6 Hm + bV[+>Bp$Xu)M2ݫ)38 n_$ UYƷJYNfjP2S%B&8]oj-o8A/$lWnAm(2V"z]aPٽ|!XJ2dP^<ĕ TxG<0VUbk} T+!k7|Zklk`lvW;(3 o'3i -8JtF%B `(>_XZ5ė@UFŢcth6#I"~ht>K\V`_PSii4vBgqyNĊ5;v1uQNfIkB $2"?h2kh{ cFX6Ǹخr Rz@(@Pc5fdtuK$BQQog[xO/5b$j71`l>oUV3V<1wpbXg8-k͛gю'+%i cҸe`+XӫtO-ٴm/ x>9^= lt>gq]3<:ƒ vMŐP?f<2*9TA, VkoAkh4,$+/7J- op'Z~ JtP=ļ𳚘Qz[[EU%' k4&,kΑ*CDU{? j$bU3c-nryHSNn3E{'|A4>Qp728=#2강fDbIPݦ%\ ԓTE;Bim#>"!mc.Oʣ˰\x|893s Δ'  Df4i-mrOY"* Z;qAP9JcoZzEy-HMoh}d`3_~uXcOyN [xKVs[m-^3dWZE=W؉5Ak,,7m"` _ ]̹5Z\0BJ$ʂdAiIU _8hOYru#Yw"2N;س tD:,!@)]+iճ#(6{"f}XHU!|Tk\dK%Xrh: 2Nqg(y" XTk\Og)Q#_tmeNF+6f=<`NI YRa.ҭ{ޟ94,$Ux9QTn2_bdCy4hD+NȬ=hS,>n_cʼ'"6h'+zWTvkuAyV ٞtuݠ*7wqX`@>#|RF?4%C],mC+Y~Xo`)Irci1qi5ЍZ {9Ut{|Aʺ!/ ,:[D΅~ڏW }5{(%S6;/M9FoxH̝m\ZT=~j!C3L+a#\! ,K#ѡuJA<jA g_>>Ip!_\^Υ=< .1&mkߪx:|X\ e੣7- @0^~DjuwOs^.tD\B_~HWn kZnOws9ʭ>鯸'p()2<@+m.L TuV>f,A=\5)#5MD&C":gvDZ9.ҸK$٭ i:d:D<8#  ɒgc;,'ӳk;c}7a)N WVnmwVn-AN n}1.f08hD|FγKpw6F%UcramI]Zi'A?/,n96#2bx l|_R|$a9-np{25:4`WfHD}ҏdvs~>S߇ BD@9XUQ)}Ԃ%/JpA&PKx)0Ż= GSɓGnRs߳քCJ+&dN۠ԯN9BGxoa҈_Q"0_FjA1]C>.zRxT+|,!eQ~?k*bI#Ed?eۘLqT:"Ƃr~ڊF4umjà!umg#Zx OըG|u@xS.9^uJ;Gˌ]yL%:٥W({pdyV_ [u,iAs[dn{] kMGba.t'VET喀3@q"h=fkzSC ơd3*7Hp=.#9cd'~St^:/XkҘ&?O1jLusd&J.M115@^7QJ*(K*})*_ 7tX70r,>P{> 'xx2{k"K}99G<Bi_0}\342wUY2GϠE?5 sĭ?A&z':unnLWk`[Mv$2B\o"8UEmƴAinYͥA`xJ> +Z %(G^f^WK->rݔ"̉9!>840vjx .h~k@noܦKGSُDqX/Gy"?}5su㊘JG5Ho9VBnQ;o 2 ɼ_Tqq &:ITlx!-=+^b93[5^!H;@K,pdtߌ[H nOF.Jrᅱv}vV[J ɶ;zNeHxffL)}_.rk};% *âwF*㜤8p\_ E?|(U5nJ`9  ,WI"Nj[v$Lv`QؖNۋ+7Y` aKeؕr)d:R"(bc=>G}1W˃4_E8RWWpe>*aP$6%҂{g [qn'8\ZՂ{VPD>%y`*{"hHMD«d~`^uḼKa`8^$;},`A59`˃(jV3t/H5n0I]]E'gYZ615adc6b7e12c6bd8ec11403fc4ba9317666d5be9ca5f92a14099d9d0578aa86393b807a3c2738ce 5d409056603c26099742d14e8f0a43cb37242805 f25b7aa9bfcf042befc4f0b5d99c36328c0d769c12b9459c0fe88109b7e44e1671cfb7a196f08630