# Trace form for 8014.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 333, -1, 0, 333, 4, 0, -4, -1, 337, -4, 6, 0, -6, 0, 0, 333, -6, -5, -2, 4, 4, -10, 4, 0, 327, 2, 0, -4, 6, -16, 8, -1, 28, 2, 4, 337, -6, -2, 12, -4, -2, 12, 4, 6, 8, 0, -4, 0, 345, -7, -16, -6, 0, 0, 16, 0, -36, -10, -20, 0, -10, -12, -24, 333, -52, 32, -30, -6, 16, -8, 0, -5, -6, 2, -44, -2, -32, -12, 4, 4, 333, -6, -14, 4, -28, -4, -64, -10, 6, -36, -8, 4, -24, 8, -20, 0, -34, 7, 38, 327, 6, -4, -20, 2, -24, 20, -10, 0, -6, -40, 12, -4, -38, -32, 64, 6, -74, -20, 12, -16, 361, -22, -40, 8, 0, -12, -76, -1, -16, -8, -18, 28, -100, 14, 40, 2, -42, -32, 0, 4, 28, -28, -4, 337, -40, -18, -80, -6, 2, -40, -20, -2, -42, 0, -16, 12, 14, -24, -32, -4, 12, -65, -6, -2, -24, -10, -24, 12, 295, -8, -134, 4, -76, -36, -100, 6, -44, -26, -48, 8, -54, -36, -4, 0, -76, -44, -44, -4, 36, -44, -76, 0, -62, -6, -12, 345, -132, -14, -24, -7, -108, 26, 32, -16, -16, -8, -32, -6, 52, -16, 6, 0, 0, -14, 16, 0, -92, -54, -80, 16, 4, 20, -32, 0, 359, -2, -28, -36, -4, 20, 16, -10, -34, 10, 84, -20, 28, -100, 28, 0, -10, -53, -80, -10, -4, 28, 0, -12, 56, -24, -12, -24, 44, 36, -8, 333, 6, -8, 0, -52, 6, -34, -12, 32, 44, 88, -80, -30, -104, 4, 84, -6, -60, -2, 86, 16, -80, 40, 120, -8, 10, -16, -52, 0, -40, -20, -56, -5, 299, -24, 44, -6, 102, 32, -32, 2, 20, -6, -108, -44, -4, 28, 24, -2, -32, 98, 70, -32, 16, -16, 0, -12, -22, -58, -20, 4, 40, 0, 96, 4, 56, 64, -156, 333, -78, -14, -40, -6, 32, 104, 0, -14, 154, -64, 68, 4, -42, 17, 32, -28, -84, -46, -68, -4, 100, 32, 12, -64, 66, -20, -20, -10, -118, 56, 32, 6, -52, -56, -88, -36, 309, 26, -60, -8, 28, -24, 152, 4, 10, 40, -68, -24, -16, -84, 84, 8, 44, -60, -58, -20, 32, -8, 48, 0, 36, -66, -32, -34, 6, 52, 164, 7, 60, 24, -8, 38, 178, -48, -212, 327, 118, 0, -232, 6, 32, 64, 156, -4, 38, -20, 8, -20, -76, -120, -40, 2, -28, -32, 82, -24, 60, -102, -8, 20, -14, 88, 60, -10, 180, -20, 80, 0, 26, 24, 240, -6, 64, 0, -68, -40, 365, -32, 144, 12, -64, 48, -76, -4, 46, 29, 100, -38, 144, -12, 120, -32, 50, -12, 112, 64, 54, -72, -236, 6, 232, -18, -104, -74, 84, -56, -136, -20, 224, 4, -14, 12, 152, 4, 104, -16, 24, -26, 20, 361, 48, 0, 16, -22, -60, -84, 94, -40, -48, 80, 136, 8, 148, -24, -44, 0, 64, 40, 48, -12, 28, 0, 124, -76, 120, -140, -36, -1, -32, 38, 208, -16, 36, -20, 20, -8, 22, 14, -124, -18, 80, -72, -88, 28, 281, -52, -28, -100, -72, 20, -92, 14, 216, 8, -66, 40, -28, 64, 152, 2, 48, -64, -94, -42, 22, -186, 100, -32, -188, 60, -144, 0, 20, 92, -64, 4, 184, -26, 124, 28, -208, -36, 24, -28, -82, -36, -64, -4, 20, -32, 200, 337, 74, 61, -272, -40, 20, -140, -148, -18, -96, -18, -58, -80, -136, 132, 244, -6, -74, 176, -136, 2, -20, 12, -124, -40, -98, -220, -166, -20, 116, 104, -24, -2, -148, -64, -56, -42, -162, 58, 28, 0, 178, -4, -22, -16, 48, -172, -232, 12, 185, 74, 188, 14, -120, 52, 116, -24, -76, -60, 84, -32, -238, 32, -192, -4, 30, 24, -110, 12, 180, -40, 80, -65, 80, 70, -200, -6, 76, 96, -156, -2, -86, 104, 44, -24, 74, 12, 16, -10, -52, -142, 12, -24, 220, -104, -8, 12, -218, -58, -68, 295, 106, -36, -204, -8, 108, -52, 88, -134, 24, -144, -60, 4, -36, 80, 60, -76, -192, 68, -148, -36, -64, -46, -208, -100, -26, -156, -232, 6, -12, -130, 116, -44, -36, -60, 8, -26, -52, 108, 184, -48, -196, -4, 72, 8, -64, -45, -200, -54, 42, -4, -304, -36, 337, -128, 128, -4, -140, 8, -216, 0, -152, -30, -112, -76, 32, -12, -40, -44, 28, 8, 234, -44, 276, -40, -4, -4, -56, 28, -96, 36, -126, 30, 16, -44, -42, -84, -188, -76, -120, 8, 88, 0, -154, 40, 132, -62, 78, -92, -176, -6, -80, -146, -152, -12, 212, -20, -168, 345, 204, -144, -80, -132, 64, -8, 36, -14, -148, 34, 276, -24, 56, -24, 188, -7, 322, -94, -52, -108, -356, 100, 316, 26, 54, 40, 86, 32, -32, 148, 68, -16, -136, -154, -76, -16, 32, 36, -56, -8, 472, -80, 38, -32, 36, 116, 124, -6, 494, -56, -88, 52, 80, 22, 200, -16, 503, -12, -280, 6, 108, 64, 204, 0, 208, -66, 124, 0, 84, 88, 24, -14, 262, -84, 74, 16, 228, 116, -140, 0, 200, 90, 32, -92, 24, 132, -56, -54, -110, 152, 292, -80, -172, 136, 20, 16, -114, 147, -16, 4, 444, 76, -56, 20, 88, -128, 318, -32, 304, 80, -100, 0, 280, -102, 60, 359, -40, 44, -124, -2, -40, 244, 32, -28, -58, -12, 196, -36, -192, 178, 228, -4, -60, 12, 148, 20, 72, -118, 148, 16, -106, 4, 280, -10, 110, -32, 262, -34, -24, -40, 384, 10, -78, -44, -60, 84, 360, 252, 96, -20, 244, 144, 254, 28, -76, 94, -156, -100, 2, 96, 32, 28, 172, -4, 44, 0, 169, -20, -118, -10, 152, 176, -60, -53, 24, -156, 204, -80, -56, 48, 376, -10, 166, 0, 288, -4, 350, 58, 204, 28, 124, -44, -152, 0, -284, 64, -144, -12, -12, 16, 500, 56, -106, -96, -40, -24, 360, 40, -68, -12, 596, 80, 52, -24, -82, 120, -224, 44, 8, 92, -340, 36, -226, -128, 452, -8, -8, 76, 120, 333, -166, -8, -256, 6, 96, -232, 100, -8, 74, -28, 204, 0, 420, 136, -56, -52, 4, 70, -64, 6, -100, 112, 20, -34, 302, -252, -114, -12, -54, -52, 284, 32, -324, -73, -204, 44, -102, -176, -200, 88, 100, -180, 140, -80, -208, 112, 112, -30, 204, 16, 136, -104, -348, -290, -212, 4, 40, 112, -200, 84, 120, -48, -196, -6, 589, -264, 226, -60, -392, 178, -72, -2, -42, -210, 120, 86, -124, -48, 0, 16, -200, 120, -152, -80, 276, 64, 52, 40, -336, 144, -136, 120, -150, 44, -244, -8, 152, -176, -100, 10, 148, -72, 168, -16, 122, 172, 408, -52, -144, -32, -320, 0, 268, -166, -64, -40, 268, -224, -468, -20, 632, 124, -16, -56, 44, -140, -56, -5, -58, -114, 60, 299, 576, -156, -216, -24, -144, -128, 210, 44, -208, 80, 0, -6, 16, -152, -104, 102, -268, 66, 80, 32, -36, -96, -54, -32, 8, 76, -316, 2, -220, -146, -90, 20, 68, 220, -212, -6, -250, -136, -72, -108, -248, -196, 200, -44, -334, -2, -20, -4, 220, 78, -172, 28, 148, -44, -156, 24, -204, 80, 136, -2, 338, -240, 60, -32, -80, 52, -144, 98, 231, -86, -284, 70, -162, 16, 12, -32, 50, 70, 256, 16, -48, 110, -332, -16, 12, 0, 192, 0, -240, 32, -276, -12, -438, -309, -316, -22, 312, -492, -104, -58, -60, -244, -332, -20, 212, 60, -224, 4, 368, -16, -472, 40, -204, 96, -76, 0, -20, 78, -188, 96, -254, -264, -112, 4, -168, -86, -54, 56, 88, -62, -92, 64, 302, -24, -88, -156, 48, -44, -332, 333, -318, -120, -216, -78, -112, -16, -120, -14, -88, 72, 266, -40, 308, 64, -136, -6, -16, -250, -132, 32, 132, 24, 456, 104, 262, 54, -548, 0, -148, 32, 48, -14, -4, -328, -24, 154, -484, 140, -68, -64, -56, -428, -136, 68, 82, -20, 80, 4, -384, -198, -184, -42, -24, 56, -240, 17, 232, -202, -64, 32, -340, 104, -364, -28, 206, -16, -268, -84, 8, -32, 28, -46, 519, -284, -228, -68, -158, 28, 56, -4, -254, -88, 520, 100, -232, 156, -24, 32, -292, 140, 64, 12, -124, 28, -392, -64, 4, -348, -212, 66, 352, -88, -24, -20, 220, -162, -244, -20, 140, 216, -44, -10, -250, -24, -172, -118, 186, -120, 260, 56, -404, -148, -328, 32, -174, -176, -152, 6, -88, 200, 556, -52, -152, -208, -360, -56, 318, -224, -28, -88, 528, 12, 96, -36, -64, 176, -244, 309, -236, -188, 52, 26, -96, -442, -138, -60, 152, 148, -348, -8, -228, -389, -86, 28, 16, 56, 216, -24, 256, -176, 546, 152, -48, 304, 108, 4, -544, 16, 76, 10, 40, -228, 204, 40, 334, 4, -222, -68, -504, 172, 104, -24, 94, -80, 304, -16, 26, 118, 148, -84, 24, -68, -118, 84, -412, 72, -304, 8, 284, -240, -56, 44, -136, -132, 36, -60, 24, -6, 272, -58, -8, -188, -340, -20, 347, -90, 110, 32, -42, 144, -108, -8, -80, 24, 80, 48, 64, -36, -80, 0, -32, -202, -722, 36, 328, -4, -184, -66, -536, -78, -152, -32, 16, 32, -92, -34, 38, -40, 168, 6, -312, 16, -332, 52, 44, 80, -244, 164, 236, 156, -184, 7, -548, -408, 94, 60, -210, -204, -860, 24, -52, -352, 26, -8, -396, 160, 12, 38, -492, 52, 184, 178, 136, -324, -116, -48, -56, -72, -176, -212, -246, 108, -332, 327, -446, -498, -216, 118, -72, -204, 100, 0, -242, -336, -296, -232, 294, 60, -164, 6, -168, -410, -330, 32, 116, 6, -464, 64, -568, -48, -410, 156, -582, -36, 292, -4, -148, -136, -144, 38, -350, -252, -288, -20, -528, -112, 464, 8, -240, -148, 112, -20, 104, 440, -160, -76, -100, -114, -412, -120, 74, 44, -228, -40, 28, 164, -132, 2, -416, 10, 260, -28, -276, 100, -556, -32, 60, -144, -66, 82, -148, 12, -140, -24, 203, -103, -736, 60, -40, -52, -288, -102, -164, -40, -192, -8, -364, 164, 16, 20, 394, -64, 178, -14, 148, -204, 436, 88, -412, 20, 84, 60, 24, -108, -88, -10, -668, -14, 36, 180, 48, -174, -188, -20, -222, 56, -230, 80, 100, -132, 48, 0, -392, -292, -152, 26, -310, 12, 220, 24, -382, 52, 284, 240, -112, 156, -144, -6, 344, 42, -8, 64, -20, 112, 112, 0, -78, 164, 144, -68, -292, -188, -628, -40, 120, -130, 228, 365, -232, 204, -60, -32, -400, -260, 0, 144, -728, -12, 156, 12, 154, 40, -40, -64, -452, -482, -156, 48, 76, 264, 448, -76, -438, 324, -364, -4, -172, -320, -348, 46, -332, -64, -20, 29, -258, -352, 272, 100, -340, 396, 64, -38, -640, -168, -66, 144, 14, -28, -276, -12, -112, -214, 212, 120, -220, -172, -268, -32, -350, -152, -48, 50, 448, -336, 200, -12, -4, 56, -80, 112, 216, 4, 4, 64, -72, -8, -512, 54, 464, -20, 420, -72, 209, -146, -184, -236, -60, 108, 40, 6, -116, -186, 270, 232, 236, -18, 152, -18, 80, 292, -138, -104, -484, -180, 72, -74, -42, -82, -96, 84, 406, 204, -96, -56, -204, -84, 340, -136, -420, 164, -376, -20, -210, -264, 72, 224, -16, -86, -264, 4, -156, -144, 286, -14, 128, 56, 316, 12, -188, -98, -130, 152, 120, 272, 120, 4, -150, 16, 132, 104, -264, 208, 284, -16, -100, 63, 176, 24, -8, -138, -424, -26, 288, -56, 176, 20, -338, 168, 200, 361, 64, -136, 88, 48, -308, 24, 240, 0, -140, -124, 112, 16, 268, 76, 88, -22, -620, 38, 192, -60, 204, -8, 456, -84, -76, -138, 152, 94, 0, -56, 452, -40, 480, -12, -332, -48, 544, 380, -492, 80, -220, 248, -218, 136, -496, 80, 376, 8, 168, -288, 340, 148, 52, -404, -224, -24, -82, 290, 116, -44, -152, 64, -104, 0, 296, 32, -114, 64, -400, -8, -32, 40, 374, -268, 402, 48, -352, -328, 352, -12, -178, -170, -852, 28, -12, -40, 380, 0, 563, -180, 146, 124, 232, 564, -108, -76, -52, 350, 232, 120, -244, -176, -232, -140, -296, -24, -520, -36, 456, 280, 72, -1, 120, -450, -744, -32, 260, 200, 356, 38, -122, -236, -56, 208, -508, 16, -136, -16, 100, 294, -184, 36, -156, 376, -144, -20, 400, -252, 354, 20, 92, 244, 592, -8, -654, 8, -230, 22, -52, 8, -360, 14, -42, -40, -520, -124, 132, -84, 368, -18, -354, -362, 296, 80, 260, 70, -12, -72, -32, 130, -176, -88, -180, 208, 340, 28, -170, -280, 700, 281, 248, -4, -324, -52, -396, -594, 164, -28, -32, 108, 80, -100, 302, -200, -332, -72, -372, 52, 12, 20, -178, -96, -176, -92, 220, 68, 404, 14, -644, -60, 100, 216, 156, 72, 412, 8, 202, -32, -184, -66, 772, 148, -284, 40, -134, -232, -52, -28, -128, 292, 156, 64, -406, 4, 240, 152, -440, -52, -1088, 2, -156, -665, 116, 48, 236, -18, 196, -64, 44, -8, -72, -94, 80, 352, 88, -42, 208, -122, 444, 22, -264, 116, 88, -186, -196, 56, 386, 100, 68, -208, -8, -32, 497, -152, 196, -188, -84, -96, -284, 60, 700, -200, 316, -144, 164, 352, -288, 0, 770, -16, -56, 20, 460, 180, -180, 92, 204, -34, -252, -64, -42, 316, 600, 4, -368, -56, 274, 184, 528, 116, 400, -26, 300, -480, 180, 124, 384, -148, -188, 28, -308, 74, 20, -208, -524, 44, 196, -36, -300, -328, -316, 24, -454, 148, 524, -28, -446, -160, 356, -82, 460, -124, -12, -36, -58, 372, -496, -64, -404, 348, -36, -4, -564, -92, 112, 20, -38, -172, 680, -32, 370, -388, 178, 200, 272, -208, -44, 337, -248, 78, 1008, 74, 260, 4, 184, 61, 134, 12, 232, -272, -732, -264, 212, -40, 324, 368, 8, 20, -416, 250, 48, -140, -280, -24, -188, -148, 530, 252, 192, -18, 276, -168, 518, -96, -46, -412, -80, -18, 420, -400, -286, -58, 398, -48, -216, -80, -280, 136, 4, -136, -498, 10, -596, 132, -52, -44, -72, 244, 120, 20, 12, -6, 556, -40, 106, -74, -372, -214, 56, 176, 238, -160, 32, -136, -170, 52, -344, 2, 448, -274, 544, -20, -64, 196, 68, 12, 186, 476, 148, -124, -664, 120, 548, -40, 45, -418, -36, -98, -152, -220, 24, -220, -44, -264, -48, -166, 236, 284, -96, -20, -114, 56, -80, 116, -148, -268, 360, 104, -366, 244, 8, -24, -112, 244, 112, -2, -356, -66, -512, -148, 198, 272, 416, -64, -402, -88, -496, -56, 88, -12, 272, -42, -348, 609, 168, -162, 336, -516, 104, 58, -420, 90, 330, 28, -24, 336, 628, 0, -492, 102, -358, 178, 40, 196, -396, -4, 286, -64, 486, -22, 428, 508, 0, -16, 364, -180, 792, 48, -52, -184, -4, -172, 44, 196, -32, -232, -528, -72, -180, 12, 568, -58, -80, 185, -260, 224, -308, 74, 444, -28, -264, 188, -224, 76, 412, 14, -320, -80, 140, -120, 684, -108, 4, 52, 398, -60, 296, 116, -286, 424, -308, -24, 74, 80, 352, -76, -32, -120, -248, -60, 44, 124, -110, 84, 432, 176, 224, -32, 212, -96, -352, -238, 320, 204, 112, 32, -512, 78, -192, -192, -40, 140, 344, -4, 280, 64, 76, 30, 48, -198, 132, 24, -232, -480, -176, -110, 36, 536, 136, 12, -788, -146, -84, 180, 236, 104, -652, -40, 568, 424, 120, 80, -664, -184, -124, -65, 182, 98, -692, 80, -248, -372, 268, 70, 235, 392, 660, -200, -368, 84, -160, -6, -822, -72, 184, 76, -316, 202, -232, 96, -454, 120, 544, -156, 382, -104, 136, -2, -636, 60, -228, -86, 204, 212, 320, 104, -614, -440, 260, 44, -90, 208, 720, -24, -180, 342, 564, 74, 524, -292, 44, 12, 204, 120, 84, 16, -536, 192, -460, -10, 270, 8, -278, -52, 452, -720, -268, -142, 192, 76, 252, 12, -528, 696, 104, -24, 504, 312, -590, 220, -152, 292, 288, -104, -476, 70, 102, -8, 4, -28, 400, 12, -246, -148, -840, -218, -128, 100, 1212, -58, 364, 164, 350, -68, -520, 264, -540, 295, -124, -288, 402, 106, 284, -264, 196, -36, -30, 68, 816, -204, -500, 212, -36, -8, -288, -126, -404, 108, 46, -252, -124, -52, 614, 240, 220, 88, -176, 196, -96, -134, 308, 353, -188, 24, 10, -52, 156, -144, -1044, -90, 32, -60, 226, -124, -664, 4, 86, -190, -140, -36, 332, -72, -196, 80, 368, 152, -86, 60, 524, 484, 456, -76, 88, 300, -592, -192, -124, -12, 600, 68, 238, 224, -360, -148, -296, 108, 332, -36, -512, -208, -248, -64, -308, 104, 16, -46, -532, 372, -732, -208, 662, -88, -96, -100, 18, -168, 542, -26, -152, 116, 8, -156, 539, 28, -44, -232, 108, 596, 52, 6, 2, 46, 112, -12, -504, -220, -352, -130, -390, -514, 56, 116, 20, 132, -248, -44, -518, -188, -1384, -36, 118, -56, 196, -60, -340, -150, -244, 8, -712, 200, 464, -26, -552, -328, -294, -52, 728, -24, 588, 108, 130, 76, -412, 184, -536, 568, 320, -48, 16, 238, -108, -196, -52, -312, -356, -4, 530, 32, 336, 72, -736, 28, -272, 8, 320, 272, -432, -64, 40, -240, 224, -45, 4, -104, -228, -200, 104, 88, 40, -54, -418, 616, 192, 42, -372, 186, -824, -4, 116, -140, -928, -304, -4, 652, 504, -36, -1036, 88, -108, 337, -26, 98, -560, -128, 124, 432, 192, 128, -854, 64, 680, -4, 280, -152, 560, -140, 60, 62, 24, 8, -384, 164, 94, -216, -180, -4, -228, 0, 652, 80, 28, -152, 96, 52, 68, -30, 410, -208, -444, -112, 404, 304, 200, -76, 448, 30, -182, 32, 192, -338, 720, -12, -14, 500, 302, -40, 436, 12, -760, -44, 324, -478, 108, 28, 292, 328, 404, 8, -140, 126, -104, 234, -402, 212, -592, -44, 300, -96, -408, 276, 326, -198, 352, -40]