# Trace form for 3822.2.a, downloaded from the LMFDB on 16 April 2024.
[0, 82, 0, 0, 82, -8, -2, 0, 0, 82, -4, -8, 0, -2, 0, -4, 82, -4, 0, 4, -8, 0, -16, -8, -2, 54, 0, 0, 0, -20, -8, -12, 0, 0, -16, 0, 82, 4, -12, 0, -4, 0, 0, -16, -8, -8, 8, 8, 0, 0, 0, 0, -2, -12, -2, 0, 0, 12, 0, -32, -4, 20, 28, 0, 82, -8, 8, 20, -4, -8, 0, 0, 0, 36, -24, 32, 4, 0, 2, -32, -8, 82, 4, 0, 0, 16, 8, 16, -16, -8, -4, 0, -8, 20, 32, 24, -2, 20, 0, -8, 54, 12, 4, 32, 0, 0, -8, 24, 0, -20, 80, 40, 0, 20, -4, 16, -20, -2, 40, 0, -8, 58, 0, -28, -12, 48, 0, 40, 0, 40, 4, 24, 0, 0, 12, -4, -16, -16, 8, -8, 0, -8, 24, 8, 82, 0, -24, 0, 4, -80, 2, -36, -12, -4, 0, -24, 0, -44, 8, -40, -4, 0, 0, -76, 0, -16, 24, -8, 0, 82, -56, 4, -16, -4, -20, 0, -8, 0, -36, -88, -8, 20, 0, 16, 8, 0, -12, 16, 8, 0, -8, -24, 0, -4, -8, -4, 0, -24, -16, -8, 0, -4, -24, 0, 0, -8, 40, -8, -2, -128, 0, -80, -12, -48, -56, 16, -2, 0, -32, 8, 0, 12, 4, -28, 0, 54, -24, 40, 12, -92, 32, 0, 0, 164, 0, 208, -32, 24, 0, 224, -4, -12, 0, 0, 20, 0, -16, -4, 28, -32, -24, -16, 0, 288, -16, -8, 82, 52, 16, 0, -8, -20, 32, 288, 8, 16, 0, -4, 20, -68, -8, 20, -4, 0, -44, 232, -8, -124, 0, -12, 0, -80, -40, -24, 0, 24, -16, 0, 0, 302, -72, -8, 36, -64, 0, 72, -24, 0, 92, -8, 32, 0, -28, 136, 4, 176, -16, 52, 0, -8, 64, -104, 2, -12, 16, 0, -32, -104, -28, 104, -8, -24, 0, 200, 82, 2, -20, 0, 4, 0, 168, -124, 0, 4, 0, 88, 0, -76, 0, -40, 16, -48, -12, 0, 8, -96, -24, -128, 16, -100, 0, 0, -16, -80, -32, -48, -8, 0, 80, -120, -4, -110, -64, 0, 0, 144, 28, 40, -8, 0, -8, 0, 20, -60, -48, 96, 32, 28, 0, -228, 24, 32, -72, 56, -2, 0, -96, -16, 20, 196, -8, 16, 0, -40, 100, 144, -8, 44, -80, 0, 54, -72, 20, 12, 12, -8, 0, -16, 4, -92, -160, -84, 32, 0, 8, 408, 0, -32, -16, -72, 0, -84, 24, 8, -8, 84, -16, 0, 24, 0, 48, 56, 0, 36, 0, -24, -20, 64, 124, 96, 80, 0, 0, 280, 40, -56, 44, 52, 0, -152, 0, 32, 20, 20, -64, 0, -4, 4, -48, 0, 16, 24, 0, 60, -20, -24, -24, 112, -2, 0, -32, -48, 40, 288, -8, 60, 0, -12, -88, 48, -8, -12, 56, 0, 58, -48, -2, -140, 0, -4, 0, -96, -28, 72, -28, 0, -12, 0, -80, -284, 48, -24, 72, 16, 0, 288, -16, 0, 40, -104, 32, 0, 0, 12, -88, -144, 40, 64, 0, 24, 4, 132, 0, -88, 24, 0, 0, 56, 0, 2, -72, -32, 0, -32, -88, 128, 12, 40, -88, 0, -4, -116, 60, -48, -16, 144, 0, -8, -16, 20, 88, 88, 8, 0, -112, -24, -8, -16, 28, 16, 0, -128, -76, -40, -8, 64, -64, 0, 24, -140, -8, -152, 8, 24, 0, 216, 82, 60, -192, -16, 0, 0, -12, 72, -24, -8, -28, 48, 0, -272, -16, -4, 4, 24, 8, 0, -80, -64, 8, -272, 2, 52, 0, 20, -36, 88, -76, 88, -12, 0, -120, -24, -4, 100, -60, -32, 0, -176, 88, -140, -24, -8, 136, 0, 0, -102, -32, 0, -44, -40, 0, -228, 8, -8, -116, -96, -40, 0, 8, 0, -4, 20, -8, -20, 0, -16, -64, -16, 0, -80, -32, 0, -76, 324, 76, 40, 0, 36, 0, -176, -16, -84, 84, 16, 24, 0, -24, -112, -8, -76, -56, -48, 0, -52, -224, 32, 82, 36, -44, 0, -56, -40, 16, -248, 4, -136, 0, -32, -16, 36, 32, -52, -4, 0, 88, -16, -20, -144, -120, -72, 0, 140, 2, -136, -8, -32, -12, 0, 0, -324, 32, -32, -36, 32, 0, 16, -88, 112, 56, -136, -8, 0, -48, -120, 20, -348, -10, -8, 0, 82, -72, -112, 16, -92, -32, 0, 8, -24, 4, 12, 0, 4, 0, -80, -12, 136, -144, 0, 16, 0, -48, -112, 8, -96, -16, -184, 0, -316, -4, -128, -8, -96, 0, 0, -24, 16, 32, 16, 0, -84, 0, -72, -4, -48, 8, -180, -8, 0, -48, -296, -4, -88, 80, 16, 0, -144, 8, -28, -24, 32, -32, 0, -16, -44, 56, -168, -8, -28, 0, -368, 0, -8, -68, -96, -4, 0, 148, -128, -24, -268, -4, 4, 0, -28, 0, 56, 0, -48, -120, 0, -8, -64, 0, 328, 40, 96, 0, -24, -8, -108, -96, -32, -2, 0, -120, -304, -128, 20, -32, -32, 0, 190, -160, -36, -80, -8, 32, 0, -12, -96, -48, 160, -48, 108, 0, 24, -56, -76, 8, 16, 16, 0, 40, -8, -2, -288, -48, -32, 0, -208, 168, -12, -32, 20, -48, 0, 8, 20, -8, -12, 0, 4, 0, -40, 12, -128, -104, 136, 4, 0, -64, -8, -28, 248, -16, -192, 0, 24, -228, -264, 54, 184, -16, 0, -24, -400, -4, -216, 40, 12, 0, -40, 12, 96, -216, -56, -92, 0, 4, 88, 32, -132, 124, -16, 0, -292, 132, 32, 0, -176, 8, 0, 164, 8, 8, 512, 0, -60, 0, -160, 208, 224, 12, -160, -32, 0, -160, 192, 24, -36, -36, -36, 0, 164, -8, 48, 224, -96, 56, 0, -4, -118, -8, 24, -12, -48, 0, 228, 0, -120, -112, 0, 0, 0, -4, -32, 20, 184, 52, -48, 0, -20, -96, 16, -16, -24, 208, 0, -4, 224, 80, -232, 28, -20, 0, -80, -32, 68, 20, 40, -24, 0, 24, 176, -16, -168, 64, 88, 0, -268, -200, -64, 288, -36, -2, 0, -16, 20, 92, -296, -8, 140, 0, 56, 82, 0, -4, 8, 52, 0, 176, 248, 16, 52, 128, 16, 0, -224, 244, 144, -8, -16, 8, 0, -20, 320, -32, -120, 32, -148, 0, -276, 288, -2, 264, -144, 8, 0, -192, -60, 16, -16, 40, -112, 0, 64, 20, 208, -4, 100, 64, 0, 20, -104, -88, -32, -68, -72, 0, -80, -8, -48, -64, 16, 20, 0, -4, -364, -4, 58, 104, 232, 0, 388, -160, 200, -44, 72, 0, 0, 232, -112, 72, -56, -8, 64, 0, -28, -124, 20, 256, 16, 0, 0, -156, -8, -12, 212, 40, 64, 0, 328, 16, -140, -80, 48, -80, 0, -40, 260, -120, -8, -24, 128, 0, 104, 0, -76, -136, 184, 24, 0, -160, 40, -16, -64, -24, 72, 0, 8, 264, 232, 0, 84, 128, 0, 302, 248, -20, -536, -72, 40, 0, 176, -8, -32, 248, 40, 36, 0, 4, -8, -64, 224, -120, 120, 0, 88, 48, 24, 72, 48, -72, 0, -24, 120, 76, 424, 0, 144, 0, -120, 92, 84, 144, -16, -8, 0, 144, -384, 32, 196, 64, 100, 0, 160, 12, 64, -28, -4, 252, 0, 136, -4, 144, -4, 4, 136, 0, -224, 176, 160, -16, 168, -16, 0, -24, -168, 52, -216, 184, 24, 0, -16, -60, 104, -8, 84, -28, 0, 64, 104, 8, -160, -104, 0, 0, 208, 2, -124, -256, -8, -12, 0, 224, 216, 16, 192, -112, -256, 0, -20, 12, 128, -32, -16, -48, 0, -104, -8, 16, 8, -28, 0, 0, 16, 104, -236, 24, 4, -8, 0, -16, -88, -24, -80, -68, 8, 0, 312, -112, -184, 200, 8, 64, 0, 82, 220, 0, -112, 2, -220, 0, -304, -20, 0, -32, 152, 0, 0, -288, -80, 4, 132, -24, 64, 0, -216, 312, 120, 168, -52, 8, 0, -124, -292, -20, 160, 0, 8, 0, -240, 4, -80, -128, -80, 0, 0, -28, -40, 88, -80, 112, 48, 0, -168, -112, -92, -76, -32, 2, 0, 0, 128, 80, 120, -40, 0, 0, -36, 16, -132, -56, 0, -48, 0, -24, -480, -12, -338, 80, -72, 0, -64, -116, -64, 8, -4, -56, 0, -96, -268, -116, 68, -24, -144, 0, -152, -128, -4, 48, 24, 16, 0, -232, -24, -100, -272, -92, 4, 0, -24, -408, 0, 0, 24, 152, 0, -16, 280, 16, 304, -80, -44, 0, 528, -32, -68, -208, 160, -48, 0, 8, -12, -8, -44, -16, 160, 0, 436, 0, -40, 80, 44, 0, 0, -120, -144, -184, 208, -4, 64, 0, 40, -110, -408, -156, -8, -64, 0, -8, 384, 0, -76, -32, -184, 0, -192, 0, 120, 144, -4, -208, 0, 28, 400, 32, -76, 40, -12, 0, -36, -8, 176, -192, -320, 0, 0, -52, -32, -8, 380, -12, -120, 0, -16, -104, 64, 20, -60, -208, 0, -60, -64, 24, 240, -48, -100, 0, 520, 96, 32, -360, -8, 32, 0, -48, 112, 28, 176, -24, 24, 0, 240, -112, -168, -228, 128, 48, 0, 24, 82, -92, 0, 32, 44, 0, 268, -72, 160, -56, -152, 56, 0, 16, 136, -2, 200, 144, 4, 0, 64, -68, 64, -96, 48, -124, 0, -16, -92, 4, -240, 20, 72, 0, -368, 196, -4, 88, -216, -8, 0, 48, 200, 16, 352, -20, -92, 0, -144, -232, -64, -40, 22, 68, 0, 100, 320, -80, -52, 144, 56, 0, -280, -8, 200, -64, -32, 44, 0, -8, 224, -80, 0, 128, -16, 0, -36, -8, -44, 54, -16, -36, 0, -72, 96, -32, -384, 20, -252, 0, -88, 12, 236, -60, 112, 12, 0, 88, 264, -8, 260, -188, 16, 0, -96, 196, 164, -16, 20, -152, 0, 4, 224, 32, -168, -92, 4, 0, 384, -160, 64, 228, -200, -84, 0, -312, 16, 32, 136, 88, -16, 0, -40, 112, -328, 8, -148, -64, 0, 408, -88, 52, 176, 0, 0, 0, 944, -32, 100, 352, -28, -16, 0, -12, 60, -72, -24, -40, 144, 0, 518, 512, 16, -84, 176, 48, 0, 24, 184, -4, 552, 8, -12, 0, 8, -8, 88, 104, -96, 84, 0, 320, 8, -16, -248, -24, 8, 0, -264, -8, -16, 24, -128, 120, 0, 0, 296, -296, -24, 48, -160, 0, -228, 56, -24, 88, 80, 0, 0, 152, -144, 36, -100, -38, 16, 0, -4, 152, -32, -24, -44, -4, 0, -20, -672, -8, 788, 64, 160, 0, 496, 124, -92, -88, -4, 96, 0, 240, -704, 80, 320, -72, 208, 0, -200, 304, 160, 0, 88, -48, 0, 280, -24, -8, -432, 40, -156, 0, 124, -56, 64, -16, 284, 44, 0, 208, 216, 52, 244, -224, -8, 0, 248, 8, -48, -152, -16, -104, 0, 0, -252, 96, -64, 32, -72, 0, -56, 20, -4, 280, -96, 20, 0, 96, -60, -64, 192, -24, -80, 0, -16, 104, -280, -4, 188, 32, 0, 4, 464, -48, -220, -48, 16, 0, 368, 0, 192, 136, 40, 16, 0, 236, -200, 24, -8, -32, -232, 0, 346, -360, -180, 60, -120, 40, 0, -20, -68, 4, -8, -24, -212, 0, -8, -24, 80, 72, -76, 112, 0, 32, 224, -2, 180, 112, 32, 0, -128, -36, 76, -32, -128, 116, 0, -48, -96, 160, 32, 40, 36, 0, 184, 288, -124, 144, -24, -8, 0, -24, -80, 60, -556, -56, 272, 0, 184, 88, 96, -12, 256, -96, 0, -88, -200, -32, -48, 48, -48, 0, -568, -8, 56, 464, 80, -12, 0, -56, 304, 56, 180, -72, -32, 0, -244, 172, 16, 58, 16, 72, 0, -48, 224, -232, 24, -2, 368, 0, -96, -140, -380, 30, 24, 0, 0, -212, 688, -4, -240, -272, -32, 0, 184, -32, -4, -96, 144, 40, 0, -28, -272, 128, 8, 72, -236, 0, -504, -28, -144, 160, 384, 0, 0, 96, -232, -12, -368, 36, -44, 0, 12, 560, -208, -80, 116, -224, 0, -284, -88, 4, -320, 48, 64, 0, -240, -24, -216, -296, -28, 72, 0, 72, 56, 16, 208, 216, -24, 0, 108, -264, 112, 288, -96, -68, 0, -16, 54, 120, 488, 0, 20, 0, -216, 40, 400, -24, 160, -104, 0, 128, 384, 32, -28, 24, 40, 0, -144, -144, 32, 0, -160, 188, 0, 12, 116, -8, -64, -88, 60, 0, 800, -144, -92, -344, 352, 40, 0, 472, -48, 64, 312, 32, -40, 0, -140, -192, 64, 24, -64, 56, 0, 4, 252, 192, -528, 132, 144, 0, -200, 0, -236, -224, 88, -88, 0, -28, -416, 24, 164, 0, -24, 0, 208, 36, -24, 0, -64, 0, 0, 56, -168, 80, 136, 0, 372, 0, 208, 2, -88, 160, 100, -72, 0, -220, -704, -32, 208, 184, 80, 0, -244, -144, 304, -32, 24, -160, 0, -88, -28, -80, -256, 128, 68, 0, -220, 12, -80, 176, -120, 40, 0, 152, 224, -88, -40, 200, 208, 0, -104, 136, 192, -4, -28, 144, 0, -116, 96, -106, -176, 60, -12, 0, 184, -48, 256, 332, 112, -16, 0, 0, -156, 144, -176, -128, 176, 0, 128, -368, 0, -8, 160, -32, 0, -16, 208, -132, -80, 20, -2, 0, -320, 88, 32, -72, -20, 88, 0, -208, -160, 8, -54, 104, -64, 0, 140, -16, -384, -112, 180, 0, 0, -24, 156, -96, -4, -8, 232, 0, 320, -16, 0, -96, 240, 28, 0, -240, -144, 16, 100, -124, 224, 0, -32, 720, 200, -128, -344, 52, 0, -76, -20, -24, -148, -40, -56, 0, -480, -8, -168, 568, -16, 64, 0, -12, 392, -64, -192, -16, 32, 0, -60, 544, 32, 24, 224, -20, 0, -140, 288, -40, 976, -8, 100, 0, -60, -152, 160, -16, -240, 8, 0, 232, 640, 24, 260, 200, -8, 0, 660, -152, -76, 216, -8, -144, 0, 82, 88, 160, -192, 60, 128, 0, 80, -192, 52, 12, 216, -16, 0, 752, 204, 0, 112, 16, -256, 0, 188, -104, 72, -12, 160, 136, 0, 72, 216, 36, 112, -24, 40, 0, 664, -8, -108, 480, -64, -28, 0, 128, 196, 48, -20, 0, -232, 0, 20, 176, 328, -272, -316, 32, 0, -16, -148, 100, 320, -4, 32, 0, 288, 4, 96, 32, -116, 24, 0, -248, 496, 8, 36, -232, 32, 0, 832, -76, 24, -80, 16, 56, 0, -64, 68, -96, 168, 8, 116, 0, 416, -272, -112, 640, -184, 2, 0, -368, -4, 52, 32, -40, 176, 0, 0, -128, 408, 20, -32, 64, 0, -36, -460, 4, -272, 88, -68, 0, 632, -76, -532, -128, -168, 88, 0, -8, 208, -12, -340, 28, -24, 0, 116, -48, 20, -120, -4, 48, 0, -24, 136, 104, 416, -4, -192, 0, -48, 100, -112, -92, 16, -60, 0, -4, -40, -32, -64, 96, -44, 0, -240, -44, -416, -176, 56, -24, 0, 88, 372, -160, 232, -140, -136, 0, 264, -24, -112, -432, -8, -8, 0, -136, -176, 136, 192, -240, 96, 0, -124, -256, -328, 0, -112, 64, 0, -102, 160, 0, -108, -32, -96, 0, -112, 0, -68, 144, -12, -44, 0, 40, -224, -40, 288, 72, -16, 0, -44, -24, -160, -228, -12, -52, 0, 8, -80, -32, 872, -8, -288, 0, -4, -116, -480, -40, 256, -96, 0, 56, 488, -40, -448, -48, -24, 0, -516, 268, 144, 8, 128, -112, 0, 0, -292, 92, -216, -4, -40, 0, 128, 20, 24, 344, -104, -8, 0, -488, 120, -20, -240, -16, 0, 0, -376, 524, 224, -16, 32, -224, 0, -64, -656, 152, -16, -16, -88, 0, -384, 0, -228, -560, -200, -80, 0, 36, 320, -32, 302, -48, 152, 0, -880, -360, -160, -76, 140, -72, 0, 324, -60, -32, -16, 76, -316, 0, -8, 40, 0, -272, -128, 0, 0, 24, 448, 36, 312, 224, 248, 0, -160, -160, 352, -176, -64, 96, 0, -16, -320, 64, -408, -84, -392, 0, 92, 84, 112, -96, 176, 16, 0, 840, 72, 24, -792, -72, -116, 0, 72, -48, -64, -24, -104, 48, 0, -112, -32, -152, 132, -8, 0, 0, -360, -76, 196, -88, -96, -56, 0, 92, 204, -48, 272, 208, -176, 0, 196, 248, -8, -52, -336, -8, 0, -224, 80, 64, -648, 32, 56, 0, 144, 82, 336, 272, -128, 36, 0, 16, 56, -44, 676, 192, 40, 0, 88, -28, 220, -56, 208, 272, 0, -40, -268, 176, 136, 16, 124, 0, -176, -248, 104, -200, 0, 4, 0, 0, 544, -136, -8, 52, 112, 0, 176, -228, -664, -32, 60, 32, 0, -16, 580, -16, 704, 36, -8, 0, -680, 32, 224, -528, 52, -52, 0, -88, -164, -4, 304, 24, -72, 0, 312, 88, -8, 88, 56, 68, 0, -16, -8, 40, 360, -20, -504, 0, -28, -144, 168, 64, 80, -120, 0, 136, 48, -72, 444, -244, -104, 0, -56, 288, 132, 140, -160, 176, 0, 2, 206, -432, -48, -136, -312, 0, 680, -8, -12, -52, 24, -32, 0, 192, -252, -12, -468, 16, 48, 0, 160, 240, -264, 0, 84, -16, 0, -324, -20, 96, 240, 32, 8, 0, 240, -32, -32, 308, -8, -36, 0, -124, 336, 32, -104, -152, -288, 0, -500, 0, 184, 16, -60, -28, 0, -88, 256, -96, 192, 112, 384, 0, 104, 56, -4, 256, 192, -136, 0, 400, -32, -8, -368, -240, -48, 0, -368, 4, -160, -48, -24, -28, 0, -120, 144, 240, 336, 20, 216, 0, -36, -348, 156, -48, -456, -10, 0, 176, 200, -8, -812, -96, -224, 0, 592, -16, -224, 82, -148, -32, 0, -72, -416, -44, 384, -112, 2, 0, 80, 16, 344, 144, 132, -92, 0, -20, -728, -32, 48, 8, 280, 0, 240, -188, 0, 8, -320, 128, 0, -24, -240, 40, -72, 4, 60, 0, 352, 12, 112, 88, -304, 0, 0, 432, -640, 4, -72, 48, -160, 0, -216, 168, -116, -80, -176, 8, 0, -12, -132, 88, -124, 136, 176, 0, 232, -144, -96, 292, -208, 0, 0, -32, -256, 16, -144, -124, -32, 0, 4, -96, 72, -48]