# Trace form for 6018.2.a, downloaded from the LMFDB on 16 April 2024.
[0, 153, 1, -3, 153, 6, 1, 0, 1, 153, 6, 12, -3, -2, 8, -2, 153, 1, 1, -12, 6, -16, 4, 8, 1, 159, -2, -3, 0, 30, 6, -8, 1, 4, 1, 0, 153, -34, 4, -26, 6, -22, 8, -4, 12, 6, 8, -64, -3, 169, -1, -3, -2, 38, 1, -24, 8, -12, -2, 1, -2, 6, 0, 0, 153, 36, -4, 36, 1, 16, 48, 8, 1, 50, 38, 3, -12, 48, 6, 24, 6, 153, -22, 68, -16, -10, 12, 6, 4, 58, 6, -16, 8, -40, 16, 40, 1, -22, 57, 12, 159, 6, 1, -56, -2, -16, 6, -20, -3, -42, 24, -50, 0, 50, -28, 0, 30, -2, 1, 8, 6, 117, 46, -14, -8, 12, 8, -32, 1, -44, 36, 4, 4, 16, -12, -2, 1, -54, 8, -52, 0, 16, 24, 24, 153, 20, 10, -43, -34, 22, 31, -24, 4, 1, 64, -48, -26, -66, 48, -10, 6, 32, 1, 52, -22, 40, 20, -200, 8, 143, 6, -12, -4, 78, 30, 16, 12, -3, 50, 52, 6, -50, 0, 6, 8, -28, -8, 4, -64, -16, 8, 16, -3, -30, 34, 20, 169, -170, 4, -64, -1, -4, 46, 64, -3, 76, 8, 8, -2, 32, 48, -20, 38, -88, 60, 184, 1, -96, 62, 2, -24, -18, 22, 48, 8, 159, 26, -156, -12, 86, -32, 48, -2, 42, -2, 80, 1, 24, 8, 32, -2, 82, -91, -3, 6, -90, 42, -88, 0, 4, 60, -100, 0, 96, 80, 6, 153, -158, 20, 112, 36, 30, -84, 104, -4, -108, -48, 10, 36, -50, 6, 48, 1, 16, -70, 52, 16, -18, 28, -8, 48, -38, 16, -172, 8, 56, 88, 0, 1, 153, -44, -54, 50, 22, 25, 6, 38, 4, 46, 128, 3, -176, -40, 38, -12, -44, 1, -44, 48, 16, 176, 8, 6, 50, 62, 0, 24, 94, 22, -40, 6, -4, 64, 4, 153, 82, -28, -10, -22, -16, 24, -36, 68, -34, 120, -72, -16, 42, 183, 10, -10, -112, 4, 48, 12, 80, -34, 140, 6, 78, 88, -26, 4, 146, -15, -128, 58, 0, 20, 104, 6, 245, -74, 17, -16, 172, 14, 88, 8, -22, 100, 16, -40, 94, -4, -84, 16, 36, 8, -68, 40, -96, -16, 192, 1, 160, 98, -4, -22, 86, -28, -16, 57, -52, 118, 80, 12, 70, 152, -16, 159, 2, -20, -48, 6, 6, -48, 264, 1, -118, 76, 18, -56, 8, 8, 8, -2, -92, 32, 100, -16, 102, 36, -64, 6, 31, 40, -224, -20, -40, 72, -32, -3, 58, 32, -60, -42, 48, -6, -32, 24, 169, -2, 12, -50, -180, -80, 22, 0, 82, -1, -168, 50, -48, -4, -208, -28, 58, 38, -3, 0, -114, 0, -128, 30, 64, -126, -28, -2, -32, 32, -122, 1, 144, 48, 12, 8, 38, 80, -48, 6, -124, -110, -96, 117, -84, 1, 32, 46, -36, -42, 28, -14, -2, 104, -24, -8, 96, -12, -204, 12, -72, -84, -104, 8, -76, 112, -101, -32, -18, 6, -192, 1, -12, 146, -112, -44, 32, -64, 86, 36, -150, -2, -84, 4, -80, 72, -48, 4, 89, -124, 1, 16, -116, 18, -440, -12, 100, 94, -276, -2, -26, -144, -146, 1, 20, 16, 84, -54, 6, 60, -152, 8, -144, -122, -156, -52, 238, 0, -40, 0, 12, -6, -172, 16, -100, -36, 0, 24, -6, 40, -124, 24, 96, 80, -200, 153, 106, 1, -118, 20, -224, 50, 72, 10, 36, 54, -196, -43, -48, 6, -2, -34, 50, -4, -16, 22, 16, -80, -88, 31, 2, -32, 36, -24, 30, -66, 88, 4, 96, 132, 160, 1, -26, 36, 28, 64, 250, 8, 12, -48, 16, 104, -32, -26, 53, 90, -80, -66, 22, 48, -248, 48, 28, 46, -32, -10, 126, 104, 8, 6, 66, 28, -172, 32, -72, 4, 360, 1, -28, 2, -32, 52, -2, 14, -152, -22, 50, 80, -76, 40, -18, 76, 6, 20, -208, 38, -32, -200, 80, 72, -104, 8, -6, 34, 3, 143, 6, -46, 32, 6, -68, 80, -132, -12, -36, 16, -50, -4, -124, 48, -196, 78, 48, -108, -232, 30, -46, 110, -62, 16, 302, 6, -184, 12, -16, -134, -16, -3, -2, -96, 24, 50, -320, 8, -48, 52, -136, -40, -384, 6, -144, 157, 74, -50, 18, -59, 136, 0, 153, 76, 12, 6, -74, 16, 14, 8, 80, -22, -92, -28, -136, 96, -264, -8, 180, 102, 68, 4, -96, 60, -216, -64, -180, 52, -352, -16, 174, -36, 48, 8, 26, 32, -160, 16, -10, 128, 14, -3, 34, 16, -134, -30, -106, 12, -40, 34, 64, 134, 264, 20, 16, -24, 6, 169, 132, 84, -204, -170, 80, -160, -208, 4, 52, 110, 84, -64, -50, -48, 16, -1, 58, -38, 24, -4, -208, -128, 6, 46, 234, 6, -124, 64, 32, 40, -40, -3, 384, -118, -16, 76, 22, -22, -80, 8, -116, -16, 140, 8, 38, 168, 30, -2, 57, -100, -80, 32, -40, -180, -328, 48, 135, 38, -94, -20, 282, 16, 256, 38, 20, 31, -64, -88, -114, -176, 40, 60, 154, 56, -84, 184, -48, -80, -32, 1, -108, -14, -3, -96, -160, -44, -88, 62, -22, -96, -272, 2, 54, -120, -58, -24, -286, 57, -44, -18, 6, 44, 152, 22, -80, 60, 12, 48, -288, -2, -344, 8, -160, -174, -256, 159, -10, -136, -112, 26, -140, 56, 12, -156, 6, -288, -112, -12, -112, -22, 36, 86, -80, 1, -232, -32, -124, -162, -256, 48, -110, 32, -56, -2, -46, -128, 20, 42, -120, -12, -24, -2, -6, -272, -78, 80, -34, -186, 32, 1, -16, 16, 164, 24, -244, 12, 6, 8, -326, 6, -160, 32, 120, -176, -320, -2, 89, 308, -20, 82, -68, 48, 8, -91, -44, -116, -228, -3, -176, 24, -166, 6, 354, -60, -200, -90, -42, -84, -168, 42, 20, -2, -192, -88, 112, 24, -24, 0, 156, -80, -288, 4, -50, 36, -50, 60, 64, -56, -7, -100, -168, -280, 200, 0, -22, -108, -22, 96, 38, -9, 432, 80, 50, -74, 124, 6, -50, -192, -16, 153, -74, -28, -112, -158, 16, -32, -88, 20, -86, 128, 0, 112, 62, -18, -16, 36, -140, 26, -384, 30, 0, -36, -106, -84, -406, 24, -340, 104, -2, -16, -280, -4, -368, 105, 50, -108, 342, 1, -376, -48, 128, 156, 392, 10, -106, -296, 8, 36, 148, -124, 20, -50, 128, -220, -104, 6, -32, -194, -151, 48, -112, -74, -240, 1, 117, -188, 68, 16, -50, 20, -180, -70, 186, 46, -192, 52, -136, 24, 112, 16, -12, 64, -14, -18, 22, -236, 200, 28, 64, -82, 16, -8, 54, 152, -82, 48, 4, -4, 244, -38, 12, -204, 24, 16, -46, -52, -108, -172, -96, 8, 184, 8, -76, 34, 4, 56, -16, 44, -32, 88, 372, -96, 192, 0, 88, -152, 32, 1, 58, -30, 96, 153, 108, -94, -376, -44, -44, -48, -228, -54, 172, 40, 150, 50, 176, 36, -28, 22, -24, -52, -528, 25, 176, 96, 4, 6, 94, -10, 16, 38, -48, 2, 4, 4, 92, -48, -90, 46, -278, -40, -160, 128, 16, -56, -520, 3, -238, -198, 154, -176, -36, -12, 64, -40, 48, -34, 240, 38, 38, 96, -2, -12, 418, -48, 16, -44, -120, -144, -200, 1, 95, 6, -94, -44, -34, -212, -184, 48, -54, 218, -192, 16, -2, -68, 8, 176, 58, 8, -232, 8, -8, -96, 360, 6, 82, -83, -52, 50, -208, 0, -40, 62, -116, -34, -132, 0, 12, -280, -50, 24, -304, -4, 80, 94, 16, 96, 208, 22, -112, 270, -61, -40, 142, 24, -128, 6, 64, 50, -428, -4, 412, 4, 24, 64, -182, -24, -356, 4, 120, 40, -64, 153, 522, 12, -214, 82, -378, -160, -240, -28, 20, 62, 316, -10, 96, 88, 128, -22, 20, 10, -560, -16, 16, 84, 56, 24, 18, -90, -43, -36, 330, -26, -208, 68, 140, -64, 504, -34, -176, 16, -68, 120, 80, 96, 0, -72, 22, -312, -48, -16, -236, 226, 42, 42, -464, 31, 160, 183, 88, 70, 64, 10, -8, 16, -24, -10, 2, 36, 16, -112, 48, -108, -376, 4, 367, 268, -110, 48, -162, 94, 96, 12, 1, 164, -208, 80, 54, 20, 78, -34, -92, 64, 648, 140, -104, -136, -280, 6, 256, 42, -48, 78, 288, 26, -192, 88, 100, 70, 48, -26, -180, -72, 0, 4, 226, 64, 20, 146, -66, -112, -216, -15, 100, -10, 160, -128, -274, 48, -504, 58, 44, 32, 180, 0, 198, -64, -10, 20, -454, -64, -16, 104, -48, -128, -448, 6, -96, -32, -76, 245, 6, -62, -168, -74, 32, 82, -356, 17, -178, -216, 204, -16, 448, 1, 140, 172, 32, 12, -192, 14, -92, -34, 52, 88, -308, -58, -96, 8, 60, -272, -33, -22, -304, -316, 30, 100, -86, -40, 492, 16, 40, -8, 16, -40, -70, 244, -128, 94, 374, 20, -144, -4, 44, 352, 172, -84, -48, -144, -200, 16, -176, -68, -248, 36, 32, 80, -216, 8, -22, -106, -140, -68, 620, -240, -136, 40, 143, 186, 436, -96, -54, -64, -82, -16, 352, 6, 76, 192, 16, 14, -296, 1, -76, -30, -12, 160, 384, 114, -248, 98, 48, -98, 64, -4, 54, 0, -208, -22, 210, 112, 0, 86, 78, -184, 136, -28, 320, -208, -94, -16, -804, 30, 88, 57, -180, -332, -252, -52, -426, -92, 16, 118, 48, 104, 428, 80, 32, -240, -144, 12, 324, -124, 101, 70, 128, 4, -136, 152, -3, 150, 368, -16, -26, 16, 60, 159, -78, 50, -144, 2, -56, -8, 392, -20, -342, -144, 52, -48, 398, 206, -56, 6, 4, -62, 52, 6, -82, -388, -58, -48, 136, -16, 68, 264, -50, -120, 176, 1, 112, -144, -220, -118, -26, 0, 296, 76, 108, -362, -336, 18, 256, -56, 6, -56, -30, -172, -32, 8, -120, -84, -200, 8, 354, 62, 0, 8, 160, 150, -184, -2, -28, 57, 564, -92, -194, -64, 318, 32, 304, -8, 124, 100, -40, -152, 96, -16, -213, 135, 4, 102, 76, 90, 208, 36, -172, 234, 440, -64, -122, -216, 124, 6, 354, -252, 244, 31, -16, -96, -24, 40, -368, -282, -86, -224, -850, 8, -34, -20, -332, -158, 320, -40, 22, -116, 16, 72, 74, 160, -452, -32, 336, -208, 136, -3, -208, -204, -6, 58, -266, 1, -56, 32, -30, 144, -256, -60, -74, -40, 160, -42, 100, 34, 180, 48, 8, 32, -88, -6, -294, 318, 20, -32, -176, 150, 32, 24, 188, -70, -24, 169, 828, 52, -144, -2, 84, 6, 496, 12, -170, -152, -360, -50, -294, -160, 122, -180, 476, 4, 24, -80, 16, -128, -52, 22, 54, -120, -64, 0, 224, -48, 80, 82, 0, 240, 0, -1, 26, 54, -158, -168, 14, -112, 72, 50, -4, 420, -60, -48, -18, -116, -106, -4, -224, 46, 12, -208, -8, 272, -32, -28, 542, -272, 64, 58, -64, 84, -64, 38, 160, 96, 128, -3, -16, -40, -114, 0, 336, 100, -296, -114, 76, -112, 248, 0, 453, 10, 130, -128, 78, 8, -80, 30, 212, -6, 84, 64, -42, -620, 8, -126, -300, -56, 564, -28, 144, 40, 0, -2, -150, -134, -103, -32, 470, -150, -104, 32, 32, 238, 48, -122, 472, 384, 38, 1, 290, 48, 224, 144, -40, 36, -168, 48, 64, -196, -20, 12, -178, -82, 440, 8, 112, 10, 132, 38, -32, -240, -138, 80, -710, -56, -416, -48, -88, -256, -88, 6, -38, -63, -134, -124, 704, 60, 544, -110, -148, 92, -276, -96, -442, -120, 184, 117, -76, 20, -48, -84, 32, 44, 280, 1, -268, 64, 12, 32, 62, -246, -416, 46, -96, -6, 112, -36, 336, -280, 134, -42, -508, 62, 320, 28, 216, -184, 240, -14, 416, -156, 2, -2, -346, 80, -520, 104, 36, -96, 28, -24, 480, -160, -210, -8, 180, 156, 372, 96, -18, -224, -136, -12, 162, 102, 352, -204, 350, 22, -456, 12, 176, -96, 228, -72, -228, 1, 48, -84, 10, 88, 284, -104, 24, -24, 0, 8, 698, 162, 106, -76, 336, 18, 0, 112, 159, 294, -324, -101, 630, -720, 94, -32, 256, 26, 48, -18, 16, 60, -104, 6, 548, -226, -156, -192, -68, 160, 80, 1, -28, 38, -192, -12, -346, 176, 28, 146, -11, -32, 256, -112, 86, -280, 80, -44, 48, 42, 356, 32, 230, -32, -40, -64, -36, -42, 844, 86, -192, 80, 48, 36, 50, 284, -412, -150, -8, -160, 72, -2, -326, -128, 18, -84, 208, -42, 72, 4, 42, 154, -204, -80, 416, -340, -162, 72, 180, -2, 108, -48, 216, -232, 96, 4, -126, 224, 80, 89, 364, 138, 8, -124, -192, 166, -216, 1, 12, -344, 222, 16, 242, 128, 516, -116, 24, -264, 464, 18, -62, -146, 128, -440, 526, 8, -384, -12, -384, 100, -72, 100, -464, 292, 32, 94, -470, -120, 0, -276, 24, -264, -48, -2, -62, -320, -160, -26, -324, -3, 232, -144, 82, -96, 144, -146, -84, -224, 170, 1, 0, -91, 492, 20, -104, -12, 38, 16, 16, -74, -3, 84, 192, 92, -16, -54, -44, -358, 32, 6, 524, -432, -314, 60, -224, 72, -324, -152, -90, -80, 0, 8, -55, 20, 80, -144, -138, 42, 152, -122, -148, 430, 208, -156, 454, -760, -88, -52, 582, -64, -36, 238, 168, -272, 16, 0, -576, 238, -12, -40, -130, -266, 360, 0, 4, 20, 68, 12, -260, -380, 384, -6, 532, 60, 60, -172, -408, 520, -944, 16, 532, -86, -100, -100, 32, 68, -480, -36, 352, 240, 780, 0, -10, -168, -114, 24, 290, -52, -16, -6, 96, -12, -168, 40, 34, 144, 66, -124, -292, 80, 224, 24, -96, -556, -16, 96, 430, -128, 6, 80, 618, 192, -188, -200, -34, -32, -352, 153, -108, 66, -70, 106, -122, 96, -216, 1, -158, -308, 352, -118, 688, -440, 246, 20, 32, 20, 32, -224, -296, 132, -328, 50, -86, 108, 112, 72, -34, 102, 296, 10, 232, -160, 356, 36, 254, -140, -16, 54, 288, 0, -404, -196, 30, -448, -160, -43, -428, -80, 84, -48, 150, -84, 128, 6, 76, 494, 60, -2, 256, -136, 104, -34, -304, 176, 20, 50, 304, -12, -944, -4, 90, 396, -60, -16, 366, -114, 72, 22, -108, 258, 432, 16, 110, 112, 14, -80, 362, -48, 320, -88, 0, -120, 64, 31, 329, -110, 10, 2, 632, -46, 584, -32, 184, 108, 236, 36, -80, -72, 96, -24, 130, 144, -54, 30, -50, -64, -72, -66, -106, -226, 2, 88, 672, 6, 56, 4, 148, -374, -208, 96, 478, -256, 48, 132, -118, 168, -32, 160, -168, -72, 592, 1, -240, -217, -112, -26, 80, -6, 600, 36, 16, 94, -84, 28, -112, 0, 286, 64, 180, -70, 404, 250, -32, -48, 400, 8, 106, -106, 52, 12, 174, 8, -168, -48, 220, -54, -544, 16, 352, -472, -202, 104, 192, -72, 304, -32, -18, 280, 72, -26, 368, -238, -43, 53, 172, 28, 8, 90, -128, 112, 64, -80, 332, -344, -8, -66, 608, -60, 0, 22, -48, -180, -536, 48, -110, -116, -85, -248, 938, -258, 64, 48, -38, 48, 84, 28, 102, -464, 18, 46, -36, 16, -396, -32, 16, -656, 464, -10, -108, 432, -172, 126, 582, 31, -264, 104, 160, 134, -432, 8, -106, -32, -274, 6, 692, -128, 328, 66, 56, 68, 56, 28, 224, -228, -30, -172, -64, 88, -936, 32, 148, -158, 596, -72, 716, 44, 0, 4, -64, 48, 64, 360, -80, 224, 0, 1, -350, -174, 308, -28, 886, 50, 592, 2, 153, 182, 152, -32, 236, -296, -128, 52, -126, -44, 16, -2, -104, -180, -424, 14, 226, -96, -54, -152, 558, 80, 664, -22, 32, -268, 416, 50, -688, 80, 150, 80, -6, -104, 144, -76, 22, 40, 736, 40, -304, -182, -54, -18, 486, 25, 720, 76, -492, -70, -120, 6, 800, -48, 6, 20, 1186, -52, -204, -208, 0, 216, -8, 38, 632, -368, -64, -32, -98, -372, -288, -200, 4, -240, -700, 80, 430, -176, 64, 72, 16, 46, 316, -104, -120, 64, -176, 8, 250, -236, 128, -6, -42, -30, -232, 34, 48, -64, 220, 3, -372, 112, 54, 143, 20, -56, 84, 6, -176, -384, 200, -46, 482, 24, 308, 32, 800, -40, -640, 6, -140, 162, -160, -68, -406, -160, 38, 80, -54, 80, -516, -132, 112, 104, 296, -12, 96, -225, -96, -36, 342, -86, -504, 16, -44, -82, -136, -50, -474, 176, 112, -4, 66, 1, -592, -124, -112, -352, -96, 48, 416, -58, -44, -196, -768, 142, -112, 78, 80, 132, -28, 48, -32, -424, 210, -108, 378, -112, 208, -232, 16, -56, -488, 30, -28, -256, -86, -46, -346, 176, -496, 110, -12, -656, 272, -62, -434, -312, 8, 16, 114, 148, -268, 302, -40, 112, -480, 6, -409, 92, -222, -184, -68, -48, -248, 12, 50, -310, -316, -16, 512, 84, 198, -134, 654, 62, 72, -16, 16, -232, -536, -3, 18, -316, 0, -2, 262, 80, 160, -96, -236, 174, 12, 24, 428, -112, 188, 50, -208, -308, 36, -320, 94, 340, 392, 8, -126, 102, 98, -48, 14, 22, -336, 52, -144, -182, 192, -136, 128, -240, -40, -40, 119, -224, 432, -384, 304, 224, -192, 6, 496, 336, -291, -144, 12, -44, -288, 157, -4, 6, 57, 74, -704, 392, -100, -50, 498, 64, -560, 18, -176, -20, -520, -59, 480, 174, 4, 136, 670, 188, 336, 0, 108, -432, -624, 153, 126, -476, -432, 76, 288, 40, 464, 12, 82, -416, -256, 6, 388, -348, 50, -74, 704, -28, -344, 16, 136, -4, -84, 14, 54, 384, -10, 8, 0, -116, 352, 80, -464, 31, -184, -22, -22, -96, -140, -92, 158, 14, -120, -28, -16, 306, 148, -136, 92, 348, -32, 96, 74, 24, 204, -264, -168, -464, 168, -8, -876, 242, -36, 180, -336, 320, 136, 102, 32, -10, -176, 68, -154, -208, 30, 4, 436, -188, -288, -96, -34, -108, -104, 60]