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 l'z\4 ]]Flow_Networks:threads=4elapsed=152.476cpu=428.460gc=12.8407zXZִF! வh]ŗXiɟ"'Dbs@8y쌃& fEx nFkrq峃/w"œׂo0{&m!SQtY?2賑TBlK0Af"V롲aϔ|?J] Q_'%[e`ց ʍˤw[ۧ }c9j 2z,Qȕ~T޽$zKW h7_9CK0;țƒ{\/FAd-.Wє' Chٷ/,D"A`C. ehiV0CG X7+k\n['ы+tXL"SƏGXN8+57 ~YVKie=v/' $9Y sEmӊvS:^~9fUlY x"cva_DtDA'YtV\@kdž7Wqr^*SbPb%⏓H|j2 M~'O}2+u(PE뢰hQpoʰi/=B+/$˚Dp)/B7NQ=I{3&տSCՃh#:8Xo^~NBRS]}3oh |폴Ba5ђHQ?Ӭ YM&*X䎁.ȎT=kqqXOMRH_ ɠ!}"1*wPTJ FCܣNls?Y(^ !ūi/?:4YCq{3X#nJ!ckQgykf WEz 1?B :nUL Jk !Y&t_7Y15`,W-# n0BQ%9-|pdllGHzRj[bvj.rj\GqV_T?g^:oH;rBLJ|X̫nS|ka{M&ȃD.̧JupA]0pSqC9p>ݝ;\/HCCyiyS7gLq]Z"Z Nh5 kf PrjLAIL/}=yQY#G9v6qZ8>00Y3EE8&poodԡSV-6_R`=}0/| xfZ1cL߸د'H~L}PAyzo?7,z.PôYT)Wῆfz@y+D_A3o**#g<S`|yz ^ -YO!dk"- 5~=Sˆ dlMlngiOv 3N[cp۬h=p_vfTSsvJ3o2B½ h]nijߢ݆s%ˉ֤V-ƻNFa8!s.iUģzٓg(pj \qS}E2701ѭԯהU ͼz\.8?W@{dhgz{:f춍E.tIéZ(i6m10%8Ĉi[_d p(s}zC0¤-Ϭ)ƛhO |8X"=SwN ׃ rWH \Di )޴M8Sh.K7ާь]{l'6 0^<*Etxh( .~Ŧ/]lwx?s-eUdr2g?%TQYC<I}F&e3e탦ՕsS(s`"+_~nٱ>QZ f,S@|Rn͇R`;CTppk8\y*5<kё ¯:ldqq߾V#M|poa Oa}aL]:f I?P  ZK,dϭd̶)Ԕ1CٻL9yv">v<њ0u pz4%IljIω()T6{N[w3'f,{EᄣG12*,ڶ1TI!\w*mz3$E73B3|ӞL8HA®UjgDNM*cȳ%dސ0<$/Ck`KgCv76kSM 2&!)7Y0v9; B@Ntؠתp.VJe:wv~ ]p`T..sud~ 9}[L7({=R$LtbAy;\jSB2F}\Bek}֖|鲖@< -LF&Y0R`uUd1wD}VܟvV#oK^g@:6څ׍cg,(Ug[w8ALl W}Vd*F?A ce|b,_Ξ~EPÏG|PKNQi9^6[n%~OcPhEzUo辊Ӓ@NP>@gc<}Ěn19 D[_LG9:d-&`Q׹W㰜7aZ4S Rq^@Z 4hK,õY:is'F$[ i{~9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%.6Z%ɂ|TN.HH=NUڿi@`/ .wء4&;"O2Io ^Lؠ WV~s9$OcsӻSqB]"=C-0. p+'[P}dž@4gt@}%!)gޡ P eKhw#D|lNn nٙ*vĮ6#'ym [(VD},e 1ՏGg_|uekdcd,+ѩ/ ,~k#6u!8 *2֙,&f Mt 7?y@XнD{͜3E)k\:3k{M'ok=:cw %SRG'a꫽Rꫯn"TzJurG8h0#ʄtC.4s[~XSԂdÚk{Qj`0[*ɜxX$9*h5@*QtW>m~JBIrs'4)C9}UυCzh-H[HtxN9/y.E弮t:pDi|hwƙ9myo neJ=W jN~61yo]&_ՄJhtRu&ѡ#„#!Uޟؒ V0LΥ RQq뻗hoq f4IG3/$DqƗnheWj' ^un 9Gd'RHQqv4"Q kfB c5n]hqP\$7~?. ~k:C5d:c;M_r0EX 7`J>EZ3E;nGhQ(\ڷFIM(m;."tư +)gC "}\;ϓhq.Td3IE}D-xF 烜s˱[Su LapALg )-TRaOZ9>: ?jtTPpB.!Hat)Î+*Y3,ƜRDU&쥋?u+kYS/IB할L-o;]vWcd==S]]ZNyœ3>Q:^2e^001jhe6oKk?Rѩ~8ԧtU!ec+]b=|/י:bt#E*І׷ԓtQvC{ӧ^d~^t&nJA]}ENjdBV75L[RaC>ɥwS ~ rXN"M `_-IؖG/ _׺Y_(eGUT VxgjXM:L? y|fޒ-HkBDz;g{n$jʕZJ}ŗuh5Yi]=A x02к(ԙGɞG{EZ* !`iTVO!WK{UVoq43MdOr*)9_CQp̟+'FuڿlS=(dq_0řpNw\yw33z Kn)hP_U_j7$h*X,,y*ef.k$^;"<7x6BQl&7sr("&s[:`ڀaӎYgxĿHR*5L7xf`!C- a#iu~RICLKӯ4]LDmbDM̅x듂> fAG*4͝-xk֑DrTHY8 ]r_Qv< 65;J DQ>/CT1`Ql ӝAlRTo7-;&.V7'Ռ!y2EgIgӛ RH?EzιT%Zy: 9T6I£Y[ȲgJu׵)Bvv?J"'$pxWuq[9tur,!$e?ҌAmlU_,Ʋumvu1`/0 T퓊 (/JH!lى\ cƵyڏ~(8w{.-t1[ݑ_(mh>8^:C Dgg<\\5:$;^/UMpsKOV:2m\$˾@n7C4|Ri-[̖+̝{F'c?UAmBj~֏4[ gBSVQB^]uB^Fe_wld.Dm/;Ewx䄽 z >>,\5?TDr_ ;Gs"(~1kLu3. (;ySl` 4bEt܀F :u.18YCO`-lqA0(]M>_b89Jzv qofZC#WHF5*׭9J]3τx8 U'@K16O BϫAUEA^{CM@e[=iʇy&)Yw7 _o.Rl(NRUG?l4.GLI #6'o#)UeIfwS-?N?*g)o&a·Dprp On =M|e[%m2IX T\N>OёKtt{}V6W9rЌ{OC.@5kD^yе7~WQ +Aemx˭r ߟq@!6sJpmV)#49o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%RC\&3Z'm/I`ieFb.NI=Ha'#E*k(>QjJ ꯎbh&ɢ<|o;/w^W-f\|C9w?%M|0i{oUWŎԺ@L ]L۲Qܻh`,RniL z R, ^`S.JK/s_[G͘B@n(q>␂q,_lpnO6n23385.p\o2ZwH#N7lVOCi"7utNb \l8sThc'}>īM[KR;$;P__ a?KOnơY4GOS,'n^%vf]!obUQ4RzfD߶e"΋7Iti;B~ӝbD.5띴.dX_7R7ܔ =9T”{sv`ge/][DE>7p0t,$B P.w$@]'VI9c%Ua)rRs >Fa1z5^OXaHKŞNVpSE0hۄü0Z҇w 7I =LQUQ! $ 2Z rB(R'Ă-ې%5MwzXw>u sD$L"<:Am UDcQ;`Y"%dStVCOiI%i&م?=ЃD).ׯDf\;4q-&b`S@uPىԎb@8_+d. };UMR,XB^e{LXU[%B^JuQbum׫!ak ~WX({wFKwuy9PyⲶKbU.F"훧)%|IDp6A1' g$nT8uIΕ#Z,-hyǜBzX`4=A;#Z8*BDLҁ_fxLcn<8:ҵHc5xz\ y#s؋ \/g5^1Q;\oʑ4b+SLʒoAӏmM%r_e,J7gQ ȯ?ECju#~tv'^S ց LBGeh7^˧s!iG9#Q'VFrɏ ":$V~,Tp^xc3 ^im_"S4Z;I 2]$GTq~<\d]'剛dQKSp@ϢSH8LBFؾjGpW ")m,k4Rd[kJ`6x: zOئ zrfVK!L9ir˜WwmG:Fv5!Z`,? ][c8~.I UUI#/Bnk [+ ~I(EVoyk*Jsdb::17-q #)GyԐ1G;-#FBGy(`yukQZ~a,7VbWGA7)!m E0;3wW>GEE} Т+T%Q(cCmim RVWx9fLi@BM>34/¾`f= laӛp1=ZS%|wÃqݚD .YKIrn2'ܸd}ʞ*}/f[cQ!ZD(c'FSW%6_ʵtdN!nil0MO&=> PVqO(K4Sv=W-Og1gS|˪O0J:ױ 69/ ?}e m]Z@PĦ0^7(#y ׳0+/(Ҿf9 =, e%P8Ė@|5ZǠBwkԫ>wv+sˊ)uUடls/ot$c"A$h"n=( ߹ci}U^/RIwYTc5(K\@4*_Q#x(!fI .;%F 4C/:GwQZÑn=;b7?S2) PQqYe?_:yPdV/`1p>U/6m){*ǟԢ('r`WԂJ&a f]!NB_+d1${ e;zYnY͸k`.P"BB?q~g M0.L2ra j9w̍wVSw^ @hYvay!t΋=U76CL*K`뽳| `.;OpA eJ9M >7Yk=} v` O\#CCS&EO|TJX4FeRn5oZY:QKaPDLek)>cBÆex]iIj>ަhネRNTcW]+rv{8YTl_yw!M7jm@gp:s~I!#+#Y1Ja~a3zFf|L@ؗw+.E%DQD$^r3ccw9S$,Ym,l5)vkìsp$~nr ԜÌ$>P:NB#L?mI]=p*/P2|veUeLPԉqUK" ~k[f\U#t+ԅkw~Q~czL'|UVbd *WAi٦v!UJ9Ux~`fB.mcAa:QY_qMK :a/dlFnOyN wL=MϼV}Kj0%Ji;r*j]7;9#VKQGH*OZN7>Fk x5֩cFKh4BNRhH#yȴl(%χp >YqH/8Lsό|={ e xv*41k3EA97a&Ei^]bVwW_߰PGYnsN(vq^ܻ'*.## ޏw@vw= ߷R1Ѝ4=ˊJ#ֻ P)tI%+(8TTJ?^mwe9n[V!kv:l#ρexLEjԀ7z+U5qGX"1%L9^ 'G% DFlow_NetworksFlow_Networks.Augmenting_Pathdocument.tex7zXZִF! s]A-MՋhvG"uIBm5ŌwzB&-icHW'yYkS=/?\pE컹*n`#LƬc#a鞺>F)bFEzbl0TӒT)B{ ٖ;lF;$0=N%Ou0s₪0*AivC3:yZpOLh38;ReU6]7¼CP%!"0[lAےcgQ($ F, ^R-tit芲GbSwQ@ws|OcIE?횕4r;-A2ۚI( ?} PHŀ]LTEHjM.[SpP Ht(4s7q!,6-rFU6 tsJLX5̝3GRw+TETc;zvQPM>dANի.-c.wR¸m~̈́;&QꚕP&vt8j')"=5ko;+*NZӲei[Ĕ̀YӾ9!TbO9Y%ޥB3lBpB"zΛu7̅,Lkh5{Ac^' 7nsQ1\̤b|#${=&˾$FGDR4UXh/*22uauB}2d)ƓQP@}Ilpx*&cNe,w;ĠTPDCR'pS4*N `w'+hc!x:>ƨtc13^Fpm{YXͧFUϮ]MTН0Ce=?HQXW,X'j9fتDu9` -bjsF bٙMq:er ݤݙGn+nB1Y Cj]"x93?4]UP݄zh!'WXw?>α0py4fȧŝ%bЋbL6HJɝh݉C@E'Қiy3W뉜wP:K쁀<[X~i% c V ހLvg3F @ x?OKϧwէsNlR :!߯N+(3 )d BBQՍZѿqqLVKMGzbh lBe-D2Y=rNsb:mS-->J*3u="뮑'|2)qgn71Z5aZOUԘWBIk^MGCl&R5nw,ՙyl.b*od[۫(XL+SVמc WY.3>'U/xpE0P=/̷ hzPv8Z%%Q㫡ߩHrUAf+p>92H YC )Bd_Wݧj+Z- ͓%XPYoݼlBϥp [/bV1j{M~=5F#Ȑ%لerU&y|"N!˧&t("WEgꨋ €HCo&vg\}r7nq29Ո:߫5FK/+`قЋ_X$nY$Bøq!R+QgeT2p|0EٸlH V2.ΫIl$$OvrG+8X91{fxt[4$\!]%'|S|ْ(yIĄQd(Uxcu~ʼk]@ܒŲOT PȢZd'HL6B9n|\rx`[A`u@u0ba0If-EJg&F^(f,^V%n;N"ali_~3~4@=ڱ YJFq[JꬌNaCTMV9G]<7;jgYZR/аюpm(2Vtifn f7n@.ͼ\SX,iwZ*ƭ7|:~?HOVi~S9xc2Ygm97+n+sg=vDS#o?'óu³[tgWɋutBkc62h']a唷九c.]A]bPi , ¬]@q. T!Btx&z\̭/Nl|̐$BNa^5h"Hw^|9SFGNjPW/j{-Wg#p! Paנu2<< V7[WJ|θg)|tWYb\j:>nMvЃl_dnqQ呚aщj NqG`L{қܴ%1TOƂBWG3Rc {1>!ʷ˜.Nx1p]WİAA!13Тި |ztG@SpY!2 |DCn"$Paf۴םy6c<-%뻗`!G|{9Sj#px5 se">f5u1N(?SvHBdIޖKQM/Pej., ڿcRԼ`8Р>24C0GXʵI):g3epuh/$-?vj~)>j;Ƶ"Po 1'ɤ6FPXOCءEr:1ƯoNt28oʧS컮A#wRn̎Ӂu?햭V=cvn u5bVx8$@́w ^TԕJ€R--yt`#Յ\Qt:%{9CqJ$u;.Vh4ʝ)خeEo}5D c׋*2X cbОrC4~[9UnpMXNfe @Ĝ뉚3hكhKWF2lم|p'dZ"#W6SD73[CIKwaO6*9"V"~;\t(ӄϩ7Z?Vx!~hhnCkM2Q#t@FsԞ\u Z 21S`KwKvUkuDHɄ dCy2K-18w)&ux(SHH} :xAp ,Yx4r%V=.`u a},  '$Y:W!X=]7qbbbhnԕ)NU4_%rŔoa !9 5Mc?HQO.:0މ'Ià*mϳWщczZi0*D*귢ZKÄB  9ګQELfRu@quaҮxq#蠟2_.F(f*PBrl:dgr׽7Q;U<'#u{U(^հ=k:&ΤGWRO0ig;Uks;)R v|ڠ5nr[%(|Rgy4mK =[J\~%>\Ez7;RUbj[W)<"#bWZĎvCnM(Q@l"_}CHn(iH.r Vl-[6,e`y_Ha:Ȫ&wÃZRF{Ab-=D֢-xXNm Q7dr[#^]K!nH7,t/`OX<q$p]z9t%9^{OYณC>7굫D*4! })\PȖ2׋yrZv.]0R ʐ$+w"Gpq;3߀Yjj:/7^端\6qı":» Nb`Cٚb$2\mZP)/<qgގ };hBޙ<y>x<C¥{b[vX <+X*La1Ǵͳ@Wp)i^r*>%o Q4eMӑ. sW}Ap_ª7'Sھ?h#( /aa!cila&nwS\mcܛﰉfc mnqxW!g&8XM)`-l ǖi7'nj0 ˎbMo읢/&C .>{2_9?7M+J:b@֭qtt0܈g}GsׂUxSgts5:N泹A >>ɋ|73DTP@&+xO©;jB;vjYrs$ k8Usx:ɣak޿ȗ]xK6ˀX`>GNYA:Ժ%O|OV9R4>9_ፂzxAsY-4wl < 0xBZb3%:t˽渨{|)*:O$(ڡ KJe_%6g.CL Z\q69+w 69-=>OJXROR¤X=^7l If +7IS> z00kas,@r96CG)&Qw~~4csi6+usL m "˯Ȗ&}|ϊMRLnE |7R(+6ibNFuSB?2#+hB#n!^-.+a+zV)6l|XY j1 \vkȵÏ!r]do@NG NJZk{Q4 v|OʽMB(LeÆ[W:Dp[`p)uA|)` m̀o BͰrńiL9LeLgI<|^Nߗ|%֞!}#*+<8:z8 heZHOPV(g6]m]#䃱_\fid*4X\5[\Wϐ[@l7SnCq|:O|c&7ίZXZ D$HvL2%:SlpA 騅ѹ(;[;' M2yrOS66& ׻m 7kꝞ=!ߋJٗDOۄpdjyԤv5H+qo=}^$_Z~r3;lf\i;d;݌sjXQu+4{hm%Gٵ'9d~.p@cC%B ]fGTG4.Q^t (9!+D AS{.pB~n$  D-2:PK=U_SAׄי$qr ocq> 颶+㎈rO&JAi )䁠 oǶv,Q1׸3]V-rusMA л[00aR#" U0R+3ii0d}mpO`l3Hap/8wg:ItOMen n-B5`D? ]K˹NՒugQ୤bk UgÒy*o߲/6!Sm="߹ *Ț8/~UCvφo_Cl'N,g*ErN[%1B+ۦQ,F`?v']؎f& KW9z1RGᵁd-xbԁ_Eulf_-†1I4iW +e/77Z6WˇiB^e1PNS:fvdG+ J~73lEG jFqa{Z3צަ;{eފj`V-چWxW2뼕4ݥ%vt.6/bY\ hK3Gjms=ǔfw3!%-Ɖ籁UE~E:>IzI;nYsя~%&[l1ޛN'f6*A6@ tzɢ[9m ~: KOCƊhut#&Һ_v1|zrodUx lmfOS($؂#J{poG{ULB0"1,$dK𪰄|@Sx1_q;r7BfjOMPmk256b܍ ;p@+, {hauuC qQb!/NɲWظHoHWD=:?!?2҆qD8h v*̗΃Q6Yю+sx,I(zr_nG0懍v5##ikBG8nGGJbRC@h8 Mk!PYFY5wqѮyxb$k20-͒bXoRܽM}m\n؆)seeUEnrICg1gb+T-eL4$~*2.#;~0?#@wJZ(깒oiw1ٕ?xw݅d8{v1a#K BσHO1nX[ԝG.i⇙24T²1o阨mba8/)T2Cً QK>ұjZh}9S{>U7ߝ&e( _ 4!N)i,ؘ%?IySDߒvJ{rbck;AJf-NP-NeM:7=(^ۺv"ZB&/ 'S'gZ` _jtFo<_;ZjMƭ -X5,2×x4o}P샡~6N+v_fw л$)!5~ y 5ZC7q7,Tui̹2ctޗq(L8gYC<ȅ&H'MhYr|5Um*gey%9J%guC3@?鑳B9VmrEDJzn&Z-"gֲP 7Q ~ݼKbA>+V=mc&Ei{?g*]M:R:"]6L.uܻ|b^oX'?Ҟf)a`7#KW(e[D_ n{߻Ŗ-)$S1H &L13;7Y+ P",h\uc9 .}-h \Y-@f'j#10ې> ~`Vx W?; Di:m͖D9+ Tf;qאwPDc?lD4mlEzGn8cqAjJ&PD}hW fW=D-й|M.V7O3'loTdrVSMdD\U97ga*މeaC$V>7RWJGS+E8mHUBJ/.r ܆p0iq#Х10 qa4SP% ud9 A$RW &,D~7muS^e!9 ^ %`sWeoWY:Cu?2=3%Ö{Rk;xDS)MS /#W.ekFw7h~!4zUً!&|:e/ Bm(l"R0@Uq~֚**̞^fi^RaSh,4}Ս|Z &M'y% ~Ddty;͋hi}mѿzB*#bs պ7K1sheZ mG\1~K65~WCzz`i81TcJ{2w/i` 'u^<OpN]Q?jD2^9)m^0g(1Nle8: ڈӠerJvi :YdV_)Ϯp:o؜0݄G R3 aT|3βZaSڼm@^D>85L !HGݥ!ԳZc|^1l۬ڲ{y!|t,"¶cH~Yȳu#Ύ>~le؏07l`kG$9SASX~ cF$ X8ˏn2!(3 OQ#Ͳ*|>r &.q*ZQYuJ5Tݿ=KE" M %ko8iOQasP=Q؃hYFN ?U>~+ۭj=P;<&J `eDP}X(MxǵB/pʴcs7*UΗ<~@5qi'j.d R[>h<,wg=V3c}5|'_KDw 5ݡפ2(F$:5br cu.ed+3w3 &|jwT<2N +NDBęb),}}m?ߡ{U+6` ISAL,UOOJ&aHLz Cv2s0qQu:.+6<=Ѳ~ed=sylUht:ۡmFyVj.NRH ¾@]:A; ү +I&sз[GIZ@C^!YPo0@5'_*Xa6@fAzɇ:{MU^]_qɇ_Gҫ8?xN۩ܓGbiJ;z%C?z- tt= K'UXr`Ytr0?%l*yq>f0|YqUU*x?_ tt!q d0G 8pǸG_2Hψ>yj]Mϐ鿽$UM^V~ruXWIZ+%4IZU\gFO92 !xY 8٢Vs;>mH{tïxewEz/nJE( ըMnhHs.Y$#鸢),ގ\n{%~x6"0GU؟c-2J+8KgK+k:ƲyS?k,U췎 JMTɫ? *exo!df)3^g_'=7x;l!;pfke8.M}m]d˩SkYDn3 ӂ3-Z-~EYyHorobX !tY1YPQeL)!rX&6veOR8XyA+c^zj=u{ vbϒ?L?zgm㣾4::)[RL.la3;o(8,ϽUa|; =A+JljYHY. K#q|koz$#);WVIZZ4UJB;>7XJ`h4{CZgx-ȍL=ghYq Ώ]R!58*d*\PL=̵?' =BbA"% +:!7//QtBՄÍB-SF3ƥ*h(Օמn.:޸ìTZJ):g>H&.6tMJ7N:R;A?ϚTH֞uzY+u H^E3ItSH- mnlU zH]P)̄!H 8z4&'V@@'<1I5Z>#ϓ> {@Uz\VZC^*cf3}cAa)C&fs4J3 ),r+@9/$s4&e a-[WVNd $H>GiI@7mѼ4n@$MWX|"⻋lv*4mL-A= .a ז?ʘ4[+Qܽ/XGBlD+U4R8>)1kiAJwXnG'ׂQ@#]v-c=Os:w` %P++ \D;?!W 2z:<%`_ 3TǂX~kҚ窷)n.sԨA9Αn$h?J4z0^76!%8 c 3/:^~`p饖J^vdH (qnaOLaRq}ʁTOǦ8r+q 1-)-m e]"v\`vzm_T5 (mĺ 3K3`JDQ%Uq^'W׆~ nEVQ_Ķ)cCFdÔF Fu%BK1erBC&ޣ g^,T 4yW1$<ޭ( Q;/Ϡ.VЯ V~Ta)M..1K(q01#ڽsIx XJ5͡TO7-䰎9`atGq8AӫAYuTMϓb6|? yS!U&Md K ŸVo+d HS XbX$>]yD T[o9;\@v8Ebwl&nf FsؠyKj1m ݕ^PO$O{K+XV%k${>< z|BYuq=أ@ouh#%hJHnkE[ASLDžFCֽ1KO7cgE :XֱgYZ7zXZִF! 7]ŗXi%BzMs)S\dA[[4mz|G3Qx~$ CѤ!(T WDypn }O}",] u$SuK* gچaK l2ى[HvmJ6PTO$$Sq X3\gS,I mt(۫Rii {6ofNVB:&<P$Y郜ŗJ>Fi=l1w{Ҧr͏vPa%<6 .b5ȯ-ؤ5zGߡG#Q,zu,1eѥQB~]g=SVKrj.UѷK/T6\~W=aϓ> ,9e_%WvJY$*kEK>څh"Zc֮>F/7ꋯB,4M{#:!;:y ЏșivnMR{͵ `iTp~{C搩DÊ.] r&6:ʌb!#m{S^q9OD^)3ow D;ulÈg.u;@Mf/&q"m`0)Xa#"5 O+jbLG,gTƦxqʊ۫N,ETuA7 t RԲp/Ϯ)g+1?V&[9qWs(4lsw[JĒE|bVY * ^s&F$5 H<.v ,jYNO[BJc |6zL hsq訴*Ъs%T<2t(ۣ|u3z%'ju' 1L񆯢f%f| Qٗ ]'Rv}41*ub)16#[jincQAb8 Qf ԣh1w㪤8wDjVgNwsmfJ B\$Qv Pv%Yp4ُh*F3ީسi6;ayl!QK7v>lD9\}I@S# Wx H0/|0fß^k^c<-څXld<=~ hb4E`b3 Ӱ^BYT[`h Vb$?N-鿭ql}ߩ ,̆XJA Gң-L+Y|X*9r9.x|)xS"ڝRrI?fϰaMPK#/34~|?.TC2D%5dQj)uc؝I+,@$1ްôn<04U]r^Sk}>JK[F>?3 OPj1G֚^ίbު."s{O;PW{wǘuz}*B=w4V@/)gѼpcgAU%V_!$qUƓOTnkNQ$OyVh| c⓫>s_/dFP1,$C?Z2reGE N}#Xb "ZueǣQU:< 3%OC ēh6k+JCN7R9[ <重:w`9;ۈt.aFX:En6+@ {,H^40E92$yIUyYOֹaM:L@W{X[̭ds i!Q[2Svo*RZHiN纃bY|lp~κ-:P#I:*p2jbHa#|T-NI}4۹cl.O)7_a0qz\ڜp2d:{f:};NxE JPi{nSN2VCq3}f ]e+%zvVY %+CY@6Z@sK)LH39 NI G䕱f~q8;*M]i[t_81DW9"~ BWEq 紿z.Fu˜ g5q( 0,OyRE\|F Sg I,Ddyav! 9$ҳfb5gCr9C>GtcTŃ8%D-Р7͆8<È om{˂I4yt!ݼ޼=j d@:s:>">aX֑b^KY9XVZJ({@,}Nh A _o;Vyi|1̏& j>KSV\oI:zL SvRL >a' 1ݘ=rփ H+,0LЀ͒"HMS3֬y סH;c5`5f"(-Q*G]m]]3n[ʯ\m8[\e{t 9#2#u/7νf_n>G!Xn wem?OsŚS!QQ,wjvk j=OqSVV2v#Kѧj hF#  lI)$eX+##@/Wqٷw U|VU-SR=JFa]c={||Qq4FKB75!vP ШΠ VCV|F M$t2CCN(5;da 2o(W}7 cu Ś$ 06"|&0_' ɸ^y*7C%R=-]L{B*/ (7} ocwX벐 ގ'QwZeKm@7cc[7W@HES1<uV-=IQ/0jkV=:&A"KA3Wܒ>t0T3ĝ68E{6!Du/往T `K{vse3)a)>>,d,a;Meohuj\#apgJ=fD3k/-N0mڞ#\qe7^-8 w5G>Gq*;]VEN`jdq l)|d+\hqa e 1ϡ*C{҄48@JDth_"S~Б'RblVH؂PNl,1 i'ie[惆$?\SHNNٞǚYNM^U?%D1^@C~k 2'%5iYh2᫞9 9Ld ㈢@+5X{s6,8^Ǝ?t;4ފӨCF`H}n! `*Myc1aF χe $\jiN /Ot?K@o 8s$4J4K#jҤgu3| chrX:PlX ,#WD}R1_A>5Rˑ2l8OR^|&%R(9o;pS۾%FiPW=4ORa S&f-1mw%}'XLu 7mM¿2.7. GowyMPЗ>*zo\sq VQ*($ R)f9Guyhh/о*NXM[\[9Fd&D Z]Ih-U)f:(Zj Ձ嶙LhtFwAg'NTvR=o=Yzz)Xjfpք-~zw\3:jz15UwpU__ERya*:rXsҬ76ZUE A  2L"+..Aa,*F!\nx7s[7K.(hU(d{ /a L-_]h?{E&4V qv AIXh*bX?:jOw~~8#aQ C)={3 XeE~xm$GlI ksÓǥDWLcG{[|0jcL`} ]&,9{xA/MV-`-*e 9kT -`}+0P9p~06U`N1Ќ3}^&?t,3lUmдANAȔ91 3I[r+Kʘp5Tn ɡ|S5贑;r nnsP;7~(h[V8uF]f #- 5j3 *,:f1!vMK7QZ DCʽPQKy~K8&aT^ -3WYUV;G8]|iիf. ߉ !QX`ؘLDM~Ćq2̩yfHe3$ͮg{'t3 ʖr@ (A=l綟gY BԪKxzM-;OvAЍ,QZzeȁDu4AK@y0b[5s;NCS.A'sY:}c,☀UD/7nIC[#jg=As׷Q&K.CgKP*I:0hٖ}͊g6/vBd AqLcI)p]@vP x<;.;h}'fh^gԧΨbFkk[Ұ+FoJH3āZu3کWU؏uPԴ€aJ9}/! ߩ+I \1{1ͯ@Fqb5D|C@7-NjY׶&by#z0oˤ)1BHRs.LIL DTDA` } ŎuqZDePB/Z̹I/^jba,Yem@`>s&%~b-@/,C%XU ,z^5ib x/ kZ`M:HB ·)':G/נc lhc #=EOԖ ǞߕfHɫh冮*4`"sq>W>|R%t1eEe L;È\̆LDFe zDfW |YVn+WidM%f4'^*|X[r+oEfͱ 45dN%yjV[Oئc"](pZ__6툏+"\nCUa7@鋷-zЎw oH|(*tM9_n變0^e(}R2mfk( '!q'd׺Xך=u|=cCW]Oz@w=qkyp~ B0z"@,ZSUP%y&ډ#| XOD9F(M[ @&Y(dllr8s["mIab !._[z T ƦHMW*o7We#l]A /wyqk&4>kH^zNlDP!qǭDF8 4%䲫Ӏ@wbߘ/TYoz7оP/v,c}$9RZϾ{藔e3m%s, d K~vW8.EOo'ufpM[nn:6n/³򃱕j-+HhՎ8B捱}KuXݭUo-G1feۥ> oCְE%As{Kc|ږmmzL 0AKEZΓOo/':(NpQ\qfk(w[af'6&vHOFNvz M}7iO8ߠZh:_ ;B# RITuTM_BIlܔ"J7W0?PmѥW#h3iS Q[UVgOFq]&V|SSQD]! *Ġmټ~x:"16B߅kє׫a8k.%0۶ga:JU1 g+ɟovG^9@EY= 4os;rwkfU)hT/w$Jh$SPt8<ͻu^/p ^CL,AVSNJ w1ͻW>~cfCeDXE  ~Ӝ~Nƥy&zP0;z q t1ݬ-f;TJWQ L&;zTWU{r(& 1CL-{ڣpr02\cu@0e[^DK&ڪ?Y>8KE4Jš5 z]ڇ<ųԫiC[-mZt\Tc}T&:W fՑ9Ż`+i5Z;JYԭ{6S5^.ps(#l.^ȴ.ZJ]zR!zыV7u,^8uG#nDܥ ͋D;DX k042V*g8ZE ?C @ꎭk!blP!s)Z10@ b#PPq^O@FYc׃*ԦNh z>3 k _hDK+GSmVvu@VnU11sݼ厏dj$gPUE74fZ>Il}(A3F5;d!jH~8WcW ]rSkڡ++= NE>OtWrId*ZQo<:!ZmRZ6vLI|3C6ڱg%4PO(gA ]: hbCXߘӘ"Z OL{]+ ͐rf $TXP9yGay !=T\dt26Xp<ì1!EȟT ^Zs$j:j9[xELݏd~-tt,QK8bYAK,y}!?{Cor$WIgQy;w<*CsOہ6"bHK\o9|f˚mv5`䞹FJG';d:؏~{T˱dA}.B2830PcX˗!a !c@d\?FY ta;4q MtmqOT\F8`FwEyH0Gدs?EK\=HOL.AEs #Ռ 4"qV 帚:k[]ao->xkn+B8R`w`ODmڞ Ksrh77boJ+] mIN4gjpOd$ fq($ <"يb| h¦ 3{ܽ]v&8Og r9r*K,>6F~LfGYAٚ҈ʲ&S4_ߙy̦,}edFcz]o_5ݓAT_0w>$,ܵ'ZEday?zYCvEϩYlQ#(| w8p~?~&Dߜ[ۢGAQMl&Cx^hW2 CxOn+s#ɒqeC@e@s!Şv"vW AL ]'CL ::#ULG]p 16#_:AJ S4WM6oرQaų`ھ!$6Bx9➽oN] $ϾxFh+$$0ڍgoDjp3Lʼ}~7ЄH;MMGfj N}^`hȇm+ za$P̼#rtkDmM`rqU=}nWHRNqtdx~5g4,=ZUJR@躳6m"xd}+j&=.kӲrl)Mp}cqFXyuV[XN#WU-Lnλ&5-QkވMq0Ble[yRحqϑ_wO04(2.ډ*-o9IfP2/@`).\p3pg~IFd2IK^`1p %g}! yAIjiXU:?b64, \)xEpv@n1pR]#/~Ď5ZvEi"Pdj.Xy[:>XV#Ӧ?<~;L (f u5z&ɹ[0Oo Rcܘْ-joTE܁iF:=:NxXG*QXHB4ɂ@>|*侼U8mڭX W/-]!>}^q|-B;A \KcZ_L^Lѓ0Jړx\bǘgv90Dq:PD /YQc Ey3}Hӿs̱өzϛMϙ 2]'֏XmǬܨhKeSBΙv?  4=SԷݶtzM ΟNM,(X˴B/!-x: pm!'D('ש%C(辝mVkXهRx[36ZB*ƢM' 5J^ ,l7{FݣuĚ2e:WzJR*V#*Oi U!WQЈș^&hNp@#F/;7Gki[G=SHCSl"m2+ɖn{3SAR;w6)֘ j$/ïⷋlLQn*2cd[M1L,echN XKm 9Au\:o36nf`xt'c >D"y2VJiҊJIv5=0@~kyMʘ?xk $er,89 iКA?a]Wk[= =1 %Cbd]'i!P!M qjWS6Ök"Д~F2ݚܽ+x /8Tǝ&E 4c6]e@M>j䌸༃W)Ld4>4޸[[}uHͣ:&ʐʳ}@JQwGۻhKg\teY UN5R{Yo&R7RFj/|Oo·\Y? LzR_薿dlUU0ݝ[!FXlpFc/C3" C2oAJߔ@pX"#StRgPzOd#krWEѦ٘(c@tIm?473O[StNf"z^uHXT/cy_7X?0nƱ&xr?^J@Nh"tZK# iy. jDFK~bG޲y\ NXNK,ܿeY쟒Kd [z*inp;={OLԺ=V=RZl2ry[y+7rCY J; *(YB$+)'V5cC٘-G_hȬkM$S~T^ڴz3#$މm-Ebaqr]i !1H$?kW?yf-;.@K1㹏Z Fr9cS {IM ѪZ¹ tZN]OiPuE2wP\C8}ٲFA,1OZǟ^V6JW*䍜]E7siQGZH%k.=#<ɔ:)rݨo54RX)#wO-]uD؉ f$mTnV;RE1%wy8ToE."@n| 8 02PP>U%juҮ106̓vʱjh,H"뜫O7j-"O~ll6Yf%XX{fˆxJnz;$X\q+^_!hيw~3Xnj?>N.qZ[#㳯ِD>)OQ]A⏎S2@G݆]#H|n(ٝV96o57[SR 5#3أ4ZAiNcbmd఼EI^à Xq6f 9LKqRbWSXǝ0gJ-)n;W UʟJ 9! $I.g'aiaҼ&m!_>[ӉX^Zc(1o<̚w$MS}f3&5t|3N;̉ .5J؁ZŬ-9{4rtDo/gYZ6f6ce2cc94bca9a06f41ecbb06472cbfbc58b87596398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 2e9ec065bea7bb68171e9ce3eca85966593c7c91 be6267361e089fce0e44a55994f23b423b755410 37f1ce925bf51770fd9cc724e410f1bf829bd70d 2f96c1499bb51806f260beb2634ea39479052856 35d658022adf56f2e5b0aa230f2c3e5896e8cdfd ecdbe425c03ac88bb1e9ff33e895676b71462322efedd39a020bf3f21da4168c0324b2fdcf13ac4e