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  r' ֈ1HKy^9:2y =lHpW\ :=7d^*3>ߪ&rB 7Էl4hQKhO*tcdBQWNx%vPaqcv#\ Okꊴ`X۳6q0_h@Q|:N(((MۋEReW,vPݯy*lDNbxVk~%C tcƙ+jQZTů!C0! J>$jWF8)=; oL{$CW ҕp^6~:`Rk0gb?'"{+3;-؄#W2 #Ntz薋hv"BfZو-)Pw@QSF 5 Iw`+'<aU -ͽEg.뒘F)Yut0Ԇ= FYvKftf8G]6* c3P#1`~R[Y6zE} Т+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   S;'E%Flow_NetworksFlow_Networks.Residual_Graphdocument.tex<'G%Flow_NetworksFlow_Networks.Augmenting_Pathdocument.tex<'G%Flow_NetworksFlow_Networks.Augmenting_Flowdocument.tex;'E%Flow_NetworksFlow_Networks.Ford_Fulkersondocument.tex3'7% Flow_NetworksFlow_Networks.Networkdocument.texb`~쇠S bwwL~HvUn{ϫqyⲶ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~<%ʡ+U\RXd|iDyDcF3SRR,*^M$48E_W~pXh9]%FI)~ݾ?C~iv`es6Ƿsγb2n,~Y}j z#l`)=c7F%>"ɾ]H  eBG0oYFw:ALk /`phXF6aE4*nՎAL:ûb|{؜~:)./=|"f^@B5[0t[EˊZfus;Kb /n0KYhgl[jXl7+ZGO换˽_@%CnwكUnkIC}gɬhjm/{@fۨ2SVaOq@Q6i!\ЀYjcAؤ5q!#uPsw6sjV+t۬_M:/F(߼ WkhS/2^_aB ; [Ԗ'+,LOAzϺ?)s aSӥ'zy^. zEG4yƙ2bH[ZtA,M1_~ş sRU*mhd+px@|L}֮YBCex޺Ֆ0Uը\Ua(f|:X"ߏ$Ns*7R30s'lIv;]y ׫Yvv֨=s*-މvNAY?q$֙85|m8dE.ܧe9A֝$;:X2f1"2P_<;y>8$òCBx0@+;'0 CdLVLer2Nɵ…H'C&ѕ.qb#۫} $/Zc==_34fgYZ dcg+4VIG>@a\vexvgg B3i] 0cs.‹ m&HebhJM>H=39RxmCzl(%2D7H d5fE s7:JQL.> 0+(*U *>x|t$V`Wץ.[K9U H˜.)LsИQ:xnߑF+jG &wSj)x)pfv5|]$)E1HwĒ3to-ʒ%ͦ1iX m&ySY%5n! VV2"lM7^&e.JzWŽ 7 "g堒9 0jxЛ޲;sc@nY=H|k^3sE2=4;unFyf4+Rs_S+U(RR8 *Z3k}|Q2:}ٯ\=تnh?|M #aW#[ /q?I'"5n.?#6d--z yS^פ%fc0W %9j*_j`]%Stzlᬏ4"ꊫZepm># p_xSw'Ìm}mZڧO=S]|?TL!X]o Pڝ ~gt\=Bt3V^22T]9뭮H]m xw)mE9BD4NlAxM׺\lɎZKIȷ)w]O^".&!"  9bfĜ\Y֫_ykJZ _=gjZNIvOir^C߼VeIjz9g^ٯJ9)|g:!AVՄtG~*`gyS)7ߐY@4f;?f.wx;x+a-6++Kq3z5(sx|{2F S~mP5m׹OĂj=Õ`͛D"֡1/ h U;4^ ;UgڌzT`nJ2 Y|)\h}_ ROq(XnщTRܰ2rf3k{c T[fu էyJcܐ4M%tMC $L|FeͲ ;`lz׊抧\5{:Ho'm?8&ng8…;!(HwGFv(;k LX%`aCcY' ӗK&JHEP:A-{SjD~6U6)ogCG" <ٮ;=rbv"(~ӊHp@?ElHē1BKZWdLN0=#%y 8\i_ڟ1mDp&vc8!zNFejyl0uc>+S[ЖǙԡMWNNxO}z0NsmU-Uy~4/n8*/UF_>ӂ޴r6`Rli>jM>&ۗ7!f:7fCƻt NgA}Q28߭lg~7?iDZ@SP7onV!8Muռ0~bXA5ƣ3{~b7y:ŧDۣf[/Cu}>~ lN>-9KQ-̝xyu!8[}Vkti爧/ԽZ{NA"_f~biX!\elY\Xf"ר+]Bs-|>(lߠ?X2-{h?pֻe [OY~!Us40K״xį۲zv'1t[bdgۺ` =dCQo\0SR^kC(ǭIS@A޵)):ӌ<@(u꠿4PBO1GbD >yC͹8l(h,߇i4?sz1Fy C`({gdT@3W6Qa*)Q˥wA.,[ģE5|(/j~ހҥet=P~pڵ`Ԏ%ty8UU ~ DP\_' H8rp,Xfm3n鍂0?KZ(`Z6$ߺx“ [ \D cUؒB@E_T MvH!2XM{vSN+@xAx8C5(2/KaӅ^X/Soyjtps&$jV'CUfCSV.=NDl;C,9y |p+O!e_RڷtC6?;kP.~h}N9Ēq j`'w!9nu*#4 礯h}`Er6i)(q*kxgZTk|k=+֪jZT./! &B#՛]L|=A\#) o[jMB^ L.[9.]i:#{g<2E} Т+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^ Ƞ" J  A)'G% dFlow_NetworksFlow_Networks.Augmenting_Flowdocument.tex7zXZִF! [,]A-MՋhvG"uIBm5ŌwzB&-i<4vrwj9\DAuRQzS%4wW &K% w DV79ᤞH՗l{ߣp4v[ XpkϿȂK^nY)T"``VAq6J?mÚS}[>%: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צަ;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^JuQb鸐'AڻݶoO8vpB\qIc/z }p2Dj t@++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 ! i}&,J tqh8u#u=3,Ye3Kʄ;TM'>")^ UtR@ mN#8D Zg/uM-ݳ-35jzŅ[МFk#ܚ|dpĿ3)+M-F}k6Bdf,Te ˕LQ Ϸx5~إFϿg'/U"}#5TtҤ^ۏϛiC 9U8Ej-Ay6K8)ʱ̜ee۸EH\r2(+E8** \.Wיq~1bxxL vȩ -e)K ^P>׀3omqt{櫣2w)[ 1i8SIiEꆥ>'+OfQaTĮ֎)0g|GIF&,^:Yq|49&WEY^t1Vu Q_USs^ ):]?prau?S8-Hk;WݳECdj͠ nDSTa_WLieS. :j*c6<RoE3\As{i|ͧ_|R[qu&n;_O"7Ot5CW KaL9>TDpt5^1tl&xS;eK`M4!ZQ}a^J­[^9X :" o-`ʣfSbA>ur+CXx e3*ܤA,gYZ !'G% TFlow_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/$!5Iq"\t".qp/9gM,2ݣi/Ŋ#+\gkJM#v>?w*b6ȕr\9%*RI7*:8ݞV@35BV*\#dj-[o$.KzrTM6 1͇އzBDҒaikg^:(Q&vgҾ\y)[=&9Բ;EECsGѴ"9br-fR?hȎ@[9&gYZVJcBx۽QS}V.4Y\^ݚA-R#5IPN긫 ^+^Z:0erb zDmupPˈԊ sm؍L8r)|G38֡p;۩e|ێںrc 8Xgn O@C񠒉k& M_ث!2cD/wVnz\TR\XvYV,'ډV%9s|e$.evjY 7rE9ԑk7hҥ8Q[N8uaG-Н$^ϭqRnQ?& sFˌ` V?x@Xv2EB<͋ {0T1;aHo,$+gY`17v)zsԅpjgO$뢝6?'+KDŽ}t俿grn'5!5y]cľ*gvc=[uHεEYaW5ۆrp9x\}BZwl-K& O ^Q8SD!]/!QV?0~2{h,F~81a]׉%jP :!|^L {wy%rTh/^+GV! tO8A%n?a䛽[ f]Mz&lw;V@= QWNm%7>iƪcoW #&M~& ^@xӅI/78tǻ܎dl[< v3L5f ~^SmRRYH" 'W(hnj.Q{r$}3N 9;<6N5q}xe.BhbK9PF5)ΜZJ6>&u󷛆r )kFT|PtJHP:)@_u5F9=PM66^sGݚ5ޯ@H%,zjIcpgFJ2fxx(A- pxP4P?u6JVƺh_~ "IXAٯI3Sn:gk1j }Yz&o$7ʁ ڔÌ&Bѱs}x$":lD>~NZ!sX?G ym_%K`Jf=;~}EO/=fqkGBy}Dv# TҴ@mpRm ds <=FyR4B%SkS$61ɗnSj1Q |NE|qIIj3Zh<,B9l}HCwSn&k q8@m#)84cl\2$kZZᡡ$50UұL5Ԅc_(LɄo.b#w ^:k"(T m0҇ yfyz"v#$> PMSr7 Sa7+skhS*zMA4l骒sfκ|Ed,N7@ݯ*.㹡.XpJБy2YuD?{sĬ{K1Y 鞇#G[+[E~eV3k*w-l*PEUue\׽wA-vR/7f{ἴl)%_mP7 ޲cR0W"ͷKy}bxP`T|^9 %BAo>C/-Mo'|GS{#6I'\{=fIX oS TqH !@{du\QJ& `5eV|}h}-**נ Xˋtbj' G/,V aA 'JZB"$F <2Q.1k꼔Yv!oA@0Vtf)&Ӛ@^Nτ,L$zAy03.z/o5G7 MB0EttZ:3!!l^юTMmHI흹8Rդǔo ]+J5m5wBiQp#TyvODթIQ_k7o @N.&E+*| )%7ӥ2t3B@4/֢od 2.pZ70!'QK,%,VoIcr[_m1B"LE^icoCWOP.aEjz*EmTB#b bM8YnNΐI gc WlB1kMsxn68Tc3{0ht˃ƴDsoI_By"aX;жp,.1 f)#u6 OYu(E5[A.CΜʗ$s}{wy$|W]\ghS iFi{~"Cs覝ߚOV@(;S|nOTu:=_3V7&DЊ i^/ PS,tAI#kAld2QF@p pwV͕YN5-u]O's# ڥSmsew(j:(묆J#q*wA6'W7sZ#K!_8/=~H y +_&rIOpuo꾰3"9sr3675L Hn Zzm/QɐPbuol˗׫q{W7Ԧ>¸1e&5G`-qgYZ `'E% TFlow_NetworksFlow_Networks.Residual_Graphdocument.tex7zXZִF! ]A-MՋhvG"uIBm5۵fk[a". ǐ.99]A}hOqgܱb-0yA_&=npS0&.*y,_|J|'cynk ~^q_wg42PcJ7!\$/4@ R1[ 4bcc-R ȹT^޽09b%۶8ԟ'm3Ϋ{יּX䂼-p`{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-NPxH;{I}N/UgWԻ:ؽ AsamRcUI%=vI8 %grk0 oLT 8NN>T`7@^zdYW=J*>EE5.%l(n1{gϟU"YnVR"{X/h|d\ ZĦ_g hSm=廙F`\),5 &nKz/f$r vY }&;# Pmy_ DVoV=XT3=ƕXEOgf76Gi(9Pi.G3<_$ Yl(Db⣢p}fU1ˊ2JOEF1}.ma !>'}3zQ2IrXU$,s2 \`bN/"gYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:? og_@wq;32r7*289 g5}.\ׅ5`L*JI#o%\<ԬB)PɘP+cM]B3\!~xuse1"vjie_x[I2|S=.% - ,#nhUIफ5^80"`:¼mG`gYZ7zXZִF!  ]ŗXi%; |4G{3ñ{K0.wkU-MĔm*M z&B Q@ Bl-e3WN*ZZB< eC;D7ay9M]]sX*:RpTuz52Fa`zA#(Q9UN)UϘ4Wxs8IGG8m#c wsK&*|d90P><(bnczpk4z,yvD~ܠeQN:Au=Fv#TwSg' jf-?n/3Eg3@C;HL?TӞ)PZ$.&BPcz@pַ:*ȏr1lѳK-7_9Z@Ie3^zKuJE *p2[5K]eBn;QZ5 h ylCU~S:' `MB@ڋP"6\8٦#LJGQ1aЗX7/]vЅ[pkBXu%"ܞrp^'Ɩb8C@%oL잣~:-cutA[zF؍W<׭^@B((4BD՞=MLe|Zjtf.9eH͍uۣzOR/lT`0"4&k9؛2nQ+Z-8:_jJm]}aLڧ$XْDBń?XcYQxo 6"}Jf̼iɟl̤ !H9.ŁK>p\݉2U&tH[`k˞p)nL6;8pLڤ YC @bK@ײpNkC701`kq"h;q~٧#{^'yD_<Ztif"A֐cE^#yki7eK3f/o$U:KWe];K1J)c؊H LI5M0;4JE{=؁ ŖT98>m*3]`+ l'ڡ7d=ņJz`' ѐ/zv(kmW: .=}iXJ$=1 Z.}}vtk LJؗ%>m=W4G@tbk1F3gȋl@da0[eѯY>s4AbHD6kD`i PxKD>E(ee3r]ĂI$S{` GW%\C>VZʚ;$!M)Ҵb#2V$|5t"/v_g\]8\#!iWQs"!PX]EӻS 5Uw0`o{M4)e$?xc66G*dOۧ+nobY6>.>AJvBbL ¿_͔\L1`]5qWlEY9GSѝyV4N4%4Κx דPME4b-4Ugى <]X3 < (θ}77t]?KUmjTT;gzy-&(&En@D \ *oz@:4=^"1E弃V>\P-da\Pk3k[zTJDέV1YrO}#EְlG]m]b_>H;lUXx AD\9T$srK6kk{fu Pdw@xq3WFmdz +9w4懺=H,9^vY4J߆V{= 2fݮ-`5!jVi7{Uz[V,JiCk9丱!v{5{rHೋˮXI23hS?N!_ J>?97ɽÀN>6T[2Su~._o AbJYSJ[=bBg ){q2,>s3u.ҹc{-{ՕJz3S̗`%4ZbU򵃧y%s\K̤ͻfKDY,.%'6bX O7Ai:+1{/]B0gͶyC8Ѽz %UgFUm@@4kӦϠn{T}u6L!u}eNǧNWo¦<hgYZcfd1f7e0a04f9065d7650afe2314655967bf19005ef6d50342693f7e095d0dd59d86225835695d9b fa5fe27d0d291b70d86441110e409cd4047f2f2b 71a93dd97205bc048130ce5c0dfb2434c6d799ab f34d37ee74795ed0809f2386d419d21b65758633 b47601f28ab22d459238673c05e85b96f65cf3a0 9dbfb668d78ff6e8b3fbb3990f3576a6eb9fe154 c2db220557793e419bd7c14e82df971b14f3b59c fa6cb8b80a66af57843c682991c7ffe1571f2b0c 1009a0141877267c3051ddb8fc3e8c3f9ae9681866e61320a92d9aae2417992c4ca7697aaded1ee9