From b2a61ac84351b4d7fd7627cea9d4a4530ca77b44 Mon Sep 17 00:00:00 2001
From: Maria Marchwicka <maria.marchwicka@gmx.net>
Date: Tue, 28 May 2019 00:13:20 +0200
Subject: [PATCH] lecture from 20.05

---
 images/3unknots.png           | Bin 0 -> 3941 bytes
 images/BorromeanRings.png     | Bin 0 -> 12351 bytes
 images/Hopf.png               | Bin 0 -> 5040 bytes
 images/LinkDiagram1.png       | Bin 0 -> 1192 bytes
 images/LinkDiagram2.png       | Bin 0 -> 967 bytes
 images/LinkDiagram3.png       | Bin 0 -> 1208 bytes
 images/WhiteheadLink.png      | Bin 0 -> 11899 bytes
 images/unknot_and_trefoil.png | Bin 0 -> 6746 bytes
 lectures_on_knot_theory.tex   | 419 +++++++++++++++++++++++++++++++---
 9 files changed, 389 insertions(+), 30 deletions(-)
 create mode 100644 images/3unknots.png
 create mode 100644 images/BorromeanRings.png
 create mode 100644 images/Hopf.png
 create mode 100644 images/LinkDiagram1.png
 create mode 100644 images/LinkDiagram2.png
 create mode 100644 images/LinkDiagram3.png
 create mode 100644 images/WhiteheadLink.png
 create mode 100644 images/unknot_and_trefoil.png

diff --git a/images/3unknots.png b/images/3unknots.png
new file mode 100644
index 0000000000000000000000000000000000000000..aaf791ce1a06324c554dd10d93da9b46cd441808
GIT binary patch
literal 3941
zcmV-r51R0aP)<h;3K|Lk000e1NJLTq007JY002P<1^@s6oeWF#00004b3#c}2nYxW
zd<bNS00009a7bBm000fw000fw0YWI7cmMzZ8FWQhbW?9;ba!ELWdL_~cP?peYja~^
zaAhuUa%Y?FJQ@H14&q5fK~#90?VWjyWJMXkfAxBn9c6ZRU<Vm?*#S{TvssU*k%$H*
zT#ERIN+1vkx~?&J#6aRff<l6_2_D2O1SJH;a7IOfCmTVDK}1(M*M&v)nCaKoT-`mh
z!_G|iEB|;$SNHVHbiY^c=w^ONXWn$ztNLE|S5;qK-zQilVn#PZ>N?<jU=Uaf(g4H?
zH&%f;kYgZz2b-<~Q4Cw!Sjn*i_$-30Kp)V9`#njP`o<)%fMf>Ai%4!_6OZZ=X{8@&
zmB8#7fX%mo{3yuvdh-?%WEQI5hM~Lk<{ble1^E_mDuUFC>810x6)l#`0lPVo%Mr}@
z6>+t~ghuWTs9pi|F8)kN;5Cq=V7&xl4^;1iQw}Unn;8P*e6T(Sax1U}cq5B{I|=ex
z*nAcU-wF{qQ=G*dzd$fVGkp|Pu$Tm1A;k++c#M<y)uMEg9<rQ+!G*y4fzvS9h()SN
zu184mWd^ug`||{48g4AXco`~1kfkQCX75kKd>PU?xG3&tXdT%H=CfeR`d7vRa}3N|
zK{lyCe%LbrqrU<3wI<~q&{s}K<hh1CbL5fUD~BY{QSv;^1ZQe1E5{BBq{(B|m6vD1
z>D5|Bdk<5Fhb4Sm+V-Zl0;K)Q_QQJw<TPcgk<9ZT-_h{q7*wu-Q|<}3Y}pH$-N1*a
z`^v>nVAECMmfa>fc3^Nj($)`$1uS+m$i)bbhFbmz+gZyl>|WYsj5o0r!T3tIYtiRP
zxF-dd0md@Pq<{qpWdrtAVLSzUEyx2KCA>?*DFzHl=oi#|q0I#U<9fJIhy20Feh1_Y
z_TvGzY4ikaJ`Y4CdU;0g1><t%jXZ1~j9!igBm<1`UnD0u|ARq^3YY2}l()<{XHexa
z;8^cHgUdOA`$H?U2!&=QRtaPoisNua&@v?SPQzo(Ou8b-DR@rDv-ratZ7_$T|KXb=
z`@l366K&p}or{SaUvtbY_ccR-cgH4=N{*ckX5pRM%P7HQvvJ52{9Air4a~wV%_`^w
zY!AEa8tGv$7nF)J8LL7r$;jP`j1{{gMNEOmy~<L+BG1i{%dip|hRCzvRhn^b)spWN
z+}+s9mtjuAu$BVaU<58GLA7Dx;9&SAXSafBDT??&_+<uRWV<43xZ{IHa{O0mxo43K
zL|T5k<R~lhel1X5WteN|QD!CdYZBErM_^ZD1rD#Y^sqDI<tX6cOTsHlCz)$&GN=C+
zNs&38^^~u`zDUXpilnD*=5Cbstp*A2Z8W{c;gcbV8wj<xDM3hsZL^}Z*5`&(Mp$Hi
zS(82g#ZZeH<3XjR-WzIJx{>sI)6Y4|ZQYxLi;DG?r4W*sS}4JkBI^;oxvK;GYyxKI
z{9qn&o}n6A5g9H}2GNH@D<@3sH6pjd?`r8DXN=%gmMQ3ntrta@Rb>8`o?H*#T&pZ2
z$y*(6nZu_kGiSdHrHDLLN7-VSQrAeHtYc2D+_*^SEh;A199$cLh}uxiGYQ**=jaXc
zS6tXiKIY4{-3OY<v)gN#$9SLi{G-I4IdglNJC;pbRupa;Zj4AoZAchYCIJE}M)t8<
ztGqY<1;D__eq|h{XZjRC(x)icGurZvlL8}7FSD>@niA|&Oq$Lbuqn*IpA?hwdjC14
z-Pxtk*O;Qi%sbCCt1ZhM&v<Jsa`{~v9m6Esl(m^N7JV+ES816$+Xe;HnLU3wjNVym
zjb(Qz0RZM@%5&*i8gOTpvOJ+Bzog(UXy#Zv9q$g9i?;3G@#e=A+~ro90$kdD4w-pJ
zvC{gbiyL=bHhOR1tn%FKwZxL>cN2t3jz2p+XMG1Ep<gj!x?pf?<9|UjGgNDZ4=(PG
zJ05e~sW6j)v&u8=RG6;O8;>-@-q8a|ueZCntZXaUK*F~$w8sR1gk##fP5jKcu;9&4
zYnCYiRDW;(HFTI{cCV7+hZ^!q7ALbGkO*LcA9(L8y~}H{2^RwDj9Cf3()yk5!K_S^
zQ;^-jo`G5q8h|WUdFEKRl4Hg(%k~=pGqBVBY`uL5scUFBY_@aBgo|-bELOg&Q=a7T
zKE-^>eZqG(DXw;|x~ieA!@vYUvdI9j;2QTc5y2Mys4?*7(OVplPAZF?UEo||X`EGT
z>$ARduowbB@`?s|l1Y_+03djS0d@BMbX+op%-`Bee$-vJ(Z3p=ES!lD`4-<f2-X5%
zaGwr=5=jq#0>HvBq~g`&HMo4qn>v_2_<VbJ$oD&cyR`vvu-uu$<9yw&E>NDpk2MIC
zOcr<&00G7{JmkJV2)~O>s1Olw$h~fHtIzSyoe6Zdp%cSt5Uh2+ZqIU#cOAC#ia6QC
zh<j;R@R1lriJS_2s)b}uuPdWDY!w^Q8QZ0nb6&DE$KXyDbi3*5?G-TuyaDP4#$Ano
zH?@$;@w%AW6RtFI<JJ?O`o4hcR;uH-QLTvM6Ub{>DqXa?-wb7u;Mk>8xmeEEGvDPs
zjQ9KdTSF17cm8&Ng>f+4Zz=`P#wtn3xK6_iTJYKHkupOOCNW5-@euRAZZ~Y}1gnKZ
zR-KHjO^g|?BCR8V?r%b%wWiebZ`kD(#`XSa`P)xsc~i>W-NR)0uzTs5WCH#gi!c!(
zn_jNOTFu_}lZLPr9>Z_L;Px#3CJj0VclV3z_6PNF`wWX#%m=ql&AvS>c@l!Njw1i*
z^L~3;TCzruI0<EqS79ozn+oHSf~l2LxkI}(Tf&tlZd`xR@-|<$r*H#0b<yFvCREu9
zfS~xgt1tpyUOAO?=2;hc<L@HUXV<Q`_%q2YMgdw1e$>eb$6=-A>{fm~F$X_yEg68&
z;Bh9Y2*(qU@IS+qVmAO*msc2fuchQ(Tz5*{a3pytBz&N~v;EnOb5>+5T*=}jT@HNw
zTGHF~XJMu|OMOPKhna`Z#V1v`6tTUrw;l|~a!;Rj@hq8ek2*Z;KMQ65Semn!N!hu~
z<DQ4Ag0c=X+od~|0aA`Lzt)?<o?kc@Z60gx6w+towI7?l6)-c~q)YMjfcYd7>9|*t
zw%c2;he^Sy@kkUtmZSI*TJ*zp;!kVWhffPbrg#yzJAW561dz379aA0d>9QG;UW7M(
z`6k%&r|!<XH!gKwr{ngbYvA@aZgakuo^Cv%e7gO|_xei>%ky7-eBiv2#<&+{S$dJ1
z)o5bzNfsWe2h8^FGz*RsjN-~^JBjp_ibL|D;MqBDh-{x^-Q;bk=EN^wJ5Oam7oU^^
zDsY~^JEb#@u{P+FCJ7kM?=6nNrjg~-wt(w~2w;MrE}yuA$Z!Gff~>*Cb)WfjL(~~4
z&(^|%rHbrPqIO*wj&xCz-CBF5L;42kc`{B*tT`r6j1-u39QZ9hNg7@dqIj8sr<Jf5
zy({0*NX897)Fo$yTr<<uySsRtE4#`po8U|(knMGgJ}<%1U{1S}iP8}GT+LPkDRsIt
z@`Gp8o+a0gf40`B1yXuad)`q~3l7`-oKOj_S6bq(Sn;2MtM$aVal>7hkLr^y4$Py@
zbA)pg-3@n<@9^{eS#D6`+<bM(bc(GX+&Ogu2p;OfCG)(aXdSEw<^xK6&Wl%0?*qwz
zr)XI^GpwP#)yEA8JF#rqk`h)tBJo0F8g6u-WfJZQmYeLWDck68^hg*bnF}HdIiBN?
zQ)xQ$$a0>kmd9c_xX4wqS-2%45ko-@W~(R1(S0?g+tWdVTG^+>=d6T24jW~&(#v#K
zV5KZiDAAu=JFZ{UX2!%v3C7&YGK1$RJ0P-GQM^QlUaukh?D2|Q(F^a6q}Uw)@Dy)S
zM?l^P80Xi@xTSSxFh^jQp16?lFatZ4v5UU=jetF~6hbi7P}nn2Us*=3S@|A~xHD$C
zc7s^OK#oV0Ua|f0yS~A4v`82(YB$9iaieyb60#SDQ$|p-7b?A>-UZ558Rs*e5*7%)
zn;<N598k<Kf0JEvaIF&Nt|MYQHUv$QIk+gKl6vg1fIDlJv`~KPY?vt_dsS?rjPanN
zjLBM?v7;l;DV2IOP<~})#%uz%YZ5aQB%G@Dibch_dN@pOQ$mqTFwYIQyjDmLE4vb$
z0sdtC<A)rtDr1A^;uZ&}H^FSV9toVM8h+ea%+wQ_S~Ke6WYO*s{}4^dht8~-J!uIe
zF|9kuUNB#(?^QAf616L#z<xzJr(@eXQ{bEAsVK5k8RIf-`8O(~wv06~1uv+Tx*X)F
ztuL}$!K^BZT8ge!-#b`8)on^!mi!l^DZfn${992}$rwM0tn4&5)tO(m3AQhkvZmpw
zhMva921dO|7*=J9*KCwMV2(5>ZaTb*lfKSApHo+!gmiGTB5bmJy-sQKRLCk(iFJ}@
zm>kb3``g@#QVe~ndkXfdJ&nG#jrJ))xuI97CS&hg=32;98WedB(tikcNK5vEc^{;U
z%APj&Wr4XnQRdf5NCqg7Zm2ktJcr2>talveN(#JOXLi+kwFykLj5S+wq%sXpT5u-V
zwwZvb4G|qlb;eT};5boxj}$z<4kZFsBFNnV)^?DMe!3)xS?q|;&%nY#5HCUHf6((*
zIA$GKZ+9FAZo!UWvzDg6kDP|okKm*m!hMzynPeLa{1w>P<kJP92)u&93siU&$@2(O
z2u>%(2CBRV7{*`_SdVPt7fnzF{=*!fWQ#th@-2HFat@d6Qs0wspdb7P6kUcQd_%zZ
zB=o34S}@xW8wE)Y5oewY^5-B<BCw-wA%RIS9)c6U1fqL9<x6_V^ALjb!HEPAjClkv
zlH#ju<nJ2tTSV)wx*Uoy>qae8s2Z?y9eg{8Fh#guz^5gwX%tMr+&Xxtfc-(rh@QQJ
zaNNz<J@lYGvxNat*k8XlpCZAi0JBidg7sS%x(P&=`4m`&96Jzv0lN`ij~&ZL0K)s4
z>?;eH2TE8xLzVAyGJlCe#I`F8fP`&jI{?$7u22F7%u6s0xVH};6!4;&W(Ka7aES$P
z6R<%p(F#lZl|2qN`H^##RdnO4!njE2oq<=YjzR~@te%<maK3=2^kuoqD#6jH<1hn%
zslo?cld9H>E=Jbgw}5gF+;c3;oN!xZl?3pAe0aZ-<+PMe00000NkvXXu0mjfJ85ou

literal 0
HcmV?d00001

diff --git a/images/BorromeanRings.png b/images/BorromeanRings.png
new file mode 100644
index 0000000000000000000000000000000000000000..36e252a7043a6d2f1986070db24b69d71292a6e2
GIT binary patch
literal 12351
zcmV-FFu>1=P)<h;3K|Lk000e1NJLTq008{}008s|1^@s6P&yzq00004b3#c}2nYxW
zd<bNS00009a7bBm000fw000fw0YWI7cmMzZ8FWQhbW?9;ba!ELWdL_~cP?peYja~^
zaAhuUa%Y?FJQ@H1AOJ~3K~#90?VWj;996Zzf463mkj$1zGLr>DWG7(QcR^$o*+dX<
z!39xJ;VHO3l?S3CK2bqLQ64HF4;~7ltb!l}S%k0?2oN9(OeWLaGd)#3lVzsszCWrb
zOy67GGd*41Rn>ie-`8JKr)xRWRj2N~=bn3xppHnvd;wd!FdLXBp;N%-KqoL;!ek3t
zBuoODfhoYW+~Mnh^|}9V5HKiVoq%2my+H5C{{^g(urdoPJ7Kkejn)2J4TeI9uob8T
zY1nEAb{4P`up_W@?%&oB)Nz4s32zE`O~O(OUI3QPgttP_$57|Q-smMXBw<$z4w7&n
z-e*qOdX1B`@Lm8<0FSxwSO;{4tyH9uG|*2gl2#gNCd+2pK7xKGv7U_#(1wj58-k{h
zC6-3t3tLJ!QNjm+{ehOSbqbJG0v-kaF${OihP7cUR5c`<F~D}XYzu6QWGe*o@P=P=
z@rGqnCvfJCzyM$a4zL>NLh=?CUAVkW18*T&Lkm3t{WXy#Hb$R-?FF0&oCNGiFuJeD
zGpa72N5Xmw`XyxX9*`j*10Z3V@W%M$#{Nyx`^*q9gLghN1JG*(7gz$^?!q0N@N9tR
z4wr74Xks5Edmz{o$)3P=g#S$1z{|i=;AJFBae0~PtVAF~)-4di{(*~P!>o;P2JmrU
z(F9Mk26zd0S;A5QuL5ftU`;!ugVJ>b2@Sn4Prw2fwgMJNSRlOrzZ<W$n&`Qo7jTt;
z8)kYBXMB(};II#Z!;l<~*F&2ewpt~S0hS_Jf?x?2Ptn9naU42C(&!Vghk$c{kAlyb
zt>~dVBH&>G{}!;c5{6w4Hq6=piv;W>V3CBqfn9*c5>As5a6=ZZigfEQv2Zv5!Kp|-
zOniJT<3lir<QW7@fJYE4raAh<vB(&`gvm)bDQD~ljPtMraF>9GB|I_<mQ_&2iqQ>C
z4X~H+TEG2)Lm0oG;&vDQD^kXvVK$PpkbDl<qKq@GMer7qZlDLR*JdN=!({+L28#jh
zD9LnOHp5~Xk~RcWk(>TM6WAQV7D(peP0t3&GT>n(i^;N>8LSHU{AClm(Mzy;;Uozc
z1KW<{kOXj#gg?!KdxSUct|=rm^uhiv91ENP>@fBr-08ykp&EahJ+L?zIE9@5W1Or3
zo<j087B7+IHL@&cW`&0^62Sno8D?`V<{?=CEJUynZ<@C=fU7J8{)*%_T3HeWzd)!)
zpMsMm{1DH9QxFMB3$6wJJj3g@hyKG=lOEXJf-~`a8^wA6F7SuR@Xc08R!2L)W(VL0
zcuv;wJX3E1_aXQP7XPA&H5JuwqS(wtursg_mqiHn0Cr<yGY9~0Be@;PUufh0u>1j`
z7=177;=<*?`^MPyX#u~q;l{1riH56N5}v_-%!1EL@8K&%O2F4=z#l65f^_Ia@_pbl
zjOCLMJcZ<DTy9}HuUAZ`N+W4xfSqyK6Ukl(_QJatr4AFifa`(Z)5<G>>sf@V8hsZ`
zn*tX}I2ULru-irfw*bGK>CIOgeCUCrEw~78`qCExi-9l9^ky%D#o=TmR{|YH_UcCR
zTi|-ySRS|zQK6eAn%SQ$2O&5Z*q8A;pe1lO7C)nz`zxnp2qfT;BrH#YEb!TwfUEmp
zLD;&+1qmVvCnVwdBEReUBz#E*^@6vVNk2DXBMW{Ume9{9kg=MQ3l7N?Y!1Ta5^P>B
z`dj6Ho}{0n!dAa*Buq-eB}vE@c`$EY3)_UPYh00FrQnPtB#ZpUx7#qQ?2BcXgH3mV
zhxTP`K7<V4K^!S;cEIKv*gS$wb{xk4FZ$U#Y_%suA1p}1V?`ds=M!U(>kZ>%4Rj>o
z+9bFIe($%FaA?^V%5a$S@TPD$6IoKML47jFd>p=u&GIn}Ka0&(^fM!DmB&pFyf*=f
z0uSH1Bz#*2KSyd{%%Rk93eGG0BK>?X_i*0LU|DnV^@&7~;c#qj$HpyU{A;l}E^Kwj
zBmtjG!iEA5-Q!7bnX93KB%mb;*B9z#rQo+^y>ulF*c>0A%JoZ{J+Zm7h~c~R^J`>D
z(W%uV3EwR6pt(u7T*fQjI`*XC<RtX@-ID}7yr#JK-B3+z4!~ha5#xV?K{gLt%}wMy
z$-gLI@O?dSbl5u9D?PAX5fA?>y|882IvR3#>lMC$O}c>LchS#2VXKJ*k$|fUJyfPU
zA3nM6{@)7Rqm>ERK5QKgqv&NzZ2nom@H3=2B2@j7aCw1o<Ki^5hpL=m6S=9q|1Mzo
z-M!vwKSNaTTK)ej;OJY2&9R~Am4qJ@7%$%4^-fYrLxf1dXOb}FbKiQC#B_eRmg(o1
z0^R)$q&c#xy5t@nzgFW`<FJc1NjNd-MeC{eE@fK$2$E(GY<heQ-zHr+6gyCQ;lKh9
z&AqRcwye?+61n+&$LAidHGY@~;;;~#w|or0yW+7Dy|ATU;7tl1T0QY)hlUWyy}bMV
zoO{NrA3^%r);A2gpQn)(vONin3HX=KL-J}rF$x(pY@!DaO2UB8JzZw*X$0wKZ)_Z&
z7XRvsTrUYf^m#b?Q(mSKLrh7+;eNxl6f8EwwFqK!obTcthm!-nPOdAcu9kBXa7>^V
zGK50Tx##EAzc#R?xrX5A=R%*>zAv!x{cA8K2`~Fh&HXfx3m76nZi%j6%*FX(>t;}p
zSlHa<WB7Lja{dHd<nu5*X{P3Ck0kua=U%%B%mSOpF~D4Gl0JrCUf@mwwomG-<~H<t
z#TyJYh6F1KfATT>zMk=AEH+dVn-hGDei^ciRg_8ivro7Fq5#!4M2yuiH3|Rrx$n=J
zNXrOfbDNJ-?+X(;R|@t^>X}$xF&^F8Ck0#N0(CUUUf8-B6ugvN8x_M}J)vwyDR{`|
zrhljcY8xU*5)MtmuuqHs@vwC>C^%f<)7qa@(m9f_w~xU;W~OiIi==;Ilyo1wD{S2i
zqwt)1YHR;MN#{ty&FanWg##<3vLT}65~SSj)7t+_7Or1l2m_lxX{ojx7LMM<Ds*hx
zE3JH@B7STJ{HqeW8lsB;IpkHb=~m?LNx`>5Qp@0n;7U#6)fU`DL8Bjr&!fD>1^g^9
z<qWZ6E+hn;4ya|a&QHNkVd!M=p_zw(H}YgICyaTVgoY%%rF7-qFkLxA(mzYmW9He2
z5H^=;4!ty6k9_Uh()Yq)ke_u^z%_z!s%#o2K$<=2=OWVVMSvA&`rsSD%ZhlvUiflQ
z*D#dLUp0vsBSJ3;e^lP&SyN*!X7qF8s5kvvxxDFtgiQCqdwmvOWz72fh~U*EP_yj(
zdE{%YrOyT3s4><LwZqCv>uLyy0p=p|=4UrYup@$vL7cwRtA_h)Mcm{XpHDRK>fS%B
zNH@*8X+}Q-4#BH~KI$C&u_DSDDnpiYQLEPoeih^;T+eI2S`nX=g7*h`9m9lqMA@EA
z+A9*P8NJk7d3T6_mg*TQkJrkdqe$PTncITAOebUnd_|Q@xWcTwi~!PSYF%&uC`O-)
zv^!3bJvIk=Dyg3#K!*7)Qd<ynIf9{}FEtbXEa7fNyj?HaOUF=cT6qRopC=P60>$Y2
zyp&g4<nL!%`Pk6MyAXU<k**=51#AS#xxj|e0tw$Wx%EQEd&$45NEd=)^e!B%9&5o}
zmD9`+C=GlcwQDW7h<OZF>XIGss(@cA;`WUu(@ywEUQ#4_9!oWGLIM(IaZOCfu$xb!
z#MjD7q%cm>(4K^pnq(yf^DBLALlL}^SfihZEL}|7)Y9jS`@N%&5wKY3VV8y|BKa|@
zV^(rOCC2h9)1gnm4;1la3E!;rwGBmCrfgfZuwc_elJY8=bSgVNRB^Qo<>PP&Qmbk9
z9If0`Efr?KmB1=Rd`1H1RZ9nhg4Cu|A<O*HEyG^w_pUy{Z-^Qa3;2m9clkO3w_0il
z*a-Ys5pM>3ty(%56dHL;lUZyr+UV6Hc<Vdh#fmCrC?A`TA(eY4xR>eNS8Y}L;2PlV
zd{sEBTkk;{s=-vcfZ;ru7-jTQH~QxVl^+ip%0My&!S@xZ%Wybr+_!@b0xng=(;9t(
zcnnp*3&+imv2mGWftT`Fz^=+6PghAb!$fg78$D&!4Yc!22-*NJ2)_Z=D&n)#&>n_9
z22#p)y9LnWJve#s_R<)AwCQ6y@NGr95tj=?&}I|!VV%^g9yMp-(_!dipf7JrFx>)}
z1UsmEHlR)H8=^!5-vVYT(kqy*WK9VH>8-#^E3(g<n2%8CQ?}bjy7vp!Jsb5oK0{RS
z3KV`xk*0wkg`kZ_CuAi2K@o4?3x|iHPo0xiwx^Fc^72}G3CUJ{EMSNV!+Z~zsz@)P
zH9Gf9dh_;Dkxi`PiechN2J*HAQ%72QwR`_cwRAF+h_@#ClZy0hGF%acI)&(j<-q-l
z__!1Sl~Fc~50SqZ3dxiaqu(-rKVGY%T82`v_%>*ziq5a(qM9;Lv+Fdv@X=5-sb4lI
z+nZUr>AJimm{QM(Vu%90YzdsENMEOg>%&lIEM~&rfHk9K0!|J|o%%#-MnA<$!W@+4
zn3f(xZHNMmd>cJ0%?}Yu)Kx?fUNqP(ig@p}ypxXEP+=_X*=VqY|MExE(npO!=A+Ja
z3s%v>4WZ~WP9*PSVI9FT1yHMptK~`@vQWDAIrKn%L%0m_P4x2MKMX3vZKasyl|joZ
zhh@PBLsF;y5Q_gtGHgkhrS3OL52G}Mi9-j1GxB7T)ii5!;gLf?Rw%_6B<v;CY`um`
zp*nqsEupV~%C<mnwKOt}1IcIcmZ`pj#U)X1<wuZu(bK63cy}nu)F0~0b;y!>C}*#r
zdh4(aV<2e&&QzpHn)zKA>P!R)PpC2hdxxP*-Jy2xb1l7U^pT0`G5`+8ps%F62BD-k
zjxe*lxR1OTZ~?o7q)vU|YDPa~2_;prG)5mS1ZOJ}7nk3JqRRxy<yl;zh|N;lY9O@k
z{jepWSrIzb(#J3c{cMNi2t|4q(|I!#eagcgy&<42EJf-Jy?YP&)ldYH4Cky*1Yba1
zjw&l!xT2EuE8DH1Xi<MO<!uQDE%cT?Q#ExAh4J#$e?pNir<HrdP$vNL8W(9&u~i4b
z^t^3Jzt+-&vJ}q{4mO9Q$532V%?!5zqXvP!?YoyDSfn<LN?R!FvL&pmo<@d(2tJ}n
zTpFvF$394M8FN&lU*os0A#hZOX`cl&jFt#BWv-$6NG1a(DAL7Di)ZVYgzeDB@GHa6
zr4Gq&=>@iC^gy<1>KOdVa3HFY2yP5VnewsVKvgE;@i26$L-LK@^~Us;vXiM@7dDck
zG>H}8lHn5GqlhxI;Q3ILsVBOahQ3Hk@7_z((no=OqnA8K6I~(cQWm-Kyjo}PaWjmp
z0&PCA5W;KeO<Lk8(a#Lj#VCTmhoemS^uoUAdGV@Va;q+JmFYT<w1qNXD)a~*Lv`63
zJs>Bx)q|z(kVL|5Vdzqa%=VEbEy!P<DfDzqhH7H5uOg8MeU(~_P>p_R2fP}JCiTZ0
zP2#dfGkR%^K3pWbE0Q;&l+V5tQm_+xdUeyvR}0stT5y(xC6pAorlk*^t(5K9dbv&4
zK4gT}y<f*nY)dLeFZIePhU&6F*<KNb5&@y+!h35LJQa#2^@-ZO?*?y<UR_|LF2FHV
zixjP(Es%(1I`V{91zF9s{8wS(K&pw_y<ZESr`}e+FiRf8LR}FBVC83$Esk>`aKR{n
zi?^gTgLj|TfLsGs7r3v3cm-GnEj?vu?MnwZ61GUf?!a-vt8DX^ps!;nirT$5MjtsE
zwCE|Il;oFky)xTp;VrlrS#+_p_q`;4KPLh5DG*CQJ_+u_FkLNiTr#;_i%;b~7fL<)
z(@;qybCk(nWAv3p3ScUT@h2s*n4)!lU9Bupu@kJDVDGsD#8JRe-pioD1?O3i4}iD}
znjZ#Hb_AVCxLQRd77lasWWtN;w9qq}m^4OZ(|-&&PeA79B^@Swq9gre1(87|%d~(!
zKzt2&05WUAz8>u3L7Lf}I50pbYM`C;jJ{DouhKSjND#*1G7&O|13v&c5@53k2EPx}
z##b@OBCWNB(l?Z{0OC<_zcotG09Gr=7Q8P07I@>lEm8C67iR{D(}2?;lLF`e!1@C;
zJz2sz4Ao?qEqs>Jy#>%HL3QFZ+TH_V3SNvGXCcT-K_0DqF$J<;2fjS6(`4xLF~t(H
z#x}nIyfF5D(t`AsFll>WCvf)!u@|sCV~@LM0$&98i(oGSeg!QzfiTHeqJ-sBuCBq$
z$6yKF=o#{l*)?d`Gr{>4@H`0B;79l@^o_5z?j(brJ5H@j5CFo3_7%{4FEn2Ut)GCF
zg)lS&<nbVX4m>-K^XvuUcaT{D_J2ak_=BQ?P{#8BZf;DU^)Y&>&+i%XkOJ(}K`aBl
zK*2>y;!dy*hW7NhPc4)*QbH?qQ9)+(L+kC(`W0x|9U8U-&IazK_>${R5EsMbmEN>r
zkBRjN8&_M|xSkd-oZAvU#VRe+(ig$m88Q!fEu3EbGsk`4?hDPwLer9xPA^%mNVb`X
zmccM>HMIN+THX(03lQf4&lEXeI&c9@eI1;$L7F0!VIi2ONY)@cKb?h7f<o87W__I_
zEy#QsZ_fFk0z16|oB}OJLfb@F#=Wj=hiLSpY3}xh0xf%hwHNSP3fD;J1bzvbr8(!O
zq1p(orQhUCwmQ6uHfo(QWAu5Xw}H&VATL8tKLnoB^NY~@ZfN;anHN)A`nlMZ7}u9W
z(^JrL7G90Li_xcjN7xSJy<lJK`9BO*Ln=luMj5@gtz{-v7k$(*_UX{@EO3C&mlEW4
zz>d)J>mUMHkUp#GT=ppYycMA(0WIHw;dcQS;$J95fcPYc7hvE6RaLLP$#1wvt>Lh|
zZO!Pnth`Q9M^1&z?{Z^zKgZOoz@gCkDevJA2!ZYcu%c@8BebWX<$EBu1+K(D|J_`0
z?*!*ckbb=-Lr|n?M}20c($ZsEdWHV&AoDoL(|x{_z;9t-4`_KX@JqLnWYqX8$6kS7
zry?}3g_d(b><K*Lvx5M>2${zqt>z6d1Vw|-9KCp_X2MAKUaf*U)2_(;a2&`S2G*1K
z*H2#!;z(~iJExN6ztl*#gOPDcVA}jVG#>==O#G`L?+y)5g7dyAD^?%4K0Z0MrO*20
zEF03(9Mu8#r$OG0@A?CAC%C&o^FJ!ChUA}$q=Nw#Rs6bvA|$k44ULO{2Yq&!3H%*0
zAFHljb%5n#^bPu$ewojqJ62Ass38S77lHUapw2C4LH;K+9S3dI2~D<mK$B%TtSZ+I
zoT)3J`7q#n=&S4|gZv|8&I>`Y+C>k{*+>)lekTc564oU_j{5w#dRm5w6yRLu<$TaS
z$xynW5`j$@HgeSG_Nwa<I0Hw6)9e3RXTBP?b~S^|@0DlgjnQ9^jOktAHRaGcXz8VZ
z%w_m5h*=Kq{uOc7jfFrWv@ZU^xtjGcrs*z_2Y^_ie<v@^1wR?eMV+IE)uT78clP6D
zWk)|pRt+HqWG)B3<n!gDAoqth^+i}cq}Ii6!HJ6(zZk8{fc^0e=aoML=frAjRC5Sr
zOfT|hgRFPtJf|GGAYIb3&bW~|ANUVlF7JWn!=W`<b(Kbw<$g^jsF9G?=5ELyhMpPM
z0&$%;9cn0p{3$z`U*dd|(YyLmN-+exR!*-l$$Shif=of)4J{vv#M<z7RzUt(49W4K
z=u#1;_d)guv=(1BLH1VYH5r^H!T@to19L=v8g*;bf7F&9t0s-!J`m*Z&<c0TyK)8}
zRLZIH5n6fby+~`tFd~HnD*<zRV7J%&*C~u*dLLNFq6H&~1<-hT#gwdNT(;L_B7aJL
zlhMzDw;|uHFJZSz=@t%yn}fI&{b76@T0RV-gd~(z;Z{u|^r|sYAPI*jp(_O&1$0^P
zOuJsK$A_jaus(>kVo!VuY_(X1VJxJN(QhnZ^f^@L%6<W>6e6+_vNr)8`Ev0l@WDuQ
z=~bF}7?iyCf)9nGOmU=_@n<g3Fe0<Y9o5<NH1IW_FE01iKp0A3J7s$v?FAfp01_To
z4%opioG2n@3|tHxs0h;_kF7+phd>axpmp)zL&m2XX~<ZhIX>Nzo}K2afWPO<!~!#a
zUovV-zdZLGZNgGE9#akw8_-H8$B@iXAk~&cg8US;ycCK`<3(y+d<&`7hzp%8dSzWv
zlF<tZjb{Q%k4t<DGLd`9MHqERu0`9bM*lcUsHE`bRAWqU8_3_HIqt-z(E7JfR4Rp5
z?nh5j5xKeS4$tWG(x$sGqqMV3T?Jg4FOyAx3DX@94xQ*LWS>@d%QO0RNTUboyeC-A
zs!ih+=$U{Xg{JR>p-ssMHfmmc$)RMTmB&zcV|vvQ+En_P27Zi|!cBew`b&I))FCc=
zYcheBwoS`%F7$QK`**>#;54fy_OT#7p$Hwwp5}!i#01Ho6-gsmP7Xzv;^cMB#e~Y9
z&lv#mQ$^SU))&jrt3I&UQ;|r9$7tyRT(p?)DN}R@SPYPpeI6cwufcRRe?YWp;ck>X
zh6tj#Bvp-Zn4sr9a}~<;F>ofx2EV-xIi%))TTVM#`gP6dhv9zol2$Pc|8&kn_hjA+
z%~yw^O<4#w0JkX8{YXb8Q|>16=Gx_ijegDmUbfxQ%m=4XK@o#wGX(F;llgS*!N=(5
zLPC<CoKX_DwcMH6Ak;DY25`^uyu>j?aDygk;G?1FGES_rs?;`KjaFbooKcoSwT#W7
zNM#uAa*yAxzIDqiP_x7A)<g8>hKukOpe0`<E(>+lT)8x}7&Tl~^6_w#DM((WA6dLA
z&KOKx2~wH2=O`1CUyx&z?JS}MqsJ>_l((ON<H}a6D)i6ryuEpJ!@3`aqE1kF0TwqY
z(j7@hDpRgn-mA=%;Np5kFa;(@G7LF%1nSV|-?=2K8oow9!^>%AD?3ImAjBW*OX#iq
zPocvvL1VnIv@Skak#gwe)!Y^O6kdr8+>RELFC!PD5IX(r2U^X;I}7dZYxDv(O7gn~
z5)Myj#uPQ=B;fOkFa?8Gg`rL0H1jO5RFQrZN$6f}={-yBimc3>f^!DYAKpVujXVXx
zSw6CYfoH{Pk^fcMo?^j~6I828WR6EKzIg?7`c+<uEB~u(&m+UZp=dG++bdqFuH^_I
zk*HM1r7hspKxlYC^f4X5DT?%QT6nS0Aq9<o65NeaD_z2=<!M-PKBsICgB8Cix?*Ix
z0d-0>0uH@l^m^!ii*QP3l26KU5yL6u3SseS&1(<8DSk)+rbC}ZOWAZ>uWwHHC@?r5
zI6@KL;jP!MA=+69JgP`fLgtUBLqJQUn$;`tPJpSa(Cac7qX&>QB2b;yeYEg@#SSah
zy+@!qjy7|N=6Y^$PeS{9YOIwXL1<n4HZt0jO;wS4aTMw58I~uC+S>1HrtW|YpFs^k
z6I_Q-S1RUH)aYHf4ZQ|=l)S~Gkm^)U5~itBkF|m1W|W~9GW4OBI?i4-2LdYnCGS%N
zjW8wV3&F~yi)lzMP^3e+TshXEMUB1_GD3Ig9oiSU0+&uF+WG+Tw?IlqM-gxSRehly
zjhtxMYk5d-*>au{3OzSNIagSW78>sE9^Cn3NHgaG^YUbpYiJw0cU9Er0bIR{-;jkf
zOH#1n$YVjBw#w@H<!TFc<y{jF?+-(fJ~#j+HI{^jgS$douTO!D`Zaoo4&WP#bbv-K
z8qeWl8vQJ9zJ8S={)~jl<I}Jj2-SgSLu=&=O@>L9+klOV^rSFUanaWRxOz{dOr)B>
zv3`wSawV!mUGh_!)I0?KjA`@&vI71`5zpx*Dp^^j01i=v4@NMvZLqYHM(~g#Jq}sj
zmvIVOfzuT6lbx_U;7h4SzZIlwxEM<T`uR9$xfGHN<F}05mobeV!1auNNRj!Kg9?Fx
zUC;w^^y)CRiMrgj4O@EwRutD;+@yNa)tLDpuA~~hfQA|`y{0h8<_NCP<dUy4Ge2y;
z7~?Yf4ljLCo<mQ-dwSrY@m{Ec9O@&}OFh>jg4<A+uL><zp<<+AE1{1q`&{^a@K<Z}
zseQ-0gTGEhkqEL}gI;RxHrlwZlv9n%=m7-$T$MGzH%qx#WsqtJYBw~i@#(cmGiwn_
zw^vlBrI*k+<hAH|GX?@K?}Q43JvViM+M3CzB@w9{4(A~?M{UA4?tTo$ZS*tYQK5Kb
zB^=WezC%TwAAUHti83aFRMMMCcBw{mUJ8CH^rWe)hO}(9fucnCiTW`5G)Dmc?eoo9
zv`})*hH)D`Ko&0XIYEe7Wz$=uCHD{k&JV``Jta~j{p?i9OQzslbf1nCaAt4;IljE1
zY}dZg+w6eFO=wfnTu&>1naC+iGWrg<Tk3@_PfUeY{;JXEy4m_N`UV~cE<tcMa2$d~
zv{A7F9w|6UqI-%ZTsBjyP!lvljpg4uH+xf?3@{IG%3MwV{UYnBUUuLloR|bT`jdji
zRZ}1j=W=l5sLuwFVJ|$XSyFIB64tBtKjAe7YSx?z;GC)4Z|M~!twGYXWAhv~Qu(CH
zO^8}jOAjy;{(=%>DdC_*IO(+Z$=?*uM5@$u4UvNVrFZZ1D*onrey51CQ)7(>u~L`G
zdAcm-q-m#t`v7%HawCG1nO@%N#gdI)c&n#0uf2euubyzq<B1>z+LVo4QoZZf4?VD*
z^a^RJ6>C;oaBK%uD;3#VT{PTTrE6D*5rdan;R+YQr)VjEI=W<|2k7*?__r(KZKlF^
z%T;Ln^luF`=gXw(Z!nZe0$MDug;&Rw3E=%R)eOBAMfe!Kh*Wv6vKU|<7K?oh9wg_{
zq9sP15EC+bPY1q+UeV<1y;TdCuomeu`9gKBT^~rWEVvQaS^28ph4;_W>mE;R4*CE9
z53or@K~z?lX$kaP`n6&7X|^WIV*KsrJGAkOpe{9Gqwj!M1^h@6PjcZJ2~|j3DAe(e
zgpKtPlv5>A@I$HRQy&6O?9^l7tAH3r%ez+tExp6RSUiUR6y&#Q<>G3qRFKzTN)ldD
zy}3!B`TXE<{-k(v14zwe7$F5GCBgN%w`Yf|ne(D@-){_8pE8gLY`%fbu#cBMixc*5
zU4R~VZxXV~gON>DJaewIRJr-LRrY%ILlPDy!S<P&jX)}K=YHkB$8(*9WHW58^)Ysd
z%?2DkQmIQ%xO+cBr#DCc6ZO0ju1o24;R8YnV5@wYsPg!-Hc5L6I&MX&aUkK58So$B
zXqAWR%!{A*KF!uR{2TbB&$lTojt<Ic=SSH_4=~g7+N&8_XG^%J&&!7%FoSc@rUzxb
z%1=j-)i5>dt)^5n+ja{$Rj7IS!eK3t#!I^SIC_L=wCU$GES^H2g9msHm%V9@$<pu?
z%uhnfXAJm2@L6{31N6wOOx2c@)*=!bl5mU9{o5FkCDif8p#z&+3Uucs{oF*i76%c1
z5^!u1hJ7BK8-fkf%zRuo`u=T$JAZv4VNw!q@VRd?p_d6WluAEGW7Ac@;D@pKCX)EB
zAxOZPeh*I)Zhw=YmV7$jRg69ha?04p8B}sJFt-*k_zT0<FV=YR^Vb(_-EG#Asgc4R
z3HZ6+LzIF$d$cIJiIBNQF?uy|r(qndfsO<`T;N_6EsbO-g2bYqPhzvSh{4~%fL;nL
zwn(s&aD9Ome`!LmhEgKhw2hh|(l7=o*e?mI3K;zVN`3vdVLUh-g3Yr<j6IDLwG{FJ
zA;C(()ddW{Kc#2%ECFqf{*S?FUfW2pQgCh(HWauwSIU59b?S<Kw#DY=BE~LpxQ9Wu
z2wT;PB0&`D>W_@```}%rpV>*~8@)a5^uP5?FDy#JqebpV6(T8Xj6vq(@C$4<6fyW-
zY(5ujXI-hJ;LAzaSl~e$NWg_Q%o^X>WTWS}%QN~2B<PGT{V*d1KPhq#G6}*jcO5Iz
zY=y(+*sLpJ>{)EC!--)4Q4sXPfl25p(#i}Z;a9!jvwChc1M~FhI{WnM{1x${2bz=c
zoh0-X`Q2Ym>8t2UL)Ou7Aj2;7b7O&c`O)+4_mLUvS*`;TFgFQ*EAjx2OclM6gv(R-
zjejz`=|(?rboKw5=widHBz!jsYm5BO*%VxrP{M5|aIq7xd65je1*CrTkW9hhWE}3n
z#w}{>Hm_mx!LU`197*_K5>||5{5`OpestzYAEV!^`hP|ANW#Jt{3Z#5WBj%+_Uh@Y
zODD~q*kp1K`w;#7nv9yAIL2hy1&7P9NseLY5}Oq`oL%j*VzHtdno@9nk=CduR{~if
zbDD1S>$a@^Ul0wtU|JGBnSzIs{!3v;e^LqfdLa1@2H66ew|yS|_1IiXzgCYR9t^St
z{hWi%ljAUSiOn)>K8>tK4v89JHB8M#@hwvx(7*a0kvUg4dKpSx_OOu9kXzFHt0bhy
z>M<q3Nx((Ddd<0s<M5F&Jk}DM<=9+|&Hl)0WXqiZk_P(O7l-d)^Tas1?;~UOXK*+r
zj{b~DO(FEaZkCs+<#^zhS-w?0obw^C4);cAsp$}038EJkx^SR?10{SwjAOP#LQ=q0
zL-32aUQWAUNwWtQ*TcAqYuLa;z~i_q0iI+!eSzyV77m@b?1{x*NcO>7Of=q?;Sg{K
zlHbzG-x0*Jl2W9Metcvu0Xce#t`Az&q>ZuUHJCEf%RIZIgdGL!B)#ax9f4^joa$u>
zm#v5E=fk=Rsp}zWB*Pg<E`XB5N|V6r2;RWu4Fqo>cpXVM4LA(q&{0CBUCCyonN0)p
zfKCMSaG8x@bG+YhAuzK<9RXefeuv=tiIkCw8Zk6_=a=NCY+4O1ksH%@LsNrSyS-I-
z|F#J)w?M0e4heIFmjGgOynpAQS0pWk^?1oIu9*q{6jZqtl5B><slYiv(2mtU1P&4h
z@0lIFaH|b3g0KPacMk5Fa0`-aXyfq!&l@_?9A_0pHY@L{3Dr)^MGNj~!At?Oq}Kwp
z@Xo^{az={l8LWkuxMMTC-)&^7t4(;Bg8aTyuepf;-?mQye`tgorV~PUc?7|F;9B5X
zGAts?DF{xc>~$6Zv?I%UA&!?72<|{|8%-=mL?UTO;Kb1Ag_>w!!UYp8cm$YMs7V}=
zk7b}$9@yCu9uaU)1N^lee5$^LOfxS4F97G0W-BZXLvSdP{h3hMb;Wo+R{-=uvfN*8
z<(Rk-L!;MP`U%xS7oJyp1><u<g@G$QgMP(=r7pbU!V{hFqJV7J%8i@pyb1hI?&D>U
zaoHQeLL^&bu?>=~fdvGfVF~b@Z#{Tru9pF?;PN7ZCA6vOwCjTy8og-F-<A_@=>@Ei
zAsKznv%VJZvqpLkW*6|bgk>9GS;d`jVbDSXxGVR02T22I=F`XmU>1^QBrOP9fHov;
zShOI?l3!#c%{!f~1d_Eh(2b-USev_^VH7bmdew_9CT#T5ziaFQ{kiYc7DyK|xulRA
zfI(#++k&k040JtSAx9^-pFQ%Ckd|I$7<)FP1#FzC-ZhCJi`Vm75w0S&PaKV24ThL-
zS2qhkZGdZCNKJxdyVq(M3^h$0jXp4Dd*i&iaNZaUBg8I*&|ol>hcSACq0We-(Z@30
z*<gqYaWr~^!B7Uq=naNCBaTL|cJE`jXvkm)k2o5=5~Zfa;u{QxBE-<>Wxui=Ts9bk
zp$>?l(F?`s155#BFw_BYjL1_$Wlc+8AK1r(I0wWkkSjr~fTsTgVb(B|NDPf$*h)GI
zWAt@_*abM^oqI2{z)c}46kB50y?52_eJe=g!LNPhE8E>5YBIA;rHP@@3tJIbkZktd
z)lfr7)#z7;qDBo6N2B*y{@Pp<*>DZT5Ne6Dw?a{)28f~2)2)k!Hm|-KhAN|EJeI4%
zQ6v7u(CA&CH@r~0eukPN;ib&V!!q6b2@*r2AM`VNpX#=T+F>)Fx(3o1{RD}j(a#wG
zHH)d-Iuun5Rl@J3?!H}pJ!*p(8a;q`O%Vi9P{9ycT%VS{(TwRQNKB31U8V?j3`Gq?
zl@O|<b_k}e4Mmk2Af`r-YV`A<Z+a-27^=ZMWxE?hd<uR<jJO*8Qe|7fq@ar?8X|*G
zj9#n>M~~VdrbaLRt;^hfs;`HkI!MLnr3uU_gP0n9OOLnGYBXZsaC9+L0k!VEPk@$T
zyu{S#!Kbx97-S4r4H}9g8-Y$m*cFB*wL*-Io(GieHgHU9UvsRRi}svKWAtSZW20}p
zTbGHWtFMQlvJ9zRd%!YAUj{KY`l+jcmlWZtW^H|~p?dBC)4eZ?7#lqRw<_D)fNi??
zHHGkr#v3wm_hk@sqn9`6GV5d2*TYab)VO;w0PUuvcp1dp=v$Wo&nUu=7%zS;p=Qi6
ztLw@o=0*=7)YiTO29F3u6+<O38FK=r7L5KzK#9Y4&k98qLnTng^unyJE0Y>9`lc@6
zpNjA}NN*E{HijUP4QSDLCIq)!YQX3L<Q0m*f`%`JqKY9v?5%)F`7*g83{7f@8Zr8o
zJAhXe;pxz83Sq<=v6C*7YHWs~L~6w7g$rD%2wPzC8DVH+2#kfwwuG#jOTkdTBwD~p
zgCj?M5|C;QTQkE%v9DF`r<tw`fEsD(0XiIz|Dy<J!Q`)oqK+X5)b73M+8b1y4siOF
z*1>_y?65U6luCCKI2-ftrTw$8wW<YbsHF#JNdP}lgv}uTD-3N6<<NWpn&)0T5{fE@
zsMFm9PM6Z!4@19Mh!ZQE%anWQdObOV!58N&<$;mlyaaNyur)J`2Wf$`Qt8@18Maon
zLXCCrM`*qVcv=xIgn<jf(8f?I14p2R-}09*G%>`A%r4+;P+I#T)6I_qnLCvGmNjA3
zhH>It;M2|Tf&ss5EQUxhuxD=kKKh>B6Sh`{*dQl?^Nf$-KkR*Hh!#?S^Pqme20jqB
zW`<aiSp=DkkKzA1Y|RWR_Gf(V(_>+4Wr!utDL!3B3HH~+*32+MdMlqWY8RaMg{_$(
zwq$<f(~3xN{v&M7405v9qH8bZYs1#e5No6b_FX<k?}Gigu(hjSqyYOmpZl@~>{(%J
zXNWziR<NJ&dBC#Zd_HXL>J#Te|ND_Kc@7Ohk!~;G(U*|9*c8jCCYew8`&yhIgsqvO
z=5RW|d9lD4|Bv1n(@<HQLw$m$Bse#j7q6j0Wabnx{0Gf)+)9!;0-OP#-~AD@KEhC8
z`lf^P&jN=3HrNM+tzqq99|z7lpWk~qW)+>GI>;&D{BHrnAM)n%O?NXGGG7B{*yndn
zfW1T5+8OE!DIjx60mGM&xg7?4N+uh|M^AHsX*mhbS}$tSU<d{K1fQs|kxv?&GsD&}
ze)R7H&Z`A}({6Cy9kzysy2suDoEM6;`gg$K=3#3YeG)BTU+N8!e1FSlVcmkTwKN!V
zbT@&0ePP3Q`oaDd$f;p#8a<={=Of^}Rpj@(#rus7hRETZ3QkXvhj%4pPBV_a5&Dk-
z=cyvU*E-0YXMQh3#Bn;oxw*)LEWuggJ@EDTFv|vTPKM0C$M}t&HRE?f%y2%Ob37G$
zuwMlG^!kYCvu8o(E8x67#&6=}raev45<?tGwR-XS&fpjidY3omueE7DIT`F@!TA&Z
zA+)1EE;u*B;1*$PZ7>AD;QZXYb9Rgee;Ay5ym5bA9ao7Ku#X4(58(8T@%N6*aQqE2
zyN0c~!Jj%Dg9gdK9w09Sc`Rf9mKl(@fw&XoKcF>P1qCO7oD7-$fWv{qfPH|*aU7Th
zZUyTn&}4GdM;K%Df#56z@l}wg0aM0tfD7_z5cdN2!MY{TnW?anK1d6kZ9(h`>;~)!
z;y{q4^h$a`UJLFOF#XL6DQXB1WAuTNnFD+Y<Y$3W7LT~Va^P9-WneuE!>>VG7l`%c
z=_CaV&Vk`A!I}?ZKFA$_T|q1=(ZEN@0uKPcgXX`0*ifF1hH7Grz9Ps;;2Z_wG~jrk
zoaLekpbNxXKsU%N$N{i6dSAQ!Af^G$xlbF=n*0A;U<)9K*@P_cFW_bnw?cDw0OvG>
zfHC@t(>EO&J`Cbi;6TcI0aTl1!2KZa2lqjk-WRq)hVn5+UsdEZ7<ezZM}jyK*g0&C
zMllS$3UUcp_j{jdZ-=dvA$W|@hswY_$nFDTcRWYh?!f#iT(}Q-5qJ*dbI|ZCOnb3>
z|A8S67^9CI_Dm4(_8e~R<{;+by$I$4ow=QwfsqKeHefxF$$k2~e}w~XFNjsZYOq#=
ly9(B?f)1y;f0H3f{6Ef^A!_bfU&8<Z002ovPDHLkV1gCbJ|_SG

literal 0
HcmV?d00001

diff --git a/images/Hopf.png b/images/Hopf.png
new file mode 100644
index 0000000000000000000000000000000000000000..96d429fa840f984e971ee9e45a1433cdc61bd897
GIT binary patch
literal 5040
zcmV;h6Hn}kP)<h;3K|Lk000e1NJLTq006E4003PG1^@s6JPKV|00004b3#c}2nYxW
zd<bNS00009a7bBm000fw000fw0YWI7cmMzZ8FWQhbW?9;ba!ELWdL_~cP?peYja~^
zaAhuUa%Y?FJQ@H16D>(ZK~#90?cIBroK=0m@z0svgb*r(izFslE`gAQ2zW`oQ1FV_
zQmoY$74cHrqSA_wcf6s1TF_F_R`Ic7d9*;SShb3^SOM{dU;qU+JDZT(&L%{Vn-F4>
z-8uc^o!NP3b~f3|J2QKk@AK@l?|J8)bAIo6e{<e*`JLY{XfrK{bZ+IiL7s!>1Xf@k
z4lMoOh2P>qJP_F!SRGish<gG9t&@K2gjNeMF1pRu;Yc}0D>_QBK+z#`4i+7ZgK-e{
zEq!Ay_NmEbJ08Kqctr4s=;2a&qhOO@lYRB-vZG0NHfH)*6?i?)#FNLF&F}H6$c;I!
zTf}XF!R(~Wp2@AaQO-KcM5{!ruo6e33%MpqF^KiJOLT{vpPFlRE0sAC3cMWW2cFS@
zBJRhvIj&jAErHm8GA6|2QrwN^*x_V3r{LL=hw`KrOI43uxE0?s=sGKPH>=<Rr{N!P
z!U%HRfm;K&2ksjzy;UM}0tW{Ui7d$R)W{#=c+B2Ik?ZlVom}}89?1HB#!KrJca5j&
zaH{B3JWu8IzBdN28TX=q2SvXXJcI`Y4=UOr+NskMb-q1Uhk1$)lrv9spkSV8K8_F_
zAy|SrdzB=(7gveCYPpT0lz&Y0aTG2KysYM<82DM_tGoF6Q9L@9e7l+bq~u5Nypa4T
zPR6V{m+r*1flC+j>v7#ghO|a;^Nz$>c&%g*u_p%6BUmlEQ`D<yy&X1NWp_j6j5_2U
zh2sP#;6%xr;15Rp1~=kT%Umx^{1v;ExkWw@d5`KJQN*_c7cJ&j6D_CAM&@<!%8)#p
z7oel&l87G!KDn5ivMP71G*5BY*<aD?L}%f-dno%cNrl`fxZUsF=>*%GCg<L`NvDOL
zj?+Y^<C*H;%U$@G<-RfAqWU;B@Fg5p^U;q2?`U+(w}r0A*^$4+Q|erDbCC}p&QBXD
zM?D&^xa%x7=<Rqj4ybcQ#O;C~2(I@#w=}#Z&64E)&cYkje|!8y(K{ULj<IH4NLsub
zRi4w9$a@asYvY!89IR&6p}Z3B8(}bbec-%ib|D(4xOvA*UT?2aug?^%5nO|78r3gs
zI=xO7y%(peuG=CmHRyaR?HWs#1+KywxNILjekhM;C-B(W!YM^Qh!@s;G>Ctj#fKLp
zvl0y@d&SLLDENfv4TeuyJtDeNr+>H9otc+CS?IP>hl>p#NZlbi(+X=xo7D#9@58)B
z^kysM#OUXRMLrhzqneK%4P3B@e`(}gaCVAYu&?djh4&jic-buYtmq2MJ(gLSlbtnQ
zBIlp6JazUV!OJace!s906gVw%X&By3S{*n$%YkF|^mwVfP4Z&ZU$1-gIMYo!TP<SC
zSZ%JnFVxh{6MFr5t3}I-)yyjJ_5u$Uh^fEb1upL1^E`12=r&ugOXU@79?bpn&Y95)
zTT9*<@^+-^Xr~@8ZM9fgvXw*n_)3lP#sYV4=Ga!tmyma)UboaJ>@Inqwb8s*i#I7*
z<2mvkNY&SNJ)YZYv9e|hrxduiMtPqo@V2bV7+)W^$14S2k?zX|-HOh%!rd9kHa*E(
zC7Gu#*WG<~d%ENNriD^vPHExf(#Tt-^eph7o&3!L&7Pa@@oss8H7)Js3Zq`CZPVja
zc{@{MfggxXGa70teVkfgYfbChvuW=urWulVQH{brG@S++O{K@VHFf#ER*TdqwsB~I
z8)}sI;r`)s!406tg*6qu!P;j2YNi=c(Bqp`GYxAkX|-65BGOUdf&#^q^6o4oHW3XX
z@0?-NTz8w_xB_Pg-44=gTdHpVr_~}gntskGusx-`#XjDheMxzLEN`GnY43Gt_65yQ
z^3JMxll^h4MQSt!o>kyC>8?W`AI`3Xdv(=J-xRE~IJ*McfV>-1b$q)x3GAdB%x0Dp
zSesVf{=^1iRE#{5jdBKDjYCRjo)DaFss0Jd+@_Y`{VLmIo+0m*trVvj9L|P8o=?SY
zBl3xU-Z`<HYx}i%Z<?U2ZT3Xow}$Gv$1hqfPP5p+`~p2Seco4(FSlNc<UNv7+H12F
zx6Lr}R@F2VwN_WtmMwG@*pO1*$2TVi`Xf@ms}Oxo#pwGHMQ_ho);6^)w_5b$)R`Gm
z=Zh!|@~4uGov>ey?`&kjNZ%Q*xV`>_)S^Q0UdOsGV_DnOBj+=z)Sp>r|CY(pWR9Sx
z$g5NwlPv7yD{%y~gyD)CU6@MU>=<9pT*@}}dCYYZPctyb!1N!ar8%7c!@E+aPA%|v
z^{%Z}+#aV(_S%;}Jui!$s%=I|ve&M%xiUDjb;7iU#e5FmE2jgW+QPEh>#7wuIDhCk
z`krIl+CUlG)Fb+jRO-dLNABlMM*^{vHw8o1a&wD(y7sz?;`Vwmo|XFK!rF`5G=b%Q
zB5`m69XiH4H8gc8dCW=M?w+=pm!z+$C~nakQs=L?%r6@&UYoiEMXFle8EJjDIO#GC
z&9db9OjOxXlPK=5?I%<X1pcjQ5>6xf`QYZnG2cY_PU`qXtIf?I&nZVtjBm<gtYZtw
zwttircOS1%vB>|O{d~8n5>5m9czNU#IqoTN^Zg^cY1%vYxs{>a(6jCD#7u;oVjRY5
z{8u@hOU*Epy9%#LU4QLl_6Iu|S<e9>84Z_td_s;pUT6S68A=a&@%W{i@(k5$<dpIZ
zL#||rR9RjO6%B7QI%e}JhOFjxMb4XWrqPW<$H9vxoZl3si<=p8;~I(*o0*)omPx#K
zL(y!vv_inCN@@Ga+2wTP<A-t2gfs3;DK5{nzOLW389`9B2=-Ev7B}60TI0x}_2M?8
zAo59-WyxRN&n1~;e6(Ln-1<X@0jn~}cM3Ad^{M0u+c-2Qc=ph#;OEU3YwFU^)1+1!
zBWJIYk*CRITCC#XF*d|y{*>Tw)?jNX8FulaoS5>xTFl@TH-m_Y2lX<yl}5o?l6FnH
zM>D?}z>mrYfv4r9O~-<5Ef8qR5|S1dL=AXbg(}6Ju`O<ib>)M=5jj%3bz|fGnocK*
zm2FLONj!?I3rH*O(KFe#Rb*4@_=ucT<?CoG?pO$^*lEQixJR}ucdyDqM6k<KGcRL`
zP}4AU<)poZ54IN`#zLqza?aj`QZhix52fR9^S+rvv3fygPEHb4u>9$MO_yj26H_kZ
zgNFH<NP90ora@&)dSViepiC|&t;u0h2E&`Qq!l-6kY}IJR$S<;R@{zi#qFGcVaUv+
zJhv!tWP{2`$9|Z}U4^t)^MRanB*MXQ2Qi+J#Om-!t47+`Hz9IWE$))(>W*}8#8jNM
z$hMqxA1Y*GOFCo7al4AW=t1`l52TkxAsbSueXOk;C~w-6ORYDAlH#U4h#%j4k)|$P
zJQPyXG=myoPjHk+N!gD?M`T{c6d+bdw%nGJgzhYJT$AOQ^2F3KZ{(B)6_O5M*r>kr
zWM`;15ZI8Dt7>r%pULKP<010>@^RqL8r09NC~j;(cVuet^wjaMa+cbNhe{`c-POA(
z+w7UyT&EI2abck`#xO&(7jiSNkGqcjrQS3}?#z`Oe*EvyRdHAt&o+CY6u0)aaykqT
zgF10y%J?bHJjI>OvsK<?k9DyznOX^{&5^-rqK@W^H>FAM%KeK5<e&E4Hsid(=QuT$
z{Ar+=C~l|ks~A8ZV(s(`8rMhy-&C0vTiGx3`b)3V&%|Z<bOg@pDI10)Q!bTVrNx=$
zY;B?}PUgagf=WmJHq!!P%J?aolWE?QoIVy(v5M=cQe23>HFO-jp&f8<Yy`fPO1`=@
zpvZ=f)H;2bS@DqrXDIb=1Dh6>tmP_-JI7UcqLez=<5j*E+U$jxxC|<9ZrpEQUXx+w
zX&aKqM!ar%^1AXt<Uh;D6~#?<_f~vX1@CVU(ne1gJ8*S59r^nV=X4KA9X~qaRnv^E
zELXi6c}@AC+F+x@r&Y|ymg}8){#hr;zp4z<j^CQ{bu}Sk%A7H{H<LW40E7HhDtUKT
zYL&NIahF<yucgjhXyeQp3`~Ts#O`CrDRGexWt4Tr(@@ltQJ#~Ut;|*JXyq&E&+D1U
zU8LfNe~F#m+c@#2B_B^6KYPnW?H7`Oh?O0_gZ^(q`Arc9lGe8DVd;s$mFdriEADc=
z_<ZWj`}NFBi=^?;#jUuZoSty2JLqL9edYC54*AiVwnTEFI_l7sT@|wgjI_b8!$(wB
zYvu~RJQKonW<}r=spJa^ykG*^Rc3c$)e7CTrI6fndACOqpRK*7zTz(RJG?J-=0);V
zuFc!*fyLYu`C01JXQFY;(A=v_+FQ;H@T3{(464F7e6uU%45ZA++d!7P3f~?|2bbt>
z?~oWRIo_)>!*D`@w~RTH0k2hgMjI@f{=VG`yg_AC=wOkL*1K-c`<FVsMG{B?=IU^*
z?)HYt(Xg0Xa8)@SxTv3l$Cyn~rOS5pbPwINjr{@_q)uH^a(FimdYmq=n2Irb)!x6<
zhGd<+!0%EqYCpI4Z`Bax^g2neMGX*fQc>XIR9)@t<EV+{n0HA{faLZR*(fP+Ug}{C
zY;8NQtIJlF7ucDqs|@@M-=tHIn^THAsCQ<DF&ZoD*r&kS)C0MDUCQTJ8zP~=jj1}?
zye%{H&2^qEZ$nCXAJ>}-=+|aM`gw7IV(P(M+-jL769vvq)lDq$ifl_*YlXarQ_A~W
z>l~YHA=8rrpG!TM!P-cPGnFkYE3iFPH{aU(x5i_=)Z^6BR-dv<oPI?oIko}*VW$z>
z*l#y?Vrl8r{dh(fTUsbqOIgjV`N@2DIUK?Lvp8;ny}P>|yE~s1ejqwiWoPSRIX|{;
zq9efR%>uTEWJRd#9rI9pqhRJ5?9b<)RL9VG%V?B#V&uKGW~QM}x1$?d=+vjc*){#S
zuQ$XO!z8D`>uT!ZisqHx>zy@oy#3b9T(8-qrN9@{53R3GSo`VB7M@<yuf3!BZ=N1+
zkvEu9-iNKNibm6>hDb+&@1~WvpG#XUS2O5mae=<ny+5>>C9RRB$D8F1q?C7ue0$H@
zo><QTrIsfBy1ZmMcN+>E)W@3C{qF9o-g@2w@?I|QiInmd<y|sU{ke{YtsGL|t{UaN
zs=L~W@w8wa`xp3m&Apzz_ir|XUMI_YsAkaiE$cGesy&(bwf*#3K9MXoFu#uS{(LKk
zXC-E<*~q*Czo@y#3tBB#HQkQZqq|0VH|d#1-f`AgTC(4GP>)|sG`mu_;f9(A`%oXR
z&O+Q)($B$t++H&n{X(nds?T}{$opQ6^6u2*-BY&fkl1Vdg}fiu%%sFDW>UJDUEs?#
z${P#(Z^6`@X6)yf8as{H&*!t~$2V>u5OrAVL!ytUw*LQ_=&!A)ifu4?S>q`>oGp4Y
zbxjK&E#1#IvnZ~gzl_P8X4+5jE?hRi1xKdCdre|Cb5btxsWuc>Byjm6-WDnb_T#4U
zBiJ6#7hJ9Sq3^(j23=;QT@9CEtVBWH^9AQf3_fPnx#}*_<%+JhvdSslgekSKpI7ar
z5Y|P`@8a4}9X@H&5b4;$c`@n3mg_A>&OfYrFW!V`&eTh<LlpgsFw8B{I?=nWNVz#}
zB^%AN(;Fq*Y*y5{VpnP3*X5Q~oZK~veqI%m#fjRMeof?KU3`5qDezVfALOg5qss3H
zym2wtW?5Eq=L~zj0$&hog4sns#z(EFgm!NlQLxrYqBltfLv!m~RlpbRc7@~orkUbB
zz>{`xVc=YbIlNmF`FN=X9;o;IX0VYtvv^nJ15|D8+8jCKFn*bJna!W<zRQ93agpe)
zhChg#ahYYV6NZd<8bi00I-MnYt@=|>Mf_0k1;_Yq!{ylvn^@7o`H~-3?ErTRz7+WK
zV)~mU(`sfd;5DUgLG9|-f9&F%qZ;JvtaYn2YdlqOnNZi$%Vu05`g&%AxQ*u6=|sUP
zqSJ7~2v`0VSL*OZORdkO><rnoX9X@we*9N=@ZSrQd&!(W76x7~c?;BbV;;aeyHXAS
z8$s)r7uR~8q6>}eG~*t8UvLX<vuu?1t9P5P!|^&i6E6~-WMo5*L5cU7uj=p(OYI!f
zJ+y#Li2{F6Vk%j0rL8E5P4WG}Pdd460ox~1UXB-*{MA0s@E^_Y$ma*S@W^yrwg%C9
z#Vyn8WYM|!bM;5@Wgf!@^x^k{hfD5I_ZRFdIvk5};3!J{C9W~(YgVQLgiIl}ap(Yl
zQ}TkoCu5ZXNuM|$$VWEicp!3rk-=GP-$j_kfid}8DDiKwLSi#JQtXMHxGKj#E~<_@
z+)yTu;+Dx<h&SOc@wAL{e;hv++@R>XDKnQm3L;?(&xyQNGKJUZ?d%)z@4LBtiRKPi
znT(2?X00WPUM2|!@?2w&mAg%Fx1yiRxxr(8VbxHOmT66Y@}vKgn7r0cG;!DdMcf_u
zVdUDy+?K^c!g!h7id##MgXJs{9VwbGm@C*{(SYCy>=13yp<lG#vc?QfrW%o4KPw|E
za~zAMF=>&XT>2~bSNFxkkw-!@uv?3@f$rV>tQmdR(enR=OSnCl1=Q030000<MNUMn
GLSTaRb0xn3

literal 0
HcmV?d00001

diff --git a/images/LinkDiagram1.png b/images/LinkDiagram1.png
new file mode 100644
index 0000000000000000000000000000000000000000..d8b750de6d3c902bf330573cce0b79ec81a99bf5
GIT binary patch
literal 1192
zcmV;Z1XufsP)<h;3K|Lk000e1NJLTq002S&003PG1^@s65!A4z00004b3#c}2nYxW
zd<bNS00009a7bBm000fw000fw0YWI7cmMzZ8FWQhbW?9;ba!ELWdL_~cP?peYja~^
zaAhuUa%Y?FJQ@H11SLsCK~#90?cCXK7G)I2@lRWk28Al1q(#G0v0*6*M2Qj*x0tvm
zE<xiGyfKi#ol*488{@yAcg8I-u5pRRxIxs!H3*`qaY3Q(V%<aCF3wacX%WfGd#0WF
zCQqiBclx})o_Xdx&pFSTwka<UU?Seh7Lv^(yoCobJy}aS6LC8}#mUK9O2N7K64z!6
zDFch}G1g@ZDFbux3D)GwC<pWKIhJJ$DFc_F50e_zVOyg*YBKL(6{g~~WG(3|6QiOA
zUt>liI%;i1Cy9K7S&isutQ%q~zRMPoO*g*4VU6f)ERTpAaTk8i7Lv&Y*n!E}LNYl+
z1Ynh3Sza&v!m4Z`S#;tNY{3c1T2h#VTksWb#o@VfnokEdq96BTZmyi>vmAHg8!<I5
z%$3tzx^R<-D7TCCL1(I>Cen+W@e01h9XKUZP)n1(=V+|NIXEAG;EAGb!k#AS7?p;s
z(??)BR^W6o=g$>){{>-)?T6@l51K}dh$FE?>^ls#X?R)O?U(STlE(!9#}KWUEuQaQ
zEH2tiu`TxoUN2f7{%WMqL(NErn1LRVEk1GBv0JS1w-#+naqLs_yL}+E;3+H>kz70e
z6o1%YaZRgmZf!VX*zf*muK|9=Zx|@r_rrc35b5`wMe7#^Efp=;Ae`HWBK6fj?DGL(
z82HIv;}H9jL+SK3OetDN(T*B+?8I?J>nhIm<1?{-*eV?8R<W3BI?b9s_hq6m$Slkk
zK4+oW)*Hk&;dfpYPPc#LZW>3HA@)a?Fv=3K<USQY<2gK29CxRwOQr|w#R6;q&tol)
z$rP1MJ1)XKB7^-TE;M#`?HWQmt`>e|2X651nXQs6#=Rnyw^0K(h{q~DxK9+7T%4?>
z6s!`{@T2NtG!t-}@E^;QwUmPM#4`V?Y$0W!N0ce9&lXY!x`h+HB3noq=oJMfOS6TP
zfz=|9(mr&es>{-MMKXB~HYaOIXSR4mI;rl6AhKx3i;(}tTq*hVidkeVR}M9dx3Qwi
zkH!%5Fs(L3Y(|}#Eusv}$NRODh;&~^Z3uo*XR{DFi#_#-h<fhbwIO0Re^+gY+7SP+
z03Xzbh;Y2}p?IsP>N_@DNH$AEeMaTO&&%;xwuo$6L@uH?TSzvii7i1?`_Z@tcV~;p
zrbCn;bq$@U>WEl_r!}ESt<1EDDRX7EkZjHtPO^*@g-zvQQIS_^y2O%t%Dx{|%~`G!
z1!q5G3&~^xc8N0QN^_+sU#>ixacQ=QY!-^gV!~(_RK;0t5U*4Y{?~=$naN_xoVmY?
zsxTt1!?WVis5IL|?xE70B?`wXA6Go2{<n{##}y+no}J}d@!m$|<BFZ?xWa1jCSc{+
zgv+u;WV1jdWk-!GMq)fV%Q~)bfN{l0jJFYS5*~LDamC-j&A%kSix|WJ0000<MNUMn
GLSTZniz8P6

literal 0
HcmV?d00001

diff --git a/images/LinkDiagram2.png b/images/LinkDiagram2.png
new file mode 100644
index 0000000000000000000000000000000000000000..5a713a96391d88e5cc8a7d872dd25bbda4f2dac3
GIT binary patch
literal 967
zcmV;&133JNP)<h;3K|Lk000e1NJLTq0015U002e^1^@s6+wCMc00004b3#c}2nYxW
zd<bNS00009a7bBm000fw000fw0YWI7cmMzZ8FWQhbW?9;ba!ELWdL_~cP?peYja~^
zaAhuUa%Y?FJQ@H114KzgK~!jg<=J0|RaF$n@sBfV|FoGj|4pf71Q|{>WdAIJP$&qW
z1g$8fqL-+*AQXKG!XS|diin7U9wG{&9(w5?grK1Paj49!q)|(YxSFLY4Lz)LhwF9j
zJ!kIua|3^HxZHi#Ip4eYT6^ua_oaO8#mwf$o(jN6aY;A82QknJycDZT0w2(($9;ID
zByigve}N&KUp4p-e1>~U0FOJ=jk+HDadE-m>##G;XhULDBzzWr$zr$>BO=O+m~NAB
z98<Cw--@mH7V9yXyr5I<!~DjE$t?`GCh(haFWwfzKa6kiHGWE7xDS7)fDees9!Ue&
zwJo^_UoFAa$#pjt;&Rlm8{c6&KER=d_Z*ZG*`4ZAEXSjG6Tc@vpq>q%!()vP<ndcO
zO~wj5Ek<HkWXE-7gX=m6@8YlIT3a&jG|d;8@uMoCb?r^AF;%f16H!068{pX(#k4BH
z^F)x<lL+Xo0K7_ca1>vPOjk*dAHX}BvRB#QD@1yIPt#DB4SoWz;FMUC=hbhdEfRUO
zK=}8n<oj>9v3|469&f};B5M(=)tnM};93z(eGP3(@KxF1Pw;S4+iV$YuTHf_6pYPo
z?8QIhv=^coV%jWiasQCw%V+R9o^5k~Sj_7}b*EVR+HHeA#2pkjk1xW@qQYobaUK>y
zR+yt-#9R0@#cm8-M33*oHFz+C?O{<S=kD<WY)RlJGJ@yi1y2>jyGizpREUo^<5xUC
zfoI0RooY4qI6W6<(IR}`DfCK_frdJG_5vK~1bQw$mo0)@=~(if3F%e5kpl`pV_+il
z_#xbYn{t9{=+A0ADEzuOCzLo{T9#!x^@|gM$Hmb^Ue(Z-2JRIb?e|5pC_**#r-3&o
zpHCJ9C8kqfyWm=jyKoEsEf8Eoe=G1ZJcHX4!y<JAGsYY0g~Ffr%aPtvz-I*4d18aL
zNqI*HX9U+IyoOzPp(N-SxY5T?iQU}t5}_nRUH`HQKT67ylC@Zjsv)tU4^{vr_RPEC
zW2~$QO4MmT5Vcd4nv0PhoU9mp3R9{&=lWlOPh#p>)#Fk0bOSsM$GQQ&5J%4{@O1py
p4e({y-wp6>*ikifk@!<=;6K^2p=J(1jg$ZY002ovPDHLkV1n9Vy4C;y

literal 0
HcmV?d00001

diff --git a/images/LinkDiagram3.png b/images/LinkDiagram3.png
new file mode 100644
index 0000000000000000000000000000000000000000..10db52fe649fb0e745b9814c2e113c95b603ed93
GIT binary patch
literal 1208
zcmV;p1V{UcP)<h;3K|Lk000e1NJLTq002V(002A)1^@s6J-!EL00004b3#c}2nYxW
zd<bNS00009a7bBm000fw000fw0YWI7cmMzZ8FWQhbW?9;ba!ELWdL_~cP?peYja~^
zaAhuUa%Y?FJQ@H11T{%SK~!jg<=cCx-*X(t@yG9+owM!OmAM^eYs=W$GWVouOGqv)
z5i*fTEwr$fLZ%RMNu-cVE=5c(2_csdaxD?L-}jGgHWM@ccz=KPbIdv0@AvtBKVSB&
z)9>{CeZKG4>wJE{^Zi_2-!K1vX5uk4+AXjRu0>BON150fALGPMige?_;-@=-sT>T$
zv$!Hfv0glhn^P3azzxEGvJbNlFXQr51uNnde28(W3y;G)SdzMMNgROXm{FEMKR&^k
zWeFr=M|_DR$`+b}uW&-yLTxevui^Zv1ZUzq74&=?+>5)b7Tpg&;Gn972Vn``5*Pf+
znI}4A?;PR-I22!F=bR>v#<!TB(Ze(`a?Hu-;V%}5tM}v#+N1G4&d8wsuPhYv{~apS
z>=KKw>nqgUWG=>gVqsJTSK=A5{-`Ba<5i3*S?5@MiU}p_bVLKUicf5KNg8{KQEXO8
z^^?+#`|+^!U*YZX1&&Kxw^VxZ1n$zo?$Q8y@B%JMRIgI{@S@mLNWm>wCSB)N&RD#O
z3p=cHHr~Zn9Xra*w)g<&wt4;>u`ryP%u!}0;xnAKndeOw)BSm=4drH6d?V%vo5CnD
ziCb8jqs;7q?{U}=?HXcuzN2(UnQ87%9ymywOT;F0SrfNfafp~j&fds-^TpO;f2EEx
zbBwq+PHQ<fU3AjESscl?>RW~}cv=jfYw#!*;f=!A=%VfT;&pU!yifcK^@_PicTtOo
zH5%dq+=G!~qqwIy)+OdYir21|wu?75qZ?ibwu%fi)D&qNY84r1XhhMzX{cdCxHG9m
zV}0?{hu^WPIR0bt`V-b+Eq=kTMJKMu%A(B*{DIZ@t!THl_<eQp-io5_%HrHLMXlux
zafR=-p~ssdt%e4QGz~RHS`7^pX&PEr{6VdTR*6O3L^0Yd$Imh{L45K#uHMZU@OC^W
zzC~LktubI1?!zN$yn9s^{r(vP_K1DWdqn4K5sbj=IBz5Gjl}b~sY*jR87c-GBZk*Y
ztFe=hC1Q_bs2Fg9$V3*G?kE$R8w2hncEM{E5~W}_?ZtpoMF$?A+)*aRh_C$VZJs|%
zObicC<|q?gcpTStSZ9B+h^s}w+%8v17XuzFI%KZ|wJPT%>0`k8V(Gto!kVSii~(ns
zQ2S(&tW7GRc5<qS0nfrmg;s5;G6q~K!lm&;HOxiTG2k_LMGe!obHts*RT^vHHnDwJ
zo89zg3^*l&b~hftLu&8@#ANwnz~&PWcgmR5*C__<!%H&V^j60ha4g=&1yu_#RnHi3
zJF&^Us4Btv_`DFVBfAKHr<N@=LoBJY#ekd0G_e<QWLW}9o(8Ot*<z%do4W8Y5%gS^
zx^T(N6^q7wQWm{Y;->*C<R~#IO!C}XGX@+xRKpsxKs>h95#4yo-|waPuQKR;?SBGn
WlF*3aCj5W^0000<MNUMnLSTZ<vO7lr

literal 0
HcmV?d00001

diff --git a/images/WhiteheadLink.png b/images/WhiteheadLink.png
new file mode 100644
index 0000000000000000000000000000000000000000..eecf317dfc4f5b2e14f1dbdc2cfe9a04c6a9eb67
GIT binary patch
literal 11899
zcmV->E`-sEP)<h;3K|Lk000e1NJLTq008a)0077c1^@s6?;G6-00004b3#c}2nYxW
zd<bNS00009a7bBm000fw000fw0YWI7cmMzZ8FWQhbW?9;ba!ELWdL_~cP?peYja~^
zaAhuUa%Y?FJQ@H1AOJ~3K~#90?cH~rTz7fz@%Nckv1Ln^<)&R(?hRub8w?n1nhiD(
zdcX!kCzo6xfe_#ZNFWeGNC*T1fpDqe22*W%aith=?BI$!vXSl8o>^%v?aEDUcYgPe
z-*2>|w%Rhg=gjPUUaxu0tTgA$bINmm?RmaWro)V~mPNztiM@u|NBq2?i#-B+2IgU}
zj5#$HW>m8HJ%N28V^N?B3ot+JdXe~V73urZz9wPjL)eVLjLm@ua9_q++=sP+YDRB`
zdk<puWX?s0$&(drKr7PAo?RSRp?ib_a6pCql4C8-*f+2^q|aC^I?&#Q8a{n&#J#vP
za4T-_;+A>bwuJQs+t!wJ9CthV*(-3E^r~@a7C$e`I54o()E)4CY!F+v^?^+p4`KxO
z2SUaWr1ucwzmMRdEVhOlvgj~s={prhLfp4X+~>m(cyJS2#xiI=bF+ry8i@~|`B;##
z5c`V{sr|7Zx^V~&#U5kq`mT&?#Mia+xOTr}V~5EzYaO?jWnDZn<D^=Af28Q32aIzU
z1L?H})xf%pp^TxB-fQuFu#3SO4|K8N!04cDMSpyt9U3?m$KyEhd>(;0+kL%;6-J%;
znhMu1jSsO7<78GiZgSG62A-I4B2JLTi#uTiIqt#A^nMRk)u_&A&HfBz49|%1EzC;x
z*po*EPOWij#;JIOI2LbY1i!--xT3<Zm&ONThh5N?j=P#8YCO5dQ!<_`KKZxjA>5jA
zQ{a}sO>?;GKzg&?bSpbdo__YKaS9$II`XMFMx0b@<hH=iaq(P!){Z@usn8aVyN-P}
zau&|P*<zQskqx*y@Jn1jhno)M?kslOIuy)W7H#H?z>~xW?PD>w;VYZ*o4`d~{A4LN
z7h-6MXi3Knbgkypz&Rm0>f>!YmU<Ask-A=k{Ldrf#qZDp<SeLgTHx#uAI6We?Y(+C
zE*Rn4%VQUN*3mMK+sAUzNzcxBI+is2cMaF!5?tKPe|NgO?ZW`w!_k4C8F-esW?kp^
z8DAUWiwCo+AQNYt(mHOSQstDub2FZUN88rkHDcHIvSEI7NSsjW(B`aQ{(|`Mehyw}
zbQPe6pJjY*Dc^1P$-`1PZlJ5mGcsNh;)OY|;lDTHii}G#E?LS=1)15QB;3Nh#hg>&
ze+8axbhdhB;6puprClAk6powoh`@OnueR;P(f}^X_~9HbIv|GLb?C4I_tMkFD>L3G
z28F=g_;5F0YF7uIaZ*?KB{~0-6B=Ik=6txyV?#+EEFD^hz??o_pL2J^J@vbOPAl5B
zmL@Q_%4>3NYdEnF<a}inXN4Wt^Ez~xFt;$T%A2b6rF(27=fh#g;ExVt5y*00(fA}x
zC-tw^v~Tczhk_YkVU<rN#|>33TN#r+I_!>qPRRLHLkoLX&Y!IqO-bv}VOq&~X3l--
z{<}Gk2@)N4MjFSyGiPHuVQZ_rIqVpC-l4;^)5}p+Ry6eXjw{-x(vh=&&ZP~l>{s)c
z64s$ZVN^LF=c;s1<{js4Am=eT_cXM!FD}}q4jt+YurTM>>Hhpf@3v8Rvy+^&(=2hw
zxvrnXi?*plhwVv|RyU^m^unU;DU?3W%h^;v8NE?YsY8cS(#ugf59fqFo>;U!g;3?i
zIa`v`ex|ctHnXf`ah1bzj!Q$8$E@O*)f~}3Il;JDLC(k0J^PiSZJ7v7iA?H?i2xUh
zIg}so;jfyp-wvY$=H?ucBzBI&@fk-14#q*EqT^URBxcXtnsH-|8}{TEvt7(>6(?7?
z9_zX}pjC3Tr|h_SR519ZC@S{vOL<F1n7V1Rm%yBAlze$&#uLPR)T4~;oEyYMj3L{e
z{{><O&CYs2Tg1HOAK<@wqV(#lB9K+-7gak?YL(=bDLHOh#J&pMfp7Kj(vH(koB<XN
z^W+f6Sx*!dAa>ThT`kF<X53Qa_Z9j!Q$3WyUF|>6bsq-~b8z5M87GApyZacUA*LH~
zLEvAP#TIDRkn>%<0B`K!vqjr89wzO$w=i#Ceuc;3%1xYgc#;e4FgAfXIghXK^bkb>
zPP1cB%BsMX8CM3bsd3wK)-}_Pq|W&4TFk0>ns`6d@HPBRPt;0od#b!W@KK!K!z+rm
zXIjbm*Lnm>|F(Iv9d<&M<8$6p<p(+UZ<i4@l5<_oC;B)qseQ~SX;SMyayBQM9?p5|
zY{<~+=ke*7?=ISw@iM84Qsvo!AEB1<^lpC9T(erA0lK%u*7WIFY*~A@`^r7IG;mpk
zpLNIF<HG6V*a{yBJTLvz#a+C*oy&}*jI}{g4F8a2^cHPX)9GigdWKIQA1K<MGO&id
zt2{R64LSdrbH{cqYRFlab77S?_HuO5Ht&v{m*)&6+wZAHq4Tz-kIU1szPxB##>0ez
z{YUt_EGi7#I>d*j!KTu&g86%JNS0pW@gFMweZ+A5ynXLw6RyN%8J8{P+AIoxw*)<W
zts2MI7vj+&h6p~tC(diM9a)@RKQqnZf30YHcE^Oe%6U|wzfpAfr}jko)3#t02UlV#
zlA~%ITH%mXH|S8YUeH+QY6O1}#nrFQ;$+=5?J!xlhP{XRHlB$GGtTVhw?*64Z2Eal
zjUNWCS{9wR)J)WIFTfv*Ykseq9+Re@bTgigGei;YN7;RHbyb{Yy;mFq-4o*L?k(KW
z4o<o&(irgT;<djIPwwHig3W3wYgjrQukpri7L{GzcifJf0xkXrTQZLAZlM`C=w(TT
z=i@~g&#+?>|AXQh=^f&+-J2Zqo-N$l&W<@Ak}T>^GS0;B=kwThtGbuRhw}2kquXXJ
zJLjUb{PW48ZJ7vZ8Rm2KVDj{;Rk^Xsr}}v5>KHoM_RAhqC8fjNmL?{@S+qUPCg&&V
z*v>23mZq?ZN7dK%*2M8%=~>MYIp58xH8|`QId3guowQx(=fs?c(nI{!McdO%az2wB
z_x}`aOH)Wo93kg(MccAFdf7AQgE<?L%^RzHsh5+Awyj;L^2T&-2Uf)**KI)`e_hXR
zE83PRb1yw9$F^4XwY=2I-q6s(emn1of;F8$CFeKk9DlxOdzwWbFHOhv<DzZZ9lKq}
zoy+S(%u4xbcbvQ_B~_k1!dJzD)pu8T{Zf8bv|a5;My;R!U5gVqukGWb%i^To^fF+f
zx#rknPjl^|Vvd@HV{S8Iu8Ivt+-E=c$!r?q+x3X4Wlghrni$h@Q_9n;)92D=O;mYt
zh|3jo@QVuPbt;-qf?%%u9cI{(GDn)@Qj7e4XJ1{)O?eDdcx8q6<7Jcj%|Ra%hcWx0
zBC|j+Uu-P)5+@Bum+FFem4oqxv($5+x}0yw6Rq_W`|UiWF=K7|So-e&n2wvrINKvp
z?cpagWYdJm`Qrws{X{qKXr&0HX=kN9EOLN3x{Wwc<^aJ`nFGZ<-EJ`v{{TZNS)_im
zk9Z3^cU<V=10%dNaBeT}Th59J+ZUW5^Yn(lcgH3?EM_sSPupyfjZv{a*jr|A{7l!b
z@A(SrQWkyb#pA|w+zPKt=dqMk&+=F^b*t0%@V0_Ynt5^y?Bzrwj+8k<6z4laOls&R
zbtP*?7re$^_*#v-aF^f@V}0?UC~SWLUe?8%@t2c0f)A?sxGuwLHmcYl7?!01Z<!%M
zu#bmi(_5VUAl6mmqhrBJ_L$V#{W>SAxFnss(N}OMZnmU3iX*$cgn3j>SR-~<9?=u4
zfR~08qId)L3w)-BKc5vz{P#On%~J)B6%+1{xBIz@fvvBgUuF#kWcmfG)vS@pt+&SE
z6T4Yg@q|i@$-aLM%MLU~%hv+ru@zr5%(6+<Twdo{vR(F0gV-y%T5z$sF12uSL%Ll$
zZZ+1Z{Z_{Bx?@OSX-Lv8KNmw5f8HHy>b7t9c)g<puN9mtO4u|KaHrU%ZG6h#W7rz|
z8<0(JZz<<mJUZhw-7O}%wmo@Fw>$*LPb#c4nCAh9+2ROUdc_{lF*w$?57`mHW%y6~
zx=_}HFw2~8rK$11next>Oj@T6IjaX^cd$LV&v6EQ%b=P;A-(Q5=zG?Aw;^X)XP=_Y
z%z10N9+wnt%T&ont4Kb28g{<GT2Hjjdkp%8L0cNG>z&qlg)oH(z7@>Rc`zreicgBt
zu!>{q>&j`2+kOO@L2ol?W4frDt@BN5JyY1Nn&XVKnuGEv%{$yGk#)NwDUpOc_U5LS
zHI^Fmc7s+nIPfLbI(Sn1>*vg5{4Qq{iy}$CguDfECMU&!g$8|R>xCThbwlN^29fi#
z6b9L{S!0l=(j<K`5oKlw=2_=W1`Vd`K487akG088i%5sml4V>x9d=HZe$EU$SCk@s
zchUAVo%<bYuB-7vJScd%#a?Eyl|`F24laSf*+m;NMK+}O1vB=Gna!5?jGB`~spI|C
zTyFgYdzAI=Lf@$FP$|f{KDD-gU$iYvXV41_TA!Y{E39)u(I!oVK2E96JA_>{2(3UL
zKTJJ`a|<ybm~WkLr2Al_!EyRv8n4uHHV@cMIN1zR<!R~0Slf0bHHN&iVFKz$23xOU
zdLYZ`PuJ)%McXr3>O-+YQ~QF7L7(3`zcI99waXozj3cpcpW(^_q($%&5O{0)__?LA
zoJM;v<U@jwq`&^bV$ZX$p+aq%1ZfTZ()4GmcbAJLQ?u9`@M+8yeBIEt50agAY3e8a
z(w+QYA*52B&%tnLhm@;2L(UbvTU>*Fy?wn`)*7{Ic0qkP=*&W`m;zz6c2Ke1{Y<df
zU*KOcNAUl4Ip$5>ooediKXyh99fO>YrY_jGingU`#O~0&Y3BHyMVr$MR&!*!PJ^wg
zD3Zh%$|ch}<TI(;yxyS0cKH8PFSLH*OEJNaaz9t4hsjflwx?+fIV)X^l|nhr^;Ag@
z{<URX{~s?o-$_33Cq>(`m7vRzpQiie=YnjT8>TDP0fOI_rQBd1>*_4S>ZR?Z=^GrH
zKK-i2yT@Be<J@bYQlcJP%aa+g#p}ds3r{uZjP0NFr>6I7X4bM@lkx2I@q1-?m^6iK
zYs_l9B}UZmom0pBR(UDM7<YRPP!)UuWd3w}<Lc2G|1+aTjX_A_)S><A6V-z%+D!|q
z)g8CIWWJt0J#DMwhM2W*GK`c&sXkE2(hV@DL=Tguu*Fqkj`K-|>|3-s%_59C?kQ!N
zCz&8M$jWH@ushSIo~_39@kp_%e7>B%Vl3O1DhFc`)*oc-r0$mE01t={ql#La==dU4
zx?7LEs;w!5Ti)65xm$-<BU>G}k|w4?iCVTS<}uQ4PCLpMLFNqw+tF<5q6^0rYQ^N3
z3pLZLwlOKPtuyt#jopFLO-!+M=Cu`q>?h79-xSMuoMNrhiZ-W-w6f#QgGw1|2aP0c
zuFTbqj(a>*Vl}=}5JuJZ+EcM{sfX|-Q1Ou|B~h1)x>Rc`I&L{z+#r*AUHbg(M#nu4
zwv<R)D#Y=vOmhUbN=cW0z&bq1`Zg(jF?tUjTc{P2V;*E>bKLdL5{Hgei~XoVtYnA%
zvH9Q<RpHB0c2a0@0kSb!WUb)O5d{Be&})h|sR^`fS2>CQtCgv%93$&K2r^%m8Lq_7
zTc3<~l}v`U-XmzAz>A%+#Mi|f;|jiH(E9~l1zR;~x}$jA7Id%Necj<wk&TXV%hTcx
zd5_>Utd{v0$uYV{9e4W6NKA}+R8hN({dUd1-Y@g6^w-}R@=NP?P;_hwQc>uYuxIOa
zm*-L<$6e=5;zK>iyxBh1ksLRqfbgtj8dD)ju4Y=d^_dWh{WD%9Y9ODk=4OLFW_|gU
z^|vQW-R01F-Q{6Q&{bY(4}(4_^J!!<@3Pp1_5ZGSMUR78i6*9?lE${R5-D*^JNx>c
zxlR;(OYFA&m72Q^`sk$9|B9jRxGmM<_VDN)vL3E0%!nap+1K^>3k(b1Z1GmH1&liG
zQIJih_RBO9L?wt!`-B9Ji@mM3#Cd8?7c-(3;_WI{8uDZ7yiBh>3$}7hYArlLRR}?5
z$kPqFTyUA-II$GWS(fZVJR)aZ%0VnuE!irsN_Jhi`){`~>zr=T_Y4}|P8j{mhCE%^
zeYw<`W))9J*RHgsSxdo?!wq?dLANwq+XoE#pnMFa$(#l01doI?FfR+MI4jv!nlQ{l
z8PJn1@{J7_IT$o#(02^^v$AL~uVbH_f6RGB(YBP1`yFGQcNuiecGq!@As_O919rEI
zte2y^;-pl6Psz%8^mBME#woAsX@Q!hGs-$A;*~NlVFx*r-{TU&Zv?;DRXx}aGeD48
z=XjYXsd$p$$!s%Mu>ltgzHPnljJN1oR^=%v*Y&!dlF4cYx~j1j>bxy1IW#H&bl9Hz
z9c#onGUo`MVn_MfRe~#Ju2k{g7P)aZmDxK?me}KYG)}>zQ&q+NxBJ!uxJc$goBh~<
z6Av)Tk|@^sfgdf4RRT&yl@%dQo}JngtHN~{i(tO>&cM?Ir;8FY+dJ|WaqM{muE+I)
z8=F<TbyhHBUp0?ZalGIJF)j8KJD*6s55LA0GQYBq8>U)8aZW~0Kvt3*-0cZ*X6>kq
zBXt~i_r#X;^7JB@W4)6Er^}osc!DT*`>6DKb=oc%^as(2ug48WT<-wYA`YW8thETo
z>vDqNc$|Ra1<Pc1COouWd>~#YxK7Qr_H(<exe`TlLabaaQ_c$%xHIFN5FNL}M2S!K
z>(c8}kQ6sg5u7Zx5~qmktw-WWSyIlQgCYHDZj`xIutLS})vU0u-e%v7g%NAo9&Xr?
zGDqPk!7(zAP+w`;@kqCb%cr;C7MWXQZm`H*GjU$#7@hPPnC>5&44JKR9i8>SX0g~H
zewJR5UVB>PM8PR)PLVkUCkmFzEX6rnTbK+(HW;)*oIG45R=BUK>DOhAVYwyN6grmf
zwWmESHphX29+?AWmZoEh|Hfg4EJxQifwiNbhXr@Z+>BdgZdP-vecjQNLe!IFj+8nV
zVnTNrsdtaZEIZg?iY&K5Ty`5>dJE<lbR15UIacNv!O=Jx`-nn!CpCOO-taXsv}Xu|
z9*}uR@US?!_)z-$LBWtX@48vouB=REgDlOk273!>sWP*tV2|{99`=&iOR!M9mlulT
z%!L}Ozt<fxZ1+A&Rcs{g65OfcPQmRKyG>S-xa9`s1Qw+SX(=6dgloEDx8#_6*tavY
zJcGn;_RZ<FEe|@#X2-}Jo?5YP93T$84oa{6urN8*C_76X*;yJ%*v0>E|J|`WrVoft
zxdyAZevZ9^)wsuIcO_ASmSIjk=e1H&$6d~bJl;5`%#FHOrK;IGYuVds(GhknQXj{T
zi_|O<EE4RcVlV8IoOv%<Lv&CuPZ+Zj<NYcz@kH=&>W0_E38D2yJb?RU9#HW>8WOZ6
zt<Y75t8q#eyUQKNZ53h{^S<=z&_pVd<BpWrakJ>SLT8-Yp#!4hE`)g{s)f5fAvrD{
z*Q!<EI&^3z70D4sQqp=E>5j@AgV?{HM-**OhYm$kksNl8@}-8=NyWY{hrlxnHm5^}
z!l_779h*z+xDfa$+f?uC(1P@HW*=Yf<Ml<`(#mXYaVsU)bsFI!guoeV*t=+ZI!unh
zu^F$aNUHoLV-0(+j%(1RW^0SvRq_`15OT4~!u&0qS+qSJCe3XSN;p?h<u$`RP~+c<
zwq<v0ZE?4hyv0pi1X*XC+p<)W<Koy*vU{!;W3IJALQ6$bQmmx)+>-Ot^!}_ut>`dm
z4vNuMYq7^F<&fE_QyEQYDZQR`1^p08CR?*Jy17yeZ#%4?6N|Q|!=$+lDkbYKFO9W*
zH)HXtl1n93vgEiKON%yUcck(tKY*I{DF!_Ysdtx4<+xcKHr@?gCGRd*LQ0@-1;>Sq
zZ>IN-<F+ohLuPBC<}z_7gpzlcE1`wD%CMA6ur_d1HR>sKXg%&p@5>9dVkcx#DoIxM
z7PpcdSL?L6Tku^7omRIc$!wL2EuG^gjkD6vELV)4#8S=hjYW-bq>tx@(K0F>T7)fW
z*+mH*H*1lZ<w|9=M8t7rTUXl^%lNrCHeX)liACGfVPY(gy}ZrX`<{~3g{rr>%HHCp
zb+!A%b+sdkHfTI#)Us4hDDbkP?ddQvQqo8tR7%$BJ{0Tvj^Lm&ht}4+nYTh$6m@P1
zGR{x$FYi_E%5@!fN*{D3dEl~eG@Hb(e73p7t?o9Ci{pzjWTGtPDlv9>@f^-A+MW&*
zW^H;eUD57(cezq_$IV7n{92~Pg}@in`~NE1mJSo9w6%}37Ff%zK!`0DEw(N?%vZ%~
zXQx+N?4i>kDli5X7j4M)gcexKt-wS4R_xm!y{1Lhb0KLgUjTtWE!dn66Cg`1u5z}x
zt>L&wvnh+UWejs#u_jHJ&!zWQt&|k*JCvR<Dr{f67Pr<aU1bO{^G4wG;>?*iJ+XY@
ztynT&Dpu8@^n{d7n(bHuv~cE)uH_!Qg879SvkMxdj(!7KYX&rYKE3}%p;mMlH(3n8
z5K8D62gZj=Ke`rhSi$D(l&y~2m0DapCf86Fq6OH4FN=cikIOluXnQ*Bp3K%Ne)9@7
zWY^S}gi6_6-s-q1g6bB`&v;64CQY0rF}ePW>Cd+nX-kLkQM0uIUa1|otjPx32k2i6
zfpZG5Wvcv}m}vik)g?XI9Y$$raZA@#W^`s*N$;g?95*B}HZAD5J=_!c4k|U?TC_bK
z#wH|nQ6*Iu4JFSK+QxA=$C8N;<GB77O7p9e@h=c~ec3gGI_ywtx>QtJsl`2<jkp48
zoLz`TQ=o@y#M$u$StlT)!xR`EZE+7TW4h}ON$7zer;pE{VOyHT$DqPnIsqBwB`bN0
zdvHvG7{a{%lBFK9bM=VtizoA}b?h_4_Dq@Xr~-L=pl4pE)$K4f?t+mLc9(Z>++|V9
z<{He~$REwTNmC<9Z2m*~{GLv$TUtup;!^JPzFp}xeK)<oaHb4tCf!k!>JD`8!Rv~)
zr$cK}Pwy*Zvcc{g_nEC0Ma9-u_d^hPS6SmtXF09V;+8hqV5g4T69ubp#@-pvnOT#X
zLpNW;3M}7?*A{J0ht{JZy{|PKH}Q2^SBx!VBulL>-g8TNL+fTGWuH}sk<qZnBf_Y?
zrC^ti+ZD%&0nb`l!ko$Ru$1%DIA!^gP6hN*5k?)hR1VR|!LcUu!`OSEWW}y`>9_~+
zhrrdCKaUs9piNC9V>s~l5O`mi<u+#<A=PD8!r+EFS$w$s0ftM~T^_RvK$g18884j~
zbDB?glySWdOSkZjqV4Gr=}L}U#;Bz2D5Z?en2tM#Z;2=Ptb0qQe>+~1`1X6!=eG~E
zNO7}vC&cR_D}M=@Ql|HfdD0G~KjRmubn(YCV^Z_!iRp@$V(%@yuV{NZv_@B%@}~Fg
z_Gwp3-Q`M)&Mwyp{I&R$|I?h~ineFAQ%h-m8FP!aWh}~?-nU!F9gaD!n*yh`a)SCY
zt{2yK=itKyo6{lA)(RyrAJf&Uj+?ZLe~4_P^#d9HR!m)dLAAx?dD@MT9Jh=rkBuD2
zy&10wJg;b5CQOxQ<%FEx7MKMblbjEyW4S4mRDEGKa4$XSIt=ap+Z`rFpptV>PN?#%
zqV1UqISX>`PB+b87H!XLWhIN#HQ2oSZ+F<9aZSaiC6)h2l!cjAi>8?#9!?Wg@b|5{
z%+=~VoVv=G8%jPwRYt}gZr0D?sWiiI#=+eTOru@XP9K+NoQePH;Z;T3GaJd-f;scq
zXTPY6J!1s2ex4FI4=0E<j2=#vE3XZFvnLjOZ+)s<mby28RkSTrrONR+n{#R%5%pq7
z=ReG}(n^)X`nWvZ%e#7Qtn!UMj-5%{#><4FR%)Z7<8N;DiJfk44N;3Z!@sxs@w6xz
z+aw%JJN=vxxF+?s)&@R`XX4brGw`;I%P}u-Ud9bM?`rA$BQUpNV&|1b+cQ-LSXiYm
z9nZUpwr94HGn^9!SU3~Emu9l7>3aWctdg>;IU?t44K46bT2WMDD^=c<4&>HQ{y5X!
zlJkOeJR3R@RWrw07NzsPWv1?<oFAo?kt@gRgnc|OXI--OidGa*1S{DiCr>A!Ey`L}
z`9``hziEeuQ7h2PQR$rLGx2*lFG|06e|3Tt_<A|1p{4#w%ibeZ-kuKP`m!klOol24
z<gDqe?amy1oSx424b%NwDGuSL)Y!apGW+P`*qp(f(8v3mY~swYhP`tJ(m}Lru5KfJ
zyfocN53c5jqU~vSs=Oqf?~8W-?WxhnbL*}9RK}@kKO^b&q-NSUQ6|;or^3H=?c$HL
z^q@VlEK2o!AA61Pg?8vkl$pA6Vi--En>I4ul-@tvGaC3YVV1?1{f~=&^Qo2$|4lQ@
zx1?7014Y}@3<l_~PefFCd(rl^Gktt{CWa=xEK4oq=JARstYe=vtGxgA|F?#{>njme
z-rRhPXMjGQkxu@@6CLoEl|If($FwQuF-6<cuH^hW-Tc#9EhFbI)Aju6c(<wY-n7lf
zcCpVtsdv4LQV*Td?AWrXD)D{nnHI8Jo@IP9<4fWN`FclSZrV5whWY(8|ISMxi$kGt
z5k_0uorXMiM{$W2=w8yQb3Cg#GOdBOeCAM{e)h__Jv~+bvuJzTjfRxIho*C!*w5i9
zq;<nY)?afjOhdq3mal1uXSlvO)=rEmuSXrkU0G6;2>g3*$rTO8!_s&|y$qZ1>YSGs
zZBsijhm+FBTe4B@sirf+x#A?_MN3#e-tDqvUl+HG@tv=Txx^>0;!#tzb)qz7A^Ac6
zSuC=3L>GV4jC~eOlDc_!`tv`^8f@N*gya|*H%;g7WTOE>-yZKa11t=2IdDYG6xu0E
zc}SdPmK9JOuPKguG@ELpGi>i{m(am(J|PzRUX<~@mJN3+8Chzf0>7KC-$>ll&(8n=
z4eUuoK~$5akHN<I{Aj$}4aaRNSdpA_EWQg_0R;n^7P@tC%&0hD%&Pcwv-Vpg8DSHz
z5PK8HZRGrx4R<RSk52E`P1g^E=uBD0r4z~Z4KZs7t{BJHFUAI(xQc@(VdkW1>P^@c
z*FM*0oH^ao{4>SjaUAmkag6jw)zLy?9VS7_1Ud$_Inz6_b8dRSV1nD71u3;}Oj0n%
zwNT;l6a1Yi(NxDhh}HO)^yfdeOY79b?HPX}O8ESBUsO%#FbTGBig;h#ks|P#&MHn8
z9qFO@ak+9_tYr}%E9M9Pd_3C(u1fExO~TYk({#tG#BpJNh#3{<?skI~p*xOs|5ogN
zeW{Pri?*pnnf7jSg*T>;Uz^Bm@<yI5>R(+uUTLOEEQ}|M4nJcw-Eq@^{+}Rg1BshP
zy5n)3j|CY&N>BC<6QdrDcI|ZRJWU|J9BO=KBHK1hGJSUfo86k;TeeuhRt8v@vpy|i
zKe1?gnn{Y${&8A-?_U+iYaPZ(J-$8X$<ws|ch_^PC$e2Hd*(clwjKAXNXnE8c`WJL
z`f8OqA5YO#UoYC0W|J=R73qTA-N*8xZE6M5O+K76G97X?DI)9s)L=}g@<7fD)AihC
z(8U<ru1)v)VH4eUvP|3L(Mas3gushdm#muiR9Vi3J$SA-D|%?gWgX|;J;QNm(S_e1
zzyr<PcVNz(SQ}~~E?veCCbE6TYts8SC-L)n+IE*3R?TMG9CvvP!oCdiMp|4%eP=9T
zeI=>`-i~83e%*<#8k=l1)Um0{K!L2vXT^F@0}~bPU&GQ6C#Gs)a<S<fk{x?YV%teE
z-ODxg$$>v#IfDl^Q!Hgo7RPGW;gF19<)gEv9kwGx;c><YC7cY^n3?u^Y|1!q8NCzP
zek3ZE&cWq9+&c*qHbI!d6u)V8-0s+2xgFi}dG&PuR#9{_FrTO4mpA}FukzGlttu@i
zLTIAnR(Y?udNGWbb&qrXwN4-lDGMmXbj}HrjXLi9$!uRrs=Ou*`tMrNP6xIfE7_yU
z_v=aceQh{Am@0L#wPtC0_3`KFeAlXzY#18EAO<GeE6n*tJEgT^>+;E6>EyIU=FqMP
z%*pw``KXBY$6HdDXc}0>!Reel(2R(>oL44EnvnC>DeUJ*X&;jgWvy~!PFTegCcBSP
zlJm^E#7#ek7j4gUlk<i=)y2uV_?}o$YF5)wWBID7?kneybGD>b?tPQpPcKK;^{A$j
zB#^TzEkU*4<Ydlw>o;<{#4wLV>Vnl3@b9e7a7bL)sK#{9P#vv5H7OdMc2}BE6R_!1
zX+K|^qD>E`AwXL#dxD%p>SLTdNxQZ?t2id-*7~@&%G+nF>}$?f(s_8>6!!6ghMvs7
zP32s!=AfL1(!=C&likl6mezZdZQCGK`J>b|spSQz1{6Wgf+}BZ82A3T8fTwp6*<36
z-N|Q6X8TmbXH(k8zfbi6nDeo8JuaEbeyTh*pP`Bjg;M2x=|I=drZvw#UY3qI<gA`;
zseySa@v?dn!T5bVzwWd-pP8!DHnz4?&GM@9#&!+u-G)@h<$LKOtes8HyP6~W`0s|+
z_j~u!Q?y;vP0oVU%Nm*Jl3;R-;dH(}*NmY?AODi}cWD#$_35cjlC=z};@`!y(Rl-1
zId7{!@zc2f4Q)F<vbA7VsM0syZ310=vAj)4E#tp5$!VA8Je>A>##Hy0b936)*;CzD
zOOTxRq6X)kRaFC4b3`APH?+RjS7WSg+tJ6<C$bcjO2Pa*Z8O}=QXe`0l^z5?oa(-k
zowb~ec^lNv8aLZH?*p@C!m3Un>*KZgXzkUI^X+z9>#p+R`o!EgzuTX_Kaj^nj%L~M
z*yL!N^Cl>f=A)%ZCKP7b79{7rARi4~d+%&pG8tfDm48Z4?t0y#&*mIbv~A5GJ)A;y
zj4~iOkI1>C;Q{uWW~WN#DTlhsr<%0C^OLQA+l>9S9I55`KzbU6KE64tx*myCA?||u
zc}NcYnO4vB&3Q{Yp3iUpe^s86CM)aVi|cdV7Gkze)2Q;QhB<{Ds_;#er1Daqr)Ucu
z@kx`49oJ9Bwe8a4Oq5leoX1GBx&v>{`C9)BOMo_ud{j>66Fd38s~e8-Kc{1sJuUy-
zms;DVjF;=Zh&+kK&3gJcCFkCBQr1;@NzpbHMLHMXZD@@`&Q&>o(n>X&s=PhfzJqvM
zAFr+QPtz$Vp7X8r`&Tq;_P#!O*0MEnr-Sr_ytLtF{laW6ciGF)RX&*~J*D&-%K1Xh
zlgd6PP!Ceb3#fdUk7`M6XjT$H>Jim)Hm+j7X6&<V2vqv`Klx~E>dI9~Wq!7@mPL6i
z)O=He1BaZuQ^5S$Wz2bQ7+;RN_*OGWsf26NyvbiTYrlCa!@08_M2AGqsrhK2el6$!
zCdK(#P3lH}ykY62{<=TsdsW`CiYH99VtNXMct##;C{5PZ=O){JITc$bLduQ)RYMoK
zDU)5jQRu&xCJqamgDG_vtIkUHn9twg9pVM3X1r@D|CJF6Hm^_ubNV?W@ElQj@|f+u
zvO$y_y%o3NjvD=QSrh1QtVox$f5t&Ix-(7+JU(e^EyaT)9J-u!6SZ+QM~-kO*7eL#
z*Rsk#h1kjtjBv{G2}Es;Mb3qyaQf$actbPxIT>2QaqHxqiZ2)~(|A>dw{-K{Vl68V
zt2m|-HLy+>L;9K#%+ZVUyZA(^4>chIm1?Y*x7RSs4oPyR(?uSOw0$T3v}g59F$1V!
zzt6-^v8lo%ma?)L`<)Ce<+#MITYrr0{h;{tu4R0si}xHzf6?}pjWsOY!igD=!0}>s
z&QdY8@BrJ+vTnlajK08~8CM6c>gM_^7Cf6YY1!m)f#)r2Lb&0s=;QP(CJ*e15B4-E
z_&>!J+>FCB-rvm!nz7$mM=wj#Olw^YVSSZ%Om$4xVS32<aJo*Po37ue^2mHtb>yqf
zoNaGNc(|>M6M!v8KPObVtYLEI_M8`$eTihYktP{K&id&nKa!%(ded)Q)XX|QIZsXv
zL@l4Dnn$yiv|jgz1_!<-Z(@LYhpAJKl1f_0&D`&)4YTW4H*?KDr2+OQyFb~i{dQ;|
zX&b*ik69&k2mVz@pu8O9oRhA}L)AFmo-#=e>B0K4Pcs!Ys~pg<6#476sK!@jQnt<e
zQgl(>fq&grg4HcbL-^qx19VSzKS_|_-Ss(+KEBz^GB+uD@A|r}ZK>c`R#vfJniOda
z6}%?rh3%|3QD#!~*KMimxuTC#Cc2M4PN{Nb!!`YAGp}baN9EjEk4kIx?5vjM9`>#B
zcX_H~T7Qb>{O^1grVkcPk~FPLzHH3-#CWoTQnc7t^HB||HEGSZY4r1)hMDP`dRf-Y
z{WptQHS;>a!p*!XizO@S-L(7gA6<NUGQkBMCdV4~9^sQA)}_rbg3IxXjNfJ4S7Uz0
z(i*2`ahOxD_BSHt_P)0#UcV{R%bs0P@B3}Zo=Y}y-r)>2WB(nRzzXK4Vr0K-Xn{B7
zoIh2$&JGi!%H#U@VM8lA*6aS9&-QY3Gi^xAJ$Izv7|Hqjve$f?RW0uJq=LxL5X&^4
zEuD{y-vvH1hw~5Q!9tCkB@EELnP*pcV&I63C4tQt$hfJ-m7BTva5gsUH~Uy#;Ughx
zTxYlouj}E8X8lHoX(knb`qzf>P5lY~g}ezeo*l|VmBVuWBX7|7N|8~W`Hog4XF(sY
zPqWXB-LyM$-d)zoiVnMH702}P<$N^9yH@4<t9Hz&>d?xp;!!!D*e;-BB#*Ksf7Vey
zC_jO@eLO!E9UpGEh8L{j<f84HEVFuyJ6>*K-o891@Y;-Xj7HFG!DSiW*vt<PWw1aq
zJ2cSG2{m3T3IH6K{&@u7$oR+Zn4jFTbR2hr<Wbu5#ds;6WOU(wIOCUrAK?2v+*6c|
zvyn8>_?W<RGoEML*7UB7uLQo*!@Wh>*i1T(I|X`K*2TG^BcEp5=$#ux<^D^$`R^>Y
z&K;UaS_^(k;CWf>5j6&JJcJ7}zPywx+D$2?<G4*?H3yCG+`#iQo^IQ?*#|RzUgMIC
z%X+xIC_7u3)Y~~jOszXZ43})wk{Ss7IOB&EE^d_NX*W8KI}P-+S1qm!*I!3$_mu%$
znenR;u3W}7ofdgp?qT0~oE&18_hdX)tQgRE&jwMI;>Up>_Hflyl{#95j^oY%y&N@%
zvqN;^C)+XgYy*CW>qVKE>xa2{dHnabrk?{xII6-ifurz9(NPcE$=A1JTvOxM_*ISH
zOh&w}9q2gj3=^oV=J;Cd>YbimI}>yp7L^h22&~9hQQ^)JR`f)b%i)={dol#(R_P8L
zTwz&=Yv9YX`1vUDwa+d#-y+WZ-iRAAt_%FOhlgj#{8H0#+!8QA_b{h~IA%Lpd_Tgj
zuTKy~-PVLCJGv&s(7;WB2k=nF#*FnD8%E;ip-Oyzc!c}6#HEp4GM9y2Y5cgEN>_BS
zy|5r-VJ*tfEXbn9^^(AT74{2pZF`CMzW*4<P-i1n;LZ>qRJUi`Fv!i1j3JL5c0$K-
zOUgR-+01dZ7}ax3#?c`L*B@!utyCEq6dx|V$OEe~R#o^zjXS&PZMPZUnV{piElAFS
zuGmU1%~%@f$=ExK4!s~m6~cWp_6Sj?bRTh+doQu2Y@CVR$F|E@!(yvl=V4K{bwt!g
zelY#pgSbD7pV!t{o5k_wS~1n`z7f{UhH-ik{C@(KT$E`xhOqzu002ovPDHLkV1iPj
B@67-J

literal 0
HcmV?d00001

diff --git a/images/unknot_and_trefoil.png b/images/unknot_and_trefoil.png
new file mode 100644
index 0000000000000000000000000000000000000000..089308088334150c694611c54bd6cc1ee183b2d9
GIT binary patch
literal 6746
zcmV-g8l~llP)<h;3K|Lk000e1NJLTq00AKY004am1^@s6?IzVD00004b3#c}2nYxW
zd<bNS00009a7bBm000fw000fw0YWI7cmMzZ8FWQhbW?9;ba!ELWdL_~cP?peYja~^
zaAhuUa%Y?FJQ@H18P`cfK~#90?VWeH71g<i-?KTCgY+WBD1w4sM8Mt!>`_1iM!iZb
zXbgF<#TH|U;7#mYjTkkFii&!TJ=iOj=#>~NMeHJoG?gaO&e{3nJL8$PW@ewg_nDbB
zGkd+yGY{;2X3zYlty$|^U#Y@ku_S?3zyM$eU^}1>&<p4av<2F@)?ErL0loxg0q+6R
zfrT;ZwOA}Erx`E=xD0p|SO?^rxXc7D271SM92ScuMKlLS0(St*XnLa)wA2C*Aib)@
zQ)OC!#Zmzb22KM08yQ{|%lE)nz$)Oo`tO?8Z=(m$v60``0k;De0N<3b-&jd|Bh(7m
z4CoGY19}3R*8e|<?|{X~xOy?L2>2R#Gg&NQ(Hs~BoDS?&#QJlQVc9!~jpt+J9xX&y
zU=Xkma4@hd{?GJRzzM($#R#_q(-t||X99O3<KK;h*M(gOJPlk0i~$A$)v+9zB}=ph
z&I0CB_<mc344Hm`^lHMO4{!yr+-H9qfnSHTpNhdT++7a5jf``n8bb#yD}hImi`OUG
z!?mQGHo$L@-gVIZv<`R#I0EU#M@0wVI$(p3hTlcF-^{QFFc}#p#og#MwtQ5tZTHBI
z-jX(&1LG-tzkUXs3v`KD+wS%I*7b~wSw}&VViT$Xjz@YNgNppkT4YEz2eIias$Ui&
zJ`@{#ev?CNMqTUw?Oy-?e!%vKO{rLB0k;BolVGEtB~nHs!}qNM{{AX333v=K5}Tk4
zFb#RRJ8S@k0k0WRlrU<5-yjV~p&m#b@D|bwISFZ~nn$3g3$Q;jrk_f2y|J~xeZZa(
z=&>Y|e!w#X-xJRQ`x;Z{r7bW6RpaNtCMHECfu91OQh5A44e22jn(c~`D#X{~0>mS=
zF^94j5IdG7n^Xgr5PToJLULb5-GBwCdapIA$RIs|`w4!K-$#aJjrl;Bpgl64ev`tD
z(KKKiLmDm7(4XMzJ_{IbPFm3nMMf3wUi=m&1({$Rumb-JIUO0NriH=4jfmfo-|?&m
zu11EOmUMGG;y9>Z;}wWGAx*9vQ&5j#vROItQ3KqC|HC>LIKZ5=CbJ1}4q_blJHAhl
zH;^TLR0B8Re_bCYJpZ0J*#hYSImfXaH8?ht^hUfu^^5oe@Oz-8IccF%gV>H%;yu<{
z;7Xz~rdy(+4e%u1Yxym3oIzb-a1ZJ+{miVKXgL6xzSb|~%Rpa)x}u~T5}@e!_MCx)
znOKrdJG`?=dEj42dX2Pm2<ma&WL8dej707BIm;x{HHI#i1CeP^{rDFEI~vqwDNJi*
zmP@~Gw~?J*du!BZ^JBAeqTxuyFzddEYmgwiN}?^|Z=~PQs}a|IOR}iKf97_AK}}Kd
zBI+@2ZdOjX9E&$*Wj^AOT&ax3+bgUE&NC^>;^7>;4bTNf6-CG8sK>dFSvlb`3U6fl
z=h)y+kc+$&?@fNSNl}&`*#_^6;wqzxqUAKyWBs{VIpMG~GR)8$Ae(Bkfj&sAo8Ayj
zG%3mgz;meA<Y^?6Lsl7$dc0?tmD6;3<BhZW5IYm(M+e|}ybaNXCPh^^`=VZp<&+l8
zoJNL_A-h)xyl?j<*dbUUTH$^3<`J8OC4L@8y$)xal@kkxq8@W<?UPkV(l31$Y>z@e
zvH&to`V#87t0Vo6aA~6hsx4?Ka&5BCF{t<6sb=Mr&v?8K(XmDqrHf7Q`lS4T*w-xa
zFcS6r-)L4&Z2SuKxQ{U_r#uEC4~+XjE;XtsowP^N*SgQ+7nD|&!BRedKt1;(&B}?5
z|3y9SGzE_X(p{a6dJr#>?b(DV*#fbnxzFc|REB4{Y3@Wl@0Bu}`zq=ProCA?rE?AH
zg<A&v#Hgb5GZe3r=QSn;RS45i&v`qua$=zxH8sgxvvNvjd(@DOI^b}lin7BQc)hBV
zlqNKb=rd!T%*u&{-BFKus#!Uukptd9J%HPdD#{*u-ldPIjM*Af`~~%V4=^hy7H&X2
z=3knXQyThg*fOjEHEh}e^H9(8B%_M5&H1S3`V_NrBBvU)HriTJ)cfm%H<jrLMiph3
zgHdw<*OJ@>>S<?J)O-3qvvMM5AJpT0*sPq=xEk;5O;YNXWszG^&-YC1>|+!(L$W10
z=lL75pBH>5#16C$i6Kh`JyEUcwMe3OOLX`R%T6+?D7*Zf$~@0KNl~J<zoA~FyUog}
z7>+_c?_ZMrx3mfNM?KGPo0VhH*$UNvWgV5{&}Et`B(Jgi0Xg5OqU<sg^*m=f`Fq;9
z5%uC!Or4^HFbwtle@lvHGg8DaQP1-SSdaBsXw0zO2^j)7HLEuuJ)`+iin4fk5-FSQ
za53;lLt3&*HBw2{T{-u3(jU;;5~*y{3+U`xs*zF68ekQ$5XlKP2Ps>X7%oA5JKSkj
zPQ@|^b;^DLwuV_0j6%KNSCFo7q}E8XvWtMnfKTzJTW)NrLkf1@2b_%I#DuNzRuvs&
zQc#7XXJb6ttei|z1-yWIo*yx)s4&eDzn{y1*YU<4hPAwgG)QgZIjjc8X+oZgTYyF3
zaMbJZPqT6|OJBSxYLZl*X<KBNI1T@5zfmsBf&W2<bD>elCNvx9@A`Zo@;0`Zp&3%7
z&OI}^Gw_xfIhp2S<Y9AI0BnaDTS-@>lJSA{|CUl8>>DIPel9Y^T3r9#H%J_)<0G_b
z{n7^+?F^!DYL8V&afTa^-d7~(uI%qbwIfSO=ykEKH7h5xw7{D$>-w1X-3n=Ju0s5k
zYAL>_G8-xBJcg#_cyES8+D|}c34`|cJ`q+E)~DsiN3|nMNpwLqG=5@MPNvx#buwTB
z(L@PU)o=Ga;2C7Ls@O(n5#l&}0?}3n*&BEO{|0d_a3&##aJ4`!(zgz|`7Oy{I_gbO
z$(3!RMvvcnC8X_c2Al}ogBsD^*s=zxhjuP9WQsd>b35RP0Bv_5ZAU2RMbRD%Yr~dM
zI1BaqTw+#Ers<5gYVJX0Y^Mqd8l8yP@Z3GDLQ8G^`d1>MC9TRolu#Lsf8+T)4L*fU
zLQi)&B8-h%LZcVzO>7O*(V~}2eyzyg)c}V9w;+b?VtYIDkRI64BzpwX1Ft(n9_gt!
zsUhlun!0r{)+sKDxT|y2Au}76XlRKyo59uv)*XZR7JW}~jm`?BcHekZZ|yWtjWn|Q
zF+D>Q+Kpdm8@sN_GA&VXCF*rL)U2G$qi0{dz-OHy$V*$VnxZdtNbhwbuov;gr=5g&
zQlE(2FJbO?BHrWtYq=Y{SKH8#5CmGn=SbA+bg5Z6nWs1E`F_%8o%ibh_8eZ5#t(==
zcO2%zK%UVwg>7Hb>$l}8BQH}kBxkg{n`nn($z)5^i~X2UHI>0~8qW8-K7V)YBlD0D
zhsD5cNJ@}UjI~W<25O@i1-GN#m#YXKy85!0wt@RY7HA0<_w2+X!&=f#8yYXz;I{Gn
z+vo4wA-#<^fn5-f<Rmed=<k>2NDQ019hpH1of*A5H8y;WmJoRg^?Ic#+B+%akY39|
z3TF##gL<yh7)QB?2K`YMJM4puqTJ_eVzEDd%k`r=WD3rbT&_U9(6&foY3zrDBf0PS
zodVX~8ueV?5re+4SxbZdHzMBG38?359g>HvARV#3Cuu|XUpdCCoYb%_Vng$rxe5x<
z-a}jO>gZ*LN-I?T&&IIN2ef_uU(kxqxOI0_7x3wkNwb8-LhZBB<Wni2Gm@J4ePFoH
z-)9g!%c%QdEeTOq9Ox18%VXH*Ij9Ekqmg#TgVPA@p?x29cg@mt^hU@IpZ#fpJP@BC
zy+_?h`Xz8I@(cudL+eKCv^7F{g_boj?DI=hKf@{{Ge98L$eBL2K)q)7nw67CMj?%l
z-_UC%@H>htq4XQ=w}(d|HbS;V)qhJ&`)!MA5YHoNf)t#dkUJ84F%s)yNj6UEU5D<b
zgd~uDh~48Myav%)#GAJ-V%#srXQrL@c~w&d#*FTmxHhK!uEJ|SJKJx?judB{vm_69
zewVP)Or)6_BoUW;Cdj=!M|pYDCu!T+IRve7q8rw)h;iR-Q5`)uqSY<TAx>6qX2l}S
z5(c%d|0m5kE^ZD(%GF$ox3uwWq-4^8NO(o5=n3A_-V<6E<GxoRp5qS9fK%Kn<nVS^
zqjY4lgo}GP7I%WHq|gbN3OtU4v$$D_<X;+$Bm*lK6NcR|(Ho(t!Zw1KjJN<f9Ea<E
z&EYNS{CNzbEa6b;jnHsp%6*K_-yR1B0DnS;08K%UIFBs3dqn7sXk0cShcAGaU7vd)
zrHTM)gtqkgfh8Td8=*=Xj<rR4Kab({kNObFLO6o(Dg`&wKG*uLm0a}UY21wv$n|pb
z<BKDQH$k>7@th8Fs6H=gdpnoQj)+IU-uu~z_@N92UJQAkdQYgSJ*&7e-4g<tsdNtm
zM^gXd%%K)C`=0cTcPo`HsBh@Sri8@EX-JfIU+w!@z@A95u_zuey_cEyT`RdH!KSqm
zb>_Vr^|Oq6BlK;IqAX3LoAx=&jZibB4Ao@Rp+z3J1_?ZUGs6Arvq}2!Ch4@+KAY-j
z=*i#?1?gtG9kJqwDY1lu9?!JYh>GZGg9Jb7@m@=iXzixVdKHV_2qmTJMX@BM5qd)V
zJQSoS<gOJIr~iPZY3Lr(SxjuU36dyGZ-8E*>C^6|pbznEPpCZR1E0A*?+i4{p&H%N
zW^k)y^nlg01ywdi3*ceI*5hU>;&k|Rj9T=EwoQ!t4uhmLLLk`+95w+4<WP;9wh>AX
z1GLYd8c`7)ci}BGI1w3wt&drYZY%BVyH;}18=<(J72V9xKJS)8y`X6u>sB)Ey6EeH
z4@?P(fU!va88;K^7ZWp6%e2o)E=uS}l6pdVnxI`lt&=n-Zbg=|Xo1-8oa^?ESvjGy
zCEgsx*P9ds9EGaq46|}d<{zl~I~df`61BkUj2y7qwL;p)x|Pbds1pkBn-UTMSEA0?
z{u4<`W)eMtTrVRk$|p%Zp>?QH8GUoWH?A)>r7~lX(#Bxzb2*XWNu(Dr+Vy!gQZdwY
zn1pU`Ycy$l!f@9;+erL2H63@G(=vzJ%C{taMz>02nD#j<!?E$Gv$Z#o41@b3B$~h>
zZH<sS70K$rwc^8_^Lhoq&8XwWfd)ibil>T(tcrQ$;mFE_g1hY029lL#*j*lIJ?Zil
zT0n#LBsA*o`}cz!QnuF3HnB^xl)?_Ej*2g0CLl3vTB5ogyhpOq48QIAe{<6HvhL{m
z|98ez2t82m-vv1&>zo_i|HP6k4%I%Vu^Ol!eNm0=NvnOQ>)FMKiqdI?YM3@1AF4Z_
zzMcbSYG0<Qg|9>o(LQIT5z;3_l3=@VqdVChU_?dfbkshZ?g@?5KEDof@!g52zsAmx
zC6z5vliO#>L2(;Y+vH@kay;aaAYn(}a=bOnl1P8l^Ln#EEgcc}0C(A?Ho5u_?xJtq
zv38-PG8Q$r%|oVyM1cN=PTD<Khg9ouXphvhPdc5n&nA09zede%bT6(R@A;^$<*#Cu
zW+{edNEEVjjcW1c2Twbn(Qte#NM6d?V^E)yyUofeiV>)q&o!i@CsKLCtz`%I3cG55
z)boB=%rhMI8a-=PP9)rmdW`#;mE)lXHKgQwk{?HQJnA_;*^rL=H68!ZS8$vbofXz$
zHonB-MUVgaxmh`pa3bn4-f2{gKYv5jIKilz#yJaB?<fNr#%mhZ65#N8qqgGlF$uIZ
z&UUB<>BXqi*;%0tVytxcG<2JWY5F7fAxGnPKv$!R3NsP)xgHwx{`Wx*w$1~W1+6?(
zTk++f6)myzAnLWb+^n2Pxs~J}>!YX|Z!5gIQT~FeHBLXkols}q^T11ZtC##p4k>)-
z{()X1+7drIpuTxmknQ-sL8!gH)p)Z=nx;Q$I*K~raHEQXc^vhb*8PT}Vn<Y$hCE{O
z(bE!pxKR7i?a^tp6v<<#*JPquIkBJ{sBbYV$CpW{8oxyvr=;;NYJ(mJ2cr(Fo%5q-
zfAD2fRA-{~cq_D8;$v^T7qSv24Emz>G-~m>`<tdUQt!-teZB;?HYv&ncW>mw81^>~
z_1fi;srlVY*~nyV19yZf(NZkcsBf`6aFJ0(@p1#|vCkrT#`pnveP5O!FOMWpgF2KC
zyE3i5uRBoBMIOl=v{$Jc+Z>rfbH9al3Q4G?crHS{nDeQu%$My@Q&8lA-y2or&jEO6
ze>Naf_omZ*^h4EkS48_6gk(L?8=%jSETCm^t+uh(NuKv=mf0G0SeyrrFsjH5N1&dA
z^}udM75Ot9aVO9p!jFMdFqiM?Fip>;A#cAq@?y}3UwPnFiZDVKq61#bcG{AAr<E!s
zM#+8dA2q7TEDzy*u-g{=g&B534Xbf4i;)S1|B6}DnVOE{LfrO1B*&89@m@zr!M!JI
z8(u{dx>lB=IS2K;uSAB(l}Z;>Z~i<m#i*iSIs*^j|6n@HT;M9;r$j%=pgSP%8p1Z4
z1DD_(f;#rF(ZN40ohsl3Z6~u(lV)4OWly|a+cS+SN(Kj_`VQrRQ;jMr%)tcr65LBI
z@=W~|DeBlSWF1dy`)jI?&`=}^qTjJRfXuFkPH(&(k5i-Ak%cbE6tDYSKZ~`+Ip}uE
z^~4{7P%6U^KQFxjEwn5~9_Z6)y5G?kuI=gt97~}Gk}<$N)8;Hok-BV=GQwx)<D%Ya
zg;9k!K=o^yXxPgbEs+Tl_c>Zd^89lA=nb5WghFkk_y#GD6eOKM>G_p9qCU6fgke=9
zJ#oDlrL#OpM7<wB^taGjU`Sj$uK=z_J--`}z(0#hH>5Cw{*Wd)fK;a|63IRZX;l4e
zD?vlI`zgM6w4e6-QmfeRjn_}jS-!x)Y;860iY8<Q=}GpTWb`x#dEmE36(yTNcpU_1
zA`Mg;X@xxS=L6FaulU9qqbW3Q)IMAL-3dkN>5ljl`3=3+0e{3>(KR+UL#-F&bcbz_
zYxx|D*Iw{2Hph2k9D(<|%_bYe*BsK&o{gkk_G=8B-pKX^wlh^*zp(-q)ky9k-3IKo
zPbMPe?)Hcqwr)sEgt(NkAF5}19{7I@zGYIzDR>*AIY=7OEU`J_W8`O-SxE3~^@pzY
zexR`5&Jd(G>DTzoCkDfFsqBWgJ3Jp-DyS3=K_Z&n=WrJBrCG=dWAQdb^U-n_XM|3`
zH8dEuR|ES8tlJayoV;3Kn^OoLdR<9^LxqMRt*cw~D#QWHQkb9N?Ex(SwlFCw#hi$@
zAzF=`=Pa@x;>uAd|MqdH=ff|P;gNXFD~TI=HO5H1mi_g}O=0opG`tVY5|WvRCQXdN
zdoR`k7nl?kA&q4d(6dtxbN#IcVt4dweC83d$8#JELvrl852OzG15%>KB2*!7BfpED
ziZ@OQ7>Z1k=;!zmvYm<2k55tUL9LK`@MOHtYaVe4xrP+mBm1LzW;)9o1Z32&Fghb8
zl=Sm6hsur#i-N6@s<isKUVz#g$TEXbkNt)E@2l{?58nlLj$dZ@bO-*8_W)NAZscy-
z*afwqpR@dn<kzc8D;*G<hJMa#5g(VpB<mUBD%9gX-SxNbG-StEi{z|ILn-T`X+v-X
z@f4C*x+O}gkZ5?nJS)?%LBLUyL&6RG&i{MB9_FM)N)>9cij8=kIFCU5k1}nCJRa{9
zejf1zJ(KLeiM9fs$A8>C0UMASCwt<pAmj9k{*2U<&k}o~9_RA`>s5p^?6w4_GI*D4
z#+|iB8X4VnA&>a3Bqi@~rO_U^5C3~{AyQvHD-We!YS~oD=fuzw349HT8h(^)bc?GI
zw*);Ova>vewf`i6qwpq2b5EkA{l(Z1^;ug^_Ii3{GZ2`L|HaQEfw3b<-`l7Ka1xSk
z)bF^KBPmbPc3fGeJ@6-jUyRRDWNoYjqWcD2VOCBuISOwY2KO=>$zz?gYMVMekc8nu
zZ`C}~EzVjDQ<m6`;4~E*fqRf3(zMVI)mifg(wkKva#|zV`Sl=J-Do%+=|v=E81oaP
zfqaR=NvYn%<^f6z%@CVO&@j3V8A=Z|q_0@2@J@vM*{GtF&<2?)`-0#H+L=*$9ZC8%
zg7~KS+aWPJ7bEt9pmYk(@-`ByWQShqqXr4@@be^g+l<Cwu5?c!^uh=$khD9NB596X
z+@P+pUoUAUQt9zRWQex|<wyFqM*JlXL3&=dA<^u`<OHrm5{Vy*ZG5soXC!pN&%MN1
zzC~<G0}N@@8IIQ%Ds`o~lJxKlM5arR2Ktoo`=!WRU<LA4TUo#4kw&VDhHP}5k&uaU
zhI=0)wXmiDAC>WYOS0*RWV<|_!ugZm0RE1|rp=2%m(FM;aaoP)yJwJ>Vx0j!nPV4Z
zdVdy;4~61b-bZ|Z3T3jhWQ!W4F>(ik2K9*FM22*66gO-K+<>>Y{we9owVf(DBWXjf
zMKTZix#EYptgYYA^+@{FEh9fdOOnX}2O%Lz#U!Qw3YlFym2m5bZH`Rp_+<+Cnsihh
z@g+&av0`a~lu+ph^hHj7Ut~(WJ@Te#tW5A4Br%kGnTMprd<SXhEEb(jk%aMMDZU!<
zGNea82eD^<fXv7(LF`X{)F3Hdwn1!`2O-r{{X%}`Ahw~;i`0`i(%1+UgJb_`k6gI#
z>c3x!bYm@+rZNC2-7|{veTvp1jg<4!bMDs;H2!Snft!(GU{GUbu~;gEt&pkmCuo=q
ziE60>9tU=c<;W}+OX{dbhEC@pX<I%goW^G+lCiXJe1{SbSsjj9EJ>m*V%ymsv0-*Y
w+(VqjvGuG$jNhve`{aj+4QVD~@XjRv0iNtE`D`Wz$p8QV07*qoM6N<$f*%~=r2qf`

literal 0
HcmV?d00001

diff --git a/lectures_on_knot_theory.tex b/lectures_on_knot_theory.tex
index 8727e23..c9d37b2 100644
--- a/lectures_on_knot_theory.tex
+++ b/lectures_on_knot_theory.tex
@@ -1,8 +1,8 @@
 \documentclass[12pt, twoside]{article}
 
-\usepackage{comment}
 \usepackage{amssymb}
 \usepackage{amsmath}
+\usepackage{xfrac}
 \usepackage[english]{babel}
 \usepackage{csquotes}
 \usepackage{graphicx}
@@ -10,18 +10,25 @@
 \usepackage{titlesec}
 \usepackage{comment}
 \usepackage{pict2e}
-
+\usepackage{hyperref}
 \usepackage{advdate}
+\usepackage{amsthm}
+\usepackage[useregional]{datetime2}
 
-%... Set the first lecture date
-\ThisYear{2019}
-\ThisMonth{3}
-\ThisDay{5}
-
+\hypersetup{
+    colorlinks,
+    citecolor=black,
+    filecolor=black,
+    linkcolor=black,
+    urlcolor=black
+}
+\usepackage{fontspec}
+\usepackage{mathtools}
+\usepackage{unicode-math}
 
 \graphicspath{ {images/} }
 
-\newtheorem{lemama}{Lemma}
+\newtheorem{lemma}{Lemma}
 \newtheorem{fact}{Fact}
 \newtheorem{example}{Example}
 %\theoremstyle{definition}
@@ -29,43 +36,66 @@
 %\theoremstyle{plain}
 \newtheorem{theorem}{Theorem}
 \newtheorem{proposition}{Proposition}
+\newcommand{\contradiction}{%
+  \ensuremath{{\Rightarrow\mspace{-2mu}\Leftarrow}}%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% For quotient groups / modding equiv relations
+%%%% Use: \quot{A}{B} --> A/B
+\newcommand*\quot[2]{{^{\textstyle #1}\big/_{\textstyle #2}}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\overbar}[1]{\mkern 1.5mu\overline{\mkern-1.5mu#1\mkern-1.5mu}\mkern 1.5mu}
+\DeclareMathOperator{\Hom}{Hom}
+\AtBeginDocument{\renewcommand{\setminus}{\mathbin{\backslash}}}
 
 \input{knots_macros}
 
-
-\titleformat{\section}{\normalfont \Large \bfseries}
+\titleformat{\section}{\normalfont \large \bfseries}
 {Lecture\ \thesection}{2.3ex plus .2ex}{} 
 \titlespacing{\subsection}{2em}{*1}{*1}
 
 
 \begin{document}
+%\tableofcontents
+%\newpage
 %\input{myNotes}
 
 \section{}
+\begin{flushright}
+\DTMdate{2019-02-25}
+\end{flushright}
 \begin{definition}
-A \textbf{knot} $K$ in $S^3$ is a smooth (PL - smooth) embedding of a circle $S^1$ in $S^3$:
+A knot $K$ in $S^3$ is a smooth (PL - smooth) embedding of a circle $S^1$ in $S^3$:
 \begin{align*}
 \varphi:  S^1 \hookrightarrow  S^3
 \end{align*}   
 \end{definition}
+\noindent
 Usually we think about a knot as an image of an embedding: $K = \varphi(S^1)$.
+\begin{example}
+!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+knot and not a knot (not inection), not smooth, 
+\end{example}
 \begin{definition}
-\hfill\\
+%\hfill\\
 Two knots $K_0 = \varphi_0(S^1)$, $K_1 = \varphi_1(S^1)$ are equivalent if the embeddings $\varphi_0$ and $\varphi_1$ are isotopic, that is there exists a continues function 
 \begin{align*}
 &\Phi: S^1 \times  [0, 1] \hookrightarrow S^3 \\
 &\Phi(x, t) = \Phi_t(x)
 \end{align*}
  such that $\Phi_t$ is an embedding for any $t \in [0,1]$, $\Phi_0 = \varphi_0$ and
-$\Phi_1 = \varphi_1$
-\\
-Two knots $K_0$ and $K_1$ are isotopic if and only if they are ambient isotopic, i.e. there exists a family of self-diffeomorphisms $\Phi$ such that:
-\begin{align*}
-&\Psi: S^3 \hookrightarrow S^3\\
-& \psi_0 = id\\
-& \psi_1(K_0) = K_1
-\end{align*}
+$\Phi_1 = \varphi_1$.
 \end{definition}
+
+\begin{theorem}
+Two knots $K_0$ and $K_1$ are isotopic if and only if they are ambient isotopic, i.e. there exists a family of self-diffeomorphisms $\Psi$ such that:
+\begin{align*}
+&\Psi: S^3 \hookrightarrow S^3,\\
+& \psi_0 = id ,\\
+& \psi_1(K_0) = K_1.
+\end{align*}
+\end{theorem}
 \begin{definition}
 A knot is trivial (unknot) if it is equivalent to an embedding $\varphi(t) = (\cos t, \sin t, 0)$, where $t \in [0, 2 \pi] $ is a parametrisation of $S^1$.
 \end{definition}
@@ -73,21 +103,36 @@ A knot is trivial (unknot) if it is equivalent to an embedding $\varphi(t) = (\c
 A link with k - components is a (smooth) embedding of\\ $\overbrace{S^1 \sqcup \ldots \sqcup S^1}^k$ in $S^3$
 \end{definition}
 \begin{example}
-A trivial link with $3$ components\\
-A hopf link\\
-Whitehead link\\
+Links:
+\begin{itemize}
+\item
+a trivial link with $3$ components:
+\includegraphics[width=0.13\textwidth]{3unknots.png},
+\item
+a hopf link: \includegraphics[width=0.13\textwidth]{Hopf.png},
+\item
+a Whitehead link:
+\includegraphics[width=0.13\textwidth]{WhiteheadLink.png},
+\item
 Borromean link
+\includegraphics[width=0.1\textwidth]{BorromeanRings.png},
+\end{itemize}
 \end{example}
 \begin{definition}
-A link diagram is a picture over projection of a link is $S^3$/$R^3$ such that:
+A link diagram is a picture over projection of a link is $S^3$($\mathbb{R}^3$) such that:
 \begin{enumerate}
-\item is non degenerate 
-\item The double points are not degenerated 
-\item There are no triple point
+\item 
+${D_{\pi}}_{\big|L}$ is non degenerate
+\includegraphics[width=0.02\textwidth]{LinkDiagram1.png},
+\item the double points are not degenerate
+\includegraphics[width=0.02\textwidth]{LinkDiagram2.png},
+\item there are no triple point
+\includegraphics[width=0.03\textwidth]{LinkDiagram3.png}.
 \end{enumerate}
 \end{definition}
 There are under- and overcrossings  (tunnels and bridges) on a link diagrams with an obvious meaning.\\
 Every link admits a link diagram.
+\begin{comment}
 
 \subsection{Reidemeister moves}
 A Reidemeister move is one of the three types of operation on a link diagram as shown in Figure~\ref{fig: reidemeister}.
@@ -106,14 +151,328 @@ The third Reidemeister move slides a strand over or under  a crossing.
 Two diagrams of the same link can be
 deformed into each other by a finite sequence of Reidemeister moves (and isotopy of the plane).
 \end{theorem}
-\section{Z nagrania Kamili}
+
+\section{}
 \begin{example}
 \begin{align*}
-&F: \mathbb{C}^2 \rightarrow \mathbb{C}  \text{a polynomial} \\ 
+&F: \mathbb{C}^2 \rightarrow \mathbb{C}  \text{ a polynomial} \\ 
 &F(0) = 0
 \end{align*}
 Fact (Milnor Singular Points of Complex Hypersurfaces):
 \end{example}
-\section{} 25.03.19 
+\end{comment}
 
+An oriented knot is called negative amphichiral if the mirror image $m(K)$ if $K$ is equivalent the reverse knot of $K$. \\
+\begin{example}[Problem]
+Prove that if $K$ is negative amphichiral, then $K \# K$ in 
+$\mathbf{C}$
+\end{example}
+
+\section{}
+\begin{flushright}
+\DTMdate{2019-03-04}
+\end{flushright}
+\begin{proof}("joke")\\
+Let $K \in S^3$ be a knot and $N$ be its tubular neighbourhood. 
+\begin{align*}
+H^1(S^3 \setminus N ) \cong H^1(S^3 \setminus K)
+\end{align*}
+For a pair $(S^3, S^3 \setminus N)$ we have:
+\begin{align*}
+H^0(S^3)
+\end{align*}
+\end{proof}
+\section{}
+\begin{flushright}
+\DTMdate{2019-03-18}
+\end{flushright}
+\begin{definition}
+A knot $K$ is called (smoothly) slice if $K$ is smoothly concordant to an unknot. \\
+A knot $K$ is smoothly slice if and only if $K$ bounds a smoothly embedded disk in $B^4$.
+\end{definition}
+\begin{definition}
+Two knots $K$ and $K^{\prime}$ are called (smoothly) concordant if there exists an annulus $A$ that is smoothly embedded in $S^3 \times [0, 1]$ such that
+$\partial A = K^{\prime} \times \{1\} \; \sqcup \; K \times \{0\} $.
+\end{definition}
+Let $m(K)$ denote a mirror image of a knot $K$. 
+\begin{fact}
+For any $K$, $K \# m(K)$ is slice.
+\end{fact}
+\begin{fact}
+Concordance is an equivalence relation.
+\end{fact}
+\begin{fact}
+If $K_1 \sim {K_1}^{\prime}$ and $K_2 \sim {K_2}^{\prime}$, then
+$K_1 \# K_2 \sim {K_1}^{\prime} \# {K_2}^{\prime}$.
+\end{fact}
+\begin{fact}
+$K \# m(K) \sim $ the unknot.
+\end{fact}
+\noindent
+Let $\mathscr{C}$ denote all equivalent classes for knots. $\mathscr{C}$ is a group under taking connected sums, with neutral element (the class defined by) an unknot and inverse element (a class defined by) a mirror image.\\
+The figure eight knot is a torsion element in $\mathscr{C}$ ($2K \sim $ the unknot).\\
+\begin{example}[Problem]
+Are there in concordance group torsion elements that are not $2$ torsion elements? (open)
+\end{example}
+\noindent
+Remark: $K \sim K^{\prime} \Leftrightarrow K \# -K^{\prime}$ is slice.
+\section{}
+\begin{flushright}
+\DTMdate{2019-04-08}
+\end{flushright}
+$X$ is a closed orientable four-manifold. Assume $\pi_1(X) = 0$ (it is not needed to define the intersection form). In particular $H_1(X) = 0$. 
+$H_2$ is free (exercise). 
+\begin{align*}
+H_2(X, \mathbb{Z}) \xrightarrow{\text{Poincaré duality}} H^2(X, \mathbb{Z} ) \xrightarrow{\text{evaluation}}\Hom(H_2(X, \mathbb{Z}), \mathbb{Z})
+\end{align*}
+Intersection form: 
+$H_2(X, \mathbb{Z}) \times 
+H_2(X, \mathbb{Z}) \longrightarrow \mathbb{Z}$ - symmetric, non singular. 
+\\
+Let $A$ and $B$ be closed, oriented surfaces in $X$. 
+\section{} 
+\begin{flushright}
+\DTMdate{2019-05-20}
+\end{flushright}
+Let $K \subset S^3$  be a knot, \\
+$X = S^3 \setminus K$ - a knot complement,  \\
+$\widetilde{X} \xrightarrow{\enspace \rho \enspace} X$ - an infinite cyclic cover (universal abelian cover).
+\begin{align*}
+\pi_1(X) \longrightarrow \quot{\pi_1(X)}{[\pi_1(X), \pi_1(X)]} = H_1(X, \mathbb{Z} ) \cong \mathbb{Z}
+\end{align*}
+$C_{*}(\widetilde{X})$ has a structure of a $\mathbb{Z}[t, t^{-1}] \cong  \mathbb{Z}[\mathbb{Z}]$ module. \\
+$H_1(\widetilde{X}, \mathbb{Z}[t, t^{-1}])$ - Alexander module, \\
+\begin{align*}
+H_1(\widetilde{X}, \mathbb{Z}[t, t^{-1}]) \times
+H_1(\widetilde{X}, \mathbb{Z}[t, t^{-1}]) \longrightarrow \quot{\mathbb{Q}}{\mathbb{Z}[t, t^{-1}]}
+\end{align*}
+
+\begin{fact}
+\begin{align*}
+H_1(\widetilde{X}, \mathbb{Z}[t, t^{-1}])  \cong
+\quot{\mathbb{Z}{[t, t^{-1}]}^n}{(tV - V^T)\mathbb{Z}[t, t^{-1}]^n}
+\end{align*}
+where $V$ is a Seifert matrix.
+\end{fact}
+\begin{fact}
+\begin{align*}
+H_1(\widetilde{X}, \mathbb{Z}[t, t^{-1}]) \times
+H_1(\widetilde{X}, \mathbb{Z}[t, t^{-1}]) &\longrightarrow \quot{\mathbb{Q}}{\mathbb{Z}[t, t^{-1}]}\\
+(\alpha, \beta) &\mapsto \alpha^{-1}(t -1)(tV - V^T)^{-1}\beta
+\end{align*}
+\end{fact}
+\noindent
+Note that $\mathbb{Z}$ is not PID. Therefore we don't have primer decomposition of this moduli.  We can simplify this problem by replacing $\mathbb{Z}$ by $\mathbb{R}$. We lose some date by doing this transition. 
+\begin{align*}
+&\xi \in S^1 \setminus \{ \pm 1\} 
+\quad
+p_{\xi} = 
+(t - \xi)(1 - \xi^{-1}) t^{-1}\\
+&\xi \in \mathbb{R} \setminus \{ \pm 1\}
+\quad
+q_{\xi} = (t - \xi)(1 - \xi^{-1}) t^{-1}\\
+&\xi \notin \mathbb{R} \cup S^1 \quad
+q_{\xi} = (t - \xi)(t - \overbar{\xi})(1 - \xi^{-1})(1 - \overbar{\xi}^{-1}) t^{-2}\\
+&\Lambda = \mathbb{R}[t, t^{-1}]\\
+&\text{Then: } H_1(\widetilde{X}, \Lambda) \cong  \bigoplus_{\substack{\xi \in S^1 \setminus \{\pm 1 \}\\ k\geq 0}}
+( \quot{\Lambda}{p_{\xi}^k })^{n_k, \xi}
+\oplus
+\bigoplus_{\substack{\xi \notin S^1 \\ l\geq 0}}
+(\quot{\Lambda}{q_{\xi}^l})^{n_l, \xi}
+\end{align*}
+We can make this composition orthogonal with respect to the Blanchfield paring.
+\vspace{0.5cm}\\
+Historical remark:
+\begin{itemize}
+\item John Milnor, \textit{On isometries of inner product spaces}, 1969,
+\item Walter Neumann, \textit{Invariants of plane curve singularities} 
+%in: Knots, braids and singulari- ties (Plans-sur-Bex, 1982), 223–232, Monogr. Enseign. Math., 31, Enseignement Math., Geneva
+, 1983,
+\item András Némethi, \textit{The real Seifert form and the spectral pairs of isolated hypersurfaceenumerate singularities}, 1995,
+%Compositio Mathematica,  Volume 98 (1995) no. 1,  p. 23-41
+\item Maciej Borodzik, Stefan Friedl
+\textit{The unknotting number and classical invariants II}, 2014.
+\end{itemize}
+\vspace{0.5cm}
+Let $p = p_{\xi}$, $k\geq 0$.
+\begin{align*}
+\quot{\Lambda}{p^k \Lambda} \times
+\quot{\Lambda}{p^k \Lambda} &\longrightarrow \quot{\mathbb{Q}(t)}{\Lambda}\\
+(1, 1) &\mapsto \kappa\\
+\text{Now: } (p^k \cdot 1, 1) &\mapsto 0\\
+p^k \kappa = 0 &\in \quot{\mathbb{Q}(t)}{\Lambda}\\
+\text{therfore } p^k \kappa &\in \Lambda\\
+\text{we have } (1, 1) &\mapsto \frac{h}{p^k}\\
+\end{align*}
+$h$ is not uniquely defined: $h \rightarrow h + g p^k$ doesn't affect paring. \\
+Let $h = p^k \kappa$.
+\begin{example}
+\begin{align*}
+\phi_0 ((1, 1))=\frac{+1}{p}\\
+\phi_1 ((1, 1)) = \frac{-1}{p} 
+\end{align*}
+$\phi_0$ and $\phi_1$ are not isomorphic. 
+\end{example}
+\begin{proof}
+Let $\Phi: 
+\quot{\Lambda}{p^k \Lambda} \longrightarrow
+ \quot{\Lambda}{p^k \Lambda}$
+ be an isomorphism. \\
+ Let: $\Phi(1) = g \in \lambda$
+ \begin{align*}
+\quot{\Lambda}{p^k \Lambda} 
+\xrightarrow{\enspace \Phi \enspace}&
+ \quot{\Lambda}{p^k \Lambda}\\
+ \phi_0((1, 1)) = \frac{1}{p^k} \qquad&\qquad
+  \phi_1((g, g)) = \frac{1}{p^k} \quad \text{($\Phi$ is an isometry).}
+ \end{align*}
+ Suppose for the paring $\phi_1((g, g))=\frac{1}{p^k}$ we have $\phi_1((1, 1)) = \frac{-1}{p^k}$. Then:
+ \begin{align*}
+\frac{-g\overbar{g}}{p^k} = \frac{1}{p^k} &\in \quot{\mathbb{Q}(t)}{\Lambda}\\
+\frac{-g\overbar{g}}{p^k} - \frac{1}{p^k} &\in \Lambda \\
+-g\overbar{g} &\equiv 1\pmod{p} \text{ in } \Lambda\\
+-g\overbar{g} - 1 &= p^k \omega \text{ for some } \omega \in \Lambda\\
+\text{evalueting at $\xi$: }\\
+\overbrace{-g(\xi)g(\xi^{-1})}^{>0} - 1 = 0 \quad \contradiction
+\end{align*}
+\end{proof}
+????????????????????\\
+\begin{align*}
+g &= \sum{g_i t^i}\\
+\overbar{g} &= \sum{g_i t^{-i}}\\
+\overbar{g}(\xi) &= \sum g_i \xi^i \quad \xi \in S^1\\
+\overbar{g}(\xi) &=\overbar{g(\xi)}
+\end{align*}
+Suppose $g = (t - \xi)^{\alpha} g^{\prime}$. Then $(t - \xi)^{k - \alpha}$ goes to $0$ in $\quot{\Lambda}{p^k \Lambda}$.
+\begin{theorem}
+Every sesquilinear non-degenerate pairing
+\begin{align*}
+\quot{\Lambda}{p^k} \times \quot{\Lambda}{p}
+\longleftrightarrow \frac{h}{p^k}
+\end{align*}
+is isomorphic either to the pairing wit $h=1$ or to the paring with $h=-1$ depending on sign of $h(\xi)$ (which is a real number).
+\end{theorem}
+\begin{proof}
+There are two steps of the proof:
+\begin{enumerate}
+\item
+Reduce to the case when $h$ has a constant sign on $S^1$.
+\item
+Prove in the case, when $h$ has a constant sign on $S^1$.
+\end{enumerate}
+\begin{lemma}
+If $p$ is a symmetric polynomial such that$p(\eta)\geq 0$ for all $\eta \in S^1$, then $p$ can be written as a product $p = g \overbar{g}$ for some polynomial $g$. 
+\end{lemma}
+\begin{proof}[Sketch of proof]
+Induction over $\deg p$.\\
+Let $\zeta \notin S^1$ be a root of $p$, $p \in \mathbb{R}[t, t^{-1}]$. Assume $\zeta \notin \mathbb{R}$.  We know that
+\begin{align*}
+(t - \zeta) \mid p,\\
+(t - \overbar{\zeta}) \mid p,\\
+(t^{-1} - \zeta) \mid p,\\
+(t^{-1} - \overbar{\zeta}) \mid p,\\
+\end{align*}
+therefore:
+\begin{align*}
+p^{\prime} = \frac{p}{(t - \zeta)(t - \overbar{\zeta})(t^{-1} - \zeta)(t^{-1} - \overbar{\zeta})}\\
+p^{\prime} = g^{\prime}\overbar{g}\\
+\text{we set } g = g^{\prime}(t - \zeta)(t - \overbar{\zeta}\\
+p = g \overbar{g}
+\end{align*}
+Suppose $\zeta \in S^1$. Then $(t - \zeta)^2 \mid p$ (at least - otherwise it would change sign). 
+\begin{align*}
+p^{\prime} &= \frac{p}{(t - \zeta)^2(t^{-1} - \zeta)^2}\\
+g &= (t - \zeta)(t^{-1} - \zeta) g^{\prime} \quad \text{etc.}\\
+(1, 1) \mapsto \frac{h}{p^k} = \frac{g\overbar{g}h}{p^k}  \quad \text{ isometry whenever $g$ is coprime with $p$.}
+\end{align*}
+\end{proof}
+\begin{lemma}\label{L:coprime polynomials}
+Suppose $A$ and $B$ are two symmetric polynomials that are coprime and that $\forall z \in S^1$ either $A(z) > 0$ or $B(z) > 0$. Then there exist
+ symmetric polynomials $P$, $Q$ such that 
+ $P(z), Q(z) > 0$ for $z \in S^1$ and $PA + QB \equiv 1$.
+\end{lemma}
+\begin{proof}[Idea of proof]
+For any $z$ find an interval $(a_z, b_z)$ such that if $P(z) \in (a_z, b_z)$ and $P(z)A(z) + Q(z)B(z) = 1$, then $Q(z) > 0$, $x(z) = \frac{az + bz}{i}$ is a continues function on $S^1$ approximating $z$ by a polynomial .
+\\??????????????????????????\\
+\begin{align*}
+(1, 1) \mapsto \frac{h}{p^k} \mapsto \frac{g\overbar{g}h}{p^k}\\
+g\overbar{g} h + p^k\omega = 1
+\end{align*}
+Apply Lemma \ref{L:coprime polynomials} for $A=h$, $B=p^{2k}$. Then, if the assumptions are satisfied, 
+\begin{align*}
+Ph + Qp^{2k} = 1\\
+p>0 \Rightarrow p = g \overbar{g}\\
+p = (t - \xi)(t - \overbar{\xi})t^{-1}\\
+\text{so } p \geq 0 \text{ on } S^1\\
+p(t) = 0 \Leftrightarrow 
+t = \xi or t = \overbar{\xi}\\
+h(\xi) > 0\\
+h(\overbar{\xi})>0\\
+g\overbar{g}h + Qp^{2k} = 1\\
+g\overbar{g}h \equiv 1 \mod{p^{2k}}\\
+g\overbar{g} \equiv 1 \mod{p^k}
+\end{align*}
+???????????????????????????????\\
+If $p$ has no roots on $S^1$ then $B(z) > 0$ for all $z$, so the assumptions of Lemma \ref{L:coprime polynomials} are satisfied no matter what $A$ is. 
+\end{proof}
+?????????????????\\
+\begin{align*}
+(\quot{\Lambda}{p_{\xi}^k} \times
+\quot{\Lambda}{p_{\xi}^k}) &\longrightarrow
+\frac{\epsilon}{p_{\xi}^k}, \quad \xi \in S^1 \setminus\{\pm 1\}\\
+(\quot{\Lambda}{q_{\xi}^k} \times
+\quot{\Lambda}{q_{\xi}^k}) &\longrightarrow
+\frac{1}{q_{\xi}^k}, \quad \xi \notin S^1\\
+\end{align*}
+??????????????????? 1 ?? epsilon?\\
+\begin{theorem}(Matumoto, Conway-Borodzik-Politarczyk)
+Let $K$ be a knot, 
+\begin{align*}
+H_1(\widetilde{X}, \Lambda) \times
+H_1(\widetilde{X}, \Lambda) 
+= \bigoplus_{\substack{k, \xi, \epsilon\\ \xi in S^1}}
+(\quot{\Lambda}{p_{\xi}^k}, \epsilon)^{n_k, \xi, \epsilon} \oplus \bigoplus_{k, \eta}
+(\quot{\Lambda}{p_{\xi}^k})^{m_k}
+\end{align*}
+\begin{align*}
+\text{Let } \delta_{\sigma}(\xi) = \lim_{\varepsilon \rightarrow 0^{+}} 
+\sigma(e^{2\pi i \varepsilon} \xi)
+- \sigma(e^{-2\pi i \varepsilon} \xi),\\
+\text{then } 
+\sigma_j(\xi) = \sigma(\xi) - \frac{1}{2} \lim_{\varepsilon \rightarrow 0} 
+\sigma(e^{2\pi i \varepsilon}\xi)
++ \sigma(e^{-2 \pi i \varepsilon}\xi)
+\end{align*}
+The jump at $\xi$ is equal to 
+$2 \sum\limits_{k_i \text{ odd}} \epsilon_i$. The peak of the signature function is equal to $\sum\limits_{k_i \text{even}} \epsilon_i$.
+%$(\eta_{k, \xi_l^{+}} -\eta_{k, \xi_l^{-}}$
+\end{theorem}
+\end{proof}
+\section{}
+\begin{flushright}
+\DTMdate{2019-05-27}
+\end{flushright}
+....
+\begin{definition}
+A square hermitian matrix $A$ of size $n$.  
+\end{definition}
+
+field of fractions
+
+\section{}
+In other words:\\
+Choose a basis $(b_1, ..., b_i)$ \\
+???\\
+of $H_2(Y, \mathbb{Z}$, then $A = (b_i, b_y)$ \\??\\ is a matrix of intersection form: 
+\begin{align*}
+\quot{\mathbb{Z}^n}{A\mathbb{Z}^n} \cong H_1(Y, \mathbb{Z}).
+\end{align*}
+In particular $\mid \det A\mid = \# H_1(Y, \mathbb{Z}$.\\
+That means - what is happening on boundary is a measure of degeneracy.  
+\\
+\vspace{1cm}
+\begin{align*}
+H_1(Y, \mathbb{Z}) \times
+H_1(Y, \mathbb{Z}) \longrightarrow \quot{\mathbb{Q}}{\mathbb{Z}} \text{ - a linking form}
+\end{align*}
 \end{document}
\ No newline at end of file