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  %$, S]IP_Addresses:threads=2elapsed=406.914cpu=773.800gc=38.476factor=1.907zXZִF! X! ]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]VLqoN('OIЎkeP'LJwW8NVUCܷky!ۍs(+R6+Y@ Hd qa8*TKĸUځK]f-m^+G@qjnŲ z5]S{2c e=a#(rlUJ%2+:vp Xet1rfҶuj=ʊ#x较Nla|? kob5>4g kD~C j/ޯ?;iw#_{3*'} LKp % IP_Addresseseݲ`mUiqߧax!t[{oț/pN35]?Ob%[A5g<+8>Bd/ d.)iPW-@~mNi[r*Ilvm>E|iO@_isf)w+\u 9,AAFXyPD?<,{Bg\g( _:K/!inO)s~C n(X u>pG ôO:3l<ϋWx 8HӣRBj.!<{D p.xJc`:TFmspp{ oឳdQp&x6"I':P' l*RA@A;9~R/w[k@Lo?7\bm?1E.9׍b҅p c_j|=K?ZKEl-4. ʿw ޖ'B̹.ݢm1bAy&8k?3v5wXf#sƔdqIN긝;*١"č~ad&j<gKA)؄BG)d`0 w#D [ fcvLKq9xOH]|v}WL9wČ)!\ 4=Gug-,8rgZ(?b3a;T)q%}F ?g5y)Ϫ2Šܼ-0YUH_&NԸ:Rĺ>?sX d%$Zs6`ۡġ5RdF"l]t hd|>zd3wwcWΡ]rk)}H,`򞄟NNmHCI_gc{S;6 Ns; Eħ!8t~: #ƽz[ׂ\c`nZ.w0exoPDF`.~m;vtQXђx涢7 'Yw8@މ=i%IXp#-PtaZU+qiIVZW+p B>'JHۋCuXHtZ#bl0NRi,w)6rR ']#k f 4qq@V7"PehU[럷Oq_@k;D1Q; V,EsP_c\P{+8kk^C(aKl@h(*A`1.sv_Wy[FǛT>y9c|mH*10gDkٚs]A3?baYaъD8ўX$,G褃FXs#m9dGQg ʑ-lٌܲ?el5_&6~Z(?֩'+41 m4ޞP?N:r܌[PXJxj xPAEVgR۹I?*ɹ@t$6G;-ⲳa',VA&nS+c@+䢎-v:Vn;seAI8錘>z5ieS7 ̼8FOQӋ A&wϔn_,a+7Xn^===IW&LQjItwnqz/Al8|@ D [X-O!M}|:}D4F8Nc2$ǖa)ߧAJF$GǫQbp2@~Nt2?ӀbD,ͽ-ep4a4d%W)V\kN@d8VG Al0K0Z`amUS @dYY5?Q;ϣe>^eRocKý! aVª&r"MǤE*g|)p,Ϭ}sR.S[[sc(Rn&/g5ڙ咒^DSE04 !G pԜ&yƑL#@6,c{|vm;o)-YUuνU@QQkbG~zp`D+]_&BG~q928IלHnsW =lVEM=&;o-'^;NZPcQe t4RZeC늼VJƍ|:PËX1q`]X~਍hEGc~pY nTpͨI%gV9yEM|"ԡ8x[e$@g^N_ DXu-cMћ̦,INZvK|{/1SyDȲ8I* ggvÑ0Cb2GCgHP$hE;EaVl ,8yi0u4k`;~td̆LR ,. IŮ[,1~L5']yFM +[9JX]DvW:B-@;A{Oc&F},ZBC(񝊓 y*n^:YK ܑ]4o|"|?QJקּe]KlO4cN"ctN<(HTF} AX,HzvΊ# jfzE'?X aKq9ʾA}6Ech͠JXQS&@ $혀ȶ#k^ *n KDCUr_ܗ *¢-oUs{w3p|JAhm(x_?ͼ. xFpʘZR|!12he*]*L=yZTrDـ)/uz^*EkRd,ʔ|@ʩNg_P.' #oA- ˅[/(i6> iLJjT%ϝU}6tz$6&dAD ΒT!_!BJ#ܳΝ1RtH: omЖKxM?Yܕa1)lT3Ye"B<9jҢ^! 5fKkmR~G{Ӻj8"}<aC5Ot_C-{|9b22};sRG@s{#R\u[L3!z6dW1h`dD}؇Uv$ݐi)c̈QGi:A+J7Or {:ջoLk٬]siÆJGϽ ?݇9~DB MRf.u~Wwr9uǁ;nY%x!\:/ԡ[`"{/DH_\rAk8s}WBKNwzbg#LCOIHuѿ'C#v~0Zv'YFe@GXkL~&"br|Jջ p" _WUjoK4ENҘ@s.n|ǁ:,x|ywdg.~Sc z*L.RZ37$^#Vg˶ٌ[31jNc(;]U%3 دc˪/Xc]a 'He&g%*H|g .7؍j؃=,qmO<5ӱhp wC$E^E7暻]= I^dH`LkfJ 8{·w& r/)Q’p$rٱ``bhQ'.$U37P[Y߄Nm>OEWnpu,!Jy$Oj1m a+t dWN>5y^>vږ3 n#u7Qv:aPm8xvi?2")v>ǝ0@qv}M,G$āHFY,".'1$:?'󻾛Cy*(W_-4uf'9JZi(ر5(`WV]dԭ +j­F-HGɭϧI7{7+r)?we1N^~6xsb7@};Ց2HIDo#-N?.Qtk %RK}%\tat@~ꥁ#'dgq\>h{reNEZEw`2tDpHz5~VWȫmGn>=*웩L[KGEʌ w!2\[[n~W*owra\N-zi`c*VByM^|Nj"( zTl]eeo5lt@JVP\X}ZA"EޯN ]Cb$SM4YdG)tt35 !>') ϡFG:Gӄ|eXκ3sȥHJ5̱sX܉땈oY>h ~(穪 ;P3#x ׾Ut}p/^M9ji Q@lv s}WWRq[g dU .Ivgz'OX!n)u(V"F)O5e.XŲqi lHnGKe=NkRL#HVd72*1<`btOxм.yi_N |%C]XGDy%C4iPM-ލ:S5vF%Uө\:-;߲ !Q c-ͯ>y~=tI.҉s3:D+Qwwj{J"+4^W?@bT//}BS)CPThu{V+@ӑM `Ic-еIݺ\TLX.W/P0(@Y/(tqZ8օu,ٹd*ؒq,iIN+mx5\6$5$i]ex[lK½3: 8;A7$ʢD]%Z[t滛OLnD 4<-]ѮI>F Mڊ'L`Xi1VW;"TP*(zX!?SYLIťyvIxe g 9'C:ԞFHb7M9'a= gha Q-K? @Ft BJ2w}j,L7:#$EWفK0i_.*tZ4>vf\ʰgߘfiX)Z+wFL4}IY0Qw@\@0ڞ~nV"fDYxh_<\#>U];ڟ1׷=tr0ev'% (.9؋2뛅޳X6z{jD)sz{+0̎I#$<Aw{}gPB,IgYZ7zXZִF! F-I]ŗXi% zx3(WĚ1I<| &b8'V}ίvhL?KCaF,sSƔO@PLƔGKIQDbܫ){2y> DH sh۞cKS<郑ˊ|+86w:"59}ފVveI'oj|UƷR(z*/F"ctk]Fڭx:cبjCؖ/VrIG83yH \1"A n6/gg~NOS{h,Ӏ, 4s\=\V2ͤ0 ʆORh6-Zm2Â$ ا.ic5z3[Z[! H!P4u3/ }ys/("_< $kV"o{D{#g3,|ӑy3$1iu==V=hKFq7ݽlb N4PY ;{]Nb*k~BCF iP]F>*AM͍? e^J1f9ztsax0O͔ssڈ P3L.w7L&>8`aNEH`]i[c/-x-Sq^5EeKcX\rIsI[}ijW^MlAR+yNLo\g"%yP T/Aw~IMlCˎϞ\K"لMI 7%BߖڦB"J<&]s+b < t=bǑf!*H}k $g1mE!^kRPCZ{@Y[W,QJ_-%IH,2P:VoLpBKC m]f+Q2;HNo#5i4QAqO03< Ed,`GmU4D'ZmmZ+7AS 63v0~8̃MlC,vWPSO85\C܅X=RնR]B̈m}'/{ 1ƻ;PVXr$   hwaOήnF@>)]3eN($|r*.{JT}ER4kPv7-,+|,I8JR|}"w!J8Ek,f@i 5#f[$ pm >R2x5Foʂ[oLM3Iܗ`|R>߫(n&ǜ==.bi;+;/LPl+݁C4[VOV hfьƋ?8~󭭒F6s'AH2Iz#3f¦K6ތ꥾o͔`S!t #'II*1Ne-e RUίWfPvy5`KwICqc93{߼8h!ߜ G51^8>PbvMӨ?czIi-gk@:O:tY pؚu6DxXj3"X,ȑ^E;VZEyndEiN)ᣔ,Ѥ?q'Pnr?xu6`OZP8Ӎ2M|L*oeaC61-ela"'|͙֫{J}vffc?E^dSJ\Fm9^coӀ79Y cܫsZ%10a|c%e\+܌ltk]LXpg6n*T`\)zAfi}PjX}2V1ZWk n"xD']/43\U~b$6#HtM+_.OtJsXsp7 8;Pϻ_A~2Z0 AH$D: Kx!AfK|[P575OBSZs<g@q>|5A`9 nlhGLV'XI8Æz^kvX:(O{՘pWŲv<`Rtݰ;4<~n0Ӎ.x߽w4Kdmx=no R+gŶDu}ݺ<;CZ%^UH)3ņH"IDd~Z9qc.h)g Kg 4#8Z3m xbwsR^JO)] !e%dGƢ}0j~d^O嬲peE :XЮ:S}fobfɯx`7@z߾ə@=} C][ lBFr& 9Nn %BNaB*"=_tW=QϜ nĝB.ERQCFhQ @:>c)(1^H5{ eTɴLzaLo  ${i]#QjbwjP惕ޝ .s=qޭ+E>/pR.&>=ôm?4,O C$=0Ԩ=|DS`lkī *\kSh 7* N\\Zx`wq=2`͝dyJ͹'0Z{#{n%% ȭ0Ě$(=ԑQMZR&k` ,ϴI9.ߗgT'VĪ`V=dh䐽/=j)=Oi%K>t޷qޖ0f˱E2 Ti+j)z s`uhwBVڈ)ZdIAJԟ~ؤ̗[|:w>[XaMd1a\lKjrC&^upe +jX.]uIQӿ\S},2Vmlʁ){'Zox4,Z"vds8b39C1Ŀ[3_%8%#Iմ3>v"PΟAWID)i[dvmf,CYjk ЛZS,1io5?6X.B`KQT9A:Jo |0nLLISmA/9-?Fz8<59Ϧ7;~ W85{P]k 9#K*bdUF'kB*Sց{)3qtꔝ+o0e41%ZЋ&\`/@n%d +ըY:Sh(|ĸ<tn}Aot/> RkE1C]L\R#V{]i$;Dq5ÆD}Y~k')LzfchL}T u mfPf|kr;M#SؿZ<1nGC'|S}N;v\Jx -_BpCs焰Zjv.hw(\779Us&F- ]VqcT:sU|HNs!rCBPހ&l5P'$3%t0xճ~VYhH n~(6Scv*;d6?ꜚeNF ;XjBT`t:BiH]x$LNmdJ"d$w2%E ./p ZsŊgah)};"DMQ6%( 0\N}R#Y^Y=9?T\ Z.3utmv/O^A&lMз^ջJ ׮~{NtaRoǝmOF_#FΨjQ&Fz1`Z]4StLa2 ӐN+2(ztNĨk[4%VE^G(`ޒ:(fc(/S SB^;.YKv`:(n"=s#CI4?Γl7hKg55f#n^|tN^,P@h_m\ <CY=W쑒R0 bj)[$:Zd0 T~ȱȭjcwFnHL-Ʌ$p.?RTX@*d\@0{lW_/d٥GB.6$I$Cp .Vk&!$#k$.D{,m: ,yA7VVN"D2OW&XfL>ÏI{B!Ǿj#|JJbZԇ܇֢eŦW#g?y52fg}Fe{;Usıu"<3NNbP=.YPJ7-AM)TbF t^.(uj(b[!V}l!WzƠ*PYR IZ)/zkcqMr*Ec(x%WXUF$v-x& T馸ЬէG@5^g. mXVF*^}hHH6?Ek()lLwM Dpy M.^Md YB0K1k|yF>s -ho P-Z)QLǝZ:Ip4qu:֝Iͨ\' u&IQi4@͐mEOP<[_0 -p? MXԴ-{"zZGMʫ@P]5CdZ"t{)ɔv[3|HJ8$c5l.s:EnLߚG^?`::AY*z|:Q4BMSKBn3K 0`YA|bOcpaNXe,ƛX1&s4F;ҁ$M1ӿGacyJ<-a%Q1϶؋v!#5\T͇2LPOqe-0N;$&l>f>jx0ĭ?!234W&!([A)r]/OUKrшmɫhq7[s֧!⩫Dx*7qUcOR*g\_7HcdĎhjWJhk;ҝM84*>N~Vx蟇F5B_wlZw.1֦ }k x#P )[1?}*7U [qrF4m`o@NgrV5c4O$$],hVv"Kܝb9`@ )x6s/ ÎӠ'&&jclXtBLiV)]ˀM̍m-o'RL (K~m#G_S*`ecuv(,u*嗤qc_9Au*U}ne]``;EZ a$;8WҺMC5?$`Hݞ'Te)\,j j1CGezE>!w;n' _eWԠzAnF1@< ߀"s1 G9 C4` urYif:)-$|i%%zcZ*0kToB4+΋(/ɶnͥyӓkBѰ*.úDւ{H/e(9GˡH^׻QGX@w./ n[2s-5%L| M%#ee!r>Ccsze[ehSfBgP ~ᛇUM`LP7罅CO{*ba) 57݆boP42 |+5D|6GI7 7 #=}SA(Qᐁ,^Z6(PA"|. r  ؼP* ;ӋI5M3*6f4ʷ2duya>"_-:86\@#RŀxvoyHF/DSڎ*[xFcYMY.!|ҷB~^Eut6_46͍JoU̎**hKšu92!MHt;vkŽȯ՚cњ73hOE2nQUZ7zL/!An1ҡK5"5E.BPkz^N uT  tN#N"^-FVS> YA~꺴 ݟlϫm Gע7Fcg C#6 E]UKy s뺁a BܸO褓vh~Iy\T>W^W³ CKel7_@[:"}b`[GIHj\o4u :8?דm>#E`.{v~օ 7~i{hZl9]L+IA*u[l_ Ep2(fZ!U:#Pt1Yrk䫄9VTNIlS)YLl/:M7!^[ET58ItJ kv8Κ]7Kw-05>KSuL?5YtR ZϐXxF}~DX2DŽCU8[@\ 7G/$iʙWp)KבR<ζ$;GT' ܺPCEVztAճY;Mr> tAW<%G~ ]GaI<B!ci1_Mk&M7~PE){&HL (i]1/.IP8ð)RXw8qwfq+-#]s= NfQq;fu/"3Wp74{(n!DD QjKnaߊMr`P]5}A5a5給rc[Ptzx^n{,h v_Bޯxr'Q}Xv[2lyPCvRG%UH_ $cBv$?ZJ$8*"6^ez y,;!y? cFB@w}̫Wh.1)[>ʦL6v}͏$zam*hʣkٓŝ:& C@sx&ĠGMm; >m>o'^:T7=qM1 z+fF25|=UT;խA쮬mF\u `^1T%J-TecH :G$W#K8qf`Ad1IH!ĬH}RAkh(oݗmYQn{"Rn/XCoYA35DǻEI^pp,)N`y8t8rDE6KHYIF]nh5Q puqɮ=Pk[pGw Ieg`N);b=TQ:ǭ?d}(JвBiLvk[siGXH; ݚvZ.Y)KQ+֗G@?"&]?;:pgKT@p[ŠMTB|[W7e!iDt}I:O>Ś9x/*!O"s`EiY"^(T@hJC RV 9${v+pՃUn꓅:3` T%#'hKQvOodO|JAcXɫ3$USWeoFbIPYS-6 韯p2cSB䡆Q#/%i}bK˃xk\SĸC#ycE- ?Xu*h}q݋>vM9-NH+8IFZt9 ;o!k詗af\Lɇo5 xS3~f$@nǒHN/&̿f"_"85)t17,'kMfIC]||7Jd%9oóYc^]@&_g-nYv?M|TwoK;GT Yz$6z<+爒?2U6 c2>יZ[T,BGЬ8J{~PT\K|GۧQt8cAfijO K& %RT"1 k^1y[2VB)8@fIKvޞӚ% t meX キODCbm̯BUKmu!OpűmY  kcD̽im=^:{2WطOy%Hl~!K!jESg-, s'CS(ВA}ZMB ,ru\ޏw()5"y,3T\ e-Ҳfs$-'%(QXgfκ^9"J5d^6B^aFxƑƒ ldfɈw;ҫ^#ʚn3 fBsNl(6r$aLj c ?%G uG@[ԁ@2 RcY0T2>1K]WQ%n Q$^grzZ_3Z/d ?-Rk}(ՊcAAzqflK l`%=SALD% >^QsWkLH 7$t+_XFs y)Q N66"@y2:u V҇\b0s2pZM13ȜөUQvS\ǿWj]foj<Ȇ`C}.xA?6 (R%"ZC ϰL_Bd/kh>p0_(\&F,J5AEPBw*߉O9Q*>l𓖡ʷ0."j7 ,{mՀ.%=Mքċ_"L jw)4 _̱#voΐDs& _sND?jo"A$wczrфb{z^MWP[8;E^(74Ńh 47vCI B> xV& rupwr2二]v (SΚ><O(DUN$N'ҿZ7h}A;dI/bCԌ1zz\#VE+6 8/SoU}Π.&_cmmVk)wz9E.iNX9W¶WNvdşqc;U CZ;QK 5sGco fYoyck8^  w-!]:wTM3u.l #^za #!I.{=:{6Y;e\ԁo**eDod'oI8X)j'Q# D)8Qe̥_1GIE&аTRq I5կJFteT6:~DTn/\㊁5G'cueGL-WZKjr, 1cA簎nz`f^{]4nT6{OJnUSR!44b~Kx @ݙ}J=vd U`OkՏ%!G,op[If]M*d0/g_r2ss%n9eksRG>9/!&'_Z}7? գEs L}Kbֶw7z#`KID!8CHSo&Rs"Żz(@nVЌj5,g[DR%2b bu̩a3M>7?(1q} m[lY#j'rO@K2'J %~e 1R5 =AkQlP4n?3[HP\T}qWu& ZjUٷKA+'qxIEU1:-̄KK4m+&aUmf@+ߵ;=i?n4#9`bş.];5#㊂'Ul|g67hD,U L9hҍ @S/i4$hwo-0GA/-]c5L&;JpbcI+ _o IfIO&ShP__sqbxq&򑙡TZR9@v%9 Wid+l%smɻTzz2mvusC:2bԫgm. 8.@D"EoCFt{\ujfjT jOpNLp oCw7::؍6A|޵Oޘ{C}7 ۄ13'r |}hk )~:s 5Wbt"B_ʼזvב8EX4Dä~a(D6Z8dNDD`w$s\]-90z҈Xl5V=L^^r5{%+F1M. TV}E&eZUKk =ODN`p[ÓO"~q2bu冧"cj)TP(fQ#=JC{jHnP jSx٠gş?U6bV-{4ڛZ 8 LT%^;n{lA}v8Y\]~-]oU<"(M4{)AUy"1L+wQh ",hi`oP2׶z}I긛]I˞=NZI vhd+~C_%P dС#c @ %R[&׼{B:0P=-v Os2B!L}h"~D.A# ]ccG/ZN3Gt@~aݡi) 򯪪<5wԼfxo#.u{vIdg&ww @T9ϊN?VTw(9\"C(}4蚜z(;/  :5(w&f(RA-(\Ms#"Qƈ1瘙vHG%Hang ruMi1Y!"F:7՘v&$C)Mk.J@sCk8 s-ߘJ🮱DXP3Ngfs2MU 2) \ q3$r[䋹6"~Qt Lp.삝\I6!/^:+9k^dC}NƑ̺_i9X."pPCt{=㎿0{RG~J)[9V7!+v|c*ֲEz?U wמ$mcC:WAqȃC#=Uw7p qr`AUP#^ |POej4.~_g\Q&)ǝD8@ѭu6X>XiyHZ:@$>%F @`LcWbbR&I Rrb%YW8'Ⱦ&+sX_`0 *ph݅3LsVm#D6}6F]HhD9ev]@_hӇE9.Gd b['48[}^R_V7??:OX-Yc)'*qMHj~ʘ "eW:їʃ#,{1Luqm~V۳$h止;luIeM?'w oPaÊ| <px_@᧓Zן$\ΰj{<\O$+1dZ߾~h+@C ~?y\U i,cր.{`9kYaa&}C'I[.M wBYh`ҁ O GO>(#,{dBIA#?y[GU;0'= I&P(;]+~K. e9㴽jC "𠴔Ghx2=Gey#2H+{Y-gI~mX &'-"jY6N5O/L"quXV>~k9S9*jo_V;{]Q"!%3.{7bZDW5x '^n>#=wf֧Rv::/PKi2q@#/=&p=K}rkx{78ӏ@[.d1d[S6- ,#%EvP{q6do[;4Rl&ߜY1x+No'CYyoFlmڪ/&,J/W1] a$E%m31-Yϳ>~(m}HKGE=,)*eafXݢVc2 ۗ;V3pco]![By;/4 r0=lXj֢2N.kuikT;%Л0OKn +z`-S;s0g; LlERpD|(l[4< bu۵Ȓ gtz-3 O__+kR.g Z벉q!h )[!j7('e9QUح'lt8Z"zJXޗpWruDr5G Z{.%vX:{\2Ly0nm&ΆvEFDXX[o XHU&q&uX-$|%q;{Tbk ',oc9,XCH^HbrEś6z5\ؼ-zs'΋Js; Kl طj(d|;@ںw~Qk̪cͳ'+fzY,ݬ-`(9`Ī9 X>lG; uϐrߙ!j!>K_`cq^AI @ex1=z(kRmJ..,q`|j'F>!?pdP^\3x~& է AyѻCkb1r1aO7BIR🝌TLU , TVǟX-g׫w(3dh : jr/yU:G`H@8{YwO̫Bp'L:2 ՗kzik(u 5ƴ]qZ uQH~~Լ "ܯḞ]ҳF-|Q8 ՠ)(q58]bhW ?r'bA{8em-?N?ܻN'9Wbw2PcH l$ӺJVF,YҼ5{vf1`/%$I{lKD5U笘dWV/./1AEC7H¿wvT(2 v?#:=T13lM[WK<7|N@)J' /Yqw q_HQVaCQe}0*2k6cJ)Z.)`: ~X V!mraŹue ڄ%Lpy9uX!ِCw9^o]xi4V}.)^%E%SiF)O!\ o1f-&E`}XL6&+dR&J"C7*'N @xL=#bnx־x(cq"2'/%A2(R&( }tSV1ⶋRWp_15}t_f-e1FH' aK>GvjVs8.>7]NZWal߬LQ! L b 5W#:%6;07?ECfV"P״(k:y\Hآ8F(6.Mh˿>nsq1wuR]p4@H:5ek^ o< :1ʩLH;?s43y۰6mS煕ᤊݔ+Q_s.:< y;[IɄ|rI}À{s/Euuu$ .)|W*;2N[so]N`v ^Y?0Cj #v>'٤V*iuZ@fltKWޓ_!c_2Qz+Z0K}.+i ("UCx& *Fl>o 8[ >E̗蔠FD󅦓N3R%Ȁ <ȉt~OgYZ076ab93bc7bdb3753528a01b01b84c92582d38d0 0f83e9379368d232af1423c3a9685e6e1cf74f88 1517c596ac6c2ecb34dc552a4b1dcc5c1efad946 2fbe6a214dcc6694a747509e9fb09c9b57a552a0 31755525071793d62f6b61cf93fb27d5793a7c4e 34221437a109a5594ba7786476b5abb5979a2647 380180ca8e60c7cb744804194aac8970cf817dc1 38075805ad1f72d8caaf8249d4a9784e7d13cf29 3a11bc4f123e2ca876849cb861282caf978e191f 44baec093d30bec4af6ab8a6da185f226cfd552e 4d2ca5bb53e7d2aa2769056cba3f3d72b4e47329 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 50a0dd549b8fb2941194cf7fc44bc57ff9da3f13 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 86eb284195716b535c05953d187956bdf3e86b38 8c3c873973d217edba5a3953858f0d6d742c62cf 8fec88fd33773122e7eaea97a12d8ab6cf416ed6 9ae47cfe309a1b9a5f54de64f1ee9b2d587c3a64 a6d881014016ac510413e96c94577bf126ea335f ad2b232c4df8f6daa33cef970bf6c68010391ae5 b5e00dc20a576a67b853993422f3ee99264645e4 bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d c4396c3c0fd79382cbccdefdb3713ee3b7e67eff c6595eb84f7f5b6ff8cf51591a134ede1855866a ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 cf6a779d6d6116c028f597703a92d55bcc2a416f d9e06f568255b38fb2df0f11621e3bfd8040de89 de4af64b4fb8efceff859a1fbf8d19f7ef11c53c e355394b5fb3cbb28bbbaf58488c72e1dfa20848 e41532a77310140a5598412a320c01cf2cb6af54 ecffa4b3293afa4bed3aef20aef4570c2e281f29 ef40401f3a043564ef98ad47a005835f0fadf83b f0fce7eeae1ffa41a6f0691e21062958b47031cc fd0062512bed0efd0a4a0c88ccba7b79e0908ea4 fd1b3f7a897e208d93300f6070d9f89dec65630ec27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 c3aba271b4d6fc7df41178c8fbac485c1a7e5bde 73a882f5ba6392804176ad1ca791db9f57c17a9ee823ed57e6a8a1e9e98c4cc4a6db882940515198