From a08a59a7e1fe30a9ab68d7547e287cd0a216340e Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Fri, 11 Feb 2022 18:12:24 +0100 Subject: [PATCH] final version of html/json --- data/smallhyperbolicgrp.jl | 13 +- data/triangle_groups.json | 9073 ++++++++++++++---------------------- docs/create_table.js | 125 + docs/data.js | 171 - docs/details.css | 26 + docs/filter_table.js | 34 + docs/index.html | 24 +- docs/main.js | 15 + docs/math_render.js | 55 + 9 files changed, 3876 insertions(+), 5660 deletions(-) create mode 100644 docs/create_table.js delete mode 100644 docs/data.js create mode 100644 docs/details.css create mode 100644 docs/filter_table.js create mode 100644 docs/main.js create mode 100644 docs/math_render.js diff --git a/data/smallhyperbolicgrp.jl b/data/smallhyperbolicgrp.jl index 76ce4f3..c0d6539 100644 --- a/data/smallhyperbolicgrp.jl +++ b/data/smallhyperbolicgrp.jl @@ -55,6 +55,15 @@ function _sanitize_group_name(s::AbstractString) return s end +function _delatexify(dict) + map(dict) do (key, val) + key = _sanitize_group_name(key) + key = replace(key, r"_{(\d+)}"=>s"\1") + key = replace(key, "{}^"=>"") + key => val + end |> Dict +end + function TriangleGrp(half_girth_type::NTuple{3,Int}, generators, relations, nt::NamedTuple) # @assert fieldnames(SmallHyperbolicGrp) == propertynames(nt) hyperbolic, witness = _ishyperbolic(half_girth_type, nt) @@ -134,6 +143,8 @@ function show_json(io::StructuralContext, ::TriangleGrpSerialization, G::Triangl D[fname] = getfield(G, fname) end D[:L2_quotients_utf8] = _to_utf8.(D[:L2_quotients]) - D[:quotients_utf8] = [Pair(_to_utf8(k), v) for (k,v) in D[:quotients]] + D[:quotients_utf8] = Dict(_to_utf8(k) => v for (k,v) in D[:quotients]) + D[:quotients_plain] = _delatexify(D[:quotients]) + D[:quotients] = Dict(D[:quotients]) return show_json(io, StandardSerialization(), D) end diff --git a/data/triangle_groups.json b/data/triangle_groups.json index 69a57c1..acd4d89 100644 --- a/data/triangle_groups.json +++ b/data/triangle_groups.json @@ -36,28 +36,24 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 2 - }, - { - "B_{2}(3)": 1 - } - ], + "quotients": { + "B_{2}(3)": 1, + "Alt(7)": 2 + }, "alternating_quotients": [ 5, 7 ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(7)": 2 - }, - { - "B₂(3)": 1 - } - ] + "quotients_utf8": { + "Alt(7)": 2, + "B₂(3)": 1 + }, + "quotients_plain": { + "B2(3)": 1, + "Alt(7)": 2 + } }, { "name": "G^{6,40,48}_0", @@ -97,14 +93,10 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 3 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "B_{2}(3)": 3 + }, "alternating_quotients": [ 3, 5, @@ -114,14 +106,14 @@ "L2_quotients_utf8": [ "L₂(3²)" ], - "quotients_utf8": [ - { - "B₂(3)": 3 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1, + "B₂(3)": 3 + }, + "quotients_plain": { + "B2(3)": 3, + "A3(3)": 1 + } }, { "name": "G^{6,40,54}_0", @@ -160,17 +152,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "Alt(10)": 4 - }, - { - "{}^2A_{4}(4)": 1 - } - ], + "quotients": { + "B_{2}(3)": 2, + "Alt(10)": 4, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 3, 5, @@ -181,17 +167,16 @@ ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "B₂(3)": 2 - }, - { - "Alt(10)": 4 - }, - { - "²A₄(4)": 1 - } - ] + "quotients_utf8": { + "²A₄(4)": 1, + "Alt(10)": 4, + "B₂(3)": 2 + }, + "quotients_plain": { + "B2(3)": 2, + "Alt(10)": 4, + "2A4(4)": 1 + } }, { "name": "G^{6,40,54}_2", @@ -230,17 +215,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "Alt(9)": 2 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "Alt(9)": 2, + "A_{3}(3)": 1, + "{}^2A_{3}(9)": 1 + }, "alternating_quotients": [ 3, 5, @@ -248,17 +227,16 @@ ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(9)": 2 - }, - { - "²A₃(9)": 1 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "Alt(9)": 2, + "²A₃(9)": 1, + "A₃(3)": 1 + }, + "quotients_plain": { + "Alt(9)": 2, + "A3(3)": 1, + "2A3(9)": 1 + } }, { "name": "G^{6,48,48}_0", @@ -295,34 +273,27 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 1 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "B_{2}(3)": 1, + "{}^2A_{3}(9)": 1 + }, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "B₂(3)": 1 - }, - { - "²A₃(9)": 1 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "²A₃(9)": 1, + "A₃(3)": 1, + "B₂(3)": 1 + }, + "quotients_plain": { + "B2(3)": 1, + "A3(3)": 1, + "2A3(9)": 1 + } }, { "name": "G^{6,48,54}_0", @@ -360,17 +331,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "Alt(10)": 1 - }, - { - "Alt(11)": 2 - } - ], + "quotients": { + "B_{2}(3)": 2, + "Alt(10)": 1, + "Alt(11)": 2 + }, "alternating_quotients": [ 3, 4, @@ -391,17 +356,16 @@ ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "B₂(3)": 2 - }, - { - "Alt(10)": 1 - }, - { - "Alt(11)": 2 - } - ] + "quotients_utf8": { + "Alt(10)": 1, + "Alt(11)": 2, + "B₂(3)": 2 + }, + "quotients_plain": { + "B2(3)": 2, + "Alt(10)": 1, + "Alt(11)": 2 + } }, { "name": "G^{6,48,54}_2", @@ -439,34 +403,27 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "{}^2A_{3}(9)": 1 - }, - { - "A_{3}(3)": 1 - }, - { - "{}^2A_{4}(4)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "{}^2A_{3}(9)": 1, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "²A₃(9)": 1 - }, - { - "A₃(3)": 1 - }, - { - "²A₄(4)": 1 - } - ] + "quotients_utf8": { + "²A₄(4)": 1, + "²A₃(9)": 1, + "A₃(3)": 1 + }, + "quotients_plain": { + "A3(3)": 1, + "2A3(9)": 1, + "2A4(4)": 1 + } }, { "name": "G^{6,54,54}_0", @@ -505,14 +462,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(9)": 2 - }, - { - "{}^2A_{4}(4)": 2 - } - ], + "quotients": { + "Alt(9)": 2, + "{}^2A_{4}(4)": 2 + }, "alternating_quotients": [ 3, 9, @@ -520,14 +473,14 @@ ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(9)": 2 - }, - { - "²A₄(4)": 2 - } - ] + "quotients_utf8": { + "²A₄(4)": 2, + "Alt(9)": 2 + }, + "quotients_plain": { + "Alt(9)": 2, + "2A4(4)": 2 + } }, { "name": "G^{6,54,54}_2", @@ -566,20 +519,12 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(9)": 2 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "A_{3}(3)": 1 - }, - { - "{}^2A_{4}(4)": 1 - } - ], + "quotients": { + "Alt(9)": 2, + "A_{3}(3)": 1, + "{}^2A_{3}(9)": 1, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 3, 9, @@ -592,20 +537,18 @@ ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(9)": 2 - }, - { - "²A₃(9)": 1 - }, - { - "A₃(3)": 1 - }, - { - "²A₄(4)": 1 - } - ] + "quotients_utf8": { + "²A₄(4)": 1, + "Alt(9)": 2, + "²A₃(9)": 1, + "A₃(3)": 1 + }, + "quotients_plain": { + "Alt(9)": 2, + "A3(3)": 1, + "2A3(9)": 1, + "2A4(4)": 1 + } }, { "name": "G^{6,54,54}_8", @@ -644,14 +587,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "Alt(9)": 4 - } - ], + "quotients": { + "Alt(9)": 4, + "B_{2}(3)": 2 + }, "alternating_quotients": [ 3, 9, @@ -663,14 +602,14 @@ ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "B₂(3)": 2 - }, - { - "Alt(9)": 4 - } - ] + "quotients_utf8": { + "Alt(9)": 4, + "B₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 4, + "B2(3)": 2 + } }, { "name": "G^{8,40,40}_0", @@ -711,23 +650,13 @@ "L2_quotients": [ "L_2(inf^4)" ], - "quotients": [ - { - "B_{2}(3)": 1 - }, - { - "C_{2}(4)": 2 - }, - { - "Alt(10)": 2 - }, - { - "B_{2}(5)": 5 - }, - { - "Alt(11)": 2 - } - ], + "quotients": { + "B_{2}(3)": 1, + "Alt(10)": 2, + "C_{2}(4)": 2, + "B_{2}(5)": 5, + "Alt(11)": 2 + }, "alternating_quotients": [ 5, 6, @@ -743,23 +672,20 @@ "L2_quotients_utf8": [ "L₂(inf⁴)" ], - "quotients_utf8": [ - { - "B₂(3)": 1 - }, - { - "C₂(4)": 2 - }, - { - "Alt(10)": 2 - }, - { - "B₂(5)": 5 - }, - { - "Alt(11)": 2 - } - ] + "quotients_utf8": { + "C₂(4)": 2, + "Alt(10)": 2, + "B₂(5)": 5, + "Alt(11)": 2, + "B₂(3)": 1 + }, + "quotients_plain": { + "B2(3)": 1, + "B2(5)": 5, + "C2(4)": 2, + "Alt(10)": 2, + "Alt(11)": 2 + } }, { "name": "G^{8,40,48}_0", @@ -796,11 +722,9 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(5)": 4 - } - ], + "quotients": { + "B_{2}(5)": 4 + }, "alternating_quotients": [ 5, 6 @@ -809,11 +733,12 @@ "L2_quotients_utf8": [ "L₂(3²)" ], - "quotients_utf8": [ - { - "B₂(5)": 4 - } - ] + "quotients_utf8": { + "B₂(5)": 4 + }, + "quotients_plain": { + "B2(5)": 4 + } }, { "name": "G^{8,40,54}_0", @@ -851,14 +776,10 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "M_{12}": 4 - } - ], + "quotients": { + "B_{2}(3)": 2, + "M_{12}": 4 + }, "alternating_quotients": [ 6 ], @@ -866,14 +787,14 @@ "L2_quotients_utf8": [ "L₂(3²)" ], - "quotients_utf8": [ - { - "B₂(3)": 2 - }, - { - "M₁₂": 4 - } - ] + "quotients_utf8": { + "M₁₂": 4, + "B₂(3)": 2 + }, + "quotients_plain": { + "M12": 4, + "B2(3)": 2 + } }, { "name": "G^{8,40,54}_2", @@ -914,23 +835,13 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "M_{12}": 4 - }, - { - "Alt(10)": 3 - }, - { - "A_{3}(3)": 2 - }, - { - "{}^2A_{4}(4)": 1 - } - ], + "quotients": { + "A_{3}(3)": 2, + "B_{2}(3)": 2, + "M_{12}": 4, + "Alt(10)": 3, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 6, 10, @@ -946,23 +857,20 @@ "L2_quotients_utf8": [ "L₂(3²)" ], - "quotients_utf8": [ - { - "B₂(3)": 2 - }, - { - "M₁₂": 4 - }, - { - "Alt(10)": 3 - }, - { - "A₃(3)": 2 - }, - { - "²A₄(4)": 1 - } - ] + "quotients_utf8": { + "²A₄(4)": 1, + "M₁₂": 4, + "Alt(10)": 3, + "A₃(3)": 2, + "B₂(3)": 2 + }, + "quotients_plain": { + "M12": 4, + "B2(3)": 2, + "A3(3)": 2, + "Alt(10)": 3, + "2A4(4)": 1 + } }, { "name": "G^{8,48,48}_0", @@ -996,17 +904,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 3 - }, - { - "C_{3}(2)": 4 - }, - { - "Alt(11)": 1 - } - ], + "quotients": { + "B_{2}(3)": 3, + "C_{3}(2)": 4, + "Alt(11)": 1 + }, "alternating_quotients": [ 3, 4, @@ -1018,17 +920,16 @@ ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "B₂(3)": 3 - }, - { - "C₃(2)": 4 - }, - { - "Alt(11)": 1 - } - ] + "quotients_utf8": { + "C₃(2)": 4, + "Alt(11)": 1, + "B₂(3)": 3 + }, + "quotients_plain": { + "B2(3)": 3, + "Alt(11)": 1, + "C3(2)": 4 + } }, { "name": "G^{8,48,48}_1", @@ -1065,23 +966,13 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "B_{2}(3)": 2 - }, - { - "C_{3}(2)": 1 - }, - { - "B_{2}(5)": 3 - }, - { - "Alt(11)": 1 - } - ], + "quotients": { + "B_{2}(3)": 2, + "C_{3}(2)": 1, + "B_{2}(5)": 3, + "Alt(11)": 1, + "Alt(7)": 1 + }, "alternating_quotients": [ 3, 4, @@ -1099,23 +990,20 @@ ], "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 - } - ] + "quotients_utf8": { + "C₃(2)": 1, + "B₂(5)": 3, + "Alt(11)": 1, + "Alt(7)": 1, + "B₂(3)": 2 + }, + "quotients_plain": { + "B2(3)": 2, + "B2(5)": 3, + "Alt(11)": 1, + "C3(2)": 1, + "Alt(7)": 1 + } }, { "name": "G^{8,48,54}_0", @@ -1150,14 +1038,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "Alt(9)": 1 - } - ], + "quotients": { + "Alt(9)": 1, + "B_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4, @@ -1165,14 +1049,14 @@ ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "B₂(3)": 2 - }, - { - "Alt(9)": 1 - } - ] + "quotients_utf8": { + "Alt(9)": 1, + "B₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 1, + "B2(3)": 2 + } }, { "name": "G^{8,48,54}_2", @@ -1207,20 +1091,12 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "C_{3}(2)": 1 - }, - { - "Alt(10)": 2 - }, - { - "{}^2A_{4}(4)": 1 - } - ], + "quotients": { + "B_{2}(3)": 2, + "Alt(10)": 2, + "C_{3}(2)": 1, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 3, 4, @@ -1232,20 +1108,18 @@ ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "B₂(3)": 2 - }, - { - "C₃(2)": 1 - }, - { - "Alt(10)": 2 - }, - { - "²A₄(4)": 1 - } - ] + "quotients_utf8": { + "²A₄(4)": 1, + "C₃(2)": 1, + "Alt(10)": 2, + "B₂(3)": 2 + }, + "quotients_plain": { + "B2(3)": 2, + "Alt(10)": 2, + "C3(2)": 1, + "2A4(4)": 1 + } }, { "name": "G^{8,54,54}_0", @@ -1281,14 +1155,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{8,54,54}_2", @@ -1327,32 +1202,16 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "Alt(9)": 2 - }, - { - "C_{3}(2)": 4 - }, - { - "Alt(10)": 12 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "A_{3}(3)": 5 - }, - { - "{}^2A_{4}(4)": 1 - }, - { - "Alt(11)": 4 - } - ], + "quotients": { + "Alt(9)": 2, + "A_{3}(3)": 5, + "B_{2}(3)": 2, + "Alt(10)": 12, + "C_{3}(2)": 4, + "{}^2A_{3}(9)": 1, + "Alt(11)": 4, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 3, 4, @@ -1378,32 +1237,26 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 1, + "C₃(2)": 4, + "Alt(9)": 2, + "²A₃(9)": 1, + "Alt(10)": 12, + "A₃(3)": 5, + "Alt(11)": 4, + "B₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 2, + "B2(3)": 2, + "A3(3)": 5, + "Alt(10)": 12, + "Alt(11)": 4, + "C3(2)": 4, + "2A3(9)": 1, + "2A4(4)": 1 + } }, { "name": "G^{8,54,54}_8", @@ -1442,14 +1295,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "Alt(9)": 2 - } - ], + "quotients": { + "Alt(9)": 2, + "B_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4, @@ -1460,14 +1309,14 @@ ], "maximal_degree_alternating_quotients": 28, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "B₂(3)": 2 - }, - { - "Alt(9)": 2 - } - ] + "quotients_utf8": { + "Alt(9)": 2, + "B₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 2, + "B2(3)": 2 + } }, { "name": "G^{14,14,14}_0", @@ -1503,27 +1352,23 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [ - { - "{}^2A_{2}(9)": 1 - }, - { - "{}^2A_{2}(25)": 1 - } - ], + "quotients": { + "{}^2A_{2}(9)": 1, + "{}^2A_{2}(25)": 1 + }, "alternating_quotients": [], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [ - { - "²A₂(9)": 1 - }, - { - "²A₂(25)": 1 - } - ] + "quotients_utf8": { + "²A₂(25)": 1, + "²A₂(9)": 1 + }, + "quotients_plain": { + "2A2(25)": 1, + "2A2(9)": 1 + } }, { "name": "G^{14,14,14}_1", @@ -1560,13 +1405,14 @@ "Kazdhdan_property_T": true, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,14,14}_2", @@ -1603,21 +1449,20 @@ "Kazdhdan_property_T": true, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 1 - } - ], + "quotients": { + "Alt(7)": 1 + }, "alternating_quotients": [ 7 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(7)": 1 - } - ] + "quotients_utf8": { + "Alt(7)": 1 + }, + "quotients_plain": { + "Alt(7)": 1 + } }, { "name": "G^{14,14,14}_6", @@ -1654,21 +1499,20 @@ "Kazdhdan_property_T": true, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "A_{2}(8)": 2 - } - ], + "quotients": { + "A_{2}(8)": 2 + }, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(8)": 2 - } - ] + "quotients_utf8": { + "A₂(8)": 2 + }, + "quotients_plain": { + "A2(8)": 2 + } }, { "name": "G^{14,14,16}_0", @@ -1707,11 +1551,9 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [ - { - "Alt(8) or A_{2}(4)": 1 - } - ], + "quotients": { + "Alt(8) or A_{2}(4)": 1 + }, "alternating_quotients": [ 3, 8 @@ -1720,11 +1562,12 @@ "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [ - { - "Alt(8) or A₂(4)": 1 - } - ] + "quotients_utf8": { + "Alt(8) or A₂(4)": 1 + }, + "quotients_plain": { + "Alt(8) or A2(4)": 1 + } }, { "name": "G^{14,14,16}_1", @@ -1763,13 +1606,14 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,14,16}_4", @@ -1806,11 +1650,12 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,14,16}_5", @@ -1847,13 +1692,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,14,18}_0", @@ -1891,21 +1737,20 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "{}^2A_{2}(9)": 1 - } - ], + "quotients": { + "{}^2A_{2}(9)": 1 + }, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "²A₂(9)": 1 - } - ] + "quotients_utf8": { + "²A₂(9)": 1 + }, + "quotients_plain": { + "2A2(9)": 1 + } }, { "name": "G^{14,14,18}_4", @@ -1943,13 +1788,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,14,24}_0", @@ -1986,7 +1832,7 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], @@ -1994,7 +1840,8 @@ "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,14,24}_1", @@ -2034,14 +1881,10 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "{}^2A_{2}(25)": 1 - } - ], + "quotients": { + "{}^2A_{2}(25)": 1, + "Alt(7)": 1 + }, "alternating_quotients": [ 3, 7 @@ -2050,14 +1893,14 @@ "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [ - { - "Alt(7)": 1 - }, - { - "²A₂(25)": 1 - } - ] + "quotients_utf8": { + "²A₂(25)": 1, + "Alt(7)": 1 + }, + "quotients_plain": { + "2A2(25)": 1, + "Alt(7)": 1 + } }, { "name": "G^{14,14,24}_4", @@ -2095,28 +1938,24 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "Alt(8) or A_{2}(4)": 1 - }, - { - "M_{22}": 1 - } - ], + "quotients": { + "Alt(8) or A_{2}(4)": 1, + "M_{22}": 1 + }, "alternating_quotients": [ 3, 8 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(8) or A₂(4)": 1 - }, - { - "M₂₂": 1 - } - ] + "quotients_utf8": { + "Alt(8) or A₂(4)": 1, + "M₂₂": 1 + }, + "quotients_plain": { + "M22": 1, + "Alt(8) or A2(4)": 1 + } }, { "name": "G^{14,14,24}_5", @@ -2154,22 +1993,21 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 1 - } - ], + "quotients": { + "Alt(7)": 1 + }, "alternating_quotients": [ 3, 7 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(7)": 1 - } - ] + "quotients_utf8": { + "Alt(7)": 1 + }, + "quotients_plain": { + "Alt(7)": 1 + } }, { "name": "G^{14,14,26}_0", @@ -2204,13 +2042,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,14,26}_1", @@ -2248,21 +2087,20 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "A_{2}(9)": 1 - } - ], + "quotients": { + "A_{2}(9)": 1 + }, "alternating_quotients": [ 14 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(9)": 1 - } - ] + "quotients_utf8": { + "A₂(9)": 1 + }, + "quotients_plain": { + "A2(9)": 1 + } }, { "name": "G^{14,14,26}_3", @@ -2300,11 +2138,12 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,14,26}_4", @@ -2342,11 +2181,12 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,14,26}_5", @@ -2384,13 +2224,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,14,26}_7", @@ -2428,13 +2269,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,16}_0", @@ -2473,13 +2315,14 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,16}_1", @@ -2516,14 +2359,15 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,18}_0", @@ -2561,13 +2405,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,24}_0", @@ -2604,7 +2449,7 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], @@ -2612,7 +2457,8 @@ "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,24}_1", @@ -2647,14 +2493,15 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,26}_0", @@ -2689,11 +2536,12 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,26}_1", @@ -2728,13 +2576,14 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,26}_3", @@ -2769,13 +2618,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,26}_7", @@ -2810,11 +2660,12 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,18,18}_0", @@ -2853,13 +2704,14 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,18,24}_0", @@ -2898,13 +2750,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,18,26}_0", @@ -2943,13 +2796,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,18,26}_3", @@ -2988,13 +2842,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,24,24}_0", @@ -3035,20 +2890,12 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "Alt(8) or A_{2}(4)": 1 - }, - { - "J_{2}": 1 - }, - { - "{}^2A_{3}(9)": 1 - } - ], + "quotients": { + "{}^2A_{3}(9)": 1, + "Alt(8) or A_{2}(4)": 1, + "J_{2}": 1, + "Alt(7)": 1 + }, "alternating_quotients": [ 3, 7, @@ -3064,20 +2911,18 @@ "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [ - { - "Alt(7)": 1 - }, - { - "Alt(8) or A₂(4)": 1 - }, - { - "J₂": 1 - }, - { - "²A₃(9)": 1 - } - ] + "quotients_utf8": { + "²A₃(9)": 1, + "Alt(8) or A₂(4)": 1, + "Alt(7)": 1, + "J₂": 1 + }, + "quotients_plain": { + "Alt(7)": 1, + "J2": 1, + "2A3(9)": 1, + "Alt(8) or A2(4)": 1 + } }, { "name": "G^{14,24,24}_1", @@ -3113,14 +2958,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,24,26}_0", @@ -3159,13 +3005,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,24,26}_1", @@ -3201,13 +3048,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,24,26}_3", @@ -3243,13 +3091,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,24,26}_7", @@ -3288,13 +3137,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,26}_0", @@ -3333,11 +3183,12 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,26}_1", @@ -3373,13 +3224,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,26}_3", @@ -3415,13 +3267,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,26}_4", @@ -3457,13 +3310,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,26}_5", @@ -3502,13 +3356,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 14 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,26}_15", @@ -3547,13 +3402,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 13 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,16,16}_0", @@ -3590,46 +3446,33 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "{}^2A_{2}(9)": 1 - }, - { - "J_{2}": 1 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{2}(9)": 1 - }, - { - "{}^2A_{2}(81)": 2 - } - ], + "quotients": { + "{}^2A_{2}(9)": 1, + "{}^2A_{2}(64)": 2, + "{}^2A_{2}(81)": 2, + "A_{2}(9)": 1, + "J_{2}": 1 + }, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "²A₂(9)": 1 - }, - { - "J₂": 1 - }, - { - "²A₂(64)": 2 - }, - { - "A₂(9)": 1 - }, - { - "²A₂(81)": 2 - } - ] + "quotients_utf8": { + "²A₂(9)": 1, + "²A₂(81)": 2, + "²A₂(64)": 2, + "A₂(9)": 1, + "J₂": 1 + }, + "quotients_plain": { + "A2(9)": 1, + "2A2(64)": 2, + "J2": 1, + "2A2(9)": 1, + "2A2(81)": 2 + } }, { "name": "G^{16,16,16}_1", @@ -3666,34 +3509,27 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 1 - }, - { - "{}^2A_{2}(9)": 2 - }, - { - "{}^2A_{2}(81)": 2 - } - ], + "quotients": { + "{}^2A_{2}(9)": 2, + "{}^2A_{2}(81)": 2, + "A_{2}(3)": 1 + }, "alternating_quotients": [ 5, 29 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 1 - }, - { - "²A₂(9)": 2 - }, - { - "²A₂(81)": 2 - } - ] + "quotients_utf8": { + "²A₂(9)": 2, + "²A₂(81)": 2, + "A₂(3)": 1 + }, + "quotients_plain": { + "A2(3)": 1, + "2A2(81)": 2, + "2A2(9)": 2 + } }, { "name": "G^{16,16,18}_0", @@ -3731,28 +3567,24 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2 + } }, { "name": "G^{16,16,24}_0", @@ -3787,14 +3619,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "Alt(10)": 1 - }, - { - "A_{4}(2)": 1 - } - ], + "quotients": { + "A_{4}(2)": 1, + "Alt(10)": 1 + }, "alternating_quotients": [ 3, 4, @@ -3804,14 +3632,14 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(10)": 1 - }, - { - "A₄(2)": 1 - } - ] + "quotients_utf8": { + "Alt(10)": 1, + "A₄(2)": 1 + }, + "quotients_plain": { + "Alt(10)": 1, + "A4(2)": 1 + } }, { "name": "G^{16,16,24}_1", @@ -3849,14 +3677,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "Alt(9)": 1 - }, - { - "HS": 1 - } - ], + "quotients": { + "Alt(9)": 1, + "HS": 1 + }, "alternating_quotients": [ 3, 4, @@ -3869,14 +3693,14 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(9)": 1 - }, - { - "HS": 1 - } - ] + "quotients_utf8": { + "Alt(9)": 1, + "HS": 1 + }, + "quotients_plain": { + "Alt(9)": 1, + "HS": 1 + } }, { "name": "G^{16,16,26}_0", @@ -3911,14 +3735,15 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,16,26}_1", @@ -3958,7 +3783,7 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 16, 30 @@ -3967,7 +3792,8 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,18,18}_0", @@ -4006,34 +3832,27 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "{}^2A_{2}(64)": 2, + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "²A₂(64)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "²A₂(64)": 2, + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2, + "2A2(64)": 2 + } }, { "name": "G^{16,18,24}_0", @@ -4069,11 +3888,9 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "Alt(10)": 1 - } - ], + "quotients": { + "Alt(10)": 1 + }, "alternating_quotients": [ 3, 4, @@ -4083,11 +3900,12 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(10)": 1 - } - ] + "quotients_utf8": { + "Alt(10)": 1 + }, + "quotients_plain": { + "Alt(10)": 1 + } }, { "name": "G^{16,18,26}_0", @@ -4123,13 +3941,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,24,24}_0", @@ -4165,32 +3984,16 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "Alt(8) or A_{2}(4)": 2 - }, - { - "{}^2A_{2}(25)": 1 - }, - { - "J_{2}": 1 - }, - { - "C_{3}(2)": 1 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "B_{2}(5)": 1 - }, - { - "HS": 1 - } - ], + "quotients": { + "HS": 1, + "{}^2A_{3}(9)": 1, + "{}^2A_{2}(25)": 1, + "Alt(8) or A_{2}(4)": 2, + "J_{2}": 1, + "C_{3}(2)": 1, + "Alt(7)": 1, + "B_{2}(5)": 1 + }, "alternating_quotients": [ 3, 4, @@ -4216,32 +4019,26 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₂(25)": 1, + "C₃(2)": 1, + "²A₃(9)": 1, + "HS": 1, + "B₂(5)": 1, + "Alt(8) or A₂(4)": 2, + "Alt(7)": 1, + "J₂": 1 + }, + "quotients_plain": { + "2A2(25)": 1, + "HS": 1, + "B2(5)": 1, + "C3(2)": 1, + "Alt(7)": 1, + "J2": 1, + "2A3(9)": 1, + "Alt(8) or A2(4)": 2 + } }, { "name": "G^{16,24,24}_1", @@ -4277,11 +4074,9 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "C_{3}(2)": 2 - } - ], + "quotients": { + "C_{3}(2)": 2 + }, "alternating_quotients": [ 3, 4, @@ -4303,11 +4098,12 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "C₃(2)": 2 - } - ] + "quotients_utf8": { + "C₃(2)": 2 + }, + "quotients_plain": { + "C3(2)": 2 + } }, { "name": "G^{16,24,26}_0", @@ -4343,14 +4139,15 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,24,26}_1", @@ -4388,7 +4185,7 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], @@ -4396,7 +4193,8 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,26,26}_0", @@ -4432,14 +4230,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 26 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,26,26}_1", @@ -4477,21 +4276,20 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [ - { - "A_{2}(3)": 1 - } - ], + "quotients": { + "A_{2}(3)": 1 + }, "alternating_quotients": [], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [ - { - "A₂(3)": 1 - } - ] + "quotients_utf8": { + "A₂(3)": 1 + }, + "quotients_plain": { + "A2(3)": 1 + } }, { "name": "G^{16,26,26}_3", @@ -4527,27 +4325,23 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "G_{2}(3)": 1 - } - ], + "quotients": { + "G_{2}(3)": 1, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 26 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "G₂(3)": 1 - } - ] + "quotients_utf8": { + "A₂(3)": 2, + "G₂(3)": 1 + }, + "quotients_plain": { + "A2(3)": 2, + "G2(3)": 1 + } }, { "name": "G^{16,26,26}_5", @@ -4585,17 +4379,11 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [ - { - "A_{2}(3)": 1 - }, - { - "G_{2}(3)": 1 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "G_{2}(3)": 1, + "A_{2}(3)": 1 + }, "alternating_quotients": [ 3, 14, @@ -4607,17 +4395,16 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [ - { - "A₂(3)": 1 - }, - { - "G₂(3)": 1 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1, + "A₂(3)": 1, + "G₂(3)": 1 + }, + "quotients_plain": { + "A2(3)": 1, + "A3(3)": 1, + "G2(3)": 1 + } }, { "name": "G^{18,18,18}_0", @@ -4657,14 +4444,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 27, @@ -4672,14 +4455,14 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2 + } }, { "name": "G^{18,18,24}_0", @@ -4719,14 +4502,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(10)": 1 - }, - { - "Alt(11)": 1 - } - ], + "quotients": { + "Alt(10)": 1, + "Alt(11)": 1 + }, "alternating_quotients": [ 3, 4, @@ -4754,14 +4533,14 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(10)": 1 - }, - { - "Alt(11)": 1 - } - ] + "quotients_utf8": { + "Alt(10)": 1, + "Alt(11)": 1 + }, + "quotients_plain": { + "Alt(10)": 1, + "Alt(11)": 1 + } }, { "name": "G^{18,18,26}_0", @@ -4801,28 +4580,24 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2 + } }, { "name": "G^{18,24,24}_0", @@ -4862,17 +4637,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(10)": 1 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "Alt(11)": 1 - } - ], + "quotients": { + "Alt(10)": 1, + "{}^2A_{3}(9)": 1, + "Alt(11)": 1 + }, "alternating_quotients": [ 3, 4, @@ -4899,17 +4668,16 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(10)": 1 - }, - { - "²A₃(9)": 1 - }, - { - "Alt(11)": 1 - } - ] + "quotients_utf8": { + "²A₃(9)": 1, + "Alt(10)": 1, + "Alt(11)": 1 + }, + "quotients_plain": { + "Alt(10)": 1, + "Alt(11)": 1, + "2A3(9)": 1 + } }, { "name": "G^{18,24,26}_0", @@ -4949,14 +4717,15 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 27 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{18,26,26}_0", @@ -4996,22 +4765,21 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "G_{2}(3)": 2 - } - ], + "quotients": { + "G_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "G₂(3)": 2 - } - ] + "quotients_utf8": { + "G₂(3)": 2 + }, + "quotients_plain": { + "G2(3)": 2 + } }, { "name": "G^{18,26,26}_1", @@ -5051,14 +4819,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "G_{2}(3)": 1 - } - ], + "quotients": { + "G_{2}(3)": 1, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -5066,14 +4830,14 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "G₂(3)": 1 - } - ] + "quotients_utf8": { + "A₂(3)": 2, + "G₂(3)": 1 + }, + "quotients_plain": { + "A2(3)": 2, + "G2(3)": 1 + } }, { "name": "G^{24,24,24}_0", @@ -5110,23 +4874,13 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 3 - }, - { - "M_{12}": 1 - }, - { - "A_{2}(7)": 1 - }, - { - "B_{2}(5)": 3 - }, - { - "A_{4}(2)": 1 - } - ], + "quotients": { + "A_{4}(2)": 1, + "M_{12}": 1, + "B_{2}(5)": 3, + "Alt(7)": 3, + "A_{2}(7)": 1 + }, "alternating_quotients": [ 3, 4, @@ -5153,23 +4907,20 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(7)": 3 - }, - { - "M₁₂": 1 - }, - { - "A₂(7)": 1 - }, - { - "B₂(5)": 3 - }, - { - "A₄(2)": 1 - } - ] + "quotients_utf8": { + "A₂(7)": 1, + "M₁₂": 1, + "B₂(5)": 3, + "A₄(2)": 1, + "Alt(7)": 3 + }, + "quotients_plain": { + "M12": 1, + "B2(5)": 3, + "A2(7)": 1, + "A4(2)": 1, + "Alt(7)": 3 + } }, { "name": "G^{24,24,24}_1", @@ -5209,14 +4960,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "M_{22}": 1 - }, - { - "{}^2A_{3}(9)": 3 - } - ], + "quotients": { + "{}^2A_{3}(9)": 3, + "M_{22}": 1 + }, "alternating_quotients": [ 3, 4, @@ -5248,14 +4995,14 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "M₂₂": 1 - }, - { - "²A₃(9)": 3 - } - ] + "quotients_utf8": { + "²A₃(9)": 3, + "M₂₂": 1 + }, + "quotients_plain": { + "2A3(9)": 3, + "M22": 1 + } }, { "name": "G^{24,24,26}_0", @@ -5292,14 +5039,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{24,24,26}_1", @@ -5341,11 +5089,9 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [ - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1 + }, "alternating_quotients": [ 3, 13, @@ -5360,11 +5106,12 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [ - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1 + }, + "quotients_plain": { + "A3(3)": 1 + } }, { "name": "G^{24,26,26}_0", @@ -5401,7 +5148,7 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 26, @@ -5409,7 +5156,8 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{24,26,26}_1", @@ -5451,14 +5199,10 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -5469,14 +5213,14 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(3)": 2, + "A3(3)": 1 + } }, { "name": "G^{24,26,26}_3", @@ -5516,11 +5260,9 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - } - ], + "quotients": { + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -5530,11 +5272,12 @@ ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - } - ] + "quotients_utf8": { + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(3)": 2 + } }, { "name": "G^{24,26,26}_5", @@ -5573,14 +5316,10 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -5593,14 +5332,14 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(3)": 2, + "A3(3)": 1 + } }, { "name": "G^{26,26,26}_0", @@ -5637,28 +5376,24 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 1 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{2}(9)": 3, + "A_{2}(3)": 1 + }, "alternating_quotients": [ 3, 26 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 1 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₂(9)": 3, + "A₂(3)": 1 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 1 + } }, { "name": "G^{26,26,26}_1", @@ -5698,34 +5433,27 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "{}^2A_{2}(16)": 2 - }, - { - "G_{2}(3)": 6 - } - ], + "quotients": { + "{}^2A_{2}(16)": 2, + "A_{2}(3)": 2, + "G_{2}(3)": 6 + }, "alternating_quotients": [ 13, 26 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "²A₂(16)": 2 - }, - { - "G₂(3)": 6 - } - ] + "quotients_utf8": { + "²A₂(16)": 2, + "A₂(3)": 2, + "G₂(3)": 6 + }, + "quotients_plain": { + "2A2(16)": 2, + "A2(3)": 2, + "G2(3)": 6 + } }, { "name": "G^{26,26,26}_5", @@ -5762,27 +5490,23 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "{}^2A_{2}(16)": 1 - } - ], + "quotients": { + "{}^2A_{2}(16)": 1, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 36, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "²A₂(16)": 1 - } - ] + "quotients_utf8": { + "²A₂(16)": 1, + "A₂(3)": 2 + }, + "quotients_plain": { + "2A2(16)": 1, + "A2(3)": 2 + } }, { "name": "G^{26,26,26}_21", @@ -5824,20 +5548,12 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [ - { - "A_{2}(3)": 5 - }, - { - "{}^2A_{2}(16)": 3 - }, - { - "G_{2}(3)": 1 - }, - { - "{}^2F_4(2)'": 1 - } - ], + "quotients": { + "{}^2F_4(2)'": 1, + "{}^2A_{2}(16)": 3, + "A_{2}(3)": 5, + "G_{2}(3)": 1 + }, "alternating_quotients": [ 13, 30 @@ -5846,20 +5562,18 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [ - { - "A₂(3)": 5 - }, - { - "²A₂(16)": 3 - }, - { - "G₂(3)": 1 - }, - { - "²F₄(2)'": 1 - } - ] + "quotients_utf8": { + "²F₄(2)'": 1, + "²A₂(16)": 3, + "A₂(3)": 5, + "G₂(3)": 1 + }, + "quotients_plain": { + "2A2(16)": 3, + "A2(3)": 5, + "2F_4(2)'": 1, + "G2(3)": 1 + } }, { "name": "G^{14,14,40}_0", @@ -5896,17 +5610,11 @@ "L2_quotients": [ "L_2(7^2)" ], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "J_{1}": 2 - }, - { - "{}^2A_{3}(9)": 1 - } - ], + "quotients": { + "J_{1}": 2, + "{}^2A_{3}(9)": 1, + "Alt(7)": 1 + }, "alternating_quotients": [ 7 ], @@ -5914,17 +5622,16 @@ "L2_quotients_utf8": [ "L₂(7²)" ], - "quotients_utf8": [ - { - "Alt(7)": 1 - }, - { - "J₁": 2 - }, - { - "²A₃(9)": 1 - } - ] + "quotients_utf8": { + "J₁": 2, + "²A₃(9)": 1, + "Alt(7)": 1 + }, + "quotients_plain": { + "J1": 2, + "Alt(7)": 1, + "2A3(9)": 1 + } }, { "name": "G^{14,14,40}_4", @@ -5959,28 +5666,24 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 2 - }, - { - "M_{22}": 1 - } - ], + "quotients": { + "Alt(7)": 2, + "M_{22}": 1 + }, "alternating_quotients": [ 7, 28 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(7)": 2 - }, - { - "M₂₂": 1 - } - ] + "quotients_utf8": { + "M₂₂": 1, + "Alt(7)": 2 + }, + "quotients_plain": { + "Alt(7)": 2, + "M22": 1 + } }, { "name": "G^{14,14,48}_0", @@ -6016,14 +5719,10 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "{}^2A_{2}(25)": 1 - } - ], + "quotients": { + "{}^2A_{2}(25)": 1, + "Alt(7)": 1 + }, "alternating_quotients": [ 3, 7 @@ -6032,14 +5731,14 @@ "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [ - { - "Alt(7)": 1 - }, - { - "²A₂(25)": 1 - } - ] + "quotients_utf8": { + "²A₂(25)": 1, + "Alt(7)": 1 + }, + "quotients_plain": { + "2A2(25)": 1, + "Alt(7)": 1 + } }, { "name": "G^{14,14,48}_1", @@ -6075,11 +5774,9 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [ - { - "Alt(8) or A_{2}(4)": 1 - } - ], + "quotients": { + "Alt(8) or A_{2}(4)": 1 + }, "alternating_quotients": [ 3, 8 @@ -6088,11 +5785,12 @@ "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [ - { - "Alt(8) or A₂(4)": 1 - } - ] + "quotients_utf8": { + "Alt(8) or A₂(4)": 1 + }, + "quotients_plain": { + "Alt(8) or A2(4)": 1 + } }, { "name": "G^{14,14,48}_4", @@ -6126,22 +5824,21 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 1 - } - ], + "quotients": { + "Alt(7)": 1 + }, "alternating_quotients": [ 3, 7 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(7)": 1 - } - ] + "quotients_utf8": { + "Alt(7)": 1 + }, + "quotients_plain": { + "Alt(7)": 1 + } }, { "name": "G^{14,14,48}_5", @@ -6175,14 +5872,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "Alt(8) or A_{2}(4)": 1 - }, - { - "M_{22}": 1 - } - ], + "quotients": { + "Alt(8) or A_{2}(4)": 1, + "M_{22}": 1 + }, "alternating_quotients": [ 3, 8, @@ -6190,14 +5883,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(8) or A₂(4)": 1 - }, - { - "M₂₂": 1 - } - ] + "quotients_utf8": { + "Alt(8) or A₂(4)": 1, + "M₂₂": 1 + }, + "quotients_plain": { + "M22": 1, + "Alt(8) or A2(4)": 1 + } }, { "name": "G^{14,14,54}_0", @@ -6232,21 +5925,20 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "{}^2A_{2}(9)": 1 - } - ], + "quotients": { + "{}^2A_{2}(9)": 1 + }, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "²A₂(9)": 1 - } - ] + "quotients_utf8": { + "²A₂(9)": 1 + }, + "quotients_plain": { + "2A2(9)": 1 + } }, { "name": "G^{14,14,54}_4", @@ -6281,13 +5973,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,40}_0", @@ -6324,13 +6017,14 @@ "L2_quotients": [ "L_2(7^2)" ], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [ "L₂(7²)" ], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,48}_0", @@ -6364,14 +6058,15 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,48}_1", @@ -6407,7 +6102,7 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], @@ -6415,7 +6110,8 @@ "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,54}_0", @@ -6450,13 +6146,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,16,54}_2", @@ -6491,13 +6188,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,18,40}_0", @@ -6533,22 +6231,21 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "J_{2}": 1 - } - ], + "quotients": { + "J_{2}": 1 + }, "alternating_quotients": [ 21, 25 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "J₂": 1 - } - ] + "quotients_utf8": { + "J₂": 1 + }, + "quotients_plain": { + "J2": 1 + } }, { "name": "G^{14,18,48}_0", @@ -6583,21 +6280,20 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "G_{2}(3)": 1 - } - ], + "quotients": { + "G_{2}(3)": 1 + }, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "G₂(3)": 1 - } - ] + "quotients_utf8": { + "G₂(3)": 1 + }, + "quotients_plain": { + "G2(3)": 1 + } }, { "name": "G^{14,18,54}_0", @@ -6633,13 +6329,14 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,18,54}_2", @@ -6675,7 +6372,7 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 21, @@ -6684,7 +6381,8 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,24,40}_0", @@ -6722,17 +6420,11 @@ "L2_quotients": [ "L_2(7^2)" ], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "Alt(10)": 1 - }, - { - "A_{4}(2)": 1 - } - ], + "quotients": { + "A_{4}(2)": 1, + "Alt(10)": 1, + "Alt(7)": 1 + }, "alternating_quotients": [ 7, 10 @@ -6741,17 +6433,16 @@ "L2_quotients_utf8": [ "L₂(7²)" ], - "quotients_utf8": [ - { - "Alt(7)": 1 - }, - { - "Alt(10)": 1 - }, - { - "A₄(2)": 1 - } - ] + "quotients_utf8": { + "Alt(10)": 1, + "A₄(2)": 1, + "Alt(7)": 1 + }, + "quotients_plain": { + "Alt(10)": 1, + "A4(2)": 1, + "Alt(7)": 1 + } }, { "name": "G^{14,24,48}_0", @@ -6786,14 +6477,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,24,48}_1", @@ -6830,23 +6522,13 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "Alt(8) or A_{2}(4)": 1 - }, - { - "J_{2}": 1 - }, - { - "C_{3}(2)": 1 - }, - { - "{}^2A_{3}(9)": 1 - } - ], + "quotients": { + "{}^2A_{3}(9)": 1, + "Alt(8) or A_{2}(4)": 1, + "J_{2}": 1, + "C_{3}(2)": 1, + "Alt(7)": 1 + }, "alternating_quotients": [ 3, 7, @@ -6860,23 +6542,20 @@ "L2_quotients_utf8": [ "L₂(7)" ], - "quotients_utf8": [ - { - "Alt(7)": 1 - }, - { - "Alt(8) or A₂(4)": 1 - }, - { - "J₂": 1 - }, - { - "C₃(2)": 1 - }, - { - "²A₃(9)": 1 - } - ] + "quotients_utf8": { + "C₃(2)": 1, + "²A₃(9)": 1, + "Alt(8) or A₂(4)": 1, + "Alt(7)": 1, + "J₂": 1 + }, + "quotients_plain": { + "C3(2)": 1, + "Alt(7)": 1, + "J2": 1, + "2A3(9)": 1, + "Alt(8) or A2(4)": 1 + } }, { "name": "G^{14,24,54}_0", @@ -6912,14 +6591,15 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 18 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,24,54}_2", @@ -6955,14 +6635,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "C_{3}(2)": 1 - }, - { - "{}^2A_{3}(9)": 1 - } - ], + "quotients": { + "{}^2A_{3}(9)": 1, + "C_{3}(2)": 1 + }, "alternating_quotients": [ 3, 14, @@ -6971,14 +6647,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "C₃(2)": 1 - }, - { - "²A₃(9)": 1 - } - ] + "quotients_utf8": { + "C₃(2)": 1, + "²A₃(9)": 1 + }, + "quotients_plain": { + "C3(2)": 1, + "2A3(9)": 1 + } }, { "name": "G^{14,26,40}_0", @@ -7014,11 +6690,12 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,40}_4", @@ -7054,11 +6731,12 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,48}_0", @@ -7093,13 +6771,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,48}_1", @@ -7134,13 +6813,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,48}_4", @@ -7175,13 +6855,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,48}_5", @@ -7216,13 +6897,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,54}_0", @@ -7258,13 +6940,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,54}_2", @@ -7300,13 +6983,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,54}_4", @@ -7342,13 +7026,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,26,54}_6", @@ -7384,13 +7069,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,16,40}_0", @@ -7425,26 +7111,14 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "M_{11}": 1 - }, - { - "B_{2}(3)": 1 - }, - { - "J_{2}": 2 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "B_{2}(5)": 1 - }, - { - "A_{3}(3)": 2 - } - ], + "quotients": { + "M_{11}": 1, + "A_{3}(3)": 2, + "B_{2}(3)": 1, + "{}^2A_{3}(9)": 1, + "J_{2}": 2, + "B_{2}(5)": 1 + }, "alternating_quotients": [ 5, 21, @@ -7453,26 +7127,22 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₃(9)": 1, + "B₂(5)": 1, + "A₃(3)": 2, + "J₂": 2, + "B₂(3)": 1, + "M₁₁": 1 + }, + "quotients_plain": { + "B2(3)": 1, + "A3(3)": 2, + "B2(5)": 1, + "M11": 1, + "J2": 2, + "2A3(9)": 1 + } }, { "name": "G^{16,16,48}_0", @@ -7506,23 +7176,13 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 1 - }, - { - "{}^2A_{2}(9)": 2 - }, - { - "Alt(9)": 1 - }, - { - "{}^2A_{2}(81)": 2 - }, - { - "HS": 1 - } - ], + "quotients": { + "Alt(9)": 1, + "HS": 1, + "{}^2A_{2}(9)": 2, + "{}^2A_{2}(81)": 2, + "A_{2}(3)": 1 + }, "alternating_quotients": [ 3, 4, @@ -7535,23 +7195,20 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 1 - }, - { - "²A₂(9)": 2 - }, - { - "Alt(9)": 1 - }, - { - "²A₂(81)": 2 - }, - { - "HS": 1 - } - ] + "quotients_utf8": { + "Alt(9)": 1, + "²A₂(9)": 2, + "²A₂(81)": 2, + "HS": 1, + "A₂(3)": 1 + }, + "quotients_plain": { + "Alt(9)": 1, + "HS": 1, + "A2(3)": 1, + "2A2(81)": 2, + "2A2(9)": 2 + } }, { "name": "G^{16,16,48}_1", @@ -7585,32 +7242,16 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "{}^2A_{2}(9)": 1 - }, - { - "J_{2}": 1 - }, - { - "Alt(10)": 1 - }, - { - "B_{2}(5)": 1 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{4}(2)": 1 - }, - { - "A_{2}(9)": 1 - }, - { - "{}^2A_{2}(81)": 2 - } - ], + "quotients": { + "{}^2A_{2}(9)": 1, + "{}^2A_{2}(64)": 2, + "A_{4}(2)": 1, + "Alt(10)": 1, + "A_{2}(9)": 1, + "{}^2A_{2}(81)": 2, + "J_{2}": 1, + "B_{2}(5)": 1 + }, "alternating_quotients": [ 3, 4, @@ -7618,32 +7259,26 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₂(9)": 1, + "²A₂(81)": 2, + "Alt(10)": 1, + "B₂(5)": 1, + "²A₂(64)": 2, + "A₄(2)": 1, + "A₂(9)": 1, + "J₂": 1 + }, + "quotients_plain": { + "A2(9)": 1, + "2A2(64)": 2, + "B2(5)": 1, + "Alt(10)": 1, + "A4(2)": 1, + "J2": 1, + "2A2(9)": 1, + "2A2(81)": 2 + } }, { "name": "G^{16,16,54}_0", @@ -7678,17 +7313,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 1 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "B_{2}(3)": 1, + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4, @@ -7700,17 +7329,16 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "B₂(3)": 1 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 1 + }, + "quotients_plain": { + "B2(3)": 1, + "A2(3)": 2, + "A2(9)": 3 + } }, { "name": "G^{16,18,40}_0", @@ -7748,14 +7376,10 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "M_{12}": 5 - } - ], + "quotients": { + "B_{2}(3)": 2, + "M_{12}": 5 + }, "alternating_quotients": [ 6, 18, @@ -7767,14 +7391,14 @@ "L2_quotients_utf8": [ "L₂(3²)" ], - "quotients_utf8": [ - { - "B₂(3)": 2 - }, - { - "M₁₂": 5 - } - ] + "quotients_utf8": { + "M₁₂": 5, + "B₂(3)": 2 + }, + "quotients_plain": { + "M12": 5, + "B2(3)": 2 + } }, { "name": "G^{16,18,48}_0", @@ -7809,17 +7433,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "Alt(10)": 1 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(10)": 1, + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4, @@ -7830,17 +7448,16 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "Alt(10)": 1 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "Alt(10)": 1, + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2, + "Alt(10)": 1 + } }, { "name": "G^{16,18,54}_0", @@ -7876,17 +7493,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "{}^2A_{2}(64)": 2, + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4, @@ -7896,17 +7507,16 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "²A₂(64)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "²A₂(64)": 2, + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2, + "2A2(64)": 2 + } }, { "name": "G^{16,18,54}_2", @@ -7942,17 +7552,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "{}^2A_{2}(64)": 2, + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4, @@ -7968,17 +7572,16 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "²A₂(64)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "²A₂(64)": 2, + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2, + "2A2(64)": 2 + } }, { "name": "G^{16,24,40}_0", @@ -8016,17 +7619,11 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(5)": 2 - }, - { - "A_{4}(2)": 3 - }, - { - "Alt(11)": 2 - } - ], + "quotients": { + "A_{4}(2)": 3, + "B_{2}(5)": 2, + "Alt(11)": 2 + }, "alternating_quotients": [ 5, 6, @@ -8038,17 +7635,16 @@ "L2_quotients_utf8": [ "L₂(3²)" ], - "quotients_utf8": [ - { - "B₂(5)": 2 - }, - { - "A₄(2)": 3 - }, - { - "Alt(11)": 2 - } - ] + "quotients_utf8": { + "B₂(5)": 2, + "A₄(2)": 3, + "Alt(11)": 2 + }, + "quotients_plain": { + "B2(5)": 2, + "A4(2)": 3, + "Alt(11)": 2 + } }, { "name": "G^{16,24,48}_0", @@ -8083,17 +7679,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "Alt(9)": 1 - }, - { - "C_{3}(2)": 5 - }, - { - "HS": 1 - } - ], + "quotients": { + "Alt(9)": 1, + "HS": 1, + "C_{3}(2)": 5 + }, "alternating_quotients": [ 3, 4, @@ -8117,17 +7707,16 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(9)": 1 - }, - { - "C₃(2)": 5 - }, - { - "HS": 1 - } - ] + "quotients_utf8": { + "C₃(2)": 5, + "Alt(9)": 1, + "HS": 1 + }, + "quotients_plain": { + "Alt(9)": 1, + "HS": 1, + "C3(2)": 5 + } }, { "name": "G^{16,24,48}_1", @@ -8162,38 +7751,18 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "Alt(8) or A_{2}(4)": 2 - }, - { - "{}^2A_{2}(25)": 1 - }, - { - "J_{2}": 1 - }, - { - "C_{3}(2)": 2 - }, - { - "Alt(10)": 1 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "B_{2}(5)": 1 - }, - { - "A_{4}(2)": 1 - }, - { - "HS": 1 - } - ], + "quotients": { + "HS": 1, + "A_{4}(2)": 1, + "Alt(10)": 1, + "{}^2A_{2}(25)": 1, + "Alt(8) or A_{2}(4)": 2, + "J_{2}": 1, + "C_{3}(2)": 2, + "Alt(7)": 1, + "{}^2A_{3}(9)": 1, + "B_{2}(5)": 1 + }, "alternating_quotients": [ 3, 4, @@ -8218,38 +7787,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 - } - ] + "quotients_utf8": { + "²A₂(25)": 1, + "C₃(2)": 2, + "²A₃(9)": 1, + "HS": 1, + "Alt(10)": 1, + "Alt(8) or A₂(4)": 2, + "B₂(5)": 1, + "A₄(2)": 1, + "Alt(7)": 1, + "J₂": 1 + }, + "quotients_plain": { + "2A2(25)": 1, + "HS": 1, + "B2(5)": 1, + "Alt(10)": 1, + "A4(2)": 1, + "C3(2)": 2, + "Alt(7)": 1, + "J2": 1, + "2A3(9)": 1, + "Alt(8) or A2(4)": 2 + } }, { "name": "G^{16,24,54}_0", @@ -8285,17 +7846,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "Alt(9)": 1 - }, - { - "C_{3}(2)": 1 - }, - { - "Alt(10)": 1 - } - ], + "quotients": { + "Alt(9)": 1, + "Alt(10)": 1, + "C_{3}(2)": 1 + }, "alternating_quotients": [ 3, 4, @@ -8313,17 +7868,16 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(9)": 1 - }, - { - "C₃(2)": 1 - }, - { - "Alt(10)": 1 - } - ] + "quotients_utf8": { + "C₃(2)": 1, + "Alt(9)": 1, + "Alt(10)": 1 + }, + "quotients_plain": { + "Alt(9)": 1, + "Alt(10)": 1, + "C3(2)": 1 + } }, { "name": "G^{16,24,54}_2", @@ -8359,14 +7913,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 1 - }, - { - "Alt(10)": 3 - } - ], + "quotients": { + "B_{2}(3)": 1, + "Alt(10)": 3 + }, "alternating_quotients": [ 3, 4, @@ -8386,14 +7936,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "B₂(3)": 1 - }, - { - "Alt(10)": 3 - } - ] + "quotients_utf8": { + "Alt(10)": 3, + "B₂(3)": 1 + }, + "quotients_plain": { + "B2(3)": 1, + "Alt(10)": 3 + } }, { "name": "G^{16,26,40}_0", @@ -8431,21 +7981,20 @@ "L2_quotients": [ "L_2(13^2)" ], - "quotients": [ - { - "{}^2F_4(2)'": 1 - } - ], + "quotients": { + "{}^2F_4(2)'": 1 + }, "alternating_quotients": [], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [ "L₂(13²)" ], - "quotients_utf8": [ - { - "²F₄(2)'": 1 - } - ] + "quotients_utf8": { + "²F₄(2)'": 1 + }, + "quotients_plain": { + "2F_4(2)'": 1 + } }, { "name": "G^{16,26,48}_0", @@ -8482,7 +8031,7 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 16, @@ -8492,7 +8041,8 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,26,48}_1", @@ -8527,14 +8077,15 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,26,54}_0", @@ -8570,13 +8121,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,26,54}_2", @@ -8612,14 +8164,15 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 28 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{18,18,40}_0", @@ -8656,14 +8209,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "M_{12}": 2 - }, - { - "A_{3}(3)": 4 - } - ], + "quotients": { + "A_{3}(3)": 4, + "M_{12}": 2 + }, "alternating_quotients": [ 3, 5, @@ -8682,14 +8231,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "M₁₂": 2 - }, - { - "A₃(3)": 4 - } - ] + "quotients_utf8": { + "M₁₂": 2, + "A₃(3)": 4 + }, + "quotients_plain": { + "M12": 2, + "A3(3)": 4 + } }, { "name": "G^{18,18,48}_0", @@ -8725,23 +8274,13 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "Alt(10)": 1 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "Alt(11)": 1 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "{}^2A_{2}(64)": 2, + "Alt(10)": 1, + "A_{2}(9)": 3, + "Alt(11)": 1, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4, @@ -8763,23 +8302,20 @@ ], "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 - } - ] + "quotients_utf8": { + "Alt(10)": 1, + "²A₂(64)": 2, + "Alt(11)": 1, + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2, + "2A2(64)": 2, + "Alt(10)": 1, + "Alt(11)": 1 + } }, { "name": "G^{18,18,54}_0", @@ -8816,14 +8352,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 19, @@ -8838,14 +8370,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2 + } }, { "name": "G^{18,24,40}_0", @@ -8884,23 +8416,13 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "M_{12}": 6 - }, - { - "Alt(10)": 2 - }, - { - "{}^2A_{3}(9)": 2 - }, - { - "A_{3}(3)": 3 - }, - { - "Alt(11)": 4 - } - ], + "quotients": { + "A_{3}(3)": 3, + "Alt(10)": 2, + "M_{12}": 6, + "{}^2A_{3}(9)": 2, + "Alt(11)": 4 + }, "alternating_quotients": [ 3, 5, @@ -8926,23 +8448,20 @@ "L2_quotients_utf8": [ "L₂(3²)" ], - "quotients_utf8": [ - { - "M₁₂": 6 - }, - { - "Alt(10)": 2 - }, - { - "²A₃(9)": 2 - }, - { - "A₃(3)": 3 - }, - { - "Alt(11)": 4 - } - ] + "quotients_utf8": { + "²A₃(9)": 2, + "M₁₂": 6, + "Alt(10)": 2, + "A₃(3)": 3, + "Alt(11)": 4 + }, + "quotients_plain": { + "M12": 6, + "A3(3)": 3, + "Alt(10)": 2, + "Alt(11)": 4, + "2A3(9)": 2 + } }, { "name": "G^{18,24,48}_0", @@ -8978,20 +8497,12 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(10)": 2 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "A_{3}(3)": 2 - }, - { - "Alt(11)": 1 - } - ], + "quotients": { + "A_{3}(3)": 2, + "Alt(10)": 2, + "{}^2A_{3}(9)": 1, + "Alt(11)": 1 + }, "alternating_quotients": [ 3, 4, @@ -9016,20 +8527,18 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(10)": 2 - }, - { - "²A₃(9)": 1 - }, - { - "A₃(3)": 2 - }, - { - "Alt(11)": 1 - } - ] + "quotients_utf8": { + "²A₃(9)": 1, + "Alt(10)": 2, + "A₃(3)": 2, + "Alt(11)": 1 + }, + "quotients_plain": { + "A3(3)": 2, + "Alt(10)": 2, + "Alt(11)": 1, + "2A3(9)": 1 + } }, { "name": "G^{18,24,54}_0", @@ -9066,17 +8575,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(10)": 2 - }, - { - "A_{3}(3)": 4 - }, - { - "Alt(11)": 2 - } - ], + "quotients": { + "A_{3}(3)": 4, + "Alt(10)": 2, + "Alt(11)": 2 + }, "alternating_quotients": [ 3, 4, @@ -9100,17 +8603,16 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(10)": 2 - }, - { - "A₃(3)": 4 - }, - { - "Alt(11)": 2 - } - ] + "quotients_utf8": { + "Alt(10)": 2, + "A₃(3)": 4, + "Alt(11)": 2 + }, + "quotients_plain": { + "A3(3)": 4, + "Alt(10)": 2, + "Alt(11)": 2 + } }, { "name": "G^{18,24,54}_2", @@ -9147,17 +8649,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(9)": 2 - }, - { - "Alt(10)": 1 - }, - { - "Alt(11)": 1 - } - ], + "quotients": { + "Alt(9)": 2, + "Alt(10)": 1, + "Alt(11)": 1 + }, "alternating_quotients": [ 3, 4, @@ -9181,17 +8677,16 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(9)": 2 - }, - { - "Alt(10)": 1 - }, - { - "Alt(11)": 1 - } - ] + "quotients_utf8": { + "Alt(9)": 2, + "Alt(10)": 1, + "Alt(11)": 1 + }, + "quotients_plain": { + "Alt(9)": 2, + "Alt(10)": 1, + "Alt(11)": 1 + } }, { "name": "G^{18,26,40}_0", @@ -9228,11 +8723,12 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{18,26,48}_0", @@ -9268,22 +8764,21 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "G_{2}(3)": 1 - } - ], + "quotients": { + "G_{2}(3)": 1 + }, "alternating_quotients": [ 3, 27 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "G₂(3)": 1 - } - ] + "quotients_utf8": { + "G₂(3)": 1 + }, + "quotients_plain": { + "G2(3)": 1 + } }, { "name": "G^{18,26,54}_0", @@ -9320,14 +8815,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -9336,14 +8827,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2 + } }, { "name": "G^{18,26,54}_2", @@ -9380,28 +8871,24 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2 + } }, { "name": "G^{24,24,40}_0", @@ -9441,32 +8928,16 @@ "L_2(3^2)", "L_2(3^2)" ], - "quotients": [ - { - "Alt(7)": 2 - }, - { - "M_{22}": 2 - }, - { - "J_{2}": 4 - }, - { - "C_{2}(4)": 4 - }, - { - "C_{3}(2)": 1 - }, - { - "B_{2}(5)": 8 - }, - { - "A_{3}(3)": 1 - }, - { - "A_{4}(2)": 2 - } - ], + "quotients": { + "A_{3}(3)": 1, + "A_{4}(2)": 2, + "C_{3}(2)": 1, + "J_{2}": 4, + "C_{2}(4)": 4, + "Alt(7)": 2, + "M_{22}": 2, + "B_{2}(5)": 8 + }, "alternating_quotients": [ 3, 5, @@ -9493,32 +8964,26 @@ "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 - } - ] + "quotients_utf8": { + "C₂(4)": 4, + "C₃(2)": 1, + "B₂(5)": 8, + "M₂₂": 2, + "A₃(3)": 1, + "A₄(2)": 2, + "Alt(7)": 2, + "J₂": 4 + }, + "quotients_plain": { + "A3(3)": 1, + "B2(5)": 8, + "C2(4)": 4, + "A4(2)": 2, + "C3(2)": 1, + "Alt(7)": 2, + "M22": 2, + "J2": 4 + } }, { "name": "G^{24,24,48}_0", @@ -9554,23 +9019,13 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "M_{22}": 1 - }, - { - "C_{3}(2)": 6 - }, - { - "{}^2A_{3}(9)": 5 - }, - { - "B_{2}(5)": 2 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "{}^2A_{3}(9)": 5, + "C_{3}(2)": 6, + "B_{2}(5)": 2, + "M_{22}": 1 + }, "alternating_quotients": [ 3, 4, @@ -9597,23 +9052,20 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "M₂₂": 1 - }, - { - "C₃(2)": 6 - }, - { - "²A₃(9)": 5 - }, - { - "B₂(5)": 2 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "C₃(2)": 6, + "²A₃(9)": 5, + "B₂(5)": 2, + "M₂₂": 1, + "A₃(3)": 1 + }, + "quotients_plain": { + "A3(3)": 1, + "B2(5)": 2, + "C3(2)": 6, + "2A3(9)": 5, + "M22": 1 + } }, { "name": "G^{24,24,48}_1", @@ -9649,44 +9101,20 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 3 - }, - { - "Alt(8) or A_{2}(4)": 2 - }, - { - "M_{12}": 1 - }, - { - "{}^2A_{2}(25)": 1 - }, - { - "J_{2}": 1 - }, - { - "C_{3}(2)": 3 - }, - { - "A_{2}(7)": 1 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "B_{2}(5)": 3 - }, - { - "A_{4}(2)": 1 - }, - { - "{}^2A_{4}(4)": 2 - }, - { - "HS": 1 - } - ], + "quotients": { + "HS": 1, + "M_{12}": 1, + "Alt(8) or A_{2}(4)": 2, + "J_{2}": 1, + "C_{3}(2)": 3, + "Alt(7)": 3, + "B_{2}(5)": 3, + "A_{4}(2)": 1, + "{}^2A_{3}(9)": 1, + "{}^2A_{2}(25)": 1, + "A_{2}(7)": 1, + "{}^2A_{4}(4)": 2 + }, "alternating_quotients": [ 3, 4, @@ -9711,44 +9139,34 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 2, + "²A₂(25)": 1, + "²A₃(9)": 1, + "HS": 1, + "M₁₂": 1, + "B₂(5)": 3, + "Alt(7)": 3, + "A₂(7)": 1, + "C₃(2)": 3, + "Alt(8) or A₂(4)": 2, + "A₄(2)": 1, + "J₂": 1 + }, + "quotients_plain": { + "2A2(25)": 1, + "HS": 1, + "B2(5)": 3, + "A4(2)": 1, + "C3(2)": 3, + "Alt(7)": 3, + "J2": 1, + "Alt(8) or A2(4)": 2, + "M12": 1, + "A2(7)": 1, + "2A3(9)": 1, + "2A4(4)": 2 + } }, { "name": "G^{24,24,54}_0", @@ -9785,20 +9203,12 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(9)": 3 - }, - { - "Alt(10)": 4 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "Alt(11)": 2 - } - ], + "quotients": { + "Alt(9)": 3, + "Alt(10)": 4, + "{}^2A_{3}(9)": 1, + "Alt(11)": 2 + }, "alternating_quotients": [ 3, 4, @@ -9825,20 +9235,18 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(9)": 3 - }, - { - "Alt(10)": 4 - }, - { - "²A₃(9)": 1 - }, - { - "Alt(11)": 2 - } - ] + "quotients_utf8": { + "Alt(9)": 3, + "²A₃(9)": 1, + "Alt(10)": 4, + "Alt(11)": 2 + }, + "quotients_plain": { + "Alt(9)": 3, + "Alt(10)": 4, + "Alt(11)": 2, + "2A3(9)": 1 + } }, { "name": "G^{24,26,40}_0", @@ -9877,13 +9285,14 @@ "L2_quotients": [ "L_2(13^2)" ], - "quotients": [], + "quotients": {}, "alternating_quotients": [], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [ "L₂(13²)" ], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{24,26,48}_0", @@ -9921,11 +9330,9 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [ - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1 + }, "alternating_quotients": [ 3, 13, @@ -9942,11 +9349,12 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [ - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1 + }, + "quotients_plain": { + "A3(3)": 1 + } }, { "name": "G^{24,26,48}_1", @@ -9982,7 +9390,7 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4, @@ -9991,7 +9399,8 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{24,26,54}_0", @@ -10028,11 +9437,9 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1 + }, "alternating_quotients": [ 3, 13, @@ -10042,11 +9449,12 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1 + }, + "quotients_plain": { + "A3(3)": 1 + } }, { "name": "G^{24,26,54}_2", @@ -10083,7 +9491,7 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 13, @@ -10091,7 +9499,8 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{26,26,40}_0", @@ -10128,13 +9537,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 13 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{26,26,40}_4", @@ -10173,14 +9583,10 @@ "L2_quotients": [ "L_2(13^2)" ], - "quotients": [ - { - "{}^2A_{2}(16)": 1 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "{}^2A_{2}(16)": 1 + }, "alternating_quotients": [ 13, 26 @@ -10189,14 +9595,14 @@ "L2_quotients_utf8": [ "L₂(13²)" ], - "quotients_utf8": [ - { - "²A₂(16)": 1 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1, + "²A₂(16)": 1 + }, + "quotients_plain": { + "2A2(16)": 1, + "A3(3)": 1 + } }, { "name": "G^{26,26,48}_0", @@ -10232,14 +9638,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "G_{2}(3)": 1 - } - ], + "quotients": { + "G_{2}(3)": 1, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -10249,14 +9651,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "G₂(3)": 1 - } - ] + "quotients_utf8": { + "A₂(3)": 2, + "G₂(3)": 1 + }, + "quotients_plain": { + "A2(3)": 2, + "G2(3)": 1 + } }, { "name": "G^{26,26,48}_1", @@ -10292,7 +9694,7 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 26, @@ -10300,7 +9702,8 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{26,26,48}_4", @@ -10338,17 +9741,11 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "G_{2}(3)": 1 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "G_{2}(3)": 1, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -10362,17 +9759,16 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "G₂(3)": 1 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1, + "A₂(3)": 2, + "G₂(3)": 1 + }, + "quotients_plain": { + "A2(3)": 2, + "A3(3)": 1, + "G2(3)": 1 + } }, { "name": "G^{26,26,48}_5", @@ -10410,14 +9806,10 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -10428,14 +9820,14 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(3)": 2, + "A3(3)": 1 + } }, { "name": "G^{26,26,54}_0", @@ -10472,22 +9864,21 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "G_{2}(3)": 2 - } - ], + "quotients": { + "G_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "G₂(3)": 2 - } - ] + "quotients_utf8": { + "G₂(3)": 2 + }, + "quotients_plain": { + "G2(3)": 2 + } }, { "name": "G^{26,26,54}_4", @@ -10524,14 +9915,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "G_{2}(3)": 1 - } - ], + "quotients": { + "G_{2}(3)": 1, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -10539,14 +9926,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "G₂(3)": 1 - } - ] + "quotients_utf8": { + "A₂(3)": 2, + "G₂(3)": 1 + }, + "quotients_plain": { + "A2(3)": 2, + "G2(3)": 1 + } }, { "name": "G^{14,40,40}_0", @@ -10584,29 +9971,15 @@ "L2_quotients": [ "L_2(7^2)" ], - "quotients": [ - { - "Alt(8) or A_{2}(4)": 5 - }, - { - "C_{3}(2)": 2 - }, - { - "Alt(10)": 4 - }, - { - "{}^2A_{3}(9)": 2 - }, - { - "A_{4}(2)": 3 - }, - { - "Alt(11)": 3 - }, - { - "A_{2}(9)": 1 - } - ], + "quotients": { + "A_{4}(2)": 3, + "Alt(10)": 4, + "{}^2A_{3}(9)": 2, + "Alt(8) or A_{2}(4)": 5, + "C_{3}(2)": 2, + "Alt(11)": 3, + "A_{2}(9)": 1 + }, "alternating_quotients": [ 5, 10, @@ -10619,29 +9992,24 @@ "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 - } - ] + "quotients_utf8": { + "C₃(2)": 2, + "²A₃(9)": 2, + "Alt(10)": 4, + "Alt(8) or A₂(4)": 5, + "A₄(2)": 3, + "Alt(11)": 3, + "A₂(9)": 1 + }, + "quotients_plain": { + "A2(9)": 1, + "Alt(10)": 4, + "A4(2)": 3, + "C3(2)": 2, + "2A3(9)": 2, + "Alt(11)": 3, + "Alt(8) or A2(4)": 5 + } }, { "name": "G^{14,40,48}_0", @@ -10678,17 +10046,11 @@ "L2_quotients": [ "L_2(7^2)" ], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "Alt(10)": 1 - }, - { - "A_{4}(2)": 1 - } - ], + "quotients": { + "A_{4}(2)": 1, + "Alt(10)": 1, + "Alt(7)": 1 + }, "alternating_quotients": [ 7, 10 @@ -10697,17 +10059,16 @@ "L2_quotients_utf8": [ "L₂(7²)" ], - "quotients_utf8": [ - { - "Alt(7)": 1 - }, - { - "Alt(10)": 1 - }, - { - "A₄(2)": 1 - } - ] + "quotients_utf8": { + "Alt(10)": 1, + "A₄(2)": 1, + "Alt(7)": 1 + }, + "quotients_plain": { + "Alt(10)": 1, + "A4(2)": 1, + "Alt(7)": 1 + } }, { "name": "G^{14,40,54}_0", @@ -10743,28 +10104,24 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "J_{2}": 1 - }, - { - "C_{3}(2)": 2 - } - ], + "quotients": { + "C_{3}(2)": 2, + "J_{2}": 1 + }, "alternating_quotients": [ 21, 25 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "J₂": 1 - }, - { - "C₃(2)": 2 - } - ] + "quotients_utf8": { + "C₃(2)": 2, + "J₂": 1 + }, + "quotients_plain": { + "C3(2)": 2, + "J2": 1 + } }, { "name": "G^{14,40,54}_2", @@ -10800,14 +10157,10 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "J_{2}": 1 - }, - { - "C_{3}(2)": 2 - } - ], + "quotients": { + "C_{3}(2)": 2, + "J_{2}": 1 + }, "alternating_quotients": [ 20, 21, @@ -10818,14 +10171,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "J₂": 1 - }, - { - "C₃(2)": 2 - } - ] + "quotients_utf8": { + "C₃(2)": 2, + "J₂": 1 + }, + "quotients_plain": { + "C3(2)": 2, + "J2": 1 + } }, { "name": "G^{14,48,48}_0", @@ -10861,26 +10214,14 @@ "L2_quotients": [ "L_2(7)" ], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "Alt(8) or A_{2}(4)": 1 - }, - { - "J_{2}": 1 - }, - { - "C_{3}(2)": 2 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "G_{2}(3)": 2 - } - ], + "quotients": { + "{}^2A_{3}(9)": 1, + "Alt(8) or A_{2}(4)": 1, + "J_{2}": 1, + "C_{3}(2)": 2, + "Alt(7)": 1, + "G_{2}(3)": 2 + }, "alternating_quotients": [ 3, 7, @@ -10899,26 +10240,22 @@ "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 - } - ] + "quotients_utf8": { + "C₃(2)": 2, + "²A₃(9)": 1, + "Alt(8) or A₂(4)": 1, + "Alt(7)": 1, + "J₂": 1, + "G₂(3)": 2 + }, + "quotients_plain": { + "G2(3)": 2, + "C3(2)": 2, + "Alt(7)": 1, + "J2": 1, + "2A3(9)": 1, + "Alt(8) or A2(4)": 1 + } }, { "name": "G^{14,48,48}_1", @@ -10952,14 +10289,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 4 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,48,54}_0", @@ -10994,22 +10332,21 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "G_{2}(3)": 1 - } - ], + "quotients": { + "G_{2}(3)": 1 + }, "alternating_quotients": [ 3, 18 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "G₂(3)": 1 - } - ] + "quotients_utf8": { + "G₂(3)": 1 + }, + "quotients_plain": { + "G2(3)": 1 + } }, { "name": "G^{14,48,54}_2", @@ -11044,17 +10381,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "C_{3}(2)": 3 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "G_{2}(3)": 1 - } - ], + "quotients": { + "{}^2A_{3}(9)": 1, + "C_{3}(2)": 3, + "G_{2}(3)": 1 + }, "alternating_quotients": [ 3, 14, @@ -11067,17 +10398,16 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "C₃(2)": 3 - }, - { - "²A₃(9)": 1 - }, - { - "G₂(3)": 1 - } - ] + "quotients_utf8": { + "C₃(2)": 3, + "²A₃(9)": 1, + "G₂(3)": 1 + }, + "quotients_plain": { + "C3(2)": 3, + "2A3(9)": 1, + "G2(3)": 1 + } }, { "name": "G^{14,54,54}_0", @@ -11113,7 +10443,7 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 21, @@ -11122,7 +10452,8 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{14,54,54}_2", @@ -11158,14 +10489,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "Alt(10)": 6 - }, - { - "{}^2A_{3}(9)": 2 - } - ], + "quotients": { + "Alt(10)": 6, + "{}^2A_{3}(9)": 2 + }, "alternating_quotients": [ 3, 10, @@ -11184,14 +10511,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "Alt(10)": 6 - }, - { - "²A₃(9)": 2 - } - ] + "quotients_utf8": { + "²A₃(9)": 2, + "Alt(10)": 6 + }, + "quotients_plain": { + "Alt(10)": 6, + "2A3(9)": 2 + } }, { "name": "G^{14,54,54}_8", @@ -11227,7 +10554,7 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 3, 18, @@ -11237,7 +10564,8 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{16,40,40}_0", @@ -11275,38 +10603,18 @@ "L2_quotients": [ "L_2(inf^4)" ], - "quotients": [ - { - "M_{11}": 4 - }, - { - "B_{2}(3)": 7 - }, - { - "{}^2A_{2}(25)": 1 - }, - { - "J_{2}": 2 - }, - { - "C_{2}(4)": 2 - }, - { - "Alt(10)": 4 - }, - { - "{}^2A_{3}(9)": 4 - }, - { - "B_{2}(5)": 11 - }, - { - "A_{3}(3)": 2 - }, - { - "Alt(11)": 6 - } - ], + "quotients": { + "M_{11}": 4, + "A_{3}(3)": 2, + "B_{2}(3)": 7, + "{}^2A_{2}(25)": 1, + "Alt(10)": 4, + "J_{2}": 2, + "C_{2}(4)": 2, + "{}^2A_{3}(9)": 4, + "B_{2}(5)": 11, + "Alt(11)": 6 + }, "alternating_quotients": [ 5, 6, @@ -11330,38 +10638,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 - } - ] + "quotients_utf8": { + "C₂(4)": 2, + "²A₂(25)": 1, + "²A₃(9)": 4, + "Alt(10)": 4, + "B₂(5)": 11, + "A₃(3)": 2, + "Alt(11)": 6, + "J₂": 2, + "B₂(3)": 7, + "M₁₁": 4 + }, + "quotients_plain": { + "B2(3)": 7, + "2A2(25)": 1, + "A3(3)": 2, + "B2(5)": 11, + "C2(4)": 2, + "M11": 4, + "Alt(10)": 4, + "Alt(11)": 6, + "J2": 2, + "2A3(9)": 4 + } }, { "name": "G^{16,40,48}_0", @@ -11398,32 +10698,16 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "M_{11}": 1 - }, - { - "B_{2}(3)": 1 - }, - { - "J_{2}": 2 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "B_{2}(5)": 5 - }, - { - "A_{3}(3)": 2 - }, - { - "A_{4}(2)": 3 - }, - { - "Alt(11)": 2 - } - ], + "quotients": { + "M_{11}": 1, + "A_{3}(3)": 2, + "A_{4}(2)": 3, + "B_{2}(3)": 1, + "{}^2A_{3}(9)": 1, + "J_{2}": 2, + "B_{2}(5)": 5, + "Alt(11)": 2 + }, "alternating_quotients": [ 5, 6, @@ -11444,32 +10728,26 @@ "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 - } - ] + "quotients_utf8": { + "²A₃(9)": 1, + "B₂(5)": 5, + "A₃(3)": 2, + "A₄(2)": 3, + "Alt(11)": 2, + "J₂": 2, + "B₂(3)": 1, + "M₁₁": 1 + }, + "quotients_plain": { + "B2(3)": 1, + "A3(3)": 2, + "B2(5)": 5, + "M11": 1, + "A4(2)": 3, + "Alt(11)": 2, + "J2": 2, + "2A3(9)": 1 + } }, { "name": "G^{16,40,54}_0", @@ -11507,26 +10785,14 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 5 - }, - { - "M_{12}": 5 - }, - { - "C_{3}(2)": 1 - }, - { - "{}^2A_{3}(9)": 2 - }, - { - "A_{3}(3)": 3 - }, - { - "{}^2A_{4}(4)": 1 - } - ], + "quotients": { + "A_{3}(3)": 3, + "B_{2}(3)": 5, + "M_{12}": 5, + "C_{3}(2)": 1, + "{}^2A_{3}(9)": 2, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 6, 12, @@ -11545,26 +10811,22 @@ "L2_quotients_utf8": [ "L₂(3²)" ], - "quotients_utf8": [ - { - "B₂(3)": 5 - }, - { - "M₁₂": 5 - }, - { - "C₃(2)": 1 - }, - { - "²A₃(9)": 2 - }, - { - "A₃(3)": 3 - }, - { - "²A₄(4)": 1 - } - ] + "quotients_utf8": { + "²A₄(4)": 1, + "C₃(2)": 1, + "²A₃(9)": 2, + "M₁₂": 5, + "A₃(3)": 3, + "B₂(3)": 5 + }, + "quotients_plain": { + "M12": 5, + "B2(3)": 5, + "A3(3)": 3, + "C3(2)": 1, + "2A3(9)": 2, + "2A4(4)": 1 + } }, { "name": "G^{16,40,54}_2", @@ -11602,26 +10864,14 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 4 - }, - { - "M_{12}": 5 - }, - { - "Alt(10)": 3 - }, - { - "{}^2A_{3}(9)": 4 - }, - { - "A_{3}(3)": 4 - }, - { - "{}^2A_{4}(4)": 1 - } - ], + "quotients": { + "A_{3}(3)": 4, + "B_{2}(3)": 4, + "M_{12}": 5, + "Alt(10)": 3, + "{}^2A_{3}(9)": 4, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 6, 10, @@ -11644,26 +10894,22 @@ "L2_quotients_utf8": [ "L₂(3²)" ], - "quotients_utf8": [ - { - "B₂(3)": 4 - }, - { - "M₁₂": 5 - }, - { - "Alt(10)": 3 - }, - { - "²A₃(9)": 4 - }, - { - "A₃(3)": 4 - }, - { - "²A₄(4)": 1 - } - ] + "quotients_utf8": { + "²A₄(4)": 1, + "²A₃(9)": 4, + "M₁₂": 5, + "Alt(10)": 3, + "A₃(3)": 4, + "B₂(3)": 4 + }, + "quotients_plain": { + "M12": 5, + "B2(3)": 4, + "A3(3)": 4, + "Alt(10)": 3, + "2A3(9)": 4, + "2A4(4)": 1 + } }, { "name": "G^{16,48,48}_0", @@ -11697,59 +10943,25 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "{}^2A_{2}(9)": 1 - }, - { - "Alt(8) or A_{2}(4)": 2 - }, - { - "B_{2}(3)": 5 - }, - { - "{}^2A_{2}(25)": 1 - }, - { - "J_{2}": 2 - }, - { - "C_{3}(2)": 5 - }, - { - "Alt(10)": 2 - }, - { - "{}^2A_{3}(9)": 4 - }, - { - "B_{2}(5)": 5 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{3}(3)": 5 - }, - { - "A_{4}(2)": 2 - }, - { - "Alt(11)": 1 - }, - { - "A_{2}(9)": 1 - }, - { - "{}^2A_{2}(81)": 2 - }, - { - "HS": 1 - } - ], + "quotients": { + "HS": 1, + "{}^2A_{2}(81)": 2, + "{}^2A_{2}(64)": 2, + "Alt(10)": 2, + "Alt(8) or A_{2}(4)": 2, + "J_{2}": 2, + "C_{3}(2)": 5, + "Alt(7)": 1, + "B_{2}(5)": 5, + "{}^2A_{2}(9)": 1, + "A_{3}(3)": 5, + "A_{4}(2)": 2, + "B_{2}(3)": 5, + "{}^2A_{2}(25)": 1, + "{}^2A_{3}(9)": 4, + "Alt(11)": 1, + "A_{2}(9)": 1 + }, "alternating_quotients": [ 3, 4, @@ -11775,59 +10987,44 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₂(25)": 1, + "²A₃(9)": 4, + "²A₂(81)": 2, + "HS": 1, + "Alt(10)": 2, + "B₂(5)": 5, + "A₂(9)": 1, + "Alt(7)": 1, + "B₂(3)": 5, + "C₃(2)": 5, + "²A₂(9)": 1, + "Alt(8) or A₂(4)": 2, + "²A₂(64)": 2, + "A₃(3)": 5, + "A₄(2)": 2, + "J₂": 2, + "Alt(11)": 1 + }, + "quotients_plain": { + "2A2(25)": 1, + "A3(3)": 5, + "A2(9)": 1, + "B2(5)": 5, + "Alt(10)": 2, + "HS": 1, + "A4(2)": 2, + "C3(2)": 5, + "Alt(7)": 1, + "2A2(9)": 1, + "J2": 2, + "Alt(8) or A2(4)": 2, + "B2(3)": 5, + "2A2(64)": 2, + "Alt(11)": 1, + "2A3(9)": 4, + "2A2(81)": 2 + } }, { "name": "G^{16,48,48}_1", @@ -11861,38 +11058,18 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 1 - }, - { - "{}^2A_{2}(9)": 2 - }, - { - "B_{2}(3)": 8 - }, - { - "Alt(9)": 2 - }, - { - "C_{3}(2)": 10 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "A_{3}(3)": 6 - }, - { - "Alt(11)": 1 - }, - { - "{}^2A_{2}(81)": 2 - }, - { - "HS": 2 - } - ], + "quotients": { + "Alt(9)": 2, + "HS": 2, + "{}^2A_{2}(9)": 2, + "A_{3}(3)": 6, + "{}^2A_{2}(81)": 2, + "B_{2}(3)": 8, + "{}^2A_{3}(9)": 1, + "C_{3}(2)": 10, + "Alt(11)": 1, + "A_{2}(3)": 1 + }, "alternating_quotients": [ 3, 4, @@ -11918,38 +11095,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 - } - ] + "quotients_utf8": { + "C₃(2)": 10, + "Alt(9)": 2, + "²A₂(9)": 2, + "²A₃(9)": 1, + "²A₂(81)": 2, + "HS": 2, + "A₃(3)": 6, + "Alt(11)": 1, + "A₂(3)": 1, + "B₂(3)": 8 + }, + "quotients_plain": { + "Alt(9)": 2, + "B2(3)": 8, + "A2(3)": 1, + "A3(3)": 6, + "HS": 2, + "Alt(11)": 1, + "C3(2)": 10, + "2A3(9)": 1, + "2A2(9)": 2, + "2A2(81)": 2 + } }, { "name": "G^{16,48,54}_0", @@ -11984,35 +11153,17 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 4 - }, - { - "Alt(9)": 1 - }, - { - "C_{3}(2)": 1 - }, - { - "Alt(10)": 1 - }, - { - "{}^2A_{3}(9)": 3 - }, - { - "A_{3}(3)": 1 - }, - { - "{}^2A_{4}(4)": 1 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 1, + "A_{3}(3)": 1, + "B_{2}(3)": 4, + "Alt(10)": 1, + "C_{3}(2)": 1, + "{}^2A_{3}(9)": 3, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 3, 4, @@ -12034,35 +11185,28 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 1, + "C₃(2)": 1, + "Alt(9)": 1, + "²A₃(9)": 3, + "Alt(10)": 1, + "A₃(3)": 1, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 4 + }, + "quotients_plain": { + "Alt(9)": 1, + "B2(3)": 4, + "A2(3)": 2, + "A3(3)": 1, + "A2(9)": 3, + "Alt(10)": 1, + "C3(2)": 1, + "2A3(9)": 3, + "2A4(4)": 1 + } }, { "name": "G^{16,48,54}_2", @@ -12097,32 +11241,16 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 4 - }, - { - "C_{3}(2)": 1 - }, - { - "Alt(10)": 3 - }, - { - "{}^2A_{3}(9)": 2 - }, - { - "A_{3}(3)": 3 - }, - { - "{}^2A_{4}(4)": 5 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{3}(3)": 3, + "B_{2}(3)": 4, + "Alt(10)": 3, + "C_{3}(2)": 1, + "{}^2A_{3}(9)": 2, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 5 + }, "alternating_quotients": [ 3, 4, @@ -12149,32 +11277,26 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 5, + "C₃(2)": 1, + "²A₃(9)": 2, + "Alt(10)": 3, + "A₃(3)": 3, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 4 + }, + "quotients_plain": { + "B2(3)": 4, + "A2(3)": 2, + "A3(3)": 3, + "A2(9)": 3, + "Alt(10)": 3, + "C3(2)": 1, + "2A3(9)": 2, + "2A4(4)": 5 + } }, { "name": "G^{16,54,54}_0", @@ -12210,20 +11332,12 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "{}^2A_{4}(4)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "{}^2A_{2}(64)": 2, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 2 + }, "alternating_quotients": [ 3, 4, @@ -12239,20 +11353,18 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "²A₂(64)": 2 - }, - { - "²A₄(4)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "²A₄(4)": 2, + "²A₂(64)": 2, + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2, + "2A2(64)": 2, + "2A4(4)": 2 + } }, { "name": "G^{16,54,54}_2", @@ -12288,41 +11400,19 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 6 - }, - { - "Alt(9)": 2 - }, - { - "C_{3}(2)": 4 - }, - { - "Alt(10)": 12 - }, - { - "{}^2A_{3}(9)": 3 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{3}(3)": 5 - }, - { - "{}^2A_{4}(4)": 5 - }, - { - "Alt(11)": 6 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 2, + "{}^2A_{2}(64)": 2, + "Alt(10)": 12, + "C_{3}(2)": 4, + "A_{3}(3)": 5, + "B_{2}(3)": 6, + "{}^2A_{3}(9)": 3, + "A_{2}(9)": 3, + "Alt(11)": 6, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 5 + }, "alternating_quotients": [ 3, 4, @@ -12351,41 +11441,32 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 5, + "Alt(9)": 2, + "²A₃(9)": 3, + "Alt(10)": 12, + "A₂(9)": 3, + "B₂(3)": 6, + "C₃(2)": 4, + "A₃(3)": 5, + "²A₂(64)": 2, + "Alt(11)": 6, + "A₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 2, + "A2(9)": 3, + "A2(3)": 2, + "A3(3)": 5, + "Alt(10)": 12, + "C3(2)": 4, + "B2(3)": 6, + "2A2(64)": 2, + "Alt(11)": 6, + "2A3(9)": 3, + "2A4(4)": 5 + } }, { "name": "G^{16,54,54}_8", @@ -12421,32 +11502,16 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 4 - }, - { - "Alt(9)": 2 - }, - { - "{}^2A_{3}(9)": 3 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{3}(3)": 7 - }, - { - "{}^2A_{4}(4)": 3 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 2, + "{}^2A_{2}(64)": 2, + "A_{3}(3)": 7, + "B_{2}(3)": 4, + "{}^2A_{3}(9)": 3, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 3 + }, "alternating_quotients": [ 3, 4, @@ -12467,32 +11532,26 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 3, + "Alt(9)": 2, + "²A₃(9)": 3, + "A₃(3)": 7, + "²A₂(64)": 2, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 4 + }, + "quotients_plain": { + "Alt(9)": 2, + "B2(3)": 4, + "A2(3)": 2, + "2A2(64)": 2, + "A3(3)": 7, + "A2(9)": 3, + "2A3(9)": 3, + "2A4(4)": 3 + } }, { "name": "G^{18,40,40}_0", @@ -12529,26 +11588,14 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 2 - }, - { - "B_{2}(3)": 5 - }, - { - "M_{12}": 2 - }, - { - "Alt(10)": 8 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "{}^2A_{4}(4)": 3 - } - ], + "quotients": { + "B_{2}(3)": 5, + "M_{12}": 2, + "Alt(10)": 8, + "{}^2A_{3}(9)": 1, + "Alt(7)": 2, + "{}^2A_{4}(4)": 3 + }, "alternating_quotients": [ 5, 7, @@ -12566,26 +11613,22 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 3, + "²A₃(9)": 1, + "M₁₂": 2, + "Alt(10)": 8, + "Alt(7)": 2, + "B₂(3)": 5 + }, + "quotients_plain": { + "M12": 2, + "B2(3)": 5, + "Alt(10)": 8, + "Alt(7)": 2, + "2A3(9)": 1, + "2A4(4)": 3 + } }, { "name": "G^{18,40,48}_0", @@ -12623,26 +11666,14 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 5 - }, - { - "M_{12}": 7 - }, - { - "Alt(10)": 2 - }, - { - "{}^2A_{3}(9)": 4 - }, - { - "A_{3}(3)": 10 - }, - { - "Alt(11)": 5 - } - ], + "quotients": { + "A_{3}(3)": 10, + "B_{2}(3)": 5, + "M_{12}": 7, + "Alt(10)": 2, + "{}^2A_{3}(9)": 4, + "Alt(11)": 5 + }, "alternating_quotients": [ 3, 5, @@ -12670,26 +11701,22 @@ "L2_quotients_utf8": [ "L₂(3²)" ], - "quotients_utf8": [ - { - "B₂(3)": 5 - }, - { - "M₁₂": 7 - }, - { - "Alt(10)": 2 - }, - { - "²A₃(9)": 4 - }, - { - "A₃(3)": 10 - }, - { - "Alt(11)": 5 - } - ] + "quotients_utf8": { + "²A₃(9)": 4, + "M₁₂": 7, + "Alt(10)": 2, + "A₃(3)": 10, + "Alt(11)": 5, + "B₂(3)": 5 + }, + "quotients_plain": { + "M12": 7, + "B2(3)": 5, + "A3(3)": 10, + "Alt(10)": 2, + "Alt(11)": 5, + "2A3(9)": 4 + } }, { "name": "G^{18,40,54}_0", @@ -12726,23 +11753,13 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "M_{12}": 2 - }, - { - "Alt(10)": 4 - }, - { - "A_{3}(3)": 14 - }, - { - "{}^2A_{4}(4)": 3 - } - ], + "quotients": { + "A_{3}(3)": 14, + "B_{2}(3)": 2, + "M_{12}": 2, + "Alt(10)": 4, + "{}^2A_{4}(4)": 3 + }, "alternating_quotients": [ 3, 5, @@ -12765,23 +11782,20 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "B₂(3)": 2 - }, - { - "M₁₂": 2 - }, - { - "Alt(10)": 4 - }, - { - "A₃(3)": 14 - }, - { - "²A₄(4)": 3 - } - ] + "quotients_utf8": { + "²A₄(4)": 3, + "M₁₂": 2, + "Alt(10)": 4, + "A₃(3)": 14, + "B₂(3)": 2 + }, + "quotients_plain": { + "M12": 2, + "B2(3)": 2, + "A3(3)": 14, + "Alt(10)": 4, + "2A4(4)": 3 + } }, { "name": "G^{18,40,54}_2", @@ -12818,26 +11832,14 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "M_{12}": 2 - }, - { - "Alt(9)": 2 - }, - { - "{}^2A_{3}(9)": 3 - }, - { - "A_{3}(3)": 5 - }, - { - "{}^2A_{4}(4)": 4 - } - ], + "quotients": { + "Alt(9)": 2, + "A_{3}(3)": 5, + "B_{2}(3)": 2, + "M_{12}": 2, + "{}^2A_{3}(9)": 3, + "{}^2A_{4}(4)": 4 + }, "alternating_quotients": [ 3, 5, @@ -12861,26 +11863,22 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 4, + "Alt(9)": 2, + "²A₃(9)": 3, + "M₁₂": 2, + "A₃(3)": 5, + "B₂(3)": 2 + }, + "quotients_plain": { + "M12": 2, + "B2(3)": 2, + "Alt(9)": 2, + "A3(3)": 5, + "2A3(9)": 3, + "2A4(4)": 4 + } }, { "name": "G^{18,48,48}_0", @@ -12915,29 +11913,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 3 - }, - { - "Alt(10)": 3 - }, - { - "{}^2A_{3}(9)": 4 - }, - { - "A_{3}(3)": 9 - }, - { - "Alt(11)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{3}(3)": 9, + "B_{2}(3)": 3, + "Alt(10)": 3, + "{}^2A_{3}(9)": 4, + "Alt(11)": 2, + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4, @@ -12964,29 +11948,24 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₃(9)": 4, + "Alt(10)": 3, + "A₃(3)": 9, + "Alt(11)": 2, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 3 + }, + "quotients_plain": { + "B2(3)": 3, + "A2(3)": 2, + "A3(3)": 9, + "A2(9)": 3, + "Alt(10)": 3, + "Alt(11)": 2, + "2A3(9)": 4 + } }, { "name": "G^{18,48,54}_0", @@ -13022,29 +12001,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 2 - }, - { - "Alt(10)": 2 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{3}(3)": 8 - }, - { - "Alt(11)": 4 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "{}^2A_{2}(64)": 2, + "A_{3}(3)": 8, + "B_{2}(3)": 2, + "Alt(10)": 2, + "A_{2}(9)": 3, + "Alt(11)": 4, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 4, @@ -13069,29 +12034,24 @@ ], "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 - } - ] + "quotients_utf8": { + "Alt(10)": 2, + "A₃(3)": 8, + "²A₂(64)": 2, + "Alt(11)": 4, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 2 + }, + "quotients_plain": { + "B2(3)": 2, + "A2(3)": 2, + "2A2(64)": 2, + "A3(3)": 8, + "Alt(10)": 2, + "A2(9)": 3, + "Alt(11)": 4 + } }, { "name": "G^{18,48,54}_2", @@ -13127,38 +12087,18 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 2 - }, - { - "Alt(9)": 2 - }, - { - "Alt(10)": 1 - }, - { - "{}^2A_{3}(9)": 3 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{3}(3)": 1 - }, - { - "{}^2A_{4}(4)": 3 - }, - { - "Alt(11)": 1 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 2, + "{}^2A_{2}(64)": 2, + "A_{3}(3)": 1, + "B_{2}(3)": 2, + "Alt(10)": 1, + "{}^2A_{3}(9)": 3, + "Alt(11)": 1, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 3 + }, "alternating_quotients": [ 3, 4, @@ -13184,38 +12124,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 - } - ] + "quotients_utf8": { + "²A₄(4)": 3, + "Alt(9)": 2, + "²A₃(9)": 3, + "Alt(10)": 1, + "A₃(3)": 1, + "²A₂(64)": 2, + "Alt(11)": 1, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 2, + "B2(3)": 2, + "A2(3)": 2, + "2A2(64)": 2, + "A3(3)": 1, + "Alt(10)": 1, + "A2(9)": 3, + "Alt(11)": 1, + "2A3(9)": 3, + "2A4(4)": 3 + } }, { "name": "G^{18,54,54}_0", @@ -13252,20 +12184,12 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "Alt(9)": 2 - }, - { - "{}^2A_{4}(4)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 2, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 2 + }, "alternating_quotients": [ 3, 9, @@ -13283,20 +12207,18 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "Alt(9)": 2 - }, - { - "²A₄(4)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "²A₄(4)": 2, + "Alt(9)": 2, + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 2, + "A2(9)": 3, + "A2(3)": 2, + "2A4(4)": 2 + } }, { "name": "G^{18,54,54}_2", @@ -13333,29 +12255,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 2 - }, - { - "Alt(9)": 10 - }, - { - "{}^2A_{3}(9)": 3 - }, - { - "A_{3}(3)": 1 - }, - { - "{}^2A_{4}(4)": 9 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 10, + "A_{3}(3)": 1, + "B_{2}(3)": 2, + "{}^2A_{3}(9)": 3, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 9 + }, "alternating_quotients": [ 3, 9, @@ -13375,29 +12283,24 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 9, + "Alt(9)": 10, + "²A₃(9)": 3, + "A₃(3)": 1, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 10, + "B2(3)": 2, + "A2(3)": 2, + "A3(3)": 1, + "A2(9)": 3, + "2A3(9)": 3, + "2A4(4)": 9 + } }, { "name": "G^{18,54,54}_8", @@ -13434,26 +12337,14 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 2 - }, - { - "Alt(9)": 8 - }, - { - "A_{3}(3)": 10 - }, - { - "{}^2A_{4}(4)": 4 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 8, + "A_{3}(3)": 10, + "B_{2}(3)": 2, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 4 + }, "alternating_quotients": [ 3, 9, @@ -13473,26 +12364,22 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 4, + "Alt(9)": 8, + "A₃(3)": 10, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 8, + "B2(3)": 2, + "A2(3)": 2, + "A3(3)": 10, + "A2(9)": 3, + "2A4(4)": 4 + } }, { "name": "G^{24,40,40}_0", @@ -13531,41 +12418,19 @@ "L2_quotients": [ "L_2(inf^4)" ], - "quotients": [ - { - "Alt(7)": 2 - }, - { - "B_{2}(3)": 2 - }, - { - "M_{22}": 2 - }, - { - "J_{2}": 2 - }, - { - "C_{2}(4)": 2 - }, - { - "C_{3}(2)": 2 - }, - { - "Alt(10)": 2 - }, - { - "B_{2}(5)": 10 - }, - { - "A_{4}(2)": 4 - }, - { - "{}^2A_{4}(4)": 4 - }, - { - "Alt(11)": 3 - } - ], + "quotients": { + "Alt(10)": 2, + "C_{3}(2)": 2, + "J_{2}": 2, + "B_{2}(5)": 10, + "Alt(7)": 2, + "A_{4}(2)": 4, + "B_{2}(3)": 2, + "C_{2}(4)": 2, + "Alt(11)": 3, + "M_{22}": 2, + "{}^2A_{4}(4)": 4 + }, "alternating_quotients": [ 5, 6, @@ -13592,41 +12457,32 @@ "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 - } - ] + "quotients_utf8": { + "C₂(4)": 2, + "²A₄(4)": 4, + "Alt(10)": 2, + "B₂(5)": 10, + "Alt(7)": 2, + "B₂(3)": 2, + "C₃(2)": 2, + "M₂₂": 2, + "A₄(2)": 4, + "Alt(11)": 3, + "J₂": 2 + }, + "quotients_plain": { + "B2(5)": 10, + "C2(4)": 2, + "Alt(10)": 2, + "A4(2)": 4, + "C3(2)": 2, + "Alt(7)": 2, + "J2": 2, + "B2(3)": 2, + "Alt(11)": 3, + "M22": 2, + "2A4(4)": 4 + } }, { "name": "G^{24,40,48}_0", @@ -13665,41 +12521,19 @@ "L_2(3^2)", "L_2(3^2)" ], - "quotients": [ - { - "Alt(7)": 2 - }, - { - "B_{2}(3)": 3 - }, - { - "M_{22}": 2 - }, - { - "J_{2}": 4 - }, - { - "C_{2}(4)": 4 - }, - { - "C_{3}(2)": 3 - }, - { - "B_{2}(5)": 12 - }, - { - "A_{3}(3)": 2 - }, - { - "A_{4}(2)": 5 - }, - { - "{}^2A_{4}(4)": 1 - }, - { - "Alt(11)": 4 - } - ], + "quotients": { + "C_{3}(2)": 3, + "J_{2}": 4, + "B_{2}(5)": 12, + "Alt(7)": 2, + "A_{3}(3)": 2, + "A_{4}(2)": 5, + "B_{2}(3)": 3, + "C_{2}(4)": 4, + "Alt(11)": 4, + "M_{22}": 2, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 3, 5, @@ -13729,41 +12563,32 @@ "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 - } - ] + "quotients_utf8": { + "C₂(4)": 4, + "²A₄(4)": 1, + "B₂(5)": 12, + "Alt(7)": 2, + "B₂(3)": 3, + "C₃(2)": 3, + "M₂₂": 2, + "A₃(3)": 2, + "A₄(2)": 5, + "Alt(11)": 4, + "J₂": 4 + }, + "quotients_plain": { + "A3(3)": 2, + "B2(5)": 12, + "C2(4)": 4, + "A4(2)": 5, + "C3(2)": 3, + "Alt(7)": 2, + "J2": 4, + "B2(3)": 3, + "Alt(11)": 4, + "M22": 2, + "2A4(4)": 1 + } }, { "name": "G^{24,40,54}_0", @@ -13802,29 +12627,15 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 4 - }, - { - "M_{12}": 6 - }, - { - "Alt(10)": 12 - }, - { - "{}^2A_{3}(9)": 2 - }, - { - "A_{3}(3)": 3 - }, - { - "{}^2A_{4}(4)": 4 - }, - { - "Alt(11)": 12 - } - ], + "quotients": { + "A_{3}(3)": 3, + "B_{2}(3)": 4, + "M_{12}": 6, + "Alt(10)": 12, + "{}^2A_{3}(9)": 2, + "Alt(11)": 12, + "{}^2A_{4}(4)": 4 + }, "alternating_quotients": [ 3, 5, @@ -13852,29 +12663,24 @@ "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 4, + "²A₃(9)": 2, + "M₁₂": 6, + "Alt(10)": 12, + "A₃(3)": 3, + "Alt(11)": 12, + "B₂(3)": 4 + }, + "quotients_plain": { + "M12": 6, + "B2(3)": 4, + "A3(3)": 3, + "Alt(10)": 12, + "Alt(11)": 12, + "2A3(9)": 2, + "2A4(4)": 4 + } }, { "name": "G^{24,40,54}_2", @@ -13913,35 +12719,17 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "M_{12}": 6 - }, - { - "Alt(9)": 2 - }, - { - "C_{3}(2)": 4 - }, - { - "Alt(10)": 7 - }, - { - "{}^2A_{3}(9)": 6 - }, - { - "A_{3}(3)": 7 - }, - { - "{}^2A_{4}(4)": 1 - }, - { - "Alt(11)": 6 - } - ], + "quotients": { + "Alt(9)": 2, + "A_{3}(3)": 7, + "B_{2}(3)": 2, + "M_{12}": 6, + "C_{3}(2)": 4, + "Alt(10)": 7, + "{}^2A_{3}(9)": 6, + "Alt(11)": 6, + "{}^2A_{4}(4)": 1 + }, "alternating_quotients": [ 3, 5, @@ -13972,35 +12760,28 @@ "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 1, + "C₃(2)": 4, + "Alt(9)": 2, + "²A₃(9)": 6, + "M₁₂": 6, + "Alt(10)": 7, + "A₃(3)": 7, + "Alt(11)": 6, + "B₂(3)": 2 + }, + "quotients_plain": { + "M12": 6, + "B2(3)": 2, + "Alt(9)": 2, + "A3(3)": 7, + "Alt(10)": 7, + "Alt(11)": 6, + "C3(2)": 4, + "2A3(9)": 6, + "2A4(4)": 1 + } }, { "name": "G^{24,48,48}_0", @@ -14035,56 +12816,24 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 3 - }, - { - "Alt(8) or A_{2}(4)": 4 - }, - { - "B_{2}(3)": 3 - }, - { - "M_{12}": 1 - }, - { - "{}^2A_{2}(25)": 2 - }, - { - "J_{2}": 2 - }, - { - "C_{3}(2)": 11 - }, - { - "Alt(10)": 1 - }, - { - "A_{2}(7)": 1 - }, - { - "{}^2A_{3}(9)": 3 - }, - { - "B_{2}(5)": 7 - }, - { - "A_{3}(3)": 1 - }, - { - "A_{4}(2)": 2 - }, - { - "{}^2A_{4}(4)": 13 - }, - { - "Alt(11)": 1 - }, - { - "HS": 2 - } - ], + "quotients": { + "HS": 2, + "Alt(10)": 1, + "M_{12}": 1, + "Alt(8) or A_{2}(4)": 4, + "J_{2}": 2, + "C_{3}(2)": 11, + "Alt(7)": 3, + "B_{2}(5)": 7, + "A_{3}(3)": 1, + "A_{4}(2)": 2, + "B_{2}(3)": 3, + "{}^2A_{2}(25)": 2, + "{}^2A_{3}(9)": 3, + "Alt(11)": 1, + "A_{2}(7)": 1, + "{}^2A_{4}(4)": 13 + }, "alternating_quotients": [ 3, 4, @@ -14114,56 +12863,42 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 13, + "²A₂(25)": 2, + "²A₃(9)": 3, + "HS": 2, + "M₁₂": 1, + "Alt(10)": 1, + "B₂(5)": 7, + "Alt(7)": 3, + "B₂(3)": 3, + "A₂(7)": 1, + "C₃(2)": 11, + "Alt(8) or A₂(4)": 4, + "A₃(3)": 1, + "A₄(2)": 2, + "Alt(11)": 1, + "J₂": 2 + }, + "quotients_plain": { + "2A2(25)": 2, + "A3(3)": 1, + "HS": 2, + "B2(5)": 7, + "Alt(10)": 1, + "A4(2)": 2, + "C3(2)": 11, + "Alt(7)": 3, + "J2": 2, + "Alt(8) or A2(4)": 4, + "M12": 1, + "B2(3)": 3, + "A2(7)": 1, + "Alt(11)": 1, + "2A3(9)": 3, + "2A4(4)": 13 + } }, { "name": "G^{24,48,48}_1", @@ -14198,38 +12933,18 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 4 - }, - { - "Alt(9)": 1 - }, - { - "M_{22}": 1 - }, - { - "C_{3}(2)": 17 - }, - { - "{}^2A_{3}(9)": 8 - }, - { - "B_{2}(5)": 5 - }, - { - "A_{3}(3)": 3 - }, - { - "{}^2A_{4}(4)": 8 - }, - { - "Alt(11)": 1 - }, - { - "HS": 1 - } - ], + "quotients": { + "Alt(9)": 1, + "HS": 1, + "A_{3}(3)": 3, + "B_{2}(3)": 4, + "{}^2A_{3}(9)": 8, + "C_{3}(2)": 17, + "B_{2}(5)": 5, + "Alt(11)": 1, + "M_{22}": 1, + "{}^2A_{4}(4)": 8 + }, "alternating_quotients": [ 3, 4, @@ -14258,38 +12973,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 - } - ] + "quotients_utf8": { + "²A₄(4)": 8, + "C₃(2)": 17, + "Alt(9)": 1, + "²A₃(9)": 8, + "HS": 1, + "B₂(5)": 5, + "M₂₂": 1, + "A₃(3)": 3, + "Alt(11)": 1, + "B₂(3)": 4 + }, + "quotients_plain": { + "Alt(9)": 1, + "B2(3)": 4, + "A3(3)": 3, + "HS": 1, + "B2(5)": 5, + "Alt(11)": 1, + "C3(2)": 17, + "2A3(9)": 8, + "M22": 1, + "2A4(4)": 8 + } }, { "name": "G^{24,48,54}_0", @@ -14325,29 +13032,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 4 - }, - { - "Alt(9)": 3 - }, - { - "Alt(10)": 5 - }, - { - "{}^2A_{3}(9)": 1 - }, - { - "A_{3}(3)": 2 - }, - { - "{}^2A_{4}(4)": 3 - }, - { - "Alt(11)": 4 - } - ], + "quotients": { + "Alt(9)": 3, + "A_{3}(3)": 2, + "B_{2}(3)": 4, + "Alt(10)": 5, + "{}^2A_{3}(9)": 1, + "Alt(11)": 4, + "{}^2A_{4}(4)": 3 + }, "alternating_quotients": [ 3, 4, @@ -14376,29 +13069,24 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 3, + "Alt(9)": 3, + "²A₃(9)": 1, + "Alt(10)": 5, + "A₃(3)": 2, + "Alt(11)": 4, + "B₂(3)": 4 + }, + "quotients_plain": { + "Alt(9)": 3, + "B2(3)": 4, + "A3(3)": 2, + "Alt(10)": 5, + "Alt(11)": 4, + "2A3(9)": 1, + "2A4(4)": 3 + } }, { "name": "G^{24,48,54}_2", @@ -14434,32 +13122,16 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "Alt(9)": 3 - }, - { - "C_{3}(2)": 3 - }, - { - "Alt(10)": 5 - }, - { - "{}^2A_{3}(9)": 5 - }, - { - "A_{3}(3)": 10 - }, - { - "{}^2A_{4}(4)": 12 - }, - { - "Alt(11)": 2 - } - ], + "quotients": { + "Alt(9)": 3, + "A_{3}(3)": 10, + "B_{2}(3)": 2, + "Alt(10)": 5, + "C_{3}(2)": 3, + "{}^2A_{3}(9)": 5, + "Alt(11)": 2, + "{}^2A_{4}(4)": 12 + }, "alternating_quotients": [ 3, 4, @@ -14487,32 +13159,26 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 12, + "C₃(2)": 3, + "Alt(9)": 3, + "²A₃(9)": 5, + "Alt(10)": 5, + "A₃(3)": 10, + "Alt(11)": 2, + "B₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 3, + "B2(3)": 2, + "A3(3)": 10, + "Alt(10)": 5, + "Alt(11)": 2, + "C3(2)": 3, + "2A3(9)": 5, + "2A4(4)": 12 + } }, { "name": "G^{24,54,54}_0", @@ -14549,23 +13215,13 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(9)": 6 - }, - { - "Alt(10)": 2 - }, - { - "A_{3}(3)": 4 - }, - { - "{}^2A_{4}(4)": 8 - }, - { - "Alt(11)": 2 - } - ], + "quotients": { + "Alt(9)": 6, + "A_{3}(3)": 4, + "Alt(10)": 2, + "Alt(11)": 2, + "{}^2A_{4}(4)": 8 + }, "alternating_quotients": [ 3, 4, @@ -14590,23 +13246,20 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 8, + "Alt(9)": 6, + "Alt(10)": 2, + "A₃(3)": 4, + "Alt(11)": 2 + }, + "quotients_plain": { + "Alt(9)": 6, + "A3(3)": 4, + "Alt(10)": 2, + "Alt(11)": 2, + "2A4(4)": 8 + } }, { "name": "G^{24,54,54}_2", @@ -14643,32 +13296,16 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 2 - }, - { - "Alt(9)": 9 - }, - { - "C_{3}(2)": 6 - }, - { - "Alt(10)": 22 - }, - { - "{}^2A_{3}(9)": 8 - }, - { - "A_{3}(3)": 26 - }, - { - "{}^2A_{4}(4)": 12 - }, - { - "Alt(11)": 12 - } - ], + "quotients": { + "Alt(9)": 9, + "A_{3}(3)": 26, + "B_{2}(3)": 2, + "Alt(10)": 22, + "C_{3}(2)": 6, + "{}^2A_{3}(9)": 8, + "Alt(11)": 12, + "{}^2A_{4}(4)": 12 + }, "alternating_quotients": [ 3, 4, @@ -14697,32 +13334,26 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 12, + "C₃(2)": 6, + "Alt(9)": 9, + "²A₃(9)": 8, + "Alt(10)": 22, + "A₃(3)": 26, + "Alt(11)": 12, + "B₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 9, + "B2(3)": 2, + "A3(3)": 26, + "Alt(10)": 22, + "Alt(11)": 12, + "C3(2)": 6, + "2A3(9)": 8, + "2A4(4)": 12 + } }, { "name": "G^{24,54,54}_8", @@ -14759,23 +13390,13 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 4 - }, - { - "Alt(9)": 14 - }, - { - "Alt(10)": 1 - }, - { - "{}^2A_{4}(4)": 9 - }, - { - "Alt(11)": 1 - } - ], + "quotients": { + "Alt(9)": 14, + "B_{2}(3)": 4, + "Alt(10)": 1, + "Alt(11)": 1, + "{}^2A_{4}(4)": 9 + }, "alternating_quotients": [ 3, 4, @@ -14800,23 +13421,20 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 9, + "Alt(9)": 14, + "Alt(10)": 1, + "Alt(11)": 1, + "B₂(3)": 4 + }, + "quotients_plain": { + "Alt(9)": 14, + "B2(3)": 4, + "Alt(10)": 1, + "Alt(11)": 1, + "2A4(4)": 9 + } }, { "name": "G^{26,40,40}_0", @@ -14855,11 +13473,9 @@ "L2_quotients": [ "L_2(13^2)" ], - "quotients": [ - { - "A_{3}(3)": 3 - } - ], + "quotients": { + "A_{3}(3)": 3 + }, "alternating_quotients": [ 5, 20, @@ -14871,11 +13487,12 @@ "L2_quotients_utf8": [ "L₂(13²)" ], - "quotients_utf8": [ - { - "A₃(3)": 3 - } - ] + "quotients_utf8": { + "A₃(3)": 3 + }, + "quotients_plain": { + "A3(3)": 3 + } }, { "name": "G^{26,40,48}_0", @@ -14913,21 +13530,20 @@ "L2_quotients": [ "L_2(13^2)" ], - "quotients": [ - { - "{}^2F_4(2)'": 1 - } - ], + "quotients": { + "{}^2F_4(2)'": 1 + }, "alternating_quotients": [], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [ "L₂(13²)" ], - "quotients_utf8": [ - { - "²F₄(2)'": 1 - } - ] + "quotients_utf8": { + "²F₄(2)'": 1 + }, + "quotients_plain": { + "2F_4(2)'": 1 + } }, { "name": "G^{26,40,54}_0", @@ -14964,21 +13580,20 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "A_{3}(3)": 3 - } - ], + "quotients": { + "A_{3}(3)": 3 + }, "alternating_quotients": [ 30 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₃(3)": 3 - } - ] + "quotients_utf8": { + "A₃(3)": 3 + }, + "quotients_plain": { + "A3(3)": 3 + } }, { "name": "G^{26,40,54}_2", @@ -15015,13 +13630,14 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [], + "quotients": {}, "alternating_quotients": [ 15 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [] + "quotients_utf8": {}, + "quotients_plain": {} }, { "name": "G^{26,48,48}_0", @@ -15056,11 +13672,9 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "G_{2}(3)": 1 - } - ], + "quotients": { + "G_{2}(3)": 1 + }, "alternating_quotients": [ 3, 4, @@ -15069,11 +13683,12 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "G₂(3)": 1 - } - ] + "quotients_utf8": { + "G₂(3)": 1 + }, + "quotients_plain": { + "G2(3)": 1 + } }, { "name": "G^{26,48,48}_1", @@ -15110,14 +13725,10 @@ "L2_quotients": [ "L_2(13)" ], - "quotients": [ - { - "G_{2}(3)": 4 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "G_{2}(3)": 4 + }, "alternating_quotients": [ 3, 13, @@ -15134,14 +13745,14 @@ "L2_quotients_utf8": [ "L₂(13)" ], - "quotients_utf8": [ - { - "G₂(3)": 4 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1, + "G₂(3)": 4 + }, + "quotients_plain": { + "A3(3)": 1, + "G2(3)": 4 + } }, { "name": "G^{26,48,54}_0", @@ -15177,11 +13788,9 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "G_{2}(3)": 1 - } - ], + "quotients": { + "G_{2}(3)": 1 + }, "alternating_quotients": [ 3, 13, @@ -15191,11 +13800,12 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "G₂(3)": 1 - } - ] + "quotients_utf8": { + "G₂(3)": 1 + }, + "quotients_plain": { + "G2(3)": 1 + } }, { "name": "G^{26,48,54}_2", @@ -15231,14 +13841,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "G_{2}(3)": 1 - }, - { - "A_{3}(3)": 1 - } - ], + "quotients": { + "A_{3}(3)": 1, + "G_{2}(3)": 1 + }, "alternating_quotients": [ 3, 13, @@ -15249,14 +13855,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "G₂(3)": 1 - }, - { - "A₃(3)": 1 - } - ] + "quotients_utf8": { + "A₃(3)": 1, + "G₂(3)": 1 + }, + "quotients_plain": { + "A3(3)": 1, + "G2(3)": 1 + } }, { "name": "G^{26,54,54}_0", @@ -15293,14 +13899,10 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -15310,14 +13912,14 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2 + } }, { "name": "G^{26,54,54}_2", @@ -15354,17 +13956,11 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{3}(3)": 20 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{3}(3)": 20, + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13, @@ -15380,17 +13976,16 @@ ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₃(3)": 20 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₃(3)": 20, + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2, + "A3(3)": 20 + } }, { "name": "G^{26,54,54}_8", @@ -15427,34 +14022,27 @@ "Kazdhdan_property_T": null, "abelianization_dimension": 2, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "A_{3}(3)": 6 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "A_{3}(3)": 6, + "A_{2}(9)": 3, + "A_{2}(3)": 2 + }, "alternating_quotients": [ 3, 13 ], "maximal_degree_alternating_quotients": 30, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "A₃(3)": 6 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "A₃(3)": 6, + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "A2(9)": 3, + "A2(3)": 2, + "A3(3)": 6 + } }, { "name": "G^{40,40,40}_0", @@ -15496,47 +14084,21 @@ "L_2(inf^4)", "L_2(inf^4)" ], - "quotients": [ - { - "Alt(7)": 1 - }, - { - "B_{2}(3)": 18 - }, - { - "M_{12}": 7 - }, - { - "{}^2A_{2}(25)": 2 - }, - { - "J_{1}": 4 - }, - { - "A_{2}(5)": 2 - }, - { - "J_{2}": 8 - }, - { - "C_{2}(4)": 21 - }, - { - "Alt(10)": 15 - }, - { - "{}^2A_{3}(9)": 12 - }, - { - "B_{2}(5)": 90 - }, - { - "A_{3}(3)": 7 - }, - { - "HS": 12 - } - ], + "quotients": { + "HS": 12, + "J_{1}": 4, + "Alt(10)": 15, + "M_{12}": 7, + "J_{2}": 8, + "B_{2}(5)": 90, + "Alt(7)": 1, + "A_{3}(3)": 7, + "B_{2}(3)": 18, + "{}^2A_{2}(25)": 2, + "{}^2A_{3}(9)": 12, + "C_{2}(4)": 21, + "A_{2}(5)": 2 + }, "alternating_quotients": [ 6, 7, @@ -15575,47 +14137,36 @@ "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 - } - ] + "quotients_utf8": { + "C₂(4)": 21, + "²A₂(25)": 2, + "J₁": 4, + "²A₃(9)": 12, + "HS": 12, + "M₁₂": 7, + "Alt(10)": 15, + "B₂(5)": 90, + "Alt(7)": 1, + "A₂(5)": 2, + "B₂(3)": 18, + "A₃(3)": 7, + "J₂": 8 + }, + "quotients_plain": { + "2A2(25)": 2, + "A3(3)": 7, + "HS": 12, + "B2(5)": 90, + "C2(4)": 21, + "Alt(10)": 15, + "Alt(7)": 1, + "J2": 8, + "J1": 4, + "M12": 7, + "B2(3)": 18, + "A2(5)": 2, + "2A3(9)": 12 + } }, { "name": "G^{40,40,48}_0", @@ -15653,53 +14204,23 @@ "L2_quotients": [ "L_2(inf^4)" ], - "quotients": [ - { - "Alt(7)": 2 - }, - { - "M_{11}": 4 - }, - { - "B_{2}(3)": 8 - }, - { - "{}^2A_{2}(25)": 1 - }, - { - "M_{22}": 2 - }, - { - "J_{2}": 4 - }, - { - "C_{2}(4)": 2 - }, - { - "C_{3}(2)": 2 - }, - { - "Alt(10)": 4 - }, - { - "{}^2A_{3}(9)": 4 - }, - { - "B_{2}(5)": 16 - }, - { - "A_{3}(3)": 2 - }, - { - "A_{4}(2)": 4 - }, - { - "{}^2A_{4}(4)": 10 - }, - { - "Alt(11)": 7 - } - ], + "quotients": { + "Alt(10)": 4, + "C_{3}(2)": 2, + "J_{2}": 4, + "B_{2}(5)": 16, + "Alt(7)": 2, + "M_{11}": 4, + "A_{3}(3)": 2, + "A_{4}(2)": 4, + "B_{2}(3)": 8, + "{}^2A_{2}(25)": 1, + "{}^2A_{3}(9)": 4, + "C_{2}(4)": 2, + "Alt(11)": 7, + "M_{22}": 2, + "{}^2A_{4}(4)": 10 + }, "alternating_quotients": [ 5, 6, @@ -15737,53 +14258,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 - } - ] + "quotients_utf8": { + "C₂(4)": 2, + "²A₂(25)": 1, + "²A₄(4)": 10, + "²A₃(9)": 4, + "Alt(10)": 4, + "B₂(5)": 16, + "Alt(7)": 2, + "B₂(3)": 8, + "C₃(2)": 2, + "M₂₂": 2, + "A₃(3)": 2, + "A₄(2)": 4, + "Alt(11)": 7, + "J₂": 4, + "M₁₁": 4 + }, + "quotients_plain": { + "2A2(25)": 1, + "A3(3)": 2, + "B2(5)": 16, + "C2(4)": 2, + "M11": 4, + "Alt(10)": 4, + "A4(2)": 4, + "C3(2)": 2, + "Alt(7)": 2, + "J2": 4, + "B2(3)": 8, + "Alt(11)": 7, + "2A3(9)": 4, + "M22": 2, + "2A4(4)": 10 + } }, { "name": "G^{40,40,54}_0", @@ -15820,29 +14328,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 0, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 2 - }, - { - "B_{2}(3)": 5 - }, - { - "M_{12}": 2 - }, - { - "Alt(10)": 8 - }, - { - "{}^2A_{3}(9)": 15 - }, - { - "A_{3}(3)": 4 - }, - { - "{}^2A_{4}(4)": 7 - } - ], + "quotients": { + "A_{3}(3)": 4, + "B_{2}(3)": 5, + "M_{12}": 2, + "Alt(10)": 8, + "{}^2A_{3}(9)": 15, + "Alt(7)": 2, + "{}^2A_{4}(4)": 7 + }, "alternating_quotients": [ 5, 7, @@ -15875,29 +14369,24 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 7, + "²A₃(9)": 15, + "M₁₂": 2, + "Alt(10)": 8, + "A₃(3)": 4, + "Alt(7)": 2, + "B₂(3)": 5 + }, + "quotients_plain": { + "M12": 2, + "B2(3)": 5, + "A3(3)": 4, + "Alt(10)": 8, + "Alt(7)": 2, + "2A3(9)": 15, + "2A4(4)": 7 + } }, { "name": "G^{40,48,48}_0", @@ -15935,47 +14424,21 @@ "L_2(3^2)", "L_2(3^2)" ], - "quotients": [ - { - "Alt(7)": 2 - }, - { - "M_{11}": 1 - }, - { - "B_{2}(3)": 18 - }, - { - "M_{22}": 2 - }, - { - "J_{2}": 6 - }, - { - "C_{2}(4)": 4 - }, - { - "C_{3}(2)": 6 - }, - { - "{}^2A_{3}(9)": 10 - }, - { - "B_{2}(5)": 20 - }, - { - "A_{3}(3)": 15 - }, - { - "A_{4}(2)": 8 - }, - { - "{}^2A_{4}(4)": 15 - }, - { - "Alt(11)": 9 - } - ], + "quotients": { + "C_{3}(2)": 6, + "J_{2}": 6, + "B_{2}(5)": 20, + "Alt(7)": 2, + "M_{11}": 1, + "A_{3}(3)": 15, + "A_{4}(2)": 8, + "B_{2}(3)": 18, + "{}^2A_{3}(9)": 10, + "C_{2}(4)": 4, + "Alt(11)": 9, + "M_{22}": 2, + "{}^2A_{4}(4)": 15 + }, "alternating_quotients": [ 3, 5, @@ -16016,47 +14479,36 @@ "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 - } - ] + "quotients_utf8": { + "C₂(4)": 4, + "²A₄(4)": 15, + "²A₃(9)": 10, + "B₂(5)": 20, + "Alt(7)": 2, + "B₂(3)": 18, + "C₃(2)": 6, + "M₂₂": 2, + "A₃(3)": 15, + "A₄(2)": 8, + "Alt(11)": 9, + "J₂": 6, + "M₁₁": 1 + }, + "quotients_plain": { + "A3(3)": 15, + "B2(5)": 20, + "C2(4)": 4, + "M11": 1, + "A4(2)": 8, + "C3(2)": 6, + "Alt(7)": 2, + "J2": 6, + "B2(3)": 18, + "Alt(11)": 9, + "2A3(9)": 10, + "M22": 2, + "2A4(4)": 15 + } }, { "name": "G^{40,48,54}_0", @@ -16094,35 +14546,17 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 11 - }, - { - "M_{12}": 7 - }, - { - "Alt(9)": 2 - }, - { - "C_{3}(2)": 4 - }, - { - "Alt(10)": 7 - }, - { - "{}^2A_{3}(9)": 14 - }, - { - "A_{3}(3)": 16 - }, - { - "{}^2A_{4}(4)": 3 - }, - { - "Alt(11)": 7 - } - ], + "quotients": { + "Alt(9)": 2, + "A_{3}(3)": 16, + "B_{2}(3)": 11, + "M_{12}": 7, + "C_{3}(2)": 4, + "Alt(10)": 7, + "{}^2A_{3}(9)": 14, + "Alt(11)": 7, + "{}^2A_{4}(4)": 3 + }, "alternating_quotients": [ 3, 5, @@ -16164,35 +14598,28 @@ "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 3, + "C₃(2)": 4, + "Alt(9)": 2, + "²A₃(9)": 14, + "M₁₂": 7, + "Alt(10)": 7, + "A₃(3)": 16, + "Alt(11)": 7, + "B₂(3)": 11 + }, + "quotients_plain": { + "M12": 7, + "B2(3)": 11, + "Alt(9)": 2, + "A3(3)": 16, + "Alt(10)": 7, + "Alt(11)": 7, + "C3(2)": 4, + "2A3(9)": 14, + "2A4(4)": 3 + } }, { "name": "G^{40,48,54}_2", @@ -16230,32 +14657,16 @@ "L2_quotients": [ "L_2(3^2)" ], - "quotients": [ - { - "B_{2}(3)": 17 - }, - { - "M_{12}": 7 - }, - { - "C_{3}(2)": 2 - }, - { - "Alt(10)": 12 - }, - { - "{}^2A_{3}(9)": 20 - }, - { - "A_{3}(3)": 22 - }, - { - "{}^2A_{4}(4)": 24 - }, - { - "Alt(11)": 15 - } - ], + "quotients": { + "A_{3}(3)": 22, + "B_{2}(3)": 17, + "M_{12}": 7, + "C_{3}(2)": 2, + "Alt(10)": 12, + "{}^2A_{3}(9)": 20, + "Alt(11)": 15, + "{}^2A_{4}(4)": 24 + }, "alternating_quotients": [ 3, 5, @@ -16294,32 +14705,26 @@ "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 24, + "C₃(2)": 2, + "²A₃(9)": 20, + "M₁₂": 7, + "Alt(10)": 12, + "A₃(3)": 22, + "Alt(11)": 15, + "B₂(3)": 17 + }, + "quotients_plain": { + "M12": 7, + "B2(3)": 17, + "A3(3)": 22, + "Alt(10)": 12, + "Alt(11)": 15, + "C3(2)": 2, + "2A3(9)": 20, + "2A4(4)": 24 + } }, { "name": "G^{40,54,54}_0", @@ -16356,29 +14761,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 8 - }, - { - "M_{12}": 2 - }, - { - "Alt(9)": 2 - }, - { - "Alt(10)": 4 - }, - { - "{}^2A_{3}(9)": 9 - }, - { - "A_{3}(3)": 17 - }, - { - "{}^2A_{4}(4)": 7 - } - ], + "quotients": { + "Alt(9)": 2, + "A_{3}(3)": 17, + "B_{2}(3)": 8, + "M_{12}": 2, + "Alt(10)": 4, + "{}^2A_{3}(9)": 9, + "{}^2A_{4}(4)": 7 + }, "alternating_quotients": [ 3, 5, @@ -16413,29 +14804,24 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 7, + "Alt(9)": 2, + "²A₃(9)": 9, + "M₁₂": 2, + "Alt(10)": 4, + "A₃(3)": 17, + "B₂(3)": 8 + }, + "quotients_plain": { + "M12": 2, + "B2(3)": 8, + "Alt(9)": 2, + "A3(3)": 17, + "Alt(10)": 4, + "2A3(9)": 9, + "2A4(4)": 7 + } }, { "name": "G^{40,54,54}_2", @@ -16472,32 +14858,16 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 12 - }, - { - "M_{12}": 2 - }, - { - "C_{3}(2)": 4 - }, - { - "Alt(10)": 16 - }, - { - "{}^2A_{3}(9)": 14 - }, - { - "A_{3}(3)": 26 - }, - { - "{}^2A_{4}(4)": 40 - }, - { - "Alt(11)": 10 - } - ], + "quotients": { + "A_{3}(3)": 26, + "B_{2}(3)": 12, + "M_{12}": 2, + "C_{3}(2)": 4, + "Alt(10)": 16, + "{}^2A_{3}(9)": 14, + "Alt(11)": 10, + "{}^2A_{4}(4)": 40 + }, "alternating_quotients": [ 3, 5, @@ -16533,32 +14903,26 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 40, + "C₃(2)": 4, + "²A₃(9)": 14, + "M₁₂": 2, + "Alt(10)": 16, + "A₃(3)": 26, + "Alt(11)": 10, + "B₂(3)": 12 + }, + "quotients_plain": { + "M12": 2, + "B2(3)": 12, + "A3(3)": 26, + "Alt(10)": 16, + "Alt(11)": 10, + "C3(2)": 4, + "2A3(9)": 14, + "2A4(4)": 40 + } }, { "name": "G^{40,54,54}_8", @@ -16595,26 +14959,14 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 1, "L2_quotients": [], - "quotients": [ - { - "B_{2}(3)": 8 - }, - { - "M_{12}": 2 - }, - { - "Alt(9)": 12 - }, - { - "{}^2A_{3}(9)": 12 - }, - { - "A_{3}(3)": 8 - }, - { - "{}^2A_{4}(4)": 16 - } - ], + "quotients": { + "Alt(9)": 12, + "A_{3}(3)": 8, + "B_{2}(3)": 8, + "M_{12}": 2, + "{}^2A_{3}(9)": 12, + "{}^2A_{4}(4)": 16 + }, "alternating_quotients": [ 3, 5, @@ -16648,26 +15000,22 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 16, + "Alt(9)": 12, + "²A₃(9)": 12, + "M₁₂": 2, + "A₃(3)": 8, + "B₂(3)": 8 + }, + "quotients_plain": { + "M12": 2, + "B2(3)": 8, + "Alt(9)": 12, + "A3(3)": 8, + "2A3(9)": 12, + "2A4(4)": 16 + } }, { "name": "G^{48,48,48}_0", @@ -16701,47 +15049,21 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 1 - }, - { - "{}^2A_{2}(9)": 2 - }, - { - "B_{2}(3)": 27 - }, - { - "Alt(9)": 3 - }, - { - "M_{22}": 1 - }, - { - "C_{3}(2)": 39 - }, - { - "{}^2A_{3}(9)": 21 - }, - { - "B_{2}(5)": 9 - }, - { - "A_{3}(3)": 33 - }, - { - "{}^2A_{4}(4)": 60 - }, - { - "Alt(11)": 3 - }, - { - "{}^2A_{2}(81)": 2 - }, - { - "HS": 3 - } - ], + "quotients": { + "Alt(9)": 3, + "HS": 3, + "{}^2A_{2}(81)": 2, + "C_{3}(2)": 39, + "B_{2}(5)": 9, + "{}^2A_{2}(9)": 2, + "A_{3}(3)": 33, + "B_{2}(3)": 27, + "{}^2A_{3}(9)": 21, + "Alt(11)": 3, + "A_{2}(3)": 1, + "M_{22}": 1, + "{}^2A_{4}(4)": 60 + }, "alternating_quotients": [ 3, 4, @@ -16780,47 +15102,36 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 60, + "Alt(9)": 3, + "²A₃(9)": 21, + "²A₂(81)": 2, + "HS": 3, + "B₂(5)": 9, + "B₂(3)": 27, + "C₃(2)": 39, + "²A₂(9)": 2, + "M₂₂": 1, + "A₃(3)": 33, + "Alt(11)": 3, + "A₂(3)": 1 + }, + "quotients_plain": { + "Alt(9)": 3, + "HS": 3, + "A2(3)": 1, + "A3(3)": 33, + "B2(5)": 9, + "C3(2)": 39, + "2A2(9)": 2, + "B2(3)": 27, + "Alt(11)": 3, + "2A3(9)": 21, + "M22": 1, + "2A2(81)": 2, + "2A4(4)": 60 + } }, { "name": "G^{48,48,48}_1", @@ -16854,68 +15165,28 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "Alt(7)": 3 - }, - { - "{}^2A_{2}(9)": 1 - }, - { - "Alt(8) or A_{2}(4)": 6 - }, - { - "B_{2}(3)": 24 - }, - { - "M_{12}": 1 - }, - { - "{}^2A_{2}(25)": 3 - }, - { - "J_{2}": 4 - }, - { - "C_{3}(2)": 27 - }, - { - "Alt(10)": 3 - }, - { - "A_{2}(7)": 1 - }, - { - "{}^2A_{3}(9)": 15 - }, - { - "B_{2}(5)": 19 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{3}(3)": 30 - }, - { - "A_{4}(2)": 4 - }, - { - "{}^2A_{4}(4)": 63 - }, - { - "Alt(11)": 3 - }, - { - "A_{2}(9)": 1 - }, - { - "{}^2A_{2}(81)": 2 - }, - { - "HS": 3 - } - ], + "quotients": { + "HS": 3, + "{}^2A_{2}(81)": 2, + "{}^2A_{2}(64)": 2, + "Alt(10)": 3, + "M_{12}": 1, + "Alt(8) or A_{2}(4)": 6, + "J_{2}": 4, + "C_{3}(2)": 27, + "Alt(7)": 3, + "B_{2}(5)": 19, + "{}^2A_{2}(9)": 1, + "A_{3}(3)": 30, + "A_{4}(2)": 4, + "B_{2}(3)": 24, + "{}^2A_{2}(25)": 3, + "{}^2A_{3}(9)": 15, + "Alt(11)": 3, + "A_{2}(9)": 1, + "A_{2}(7)": 1, + "{}^2A_{4}(4)": 63 + }, "alternating_quotients": [ 3, 4, @@ -16955,68 +15226,50 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 63, + "²A₂(25)": 3, + "²A₃(9)": 15, + "²A₂(81)": 2, + "M₁₂": 1, + "HS": 3, + "Alt(10)": 3, + "B₂(5)": 19, + "A₂(9)": 1, + "Alt(7)": 3, + "B₂(3)": 24, + "A₂(7)": 1, + "C₃(2)": 27, + "²A₂(9)": 1, + "Alt(8) or A₂(4)": 6, + "²A₂(64)": 2, + "A₃(3)": 30, + "A₄(2)": 4, + "J₂": 4, + "Alt(11)": 3 + }, + "quotients_plain": { + "2A2(25)": 3, + "A3(3)": 30, + "A2(9)": 1, + "B2(5)": 19, + "Alt(10)": 3, + "HS": 3, + "A4(2)": 4, + "C3(2)": 27, + "Alt(7)": 3, + "2A2(9)": 1, + "J2": 4, + "Alt(8) or A2(4)": 6, + "M12": 1, + "B2(3)": 24, + "2A2(64)": 2, + "A2(7)": 1, + "Alt(11)": 3, + "2A3(9)": 15, + "2A2(81)": 2, + "2A4(4)": 63 + } }, { "name": "G^{48,48,54}_0", @@ -17051,38 +15304,18 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 19 - }, - { - "Alt(9)": 3 - }, - { - "C_{3}(2)": 3 - }, - { - "Alt(10)": 6 - }, - { - "{}^2A_{3}(9)": 17 - }, - { - "A_{3}(3)": 28 - }, - { - "{}^2A_{4}(4)": 40 - }, - { - "Alt(11)": 6 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 3, + "A_{3}(3)": 28, + "B_{2}(3)": 19, + "Alt(10)": 6, + "C_{3}(2)": 3, + "{}^2A_{3}(9)": 17, + "Alt(11)": 6, + "A_{2}(3)": 2, + "A_{2}(9)": 3, + "{}^2A_{4}(4)": 40 + }, "alternating_quotients": [ 3, 4, @@ -17121,38 +15354,30 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 40, + "C₃(2)": 3, + "Alt(9)": 3, + "²A₃(9)": 17, + "Alt(10)": 6, + "A₃(3)": 28, + "Alt(11)": 6, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 19 + }, + "quotients_plain": { + "Alt(9)": 3, + "B2(3)": 19, + "A2(3)": 2, + "A3(3)": 28, + "A2(9)": 3, + "Alt(10)": 6, + "Alt(11)": 6, + "C3(2)": 3, + "2A3(9)": 17, + "2A4(4)": 40 + } }, { "name": "G^{48,54,54}_0", @@ -17188,38 +15413,18 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 8 - }, - { - "Alt(9)": 6 - }, - { - "Alt(10)": 2 - }, - { - "{}^2A_{3}(9)": 9 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{3}(3)": 11 - }, - { - "{}^2A_{4}(4)": 25 - }, - { - "Alt(11)": 4 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 6, + "{}^2A_{2}(64)": 2, + "A_{3}(3)": 11, + "B_{2}(3)": 8, + "Alt(10)": 2, + "{}^2A_{3}(9)": 9, + "Alt(11)": 4, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 25 + }, "alternating_quotients": [ 3, 4, @@ -17256,38 +15461,30 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 25, + "Alt(9)": 6, + "²A₃(9)": 9, + "Alt(10)": 2, + "A₃(3)": 11, + "²A₂(64)": 2, + "Alt(11)": 4, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 8 + }, + "quotients_plain": { + "Alt(9)": 6, + "B2(3)": 8, + "A2(3)": 2, + "2A2(64)": 2, + "A3(3)": 11, + "Alt(10)": 2, + "A2(9)": 3, + "Alt(11)": 4, + "2A3(9)": 9, + "2A4(4)": 25 + } }, { "name": "G^{48,54,54}_2", @@ -17323,41 +15520,19 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 10 - }, - { - "Alt(9)": 9 - }, - { - "C_{3}(2)": 6 - }, - { - "Alt(10)": 22 - }, - { - "{}^2A_{3}(9)": 14 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{3}(3)": 36 - }, - { - "{}^2A_{4}(4)": 28 - }, - { - "Alt(11)": 20 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 9, + "{}^2A_{2}(64)": 2, + "Alt(10)": 22, + "C_{3}(2)": 6, + "A_{3}(3)": 36, + "B_{2}(3)": 10, + "{}^2A_{3}(9)": 14, + "A_{2}(9)": 3, + "Alt(11)": 20, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 28 + }, "alternating_quotients": [ 3, 4, @@ -17396,41 +15571,32 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 28, + "Alt(9)": 9, + "²A₃(9)": 14, + "Alt(10)": 22, + "A₂(9)": 3, + "B₂(3)": 10, + "C₃(2)": 6, + "A₃(3)": 36, + "²A₂(64)": 2, + "Alt(11)": 20, + "A₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 9, + "A2(9)": 3, + "A2(3)": 2, + "A3(3)": 36, + "Alt(10)": 22, + "C3(2)": 6, + "B2(3)": 10, + "2A2(64)": 2, + "Alt(11)": 20, + "2A3(9)": 14, + "2A4(4)": 28 + } }, { "name": "G^{48,54,54}_8", @@ -17466,38 +15632,18 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 18 - }, - { - "Alt(9)": 14 - }, - { - "Alt(10)": 1 - }, - { - "{}^2A_{3}(9)": 15 - }, - { - "{}^2A_{2}(64)": 2 - }, - { - "A_{3}(3)": 19 - }, - { - "{}^2A_{4}(4)": 52 - }, - { - "Alt(11)": 1 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 14, + "{}^2A_{2}(64)": 2, + "A_{3}(3)": 19, + "B_{2}(3)": 18, + "Alt(10)": 1, + "{}^2A_{3}(9)": 15, + "Alt(11)": 1, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 52 + }, "alternating_quotients": [ 3, 4, @@ -17533,38 +15679,30 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 52, + "Alt(9)": 14, + "²A₃(9)": 15, + "Alt(10)": 1, + "A₃(3)": 19, + "²A₂(64)": 2, + "Alt(11)": 1, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 18 + }, + "quotients_plain": { + "Alt(9)": 14, + "B2(3)": 18, + "A2(3)": 2, + "2A2(64)": 2, + "A3(3)": 19, + "Alt(10)": 1, + "A2(9)": 3, + "Alt(11)": 1, + "2A3(9)": 15, + "2A4(4)": 52 + } }, { "name": "G^{54,54,54}_0", @@ -17601,20 +15739,12 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "Alt(9)": 6 - }, - { - "{}^2A_{4}(4)": 10 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 6, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 10 + }, "alternating_quotients": [ 3, 9, @@ -17642,20 +15772,18 @@ ], "maximal_degree_alternating_quotients": 40, "L2_quotients_utf8": [], - "quotients_utf8": [ - { - "A₂(3)": 2 - }, - { - "Alt(9)": 6 - }, - { - "²A₄(4)": 10 - }, - { - "A₂(9)": 3 - } - ] + "quotients_utf8": { + "²A₄(4)": 10, + "Alt(9)": 6, + "A₂(9)": 3, + "A₂(3)": 2 + }, + "quotients_plain": { + "Alt(9)": 6, + "A2(9)": 3, + "A2(3)": 2, + "2A4(4)": 10 + } }, { "name": "G^{54,54,54}_2", @@ -17692,29 +15820,15 @@ "Kazdhdan_property_T": false, "abelianization_dimension": 3, "L2_quotients": [], - "quotients": [ - { - "A_{2}(3)": 2 - }, - { - "B_{2}(3)": 8 - }, - { - "Alt(9)": 24 - }, - { - "{}^2A_{3}(9)": 9 - }, - { - "A_{3}(3)": 13 - }, - { - "{}^2A_{4}(4)": 41 - }, - { - "A_{2}(9)": 3 - } - ], + "quotients": { + "Alt(9)": 24, + "A_{3}(3)": 13, + "B_{2}(3)": 8, + "{}^2A_{3}(9)": 9, + "A_{2}(9)": 3, + "A_{2}(3)": 2, + "{}^2A_{4}(4)": 41 + }, "alternating_quotients": [ 3, 9, @@ -17745,28 +15859,23 @@ ], "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 - } - ] + "quotients_utf8": { + "²A₄(4)": 41, + "Alt(9)": 24, + "²A₃(9)": 9, + "A₃(3)": 13, + "A₂(9)": 3, + "A₂(3)": 2, + "B₂(3)": 8 + }, + "quotients_plain": { + "Alt(9)": 24, + "B2(3)": 8, + "A2(3)": 2, + "A3(3)": 13, + "A2(9)": 3, + "2A3(9)": 9, + "2A4(4)": 41 + } } ] diff --git a/docs/create_table.js b/docs/create_table.js new file mode 100644 index 0000000..125aa5e --- /dev/null +++ b/docs/create_table.js @@ -0,0 +1,125 @@ +function columnName(key) { + let words = key.split("_"); + for (let i = 0; i < words.length; i++) { + words[i][0] = words[i][0].toUpperCase(); + } + return words.join(" "); +} + +function generateTableHead(table, keys) { + let thead = table.createTHead(); + let row = thead.insertRow(); + for (let key of keys) { + let th = document.createElement("th"); + let text = document.createTextNode(columnName(key)); + th.appendChild(text); + row.appendChild(th); + } +} + +function createDetails(object, summary_text = "show…", open = false) { + let details = document.createElement("details"); + + let summary = document.createElement("summary"); + summary.textContent = summary_text; + + details.appendChild(summary); + details.appendChild(object); + return details; +} + +function createListFromJson(json, ismath = false) { + let list = document.createElement("ul"); + for (let [k, v] of Object.entries(json)) { + let item = document.createElement("li"); + if (ismath) { + let math = createMathSpan(k + " : " + v); + item.appendChild(math); + } else { + item.innerText = k + " : " + v; + } + list.appendChild(item); + } + return list +} + +function createSpansFromArray(arr, ismath = false) { + let list = document.createElement("span"); + if (arr == null) { + return list; + } + for (let i = 0; i < arr.length; i++) { + let item; + if (ismath) { + item = createMathSpan(arr[i]); + } else { + item = document.createElement("span"); + item.innerText = String(arr[i]); + } + + list.appendChild(item); + if (i != arr.length - 1) { + let comma = document.createElement("span"); + comma.innerText = ", "; + list.appendChild(comma); + } + } + return list; +} + +function fillRow(row, group_json) { + for (let key of Object.keys(group_json)) { + let cell = row.insertCell(); + let cell_content; + let val = group_json[key]; + switch (key) { + case "name": + cell_content = createMathSpan(val); + break; + case "quotients": + cell_content = createDetails(createListFromJson(val, ismath = true)); + break; + case "quotients_utf8": + cell_content = createDetails(createListFromJson(val)); + break; + case "quotients_plain": + cell_content = createListFromJson(val); + break; + case "generators": + cell_content = createSpansFromArray(val,); + break; + case "relations": + cell_content = createDetails(createSpansFromArray(val, ismath = true)); + break; + case "witnesses_non_hyperbolictity": + cell_content = createSpansFromArray(val, ismath = true); + break; + case "L2_quotients": + cell_content = createSpansFromArray(val, ismath = true); + break; + case "alternating_quotients": + cell_content = createDetails(createSpansFromArray(val)); + break; + default: + cell_content = document.createTextNode(val); + } + cell.appendChild(cell_content); + } + return row +} + +function fillTableFromJson(table, json) { + let keys = Object.keys(json[0]); + for (let group of json) { + let row = table.insertRow(); + fillRow(row, group); + } + generateTableHead(table, keys); +} + +async function setup_table(data) { + let table = document.querySelector("table"); + fillTableFromJson(table, data); + console.log("created table of length " + table.rows.length); + return table; +} diff --git a/docs/data.js b/docs/data.js deleted file mode 100644 index 8deb010..0000000 --- a/docs/data.js +++ /dev/null @@ -1,171 +0,0 @@ -const groups_url = new URL("https://raw.githubusercontent.com/kalmarek/SmallHyperbolic/mk/json/data/triangle_groups.json") - -async function fetch_json(url) { - try { - let response = await fetch(url); - let json = await response.json(); - return json; - } catch(err) { - console.log("Error while fetching json:" + err); - } -} - -function filter_group_json(obj) { - for (let key of Object.keys(obj)) { - if (key.match(/utf8/) != null) { - delete obj[key]; - } - } - return obj -} - -function columnName(key) { - let words = key.split("_"); - for (let i = 0; i < words.length; i++) { - words[i][0].toUpperCase(); - } - return words.join(" "); -} - -function generateTableHead(table, keys) { - let thead = table.createTHead(); - let row = thead.insertRow(); - for (let key of keys) { -// if (key.match("utf8") != null) { continue; } - let th = document.createElement("th"); - let text = document.createTextNode(columnName(key)); - th.appendChild(text); - row.appendChild(th); - } -} - -function fillRow(row, group_json) { - for (let key of Object.keys(group_json)) { - let cell = row.insertCell(); - let cell_content; - // swtich(key){ - let value = group_json[key] - if (key == "quotients" || key == "quotients_utf8") { - cell_content = JSON.stringify(value); - } else if (key == "name") { - cell_content = value - } else if ( key == "generators" || key == "relations") { - cell_content = value.join(","); - } else { - cell_content = group_json[key]; - } - let text = document.createTextNode(cell_content); - cell.appendChild(text); - } -} - -function fillTableFromJson(table, json) { - for (let i=0; i= 0) { - column_indices.push(col_idx); - columns.splice(found, 1); - } - } - - if (columns.length != 0) { - console.log("In Katexify: some columns were not found! " + columns); - } - - for (let col_idx of column_indices) { - // we're skipping the header row - for (let row of table.rows) { - if ( row == header ) { continue; } - rerender_with_katex(row.cells[col_idx]); - } - } - - return table -} - -const filtersConfig = { - base_path: 'tablefilter/', - auto_filter: { - delay: 400 - }, - filters_row_index: 1, - highlight_keywords: true, - responsive: true, - state: true, - sticky_headers: true, - // popup_filters: true, - no_results_message: true, - alternate_rows: true, - mark_active_columns: true, - rows_counter: true, - btn_reset: true, - status_bar: true, - msg_filter: 'Filtering...', - extensions: [{ - name: 'colsVisibility', - at_start: [2,4,5,6,7,15], - text: 'Hidden Columns: ', - enable_tick_all: true - }, { - name: 'sort' - }] -}; - -async function setup_table(data) { - fillTableFromJson(table, data); - console.log("created table of length " + table.rows.length); - return table; -} -async function setup_filter(table) { - console.log("filtered table of length " + table.rows.length); - const filter = new TableFilter(table, filtersConfig); - filter.init(); - return filter; -} - -let table = document.querySelector("table"); - -let filtered_table = fetch_json(groups_url) - .then(setup_table) - .then(setup_filter) -; - -let button = document.getElementById("katexify"); -button.addEventListener("click", ()=>{ - rerender_columns_katex(table); - button.disabled = true; -}); diff --git a/docs/details.css b/docs/details.css new file mode 100644 index 0000000..43cdbf0 --- /dev/null +++ b/docs/details.css @@ -0,0 +1,26 @@ +details { + border: 1px solid #aaa; + border-radius: 4px; + padding: .4em .4em 0; + align-content: center; +} + +summary { + font-weight: bold; + margin: -0.4em -.2em 0; + padding: .0em; + display: revert; +} + +details[open] { + padding: .5em; +} + +details[open] summary { + border-bottom: 1px solid #aaa; + margin-bottom: .5em; +} + +.math-tex { + display: none; +} diff --git a/docs/filter_table.js b/docs/filter_table.js new file mode 100644 index 0000000..9d63a8f --- /dev/null +++ b/docs/filter_table.js @@ -0,0 +1,34 @@ +const filtersConfig = { + base_path: 'tablefilter/', + auto_filter: { + delay: 400 + }, + filters_row_index: 1, + highlight_keywords: true, + responsive: true, + state: true, + sticky_headers: true, + // popup_filters: true, + no_results_message: true, + alternate_rows: true, + mark_active_columns: true, + rows_counter: true, + btn_reset: true, + status_bar: true, + msg_filter: 'Filtering...', + extensions: [{ + name: 'colsVisibility', + at_start: [1,3,5,6,7,8,18,19,20,21], + text: 'Hidden Columns: ', + enable_tick_all: true + }, { + name: 'sort' + }] +}; + +async function setup_filter(table) { + console.log("filtered table of length " + table.rows.length); + const filter = new TableFilter(table, filtersConfig); + filter.init(); + return filter; +} diff --git a/docs/index.html b/docs/index.html index 4024c94..100d721 100644 --- a/docs/index.html +++ b/docs/index.html @@ -6,7 +6,7 @@ Generalized Triangle Groups - + @@ -26,13 +26,25 @@ Generalized Triangle Groups of 2011.09276 by Pierre-Emmanuel Caprace, Marston Conder, Marek Kaluba and Stefan Witzel. -
- -
+ +
+ + +
+ +
+
+
- - + + + + + + diff --git a/docs/main.js b/docs/main.js new file mode 100644 index 0000000..2823db7 --- /dev/null +++ b/docs/main.js @@ -0,0 +1,15 @@ +const groups_url = new URL("https://raw.githubusercontent.com/kalmarek/SmallHyperbolic/mk/json/data/triangle_groups.json") + +async function fetch_json(url) { + try { + let response = await fetch(url); + let json = await response.json(); + return json; + } catch (err) { + console.log("Error while fetching json:" + err); + } +} +let table = fetch_json(groups_url) + .then(setup_table) + .then(setup_filter) + ; diff --git a/docs/math_render.js b/docs/math_render.js new file mode 100644 index 0000000..04c9788 --- /dev/null +++ b/docs/math_render.js @@ -0,0 +1,55 @@ +function prepareTextForKatex(string) { + return string.replace(/ /g, "") + .replace(/\*/g, "") + .replace(/\^-1/g, "^{-1}") + .replace(/inf/g, "\\infty"); +} + +function createMathSpan(content) { + let item = document.createElement("span"); + item.className = "math"; + + let math_text = document.createElement("span"); + let math_tex = document.createElement("span"); + + math_text.className = "math-text"; + math_text.innerText = content.toString().replace(/\*/g, "").replace(/ /g, "") + + math_tex.className = "math-tex"; + katex.render(prepareTextForKatex(math_text.innerText), math_tex); + + item.appendChild(math_text); + item.appendChild(math_tex); + + return item; +} + +function toggleKaTeX(elt, toggle) { + let display_text = toggle ? "none" : "revert"; + let display_tex = toggle ? "revert" : "none"; + for (let child of elt.childNodes) { + switch (child.className) { + case "math-text": + child.style.display = display_text; + break; + case "math-tex": + child.style.display = display_tex; + break; + default: + // nothing + } + } +} + +let math_objects = document.getElementsByClassName("math"); +let katex_switch = document.getElementById("renderWithKatex"); +katex_switch.checked = false; +katex_switch.addEventListener( + "change", + function () { + let toggle = this.checked; + for (let element of math_objects) { + toggleKaTeX(element, toggle); + } + } +);