polytope 0:
100001
010010
001010
000101

100001
010010
001010
000111

100001
010010
001011
000101

100001
010011
001010
000101

100001
010011
001011
000101

100011
010010
001010
000101

100011
010010
001010
000111