# Trace form for 800.2.y, downloaded from the LMFDB on 19 April 2024.
[0, 292, 4, 4, 4, 0, -12, 4, 4, 4, 0, -12, -12, 4, -12, 0, 8, 0, 24, 4, 0, -12, -16, 12, -24, 0, 8, 28, -16, 4, 0, -48, -16, 8, 8, 0, 40, 4, -44, 28, 0, -12, 24, 12, 44, 0, 20, 0, -48, 0, 0, -8, 12, 20, 80, 0, -24, 4, -64, 36, 0, -44, 0, -32, 40, 0, 12, -36, -64, -28, 0, 20, -92, 4, -92, 0, -12, 20, -108, 0, 0, 0, 4, 44, -16, 0, -96, -52, -80, 4, 0, 36, 48, 16, -88, 0, -152, 8, -56, -96, 0, -12, 104, 52, 112, 0, -116, -60, 40, -12, 0, 0, 72, 0, 36, 0, -116, -44, 120, 48, 0, 20, 32, 84, 8, 0, -204, -32, 144, 8, 0, -52, 24, 52, -100, 0, -144, 36, 192, -68, 0, -72, 100, 0, 168, 0, 156, -112, 164, -12, 0, -84, 120, -32, 64, 0, 40, 4, 144, -72, 0, -24, 36, -76, -56, 0, 84, -76, 160, 4, 0, -20, -44, 52, -92, 0, 184, 0, 76, -116, 0, -76, -104, -116, -24, 0, 176, -104, -120, 48, 0, 80, -136, 8, -96, 0, 244, 84, -148, -92, 0, -12, -4, -44, 192, 0, 180, 0, -208, 0, 0, 156, -116, 52, -216, 0, 192, 32, -224, -132, 0, -64, -156, 64, 0, 0, 0, 84, -336, 36, 0, -144, -24, -28, 116, 0, -316, 56, -272, 0, 0, 0, -108, 0, 76, 0, -184, 140, -160, 68, 0, -92, 64, -76, -16, 0, -232, -24, -36, 140, 0, -92, 44, -124, -368, 0, -328, 188, 68, 68, 0, 0, -24, 0, -36, 0, -208, 68, 216, 208, 0, -44, 120, -164, 152, 0, -308, 168, 384, -92, 0, 176, 80, -44, -44, 0, -192, 40, 300, 180, 0, -76, 28, 0, -160, 0, -56, 164, 376, -108, 0, 140, 32, 4, -152, 0, -8, -76, 388, 168, 0, -24, 0, 56, 244, 0, 428, 220, 144, 88, 0, -44, -108, -120, 52, 0, 416, 0, 112, 240, 0, -208, -80, 144, -96, 0, 328, 100, -8, -12, 0, -24, -176, 8, -212, 0, 360, -144, -156, 180, 0, -76, -284, 40, -40, 0, 180, 0, -240, 0, 0, 44, -120, -92, 304, 0, 432, 100, -552, -188, 0, 128, -136, -48, -64, 0, 416, -184, -352, 132, 0, -256, -84, 100, 140, 0, 300, -92, -196, 0, 0, 0, 68, 48, -124, 0, 176, -220, -320, -60, 0, 180, -16, -124, 172, 0, -224, 8, 4, -68, 0, 100, 20, 192, 80, 0, -264, -204, 76, -20, 0, 0, 176, 0, -200, 0, -276, 84, 216, -212, 0, 124, 184, 92, 48, 0, -296, -312, 432, 8, 0, -180, 288, -124, -12, 0, 304, 4, 460, -64, 0, 68, 344, 0, 32, 0, -196, -236, 700, 84, 0, -212, -8, -28, 328, 0, 80, 16, 392, -304, 0, 8, 32, -216, -152, 0, 396, -236, 256, -92, 0, -68, 120, -144, 476, 0, 48, 0, -12, -196, 0, 148, -72, -164, -72, 0, 560, -252, -56, -76, 0, -104, 112, -56, 112, 0, 512, -120, -264, -20, 0, 84, -292, 36, 68, 0, 372, 0, -488, 0, 0, -56, -216, -28, -48, 0, 160, -92, -464, -104, 0, 148, 8, -120, -88, 0, -392, 172, -512, -204, 0, -196, -32, -56, -316, 0, -116, -172, -496, 0, 0, 0, 108, -124, 304, 0, -200, 428, -296, 4, 0, 124, 32, 176, 256, 0, -616, 8, -164, -304, 0, 148, 56, -188, 48, 0, -116, 308, 4, -48, 0, 0, 344, 0, -256, 0, -524, -92, 280, 300, 0, -76, 384, -204, -328, 0, -532, 368, 296, 8, 0, 8, 328, 212, 812, 0, -312, -92, 656, 276, 0, 152, 124, 0, -280, 0, -156, 468, 444, 320, 0, 108, -56, -124, -104, 0, 672, 112, 420, 448, 0, -24, -140, 204, -296, 0, 168, 324, 284, -124, 0, -224, 188, 132, -364, 0, 296, 0, -48, 204, 0, 52, -16, 160, 728, 0, 768, 196, -152, -32, 0, -104, -344, 8, -96, 0, 168, 164, -400, 280, 0, -76, -184, 204, -716, 0, 520, 0, -472, 0, 0, -4, -380, 308, 80, 0, 440, -64, -576, 588, 0, 196, -336, 120, -72, 0, 104, -84, -712, 212, 0, 272, -96, 96, 464, 0, -156, 120, -500, 0, 0, 0, -144, 72, -524, 0, -1008, -356, -288, -128, 0, 8, -16, 212, -512, 0, -504, 72, -180, -156, 0, -300, -56, 244, 0, 0, -636, -540, 64, -236, 0, 0, -64, 0, 356, 0, -1232, -108, 192, -752, 0, -172, 192, 212, -200, 0, -160, -392, 688, 136, 0, 248, 272, 212, -340, 0, -552, -184, 540, -412, 0, -204, -184, 0, 176, 0, -884, -356, 572, -76, 0, 256, 200, 132, -400, 0, -376, -76, 760, 96, 0, 40, -24, -28, 480, 0, -424, -484, 208, -92, 0, 388, -288, 232, -284, 0, 192, 0, 260, -780, 0, -204, -64, -100, -728, 0, 136, -4, -56, 148, 0, 824, -232, -128, 924, 0, 304, 256, -388, -348, 0, 20, -388, -180, -212, 0, 72, 0, -400, 0, 0, -100, -208, 52, 96, 0, -408, -92, -696, -204, 0, -320, -328, -32, 224, 0, 120, 260, -504, -168, 0, -132, -88, 200, -528, 0, -128, 244, -404, 0, 0, 0, -116, -92, 528, 0, -168, 364, -408, -208, 0, -60, 0, -184, -180, 0, -112, 8, -176, 672, 0, -224, 240, -144, 168, 0, -1184, 508, 172, 152, 0, 0, 432, 0, 356, 0, -492, -12, 312, -148, 0, 148, 16, -28, -272, 0, -448, 688, 512, 8, 0, 432, 320, -364, -60, 0, -584, -92, 696, 660, 0, -316, 444, 0, 376, 0, 540, 484, 560, -124, 0, 28, 80, 36, 488, 0, 216, -108, 400, 520, 0, -92, 420, 272, -280, 0, 344, 356, 356, 272, 0, 156, -148, -284, 252, 0, 464, 0, -4, 548, 0, -108, -136, 220, 16, 0, 176, 312, -96, -412, 0, 128, 192, -120, 344, 0, 920, -300, -348, 464, 0]