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  11||T ]% HOL-Decision_Procs:threads=6elapsed=352.571cpu=1404.536gc=169.860factor=3.987zXZִF! .v]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  b솜clb5|Wt@(s[=m(e#TlͧRxaBpP\4%&8b`ā cc؃8py uRu^\WK2 CS޳FQƜ⿖R^tI,)U79%@ S[+Rd},o#{YÕvæ-k]`u Qza?-1Z UJV1JY?/GIu0zjl6 iE }D.R+-y5P2yy%R|7]3B)/t-| -YMGO@. 5 4 ˢÆ!][u{6ہݞhWL  1 HOL-Decision_Procs?P1&ٰ8,jc;`x868ug@(VvXu{œ'S5>Ii-ܑ7G7x1m1z~7{{ƆnYSOQk FĖ"c{.VsH DžS,W`00p 2`vd]@ߡ@]P䭀3)S Hޢ Y]b($fW?L\hzWxZ㓅8K 6]Z&2X2zr03euȄ8Hc>G ʥdlYtɣDxȡs%E@44hab(|QҝAc` 󲼖ٷqtQ'(aM󇝉&1Uo X W3֘?F;odhx+.%FtJ9\n-L{pieg8$!enђ޻o]=( 0WM7QHBC7@@)=[;>랉 6({DM!Q(؛?GΒo E+9&6 *v4F)abQ<^$s?`D$Ʈ=Ont1k]ZӐ+hY_Weg-j5Yӻӌ`:%[$ku6jyfs35c5|%e;#ڿRf9'ϕWG4xFc ]O/(VRG< #Ky,GLTKlfQ*KuOɂ/,^T0qnn@Qw^iӶfmn86^|=+5NDE4h|PT׼k 򜩾ʒy [TU?$NiEW|'5@ݵ [ RUDK"YeZɈjN}Q*hsAueTD'?7Qt])+Yi097B "_Pu/yl*HeFI #@z_"isFGTL(x\1E86^mTmF3s ƶShd{!R&*Uv!g-#%pn㔄8 abt&zȬs%<2l3 5LEYH8أԠn^^Y:gL;>Z5HC1w5m=?U^.E6͆ 1 aI#!E*yh wrJ&ֆD& &NS{E$Qv iKi gip2R^ymcp vDUZ7;%D-5<ʵCi*AČ5qV^F U']34i}VFY'!v%J$.=XPjcHMv`o=OB~_+,m4^}LT$3Dkbdg>ҠwDHa:LX#5yRz+C*.XkZq ~u\l&+g$G:k.!D Uݗ=&ZV]"41wp/MH C˼a[jN:8Ts6IfVnE"Gy[[co8U\D42Z>iKȚ8H.Ue"н~/!I`j@dVT̵dX;&lHZi{}\?K:M {O L#A\P@X' Z߆zˆ+I5P"^wrRM5 oJ5njLЛ/9/tq>0 .‹I➕Mx]Q } ՇayR 3_ UWDٓ:r5JX>o|=> #nlgjo{k$`ŵ'o6 a1l5r (mOXأ%K,^ZV71Z^"O5Tgx&T2tJ³~hZ))eSZJFR}{ z,}y<54YAqO6+[a?%ە,ht&nRH ]5ҏ"HwD[J6~hP&nV^HD^pYz-~Dz)+b Ȩ(,TȀv^< sduVΫ$z Q¾{oJ#!)/oԣ@WX2m#UqncHC.6Įs<^;x=zS-ρ:[0{ףG<*!V1V:G,J܈0ݜrGpS$ny-EMYe~ H+A  4ڙ-(J6"oUw&İ+"Qv>5ǮUS.poȶ!99ZʷXi6۬d M7/Ё~Dc^H_2T_n+&5?Ǭ7xG k^(~Cb-$gtK(e9yY.٩phnf|>q%ZqBR1 vj0Dܬ焋SbUH VQ̀XWf8i65m|ĿO69/T5E:/)ҋ:cMTjP&F*p1 0MT6)zX}Ug♐A5L_ڮ@Eyi ;Dō+] 2A]шR"jSo9sk M8VЪڇ/? V'7'IWt1Un r-TzTࢸ Dȗ$l֏|^Y髏"J :g`Tg[+XNpW:m5{Щ)'NԳx^NI!F@%WJE zTk9'H][ܰK2?߹4(.8aޕ/g.q a Mcf|O=nGL6&޷!D >p6>{Ƶؓzj}S?H\D؂bz//\B:ge6sey2r@YrpJU p 5=\I.31,#9D!ȶ"shC 5;bn2{YB(bNNr}='zDzwaUwYɲ˅ݢ /(yPfYEg[=rLOKB~ʁpTlA=ۛx j!_p`vACNM^C1ȍ|VblwIc+%h<\P~ w%kt>,8WXS" ttq@0yC%G?EE[51_O  "8ȅ}5C2O졘XaxR-c,8] 15/) }YRoiOˁemdrN*HkTa'#:)|b|vX|*Ǫ.KC3O7H*J{bSS8SNOe0o3+gYZ7zXZִF! ^7]ŗXiɟ17L? KxlWP8SաM~>fٺdI^^B~fz%_Jz܉ -ٕM<-zJv:&(\q%N[>L/s J-HxݎB]OʃrpkSe}tirJ64rRSxUG[)5.$7wEvaDK7滽WxKrEI$$#<I{M;o*;{QVbd,7!(æFN-"RDn` 65͈8z6QBP ص4-Ac=9`Ƚ˦l2TaYQ^>2\!p^zDi<jJđa&K6yޡpAw0R -g]Pf Ӈ38L<5lϻN}!3PZR#3prE9_Pn/I#5T,fU{BW&YֱgYZ7zXZִF! iUa]ŗXi%90+q1T,fo AsBK{QBRPWjB㧎.|:S_C[4g2'gSq BT {qNUbPf]|KjtXO PmUiNIc ~ cV,ͲU#\ӆʿ#M*y8 `lHA.Y /:V,Biy7Y8ܘE'"ML{2L)UOڒ:K=kPR;鸖χ}*sabo|W' x7{QpV\5(PrW.?N=m}dp қb9LhĢ(;aUuoAGiymʘp3d힍78\gGD^{oIq*8z?e+5U_lb _boy\GyZoOy`)C|-;BhjU!pj$k@׈ّ[Qb"[Mz`Bv">\v5;2EC~FIŢGPQaBbO^^vyGs}!\AO nŸc;8ZJ>.y>lq6.^F7PPre:@j}&D@hp7*l#% Q&ʈQ~ޒjDSAU~Mlk}2|x!&.'{SȈܒjBzԃ(K_F0_̮7ɞ;'4`>ԃT|/Qi%IP{gҦqOԋ/6 e` .bF/tр-i̱M <'fեvJgzD?]uXDqȃGܱfj%%՚AI $mcЙܗ .5 :NC?'D3?p+YNAf?TOƅ*46RaHN߶$G;*ff/&XrB$z 0dy{8+\p ?V ~}DK:aR=qXvM:qC=.¶%6$eWbGf+ALMF$W4C ڊzS+DX ۺWR_TrWB HG*vzEcA![ݩ)UKF kvlFく~fdw"XtJc\hsc@Sb?q1!6{T8¬]Ks?M(v\U QЇ*+ LScTiI_! F"#^WC@U Tp̥A+f=t-}g8tʨy Qo "4n^{i99ڙ5L k\2q 8͛|5q's0JȰHŋ^^1Fwm ͵p /ɆoPe;;)L݂?X4h*4ӕ70۾~b$mQq(pJ YK܈8 eށ+tk٧L o*jzNy%bDۯcO7U+%A]q3T{׆ʪ}<2Y5;#w2g;9ӊS?G:|Y\#XcA$3}S:3ѐ_J:ner4,5yc2vf[\kZB 'f4+^~Z9adr6Gq…(G*~SܑANg<],q&6l@R-}\YKqC!KV='ӋƏ!7s0b?)#S>й ({ 7׷qtG~inP?Fagb{Ʊcc#V=u1`_Kgٔ8ė^0uZyh&/EJg!Еm'H fYH_0_Is( ˒i#O}xcG^#D>m|jMu]=_u)&=D0.vMɶ{~Hrh:U5c334PSjY[ îSagB``1Q9v‡篇~#g"oh Xozinp_֌'G,B٘Ir BE<;4~>y@{Ya.\0#jźNCܶ njhL;n=JƩ̸'\l8@6Sa!(*>)]M+A="0-J590g; "K%:9?70I=H %[7GNRm@%=;n1`q_ uS"Vg$F ӏܛ9XS VTDcBn?xK-#~jZh]^tӵ6'O"[.@L ^GaNn̡j жouJRl^Z3ZhP,k.9 $OJ*ݵ8#vI3*ᶝXmQ#^S`pDU]FB B~ZE69#gs7C3kcY*s:|?㈙f/3?Lɓl 5`pرO^g~9]畇[D,V!a3}]ă\yb)hzUBg_B:AݹiQڭI"hZ WKWW^%F.VF|졍Dq#ty_awm0-l^?N1Awz'5ГXVZB H(:\tNʣ7j6P?9UP/ OqF*!3^\/ם9(DFћ.f1G&.q&hSEҪhDNQ}6(d>캬j?$!8(k6w&7f/y7g{^p~۸jJwYbg/!̋ rmdU)h}3oTCyDTP8WMƈ5'P@ؒ*\2 *g^Dڡnڄ%IM/i7&2TQexQ˒ }RkZU ʑӆ)XGAW!-*'xTlG8H ߑ7I̦ 8₣!ߩQAu=鼩՜a5(Yjcywr"0/bĥ9c=+r<)TU SMTp(f$' y7  T RP%)!zp0Y}#6ReQ/mUiSit6g&zwv%@~m>Zv14G@5ܶSO_Y7^Ȫ5$/ P0OHCtvX{řҨzGf6@]䑛:KɎ i;?I}NfUptS٭ 4ȉx{O/]+\)EW\[O1ᲳZ5[ȧ@Xc|M3\;) [&ЫZu!D^M1.  GLo+3u9pÙ:X#Z6ĝi`"+A0(KaUԆOY+ I !Wl̏ElA܉!mƪ.nLW}q+[3C,-'7TefzVa+wr-bUv f!:5g;AHe{ݯQG6v*򫹱gr /ƇW6ya43/^W)f44f>4?ذoXH3ƻ.У]A/'~ 3(:ΈdIZVLtd+PdCvin1WafC 2ExZ Az~Y"9?d<``OݎR\VyϗʑF,hn6z~ }GZYʄ_= ^ کڿ1x #x\vy\[ԱP}>Z ߮4w0k,*;8ر7:$Kέ)O4 T1k˷21#$V!B؞ Aɝ&^:L:y Ot젍Rt8z]!l^3)ݹ`ڬ3ܞ?1fQcRc3)C!$x-ǚ0E6l%qf*=iaaBB48Ҧ)-R/VnGMc,A`rc |qs}Z%RSZtS~zHZp.X ^~gPcR͙o]DF¤i7Xh=i&ћpd9s= 7_;>%?@e8$p d4Ri ' j뭗}>0ZȦnM+QJ87wU;c ` pBp6)Ñ(R\ o啕G€ӌ>㨹&|Ai9Io#$A@odA h1z2L{7)5wqS4VpVa=9^۰jəƋePhZ, qQjӈas .4э(ZĄkWyqx-k.b -]-@UCyqB=BD풋S/nXGfVvkvtu]`Ikz=m7ȟ%)MOq D]G8Qڞl.uFUnݻC_bl (`mauVYUn"-bC.Er_h ǥr0(&U͜_x_$z8X sH].=&d4` ofq_bW6" 緐#+ Zg8@qNv~q )$ii}{x4N6.i`tFFyܖϾXcahVI~D*fCĨr;vzHx~Ӕp6ci旿VRh椝X,p@ ?ؽߍ:dX|}fa,L𬃎1W3Kq7oI[uA]2!czU(ϨR͟>-Ȥm'@uu$9e#DE!.o+5!X'z0EWC u>P;5͘LM5; EcULdǏz[P.*ZPDO'hoowm^8 I3j[uiۻ Pσ(YygkB|dCٝɿ{̝{5'02-TvI7o7TPDd}(P~I+<4{I҆-PsQO{JLE_l:5 ɥ bI$Fy.als0շ`I*G"ZL#>9zi! Jh31.TkD0ɹlM,* AHR%J'!vȑ]!BC/c^ͧ΍_Ð=g^GE_(I*}eI ";[z"n|txܹIgu ޭa Yo0)]hlg&k-]*#ߣ\8'GXA4z]\[P.\8@]Yxf0&>wya VMLayA/܅, [YȺ m N /Qz,xHǾ-Nj@EDZ9y֝f+JW1u~T6Ul4kQdb,7iٺ `?ndͷl'*W׿_xyܗ_O~* L}U޳X&PIZⷼȜS/Xn^#P >&6r-&UI>[)%gL$GNvv-D_UX1(W͆?^0bjkʱ@[t^6د"{ ݢ6&` @WN Tzn&nM<%ڙG<̗o~4nCMqI &OaVDׇ E@[am|H&^mX)f8|2uMu5=ϰ_`W)lIm?kߗM!:~ܛd: "_ [H Iw nWo |/vlQmQg6HB}rGsgDa~nTX5婁O-adH,@ *X%ټ){$̈́Oz(ÅWa7xKbs/qf-/bٓÔcYO'hHNEJf CE1S҈W[zX̊߿?LOO!c YڭQ ΄{bJʺ3]>oTgS6@&KW}[>Z箖ysok<0 ǟnv~J2B5cU*^ؐrq&ܔCI9,&,M^E7V<~㘠hrŬu8nc-lv ?uGz,hEπ*>iJXNV1lZJePςvD2`6Be|.(V4ʋƟUiUp==z]9H|4_be[ض:4OQX}ZG'Ȼk,2 3Ȯ)XjVU@a +rInI7b̴y E5Qs`@lM`{3g/q$u{bUwy*6m]^ufb;b@bZjUWo0z]T-@}v4B˒b1@ ^Kql88x!\MB8ܹ#.%DWHu( C:Azwa7F$yآ6(<^PC"S q/c^=4z!h gj5Ė( qfȎy^Iq/;#bGg%*I0<~'lCZrԕN 윦2s;`4Ӊԧ03||d≮ :䮭P+/۹Z3`؃an%߾ c&{"IfG}w%$sX%ހ訳<1nsla. I4]B+ y\\ 1q]ȷ;vҺ3N}^sgbu^%rw<g6WK4&fyWTBO{x 6m:a+^Y]@+Va.h(@XC:8ՀY=j*Pk8[Focwm}P5DOYdtcYU5VyIHp/&ȘfbjqbOɐPG H v.<#yTEfQ1ûy.y-f|[&WXz.\0aSeXdrVu&lJ]ARkq[!\ z[->&Zy}".:s$FQ eu"[%.EE+IBD$ƍ6|8g0*"9@\<ؘ*}f >!P 2(Dzzadn5.q`H >RbcA /e.[sZO![b-UpPZ'{8?jNR)o49E3) !uM oLȠ%.FLb\Dm׶vK暮7/O9#v8B>}'[3/j24>ƎĚEp5 PJm[RStr4AjB9nœBtvJlBSKRa- ; "%YT'AzeTKv:A{n;,|&"k4o;O¨cBΑtD *_ݣׁv c2cV*`+xGcmT_ V tSr|FL¾_gf ^b v[{dNc@Ww-k{̞ŐLNIN1ؙ7 -҄:#B qvP(d-^5׼\%Eٴ}F(K>2Q3M9l`  < U I-*[}:65_:m3dHg9w7c )ݼ"KmȖ@ߢnPə24!ɟo \D(6xB /T WTP-H0fbtV5IlNFA9z`)O jq<<W580/3P9D#:JBU3wJ8⪘t\d0)i)yFᑌ3cn~^%#g֒{ *ĝ@)qT`FiFsG+ƍjE欌[C:=z6+[B6bRlhfi&͢RFW .^Y0MzU ]TnEFƟ?/}Wyo|% +Q we뇭so%H)ȃ/nSWWpHuchQPeh'&ܮ-c|/|D6 ND 3\/[0ifexH:a7݄4( m%Z s3S\QHNJY. @D^=. 4٤[ŘJnB}m.mȶ}8d+FTvuoHPrN?(8o7] "b>*! dyr0nf2 u\H+|oڇІNZ+pj(Axsۍ]9JHCnc;1Ua_?dH7oׄ4=ev}*7_ntuy@1) `C Ɣ8×_k}5 p{'mP F˰pijY:I 3!&r'^XDVxbz",K5u᪵50~|"Myjt"QoNTdKT*OE#: +ܪvkzu@KBoS݈- ZU A3Dҍ"Z1- 6ե_@V~lmsd{2#6޳iJkC٥_,.zr6@*h/ =E5g@~/@@纆6rO VM}8 x6ٹb' YUћ=N3avX A\][B2訟3rKl?^O@"MyWas#mT h[Hqpӝ2DOAl-=0 jFoX!eâHw Od.0!7EJbɾ[;efXAHԥk}8C5r6^'c7%&VO?7ٕ ,fPFHb`bl\j%Ye>LiGBL+7:_гbTpɜX`( ~,Q8,Qe(/,X}n^ 1ܱf?48ܱ>ԇ(zEFvr!dvR'̬Mb9rtZaib})lg0NkMުױu;)UG>ǹǖސ *g>T#.X;D{~"iE䒕8{+%>l0Cq14"ٚ.9eSs#ZH 9d`۳XE 'SwZzI?zTIYURۍ`b[;?J+AXMH0Z55ͥqu&逶^62%,;ΗÅBQ >yzJ3O<ڎ23a*}/\{Rwg{ StJ0qQ5E}ǼgԕQg"jn{ku jvMahydķ%Ru΃؂]CW| ,k/6,3h+8M@هx݋G B$m#95CCtW/Z!N_i:ϧ1YʨBEz<^֫ S_sK a:zXΜ<]9,vv޺1X0OEVu W'eHimW|*3䔞:u-xm*eHך_%/pˉuQ/k ! V- 7xPFyaX[3-͸bÞ.J(Gڝ*pv6dx~:GHU.>L;3v3AVZJ/ ]8$puNE7"c:;c3vW+XcಛZwJO]=r/hnKywCx +*Z0Z9mȁݭF..)-P*GT/\BÙȨ бS!HeLA P'LF0݇t? ݣ-ġ$X/}.bMbg #MDuLIPN ZXo͌E ~U~7pze/_|/DlAi߲ɬU[F<)= r:T yѶWj/Eܤlw l:#:1z\GOT?imPp?xKH`Z/֦ya\O=kvm_힊߽BrQUګfL'=]YLVյ6`yd!ZI$axb|YT*3H> *{d@@_rœ4e/Xo{׋0Rb1Ev_&t= ͦ˃l2I$k45 Hoñ0x STG?quek@V8d^fɀxqK݊;9忥\pH ›"HB hm :qKh ePk$ a@(v6kPjKsBHR;Osy,ue2p3jf& 銇~DsײΥ_Sa)p&nR;?RcgƬ!|Kt]?cSYZa2־5/j$p"7F!JoB| u`sف*w3?b}iu%KF] e'cec^K;4=+}Kij?3Yaz9KW-Vlt*w[ #»u2nBOD>n`pRNtC %zJo=YeP- N*[apZh ʄjڻ>zQE|#+w v"bG`˼>͑&d8h\ILͳTL@f ,0bLRWO:2;@>IhcYa48\G|oE&Z2 ?d1ľPI %1x (zUC6(yeaaz޲KE?{1Kr|RLnq$~I_گ0$$8 +3ըf[S1w/U{d ) u-]Vdn\:'C£YwhLNo @*@BArpj$\0j/ņN|vSH >]pP̺/^U89 ܒER]l>CI3H[5)K9<+KNja'cE{!COl쓯Eʯe.ꁼ'.TK2R/GGMݰ&>!mjVd~p{p^7vIݪ% \ N B>7aqCO`rв/~4˅}BsSza}Z 5#1-1Bއ>MrlɬU_=KEo)MBv%-v>~6?8W#"aBdc}mܖ.4b"  UXN/Z-k[3&Qb\VʂةR@RK7}X\+,ϦSƃ aЅ_YeT8l:NRd^CT<5\X9\eY~o;c4=l1u"s 4oO':Rm#Oh`8yg jY%,`r㣏.tǒ#*g{5vZ[& [=Ⱥxs`V/ljY .kBMI}8o)vThmNwk;p[=򩗧# `/De2qB,EW`Int=@L,vnGzDJKXA-D5,~ US"!^ec-ɹHCQk0MRu|qX;A ׻౉]ڲ4*%roF q|-f;.e 1,ַ,T(6;`O)6gmhJq# egU^Q =v r;yC],2iakݔYfB al;>#7،EU5Vg|66h\M8X –A4&-';S1 <'S_.+ڠLٛj1ce,.WnCF|:*#2 ĞwLZo!H_/$qϚ7Tq?/Cٱ,_>EGuEk|)Je6ZEl]-tlS{1@Q->gې?(%|iNA.$ɨߙ.W{?gݹ (gA:@Խf!HQlA&]si qv8=2a3QTY3b;m^ΙD:)d7lw"4s_QzkEh՘i)]d!'{IR͠"Gp2VاB)3|ӤLu9Qq4Ē4D"&؀*իai+.j ~TCQ#6Z96ih/|6e240" D,K_OZ}rhrR1$)9U~v H9ȏYwUPFWvF'u{Džowɼ`4 glVfO`W #VfVvD\* 'rk ' qX(i ל֛ Xl%ow8\zWo,01o$^]w+N̑ް{WD'M)a[b4& ~@YbS7~ $M}UBI\8+ k NzwHԡ:wԁTn|b;ه4 ^m|GdwxHȤLh?sjB?Y0z^ryn/qx(s N G>և0sq&2nXRKH=^we;5b$Qkں7{~X\U"n (dk*Mub9]Dx9_ LD*h2[Pto BI~ R&S/rA ;RM_1 /nU<_~c-tfcs||xPa>j"EBZ3r6ݿ4`r|'=PP{ֲt4ts/b̨lU޵ap2;59dD澈-YU~:]Rx oz΄_8J?*ҏ9y*ˎl]$4lH'I+4tlpku".v$),cSɢg[a';8R~f4,L}p9ΖCx @a+'0cn{ o^QɍиIWiYᨮ4aH@ )M4YcHvB fCP(:݊`Kl KeZ0욵GVx7r7cv@u\ NY&G 0b7/JWSZy,'EܳG1gÖ<ńD{z|;仉vS~~?*n^RpMb8B\tYCݵ@Н4+Й#mNZSx30(6A暕-Oܕ$+u&JRG=1/E  %q*4,J'A:ݱ򙇷zuKM궅9߮= su'r&~\lܩL.H^L9{>mB¡/P\P8!`c '$` _Nk$*j~ FYl{@2ql0P,iݎ5 cl愣]:夕 ^PtLuܘLlؓ8msN\t?JH|a3GK Ag4ǯ-EFAFj~T2pdEfԇ[݀1p (K lK{R4'ۅr=sl;݇&5ka[o.bؘw`: qmE(JŐh=n[FDCx 2#+w-~hC!XC#yaY_GR9d[&^ {"H1!x^WĢe?'(7lebW꼵QZYϾGلo|PEr]4!dp+F''Ts<נ0K~X+Fnu;*li1<=RYRKZrnb茠liDҲ^Ᲊѭigy>IAIhV[q#d30V.Hd~ը3l/,@4/W "$gQ$;WdqC "Dى"`ȬVIgF(;!YS6L87iP[wFBϨأQcvK3H2^g28lM%J؝bҪP<6#3'(DŚXTqB#x$NN4zCuY]>oqЩa?dvG|W/4Nb 1ʑ֥yH0ljAy52SEJM.>F}<*gZ}2{0:|2Bݖ\%@f0-E~;S[*t.c.9ƌ*15Ճ|ʇ@cʸw 7i)Vu&/^'ѼF׭V'bARx5Qc#AP1~nPඣ##X{[ܖWDyڇ{Q"SXִ|P#PhN n4RgXo)NY,g.P"ۗTȓ{I/EArWGlr5}:Gp͢ǹJax|6k!D kMSr:UxZ"cz7"qfmSʿ %m[gf +q0Mo'4nK OFPgYZe8d1d7a97e43e3770c9ecb0e15c4252ce71931e662858bf7fdf2d16c6c85785e129356049e07047a 91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8c b968a3598e18f78a38a4319f8fd77de2165ed05d 9a5026c0c480f26dcc4fc2ed21b042ada7d18ea2 74ee6f665f85e9d7df34df286581b4e521a83607