Re: 计算鸡在 [ ALGTOP-L] International Workshop on Algebraic Topology, Jun e 6-9, 2018

"1337777.OOO" <[email protected]> Thu, 10 May 2018 19:37:12 +0800
Newsgroups gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.algtop,gmane.culture.sf.literature,gmane.science.mathematics.categories
Message-ID <CANqbe0WW0qW9byvnkaNoV3KFRD21eXE63fzfohGaO8RzTRULcA@mail.gmail.com>
UHJvcGgNCg0KaHR0cHM6Ly9naXRlZS5jb20vT09PMTMzNzc3Ny9jYXJ0aWVyL2Jsb2IvbWFzdGVy
L2NhcnRpZXJTb2x1dGlvbjYudg0KaHR0cHM6Ly9naXRlZS5jb20vT09PMTMzNzc3Ny9jYXJ0aWVy
L2Jsb2IvbWFzdGVyL2NhcnRpZXJTb2x1dGlvbjYudi5wZGYNCg0Kc29sdmVzIGhhbGYgb2Ygc29t
ZSBxdWVzdGlvbiBvZiBDYXJ0aWVyIHdoaWNoIGlzIGhvdyB0byBwcm9ncmFtDQpncmFtbWF0aWNh
bCBwb2x5bW9ycGggbm9uLWNvbnRleHR1YWwgKCAiMS13ZWlnaHRlZCIgKSAyLWZvbGQgKA0KIjIt
aGlnaGVyIiApIHBhaXJpbmctcHJvamVjdGlvbnMgKCAicHJvZHVjdCIgKSAuLi4gKCB0aGlzDQpt
dWx0aS1mb2xkaW5nIGlzIHRoZSBmb3VuZGF0aW9uIG9mIGhvbW90b3B5ICJhbGdlYnJhaWMNCnRv
cG9sb2d5Ii8iZmlicmUgZnVuY3RvciIgKQ0KDQpTSE9SVCA6Og0KDQogIFRoZSBlbmRzIGlzIHRv
IGRvIHBvbHltb3JwaCBtYXRoZW1hdGljcyB3aGljaCBpcyAyLWZvbGRlZC9lbnJpY2hlZA0KcmVm
IHNvbWUgaW5kZXhlciB3aGljaCBpcyBtYWRlIG9mIGFsbCB0aGUgZ3JhcGhzIGFzIGluZGV4ZXMg
YW5kIGFsbA0KdGhlIGdyYXBoLW1vcnBoaXNtcyBhcyBhcnJvd3MgLiBTdWNoIGluZGV4ZXIgYWRt
aXRzIHRoZQ0KZ2VuZXJhdGluZy12aWV3cyAoICJnZW5lcmF0b3JzIiApIHN1YmluZGV4ZXIgKCA0
LjUuMTcuaCApIG1hZGUgb2YgOg0KdGhlIHNpbmdsZXRvbi1vYmplY3QgezB9IGdyYXBoICggZm9y
IMKrIG1vcnBoaXNtcyDCuyAsIHBvc3NpYmx5DQppbnRlcmRlcGVuZGVudCB3aXRoIMKrIHRyYW5z
Zm9ybWF0aW9ucyBvZiBtb3JwaGlzbXMgwrsgdmlhDQpub24tZ3JhbW1hdGljYWwgIllvbmVkYSIg
Li4uICkgLCBhbmQgdGhlDQpzaW5nbGV0b24tbW9ycGhpc20tYmV0d2Vlbi10d28tZGlzdGluY3Qt
b2JqZWN0cyB7MCB+PiAxfSBncmFwaCAoIGZvciDCqw0KdHJhbnNmb3JtYXRpb25zIG9mIG1vcnBo
aXNtcyDCuyAsIGZvciDCqyBsZWZ0LXdoaXNrIMK7IGNvbXBvc2l0aW9uICwgZm9yDQrCqyByaWdo
dC13aGlzayDCuyBjb21wb3NpdGlvbiAsIGZvciDCqyBpbm5lciDCuyBjb21wb3NpdGlvbiBhbG9u
ZyBzb21lDQp0aWdodC9zdHJpY3Qgb3IgbGF4IMKrIGN1dC1hZGhlcmVuY2UgwrsgKSAsIGFuZCB0
aGUgdHdvDQpzdHJ1Y3R1cmFsLWRpdmlkaW5nICggImJvdW5kYXJ5IiApIHswfSB8LSB7MCB+PiAx
fSBncmFwaC1tb3JwaGltcyAoDQpmb3IgwqsgZG9tYWluLWNvZG9tYWluLW1vcnBoaXNtcy1vZi1l
YWNoLXRyYW5zZm9ybWF0aW9uIMK7IHR5cGUtaW5kZXhlcw0KKSAsIGFuZCB0aGUgc3RydWN0dXJh
bC1tdWx0aXBseWluZyAoICJkZWdlbmVyYWN5IiApIHswIH4+IDF9IHwtIHswfQ0KZ3JhcGgtbW9y
cGhpc20gKCBmb3IgwqsgdW5pdC10cmFuc2Zvcm1hdGlvbi1vbi1lYWNoLW1vcnBoaXNtIMK7DQp0
eXBlLWNvbnN0cnVjdG9yICkgLg0KDQogIFRoZSAyLWNvbnZlcnNpb24tZm9yLXRyYW5zZm9ybWF0
aW9ucyByZWxhdGlvbiBzaGFsbCBjb252ZXJ0IGFjcm9zcw0KdHdvIHRyYW5zZm9ybWF0aW9ucyB3
aG9zZSBkb21haW4tY29kb21haW4tbW9ycGhpc21zLWNvbXB1dGF0aW9uDQphcmd1bWVudHMgYXJl
IG5vdCBzeW50YWN0aWNhbGx5L2dyYW1tYXRpY2FsbHktdGhlLXNhbWUgLiBCdXQgb25lc2VsZg0K
ZG9lcyBzaG93IHRoYXQgLCBieSBsb2dpY2FsLWRlZHVjdGlvbg0KW2NvbnZUcmFuc2ZDb01vZF9j
b252TW9yQ29Nb2RfZG9tXSBbY29udlRyYW5zZkNvTW9kX2NvbnZNb3JDb01vZF9jb2RdDQosIHRo
ZXNlIHR3byBkb21haW4tY29kb21haW4tbW9ycGhpc21zIGFyZSBpbmRlZWQgMS1jb252ZXJ0aWJs
ZSAoDQoic291bmRuZXNzIGxlbW1hIiApIC4NCg0KICBGaW5hbGx5LCBzb21lIGxpbmVhciB0b3Rh
bC9hc3ltcHRvdGljIGdyYWRlIGlzIGRlZmluZWQgb24gdGhlDQptb3JwaGlzbXMvdHJhbnNmb3Jt
YXRpb25zIGFuZCB0aGUgdGFjdGljcy1hdXRvbWF0ZWQgZGVncmFkYXRpb24gbGVtbWENCnNob3dz
IHRoYXQgZWFjaCBvZiB0aGUgY29udmVyc2lvbiBpbmRlZWQgZGVncmFkZXMgdGhlIHJlZGV4DQpt
b3JwaGlzbS90cmFuc2Zvcm1hdGlvbiAuDQoNCiAgRm9yIGluc3RhbnQgZmlyc3QgaW1wcmVzc2lv
biAsIHRoZQ0KMi1jb252ZXJzaW9uLXJlbGF0aW9uLWZvci10cmFuc2Zvcm1hdGlvbnMgY29uc3Ry
dWN0b3Igd2hpY2ggc2F5cyB0aGF0DQp0aGUgZmlyc3QgcHJvamVjdGlvbiBtb3JwaGlzbS90cmFu
c2Zvcm1hdGlvbiBpcyBuYXR1cmFsL3BvbHlhcnJvd2luZyAoDQpjb21tdXRhdGl2aXR5IGFsb25n
IHRoZXNlIHN0cnVjdHVyZS1hcnJvdy1hY3Rpb25zIDogdGhlDQpzdHJ1Y3R1cmFsLW11bHRpcGx5
aW5nLWFycm93ICggImRlZ2VuZXJhY3kiICkgYWN0aW9uIHdoaWNoIGlzIHRoZQ0KdW5pdC10cmFu
c2Zvcm1hdGlvbi1vbi1lYWNoLW1vcnBoaXNtIFsgJ1VuaXRUcmFuc2ZDb01vZCBdDQp0eXBlLWNv
bnN0cnVjdG9yICwgYW5kIHRoZSB0d28gc3RydWN0dXJhbC1kaXZpZGluZy1hcnJvdyAoICJib3Vu
ZGFyeSINCikgYWN0aW9ucyB3aGljaCBhcmUgdGhlDQpkb21haW4tY29kb21haW4tbW9ycGhpc21z
LW9mLWVhY2gtdHJhbnNmb3JtYXRpb24gWyAndHJhbnNmQ29Nb2QgXQ0KdHlwZS1pbmRleGVzICkg
LCBpcyB3cml0dGVuIGFzIDoNCg0KIytCRUdJTl9FWEFNUExFDQp8IFByb2plY3QxX1VuaXRUcmFu
c2ZDb01vZCA6DQogICAgZm9yYWxsIChGMSBGMiBaMSA6IG9iQ29Nb2QpICh6MSA6ICdtb3JDb01v
ZCgwIEYxIH4+IFoxICkwKSwNCiAgICAgICggfl8xIEAgRjIgX28+Q29Nb2ReICggQCdVbml0VHJh
bnNmQ29Nb2QgejEgOiAndHJhbnNmQ29Nb2QoMCB6MSB+PiB6MSApMCApDQogICAgICAgIDogJ3Ry
YW5zZkNvTW9kKDAgfl8xIEAgRjIgbz5Db01vZCB6MSB+Pg0KICAgICAgICAgICAgICAgICggfl8x
IEAgRjIgbz5Db01vZCB6MSA6ICdtb3JDb01vZCgwIFBhaXIgRjEgRjIgfj4gWjEgKTAgKSApMCAp
DQogICAgICAgIDx+fjIgKCBAJ1VuaXRUcmFuc2ZDb01vZCAoIH5fMSBAIEYyIG8+Q29Nb2QgejEg
KSApDQojK0VORF9FWEFNUExFDQoNCktFWVdPUkRTIDo6IDEzMzc3NzcuT09PIDsgQ09RIDsgY3V0
LWVsaW1pbmF0aW9uIDsgMi1mb2xkIGZ1bmN0b3JzIDsNCm5vbi1jb250ZXh0dWFsIDItZm9sZCBw
YWlyaW5nLXByb2plY3Rpb25zIDsgcG9seW1vcnBoDQptZXRhZnVuY3RvcnMtZ3JhbW1hciA7IG1v
ZG9zDQoNCk9VVExJTkUgOjoNCg0KICAqIEluZGV4ZXIgbWV0YWxvZ2ljIGZvciAyLWZvbGQtZW5y
aWNobWVudA0KICAgICsgR2VuZXJhdGluZyBkYXRhIDItZm9sZGVkLWVucmljaGVkIHJlZiB0aGUg
Z2VuZXJhdGluZy12aWV3cyBzdWJpbmRleGVyDQoNCiAgKiBHcmFtbWF0aWNhbCBwcmVzZW50YXRp
b24gb2Ygb2JqZWN0cyBhbmQgdG91Y2hlZC1tb3JwaGlzbXMNCjItZm9sZGVkL2VucmljaGVkIHJl
ZiB0aGUgZ2VuZXJhdGluZy12aWV3cyBzdWJpbmRleGVyDQoNCiAgKiBTb2x1dGlvbiBtb3JwaGlz
bXMNCiAgICArIFNvbHV0aW9uIG1vcnBoaXNtcyB3aXRob3V0IHBvbHltb3JwaGlzbQ0KICAgICsg
SW52ZXJzaW9uIG9mIG1vcnBoaXNtcyB3aXRoIHNhbWUgZG9tYWluLWNvZG9tYWluIG9iamVjdHMN
CiAgICArIERlc3RydWN0aW9uIG9mIG1vcnBoaXNtcyB3aXRoIGlubmVyLWluc3RhbnRpYXRpb24g
b2Ygb2JqZWN0LWluZGV4ZXMNCg0KICAqIEdyYW1tYXRpY2FsIDItY29udmVyc2lvbiBvZiB0cmFu
c2Zvcm1hdGlvbnMgLCB3aGljaCBpbmZlciB0aGUNCjEtY29udmVyc2lvbnMgb2YgdGhlaXIgZG9t
YWluLWNvZG9tYWluIG1vcnBoaXNtcw0KICAgICsgR3JhbW1hdGljYWwgMS1jb252ZXJzaW9ucyBv
ZiBtb3JwaGlzbXMNCiAgICArIExpbmVhciB0b3RhbC9hc3ltcHRvdGljIG1vcnBoaXNtLWdyYWRl
IGFuZCB0aGUgZGVncmFkYXRpb24gbGVtbWENCg0KICAqIFBvbHltb3JwaGlzbS9jdXQtZWxpbWlu
YXRpb24gYnkNCmNvbXB1dGF0aW9uYWwvdG90YWwvYXN5bXB0b3RpYy9yZWR1Y3Rpb24vKG11bHRp
LXN0ZXApIHJlc29sdXRpb24NCg0KICAqIEdyYW1tYXRpY2FsIHByZXNlbnRhdGlvbiBvZiB0cmFu
c2Zvcm1hdGlvbnMNCiAgICArIEludmVyc2lvbiBvZiB0aGUgY3V0LWFkaGVyZW5jZSAoIGhlcmUg
cHJvcG9zaXRpb25hbC1lcXVhbGl0eSApDQogICAgKyBPdXRlciAoICJob3Jpem9udGFsIiApIGxl
ZnQtd2hpc2sgY3V0ICwgb3V0ZXIgKCAiaG9yaXpvbnRhbCIgKQ0KcmlnaHQtd2hpc2sgY3V0ICwg
YW5kIGlubmVyICggInZlcnRpY2FsIiApIGNvbXBvc2l0aW9uIGN1dCB3aXRoDQpjdXQtYWRoZXNp
dmUNCg0KICAqIFNvbHV0aW9uIHRyYW5zZm9ybWF0aW9ucw0KICAgICsgU29sdXRpb24gdHJhbnNm
b3JtYXRpb25zIHdpdGhvdXQgcG9seW1vcnBoaXNtDQogICAgKyBEZXN0cnVjdGlvbiBvZiB0cmFu
c2Zvcm1hdGlvbnMgd2l0aCBpbm5lci1pbnN0YW50aWF0aW9uIG9mDQptb3JwaGlzbS1pbmRleGVz
IG9yIG9iamVjdC1pbmRleGVzDQoNCiAgKiBHcmFtbWF0aWNhbCAyLWNvbnZlcnNpb24gb2YgdHJh
bnNmb3JtYXRpb25zICwgd2hpY2ggaW5mZXIgdGhlDQoxLWNvbnZlcnNpb25zIG9mIHRoZWlyIGRv
bWFpbi1jb2RvbWFpbiBtb3JwaGlzbXMNCiAgICArIEdyYW1tYXRpY2FsIDItY29udmVyc2lvbnMg
b2YgdHJhbnNmb3JtYXRpb25zDQogICAgKyAxLWNvbnZlcnRpYmlsaXR5IG9mIHRoZSBkb21haW4v
Y29kb21haW4gbW9ycGhpc21zIGZvcg0KMi1jb252ZXJ0aWJsZSB0cmFuc2Zvcm1hdGlvbnMNCiAg
ICArIExpbmVhciB0b3RhbC9hc3ltcHRvdGljIHRyYW5zZm9ybWF0aW9uLWdyYWRlIGFuZCB0aGUg
ZGVncmFkYXRpb24gbGVtbWENCg0KICAqIFBvbHltb3JwaGlzbS9jdXQtZWxpbWluYXRpb24gYnkN
CmNvbXB1dGF0aW9uYWwvdG90YWwvYXN5bXB0b3RpYy9yZWR1Y3Rpb24vKG11bHRpLXN0ZXApIHJl
c29sdXRpb24NCg0KLS0tLS0NCg0KSElOVCA6OiBmcmVlIG1hc3Rlci1lbmdpbmVlcmluZy10aGVz
aXMgOyBwcm9ncmFtIHRoaXMgZ3JhbW1hdGljYWwNCnBvbHltb3JwaCBnZW5lcmF0ZWQtZnVuY3Rv
ci1hbG9uZy1yZWluZGV4aW5nICggIkthbiBleHRlbnNpb24iICkgOg0KDQpnZW5lcmF0ZWRGdW5j
ICggSSA6IEluZGV4ZXJDYXQgKSAoIEcgOiBHZW5lcmF0b3JzQ2F0ICkgOj0NCiB7IFIgOiBSZUlu
ZGV4ZXJDYXQgJiB7IGYgOiBHIH4+IGdlbmVyYXRpbmdGdW5jIFIgfCBwIDogcmVJbmRleGluZ0Z1
bmMNClIgfC0gSSB9IH0NCg0KLS0tLS0NCg0K6ICB5a2QDQoNCmh0dHBzOi8vZ2l0aHViLmNvbS8x
MzM3Nzc3L2Rvc2VuL2Jsb2IvbWFzdGVyLzEzMzc3Nzdzb2x1dGlvbi50eHQNCg0KMeOAgiBb5Yqb
5LqGLeeWry3kuI4tW+WBt+eqgy/osI7oqIAv5Lyq6YCgXV3vvIgg4oCc57y65LmPW+ecn+ebuC/n
jrDlrp4v546w5a6eL+aYr13igJ0g77yMIOKAnOWQteaBtuKAnSDvvIwg4oCcbm9pc2Vh4oCdIO+8
jCDigJxmLWYtYS104oCdIO+8ieaYrw0KMuOAgiBbDQoyLjHjgIIg5YGaDQoyLjLjgIIg5bCd6K+V
L1vnvJbpgKBb5Y+v6IO95oCnL+aXtuacui/mnLrkvJpdXeWBmiBdDQoz44CCIOi9rOaNoiDmiJYg
6YeH5Y+WDQo044CCIOiHquW3seeahOiHquaIke+8iCDnlLHovaznp7sg77yMIOaIliDnlLHmr5Tk
vos95omT5Y2w6Ieq5bex55qE6ZKxPeeHg+eDp+WFtuS7lueahOmSsSDvvIlb6I635b6XL+i1oi/p
nZ7mjZ/lpLFdDQo0LjHjgIIg77yIIOWmglvlkIzmraUv5Yu+57uTL+e6teWuuV0gLw0KNC4y44CC
IFsg5L2c5Li6W+ebuOS6kuS+neWtmOeahC/pnZ7oh6rkuLvnmoRd77yIIOKAnOmDqOiQveS4u+S5
ieKAnSDvvIwg4oCcdHJpYmFsaXN0aWPigJ0g77yJ77yM5b2T5pe255uX55So5YWs5YWx6LWE6YeR
55Sx55u45LqS5L6d6LWW55qE57uV6YGTIO+8iA0K4oCcZGV0b3VybmVtZW50LWludGVyZGVwZW5k
YW50IGRlIGZvbmRzIHB1YmxpY3PigJ0g77yJIF0gLw0KNC4z44CCIFsg5L2c5Li66LSn5biB5Li7
5LmJ6ICF77yIIOKAnOeOsOmHkS3otKfluIEt5Y+q4oCd5L2c5Li6W+mZhOWKoOS7t+WAvC/kuqfl
k4Ev5pys5pyrXSDvvIkgXSAvDQo0LjTjgIIgWyDkvZzkuLpb5pS25qy+5Lq6L+acqOWBti/ku6Pn
kIbkurpd77yIIOKAnOWuoOeJqeKAnSDvvIkgXSAvDQo0LjXjgIIgWyDkvZzkuLpb5LuY5qy+5Lq6
L+acqOWBtuWMoC/mjIfmjKXlrphd77yIIOeUseS7mOasviDvvIwg55Sx5bu66K6uIO+8jOeUsVvp
ooTmtYvmjZ/lpLHlpoLmnpzliKtdIO+8iSBdIC8NCjQuNuOAgiBbIOS9nOS4ulvms5Xlrpgv6KOB
5Yik5ZGYL+S7suijgeS6ul3vvIgg4oCc5ber5biI4oCdIO+8ieiwgVvmkrDlhpkv57yW6L6RL+e8
lumAoC/njJzmtYtd6L+H5YiG5Zyw5Lul5aSW5YW2566h6L6W5p2DPeadg+mZkD1b5Liq5Lq655+l
6K+G6K+B6K+N5Zyo5Y+q5LmL6KeB6K+B5Lq6XSBdDQo0LjfjgIIg5ZyoW+i/vea6ry3ml7bpl7Rd
77yIIOKAnHJldHJvY29tbWlzc2lvbuKAnSDvvInmiJblnKhb546w5ZyoLeaXtumXtF3miJblnKhb
5pyq5p2lLeaXtumXtF3vvIgg4oCc6LS35qy+4oCdIO+8jCDigJzkv6HnlKjljaHigJ0g77yMDQri
gJxhLWNyZWRpdOKAnSDvvIkNCjQuOOOAguWcqOS4gOS6m+i0p+W4geS4u+S5ieeahOaIllvnm7jk
upLkvp3lrZjnmoQv6YOo6JC95Li75LmJ55qEXeWSjFvmnInmlYjlnLAt5Yy/5ZCN55qEXVvkurrn
vqQv5pq05rCRL+W4rua0vi/npL7lm6LkuLvkuYldIO+8jA0KNC4544CCIOi/meagt+S4uumYsuat
olvntK/np6/lkoznu6fmib9d5LqOW+WKm+S6hi3nlq8t5LiOLVvlgbfnqoMv6LCO6KiAL+S8qumA
oF1dIO+8iQ0KNeOAgiDlr7nkuo7lhbbku5Zb5p+Q5Lqb5Lq65oiW5YWs5LyXXeeahOaNn+WksSDv
vIgg4oCcZGV0b3VybmVtZW50LWludGVyZGVwZW5kYW50IGRlIGZvbmRzIHB1YmxpY3PigJ0g77yJ
IO+8iA0KNS4x44CCIOaNn+WkseS6ju+8mlvlj6/pooTmtYst5pe26Ze0XVvorqHnrpflnLAt6YC7
6L6R55qEXeW3peeoiyDvvIwg5oiWDQo1LjLjgIIg5o2f5aSx5LqO77yaW+maj+acui3ml7bliLtd
W+aoqi3lh4Yt6K6h566XLemAu+i+keeahF3lj5HnjrDvvIgg4oCcZGlhLXBhcmEtY29tcHV0YWxv
Z2ljYWzigJ0NCu+8ie+8jOWMheaLrOi/h+S5i+aNn+WkseS6jlvor4Torrov6L6T5YWlL+WPjemm
iF3ku47lhazkvJfmiJblhazlhbHlrabnlJ8g77yMIOaIlg0KNS4z44CCIOaNn+WkseS6ju+8mlvm
l7bmnLov5Yqo6YePL+KAnGthaXJvc+KAnS/mnLrkvJov5Y+v6IO95oCn5LusXSDvvIwg5oiWDQo1
LjTjgIIg5o2f5aSx5LqO77ya5Y+v5Lqk5piT5oCn77yMIOWMheaLrOi/h+i/meaNn+WkseS6jlvl
hazkvJfmiJblhazlhbHlrabnlJ/ku6xdW+S7mOasvuS6uuS7rC/otK3kubDku6wv5a6i5oi35Lus
XSDvvIwg5oiWDQo1LjXjgILmjZ/lpLHkuo7vvJrlgaXlurcg77yMIOaIlg0KNS4244CC57qv5bGe
IOaBtuaEj++8iCDigJzlq4nlppLigJ0g77yJ77yJDQo244CC55Sx5aqS5LuL6L+Z5LmI5aaCDQo3
44CC6LCO6KiAIO+8jA0KNy4x44CC6LCO6KiA6ZqQ6JeP5LqG5Zug5Li66Ieq5bex55qE55avIO+8
jA0KNy4y44CC6LCO6KiA57uP55Sx77ya6ZqQ6JeP55qE6LCO6KiA77yM5Lul5L6/W+mYsuatoi/m
jKvotKVd5YWs5LyX55qE6Ieq5bex5a6h5p+lIO+8jA0KNy4z44CC6LCO6KiA57uP55Sx77ya5Lyq
6YCgIO+8jA0KNy4044CC77yIIOKAnG1pc3BlbGzigJ0g77yJ44CCIOiwjuiogOe7j+eUse+8mlvm
qKHmi58v5qih5Lu/L+eOqV1b5re35LmxL+maj+acui/pnZ7mhI/lm74v6Z2e5Yqo5py6L+mdnuef
peivhl0g77yMDQo3LjXjgIIg6LCO6KiA57uP55Sx77ya57y65bit5aaC5ZCM5ZCm5a6a77yIIOeV
peWOu++8jOaKueWOu++8jOS4jeimgVvnoa7lrprljJYv5Yaz5a6aXSDvvIkg77yMDQo3LjbjgILv
vIgg4oCcW+WiqOawtC3lkowt57q4XeKAnSDvvInjgIIg6LCO6KiA57uP55Sx77ya5rKh6LS555So
5Zyw6LCO6KiAIO+8jA0KNy4344CCIOiwjuiogOe7j+eUse+8mltb5qih5Lu/6ICFL+WGkuWQjemh
tuabv+iAhS/nr6HkvY3ogIVdLeWPm+W+kl0g77yMDQo3LjjjgILvvIgg4oCcW+mmlumDveeahC3l
j4zph40t6LCO6KiA5LusXeKAnSDvvInjgIINCuiwjuiogOe7j+eUse+8muWBmuWkmuS4gOS4quea
hOaWsOeahFvlipvkuoYt55avLeS4ji1b5YG356qDL+iwjuiogC/kvKrpgKBdXe+8jOS7peS+v+ma
kOiXj+S4gOS6m+aXqeacn+eahFvlipvkuoYt55avLeS4ji1b5YG356qDL+iwjuiogC/kvKrpgKBd
Xe+8jOaIluS7peS+v+S6jlvmhJrlvIQv6K+v5a+8XeS4gOS6m+KAnFvlhazlubMt5ZKMLeW5s+ih
oeeahF3igJ1b5rOV5a6YL+ijgeWIpC/ku7Loo4HlkZhd55u05Yiw5a6D6K6p5Ye6W+WPjOmHjS3o
sI7oqIDku6xd55qE5LiA5Y2KDQrvvIwNCjjjgIIg5ZKM5ZCM5pe2DQo544CCIOeWryDvvIwNCjku
MeOAgiDnlq/pmpDol4/kuoblm6DkuLroh6rlt7HnmoTosI7oqIAg77yMDQo5LjLjgIIg55av57uP
55Sx77ya6ZqQ6JeP55qE55av77yM5Lul5L6/W+mYsuatoi/mjKvotKVd5LmL5YWs5LyX55qE6Ieq
5bex5a6h5p+lIO+8jA0KOS4z44CC55av57uP55Sx77ya5ZC15oG255qE5oiW5ZC155qEIO+8jA0K
OS4044CC77yIIOKAnOi/m+WHuuKAnSDvvIwg4oCcZmxpcC1mbG9w4oCdIO+8ieOAgiDnlq/nu4/n
lLHvvJrmt7fkubHmiJbnlLHnn5vnm77kuo7oh6rmiJHvvIwg5oiW55Sx6L+b5Ye64oCc5Y+v6IO9
5oCn4oCd77yIIOKAnOmFjOaDheKAnSDvvIwg4oCc6aOO6Zmp4oCdDQrvvInlr7nnnYDigJxb5oqE
5oiRXS3liIbnuqfigJ3vvIgg4oCc566A5Y6G4oCdIO+8jCDigJzlrqLop4LigJ0g77yMIFvlroPm
i5Lnu53mmK/lnKjmlZnlrabkuIvkuLvop4JdIO+8iSDvvIwNCjkuNeOAgueWr+e7j+eUse+8muWI
huW/g++8jA0KOS4244CC55av57uP55Sx77ya6bKB6I6955qE6LeR5q2l77yI5LiN55+l6YGT5ZCO
5p6c77yJ77yMDQo5LjfjgILvvIjigJxteXRob21hbmXigJ3vvInjgIIg55av57uP55Sx77ya5LiN
5a6M5pW055qE5bm06KGoIO+8jA0KOS4444CC77yI4oCc5ZGc5ZGc4oCd77yJ44CCIOeWr+e7j+eU
se+8mlvkuI3miJDmr5Tkvosv6L+H5bqm55qEXeavlOi+g+WcqFvmjZ/lrrMv5o2f5aSxXSDvvIwN
CjkuOeOAgu+8iOKAnOeOqeKAnSDvvIwg4oCcW+WAkuijheeahC3mjIfmjqdd4oCd77yJ44CCIOeW
r+e7j+eUse+8mlvmqKHmi58v5qih5Lu/L+eOqV1b5o2f5a6zL+aNn+WksS/lj5flrrPogIVd5b2T
6Ieq5oiR5piv5LmL5Y6f5Zug5oiW5Y+X55uK5Lq6IO+8jA0KOS4xMOOAgu+8iCDigJzlrqDniank
u7vliqHigJ0g77yJ44CCIOeWr+e7j+eUse+8mlvmqKHku78vW+WGkuWQjemhtuabv10vW+evoeS9
jV1dLVvog4zlj5sv5Lqk5piTXeWFtuS7luS6uueahOWunumZheeahFvmjZ/lrrMv5o2f5aSxXQ0K
77yM5b2T6Ieq5oiR5piv5LmL5Y6f5Zug5oiW5Y+X55uK5Lq677yM5oiWIOW9k+iHquaIkeaYr+KA
nFvkuYvmlYjmnpzmmK/kuIDmoLfnmoRdLVvkuYvmhJ/mmK/mm7TlnY/nmoRd4oCd77yIIOKAnOS4
jeaYr+WFqOS9huaYr+avj+KAnSDvvIwg4oCcW+a2iOmYsuiAhS3nurXngavogIVd4oCdIO+8ieav
lOS5i+WOn+WboA0K77yMDQo5LjEx44CC77yIIOKAnOS9oOaHgueahOKAnSDvvInjgIIg55av57uP
55Sx77ya6L2s56e76Ieq5bex55qEW+WCu+eTnC/nsr7npZ7nl4Uv5bm75oOzL1vnpZ7nu4/ov5Dl
iqhdXeWIsOWPpuS4gOS4quS6uui6qyDvvIwNCjkuMTLjgILvvIgg4oCc546w54q24oCdIO+8jCDi
gJznibnmnYPigJ0g77yJ44CCIOeWr+e7j+eUse+8mui9rOaNouW4uOingeeahOmHjeWkjeeahFvl
ipvkuoYt55avLeS4ji1b5YG356qDL+iwjuiogC/kvKrpgKBdXeiHs+ecn+ebuO+8jOaIlg0K55Sx
6L2s5o2i4oCcW+S4jeWcqFvpgK7mjZUv5o2V6I63L+aKk+S9j11d4oCd6Iez55yf55u4IO+8jA0K
OS4xM+OAgiDvvIgg4oCd5Y2V5LiA6ICFLeexu+KAnCDvvInjgIIg55av57uP55Sx77yaW+e8lumA
oC/kvKrpgKBd5LiA5LqbW+azleW+iy/op4TliJkv5YiG57qnL+exu13vvIzlk6rmiJblroPnmoTo
oaXpm4bljIXlkKvlj6rmn5Dkuptb5pyJ5pWI5ZywLeWNleS4gF3nm67moIfkuKrkurog77yMDQrk
u6Xkvr8g5pyA5aSn5YyW6L+Z5Liq5Lq65oiW55u45bqU5Zyw6Zi756KN6L+Z5Liq5Lq6IO+8jCDm
iJYg5b2TIOWPquKAnOi6q+S7veS7rOeahOS6pOWPieWPo+KAneaYr+acieaViOeahOWSjOi/meag
t+aYr+abtOWdj+eahCDvvIwNCjkuMTTjgILvvIgg4oCc55avLeWehOaWreKAnSDvvInjgIIg55av
57uP55Sx77ya5Zyo5pSv5oyB55av5LuO6Ieq5oiR77yM5Y20IFvpnIDmsYLph48v6KaBXeeQhueU
seS7juWPpuS4gOS4quS6uiDvvIwNCjkuMTXjgILvvIgg4oCc5pyA5aSn5YyWLeWehOaWreKAnSDv
vInjgIIg55av57uP55Sx77yaW+WPquWNleWQkS3mnIDlpKfljJZd77yIIOKAnOaUr+aMgeKAne+8
jOKAnOm8k+WKseKAnSDvvIzigJzmi6XmiqTigJ3vvIzigJzpop3lpJYt56iL5bqP4oCdDQrvvInv
vIzlvZPml7Zb4oCc6Ieq5aSn55qE4oCdLeaEn13kuo7kuYtb5Y+m5LiA5pa55ZCRLeWbtOe7lV0g
77yMDQo5LjE244CC77yIIOKAnOaMh+aOpy3lnoTmlq3igJ0g77yJ44CCIOeWr+e7j+eUse+8mlvl
j6rljZXlkJEtW+aNn+Wusy/lj5flrrPogIVdXe+8iCDigJzmgZDlkJPigJ3vvIzigJzpqprmibDi
gJ0g77yM4oCc5aiB6IOB55qE4oCd77yM4oCc6Zi756KN4oCdDQrvvInvvIzlvZPml7blj6rmib/o
rqRb55u05o6lLeeJqeeQhueahC1b5aSW5LykL+S8pOWPo11d5Li65LmLW+WPpuS4gOaWueWQkS3l
m7Tnu5VdIO+8jA0KOS4xN+OAgu+8iCDigJznjqkt5Z6E5pat4oCdIO+8ieOAgiDnlq/nu4/nlLHv
vJrlj6/og73mgKfkuo5bW+aooeaLny/mqKHku78v546pL+eOqeeskV0t5YCf5Y+jXeS7juiHquaI
ke+8jOW9k+aXtui/meS5iOaAu+aYr1vnjrDlrp4v5Lil6IKDXeS7juWPpuS4gOS4quS6uiDvvIwN
CuaIlue7j+eUsVvor73osKQv5oyH5o6nXe+8iCDmsqHmnInoh6rmiJFb5Liq5Lq6Leefpeivhl0g
77yJ5LulW+mXrumXrumimC3lgJ/lj6Nd55qE5b2i5byPICgg4oCcIC4uLiA/IOKAnSApIO+8jA0K
OS4xOOOAgu+8iCDigJzlgYfli4fmsJTigJ0g77yJ44CCIOeWr+e7j+eUse+8muWPjeWvuVvku7vk
vZXkurov6Ieq5Li75ZywXemZpOWkluiHquW3seeahFvku5jmrL7kurov55u45LqS5L6d5a2YXSDv
vIwNCjkuMTnjgILvvIgg4oCcdmEtdC1lbi1ndWVycmXigJ3vvIzigJzlsIblnKjmiJjkuonigJ0g
77yJ44CCIOeWr+e7j+eUse+8muaMh+aMpeWKmywg5Y205LiN5oOzW+iHquW3seeahC3lgZpd5Yqb
IO+8jA0KMTDjgIIg5ZKM5ZCM5pe2DQoxMeOAgiDlipvvvIwNCjExLjHjgIIg5Yqb77yM6ICM5Zyo
W+eWry3kuI4tW+WBt+eqgy/osI7oqIAv5Lyq6YCgXV0g77yMDQoxMS4y44CCIOWKm+e7j+eUse+8
mlvmjIfmjKUv5pqX56S6L1vlrZAt6aKG5a+8XV3kuIDkuptb5a6Y5ZGY55qELeW8uuWItuiAhV0g
77yMDQoxMS4z44CC77yIIOKAnOeqgeWHu+KAnSDvvInjgIIg5Yqb57uP55Sx77ya56qB54S255qE
5YqbIO+8jA0KMTEuNOOAgiDlipvnu4/nlLHvvJrnvJPmhaLnmoTlipsg44CCDQoNCi0tLS0tDQoN
CkJVWSBNT00gUkVDVVJTSVZFIFQtU1FVQVJFIDo6IHBheXBhbC5tZS8xMzM3Nzc3IDEzMzc3Nzcu
T09PQGdtYWlsLmNvbQ0KOyDlvq7kv6HmlK/ku5ggMjc5NjM4NjQ2NEBxcS5jb20gOyBldGgNCjB4
NTQ4MTBkY2I5M2IzN0RCRTg3NDY5NDQwN2Y3ODk1OUZhMjIyRDkyMCA7IGFtYXpvbg0KYW1hem9u
LmNvbS9oei93aXNobGlzdC9scy8yOFNOMDJIUjRFQjhXIDsgaXJjICNPT08xMzM3Nzc3DQo=