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 nn1,l e%]Jordan_Normal_Form:threads=2elapsed=331.530cpu=554.960gc=14.072factor=1.677zXZִF! @O]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@O`q 3F.@`]׮9Σ08$mM<>;>~m6Ibݴ3 :BxA;h䠏q3nUM2X(%¾^WP^v$DEƕ4[~>_WnjwV_2̭2u1?/.)/,$aq/U#[i/@˕ZxfC;[u{p$8g.GTobnge`1AzCTQxLZo{c@"@|4k_B!k=:6v$M;/Jڱ-%MUvYVJ϶'xW ${RÂ~{MMZL6ǤPx\5p 8UҞ 0,4aL(9)ؿ3 =I63G+#Փ|̬N 232TaNzZf0+G lijŃv|RY50Lҋa?lBð1j`y^l&@,%Sq@ s.4N Oۺ䁝6L8ct)rf.R6_jdիd+|aXECQq7VJVLҏ 1 Jordan_Normal_Form(,C=Me?>Dg;ĵ&i*X8is[(m3XSqdaw/nBP@6ŎC҉=i0&Mv|__ Ʈ~+?bf',Mŵk"u+^~||.iD\̆* aʌH0`S ܤZ6`![WJChNG~-f9++IjW:bh9a >yςdB$P>`;LՀ::0<)jy,ВQT ̩d!r.X^>RqkWƂ<x-q⍜ ఱr|ꫂ3/ul>32ւ0Zi6/mݵO*2zu3KbjYf<\ŇXiEղHrw=%6/xOPac5nƧ-zoPX<-~";ԥͲ<'Bt&?@af_bE2[M0 SX\%#u^+k<\rK ];-.C!Q0@w? P;ķh'Me_h]$v68`Aj0u!5I֒lHS0okc=輇J7,aq5?,?ц|mFUέ-luˠWq]._CC$1=Ƹ1RCuV.:% 43])qdRCD!,{.M CP*?)q)louTZ%4AGwWD4$|rUdRL"ov0G't.-(nEalZL^%lOK>atE.M֠φ s F#2$zwsBOBrI "9)EW3=W ~eԮƲPv>d*E޹?oഛd<hȇ%W]mFf􌬎H 7T)ɬ9Vъ:.b\ D5v_Id6CARrdΊ) 62:`+I{MPfI>"Ͳqi!pet6?W&4i"zGZwW. <ڄ+M@*/~˲";W ٲ-HSM%ypV?4]Ѵ;``"oPe!ߣ4 # N@]@5 &TmTY/uӏD_l3"q uԲQQ3bŒknaGB'!9MůH__|h=fsb`!ΈqSOfC)I,_gcdc7m6: D1 j>1$嫏8wcɔT.PV\+qpȃs׶9#zp~ʖy\,QN[shCŷAX)6gJ @R'<%Ӵ"+gfml՚AtA~K` [wW Me.ỵ"-&N`fbǽ#stL6"! $4g-[߁dfR(zmnhhKلTa/郎*RfkF=Qavlc{;'v͌ҳtrm3 "&^dP%DS,J=ʅFx[Lΰ, 1rmBkP UO%ph&@l0ɳv<шYS;e\'W:a Θ*E%a%˿ _Xqp,£|)\sX^ˉ|H--1Vƽ&> u>ԗ+% 튵p4q]6Ѹ?OyOwIDgwW[Nl Ѽg@{3DI%0(Xqz78Xo'9%#Yhaoi(VgŝR/ihڸe@g̊4d;\p1%V~)Xrb.ٲz'# bw1:i0xc;Jd̑q9:ηAr}y6-I#rHT('>\J W=ih@$U⣓W38+w~;|-"y$mIMDjʈoŏeUcHdyR]V^G7x1)Pޡ# Cnxj+=%vmk)YBM~vT$֋TB(ICph/آgWjf%T3]2G@#2ħs4NY29Sy{4 yvEP5|jޠfTZ=QQ< +E~_bp ;Ipeͺ_P=.S42 _vE]h[w#@RʽB_^\W򕨟)j'MJ)m?52]vP٭` j Y擹ZƟq@ˤ.%[ɩW!\mgăՙU\>I_ Fñ-Q0R}Ѱ`]{Md Gɛ`h ͉aڽ.6NҳLv̟nuZAgzD[:Dq'"K6ї$@" CY F^`ݐsq[$ܳ*8tKG5{xԒ:\_Ww34ե:$?hGuwl,@B6-@Tq1@(́[ȡOp^ @GLNLfdd /7FX|z+@R 1/_67 S` 3Uj74e"ŚQˁ)%D_޼ )icZu`:{>4SH33FǤS= 1'ۖ)~ϜbTb0ӚĚףġX\x +1ENJf FJ8c۬=l >5h\1֚g82|6IZR7gAzfK@9uwNA5~T%g \&w(XLI[l˟OCsFΝ.HƶKKGBX)$> =[ fKjޚw~l,C( x/,'0E"*cN0dŇUќ6< -!2r~{ PqGC>ݙCu \NX{A.΋jPTjZ`Po{lQ+_%?޳ 8' F=¶U I<(a{o33Fb$+U*U:(Ú}fĈZfe;߷,:pzub`cF.mfS--l4G+On)GpDP"̐}Bgσ勊l59n|{y : ݿdN#t]jVֿ_%n+ Mަ߯on&P\y|zGVcCv Ďn1jh.."Gu!]X 52 V =cJ7Yp i YYb 6vtO{BՌc}~sT!> 'x=#&8$\ 22@O)ߔ8;űbik-7aEuDb%u٦~Fy8 Y^: m sz;b_=$.Au i/6%oD=% W~&dO9mO^SZҡDngKyv''_'Agō|bhZr1WA90_>}.ѯʛaKfO2#Z%}Ѥ 5]yƠM ͆'K7powy\[SGd-NѐWC~V%a<*6YenH~g6.᧦2&$W%UTCeJR3m T%wBtF'UqX[}uoJV,\\5^r 1'cP~9]f݈D]`V+˦#BHݧqmdl31,cCk&٪7 O^|Aa1 I ~8 WɅ0֟4|dO]"v$<` #,䁋~> &at%{;[Ǵh;R+MA`v`ث*L9Jv<ȀkeN VHI{]|ࣂ 0ymS 鈀Sqw@ M|,6(_w@ۗ O?Aaa=giVvUlzb%QQ 6e]p-C4XsLs= ̰ނߡYnPkϕ `Mr&+ Mh8 +#&#G]ֈHl8ǖD(:,"}g6hꌌrD{@_V--26櫝q/mO&hW^3SPdjQ # 3Z*Wx&}q\o~u2̖7Q}AAopjL:7i [Y)xvrѧ!ba@h0' 9Qt e>PR,Cw[;aXCxn7q0zL"#M}&O u&Q*K:Վ M֛w4)c-G/96좳AmQZFɟ&J5Ӭ @UM_x/!B^6ʿ$Ղ Q!k)U&S[n6rt2 >ޣ͍>` t&*/gcQM^ֺ"҉븎YrxS/XG6Yr?ʕg F=VL9jS CNۨƞ^U;VJ +]u=*R([~SCGP(dwӝ{8~h 9(y$stk$oq=5kSX&X/+KҤS+3GpOSOf+ޒ}ro::.NuJ_ei8?0ި%Ew*>˦5FTs-&J{XM{xب"e9#M/E]hЭ^AI4bDNE! ՙ/1og5*O8B(}H(~;[>~HcWJ` 7={wtgA9Ka~2 ?2̆̊i#q>.kve*Zu\(>π QD0Ѝ:h2>w^,lx㱩ְЄý9H7ٗܺvw(jb[>vݞ1&˸ PJ.BgIA~rTAN;iWƉ5GQ, LxxdPX|4Ͻٷ:"U_|2h8r9=ֶ@j''AP[M8|꯱WxǗhg:!B.,s|*&9ߐJ0.ؽ.ݗJ,f6oT..J{f=}|h䨤S"FfYk#~m*gu/2Fg->P6@1D]$?.w/CAXëZIqٖd"W 6 6Sl;1^֮k's_Fl^rj~1Id&%א#Bv5/T"͆Y!<04k{͹gCVR ﯌.l5F&|TKe. "sNxS<ŗUyGyxe 2,ew\@ <`O%mxV V {zl9u:8GMotU6]m Yʗ6ڜ/KP@R|A^ˉ]? ؏:|FEYX/{'*ӿqpljrDoBp,]l+c(s(u|C=w]A]Ԑo%#Vfc$d3*z$ݘ+;K{`zm[M6 5g[e+5)p`{90iv];R gM3&)(<7ٌLae9Wcy)T%|WnuQKch#>?HB8-D[<e`{ k_xYjJhg ̈I\Ndb];!0[f1p"U%[ZIQ,BLFlO\j[?c4z9qJfڔ~2[0Vide*%J p}L24za`qG"nޗQc\|}*9$#0-gM _.iH k⾑^ 2 AխQ^N|Jc27Q/dmG`H4%G+s)[ыf%7kAD7+LP m&K f\AK)X kKvQ1+'Wz3cr/dVK[4BO)ͪ2 I KXofJ.4k$1WU Ehs ?X ۛl`XzrOh ,S!}*d+w *CuIYlrAvLTdژ]=;܎ H@<~Sgak%9ؚi˹]{ԽKZ1*uZ2X|d6*]D[ o!Z!X$(0=Յ+K&J6y`zdG"T*YFی_i=-r/ uKrC/RF%hr`\GvJo(Śq//-tང_:%ABo0`u Oam9-TfSG̛2jlolÌ8$1R7h9(&h?`Q'+/ŕ=#b܈=M[%osU[Ohc&H;P> BսB \VOt-U; ^Gf7\NIC`_Ui0̋~!搾_2vR&M[M-Gѯ)6JHjHn4k#hICvܵ)s_B7PVDF $lLq99t6'a!Nʵ%dPH*Z].;MKOFtk'%y=e_Uoz JqOT p|1, ~}@t*KKTXsPYVW_@$*3yOS*%*V .g2A!xO_F$mPQa#2hfx]"ijy~ur.gG\&$_IT#ܑI7Y@sѯ\,Z29v?/֝ݐb_QMcW lrN'o^N `\,QNbj[nro@@>|W8neHMp|{ޕElN֊YE`F?ѯԣ!wIg+FiUQ NMWtt ٺ-;bȿ9KjihGzEk>/ CIؿSyH`mq8~HU]>; Ib:LcljcԃKaw jzzNEIuK7̪OD&0\B0_moc|=$#LAA<|ݽ4 ѫv9AI" 4 #yR m$^ CspR#ZGde͜6[ni4cnG27-4rUM/f tH]^G=W#Z;]@Tmʈ,_q%mgj[c0{vS`}Dv|0+mbkw0KXDf(jt $]E oЇmwznA| g1t#0NI^N$t~6y6IP$*i- y?O>kDS};`R Jנu~i{D\>emdhʯ;,X},G&뤴Բ6XK%K2F$hZؕ$!c+t+F _@=!Y_"l8RWAJA㰽Yedjb@Pͮ;VvK)je5G(&MyG)6 ~fEًwcZOOziLYvqXLr?;3OV៦_Nb:!)/#@l' !荛DX$Eth}hyz1wcf=@Ҷ`vK\ajڿB%U);/-yr7iJ48fR¤8p!-"Du~-+ maw47F? R'`M-cC$4gCP>6f$50c?el[Ɋ@Љ6IV7@2B {/wᜁ"P*ᘇH/)VڍnC\h ďk<!<UFt7Xi}^=<>"p^kݲd {mY+ j{}tQP} kQ95V$H FSҋ%ZD8dŨ M8 U S+r$}{K w Usߣ>+Řbyi&jZ%u I@u&!ȩH7J*MwL'I\sp,)3So)x ;Xx]?9 *;gg؀X"=  ]lc +:#G6*:ҰON_6v A*cX[)vw"Z!B)B[xt l68Vaea*Wó-tP~TEf[t2aז}Hл5DWT/^TEr o\#-?Npϔ~Ljͦel4ڿA<)*zQ*>7 YH#D@8ЭA|"w!K_v&|YW@K* Mt{;ep)k<7n5CWD.D>i\nGuob.K_F&L󅛃2MTi0a|~@l=k<1lVL+?P5m(l0;q)Gqeu| ωvK̴}0q{UK"vB!xbz@ Z ?fg qT;zEd;]+ >NZu N Q|G=È}Q% <ʺzEѴ7Z^nD $rN,|Q~D +Gic,mjΘ}wQW[uʢeŒk۾,*)6{Ԡ-4"!"dĺx~B8kvG,7(ڙBL88GaUk erL,3StI{wȾq, 8KMlIzɶ1j w񴝋/]HeݨQjhF@LfrvlsP71!n'}5{\5E)6nM% W4d7MII= fJ۹gq*S =1Guߐ(y\ױgYZ7zXZִF! .>]ŗXi%k"_Xw^G%Ɉ5' IP5P$L0HT7YFIʃ.Yy sq*>HA]b Tܰu~Yaa457Q_xV-Kiɘ y1K8Nyz{H:hB ő)Oތ HJ}𶧵n1H#dk)rG-_]NT{>4j3W‡X>-P:~FqKd]V"PoX);1f]^ݞ6k*Wz㙹*rv/pƒevUy KӝV)̊Oa) V9X>\2Rܚ|GR~L‘_4;.mV3ޑ(kca5]ϫj%'/8bvnЗ CeY朰X@&1R9]ꟃE}0]u UQ[lrL49qL4JI m Rf鹮UeQY=DO[Ch0-p^5SgI=+ͼ7ι{Q8g}wq[8** 1siG":_O4!="e~dS{~™j~z H,e=KR=^:+NiJ10ysZtzau?j}-:9҃>  Uc (JٝLϢ-M`^ oϱ <"( Q_=@`굥R eRo4t z بm3.0 4\ "s26`.U߂U5VǍIu}b|c41@;066TC+[(-$vRzyAlM+/jl)N s Y JJvyyU2&2s'7~ ppIM{nX|3HA+XٵMEMôe /Ѵ?R_+81I Px}MCսZߧR]5gwP,qՉ7ߌKH%/za#TTxaR51X0v=Bv 0HXHo(NOR \In RR(=o~_,((a%#5a3,L5+a>eV,Q++&~@n,d ak.a6Gfid[#&"t`e;^݁|Q90U{=%C vUG:Q, ]ROuC2 {RerLFc!_eۗ39:Vd?EO*[\pБK6H0!CT<\k!Ax[١X#8[a%W@4D!*篷J۬6\,5pw<=Cɜhu5F^( Jhрܡ\ )Ae~VkC4m4Vv|v C4!9#̭:\-D-,6]Jj;uOq!zpZ$9% 8i$H<,*) *3'c\۴W;?z!pӊ9V'}cƱO7T5P,TusTѮLƟ^?3&M˒n|n )i8,+7RX $"1HyhWӚt5:+'OMP.ZS/Zٟ{fj>>lP ]BQcLD TX{#zܼ](!!K}af4 ó-=B̔|1զpC&tLV9̇q_A6;`օaIM2ϠSom(&&g gZAM^A||K`+q}5SM~k(ibK샻\A@\!Leo!>,sU{>9?2zĿjm9 gڒϏ?ɢ1%v3U2WvL2-į)7.SN2A~z[Rc.۬JT2weD 5B2\S3I BO,W~m=T4a$,iⱜdA*nؖ$!Q]04lS5jg`nqzKȃ&6x9E }f<yXG7Wvw,ewE=ak1w7i*GSݺ_B69(\AvZ㮊TgeȽp"怋 .$(% mCUl*aNTKߜK }=n]tç+?X ba2suH ~dY1gFiUp} C$ڙ>Bf#{Mȡ~S8ZER{`N:7x' & RvMl %OȻT~V`Io6x.p"є0NQ˶9HE,=gj *-Aeu1~@ނ(I@5l_j͡+;빊2oHQqʪmIcBp+5rǡF[p@-uYlO"t=rt-e;& 0ޜF*قDrMPII_\`:id¦9q9W~M* 'P\"~0(cҢo*`˒Cu#fqOܛAJg\.{mT-$ P ]L8WqCCWX5xdji%–4xLaBy}Φ7kЭ&a,0`&[̓F9x)P,^'ܾi^>25^߇^+ԛ +SIA O#=0J=QBy"-jdǟ۰u22®e/f;k.Z 0`JkfR/ 3[۵iL"#R b^4Ob(Z!]&~ `֝`I#7x'WK]+y_wvX 2_dC@^ Iz>v  * P ˏo6Y/n*om#.A0/%Ǩ[zMpTU&wó7ԥ-\N';>d& `rkHe 4e;6%jWB1Dnv iZ[;g`uY#lK{]* 1"%B/ٛ]uC{ut$"h2asRM7wbZ9y0/gD.O8XKXbĝU(\C)(=פ[xAoj<pr֝r ӾsIS=4h̟OYަ*P+o-+ky @{aAxCl{7c,Pu5!igs Q]v) M`$wjyDVK [ߣǓ]ZƼ#"˥npG΃z#Gk~:,c0>ux:}h%݀VaLjE7 pLq'e9LV܎)s0:í%KBu(ee iHpSw#]o'e4=M-v4K3fW .' Ev4Ǭi~dYǒE jM~}.#?/֢ot \g7usH*iim{%p!lw ѱzCyK:jܱ}[[٭Ga5cjQHfuv/&6},ZX([ǚ!5La&as}[dGI)rt΄O22L.65%-h/@sr1d\s"CrfC;^"ago3c\z ^`If .9u|&h`Ԝxߨ=.!&ܜk95)EU=m lA|LR4 OMx.EJMc-vf;ͶYFlQ$j+WU*)~ *د4hD=3S1 vqۖĿx"DZߑK,oѬ`#s:b}}ej4wՓKFa WgK1qjPbQq8S%u]-txW8'̪k }GPtwb_8vrHWVYjp- nJ7U2: ˏ/dwF(7hbWO685}6R@$4}m?Su00?[W%\XE_NV{N;-ۡ[EK.fW'CUx15Ę' Ld_oGJ$Bb'e}ZgT1eh&F2f`R05Ufex1=O8WUVa*iƣ(OehTI&h%UAd0}6(n%"cP0 c^SMa0mXg'ܪ(!LIPiV`x[Q T=lZMߪYLڈiOs^jgu~R[4+$\\.`D8\ogFʡ ޹O\OEnC~-z@Ky"Ng"('E 0/e/X&2\X{̞cP `WxNPGcBt'*"r+~8Eo/֗D_kA; O|׬8ds7#<WrM_2R_,eaEL~ij$VTx w^n^z V09O}ĠFѭ@y׆q ojTV_1-K XqOw@#ZAЇ“#hk1%.}|ӿ =(y 8xˋO_>kԿ0 (/vZU{'6 @RZ.|}z%e>x*u*@a'Nv+|4"ԤdUG)$OZ_>xp:lT~A}X _bGQpVo'}5 V C- ]ñdi/թ'n~1{:^q'd{bdQV؟C"r ]ԔNZ<>=J\ltgP< +Jw\xş x 0v&x5;vŁotV ~d%ZP(4`l ؘI|3#qg?7ll^" H|9T'Ѷ eP-tQIV!ԝllgϮE,\l|B~ 5Ժ&ƪ(QcSJx@[vseQ\"9fa)) /HԔj}NBx\D'U6P\ݛR%|] bbڂpr0jE{iXv} d8A. = JXͪR1APl$mؖu>fcm[v9Q\HfY't5B9vWгhs?(Q]Tf2DUV3.oQ*z1dfǝ$BSOdo5*G֚)SA)GT#,T~|G(4po ܛg.ѧ633F:&Y Z `EOKقѤoʝ@_|* + YnvrobGT%Wm*i ?7G=l"3$Ю|LmEִՍ-}~@8CJ#^:-䥒@ H/;X5WH|# Uїot7EĶ[lOu-J \=?N`QгEn Uǝ4S]ȽtiA-UmS<);y:Lh~3IvǠӃMCy9#dUG>y!z8n&-]Q,c|P!Li~~\׺aw'#ƅn?Cs6M*#Y+F#?rQ,4%Ttڷ&>ic׫5bX E9n;:9ݑJR.++x]OҠOl* EO 0`1ַچD@[u{x>kzKYp&gX㜜t1.2)v6yo5RbsxDgQD2W}^mĎw7񦽾t.gI{6->v0p; t]>`J@V6 G]Wyљ[ ⴬`j%z[;)EçHN@hs``45❚9WB!{X5g즍7 91jS91^Wc0j ೢG8'xy+s' pSdx↷5x0\UMƧhՁ);у_ܖX6OħtN#R`N'rdHuH6iKS=BCPAZv;/P ܎!"gd[i nHHyM3QA >k6s.Yv))/\&϶=kPkȒHWPG:{t>L> ~P K2[Kr<4J{NH .rWGK;ؔ@XXyVP2̔obe|Υ%Z[/:lا`E^j-m\Eg|lR Q6:-hU34ݣ|nx}!r3k3hpe 4Oc 7զE P1(uq7bz%]ɲ܇qNbTX?QB̌5;{6]vEpohZwj- [o Dn_z"ygZle PH kun)A Af޵z[J X ;#Trh/ TG3k׃=aAcT෬bM:6r P$DRi{v> 6դ 9!Um7}&ĵ)DܱgU H#+֣NU{3UJM_?JJ m"ĪZID@~;%b31Rф4+QQ]F ;b}fr,m YR ;YR-'o ]”B04I7D^ݟY/jL_%,%yU趂垘>ʈ.**޴!uX НQL0oB! [޺btL;[WY:r ?~j2}ʰO8`HԟЇY'^[U28NilnvFĹ.Uj=T=eIDG(W Hvqf v4ʮD?Yv@b潎y| an-?uIJEH?~<dhYigC(+ MGDAesdWjWѱ7 #ծ;y#Nq6a"@Nq&#DI3'j@`2xZ5 }lDcē{5S5;!|gyf I]3G(lF휶L2c*<oTW~w҃*u:kfs>v 2:Go` C!1T]ʮ!88Ńv.+K>9;y2'7݌I2 -rfV9gX-GKFZdvИ) wZ26OmpI[ ɁzYriba[eC}_2c^zGȄBqfYdL rc!wX/'FN)"lEr_&x/u7F \,^=PL A!D IxnjI0kͮ[aN"[$}/HteCaY@hÉC[*tyĞs)E}>z smE3rK_-Ju-E^[awX as㉟# T :#4c P22(07zS4ʨӴUYMNF,LAUwqbw}Hc]`d椋W *i,"s˩2= S/ s?d301ٻ-z \TcVr@)˼Ěׄ/ۉʣj 7`VJ+T/X+csYQ:w;)H<̩6a?{-[OWw3i0ff2 qԻBp'hLT$K$[ɶ;47t46y bd56-*`%𒃰u8)Ԯ€6InQTh7yبek]K!QjB=[ؑM=,QzJ+ ex$Wh38fLԡA(~Bf~ytwYzHg[h@`Xk"U+!.(o=I!Há8))j;DN6-ӮtC*x# 쨒{d J  |C?WcC,lKUJ7Tl{u6NeV/9E0= 2/l(t # {3%sӘY@CrWBa7}R$ڲ9_ʈ/k73<] yP8e' r9k[0oaaM_ZgYZ0f6b5bd89b0325a8030cbfc328dd3951b860804b 1af0e0ca6bc912b30d0f2e6589aa8e9c46c87678 1c93ec95d4fc46d544dc6a321300a35867f9006c 1cac7b79615488a2a44724e4767dcdf953528bed 265c67cd0948d58b821e278c41686dee973b7ad0 26a3ead7c27418a5059a735dd6106d2fe846fd42 367744ce12067ff369d7037132c2295cf2467ca8 4226cc455fa452546f7fd4622b7c865ab8e54250 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4677564267a9fbf6d09bc92db3def7deefb510b4 54c38db887812a39b1b518723fd4468f9395eed5 5a32b2c005abcf9cf0616f9ff41ea905e0f45a78 605b2df1a2fe916474ebd532e68084c307a9494d 635f553599ea5cbe98bda10d1da23127b2865f12 689d052a2694dbd26535b4fcd206bf6128f0007e 6b9baacfae5a327866af6cb4ce2bf8b3b2ccfb05 7724a4cb3aec5426075f389960f076b460776887 7e724b95a0126ebdde350afdcb6ed34eb4645152 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 93c1cda67d93bfee32ad7eef60fe00cabf29a651 a23baca027e75398a654dddf08a698721e3d379e a2ecc67ad979c76d202eccef2c6dccb0f9071de1 a2f58ef541eca0a2ef9845d87e63c1afab0b2b6c a5dea19b38006556a5c07ba4f7ca5d0f425984cc a79d7f49a4aecff6119f22cbeac5838382913c9e a9f38a4ccecc8492d1f9ebb962024b9b83dd08bb b27225000730ce58c79b3a9ebb8525a6b4955a5a b39a23d84f971b58dd7363385f5c43ff4ca15efa ba398d78d1126570b0707ee67b307e8a46f2f0a6 bdd62e49fc35afa2685c626d86ef4351907936ba bf0f0506d2d2cb8d5bd820ed19f03a08e0e8041f bf47b112034d85c95e8fbc6fc371cdf2d446386f c7f5ddbef6f6c869aba952579fc04f1cfe2bc589 ce0cb9b856a209d55f128657f2b8bafefbabb206 d61ff2a207e7f8eabed36b1c29b3517efbb57644 d75da252ebe713c7a94bd165cd073c4be14a3b0f ed038b3fcd801bb6050003f4364df32661a90cfbb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d f23f98568b481cf01febd03c11cd3ba915ae94de 095b0046e725b6c76e6b07dc490e96c3b0f10478 20251d361feecbad0c3a84aff16659cd938746bc9582bd6837b5f360806979a4132eff8156e271a6