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 ~/l AS]Deep_Learning_Lib:threads=2elapsed=189.538cpu=351.976gc=15.980factor=1.867zXZִF! P L]ŗXf1-q恈͐7ӺV l{3b͖{p(~әjZbp2;\gX`SI mrg ԗ'n* B$B9NJQT / Deep_Learning_Lib,LՅ%E5+FFN  CW_c<0vR^_k0wuE2wuT 9Wl  h؇p6.pr\{>D9TnCrxkgJ292}۱c1rYtU_L gü|*haI зҀT Ϭ,HT(s@p|0fq$ qԱ);ON?INEzlHJ( P];y&fuyB DvՔj(]sU7ա9[/6T&aevnǩ@$& q'\F&f< q0œ!@L-$(殹jcADm}p>  5K(KL2Eӻ&A>,8E\JMrKƥ3]r׷D:5<1./udi[JSc1%IkqZ!A'@~~~E*v =.Gc`֒ }a3o.2ۊZҪ5_bi{M~ __HFh-oR(k*͂ڰt_kKSRY7NzW D~0q;g c.ï5鎎%tJFȆz9];O9w!] e)@>6g1 V5~_drjjŇ~TUeNͶgt⣹~R )ys%i 7!dpCng4Xm$2lA_H)"HcI,!c>c33蟸Wdda@&͛vBh{|3QprŽXj FrX~E UXBbKj69B$vN)dH4E,*E3e"ox 2Rd3>&ĶJg^ (fxnRA3-RԢK/ԸBVރ7[X |Zצ!.T[Y96r!uۇa7l8(Ü͇߇FY (N{ _ !(K(lp68YkxT̓A^ے8f2F!IE~Kb ںͩ}N4u6JF&Z1:2,<-s ai3y+Ӣ\ /wt]m g@r铿qFr ͙[еY}"*ubo`NF1ѡE53\.C,K0xImv?Hr v⪮ ~[C3_Szv_ebyk̿a EjѨ};Rzu[4n %BE\WqT@ CG=Ej@,%ȡ&Qn[8 gXVRn_ [H; 1\5bvxg5_Qe2`9}c3'=C,""Λ!N*̗)/ʏS| 0\ӷ_}r}&.>cĹ-,{iQ#<(59I{pd]&u R6I􏯞D3t_Z7",lbĸbՁBN4FիvYR>1Kh3l[1}8.U =V,uz. ?oi*V<Ա3&~Lˀ6PKOе7|"G_ ,Oxp'x= >H/4|WIGo}[yIvDmV4V_pkdvŢN5Xy/~"!2rBK7 DCzxABMFµqccYipGW;Y{L:p6ZEkT6^DB)z~0k<I܈@wc$w-Yg>Ք6JT{#[o:MnP kW$!.4FE(@Y)O͙I Z/a w]eH"v3\Y6 ZxMh{~J${fs)ۡ{'5[?$1^SY+At'`HZ h`ݘ7Ұ>%&Ԟd%$kZ&#g-p c͑MpH6cw' cB3<"f(c!0H/83 )Ao,Z R-ւ1RZneo^ct R~˲%TNں$||7pu<&=ZҪк*tޮhC˃o9Gvu-J >+U `E[5IHr TP|~Yс/Et')|cVL צ6:JiC0 ,u9<]ݣ߯=8$]]`KfVtp8/?GCcwSIZfqzjϮ@JIcSخ4غ5aaya:1}Z[eZ(9d]lIK>un~):gˆ_ YkFibfS%}zsw](3kȳutcX ojL'FP@t̕;1 r'?ߋb0EE_ވb#f3Di+톞CKxٗ1 ^MWgu@OE{Z{H(OP)xYRCuYdb4ZqO~dQz4,16'J֤1. Uļ9Ae]#cޛCMs01`r'>vf=ijxI=E5D^F0)<^p*y!& P_ky!-F|?_k:/[I0pم/$y9\(眉ZpPAVtoǶA;g-`0kcδ Aú9?;ds>3bEJ黬pSZ.", ?[A.®CPdMs/oGz a8O.9b(ߔ\WI_1Pٙ+Au% \;yb5sv1In.CGܶ_"wvL8au}oLܟ>d`V=}D,p6ECU8Fe?V-::4A)6p(cla/75<vw:,+ȵ)m"-&xe&\|?+>IWKa3hLi*k|5U7H|qJYQyK0&[UJyU[PzdFZL5- cF!-ŧ{b1P!53y ʭ$KcsC]Vda˖(`69VX؄iwEl{??mqx{#g`R 2C\q,fm 8#H6^e}8=S!'>x)h`w @Ȥ(1e^f;(g~'85UkQ2Irrg^Ѷ;"*sksDg@ ^NO ykkh# _xuZ*8 i ?¨$-Q:Y};֛/Q]\G4_e~MDZLɗYZЁvv}gI6MiêxP* Yv9?ƎC2H'n2m %"VMGz=Xm ?$.5LCPt͓5%R[N>sHRtfUo4{"v ~ ha"6cM~ O<δ=n_u{3hn@V"!W,m}No6:|GZϪC.)g qYI(ո݅rgkJ}p E䣐rؠn gx ͕G4А@[ۆגYڌ#?$qsqi+=H_y"aO.BttFs!3x͡3@n-!BjV"('NNկƼ W鹡HQ3%J>K\G~R݅4ak%% ?_D5,7Ar1I"ݰb>ͺ½#k+xV婈"V.]k5xs!x^V <!Z6::0>TU 11"x0v%E(k nvI!ך?4PY aGBby0j YEO u_316q/OxQWO/58+˵(+\[t2:!@Y]Є5 zQ@׵T~ŢҫUc@:(Lg>$ޔMrj$G$}qHxQ,r;4) Tj֮s v5Jf֝E9YX=΋RLZM-ҵQ@TSߪr|3?={{Ӑ5EX9/;e=+0T-'hG~FzYC$~{ vbXtsg]RGs'WW/. fĚ!s"5T (ݠ=9̹ mKa8韡#G˦Z"&"稻gC,<=CFb.@t%V.p&523$ AXVjFmjE*@>wո],VކtM*PJ({?Ͼ~V6X6[=dok8xG4 ;C17<d'"L V0?B|k^I gڰLȈ]$T iR=V}|*_z ӭŅ|MDP2FiC:5O֟labXӅC>sxdB#.O*Ric!c ɂpv's9VOj{˸6=I5'wղ*~' V`t#$bbfĈnt ,Կ*8Q\ZW&c{^TlmQ.$t,iߝWEKhCSL vZK. #XFhvNiݝf~s`Zڦo8rn얣ؠA kd0WbdUWz_fueKt+$^9Q8%ˆ@C=TœVt:u ttl~f8 K,3çcpkEau5B\) 'm\MEcd #v]UCz\}HETۓ9%$Jԗ\Q6lrD ,(;r,HVn?P*-6)V)C$')bջEO,7}:4kor:8Dr:PKr` A53'c/ pT~uB,sfz:Af*q \M:EΛ1a !{F'B[;qu CTG/M HdB["}nL:V䬖 S;u;h;e'0! ';[ TOL<k*3m/\3^ok[JN-,d=X{ *QkX;ο137T٤(՝X$D@ӤW^X5$lx;j]jiGu =;H8(HB@"V[(>SbShm ;LF'eM[ޚ8,:R0wS RQMv 0戈" pmܒoFl)8>s~Ux=rIH鄨dKX47NMX{ri*fԕ3q^@omr~FROEgWźJJ2u}{KVTӰZ[GXGB[fbun}2?9(CUQm3Y,u*c-Y:1U/:Rϲk$|. .Z_mR7ҽ!t)rXٲoЁpc&4Ka[?OO7fsw,z MόmEtV],ɁR`rܖ:R-uYڭ*K)OjPvΦwE96ZeYk@⯺+1B=h\((.0`tZ&< gaҥg8NTK8(xpwr8PhQ i_^KM۔\Ax22?G¼$Wؚ7iprݿ-6^cA7+Cbpդ;!@n] hWgyv\0Qy~ &0V$gtr,QGet؁Ep/HFY+F.0yo$<2g,UMIzbd'ɨ@gdwAvx ⯸YuoƲRyR9=[+}+ khq YZv˩F%k%"1L ِDFp􊕞b)h̴gy-Jrf9Ҍ/ I]lOޒǵ(DyKڞh&ć'ẃ^@̠/j}Ձ97_ Ӷ62\ X)5Geg&(7nޱ&+41|VPߢՅI7QHw͸vwiͳxye*` KD=x[!Q@ThҧB-Em84*T0YX/JEY} k bް402@ss4]A`gMW!^,3nG.`˅M1P4Tx.r_K$آ}b`&!4>!GNBC&X("Uu}%.R7S& 8T{gN$a1eT d^?$[,Ԛem' {4}O:edOI#ťV)g VfvCMIahZXF4 i-"DJ6PgASq+U ^dmnéQ މb60ѨZ^^ȑ~=Dh-WOr ЅC (*t=r{A"Y Ծk^,y֟_dR*6t KB^" <|Vƴ5R2i_TeE!׎1:M//&F3l{"weBRuklFF@T5%QF Era̔f6`o4>9ܟ(R:Pij0l$ oJz33 LB=as3۩GPOăGJ6BZ&ltuJxaflLp!Lȝ)y!K0G59TW};6#BU+aZkŪZfuWD~ӫ/:A\0X>EQyPӮKN?{ߕ{.6d^jpT?ٚX>PX5 Zh%M}2N $]3@. ֣YH׻¤aD#=:oz?:3( y( jrOn̓ %9#euH68bFvbX$ﳇEVi!):.NDF{g4H % O&TRb\geݝ?|":@xBޝ63`4) GѺ+5D,*Ofdᘕ>TS+=\Ϥr0թ҅*Dyy[)ǀW1o@>E! %W~k>c'q{; 2DM;$B~/sb~ uk%?vR/XR;?3?j÷*A[BHd8-\g'3``Z+$CWiyk2?Z) cvUVBk *g=9jOǹXOeǵ4U1֊9n[dYiǣP-Xh@+7BCދF(Ce'Ҫ}i$b!Y'_ϼ:@hϜiasڍF /A`d~dRRƒ2&[,\iD (t"Cv͘b%ƅ/XDvTwDxy|3ٝ0Ǧt}[;^FSEJD^^%%?J"qqJyz溄q.hc"I"r&0.,R>›Gatxf9]-kٽRH 8\ᮈ UK]~6_/B@u<7҉;V.!U⨩ġFG2ѱ0뎛L~2d]OD?rOI)r6 (E!J8̐G<^#_+9#^Y{rriZ]/RNWh>-Z3ȗu֫ ״_,mΥ/Yݨ@ j:e ԾhluyN,0hoK @5'F+U [l>nً~*bualUyVNZW1+ZJ8j{ 2mVx{'3xԳnB@xvd/vvXX` -p^xErA}. I /"xи`/$?e&Ozk> Kk4a =aAM^&w) EqR&gj $@ UnWC{$[c<²{>se .|g|[B˰{T3K0UDh6%Go8A7ƍ!$I]Y{Nܬ68)C>9zu^ܨ[݊ܓ62vĬ甜/$, #<+g7\JBKv#ϡiӫhqɌ)W@<+l -mՠ^SZgos ]g~ނ HA4ô c LvP8<~3ko+IiߖWT$_'?Yۛ7Jhޅ TИNfDDKtMGCq(sg*ߐ=dQR 76NPT8cx&jv0tIAJfcT|"ݹEdutjnЍy! Eb#q{5=$Mgf"Ga|&'Jpҝ#eBbj)m G"LVYf!8@xbt}8qo+)M O`0iU2ݘcC)[rDz"~PĹ:j |O> í}jY|< qhʲ7`HXL(WΪ,߂>8ox7l07tZe`5\J6(:2_ƞs5LGm7^x~0/ip|8TqyĒMOA9&BiN{[9q3y-yiu`+s=ɨ̿oaЊ#|-% nYŚC dW#;{cJ9Qf}2F}V 7DZxC(7+h-.22/])xˣAsߦ@ߠy,%i`RWrZ8%;*.͇^jП@ta*V3f=^?4@@='?CxЁE^Mc$z<%g1N":Tο5# 9iʷ),/*'N*>npD͏3~G+.o`-/}M>ӱc^H3m^Fb*āj]~h}9Z.WRۈm|j_߰ O"Q/8ۛd% rn9'f&:A/c!%PhHڍ j !vC_(U#6HMUmOU`G6M]M"ʹ'f&TLQ6Phchc J0Jql֊Ы\2,AYsπ*G A'Xip#l)PʦA=ڷO9wF}2* ވh̏[ (X _ޛJfYVVSė{#q1;S kfR|(wLcɮLQKF6TũtVcc3x8J&7ebԕZwC{/ߤQ B@\ Koy,!. %.џW?W3W!\/Y}1E:t:o(,tQhbWFEj|7Egsx#ᇕ 1k^ 6E+!ho#ƈfzM^)ϡC_l2KEl)CTAeMH 3U&3]W~ZVD lG lb svno +:|PĹH|lx kR3*w^ 7ʽ6"vql[!R0;%Q$712|$ k-)nbmMƑv\=Ќnws9³.V1 |%E4AEڢ\8tb[3ɓ 5Jeǽ*7k;Y].bǤIǻ0`m:~ͅlY.KrLCRE`济Xb#{dgX s*Hh =yGWNp,|>mmS^`eҔPFƏr jHi~]|,Dm1=D"d`Q 22"` 0F{0r>^WmmDUYH a1 ۳k_Jq!ҩƄg:@a5* (Kxr. _4 f9Ԗߧgqu9#FB]٢+IV4T5}賊#mG/ƣxe*hSc bc(z׃g ز=f5l撘k ,].D WRG{H2Јq P"BMBDd2}[9g^m`ǦnS$'I%30It Zya ̬?_2ZScjaIWsz#(Rdq_axM q-MM 29\|tM7Kϻy. )%HNeW5j)qGjwӸ p-uzP)W.NiB>LgUrI;"OrXNMT*&k8ʿY\jUغ! <`Aq Cmy0*Y0'nLWV ,6u,}HȚ3h(3#J?[s0kp X+bMyx QW5 :9f'땾4Lp|;+S"rZ ~?n9(gM^v"cWm&*rCpm %̈Ƽ8Zk tF6g= 7J\rA*C|VbS9u{Jj2J2SSAX9IbL1(3Žj`pT?ҵWi.Zrhf{H@WvpHhD .<$rV"D<7! e$X# \j`'9k͐}~8f$?{9J%v5וgUU]rMJp+ pO ưZu柵Rn0mȠLdVmkvgb9m# Gg{Ŷer5˵FmcbNd_rVHp4'`F[ey&#o2ǨXIkZӼ\T`%s=sjy\s( s*\RL:qNg_DK*LY(5_?!`tFzaR M,:(V+/5t5|P%m4|m$mtR7KDH 1_rOmC JyJ^mJ?i;ko );*E~ϓb) %^RB]emg~080v:eKZ^/AT^d;7QcCY##jA]eOW0pMs% ox.uC6P\5 XA^G/!k^,xjk> &?􇩯Aj{ &;gIb=љ28r-! `tWEǦѧUdqՍ `G|ET\'CaL3I:$ka.99 FMG/X4a ! z|Yd7X "Q~c')M.b\ddi2ZIZtJhZ:1095E ]K$U6Ve,20T "^0sMyMPϹAfMm-D%$h&.B;U̩XD.bLLS^v}T|7jK npjUCҔ]0xnHbB'ʰ"\ .a1 ,,%_<o 87D#r#$ǚ2IABs|;WdaU aRnVXPc^?b˗vO1#8I.#-;+d9QO88Ug7a{"_J_;G- E8me@<[2BhJ}6'Lg68rJEQw6ADHvex̺.v2 ~%#c81AF;Fo R: zJG*ܘcxe6T: KB0Z;`^[A#.~R_Ḅԋ7%z%4u.{kdw '5 ,T*j'V,WrʎG-G&Pb4d*p2fzg.)PW <i7`Vv$*f ?sI"y4a5[]))S@?G2Rl%p؎]e_!iW󴵾)5[\+v  |!/Q=T0R/hMqi&ba\-.׋y=K <{}E}vZ.LV>6WITW*i]xװ/:PXD~,?:ڳ%)P' [D/Ag| >g.xW`& ?$ sWZXw]@L=>]q=_LOEbS3!^Z[;V<GR(t’) -] uH ;課1dz#ʹ=';:â U slBЂ FїND\8Hfe Qɱ5e0D{ap H)VRU* d*HkO(Hv $mc+x:`;LB0F(}5?8w%śE'<^ :P td#Ń3=HR&@_{#IgCgL[:I띬^,e)A09?=51#]-_i4޵g;xEqo gȰO4Lwjq8e$XFt1n-A@m]t&`ext)Ot)X,BPcBO1x0Jl/[8kU0?$#76g]/ԣ9XRK{ܔwT|ֺraw4ON7-Le;pIWM0~ V#e/v!J7&lVX;ߔ赝ƲhxbDTtF5V;AnE ɚ("h A6.MϤ*@j_]Ql*uSt!k&h)G,jx4k#A֊3gϡp>5b%/DmxI|Y H9zօeШ4c;mK +g6=MIźPDEL9O7TܡeubplLAmmP꩛hݧU e,e"7AR~os˨dWlIc5Ηdp& U,C"8|"Wr|vu6V!G'2ġ@T;dEa0;)l錝Y#5 b' PM8 "͜ȼ*qUXjJþ O4JjG]sn^ێjA*W,q sO%J{)XtPtN/}WH&4`]ENkٽ2E'^'X>0E& iH`j4G?>itW4l2:"nqy3J) (,ixuŰoyO eC_y`I9zGP}rU A(zԂ;!}2,A <  hS[`QGϾկR"Ne=tR1jk7¾$ ~+nCOs8H7M?o`1J4]Ϳ*VhE QLXSA$˨ 3nBFzAGX d?ƈڇU"}*oF j<3k}'KiO9V>BLi5vY oѢ\@ԢRXeyH XX2^i0q&\k-(NZJ lUjI@%_.p}qe;f:)uXE7}ЙbUd, 0Uk.Uq !h  h'ʎ{],|IӧIOlKmhfhr!"I'B!D#9K(Jc>U}ic 0Wy4ehJ()(:P^^PpIs}"ʊčt0Hn9Wu1TXaB^]CV5* dJ=PҊ#D椕lPr2\–bMpL1_ahLlO3Eט#0ß)q&}_VT:]֖e[-^ZeK4&&G)so~0śАښG' T8_($' Y?$ڙ5$nbɱ#AȯnG˗@LßYvKT9h,645B_Os q1\ gŤG!K \vQ#U$L` @N9^fTPbIW=!.6F3wh4L`-Z苫jx.zj:W= .ti3C4i[e%bC!n/V$N4_gywR DEw{6D}jBTRmy߷_\,QOp# -8sCQԆɒ @c`)I 0d(ef7X7뫍ɺ-v iM\zQh;N}G|?iUk͖Jy!ݍ%^BNɛ ԕLN8w+hvl]w\pѶ=V e?A~F\p8 w o,ڳO@H?]ĉBBrLG%ΔLMgp)u x@ѴEJ9Ƹf~4=fzqR +NCطljŅAY+k.li.n),eͮY'/d"O,鵉`k%IO} _!-?:_%28>Qn"dc55 ~>"df|sg6}⤼i XE%կ)ޝ$ qoCBO=AtvA3::^Zl@ohT "j5?^㵻R^I{W0Y!? /  ?U8͡CCb+uLoc \:?pNPw#j` 9w3)ŠG'3%d@V{T2QvN) eZ`hF;yGV!эwVkhhh Fu(gxZ׽o,~iJ2QM!d=VkJ֡;PU9)^,xڮITÞ1L^$Fe+  2$LI> Wl1k4RFQ^^0ag\\h#A݋;.u7)pa'0^/^Q̣;|%Rt+& vlO<0}$[A^.Ҏd3EySޥQeڊ*V9}yݺ2VAla/@)]![A`> #߹hsɄJ@No$yj$=f"8kQB{Sȱd@P7MCk(*.8ಊ_;NT9[Do23@o|B7H<)놽-Čx8RޭjU7|ε`Uwi}YI4cV%q-^Et IgQLLuewgzE%aU` [M,Ӝ5!ƗauQ¾Qt<dsKitݣ@{F4b ^2KGv$(h}EDOù'L3 hIIإ=<̠%8 4{H}9rjo)1iu *72CNJyX,לQ\^'}84% F0_'rJ@.n쩲;}8vS }sMËjgBrPWb'2*ƺ,T86NΚW5X8=Sm(.7`ǫuZJ@xKmֈ撘z\@߿47*hO<\ԥ/&iXD(40.!NLቸ^^dBNbz*!&@W@-=f%o60柍5zH-B 3#`"<Μ q"\ r |\e4ۋ!2L~bXz\̊t3e/{?dܯٷnsƀJ^5^ BN65?ZP.=M9FZHx"b:7aJdGcGf5W3 m ɨnSU%^~Z54d#:.6y&pJ51qWy# 7W4w&~>#Goۮ]S%ŸCwfՐۜ"n;A)P}C7sPj_ MwrsmsCIo9JʢJzN3NY-)1fҊ/+Er{媴 LEf<*Yd@bY|lW-tup?JK#XK~?u-X۾gmW'( 2 ,v::A=iI jY&T<#ر3iЧk%;^0VmIxh3C#SC}3>9Ty_҇0JK7ȟ5ķTS,>֪{[~d` 5iXEr d0@鍢j"T4iyn8طrI=z۶A>fXih>dʌ*3_)y%=$ϧnJF!@ Z#Ҹ)v2[g!,}gDXާC]Ѧ08h@f Xt2$^7 HQ d4RE%9gB,0oR8R-ƛm/c 䉨R U{yU&vURe:;BPidho~N*ւB<%\% эB-[0$@$Uc12_/rRKN®wC"O Dlpe뗼}5,;uK^J”5:V?sDdqx1&Nek.`$IMrJJeN$Z aj|+~,h(8mz``gGfFq'_mYdsE5@|A!<OycO"CeEnjYɯo64@1Y#Jke+(R@OG;V5a9a#E3"w $м;Lo*YK[S+7R9Iol7u yysPJER3cތt%[9m32npXUENﭙ]k`d^` ]W.AՃ%" =-OZS"OKi4ާ^?Φ5O= BN |/ V%zR_%FX>`/Rc,Al=n B sx&2EAh~1vS/!"~ \ycDk'!2EG#>?"IgmONwydm|zN:zWXJ7o6Y~R,r*)gJvzo"+o|6c!-ZݛXZLq:G­Lz'h1ȩVNG:()ڼk wqn ZFIrҋޜ|< Cr-b3ꍸ L/2VHe8q.W<^u1Ywm{t@祒:ٱ$L+[\Q+.REn_ˆZM_V`&A^s,  M3Ez/_z#fcaʟX26>P17uw+&qKizcQ}X9 @^́N}iFKV9͗eJ^Ɵf<^*ms@p9%e\tuu6œ>N27,,{arÎDq6%m)5Хj'[p*eB4.,9p9j;%@Cq`8:Ψ5xʤIpOA_s?=cd~C 68;P(FJ-v $Ҁ6xVRa=8ժ=`z3ϧ&T$̈h<(pB WTym7)]ʗ-nqM|&*j;Jo~dYΉ% S$+c4`Vn6SR:<Ԅ8QWcqx@rq8űo#X9غ;ʬA+-Jk4-Q1pT ς[*n EKklT*H6 2rKFݫ{䈌)!B֊Egl@c8Ae,}P8G8_Qδﲢg!l蔹baa, PD]!nzs"%6O촱<1蝐جA3@R'Oa&I;؅FSbl\]%8lEM. [J?F(MіNw, $)C7(@d, yҳs<>%2;< J^۴a2_d8B¥A}\ ys>X2(7}\Cj=W7<=W)zSrB1g> r`}J%ɖ*[2C)5d;zod7ݚ.C3{I-<kK9IPP? nȒ.X q!йt}t1+i|ˆ1㉔X=o+P߾ twgYZ0c02ceead20f10236d7275425ef59dfbc5021710 285d17beaea4c49771c4594a1209e9fce3c09a9e 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 3245cfeac2613b419ff643cf72db5edf625cf117 367744ce12067ff369d7037132c2295cf2467ca8 36b8584ec82c8afdc1589603fca2b91a2eac3bb7 3ae02176469709ed2060702228dd1fe1cc8dc10b 3d3fca257ff7553ca5e9282b6fc8391be4278978 4226cc455fa452546f7fd4622b7c865ab8e54250 45693b357f26160d4c0b1ef1a0df39678cd98d1d 4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf 4e5b37276713bf5ab9ae41ebb113973e9550661e 52edb41329863c9ae149b9f908ee4716838e81bd 5a83e2526c04c3d1c976574dbc7bbecdc7d9ad7c 5c3300ba89e2dd37d13620d2265485f4ad5f4892 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 61f78e86b17896dc21941c9e7d44c091156a8500 7364e9ccf7ab42c119771af0b30c338443b40c92 74f0b22463839de0f5941bbaa6d97557f05e9ba0 838f958b45d76730a0be92b27d51a00c732b3a44 860cfa5848d2b6ba0a0acb8ddd2dba686323d965 8aefc9b67109956542535e583bb6b75d0af7dac3 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 9423cfbe33c446e9427e1802bee1b228805a86ed 9b9e177591d02c11b520dec097a77fabd4864729 9be135482787781b9b22fbc99fe61b777b1c0add af30365ff3a438ca9aea96084873f897df63eafc b27225000730ce58c79b3a9ebb8525a6b4955a5a b702f26889736c3bd426c6e9f167fa1972379448 c0a8f4df891951f43e67a343f72afb8642cadb34 c84783fb29526ce883108f7d0451c93533bbfc84 cda169c0d3fef79f8edf2ed170fa39dfcc2f5fa2 d24042c72c86184e62b759731a5f80ae517a1700 e6eaed053698879e00e1e012935a36dfb142a39d ffc84c1be563c401109cd08cba36147d94a4a62c70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 f60747b440ff03a765b404a47b50b781d9eabc9e 57ac00825636505dad7737ee5d0282b048686430d97a223bb705df09587fe664c887cb120a98edc5