diff --git a/data/smallhyperbolicgrp.jl b/data/smallhyperbolicgrp.jl index 8a3be36..76ce4f3 100644 --- a/data/smallhyperbolicgrp.jl +++ b/data/smallhyperbolicgrp.jl @@ -129,7 +129,7 @@ end function show_json(io::StructuralContext, ::TriangleGrpSerialization, G::TriangleGrp) D = DataStructures.OrderedDict{Symbol,Any}(:name => latex_name(G)) - D[:name_uft8] = _to_utf8(D[:name]) + D[:name_utf8] = _to_utf8(D[:name]) for fname in fieldnames(TriangleGrp) D[fname] = getfield(G, fname) end diff --git a/data/triangle_groups.json b/data/triangle_groups.json index 97e3bb2..69a57c1 100644 --- a/data/triangle_groups.json +++ b/data/triangle_groups.json @@ -1,6 +1,7 @@ [ { - "name": "$G^{6,40,40}_0", + "name": "G^{6,40,40}_0", + "name_utf8": "G⁶'⁴⁰'⁴⁰₀", "half_girth_type": [ 2, 4, @@ -34,25 +35,33 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 2 + "Alt(7)": 2 }, { - "$B_{2}(3)$": 1 + "B_{2}(3)": 1 } ], "alternating_quotients": [ 5, 7 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 2 + }, + { + "B₂(3)": 1 + } + ] }, { - "name": "$G^{6,40,48}_0", + "name": "G^{6,40,48}_0", + "name_utf8": "G⁶'⁴⁰'⁴⁸₀", "half_girth_type": [ 2, 4, @@ -90,10 +99,10 @@ ], "quotients": [ { - "$B_{2}(3)$": 3 + "B_{2}(3)": 3 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -101,10 +110,22 @@ 5, 6 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 3 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{6,40,54}_0", + "name": "G^{6,40,54}_0", + "name_utf8": "G⁶'⁴⁰'⁵⁴₀", "half_girth_type": [ 2, 4, @@ -138,18 +159,16 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{10}$": 4 + "Alt(10)": 4 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 } ], "alternating_quotients": [ @@ -160,10 +179,23 @@ 20, 25 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "Alt(10)": 4 + }, + { + "²A₄(4)": 1 + } + ] }, { - "name": "$G^{6,40,54}_2", + "name": "G^{6,40,54}_2", + "name_utf8": "G⁶'⁴⁰'⁵⁴₂", "half_girth_type": [ 2, 4, @@ -197,18 +229,16 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -216,10 +246,23 @@ 5, 9 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(9)": 2 + }, + { + "²A₃(9)": 1 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{6,48,48}_0", + "name": "G^{6,48,48}_0", + "name_utf8": "G⁶'⁴⁸'⁴⁸₀", "half_girth_type": [ 2, 4, @@ -251,28 +294,39 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 1 + "B_{2}(3)": 1 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 1 + }, + { + "²A₃(9)": 1 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{6,48,54}_0", + "name": "G^{6,48,54}_0", + "name_utf8": "G⁶'⁴⁸'⁵⁴₀", "half_girth_type": [ 2, 4, @@ -305,18 +359,16 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "$\\textrm{Alt}_{11}$": 2 + "Alt(11)": 2 } ], "alternating_quotients": [ @@ -337,10 +389,23 @@ 27, 28 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "Alt(10)": 1 + }, + { + "Alt(11)": 2 + } + ] }, { - "name": "$G^{6,48,54}_2", + "name": "G^{6,48,54}_2", + "name_utf8": "G⁶'⁴⁸'⁵⁴₂", "half_girth_type": [ 2, 4, @@ -373,28 +438,39 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 } ], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "²A₃(9)": 1 + }, + { + "A₃(3)": 1 + }, + { + "²A₄(4)": 1 + } + ] }, { - "name": "$G^{6,54,54}_0", + "name": "G^{6,54,54}_0", + "name_utf8": "G⁶'⁵⁴'⁵⁴₀", "half_girth_type": [ 2, 4, @@ -428,15 +504,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "${}^2A_{4}(4)$": 2 + "{}^2A_{4}(4)": 2 } ], "alternating_quotients": [ @@ -444,10 +518,20 @@ 9, 27 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(9)": 2 + }, + { + "²A₄(4)": 2 + } + ] }, { - "name": "$G^{6,54,54}_2", + "name": "G^{6,54,54}_2", + "name_utf8": "G⁶'⁵⁴'⁵⁴₂", "half_girth_type": [ 2, 4, @@ -481,21 +565,19 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 } ], "alternating_quotients": [ @@ -508,10 +590,26 @@ 24, 27 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(9)": 2 + }, + { + "²A₃(9)": 1 + }, + { + "A₃(3)": 1 + }, + { + "²A₄(4)": 1 + } + ] }, { - "name": "$G^{6,54,54}_8", + "name": "G^{6,54,54}_8", + "name_utf8": "G⁶'⁵⁴'⁵⁴₈", "half_girth_type": [ 2, 4, @@ -545,15 +643,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 4 + "Alt(9)": 4 } ], "alternating_quotients": [ @@ -565,10 +661,20 @@ 24, 27 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "Alt(9)": 4 + } + ] }, { - "name": "$G^{8,40,40}_0", + "name": "G^{8,40,40}_0", + "name_utf8": "G⁸'⁴⁰'⁴⁰₀", "half_girth_type": [ 2, 4, @@ -603,23 +709,23 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [ - "L_2(\\infty^4)" + "L_2(inf^4)" ], "quotients": [ { - "$B_{2}(3)$": 1 + "B_{2}(3)": 1 }, { - "$C_{2}(4)$": 2 + "C_{2}(4)": 2 }, { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "$B_{2}(5)$": 5 + "B_{2}(5)": 5 }, { - "$\\textrm{Alt}_{11}$": 2 + "Alt(11)": 2 } ], "alternating_quotients": [ @@ -633,10 +739,31 @@ 25, 26 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [ + "L₂(inf⁴)" + ], + "quotients_utf8": [ + { + "B₂(3)": 1 + }, + { + "C₂(4)": 2 + }, + { + "Alt(10)": 2 + }, + { + "B₂(5)": 5 + }, + { + "Alt(11)": 2 + } + ] }, { - "name": "$G^{8,40,48}_0", + "name": "G^{8,40,48}_0", + "name_utf8": "G⁸'⁴⁰'⁴⁸₀", "half_girth_type": [ 2, 4, @@ -671,17 +798,26 @@ ], "quotients": [ { - "$B_{2}(5)$": 4 + "B_{2}(5)": 4 } ], "alternating_quotients": [ 5, 6 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(5)": 4 + } + ] }, { - "name": "$G^{8,40,54}_0", + "name": "G^{8,40,54}_0", + "name_utf8": "G⁸'⁴⁰'⁵⁴₀", "half_girth_type": [ 2, 4, @@ -717,19 +853,31 @@ ], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{M}_{12}$": 4 + "M_{12}": 4 } ], "alternating_quotients": [ 6 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "M₁₂": 4 + } + ] }, { - "name": "$G^{8,40,54}_2", + "name": "G^{8,40,54}_2", + "name_utf8": "G⁸'⁴⁰'⁵⁴₂", "half_girth_type": [ 2, 4, @@ -768,19 +916,19 @@ ], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{M}_{12}$": 4 + "M_{12}": 4 }, { - "$\\textrm{Alt}_{10}$": 3 + "Alt(10)": 3 }, { - "$A_{3}(3)$": 2 + "A_{3}(3)": 2 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 } ], "alternating_quotients": [ @@ -794,10 +942,31 @@ 27, 28 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "M₁₂": 4 + }, + { + "Alt(10)": 3 + }, + { + "A₃(3)": 2 + }, + { + "²A₄(4)": 1 + } + ] }, { - "name": "$G^{8,48,48}_0", + "name": "G^{8,48,48}_0", + "name_utf8": "G⁸'⁴⁸'⁴⁸₀", "half_girth_type": [ 2, 4, @@ -826,18 +995,16 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 3 + "B_{2}(3)": 3 }, { - "$C_{3}(2)$": 4 + "C_{3}(2)": 4 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 } ], "alternating_quotients": [ @@ -849,10 +1016,23 @@ 25, 28 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 3 + }, + { + "C₃(2)": 4 + }, + { + "Alt(11)": 1 + } + ] }, { - "name": "$G^{8,48,48}_1", + "name": "G^{8,48,48}_1", + "name_utf8": "G⁸'⁴⁸'⁴⁸₁", "half_girth_type": [ 2, 4, @@ -884,24 +1064,22 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$C_{3}(2)$": 1 + "C_{3}(2)": 1 }, { - "$B_{2}(5)$": 3 + "B_{2}(5)": 3 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 } ], "alternating_quotients": [ @@ -919,10 +1097,29 @@ 27, 28 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "B₂(3)": 2 + }, + { + "C₃(2)": 1 + }, + { + "B₂(5)": 3 + }, + { + "Alt(11)": 1 + } + ] }, { - "name": "$G^{8,48,54}_0", + "name": "G^{8,48,54}_0", + "name_utf8": "G⁸'⁴⁸'⁵⁴₀", "half_girth_type": [ 2, 4, @@ -952,15 +1149,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 1 + "Alt(9)": 1 } ], "alternating_quotients": [ @@ -968,10 +1163,20 @@ 4, 9 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "Alt(9)": 1 + } + ] }, { - "name": "$G^{8,48,54}_2", + "name": "G^{8,48,54}_2", + "name_utf8": "G⁸'⁴⁸'⁵⁴₂", "half_girth_type": [ 2, 4, @@ -1001,21 +1206,19 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$C_{3}(2)$": 1 + "C_{3}(2)": 1 }, { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 } ], "alternating_quotients": [ @@ -1027,10 +1230,26 @@ 26, 28 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "C₃(2)": 1 + }, + { + "Alt(10)": 2 + }, + { + "²A₄(4)": 1 + } + ] }, { - "name": "$G^{8,54,54}_0", + "name": "G^{8,54,54}_0", + "name_utf8": "G⁸'⁵⁴'⁵⁴₀", "half_girth_type": [ 2, 4, @@ -1061,18 +1280,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{8,54,54}_2", + "name": "G^{8,54,54}_2", + "name_utf8": "G⁸'⁵⁴'⁵⁴₂", "half_girth_type": [ 2, 4, @@ -1106,33 +1326,31 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "$C_{3}(2)$": 4 + "C_{3}(2)": 4 }, { - "$\\textrm{Alt}_{10}$": 12 + "Alt(10)": 12 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$A_{3}(3)$": 5 + "A_{3}(3)": 5 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 }, { - "$\\textrm{Alt}_{11}$": 4 + "Alt(11)": 4 } ], "alternating_quotients": [ @@ -1158,10 +1376,38 @@ 27, 28 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "Alt(9)": 2 + }, + { + "C₃(2)": 4 + }, + { + "Alt(10)": 12 + }, + { + "²A₃(9)": 1 + }, + { + "A₃(3)": 5 + }, + { + "²A₄(4)": 1 + }, + { + "Alt(11)": 4 + } + ] }, { - "name": "$G^{8,54,54}_8", + "name": "G^{8,54,54}_8", + "name_utf8": "G⁸'⁵⁴'⁵⁴₈", "half_girth_type": [ 2, 4, @@ -1195,15 +1441,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 } ], "alternating_quotients": [ @@ -1214,10 +1458,20 @@ 27, 28 ], - "maximal_degree_alternating_quotients": 28 + "maximal_degree_alternating_quotients": 28, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "Alt(9)": 2 + } + ] }, { - "name": "$G^{14,14,14}_0", + "name": "G^{14,14,14}_0", + "name_utf8": "G¹⁴'¹⁴'¹⁴₀", "half_girth_type": [ 3, 3, @@ -1251,17 +1505,29 @@ ], "quotients": [ { - "${}^2A_{2}(9)$": 1 + "{}^2A_{2}(9)": 1 }, { - "${}^2A_{2}(25)$": 1 + "{}^2A_{2}(25)": 1 } ], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [ + { + "²A₂(9)": 1 + }, + { + "²A₂(25)": 1 + } + ] }, { - "name": "$G^{14,14,14}_1", + "name": "G^{14,14,14}_1", + "name_utf8": "G¹⁴'¹⁴'¹⁴₁", "half_girth_type": [ 3, 3, @@ -1293,17 +1559,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": true, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,14,14}_2", + "name": "G^{14,14,14}_2", + "name_utf8": "G¹⁴'¹⁴'¹⁴₂", "half_girth_type": [ 3, 3, @@ -1335,21 +1602,26 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": true, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 } ], "alternating_quotients": [ 7 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 1 + } + ] }, { - "name": "$G^{14,14,14}_6", + "name": "G^{14,14,14}_6", + "name_utf8": "G¹⁴'¹⁴'¹⁴₆", "half_girth_type": [ 3, 3, @@ -1381,21 +1653,26 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": true, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(8)$": 2 + "A_{2}(8)": 2 } ], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(8)": 2 + } + ] }, { - "name": "$G^{14,14,16}_0", + "name": "G^{14,14,16}_0", + "name_utf8": "G¹⁴'¹⁴'¹⁶₀", "half_girth_type": [ 3, 3, @@ -1432,17 +1709,26 @@ ], "quotients": [ { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 1 + "Alt(8) or A_{2}(4)": 1 } ], "alternating_quotients": [ 3, 8 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [ + { + "Alt(8) or A₂(4)": 1 + } + ] }, { - "name": "$G^{14,14,16}_1", + "name": "G^{14,14,16}_1", + "name_utf8": "G¹⁴'¹⁴'¹⁶₁", "half_girth_type": [ 3, 3, @@ -1479,10 +1765,15 @@ ], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [] }, { - "name": "$G^{14,14,16}_4", + "name": "G^{14,14,16}_4", + "name_utf8": "G¹⁴'¹⁴'¹⁶₄", "half_girth_type": [ 3, 3, @@ -1514,15 +1805,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,14,16}_5", + "name": "G^{14,14,16}_5", + "name_utf8": "G¹⁴'¹⁴'¹⁶₅", "half_girth_type": [ 3, 3, @@ -1554,17 +1846,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,14,18}_0", + "name": "G^{14,14,18}_0", + "name_utf8": "G¹⁴'¹⁴'¹⁸₀", "half_girth_type": [ 3, 3, @@ -1597,21 +1890,26 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "${}^2A_{2}(9)$": 1 + "{}^2A_{2}(9)": 1 } ], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "²A₂(9)": 1 + } + ] }, { - "name": "$G^{14,14,18}_4", + "name": "G^{14,14,18}_4", + "name_utf8": "G¹⁴'¹⁴'¹⁸₄", "half_girth_type": [ 3, 3, @@ -1644,17 +1942,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,14,24}_0", + "name": "G^{14,14,24}_0", + "name_utf8": "G¹⁴'¹⁴'²⁴₀", "half_girth_type": [ 3, 3, @@ -1691,10 +1990,15 @@ "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [] }, { - "name": "$G^{14,14,24}_1", + "name": "G^{14,14,24}_1", + "name_utf8": "G¹⁴'¹⁴'²⁴₁", "half_girth_type": [ 3, 3, @@ -1732,20 +2036,32 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "${}^2A_{2}(25)$": 1 + "{}^2A_{2}(25)": 1 } ], "alternating_quotients": [ 3, 7 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "²A₂(25)": 1 + } + ] }, { - "name": "$G^{14,14,24}_4", + "name": "G^{14,14,24}_4", + "name_utf8": "G¹⁴'¹⁴'²⁴₄", "half_girth_type": [ 3, 3, @@ -1778,25 +2094,33 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 1 + "Alt(8) or A_{2}(4)": 1 }, { - "$\\textrm{M}_{22}$": 1 + "M_{22}": 1 } ], "alternating_quotients": [ 3, 8 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(8) or A₂(4)": 1 + }, + { + "M₂₂": 1 + } + ] }, { - "name": "$G^{14,14,24}_5", + "name": "G^{14,14,24}_5", + "name_utf8": "G¹⁴'¹⁴'²⁴₅", "half_girth_type": [ 3, 3, @@ -1829,22 +2153,27 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 } ], "alternating_quotients": [ 3, 7 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 1 + } + ] }, { - "name": "$G^{14,14,26}_0", + "name": "G^{14,14,26}_0", + "name_utf8": "G¹⁴'¹⁴'²⁶₀", "half_girth_type": [ 3, 3, @@ -1874,17 +2203,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,14,26}_1", + "name": "G^{14,14,26}_1", + "name_utf8": "G¹⁴'¹⁴'²⁶₁", "half_girth_type": [ 3, 3, @@ -1917,21 +2247,26 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(9)$": 1 + "A_{2}(9)": 1 } ], "alternating_quotients": [ 14 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(9)": 1 + } + ] }, { - "name": "$G^{14,14,26}_3", + "name": "G^{14,14,26}_3", + "name_utf8": "G¹⁴'¹⁴'²⁶₃", "half_girth_type": [ 3, 3, @@ -1964,15 +2299,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,14,26}_4", + "name": "G^{14,14,26}_4", + "name_utf8": "G¹⁴'¹⁴'²⁶₄", "half_girth_type": [ 3, 3, @@ -2005,15 +2341,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,14,26}_5", + "name": "G^{14,14,26}_5", + "name_utf8": "G¹⁴'¹⁴'²⁶₅", "half_girth_type": [ 3, 3, @@ -2046,17 +2383,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,14,26}_7", + "name": "G^{14,14,26}_7", + "name_utf8": "G¹⁴'¹⁴'²⁶₇", "half_girth_type": [ 3, 3, @@ -2089,17 +2427,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,16,16}_0", + "name": "G^{14,16,16}_0", + "name_utf8": "G¹⁴'¹⁶'¹⁶₀", "half_girth_type": [ 3, 3, @@ -2136,10 +2475,15 @@ ], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [] }, { - "name": "$G^{14,16,16}_1", + "name": "G^{14,16,16}_1", + "name_utf8": "G¹⁴'¹⁶'¹⁶₁", "half_girth_type": [ 3, 3, @@ -2171,18 +2515,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,16,18}_0", + "name": "G^{14,16,18}_0", + "name_utf8": "G¹⁴'¹⁶'¹⁸₀", "half_girth_type": [ 3, 3, @@ -2215,17 +2560,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,16,24}_0", + "name": "G^{14,16,24}_0", + "name_utf8": "G¹⁴'¹⁶'²⁴₀", "half_girth_type": [ 3, 3, @@ -2262,10 +2608,15 @@ "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [] }, { - "name": "$G^{14,16,24}_1", + "name": "G^{14,16,24}_1", + "name_utf8": "G¹⁴'¹⁶'²⁴₁", "half_girth_type": [ 3, 3, @@ -2295,18 +2646,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,16,26}_0", + "name": "G^{14,16,26}_0", + "name_utf8": "G¹⁴'¹⁶'²⁶₀", "half_girth_type": [ 3, 3, @@ -2336,15 +2688,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,16,26}_1", + "name": "G^{14,16,26}_1", + "name_utf8": "G¹⁴'¹⁶'²⁶₁", "half_girth_type": [ 3, 3, @@ -2374,17 +2727,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,16,26}_3", + "name": "G^{14,16,26}_3", + "name_utf8": "G¹⁴'¹⁶'²⁶₃", "half_girth_type": [ 3, 3, @@ -2414,17 +2768,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,16,26}_7", + "name": "G^{14,16,26}_7", + "name_utf8": "G¹⁴'¹⁶'²⁶₇", "half_girth_type": [ 3, 3, @@ -2454,15 +2809,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,18,18}_0", + "name": "G^{14,18,18}_0", + "name_utf8": "G¹⁴'¹⁸'¹⁸₀", "half_girth_type": [ 3, 3, @@ -2496,17 +2852,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,18,24}_0", + "name": "G^{14,18,24}_0", + "name_utf8": "G¹⁴'¹⁸'²⁴₀", "half_girth_type": [ 3, 3, @@ -2540,17 +2897,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,18,26}_0", + "name": "G^{14,18,26}_0", + "name_utf8": "G¹⁴'¹⁸'²⁶₀", "half_girth_type": [ 3, 3, @@ -2584,17 +2942,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,18,26}_3", + "name": "G^{14,18,26}_3", + "name_utf8": "G¹⁴'¹⁸'²⁶₃", "half_girth_type": [ 3, 3, @@ -2628,17 +2987,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,24,24}_0", + "name": "G^{14,24,24}_0", + "name_utf8": "G¹⁴'²⁴'²⁴₀", "half_girth_type": [ 3, 3, @@ -2677,16 +3037,16 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 1 + "Alt(8) or A_{2}(4)": 1 }, { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 } ], "alternating_quotients": [ @@ -2700,10 +3060,28 @@ 35, 36 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "Alt(8) or A₂(4)": 1 + }, + { + "J₂": 1 + }, + { + "²A₃(9)": 1 + } + ] }, { - "name": "$G^{14,24,24}_1", + "name": "G^{14,24,24}_1", + "name_utf8": "G¹⁴'²⁴'²⁴₁", "half_girth_type": [ 3, 3, @@ -2734,18 +3112,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,24,26}_0", + "name": "G^{14,24,26}_0", + "name_utf8": "G¹⁴'²⁴'²⁶₀", "half_girth_type": [ 3, 3, @@ -2779,17 +3158,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,24,26}_1", + "name": "G^{14,24,26}_1", + "name_utf8": "G¹⁴'²⁴'²⁶₁", "half_girth_type": [ 3, 3, @@ -2820,17 +3200,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,24,26}_3", + "name": "G^{14,24,26}_3", + "name_utf8": "G¹⁴'²⁴'²⁶₃", "half_girth_type": [ 3, 3, @@ -2861,17 +3242,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,24,26}_7", + "name": "G^{14,24,26}_7", + "name_utf8": "G¹⁴'²⁴'²⁶₇", "half_girth_type": [ 3, 3, @@ -2905,17 +3287,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,26}_0", + "name": "G^{14,26,26}_0", + "name_utf8": "G¹⁴'²⁶'²⁶₀", "half_girth_type": [ 3, 3, @@ -2949,15 +3332,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,26}_1", + "name": "G^{14,26,26}_1", + "name_utf8": "G¹⁴'²⁶'²⁶₁", "half_girth_type": [ 3, 3, @@ -2988,17 +3372,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,26}_3", + "name": "G^{14,26,26}_3", + "name_utf8": "G¹⁴'²⁶'²⁶₃", "half_girth_type": [ 3, 3, @@ -3029,17 +3414,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,26}_4", + "name": "G^{14,26,26}_4", + "name_utf8": "G¹⁴'²⁶'²⁶₄", "half_girth_type": [ 3, 3, @@ -3070,17 +3456,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,26}_5", + "name": "G^{14,26,26}_5", + "name_utf8": "G¹⁴'²⁶'²⁶₅", "half_girth_type": [ 3, 3, @@ -3114,17 +3501,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 14 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,26}_15", + "name": "G^{14,26,26}_15", + "name_utf8": "G¹⁴'²⁶'²⁶₁5", "half_girth_type": [ 3, 3, @@ -3158,17 +3546,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 13 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{16,16,16}_0", + "name": "G^{16,16,16}_0", + "name_utf8": "G¹⁶'¹⁶'¹⁶₀", "half_girth_type": [ 3, 3, @@ -3200,34 +3589,51 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "${}^2A_{2}(9)$": 1 + "{}^2A_{2}(9)": 1 }, { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{2}(9)$": 1 + "A_{2}(9)": 1 }, { - "${}^2A_{2}(81)$": 2 + "{}^2A_{2}(81)": 2 } ], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "²A₂(9)": 1 + }, + { + "J₂": 1 + }, + { + "²A₂(64)": 2 + }, + { + "A₂(9)": 1 + }, + { + "²A₂(81)": 2 + } + ] }, { - "name": "$G^{16,16,16}_1", + "name": "G^{16,16,16}_1", + "name_utf8": "G¹⁶'¹⁶'¹⁶₁", "half_girth_type": [ 3, 3, @@ -3259,28 +3665,39 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 1 + "A_{2}(3)": 1 }, { - "${}^2A_{2}(9)$": 2 + "{}^2A_{2}(9)": 2 }, { - "${}^2A_{2}(81)$": 2 + "{}^2A_{2}(81)": 2 } ], "alternating_quotients": [ 5, 29 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 1 + }, + { + "²A₂(9)": 2 + }, + { + "²A₂(81)": 2 + } + ] }, { - "name": "$G^{16,16,18}_0", + "name": "G^{16,16,18}_0", + "name_utf8": "G¹⁶'¹⁶'¹⁸₀", "half_girth_type": [ 3, 3, @@ -3313,25 +3730,33 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{16,16,24}_0", + "name": "G^{16,16,24}_0", + "name_utf8": "G¹⁶'¹⁶'²⁴₀", "half_girth_type": [ 3, 3, @@ -3361,15 +3786,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "$A_{4}(2)$": 1 + "A_{4}(2)": 1 } ], "alternating_quotients": [ @@ -3379,10 +3802,20 @@ 34, 36 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(10)": 1 + }, + { + "A₄(2)": 1 + } + ] }, { - "name": "$G^{16,16,24}_1", + "name": "G^{16,16,24}_1", + "name_utf8": "G¹⁶'¹⁶'²⁴₁", "half_girth_type": [ 3, 3, @@ -3415,15 +3848,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{9}$": 1 + "Alt(9)": 1 }, { - "$\\textrm{HS}_{}$": 1 + "HS": 1 } ], "alternating_quotients": [ @@ -3436,10 +3867,20 @@ 33, 34 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(9)": 1 + }, + { + "HS": 1 + } + ] }, { - "name": "$G^{16,16,26}_0", + "name": "G^{16,16,26}_0", + "name_utf8": "G¹⁶'¹⁶'²⁶₀", "half_girth_type": [ 3, 3, @@ -3469,18 +3910,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{16,16,26}_1", + "name": "G^{16,16,26}_1", + "name_utf8": "G¹⁶'¹⁶'²⁶₁", "half_girth_type": [ 3, 3, @@ -3521,10 +3963,15 @@ 16, 30 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [] }, { - "name": "$G^{16,18,18}_0", + "name": "G^{16,18,18}_0", + "name_utf8": "G¹⁶'¹⁸'¹⁸₀", "half_girth_type": [ 3, 3, @@ -3558,28 +4005,39 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "²A₂(64)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{16,18,24}_0", + "name": "G^{16,18,24}_0", + "name_utf8": "G¹⁶'¹⁸'²⁴₀", "half_girth_type": [ 3, 3, @@ -3610,12 +4068,10 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 } ], "alternating_quotients": [ @@ -3625,10 +4081,17 @@ 19, 34 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(10)": 1 + } + ] }, { - "name": "$G^{16,18,26}_0", + "name": "G^{16,18,26}_0", + "name_utf8": "G¹⁶'¹⁸'²⁶₀", "half_girth_type": [ 3, 3, @@ -3659,17 +4122,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{16,24,24}_0", + "name": "G^{16,24,24}_0", + "name_utf8": "G¹⁶'²⁴'²⁴₀", "half_girth_type": [ 3, 3, @@ -3700,33 +4164,31 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 2 + "Alt(8) or A_{2}(4)": 2 }, { - "${}^2A_{2}(25)$": 1 + "{}^2A_{2}(25)": 1 }, { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 }, { - "$C_{3}(2)$": 1 + "C_{3}(2)": 1 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$B_{2}(5)$": 1 + "B_{2}(5)": 1 }, { - "$\\textrm{HS}_{}$": 1 + "HS": 1 } ], "alternating_quotients": [ @@ -3752,10 +4214,38 @@ 35, 36 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "Alt(8) or A₂(4)": 2 + }, + { + "²A₂(25)": 1 + }, + { + "J₂": 1 + }, + { + "C₃(2)": 1 + }, + { + "²A₃(9)": 1 + }, + { + "B₂(5)": 1 + }, + { + "HS": 1 + } + ] }, { - "name": "$G^{16,24,24}_1", + "name": "G^{16,24,24}_1", + "name_utf8": "G¹⁶'²⁴'²⁴₁", "half_girth_type": [ 3, 3, @@ -3786,12 +4276,10 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$C_{3}(2)$": 2 + "C_{3}(2)": 2 } ], "alternating_quotients": [ @@ -3813,10 +4301,17 @@ 35, 36 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "C₃(2)": 2 + } + ] }, { - "name": "$G^{16,24,26}_0", + "name": "G^{16,24,26}_0", + "name_utf8": "G¹⁶'²⁴'²⁶₀", "half_girth_type": [ 3, 3, @@ -3847,18 +4342,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{16,24,26}_1", + "name": "G^{16,24,26}_1", + "name_utf8": "G¹⁶'²⁴'²⁶₁", "half_girth_type": [ 3, 3, @@ -3896,10 +4392,15 @@ "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [] }, { - "name": "$G^{16,26,26}_0", + "name": "G^{16,26,26}_0", + "name_utf8": "G¹⁶'²⁶'²⁶₀", "half_girth_type": [ 3, 3, @@ -3930,18 +4431,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 26 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{16,26,26}_1", + "name": "G^{16,26,26}_1", + "name_utf8": "G¹⁶'²⁶'²⁶₁", "half_girth_type": [ 3, 3, @@ -3977,14 +4479,23 @@ ], "quotients": [ { - "$A_{2}(3)$": 1 + "A_{2}(3)": 1 } ], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [ + { + "A₂(3)": 1 + } + ] }, { - "name": "$G^{16,26,26}_3", + "name": "G^{16,26,26}_3", + "name_utf8": "G¹⁶'²⁶'²⁶₃", "half_girth_type": [ 3, 3, @@ -4015,24 +4526,32 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 } ], "alternating_quotients": [ 26 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "G₂(3)": 1 + } + ] }, { - "name": "$G^{16,26,26}_5", + "name": "G^{16,26,26}_5", + "name_utf8": "G¹⁶'²⁶'²⁶₅", "half_girth_type": [ 3, 3, @@ -4068,13 +4587,13 @@ ], "quotients": [ { - "$A_{2}(3)$": 1 + "A_{2}(3)": 1 }, { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -4084,10 +4603,25 @@ 28, 29 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [ + { + "A₂(3)": 1 + }, + { + "G₂(3)": 1 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{18,18,18}_0", + "name": "G^{18,18,18}_0", + "name_utf8": "G¹⁸'¹⁸'¹⁸₀", "half_girth_type": [ 3, 3, @@ -4122,15 +4656,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -4138,10 +4670,20 @@ 27, 36 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,18,24}_0", + "name": "G^{18,18,24}_0", + "name_utf8": "G¹⁸'¹⁸'²⁴₀", "half_girth_type": [ 3, 3, @@ -4176,15 +4718,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 } ], "alternating_quotients": [ @@ -4212,10 +4752,20 @@ 35, 36 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(10)": 1 + }, + { + "Alt(11)": 1 + } + ] }, { - "name": "$G^{18,18,26}_0", + "name": "G^{18,18,26}_0", + "name_utf8": "G¹⁸'¹⁸'²⁶₀", "half_girth_type": [ 3, 3, @@ -4250,25 +4800,33 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ 3, 13 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,24,24}_0", + "name": "G^{18,24,24}_0", + "name_utf8": "G¹⁸'²⁴'²⁴₀", "half_girth_type": [ 3, 3, @@ -4303,18 +4861,16 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 } ], "alternating_quotients": [ @@ -4341,10 +4897,23 @@ 35, 36 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(10)": 1 + }, + { + "²A₃(9)": 1 + }, + { + "Alt(11)": 1 + } + ] }, { - "name": "$G^{18,24,26}_0", + "name": "G^{18,24,26}_0", + "name_utf8": "G¹⁸'²⁴'²⁶₀", "half_girth_type": [ 3, 3, @@ -4379,18 +4948,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 27 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{18,26,26}_0", + "name": "G^{18,26,26}_0", + "name_utf8": "G¹⁸'²⁶'²⁶₀", "half_girth_type": [ 3, 3, @@ -4425,22 +4995,27 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$G_{2}(3)$": 2 + "G_{2}(3)": 2 } ], "alternating_quotients": [ 3, 13 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "G₂(3)": 2 + } + ] }, { - "name": "$G^{18,26,26}_1", + "name": "G^{18,26,26}_1", + "name_utf8": "G¹⁸'²⁶'²⁶₁", "half_girth_type": [ 3, 3, @@ -4475,15 +5050,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 } ], "alternating_quotients": [ @@ -4491,10 +5064,20 @@ 13, 27 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "G₂(3)": 1 + } + ] }, { - "name": "$G^{24,24,24}_0", + "name": "G^{24,24,24}_0", + "name_utf8": "G²⁴'²⁴'²⁴₀", "half_girth_type": [ 3, 3, @@ -4526,24 +5109,22 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 3 + "Alt(7)": 3 }, { - "$\\textrm{M}_{12}$": 1 + "M_{12}": 1 }, { - "$A_{2}(7)$": 1 + "A_{2}(7)": 1 }, { - "$B_{2}(5)$": 3 + "B_{2}(5)": 3 }, { - "$A_{4}(2)$": 1 + "A_{4}(2)": 1 } ], "alternating_quotients": [ @@ -4570,10 +5151,29 @@ 35, 36 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 3 + }, + { + "M₁₂": 1 + }, + { + "A₂(7)": 1 + }, + { + "B₂(5)": 3 + }, + { + "A₄(2)": 1 + } + ] }, { - "name": "$G^{24,24,24}_1", + "name": "G^{24,24,24}_1", + "name_utf8": "G²⁴'²⁴'²⁴₁", "half_girth_type": [ 3, 3, @@ -4608,15 +5208,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{M}_{22}$": 1 + "M_{22}": 1 }, { - "${}^2A_{3}(9)$": 3 + "{}^2A_{3}(9)": 3 } ], "alternating_quotients": [ @@ -4648,10 +5246,20 @@ 35, 36 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "M₂₂": 1 + }, + { + "²A₃(9)": 3 + } + ] }, { - "name": "$G^{24,24,26}_0", + "name": "G^{24,24,26}_0", + "name_utf8": "G²⁴'²⁴'²⁶₀", "half_girth_type": [ 3, 3, @@ -4683,18 +5291,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{24,24,26}_1", + "name": "G^{24,24,26}_1", + "name_utf8": "G²⁴'²⁴'²⁶₁", "half_girth_type": [ 3, 3, @@ -4734,7 +5343,7 @@ ], "quotients": [ { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -4747,10 +5356,19 @@ 27, 28 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [ + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{24,26,26}_0", + "name": "G^{24,26,26}_0", + "name_utf8": "G²⁴'²⁶'²⁶₀", "half_girth_type": [ 3, 3, @@ -4782,19 +5400,20 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 26, 28 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{24,26,26}_1", + "name": "G^{24,26,26}_1", + "name_utf8": "G²⁴'²⁶'²⁶₁", "half_girth_type": [ 3, 3, @@ -4834,10 +5453,10 @@ ], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -4846,10 +5465,22 @@ 14, 27 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{24,26,26}_3", + "name": "G^{24,26,26}_3", + "name_utf8": "G²⁴'²⁶'²⁶₃", "half_girth_type": [ 3, 3, @@ -4884,12 +5515,10 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 } ], "alternating_quotients": [ @@ -4899,10 +5528,17 @@ 16, 26 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + } + ] }, { - "name": "$G^{24,26,26}_5", + "name": "G^{24,26,26}_5", + "name_utf8": "G²⁴'²⁶'²⁶₅", "half_girth_type": [ 3, 3, @@ -4939,10 +5575,10 @@ ], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -4953,10 +5589,22 @@ 27, 28 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{26,26,26}_0", + "name": "G^{26,26,26}_0", + "name_utf8": "G²⁶'²⁶'²⁶₀", "half_girth_type": [ 3, 3, @@ -4988,25 +5636,33 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 1 + "A_{2}(3)": 1 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ 3, 26 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 1 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{26,26,26}_1", + "name": "G^{26,26,26}_1", + "name_utf8": "G²⁶'²⁶'²⁶₁", "half_girth_type": [ 3, 3, @@ -5041,28 +5697,39 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "${}^2A_{2}(16)$": 2 + "{}^2A_{2}(16)": 2 }, { - "$G_{2}(3)$": 6 + "G_{2}(3)": 6 } ], "alternating_quotients": [ 13, 26 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "²A₂(16)": 2 + }, + { + "G₂(3)": 6 + } + ] }, { - "name": "$G^{26,26,26}_5", + "name": "G^{26,26,26}_5", + "name_utf8": "G²⁶'²⁶'²⁶₅", "half_girth_type": [ 3, 3, @@ -5094,24 +5761,32 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "${}^2A_{2}(16)$": 1 + "{}^2A_{2}(16)": 1 } ], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "²A₂(16)": 1 + } + ] }, { - "name": "$G^{26,26,26}_21", + "name": "G^{26,26,26}_21", + "name_utf8": "G²⁶'²⁶'²⁶₂1", "half_girth_type": [ 3, 3, @@ -5151,26 +5826,44 @@ ], "quotients": [ { - "$A_{2}(3)$": 5 + "A_{2}(3)": 5 }, { - "${}^2A_{2}(16)$": 3 + "{}^2A_{2}(16)": 3 }, { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 }, { - "${}^2F_4(2)'$": 1 + "{}^2F_4(2)'": 1 } ], "alternating_quotients": [ 13, 30 ], - "maximal_degree_alternating_quotients": 36 + "maximal_degree_alternating_quotients": 36, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [ + { + "A₂(3)": 5 + }, + { + "²A₂(16)": 3 + }, + { + "G₂(3)": 1 + }, + { + "²F₄(2)'": 1 + } + ] }, { - "name": "$G^{14,14,40}_0", + "name": "G^{14,14,40}_0", + "name_utf8": "G¹⁴'¹⁴'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -5205,22 +5898,37 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "$\\textrm{J}_{1}$": 2 + "J_{1}": 2 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 } ], "alternating_quotients": [ 7 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(7²)" + ], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "J₁": 2 + }, + { + "²A₃(9)": 1 + } + ] }, { - "name": "$G^{14,14,40}_4", + "name": "G^{14,14,40}_4", + "name_utf8": "G¹⁴'¹⁴'⁴⁰₄", "half_girth_type": [ 3, 3, @@ -5250,25 +5958,33 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 2 + "Alt(7)": 2 }, { - "$\\textrm{M}_{22}$": 1 + "M_{22}": 1 } ], "alternating_quotients": [ 7, 28 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 2 + }, + { + "M₂₂": 1 + } + ] }, { - "name": "$G^{14,14,48}_0", + "name": "G^{14,14,48}_0", + "name_utf8": "G¹⁴'¹⁴'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -5302,20 +6018,32 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "${}^2A_{2}(25)$": 1 + "{}^2A_{2}(25)": 1 } ], "alternating_quotients": [ 3, 7 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "²A₂(25)": 1 + } + ] }, { - "name": "$G^{14,14,48}_1", + "name": "G^{14,14,48}_1", + "name_utf8": "G¹⁴'¹⁴'⁴⁸₁", "half_girth_type": [ 3, 3, @@ -5349,17 +6077,26 @@ ], "quotients": [ { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 1 + "Alt(8) or A_{2}(4)": 1 } ], "alternating_quotients": [ 3, 8 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [ + { + "Alt(8) or A₂(4)": 1 + } + ] }, { - "name": "$G^{14,14,48}_4", + "name": "G^{14,14,48}_4", + "name_utf8": "G¹⁴'¹⁴'⁴⁸₄", "half_girth_type": [ 3, 3, @@ -5388,22 +6125,27 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 } ], "alternating_quotients": [ 3, 7 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 1 + } + ] }, { - "name": "$G^{14,14,48}_5", + "name": "G^{14,14,48}_5", + "name_utf8": "G¹⁴'¹⁴'⁴⁸₅", "half_girth_type": [ 3, 3, @@ -5432,15 +6174,13 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 1 + "Alt(8) or A_{2}(4)": 1 }, { - "$\\textrm{M}_{22}$": 1 + "M_{22}": 1 } ], "alternating_quotients": [ @@ -5448,10 +6188,20 @@ 8, 21 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(8) or A₂(4)": 1 + }, + { + "M₂₂": 1 + } + ] }, { - "name": "$G^{14,14,54}_0", + "name": "G^{14,14,54}_0", + "name_utf8": "G¹⁴'¹⁴'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -5481,21 +6231,26 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "${}^2A_{2}(9)$": 1 + "{}^2A_{2}(9)": 1 } ], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "²A₂(9)": 1 + } + ] }, { - "name": "$G^{14,14,54}_4", + "name": "G^{14,14,54}_4", + "name_utf8": "G¹⁴'¹⁴'⁵⁴₄", "half_girth_type": [ 3, 3, @@ -5525,17 +6280,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,16,40}_0", + "name": "G^{14,16,40}_0", + "name_utf8": "G¹⁴'¹⁶'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -5570,10 +6326,15 @@ ], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(7²)" + ], + "quotients_utf8": [] }, { - "name": "$G^{14,16,48}_0", + "name": "G^{14,16,48}_0", + "name_utf8": "G¹⁴'¹⁶'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -5602,18 +6363,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,16,48}_1", + "name": "G^{14,16,48}_1", + "name_utf8": "G¹⁴'¹⁶'⁴⁸₁", "half_girth_type": [ 3, 3, @@ -5649,10 +6411,15 @@ "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [] }, { - "name": "$G^{14,16,54}_0", + "name": "G^{14,16,54}_0", + "name_utf8": "G¹⁴'¹⁶'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -5682,17 +6449,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,16,54}_2", + "name": "G^{14,16,54}_2", + "name_utf8": "G¹⁴'¹⁶'⁵⁴₂", "half_girth_type": [ 3, 3, @@ -5722,17 +6490,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,18,40}_0", + "name": "G^{14,18,40}_0", + "name_utf8": "G¹⁴'¹⁸'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -5763,22 +6532,27 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 } ], "alternating_quotients": [ 21, 25 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "J₂": 1 + } + ] }, { - "name": "$G^{14,18,48}_0", + "name": "G^{14,18,48}_0", + "name_utf8": "G¹⁴'¹⁸'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -5808,21 +6582,26 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 } ], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "G₂(3)": 1 + } + ] }, { - "name": "$G^{14,18,54}_0", + "name": "G^{14,18,54}_0", + "name_utf8": "G¹⁴'¹⁸'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -5853,17 +6632,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,18,54}_2", + "name": "G^{14,18,54}_2", + "name_utf8": "G¹⁴'¹⁸'⁵⁴₂", "half_girth_type": [ 3, 3, @@ -5894,9 +6674,7 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, @@ -5904,10 +6682,13 @@ 28, 29 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,24,40}_0", + "name": "G^{14,24,40}_0", + "name_utf8": "G¹⁴'²⁴'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -5943,23 +6724,38 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "$A_{4}(2)$": 1 + "A_{4}(2)": 1 } ], "alternating_quotients": [ 7, 10 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(7²)" + ], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "Alt(10)": 1 + }, + { + "A₄(2)": 1 + } + ] }, { - "name": "$G^{14,24,48}_0", + "name": "G^{14,24,48}_0", + "name_utf8": "G¹⁴'²⁴'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -5989,18 +6785,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,24,48}_1", + "name": "G^{14,24,48}_1", + "name_utf8": "G¹⁴'²⁴'⁴⁸₁", "half_girth_type": [ 3, 3, @@ -6035,19 +6832,19 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 1 + "Alt(8) or A_{2}(4)": 1 }, { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 }, { - "$C_{3}(2)$": 1 + "C_{3}(2)": 1 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 } ], "alternating_quotients": [ @@ -6059,10 +6856,31 @@ 28, 29 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "Alt(8) or A₂(4)": 1 + }, + { + "J₂": 1 + }, + { + "C₃(2)": 1 + }, + { + "²A₃(9)": 1 + } + ] }, { - "name": "$G^{14,24,54}_0", + "name": "G^{14,24,54}_0", + "name_utf8": "G¹⁴'²⁴'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -6093,18 +6911,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 18 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,24,54}_2", + "name": "G^{14,24,54}_2", + "name_utf8": "G¹⁴'²⁴'⁵⁴₂", "half_girth_type": [ 3, 3, @@ -6135,15 +6954,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$C_{3}(2)$": 1 + "C_{3}(2)": 1 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 } ], "alternating_quotients": [ @@ -6152,10 +6969,20 @@ 21, 28 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "C₃(2)": 1 + }, + { + "²A₃(9)": 1 + } + ] }, { - "name": "$G^{14,26,40}_0", + "name": "G^{14,26,40}_0", + "name_utf8": "G¹⁴'²⁶'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -6186,15 +7013,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,40}_4", + "name": "G^{14,26,40}_4", + "name_utf8": "G¹⁴'²⁶'⁴⁰₄", "half_girth_type": [ 3, 3, @@ -6225,15 +7053,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,48}_0", + "name": "G^{14,26,48}_0", + "name_utf8": "G¹⁴'²⁶'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -6263,17 +7092,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,48}_1", + "name": "G^{14,26,48}_1", + "name_utf8": "G¹⁴'²⁶'⁴⁸₁", "half_girth_type": [ 3, 3, @@ -6303,17 +7133,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,48}_4", + "name": "G^{14,26,48}_4", + "name_utf8": "G¹⁴'²⁶'⁴⁸₄", "half_girth_type": [ 3, 3, @@ -6343,17 +7174,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,48}_5", + "name": "G^{14,26,48}_5", + "name_utf8": "G¹⁴'²⁶'⁴⁸₅", "half_girth_type": [ 3, 3, @@ -6383,17 +7215,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,54}_0", + "name": "G^{14,26,54}_0", + "name_utf8": "G¹⁴'²⁶'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -6424,17 +7257,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,54}_2", + "name": "G^{14,26,54}_2", + "name_utf8": "G¹⁴'²⁶'⁵⁴₂", "half_girth_type": [ 3, 3, @@ -6465,17 +7299,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,54}_4", + "name": "G^{14,26,54}_4", + "name_utf8": "G¹⁴'²⁶'⁵⁴₄", "half_girth_type": [ 3, 3, @@ -6506,17 +7341,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,26,54}_6", + "name": "G^{14,26,54}_6", + "name_utf8": "G¹⁴'²⁶'⁵⁴₆", "half_girth_type": [ 3, 3, @@ -6547,17 +7383,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{16,16,40}_0", + "name": "G^{16,16,40}_0", + "name_utf8": "G¹⁶'¹⁶'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -6587,27 +7424,25 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{M}_{11}$": 1 + "M_{11}": 1 }, { - "$B_{2}(3)$": 1 + "B_{2}(3)": 1 }, { - "$\\textrm{J}_{2}$": 2 + "J_{2}": 2 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$B_{2}(5)$": 1 + "B_{2}(5)": 1 }, { - "$A_{3}(3)$": 2 + "A_{3}(3)": 2 } ], "alternating_quotients": [ @@ -6616,10 +7451,32 @@ 26, 28 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "M₁₁": 1 + }, + { + "B₂(3)": 1 + }, + { + "J₂": 2 + }, + { + "²A₃(9)": 1 + }, + { + "B₂(5)": 1 + }, + { + "A₃(3)": 2 + } + ] }, { - "name": "$G^{16,16,48}_0", + "name": "G^{16,16,48}_0", + "name_utf8": "G¹⁶'¹⁶'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -6648,24 +7505,22 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 1 + "A_{2}(3)": 1 }, { - "${}^2A_{2}(9)$": 2 + "{}^2A_{2}(9)": 2 }, { - "$\\textrm{Alt}_{9}$": 1 + "Alt(9)": 1 }, { - "${}^2A_{2}(81)$": 2 + "{}^2A_{2}(81)": 2 }, { - "$\\textrm{HS}_{}$": 1 + "HS": 1 } ], "alternating_quotients": [ @@ -6678,10 +7533,29 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 1 + }, + { + "²A₂(9)": 2 + }, + { + "Alt(9)": 1 + }, + { + "²A₂(81)": 2 + }, + { + "HS": 1 + } + ] }, { - "name": "$G^{16,16,48}_1", + "name": "G^{16,16,48}_1", + "name_utf8": "G¹⁶'¹⁶'⁴⁸₁", "half_girth_type": [ 3, 3, @@ -6710,33 +7584,31 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "${}^2A_{2}(9)$": 1 + "{}^2A_{2}(9)": 1 }, { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "$B_{2}(5)$": 1 + "B_{2}(5)": 1 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{4}(2)$": 1 + "A_{4}(2)": 1 }, { - "$A_{2}(9)$": 1 + "A_{2}(9)": 1 }, { - "${}^2A_{2}(81)$": 2 + "{}^2A_{2}(81)": 2 } ], "alternating_quotients": [ @@ -6744,10 +7616,38 @@ 4, 10 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "²A₂(9)": 1 + }, + { + "J₂": 1 + }, + { + "Alt(10)": 1 + }, + { + "B₂(5)": 1 + }, + { + "²A₂(64)": 2 + }, + { + "A₄(2)": 1 + }, + { + "A₂(9)": 1 + }, + { + "²A₂(81)": 2 + } + ] }, { - "name": "$G^{16,16,54}_0", + "name": "G^{16,16,54}_0", + "name_utf8": "G¹⁶'¹⁶'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -6777,18 +7677,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 1 + "B_{2}(3)": 1 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -6800,10 +7698,23 @@ 26, 27 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 1 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{16,18,40}_0", + "name": "G^{16,18,40}_0", + "name_utf8": "G¹⁶'¹⁸'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -6839,10 +7750,10 @@ ], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{M}_{12}$": 5 + "M_{12}": 5 } ], "alternating_quotients": [ @@ -6852,10 +7763,22 @@ 27, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "M₁₂": 5 + } + ] }, { - "name": "$G^{16,18,48}_0", + "name": "G^{16,18,48}_0", + "name_utf8": "G¹⁶'¹⁸'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -6885,18 +7808,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -6907,10 +7828,23 @@ 19, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "Alt(10)": 1 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{16,18,54}_0", + "name": "G^{16,18,54}_0", + "name_utf8": "G¹⁶'¹⁸'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -6941,18 +7875,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -6962,10 +7894,23 @@ 26, 27 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "²A₂(64)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{16,18,54}_2", + "name": "G^{16,18,54}_2", + "name_utf8": "G¹⁶'¹⁸'⁵⁴₂", "half_girth_type": [ 3, 3, @@ -6996,18 +7941,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -7023,10 +7966,23 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "²A₂(64)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{16,24,40}_0", + "name": "G^{16,24,40}_0", + "name_utf8": "G¹⁶'²⁴'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -7062,13 +8018,13 @@ ], "quotients": [ { - "$B_{2}(5)$": 2 + "B_{2}(5)": 2 }, { - "$A_{4}(2)$": 3 + "A_{4}(2)": 3 }, { - "$\\textrm{Alt}_{11}$": 2 + "Alt(11)": 2 } ], "alternating_quotients": [ @@ -7078,10 +8034,25 @@ 21, 22 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(5)": 2 + }, + { + "A₄(2)": 3 + }, + { + "Alt(11)": 2 + } + ] }, { - "name": "$G^{16,24,48}_0", + "name": "G^{16,24,48}_0", + "name_utf8": "G¹⁶'²⁴'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -7111,18 +8082,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{9}$": 1 + "Alt(9)": 1 }, { - "$C_{3}(2)$": 5 + "C_{3}(2)": 5 }, { - "$\\textrm{HS}_{}$": 1 + "HS": 1 } ], "alternating_quotients": [ @@ -7146,10 +8115,23 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(9)": 1 + }, + { + "C₃(2)": 5 + }, + { + "HS": 1 + } + ] }, { - "name": "$G^{16,24,48}_1", + "name": "G^{16,24,48}_1", + "name_utf8": "G¹⁶'²⁴'⁴⁸₁", "half_girth_type": [ 3, 3, @@ -7179,39 +8161,37 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 2 + "Alt(8) or A_{2}(4)": 2 }, { - "${}^2A_{2}(25)$": 1 + "{}^2A_{2}(25)": 1 }, { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 }, { - "$C_{3}(2)$": 2 + "C_{3}(2)": 2 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$B_{2}(5)$": 1 + "B_{2}(5)": 1 }, { - "$A_{4}(2)$": 1 + "A_{4}(2)": 1 }, { - "$\\textrm{HS}_{}$": 1 + "HS": 1 } ], "alternating_quotients": [ @@ -7236,10 +8216,44 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "Alt(8) or A₂(4)": 2 + }, + { + "²A₂(25)": 1 + }, + { + "J₂": 1 + }, + { + "C₃(2)": 2 + }, + { + "Alt(10)": 1 + }, + { + "²A₃(9)": 1 + }, + { + "B₂(5)": 1 + }, + { + "A₄(2)": 1 + }, + { + "HS": 1 + } + ] }, { - "name": "$G^{16,24,54}_0", + "name": "G^{16,24,54}_0", + "name_utf8": "G¹⁶'²⁴'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -7270,18 +8284,16 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{9}$": 1 + "Alt(9)": 1 }, { - "$C_{3}(2)$": 1 + "C_{3}(2)": 1 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 } ], "alternating_quotients": [ @@ -7299,10 +8311,23 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(9)": 1 + }, + { + "C₃(2)": 1 + }, + { + "Alt(10)": 1 + } + ] }, { - "name": "$G^{16,24,54}_2", + "name": "G^{16,24,54}_2", + "name_utf8": "G¹⁶'²⁴'⁵⁴₂", "half_girth_type": [ 3, 3, @@ -7333,15 +8358,13 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 1 + "B_{2}(3)": 1 }, { - "$\\textrm{Alt}_{10}$": 3 + "Alt(10)": 3 } ], "alternating_quotients": [ @@ -7361,10 +8384,20 @@ 28, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 1 + }, + { + "Alt(10)": 3 + } + ] }, { - "name": "$G^{16,26,40}_0", + "name": "G^{16,26,40}_0", + "name_utf8": "G¹⁶'²⁶'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -7400,14 +8433,23 @@ ], "quotients": [ { - "${}^2F_4(2)'$": 1 + "{}^2F_4(2)'": 1 } ], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(13²)" + ], + "quotients_utf8": [ + { + "²F₄(2)'": 1 + } + ] }, { - "name": "$G^{16,26,48}_0", + "name": "G^{16,26,48}_0", + "name_utf8": "G¹⁶'²⁶'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -7446,10 +8488,15 @@ 16, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [] }, { - "name": "$G^{16,26,48}_1", + "name": "G^{16,26,48}_1", + "name_utf8": "G¹⁶'²⁶'⁴⁸₁", "half_girth_type": [ 3, 3, @@ -7479,18 +8526,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{16,26,54}_0", + "name": "G^{16,26,54}_0", + "name_utf8": "G¹⁶'²⁶'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -7521,17 +8569,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{16,26,54}_2", + "name": "G^{16,26,54}_2", + "name_utf8": "G¹⁶'²⁶'⁵⁴₂", "half_girth_type": [ 3, 3, @@ -7562,18 +8611,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 28 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{18,18,40}_0", + "name": "G^{18,18,40}_0", + "name_utf8": "G¹⁸'¹⁸'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -7605,15 +8655,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{M}_{12}$": 2 + "M_{12}": 2 }, { - "$A_{3}(3)$": 4 + "A_{3}(3)": 4 } ], "alternating_quotients": [ @@ -7632,10 +8680,20 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "M₁₂": 2 + }, + { + "A₃(3)": 4 + } + ] }, { - "name": "$G^{18,18,48}_0", + "name": "G^{18,18,48}_0", + "name_utf8": "G¹⁸'¹⁸'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -7666,24 +8724,22 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -7705,10 +8761,29 @@ 28, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "Alt(10)": 1 + }, + { + "²A₂(64)": 2 + }, + { + "Alt(11)": 1 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,18,54}_0", + "name": "G^{18,18,54}_0", + "name_utf8": "G¹⁸'¹⁸'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -7740,15 +8815,13 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -7763,10 +8836,20 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,24,40}_0", + "name": "G^{18,24,40}_0", + "name_utf8": "G¹⁸'²⁴'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -7803,19 +8886,19 @@ ], "quotients": [ { - "$\\textrm{M}_{12}$": 6 + "M_{12}": 6 }, { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "${}^2A_{3}(9)$": 2 + "{}^2A_{3}(9)": 2 }, { - "$A_{3}(3)$": 3 + "A_{3}(3)": 3 }, { - "$\\textrm{Alt}_{11}$": 4 + "Alt(11)": 4 } ], "alternating_quotients": [ @@ -7839,10 +8922,31 @@ 28, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "M₁₂": 6 + }, + { + "Alt(10)": 2 + }, + { + "²A₃(9)": 2 + }, + { + "A₃(3)": 3 + }, + { + "Alt(11)": 4 + } + ] }, { - "name": "$G^{18,24,48}_0", + "name": "G^{18,24,48}_0", + "name_utf8": "G¹⁸'²⁴'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -7873,21 +8977,19 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$A_{3}(3)$": 2 + "A_{3}(3)": 2 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 } ], "alternating_quotients": [ @@ -7912,10 +9014,26 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(10)": 2 + }, + { + "²A₃(9)": 1 + }, + { + "A₃(3)": 2 + }, + { + "Alt(11)": 1 + } + ] }, { - "name": "$G^{18,24,54}_0", + "name": "G^{18,24,54}_0", + "name_utf8": "G¹⁸'²⁴'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -7947,18 +9065,16 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "$A_{3}(3)$": 4 + "A_{3}(3)": 4 }, { - "$\\textrm{Alt}_{11}$": 2 + "Alt(11)": 2 } ], "alternating_quotients": [ @@ -7982,10 +9098,23 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(10)": 2 + }, + { + "A₃(3)": 4 + }, + { + "Alt(11)": 2 + } + ] }, { - "name": "$G^{18,24,54}_2", + "name": "G^{18,24,54}_2", + "name_utf8": "G¹⁸'²⁴'⁵⁴₂", "half_girth_type": [ 3, 3, @@ -8017,18 +9146,16 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 } ], "alternating_quotients": [ @@ -8052,10 +9179,23 @@ 28, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(9)": 2 + }, + { + "Alt(10)": 1 + }, + { + "Alt(11)": 1 + } + ] }, { - "name": "$G^{18,26,40}_0", + "name": "G^{18,26,40}_0", + "name_utf8": "G¹⁸'²⁶'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -8087,15 +9227,16 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{18,26,48}_0", + "name": "G^{18,26,48}_0", + "name_utf8": "G¹⁸'²⁶'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -8126,22 +9267,27 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 } ], "alternating_quotients": [ 3, 27 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "G₂(3)": 1 + } + ] }, { - "name": "$G^{18,26,54}_0", + "name": "G^{18,26,54}_0", + "name_utf8": "G¹⁸'²⁶'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -8173,15 +9319,13 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -8190,10 +9334,20 @@ 26, 27 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,26,54}_2", + "name": "G^{18,26,54}_2", + "name_utf8": "G¹⁸'²⁶'⁵⁴₂", "half_girth_type": [ 3, 3, @@ -8225,25 +9379,33 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ 3, 13 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{24,24,40}_0", + "name": "G^{24,24,40}_0", + "name_utf8": "G²⁴'²⁴'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -8281,28 +9443,28 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 2 + "Alt(7)": 2 }, { - "$\\textrm{M}_{22}$": 2 + "M_{22}": 2 }, { - "$\\textrm{J}_{2}$": 4 + "J_{2}": 4 }, { - "$C_{2}(4)$": 4 + "C_{2}(4)": 4 }, { - "$C_{3}(2)$": 1 + "C_{3}(2)": 1 }, { - "$B_{2}(5)$": 8 + "B_{2}(5)": 8 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 }, { - "$A_{4}(2)$": 2 + "A_{4}(2)": 2 } ], "alternating_quotients": [ @@ -8326,10 +9488,41 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)", + "L₂(3²)" + ], + "quotients_utf8": [ + { + "Alt(7)": 2 + }, + { + "M₂₂": 2 + }, + { + "J₂": 4 + }, + { + "C₂(4)": 4 + }, + { + "C₃(2)": 1 + }, + { + "B₂(5)": 8 + }, + { + "A₃(3)": 1 + }, + { + "A₄(2)": 2 + } + ] }, { - "name": "$G^{24,24,48}_0", + "name": "G^{24,24,48}_0", + "name_utf8": "G²⁴'²⁴'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -8360,24 +9553,22 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{M}_{22}$": 1 + "M_{22}": 1 }, { - "$C_{3}(2)$": 6 + "C_{3}(2)": 6 }, { - "${}^2A_{3}(9)$": 5 + "{}^2A_{3}(9)": 5 }, { - "$B_{2}(5)$": 2 + "B_{2}(5)": 2 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -8404,10 +9595,29 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "M₂₂": 1 + }, + { + "C₃(2)": 6 + }, + { + "²A₃(9)": 5 + }, + { + "B₂(5)": 2 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{24,24,48}_1", + "name": "G^{24,24,48}_1", + "name_utf8": "G²⁴'²⁴'⁴⁸₁", "half_girth_type": [ 3, 3, @@ -8438,45 +9648,43 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 3 + "Alt(7)": 3 }, { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 2 + "Alt(8) or A_{2}(4)": 2 }, { - "$\\textrm{M}_{12}$": 1 + "M_{12}": 1 }, { - "${}^2A_{2}(25)$": 1 + "{}^2A_{2}(25)": 1 }, { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 }, { - "$C_{3}(2)$": 3 + "C_{3}(2)": 3 }, { - "$A_{2}(7)$": 1 + "A_{2}(7)": 1 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$B_{2}(5)$": 3 + "B_{2}(5)": 3 }, { - "$A_{4}(2)$": 1 + "A_{4}(2)": 1 }, { - "${}^2A_{4}(4)$": 2 + "{}^2A_{4}(4)": 2 }, { - "$\\textrm{HS}_{}$": 1 + "HS": 1 } ], "alternating_quotients": [ @@ -8501,10 +9709,50 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 3 + }, + { + "Alt(8) or A₂(4)": 2 + }, + { + "M₁₂": 1 + }, + { + "²A₂(25)": 1 + }, + { + "J₂": 1 + }, + { + "C₃(2)": 3 + }, + { + "A₂(7)": 1 + }, + { + "²A₃(9)": 1 + }, + { + "B₂(5)": 3 + }, + { + "A₄(2)": 1 + }, + { + "²A₄(4)": 2 + }, + { + "HS": 1 + } + ] }, { - "name": "$G^{24,24,54}_0", + "name": "G^{24,24,54}_0", + "name_utf8": "G²⁴'²⁴'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -8536,21 +9784,19 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{9}$": 3 + "Alt(9)": 3 }, { - "$\\textrm{Alt}_{10}$": 4 + "Alt(10)": 4 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$\\textrm{Alt}_{11}$": 2 + "Alt(11)": 2 } ], "alternating_quotients": [ @@ -8577,10 +9823,26 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(9)": 3 + }, + { + "Alt(10)": 4 + }, + { + "²A₃(9)": 1 + }, + { + "Alt(11)": 2 + } + ] }, { - "name": "$G^{24,26,40}_0", + "name": "G^{24,26,40}_0", + "name_utf8": "G²⁴'²⁶'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -8617,10 +9879,15 @@ ], "quotients": [], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(13²)" + ], + "quotients_utf8": [] }, { - "name": "$G^{24,26,48}_0", + "name": "G^{24,26,48}_0", + "name_utf8": "G²⁴'²⁶'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -8656,7 +9923,7 @@ ], "quotients": [ { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -8671,10 +9938,19 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [ + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{24,26,48}_1", + "name": "G^{24,26,48}_1", + "name_utf8": "G²⁴'²⁶'⁴⁸₁", "half_girth_type": [ 3, 3, @@ -8705,9 +9981,7 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, @@ -8715,10 +9989,13 @@ 14, 28 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{24,26,54}_0", + "name": "G^{24,26,54}_0", + "name_utf8": "G²⁴'²⁶'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -8750,12 +10027,10 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -8765,10 +10040,17 @@ 27, 28 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{24,26,54}_2", + "name": "G^{24,26,54}_2", + "name_utf8": "G²⁴'²⁶'⁵⁴₂", "half_girth_type": [ 3, 3, @@ -8800,19 +10082,20 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 13, 27 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{26,26,40}_0", + "name": "G^{26,26,40}_0", + "name_utf8": "G²⁶'²⁶'⁴⁰₀", "half_girth_type": [ 3, 3, @@ -8844,17 +10127,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 13 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{26,26,40}_4", + "name": "G^{26,26,40}_4", + "name_utf8": "G²⁶'²⁶'⁴⁰₄", "half_girth_type": [ 3, 3, @@ -8891,20 +10175,32 @@ ], "quotients": [ { - "${}^2A_{2}(16)$": 1 + "{}^2A_{2}(16)": 1 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ 13, 26 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(13²)" + ], + "quotients_utf8": [ + { + "²A₂(16)": 1 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{26,26,48}_0", + "name": "G^{26,26,48}_0", + "name_utf8": "G²⁶'²⁶'⁴⁸₀", "half_girth_type": [ 3, 3, @@ -8935,15 +10231,13 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 } ], "alternating_quotients": [ @@ -8953,10 +10247,20 @@ 16, 26 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "G₂(3)": 1 + } + ] }, { - "name": "$G^{26,26,48}_1", + "name": "G^{26,26,48}_1", + "name_utf8": "G²⁶'²⁶'⁴⁸₁", "half_girth_type": [ 3, 3, @@ -8987,19 +10291,20 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 26, 28 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{26,26,48}_4", + "name": "G^{26,26,48}_4", + "name_utf8": "G²⁶'²⁶'⁴⁸₄", "half_girth_type": [ 3, 3, @@ -9035,13 +10340,13 @@ ], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -9053,10 +10358,25 @@ 28, 29 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "G₂(3)": 1 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{26,26,48}_5", + "name": "G^{26,26,48}_5", + "name_utf8": "G²⁶'²⁶'⁴⁸₅", "half_girth_type": [ 3, 3, @@ -9092,10 +10412,10 @@ ], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -9104,10 +10424,22 @@ 14, 27 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{26,26,54}_0", + "name": "G^{26,26,54}_0", + "name_utf8": "G²⁶'²⁶'⁵⁴₀", "half_girth_type": [ 3, 3, @@ -9139,22 +10471,27 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$G_{2}(3)$": 2 + "G_{2}(3)": 2 } ], "alternating_quotients": [ 3, 13 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "G₂(3)": 2 + } + ] }, { - "name": "$G^{26,26,54}_4", + "name": "G^{26,26,54}_4", + "name_utf8": "G²⁶'²⁶'⁵⁴₄", "half_girth_type": [ 3, 3, @@ -9186,15 +10523,13 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 } ], "alternating_quotients": [ @@ -9202,10 +10537,20 @@ 13, 27 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "G₂(3)": 1 + } + ] }, { - "name": "$G^{14,40,40}_0", + "name": "G^{14,40,40}_0", + "name_utf8": "G¹⁴'⁴⁰'⁴⁰₀", "half_girth_type": [ 3, 4, @@ -9241,25 +10586,25 @@ ], "quotients": [ { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 5 + "Alt(8) or A_{2}(4)": 5 }, { - "$C_{3}(2)$": 2 + "C_{3}(2)": 2 }, { - "$\\textrm{Alt}_{10}$": 4 + "Alt(10)": 4 }, { - "${}^2A_{3}(9)$": 2 + "{}^2A_{3}(9)": 2 }, { - "$A_{4}(2)$": 3 + "A_{4}(2)": 3 }, { - "$\\textrm{Alt}_{11}$": 3 + "Alt(11)": 3 }, { - "$A_{2}(9)$": 1 + "A_{2}(9)": 1 } ], "alternating_quotients": [ @@ -9270,10 +10615,37 @@ 21, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(7²)" + ], + "quotients_utf8": [ + { + "Alt(8) or A₂(4)": 5 + }, + { + "C₃(2)": 2 + }, + { + "Alt(10)": 4 + }, + { + "²A₃(9)": 2 + }, + { + "A₄(2)": 3 + }, + { + "Alt(11)": 3 + }, + { + "A₂(9)": 1 + } + ] }, { - "name": "$G^{14,40,48}_0", + "name": "G^{14,40,48}_0", + "name_utf8": "G¹⁴'⁴⁰'⁴⁸₀", "half_girth_type": [ 3, 4, @@ -9308,23 +10680,38 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "$A_{4}(2)$": 1 + "A_{4}(2)": 1 } ], "alternating_quotients": [ 7, 10 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(7²)" + ], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "Alt(10)": 1 + }, + { + "A₄(2)": 1 + } + ] }, { - "name": "$G^{14,40,54}_0", + "name": "G^{14,40,54}_0", + "name_utf8": "G¹⁴'⁴⁰'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -9355,25 +10742,33 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 }, { - "$C_{3}(2)$": 2 + "C_{3}(2)": 2 } ], "alternating_quotients": [ 21, 25 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "J₂": 1 + }, + { + "C₃(2)": 2 + } + ] }, { - "name": "$G^{14,40,54}_2", + "name": "G^{14,40,54}_2", + "name_utf8": "G¹⁴'⁴⁰'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -9404,15 +10799,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 }, { - "$C_{3}(2)$": 2 + "C_{3}(2)": 2 } ], "alternating_quotients": [ @@ -9423,10 +10816,20 @@ 27, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "J₂": 1 + }, + { + "C₃(2)": 2 + } + ] }, { - "name": "$G^{14,48,48}_0", + "name": "G^{14,48,48}_0", + "name_utf8": "G¹⁴'⁴⁸'⁴⁸₀", "half_girth_type": [ 3, 4, @@ -9460,22 +10863,22 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 1 + "Alt(8) or A_{2}(4)": 1 }, { - "$\\textrm{J}_{2}$": 1 + "J_{2}": 1 }, { - "$C_{3}(2)$": 2 + "C_{3}(2)": 2 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$G_{2}(3)$": 2 + "G_{2}(3)": 2 } ], "alternating_quotients": [ @@ -9492,10 +10895,34 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(7)" + ], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "Alt(8) or A₂(4)": 1 + }, + { + "J₂": 1 + }, + { + "C₃(2)": 2 + }, + { + "²A₃(9)": 1 + }, + { + "G₂(3)": 2 + } + ] }, { - "name": "$G^{14,48,48}_1", + "name": "G^{14,48,48}_1", + "name_utf8": "G¹⁴'⁴⁸'⁴⁸₁", "half_girth_type": [ 3, 4, @@ -9524,18 +10951,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, 4 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,48,54}_0", + "name": "G^{14,48,54}_0", + "name_utf8": "G¹⁴'⁴⁸'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -9565,22 +10993,27 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 } ], "alternating_quotients": [ 3, 18 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "G₂(3)": 1 + } + ] }, { - "name": "$G^{14,48,54}_2", + "name": "G^{14,48,54}_2", + "name_utf8": "G¹⁴'⁴⁸'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -9610,18 +11043,16 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$C_{3}(2)$": 3 + "C_{3}(2)": 3 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 } ], "alternating_quotients": [ @@ -9634,10 +11065,23 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "C₃(2)": 3 + }, + { + "²A₃(9)": 1 + }, + { + "G₂(3)": 1 + } + ] }, { - "name": "$G^{14,54,54}_0", + "name": "G^{14,54,54}_0", + "name_utf8": "G¹⁴'⁵⁴'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -9668,9 +11112,7 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, @@ -9678,10 +11120,13 @@ 28, 29 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{14,54,54}_2", + "name": "G^{14,54,54}_2", + "name_utf8": "G¹⁴'⁵⁴'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -9712,15 +11157,13 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{10}$": 6 + "Alt(10)": 6 }, { - "${}^2A_{3}(9)$": 2 + "{}^2A_{3}(9)": 2 } ], "alternating_quotients": [ @@ -9739,10 +11182,20 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(10)": 6 + }, + { + "²A₃(9)": 2 + } + ] }, { - "name": "$G^{14,54,54}_8", + "name": "G^{14,54,54}_8", + "name_utf8": "G¹⁴'⁵⁴'⁵⁴₈", "half_girth_type": [ 3, 4, @@ -9773,9 +11226,7 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 3, @@ -9784,10 +11235,13 @@ 27, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{16,40,40}_0", + "name": "G^{16,40,40}_0", + "name_utf8": "G¹⁶'⁴⁰'⁴⁰₀", "half_girth_type": [ 3, 4, @@ -9819,38 +11273,38 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [ - "L_2(\\infty^4)" + "L_2(inf^4)" ], "quotients": [ { - "$\\textrm{M}_{11}$": 4 + "M_{11}": 4 }, { - "$B_{2}(3)$": 7 + "B_{2}(3)": 7 }, { - "${}^2A_{2}(25)$": 1 + "{}^2A_{2}(25)": 1 }, { - "$\\textrm{J}_{2}$": 2 + "J_{2}": 2 }, { - "$C_{2}(4)$": 2 + "C_{2}(4)": 2 }, { - "$\\textrm{Alt}_{10}$": 4 + "Alt(10)": 4 }, { - "${}^2A_{3}(9)$": 4 + "{}^2A_{3}(9)": 4 }, { - "$B_{2}(5)$": 11 + "B_{2}(5)": 11 }, { - "$A_{3}(3)$": 2 + "A_{3}(3)": 2 }, { - "$\\textrm{Alt}_{11}$": 6 + "Alt(11)": 6 } ], "alternating_quotients": [ @@ -9872,10 +11326,46 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(inf⁴)" + ], + "quotients_utf8": [ + { + "M₁₁": 4 + }, + { + "B₂(3)": 7 + }, + { + "²A₂(25)": 1 + }, + { + "J₂": 2 + }, + { + "C₂(4)": 2 + }, + { + "Alt(10)": 4 + }, + { + "²A₃(9)": 4 + }, + { + "B₂(5)": 11 + }, + { + "A₃(3)": 2 + }, + { + "Alt(11)": 6 + } + ] }, { - "name": "$G^{16,40,48}_0", + "name": "G^{16,40,48}_0", + "name_utf8": "G¹⁶'⁴⁰'⁴⁸₀", "half_girth_type": [ 3, 4, @@ -9910,28 +11400,28 @@ ], "quotients": [ { - "$\\textrm{M}_{11}$": 1 + "M_{11}": 1 }, { - "$B_{2}(3)$": 1 + "B_{2}(3)": 1 }, { - "$\\textrm{J}_{2}$": 2 + "J_{2}": 2 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$B_{2}(5)$": 5 + "B_{2}(5)": 5 }, { - "$A_{3}(3)$": 2 + "A_{3}(3)": 2 }, { - "$A_{4}(2)$": 3 + "A_{4}(2)": 3 }, { - "$\\textrm{Alt}_{11}$": 2 + "Alt(11)": 2 } ], "alternating_quotients": [ @@ -9950,10 +11440,40 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "M₁₁": 1 + }, + { + "B₂(3)": 1 + }, + { + "J₂": 2 + }, + { + "²A₃(9)": 1 + }, + { + "B₂(5)": 5 + }, + { + "A₃(3)": 2 + }, + { + "A₄(2)": 3 + }, + { + "Alt(11)": 2 + } + ] }, { - "name": "$G^{16,40,54}_0", + "name": "G^{16,40,54}_0", + "name_utf8": "G¹⁶'⁴⁰'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -9989,22 +11509,22 @@ ], "quotients": [ { - "$B_{2}(3)$": 5 + "B_{2}(3)": 5 }, { - "$\\textrm{M}_{12}$": 5 + "M_{12}": 5 }, { - "$C_{3}(2)$": 1 + "C_{3}(2)": 1 }, { - "${}^2A_{3}(9)$": 2 + "{}^2A_{3}(9)": 2 }, { - "$A_{3}(3)$": 3 + "A_{3}(3)": 3 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 } ], "alternating_quotients": [ @@ -10021,10 +11541,34 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 5 + }, + { + "M₁₂": 5 + }, + { + "C₃(2)": 1 + }, + { + "²A₃(9)": 2 + }, + { + "A₃(3)": 3 + }, + { + "²A₄(4)": 1 + } + ] }, { - "name": "$G^{16,40,54}_2", + "name": "G^{16,40,54}_2", + "name_utf8": "G¹⁶'⁴⁰'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -10060,22 +11604,22 @@ ], "quotients": [ { - "$B_{2}(3)$": 4 + "B_{2}(3)": 4 }, { - "$\\textrm{M}_{12}$": 5 + "M_{12}": 5 }, { - "$\\textrm{Alt}_{10}$": 3 + "Alt(10)": 3 }, { - "${}^2A_{3}(9)$": 4 + "{}^2A_{3}(9)": 4 }, { - "$A_{3}(3)$": 4 + "A_{3}(3)": 4 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 } ], "alternating_quotients": [ @@ -10096,10 +11640,34 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 4 + }, + { + "M₁₂": 5 + }, + { + "Alt(10)": 3 + }, + { + "²A₃(9)": 4 + }, + { + "A₃(3)": 4 + }, + { + "²A₄(4)": 1 + } + ] }, { - "name": "$G^{16,48,48}_0", + "name": "G^{16,48,48}_0", + "name_utf8": "G¹⁶'⁴⁸'⁴⁸₀", "half_girth_type": [ 3, 4, @@ -10128,60 +11696,58 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "${}^2A_{2}(9)$": 1 + "{}^2A_{2}(9)": 1 }, { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 2 + "Alt(8) or A_{2}(4)": 2 }, { - "$B_{2}(3)$": 5 + "B_{2}(3)": 5 }, { - "${}^2A_{2}(25)$": 1 + "{}^2A_{2}(25)": 1 }, { - "$\\textrm{J}_{2}$": 2 + "J_{2}": 2 }, { - "$C_{3}(2)$": 5 + "C_{3}(2)": 5 }, { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "${}^2A_{3}(9)$": 4 + "{}^2A_{3}(9)": 4 }, { - "$B_{2}(5)$": 5 + "B_{2}(5)": 5 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{3}(3)$": 5 + "A_{3}(3)": 5 }, { - "$A_{4}(2)$": 2 + "A_{4}(2)": 2 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 }, { - "$A_{2}(9)$": 1 + "A_{2}(9)": 1 }, { - "${}^2A_{2}(81)$": 2 + "{}^2A_{2}(81)": 2 }, { - "$\\textrm{HS}_{}$": 1 + "HS": 1 } ], "alternating_quotients": [ @@ -10207,10 +11773,65 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "²A₂(9)": 1 + }, + { + "Alt(8) or A₂(4)": 2 + }, + { + "B₂(3)": 5 + }, + { + "²A₂(25)": 1 + }, + { + "J₂": 2 + }, + { + "C₃(2)": 5 + }, + { + "Alt(10)": 2 + }, + { + "²A₃(9)": 4 + }, + { + "B₂(5)": 5 + }, + { + "²A₂(64)": 2 + }, + { + "A₃(3)": 5 + }, + { + "A₄(2)": 2 + }, + { + "Alt(11)": 1 + }, + { + "A₂(9)": 1 + }, + { + "²A₂(81)": 2 + }, + { + "HS": 1 + } + ] }, { - "name": "$G^{16,48,48}_1", + "name": "G^{16,48,48}_1", + "name_utf8": "G¹⁶'⁴⁸'⁴⁸₁", "half_girth_type": [ 3, 4, @@ -10239,39 +11860,37 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 1 + "A_{2}(3)": 1 }, { - "${}^2A_{2}(9)$": 2 + "{}^2A_{2}(9)": 2 }, { - "$B_{2}(3)$": 8 + "B_{2}(3)": 8 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "$C_{3}(2)$": 10 + "C_{3}(2)": 10 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$A_{3}(3)$": 6 + "A_{3}(3)": 6 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 }, { - "${}^2A_{2}(81)$": 2 + "{}^2A_{2}(81)": 2 }, { - "$\\textrm{HS}_{}$": 2 + "HS": 2 } ], "alternating_quotients": [ @@ -10297,10 +11916,44 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 1 + }, + { + "²A₂(9)": 2 + }, + { + "B₂(3)": 8 + }, + { + "Alt(9)": 2 + }, + { + "C₃(2)": 10 + }, + { + "²A₃(9)": 1 + }, + { + "A₃(3)": 6 + }, + { + "Alt(11)": 1 + }, + { + "²A₂(81)": 2 + }, + { + "HS": 2 + } + ] }, { - "name": "$G^{16,48,54}_0", + "name": "G^{16,48,54}_0", + "name_utf8": "G¹⁶'⁴⁸'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -10330,36 +11983,34 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 4 + "B_{2}(3)": 4 }, { - "$\\textrm{Alt}_{9}$": 1 + "Alt(9)": 1 }, { - "$C_{3}(2)$": 1 + "C_{3}(2)": 1 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "${}^2A_{3}(9)$": 3 + "{}^2A_{3}(9)": 3 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -10381,10 +12032,41 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 4 + }, + { + "Alt(9)": 1 + }, + { + "C₃(2)": 1 + }, + { + "Alt(10)": 1 + }, + { + "²A₃(9)": 3 + }, + { + "A₃(3)": 1 + }, + { + "²A₄(4)": 1 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{16,48,54}_2", + "name": "G^{16,48,54}_2", + "name_utf8": "G¹⁶'⁴⁸'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -10414,33 +12096,31 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 4 + "B_{2}(3)": 4 }, { - "$C_{3}(2)$": 1 + "C_{3}(2)": 1 }, { - "$\\textrm{Alt}_{10}$": 3 + "Alt(10)": 3 }, { - "${}^2A_{3}(9)$": 2 + "{}^2A_{3}(9)": 2 }, { - "$A_{3}(3)$": 3 + "A_{3}(3)": 3 }, { - "${}^2A_{4}(4)$": 5 + "{}^2A_{4}(4)": 5 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -10467,10 +12147,38 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 4 + }, + { + "C₃(2)": 1 + }, + { + "Alt(10)": 3 + }, + { + "²A₃(9)": 2 + }, + { + "A₃(3)": 3 + }, + { + "²A₄(4)": 5 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{16,54,54}_0", + "name": "G^{16,54,54}_0", + "name_utf8": "G¹⁶'⁵⁴'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -10501,21 +12209,19 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "${}^2A_{4}(4)$": 2 + "{}^2A_{4}(4)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -10531,10 +12237,26 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "²A₂(64)": 2 + }, + { + "²A₄(4)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{16,54,54}_2", + "name": "G^{16,54,54}_2", + "name_utf8": "G¹⁶'⁵⁴'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -10565,42 +12287,40 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 6 + "B_{2}(3)": 6 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "$C_{3}(2)$": 4 + "C_{3}(2)": 4 }, { - "$\\textrm{Alt}_{10}$": 12 + "Alt(10)": 12 }, { - "${}^2A_{3}(9)$": 3 + "{}^2A_{3}(9)": 3 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{3}(3)$": 5 + "A_{3}(3)": 5 }, { - "${}^2A_{4}(4)$": 5 + "{}^2A_{4}(4)": 5 }, { - "$\\textrm{Alt}_{11}$": 6 + "Alt(11)": 6 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -10629,10 +12349,47 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 6 + }, + { + "Alt(9)": 2 + }, + { + "C₃(2)": 4 + }, + { + "Alt(10)": 12 + }, + { + "²A₃(9)": 3 + }, + { + "²A₂(64)": 2 + }, + { + "A₃(3)": 5 + }, + { + "²A₄(4)": 5 + }, + { + "Alt(11)": 6 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{16,54,54}_8", + "name": "G^{16,54,54}_8", + "name_utf8": "G¹⁶'⁵⁴'⁵⁴₈", "half_girth_type": [ 3, 4, @@ -10663,33 +12420,31 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 4 + "B_{2}(3)": 4 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "${}^2A_{3}(9)$": 3 + "{}^2A_{3}(9)": 3 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{3}(3)$": 7 + "A_{3}(3)": 7 }, { - "${}^2A_{4}(4)$": 3 + "{}^2A_{4}(4)": 3 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -10710,10 +12465,38 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 4 + }, + { + "Alt(9)": 2 + }, + { + "²A₃(9)": 3 + }, + { + "²A₂(64)": 2 + }, + { + "A₃(3)": 7 + }, + { + "²A₄(4)": 3 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,40,40}_0", + "name": "G^{18,40,40}_0", + "name_utf8": "G¹⁸'⁴⁰'⁴⁰₀", "half_girth_type": [ 3, 4, @@ -10745,27 +12528,25 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 2 + "Alt(7)": 2 }, { - "$B_{2}(3)$": 5 + "B_{2}(3)": 5 }, { - "$\\textrm{M}_{12}$": 2 + "M_{12}": 2 }, { - "$\\textrm{Alt}_{10}$": 8 + "Alt(10)": 8 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "${}^2A_{4}(4)$": 3 + "{}^2A_{4}(4)": 3 } ], "alternating_quotients": [ @@ -10783,10 +12564,32 @@ 27, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 2 + }, + { + "B₂(3)": 5 + }, + { + "M₁₂": 2 + }, + { + "Alt(10)": 8 + }, + { + "²A₃(9)": 1 + }, + { + "²A₄(4)": 3 + } + ] }, { - "name": "$G^{18,40,48}_0", + "name": "G^{18,40,48}_0", + "name_utf8": "G¹⁸'⁴⁰'⁴⁸₀", "half_girth_type": [ 3, 4, @@ -10822,22 +12625,22 @@ ], "quotients": [ { - "$B_{2}(3)$": 5 + "B_{2}(3)": 5 }, { - "$\\textrm{M}_{12}$": 7 + "M_{12}": 7 }, { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "${}^2A_{3}(9)$": 4 + "{}^2A_{3}(9)": 4 }, { - "$A_{3}(3)$": 10 + "A_{3}(3)": 10 }, { - "$\\textrm{Alt}_{11}$": 5 + "Alt(11)": 5 } ], "alternating_quotients": [ @@ -10863,10 +12666,34 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 5 + }, + { + "M₁₂": 7 + }, + { + "Alt(10)": 2 + }, + { + "²A₃(9)": 4 + }, + { + "A₃(3)": 10 + }, + { + "Alt(11)": 5 + } + ] }, { - "name": "$G^{18,40,54}_0", + "name": "G^{18,40,54}_0", + "name_utf8": "G¹⁸'⁴⁰'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -10898,24 +12725,22 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{M}_{12}$": 2 + "M_{12}": 2 }, { - "$\\textrm{Alt}_{10}$": 4 + "Alt(10)": 4 }, { - "$A_{3}(3)$": 14 + "A_{3}(3)": 14 }, { - "${}^2A_{4}(4)$": 3 + "{}^2A_{4}(4)": 3 } ], "alternating_quotients": [ @@ -10938,10 +12763,29 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "M₁₂": 2 + }, + { + "Alt(10)": 4 + }, + { + "A₃(3)": 14 + }, + { + "²A₄(4)": 3 + } + ] }, { - "name": "$G^{18,40,54}_2", + "name": "G^{18,40,54}_2", + "name_utf8": "G¹⁸'⁴⁰'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -10973,27 +12817,25 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{M}_{12}$": 2 + "M_{12}": 2 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "${}^2A_{3}(9)$": 3 + "{}^2A_{3}(9)": 3 }, { - "$A_{3}(3)$": 5 + "A_{3}(3)": 5 }, { - "${}^2A_{4}(4)$": 4 + "{}^2A_{4}(4)": 4 } ], "alternating_quotients": [ @@ -11017,10 +12859,32 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "M₁₂": 2 + }, + { + "Alt(9)": 2 + }, + { + "²A₃(9)": 3 + }, + { + "A₃(3)": 5 + }, + { + "²A₄(4)": 4 + } + ] }, { - "name": "$G^{18,48,48}_0", + "name": "G^{18,48,48}_0", + "name_utf8": "G¹⁸'⁴⁸'⁴⁸₀", "half_girth_type": [ 3, 4, @@ -11050,30 +12914,28 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 3 + "B_{2}(3)": 3 }, { - "$\\textrm{Alt}_{10}$": 3 + "Alt(10)": 3 }, { - "${}^2A_{3}(9)$": 4 + "{}^2A_{3}(9)": 4 }, { - "$A_{3}(3)$": 9 + "A_{3}(3)": 9 }, { - "$\\textrm{Alt}_{11}$": 2 + "Alt(11)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -11100,10 +12962,35 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 3 + }, + { + "Alt(10)": 3 + }, + { + "²A₃(9)": 4 + }, + { + "A₃(3)": 9 + }, + { + "Alt(11)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,48,54}_0", + "name": "G^{18,48,54}_0", + "name_utf8": "G¹⁸'⁴⁸'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -11134,30 +13021,28 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{3}(3)$": 8 + "A_{3}(3)": 8 }, { - "$\\textrm{Alt}_{11}$": 4 + "Alt(11)": 4 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -11182,10 +13067,35 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 2 + }, + { + "Alt(10)": 2 + }, + { + "²A₂(64)": 2 + }, + { + "A₃(3)": 8 + }, + { + "Alt(11)": 4 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,48,54}_2", + "name": "G^{18,48,54}_2", + "name_utf8": "G¹⁸'⁴⁸'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -11216,39 +13126,37 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "${}^2A_{3}(9)$": 3 + "{}^2A_{3}(9)": 3 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 }, { - "${}^2A_{4}(4)$": 3 + "{}^2A_{4}(4)": 3 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -11274,10 +13182,44 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 2 + }, + { + "Alt(9)": 2 + }, + { + "Alt(10)": 1 + }, + { + "²A₃(9)": 3 + }, + { + "²A₂(64)": 2 + }, + { + "A₃(3)": 1 + }, + { + "²A₄(4)": 3 + }, + { + "Alt(11)": 1 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,54,54}_0", + "name": "G^{18,54,54}_0", + "name_utf8": "G¹⁸'⁵⁴'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -11309,21 +13251,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "${}^2A_{4}(4)$": 2 + "{}^2A_{4}(4)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -11341,10 +13281,26 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "Alt(9)": 2 + }, + { + "²A₄(4)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,54,54}_2", + "name": "G^{18,54,54}_2", + "name_utf8": "G¹⁸'⁵⁴'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -11376,30 +13332,28 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 10 + "Alt(9)": 10 }, { - "${}^2A_{3}(9)$": 3 + "{}^2A_{3}(9)": 3 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 }, { - "${}^2A_{4}(4)$": 9 + "{}^2A_{4}(4)": 9 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -11419,10 +13373,35 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 2 + }, + { + "Alt(9)": 10 + }, + { + "²A₃(9)": 3 + }, + { + "A₃(3)": 1 + }, + { + "²A₄(4)": 9 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{18,54,54}_8", + "name": "G^{18,54,54}_8", + "name_utf8": "G¹⁸'⁵⁴'⁵⁴₈", "half_girth_type": [ 3, 4, @@ -11454,27 +13433,25 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 8 + "Alt(9)": 8 }, { - "$A_{3}(3)$": 10 + "A_{3}(3)": 10 }, { - "${}^2A_{4}(4)$": 4 + "{}^2A_{4}(4)": 4 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -11494,10 +13471,32 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 2 + }, + { + "Alt(9)": 8 + }, + { + "A₃(3)": 10 + }, + { + "²A₄(4)": 4 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{24,40,40}_0", + "name": "G^{24,40,40}_0", + "name_utf8": "G²⁴'⁴⁰'⁴⁰₀", "half_girth_type": [ 3, 4, @@ -11530,41 +13529,41 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [ - "L_2(\\infty^4)" + "L_2(inf^4)" ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 2 + "Alt(7)": 2 }, { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{M}_{22}$": 2 + "M_{22}": 2 }, { - "$\\textrm{J}_{2}$": 2 + "J_{2}": 2 }, { - "$C_{2}(4)$": 2 + "C_{2}(4)": 2 }, { - "$C_{3}(2)$": 2 + "C_{3}(2)": 2 }, { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "$B_{2}(5)$": 10 + "B_{2}(5)": 10 }, { - "$A_{4}(2)$": 4 + "A_{4}(2)": 4 }, { - "${}^2A_{4}(4)$": 4 + "{}^2A_{4}(4)": 4 }, { - "$\\textrm{Alt}_{11}$": 3 + "Alt(11)": 3 } ], "alternating_quotients": [ @@ -11589,10 +13588,49 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(inf⁴)" + ], + "quotients_utf8": [ + { + "Alt(7)": 2 + }, + { + "B₂(3)": 2 + }, + { + "M₂₂": 2 + }, + { + "J₂": 2 + }, + { + "C₂(4)": 2 + }, + { + "C₃(2)": 2 + }, + { + "Alt(10)": 2 + }, + { + "B₂(5)": 10 + }, + { + "A₄(2)": 4 + }, + { + "²A₄(4)": 4 + }, + { + "Alt(11)": 3 + } + ] }, { - "name": "$G^{24,40,48}_0", + "name": "G^{24,40,48}_0", + "name_utf8": "G²⁴'⁴⁰'⁴⁸₀", "half_girth_type": [ 3, 4, @@ -11629,37 +13667,37 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 2 + "Alt(7)": 2 }, { - "$B_{2}(3)$": 3 + "B_{2}(3)": 3 }, { - "$\\textrm{M}_{22}$": 2 + "M_{22}": 2 }, { - "$\\textrm{J}_{2}$": 4 + "J_{2}": 4 }, { - "$C_{2}(4)$": 4 + "C_{2}(4)": 4 }, { - "$C_{3}(2)$": 3 + "C_{3}(2)": 3 }, { - "$B_{2}(5)$": 12 + "B_{2}(5)": 12 }, { - "$A_{3}(3)$": 2 + "A_{3}(3)": 2 }, { - "$A_{4}(2)$": 5 + "A_{4}(2)": 5 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 }, { - "$\\textrm{Alt}_{11}$": 4 + "Alt(11)": 4 } ], "alternating_quotients": [ @@ -11686,10 +13724,50 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)", + "L₂(3²)" + ], + "quotients_utf8": [ + { + "Alt(7)": 2 + }, + { + "B₂(3)": 3 + }, + { + "M₂₂": 2 + }, + { + "J₂": 4 + }, + { + "C₂(4)": 4 + }, + { + "C₃(2)": 3 + }, + { + "B₂(5)": 12 + }, + { + "A₃(3)": 2 + }, + { + "A₄(2)": 5 + }, + { + "²A₄(4)": 1 + }, + { + "Alt(11)": 4 + } + ] }, { - "name": "$G^{24,40,54}_0", + "name": "G^{24,40,54}_0", + "name_utf8": "G²⁴'⁴⁰'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -11726,25 +13804,25 @@ ], "quotients": [ { - "$B_{2}(3)$": 4 + "B_{2}(3)": 4 }, { - "$\\textrm{M}_{12}$": 6 + "M_{12}": 6 }, { - "$\\textrm{Alt}_{10}$": 12 + "Alt(10)": 12 }, { - "${}^2A_{3}(9)$": 2 + "{}^2A_{3}(9)": 2 }, { - "$A_{3}(3)$": 3 + "A_{3}(3)": 3 }, { - "${}^2A_{4}(4)$": 4 + "{}^2A_{4}(4)": 4 }, { - "$\\textrm{Alt}_{11}$": 12 + "Alt(11)": 12 } ], "alternating_quotients": [ @@ -11770,10 +13848,37 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 4 + }, + { + "M₁₂": 6 + }, + { + "Alt(10)": 12 + }, + { + "²A₃(9)": 2 + }, + { + "A₃(3)": 3 + }, + { + "²A₄(4)": 4 + }, + { + "Alt(11)": 12 + } + ] }, { - "name": "$G^{24,40,54}_2", + "name": "G^{24,40,54}_2", + "name_utf8": "G²⁴'⁴⁰'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -11810,31 +13915,31 @@ ], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{M}_{12}$": 6 + "M_{12}": 6 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "$C_{3}(2)$": 4 + "C_{3}(2)": 4 }, { - "$\\textrm{Alt}_{10}$": 7 + "Alt(10)": 7 }, { - "${}^2A_{3}(9)$": 6 + "{}^2A_{3}(9)": 6 }, { - "$A_{3}(3)$": 7 + "A_{3}(3)": 7 }, { - "${}^2A_{4}(4)$": 1 + "{}^2A_{4}(4)": 1 }, { - "$\\textrm{Alt}_{11}$": 6 + "Alt(11)": 6 } ], "alternating_quotients": [ @@ -11863,10 +13968,43 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "M₁₂": 6 + }, + { + "Alt(9)": 2 + }, + { + "C₃(2)": 4 + }, + { + "Alt(10)": 7 + }, + { + "²A₃(9)": 6 + }, + { + "A₃(3)": 7 + }, + { + "²A₄(4)": 1 + }, + { + "Alt(11)": 6 + } + ] }, { - "name": "$G^{24,48,48}_0", + "name": "G^{24,48,48}_0", + "name_utf8": "G²⁴'⁴⁸'⁴⁸₀", "half_girth_type": [ 3, 4, @@ -11896,57 +14034,55 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 3 + "Alt(7)": 3 }, { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 4 + "Alt(8) or A_{2}(4)": 4 }, { - "$B_{2}(3)$": 3 + "B_{2}(3)": 3 }, { - "$\\textrm{M}_{12}$": 1 + "M_{12}": 1 }, { - "${}^2A_{2}(25)$": 2 + "{}^2A_{2}(25)": 2 }, { - "$\\textrm{J}_{2}$": 2 + "J_{2}": 2 }, { - "$C_{3}(2)$": 11 + "C_{3}(2)": 11 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "$A_{2}(7)$": 1 + "A_{2}(7)": 1 }, { - "${}^2A_{3}(9)$": 3 + "{}^2A_{3}(9)": 3 }, { - "$B_{2}(5)$": 7 + "B_{2}(5)": 7 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 }, { - "$A_{4}(2)$": 2 + "A_{4}(2)": 2 }, { - "${}^2A_{4}(4)$": 13 + "{}^2A_{4}(4)": 13 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 }, { - "$\\textrm{HS}_{}$": 2 + "HS": 2 } ], "alternating_quotients": [ @@ -11976,10 +14112,62 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 3 + }, + { + "Alt(8) or A₂(4)": 4 + }, + { + "B₂(3)": 3 + }, + { + "M₁₂": 1 + }, + { + "²A₂(25)": 2 + }, + { + "J₂": 2 + }, + { + "C₃(2)": 11 + }, + { + "Alt(10)": 1 + }, + { + "A₂(7)": 1 + }, + { + "²A₃(9)": 3 + }, + { + "B₂(5)": 7 + }, + { + "A₃(3)": 1 + }, + { + "A₄(2)": 2 + }, + { + "²A₄(4)": 13 + }, + { + "Alt(11)": 1 + }, + { + "HS": 2 + } + ] }, { - "name": "$G^{24,48,48}_1", + "name": "G^{24,48,48}_1", + "name_utf8": "G²⁴'⁴⁸'⁴⁸₁", "half_girth_type": [ 3, 4, @@ -12009,39 +14197,37 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 4 + "B_{2}(3)": 4 }, { - "$\\textrm{Alt}_{9}$": 1 + "Alt(9)": 1 }, { - "$\\textrm{M}_{22}$": 1 + "M_{22}": 1 }, { - "$C_{3}(2)$": 17 + "C_{3}(2)": 17 }, { - "${}^2A_{3}(9)$": 8 + "{}^2A_{3}(9)": 8 }, { - "$B_{2}(5)$": 5 + "B_{2}(5)": 5 }, { - "$A_{3}(3)$": 3 + "A_{3}(3)": 3 }, { - "${}^2A_{4}(4)$": 8 + "{}^2A_{4}(4)": 8 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 }, { - "$\\textrm{HS}_{}$": 1 + "HS": 1 } ], "alternating_quotients": [ @@ -12070,10 +14256,44 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 4 + }, + { + "Alt(9)": 1 + }, + { + "M₂₂": 1 + }, + { + "C₃(2)": 17 + }, + { + "²A₃(9)": 8 + }, + { + "B₂(5)": 5 + }, + { + "A₃(3)": 3 + }, + { + "²A₄(4)": 8 + }, + { + "Alt(11)": 1 + }, + { + "HS": 1 + } + ] }, { - "name": "$G^{24,48,54}_0", + "name": "G^{24,48,54}_0", + "name_utf8": "G²⁴'⁴⁸'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -12104,30 +14324,28 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 4 + "B_{2}(3)": 4 }, { - "$\\textrm{Alt}_{9}$": 3 + "Alt(9)": 3 }, { - "$\\textrm{Alt}_{10}$": 5 + "Alt(10)": 5 }, { - "${}^2A_{3}(9)$": 1 + "{}^2A_{3}(9)": 1 }, { - "$A_{3}(3)$": 2 + "A_{3}(3)": 2 }, { - "${}^2A_{4}(4)$": 3 + "{}^2A_{4}(4)": 3 }, { - "$\\textrm{Alt}_{11}$": 4 + "Alt(11)": 4 } ], "alternating_quotients": [ @@ -12156,10 +14374,35 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 4 + }, + { + "Alt(9)": 3 + }, + { + "Alt(10)": 5 + }, + { + "²A₃(9)": 1 + }, + { + "A₃(3)": 2 + }, + { + "²A₄(4)": 3 + }, + { + "Alt(11)": 4 + } + ] }, { - "name": "$G^{24,48,54}_2", + "name": "G^{24,48,54}_2", + "name_utf8": "G²⁴'⁴⁸'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -12190,33 +14433,31 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 3 + "Alt(9)": 3 }, { - "$C_{3}(2)$": 3 + "C_{3}(2)": 3 }, { - "$\\textrm{Alt}_{10}$": 5 + "Alt(10)": 5 }, { - "${}^2A_{3}(9)$": 5 + "{}^2A_{3}(9)": 5 }, { - "$A_{3}(3)$": 10 + "A_{3}(3)": 10 }, { - "${}^2A_{4}(4)$": 12 + "{}^2A_{4}(4)": 12 }, { - "$\\textrm{Alt}_{11}$": 2 + "Alt(11)": 2 } ], "alternating_quotients": [ @@ -12244,10 +14485,38 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "Alt(9)": 3 + }, + { + "C₃(2)": 3 + }, + { + "Alt(10)": 5 + }, + { + "²A₃(9)": 5 + }, + { + "A₃(3)": 10 + }, + { + "²A₄(4)": 12 + }, + { + "Alt(11)": 2 + } + ] }, { - "name": "$G^{24,54,54}_0", + "name": "G^{24,54,54}_0", + "name_utf8": "G²⁴'⁵⁴'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -12279,24 +14548,22 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{9}$": 6 + "Alt(9)": 6 }, { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "$A_{3}(3)$": 4 + "A_{3}(3)": 4 }, { - "${}^2A_{4}(4)$": 8 + "{}^2A_{4}(4)": 8 }, { - "$\\textrm{Alt}_{11}$": 2 + "Alt(11)": 2 } ], "alternating_quotients": [ @@ -12321,10 +14588,29 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(9)": 6 + }, + { + "Alt(10)": 2 + }, + { + "A₃(3)": 4 + }, + { + "²A₄(4)": 8 + }, + { + "Alt(11)": 2 + } + ] }, { - "name": "$G^{24,54,54}_2", + "name": "G^{24,54,54}_2", + "name_utf8": "G²⁴'⁵⁴'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -12356,33 +14642,31 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 2 + "B_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 9 + "Alt(9)": 9 }, { - "$C_{3}(2)$": 6 + "C_{3}(2)": 6 }, { - "$\\textrm{Alt}_{10}$": 22 + "Alt(10)": 22 }, { - "${}^2A_{3}(9)$": 8 + "{}^2A_{3}(9)": 8 }, { - "$A_{3}(3)$": 26 + "A_{3}(3)": 26 }, { - "${}^2A_{4}(4)$": 12 + "{}^2A_{4}(4)": 12 }, { - "$\\textrm{Alt}_{11}$": 12 + "Alt(11)": 12 } ], "alternating_quotients": [ @@ -12411,10 +14695,38 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 2 + }, + { + "Alt(9)": 9 + }, + { + "C₃(2)": 6 + }, + { + "Alt(10)": 22 + }, + { + "²A₃(9)": 8 + }, + { + "A₃(3)": 26 + }, + { + "²A₄(4)": 12 + }, + { + "Alt(11)": 12 + } + ] }, { - "name": "$G^{24,54,54}_8", + "name": "G^{24,54,54}_8", + "name_utf8": "G²⁴'⁵⁴'⁵⁴₈", "half_girth_type": [ 3, 4, @@ -12446,24 +14758,22 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 4 + "B_{2}(3)": 4 }, { - "$\\textrm{Alt}_{9}$": 14 + "Alt(9)": 14 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "${}^2A_{4}(4)$": 9 + "{}^2A_{4}(4)": 9 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 } ], "alternating_quotients": [ @@ -12488,10 +14798,29 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 4 + }, + { + "Alt(9)": 14 + }, + { + "Alt(10)": 1 + }, + { + "²A₄(4)": 9 + }, + { + "Alt(11)": 1 + } + ] }, { - "name": "$G^{26,40,40}_0", + "name": "G^{26,40,40}_0", + "name_utf8": "G²⁶'⁴⁰'⁴⁰₀", "half_girth_type": [ 3, 4, @@ -12528,7 +14857,7 @@ ], "quotients": [ { - "$A_{3}(3)$": 3 + "A_{3}(3)": 3 } ], "alternating_quotients": [ @@ -12538,10 +14867,19 @@ 27, 28 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(13²)" + ], + "quotients_utf8": [ + { + "A₃(3)": 3 + } + ] }, { - "name": "$G^{26,40,48}_0", + "name": "G^{26,40,48}_0", + "name_utf8": "G²⁶'⁴⁰'⁴⁸₀", "half_girth_type": [ 3, 4, @@ -12577,14 +14915,23 @@ ], "quotients": [ { - "${}^2F_4(2)'$": 1 + "{}^2F_4(2)'": 1 } ], "alternating_quotients": [], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(13²)" + ], + "quotients_utf8": [ + { + "²F₄(2)'": 1 + } + ] }, { - "name": "$G^{26,40,54}_0", + "name": "G^{26,40,54}_0", + "name_utf8": "G²⁶'⁴⁰'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -12616,21 +14963,26 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{3}(3)$": 3 + "A_{3}(3)": 3 } ], "alternating_quotients": [ 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₃(3)": 3 + } + ] }, { - "name": "$G^{26,40,54}_2", + "name": "G^{26,40,54}_2", + "name_utf8": "G²⁶'⁴⁰'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -12662,17 +15014,18 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [], "alternating_quotients": [ 15 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [] }, { - "name": "$G^{26,48,48}_0", + "name": "G^{26,48,48}_0", + "name_utf8": "G²⁶'⁴⁸'⁴⁸₀", "half_girth_type": [ 3, 4, @@ -12702,12 +15055,10 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 } ], "alternating_quotients": [ @@ -12716,10 +15067,17 @@ 14, 28 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "G₂(3)": 1 + } + ] }, { - "name": "$G^{26,48,48}_1", + "name": "G^{26,48,48}_1", + "name_utf8": "G²⁶'⁴⁸'⁴⁸₁", "half_girth_type": [ 3, 4, @@ -12754,10 +15112,10 @@ ], "quotients": [ { - "$G_{2}(3)$": 4 + "G_{2}(3)": 4 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -12772,10 +15130,22 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [ + "L₂(13)" + ], + "quotients_utf8": [ + { + "G₂(3)": 4 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{26,48,54}_0", + "name": "G^{26,48,54}_0", + "name_utf8": "G²⁶'⁴⁸'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -12806,12 +15176,10 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": null, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 } ], "alternating_quotients": [ @@ -12821,10 +15189,17 @@ 27, 28 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "G₂(3)": 1 + } + ] }, { - "name": "$G^{26,48,54}_2", + "name": "G^{26,48,54}_2", + "name_utf8": "G²⁶'⁴⁸'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -12855,15 +15230,13 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$G_{2}(3)$": 1 + "G_{2}(3)": 1 }, { - "$A_{3}(3)$": 1 + "A_{3}(3)": 1 } ], "alternating_quotients": [ @@ -12874,10 +15247,20 @@ 28, 29 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "G₂(3)": 1 + }, + { + "A₃(3)": 1 + } + ] }, { - "name": "$G^{26,54,54}_0", + "name": "G^{26,54,54}_0", + "name_utf8": "G²⁶'⁵⁴'⁵⁴₀", "half_girth_type": [ 3, 4, @@ -12909,15 +15292,13 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -12927,10 +15308,20 @@ 27, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{26,54,54}_2", + "name": "G^{26,54,54}_2", + "name_utf8": "G²⁶'⁵⁴'⁵⁴₂", "half_girth_type": [ 3, 4, @@ -12962,18 +15353,16 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{3}(3)$": 20 + "A_{3}(3)": 20 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -12989,10 +15378,23 @@ 29, 30 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₃(3)": 20 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{26,54,54}_8", + "name": "G^{26,54,54}_8", + "name_utf8": "G²⁶'⁵⁴'⁵⁴₈", "half_girth_type": [ 3, 4, @@ -13024,28 +15426,39 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": null, "abelianization_dimension": 2, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$A_{3}(3)$": 6 + "A_{3}(3)": 6 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ 3, 13 ], - "maximal_degree_alternating_quotients": 30 + "maximal_degree_alternating_quotients": 30, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "A₃(3)": 6 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{40,40,40}_0", + "name": "G^{40,40,40}_0", + "name_utf8": "G⁴⁰'⁴⁰'⁴⁰₀", "half_girth_type": [ 4, 4, @@ -13078,50 +15491,50 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [ - "L_2(\\infty^4)", - "L_2(\\infty^4)", - "L_2(\\infty^4)", - "L_2(\\infty^4)" + "L_2(inf^4)", + "L_2(inf^4)", + "L_2(inf^4)", + "L_2(inf^4)" ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 1 + "Alt(7)": 1 }, { - "$B_{2}(3)$": 18 + "B_{2}(3)": 18 }, { - "$\\textrm{M}_{12}$": 7 + "M_{12}": 7 }, { - "${}^2A_{2}(25)$": 2 + "{}^2A_{2}(25)": 2 }, { - "$\\textrm{J}_{1}$": 4 + "J_{1}": 4 }, { - "$A_{2}(5)$": 2 + "A_{2}(5)": 2 }, { - "$\\textrm{J}_{2}$": 8 + "J_{2}": 8 }, { - "$C_{2}(4)$": 21 + "C_{2}(4)": 21 }, { - "$\\textrm{Alt}_{10}$": 15 + "Alt(10)": 15 }, { - "${}^2A_{3}(9)$": 12 + "{}^2A_{3}(9)": 12 }, { - "$B_{2}(5)$": 90 + "B_{2}(5)": 90 }, { - "$A_{3}(3)$": 7 + "A_{3}(3)": 7 }, { - "$\\textrm{HS}_{}$": 12 + "HS": 12 } ], "alternating_quotients": [ @@ -13155,10 +15568,58 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [ + "L₂(inf⁴)", + "L₂(inf⁴)", + "L₂(inf⁴)", + "L₂(inf⁴)" + ], + "quotients_utf8": [ + { + "Alt(7)": 1 + }, + { + "B₂(3)": 18 + }, + { + "M₁₂": 7 + }, + { + "²A₂(25)": 2 + }, + { + "J₁": 4 + }, + { + "A₂(5)": 2 + }, + { + "J₂": 8 + }, + { + "C₂(4)": 21 + }, + { + "Alt(10)": 15 + }, + { + "²A₃(9)": 12 + }, + { + "B₂(5)": 90 + }, + { + "A₃(3)": 7 + }, + { + "HS": 12 + } + ] }, { - "name": "$G^{40,40,48}_0", + "name": "G^{40,40,48}_0", + "name_utf8": "G⁴⁰'⁴⁰'⁴⁸₀", "half_girth_type": [ 4, 4, @@ -13190,53 +15651,53 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [ - "L_2(\\infty^4)" + "L_2(inf^4)" ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 2 + "Alt(7)": 2 }, { - "$\\textrm{M}_{11}$": 4 + "M_{11}": 4 }, { - "$B_{2}(3)$": 8 + "B_{2}(3)": 8 }, { - "${}^2A_{2}(25)$": 1 + "{}^2A_{2}(25)": 1 }, { - "$\\textrm{M}_{22}$": 2 + "M_{22}": 2 }, { - "$\\textrm{J}_{2}$": 4 + "J_{2}": 4 }, { - "$C_{2}(4)$": 2 + "C_{2}(4)": 2 }, { - "$C_{3}(2)$": 2 + "C_{3}(2)": 2 }, { - "$\\textrm{Alt}_{10}$": 4 + "Alt(10)": 4 }, { - "${}^2A_{3}(9)$": 4 + "{}^2A_{3}(9)": 4 }, { - "$B_{2}(5)$": 16 + "B_{2}(5)": 16 }, { - "$A_{3}(3)$": 2 + "A_{3}(3)": 2 }, { - "$A_{4}(2)$": 4 + "A_{4}(2)": 4 }, { - "${}^2A_{4}(4)$": 10 + "{}^2A_{4}(4)": 10 }, { - "$\\textrm{Alt}_{11}$": 7 + "Alt(11)": 7 } ], "alternating_quotients": [ @@ -13272,10 +15733,61 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [ + "L₂(inf⁴)" + ], + "quotients_utf8": [ + { + "Alt(7)": 2 + }, + { + "M₁₁": 4 + }, + { + "B₂(3)": 8 + }, + { + "²A₂(25)": 1 + }, + { + "M₂₂": 2 + }, + { + "J₂": 4 + }, + { + "C₂(4)": 2 + }, + { + "C₃(2)": 2 + }, + { + "Alt(10)": 4 + }, + { + "²A₃(9)": 4 + }, + { + "B₂(5)": 16 + }, + { + "A₃(3)": 2 + }, + { + "A₄(2)": 4 + }, + { + "²A₄(4)": 10 + }, + { + "Alt(11)": 7 + } + ] }, { - "name": "$G^{40,40,54}_0", + "name": "G^{40,40,54}_0", + "name_utf8": "G⁴⁰'⁴⁰'⁵⁴₀", "half_girth_type": [ 4, 4, @@ -13307,30 +15819,28 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 0, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 2 + "Alt(7)": 2 }, { - "$B_{2}(3)$": 5 + "B_{2}(3)": 5 }, { - "$\\textrm{M}_{12}$": 2 + "M_{12}": 2 }, { - "$\\textrm{Alt}_{10}$": 8 + "Alt(10)": 8 }, { - "${}^2A_{3}(9)$": 15 + "{}^2A_{3}(9)": 15 }, { - "$A_{3}(3)$": 4 + "A_{3}(3)": 4 }, { - "${}^2A_{4}(4)$": 7 + "{}^2A_{4}(4)": 7 } ], "alternating_quotients": [ @@ -13363,10 +15873,35 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 2 + }, + { + "B₂(3)": 5 + }, + { + "M₁₂": 2 + }, + { + "Alt(10)": 8 + }, + { + "²A₃(9)": 15 + }, + { + "A₃(3)": 4 + }, + { + "²A₄(4)": 7 + } + ] }, { - "name": "$G^{40,48,48}_0", + "name": "G^{40,48,48}_0", + "name_utf8": "G⁴⁰'⁴⁸'⁴⁸₀", "half_girth_type": [ 4, 4, @@ -13402,43 +15937,43 @@ ], "quotients": [ { - "$\\textrm{Alt}_{7}$": 2 + "Alt(7)": 2 }, { - "$\\textrm{M}_{11}$": 1 + "M_{11}": 1 }, { - "$B_{2}(3)$": 18 + "B_{2}(3)": 18 }, { - "$\\textrm{M}_{22}$": 2 + "M_{22}": 2 }, { - "$\\textrm{J}_{2}$": 6 + "J_{2}": 6 }, { - "$C_{2}(4)$": 4 + "C_{2}(4)": 4 }, { - "$C_{3}(2)$": 6 + "C_{3}(2)": 6 }, { - "${}^2A_{3}(9)$": 10 + "{}^2A_{3}(9)": 10 }, { - "$B_{2}(5)$": 20 + "B_{2}(5)": 20 }, { - "$A_{3}(3)$": 15 + "A_{3}(3)": 15 }, { - "$A_{4}(2)$": 8 + "A_{4}(2)": 8 }, { - "${}^2A_{4}(4)$": 15 + "{}^2A_{4}(4)": 15 }, { - "$\\textrm{Alt}_{11}$": 9 + "Alt(11)": 9 } ], "alternating_quotients": [ @@ -13476,10 +16011,56 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [ + "L₂(3²)", + "L₂(3²)" + ], + "quotients_utf8": [ + { + "Alt(7)": 2 + }, + { + "M₁₁": 1 + }, + { + "B₂(3)": 18 + }, + { + "M₂₂": 2 + }, + { + "J₂": 6 + }, + { + "C₂(4)": 4 + }, + { + "C₃(2)": 6 + }, + { + "²A₃(9)": 10 + }, + { + "B₂(5)": 20 + }, + { + "A₃(3)": 15 + }, + { + "A₄(2)": 8 + }, + { + "²A₄(4)": 15 + }, + { + "Alt(11)": 9 + } + ] }, { - "name": "$G^{40,48,54}_0", + "name": "G^{40,48,54}_0", + "name_utf8": "G⁴⁰'⁴⁸'⁵⁴₀", "half_girth_type": [ 4, 4, @@ -13515,31 +16096,31 @@ ], "quotients": [ { - "$B_{2}(3)$": 11 + "B_{2}(3)": 11 }, { - "$\\textrm{M}_{12}$": 7 + "M_{12}": 7 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "$C_{3}(2)$": 4 + "C_{3}(2)": 4 }, { - "$\\textrm{Alt}_{10}$": 7 + "Alt(10)": 7 }, { - "${}^2A_{3}(9)$": 14 + "{}^2A_{3}(9)": 14 }, { - "$A_{3}(3)$": 16 + "A_{3}(3)": 16 }, { - "${}^2A_{4}(4)$": 3 + "{}^2A_{4}(4)": 3 }, { - "$\\textrm{Alt}_{11}$": 7 + "Alt(11)": 7 } ], "alternating_quotients": [ @@ -13579,10 +16160,43 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 11 + }, + { + "M₁₂": 7 + }, + { + "Alt(9)": 2 + }, + { + "C₃(2)": 4 + }, + { + "Alt(10)": 7 + }, + { + "²A₃(9)": 14 + }, + { + "A₃(3)": 16 + }, + { + "²A₄(4)": 3 + }, + { + "Alt(11)": 7 + } + ] }, { - "name": "$G^{40,48,54}_2", + "name": "G^{40,48,54}_2", + "name_utf8": "G⁴⁰'⁴⁸'⁵⁴₂", "half_girth_type": [ 4, 4, @@ -13618,28 +16232,28 @@ ], "quotients": [ { - "$B_{2}(3)$": 17 + "B_{2}(3)": 17 }, { - "$\\textrm{M}_{12}$": 7 + "M_{12}": 7 }, { - "$C_{3}(2)$": 2 + "C_{3}(2)": 2 }, { - "$\\textrm{Alt}_{10}$": 12 + "Alt(10)": 12 }, { - "${}^2A_{3}(9)$": 20 + "{}^2A_{3}(9)": 20 }, { - "$A_{3}(3)$": 22 + "A_{3}(3)": 22 }, { - "${}^2A_{4}(4)$": 24 + "{}^2A_{4}(4)": 24 }, { - "$\\textrm{Alt}_{11}$": 15 + "Alt(11)": 15 } ], "alternating_quotients": [ @@ -13676,10 +16290,40 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [ + "L₂(3²)" + ], + "quotients_utf8": [ + { + "B₂(3)": 17 + }, + { + "M₁₂": 7 + }, + { + "C₃(2)": 2 + }, + { + "Alt(10)": 12 + }, + { + "²A₃(9)": 20 + }, + { + "A₃(3)": 22 + }, + { + "²A₄(4)": 24 + }, + { + "Alt(11)": 15 + } + ] }, { - "name": "$G^{40,54,54}_0", + "name": "G^{40,54,54}_0", + "name_utf8": "G⁴⁰'⁵⁴'⁵⁴₀", "half_girth_type": [ 4, 4, @@ -13711,30 +16355,28 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 8 + "B_{2}(3)": 8 }, { - "$\\textrm{M}_{12}$": 2 + "M_{12}": 2 }, { - "$\\textrm{Alt}_{9}$": 2 + "Alt(9)": 2 }, { - "$\\textrm{Alt}_{10}$": 4 + "Alt(10)": 4 }, { - "${}^2A_{3}(9)$": 9 + "{}^2A_{3}(9)": 9 }, { - "$A_{3}(3)$": 17 + "A_{3}(3)": 17 }, { - "${}^2A_{4}(4)$": 7 + "{}^2A_{4}(4)": 7 } ], "alternating_quotients": [ @@ -13769,10 +16411,35 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 8 + }, + { + "M₁₂": 2 + }, + { + "Alt(9)": 2 + }, + { + "Alt(10)": 4 + }, + { + "²A₃(9)": 9 + }, + { + "A₃(3)": 17 + }, + { + "²A₄(4)": 7 + } + ] }, { - "name": "$G^{40,54,54}_2", + "name": "G^{40,54,54}_2", + "name_utf8": "G⁴⁰'⁵⁴'⁵⁴₂", "half_girth_type": [ 4, 4, @@ -13804,33 +16471,31 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 12 + "B_{2}(3)": 12 }, { - "$\\textrm{M}_{12}$": 2 + "M_{12}": 2 }, { - "$C_{3}(2)$": 4 + "C_{3}(2)": 4 }, { - "$\\textrm{Alt}_{10}$": 16 + "Alt(10)": 16 }, { - "${}^2A_{3}(9)$": 14 + "{}^2A_{3}(9)": 14 }, { - "$A_{3}(3)$": 26 + "A_{3}(3)": 26 }, { - "${}^2A_{4}(4)$": 40 + "{}^2A_{4}(4)": 40 }, { - "$\\textrm{Alt}_{11}$": 10 + "Alt(11)": 10 } ], "alternating_quotients": [ @@ -13866,10 +16531,38 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 12 + }, + { + "M₁₂": 2 + }, + { + "C₃(2)": 4 + }, + { + "Alt(10)": 16 + }, + { + "²A₃(9)": 14 + }, + { + "A₃(3)": 26 + }, + { + "²A₄(4)": 40 + }, + { + "Alt(11)": 10 + } + ] }, { - "name": "$G^{40,54,54}_8", + "name": "G^{40,54,54}_8", + "name_utf8": "G⁴⁰'⁵⁴'⁵⁴₈", "half_girth_type": [ 4, 4, @@ -13901,27 +16594,25 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 1, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$B_{2}(3)$": 8 + "B_{2}(3)": 8 }, { - "$\\textrm{M}_{12}$": 2 + "M_{12}": 2 }, { - "$\\textrm{Alt}_{9}$": 12 + "Alt(9)": 12 }, { - "${}^2A_{3}(9)$": 12 + "{}^2A_{3}(9)": 12 }, { - "$A_{3}(3)$": 8 + "A_{3}(3)": 8 }, { - "${}^2A_{4}(4)$": 16 + "{}^2A_{4}(4)": 16 } ], "alternating_quotients": [ @@ -13955,10 +16646,32 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "B₂(3)": 8 + }, + { + "M₁₂": 2 + }, + { + "Alt(9)": 12 + }, + { + "²A₃(9)": 12 + }, + { + "A₃(3)": 8 + }, + { + "²A₄(4)": 16 + } + ] }, { - "name": "$G^{48,48,48}_0", + "name": "G^{48,48,48}_0", + "name_utf8": "G⁴⁸'⁴⁸'⁴⁸₀", "half_girth_type": [ 4, 4, @@ -13987,48 +16700,46 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 1 + "A_{2}(3)": 1 }, { - "${}^2A_{2}(9)$": 2 + "{}^2A_{2}(9)": 2 }, { - "$B_{2}(3)$": 27 + "B_{2}(3)": 27 }, { - "$\\textrm{Alt}_{9}$": 3 + "Alt(9)": 3 }, { - "$\\textrm{M}_{22}$": 1 + "M_{22}": 1 }, { - "$C_{3}(2)$": 39 + "C_{3}(2)": 39 }, { - "${}^2A_{3}(9)$": 21 + "{}^2A_{3}(9)": 21 }, { - "$B_{2}(5)$": 9 + "B_{2}(5)": 9 }, { - "$A_{3}(3)$": 33 + "A_{3}(3)": 33 }, { - "${}^2A_{4}(4)$": 60 + "{}^2A_{4}(4)": 60 }, { - "$\\textrm{Alt}_{11}$": 3 + "Alt(11)": 3 }, { - "${}^2A_{2}(81)$": 2 + "{}^2A_{2}(81)": 2 }, { - "$\\textrm{HS}_{}$": 3 + "HS": 3 } ], "alternating_quotients": [ @@ -14067,10 +16778,53 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 1 + }, + { + "²A₂(9)": 2 + }, + { + "B₂(3)": 27 + }, + { + "Alt(9)": 3 + }, + { + "M₂₂": 1 + }, + { + "C₃(2)": 39 + }, + { + "²A₃(9)": 21 + }, + { + "B₂(5)": 9 + }, + { + "A₃(3)": 33 + }, + { + "²A₄(4)": 60 + }, + { + "Alt(11)": 3 + }, + { + "²A₂(81)": 2 + }, + { + "HS": 3 + } + ] }, { - "name": "$G^{48,48,48}_1", + "name": "G^{48,48,48}_1", + "name_utf8": "G⁴⁸'⁴⁸'⁴⁸₁", "half_girth_type": [ 4, 4, @@ -14099,69 +16853,67 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$\\textrm{Alt}_{7}$": 3 + "Alt(7)": 3 }, { - "${}^2A_{2}(9)$": 1 + "{}^2A_{2}(9)": 1 }, { - "$\\textrm{Alt}_{8}$ or $A_{2}(4)$": 6 + "Alt(8) or A_{2}(4)": 6 }, { - "$B_{2}(3)$": 24 + "B_{2}(3)": 24 }, { - "$\\textrm{M}_{12}$": 1 + "M_{12}": 1 }, { - "${}^2A_{2}(25)$": 3 + "{}^2A_{2}(25)": 3 }, { - "$\\textrm{J}_{2}$": 4 + "J_{2}": 4 }, { - "$C_{3}(2)$": 27 + "C_{3}(2)": 27 }, { - "$\\textrm{Alt}_{10}$": 3 + "Alt(10)": 3 }, { - "$A_{2}(7)$": 1 + "A_{2}(7)": 1 }, { - "${}^2A_{3}(9)$": 15 + "{}^2A_{3}(9)": 15 }, { - "$B_{2}(5)$": 19 + "B_{2}(5)": 19 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{3}(3)$": 30 + "A_{3}(3)": 30 }, { - "$A_{4}(2)$": 4 + "A_{4}(2)": 4 }, { - "${}^2A_{4}(4)$": 63 + "{}^2A_{4}(4)": 63 }, { - "$\\textrm{Alt}_{11}$": 3 + "Alt(11)": 3 }, { - "$A_{2}(9)$": 1 + "A_{2}(9)": 1 }, { - "${}^2A_{2}(81)$": 2 + "{}^2A_{2}(81)": 2 }, { - "$\\textrm{HS}_{}$": 3 + "HS": 3 } ], "alternating_quotients": [ @@ -14201,10 +16953,74 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "Alt(7)": 3 + }, + { + "²A₂(9)": 1 + }, + { + "Alt(8) or A₂(4)": 6 + }, + { + "B₂(3)": 24 + }, + { + "M₁₂": 1 + }, + { + "²A₂(25)": 3 + }, + { + "J₂": 4 + }, + { + "C₃(2)": 27 + }, + { + "Alt(10)": 3 + }, + { + "A₂(7)": 1 + }, + { + "²A₃(9)": 15 + }, + { + "B₂(5)": 19 + }, + { + "²A₂(64)": 2 + }, + { + "A₃(3)": 30 + }, + { + "A₄(2)": 4 + }, + { + "²A₄(4)": 63 + }, + { + "Alt(11)": 3 + }, + { + "A₂(9)": 1 + }, + { + "²A₂(81)": 2 + }, + { + "HS": 3 + } + ] }, { - "name": "$G^{48,48,54}_0", + "name": "G^{48,48,54}_0", + "name_utf8": "G⁴⁸'⁴⁸'⁵⁴₀", "half_girth_type": [ 4, 4, @@ -14234,39 +17050,37 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 19 + "B_{2}(3)": 19 }, { - "$\\textrm{Alt}_{9}$": 3 + "Alt(9)": 3 }, { - "$C_{3}(2)$": 3 + "C_{3}(2)": 3 }, { - "$\\textrm{Alt}_{10}$": 6 + "Alt(10)": 6 }, { - "${}^2A_{3}(9)$": 17 + "{}^2A_{3}(9)": 17 }, { - "$A_{3}(3)$": 28 + "A_{3}(3)": 28 }, { - "${}^2A_{4}(4)$": 40 + "{}^2A_{4}(4)": 40 }, { - "$\\textrm{Alt}_{11}$": 6 + "Alt(11)": 6 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -14305,10 +17119,44 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 19 + }, + { + "Alt(9)": 3 + }, + { + "C₃(2)": 3 + }, + { + "Alt(10)": 6 + }, + { + "²A₃(9)": 17 + }, + { + "A₃(3)": 28 + }, + { + "²A₄(4)": 40 + }, + { + "Alt(11)": 6 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{48,54,54}_0", + "name": "G^{48,54,54}_0", + "name_utf8": "G⁴⁸'⁵⁴'⁵⁴₀", "half_girth_type": [ 4, 4, @@ -14339,39 +17187,37 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 8 + "B_{2}(3)": 8 }, { - "$\\textrm{Alt}_{9}$": 6 + "Alt(9)": 6 }, { - "$\\textrm{Alt}_{10}$": 2 + "Alt(10)": 2 }, { - "${}^2A_{3}(9)$": 9 + "{}^2A_{3}(9)": 9 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{3}(3)$": 11 + "A_{3}(3)": 11 }, { - "${}^2A_{4}(4)$": 25 + "{}^2A_{4}(4)": 25 }, { - "$\\textrm{Alt}_{11}$": 4 + "Alt(11)": 4 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -14408,10 +17254,44 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 8 + }, + { + "Alt(9)": 6 + }, + { + "Alt(10)": 2 + }, + { + "²A₃(9)": 9 + }, + { + "²A₂(64)": 2 + }, + { + "A₃(3)": 11 + }, + { + "²A₄(4)": 25 + }, + { + "Alt(11)": 4 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{48,54,54}_2", + "name": "G^{48,54,54}_2", + "name_utf8": "G⁴⁸'⁵⁴'⁵⁴₂", "half_girth_type": [ 4, 4, @@ -14442,42 +17322,40 @@ "virtually_torsion_free": true, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 10 + "B_{2}(3)": 10 }, { - "$\\textrm{Alt}_{9}$": 9 + "Alt(9)": 9 }, { - "$C_{3}(2)$": 6 + "C_{3}(2)": 6 }, { - "$\\textrm{Alt}_{10}$": 22 + "Alt(10)": 22 }, { - "${}^2A_{3}(9)$": 14 + "{}^2A_{3}(9)": 14 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{3}(3)$": 36 + "A_{3}(3)": 36 }, { - "${}^2A_{4}(4)$": 28 + "{}^2A_{4}(4)": 28 }, { - "$\\textrm{Alt}_{11}$": 20 + "Alt(11)": 20 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -14516,10 +17394,47 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 10 + }, + { + "Alt(9)": 9 + }, + { + "C₃(2)": 6 + }, + { + "Alt(10)": 22 + }, + { + "²A₃(9)": 14 + }, + { + "²A₂(64)": 2 + }, + { + "A₃(3)": 36 + }, + { + "²A₄(4)": 28 + }, + { + "Alt(11)": 20 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{48,54,54}_8", + "name": "G^{48,54,54}_8", + "name_utf8": "G⁴⁸'⁵⁴'⁵⁴₈", "half_girth_type": [ 4, 4, @@ -14550,39 +17465,37 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 18 + "B_{2}(3)": 18 }, { - "$\\textrm{Alt}_{9}$": 14 + "Alt(9)": 14 }, { - "$\\textrm{Alt}_{10}$": 1 + "Alt(10)": 1 }, { - "${}^2A_{3}(9)$": 15 + "{}^2A_{3}(9)": 15 }, { - "${}^2A_{2}(64)$": 2 + "{}^2A_{2}(64)": 2 }, { - "$A_{3}(3)$": 19 + "A_{3}(3)": 19 }, { - "${}^2A_{4}(4)$": 52 + "{}^2A_{4}(4)": 52 }, { - "$\\textrm{Alt}_{11}$": 1 + "Alt(11)": 1 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -14618,10 +17531,44 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 18 + }, + { + "Alt(9)": 14 + }, + { + "Alt(10)": 1 + }, + { + "²A₃(9)": 15 + }, + { + "²A₂(64)": 2 + }, + { + "A₃(3)": 19 + }, + { + "²A₄(4)": 52 + }, + { + "Alt(11)": 1 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{54,54,54}_0", + "name": "G^{54,54,54}_0", + "name_utf8": "G⁵⁴'⁵⁴'⁵⁴₀", "half_girth_type": [ 4, 4, @@ -14653,21 +17600,19 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$\\textrm{Alt}_{9}$": 6 + "Alt(9)": 6 }, { - "${}^2A_{4}(4)$": 10 + "{}^2A_{4}(4)": 10 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -14695,10 +17640,26 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "Alt(9)": 6 + }, + { + "²A₄(4)": 10 + }, + { + "A₂(9)": 3 + } + ] }, { - "name": "$G^{54,54,54}_2", + "name": "G^{54,54,54}_2", + "name_utf8": "G⁵⁴'⁵⁴'⁵⁴₂", "half_girth_type": [ 4, 4, @@ -14730,30 +17691,28 @@ "virtually_torsion_free": null, "Kazdhdan_property_T": false, "abelianization_dimension": 3, - "L2_quotients": [ - "" - ], + "L2_quotients": [], "quotients": [ { - "$A_{2}(3)$": 2 + "A_{2}(3)": 2 }, { - "$B_{2}(3)$": 8 + "B_{2}(3)": 8 }, { - "$\\textrm{Alt}_{9}$": 24 + "Alt(9)": 24 }, { - "${}^2A_{3}(9)$": 9 + "{}^2A_{3}(9)": 9 }, { - "$A_{3}(3)$": 13 + "A_{3}(3)": 13 }, { - "${}^2A_{4}(4)$": 41 + "{}^2A_{4}(4)": 41 }, { - "$A_{2}(9)$": 3 + "A_{2}(9)": 3 } ], "alternating_quotients": [ @@ -14784,6 +17743,30 @@ 39, 40 ], - "maximal_degree_alternating_quotients": 40 + "maximal_degree_alternating_quotients": 40, + "L2_quotients_utf8": [], + "quotients_utf8": [ + { + "A₂(3)": 2 + }, + { + "B₂(3)": 8 + }, + { + "Alt(9)": 24 + }, + { + "²A₃(9)": 9 + }, + { + "A₃(3)": 13 + }, + { + "²A₄(4)": 41 + }, + { + "A₂(9)": 3 + } + ] } ]