# Trace form for 1078.2.a, downloaded from the LMFDB on 20 April 2024.
[0, 35, -1, 0, 35, -2, 4, 0, -1, 39, -6, -1, 0, 2, 0, 16, 35, 6, 3, 12, -2, 0, -1, 8, 4, 37, -2, 24, 0, 10, 24, 16, -1, 0, -2, 0, 39, -54, 8, -32, -6, -18, 0, -20, -1, -34, 16, -16, 0, 0, -23, 0, 2, -22, 16, -6, 0, -40, -30, -8, 16, 18, -8, 0, 35, -20, 4, -28, 6, 0, 0, 16, 3, -2, -22, 24, 12, 0, 24, -56, -2, 43, -10, 4, 0, -36, 12, -24, -1, -18, -6, 0, 8, -8, 8, 0, 4, -18, 0, -13, 37, -30, -16, -8, -2, 0, -6, 68, 24, 2, 6, -32, 0, -26, 16, 16, 10, 2, -12, 0, 24, 35, -26, 48, 16, 36, 0, 8, -1, 16, -44, -28, 0, 0, 28, 0, -2, -58, 16, 12, 0, -80, 8, 10, 39, 12, 14, 0, -54, -46, 20, -24, 8, 46, 0, -16, -32, 6, 48, 16, -6, 0, -9, -28, -18, -72, 0, -8, 0, 45, 12, -12, -20, 26, -16, 0, -1, -32, -10, 44, -34, -26, 0, -8, 16, 100, -8, 2, -16, 0, 64, -48, 0, -58, -34, 24, 0, 10, 3, -8, -23, -80, 6, 0, 0, -4, 32, 0, 2, 0, 0, 68, -22, -8, 12, -40, 16, 0, -38, -40, -6, 20, -56, -8, 0, 1, 30, 12, -40, -18, 0, 0, -30, 62, -18, 48, -8, -32, 0, 16, 16, -42, -1, 32, 18, 0, -120, -24, -8, -88, -36, -64, 0, -16, -144, -64, 35, 38, 0, 0, -20, -54, 0, 104, 4, 52, 0, 0, -28, 6, -104, 48, 6, 0, 14, 17, 0, -54, 80, -32, 0, -90, 32, 20, 16, -56, -2, 0, 3, 113, 36, -72, -2, 34, 0, 8, -22, 24, 42, 32, 24, 0, 0, 32, 12, 20, 70, 4, 0, -80, 32, 0, 24, -26, 10, 0, -56, 18, -40, 10, -2, 0, 0, 88, 43, -42, -68, 8, -10, 0, 16, -100, 4, 26, -16, 24, 0, -146, 1, 56, -36, -4, 32, 0, 12, -64, 6, 164, -24, -54, 0, -80, -1, 38, 112, -40, -18, 0, 52, 144, -6, -105, 42, 0, 0, 140, -128, -72, 8, -10, -4, 0, -8, -166, 10, 104, 8, 36, 0, 4, 0, 8, 80, 0, 4, 0, 70, -76, -18, -78, -8, 48, 0, 144, 34, -32, -13, -26, -64, 0, 37, 142, -48, -232, -30, -42, 0, -62, -16, -2, -84, 64, -8, 0, -144, 40, -2, 80, 20, 16, 0, -230, 60, 32, -6, 90, -24, 0, 68, 24, 8, 48, 24, -66, 0, 168, 2, 48, 48, -40, 6, 0, -140, 188, -32, -124, -40, 56, 0, 70, -171, 10, -26, -8, 24, 0, 16, -122, 2, 120, 16, -86, 0, -48, 10, 64, -98, -24, 2, 0, -96, 144, -12, 28, 32, 60, 0, -46, 40, 16, 24, -4, -2, 0, 35, 4, 12, -32, -26, 0, 0, 164, 48, -44, 0, -22, 16, 0, 136, 124, 36, -72, -92, 40, 0, -52, -8, -40, 8, -2, -64, 0, -1, -64, 30, 152, 16, 4, 0, 200, -44, -26, -94, 52, -28, 0, 64, 176, 0, 203, -52, -96, 0, 84, -32, -8, 28, 16, 58, 0, 0, -350, -48, 16, -2, -4, 0, 140, -58, 34, -15, 0, 16, 0, 2, -24, 12, 42, -40, -40, 0, 0, -122, -44, -80, 52, 32, 0, 8, 14, -24, 28, 10, 8, 0, 64, 39, -10, 21, 40, 12, 0, 112, 26, 14, 44, 70, 64, 0, 80, 128, 72, -54, -90, 16, 0, -46, 32, 16, 160, 20, 78, 0, -12, -24, -2, -88, 96, 8, 0, -84, 144, 46, -38, 16, 64, 0, 166, 104, 40, -16, 96, 16, 0, -32, 223, -42, 16, 6, -44, 0, 136, 48, -48, 186, 72, 16, 0, 10, 240, -6, 110, -48, 48, 0, 80, 104, -8, -9, -32, 10, 0, -28, 74, -48, 160, -18, 22, 0, 108, -72, -18, 100, -16, 0, 0, -62, 224, -8, 248, 152, 10, 0, -98, -18, 56, 45, -70, 0, 0, 12, 208, -20, 12, -12, -52, 0, -216, -20, -52, -128, -96, 26, 0, 124, -72, -16, 4, -10, 16, 0, 186, -168, 104, -1, -64, 30, 0, -32, 90, 8, -376, -10, -32, 0, 12, 44, 56, 8, 48, -34, 0, -269, -368, -26, -282, 4, -104, 0, -417, -68, -24, -8, -6, 8, 0, 16, -20, -34, 116, 100, -8, 0, -352, -8, -164, 34, -116, 2, 0, -200, -56, -16, -160, 12, -152, 0, 82, 140, 0, 64, 62, -56, 0, -48, -164, 8, -72, 0, 6, 0, 208, -58, 46, 52, 0, -34, 0, -14, -304, 24, 24, 16, -32, 0, 100, -184, 4, 10, 96, 32, 0, 3, -172, 58, -184, -8, 22, 0, 208, -23, -106, -154, -22, -80, 0, 184, -88, 6, 254, -158, 28, 0, -328, 10, -40, 0, -112, 22, 0, -4, -182, 88, -48, 32, 24, 0, 52, 0, 62, -232, 24, 2, 0, 240, 280, 0, 24, -108, -40, 0, -59, 50, -176, 68, 10, 40, 0, -22, 176, 2, 40, -8, -30, 0, -312, 12, 62, 0, 24, -40, 0, 88, -144, 16, 148, -82, 128, 0, 16, 0, 136, -38, -26, 32, 0, -40, -38, -40, -176, -6, 38, 0, -20, 20, 40, 124, 88, -56, 0, 100, -41, -8, 48, 144, -56, 0, 392, 94, 0, 1, -12, 2, 0, 30, -252, 56, 172, 12, 178, 0, -152, -40, -8, 62, -24, -18, 0, 136, -88, 0, -200, 38, -8, 0, -466, 160, 8, -30, 46, -16, 0, 62, -192, 4, 68, -18, 46, 0, -184, 48, 98, -48, 48, -8, 0, 28, 236, -32, -180, -80, 32, 0, -2, 154, -72, 16, -24, 8, 0, 16, -125, 84, -180, -42, -12, 0, 72, -1, 80, -4, -104, 32, 0, -32, -296, 18, 110, 96, -42, 0, -54, 116, -72, -120, 60, -28, 0, -24, 224, -42, -208, -8, 64, 0, -200, -88, 10, 204, -144, -36, 0, 88, 64, -64, 8, -8, 152, 0, -154, -188, 104, -16, -66, -28, 0, -144, 206, 18, 108, -64, 30, 0, -40, 35, -78, 88, 64, 38, 0, 88, 104, 0, 78, 20, -208, 0, 180, 176, -16, -20, 0, -90, 0, -54, 32, 16, -64, 0, 110, 0, -268, 104, -118, 176, 24, 4, 0, 71, 264, 52, -166, -4, -56, 0, -144, -68, -26, 0, 34, 72, 0, -28, 156, 64, -76, 6, -120, 0, 144, -104, 32, 74, -72, 48, 0, -304, -152, 6, 39, 52, -52, 0, 42, 68, -48, 14, 94, 102, 0, 17, -232, 40, -304, 0, -24, 0, 560, -54, -74, 104, 18, 80, 0, 130, -200, -32, -446, -40, 56, 0, -176, 16, 72, -90, -92, -88, 0, 32, -242, -116, 400, 20, 28, 0, -40, 16, -16, 182, -152, -56, 0, 132, -296, -2, -76, 40, -48, 0, 200, 248, 32, 3, -74, -66, 0, 113, 92, 16, -304, 36, -96, 0, 108, -72, 92, -14, 16, -2, 0, -276, -156, 34, 336, -44, 0, 0, 44, 96, -52, 8, 78, 0, 0, -22, -16, -90, -20, 24, 68, 0, -112, 42, -50, 216, 56, 32, 0, 192, -46, 24, -130, 46, -136, 0, -164, 148, -96, 0, -64, -6, 0, 32, -78, 64, -8, 12, 54, 0, 200, 20, -32, 48, -8, 70, 0, -94, 312, 4, -478, 64, 0, 0, 94, -2, 24, -80, -42, 52, 0, 32, -76, 64, -210, 0, 72, 0, -16, 24, 38, 91, 4, -26, 0, 40, 216, 10, 496, -124, 88, 0, -428, -192, -16, -56, -48, -64, 0, 18, -112, -56, 112, -40, -64, 0, -592, 10, 78, -160, -160, -2, 0, -106, -340, 0, 140, 100, -22, 0, 198, -272, 40, 88, 136, 16, 0, 43, -2, 12, -448, -42, -2, 0, -88, -68, 108, 10, -72, 8, 0, -384, 152, -10, 388, 6, 48, 0, 472, 108, 24, 16, 86, -54, 0, -100, -194, -16, -48, 4, 0, 0, -1, 26, 0, -152, 80, -16, 0, -304, -360, 24, 26, 22, 0, 0, 244, -82, -32, -146, 8, 64, 0, 1, 56, 6, -512, 56, -32, 0, 176, -36, -58, -176, 0, -4, 0, 164, 336, 32, -259, -76, 72, 0, -174, -264, -36, 12, 182, 84, 0, -64, 50, 60, 424, 6, -228, 0, -432, 164, -56, 280, 8, -24, 0, 52, -288, -54, 80, 40, -72, 0, 352, -174, 192, -80, 60, -64, 0, -1, -90, 16, 152, 38, -234, 0, -192, 112, -44, -454, 16, -40, 0, 280, -16, -18, -336, -128, 92, 0, -94, 20, -16, 52, 46, 24, 0, 144, 328, 8, -120, -6, -16, 0, -128, -105, -38, 168, -88, 42, 0, 46, -60, 0, -46, -32, 32, 0, 272, 267, -108, 140, -48, 40, 0, -128, -52, -66, 116, -72, -100, 0, -208, 8, 80, 20, 112, -10, 0, 20, 88, -4, -114, -72, 104, 0, -152, 192, 32, -8, 14, -92, 0, -166, 378, -72, 312, 10, 112, 0, -572, 104, -64, 264, 200, 8, 0, 272, 54, 36, 376, 104, 208, 0, 388, -6, -184, 4, 68, 16, 0, 0, 393, -58, 252, 8, 182, 0, 48, 80, 8, -292, 100, 0, 0, 224, -640, 4, 468, 46, 148, 0, -176, 232, 96, 70, 0, -118, 0, -76, 170, -24, 32, -18, -122, 0, 184, -78, -102, 192, -72, -8, 0, -64, 160, 48, 68, -48, 24, 0, 160, 180, -64, 144, 2, 0, 0, 34, -192, 0, 156, -32, -48, 0, 352, -13, 100, -348, 0, -26, 0, 296, -72, -64, 0, 42, 20, 0, -14, -304, 16, 37, -10, -50, 0, 142, 560, -22, 296, -48, 62, 0, 580, -232, -62, 104, 16, -30, 0, 54, 52, -42, -574, 24, 8, 0, 336, 40, 52, -62, -42, 24, 0, -16, 16, -48, 72, -2, -58, 0, 26, -84, 48, -62, -96, 64, 0, 224, -104, -8, 76, 20, -120, 0, 40, 172, -72, -144, 30, -6, 0, 40, -32, 48, 208, -2, 132, 0, -364, 80, -30, -64, -184, 20, 0, -152, -284, 16, 488, 80, -176, 0, 41, -151, 58, -230, -76, -56, 0, 60, 560, 94, -32, 32, 58, 0, 616, -6, 46, 56, 56, 90, 0, -136, 432, -24, 64, -18, 72, 0, 50, 40, -24, 68, -80, 150, 0, 24, 148, 108, 384, 8, 62, 0, 284, 48, 96, 152, -38, 24, 0, -52, 336, -66, 250, 60, 136, 0, 198, -152, 48, 168, -202, 24, 0, 2, 428, 70, 76, 48, 16, 0, 16, 48, -18, -62, 48, -40, 0, -192, 288, 6, 432, 14, -24, 0, -308, -444, 80, -140, -12, 120, 0, 188, 298, 64, 200, -32, -218, 0, 176, -124, -60, -9, 48, -40, 0, 96, -44, 56, -366, -40, 40, 0, 44, 400, -8, 70, 104, -32, 0, -171, -58, -60, -160, 10, 190, 0, -216, -26, -128, -300, 100, -8, 0, 76, 16, 24, -104, 166, -104, 0, -32, 120, -32, 16, 18, 12, 0, -122, -8, -88, -40, 2, 64, 0, 72, 120, 32, 56, 24, 16, 0, -48, 40, -86, -228, -8, -72, 0, 31, -322, -120, -48, -92, -96, 0, 10, 0, -34, 57, 64, 66, 0, -48, -98, 12, -136, -36, -24, 0, 52, -624, 2, -10, -34, -40, 0, 146, -160, 24, -96, 24, 70, 0, 144, 288, 80, 368, -12, -58, 0, -456, 28, 8, 108, -8, 32, 0, -236, -572, 60, -518, -40, -30, 0, 80, 94, 96, -46, 16, -8, 0, 40, 14, -16, -56, 16, -16, 0, -200, 24, 108, -65, 120, -4, 0, -308, 112, -2, -224, -52, 92, 0, 34, 8, 184, 35, -44, 80, 0, 4, -336, 68, -344, 12, -28, 0, 48, -32, 10, -112, 40, -26, 0, 22, -368, 0, -128, -10, -144, 0, -20, -334, 136, 164, 72, 16, 0, 48, -236, -60, -248, -44, 102, 0, 416, 0, 80, 16, -36, -22, 0, -360, -720, 16, 212, -16, -180, 0, -84, -72, -30, 136, -210, -2, 0, 124, 378, -96, 80, 36, -96, 0, -212, -72, -12, -176, -8, -92, 0, 304, -108, 40, 96, -32, -80, 0, 190, 286, 128, -52, 0, -32, 0, -8, 541, -62, -36, -40, -50, 0, -496, 8, -48, 310, 12, -2, 0, 60, 80, -64, -436, -46, 116, 0, 284, 40, -144, -1, -16, 10, 0, -64, -190, -64, -608, 30, 6, 0, -136, 152, -66, -80, 64, 16, 0, -362, 344, 4, 106, -96, -128, 0, 208, -76, -28, 200, -32, -40, 0, -44, -290, -48, -36, -26, -200, 0, -312, -94, -178, 32, -128, 52, 0, -160, 536, -28, 918, 86, -48, 0, -144, -116, 216, 64, -76, 6, 0, 176, -192, 72, 144, 0, 182, 0, 384, 203, -108, -200, 56, -52, 0, -222, 54, -96, 168, -72, 0, 0, -282, 64, 36, 84, 64, 14, 0, -32, 86, 22, -224, -8, -126, 0, -248, 28, 24, 20, 160, 16, 0, -172, 152, 58, -106, -120, 8, 0, 648, -144, -32, 0, 190, 128, 0, -350, 228, -84, -78, -48, 190, 0, -496, 16, -60, -352, -56, -2, 0, 3, -292, -4, 24, -32, 240, 0, 728, -462, -16, 140, -4, -16, 0, -58, -176, -18, -480, 34, 28, 0, -80, -15, 64, 112, 104, 0, 0, -296, 216, 16, 179, 40, -80, 0, -478, 8, -184, 2, 144, -70, 0, -24, -710, 30, -1024, 12, 50, 0, 168, 42, -104, -248, 48, -40, 0, 186, -408, -40, 66, -80, 96, 0, -344, -72, -132, 0, -4, 4, 0, -122, -412, 28, 172, -44, -16, 0, 84, -80, 60, 190, -8, 52, 0, -136, 112, 32, 120, -4, -48, 0, -542, 136, 96, 8, 22, 16, 0, 14, -48, -56, -440, -24, -178, 0, -944, 28, 132, -408, -160, 10, 0, 148, 112, 8, 130, 32, -320, 0, 6, -48, 12, 64, 120, -24, 0, 39, -108, -50, 424, -10, -30, 0, 176, 21, -18, -308, -104, 40, 0, 424, 104, 12, -116, -64, 96, 0, -328, -284, -8, 112, 188, -124, 0, 26, 202, -56, 256, 14, -80, 0, 36, 44, 182, -212, -8, 70, 0, -384, 116, 64, -486, 24, -64, 0, 268, 20, 136, 80, -74, -72, 0, 128, -216, 2, -536, 72, 40, 0, 384, -54, -32, 568, -132, -90, 0, -228, -416, 16, 142, 52, -88, 0, 74, 112, -112, -46, -12, -74, 0, 32, 50, -104, 208, 16, 78, 0, 424, 160, 48, 50, -144, 20, 0, -122, -24, 78, -248, -96, 80, 0, 48, -20, -308, -12, -8, -32, 0, -24, 118, 96, 312, -2, 246, 0, 536, -88, 194, -46, -152, 96, 0, -360, 92, 8, 16, 70, -32, 0, 282, -392, 144, -84, 30, -56, 0, 144, 376, -40, 64, 46, 160, 0, -352, -38, 20, 208, -136, 16, 0, -214, 252, 64, 160, 104, 184, 0, -824, 102, 8, 166, 152, 56, 0, 104, 278, -78, -19, 40, -70, 0, -32, -16, 16, -92, 8, 96, 0, -18, -408, 16, -80, 104, 96, 0, -230, -160, 184, -32, 40, -74, 0, 223, -132, -40, 104, -42, -112, 0, -168, 16, -84, 264, -64, 6, 0, 400, 736, -44, -232, -28, -22, 0, 102, -204, 32, 136, 70, 24, 0, 48, -682, 0, 76, -48, 180, 0, -232, 186, -16, -128, 24, 72, 0, -144, -176, 16, 68, 144, 92, 0, -430, 480, -104, 10, -128, -38, 0, 240, 90, -152, -360, -6, -12, 0, -138, 110, -48, -444, -48, -48, 0, -412, 816, 48, -176, -18, -264, 0, 16, 182, -88, 80, -44, -4, 0, 104, -48, 72, 136, -8, 8, 0, 224, -9, 22, 126, -8, -32, 0, 16, 368, 10, -355, 42, -88, 0, -60, -152, -32, -28, -122, 68, 0, 74, -744, -44, 256, -48, -98, 0, -168, 160, 86, -440, -200, -18, 0, -76, 232, 22, 72, -48, 120, 0, -178, 24, 112, 108, -110, 24, 0, -72, -176, 54, -392, -18, -82, 0, 408, 100, 176, 302, 18, -16, 0, 216, -448, 0, 302, 16, 68, 0, 344, -1, -96, -62, -24, 112, 0, 224, -516, 160, 104, -8, 32, 0, 820, 248, 22, -176, -80, 152, 0, 370, -92, 10, 976, 0, -112, 0, 94, -316, -64, -98, 86, -8, 0, -18, -184, 72, -276, 56, -188, 0, -80, 45, -20, -112, 112, -70, 0, 456, -624, 0, 310, -48, 8, 0, 96, -576, -32, 12, 0, 14, 0, 208, -2, 32, 256, -20, 182, 0, 372, 12, -48, -480, -40, -12, 0, 385, 184, -52, -62, -80, -24, 0, -52, 122, 296, -216, 82, -12, 0, -20, -106, 110, 280, -52, -48, 0, -160, -128, 8, -422, -372, -96, 0, 112, 344, 26, 96, 36, 152, 0, 304, 352, -176, 124, 38, -8, 0, -72, 200, 40, 8, -16, 140, 0, 304, 4, 26, 544, -8, -10, 0, 40, 448, 16, 442, -8, 0, 0, 38, 304, 160, 186, -64, 16, 0, -168, 541, 260, 680, 104, -60, 0, 416, -1, -226, 366, 64, -64, 0, -296, 464, 30, 154, -166, -34, 0, -416, -32, -176, -32, 70, 12, 0, 90, 362, 0, 680, 8, -48, 0, -588, -376, -92, 24, 64, -10, 0, 616, 412, -32, 194, 56, 392, 0, 190, 218, -80, 12, -258, 96, 0, 44, 912, -42, -256, 56, -88, 0, 138, 8, -86, -56, 0, 48, 0, 176, 296, -34, -376, -12, -192, 0, -340, -440, 120, -269, -128, -98, 0, -368, 64, 56, -520, -26, 302, 0, -416, -282, 24, 180, 120, 4, 0, -86, -24, -104, 186, 80, -96, 0, 288, 400, 28, -417, 226, -24, 0, -68, -296, 0, -48, -24, 22, 0, 56, -8, -76, 44, 160, -6, 0, -76, 360, 8, 96, 68, 12, 0, 436, 264, -256, 16, 128, -32, 0, -20, -832, -172, -72, -34, -298, 0, -240, 116, -114, -216, 66, 100, 0, -90, 492, -8, 732, 100, 64, 0, -370, 96, -176, -352, 152, -64, 0, -8, -524, -98, -212, -164, 40, 0, -520, 34, 96, -30, 112, -116, 0, 24, -32, 2, 36, 48, 40, 0, -174, 380, 216, -200]