SQLite format 3@  .  YYQ77Atableisabelle_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, "errors" 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 '| 'w Markov_Models:threads=2elapsed=131.942cpu=241.144gc=11.188factor=1.837zXZִF! cI6]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJcjWUuW0h5sb{ýU;[~W@%5]HzD d70#JL4hȼ:ba[o~Va@_2_S͛+sޓ'(:_HA69l8?1df'1@[Ȥ#+boG[fP)J(gȕ;q KcQ]OI1$I4VE!U-SΚN-$t?X&? NIMp-9tG^#KP3^ ]k?¡+xr)/[ЬL 8} ıf#+i޳9.%1¡176ZO"3к2`f>,qӃ EҭPj&GF&\z5M9|_?b`R'#dO 4I)t[%wd_Yd$KPUVkNxyЄ*r^,kW)ܕշvl4UwJ,ĶvnA}RycE(Hx~>vIԦC0O yU &FHlx`x,3 vl{qሆG]aV}o> :.yKSj +ϬyZImYy .U&/QSGJsTphokm%,ʅ[\H@"m*3kFسZD˔P@7lnX:DM9G!7˻ | S,ki8foс+ *7v*7@-7-#>hc>.H 3rDC%:7t t>In`r \Dk; Q2#c匪~WE3~ky_GєgJyt 8/t~ Zp@t2US+ 0'F³Ï©C`)6Kim-;Bj3NiB]]MgD[F+^uV3tv[8o%GEdi '+,yBЎz:R{QRyK| bJhbag0M*MvX @s( b-zuhgKOeYLj}zT911daLV[)IV: ÅY'SW) L3sP[ع .n@e+ ADqM5HpS؃Un+2>'9PC1\}z7J=d9|adz*hB"y,pmnߏ7viĞ )ms0&ۃԿqgs#WWV,֦#bA%s(Uus ލ=٦ӭǪ:YT=pç@GDrt,~ Z_;mZpڛI[rQ߅DD`D7hĉGABg,7wS,9?DLxq΁yCOiV1%[yBgJp5?+oawW5-r3f7X҈!$tdy1 ɂ5'hz:*ud,hY2dBqpk[i^ZJ86j&4e4jFNnc'&>Ih7YvZGw̟tlI+jCkY#"` +ot<-KZ"{kdc4p|-3oҘMqǫ{}$r_U׍Gƫv1 >^9b )1&I> z=]k, {yU&m!>y3ME7VkB*V͛דxsAOHJ[Ѭτ$iUEa؟vmٽخl:d* oUhU3kFb5 moيHR^|1=sm]uJNZ :yEq(A2v]7@@6:LF6 ,$SZ |Av$;g1p,A:w&e_皏s&DT|G^br  zh6F6N>I,;cHS: k&Zz$I,5( Xh g.-en|K9(u*d!DJtdVZVc#0u_(0+jdV(i7ASO ~} xzOP_OU(V?>Ty_o|߽dJo;OI%b-%\zKȤzKI3G½We>(g2}]4ϔ ;/К˃/@Pe:%Z$U'#R..q0IU0y6~a2Ӡ쬐j%pٲuZf\b(u[Mb2 |БDkMdNśX QoOʛ}Yi&'E1@U#ZRfE58RsF<)yJup'^ }bi,V ͖//ƈD>"b4jW!\ "䅡 xca-ޟr'$v xְ̕hq/e۰{Q8Aې1E%z$2yŮza\+FxZ̍6sX! R;Δ,*OGD8BR{ʞ>;p1#F&Vږ` c7I:Ug'["{!NS#gJ ?`uQ>b0eyR@-%_޷-'9q١ 摈qBXg D1ȾpHіٷeMAyo( H5xS&XrȦ/Djhv#d@3)GޯXKm"ǰ |F'o}=Jo$84 oyHQ2}ooRpn="RܼIe!4Yi%R`B卯AѸRk;R;hz)fr USlYJGGVj&ngE]P1:0]K f vPo{fx w;Moc4bǫ ' Markov_Models#r5hM} 3.솵uaGS5m g ˁ3r멡o `< KӇo0 j LoS%{5E?t["g0=[=ҁU`κc)Uxuܾ.XUgQ\%m &ҍ'15ZN{aBhQϠs ~_gSgQd& 2BN4ռAR/ x8-׻ Rp˷]j L;?#ؠ9C̿+;s]A' c;V(f.*\|bb{~\1H<:nl+*$d/7/{<@E_3rj Ta]d3Rz]"P {YM47c-Nغ8 #{)pW:,r@ خ xHpqvv$ɮkqW!wUDBROBIFO2<v59?fI(r!6"#ưGEjoxE#/~9aAF -:2W VD,h?P@D|L/ c4rWk5YۥՕ~r\MEd9Ke}M]4({je~ܲPn*VЋV77HuhYz=H/EIxo৥f8d{n2C|m<4r=XP}T9c:77'iP+w3rʠoFPk'NrK0So~yR7dS.hYzl'M` y|-E3s,cǕ{UWXۿj8 y+7U(p-(zObdlq ? @£Sw-᭩ 㝄 _XcrԦO2Cero^qQyB.8gۨJ*#g}SxbtɽT=\ҍ}|׌";SM9X(73L)6%auMGn~ ;]$kU8,UKV~K̉D>[7Ÿ̗̐)"/e2RL]u}vc}?«)Аmvx}[FņUk`E\[ǿ/%gqr'9xV -v\61oedJs^Wj_?:y.r+Kalڨ N$ȒO]yNh\v uSN!y&J%쳎LrMOhMUeKvf)ua&#a.ogϔ&S*v*C:w?!f0/0ڭ(՝ :ZvB:QT;c,za 2D{2Hlr2Mteەò5 *. m= 2n!e]z䃩SRT_ fH"\+"]Mn0yPqT";A7<(M"%KQ@Ιwބ4z_8khajxa]=G!uF"b;h|)1R>JUŤ! _cj[K<ܕhVgWf̜{V#O$9X3SS;tsoHj͐ϗ]9w_fa ^qݾ J}Zv:ʝ9Y@!-Kej,c"E)vJ0@%*RꓡuLrTubߋ7 \9} p}ӫ -Zg厙Lqy Zŀ!D:m]!N(vp˧D*"!>DVW+Ԣ(K{^֪7tJ ua̤S&"u3:Ǟ_'K_˰0;Hprי+ LZFA֟7UDRςW;)u<X+Nn8q |J1UtY{ 膴_*m9.c:S[Ojgb ixG-!J>H-^!PB,-kܼ  \ cHn,` b\РV×$iܿ_Ou?Ps^ S%)Lr'bRN߿Ci ìJ <+[\i樤oz(VlyI Pq9(v M‹gwM΃.L19붸T歾{&.h^dqM 'de|j;-}(^ߺP@Adp?{"S:A<.PɿЍGs8XRmǒ=M/QD7K[,:!@=;Ik'5I9ڗJ0r'pd]ԟ[wG=C[=Z *gy `}(H QLWzc58JVƾdp*L)VBލ3s}bhZ &vDPɘ.nsl|^qυv$!?K DӸ Rs?Uv f=ߴ$ZA,3s[-lQru= #ivu+2gwD%7ؤ^`N>ښ7Fz2~Nx? ž7mv%Y|[+e߀j gj%K=[ICU$?v?R/$Jca@L?n)tfv NKƿ, $O%,+yz3ƘxV7%y=y;kمOx5Ig.~maG܀0suJ0.'7cL_lFv:t*f03"nCErP!A,Ek"i٠y:I#n)!2k>{1!TDۙ0ZV㔆>P܂iѷ!ٮYQ#Ֆ%̭AՌ {V08eLr/A?~@SK%.BpJ9=lѻ; d6l&P}^IOpBjJpΉ@o)( r s_9˨(s*`s$'̯B VB&`+s$`♅D{_v2(U7OZPd ]r;Pw+L=Il|[QnQ~ e6-.bQqc2KV5-!6Y6 cBK/~`jCF`nZ6<%䠣  |2b;Cv+"2ܰ$̤YoG+ 9*,'AN B/ U>O*$ EYvavfLE6*5-xn\>Q¦n^_QA DT&b{~?Һl/,wdtt2vvL@ V\U<呛q}2ϴ;E 9+ZxNڿ0{3WjD\,1yyF<^RC=!Vx((*TșVQ ک!}5 vOmd \N 8-kbOt) Ñt_^㸖6Fh'\Ѿy SπNϡ<|=""X9$ېQG m\=.ss=wɼg~V~/6[e0BkQ4\TݾX5htG]kܚx cI'UW#.0SUaN}-خh\-kT9xά+ .yɜnw5$oV(0 c,7f|E$Cږz<ƩS*&gϮ\^lmv2]9M=8㔂=j{frΡQ/i+ZeH5OeRH_م $Uq^4&rEڀ1?Uhj v 9"2mM~a6;l7 "Mob :?nB!LBAxc)sG]9HB6tz?-#'SFσ8Bu٣:JngI*pXk_7=p-Ͽ N }GEOv/Y tkμ̥%@&&xg@pߺu:!K'_!LS/bs![ŠRH'y"N㞦Q<< tX#d:N6}&<|qNҵvvYS Q @ LB58yv֠Z 3TQa$p~.wYJrlsURWs:vk;[*T҅e!!l8wz2CPAlkۼ 3J*$Vr? ɫ71א~c\;ѿ+e>4[lWM09뙩iP h7`Đ5jNl]\PoXy}ۇ; wCcjKFl,: fdr hM~i[![ ] ?#D3L~X̱-ChFx"fʗM vړ7 %y}F0@s'.hf+wA5+ GZ%D+e+ssqgi=y4TMZAm O^v"X2mSjq:+75yP}b>oPmi󐋅r\>IlCb:Pk} |Q9=#o@<ܒvF LX 3- ?mC-]5x*^CyΠǡL6ĆǼg0*e+-K 5FaN`qu$=m.8>ٕtg<[8Ta~3l8qh1C/v.xW`..Do}"AkH2_?G5 *u題ZMô!،Ѳ?ƛ`k`lkDƒ/]FO8%ܛUvB=niC3q#!!¯sO2u 4'9=?D-S!A)'?9)w_O#tUWN>%յżn=`HXĴzmb[v埧7'8CV0XN RWgs߯$v TkLw6Y5N\^RU!^R_DFmI三D8?J!iƽÓ rW_}n6|ӴT:"9ԙ :TR[}NK2DъkEUma krF=uzZoR*ϻT+Ҁt!O!Zb+*%qA -6xC>`T/ e~C)$7kݑE}K[ 0ã@_6DDul 76&M6W\oP0JPE&pE+Z>= Lhb-s"O&1v˙~ :FOsJp_}odߖKxdKpE|n`f!s,CL08)N]zMK"fb]C_rT7kD7m@y a7>^eWJ|E2x5'Ale)48k * :|ATt6Xa|zM#^nfa䑸Aw# e8A]te!ϠQqP_^ϋ^]1A6)n.y 3G#/V5N6nVQݧ?#bu,HzSHj(Yf9l86ޟ{p<^x 2o/~Bz" ("Rܦb3'I2ڃUuٗ [!qJӵV"Հ*x/R$D;oi_eiR`(zlW`'iRS2rLbmpDJGySJ3ZNjLʐk|`M Z/eCT%w{o4 ZpsKPP6F 2@V#Ãu?Ʌ"x;R -.yJwEOKZJL'l67$gPٛiA h3/budžiە~'i zOW^ZfPV_iN[|mx63ʾiû5օϺERtUU mX 2E+mM m4co1WAbЗw3g}# xO"kpv'4\ ʺ DUKT^A Wih}098m H0E2ʩcIeB<zb=&c"#bUd^G B_ns):fб7LKы2 HGtfZ~P)o,=٘&F2<ޫ׋>q OM+iBw]ln8T3CCmFv6qUػ;6[~UF:<}e&c{mtf=PPJY( ֭iv`,ɶ.O߱%L(UZ"K ='NlD/uO Wx?z=mեHDb|Ty$D'`'n|ANtJ 1M:.iǧjv]vOtkU`hÐ"]`\:Kzu [l2-j1ڔf ԙO#T\ G {jIn\9V~z RM<̦53D*wUe}lӕJ.K?h91 H4kUngr#o~1% 8K5oevz4749: M~⸣=°htMh`l&ChcvDG_U8@NDG-S1pSA( w լ.Jc[/91cq,Gnߕ8{'r 3k;NɃM"ʚ$Rl ɱ51x5%ʘԟ=y:6eXIQ4UѠ~G-*vgp[9Uy+RN@y$:Ym\+ x]nnaX|!} 9ʝG󮝙 ~BV]4Ƹ1Z3O5$EX{Ir!fDZ{B|g<jcG:!!c!l;J/\}G(l܅f⬪%Gcy+Hܠ%R[ؑF5w/҈%TދX3JcrG,p>^/($Gǹ铨 ?،Cv1;OzGM:s% @nI 4J"]9kC&lq;no@`#%21۫j.v-ʙ%w,]>A)&e c\fW2NBh)  G֫jN~vs-(Á:zLP.WٶFuW,xNP?Wf8Zϵ3@\xcPz.eJks4W0щ,J~6{JƹԀq1uD7Hv!ǐ!f6PJ_lIh^K'4b :I-^^,4VT25q0})s&‹fds`T,]ȒMZnLGr-|(0kO~};Fӷ\qQɗQ_6W51ҏ1|@L ir.)퉒,QR.kbOy3{R/'\ H*/酕ʶِQo EɁ^\dwa5˟i*?7ccE8d%j(C>l h өʌYkGT Î腔wΤRKkcVtSjo;P;*w{euysˉp-\%Re-|IWn/v`̔ x\X)񎌿`丩`z'Z}82YHֽ t+L},Ďƻ:MQuu}QJ.tC_~sj+[cW_e7-\/oZU.lqggv{Jm tbYȰ&z]ꉻ[]O4C[)pGO)\k#DodXř.Ȟ=Et&`JY̒?믉&c+RogR )HT:Qb,=8F")&#,FjZKp5nd#FjXs0>(MV&,JG ה&CUBV <Ҵ ˥#C[1Ę<ɼM>0 )aoM1{u?rEu8r'0c H)Ք%>B|%\uT0\^wq7k"%iGzE=dMuCx)x&n7%60j6){V- cQ(jʘRUK㾿!M ʇpCd0s"6"Z b0v#U4Sï!Z0ha-*|[=W=e5gY& X*CUJJm-:-7CR_W"(ӧF?X@{,:]L[_0NPm;T8T ]Uhg8:΃lx+HÐWZqa& F줆kSڴ A!@Ǥ 6O ShUƸVɔVͧZY|/33+8HېZ栴6ЂnrʏCP5gT@O8KHZTG7(42坋 xih^L]E?RWtB\ 78 BK @݈M QKPR`ԴG?AV—8@G4#Ie5jLswF9GDI3qLp M5Q ϐNSڃ%DyV:`A9z$@k HjcaLErzVNSJ-ުHrv38b4A_SpEnޝ,娏]OUXW0Ét% %ÐYʏ xk |ZET Q+Ԯ\ݕ$  ] ĩh"+"TXl>vn>/ A + 1SexQ?:ctUBߘ2vd*>=\EvyK iPJ `P"yn]KG|9҉S4QSGO|j7ynAdʛ8u)`%)a~jஐe2]}Xi) @}瑒*0XwA|&I%|}X ŷ C2b+݇r3D`jc=Y8Jx/SGD$D? #%)0,Si1=Uo$ŋo{F[hzp.~ . {_Tc};z'R}~ҠzKKy>lo;#-5E1Ib3-F;AnC4w44A;Mδw68.TR(S1pEPB?مWg5ԶA1x~U% }}2zt(C"(9G4Ta-MKՎbU;cr}]@B)";`͜pŒ=ٰ^:yS+6zqs+Wc0q7a ͹UxFe+$ɾ.}nŀ2t*ax=ΫΉ)J28<.Dz_E;Xq 8ބ-į{ 1{L 3@<. pXV儞̩IT 1M]]E1?KѮ8z}" M{ gYhɚxub]"ϪGLkwr^m\ho[n#yxDzTzY"_xU%N}嗶2av\z^ =JpQ-ͮrYoV!&sY}{®;ZJ, s[_ . RbE,cW֪ܗӍg~EKLe]nOm8H/VX@8Z&e8>HF3j`=E&]nYe]-5bпgєiG0rmO1mQ"4% }-OQwuX701N ـOe?Y<Ҁ6 o%&E8mL,"WM7f gn㍳\UͮjpN "5lɚ,ׁ&Q͊4_(y[Mgu&O j{a䳦G~ \:'K#:\ijIc7\ҒNgYZ7zXZִF! xi=]ŗXi%szs!0*v a# מ0Ym,2ɕ"̨BMmw2~yctmё~>am܍ze -n\AIo(=0^6t`7yʿ)ZRm+5vFe}wq-xfU9um);*9O*FvV؟aG>X?]r}7Yvw|ZӔb[}#n&9]P&9Q27.N1h-nyՋ _ &iB&z3><4!^To%UJ%WYd2aPl??Np9? "Hv7א+K mH&"{qѳԿ &W-Gx5%~2ӣVJWb7Mo]-%#[xcIVHxQ&}#4GJBb\h;<ݓ>AWQAB5~QO ѐ<%ऎQTBJN`ӟI R{KN7fY(0L dfI#d-6BOIR4mۤK3xaM{iyX,}`xNM5/w@?Yy,I~hyB/w@Cj&\!E Eq%5oW\ݪcjt`i9aH\"uD$:Tn+L^Nɧx>d.jw ݹz^`~i9Ok& , QXCƕ90x}.@f5ޛHBbU9k?w\rȺ6ud{!Px: c٢*-/l讧5Ƈc!R:oZaA+TJa7qg\*K'\kz7+.uՊg̸N {l hnp렩 -ܓ9??uM2|꼈GKE#@,=-J;P^-3V /nu.XVL mkd q UW洋mGAAR%'>@hmfԍY⪅(UkqWV`w5 f_UR$@lQc]ƒ}w[{wf]$Kag098cs-T"蚥 bè*LW5M7QՋvla-SB$ݻvʹ}Ŵ|`RNe_W?ů4gw_aCnnjȥ?T'iՋ#( H6NQVr0^)4UwEqT609sIա\WjH/?椮$`a@K%{}mRxocg1{ [5{zzLPYl *<Լ%62u)5$.}ib,1h]κ7nW Etn"}UJDtJWPtczi?& Vʸpc8L&l`\Ml( +/bCjeU\LQ(|ak|wKNA= ^D$AQ7X*'<:=m`SeBsXQob|<*3;B>[RW뾀EȺbQ.I׻}YA}.| ;Uuz1Jz3Lq3Wj+t+;)2Abka%i7W׆")0o2o@ÿP3Z.ȞbaHǶX24j @V۠"]*sSwTžϒ+]@nİ&/V=\Dz0!@$g e`"#ȃP 5+G|oRKԿb2qmms6Md [%2=FzkDP]bC9>1ۈ1p'%:ZUx#YIOWbI G^ vvq 'y[I/h$>^Wq)"'.LIpv ]$ZDnչ| yRm⸥sgJË`eԕ >8BIiKGq\B3i{C t F${U(٣_EF w=IL٨hNVwvGWo"zSP[ ǟPF%qu?1u72mYO3n__d )@9v/I;yL&܊4 cDžՎBՆZaAC1.HvYu=EpwT<JLdYLM\j}kY6ed$zGNkUm ԍ{fx$|d>hFCaeq4j?󉢞nO/}M\h-I~[4^w ҄R$Ke?o"oOD*Te ³8H%N`05L}ت^>ZM0/7Y]g\~f}T TZ` ;6rT5u?~_KM.G*8L3@#(7lB]VAE* ͜@!devZ9;vT :("sO^+u1 L9m q튪 иT5]{{8C 4Zv*$y\:cRaoOdlaȝ!BmE/Gh jYJ.)z Ek\+1(d=N|ê&~.K<5j+)hj<8W,@+z$7mюXϔdwf àG8$^ BP$ۉj k(y1.f"R)rgP~bk4zV>_r*T='s/ ;OomI=٤<V)AtH')i-陕-U,L7q7tĎlg!t#OmC4އL+jČw~yHx%Jڱ?e-MӺԏ,bbs W]pĄ#:\ݼrLj[~YS0[@ C--!b8e kK&;M;ᘷi4t;r{ j>=i~nj_nWzU:liFTbf|Y'tњc# 觵'E.( Y{ĞHΐ#wEsTjҒ p+d<{2!CAkE*LwzGǩXY 3JQV.݇$6XpX@Zb([5"mcsTlc67Mp2`^Вs/ `f TtvBN=aL[vz>^lC.w:^K+Mm="o™.ξ5IFTFlJ9Hr`sLeBh~og-FE Kܶ@v՛ q\61Aw4ØŢUfX?FmfuC~/[j7R,Kp&,L|k@49 k}.R wNuGۍQ}8/[Vwv2A]9sa%_$X;?bIf?'5 LE j>NDT6F?RA>IvϬ$qM ]KI#U~٨*unY4 ɏ![05S`\g7d]|;v ]Ix]os S(e's!cc;1ԟi@ )Ŭ8YC:irs"v? t0Ovyxs}5l%V].5$O@@ܬ)IŻB/VK6G|vG:3 [Vj O$:3>⻼]}hrB<+N!];I wI%˟%/oZJ6FWXǺ4%TĚTݼf{x+U?u |O W2_%PgQkmM\H B8ķl6!z݂Ht׼D^7bQ~, `4[dy!Ѳol8+=*V @iZ(RƗG$%S/ۙt/?Oj!%p"GTɬ2|y6 n-_O'!]D>zRm~2S}1xJN/6ܞ.ҩH,Õߣ %N' m"rEmFc/ 9>2&gg++fi :7D'Éf|8 >HH֢MPnJTol ~P5a7E|@3R:Õ]+XИܩ ̗(rV< +kB5U'_tnm0Q6 |vӕ- tĂ N"%~l Eh<e:w;!3 2KR$9SlJ)51=cpGGȯ;FSa$Yͽ\r);X`X{w2b;~V4O.;zK`XQ<|;_Mv -#:irsuߍ(Fl#d,3QÛZ1$uqdBLL(QHQ_\}gUi8Vm̬Q8TGO\O @p}Np9k*ús-fInZ3bt=t؆pܱ@hnV¨ u]Ũ>;"ÿjk~ͦ1B|K33k2+;ll$G8, ̼73heKi37zKUMe5{15rZwcpRljsJ n6e|UwiK-*yeL1,^/W=8jw sgdy`vB&vP7C5\Hx![5ԗ LXxq즇= |ѩ2 /DrF;e1%uȼk~+PQ H9SYKd݄Kt~Yq*KU R&y@U%P8(Gs`㝎[|/hlX#IŅ^, kRAԳHrz@yX~NRhnDOX9G bmA/hm w x!DP2_Th ʩ _8]M ̹7'EdeK*ɩ|tb0X @`@tлT-"p< xqOgYZ1054f1033d4918cca91cd760cf483936d25b99f6 10be27796c420cc38705a675baab996565be8c16 11289afb6dfbc4468a09cf70d669980d34573ad6 149830d3f567713c7e37754e9c771415c664d5d8 1874a0cc34a6a9879924440656ebf79447d8da6d 1b3639e3f90fdb7b82f1fda5d2a25881abdfc257 1be20c843be2fdf9ee1e5f29f5e3eae3a4f06960 29be23843f4f288f36e27a065bff8a12d3a79f74 30bd00c4dfab265592490855474007330672fdee 327ddf7d3401b8a97b4ab12f6f809fe497c22c04 37ef7cc5dd17f581f737830809b850cbb6a57753 3adea1249b1658ae1d6b2df875ac07a29d9c8d5a 4c7122007bad6d212380bd173234b216d5e684f0 52af50f1a7ef11cf0700b550f46948c3c45c3edb 57b92a49916d73535bb433e148ec54d88a69caea 6507797ebc5958dd053e7e1430c08c8d9490dc48 653880ad141e0c92fdef459cd57fe478e700c2ec 6a5b3f1fb2f271c8aa949c2981436598420cba8b 927bea5d85c504c0495f639b096a8a74ca9544ef 928f12ab4885fa77624e01d299dd22f40b22acf0 93e5eaa85ddeecdb099d0a9340f1d4d8f2b92789 b9748fdfbc863924b176bc1e60b1ee44b6e1704e bb2b86d2923283d1a89525aeb2c65c3ee8b768df cf230baf1f3421bd8edc0c105b6147a06527a525 d0d2bdcbdab7fedcfa8466930b04a30923f57019 d581543f7935f1f8f097e33db8bfd26157c86074 de9b3537e2fc56f3e2f6e84ba7d395122207b30f ef3bf71fad1824b9b2867019a1012b86f0ddb159 fa5087dc410bc19b10e475c8eaef9ddf20cc7905 fa5ff0fc97defb19ed05eb041455309527dc66b69711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8 2e955ab17180c267756e7fdff229af0d6ca147a9