SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  rC< ] Iptables_Semantics_Examples:threads=4elapsed=1054.796cpu=2537.540gc=134.1887zXZִF! 6a]ŗXiɟH)0%o C Iptables_Semantics_Examples  bH颁Nt8K +/X4!MpsCþAdbdf,V>0x{\g;Aw [l7\_Spf'w2ϰ-)2(p#klFub?iEO}KB \H#kX7\}5`U17KﰕB *DKY^VG hs @aFd{x*hP= KO`%Y00 P&>,uPlJQ;cRo]Sϳ+3HjN Mo,c5bcL/r{6JriwrJphuhK^9hX47R;fX{?]+%h #04qO;zFz%F|bTǣAj9`2gVigz򑫻R+2d]H@ck.+:o^?fKf>z*q:fR|I`?b[&K&Z0yM蟷h.>Ӵ{oTpg'>#/J!Q})_>.(%&f&h/O0U lp <5[R)D|7onz}a3%pvs774&ά0Z[(~ ĴxPZP)<)QsE^@/ޠ {ݶՂ#UzCf\cIWA󻦟e0WVƍw5,W~V, 1_"ƚ3T0|KE2|Vg(TzWӭPfcQe,0ZK7*τk `(NOJb=}{C6Qç,QB'aE`GHBoXo;:|"ڏ]`=b ѻL-@iV hש.н-}KQsg|ej $'k~YAkȴw}?& G^s ye Xnzgb!Y<%Z?ĶMb."cuzYn|D\ oste":;!ȏ2྾e38>t|"̈́xuv2}5DjVMZwܣ/ ?}֥ZjW))IDdhy|AfAG: 5YWb-Ц'E_,]ƶu *YS"٘=Yz)KʥG\ /]1*TB3ڀ (0%t˜]l``VC#` rB%Jn y?*曢aI Z * L*9b Et3H[*Ro\K_d#0`:"Y{I%P?8e"TPiCd؇𵇗ljő&A_1gn7m WrYϕ{WB9~J4`eY n@y=֗$ySryמ"U_dbWZ{ 1=(b=]ՔT>ԐfEZ-_/VuG@ݵ>ej?܀X?;TŚ\6KPxecGK<86TNΰ- B9^TE䎉,1^m #hz6Y{\&̀{S*=befb $7I4IFql۝8=:ڞAߦ+=~'"'e{= wYࡣ-"^{,;}Ӗ-RvJGhh+ TQ=WHNoIqY`fc?PB(M%PpƆ0o`ĝ{'Q f;dĄ+},. [J{UUILkAs#:9?xsz{-cbR>JVߣ Jg=cyIdZ=w?Y0R2; a/w݀mYw.ǚ*z0}=n $jDSzxfɋ?9KW#D$ =RӐ.4!aCv}_]~ |%|h FL8]k;{Ʉ:0۟ucER>'_'Qc{yŢ,@u9 զgriL }1>,3ڳ]+:Y1orkLyV8yK<:#2q`0a h>c?dáhծV\9z ~EcI}0ܷ5(gfE_ VnPha ?7>VU\A{{c'] /lHa~qt +|+@ T4CtY $ *ޑB``B[%9Ӌ ӺQD PY' M*j*Q*_2Nسe%Zy`p]4UkF"PhŦ{ߡ|6_ ^q$$RotGwsУ7KsQv ?}댟s9 ]_.শ¯~sn׀3.ExQGԧ^#9WYtGF>>4|?![p eWI-elI چE&Cw2J $( %Ŷ`YSa#Աn + Ъ4+֬J&LnڮU߾|>v6~rRc+2x!а-c4[> s9 2lܧ~!q.XCfG Z8Cok1?Kf|HHCM\zC 9&y (~0O(4iQ bHEYݳ@AegB#bx<&;7"B\ƺAS̘F:|.?dxg>oD/oYܧ>x3a .e=Ĺ'Y1Q)u;ZdeQ8b(#%\&}vă 7&fOD('wV^6[ags3ק긯m=`H{wDe\JGRN1Gqn#Gm|xގVҏUmb ANWB }Y^L%A32xŔ/q6S 8 *حaZN,~k&H@p0ñ ccտii\(}q kmA>(DR WWCiZxyU(NҲ=IdF[pC6j{}ݳ'EbF9$\\C-;~2 ̇\ @ shݯ!sFUsAE4יZD;+})fѩkEUBjƘωυ3Gf4߻.XD>"$4FШ l Q&U@ҙ DA񢹽@Ovk s꾱͋c6{d RSQk3Ԝ-LD^|쒽@?╬5זumE|̏̄nZDV9RQcU1ݪ ku9oWO#{N (Yd2p/, kgYZ7zXZִF! ]ŗXi%L&˄Ƞ_<3]w 0cŗ:oDCܥ\h zK4\w 2A̢ǤL㵽唟ˇtT'^5|C| 9dIeEN,p/Cqnf A-aگ0h &\h ` ontTTe◚ܓ`*3G㽚!W]q^Qo>#$\&f4q)BԚ yD(*;Bt7.%1/26b>T܏/CVb61?ʈ{!tbbfASΔ~I= ,0̠_UY0v/V]jqwKE'lMiOzYqP&h;hH[iP2CtcVE WrEYz:[z+ꑰ1CJGK K7ZNuScۈ }{5u9a4^I&O?U޺Yq&jXzbV3aŎgi6 ֘" 6Nʃ]Qگ*^vk"lXHE1 5`: XQ}An˩iB!#'cl[@,d*5pq6=Ei 1Ijhyd%bpZ`PdJ 9Muyth?>Sx-ɡЭ)Z70&wSwzlO ]hv")fAB{?g>~%X̥5mc:"]7WV yr%lY {X|ۇ}H{ Zr\0KUJ;^$;/Rq].enÓ.=W,(F&ㆉ6Z e:AYz <=UT?\9~$tAhD\Kz[$@]c9oq؄u,z T]FLn6X;_] Oc4,'_ԄpqaDbP ഫ8c5)` +&Y7w}?bJM \P A~ۈ͍\1&|lG;sPMus@gC=xƏOaKL|3ͩ9.~YMW{ Ʌ f&2Ig F5;x8zkn4MڳɚEWu sp̆E8I'Kh5Mq+ؚ,h+e!Usـ*Z@vTkH^q .B}eyAJV]}㟎΅QreL7CtT0"Rt!gwA|8*OqsH-:6vD׻piaJ ZDS|™}U,"C`rm'U6xJ`%G=R66Qw-isYt/!\dAk_EN;Vms+=Q(HiWg;&V )JRD#+j!=p.AΉ]QXbR٠vuTkʐ*_ye QXQ~aK grsSE;?|9-.387p3VpJKVBc4fSq R5ȼULP:t}%GPHWًqnD DI@xy`G;Ջh_t Of,L#/nw5j{Mr۴i1]\,)'bpݱל}WJg@dLbs(1z}'UWfz3'eQP$fd\bC&t0YjVHgΘIu0`:¯ Ey. #Bl7gFa-X>/>uJm޽~pZ}ŒV'X^NOUOt/=?7`]ւ*mX ~ x\(Ǖ6Qci/=h!>L@-t謁u]X؇2rf^2$Im+콣E&~g; ڃ}eQ>?ח|1֐[ *B.,N%PbsƤ*i%JE! 6@6b^l)Pjr)[[?/TTO ?P7S}@ %>KvaI2FA}cVişY8hL-9YdnX vnY@}WDNCX(k[.D4ښd6 a}()x|8hAC)p;$ tIPd23ho7E@ʖNfHzcYkO{C>4ۑ\G_lвS8CٶH0Pr\U8sZ՘8MQ#.ammv 77W~D(Ύ~enQ'- K9/㗩Gj](՟bbZJ5Vo,)7(J.}#3q#ptL=Ҍ>p?:3]XJ (ȋ㱇uq5,i&Lxc8 LaQB{8-(V\3,U=VBj9;*5PZځfhxr y/!K7X𔛒*uvawiF橐?}SrʷpT):ߺ&ZK{\dÃ⣅HyBڜgd jX|RN.H0Š*OYoy;d" 1w@fJS[5K\ܒgxEFw"ЃYq46f{-mux wwKC卧saBx'3ߖBGe=hvg`K$62+9U+aʕ QgґK\86 Cb NY<`-63=WzT.Ւ-{09IHXTd/f)X f֎:J3wsb- pha}9mUG#yS4uNX&6)ӰAΟV%ٵ{)8CDlaJ=4yZn2”x22RfvpFoH_"%BM9@yNsx@ZHHEi^tG_X((j.+c&}@P3/q kej .,u'`V"[yYO]ZobYF{rGt6E4- KELQ{sBFl6[8<:j{#C]շ71v_'& jԢ܃pmmbL" *~ZNVNg`ߺ(}uvy2{¿3I\ƖC/1ɹ(Ջ4B&m*ak# uR^ZI69TE_R i"u197$ĥtc&dHf-5JdҌ ʙe=:WU/ƾ,4Pi#+ڡS#q~RԱs\45X ^l͟YM}ۡ CL 䪈{ŽDItZGghM-36eB7;PamQ#HM}I/3 8V97mp3W좣l}Ef0h.xTG,AۦkI16`,ղf)Vqx .9jZGKϪ+ uzpF$aG>_:ʹ42-3Y[1^R.8:1,wކTEE.8\5-ӎK]aJl~FH,Y]BujON Udr&a[o)Z`E?cW}FF$06?1 ;=0_[m/eyJ D.0 )j.k(d\09Wf[ **՚I5eg4Qr3`sNòE3OkZ#z.oL_4m ˏIuHoVC*)n1\ K""]LI^|9#[vIw|oHp(fOV2I)Mw9uabB[';zFqHGkG[:ig9u8Wڤ䮾OJBM& _jആ5{84qF7nYZ^i@ZY,|aYx 󆘴5R+ɦ|QB`Lty%LOW{T S(*9q"7?}zTc!}˖-JJQ~`ܒiHqlY_/ O&n'iHe0"_tKLO[xwVl{[cU4루r؍;4R,~l6ǀw'?xЈ@$c\$Z2gcnjB{OՖ QWK+ х{zzt>l~vG%Tb`XY?eR,Dƺ Vb.JAY(|c @\g6Ew02VClWOvcj 0D')xyG\[bf7 pX h}KȀ_Cq y4,uĺ2RypXa}Cu> YeB9"BwUM_ЄGDr%3zS z.LơRM'% PASLjAu#1MڱmϘ\C(uLK"LyIJVۗ`bOa$fWqF_h ,W,=~̍$ۓ ??5}HB3 |ɏ?H"-Ym"xgAr]ze4댍m9aerr=<%Z"Qv0ΔNHfy _{y*"m~>9DTuAF&M]&h-"jx1X('G@+G'IRM 54#V 35bSBhH?fWhFk᱌ $֫(XF"=Դvblb py`EWɱ߀1K4?xMYڭYnSZ2b]U-/jSՎź.g}u$S8%|'/߸6K,-YIX="OCRܭpjb{Vɂih%+a&rR.e8[QjsRO]~/̔ۖ+K˥ \葴cXi Sބ-Q2qq@ =%0z'#_nF>H0b}Q?N;e[4Wdn9 ,xZqN6k>h4ВNȭǎ iO\XxF)0c ؞L崠מ )S?>ɤ8_Rq2KgbI"ZFִ?&}8SQid;Jr_^&5f]7ivC$`yx843_z.L[4n$ FcU7pφA7s,гuI=߿cͳv'Hf/ͼc '"`H?P\>՚in zJue`PCD QlLZ~7 Ug_B6:mjn;{NK էz>Z0:|"0oI R +s Эe#jFE.1OvranZJ5yÎ5࠺[)ׇ$p@H5 `ěxʰOVqvoF-ڏ{@X`+>0TbcF3)ѥ(U;œG=E gd".;-]tRhF }k{$w;lT.fIP珟Zdo!_hw,g Œ"^F~-CmF.v7Jx{$4b DBDro.G2}8)lMkꔙ2=OQ!=\2yDrl??wԧdr&6k~A,^[)$u6#Wbv("i(0 "~z;Ik?m#ЧΠ[`턔,OMPc&P쏂I~Oe몡?p{MAF0zIrA\C)d3.*>%H3,%mW|ёf {:/v:fb&`>DJnc &e陑Ś!ߡ& v;QQS}ѓt "fuɌXpɀ+t,"5kyfKw&&-!=r#H9duS۷K f~B;q^jw CO7ɢD nV4Coy͓)nK\KؓD= K|VժzBʙIOLYBL]ce ]X\,GfyC2h5 %ohYK'*1ldfF.Ӈnj~wg{jpGJ,17Fq}و6LBl;.jNNf=HL#ة [ø.~^.O.=9>Q`XT9g/`OM](-ڦ7i?.M?ciPғ h@o2ӪEi0f(V`r#wu\g>%`J<tnS(6h?- qˢUĸDvw1EYV%XvBp?pj!Sgs6ZAS_hdX'1>>R2`̯tR{5e4ϟRoJXehZ[ Єヨa'6D/6pO dbj7N+i0YK;_:dݙ%b:h_j3x) ݇ ,d3P(3V{8tۡ(gw\=&2&*<~VMnr]PAH0n+/%t5d 0V}zpQ4Emsj`D(qKUsvE2Y` ٷyϳW)C#5MPGRQ~#ޡ %wD 'l\jv8'6 4铡"MMU{P@t3\bsOunWMdM.ɾZ*7f[rv[͇pg@X0ρ*5ܨ"I?nIVR BΗt2%Ku'0zRFGɟA۳W?N t>QM:j0Ȇp'-騘]7.{ k?S 1:UNBd̺ZT\vrN+yJQȎ] $@c2NJFUcKv8ieƯMIk_ԇ:aɚhe3\.>vhw(㵹I;`r\ 4tlہk45  A =#tƧ,Z=?O6N\V9vH{аD QxOU1T#: Z4o( -Y~g*?+^̸ˢ0"'rZL!!iHy=li4iD&CjNTԱ_C _L%+U)j]3Y`ѵlT4Pyj*}dsT2@|y'6b>}HUI".~q UIxO+I8|3}=ޘ$\TjN:LkÖ%fܾTѴ{b:iBM%Eف+g,&烙DoOE;qz,.N;AV^]]SG^gƫXqDxBt:dcWk!4Vstqnj7ϨokP!"҂OM tk!Bn{&־`˿GXH=̣py)4{7k|pyhB/3[o˗yq?\1t?T[Ƶ 7>SVD^E Tu>FIm2kˡ9ZuGImn}Y'ILR!Vȧ@|P%U\>? wI[W~N)î桳r nsk]V9 bIz$t䣀ȣX,FmF+Z` %`TZg'˷ EErR2Ok>pM~l̒W'hFj }Պi5Ι*1MB\(}톤ݖ򱂎k+xwZ5wZc(LU1V ={85R+ǣqj+tS6"8 ^ .gq%M{oD4lⁱ?8hؿvx4]7lLY4#b}0OdU<7}oi@FcN6v0Q[`WuŻjJK'VpQ hUS?RRoxG2, cĻI"l F]!7׏9óm 7]Sfٙ&{yBYnP+;}ǩaS=MkA3SZ3Z]Ev&^cIGT7X5 ejYn}P*oqJw%Ejpjaץ-]=Z(U}jTc\Z2+ugsCMf`B7]_G$+*+CWn#]1udMFOƿo8k5QPեR~K" ƚ3>d,+.DeT9.LtKsʻwRdq́ 6tmeKtAc~}l^r]r0sH5O8o9e = !'`ւs1R;B?A$Fd8'8@m3g,Gj?~6z6;k{4D{SBAL~:.y=AgNpJdm4is~%bScN'#+Gs JCrt~Fmq3iQ֮>DNДY_th8Oս<0R)|Tȡ 5#a԰~ |sKVP|,LȄY8[llsh-V`ص/CށrЄa"KT! J(ϱf3"B@CLdZy#TQ@͜K*Β@Lܑ$ A}9gbzΕ) =l{Ehϒv9{f\)/gHpA wt±f? ԛ䒋1S[کф ҄"/MʠG+5h;Z'QX#0&4霳.gy+:"ș˕zg˜<K)Yfۈ)Wx`@!WS"ʮkƶ8}8oԊ&2oa36M_%_j. d$ F@+iǿY+f6[צJ"- .(sQm$;d.j6XkDw]G2n#mLn>"m_kЅH̀4':<xb- t10tG)J<֦:CD0F."1g~)^r/j2 F`J*灶u,/ٸ41"S,3r/˟?;K7H@162*wZOF(<-ɦܭfMXK(:MExCyGH |ڛfZGC `e~ J"K( 0Kjr $ȅ@K4 6KOK9ܚ.Œ\XmA&;آ!8FVֽ'PwX8>HG5rN5J GTZFOR:o t6.':Q ;6mVq=JR%[ƭ?պE 9h&*3 u_`;m,eـp8~5L PƶDOwH8&} դ@jzHc3ߟ#; ׬>Vv?JO*γ,z{XYY!@\= XϚzz"me U@+B>?FN"0'#OP8@xӤ?5JmKOjFQq0pL&#9}H8qF dZ`jVSl#* K 8́D%34Wb^$&H '1JqJ*9{R([dy49jc7\TTI:2J^NS  u#M3(~f/KٽB RU}aO^kX4u}>Б!@: m,e {LUg++jl;8aм|PFSeb%u誱z~,;pFA1Py%Ǿ48H@6=vlA$Y}ቪ Z5{o以-nݣg^.p2H`?e Knb8%H\%Xtey5U5%Zv ozcݚf^+n&w\YGzO=i/c\h ?}DsT+!}C9+eސ!74/i?6!<){[u]n&d`w3F2a+0Z,ZYa[4vf@m&m- Xh@wz Lw-ox2B.luf_ I).Fk,Mܱ~6 vsY;G+pxjz-g ?dR o߾R Cֹj<8_,ھLy_|!җi.ac K5jmqp31$z<,hdj^{s,xgK)_wa,#ˍy]FBF ز|܊"z~g»׳z0fKX][pquS?G%Mϒ $Cz2ήi kgFWipC#:j(t+yvuchUM@~Ջ73uGN/B K%kzqe*c4\-¿k1TJ~9%#8I_f.N a;2tğVs^+VA0ǓN,L+C|C3ǨFwD-4cǹd fO|/O3Җjyʈ0)5,q m_ یXU|wR_H-s٬4֞giH*S8󼌡 =ǮCDEfSLGG1!(W8$THN7܈g 7eɄ|)aT;ܬfTe ccOjJ[yK?!Vb%},-z>4/;h <_=Y\ QC'C4+vkg|>2mAE݊C9/*|3ҝs;)%zutQΒIVRj= aE]·1 O$L_ꢐW.K޿ޱgsG>,ñMȅp.m̤3qn P߼7\wB .ܵ߹c'FFZjFӃn˦^Ry A#LK\x!&. yS(#E~d7OP@Q}x-ߵ+?_X[M:u@VP4 $1@2 L|WlsLLqTD״{fkcOq8h< pOKwg?y݀ mc^o=CƻpkA c4`KDt;ڳ!G¢CKL>}xnDᬼG |r뺴tZ5 BzT:ĺl$-yکQZ UeېeDPz޹Ec0'ˎŽ3R/{* i[BWN5Ti$*;Q#ɻ@ :b|¢PY\f<4DVP̯dҘ ÏʭOwP M*-7%&tHjvZ :xwwH'VoLq}>\\jj9d$e̮#f&Т,ONbikm<)3VY uܦ!d (=p5׀;bToa4yeL(x;; 諵z*f7X;$Л{DvMj+ԪpTv~ .qP կ*EQ"VJE u'2?.·>Ȼ=ϟQ%ԧX; _3JBnWj({S)ȲȌ V$שtv@'z'ۯ^\uiq{$5p-2;ӞrkQoVʟʱ1})sYȁz^K+` IobUYx*{mEDgv7VNFsZlj5I=^}[I+r TIBR6G#4>Y/R u!#PW U8myh"4>IJXV+N4Δ{J];u.!}=ɯo'$&(>UeQnDX~7e!rm41pruw[8/sv 8?hcS)Ymy [dDbaj5>\Q.fҎzF;xs( C! %RuZqXx{ d"+|Ӷs{d]y)r ῜F]64 R%ElhEw"KѨ:]r|[T]]2>SJ3r؝d@B!l^a/O#ڍM>>Lޯl!bmlԲd"٦(O1ŰDz#Ik%ZGy%˿-UiC8nNΒB6wBȤ2* VNPFK'e^K&8w}Q ,_J} / 5nL* !͉ @3x:*ʹa|l$7 2Bxm)'(~EĺEIwR MXˀ#l7cʹ56н;)ҡ,nV/$?ftql_7l2@*%lqcTIucsQ`ـ+چ8'7EFMy'HJɉ6jkJѕQz4~y9T,U>s{?Sw}`F, 4s-6'd!Uo\p=(6{zgp퐌_J5s7u->:3BМKwÝCn*G'.%c UG2nw1kFB(YIRH&t9CNO0 /Wu!7Z`> AZYVCQڗBmF9yҜkB`y]c)-"[Pۺg7lB_ M8zуGz k*6$V}ՏJ0 2[ ؒ-ʴΠiX>*)QCBv\50 ܄vDWuXzI1FڢIhc7}(;QNEކ` fÆxA9zJP;)5E:_aCEz5H#K--Wְ Kzm-yTb2|^DAX2@;-5 q\ PC*8wWdljfW.&I 2[%)XSȱ,{ .# 3o`SWvhQ inS;ᆺ3"RmMa|a⋢҆Ƹ?{ylS U|,"! Zܻ k{ i,*e'֒`٨=Oz?x7HYh!nBWiЎvRm'PF?ΐϏE񰐹3]Ҹ*JA:ޢ+/o;x1CHi6`2ӂ]o"R٭ޟ^FU'snݎjt W,s;ѥupvػ4qW,˵Ƞ xU9E8}Wvަ%mJ3M ` *uy.AxQGv/ܷ"4z}5l"3/_ʩuj,5Ѣ\0 [`WɊ{Ʃ:zl)$ᮔA,D?{03EJi" |^7Z0PܻF$pW79((bE SAX6_^z{Ma[b]M]`?!^-aVgd@jC'6.G~IzgLVs3pֹ W [:^Xey}Eca&>.. ҂(ZՎ4lwQ lWBX|5OBw3% _/P< q;u'VlKϝb돤;|gǚuN@+YK%ui:{BIXOYV&bR*ji^7Al0u7ޓod*ՠ^P^o^b[IoՎ5iYߐ# ;[v)}s¦,)Xz6, bŠʍjeHq Y HJpv5Xb:EU \w Lox6IV`a-KP9vQOU:{%(LR)ša#IґE'xKsS,(yϼZbG;a X^ӻ2Fٴ2P5&'Lzt4Gh._{vk(]LWݨFڽ);IwUc̿|qt9貾ZA;nh#5FW8}E3 M D[ʛ{5$_S(@/+tګu )\t ߙaB|iO*́Tzr>k1gr!AZSqip' ttN.+Mqf?K.+Ӹ4e, *P{3 ~Dr'mfe؃B¹N<h 9'$q~a[$9)2r<د({>WSM,})M؝AkiSp6&RC$\%^`DGCzLOH']]o ] \#?t9lsv vxU 5_ M=TZm5hG]= {y<M? Ȁ+zPmHqoeA1 ^Ք>|}{~#{;1=OX~:zǧ-EI@}DSA&&a$yHP)IQRۣ XYV gL=)׺%#׆ēs7:@BHɺ !"l!8B yW/daN8^+X 2B?&6 p}HƑc (rM(\mPZwY xմKx&_~*l94w5M`~礓dθx{9N߷]542KPCOGV` j_Yܒ+Zd-lxŊ1J8faf ,{:{jv-8!eSN$)90 c/KtrZ}ԓA%_(L0,Ʌ?z<֗DkK $S-m{38i8>pF3}4-dZB \9ӣKuf(..eAn4? ʁ)A!u0C6ڋo֟-I(ϠIJg5$WmU͝ })%(3(F-c&Uܼ9^{/]Fߕ 4s֓IcR֘E<*6@e7^2^>N>Sn˒ ')a'8ߤF,։AaVgj9ifw>)C+YL-ja F@m][Nx) ɏ8~ںdm7QyʂEͫnNGw)ƄH%Y먫3~/@FOx+#6`\NĞve]T ̝Di ` @Hls0N_D/|O *YNEU˥eSa7eR̿ |{Al4y/8GRA߆DJj"8o^[nJ}9_W#Sfwqj,(xP/GS*tQ/Q8Gf_1Ƀ~yd"bz`?xiNv \Ee<5|pF-ռ3|Wkvfⷾ`0R\`wov'}nsGSbrMuNW4/4CUf'[Po5t4~E>-S)g^;+YJ#b#v@9?[A2.KD׺(a{XCψbeNyY*ԩ?.i@ pi(q Hkp~.eq6 ĤoL$ (n9\fdxjՅ+lrM=~tuQ0IͷQMoHGX4 y;o-2[Pv\ںK&?lMO'MuqQx yJJ9̿!ږlF*W CZ]f#e 7FNe …CГx,o@,JWGZ6,9N=5iͷqcakE]f]J;Oiŵ*Hmyw .6 A0ÖBopM"]"X#p/s =5߼<͎HP aK$g?~‰(>CpppKH ";k/>٪v5 .1c=hɿe9E5$β SY4e"EĜxTqН2՚ vp{ S_C{ JO%k*g Ą cp-׾F IY70/Oug^Lyc4EV @my6i nؑQ:dTJs _!yGp< /~r#cY %+.c(f3s摀bdW0/14Ph)5L X?#*.dCEwfP8|_+;TRφ9DE0QWU'i~ Vιyuei˵KQ  :W"n}::BDTS/E$pO :fNn<)LΡB:ak4BK X e/81y(nchӎo("*U gm D/h vRQ4~p /#qۨ)}KGZm>V`a5UN{mUKll>yۚS6Z72n p=&_:Gj~+[^sL-S9>Bswxv,9Xצ˪+VE'0Wь ys>S'/rUqt&0S \8+!z 2*c4H&P(b2 $,s`{$ꘪW#qqAU^HsScNJΝ8U`ΊV+vi]1|ih m#@<:į냺!3&a(+! y4) ǯoA,1ɽ^O0T4[7O7G1qub 9 Ԝ0h`Um4jfoėچoTWa^ qeC3ɞ`1h9-!)4Y2X 0m+&6lvE0x6~3@wDynHPxM^]_7qgp{@;N /rKIX!3èpIDTKM D/<7g"lӒLF!߾3$J?渗^8'{,q1B99Qk@V |'Mv_^yx)afg8P]($ |~^v!G2g䞒[0sqU@hۖ9_} KK`aD~_O;:qC{> Hf$,TrKA*:?iX[g/hC܈M9x%Օ'gW_}먟ʞ7C} =Ï@V*L'GI\]닻 9)~Fit{ƕlSijNe9RQa@2 S'Lਰ"{ݍ0xs:yIy쟻Z<[ Wofٰ5;+ԝ$ENiPVw=Emc{3N\$'gah a _f!12[Jnt`q9* 9TºJqΨ%%X=VSo-4hp{XSxpc+1jiQ\y '.]R}=Zɍ1ࡷWdN3!DvKhX×#jV=_ Pc} BSɪ!E[K|RfvO"W_Z!,nѽG$ ~LƔ_3ap'jxݔylh(!|;+%3*k)ڊTAjV%5=do &x"?0DiY1 &cY,0Fd9jXNu_%QXx mEV;=@TA\%FG?A`ؖ{j8@'EJËƸc4 [ʻ=ھܬ_PR\~Wx sw^44k!+_$0v4ZYrNZ6Yi^}#YEpޱ370b3\g{h٣Z5el5URnFGʯCC=@Q'9%܍f+:pwxӱtS Hfuh8`RN=0ȏtm Éo-4ӒgrDH hWhs^Nmj Dx" JT(FEAoօ@cIT \|1SIgXOۤNބW.^(Q]kUѦz=Fd=u`IXeT_wxSM}`Sc9.vb =0V48H˟Cq*V}dL)^2?'@Ltm{rg@&%uhk%HE[^{eoy[bp;=Tl>8|P*v&=PR|uy K!aq3Q'o4Æ 'v7#P8!f8YgG7E)9 ^qL?9\˭!sHQ7w H/ =Y117o&2Մ%dd]w"Qy8:]d$?$]"8xql򜶊|,X?D#5~\XXgp:y/𒤬''ֈ*kBY ,s^p1FOGȓ얟Q\u`|kb!$m1Zx}' lNbYaS"`Zmls&f-JUQՙq4Ł]}Xy4&.BW=,g:OWgÿw osAR+.cmqބH)QvRjAb\c5|V8`#hT.>HND9#jq`oAwǤ5Y'~aK<2a#0, _#J}қ) Hn1==Iw -?Sd6pWBpr'c?Q$Y #a@9(ZV&bT:az {W"*k-&/ߨgT^~ ا ^\ؘ|-΅r)! V/$rG+ P̗7)KBA8 U~ƅHTU]R\+Tj=(D)9_w YYϵUD.5J9_*&- ?݋ӘFfn^,)hmʙ]*ޜ8 xGp=n0֝bx\ 3#XPrHF^p-%I~+9\'Ml-~ o;QTb>!c ;3)"ǯ]1";=c@\L &D m ܻʜa,ߜJ>X^\\cq׿_t}ʶvtEԹ0[^n[ Z w#w/EO*D6"6Jp$ rb*!pWәRϔ mA[`ǔ%IZK8ͮ@=д*If, L@W@+sK(Cŭ͵oze6<6G3q*9XEMʦ%3=ڮ1;e 7g (= iAd"SBQ |t `SkoDԆlm;$d n)J7I&_c6߲y¤S7SgOU.@5mvp[؀j~oӴAqagmL~n0~|8(3LJ `Qx#bg_Ը4uGL`,l%5iQ~.-9 Xc/PG2H&t>Kk`x2sƭ1HD˿%*sXe 7QQѵTƘu jd帾)%xM1򼘵EI4UzpY %1ToZӢmpN"#j"`HV9+ϥur_v(KB,&?d.0!$;ϜF=:M=< ^>e1xZUQi$\&fQQ5Qr݀HUZ^R((T7N ń2OF З rE Q"D$~ѩ(8vaAr|3ˏف  zÈwl/Ʒ]||dvuFX_ź76'(iE} $SfCDƝ|=K{Ң|"(Zo9.(h[.[$uI)00i61ew7tڱIFmTXt iv7A?[Ր-ګ ۪L+[>xH-@o32Wꜩ@p]Q%dzlBaA_(4!N,v9B_] V tm}-VNf) +]o\'8RCǒi2jD>߅g†t hgǴW<|ǿS>HLv"\s論~A'BCaoe&QOpW4]Er*#}u'M.L {2z328wgP1)x6-Ӊ~؊#/AqY߿fCi&*F׷̝ǡs`H8 BTkE 3eɹO/ӐAH"aF@F-n 2*}F^;F'7mgׄ 3p;} ` b?w/dl6Ж@$/@*FHJZ2x@Mӵ\T,t4'xqpEI'CW]uDnt;K-4ri-^[iRC3XA͕U6=_rl[QZ~)3ϑ2yWڸj>!jm|}{[pKkniAgxF 1I&ݭ̯gKa8brH5[eV.QWdö$E}Z:"3 j' as߭tv$wvP㶕Bm'\J+(qSf'%޻} hHbi$\$  Upj6,vV5Hق9}z1D#xgTjT/ cD10+2J~;a*VMk%M[L$AD>GPK0. ͹):h6 APO žڌ] 5HȖ*%5NwCD.Tk竢*,ZuzVМP[yߞs dLOVIX/}ȝn歵U7[rfE]|@h"_/dMX. H*FփX42?cvxCPܝ.^cD 3oW7G.)5 絬Kzn,;IUy`.drakQɗ= ??򁕣L'^6=gpo=ƮZ!K5C vHcрKK)ǰŨ Md,4"S\4M8#3tӣ>ӄ\P4\2EɔP2|ȗM4@N95) ;wϑj"+ABt*h] !"<GOr{.jp?Asc/ݨ[yfb++%vѽ>5S@ͷYB⭩z?ay$L ;\j \##g"[}FlfXI.m22z|.s=h&DPXFig֗/Qs%Pڮ4Qu:\-}M3g(}BLm5؃0f-nH6R<1p\edXӖQ[ sBV_贉RDQ6-V tk)01qEޑL06z0QHV}k|+%iݔ>͟mN3V6 14`80aU`&Q#Mȣq9*i54l~;NzJ0{cgpn' 6;Bq!?Øq1Nz"ϯHϜ=x#:秝gf RBKdmRMMvp4Z3کEy̕b)"Jtڄ=k7FV (ͥE\ۅ΢9 )wCi3;;Z1 klO mї@PXumxdR?d*b|^T iTr "1Wj{(ow/QJ_'h0 W) WƫY1F脽SXٰ: 5*i!#f_ :,ϕړo_z$O7!1~?ӫE-?%,Vw!h8" O53v3>K9z@Cx6<=CgA+Lq@.o)`zp7+ęQ@{'>jNflIV Ge* s|mah=r2B0isޭ+ |);D.0u9 GzA"f5*/7ʋuxSN/RW@#PLw,NkX2@зb{X{MNeDSp9rp3DNkG*FsՋAfT!u[Dv$Mc/eP)V4g=Bڌ]p訾#ϔ.`7滲Z Ҳ;%%SY0ɁH15 8#dV~_{M[Z nQ?iM^jVCUew 7-(G/@'^FՁѫ u&͞r#o&ً358P )r^^$Sqfq0ҫ%a /4;Aoݮ_8rPXt6XJHMg2cHƠ"=4丱 / n4 S ҃9n-WyrVw3=K3@T= cuōacQ5utQ á_ZLDaQI~I d}2t0>U.@oJew24C IR}K7ۀ݊gI  L5^eh0qm ǂe!gVu+QzvxlA*'݆EI9l J<H}“vǓS2#8L jQc@#'X.9Λ,)zƒ7-.ΗgGQP摲v*33\Մ`%=CidbE؉{S@!vp&e/A3Ik<ʄwh ;vPPXQ t f<}{ I_{BI[fwTh;cߵG2[ L'Ϋ< #c/s|{!w䟵KDJ,Nn z,)mB~3 34~h?83b?צS.ճHcs8;5m786IXJ$P:)CW֥;N}dޔ/Ma5Emk)6|,FzY/L-F&֔C\,qZ5J=2KE$n3 n4؏]uYe yN|-la}6T QRx0:ڐ3#8wtZTV!M?25_FnÆN՞>@ \(NR"'ɨ֋6{ 6L8 勥.l/m8JZujWaʎ^(C*6V(#MExN qxRBeIQfJ\*윷\Yx` cVAP/QU}~惁@7j.;^}^A^4yJϩ X:P(hk !=T~*ԂJnn?(7ӎMb+鑅]04V'=up !,$}OM;HU}%E&81AļM{i/K OI-ZJ_ "P!nܵa=j2.+Cj:kzK!rHooz|L$Ln|V|؀2.dQ$kg-;KKa%4%AJ;o{YD,28 'Ջ{7wn쁄]r?ұ恿 @~IMo.єXc~úĜO<-GNS QkJhx]H?jܬ\_<^)(8M=I:zr ԭk]ƺ @prD[Tt9adE~i>Ijs`"7p5Mk8~:ϷiTlFFs/c15?^{?f K#.iM]-q9.;@ S"S7҂F Pt9%K2)._j'˽1 <~uJA"d6wGt)^Y#MƦsY0toOT^hicjZ0 c 2;^: ]9cvfENp()8!+>_1Ļ=qi(c%/Rj8ȅ`]ˆv!VBTpoNp=Kq+オ ^\7E]Iz S]UAvg@`ۭ0J*^mPSż]BBM,b-eBT |Xt -DT=6=XLKo8UPQ2?F#Il!"vߦOw#\ؗ=uk]XoMC ̾ǀ*XSXK?bIÇ 7V*6j&^b1=_C92S]m3|E/ lmÅMxq+<iol R>[H[]lő=xǝd5/`#-FLȐrPJ, qflHJqZ`@[4:hcpMcW2ׯsQNi+As`Y|ryN-e+`VD_ZWE>Y˳ %CtU@AG9DZJR-{zu'^Dj-έ(Ziv]nr6Мr}c;#sork>Vo@|=~J>q215X`z+VL|K@ ׳|ΟP|*/^ Fs"ă_?z 5sإcE)x#!;@ " nX2 1i(q;U Qd 8PV^q_ovO^ހ10d@~H[}lUnf[T"agM+Bks{v2Poq3|ˁZUR@-Bel58b$;>㗨- -5w7 pp:4¾,ƒsy-}1C}ݔRsU_PZ N1w\Z~os\q! MGVzIiip-zY?]nT37^kX \}0:ѿ{ [xzIDݮP ͟o{@Dc2 =Tp dn!JBLN2f$f4$)]\RIPku!bWvy3.ǸbN~8o䏖{Ybn",_+!\^4ӖLDJ{2gc^S2!|d STWUTm)KΒLRJIk`cSJڸYVJ!U0&2xDLB8˝x}¹ 9Mٔt$1RBI[/ÅŹ5NAsr(ꐉj)ۚrKo,44pχߋ q8DycGM6w* " %S zReW,AzL,rۉ] 2W0';}Dgk~ފƐ˽2Z@7㌐\b}r m#[xd/:XKܘ'{<ܰw^#[ ٶ^-1BY 3ϝU)=yP_y"s|^R&Vg(7 d(s"ŞE,f^wW'H?Z u QI2J,ۖNP>^5"tIz`Hmka^_A{E-cA .t%6 pg*Zc fy{@{HM^mGΓz&AXPCG_V das`)!V+!K#qIV-¡IB~b鋹Pie]^ 5k}Dk(L>3Tu:G"^ߩ>nI[tnO[d6m湠]ɗ8VvD}i*pwɤ}4CLi ^+3LWt=Jz)Z3֓ xGKt{ḿLR T<(_Ft 'mxYv(n`e*  D 9o[aH;huRM𺷛 v2 e=+fjk/~ d}u?U>9/TS{P7PAF0!'= *@w ONՠM5I=઎SYV\n C(& W!8504hl = edj'aT7_"`*7E/תAr\cl,օw8<ʞM"LE"*壘YC{;-JcJq-Sii#ϖ9@J>?~)Nފ] ӡ^U2˱vUb'(a0=-JL 9[1S(UZnM"jyPPr=eXϤGi۵6_/KrQ qcyR""^3c1?kvT2\]H&ݬ %b2A"Rh\jN)$pGttXC5 +ֹެ]19U0 p-)D <Ž9$|ָ0qlj yQ"[# pܴ/. !Ǟ(,+[jPقt1*C{Kig;`@M|⭽Xx"λ#S;T>E7Q\c[4~dC[>udYSةV&HX&%p쨺jTQlLJqKC:绠'&ǽ!'³8fA/1(BttdcSw!E P dIZ X{4l$Pw _S%]3%q¿H!Sx](}u*5ݘܟ;)9 /6@,Ԥ)phP^nW֫ul?G2z>n`t t=fDd͹6ib% =<ulH'xy~Q6r 29g&s0Gqq"vEOP.RswBŇB '[,^SU$&M8.og\ռ HZUr4Hkos]yŚC+).i(ͺȹe^IScm_\`qcJ

Ȗ$\{xC9ݢ&#tjv!I0%) g `:^kl>1<<"t zoׄKf:[Gyv.6z"Gy|`7#~(~v5j5!Q8B|͹ɺ}yEU+o<0;vZDRhŀ?,ύƽW%$"H%ΝaeK͔Hkx1FONͱ+ n3d! ^>QwhT`k[,q>Uo&d .t9FO«_!lzI,ATDN;dBMi(B}"@QqU J>M2akT# fk"ϗRqP~ORQ0#4d [3O:pU3TF{+xeXÊǍV*Ҕט?6Ba5['Y#kXYQg7ՉFF"$vm3N21]4%Sb%fcMTD{FVt6E{lNTnܗ \7i !嬬,*w&D8wtm-ꮆZWSϰx'x2Ahi~}< uʧ=Fa<JdtW9/6qO+4Bkl]b3dX=eM7OE@=o2=H~:x L][wÃe-Ce$f*`}!Re}z_zd|({CSr`nxH'4T\NGp/x> <*9㢅Y2w{ 9A7vb '{f8:&sdRZV粛[D;{i,]"aYuEڄjV$#Vd1]X!7r;J+2\4b/j@\nk A 9 C\bp {045 rR;"挼/ u3%{*?p=ux0zyk3gZJעhة0 ( JunNQa6Tu݋b dʁ!vVYwI.8Qrb\p!fUq(q)ڬ4Cp֗(~ڳ ZtQyĥcMdWի ;dI06;!wuCLtvm c=$s‰݈C frV Z`[ ?pcPV)5 ߊR9h;A* E)tl Sp>'[xz%Ժ.MV٩"0$8GSZMbz=[C~Nr#/ZĴV}H y-8~\@UjJ`pMbXX 4{$zyׯO'+]Dwшn,.rRoNKpY 9R,aK?i|HLS#0.TD -w%n8*rWsjb"`TOQ^V,l rbXEh̨p&?*4 ":6tF]MC,7/q X~Z# @|rLRQ;_KPpl%rRH[;rV{&HF[<Po={"(KkHiǬ3nzUHZ}b&|ME; ?Yi*]%~Lb4r]f<]5ڤ-KRPؑܣJz ]bRfAq\ -|h$Vaz߸o۩YϮaXR2I ;-08r SA9|qӱ/ 8Օn+EqՎ|,B[Yx.b+$+|n+Uؓ|0E[v JVn}yZ Vd K'vpuЋZkы;#Lܣ.- \͈]&f5!a~k[+;^:Ju &+QǍ[.O.z1 ~T>6â'6lF5=;?rpZ(=Y,v:LQRsiWQw6ȗ!۟,*7 (ݍ?;MJT4!,]V6a)9LĨ w`Yf+{޻XVW04 h\,\{=;&z`TVorIFU =2*qgY?-*J5)JG}&y&,w 6z$|~G0bjE^3V2wǩP_CQ;͵J#~a%Ǎޛ ͥmd}:THQ'-cGa1FQ(0xGH.`;b!p!ID%C +KzwsAPx?$! ] j܋^Ku*!:`鐯uE_` r ǽUi .I*DZSS ȥO^>P\n:F%0x!¦0v9(gYnbIu Jwڍ*%M7R`8$%>94"07CAM%ѭ}*nMߒT7%}C!b-K o-NqI\C;?_ zKg8SEQ+ B,lgv,^}!CukyV^&;R+`c稏,#55+~G'権2jCª%} RZ &\s*bPٷD/ b#I,[ z/|6[ak }$fhLZ[|KonGqYRN2M&5lO3ʨ` {?܀Cȴ?d[^S6ދUd=gĺY}sZ;Qcj.-w#IzgKU?JkXEMr| Ly+$KB KihJZ ڱj>˖ye ;7RTwzk ~:f6r-{6Ó PTuKUY:95rwy&\TsIcd M@SK Zki*"⨗thOЮTAjk2z8 7!jc /eml`/2m/gԮ k):$ЩbM8] ]ENJak~FbZ`ơ0$&W 'O))}j~2wLܚC:"sS %'յ;xн]Ǟ&2Gc=vw|ֿs[Ӂx$iTV?|5z.29XӝDL`6T&nb^Q/+FWq[߬|jr0{ qg󛯠IC 2viooӺ]Q*a\l؊^o ܍Ӯ-ij6#&uR4neW)އD3Ir p_14G=OPos7b>yY%S.|u\c }|al[*z F$$[!gwmgKFD]JXoFR-INӲEަ:.Ao豜30ڱN΄Le6FEP1ѻ&WɐO/n~A0si4kX3W69g Ja}L Ӎh5ۃTUmNwP[JUPV>ͺoD _T&~,uH{egP^r,2 gqT"VrY2B6l@#Ujo4 !i) Ԋ*4E*õOUq͔c>es(P|&-`koDyggYlKئW+a'R#2dRYaz{cjy4^gnFp 9#nLqd⩆&@y;0"caNJkXgm~c -@\IztZՐ_1Kyl $̟Mdw]dL\&~3MF/g 5zg[UýL-aP4ȿ3d48`/t`a;3H}R]"22,^*'_G6I7ѥ̢-Z,-|eπ"戗VIs BmaF$!ci,ubRb_MB=vƢ;8o|dÑEMRf$‘.I+P]Ƀ_"]1;N?NUb `x./Woؼ:>옘pC"#$3FKa?Z P{ 0=f$4y xE*@^K3BZI%vD@&X>1grktUb"(`]6oq7Ggl`Gpv=5ONY/05e:x_֏;^}?y^ADKrWAu-7x"Boup?u%S2ݿeHq7y;Nug>zŌ9b nh0 B u%D[\ ؛^܃^BD鏥\Kz㱰\Oߡ @kĊcZ3(̍3[Jt93+k_kBk1xS:_vVsL$%/]IHe&?@ 6KA| PwC$j 7Alq5o m Ks;[)=ՕӅaC$ۈdQh0aq."$U ؖw)F[?*HW 91Kl6-2[Σxhp b,yUvDSGdP;d'& ;C& Rɍq++LMi7; ik+]kEQ $lq\[rS UٜL͙OCO:(K ‰{S%/xϸe'År0@srS!W7UTLĄ"!b볋[ )[U.e'VN_p7wji%&u_XVT50^h~BKYG#ʣ6Jϫn[O_J{u}ϕTX&w W O fF>WX $o3`jxǎמrfH.)Zp Bcyj0=4ݏb;c]CoJ+HzAMdL+F컗Њ3%E_Ħ0M$,AR*e8Gdn-1lT_䛽hD#1˄Q".1 W4[y8~#t)[2RC1CT ̀e}<`=52"p91~ދЈE2aGR֟ZTm{C4$f^W%0F({2?EB QkC 맴on]i+YPX84Z)/m 2k#VMߊ{>GpI=ⶣp+ll`["]ق-"Fϯ6&՚HZ!jT dmL]Ul24_y^XMkb67R'olvqDP ^4DA|DJ}uJTdf`*q}Ko$x #)Z>XRP, P'Z}\-3ޝz>LjψqS0̳6Frx39‡Pgrx \@[ڊ`G`-&ERx Mò_j9f! +q/ {geFihnw|/L,#v(Y5 tA=^c^(\̍7bqR?[|ہ)9m2:#YA䰒09O-/,F@\N*=dcr[ʩ+~;G +Jz7Z+;pZRކ#SggG'öԂz7!"rW5p2_1o΃bqn;Ey.IBtxr|I~xi"m@ڡ~'Ua#3GĖҨ]4Q?|!6 /%=x)Nmi WKk-E*7F]ge0jTWz}یi. KyOM 8"N.@/ϴeUZ"hK4180߾┅au_VuRμmrZJX_3>#>dg-+Sg Xf눢Qd~"ypG-0RGQ8! cb_M%ZBDIIO P IczfI>ٱ΃]V.mBKhsY]Yt5q-wq{eSedDN׀Ө1ېUͺÎnd(GL+|ձCw,ؗ1ae8GJM:gJRת">4(̯'9/VPrr- ث *tMz%( CWBN6@OZGʪ+9<&ums_5ǔ2-2@$ɿ.HY_v eiH7Y%Casy,/'JCQT-NYۚDz5qOoƟNsAo NW)s"XU/uS=#򿚾 %CkE_Cl갱On1yaE֫KW/vS~XӁNgx|t+c326&ѽ©.RBlzڂ̉ܛglHy:$(XB#ˤIHῗi!Th,H2F&f -$,JHmy k)AK b_̖G0ǃfgVTVxѺaeB>M:yioae.P#7'A` ciҰ\U5sJN,'x΁|C_GiنKz҈5Mo5qu"ADt.9-<[sTmTV A8v-7* 0@UqOQ>_R3ӆ i$OPƐ;E51'3VODh_`ϕ=RLmzN 8fU$,f˔&JMxޟ8nZ4 *D!N9UJ՜=eJY,Fn)^~AFX] t) xSప43"GA)W駳:2Ks'<.R+ĠA~=8dc;9?dENR^3'31AR堚k0. d7bK,4s611E穘K,HgYZ121d7edf12408e978faeec28f3c771e3a74329169aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a03d08c0f587e047ece54735d75af4917719c4c3 6f918d543b0bd7d4c0f082da6aa34f12e651941b 8a28bf065c8df7247259e22d61093fc88028422f 8b7fb9256b216d5216f94bb3de349dba977e34a4 6f56ea0d7db82b5893405402e767543257d9d8c7 369667bd24299e32178601f7f209feb0386f8e5b