passagemath-graphs 10.5.34__cp312-cp312-musllinux_1_2_aarch64.whl → 10.6.1rc1__cp312-cp312-musllinux_1_2_aarch64.whl

sage/combinat/rooted_tree.py

@@ -1,6 +1,6 @@
 # sage_setup: distribution = sagemath-graphs
 r"""
-Rooted (Unordered) Trees
+Rooted (unordered) trees
 
 AUTHORS:
 

sage/databases/knotinfo_db.py

@@ -578,13 +578,14 @@ class KnotInfoDataBase(SageObject, UniqueRepresentation):
     def _create_data_sobj(self, sobj_path=None):
         r"""
         Create ``sobj`` files containing the contents of the whole table.
+
         To each column there is created one file containing a list of
         strings giving the entries of the database table.
 
         The length of these lists depends on the type of the corresponding
         column. If a column is used in both tables
         (``KnotInfoColumnTypes.KnotsAndLinks``) the list of proper links
-        is appended to the list of knots.  In both other cases the lenght
+        is appended to the list of knots.  In both other cases the length
         of the list corresponds to the number of listed knots and proper
         links respectively.
 

sage/ext_data/kenzo/CP2.txt

@@ -0,0 +1,45 @@
+* (show-structure ssz4 6)
+
+Dimension = 0:
+
+        Vertices :  (<<GBar>>)
+
+Dimension = 1:
+
+Dimension = 2:
+
+        Simplex : <<GBar<- (2)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>>)
+
+        Simplex : <<GBar<- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>>)
+
+Dimension = 3:
+
+        Simplex : <<GBar<- (1 1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm 1-0 <<GBar>>>)
+
+        Simplex : <<GBar<1 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm 1-0 <<GBar>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<0 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
+
+Dimension = 4:
+
+        Simplex : <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>>)

sage/ext_data/kenzo/CP3.txt

@@ -0,0 +1,349 @@
+* (show-structure ssz6 7)
+
+Dimension = 0:
+
+        Vertices :  (<<GBar>>)
+
+Dimension = 1:
+
+Dimension = 2:
+
+        Simplex : <<GBar<- (3)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>>)
+
+        Simplex : <<GBar<- (2)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>>)
+
+        Simplex : <<GBar<- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>> <AbSm 0 <<GBar>>>)
+
+Dimension = 3:
+
+        Simplex : <<GBar<- (1 2)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (3)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm 1-0 <<GBar>>>)
+
+        Simplex : <<GBar<1 (2)><- (1)><- NIL>>>
+
+                Faces : (<AbSm 1-0 <<GBar>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (3)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<- (2 1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (3)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm 1-0 <<GBar>>>)
+
+        Simplex : <<GBar<1 (1)><- (2)><- NIL>>>
+
+                Faces : (<AbSm 1-0 <<GBar>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (3)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>>)
+
+        Simplex : <<GBar<- (1 1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<0 (2)><- (1)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<0 (1)><- (2)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>>)
+
+        Simplex : <<GBar<0 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<1 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm 1-0 <<GBar>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<- (1 1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (1)><- NIL>>>> <AbSm 1-0 <<GBar>>>)
+
+Dimension = 4:
+
+        Simplex : <<GBar<1-0 (1)><1-0 NIL><- (2)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (2)><- NIL>>>> <AbSm 2 <<GBar<- (2)><- NIL>>>> <AbSm 2 <<GBar<- (2)><- NIL>>>>)
+
+        Simplex : <<GBar<1-0 (1)><0 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<1-0 (2)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<- (2)><- NIL>>>> <AbSm 0 <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<0 (2)><- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<1-0 (1)><1 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<0 (1 1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<0 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-0 (1)><1 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<2-0 (1)><1 (2)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<- (2 1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (2)><- NIL>>>>)
+
+        Simplex : <<GBar<2-0 (2)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<1 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 2)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<1 (1 1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<0 (1 1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2 (1 1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (2 1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-0 (1)><- (1 1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 2)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<2-1 (2)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (2)><- (1)><- NIL>>>> <AbSm 1 <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<- (2 1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<1 (1 1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-1 (1)><0 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2 (1 1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 2)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm 2-1-0 <<GBar>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<1 (2)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (2 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 2)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 2-1-0 <<GBar>>>)
+
+        Simplex : <<GBar<2-1 (1)><0 (2)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<- (2)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (2)><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1 2)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (2)><- NIL>>>>)
+
+        Simplex : <<GBar<2-1 (1)><- (1 1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (2)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (2 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm 0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>> <AbSm 2 <<GBar<- (1)><- NIL>>>>)
+
+Dimension = 5:
+
+        Simplex : <<GBar<3-2-1 (1)><0 (1 1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 3 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (2)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1 1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-1 (1)><2-0 (1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 3 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (2)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<1 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-1 (1)><1-0 (1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 3 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<0 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-2 (1 1)><1-0 (1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (2)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm 2 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 1-0 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-1 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 3-2 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm 1 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (2)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-0 (1)><1 (1 1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 1 <<GBar<- (1 1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-1 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 3-1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-0 (1)><1-0 (1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<0 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-1 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 3-0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-1 (1 1)><2-0 (1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 2-0 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<3-0 (1 1)><2-1 (1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (2)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 2-1 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-1-0 (1)><2 (1 1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (2)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<- (1 1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 2 <<GBar<- (1 1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (2)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-0 (1)><2-1 (1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2-1 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<2-1 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (2)><0 NIL><- NIL>>>> <AbSm - <<GBar<2 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<1 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-1 (1 1)><2-1-0 NIL><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 1 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 3-0 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1 (1 1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<2-0 (1 1)><2-1-0 NIL><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<1 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm 3-1 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<3-1-0 (1)><2-1 (1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 2-0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 2 <<GBar<1 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<1-0 (1 1)><2-1-0 NIL><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (2)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 3-2 <<GBar<- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm 0 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (2)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-1-0 (1)><2-0 (1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<0 (1 1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 2 <<GBar<0 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm 1 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<2-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<2-1-0 (1)><2-1-0 NIL><- (1 1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (2)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><- (1 1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<- (1 1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<- (1 1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<2-1-0 (1)><2-1-0 NIL><1 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm 1-0 <<GBar<- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (2)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1 (1)><- (1)><- NIL>>>> <AbSm 3 <<GBar<1 (1)><- (1)><- NIL>>>> <AbSm 3 <<GBar<1 (1)><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm 0 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<2-1-0 (1)><2-1-0 NIL><0 (1)><- (1)><- NIL>>>
+
+                Faces : (<AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1)><0 (1)><- (1)><- NIL>>>> <AbSm 3 <<GBar<0 (1)><- (1)><- NIL>>>> <AbSm 3 <<GBar<0 (1)><- (1)><- NIL>>>>)
+
+Dimension = 6:
+
+        Simplex : <<GBar<3-2-1-0 (1)><3-2-1-0 NIL><1-0 (1)><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 0 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><0 (1)><- (1)><- NIL>>>> <AbSm 2 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 4 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 4 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-1-0 (1)><3-2-1-0 NIL><2-0 (1)><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><1 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><0 (1)><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm 4 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm 4 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<3-2-1-0 (1)><3-2-1-0 NIL><2-1 (1)><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><1 (1)><- (1)><- NIL>>>> <AbSm 1 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1-0 NIL><- (1 1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 4 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 4 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<4-2-1-0 (1)><3-1-0 (1)><2-1-0 NIL><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1 1)><2-1-0 NIL><1-0 NIL><- (1)><- NIL>>>> <AbSm 3 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<4-2-1-0 (1)><3-2-0 (1)><2-1-0 NIL><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-1 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1 1)><2-1-0 NIL><1 (1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<4-2-1-0 (1)><3-2-1 (1)><2-1-0 NIL><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 3 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-1 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 1 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1 1)><2-1-0 NIL><0 (1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<4-3-1-0 (1)><2-1-0 (1)><2-1-0 NIL><1-0 NIL><- (1)><- NIL>>>
+
+                Faces : (<AbSm 0 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 3 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<1-0 (1 1)><2-1-0 NIL><1-0 NIL><- (1)><- NIL>>>> <AbSm 2 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<4-3-1-0 (1)><3-2-0 (1)><2-1 (1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-1 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-0 (1 1)><2-1 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 2 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<4-3-1-0 (1)><3-2-1 (1)><2-0 (1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 3 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-1 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1-0 (1)><2 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1 (1 1)><2-0 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 2 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<4-3-2-0 (1)><2-1-0 (1)><2-1-0 NIL><1 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 1 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-0 (1 1)><2-1-0 NIL><1 (1)><0 NIL><- NIL>>>> <AbSm 1 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<4-3-2-0 (1)><3-1-0 (1)><2-1 (1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 2 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-0 (1 1)><2-1 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 1 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<4-3-2-0 (1)><3-2-1 (1)><1-0 (1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 3 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 2 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-0 (1)><1 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2 (1 1)><1-0 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 1 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<4-3-2-1 (1)><2-1-0 (1)><2-1-0 NIL><0 (1)><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 4 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><1-0 (1)><1-0 NIL><- (1)><- NIL>>>> <AbSm 1 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><1-0 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 3 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<2-1 (1 1)><2-1-0 NIL><0 (1)><0 NIL><- NIL>>>> <AbSm 0 <<GBar<1-0 (1)><1-0 NIL><- (1)><- NIL>>>>)
+
+        Simplex : <<GBar<4-3-2-1 (1)><3-1-0 (1)><2-0 (1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 4 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-0 (1)><1 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-0 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><1-0 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><0 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-1 (1 1)><2-0 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 0 <<GBar<2-0 (1)><1 (1)><0 NIL><- NIL>>>>)
+
+        Simplex : <<GBar<4-3-2-1 (1)><3-2-0 (1)><1-0 (1)><1-0 NIL><0 NIL><- NIL>>>
+
+                Faces : (<AbSm 4 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><2-0 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm 2 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2-1 (1)><0 (1 1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm - <<GBar<3-2 (1 1)><1-0 (1)><1-0 NIL><0 NIL><- NIL>>>> <AbSm 0 <<GBar<2-1 (1)><0 (1)><0 NIL><- NIL>>>>)