{"label":"535.2.a","level":535,"weight":2,"dims":{"new":35,"cusp":53,"eisenstein":3,"modsym":109},"old":[[107,9,2]],"T":[[2,1],[3,1]],"status":"proven","checks":["dim M^+ at levels [1, 5, 107, 535]: [0, 1, 10, 56] (certified at ell = 2147482621)","T = [(2, 1), (3, 1)]; h of degree 35 = 1 x 35 (phi(ord eps) x dim S_k^new); 4 primes, 0 rejected"],"newforms":[{"label":"535.2.a.a","letter":"a","dim":3,"charpoly":["-1","-1","2","1"],"traces":["3","-2","0","0","3","0","-1","-3","-9","-2","-7","0","-2","-4","0","2","-7","6","-1","0","0","7","-6","0","3","6","0","7","-13","0","-6","7","0","-7","-1","0","-6","3","0","-3","-7","0","-1","-14","-9","4","2","0","-16","-2","0","0","-4","0","-7","1","0","11","-12","0","-11","4","3","-11","-2","0","13","14","0","-4","-6","9","-5","-10","0","7","0","0","7","2","27","28","2","0","-7","17","0","28","-21","6","-4","0","0","-6","-1","0","25","13","21","0","-5","0","21","-12","0","26","3","0","-8","7","0","-3","1","0","-6","-7","6","-6","14","0","16","-16","0","14","3","12","16","19","0","6","18","0","-2","-25","0","14","-32","0","12","7","0","18","-14","-6","-13","1","0","14","-19","0","-1","-20","21","21","-6","0","-5","42","0","7","2","-18","38","-35","0","22","11","0","-19","-7","3","0","-17","0","-1","7","0","7","8","0","-22","-2","0","6","-6","0","21","0","0","3","-10","0","24","2","0","0","-14","-21","3","-3","0","-13","2","0","-7","7","18","-6","-28","0","-24","-42","0","-2","-1","0","2","-4","0","-14","-14","0","-36","0","-9","18","28","0","-38","4","0","20","-2","-18","2","14","0","7","-1","0","-19","-27","0","21","-16","0","24","-22","0","-2","-37","-21","14","-48","0","-28","-13","0","16","0","39","-40","-8","0","-4","-8","0","35","-16","0","-3","-7","0","-2","-7","0","9","-22","18","1","-16","0","-18","0","0","-14","-21","-21","-2","11","0","-21","-4","0","-12","20","0","-20","4","0","-16","-25","0","-10","-11","21","23","-28","0","4","10","0","4","43","3","-77","-15","0","42","-11","0","8","-14","0","-2","-16","0","7","4","0","23","-70","18","37","13","0","52","22","0","14","-28","-9","10","-48","0","-26","39","0","20","-4","0","-70","5","0","-6","21","0","-52","20","9","-24","24","0","0","-5","0","-27","-4","21","-10","-22","0","6","35","0","12","4","0","30","7","0","16","18","0","0","-30","3","-35","40","0","14","9","0","42","7","42","-14","-51","0","2","-6","0","32","56","27","22","28","0","-2","28","0","-49","18","-12","2","28","0","7","36","0","7","-12","-6","18","-7","0","27","0","0","17","33","0","-30","-6","0","0","2","0","7","28","48","-14","-21","0","-21","52","0","-22","-14","6","28","-7","0","-28","-4","0","14","44","0","0","1","0","0","-4","0","20","0","0","12","-6","0","26","-63","0","-1","-14","12","-53","38","0","-24","85","0","49","25","0","-1","39","0","13","-34","0","28","-2","21","-18","-12","0","10","0","0","62","-8","-3","-5","-14","0","28","47","0","4","-24","0","-59","21","0","14","8","0","-12","-18","-33","-35","14","0","-18","0","0","-57","26","36","7","28","0","3","-34","0","-36","28","0","22","-61","0","-28","-8","0","78","42","33","7","-5","0","-49","-69","0","42","23","-12","66","-3","0","-22","-17","0","1","-58","-9","-36","-17","0","-100","42","0","21","-6","33","-46","69","0","-7","-24","0","42","54","6","-16","-10","0","44","-6","0","-4","7","0","14","49","0","-12","36","0","-34","-15","-39","7","16","0","32","49","0","-16","-20","-42","-13","-48","0","-7","-33","0","30","14","0","26","14","0","3","-12","0","-42","56","12","-88","7","0","45","16","0","20","-49","18","19","-4","0","-34","-14","0","-21","-9","-27","42","6","0","-14","-14","0","18","7","15","2","22","0","-15","-6","0","68","-2","30","26","-84","0","-25","56","0","-58","-58","0","-28","58","0","-27","14","0","14","-94","-21","-32","47","0","-17","12","0","-23","35","0","-40","12","0","-42","94","0","7","-38","0","-26","49","0","-50","18","0","32","18","-21","0","12","0","-14","70","0","-60","40","-6","-28","30","0","0","-13","0","92","18","-81","1","-63","0","33","39","0","-14","-70","-84","34","14","0","24","-68","0","-19","24","-6","-49","-1","0","16","6","0","-26","-1","0","-1","-62","0","-20","-21","0","12","-56","21","-40","-20","0","-96","21","0","56","15","-51","-6","-11","0","-22","14","0","-42","14","0","-13","-5","0","-17","-14","0","42","-19","-84","-44","28","0","42","12","0","14","7","63","-38","84","0","2","-12","0","-58","-98","-18","1","-35","0","42","38","0","82","-8","12","-35","12","0","-43","14","0","16","-124","0","-24","22","0","26","28","0","11","21","0","46","-63","0","-26","7","0","28","-19","18","11","16","0","-7","12","0","85","17","3","-3","-48","0","4","0","0","-1","9","0","-17","48","0","0","28","0","-4","36","-75","-6","-1","0","63","42","0","7","-47","-39","-20","14","0","28","-19","0","32","7","-63","-42","-24","0","8","31","0","42","12","0","-42","-133","0","-43","-22","0","-19","56","15","-2","-8","0","112","56","0","-84","22","0","-18","6","0","25","60","0","-6","84","-63","-49","-16","0","17","-42","0","-14","21","36","48","-36","0","0","-9","0","14","-8","0","-35","5","0","-48","3","0","-35","-9","-78","-10","119","0","12","34","0","-25","-12","-9","-84","24","0","-64","-65","0","2","-32","0","10","-39","0","-5","-134","0","14","0","24","4","24","0","-14","35","0","-42","2","-21","66","56","0","-6","3","0","86","12","0","-3"],"lmfdb":"agrees"},{"label":"535.2.a.b","letter":"b","dim":8,"charpoly":["2","-10","-19","82","13","-48","-4","6","1"],"traces":["8","-4","-2","8","-8","-2","-3","-15","0","4","-9","-6","-8","-8","2","12","-17","-10","1","-8","-8","-3","-20","2","8","0","-5","-1","2","2","2","-29","-13","21","3","-6","-12","-3","-9","15","-25","10","-5","12","0","16","-11","8","1","-4","-4","-12","-34","34","9","-27","-41","-23","2","6","7","0","-3","31","8","0","-9","-38","23","8","-6","29","-13","36","-2","1","-6","16","25","-12","-28","8","-17","58","17","-39","10","32","-27","10","-8","-14","-2","60","-1","10","-21","31","0","8","5","52","-3","50","8","-8","-8","-12","20","3","10","53","-39","66","20","23","15","6","-10","-2","-19","38","30","56","-8","4","12","-13","46","0","48","14","-2","43","5","34","-65","30","36","1","-8","48","40","18","-2","-51","2","-46","-29","-2","21","20","-1","9","-2","-40","-19","-32","13","29","-46","48","-12","27","13","40","-9","-64","-36","-21","47","12","5","-16","-3","-55","8","1","-38","6","26","64","-3","6","12","-8","-3","-84","-8","3","-34","22","-44","38","9","-16","-40","21","5","-15","-28","-33","56","-34","25","-77","4","-58","17","-10","46","14","-46","4","5","12","-70","-6","16","-12","-14","2","16","-16","0","-34","-48","-44","36","-16","36","-64","-56","0","11","-48","-5","35","-31","-8","6","27","33","-105","-1","-104","-5","-34","-4","4","55","-13","-31","-32","4","-6","-61","-20","16","12","0","-42","-30","4","34","-24","7","-57","16","-34","-4","-71","-8","26","-9","-104","13","-12","-40","27","-74","-44","-13","-40","41","-20","17","-37","13","23","52","39","36","-70","-2","6","-1","66","-5","-6","56","71","112","-12","-7","-39","-23","-64","6","0","28","92","19","-29","3","-51","19","34","-30","-31","2","22","66","-64","-8","38","-4","7","-64","0","58","54","-47","-59","9","32","-36","8","-36","38","62","-65","18","-64","-23","-14","13","140","16","-8","33","38","-79","32","6","-9","0","-50","2","-29","-19","26","120","-92","13","-36","31","4","-14","-36","20","-76","-25","-33","2","194","-98","-4","-56","-1","32","-44","24","-68","6","-34","21","-35","-68","-16","112","37","2","-14","-25","24","-21","-23","-6","12","-106","8","20","6","28","-102","-27","52","58","-8","52","67","-4","-6","17","100","44","3","6","-58","21","54","89","-24","-17","-60","-9","-8","48","39","33","-54","-6","-4","-10","70","4","16","29","-32","-19","-116","1","-54","27","74","43","126","-150","-10","35","125","52","16","8","18","-58","-56","14","14","83","46","12","140","2","82","26","56","4","-60","12","36","-75","138","1","-30","-40","31","26","-10","51","31","44","-141","21","-126","67","171","-25","-31","60","132","10","-62","0","-64","72","-8","28","-8","36","-6","48","81","-5","28","70","-4","-7","-52","116","12","13","-127","3","46","-20","108","-8","-50","-8","35","123","164","-8","54","22","-88","28","8","30","-73","-11","20","8","90","28","10","6","12","52","69","72","144","-20","44","-37","-58","11","-3","31","128","-75","-25","-10","-62","-65","4","-18","-53","20","150","43","-68","39","78","63","76","-107","-66","58","32","44","-131","-20","-71","-40","27","37","-23","34","-114","59","-114","-15","-124","-16","36","-4","-6","-74","-74","-21","14","10","-177","-66","-64","-38","2","40","9","-15","-11","19","-102","-82","-35","-4","-38","52","74","-27","100","-30","61","-37","8","-62","-56","41","-154","140","-130","8","-64","9","102","18","-4","0","63","28","-67","-12","72","22","53","-30","13","-160","2","44","38","-46","-49","-1","13","-58","0","108","-100","-70","4","-48","77","9","-76","-54","-14","30","72","18","-172","2","-14","-40","-28","63","-43","13","-94","86","-22","-5","22","127","78","-63","-34","-125","-42","68","35","65","15","10","227","-33","-30","15","123","72","-92","-36","-242","-86","4","-83","-1","2","-46","-99","-57","8","98","-28","-108","-8","-48","68","-104","46","-34","-40","-58","32","116","-24","-18","16","-50","-96","-132","2","-48","-60","78","-9","51","-83","70","41","-33","-2","66","42","146","-66","46","17","14","18","128","29","-66","-89","3","3","2","8","-120","-10","148","-21","-132","7","22","-83","-20","-95","-68","-198","-16","1","-102","56","168","50","-9","50","-118","-29","69","2","109","4","46","-89","40","70","-72","-103","-59","19","-68","-17","10","28","32","-19","-96","37","142","-13","104","20","40","-56","-29","-114","2","-36","112","46","-104","-140","-50","-20","-48","27","205","-4","-42","12","-134","-100","-12","-6","-27","-24","-56","-79","-10","-13","110","52","72","8","-40","124","-160","-90","-144","9","-19","14","60","30","64","0","275","16","52","36","6","-81","-4","-56","21","61","104","31","61","-47","15","42","-46","-154","-12","120","-197","31","60","-5","116","84","-82","-44","16","-60","34","-67","-10","3","16","-105","-96","-25","55","19","37","-66","174","-8","40","145","152","92","-1","4","-18","22","30","38","-85","-37","206","-90","-6","170","127","-44","-91","-26","-154","-133","-80","-12","-64","100","-122","-48","142","3","106","-8","-224","-54","-6","-170","-165","90","-106","-12","10","75","-205","-20","8","-73","-136","-52","16","3","-150","40","-60","-64","84","-24","28","9","-6","8","97","41","-182","60","-3","-10","253","-163","42","34","-119","-29","28","-70","-22","-28","-64","0","-54","44","-64","-46","155","76","-38","74","182","-60","125","-9","-231","-22","16","20","16","68","-10","-4","-228","40","247","-26","124","38","-21","8","34","-94","0","-5","-56","-81","124","106","15"],"lmfdb":"agrees"},{"label":"535.2.a.c","letter":"c","dim":9,"charpoly":["3","-134","386","117","-477","-21","111","-8","-7","1"],"traces":["9","5","2","7","-9","-2","3","12","17","-5","9","6","4","4","-2","7","21","17","-1","-7","-4","13","18","2","9","14","8","10","5","2","-10","14","28","-13","-3","19","8","-6","-28","-12","11","-38","9","10","-17","12","4","-2","-16","5","4","-30","22","-24","-9","9","-2","0","6","-6","-49","-40","11","-18","-4","4","11","-6","-40","-4","30","-40","15","-10","2","-5","22","-4","-9","-7","37","-16","30","-68","-21","25","-10","31","37","-17","-20","0","36","-70","1","10","19","22","-15","7","5","-60","15","-24","4","2","9","24","-22","-13","-4","5","59","-84","-18","27","0","-26","-6","-2","-24","-56","-12","-54","-9","-4","-8","-37","12","-14","8","-18","10","2","-8","-13","38","-56","-26","-10","-44","24","-24","-89","-5","-16","-46","10","19","-2","-1","0","77","28","10","-12","15","72","-44","-14","48","45","-4","-72","-28","28","17","-64","7","13","-13","14","9","-48","3","64","36","52","12","-19","-68","-10","24","-6","-8","88","-13","-54","-8","6","-12","-56","6","20","28","3","26","-15","-33","12","-14","47","46","10","-11","14","66","68","40","38","-6","26","-8","5","-9","52","-8","-6","50","-10","40","24","16","17","17","72","-50","-16","-40","-12","-22","42","56","34","-4","26","-28","14","75","2","15","-17","-74","-48","16","66","-4","-60","56","-5","-61","2","18","-76","-4","5","67","128","-26","30","-15","70","-56","-62","-22","43","-18","3","0","24","-95","-28","68","112","9","-44","41","-32","-18","-9","60","-140","-20","-6","2","-54","-31","14","14","0","28","45","62","-66","-6","0","88","60","-24","6","-76","62","-120","38","49","-37","43","31","50","40","24","80","14","-3","-11","18","65","8","-10","18","2","66","32","-33","4","120","-52","-75","24","-4","-69","24","44","85","-11","-10","10","15","28","6","6","-98","12","43","40","-4","35","0","-64","4","-184","-20","83","20","-30","143","70","-36","38","40","-56","-48","-76","-36","-15","118","43","-48","39","10","-54","48","-40","-18","-2","-64","24","12","4","5","-68","-54","-60","-18","-22","-70","-31","80","68","4","-22","27","-20","-44","9","82","46","-109","6","7","72","-48","-92","38","-37","-29","-2","2","76","16","-40","-13","-106","168","-30","54","56","-41","46","68","5","62","32","50","21","44","-87","7","72","-25","-103","-60","38","-88","10","-76","8","0","-21","-31","-96","118","-69","104","-37","10","-36","-24","40","17","-40","44","-58","18","20","-12","42","-66","16","0","55","-106","-36","46","-36","-28","-62","-166","-56","70","-184","54","5","126","-1","71","18","-26","-28","-10","-108","49","-88","-72","-19","50","21","-15","-112","-22","-46","-48","-34","10","15","-126","38","0","18","-7","-60","-192","-54","29","-5","16","-30","-84","-15","60","-88","-99","-8","84","-15","150","-80","-38","28","24","16","-116","-59","16","-4","-2","-94","-100","9","-2","-38","109","64","-116","-9","56","-100","-76","60","-24","-50","-87","-84","112","22","120","-68","-28","-213","13","-13","-12","11","112","4","-174","69","68","16","-5","98","6","-39","20","-59","-24","-81","-36","-31","84","-4","-56","-12","9","18","-18","74","-167","112","-27","34","46","-40","30","0","-24","-44","-180","-64","26","-160","-126","-45","164","6","28","-136","-44","32","2","-78","-112","-73","131","24","-8","28","9","14","56","20","2","23","-8","12","59","75","-4","-38","54","-64","-54","10","204","9","82","-84","94","-50","4","48","-73","208","43","8","92","-16","-45","150","37","62","-2","0","94","-12","-37","45","-136","-16","14","24","96","-14","-4","-8","-73","75","-50","100","18","-81","-36","-116","50","-10","142","44","26","56","-2","-92","72","46","-34","8","-31","6","178","173","13","128","-24","-86","63","-38","166","40","46","-12","56","-123","-140","10","44","26","116","104","-96","-24","10","74","-216","-8","-145","44","0","-4","280","-32","-24","155","138","60","-14","24","36","14","28","6","89","-108","-153","-88","-76","5","-54","-84","-104","53","16","-71","4","153","-38","46","-88","20","172","66","-10","-44","-12","-42","-28","-19","40","38","15","3","2","-24","-132","116","194","1","92","129","60","72","0","49","-204","-38","14","-77","86","-16","142","148","-28","-18","56","-13","113","-10","99","-92","72","-86","12","-34","36","-232","103","-15","64","49","-92","-48","-72","33","91","52","-4","44","-158","28","-60","80","14","121","202","2","136","-48","-100","92","171","-14","-45","-67","-133","-52","14","4","-24","-56","2","76","72","72","108","55","-64","28","-196","-16","152","-54","-28","-150","110","-36","20","-17","18","152","140","37","64","18","39","56","102","-7","-138","67","-46","-40","-13","144","-4","63","-107","13","12","116","160","128","-14","84","-47","-33","-120","-9","66","116","-168","-116","48","88","-108","19","62","-3","168","-33","-128","276","-64","123","-10","72","-156","-36","-28","143","36","60","-52","-99","144","32","110","-12","-115","-180","8","-24","19","48","30","-22","211","68","120","163","-160","-251","10","-54","-136","66","-44","-24","-152","28","-228","132","6","-8","81","56","-188","8","-170","147","165","-18","-88","109","148","100","22","13","-264","60","-87","0","54","-27","-376","-16","10","8","14","53","-40","-88","-6","128","-19","3","102","12","47","68","32","-28","56","5","-104","17","62","-6","-172","50","-74","100","-20","-90","210","-74","-99","-28","43","-14","96","14","-3","-2","70","80","-104","-26","7","116","-62","-2","15","-4","-158","-68","-30","33","-40","-42","-96","136","-12"],"lmfdb":"agrees"},{"label":"535.2.a.d","letter":"d","dim":15,"charpoly":["17602","-16210","-143263","14810","277387","10344","-184032","7448","51873","-7029","-5930","1123","270","-60","-4","1"],"traces":["15","4","0","22","15","4","-3","9","31","4","11","-16","-4","0","0","32","13","-6","5","22","12","-13","8","-12","15","6","-21","-24","18","4","6","27","-1","5","-3","24","-8","10","11","9","19","16","-19","48","31","-28","23","-58","42","4","-32","-20","22","2","11","-35","25","-42","8","-16","31","12","-55","23","-4","-92","-3","8","31","0","-10","45","-23","26","0","-55","4","-84","9","32","79","-26","-17","22","13","-19","-44","-55","49","-6","-40","46","-22","16","5","-140","-5","-23","24","22","-11","8","-41","20","12","-66","-15","-220","12","-13","-42","-119","49","6","8","-61","-41","-110","10","-12","42","32","-14","-4","15","-172","-24","58","-22","6","10","-128","-94","-38","-21","-43","127","-38","10","-24","36","-30","6","82","18","-46","-40","-24","47","4","-27","-24","1","32","6","-52","-37","10","-31","27","96","44","22","132","-1","-34","-19","100","45","5","43","38","-31","112","-3","62","48","6","18","24","74","36","-47","-2","-8","-128","-25","30","8","10","28","-2","-16","-2","11","-14","26","39","9","9","54","-11","56","48","19","-38","-28","-82","45","16","-20","104","-10","-4","-19","-136","-32","22","-74","48","12","126","-56","9","31","-14","14","68","16","-28","-10","-68","36","214","23","-64","-57","-100","-3","-58","26","40","-33","140","42","66","-49","56","-20","4","91","8","25","68","-32","58","5","-116","-46","-20","48","104","14","-138","22","-45","89","3","38","2","16","16","56","38","11","68","-65","10","-76","-35","100","84","-47","-54","25","68","15","227","56","-42","8","-17","-16","60","8","-32","-37","56","-73","-16","68","16","84","48","31","61","-87","-35","0","12","10","-68","-21","-25","-55","180","25","66","-82","23","0","-84","96","206","-4","-98","-20","-29","-36","-92","34","44","-67","141","-3","22","-16","28","-60","8","16","120","0","71","31","2","-31","-72","14","0","153","-4","129","52","-10","23","-158","-10","-32","45","42","-32","40","-176","-23","-30","-107","120","-90","26","-68","88","-41","-22","0","42","6","300","-66","-55","-44","74","46","-238","4","96","-97","160","94","-84","-12","26","30","-34","9","92","-123","23","-208","32","166","328","-64","-82","79","127","-129","-58","-66","-26","-52","-101","-36","-190","-17","-60","-140","43","-100","22","49","-16","-57","-146","13","40","-71","-22","-184","-19","161","-254","-120","154","-44","-52","-86","76","-167","-55","186","312","9","282","49","-68","-73","-36","86","-6","15","68","-38","-138","-40","58","-36","-80","-270","46","31","264","-28","-112","-22","-8","4","72","16","16","-52","-296","73","-248","5","-145","40","100","-56","-140","-69","85","-172","45","-5","-80","-59","179","39","-23","12","88","-84","-106","24","284","66","104","-108","22","-120","-36","-46","-423","-11","-254","-204","0","57","8","16","54","69","118","-41","-184","-166","50","-188","20","-4","-132","-85","-150","12","-14","-8","-44","-49","-66","-112","-71","49","68","-15","-224","-56","168","-158","-220","18","235","-12","-238","12","-188","-39","290","27","-13","-57","156","-75","-114","-42","146","7","-32","-64","-119","-50","-72","21","240","49","-176","-37","40","161","6","30","-42","-64","-87","8","9","-10","52","-123","-61","-68","224","-59","-76","-41","170","58","28","16","-110","30","-38","145","-126","10","92","22","64","14","-12","-26","22","131","-87","42","-162","-78","-167","106","32","-76","348","51","-120","-14","103","205","244","-2","-4","9","-74","-24","-110","15","-184","137","-168","-16","-172","120","199","4","-91","-24","-164","-60","37","-98","58","36","-4","-82","34","-22","39","-103","301","12","6","52","98","-132","264","10","27","71","148","-76","-128","106","70","218","-70","-94","-180","-26","22","-49","-38","41","318","-56","36","-21","244","45","100","-55","-43","-29","-4","160","-117","127","-154","94","24","147","-38","103","-60","-30","-44","10","194","56","32","-115","-24","80","-322","-21","217","36","-14","-10","280","26","-30","36","108","70","180","6","-16","150","140","-82","82","16","160","60","66","18","-118","8","-36","298","-46","-35","-106","-133","42","-40","64","64","-80","-46","-24","-3","274","96","-140","47","28","55","267","3","4","32","106","-74","-212","-27","184","-125","-356","37","-24","57","96","148","-66","1","300","100","-74","-8","32","192","-92","13","213","6","-215","44","94","-61","-52","-50","-282","13","56","-37","-76","-143","-10","124","10","-23","441","-51","-52","-31","80","-66","-8","-138","27","114","248","34","-48","96","-72","-108","-149","162","44","107","83","-8","-94","22","-146","-18","8","-162","132","-6","136","119","-32","-1","394","52","-112","112","-34","262","-34","180","108","-19","-94","70","58","-70","100","131","-127","92","-142","45","86","-193","192","-32","5","-47","256","-185","-167","43","-9","-72","-202","198","38","-128","77","97","-348","-31","-68","12","182","164","112","16","-36","-15","-62","-3","-100","-7","-90","123","62","7","19","-6","176","48","116","-85","260","-80","6","276","-108","-38","308","18","-119","111","-114","-114","24","76","-268","290","-31","74","138","-71","-316","-96","36","62","174","78","-20","-47","-88","26","216","-120","-2","-114","-299","14","498","-8","-200","33","259","60","-128","47","-116","-312","-192","-25","376","62","-37","-72","30","-100","-92","151","-296","8","258","33","-50","-72","10","38","-299","43","68","28","73","-193","104","-108","-2","-45","-20","-31","-78","-16","-20","-100","-281","96","-2","124","-616","-36","-135","11","403","384","-256","-68","-14","76","76","-152","260","26","-257","262","-56","-62","39","142","-44","46","-192","9","-304","-151","-44","-174","9"],"lmfdb":"agrees"}],"seconds":0.207,"computed":"atlas","estimate":{"seconds":0.362,"low":0.221,"high":0.626,"bytes":2131301}}