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 NN>#d\ / Parity_Game:threads=2elapsed=113.609cpu=188.736gc=9.280factor=1.667zXZִF! J]ŗXf1-q恈͐7ӺV7V?A.k%z mo\Ցs=eKƔD)Y ۴:x5#'s#Qgv$˚Ȏ#eÒ'u0?c pY6^J# 13LKIs*807 thqm:`bkhҽ&S& +;[d;1Ԩ]r}wbuhB0F~&XA@]76~I(Fal5,!pĭ1kߖj}lw~>=䕺 r {iI,mNc+ʄ\sO|e}gJO ӇG!v]Byȁ}AFpÕ%,\~HqW<߃$3ubOs=p丼mm: e^jOzT'o) Iʵ2yild&HtOp붰L7HQHK09ǖTج3~h֠{O~i0K:=zbM2þs GY/o E仆 =X:Ltq<%Y˻A=p`pI#jh=P~*Zb[J_vM3{:+}U) kCI#ycn /D}e%\@qXަM %7iT􈽍]ݷC_ٻn`6F ͣB+J-ҙڦz QZaKo8n e+hP.AAʔ!k͞1Կ}vjҼ=$n-z>߶>` eS^­U2."'0;#3Ʀ-TSm< eddCeEɃ|:7#bd'oQz$y/S`|0^eeYaeTЬ{Yk 83 ;XhI6"1yOX‡.5m=OY߰ErNEAf~;jk`˷W"K1N|}G}CRP ,c&ɰJg+z&jN*q~PKMÌvFb'V,yEE2#:ҿu@PWj Ǎ>,tb`PI ,ͩBW9G\#܃ l)lF@g9q.*6cu[Ff닆RYh>C)v hޫ͢dW@^Fwl9vQphPx^9*TUqˮAl{"4gl۟2t:(oХ1hۅ,0s\i XD}9fɒXԁɮtz'l-0W\v iۜ(2 9c4 ,=Y YagAf# .k7&Ra X0.Cv2^EH[/D ~A {Cآ;?=_XV$wmuCr` ۥٯ뿷jR,]#haB~njK/&3f41y;S"qT9SDȣ%&N )>)lE9sq#|!wKUϰL &ʫM]lwGa6*ЯHeqZ]0[hZ<<3B<5u߁"IoYeǟ2y "AL b(BO Ԓzq'O잩SxvӤ'-Gw1 8GpWyE3Y7dqiiNd?~WWDܖ@H"cOךg DvHP2Mu\XQ sݥ|C&cUĠr21-Bל"?u/m::LB0 7bNYLe|Q>ix}fZLpxݨn}Q}NGnųZw&6_Ȝ,sNRK79K1>H5+%>K`S<{3Zpdt[i(ԃKrqtTY,#îWv V"%$9" ?$6*nؑJvN IV4CkBs$3[ujYsXwJBttPR6޸{]!1km*~+:߽ wUv#=<+McQzvt>dnFR\oi4zbv q T njhzzb(g}_9(9ݐ%q43 ="Ae^7lxI()Q^fxPL >S_FB9|AcǶ7eùH|ɳ*ƕ-6W,nSEQ[&;$<ٟ%^aNqt-yX0uS=Qk [:d_P1K qAQ(8`:תXY]y-+}bY KM O+*Ww99a{1}C F-ekp3膄04bMHa#\j0J[ @c讯\#*R,Gړ `6 ѡ!#;NrGm[`ű"ҞՖCu)lS ]ww ˸E߅@C*G.,,Цež\!IWla1i߷~\B*?'V 't| =BbYM>ր 9vLջ8C`,|E2L{VB\~!h{MJդJX`I/*>NJ _U%I׎Ag@>gwس[;a oRMU`L=tbz W, .\ p[`l0J{WYhlXlk)Y2l/wvjKo|.&n;KsW,:jp*zjKe GxDq"h`<k"I:: AV,Ǎi`;ivHEO0B,39`6pzADj1 >XXѾ߰){@Z(E&YQ3` xQR䢴x@LJ\yH\9o,31 mQ9Y aR4dJ|iUq2^*,ML6̰ #=S}R_tݍ MT,uD~\JfhL>e?H@4!35]BQ0.MV i~{@@+wE:tb r7PTȮWeEACg,ە("UJ%u<4aQLL gƉ]X4ad[|eҿ.36B uw)H8f&LJuDc,|2p%mF˸{k(_k.ڌ#ҖB.<3D[o6caS(ߘsV| RUKBLGf,S1),齁5;|].s :X(؋_4;A3rzeiJ>M6Bl\ܗB|5,4$8q}*1pܰ2{9iCtS4q$A͍( _V#G 3Rj!Z H@Qƛ3c( mK@Ogo+$S_ENYai,~qC388 N򕀂nHEyK0aIzjcXC (C3b>Ӛ _ 3N},ٸ@ $F9{q^Dϲ݅u<Ƙjy]?µ7=(sTr(:oW/7+ KPJ)hnٷ H Y~C4FG 3g=?^_@u-b2k-eToB-7hmrKr}XQBto7]e7O;rcXDӦn9w2񀽍|GQE ALk`NԨuD>ʻk`GGsO&De*(P O%w&adCafԺ5;[p2TI)c11B,/,SM]Br|ZQLPe [OgiB#mEҖO4WĔݩ~,u4e5ViJ}N>%Env빭Kh9> vkvd0,i/x/XꮾoLIA]BRzu T-[F ^x'ɦ;Ok* x>\YɼAI I#1p#XuvKNVe6oLƛ,1 /deʯ`jJfG]CvEcF'gYYedn|#XPC.lP7c Ȏ=M*MFTca Ͱayt6H q;s(as-l?m nZD9:>׸\G/.ʂ {H2v~ȡI+;8eք ܄ vBi,ufh16s\Vu*?Ph8r4N%wQ_E:3SvOCgvz8S$&nJǝ4cIw[_'' @#jJuz\m=4X硹]n Y5S7*B]eVXd鏞1i.50Ib], e-֠3c6~+]HE46ldll_ 'Ϯ5DRȩ YBn!F۟k][=[=T:GT?Q\X|-R!Wܧ ob' KJNsqDaiWF-IOJ Y>vZ  ێ@4pɗ6K(-h'o}gw pCkW LCΗns孴ij,Q K !HQbڨ57\c⡩AlY'R\STLw^ZnB4c[PEU6|V<}[o j\Z_@Pkw&jwU4Jh:m|o~)ŠUWBʭw"H |?_ކ>p&.C,6Ps'n]_'>;e 6dz6̛YyBm*%6Lڗ '͹AQWFa e雭!;P17wy g2r~bPke{DB~A}VI  C-%߆^ޙY5\b̖H~u p&/oڝmE"7 '8{Z=K먻_c̟nP4Sddd/U- nхGtV@&O>U'>5~kmbwRF  ajXi/6tO=2xNS4kMӣчeiR `^WO\=8 xP LN#!Dfk#˺=V5>xE} -*JFMv.ُAQVWeǶ~%୙Pbmd]0B.]لZ[JBڀ!]X.J22GXmIԧٴSV_u_A E]"cż4j&ƭYnpZ7)I< б1iu'dH aw0qO ~NֳD7d9pPB5["xLT+ cYI`U yٳWmD3/ݙA1sW4 l3]^@"JFVKD;Y|xK -CPa} 7XlE}D14zOJc{[i]uSSNIѸPN kF|x+!X곌 dM1})4[`!@& s<:r|?P/"L( (q1:ٷ M]o%i$Ȍ-ZF%5+\-d ި 5ȍ4C$*nfdGw*> YQA':@A?qpޓ#3UsO;RZ2Jb]#e[}`0k'@fjȺJM7ʅ\|.>8KqQ epȏ/r__it >?Z}O%u`/|&Wʬ45n~:Oϡ ]d 5$7,QtVxtK'!T0]vBJcˌbѤ [R'~؟RڵLaϴu~dը8ݕ{-zܜ?O<0'%=H#uT pv s͠޳)Gi$m e-oz={F RTÔRіSK&dt7(6+r.G1Wk2b)zz{0ApPn8Fiabϡ 6l@uA[ESY慘rZyI Vn6"𘟬w'SZbꞝ7#lcMm-b_n_jEIg `TLǁ[qV_yN-z;' BS}AZ>vQ٩B bP |#b%(0GO?ed'3.}rzWE:q}edhyzC!$pf($NU1CƄ4(}OgAi/區] rLxl@ CKY%[ )^K07% rKBߖ%p':i2TR$0ΨL}ާTyIA۪]*}7GQfd Tjh6;o^^r0ß2T#mÄ ό|؜ג/=`IK">tT$&# bVdAJiISnq;3p88 1{/@3|dlCk:3tOvtA.޽m&ѐy, ǥ㚑&3sWD.! LY",?p#3NS9UFE^;'ʸ:}?*ڰnXS >*ؿaW}*눭O M\&Nj?*(zy^~I *d)M,k^ %C8V6 (S{Ig/`@+5+L$ D\һqZfe9|lD1#~3Wz]jϕGe[b~h8?v0KV{JڼE'9뛥Vu[ Ց.kڪyMYN8 ÆN6p&F BMxloDcIJKP,U;o+夫yA)i9gŐ-^wscTO]^ra|7 T9\t= 5795zS"Kصz/k!`yFE?FZj7e[@L.7<+: *YjC t'RԻ6-tMwd1Ut!/5L㯓dP~9&zlB9KSõ T_5`V4>v H*:O. Qlb{@DUGS :u1qӲ?W[634Q=QEn:h7*&4#>4AwgRÅ !szqKQe:z!2Xΰ|ΆBkuxtƂP_ԓl<`$?ÄJ5 '7gq G`1 cо:)0Ԫ8ґY4 %!w\I] ldsR LbʆO>/ #9 1Kr B%SQh{It晣]PcEN%QQo}(UYrHVKm4sR1sd7SFǹ/-fOyi#SoJKw넼Gd/^yS؎ T5a(nY U01I=WEG?cLSw9U5.l{p9o5LK^7Hs8[FZ]6c|n`x}W̪NO˟a׵Y"XFSm gn8E(Ń߁ZtH}PV jrq֮rc X X?B-#l3skA-t="R8Y$|a%Kae~]R O@A?r@2aiģ@w;1FbXm{MMyg%( R!4fݵ6M^eFM" 0UH5>iřeBWE..=@*j`4]w@E뼣I kB?Y<2 JlJJ!UV@1Pln=k=7tH)hP Pfj1jDbvU0R̓ݒMO5,]+ ;$\peJ5UOp cDzhS9pEL֢ Ҫ+%$NVCrp1q0B"1@(,[P7؂8YO#i|6n٣hG\ i%J %`фDl8=J\ s9]-YybNVM*(!U`nk &c'2WfQ<:[U*G5SQ%M^fi:B{8L+nFxUWq/ԸD۠] j_=M2c .ڪPzuvM9\qXʅ.6baVR#`olZ^W1W@n:tE m, coUYp j rsXǕykr <+F)mE%! _2 fi6̰6om=pF_؍ UޜZ3]G]00 W\pC x!fp^`^)06w;԰C|SVmjZ!kv>m)0שq:\o?1c'{_6\ψ 2UBv*zXz F9zN!͆{MhrᴮN7-?`M:%k͔0UWݓU-ztyvJeK[ !u73 W>`l&zp&EuDۤ;G! nk^TufUw8E)G4,IJ"0FnvwV?ÿs6ڠzhTdKsnMnL"eK 8F~Ve|z?]䆸:-1G6Ix -><ۅ;1Gh{7w$s8v)&oDӻ4. π*aCRy".]F|6?4Q.EKf) X=LUͰܖgB\K:K7ğIT!FF)FP7x3e#V'.Mny85ֹ&u5<zӶ2lߓbiS']u/sLyJ ?JH2KYdYjߡ yUߵ&pYNsա(KBȈ_g}!tf͵1+_L@+;™#a g(OޓY&hUPli\@y2`a Ȑ 6h(DKtnf<灬I@lo 7hr:2rd .Me.Hzۼ[v,t# ]ihƪP*}t-6]Bk'UdEAjc4S=uS}ԻEњ(2ΠO^%8!krw luJ9rke2 ;h5JS<Fʸ#1 zZ`E L/$y?Kav^VKUApX8Ze1 M1 ;ǛC0v/}_]gQVjd[;U(/Wv oH9|Wok̏a݁2dao"CC{W~)565mi3N/`뗫_W\Jxv8=hӨ#q>qJ%p܆Wrd"^i*zqlfpI;ʋ$cwcLA‹-!Y"?V_E8 v3p$yn`onj]K,'hd^T6}Cm7} % RxGX)DUYS.+X^sKo#XVJcQi9}ЄvU ϳpm-: nTZS$<ٖF3mQW4)du|q{>=!Rv^ Da&,gLFFShwƙknG}]sg:&/xn;$\vzh1]h>dBkNz2y&]WHJIK܊\Dn(~n{+[&H-oyWX|fP!M9jq|`-c;%%}u!i~хSyΫ[{Wq_2gU΢\ WC tBDۿAc0{0,ox468p9XueÀ:Ak@x hi$:4?C,5%PL:mˍpl$,o  hC70) } (qf }MKA-CP^魌Wp^gRMnj[\߆OtV'EHOmxGKR i|LMS %2*'g lJF{~̇5R9wA9FްP46+R xTNQi҃rHi.7I GxځZԑWk7MS˭&kt7 !+\HSyRwJ2i-[[/Amvƾ1}c~Ů.v^\@(˂Ƹ\D`Nn-rdQNUg2r^Y1cr5=Qx 12POVȦd&YNXw:19AW#|GC񌋺kԀoz,>"/M{voX0D݀4-s)̻5X!ubzn{z%؋kP DnG(젏@noԏs]'7.?-?LYy&WsQd+9:Q[?iچh G'bI<a#Am}Fh"$Bp~e!"Ca+ t' p͟?9u D_P|~m5~`M'p+*xs4̑>U=&0d{]/ Q*dno8,8uvgG$-OtMn^$.xVBՍ2T3wx|EW}  t\Чr|ꁠy̆fT/ N#Cޠu$k~f砹Re}iu2vvA}B2nL2u26dƩ?o8 pJү~#ٗ# _9]YnHjܲ)*7SRn~/UJ-b AfR %Y miN%~fV'*8^@+ⲋ!X^A4k!{aI;18?<̝.%-U)@^*9Kݬ^,RDt2ZJچ1WÔIXS(@k,fD/@9>Fa.E5silgÀFS_;h4gON}ě|y|S\}۱2tVurIo;7qd#FHj\D+DV1YʼGXyjpjuL[[B)Rwlx]b7*~ V 8s^?%a,u6%°ąmqUY٪ҍhw >WBeoCN?"$y01teD )VEe  m}Ķ@4:&rW~ص)'Vn(eeupį%VuP[C+?x |IJzGWkRrDᙛ 45IZi4@^YT12q zvg.f]{f<)^x`/"% Nlؕ7EXE祶}VC΃1SXG&Fxh̦-CIlFhK}2&d$/\BDmM(r LL ÈK၆P> 9?!J @YN*EOk-wEri|X 9V*9i&O'CyRZާˆ ^ 1"Sxm =y ~S_v!{APAUQ񹓓Vq3fnFYR=e&8,Q߁:7Z3iyh#0V쎉bu 1ˇ„v,BibND!4+^k^jS~FK[@F5C6v͎9ۅ!f\oLrz]\ǒ`iR\ԓ1ƍ Ӌ>uj˳F2 7!VSP91iR$9(b^ Iz?WU'^8KrψqڟAbJ?aH= QAYt#·gb6rrD!HXi7k.s9YLqz':_ܓ.07*1 E|I-w}hMWIRZ;"o<(=,8`ʫ awV|$Oi'd UBV42AbZ/&`a.@#_U~ [בύc-E=b_I5l;5":@*hDiE}~jOC,-aD:!t;\Rq&gYZ7zXZִF! e]ŗXi%:* X6$]/ؚf R5>5SwjշRnRYv A1>#&iqlu*-9A kԵsE=eNe>#DT 74lWΎ z2lE܁|UM_@ԨڠӨXi?D'waq&!vș|k{m) *;Eavζ Ч?dt1YL)%HmjbOt}_M^|+kVgX) ˪T1A÷Ry6H3<hbeXnރU/$&Zl$(@0|X4 R<}bf;[{*жgXi)!;y'͂nG!ugu[媰Mg)cnL#ag~n8jBF7ߛjgoiҒQaf4;o8vL@d7*,?_m|vi>YLӕkGp|)i8 IS"e܂2BY(o@7<2]qVB>\Y?=o]P3%,~|m-l˫:!qDޒP#J<cU:]S : 4IɿV熍H@=H3QgN%ԅG,1L l u&kע[4XG-~apJGeBפU-Ұ4U |#KF_Ոȹ7͛t7;WAG5T>3ZJ]Ttb]#8B6g_=w"R{D,gw@繩n[V+o0`$ GyFCN/9-lf3S?Cmw +8JZq0q0=]&V&}L5.ך]_Y4.""AHk I׀7[J6R-@Ha 69'z ]s1ՒRN|3mGt"pg= +e@iI4ު9k뎠dyq.TH ,ș]+8tןVم} П&b uQvKZ(ޫK)>d*=0?D{lMjtŮRֺ+New'l+*I`Ij|W>0-B f//9g٘㬷7Cl*A1mb0΍A1l)Zkםu Q֣ ]҉ cfCMG4Jp)ME (w|gvF%ӡF\8p!eʗXHg2wQ/+.崠SY3LQ/!=wxҫ?1VJ#5Uf SZ.Q넚gO㚦ažjVX۠lIm:q: 0:3MB.BgL¿_,+08o]",wӿ &Gw7XAs"eLnote( sFAIv^YҙynԠ`ROu]fhQ:Dhu+ .SXAmRQxFvz{T-7Fym6@ ?)6C_\J IL!țP:mсQv*oV*W!rg*j) c犿;;<3, )Y^p/#\1V*K};h e%nJI"&BOl8C;+$c(1>1Ÿ/Rm=goeydN 1H9fDXA`Vw۳XjFy#)E |;\xlّ׉<}z`G(o\D/=k0$,ÓNj:N|kxp?jq赯Qf8#./֌oʐ:P57, aӐyF >!A3,Hi~-ӫaڋn(Mb@fTS|ۑpYzq.!摺C- {<5?{ ҉BgbVAQ ҏ0YYo:%Z|N4KS S@mD_>4[,"WK\q.+(Z0ԨܠߴQ:<.C-R͵<"v_$K}H79ޮ^)Q7gcmUN-Va{.RHl8>t>;*dy?qC'߼Uœ)YFen'gW>\.hX :PsD&|#DZ")PU2:͑MAr@PSTaa(@1kVI;ݳQ< J" H!HxwRڅ q gau-q[vNl j#=b.]9b||BJ^Tgb3T3 -֐BG$K@NW[ Zv/3V*wsEWt/4Co$-d 4~#6'| ];N!j cu E<{V(=xd"iɸT^xh5Hk~. uػpG`q_YqG$SF|>ӵM*&2"{Qdߌ1)`kknX/G]в8]k) ͖ I5´7N x6̮\Z& pJ0s9AUYPH;B/ԖZY"7}ط/4gXK8k r"_9AI 8b R_f%lkfhpq& 3'.61ҩr 0'9?5 ;$"40"7L=6.68Tf8@xP(X]@:#/V'rQLQgb RxS*fN5*bǞ @ 0YܜIq$EIK+ v+-'13u_rp[>M8U%R?9(.Fvs}XUWJ?܊,u?pεbtTLX 3 o2 cO1<]C-&WQJE_Ziz>.6Qp\B{Ӎ+Fz;da± 4$0,S-־-9>ZE** KL8lk(GGxMT"HgXYђmwT #YLh#bE2CnznBi&5BJYt0ooy:! xd%t (V3} m¢ta{oVO3LH8?JI Tqbt)’=i2\NZR5d)Vi~B5J S|Av熵RNF|-hNb?D,VV fpߨ[]y e&8:>c 6}q):ҧ+څD!)e#qD~v]˼#r1װ3n#_kAƀ>\ɚv?8 ΰ۬YObHI4O }3q.֪p@_2}84Lw"F-J)p-.RJ-O6~O$RVUfuQ $,o^ &bȰ\>/׈#@ѧ^S{9YE_ Q@A,7o:Vs[sN@[m&£Lܣ}2m#8O*YeRtTa`mf\/{iӽ W)cg* EJz&740)(;QvSNcq>`#{O,ɾ>'8 d,w'{B*R"KEŦǻf;-TH}. p<PbJM"&rwħ't#s&gLš)&7zPh, 'jt[?.X`Bb,],CJns K`*IP HV m8T26l>$]CȒ27|d!E,Եd| i!;^,zq_X"0ڲ6ƪ%N@eBq sp טPj-=eI8?,"bg~-3gPᢝ QHfЂȦStfaJAc骆[=;O,"&ghoZ4*hrtOӒq)o 2Yp+E+0só'E&d|-Hxs㗓pw \ 9hމ&6x$ GRZȭkO@dg) zz ٳIYc)uM~dis5aN3\ s?>=VR'c Q̈9x(/uxL~jbF'z=`1dy[OQsCÿӠ1@feKZe zz J Z$оRvg.mTGn :,ǦHvdu 찯^"1FܟK"8iԝy9$ȢD8r-a{G8O'r'2?VANۈPcd$G9 ҧL\{K9Ń>TVTKmPjjt;TC&ƃЈ1vMzDi6A$ud]x]ʐ'?Ą!d*)o]A QI.ګk!3Q􃶸XBbTjXRk1*tH5/l]-e53$x(}vcR@f UKh?+Xp޺w+9yֺFB =gob'6`?ERVs›9{<9a" X`FQ&%!09 j DHk7QNΠj!%f04E7* CkQʨeogѣ38Kq3?1!VG\QZfxaopT8? }C/JF*H- &wD ODL$G'Ē8DF$oDt 'kɭ mVյr$'p^ K%k>wZvB2VJD7[P"8Adi6 C.uwmT~.SOϽɡ4A# [_>ˉ`p. [dL9&N m{RpĒBpEG%@ @Ok>gBQ-~Hyclg]Hަmdg8nj]<%s*]_D\f>:~YVqs iၭhR"^A$:*H !]3okH`@EHB_a/%GRp @#7TYPAcaK py6V؂i?Rܢkԙt{XǓZSWWz&eh{{"tJը\4A@ǭꊆN~3 W_(3 t⭝]}oU8A4)#Qb(M۵3 [T;`U"X4#3@ V 3u8M(;6VbPkNH*+Ñ\gO@A>Hr PuרgL.*J\DZ)1ޏGD /(檈ħe ɤ- Ic[ͧ%[hB+"ԣ`r|/f"*6kk8kSM< M,IJq#.XHP9UJ+-uFI*݀UN@w:~om,n?qOXY?d3 3gYZ039436d83b94a779987d8110703ac5f883c6cd91 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 1bc701f8eb6474e542db12a6b783a92904024b2b 1cdff37cf2d478facb17fb736716b3d450d43abc 30bd00c4dfab265592490855474007330672fdee 34221437a109a5594ba7786476b5abb5979a2647 3659b7a4fe489366077dfa8f4ab9908810ee4a97 3fa4c78695f5ad07b3754417de59e5a4e3e599b7 3fe5941934893b5422165e490a489238302826c5 410cf6bbdbd3e28734e4685f3bf98753f2dd47c9 4c3bd3ec312f2639bf81890b310ae1a1c8d4465d 5117119a178eac69d137fb85243808da2d667eaf 5493343e69c4fc021245bc18896edecadb72eda1 59175f18e78499dff3b7b64aa01a674cae450f69 59b87da10037e0412d58ed835a05c9ffc41966d9 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 5e372afcf46efb991af5a24dad418f3f0f5eb17a 5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd 5ff7d1872bf03e406142b36cd863456b735ffb12 66f16d27141517a2ac9c7660fad826f8abd4ca4c 82fce86746f9061205d625fb926c1da3b71e3bc1 852c4b663a8d439dbafab771fff6222b134f0cbe 8983b274ca224430b729c36804a982dba8c23ce7 9550c308fff1761ae1dce802d78863848d4f4e03 96065b30c9db112cf55bcbe78af20aeee6033380 994e906601e17310bff00be21ae5e216ebc52992 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 9a0072a1425a696b410e7451be373d0e5e4eff55 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9cb938b39c0904406835daa9a4f0ed23e561c91d ae2c90942ac4212b420753195e92f8ec0ebd77f7 af53a388343863b12d4453c5724c10943d377c74 b72efcbc458877a01b71fabd13f3dc31f78263e1 badaac75e7f3ea5c9b92cf5379dca31ec7ba953f be00e13b4e6e1b0ed783a26bba3f25101fff5cce bed978ff050bca970c7b2a419d5185521e02eb84 c16611f93e097744a02b24c20c06e2f3b50797c1 c1eba017fe968575a9e06550f05fb9dca3265d9a c22fb4b31d44c45d701e425bddb33bc2abebc0b1 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d590558ac27bd56791168a8179e1e46d592628cd d73cedb3f05cd69a6932fdaed1f41ead36fb3559 d7d6ac5a68cd81a8e80b54128cf50638a91014f2 ddeafb789ceecf6113f05c3fd39d4483efff0627 e16dd81c25115952353dc50e98ef8842c8109688 e464064f8b1f94fd133bc9b04d05f6eb68bc9035 e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ea07fbeffcb1368ab04358e4a6792a15022e958f ea2803e6ad062cad8ab0bf6f40be7356c48a14ad ebba50ef35a443398877b3d60406ca6ec02f1a1b f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 faac6db9c2cb4f15cdc90b541335d0c65aa6ffb8878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457