polytope 0:
10001
01001
00101
00011