# Trace form for 4018.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 138, 0, -2, 138, 0, 2, 0, 0, 146, 4, 10, -2, 10, 0, 12, 138, 8, 16, 14, 0, 0, 6, 0, 2, 142, 10, 4, 0, 2, 4, -8, 0, -8, -4, 0, 146, -60, 2, -8, 4, 4, 0, -16, 10, -24, -8, -16, -2, 0, 24, 4, 10, -10, -4, -4, 0, -56, 10, -4, 12, 8, 0, 0, 138, -28, -8, -46, 8, -16, 0, -4, 16, 40, 0, -6, 14, 0, 0, 0, 0, 186, 2, -16, 0, 72, 0, 48, 6, -60, 44, 0, 0, -40, 0, 76, 2, 16, 0, 66, 142, 18, 20, 24, 10, 0, 14, -8, 4, -10, 12, 36, 0, 24, 40, 24, 2, 50, 36, 0, 4, 210, -4, -2, -8, -24, 0, 0, 0, 40, 52, 20, -8, 0, -34, -104, -4, -96, 32, 12, 0, -84, 36, -48, 146, -20, 4, 0, -60, 22, -10, 4, 2, 88, 0, -152, -8, 10, -24, -40, 4, 0, 56, -64, 4, -112, 32, -52, 0, 154, 40, 30, -16, -64, -56, 0, 10, -176, 56, -26, -24, 30, 0, -36, -8, 40, -16, -52, -16, 0, 20, -68, -2, -48, 28, 24, 0, 24, -2, 24, 24, 32, -14, 0, 4, -4, -24, -168, 10, -16, 0, -94, -10, 52, 8, -120, -4, 0, -2, 76, -4, 60, -20, -48, 0, 198, 60, -50, -56, 38, 32, 0, 10, -100, -78, -144, -4, -52, 0, -68, 12, 64, 32, 90, 8, 0, -6, -8, 0, 40, 24, -52, 0, -128, -24, 32, 138, 4, 40, 0, -28, 26, -44, -88, -8, -92, 0, -148, -46, -108, -8, 40, 8, 0, -12, -194, -16, -60, -36, -64, 0, 68, 12, 60, -4, -80, -72, 0, 16, 70, -28, -76, 40, -18, 0, -136, 0, -72, -106, 88, -6, 0, 28, -72, 14, -56, 12, -20, 0, 176, -152, -124, 0, -96, 26, 0, 0, -154, -48, -96, 0, -24, 0, -100, 186, 78, 112, -128, 2, 0, -120, -98, -16, -268, -4, 60, 0, -132, 100, 36, 72, -64, 82, 0, 0, -24, 84, -54, 48, 16, 0, 0, 6, -108, 24, -136, -60, 0, -94, 72, 44, 18, -74, 22, 0, -64, 116, -16, 0, 12, 16, 0, -40, -84, -4, -104, 0, -20, 0, 76, 76, -48, 4, -20, 2, 0, 76, 16, 16, -112, 56, 48, 0, 216, -132, 64, 66, 22, 56, 0, 142, 168, -80, -48, 18, 16, 0, -20, 20, 52, -8, -44, 24, 0, 120, -232, 10, 224, -64, -40, 0, -110, 46, -72, 14, 184, 4, 0, -8, -40, -72, -296, 4, -40, 0, 64, -10, 16, -92, 76, 12, 0, 20, -28, 36, -40, -16, 72, 0, -228, 248, 2, 24, 252, -62, 0, 40, 112, 30, 0, 24, 76, 0, -152, 2, 208, -72, -84, 50, 0, 0, -216, 36, -40, -4, 74, 0, -74, 4, 32, 4, 12, -20, 0, 210, -104, -90, -128, -4, -56, 0, 36, -2, -92, 48, 60, -8, 0, 40, 46, -24, -4, 20, -32, 0, -20, -16, -54, 0, 62, 0, 0, 0, -96, 24, 120, 40, 84, 0, -244, 52, -56, 90, 0, 20, 0, -56, 136, -8, 226, 76, -124, 0, 6, 68, -136, -34, -8, 48, 0, -104, 24, -96, 192, -4, 52, 0, -58, -96, 8, -46, -104, 32, 0, 32, -88, 12, 10, 88, 8, 0, -208, 24, 138, -84, -56, -52, 0, 36, 152, 32, -90, -48, 20, 0, -200, 146, 28, 96, 188, -20, 0, 132, 72, 4, 76, -58, 70, 0, 32, 112, -84, -60, 100, 232, 0, 22, -140, -104, 56, -10, -28, 0, 42, 4, 64, 64, -168, 2, 0, 96, -248, 88, 40, -36, -20, 0, 396, 0, -28, -152, -64, 44, 0, -8, 346, 100, 200, 10, -128, 0, 24, -24, 64, 62, 136, -40, 0, -8, -452, 4, -176, -40, -30, 0, 384, -4, -8, 56, -256, 94, 0, -64, -126, 56, 160, 4, -64, 0, 94, -112, -104, 26, -80, 32, 0, 16, 192, -52, -128, -84, -20, 0, -88, 144, -68, 154, 16, -20, 0, 40, 80, 48, 214, 30, 120, 0, -344, -16, 28, -32, 114, -64, 0, -186, -200, -56, -20, -36, 92, 0, -428, -184, 212, 10, 32, -16, 0, -176, 50, 8, -216, 56, 16, 0, 208, -26, -220, -120, 76, -24, 0, -288, 140, 30, 350, 58, 84, 0, 218, 232, -32, -36, -216, -56, 0, -8, 48, 10, 32, 40, 112, 0, 96, -16, 52, 216, 8, -52, 0, -16, -140, -16, 32, -140, 80, 0, 202, -180, 64, 20, -232, -128, 0, -68, 560, -36, -160, -2, 84, 0, -92, -48, 174, 136, 144, 28, 0, -20, -2, 24, -204, 144, 40, 0, -356, -184, 60, 24, -356, -16, 0, -2, 140, 14, 232, 24, -172, 0, 288, 24, -204, 212, 324, 32, 0, -168, -172, -14, -200, 68, -44, 0, 288, -76, 96, 4, 56, 80, 0, -4, -20, 92, -252, -24, 152, 0, -234, -168, 96, -96, -268, 10, 0, -280, 160, -16, -560, -160, -120, 0, 130, -206, 12, -94, 160, -88, 0, -10, -464, -44, 72, 52, 96, 0, 60, 8, -12, -208, -92, -120, 0, -24, -152, -4, 360, 116, -294, 0, -20, 96, 64, -2, 80, -144, 0, 76, -148, -76, 576, -4, -216, 0, -74, 60, -152, 60, -144, -20, 0, 240, -134, -48, -68, -48, -44, 0, -232, 144, -24, 198, 4, 14, 0, 60, 36, -100, -44, -50, -134, 0, -328, -56, -32, -228, -128, 38, 0, 280, -156, 32, -488, 24, -32, 0, -36, -32, -288, 10, -104, -272, 0, -100, -12, 116, -144, -78, -84, 0, -340, -144, 72, -152, 24, -4, 0, 88, -116, -52, -108, -154, -192, 0, 116, -58, -136, -68, -72, -80, 0, 12, -142, 44, 240, 64, 176, 0, 176, 32, 144, 24, -58, 90, 0, 328, -336, 8, -216, 40, -92, 0, -226, 84, 24, -6, -104, 92, 0, -8, 16, 76, 4, 0, 16, 0, 0, 40, -14, 98, 440, 24, 0, -348, 216, -52, 184, 24, 32, 0, 176, -28, -108, -128, 246, -10, 0, -24, 200, 150, 50, 32, 132, 0, 104, 138, 4, 232, 224, 4, 0, 224, 60, 40, 16, -36, -104, 0, 240, 372, 196, -28, -56, 156, 0, 26, 80, 0, 20, -44, 140, 0, -194, -88, 250, 40, 140, -8, 0, -160, 404, -92, 184, 108, 52, 0, 40, -10, -76, -148, 146, 72, 0, -46, 380, -8, -192, -108, 128, 0, -104, -8, -40, -92, 238, 40, 0, -136, -200, 8, 490, 220, 116, 0, -58, 186, -296, -12, 80, -132, 0, -194, 112, -32, -184, -16, -24, 0, 28, -60, -200, 168, 80, -36, 0, -30, 336, -64, 468, 24, -172, 0, -48, -96, -100, 68, -352, 102, 0, 12, -176, -88, -304, 60, -56, 0, 292, -4, -136, 52, 20, -80, 0, 18, 264, -72, 428, -220, 32, 0, 324, 16, -68, 16, 296, 72, 0, 70, -12, 180, 12, -28, 160, 0, -78, -76, 48, 112, 284, 40, 0, -92, 192, -18, 248, 42, 32, 0, 280, 48, 172, -136, -112, 68, 0, 0, -128, 184, 384, -72, -18, 0, -72, -106, 272, -468, -224, 88, 0, 320, 152, -6, -372, 0, -492, 0, 336, 22, 32, 28, 128, -148, 0, -72, -570, 32, -148, 14, 180, 0, -288, -56, 248, -8, -44, 12, 0, 228, 356, -20, 396, 12, -192, 0, -312, 128, 40, 176, -326, 124, 0, -152, 40, -128, -28, -124, 232, 0, 200, 0, -100, 184, 324, -96, 0, 480, -448, 26, 248, 40, 10, 0, -308, -224, 160, 0, 464, -96, 0, -154, 40, -80, -16, -48, 72, 0, 308, -96, 226, 28, -64, 0, 0, 84, -366, -24, -24, 238, 96, 0, 36, -584, -224, -100, 40, -40, 0, 186, -56, 184, -692, 78, -126, 0, -408, 112, 76, 98, 44, -128, 0, -264, 200, 2, 236, 220, 64, 0, 116, -54, 56, -120, -156, -76, 0, -98, 10, 48, -336, -16, -120, 0, 204, -268, -40, -104, -160, -4, 0, -256, -168, 60, -34, 76, 184, 0, -408, 76, -276, -132, 148, 196, 0, 100, 48, 20, -584, 36, 0, 0, -420, 72, -148, -344, -360, -64, 0, 2, 348, 82, -98, 0, -36, 0, 288, -160, -88, 0, 216, 68, 0, -24, -238, -66, 60, 84, 56, 0, -108, -54, 148, 96, 72, 48, 0, -24, -560, 16, 376, -140, 176, 0, 368, -296, 112, 0, -224, 92, 0, 6, 64, -96, 192, -108, -94, 0, -40, 24, -164, -534, 224, -136, 0, -184, -484, -60, -480, 64, 104, 0, 274, -88, 232, -94, -332, -252, 0, 72, -204, 12, 120, 44, -80, 0, -248, 18, -48, -244, 36, -74, 0, 166, 536, 22, 12, 4, -64, 0, 136, 88, -162, -64, -24, -64, 0, 116, 380, -172, 8, -16, -308, 0, -632, 0, -24, 104, -372, 12, 0, -40, 208, 16, 44, -208, -242, 0, -728, -56, 272, -40, -16, 268, 0, -84, 294, 200, -232, -4, 152, 0, -252, -104, -340, -300, -348, 0, 0, 56, -244, -20, 324, -224, -32, 0, 224, 98, 40, 76, 40, 112, 0, 76, 106, 52, 302, -48, -392, 0, -176, 4, 64, -296, 46, -20, 0, -144, 728, 2, -500, 96, 54, 0, 304, -276, 36, 76, 0, 6, 0, 16, 272, -56, 272, 16, 20, 0, 56, -112, 176, -6, 32, 56, 0, -364, -460, 48, 192, -248, -8, 0, 288, -220, -158, 216, 362, -92, 0, -132, 320, -20, -324, 64, 8, 0, 512, 66, 196, -204, 446, 22, 0, -400, -336, 56, -480, -48, 192, 0, -160, -120, -48, 142, 484, -152, 0, 168, 856, 12, 48, -80, 64, 0, 486, -48, 82, -372, -200, 18, 0, 148, 168, 16, -10, -60, 188, 0, 360, 272, -102, -20, 294, -256, 0, 20, -32, -72, 416, 52, 30, 0, -376, -8, -128, 112, -88, -44, 0, -276, 280, 24, 552, -200, -8, 0, 504, -118, -188, 120, 96, 4, 0, -232, 252, 76, -80, 10, 72, 0, 38, 224, -62, -160, 16, -64, 0, -792, -698, -40, 64, -56, -144, 0, 138, -252, -164, -110, -192, -12, 0, 46, 264, -84, 396, -72, 122, 0, -248, 14, -4, 312, -544, 184, 0, -80, 96, 4, 200, 20, 132, 0, 214, -588, 8, -8, -384, -160, 0, -40, 284, -76, -356, -72, 152, 0, 4, -296, -16, -224, 304, 4, 0, 112, -420, -40, 30, 166, 108, 0, 560, 92, -320, 64, 194, 216, 0, -10, 120, -164, -300, 16, -216, 0, 152, -92, 84, 152, -336, 76, 0, -104, 216, 12, 616, 52, -8, 0, 184, -230, -192, 20, -164, 24, 0, -28, 488, 176, -132, 36, -188, 0, 60, -40, 116, -282, 88, -16, 0, 196, -254, 72, 98, -284, 448, 0, 144, 0, 40, -228, -456, 296, 0, 248, -100, -100, 316, 2, 176, 0, -368, 24, -248, 124, -338, 252, 0, 36, 468, -62, 456, -198, 496, 0, -448, 40, -172, 40, 24, -56, 0, 112, 448, 48, -288, 30, -176, 0, -312, 0, 180, 348, 460, 24, 0, -184, 196, 76, -60, -64, 160, 0, 90, -248, 324, -152, 44, -32, 0, 2, -328, 52, 438, 208, 4, 0, -464, -72, -64, -532, 158, -84, 0, -88, 160, 50, -40, 128, 30, 0, 304, 100, -52, 0, -360, -228, 0, -216, 344, 24, -280, 36, 436, 0, -344, -40, 40, 276, -32, -4, 0, -236, -6, 74, 42, -72, -324, 0, 408, -48, 48, -74, -80, -168, 0, 4, 644, -24, -136, 32, 360, 0, 216, 4, -40, -240, 220, 12, 0, 8, -144, -20, 32, 8, -56, 0, -54, 152, 192, 210, -324, 32, 0, -104, 800, -102, 72, -90, -136, 0, 968, -128, -194, -488, 204, -4, 0, -164, -256, -56, -240, 300, 128, 0, 604, -498, 40, 36, 72, 64, 0, -2, 144, 32, 256, -92, 72, 0, 88, 48, 312, 264, 30, 60, 0, -156, -780, -8, 380, -352, -162, 0, 324, -48, -88, 40, 200, -238, 0, 46, -218, -88, 72, -24, 208, 0, 154, -4, -56, -456, -312, 20, 0, 160, -296, -32, 456, 232, -144, 0, -24, 76, 180, -20, 96, -372, 0, -16, 430, 78, 508, -54, 24, 0, 132, 0, -8, -156, -72, 62, 0, 374, 32, 0, -116, -64, -306, 0, 248, -128, -176, 0, -416, 38, 0, -96, 342, 144, -96, 24, -312, 0, 304, 120, -146, 228, -296, 40, 0, -100, 1032, 84, -54, -32, 256, 0, -144, 336, 120, -244, -240, -332, 0, 52, 128, -72, 96, -56, -216, 0, -48, 90, 216, 72, 60, 0, 0, 412, -608, 20, -236, -232, -148, 0, -548, 242, -92, -56, -372, -230, 0, 136, 112, 124, 72, -8, 364, 0, -888, 226, 132, 52, -104, 76, 0, 460, 124, -124, 16, 28, 128, 0, 292, -384, 320, 6, -104, 252, 0, 68, -856, -94, 904, -136, 56, 0, -556, -34, 272, 284, 532, -8, 0, -704, -756, 48, 20, 32, 24, 0, 628, 312, -256, -104, 488, -24, 0, 24, 344, 146, -780, -96, 48, 0, 704, 192, -54, -96, 568, -4, 0, 296, 314, 52, 140, -124, 40, 0, -48, -2, 184, -58, -180, 408, 0, -96, -104, -116, -664, 8, 356, 0, -684, -46, 264, -160, 230, -104, 0, 208, 532, 32, 998, 232, -64, 0, -548, -36, 208, 32, 232, -28, 0, -88, 386, -136, -816, 12, -4, 0, -304, 10, -88, 256, 192, 88, 0, -248, -864, 8, 388, 492, -136, 0, 648, 168, -54, -208, 144, -84, 0, 24, -100, -48, -612, 138, -132, 0, 52, -84, -160, 36, -284, -56, 0, -608, 296, -52, 288, -120, 18, 0, 138, 596, 192, 36, -244, 600, 0, 152, -536, 244, 120, 32, 180, 0, 36, -90, -176, -88, 48, -48, 0, 412, 16, 20, 310, -160, 264, 0, 640, -644, -10, -200, 632, 92, 0, 146, -328, 180, 748, 28, 318, 0, 380, 96, -12, 516, 512, 188, 0, 212, 464, -20, -424, 0, 56, 0, -424, 246, -48, 132, 56, 136, 0, 72, 4, 164, -360, 4, -16, 0, 748, 76, -116, -224, -312, -58, 0, 8, 508, 70, -70, 48, -40, 0, 60, -392, 72, 32, 432, -228, 0, 112, 264, -20, 256, -84, 240, 0, -296, -60, -48, -256, -322, 100, 0, 320, -160, 232, 592, 22, -120, 0, 274, 72, -320, 22, -572, 348, 0, -140, 566, 112, 4, -104, -4, 0, 632, 56, -248, 400, 176, -10, 0, 456, -400, -28, 1088, 28, 24, 0, -48, 296, 108, 42, 336, -192, 0, 4, 760, -48, -20, 64, 188, 0, 504, 64, -48, 366, -180, -168, 0, 36, 720, 2, -256, 240, -424, 0, -500, -736, -72, 96, 172, -232, 0, -248, 96, 28, 596, 88, -8, 0, 584, 40, 64, 444, -80, -36, 0, 80, 564, -20, 456, 208, 4, 0, 176, 324, 94, 396, -172, -328, 0, 0, 92, 234, -338, -28, -6, 0, 20, -152, -16, 384, -304, -64, 0, 212, 76, 44, 8, -8, 256, 0, 92, -272, -540, -8, -96, 96, 0, 346, -12, -140, -400, 100, 160, 0, 160, 200, 204, -32, -760, 10, 0, 40, 336, -128, 836, -106, -408, 0, 792, 404, 306, 24, 470, 72, 0, -24, 716, -160, 290, 64, -36, 0, -148, 62, 112, -664, 30, 136, 0, 16, 472, -40, -380, -40, -92, 0, 178, -100, 160, -8, -400, 50, 0, -452, -1166, -48, -84, 4, 76, 0, 668, -176, 208, -418, 496, -40, 0, -112, 1132, -30, -584, 72, 320, 0, 448, 312, -128, 384, -244, -336, 0, -4, -48, 24, -200, -8, -224, 0, -416, 56, 104, 396, 176, -256, 0, -132, 384, 94, 150, 162, -380, 0, 272, 0, -104, -64, -104, 196, 0, -126, -1328, -132, -24, 56, -408, 0, -48, 160, -126, 8, -376, 4, 0, -44, -680, -64, -20, -464, -60, 0, 168, 396, -64, 94, 342, 304, 0, -112, 72, 96, -20, -104, 88, 0, -960, 26, -224, -246, -92, -80, 0, 432, -976, 32, 568, -360, -46, 0, 572, -636, -208, 16, 52, 216, 0, 192, 620, -176, -60, -52, -504, 0, 168, -128, -138, -416, -88, -84, 0, -642, -232, -20, -1136, 152, 104, 0, 44, -88, 56, -88, -394, 180, 0, 144, 80, -124, 82, -68, -8, 0, -184, 154, 0, 24, 332, 16, 0, -336, 184, -20, 32, -376, 104, 0, -368, -732, 84, 40, 296, -216, 0, 80, -198, 128, 360, 48, -140, 0, 332, 214, 216, 316, 100, 30, 0, 56, -440, 120, -794, -172, -48, 0, -1192, 76, -22, -344, 400, -24, 0, -16, 176, 188, 72, 28, -140, 0, 144, -32, -304, -454, 4, 114, 0, -428, -568, -64, 8, -32, 320, 0, -576, 244, -68, -186, 192, -444, 0, -200, -144, 40, -64, -56, -164, 0, -732, -20, 68, -864, 240, -36, 0, 184, 32, 92, -136, -248, -116, 0, -368, -376, -238, -428, 352, 168, 0, -184, 618, -184, -180, 212, 196, 0, -324, 10, 0, 388, -196, 32, 0, -736, -300, -16, 32, -46, -284, 0, 72, 304, -304, -176, -132, 132, 0, 50, 104, -48, 312, 8, -184, 0, -530, -216, 72, -68, -624, 56, 0, 376, -314, 16, -1258, 160, -140, 0, -292, -294, 140, 208, -104, -568, 0, -26, -424, -160, 152, -220, 460, 0, -960, -120, -224, -20, 792, 76, 0, -96, -24, -24, 352, -40, 14, 0, 48, -280, -100, -288, 800, 604, 0, 140, 236, 12, -968, 30, -144, 0, 0, 350, 36, -304, -80, 58, 0, 112, -36, 84, 168, 48, -28, 0, -16, 216, 360, 218, -418, 114, 0, 232, -104, -88, -584, -32, -522, 0, -248, -36, -20, 396, 564, -216, 0, 512, -780, -56, 424, -68, 134, 0, 848, 8, -464, -8, -32, 504, 0, 48, -64, 268, 224, 10, -76, 0, -160, 32, -408, 232, -204, 40, 0, 32, -378, 112, -680, -270, 656, 0, 52, -624, -34, 96, 28, -184, 0, -16, 148, -108, 22, 52, 16, 0, -512, 216, 352, 406, 400, 8, 0, 208, -72, -52, -60, -88, -296, 0, -596, 188, 72, -16]