# section between (1, ... ,6,13) and (7,... ,12,14,15,16), # a truncated cube space with f-vector # 7*9 = 63 vertices, # 441 edges, # 356 triangles, 300 quadrilaterals, # 78 tetrahedra and 200 prisms tcs:= [ [[1,7],[1,9],[1,10],[1,14]], [[1,7],[1,9],[1,11],[1,14]], [[1,7],[1,10],[1,11],[1,14]], [[1,7],[1,12],[1,15],[1,16]], [[1,7],[2,7],[5,7],[7,13]], [[1,7],[2,7],[6,7],[7,13]], [[1,9],[1,10],[1,14],[1,15]], [[1,9],[1,11],[1,15],[1,16]], [[1,9],[1,14],[1,15],[1,16]], [[1,9],[3,9],[5,9],[6,9]], [[1,10],[3,10],[4,10],[6,10]], [[1,10],[4,10],[5,10],[6,10]], [[1,11],[3,11],[5,11],[6,11]], [[1,14],[3,14],[4,14],[6,14]], [[1,14],[4,14],[5,14],[6,14]], [[1,16],[2,16],[5,16],[13,16]], [[1,16],[2,16],[6,16],[13,16]], [[2,7],[2,8],[2,14],[2,16]], [[2,8],[2,11],[2,14],[2,15]], [[2,8],[2,11],[2,14],[2,16]], [[2,8],[2,11],[2,15],[2,16]], [[2,9],[2,11],[2,12],[2,14]], [[2,9],[3,9],[4,9],[5,9]], [[2,9],[3,9],[4,9],[9,13]], [[2,9],[3,9],[5,9],[6,9]], [[2,10],[2,12],[2,15],[2,16]], [[2,10],[4,10],[5,10],[6,10]], [[2,11],[5,11],[6,11],[11,13]], [[2,12],[4,12],[5,12],[6,12]], [[2,15],[3,15],[6,15],[13,15]], [[2,16],[4,16],[5,16],[13,16]], [[3,7],[3,8],[3,9],[3,12]], [[3,7],[3,8],[3,10],[3,11]], [[3,7],[3,8],[3,10],[3,16]], [[3,7],[3,9],[3,10],[3,12]], [[3,7],[4,7],[5,7],[7,13]], [[3,9],[3,10],[3,12],[3,15]], [[3,9],[3,11],[3,15],[3,16]], [[3,9],[3,12],[3,15],[3,16]], [[3,15],[5,15],[6,15],[13,15]], [[4,7],[4,8],[4,9],[4,12]], [[4,7],[4,8],[4,9],[4,15]], [[4,7],[4,8],[4,10],[4,11]], [[4,8],[4,9],[4,10],[4,11]], [[4,9],[4,10],[4,11],[4,16]], [[4,10],[4,11],[4,15],[4,16]], [[4,10],[4,12],[4,15],[4,16]], [[4,11],[4,12],[4,14],[4,15]], [[5,7],[5,8],[5,10],[5,14]], [[5,7],[5,9],[5,12],[5,16]], [[5,7],[5,9],[5,15],[5,16]], [[5,7],[5,10],[5,11],[5,14]], [[5,8],[5,9],[5,10],[5,14]], [[5,8],[5,9],[5,11],[5,16]], [[5,8],[5,9],[5,14],[5,16]], [[5,8],[5,11],[5,12],[5,15]], [[5,8],[5,11],[5,12],[5,16]], [[5,8],[5,12],[5,14],[5,16]], [[5,9],[5,10],[5,14],[5,15]], [[5,9],[5,14],[5,15],[5,16]], [[6,7],[6,9],[6,10],[6,14]], [[6,7],[6,9],[6,11],[6,14]], [[6,7],[6,10],[6,12],[6,15]], [[6,7],[6,10],[6,14],[6,16]], [[6,7],[6,11],[6,12],[6,15]], [[6,7],[6,11],[6,12],[6,16]], [[6,7],[6,11],[6,14],[6,16]], [[6,8],[6,10],[6,11],[6,15]], [[6,8],[6,10],[6,15],[6,16]], [[6,9],[6,10],[6,14],[6,16]], [[6,9],[6,11],[6,12],[6,14]], [[6,11],[6,12],[6,14],[6,16]], [[7,13],[8,13],[9,13],[13,15]], [[7,13],[9,13],[10,13],[13,15]], [[7,13],[11,13],[12,13],[13,15]], [[7,13],[11,13],[12,13],[13,16]], [[7,13],[11,13],[13,14],[13,16]], [[8,13],[12,13],[13,14],[13,15]], [[1,7],[1,8],[1,9],[3,7],[3,8],[3,9]], [[1,7],[1,8],[1,9],[6,7],[6,8],[6,9]], [[1,7],[1,8],[1,11],[3,7],[3,8],[3,11]], [[1,7],[1,8],[1,11],[4,7],[4,8],[4,11]], [[1,7],[1,8],[1,15],[4,7],[4,8],[4,15]], [[1,7],[1,8],[1,15],[7,13],[8,13],[13,15]], [[1,7],[1,8],[6,7],[6,8],[7,13],[8,13]], [[1,7],[1,9],[1,10],[3,7],[3,9],[3,10]], [[1,7],[1,9],[1,11],[2,7],[2,9],[2,11]], [[1,7],[1,9],[2,7],[2,9],[6,7],[6,9]], [[1,7],[1,10],[1,11],[3,7],[3,10],[3,11]], [[1,7],[1,11],[2,7],[2,11],[4,7],[4,11]], [[1,7],[1,12],[1,15],[7,13],[12,13],[13,15]], [[1,7],[1,12],[1,16],[7,13],[12,13],[13,16]], [[1,7],[1,15],[1,16],[5,7],[5,15],[5,16]], [[1,7],[1,15],[2,7],[2,15],[4,7],[4,15]], [[1,7],[1,15],[2,7],[2,15],[5,7],[5,15]], [[1,7],[1,16],[5,7],[5,16],[7,13],[13,16]], [[1,8],[1,9],[1,12],[3,8],[3,9],[3,12]], [[1,8],[1,9],[1,12],[6,8],[6,9],[6,12]], [[1,8],[1,10],[1,12],[2,8],[2,10],[2,12]], [[1,8],[1,10],[1,12],[5,8],[5,10],[5,12]], [[1,8],[1,10],[2,8],[2,10],[5,8],[5,10]], [[1,8],[1,11],[3,8],[3,11],[8,13],[11,13]], [[1,8],[1,11],[4,8],[4,11],[8,13],[11,13]], [[1,8],[1,12],[1,14],[5,8],[5,12],[5,14]], [[1,8],[1,12],[1,14],[6,8],[6,12],[6,14]], [[1,8],[1,12],[2,8],[2,12],[3,8],[3,12]], [[1,8],[1,14],[2,8],[2,14],[5,8],[5,14]], [[1,8],[1,14],[2,8],[2,14],[6,8],[6,14]], [[1,8],[1,15],[4,8],[4,15],[8,13],[13,15]], [[1,8],[1,16],[2,8],[2,16],[3,8],[3,16]], [[1,8],[1,16],[2,8],[2,16],[6,8],[6,16]], [[1,8],[1,16],[3,8],[3,16],[8,13],[13,16]], [[1,8],[1,16],[6,8],[6,16],[8,13],[13,16]], [[1,9],[1,10],[1,15],[3,9],[3,10],[3,15]], [[1,9],[1,11],[1,14],[9,13],[11,13],[13,14]], [[1,9],[1,11],[1,15],[2,9],[2,11],[2,15]], [[1,9],[1,11],[1,16],[4,9],[4,11],[4,16]], [[1,9],[1,11],[4,9],[4,11],[9,13],[11,13]], [[1,9],[1,12],[3,9],[3,12],[5,9],[5,12]], [[1,9],[1,12],[5,9],[5,12],[6,9],[6,12]], [[1,9],[1,14],[1,16],[4,9],[4,14],[4,16]], [[1,9],[1,14],[4,9],[4,14],[9,13],[13,14]], [[1,9],[1,15],[2,9],[2,15],[6,9],[6,15]], [[1,9],[1,15],[3,9],[3,15],[6,9],[6,15]], [[1,10],[1,11],[1,12],[5,10],[5,11],[5,12]], [[1,10],[1,11],[1,12],[10,13],[11,13],[12,13]], [[1,10],[1,11],[1,14],[10,13],[11,13],[13,14]], [[1,10],[1,11],[3,10],[3,11],[6,10],[6,11]], [[1,10],[1,11],[5,10],[5,11],[6,10],[6,11]], [[1,10],[1,12],[1,16],[2,10],[2,12],[2,16]], [[1,10],[1,12],[1,16],[4,10],[4,12],[4,16]], [[1,10],[1,12],[4,10],[4,12],[10,13],[12,13]], [[1,10],[1,14],[1,15],[3,10],[3,14],[3,15]], [[1,10],[1,14],[3,10],[3,14],[4,10],[4,14]], [[1,10],[1,14],[4,10],[4,14],[10,13],[13,14]], [[1,10],[1,16],[2,10],[2,16],[5,10],[5,16]], [[1,10],[1,16],[4,10],[4,16],[5,10],[5,16]], [[1,11],[1,12],[3,11],[3,12],[5,11],[5,12]], [[1,11],[1,12],[3,11],[3,12],[11,13],[12,13]], [[1,11],[1,15],[1,16],[4,11],[4,15],[4,16]], [[1,11],[1,15],[2,11],[2,15],[4,11],[4,15]], [[1,12],[1,14],[5,12],[5,14],[6,12],[6,14]], [[1,12],[1,15],[1,16],[4,12],[4,15],[4,16]], [[1,12],[1,15],[4,12],[4,15],[12,13],[13,15]], [[1,12],[1,16],[2,12],[2,16],[3,12],[3,16]], [[1,12],[1,16],[3,12],[3,16],[12,13],[13,16]], [[1,14],[1,15],[1,16],[5,14],[5,15],[5,16]], [[1,14],[1,15],[2,14],[2,15],[5,14],[5,15]], [[1,14],[1,15],[2,14],[2,15],[6,14],[6,15]], [[1,14],[1,15],[3,14],[3,15],[6,14],[6,15]], [[1,14],[1,16],[4,14],[4,16],[5,14],[5,16]], [[2,7],[2,8],[2,10],[4,7],[4,8],[4,10]], [[2,7],[2,8],[2,10],[5,7],[5,8],[5,10]], [[2,7],[2,8],[2,12],[3,7],[3,8],[3,12]], [[2,7],[2,8],[2,12],[4,7],[4,8],[4,12]], [[2,7],[2,8],[2,14],[5,7],[5,8],[5,14]], [[2,7],[2,8],[2,16],[3,7],[3,8],[3,16]], [[2,7],[2,9],[2,11],[6,7],[6,9],[6,11]], [[2,7],[2,10],[2,11],[4,7],[4,10],[4,11]], [[2,7],[2,10],[2,11],[5,7],[5,10],[5,11]], [[2,7],[2,11],[5,7],[5,11],[7,13],[11,13]], [[2,7],[2,11],[6,7],[6,11],[7,13],[11,13]], [[2,7],[2,12],[2,14],[3,7],[3,12],[3,14]], [[2,7],[2,12],[2,14],[4,7],[4,12],[4,14]], [[2,7],[2,14],[2,15],[4,7],[4,14],[4,15]], [[2,7],[2,14],[2,15],[5,7],[5,14],[5,15]], [[2,7],[2,14],[2,16],[3,7],[3,14],[3,16]], [[2,8],[2,9],[2,10],[4,8],[4,9],[4,10]], [[2,8],[2,9],[2,10],[8,13],[9,13],[10,13]], [[2,8],[2,9],[2,12],[4,8],[4,9],[4,12]], [[2,8],[2,9],[2,12],[8,13],[9,13],[12,13]], [[2,8],[2,10],[2,12],[8,13],[10,13],[12,13]], [[2,8],[2,14],[2,15],[6,8],[6,14],[6,15]], [[2,8],[2,15],[2,16],[6,8],[6,15],[6,16]], [[2,9],[2,10],[2,16],[4,9],[4,10],[4,16]], [[2,9],[2,10],[2,16],[9,13],[10,13],[13,16]], [[2,9],[2,11],[2,12],[6,9],[6,11],[6,12]], [[2,9],[2,11],[2,14],[3,9],[3,11],[3,14]], [[2,9],[2,11],[2,15],[3,9],[3,11],[3,15]], [[2,9],[2,12],[2,14],[9,13],[12,13],[13,14]], [[2,9],[2,12],[4,9],[4,12],[5,9],[5,12]], [[2,9],[2,12],[5,9],[5,12],[6,9],[6,12]], [[2,9],[2,14],[3,9],[3,14],[9,13],[13,14]], [[2,9],[2,15],[3,9],[3,15],[6,9],[6,15]], [[2,9],[2,16],[4,9],[4,16],[9,13],[13,16]], [[2,10],[2,11],[4,10],[4,11],[6,10],[6,11]], [[2,10],[2,11],[5,10],[5,11],[6,10],[6,11]], [[2,10],[2,12],[2,14],[3,10],[3,12],[3,14]], [[2,10],[2,12],[2,14],[10,13],[12,13],[13,14]], [[2,10],[2,12],[2,15],[3,10],[3,12],[3,15]], [[2,10],[2,14],[3,10],[3,14],[10,13],[13,14]], [[2,10],[2,15],[2,16],[10,13],[13,15],[13,16]], [[2,10],[2,15],[3,10],[3,15],[10,13],[13,15]], [[2,10],[2,16],[4,10],[4,16],[5,10],[5,16]], [[2,11],[2,12],[2,14],[4,11],[4,12],[4,14]], [[2,11],[2,12],[4,11],[4,12],[6,11],[6,12]], [[2,11],[2,14],[2,15],[4,11],[4,14],[4,15]], [[2,11],[2,14],[2,16],[3,11],[3,14],[3,16]], [[2,11],[2,15],[2,16],[3,11],[3,15],[3,16]], [[2,12],[2,15],[2,16],[3,12],[3,15],[3,16]], [[2,15],[2,16],[6,15],[6,16],[13,15],[13,16]], [[3,7],[3,10],[3,12],[6,7],[6,10],[6,12]], [[3,7],[3,10],[3,16],[6,7],[6,10],[6,16]], [[3,7],[3,12],[3,14],[4,7],[4,12],[4,14]], [[3,7],[3,12],[4,7],[4,12],[6,7],[6,12]], [[3,7],[3,14],[3,15],[4,7],[4,14],[4,15]], [[3,7],[3,14],[3,15],[5,7],[5,14],[5,15]], [[3,7],[3,14],[3,16],[7,13],[13,14],[13,16]], [[3,7],[3,14],[5,7],[5,14],[7,13],[13,14]], [[3,7],[3,15],[4,7],[4,15],[5,7],[5,15]], [[3,7],[3,16],[4,7],[4,16],[6,7],[6,16]], [[3,7],[3,16],[4,7],[4,16],[7,13],[13,16]], [[3,8],[3,10],[3,11],[6,8],[6,10],[6,11]], [[3,8],[3,10],[3,16],[6,8],[6,10],[6,16]], [[3,8],[3,11],[4,8],[4,11],[5,8],[5,11]], [[3,8],[3,11],[4,8],[4,11],[8,13],[11,13]], [[3,8],[3,11],[5,8],[5,11],[6,8],[6,11]], [[3,8],[3,14],[3,15],[4,8],[4,14],[4,15]], [[3,8],[3,14],[3,15],[6,8],[6,14],[6,15]], [[3,8],[3,14],[4,8],[4,14],[6,8],[6,14]], [[3,8],[3,15],[4,8],[4,15],[5,8],[5,15]], [[3,8],[3,15],[5,8],[5,15],[6,8],[6,15]], [[3,8],[3,16],[4,8],[4,16],[6,8],[6,16]], [[3,8],[3,16],[4,8],[4,16],[8,13],[13,16]], [[3,9],[3,11],[3,14],[9,13],[11,13],[13,14]], [[3,9],[3,11],[3,16],[5,9],[5,11],[5,16]], [[3,9],[3,11],[4,9],[4,11],[5,9],[5,11]], [[3,9],[3,11],[4,9],[4,11],[9,13],[11,13]], [[3,9],[3,12],[3,16],[5,9],[5,12],[5,16]], [[3,10],[3,12],[3,14],[4,10],[4,12],[4,14]], [[3,10],[3,12],[4,10],[4,12],[6,10],[6,12]], [[3,10],[3,14],[3,15],[5,10],[5,14],[5,15]], [[3,10],[3,14],[5,10],[5,14],[10,13],[13,14]], [[3,10],[3,15],[5,10],[5,15],[10,13],[13,15]], [[3,11],[3,12],[3,16],[5,11],[5,12],[5,16]], [[3,11],[3,12],[3,16],[11,13],[12,13],[13,16]], [[3,11],[3,14],[3,16],[11,13],[13,14],[13,16]], [[4,7],[4,9],[4,12],[5,7],[5,9],[5,12]], [[4,7],[4,9],[4,15],[5,7],[5,9],[5,15]], [[4,7],[4,12],[5,7],[5,12],[6,7],[6,12]], [[4,7],[4,16],[5,7],[5,16],[6,7],[6,16]], [[4,7],[4,16],[5,7],[5,16],[7,13],[13,16]], [[4,8],[4,9],[4,11],[5,8],[5,9],[5,11]], [[4,8],[4,9],[4,15],[5,8],[5,9],[5,15]], [[4,8],[4,14],[4,15],[8,13],[13,14],[13,15]], [[4,8],[4,14],[6,8],[6,14],[8,13],[13,14]], [[4,8],[4,16],[6,8],[6,16],[8,13],[13,16]], [[4,9],[4,14],[4,16],[6,9],[6,14],[6,16]], [[4,9],[4,14],[6,9],[6,14],[9,13],[13,14]], [[4,9],[4,16],[6,9],[6,16],[9,13],[13,16]], [[4,10],[4,11],[4,15],[6,10],[6,11],[6,15]], [[4,10],[4,12],[4,14],[10,13],[12,13],[13,14]], [[4,10],[4,12],[4,15],[6,10],[6,12],[6,15]], [[4,11],[4,12],[4,15],[6,11],[6,12],[6,15]], [[4,12],[4,14],[4,15],[12,13],[13,14],[13,15]], [[4,14],[4,16],[5,14],[5,16],[6,14],[6,16]], [[5,7],[5,11],[5,14],[7,13],[11,13],[13,14]], [[5,7],[5,12],[5,16],[6,7],[6,12],[6,16]], [[5,8],[5,9],[5,10],[8,13],[9,13],[10,13]], [[5,8],[5,9],[5,15],[8,13],[9,13],[13,15]], [[5,8],[5,10],[5,12],[8,13],[10,13],[12,13]], [[5,8],[5,11],[5,15],[6,8],[6,11],[6,15]], [[5,8],[5,12],[5,15],[8,13],[12,13],[13,15]], [[5,9],[5,10],[5,15],[9,13],[10,13],[13,15]], [[5,10],[5,11],[5,12],[10,13],[11,13],[12,13]], [[5,10],[5,11],[5,14],[10,13],[11,13],[13,14]], [[5,11],[5,12],[5,15],[11,13],[12,13],[13,15]], [[5,11],[5,15],[6,11],[6,15],[11,13],[13,15]], [[5,12],[5,14],[5,16],[6,12],[6,14],[6,16]], [[6,7],[6,8],[6,9],[7,13],[8,13],[9,13]], [[6,7],[6,9],[6,10],[7,13],[9,13],[10,13]], [[6,7],[6,10],[6,15],[7,13],[10,13],[13,15]], [[6,7],[6,11],[6,15],[7,13],[11,13],[13,15]], [[6,8],[6,9],[6,12],[8,13],[9,13],[12,13]], [[6,8],[6,12],[6,14],[8,13],[12,13],[13,14]], [[6,9],[6,10],[6,16],[9,13],[10,13],[13,16]], [[6,9],[6,12],[6,14],[9,13],[12,13],[13,14]], [[6,10],[6,15],[6,16],[10,13],[13,15],[13,16]], ]; # PL-equivalent to # truncated_cube_space f = (16,109,186,93) complex:=[ [1,2,3,4],[1,2,3,5],[1,2,4,6],[1,2,5,6],[1,3,4,7],[1,3,5,7], [1,4,6,8],[1,4,7,8],[1,5,6,9],[1,5,7,9],[1,6,8,9],[1,7,8,9],[2,3,4,9], [2,3,5,10],[2,3,9,10],[2,4,6,11],[2,4,9,11],[2,5,6,12],[2,5,8,12], [2,5,8,13],[2,5,10,13],[2,6,11,14],[2,6,12,14],[2,8,12,14],[2,8,13,15], [2,8,14,15],[2,9,10,13],[2,9,11,16],[2,9,13,16],[2,11,14,15], [2,11,15,16],[2,13,15,16],[3,4,7,16],[3,4,9,15],[3,4,14,15], [3,4,14,16],[3,5,7,11],[3,5,10,11],[3,7,11,13],[3,7,13,16],[3,8,9,10], [3,8,9,15],[3,8,10,11],[3,8,11,12],[3,8,12,14],[3,8,14,15], [3,11,12,13],[3,12,13,14],[3,13,14,16],[4,5,8,13],[4,5,8,16], [4,5,10,13],[4,5,10,15],[4,5,14,15],[4,5,14,16],[4,6,8,13],[4,6,11,13], [4,7,8,16],[4,9,11,12],[4,9,12,15],[4,10,12,13],[4,10,12,15], [4,11,12,13],[5,6,9,12],[5,7,9,14],[5,7,11,14],[5,8,12,16],[5,9,12,16], [5,9,14,16],[5,10,11,15],[5,11,14,15],[6,7,11,13],[6,7,11,14], [6,7,12,14],[6,7,12,15],[6,7,13,15],[6,8,9,15],[6,8,13,15],[6,9,12,15], [7,8,9,10],[7,8,10,16],[7,9,10,14],[7,10,12,14],[7,10,12,15], [7,10,15,16],[7,13,15,16],[8,10,11,16],[8,11,12,16],[9,10,13,14], [9,11,12,16],[9,13,14,16],[10,11,15,16],[10,12,13,14] ];