# Trace form for 4014.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 92, 0, 0, 92, -6, 0, -4, 0, 0, -2, -6, 0, -6, 4, 0, 92, -4, 0, -8, -6, 0, -6, 12, 0, 84, 2, 0, -4, -8, 0, -4, 0, 0, 0, -16, 0, -8, 8, 0, -2, -12, 0, -20, -6, 0, 4, 12, 0, 84, 8, 0, -6, 20, 0, -24, 4, 0, -4, -2, 0, -10, 12, 0, 92, 24, 0, -14, -4, 0, 24, -4, 0, -12, 12, 0, -8, 32, 0, 28, -6, 0, 0, 20, 0, 0, 12, 0, -6, 36, 0, -8, 12, 0, 20, 16, 0, -4, 8, 0, 84, 32, 0, 28, 2, 0, -8, 22, 0, 4, 32, 0, -4, 40, 0, 52, -8, 0, -14, 36, 0, 96, -2, 0, -4, -36, 0, -4, 0, 0, -40, 28, 0, 64, -6, 0, 0, -44, 0, -20, -16, 0, -20, -16, 0, 20, 24, 0, -8, 6, 0, 44, 8, 0, 8, 36, 0, 22, -36, 0, -2, -8, 0, 10, -12, 0, -20, 40, 0, 116, -44, 0, -20, 22, 0, 4, -6, 0, -56, -12, 0, 16, 0, 0, 4, 76, 0, 16, 12, 0, -40, 28, 0, -36, -52, 0, 84, 24, 0, 8, 8, 0, -24, 4, 0, 76, -12, 0, -6, 32, 0, -28, 20, 0, 2, 16, 0, 8, -20, 0, -24, -52, 0, 0, 4, 0, 0, 68, 0, -18, -28, 0, -4, 32, 0, 64, -2, 0, 36, 56, 0, 84, -56, 0, -10, 34, 0, -32, 12, 0, -48, 0, 0, -12, 36, 0, 92, 52, 0, -12, 24, 0, -36, -52, 0, 108, 24, 0, -14, -46, 0, -64, -4, 0, -28, 122, 0, -22, 12, 0, 24, 4, 0, 4, -4, 0, 0, 76, 0, 120, 4, 0, -12, 78, 0, -48, 12, 0, -46, -28, 0, -16, -76, 0, -8, -72, 0, -14, 32, 0, -8, 32, 0, 52, 58, 0, 28, 0, 0, -128, -6, 0, -32, -36, 0, 22, 10, 0, 0, 8, 0, 2, 20, 0, 56, 80, 0, -88, 24, 0, 0, -8, 0, -32, 12, 0, -34, 80, 0, -4, -84, 0, -6, 40, 0, 168, 36, 0, -12, 0, 0, 76, 12, 0, -8, 44, 0, -60, 12, 0, -4, 92, 0, 70, 20, 0, 20, -20, 0, 160, 16, 0, -60, -68, 0, 72, 20, 0, -4, -56, 0, -60, 8, 0, -48, -128, 0, -118, 96, 0, 84, 16, 0, 16, 32, 0, 4, 0, 0, 44, -4, 0, 28, 72, 0, 48, 2, 0, -40, 32, 0, 94, -20, 0, -8, 92, 0, 40, 22, 0, 0, -48, 0, -24, 88, 0, 4, 0, 0, 104, 32, 0, -72, 124, 0, -4, 16, 0, -4, -100, 0, 84, 40, 0, 20, 208, 0, -4, -114, 0, 52, 216, 0, -40, -8, 0, 32, -62, 0, 24, 60, 0, -14, -24, 0, -32, 36, 0, 56, -16, 0, 108, 64, 0, 96, -124, 0, 60, -2, 0, 110, 150, 0, 28, -8, 0, -4, -128, 0, -8, -36, 0, -16, -120, 0, 4, 72, 0, -4, -88, 0, -28, 0, 0, -40, -44, 0, 12, -44, 0, -40, 20, 0, 42, 28, 0, 44, -40, 0, 8, -68, 0, 64, -128, 0, -100, -6, 0, -58, -146, 0, -70, 128, 0, 0, 60, 0, 124, -44, 0, -26, -68, 0, -64, 10, 0, -20, -190, 0, -104, -16, 0, 56, -114, 0, -36, 12, 0, -20, 44, 0, 126, -16, 0, 60, -116, 0, -36, -80, 0, 20, -176, 0, 56, 24, 0, 6, 250, 0, -40, 80, 0, -8, -104, 0, 36, 6, 0, -28, -56, 0, -104, -48, 0, 44, 234, 0, -116, 8, 0, -16, 48, 0, -126, -90, 0, 8, 4, 0, -22, 36, 0, 40, -36, 0, -124, 76, 0, 22, -92, 0, -28, -36, 0, 12, -304, 0, -186, 8, 0, -2, -68, 0, -168, -8, 0, -44, -120, 0, -36, -142, 0, 10, -58, 0, -104, -12, 0, -168, 52, 0, 2, -54, 0, -20, -64, 0, -108, 40, 0, -24, -64, 0, -164, -168, 0, 116, 32, 0, -136, -44, 0, 20, -184, 0, -132, 104, 0, -20, -244, 0, 86, 22, 0, 48, 48, 0, -36, -152, 0, 4, 76, 0, -52, -6, 0, -120, -72, 0, 94, -24, 0, -56, -128, 0, -68, -12, 0, -56, -128, 0, -40, 40, 0, 16, 16, 0, -100, 0, 0, -116, 20, 0, -232, 68, 0, 4, 108, 0, -82, 76, 0, 44, -92, 0, -40, 18, 0, 16, -300, 0, 88, 12, 0, -156, -164, 0, 146, 16, 0, -40, 4, 0, -48, 28, 0, 100, -248, 0, -60, -104, 0, -36, -178, 0, 92, -52, 0, -196, 196, 0, -96, -84, 0, 84, -184, 0, -18, 24, 0, -152, -16, 0, -104, -146, 0, 8, -220, 0, -80, 8, 0, -136, 128, 0, -32, 20, 0, -24, -68, 0, -170, 4, 0, 64, 148, 0, -184, -164, 0, 76, 184, 0, -72, -12, 0, 16, 54, 0, 58, 136, 0, -6, -308, 0, 156, 32, 0, 40, 124, 0, 256, -6, 0, -28, -278, 0, -80, 20, 0, -136, -100, 0, -98, -144, 0, 2, 80, 0, -134, 16, 0, 8, -80, 0, -224, -64, 0, 8, -128, 0, -152, -20, 0, 0, 96, 0, -174, 40, 0, -24, -84, 0, -234, -52, 0, -92, -284, 0, 24, -208, 0, 0, -40, 0, -200, 4, 0, -188, -24, 0, -364, 92, 0, 0, 252, 0, -144, 68, 0, 88, 168, 0, -80, -148, 0, -18, -16, 0, -96, -28, 0, -124, 160, 0, -152, 56, 0, -4, 180, 0, -120, 32, 0, 2, -100, 0, -296, -88, 0, 64, -36, 0, 108, -2, 0, 40, 320, 0, 100, 56, 0, 36, -148, 0, 132, 56, 0, -16, -8, 0, 108, -76, 0, 84, 204, 0, -84, -56, 0, -188, -114, 0, -72, -76, 0, -10, -68, 0, 204, 34, 0, -30, 368, 0, -12, -144, 0, -32, -224, 0, -20, 12, 0, 0, -280, 0, 28, -40, 0, -48, 432, 0, 8, 0, 0, -56, -4, 0, -76, 292, 0, -12, 160, 0, -160, 36, 0, -24, -240, 0, 22, 172, 0, 92, -92, 0, 184, 52, 0, -84, 32, 0, -104, -48, 0, -12, 156, 0, 88, 24, 0, 76, -340, 0, -48, -30, 0, -36, -16, 0, -130, -52, 0, -144, 232, 0, -88, 40, 0, 108, -36, 0, 176, 24, 0, -48, -40, 0, -192, -76, 0, -14, 228, 0, -4, -46, 0, -26, -160, 0, 160, 114, 0, -64, 164, 0, -40, -4, 0, -196, -108, 0, 52, 12, 0, -28, -216, 0, 12, 122, 0, 100, 16, 0, -80, -32, 0, -22, 104, 0, -52, 12, 0, -114, 10, 0, 60, -40, 0, 24, 32, 0, 84, 4, 0, 34, 124, 0, 8, -12, 0, 4, -308, 0, -32, -4, 0, -156, 212, 0, -264, 134, 0, 0, 80, 0, 184, 76, 0, 20, 92, 0, -12, 56, 0, 120, -140, 0, -32, 4, 0, 136, 278, 0, -156, 104, 0, -12, -8, 0, 124, 78, 0, 34, 4, 0, 8, -200, 0, -48, 40, 0, -292, 12, 0, -56, -176, 0, -52, 156, 0, -46, 104, 0, 340, -28, 0, -136, 28, 0, -164, -208, 0, -16, 84, 0, 280, -76, 0, -38, 264, 0, 276, -140, 0, -8, -80, 0, 132, -72, 0, 172, -204, 0, -140, -138, 0, -14, 266, 0, 24, 32, 0, -56, 512, 0, 266, -22, 0, -8, -4, 0, -32, 32, 0, 4, -196, 0, -176, -120, 0, 52, 352, 0, -40, 58, 0, 8, 152, 0, -100, -60, 0, 28, -248, 0, -100, 0, 0, 8, -168, 0, 136, 30, 0, -128, -356, 0, 172, -6, 0, -116, -22, 0, -56, 16, 0, -32, 360, 0, -6, -36, 0, 232, 32, 0, 204, 80, 0, 22, 130, 0, -64, 10, 0, -6, -190, 0, 68, -80, 0, 0, -108, 0, 4, 8, 0, 92, -400, 0, -12, 54, 0, 2, 20, 0, 256, 20, 0, -8, -12, 0, 120, 108, 0, 56, -16, 0, 148, 80, 0, 48, -48, 0, 96, -8, 0, -88, -256, 0, -352, 24, 0, 88, 260, 0, 180, -288, 0, 0, 84, 0, -200, -8, 0, 64, -32, 0, -48, -124, 0, -32, -418, 0, 40, 12, 0, -212, 280, 0, 44, -78, 0, -34, -376, 0, 100, 80, 0, -32, 292, 0, -448, -128, 0, -4, 20, 0, 128, -84, 0, 56, 68, 0, 188, 220, 0, -6, -124, 0, 16, 40, 0, 112, 64, 0, 68, -254, 0, 168, -24, 0, 288, 36, 0, 56, 244, 0, -142, -104, 0, -12, 208, 0, 72, 0, 0, -144, -148, 0, 112, 96, 0, 76, 38, 0, 128, 12, 0, 60, 262, 0, 68, -180, 0, -8, 0, 0, -240, 44, 0, -4, -272, 0, 512, 92, 0, -60, 228, 0, 296, 12, 0, -104, -266, 0, 48, -14, 0, -4, 24, 0, -298, 92, 0, 44, -300, 0, -44, -104, 0, 70, -118, 0, -48, 20, 0, -28, 226, 0, -112, 72, 0, 20, 448, 0, 308, -20, 0, 76, 224, 0, 60, -258, 0, 160, 180, 0, -124, 16, 0, 100, 306, 0, -82, 0, 0, -60, 152, 0, 94, -68, 0, 88, 152, 0, 156, -128, 0, 72, 164, 0, -204, 20, 0, -66, -272, 0, 172, 260, 0, -4, -8, 0, -116, -56, 0, -292, -76, 0, -16, 56, 0, -60, -156, 0, 104, 8, 0, 24, 210, 0, -74, 46, 0, -48, 280, 0, -188, -128, 0, 272, -168, 0, -228, -56, 0, -118, -208, 0, 124, 96, 0, -40, 732, 0, -156, 200, 0, 84, -32, 0, -88, 16, 0, 88, 20, 0, 128, 128, 0, 16, 246, 0, -136, 32, 0, -188, -32, 0, -184, 50, 0, 4, 496, 0, 28, 0, 0, 44, 336, 0, 176, -8, 0, 44, 168, 0, 64, -4, 0, 108, -272, 0, -496, 88, 0, 28, -232, 0, 20, 72, 0, 226, -240, 0, -172, -270, 0, 48, 60, 0, 208, 2, 0, 72, 88, 0, 294, 316, 0, -40, -144, 0, -174, 32, 0, 212, 132, 0, -248, -96, 0, 94, 172, 0, -108, -20, 0, 98, 124, 0, -316, 128, 0, -8, -100, 0, -256, 92, 0, -172, 352, 0, 64, 78, 0, 40, 356, 0, -296, 22, 0, 88, 120, 0, 32, 34, 0, 0, 48, 0, -32, -48, 0, 264, -588, 0, 104, -152, 0, -24, -104, 0, -96, 88, 0, 88, -80, 0, 58, -96, 0, 4, 116, 0, -154, 0, 0, 160, 412, 0, 168, -170, 0, 104, 72, 0, 40, 32, 0, 88, -124, 0, 612, 114, 0, -72, -140, 0, 132, 124, 0, 52, 468, 0, -32, 216, 0, -4, 132, 0, -20, 16, 0, 96, -114, 0, -254, 144, 0, -4, 576, 0, 88, -100, 0, -72, 132, 0, -196, -264, 0, 84, -342, 0, 272, 40, 0, -84, 158, 0, 32, 88, 0, 20, -48, 0, 376, 208, 0, -128, 204, 0, -148, -8, 0, -4, 448, 0, 80, -114, 0, 128, -448, 0, -60, -240, 0, 52, -32, 0, 48, 216, 0, 312, -308, 0, 172, -212, 0, -40, -168, 0, 40, -8, 0, -48, -282, 0, 234, 152, 0, 32, 104, 0, 268, -62, 0, 204, -612, 0, -96, 160, 0, 24, -354, 0, 104, 60, 0, 216, -164, 0, 240, -76, 0, -14, -36, 0, -320, -24, 0, -128, -168, 0, 376, -28, 0, -32, -426, 0, 256, 36, 0, 12, -46, 0, 104, 76, 0, 56, -216, 0, 212, -16, 0, -80, -224, 0, 280, 160, 0, 108, 440, 0, -40, 64, 0, 100, 26, 0, 310, -252, 0, 96, -56, 0, 184, -124, 0, -94, 56, 0, 220, 256, 0, 60, 234, 0, 48, -2, 0, 60, 44, 0, -184, 48, 0, 110, 100, 0, -4, 150, 0, 184, -452, 0, -16, -4, 0, 28, -70, 0, 404, -8, 0, 80, -126, 0, 288, 244, 0, -4, -224, 0, -132, -128, 0, -68, -160, 0, 228, -244, 0, -8, 232, 0, 176, -36, 0, 200, -206, 0, 212, 188, 0, -16, 60, 0, -60, -120, 0, 436, -56, 0, 292, 60, 0, 4, -184, 0, -272, 72, 0, 76, -118, 0, -122, 168, 0, -4, 408, 0, 308, -88, 0, 16, 296, 0, -344, -378, 0, -28, 4, 0, 324, 0, 0, 256, -488, 0, -10, 264, 0, -40, -376, 0, -16, -44, 0, -24, -28, 0, 120, 0, 0, 12, -212, 0, 112, -44, 0, 24, 196, 0, 324, -152, 0, -40, 392, 0, -224, 20, 0, 196, -196, 0, 240, 56, 0, 42, 48, 0, -136, 28, 0, -232, -126, 0, 340, 194, 0, 44, -792, 0, -92, -40, 0, 264, -176, 0, -96, -112, 0, 8, 292, 0, -276, -68, 0, 224, -540, 0, -136, 104, 0, 64, -248, 0, -124, -128, 0, -8, -336, 0, 60, -156, 0, -100, 438, 0, -76, -6, 0, 48, -208, 0, 144, -140, 0, -58, 540, 0, -36, -146, 0, -248, 308, 0, 92, 136, 0, -70, 72, 0, 276, 128, 0, -220, -220, 0, 196, 8, 0, 0, 152, 0, 56, 60, 0, 52, -504, 0, 360, 0, 0, 124, -268, 0, 24, -44, 0, 16, -44, 0, 156, 172, 0, -26, 112, 0, 132, -68, 0, -88, -212, 0, 76, -352, 0, -64, 218, 0, 384, 10, 0, -400, 212, 0, 90, -148, 0, -20, -164, 0, 232, -190, 0, -10, -12, 0, 168, -16, 0, -104, -16, 0, -372, -16, 0, 192, 518, 0, -20, 236, 0, 56, 208, 0, 318, -114, 0, 172, 228, 0, 348, -240, 0, -36, 808, 0, 200, 12, 0, -256, -40, 0, 96, 288, 0, -20, -92, 0, -212, 44, 0, -168, 148, 0, 48, 200, 0, 126, 420, 0, -288, -16, 0, -312, -312, 0, 396, 80, 0, 60, -228, 0, -124, -116, 0, -76, -4, 0, 52, 152, 0, -36, 82, 0, 180, -80, 0, 72, 172, 0, 248, -56, 0, 20, 360, 0, 232, -176, 0, -226, -224, 0, -120, 108, 0, 56, -606, 0, 144, 24, 0, -296, 536, 0, 2, 20, 0, 6, -248, 0, 366, 250, 0, 4, 152, 0, -196, 344, 0, -40, -508, 0, -120, 80, 0, 140, -60, 0, 424, 196, 0, -8, 300, 0, -62, -104, 0, -256, 112, 0, 220, 152, 0, 36, -110, 0, -168, 6, 0, 64, 84, 0, 106, 8, 0, -28, 680, 0, 80, -56, 0, -76, -388, 0, -364, -128, 0, -104, -216, 0, 376, -48, 0, -84, 484, 0, 168, -176, 0, 44, -4, 0, -232, 234, 0, -24, 216, 0, 444, 96, 0, -116, -80, 0, 84, 8, 0, 56, -72, 0, 546, 204, 0, -16, 120, 0, -628, 48, 0, 180, 164, 0, -8, 536, 0, -126, 26, 0, -384, -90, 0, -70, 382, 0, -360, 40, 0, 8, -48, 0, 368, 4, 0, -304, -312, 0, 576, -62, 0, -22, 338, 0, 368, 36, 0, -88, -428, 0, -400, 408, 0, 40, 328, 0, 88, -36, 0, 28, -336, 0, 680, 24, 0, -124, -56, 0, 48, 76, 0, 208, 296, 0, -236, 120, 0, 22, -200, 0, 140, -92, 0, 120, -120, 0, 52, 196, 0, -28, -368, 0, 44, -36, 0, 120, 264, 0, -12, 12, 0, 12, -24, 0, -152, -304, 0, 96, 392, 0, -12, -160, 0, -186, 214, 0, 392, 8, 0, -144, -512, 0, -86, -276, 0, -2, -188, 0, -76, -68, 0, -106, 596, 0, 544, -28, 0, -168, 528, 0, -76, -8, 0, 40, 228, 0, 548, -166, 0, -44, 72, 0, -288, -120, 0, 24, 256, 0, -24, 484, 0, -36, 348, 0, -52, -142, 0, 74, -248, 0, -52, -248, 0, 10, -208, 0, -40, -58, 0, -202, -580, 0, 336, -372, 0, -104, -30, 0, -248, -12, 0, 148, 432, 0, 56, 164, 0, -168, 188, 0, 72, 52, 0, 336, 328, 0, -152, -308, 0, 2, -262, 0, 148, -54, 0, -64, 120, 0, 40, -40, 0, -20, -656, 0, -190, -64, 0, 96, -288, 0, -280, 400, 0, -108, -284, 0, 380, 40, 0, 320, 438, 0, 168, 156, 0, -24, 88, 0, -508, -64, 0, -144, -260, 0, 80, -72, 0, -164, 652, 0, -576, -168, 0, 240, 94, 0, -356, 352, 0, 116, -160, 0, -8, 32, 0, -204, -504, 0, -380, 328, 0, -136, -184, 0, 404, -44, 0, 244, -212, 0, 116, 104, 0, 20, 740, 0, -100, -184, 0, -8, -320, 0, -168, -192, 0, -132, 388, 0, -200, 104, 0, -42, 300, 0, -8, 296, 0, -20, 172, 0, 128, -244, 0, -208, -72, 0, -400, 52, 0, 86, 744, 0, -196, 22, 0, 80, -4, 0, 884, -44, 0, 48, -468, 0, 444, 48, 0, 140, 424, 0, -624, 208, 0, -36, 298, 0, 64, -152, 0, -628, 72, 0, -296, -152, 0, 4, -268, 0, 344, 76, 0, 28, 104, 0, -224, 316, 0, -52, -408, 0, -52, -6, 0, -196, 424, 0, -144, 312, 0, -120, -584, 0, 552, -72, 0, -8, -176, 0, -648, -164, 0, 94, 310, 0, 172, -24, 0, 164, 218, 0, -348, 8, 0, -56, 432, 0, -188, -128, 0, -156, 160, 0, -88, -50, 0, -68, 318, 0, -216, -12, 0, -88, 356, 0, -280, -320, 0, -56, 604, 0, 128, -128, 0, -28, -124, 0, 368, 352, 0, -40, -484, 0, 248, 40, 0, -70, 6, 0, -316, -136, 0, 16, -372, 0, -10, 16, 0, 166, -100, 0, -352, -216, 0, -100, 270, 0, -16, 0, 0, -112, 148, 0, 388, -280, 0, -116, 368, 0, -624, 20, 0, 136, -524, 0, 160, 224, 0, -232, 728, 0, 256, 68, 0, 196, -282, 0, 224, -88, 0, 4, -80, 0, -8, 108, 0, 62, 280, 0, -300, 352, 0, -82, -352, 0, 276, 76, 0, -200, 592, 0, -348, 2, 0, 44, 464, 0, 132, -92, 0, -4, 500, 0, -544, -140, 0, -40, -444, 0, 600, 18, 0, 122, -228, 0, -222, 528, 0, 16, -452, 0, 312, -300, 0, 310, 348, 0]