SQLite format 3@  .0:  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  E E-4dd ]]Dirichlet_Series:threads=4elapsed=210.249cpu=695.976gc=51.444factor=3.317zXZִF! =]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Y /j~Y?"b%đ##|' *'0Uo -"̈4e26)Hl3T} \Č22r*A3w<fPt:^| ~q*˜\s<;BTzA!/.*CD*"RNw ^3ҎVWpH"e 0M^Zˢ!Ф;O݇q '5w|Zns6.}5-|Y,] (60ꂳ$0mI:'-09#0qVk5A aU D޴=aoٖC[WT&xp/bN?=F9/W @L<}՞u$ =U k ,X`FG 3闝~bl҇Hqx/4o$PǙ)#av4SYi8`('85ӱ+eб핹ԣ<`_ݤ˧@({P+Of R&j|ȩ-iq9}ئHwج gl^ s k(Bbw6xs_ X,c%Lk;C`|`z6M:Y%߁KY\ӑ1\Ɓ@7wF\" yoeگZ,-soi$b 9Ueniٴ1}C/Iܔ1(fH O%Qm(õ.*e ;DEeɲ9ލ?m0XEq/ ?Us̊%F< ֋` }(Xʻ$rQo<( HQrܿ[z'V{ +v*Z4F^Òkl cHe0]XvFp6^jzދ5AqoϛGOw.@I}؄)+je'lF@m"cIr}_sK}j2ڦELK)D=+r"nB>Ύ H #60G1[5^᪖(IZi*ja<9_1ApgP]7i ޖ{ GTU Qu2Oe9GNns '>fWrz4d=n%9nm͙hvdO/c;QCq1+Mvqf̧Զ̈J"(.ɎmW\bwpizɸ9ț &Uv?ٵJ((iZՑR_)bYęy)|dvxj2cM1f]1D Q#ЭTS`뒂mr#I(55_>e3Uf?1FyL?4j~bZPwEGY - Dirichlet_Series   JKmN6:աrc4Ğa{݈l`]BniCKUՁ4TX:8:훏P~h87_hp11Il"-XHDB`ώf6~JuqZUH *ǰׯE};ZՃ-w!/L? L^Ƣ;a_^:bՑ iu mtO Z|N8l">Pj)KEW)tY=/msC=̣rb$T\Y딥v1)*@55)^ߞcD.Dqq:a,Dx8g Gŕr\z̤ha K+LB+q&E&$8]N1w[fvuѹ썩G$SJJg/O$LãMbBqe,bu}Қa&sj0^Y~pAmb(M,9K7n6Jl݀3h™ᶊ%+ 2xyl"}: w+ sVjE"{i~[Ka9VhC cv#~,r@0Ok"+S[%5Ѹ1޿0:f,XF.n?&?ǵo U5nmbW|"y)&?8Y09zgdBr&}V2D$CǙmUz^w^!5=6"G\=@(x!db](< BF={_`VNOMo*}O2x3>EVy.++W4+0q9v4?,n }v[ .0s ?afS[VMj)BEVZ-sl,Mu=])_D:LpXVnz',0Ly׌zŲYpTӼiu C(tNY@k?p)viו?ئNʱn@9&馡\aQ_ d?2T *ɰ_Cu$N {yAքlHDkR ]Xg s?^-sHɘ-G^|z\my/q=o#8XL:_w"_ H瞚b(w&;_D,„ ƪ%x T2.́W6r>sv̂8qi*|>=ʙpeL5Qr!$'1u|&uO(AVJ4y(+{1bJWt*|0%F`gYTfhbǒ=)Ev^`I*1D6gonkzcGKE)s)J2hf"Ya祆 &<&@T{s>u:- Œ52G"_Ѥ;B0V 85J*"B;\ByQo^$z}+,|K iRb+_1/%,F\uvq[U< 7aHC!2ܷ[U Q)I=g]{4hfT dtى &q`0t1@b$mu>&ZXS~4mԕߌ%/Axw*cQ.:[Wt֣,ިm ^Q: j2F ڋ>a!uc[3Kl_(1 JHp-G[%ZtD&>0yx#$OKc7 ZqMۿ1L7ucyP+t6Sfh~I{!08Ϧh;b.(%erRq݊MɆ[wxF]&3􊢯#R~{@FɨKy.Zd\[kӧٵGD;;Xg Pe>򇅷Q {i9m5aoȞAHKdR?EBbG]BFFeggYHGS[9.+^#|&;!}cNF9@Dpy"x>쎎MU7s+s=,ʽN.`ѤTFx*\㩼5VR.7ߜ;$,<>N  dШ "U;BrRNȌY^Vo=p#ѺJc6C/34^¦Z3%F0C)k$/,5v 8%c 9;-dU0$3+tt*y i5, !s>qGU©ZHܷՙph }j<a),ceW$ƕ~ AX+m;ME86$z$B,s-\*9[Q>ӟsqG2AUw%_#Hz07 ԤL tS12Pm9ZHC/ 2kX0n+F!9}-Wqt[亢qLX3']+!̗HdYc9@e`$hj=.E'wT*[t4<㫝$a#*f!߉)~y(!ұwի/,>m!'jI7!A_9;ة Yw_@IG 8f5O5?zgXD}gAFvFc}2StSrhʧ9nn[xɩ@r_+,5iL edF  QNKg3Y d͝ L=Kp+ɂس?1l1>>x UnԻ/TUΛw`L4īK~@w- F1j, SרwiG~e9GF߂ȍ(x`1} 5H%¡̆![ _6wIpbM¹--WHOW>%>.FVTQ @jLGJ7IQ|zI%c[rOJͷniu@%(8[(҅8 -HH[؆ڋiM5 | ; @eNtJů|!YeCf&Ȍ8{UqU?H?#WD]2ӽۧd-QSswQ$'NySS+Sȉ34 t (߃\8{d]QM~'? u?gqAɠ=`z\ +PvODfG%]N-ni$?9MYAR7c^]2ѽ 3.)#y Ya,L:xuHE`˗{qӒ~QY#f:eF0.M%7Xb-%{pu7QwF_ ﲑv ӹ'5Vv=Յ䈨`NHEpxAɩ]~8_webZDV=%5{h i3[kī@r=ʨ` Ԗkr:]_r$%T pⅷ6oHPWr/!.KݜץA voS4zRsЙvPX'%Kч }W a"NPsIx=c};Ugj9d*u+vy4fhq1?o7ee2ě>iRH+ ʋp'oBeϿi'=KFb碒x 8N \t2d,vwx5 |(4ԝY4|faiKp!Sl`s~샸Fyrtc,[A-^0W4 }h"m *[|}'xcZtYoLZvW5bib&;d@X~xݐq0;L 6|&)u`e- \Z/:1ЏI1mB[4~~۠_BX !JSqVÆO58d,TC?(>m~Azg WYq*RV4;W0 ŸXKd5` й$һ=ށ2eOM ;ɃG# cJÎQzL3i lS%Wk05YF@;CTs<Ø3DIڭαN+a-6U&q#t\:殻jNPbQL ]p-=̙Kȕlj틝,vN`'eH{~R*^T9(+JyIi/f?T틙ebbbj|VNA1D+P2흗,(㘫=DFp_fSp֙S8zyKWՕz#: N^+mDC:s_eaW)iOaF=0`BmSʝ/C2T^QC^ gC2!P`Mf2:q_?<S n2A]{nZ_QuŸڂF +8{Pb^*A#_5 NmQ~#W@(SU}sܛ3ME:dۆI͔rAq &\PL3[X=|tfPxT!⊡4~&H}<@,8B$LBe%:iW0˫‘15u]ج`\I﷧:y_;[Qf!_~ͷܦ/OJ&™Uc &u]!zm xuܔȩHG ΪArI{17s AFÿ`~ǷlE1%׳PI%ٞΨKz%NbcGZ~+7G l^PM:'_T9`|S{%m.viwB>Qk9qN6p谬 ;ǫmWoQrňP/C&ԷbB& 1Clk}:{H9Na|%z̻|9 S@Ǽ^"gI&?4FϷW2ǴmQQ@ RtŪ*AHM=I@igYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLzs F{ Ɋ ))>ܰt H- d9@|.&u l$9*Gګ])հ&26mJنXpMDލZt{T2fR vl`֝tgSNLy A#/xUAg #\[̅cPNUc^&xr* Dtv&vYIL=6-2\H?BdqyG6, +:Ks (]ӌ ;=bԤ@ ̎]KW>?&?6T[2Eԑ.O{-ZONKyn[j8QώO,pM0rtd~!f"3|.B~_,eI7q9G?oåL|&{ʪ4&IR- o(Ǵ3|D[VpJn%R|k5 JA6}q2 A )W^2 nBI}[Sk?.O#}8ۚf8j1_a 'Y~0$\u۹q"[.G1 Mii [~ћG ?\NtAW;QelSaS&eojFglĔ6Mx-֋һSI_93#[\eŽ3T1 ޙwbz+UHB9eqxwCH Bv]^"B@%`V 6{pHel=?l B mudcMrC7\e&u&d&R/sJ`uUa +~: Gn0|Gs[ Qdҿl\kDޟ :jAO.>x |"KP%`HĔli-"W%%:9#9tO^u ruyv+Dk,ڂ fzaN˚©3۬)IOrw)1Zd?KF!:tv7:3&iL_yYY޿#WQ&Rh[v#"@+&ffX?2D7L#[{j3t@ڝnkY-yy]PkP+Aվ"1U[ӦJ%?,9YȳM;:PE֘p3kͷr\$wBJ'FU<=8PMn''=bz?=}iq_:cCFu] A/G [ܰ,ut$ }l)x%8GA(Ogj̑QCwO 䩚[#z!h 6-:pΣn{9.]́eHuKK%?9P0,v[8dl+wRs԰]*_ڿWS+XCy?O (1vqP87*CCD`1 3)$344[RfvSNllz?Glcr' 7s#A`gYZ7zXZִF! M#Z&J?Y؂yG !"[JlF ԴDjmлdbԖ}*u+1 .;۷I{ywqF޷7ZX<l 6q8'42k_tJ\pPgX@Kxhqh↘}d1JWlZVoX|I{|@q$mje4>0j>.#wEkhi:2yFOu "ȏ0@]Ӧbţ5ZƔ4D PH wm^萷C.PhX.T&NJ/xrӽR`:|ݫ"Z6q Ԅ:Њ6}i # (o*W=Q֌gnm 48| ұvSlS;@'FB;C5B{hb wz/sIn%zDkZf9p@s(JF'^!V&VE.o\8#*R7Sl\D\ ;qSqS ~Xݧ*K)G3ߘ]pc#y";EmÏP.w ([-OM!O&r~]mكwׁbM!r6?V?VrFdܫ֠^FH.-ܶ c'YvTzBqbq? ddЗ7Tp3A #mB-[lDz-euïjx7_D c{Y0OHz69*M:iX8d)ӇB*R7*tVpy($ ^X#awo(甫:_~_ª &!/^N@mhH<KPE=PbUi,6+jg59M"=\ ǼġÐwr"탌Es98jMsp33݆|j2ڪt/84)lƈŧ&]tʖ,F0RhQ ƓneŨ)0oZ_|}S /Sv#lHLfԢ&SxH~UtrXB_$i+G7qQ‡f* ΌǪa15I) ;w:gڦ8?Q†NqS&LPjYsP! 's)V'P/dQkh;Qȼ1EQI[-}&t Z5ͺDz9 <Q~`@ΰvc"4q}~e{j 蒄һDKΘ*Q#w @5!,% 4k4TM% 2B\ag|4mO~iH䳘hPX+sc<,O\xգ6&)OJw,'6y4'+ daH @H *#yy9o]%N{?|5+^c3[YuH !VzHP}>ֲ5 )ne򙊓ĭݳ^T,1wx(֘pBF={*HC6,<*9󢻐995a(A!֙* \Kݣe4&-LID',抟gGuR <ȡ`zSOَZ4-f<~ެ=$'0)DwDIo47;=*> ܥm:P[CɫZCƎ#rHt9@: 7˩,fy=g*Y-K7L Ϙx=F3ʾAȵy9NދMC~^T]P+(C?Ix:/Tą.KNPQ)Ow!mTmqKa^iзAreQbz0ӵ[ƅn]m6FP=eiE4CV`;kf1gHhxu#3Ő j3Ægm KY9rr2\4~R~a9>| &8<M;A_aIAaKnx Y& osȠY!ꭊTym'x&)1C*@X\ǎ9?Y`;8I|eP;pҧ[`E}&\k_E6ҲGM}|gv6ᾱ&1?R0+NjZ]oQOK+ULu- p*8T+NRlAK.Eٖ(|lAա0ՄX [ݴC7lٷd)lރ>Q[ýS<\K2P0_q? ->=U3}|BCǜ'Cw9&,a]XW{6<$O$:fomxt Si8dȅc4c_Y@;܃ up02<ȽK J-m;р) a[?`u'y0 k {^{r {m%A,+03LMB %ƬzZi>8KAau@uha(EV0 ̆J$Ie4!{_J\?{e@9r91O@?er,0W`b7;mIWЮ)9q#Zj%6]ݰY9~o֜+2t  ڰïY^1k.+jZ CxG7("TLIVϊ~)@Kx-& |og d [ ?) #EMF?v/* $ҵ% ?MS{ n#b`Ũ٬qx3hE3kcT&Gsz@3Df +[gWJ)k-Pw=!仕`Wn^| }I/*yk([ ӎj /[{9~ Th;<{%rtKg9zY!6}N*oR%k"\#7 V(f&-5f,$ݢO>=K?A`MҝR>bL~6mZ 6 c{u5dRһ5O(a><'2fRSs2$9w/MP_jOdvDIKYy;8mԧ1fZސܬEF.ɏw4%9޺f3ӐW7 &0;yEj! (0!"{lhQՃ?sY)KI¥5ɛ[5,g)SzM:G6Xq:32GL|dRR5jǠ2i z׍/rޫWA_tVkeaؕK%|\_/moqLJ'hW6D>e#҃Y1LM]YvQ2+0,-Lf]WP-Eߎ:) Slw~nVXcdI%v? \VIZoK!Hzn>GJdul #,VӉ~nWJ.c`InS1٫M1et 6޾//:Qo0m?A B*SߝVRCRYeRZ5eKנL[IRƘיJV`ꌏ~1 ˲~ q1߿}xhE'_=n JdhV {0 P1y;7⤒eɖ͵ ("uW2ye\xspM< 7,0Rk@g٨8DOϘS׿̌MsoEya$ĉl!JeFH[ڶc'<>puS_d+ZGI(8/hL75THnnbIbz\<7F)=hƙ^(Uw=tlHP1yD,%# !3#XpQwXH+b# O 'A,9yOY(X>H_5= rp STb xTdgȩ W:IsJ dK,Y6ֹeBOR]!5)$I Syۤ`ʗ-r'.u[Kw]q.,ϳUAeOFnwz^rWvok S ֕f7[MǛA@8J> OixQGݝL2:]; Jb ]+V $,̐b'_^@beKA;rZ·fNDd:yqCb] `  ^ND FygX Q?Z-yfXDE]2HaJt\>A*@jAņ=fuR'9ۦ;7pc ߷L%z;XK3l.%NٓϘV%Zw<$fWC(mټg/\q5GLFtS!Ysv,b a巡 PP.=mΥG,K3bL]w>1vo1Sd7śKU5J~-OVUR&nQK-[=ʿk5J4dE*lL]䏭ϊ57Q46[#\.i7nxfpWh )Wj|NAuٸ\BX[byb  qEʰܷ0+z$9RJ|` ts!=sH'}{qШb ϥV,*X ulJz;CUBϣRC,ιI&Эh߈wP>S˲ɠQQFKΛ=mGBl Ҹc(!Cbz]KM%%cː0Ǵ9LDMQF`x\D|@Bdo-x(mo5=#Z?Ș S~^Uf)OZZëc?^1^}n]v 4icXw|>h'g,?8,ZmEVk/ ?DvE>t(;wr*{}KQ3ug3s&Պr 4Xz~ xsz+hUU5#_y$<10iY*9&A:}D}ʵEkHA$j$;FuBW_tZk]#d3cǾh|zQZJa=>&Vgjӭ#Rg@)Wʄe[ ;y>ޱѿWk Z(,?kl=ŎB^atg"LP- xԩ6&x)O/$CbnO®Ia@0 tN%*<eP-_\l \M Puvn'!IK Rr1b0"z 3e E{ HpilYUŕ~M1ǔ~tVbeFc0*'2}f!Šߌ$b)(}{A<}v/pՙ?wkLNPgGy K{l۴WuXR9 7p]N1#uXDU-*x$TW cFJW9QH)@vX;l~vֽzXA붐4!\O7Rnwo\ SK<ܽ˳3.!IDJD^Uެ-9XZ>D2{?Zc1i)%gQ1/ n MNh-8f>7#<@Y0C1yP*(AXqjIZ .&Ht*@مڭ {s6Qxjv]q>&ݾ~0TQD0IcξB n_0&`* H+'nceHlKGf#jn0T@@Glef2 ؕ:qo8GrN(2D9J269L;hsxj5?6~.!s(:榘ϦTՆw1nU½s\kcHn%OBـӎ:#L>~xf0R`u׬PO2S81*^~By=EF0W_. kt8UT{1q JϻzZdUpl>6@ei{7\D Ï\%tG -!:K2CbBM!8Y(UvHW34-qFqAN`O[8sV^2ֈs}ڙ6P^Lnm3~[1L8C"Q!`^ Y#IGg?_tqi!s jgNцp[qxRN? u1ɮ#w(#F)Kt]\Dgg9KdƆ>LjJ_ \pNjR^ppQi%qPI!!?B؁\R^ݲeW_4#-#Ƣ͔;j۾c')$vlw< PF1!ۇ-FDFAHԃlg <λ쏔elҮ$xu4:cYǧd{a$ O1{%]-|45btذ}#⏯zU4 ?)B310I xPb}JPLࢺm[m,dSca"=% ̓m) {"+UC+%r #H,mIaAH "}j&pS?V ^d`:g{/q2<ƝTC|~aĠE}zWsVZ˜ 6u:ؗ(c/UfI}d^i_a7F* ![E{g}}K; R1u'Uz g|dY#\Eluv a2Ia;>KD TNGDlsMvsIu:f87ǂ;[ɵ%7-LcPsdi/'ug255uz쳚JfV)# z2z߈Sruo. X# M4lr eY꟮CS/tiMZ2 )̯c3hSL+NT{X$@yKLHC-G@$PN5ں:($D߹fզp3M~4xF%(,;03Owg]X֥P*ܘ6)yGUZ=ZD&/`O51}6鄿Z-AW"ܞ&VJqTO%jQ|o("_/F%z׹Y Can HTT7)ޏn&ZyC1Xsn6u:lja<Ze>6ſZ+9Ļ`6E'|nIN&WTQb@XSzuaYlZcoAB Y8>n\2t>4fZǴ80+mRI pK^[I2#~>d\y  ƸR_co?׫1Q XU$=avsL]Bm%I Wyin^7O$vQfԘPp Ui'GKjLF|'coA)Xyc#lA^{{8]r ƒk~CٸR%9 }ވɆvAZ"|N:z G4S\w]n4HS;Ql7n 2l8yl2הu6Y(HINnPiB\ޕL7K{fńx"/T^9bkYEfN^4zCqIN_{<0ug;YtEU$I% /S6)=6(J^~^q2"_Bxa&b 'l+?RzEZKDX ΋)Yj?J:+Ѷh'Ȫ4 y{6joaJMxLb150;U|C4X6KE8gkU9g;1h``z&du : ,?_ U|;qB HU? d\bG AJXN+#c={gq[zz{yLf-m?LMVw>SnrNHVDah/ᆒ6%WHxp\o]Ee7[z$ г -ԕ)qLa~ /n&!]*BO:wǷp akJf:^(( W1Odo%]ruoT0XtXm46(]qCuȭp>(eF7S')}f"(%oH ޜiN,^Bi*y)!jiyvFfD_ d0{ Kw*y6A087aHoS@ u`dHb@~/>HnWƵ};Ɗ!4B(Ѥ@ic~Fx)w88c }iM%9}?Mc2s^@@^MRYZ)D:OC:n+2s6uCXWu(Dq}:uU[x UDԚ(L@=«mʊq׻# |L5,bP cI15,-1{}2qRXb[\,R@єX29uHx,rR"q-{3d Zڃr Վ.kmń*D!_PBVr*3eCo_*?B[Lj7<,QGtUr Ϣ@Y)2"!B#N>_=T{ҷ Y[A`khA!3v3=Fgpkj[7v%1ۊ&FkXZ;J#ZzBhGe&Ғ˴xV m})pt{G&68п\r# ?Y . @g[5áȅ$PkY " sʫ6 u@ ,&UٳēI AXo+% 2a}B?h4X}{o%;$F).udH!r V*,{G,+K&pBeP-wNxڣG58ꋕ3uV:-z5Jc4C=,,*?o,ylg_|_$4GʝPT_B7)0ǁ!WYLC@k׺ NGې@{AbqsAQfVXGg+(m.D#қFj|\4̗<@"lKIo,U@p`>[xnq\ nMy;Y$Enu6OK tz9% DAqKqAe Hm9 M5PO4hEՍyb;O{3nM{/q,@/[R x˷p :]BTHsT$Xr [zȊ"uKafY U+`k1FVUiFG9X/vCOVH+J%8 ұ}97x8Ƨh<- U 3 e7OH(`Sΰ;=H=)I5bn޶+ 2'z4$s(96]~/8ꛦG0uCحWAL%ǣ1-mZT`P : s/hޗuc׭FUXd'/RFq*<'y*̀ 70{`΅=,7jFchƭP@L>:ϔvɸrd䌸"Z1\^T&!Uc^kk(Ũz&% "~㯍=!Tc#ۻn0Z^/NjlsG.7EGЫ&He"E~=MM} j7/ĤF,)T5<$Q6'Jv!,g.BwBg2S~˨Dj~+f(t[Vr{:Ӟw;Z*u^Kۮ)k̇Ca"'`{WsMr$Gٳ5Jk˭j#;9q21+\.|^,һ5={ cF|6C꡷2U̿J `FD0f3(?J5V&L‡GL]R[Qv64̔cl2YA[O-LYLZ:ڰbN)4BOgѷ =m24H"X}$ͺTeТׁ/3'Ul|&78Cc l6Xj͂Ivaˉ=I-OU2fZUG/-wk Y)ˬڃh( Q'Ql{-d5C,9C 0}Z3nkdS`D&wc5j&ϊ<, ?!4"0r4-$[O űpAaU pW+ {Y1^|87qh@t|Ix8h|9 _%{l9ݪ_c%qF??\~~~!T%geL֋W鬚JFݓ!2 ǬӺ .%|,;0h YtpIUPPٌcmU QAJ)Cqē5ϷEZfL(/iyDm_xv%#*%mw?7/[7! Jr(9#&K涤xR+̚R>m^M@c6 D84y/9 lE6%|Ӑ^_^"Q$Z<᧐A9Y.m4Um];w=5v찱b]6(!" nz hX^=֞|loQt2W}EТvgg^z|\|Ucnllu[qA$7ׅn}bzo;:w^|[3b0H+W7b)K&-,>y_[uߌebLb%=+ϬgKk =pV6}1v>k~L בC@.\l^ρYDqڱm*v۰ &_CgFZRkU?WG6V Wo$ahKw`ȡ}O\ TV4!T6|M:@Cg=f|?QU]'ʇEv9D 󉑝]ǝnI=J s̋wQ(S J)Dgy|f O,MG!P{yⰶ^fn$o gYZd9b059e5cc128af2b8951b91ee4bf66ac026596f13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9cf3daf8eb9e55c0bdaf09aad5a6bd05c171e50c61be4ce3eb50775a1a03b82bd477ec84fc02301a