SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 'TD #S Markov_Models:threads=2elapsed=130.715cpu=238.436gc=11.368factor=1.827zXZ ' Markov_ModelsִF! RI!]ŗXf1-q恈͐7ӺV -fw0w]BjZjfʖ+hzq`~I`rdDBDJ68D˕&JDg~&]o%p & ӬAI)bw8\RJuĈF;DVzXXR"<^sAffv`O_+1& t88'\XKl&y[B 7'`hD`0=G˛d%z6!^M.]=̭(A&:qw9*Mc'|IDHsmOOAEFUQtPGLTkd`bR&g*\9&+ۂ-"7ߐN$}_nqdЎG(} FmC χCRiTN5r]uuQW^O(!l J# )\T"72?d&sjoF"@,dVaە?"yU<)clNy5!(U⧷Ũ ;iemR|>yٕܤlN ONWpð>tsXn|c|@vIiPt6j97^޶og&+@O*~϶[^X^_yy֧2z؞0^y΂:Ih` '^[JDbZC4`Ljfvp & \Jٮe zTF-g7Ò28y>5Ic#) Xr3kJ c-&E$b=ONz`mCʧLLzXo̪e-)!Ll#sٳnwyTzW2a,u\q(yC八6Նj7e{&΃~+nSOfwg!}l$`>RjUMW<|2E]o"r1*R8 +QT0سЖ( "ͣ|%("Xz#թbrvP/!D&ּ!}2dT\zAY2U ]|bBV+$ }Ct,J>8%\I!  Y\~^q{7F_{{4!hӻܧN!(G&~݋2q+Ө:v*i~fUw*>ݍ.IjF9 Q)M[)ԫ5#Xl떒{E\| m:o9Vr@ S@sr#̷!rZ,@Glxh(BI~x͟a- wk ~2$z6 Kh5"_u̚"-oaeI]d@DPOl}K2#>~fR3: qa$tR`Xo-[ݘ\]LBǕQ\fw5Ts|&/z6k;*ctggG\BRh* #^b֙,Z_[?g }ȰlE{6NkacM!,yly)aQsrPB'V}忀Ѡ8UK2J3å0rv} XT{}+$!;XLc/%1*~ ȣ)!+\a3Ǜse2WM/U"$v%ͬjd-׊bn̶H+UߒVp;&0?=~yߝRWf&p7nh#$g=.BY]7R }KK#b%-HNAc0{(}x/ X)G3q MT _锈iQb+.),ڵ6(ܥm*G=;w5fmA:{Ot8J.IA}ODp !/%~}S (7ٕrEINZV/:%k.ZSнUrw2#آ3z0 x "XlEdn A`'[$|풫"*L/H*g3qrW)x$'O0!zm>R15 8'!>R΢5؍LRd0(g!Ls\:fd~6 gnդCl:3Dh>s$S@XݢѽSsN [>(Ƌ*L-ڄ&;d-M9hn zM5Fon:]ItNY WޢrJ#dPPOjVP@6j?pE_k$& w\W渆\O2@3<TXhӸδ1 *F빟6W"oEOc<Ո9yUQ_tI~>+^,$?ogk"cOrz Eg#AgD Fg]SSBD@O^UGizS78 b7>v^Hslz3|P~qnKO(ObDIw)?}/ַw޳5M% Q0؁yF!K º0n4lmݬ$XmYkv:D>do6>"&سf f~b˷<ӆo؇ pPTB?eXJc7%.4-YqؐYKTE{a>1 zsQ_zxµW֞&RPǫ^ 93^6K+k93n:TJ.l RZM0lHS8/O1d7伖 FgK茬 ) E*?ygWͲekC?ߵ(hIÍh[kN+.^g2 !P 2 }`]7x_IS )ڟF-8Z?:cßը~{]MKM$Kq>Z4ņ)#5:mTI˼|U]Q0xAdg!D.А?_[Vl6:&Ǽ '”LԜȋ䣭9f1<&Ԝ#jjkmQ`}q<; xc "3SYX5E CD=34Uhod^c-K (EChIխ*QK^泱l6%-'slrP8':rC'uj8 :2䋉Sw^fY㈆zQ FE.oW~#ˮ7|3ZAO`ߛ[5w\<+}ׇ,BϬ `梙:!%*s"a!S}}}nsxϪ9w 2a4x fҾe}18C@HxK搬.rwB?77Oluo,Y~bftMp9Ov7tn<ْoIq,l+{AvXYĝi,'wlgeBA+ $=d\o% FNh0Jač7v1@ +Ezԃ@el0CqҞd6" j7 .B5( 2Z55tI{}G̨^&Ej,Fۦ HG2ލJ\/ӟEn+̙U>ݤP߉ieI!?Qj{W"?tb_,c{|qHv&]۸cN]HAue%q=P&*7t|WaPS޳SDg9N(gF5<.t =5Gc`~#v:*{!%{ElzVkS#U3޾ykMEj){\lQ׻pR{(wlG $ij~mLm[E֛yH.B_:,"LcCzyu_ X+P}>{\+!5T=-LP '57 ' WǞ1eA}zXrprY`QiA'Yz/L 2uMBlsҴ V;c'Z]^ZYu .f[rn&m|8gzo5*mUO unH,fΩ?w̰tNYEnT` lpuC"bsuάFE YƩW`[ 0D]DaRfg,Jf_Cup k1id(\pJQAW:h;qq#ϫ}r`akFmihoX!@ᝣfsϚd,4cґ5yXZJ ^ 1397L:xJHRY E K*sR}ln*81GT ʕF )K!! b7ҾOiBi1z%}jU̥Syw n0^4W@LQB}at $ϳ*RA7PTzOQIb3"r婝+mˬu{hy!gzq`K"+U%\m}%%_CZY#Up-S Yjģjx/2?0GE0졂Sb] 6 ?uG~P2&64[f["(?uN W)ΕUٛE-pxM-E|6`#xvB)9ܽIk9CD!i_ 68[":)}G [׬~Xz_Z3?K`,-&L&2;ND3-[}- X 7_~43̛ޑ"q IYfEi(l3 s2mDݏQ>T,S%/9vlޣy#1UxBTpjMp$`Քs'JIBAY(<=.U+_ Gq0qvKYu㏨rTb">1ѧCNRQw7dF"0UzBP'?mHT AXC=!8Z6c5$&Lր_0؁ +%R[i&JRU=hEO[jw~2k czq=O+ec65Z Eud=HXB"sR) >IG_Lғcv ^Ub2 &"'IHW4̭-Ui%r]9ݣp Zv(EsrgtjbhxJP-Yz&EN[,C,e)qRXX=m.˭QL=ck>0L҈F !rS 3<R GѴws| }gs퐕-u2ܱèշ5yORÝ72`1·dd#6F3|svzFI xM,lɐDc rn"k=u  ]%X*MM!>#(S<2ip.@) gǪ' sGߔZ4`- ud%8GR`DsѬ"eU`6UOk~Á;?}]¨Y[o.N4_M4tZircu$k.Ba $`Ӿ2Oc<l໰t:M?.X" VZ,V^Ӡ-3.g2-{0FRCˆD;eǎ|SJ2g4D'\3TAȞ^Ѻ|i6 pVt*$UK0CEJqM0Nz$Mlל»~лN15$ϼWJT{G_)l/27nRՕc Nz!h+dJS&(]80Æݤm07A,P;P:|Wj%,Ц# djuNNŋ`$ J:}EVzӲaPOPatxdL,?ޚ.耸SPu~&`Sּ8ȗj6uU! S:"1K $RųN"FW_<m{ ͍tnjHRt)(gQW)} ǿD! z*Ɲ̒N ƥS)+\L5E^;pNN  ZD0V,fW A6n* [lgH|3 G>e:p:JNq\őiv^ˈSӐ8 c)Cy>+3q:$Zn w(}w+5\-eG3M ^e:S{ -V2"L i,gG9dUMvW㖆92v|3c߽xӵx<۠CC5fP̀ X- *ب-$|[gjZnzgEm_ uLtl?]2]:AS:@h~u3Jf*Ņ 2jܥAtT 8 SƼ/Z6_\٨z*W] h6 hCLe=GqPbfOJX{ 8]Wa`@6uV`GWT$ُTAo8CgC,gߚQ"yx]je|KBxNwu4| 9L*ӊZ}в%["Rźi@ȊSn>]ZWIlz‚%>{K-B< :lk5/T-(fTjGDN,Y5aB$XW:>eh1.(Qߋ x~Eю0rlz|&Ƴ ')]݄9F?{G̷bn;3ox76.Ha@`2%Ed3?)t'hЎmwI6bT{P=<~)  xN`/AK~L~tF,0^RAמKx H1>r8nt2WvWV,m;pj0Jiy|W'~ŲM[Cϧ>]%c\k~Bm[w:SŸwu]Kx4CNFb!]W)ZUFPTOJɣ OK5",LxDzz"RgF5]*Mˬyow2*Ŏ!o~>=rR$oO:#A+ TxCf(, wd^%r) o&>њϷ@v6pN }&E8T@#1['K>/3Ts(X$wHv4>+וHRwj(q=0DmSEq?`InG%tyHi qcABKJKٮ|;uO +n +JG@ۍݦSS}Hqx"%ɻ]EÀ{hr;%ֹ; Qimp-{(~#ܢ#[$tMєfG_͜ED_D`S)Q){.0E ;`F)ܐI)%ɊRͭ#"Hh,r¿uyFR·~ I՝SUj k[7A8U&ABNpday"qu{v!iɅqITiIVI"gWCtYϨaZjt1h,"jDb$2wDa<@kf@ɀ<L@1 WPlrw8_胛IZ6M1ȑmW|XͷIˆkv᧯Xۡ0؍n[i}MYc;ƽJ4EBF 8 _%h3[O<ӀԄp-yºAFYkдXERK<lsxenUٔŻ|OLb VU/dck}'/',?z0G qo$birv`2UQԎQ+Nz^ ;V$ P :C#r_݇lrԕr+|IƊi飃/D&.PxU QRZчRR \(QV B"`XoH'7^}>k5jV@S/y}ɥB}Ě})91ؠ$^x5Mv J3ǣ 5X+9:+yt\{ܻZc5e*ƕB^H|vl 44za&r.z{z.e&j2+L9c 9؉asN|]v||$NΞ}ۆq,xThI@ЮT`mGJ.35'GrC%APF+, rRYN oQ*\a#HSdNjP<ܣib#bgG bA4dˎ&3pdgߝɦ.s7~[ ;>DYi(2/ T}FmCF&#KɊT*h >^EhFSj}_xmJWlVÀ7qe4j3Ûx㩩9ǝaEDJT#OP"1z=(r̃ZEQr&f#~irtNxpYKٍ؈!uOE Fc^2qwg0֗TԻ :ϪV6`AV6H3<ΣbhƱL5aσ^vv^ E#X]699!VS{γ P4\_TrH-ʮo'1zъ`bW uUZ͑p\Ӊ |s,I~ٜkT䨥7uЉpl}te:jR|4r좌6;W-#cNWLY- 䋨osݴZ,eU6(Kђ\fqKb TpC*/ *=v%z/ ]GD\X΁pAx)9#Bnk:\%-1aY( ,EPf!eڳ0! Ԣf*fp08LSJ׻ǾkI LT]eLRW}nFJ0vSy+u)*3!W?Ra2i8T,h*~v cU6qRٱ$ɤ":DbᨛmzYdZ&ig$M`}x +#(IHîyIzeEIR+*j\E/ bvZN\!|otnʝdj֞r3ɾp-k0j .?~yXm}ʒW[b1tWc' uYUJv̐.|r5v[gS@)ľ am}**鹬OJ"]U -[jÖiZ,#c?'̓Xb`.OPɛmEL5 i/1%!m J;bjsnP<T WĶ?ciB@cD, լo۠9źWhN;[3#İ0cDgR&MYo^v,I سBmJ,lHeGLM S [!u7o*@RR<̫c:IX{r{5.'bT_Af1mXa~!Pu+=&:p[yIɎ$ ^; bאw-? Jk;x0?ya$}y ޑ٬yd\X }} A#$"M&QO[پbIۇۉɱr'l^.=,#+?(E qΚAfg23xʼn݀:#֒@OSFS6 pSwBS B\iLTN$#Xރ-~s`>-кn=gdܽ,2-K/@}n'o]Y P7괅&n.؉}p=_uëfywʿn'PMg͸ l Q #Qm]'6'܋Oȩ̑"W9gt2|ik6(k+:s 8.'x­a!ygN*)zrmI)1?NyFŒʠ͇ܺDSg"$?}m|4lonelC#'oU{mO["1?J=ӯ\JWY.:hThNė*Z&EDbiJ']4~P =0vdC_" ˢY6^dՇQ0pv "xW,B4m@NЍO+p6*"gF$+/-q?ӶK2ޤCrl$-Uc͋i [Wj+9a.pX0C-cQWp叺~šqf]';$,ü%yR JSlD/]{(/񩐊|_JC#k|FॗX\LٛĉF2 sюُi:ɻaoo %]R c#MЕr;W!5d.YP}Wѽ<"/W66N]oZaI:9rю" @(O(Q'֐z? u]h^Μ-7 E4TN۴rxTg`0ӈm<v!Q e4BࡋOQ$cUqѦb R0 @<֊6gy[Ɵ 8'b\hFDPH;nVQMq82')rTsEvJ|,vX@2g!(ߍQ⇼d>CןbݿcʓtKp~Tr$p1C<(JSeR;;Uu݅#Hd- u:yMa^9{'$J t0(RZ)o[wLoPTcp(o@mU9Ap*ZV1v>\hP4 ת;8q03GKS jUM rbwXel?expضc j`waoZNPy~YۂWb -ˣ~GNh` ʃjOo8Y iSƣ_~A`"Hyk p&Ef.ӳVj(lQ  :.4Q:x9!Ł0bl<R&=Ư's ٣JQSSRb<7ˁc7@x5Q)~\k "IKL$ѹʑU4ӇJJz[X1WYS6ї`d ?E)kDYZ9_NgD`|rېMA nmim g҅.p@W";Yf}Ԙeuդ|_ߖēSήabr,;EB ӺmO G~(9?osGVPN]?~~$KؖJGMEyyb H$$@)MN !:haxLn]n̾GHOɅ,?UA>٬CZ=a3 jd) :{Mlu\OjtWy{qdX/(&wq(w!Fd ч^$Jn,JZ!j(<ڐ:y|KQȉ1بV_״ B$c\U@m֑M#{v3bw:pDIhF-liG"O)bU ["o_A< Y"YY7ʣ/xU6<~#ICLv~nCz۬s1X'ӏA PbVz۠}P ֌_/W)[nC@'jq0Q\<724)tILD9 sri=fˎcz C 6zX?c "C^,J>2 N*d7-􄳥Y]nu%4B%ϐva*Z{JjE4MѪYF/MYѫ=ȱɔlD} VVL u;_'HTFeGN~ |Cs,AJ*BX WOf6^?s_|=q  FS'e0]DRm;M! Pu!X`I5qgr)Y<+U449PmKxC잚 1K FV楗 |u A A3 ,4d7D_ D6Mޓ N˜W49OgEDjKX^Eŭ*i7/Xj8eBldjN!gFO=cN8*z3<̶*[4`Eޗi\wޮ_WNOQF] }Ba Ev%Je*91wU唝 .?.V^u\$[ yْ<-jsIͱ8W4pҐS]b&J4q :`el+3*pyshd!aM>h{']DȿQ)N` rjr~\OF0NdwV~.TNja$N傪!u*GzH=;>ݭSH $e(a:>MSP(\w^cEMI7C;jjݴ#xNc%jn#oHq*/Poh_@;tdEA?X HSe\.Ba ;^8xGuQQ7r ޤ9i0n^'η-l$.]S)Vzk*Z5ZjF% j˧H$X7S.1J6tiBk;Uc;P2'NJqI[ISAuwB/"Ys VlD^+<J|"p$nw0ZLؗPcznީWU`%b?ȼ-sE !a*_i֏"#H$%- ˃R{P c߆% :%X{ΰ$Vxe]*"7>bX1̰ U?@/p=eϷy~~G:Q^D@|%I,^ amƹ 8,Fh)- @&> ~BN$W#hcte\a<4$SDpu:R)s#ؕXКFLY=>ܬǜa|{=֬P=-~,H`$EnVRΈӽADKNk.!933?||ymcs\:[< $E_Y}Iym,و]r`e3!Pf棘FUpɥ-11__Э CĿwD>mׂ`z:v5&RGw#Xx1Qֿ^Rו:,q BSdegYZ7zXZִF! u]ŗXi%WW}dno,MVz'1TNQkͣ6&s#|ŪZLߺuf.$%sqh_M]L$o5G{u͜[TAJN]:*z" ձ mcζAF@eL=eCmZdWdi% YuVٹ_H.)P?>kr__tdcGӇfnd46{9y,vv||' xfmaInr[xhЇg%Sk_Mqᤗ0aȮ)te*U9ewPZGR+) ɿcN?LV7j_o-]d4!v*^3QZ/$tU{]ѹ RqSو-< xd*ZuPh<=!%FT4VY[f[1t6hW~LtBh6o,w7c&:6G f^A@/˺&kt96qnQU;W$ =%zVԤ|D] Ƌ@5$wt rx98,p2>0Qԉj$(i{ۃHeu( o";ב8PĆ PU&_0G`RI4 [obd`m^8X"z=*G*Spw_yBRҿbG4T,x70)|(F FҮJT]RNȠ \5,Q*dfz}ơ*YBXq+8UTY # 1ԣ"yZGƛtߟ׿Pk'F9,tѕWKE2W!-攡\u ']qs>`bmo{ ll{l\9BR3Lw9a ]oK u%Kdћ b(ɂsc#9# .N#9nҹA:{bݻP_-3N=bh-YpPV`Yr_?ZThY0Kٽ.W՞nvXvE_3xIu !mk|K)E p%^gaVxusULu,vSIU8ޏd96CJ4͋ >~,cc22oN-{%^JWz5Z@%kg;bf9|0b _:١hda2a$v_<3znP-<)Wx3}Cu]")2hjFإ>;5&#RAgl\ \}vt wf:.A.uhQ%!{׀㓣i+*!ߢ sV}"B=p@_e `@[Y*a%nP 9e СN!Pc$z{`ב<2.; _kl$kdK^5kP,SVT[gِ_~|- vpZi'"l>N3S+^`:u.IAX<=p@evx'r#wzfI2D-hi{(=y4وkjؓ+c >!ګ/NGIKwѲx9z̔oEOpUylKc}t/)T8 v=:G:tXg]mgkYrmϑ%A?)(+D|\cWp8E^nCB 79|m Ye%@1|}wLhAv gEu) ,\w3NY"m uAd˒7c*,G{T)6MNcsb揕r鍱p@F,230 ""C}@M5/wJꯦPozUiõ9cK9DlҀ YU%3 z_$6.`tB5E[`$S`:Qu.;WaApkd~138:EG~:МjW$`5ph.-A/[ g=QW#>r^H,EZUh_|袒) -NEÎePz;lj.|unND n rd”sgq;ęgnN0}2,kRAgp@*ҹnQ!¡i029c SnN̓va;" D 0kO]s_n;|tC0l/Fh֜P}Ew Pμ2yuu*n1[踹? w鿼^I unG .i|/-<0|!&ѨX'.|U[,PV|u>b1=؀C8ލg2j=<J^Ji6}}_YřF]kU$* i^8KoJBdys!֓םdYrkQFe-&-PX7IMF&!~NP׿ZriJ^ܰ*fu9>e]3E媴ң_E*S㘽O9\jٲպ0-;`?U=IN+W4uA햷C5*!Ā/猽NDYEôӔv%t ݰykcI~ p_;Y<1WF7xdםq0;%qAY`M$ WABU=qa.fɬ_6%lde$ڑB,/IikOπx(E s65Q|'8@s_{:-O$FT8wҘsL_wiZVmm`5G;bLY3M-u )X0];0nw:߱E22<О˯bJN G*Z`LQPWf03 wY+\×SePQ>4o]ΰ=S?IT ,W M'& EQէwT"rX .\?$L6H#ۜ㮁,,@]D8 ڲ *`tS I$l2ؔ&/hl{y$ЪPǾJwL1 թytoyco =N=$s Mg o6 TGSV^k pS>xMs2HKCTvG"gJ\w杁EpyՑ3YV|.hk"BiU׮VD^ ֢~5U74:qFG9ӋRZX+wmZ[ɝIw0x5m_R@"@̺o0~􃯻ڡkh3ߝ>FX%.B`mIxZc|8"! '$XY%ݞP>9qVs}_\x7i f7 XQ[qi,RxO桮@N:UsW`tN?bGW϶  Zfޡ*ChRQ 7+˴El\Kڻ6|$^ gٝmg :vVkx:Ts綑ҕIU& J9a>EPE04z6WXz%̵Ajc7(2H5<\/ϵ@ jo I/ք{rNNHy B= C3-H΁$T[Sϵg9Gisj!nPE̢,:/ܹ`ril#'x$Z5Q9wEm* uu-p`.tr,q&9,(َlDمtjod> 60[TfQ-Ywn_ X"S;# a*~bfh<=h yZ!L6۶^[, ygۤwp1GjdBӫ;í?+UwTMKZBs-tlPA3^Vž-W_0ɂ"2z2TIQWV&OHMu 5xΉ le5& v2D7tq.,$]aVC8GAKK,XHOԥY`"au_5hْ>hsh3v3xvXU߃o}kboFg`M׀7U;U~HpxC/%8uS}AuH@12~k[aRsUKĬ'9^Y\nϵ!ҥzoRd\X2K@[% =$XG-iĂֹMͿ,Xҿǎs^xФ B4dah\%ỸpIQZ44AD(_b<≇:&78衩mM(р(kz 2~Qx^oxW!E 6fmퟶПs 0:EwJT&^>܃q;^:,Ҵ0c? 4(҆2ۄDZC|%dקCBTcΐe #'5GH.DjBdUy(mÖyN)\XMs ,<0ϾmӚ|9 =O72gMʤ8 elP^n*;hYԛp+@ޒAU1S8<]$|Rv.F1vo{wZ;J `1b VdVkyw+"x9mg f#qpa4-2sg0ҭ(Zl7B#Au<B=)Z r޿yfME ٰ;P!XuZtyTa<ꭰJ^(*-bXj ?ح":z1BNf|NC@J>]xW,%AhVϰf*यJh$*Dw; ޺Nӹ];$6_ XG9a۹c%ٝRG+zL-HZK|$֫=irݮG8I9;d@ U\v ҩu]G׍GuDAz JBPӰ(Pp׻0 %-^!Q,fGL++\<.5ZՓճ6Xy )@sN^]s_m C r$=G?FerڰOS+2}G @̟G\ ;'+d= Ov\0ps5/liV#>: IF0h D]B2~wՒCd/RI&R3g 4)3NA:*uvL=1UB$ WMbФ[(ǟBF~qX. ir'@#.l8zd~8P 0oLb^gh9\sNٍ5'ؿr̢gP&Ɩ_sߔ A|@Hl JՂx䳔 W0X N\sO*m8)^x؋;MοNBTkuU]?1v2hsj|P+}1EޤCX۳f5sZjo%iCCIJbޤKMq?lBe;Ș'^ŭ["/ Y`0<ㅼ[Fhm:p 6)\/V]"C[֯V~' \BHS$"yP&_M;es66`.¶~oi>x̹ƀL4i͊]// 3c-5ZnL$تG=p1eʆ}3asìReED9]$NavF,&lnnLtNi{^zU0̭ tt%]+ ~ԥj y,tRO5 Zw`gFL)P n (P O;n}4tH** p!#; >gYZ01a2ee8ae162ce31b4c66e4014c7e19f81810779 063bf4ab3c2a8e3a094975d76d3976a1fbaf7b30 08f0891cff2f74fd97fe4f8d9775b4b780015337 1054f1033d4918cca91cd760cf483936d25b99f6 11289afb6dfbc4468a09cf70d669980d34573ad6 149830d3f567713c7e37754e9c771415c664d5d8 163c6da12913489b3caeffbe6bb659044e356dd1 1874a0cc34a6a9879924440656ebf79447d8da6d 19e2cf0910b7071efb7af8472164cf296f5e5ce5 1b3639e3f90fdb7b82f1fda5d2a25881abdfc257 1be20c843be2fdf9ee1e5f29f5e3eae3a4f06960 30bd00c4dfab265592490855474007330672fdee 327ddf7d3401b8a97b4ab12f6f809fe497c22c04 3adea1249b1658ae1d6b2df875ac07a29d9c8d5a 44baec093d30bec4af6ab8a6da185f226cfd552e 4c7122007bad6d212380bd173234b216d5e684f0 5115babcf82b51329a1890394e7d219241d1cfc9 57b92a49916d73535bb433e148ec54d88a69caea 581e2f9c3c4f26dafbda2396aab334c58d65450d 5f0797493503d8a4a2365f9c8eec899c63baefe7 5f3249c9a2080df051ec979e03e69f7b6c37b568 5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd 6507797ebc5958dd053e7e1430c08c8d9490dc48 6a5b3f1fb2f271c8aa949c2981436598420cba8b 927bea5d85c504c0495f639b096a8a74ca9544ef 928f12ab4885fa77624e01d299dd22f40b22acf0 93e5eaa85ddeecdb099d0a9340f1d4d8f2b92789 9c2afbef69156797302365c38ccd823c3ad8d624 b5070ec08ee2acd5d10039e298f5e5cd8284bc62 b9748fdfbc863924b176bc1e60b1ee44b6e1704e bb2b86d2923283d1a89525aeb2c65c3ee8b768df bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d bed978ff050bca970c7b2a419d5185521e02eb84 c6595eb84f7f5b6ff8cf51591a134ede1855866a cc49f191a1330d1b26b2caf92f0c6cf8b98224cf d0d2bdcbdab7fedcfa8466930b04a30923f57019 d236bb24a85ea5966a4db74c7106fa9cebf1d2ef d581543f7935f1f8f097e33db8bfd26157c86074 d7d6ac5a68cd81a8e80b54128cf50638a91014f2 de9b3537e2fc56f3e2f6e84ba7d395122207b30f e3c438bd503158372dc2be23c689a43bfe275b03 ef3bf71fad1824b9b2867019a1012b86f0ddb159 fa5087dc410bc19b10e475c8eaef9ddf20cc7905 fa5ff0fc97defb19ed05eb041455309527dc66b6878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 bc6f62a8bf3983e1ad01777897fdc0de1c61c1fa 749d92c707a6dc6341900ed8c94f87e7f444e1cf