{"label":"519.2.a","level":519,"weight":2,"dims":{"new":29,"cusp":57,"eisenstein":3,"modsym":117},"old":[[173,14,2]],"T":[[2,1],[5,1]],"status":"proven","checks":["dim M^+ at levels [1, 3, 173, 519]: [0, 1, 15, 60] (certified at ell = 2147482093)","T = [(2, 1), (5, 1)]; h of degree 29 = 1 x 29 (phi(ord eps) x dim S_k^new); 3 primes, 0 rejected"],"newforms":[{"label":"519.2.a.a","letter":"a","dim":3,"charpoly":["7","14","7","1"],"traces":["3","-2","3","0","-5","-2","-1","-3","3","1","-9","0","-3","3","-5","2","-8","-2","-3","0","-1","6","-13","-3","-2","-5","3","0","-8","1","5","7","-9","3","-3","0","1","2","-3","12","-15","3","2","0","-5","4","4","2","-16","13","-8","7","-3","-2","15","-6","-3","17","1","0","6","-8","-1","-11","12","6","-1","0","-13","-5","-5","-3","15","-3","-2","14","3","-5","-9","-1","3","-4","-15","0","18","8","-8","9","-20","1","-6","7","5","9","-9","7","-9","13","-9","-7","8","3","9","10","-3","23","-11","0","17","-3","1","-3","7","2","24","-7","-3","11","-2","12","-6","24","-15","-14","12","3","4","19","2","13","14","0","15","-4","-5","15","3","4","8","7","4","15","9","2","-3","32","-16","21","24","13","24","-25","-8","-9","15","7","-8","6","-3","-28","2","-2","8","21","15","-11","27","-6","-22","2","-3","-28","3","17","17","-6","1","-3","-32","0","-33","-3","6","13","-18","-8","24","-14","-1","-1","-26","-11","-3","-22","12","-7","-8","6","1","-19","-1","-24","19","0","32","-6","-13","-2","9","-5","-8","-7","-5","-37","6","-3","-25","-2","15","0","15","-3","2","14","-2","-21","-13","14","-9","5","3","-13","-13","-5","-16","-42","-9","-8","11","-1","-24","4","3","-63","29","-4","-11","37","-15","-29","-14","0","39","-40","18","-28","-47","8","16","-21","-8","-35","-3","9","-30","-3","-20","-21","-3","1","-24","-3","-6","-16","6","7","-17","11","5","10","-34","9","42","0","-9","15","-2","7","-25","-26","-9","-77","67","13","17","-36","-9","-2","20","-7","-10","-9","8","-16","-3","3","40","0","9","11","8","10","-50","10","-3","0","11","23","24","9","-11","-13","-6","0","-26","46","17","15","8","-3","19","42","1","-46","32","-3","-18","38","7","-7","-15","2","10","26","24","-2","13","-7","-44","-2","-3","-21","24","11","-15","42","-2","47","-35","12","2","-13","-6","7","-32","24","-7","-11","-15","5","36","-14","7","-9","12","-11","-20","3","34","0","4","15","-7","19","9","-61","2","63","21","13","37","23","14","-25","15","0","-11","11","15","-6","-35","-4","23","0","-5","-8","-3","15","-36","23","3","21","-19","4","25","-21","8","-6","-7","7","-24","-4","4","-46","-11","15","-9","63","9","-18","58","2","-4","5","-3","-21","13","32","-1","-36","-16","18","-14","21","24","-62","24","13","3","13","45","14","24","4","17","-25","-46","-29","-8","-14","27","-9","68","-10","15","32","-56","7","-30","-22","-8","48","-6","6","44","7","-3","30","9","-28","-15","44","2","0","8","-2","70","36","8","-10","31","21","5","-9","15","22","25","-11","63","35","27","-49","2","-6","24","-12","-22","35","-19","2","2","-24","-3","43","-36","-28","-12","1","3","-33","-68","17","13","0","17","-12","10","-6","-8","-43","1","-28","36","-3","44","57","-32","-26","48","0","-50","-5","-33","-35","-26","-3","26","-21","6","-39","50","13","3","30","-18","-49","22","-8","-2","-2","24","32","-7","-14","7","-14","-1","-30","-26","-1","-14","-21","-26","-15","-3","-11","63","33","-3","35","5","-22","9","13","12","-19","-13","-7","-89","-23","-8","-18","-15","6","15","14","1","24","38","-19","-85","2","-1","-7","10","-24","57","63","19","-54","-25","0","78","-64","32","18","-25","-6","-55","-14","-13","4","16","-2","-3","73","9","7","-19","-5","-14","9","-8","23","33","-7","16","-51","-5","1","-12","-37","29","0","6","-3","-21","-3","-3","-13","-25","-77","37","-2","28","-17","15","4","-7","0","23","6","15","-6","-11","-3","23","56","2","9","-18","14","-10","5","-2","-21","35","-21","10","-46","-13","24","-19","14","44","-37","-9","20","-53","5","-20","0","3","38","3","-13","47","-8","-13","-21","-14","-5","69","33","-16","68","-40","-42","63","-25","-9","-15","-17","-8","-36","-7","11","28","8","-1","18","8","-24","70","66","4","-47","13","3","-79","4","-63","-94","91","29","-28","3","-4","29","-7","-11","-3","-71","37","-82","-56","-15","0","-22","-29","55","5","-14","-3","-47","0","87","-32","39","30","-42","-40","-8","-42","18","-49","6","-28","18","15","-47","84","-6","8","-78","-33","16","21","15","-21","15","1","-8","-6","-3","-35","-47","84","-3","-3","-21","9","-27","54","-30","-14","37","-3","-20","42","-20","63","-45","-21","20","15","-3","48","-16","1","21","-21","-24","9","-39","-3","-58","38","-6","-42","16","-16","-17","-51","6","1","-59","7","-29","37","-17","-24","45","11","-45","-42","5","63","-58","10","-5","65","-34","56","11","9","2","-16","42","-37","-2","0","-29","6","-9","18","37","15","31","28","-2","-83","-14","7","-5","-30","-25","42","27","-26","36","-3","-9","-18","-11","-77","18","-32","67","3","-97","13","-38","-28","17","-28","57","-36","-41","26","-9","56","10","-2","9","-39","20","54","-88","-7","-27","12","-10","14","55","-9","3","28","8","12","-9","-16","45","-37","-3","28","-56","3","-73","-59","40","-109","-30","0","46","-71","9","28","29","11","2","-7","8","56","-54","10","-28","-1","-50","35","-7","10","79","31","-3","-24","75","0","-64","1","11","16","-27","23","90","-42","24","8","-50","9","46","-18","-11","-28","47","-13","-45","6","-6","53","-18","0","-19","-70","-26","39","-69","46","60","7","17","19","-128","15","-10","-43","8","21","-18","-3","4","-91","19","-5","-11","42","38","-77","1","-19"],"lmfdb":"agrees"},{"label":"519.2.a.b","letter":"b","dim":3,"charpoly":["-1","0","3","1"],"traces":["3","0","-3","0","-3","0","-3","3","3","-3","3","0","-3","-3","3","-6","-6","0","-9","-6","3","-6","9","-3","-6","-3","-3","-6","-6","3","-15","-9","-3","-9","9","0","-3","6","3","0","-9","3","-6","6","-3","6","6","6","-12","9","6","3","9","0","-9","0","9","9","3","6","-12","-6","-3","-3","0","6","3","0","-9","9","-3","3","-9","15","6","-6","-9","3","-3","21","3","18","21","6","6","-12","6","9","-18","-3","0","3","15","21","15","9","-21","9","3","9","-24","9","-15","0","-9","-9","21","0","9","9","3","21","-9","-6","-12","9","-3","15","6","0","-6","18","9","6","12","-3","-6","3","6","9","0","-6","15","24","3","3","9","-6","-12","9","-6","-21","9","-6","-3","0","12","21","-12","-9","0","-15","-6","9","9","-3","-12","-6","-9","12","-12","0","12","9","9","-21","9","0","-30","24","-9","12","-3","-9","-3","-30","-3","-27","18","-6","-27","9","12","3","-18","6","12","24","3","-3","-24","3","-21","-36","0","9","18","-6","39","-15","-3","-24","-3","0","0","0","9","-6","-33","-9","0","-27","3","27","-6","-3","9","-30","9","0","15","-15","18","12","-6","45","21","6","-9","-21","9","-15","21","-3","-30","-24","3","24","-9","-21","-36","-36","-3","9","3","-18","-3","-9","-21","3","-12","-6","3","6","-6","36","-27","12","-18","9","-6","-15","15","-9","18","-3","18","3","3","3","-18","3","0","18","-6","-3","57","39","-15","0","-48","-21","0","-6","-15","-9","0","-9","-21","-12","21","-9","-3","-9","21","-18","-3","18","-12","-9","-6","-33","24","42","3","-9","-24","0","15","27","12","0","18","-36","9","-48","-21","9","-6","-3","-21","-21","0","0","6","-36","-9","-27","-30","-9","15","-6","-3","24","-6","-21","-6","0","9","21","9","6","24","6","12","0","3","-9","72","-12","3","15","-36","-15","9","-36","-6","-9","39","0","-6","-3","6","9","18","-18","21","-21","-9","-27","18","-6","33","-15","-12","-15","6","3","6","12","6","-21","33","-3","9","33","-6","-9","-3","-9","-27","-21","0","39","51","6","-3","21","-15","-6","-15","-24","27","-12","-3","-12","9","-3","-12","-27","-9","9","21","6","-15","21","12","48","-15","-9","-36","-36","6","18","3","21","3","-9","-9","30","72","6","12","27","3","3","-21","0","3","-18","-12","6","36","-21","54","-30","12","-3","-33","9","-27","18","0","42","-9","15","6","63","6","-24","-51","-9","24","-6","-9","-18","60","3","-6","-48","12","-12","42","6","18","21","9","-6","3","-12","9","-12","12","0","30","0","0","-30","-12","-6","21","-9","3","15","-9","6","9","21","39","33","-9","-9","18","0","36","-6","30","3","33","-24","18","18","9","93","6","-12","12","-27","3","-9","12","9","-27","-12","3","-78","48","30","-36","9","3","12","0","27","-12","-21","-18","-24","-12","6","54","99","27","45","-12","-9","-6","27","-12","21","18","-3","51","6","18","15","66","-6","30","-36","-12","-12","15","-24","-9","12","-3","18","18","3","66","-9","24","-27","-9","-3","-21","27","21","3","-15","36","-27","-9","0","-39","-45","-9","21","-33","-18","-42","21","6","-27","-18","-39","-12","-30","15","-21","30","3","-3","6","24","-51","3","3","-24","-3","0","-60","-48","0","-18","-33","0","-51","36","-9","84","54","6","-15","-93","33","-9","-3","9","-18","3","0","-3","3","27","12","21","-3","9","-78","-27","-39","-24","6","33","-75","3","-75","-3","-9","-45","39","30","12","9","-9","-48","-33","0","3","-36","-15","42","-27","15","-9","30","-18","-51","-30","-12","6","-27","6","-9","-33","-45","30","-18","-21","0","57","-6","-36","15","9","-36","-27","21","-24","0","-9","12","-3","15","-9","0","-21","3","18","3","-3","39","30","-36","36","24","-21","45","-3","9","-51","-24","0","45","9","66","-30","21","6","-60","36","-60","30","36","-63","-9","3","9","48","-9","54","-63","-3","-42","-39","18","-15","-9","3","9","-27","9","30","108","21","-12","-12","-3","-33","-63","12","-3","3","6","-33","36","-3","18","-48","-6","-12","30","6","-99","-42","-36","-54","-9","27","-6","0","-12","30","15","18","-57","45","-9","27","-39","6","6","21","15","-39","6","-15","15","-9","9","3","36","-18","-12","51","3","-30","0","-18","-63","-27","-3","36","9","-3","0","6","-3","-3","3","18","9","33","-3","-30","30","0","0","-24","-18","-57","-15","6","-33","27","3","39","21","-57","24","15","-39","-39","-12","15","-63","-12","0","-57","-21","48","0","39","21","6","54","0","-9","6","6","33","-24","15","-6","9","9","27","24","0","-39","24","9","3","-42","21","36","-87","12","-24","39","-21","-6","-45","9","18","54","3","27","63","9","-30","-6","-21","-36","-123","18","3","72","3","-24","-24","-18","-63","9","12","18","30","9","-27","54","6","-54","87","33","-51","-6","-24","-18","-9","-42","51","21","-3","0","12","9","-9","9","24","-57","18","0","42","27","-15","0","-33","-27","36","-63","-12","-24","0","0","102","-51","-18","-33","21","36","-9","81","-9","-48","3","48","0","-39","21","-18","-105","-9","-6","24","6","66","-36","3","6","-18","21","-24","27","21","-63","30","0","93","-60","0","-3","-12","-6","15","33","36","-36","15","9","39","-48","27","-24","-9","30","3","-30","9","36","69","-15","45","-27","6","-6","63","3","9"],"lmfdb":"agrees"},{"label":"519.2.a.c","letter":"c","dim":11,"charpoly":["603","-3936","4328","2993","-6499","1700","1892","-1324","244","23","-12","1"],"traces":["11","3","11","11","9","3","-3","6","11","-1","13","11","-1","11","9","7","18","3","1","12","-3","-18","15","6","12","-3","11","-38","6","-1","1","0","13","-19","9","11","-13","0","-1","-30","17","11","-22","5","9","-22","14","7","28","-25","18","-15","27","3","-13","0","1","-27","11","12","6","-5","-3","-6","14","-18","-21","-2","15","-11","9","6","1","9","12","-4","-11","-3","-23","16","11","8","5","-38","-34","-50","6","-43","50","-1","-40","19","1","29","-37","0","-1","-56","13","-46","22","-19","-23","-59","9","-11","31","11","11","-33","-13","-55","19","0","-28","-21","-1","-49","-28","-30","-4","-44","17","34","0","11","-54","-46","-22","-2","-6","5","-57","11","9","-14","49","-22","-24","-123","14","-16","-9","7","3","36","28","-1","-2","-25","-32","75","18","55","55","-15","-14","-30","27","-11","-2","3","-72","45","-13","61","-27","0","8","-21","1","21","-11","-27","-57","-14","11","17","24","12","19","41","6","-1","30","-5","28","-34","-3","19","-18","-6","7","-54","14","76","10","-18","-15","-50","-21","27","39","-2","44","22","15","-20","31","-11","-8","70","9","19","30","6","29","12","1","73","31","9","-14","48","12","27","7","-4","61","-77","-11","11","39","-3","-38","74","-23","98","-49","16","28","15","11","19","5","8","-55","-99","5","123","82","-38","33","-10","-34","13","43","-50","-18","78","6","102","-21","-43","90","-89","50","-77","31","-1","10","27","-40","106","-24","19","-11","39","1","150","4","29","-44","-20","-37","60","34","0","57","12","-1","145","79","-56","-15","34","13","16","14","-46","42","1","22","96","-23","-19","-30","-110","-23","7","22","-59","24","57","9","-4","-31","-11","0","-61","31","151","16","11","36","20","11","15","22","-33","27","14","-13","72","-106","-55","4","-67","19","72","67","0","-132","-84","-28","-3","5","-21","18","78","-1","-5","-18","-49","49","-16","-28","35","-65","-30","78","35","-4","3","-70","-44","-67","41","17","44","-64","34","-19","-146","0","169","8","11","-22","-82","-54","135","-73","-46","-7","-7","-22","63","-25","-2","37","-70","-6","61","-83","5","27","-153","-57","-23","15","11","-141","88","9","60","-31","-14","-14","-141","49","-73","-39","-22","-91","-111","-24","62","7","-123","28","140","14","28","-33","-16","-137","37","-9","-162","18","7","68","45","3","162","-127","36","-39","-63","28","66","-24","-1","-2","14","-2","-119","-7","-25","-39","42","-32","12","-163","75","-10","51","18","90","23","55","-120","-266","55","8","68","-15","-18","134","-14","49","-34","-30","-66","45","27","-66","-167","-11","73","116","-2","19","42","3","-80","40","-72","-40","-25","45","-9","-11","-13","38","-85","61","-59","-1","-27","83","-86","0","32","-62","8","-121","-85","-21","-80","160","1","-73","-124","21","-90","-293","-11","5","124","-27","-51","52","-57","58","-64","-14","20","5","11","-48","-72","17","-40","55","24","-166","54","12","100","35","19","9","-2","41","-160","27","6","-64","-20","-1","-21","-28","30","-105","48","-5","14","-80","28","122","-47","-34","41","92","-3","-228","6","19","-114","43","-18","121","67","-6","85","-6","7","-55","25","-54","-95","167","14","131","19","76","-81","-182","10","-9","55","-18","-97","6","-15","-162","-12","-50","215","96","-21","-155","-104","27","-35","167","39","-16","5","-2","-62","-80","44","66","31","22","-75","74","15","64","-14","-20","65","117","31","-39","-13","-11","-114","83","-8","91","-15","70","-74","17","9","-11","74","19","-79","-106","30","-173","-25","6","153","25","29","-65","119","12","-40","265","1","-160","-1","73","97","2","31","62","177","9","-61","-32","-14","137","38","48","26","2","12","-64","-5","27","-58","-90","7","-119","111","-4","60","295","61","-50","-43","-77","36","-11","-11","-78","-181","11","17","-10","39","-115","46","-3","-113","59","-38","-22","-50","74","7","31","-23","151","-43","98","-56","105","-49","-150","18","16","130","243","28","110","4","15","-11","171","11","26","102","19","-12","-101","5","-10","71","8","17","121","-55","15","97","-99","-74","56","5","-56","-170","123","-21","-127","82","159","37","-38","73","-110","33","-48","162","-10","-174","205","-34","-143","-12","13","148","135","43","14","-42","-50","66","-165","-18","-105","115","78","139","75","6","239","-47","102","-71","-100","-21","83","55","-43","127","16","90","26","99","-89","24","-129","50","-67","-41","-77","84","139","31","-16","22","-1","41","387","10","25","-69","27","-24","152","-40","-140","-84","106","123","59","-24","-123","21","19","21","137","-11","-41","37","39","-127","116","1","61","122","150","99","-25","4","80","133","29","76","148","-44","-47","14","-20","-51","100","-37","-102","-79","60","3","3","34","-45","-16","0","-9","6","57","-286","-59","12","-32","39","-1","10","219","145","-10","-152","79","97","189","-56","-96","-154","-15","43","37","34","163","198","13","-170","-70","16","111","-223","14","-92","-118","-46","145","-110","42","-70","31","1","69","90","22","-8","-25","96","-17","-309","-23","10","-128","-19","87","-87","-30","-19","162","-110","-24","11","-23","-224","23","7","-2","177","22","14","-62","-59","122","-163","24","-73","41","57","19","49","9","-148","117","-4","-108","-193","-31","136","167","-11","26","-182","0","-320","-46","-61","124","41","31","194","-199","151","13","-171","16","-189","166","11","-41","-38","36","-121","-99","20","112","221","11","-93","-78","15","196","-31","22","-259","-138","-33","-16","-21","27","175","63","14","-76","-195","-13","-84"],"lmfdb":"agrees"},{"label":"519.2.a.d","letter":"d","dim":12,"charpoly":["-94231","-450875","-323994","184949","173642","-28205","-30608","2086","2388","-75","-83","1","1"],"traces":["12","-2","-12","18","1","2","3","-3","12","13","-7","-18","13","9","-1","30","10","-2","15","0","-3","6","-19","3","39","13","-12","12","6","-13","13","-23","7","23","-3","18","21","12","-13","48","41","-9","14","-11","1","8","4","-30","49","-4","-10","7","-3","2","11","6","-15","3","21","0","14","-61","3","9","2","-6","11","-4","19","-57","-13","-3","11","-51","-39","16","-11","-13","7","-50","12","-52","-31","-12","14","2","-6","-47","58","13","18","-105","-13","-39","-13","23","29","-39","-7","11","12","-23","5","39","3","-73","-65","-18","1","-89","-21","-91","5","-12","-24","-47","13","-25","-32","-48","57","-20","-41","-98","12","9","-8","-97","-14","-130","-4","11","39","-23","-1","44","1","-8","0","71","-4","12","-1","30","71","6","-49","-23","24","4","24","13","10","-75","-27","-7","44","-10","3","39","40","-2","40","87","-11","51","27","-6","71","-5","15","9","12","-3","31","70","-21","-77","-66","0","59","-35","-14","17","114","61","-8","24","-3","-51","0","-9","-21","126","-2","107","6","6","63","-31","-11","37","-67","4","-24","16","-19","2","37","57","36","34","13","-65","-38","3","31","-54","-11","-7","43","51","18","38","39","-13","-3","-16","19","41","11","19","-37","13","-60","124","-7","-6","-9","50","26","-60","-12","-91","-15","52","-23","-37","31","39","-20","12","-23","28","-14","28","89","-2","-24","110","6","6","-63","47","-74","163","-58","39","39","-13","-8","107","-18","34","-100","105","-19","27","13","-152","56","39","-26","-2","13","36","-76","-23","8","126","-29","67","-1","39","61","-14","7","-54","-42","-11","-58","185","-12","-82","-9","23","-2","86","-5","-97","58","-39","-10","-65","-3","-16","39","73","-66","1","65","-73","-162","18","-90","2","-1","-69","96","89","-37","-54","21","10","-24","91","90","66","-5","-96","43","12","-30","92","24","-2","-125","47","-8","108","-13","3","-32","25","-23","240","32","51","13","48","83","23","-57","-7","-64","20","33","-253","41","-64","62","98","-11","126","-12","-91","-50","-9","10","102","8","-165","15","97","-147","173","14","-75","13","130","-99","119","4","-25","-7","-11","1","69","-39","130","-55","23","-25","-6","1","8","-7","-44","52","149","-1","71","-135","8","-51","65","0","-104","-93","-71","-54","80","4","-258","163","-12","-45","-23","1","-26","-24","-30","58","-153","-71","100","-13","-6","41","-255","49","202","-158","23","-84","74","-24","-203","-1","-4","1","-132","-24","-34","-73","-13","-52","-31","-10","-12","7","75","-4","-28","27","-36","-56","7","-146","-56","-44","-7","-118","10","-48","-209","-3","-134","3","-39","45","94","-40","-10","-84","2","-34","24","-40","-42","-35","-87","-87","-183","11","-130","111","-51","21","-51","-27","71","-130","6","-56","60","-71","-205","109","5","24","-67","-15","39","-170","-9","-10","-129","-12","-263","90","3","-47","-148","-31","196","6","-70","49","-159","21","344","-68","77","8","-55","66","-46","-122","0","-238","47","-59","-17","120","35","20","-91","14","-16","12","-17","67","74","-114","-13","30","-61","102","86","8","4","-17","-24","45","-106","3","188","64","51","114","471","0","-59","-95","9","51","-97","21","205","-111","-126","61","-65","2","-63","-1","-107","-3","62","-6","-31","25","-6","17","-8","-63","50","108","31","-87","84","11","145","14","-37","-31","-53","67","118","-65","-4","-18","92","24","-210","-55","-16","149","-140","19","104","112","-2","-30","17","-37","203","-81","-57","110","57","-36","-285","-13","-34","32","-231","-13","71","110","65","49","142","38","99","-131","-3","121","-31","-31","163","-49","54","8","233","11","60","121","7","19","24","-43","162","-75","-51","139","-206","-18","293","-14","-38","-20","-166","-39","149","-15","13","234","278","3","193","11","16","-20","159","-19","10","163","-41","76","18","-11","32","117","-19","37","132","37","17","-96","-13","71","13","60","8","-6","-124","-75","-123","7","-207","139","6","228","-163","9","116","-12","-50","-42","140","-26","26","62","60","141","-323","12","206","78","91","-90","-71","15","288","-107","-52","-71","295","23","143","77","37","-22","-54","-31","-76","100","-39","-1","109","20","-289","63","-12","7","-98","23","-228","-58","-28","106","-93","14","75","-132","-28","118","15","-89","66","-34","2","78","193","24","87","21","-110","-129","19","-6","-102","89","-6","37","44","63","-127","39","-47","-67","-216","74","320","-1","-163","-14","-216","58","173","-43","-39","-188","53","-39","138","42","13","-35","167","8","-191","3","-107","20","-2","18","-50","6","-34","95","-21","100","27","-49","-105","63","-115","19","81","17","-27","67","-70","-13","-49","88","152","118","171","-56","-100","-81","-39","-48","64","26","-361","-42","2","-23","-186","-13","70","119","-36","91","73","76","179","22","23","1","-280","-8","160","35","-126","-76","-189","29","-50","165","-67","-140","66","1","361","75","-39","136","12","-61","103","-71","14","-137","196","-7","-54","-24","54","-41","13","42","110","-36","11","-99","132","58","-140","19","-185","75","-188","12","-258","51","82","121","239","9","192","196","-23","23","-291","2","267","-54","-86","46","-83","5","34","63","97","148","-105","-58","-314","140","39","22","-65","10","-213","-161","65","-141","287","3","236","-163","16","-104","423","-39","174","-81","-73","-14","-104","66","142","-120","-1","21","-453","-65","-76","221","73","-109","-90","162","-49","196","-18","-9","-40","90","-119","149","-2","-120","-525","1","291","-22","69","-170","67","-96","167","-158","-89","-16","183","37","117","-177","54","54","-311","-21","300"],"lmfdb":"agrees"}],"seconds":0.204,"computed":"atlas","estimate":{"seconds":0.36,"low":0.219,"high":0.622,"bytes":2102910}}