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  3vL < ] Kruskal:threads=4elapsed=52.593cpu=138.752gc=3.6807zXZִF! LX]ŗXiɟH)0!h] l)W9QO)Pأ>lڋؖ74HMi R.$Q Xbˆ{7AVZ24?9M=FM? ?|* U贍rҟOA{G glS?4lyS'E-O&gU8n`zXq!< U$L;|S$9n\nryHϏSADMo.%!^Qzd3,;q cBE,0(;qzBLd ҹ`P""V7r[2,-4^j(ʗ< K9ຕld32fcjQ%RARP`QF$a<@wM2Qc+[*C_l.Z]zz= ;,^s7Rk "|x2V#9ɚ{ gh] XYL'lM_f?<<=UYSw5SXF9GFÉܤ7 ^$KA,*ɐ״AI;&DglO kΡAT|?FcW>@"+Ϋ5K5*=Bh˒Wѣ6#\4Gze/-(?7#   Kruskal !, =% |KruskalKruskal.Graph_Definitiondocument.tex7zXZִF! $,8]A-MՋhvG"uIBm59! ӐMCq+'Ȏ*NT;N!,0'f% C u\Eo@0+'~۫m̄ ,L#gCwPˌIJ`Ud_UcYmyˣޞkZWBLJQ{<4&EϺ+FhɵWaX2YWʎ3jB7UC8qqf QUVP1w}RK(y"f8 7z9ug {HɃ ł*Ϯe~&6)3[.V.O1I8t?N-YQ(ls(Tb]3Ƞ}oH{װuy lHNڅaPgUk<`oh/Ѷ+͂j"X̤3Ztpۻ&ߌn$vTKRC~z<&I>Ʌ{ [iinEDTBi2%ɞv<ǾH'`9#T}M U#,&4.{X mL0 ?B2z8٩J9-g W* HWp$.â1MApeaX!:Pg;/jz<矋i_ :f|hj3c iy)]?*-C}vͱދ)uW, PirddY)^3 T^R8)2#{Z+Ͼ󃈧_y/kX5l :eFG9э*py ,t= 74D|eG: )o] 6F7TvyeDNKn󥀇<S{%IRڇT  Fg+hˣA5wեo+X#!`vU %'~H6"d`Wq*j>) Df~J0O挭V^yfhfq7av8| 6@ʇ SP 8QZD"|[ȩjꅧʭ@<; v+^2)"1F%y l.ijD*+["+]1@b%05Ð~rٶ_(#݃8G :[ Mf5H"4 E8w$1Q~H%|v%rSKA/# eMZ+Z74'ֳ!/Ѹ*ӏf\X ND4w;[ aE@Ƀ@> FFA.6Wˠ\T; p!ٔ޶\rݞmOAB2/ڀ) vkoK曼'V[ߥN,EcQw+Hv.)=5iaUbҕ(0UJ xP3,h-,6nм} -_zCGv_1<*!R"uHP_uE: = ixGuo*UTRF{L+v2mP.J!ʳZfw==;Afd78M4)! &<rtAmbg;ԖcuXDz@Wț}E8^*Dan)7eϐms;bP(,w9ir"/j=lXJk0==ڳ #qqڙ^BCn d>ie#|CV6YbW>Msj(<>F~)jpCbg5gbatرh`EUZkK-9$0V[l|g9M.TSNXs3nH.wDu߶K{HKk N60\9}þ>`F` J3"W"!r~;6vmt'M8(+3|E'\r>)U2VUEԠO(;gJ& uCv ,9 A=H L>op&-,ZA\7#҇Au.ϯ?dfB QӇLId5>£菅Fy=S2Bo+='4d5AT/?*?rkRi;hv@d8Y DYM!m}P~8hONJ&(%Ospc`_jaPSweN %{K^2_EPЍP~iRXQ),6,Ż 1ό:h$(@TBÌ`?.j`fcOHj&RЈ^.I T>mY2ڵ~W\JJ 35( Hv܆M̌]l]{ o9[躆sVA[-ڗvX8>+v7rN qy[bXMqT謈W9AgjhTaI$>o [؋r` -9z)hA ⯂gܖٕk1JM+6:x{@." :$J> S#,+_h |8o:U3Ķy#уM`aϛH}F-95ʂN1X~K:o‚{ژW-,*)}Sm++i}|_+DDUkdAϡ}|ZVmuԾuRv_V~vX\} ˭JyHed/4U ;{5MD' =p!^K>ϘW!\ΠSxBW4[E/GKbݓ3:oڍ6/ԻJx H2_<;! "|5I.TjhC[@do _bW;-W#* R>0&^e\C™iFUf"(EiKphYBY!On6!<`R{cKpA7&H;m.␥$N7_S)i#RGvz{^'^eyto>e@ =ucI*+>Tr1972T3NHQ#K?vc,q0ł9Nty"v04;l,vLX[~8Gʰ |R#;R?Rd@~o"0ԣUn֦C5͏TcAf{"RZ:GIk,.םM~,ASxz)84U )^7 XR&jOi޻yфB8+rͶ{[ {V撵|#B= gy>eIO}pS :kϠ5M ̧]$M8Bߴ?"4ƲVQHˇ[rpSD^rP÷s0hP?~a1m(Bs P= ba=^X !m`W Ih.NB>uaDHU|@<]un<Hvj|/s0 &29n D=cnFLLdd^HJAE0δ*"&M_Tʮ{MM4M~cDsֱ̢ WEY*ҵìS:^[\(&Q=^5P⇤K#xþ3L} m wL.6a4^UhbL\>\ MlLE"jDG;[*<#T<U8 AE(;Gb]#A84;sNwϛ!ˏ:}ndOv~,#(n5SSE]m*pEϠySe >w)!&rE3г=+Yݙ;𼠩1WA)Q!|.ĥ>s`_L-pT`>6;DB->߰d}=TP{_ #/MoKf8G:ؾlr+#2ʂ]OC>2 jL|5wYXA4C_TT~h4!:ZmH3LdQm8LU2`'hoICEVF'~\vGl6sl`sl9W&T9 s e4qaM=5LR[(e B:tk \]W{N##1ᢠB@feý E͕(*P&>: !ښ)Jj59˻o'ʲqn13imzy* 0'ŵMߠ(?)9^wpH51SWǏx* ⸤nJRSF[/۝bl Lk2ƶ!31u]9ȳ龚8%lWth#{[32<Ƚ7J/`8ܹ s*M9ٓw.׵! c7X1/X6_lHPAU{f7tiUYdv\;$}vɆj7G`D6,nI89[fwsƎ2/T L+#ZIlu2 HzF1єa+drAr܏|P_Lт}p0# +l-0~c.vODE塉9dPV_N۩-L9 "IEbI]Gxg/!b2x(_`@nFFQ|\K]_>@H0c@쀡~ћs,p[Wtk>aem:c/G奮T2 @rl%m4_3 3E6 TgUv1ouiWc!tdjڏFPfy;B)~ &>L(DL]Eui?z1V\<.SLqkͫTAe)ޢ.\ QnVO% D=wR ??kɬ^C9>\Sl uG.;X7$953'.޹L旎w.!#6A91iQ|)u ܭTyc DK؛Cvy9+c8е? `>Z# d闸[Nl^'~#)곪 HT|(OSҥdРYC!AObxqpU*0]Cf{=Е1tbƟm9Uٗ]G Qހr'ް^X bs+1a\j'%2au5=z:&y␠PULvh](}B S=ۤF@U&. ~ ѳr/@ eL)bT'`V!)@̛~o'O/c} vuOXW"?%^ WAC*1W) xx`8W^xZi{̗&G7:Xj7nZi ^p% Cw'7TOhߠK xxR],~XhreSM`lx_rx> /<|MrHB.Lj=4B غ׻.azs'7z>(Fx1-)H$v ~NKÊE~@"\zv&**a캄1SGdG$_%ɥLf%aGIbHW&Չ}w{O] s9yxO)Z03%'< tᗿ :L. ]7%0Qܰ;h&I@6DgxjDࢷ?⡳F9%o WX@XA*'.Kv>xǴ|$Lj7ꆡmTMa5 LB!x|+7Q$%WU?j<^c>EC=mX.H,"%e݌I;,HA w7r΅e,=to;<[nm_uw~*j}}ž/d3u\}HǾpۦo0bZX؉~#,߉fgR\q)#Bj,/zUk[AtBZ3K~ iu;;Bf uGb- >zďȾ<" T#DzЪ īV-Ⱥ{uL0|R Rv:(F[IstQ&Һ#lJjl \^1A%R(!uEMMi:T:<#3؂XE{&cEHB'f;Ғҽݛ>W }9 euY,9Sš a"q & 9}.WR^;u=X yY GjO3ߕA:҂ o1pVOEJ*o0ԃvpg#P`-$fWϷ|¨-|Um՞1o8e)9j-ߪ~`B;D6nsk-+H=@ҝw74 a>kfʜVe7BWJ-gF.V|y.m<; 8a0NoG#I+D8=!>)w78A9et6uuJ/qvj^YIɆ6f?c,X_%QRwj"؇6hZ(,Pg~ƴ Ƅ]ɋD8n4n@2gJ1|VvioR2A\A_^.csT=:BEnسBaOk'9}u pqe|q{Ij)c5r| 5*760NГ.MP٘uwkjb[-)1za"(pCܪjQ.=ч# ZID>_n ~1JxϨX#vOU{ҵdYGl`ذycN ؒ+Iԃ>o5hКAf*E`*Z Bf/c|(Ra9")~ou;ϠE{ l@:=7Ѝ}XN)z쪐g_T~I"^cMb)>iRLM^1]i@}l8A+ Blpѭ>ڋb֞ɷva26iZ:^<,(n^&}4u.U.83# ^sN5CT->6RŽKA1`4QwZ'XkYqFdVss||H+wr&9wP xd=/p;&:,}"o;,ʄ2OKe +9:R1s̈%F9Դ>練LW!A$5m#݈Jv`| ʧQ"Rق,7Vlvyu 慆<<*$f|Oʑ N?"@ةB,Gq܇tV$\@C՟eB͋s/MpzTCb=fx栚/#i}‹;%RDȴ?ao_l`>7%r)؍Ҧ_䌉g2^Є1:Tf2 *jr4{~=d(aĚpfIɨ𬉋H)]2hpÐ6% qBF^"fjyz) AobUL >onHXES:L*o>T5$⾖k~dpymU=ͫ}OxȂxP"eሔ$E]*S7ԼɉMC5yƵ=YÙ3 Us#WV6T]Ue!'0!q3$`csr9(e׳: <#5 6x> m=Y֜q+i)TYeB6#0QC%gw&$eys8؃eEoyY"Ɗpq ~PմUXx)yF gl6am=&vhrA6KFRC\&ZQ ,u,Ddif82lj'yH"47< e,3j8F ŖZo8@Ù/gXR,ROi:6[9#=8vmaؼv~ DB[ljͧñ%<7EfmΝkyf"HMi86^kCM#.ixVz3$:Ws"urbFn~,X"r^T0-ma&h,!)]z؟ 7+Dwbet> G 3?= W !g!Zcb~kF ?.oA<ۋC]_<5zJPkwz9ww'e$K w6$(5\~d4f~l+-'!öʩ3X)qV9 LOjKqf w~*=-AIwL5klL෈rQJmqHYGi3(Bs5pJRaxkiЦyM:d$hKBKC*pY%zn@֑ Ђ 7>J=֙V0ckeT`އᡈrI8Ŧx\E/ R?a9&r-qzR]NiAps >O@Cg|;ߙ³DDhKVQ4 U>['Ɵ)e{GWג (q|d2JJdhCF5/yndQ8< UQQ~KQ Ag =d{ic4'xvsGPjXJ[ szglߩmW>%+X~3C`C{Rz~|5J;2o+̦bglޮI̭[@iв~R}FhW43~GvhOsaAIExjgHF SU XEN|:殏ɟ b7 /r}(qbPQٍUbxA'c єܯb[,)<rnҘ Ut:jGT%y{N؆`~VB:= 9!ә<"uQSVcKw3G}tdNi$/x8_{jkgp+HO'?uTC3dpd)nf^ zwjԇ Xިdrߴ$\~Cm*Dzo.''+!ޢ(gGIUEd^`$-\\֫"-M!0P &2chڭOŗb`?JuoJ$1\UxtKP;&9jp GH<5oX}$1򔬠:L{d6<9ˀUB%@C1 rvZ|.yGdu; Xg#qjaYT{Zһ՚'8o!FaKGAc`;'#Ei$c5tcg Ap9z9TZvr}:|XZD^qсT|UMGX` 2t_ qz *.-:$-³[ٵ!({ 2/Om޾n׬+}m ΂94 efXZ4[ g,CG2%U#s 󴸝W]0uX@e %j/[ב;GDT|hoA2;Vzdy;ieVMFi).,z։n[ vEC ]dYP'+?mXz%ؒQ b#L,ܸ Sr!E5; q@o6!1bd3R54I.\ɥ ?@3Od+&8{-sC048H*T7rS"|MNMN1˰|,[ylN)=ȅb*_\̞=`}4lw>o15-sG_Xp+pҜ{L'x.8ۦAdm|OZn6|Z2*^Xg=f77bsW͑ON ^($ - bIKl|к]\r̾:7XkmOƌb\ ~e=IFbl'-~#s3N{d4f _>똢YP싚P_?__ew60}d]S@E4^lK:-Mf'N/pRQS2B5T-vK!}#K98cu1h6OY{7] PW-hmONDpŴKLjW\6!3LtݿkLĪ)[v+CFʉ]#6J Xk\[@p2nXtk1VW:e lXˑp֖O{9Du&TeT0U,4B#QUp믧$"$Vu0B_I+WI-\q0> ;_0sKTfnnK^<йB :*;2裂-sA\,HTb *^ +^uJΞw^:bv&DI bj>B<Սiɷ8V%\mO Vc,k~={9-CIJrdS]Fib-dmom_!v)io5A,4)#67O:r$_uH2fVq &ÁΡ߭)"a:6=@b (@;**q~>2 kF]{ ˞˨ИY%֣Kڭb6j]Q20Wg(GÀ`3O<},<+ywtDm؈cCh?9x ]qz"C/zLjG^wP0׍?rEQ +~)$(n9.EHͬ9J1c,-cnɐs c@a8'ƒYc{g3@A=䴔cOk=}H 9 +[y+n^;pz0F6JE=!R֮c C(hCq<Bj=^Y%RVc'^oN zjH,5!ߑţ>K'4U#:b34C'{K{q)"Rmi~v 6HkZИwɊ3!T#1@FVM!8?5iʩ a,&j<ĝOxJ& bP LőLj=CیɴM\uWlne|. ] 0R$̖[&\.TCswIz#ac2ה܅'aPP!^쟟d9[.̑WX-5s=tIL dB PM@K`^NFe~E dϓ$tA R@LpLȈ* t˙Mz`s:~(ْp^e"g8<|[srϸ<\]F5-_(<|Cxژ{͛jK)\>OWHM)\^bB'%GA.RnԆoϠ{Ml4t(ִ+1s׏5x'LArfj*)QZ%*D"^w^ cW?Iw4l=DB`գeɽ#šQv!gOCpWзKC ozẀ xv zRn.s)E&αlJ {HĄp2%:RiX*GלpXDKEzbg%xgtIʸ7 &}(hfXW?*O$ZؿH&kć n%xGϻR#T1[ƪd; J_J1vmz0h,ؐ+f嗥!'/] -3teBI1b0|dYAC`F&ͳfK۴"z4a8埐%Fa#XIU&]_NBGb2VEOWG mƎN6KlIc"NȐ8[@Ժc~S瑂-gl^}!rYPvSY$HH G|m%"#~fm\a3ථq2Hp!沄ec"H Qn]t۴(ClY"KS͡i9ڷV'GQ%Hqڄdr=ˁ>(]3ڠ]FL~1˦{%V/gqiyYShX{ ?*?6_BZMQRAUQn6Qsƿs^i`v/MzSM+ښ%-i3ˆWgU˪"5~qk`#b:nzN%f[,WIVʧE!`&] ^RgYZ EE, =% |KruskalKruskal.Graph_Definitiondocument.tex7zXZִF! $,8]A-MՋhvG"uIBm59! ӐMCq+'Ȏ*NT;N!,0'f% C u\Eo@0+'~۫m̄ ,L#gCwPˌIJ`Ud_UcYmyˣޞkZWBLJQ{<4&EϺ+FhɵWaX2YWʎ3jB7UC8qqf QUVP1w}RK(y"f8 7z9ug {HɃ ł*Ϯe~&6)3[.V.O1I8t?N-YQ(ls(Tb]3Ƞ}oH{װuy lHNڅaPgUk<`oh/Ѷ+͂j"X̤3Ztpۻ&ߌn$vTKRC~z<&I>Ʌ{ [iinEDTBi2%ɞv<ǾH'`9#T}M U#,&4.{X mL0 ?B2z8٩J9-g W* HWp$.â1MApeaX!:Pg;/jz<矋i_ :f|hj3c iy)]?*-C}vͱދ)uW, PirddY)^3 T^R8)2#{Z+Ͼ󃈧_y/kX5l :eFG9э*py ,t= 74D|eG: )o] 6F7TvyeDNKn󥀇<S{%IRڇT  Fg+hˣA5wեo+X#!`vU %'~H6"d`Wq*j>) Df~J0O挭V^yfhfq7av8| 6@ʇ SP 8QZD"|[ȩjꅧʭ@<; v+^2)"1F%y l.ijD*+["+]1@b%05Ð~rٶ_(#݃8G :[ Mf5H"4 E8w$1Q~H%|v%rSKA/# eMZ+Z74'ֳ!/Ѹ*ӏf\X ND4w;[ aE@Ƀ@> FFA.6Wˠ\T; p!ٔ޶\rݞmOAB2/ڀ) vkoK曼'V[ߥN,EcQw+Hv.)=5iaUbҕ(0UJ xP3,h-,6nм} -_zCGv_1<*!R"uHP_uE: = ixGuo*UTRF{L+v2mP.J!ʳZfw==;Afd78M4)! &<rtAmbg;ԖcuXDz@Wț}E8^*Dan)7eϐms;bP(,w9ir"/j=lXJk0==ڳ #qqڙ^BCn d>ie#|CV6YbW>Msj(<>F~)jpCbg5gbatرh`EUZkK-9$0V[l|g9M.TSNXs3nH.wDu߶K{HKk N60\9}þ>`F` J3"W"!r~;6vmt'M8(+3|E'\r>)U2VUEԠO(;gJ& uCv ,9 ) Z )% lKruskalKruskal.UGraphdocument.tex7zXZִF! U.o]A-MՋhvG"uIBm5&:KiA;H_O,Or/-PBZfg! mJs?{ 6%>Vζ)̣.jm(@H9rΎQ 9+~P@]#-1/-͒bLZΨ-M4SH]͓h\P ysv[·$)o+ܼZh-TG1N1 i'0Q8 wbS,s0&ݡQhkNۄ\8_wɧZE sݶ̲`f:V]}h"Ҩ&?u[ҋ{GX }wr xL'{!mzۖ !!ep6y-Xy^a8VOQ,r<BHZ3p3B 1c-ysQ*b L`X"R7-<u0̫d+gG ӯXP7nயWq덓h'n_Ũ=@gKXF *>j&A[}!Ǩ @ı ƿ(i$Qàcy@ZY2.⾊lS\>#F0"崒Tӵx\}[\kG}™lU@9/+asc 7O&%SNiΘyA~qD&oXu(W]=wPɩ]{Ṷ9Il5,l1_zHr(;V3 ҇35FƸ;ZzwGogԁ_SkW(dfGui*ckߖnp̊n.u|)[*P:\ON2E/?97uK0bXҐߩG{oZ@,+~Od5X1KxbTQխS{f*S9zUm5dGma:3mC&лtsG  '2T~2C*6 D(B!$$h@ftkF=;#j)/DY:*qQe0bns\k.nvd| ^9UJWB5v;rxja P+|9gg M9oP}U8_$b4ʳq+!]#zĨ@cVKV,Ftn_ Cr|-y0dp/2Wh6Szs})P6Bv^0̷D)w%)_*7+jԲ/k#4ղw F='<$EB1?wQؓ~ܯsgݱMTF{8oZu3Ҳ}[fLO4xM\瞬x :~BrVOQA?* Z&MTy0=D= "#6Xo mѤ;bBsE[/3I"F .35Wۘ 20Ÿ?;nLZwt bAM@Jݦ;G08?d 2\si/gs[Ow_N3hBU^{ǘիs之<#N`pwŨ }0o¹<7J ']M3nmVs^LV C n+&MP,AH <g+Hgnf?ਡD>D፠îS8F.v*5[klhQo/I:A_6رXi"pdA=?3̋ƒC5q_dɢk+,Vn #7T+/1"R/)pkJ(<@F!BQנ3D$V5ɢXA=HYX6=$'?a;-`cϣZzrCu8֊ʤ!^1M HI/K?<ިwQ5 *'V  2)J4|C|jULaj 6:G!*Km0juX{?XCPM+cyvh1`^꾃&.ެZ҉36gThj:Ќ+_.T}MTFz-GIrlF")U!wAlp C}~ĊzJ9y.Fo[XDTj#4uw7([ydSF@%[ ħJ# `HO~xHT`I♿Ft VOk$2?`Q {Hxŵ`.=.<b XVhD!PnxLی_o(Tz)E^FBeUu0 (gyg\/JmrQ@,3k^oRX׎H6Ĺ(n v;1j@45sҋ8x3e-IĻ+ YgiWdM =k~XYމEZBIn/1Z.Ҁ–/ڽBեX9,Azza?ĩMOƪyJ\|h paƊ#F*8㽯䛈#c=q׶8 b~Se"^Ki AgkCp,Y+'XL[S0`4&vkD_&4@{&R{>*22_CuΫOJբg8Jcb?yilw%=f2ƞuf0´}'/Wx$%i-%;(}.۹lwnYwx3*iD#{MXh=E9%,ể7zyJvy6hl{CrԎ]1}סv\^{ M){ך-`~6+FUKIjʚWS#i."l!dϼtPєr.(=#a .<2 ХVfŗ, KBKC{\V݈7fîtǼh83aWy&qZ޼b8 ^@*=rtvqzĂrԙߑu Zxw7SH qn;~%l _CQL|'2e0$oۥ6[mD~VߡV.ǵ.:+X5wWCs:Lxi'pR*'u^ h3 o@ԛ"Ϣ42/2giճn/^.\{T;zv|tpk43>y3HWN; W5&/,[F^vgS: F4i|2'UL239i980'JWJdȕq*8;61}p<7Sb> nqDφTA6;-d8 ZA-Q B_߼d9wL.J=F ]h$K81n&`gv_Smv R#$D$KImCƒoy5Ôcw-&Y9$U;3ƚ5YS+U$x޷yz;{%g5ٽwlvxyOo׎H 㤣HX'1epu y\c?e{yqzA՘"2+q i5t(_<'Ab EnSAZ[r<^]wY4O; Qbn6Q !f .aEnԻ)S tΕRLKu}8+i#YkɶŏXT2{V"D~DrIPxqd B,mHD?lzB\PFa~I8)UV:2dA2djN-3Q+ik529SUg<\ES5vfsYظpUE% Fʵkm\8=J҇KQ:0sܢĥCZ}Q4_ok]h.K rąLV(rbkm2@9)9WmeqEelN_=rUjU뇗 PkKc *k_=9Zs;"_=O7Ta^lsKc'E'PֽD,b{'0r^p@\津nc k^Vp ?B%e,#ECnSwby`&E׳Th͆}bwHvky1q!Η/aLY"ZX\BLӯ&8Gh F#̝r,+*#T+ Q'Jc‚vZaqhn@J1^ @F߉XUTxi:Ĝa;ռMG醒TW6`dgYZ lG% tKruskalKruskal.Graph_Definition_Impldocument.tex7zXZִF! N]A-MՋhvG"uIBm59! ӐMCq+'Ȏ*NTS<%z?G1OnQZFeGW+dBLʁBh'o?Z$!_& ~ĕ;:ӒLA `VnH'g玿C3ta̮@P$.:} aYzIY2-{( 5k:%UryolQE9l7,ol'nh͹qN*M VvS Pp*@2W"*"X6HsFRA6/%Gb a40m?%@z j:g+< ĄP?ȷEryg}iބpQ$V08nhJ~lmlnu,>?ăzw e!twr3Iz6l&/,E$K qe.`sy%X!DA#ldqIϰq%&Ԩ$xWaBzOͿL@fK`p9 MG(SņJKA1Ee(TL\ hdw*UAzΑoWeHM]auz:œ2϶QP]}[NÍpr,?8[M7!g_AcYt`įU =NB=h!w4;-'AoI58Oxzh=aF* -QW;D4aL6$MFMԵ8Ok*;z2m#>|Ɣ%l͔Uh&[N S4Q6wPT#ȭR&FʬΖ깭M)Ǘ ^/C]3y0^%(/iOQ#j-R YR}A3zu* xTYG&]}P] Z4-?nB>Pt36;s]2TGUE3A钑hp=2 z mpM^v̄;ypϩJf$~$m3}χ\ם֚Q qƅH`mq{~۞p8S||&O˴ͭMIY$?3(Ift *f2PnxN,ce +T3J9%PG49CWMaˍ=2UVke-(?j[o8z"L~T?xy ݁j]| &T6|hr[6o#A\NB7bݶ\S'KQ.gt±~a4Ρ+iM "X:OxG0N."\"\,fƛh1dMPcn3gjr& ֳw vq""b8vu>A?$WGWbh&ZHF Z \jOe$x=f/0haQD 14Cԯ*tyG99 k0^~S jSnЋp^t6ia+!PQ2f78^mJ[Ij޴}JfaK['= Z4 N )/7l8C MGi+Si?K68{M?LA>$QQiA?KV8_[L-riJdqN:UO#,gu_vD$(si\a9@ȉڿ޾?T4r`.YѾ >ݕSg`Y1)k| 2>߽ܹz޻gkXf[ K687xw5CCO8iia$*c Yy&C+ MF,sP^Ń]Dر?+rG,+;K.od% uM2H8^ )3%D[#,l锻2H⸋i7Feeplwt?.>eyoFHܮO4<_wT)z*,6#P"S}{thӬPI2UZF8C+SGvO&&XB95\zgixBgаOM|j}򭒽?ɶB벩v wVkuk bD1X 3wg@ak;I 3*a*Ƽh˕ ^'93lP7\ÃVr}قSzp9cYX#Oi}|b)H3^ ;Vhp5*B۸Rȑ+ڱҡAȈS\b;4]R\(- mHlOߞ ='@Æ2ŷmxNl_L?'||=EDXLw@ێZub1rk E^H;3qO2\2YuOz-ڱ<(p wә4'Ud}k_Ѝ[92(n2-q0ܖ!5B 9{`0zv;kJy`^Dozi?YcL *zȜKM(>cDTĺ<[g[j]m IǾaq}g8)-g추^^56[ Sr) [ Hb2L˥ R=G1XFͺe0GP)Jbe ^unGnߒw7@90A,9Tw8+z9""-5ơ٨jJ_Td b6M,%`4Z%?:vԦ݆:(˺ jK(zxHkU9qIטMqӄU-M,j$ xYhT X6c@[+V U7w&+qMb;l"c&@yyO;)V-3:=!2.r!WQF@%CלUH}w|7"P'1-qZ(ZK;w &W?8" RS4b g+[D-DŽ/"ad+e{L%0$ W!( Wu:mؤh 2yyW(2;Ƒcvec>"ZVPО+0|ۮX {ehrM£oHZ{*I=n l!'hUi;e]˧o]݆_S@o-دˤyY3y(., wH:!n_K}ȥ@kf #|/b Hv/0(v9?S従 D3ݵJ?hPEjH*nFmW.ve2ï"ln\GJp<7;yۘ8h"ދ03*!f@&wA*S šYW ѐ'USg9w#'(cgeГ+{3 #^NE4=L 4|ͥ4`3s jZv_݁CggFto,j^cLbq yQ7*8rL*66?Pg70H">q5fH:"AXOm9^=tyւ ۩Xi.e<(+gYZ q9% KruskalKruskal.MinWeightBasisdocument.tex7zXZִF! ]A-MՋhvG"uIBm51df#s)doC%zF2͙C˾=Ik@K0`3|Jo\q!ldNEj;2z͍go Pя!;Yo=.#@41`Zf.&iGadWK\^:0D797] ;"weM94]epgA^廴8o7tF|w -^뢢b5<s'LφEj.tDְsmB88ߣ$=wV\M_y4'FA3J I~vؼMe<[lx]R^/ZX Q@9'!k|4N6!?X %aVIUqW^Aw/;'hZf%lE/y{Z:!~߼Q CNO1pXNR jb5~B_6&lUB Hm),-bVZ!z7*Gv@A},i+ >q;f_f{_`&~Wd>1zQ(G5NH+x&[3^&β&:C%>n28Tk@K.%SiHoLaXA>2="Gp]ŧ_C˹~!.fN 6)ȮTvBw%8>5;e.8c%w:cD[.5,XW)/ 6 iUac,$jj6k؊xH r 5w&\ǯo"H&L'k4wqSꧺ(;t:0&0೵ނ_?9wUDtcLR`k Yb<<|8]S]ץ):X"x!OX#6/GFw-Zޞ` pc}* Ǡ8b}l=(7; i }#I-Jb|ƃsEխ $IoqrN5(#`G, "yp2M1$EPI}Roѧ!){y Ѩyc"ݫ0-g]'z#]"B0,_#=Dh͏A{!7/ῌs(YCyjz}UײbӼqm2P5 ##SѳlC?$˲(ٺ*:PojvF:$͡5wԃr8]VJκo6c=}p;*.&&n*k-H93zKoAnU@}Y6?^71L?H_8`;AOߌX6Y"̦m&V6QءK $ k~WvƊ:aӳ}Ml-Ȳ&עB&p_nD 8r8H10`*)`].:E[mfwFDS7;❲M߻!C&Mat#.9jVRaq׀S$C> ȹo9)79}ѻ]eJy$BkH]Q\ܺV~GCF6prmmi|f:|Mqa7ߐ)&6Y ,ÎBVƠkxoWxcb"NXGpKvɀG&QX(. :B|RJscꊧP%t_0\01&oq 2ok&;q8T-H}(×J+5n3{@l,gmqU|a\fXoJ6aʈ7JѽSvޘk)뻽e<€y$f7ԞٜR}b (c0"nVхg9p͈=B\KW<4/+`bx|.Ek_7?tVdǂˢt*3H3ks0J# @P}+Y|>^\ I%WV9/>lz(3xMʰq1CX7iz 4&WNHڜ^!t9TտY_ y네3FV_Ϟ>W M# #}AyI?H+T5Cu YTUms<5"!bJp8߆.=oZ UoQ'+*3;Ͽ8 KT>$h~nc(-[b0<7Jϭ7PRL)=Ozx+ H %/ԶcaMv9򊅚_&N֬4٣WAa=]ZzxeAeKa5Gn9ԥV?v_+ Eh>?G+ 恃p6zYm&)}y%m p*9纥 z\{lظ9nCAzYDMF8_εYğv\֦X*SAv2)bY /~̚%a1S#V.rPP }Nv$KA3ETNp.eP(H-dmqמ97I:hؖ{2o:MhkU[{G rK% n#윱v/q/tr .'ZVԈtmo42]yVWU14;Q͏Y<'P`T;^ҩkPx_PIEL UȪ"n'ٳ-q Y7 Wfj|VS/(zG; }Op' -_5ߗðI{Յyg)mXu\> U ~"Hԧ`\{nɥ>mmU`kz _6¸;ǴFѠR&]ͶuKMaрYBO~Z]O VyX+]GL?RlucJȳe'g 4І&6h2\6!`ؕ|) ]OFP mhs=Lwyb\t`_6g5;orÐ1|45*D8 מ 7!xΫea AX!`v[tOtXGAD1赋&έcfLci@ijG ɛn0+h&)rgU7@0<h =^#E].OkO$?4AN=``x_*k$;J@C8CRئmpl _Ihcf95~{}Pmw 0/ LT6SC`D_ZÇSZ_} c.'OqoLZOsdye`a ƂC梅y޼FMrߍ$J;͸%^ _bg 2Fc5  JY4ߠ)靽j걘pF-U2 vl|9I|B>ڷ>NlTn[dIj!jIK5=nb*N(iږD*rRy,Ȁi>h{DZ9e*bYhML*L̹gn ŨB{Ry 5]ԕ9 Ps<*R~о̘N)3tӾDj2yz|g> MƤUMl--|1l2Xf7/"7:iP=eٍVr8 (r |I5GC]jL'i:O[ݜ \ߔ*n6?Xied- FbAyHapƣE~xP+ =&?V46z&'}X #>`ak+eR!YEuuAyŭ$VMO (DPƁ*e,{۸Q;Y t{8YxNSDr:~Rx/﹍Dr.[gs&CD q@s2oE5p`j!4-}qjAh. 37Qpn l] FDE@5cCE_p- I\3HI4&h:jS)0@J|@~a20-~޲$Ξ`HocqU}1O[6Wece- ȏoX -#;( ۔1ˍQ|ee ˱ OxklƇlRĸ tjm2[#4M,Cjz˛nUVs j8\8xWЈ_ptwRsN#L8'II&P(!>,YݽfmjDS[2!^:kr*|3Dqszһq]o P1l=2$3j9@/W 1f+7m<(T8#g*7FNjO,"zf I3VXS#Z٫=W"v@o]hlA_WV} ^Z1C?J-?g_hﱼ4<g3h1)T>yX2ꄅzV+s5% KruskalKruskal.Kruskal_Impldocument.tex7zXZִF! #]A-MՋhvG"uIBm5^eW;5c>ZppOyjUʫΦE<|k#Xf@;  ?kˣpm(UW2fb˒3 <\B b'򅹥)]K.}{I ]18gYf,i52.q\)v35mK$ǁ / VH ~NF͵K>7{+!t8ՃN0!cNKv?G NO`J A[O^9сV(F|<`gd*FHu+CuA||tD$>;tk]ǥ_+.vX9'as7Ni'K!ZyK~*$c uIfG(;A>s,myh8I7"Co*ެ{ӽuQ9)PW\CÒ9 F%43o6n(;-nXr~Xq+1Wôr6oU3/ާb{0$PEɽ}iLqYQT}F 6`f 䈅aYղ i:CȕǾ',s]wk T0Ab|!o ^)Oeù٤ue)j*{aFOgBRq?ÎOE`JJ 腎^(PCVD6P Rh338)@Fˎc Lp)bMRV1SPӕ`=T%} F1 ᶀ. 5}mq&dyz:5ݑMUP>5~%s@z`B(=u6 Ф&t(7eu6 |OUm&럇 ~Ji hYk6d&Qz燬Cgi˞ҬY kxtR fnITkcP'.y2B\Fl.]G*bE%k7/O 0J^oDm7f|m4Lo)ۂ=W OG]5I›b*hģ3>>co.ƢyB#2)}CT,W"#'-D z+ ޚB\^eZ{_bi[`R ZS^40:[w;@$7%E^#~qrcǾc/j2~ĥS۱Tl'(M?*Q{neɈ(rZ=~ DFgHGk&_:Oz^Qz'f;U/as1-xU-ЉRDۆRVC%dz4_!?9^f]&> m0@R$f'TGq!7[5h`IW-72ޗ1v&dF 'RM[ iPy㜾JM9|M̲e<'=-dk&Nd= tRlu$(lu3[wWZi[=e`Оj~K@zz/ƹ?S<&XwiM|N"0V.2k'S跠.֬]Xq"rՔfO/ŽQy@也nT]jpw}wQ;Ũ_% PgPEV阮V@ԦU;03oob_k"E<: =|iv!5J#F{IyA_Rɿ9+WB1w^ޕtH'BdQQs僄(Nf2 ]ラD+4'ʖߕ8?ʲAE'mEdڮY [8ԅg3</C@Hxgp7BGKɽ);tC˦)'Pe4?)լz '(U jڨ6.gh C({N ]{#ˁt9Om.P\1]ܯ?+;䩱e1ҴϬw3x(tI3_!˼:d` 8G1ʴM R}cC=ڏ,ugSAY"8F}MƦe5[ZYp,DKUnp(ɨꊻ%Љr=rRTY*R6L*ee6[8[ xR ǍMVM/Q%#E* s?uCCSw|CU7Ql|Ȕ12FJpͬ rE5+7vL?_&ד enXj[eDe\ ʑ2ZF8^ Pm op.azV9+FvУ8U!~-@vu*a] 0rFy{ħfAR UdV )W+jVt_k,5*~Q, R'-%awqv!mq@;S RǬC>e3X,vg ˌnNbf(Y7\E V #qcmבљOw,۵jה44mW0OxV(l|.ް s;#Lw >*;7aYv[gWx3ؕJ Ei:*|\Z/`ܜ5j=z¿>::twdze˹>-6FO: pf4\3iDucLX >瓄^8׫Q6ܟVwvls6ɞݾ`:@OoyF갑yU0ҙjUkq+ڜ]07 Ku˵Nsl2.nTm"NK<[S…lg0= bK18:-Ungvռek~xF9cg$g-P@845HC;/& 0u6h+ZUtN; ܜ)m(/0'h F '7"t U ۔Xp*:pBJ´ewI;mqpଘ\<13Pԃ$Z<&p+34\j]}_Bx sկJ/t!pdq`J:m76q@{|:7@s7u?fśư*딊# D`jFobGAwXxj41F\ṮD nP|y"Va Xsv1ڬd7VI=v =AVXJ,)kX*xUezT`e_toA`ed Զ79DNӾ@o17'Gx.d2?縢ț(C5Rnd+>Ţژs%Vc" D-Ɍv 8"2-;LC[x䐝<7tH)ߘ^F-Lqd/w.}GI-bBH+ :_8nΕʏd2ahMTD%5SlPqoԏgkϨXgZ\$b4Y{j}8^qAyq@6:xF\ij296k`^ɞ QJX:RVU R5Kk1V*zמ<} y5í*)XFQKW$> ڑazöΒ! \T*3@ȊJ+wZMTH`)5XG7A˞FR\o1DŸ~Ғg18@ÎBvCE"F&)'tGV9cЃ0G~>nS 8Ô - b/y~f5pM#u~"#GaZ*L5)Wo?n;>vIVVmC/h4NC7[|ʕ^_.1c5ٵDyt:˲/#.!Xݏa}TXi x:D=(iSZ"@"/Qn&a׮3u,Ap lVV%]cQsΈeo{A.xE'ğ]GiR TPlpm$% )WOPKs'>oP+3ٱi ْ'psWYn jMky\ۧ@|9@w9$ j42#QNuO~5 4`fÿ"YdeiBEz6I3^,4)_uMl<ΒFt;jsmqfH?$f}ܩ -Úҥ 2x5X|-@=pU/F/Hx eu!Awս&,!pcLY))Cg0_Nm7 oH!ggƩ,s {fؽhtG,U2mu2]|f{>'6l⮿5}ݟnVˁbt$ĦFmIJ1tvw QF3\+k|E3$y{u 9] -HJEL0)9VX"9{yk=fB ңU,Rx7qѱ^G*CIuRW=HBn!i.C5vd;ѼE>Lج#YGskFgf ~qXCj0lֹ{(#PbF'E'1%͖r2B8eL/ek$%;!8Y)NK)ʯvTk sB8zI 1mč~NyeCm. /D܇*wO!BWDI;7GѶJ7cJ`OM( }Px9 6rbJn'd:-WY1bp1$?k/i¬ q3(Ij`OCdtwn\͟lc,2"a֬nP!]XL;({v(q_q4,HӋ{8F/ЬHKWC~5t 8GgȼtV{Sך9FԻ\g-^3V=%Jl VjfN9ҟQ8{goT֋CU(kpgA.G1εu"j uˈY""m28R)˚ ^%ʽOU1Â`IeTSYD$?%̀F={?LOu'BT`~>Aϊ(v+'X0&~}& .V~(z"أa75j hL(D ܘ=ܮߒO;uU?͇{t ̦R?QY#. ԭ>j\*Zu1m(O@I9-LvO5],t2 ZlƏb_Ϳ~`Q^[%7tV5{ݚl潷 Y <'@<nR-b"zj[4xՇd렸%_ :y4q8}:WӗJl@͙Jo%>SW͗{g*]2~$^> ?, ̓C` $Hyoavmb2p0bJU~H ÀnJ / FTf fg^> X5ȧI`D˖ʼ>"ɼ?^>` S6x]}n W1U7­8xpJN`A&}8baUyspwiF*xx,VtgHgЖUhj!|i-#"$b@*YGK_P_ROH 4聵M_ {zTgeR7iٸuJX}c]mJ0/fLn8f=udIuﯽ2#pwpK3rs7{A"s9!_!j.OGYMDD>oo3wrnI2^3)V4U1)gLKnݭf@&q}9܃}zÊ#-&aF`ty̳?+qeóa{_T'mBTյÙcoh R;!X*ݥyWhJ\Xс_4/Tųv'1a:(3FU@jYhF% +̓LfkK0¿2 :+\參颕ȶh"lk8,zV1@#2* :(S5&"Wy>Dk qa8Z<˚1 Wt&˛: LI%'{fWĎ Ĭ݉u6uWS/aziVIio>D6v ԁ DY4L 69I쮗Z(OoN0^~Z98baqw[bH15Gnht .P3d)5`]F.nyǀ szC]ۿ IQBvdj ,x 3Fޅ jD'9W%xE^oW tR}2egYtmW}?6/AgKmEkg"vGķG>Q,x sis N6J'l̂܆P"lPn :BWĵ3`9uؼ]vxKhƴgWL8)4; F 3wO`ZX'VS+'h/& wBg`&񎚱PSK?D" -KZֈ"$u&ݷER+#7tOjፚ]vc_EK7( &R%"?f7p|']h5\_^\9EP:<ㇸVZp yJfbi"AЩ/fzlc +k,Z'&?f@2-hlFPq5v5uy>e86qn\<ߣ IX^޸~J;\Ͷj?b[;(ӶtRPP^8iygf{ȋp*=, #[ՕƑ_pt@zB%+/u!ݺo=2rEБܳjK`B>%ZSnzX]wJo.Ђ8Ed!WrnΊF&$/R$G-~Q!MC[uF_|Re)Asƨ=E ~.o&L;emK^x4Mf!&Ol}C_G;!ނp~*m }A˝_ ]S)#F[):QD 䛱gYZo&2 `)dsQ:3 FqD\.3d*.]m&toy*;@hUݥieyuZ=e.knχOmZ\,9́6;؜)()v>"QiLˎxU AҨ C*5,VsO̹6Ͽ~ ^f_C@Zaٞ0F9ncGLn *ڥ.1o&5;J۴ۛjIFuQ0ԓvg q}:4VX8KEt*ZHJbR_7UfqD5oBq{wLŹ e7 ^@v$onv/QeQ(zmOQ6[l; WfϏ;fm*hXl!g%7 QwsHT9}|ߺfFb;v|=[(~WH>`!X&}32ag4ތdeU[mWHe]ogEW: U14닖03OUeiu4{8%iVY(rу+oQƚDd9XqjSe;2~p^!wΓ,k[Y $HQGH'`mm]BKIH͒u]ȱa|@dkOC\-̸az^qa&fkBiȞih)v0[i7[]dB5y|>,m-!W<8$P*wzl+2.  >wyjQsv#!s ZD't"Yt^Ebr-iL|YAjZl>}p;"ۯx9sX03zŘN4qAZ;&*bގH1^Epw ͨX?[ZG%vAm$MeMf.?J,YU RsǦTR,EaQiUЌ6x^ E~23}UoԿޒdt2$f1IG"/l^5@vQ4>b3j_ieGW0w_r.]a8 ,8ޟIwx<}JGq^3;~}N/J1*ø+7L3j[N7biim[(h_ܥ%,7fnVKiO(M y-E&)˒J!aT9Ey"*T(8u> bh- >!u ȫۼi8f15#b\ܯl&9B/[8#8aA"BPfY}@lE7>ܠBL s2J'5mGhW!:zR`pJD{(O]؜m-s7VOxN(f kq7bx2aS+& P  Etb()f"OElj9 ̸:kaw5L@Du5z[ П!ʣ9UQTi<^qxp, )˩kNjݔf=OKGEC›2*7DT LZˋ8{3ˮ !%l_uI96Y:MJb ͘[{4_͈)6hN ? ףqNM3 (%)4B ·&!\r ea[,|U}V^S;™piT C=#n$W!tjoZ8io _-4#۷/1tJ1@R30ۜ#{"ueH⛛:MVtA6]t7WủY"9'iQMh<"+{Og^#}w2F| /d88qrLC#%oWMfF}{؎5tEsu9o@C%~ӵN+`K+1Mh[T n8괉2r;Nq-uz;!][ bsV {0,qgnfF [\R{Eiier&#(>cvV6q_39w@I۽+uY8:F;"84(!9  #BE8}ϓHC[2}6rj/XqmGh v€aPt|k)A0A|+U%:3jf);LN'y7%3E#xh1IW7^#G7[!#еhAS4W3>NLTXK;䚷)ؿW/Id]Zz_F3@>7?/=Z]~a:UĤif" x˩BAc[?9p\sO]M]\Fӧ.ݴ~R7/pYaR=5]Wփ k{]=h"Fnn.0FCqO.]g0SUlS뵥jFC Nr "HlEZA buCNq ʻ{r;ѧ*YDlC;[Z6!mk J.՝~ s a )}'l ;4,tK8#& 5,I`yfǦIn.C~и_?m畔e0ixo'[7 ƿPA~nq1 H {0 ydXo'}j}?OYX >6bs|֊-Eqvmq $[VbP*o hٲ; 3a)S L2 *o!qO4!ot"ZnC+.DR\$bj=e0}%Zf >F'M?0TLL/!*01j ~![f%YY[~Kɺ cV9PaJ@[SX?pNϖku #Ų >tLp30$bEȣi?븛2PPCC"5^ EBRWnh_W hhlxp1Vg}<"gGSATJa+t9ߌ/'Ss $?,Y U:"k$JL&Bek<ϛ7{WUNѸQDpyw0G&_Yl`l o_\F4j7JeCWll+10,#EڈYcX٣- 6u']%PcdʽhqT8z(S[ZAJ? -Q Њ %+9}ތd~5 ,1zm)ͥXifH^c L$X|F+mZRx. H - 5ipiD9[=ua\⬀E& ra(#%O8;mehz5& ?t65ȦGPn#"-у*cdH=naYM^7C޳h@ i]rI!5sPu %Ғ? ǟ 5CAհ;6SJ8 b^V5JQ߶'Z7:Jl[bA[b%9 H6PY1Kox'evl'Г fRb~Ȅ9A]rhݿe[0ئOWGeW:{nqx-BGaZ&⊹bA'JCPMl$j=pBiv 14ud>$-+ ܱ`3PT~S^$ϝ|gm@|Cklv}[ph٣o{]_uylq:ѕfl EH]ݳ1Oo$30a<BX.7}lu`8rm/g"ORt9q*,]^5sAKgI8:0gq  [Ƅ_OT-mrn$!k͂,{$Dp X 42#-~0PoN<ثyVbӬ1ۢ'4SÂOe7MÆn;__`_y?! "4F?PcOoĭ~!9fmӐ$qgC%I0[[!wBpzr\VreM†&Bu W>JCE8BvV7e5?\ԛ#(̟Em< AWqc_w8f[fwoKlᆄA&fjAu \[or)ځ}dnN+u$o"̈́̑h fW{-ܛik\+JRD$) S32V9g&m¶oFx+Q0YZpg^zerG2Ş 妅SS+zv{H*Rj-} )ShZt!2O= mss dN7WJWu|@O '}}wJ(_P:uqԛri}n9Ĭco*KtMto|_XP)Daߗ>@VE;MLs/Q5#1 'L} n-:Я[NCv#:&#|֟"MiCMMε丬>rgFiż(agXK}2߸Jɱ3hyʜIu4Bsmx_fufX&cVi0 H}&Q&zI>Kg8gq[~mȏ\ XOg#Ŧ->)}zWl@ :+uXF'XZ${jCCaVd?Ӷg"yӝ pxrO6dZ1P U??ڹdzUk4j ;kN ,]Rp50E_D@ŝ&)fe@մ82M3\~ȉ{gjD'LEV l&o%]rwDY>^8% ηpF 13A2S'oIK_sd9.19Zԃ&v dp$HΥ|s.P^ȪK(h/=ܶ!Xݎ_#!duw00 ^yҬۼێku'٢~Zv@ufQRmDb9c _`JWJŨ>}R:йI-*̡C,MPo?mtl/ˁmW4pfd'<u.Fe?p%HXKeOFLݖOțsӸ`KJMc-wY [bM3J&鱘1/(l6C/pMKtjfxD~O+ѲdTq)M&\?yK]PuR PWm*7Ndq!C6o=]eȍ uL;e#FlJHDVyRD\3DwA|ArHR ͕90gB[@)Xɻ604|KpC}݈wGNH t82-G-}[ 4DӘ vS1t"t+[vݞ* c$E9(&=u( 5co3tXV͝A yj4d7`ӥ@mB'1ZyY!v%,Gwhld<=TNr;:sW*$|n#N+i ZgQ?r68 Q;I]ab9/x0^dIּ yr,rNt nQ ͛h[﹉!: 7ШqePQ ^XY{bGa=@HhK|RmGڻ#_%rFlxyVbګS7iZk< ˒L$3CT,By(tS`<_%ihDT"@>Fz 4f3Y]J@#?H!-K̡Ze(`-@,!ZBn h@kCqċVi1ɓ9xG Ƹv1Fs0sWax{+LDXFXڱ|He7lUa1a 8eA" ^i(A[+CjrzVcʐf" /(u\~]/iڠЂ|8%w=ekbsYך~92?^!]YL${> 5ƦwvtžYp35/IۄOfe /Efr wEΩ/.ZUAHbGSVWIBQI)8*RcyD$6^4NgXKȕ[Z+֜L"nu HrY۫BVv$9BV:j0Po:{3n0?t Aލ[Scas xs~|J8[/9UZN~|bkB`0yF?Rd3Ե6μ zv$S+ꗂPA6ڥս!;~~_R!f՘ᾀgsF.,#g-jo l>[F[ku}Q`wn̫ vUaf{E% KruskalKruskal.Graph_Definition_Auxdocument.tex7zXZִF! "~]A-MՋhvG"uIBm59! ӐMCq+'Ȏ*NTg A~;Cݞַ}Rݜ@x1/;cP䲨z~k{d,o=:+lGT&I AGvT9 {Ѱiր  +Jvi C_4Z.lȔCAD H7{WrQ}KE&68 SGBSFjo_XԐ0$OߣZYdEdYUzkqa4DgX[ KeZjbkQeT382`S|e.k*͗zwFvJi O,< nj3tD8f:~O,b~{A:Qv=1ZG_(Q;y9 tu#/aePv62k2ۈW i'}[ GOE|i_j{`Shxev5hy› q𣑸<e#$)zpV!R]v1ڊ|T 6Btћ/3CEQkB2U7ڜ:p{ȝ*sE=><K%#7(Ao!q8DR;{c [4_ |6hy.SM>^7!>:ȝ~k 1 PΔ){CoX^Le 歂 ƭVS퓾gK5tOLlLZɏXd%à=Zkpߢ8P0"T^o YƒZ;r٥@tʝi6\ԹsK'CzL.sl]pZ.kcW^+znpg ںz9QetT:_Q<(|L֜=qX\T5#+gfo~-4;pblgءG 1ɀw>jgH F..b*:p=Uz9G0`I]"xW}v^?GC} dì߱>وP~k,4D ,m%X }ӝ҂r\`ȣ20d^Gtb0s,ʝ1v >2CāTow,7Dt8 }ůo:" =gtiԽUtwƇ (^}h|/l G9kU ,U Jv7 {sJF5< W= N&LK3@_/pǨؤQ{m!@&/=8Kcӗ$_w=J3K5ᰄ^ N?J  TiEQA4?YtV?iNS|x"7yLg Α|eA*ISZ4T_3 8OPxC(_]t!೎4_v2h@o]ƮFćx+0lp?jq9bdor5/rC_IPe~6 m*zLj`FQ7mo& ElۍM9zfηet$YqN0rF,JF/ Q/uSF|~$]WzD41KBRmi!EQB hׅ ׀ kؽ_oj-HVEZƮS~|j}`2oISʰPQxMH8h2j?-f?'g2&"@y2]Dv"f]?ih<cC9)1#A9l 6˥{ߧvk"Fe+ Es.A(dX``"A*\AQT8uhBnd2ayQ:ŕR xUeAfi(0vVF} !$gBR#+7ZXڪS HSηVUqX;c@u#rK?^&cbvPf`GW>i^VcԴvrT$.囱kAgH0K^ ˤYY2DεFcɲ.VtCSGB3ڹ*|Yܤ'Acc5[Ps w@~v6ec&Sy!WJ(̊Y5kxH ]7'9@tTscߎ9MvWAEغѴ짩7}C-O@E`#>~VL+o3F5̰ݡFu(VU> ~~t,5'pm8hz˝jZӷ|)JJKdX!Aj)OzXTHR4vJίݟh΄5SitԬR@5\29g:dp?žV gf:aMV8kc Lb-㸾fxzB_|_\*$r҆u P^`9jp5W܍~K# +CBBod-jð4$q;l@S>W&2wPM+=8"zr~$\>\S_,;7)ĤI"qQߝ~V1l-|T:eC '@O" y2hMK `")o_+\:'" וUMa|a suSe=3%6?yJf\n ; ظKIBVNc?LR&n ]>q!Q:_U|p!Nzwkwz5}o_0<Usoat$XA?b;i>0sN;[ k @#xx ̩~ɭbkܝr[>/l6-@'j27Q!f2- FbbkݩmvջH^?6QR?t)ݿ_6*]΁A*~06ѯM,+~ד0d(sTE?A ok z>:;e|i&kr3+uZNEXiJ;pKRQw/aӎƒ'%夽8[erR 0+}١ޱOos-UŐE7˹ήF$fU DUHɺQŦl@$ct͹ù)c5԰2zɢ/l>(>x#}X=w2$߸>xÛJf-umˏE?/zFʶ}ۧ؆Q0.UwRY3|?"ԻτI @*߮>Jq̻nXz"֍WGѷ?hJGGR.pۃS\n08W58:R,A5o]|=>~ځ3pNn-6bO(=.mϋwVMdWzcc Ԟ"dӗHc!9]T(M3wQtI{nj+t#AQ’%&!br%׾<,ZtٸBhNEփlHyRŝO5n\Wn:o@⢟C=Gco R~F<3׍R>ݏȩ4a}=^*<~fh!J-\;BJ!-zx87ʠZ8Q0@֭R"r4$'n}2` `b~9Rr>pu >*̣@#kۿw4;S$]oSԍy ʆb|W 5}učs3\rxI$I@'g4+]<&j(lM;5v#~Z X2|x33B^W cI4R/5 ]oV@AaUͣ[ H:C뀺s@8_=l,3U)nz j>!2h3=hGY͊1q,hN#Bmrp C srV( G)}G aT"ƼArfzr\ *Wԓjܸ!vnv!*ؗ>Q\Bx= QFWpG=VHHMNSY5o(WNHԈ" @vcs7]n m\Wo4}GfhxqlW(/-w|Ź^^/R#Qe*s:9c/Me( %?=пNv#vyDQܼk.1y|˵[ / bE]JJu;`ͥ-0Xyݠdm"<5'k~&.>`I u|<2F~LJ9`p{s>(Ll\o%:F~>va/=h'gYZRG v, d=)@u)]F3#i6G1B0x 9 ~%k`wڨ% V.c]_T_eD4._3+3Tqs?tZ!<Γ=!E)2G.iG$޻J15'hC )HF#KKHܰe_e;c~nu3s2TӲgW (9#eKx>ES(, UnZ,EN"TL 7! g?Gמʎ#i|.J:Fj*{}sZf-Jd ;;֬>zx" { 0w>+6$ѿRP {' OĆOY l.I%Wb+§Z`WR%t*<Anj)uFE9D!МB< o*||UsbN[3y]{T$HHhoQه?.LGu,Vx{n"^kphf̀8rݜww6A>kfrwF!|g Zu"ASoO8+fgHoŸM$M<-lgBl@<2e9Mʏx,"$$6=. X`&6K2yDM9X\5߯z~wVMjc +O՗71r;ډ2y~$!$)׽ 謹򭲳o.> D9;J:]'#K;fµch+X >v9f+%uGijjɡ@mMXFNs/tZQ /~N(8O$r1W^ͪ5m `P Suu(X;MH4>Zx.jv/Gzc?G 9uYB; ~Z }~E+ЕzLīt$r0ןe^t8'Yj~e2̓qYZ nle7(#LB_tw;8ˮֱ+&5Fk$!]Ͱ;-^EˈR1Ř՛N%LuthxJ l66U_N \oޝ^н'{ItpD@bwſN<' `y~ T8p8c^a10NS\|9v@l;`R_Ԗm[-v[n*7jmZKHhl]({ ol) O_PCF o#UB;4x\o1 R C&Bp$PCKRs@S{@R5d,ʚ(#;4\q=kM&|Z&8=v+ka)Zse /)6lp\Tff#zOطC?-2/`H+rVndU\[Dbι Wi؏#n=C oGRR9)6mcPՇ']WqSv +a( uo= ͉#Rmn}}?J3ZGH:Pj^^B',_?%PЮޓ tv)IfF$*SC;VGP_ 8DӚy)89E-juz똰Gy- 6t;/*qCk[5C@ƶ^@$8!ͷa_~{g:AtUIĈB:X|y\5F*z?.ź_wCBR7ӛX(P'?B^gMD&}?m~pd[wS`AqLڐT]Ui>ס@D`]-U%Zc?e&ayXHƛ+dWYNu3r'O0"ˁ'L92)s21_T%tи$z_ 6Ł1h~mrlUES4 x́* 9Z.E?xr[^ݻ&뽟4HTM:<ة e;ބ v<S<~̧vPdT(G;d ԬkU. Z A th&'oKC-~ZҠBE\ZZWmݾ/|̈-#$j>$ƅ(=u1< ["Jn3t8V^X|T@ys=$"t~Ѭi\أN<dlQ,6" +̧hGX^%YmdB,|x?y]ɲZE^jЕjpx YKIow@l=53A"D\CM~V(v:@%~;1dea߹X !ϺPI T91+c7mymm;57MZ<}?=k -VTF$AS?(jt!!?(\&'TH '3^iϑb1H| *M|d<Ǻe5W;{mmEڳ%$'W&~` #~Y;,5B -װB\ nI^o DJўMp(w&dgT2(8Fm`Ŋ?lbiAJQ՞[I1ws'+x=#7w` ΢$4W?j=7woATmQSNXTv| ,o|`n@G ]b.=)É C4 _&#;+1Ij_彬(N4qP)gWO,coZ]#WR^=F_2XRײyr_#l.2YFڢ7$+e׈Dد[}v I Ɏѩqҡ}W;}{"td:{nf-y']ڎ)mȌ x Pgb%"}"Sms3 vډC0υ)g7:>r"M kB Ԡf^:D8*jPOVҾҙ~5씍+[f폲TEfVSD uA(ɨEeCNoA(MT~QLYtQ6ٖC!z!>VOxdip>*ysq"S*Z/[@& \[p¾|2[1 SF!q@D(JP5,{y̻eAU}Lk'k{/s!E@sU¸)DjH7B?\m߻dau%- |R\l(@Ɂ agoqB9g%s8NEqҩ = Z ͕fUIF^ّ)sk0E B?z\9a%+BQOE[t 6khpƇptcevM1'L>:0G k0 KW9nO ҥ-~iylEE D>9jqB'# ڷۈ,.`9se|^M4Ub"d"0mjUKKDZ-g` ~3f*pvCžqhY+P1I__䦥r\GUC*(ٻSR\_^g2Þo?J`ue׫ %-oNu#hmkUSžݢVN ȑt$U<\Y,|oJESj/i tFbD|$;▸f$"Hc䕏˾Wശ0*ظq囄^!@$VJ9Gĵ<|tq6rİo/ĕJff#7lG=<#}^:z]!bGcA Ql!E)w4p.J/=9֍pO gSL-?xɵpH1~ [(" 3-:Bf8ࡦr (xzX=t(y F3$ ^2w2S:>}/A:E&w*MQ)$7X)˱-fjv>hZczoοu .ո1yxWEsolyfPhxbJAkDKFzR!z(6&Ô@ (ӱgXA?$!a_EBo}IUu;j)'WQ&80l4&혼sXGtVL6Q0fA8vpC!5Ь^όJhGBӲ!VíMn ~CFŇ2GeƂ8<}@9),:F0da' e7O Nad]=.Ր6ǁj@QцL^U"ΞcYv?)Z F}_SI wT̼77u/AÚT"36KCzsrm);I~~vBz*`;ѻK d^x@YQ{mѝoXfAeG(Wfwbgc;=bKj7XXie;@u-H%Gե t(#3DG)oоψ\[cUe0ȳJ1ѝ^!Pu~LŢ@Ys/XC[dEdJCvf.6H { ~W9A GEhXZٝ-sOޑ@"473S 4)8nZ a~ 62(pxi8(p^A28YpD]eh1ToB BU7O(,|3+b{80M59ۑvLh Y白ʔgc6'կL+ p2-nBoTPޖeT׶# Xh>.Hj}Yg愺uʄwZOAÑ 3: r'[*[d扫:0;p9 A'dAO!m"KǓWJD҆+U7Vw"i<0z.[AxS岋*1ze[xox<}'egyJ u hs{/.K Ih)L-jv7Ʊ[oBĝ|u~L{[-o;ܣ2l"J;㌤]/YV>o.8yVkr.{٠(DYh2'+CyuƍyL:xfjey=I#/5=.P&5a~ =VKFe HN!Dۗ/$tNY=%`d̃%txNZ<=(t-.%2 m}g]T2Uu+RKEnjg#fcV 'A1i(C4JPH-rD ,[q!/[[~>YwB2 $3h!8U-lea2Xo<@fu34K&Hme q!6=ŬΚ6V }l9I!+֩`=՛i."#,m \2tUzB}0S]x)Rر`́j+ECVG$c\NV & "B{˰^a>@DҶʽđ#lHk݉5?EٟCڝzW֜tVʚQ$[(( lj5LFQ;1o3,%?<7pp1v7nw< %j( Z!="鄑:]{l @-\(X/ϋ,p<Môķ4YWH}8iR!z5!\NHM,aϠfs?ӔŘ KHک+m<ր {bR+Df1-QJ#BafFoBP@HNd<4KwkGŚ3S  &X)嗚$yJ957Z6A RKڹ'.V._1b4_ +ЎskSƺd۰,N#V*>~`"f9Icx)JyV 'mˮҩdNp]hm%ݻf 2o >Lt4+RLLc dU '(7Nੑ{JcVXj$%$Obv)vwaup:e_i79@ajQ#3Fl1 01NO_%%Սa[riK9Ӧ)e ;QpQR*v͟2F#^g8r[=C\:.P) (=WٍskɘGiq""SAYmՇec Wܢ͕͙+f^BKx]>"2֖_߀N`|Tn` 6#yr1cDJV0%;lnah&# Jʦe'K5!66 a*VʼnKŖFVӹa}uZMnO^4r"Jeҋ*(!$g b˅M߀JaŵȬf<.Ka6fAᬡ3փ݊X!VH9Bkπ o~ q}wSY}=՘ ,J#^o9fܶB{|щ(y4Ύz).JlPn5_&\ӣ!9ڕ¿Woӻz$;sZ#Ak 훐A >SxY10PtUgA,voY-CGa_d)Ve'`Y=h/ǖR <:}wF6@;*er? mv|m~Q2x2zRP3 u=_|~yv+OTMۥ&=^}kSl귏G"M{4~1\Fli3>$nkAqU.yL0ąZ]qߔ_l>ܔ=r)ӯHvD!V`qWD`8h|+7RIFB98+L"|/7ԎԵ<#e rkm˥X݂Ib=1 l?-SjYxKA4fzdz?8d19كRaʥ{qw๨ټ kTʦhiG/2K? )cfwZ_h_rB.ż}QM>:˖:c\)-6M"3M kP;Cj޻L}VERcϥciTJKXzj[wc3麐YCk%I!' (9nWJv!K^ET(EIHb9TFw"uY,AÜ =Iy\| ':XMmn7m=asj殘MZy!CLI"X,})BKZJmΥсG-2 Exd<mKp܌LG"j*°rÙ"SCފ_aw >< 4g:7wBR JqtEkeJweu蕲>9n6@ vtsd2d \%Ү,.1GL#,/u-.l[F;؆@Ixل2#B]A6h ^U)[_~:4ڛ!Gb.I +T Z5aBmT^BH+ǥ.N%6qE+u9G ^˥u;aGD$p%iuwvg NJ?~&y%lo1(oM.jjb|wI ^ _1$'=›2ڟn% ng*M0LP埤RaJQU\.}:>5KE_`)xcGlpc::P?cS] wx=JC[-+lw3 {rf@됏%wkv6aet人W={,$]eՁ  evVA4HQr|M̫?ܦHF-Jc}=3\wYPRc=x8p5eS3?d{^ >/NpXvBSGP~Z^: ~/6.o|+9c傷w#6@54+@=yTum8Rs~1`sfkCR!Vv~WGI$lEWҗ~U˨9b*Je 4B~?q] ˍKDA?TtUZ#ޤrc9 7^~ēnTgByDɦbQ!.A:j ptjD#>*;@Ҫ )Q#cJ cA ]]skCIC@Fd{HA?N&IvZ櫺 d˭G3!6G\'u,d.1_J[Dd-j,U/B,m28 m\dwzMQiU,鯻jz=ܜDIצ6>^QOw-[`c cq5k9/B vN2oAGy{ݕw..,{lLlަٺ<:¢[XQIH42S5q#)mtjwuQґ,w?'h%{T'bi@g HTT̾ 7<-L#k+p!&u{%Q<,AUR9]A_y!} aPowW2B (%5L6&cGdm*c^F-{6OQV/3 jdy0*LIɬw'3B$oBQzW_ܢ&Ex^AlS;_W&2Fs^#V'pഴmƼhHpAnls%[g`ZvR ]YaG cʿ|2:dWs y[6) b;g28$ F Fe*~^|ƾ*7CL^Q\AhGMK. @gXqSvj4K2Z>Sjk,X] $&W =\RJL@3fրYbP=2KFReĩzˊ8ተpnkΟ xUrhFk^09m҆nD Q' pY&@ ō,[nDH½ʗ*Si>dxtY6)j>J^\ 7j'ߡOLF2IrB1"Te͸M_8-xĞ Z[uJ"_n%e{-|{^ƪT;c$~ׇeRcM&HɅdRE-M/3*SOI(4-ھGU|7腿 Z$t m^Ŗf|hF~/ICpV nSS>m ('K+R@<$#{)*])5 0T¸2ti M~KY*F%.<"P+P*Ƹ1l@l訨p:l^*(TDOH/#=އz!g7zA ӸѦMi0j]˃KK3қ;hխ \*@]Y ku-$6e.̞Iߪ*,UJtPNz" fFY܈Be<[(Bޘ .J -e N¯٠${F,\9Gbta 'iE~ɩE~3-qi<嗔gS_U  ^ͼpXߊN..(M@FYFI r9(9M)ؕ1+nugME7Ue;R0g8j`Tp2ic.DSvЍA~Sڴ UI^ 4-TJʹZނrNڹ,L?5ЯEr>ltfbOBaŋUxܴΨֱol<[ȢO8I0'9)2m#oCnn rG\co$}JYxp.\:.έu599\9C>xuH3b A} sRf.P_9VpR8g'iir|R=eg؁b{Ot>3+.#;hVD{MnxZ}O$F>wCDƭ%R[z?ؙf-C]p Lak_aty/3+fH|g |/M33nh ?;Cң?%4hޣ|< lѴQU" ˆ:TÞ~( >YkAdq3<G5R4"} '0V3HF%HJݵ mM3]7jK ì{꣛8ۗuCj̊`(,mZB1Nw󯞆rpٕ+mw =egZӋbvgYZ  $ -% |KruskalMatroids.Matroiddocument.tex7zXZִF! 䵀E]A-MՋhvG"uIBm54dр472 VJtWwZ3_;{5Tbik l1|XhTl)z:wRݻ4"[T*(o:G &lq^ِ94LVwE%q@T[~ѾޜqU5[DŌL%GjzO5GR$Յݗ slg)g'ODzUdu%Ց{re,5gr%˯8 x}  v! c'mAL(9OrbN^07h܎"n Hl;EHJ5C"|o ]w cp'*]LJA3oUź_6عӘ"xaC%BiB\x /t_ PeOzە4dv wf半 .pE$ _fdi,y렽U*()8{rS."Ͽڱ EZL2"n(5l1d .|E| mni'CBI$BQn'-ׄP_Ūʈm F-t>(Mf7I݁L)7 ˎt7*-<<Κ-8(#,>n: 48sD8u*;GY>`Wf5bw6?bY! OnbC>{.N]=liL%y1/WMݾ!H! UH\*S*uIle4-+D[=;e4W -t slṙǐg5x -8 @8R@z9fDwN.壠ss=g;OV/Ukyc?:FW596ІYq`0/_iׂ3)g(i4cK:"}Z`Ҁw).J=oXԪ"Hf^/! ikn\~a>d-#Y:$ZaLR{[, ZppmTWSSL#1Qn苾u8gņd?LBdD0tiÊjSػɕ}1mp@ Se{S`e@xaƚ$׷?-^H)Dm׶HJۈptSU&S YLLC=?S1C'ܟ@ax7Rkyb54"+)n}([Ӌ i~]BF3pU_.J=X.›TE'0cذaX~ LZ.$twb$sMy/67፽UA9GJZگ_檆|9?c{)hI8Rg'(UaGUc Tc S^T_L>=ސ.db TIhf$F1ꔡU,oc^!x}k>ן1] $O\!4CF?a 1 ц rɂK`z.RXU!D.  ;k3AuwBѬ-9wтui!OJPF_0L@kA@aDˊ\.=9X5Eu>t"YϽ`@D20op%RVIU:inr9 @"/ƕ2;0V5-ħ#W}ɨQ]]Mck/FI?CKHvj68`t f5Y㌗T@g(ijP- D}{$M9y`7/iN`Ί5Rܮ#f+7~4srG>.Co? 'e66Y1a[G[-:y[e#[իlEuZv@g 龈t{\A}cg# IM 9iAB`>NJ?mp4e@Ɯ2plۂdp aeO+?'ITUz-= 6GFǂCq_>W}57>,q+(ձoq2 }) rEBCZfRGMzli{xFmY*uoFHe2ʗt:+A4#./߂'dɂ vߥFka3j"H%ih,ѻV/6ԅ 'bpqvއz{u> < < & zEmě)G"(; .6 t mΗz6}HU.V] fKACѱm0Đ^Gⷯ4lӈref֊po- ;o)5blU0";#v&a5O)ضT}㐫Ѭ5 ̝=O^(dåHHщOc6qpeB3O-Zβ#!N(ξ\?]kh3 $C>t5P>EF FsJiL[;w+W9ucb48m{6RʇqCVΚYF |P /\l&PknARX1 Gb&71FiZsNwء>dIXl_ =ڷS[+ZG83y{ILHpj fRpIWħ^#5>0AT.J!/?է( `z*0GIf62@B`tF.v=SėK·7C,񱛪v/ݾwL<1![AUm%oP$[k݌ ffP|7:jE.b?|:"c\R._yVe\ ]B'cHty8q qghx>fz.BQ&g\I/ y \*E]޾+FygO@_.՛̟%u>odFZi@6  꽆iyj ] ux8۾z/aj"])xOH̒a|ЀNj(f30@H TxvKnfQDk\3谅@ 00"WSw Wb/2 z3Y|ӸƸRL!b6!R",gR - uɡ.!a f*yye(ʲuiOK#uhvt03:J( 1ȼu@<@Bmt/Zd)!w:+;A+>K4 ov 0̳]@Y]eyoylLQnk!XqH\>f:## ߷jJFO T0?u}޼W &?8qCaמhnma7_R!%zě'}9-^Υ8tt$XB$w~bHkU=եjkx"DW>;_ZaApTH;lJsILN/ol 0L2ARi8ⓈE/Z*ws`q1~{UwF ڲK7okt+lt& sgYZG31y-9"Q+HR0iV)R Β;*ar* f]tOIl)օϊ/fMiCϤerVr$C[ [>=9BR^{/jx(]59良 XH{aD< Voz$ Gs,-TMogNp|l#>zqDŘi{ $}DGYg`uMi֋ u݌g=Ɔo=Q2\Vׅ"j`^0| *[p1ի.8("}SzQld2 4An-YpDk nH_4 3U[rXJNRȤ ?0QTmD;>ǷfG ("!hȄTOv $;AcoɚWa419@QI'-Vss?50`23|0ќ7yoCTqQ/P|Ss4`V1Eކ+"4=v~H> .PEZ@/lҁxQgObPA;(8Fݥp!3q_ELv#|tyXSA5Q A HA p H%a.+W8_]u5ڑm/DqqbɎCP.Yȯ2>I8{LW*}}vKmLC+ Ĕ 1VmC9D 0s\l_gfS6$MʿLi*X;ЛS[Aic3hƘL-X.%ua[FiQS*5e-Tw0+H+QXp)qo7ABE>[f®X|-Hfv#[jopI=E7P뺣wEdGdܹƖSLpoCŽ9CV$ S~(|豰e_c22|j@#H3T" 0 p|R3٠1/"Z1U ƶsmk_`%ͪY_Mj_P9 Y-~l <6tt zp\̟UZc\_c T! XYyM]H-S "7]V/=#Ee=+ԞsݗwԚ}~|p mBjkwa%̈́(]6H7fO|*fP3*q/"v2Ոp&[{pS#q9 u:akFF60Ed!4<_ `F~F29H` ܻ'ξɤ@}Y*&IUDפld=(eND.N/^ X^8lZ [K@kb8vJ8x9Qrͼ+>H17FE! p]oEb催D-nm:qH.".ɭ3Koe j鴗!&Wŏ2HyDmU`+D%bgs?1&v݋&$- \.~ 34ڜ梄!ő> "8O([Ѩ  boUZ=~xkl܂\Kw` yG&\I;L@OlGɁf$W/Ud+HJץqh೿m|GG2]M1hTLrYRsí,W D(;ύ=".v-@ȝL&r4a ۰/m} [VgqdOJ/{PKtLIvzo$`OJ<lx|Su9ki>˿70}[0ɚ\t0੄qYіN" ?(ۨR/gg͍)+qW#i 7tR6u5ЃAhkF>7B?ghN( U &_&xC7)ɞ r$c7RUĭK%h`S:Ttש{w?@m4e~s]+Aуetf@e烁LJhe%s:jH$}6#kf&B pKsabf!\۪q PL"*oL/bkPs{͜6+D!Ӆ l1?&J,v7qayrBk۳:Gc$dle&m]M/V7bΟ) fFAkm&)8gH㋴IJNUS[-(Oyyh|tH K s66zSJBM4|Z1TMsx{anuiN1y"CRi$χa*L|~_% KϜȫ4 M#rz H" T&AƄdP Ofv]?p~SS(&䮭;T-ͳSQ>ʇ(baܭ?Bs1NQY[|@y{ǡM҂ ء ֱeWG"1 U !0>Ak-Ti~M\(xn{߄zЍ_[#+OK|Gq.=dds^|6%m fE,eM8݋1v4Zi[mn Q%tyKV4I*ljI,)eL'syDI}@~`0c|&W 9طfk c1I.{gm Y&r&"K x,~bliAcCuvBZ3M#iҴMW @S$~KM>w3۬&ζ`Dq@ݱW}r~y[ :*m@VF\'=&{-;Լ(=ܥs5""F1-Ylme" Avd@;)2d+-$5$Ӓ}INFz,k7c D譪 i'jo\)ƤOgd?,ji,`:#UE*>wȔ̹~%}N|I,/yqu;UszŔd  !B"Y5Q"NZJ*/SV4 *>"flkv<3½yg +,^zKWvvpiW,ޭy'oV!JmC jF=ż<_&ADI͏D']eTo1$ű(G]&jݰ!bof*p7{J sy9>ID[IZįa$5'= h8 6ͨJ**9gYZ m ~m+% DKruskalKruskal.Kruskaldocument.tex7zXZִF! থ]A-MՋhvG"uIBm5^eW>2%RWtu`o{?FЭzy + p斺dF {뙦)o:U^ar:z=Dy.'#gS~j}\Oǘ`s_YLpo*z:[H(9K-$#$r#L$AKЪ@rȅp e]"~j7RIvܗ_|j_^QGEȯQ+J;#Gjb0yҟ{zMMl4,Q *";oy ڛ.EU\JHl)aC>_s'[V**KP8߫?io[ܥE}5 t\>RwXPDٿ\)"sj!&\H?XV#yJ +9bZwHucd.2l8VgJ5^y!GicazVĬe-k?Q(̡lQP!nKz:IYk#v2j _ AUL!SˈyRqg(n 3 ZP?ϫ#NYU[ΏE[aϧ7F4(<7 z**}V0n6a˵2ͯQXIDn8_u77ue|QQ8l{ .нNMUɄ֣mI-/]]/%3'qy%z(98 ƾةCR7kPR\9 nIe*Hn>-Nfn \2 (+|AdݛCKv9&d?R,IB꘍ Bؠ τAe'o=1=(V0l"w E% KruskalDijkstra_Shortest_Path.Graphdocument.tex7zXZִF! ]A-MՋhvG"uIBm59! d8 mO.,Ve4&Cm"ȪJQԝDl [:19c֐w:|\Jn*qq1^ ܟva ?HW}ʾ ʑ fx Zd0v XIbz}$Ƿx&O[JA%9 pBC (Xͮg&6z Cn3lj:ٌӉE3e D!"5 ܶY{[j+Z2@1T$6ȦiTcǕ33xL3POeF}Qșv<${_-z f)B"j6=uF^i, x[1#N9R91ay8!3l}N;!߷BQrXNՁ.}!c'HDHr5aG k  f,"跟T ~M%@8B~|>@{Z[ed5ȹ'MѶ${Ԋt^) 7N{eR &8Wt=I`05{x .E"M Rͽż(KB`#>Яb ðJA$2xbFNSK=e~ l~K)s_H\fQg[P -|6Joe$r1cD6n齂9x1Da›᷒UJ6}Y4B1fK RDz [ /oɉBby$4wO+C-nH`CbH8SD'1ڠBvjCJ 77!Ӆ^Xhr9S(3Y>q JZce%x!CawB:`̔9 >,Pr$jdśp]]F~zVP5L4ӤK| *%R}VE2旟%ڣ)U'( h8k~v^w)힖ŝuKZS X?iy; >N_eDrj۱P7^铃EwPvJX{p;Ao!u ,vT|G=VDZ~C\)E9Ehzk?7L$'*Fy zxɱ w{k _3~'>y3t,֏>4PB;vrNS.suHdC6UVI􉲇AV~⫖tdvahNxJC "~ DڂW- k_7l&ja+.74yJ}4 ~\<`Bi[Jg({?HE0ZYU98KŅ_Xy=/, ,~Qb'5T,dvP*Q[ jR *MgȦ lxE_ FPqo/0 *2VAK졯}5M^l+kߩ?M#7J*a'[}{lIx5Bn(mf* EHIIOئƑO8ȏ2 8Xw°ϖI{O]BB l6wCɋ0voDwag^g }WrΏ秶DKl"y\Mhb?W$UMgojjaK;w?ur8Q5/>Ӏ^=&CJ3eD.}{C$%TmE%> :0)BR̳&C3ԥrmμ'sϒnS4՝HU'*vxbR5:萰x?u8?65rR[_FX"68mi$__$k[qb[gag>,PYd+p5 ]M2szNI粜ZȀe&/`Ԝ| !u5^ezs9^>],TˢK cxEђusvݴE%C7> ݌Fg<3ձs39BD~ qC86TC.8Hsn*VšUgVS~ls=Hc.?M&h7OK,zu֬{G8X^{vl>zC1; $7,-T=I<P^UhE;3O9*}4'hp箞MޝVni  &>n jFhQ(=,!%ۧ+1D_}CU6dHQ%76Rc;Wo)OP~EJ gq%T˾0zqmLq,Cٷ!gp=NI[jk#fm~W#u22gTp*b!fNvk:%׹.z[tJ[Q+$CкݟOD,DuJ36Adqʱ;VIۺ&ʘF3ߑ 9OydhCibeM& Ȁ RX?B4n 4ۯoB#YjZT"LsLUP7y F:ZqA{L}wA]=O%9ƯJ_^?E,gֺ4*2ƅ빱ouM5?2`~&?NF/LY{=¿NJ%clO~PLO(L衟lkE.44K > "ѝlunO &_}BdֹQ%? ڻkiL5P $j$=rg>~ւRx.+}L*;F90ڲSaW*`Vsr{KK@ 1ampzu4TLZ4;ݱ'UY ,ϪeCMŅTsbp#˳DCoԺ;1iyZVgxgqPsb5ivog&Any#vθ鬟9^Wř,A ,;ڂK_}Uv[֒MMCPeab['`07BlZ;7H5fQQkq0_sVY'л-H!R>od= K=gh',wuނGʗȢVQWC;{wlu^뤱b?-uY6{ (1KxhͥQTv7Ӓ*aqHwֶ0OoF~I!b`=\%?ZwT*Z LM"7DOz!;ԏ{ϤM)) D2tІu+KR6zW(Е5H$r$Dؙ%< }'ꄻrhQZddYhXɛJ0ǘ 2m= TyE@q;uR0ߓYNPC1lywΟxKw`/(|#LB/oҺoIk`y7PwbU3xTl"(TH|]R46&6x`1OYju&E+eVz-:gv-RTvi#A-G,30  d f8D5¦%Dv=QQiM:; V_w5gⷍ΋ !nSB=m\YM5hJtp=ϡezNɩ⸓N舵by2 ޲dԯZ3s{+b)򒧰6TÓ:l}I>yL2 Cji!UBJ ؼjZ dZ+m(Bjp"/ZV O-O!cAQ^ҋ *_jJoJOz0ئhe3do?{>C>Pހ1}'t4B A19ee"kQ_(KC7-Y0 X)u$,bk8OV6AUiDqE އN/7/dgы%yCF %CeǥT-o;*ûB$9'~1VC&L~!n>; H`Wa$ys kCx_'DIF˔Ak$6k 6jFXSϸQEkǜ_E  ̖t(ʏ VT.we3:+E(`˟h4@5:Kxhvb܀~P&fўaգ#}V 2kߢ?&iO.TO4iᲅc! kZK:D}rcCCGxL -%c:.[Յt!P^y9ntI4i|)L+x8/߮'3g>yf]KpU{dFbPڑ9"2';5k5;Cx$`o؇i*of }AhJZ)9? MxYSw],(_-`00Ɗ#2\KPC&~t\[JlZ`HLmK*r*06|Я/Ĝ@ČpC$x3&\^,'ޗz1]r$u9QLTzl%G]*CL(uF"bC<$f7*j{Cy5qtz|r7bbCy,t;i~P| رG+182gDȝ\,pm;e_BJ,s3%[vA1uBs ;9S1m٘HWgYZ7zXZִF! ]ŗXiɟGNeAS@\tRNۜEN6oi/ibhCUg6zÿ #t;\A(8{d$T 8&OWf"oퟄ:.Q[&.4C9QAG ˖%ŊVAWjہ)< <0cQn 4>ֺȀǏk־q fgYZ7zXZִF! T]ŗXi%D8X<=K% a$F>@iu? dcr FJ!n ÊJM]cowmݳyoPɍK{y.*P2xXuyCXH ͤ)F+!@6 ]ZBq+/ 2y"&]%T% JͶ/E ]'xMy^_b8Uc%uy J ld3ꂜ( &ߠhҁ,zeЛ2E!uh5/xfrԏ$.{&ԱvxpiɴA ތǣuѵ?{C4Xf13DQÓELPWO!  uBja4"1%рjGt95u1yxe~i5J䱋j/.Y~]GOyLR|z1FaQ(#nZsN"zH C!= 8!W pC:V /6?mE!} { ݗ ;g&eJ"VqPڄ؛^'[!9rw;k80rj,1fUfloie [ :<8+_9HƗV'P4%ڃRlg;tHvY/N$BtV.|E@?7"woԞ^fBK۝?1gf~$l7R)nS$!8N՚i ً!sk,wپb!X=u.BN8X{3Y5IqM /:ןO"_7GOMOМRȩfFOnx͓πUpE.1]DsbWN5xMmpYҋ—?dO|?\dz7|fh?hS7KVk;ykݹwLKDF (8DqGCᚚ D̏x.hF$R4{~U#F;_qb] ~ xv1Ƚ`< 𿩊^lV檪zAgT ;2 $G^7`Q E w&_,:H_]jr :;Wem%ft㩿tʠW$CDË壓އ/ )Cև`,`@"jaf~AclI# &Ơ#K-|H o?"E,5^,nj Ypq֘e',MTCT߽s B {Pol \QL?r 2)䧇ma3* ]!rOx"IQ T#ژc6lc=.E>'T~)cEwdο)hHfZg] Dz" G}kkP$"ƞV@tHS7TѶD|58R1w-w_s4]M,]ĆE\tT>#ـ8zo]a W|gq3q7ՋLEKpTsU0)|Zw''z튦4Dj[ VEM^C裡2K.)| 5L/sb[V< ֫ #Y>/d}z_чԮ. U'13xf-S!J` ,͘LC%/X$'u'.X5ְRe}Xh.͘PB7T:KP2hg:~xv()qK)!'nD 6{QOr~tr<eT*2DL۟Q| 5/x$EPOm'B bV)Zomc$ X$uo<\>J1 C|bc&sfR[WtixYA7F m ^.c? yQi A6{>B*pK̺jSq.&]4y4dCZiDMcBP}ʖޥH"kBhEoIw} P e{HصW7 =%3&d)tq+_O*jXU|=:+l媚f 8s~NbU ISňTc"s]Gw*VD+T-+%×>>xSIJn%\ F6ANN)zGZ,DVB9d})4P .΀wT h`cb ,")?yuN5 MofT* 3EYPIps^&cgр-9nÚk,~No-/Qn`IA8)T=a4@\+y ;ǖC!A: jHQX8P`*kjg+ٹhxz2ꟸ|`ӹV 1Jxiİ˅+AmSNvn "u%nKB5@ʄE[I tv(*Oqs {6nf?4u:DLCX?+ؒqRKaڢљ>ljowg>Niaނ>[U&W^TIgq+{վ9)XZBQ0؃E% aAm/-l/;Exrf$xGo;r0|8ʙ. ?u~CɦdsW;7'NkUF}g#vCBR!{Z/Cdpxr-}z<|%ߙ]  +=B=L_f{0 DXJX̺ڷ(ۜvEIHkZB8D6 {F d<'ClPXx&6(@q; ۉ6n>CgNU0Ӳ et zqGFl}w=N8 'eŋw Nm? m~cԏJ!v.Yt'אm8!WǤ!Yq_t磔ggZ&Qd>q+%)i 7O s_~3X؆,W A L/OMWy5ٚmEa@샕@DbIw6EGc@z4d+07B_>^k~5*3Wo8E>cPs4H+1*QrJ4{Lmq"6 7~Ajߨ*F)jo7yst0[95?rTHD9 Й]ɓ,:ϹOԟ@B=XĐ,+{3=i̇I?g$GlBgQ6I~!#?/9\qo׺y?dq4Sq_;'Ȋ`B_6#WL$-Rlb gˬמl9\Tv}}-Mj :,