Comment: see slide 6 of 877v1 for an explanation of this data sequence. Tom Lindsay, ClariPhy.
1
1
0
0
0
0
0
1
0
1
0
0
1
1
1
1
1
0
1
0
0
1
0
0
1
0
1
1
1
0
1
0
1
0
0
0
1
1
0
1
0
1
0
0
1
0
1
0
0
1
1
0
0
1
1
1
0
0
1
0
0
0
1
0
1
1
0
1
0
1
0
1
1
0
1
0
1
0
0
1
0
1
0
1
1
1
0
0
1
0
1
1
1
0
1
0
0
1
0
1
0
1
1
0
0
1
0
0
1
1
0
1
0
0
1
0
1
1
0
0
1
0
1
0
1
0
1
1
1
0
0
0
1
1
0
1
0
0
0
1
0
0
1
1
1
0
1
1
1
0
1
0
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
1
1
0
0
1
0
1
0
0
1
0
1
0
1
0
0
1
1
0
1
0
0
1
1
0
0
1
1
1
0
1
0
0
1
1
0
0
1
0
0
1
1
1
0
0
1
0
0
1
1
1
1
0
1
0
0
0
0
1
1
1
0
1
1
0
0
0
0
1
0
1
1
0
0
1
0
1
0
1
0
0
1
0
1
0
1
1
0
1
0
1
0
1
1
1
0
0
0
0
1
1
0
0
1
1
0
1
0
1
1
1
0
1
0
1
0
0
1
0
1
0
0
0
1
1
0
1
1
0
0
0
0
1
1
0
1
1
1
1
0
1
0
0
1
1
0
0
1
0
0
1
1
0
1
0
0
1
1
0
0
1
1
0
1
0
1
0
0
1
0
1
1
0
1
0
1
0
1
0
0
1
1
0
1
0
0
0
1
1
0
0
1
0
1
1
1
0
0
1
1
1
0
0
0
1
1
0
1
0
1
0
0
0
1
1
1
0
0
1
0
1
1
1
0
0
0
1
0
0
1
0
0
1
0
1
1
1
1
0
0
0
1
0
0
1
1
1
0
1
1
1
1
0
1
0
0
0
1
0
0
1
0
1
1
1
0
0
1
1
0
1
0
0
0
1
1
0
0
0
1
1
0
1
0
0
1
0
1
0
1
0
0
1
1
1
0
1
0
1
1
0
0
0
1
0
1
0
1
1
0
1
0
1
1
0
1
0
1
0
1
1
0
1
0
1
0
0
0
1
1
0
1
1
0
0
1
0
1
0
1
1
1
0
0
1
0
0
1
0
0
1
1
1
0
0
1
1
0
0
1
1
0
1
1
0
0
0
1
0
1
1
0
1
0
0
1
0
0
1
1
0
0
0
1
0
1
0
1
0
1
1
1
0
0
1
0
1
1
0
1
0
0
1
0
0
1
1
0
0
1
1
0
0
0
1
1
0
1
1
1
0
1
0
0
1
0
1
1
0
0
1
1
0
0
0
1
1
1
1
0
1
1
0
1
0
0
0
0
1
0
0
1
1
1
0
1
0
0
1
0
1
1
0
0
1
0
0
1
1
0
0
1
0
1
1
1
1
0
0
1
0
1
0
0
1
0
0
1
1
0
0
1
1
0
1
1
0
1
0
0
1
0
1
1
0
1
0
0
0
1
1
0
1
0
0
1
1
0
1
1
0
1
1
0
1
0
0
1
1
0
0
1
0
0
1
1
0
0
1
0
1
0
0
1
1
1
0
1
0
1
1
0
0
1
0
0
1
0
1
0
1
1
0
0
1
1
0
0
1
1
0
1
0
0
0
1
1
1
0
0
1
1
1
0
1
0
0
0
1
1
0
1
0
0
1
1
0
1
0
0
0
1
1
1
0
1
0
0
1
1
0
0
1
0
1
1
0
0
1
1
1
0
0
1
0
0
1
1
0
1
1
0
0
0
1
1
0
1
1
0
0
1
1
0
0
0
1
0
1
0
0
1
1
1
0
1
0
1
0
0
0
0
1
1
0
1
1
1
0
0
1
0
1
1
0
0
1
1
1
0
0
1
0
1
0
1
0
0
0
1
0
1
1
0
0
1
0
1
1
0
0
0
1
1
1
0
1
0
1
1
1
0
1
0
0
0
0
1
1
0
1
0
1
0
1
1
0
1
1
0
1
1
0
0
0
1
0
0
0
1
0
1
1
0
1
0
1
1
0
1
0
0
1
0
0
1
0
1
1
0
0
1
1
0
0
1
0
1
1
0
0
1
1
1
0
1
0
1
1
0
0
0
0
1
1
0
1
0
0
1
1
0
0
1
1
1
0
1
0
0
1
0
0
0
1
1
0
1
1
0
1
1
0
1
1
0
0
1
0
1
1
0
1
0
0
1
0
1
1
0