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  / /F' Lt4 ]m]Flow_Networks:threads=2elapsed=57.671cpu=80.956gc=3.444factor=1.407zXZִF! (Y]ŗXf1-/6vRZr~yյG!ޥo(?{~$ !Ad}[Ռ+ϻ~yuW*{|Kb5 pM1#^S$lƪY}S&st(M.U0 AAݺ 1۬>hŒflW)ų @BK80pmK 7v(zbn,oxN*z?d`7 |PnqHx)AV˵}H8xFRwPNƬ_$dNK uG <)O(_=g!Ia zNY˲rۋ J~}*$0WUL;$]<  !p~x3JUoK`(z3-C;h:>>Ӗr11'SG-C^75~M=D\A܃͸*(Z{9pFu;Ç ͦ\ȴKUv *;i)9Mѭ'#2y5aMZ =K`w-gb'F/[, ߹tNAlG|3\`DN 0;1ϗ~Amv\թ\YY0J/ N٠mNPݵ:uӎ.YbPl/ơy?$@̖/F*M mr c.zD|l1Lj9 ʄl1%ІX݇ , `+/:l X?圜H% ' Flow_Networks )'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צަ;E} Т+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;'E%Flow_NetworksFlow_Networks.Ford_Fulkersondocument.tex<'G%Flow_NetworksFlow_Networks.Augmenting_Flowdocument.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~ݼ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 ! 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 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<2%: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} Т+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 A4'E% |Flow_NetworksFlow_Networks.Ford_Fulkersondocument.tex7zXZִF! 66]A-MՋhvG"uIBm5nM:[4Y=ӜD23 AAsNҼjƷ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@+W'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\ ;<,xN/p5`DH0Q4+aT8JD-MTqaPj3 q(%0)5o`J^%֠,̉(?it^fJ%A_ʽ5(F_ҲOLϨMiL5K{e뾷+&vXt0m$ɏwWmHc|#QYyqپ|') 5aRPB!mgYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:? 1η's>Cp9/zQ8%# =MZO0u"F|=~әF q%BEU)vzr״i]&&gSVɊ69מAHd4gYZ7zXZִF!  ]ŗXi%; HH$$"԰}b_K>RB:xр7qz݋\uX:`JG/X?|c1(qc)]2.Ǘs8uk5Ck TGhvt"IDPC ^OenS, 3wCUc)LHt,M?:IUd簆uh(>+k"W\fv) ]7P!ⷽ\`6Qss~} 5 DV0rۮTsiF0gVEq|{:$ gA,\{Dz,w]OVBa0lQ 8便6vHГ:qnT%[k,RĢ! נ'uh=ޞ܍ȮYELK &>ݰX2z*0/%3Lh/ZI!SH^!6v#fF㛹P@-7*R4Dފ?vo/cH1G!b Nĩb)p7P\y oZVUpIbU`#M|淽zL/f#?'=yPu[kj "잫wi@>u.)Zȉs,;"5 itxy qfG z9ɑ3y*[笷, l1k'w zUq.锭9(sY'9o|Y=LmL&ֈ7ôI Or <뭮N>z@"c6ЙNAp{KKj`QzCwO ƃK~^PRF?[# x<פ*SAs%;L|LRc˜'yÁ"JFq1ޜ-u '^pڨ9d=H͑eP]ٕy:&G VBwu ݱn=^2weO(&cƮ@#g3)?\Ev=#;g Eش_Ĕ2%Shy>j/JDfC"Q($eyiI^CJWج נhw)`K0%A0S1 . R_;i˜CdRnŊƭݴ=@Dja:a3r Yn")uGUKmdx<;d%{:_?=J:W)hV@԰U!ŨNk+x/F1l;*wh#ItI˵-V4$Ko6O]@/Y¯7ƔF~WwK6L@t22*&x.b,̃)?LqU𔑺YVPzL/N3ԅ _ƱV5~gYZcfd1f7e0a04f9065d7650afe2314655967bf19000a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 48f5e92669655eadf836376133942ba1735ecfbb be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e 87bac576e771a9f5831917f2060c142dc9c6e504 b4b72f8b5bd3fe1f3d9c8a06ed37ef9997e7bc16 45098b2b6277b1d020573fedf8aca5bfd58394f4 3ba678e9995013b511e771dc5deec705a6e97d276e9a12a9d920627876f5caa67990c2d12f080679