SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  , ,I3 4 ]? EdmondsKarp_Maxflow:threads=2elapsed=69.027cpu=91.908gc=4.108factor=1.337zXZִF! 87]ŗXf1-/6vRZ] 6.Г4lOx\69Hg][7i3Dyx/~)9~l7(ьP 7k`4҆ G&ڲ0^J# TDܡ-?/zfS=NW)prl/YSk't\ SICf4D3F hǧ o550KPY)~AiDiCKmSTl~sNM(xfӊ\${[eOZqԶKw𞂇4I/XI "n|A-eҭmKFEjN> |=ML/WFZs(HVLc>)*w~D$~ZѤN ]~^3[ĸ˞D XG!0ˣ`nkDԬDKO*2˒̳5rm 0&HRZ4$QP;SG pVqz CQ@!7 졏UEŁ>X6˜e1[pңTi}8f%KlSz8gb;Fm%+!sdbwewmmlMrP|*Ca«Lm"eR &@ț{AfAkwp<&<=Z_L" @ qn̪6=YF oMޱvݯ`9Z_m90f'UAt4,4N2j&?\߶E߰`BsyF$O>,FB.j`;uQWxa`§$IˁD D)R3?@:G2dog߆ di3fjnsMb?{J*kdղsHDAR5v䉣KDQ~jVhSҲE={#Ł2@Hߐ)Y"F`-%Z"uk郳VM}H`CR b?PO&pN}F-E_[:6 [ {=e0+yo5\}R.zehz5LzjMم}1L3{"H7 EL] &f!.<jC\r=BIY'E jy?WΛ3ieKvqM.`E[cGŸ՜\ij[uVMғCh,A n"%3(LQ`X7nҔ0Ռ'!j+3TB#.j$O3,o|R~%uDE`xdvRR@ @R?*M.#:TM̝`Anz1}J\V9S=ha kd_bX]h 鬫'yb:J.}%|p\7dtvC0Pjk6+zML6SVMSNNȏ;ϩɖrA #0N6 ]!U򂮂&n fg,[,"쬘끙w g*,r [Er&=x ͱ_`%BEDPI_!Cb43Cwd=#%J =_?vWU{݁xtA\Q\2,kGi0 a򘡱1|N͂bSt7-"&*CNoWF{U&o4t4s(Y&0wjrA DxRU({5)iS+Ԛq1=a,Os٣}ƶZ"^1/;VW fzխoAYqvȞl ZoOGyC}*֠a H/sgO 6xa"l_wNX˅ ;FJE=K;9Dש՟9\C_NmD\%ƥ'Y3ϔ+ܜP1IE FbNT HÄoZSCaf xaf 8﷔d|A6JWzfb5o37<С`m>IirF;zy<6C!$=>h)N /kcj֎VOHonA>qS={V YvHӧ0K@4h".Zbik'H[;cEu'OBJ9$0l2k >=բ!Me=J2?zh^uw:j%M$5'J]NA:V+;Ȥ(aSx7(`ňOj4 V1 HZZpvz[ͷ{ 4,-E4ݝqrC5,Y @Kĵ+ ) L0%8_ٟSBtHMB/U,,񛙶h&pdbГiUYU"V)gr;-imo)%!Njf:؈2⎔3P 6d\Ӭ5Г#RHTL?9$2Z0 fw|uJ8mz3#B"?RA2?]RXyeϠSKk xbY܇@F«V1JQPn5%oxȚb8mj&WVjsrk$|ΟȮt* ^Fe<'\. 'K F0ãOAXqZD r2$ I}B(8pA e٪G)|$ 5$i{D41feҵA~Jpܲ+W8dv^ .ui?⃫A Z ] My+~}ZM˓V[X6Mv ݱ$ lD|3V)~.zc35ވlUY-Vuw(RlTi%KpS_x=7왶{Ӭ|^vo {Ν$Fߎ>tU=@ >~X/EwrClޖu+WCH\> F(EF 6SqnC;:;u8B.OX\J)[*)埀CeoenŴg]B% _HVح'R86zf`|bck]Q7q +O,o4X-PSޝLdI3+6ĭ:SzS7=ɎM]"[{0*&Rec.;S\`B(苤=KDh|(w(n}N% e 4Ծ'JAY˽]K$ Yug8ٲh sq2E5h X)Mfo\x5u\!OHsE61nT\J I(,ԩuf($L([[sQɠA*>u !rRCݨT<@ꚺR4hx}Rr6íު1#۹hM͌=gJ^ESskB~jl,Ӡz¤ g{#M~T>zZCZ`oi==PZdI,?UgkǚI.\ڵ8V HKUkEnNe&mmL_ &0΍8 \ر`y7@E[ b= )kiA>p`2J ` U,k ĴG Z4ђP/Ĭtyb"-ɪ2vjN[(̖.otA#@&Wu [q,xRҹ&s@anA̼qzttz10 A`HlM/_nJR k,r+J{VՉ@=G8 5^0MQN(r<~IEҲ닀K/}49q7!mDQéTo,n;"ܓI[,/4诿&y M z[/ ~+&VGFy-gjԙiQt26&q]NQX`*׹}_L*21; |2ϭ;˝ Yp؛bǦ'[p1J]L8tWs7F&~~G*UB5 FEj$,lvb+Ly<tF?SF'Ճ| a'^QҬ|.v<6!,}Unwصӡ9"ЃtT4bԌ?,0iƏ0!~v;l>V(*E[bV==l:_̶<rSJ2}u;72rx|ȗjת>* q~QHn~ ȠTȄPD#T2O Z8m?E`7#>Ye䭑e`DZyM0/:}t`mX#. UǪ2˦ȭ3Nݍ̧ msQ7"gF Z:9@} *Ѐ +ߵ񭆿N!a4L-N='ǭw1{kЎ/|&[]uzHr)~9MtŖEQkX.!a6Z ȱg79%RF"=ǵ}]s* T2i6l:5@ 9ЧI,Wjh]E=A: :S}W=&DpA!xH'TNc+*1JɪPޛ9 S]w ; _N-icbAOԩ^s\N]գ1-Lg¸<֞ƅ׷xAbd?=YhdC?Ê#WE/hY܆z;F5]6(z;| " {3B@0GKwTiTݐI(H#1ⰀػϯSFu"i' Uml%М9xſ<-Si:~[Pԯenm3 \d&FrA>`D.44,. Vvc xY]lKiqOG H4p3f'_ h06|!|-#VnGĵVw]5 #G[YyMeT{8JUf\Ƿ'L15UCORieG(;}9UI }ՀҾMARd @Dla$<.޽}7lG:`k;AEml`B(Y,&n2H2Ӕ*;L"p7mW<|^ N{ v"< +Mߣ T8dcy4oB Ϡ32wI{44&@:>=%.ɓ+:k,]Yrf?zM͏|XؒY{:28:;%Î/s33KX8η۞s@)Y.l ;o}%YLi)>!k1/0|h7Dރ :'5~`~^eH- ^TN2l6wIXY*6 UV?:m4k^u 0܅n8zj`.}1YTdCbD !ZTC[;w0 ¹iz'P:U=a/FA C iX ,Ɔ߻VS~*M>p&9I;a7&Wu -SO:D{i: >Gi=ңzh} < sj+цu+v];BLpo#3Xkqf%TW.3̃Ns"1g S]Vjm%әn{g0pC#xj 5ީK`fp n\Zv\љwy;)DOeZnV*pB R_t,D֒ !" D}|/`5FU2Va`cq) jӓV}t1T"il2k+@} JWou=O_ozr :+qqo{DTPf!C-nf{FoNXLrդQbO*tʧjqL3ͼzJC/S_#!f_ZRb=6ꓱuUqv_U)(Jomb"tL|u/&̢<95_NŃ Gs{i;0 d[ -AcDZ=^-qag[2+NE.տel!4: (*ewʘQMg'žgoZUVEC;++?2̪7y6vݏ>B4A~1,|aiXt,-߉׷ 0Ӂ 'f4!Xkv,!"Ya +0 n'6"iI&k o.-o1;)AE+2tEI ĸ*dz XgF !L@YVzOl"#^Ps!M'R{ T#7㪗4%LYYT ,ȓi.{ ;PF[=;ظA"EM_ƍ܊? 3TʜnC,@*KP6 ~*vi $0)v=Ka~;Qa!CԱG%1`Gu' y#[ăǦPHNv=liqxJ3Ug +ُ7k*>K< ɞq&{)@dZߛ>MS}j1:EwUNNQ?d}&8!^<2>I$Ɗ ` LR+-qopceϒԃ Af#ϏP0fE#}IX*Ugq2aRK"Ca"(NzW zqg%Va4kn"  =+D7UЉŇ^zkc幯m:;4ǒoaYlVD)ʜ Mq䚟^u;jJ"|ASƱc1PDʲVmfLvau7tKp9@ar sg.+ #:Q(F?9ZL ߚՓ~n0V55(]@Q1"k?}_-=4*1YD%qS5v]:ҳ=AVJ d>q }#ØkU#MqڇoSB8i4D+4;tHxz GR"g}kJq !FC kkv'0>C x Gx7[p墍@"|H'$I)Q|PUۧ}YeBJ4lTU#P-U4"~fPSـب >& RRy]v;ȷp$݉YÎ"mom8u%Fe#ʫ\,y|ZJ XMʆ+Ƀ D"OEnc$G.A/}UBo *=``28o$)5ZɎ Ƹ}X$EC.o+}`𹪷pi}8NsѭЁi&i 2 UO{o+~Byzreie&9,";bƚޱe%LEvZ$7H͘2BUugYZ <ƦΙv]pfrwQFϩ:PcwV?{DDmMb=\U<1aM 0i ⼟Т| ߋ!C`EAcyV ;dSVmE=P6"8/rPʪUly45qYOǣ4[; _4FxfޥX g8&pVeI!ڊ0666~_1 D&3h1 ^jIW]\%V L_Н뎓` | #ЅNBnX'-X@/j! j6tq%.*:_6qz3jaPVsʫEԜиh}sQmUCt8b*j6rXM ͼn./"|R*œ&O'r hv;%ev$y?^ߺkH#wk)Bl9MQS1,l gVHNWM|#!qǜ]&>jWzw?i̙IH> 4PP~hQ~ͪbP?Sں ,qU,bPg5O]KkK tWFLDBH˖/n˶iA_+iӅs;P4uN`{W4e3㾋usF;YZ7 lB^׍J'= f;C>(@MZ6B=]R1F0<}UNؔd{>+,-.qNTϩAؙp8 9P% "fG!vux*`ƽuHԐ]FvGR/:o .d%P$m%Y @/wFw/I&IzىN&yUkl1ܬU-VwSEԛ&+׌=RR蕒_ez_@X7-xar? d|s;TGe[HYZf`ٗ+r]*뼕VvE!1i}!iq>@)0)o\Z(Vr7XYrz06H<ƊU$lgf'9Ap[ ]c@*ܸqD[{bg[PP3>vOOGD# IKQL v`?'ťq8pu" /_m#6"_R}(:-bSЈ@ɗᢔi] 6 +)PSmNqݑ$QJǸzR;UթS2Z5氭4zQ/{GN?WY0 :8s 8Qe8x!]N۟=0W: zEĪHusgSQ`,L*^}taeaPie<`^юB+?kZHQYb8D]Q`XvF#_lLAΉ`Pb,khB:k4O e 3Q"kL!F)%tØPԭ^2@匇7i,dXBXT*~b>h>m>=IRtrpdZ]jY@! k6ݤ%)ū=ձK$*XRh@]5\=+"9]A aǦ 5&( GytJeTCAlsdZS)KA 츶\σ4е 5 qEmr/QHCŵ V/^͍Ξ*[ϤQ]nU9]ّuAi~EI6w]T/lGvd`=f%UBZ\Eֺ04ܧIy`#a<)F1/՘` Y!i4a}ı-%X EqgU󬞉OXI#fUW_&М6-y +-cBK--O3d#YlI2/q)=q5ql9;}\!"p$F8ͪ=]?C B'H`ť\I]GH/>5-"B>> #Ď<5k'n=}*`H6oLNѳ*Z?WbqyRG'հeZie~PXxDi6ڃfr)ช 1>/3{!Ԑy7 Qa_Q[iBcu/E@ B|s8w>yvq%u0_gXȳuSwP٢hf.؇iu3rJv8eb8LW1|-ygOAQq$jpOķ`_^^afel0s*$&zN'Yi{> `T CS0JT)iz{Ni7@جsvUyptfR|'j w \] CgO|t>@<\KCvarRfi]^0q6Ɉwsh_ 1j$'\mBr\d#$"MG3$a)2͐*t֔Gf:Qܘ^׺%';=vx&}(fi:g1S: <:pG#sxrwٻ*a[D(U"[L?5huB#J'JQZ`0ؙeJ[=\7t bJWV9hoP(l7%;~./F?y b꯰;M*&BFaם~PX@ҹqljCY:;0΢*ZY3E`*6x|Ozc'7p}92DlREVsWdL&'6͉-!<c#J` \^]dz?4sgίzToC7%0Z=8qmqO4K^3Ov 5Xm(VI6(>X2$P8'KH$mYS :+d*A7R_ ѡ_(V^SDFݗA[RHJvpbz/>1ml!WiT$9(.˟*#*չYv\Cņ9oWzP! 9SUÔ4 .)rD uyWlN rM@^P Oٱ(%ѓQ Ke*iP#~jA@\±Jzngi^8$RDy6Վ.]khN+ ~FEk8|^}\<PJn$5^tXR̛|L՟zDUwUL,EzMī?#ql!t_<m.lK0K&h-*̳DɽhSG, ޴p"(IE/{v-_ިNɽ8ɄDC`].X>6e2deܒ)MSsV&.b#xLT1$G}X"Ě+:_"9n)h= 餬'+ B>!PKۤ3ʦTDbs}~Xף$_[*0\06(Jy48{,>_rH7OTɭY8]JQNJ}[iLgc='8B-*ܶL[d&[6 eNŮ_sj:0hu'ޢ/AY 4-^&^7 a-= .Zs-x,~Iu=5Yq kn:Qot:5 ͩ_7LJ` 0b([Etq91~:X6-L A&yc'CێNiguʆ-];:?ISN%O푐FA 3~W0#&f`ƌ jà/Ml]8adF0v = s$Lr"RZ{s&l5{1ٽHF[gF%.?5gRUt DDp[eWsILST T{vٽJSΛH)gf>]o)}Z9Jx ѾuL.O97K;eb$6nK#hC q^y8ڀB.5E)@`"v)\ Yh+\ BBv! GP]Si>:Uz}XiBcɇ7nؖdXl`8a}HPpNa1cI 1 Q$4Jw cۖS3 9SFOᩭ {mj9pӏPtvs'&PJ<K4 Ki"zJuęd3$c?ĩ~hdr,7O5ӂz.)ٯ!X" ,1hX.6"3d,-.EƙqX#6Oޚ|;Ė[z&F17f)0Tߵ(@/ 0֗[ι Ơel UG.eQwvv1`>4+ :!^HbppuEa>ޮy}pXjB$ 5irK:`AJVe{֛/__eݑh|b?९ 3ə9yj8ڮ~db,N|w8zj*K(ӘƬxI46sTvy7xBB/l`i>˝B(]ca'GImDa:Рi Ȧܣ af z $r [\rmGy>sQl㪁 =*[^pwVxs+u$mAΤĪھ;U {ÖY'-}]ޜ&c.H+qf=(6&bVK#Ko1vGBZMg+<5@Ӏk-STh pRo)!3Ð'paxi2KߚNYa(q,hIdWfswԫRI=aVelK̝ ّ4d9DL1YD1&=b| cfm,Q0"L0[L89 -;ry;nL?9b1YP[UEq;V;Q-|}J jl\ BcQnb5=~bkQ% *}:пdZ ؗbE箓O'K?@9˿Ǔtði Gu3d~:$kgoLw6i%P!x=O@-\sc_Rc6ɺnN+r:ݦI NgTY …8j*̐CRFʙU'DR^/P{^ХV > tx"ٌEk9)'ů1xBHujH"Gqn;W(U索?҇RG.{_|l9."aNUn(`:|ͯnhݣ{M*Rv#ܺs&u$Hn(bL yC {퐮s#Kϱ^`hdKlI^ 㾤_cS9*0ȅj]StMr*Y{. ƙQ-TƿߧhVĻ a'br+ajY^P|]Kn٨9F,Tɷg8$͔o 9>]=y< ?wF+|Zq~z!u{bfM6HW l-ߛ,Lʦlb ORKh{yUO]_&<)f4ս }jiKeUHm'Ņ$KJp|n2N^bgK͊v;7qEtL`1GQbwI _ u5\"X8=4"2^<Խ"$[c*SWIN^XkENoJfZ@ $[M  `(ge0um'xMz %ȫA͡Tbe#o unȷ/O5JD&QHdYl4@V#-/;Ifr; DcL'j򋬶9"kF5pE4pruXoor8;nr{LF'7?:bJ9׿ջQ]x¦ }8ۏy'U̇^f {hBOw'I~`ak/O:`q*´X:HU5 o`z+wΘ !!O#34eTl'`z/'W{nMIjUaT|2o#mMSN;E0gei](2rvzڄMnIyvFK`)G,\,ˀnb tXަW q)2\њ>+n#`۴CSCՌ3jB2o&p_Trx~?HjgHCJ$%@<4űRlRys0xC=<fȘZd=*G)1`U]k)C+!=Yvo'dO?D^dmAP`̓I}d8<"0DgI^qD94x{6k W螔g@Us$^HK魗H^Ɂ"-]+c:YcvB;Ef vF렦pH=+1"DsQSy7|:7(:77CDTm{A[&:Uo a!:,y n5 Z#* M[zHSy`)/0UxGm߮5F1?V;s uZpBTC<$SrpfO( L7zN7c,HSa͸N bJzXg+H v |asbbϙ<%=%gkҿάj_|D#TW]`$G6# *j kJXGHձ%PM· %y)?gˋ8N+j} M&~4+tO<Y^0x~x-'[skoj^NN;d0LZRd&M01e'+x*hCO3}wu2hXʎR߷R v`H,Vz>z.UkTJ h]CӥXY "9ְĶs~I{?@ þ+Mݴ598J`*81;],W:O:鎅pN $[-=J `ٸ "('QY]ήZSސ:~B, `5h: 7b+)fuDUJOz'=*73'$qWsߕ%!D".9fҲ]v~^lu+ZfcOb]?MA*J#4=B7K®,}XZa$&qb%C| Gڔ, _ha9w@ C_r{\P{SΚFZh=MO^jpoQ^(Kgi)U&$?PTj&U c[<_1֟P(:ZdZ(:@#Xj=_i%$_=<=|HQc[A4rvgZ^*X+u%̜ _GK"$vW͘j LŸ$Q]6=Cp]bq\vʥ9a_uO~kqzzY.@wť_:+@f޾|Z+IrDN[}c<_Pg_X&^$/qBs 1nZ0Շ]޷¼TC×7D./E6mDOdf> s0HwH7|?Mh/F3^bA.T{kŢ"jk^(_LI@U.": -f q..T)+|=;\s}.f z}OK>007G)kgүt|֍J&|o5U@E2) ,[4pv:CFwەڧc@uVkL[f=2o^Ƅ/gs{S<#z9Hhudn1&3AA}0ɣI_+EJ}kŦe=tu}`_9>x›Yxүcw?`ڪpPI6 -  cG=uR^q{5 GwY^?̕;ph1:}iҧ yMa,Yss(f)~#WU B=H K s}fǞ)52L0a؛ 1il[4>԰^DN_(>dڵJM0r[(Nkthl5_+#t$ *.0OnߠVԚj&7$v>9hoʼnvD'k*|PZe_ 0j(ShX^:q'{@x2vxʍZC>?l4h#]T+m۔4ɥl) I%#~EXVDZ&HI 8+%B$S*r$0QŮ0:ZSOwZ ]|}5 ~U*j/Ԡ0ϳxsw7떨/NĞ*.B5chT:@9>ZBo=w"sq)-RǥPeW'M  O6-ű ➽MgYZ .3[% LEdmondsKarp_MaxflowEdmondsKarp_Maxflow.Augmenting_Path_BFSdocument.tex7zXZִF! U*]A-MՋhvG"uIBm5ŌwzB&-icHS:~۹ac3V٣>Z"uk郳VM}H`CR b?PO&pN}F-E_[:6 [ {=e0+yo5\}R.zehz5LzjMم}1L3{"H7 EL] &f!.<jC\r=BIY'E jy?WΛ3ieKvqM.`E[cGŸ՜\ij[uVMғCh,A n"%3(LQ`X7nҔ0Ռ'!j+3TB#.j$O3,o|R~%uDE`xdvRR@ @R?*M.#:TM̝`Anz1}J\V9S=ha kd_bX]h 鬫'yb:J.}%|p\7dtvC0Pjk6+zML6SVMSNNȏ;ϩɖrA #0N6 ]!U򂮂&n fg,[,"쬘끙w g*,r [Er&=x ͱ_`%BEDPI_!Cb43Cwd=#%J =_?vWU{݁xtA\Q\2,kGi0 a򘡱1|N͂bSt7-"&*CNoWF{U&o4t4s(Y&0wjrA DxRU({5)iS+Ԛq1=a,Os٣}ƶZ"^1/;VW fzխoAYqvȞl ZoOGyC}*֠a H/sgO 6xa"l_wNX˅ ;FJE=K;9Dש՟9\C_NmD\%ƥ'Y3ϔ+ܜP1IE FbNT HÄoZSCaf xaf 8﷔d|A6JWzfb5o37<С`m>IirF;zy<6C!$=>h)N /kcj֎VOHonA>qS={V YvHӧ0K@4h".Zbik'H[;cEu'OBJ9$0l2k >=բ!Me=J2?zh^uw:j%M$5'J]NA:V+;Ȥ(aSx7(`ňOj4 V1 HZZpvz[ͷ{ 4,-E4ݝqrC5,Y @Kĵ+ ) L0%8_ٟSBtHMB/U,,񛙶h&pdbГiUYU"V)gr;-imo)%!Njf:؈2⎔3P 6d\Ӭ5Г#RHTL?9$2Z0 fw|uJ8mz3#B"?RA2?]RXyeϠSKk xbY܇@F«V1JQPn5%oxȚb8mj&WVjsrk$|ΟȮt* ^Fe<'\. 'K F0ãOAXqZD r2$ I}B(8pA e٪G)|$ 5$i{D41feҵA~Jpܲ+W8dv^ .ui?⃫A Z ] My+~}ZM˓V[X6Mv ݱ$ lD|3V)~.zc35ވ_8F¦{}CIU}ظc!;|So+^A:L]!F?-,D: }d^ʃL1T>hb7TGU7& kMNͫ*pϬVW)G45tZQO%QEznF2잍VR=-ON\?q"}F2'YFk֙;E@.fS|kÖ4Y -LA[ss`<Ш'\a,dDf 8[5G)_ag+f]4gb\@ R~lw%,U)d!-}+_q-: ɟg]ăy5đ9;&yUoVQ6++"l:@Ekg3uEOeu^s}ZׯҲ$JB{φbt#9LxE<= WӼquInx< IQG7F}8dYnL=/gDe0kE3?ZN`'QXs15n1S~XGe?fWf"B!]xO}oz!dOL$E/\?潖M'K1 Gqt| pWFX6f3؈V>4OMI,L`3w썛$ӏvX.OXXuhTy۶W*nHtQ*7n}J" Z) !'~ ;pj#4:]L ]֥]t/' 8!߶ \=8߰],#mJ\t Z-+p]sVn;r}C:[y5*5Tg=H='Fڕ7!Htx^r " O.G \8O60PҚ/ʬ~"B''躽v@,N$ TPr QOUnO-1_3f0N00{(=xQ 8k5YÞ_U32 !uڢ_l\_Ay'Ln% (c]n7 _S,[Vk q1>`*ŶJҦ>j7c2vZq}"#o<둎5 5:c< ?ǁ^. =)&܌н_x> "jDlʄSZU:Bc?li,:Ӊ8w-85+\P:B8.*!X\W?zdhc1`ve~y;YgOoɖ.bm`mk9 0̧Z:%2QͶ~Fif~ e84zW&4rFFuǻ 1vwkؾ݌$"@'%9=1؄U̵a{i ;һG+aL\ubi׌yPULX4k< r:"gj6^a(xJ$Ӕ{κ^N 9:*Ef̹]Qp+%ef&xV}=U9˛|ngdeMGP ;#I%Vɗp*9۽":2PQ-Y.r2АۓznFޭo+˲1fqbH1!%QDn-)HU/FE{ۢXCE Z 5; 8?ęL-gn/Q]S/Ve,Dv*2KHxȯ۞*v N/̵A`~N+ H Bۻ*LQk(ě]6+vo4OG?y-x; |bO &|ؚ{A pBBt~P5:k\+8.dX$өdI}Kn?hѸp>}qO4♈tD.%i m{_HO.DEӨ»ʘb=Y2C:3NM^\ӱU[ Hp!Es]Ta`77HyhBW PnE`0/z]G|_ۯX$(X__׍iE]N{}R)&"".Uw.@X'W*!8 HPj[}́fXCF`aGO){7BrUW,{)d뗈䓣. wvfP\8-Wj̗+Xؠ'{ <MAۣA/uN.肛D2;YQ5q6Ym&+ ]ӽggĤea5Z}0>:٩I3E>>m ٛ#F$*.Dh t@1(Z FC0#hD+C`Cp#ꓻѧXIOඐ$Kew)|SF28/ӿa^F>^o $aTNDc۝e6wA9CUx#M^17)I;t6**AA[ЫFh7_KaA_/E!tiDZ+'(Wq֑y V4Sk,j,G$pD 88zUT̪ݰB)^|+,5-4 j5! e`g8C Y+˥ r#yd- 7ͤFƽ49Pk|\1h_DX~ 0VnZxh2lwvUcR}CSٛl1BA. e㎻ff"N(w(!YY:!2*tMimeǖL&Sw.&v,&"1pEZ{w\qR@j38 h1&Mc7yS-=]`xXE~;#8ߪ k!@mZ*Y7;9op& h#մ3~lt5ț?J-pr}I5S-=3Eod3YZo :HJ;.Y1~:R0X Wvm. }x$+mOC{o[UAT.8 Xì{es#}{gO -/[ڨl: Jmو$(h_$D$Cߦ|^ߢO$}bim>{a~9^: >geTQxOi}/MXa2\t_7 $h8 ,@^ x|9AO&Q\nWU˽orܼ^?=E}4c &U]½urEmkzYu{o{ZemRmJV|G ? f%ul(ß '6߽K5ge\Zk Odd ұa(UM,%&pgJ`!<)!ESkf_[L ؓ+ ap(QwgPqtaK@x)6IhuL8Th O:M `?+az_V̖BtINH.iX!݈Q1^L0- 2z?P#dW{^dqS)PGvޒAsu%W[Ђw}DcZ*"Pgf>?Qc9 kFm'“;b,@jCb%4oCD&=p:AqdSQe\›d\aw Ai<p ɤ!603RK/,bODvjʪ  ݪ_M pQMl:׬r>r_2ˏb3pЈˍ_&3!gm<3AY3cnlEsꨍP2e\Zɺ Qްe ijk Wu!K13j uKMC0ôkB]?Hja%;uY Z*$9$  D U}V/ B'ztn=z/,mv9*`~p=+ Οe=}x&JQ ?jm{u#$hB7|WwW -WS`.2)4a0{i7pZ0 lY ]g~΅+}qbЮozEp(,@\q8 ݯ'fQķb' ~rbԼCHS=&.~&,1ބl)t)2],IIv}o JFɡg4Q4s\o "xl~^>>oƊMVT6?Ս=t929*PD_/fĹ5P]r+'T4De~5ʢmg΁EL+&Y8A_h̵ bu=$2/xk$Ql)<8a Nq@H@z 3|gh !ߛHڝd~I;ɢ8fRah-R팿ōUr=R`dB't>\@D¼iYO'zE;q>%h@;0Rv2sȂJ/sD6(Bcjc\ Et9X T}RJ3ٳ]ZGm{gÒ~Ȱ]ẉi@tH%1I jM< &^Δ5W~YY엏'9$c3[$3 ; Xh.@[OΣaCQ9N"WcnNV"F3/9ozQLo؜ BQNs̘X ؈N+;I3bO'|X#m a:a> @HS+wKhSPLv|Q-n3bn Gl|˖#^/'j"lwBu\kˇ=FͣH4CW 6x:wL$lv= w%Bf5m;|7YR³87YJQqfRKD`#ԨQ_;IoO+[ فS/ ;rmʧ0Q"kӵP_JKja*a4N7VRq$cJ&),I+E\seH4; DĨɦ9pG?Jby-JuFC85t8ٽd3h+ѣE;@v5.|t6Yt6*{ҽld^ 21BOTѼhlURUSpA@#M3/hQ%GQ-s auΚI!7ےBr"O Tr@(K`ػa6Ӻ#8W/ NF!حa  Ce\Ȕ(#Am1{a8ɻE]̌{4ҁOloj>xV@9AJ^]T,|<\ص!nd| 2jSr^6.גpA r#|MG1U=,A5CvSMBq)_O.4DKUt}=ߘ%l̩j&n^{bjɚj^6҇%Bl 8U>~o@ >Ajb~`'F0n:ۊI+9~kUkwC702~}A^Z5/BV}&gتOCBC,&nʫ:i)AvH.bh4y#{G_nROV7M;YEh0 :rTF{֋x_G>€HKd^燅O}d27#~qgK q|-'~YqDˊNE=e6Qu <f:ff;NQ(`9wLX%٦Q~zhQMhm @);3QfE%P{hzblps-7j#ʚqB 6g+07mrG\roM1b*%_Xhkov;;kp}BTNN),mY\raC#9 07ŊPaUWrjz)lXs~_G3W% EdmondsKarp_MaxflowEdmondsKarp_Maxflow.Edka_Checked_Impldocument.tex7zXZִF! ]A-MՋhvG"uIBm5X<0Y, CC6@9+:)8oh=%Y%k>^+0H}NjJ](9(O+Cm>SKw_=NQi 3 5I\nNiT֑֜g}Kivr Y j*~}Ҁq#z=p}Fh ;jjvx; :B 2Zɮ̶)=I8'-Bh;$e=FDUtaY?_{^ Q׋}?\-NIMY_dYE^j; -4 {ۤD4)EZnwb\핀:>s12՗T'jC>:(8ɻ`ñ Yq ]<ʎ?$23$A%~z 0+y RpʹmW &iRRo/Vp/0sI[(1AxĵxNB9Bc @ؑOB:AvY~GXݐJj,q? ^\A7.(,Hw@0#BQd,RB3wbg;t%Kˣ(-,gEF|P~\d:3}9Q%Mh%Сa(qd̞|KVAER "fi/JőY^̴ɩ K#_Ց0g8we=B\4@K`'?E50sӻ'SɷWriQJƉ+Nil|jutMgu%]IGKdjQL0>wɦ ִ-%D-)16f\bׯ 1|2ƹv6+MTC]7&4\Kull=' @hA󲪁'#MY7(|Euqp y,7Fh`Z4Y>$n_ )]qǍ3\š`_5NcN DNX}\6`M9_3J"Q^GHfuzefX tjP*ᐕ/}maM{]&^~l5,>I#Zu%~1j(˻*Pn~yq/"<d!A>G8BmRr G ٜ*:Ѷ!41x|yۗ<"e V8.G6*!n C)e4I wn YR/ &sݏw}ix@: ʗRiKʨ;7(DOHu3hF p ڶc;=6`dq9 &&'1e/PTi `}q1ޤI"}\r4c캞(OJ]˄R"î$CZ,]J"w\b4$3Hq_@S!X`: TLTtcA,x_MZi/D9[#ŮAn.{z0RT5c7],SэJQZvThAɍ, *O3`p&$ Ux"ECE{.s ޗ4~ut! MwН"~ rgGb2 -0aC%n(}JChXvR-Hn̏ښ :rR"p.fկ+==[{ab_5L,lNY%;>oh|Z̋)UU*4Vr",Uvqc`^hGNHjx!e_"%J-ν<km<2Q$pMHEa`K%ȍJUL֬M7j'SyCSپ;Z*y ($iV ndBj#Ú4BWx@FN@bs!I(=Ӻ{6FMrF`g%/Q5RŀFQ =ۺṯuzqxb,m{H9˩?*/kߩN%m h^~QC@ lΎ[^@ ){JBe\Xf| 1+Vuê1;܍݇wqAy+!G7ktݚyi&fvC pHߗGR@myE, ;SN?Ni\J`6 rqF`mh ey0xY}}ɑN(pjp?-}Z%սD6.iRDFh҅B +@"7R(6y\R"E-c*w@1"s69]sA<=hd?@@8]h:3x >T0ڢbUXLu{ j"!N*ǒ/=Pql'.:Fd%9.xSB⧁ []RÈZV 61Hѐ$z>C,vzC߮ pZ7Lc` Ai-*)%j_wNPHeߨD t`6&R1H֧>D2BD(;u xݨِ'1h=Mf?th:8]$wdny<ZAa SHJnPKmSY5c@ޢEVN9 *j'> *c[hx.eot#q(pN=q/~̊6f"SvcXSXyNþR>%XL lkzpdv0MP9;eJT֙P٤7Y™hSc\V,CAyZTO\ܭD'tᰖ>5*%G }ƑH2HP=rN$%MO"(aT/(ⵚE$%酕#3VMOm1'2>ÛWs| \!œbct]L0yrA!3"2іoc],Jkw\:X6z? rHn 6s1'V$./ڶ ^ԯK܈.b 'P/FH5m5PTbo]Wy. S}g 2"pMk<ͥTyskg3sMᗵÀ PelҰ*t"NY_vJ =濴ph$^I(Mubt hj3S J"!?ɱm4fblq|a1S2(0n)vŎEu~HdNj&׿1O⃇9ߦ~>*/AhF\O i;#3Fi{~|rjH:&UuJ&phorϯU !8?b*"TpPa#4{\12ߡis =w\8":mPrr)WXN:غȌ&+<f?B(v6z`A]w~*+1gHi1kUFhƆy "AhHR^|f7w 4.X S5sj|lΆ rtF!C- ;^'n < muI27%ϽU*&VXcɥU(>iV H;lBb띻 "BQ AO F$\/׸c KVh|=z1"UPG0*&ːe|] Nů?1UJDѥ6"4ĨR񕭕Eȸ׋tbiZgc> *LHF PC#,xmI-'hiud*T(xfj U>C %)v!$.P"u>.c4ؓ &y*mAEҠfjo=ң OQC*a e+dtu]."]җI@4_"pVSE܉/5Ql`z o iNxwQ^wվT:%RZ#O3,5qv2Yd}1΃sw>Da6sV0 uD b%Y߰vv+ȳC=^&u\`,o+ co/:9,w( Pi{|q'w3DkA˽rsAԠ+)PI0.ʴ"#0g;=! ֪ 'Fe|^\/~ |Fgx7֫ Ħ\p(Q}Pr[ތ7B?|Q~g]8ㅑozq=n[;9n0}2F|Fy)HG /s":AQ;J$q nIfMI{=Y@}*c8h:^.őƭ$xemvoU"UQA,05۸cST'Qaz8Š:Lnu &) Uȗ)8ŽqtIKIK֡3ʒKk cfa ab]?a}+^h)QسC ?[Ie\P @|GXٳOtL*o__;$sK~Q[аC/0#6VM/֎-c-i4,ɹ7dNvCSb4ZҪVU$:pX&[:nd`Ga`Ocf[ߺ}1L\`}[/ OFI(xp%}{O~1:rxFA<@2 ϰt[e0ENRC3m`p4qukVbG&PY8cr7slP10z*- J cx51R[舦jpm4$4^@oe9lFSʓI0]ҿN[V:xSv%݅_R.1kzy}st|@:dIaaZ,*xd׆jI-X{aYΉ>9gdTߞs+@.9hEax5];<0߿.rR_;Jm2K;FgK$4*uG3-u&g*|d]wcbHQ [dXшYډ+{(ψ{t1Ey_uᦑ2:[_ ͠{ w6jC!ӣ` VM^׼p)#v>2.D}rJ.N?e`jHIS&H -}sݙOtQ]лȋs*@3AjQp&1iu qfO3[4׈Ai;̧]$æ5Ĕ@Yʫ[;~6n lPJ)7&PzlxFHC"X*(R[IK̶P[.p W"[\C,'9rys<6in9gߛ'wFe\t>r/OJrc!%,K%+n@v[aHj4f|.UIʢx -+nOjyBWU:!r" *iC1t ޱOTOΦF#^o:ܻ3XBdCe-4@wZ=_%7>H$WII ۙI1.bN աأsV~7ky^KԵ_ U52fxq%h~$+gn3_1U0D^IdogKM yPH.E9R @ټBE [bb%XyGZ & X+2&@3!ޅݜzԬS;I`=7Lƛ$#o"hR7Mm{M#! f"0mo@2L"h3uKLD6e0i[rz'B :9uSH{̈́y?H%xt*>R1I!-h|1슯!썬ZJo9K ;2wŏ'GЁ*6/Z60 W1PPg Xz\xFM2{aqZkasi\Ge_[2Kۗ>FaL{fpJMWfBmL9 CbuvB9'?.KVGclU ,17^|FXNJ!X:<]; Q^Fa~~\@4=Sq1d`,FВwҕ_2-vٛ@ciн.z'ȮG3p%>7e-ـ@X6 kIXn:3@M9Uu"yeS 'Ɏ2Kq”r 3u}~|,Dr8JLsrDT:keA&5є,pȯ_K{員 3S[l 0.Yvl.c@9@5cs1 w^iAƂYI| J9Cw_Ո}EMү4=쑆_%Ďۈuv)=x溣d AAJ4;֩+o[J"yNgw0: SQ-&<^:|O(JR 3ivqA˄[D (@9@~J:W;գmOLj%Eu"A۱ 8Cvm@lᦋaƬ~Z]QڴԯA;Mnڹj"f;}w'܆  CeYu'T6!X#K#.44@MEkt@Po?_<Ji6Wr#ԻDZ6c L/h)>nrzܽL"~ ijMnH[?"v'KvgYZ yiy:3U% lEdmondsKarp_MaxflowEdmondsKarp_Maxflow.EdmondsKarp_Algodocument.tex7zXZִF! /]A-MՋhvG"uIBm5Zí*\=6x G}K#ԩ7|QD!.L nB71GP_"NQm؇}|z8?+pfWX sw$Vך)m""&/5QMXޚW de#.{Y;zWpTфZR|P.MLz)uwR 6V鸯aFyg &:x5lb>GF?pJhxֿ Tԑ@`)ǡn%)YɿޙV-q^ Pcb9Z}R#O2 gȆpU^:*Z0E;t.-[uAW"3Y% EdmondsKarp_MaxflowEdmondsKarp_Maxflow.FordFulkerson_Algodocument.tex7zXZִF! GS ]A-MՋhvG"uIBm5nM99uk'<ҿkavn$Cj,b][6$ڻ~ q5U\nWn }䄒%ntvj53EvJ P^Xa1sht|3*~4q_Q|עWC"kCvG$_qa"GtIzfBYƗ^~h)۫-[v"V>Yt)a& ܿ]_qnܟUO=-3]qEMWd+Нƿ Lek)-dz;I:S`Bd>1fHۙyeo y:Wڿ`:ՈY 4 eW5oOLBS,*2ߩlۅzJ&b2/=,DM'$[9HTW?M}w=KWtEs/C 0'"mc^Ǘcgw[F?Ee,wQM${ɵgK`@AzWQzN9aZ\A`D ArwoۗBpz65w[qt.6 QABC"ηDIږ8+m,Y1Y!Xn]J=N)}ȻL{RFn7q n§t/6/o+R UK<$CC@[t ǰf0)L]{p)%NqAQ_gzVkD/Ͱ(,}}CU߅{dsP #7ѝ,Uq&RW!]R`^пGC9k)``'Ep'Z8iȵxtzj6I[!KTWw %uYThvʹ8[Hx;xP_,~Cu"} 7FN_Z"_xݛ\T)ƸLw0bsfKhĆ=OKlKGOP;>zwo#ylydE"~o 2>; EXz.g}/Uʤ<_S_ܔ}B] x(GRߕzQ 2,j Ez׮BUBi6m3K%#ۧL񏢶E|#3=wۙ^ɫ oIӀۏrQHTDŽB-ztA}A0Fxz1-E폒Nr*wUR\MoJrઽqgR_Ъ_z9=W(;n[.5 Tm!8fSADGC&&U)kQHc"ul8Z<|Nr8'D}RZAqS7=]><*5Pd"zSR4,{Q>eb ;0~N'2txQue] M..j`+WXtE)"\s{4O(-HD-x)jlUGj$8A1GJB4] vRf_HXos6Ka>.B<SuI^j+pg-#09'=i8[b[0mޘdRZ 9 B&htK /%4ž𜿮?R<7/P.`" ~@f:v/OC-k*`b,ݮ@VChb1 }o9? YtZ&$02k[Li{A(Y"a#y'wgc&8*\lP)) ˺XJej[*Jo˹:<6bHޓD1.3ݪG:O>eL6+ރc75}UI0dY7zq2[~JjU_ԟi%ssEb'8QǕvnVkr $"Զ3\)a˅mٽaU; ҝe2{%cGl4D]Q܎[3?uc'ʩU#񇓬" +Mw&rYh;ۜSlj O3T:ҽIF̬p]/(M28Ch*N2}H89' v}T @@}ku}AߩD-"BPsfB,WĂUT{;! _Z(DMUB停\ гϺ ZDuTioLr{. $c[%k|GE5B!J]n8&"2Z_:Rqe] $Gb3KN5Tҹ1$x+x,C P3QD$dlÕ5 !m"T4Ԏ]3gYZtM ;%6d?4dHhV9`y#Aj'  5($ޱBCt\c!2i0jv8GVzc]-B ~J LpwK |'iz΁= swtG> GҒ{1uHfLi ~hxA%8>_‚Bbf,DF'E4[>K32RYIYv?l.Z[@+.w/fe!̻v6rZ ?ےha,4t~|NP@V7llw)qC3M^և=ՕQ5B7qOIyVu!}P .GACeC~DU )R2"VIkЋ7KLTc5oecf\%|H }͇ Eb nvMRR ;&!\ԙk~&a!cl5EU:CL"VKp3Sʶ:aǯ$ߩ+L-6t]R'eHeٰ{lcZ!gQBD/U/IϤܨ./P6zU6ǾٖrY:Nm\//O &70?95|ahiR8/+6zPejRǗQBYQV4vgE=nUS z܀up2TMzYeڑ҅NBHV&#`M=nfp2h[*h.C0o EI`fкo;EE%a!Cd"7Kd)@Q0߿vcVQ2Ow+g;7GgCҦR&OʯΑ4^ͪ"`(`9SВ rGM Bů[>714lG򘲩(0XU"#=ڽsG y2DI- v|ObM&߄"#S5viRx^cs ǖj ]xtj4e"㱰΁R v8%8 0x<'Ůa 7}fe/Jh-v 7v7\d14ێb)  /I&v1$>@U3 #Tu:9܅}%l!;b&3o2]jH.Z Ҹ-  ꂨM,;">W&C>ƀX9ߧ&I(5hh]öñMGAM+q۽ )ZWswIX?dvnEkdT0׳q_?snFq'&VoO BQ\U}pQ&u3b0D[b; E/Ը nRpAC6 *,7Gt2[m}Kρ>_}'ѹ3r"(BԷ=03a1$ ):vzOi CB`e(^4tgsXFlk-͍;&l7nK M9^GH) j L Glu:nOeW"6aP |U 'nGiܺk~Ln9&ɸD2I+~_Q40nZ151aԺrԆT4)Y)zqܥe UH.1+1fDA-}}"(do^A-ڝ[жrk\zLn(@R[{9ZK!Ή k0vrvxm $Kḷo`w"-4wq3 m?ֻ _0ݕr4^ 7wOBáo g9 4 *5F{BV))izpjhO^:ᘏ\U:󼃩ܫ ZeO,),LJE"Q4t*Zj?\^,6M\UݣWs.*5CǃsDMd_dßY"5Ds}ArR;y7ڈVUR'A2 Q特7q|cxZ&<4{9:?<ϡZ{!3- vNJdggWZ}m?"UUHTCmcG:boKNe}4` ;\ϊ"?5bm>PZ>hW<*71xz6컌G1t]TLHK*j]DLn<,_0U6g \- Ӳ-9_^w1D1 0I gh98TcÎ3sV| ilV"]W+RUQqJ99V`r,x=5g<ć#I93/ k+t7Pc0X_%7^ʮҺ6ŭ`{ce);5-uZnzȺ%[ѱA6 *?^03lTA"9`-(,fm]iL⺃RJ^<:N.zioW ] p"dlй6zۖFޱY PDܙL LQ^w^EE].!Jˋ@ gbb-]MaH ͇<1`*/n"גrgYZŗXiɟjUWOŸAzxR:j>g ZZ 󟢠-Iy':B¥&\6w":#&i#L8%r x4-n;J{z +ڠ}et /Ĝ#So4io^sAښ h:)F.#&[jQ$=F-g1ؑ=k]3BܴĀWpEKJ(OB2WzgYZ7zXZִF! T ]ŗXi%; \9+] mC!]^> hhRU1$5Ul6["PE& Ѧ=5犒}86fE f A]TmM3Ol"Vl1'u&l:OT@ |iΐ}zIIe,,#~Q^hOp_Ȋ&?w#_3!ǼEM$:3]5|k[ GEGEO]C !LqX_]fuqf]wvĈER}^l\ g]+eDJg)>x7]MVt)]TSpMO n3NHÊ<Zmف=`0"1D/\z*V߷_FmL󽈑 ;S99LQR"Qe,Z 1俱X3)3띴:*x) ^g&H(Ww_@:!AC):!an za۲>Sl`[곑Է\s:fcY$UB^+uNkMp Et'5u1!Zo*Hi~~ yəGǰţa>q:gei_GaѤ_8r48r!P W*W\cu,[6|!ɩ~A9 [ ^Rl l lJXL <2SP%ME֖5NOJeWs+/\pio7o|5 }vOKG5syvVaLe\r{i(cH<!N:C*@o#UN.IYrO]ٴTѠfܱ8 ;KnV}>:oElb/묻Y[-1F'G!\J:K`H ",e|N(5ǎPhA4lADXH6JR\$YT#=`HϐpT[StH"v'EiF/b!#FZAl͉ R5[9$FbTI4Wi̇Ř:EgZZlOlQa#5sfdc6&% =<7Nsi?*T 6#j^=#2U<~ѷcqL{lIF [ui3 ❗ Gg)^),9Z.Wr; ̫@BfLC-8݁7)Da$p~#] -j}U&!K1'\b0Y7xX&*|<+$:~$~03!O]Mͭ^ ה=8H =+;@kSGe|1UsѮR_]g Ŋgzi/1IqkwYMQz6|WZ;ip~htW- N^w3ȽIfb Uh6R(~k9k)M5WLSv75o "<3Z7F^+.w@7 ZJ/dP=7ŒR`q F22L 2X+g->{٤5[V(aEO4FQI~{`ɸ)e(3൵z)~TQEU.e\hf.My-1D I` `S/ ³"zD k|P"6(RzܯtH4@_Do7d LT{l̾߶H_ 0B O;7ͯklٔ[o]yQGyJPuyMG>u VjVm=M\4w825! uΗmGFD}L!;v "QcZ1@J9Ẍ2jأe.l@Ivrߍ{ˁD0O+3td/yDv2+pwI] N426,+q|";H V_Ʋ~֊1f*ZWuVn/#h@K {hm*vC쉿_"e}e"_1iMS6f'Z`[jY`p*L >G%tC&uz˸ Wh?p9J;I3rNe= jY5bX/lIw@ WPvPe`4"qGFv E ;! ~k s9W P]LAۃo|G/[L+MDh뤜 ֏n77F?3dCXU~@rZQM'ib\7^06zY;f "yeJw+㟄'SLͮj`v;S[mm ޞ-D-GGrzpcęNFhI?)4(}]Q1dVrb8 Іx40NN/iS|!6KbB "2\``*;aåST"X!++: ȺW\UA`{w(9ܰgYZa0465ff83f87e50d8f1d6bbb430958e29ad674490a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbb be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e 87bac576e771a9f5831917f2060c142dc9c6e504 b4b72f8b5bd3fe1f3d9c8a06ed37ef9997e7bc16 45098b2b6277b1d020573fedf8aca5bfd58394f4 3ba678e9995013b511e771dc5deec705a6e97d27 6e9a12a9d920627876f5caa67990c2d12f080679