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 t'zt< ]]Flow_Networks:threads=4elapsed=161.489cpu=435.148gc=12.9967zXZִF! ]ŗXiɟ"'Dbs@8y쌃& fEx nFkrq峃/w"œׂo0{&m!SQtY?2賑TBlK, 2 E#6fzӅ٢e׹4DcOʼwSd5ˋFn(JĶ՛RdQu8 FY9`)G^ҾK|!aYT/"l^*C80|ۈ%{I#T)QRVT×2A@o[e iobgiur21cޮHOOO-]"VNԓ~,}8]bd}/F'm'_+jmdr ' Flow_Networks  'A+ $Flow_NetworksCAVA_Automata.Digraph_Implcode/export1.ML7zXZִF! ; ]SAТY>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.:޸ìT7j ΃)ѪsJVCYna颒N,yKkA޻% "lj JB("` CWr43n(E)*2I]9Cȱ|Æd/.IHYhGqAD1CP̊!+t]7-RB^86}J+.QL#wKgl\c1׶x|w~a٫[R5'X{ G*RClp_/dZgI mn ӱE>_0oF:=0n͒&owj$n/|BDtN]5o;*kVE7$R.zPӔ5~ o'ci 5-~Y8+i"Q=yP.?C~8hO{}X:8' [fЭsmmܳCA8)Vt|VBH2l5zaB0ils%^ |6V'8=p8-㻗3߮e~?ewpgzٳ RMz5ejϱ,{e6gL}߇`C!Xi\AaO-Kd9Qvva$ PRrFMle/хӛ\Q2`1qK)1 #bX[6:l~?5FLFJLM>PX9$+=;J(9XtDQhϿ 91gH#\m,Ԣ;i\Fت^Clr mc3;VPyB[oH1?Aw0`<0t/xj&Z]Eєwəπ~xA⽍[o޼Qx*_|N x4P5 52!߽^6S]x4 PhV Xly}*0*xZHO}KV9؜+Qi08qG '$euڛE[qd-gEN];peK^/J0S=([^VM]SO4+hs)D<62ߴp>__qוc9=}7Ԯ8~g=,kmPA/Zp{ o'wwoDzGA֦>fc\w&werMcօL-RhP@DDl&xQcS))Ժ^ &y*)fiHHN@ ="Vt$ZoMKT\SG3s?,.6&Bw9Mݐ/E> M1Αrsi'|m&DU&/TTFvVX 4"_ h%,dx |9o󑆙%B90TCBP +\f̤9\iДx#+/ڱj&VНN VFKP`cUlK@dd=8i)C傰4F6mVvb/ 9 {?['v3E%6q+cVNBՐs]CDYn1=BTdpͶ]CoQyTQ[aE-'u"Q5BL-AV,Tܺ^ 'eD|n o 9W((:,Si!&eP7稣OZ85rF7qrezq}قcQ״P,XrviVͶ$Hi9Z w=<ذC/`Dboz㪽{>苨MqƸIy`v5O/D\8IKĽnL`;2chFv 55'{[݈ݮ RBυ95#bVq&Bz.*=z91ƌM/٩]LP(CJ$fT)y85) Iβe7W):z5/עOmU`!D:zcOm%g88ҦߊV|pDV[-'Ys?Ef~é/Uwc?Ҥ+]LPvLמ)r7jW,v 톝W13GX86UsCU J]C>c]=F_mG$)IHɗK2 ĿՆOrjD:2,ajk52ùi-%:7ijbI ]_Ì!O@y^u' C(判OAPtoH2"wBF`]^K% N U '.˅Q/9Er;C@oJ3Q ʬzL MQUÊ.֙RC}LA)+_ C)N@CYU8l*W | l + ʎSW`ǾȐa5!,x1BS9X@)S}I" hQB;%?r˄9K;4Vdb js|KZ}6=ũ| l!oHgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2ӏ:<%`ߩO!JnSJo8&~⩃p |'~3d_qSA=癚j֊tkK)@w)ٞx7 Cւ}+x?\efP aOcvj\@6l4YZ? ex~7RhyodR8 T}茈yC}53^JѮ8%1JOxoYCHw rN`{v3t!?8dl_%.I>na <1K0@C">6󓭚F$0%eEne&uJv/U,,wh+!(jq iK OSӠ%.&{~FU -;h gpmpa} =H|vdq`IBg[E>@KzLIIւckSW/ F\NA52.zaD2T>!R34L͚ N N &)ùJg3 [HcV~r<$y,CC[sRV=0?7O\"DpDU`Vk66 –B[;S.,7յ{AQU~݆rP[0zh3/a| $r8z($v@3\F.uE&iv"%?EJ$DRCTA:g 7hI$,fllDuW'MgYZ7zXZִF! :y]ŗXi%D60O.LM6w|$^PA$ YTUAƝeD9NB'J h' Fyņ!jG}{ 1_޶ =b1꘾t=;υ^ʞ b4ƐsB..( i!#QǼ:ͥ$Dͩ㉆9g.DTIЕ Xr4BM8ϛAvD 35 k%wǼp 1E+Z`}INA(^:gcmQ(;g [nH88 n6.;Z%Sư6Sij@{6뛅-!<8.|]MK^ k(Uav >)YLƸM~i>5Z}r._O/nlm %HٳdyP ^ oi#U{C~jyIe"tW%3Ơ_BK"PF;icJiYU̟N4Z>VhSmG0 v" chv4;nCv翠(f9R? Vz9XoN6t󑂯?#O&AXn\zBٛ^[vIHkCFX!dm o |+eso+-`6XȶUqncU,?򉯀tRd y]eYL=/JP!n)龲W>,|ԕ߫y8cA65K;A7|n5,8F(:XbC rbpEmݗ~^y|<vYΌGqA+A1*<[»P T%l=~ fNT2Ž3XHo#lT6pFJ߬兰gމKՄ=IDb(DXS cy*ayӑp|$u@|Qx\oyC(ֱXYrJdx2lm6" q[<ËC?KiY)zedy=|ϲ p-\(K7]ņ!Fzk )dt1~vVaCByiVN :UûuM❠`sS@Ō b!Ϻ'?"qsG 9LTYtq-tǒ~$ 1[LO X6K4@fh8T)XPQM Y6oңԻ;aw1z,񰪜@Wڍ=ꢨAK 5%S5Q na͸#d`q?u?Mubyd*Q-*X.nik,[>h8>],%iZu.^t2R?;Bﭟ>Q7/~"x]oBM0_obAx봰:SdwzʖBjKYv܃t 8=o"5"dѼ`pU /8~=w=0MhќA2<4ai"ld\v'H:;?\ve K.: y7f;0Q Fz&Զ)3{("\RMiS aR_ [Ed;#{ ːiߍ?.͊]mp17]_KǦܴ(9o}),Gf1Z (yC0`%.#}y\^sQ{-~}#唬4]3WCAֿo:nQ5ϖK#Gr *V+$?^2e;E+Ctձ`2lIk04.Χ")t=!N TJa!Q;X5MXDQrAxa[\tR=~PYM->-Z|T\+d{||K  W|u\FUCWiruJ%aJQqː0pj*'$+磓YU9I Pa kC"I07&̒H"z-i/aA&߿3 Y= QWJ/|endh0\[U!7jV\@L$?# k T'0_vXıxK8u٧~Q- Ʊq*r?7{3c N΁Qy&67#{Oدzޙ4:MDشasԠ)?WuՆp1 8{Uǔ9B6!+& l .]!CH:uM sE2` qCHiR0w7d\ϮHiS)pumD&9Jq1";վ]yF~w{5֧K"K~CxHdi;2{lF^SMZ>ǰu^NTN/:|s :ƾZ@fդ/,-r'>"3iQ}:qc XJn-NZY/De䦑䛶c*}kZΛoK)ʳNrXFرUˋYz[)SrK-BmFxVL%ANzz'knBwbtug-QTz iT<I(ntE\W>KVc`$7AK{o~D85T>㨥@H3iFtj-jK_nep(a-fpc:8?I{2 =[vu=oA&L}L@CkF)m2 zE$'ñM*P2?iUB( | G'T):X) {WGyj';[=rI4~jzcS}wm'^k0o=U-j [>LH.X q]X's `pӬ*SeC,Ayb(>nFm?"AܢW>/hޫC'ueL:LB鬟[,%矦3 Gz&ǧ%`C=$.)?WX(b[r8,Ήbd==ceATܱ9z58+>\280A@mlLX*Bbrn\=ntkoXSu+9aAvdy'H}s%zmEQq Qզ߰*lh^OI豦}*U܄)<} V~K;;UlP{=(!y'q|};$AZ&ρrDH#eAcQQM0<{d=SDxacal?l(˚,}eW|9 C#iᾘ(jUؒ ( `jP1bDO` BCS;vϘɃoɜFֺkpiGVCU󯱼'"a mVZ; e `,<Гn8n _~ً*;0Ǿ!*% m뇾CiRUrz4aA0߁iob(ٕ/NS>J2(Eq3&]6b!(Q\Ҫ'ݘK)UD_2w-eA /O#HhC/ .t!#9gܦixӒx~venZ-8B&zoCZ^|y knIp_fJ'OR:[ʰ(5GFQ'N|nxҰ+YPcE%5[?GBCBkcO܎"ݩOyaQƈ=y&4QkW)h= S8kbXwSAYu!h}_,Eswjh. \&N㻪&NF|nġ]$o3ãg~%ql㐚ZϐgdCtHb`1MWxQfK=P ^QrA?gpw h SjSLmus:-{~QW{JZͤ{:KEl>4k_?iEWa1qgF7lWoYЙb>磢bUαqHr{f½riq=0˻`S~,e&@iaYrI:b棺cs ˫y`C%iXLaO0)m*itpDVQN\h7li-`ie _۶#-/"c KD᳠u_^/#(".ai֙?9_#dj?Kz Ph {(V 嵕F߼mw-ժ;ђ#?>f}ǹp$K5$ թ/o~PEc1_oPɳ_ek(Яn*NFk%)øE*wE+HT#aܷᓐ7禩77->4'%i^&:/eBa!1E}ܮ~iQL1T0/lR,%Uk͝8Hx: IC_&QrnTxYynN%`u߇$Q'?NT#vۜH nrihRww@ 9J.N UiFp+˩E[9/OAD>-TXK,B99&zmP_ԨLpL 0]y89…$_]4Ro4F3IIHwk# Ph:&Éj'[6P{(*96Rʬ$S41[8UÎ{b5T"SZߢ-gbM3'N%~s U\ӦMڤaGrGc1B=Z Sء)"π[w PGjČbHoQh{㘭).X&ESDMUhsR<`Z\k66Vbڎb[Dmr?yR8k]oև,V1 56D$s>ofX<&@zTFq%͈KQj{){?{Jɾahy(]mv~a{pEb`1`ގCUD 뚪@q2ePľҵm?IahS(e +hN l7 REL\Io"|-!Dd1CΕmlw!.V\;ӷ6f+ E>)%vi*ȁ$2jT9f$\tG[^\@8x5Tl(/Es_F8j meP|60댟1iC" 7bUE\n UAIf3e>e s<uNשm0GPZ[)`'z1WBkUW4vFaVn(@'աʯ23#X,7s@ Iʣu͚P,WP'Bͻ) V] L ǩ!Γ]Ѧevn~Ԕ>&klΝGtn}yY?xS(P{ ^*/{\N/Ob j'NGqg>E&DO%m2sAei3-5D"H>M]dÈ}JAH}+S9}1!O@ڲ<0gk]TxzDZ4KiϦ288-@ < db/bE;{aGl'n?ng3צa [|͓`z"y(&{#@?i~8v::814" GoŸiڪ=w4*$ e$?M]*n QD!WcE@ DQdG'teaskIPcKOIn8xeolMVbIQr<'ģU<;tDeP'ƺGa* eeiToapZh F)9PYпޱ?D6 &R[KZ,xU@&xlS)JUm-n6}WFmYm:|E qA~~o#}vr_XҨޥZ9 Oux+^Ɵ%353)m~dBAӃ_HBu'ɘߝˆTGo@)! ]ٍ7lH ~mh%ݚwEX/&x7%;&mùD?+Qkh˄ Nω/ku&cJƽzqz&A .=QS3g[g-̯:V,krhP5+ (P7GD5EWlB[pVVX*p +UAT`PE@W-D1@Z7hɉc#M]וBi4 رu:TfI} $W 4Juʨ~p ix8C2391ӱлC׋=PagÆ_k^ dRusT¢p)rw40J`䗍e䎁VڰDWGj.ϡZN/eO9 g-F8?z ;Ntb?=`]|ؕ_KʴΕWoǍ5l3uY=e-"H m ('rmCwER/@IbN;fC֘5[xjt/$!9.,|un fo P(>+dG|SUN@uC_|Kʶ 4$}7{|B03B* VȳҰ䀒eDڳm8tꎸCZnWt*D ]1DK nuL'#,ެ2Bt{}RX?"-pXtNze1"0#"Ϙ)]v΃r($1VJQvD$<96wws^_HF!p7@H؄rҮxn,.EQQ298uE'n[>t]3aK?&#ʧ>6|nz` ES+pzC kP:ᙷ*a.=Vdې<V9j"^M kRøY\(FYʅd qǃϐ*7F1a<(i+I0FbOI9~#Y][֨ 14^+z<{Z#6vOQoQQLBtV$l#EVajVOޯt#P]@R5"PMp ΟʀI>YUm}9}m}xM*|ucZ yű)Z $kaoG9n{`#ߋ܋yߥqNyi"6iwwm p@Ux4P/yװtii k0;$Elӡ{ I=tRɎ$W]bv ұb ^ 7)ԒH_Ot=AFKqI$v0&YFCO-{PS+} yA1-n+HSeN{#8Bg)O/pk|0>u7TX%Pϰf{uq8b "?Iuv,RY_ѡ3{P1ϲ3fNX3԰$oB@KZImU?ΕњjCaAvFi#Vݳ0p)h!ҕz[W~T;Xv\ӲW%;&olFʙndw~!fzfaR ;<>AN,xbdfqnY5weF40)0/| %WNFXq7xyo%m48a#:Qc ϣ@-APǥ/#'T&Fdҋ,kAyFrÓ|Q-I8剮"tj+"BFkMj~ R=ߔbYJ0dp~~)P_ma?K,,*4Ϗ4anS{k(PyRL= yq MT%Aw R5 ' pKxYJ*n02o1"[gg_ob, ~],L&S߼x/rU*H4]2UɍJD?Y^eU޴SMXe_OU6.E: .ʑ'6 eς^\,f<)YSJ OtIuI³Bk#$DN84wp(w?ar<;I$װ#r!Ì9[ +j&rD R bM;rg5z$B쯭&u=4L=F`0\ɖ}S}bMğt?!jv:E4ͫ{uLHߘs;O".CO' \7HAuY9;m+f/y-P82xv 8Q,_$+R+6p]U Pnè\Y[4Ĥ"ݾ7_]Wf*5>! /.`I!%]P4ڻ:^ܽ^;ɝ/D+=`Q?Cvsb*)]}^z.~%σ?PRTHy =.;wm%@ҐiZ+o`DŪe1 QإeOc $L ljt lc>Dyq*rL ᮫eA3:7YRCۊ-NDdyG0d7>N mZLAYtҋShY(+XJ삸n a6 =uD7wgERcT+70yf]pNPhx3,D O0-ۗ~KfCpx ×*wv*¶1 HYsEʔKE[XT?݆8MoNL,|BG3Zph* 2)뤽5:%tB8 -6眔"Wj( ܠ')c|\&K@ўUL\Dt)7ķ|App`›R}ޘw^JG3hМXƃXnGH-+| +!EPG4bx=W?Yy1[;k賟Ԣ}gH CwM/?WIƖ:R8ca*KF?zn-g*JDSۣ/a$ SAbac$fʃj.rv&A!$E #b벼&`% `WaokX; ι1m$FAG&U~ *kj4I҂dKphR?KݗkK&sI׻Ku?- ¯R{āIRh\fѴWh'CǹTVpjprKROS&E2G$*rwp%{!+, }n}Yb'uLw#==[N} 7>;| 5pĥW.2kDcK+һT'шJӪ:x;%ZY!6;suF#󯏏'jZR[0=V!a^,CFٲր9ˤQC' +9R5Ci"6aA$M댩v 1ld^%l Rc-nI~r]O-ËS?nt^U!=T~XF  : i{߱.GYRV7Q_/JjsRޝu~=ks !׽2PW?ǂˤWpRE+# kT%b 4eGD?x.fjװ,[ZP\}N7 :w(2*`` c wT\|AH|-K:Ѯ1a8 m,\sAĒ){;~U_Oi1~wuӥ) j_'<IYi w \+_*J!g1ZQ?-ŭU̱BRD 9ܕ(E~m^U25I2y4 aUBZ.QX!~NXu@~:uZk&Ҝ%.^3 YX NvY9; &U P1H'yby!t/Nsi-g,ajɜ "Csc:DA_M:o Ir "Qw(a){1nB8f !ߡǪ%֪M [l_*+LL0A|*N;2WRI @4Oc35$i߄aʋSx&˳88VN<A r, 4ԽFڄ!ez0 g올 0kkOQ hwCR@}ϟ淆uCzD3O fbrBvZ?sL :خk46l\)=-îGv7ڊd*gMÐlUǮCl,MA. |&]{һ:?7w&Bt1чQ슥Q=s*+׳1;!`5 TW5_MsK|