# T12sub: elementary collapses (free face ; unique proper coface) reducing X(G) to 4,2,2:-
# cell notation  b1,b2,b3:D  = the box b + [0,1]^D, D a subset of xyz
0,0,0:x ; 0,0,0:xy
0,0,0:y ; 0,0,0:yz
0,0,1:y ; 0,0,1:yz
0,0,2:x ; 0,0,2:xy
0,1,0:x ; 0,1,0:xy
0,1,0:y ; 0,1,0:yz
0,1,1:y ; 0,1,1:yz
0,1,2:x ; 0,1,2:xy
0,2,0:x ; 0,2,0:xz
0,2,1:x ; 0,2,1:xz
1,0,0:x ; 1,0,0:xy
1,0,2:x ; 1,0,2:xy
1,1,0:x ; 1,1,0:xy
1,1,2:x ; 1,1,2:xy
1,2,0:x ; 1,2,0:xz
1,2,1:x ; 1,2,1:xz
2,0,0:x ; 2,0,0:xy
2,0,2:x ; 2,0,2:xy
2,1,0:x ; 2,1,0:xy
2,1,2:x ; 2,1,2:xy
2,2,0:x ; 2,2,0:xz
2,2,1:x ; 2,2,1:xz
3,0,0:x ; 3,0,0:xy
3,0,2:x ; 3,0,2:xy
3,1,0:x ; 3,1,0:xy
3,1,2:x ; 3,1,2:xy
3,2,0:x ; 3,2,0:xz
3,2,1:x ; 3,2,1:xz
4,0,0:y ; 4,0,0:yz
4,0,1:y ; 4,0,1:yz
4,1,0:y ; 4,1,0:yz
4,1,1:y ; 4,1,1:yz
0,0,0:- ; 0,0,0:z
0,0,1:- ; 0,0,1:z
0,0,2:- ; 0,0,2:y
0,1,0:- ; 0,1,0:z
0,1,1:- ; 0,1,1:z
0,1,2:- ; 0,1,2:y
0,2,0:- ; 0,2,0:z
0,2,1:- ; 0,2,1:z
0,2,2:- ; 0,2,2:x
1,0,0:- ; 1,0,0:y
1,0,2:- ; 1,0,2:y
1,1,0:- ; 1,1,0:y
1,1,2:- ; 1,1,2:y
1,2,0:- ; 1,2,0:z
1,2,1:- ; 1,2,1:z
1,2,2:- ; 1,2,2:x
2,0,0:- ; 2,0,0:y
2,0,2:- ; 2,0,2:y
2,1,0:- ; 2,1,0:y
2,1,2:- ; 2,1,2:y
2,2,0:- ; 2,2,0:z
2,2,1:- ; 2,2,1:z
2,2,2:- ; 2,2,2:x
3,0,0:- ; 3,0,0:y
3,0,2:- ; 3,0,2:y
3,1,0:- ; 3,1,0:y
3,1,2:- ; 3,1,2:y
3,2,0:- ; 3,2,0:z
3,2,1:- ; 3,2,1:z
3,2,2:- ; 3,2,2:x
4,0,0:- ; 4,0,0:z
4,0,1:- ; 4,0,1:z
4,0,2:- ; 4,0,2:y
4,1,0:- ; 4,1,0:z
4,1,1:- ; 4,1,1:z
4,1,2:- ; 4,1,2:y
4,2,0:- ; 4,2,0:z
4,2,1:- ; 4,2,1:z
