-------------------------------
Empty triangulation
-------------------------------

Size of the skeleton:
  Tetrahedra: 0
  Triangles: 0
  Edges: 0
  Vertices: 0

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------


0 components
0 boundary components
0 tetrahedra
0 triangles
0 edges
0 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: False
Closed: True
Orientable: True
Connected: True

Fundamental group: 0
H1: 0
H1Bdry: 0
H1Rel: 0
H2: 0
H2Z2: 0 Z_2
0-efficient: True
Splitting surface: False
3-sphere: False
Double cover:
Checksum = 9464bf3edaf0e60e0e5b5ca024631f97
Ideal to finite:
Result = False
Checksum = 9464bf3edaf0e60e0e5b5ca024631f97
Finite to ideal:
Result = False
Checksum = 9464bf3edaf0e60e0e5b5ca024631f97
Barycentric subdivision:
Checksum = 9464bf3edaf0e60e0e5b5ca024631f97
Dehydration: aaa
Isomorphism signature: a
Result of splitIntoComponents: 0

-------------------------------
3-sphere
-------------------------------

Size of the skeleton:
  Tetrahedra: 1
  Triangles: 2
  Edges: 2
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               0 (013)    0 (012)    0 (312)    0 (230)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   1   1   1   1

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   0   1   1


1 components
0 boundary components
1 tetrahedra
2 triangles
2 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: False
Closed: True
Orientable: True
Connected: True

Fundamental group: 0
H1: 0
H1Bdry: 0
H1Rel: 0
H2: 0
H2Z2: 0 Z_2
TV(5, 3) = 1/10 x^3 - 1/10 x^2 + 1/5
TV(5, 3) ~ 0.36180
0-efficient: True
Splitting surface: False
3-sphere: True
Double cover:
Checksum = 317dfe735a1e7823eae845090ca36961
Ideal to finite:
Result = False
Checksum = ea54199695677841d8d09fe63c2293db
Finite to ideal:
Result = False
Checksum = ea54199695677841d8d09fe63c2293db
Barycentric subdivision:
Checksum = 77ec9787f9e52078e6700395e8762846
Dehydration: baaaafr
Isomorphism signature: bkaagj
Result of splitIntoComponents: 1

-------------------------------
S2 x S1
-------------------------------

Size of the skeleton:
  Tetrahedra: 2
  Triangles: 4
  Edges: 3
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               0 (123)    1 (013)    1 (023)    0 (012)
    1  |               1 (123)    0 (013)    0 (023)    1 (012)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0
    1  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   2   0   1   0
    1  |           0   1   2   0   1   0

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   0
    1  |           3   1   2   3


1 components
0 boundary components
2 tetrahedra
4 triangles
3 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: False
Closed: True
Orientable: True
Connected: True

Fundamental group: Z
H1: Z
H1Bdry: 0
H1Rel: Z
H2: Z
H2Z2: 1 Z_2
TV(5, 3) = 1
TV(5, 3) ~ 1.00000
0-efficient: False
Splitting surface: True
3-sphere: False
Double cover:
Checksum = 8f93c860f126a6a01907bbb901088510
Ideal to finite:
Result = False
Checksum = eec951e449112ea65a57195573d917be
Finite to ideal:
Result = False
Checksum = eec951e449112ea65a57195573d917be
Barycentric subdivision:
Checksum = a04e3780e61b30d3ee2cc97018fbb25e
Dehydration: cacabboxo
Isomorphism signature: cMcabbjaj
Result of splitIntoComponents: 1

-------------------------------
RP2 x S1
-------------------------------

Size of the skeleton:
  Tetrahedra: 3
  Triangles: 6
  Edges: 4
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               2 (230)    1 (120)    2 (201)    1 (123)
    1  |               0 (301)    2 (013)    2 (312)    0 (123)
    2  |               0 (230)    1 (013)    0 (201)    1 (230)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0
    1  |             0   0   0   0
    2  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   2   0   3   2
    1  |           2   3   0   0   3   2
    2  |           2   1   0   2   3   0

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   3
    1  |           1   4   5   3
    2  |           2   4   0   5


1 components
0 boundary components
3 tetrahedra
6 triangles
4 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: False
Closed: True
Orientable: False
Connected: True

Fundamental group: Z + Z_2
H1: Z + Z_2
H1Bdry: 0
H1Rel: Z + Z_2
H2: Z_2
H2Z2: 2 Z_2
TV(5, 3) = 1
TV(5, 3) ~ 1.00000
0-efficient: True
Splitting surface: True
3-sphere: False
Double cover:
Checksum = 4f02146728fbd90f0fe371894106742e
Ideal to finite:
Result = False
Checksum = 620f4fbabce53015a3e638a8141499c7
Finite to ideal:
Result = False
Checksum = 620f4fbabce53015a3e638a8141499c7
Barycentric subdivision:
Checksum = 5c97adf7a641fcd944525b2c1c1ff05b
Dehydration: dadbcccfxfh
Isomorphism signature: dLQbcccajqs
Result of splitIntoComponents: 1

-------------------------------
RP3 # RP3
-------------------------------

Size of the skeleton:
  Tetrahedra: 4
  Triangles: 8
  Edges: 5
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               0 (231)    1 (230)    3 (123)    0 (201)
    1  |               1 (013)    1 (012)    0 (301)    2 (023)
    2  |               2 (231)    3 (230)    1 (123)    2 (201)
    3  |               3 (013)    3 (012)    2 (301)    0 (023)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0
    1  |             0   0   0   0
    2  |             0   0   0   0
    3  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   1   1   1   0
    1  |           2   1   1   3   3   0
    2  |           0   3   3   3   3   0
    3  |           4   3   3   1   1   0

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   0
    1  |           3   3   1   4
    2  |           5   6   4   5
    3  |           7   7   6   2


1 components
0 boundary components
4 tetrahedra
8 triangles
5 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: False
Closed: True
Orientable: True
Connected: True

Fundamental group: FreeProduct( Z_2, Z_2 )
H1: 2 Z_2
H1Bdry: 0
H1Rel: 2 Z_2
H2: 0
H2Z2: 2 Z_2
TV(5, 3) = 0
TV(5, 3) ~ 0.00000
0-efficient: False
Splitting surface: True
3-sphere: False
Double cover:
Checksum = 706db5ff6c6f2612538856b5447fa663
Ideal to finite:
Result = False
Checksum = 0002c628225f24640b937843963c7903
Finite to ideal:
Result = False
Checksum = 0002c628225f24640b937843963c7903
Barycentric subdivision:
Checksum = ac3702700af51e3bdbf920c52667f346
Dehydration: eaoabcddgrwxg
Isomorphism signature: eLMkabcddbrrag
Result of splitIntoComponents: 1

-------------------------------
L(8,3)
-------------------------------

Size of the skeleton:
  Tetrahedra: 2
  Triangles: 4
  Edges: 3
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               0 (130)    0 (201)    1 (012)    1 (130)
    1  |               0 (023)    0 (312)    1 (312)    1 (230)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0
    1  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   0   1   1   0   2
    1  |           0   1   2   2   1   2

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   0   1   2
    1  |           1   2   3   3


1 components
0 boundary components
2 tetrahedra
4 triangles
3 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: False
Closed: True
Orientable: True
Connected: True

Fundamental group: Z_8
H1: Z_8
H1Bdry: 0
H1Rel: Z_8
H2: 0
H2Z2: 1 Z_2
TV(5, 3) = -1/5 x^3 + 1/5 x^2 + 3/5
TV(5, 3) ~ 0.27639
0-efficient: True
Splitting surface: True
3-sphere: False
Double cover:
Checksum = a1428e55771e39f41bbbd775c7710a5a
Ideal to finite:
Result = False
Checksum = 1b5b09643b8642fe91a3e16fe0ed2ce5
Finite to ideal:
Result = False
Checksum = 1b5b09643b8642fe91a3e16fe0ed2ce5
Barycentric subdivision:
Checksum = beddd31b97251798784914c66aa8e458
Dehydration: cabbabakn
Isomorphism signature: cMcabbjqs
Result of splitIntoComponents: 1

-------------------------------
Poincaré homology sphere
-------------------------------

Size of the skeleton:
  Tetrahedra: 5
  Triangles: 10
  Edges: 6
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               4 (312)    3 (321)    2 (312)    1 (321)
    1  |               3 (203)    4 (230)    2 (203)    0 (321)
    2  |               4 (301)    3 (120)    1 (203)    0 (230)
    3  |               2 (301)    4 (120)    1 (102)    0 (310)
    4  |               3 (301)    2 (120)    1 (301)    0 (120)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0
    1  |             0   0   0   0
    2  |             0   0   0   0
    3  |             0   0   0   0
    4  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   2   3   4   5
    1  |           1   0   2   5   4   3
    2  |           4   0   3   5   1   2
    3  |           3   1   5   4   2   0
    4  |           5   2   4   3   0   1

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   3
    1  |           4   5   6   3
    2  |           7   8   6   2
    3  |           8   9   4   1
    4  |           9   7   5   0


1 components
0 boundary components
5 tetrahedra
10 triangles
6 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: False
Closed: True
Orientable: True
Connected: True

Fundamental group: 
H1: 0
H1Bdry: 0
H1Rel: 0
H2: 0
H2Z2: 0 Z_2
TV(5, 3) = -2/5 x^3 + 2/5 x^2 + 7/10
TV(5, 3) ~ 0.05279
0-efficient: True
Splitting surface: False
3-sphere: False
Double cover:
Checksum = 461b241fee94ae4f7e33531d72a99e10
Ideal to finite:
Result = False
Checksum = f0e143ec63c795b7ba14718a87a600fa
Finite to ideal:
Result = False
Checksum = f0e143ec63c795b7ba14718a87a600fa
Barycentric subdivision:
Checksum = e5f98b7d303dc4dcbd115cb85bd271c0
Dehydration: fapaadecedenbokbo
Isomorphism signature: fvPQcdecedekrsnrs
Result of splitIntoComponents: 1

-------------------------------
Closed orientable hyperbolic 3-manifold
-------------------------------

Size of the skeleton:
  Tetrahedra: 9
  Triangles: 18
  Edges: 10
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               8 (021)    2 (023)    8 (320)    6 (132)
    1  |               7 (231)    3 (321)    8 (123)    6 (120)
    2  |               4 (312)    3 (012)    0 (013)    7 (031)
    3  |               2 (013)    5 (213)    5 (301)    1 (310)
    4  |               7 (320)    5 (012)    6 (032)    2 (120)
    5  |               4 (013)    3 (230)    8 (013)    3 (103)
    6  |               1 (312)    7 (012)    4 (032)    0 (132)
    7  |               6 (013)    2 (132)    4 (210)    1 (201)
    8  |               0 (021)    5 (023)    0 (320)    1 (023)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0
    1  |             0   0   0   0
    2  |             0   0   0   0
    3  |             0   0   0   0
    4  |             0   0   0   0
    5  |             0   0   0   0
    6  |             0   0   0   0
    7  |             0   0   0   0
    8  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   2   3   4   0
    1  |           5   3   6   4   7   1
    2  |           8   0   2   9   7   4
    3  |           8   2   6   7   6   5
    4  |           5   9   1   9   8   0
    5  |           5   1   2   8   6   6
    6  |           7   1   9   4   3   0
    7  |           7   9   9   3   4   5
    8  |           1   0   2   3   6   1

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   3
    1  |           4   5   6   7
    2  |           8   9   1  10
    3  |           9  11  12   5
    4  |          13  14  15   8
    5  |          14  12  16  11
    6  |           7  17  15   3
    7  |          17  10  13   4
    8  |           0  16   2   6


1 components
0 boundary components
9 tetrahedra
18 triangles
10 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: False
Closed: True
Orientable: True
Connected: True

Fundamental group: 
H1: 2 Z_5
H1Bdry: 0
H1Rel: 2 Z_5
H2: 0
H2Z2: 0 Z_2
TV(5, 3) = 1/2
TV(5, 3) ~ 0.50000
3-sphere: False
Double cover:
Checksum = 4121790e1eeae4a50d76725831daaf2a
Ideal to finite:
Result = False
Checksum = 5c214df82829ae225a98312e4f6c6cca
Finite to ideal:
Result = False
Checksum = 5c214df82829ae225a98312e4f6c6cca
Barycentric subdivision:
Checksum = ac74192e2d482faefb99907d9773c5ee
Dehydration: jphaeaacfgehggiiialhaggjbvw
Isomorphism signature: jLvAzQQcfeghighiiuquanobwwr
Result of splitIntoComponents: 1

-------------------------------
Closed non-orientable hyperbolic 3-manifold
-------------------------------

Size of the skeleton:
  Tetrahedra: 11
  Triangles: 22
  Edges: 12
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               2 (310)    8 (213)    2 (021)    8 (320)
    1  |               9 (103)    2 (213)    3 (302)    5 (012)
    2  |               0 (032)    0 (210)    4 (320)    1 (103)
    3  |               6 (032)    4 (201)    1 (230)    6 (130)
    4  |               3 (130)   10 (320)    2 (320)   10 (103)
    5  |               1 (123)    6 (012)    7 (132)    7 (120)
    6  |               5 (013)    3 (312)    3 (021)    8 (103)
    7  |               5 (312)    8 (012)    9 (021)    5 (032)
    8  |               7 (013)    6 (213)    0 (321)    0 (103)
    9  |               7 (032)    1 (102)   10 (213)   10 (120)
   10  |               9 (312)    4 (213)    4 (310)    9 (203)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0
    1  |             0   0   0   0
    2  |             0   0   0   0
    3  |             0   0   0   0
    4  |             0   0   0   0
    5  |             0   0   0   0
    6  |             0   0   0   0
    7  |             0   0   0   0
    8  |             0   0   0   0
    9  |             0   0   0   0
   10  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   2   2   3   4
    1  |           4   5   6   7   0   8
    2  |           2   1   1   4   0   6
    3  |           6   8   5   3   7   6
    4  |           7   6   1   5   9   1
    5  |           7   0   8   8  10  11
    6  |           7   8   6  10   3   3
    7  |          10  11   4   8   0  11
    8  |          10   4   3   0   3   2
    9  |           4  11   7  11   5   9
   10  |           5   9   1  11   9   7

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   3
    1  |           4   5   6   7
    2  |           2   0   8   5
    3  |           9  10   6  11
    4  |          10  12   8  13
    5  |           7  14  15  16
    6  |          14  11   9  17
    7  |          16  18  19  15
    8  |          18  17   3   1
    9  |          19   4  20  21
   10  |          21  13  12  20


1 components
0 boundary components
11 tetrahedra
22 triangles
12 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: False
Closed: True
Orientable: False
Connected: True

Fundamental group: 
H1: Z
H1Bdry: 0
H1Rel: Z
H2: Z_2
H2Z2: 1 Z_2
TV(5, 3) = x^3 - x^2 + 1
TV(5, 3) ~ 2.61803
3-sphere: False
Double cover:
Checksum = 966434332bc1c54b7b42aa8a4b738ca0
Ideal to finite:
Result = False
Checksum = 6e31638cca83e125d11ba3cbbca478d6
Finite to ideal:
Result = False
Checksum = 6e31638cca83e125d11ba3cbbca478d6
Barycentric subdivision:
Checksum = 35615548e0a1f54d848528191c7676c1
Dehydration: lpdalaebciijhijjkkkknbxnxrhckje
Isomorphism signature: lLLLALAQccegffiijkikkkknawmhvwcls
Result of splitIntoComponents: 1

-------------------------------
LST(3,4,7)
-------------------------------

Size of the skeleton:
  Tetrahedra: 3
  Triangles: 7
  Edges: 5
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |              boundary   boundary    1 (012)    1 (130)
    1  |               0 (023)    0 (312)    2 (013)    2 (120)
    2  |               1 (312)    1 (023)    2 (312)    2 (230)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0
    1  |             0   0   0   0
    2  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   2   2   1   3
    1  |           1   2   3   3   2   4
    2  |           2   4   3   3   4   3

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   3
    1  |           2   3   4   5
    2  |           5   4   6   6


1 components
1 boundary components
3 tetrahedra
7 triangles
5 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: True
Closed: False
Orientable: True
Connected: True

Fundamental group: Z
H1: Z
H1Bdry: 2 Z
H1Rel: 0
H2: 0
H2Z2: 0 Z_2
0-efficient: False
Splitting surface: True
3-sphere: False
Double cover:
Checksum = 6ed1aefdf98e978635444f8a08b8ccf3
Ideal to finite:
Result = False
Checksum = b8f13c90570ff1c969319ed7c6de977f
Finite to ideal:
Result = True
Checksum = 662b84caee7f99a6cd6d1d961b94276a
Barycentric subdivision:
Checksum = f8914f8f88fb2d7d38e15dfa67946104
Dehydration: 
Isomorphism signature: dHKcbcchqn
Result of splitIntoComponents: 1

-------------------------------
Solid Klein bottle
-------------------------------

Size of the skeleton:
  Tetrahedra: 2
  Triangles: 6
  Edges: 6
  Vertices: 2

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               1 (132)   boundary   boundary    1 (012)
    1  |               0 (123)   boundary   boundary    0 (021)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   1   0   0
    1  |             1   0   0   1

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   2   3   4   1
    1  |           3   4   5   1   0   3

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   3
    1  |           3   4   5   0


1 components
1 boundary components
2 tetrahedra
6 triangles
6 edges
2 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 0
Valid: True
Ideal: False
Standard: True
Boundary Triangles: True
Closed: False
Orientable: False
Connected: True

Fundamental group: Z
H1: Z
H1Bdry: Z + Z_2
H1Rel: 0
H2: 0
H2Z2: 0 Z_2
0-efficient: False
Splitting surface: True
3-sphere: False
Double cover:
Checksum = 86585fef26ef55792fb35b901c154584
Ideal to finite:
Result = False
Checksum = 2aac2215d88c258693a5cfce6a769b18
Finite to ideal:
Result = True
Checksum = ab2ae3ce95e1091a6c8dae6ad7b2370b
Barycentric subdivision:
Checksum = 6a2ca7b0e923ec1f28604165c925160d
Dehydration: 
Isomorphism signature: cHabj
Result of splitIntoComponents: 1

-------------------------------
Figure eight knot complement
-------------------------------

Size of the skeleton:
  Tetrahedra: 2
  Triangles: 4
  Edges: 2
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               1 (210)    1 (031)    1 (231)    1 (302)
    1  |               0 (210)    0 (031)    0 (231)    0 (302)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0
    1  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   0   0   1   1
    1  |           0   1   0   0   1   1

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   3
    1  |           0   1   3   2


1 components
1 boundary components
2 tetrahedra
4 triangles
2 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 1
Valid: True
Ideal: True
Standard: True
Boundary Triangles: False
Closed: False
Orientable: True
Connected: True

Fundamental group: Z~Free(2) w/monodromy a ↦ b, b ↦ b a^-1 b^2
H1: Z
H1Bdry: 2 Z
H1Rel: 0
H2: 0
H2Z2: 0 Z_2
0-efficient: True
Splitting surface: False
3-sphere: False
Double cover:
Checksum = 44863d8cc092d706d2a4a79e5d22e95c
Ideal to finite:
Result = True
Checksum = 93f23779dca5e76e0609fd3be2d2c054
Finite to ideal:
Result = False
Checksum = 4edde99de04c5dcfad10a06f5cedc739
Barycentric subdivision:
Checksum = 11a858dbc29d6e47fd0569902162c473
Dehydration: cabbbbaei
Isomorphism signature: cPcbbbiht
Result of splitIntoComponents: 1

-------------------------------
Whitehead link complement
-------------------------------

Size of the skeleton:
  Tetrahedra: 4
  Triangles: 8
  Edges: 4
  Vertices: 2

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               3 (320)    1 (012)    2 (301)    3 (310)
    1  |               0 (013)    2 (321)    2 (210)    3 (201)
    2  |               1 (320)    0 (230)    3 (123)    1 (310)
    3  |               1 (231)    0 (321)    0 (210)    2 (023)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   1   1
    1  |             0   0   1   1
    2  |             1   1   0   0
    3  |             1   1   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   2   1   1   3
    1  |           0   2   2   1   2   3
    2  |           3   2   1   2   2   0
    3  |           3   1   1   2   1   0

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   3
    1  |           1   4   5   6
    2  |           5   2   7   4
    3  |           6   3   0   7


1 components
2 boundary components
4 tetrahedra
8 triangles
4 edges
2 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 2
Valid: True
Ideal: True
Standard: True
Boundary Triangles: False
Closed: False
Orientable: True
Connected: True

Fundamental group: 
H1: 2 Z
H1Bdry: 4 Z
H1Rel: Z
H2: Z
H2Z2: 1 Z_2
0-efficient: True
Splitting surface: True
3-sphere: False
Double cover:
Checksum = 5ff7d3d8dd0d3a0db8d7be380b1250e5
Ideal to finite:
Result = True
Checksum = 6d55b6a76dcfadd7c70f723aaf2bf854
Finite to ideal:
Result = False
Checksum = 09d1b717f53c4b5ed2e0830ae5c0546e
Barycentric subdivision:
Checksum = bfb62dacf3dd0031232ae5564891f7c6
Dehydration: eahbdcddqwwwr
Isomorphism signature: eLPkbdcddhgggb
Result of splitIntoComponents: 1

-------------------------------
Gieseking manifold
-------------------------------

Size of the skeleton:
  Tetrahedra: 1
  Triangles: 2
  Edges: 1
  Vertices: 1

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               0 (031)    0 (021)    0 (213)    0 (203)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   0   0   0   0   0

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   0   1   1


1 components
1 boundary components
1 tetrahedra
2 triangles
1 edges
1 vertices
2-sphere boundaries: False
Negative ideal boundaries: False
EC: 1
Valid: True
Ideal: True
Standard: True
Boundary Triangles: False
Closed: False
Orientable: False
Connected: True

Fundamental group: Z~Free(2) w/monodromy a ↦ b, b ↦ b^-1 a
H1: Z
H1Bdry: Z + Z_2
H1Rel: 0
H2: 0
H2Z2: 0 Z_2
0-efficient: True
Splitting surface: False
3-sphere: False
Double cover:
Checksum = 5327d4c09735697963ec732043efe2a8
Ideal to finite:
Result = True
Checksum = 9ba6c57794b9ee9ccbeee30c7b3e2f87
Finite to ideal:
Result = False
Checksum = 0ddb056ffd7b88c4aa375e8b9527fc32
Barycentric subdivision:
Checksum = 561a17ce84b19379ca97afd548220e18
Dehydration: baaaatl
Isomorphism signature: bkaaid
Result of splitIntoComponents: 1

-------------------------------
Cusped genus two solid torus
-------------------------------

Size of the skeleton:
  Tetrahedra: 10
  Triangles: 20
  Edges: 10
  Vertices: 2

Tetrahedron gluing:
  Tet  |  glued to:      (012)      (013)      (023)      (123)
  -----+-------------------------------------------------------
    0  |               4 (012)    3 (102)    2 (130)    1 (123)
    1  |               2 (012)    5 (012)    6 (012)    0 (123)
    2  |               1 (012)    0 (302)    3 (023)    7 (012)
    3  |               0 (103)    8 (012)    2 (023)    9 (012)
    4  |               0 (012)    8 (103)    7 (023)    7 (013)
    5  |               1 (013)    9 (103)    6 (023)    6 (013)
    6  |               1 (023)    5 (123)    5 (023)    8 (203)
    7  |               2 (123)    4 (123)    4 (023)    9 (123)
    8  |               3 (013)    4 (103)    6 (213)    9 (023)
    9  |               3 (123)    5 (103)    8 (123)    7 (123)

Vertices:
  Tet  |  vertex:    0   1   2   3
  -----+--------------------------
    0  |             0   0   0   0
    1  |             0   0   0   0
    2  |             0   0   0   0
    3  |             0   0   0   0
    4  |             0   0   0   1
    5  |             0   0   0   1
    6  |             0   0   0   1
    7  |             0   0   0   1
    8  |             0   0   0   1
    9  |             0   0   0   1

Edges:
  Tet  |  edge:   01  02  03  12  13  23
  -----+--------------------------------
    0  |           0   1   2   3   4   5
    1  |           2   4   6   3   4   5
    2  |           2   4   5   3   1   7
    3  |           0   4   5   2   8   7
    4  |           0   1   9   3   9   9
    5  |           2   6   9   4   9   9
    6  |           4   6   9   5   9   9
    7  |           3   1   9   7   9   9
    8  |           0   5   9   8   9   9
    9  |           2   8   9   7   9   9

Triangles:
  Tet  |  face:  012 013 023 123
  -----+------------------------
    0  |           0   1   2   3
    1  |           4   5   6   3
    2  |           4   2   7   8
    3  |           1   9   7  10
    4  |           0  11  12  13
    5  |           5  14  15  16
    6  |           6  16  15  17
    7  |           8  13  12  18
    8  |           9  11  17  19
    9  |          10  14  19  18


1 components
1 boundary components
10 tetrahedra
20 triangles
10 edges
2 vertices
2-sphere boundaries: False
Negative ideal boundaries: True
EC: 2
Valid: True
Ideal: True
Standard: False
Boundary Triangles: False
Closed: False
Orientable: True
Connected: True

Fundamental group: Free(2)
H1: 2 Z
H1Bdry: 4 Z
H1Rel: 0
H2: 0
H2Z2: 0 Z_2
3-sphere: False
Double cover:
Checksum = b4496b146777140b4ea32aa5d314da77
Ideal to finite:
Result = True
Checksum = 3fb87a8e4ddb729d0217cd63873a06d9
Finite to ideal:
Result = False
Checksum = 80d47498461e07605d11725c124832ef
Barycentric subdivision:
Checksum = 6e9c3495eb7a1a8b5b3adb8070bb6003
Dehydration: kdpahaacdhhjjggiijojuxxjvfojj
Isomorphism signature: kLLvMMQkccghfihhjjjdwawwgggxxt
Result of splitIntoComponents: 1

