SQLite format 3@  . BBh77otableisabelle_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  34, ]/ HOL-Data_Structures:threads=2elapsed=644.000cpu=955.788gc=30.188factor=1.487zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%#6W6{_;ۿF`)w3Hl †Lb?4(id,b_>%NuHSt F-ӛ6 -0J@r4Dk2]4< #^wH_xo%RƆj@=*W)Te8!vjĠ-P^]zuP'3l v/Mbʡ,㏢$O&ЩR| D)YTSZ :\vTU^`G+U'Voa(o-9.9#(EL(F|}O oZЧ7?}~>foD4˥t(8@C4/FbPUߦ)Oiͫw}Vݏ+`]qdC֩C%V*5;o ۮ:1i6 %59ymV u|eh<'jS#U ,P?Il^MB(UOa<ӀrBէ  e雀4SmFzBdjzu ~}uauCS*qjy{>M~G͓ϗ_E8 -&Ͽ-v<5ź4oZpH󙓪H(mwudVQTؚ֗w6Ma>bc0S}[Oz!sLF/>sꍽhddg⎬X>i4zksVS]3>|% ˆ!,RSu%'-[s*b#$-0&^-&`զG}(\UN }tKE,\pɠrs>#jCɃKa; H~@rqQA:AK}*qx7X-"s.xhSuj)Ę}EJ5GT|/V.('m7 nXˉ_eַOE:a{H׶o ~) #:ᡜW񮛻MSObytsm/9u}dZ;gP',ldw‚o6^*Cǃv=🀗ϻ  2kU=L/ )u^y(I*ݫOVf~p.(B x YYOjn" 3. [͎p,$I$ťz#Vu{^j2n(k)q}y_RC^ʂg4LG#ďcRk$ @kֵV 6(Tꗯ@on+ i ͂|D-$fYxsd> 3 HOL-Data_Structures.ŸzskStS\syWx]O^7.$/T7|~NV|=T]ms8CKko[/,K|$#4ޠHD!Hc!/v)h%+czL!@ ZcZud"{ݞbMǥҍU[OuW a9ڪF]tmtQ1>_tIĿZqaimi //4.73n'#[VqlYG a8u"Q8$xk\KJ4/BpwIr⃆1#Y9 ū,&ҘGBN<~-P.zq6J_GZf2PG@#b@՜ +b*ph !oq< )$uH}{E:b z w={~7ೊYAF_;&tP0IvElT_^`Ke6?\YkbIan+m[XLhW&IqGrQCEa/W %lbgrmN~iBPq>( yq31ItۯY΃~nkXKK]jb3ڹ8BvZN-1ڮ3#q,ċyKفzzXd];V ʫ~@(&FŊ(s# :O#JaoJZ%e@\bڲ;&C] XO%:by*6K軝@}t[>+JlrYOKŒye9b=CYF}4m {~+dSMycGsx#1zd@QPM%3^{{#iFXg%1n[~^CV]JEx a&د?ԵQYQn9|9T5,6rHF}D! &e(B<Y}I i?-]ڶ6F-5kj ًpFfWBz7jgR[Kеǃ6ļu72jƗ>}.Y ˝20%*q7U]>kHǧ L|e"_#<,g[u 75Dʌ0h)d;~&$'FepBKRW8uQhf~о㿣eBt&Z%IԖ֮9խw O0Xn:{4'¢(>?hq'Kc_8MB> _G#,/i*6gYZ7zXZִF! Z]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Z(T)C9G$}h&g;PO hZ`ףʵL P=wN+6xc*4wyo~OԂJ B ș6Nz+

+}A:sE]H O8{_y%K晒YFbgZa0 idr~ۥp5rT.1[>qq^k 0#B4x$ ֻQWIQuV&)tV7Rnq:#\YliegYZ7zXZִF! ʚf ]ŗXi%9*WβGva{cm^A,qgW S.xGeH#v4e}=nbw??$x5UVⲅ>C{R\ Nsw.,EX:VOP F+a4DOoT]/F8̆HXL{)"m~d:I7cK 0ʘ 3^H{82,N{}7_c T%`_Q,i3UQAQ=D*oUi!yA䍧M7 'pr)F5?pUȏāaRS7`;vhǂ{S=lS$ ߿hsqe:6$<>/ .%'ÒW޴|GOp]s2 fEl5wK!`T:jm8mBiٌ`ļz hMclՃ;(IVkZ[ I~*EWGS_8 roԹxךb\oj65w3bnǓVAj^(n|9Tb^:t%冁wBp"F9QJ!>?oLҸ-pѺS:{ǐ DCpW$ )lNɈ$ȋ)Xݱ5~ zP6,MB^iփPkpr1Fʭ۠?]7 ?:QQsCͦLXZI;*S6|vMh @ӳ62ÊbPA.O P."" x> w!\#c{UuA42f>bwl?E_4VhHX1Q&/R+d"TtêDM񷴸'8Ӧ 4 llRI@-jc *Bf>iOYenW޿2鬋yM}\7'R.IƊfUh\6.C;WFYjۅLU;IKm(iIUڤPvzӤ:@񃂍*4IhIx [`IOluP!}ȱs8!ݰ_)+RI<Yثq}MFE5 Xi̓U")z"Vʋ ({hIR O, zlVLDfP:VU@$PjEsݷ10T }H }J$վ};\_@ד[w_-f 0W#[ LܠP =F=(*Qm.,C=;9H1 D.4Skv}e῍0Eb - Y[P&H-T)腸kg֦#{.b,E[`[t#Khȹ6*l3P4F,Nh(܋'!Ԥ]D?=eN$d}ڕG͕!1aމU_!QA9jjMCϸ)"98qJvg"7 v*_A&`v|~.Uzɩؘy@8 q5,Kl?lK)%cn@UJX7# #C*nmΓo_656;_$e_ovʁ. &` #,􋏍+D!\ ,Ί"]YiR7h{,;ϲ zQ+ AЧ&Dr$mYK/8yp 8ixwAbmX5! C~S%q;7_Ök~* Jz H=a;d j_WD-]Q #!Xh ح*(~mli;*?qv\zÍɪ:M!9<wg,Cv~gwt) f:|A\O4"=|kɢ>b2 -ۂ/$!3j4*š(n1썱_d>dml}pEenaSV?}%I ÷K Ejbg} 4 lTU|64sfPߺ:ҒhF-[L.lj,|`. X"Znc~h"(k.Jk`0kZ E!v CYs[\*ScEȟN2&,)IjBҾwX~0eD%t{ŲGPatj>@`@1w˥pYKsI}<тvxMMCud~XIUT6l* :zGآ*"=p̞= ɨ{bF.vVP:MYhmED_0[7 ݼ^$[;H7~%i(NA|cN3[U^T) EHv[qiA#-P HbZH8" U 8uI9s)kIƥ97/ќ3Ӱ?8ZgI?>veXRܽ秱5@/]A`*5G)0ǧ*Rc5l[lCyMm8M״O(@ߡר!hUkiv1hL 6vN!҈ X& c4 @pEAi=sOmYRlUҼV=c!#:<ڴ"stGkkm&!0 ;#UڊOcu`k~KT56HgnF1Vy64v8 Ts#IūDv%c2=,[.7ʪo O[T킉WM'%_t[+|LTsT>1BWXx¸eEd0Ȳh5|"q )m_aw,Z3;m2sW_%ɲ@׳J[{}=9LZ#1KDŽMYH,0HlFZjd'x]mNd_ى 5qRnx0nCO|UN$Sx"h:aa%S/0O@WV{44'c E^&۩pa&ê_=/EBn8Z0P&MhNvP~urS_N\~!b3^f3GaQIS^ i/1:av5?4ق2uhC<5 : &i Z JyABxn=+\ŅҐdL&xo"m-G36YE۪&>*17 0]g7?g(\Wh0n,&QhޤbV+h4:7FN$ uaw.CCG6XL#ۏ鑬s>8s?X V9UZu=+^Rtlx'C\ڳ/qB)HsS!\AY&]\lk!DCb@xjċlA]=V`c̙RBBEIp;ȟǸxбH[-A*_|YBܱnF mV56 xF0zRԵ6[ɆΎ36 d)D+(XR= ۦC1;O4ESbKʀ)IC> Nl\@N>ҳA]d*"N{6kw[c}dQPjE#RdvIG0,[Il ti$9߯7op!$SQtoN^6圢!;5*5XQgM^Π=90H$y,%iZ 0l73h3H(p 49sg}A`HSAg rS H3֮4+&GwqhX|L\Ts*EQtɻ ܭo5 l P?+ҩǃo 5pC<"hE&ņ_%T2zGF\rb: 47D2")P s7,Pwb~;@pޑ! 86? +nQ,zA!N!ghEiuŴ(:m(,{3 +({ೖMSé5P{3\B}4޷dN pL<8; =M ۘΘSf]ݠNUB @"8<w:l xpc/ioh ,L".[XF0\fߕRce/7wedRyh»'5Y2_&EaX&vЯA k\)bVKBt8r4}oĐS/" ѥRoGU~H&é('駽RC$XS5ieӔ/?)P[ ;IƯOWid7]=h_ŪPc@c8 <0]~1}^^y{YFuB?O ³x|)I2, AOOK^ (P/J҉ƪܫuL&%Ak:q&:~I% f|)E `Lj1:%$i,Il!04a[I8 gޡ mi zFDA]Inu`̃ .Y[gK y027gRU"YlݶS<#J3w<_UI܏ܴUb yn i&rzz^Y;}dm0~P]H"颫][)CIFM#D_+(x"\|`5!"Xn{6Ic,3h\cL: ~*chwU2Ö ,fXkvLxQr̒ :4R,!{#q,fDKrG/lagwk"e%uM~l& [FKN5{_ѧ7doM&ꚶ\'1tq>įͳ7k\2G=4hIjJ,{ǒS{9Y@QR56RXջΟjBF]TLXNzwie ~x4*aP< Oo rH1y*,ʞ{0t{t Z(zP08-q]œ`JNn9Ƒ2- W5IE & jP|V"T!D5Sc]7I6]sZIIlB`ѷ\E.Ǽiу[6J0O ʉL$K'n"C q{T>MD{v}laַ= P_';I.r yÃ#i^! zwmgI.}2ri{;3)!zv?z{XZoXʡJ I2Y+ľPɱbacu7y7 Oq_,jRj$oD&_6pH׀DRsH{4V ět!I0<+ :MZ -8:JF}Vg+unS҈ީR5!kQ@I!MxQ)5Hp''qV+Y!w xW$ vCc6F3* CU0WZW:#j53lIQ΀XMlBY+.JbIe"cj pF][Nu;1}hx%g Vp.,Vo³dR`Sjy[ d-`jIL7VS^`RJzIJ`xVU?oW* bU@zDM&ה1X4Ǻ c 9 zJ&UO}˒N_rijI!Hwl(^Іk_karޯĢ:XWAoQ3Or,q{D RS2 m`9ʶцBcA求o}[`'$*6Y@lJ^^`==|BYU:,"uu 0eLjSN}3IKz̪:s߾dj  jFe819L3[;JiM>cgSmmQ"'b Pk^(~Q_tCDG,+."Vs5ZGd>ffiː_!1I^tSDD|'_hßWm^,y1gau0@/VOe xO&@y+2aTJ5pOsrKW`- *LQ4T"o " ;FGG~Ǎ4<`t2GsߦY`k"%h2~z?n6ء憨iya&ӼocqiđBu@N1m)O~ʜHmâ(V#@& zBMN*CanF!9> R* VIU1-_|JdTT7OaDDku ,5 |9LQ tL.%ҚНj JSڤF쮎i^]\57k>b2>3D8є$IC{58pQu2@$ 9&EZ2q7!r5t\H]#2Y (\y\%E]zB5nt .';1?H5㖰CDۆIV5*__q/B~Fa ]ijd XST_e^n{L &(/,xb\cPxuynݪRі L\2g?\:Is)e$ VisË 7I;2DMlא}A"#Td#0!a{r73cV#| #": M-)yQ})R uuEG퉷L@AdARB Lq]K%+ B0p49>p 1EYOACfx.!u(ik-Mh&U/Xm-Df;{AVj)?M}sPo9x$=R ^:@0E`,^xݛ+h"GŨ\ #okwWu y_noveYt> >k9ڎ8HܚQD_酌kdV5U❒ՅldjtNJ,#c1_C0gZW@#haP)m;[\>f(}'xٛ6D[ڸ־|څKXU]##a)~s3 #_gYC$̪A ϭ+?SexZ9ԋnZRFHre pTMG>=G[]gth-c#[FBU{DfqSBw]O,Z_QR$ Oox4UWgل,ݧ*"%Aoĥźotu^-K:lN߿7!E$ӥ6c0UjBhZ?ϴʸS bͥ|ry#s 0 S&B)9~~j%Sې+[NwQmms#n4'2F ZJTrsY Pa|$[{Kr~?m-(hS7ܳLhFwA!U7jnc8e>Ň6Ѵ;Kiw2xV^ Ѹ5{#Y8(;\ 5I0g&]'_֌v?Q+ߗFp&hG^[yT/%\88(IkpmoB-<}ʷp/=|<6DLӮo#qKI? (t]K#hCϛH̕)մCߦk!9 XyE /Z$[_DR &]QbfLUCqDNQ+%4qߖ (=cNCekjwv 'wT61QR4 lb6.[t+no=gG,TiJn}O3 Z|kuԒ ]`(xO ԇa2EKo20iNbؙ6s<6V+&?s\I<^W+Yx=ˆWi֣΃߰גz?`8АHލTa׶*9\Z-gADmIB>>C![I 0 0^&6K4e7 v(Wy $YNakᇃ|pt\B@d˕Y RJKЎk =ЎmMgy&"krL60sȤ]r6i@hʁ2*ln;Ƿ=>!@'Kj;V h7Ƿ_ C 'rL(ZL2 Px^XWW>zB0T]nSE/F V5EƢ *aWyi답 bB@U p*u3DV|2RgސPI[rEć@66 ] C,b|w8n͕G5 K3@o6-c޺۞fcup<}(:,xw Nv1( -|RZ)RP^ 3 X*r'zG;7Mm7fD)?d:8j4)4Ej BIPT,y~LMiڄnX5(+IvᎬ_=亦ÐI8B"7E:,γ oms_On Eo4ioljKڊ=:W]c ;@= X+C5t3bE+ceużGtxRIMfe. 8Q( PR?G}'߲9~ }#=ޙi s1H(QP)LCK`7(RdK]ݎιjwlָ=XrsAnUCpk/u7 N+,]K@׌!<(C](7|-YpN[c?NDžÓ$n3DJkf K.m>Iah>Fެi8Iuj#AA1h ) aW]^*CFh,ѼW` (rBdA ϛM%wC 8zZ? @.[~q3 E*9lEXm%nti@9Tz<G su/rt{s.64.2; I3` /hõ V PWVR.ն-#q }LLS8%RjL2Hߔ[ vn8G3 ~7 BNNJE`'?5Ϥӆ핍Rn.M+k'( "`^,Oq=۠.zĺ|O`Uq D NYKfh }~ӛ" cw-EZ(]P$+Wi|Io[bBz b. #No^;W`v؈Ȑ$ c*Q 2`8*3/T%@arZ*_赩ԝ!Q;Fŋ*pxXs?U4^f9h!8U.R[&*X)- e) wf/y5c WyܼdR?8*3jV~We=,! 4Vgdv%S'{T9 kɚY)/*4g23*ٿ}w:f"}wRorH #صtdQфф>!T" @&  P#50d:Xxi-|!y9Ck^$D`3_ߊ=yI+O&j+ FuwgទA}wsr3JUh$? lSǎwsg8ʘw&3HcdE }}+P>"H|G Oc~L@!Dhh"}-ȼn嚝#>oRȞ랉5a=ZS{k0e02nrH{0Sӳ"Z^5̈RߒoX|i|3_LuقC:L4=N)p^퐺7 ݐwզC(pgߏx#}lxd,7IK~zqy>#:0L> Bs ݠb}3VB'zz 6p'rȑZ}/9Ů^HdB^!~wS!.<+pB;|VU+LWVkurQZW7=Dp>%FUK䘙sndMP@񩛪Q=r L~TR;22zYy4QŪɗpry,zd]`.E,ƝsS:;5"tv[; n&P#׻δ^c.d&䢕=:Gհuݍjl7n'검k & U}XCm/Ec{A-Џ j;(,.08#xB^fQu97lL Lt| diReU "k{YaNDᧈt9&"\f5KܻfQ$=JhDjO WH8zt>|3ܱ&?'ḧ-!fv~ b˱rMd+*.>wc0gFc2@s=Pw~%[$uDۛMo>ˠeLRڝz+f kff)(uW&Z0N@}c b|gwe^L-U7="k\}>-}ȜxUB .wR )yVEnsCqsaqXxeibO$ܔHDq0:f® I $7度60[q ;$ J!ﲑpȊϜMGN(y|^ 5PYEe/u.xp򙋔1Pn3JR=`rj5/gXVi\k}c{G?`5۠CJ=SNMHS\ ~'P\ӻ'4̈́e'L'J P3x-I]ɎHY&/Vm9{03lהپ_ K*⛳UvXM傇zxXTuDZ%"e35d)%zk+ɖDPȇB\wJ.;Zɻ!2 8=̟FK`bƮRX:noUl0z"=8Izȁ`mHQ|^r.vc+wl۷Y3viRSA? ؓɕ+ۀaљ W,*BJȯA-N eݲ3w u((Fa0=xζ`-ySٵQjL|'=6fֵ9%_}N;ox~XL^҇$'po>?Pcwn 2u1_2} 1=ד>ШA.5cyؘk;8ظ]KS {yqf]?"5+fRsӿ /9꾛9LR0,a#@ss da6>Eʔ)Q= 1pg}=|"y7ܾnZTdHHOO5,;2*;ɅyKzLuH\sA}hJȲ3BA;i&IO-R~VU^+0l¦6ҹTBgr9]P敟vD vbՄu1XB`.ЩuG5K:o+D}> >IOօ=7`^}\=+7@?=|Ш H`֜XMYTwh5gEEBcq|Qw~xM`pg$k_V4̚ԮG[Cx(1p?2SL۔q7Aum <ߟv_)8tfHV?4y|Ý(<狅;>!& n<u35S ݾ8ljҁXȆ{s#yZoy a~`1/N\8*,|,V8zԕٚ?0wop~x/o42[l, i% B6v ֲ͎ln5O %.9 M{6MCf~`_Sx,'\iRI8 1l%&"}ءVN ɞeE֌@Fs168+H4vH~:x1=ř9hc.}EP碝D~,Q{.R+jJSԯl9cIMZ7@H];>|1thZyy]Ves=1 M N͎PŠ]]I0,HA8 O#_nq"8^fn gc$onW ~ٚ u(;ҽ#!x/ݩVKN B1kg#$S[DV:4ͅPIR` >zN{Ϻ Od>v^ik.U "^Y/ӠTu#?t]'5nE} 'A!YSʩ*kS=`c5W~ ̮76Yu^BGM.,} S\^Sx6mE|CXGԔMna_J0X'tk5X5\{&LUJ'Z&AW3wb">!W KoGCkx(tTh;˼Ϋ=V3 B 8Okb/\- gfy*-=x':&E.4XAm@Nw#jT#,8sXU&)" VƃK8=ʐ3\2pL/mކ>0+6;lgP6q4~4&RZƚew0zxVbyUg/1=WcGVHL0q2?p M&ꛬ7>5k'UķJ <ߑ!jBxgBjC܎Fdxͼq|*r_3۶xO/] M5YX *s3vFo3hߨ}ZKԛ8sxG!;in2\o>l 8ZŠq $@n)Þ&!f ;|$Fa+S[*9&OyOy?^vapj[KeHcV<6M2F&%KqԹ"y]F\XP_D}}$1Ŗ&!RliU^띬NW&>"ՙ~ӭKL-{ƕIؽێ#4at&7%Yl( Lv#Yz$Xo`OVBC|mn(e XQ̕I2r5 ,/HE|VGHvR Dd~7k8=Q"QecD:6f e8wo5p? {H9uo$.:]%||S +!+c^yC=ӲB@DZ }/4.Bq|\IT-$ĜX bQNRm5H# k\Ģ2WkQCT/ GͅtE,Dۓ2k?G|-,CrW2쌏o2$h(!lt>gw jX"!V,m?`+m:![6~UiV XB5P`46:)it%!+܈ȂoG_MM\lqgL=:v|ݨB-~g{xC9RQi( R*kEt8f[4[x0 V?r |.ܾeH'Çh0hnCj$x8̪gM+a`҂ԡ[YC&O jIq҅HuDud&T3],< .+HR1C2nYnLkrddV֙>ZW`;@ؖRvcD^e1:-WwFJyoăkIPKt/iL"f,ѵdkoҭ:KUM4I%HH`Wh3EHLKC@f^ڢ{2yJ)~2ٌ2Ah&~AM2!FZhΫ+{P(eFL7bȍb5 i@pTLO驗<+eNr1TK=ƒغh1~v\l\%"etMϵo_>9"tJgn~;[nDžD:Ƿ Ny,ù{g&. dQq3$-rd3eU׍rm9|UZXUl'a!\(ܗ"ΨD^}++ҋ)r|Dnͽsu &q{p\L̍ə$JFR&SI`ږmc,n$h9tky~. #zG1VH l+%6+"i6EG-QK?ƬX5mjcB%$[ߚ{c,~p=,]P+EL\*)G$ ܝ,diV^;_Ӫeu^JO2#8+gL#+l؁Ȋ ]$Q "o V(! c謁~YP9NiPmJq]p*Fv w",dF :@4G4 n!mN+r[.MhY2?i=XeKcc@Bs%+Ӭzig2譆+ HPOT!8`#C~֐[?P?Yqѵ4YnXz7~=ʎb afg㋸CH79ȗRJ5XN>bI6_^1ĉovNȒg1NEA"czy#ž(pÙَ w[C9O+m NOc0~n#ӁQy oVwQxǼ Zk١C7z8CRf=hCܾ7ջڇP X*DzMN͕˴A_YVqpj<8,/OWwɩh<6n 6>o "~7)CPzz[{lCrxn;j:s߷'JH9骪MG48X\/ZvsF#ԌQ:a*(]Sle D WbK:s4wC]& /*=1,j_;h F9EY0~0OcƐx!.}yWM'?C'?-&tܫS?k#&{u!(Mp|ݪce3[ !S->.bC'$FbKĬ{vn0rfjS\y2r2nqKBwk̀8g^`iu[pή2N/^O EBp FdȆ=`zU)w%~EyJIO buU[&:2,M9sdWVBOj3@9 ԰bVwg6}ɄRWԸ™/xI(Y,dElq-–lo߼WBՒɷD% %R:'^oG[]9.HlQmbmgɖ~ 3= `,a8D$?mƮ]y/LJWRUsx:t%.YV 4Zrd=.VKjjGʐmU&(L05r4FUb "+ o6V,Ȱ'A|* K;l>Xa˷#c\rS-.$=ܾj }DJ7Dl̴M?0=kZ H"\u-`n)t@.\ bhf_G<4+I uTAV/bY'lکUY'# $ߠݏqlNshzF N}l=NQgRI;y33PjꎣLoJXi{duEUNT;qfXo2C=4 2a4bTps۞$Q[ =k<Mx1m,Rx MbQUCUUb>Qqba}7iOˁgWspA&ڞQ'FqS%X*@j-5 _$w6HnWD^B aVlk1oᔧoXɮYD,@ͺsUfz;Z| ȯeCaPgS_IbZ0r$mV6XETpv)l)Sݶ0zDSJݢU(_ ?tcw`{IhXnH:NXP$,Ƹ% ]_@c{qJ. *Zbi5۽=:ȠCy_rA?%=)INt_07-U~At0UwguyLk2bVg0~v2wu29?i宛B}~OpN4;|j:@t}l6Rib[8 lxƿi`9j\|T8!sPJT)YyeTQ@ebŗ.1Vtfg#T !GJPd_xif5ǟ&GlҸ-~7ϑΠYL7R|x?U9g\Xe 2"ߓ|軟͍AdU}$5l|Z03嵓6r4%ċ !YnO#&a dAۚw@##)Q|_*P3R^hQ$GvT#BIwx v#0;gx$n}t.O%8BbaiIw6qDq/S?gYZfdafd1405bbabbaf51fee97c546d671684dd2fac1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a