# Trace form for 80.2.s.b, downloaded from the LMFDB on 18 April 2024.
[0, 18, 0, 0, 4, 2, -8, 2, -12, 10, 0, -2, 0, 0, -12, -20, 0, -6, -24, -2, -12, -16, 12, -2, -4, -6, -16, -24, 40, 14, 40, 0, 20, -8, 28, 2, -4, 0, 24, 0, 44, 0, 8, 0, -44, -14, 12, 38, 4, 0, -8, 8, 8, 12, 4, -6, 20, -24, 20, 10, 8, 14, -40, -6, 16, 0, 4, 0, -60, -32, -28, 24, -68, -14, -48, 16, -16, -44, -36, -16, -92, 2, 48, 40, 24, 14, -36, 24, -8, 12, -8, 0, -8, 0, -28, 34, -40, 18, -56, 22, -4, 6, 36, 6, 16, 24, -16, 64, 92, 6, 92, 0, 12, -22, 72, -66, 48, 0, 24, 0, 44, 0, -24, 0, -52, 26, 16, -50, 56, 0, -8, -22, 68, 36, 44, -24, 56, 18, 120, -14, -8, -16, -64, 48, 48, -46, 60, 0, -84, -2, -84, -88, -56, -14, -64, 16, 28, 20, -44, -40, -52, -20, 12, -112, 80, 40, -76, -54, -48, 10, 12, -66, -32, 0, -40, -38, -32, 8, -148, -58, -48, 6, 84, -40, -60, 16, 60, -100, 68, -16, 52, 0, 80, 26, 64, 112, -4, 0, 32, 0, 116, 0, -72, 0, -100, 72, 68, 94, 56, 0, -72, 90, -16, -16, 32, 44, 40, 12, 132, 56, 40, -32, -48, -22, 88, -46, 16, 0, -156, 46, -164, 128, -48, 26, -52, -10, -40, 80, -8, -64, -84, 20, -28, 48, 104, 20, -60, 104, -80, -32, 48, 46, -68, 0, 40, 96, -112, 10, -136, 112, 28, -26, 72, 62, -64, -52, -44, 112, 120, -34, 88, 0, 88, 48, 72, -106, 48, 0, 76, 0, 68, 0, -52, 0, -84, -72, 44, -112, 36, 0, -8, -128, 36, -140, 12, -42, 0, -48, 124, 24, -20, -12, -84, 48, -24, 34, -16, 0, -84, -32, -52, -104, -80, 26, -96, -14, -16, -100, -36, 68, -176, 0, 68, -4, 28, -64, 56, -136, -24, -52, 0, -26, 68, 0, -72, -52, -16, 58, -60, -24, 8, 4, 44, -72, 44, -8, -48, -216, 68, 22, 136, 0, 64, -22, 48, 120, 64, 0, 60, 0, 116, 0, 88, 0, -28, -90, 84, 86, 68, 0, 52, 68, 64, 4, 16, 84, 60, 64, 60, 42, 68, 32, -44, -110, 40, 20, 20, 0, -44, -50, -32, 172, -44, -8, -92, -64, -116, -20, -92, -48, 8, 28, 72, 128, 104, -54, -12, 96, 0, 76, 16, 104, -64, 0, -48, 100, -48, -40, -16, -26, 44, 22, 56, 94, -104, -6, -36, 164, 40, 96, 84, 0, 40, -46, 44, -120, -104, 0, -12, 0, 152, 0, -52, 0, -92, 60, -20, -176, -40, 0, -52, -40, -48, 256, -40, -144, 56, -14, 20, -136, 72, 102, -68, 42, -64, 64, -32, 0, -80, 4, -176, -88, 0, 36, -72, 38, -92, 124, 36, 208, -16, -32, -124, -168, -20, 38, -112, -102, -96, 0, -76, -98, -36, 0, 36, -214, 24, -32, -92, -98, -96, 32, 20, -98, 44, -70, -80, -208, 40, -66, -24, 0, 96, -16, 80, 134, -80, 0, 112, 0, 0, 0, -64, 0, 20, 80, -48, 108, -48, 0, -32, 106, 36, 64, 136, 84, -20, 8, 96, 10, -60, -98, -40, -128, -16, 66, 52, 0, -16, 118, 72, 20, 32, 16, 12, -8, 96, 100, 8, 8, -52, -16, 68, 80, 88, -26, 8, 74, 8, 12, 44, 190, 96, 0, -116, 126, -16, -62, -20, 56, 20, -48, -20, 100, -8, 64, 160, 312, 152, -92, 68, 0, -32, -46, 8, -160, 160, 0, -116, 0, -84, 0, 120, 0, 20, -92, 120, -130, 112, 0, 20, -160, 44, -260, -92, -88, 0, 90, 8, -94, -28, -96, 76, 164, 160, -30, 108, 0, -20, 56, 60, -216, -120, -88, 108, 150, 212, -96, -72, 136, 40, 20, 152, -120, 56, -56, -32, -78, 28, -20, 116, -104, -88, 0, 44, -210, 40, -86, 48, -2, -28, 14, 0, -88, -76, 52, 52, -172, -44, 16, -148, 0, -168, -38, -116, 192, -28, 0, -112, 0, 48, 0, -88, 0, 72, -178, 4, 232, -100, 0, 112, 74, -140, -76, 20, 150, 40, -72, -140, 16, -84, 118, 88, -88, -176, 24, -140, 0, 28, -162, -76, 96, 64, -100, 52, -56, -72, -176, 24, -224, 84, -100, -188, 168, -160, 46, 48, 210, -40, -134, -20, 124, -104, 0, 16, 212, 16, 4, 132, 38, -104, 112, -52, 134, 16, -30, -188, 304, 0, 64, -200, 0, 116, 136, 12, -168, -88, 0, 84, 0, -200, 0, -96, 0, 20, 150, 36, -56, 24, 0, 44, -136, 20, 220, 184, 8, -144, 0, -76, -48, 60, 48, -40, 104, 88, 36, -164, 0, 80, 0, 92, -92, 120, 48, -56, 32, -32, 140, 36, 108, -84, -68, 28, 44, -8, 68, 120, -256, 120, 84, -68, -154, 92, 0, 108, -92, 24, -28, 92, -56, 52, -2, -40, -74, 100, 120, -44, -200, -196, -10, 96, 0, -80, 114, -104, 218, 24, 0, -52, 0, -152, 0, 172, 0, 92, 266, -168, 126, 16, 0, -48, 104, 64, 12, -240, 98, 100, -54, -24, 90, -40, 16, 120, -198, -176, -32, 104, 0, 144, 224, 116, 200, 88, 106, 116, -222, 44, 132, -32, -152, 128, -100, -16, 160, -112, -72, 88, 218, 224, -84, 12, 30, -36, 0, 84, 186, 184, 144, 56, -12, 108, -68, -28, 88, 72, 10, 36, 176, -268, -178, -96, 0, -96, 24, 12, -256, -88, 0, -80, 0, -4, 0, -48, 0, 144, -80, -104, -250, -88, 0, 76, 50, -252, -352, 32, -212, 16, -46, -184, -176, 28, -114, 96, 56, -160, -48, 44, 0, 168, 96, -12, -200, 64, -62, 52, -32, -64, -128, 48, 36, 184, 166, -188, -360, -72, -154, 12, -278, 28, 80, -40, -266, -64, 0, -12, -216, 88, 26, 152, -204, 92, -98, -80, -186, -128, 32, -8, -104, 0, 180, -264, 0, 16, 8, -116, 200, 88, 0, 12, 0, -132]