[Histonet] Rodent processing and artifactual spaces

[Elizabeth Chlipala]

SSBhZ3JlZSB3aXRoIEphY2tpZSwgSSBwcm9jZXNzIGZyb20gMjAgdG8gMzAgbWludXRlcyBhIHN0
YXRpb24gZm9yIG1vdXNlIGFuZCByYXQgdGlzc3VlLCBidXQgSSBwcm9jZXNzIDQ1IG1pbnV0ZXMg
cGVyIHN0YXRpb24gZm9yIGJyYWluIGFuZCBmb3Igc2tpbiBJIHByb2Nlc3Mgb25lIGhvdXIgcGVy
IHN0YXRpb24uICBJIGZpbmQgdGhhdCBvbmNlIHlvdSBncm9zcyB0aGUgdGlzc3VlIHNhbXBsZXMg
aW4gdGhleSBuZWVkIHRvIGJlIHBsYWNlZCBiYWNrIGludG8gZm9ybWFsaW4gdG8gZml4IGFkZGl0
aW9uYWxseSBhbmQgSSBuZXZlciBncm9zcyBtb3VzZSBvciByYXQgdGlzc3VlIGFuZCBwbGFjZSBp
biA1MCB0byA3MCUgYWxjb2hvbCB0aGF0IGp1c3QgY2F1c2VzIHByb2JsZW1zLCB0aGF0oa9zIGJl
ZW4gbXkgZXhwZXJpZW5jZS4NCg0KTGl6DQoNCkVsaXphYmV0aCBBLiBDaGxpcGFsYSwgQlMsIEhU
TChBU0NQKVFJSEMNCk1hbmFnZXINClByZW1pZXIgTGFib3JhdG9yeSwgTExDDQpQTyBCb3ggMTg1
OTINCkJvdWxkZXIsIENPIDgwMzA4LTE1OTINCigzMDMpIDY4Mi0zOTQ5IG9mZmljZQ0KKDMwMykg
NjgyLTkwNjAgZmF4DQooMzAzKSA4ODEtMDc2MyBjZWxsDQp3d3cucHJlbWllcmxhYi5jb20NCg0K
U2hpcCB0byBhZGRyZXNzOg0KDQoxNTY3IFNreXdheSBEcml2ZSwgVW5pdCBFDQpMb25nbW9udCwg
Q08gODA1MDQNCg0KLS0tLS1PcmlnaW5hbCBNZXNzYWdlLS0tLS0NCkZyb206IGhpc3RvbmV0LWJv
dW5jZXNAbGlzdHMudXRzb3V0aHdlc3Rlcm4uZWR1IFttYWlsdG86aGlzdG9uZXQtYm91bmNlc0Bs
aXN0cy51dHNvdXRod2VzdGVybi5lZHVdIE9uIEJlaGFsZiBPZiBKYWNraWUgTydDb25ub3INClNl
bnQ6IFRodXJzZGF5LCBBdWd1c3QgMDIsIDIwMTIgMTE6MzYgQU0NClRvOiByamJ1ZXNhQHlhaG9v
LmNvbTsga2F0aGVyaW5lLm8ubXVycGh5QGdtYWlsLmNvbTsgaGlzdG9uZXRAbGlzdHMudXRzb3V0
aHdlc3Rlcm4uZWR1DQpTdWJqZWN0OiBSZTogW0hpc3RvbmV0XSBSb2RlbnQgcHJvY2Vzc2luZyBh
bmQgYXJ0aWZhY3R1YWwgc3BhY2VzDQoNCg0KSSB0aGluayB0aGUgcHJvY2Vzc2luZyB0aW1lcyBh
cmUgZmluZSwgc29ycnkgUmVuZScuICAgVGhleSBhcmUgcHJldHR5IHNpbWlsYXIgdG8gbXkgcHJv
Y2Vzc2luZyBzY2hlZHVsZXMgZm9yIGJvdGggc3BlY2llcy4gIEl0IGNvdWxkIGJlIG1vcmUgb2Yg
YSBmaXhhdGlvbiBhcnRlZmFjdCBhcyB5b3Ugc3VzcGVjdC4gIFRpc3N1ZXMgd2lsbCBiZWdpbiB0
byBkZWdyYWRlIHdhaXRpbmcgZm9yIGZvcm1hbGluIHRvIGdldCB0byB0aGVtLCBhbmQgYWx0aG91
Z2ggZm9ybWFsaW4gbW9zdCB0aXNzdWVzIGF0IGFib3V0IDNtbSBwZXIgaG91ciAtIHdob2xlIG9y
Z2FucyB0ZW5kIHRvIHNsb3cgcGVuZXRyYXRpb24gZG93biBzb21ld2hhdC4gVGhlIGxvdyB2b2x1
bWUgb2YgZml4YXRpdmUgdG8gdGlzc3VlIG9ubHkgY29tcG91bmRzIHRoZSBwcm9ibGVtLg0KSmFj
a2llIE8nDQoNCg0KDQotLS0tLU9yaWdpbmFsIE1lc3NhZ2UtLS0tLQ0KRnJvbTogUmVuZSBKIEJ1
ZXNhIDxyamJ1ZXNhQHlhaG9vLmNvbT4NClRvOiBLYXRoZXJpbmUgTXVycGh5IDxrYXRoZXJpbmUu
by5tdXJwaHlAZ21haWwuY29tPjsgaGlzdG9uZXQgPGhpc3RvbmV0QGxpc3RzLnV0c291dGh3ZXN0
ZXJuLmVkdT4NClNlbnQ6IFRodSwgQXVnIDIsIDIwMTIgMTI6MDMgcG0NClN1YmplY3Q6IFJlOiBb
SGlzdG9uZXRdIFJvZGVudCBwcm9jZXNzaW5nIGFuZCBhcnRpZmFjdHVhbCBzcGFjZXMNCg0KDQpS
YXQgYW5kIG1pY2UgdGlzc3VlcyBkbyBub3QgaGF2ZSB0b28gbXVjaCBmYXQgYW5kIGFyZSBzdXNj
ZXB0aWJsZSB0byBkcnluZXNzDQpmdGVyIHByb2Nlc3Npbmcgc3BlY2lhbGx5IHdoZW4gdXNpbmcg
eHlsZW5lIGFzICJjbGVhcmluZyIgYWdlbnQuDQogYWxzbyB0aGluayB0aGF0IHlvdXIgdGltZXMg
YXJlIHRvbyBsb25nLg0KaGUgYmVzdCBwcm9jZXNzaW5nIHByb3RvY29sIGZvciByb2RlbnQgdGlz
c3VlcyBpcyBhIHNlcXVlbmNlIG9mIDItcHJvcGFub2wgofoNCnJvcGFub2wrbWluZXJhbCBvaWwg
ofogbWluZXJhbCBvaWwgofogcGFyYWZmaW4uDQp0IGhhcyBwcm9kdWNlZCBncmVhdCByZXN1bHRz
IGluIHRob3NlIGxhYnMgdGhhdCBhcmUgdXNpbmcgaXQuDQpmIHlvdSBhcmUgaW50ZXJlc3RlZCBJ
IGNhbiBzZW5kIHlvdSB1bmRlciBzZXBhcmF0ZSBjb3ZlciB0aGUgcHJvY2VkdXJlLg0KZW6opiBK
Lg0KDQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fDQpyb206IEthdGhlcmluZSBNdXJw
aHkgPGthdGhlcmluZS5vLm11cnBoeUBnbWFpbC5jb20+DQpvOiBoaXN0b25ldEBsaXN0cy51dHNv
dXRod2VzdGVybi5lZHUNCmVudDogVGh1cnNkYXksIEF1Z3VzdCAyLCAyMDEyIDExOjA3IEFNDQp1
YmplY3Q6IFtIaXN0b25ldF0gUm9kZW50IHByb2Nlc3NpbmcgYW5kIGFydGlmYWN0dWFsIHNwYWNl
cw0KSGVsbG8gSGlzdG8gR3VydXMsIEkgaGF2ZSBhIHF1ZXN0aW9uIGZvciB5b3U6DQpJIHByb2Nl
c3MgcmF0IGFuZCBtb3VzZSB0aXNzdWVzIChraWRuZXksIGxpdmVyLCBsdW5nLCBicmFpbiwgcGFu
Y3JlYXMsDQpJLCBzcGxlZW4pIGFuZCBoYXZlIGJlZW4gc2VlaW5nIGEgc2VwYXJhdGlvbiBhcnRp
ZmFjdCBpbiB0aGUgdGlzc3Vlcw0KZXNwLiBraWRuZXksIGJyYWluLCBhbmQgaGVhcnQpIG9uIHRo
ZSBzbGlkZXMuIEkgYmVsaWV2ZSB0aGlzIGlzIHdoYXQNCmFzIGRlc2NyaWJlZCBhcyBhcnRpZmFj
dHVhbCBzcGFjZXMgYmV0d2VlbiBpbmRpdmlkdWFsIGNlbGxzIG9yIGNlbGwNCmhyaW5rYWdlLCBh
cyBkZXNjcmliZWQgYnkgQ2Fyc29uICgxOTk3KSB1bmRlciBGaXhhdGlvbiBhbmQNCnJvY2Vzc2lu
Zy4gVGhlIHByb2Nlc3Npbmcgc2NoZWR1bGUgdGhhdCBoYXMgcHJvZHVjZWQgdGhpcyBpczogNTAl
DQplYWdlbnQgQWxjb2hvbCAoUkEpLCA3MCUgUkEsIDgwJSBSQSwgOTUlIFJBIHggMiwgMTAwJSBS
QSB4IDIsIHh5bGVuZQ0KIDIsIGFuZCBQYXJhcGxhc3QgUGx1cyBAIDYwoeNDIHdpdGggdmFjdXVt
LCBhdCA0MCBtaW4gcGVyIHN0YXRpb24gZm9yDQphdCBhbmQgMjUgbWluIHBlciBzdGF0aW9uIGZv
ciBtb3VzZS4gUHJlY2VkaW5nIHByb2Nlc3NpbmcgaXMgYSAyMKGvDQphcCB3YXRlciByaW5zZS4g
VGlzc3VlcyBoYXZlIGJlZW4gaW4gZm9ybWFsaW4gZm9yIHdlZWtzIGluIG1vc3QgY2FzZXMNCnV0
IG5vdCBhbHdheXMgY29sbGVjdGVkIGlkZWFsbHkgKGxvdyBmb3JtYWxpbiB0byB0aXNzdWUgcmF0
aW8sIHNtYWxsDQphcnMgdXNlZCBmb3IgbGFyZ2UgdGlzc3VlcywgdGlzc3VlcyBzdWJtaXR0ZWQg
d2hvbGUgd2l0aG91dCBzbGljZXMgb3INCmNvcmVzLCBldGMpLS13ZSBkb24ndCBoYXZlIG11Y2gg
Y29udHJvbCBvdmVyIHRoaXMgcGFydC4gRG9lcyBhbnlvbmUNCm5vdyB3aGF0IGNhdXNlcyB0aGUg
c2VwYXJhdGlvbiBhcnRpZmFjdCBpcyBhbmQgaG93IGl0IGNhbiBiZQ0Kb3JyZWN0ZWQ/DQpfX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXw0KaXN0b25ldCBtYWls
aW5nIGxpc3QNCmlzdG9uZXRAbGlzdHMudXRzb3V0aHdlc3Rlcm4uZWR1DQp0dHA6Ly9saXN0cy51
dHNvdXRod2VzdGVybi5lZHUvbWFpbG1hbi9saXN0aW5mby9oaXN0b25ldA0KX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXw0KaXN0b25ldCBtYWlsaW5nIGxpc3QN
CmlzdG9uZXRAbGlzdHMudXRzb3V0aHdlc3Rlcm4uZWR1DQp0dHA6Ly9saXN0cy51dHNvdXRod2Vz
dGVybi5lZHUvbWFpbG1hbi9saXN0aW5mby9oaXN0b25ldA0KDQpfX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fXw0KSGlzdG9uZXQgbWFpbGluZyBsaXN0DQpIaXN0
b25ldEBsaXN0cy51dHNvdXRod2VzdGVybi5lZHUNCmh0dHA6Ly9saXN0cy51dHNvdXRod2VzdGVy
bi5lZHUvbWFpbG1hbi9saXN0aW5mby9oaXN0b25ldA0K