# Trace form for 80.2, downloaded from the LMFDB on 23 April 2024.
[0, 86, -4, -2, -8, -8, -24, -6, -16, -4, -8, -16, 0, -10, 0, -22, 0, -18, -12, -28, -12, -44, -8, -18, -8, -10, -24, 4, 8, -20, 28, 28, 16, 16, 48, 10, 56, 18, 72, 20, 80, 28, 72, -10, 56, 18, 24, -38, 40, -16, 48, -36, 32, -6, 40, -20, 0, -40, 16, -28, -40, 0, -40, 26, -32, -50, -88, 50, -64, 12, -88, 44, -136, -22, -96, 106, -104, -8, -136, 88, -96, -58, -72, 86, -144, -10, -80, 116, -112, -24, -124, 12, 0, -56, -32, 52, -48, -38, 36, 72, -8, -72, 40, -26, 96, 20, 80, 26, 112, 8, 148, -4, 120, 86, 136, -10, 120, 70, 120, 20, 184, 22, 120, 28, 88, 88, 152, -30, 192, 68, 124, -48, 144, 96, 104, -92, 80, 34, 32, -60, 8, 44, -56, -72, -64, -32, -80, -130, -112, 8, -104, -132, -136, -54, -168, -132, -128, -18, -128, -244, -176, -116, -172, -170, -80, 12, -184, -150, -160, -24, -136, -132, -112, 10, -104, -118, 16, -16, -64, -36, 20, 96, 40, -68, -8, 18, 320, -96, 64, 120, 124, 20, 208, -66, 104, 16, 224, 58, 192, -32, 152, 124, 120, 52, 232, 40, 200, 94, 96, -56, 136, 64, 16, 48, 0, 126, 192, 0, -40, 172, -8, 68, -80, 70, -192, -52, -88, 170, -160, -36, -248, 240, -184, -18, -136, 166, -264, -48, -160, 216, -280, -60, -244, 170, -144, -2, -144, 200, -168, -20, -156, 176, -184, 56, -120, 220, -64, 102, -112, 164, -64, 12, 128, 182, 64, 110, -32, 108, 144, 24, 152, 36, 16, 80, 200, 36, 160, 38, 168, -20, 248, -68, 184, 30, 120, -164, 168, -36, 144, 108, 84, -212, 96, -154, -80, -80, -32, 0, 96, -148, -48, -220, 24, -148, 80, 52, -136, -158, -32, -292, -16, -236, -152, -74, -80, -326, -176, -298, -304, -208, -176, -108, -48, -176, -232, -282, -8, -308, -32, -4, -112, -200, 72, -266, 24, -154, -32, 114, 60, -220, 104, -96, 48, -68, 120, 52, 88, -126, 184, -100, 200, -8, 192, 114, 264, -32, 256, -104, 176, -16, 184, 66, 264, -66, 232, 138, 152, 90, 232, 148, 116, 268, 96, 114, 136, 190, -192, 40, 72, 332, 104, 156, -40, 246, 16, 32, -72, 254, -128, 104, -8, 364, 0, -72, -136, 152, -376, 18, -168, 144, -128, 12, -120, 208, 16, -68, -384, 192, -24, -52, 32, 372, 0, 64, 0, 258, -192, 16, 8, 92, 80, 96, 8, 178, 16, -22, -32, 100, -64, 136, -4, 20, 176, -86, -72, -8, -8, 16, 272, -48, 56, -6, -40, -138, 136, 28, 96, -172, 112, -124, 136, 8, -104, 208, 96, -300, -48, 54, -176, -248, -40, 88, -72, -226, -96, 80, -16, -302, -24, 124, -256, -364, -152, -8, -176, -192, -160, 130, -104, -184, -128, -44, -280, -304, -136, 210, -248, -270, -232, 12, -72, -288, -56, 208, -224, -256, -80, 112, -96, -332, -188, 52, 80, -282, 56, 36, -128, -182, 56, 60, -72, -236, -16, 64, -40, -226, -96, 128, 16, -60, 112, -84, 8, -34, -88, 172, 56, -40, -192, 80, 4, 260, 64, 48, -64, 170, 16, -24, 152, 120, -32, 40, -80, 300, 16, -88, 0, 202, 8, 128, 8, 256, 48, 16, -8, 408, 152, 202, -16, 236, 72, 0, 112, 174, -32, 50, 320, 338, 56, 44, -152, 232, 96, 152, 168, 94, 96, -186, 36, 436, 112, 228, -80, 208, 192, 30, 368, 298, 144, -80, 212, 188, 16, -46, 144, 68, 504, 24, -112, 104, -24, 204, 232, -22, -88, -56, 264, -54, 192, -232, -20, -76, -24, -258, 264, -172, 224, 30, 80, -372, 112, -328, -80, -252, 128, -202, 368, -248, -96, -208, 88, -244, 128, -40, -120, -210, 352, -406, 128, -220, 0, 20, 264, -226, 32, -344, 32, -270, -64, -112, 216, -288, -224, -462, 144, -352, 256, -286, -112, -292, 40, -368, -56, -184, -88, -184, 72, -180, 128, -172, -180, -48, 16, -198, -176, 36, -120, -230, -56, 4, -184, -116, -136, 150, -80, -186, -176, 284, -232, -80, 48, 184, -120, -152, -40, 384, 64, -120, -264, 268, -256, -112, 104, 240, -256, -12, -216, 396, 112, -36, -144, 184, -112, -80, 72, 372, -72, 208, 96, 568, 128, -36, -100, 420, 0, 152, 0, 394, -152, -40, -16, 364, -184, 138, -168, 322, 80, -16, 88, 204, -304, 168, -112, 350, -384, -28, -256, 246, -96, 172, -196, 44, -40, 176, -144, 192, -352, 214, -320, 32, -96, -76, -456, 124, -200, 262, -240, -80, -192, 224, -64, -564, -32, 158, -176, -4, -304, -128, 128, -112, 144, 120, 120, -360, 48, 26, -440, -342, 24, 348, 64, -476, 112, 152, 368, -512, 112, 422, 224, -252, 256, 200, 248, -168, 32, 268, 48, -484, 216, 120, -120, -224, 248, 312, 176, -286, -272, -176, 264, -220, 264, 304, 160, -274, 280, 88, -384, -254, -184, 104, 180, -276, -160, 222, -24, 106, -64, 192, 40, 136, -176, 10, 160, -68, -8, 298, -400, 338, 128, -140, -72, 36, 16, 190, 120, 208, 32, 162, 200, 308, 240, 264, 96, 134, 320, 42, 376, 290, 256, 32, 432, 268, 408, 158, 48, 290, 432, 174, 224, 508, -32, -92, 220, 430, 272, 52, 144, 346, 344, 76, 384, 48, 40, -168, 96, 348, 96, 304, -104, 120, 256, -228, 16, 232, -224, -140, -128, 306, -392, -140, -312, -228, 16, -112, -112, 120, -392, -360, -120, -40, -448, 60, -224, -184, -96, -486, -448, -138, -304, 116, -224, -220, -416, -448, -336, -416, 240, -162, -296, -420, 56, -544, 72, -188, -224, 184, 168, -494, -128, -456, -120, -524, 88, 54, 328, -460, 96, -584, 72, -620, -64, 442, -296, -630, 160, -606, 336, -366, 104, -48, 96, -312, -8, -416, -256, -316, 256, 106, 80, -200, -212, -420, 8, -410, -352, 10, -48, -304, -200, -420, -492, -164, -240, 192, 40, -236, 48, -226, -312, -40, -56]