SQLite format 3@ B- 77Ytableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER) (!T =]]HOL-Proofs:threads=6elapsed=382.139cpu=1117.140gc=124.344factor=2.927zXZִF! soc]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=fȿ7h0@Y8+ڷb{aCaZ6PI}?@ʬNW ~1\WDE_'6+HfNַ4%n^OrTE“WkyGǰ1yfE2i^bӇ.Q<  `Ÿ.d[2F^Qs0΋-!>.ub 5#33Bs'WWȶpr1tmktOQb^90&2 w/c#w4&S ~՞>9&&3ɓ)t0+ޱNluvð =Xp31XÚ8v`Q1^m*mrr%*8ܷȡR;[kLNpX؋?QXhW&ļsWcuv4Ա ز dO %ߕN Lyk 醳kpu^"|*[*nR\Q2Wē'HxIQ%a:u̿wnwd`\ C  V1Vӱ93܆d83*t} ZG29MQOcx́Tg#j s%6$B,hs-~;:-"41]! '$Y<,y (v=p~VaHrDT #R'X)Mp > \٥!xg? U2놣{)|keĵrU2 4N#$ XW!41Er2fj5';d8I>Cm'&:N=R 0ΔzHJ^-*jP~l qT9y3CEǐ;rop߯q\|ȷ:.lY k&+d"O&#,Bv.nQIG:D +;]sK.i3kiE*YXbs#(Yɫ pN ;Ղ;g`bd:Nk jB ⟍̱%hɸg#Q"âưvHjVL>sa/RԫȈ?\Xvh!]W ߏ5~?k=|jDQF$M_mKМmCFVmi'=e]o=5~Jf&p*8s]jf*7I 5]Y0] vԫҚݪ[zԀmŹ lWSH!.@ڏ/ Ұyd=ϵ/NU{c?"܅RBluL&`\5~}"z7b8}ⶑhGC;o)ڔza ] gtlP6~ gfijZvģ~YGzKCe/BiP)~U\ӗ+} d$|-.jg lz6.5ٝDZ͢>2xh4}ME77)y*p$ו%$ հEk?m3JkBFWjoJa}WNj"UCEFl0=εeI˕C+qE}wׄ(#Cg~~P6o5'o*F]v<-QpW}yʣB&'!$l refm =} ¹ LTvYSFb<:kg*d;xOyj%L?<0_WWI< HċYaD1T`VW{a`aöW|P `(q޲gOhKz'oD]o* %&kȟ2%!~q|IٕۈorVw+Y6N8dʁB}W9_jgjT}L ʵ? ǎj %33̯0FnRf:*㶆p jYL.K߸! 븡G_Pj a۴|碎u _bOxJ.]{4󎇪֦ ?[1\W+<=Y<pv״Z! Kl8#@UN2[w[?!YKbdpv[xd;dv:;_~c>u]ba%hZˆZU=pa~Jݛ i'5~ȓkOD2H\>veqɋgcW|H8GstJ%m[PB&!m+pqȠAd]>$fat!`Cb;AILs㝾PNvj5:(&hekSzIJr4}J8[өPĩ:+'7]'Bd*:\-aw0r6lIz-[qyh7J7Kq*K4ދG|@(I 69Pt5#zgv&dϦ Y.&T8N66/=Mjy)L bέS/ 2@6ڻ-P,Hʥa&g]ߑGuT4lJs!% ^?S")>I GCyv긾5f_B횞X;,ۉZʪ#[?v:PQگSPPba_@k\8E۳noV/=#eHCi`+|nT0P!*'SM+G7I`ųnG))M&sXE86]J7#9tcύJ>r,WP ظw jw&ZD$rjnƜz]/do4G "(RE.,#tLAA0b6y¦A;W v)0?k{Q|W!̟L_%) vuS+}Z 9)E2ʐ7 WGQ;~CыI~8@MR t0@zW.o^V n#=;9g/iZ ډ,O#RXtLd]8a<2Gm:[@aCM͙CN[\7PvhMEjJ%z{=!5c`s!dsCعS!OWAӈͤ́; H˨o.@$\9_Ԇ&i8v_V ={8qM3U@gķ q~x,8 Z䥝Hl!FG B neP~'t2Z7FRdPEsƐ[XŹC7߼B) R(CH٦8T}q_4 'S]D݂^ Ds^tA/Z 3G@0VFڲNROJ3PɖPArFJFDi >(" 6K"ıX`S1a-$L-otP 9:LɮrDI#6Fga=_ha8ُ ~`bS dZu?|C2iᮬ82Ml}GD*嚥#UU8=|gG&(lSqr\,)i|"uXVۿ0W쵗ξg]+3 A1br,{ދȄ("}Oo .J"#$9ԆːRcBGD1$i4M"CH(17IT*a?F*u/Vo*v5dQۉT0]!XlrQ =L6 %sqHlk=l:0%yxmIdaC͊53+Yt@]j#uy30dm-N/ӤƶN8ʻkgryES/AR/Ǣ-̥{׮/]Y]f$M L.$Pƾ#cXp1K&Y A*dBfِ_J+oIQ5{ ɊEjvʡp=M ˨o ͭi{2M?E3i_y\T ġFR Dț6-7_߰3pwڼ )M]$9ZT 9ߌ9E^ԶduL8*C~v:_l9kgU\ !=h=8+vIDD(ݴv1 go LoO@d\A%.\hh`MKňF-\cK[!/ӚW迥@^6.Ӆ2: M V:"e>n "nT&]Its~B UfcOư{'Pp\.E "|U|?m~?1,8 $<35"KpUWZ[|E0p3 Z׿<~S\) `X;YEaqǤu׫%M|.<^ljJ]#c/.#cz).Zq2G 4p)VVOVqn|( u-Q=CIc˚/cWާץ_}*qX̽-{>ȩ].w¶̩"^ڟ +Z:yX!p-& YcPOf'DA>ZߢDPT2I9ejr6 '`Z8p@y7 LfǟI{ AkN!p6Jm%yI["=tv 1GhVJ:$igt@b&eioz(~=;לG@0<3)Zn]y؝ѺZ^qZ YVrH1H:5 %۱Qu?d -@ײh:-ɼ=0 ̒r,wb2\eSdmu(aIͧWp( ~ד5&[O䭅8ݨ\H|k{w,vB*&%*y ` +FZJp/g޽l}\HWY0NG:7> 7)D!Gl~a7N M*|P;چniG)FF̬|!/בn]zM9TÜ$fkD8bkge;!\ (O0&3Nd5Z{⠹SUzKL0nxsLx Nc@!}ۢ{}wounV*Y+OsI)WQW üᜬdQ]hi]n׽^duܽKa~o|{F$?FTVW֗x%2LTՙ=Ɉ!&X7Ͳ@ yv]zDsevJcD+ J_8x}i?FQNYox07GBB2 7S¹ Y6X9(%#5/EqD ~]ܧdMM`Ig.fI j`Yr-qߴаœ޾O?u?08i4 $;:a_-+c0B\Jӫa9q [Qx.19/fC`ʠ_jE3L.fwA]06WA y2nQ= gCsN[1:B:ʦ(!N\q1jb6 mذ7)+KP yjm҆5$\֌k/:2Z+%t٢ēinV }<޶]8GSt5F;.Ү0]ir5F0APad)j]z$@~-.3/ j5u ;ў;$)C1=ԎPš|HxFyMt>'BA<\JicB:4I+@2EK$] !E Q1)W}k%!:Vy.MEhǵW' :;~buqVΙPz!7^? s3is:suzÚp2~ Rː/itPG Hunȣb#C:%d`S(\l3B0W[;&?=:`q40,nOVF?ݩ,o>Wǧq޾i9q7F)=orث+|;*'_I%[ڋ7tZnyE \~y G_,NQz1Ȓ' }xҦ9/x#{K i!Ս`zkF:O/yvp?s/Œ2у1&"1gjbjzv_&6B)ёHbLe65ÄI1sʭXݘ9>Đ )yauLc֠ 41bY.WC%Z{hv^U{|06@SbjR=^E]?TD?|? 2Ctt[Jt/e0anDH? U?܎0hIFk= Y~1j9cvUֻ_$nqս>MZgr xϤfud#Vhn 1Y|D}{:w! :K)Y W,크T?)ssgn M/uO!`N0"J~$U+w)NP N韊yCN_7`S.<2`4*kDwyK's] z>1ELG NЇC,h駦Xr{X!!6` xPf_/ v-FM4]([OVnyTKiܪȞ%jD/]miPR;<_ߝFz2ސ*~Ҕ1ݓ\1R9KL<6.<5zS=IIhaN[;f =z#)xfQE(RTtϒ0_,Fa/1I)=fddG~R~LrÁƈ$-gAC;z#m\NT]ymA눕 >9'Sj̀@g,N(^:bo+A)&Dq>F=Wڄ >lY!]ԕQ\&)?X#Oq 4>:; Y5i\6[6 /;1q_ Ba fL~8UTdCy忋pu O,c&|O5Cc5h79!llvd B0č}9T3CkC3o&Cj6#:8jU؇`'o\A pY&s&|OBsNa-tp?@C,hOl'*RJ.$ntf>BchnnY^y[$?opg =b2 "F%qc0 [X pvc}aÛO'['tΰG~F /UBp]Fn vU jLY`ñTQYЖОoMȨn!)b.kDn1q[O >BMcn03a.9yIVDXB{`V-vr/xKOrX?Nmp]]vOAN)f}gQB\b"6._P4h(1G {8=M۳KX tIwNT]+d<{3@{ۧ߆xP"Jue{x3CiQA3)`2,LP*#W_T*/eLfp; FZ+OԢ.P;NA5-}G$$5 Dĺx7^*`XW]TsׁK˦.#F 쥽mS7q/l@7:K cPb"PW@0[/0m^4 8PνQlF",RWPhܡF.p ݇ykY,b)PMK}~Pq.nk]|jc?@x{6Y#$Y;ڍ:6mί>@QMx)w\\r3]{IS OXuIz,{rA@dX4X)KͪN~+A1>ו% ? Ё[ aB Id.z ڼJN^.[;-gY858( Vʇ'¢ yov !Or1q[bzˠ4Vq+HqB3@c3:e#߂Tf.J3>cģB'v"s:&wp76Bi UKKaj$t.+V>z"^za]#[Y~\>awL\CLNLVF6AKrGGޟ(o,蓜$6Nz[-1 ;ײF3Wㆦ_xPL#^P1j{khp>1OdC 懭~5riSl#Zk?6j6Kp ܶd,4~7T07{T%^qN;|qO.33NR:بD>ھp}KWjQf/R8Bg0JsBY c XX0RqSJ >m}ݠ# 7%/8.2a.]}vudp{imi2[񆜮i+g 1%L DBaݸ媏gӝ/o_D:ٯnqƬ_ipk!gb5v;Ew:[jMIbKCioپtq@"}#koӴP0#N˽ T)Y/et" A*tīm]/0OCDS5)F&]V;ZiVDL0::lykpbA4?^ ޯ~oGcUCU]^4;ߎSH(r)6IP,!z[H)ucM=Km+0h y 磥#x?$3Hq|5Yu8e+4;)2"_5ݧE@͕_ ٜ1+*&n&Q5zpJwBڙ< ( mLk00(^9sW:*UelvŰ)V_EyjWOI+ufmt|kяt :2.ѴqjR?YwPI#4gP}Ⱥ'q  0ν.aD'"0~@\ ݍ3kf@1+F+bԃykwz|fs_|8"l;O\B$TMrձ֧I4Oe'P|Տ_XS2FPYNAd'O*cf[@CξPLɃRC4юَNڤ z}5q/1[ɣU10r M_S!0گ|$.q> (1Zv(i3M'Pc Z^6i\@\g1-:(s=ym YzJA;x1--[C͇-õO$'`ʀ $}?zZT_jʑA򼁇ʥ?]AF8qZ<@kt}B/S1K .` a'Z>=a$~|9|.O =D)3*i >gi^j !n/ 5 Jb𳠵oo`zlLo(1zY.W*.$|I?|J'`z0jN];i,M\aÝ$]W'!D!Ѷ6[B%5n03˹NdSJS MO|FmT&%u8II{$`Nb)+AӮp!"c,!xWX1DoDpEEe,YO[/*Q2 Fwñ2{ eHdnTTq?k$iچ F+ b=P# e7Hҋn꾹>,]" N;ײz;z';8%Y۱CZ/zrӄtoF׹ƫXۮmz}eÎj@RՐ\%Axp]YQGnnRUNIt;FUӒP"n13=D,+X?nlwbY%Y6꺹ɿn٬{sqJFz3V`+B[t2uǽL 53"#?dr-u9g?Sjcc!vܜj Ngl&o"CA7YXk1,^oă-s:`EƴvT{{ʦUR)SOv\`kVE/dcؒY+ Yie SaAՁlũS,@)cUOrGkB"#F$*"sJǾ* _c_UY˝m܎rLaFTr!/ޣ Fϧ￿AO@Oeg{x67y!Rv,qv=8~VL`]_#U֎^bWաQ }H# ћd ΀?K ")6FcKv+':UN0Q^xqÉVٰnjߦ[fI ºŮ&ITYo)"4D$ꗧ(gY.. A u|s#KwG/}dCm<%}kzRZd:_ԑNZJ?h/8utL&twUNFV+nU mA~2|5}1$=Grs(ҒLK<͏(J|1a{Re,'1dX֍`S':)Ga׵³(wU_0Û0 䣭?m]ja>)MMC.'B;h:$.L/R0.|ː>C+B~V/LBؒvצ؉$80oG}h&s̝HvhI{NɣnIt9bH5~gR)?%ЮV:dQ 2orCƉ.).Is NzDT鼱T nsw֍5G^w.9$QWTy=XL:'4ngpH< +ۖ'4;e  s6n>9~[+ $.v`]7_0SdUܑ,tgGEu)… ¾ғOW; _!"!hxxXd2:{ԯI'NkiQ?-ZHe?l1k܉ej5 R[F4:'3]w"Po}4NM|tm%!\!CفG%sWG4><-rেd{) z,m\v,/l  ɾGkzI*"?9ÎBZl#)%oڻ5Sd5nʾ p! 7ib}/!{K=qdFz)qhB% =;=L¬d<Vz-G&hhԗ^E * j E->L\TjIHP ,--kXs5+jHE!$c넶bp&N*Рl>M*F#KHr#g3(V} u |AMTn9#ѐ=cbhʇQa#Oyp87zRfpDNSFg:bHX.r})%g?90A&=kts˴,;OJ03jvw@L/֮Q wd/%g<[֧J.q9Q:k6/DkDX"4.4 6׉}кjUcw/(?n \1Dq\|byAS}#Wnd E~΂W KxPm}YIБ{ޤ>]oDGA~ DlGxKB{ŅJ?u6`LCTB; $Cԑsr+>\4~j!=sy/Og N*uɊ$y}}U& s@dl[\U;lUW<O+3;+Tn#fI¼5y0XU9B)8U ta~l RD8S[0 c5|<%@|TKn 1$WCƝD+Ժ)RV@YquV%C-菌5xOF_xDt֫X]8z7.vvZi"L<_`+M9abtUfNh󟫾EDnڒe3CA -<+jjV#D_7j<& Bb-]Ÿ 2+@֥JެMFe  $;x짩/'k߭?UUa ]LGڍ˗80qv!4w;WTaڨ<#k\XYa-75ˠ[佁gXֱXw{_3ycPZ3+[MP$S6lLYLPS0 MV;C=*lqc nkwNm4w\|Y~] 5r8pL~o0jn^8] Y ѧCV ^M@.*skȿwS (GYE.֡. }_5H5-?Za:::l}̚TY:y꽓y0q[=5 1?f=²OאӂeJ Ss}{f5OeB 'ˑEt$Yti#Gx&)}Z+FRb+-~o⩃#ƥ ;`S"U`A1ɗJPY0'7#zQiN5NXNc!tי0<yzeu=Cbe^v!@aBW/W b q,#Ția8m0ޠjrz.ԃ%&G dZ!р$&D pyz".GfB ]RuGZnKy;%Yʰ3X.v(=6_'Hrb]yU>fRWQrSڳ=i:IxRF*Beƻ#_ HFy̐ +{DZɴȊ|tlz.Pث!!LՀ`:;Vq67idsRǁ&u=m4ziJtcS'Kw=o}MJ g$rBg1o/^7dm!A%pVX*XFt֠ "iDAmvR)3rkgD̓3zJvNۗ6Gܵr <;vy/о wtڂ}U)Z3>M$sKx]J(w Zn"_h|Ɲ&y{W"+د¿e]gEwhϋG9: W(<ƅGVd(po%BiP۹'4飿|.˃Vvda9^b˒-$>æjY&xMF)3bՅH1?dhAhʋ(-TևNt` LwT<ǚ{Wk;du j_Z2Otέ_TTϐyFfZ\=.N'j$/[uA=bzNjQKH={O\[QӪw,6bjͩHX՟,W><@ˑƌ*>:!3 KTy= &ܰOKA /!/Bdg:*wMtDjJ:%B_zƴfoOLaŐ+0[Y#]."H4dMU{.Cɚu7[hkE^b8dQXgv/Ⱦl |WGN6V|.v;hL265R;< ^Q 1Jn.EJ]ǖӏ] _Q2NYgV"], 3-/'##Fyґ# R jv jcp~I_6+{6/^uYwl9ՓNSud3; +IBbk*7&0(apO,oI?$8vk38CÕB%/!u㇐ `hF23Tlg^O᥹Bst%W!igtmH̕Rr~aӏ!DgK½Dc3{pP)~,¸e6ns^PPڨP[`JDG f0Ěǔ K-6%&xl'(+f|b?eV}kVU%Q/<X-yQ=K[0@(áPaQcS.埛Ú[]y\ssңNFc &xC K<*uI8KGb˘0Y$3Rpߛ1^YuK cïܢu1!n00O8uj69É\lJm|6`}ŒG 'TpiZ6Ebp^ >&ȷov6_Wr9bM\n:ZRN4 51BnP_qxsNG2 (y5 ];JKNӣVe )+)pbwgPv>RkslOTwsFv%cX<-<,h&xa}vo.}dSWt;2~.ś): #yWkgU3Q  ʐm߷0-WSJz9eCJcs%AZc.ҁ3o /'r}#HPEjҡ )HŇf‘r>4 aL9U=Ɠ6F-3v})hTlow>9u&χ2waCKUNP=zS~oѼ#2;V*Ff^|&\}tZJ~^]8ųV=hUf|X hJ8 Z f /FH56w_w}LXIh%\@8`hBV/mGab5/ Ki̫LG\1j[~b6>c;m(|,l߶~zM v q$9(qvE-ˑ)~3•t߷PoUL7L#QzbhvƖ ?o$2P(T4mviV_kzU,&ή h<z̀J堺lN=#dݕ~z2m1^=m5):*r)TyMM:EFW/adbrZWMpSݙr54fSk\(mѨ#PL5C,O!=W.OLT*Ίṅ6}ok#^:[OU3_7g̩9ۛnΥN1Hli$$N<3te;0]1+MD2=Z-B /*Y֙8c*1]_O=+CPRH1OM g9JVC(V(%4+OkQw>,$> O͹ 5m씬OE9+ q+ț}HsVXv|iӔ̇y\ B``ʡ/0oo@w\g~mWZ!bt|ˠ<ʽw3vHM?RS3xWᵺ)‘J/tN!0wbN^[P(79iF={s˱(0w}~{kR=bcgt/7@#aM$k=ݦ>Y·hkZ2.P6jg,R{O(SSnىxn^ՉZHc.{)5[r}dQvԾʤjIa_t9b0my)Mp٭uK ymp\7lbM_peuVa}=ޑ؁SOè/ vK$,wl5;0;:Pžqvnމt |8u`(<R;e-B5g:q ESI^i$hx>PC6,Da"APǎsA`\Sm6O+j( zkNL*L]ÀmEAeB'#3h٬&ó&-jBPU0ꦬfb7׃Rqn{\u0|hV$~DQߋ譍\&y&)OܾlƘB*TOg_8=](Og 21]ඖrݧx+A0(}#:$kH]a Et~I#~?Ù[v" kѵ9tb~IȁѣvX:U$ߓ` OWp~6&BԱIVzS{+"`iZ$Ero#&c6ć}RM:hr *@@(05//)s=(g4+Jĕz NQ۟,OTBxsLie~.Ŭ0]Z~^|usM1`-"|[0>%c6pE0 C4ְշ@PO8Jm(.X{>E{CȦ)WK6ȵ%+?Gwa uAt@-7+M df /eݕUW~T20ьz6چ+Kاz-aUU CxCپ.{ܭz0у畹)QEv`Z{:1^R ब紀ĸSlHW`+&CW(=v%Iu]îbһVn*1Gu놉RUNҡ&盀9}5nty>IRk!ta48@U MGrt_/N{u@5]]nzrN;m 񓢮2@eEYV_סds+ӽRf4#0M I$<*0p}X ehu7ȥ~XݥzyVzVP5H_mp5EM~ǃ5a&.sďN9e, ZR\R}h6/bXi@Gvg55'QP  IG|9[ی&qJ4WWkJcqS&F6Ӣʎ9W0  ;~Ja`E\ByݥcQP1]۾4˽0õ u_b\J`?t\Ɂ?/"\k56;| %r|D# shcT1iE/hP3 Q3BrXޗ0:FtaiS/;.f%l =X Cul?yd!b0*Ba;=O[i˓p6S#Ģ_:]㕭 -.lGPoɿ!bd|fPvqG417D") (Է!e0P4M+"ΐ*WK =V>Wܦ縞Ø*`='^#ܲEE:z +IG}po-OH+17=̶ޢR~sя1sOm. y&egx6UpPvDI׻.BKQZ!q6H3Bu:JF>a2JZ:Y1㫻hkߺeo=FȐ^-Cnr;"8P?a^8hV`f^E" &5KWbF5!?q5g.sp;-/Ԋ,:o[o! aΞiGH 'M$y]&l9LcI@5jPn;PSc*MObΌ%rk<2 07X?i;Mr'Tz>c"wnʚwJ畚%o9AL w ţ<ǻQYVE1@*V#jNfošQ6/QFQ:B2F|ge4:`ĺ=9վ>Z.:kՙ-4\:yB38 VB=&=Uv;{K+8FqD?<h ",{]v;^lNᦵsE* 8 J,ɊjQ+ܜ2ey-r`KGl&?])0GOz$-zWO]@EH@ouX$+A✋C.es]O>m9J'Kja)(R>RP%L-" =s=X\2Jq=~=;;Qtyȁ2EX*>P:cq^.PHs+I/ bɵd4]MvCv}C}I*㏪Te$LTVWYTy966H'Ҏ>`6jO$W~o917^ك|C)YȤPi#q%/Ar\mI1S']̈́m,G\4 T^%vuXSBwHاB!Ҷ2J>WkUgfٺnz Tsp^*C)}f0ڇ-SHo߱NŽ9iP>]n>o> NDX<:r bwg3andrM]oBI>)PEZʿ 1WE ;e+zr y2gQPMEvTRRo%\_yG>VvDfz @~ebO7IVR$i) '{YTU;o+"IT ?CգIE_zo=u ѱG/-H`7I C^4_WPms&RC9 ex)5jZh/;(;e~ӈ&@z`WT鋏A`*B"KTL6w^t&rWK?y 5w!Th  K iv)e0_}%CXp rkJATܳ3NzZIslʅȞ.J 8Kn<ҵS09qDrXxJgwd,, vLI":RYa"EE}j+Ц@ lGRE SϖF_2 wQ!ϳ=0k.v$?[-N0 UWYdzQDk۽ӏGE(l ٺy1*Sk'BB&=)Xd; K4NQ|ư XGS ;Վun~?ܴƺ‘ $P-Rh^/\ZV;Jx xD+F a7Sc2 i՘ysy;n(A=Tûۣ8P[)4uPA:SWvE3ԝ7nAS1/tS)EEȆ@hԟBt Oɤq]KkFC ulײH'\th8t^Seo?4VM*t-MO0ʥ]@*^)5c$%VzR طڷ#*Q2i<2xLlZ\%WuUA2jný)͖[N`V"FG_͉AlvC+!KJ~W1'2Eq`|<ݙE'qfZATV讌[v45qM_JUGzmO5OCƟغ#ЪOֺ"|Q@5#%v(P(_-,l-,Su$B#|iӱ%##j^kJPd5I`h0BZl:{u`NfP5$$"Z[ϘSskY唃b;0?\tEۭBXN`P= VT/Yn]Se't.{wV=k/5/}a@.J(1ĕdTjsU z%~qY7V#jhi=6M% k=Rmǎi2$Q>$Z-{-BO+gYZ7zXZִF! U|]ŗXi%}qfSnWW$`әR-E'qQˢ:t7M:LK u>CZVB軃^-$|&T!U(dA4⭢_]%CYϫvcd^إe7G9`- ޤϽ<ސ|.~3X|/<ةv&g@B$bE"vZ: 5MjyhBo+l[(NWlÕu]jr1q3br8fl䮣?VaRQN1)43 cTxW/><6t.- f>_ٍrW %P] 1&+laAZ [MJD@w mewҗ\E$vr`cx jeU8L9 ,v1h"Wt%&V9#P 51M(sQ%%! Nvh3&㨥񨴛oʰpz18W-jCa)5)U$Q0;_qEGprbߛtmv>@Ԍ9pW(_ee:3S(9'}YPe56bt쿹SOl8|xW`~e#Hj-oD1hy+&)'$j3JrfRTj$o` rqCKE Q>'xT iQz/i 4qq-̿)% Ƈv-Lע;Tx":ժ K"f/N+vysk^d^Jߍ(~jvd\+mo">s'||}J )?I3pɄݸt`ށ>ʛu}|/Q4:ף.nϼ.̰tTG/09~7<`0?B0zOnխAMVaɓ9giѢc^3,#{0LQn,fΑ:Fަmo90yTPuхw wBRu9m3X8s4V,.wJ|}\"kr[L#@zΜ7% %Ru*$rm qե@\6m].GZ:##p >*5=R@l&ar IN+>&L_]FȍZsnysC*XyvBt"VO/0_!\4hwyI׷дSh[‰'L["u{C^I5.;oF>Qv{0'CӅtkS/} /vU]`Y8^OMnCpcrU$pp:OhhtïyǘEe]*zdTՆQKdpS;s-.j-lT d B6Ew6Ăws{_(d(l"K4ʅHlߜ K_Lq܆P`W.CYg]*'O) y95"yM  d͋3,j'˗upq1.~r>@mK3d~ ÑsKvnCFt\==nI~:Pȭ< *{]C$Қ*ȹ %ڷqp9x%yXr0Z,g]̓l!U0mdz*>?_5`W̹b#@|!S1gX{rf7҅u2a]Ҟ9&xEi6ozˁEMg&w'єϱQtkr3*n0j=,ԡbڬbb8}T=JꔍTF3KC|zZ{g4f>!%Nν?֜1H36Mc1=/{w^E/_y=a]S秬F8$9)C` 'K)$56GHUJNs<IIPB@>(4ŰR|q T[k%xQFhhtՐ_4lDS%0*v)ǖYelP̺;JzˣQmR` !iL="<;|KcS+8#6}TR9 3ڎ3w} yn[$L)Ndl;\'*9k$+_ӯU/577J=(0_U@zcQ0ܽ#B m|OMvZlK$Ң֟qe$6Πn]9s vE濏'Q1g('2އp87NoL VJt/}1; ӻSПϜtP:1E!nfׂhԛ*4 p6HoIӬ5{91:#XYl4Sx )SIsy]ïm?A8JޞK넓'ӚV7׽>=G7.'/'N)J둑{|=66%hf~#7d پ]l=;m?_\HbוW8S.A@^U Goe&5+9R)cw Bh`HZۆ0@Y2:>bv|iuB* j%eR_z]:Ǣz&H^0-SIq C >re+O<(}YlIϯjlIY$O`[jUDDy-99λ~cށd&e@&orsd򞰇,Gϣ'I]^_:U^߿Rد2@Jj- 'B3^;R!JTXUɝeYg ]Vb ݥ!Meeff+KtS*B W*X[&XAog`i tT(c PW!A}>~+MrU}#N7}64a:;;scW=$NJkW?RYж8xޥadrBf3lJ$E2ԠgNpcƹ((=2aӶ8uMMM 7wrF؅} ϬPlIV&8nʺ멯 Z\4+!z$F!̖y( Q;h+k7{=s0EV: 8ǞQ+DKhs: tWq*S9y Z([Kc-ns79<Ơ%H8f-{9n֖kPKě 5dۻ}¹n$$r:t}h\KUlx*9 vys k aFDą<,%-M d!RZw4X?2 $%ݚiPk/DK6:֕O$-KOI]AԶ!*i1DKz)qU_<}ʽU: \\0uRT5B O\1x&'03E~E+ #JR.\Zyg3/Ї;uY$0aN:'Ư;ҏm t^473۸I{kg!-ϻJgG1=-i6fm]*&, 4sK붕ib6&"-6d;Jx2hҤSGY xB9o3p\m60s⡀N3'jYWo8G#Pf#iQfYo }vu1I\å9i6'*+fXU(3yt387!kc~g:G2^n}RN7{W; &!`4}kd8K%;T&de٩fu6Yrс.^eG2py3X1/ΐ[ꂑ`RaKu 㛹=XfȞLɷm'oi(' ;:D1n>$xwN_*PgSZx@O߸=WU /糡|+ܫ$Z v:u-dWD}tP%jS-%\fɎTHgd\ٶK.JbNv @Uۥ%ag[(B/$R[fGY5gu]@wPsD>3g{]w_ph%! !#):9EBJgxn?D7.h8lBPG}MeY 2-7?I'=n7/Uzgga*6yc|xפ{U!rY _̮d0օ/Ǿ[ɓXLm&9]Њp6c9,9@KKߨ7gоVZ뀦Hg{)K֞ aɗ]& 9b2)e@rg5Xbq] hof='KO&*lqڏ}}FAovٟ_Jќ{ˀiV-b$t\:*>˫_Z׊XɶOҠ$=G< RG|EBQiŹo"%,G=޾a0qB4:ju:c -)憲^,8Peц> TY.fv`W+XƝ P q֯'|gճ3#_D;)&hE$s)9B]+?fRkI_)l:b2s! t5VV҃uy~-3ڽ XwQ6~Gצ Ѫ-E4:LcF0O4be=l2 Mv?]K]t3r7P(ȞfVj-X@cj̸"M&)x9Cc6_ |wJ%6e`ݸ %{HQGHfWFO`]fVIEO ?%0 1슂JL sCh[2NÅZvT>IhI.?6rHg%O@^)c)wLM7 7N{ Xr֞ٷ\2o /wQxڹ_^*} 7V},DFj.>~{ go'N}$[nV=*@TB^{W`zx_&H /on.9O0ULG_@27l}$j3D%3j|S#L(%h EmU7[s"f XZ: xtA ' l0D.= MZ /D-kK/qę~|EZi0J*-w ?/Sa)l/J51Uk1vpl(80vUx?+Űf rqדWBp2 4ɾ" 6wgP+M JЪ;4ZQ\ YC>Oua:ZC8G*qě7r+k7W+ɸz= AmITxULwplN~4y4,; 0>45Dhpw xOh8:tWM򆃙xy!koJ#"J-yRTom[EѬO_\ru])I(j?d@gXh9ϋ3I JZfq>@jCNoRˡh2[p[Si,0 EVhyc+GC>8ȇ?ǃ-OANCv~QʸbQ{l?6T\BW m_h>`hzD,z=kl$biC5[5&6/.,t]Es?h[t}o[)~̈!|Fme#z2,()EcUH g$K=&c52ܛB(ȓ1&9K0*S`z%O Ұ/&8|m,ek̬;gT^TZ T[UF];2]l"4jNRSފL/.-Nx|pgWܠ=~lf2xb- )^fuaٗh04{ѻ{ )7drT צ*jÁ(v{!h4L͠hՌFؾ)&MʛJ5N`$S-b RkJ,xse5\^ndzk]wsjD+sm{J8ZP Dw7P5̪XA%Rnآ'̪8P ǟpwm7@T rRYvI1}|uQO3c*U;E^ õFF\uno75؍5&dRCKW?ܫy$J`Gx a8=PѝP''MV"TYMHv=l+]/TP8'gܯ[a75Sdc:?gh mR/kĖ1tjuۓh״.@ (]t +4^ R`\j\~ij2ֆUCA&5pfb4-`Pr9}i B4i έzH6n˓b<0dIfCXA1NX9F20䳕/B=3'Nf)IƗubDa9x l_xt Mzl*HL.jE]_Uk ˚ku:B*j}" ͏ս)G $I̶ ?r+29@ :H)pU:A2:591Nefkv̡#m/;<8v]78?VJb600K[-hTD ;МS7CDMf{/M\^J']6A!fָ.)V^ 1EJ3 58aǸGs_FQp]p򆊚A/\mbAR{^U{*r9V~\0;h\a P["敖ҠOM R\a_/IpeOڔrJV`w`PQf#XIލɘ͒Lt?`6'g5]Rvq?C *D\"ƕws"#{3b()w\pym21@cuG%-`iÏ0NK[G64}k&H~^'Q{X.K_ߋ\p:/D)㯉4tcMͽNP2v=$;['o -i:0g.e:U=@b~+ԃ9ыq7'I|?v#nЈV~&d_2!hK~b*tOܳsFP%^"$Ȃz?M$t㑛7B3t'(S sIYFLr0Ry8/gg33њFgdbZQj HuBKWtB7zsh$.|NBGpj5q$NO~'v 3?0aX`o( t];!f[L]Mp<0)>p3]"b ,\bx8z?4ģ ٨oƢ]o>%%D+yXCvܬ[^汇-L8x- 6avS,k?)1 C[P22xA+#m|ݴ&%]?tA'VWrf=@{O)&M\CJ|M=5k=·"C:-xA_qN c6lTg'LKK>tp~<2( f v'v%S5^/ኗ $L4d-)&0F-TY` \R.wcki>kVx y@HJށ~QsNtǙBVsZievgK6 0COE M9|K3F;ʔN݇K ?gL~JHȃA&*g'm'#&T2;g$ y@% XgYO dH|^ EH]^#uw?L8Wr#@\r7nAh=Vd~]'_oqjS{7]v\j .l #4/&0GiqYYvVedlŝș}lC25Ir2q˗h~)j, #!)~i?6GycdyMx<yڄ\σ%׫OB}Vڧ# ڷ3Uzt&g[e:`D#A,OPoden#ݔXp]NQ0[[[8UˮkUvfAEp9`DtPTΪ8^8W3#MB=Wsq' t@\Szj!H$x+MV*a2fs!MBXI{Ư7eeqH328 8ǻp81IܠE薙U? 9Z h9|`xB@<,qX( hzݐA_v_{VxA.1pn[Ӵ4:7>U{,PVG 1ma hr1yŸ9ƪǗ]r. |)}Uʈ" kR-1Dt~N\Դg4șOW ¾8ơs:uGҮ'{JDg(n iVCfwʌ!*|BaB?<(%jRŠ\`*{| YXM|zrZ^9S"9v#b2fQh96A򯖍+H**ALHq2D〳6:BhBlZC/ا^FzDرLj9iE*mXnfXoyy5NBR5!g)x4t@b$ʆefzUĆD W1RC)@X%rۭcГ+ݥov߶ +B!Yn1*ic\Ih5}" =QRJ0p q"9S3lEb|xkk·S] \:>iZۛ80p4(ɢpxS6yYfV'?sK :)\hYʢK=4 `;B",2/$E =_%@,N6J `_Ft>VE a*P$d{gqo.#F ݻ˝gz%v{ ɐ8\g}B Ƨ6߇aOp0ܦHx*#T~|m0OcxWKұߞPtikMDچgzB4i@\ lD E܋`!SO#T2q#cI_"2:vDj.:0Y ,[ ΚҜp^C=EESE3Gɐ*27Rā[ Ʈ?$dֳfpx_gR(v9E8kC6'p4)`R0~aH^Mw}q.xaBC>Brγ|Tլ/`GRM`lM&R= . fX)L8NkBla#'` /O;XEٻ(K"FQP`8yͳgK[C^dql}!oQ{~lyƴFH&bkY;R.":A5 Ul?В=%-҂@A~vW8ҺIә:ŁpCܡ ֱJd ;P/Q$We|=REMO7R݁^H/٘Ks p&Z `6-)T0PQ=AEQ)S RTi>Zk_|Il Tn= 4%> y 1|{-baFO>vRq 8by FON'fXAoi}9 |Xps5]O *F;hވk6aG2n*].Ϻm 3?j~^m\%֥ZxxF8JS<̯!Ҽ8?(eȊ ɄCzo%J$Il ѕO|@_b<%֝g*p=HkBHOl=zqHosL!F 0"s"rKgy>%gӳ)1ۿBy`yS)hX5}-G(\1̖NU r yA]}VEY=*+bzLwhFq/]eXT] nrQk%kxL7B*uU'qj$ϋ\ás9W'H.yD 7N+q`QEcl=^vU" dQ1r'0z_3pu%LI_MCnBy%:%Sfr|n&51k='2kdCLTZWGى *Ѫ(g`0O0Y\ִ/5,իޖYs!!}天.Uݽ][+Ƅ//0|g"1ˇqąC*X0+/o:J+/ieI|-\sŖV](WVpY Ae98,WSKhUA eJVh8}2<uϝz{Ά` LqczX: Tݮ}9BTrH'Yzi#@LD( ǟUb]02U5Ec4A,4vt17/ATײ!) N:?\Qŕᏽ&f""،{@B1^qG c #6[f9HO*׹P;9&K*%@ UfS - !4ރhVeziy`zɀoŚ@U{WR'U@b:|}q̵vhCS?`,z70r~I< 9 NA9gis,0lY/oL{{PZ1+Tى;{tLt7?kHZ4axEebB TcM>Tyy m_/$~M( ejDA`?xƪ3q'֎L`nj`)k 7VۛB~`{T=7=X 6'PIDc%O{^`} c\V{]hBl]\d$ńOFQHLjz|x/r;:+ IqS]}o4t{% )bvGlt^WX12 aL7J6&Ak[w~bfYk>Uz5];, (<ߔ ܴ~^ W-``p R]?;ib;P N㆙91n~x~\ǦhN=L~x<œ)KCbrOޠcCͲ[@Le@ɮ\ y 8cmhzٌ {nrwȩ.1[`7 q[fxf/:p~D'"jy24zfpK۴Tk +bIFlPBnzBa7ЏrL{\|e/PI|K2zX͜1ow3V>F*֍ ϦSO HenVIIƓ-ڴSDV;~>_Nѐv`=){xgd{Xr:dW/^mxӘo+bH4q|ZMq9/c#;7EdDi$|?M2&ZFkc)X8rTiҨ l!BO"؞35==?5"Ȃa-6ȶ Wgd}U@gr3:|τR x";7?8HK1楞z kݯW'7 {ڷr+?$B=@BWf=WB/ d(jS:t0i10-6pl;Dlzge8?k;O2duc w _s_LC!ٴ_Cꖏ1$p_ځ²2lYyEM1X^ZHۤKCtDT/'YS~ rg%Q\ 8 a^{8-wa5v1kbzg6E}H/>OY+rLXՖFmjs4ǤgLh ? T_ʋ$u ܯ2ܡ>QJ.ޗ8A0"tݖZ[U?ߩ6:Џ';J炭 GHBr[6 P*]nՑ,-%.D:Sf0=i7fn4 1x]5+p5/юd F{8&Q$qH*SI hQB[.oOn o{WN#[B6> ISxUTw5Ve"-OvnxUoOUotQ\`c&P}'(wY6*:]31׮Wh㟣o큇lFZ7@FB/RB^?hm@*tX3)`7w"g!ln駾~>(WAq8EfnsiRO!;2`HfIQʱRWVPU !> Yx0_R5pA ȐئMXd׏ Oz+Z,dWy_/6ml0o `{(wb?g'`TDd>!m05L@R;x*p@{?5?Hr96|%Þ\Pb >2ZwgVM\)L𯰫UtlFBDb|'s[dI m}iTQ4M >oH1IW&ߎcF9zAF?Z2Y'ؼ23z~(D3zg8Ne.9:G85Jy?T_[˰"X3(W501582ec0c7d0 95264cc2a687b15e360940503a5d35ee375cd89c 979d1c350ed16ac21efc94b97d3e5b4d9ff04a7d 99b9d0b86b0b3e1dcae85f1ed6df68c5edaf54d6 9a4815b9e9783f452fa8bc6de91b34803f882f32 9b247a57b0a5a7493b97e2c80956ddfb218b0701 9b75700b5fc1f526497f683cfa780b2ea55c8756 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9bd6e3784709af56872b3c1a4b8972943e85680e 9ca7fa46a3552c560412d266ccb470dbb4e36246 9cc861347da92de09a345c872eb2d1280b00c2e7 9cdea3910ffed165db80107222f2cbd052cb4c21 9d37d15d692a94eb8c7b6d7320a74abad87db201 9d8138aa7a023ebff6823754000c847f380ba395 9e0b9e3d9125d5c28f6bbc205fd793cffed16e14 9e2d7f93aedc5ae9a1eeb297d6386cd99a325e3f 9fa470afa6a1463eb0fa642c27ce654e3579cfd9 a12829ec5c482aee31090e8a7ea976c228b2f67a a1665e0820c8409a6f253561585f8d94c32cb3f0 a2a500799f10e9e54978f58a0d87857dffb055fe a2f6d8ec305dc9102f5fd65b4af4a3d5538120f7 a38c1a741653f6b0ae73dd1f1a888257d68c129f a3cf9c98e82fb955ed03111f310f0d4d4cda28e0 a5207a4a2f5b85f6bf5341c033cc2f063cd014a1 a65454f22c0044a00969bba27d88534cc74cd96e a6783b94932df999a943fc?fafe295ece61c90b2e a6adc5c9f9fdea85c772bee4529b7af7e7d1587b a9153e800c32e00d11a4eed911535d6ebd0e3b93 a921d2e7df66b4857d8a3987b34f467731799e9d a965f433dd2478b2b2c3e821c80247a25a7b51e3 ab3c28ce32c7a91c97b562b4579f5170858503b7 ab4c54b2ab1c829d620e748e6b1a1f0296f89bcc add0e90aa25f138fd5138ca196c372ec9e228d7b b1290d6168d66ad2240892525bcf9fa8d91313fd b18b43b7f3c9e7e9632f7c1eb9fee1535ccb7498 b215dbff6c9d7629b2e7ff2bb71506e8f4aaa036 b21e3bd53bc678f5e62964059676d6427c069e1e b2c265565ba9664b31ebc8473650c7c1222e6ad9 b4a2c57351309428262a4917bd62c8ca7e9385a2 b522f27930028af039068a75603591ccf5eba343 b543e218fc0e316e8800e99995e68d3fe278e077 b57ef4bdf97cf82c2a652fc5b52fe0fa392424bf b58f14bb30eb447b1e90295dda377ed8a59c50f9 b5f2e7090922e70f0ca56cfccc3721f2c3e2cb86 b601347fdf4207dd9670b26aa75151ac61768ef8 b60b85d74df60446fb9a27a7210e65e88d1f00ff b675f1c0ff92752b79cf1c2b38e2191282059dcb b774ee51cd21ca97db786cbea8b5d6273a93901d b7980e2d7a6f993f5dfcdc8fb109ab758f8d5116 b7c1027b140ea83c068f388ff38876a5d64f891d b8f501daa32f7b171@18ab012595adff410d99a4b b92be31af05c3ce26288e844608163c3cc6492b3 ba3b62cc8672116181441c3d4b6782c0da843bbd bb412208f19b3b94fd73990a705209ce48f0655e bbbce6032b94088c6134f00edcb03508a7b4d5da bc52591d5f6deb0686925f6e1d7b8640f55a65c5 bd44ccf3fead8a89386ee5d7cd4d78e043f0b0e2 bd5dc2017bc553b0f0aeca3882288a745e3e2521 be3b4fbe209d69801379a1c31fa5e93d64440704 bedbc5da9c3e8f4a98746424bbad1e1e24e7c3bc bfdaa330d6082a70136bdae73a1ff0f42150a81a c02531330e6398fae35c5b352ca773f78b566285 c087b9db797c562a013aa08ee7e9ca0f687b0558 c0de3b44529a448712786c954f3d6138923e1f0d c15bf0487e82d72c2215cb3d325795dc953a56c8 c1fdf1c39e8c324265d8cfb70e7ef41580924f23 c2878e02c11dc1877a8838c6065fdbd1b2b63164 c3486c9f404e616b71e1ebfaef8ae30de5803a00 c43a743d89ab5d922ba009c62abec57b18790372 c4c8973e1dc785b9631d94b169eb3e828042654a c58d4a6c765f2da84e345fc7f4f27d4df926b220 c690889cdeb44963d93d520d2712436d8ae86bf1 c6b80d407d04dac9086ff26dfa2f9637379dcc4f c6e65c2eaf4ded3fa2c423e525fc8a6a2cdb9ba8 c7ade05fbac8b2591294174166fd8c8b8a676833 c7d545931aa5A3e209c10b3c6ec36e71405f736c8 c82cf98f23e4c654b9b463ff435a3c4e07dbe32e c8a3fe798a12166ca5abe7e834d199d29fb7c0e2 c9917f0eaa85e1b50938b8ea9388363b33bf330f c9a2df60089094094bfffce424ba1fb4b5138918 c9cf09b2178eb4b2b328e50120eb132a138b0543 ca6d3741c1dfd91d53585adc92d7808b06ecf149 ceecead55c31d355149e38b0991f780896669c2d cf3de0e7613a445aa8b96003f1f8d7c8f96a83b0 cf5488fd1d80aeb44f0f4a2576d4a6e57102329b cf59e7462917a831ff72f54f5176f976971933aa d29fa84f3fc63184c6d57988fab9170f68181b17 d36b0aafd81f5bf0e93f3f31ab18d9ef32a5e4e1 d381c9449169df4b0e02f097b8c7ecbd49775b88 d487fcd8b841e8410042483282c3dfc28fb2f48f d8292adede94ab5ef0257836f9002579788c8c89 d9dbae4ec7d5be5774cd8b0490d19c92e0da6ce8 db7947d90b8ab9a4cd4be8474a5f8b3f8355944e dc217076872eb986a89109e382c7ed9f08a0dee2 dc91d9c860da6e0aa3cda40c5eee538bb0e923d4 dd12f57a804ab5c99a71ff1eb5fda83941632114 de83180bc60e40cf325db337ba288758e8fefd85 dfc98146e4755edad293cd36f21a331bdf474b6f e022b8789087bc5e44635654e0c0caf1c313dfb1 e033bf4de41ede5a6fd99b700ce377c68b1271b0 e06f7daBa951d315c56d4b6a28d08fec875b653a0 e0b01e3985711de7be7c7d268ca77e64bb1c8d46 e14053089b8440cb7bde4cd9176a848335e3d99e e2d9899bb534188bf9ae0e167449253aa712651c e2e8a7c4ebea5553f3aa0896ff3fee2d4209edd9 e3076356d70f35c17a47b97dc41c35db33db582c e3f7f8cf1c2a7b01f7476dc6f05bef9363ea8bef e53c6caac60689891ba3b4be4e55469d41eac899 e5d6cae5d66a9e46bba7dd35712e1f87cdd64678 e66c49bc37666a3668dd310cd1a9197cc02fde69 e6e0d130aa51012e646b06fc2249cb35242ef561 e77350c51b042f0d1d3b27921f394c0a6ab0e8df e7df8b637d04fa4c48e3ab63bfb0e8b2f81b4183 e807b21e6ae55cf947a4130a5d9aa2005b99004e e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ec2963a5938cdf2e851b0350f519c352a02573af ee8462c818e1a47e72f0713a645c2dfd3c3243a6 ef3fc270338ab09f394a04bd09be955826ae4c6e f0de55cfc1dd5548723090aab035e5323eea205b f0fd2b7c06f457eb5c7ceb27d3cc0be2a57e4063 f22f0029f33e2e874f5c3f7a79b570f46171fb9e f2330a4496b455074dea2cb2e80374d7b85a698a f23a197d748c8038dfeb7b8fc61fc644bf116869 f25c6ca10bf8152e9b55f1fac6171e18f1f617f1 f2fa20fa18396f6c4807a694ea0639e42e4f926c f3bff9a86817070e29272c9d37a00e65eaea0f0a f477140e58716424ec0d03573df937e9621f2187 f4ab5eaea02e8e225c961fb5f512062ca171a998 f5ec7e823d613d2448111b3a7c146e9e7aa38d2f f686ff6458b587d239c8102e8f14fcf11ca3b644 f6bf49589bc66db14a6c8b5cfa468392b6ad28b8 f6eaf59f4c0f79d16f377d76490c36ecfa31c112 f9346afb22a0d8166a77354ae08b21a46496acc4 f999e6beeeebd90a2a798f3a0c4fe4962334fc93 faccb1059b382d536f7483a88ffc6ba6fd6bf0e6 fb12fd635c79a5d5f59b2bb3c6cb669ad0f0b1e5 fbd4792988f777dff5911485f88842943bba6670 fc07afc98f86d90a4706a0dae2f8049df085601d fc4084c5ff0012f0286e50511fb7ec8ea21db2b4 fc6109335be557c5901205ca25f129ea5418b2a8 fc8f0767cc61e0d72f223ad3df76e6be9a834cc4 fcf2c6fc7e522a9989fef69cd7e004f10ef5bd6d fd161e4262bd9c0e06f45181b3d5ecb1dd657c4e fd24b625cc2141113f0a9dac9833b5db73ee9c00 fd3678e17286d46fc356e8b71c095b59afdf7bdd fd7686a56a58e2d694330ffc2fd5fc1cf9a8b14f fe1b100e35d479047e872380ac4777e6d3f0ecd4 ff9c3c63b39b6b2d522813d09a745cac4ff54406335cc3cbd2f9ce8b131befbfa9e75f5612bae6307c26c49b475c243548931436c6b95007c71529f9