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   c9v,l4 ]% Koenigsberg_Friendship:threads=4elapsed=61.855cpu=170.884gc=6.0127zXZִF! e]ŗXiɟA5qbh,D7L&|:dt~5D$b_~O̼cƪ֏`ܲgoB+/EXKD۠ZHѮFEQW*˴>=MAv*K=1mDžj-4[LAb6HN[t1_9[FaIVo7GfgD^/@7μ9'? ,mk޺"3.4Ws3)4CR߸he6ɿn O,щU 9OJtHTᆭQR-l2RFW βHϖZz6u=Z.Eze`5P(FsO\YB> c6'%YNDq غsMq*=}LQFj up.5hڂ.φ>|m#|r:tU"c|+"徭cs͕h4BcbCCMJSR+d%w>fے7F)7Q=B1}] Ó;r$OEʢ8b4O&=:$cGn3ߞףY2:,T<>+_9?Z/:aa|h~-߼yI$ma*r0r#_<:.Id iHL>$l/>w&AWѽ@Q^6q:+ PivXB~TT B2ҘQ`kWMB`qA9@}Nwi2iO& D5-\mn2E ͂+: Ȩy"u9I&}%wYfC_!KI᮵/~1F4F Y#+j=" sh)tÀ^L-3 MYhh?rZAF 8 f GC\J^K`'^ mYմ2\ۑ CJ?o Ν$~>iԯ\X`'BcR0 fZ^ nsMY6d8:5{4*9_48+`C8!th  #CM*m~^: [={+Bi:b;=<HJ6SߣIP{+DIɡN1KA~)_ztO9DCbW`a;^y$6=#)\_4A7RI iۭu C5EzQey,.}ul0r")?\ڧBA}r TmfBhe U-H6H1O {cr״5[0Ԏ6kS̥ʸ)%\D]4&@D} v} { 9 Koenigsberg_Friendship9E% 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ɉ=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ƒ 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 # 9 T'9J_\۵ZyA90yE lCT3٦B`wԔ1A%u0ILHU~d=} B kM )"3\PmZyTTК EGؗT*SMD܌CyyW.PUeށN=t]A2]n*`18ou 'W_C0' %t) c 2hhQcQ(A`t͂ E-kӟEt 3&{( ;TIBMV,E95af*R[Nݺ` Ng*$%$V15Cci;\אtD}:b# ҌzWZDjxZpKo1xŎc>xrV-ZB.lkWIZXfm&rOR ,Kڑ9ٴH+, ex9MhH9'ZrLĘ{#O/7k@+I9E5p5OX#Ҁim҂qNa,:!M vrʋXTC2G1"w}ŧ(hF"LXJn8[m Bye^2lR!v/Ly$jA]},Tn9߳.k&a@O bDgY2 !#G%TkvŐ8v$/ ,bNYDM猭&lMOg8iuze=rW}P߃qrJTG|{/G qGo>NUe\尚[Q|7]LQNѹ,N|¥\QaIHW$8 RxJh4SYNzr]Jv4#5T,H) +!_Ȇr{n*JR\ W(-gD-)ߧF?&/HOmR^$D"8]Vh>щ6I-&{ޏǚ41^&QX$HFi*|[ެ18Mkh+5@%`zqpxk<AmSXY ßC;a-lrٿ WI|k P\]׽6WΗUnsv MG=ඵ2XS9!l$ ן˥E>/h^c6]:c ҝ_`ŨXwSܝ^)As!bڞ :oPM@?Ee[=S R$qu%"` . $ H4 ڂCڄh~癊 Htsޱ%?>õjW=6oB<;P\ܻ Z2ζyʇr҈Eu-'J+%3"}nqZ{xObHSÃR0'ʚ߻!&?sG[w+JL Lp Ǥ_WiQ1?HktS,e_dh`YyJ>|#9}~c5 ˟(K`?k~ th/B;fA+F0i4PIJ}2|ՒƱ-:q#VsQ75:qu)R-,582NM܏ ZKpk`$^%P&yx{ѥ1h'ILBt]H#.#ODA^q[Fo!WIS.'5Ƅ/\סۏ~\%`eWikDe R M$l|F@0dS;z@=߇c͋}«&\..HK*Z,{JWS \u=)5o7f_zgqCEʐ՞9`a)Jyп|A?y\e5os2b(e<_jse:>huq3lو?D8B?V8+( j5> BMyX! /^ "ByLʭ˗}t?޳@"5Ch3ȅ;y0+B=+1EaEg}XirW6إ೼6tgǸO)£ (M{?W"} &0r[u`YФoAmژ\#ıLGNZnBiKn-mzRԨdO81l8MZ5AOYʘ8f/;$/mD.*yY"5;nwd:5Jxìb3|F|hfq;I 4To79&,>86cqҕNOט M_pE %JdiX'Ԓ$+GMǹ %'FVbw"1wי0Q lrI!"_[CydЄZrca\'Gka<BШ 'k_A!2WL8D):uTޞ҆`y&]YؖX2Җ:d"}]?c쥵f)KJ9DVCJ/SU7};%KL`v/Kz٨lU."uJN`ljU*2C$Iz@Dp_RBڀ7K0Kt3Z&TsG|p>}[:ٶ& B}Ϫzp,aq'0է3Lȶ8>|ےhD>b$beruO{ mf{&56&> ;f^33~# QϠR h9riMx)ȭcW'I0X}j;HX` ĭlWeBvntyU+STFBr89h5Q$Ԑ%a=-Eh˝eM욀}Q^N [PlK AGaIu=`K9jd1h=^Ws$ U$?=(ˠbqj$<MZ8(֔O䆾KK&h rױxìn]>`G )\!D%=<>Eګb.@x8B7;AT33OD)=Lqp'{2r^^2]O܂8p5q"q_Clj2wJoDz?9]3,lgIT3LZ/ =zۨ,VwL;9rC ph.ffgb4߾(vL_R0&`!uU!>0$:V:io%.Y^g>*ˇ^F)gGˀYͶÎ5Kрs CQ22*&6 4cm?7\@3NmF? :OaC[!*/04fbJ ڈA{`l,ö~u Hbhv%iDG [/?2!1` eoyMj#8)O<ev`[Oޑ]03_IrR۸.wֿAb'KW`5M.qĎ$>u kDI.<qtDCo=|l9`ީn GDZKW%W$3>Y:B͋h_xIa(*17͵q}nb<HֈEC˚*wS>7oTtx-nHbػuNxcnVOXm'-SiHs] LՓ+AvhK?n?ևg$uSWiWBvSyY@;z397Gt }Ct͗:W o3SڒA \}C|(3)*ea 4EJVhygX'Y X˛t7F۠TR*xK 9s)AR>QnL܅Ij{6%օΖ1Dp2/9|  6֟U mjp"71vaCH9>}JY7N>kfX:~$mcWlbSЦdy(Pr=>+>ӣK\4}*v1S(WIHa{zjkqׄS1X|dbt KWs }'Пc&mj孜J3sbS-pqVVuo|\_pMpJʣn)GPL1F6Rn}QR(PіMS> JUɻ {tm۲# >}Tǣ/`v㓴$NzࡻQ7-D73ڲM + /}e|aiB!h4/G$n} 5uMC:IPr{[ea&=hW>'(881J+:gh8F#7t.6#zvc*o1`Wˍ3z?`xRL= FzuϗCj*=ĘVқΣԉ<,@ Uǽ 8)|Hu_BFCY3b#_3)iY<8fe~MV&+I3ou׹WщªN`!RKM'#yԅECf]6&OAl,Er[y-t;Pţ> ϺHN03Tk- Ch~阃$0.5LQ~~Ln>?u.cZx˨r8 n 6Py i IxѱA(j{uʦbTz-IN,x]~d;`mGRRtKu3%%|q-*OճaᣚYbyt5CuJ8ws;"u?6vwPm1mwJ<'Y68] rƨ&(5 B.xHe GFSV+>| SWnnv25AEpI6:f<*ިt = i-h`X[}ne & F]ca֡t-ˑM5%UÚjwv˹Fi`[JmK<>}T* z36 "tG їD,>3iCvt 0yH6 u7 /a!:Nq\<&@s}T{nd֮벺 9zĒbt0ZPMyc)zU|'١[:I|Pdv"#@Hl,I i0d%)=MZ~]YPiBn 㩦q q<혀;fUQwz0DQNaS/ϴ'^C?⻦:\򅍚?\@4/R(3vȷHUכ>3 vvu6 T>&tCC|j=àKBZMuc// EFl]9-T@aVfjIy#ܹX w;T 9CILd y~f]bXB0za{go6%ad,4kDUؓn*Jʰt8 TA?Yq6r8tQeKY g>`F'&AŽ9aqLݙ.Ia%Д;aݚDFpmED\_0!eBǩZr"&G@DJSViL,GC8̔wypDN  ѠM`G*Ih9.8w%9S`^ %"f6'aTkpY_5ˈma ' m-:Qj8Y}*Aa?uՔ˼)Ԑ 6Mx{q4/NO4[&_8E&jpbѕCf`F\g?kQ, vly|RYX{Ne"wh SMQȤy Hj=$J~պQ-,k-2,HH0TGzLKXXՈtE?>5kKـlV"262A%cD7}[t;\} rX0sM]/)D|oc6aύYi񗾾qۯ4[j2z2Dn-\#Gen=^aZ˦@T!SEފhGt3\,T +as.R YwE#[%2l@Mo6t?z#36@Ii{?ɏ.`eM*'A0O7PM ~)Y Đ9-%㙕$C6S:'# ˜MmZ Ͻ1":(qrϽ<s_<\Zx0˔&Q3JQfaK 8"Kӓ ve'`ZpߓH(+^4R8Č$.ʝ[z.\[X["b0ŝ} \!\+#Ujcn R43(Iv}p5M*"Jw%X*kMèd,$tE5)uM Ȕo/Dt*gc.eB|a>vZfMG5PT`,&A|e?lBM°\I .#t4JQwS֙%KLq͓H}3Ɇy&1A IQ9M~^yana㲜\cd6ii\^%iQEC|RFGE$@=i !GYjG`qUiR j.:roȐ*6 zYrp_)%&ϴv~9 0xlw%){>.҃\l\(1c0?R ~Afx;π%G/IӕGq(L % `rd,QЁUËb~p^[ e4hh bj^ <:≐^{ȜOaC[0LW\@NCSTU̸h& UJH!ɡЅ$nݭP\|VFQr"_w;y z7x Y"*DA岧o,H]CՍjTso#Dnƚ{)INOc-5iEz+s7wn_{{ֈ`<^ f"]#)Z`TZ!` =+)T;%+`fk`뗨`ܛ殜.:ضƿ~AF>Y4>K~fӠ5ז/ن̻NsܯNLQ;!ȄN9הrfp[r7~O `|TTvrbE^5yizvg1d qo 4]@r K2 U2%oH>}ښJIV,3 } Sz^6t`KY~)o`VHCRN ک 'p'StM2oG2c4T=A˨2ܾ.Usȕt9N!).=8Qan1CFQoso[.ͼB̒LہB )տVk)i-9OnH6& QqxQ'HKxԁewPql3m|zQFj̦ZV. H{k~]cPgU"9SXM"(%]P%5m.H݀z[Շ4  `K(9s䇽U spPӞ}MD{GqCEcG3zE :ޖ) ]pp`/53sG 9;-o%TɄΝȂVKޞ%_T)8q}G%Bp ˗[{zbKF  T1XMXcBVM]%*9ʞ|vRզ /WaqysÎdɘTJX DGܪ$%IS*jٶpuB4{U@)Sҳf_YFER[/z;YmL8gIN!=f+Tp"p0gvG}n,%lMؔ;*(G"3@@|Q`6EYMVco}@i qRDFd#HNTRk?;..oê_<[ 7/HWwE )oTY}BwhZd6d }N|gԺO*q/%uR0 JqnʞXqkDZZ):/|I#dDJb$⋢^C ixQ4%XsbaQô?s!) Cܡ:DH/ɺ:%L^[0gSTsB%/P]&=>Z ]dp<б(պQP -9#u`jCF-R*u-^j`Y` 0 n;>ʤfBq^4)VƉ_ѧX\Vlk"}V30g@zY-41M^y\X[ą(>hyB9.H Pׇi^:)^UGYkCb }7e< ? YUj}WXtV0)m3;I&P0za܋"xGkn}LZۯRqQ-q[5m񏁻; E!&"0r>QfcHaV01,A%סT8_Uq1(W8J,ɉ *~P.[ŗbO K!6w6U~I!ִvIDu{wU@}>Y7"ʣ"6C}7=Ν#aX5F@@$Zc*s2TFad4N6QUdNcf+aA;/,>VeGkfļ~-JS%SJެ1eZhܐR%$dOށ??|FYׁBgkGp܃HO3ڗ\ԡ:\L; Bb)$SePΙkz7E%Fm;:8!&ؿؐ e,ZOh=Ж9HO8ܕ 3A{ !MLKܯ^346cӤߜfqxL~J>ib? b}O'|Wԏ̌~)p4eu4D Xc;6,ʭ he)(1 P0}">tcЌB: 7O|̨^z]W Di痯i!J 2 ~f%j-1hcc wws]72sדl91f#_?vF#DfJfyvd_C.z ;JCrd_ o Ρh c*}xo8gkv b y-%5[KW%lM.fS6^2x1l6vJ$-4u2r?m>{_~.W|Xfů,j)W+ 8Ԑ,svFط.sV1v5xprb@[u*x/lnjFӵN^cwNDZCyJZ_kUjм2 9}B*[ W(`/Tq˱N6^0cz-WSdʕ/3ָd0:EFB=uV6إ)oD>ciPc!IYW!KCH^ NE(( (q 3^OEBtaCWu85Wmi`D;dMm0H*+Ǩ.4nߕ&wS$~KDF ` oj/ Ah%3hE e흟fJA-!KN_ ^:u0:%aŌyr#3Ybd/](0./ss^},ީ&`iϼXE=t%jL5(Qls&Ag2=5,TtӍ2Ģ: CvH_ cW} WyŪ"~TGҰ$ZRƘ@ R_RI/D T#A@OWU Cpߘ=0PPVkV5,{nut3j82@z٥ڱ:y&3c}s<,gȺ'ᴘ'{K -:dJ7~T9hTVDBOQ6)z#Dl3PcR ?j)/I}oKh屽f$F (P*?p_{yk^q5VEyĦ XS#W^Jy8"4ҟ=:eW`DS.=y fΐ.8i=pes]>qfR5^>䦎rJClIv {pu}˪DDUD専g}yTI"Q{#EWXL`(%ݦD87]ᩨǩvkq9n`C0CLDfHG䔏k<H`BEߙaG-'k׬*4X}ԧkaʉ>tQ%ٵ"}wؾ5`7h06X7\~\B!s1F?yևi)Sn|ޏ.6 UIZXP K(6n |]1n'M4?6O@eh59%G88Y_ólxt1H6~:[ӒΗH20YGq!f1*'Ԕݦ< MgީP 69t;L>P C@gjyS fH~Uz8A)re/pXW*e9\!54|<#ZV<$r! EKT*́J*2Bp1 ؗmR%fj=XX*sWC4Æ\`f4n Hѓ,=5 8G. U[ ys0ᅝLN596ȕ("J=3_\HgD*|FC=p`+!͠6qW3N4%j6@ё.F=<92uOvC}E 4mS' 1-iOR2  EZ C3(s3p)[r.r쭶>XD2'w&i\@Kd&g/N!Yl 74 v *}&00J/l&]qF&$|R6 4Ɋu־GX" y`2'0HÀnc'ǖ 6 Kh16>ZT>%:߈j?KX[ co9iڏX{?BfwP:\u$5WXFgX_GDPL ߷wv|JۚD"NO: :%Do퇆eeAs!'UP~+t+ g'8&Wj]{cW.KNkc3[&s'2BI(vv9v]☵?K4ɥo"*w(uh8kQ3R5`'';śh+F+wMZB;:D6UHdH'=1цE^ tg-WAܢqB}z9M!c2`?Ifs_K-(~)[Lba4mai屣 Q>N π_]E^OVx xgdk4U \ _+:a\= ƶ[/|6&a:6?, '!LDi7H{40pmLT 9Ny+Rh;e7_z?57[݋6%P?]aԯpr;LOda`1-'k4rs̡TjjE'WTggVX9'W}}Iϋ!(-qe[h37D=| 6gy"_86ylxy PCb7z`pdo%wD/-Dӭw4r6mN#jokuZUL=K?!$r梞\\?n9ts˝O <qL9.LNCLRA@l@{ҹAv~v6?LUZHp7h\Ji P-ZYIO .0 <<*rЊLC zMk/Iҗ d*IP%IL˴,+Db @Wػ{NXB#v2GFX\Agѹ>e*w7pV K! $ ,.T miSJVk ~A|8+r`q Sl-SEǛ!傶־v=-owwuy;3 PL.fLO52db97h`3tpE  l{Կ#Bk#@5TEAz;>| sIWx1`m[e G =(pM9V-Kwjgα 朦h9-U{د׵8Zi±4p&sE&I k\ugwÙهљ&y՝ƒPъ&՞X̦5I`.AINFˊ+pFK;"¹Jdi&`u;R=XH T:4ua; _B#6o>V҃jwD䏵&yR}j;'r_Nl %iS i>QßY7rE\+H>i|@#ғ4,3XN\mgDtЙ:lE\}TfYu7n%hC cP %k9$!3CWӛTy-UpX{"U BzECRɄ閏vHŬA{Ŷ9&L׿tgqlkIPeEb$lޛ.7md*ȻSFm8i)̨G<^է7dǁ h˶'gM\8&mk2|Ϝhg,\bY::z\F:L3ujgtM\t)ss(9AQa>08 oEg2H exW,ho}pT&F'Bv:vIEi[ irXix^b~V?5n8k֒?6}C^XfHn/իDvsβAԣUm]B4JQD1|I:^DPqɿhk16AȒh1y;N縍c4 ׃%e nȪdF5H8x["'Q0QZ&i*!k-_ yCXf邓Er]uyP1nOEEᑴY>[5Cc5PbUj9=8ʿJWɦqq;(6>ȵ8zղWQ !ݝ'Px~` F8c^jIb׼RlM n>~HSse݄-8ػ˫EI<~&Tbn&#;%f'uOw _C A(^ & +g_;yK9#<~0|R>G,BЍጼxaf6j{{}f]2i fZ|'> g݅5}hm/468fk'A(/})=t˓Jit X_]52S\9V#P.×O7Q*s9t *tUgN|d.f{K/rc1e_enɒZv3m Y#f\$fosq@_1㸒\m[+X6 p/^} $hvoa嗬TK-$>F*ޜH\~<_gS҉x:#;7ݮp15YQNjb}vג{!_y-BɹRHИ%S Po^8j:L :9THC SڕoIF˧#C7JClܟWi$mQHjXwP3d !Sۿ,SI#%+W;h}lmB0^K"H*S4lw^J޿+P0к ]%1OP\w1TQ.f7* VhXzv4v]4Ԋ2KC9}GSՋ4!b˞&뚶q8Ժ ߎʑҢ# ~ęq( S3;YSM!~am#z|z3s껐LSx^ ( vi~ߖ m)-T0\zK ]m<9}Ssք:A٣KS ćrvIGWA,âIȣ*M W9 ]$)Jj|]Tj[5=ȭރi>}:{~yb h a]UlФX2_&Gۆw|6sz]ObЧ7 }Jn292^(`Y@ 1W'Ҳ=Qbp.40R/\/"A K6m B.jgJRV ?$,_J7 0 aEqNIX'ђ?anQSF}ԀL~C+c0C#*^zt=]Q{4'BgBsb?bPhmjm_cx33j({T`G6Lv G m72ϧב|"s(7qЮZryVr{%JW?zo?67 ΨlX^JQl 8](ׂq-6'o-2&w"Q9761sU~YډW5[^uNLbl}'# "ՍL퐿vp9&Z(n=g(c\+0p@tEn;T*qB?m mc\Wo T/>~uG{ 9&w|iURc bE"V#*(*ǫ :&]JЁ| r~ĤwFxΔ )sA+1$ӨLFktJfj+f)5:7ʑ|*J|% 'n`cmHv* (x^lY@_ aqIǐa35۩xkOV%ӖX>a 5,2SJ+2AZ\F l{){HB}B"3qI*I;1fLkdHg^q[gM1EbL*i.?q$8hFreeqOU- qنyeX%4VZ^'hK70%ae ~?y!2Eq[PdɃ41YԐ @>W+3pDގfA(dO iP``~+*3gЋu z4@k0M/ v(ϦH$bF(_R5s%bbTUIhD5|iDHpFjsĎ?XZ\;&#k̉8 5KRooЕ`{Hv@2C_4a.R̞y6jmN*ZpJ?$.rg61ĨS$J>P!6i> biGi0K 틜tjc”kl}rU&TR )>b;4 /Gk p/] 3:&~Y^- ][NJ >21sRيw xW}CiI萗5aՠ}&%#Z(5d Ro_5]RAcq~Jx*kw Mm:""hn)i(op xgc10ÎՁ;FRJND&rqCY:~Ib&{n!jp<&8Ðΰgl0.hljΝFX Y8Hs(!G%6"AݫFGI my5<'ʹ`F3Sw7ձgYZ  U F Uk 9M% LKoenigsberg_FriendshipKoenigsberg_Friendship.MoreGraphdocument.tex7zXZִF! Op]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! fr]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]!*.Obȡ 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ȝ ݯSq~ڤ7わt~t^\gO9T ,BW#8#oq&|M#2q@:(/G{ܬ2+a8ם3rL oǣ3ƠЀ*$y/q'PVeN/VO&pڠ&2z[V=Pv*GZYf"z`+:uPWO6mlc'2ב F#ZWA,a405 pg~3L4tqБ1,0D҂q+R9t$Ƿ+n)Y?buSzePF@8?GJh>,IXdJltE}}`H&$kVk1Zrl\4 (3ׁqo> \(V912{ Ӥ[xzvu*d낾up*錈tl W nAWo/ r0*^7*tÅ wA5SW|p`̋N'dJ%đKͽ2 $/"W;MHX>ȱ[]m.Y7/ND BJ6 z?,pK ?i^21(ޥpW:*׷d_hEhp6xtB-w}@xkDǢ_ }DDGZb 5<{xq<0GIjn(zd-&Sg8Op^O( %;N/AAwut2-; 0[}!g:6BИ3B,*.{CёN.KWIQX'juL<TM3T+4_{^8m+'ʈN鑯e_4\j*_h*2wZXƔ-{ZIGHC%8ysO^k-[ zwh Bq>s'z4FmxM 9ۅ{}" 6i˪tjk ʏOK1+y Lw͈_qEjNLgv[ʚ[z"SW[Kcesd6|Mƹ)rA͑Ssc<8=8t3nϦWɿ)K+dwo Ws9ȳE&oƑCP4d^cCST/>Hr>p;eZ#d;.nXƊE̩ a~͈sq4(Nv7SO$ϟn/ q+yi.Hw_: IW3BWOY3!ίU:YUPsS/Tnf7 I9G:B,.֏Caȳ zNc\KteNR 1K0G{`BѠ^,أRdD})d$B0M 5:S^|BM1vEite%Z4kF漕|lXU6ٲrKEM\ԕTy „-Z,aף)߅)*Y0¨*WFU̯ԟ/L{S$;x"`B:uHY)::ݚ_;M v<x֜D061QXމ"b Y C,Ga~}'("m5ɋ 0)&Ŏ߻>p]'=w::9ozTJ毲'χM|%u=#+ Oq-oDYsL= b@s,{`9r 5^bD:_#xd <l Ȩzak C$UnhM[T"n%ӃiFzl}"I*V:>m i9.JIH0r@"! /c/r<t!(.͒7ˆq`z_ sMR2*+71<+^89%y<B)GdU':49i3\CAm(G lLo7piS1W٠ ( Bt1h)tѰS̤ʇ8,rn"ߥ[Q{z?kv?}a`FԋHw50bszu}evGliU%DVٷf8&8 g U1yӈ.ycGít~HH`Hz5)/ 8s*NE@L[ϙk?^".=4{= O2PRҮCX-hLvA7qK~"*׌In=#$\"sEջx GEHCwe|__„n,W\G\16iAssCDJv EZ3؀g>f`ϝ!ֵ]g\ӑ.m :)u0ٕ^q['8?-w+PTq;nŷcXN5M_RԪL@(kElx.!|7ި9A"h|%t K.\a!f9~-2rJBwrx25 3Ε#sn3ܦ">vlގEt&@#]S}T0wN64ۥUX0c4{酬v[Z Lx Z߬ m?K-w^f(JAv¤}c$<̇Z7:ESI d/$7.zHXˏӌH (!~1ļ䘧F=7@v9y.˩)ӘGږ EVZ $!Cosٸm:QilZo}or$6h՟Rs`Zs r|`E%gwRg>`'O=ԨA1wElڳb6\|Lr-W(.YdӦs6O{ІTlb0Qfꭤw7e,iS":2ɉ'Ssb/wj@Q>ua3m`e;HIҩiK=VLh=޳3~I\˫xx_{S-)U#O0)0̯~5<g U< -MK 9JeNHCd$(!c @z圕tq$[Xϛ )rAcou$HIv=P8Rg"շÜ)*L1G4}u; R_Ҧ>ll GtՓu[5 0('dumKSr"_lLm4R֤zf[S PgV݊d߿ESxf:|qiOm!(j`cK"EqB0&ĻMT(! 8ttKNh!P1v^Di4 CtmV[B]˼WPq |4 IM"NT,ͮ)CV|)>04}|l{Cg}q1Q=[+V = \ v:*%od+ ,oO:q9/w9[]哬9MQfqpYyKRkjlbՐm٩ݙ/o_y+$&66&/W9_6a)?4E\lίVE)PF*"A2= J?uJgNM~t9dvau&˾-/>|Ao:&]yC ~ #b¥X;VC(y6ȄMi39vKId!7̀I*1щW4P[[^pʴх6歒0>:R) XThT=޼׮5o^ӢdReyE#!oC(>DIoIw䀼CA+'yMP`S ݞ_eL 9W2ocr+ UXK5iw=|[jE(m,Bo%xH)H62qrDŻ"{''ɛ"5i /z)8ib5J-+1P/HfM/xr[Ju]I%`Z+W_\zlV/-uiEw2A;A=iPm$=إw̘5Cmu)pbƳNY]g37{ wB'5 6I?[0is:|tQ3wVLkgrڣl(VkB-䕓0 ck~~ /}#/I +z82(R/u!y\* v, כc*SC)c-ůP>4pk}r1oaetXq $>2,iДdPM/I/,fEBUVqJX!HNC9N\Ob"ȸd61B?_9IKȆ:/s Ehj0x ٠=pf?Q4IꣅC29TUAw"u9ץ}!'@c\NHú c]T%"?=Kt(0y U l`. T=kԻe—s?:l5MR0E8ڈ㢧&Xk`(D\FlZ1gӬp;wb\?+R-g=m\-\ęB4IV){ =W+~-gmɷ$'Y΍Ue 46J4P m+2[B Q8V1wUTxnz6 NӅef'FBJi*Uo}}$wd_3,eZp A:(ҽEZޅ"8S=XH^w댖 '!J݋NjDثmW~YR ~ hA݈ɓ ' |xw٦*@s8e\`+/=.~*X ر%З+'0}%(9^fYDgy= o&ec~ n!OY< (=Ciq@^;P;0HHW£ҹ:O<+a-i Q$i Ys3{*Y9 d<18&61wIfq ȉ~dSTI@߼iKۏHXR-& VK{lÐꦸwZIO T4F3s0VlIX?6TZC`>iEh 0F+ j)gz}i9t_3X;RCES~(HG%ld&a(Y:!dUt͢~ͅR,E #-"Z? Z M@Gtm 5f2Bjf北Te\i';B3|OАA]oP;'a#[!LxCv CokbxsgM|kML-eH&W265_soQ$NLt0umtyAu?8:|BȋexVle[h}1oBRt O'"|߯~Rlc]vR2 8aW[gqO/0'R_0z zŴwSA/cߔ!pm9E{ZrIJ=Cw pJ` zGry;>j_o,h+;⩉f#+ꐖ9X>7u.dq +O-Og`Y_K d78RW/wBa~ WssIRTN ـ0*0|yhn#ΎW@Y]j%2N}ZP?M$fU74O{X{IUWЈ7ȊeSZMVF`}k>uY5x"f?;DvqNN:qL]FIyY rG$ A3R.n@꫗hգi>U—2jtGWlүu0lO"cZ#f] 4p* KLTR;rǧGR@Y]s.t %T"tl hL.r_O;ۍܭ@*rA0^.U7F7h}CR֜z((,͒G􊸜hæ'qR&EmɊu >_VO *Df݇KuC F,Mu\dӝ\^ ($P}ٳgܷT 熩JlD}8Ӡ%Vw{("nְm}>}Q,k%|_;o,M ˷ngN5q{| {DG=r=%Kȍ6,ҶeFpl!G1_ 'uZ:V9jU}PK, y%m9!3WT;ȑ,X]NSϽyL7ͅ9):Q8Ha>hshzVn_#ʏOL/rhIndc0[e% P&5 >IiS찈yX)Bp  R6-εv*\3<ꚜƤ%n`mݺ:sl&җhق+Lœw. j |$(ᅭU^iote&s ,E=N&[6bV#´$KȽSa1AF,!|.OIBvf ;%;$ziE<{\Fr:[[;DN%.Sv4$bvIS q L_v\~`iS!70 {3g} Kz *d㪧߿]1s 괲Y\CY|R,<(Z.ѳ.7InŁ~9iE^l;Ω1 q@'Ug]3<*{`m0SsHfzF![_# ፧AQuh2My|rZ at 2HW$S\!`QÈpZ "+^ HMsJ_rO~v@"YA.ݽ HKD)MYbrEZ`_Ӯky = Y!G+-]qtBИcV d@6Zipo Կ#ɋG9jyL'JAӣl#c`⾍ݶ|IIu.L0%IŬ {>BLݲV. GJ lnRݲ\7sqO>uedY  fjzӛtGM-n\Ny 1M?ڎy^ڃKuߩ|G)T')f# M ؏5d֔jUʄ-W*Gµes5?Pd4 ]El}D՟Wz҃,VJh̙= 1Njn2Zʾ6_+iJTHVgA#"4(;y7'z /VlZ۷9ꔄ|YB:6y]>NuSVU=+ c/lC9~z/0 dWtԒ:|"'ug0{=h;mnŝ{7 Hn>w$,=n%!'OYQ' qӚ !K ۏ0oˁp"]'zgxWeGRz\esd0( yiIH0ך'XRib]ch-Rhƛ-ֹ:5{t?Q~qlνw뚲-vbgx*Z| L+Y%Gr2nryT9\f5×\g3n6i@enkL~U$6}vܺ3}wG2Qbu5_ZV1-@ v2m)tyU]׵ņ:_ʬ#V|~0`8h>G-ct[i>9kX%!i'5 x#Rդ+DƷJ{=# R_Vec>rid)~qeܒn]QOS؞ʜ;B |eQr3CFc=w_HNs#L>BXJ:7 s1?i%}~=/ %˻3 s͊< + ?Qh2et¦E*h ;#S=>Uu R쏯7cn^) hYa@wƷԎϷo͂_$ԧqGt^d2<S+\f]$ьJܫ@D"d6 ?OY X>8Z Bpņr~QYѯ *P.P*[ X^˭,-N$3}t]Vu"ѴHn4EXo]+Eko쓅ܟ+3&ybj v_a,Y> EOo8~T\OBsbԂ bϜPߋbQs^wR흧&6əIgZ+2  wX W1s8_6E`ϺeOE UN'Ϟi6/1X)J:⌉席!N\3= E% .5OgYZ>]h zbut7oGee64ыTiH| oHfZ9 -ܵ\9&.Mj cR 5^' ![@]OgP$ d-f`&et3ᆭ(,-Pbe=  xr90$е"yA_1X(<@=ovLRQ:"Oezs%/~/j`Q <ʴkck t!PdAoMi s%_liE D!' d>T<}$"}Q݀w4aֱFd=P9S&%^$b!6;$Jߜ3"| -˺qbh:/'~8`)ΟaQgYZ7zXZִF! `]ŗXiɟC3zto?;Qŷȼq,S6NbjƤ`,,V;;q4TA 8e,0B{$_8+(-Hlْ{"mVCZ8 NFq#CGn)&gUVVQD2n.: "@gYZ7zXZִF! =]ŗXi%D8SS(Mgo&C9w' S,&*n]t$li2:-5 }D# qs[%-i8y wC/x_P3 s`OL c IѢ_;'ľEYN1*ByodLV Ϊ@SHT=QrqP/O&[cX3\6Oo(9/n`3?ڕI;$Њrf<&%"zQ=Xh~ftxz<i`9P )W[3ףąDQp0H!쒥Y";boJ}uhwgos6Yx<.Qc5@G >،n\Ŷ.| U8(JkpRcsnFH;7z Yo_λ>{x ; M#by1@Ot (H5ǡt\BC{~2T5.e Kir[})27}O?R`@#ƇpcLCP$CoI?b]t ҅y홙 G͜?g;$?}15ǡSLӚ]p3DNiQ[zRE%K;98tuF% L?wbP@s|2Jd}$ЧbL߁aO{KeRI\*FX.j B4!tܓP"2"M71u|OAQ@pPX=ʯE58'npv @Q΅Saeʾ-( <9o<bgDF"Pm֏bA׈mڵGwpЅ : l[mdN2ۖHBY&CXB;k;eBH`2s^)?#AjqF?a\Ik7=hOx>(E~,' y;. l( vHZ#.n 7)I/"*ѵw/6yT벱',cXԞم֢^ HE[z)SCy@?]7t]8YiL鎱!TTEVS‰\_A%ث&ɛ|DuqF٠]}f`* edyt IajGeas>9,+!,%6 j?CPaҫ6Ɇ<*Ɨ5; n9/Ru2`Sej^Y4λw#xw (wZ rN2ӑ6 [8iΌn+խ8{>Ls쒻URM*paF>.}md QKO'w3P~J- P;P"wIS0*(R$16o\PS6+Up%G/DcpkYÄ>z=p2&SHtkxU*s) 3dV);0OGjrod7W\loK͵RAL(U-_0AQ|8(Bo,]uXBZj=ެ-s/  phuFlK`3"_,u]A(*hHf=zlJ|oF_<rE'\K4Y`xφ\] JAM`K B#} Er"m'd6CI>0ϑZ`օULIбfJbq.bafc0)~"VΩ0+A7!x|yb S~4N 5 s> KΊpt#7_HÑEz>DB1)LP4'n!TXSڶyq?fNUtG%[Q^{DP*hdLV9B=-YxS@ BuYR63p2-Ia棒㿅XV{]f }(FP8s0< ^)_v5)op~G3h +Ƶ6锋hG9D ]~APq|;hqJfA@ [RL5{ ,! ǝYtЍ}n6r99;SڎXڂrE,_ 0 %`3IcKk6ajq۪QjTR$ M (8ݯfG.PpX`r=NLQW]чIO({_rH [r\¦*_slxhL0ۙ3!/ⲡ1ns)~o>j:,h Q{8*LR\xp{EuRFh l~ȆPlw*u .X#SRj7huO[8 &\Q]!x-e qT\p)UJf8&kQƩu(58uArJ:)iЏTe^R,q)OmgTJ5ZyFh[0xw37du-d6:E2^W^D]3-*\Y ;Lu G~d/|#с!`G2hǖӶJyOlZl'rt53X3F ُ40B&]y-IT?j,Ha*>0ZƉy"+u*TW3S"Ϻ$Dr謪Ҫʮތ4gHwOqXeZqh&Cګ)?)ú|zȍ\"pwFRl-?=ćmz)=co#F$)Sej^c[kM Xv5`SOG/BLhgm݃8GfԽ[q>.i ony+]+`M;;<,ENo ]"pI.wnDEY3 ƶ(:37mc"8͌J. w7:λu-eeM\QG2*3׆`ZB7pS&/{e>蝪~m.z*(-&6>7I1ǧ^i&*30G='z+ z%^xTRCB(%Un;!]xٕm OHdp/+lq/jLd3{NWs W'@