SQLite format 3@  .;  B --?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 XEv4, ]S Formula_Derivatives-Examples:threads=4elapsed=28.999cpu=90.944gc=15.9367zXZִF! ]ŗXiɟH)0!h^ F]fK=WJ*[Sn"J&͗|.:Gk*a ?]" ^j?gg:?" *9YeUBAdj )6 MC׊rmÌ&ѡBiB? ߦ$^Y{?eNݖqIآZY?U ʚ! 2>o-t^6tB Tl MM3 Ks!dkH *7cl큁F>մ1w A`lq{9F>ہBepZ6 /^kOTC03:<_۠h 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:`iǼL NGCW!㮵=d0K    MD  MAE3%Formula_Derivatives-ExamplesShow.Show_Instancesdocument.tex7E%Formula_Derivatives-ExamplesShow.Showdocument.texXEa%Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Examplesdocument.texcEw%Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Presburger_Examplesdocument.tex^Em%Formula_Derivatives-ExamplesFormula_Derivatives-Examples.Presburger_Examplesdocument.tex`Eq%Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Nameful_Examplesdocument.tex\Ei%Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_Examplesdocument.tex^Ei+ Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_Examplescode/export1.MLhaVOX +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( NsN"Eq% Formula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Nameful_Examplesdocument.tex7zXZִF! E3]A-MՋhvG"uIBm5˾_K>H)mGAQ)1&@@TgpBf#iLĂ]M"iH%O_2Rԏ(C9?cMg[vt4lXB@np0Ħ=xT7)9!AjB Uo8ܤN׼?5*&V#~Iدa.Jţ`tl# a`n3K$!Rh ~ sѢ9~J]DGJP90>.[!nEɓ8-OvգՀ.[1t[AsQbEGpIc:b:' eD)_wT&nG.}@\F+Z*_j Kê{6JVpky]2Fܐ Or%9"kl yF(cúW^|A9MzUʟ`R!%xbQi=NVͲw˫e],[NB7㷯?9ʮ<~ F(ޯl|t+ϮЋ9vk^9v^es%+u`=}#kp`DkjZ%H~\1:xvd*N^(.u]8GS DU[q=?h^c ݨ .&5I'o yAo ;<*Oh9zcVj|Q|Sp 톓r/݈MO[B ڐTj{!? r؈#a֕4Ln0A. :`L834xEw| 6,EԆm @@Diz1>*R4$NɌ;cˢ6ϑ4Xu)޸_G^5?1KW71m6Ah27lm{l[,g_]×((DI$9Vth(fM&1h2٩C8︱"|ZT3u匑o ;0Λ,4zܲyKtm7 hy~D;$ Iz<$"'1+̴.ZUbee \ڥH[V yhض:\GIK;N оQԚr'g}oG)I=Tz $~T=u$cǗ.h{8s q /+d,2*"D_ ';vT#Ag5A }xӨTƠt}`£>L!_h|x'/Y.|&d:7n򑂘lpTQ+LOpM(?)/ZTLaHux'W%JH=ցDŐ)%C8֫9aTl9YJ3XPXi:$8Ƒu<j,{+mr/`[t!LH$@Hsljj4B3C|"1nx`o2fuxڲ.?c{˒ $!l+78Zj{{ztlշ.߂tj%¡8Lߵivz"xR8)E;%LgYZ Ei% dFormula_Derivatives-ExamplesFormula_Derivatives-Examples.WS1S_Alt_Examplesdocument.tex7zXZִF! C]A-MՋhvG"uIBm5˾_K>H)mGAQ)1&2FN?0#OcI蚹g~@ۡ6|G/F]ޜbb+9zp '8s}m~7uoOfTϖ%kS{=&ImCٔړ]IF7kD.&"l[VԘHmFs-\/~a@c̹FW3Ii0NAs/͇:X]&3 jGQjӢD;%=)dn-bSK-y%Kџcj{Vs;{fZo4C.rU^Q!wQ7o #ܳ Az!Sj6Kwx~5߁wY_ ɼ&TbŗQJҴmJ[gZG^N]Q C/{*sd:a?47hXx1IPA墀w3;K& P0u2TW9<֗ԻIfwH㋬T͌.]Y!d ȉCwpPc#IyAY aHy?Ul?8Q8US@-ؑAWk 3m ܻk6P?1%N6T-0=kHTi<6[B4GA@‘ O§u=et@}ϲM2HXFq.Z`esk] No:Ff`jp,?WDF9vHLvlg$~Uu.M[[:"OrtnHf MQ[JU\fS3i{.W>*{e} >{'}$Y9~\٪GzqTo[R֠6;gY= ݖYiKe*dC؅m!~(l".[&El@bwӨܯ,:ҐK$7;mw*xBI٫nh,^ yn62ңh?4WOWtܢZ{Apx=-y+MH|eą :jk ΍0Ñ# $8qFYF'4¬vd~( LK e> vI`N1>ĵ^Z}"ŀcW+rT4^irʈKמzE*o18? ygW`ȦoRE)}<"}H+l^?8!)}FpYK\[ H)mGAQ)1&>1"|H{\YA-PڤiʤJ$ "Sn!l0Kf8 )OYyBƛҐ r l'7nm# =@9бr_l--#0kTF6̒j恼u&$AǍ0fT-~wZ獌ZpsGY 쀥q؟) "BȞB啣>yx? e-P *8I@_ ϝSUpTCb_Lg&cygʽy`76%Id-O-Mhax8JZh+FqlziR x?ȏC!,ڦ&?7t.d^N#N< *2ZwF -+p]Q#,LftKE+cg$OBpɑvd6|}]ə m,Y_S#TH#{?i 0 ՛q0`L< RLSƎ%]ZѮ<1: |HT=KtэQgbSrR0ɪmUuU|P MoVm"J ld2!YQʶLQL[dgD`?Iu2}D: Q9s;fB| o(cAmĻ@s{r5#SnˊÏa+"셡gaŎG~Ъ]G, ;^3Dуm Bq pI^>|tDžc$q50!.z*|ejW3f0غdFˑCN)~:EHj!+cTf{,$'SRe(]`ܑ&WR3 ?mƏms ܭO&s| Rq:BԅF~X!|~ByoFV♶5U2MD/%&N0QYZ%܄t  p j}?, dZ 'AA*HalTo6t$6gYZ o oE% ]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E e,," DBG[xoEbf1Hlg+&`.b1zV T M{v|ZpKxl•]ԎWkwб6߄_*pnfz4l倵oґm8lvk$mh—ϋOW:YZkpD`t= rEa% H)mGAQ)1&a794tdN$%<6}pTC0nLm{e@51z(i@ /PvZ~d'+嶁!X6&/ 84g_:ُqGAIP?tQl8xTF"H3PY0T -?cX^nH]"Ma"0ST\kI> I{<ĸ8ϰ(GgI\׷]5NiƉٽu|Szy h)If(lU CdW#y?yq=nyq ]ZۿH334gH_ ֈjlbSvmALJ1 ,UYɍ ՖBJT"77RrUQP}Xb!F:獶 ?{Q4ȯf#!6jm &sNY!!'zMo}۷TI"QNʻWzp :G ng,uD!lP _j(ke-*|b9j*+6!NJcgA]fրfĭS"`Yo[_%nN?s^bL0\7T80Rc$.g΢` ҅iNXR0W؆7}Ÿk_oq`}g򕳴]S277!'nlF+]Iz[ö$bv]U_NJgF3Gw9O82;Z~fw m:#1aZIy3'|o2 FPAnZd& 1'shVņkq%c)1̏\ CÄIj-Mo>Rdԇ$kܺ31K>YauruM5*ӥcw+oHq:}9aȶA6O4 ;dz)c0:)Q×nH ;5i#M_MDk:2~HZw H6uM&^Nm7 ,Ax՞xJ}cE9iy(2Io֚|NrDp ^U}v Q>fg($k8fA P݈F^AhKz@EUy0nS+ ʈlI/6d:-C4.-n"lCҀ~S}Y!;^Oa3쁓[]u1L '~HlHHdz7f_ybT X$D 9V̹݇/_5r xxt%<]֒2q$n0.ŸRGW׋@LdDŽO뮬&D9.0(!IG'`h?N'uN1Ѫ#olHv~!#b`N7딽g|i:‘T,'@d9b JiZᤐyQ1ݓ*Rb2 VǛs'"K@eAKiM9&Zm!H5=4A<;r{ <Ij"!?QfL|UHb>]y {EˬMt>%5܌q'(-Pi¬ʯe: =dbNܚzӎxm 7 Ӝ2-gYZ@8VZ% fvt+RP'GBrua=P0׎e l> wvŘE%I7p&J"A?bx1_YzhNA)O^0_#̆tJoDhs['EO}Kt!\n6J"ە 1Ӗrw#6&¹= czz( )7fY'J0()9@bu2)`/Mba߿+Sޒox#]쵾Yꊋsa m&'NtI+W[^s ubA0 &ʌ;O &UPpϜ&S^yĸ׽`#cvᜡDҗZe2+riO﫺bUޱ6᚞ |g= BĀ6 M`8mpjn‚Q}Fqg?41`3)g BBz{ )h2oaJUlS`ܜ[1s2,[e!Le|P$ (f2AEJvkyzNPU_?WNRi7az0uĻ9 g?#~!sK;%a$Mi`﮶jQ\+7/I&L(ǽ}5eUGlN.?MH{!d4&8(8Ύ #K O҃wFw@r(D?܆jmeFF]O1mdዌܧ!Ss&3Zk ۈk1P~^ıPA۬urKj$P"%OUcd[~V?u쇿$踇]Kոr&G8 6`M;L[Y6!&zm6p!͜va *D)Jh8RN[g ^&+*~]8q^!# /X@j>nO{iFX鴁 wBs1C,3Sщک&} RA~/ү&^̃Ih:b]=@G7ǻ[ Ԏ8X {f:VDԸ5BI` u_N|ӨᣕYGVDX+˙&7-RlkH49,R~5հ1ЃLA_[X$6ҋnxPxK#]Ө9TQjڲE 2p N00d`i{y_j8qRk?}blKߝZ }D;Lw¯OC߫# M;+ jqc3*Ȉn%tn;!ڌ" 'WsɬVwв?aIqK̪9?ZҼ$!iTX&k3Z(jT+ߢLMj c>+.fƚ b (є k"wѵ0\ES{I{8p+8gXXBjg={mK,S}'Bo~_= @ oY?#E{0"J۹aaԐ"E솥UlΦ#CȟgFƁ(JIh],I\ByҸ%4lg1U bc":1Žf!ʆhX!fۇ]+f[=:K bWfȒw,avl.Kd6=B)CV= ?zs3”a$ElI9$ Ė4a}, 쉛_*{<+1w\\FpN^ ɠdWS. ;:;bvXOvѐƲ{³Dfy׃DxJSm"dHG$s'9hZ_py ,) iM7Z9aC798/ Q~*;X I/~E$LdxCg}(2kF%/Ý%3e,TYM}UGT&H/dV?6 yH?UBT`zJG!w]3( 6{9ӧ@81 G">%7ȯPO|A?_xcA!8aB LP)(E}4G[<*}GƓ2!+ea鷛AAL[\E- `U NA6tгLg]XcZp:8'24o4wgk#WT⨝tC^{ΘKݑmCAp!x$㴦/p]NAkZmu,h Ne1 BJy0},85_N"N˖g߉:o0+aDC 'Id ']هn;'us`g+Ҵznh;?_ R7h†e,?6'SY/˖a& (m I/m, GTQճ#N8(C7FGhMB@n\dܻY̗!#":_`KFU6Qߝ)SF,샼 Ry?94Bw0I2YND+"D|QK3h_ԟn)F,K2C:[';AȼZ5| 5gQ|Z6ꨁRP4c>wIzbv쳷Þ{Pٟ0M|ZG'c3'63|9 FNk4MQ,+ŏg<~AT7ܽ)fe-լ1*L&' XoG=Ѝa]K/l;qAkێF.z7qSNDC)1<P4i}BqճvRa[ӓY,Uplk- O6x bUPyKSЁsQ~K~޲FbI.M-cͱFp ~%#o}R,aGZF 9gAW;]D9\LˬX> f aj8jݧ{~l430g揝{C* -{S29¾P\,l9FR={M"4jF rZ-Ĉr"jpd\gV=mUJnF$` mKOcJ<^J]xh0]/2iϡjѩHXLT۩4|/ȑӠ7ᨷuGMoD Geם!By ;+ agbR;J EQ^ëAD/"(xMAaрiˆXnf|47PNQ#O*X'b-%>R= 9BpUD}XA%l(b~_D=b%}MGcG'(u,i[%jf.v%KZۺ:?g kiCI %7:*C"iyW([(X% gw}HiJ]Պl1%7 UxH ط` mdη;u f!0MU}PT/:f©eCl~9d+d R"_m\ Kk}+u3C$?W^^tW=x' ˆb_R@7,| mZVdn,cl}ÜW MKJj+<"ӒҰ1'dH G\y*VA\4`>G. UJP0 1j{YS&()[uznP;ׁ3;7Z+_)h& -҉*=~^(59u>TNO&zUPj&c[ɀZ$Ah4Ӣ^E2˫dށ*wb)-hUXQʮ<8tOCZ a5 X ^āF]ŤmKnH;sH0Q 7mA (vkvCy$zzç7Gk`v\҄!DG&|F;8f, 6r*y1ؑ6etk.b1G{EJC .C XOa`h̦gYZQ@%.TtLmF㰕vq&zL/7Qվȶ]T /sۄ@'?׳5Ҹ7߰I"WcGvgYZ7zXZִF! ]ŗXiɟ1[pYP,lHwAvfC ٛ'?c~ܼz4s{P DD40hm\W>U|PMlXNG4GHM~je c2_㿖-c^kl{;u<7&ViI Oo*ŷ|{o}ً%v ccgYZ7zXZִF! O]ŗXi%D4# hZ ?ewAPwB-y[5/ d$2nz  8{}(G4vJۆ{.0шy]\ɯr $M,CEQ+=6*Ƶܗ@úVѹoyq ϾEfa֔LB&&~{LQZ1CEh5Թ#L-M%2OS*ܰio̝A KPZmG9ZMR0/7xQcFOnlZRZO-..$~bC8;H2@XfM`X蘐` CZzHGiGUnuERrprVzϢ̳{%,}dd7sV8"3%(%@+t)7?wb;Go{/A3ÏT!?UkǎGWFI@HR/AY?U,4꽖#Y 3/fBK?XmU h8ClxSNk*$vk[ QS{mgNVYRDujG4+O<6qLR5*S]qRz,M4yh[>noS:&ηV)6CQ8t(b9l)=q ¶Dzxl4m,ɝ֢5[EpFO27lP6(\/iVs{+l妹^\͈ТX0#WFqUpFF-6sI&bg*}z3xwuLsMO 4`:j~dD|0r]Ofq«.t>#L+NŎ2U!h{ \ "r6H:G'l}qMd(@K~%6w N|2:y7yk2A`'G)ގSB#B}m{e.JJc 5ҎLa_a(; u GѠУ27X!;rL$cIha@lsh;H>_̨X_m+ g6YZ5Euf5(Pty(mn!ڞ 7B*ĀWjkF8S\<(O?kzA2 A g1:c q,fxJRi/?r8_ sQ[邮1O[U7\vҼf?+ءcChG#5L\~jټg`]Rd~ij0Zsؕ4 MC WF8Q":6)y_i~.]7B_zZu ЛX R,٠ G+4J>m0psɐ;AR'GM8ļ x<+UC&lDV(X芽<*_#zNa59 H86(@v |$R H/=uѷBpۗzJK$&.XonDX/a/f7 đJD Ʒ6VWʔ@Z"Nc 2y,]tPiTDwe7o/Tv4rUUO !lVttHQ:B:D4/ӈW@iF~Kq>sc>&>'ҕO5;-lVۡ k`YYJ Fv4$?7bMXr VlXiΧs7+ٚ ><.FG)ЅY'g,jgF0x.In@W=D3/M-Io%d:SG]^T*SeO |H !RgYZef6e8efdd3763352998c450d5e1c5433246e40c4c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 47a83f6a9db4b4d72f9ecf6c7a295bdbe2c41839