# Trace form for 8018.2.a, downloaded from the LMFDB on 23 April 2024.
[0, 315, 1, 4, 315, 14, 8, 4, 1, 323, 14, 4, 4, 6, 0, 0, 315, -2, -3, 1, 14, 8, -4, 20, 8, 337, -2, 16, 4, -10, -8, 40, 1, 8, 18, -16, 323, 38, -1, -40, 14, 42, -24, 4, 4, 22, 16, 4, 4, 319, -1, -32, 6, -10, 8, 56, 0, -4, 34, -20, 0, 26, -8, 4, 315, -20, 16, 20, -2, -16, 48, 24, -3, 38, 14, -4, 1, -24, -24, 40, 14, 307, 50, -28, 8, 12, -20, 16, -4, 42, -2, -40, 20, -8, 16, -2, 8, 50, 25, 20, 337, -26, 32, 40, -2, -32, -2, 76, 16, 70, -16, 112, 4, -22, 4, 56, -10, 166, 20, -24, -8, 295, -10, 40, 40, 156, 64, -48, 1, 144, 68, -8, 8, 12, 8, 120, 18, 126, -8, 20, -16, 64, -56, 72, 323, -20, 10, 28, 38, -30, 80, -24, -1, 14, -8, -56, -40, -62, -72, 40, 14, 24, 41, -36, 42, 16, 12, -88, -24, 269, 84, -3, 4, 14, -32, -44, 4, 64, -22, 68, 22, -50, 16, -16, 16, -116, 56, 24, 4, -88, -6, 20, 4, -22, 26, -96, 319, -38, 60, 28, -1, 40, 22, 56, -32, -52, -24, 108, 6, 28, 72, -1, -10, -64, 20, -72, 8, -40, 54, -144, 56, -20, -96, -80, 0, 489, 18, 12, -4, 122, -56, 40, 34, -18, -26, -88, -20, 80, -144, -76, 0, -46, 5, 172, 26, 110, -16, -14, -8, -56, 84, 0, 4, -120, -32, -16, 315, -54, 104, -104, -20, 126, -44, 36, 16, -28, 12, 72, 20, 46, 32, -44, -2, -48, 58, -44, -16, 54, -12, 200, 48, 170, 56, 8, 24, -24, -32, -72, -3, 337, 52, 160, 38, -106, 144, -56, 14, -40, 30, -40, -4, -168, -88, 40, 1, 44, 26, 36, -24, -112, -72, -52, -24, 142, -74, 88, 40, 70, -72, 184, 14, 32, -16, 10, 307, -118, 132, -96, 50, -112, -8, -36, -28, 182, -24, 224, 8, -22, 39, 40, 12, 0, -13, 56, -20, 120, 38, 108, 16, -6, -152, 16, -4, -18, -48, -16, 42, 272, -68, 60, -2, 315, -94, 212, -40, 84, 40, -92, 20, 82, 28, 136, -8, 14, -72, 112, 16, -84, -128, 140, -2, 72, -56, 160, 8, 88, -86, 60, 50, 166, 216, 48, 25, 104, -2, -264, 20, 50, 96, 16, 337, 122, -240, 80, -26, 174, 0, 104, 32, -78, -68, 16, 40, -24, 160, -24, -2, -8, -12, 140, -32, -66, 9, 136, -2, -6, -20, -16, 76, -248, -64, -148, 16, -54, -40, -88, 70, -4, -52, 104, -16, 279, -44, 76, 112, 244, 48, 116, 4, -86, 83, -168, -22, -8, -12, 160, 4, 126, -54, -40, 56, -46, 24, -36, -10, 64, 26, 12, 166, 0, -144, 156, 20, 216, -40, 63, -24, -34, -128, -60, -8, -76, 42, 192, 295, 36, 12, 64, -10, -40, 110, 212, 40, -12, -14, 312, 40, -64, -168, -104, 156, 24, 116, -8, 64, 148, -8, -44, -48, 190, -24, 8, 1, -40, 34, -136, 144, 120, -144, 80, 68, 122, 94, -92, -8, 24, 56, 8, 8, 479, -100, 92, 12, 156, -48, -232, 8, 88, -74, 12, 120, 38, -88, 212, 18, -108, -144, 100, 126, -46, 44, -30, -8, 24, -10, 168, 20, -62, -168, 128, -16, -64, 106, -132, 64, -84, -56, -52, -56, -230, 32, -48, 72, -72, -112, -12, 323, -10, -77, -168, -20, -56, -144, 168, 10, -188, 94, -176, 28, 0, -24, -188, 38, -250, -32, -136, -30, -176, -96, -16, 80, 50, -80, -196, -24, -274, 0, 136, -1, 184, 4, -120, 14, -46, -4, -328, -8, 14, -52, 112, -56, 64, -8, -160, -40, 455, -230, 48, -62, 100, -120, 52, -72, 16, 82, -32, 40, -26, -128, -208, 14, -94, 120, 104, 24, -408, -2, -160, 41, -112, -70, -144, -36, -242, 24, 0, 42, 262, 56, -236, 16, 230, -76, -96, 12, 0, -50, -192, -88, -40, 32, -88, -24, -102, -14, -248, 269, -146, -164, -288, 84, -536, -64, -228, -3, 164, 24, 256, 4, 124, -192, 20, 14, 160, 68, -232, -32, -108, 118, -264, -44, -22, -200, -38, 4, -32, -14, 96, 64, -18, -184, -220, -22, -168, -104, -240, 68, -424, -48, -252, 22, -144, 1, -264, -50, 298, -144, 44, 16, 275, 116, -160, -16, -10, 64, -352, 16, 136, 194, 48, -116, 24, 136, -96, 56, -228, -114, -300, 24, -488, -104, 304, 4, -144, 300, -392, -88, -14, -144, -88, -6, 6, 48, 160, 20, -524, -32, 56, 4, 86, -16, -208, -22, -274, -20, 168, 26, 192, 238, -42, -96, -160, -144, -316, 319, -20, -304, 84, -38, 88, -56, 0, 60, 52, -58, 232, 28, 166, -32, -88, -1, 10, -6, -248, 40, -88, -104, 448, 22, 22, 30, 284, 56, 56, 48, -232, -32, -12, 154, -232, -52, 30, 12, 220, -24, -8, 112, 12, 108, 134, 176, -448, 6, -10, -88, 24, 28, 16, 28, -264, 72, 413, 34, -280, -1, -166, 304, 116, -10, -216, 142, 104, -64, 14, 56, 38, 20, -238, 168, 96, -72, -32, -168, -100, 8, 124, -86, 164, -40, 40, -136, -8, 54, -198, -4, -560, -144, 54, -24, 8, 56, 118, 53, 120, -20, 144, -44, 40, -96, 32, 316, -76, -80, 40, 256, -48, 0, -24, 2, 192, 489, 188, 104, -216, 18, -60, 52, 20, 12, -90, -160, -216, -4, 184, 90, 160, 122, -64, 208, -84, -56, -184, 118, 64, 40, 346, 88, 424, 34, -170, -176, 9, -18, 80, 132, -248, -26, 54, 32, 40, -88, 94, 128, -32, -20, 56, 64, -212, 80, -172, -31, 28, -144, 66, -234, -112, -76, -488, 160, 344, 0, 515, 212, 228, -46, -204, 56, 172, 5, 32, 164, 44, 172, 272, -72, 104, 26, 74, 48, 40, 110, 278, -60, -160, -16, 84, -60, -504, -14, 24, -472, -56, -8, -120, 88, 200, -56, -142, -136, 152, 84, -144, 72, 88, 0, 176, 128, 18, 4, -86, -204, -136, -120, 14, 160, -208, -32, 338, 174, -292, -16, -138, -136, 64, 315, 46, -8, -48, -54, -296, 272, 36, 104, 174, 48, 24, -104, 220, 48, -104, -20, -312, 34, 264, 126, 56, 52, 332, -44, -194, -296, 8, 36, 518, -288, -6, 16, 112, -183, -176, -28, -42, -68, -144, 12, 192, -52, -80, 72, 78, 48, -464, 20, -68, -280, 348, 46, -96, 252, -48, 32, 248, -82, 4, -44, -264, -104, 204, -2, 351, -100, 52, -48, 214, 260, -176, 58, -238, -102, -24, -44, -368, -10, -204, -16, 408, -96, 272, 54, -162, -72, 224, -12, 256, 54, 328, 200, 38, 128, -288, 48, 64, 8, -68, 170, 316, 160, -28, 56, 194, 20, -400, 8, 144, 144, 256, 24, -120, 106, -408, -24, 112, 172, -352, -32, -244, -216, -16, -72, -224, -296, -480, -3, 386, -222, -872, 337, 508, -24, 54, 52, -48, -48, 168, 160, -212, -168, -600, 38, 136, 132, -260, -106, -56, -76, 156, 144, -168, 8, -176, -56, -506, -160, 116, 14, -312, -238, -208, -40, 52, -176, -288, 30, -46, -352, -224, -40, 4, 72, -304, -4, 102, -14, 440, -168, 284, 20, 280, -88, 216, 110, -520, 40, 98, -96, 96, 1, -130, -336, 16, 44, -504, 40, 188, 26, 5, -50, 40, 36, 166, 0, 32, -24, 158, 218, 20, -112, 254, -188, -440, -72, -348, -224, -72, -52, 56, -208, -80, -24, -6, -83, 260, 142, -288, 32, 160, -74, 256, 260, 172, 88, 76, -208, -164, 40, 112, -4, -272, 70, -272, 288, -192, -72, -68, -442, -248, 184, -466, -224, -236, 14, -96, -6, 92, 32, 148, -108, -144, -16, -82, -456, -276, 10, -256, 104, -248, 307, -106, -320, -288, -118, 66, -112, 100, 132, -668, 182, -252, -96, -464, -336, 8, 50, 100, -238, -264, -112, 48, -72, -120, -8, 26, 222, 608, -36, -334, -128, -404, -28, -128, 24, 192, 182, 64, 296, -368, -24, 64, -64, -88, 224, -214, -344, -72, 8, 420, 10, -256, -22, 88, 80, -184, 39, 72, 70, 184, 40, 112, 368, -136, 12, -390, -152, 80, 0, 408, 24, -112, -13, 717, -444, -184, 56, -162, -312, 304, -20, 494, -76, -152, 120, 190, -44, 44, 38, 252, -200, 106, 108, 376, -360, 360, 16, -352, 148, 128, -6, -112, 16, 88, -152, 336, 166, 40, 16, -316, -6, 376, -4, -214, -344, 144, -18, -270, 144, -512, -48, -212, -2, 312, -16, 198, -376, 76, 42, 52, -8, 324, 272, -98, -128, -400, -68, 242, -144, -184, 60, -392, -312, -56, -2, -408, -568, 264, 315, 178, 228, -104, -94, -320, 278, -508, 212, 266, 96, 24, -40, 296, -411, -76, 84, 24, -208, 96, 40, -164, 326, 356, -92, -172, -136, 112, 20, 176, 40, -124, 82, -8, 484, -32, 28, 90, 56, -60, 136, 280, 88, 260, -8, -42, -300, -616, 14, 358, 20, 112, -72, 144, 152, 24, 112, -56, 8, -336, 16, 0, 144, -192, -84, 96, 56, 252, -128, 372, -426, -312, 140, -180, -72, -16, -2, 309, -166, 4, 72, 174, -264, 72, -56, 240, 44, 4, 160, 784, -24, -168, 8, -132, 114, -55, 88, -600, 40, -68, -86, 584, -150, 56, 60, 294, 296, -80, 50, 282, -32, 296, 166, -90, -14, 12, 216, -448, 24, -216, 48, -372, 48, 148, 25, -336, -76, 356, 104, -130, -204, 308, -2, 44, -108, 228, -264, -296, -288, 132, 20, -164, 292, 212, 50, -232, -24, -208, 96, 488, 66, -224, 16, -10, -88, -952, 337, -74, -182, 376, 122, 16, 160, 44, -240, -142, -104, -44, 80, 62, 136, 20, -26, -1152, 186, 40, 174, 22, 28, -232, 0, -64, -360, 44, 104, 614, -280, 232, 32, -512, -44, 160, -78, 262, 144, 528, -68, 40, 150, -128, 16, 160, 240, -436, 40, -484, -328, 312, -24, -64, 60, -96, 160, -474, -26, -280, -24, -368, -288, -96, -2, -484, 82, 212, -8, -62, 32, 144, -12, 496, -96, -116, 140, -320, -184, -48, -32, 477, 199, -456, -66, -276, -272, 16, 9, -300, 90, 78, 136, -34, 264, -696, -2, 362, 40, 292, -6, -1160, -208, -216, -20, -352, -98, 224, -16, 422, 74, 344, 76, 836, -6, 8, -248, -444, -160, 228, -64, 30, -352, 300, -148, -224, -264, -232, 16, 24, -428, 104, -54, 206, 280, -536, -40, -586, 424, -376, -88, -10, 40, 224, 70, 76, 50, -412, -4, -672, 304, 136, -52, 222, 130, -1176, 104, -72, -160, 180, -16, 208, 82, -144, 279, -220, -148, -64, -44, -248, -528, -296, 76, -350, -288, -336, 112, -278, 64, -232, 244, -420, 580, -124, 48, -632, -48, 428, 116, -338, -216, -592, 4, -176, -464, -72, -86, 352, -8, -512, 83, -62, 92, 128, -168, 14, 48, 56, -22, 556, 428, 276, -8, 566, -104, -984, -12, -328, 230, 136, 160, -248, -488, 392, 4, -78, -272, -232, 126, 192, -776, 4, -54, -408, -40, 144, -40, -392, -40, -224, 56, -584, -240, -18, -46, -412, 40, -484, 24, 743, 114, 80, -36, 60, -400, -784, -10, -812, 298, -460, 64, 270, -9, 172, 26, -884, -180, -260, 12, -240, -248, -116, 166, -226, 170, -364, 0, 6, -240, -428, -144, 4, 170, -296, 156, -280, -344, -640, 20, -182, -400, 16, 216, -360, -204, 432, -40, -32, 308, -13, 63, 122, 72, -536, -24, -1248, -38, -296, -34, 152, -64, -64, -128, -450, -176, -344, -60, -520, -576, -58, -8, -36, -335, 248, -76, -792, -196, 536, 42, -56, 124, 108, 192, -50, -248, -696, 295, -324, -16, -424, 36, -128, -296, -692, 12, -204, -200, -240, 64, -470, -1104, -136, -10, 64, -198, -320, -40, 32, 104, -312, 110, -524, 126, 160, 212, -752, -240, 200, 40, -528, -204, -768, -12, 10, -440, -176, -14, -148, 296, -4, 312, -304, -296, -560, 40, -244, -112, -304, -64, -1116, -432, 48, -168, -2, -2, -176, -104, 38, -448, -180, 156, -392, -88, 148, 24, -204, -152, 80, 116, -78, -240, -56, -8, -104, 10, -536, 64, 106, 66, -192, 148, 168, 148, 28, -8, 601, 110, 220, -44, -58, -544, -720, -48, -8, -238, 1056, 190, 464, -88, -244, -24, -308, 226, 388, 8, -172, -16, 88, 1, -764, 230, -248, -40, 78, -40, 104, 34, 526, 136, -352, -136, 330, -272, -308, 144, 112, -230, 944, 120, -714, 96, -62, -144, 576, 36, -380, 80, 128, 440, 256, 68, 362, -416, 44, 122, -824, -96, -596, 94, 106, -40, 392, -92, -16, -360, -240, -8, -442, 202, -624, 24, 104, 244, 332, 56, -180, -426, 452, 8, -88, 22, 168, 8, -50, 192, -496, 479, 556, -136, 48, -100, -328, -82, 472, 92, -400, 288, 520, 12, -158, -80, 140, 156, 560, -168, -152, -48, 182, 166, -256, -232, -506, -752, -336, 8, 48, 332, 90, 88, -8, 324, -404, -74, -178, -8, -232, 12, -96, -216, -712, 120, -150, -64, 120, 38, 100, 8, 240, -88, -166, -192, 80, 212, -228, -336, -144, 18, -168, 17, 108, -108, -424, -500, 280, -144, 80, 62, 240, 100, 280, 144, -656, 126, 200, 186, -328, -46, -132, 192, -416, 44, -32, -16, 4, -30, -362, -304, 560, -8, 471, 32, 248, 24, -130, 336, -160, -10, 1132, -218, -152, 168, -542, -16, -182, 20, -266, -80, 544, -62, 184, -48, -264, -168, 424, -170, 192, 128, -50, 456, -228, -16, -120, 60, -320, -64, -60, 232, -184, 106, -348, 92, -104, -132, 528, -112, 104, 64, -156, 226, 64, -84, -24, 272, 352, -56, 152, -208, -128, -52, 390, -32, 684, -56, -694, -288, 240, -230, -488, 232, 520, 32, 270, -200, 328, -48, -4, -168, -228, 72, -368, -236, -248, -72, 22, -144, -48, -112, 190, -40, -27, -12, -456, -712, -148, 323, -92, -238, -96, -10, -90, 640, 504, -77, -10, -44, -128, -168, -200, 46, 120, -20, -12, 488, -528, -56, -88, -100, -328, -144, -44, 148, 208, 168, 6, 152, 16, 10, 48, 296, 124, -188, -346, 360, 384, 94, 336, -168, -372, -176, 94, 280, -96, 28, 388, -280, 56, 0, -130, -152, -528, -24, -120, -322, 288, -188, -872, -208, 460, 38, 104, 32, 180, -250, 440, 44, -60, -32, -6, -180, 176, -136, 290, 392, -128, -30, -268, 50, 520, -176, 6, 8, -952, -96, 154, 12, -168, -16, 40, -352, -20, 80, 555, 402, -64, 50, -632, 248, -56, -80, -480, 268, -208, -196, -40, -144, -152, -24, -638, -8, 240, -274, 1038, 200, -24, 0, 574, -58, 192, 136, 48, -128, -160, -1, 40, 186, -344, 184, 66, 184, -28, 4, 622, 232, 600, -120, 240, -200, -436, 14, 264, 471, -80, -46, -32, -272, 200, -4, 336, 154, -196, -328, -640, -288, -208, -8, -1008, -206, -144, 14, 832, -20, -296, -52, 562, -258, -476, 112, 82, 288, 680, -56, -496, -244, -664, 64, -360, 248, 880, -8, -8, 160, 72, -160, 54, 432, 504, -40, -64, -454, 344, 455, 108, 260, 112, -230, 72, 16, -368, 48, 204, -368, 760, -62, 552, -168, 296, 100, 424, 180, 48, -120, -22, 12, 148, 52, -150, 136, 4, -72, 766, -48, -408, 16, -164, 200, -496, 82, -376, 36, 132, -32, 160, 24, -124, 40, -636, 36, -496, -26, -322, -304, 372, -128, 312, -34, -560, -208, 910, 160, -1048, 14, 116, -280, 384, -94, 16, -56, 440, 120, -64, 196, -312, 104, -296, -128, 624, 24, -128, 330, 220, -408, -380, 556, -48, -2, -176, -664, 160, -160, 608, -152, -580, 41, -658, 106, -560, -112, -450, -152, 32, -70, -343, -82, 10, -144, 28, -96, 104, -36, 406, 444, 352, -242, -616, 40, -536, 24, -454, -40, -224, 0, 22, 80, 384, 42, -384, 580, 272, 262, -168, 264, 596, 56, -186, -272, -128, -236, -594, -336, -144, 16, -20, -110, -888, 230, -530, 480, 140, -76, 252, 698, -680, -96, -288, 8, -632, 12, 526, -96, -284, 0, 232, -336, 544, -50, -56, 48, 816, -192, -260, -432, -276, -88, 248, 64, 276, -40, 258, -248, 104, 32, 232, 54, 244, -88, -96, -80, 160, -24, -182, -132, -24, -102, 254, 848, -176, -14, -200, 40, -184, -248, -300, 544, -816, 269, 364, 32, 136, -146, -240, -120, -352, -164, -254, 296, -592, -288, -136, 168, -120, 84, 496, -94, -240, -536, 650, -244, 448, -64, -62, -8, -52, -228, -288, -168, -952, -3, -72, 15, 872, 164, 614, 240, -14, 24, -108, 22, 168, 256, 22, 320, 0, 4, -194, 402, 132, 124, -192, 112, -256, -192, 224, 18, 340, 20, 88, 344, 80, 14, 128, 84, 360, 160, -88, -26, 888, 68, -370, 32, 376, -232, -104, -520, -148, -32, -452, -120, 600, -108, -354, 32, -100, 118, -60, -112, -192, -264, -266, -96, -764, -44, -382, 344, -436, -22, 264, 328, -152, -200, 325, -284, -288, -38, -188, 248, 384, 4, 862, -30, -4, -32, -384, 288, -364, -14, -98, -138, -208, 96, 976, -304, -90, 64, 650, -444, -312, -18, -142, -112, 240, -184, 296, -182, 124, -220, 380, 80, 1336, -22, 912, -84, 328, -168, -514, 140, -568, -104, 222, 406, -424, -240, -14, 368, 736, 68, -584, 202, -120, -424, 72, 384, -56, -48, -206, -768, 48, -252, -320, -648, 152, 22, -248, 288, 436, -144, -164, -608, 216, 1, 0, 146, 292, -264, -128, 112, -112, -50, -594, 112, 120, 298, -896, 324, 232, -144, -472, 246, 210, 44, -202, -536, 544, 16, 20, 80, 392, 275, 518, 84, 1112, 116, 344, 156, -80, -160, 26, -8, 252, -16, -212, -196, -40, -10, -80, -276, 192, 64, 168, 340, 332, -352, -4, 416, 136, 16, -40, 120, 1368, 136, -408, -508, -120, 194, 74, 72, 48, 48, 102, 360, -176, -116, -464, -78, 124, 24, 420, 172, -472, 136, 158, -216, 600, -96, 0, -472, -536, 56, 596, 18, -164, -228, -304, 224, -90, -114, 408, -122, 312, -300, 874, 400, -8, 24, -172, 416, -464, -488, 750, -492, -116, -104]