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 *1 T e%]Jordan_Normal_Form:threads=2elapsed=333.344cpu=541.828gc=13.500factor=1.637zXZִF! V?~]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@Oc1yxJ]>lc jq*7Od-Њb#ly^7MLavd6I 1 ^~f5Eԓiz=Þ+BbcR]W^PM)g1l[MAE`D~#;2Jx˜%쁦3h ]QCaEv1YqůVpN-o$~Y vf2y%A"f vª~1=ކ2N6w5Y[3Cf 1XUj}qXgl32ӡ"b82A?6H$x8HAtr*!a/"{`hMu_cGFlixg,kc7SX,GH{!2N n=>$g|K0Aba /$7ϢP DT,`9l0ėヨogF3z-^~28 ߝBû,3W|шtTQ^hx"DfCk.Ceݣ+9Ckm0b!\oS1w*y]=PI,*PxE~/gMg.+aE=ct2!+!2f$+E_8ܙ ^b QU4±SM)42GOtg){FD}ߢU8 ;mi-~#achH#-[wQHp;U6K꫉ zV+>ΜXi&8F5``\f?;ݛ}(ލ<ֱO{GgJv6X4w ϕ\6[:1rA$(C=~62+]]U/R1 P,snK&8G hflnH1L&ե]\go%uM314)oW46q"R@߱vU]c0G0b^;ޱOW6U$/A)%ĥXX ^h!u3ycWfq3tx"qwMM(dhUGȻ`PHotP؄[˳9Cok[fL0 # f$kCcUDvX:RSZ9# hndW;}dcC$-V &3 4]SC+;O>O2`]2sXS8g7Q Upk2dVlED7~"pWhdG0F RV^Ɨm )Gձ7+YVϡ 2D0b8?L_>8yg뇶d0GŲr1nUH9 E2a;2^6Q:LɖAH5IHr"0q#jvoŒ ;-cJ-Uz3Xƹlۢ" "jvRpZض2l IDP|lܶdkƊj\v,kDLHK_ƭ b=!?5^|-=+6qW'aZ!kwYZ4Ur=3Vi:yoʁQ@)Nkϐ h_<ȓrz2fq#+LkI{lP:*o)R`%>>|Vd{|TvvW_חHETZĶBH50VS\u:wB?1;Sҡ|?@uBxzʍL?ӵ$ DX\'\eMi˸x0A+H.z%s\Y um2k,q̞@PϘxGJK@q0{(Mx* Yiڼ'c=_%5+Vd @T eU/M{GuPNߴ 3k뗶2{7 {ħK)lѥTs%fj pϗv: 2 ~Ɩ[; N(dUqNlR瑞΢y7E~/* I#/<9zZk3q-u Vb}83h{w쓣ؗ@ !cw!h>p#8kyU:K@TIk(́ rAu7WJQ5Q Gg2^}8We@d?0͵>$*DYú^vٚ( S :БDyf׏aBL6$KQeQ!*nv"_n6|sR9x6ޅִ q'3LܸvZɌÂ:UfyNI1WQhq r'L?,oX'!l-zl$\QBxgw=C3xҍ&j-aDh}zFJ˫.OJju F8:,դGӾNAiYK:|5bU6\7b7HllPdD5n,|O3dLQ?63dH쿓^9ʚYijdAge^ B9jahސxo#QݜȚ'|ݳޏHjlOz.ٷBԤNO.p/=P *a@.tk/SmcRcƚy|L*b+b¾ uH^DFNhIk4NoȊ21IFqVc9uZrؼ@{T‚n%QWW>^Z3Er${U|j7Nfܯn: rA$D{!zk⳹VC$ޙ0dZGOFk8/^х&Hyk2o!5g{e_~V,S쉃Fn/ӖoWcϿ S7E\K䈖tn"UP1ɇ|-Ν̮ EGX1e)*e"Ύ*rLf`e&G5(u}Ge}`u&%<Ȋ|HTi>&YFČf3VDa]윗tQN%m_q/uWm= {a[ulS L4sfijy4@B7ꩃ21"ǭR)Gýczt í>7mD|f-zm.CN"8ta[l$&xҜAz4r )-qC)B9\kΈ)ɇ6k uɔzxx(xL\Ww8

ya.R#s OE#CE sW'Og&įfl>{ b:*Bjl{7D5Goz[,p еX ɶȌz<نuL4a~ȃCu^Hng\ U5e4 b A03ƀ|G*,m7wL25Zr{?|㶽ϢVo9q 'qFfyDE\ uͺ:?IL!ԹԳ 4'o$ZvDNn4JMAƼ?naZ NmbF"VO .r~INSiF- \qc{B pl 3bk'g,#=o X@ & I`(؇BNxnRQzܐ)RG4s`IF*CVAj}aC.Y:_`z0ːzd=%x]Axd7LAs%Vڤ._7R%+F֊sQzX6NIjv(LH…y<9_ƽ"JBd/. R/rQ&/ M@$U3Zk4(p*,;W"]\&)腲tQߛgQp'K8YTo壪 N-MG4)hNKSmj[@M1OiTFufA2M冓#` p+}wF&* /Enbr#3X9.|mk ֱCWH}pPBT [0#zV2[;~6#r nkHKDQO+⌘/$45'DQ>-*BKL_5@ pQLmP8 &-ܸ_"Ώ͖tD$,(;cIʸ538D*"H]q9lCOXo+,Rn#-xDd])9էKu'j*SG?G5/N/<4uZ.Xe @l8%D ԉ+AHď2 p>I%WFT xpwm|8G()tC@O*U HX4D_3)No33nW$4)|!wjmF&_uֈ*K?q1rUO~kޟ\x1K_a f,/%O%8~ F/6 o?͘d-OLJW)?5||+^5&b{t̙n*9s 2g<eJVWM˗._4}E!;ͷϕii;$r+-a8:&f1 R#>ι5e:f+eoS>rJ3!,iےhN$McD^#'aqxT:ـm+ʾD~5|p[.ۆMHFn|/1( X%b!P;[/NJOǟ7m)G`T.N4ezN9j _$8]T:dz`LxKy踎#Y16Y]%Ou꫑/$Sak_)S2U_`zB́3&*Hjx٭'~jdcR%bq烃|^e5cNWQ=\C_bl1K/0\nL\fsi$]|<)]c$I!4$T/@dxp'eQWTzj;C /<)BRTKߏϥ^ƣ[Ǫ*Y;I6JA<^AHfAr;3e떱PnL#Ñҿ_#$|) 'E,-"03)+-"uH9FYHofN,18"|UvHCG7IIֽVSn[Ңn-)+}s[քsOBf^Qm>.'ꨢc?$9_a C6+@hDօx(@` `-6=]Ժ?XH-h8a"JAΐxPS:8UNRdj9|}Dz" FJ -N'-T38%%1E{i!M@[-"?eY;Gv>aeĻ|QmD}u Ӽ0 <Y~ Un|uCsml]sJA%DclC/Vu9zTِ9 q L'w޳ q MGܾjT'>co9>XN'rSUQ6ޗ ;LJNBC Ab Rh4>fB ;2Ӛr~oЌ%-g5ԿIҌ,oeZnh¢az'ܟ&0T@kr҅EW,@xw21.=OVuo>O 9MX}οgݯ,MwoYpӋ9a'2o?Guʼwhj#a6|`U-ρ8@A| {6(sY(˴fN|:A`H34a+MWyy gD뀋#wޒ6Η r!S:Whtȭk*. «o>7C];Q$})C#gh8 FiG9u&,v:uXnAMk7zwIp9,U#!F+%Α 6y lŋ/Q(1=D|00孤ZP5ϩs銸drD ;*= xJI־ܼ%+wO⸿P|$~߆@MMpWm+:p,EAy~OBWK)򰻋[2zcO"c(s(2GwZ&id9h Tz?B  EUW4$ZhyTnU+Az)sƣVgS.Cup#'Yk4>YO*^ n& ZzĢx OB+[ "R~k&0a[tbabuooVk8eI >KdoQ %RR΁4&<3>$`aoY:mAx&fZ0[B?'P-`c8GB]i>VaS(]է'DFmRgm(:ž}PSIR8eVGr1WdHSdP;_ǫ|J>lOKFk"/d-ƦΑ%Ђ_je3J9,aѫ.gˇ,`KH?h ;/qNhm+ϪZR*DZ饩0 [v <\ ?eƮl5Di҂NY{(RfYD񒚯'JJI;6{FTFrk'm^;Cv %֓o9XuNRiӝ32DΓěJxX_+9DEjRUr3Xɇh=6>'Y( poZ@|0 ydHL."z\M}+lf-_m=):mʬ7 ŬsQnBMJ9G6{ 1&D}j&*3%36I Q0vEu-=l_ n_tqI)r+'Pb _/3`ݿ=U>lԌ!u:ءMң\tIk^Qˁ.7ҽV0ض:ؐ76qY 64U6T3ofjFT@F=6bmsP:q0!I,fX['MQ9z$%јC-`^eG׌[qD$]OJJ$MWUO)~DS_k.f(߻`W@!Q$!T]#WӞkTUI6HWG1a :K9H??WA\T\OQU&6Zԑ^.P4< ٢ n6+ XkbPJ%# oy#3ëU7ȓdb=Gҩ'U2>am:)Ͷx=(_$efi. ֡8\)T tbm~?C{1dIZ)YL0}n4+J$҉v$_f]%)H_cY\i'^)(ڷ` =&NexxnDƝ|Llj: w?;\];yܓoGITo8GN/)EֈB&ezv%a_ܱc7uL1#`&рjv%| %] "r#gjU UG,)U}`fLư2LE_%H.ʷ60yuNW34_A ݩt_#$(&] ;Bt:h)uuM{iN:,O֎F;5)_ |>sTRogA٥wJ^̘^>JLf~y׮\5; ueW?_,H+aSڣW2tgx+pP&I%Pk%67\1Mo Td͛(W@''DZW@AHze3WH;z~9!7A7 Lq )Btݚ54AF۳||!C8TW}b -%%R*b䅊Q-0чtE`xW]ev`s'3züyz:,n|-X6)XgR8Qk"b? ~ ݡԘ=W2%%5)~&BDMe o [];x1p/d!lx\SeN5Xn? 1 `%[q6Zx'<w +  (OZH+漀.ab`2EA &.X&.Mb0o] <ېgC/F G\g<#`rlVEdv怦HߝK.F$sϺn  U.z+,W870; EG>l\T8`aV:B!'0󌺽NX`AE1Z/F0]kW>5&tP|/zfkhסDZq,eVh8~5<?_P$j׽=n^1[-xwI* #(xFg_̓*3iG&j1E 0cn:"cǯ)AY$4!><f=hr},OwnǢ%X{w"~^> c}IB%x.V_\獷pOOx?:h= XF"4*p`ݸ}K\ ~x֑WuW@3T+ݾ2% ^rEޖ/wD!b }UEJc-N((c8b>$A$Iҟy/^(m@X ƤNaV NTia⛦&UA*%ߞE#FغõbF7DOΕ˭$!Gz䃛?UX:3GU5fXX '/l2u8ބr9aPW?:&@>ٓv課6;o7FK r-龞6r.E/gYZ7zXZִF! 8Y>c]ŗXi%DQMr^c8f+q\a2o-j"vbֹlA")ROUWӴȐBc ^Lb>־ݻq(4\$٦E[w>n;-#:bޢX) ?.qa5sSX蔘D\;r5>'a>Q TNP*aoc 8& . :g<Blst|f@)-=inm)Ek>'N31g^VfD g=C^<}$P9 U{52}F>z 7YM%V(b ^Ύ I|bhو: FYoɵ؛0UG}0ߛ{ۊWKQ oIK9=)o65vMN= Cr[Pld<|#p#q'$N6,"Kj)TrWw R][_/辂00o`_\ʱWZ^SG]lj */hk`muoФH {GtyN|m:fpe|9u- T8e\ QL݅_*s1b*l[oH8ky> . Z`?KS/5k ܢ'^ybB=t7,esj#yFR! bL&_&bdoǢ`0ak2A+–λUo.co ^Qܓ=MY#[ϹpEil.N,=ptjJG+r:JSYu+qI|7ZcZS)l%͢}^.ҪVݷMfK *~*Vb_/hl6~⑺7]ׄbXzI~D|eZXPLQvR;6; -k+Vr9ǥ&|Ʈ(츉-]}7%~H*Rs7;E30*S ~ O%)s9YԻJDoyv)\8`m/uxJDr'DrQ&(v(Vb}'3/Q\LC=8yV⼿B2}%!:W{` ,zoiqyw,9Ԭߕ"зdzCW^g: Eu~^O2䚍.Do|5?/+U?'fPdbQv@^!U%yԉF~KB45I:@Mͻ~S# +xZp:lm;Taw\F=ŋ 9T č8Xl9^hnX\$B˝ Ej3I֥YF$T:T܋Cl2'Rfw!&`mvK7Y*$' 0Ess:Н̵f@NDlyJ7.pUJjQ7|۸wk\%SI;g[VǻĬb)e-h1D䚜hɐ{5/r>̀Sԯ:A0̋JiM<0(owbT!0y߲}τJ̓?whȋZyF@IDR0Tا,k@NL#tZ|SY2!-wRcP 9he+PdԭJqB.o!)R$j$o 1E#VloRZfsVpû2Aߨ+/LL$js|>&?T_\dIr#Vg-ZG2'{`,h'&5~L}N jY,P{_UT2'轥;nKp^ lZ\\vk/@M9֧HԮ 5$bɧ΋p֏hÐ:ݤ¸n%~hŒHWm;Qх~ܥڡ-|FIzɒ\633N` w`k G;qϙra@}ScJ(2Q s˙#WlR"e0)DK-xBSt@/@rHj(_<.y,Oہ f&T`Q|S#!EW#oİ戜W˭I&ӭ}cHaWfӋ̛A謹 hz}mP r]4'NWb|= e.O)Yޣ5jT1LC9((B'LgD30KW %{!WSE*(*cw%-ToϟZVQ6E .rY};jw52^!]<1ᯰgb'tzlqh #,c6qsGM 28/m@ӷƤ&c ; rT7fާ^z-?N1JC˚g܆3[\jdv66\+bԍ5s^RRB:o +-u}'\57 I| Q-޻=B%0׀RɖC5l+BхFqfa! EY:4Q;lL-6R;TKKqT5ź*-^JAH ۿNR>[/+?&5"%}ޢ 2EY;pg i44IYt*1M\zX)Rv?iL|y.v8Ct \M5qIɚvÎ a,@rAn ΁6<ޡjR5bDC{ܫ!U3\|^;ژE8M=CӸi#lE)`$6 fඖ/hgj M jl+k&F5kRFŋ^'`Uh';8M-,>`jǜ]rF|n>fkԹ!]w#4)b3:\4(A(R#xy[&&'w8Eޝ^Kc=(?W4,39%̛/7dceS-#Q 5#QДdDR4-%vu͖Y8#zoe*jEc}-p ;q;JETHr|nhZDĻ9sl$JX]̭H&1kC1ҳ{)q]+eq{X&l<"[BC٭|;E<S}Ы$(ԯؑp3Q ,,6ӿCwC, /i *'@3:,;+k0 iu1J[蟓AWt-!,a Xb<fj ܩeaNH]z Zs94%cЮz{ -CvTE2ÕPNYraƼi!IeW_-ĉbUДqU P6#klݝJfˠj9}`59艅:,[*nAagsbW+蒩IJ ;\.7K4T4jʨw"DVVkMө5V"|M5=USIK;ŧ`@eW  ݙ"EdPcАՙ"p7m_FY-lh=|w9.*v ʬIY" q)6YYפG(?\) 08^ 4 M:%& anBMOYOjGH\ &ĞSh@h?Λ<`)R%Pv.X7BTKүÞOMuԏhub64CA~䜸x?kǺcŦ7B%N8{̶2A~vٗ/$nׄl[b,"}a~/>}?5^Lrq^u{֡G|߫}"*#y2lVT_ %h| 7GFKS4pSANP;?@fDZt9 gL\\T16`T`4@1Y4k.AsϾ ׈7>bB4? ޒ0Nm CI">-8^&ƑrUj`z1k3-Qʠsy < v2)Kefᡒ)Q_+J}̤#+dd1VW\O;Holtm-g,,w!4CaO)M-Jy%)aj03U9Zgvl b6y-<[_J` n4̊ϱYj sl;pao\gZ$tPBCgTni~`+ #z27q2WnNjiule"`+=&4D=X2fPaD5Ms+]y˴!(ヶsz%L#oϥ۪kx_o<ZeOWQ?9\Nf;{l=Aւ%כ3 R#Ĩ:6z[6t8d1*A8Y_"p"E4`CrcҘZko leeʙ %O$5 @~ɁA-О!-'Vx__^\`4oKRP^?X X.J%K^iǸ(*2GBXE|ɑ%6 ~K" V 0МTJ;|ɢho (EK,~i"čclYLs)vl z^LBG$$_ i#:Y A!\hVBDzV0+kCi׫~bsi&i Rňdqpa]v-}G{>ξW5;1L1 ,3S9K$}e.zCAqtMj>FDq[{Q' 3}x<׈B[*JYCO7y =?VKQRsѬ0$.)EKۮ7zxX2 hk~dUg]t&qxw]&R-L! :~YUH 9%ct2x=?M@5*W ` f"=7FXT*#FOF]ݭ9- v?^yg+?%L Y(CM /Q/@94D(fv`694q_1O=>n=2ȏ pN񑿹a?.ߞjtz Urv.j 1g''Cc?cpeamLE(=7fiXÊE}9=ܽ[>cAAdU($^=SΫ1WxܽB+&Tkə6@*X6fr%Q)|! *_y}6anl]9SA$zGHjaɏkuqV4߾ֵ ELP&+tp(||< 21hr=rk"wwLnHq #^]x@pGꮉM[udDוYL̚;e_3mF҂ŽN kqd@R娙~o>:h?lz)nSfzr}!&3L+WZT¹䕯+-`7鸷Ildaɮ~]rV(w{CQ3e,qjge-;U)pLBaIg@^X('<(UCmmO{>g#܄/`dqwpHDL6Aջޱ !"q#A#6t4e} a 9PY3eCEf1ָ֠R[[wo=N A"RgG,aOv̂BF5 $ߎ-U3ɦN%9|̠5"wLE%"UgAӧwLώe%˩&xF.CAw #aXk[d{P,KI"eg^[AcKf*W _H^C]6 Em)9YsO İITMyG(i5չ+W 6S D~,!Hfyr JDvX\Шf{_)(572UrBrɐB+vɵ rߤeKnEW4{q-s(v(R䴠X+-+҇Q5p5ǿ7(Oʮsz` ha#40ꐕjBnn(RܤϏoZ)>aVCEE]m9D(}_.6̷%/͗U qm|K "ie`V׏t1{_rV/*̟6B,1nLw%06͸ޖcTk<ʛ>h<@q"J%484t{} ȠLWf1խbh`3ۙ"OsLD9[(k6ڢOi k1X[mzb\%pef_g.DkG "k?L?(jQ懔ۦ ? ŧb@*{-nj |VEܒ6AM6 6)x`B $c6TFN@$ܸ+Űz }0vͭI2"qLT$T ںޓ_f}z3CM^}} $8zĿzxAzdUOȔOR\rqƚ1f ­DIWwKF**uWl~ TN%FC$< 9Em|}厕 *ڊ0Qi*f,٤R(^aPsiu_ !*3Wj!&:= >MPC][e2lC@~?ܗ!&oqG,RRD7qGƀ>Ҝć(Uq*O1sǑSJfK;U;oᝀ^Y|>ե[PBL-y%]E6zO}k>D;6.WPX9)~m K~JQ>N-8ctM!G`wvFh*]/؟3u$;/S!{X0址Xjs(gmbL&*l :ce2JRUr5}B3鷓wzhVV{yj uֆU&i$lb\:wȨ4SHXM/U&jQ7Ea1Y€D-nt,@2j>' Ex<v~'PR/WMz#N:DoB#癆;OoIJ%(UGD3&0{'bjRew摉0UL%d 7lp y_SIA I)C0 " .'.($Gpe/UyZjv;46]J)9Q^kH})5#8UΪZAyAN 7 ѕo#~rh<( j s"VmR {́ԧ\_q̕sp}LpE ? ds8 O8E;USkN&+%ŏAx>b]mȀGD㒟 ŨL9ji ir@ aWV:;Ԫvw}U'x`;@sTI5n2y{vնJ7_6\z E1ڸv#Q.< ǩ:bR \,0`AoCd%>IZZHޠ>}Ϙ<Qpsp6BV z*JF-L75Z[v$FC6'.ekdKK[ UYɈμ).fAF5YRO)6N 镏`KvR?؋Itӧ?<4u!L;J/uPVe ç녮L bqpI.T"50*Kkp } lb"!^O PR MzW]ՇpJ |\ʔf}M_Q~a~6%bLEpJ HAsEuϩ6umowȼ+ȂyE:JWJ ~Bpq3@4zTM KF%m7e(Jj7|pBG^gOBx-V=gqzz9)Uqn%u? IPIxU`Atي{VDQCU1g,/Kf 6d/Fek[EV 顟s%IuG\kؤka\H OīCHޠpFe..pT. 8}Գ|3xa)M)$#K FM R)Eś2Aqlxx::2(_vFڗ~8'C̟/u lȫ!LD!w{(C1+rAuɭQ\oJ Es ȖtutL2{PFNU7A3~&Ԑ0Cg0jSI&]X$ t?a!W)D ;f/t#}e;ZNMVέywtifq_MF'K{`Po K 0ze.tQF8lEOڋ@"9cTo(ekh̖#g_lfl⚕M~7 YdRCNh`bڻPٛ^I߽!̜\i&53 Q GG!=itdwFjSsmpjhʈ_xi ܒP7)>tJ ̨Ri:$@;igZu9-I?98ĂUeCCv 18(,C k x5Ďс1O@$b$G26/[.LPIlTdo| u>!Bi֘3ԤѠEE'z?'L&͹NaG9 u#bMd')<\j/Ǧ[ᦓq.a p04_H)quNpJ!:):ʲ\3z7w8_)x* 'x1Mkf<#I8L DlrJjZ>R:C'M0F};SVF>QX`vl)/ut^+ySR:d/|ѹ}{İqqkWgL ޙ\~yZYH`? 26Hw~I?k萻W>uB1Q$u& ,Sz1֕ل~Sa:ɉxT`ܴ=4ɻvJ';ߍ'!(򾝟 G| }1 SnE2^hY_+*վbP?&Nxv1Z-P[ u?y=X8"bi6 RU%7$/ueD7 bn>\qoIt=̞Mش{"61 odq%wȬʹpH0N! >Fᷡk dt!N0Q8E2eᡤ%0몥I4v28砏 Z 02AGޕZ MZ|S)2(4rZsƹw/XЂRSG"DyJ?L ޽d|egYZ1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678 1c93ec95d4fc46d544dc6a321300a35867f9006c 1cac7b79615488a2a44724e4767dcdf953528bed 265c67cd0948d58b821e278c41686dee973b7ad0 26a3ead7c27418a5059a735dd6106d2fe846fd42 367744ce12067ff369d7037132c2295cf2467ca8 37a87f68f56cda25790462152da10ac518f0100b 3ae07ba3f06504d0ffd63262a4b175fb34440c2c 4226cc455fa452546f7fd4622b7c865ab8e54250 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4677564267a9fbf6d09bc92db3def7deefb510b4 54c38db887812a39b1b518723fd4468f9395eed5 5a32b2c005abcf9cf0616f9ff41ea905e0f45a78 605b2df1a2fe916474ebd532e68084c307a9494d 635f553599ea5cbe98bda10d1da23127b2865f12 689d052a2694dbd26535b4fcd206bf6128f0007e 6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05 7e724b95a0126ebdde350afdcb6ed34eb4645152 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 93c1cda67d93bfee32ad7eef60fe00cabf29a651 a23baca027e75398a654dddf08a698721e3d379e a2ecc67ad979c76d202eccef2c6dccb0f9071de1 a2f58ef541eca0a2ef9845d87e63c1afab0b2b6c a4270798ad44a0465a9d9638f535830d7f5331de a5dea19b38006556a5c07ba4f7ca5d0f425984cc a79d7f49a4aecff6119f22cbeac5838382913c9e a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb b27225000730ce58c79b3a9ebb8525a6b4955a5a ba398d78d1126570b0707ee67b307e8a46f2f0a6 be2efd0fe95b83679c827d9fbeeb3645dea903ed bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f bf47b112034d85c95e8fbc6fc371cdf2d446386f c7f5ddbef6f6c869aba952579fc04f1cfe2bc589 d61ff2a207e7f8eabed36b1c29b3517efbb57644 d75da252ebe713c7a94bd165cd073c4be14a3b0f df65d216391b2cc49755f48f36aa2eddd974e734 ed038b3fcd801bb6050003f4364df32661a90cfb7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 bcb2c163557370fc3c262b426278daa35f969e98 b22e4c2901a024517ac440e4fa6dd75c666e05a9 d0ac89accd1212404966abd2f815523230df7cd226ab2c3c162ae5a7d1c10f5dce0a010d3e4fdcf0