{
	"Index":34,
	"Name":"8_20",
	"RolfsenName":"8_20",
	"DTname":"8n_1",
	"TunnelNumber":1,
	"BridgeNumber":"Not implemented",
	"Hyperbolic":true,
	"Diagram":{
		"Scode":"{6, -13, 8, 2, -15, -9, -3, -11}",
		"Acode":"{4, -7, 5, 2, -8, -5, -2, -6}",
		"PDcode":[
			"{1, 7, 2, 6}",
			"{4, 13, 5, 14}",
			"{5, 9, 6, 8}",
			"{7, 3, 8, 2}",
			"{10, 15, 11, 16}",
			"{12, 9, 13, 10}",
			"{14, 3, 15, 4}",
			"{16, 11, 1, 12}"
		],
		"CBtype":"{2, 1}",
		"ParabolicReps":{
			"SolvingSeq":[
				"{5, 2, 8}",
				[],
				[
					"{5, 2, 4, 2}",
					"{2, 4, 1, 2}",
					"{4, 5, 3, 2}",
					"{8, -2, 7, 2}",
					"{7, -5, 6, 2}"
				],
				"{2, 5}",
				"{8}",
				8
			],
			"SolvingSeqIdx":1,
			"Comps":{
				"u":{
					"CheckEq":[
						"-1 + a^2*u + u^2",
						"u + a*b*u + u^2 + a^2*u^3",
						"1 - a + b - a*b + a*u^2",
						"-b - b^2 - a*u^2"
					],
					"TimingForPrimaryIdeals":8.9596e-2
				},
				"v":{
					"CheckEq":[
						"-b - b^2",
						"-(b^2*v)",
						"1 - a + b - a*b + b*v^2",
						"-1 + v - a*b*v + b^2*v^3"
					],
					"TimingForPrimaryIdeals":7.3231e-2
				},
				"PrimaryIdeals":[
					{
						"IdealName":"J8_20_0",
						"Generators":[
							"1 + b - 2*u^2 - u^3 + u^4",
							"-2 + a + 2*u^2 + u^3 - u^4",
							"-1 + 3*u + 3*u^2 - 2*u^3 - 2*u^4 + u^5"
						],
						"VariableOrder":[
							"b",
							"a",
							"u"
						],
						"Characteristic":0,
						"KnownGroebner":[],
						"Status":[
							"vCompNormalize"
						],
						"MonomialOrder":"lex",
						"IsHomogeneous":false,
						"IsZeroDim":true,
						"IdealDimension":0,
						"Timings":{
							"TimingGroebner":3.2991e-2,
							"TimingZeroDimVars":4.930200000000001e-2,
							"TimingmagmaVCompNormalize":5.0595999999999995e-2,
							"TimingNumberOfSols":5.6248e-2,
							"TimingIsRadical":2.1760000000000017e-3,
							"TimingArcColoring":4.0598999999999996e-2,
							"TimingObstruction":3.249e-3,
							"TimingComplexVolumeN":2.865328,
							"TimingaCuspShapeN":1.9231e-2,
							"TiminguValues":0.53909,
							"TiminguPolysN":1.863e-3,
							"TiminguPolys":0.678965,
							"TimingaCuspShape":9.5851e-2,
							"TimingRepresentationsN":5.1419e-2,
							"TiminguValues_ij":8.3592e-2,
							"TiminguPoly_ij":0.960624,
							"TiminguPolys_ij_N":2.432e-3
						},
						"ZeroDimensionalVars":[
							"b",
							"a",
							"u"
						],
						"NumberOfSols":5,
						"IsRadical":true,
						"ArcColoring":[
							[
								"u",
								"u - u^3"
							],
							[
								0,
								"u"
							],
							[
								"1 - u^2",
								"-u^2"
							],
							[
								1,
								"-u^2"
							],
							"{1, 0}",
							[
								"2 + 2*u - u^3",
								"-2*u - 2*u^2 + u^4"
							],
							[
								"2 - 2*u^2 - u^3 + u^4",
								"-2*u - 2*u^2 + u^4"
							],
							[
								"2 - 2*u^2 - u^3 + u^4",
								"-1 + 2*u^2 + u^3 - u^4"
							]
						],
						"Obstruction":-1,
						"ComplexVolumeN":[
							"-1.85138 + 1.10891*I",
							"-1.85138 - 1.10891*I",
							1.20365,
							"-11.9099 - 4.1249*I",
							"-11.9099 + 4.1249*I"
						],
						"uPolysN":[
							"-1 + 3*u + 3*u^2 - 2*u^3 - 2*u^4 + u^5",
							"-2 + 2*u + u^2 + 5*u^3 + u^4 + u^5",
							"1 + 15*u + 25*u^2 + 22*u^3 + 8*u^4 + u^5",
							"-1 + 3*u + 3*u^2 - 2*u^3 - 2*u^4 + u^5",
							"-1 - u - u^2 + 2*u^3 + 2*u^4 + u^5",
							"-1 - u - u^2 + 6*u^3 + u^5",
							"-2 + 2*u + u^2 + 5*u^3 + u^4 + u^5",
							"-1 - u - u^2 + 2*u^3 + 2*u^4 + u^5"
						],
						"uPolys":[
							"-1 + 3*u + 3*u^2 - 2*u^3 - 2*u^4 + u^5",
							"-2 + 2*u + u^2 + 5*u^3 + u^4 + u^5",
							"1 + 15*u + 25*u^2 + 22*u^3 + 8*u^4 + u^5",
							"-1 + 3*u + 3*u^2 - 2*u^3 - 2*u^4 + u^5",
							"-1 - u - u^2 + 2*u^3 + 2*u^4 + u^5",
							"-1 - u - u^2 + 6*u^3 + u^5",
							"-2 + 2*u + u^2 + 5*u^3 + u^4 + u^5",
							"-1 - u - u^2 + 2*u^3 + 2*u^4 + u^5"
						],
						"aCuspShape":"2 + 2*(3 + 3*u - 4*u^2 - 3*u^3 + 2*u^4)",
						"RepresentationsN":[
							[
								"u->-0.949895 + 0.441667 I",
								"a->0.682871 - 0.618084 I",
								"b->0.317129 + 0.618084 I"
							],
							[
								"u->-0.949895 - 0.441667 I",
								"a->0.682871 + 0.618084 I",
								"b->0.317129 - 0.618084 I"
							],
							[
								"u->0.274898",
								"a->1.8338",
								"b->-0.8338"
							],
							[
								"u->1.81245 + 0.17314 I",
								"a->-0.099771 + 1.12945 I",
								"b->1.09977 - 1.12945 I"
							],
							[
								"u->1.81245 - 0.17314 I",
								"a->-0.099771 - 1.12945 I",
								"b->1.09977 + 1.12945 I"
							]
						],
						"Epsilon":1.9587,
						"uPolys_ij":[
							"-1 + 3*u + 3*u^2 - 2*u^3 - 2*u^4 + u^5",
							"1 + 15*u + 25*u^2 + 22*u^3 + 8*u^4 + u^5",
							"1 + 175*u - 19*u^2 + 114*u^3 + 20*u^4 + u^5",
							"-4 + 8*u + 23*u^2 + 27*u^3 + 9*u^4 + u^5",
							"-49 - 7*u + 73*u^2 + 80*u^3 - 4*u^4 + u^5",
							"-43 + 69*u - 7*u^2 + 40*u^3 - 2*u^4 + u^5",
							"-16 + 56*u - 84*u^2 + 62*u^3 - 10*u^4 + u^5",
							"-1 - u - u^2 + 6*u^3 + u^5",
							"-2 + 2*u + u^2 + 5*u^3 + u^4 + u^5",
							"-1 - u - 13*u^2 + 34*u^3 + 12*u^4 + u^5",
							"-1 - u - u^2 + 2*u^3 + 2*u^4 + u^5",
							"-9 + 45*u - 103*u^2 + 260*u^3 - 28*u^4 + u^5",
							"-19 - 7*u + 59*u^2 + 108*u^3 + 4*u^4 + u^5"
						],
						"GeometricComponent":"{4, 5}",
						"uPolys_ij_N":[
							"-1 + 3*u + 3*u^2 - 2*u^3 - 2*u^4 + u^5",
							"1 + 15*u + 25*u^2 + 22*u^3 + 8*u^4 + u^5",
							"1 + 175*u - 19*u^2 + 114*u^3 + 20*u^4 + u^5",
							"-4 + 8*u + 23*u^2 + 27*u^3 + 9*u^4 + u^5",
							"-49 - 7*u + 73*u^2 + 80*u^3 - 4*u^4 + u^5",
							"-43 + 69*u - 7*u^2 + 40*u^3 - 2*u^4 + u^5",
							"-16 + 56*u - 84*u^2 + 62*u^3 - 10*u^4 + u^5",
							"-1 - u - u^2 + 6*u^3 + u^5",
							"-2 + 2*u + u^2 + 5*u^3 + u^4 + u^5",
							"-1 - u - 13*u^2 + 34*u^3 + 12*u^4 + u^5",
							"-1 - u - u^2 + 2*u^3 + 2*u^4 + u^5",
							"-9 + 45*u - 103*u^2 + 260*u^3 - 28*u^4 + u^5",
							"-19 - 7*u + 59*u^2 + 108*u^3 + 4*u^4 + u^5"
						],
						"Multiplicity":1,
						"ij_list":[
							[
								"{1, 4}",
								"{2, 4}",
								"{2, 5}"
							],
							[
								"{1, 2}",
								"{3, 5}",
								"{4, 5}"
							],
							[
								"{3, 4}"
							],
							[
								"{1, 5}",
								"{2, 3}",
								"{7, 8}"
							],
							[
								"{1, 7}"
							],
							[
								"{4, 7}"
							],
							[
								"{3, 8}"
							],
							[
								"{1, 8}",
								"{2, 6}",
								"{4, 8}",
								"{5, 6}",
								"{5, 7}"
							],
							[
								"{2, 7}",
								"{2, 8}",
								"{3, 7}",
								"{4, 6}"
							],
							[
								"{6, 7}"
							],
							[
								"{1, 6}",
								"{5, 8}",
								"{6, 8}"
							],
							[
								"{1, 3}"
							],
							[
								"{3, 6}"
							]
						],
						"SortedReprnIndices":"{5, 4, 1, 2, 3}",
						"aCuspShapeN":[
							"-2.3654775159370561552`5.029671780031161 - 2.0411235331797341228`4.965622245578805*I",
							"-2.3654775159370561552`5.029671780031161 + 2.0411235331797341228`4.965622245578805*I",
							8.943,
							"-1.1060408104000794475`4.810155716637428 + 2.1544319809434239175`5.099717352121145*I",
							"-1.1060408104000794475`4.810155716637428 - 2.1544319809434239175`5.099717352121145*I"
						],
						"Abelian":false
					},
					{
						"IdealName":"J8_20_1",
						"Generators":[
							"1 + b",
							"a",
							"1 + u"
						],
						"VariableOrder":[
							"b",
							"a",
							"u"
						],
						"Characteristic":0,
						"KnownGroebner":[],
						"Status":[
							"vCompNormalize"
						],
						"MonomialOrder":"lex",
						"IsHomogeneous":false,
						"IsZeroDim":true,
						"IdealDimension":0,
						"Timings":{
							"TimingGroebner":3.5238e-2,
							"TimingZeroDimVars":4.6068e-2,
							"TimingmagmaVCompNormalize":4.7384e-2,
							"TimingNumberOfSols":2.005e-2,
							"TimingIsRadical":1.116e-3,
							"TimingArcColoring":3.8995e-2,
							"TimingObstruction":3.2e-4,
							"TimingComplexVolumeN":0.919399,
							"TimingaCuspShapeN":3.877e-3,
							"TiminguValues":0.504861,
							"TiminguPolysN":8.300000000000001e-5,
							"TiminguPolys":0.679367,
							"TimingaCuspShape":0.106618,
							"TimingRepresentationsN":2.0438e-2,
							"TiminguValues_ij":7.5362e-2,
							"TiminguPoly_ij":0.255867,
							"TiminguPolys_ij_N":5.3e-5
						},
						"ZeroDimensionalVars":[
							"b",
							"a",
							"u"
						],
						"NumberOfSols":1,
						"IsRadical":true,
						"ArcColoring":[
							"{-1, 0}",
							"{0, -1}",
							"{0, -1}",
							"{1, -1}",
							"{1, 0}",
							"{1, -1}",
							"{0, -1}",
							"{0, -1}"
						],
						"Obstruction":1,
						"ComplexVolumeN":"{0}",
						"uPolysN":[
							"-1 + u",
							"u",
							"-1 + u",
							"1 + u",
							"1 + u",
							"-1 + u",
							"u",
							"-1 + u"
						],
						"uPolys":[
							"-1 + u",
							"u",
							"-1 + u",
							"1 + u",
							"1 + u",
							"-1 + u",
							"u",
							"-1 + u"
						],
						"aCuspShape":0,
						"RepresentationsN":[
							[
								"u->-1.",
								"a->0",
								"b->-1."
							]
						],
						"Epsilon":"Infinity",
						"uPolys_ij":[
							"1 + u",
							"u",
							"-1 + u"
						],
						"GeometricComponent":0,
						"uPolys_ij_N":[
							"1 + u",
							"u",
							"-1 + u"
						],
						"Multiplicity":1,
						"ij_list":[
							[
								"{4, 7}",
								"{4, 8}",
								"{5, 6}",
								"{5, 7}",
								"{5, 8}",
								"{6, 7}",
								"{6, 8}"
							],
							[
								"{1, 5}",
								"{2, 3}",
								"{2, 7}",
								"{2, 8}",
								"{3, 7}",
								"{3, 8}",
								"{4, 6}",
								"{7, 8}"
							],
							[
								"{1, 2}",
								"{1, 3}",
								"{1, 4}",
								"{1, 6}",
								"{1, 7}",
								"{1, 8}",
								"{2, 4}",
								"{2, 5}",
								"{2, 6}",
								"{3, 4}",
								"{3, 5}",
								"{3, 6}",
								"{4, 5}"
							]
						],
						"SortedReprnIndices":"{1}",
						"aCuspShapeN":"{0}",
						"Abelian":false
					},
					{
						"IdealName":"abJ8_20_2",
						"Generators":[
							"b",
							"-1 + a",
							"-1 + v"
						],
						"VariableOrder":[
							"b",
							"a",
							"v"
						],
						"Characteristic":0,
						"KnownGroebner":[],
						"Status":[
							"vCompNormalize"
						],
						"MonomialOrder":"lex",
						"IsHomogeneous":false,
						"IsZeroDim":true,
						"IdealDimension":0,
						"Timings":{
							"TimingGroebner":3.2464e-2,
							"TimingZeroDimVars":4.4225000000000014e-2,
							"TimingmagmaVCompNormalize":4.55e-2,
							"TimingNumberOfSols":1.9291e-2,
							"TimingIsRadical":1.1899999999999999e-3,
							"TimingArcColoring":3.8256000000000005e-2,
							"TimingObstruction":3.37e-4,
							"TimingComplexVolumeN":0.326343,
							"TimingaCuspShapeN":3.764e-3,
							"TiminguValues":0.514541,
							"TiminguPolysN":6.3e-5,
							"TiminguPolys":0.649465,
							"TimingaCuspShape":8.8562e-2,
							"TimingRepresentationsN":2.0394000000000002e-2,
							"TiminguValues_ij":7.555500000000001e-2,
							"TiminguPoly_ij":0.111168,
							"TiminguPolys_ij_N":2.7000000000000002e-5
						},
						"ZeroDimensionalVars":[
							"b",
							"a",
							"v"
						],
						"NumberOfSols":1,
						"IsRadical":true,
						"ArcColoring":[
							"{1, 0}",
							"{1, 0}",
							"{1, 0}",
							"{1, 0}",
							"{1, 0}",
							"{1, 0}",
							"{1, 0}",
							"{1, 0}"
						],
						"Obstruction":1,
						"ComplexVolumeN":"{0}",
						"uPolysN":[
							"u",
							"u",
							"u",
							"u",
							"u",
							"u",
							"u",
							"u"
						],
						"uPolys":[
							"u",
							"u",
							"u",
							"u",
							"u",
							"u",
							"u",
							"u"
						],
						"aCuspShape":0,
						"RepresentationsN":[
							[
								"v->1.",
								"a->1.",
								"b->0"
							]
						],
						"Epsilon":"Infinity",
						"uPolys_ij":[
							"u"
						],
						"GeometricComponent":0,
						"uPolys_ij_N":[
							"u"
						],
						"Multiplicity":1,
						"ij_list":[
							[
								"{1, 2}",
								"{1, 3}",
								"{1, 4}",
								"{1, 5}",
								"{1, 6}",
								"{1, 7}",
								"{1, 8}",
								"{2, 3}",
								"{2, 4}",
								"{2, 5}",
								"{2, 6}",
								"{2, 7}",
								"{2, 8}",
								"{3, 4}",
								"{3, 5}",
								"{3, 6}",
								"{3, 7}",
								"{3, 8}",
								"{4, 5}",
								"{4, 6}",
								"{4, 7}",
								"{4, 8}",
								"{5, 6}",
								"{5, 7}",
								"{5, 8}",
								"{6, 7}",
								"{6, 8}",
								"{7, 8}"
							]
						],
						"SortedReprnIndices":"{1}",
						"aCuspShapeN":"{0}",
						"Abelian":true
					}
				]
			},
			"uPolyC":[
				"(-1 + u)*(-1 + 3*u + 3*u^2 - 2*u^3 - 2*u^4 + u^5)",
				"u*(-2 + 2*u + u^2 + 5*u^3 + u^4 + u^5)",
				"(-1 + u)*(1 + 15*u + 25*u^2 + 22*u^3 + 8*u^4 + u^5)",
				"(1 + u)*(-1 + 3*u + 3*u^2 - 2*u^3 - 2*u^4 + u^5)",
				"(1 + u)*(-1 - u - u^2 + 2*u^3 + 2*u^4 + u^5)",
				"(-1 + u)*(-1 - u - u^2 + 6*u^3 + u^5)",
				"u*(-2 + 2*u + u^2 + 5*u^3 + u^4 + u^5)",
				"(-1 + u)*(-1 - u - u^2 + 2*u^3 + 2*u^4 + u^5)"
			],
			"RileyPolyC":[
				"(-1 + y)*(-1 + 15*y - 25*y^2 + 22*y^3 - 8*y^4 + y^5)",
				"y*(-4 + 8*y + 23*y^2 + 27*y^3 + 9*y^4 + y^5)",
				"(-1 + y)*(-1 + 175*y + 19*y^2 + 114*y^3 - 20*y^4 + y^5)",
				"(-1 + y)*(-1 + 15*y - 25*y^2 + 22*y^3 - 8*y^4 + y^5)",
				"(-1 + y)*(-1 - y - y^2 + 6*y^3 + y^5)",
				"(-1 + y)*(-1 - y - 13*y^2 + 34*y^3 + 12*y^4 + y^5)",
				"y*(-4 + 8*y + 23*y^2 + 27*y^3 + 9*y^4 + y^5)",
				"(-1 + y)*(-1 - y - y^2 + 6*y^3 + y^5)"
			]
		},
		"GeometricRepresentation":[
			4.1249,
			[
				"J8_20_0",
				1,
				"{4, 5}"
			]
		]
	}
}