polytope 0:
1000110
0100111
0010011
0001101

1000101
0100110
0010111
0001011