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 M4< ] Transcendence_Series_Hancl_Rucki:threads=4elapsed=269.242cpu=903.784gc=63.496factor=3.367zXZִF! Ყ'R]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e@@ Nrh*`dHQm@Lt+_ 6\iX*#2O8ƏG~|[4tZ4pKgH1nDFC@s![<o 6c \w`b8sj{9<O)BGZ0ŸœNW 4JeҜx~8" ̏E\qb,HK|]k308^HvA8J1 #M Transcendence_Series_Hancl_Rucki  oV/*-v(*2|MKZ՛hH]KIN!УPx5DQeSkr]R #0; J!u?KH.^WpU Ok0c(ػ~S r,כ;|Gٍm߬HnMaU0gbd(v'kjM!altFm?a5@{d-Y8!jCk>x)~5#;*ɘ}lF`!ƃL!?4sOE (/BN u;h)Uv#l x]qqB+bU^n.(i;&^\J3#JfPj;v%ݤ@lʲI8U[GnBoӳY=}]EUFVE3tO'/; |:lwj^Ù]ČX&@,Pbnq0|2b&[afc R!2v'㳑ԵD 42I g<_**\Fl~,6J zg#m`rz @فxu-M IʨTMx:ڰK[UN9A*CZDв 3 d _QNbJl >ʩH.Z^:~;C5֮L[]N}=2ܨi. \c9XR"13&:B xd1\JѓʟEFPUO0Y $D pDTq|FZ7Y :Ƀ=Y1,;Cr3݈@,dv‡ԙwn`4nnt?°d͈. WK#oBb =ÔRWsE^a5QCe1zФ]__\ȟ%:6ZC& #Yd1MQZ;} ?fak'` I!XܵQ]q1o6eH%0D MW3 "}1yBxq>\{e+j7-)@>0eY=W|FJ% $W,DJuzϸdȯ Er#.w@-^ĝ iC>ڋԩ^ {9QQ2c]:` e|⚟W!5EcԐde#-:ۉ{;5: @u#WsX|o'{CI41Hd܉K749tQګqsب2i@%PaG=&sGxzg`!"lk2ηC։hE′VG<))O@% 3T!v@7 :KyINU xf]%r/_S{SyF/p7$DX6>M襁S^4T`mf' ʽt :K\qh ײ$#]I#ݦbZ]( )rb7[WeB y'tiduPYa*ì}#s6wQfvo<cACV$DU~_P O1ms"Qw  7!\(KUV*m6WZ1zvr%%+4? VߩEW4Bp}FNj4oֳ7)=ґ ^<Ճ%Lw.l[NCsgǀƉ W)߭ĮFkFZhhe=ҲvEli }%h@,wl_f'EfjCȦ~avIDW-]6鶝 lI|ӵʪ<9<Rth]_h(I-)sۓޤTk\eVqc4p/mOe1R!ARo" oVQY= Y+'b7Zl3%^1$m=ܷKEp.#Q}qdTLT,q$=+jptBllwBa ]:je咞S'IKzˠפ }gF?a%;`zHY_{ ~!=Iqߠ{́w/:aV3,o1)I9?W.w :'DfV?3U:=QIq5^񭝣^(p(%jF&CVvgZC8w%ƯJ3 ً S߇GM=E^V"khl,ml.ҢӐ)Wb|(!!gP; (MN⚲2ψwˋecsܹS3ʹisCD}woG;7NE;PҖW 2ԝno [ޓՄ9U[}'c>HWv=(cP9\9̋kmh7Si6ޟדCV%=c!2h4^_^5Aޟ)(_ 8StStv;s2/9|?ȗQ)}r㤩sJ*GVKdkz Mg̑ -T.ܾ륱R|MjݏbAW#5Jʢ w\whQɠK0MAӭ}_#˶!(ku|R6 v~:;V,{qdiO$ݣ=oN5WDKߣ^ м#+dsJz)lp8t/m{[)`B9LPLEl)rh&v;h% Ȝ^eN.[ƶ;iRw0ZkȈz `Hu::3:D2OA7&^C|}O!q9 qԎƢMH R=_鞊7Y=CyWev'G󆆡evh"j (:贫%!:HZyW!gj:bLQ4q~O鄣zog=0d uPc]ֶW[$3 9&YvFp)VKUcSpPb`h֜ aney*Ne(A f!tla L8޿*9Rj`^ΛF0(쯅.Գ(z >ji(m dvܦ<#u; hʃli1+?co2ЗߤL$;<[A9Ri<^-f$䕬 ]nP{uJIlEAyCSe|X/sDj)J__-s_3#sEQ6urpM`NY жᖞ8SeޟhRGDYIIZjA3ʦ޵CpC&a55zxnEn}4v$,%?} ؝~!%($ q(w1 ϲRjB>gE{S=o Od I֓3Wf8 Z 9j.8]|!3PyTnN:.^dC[;E0y!J>r0ģֺiӎ9ABrK%0~y2[oYw=''3QXҠX9{]j&w;m6:yçHGO^.i,ę1a~aQPKouKLtZ["UEuȤ;6ȃ/DAr'C\4rЙ4k SGe:]LI 1VD~liUލ|>?'`P{ J¬Id=>Ƭ+/}aglxEDIѫ]X.OH2xhFzhfu"@ڕJ%a6,6yk)ZPejv_BoTfuP0 [I-І iɟ|>9d`\`_JNqS7e6X<&WUlmIP0THTs"78ؾ[T6m@mg?X :_8Rb!aKQi##*~"S(_}؝qۙZiu6u|l~I9Jd*S^Ngwm|~A킕puɢ7%-+vKigu_= 6)CX[⣞tCAIUpCӨCE0A6'a1ԖcE:s:Z ?zYtRhcF'g(<=(PN 1cx'{ٌ[>b5C;].Qvs `y&{*0p!ZMTX&U@_:y.>@ ! ڴ^|YKTD?D&q:Ñ̅Xn Ϥ: 3G0»RNkT& cokS ީg-SLYc*ֵT Ƕ(r ݪi!ȓZ(Atf壻:[B|^:U鵴ڔfYT& ՇC=ȮmVKZLi[ֽE=Yu==ƻ]άZevE#FH%'9$fe`/]{!  d\cUP?WBh/Õ*[N LN }gI덚%oZM8^ݛ-õ͔q6>51 /:!G!²$1Cb=,K͒trWCqW"srX=3$+ޤn^czY"u[nlCC8PwQGd>$%v \Mh$0sD GCöaA]PxT-=ʾ.C,.{{ͷӔtb8 & T;HEƶ<+I*ץ_-eR\G8O869R$? )wvSمkPhF݀kxfZ[31K/0v `Xx6c/nG>zR@5|HJ%ܴ h>=S6ގAKn;X/V sĶ9CKT;` ޽-ނ(y7Se *a % @9OZ25*NHMmG?ce *AH2a^d!q1`?EVSk9g/rm@P.U5Fz`Aस]u˿L>g֝ʶ@5Hꌤ YxDXl: <.-]f%_H2m9`4E":=X`~ 5Q#Ak *jV"A_S}ޖ64n= I_nzN4G'ĉ(\A&P~K eʱw6V3{{XO%%gM\ݥm) e0F+N;y'WKq̲ S(ي;~wi'QtY{ĊXlA'`1a,7A:VzuwCӛW=ܽ W/za38,⮅d? w$:d_ # s~LbirVFZ&Gjv. J5?yrܝnñ< HG >emyϨdA.@ E7nP._9M?q^B`KIxϦAV 1 OV`xl-_E8i&Fս npG(X Zze܀nuK`G }9!2u{4b)kr.wG' iR%U)d*n"۱e!JZwֶ}B(7ËQZv"DrS9@}|ނ5̿,=u]D 2k:Hƅ )s.=PUӥ$7 (߄_\881.H-(^oA3liA HІRIWw:Ǐ3zwP/WjZ=a|q۠K,!6;^1vpe'7fYǁ0%2CZ07uq;Ib3aZ*SSf'1]0qM$D_}Y"̃M=UJN_ F,*ci 9qfN tygYZ7zXZִF! +]ŗXiɟ1J2oeTʹ̰KKYG ?i8 (:Iߚtu{n ? kC];&gyP wnWӐԎ9[!g0;!Ϩv ^No!Sez$L@Md9<WcBRb$W^NC#P?tVEOrOM-|/7-bk!J[HCg9wYne.3G.1;X%/R<&# )+#%0H!A^qNjty]R=ۿj5 $qb+▩T= ښlGX/D:9$X#ۙ'/vzTy=j`)LE-Iᬯ'=6%E1~Ub:Nͷ*Д>|%:\+cxV^ rl0ˇ!jiv~3e]MԚ Kl<U9 CsJCvG(+qG,SsE0"*S0 3dA9 /%,f.?'cz Q?Tڟ4&][I}Jps ld,VTve;IY"a9B!8 HطϾBXHECf|0!DL0` 6KgYZ7zXZִF! P]ŗXi%G}7T,c DsU>c(8 φ RD0#Cbl}BAуV{޳ m쾴ÃPu,{N"CԔMV cxQz$ClXJ ƦNL9k{6C?+f̙٘K? {1@jyM#NL9>%׌EU{[uۆ Ucd=(2ұ9Gpb"4,$< O ŀV{VtʔէZ J׆ lJULUݯr@ ?VvISÕt-gX1 Uq2i ǁ /G]s]D}_%\a*C`se88?HLuVLs2ՈOUd^BS#iKkNdqGI5ru3j|?s\QJWNJ jv-r#N}X<1nV'DǁڵQ8tOSxnw'G#/`kѭ5%H[Lje|wXĄx텫|4(ڣrxlj^K% RiuM v.Zˆ>}Yc6GjoK`vr/ M\aMt0 Msc|!{*b]ˇ d{@zL-vƄA;Fv'!VFBvMqMn*BtJʮíb`-6 ! wMUڮ5EZӱ{} ڿn#m EU*;vI>Į4Bkӟ{)COͩdsAڰ5\6MOj:gahY:ke?i^uw[GBO9Y΂vJsc7Ixkm3ԍOVt?\n^B~VLEYqSD^ ;Ð6ZE-84Vc:U"ubӎ\z!b\KrFiqCe-J T>fZ#%h=u,b.F2dB7L aDt;l@V*UNdLgZу; jp~'gw9ra=Օd!2}J HNn%twVIOULElbι*t GOWXIqԆD3R0!w=NaXP&5|RL"3J.rc 4PdtJ١*,6,fi@25i2*V5|b7 ^YCa YF>ԖzPWC$hm]3?$g$wu%K8G5`(=_(T7J|,p*R07k-<#Ǔ}ZM1)&J-$Rj\] ,N9z~ B!=>qT3_˃QɧJ(Z \*+,n(+F467vms"݊Ӧ| ^ʅX?za\vJ.7h epè} W8ZˏАsuVxH82&2R sae>^g"@X6b#j| Z{@ExʚAtPIJ:Gչھ0JWܗˤ:!lVݓo424! :.kD q-5$-9<ks}U5O(g)|)G(^''NrLk`2 :4>=fɛ+vlh0щd?qfYGʟy@L<*dn>n0++a]}?B8 x-ʮ?y<]׈^lbKEP^PbЦW^g F*?YgW-IL׊UhR١L<1(MR !|膱WRLQy)(!ɝFZs(+2qFFdIE9s9?EW n{**" ߴU:fNL^ y![{CflU1H qv\h/?HF5ovͽFS[b2QǏw5rF8x+ ^,6׉@ 1}&1ns['_SHSOd(jEcݴ3 _1L؟57[::B~T 4]~JkY- :,c$U$Tɋ[ۼS kY#F fqp9 k~yfRls`S#5w:.eNvGЫϭlz!_dVdd|0/U2[H5N6 ',Et-xA4+hYݲ<0?hOs?҃uU`|K/҂6B7.(W˾+~sf֖7 uh T,\+SAK.E˚ #JrϰZEM9+]|s9oDo~vW? (}#[ u g/#z+7Bw|]#\˰w@ _`gWS3l~6n9MR)>ɸvgH+P8{xq\_G('+zSyrza ~P.EpWPXKF=M:<]|2+2Xga o<s,Ax3_Gzr+zk^vM9]L!8 0=ʛZ@qOwa fÁAD^qǒ>gduꆫUoO2Ls\1ӅAf:&Mօ7oi'x[Gźc')8'{h%xjCȯuU l-񪁯~pG9|ˠ wwՉ=峀_B p6J ܣ*$-mo5P(U2jyO9J[mqqe] y$K֖16@EgT@Tru n9@;;] ~Lh$\tܚicp.]0N'fC0.?WkePS>HeTG[tʓOi9盚1sXPI%dkoMp!"@V=WB/aiW)uض ꑾ6ŀ)3Y, ޒ lg.t'G`yXdV6U~>+-yzICO,:WA+PfiG*.V%]Ȍ]\*aZ :@c!!|]f<-FiQ͡+ JgcUZ$)Ÿ|{?Z8 pq9{@qV5 v ;{@q 3Dr/c3`5iE ~[ 5luo9 ܓVIlRp^Fgr] `#]^-} {m7;Ui2V>R2C7IQh.쬝gmLdlơjoh0HiI(tKKzlL҆2Kލu{Yˑ)uvr'ZF]p kdYHg$npLY#jSҳΑ d9gpd4⺝b*^y 4_3"a1ߤud`oڻtO8VpUuh9fwLjNKޢEY&™K*kaBi wiw3'D *B+r|L9Z<8!q;9hd;֞5jdPM9 ռ|XSl⡧CI=x 62mpۦT`j$]]-ϭ#c$5~诗rKYT."U;9!|]Z:] 59u `;*ů(cbo~#w+ߏd#6ik D@}rD_[]o? ӡw0RkOFiSe" pcPG,[5gim>Z>$f0l'KӅe"XL{vcY2X +B+}br-Ǚ0P *cAӀM.;u5N$9gQ:zU?)vݸг! ]zkBԱ}9myW+y+mjS[J[Ho>(ρDZ_*mJ!_@l5rQu6N-XJW\7c0#CmG:<[l_=.bEKdm©A{nZ xpԈRӗ3TW|aF'ٮ1D2yA S Jm# zXg(6vlq܍^D|}/-(>8}]f>;YeWoZ΁֥ٽXTڿQaNk#p |e< eGE_r]i[zBSxLEIk@z|xA^k^@!‚&Efϸ.;#. c6T!@~1"EɸFvN>rOȴ-; 9$k! pyJA9̕d^> TD+(P)I W/@9U# iW+H(l,gӼ*; k@.ӿǥAO3"X";}\dmEz dMYtjLI BadIM!'N ErvUM@ 4: Jp*og`:ZӇ!w$cݢ1{.45uMۮS( \xRDMkc̸WƐu1Gd{hf#+y UOΧ&D/5w\aɓ3 2ЅC~+/ miBW$]=i^mC/&`lv;X K"qʪ^!⍃!{`rl uoB40;7zr'?JmG\1t6ȀgG%ɨiQ O3$$](MynGXϥT KbgU" qfVX|=bBy'S\[m#?X =erhI9<c"VtIUAsB`FX,p\YsG/ZFgg1\߄4p{;a}/׆ϧ2Nl)m> a0VL//ƬKZ dcZZ;MLSⲗ4Ynsn;k~LTW B oVt`t6r'#O'52:D7[S1<<%fS=49 =jsfN {jsuKjwޮ#3;q 83E+OϟR9i14G>ف哳=kRU\O;N 8} Jߥ>7)Jb7VVj[õR3'.T׶]Dl b\?yy2 !R!rOIiXU.PhyRNuU%8GڱY/2o5xu Vi$`:AfIVSs[~Sp O>=+A Y QP卑"(B C`s yB,gH5Tgq  w$!EfAZŎ H7 jrIunX2oLvC]g2  M^;՛ޢ9L4F:7:}WtuT;bIbDP f׽ʫx"RѶnc8#¨&^JeÁW76.> (2faGdfj=\1Oq f̉~' ]² ThuW= [se^/a TSx97e[p+(S24sc W8\bSi#h0+Y^l齆ռ#tqVjY01Sl 'i:h½<~m&TJ,uxxzݙ*ʧ0p|=94@Čqx2,%[܏Te8Y3n@x5x`X&rh-uwݜQ-T7""~`7^ɶj.\N.$NՑW߾cXXm_ Rz+?kf8?`f- ښRlؠQcY ,Ahi=&[(WZ0؛nC€/d8U ?3dрa YՇcokqj=%Md13J ƣ\ x3yQ1/}7-v')9=g@;KXQF*\ʄjQ_jHzG} ݥ :cɯ@ CW͚Әv:Ark.8m0< )IΣqwvw(//.i<7v_ $?81tfxEr_E;=ҕ43D]1;ZǼ|0fm沾BN؎lKl<WSP&pʉCgy2^4[ЍrXx?dN$f[}[Wtݦ Pѯ"1)$kh4%g Wt(*ȼw7dzƚW;mlGt#@I$ Wu9?LQ%nN;Ay+}aTh'!Mfn/~`4Si$gzqtv"bfԝٹ7}C} Ě0 [bkt|` w4t(O tB =HE!tN|O9g•pRݪ,oǮ| N{>5H*@Z:B yXGVpIa#,'c~IUPxINm{Fcj32'SfOGp6EuRCU&Wi cĝRaBtB(D"s?Hi2x}++SCkRö^м㙜f\uZ7mVlD~'iù#&w&_&sUf? 4!of&(6ț c|~Dj 1W{.P_Ŗ9ɧ+"ymW-Q+z,&D&LqP)ry yuF(cN=o'A*,o\Ѡ`)ft% -M3/ͩDUY|D5i+?F`EVq| k*+>}0&!mhO<-2c5w7ib(!tJp'HKAzb_1XZV9ĽR{B:||vh!~#qOaE]%7c pdNգ Hk@O`cg-,NOIu-|Dzy iW ø~7^0Q$% Pϒ;v Ї.KL2F"6+L٦Nj|{<gu*mz-gf55(PnّϬ.[kN|a6qnwb`oA-ǐ"}4m[L2%޵, +ȀbæjsD?-~fF]FD G OtVI9O̺^NiD9S4P(xHK'ԃIMԊ_$&/(CAӟt QtET+Xdv|ށ3,@ԥ0(3YT]3d$_ٌ `Aآ[}tۨ{X=m:}jM/{'3j` DXgۦN&e]ʰAmg}nPM3;sVNM&kYI`DHڇ}KkYեˉ Λ7+59~T4q'7By[dXCvJ! #GA ptowCѰTfЬK=J6~#)|L^i D :y2a=/Fk|iҐ>> AB' Q?¹r'K82w$#:aOC@8+xW9 ST>ޜMx,ǹ/iY9M\5Ȫl1vqJ)59犥#IJ9q/b7uG,1Z@JSrk.lzn=p'F|3-"\ccki]\ܜҥ:QmA-rh>xrSHGooEXcO?/I#ä.W_cOYbW"Okώ8z}RQ&oNr#C^ߢdlLP˺MFʚs~6</uXS;6{L{QkhXp/=G@\\A 8[ Ӟ[<]0,#9ws[4QvVSKY'fr҇Tź= 2wi&gQz׸"A{gIJ*Ǿh{sv'tYIܣ }'O܉q@d1w Kr, ! ( Bb0됕a(Ü GC!kgX3u9ŀ4@ATCІ}1o~a_]J2/飳14q RIRVvY1:/K󴘦s͗kI>)xN` $g:+-) HD7T=ޏLLXK; wv-f+MrBPrz(` %LՌ3k„0_Hn2`©^ CZ,@O Ll5Psz/^?bH{F Sʋbd'soWvYA8eТEaV&Z22E[+*̢zI[hx9Lԩ GE~V!āSM% !$-ϑ;X̄'S[VCJ{>C<F4c&tPLMfl ǐ2lir_^߁PڏiH~$Y_҆82Ѹ\+ZC,}PbX*د &O[%>_h֕fZSdJ;D~ݐNrFؠ}S-gsf !Q\n.}{5-:+Lmݬ u3ռ>G,%y֚ t61̿0V.ݘ/8J r GLѺ-o!;56W>]M..擐,l=8;bK|F7`$Z]}V(&g HAܷJW"C:x`nV PRSͣ,.B$YqlsAJMꟓې+-R(|EYF7s*k1bt:tk+-{r e3 3[tm jVxvЏYz8`?*k$bC|ۢ~XL Z?DbgJCf/\Lߡ5y򾻖]Q0'q렦%PIըV ;>QDlL[;{(\hfۖ9y^Ҋc+d̶(U1k(Ю6SiơwI5Уr/L=)-ś$gD+-%7}$}%$'2 9PCE@Iw(7"l"<dcn pr[^b<tVk` +Q6?zgA羸#ؽD/zԚN/Aj\̥n206< *wâ/RuHAn;r'c;^LI 7U?tX/FO- =C6bNjZM3VOK?p.6 zSn92TvJB?hRP qCsrjpq0gT A;Z쎮aOJJM(~?ŔLM#ĉSG߃`1OA6| w"nJkC$5·lamf(Uh- z%I7jobEG 2i_X*}pװ@Ɍ n_ |v3:MG`' 6r mصʏgqh!3}(y^Cj}wk?̪!A\8g-`CRerA[Rm hM~w2(1ZjןB|waV(k@Sm cpM*Q>9AG c`,1Hjv2N::XD,A]_ܑ[:ԙe\ eÁ߄,X4; 'q\v~WIy+\Q*~WlHg(Z#H-jUxiAAG0 S.6kL[ e`@}ILpvnIc=LraU-Jϝ.#Lr%}3KtUFUyaUbpϤ[O[u$o/'Bm[ih >=mec\WF:og6xju;g7 vI@{@)}$]c-2U ^88Ads*+8#N#?eUλ!b$Nmj.S@6nǵȀM5`8c-yXk$ fDs2^>>%v>.mVv ~bPL LmgĂw } )@^Kk^&JVze|b!cЀa5R34}%ۙ0➣ cSY8ZD31N!_M2ohE>*\9FD[ӺF7p %TbYXV~lޔXͽ*,yI*.[XSn2rYk%t2Z"풩X{K /vmy,evsKGyDfvd+ ΍~{2p9Wpo`c]MORXz2UBgқ%-ʢTed&de}!ݯYakh ^̣='\>@kD =0>Z8b[Hqzzl"r 8dNe-u-?&KNҶNq Z*Zae/A3snuF]#rO?X{,XIж3`/ :9;F4 ƸK@(Ce ɮCE_B+9iyě^cb1")5}׎D<,1FM$_C&U3UV4h"8qr%Wm-55vd_K9|x@SntJ{.E[߹PԿlӃ4i'q0G^qSsp%A﮺(1(]F2Gq#a4bbr9ЄÆ?a/Uz&/댶Ŷj2s`L{Tۑ?q;R>*Q2se(\p#^^Tӻgi(#_+FjFЅG& )*lkIJ0! tBld7v"f 5@xL%3-V5bo$K0d<-^8tȪYRtv2 U6$p/;wB4Y63tooIC^KR/7SqCP&0khX>p x{ҝJ1{_b.WTߕb ]|kM inޥ[J!379dnC7ZpY /$~" ~ᨧ$5 B75a XrifD.>p2r‡8ѧAŃ}#@x,.-F+J0OgtXu Ja0:t\OJB_ACG"&'.39y = txjyWͥ =8۽|$=@sʖ6ffhG #eYwz4Ⳮ(v|c&|%l Y wn Fw݉c`5ɐIA@+ܙ(kr#eX]L>g`fݓgB?d;٢ .*ia(h/?H.=SR-hiJ,"-7ev8( Y߃B/r4Z{Cv .UcsDHkz@AF=0;WD+%?>^^GT֩k Ef5 #_X*Y 0"ס“97rgYZ13c32541bb0943c0ab3cd09a1e84cda21cbf280278a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065