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  -44$ ]S]Dirichlet_Series:threads=4elapsed=228.470cpu=753.636gc=53.772factor=3.307zXZִF! V/ ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Z(QB ˅t-ꧻ~{ `1!L4d:J ER Bb(O1Ga a$u4W} fU{Jx[u@%f2ਦ9xKV)W#{@<:|m դ6V$~f;>Q Qw릆!{W%ĝBDMpB)QL5':l9/g㈽4uQTj߫E\2Ɲ&ͼsQ-,?2H=JC(DB‘_ 9^RI:9ߏQ.'L"Q&KXy2* T O.c9exZ+ˍWe%/NK! ί9II7&xDs>VZsu϶Ey733T#侬OՀx}^6Lm+P6aݧ&x4c% ZxV9SEodj'3b׋CAi ] JD`-ܢ QFu&k!WD?+<\dF1Z~}L %M@WMn6u1Of0lUTi7:kYT֓떍/Ҿ&9OST7@mrKdiBji>Uil|x4lHo#^ӢQ32 E'N?jgƔ40d%}\z4x6ثGNq wm0;#ۮ$!fj 9Jz^+mn||rQ6ua ^V/8|cj&+zX4jJ[N~Ye t) zv@L_xxIl\Xh[~K5CsW1ۂL85* U3c X ˿4RG됉> G"/߁`3P3⟢˶kPx+~vf?4Um d"DN v>d|#=A&YH8]KU5~ +DpyjY]fQ넽܍y"0FKˉ@03'%eS<ן<ɬPnaKn澢Za2d&_e+o9CE&KLx?MP5f2 |gH;=^BQI;,u۽,f>J>Ob bMB\C2 ehkzYiW qo&[?-7,d_#Jo/TҴړ_QoB;"]Twnh:7|I:K.q]]C1\_d@aWX`^Hu ` Q@0A@_d|COrI r_U(&p^XSD^vC\&%A=&Y60bW'h9֙3A6-|Y(z 1LSĈdXPaFj;k=l+#JvPR7Bʉ~ʏHhiYiACEqnSVmB6g`ڌa?0|(R=vn7^̌nE+׃h]NQQ(͘yrͩt2ų&FBK:✤3uGnⴂg{FoXZoo3H vSk@/݆&Щ?>Et7Q$%'i6:vW,wJ5dv\xDK1w^`+^?yuHU@ԅNڂ?UJ)21xD8zIn˺@,B(Gm2|K"of:{R(&Ҳ':4>qhnPo573`+CbKJu ʲU 1T Q b)z_P˛P('mj^MMFF 5"dF2dJF+Z@p@FLAXU_!ťڷeIU"Ph=&K)vG ߕ>m "2+%Tz^ԾoSls&dO\ iT+ߌ|PxBv6[8. R l7"cfs@S4%B^i@ek%oFGCOتĀ֏\5Qnca)ҿ%;-Hʴ/Ih@ctɡ 7SubSR^󜑯),uջ l7uG+\1ȇ+.N_(4:/PB;k쭫٘"e#y0Yj#PLNe x$/EZg]<h2khf- P(=ѮF 1^{[ءYHkK5.O$_ca=DRL/ kʞHw@|oJais>uRlS #d)WESMz]i_@]nHy]Kיfx&PR]ʠVa _F!n !R3eۯ>n,֧!9N;A:sAB9-$N. Y^E;2)C4WO!C%/7Z/J1E}DqZnܬ jZ鲈m0a.7 Q7k^\bnoPq8 ~ԕp_82*Ús+ O QfZё5h$Z2Nq y^O{xM;Zf1%vV #z'f7`W5m1c+u: { LH eL 6\e__~v&L3\|> }ddq::>wB|uPǕlQz(V )8R!NCCwv#/d!bHKĥDh ΆEݷv؋|5Křec/7d+Ech?}GJ4-eg'uE/ G9GN V/*i+[Ti{N K/8{jQ@*!-{{ꩨ9vLU΍ze8.r [ǀCc?^Q B9?uӰP;;TM NzK.GNYpmGH!)AkOKK+12K?g| YO% *m \p^jqm9S c* H5r"]74]c.Pѝ_ׄ!b6 4>ljǘ]:M)Q! a<9$4%`e2 wc ӨjX;<>iYkK{ "`,i,xpΉbj #Mvv_Ihmk$Ky? oâšCçomuL}8Dk%t+%Kϕ󇣄kn!c)OV;$[˸L`cf̀4 X"pg٠ kz+RA*Z:!2,'#R-lL;,~ۙAck.R `R<b{ gD5߻(|xvcզQ:Fs+ t11J#/.}"C͑)H ȃ+#np6Use(;r+RxNt`--Ji`Nָn*Y%fTu){Q5<,w>mVJY1|Z@@MҐBb i_33 eL|bw1`|^v͊-YJb):5! =JJaJ' 22St[y :4@ΐBe+^|1_EUL; 5xWNFȼע >08+BkY$`Cm15<%-l}#"R$;E%}I68Kw8'jUA ߺsXK=ey8PChO; B=z?)oxU vje!WL 6J\+.K(]ᅤ vH;=8>UT^PGnՈi )w=SmT8*oV߸b #}Uso(LaPXM않i(,[&MI{ݐd_zhNK/֩_JHQgN"ͷ{y;BOa_#K6:,ʤA.4R'uљ@^kpɍ]FGz7]9ߙ5:+UC Ƿ|zO@4+)쵑?)LQI5BLHN{JƗ ]؉Hl4%l&V,ٓMH~] s]O})b"d2+B'EN_5Rp!9cADNjN΢5,[ߺӳ]@Gݪ̧;1;t,hp i&FkR`HX2;zf:71IBID-X8unM"1שm@V٣0%Y,vEBcLsDׂ=ˣ:5> 鏗+¯Qxhcˇ8HczURzdl`@*Y{~rUz ~Ί)8|zrsɞY0{zoxRp*2 ݨM H vV6$oR9y3B+;AF826-PDW`VPa!,(0ĸB=Z˚H'exe>BBa9I/>%2w B҉Q:쏭 .>6sLIXG=wܘTs Lt5Ptg B$!ce \poN:3N]bL -kPuB,$Ówpޯb_ؿQ=) O]z] kkrW%um> <6h4֗,->S;@J\f,֦QsnF_s~M]⦞0=>N晫LJqc10$k8cs2H+Elpritȑgٵ7 I@-jg^-!1ee]1'X3!e~\VȞݪ ۲tw84*6iT~v}tMZouۙS$=.jvډvO1B)q]z7Uha?bum 煠u -gv{;e3mql!Yб$PLC]5֔_n_FV#tC6UwCTY Y(3ONlKB[oȗk= W5˼7t*T/X֪Ԍ4Ȟl_ZG$qy [ZfTn"2s08I|Awȫ Wv}%&פ^L9"ϙM!a@l~Px@nE K}~-\?mVC-M#3Y_6u8:~!܍ ,zy6xQ hhiݰ>y# 8;}!Z=PS3ski ͚wF&35Sv~ylNʃM/ݙL>֋wGe|mO S tcE#}Kg\,gxSRه|"J(\o#˯aAފZ-*V,Xaеu%jTF9bY/ԦR~ҦSt3l葐XῺi[zP`!oܹN-t\p3#xA`hx #78ryT{8g @0~vQu} ֓w,OuvM)k%x_MwZ6@-jb~ #L뒞-9m^LGΒ7 f7*"}964N <^3qcJ3fPg3)9gl٢z7v4Nݿ5k"5OvGߙ`ygB"b8rQ؎>vQdESBݓ^_. -UU>+96F׹#fy瀓bjO:Ӷ\Z;q|4c4(kn$Orқf$SZlTىU,|bA aΆ-d0q$wb"9<w mol`=쓼o?JA6Ɣ p{zTq8zkTqdl yBPY6.U7a1!௰Z=c'9]YLWj[9Gim˨ōRͦX\QIeGLS4p+ _u{0k̿ɞ$Cѥ #yʪrg϶_@R O(dUd!׺S/wpc+;&*?8^g1v҆_'$ӜYV'.?8TPnbCqm)+sl; 1ZecM())ђ _bfDY6fP u k Hax1$@ÌVTVExmSAk߾6ViUk;a Gsni瓂(&e[A# x<\&6mҵ~8aIˑ,QUI^t㊲wbBlAj+Tnd* EΔua4N,zȍ CSI""ƒ4D:q@ο6IGD۸rpE`4loҜ6}3&7 FcGhяiz#,/Vd[ļc̦|C⯜N)|E~Kź5O͒Xi6H5jG@BP_L6}IGA_9Ї!58)aRBb yޞcl`4OGPDdm(kų +NMWqoI.c+PR&H<3_[;_a[p.xcY;][MԴMle^u's 5siHp vynTNFAgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM]FWm"h"Pv{+Ș[MtHc175U)4Sӭj@·>5Rkи94F-Ț[ӴI^{+x.+JΒAxxg|{'S.y׮3%'`0D^%( AbȦ/lYn& tqz,c)U?&|Z }\î|fN1f($ bQ\yf1r7E8b9C==N^BM!f&‡J z&Ms)cǦ(!1A7nkŧF^gerdzV'&9_Xڊ/SG3>.[%bf;b%{X BT׋ +Wg31n[x* UG˲B%A WHd\4)GepjvCh'_, sg 9"OV(x]t!DںXECyZ֌ˊ}أv{Hk-"lgR:ڠ.*gWze7Z&Q̉H%n]+ Ls4bL]a:'92B8M7F@Aq\uJO+.щ@`ģy0b\NF\JdS _iGVuO(go?IV=ZV ?6EI&?5*VsL-^7 ^JCEL閜z!w+US feN-9& DH^3~2/0JHl/eogcZsʼn&{> \UqѺuMݴf(?ذ?_$d OulYms).Y\4B^<X3sC*B"+MNL56qlL?2^YKc̊"I,}3"-PN3.ֵirs:$xM+BLnC%o=96|GŬj>;[z5wpG=1$:k5Jځ` j+Ud訛Ov`ˬgLM$B .PZ=(;艜 7O.ɱgYZ7zXZִF! D]ŗXi%I o]zVݫ%v\gT;`ax_O_ShI&v(.S_]=C8~9SgmV2xx9?>/d<օe mT5LϸDrA]%p LH\8 M$<O烐9.^B<$݈ĝ^crJߠs[.?sѹleN8R{fWy"[E8yI'BGQh5ylr%#S:k VW)I"Cw#3K>sv[V"6?CYW@}GC/mB1].F'D#m $’-ȋ5`W0\o@B":SY% ˉcOՎelB'uT݀U NJ)[1KZ6(stKS0"Եa dyeWǝC`,ɋӃ;>0%/甆7gQBmq0@Fr0tKI_w, G`J&Nʀn0 4|D!\kpkX*K)#=$8׷cT_k'z? +5Niqdc]ݏCDWQ1WPp^B7&{7V8R]%2rA2(za?9?^L :09v=mds irhyȱ.&ŷ/HAjO2)QheH,Sؘ"~\5\q]Qytbf` 2nR$1{C&!G:P=iJJ kIW)f^;ƿ>i 5s!¼[XQ,]yo V]k^|1Ϙ𢬻#-̜mw';ZeF w z[Mjc^۪yZZ?ؑ[N9a~da4ooΤPi`7R ) ?hUH)1_jn}PA}^C -7<%!xJu5rM%WT?C5ďs7uXLT%Y /ڵ 7'Leږ ?/-B0셬S'oñ$mC j]I'tݨ@NU ?/zqzӍ'ϮJ"30{HW &M<­ō w1MiVqXhI^'WtApCÑ@i-:ImPe;EKE*錀(5Pf08: R/3BGs8l4Tt<{/.^@()gM*JދQvTd~# ){No@\AK ̀pӽO;{%Ǡ59 J#w՝:DlJRx5rIQ%l](cI3D*([:!2@$gګpJNߢ5.*744Q:F35i=_,?3wp`(tK8yӕ0J)spu9^.72NJrCrٹG iF/*ź.L#ƹcރ+,w;'_怪nLGmςԩjZq8|kr>o;DCO/pV7s`[i@C̃H#tҭ5T~-NGmUS"ORSa"ݯs2lxB֤3`LH^`؝s :$3tGu( 8Fkcg6C{9E-fUgOKѶױR2@]]?E Kܐ$ARP<#F0?$vjefTֶ}BSz/찟$)G`Y eቫԝMTmf9@vPkjZ^E<5eQz"TkVS݌`TTjG{ q,ps4?{1 Ih:5Vh:l0?3A$󅡮<-A[封KA -@T/]\!Ԗqk'i~D)n,48Ml+djz>Ü)&VF\bB΄ZڛdPh菢J3WDj?MIos' Dtl\UaKX5mmLPA ؑqЈ1谉A*aq{jwSTIu[\|t>e2fn,TH_*m)7WW?H^F3*>uژl:PR=#7`Zp}X·pyL?O:H)Rbu IK fci"y:'/ޙ-e}=y]?@+-G GHlL9,$"|E7{ѻNB6̰n9G߯12^VYoycS8iPJ2ߑYQ;L7ٕ(Xhcf١+rR_Ryl܄CPe+w|+2B)9m5TPbXϕw cfZ C+sYJOF@ يARR3̊?ep]A' s6A!ɃFx>`"K,NtIY ߕsa;%=ov;>-;lKh9QsnuetÁ)fni'k)mCvK%/)L@'P\iKoL6-_kX7W[Eá&O"6\Rz6oT9&M#nw!t6qR >(c?ӿ gfTkdBS"{mpA^0?T@GȮF4J܆lb. eҥ0rƼ\K2V41-7Zp7iv<!DV]J &'_4:{7 R*0ĈPL.x#bf_ѕxGi R la4 *L؞?Y|"3,ԞH!ԃ~u(UM ~]雧!#.utK ܪOCU'mCqt&u܁NFE{%XK ? B /'t6 +dgq`Ӹ)?\T^$ݔlxS;</8_P[Ja")J5zt\͌VK Dߒ3AEN oeJhw_vDߑq_:뺞{xey"A. wZ'ѸƦy"[uK*'(Z1T" 4𯺉Mv7(yv ^DZt6j׀py+&-HIGAzH; ~[($DI%@U"MzpA)h%;tS 5ra H hM{G|G~S.í:7-ĥ*˷[J'7nDM<.uXtD.mhGf)-.?7*2"\ʐVfBXc'kDeіdOE{5##B#Ն~Dn%#(tȵ6(q]L]`V7D"ȞFIT0~";ϗև%%+WBLu/Cޒ{=ER \ξ4@mn8՞t}\tӵ-Y6ɏop>5>2$8FШhOhGkmU5 kSԉPjUӵ zz:q/u.7Ѳآl.x2(I%d6bb+"-BCb{c]G\^HF@7rxsuߌ@Mf2zF^gLU:P)|DqAo[\,e|vќ׹\G[!rh4U2-^2/uq7l3>"ծ -̕ٵu:5*2.N.dI8d\ENE>5Ur_l q]hHٍcDou3ASC/Dpĭf!G0X۬ڄVJF f9V R:s9_I/FL:#ƿ~: gYbu"?KT¼9 ^íPYŃā5ЗM,.=v=R# pJq)eMl:PkBXK[8櫗:$@/&ɎհrxD%ˤ*3ҜR%B=KӻE2,03w_[</K+tWf3|[F8Ͳ)>~SS}阵U觜x軵I[%IFm|8'I.e]Ƃ6;W4 hCom! !p}T*?*šR336#s~z ǙrDAN%/MfZ2*!`46{QDn<$A5w@=HF |/&TO n"FzηE? _\`4-L܈_Mx(Aqc|f},n[]`dj26 ĻQ=BjV.$@;t60/TEia̎5)`*=9=O8PIx+;{;3ެ1 8;u=fegr͟ #D$x*|3! X. Orc '`@3x,{;J -U߽b 2٦J~?g)AQ(/*Ikqe!<1$r%o4d^VCΟ8f_}ioϒ 'E)*S3˭A bRRTL1NbPJ__*3: D?l #x:գ$ܣ߀zHuI^ēik/h h+v,侜l$84MRlXMDHݫ&)<8s[?>ׄB:s+t.NBOj>rt4MLd֯,1ՉH1l QD=(rSǦpZH͢Sn=ؾ]Rv3sg-+Z61ˉ4n ;$߈*n;Iu:Z<* e˘9g0#42.Û>j$7esQ>,R!O^:VԀV0wmiggz>O`*_< G,83AEJYAҫWֶ_Ub2]XRzY빞e-+wf ,ތ8`.jOCpH>.`@0Vti[tj>txϫBU ]7$iBV`Ror#~n\YDv{+C祎+;P, O6~;؀5I :>P+:&-˖~Miz+(^fYH] v|:gT&6iQu!vڻY8tU aoI>D\3t "ئskVllqvу;5[y eKa{o0egݺ!Vփ -1%(:8RmcƤNNǑ$-#-5n']a 2ju].J%Hy<ݤp:}4wM2ڊ#`&U, 7 kfz:l1PLJtÁ7koѹy58] ǵK@䝗qw3y?yܜ~s`*w;A[JXM2`g^iRقږ$VZ|-'ww52 -3751MQ;.'M" %: NUvZE~c\8K6>WQ 4JKaʖ)yH /QnDC;`nO[Ԕy'jld5P)owG,q _曒2W yPYD݇q``pGh+|]Pu,%$iOG9MDAA+x,0P1]{HWAd >ZN"7ta-sgkA]-kO#R29! Y.5WOa=ѐ_P4H:MALE~?]>Ȧ>X3C.}V晱`]dؚjuAD dQidQyp`: &JFiݖ R!d7Ծ/TZzcVOV,}!m|j$Ҥ?!ޗ6QV-YFI@=: "р9֡la՞$SԦOJg.;|m0%}&{ {>=V%`|DkrCR1P Hh&;mϪ H %ş&>)^'7JЪb2$ׅ&L6/Za#=2kbF"U2VDDʑ 9ynfCРAz,>ѩM$.̛L?` Չt *i zS׍aj.#f{|NSяm `:WJU }0 wrM > WƍT(ZctQ*Tn;jݐ%Ź+zMQmʹO;qWۮ^/?ZSU ro<ǡB h~λNoӛyYZ*&@*i/MJwt 0 vW> UÁͫ' $ހKhV A M-!嚶V\䊑k i|HJ2s qbH%&,: EU8\"(,ZzӀ'!KHn1NRJ *M&#_8Op -Z^i{s!TT EސhgvBɍAپ&Aqw*8+}Y4@;m}.ZKPbk:E B % <;dSp#FW/Nt 0p#nVV0Wy6m6?HGPof['8Px6l)@ n ԦD$ q/ePHbhe{[ljkF*#c¿R1&I+ PiM%S&k [z *{I[Ŵ췷4Wa=~  gmzn[6;C $( aS1@H-!F~/fř։ G#7jyٶ!z9|%8sE|띝~Qqp0B6B[(kZqϙq(WD*~(oPa.1;*/1]7h]CgW-.͒q;WjxU0]:90 Z2jI䧞ѡ%fo%eO` ]Pm%5뿣$_IpAINd@ڽ t0\?=uN--fXP$d$#J<ӍJma*%ΑjJ1ܡT@;Eʋ^Тط i`u4fOU1/\cj.Ϗ/>ԾMOR\s[. I&SE2@4O ZfGKs6Hɧ A f 7mkHǒ"u&b }U-z]/J/\f%>#q&ڔ4n@9 Z&q|{Y, `ojBgx9N1\uhq7t#;U@nmhe`P]S@ )jCi1`w8WkC^i[DJ]]X $ؚwrhb!kuRrI B2ܫKReTm+Ȉuk_B"U6i$Vq2|*k Lݶk gpz6^0{f]IȱOy)ewҗ~8QYÜy^e[s][ aJ|V,S¬\0fXt}ak֣ xz5 ɁWs(0|>L9@G`J]-iV(tFRJRpJȶwSeu }:,y=NA?7]s c1 pWzwNjV@L  B(PCϞSs3|nw1W0)O)1؅Kj$ʫy,hnVrjdżaIa?tl%asieA?rDA1j +;IN}]w )DY;Z^>]='RShƃ7=:펏߸6b$ch;YwX"H?rE<$ks.#ڮҳ&j ~`QQz:l#Q1cEfPӜin +8cA6Z+;@*bLG ̬$ؽw>B0B|.'zsx9?fLV"G4tz݀ғi@K.X{g 5oR>z^#E6zԔMq;. Qr~l`go앳)(7œf_O>&Z pR7YH(p=+#򻡫݄S)|2eiP( [*c-r{h! sV(bJ2a3!WWY~Ap=@gBP/텼Sq8@m4;<1ZUfK)+$l\=Ĕ򘽥xQ1:NQ8KU)&SYulγBsUurn\eEASguiZgڜ:!ra+$^!\#y92A?WH'-[C?wA9N Ƈf,?ܫ>|LA"dVnIf=A><ބ?NEsyS$HԮs`N %hrGo¯;A/_cgF"ܼ Sš>bIBPP%2R=r5ϼzՏ!" J*FS |NdYX=,TܻkP9:L^=ON.2MliX0.E&< Vdd@`DWO) zϋgB0zpB 8LwnT6?'3866EGPEBH[p1|fAmk<T~B >4SGc<uxfi)3j^F{:\g كSuW:>m+m6鉔?l LѪ #+9D2LdaD} B Qj"w掖#tـBhnH& ܅-3x8~sw畻u>zDo8Y656OROI]xKvzT ka+L rCJ&wXn >@MGypmReD矲Y=ƨD,S(y<3KF*eٲnnU2C%K%{6iVp%T?ƑkJŞySB&[r=Ҩ҉(vߡ?ဆ;xvKl%Jth24mm\ 3^Eܯ5WN6:ABܫoZ;+s[P~a__Y 6#SԷBF=b(#S l e_ad̰:Cc1/(?98\;Kʹu2uw^[#kBǑ SY2ħbq*oMv'Y1EL"ϥ!HjR=^}5ZFj=Hj8&$л$kɞPӵoPԥhN t̓P$ !JQ6RQ4|47[F*wBMmNа|i(VȿD;`Jz=m.G1 !e;K{0:| CT2 `CLto}G196xxf5_Ipy7 v.t]'St V-"_?}о(g4$pKfw  rYAyZgĉiPciWGr[BsxU ?pX!Ѷv() ^Y<DܝTti\q2r+{ZPܡ1̩s~~󥼌+R$Qg b;j=;_r\> Ό!YVwԞtն>Y #B ]-IXHT ANru&GRL<l#nTM"8im@fEO8{lCE ]b~Jj<0{KLOEs[<VLfTɷ]F[,Ϗ;+ņD tt(RM[!}B9bUT@?מ xto5͑2yYBl/R뗦gpVjru}0h*L}/ן!Շ֞EgDp{/j| Tx8i@`DSq-aW 7 0?lT[_dߵ7Lm#RNz{!a'EǴ\HLJlK}c v3OUm Y|d!k='9)v k 9iH>D K"X9O8%žW5"sÁiz*;bXB;ӟQgMet%(Qha†AC۠>97R5xzgL eNaJ^t; }WLCtͤgɴ&(> 'M_5|qN;gLPZ2[i-춰X17w&H*{Vڔ̵|A]<3!(% S:/✅H/Di_ d'^"ŏ _fzNeKvѯ<3Jl-QD^n}PK}Q_u~2=o>>JKof?NgYZ5a9c1c1f4f4a6f10463eebb4361c37998ed3a3e05a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d32 f96cdd94e684d8a129460eecb1e5891fca766bdc1c2ee4db2d18651a2b0bf7aaa9f1e00351dbf64e