# Trace form for 6014.2.a, downloaded from the LMFDB on 24 April 2024.
[0, 239, -1, -4, 239, 6, 4, 0, -1, 235, -2, 4, -4, 2, 16, 32, 239, 22, 3, 16, 6, 8, -12, 8, 4, 233, -6, 8, 0, 10, 0, -1, -1, 32, -18, 40, 235, -30, -8, 64, -2, 6, 24, 12, 4, 94, 8, 32, -4, 271, 17, -48, 2, 26, 16, 32, 16, 16, -30, 40, 32, -14, -1, 40, 239, -20, -16, -32, 22, -8, 8, -24, 3, 30, -6, -60, 16, -32, 0, -48, 6, 183, -18, -4, 8, -12, -20, -40, -12, 6, -26, -48, 8, -4, 64, -32, 4, 3, -33, -52, 233, -54, -40, 24, -6, 16, 10, -64, 8, -14, -64, -56, 0, -58, -48, 88, 10, -54, 16, -32, 0, 227, 2, 24, -1, -36, 40, 48, -1, -56, -36, 72, 32, 40, 32, 104, -18, -74, 16, 44, 40, 56, 32, 96, 235, 44, -34, -60, -30, 14, 68, -16, -8, 110, 8, 2, 64, 22, 32, 72, -2, 56, -41, 92, 6, -24, 12, 48, 24, 225, -52, 192, 12, -74, 136, 120, 4, 24, -2, -108, 94, -86, 32, 200, 8, 124, -4, -32, 32, 128, 80, -48, -4, -18, 19, -24, 271, -6, 52, 0, 17, -80, -54, 0, -48, -12, -8, 0, 2, -80, -56, -80, 26, 96, -40, -88, 16, 0, -38, -48, 32, -36, -56, 72, 16, 197, 14, -116, 16, 50, -16, -104, -30, 14, -14, -8, 40, 8, 40, 96, 32, 54, -53, -100, -14, -90, -16, 96, -1, 0, -60, 12, 40, 112, 48, 104, 239, -98, 72, 88, -20, -54, -80, -24, -16, -36, 40, -160, -32, -46, -40, 104, 22, 48, -26, -28, -8, -198, 20, 3, 8, 14, 32, 36, -24, -72, 40, -40, 3, 173, -52, -4, 30, 66, 36, 88, -6, 224, -34, -32, -60, 104, -64, -128, 16, -196, -90, 92, -32, -40, 2, 16, 0, 22, 78, 8, -48, 70, 32, -104, 6, 48, -40, 56, 183, 214, -4, -104, -18, 8, 144, 76, -4, -78, 16, -128, 8, -26, 81, 200, -12, -4, -128, 336, -20, -40, 6, 12, -40, 86, 136, 120, -12, 126, -16, -16, 6, -8, 20, 112, -26, 275, 10, 124, -48, 20, 16, 72, 8, 158, -36, 16, -4, 118, 48, -24, 64, -68, 224, -52, -32, 232, 40, 56, 4, 272, -42, 60, 3, 138, -16, 160, -33, 56, 10, -136, -52, 138, 32, 144, 233, -138, -96, 22, -54, 102, 48, 168, -40, 54, 44, -72, 24, 0, 104, 88, -6, 104, 0, -164, 16, 82, -136, 152, 10, -126, -120, 160, -64, 48, 104, -56, 8, 230, 16, -64, -14, 0, 24, 40, -64, 187, -68, -120, -56, -244, -104, 48, 0, -34, 85, 48, -58, -16, -68, -288, -48, 118, 50, -152, 88, 50, -200, 208, 10, 48, -90, -20, -54, -48, -32, -48, 16, -144, -16, 168, -32, 18, -128, 80, 0, 220, -50, 0, 227, 14, 52, 64, 2, -16, -106, 44, 24, 12, -32, -8, -1, -168, -32, -12, -36, 64, -92, -168, 40, 156, 96, 12, 48, -46, -88, 8, -1, 24, -130, 120, -56, -24, 40, -16, -36, -90, -166, -124, 72, 24, 8, 6, 32, 167, -196, 128, 40, -36, 16, -48, 32, 184, 106, 100, 104, 158, 80, 184, -18, 108, -48, 20, -74, 2, -188, -48, 16, 112, 58, -200, 44, -38, -13, 240, 40, -136, -138, 128, 56, 84, 28, -24, 32, 158, 168, 68, 96, 56, 0, -40, 235, 94, -115, 24, 44, 8, -4, 24, -34, -52, -22, 44, -60, 44, -112, -104, -30, -58, -168, 8, 14, -168, -24, 96, 68, 142, -256, 64, -16, -74, 216, -168, -8, -8, -196, -168, 110, -102, 140, -160, 8, 46, -112, 44, 2, -136, 32, -208, 64, 483, -18, -32, 22, 228, -152, 216, 32, -88, -186, -40, 72, 114, -24, -248, -2, 30, -192, -100, 56, 312, -72, 144, -41, -112, -218, -16, 92, -42, 0, 0, 6, 142, 32, -40, -24, 122, -76, 64, 12, -488, -46, -88, 48, 200, 64, 208, 24, -162, 30, -224, 225, -22, -112, -8, -52, 80, -12, -100, 192, 204, 56, -64, 12, 36, 48, 20, -74, -312, 4, 72, 136, -164, 174, -88, 120, -30, 184, 8, 4, -104, -114, 64, 24, -182, -128, -32, -2, 0, 120, 88, -108, -8, -64, -192, 94, 64, 107, -16, -86, 302, -220, 240, 32, 523, -220, 184, 200, -126, 40, 248, 8, -32, -154, -28, 124, 192, -8, -104, -4, -108, 46, 388, -32, 64, -168, -176, 32, 80, -164, -96, 128, 218, -180, 152, 80, -34, 24, -128, -48, -28, 104, -24, -4, 126, 136, 152, -18, -158, -44, 1, 19, -200, -46, 224, -24, -72, -136, -384, 271, 300, -208, 60, -6, -112, 16, -88, 52, 68, -78, -256, 0, -262, -40, -160, 17, 238, -2, -192, -80, 112, 14, 240, -54, -106, -106, 44, 0, 144, 136, -80, -48, 48, -106, -328, -12, -62, -128, 80, -8, 296, -8, 84, 0, -78, 24, 184, 2, 206, 0, -96, -80, 8, 180, 136, -56, 41, -150, -304, -80, -110, 88, 8, 26, 240, -318, -152, 96, 102, -208, -400, -40, -34, -128, 244, -88, 8, -152, -184, 16, 28, -322, -116, 0, 120, -112, 136, -38, 7, -112, -112, -48, -166, -48, 200, 32, -50, -269, -44, -36, -328, -104, -32, -56, 80, 116, -428, 72, -32, 128, 64, 16, -336, -58, -2, 197, 12, -24, -168, 14, -124, -80, -16, -116, 82, -16, 112, 16, 176, 70, -248, 50, -152, -400, -152, -16, -16, -38, -128, -104, 54, -16, -96, -30, 150, 0, 200, 14, -56, 12, -504, -14, 190, -280, 64, -8, 18, -48, -72, 40, -272, -240, -116, 8, -36, -88, -48, 40, -58, 82, 16, 96, -72, 56, -48, 32, 239, -244, -392, 54, -260, -16, 296, -53, 344, 6, -292, -100, -88, 152, 64, -14, -146, -72, -128, -90, 186, -20, -200, -16, -196, 12, -592, 96, 24, -304, -216, -1, 144, -104, 136, 0, 186, -116, 288, -60, -32, -288, -120, 12, 24, 48, 168, 40, -170, -188, -40, 112, -70, 380, -160, 48, -602, -110, 108, 104, -38, -184, -48, 239, -182, -160, 0, -98, 88, -184, 8, 72, 94, -48, 280, 88, -12, -216, -16, -20, 216, -50, -208, -54, 136, 172, -648, -80, 38, -248, -156, -24, -230, -2, -360, -16, 48, -161, 128, -36, -294, -176, 96, 40, 16, -36, -12, -160, 10, 56, -456, -32, -148, 96, 188, -46, 200, -68, -224, -40, 184, -98, -452, 104, -48, 16, 152, 22, 271, -12, 124, 48, -226, -60, 16, -26, -250, -70, 232, -28, -144, -168, 24, -8, -160, -176, -232, -198, 18, -144, 280, 20, -296, -102, -328, 3, -70, 16, -280, 8, 56, -192, 128, 14, -188, 216, -16, 32, -274, 4, 72, 36, -88, 416, 232, -24, 216, 6, 0, -72, 200, -148, 48, 40, -180, 216, 14, -40, -224, 280, -152, 3, 30, 62, -312, 173, 204, 216, -160, -52, -200, 48, 284, -4, 268, -120, 200, 30, 136, -356, -124, 66, -304, 92, 56, 36, -128, 12, 48, 88, 154, 80, -32, -6, -920, -186, -304, 224, 388, 32, -248, -34, -26, 0, -64, -32, 8, -56, -272, -60, 430, -218, -48, 104, -540, 208, 16, -64, 80, 318, 128, -128, -150, 192, 24, 16, -450, -24, -128, -196, 128, -8, -136, -90, 249, -214, -304, 92, -278, -168, 64, -32, -626, 46, 128, -40, -46, -332, -448, 2, -116, -304, 240, 16, -296, 136, -160, 0, -226, -285, -492, 22, -496, -192, -144, 78, -40, -36, -188, 8, -14, 56, -504, -48, -456, -240, 64, 70, -48, 16, -26, 32, 336, 218, -608, -104, -310, -8, 264, 6, 328, -114, -444, 48, -324, -332, -272, -40, 46, -64, 32, 56, -176, 160, -744, 183, 262, -48, 160, 214, -22, -16, 248, -4, -292, 102, -128, -104, -296, -280, 256, -18, -60, -74, 8, 8, -232, 0, 40, 144, 110, 98, -288, 76, -170, -200, 272, -4, -168, 32, -72, -78, -44, -40, -88, 16, -312, 8, 224, -128, -186, 248, 168, 8, 108, -146, -488, -26, 144, -8, 304, 81, -704, -6, -296, 200, 304, 16, -608, -12, -218, -240, 168, -4, -552, -52, -64, -128, 225, -196, 48, 336, 326, 32, 168, -20, -322, -188, 48, -40, -286, -44, -224, 6, 84, -264, -240, 12, -88, 8, -504, -40, -336, -148, 138, 86, -80, -120, 0, 136, -312, 146, -112, 120, 300, 56, -88, -12, -138, -128, 256, 126, -290, 64, -472, -16, -28, 162, -680, -16, -126, -112, 408, 6, -144, 40, -32, -8, 122, -264, 88, 20, -378, -264, -152, 112, -216, 48, -64, -26, 56, -208, 216, 275, -398, -168, 456, 10, -296, -162, 84, 124, -230, -72, -24, -48, -16, -213, 4, 20, 16, 304, -528, 16, -204, -110, 244, 72, -188, -552, 24, 8, -224, -160, 104, 158, 24, 116, -608, -36, 6, -512, 420, 16, -800, 96, -536, -4, 326, -284, -664, 118, -138, 76, 112, 48, -456, 48, -372, -24, 256, -288, -280, 64, -144, -32, 96, -68, -648, -224, -56, 224, -132, -150, -112, -52, -412, -112, 7, -32, 133, -74, -344, 232, -34, 40, -56, 40, -176, 100, -116, 56, -440, 256, -88, 4, 436, -10, 352, 272, 168, 40, 32, -42, 232, -22, 192, 60, 10, 1, -544, 3, -202, -80, 304, 138, -338, -136, -144, -16, -128, -72, -264, 160, 556, 176, 144, -33, -240, 76, -188, 56, 234, -92, -520, 10, 224, 80, -460, -136, 48, 184, 272, -52, 100, -92, 332, 138, -24, -136, -168, 32, -256, 162, -456, 144, 398, -112, -360, 233, 86, -42, 192, -138, -72, 336, 56, -96, 318, -176, -524, 22, -102, 88, 216, -54, -432, 62, -168, 102, 174, -148, -984, 48, 144, -48, -20, 168, -558, 392, 152, -40, -296, -80, -584, 54, -366, -128, 224, 44, -560, -150, -14, -72, -32, -160, 624, 24, -18, -144, 280, 0, -32, 52, 448, 104, 294, -294, -40, 88, 264, -128, 128, -6, 156, -290, -252, 104, 282, 128, 144, 0, 280, 8, -200, -164, 392, 8, -216, 16, 269, 9, -56, 82, -612, -384, 304, -136, 312, -118, -248, 152, -254, -8, 16, 10, -18, -208, -60, -126, 384, 0, 56, -120, 72, -82, 184, 160, 30, 152, 8, -64, 152, -354, -120, 48, -228, -108, -448, 104, 406, -416, 112, -56, -232, 232, 160, 8, 56, 364, 216, 230, -186, 228, 24, 16, -210, -88, -96, -64, -146, -48, -432, -14, -148, 47, 372, 0, -312, -208, 64, 24, 206, -14, -104, 40, -240, 184, -16, -64, -248, 246, 144, 187, -444, -228, -24, -68, -300, 16, 392, -120, 130, 136, -48, -56, 126, 200, -480, -244, -468, -124, 0, -104, -192, 8, 416, 48, 258, -208, 368, 0, 200, 88, 56, -34, -256, -10, -224, 85, 46, -300, -480, 48, -98, 320, 200, -58, -272, -92, 284, -16, 26, 192, -8, -68, 256, 138, 8, -288, -16, 152, -296, -48, -22, -400, 40, 118, -4, 320, -272, 50, -520, 112, 120, -152, -344, -64, -232, 88, 232, 176, -8, 50, -260, 240, 176, -200, 299, 398, 224, 208, 284, -32, 104, 10, 480, -114, 36, 48, -190, -248, 344, -90, -20, 104, 420, -20, -8, -264, -344, -54, -394, -298, -52, -48, 314, 120, -56, -32, -376, -102, -128, -48, 152, -24, 200, 16, -82, -440, 34, -144, 584, -76, 456, -16, -392, -228, -888, 168, -402, 240, 328, -32, -480, -74, -44, 18, -312, 96, 520, -128, 78, 288, -320, 80, 552, -88, 200, 0, -684, -1, -528, 220, -248, 424, -264, -50, 304, -244, 20, 0, -86, 32, -672, 227, 156, 160, -72, 14, 8, -108, 152, 52, -276, -208, 416, 64, 10, -104, 192, 2, -64, 54, 240, -16, 176, -392, -520, -106, -20, -166, -104, 44, 48, 192, 320, 24, -264, -68, -160, 12, -86, -216, -296, -32, -408, -304, 396, -8, 304, 240, -336, -1, -116, 16, -204, -168, -388, 432, -48, -32, -546, 146, -200, -12, -158, -344, 304, -36, 0, -168, -136, 64, -556, -512, 80, -92, -554, 40, -60, -168, -80, 80, -52, 40, 86, 174, -368, 156, 488, 8, -104, 96, 865, -38, 52, 12, -278, -136, 56, 48, -160, 38, 520, -46, -32, -204, 80, -88, 4, -206, -1492, 8, -60, -48, 424, -1, 616, -158, 328, 24, -134, 288, -16, -130, 390, 120, 96, 120, 74, 128, 112, -56, 424, 150, 592, -24, -406, 176, 0, 40, 344, -324, -108, -16, -52, -232, -688, -36, -266, -16, -388, -90, 368, 280, 152, -166, -42, -200, -208, -124, -232, 224, 152, 72, 118, 110, -100, 24, -576, 116, 760, 8, 388, 226, 604, 6, -16, -200, -168, 32, 22, 224, 312, 167, 84, 264, 136, -196, -704, 66, 8, 128, 248, 16, -384, 40, 750, 264, 332, -36, -320, -12, -416, 16, -162, 10, 96, -48, -18, -40, -56, 32, 8, -92, -40, 184, 456, -12, 240, 106, 206, 104, 32, 100, 168, -296, 448, 104, 454, -240, -560, 158, 652, 284, 448, 80, -818, 32, 104, 184, -468, 216, -80, -18, 168, 127, 16, 108, 520, 276, -144, -48, -64, 46, -248, 20, 24, 264, 520, -74, -440, -138, -264, 2, 700, -96, 344, -188, 88, -192, 80, -48, -10, 104, 456, 16, 527, -8, 72, 112, -174, 360, 48, 58, 424, 170, 160, -200, 62, 8, 512, 44, -198, -64, -144, -38, -648, 144, -24, -13, -88, 130, -480, 240, 90, 152, -88, 40, 16, 216, 36, -136, -268, 296, 792, -138, -100, 124, 544, 128, 48, 152, 640, 56, 236, -170, 780, 84, 200, 456, 134, 28, 136, 496, 284, -24, 362, 40, 408, 32, -466, 544, -448, 158, 192, -272, 72, 168, 1022, 168, -200, 68, 876, 344, 480, 96, -24, -100, 344, 56, -262, 38, 448, 0, 166, 392, 952, -40, 760, -160, 240, 235, -76, -346, 648, 94, -70, 800, 144, -115, -170, 100, 680, 24, 664, 48, -120, 44, 120, 248, 32, 8, -92, 124, 192, -4, 204, -68, 272, 24, 350, 96, -288, -34, -24, -256, -492, -52, 398, -252, 40, -22, 688, 40, 604, 44, 466, -64, 128, -60, -4, -32, 472, 44, -58, -208, -64, -112, 744, 162, -40, -104, 384, 112, -264, -30, -144, 608, 76, -58, -368, 216, 296, -168, -234, -4, 656, 8, -14, 352, -336, 14, 212, -106, 120, -168, -334, -272, 208, -24, -178, 472, -120, 96, 568, 80, 760, 68, 663, -2, -936, 142, -848, 192, 48, -256, -8, 124, -628, 64, 104, 360, -160, -16, 342, -32, 168, -74, -14, 120, -120, 216, -3, 354, 600, -168, 120, 0, 376, -8, -336, -202, -184, -8, 730, 192, 184, -196, -186, 64, -592, -168, 152, 128, -96, 110, -56, -431, -144, -102, -16, 200, -16, 140, 160, -142, -520, -160, 456, -32, -744, 8, -360, 334, 376, 46, 64, -472, 192, -112, -338, -174, -740, 44, 342, -32, -616, 2, -112, 316, 24, -136, -144, 232, 1136, 32, 248, 152, -400, -208, -174, -248, 344, 64, 192, 174, -504, 483, -460, 380, 128, -18, -448, 248, -328, -32, 204, 104, -73, 22, 112, -96, 368, 228, -584, -148, -456, -152, 238, -14, -124, 216, -690, -152, 696, 32, -66, -104, 556, -88, -228, -40, 688, -186, 208, 56, 280, -40, 496, 54, -352, 72, -148, -152, 412, 114, 90, -224, 248, -24, 128, 114, -696, -248, 42, -168, -536, -2, -52, 288, -616, 30, -576, 196, -528, -192, 80, 164, -280, -100, 48, 96, 624, 56, -32, 262, -580, 312, 676, 480, 256, -72, -184, 240, 448, 144, 16, 0, 376, -41, 294, -298, -728, -112, 522, 128, 232, -218, 265, 402, -360, -16, -380, -136, 96, 92, 294, 252, 568, -42, -592, -64, 264, 0, 158, -168, -40, 0, 98, 112, 328, 6, 192, 268, 136, 142, -200, 344, 272, 32, -274, 272, -108, -40, -150, -128, -648, -24, 624, 254, -568, 122, 774, 480, 248, -76, 456, 254, 224, 64, -400, 56, 384, 12, 534, 48, 340, -488, -384, -168, 80, -46, -440, -12, -128, -88, 20, -152, -240, 48, -192, 480, -296, 200, 114, 256, -208, 64, -608, -114, -20, 208, -64, -16, -192, 24, -362, -84, -720, -162, -158, 296, 688, 30, 96, 192, -64, -224, 188, -64, -24, 225, 132, 32, 380, -22, 1136, 264, 320, -112, -202, 248, -72, -8, 56, -200, 600, -52, 480, -58, 480, 80, -258, -96, 288, -12, -442, 848, 220, -100, 232, 24, 224, 192, 328, 305, -1176, 204, -254, 176, 456, 56, -764, 78, -200, -64, 522, 40, -168, 12, 582, -274, -176, 36, 424, -312, 54, 48, -248, -46, -356, 20, 232, 72, 584, -74, -120, 260, -264, -312, -112, -128, 616, 4, 318, 160, -208, 72, 40, 336, -496, 136, 108, 104, -792, -164, 58, 42, 120, 174, 96, -80, 424, -88, 306, -80, 984, 120, -130, -192, -92, -30, 968, 376, 96, 184, 41, 60, 832, 8, -6, 272, -360, 4, 86, 22, -116, -104, 40, 312, -456, -114, -790, -450, 976, 64, 296, 248, 360, 24, -210, 140, -864, -182, -150, -352, -288, -128, 560, 234, -196, -32, -140, 136, 312, -2, -40, 208, 332, 0, -538, 240, -296, 120, -138, -182, -960, 88, -102, 360, -192, -108, 264, -2, 616, -8, -48, -56, -464, -64, -486, -192, 96, -192, 840, -184, 872, 94, 840, -336, -4, 64, 580, -256, -64, 107, 616, 154, -384, -16, 280, -96, 144, -86, 398, 96, 600, 302, 312, -412, -368, -220, 40, 122, 320, 240, 522, -24, 744, 32, -80, 32, 168, 523, 138, -12, 176, -220, 336, 296, 192, 184, 286, 168, -432, 200, -76, -252, 320, -126, -16, 68, 200, 40, -208, 76, -8, 248, -228, 120, 224, 8, -40, -560, 392, -32, -224, -304, 664, -154, -34, -192, 848, -28, -142, 88, 280, 124, 80, -170, -292, 192, 548, 76, -776, -8, -314, 408, 380, -104, 624, 376, 768, -4, 1188, -186, 692, -108, 272, 304, 240, 46, 392, 134, -96, 388, 610, 488, -560, -32, 316, 96, 328, 64, 418, 20, 216, -168]