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 BBJ#L / Parity_Game:threads=2elapsed=119.794cpu=197.536gc=9.696factor=1.657zXZִF! I]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I$ vYLAiFŞ>>,䐺 dGfMǫX4kOh kL,*m @(+cʔ|g4g\.7'f?u,ݶJP)Q!yDdrv|ŒDܽQ # Parity_GameUɐhb`"61+P+LM{%˓"%e 4plYF]N^Wy' Csm=LB19{>P;oDar vU |E$ P1;ئw :5*4lÞpي[9 JH!rw@,-as1b >݁lruoLs`&kbK߉bǶaڛu捱:#Nqd L{جA0*[O*PH:+uMA@JVLvPc;bty{6Oڢ BBz2j>EVmu#/~AKD+:-F#O-iE'G?mj3/:V9_īKoJ$!t/OQ'4nBa1rҾ ts4߈.'qI?]Gp@+1ej]\Vmz;%)s-4/;XDSb3 oF-..%Z*4VJra*N7N1SVM/y5|唷;7̕Y'Oc5I9`\MrB r|fat_\C YV(9ԇuuÓڕV8,U1٠Z{Y R EE0&CawTA/;/3o?KJ& 4 N~bC(P5p MQi_?Z/D>ElJ7~,c9R+(@~f %L[4ՠWXiM?3Nv{Ftgw;~)),DAFWd?H @-0aXB>Ni4:0E|}pZH;$J_7P$8դ5$偛 1 &tq)f}-Zkk:<=̏yL33{ᝪW>* ;y2=#´eD}FG{FDxпrN~ ? 7CxT;9bR Lj8|XB@ &1&P7:+^"hZ+~H?F t8ZC_χWw W0 m #eVϢH‚N$f)2N:k2h:ͩ򥮶LˡD-l;>zRyuILH`1_ȖLourDd$fw0nS0+RzMc۹'N0-Okzuc%ty"Yq 3sfz:cٚ~oc+ `T.2A(TQak_Ǐds++: 󑮪Ɔg! *KfxUtzh7Up9BUSTW'8?0\lYtz7ht1\?|uGPB[NS_JfO Y24P|aؠΆ s0P3;wr) U"~U#BELꌮ`ap[3*C`˰3Co^#7՚*j/y/0[u"!$.K"ሁ@2MO¨DMejnt+n"QWRxSbjae+-0V63M v*,TQ~^fTqir'IZ+G4&Üp JHUf)Ev"cۿ/f<8.XIaC\Sg_<6S >гHYDXt\:&#?Q&mꧮ6h-eT3"u h? v~ JЕo3 $ q V}P#+#[II ٰ[0f{Z6#_FhﳃGg@*ʉ"O<WkM1%rz2ݼ1N) 5<1 CyŖ>g<>6Zwb)d=2ޒ5jyVc7}'$RJϻeb_d<?YBk<>z}n$V*H.rB(6$?jNh^B]jFP^RΤO?[Yރ%8.!f巨û{724qbRl$}6kbM`EIDSFMjz}F?n}#z*a0~p+%-IY.QX%_W{I,y 2屳PMB2Ȯ(G0:aXBJ%ӵ]ރ㒉br7[u͙{.<ЩGݜV98ؒHW4<&weD%K']̐̚5VlϘ>6S  .pGf0:{DZf;fe)K{WPƈNF1غ2HX؇6 QzYF:'Lٶ!qɣco[(,0]_{`C2aK쎣a0hD#zGTI} þ/I§D&J;CȺzvEjƱA4chr>2VP崰^SX+, ~%G!Gغ*6ƬvhuP6#u^VR+ bCɧD'i^ELP@WGNkZmY.^  w{>m,-^iCI$ ( ʩ~twzs<6z"筳mt\g @J@9T ـ^g伈)ak=nˍ;_IrrߵaW@ a`w_9T31̿1RP1@vN){f2ٓ\?N|X}l rQȼ/\*CYpXP7^BVѸs06PMR=Y)~am[rs3RV[s;-ł~ Mg^9) znדnIGAA[C XkS9.6埑) ;;k#G7֧=D ZL .T%1B )[hU %:4ӳD(t)4C"6f*R5hPV)NvowLvy2q&c6dCǮ9R&t9?ay &ZooK#yXx㰙U|7^QE~E%ҾM%lxjv MJˆ}$iS|ATW86]c +ONerA ĬRla/q=[ϢSQ}ן35!H:"jyXSRyj`~l& Q h$.gG!Ld/nAHa.E!; "di {_ZVR7& _!T2$J%q  E-o i!vwHONJ$:*h4MNHt`3Zf>.Br ?O?]I>kk&'[4k+g@[d~{75=ƛaݫԆU7P&7!q. L)Rq)Ջ‹F-Oٱoc_*8Sq 'iO"S&bߥf8N~χS2;Eᕺ9  ی *}gهC s}l%_(| (P+%m2)43wW0XD/RJ&}Y2L1vBLV_J%[1yUuU؋t5~'պZ\KاhcY;~ժ{ orKΑP. =v wSy5Q=B{6ΘZp4*p4m]yvOG%1Ϭ5NY[DYz_ ɅO 㳭}ҝLygA: @-H 5~n'QnCgwn t,bD' }.8Nj'iݳ 4Ymi6Rf͎Vg|A8} s,O̩󍆠o+ zWn_ W!-*Ae4'"t(/7Js'$^"/G Ix1"-Pv {L%k(o[T?d2_|~+.DE1@*O.{^.'夌ŃTj&8j %HB4t`2vô*cL4 GOÚWk]'zii$/ꑐ pXwSJK㌺'YQIx=ɊS?IEK[E)ko\:qD3/jC 8i0=*x/upg2|Z }xm vd]8b0*_̞rC_kx7 kx༌'C !j!pXӃ׭Lbt2+@XZ[dfsJnZݶE@UFYG7S(3,x?>ZOl.%}cb. n`~af~M_5*9%mK2ݘ>r;5j[A+gsﶱLFP޲7I`;jdmRd>/G3  ᄋ ! 60@O闉jN Q'0qƇ_]#2S IC E##](Eh21bHOCỪ"kPrQmLHUh.Zknv>M[j+dWɵÁѯ0+ S* RmGNx9M}T3FA/QAqDU7H 2bWIw]Kv<FP1f.Zn""qCExQ{0.)[^2Xt% "D#]PٱgGU,ojɤZY5"<XdY2 y{ϷGb;n҃}Te h)pi,?7 2x5< ]LC!h.fvxX@3U#cGߪq2+xYHɫQ]zvrZ!L~:aefd!mJaCjyTnMկ_a%gݡfƴ˥Hi IGW<Y]>hUL(^×lV2(%=1[LP#EqdwhXE:eyeWdn֊4^o9ztO@l{H:HI2 ֋]l 61ELo yzm&N䐨;pki$Y.oa{sn B`"Cy"F& XX:>r\Վkh_3(U@=8\[QFwDX[ P%^C6?׏{}#hu>n =\[Sč,seh79DS=de1QTZ{4XmqBum16eM%}{ʪ Bӑ@qA*t8/[HnoU*TA5 0Mc-dGNwc>ؗge4L@53\oCWm& ߞPEzmAM胭? b(D(X y1#ETf^}#>Zsix0MܩfN霊™OY< Q^ d x=R;`Ci  em^BHpA>屰Tٖao4/n )^cwj`BVe~QYd0e|$p_3Śy<"з붌(mE0' , Ia3D{K{_RB%]?#C̊% @LJ0HȚk܈i:=+߾gp>ЇWzrCʮMQ K[68̛6^ WYܥK̀5rdj|Zeͬ|48\?@o^PDA:GG%ZD8.<kOCi×Vk̑oyFsC}CQ+eblW[N *gSVB]wapm. ˥`6BթX5ukhv/;8 ˪a#Yѩ&hbRե N% $pnGz;wwy.@*mDv:}/u0Jg(gPEpKprq=䛊)U#e)(Ȃh`,6hd8fri laJJw[^;]zxd~* Q}[rP_(l=vɱvW\ Ey kwuWS:hѐh鷂2uqぷj,:7Tihp29#y9`+sD_USJt:KCޜ$ƐĻJ˞SP@jBK_6aCJwLl(D_j[+mޟU=44'{;mW"=\-A7d w᬴9La :^ sxսSJ4t_ډD,|=IxfQna?kѶ>4lLQ7ЋBt$ȫMRYU$_)$A쐾Wsnh:CZ (؇-,mD#-%t,5rV+$x'1â'pJxȗ{E*[<[[K#Y:6f Ӆ"] tŪdF~rR+TF{syFӚ¼?Fcٵ|MJܖK͚b" u( |4ܠ"pUZz!9 c3W*G 0&Ö#7*Z 6}4]Nya^J-Uu@vԯaG8.&oY 6215Pf #%yٓ,𻍛ϫQTQLr.A`gU;)-O+]5T92ҤLIWh@`Uhřo+dt3BE'|XfU̘M[ d/e`n$}~O/ʟbGA>NwUo_m4'C*qMTHN&8QNzjg4UOWam ]y%בּV$QO͝mC%=SMc|Oq+OXU|7 50UTX)58\wg-1p0$&?qP4!߆^lO-fW>)'_ J<1o8/4>@8cajK*!g4? 8_6*C(UVQѯ>,qZ=B,\ ;GzS=ǩ#]%97W3\-M~l}T@ +Ga?`~ҿS) Qa!D{.0po?b_/R CJaJL5/$ gO7ѕn t_sX\w$d:_Y+ߥJsE'ti6yN^M"N;Zq$Sng!ӒlG,lbpٶQOdţh u񨴔 }I <Ѧ|73oߴEDF1:,(+K.鍠#8bJ&,jfv\1˲~+hq§|+8_"u[tEC1@l8XL A,w4upsmOA;&og0bjf>0>䑧F{M].ۉ0qL\ Kv@{>>T#a^.0ٗv^6,FUS4>D}`\:QFyY(HFp|U8?RgJ_jN؆6+ [_gn]<_{޺n6=v3*CPOme3fgΘ}P 5UQ2 7}L).uY==H90%2yrꃽSN5P򰱠o~Np6{*:B-r2̮ױo@S53ci<dzBֳv酐ٳc0=~b DvwOt$`sA@n/a/9)A|r&PDp ~TP%aq\; .P JTqʐs3 %`Ci%ުzm%0: ԠR|@aYrnd4I 6_7'x$dr̍mGثҩ .x͡GsxO3R&g 4.(?ݒz2A˺TAhW3x'(E:!pw| @0@{diLtεꤟŃ D_bdMۣr$ߟ0"32t9?ALKA56f}?H~,y92\P'M"28C(FXB p#lHNK [HN0@0T#9ي^nU&cbURGh ^Z͇mѸrPc,73/Zr*YXUོ_EGNrD}m"*b8"] !B7Ã?g(C.s , S ')Yc1ukPYb9T7QwLY6|wyؕ%X@/KtUQŝ`^ߚ`Ӥ :dԜuYt-ז\%}A)6{ n;TBcɰW@1] 5-ʋe+F d9d ),ʟ[jջ5`ޔAON/tZ0<* Ƌ?XC@"[V$sq,@LEɼla"6)yA%| sz?uK.Tx 4֖yX^迳!\M&,"/n$ VLǯFlnn^~XeZP'X+i}0p:q>g v- [aKYN=AM%k N!j(98wWeǂޛϻ6RtUN~XYPh؍C^8N y#+fn%y.桩Dˌ+ {x.""|FR/`=c`xkcywpgD2ϛv6;j]?~.v>+G ;VT^JhN}9%J>vkTM1Bjr+P¯'1)r~G.:P?}K|6b2r 'Lx`L(xw%faDXMYɱY>u.'&i'.!t lS[>a <m'gȺѢF`Ϝ1\ih?<2*kHLPK97@:FU<\,HCx[Jl[]{fgGXyZmd] kY=}>o cרִaDmӃ7[pݔt PLu}6,qBKtO%1um;,H#Ynk'꿸>D)]gwi[ 1m!LתG2Sp[Kn$5lhG:, 2|1t$->2rX؊Ahñ <6)~c#w DE$Hf<*;XهpmFv) SL[{XҼt:?wC=-˕]%*OGbB38ރ[m_UryUN%ivP`I\AwϜKiŜJ߷ZBdq?H<-pе8yZDacϲϭ* x|6Bی ء|߂B#2F*˞ķ':yɬfR% pg8l-SH'agF!O\^=RP~%K%1p9fիJVB ޷(?0 9J6\y탱SeXW< , T>q_9-B~@ [xs|&D`ǟ,n0:K1e:]R.:λByAv ,++{%2ƶFxH֪8X[wRTvOHm+-)- .MxP06^؁- ЉfÃF~#S4K@|5,Vs^Ki*+J&dW^Pvʐ(%m0X&(#K>rN,1D2G My;5בL,v8@{wJ;Ha\dVLRI! rҾ S!RsE`11^^1ZW"qC d 9o92}k&S73-B,XaU 8`x>?ތ@lR+4ײP_סO P)%F~J,5HU1;пLj|z&'_$V^ڵåt%;<  (dRY;0ْ'tBUyn2=X Eo..of263EQDu(#n\y/Ɋ-ߤE_V 1`@|j< dĸF96wPcg͑_K.H"Ù\P€]%+t 0kO0EGzs==guLT )w u ް6Cњ_wx=hJw50TʹY{pA֙vJ1bw_-uq#u<+ w5K,26M E óޯClVڈ{S>34W_d!>歗!h<]ֆayKsl{ wyXkj| M3M > UhoEV.;pMZsŜGO@Ev#;@VzA-UះcǛЗ^poroD=0(鱺[lu8nk]j$›. BXo04ke@CMw%{ @SQF4y{KdUp;qfmZ~{&CnCNS~JVkf&!Zc{O.D~a*w=.Pp?P .y,>z;qc 6{{h!gDTĘݖ`/G!L|P0Sa:T+F'hD/*)TZg5Ὕє;肒´icv[lk"Hܞ+};}`\?yIyN+Z ~qj7;s< vָbOt53oו_חa(G묫/R>2~Ta$bv}Ѕ 8Nﵥxepӑ1Ɵm@"! 1M%z#P>gG+yS+0&M 7mU!*uxNNܒap \"Q Rk? ?@xUY6ϜBex?TzE}5j&z&3"-LSzq݅EMO,eP?c엹YOcx"PHhh]oaCO'Jbճ٦qiJ: vxB9^{9b+LZN~߂x~h絻 zJ,myT״EVr IO4Ew~sqKp~h~ts]&'|P. ʪǺ N^MYkBb4!X}3''l?i[67I[ƈ?[9o3."cw(A I 9ix/LоeAחWIf!mp M׮X%0~u} xa勉*d CgӁ'j3qRr͓J v8h,TR3rg䔰cUU9#B Oi{f}SL%Nx22np")F&),'cpbך6֚99k@۝.]WO]kF9M;2>iۑ/}H%f+mFKd!dhA? MYmYqn" c|צ~@Hḱ o*6/mELFQsW_^~̕{B Nz.LDR"lj(L'`Ц͕*G2N(܁ [:?lsR?6xr7UnQAq 2]puʫj1vvuU+ S` Ѳg *JIȊ`7kIU$ HJ 8}$M7Z,ekm1;q黠?Rok,ְO@߸6mvvSQ5j/T |N, @s^Ulo@q^rgVTr ន1H; }ӓ_.2k Kʦs$$ÿOC}x+brJ8Rv: R2-UԿ6u^ PfX[:Tȧ/۲Pa,>(د(@G^>)B+֥(0m66:wTumC謩}>pG%TbYP*槱~-_#s RyIO4΀$z\V/fYX$0RIv`T$9,*x_Ǯ0y#D;y ƫx+tNXߊKRI̭`5혬~VT q㶑.JEE브IL?i2%v.dnUVR~m$pvdX&%z9h0ӱUϢb/ DU.D';A~Uy{v]te:kGPۮIǨcV eXlM?$fg] ε(є:Ao(a^^wֳ.bZ쳞9tip53EğeK-s0-gMݮe;I9EH~n2~ ^ t˴jU6 [زfKaby;A.h95FpPH3poDc#ޜ&YБ=7 ~SrզTVOyV>s:8Y0rQǷKztiJ v0tS54Atu' 5ɥҠg,,2}<)m0.WcAh+x n]zhX͖1ʚ¹^VP>w rY jk=.+bģ;ZBR&G.vɆ\.s]Rr]ޯ_ x1U%)A][Gf%Z7|Wh7b$[g3 ,=*U[h?Q 'g0 ({aj鷛yDJ3X5̴"1_~ݨۂ/ a/X!af |%γk$LUH%W?Sxai>[(NeҔkaxpEїYSP1P5}O}D|cŨMDM1|Vq" W\Dg;#Ϗ42Uste2›"N3dp!0Gj:c W?2o5,勯K)\]rMb?GG_Vz&zj|.y\'ws:xx[ gM3 گxu*o6|ÜLy*ea}6z'ɝaگm~ϴ/HT[DY!S\"U'Mg8H )̤͵NKK9wD^`ՏkDY[t.^Dul9;wh{)A,NY.qG۩]z[oj&}zaA\w`D^bx)0 = 0[F~% ^9jVW逧MbC5ā@_+Wʫ2d >,@h{6=b -iZjqoEWb7"*FC Rio]Pm*4d3jA¶nUq\: .ƻvLJ玉=1~9:Ґn0aI7&6¥.aNjJ,ziq/gGiTy4j߮+G1Ӎ?*(ţWQ-]D{֜5A^<&` ,[ƃOtpP;NCmIn8kiݰW#! Hcz,F'}p|~]BqCqmf A]{ (r XrB"9w4v:~ڻh$<H%mQ,= D,*8GuX An3C [&B³^|Gwgx /",-<~!LzrE;#*h" < P5*>wak 䄪mR.A%\8[4[L[l~dr¼mj!Hp%Ƿ8u72&B$& ^K-x.k8l:*9*_u養mΐ K.Q؊n:: tꝃD?7^iW^vĢ7wg5hc3^%C/4і~$i'qKT*Ux~2'0c 1lMVX_!yEqvÊ[Cb޳>H)lFQw:aV󂓺 a7cd) nmaD$_Kx][VnnF"t[1!=71>23ؤ,ZfQ$7' kRPE)H)<*OKNh>{~u , B#hQj x)Yńs+<@Rהfh,s(/YyN>K'ԍ 뼣T^'\Ɗ"vr%dTH7,ZRvY1k3oFH;'F|l#>>7֋ovth)U4IU(9K|AwI['c Wn@=ky=2=:E)m(1N,#P> Di":S[XLxk,ѯ 2;&U$>ovqs!El-:O 8`)EYRNl\Cx\SLH,zp5w3H.9p8vԥ;TYn&"D/fa ^Zq+b!֯k-F51DO*e.yulm/*)\snkRN!@ a&nE[rKD%in»9܈T,p|t|<Κi*iR~/-m: j7QvJn!.9G/-59Y-[J* lȪ_4 ҸBil0Y"Yz\%$X<40N]cwACmFW]IYh`amK{4t\#y/ #ACNqUk]sȜ.cGiAb 9ıWi}^sw^H戆j\~B^^XMYꨋ\{ y8!O@eeTK8lC тz0w!/L3Sze,X~{gT~fbk3qgqV<0R+9ZaR('%|*{DvLpc#Y3">\qͶ%ØVj\XY [K[{G vc" ج\[&L'&q`E ^1R簐70,%S;&2sr/i{{FGqD_P`Sv>q]MOC-C`MaDI;Ryf]P,\CŒx1䄆r`0@N2xq,걣&HD4O-H~u;{Ylrը*+?k<%L)Br蠘'hp ŤJ$/ no"ݲC *cIuyR M#.t[YȽʪTKiOVWG 8qF]%SyHLoUױD66T{jU!:;1ӻ,rWK Ɛ⳷6}0ؚLشlԷ<:F"\3(?>W2A;c5jc@!e:D~kq<$h.SCk4vMCkq>`5N&S҈dH70tg?:|2Ja͇.PsjCfoX\ل@39?ө`qKD1)i980Tި;jHٯt=шM뫁w5_.=<m^r|kl@U}?+E,sB(րxɐAszԢId=#xoc(a?LVvtܷ1:~._ϗ;_YsڨFҞ^7A"2x@1Y\($7%IK: @ss'&Pqg8,xjѣŢ:X.ք]̿x-׳@A4GTCe7m1lPʶY)[l(ƠYs r%Mo"?rU~u&2l\f ]'-@20twg~\ /N}hx;uڋȠ5/)lC^6קV;kkJ޳EwL6P}:l@m4`e2G41I!O׋bĈ/.a4۸w9"ےV~-LlgVZ)DϽ9Es")K5nz{cV75~]_7Q-Gcc]yUzy WpQdsfߜ',"_q?wTVX  OZ@t3WXEjks[ٜa# q=q8- 'Il4-0g˝y yg1Ē+)ߑh146>1q]ȫD^udݼ\Ǣ?)A y*^8E $uw Bn#UE/1%b!ԆXb_|Bah,3?,NE_E1 {m&5/S_eI.>Cj}i~']&Uq~I$9 ݡUTViF,IReȊq?bs徬iCDLcz+`F&?Uc.q^Nd@:`Ha<-K*/$हYW;j!q VkEAo9sr*+NuF9vA:ZA]Ǿi\< co~({aĕ5g @DjPG3(_p ąň„yt~U2!Iq 炎|ܶϓOi#~ܒ92CjP۹_dF4ګzNz9%SY$h&w\ڑ,KY /[U},URÄ_GWI) I8Y[B~FlQjKJX@59-SDAe%j5Ϸ<5؃wǑS.#Ż\042C/Y2|E#P&%X=(`sbw9fߺm&P _K?]q˔{U]" G'Փ= ܋VRl)>ezѤ-jwYBX y.2Uƙ9|61^Pv^5c_n_ y Q1gT9loə *; r n 5wtS۔_x)[MX2 I[Bji@Qގ(Ot͞c\@g7Z eIxH*6>$w;a&G?k賥4+ㇵn+u %qh:1lp3z#^p g3W7X=l5~@ Qi:?'6m簚k GVhq|(Ŭ,_j' >s6tmo'$>Rܑ=FPb,\ClR:z`r v AFI!оd‚q_Q۩Qd,x|37ݍt/ {2&Wޤ8y.Mh 9"ld=()5~rquA 恴 S87x/6ɱgYZ039436d83b94a779987d8110703ac5f883c6cd91 086196785721aa043fd2a06f078059b609bff5a8 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 0c9469e4651698f44e3e228873be074985fc67b7 0f83e9379368d232af1423c3a9685e6e1cf74f88 1cdff37cf2d478facb17fb736716b3d450d43abc 30bd00c4dfab265592490855474007330672fdee 34221437a109a5594ba7786476b5abb5979a2647 3659b7a4fe489366077dfa8f4ab9908810ee4a97 3fa4c78695f5ad07b3754417de59e5a4e3e599b7 3fe5941934893b5422165e490a489238302826c5 410cf6bbdbd3e28734e4685f3bf98753f2dd47c9 4c3bd3ec312f2639bf81890b310ae1a1c8d4465d 5117119a178eac69d137fb85243808da2d667eaf 59175f18e78499dff3b7b64aa01a674cae450f69 59b87da10037e0412d58ed835a05c9ffc41966d9 5e372afcf46efb991af5a24dad418f3f0f5eb17a 5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd 5ff7d1872bf03e406142b36cd863456b735ffb12 767b848e899bf51172cfcafea6b2fd397e8b0312 7bb2894bf6b2b1879e224f67e577c429b34466a5 82fce86746f9061205d625fb926c1da3b71e3bc1 852c4b663a8d439dbafab771fff6222b134f0cbe 9550c308fff1761ae1dce802d78863848d4f4e03 96065b30c9db112cf55bcbe78af20aeee6033380 97020981c6aabcd5f9a12344194388cc00a68b45 994e906601e17310bff00be21ae5e216ebc52992 9a0072a1425a696b410e7451be373d0e5e4eff55 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9cb938b39c0904406835daa9a4f0ed23e561c91d a6d881014016ac510413e96c94577bf126ea335f ae2c90942ac4212b420753195e92f8ec0ebd77f7 af53a388343863b12d4453c5724c10943d377c74 b72efcbc458877a01b71fabd13f3dc31f78263e1 badaac75e7f3ea5c9b92cf5379dca31ec7ba953f bed978ff050bca970c7b2a419d5185521e02eb84 c16611f93e097744a02b24c20c06e2f3b50797c1 c1eba017fe968575a9e06550f05fb9dca3265d9a c22fb4b31d44c45d701e425bddb33bc2abebc0b1 c9a7834754ca020e75afb9d98e309c88e75bfb0a ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d1328c07604a461489941b9953931bc22068fa52 d45edbe29739bfdd7554584b57083bd0684f7fe9 d73cedb3f05cd69a6932fdaed1f41ead36fb3559 d7d6ac5a68cd81a8e80b54128cf50638a91014f2 ddeafb789ceecf6113f05c3fd39d4483efff0627 e16dd81c25115952353dc50e98ef8842c8109688 e464064f8b1f94fd133bc9b04d05f6eb68bc9035 ea07fbeffcb1368ab04358e4a6792a15022e958f ebba50ef35a443398877b3d60406ca6ec02f1a1b f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 faac6db9c2cb4f15cdc90b541335d0c65aa6ffb880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4