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  U U3T,\ ]]Formula_Derivatives:threads=2elapsed=512.921cpu=801.140gc=351.012factor=1.567zXZִF! k b]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)FYJpm]yE!0\tF )Qn6 ϥޗ6,VdkVF](oQ[}w ~ YCPT@ sCǛ4!'u䰏CLxrg 7@f7d ?͕l ʍ\Q<`K+g8i`9[`5hv,2B*s@xN xDzYˎVoQm1{4SBCr*ނבH& <8.)6g+nIE'_k"U7{}XER7&uv S>SPXa&6U&"^5 /ؘ̉).v%D{|o Ac68sZ>’ y7!zL2qoa|_3gV;L- @?j?7J@aAxBj& 3 Formula_Derivatives %g3M% LFormula_DerivativesFormula_Derivatives.WS1S_Formuladocument.tex7zXZִF! 3^]A-MՋhvG"uIBm5˾_K>H)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*;$#" !       I { ; q % J ;39%Formula_DerivativesDeriving.Generator_Auxdocument.tex<3;%Formula_DerivativesDeriving.Derive_Managerdocument.tex?3A%Formula_DerivativesDeriving.Compare_Instancesdocument.tex?3A%Formula_DerivativesDeriving.Compare_Generatordocument.tex53-%Formula_DerivativesDeriving.Comparedocument.tex T3k%Formula_DerivativesFormula_Derivatives.WS1S_Presburger_Equivalencedocument.tex B3G%Formula_DerivativesFormula_Derivatives.Automatondocument.tex 833%Formula_DerivativesDeriving.Comparatordocument.tex B3G%Formula_DerivativesDeriving.Comparator_Generatordocument.tex I3U%Formula_DerivativesFormula_Derivatives.WS1S_Alt_Formuladocument.tex:37%Formula_DerivativesList-Index.List_Indexdocument.texE3M%Formula_DerivativesFormula_Derivatives.WS1S_Namefuldocument.texO3a%Formula_DerivativesCoinductive_Languages.Coinductive_Languagedocument.texD3K%Formula_DerivativesFormula_Derivatives.WS1S_Prelimdocument.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[thXT{^-ECrwuK^]<0+m Z@wO~pލ.C#臜I_Lewa{6\&oqc/o[M-Gt+0*M'/2L GIi'$!F/PM8?ᱤ3Jz\˙EC`4:%Q67B2sR+R^HeiDRUm006=0vJɭInᯇUBb9ٱ;Kml^%64]~7?IM#-`T-IT%Ot8%I-ȺfUe˜-)a1h`M_#XQTCNB\i^NړEK'I3#Q`~8~ &Q`w?[ ^ K?Dz`'cl/仫*Wa%_A={f>B;_MZ J_V+ /$O3Q%DMS*JL: yW1n.On8@aQa#3) MhVvo9lVٝ{cXSu ."6,l QRQxFko~u[vQ1ୂ Q| &Z1'[5\<ōhmnV\"%i67`EwnС/Y~'5}| ,7|ʼnh.Zm*:֞TUBp49n~!܍jb\$XQ,;+"]y0))o3gV(gBIk#V>VVT'f=UA$TMذetC05;6R?ܷ6z)(n^iq;uB֝%Wڣ3@d  K$`-X)jvQE GǑ:TN 3pnD$PٝX, l5g= >),n3PhR8"d0]!Vϵ4y9P#v$4H87weM&C q)5Cu'12㊹$ "^Dk =Z1",*Odco[r2(Q% ׌cC3 )J\QC #tsk갎A2r:#b-E8.,ggMBLS& Cӂ<,'9a0M"y+*%]m_n/'mJH8wT^JKƅwG-a[:_p:C@[Ty29V]V$ْr/y \a@g-xzn,Q7KEqȀo, %cv݈okyZn?ic9B: wsٮ3LTFf tdmIehDWxVދlv6"Bh}Qg: ,_rP"FMEDddaBҠQ>Tō!Qc>:C=qBK)?i-a1OP֑@ue:hS1쬀Ƣvk-]}vA"zc6ibDYAFeO9<(QmuMt/wgխ׀adgMuz|! MS"̜*TWO?Jz;䑖/NLoLpt2b)NmǑS%* RЙkۓi}_C(0 }|bԃ( R A&M͛j1ˮsJ.XK:Uwjٙſ3Kڼ $ F [V:v/TqN! K+@)]~I'tV_a@[߀RLѹc!|սMUv$ܵlKF&wB1'kBC}rr{H͌[UȌ6lw !3YJhՏIE~4h"QISUԄ\u{gm i"N+~[o puټ4L!XF^Fs+†:!dkMg4 _*4wEP>%uǃ} G *A=POҸvj"U@L w+BݪBJh\ !6 JiN0Ӭ F.la }(.PE?(9 ug ?dݔ([}Q04ػ'/P x/ݯ]stqz`Ҝ:RYb<UՕR^=|5Ϣѽ\'5V<"i_ʪdvO6qdNAti?#IDčD–bOGF,@{v©4.dգw$2&`'ziUó(lYs}ѫU#ֽԬ$Č)䑍.mנ1Șhac/?*wA%ͥ dő D`qX"n"hD_` FVsf$‡[U{{tE^F ,IqmAYg~`g&\xF<6Gd`S~0 w^af( J{E!uA'i L~/ϑy{~12,ܚC?F F}iJ䎥9DZQo7H2^䔺yDC!X2:CQ$3W;(b~ ߘԓ{;eǛ-)QKBݮ"`"ү$Svh $y*Cɫ#:?0unbtXHcq Ru:S 2¡i{ґTQQ#x^ikx0obEwľ֎h]qie(ϻ̱SPKx Tܤ0kpI'}>>U[iRɥ'/)DRX#<ߵ缈Gg^M Δ[_Xsǭ-Q<ҠdU$ژ] K0ީ]%W<f̋ǎk*u&1)?~?GNJ)3~9~uPi1u<;؍0HEsi~F԰J#~ h[A :T*ʔ*ǯ@@a*4ƪWUTlo\<_/d 3Mz5wx@ k&=#))ɋ>@a!Q*X.r&'+ }F:}ܾ"]mM_Q!ɧ5XƐ`[1f5]VlttB+'4t^k3*g#'~͏gx^D@YQq۶>W@ r~Ӭ0™} fu(W{l|4-_Y3|,02O3AEtrcےZqQyWP|hO@VH}ȓ197"c=͛dm,?9WB"v u0ݘƎ*v")ϚPFU+/1/jFȪ)uðpQ.y%IR bV"/7_9xp[oY2k(eo⚅®y[U0/߮'"2sD",FxD= ] ek)G]0ѽ@F35~tvO\H ϡ:e3P?"L4gyI_Ny>l^|u&55dX t4O)ہ&5Ÿ &!{F&k+cE3fQmot8ƦCz!:>? O&NOm3;R+?3{d~"TOGLj,n꠬!M?2"|JVj(M>TЅ3?\F&cYǡm6/X>TADR,^^W  vTmu[P~n\lMVDs_xhϘZcŵ,i_1*#@'^TIW !iAD]Zs >GǸ)'P֣ I 1c\%f1"8'^AG]xl[ۡya?*\v !|?#ܑsdP<|M8%gԮ(f_yߝy x*B37ZMxqV P$LNE{iI稪 q^A_LoajFs7k!; z+?24QmoBZ o@_9SO O7?]IG-lfG 8Bn [H xW%b}^o V.UU{.n'YƔѝEա`3g&=F73giJ_q?[A4ybMfI"a= b6B\'W^JRQSNi2T[WWڬ+~gՆ'[Selh.4:瑔u X.rzY72NW5RIcW^|tLeS WWVT*G咳KD"C}/b;0q^U`cW2 e㋙Խ>v@ձ|e}[_`CQY.S6B+.z IXsl/m&.gbX&#mmJIP;Jõٴ:tj aL X" 'D=G&%Zv L)ȆbԎTS7Q[ai|?9΂ΙWi"h h9F F?CqPVh۶<ވx5 \aU1T@9(qtۭ|l9x)uRj лz^Âɉ<,a82F4ϑչ?E5ϒ7mTh[rj\,:QdN(Zr/6Dh#5HF^%Ft2ҫpu&S 2}!Hܔ.߾،i(o&J^sG.XTȔͨ kd.!Ф XڱA)Ρ6rm#;oMcHQI_iZixKN6sM-!C X*`h_R.OJGTwJ(o*Vzfoe\tK212ގein~ZpJ<phA>y5'dI5P& Wu9#6!^EV|qϨ"g&-*">y8"yAh{ϷhߘNaYv. }R*r' @jWUbI6 xT#f#My[^z^UVDV l'633[̚3+ ?. 1r]`9hxZ2z}DQ[NHEbF\eb0+߳ w3/((a.i=j/NXkhT$q 4jݥf%j HS+G5Ȱ Ê񡼀cEx吢JI]w۲!1s;&{z~}fC"ͤݵDuJɯX(_w[鶹p9by"8c r#@q룎\EuG` F+7yHyhi"%]-Z, g(f-!xiRR]u{z-`rL; C1aњ$5Lˆ_ $t9xH/1%n iYϱgYZ N3K% 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)'KU3Y% Formula_DerivativesFormula_Derivatives.Presburger_Formuladocument.tex7zXZִF! 7E]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=}xaĹ?Mrww .`cDa b91&ّ#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$~zHZNse!Ӕ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 m3a% 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*& %i͛'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 ''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{.U^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+y3 :H>KJ?" 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_bB65gYZO 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 # 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'G3U% 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~̅}u_Ȧ(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 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<c2gYZ|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 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 _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ϫ H0eRmPIO2PS-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 mm3;% 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;|gYZ3A% 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.f5j@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' gYZ'FmIkk?4I͡rtON[߁T#c0&mbtM.R9 [d瓤#'5-"E ^6=W| _zu¥\'$8= c+L!a0BKʽN6U2MH>zM`[UŠu^8S`/I*|SaM$Jk]!(_tgv*HMt~3㋛cZC0”MA&9w&lTOMo4cZo$+R!ƞlvݣBtgՍBNSvBQ_\[]M.> :z )NJ&B|]JG+uV$d7Ob @Ԁdr_zLU*Tp5r^I$ ] K'?d.[=yQ같Vq(PAM( γez> 퀋tdC3gE ĸ"(لpKɒ̎"W9AHV:=B*鈊B!iE~ud& .xG'QDEŝ2bS~.F,Ȱ&VUCUN$2uS^2UcuUbԹ?TBS]+dLO=y. v'_']ЕÛHGъPzXy_}_Fjӂ3/W[ӏmrgX7"G䟈Lz%٬8Εה!Ae5 "}mѿ#&$_‡RȳJ3gѹ3\IY*+?a21Q7m]܄<7c); J>Nfa R@6su6Cb{͵gYZ7zXZִF! 0]ŗXiɟ1[pYP,l~ BXgzDn!EEt(,(/~ώZ|%,^`#Zg2B䛚mPxhz/T2Ӵ,ߍNЉ& )q/iA>if;>t=Onz7FZ`RwqÛ96a\':T>c5Īm7#t)|S*(csCm| Óoy+Bw:T)1_{:?x$  @_¾iE _eؽ6Ltxp` 7`]n7#\7M ?m+cQ,d[GOe1ш)r uّՅd5vn8ԧ]'f%3F%O rFgYZ7zXZִF! YEf]ŗXi%; 3;`{B,Ts^ά+i> beŭtG9LvG}tquUHՀA[C :PIFrD~㦾2qmZRWMj/0.f-mf6 %5~ mNUk<6DX%/|$F)T{l|;5[!Ϝwz8k:uoa;8$?g&r@A%Z+<Dpȷ\Fwl":Ӝ3Qg zOFΛR䣐R1v=)aNO [Y8kd5E&o;(\+ :̔fh 5#U**Rl^~J? 5986=L/7/VInX6sUlO2grLj$!u&_W[ )v1V-&X`{tbdQǟ5t*:րl =YA%}4@ QQo!"'&8 L~-G^4D#4k*H[XKg<3/b_y&^ Ke+V\cOq~NsZ˵EJ騛n}KfVZPN)3@A S]ʚI#l &h Oib^6EtWܯўp~Dgh0HL\ȋգ(>c ZZ5+20gAR&Z'qm4vqNK~чE\VDz07na\HGr>wA.ĈI:AIKTI-Myfv$dEI,D3uRn=RDC|,;RgjL*('|l$ tX6Yee26nwL|'YCfSv2;!2DAa^Fӥx?Xp[-Ōz|ֶj9oo:z븝ύ%8Վ7WDI|gZd~@4as0b֬[hr6?Sw|ô[SӏUJSh@9,ftv +O1 3r̉ [h) +@nwXa!WoGkMי(1 YicL健8/#890P[{gT dz,ͺl;[e4&gȇ$ ) T*lBZ.ҵ+Qu<:e}m QP_3 RwHЧyf@Mllf}RǐDÄX-d͐30U\q]R5&)̕& 4^ƪi9ִ86!'zMl$t̂+)0ul{D)ox.:ADq `-/;a4#a7 8IR2~-_ 8Wkei~ƪ(3AlFXFɶXuw!A.ҧF7<˃f*Sw w`f(jx tG ͛96"\1䚫oZ5u35)z=Dj ZPd@uo2H:~u)yNcB Oߔ_Z b^F7l!wRo0~*Qo!0C,]9Ah-ߵը8|CNBݙ\isxf6XY/v>>2>Û<O+H-Kp7J Z *oOB"Fz&F׺x̌ڃnS|y G!z |?߽u$2 2,2I*4h9vM;iNLM[7iet2E>߸Ľ{(hL}r*"zJ 9,=fqh; cp=SbDe*C$K80Xq}ڹ.}hyh>]:F.}"a.xCVYVGP&pPmŲE^^z!tsp\ ݍį N$lRoH}xlɔ_Lin^JZcO4.WVM5Co GNG9k^ȯi,ޝf,?ciF-fe3DZf6Dl/%{V b?Ja2?1aE D6R6q2R/ّЁi֬ ҵ#@/'@ %K2d[r8 sW :K ,ZX}ynWV$~qKh<+T!{&59Gb^~ ]LOTr y@ xGS;U(9u{^iN TZlbSc|mVuQApj:$qGűMAa7עݨLjfmOնO]<  Rhq߽ O3/q~Qbڅ+8ՅȦRw!m*Lwن)2L5^|\ݦRll( ه0)Eʖ7#f<;qOժwv.E؃1PHpᶺ"dbn`N5~,,!;4!mrp0܀L׊DڃEt+ݗh{ ;5}]}*n|e뢁91Ԧ 7B2DȢ?±ndn]$谗@>6omt?Tggy၃m;} iAdZe֐SFz,OI4ֳe2O+J?؄co fHj@g3oX2cb ^Hm jJ6tBTg^f؀X3e{FNޓ=r/gQ@+WDL!`!v\rd Яw \raB!!Ȕ~*㊲Bqy`܇[l nGJLWV,ҩb\~(m^z [i5CHP_S&Y&(O=ݝ5)܍l#!y2n$ }e=!p%)C:f? "Qb_-wfs09Ï$΄x8Y ~ {T،Jqh2ɑD:)Eg|ʄØjqU(kd(x Wu% S JH-8eے\6 ~E<[5tp¡t>eMmIhj/gXB~[$,< L#œ*4~3Cr:XCHG\5`A۝( i2Y1'2Kgܙ"8.Z@}f5p̷:aeb< 2z] ~\arK߰a|í tT a6EV7ٰ|!Ec*z 0L@6V:ךޫ(Zv8uDu)V+=ifʅ :_k"Ȇ׆P<ɠϐCVN@`* =Į`. c~ T_RUWOa%QBTlFʮr"pFrrbLzbCh.g⑧s8"6ϒ; ,؈;06ҍF DK0}FOZl\uI{&-j>CDA?MYvDQYE]>zvsy[wO(Qe>(Ӏ'`/Jhax.w7뷖K^Oa-%4Q8|QgS o]O:G)_73ɟ@4lPSIX(F>;11'zC*|#Ps zGSY3u]<iHI ~O4j3 0r?t-vAnA mzD/ |'%e+]0ݟFv& HgqOssPu'؀y9A4 /nmk b\τ@LX IJfa?I+Sұj(haV.X8x&FFwA~99 ă:j Ajo ߟpGEX.uh\?M 9p&3"W 5,ұ>c#DooQ 4$zlr+k⛱*Y:3 htSQ 6L^dr8βTnؙ5(hlv\mɡF-M@d'Ҵj.T h qRdNY2rԿzsi+Իӡdá<&Ik%~&ښ!.bɄ,>zBy mj }"\v~ (Xիвo.~?DC*2γjj :ЊžIi&r\6l~ԚW})#Dck\ˀI$cٔ0pk_ 6&<9[ $!`nkkkчJJPۉ*@bt1Gj"QlUs,qkw]]eU9;8lGVI(~vmZ)vJ_s߇~u\DPP8rpYY4B$IHqgb`kQcKwj6R@CsػDz4wx7o=F٪U/kH]Z.JxtkmsN*-@KiZʅV5$J\DZcQctDXL V~ja i tyjCb_;ỳ j2Mp8.>>۬Ph{YuwTzhZzS+n&cgzIQ畝 C&H=Py@K~HF 50屆_[QRӋ026[|uD9wM@I?:Xh KhPƕj?~Q)sp*jbgqj{3wq#O:`c8.)+ >dGLi0k o~@1[v[W * (4RSR4DԿDS<1cD0)\{L\?:,+(X73ZX;%rS+)x#RRaz]op>z,;YdryP7Z<j2xfvc2n$@xC:UxwOh^Rv(YA~p,ķզ,n$:QfͱiĖl &k_0Hꬵ*2%6_f4MYXɗ>nœD23RjAN|@rM/)}rl"sp4I3K+)3iMUH| @V xFy knG7#<{ɃGڀ|s/0Oh5\!svVpCVbnH('7`ӏE[^0upb jP!`ZQ<&xXrHrWX@=Д y4xҤ_v+oOI.R}II2^%av$Rx(@Nvώ*w6+SB1֡;  ?h;['6*@w%n2/%c؟i՛YI;TS۞ߙW&!z K 8%;;Z]ԀOږy(=}):UmG9:VoUuJˈT,]if$fKBbTߏCdд BI[h=[p Uh*-Nَ#g˶\p44e]i?K5-vp5CFa)I}å]R< ҥ-5xz8oԨ=ib- $R^ '6.͈T eB8GA>u,Դ|vV46S/j} bFw?u lR\}߷r){zMw2$B #ؤI8Xklq_\IaT5{Bqob~r[$pL{p'hBŃK:T LpF`@׹bkc~&C(mK 6'R.rB"W1j(wbnEb]pMkWIWK8Jß"iQo]&Q` AI'{-xwv|$J軎nYnbmY[mj`!g.=/Zq*/?Jf hڅSJ-1p)y h,hIJ\Jwq%8,XRCsfPrx8SGR"bqcQfCf5CCF!"ڥnqn2$/FIk#5*EG HjHV"fՅ۩MgpIАW.6GvasiQ_ȗп;s\= /`AױhVtv!2Oe ߭ǵEhAg|91hl(c=\dN)sOA& h Q#ste fY`q~>4jZm+{mY-#"NòMLc䀷-D΍*݊ΨYibP\?Ddc|=m#F)Jtr9 i|t튬f=RV`JֺPU3Է;ػT9=/Sk{Ca \/2,heV`2yF>KzMsUI&N Qi¢ YݝKlH=[ T_[iU? !8p"qd!wcer298QWķCqyMWpg|+4X@b"|?կ2 fERuOI[_KO2PN)/a?]O{ I%r9Dlav mº%,c{6<+Q w=* +\Ydw6#H5*&QݬhYFvJɥh;접Y4(՝@' vukRz>S<إdfװTɟB[9l%⽣;-<4ILK_׎A( Fvm=U7U}\䐆oS[Ͽ'%DVes4I gUԦ EPr44\pOS4ĵu>K.#<++ sKI81w(ٱe'R>[q8Nl:Q ^ƱI]oyR]p,\Rg[ڣ$YnQ;ѽ%Tuc;Q_ҿS.eИZ?#]"&߸˳g/\h/섁ׄHv2?ɖ;sV<ׇEa 4\5$lٯd$2rw=?2k}^T*#kbraL892{{8䊴z,*T o蓲Ň(@]vBb[9}}Aa\[ zg.ضtQez[aly{4_3Jbe0qRvdf `w2^FR+ˈD.}ErXQs?%O?&}кaMd;Zq^B]R,Էr L)*THj$% QJ/jn!L>]=u*IFq 6WgɅH772TyjH"Ռ GbpYx'֝VҍnLX U@"0+C\NȮWY)v]u@>ԬbͩH q\ 䖊nnv}F{#=e7k3憻3:7ɜ_i=sW4.m GR@gZh,yv{&#a~PP8#PIv{bZ}qc'gCCT[ٮ>T@u4P{M>1Dn3r&mHsQ:TYT@^xk F}pB/=^˜W@,a2ReW&Eؓ3o+6;"Ahwx?ӞyaEvߺr_aC~Mt Unp+GMF*2LA:}>gLg`l,Iv4`Mڟe$CK\RHe%ʎN:fb"|⌘F[ᖨ MXSEX![1> úxo(; Ķչ팁0-srF6_NG Ol9 Q1tNf:ٟ]gP{9ԍ w7F}UX["`7rUV\=LKjn{>dG%C83|ѮA[(4y YyUpe,7A漽hN&?P[=I'2 B}+X`w |ӽ4lDvDr;\0ȣ`*N/46:S$`|fXLW LPb֓ry @ Ƌqfՠ^*ihh01Jy~:n!v;>\%kU VT}jHv&ܓ%K@ }=X&Mp D= "t@uauX#`7kwP7ɑV3 Qw6}gxC07\ yiz%_>"<Ѻ&Sb۵هφlǸr2غ` NT'ThYl3#v˯nJտ9иhcu 8ʁLB!{E~RI] p)^a>n 1mZJu=ʣ9kކHY57G_<WD|V рsNFM_W%c$ PlGq%RX_+!g^}E 6$&].[卨;Bj;EIwǷC;t.\|XqT7WLMx\@%Y1yM[M-r1-L!?Np,l J|q?tn$/q*ShG[6Aq&cNǑ@QaR B][k%C{*NH:$OE!SA[J4ByYKEI Χˉ戴F[N2M \ 42 (T}g8k('7.[KANچ@1Ȑ<4V^i2X5 XRBdGkJ.Ff2/pto+?nr4QKAUs<s [5H@YB4ҫ7~ "`UAc3_EZ `Zxk֠!3HpvsY~zvm]a?#,w/aӋuPvEfZXn|=CM`AΎX]33j{t)*MZ^%ۑG!u;q&dK}ma-ZK[$`jI>c$+3Hߟ~ttm˘U~Q;Pu*ދ"%6 806 / bFj]O~A'tcow+5%: `wbA)u3R]Dݮ6#hE*7ʑkPQJJӑEPl#isnB7N\ [$υQҧ2֗cP#-u黥Hj]p"=A w2*zV(Y!ypۣ⣰r (uUnțkk{"iL<0;يzQMܣFd 7A`cHTXBH V&PɗC\daфY6OgyWE)S.}HJ@kg #9zPO-]֒u`h=m1#ȶ8}SK}'0La NC9p7vQ9'KD~!"])V>I5s,BZwZM9CdXˢ}{X}w/J:͚nPp̧Z撔0r4anjeV[K55w4zz3a)]'Qܠp#XcId98 J`+#k޽0S5fw]Н$mڰ Q1 ;qb?D4eYcUOcUК|be'R?haezFsne k$W=d6*=8I?z,fWDlϺ % lOTzefQ&-7WdZV;la5^;[N' Ҙ]8A8hv@A׬;: jFyAy/mgR]+=M? [$ =#mҢ-%f/WF.* {rVZ^c_ӓ'fȟH ] B& `L&g. P*6SDv)) [!sU?Й0Ls?) tJb٤WO_2 ;4 $&V{V^gYZ17e4b4b3a6545822a3085cab7b7996458aec584b0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f473717628e74ee29ce2ad84acd65ebab8aef0257578548c