# Trace form for 3174.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 83, -1, -1, 83, 2, -1, 0, -1, 83, -2, 12, -1, 2, 0, 2, 83, 6, -1, 8, 2, -4, 0, 0, -1, 93, 2, -1, 0, 10, 6, 8, -1, 0, 6, 24, 83, -10, 12, -6, -2, -2, 4, 16, 12, 2, 0, 0, -1, 83, 1, 10, 2, -22, -1, 0, 0, -8, 2, 12, 2, -2, 16, 0, 83, -20, 12, -16, 6, 0, 32, 16, -1, 22, -30, 1, 8, -32, 10, 8, 2, 83, 6, -20, -4, 4, -4, 10, 0, -18, -2, 32, 0, 0, -16, -8, -1, 14, -25, 12, 93, 50, 10, -24, 2, 32, 6, -28, -1, -2, 24, -6, 0, 22, -4, 0, 10, 2, 12, 16, 6, 87, -14, 38, 8, 12, 0, 0, -1, 8, -12, 68, 0, 72, -12, 2, 6, -34, 0, 20, 24, 0, 8, 8, 83, 36, 6, -25, -10, 26, 1, 24, 12, 6, 0, 56, -6, -26, -24, -14, -2, 0, -1, 20, -2, 16, 8, 24, 4, 125, -12, 8, 16, 34, -6, -32, 12, -20, 6, 4, 2, -2, 48, 10, 0, 20, -24, 0, 0, -4, 0, -16, -1, -10, -18, -20, 83, -6, 0, -16, 1, -24, 2, -16, 10, -4, 32, 0, 2, 48, 16, 20, -22, 8, 0, -48, -1, -16, -30, -10, 0, 4, -26, -16, 0, 93, 30, 20, -8, -18, 0, 0, 2, 22, 2, -24, 12, 12, 16, 56, 2, 30, 27, -1, -2, 34, -2, -80, 16, -24, 36, 36, 0, 0, 8, -4, 83, 6, 36, 64, -20, 10, 28, -56, 12, 20, 64, 18, -16, 50, 6, 0, 6, 40, -34, -20, 0, 26, 76, 8, 32, 30, 16, -8, 16, -40, 32, 32, -1, 153, 12, 22, 22, 10, -25, 24, -30, 0, -10, 0, 1, 16, 16, 2, 8, 52, 6, 68, -32, 20, 24, 72, 10, 6, 34, 24, 8, -46, 6, 16, 2, 16, 0, 40, 83, 86, 12, -30, 6, -16, -8, 12, -20, -10, -16, -24, -4, 54, -7, -6, 4, 40, 12, 0, -4, 0, -22, -4, 10, 26, -48, -6, 0, -26, 28, -40, -18, 8, -4, -56, -2, 63, 18, 27, 32, 12, -18, 56, 0, -2, 20, 32, 0, 46, -16, 12, -16, 100, 4, -24, -8, 48, -40, -64, -1, -16, 46, 16, 14, -30, -28, 0, -25, 36, 18, -24, 12, -406, -32, -280, 93, 22, 28, -272, 50, 2, -64, 88, 10, -234, -44, -38, -24, -128, 0, 112, 2, -348, 32, 28, 32, 30, 84, 0, 6, 10, 8, -312, -28, 32, 0, 32, -1, 14, -64, 4, -2, 0, 6, -344, 24, 83, 4, 20, -6, 20, -32, -6, 0, 62, 1, 48, 22, -320, 24, 0, -4, -74, -14, 10, 0, 18, -24, 32, 10, -8, 46, 52, 2, -304, 8, -38, 12, -48, 4, 64, 16, -22, -32, 16, 6, 4, 46, 0, 87, -20, -1, -288, -14, -20, 46, 44, 38, 4, -72, 0, 8, 80, -52, 108, 12, 32, 0, 56, 0, 4, 0, -359, 0, 82, 4, -64, -1, -8, -26, 64, 8, -24, 16, 18, -12, -50, 2, 0, 68, -28, -24, 32, 0, 0, -508, 12, 72, -420, 42, 120, -12, -12, -438, 60, 2, -30, 88, 34, 6, -484, 40, 44, -34, -2, -8, 56, 0, -240, -430, 28, 20, 18, 16, -32, 24, -16, 38, 28, 0, -516, 20, 0, 8, -66, -40, -16, 8, 32, -32, 0, 83, 94, -507, -354, 36, 96, 14, 96, 6, -20, 22, 52, -25, 8, 72, 26, -10, -490, 12, -80, 26, 20, 0, 80, 1, -58, 64, -16, 24, 18, -30, -240, 12, -40, -492, 72, 6, -34, -12, -4, 0, 30, 20, 0, 56, 0, 48, -16, -6, 183, -90, 40, -26, -404, 32, -24, -24, 28, -22, -16, -14, -302, -56, 16, -2, 6, -12, -40, 0, 40, 32, 0, -1, -112, -474, -48, 20, 106, 6, -40, -2, 22, 16, -76, 16, -82, 68, -4, 8, -80, -30, 0, 24, -288, 0, 88, 4, -482, 14, 1, 125, 42, 34, 88, -12, -16, -56, 36, 8, 60, 0, -78, 16, -36, 0, -36, 34, -32, -4, 88, -6, -36, -438, 6, -32, -6, 10, -288, 12, 40, 38, 64, -20, -34, -40, 8, 6, 0, 8, 112, 4, 24, 64, 128, 2, 80, -109, -26, -2, -498, -37, -32, 48, 83, 52, 0, 10, 46, 8, 18, 0, 24, 6, -172, 20, -48, 64, 40, -24, 20, -38, -20, 0, -24, -12, 80, 0, 40, -476, -56, -4, 102, 28, 0, 0, 6, 8, 0, -16, 4, -32, 96, -1, -18, -64, 30, -10, 98, -4, 16, -18, -288, 6, 88, -20, 40, 0, 10, 83, -292, 20, 16, -6, -32, 0, 88, 0, 52, -30, -4, -16, -30, 72, 16, 1, -18, 6, -80, -24, 0, 48, 90, 2, 54, -2, 28, -16, 24, 112, 8, 10, -272, -466, 32, -4, 34, 10, 192, 32, -8, -32, -12, 0, 10, 56, 58, 2, 118, 20, -8, 48, 0, -24, 136, 16, 197, 42, 66, 20, 14, -16, 192, -22, 88, 10, 0, 8, -366, 0, -8, 0, 134, 8, -252, -48, -8, 56, 8, -1, -12, 62, 13, -16, 56, 28, -96, -30, 14, 0, 72, -10, 26, -8, -62, 0, -10, -25, 4, 4, 56, 164, 160, -26, 32, -492, 12, -16, 72, 30, -104, 0, 0, 94, -48, 93, 116, -72, -296, 30, 84, 72, 8, 20, 50, 8, -128, -8, 216, -90, 44, -18, 48, 10, 32, 0, 12, -94, 24, 0, -46, -48, -24, 2, -378, 24, -24, 22, 80, 64, -16, 2, 126, 152, -42, -24, -190, -42, 0, 12, 32, 80, -28, 12, -236, 44, 26, 16, 46, 6, 48, 56, -56, 64, -56, 2, 147, -36, -28, 30, -12, 0, 112, 27, 16, -508, 92, -1, -96, 112, 78, -2, -90, 28, 16, 34, -2, 20, -104, -2, -108, 4, 16, -80, 0, 24, 192, 16, 4, 80, 72, -24, -302, -36, -6, 36, 48, -24, 8, 36, 56, -16, 80, 0, 14, 28, -26, 0, -462, -7, 136, 8, 22, 26, 68, -4, 50, -16, -56, 83, 138, -4, -16, 6, 40, 8, 56, 36, -18, 72, 0, 64, 132, 42, 88, -20, -52, -66, 8, 10, 56, -76, -254, 28, 46, -52, 132, -56, 2, 32, 104, 12, -80, 0, -34, 20, 154, 12, -168, 64, -40, 28, 80, 18, -18, 80, 16, -16, -36, 36, 40, 50, -8, 96, -24, 6, 0, 34, 3, 0, 176, 22, 80, 6, 87, 108, 76, 40, 162, 100, 28, -34, 62, -14, -360, -20, -20, 32, 16, 0, -288, 80, 38, 26, 42, 36, -16, 76, 8, -42, -72, 8, 162, 24, 18, 32, 64, -8, -104, 30, 12, -16, 0, 16, 150, 60, 92, -8, 136, 0, 96, 16, -56, -34, 112, -40, -80, 68, 0, 32, 76, 8, -40, 32, -24, 0, 200, -1, -218, -490, -64, 153, 52, -18, 176, 12, 8, 56, 212, 22, -12, 88, -62, 22, 144, -12, 80, 10, 0, 20, 104, -25, 168, -8, 68, 24, 218, 82, 0, -30, 32, 22, 28, 0, 44, -80, 26, -10, -18, -4, 16, 0, 72, 32, 32, 1, 70, 22, -70, 16, -308, -12, 0, 16, -264, -82, -144, 2, -34, 120, 2, 8, -106, -40, 0, 52, 112, 96, 272, 6, 165, 34, 54, 68, 10, 36, 192, -32, -34, -58, 216, 20, 218, -20, -80, 24, 12, 0, 0, 72, -8, 32, 120, 10, -10, 115, 20, 6, 64, 48, 128, 34, -24, -412, 60, 24, -12, 0, -22, 8, 0, 12, -216, -46, 0, -64, 120, 6, 40, 42, 6, 16, 18, 8, 56, 2, 32, -58, 84, 16, 44, 4, 8, 0, 110, -8, 108, 40, -40, 56, 160, 83, 94, 32, -34, 86, -6, -32, -8, 12, 36, 50, -92, -30, 80, -8, 0, 6, -476, 6, 128, -16, -48, 80, 24, -8, -74, -62, -25, 12, 78, -4, -224, -20, 92, -80, 96, -10, 216, 0, 76, -16, 224, 0, 16, -24, 26, 32, 80, -4, -44, 30, -26, 54, -120, 1, 160, -7, -72, -42, 112, -6, 0, 104, 24, 4, 62, 28, 200, 40, 24, 68, 8, 12, 181, -404, 14, 0, 138, 22, 200, -4, 6, 4, 32, 0, 146, -4, 50, -22, 44, 0, 8, -4, -424, 40, 184, 10, 288, -36, 56, 26, 48, -18, -104, -48, 88, -98, 0, -6, 140, 56, 112, 0, 150, 8, 256, -26, -26, 16, 88, 28, -12, 74, 112, -40, 130, -24, -176, -18, 80, 0, 116, 8, -446, 112, -14, -4, -2, 0, 120, -56, 64, -40, 120, -2, -112, 96, -4, 63, -10, 14, 56, 18, 0, 46, 156, 27, -286, -16, 36, 32, 264, -1, 64, 12, 32, 24, -160, -18, 212, 26, 20, 56, -92, 6, -160, 0, 36, 176, 148, -2, -96, 100, -4, 20, 126, -40, 8, 32, 16, 24, 16, 0, -114, -380, 80, 46, -46, 8, 0, -16, 28, -144, 244, 12, 208, -40, 24, -16, -112, 28, 88, 100, -32, -8, 0, 4, 28, 42, -44, -24, -44, 0, -280, -8, 125, 94, 4, 48, -70, 112, 138, -40, -16, -12, 164, -64, -24, 200, -88, -1, 84, -66, 8, -16, 0, 30, 56, 46, 40, 86, 48, 16, 146, 40, 72, 14, -362, 24, 64, -30, 34, 64, 184, -28, 176, 40, 10, 0, 148, -6, 192, -25, -8, 180, 20, 36, 90, -84, -32, 18, -32, -16, 128, -24, 0, 152, -32, 12, 84, -4, 0, -406, 72, 28, -56, -32, -20, -42, 80, -280, -170, 16, 28, 93, -42, 6, -216, 22, 104, 40, 120, 28, 46, 0, 4, -272, 138, 42, 160, 50, 96, -490, 140, 2, -18, 108, -358, -64, 40, 8, -40, 88, -2, 56, 192, 10, 0, 96, 116, -234, 26, 48, -24, -44, 20, 26, 56, -38, 288, 136, 10, -24, 116, -20, -80, -128, 88, -48, 24, 0, -18, 106, 128, 112, -152, 42, 96, 2, 20, 118, -52, -348, 226, -40, 34, 32, -64, -24, 120, 28, -16, 88, 0, 32, 233, 153, 0, 30, -260, 10, -264, 84, 8, 50, 304, 0, -26, 48, 36, 6, 78, 20, -64, 10, -4, 0, 120, 8, 80, 146, -14, -312, -118, 0, 240, -28, 24, 198, 400, 32, 36, 44, -16, 0, 110, 8, -56, 32, 0, 136, 240, -1, -224, 60, -226, 14, 202, 29, 40, -64, -10, 120, -88, 4, 154, 8, 72, -2, -68, -18, 64, 0, 88, 72, 120, 6, 30, -438, -20, -344, 136, -26, -16, 24, 140, -50, 24, 83, 132, 68, 136, 4, -100, 8, 0, 20, -6, 160, 304, -6, 150, -32, 86, 20, 52, 0, -216, -32, -80, 72, 308, -6, -30, -40, -16, 0, -80, 0, 96, 62, -40, 104, -160, 1, -66, 92, -298, 48, -14, 40, 240, 22, -24, 28, 108, -320, -250, -28, -126, 24, 0, 2, 168, 0, 64, -72, 24, -4, -358, 96, -16, -74, 208, 60, 56, -14, 40, 32, 128, 10, 136, -16, -22, 0, 256, 20, -176, 18, -4, 24, -88, -24, 143, 54, 2, 32, 164, 32, 32, 10, -80, -34, -12, -8, 102, -36, 0, 46, 188, 8, 52, 52, 32, -16, -16, 2, 30, 38, 19, -304, 90, -34, -128, 8, 48, -34, 128, -38, -72, 0, 100, 12, 246, 16, -88, -48, 20, 92, 168, 4, -64, -372, 20, 64, 18, -30, -192, 16, 0, 46, 84, -22, 0, 56, -262, -32, 86, 16, 240, 16, 8, 64, -168, 6, 60, 79, 74, 4, 352, 0, 176, 46, 80, -68, -12, 0, 74, 120, -48, 87, 28, 8, -16, -20, -16, 0, 232, -1, 260, -64, 32, -288, -94, 70, 72, -14, -16, 6, 0, -20, -160, 40, 18, 46, 220, -30, 256, 44, -56, -48, 256, 38, 0, -84, -10, 4, -286, -16, -8, -72, 72, 0, 340, 0, 408, 136, -6, 8, -52, 68, -156, 80, 4, 32, 200, -52, -10, 50, -80, 108, 2, -26, -104, 12, 0, -8, 204, 32, 68, 8, -16, 0, 310, 16, 8, 56, 56, 112, -144, 0, 22, 46, 14, 4, -104, -26, 0, 0, 93, 194, 76, -359, 94, 192, 58, 0, 464, 30, 56, 82, -184, -64, 40, 4, 100, -54, 20, -64, 68, 40, 0, -1, -20, -350, 168, -8, 106, -32, 180, -26, 46, -40, 296, 64, -18, -56, 152, 8, 384, -10, -52, -24, -62, 0, -160, 16, 4, 60, -4, 18, 264, -16, 0, -12, -26, 4, 20, -50, -40, 64, 152, 2, -50, 56, 4, 0, 0, 42, 0, 68, 22, 22, -28, -28, 248, 132, 34, -24, 268, 2, 208, 32, 56, 24, 304, 0, 22, 0, -24, 0, -284, 22, -176, -508, 88, 130, 200, 12, -336, -112, -54, 72, -514, -40, 120, -420, 12, 128, 64, 42, -138, 42, 0, 120, -254, 16, 72, -12, 112, 84, 8, -12, 112, 44, 56, -438, 78, 16, 256, 60, 80, -80, -64, 2, 94, 0, -336, -30, -228, 35, -32, 88, 30, 232, 144, 34, 44, 88, 14, 6, 0, 27, 112, -484, -68, -104, 168, 40, 0, 98, -1, 44, 272, -12, 168, -34, 32, 38, 80, -2, -332, -40, 106, -8, 280, -12, -268, 56, 34, -40, 0, 0, 387, -304, 184, -240, -94, -2, -24, -430, 68, -34, 16, 28, 322, 56, -80, 20, 50, 96, -88, 18, 0, -120, 0, 16, 288, 58, 140, -32, -254, 62, 288, 24, -24, 112, 324, -16, -20, -140, -88, 38, 340, 36, 40, 28, 36, 0, 160, 0, 20, 70, 36, -516, -240, 92, -104, 20, 56, -48, 292, 0, -178, 160, -38, 8, 6, -4, 64, -66, 0, 104, 248, -40, 158, 0, 142, -16, -204, 8, 96, 8, -272, 188, 32, 32, -270, 40, -4, -32, -130, -8, -240, 0, 184, 120, 144, 83, -76, 78, -18, 94, 338, -16, -112, -507, 6, 100, -32, -354, -96, 176, -38, 36, 0, 36, 0, 96, 32, 20, 72, 14, 268, -52, 64, 96, -150, -50, 152, 6, -72, 16, 196, -20, -326, -36, 40, 22, 48, 0, 28, 52, 10, 144, -64, -25, 52, -16, 124, 8, -198, 28, 48, 72, -104, 18, -24, 26, 136, 0, -56, -10, 0, 24, -116, -490, 96, 88, 272, 12, -114, -324, 28, -80, 162, 26, -72, 26, 20, 22, 296, 20, 246, 80, -62, 0, 198, 64, 336, 80, 48, 240, -160, 1, 323, 94, 18, -58, -464, 42, -96, 64, 40, 156, -308, -16, 128, 0, 0, 24, 326, 104, 416, 18, 50, -96, 56, -30, 2, 10, -50, -240, 0, 6, 184, 12, 52, 46, -64, -40, 110, 0, 0, -492, 190, 120, 208, 72, 40, 128, 24, 6, 112, 153, -48, -34, 168, 70, -216, -12, 40, 30, 84, -4, 0, 24, -86, 0, -280, -34, -60, 30, 72, 168, -224, 20, 294, 66, -20, 0, -166, -80, 256, 56, 72, 12, 32, 0, 256, 152, -206, 48, -160, 32, -24, -16, 26, -48, 88, -6, 168, -82, 90, 183, -108, 76, 64, -90, -40, 176, 0, 40, 60, 144, 8, -26, -1608, 28, -1808, -404, 0, -48, -1936, 32, 22, -28, 57, -24, -1898, -26, -128, -24, 30, 0, 324, 28, -1924, 88, 14, -22, -96, 16, 172, -16, 92, 336, -1816, -14, -60, 112, -8, -302, 42, 6, -136, -56, 0, -366, -1672, 16, -78, -8, -246, -2, 172, -8, 152, 6, -40, 132, -112, -12, -1768, 68, 54, -40, -264, 32, 104, 0, 188, 30, 4, 40, 68, 236, 32, 32, -1680, 32, -64, 0, 144, 160, 32, -1, 54, 14, 116, -112, -22, 22, 0, -474, 153, 202, -1704, -48, 284, 64, 144, 20, -90, 12, -312, 106, -80, 88, 312, 6, 206, 80, 22, -40, -6, 0, -1752, -2, 48, 52, -40, 22, -112, 88, 138, 16, -114, -16, 200, -76, 10, 24, 0, 16, -96, 6, -118, -82, 0, -25, 368, 68, 68, -46, 136, -4, -120, 224, 24, 8, 54, 76, 248, -80, 40, -72, 240, -30, 40, 8, -16, 0, -1732, 76, 352, 24, 0, 112, -124, -288, 290, 16, -56, 0, 128, -10, 72, 88, 8, 128, -64, 4, 22, -116, 0, -482, 218, 46, -1696, 14, 88, -120, 156, 1, 52, 160, 116, 125, 204, 48, 204, 42, 16, 0, 8, 34, -154, 0, 92, 88, 520, 16, 16, -12, 88, 238, -1840, -16, -38, 88, 2, -56, 190, 40, -64, 36, -88, 72, 24, 8, 0, -439, 32, 60, -382, -106, -24, 0, 52, 26, 136, -78, -102, 48, 80, 16, -1810, 6, 208, -36, 84, 128, 176, 0, 120, -78, 68, -36, -16, 10, 8, 34, 16, -60, 24, -32, 192, 16, -50, -4, 174, 24, 64, 88, 20, 128, 0, -6, -1700, 176, 102, -36, 226, 24, 240, -438, 88, -96, 528, 6, -194, -80, 72, -32, 214, 28, 136, -6, -16, 0, 256, 10, 429, 68, 86, -288, 36, 128, 336, 12, 6, 54, -1556, 40, 64, 280, 34, 38, 106, 34, -80, 64, 0, -8, 352, -20, -394, 60, 24, -34, 298, -72, 64, -40, 132, 146, -132, 8, -204, -72, -212, 6, -240, 60, 40, 0, -46, 124, -1920, 8, 110, 82, -46, 112, 330, 6, -160, 4, 144, -42, -8, 24, 152, 192, 16, 64, 74, 16, 0, 128, 24, 176, 320, 2, 88, -16, -177, 80, 44, -44, 384, -109, 16, 58, 244, -26, -1688, 176, -124, -2, -26, 0, 232, -498, 48, 172, 152, -37, 144, 26, 40, -32, 58, 12, 256, 48, -24, 120, 8, 83, 22, 92, -144, 52, 0, 48, 120, 0, 86, -160, 392, 10, 140, -236, -94, 46, -1648, 12, -8, 8, 8, -12, 388, 18, -60, 40, -30, 0, -16, 84, -32, 24, 96, 44, -40, 6, 126, -144, 4, -172, -310, -4, 16, 20, -16, 222, -28, -48, -244, -140, 0, 64, 382, -8, 252, 40, 0, 168, -1504, -24, -172, 110, 12, 20, 80, 80, 296, -38, 80, -90, 16, -20, -82, 0, 26, 0, 372, -28, -64, -24, -10, 172, 32, -12]