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 jj 9v\d\ ]% Koenigsberg_Friendship:threads=4elapsed=36.428cpu=123.676gc=4.6407zXZִF! 4]ŗXiɟA5qbh,D7L&|:dt~5D$b_~O̼cƪC cWVuuHfocpf_19= X43V;d\vS:巐~ h.JU2KBd34o_?n\/;9r6`9.3^9Ol isPTgYZ7zXZִF! `]ŗXiɟC3zto?;Qŷȼq,S6NbhR qY5aue'LakHG\n+Q~ǐ 6f>mn19kW4>L1DoSyp{+CIʝoH/q]dE%5:&gyv[Fg% TgYZ7zXZִF! %]ŗXi%D4L?5QZPݞ҆1fɾ&]%n5Ө4a/9 ).@6>4n$L_ra A)]ޭWuO?&qEq1ʀ2PAr܌<&@HN25G^;@WRu}H qr<|`ﷲ> (=η Vvb2T[2W/u{ ӛg45_%+Ż  &81Cܑ̗X07ѤRER`ݐ# XR6SN=(efR: q=cFqdD '%Mw3\XsCF{:L/96 OgM-'36z Cn3lj:ٌӉE3e D!"5 ܶY{[j+Z2@1T$6ȦiTcǕ33xL3POeF}Qșv<${_-z f)B"j6=uF^i, x[1#N9R91ay8!3l}N;!߷BQrXNՁ.}!c'HDHr5aG k  f,"跟T ~M%@8B~|>@{Z[ed5ȹ'MѶ${Ԋt^) 7N{eR &8Wt=I`05{x .E"M Rͽż(KB`#>Яb ðJA$2xbFNSK=e~ l~K)s_H\fQg[P -|6Joe$r1cD6n齂9x1Da›᷒UJ6}Y4B1fK RDz [ /oɉ=9BR^{/jx(]59良 XH{aD< Voz$ Gs,-TMogNp|l#>zqDŘi{ $}DGYg`uMi֋ u݌g=Ɔo=Q2\Vׅ"j`^0| *[p1ի.8("}SzQld2 4An-YpDk nH_4 3U[rXJNRȤ ?0QTmD;>ǷfG ("!hȄTOv $;AcoɚWa419@QI'-Vss?50`23|0ќ7yoCTqQ/P|Ss4`V1Eކ+"4=v~H> .PEZ@/lҁxQgObPA;(8Fݥp!3q_ELv#|tyXSA5Q A HA p H%a.+W8_]u5ڑm/DqqbɎCP.Yȯ2>I8{LW*}}vKmLC+ Ĕ 1VmC9D 0s\l_gfS6$MʿLi*X;ЛS[Aic3hƘL-X.%ua[FiQS*5e-Tw0+H+QXp)qo7ABE>[f®X|-Hfv#[jopI=E7P뺣wEdGdܹƖSLpoCŽ9CV$ S~(|豰e_c22|j@#H3T" 0 p|R3٠1/"Z1U ƶsmk_`%ͪY_Mj_P9 Y-~l <6tt zp\̟UZc\_c T! XYyM]H-S "7]V/=#Ee=+ԞsݗwԚ}~|p mBjkwa%̈́(]6H7fO|*fP3*q/"v2Ոp&[{pS#q9 u:akFF60Ed!4<_ `F~F29H` ܻ'ξɤ@}Y*&IUDפld=(eND.N/^ X^8lZ [K@kb8vJ8x9Qrͼ+>H17FE! p]oEb催D-nm:qH.".ɭ3Koe j鴗!&Wŏ2HyDmU`+D%bgs?1&v݋&$- \.~ 34ڜ梄!ő> "8O([Ѩ  boUZ=~xkl܂\Kw` yG&\I;L@OlGɁf$W/Ud+HJץqh೿m|GG2]M1hTLrYRsí,W D(;ύ=".v-@ȝL&r4a ۰/m} [VgqdOJ/{PKtLIvzo$`OJ<lx|Su9ki>˿70}[0ɚ\t0੄qYіN" ?(ۨR/gg͍)+qW#i 7tR6u5ЃAhkF>7B?ghN( U &_&xC7)ɞ r$c7RUĭK%h`S:Ttש{w?@m4e~s]+Aуetf@e烁LJhe%s:jH$}6#kf&B pKsabf!\۪q PL"*oL/bkPs{͜6+D!Ӆ l1?&J,v7qayrBk۳:Gc$dle&m]M/V7bΟ) fFAkm&)8gH㋴IJNUS[-(Oyyh|tH K s66zSJBM4|Z1TMsx{anuiN1y"CRi$χa*L|~_% KϜȫ4 M#rz H" T&AƄdP Ofv]?p~SS(&䮭;T-ͳSQ>ʇ(baܭ?Bs1NQY[|@y{ǡM҂ ء ֱeWG"1 U !0>Ak-Ti~M\(xn{߄zЍ_[#+OK|Gq.=dds^|6%m fE,eM8݋1v4Zi[mn Q%tyKV4I*ljI,)eL'syDI}@~`0c|&W 9طfk c1I.{gm Y&r&"K x,~bliAcCuvBZ3M#iҴMW @S$~KM>w3۬&ζ`Dq@ݱW}r~y[ :*m@VF\'=&{-;Լ(=ܥs5""F1-Ylme" Avd@;)2d+-$5$Ӓ}INFz,k7c D譪 i'jo\)ƤOgd?,ji,`:#UE*>wȔ̹~%}N|I,/yqu;UszŔd  !B"Y5Q"NZJ*/SV4 *>"flkv<3½yg +,^zKWvvpiW,ޭy'oV!JmC jF=ż<_&ADI͏D']eTo1$ű(G]&jݰ!bof*p7{J sy9>ID[IZįa$5'= h8 6ͨJ**9gYZZ0%0o2Ə*%hKBS`hYr^ [?P Y5֘ GKT$N&~NjR#zmI"H% ]m܍u`) !TuR5=. Q(4#.X%D(ÌvUT:ԱR#\ :hmH[e\XA'@T횤 ڬ@*6KUaO,-Yӳ>[rB[aLs;%~unY݋7-#n(zwfmNQbY!`wZI!69 8 K002`$ ,]d~} e:}Ӥ4&}>G@{AdDaI2Ul5nv0C_޽'a4YѰZnn1RmB/f/ bSOo`{Cwd- Ș\tC ~]%|+-^fgS="1n6yt3դy~|B+[S9c|@'MoR8ω>-'B t)&2#+rǩ[ U~)ga&%A 4t9`:I7 MQ{F9IRw5Z\ e8ɧRA@ xWnw;'5=D]tozkG2qmFoC"wgR&u /8z taa3*Xn3.BפWg՗j' -@DzˈW6Ɓm&<16^x)#LՆ aC=G|ٌ)lhEao\'Y`lG-oDֽj1F5V!u6o>+"ύmQsK"~[$OG{Α~GL4QhR(Pes!x#߄jS H,9}᜖Id $mw4?<8ПiK:AlV G;Ѻ* _2U>c3yIRPU' D!:_H]uWBװ0UIx>*uB<'RuxW–ұNjTO@q}AZ/;iXoN`ڮ&Ȟ# 7Iވټ6n{l|K^QC,d9I)G HpC"uHv IPt(ǁNzEw=}..ejNvJUA:@6O1>/IYOqBzb_J sy_ѩ+n_+B{3*Ћp}S4q !C1}Ss&q~tE bO뗛YŅ%CѱSΫ:@Iz>$(gN/zZW9: ؑ..!zۄmE9JxYCZsεoHJj7rb$ْ/1H\{\ Ш\\{WZeW(z!cEQ6Ost_rb%\l "`3TU:O= Rsew \gKFa4:+/oWI7;xiyPg*AZ (N歬 i2TA=;ix{WX,dyhse{(L;IU"Z>j ,'/sǒ$2爎'eṽAv/cځWMH+e&^ eCNAӯCaBMj"UK`>,^$S*T95JVaa!UCoS'(ɊBvS+F+vLYC&9 U@}ݴ]7=࿿O}o*+~";l(."ne?qƻ(iWIt˼qE\r'$ JJٷ%4v~\⦅i1;z]t,31.goGjԪ.kԟsǫIV]Ӗuk$"f+й;<NߕS-YI$' _>U2zKByѠVLojW~('_ ˆk]j1>҆:R&MBRBS0Nm}GSk6_J諟LШ2v&Xf:}qD2)5խEm VOS?Of<oԡgiSTHұ<L9HoFRgQX^x4־ϹLeV)py A~)`i8.w\E );aAgh'ܵHu,Р_F#ͽm6{?#0 ;_V`hi0<M a7smxB,XOQU%Mn) ?X?s=nӡ?\wۼ $jWP Td~0eC 68gfyڑYJS"Ƀ*.Ʈ,V|iL {]25 EEO*qGٲ?v4#okTX9՗:ʶJocv7Dq6(!Qr&Uf\飅z(Q apNx]ɛBlJG;I ~?!k]o x$ kɹ[Y۟ Aaǜ_l ZeP I`&39;ݲVbn YVcj WP2sw,1ml3Z_"jCq<0C:N;/`D%x/E; ]tRAkUtaFe9g+ը<_ %g#1, 륏a̢ڕbT-}1%D[q-] KigI.r/9LIVLnCW .YxLG@.ʃ];q[ 1ᅵ@wbJXH'j=lK]w1>Ym ~~@ּM|6%d$Ь_eq kȯK]֝Erŏfe$b hRLlߦEj0@(4%3#@ݣǧͼH:E+ Z  U'`/#SH.;C˲Bl":FfhI6G *qy PyA<0]6YClVa@oوx±eM˲ s!֬zJzvO#b9f]u{}G)*0O!Żih<7ݘfmG{VSa"`Nc0+ uI} >͈ yW٤T2#v,^4.zR3eTa?%YZ': = B5N}Z_ĽI(A͹B!_B ڨCX'H@wj!5tNjdQۂ+;{gU`О!Xn燯BYJ p3xsn$}>4](^HSaCUK% ڛ y2ӆ'Z5-̲^v^`ma&dYw0̛Wuzwc z[/ hh ~V` aק1_yr'9O|$3i 0$QMz,E?.qC vz2srYOmWʿLm*[v w A1 oѿRdѬ=Ó?\˵XcyA_Aՙp"|9Ѓ Tr _FNVBx(Jm[p 痃%J* !w F)y7F94^'blw]H_ O^5|ϡ,DڧYem[jìM'iUڅQ{ހKVwlKA\݌.iP?59 \f@O|Ǭ=ˇnx+Cj4:|Nf|"TI6_K+>f'4ɣR4_hVZ9_4W9g#5M`Rm?lA ւN)hEX6UMSԘ4m{ e͈ږoOj??'Ձ^{%w"/0(=ga7H[}Ѓju4$!fw#: "@d7ߪ= &0,%#\+V8ȢkeZ&= " {R!EҮS3WbQSz Q&>V8i ?y 'yQ[ip,ɿfv]Fl)J-AĬN0H4oZ9si1.9e r άpbg>Ȳw 7[RoCBB?Yٱ[+sc߻߶Mn}xD@vwY(Cw[HkZbw,vfAZs [IߢXBťR{>[]҈m-VT$_=i=XJVHzޡ1Pu'E0B ]LYÿHHє ɥNG^%t$J,9þw% >|P6K}]bjiT@&?Ё Ewa\]{/b2ZPحv`Pv"*OUu ZZ=̕LdzXS_ @6MT2.HPC3\) /QLr|s`mVSbT*q, @nHYP#Ka8_k :yWҼd+FܪDR%V7;)flmq(hљix^ 40Dm!\Nvb$8 3MJ#x2J!{B0cs>X\Ԅo,#"t{ bo]J<c G1^5)2㽔[MW Ԕ#c{ؚͣmUvVqݤZ8T9CȒWa r{WBHDT*(US>b]҆gR7MnJKU{!Sj CAגq1$6DK⬾N:QIج&3NAړnHf^$Fh~h&bUk*T),Oa_e9yB=.DZ>=aeꠌyׇ`$%T9(^D\a@ݯ[POZԿ5dp˜'u:v sK>4#v :MRΐ:PTb( /`wq%,@ђ|ypL** PoPdq. 5͖/sP9Qֻ϶Kpx%UiYqPOy3Zi=oU(FҜm=i "0˝RZjAa\xa.I1r@B|"Ďr_S0*3x螵/nW1T[Ů/cYΞ4˸Yͦ0o %7*??)Hh3㊐f_Vܒ9+[lY[KFߍ1a;WTUapiuUk t)$>-qTuC=2+FŬl1𾢜툵G O7W@Wád sJc_ xy݄uı:{\~mV74[x䯜( Szo AA8Ba~7O K*U/P:U<3Fli_:%Б>݆N#-#t8Hލ9 2ʹ .6ㅶ2 %\gK;z`j L'De*Z6[R!%+be1 `R* G6r{PHYcXx6\#mQgq[U&֦ ܅W`tpy6e#| q"!Tdh;D µتԤk2]F[DLu"i)%S8l~ӑFŕ@nJ9c@1աJ( p9I]muqTΔis!7TK B(^$g-?٨ftbtz.NTdO"c&"i(EUmCB4qݧ筟N:pwyF&s͏ ., u~AX措rVzZ9!#Pׅu>] [sQmQ&o#iˆ̧n&oZ@Zrlm-`wd<N~¤6Rs@_Weo!M v;7CpBۛZ,3 בϜ#g,_O{ӞjCĿx~ϕkOzJMK&j/n[T֘|gJ@ 0R[Eu|>RjΟ阵PˠL% ۊ~#,6:r/ί-o^~K{ !~Nv^HI-¹DŽf9+H9* \>1/-L? p\LlwĪՂ;)9tl2[3taDG9~JU-ہ˭fcݍo*`P{7%gD*bXr /$uU9s81;cH BǍ>4D.sSܓBP`}6w(z(zk/J;1hes[q 3dјgo#BD?C4A >6cUTi `h))#Xw#=D*15 Q>/珞Rd"jIo뽃RA<bσ)o\>яXbN oB+(J,6,w`H:bo`{ a z#їo@I%B%C)L=H& 4.e=QiS+&tTwvtd8mV6]!{L +8u rod78i QAqт&Icqa(, 5~/ }OZ &9ZLL9#\Q'7Ȩ7ЌDHjo~%& [mҳ̷!6O LTu XJ%SקkFiW_f 6ndF@G%MY'X ޖKj5;jCElA1I#$9ۨk^@Q8#-HS٫U葬Ugz5EN."[r)[ii4ƒA =/zE-0bN濳0UBxoCW0ۺ_IGdXBn,z)AO)_(,, >zޘoB81UlL"z V=Q~v{}@!gu֌NJ潆#qf'XDO05AB3:0F!#Eh)+A,x@@׃9'IL-,k_Eʠ491&ȘHP<!gl.n73G nۈs |ʿ#CsթϾ7X9D AY(`9$7ƃ cL@5|tT᧔))mmJn?iRɧ<<(J+3VaÍ.* 5Pm3Y0\>;$1~Y"5Xk~Qv5_ >Gj +Ҹ# bڃkG ^ZIf(T66E/hHY=9Q\1IjsjI!viؖ⓫>,Q}k:9t >+4㼚dW~K2ASrZMYciCJCiAЪK8v^C DX$k`yzg3PЉh;h8gH#'2!qLu|[c1ޞQ!=78jylu !"{C(s,03%g$}:JϜq N\{ y :B Q֥S (b!xkN6v ix'”| $C/a?;W*^c\X\mu IT$_0'E!KWD {Bk RIťQbT$ ;ٖuqe:Mf|E_1 d# b6TEkWNqP&;M9p4t(вٿ9`&gťLS\oSj2c{~W;Y,f %Ԭ]9b@Πfk9kɻ y ~I-v_g7@!m~oNZKZŌxMMycۜPע> 䚟ou!1\LH `$,}\Troa/ M nwaķu9oi?hRwb<>?S {Hx$_1\r#q:f/^k<$bwnLe:fص.3QnȄ 1AIMǐ1ٍ%_yRc״`38 Ej3J^lzܫ=_Kg`KG3jιI"e~7]p\B֭/^ =!4-cmMyz$a$Gz]'T)X$2Ab c !j.eGI[7ƻ2a q㍸mSD|MN$}ல:ó?^Vm#:xv2Jh?\Lb,3\X A#lL%B+f!4Z]t(^$1G#56hDZģUbD#} d}dĂrrrhE TXC`9|uv'gS!HJϡkjRvum)^i@jsH@0e]ckڧJ#NBK\ƍ؈0e Ě٥]΀,Q0ueqq)| /J\N"Z !Eŝ m90%7 ހG}rnB(| i$>{#~Gu[+/%b oSL\˫ȧx̺źQ tپ̒T?l笻USc@5Ǩ]`&:БD8R^}d-td!)g_Uh <$TA4M]1Nb /W5?m?0y9dV,mqDfk~IDa#{+=RuT1qa/Ȝ"N fݚ,֓ -wό[56۬u'zj7]>먔zY?1$7ǙQ5F{_ } ԫEH#Ng6_ӈ)/ )WA.՞xgHVyZfUqV"C#u-tB? Sށ {J ֛u2=|ūwي)]xW5bhmyIɡ]AerFw>{R;jU D؛n ŊQK77P?Vx;oMolUNޞ6 +@">}l8^,5 e'[ri`@ŧL̓,{ڀo}ks\C=wMN!+[q_M^M7X Z?O.v:.:,-5Sp-ՙPܸ~ gYZ  o o9E% Koenigsberg_FriendshipDijkstra_Shortest_Path.Graphdocument.tex7zXZִF! ]A-MՋhvG"uIBm59! d8 mO.,Ve4&Cm"ȪJQԝDl [:19c֐w:|\Jn*qq1^ ܟva ?HW}ʾ ʑ fx Zd0v XIbz}$Ƿx&O[JA%9 pBC (Xͮg&6z Cn3lj:ٌӉE3e D!"5 ܶY{[j+Z2@1T$6ȦiTcǕ33xL3POeF}Qșv<${_-z f)B"j6=uF^i, x[1#N9R91ay8!3l}N;!߷BQrXNՁ.}!c'HDHr5aG k  f,"跟T ~M%@8B~|>@{Z[ed5ȹ'MѶ${Ԋt^) 7N{eR &8Wt=I`05{x .E"M Rͽż(KB`#>Яb ðJA$2xbFNSK=e~ l~K)s_H\fQg[P -|6Joe$r1cD6n齂9x1Da›᷒UJ6}Y4B1fK RDz [ /oɉFRAH^_h/#XT Mv" WMͮ>"[!:}ԊsAL|^.<,^$궗߄2qԘB+rTЭhQ_̺G 28=#mfL(A}Wt/g@=+eW8x^AFC6i TsW |+P]3LGKd/,cbG71‰| kBJTq( Y䫏8|L8*ǖ?5\zAL )eeWwAA$E Wα#W\c$82z;OXC;< vR2 SQcR0x!gIQi9Л[:>H 5z@ a$i|w8eLeU,ת6KWs`tJZ?_hߠS?<Ր~ HV˿-0XgeXHbKO/V=Ya] cmVeR  !qb=Ew暙1/OT m\UVգ8 ,S4b.'7Kr:6CsGPkt[F Q(o[HftN}Q.hLX%4ȥtS"eEDL&T0X8a/54\h7;f4٬"mYVC+H5c'8~gd4ʬÍG3Į/ٽîG2<1)˛R7ekg&^\I͌~0@n.ouq@H1BOrQZe|]ARCԡ{ZHN+@r5i+wG%#_Sz` =6j!EVZ2ӑr| (&Aq6%`ndOm"f-'ӍLyO.B2ojtJ ݄.Rӂ}뒞 Q()s7V"L~gN9XtIv⨿[N/3q+&+m3=ll|#SXqVe+Dl5T}Rpg:zWQ ;VO.'d;MD.…#˵%;;X)Myruk3˳tkeheX,ΐm{ӂyM֍?M~-$)O@ :Je:xY0@Cd0c+nRb+Y/!ӫU@]X9CsgЫ٪DDGn,RsB˧n-!R;Hi1% mⷒ BVvC3R*|V4.70`b#cⅵ.o}QkZ>" l@WYF }ŚPz\\ c U9U/d>^D_BK|"WT"&eW3L 2-WPqû4E$^hWџ<-匙mDt;z^Zf"-%4'v.@}d$sHeF]ap Pħ?زbgn)k%]K9+oz$?x/{ƛ 7. &^b-6VVpGABi eFqc=(ИQEy{iYT=G0'HydIs 3`2a4f϶rӑ]G"l_W5uo!{V <-[A2KBI8Wp6U'(O/ۿs EP#j!9Wu Kw!$ZicoE0Ilb:#@X*侦="<1R~VcOzV}6]9 eQ!*(Sܗ= %iƳqLxcm:X%_PV. z" M= |QQN 8LOQN ,m nWMGog\>$3MӲ;mཐ4͂OI F (XS^zx1Wo_zFQu  yk(u1I'$xݶ/J)}rHMtz4ڹm7pH3Trv8GѼk|oTkP:~4J5bGƒ *.ObȡiM8Ēn[KUv`Xu}[cv'+^e6*2;Y)[s6考5,1(}0詳bg_$ $SG% lA=x \Rm&KK)f\C\ [D6G=F,zR} zl'oGy $G>$=SKh H,>Ql@G2d@,n|K8~>ܣHC^l2W]0%}p $d2l 00vɃV[2=!j6vekuU#XJr!btӠ[k5۱pvp6\0N;!iz6^IӧE..i½U *'bYR|mHphU"@ME"f%57(K{HgJ&-lKU8'}BF Aa?G! 9|e*]P2 wS&5qtWG)/a]Yy-r` vظW+dȷ#iX蛲z1Pg]|Y¡`؛w(v^Tx xA,lLt#~ -ĂC'/ qmFXh'f9e)mOY#+I*ܦ8u}E#1Gx.S݃wޗ6q1+vLDz]!41OD%78}&> r؟T\ZrM8z(9ԴQn UXu ^"B\\ך+ϔ:T6'g^9lj|!,SKk.bl*# bisMU'$D Qo!P#95òF:]j'a}yq(̲_p (^q%>?{UD>jֈq_K@tLn鬿ll!i9cM- IQ,cOڄeRKaD"#CORdy{iQӐK퓐\773i + 26~^ƽkt)b_?C@%wC.XznWlĐHvȾZ|i ÝjoD0%`ɭI/L$zBqU::[l)_ SaGgR0l_Iqvk a!s҉3!ev}Ƿй~`OàHF4.殡dFBf_~_N6m\|e:5]D* cbL Q|8@PF`NSBvD #6`Ruu:k X m jZ_B` L2e8#3dÎ@E`R~y;v(1a+6nQj{>-bU !qg "8RPS~}*{rD&G04`c(Z[ efORDVz7-w[\vTO e?b,`NдZ{˶nD{:;!f6vJO,JW/o0:e< \9lʿTNbh&|kN!\EF1n $p{ `*mvv*rfV  cЯ|-X/:CacvsXmWMGĚc'mcCҬSL]3 r} lˮqÊtK2^tHr<^2 .`Lrk$<3PP`R:W=OI90t 9\FZ 6yat9x)3?M !XغDJF& ~MHXn{[0sݥOA<ʢ~Mّ9 mnʬc.$44%19-3YjebSI?`B hq0.z.<vRMyd s,iFsEsNr\)","b$nd76p(Ɂx4{ vb4r%¢|;h=@eWb73jsTft|yK7A%%VHj؋᳌i-y+?uTxlP̯K=!ǃwwN@dzxwIs TH ư=Mx1.ax 7}\;3(t[~:-U]R 1dN.a(|S(ۼQE\p f1jsDԎ !`!D](OpoNg[Xq!baO)ȪDS75?04\ }#bT/ԛM-_Jqό>7h0+g=^LPIcʹh2C`:-;s< D #Vb. Et-Of}0c=fTdOO%Y37gZ5ԃ&ToOƪ>jVqغ%9FhTpH7B iNX: G[ &s翓~-̽b"R2BܦP쩲~`yj{n,8-/dub1<~g9siR iBXO 9b/TdZ-mVؤ>BSb leAp"F0ioe/jd}]̌ih, W.0Sz:@'&=m͡ ym561\0"k*:-It _1N#tmA ʍC\)>X&I?q%\`\s?qCxrb`ȆWxHst'hA4tjՔ \֒#r=T"pumm+KvBS/=PR "Yqtg<1M׿КhtᅄLxTWv}A7o5vȧi ?A+5M3-u{if:2RUK&U\ "" I}_z[8`5Vvv=3Je|~7ɬC CWm )t"Y+Jj.8uxn*OB/ I 3ⱞpNS\ "lޮćTK!!i;Q}/H#`I<=_"qhpQ4r $HYuvփ7T{ӷ;VK6F­x&rYGhK2l4}~sh9+q=؁[k$yugzцn .kEDžQ&6ݗ^ͪ-|cY#a2+(P5/,Ϫcp/сqW7>ph%Z.ܸVp\C"6<ݝ&CqMTdTX۞ZqKBC$؆נrX̯Ήߴh+;*:B\WO58͇IL3,؝8i_ʎ̊$Kxfwi4mSZ!, rgAA`W8 &(5ÓOG5K ǔKF9d@yPnʜʖLՎ%JY0OH6Xf鲕+dd{CiVYQ+m aK0S4qJF*S(xtWU{YAyUtQ@Rę:Wzo*t-F}PCFAƬSR;]h1io(ȑX!% xjmƳ;KKI8qyQL&?G[â?a_!cQVp?TУ oiO`CJW(E eG$K,H#oxXa@ !JoBmy N}nI.͇} Vkt9 .&$nH⒨T "G\=0Y1YA=y#OYl+#+m S bi[XT+;9DP7}B$b =߯*8JB'b\^Mkh\7%ƿ?8XF(FDp^ 3T,o=v%)NZR_2LQ9¾QA*Se!)2^Suns S{kXv5 rfJ6^g#_JK*LNu`]c r`,HL(9o?{̩115B_eu<]$F[&}(I~/Rg#7v]8fMhV "v`@N߆q 4hܒݹAeLpEQʗMT_ ㄶF*t"2$%N[̪LDLm+VsjKM=Luz˘&E Q"B"&n-eןߏf.L :X*PgtL{{O;:'NCr:]/ȓhvϘqwҺ6ᖛK)7 XAjVA\ MӷG!\lȜ*hhփ^ #YZ`;& ?, R$1s Y@$hRߊ 2 tA~~ɟ mX|Ɩ^oj+H)Du<bb=zB 4n;4Y7{\hX^;|`i eRk5.oREdY0@, uZ|6KRְt%誹dxY'Ѩk)#6 a :'Q6 HvJwf1GH@J~lƭ SQ0mDvmymVyOwGJKk٪P Hne6n&xqM!=K<\B3OU[58dv:>E 2\(N,KW$;EZ y {)M!=؈5B:/`T }wRMgiN\並.pO<GڒJv%xc`qp=l ήM~AW70}{=L B1:lg3 Ҳ(K]\jɀ;;(WE8FѾӬ&h%@1cӢvA^1|1R'V# Ov3):Y~U[h\/fM0L3.VeMHg쩳cstjF*4R5b/?yZG qhZ9rojZ*FflFLW-PaksGL9s#_|~+]AwdqanVWDAݦ !|.DqrL׻N2djV WAD͇j,t;5p{PӼ-76:j Z]gXG'>Lɥ]2U Xnk\!H G/$FeKS^͒m|:=/R&K!]\A8>1A[jF@+Vwܦbh1vk@k턙e+yl)+ަ I'5 !0#4!oYxRA FBjs4# @u IZv" AƢ(KT҂D1"b S V}uɐE!S:+qc(QZ )^Otl,ۛXGn0XcBKa2 v$԰oM" "^Jl4.CWє w v*ٺ7BP `HVIdP^}UVM]z"°#cCFC֍%p]f8jJ PcaGg^]P݊ ٠OefN`e1.N<`iqB^r|̓M wunV6]UQ0Z+@̢|C OSFݛHW`ZC1 [ L2 AS3{/HkoN6Dr\P1Áqb\~9ٕ%v* B3ĖG b~#O]7x_ p g_^'FnEngB ݤ[_sPHYy}օnL~ d9*~e'kWd[@B xi"$Gb b5 .o@Y6ura}`L,D;w$"w*PtFzX~>FD-{'qb 1#Jqյ ~8*qmВ<@`Dܺ9gP" [}tLGDRiELqe8eu`U`J!uVV6OϢ|RzŲ9]\쥍sk"&&DK3]-ׁuf'2C 1w[2ZbvӥY{c8 F|>dXAQTM:,wI|mhIƓ?IZXJ2rEW\ L}vSEjsxFȵY}M+ua5ï9Ρk>Nu?]r r-iXki CLǛZ]i#So&fqf%K3\NSq1&9<p,\a"njAeO}bfgo>BͽϹy'TwMcD`]Z#dbWa,c+ӂ-(:{`< {jK d~ϡ*S'@.CYI)ice,r.bd$Jo)~H^Ukto/v/#Z=Yݹ1U##f{;6̉&.hCzz`4pŴ'66Ċ}Ԇwx PAg08?+lg/s~[g+Sq3p7cWby?֠c pЫUsC(耍GO('T%X%vu&(`W[Ӄ%ӣ"YD?\)U^ª'zVe\ps,{~i^y?] 7o:[r@>z;A*re>SBjΘڢOV/[ q,y Cq@~XaViz -6q@ )zjFxJ]>x>aP۵aKhOAcqa̦EIlݽxu*.gsJf4/Pku~%?lGLt)MSH&5U߯t\L7[81I{w;6@'6o-[#]侲F[́(lGrtE\&MDrKNr8䭩>TڗI!%c 9F2ka%LՐ!.dj_&6@ jN9M$0R+W]0Hi}]/lq Mkriz%Xƙ F:_֗]BA9Vxm^C#ʏ5sO WH7ԼOD*dT7gkh좔cA4vSWN-^:۵tՔ[yL(ǒ l[lQ7i#8E oU$A/  VP(tIalB@iI[:o#@c0@ZN=#o)oӎȅDbDfl9W#ʹH +sJÅrR`ĉ-h]:!3ak4H鯉c& o X9ܗ*݁Nv?qa?2q̙K$T㮫:xj ;\ T$'RWش2&%4> KQ$Gvn!Fxk%q򢎇_*&^ȼ*SIvw b [ZTRhi- ؟ܠ!e.@vlþ~_s#Cmw{/tg*-NzK|l 8]^6_T,]6 wIO%Ik .s.9]b߿eB4ezEcnb[ژ Xw5M'J+hePͤո9҅ }(>hgY&;! KC{FSAxG?ؔv?+)"JyKT09R}nj@ lO50)HTSbJ|LX}aBI!~'gda7jC4nsEU85(/?Ak;(qg%o-߄D?Jϓ!rl =`q$2C`XuV6τ* .[#59=d?:ul AOƇNg E$vD.-їp0Inҍ <ՙ i?T˰(Յ uZ&4^"Ia~yb#4lpF}i'K!αÕsJcq:Լvs2S9J"ˠMMdmfw13F(O6](Sd,4AMR3WRYsU磟1r) -Z1M$8$u13\9Vo{D;K,5O "Df0 h khs`pcT_k8١Tcg1%?L\Ү K\Kg1j<T&e$}ewYe$$DŽɆ SŰCУz HNGh!Mj~K@4Ӳp:*kInmȏ2wFB4H8Rq7φ#nc[<蝹mvJb3t[ 9%:sP3*+* |főC=m`Mnlu<˅Q3Zjg4^ zt p%V>톨#"9 m/KϏKqי<-ҘD%`kPh0IYXq*'Eγ|$7XyƦXq#L3 ]S+kBv#6}0rQ[l;,Ё@rSKNp>E$,/Ihu;-Jk^jDLo߱G([ %U:$Wwj/^bG`0Ί&5kcR&zV&Wm;e@74.@KWo>?Y},O E:j3l4 3Xsꏔ9Eȗd7M L Շc?.Dr [I!Efq\m]OT:Gt :QԙM}UkV.M~CN7nh6յ-T2 +mA(t _[чn'Xj/;oj_ZwȋKvټ|{VKp*%bpŐN~5ѳ8Yo_Yx`Vp ˮ@4W*rI{!OLJ0wnXڶN,¢LOyCǸLD!;r[Ŏcz.Vhk}Re=c2\0{c ɜɯ'( =$<&Hzc'U`VVռ_0P9C!ъ'wܴ"ŽaP\Ćg%GêrqA}Ǭ i; ,@E<" C sfڪdT53wԢY ۙ'YdPtmE`}P:YᇹdA䴇q֟VU7 ̳Pګ@Δefʸ6֏lZJ?05 BAxǞHe@<!0(*K`kw.$~-PȝBin3F@LOB*[$9(Y^7`o!Ey9iүhD֭͡F7)C,E!yAD鱅>MPo+O\om@U7; =1T Imf), g h r8W3*H:`+"]04hG 52F#7I)$QoQ]Yp `so(gYu!eepc"fEb;#9uxJl;URK\S:IF+Mɓm*ŝ{Di`5IQ  U!|PM<0KmBfE)9w uݲ]T .~.M@䯮捔1(Rv(נ.6|b( x-)Tt? `2 o] r8f=#r=CSU5o#Ŀ`lHt=O, AB}T$ۈn-y .\$Zhb -2xC`B i2$y/6kQ_71XhuMf`zCuGF@]+\ γz6٥"bY#;tb٬xb+y|_auD1-~د*KxEq"i0A<^8FM6JvF?XENP}+CaoU|z$bqGR^j;l2Aj}ң0ʳLL.NQkVRyc<4HHQ 1E<#9CewYv\nah5 =k֓ A`J{$X^ Q[:Ңت( BH~p4g0t&9ލX={$iޭ0n-BI*ul[B+Rgۿ!QGՆC O!‚hա(˝j>mD/ae _oްg.ɳ8v>XA{dZTI#K?v1Z7nIm Edž?$|L KDB`Q.8mh+|ŒJ~NQ̌dFm VZ ߖ@Ƌʏ K+YY 9E {1*s[w.#:oۙi t-|&y:kBRHk+7\g4&h$#D;3 HI`tz_^tB'F-3Z hyjc+0-ķUPELI]zri!׷P*Фp:%fL$sh &\t F*pջsqdzHW1Z6Q`U"0 8&ƞ4}EK4VXZk նm$ 6yuY})#2Ozѭ]*E*E_Jz}̧`(v@ANM sU̶k!1 Xn*>~bIgrA8ʆTiZ+0$6W1>xxh[&J m3Z>aLu[ *EI YP擠^D<|P ]ގ9ZB,Ms˃ƪ3&1NA_șZ=FV nUZ5?D%9MXaCkNP9&N}HʧԚg4`_p zܵr<=' V8Ipn'lgg?W-{_DAF8Zv!Đ/Z hS ^Ucuf藊uE\$G/o[D 5r,U7: Z0 @K@(HE6#5d.+}ԂeFAW\ڊn|ca40J!1>±5 9{//G$^MCM;cѓ޸GD ]2YFS12/́j:se.8YNN`Z.sPfТ/o j[wIĆ1|ջ#>|% `2uq`0c7il1& <2\Wi63.o4o,ϐ, ;nNb{&i/t*(CH&QMi[dV: I &75;_Md찏g?*G=U楪+mN^@?5~kB,yF.5j60XV^tdssGNFMWi{.x|KS9&BE1I5ϵOA2A1h|8eB1}f0Dme1^zT댼1A3CÏ"chQ7/ sKH'7FG`OIDWoWkZsoͮe RBEXFbl-/ޔpIK+)'#:#h'A&oJvy>$MPb\Y2Ȉ+y4&eH{L=+/DDiެ%p돆(wN.j}߻_L[3Dn/ɬC"VѺ]fel2@EɸLNF^b34P6ջQ֪tf17B&}br= ]p9ɩ u+Jpz~ idجm`07}9¼A+oX"㤿 A2d4#˹fQzm461QXOMGhi |.G2tE, g-/,t5I4KAh̀JF4c]Y78Vgygl41O Nu>nQ|Ŷ9G-ܥB|khJrxjf|xl?􎊡~?GzG!%{<(R?4k ?7bH&9躟fE1q` }\t!dPKqN=^d'OGMݻPA-,FLh^VE%tý/;ĄB Yu#TLB6wUa_\jzt=>V@?KS?L=^y, /ʒ:F,9&#dC0S,\޵LX_轫=ʝ0$9d&@CsZ譼Sǻܻ8jn3/ v.XbK5jTw%@?*W (!TcjLJ˕y%nq$z!f\bՐgìu*`pn*9fi.rjdoj`UHQb&I: zᘌqb_e}f$1#FAq)|я੐S-zX,qDkKDʪ<њ39 >D$*\mpdPm{4O\ib^zP8j:Ts9 hZu}GQ-Cvgi"N#5 b3SGhPr1 ]kN=]*&`XIeQ>p@ٻgPǤc3f[1uRС_\ vLA0xLPu ?@˝1C#!A2Lޭ$@Cѐd X)$Γ%P7 nKhv#':$|Gxj0]߱xC"G}vm $!]|6E9^R$)GƭQQL~eP ljeD50 ;_glBseR8a6#my\4tJD#?iG^Q,BV,s(L7; n:O$&>>=`ߑS i]4|ܥ_CN G*j=I&' qK/5 yp`56(04Ccg_O׮@iE.QUr""фR -P {& S}wfPtZ!iWFAp 6wJ4$̞tzzW&L$bYY@"'(F)0\ nɯ3)a8M3[xk 1I||~DsqxU^;- SD:|s$M:=HyYaF7]54-3ިQg>L@pLJժء3 MUT:dY;N5}5̤ߜK =eSЄ9e`if 6WGkRioZ^ #z)4,I-:bAhϽJD[0Ux:J~A~x}2"'(v5AP13 #W.qB F~s2.!Rq&@^9FiӸd/t#fߣFNg0 E3ٶSȚ~E!\\z:G{^`@/z72Ɗଡ଼8-lff&H">wo22s&[Y" Bu1 63䤏)_Өu }[wD"_`.7"*.OQ0ڑ͐>dk\}ABNOdNɁ_Sfp?8@?`wI*Wyޔw'k;_O FvWiuw Qe+:|gʵX k_>xYA]/9cPK Yo6Ʉ38$M#+AA0qJiǶLɂ!;c40G6Y׷>uB#ևkkd'N ݋ՠ#vQZ`l.3+ 7*΂3PbAWSqInS r۽>vSƭ9<:dW'~[016iZumʢ34v0\T4NPL :~S#BCsU '^Ⱦj$n,EfiU<@ OzmV$-dfeW!0mc5WN^ "VP%8 jK;& 2YAFL=Oݟ,5;gDdpL?;3 (̥]2MhlV068MXإT"8ӓ|X<_Dv|APBU߿ɘ1)j(o)G([i9ٴr7тA8a=fhXo,qD oc0ιLkFic6#d|9E^㯡 Z ^XDW$B͵? GYe|2S''7s+S":=ձviJcA Kxy_/`?B}qzmaسz c}4%fy;`hppiMj3tBnw7"M_T xY0|jɉ)n>֫(lʕiZ3>:`l2ͫހ!"aŔRD(\1ͣAzO?My5I(~/QX ޴zB՛g-r^)&K{&܏KO*| Ri mle66oSP:\{v/(zUy0Ⱛ4&pڭj.mEo\T.(tx}jIԍxxcj/ Bv3^(eϕ'KS ا@iɛuߠ,)9gPX#d˪5g9PqY'YpQ#Th]ڛٷ1u ~4.5hϏtvN7ul3i uLLҝiaOg]XT-X7Qb#4bGF~C\$Mc-|b@^BoRRϗỄ8qJ;J)<ْhqaHpQsz C 5{r;9 NJ}hN֑p>qb֭Y"s,Ybig. %.t'#A/ sm| OoF, BCeڄޅI*N븝PʛU#iӂ^!8NM^FhLO Il0ܔItG;m_)fS:-N2q.g,j6o#>mj+~ kl5յTd ɉ|gI.A|d+qQkw7s&*C-+M#,<3 P_=;/dieve$^-ww:uP@ ʽ/O.ǡ}~g.D>AZi ^ 7ԂH|5G҆;+zA8n7X#TdPFLXmw]kiS^$a*}V+>Tع4DHVu'Rd;ƐLuQ[$5 ΐN!E l80!tw).* bXڋ)oFs+HwP(ZY|>]2UԳ :i·6U&WeqmޙNf ]Zݫ_~20 ˌ{)#aʀۄ~q)},4C 頻].x %_>­QX:Ǚ.w4њ5f = zDkoB.df#dä!#9%+lB <;X%NlP)\n$mQ#kVwEα[BÀxp>XTS%Ƙ@dIt=s8MT,*HF8([XTim ^&=nQGw dLJuIб*<<eD*>YNޗ4ٳ3s n%ORgobZ="j;i),ҥ6y|}DY4h-?hS@ =֤j7]ڵVdjMJ]iagWZ} q`(x ThG :14TsQs@Zu&ş60riłE+ywk^ :TnFong=?O|knv@݋;>I&Cw`5'?R?PU;l' ~V$^=D {?MoiejȜUlD}shgQƅ˳m(1\٩gYZ  ] N ]k 9M% LKoenigsberg_FriendshipKoenigsberg_Friendship.MoreGraphdocument.tex7zXZִF! O p]A-MՋhvG"uIBm5};_*(+3Nx]"d߽B;<vb`| , "txrp'CcQX27THȒ n/FPv|*\aoi4d lnsYx,~\ Hr%"*sgjE킄A:،;D i@-3^\mjlEFy5Te 7J`(1/ ?8~ESwNuH3?S_NOO\ 'U(|7(D!.q3K] 9[% Koenigsberg_FriendshipKoenigsberg_Friendship.FriendshipTheorydocument.tex7zXZִF! 疐q]A-MՋhvG"uIBm5om94 *ȅr_DĤc2PM8e<=pMؼ {!-P ت1,m-6ꙅ E_L-A@h %JczM-;7p.Cj?<{#+/UL I`U!^r9>ֹ~q[^yy}MK m0q>qSt}x Bwǣüw)L#QX2r:]Ż_-[Z6/8BL]! Z}P0'chZKu'M[U4ØY`>p|;.MT书E|]xt/ĈE}QҎ fX@0co 3'cE#61w FGtM$O<^79OEPd)EY~ \B!POBBFCZ?%.|?)kw\F6l:* 7”9%nO$|$jr |~ô.,z漱uhVUZ6 mtR?A@&N?L^8Ҧ+zP]醠$Яҹ 3' 7?&e*vӍ1}:E5}#޸\O|aOE@{G(%?~(_ 7u`d+#@/cdXnNUwG?:ʾ 2bq1KiOR&/ , [$fT (Dg'9F>C+NfuM_ODIY[Ĝg/KT8{(fLNlʰU6*< _Ѳk~Kei]h}*3dPapeF BR-MvlOA"_Jg)Ԛ'󟓓beWA}2?G跙ZJ]'WM<'(UEEvܟ*\tw˿qJEh[y׼ NIv>oMB=:u۸Z׻D l&J%'߭ѩ#a۰dXq)8,J[c׍Q3Bm!&z]?%-v ;!] WeȺTM gzG u'ܩqmyA p- ȈvB[Gίv(n|H_*| _SYd#uS@DTnz q@* ៘U-ؤY5XГ&$h:^?1XjTS*sp-_h^d~6Ztip ,4M4$"g, Btr;٭6!=>0 Ԩlpb X{]&W^caS6\e,ubf4)1n?? ͢KX?Z'?N}UbF~RIh5R7ml`7$!b7ǣ5BM ZD|˂-a+x9S0T"U@#D%hZT6r=fp.(1g:!8ͽ-ΛO3>y[φ1HLaԜψxU Q"ʵ3l'1~%KuEbMea@P65:N',w).p hJ*+0 :@ J4sݨT͎ b4}*]R1Y@oAFGB4M &^Ԛ|h gZ!)OU.ɮƸlP~Qr,7s1.f6dq~{$$(,;1 ̔HN&00;^ktvH6(:AO*jp=*:&w?7bD&_ oL0 MYr1g;639в8,kK}hsu2w7@ih4 vdfGf22Ε?bK¢s]rY*wnxԣQ ֬2Ra&Oyڶ}Pк/"ӟ]b3 bp^oeM(]c7Ka=(6굷<4 fGwwLG_5O6:8+g2bށf缏;ZoHķCUEP2 8GN9(D(DE+! PCl%D qRe.#z3a;̓^rx9y渨U! m6{)&xni[ q \z6ǟ6ܻ0>1..Ǫ>Yh~(qDJǠYk*} k49_ 26 ƹ®'lКƻ R!4[ Y ؃Dv`c.f{v" 63^K[o1f4d`j2eS 3USb8yK~HC'Ӊq5j2s$e$T^2uB\3։  ?cjQ0?ILO>qۄ|tN˼ 8-8m{[-PgOH{MTJ#A_P?f>;>|eθxڢv:}jڲLZ^M- Ȓ^POȑ+5ybf{3v,UO1ݘ=iBc(yʒͫ1D[|?x~f>3T uZ[VvW:J=Aؗ 3ye|)8[U8UcelD^rc A T՚]FU%bãS-a oh^;I1("=eO}f{9Y#D'ޡ0UٮFHH[\Ršޢ!-39ەWGRcvFF| H-@%3r{8>wo;sC[U9.9hzd*)\ů`rzBœYaz$jHQIvZJ3q{?{hP'CY*>δW[s>`XN76Bٗf+υIUq>gbSօZrޓ aPSd7FR6;PAT%?+7rB-ߪۥ n@7F1>diSޤQ >GJZ8,&i}{c1a80)[,k[=." Hsk $&+l(G mjG*Nx&|1K@0[a Yt̄mb޴p2rpS* i2.ˁWnClͱUhໝڰfĝ]bʫeٔY%HM3BWaɦ(hw{ȓl/=4//J+kr g]-c'TH6b$+ʹwuC7"£gm!yқ7(.xtĩr  _TlS,}4nӻ]4EM2Ul>Tya<~uqc7DG~Qy?OU}\h x3z}q '0B4Qzm1|b7yg.g*(o>A4Rucl FbC!?cсi] 'f;L<&2s:}fR'(C펥"߂?mRڧGTӇIe/A)rx>+RHzd4olvL7ԭ!#h&fp h=Yk&R)߅QxV4;KtF%l:4pcpYlKO͇/SV|Ծ=iu k:9UY8#ǶvSFd\)pstivgUr谕Kk˩2=]k}[U4vj}do82 xHn,Ǎͨ / ;P 6HZ1R;|okkefD&,'%)լ:.=ՠ0,Ϧ]Pd>v~@;|'V7( fɶ0b$zYt.3>2jC#GyZ~_EU.()lv[*ϮO Z Ui5c4HVN^\GEfiVWD"Уĭo7?[hyp m;Kjzoti9c~ 7N+3?Pu/ؘ7f8չ5:{[D3' z8£^NZΈU*Xg Rt6C$XN-Ŗ6..au: SYZm/l)_ ÓF eyO5܁`.3_@(?no(:6U__5nL~Q/ vX֦$rJ!ѤR3=rD ҄^1z& r klK#R6=@4xtYQJQVK$sS$$ ;e[Ra2(Rpq:ԟQ1>.TL…^&͓ 8V*ew n?K;P2xQЩbm"GSA8/I1}:*%I'[2ΪVOO)vj̈́("Re&+Lj`&0I֪8+K&O1ml2sY r=ը5C4THI_@݂py3Qa?E"kYXJrLlbjE"q2Ξ,fo@-Iཆ+O3zϱ+#}k $@8(Bw:yy.'p<h΀ N7c8uHOQq6Ȣ}'mXz+ZMf i߅SOEP'"zSLYeaB?XiwynD}ޱeOB^ٕ&Ma:ܤgvդvDD%4ED&i ~YBf2e3烊LFN+kБs7Cؘv2HȦ(x\LYL}^Z ihYZ@ELK]yT-V)d┧[Դy3 wv'D76vF@0*:A(I9;"(HdVrl:H :zuTvj|5l`@~HNr - KÁlֺ[iCW9GSRF d5bl "hM4Cv$_X {5OVqZDPQBvpH6IK\~_G )yn \#]˱j6ODX{H$!Ym8 gtUx;sє0 2nP<&cމu>Z?Y<̉6Z?X))SBa%C] I'|]_|R\]PhȪK,M΁d圳ղ46~)x(hqm:as]v lB&[n@ewfċ^ɗ!y<ẖS?iF>]MuRkGhNKi_cPY %bP4dQwʐ떦9]G!]i aXdܼ!A~PPċӘ:G\?2rwDeZd{ƹYNe©v_8/ddW+6?Gi.I+Q8oHzݭaXL=]ܪÔz)m$;J+#+QO2s \o 18HGQz ! ENԒ_=0@|o diiX\'1qE>Ja5/>+C0aC}cCb(֮S8M:zRn@Tmԉ@A[fHsx`7oUR#^m a+8/*KfZؼk, JF`d?eRw`ӂ:4iz*@ A˥fUb-̨߼P>V":M)۰oeE<L@:4[(*b9FT0SBT~ɖ'92]asKB)y"~I)/ M^xVOOl+lI% A\B62ë `ՕFI\#jh V&ZOJP ?E11ٿ\ar=0)C0Q.tf~ !ڪnWPW/|>B}|2[~^xM)nmAhsc} ^,vfb?>x/n|E(W[j;;=!6 MJP$IᖰBNV:<8%% I3ןPc6C2ʇ2%R(oM 5AŽ. bMr^la;BJHqPV)itl2zYl .Mꛥ|0>ãez1  2z, " Jsw.SKH|Ae-s5eʍ%;@M8ją>[+6P/H]<@jcYjYl ϯEEЇ@91ajkDuqu M4(9 \%0Xqڰ2X~F,`+?omee:we5JZ;Y| =d"ܺvW];-|@|g9zҼw ԭ$1 I5 m%F5\d4q.|lK9Ԧ7\MXC\g3O_#n]0BtT>iE^1iNGU挕,ͥpIyS9w9.VFU[tT-fXhFŴ4'W$*$Y;d| G.G443x!gz.J ocvm< r0G:.*N@)EJL/B U _V.]%)4JKN'Ν߻ ]tN֫Ov` 4C[f:Ls߼ C-OHZN_(bNU~{>W@uCpfoZI98H K ȃc<͠>T6[䵶Ag,CawM˺QL mqI)<ɒ%4Q ee D̛>9gÞMD.{RJ]M{ jFe$JPU#ӸOoMlv, r4+fZVpp@gS.hAAutvnhmMzeKyM{2q &xz8Q)XUTKq>^QJ:G6KE. ]AΆ O wW{(nú?3x1A9nHνOr80J&\h^YbuՊ cb| B*U^bdsm|aW2d/PHFL4&y(@W_mW%T:XNu-tK/vP9eX8BleWv>…um^IRȸN 0^7O=aVwuʫզ$2|+jt]!"VilUF~}3';ˣ05O*ҸOIs%}qtݣSߡX9|Br g"W!Duvd$C5Nr;1 0D s lVF$ije4#p[f0wODSB|K]j[lLNݗeMJ E |j p݌| v fPVմXڬٝJ{0`U2_-+E*>8ΛNw+zS 3cU*64>*#W"AD#f+HX[I#JkZxuBx>c-+i%Tqeh9C3ynm :@q\JtV-}&NȫLp6ܾN I78}:D}޴TLL"f e~ JDԺ&CQWMo:=LO0 GΫZY9zh*y˔Usk" Dkt P;.@͑O=#ʹr7$":;( (m屢hzuZ^k%-N^W`Ǔе}ݎy]zO%v$D|<=,̼h#^(U6۠8LPQulz)b:w)w`5#{e8[yi=%xo6;Q?9 K3eUXmo<5ԋCǽG  ޲Ge6Ne,>o0lFqtd~VF C}*Hwځ:aUԣY_crW tיջ[?FdA ^0*l'4){%dY&#߃>Um水_'P:/[@A]*3Nz Nxer޾ @Jn1@y$ge#5d1hY&ݳ4ˋX||!ffi 0݋CRJʧ̲6ïF!tRBBsZ,] 4]Z, eExke{,`1G(HПN)yAW{]YNL+Q3Ct4FLE&LfyY@ZXY2-sO@ (o{!O7wZeX]kXhUZj.~酬U5%KRiBH^wjC+ 8^2=脾FYT, "TF}x)z^C/d`9;М% D%>C.zL0=iUd5ƣԬ7+(jMbȝ ݯSqqV (]e# 7-}Ɩ.+YAYp[r s:cM| [@Js©3X~C'juR\\+k׌u T#"Nc|·eƻ!3xQ]lĵGùt/=uQAe㡩kXߏi[TƓ}nƦ.ny=$X6qg٩|Wy}1#~lmsOfNrptE+CAjRoq1|U# ^Fn]#;H@2MW[YBb$eI^wG-oz,bxRi6x*lHzv=(\3`噦m1"fuo<w/yd=x]z6L4(N1=ҐC)Jdž I+q:tÐ(&^}+&'֣/=.aݮdIds$9:'TcN_6ײ|).sScrY7?/~29,\`Oi*;Lą=ú)w( xPA'w}^Iʂkr),랃#p8lNԢ x&W ̼mz^T=a\,@rAvP"װC:&\\֟ܬ#Ai AN_4R"Iwr~ 6Xt/)9 Vt.\eL|O=0y[K`vKSեzɊPL*zzo)h%ῦOGq0umr-'կ&ʘѯ1@ cCn+ae"t\,|mVc8v#OO0kn[4 F>E'c:E5A _LgDI[j:yd8?M fvwȨ#r?w6 R:h:g|-X{&[7؞DCNٕJ]1O$!Z*^m ZRI( (Ϧ Q.$RZ Q{h)&64YDiK؟4Jk [!NYԅcڂ%3@qJ2]tc^t۟ղA&f@UǕ'42_0D(^'p7mbk˱6И"9C UFɦhu!GCh.CY#\9 jc壜0աMcFӌ1Od}p?g10=cYMmU tem{(<h Tښ?s>n؈rUâQ1%D4CAmR ( ;sᝮ4tw4wUf cX!%y "= s[ldȿz69ڇKW*j/ u>"LˎD'&Sf2鹍 fE3a+̃`$O@}mfT#&x-S}1I5ݩ1Ҷifq"@"xJħy@j`r2ɿT\OMl"0r 8K[P zgD4u'lAR6ZQ}d_+S‷RK:*D[B_)8z3OW PHVD3~6| ȫ 9LT; %_IXVM츀sMJ"p"IdT) Li)_o3ҩ]1J3EjKõR@$lnQ oeV3S,*FOytwi6 9ݐ!o̗^&*:zyY Cw4l#uC.Eq L]j?$Co¢cu{g i@f}Lw#4 di_đҤX+*i2|]OWQtڄq5Ĭ2=Xg2,PV2pv32kA9|\v@MeY&s wH'm7%i-VOϭ`;^xQ `nϨ[,_ᆴpC!Q(2)ۚl_"AĠzq*U-jVAR+z|)&v.dPYH{P'':tti :5ᛦ43}Pw?ǞR͔Ftk"taհ9j;\hNvb EӽM\)gZ,E2)OBL;n( a܃)ޝ>vy=p []\tۜ5xZͪ"}N4c^n[5 ޽yb']&)n@)f(vjRd0$ E$!oW gQ|J9\u#h"+,ⅵ)ӍC878,WIv2do?HE߰oWXI;qZd /ZMS歫}Dt2/ {d"F9d SKi+=^Ok}/fF>hp 45hٰiC~eyJ|7fk\AbV,%RN>cRUF b1O131^MNc4@(V ω#ǧ7r%;G+\Gh=( /цn ?.}'FA۠[[icT㦷RD5--#©|4Oy.h<r'7C)y/Hɪ3ڏY\ ?Bl%mj6Y|4WOC({z=H>4H9FJ"%lx§^~HYۯ}|I, 3sA\|C0 W^¶gA+1SMNyB(//JjW wW+Ax;p<'|Q'u$+qeB- '{JnIk/=CŊ:146xD1kRk-,^s=P9"hg!x/=?Fo/m>vxSf8D51?,vK+3dLo3=Qs6ƺ< Vhfxx[׫0'ڈ=]gtn1︿GlR} [SFQhv\3GXSpI_-eD'o ]ǘK*wq䁈|P%HP8+Ʀlwy*X5/HFPzkli LaE9hL6O?y7ͼndxE]Zz@ bbzR.P  "EPz| Ck1ҙAq%`/GkѧFjʠ<])¨Ⱦ c~k47mݥ16BexgoQoEuyNU>/uE)45‚UP-7(ݘ`yPU!-y:m[Y._BgvBYmu&z]3dh)2z}ہr4`.TRaM:jUj> m9 V`QHjZnhs ~R ji=C$K6_- "X7?m%/PJ )KC>KE4ECKʂo3l)Mlԛ4 .4c%S|8ؤPM+A+Z9W3:;S ɕjVD}9ڧs'Y9`m0P@9E(=aHbFdž"W:MwnYگ*A>"kSJMlglZsZCB_9_'!2ɝ=a48hȎcfTw6-h'TSZ|Lq=FLFCKĥ/\1<$Yy kp'1,m b\Q׻wL഼;}!1^Zxm7OJ{,H+PkrȒԉq|֜0ٷҫQ&-#}:^%xgSvPwuCf|#M G/:=UY{WkGؘ>vI%45u(Z;6GkQiӏ*=GG^dt2Y5?yq8φX|,^?{VxHrB(< F3v#yR=urZ!2_YܗgU0OAM\I&"h"X-&τy&˃=ͣq?LJ#ko%dw]yxAG\Fbՠf[4t48vܵ 6eӫ* ,?!x{褬XȤjJys'Cʑ&Usm)^jzTI:i'yK9H_!OJz)b90F2Y*\S!G^HW.kIS憧cPlr*G/G7 ?3s"O$ )s]M!G*lSϔ#>'o|p>-$lfOND+5N+}ysW`ɝz.m58q&7P:K%<+GpăhuK<< eK)<` \c=1OkRQfnEw!$L$#p ڏAj[9{g"%fe aˆ$-&P%\3Z\*5ퟨ~dTyl>~12z0! yWL| d۷$ /\Ӕ_f4dZ6f?mA%aCYK;7H-<``jS>shW13{٬ ;Qo`Q[V޳hQ7ozh9AwN6#=ʒvwý8XKnB~NDb_cqAbmbǯz3"gJ1@_ k%tA,-!G㿢J0v;X7&n96wU c]'ٓr2|9sQAodJYZvt`a^(Za  $Enڊ51<κ=] S#Zjׯ/K\7ك@aeyhXEm s"*jfc< >Ƨ?Mmk&즸Gn\ū7Ŋ 9Uu27]Uyǡ.*Oպ5h]/U9^w4rF!jg_HkuCfO\&賨 BUQL?x>3Ml# rh @Xͩ)7oQݨv V 84@c_ r2$RԨY0,WМ/+hl6=cEnF|SdfeA<#8rG㫑zGNP;HjmzȐ>h]I CZWW³К#'WQ;ZC}@6:K3rW/@Q[߁֘CC9@)v1kr߰/ׄpbN#9s17xf!"Qg?&TE\Фm$%xv<+}2LtKK"*co~ɇٻ=sts&Qr08.\:3Щ~I@IO͑,銭f C!V jW\ho &Zc`Xn>=OZ-|zI:8{K𗅚rr@r%Gt#qC[yu(4"ApOӜEtӆ Bu-}U6v @>R2X@+@qYnxHpvz]DlH&G-6=pyXb>)eSFgyqۭow5>ͻlqRp _{Cc :y䌚b2G2e;bOZzɽ$\?{5fR)O`X ϲncJ+0pVOT7A=س 1[v! ״ƌݨYrtrPET5=`2l: 2r1m'}^=ťy0ܜh`s {l6fս]dH"Y,NL>dp5?^K@ϽTBdy'L T5NwGwq+f?#,xL '@@'XtQI2bzwYW`DESpG+{@Y`7Gz߈qȧXjpT1o_i3sڜyXi;*~f`:kd~f}''J.8=X<  oSYȽe* bA̛X𾕕ΞF`eՌvy@kJh`!hHoV6mXɟOVk%3`u(\Ӹr6zʨ|Y5y{? S$b;lu> "]Kq7g4&C'r BSA<ʅkG10]~3b G_ԧJCTڿ'v֍, RJUq9k sHL/Ss>>"Y"O/[#ȩᐱ ʕ>+92u&'/&ަX =$T_)VD"*;, ܐ3FX vLRפٍx![qe1BIR!#'Un\7徳! ogk+bh$妼PMG&Nv\ô^Xa.YLkg9͹@D^7-!!݈vV*EjDJT2oVs9tA=‡;j#$9!+6;^6Xn׬Veo +++_قlEdўf`ya[A"ݭ0}W0T4 B0tOe=RUfL6e#[@kqdMY&R ݃,xt~MkF *2(]S'|c/1J^;)Ic^E/cOP`z͓NٸNfx4U:.MJtc-Oy@OٗyMOH׬G6å%Ho|D>?e3c|[t+iY{7"Tڗ64 ~9S `wfkuxXNB+(@:}ʰNjhVl5T7ܓjUBW`PT$ zMRb~B@Y暂/vP$y .0 Shw*XxR~[I?3eL#,[IDBx-#t'"_{pH+-&rp<>"yvӘ~`0hڞ?.ͺbHUJ$Cċm0?Fmd.´W4y ̹#cΡ "g1A14d4G~l_ # ZO =Ȼ;Co(/7dv cV[io&Eݸu`O*F λw%U7+'fFF]۹J>i-hUt-|n0!3F Zd 4QbI$,#b8lT5(ͺe6Nz&ʹ 02g"<-7 )Sh)\U;'^]]d{A4ogSV{&ƗF*}D,@u`fIt:yi`zMH Y?2m^D6$. :MU?-,VXnpsQsv<=b)S9dnṀUUGx\msXpd >jzv :Xώ_$~'eӚN3 0Eקl?CpLHD?T}61Bghtꏟ=tg7[©>ԻNTu@W>=pJeW,+NI49oİMknyA,{;Y{̼1Ҳ$44_fg^{J%-|@d*dORr4k_*k*flJd厀ƌ_uNr*\v#؄/8z9 J;jV(n6 p`=l͸zwoڙ_KgYLkѢW.Nq3K>M`w!v>ӰV>ʽ'ɂ2tR`[ 7+ e((!LErL=NСpl9/a>K饮kIKO=Oa{uiІTd<%ZF9I]V95үvf֕7vӯ]+K`(nK%XDYWw4t_wJ蚲e*u9U=^f1R̂exyLyB 閵i& wrdB /'@'*(nBTߵŖbzBDY| mN:="& 6D\z?O+򷒳fxj)#qK9\܂o/_]0#E4C,?> Bmuimiۚ ɒ.)m1-W4~BY&9:S ClxSѦ/hEC,N3AP{2u-bSs|$Vv㖆8GgUZq|JG?Zo r.pBf3,e.V$C`ذˡv_@~PB|6ybN5ȍI4hhhEڂeoh} ><{~TڢgDqejq*}.Jqb][YԿj0O,Ly;8ҹT+o7p haP%eqL9D0f~q180leX2:+?di"\4:?Am®^ Y9ӅvW;MԒB Rq *m+Xv@t͍H 1 ]hzvK9m^`gY@y!_$9'g׼"50W @'؁ Ҕt|s͛(2;9ˍ$Cʘî̾ X+y[oNϯ /#҆t] /g{*4[fOernpez1⹟3IbQZg5- XbX XDCÀ A6)lLe`dYZ^ɖ~WL<4K%1aYwzpBCЊa <lZ-љ 2n/tX *A w/x,=)̉DcmkF8IL' E`^M1*x(ją9i(^˜V8H~b@dԶ/pDXQ6'U@nh7ܻ%(LAPFȧM{rצf,4/ГŨg'L7!iE&"}pǯ0ۉG9d1fvAv'OKp y~& 6 c8jih}M>8*ʩ\ӽ,NZvb`5-9۝=U°^w׽7*pDCq(ǾyDܮ1)=, /Ҽ!D@\V0,~D`{晤xwY>OOVJ$KP.ƅbF *y Db!&mL1_yC=SɵϿ OhLzG:laȗ9 坸TJK; 3jtfr 4EcHqoCB);Xs\Sе|6{sBQ*/dۗ  +KxE&YFvGE^5;6od$a3ɋEU!`LBؗe)-Pb7n+N^ C-OY>`AycL>mZUu71e)6 J<{{w466|I΄F{>ǗWG 鉔._z8[j{KOyPQEEl" 4'{q=`& z4i B^p) < ?_WOբ6-ZU -#| 25,[&!+4FXnC0Q/KS[ciԷR;E,"]blJD!&86q(tXS)]y1qCG{b{rn8*{@Ar%<7f۹sSZ:Ж E7#TR)Wۖq%eUy0+a7ZdPBS |S5R.7f ]ngpǮJY i(ټg|MM)mÊg W$AS1+NYIjc&m R*kYр;adT Tۺ!LB'7j|`廉[|{b.? S Q USß"$ObsrT|4{G ;7CSAp۴?1NUFASg0f;CATFqk}nR5AZJ!iWqS\/)Iz`xz^ C]y/6J'\: bãI0 lesc>U0_ܰ\.TۜRc /$aZ@P{_:E&'1 9r\スYK*6G:Dj&lȲyoR&{<2CZB &p}a^Aܹѕ49pJgc9z QSǟZIHVA AͶ#Zt0m;QCQӁqv(;)/. }$1:6հGO=%@л00$P_<)صVuΈ(D8(L0T8F=sHgk_jbL%X&SYts0!vʼ>ϫLaowBMlf%Q gYZe -L_VMen,Gjs%#p/)Df*-x+ӽf-77lz$|MKV.1ןR4Q* _X&@y.4k$bNxu%+&q@ $ls-ݨ6 :LxAS1K= 7g 4UXkV/;ʦyV`JCjܱ:)EM=1<^i4{Ts\-e;%ǩ.1[vZy1"@c v5o8rR*ѓ8(Fcu<2i{}zh?52x9"g/|Qf\1..Sh/`%즔([hʏ7 -_vo5G&/lӜg=ֵOoK!|Ї #\:AӯtVZ(7șXrIgZ4X(\ o(w.8ocڠA"uy3U'C*"oC,=W,Cu6$qcs?aQؾ ڔ/Dwpz~QܰXzeI 7wɧinIUD)P[Y Q}s¹ѫ忆_7K1~,Vzq@Oӝ/X@MZ9+;uvz;zYfM^F@$mdV8\֘zSއm[ae:&XK+$~_olh{=GZ1t2}4Y,"O :4Q2m4_%_OÒ^j|WEH8ayÜsP:7޷aWfI_*]q}0L'1Ǿj8,WAnao9e m*n$"TaR]/is9IUs"CnŃ.k>M@w"}8C6_gOdTB [G̥ /EW=F5${O]18tE)Kf;1 /jhlBRJ-*_kʹ֎ZbκXl7pR``Y uBtG‡IŢ=KU߄Z h#\c9͛ŝ9";D\Ψ´ Q6j uxQA;<)f PdEPJT)4}24ZW,(+fDu 9oXRނ ..܇V.BViW aۮc?򁙽GKGPj<Z|5yP8z))T(eމ6[y:;I QHCd~R8y:;C8>kx оq"/˕[]%ثܱ$bD6lxnKYJ,C>lx;uφ( 1H)?)5ɅVhsס[>[4 ^nw Ǭ:wL*VGܑ݄(~-v'J|.Dls bҌH.*:6>p?Haԧ⿙{>3nNn< ' BʑH,y\fmdv6>i]4NM}l3}X:俴[EY۠ZYsIuY{G #qJ)lH O|.EFuNZ^p]"eI* ? b :r[7ID=B'QZ">fխÅ疴+.,*,lM"?4z:>kY,ZU'>֐bu 8~J xەJ;RLM,qO«ԉpje5d;mUcp K,ڠ6aEuj2ܔȮvs`@ eq! JҒ d5 Ek8X&I‘E%0ZZjݠ=7jQMM@5Oyc;~}ƑS9dGt#q*~TGl' ]Lr']탃&IL`'h #c9ƵLfi~U(+U1`^6Jrz<2;vgdm摤]NˋT?(H/840nu>'%c)`uG[̚rHobJ餺c {W-@*"cZ_} -G#>i#7`T('<qѤ~,ݷKQ!b-#s1G|I'etzi'sN5BMT>Zd נ.1KN@Vv1s44vote=zj6/7˲"tg3{A!ؔ=Jݳ#A(UiMH; g[wb7B+"|6 @$bP=gYZ194935870187338bc38acfaa417796d9a37cf3fcc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 ffe41ccbaeb0184a1545447920fb9d1af5b70096 07500eb927f136d56b399ba1a431b93c2a8237e3