# Trace form for 1205.2.a, downloaded from the LMFDB on 25 April 2024.
[0, 81, -1, 4, 83, 1, 0, 4, -9, 89, 3, -4, 16, 6, 4, 0, 75, -2, -9, 20, -1, 12, 0, -8, 20, 81, -38, 16, 8, -2, -4, 16, -29, 24, 10, -4, 107, 2, -16, -20, 15, 14, -12, 8, -60, 5, 4, -4, 44, 101, -1, 4, 14, -34, -28, -4, 12, 36, -26, -28, -16, 10, -12, -8, 71, 2, -56, 0, -10, -28, -12, -52, -125, 22, -62, 4, 76, -60, -48, -40, -1, 129, -82, 52, -40, -2, 4, -4, -64, 22, 23, 40, -40, -8, -48, -20, -44, -2, -93, 12, 83, -30, -4, 24, -38, 16, -26, 8, 76, -10, -12, 20, 8, -14, -20, 16, -42, 10, -24, -20, 4, 77, 26, 84, -20, 1, -24, -4, -129, 104, -18, -8, 40, 20, 112, -24, 54, 22, -96, 0, 20, -52, -124, 28, 143, 14, -38, 148, -22, -66, 0, 64, -32, -2, -80, -8, 20, -34, 76, 12, 63, -12, -13, 20, -22, -40, -4, -84, -100, 55, 2, 76, 44, -82, -28, 4, -124, 12, 158, -4, -45, -6, -96, 68, 12, -2, 36, 80, 92, 16, 40, 44, 120, 50, 38, -32, 255, 70, -44, 56, -9, 4, -38, -24, -128, 18, -68, 44, 102, 0, -56, -8, -14, 72, -160, -40, -68, 8, -38, -68, -60, 4, -88, -4, 56, 89, 106, -28, 184, 2, -36, -64, -146, -14, -210, 20, -196, 36, -4, -44, 28, 1, 155, 132, -10, 17, 40, 72, -144, -36, 3, 72, -224, -96, -84, -40, 83, -50, -108, -32, -34, -2, 120, -24, -108, 6, 20, -140, 92, 10, 48, -80, -158, 48, -122, -4, -92, 22, -80, -116, -84, 22, -160, 156, -144, -28, -12, 44, -449, 111, 30, -28, -50, 18, -268, 12, -246, -44, -102, -76, 16, -16, -148, -48, 120, 22, 50, -32, -184, 104, 0, -48, -72, 30, 78, -20, -52, 2, 12, -76, 31, -12, -96, -68, 99, 6, -20, -12, 18, -76, -40, 52, 208, 142, 8, 12, -96, 26, 81, 52, -42, -28, -160, 44, 136, 80, -38, -64, -192, -6, 4, -44, -96, 14, 84, -48, -194, -12, -80, -112, -9, 149, 142, -48, 32, -30, -132, -40, -212, -86, 14, 20, -8, 34, 92, 0, -184, -176, -16, -92, -12, -36, -68, -52, -212, 16, -94, -16, -22, -10, -36, -152, -77, -240, 42, 16, -108, 22, -120, -160, 75, 50, -240, -68, 238, -15, 48, -56, -164, 42, -22, 252, 376, -20, -16, -48, 174, -116, 0, 16, 168, -122, -100, -64, -34, -2, 52, 68, 204, -100, 8, -100, 400, 58, 128, 20, 106, 180, 164, 124, -48, 89, -80, 76, 344, -62, 164, -208, 76, -62, -9, 16, 18, 124, 244, -32, -248, 98, 238, 48, 148, -178, 312, -92, -26, -72, -142, 116, -150, 76, 16, 260, 132, 104, 264, 20, -200, -50, 128, -48, -4, 152, -17, 0, 163, -54, -308, 96, 414, 40, -33, 120, 188, -28, -24, 52, 24, -56, 124, -88, -1, 300, 260, 104, 172, 30, 248, 148, -176, -82, 16, -168, -265, 272, 206, 20, 392, -152, 268, -180, -98, 42, 86, 184, 340, 12, -144, 12, 300, -75, -62, 84, 156, -56, 96, 20, 344, -48, -250, -64, -176, 22, 200, 268, 262, -2, -196, 12, -90, -146, 0, 16, -292, 36, -82, 0, -96, -38, 156, 20, 60, 0, 94, -24, -148, -18, -32, -132, -184, -106, -40, 120, 404, 96, -76, -8, 203, -50, 265, 104, -38, 28, 76, -140, 58, -42, -10, 8, 500, -196, 8, 72, -74, -98, -104, -112, 38, 60, 204, 144, 20, -90, 252, 68, 100, 21, 244, 64, -24, -436, 46, 196, 106, -110, 432, -12, -120, -274, -24, 88, -8, 28, 36, 36, -288, 81, -34, 304, 234, -96, -92, 4, 204, -48, -74, 4, -36, 14, 4, -268, 115, -94, 220, 32, 156, -64, 88, -92, -201, -80, -38, 48, 40, 170, -160, -84, -110, 158, 120, 68, 12, -86, -232, 152, -92, 60, 74, 0, -200, -216, 44, 136, 32, -62, 218, 16, -163, -194, 212, 196, -102, 160, -216, 80, 360, -78, 216, 180, -56, -188, -64, 68, 226, -392, -144, 36, -336, -244, 134, 48, 8, -238, -576, 68, -96, 32, -90, 200, -232, 114, 32, -132, 518, -216, -8, 0, -476, 20, 56, 100, -133, -36, 339, -12, 122, -2, 144, 28, -212, 209, -62, -24, -8, -50, 96, -88, -244, -60, -362, 96, -38, -16, 204, 168, 52, -34, -250, 252, 392, -148, -4, 48, 308, 80, 304, 8, -532, 174, -144, 140, 208, 114, -292, 356, 64, -42, -140, 8, 124, 190, -88, -44, 10, -130, -432, 16, 10, 180, -182, 68, -224, -132, 320, 24, 707, -70, 296, 148, 386, -292, -44, 172, -336, -100, -106, -8, 472, -86, -268, 240, -29, -6, 58, 132, -208, 24, 220, 408, -362, -22, 159, 76, -36, 76, -56, 84, -488, 60, -170, 424, 62, -158, 72, 64, -188, 24, 256, 28, 0, 10, 20, -96, 122, -182, -168, 104, -240, -232, -252, -52, -284, -257, -74, -228, 232, -81, -300, 188, 238, 88, 10, 196, 56, -74, 8, -4, -228, -74, 104, 256, -52, -344, 92, -132, -624, -42, 78, 120, -12, -144, 128, -36, -286, 26, 380, -4, 124, 42, 56, -72, -68, -202, -873, 216, -212, -120, 128, 240, -436, 140, -34, 260, -40, -24, 56, -12, 140, -428, 286, 12, 107, -104, -48, -156, 202, -82, 20, 260, 32, -538, 200, -364, 328, -144, 274, -36, 110, -196, -92, 64, 20, 172, 422, 276, 148, 2, 140, -156, -2, -58, 104, 116, 126, -60, -116, 28, -146, -126, 188, 224, 240, 18, 244, -28, -304, -8, -200, -164, -404, -40, -16, 156, 40, 62, -482, -104, 112, 36, -216, -160, 200, 73, -160, -8, 7, -42, -72, 232, 335, -156, 38, 144, -112, 368, -300, -20, -54, -106, 812, -148, 55, -142, 144, 24, 16, 82, 20, 48, 84, 16, -32, -208, -260, -424, -80, -48, 148, -50, -428, -24, 15, -284, -264, -60, 440, 0, 468, -40, -956, -86, 142, 128, -488, 170, 96, -16, -268, 254, -86, -232, -120, 162, 52, -148, 467, 14, 248, 228, 182, 140, 52, 312, -168, -94, -24, 88, -484, 108, -324, 8, -106, -200, 30, -68, 30, -72, -4, 56, 36, -274, -12, -176, -44, -62, 292, -20, -476, -252, -129, 156, 110, 70, 64, 44, -56, -72, 188, 168, -112, -186, -12, -392, 48, -156, 136, 8, -302, -496, -280, -108, 128, 112, -54, 272, 80, -80, 228, 72, -338, -275, -38, -56, 708, 178, 444, -104, 266, -298, -102, 212, -60, -16, -248, -232, -36, 76, -236, 204, -86, 106, 208, 100, 84, -264, -578, -56, -176, 170, 152, 56, -68, -376, 116, 212, -318, 5, 80, -340, -32, -102, -98, -280, 80, -64, 656, -28, -148, -204, -274, 44, -88, -100, -32, 376, -228, -98, -108, 460, 4, -16, 4, -316, -1277, -90, -238, 96, 269, 68, 56, 76, 306, 272, -36, -128, -68, -10, 368, -400, -346, -136, -18, -12, 246, -196, 144, -4, -808, 0, -296, -172, 124, -118, -464, 88, -526, 76, 14, 108, -184, -332, -32, 256, -366, -6, 16, -24, -464, -332, 96, -80, 44, -22, 122, -20, -140, -19, 332, 56, -536, -36, 207, 280, -324, -338, 312, -32, 300, -190, 808, 348, -70, -404, -228, 60, 322, 101, 598, 76, 100, 158, 208, -96, -652, -170, -194, -52, 636, -286, -208, 292, -84, 188, 584, -180, 320, 16, -516, -108, 248, -126, -1, 172, 398, -336, -136, -28, -62, 388, -92, 208, 144, 88, -276, -836, 96, -4, 148, 116, 118, -212, -84, -112, 232, 152, -102, 4, -204, -250, 88, 196, -65, 188, -522, -120, -148, 70, -204, -120, -1104, 174, -52, 36, -88, -240, 652, 104, 135, 98, 528, 56, 14, 226, 160, 104, 32, 102, -202, 24, -196, -316, 76, -164, -94, -68, -502, 12, 316, -156, 64, -140, -72, -94, 26, 296, 8, -34, 132, -52, 728, 128, 24, -48, 550, -40, 372, -8, 12, 52, 428, -28, -224, -126, 212, -312, -628, 6, -118, -636, -422, -76, -28, -160, 417, 380, -198, 176, 1036, -408, -184, -64, 186, 158, -220, 120, 56, 140, -84, 88, 592, 39, 154, 228, -108, -274, 564, -4, 452, 58, -160, 56, 288, -334, 212, 16, -178, 22, 228, 56, -168, 384, 24, -152, -148, 104, 20, 32, 510, 44, 688, 12, 12, 252, -202, -52, 336, -30, 128, -172, 152, 38, 60, -184, 278, 106, -68, -56, 388, -224, 658, -152, -160, 302, 596, 168, -90, 36, 232, -180, -60, -166, 120, 48, 36, 154, -32, 4, -168, -832, -64, -456, -57, -180, 504, -488, 15, 27, 12, 304, 578, 264, -26, -156, 316, -170, -592, 192, -212, 100, -137, 272, 106, -156, -700, 148, -20, -14, -26, -196, -68, -324, 12, -24, -336, 292, -160, -28, -506, 80, 824, -8, -50, -30, 268, 204, 284, -288, 204, -216, 856, -154, 94, 24, 370, -522, -228, -64, 572, 200, -248, -120, -16, -56, 128, -572, -272, 32, 972, 76, -196, 32, 228, 360, 28, -384, 2, 4, 168, -128, -308, 276, -252, -181, -202, 280, 56, 10, -228, -336, -116, -224, 106, -40, 108, -276, 56, -156, 268, -300, 498, -256, -32, -224, -320, 324, -914, -80, -334, -368, 848, -74, -12, -24, -494, -286, 4, -16, -198, 42, 692, 128, -8, -128, -284, -48, -500, 106, 752, -224, -449, 312, -82, -264, -392, -302, -148, -8, -30, 92, 436, -8, -176, -360, -732, -412, -760, -34, 308, 352, -206, -324, -152, 172, 156, 248, 330, -120, -1292, -98, -160, -484, 71, -46, 742, -384, -2, 40, -456, -4, -212, 170, -80, -184, 184, -178, -176, 36, 554, 144, -550, -172, -249, -114, -56, 100, 360, 2, -76, 60, -84, -362, -64, 336, 520, -208, -40, 60, -50, 94, 776, 264, -162, -60, 770, 644, 244, -32, 24, -328, 852, 8, -56, 288, 4, 4, 400, 76, 404, -74, 274, -472, -8, -232, 656, 312, 198, 150, -478, 104, -88, -438, -92, -60, 296, -212, 292, 0, 716, 104, 116, -260, 520, 39, -999, 496, -42, -14, 84, -28, -160, 636, -87, 324, 452, -26, -40, 80, -662, 38, 416, 364, -10, -96, -156, 260, 220, 72, 410, 348, 532, 222, 408, 200, 880, 4, 134, -20, 312, -340, 100, 236, -8, 266, -944, 364, -628, -28, 148, -360, 544, 360, 198, 44, 34, 106, -280, -152, 56, 510, -492, -276, -68, 150, 320, -472, 326, -130, 918, 304, 696, 264, -12, -96, -720, 78, 14, 16, -160, -216, 668, -100, -220, -48, -302, 276, 459, -54, -68, 240, -376, -180, -272, 428, -180, -394, -160, -52, 1556, 194, -316, -168, -26, -140, -336, 644, 64, -48, 228, 184, -56, 174, -108, -384, 552, 396, -484, -40, -290, -216, -376, 92, -125, -118, -484, 428, 300, 221, -88, 240, -98, 452, 338, 388, -416, -78, -388, 12, 220, -152, -406, 204, -8, -152, -436, 72, -404, 22, -472, -292, -346, 432, -112, 152, -22, -84, -16, 80, -120, -196, 444, -212, 148, 296, 924, -44, -678, 186, -196, 488, -332, 97, -62, 448, 144, -288, -796, -104, 498, 564, -342, -252, -48, -142, 568, 180, -322, 62, 180, -36, 96, 96, 152, 88, -362, -494, -334, 4, -132, -210, -176, 296, 96, -16, -38, 128, 668, -196, 300, -560, 608, 514, -228, -316, 680, -68, 324, 20, 640, -164, -412, 48, 76, -214, -824, 396, -240, 104, -426, -360, 690, 12, 176, -132, -132, 182, 108, -72, -312, 772, -676, 72, -260, -408, -93, 148, -84, -60, -232, 92, -45, 388, 118, 428, -124, -62, -4, -240, -521, 132, -924, 680, -166, -96, -20, -312, -244, 78, 728, 516, -256, 462, -48, -408, 210, 248, 62, -72, -120, 468, -596, 536, 87, -92, 710, 80, 12, 156, -84, -804, 1008, 160, -162, -108, -104, 250, -140, -40, -60, 336, -120, 164, 252, 252, 880, -384, -664, -162, 424, 436, -252, 504, -164, 356, 536, 110, 170, -160, 0, -306, -204, 8, -1, 600, -540, -92, 620, -78, 304, 592, 676, 58, 32, 160, 372, -708, -364, 148, 384, 498, 446, -116, 282, 76, -112, 520, 688, 129, -394, -148, 192, -218, 16, -4, -336, 28, 2, -4, -254, 204, -168, -168, 352, -68, 486, 96, 80, 2, -564, 96, -597, 216, -82, -16, 216, 54, 160, 184, 434, 546, 160, -192, -84, -630, -616, 100, 648, -84, -654, 232, -356, 38, -196, 68, 232, 712, -336, 52, 380, -8, -124, 272, -370, -222, 368, -28, 402, -96, -76, -292, -270, -14, -224, -204, 388, -180, 172, 76, 296, -42, -122, 476, -40, -176, -392, 328, 220, 86, -530, 672, 144, 316, 120, 108, 528, 126, -532, 156, -569, 720, 556, -36, 2, 192, -242, 288, -524, -2, 608, -8, -304, 218, 232, -184, 56, -316, 172, 216, 536, 306, 450, 32, 112, -434, -168, -292, 540, 200, -356, -192, 28, -116, 4, -296, -806, 154, 424, -280, 104, 56, -780, -572, -120, -306, -404, -632, -494, 242, 544, -268, 92, 13, -312, 192, 212, 144, -432, -4, 382, 368, 1099, -160, -22, 252, -28, 408, -896, 72, -458, 344, -260, -180, 328, 56, 30, 512, -86, 8, -174, 144, -792, -48, -64, -420, -580, 244, 116, 181, -72, 152, -688, 329, 208, 348, -216, -190, -36, 88, 778, -336, -542, -196, -248, 30, -64, -536, -36, 22, 480, 68, -566, 64, -80, 544, 8, 0, 694, -188, 424, -194, 504, -32, 320, 112, -284, -328, -476, -118, -100, -116, 158, -116, 23, -368, 808, 516, -816, -112, -624, -352, -2, 44, 102, 4, -324, 232, -256, 36, -124, -104, -240, -10, -160, 116, -180, 22, -860, 40, -346, -112, -952, -180, -96, -390, -928, -200, -88, 82, 420, 204, 596, 284, -230, 104, 400, -378, 268, -232, -476, 718, -76, 64, -40, 68, -324, 308, 631, -114, 718, -428, -118, 98, 132, -156, 193, 30, 300, 48, -492, 116, -420, -520, -222, 32, -300, -196, -668, -8, -456, 292, 616, 108, -98, 260, -712, 26, -420, -88, -478, 568, 608, 324, -122, -106, -68, 420, 146, 80, 616, -96, 8, -54, -48, -256, 1764, 172, 524, 136, -792, -742, 48, -192, -152, 344, 182, 396, 548, 64, 12, -256, -314, 512, 56, 164, -1086, -412, 260, -20, -72, 26, 280, 356, -488, -294, 92, -84, -34, 146, -138, 348, 1348, -194, 328, 116, -264, 138, -652, 16, 440, -440, -500, -172, -44, -423, 6, -232, -714, -44, -48, 208, 180, 376, -5, 652, 72, -228, 200, 152, 668, -10, -836, -24, -165, 522, -364, 140, 972, -2, -582, -320, 52, 392, 260, -436, -372, 336, 62, 188, -1292, -138, -296, -840, -78, 178, -460, 212, -116, 72, -84, -96, -1042, 92, -93, -352, -194, 40, -1232, 4, 504, 388, -354, 88, 124, 444, -8, -528, -576, -80, -282, 184, -310, 204, -16, 172, 112, -310, -522, 12, 8, 618, 4, 620, -232, -428, 72, 16, 208, -112, 284, -112, -688, -8, 516, 132, -480, -850, -564, -140, -232, -4, -750, 236, 83, 52, -120, -164, -202, 88, -832, -248, -924, -256, 88, -328, 562, -120, -800, 240, -600, 272, -136, 104, -700, -166, -320, 572, -288, -30, -248, -276, 808, 466, -144, -360, -792, 596, -500, 96, -430, 340, -120, 136, -12, -8, -36, 76, 184, -106, -384, 440, -198, -2, -4, 136, -684, -580, -338, 280, -256, 38, -156, 44, 491, -92, -524, -48, 414, 180, 240, -172, -24, -28, 182, -352, -620, -148, 664, 24, 556, 720, -702, 268, -568, 268, 116, -800, -184, 148, -120, 72, -236, -132, -452, -16, -553, -458, -406, -224, -368, -482, 468, 332, -38, 67, -90, 184, -280, -134, -436, -580, -424, 286, -310, -224, 542, 444, -276, -12, -324, 582, 396, -28, -188, 26, -132, 68, -330, 16, -96, -144, 702, -276, 44, 88, -432, -502, 236, 124, 332, -514, 0, 128, -96, -48, -390, 120, -822, 49, -1816, 112, -520, 500, -26, 12, 124, 624, -528, -68, -492, -122, -308, -256, 232, 180, -324, 188, -474, 60, -612, -16, -60, -168, -208, 192, 832, -372, -616, 8, -656, -522, -4, -56, 228, -400, -150, 180, -652, 48, -900, 700, 692, 202, -354, 36, -710, -94, -108, -164, 90, 756, -576, -8, 76, 280, -420, -432, -543, 22, 580, 640, -1202, -368, 20, -276, -448, -166, -40, 252, -512, -288, -1492, 64, -158, -56, -418, -72, 1224, -10, 76, -348, -124, 338, 264, -40, 244, -16, 188, 8, 104, -416, 993, 376, -314, 122, -28, 184, 1112, 22, 22, 148, 392, -194, -12, -148, -280, 474, 106, 16, -324, -264, -104, -380, -80, 12, 294, 440, 472, -48, -344, -576, -610, -760, -150, 8, -836, -4, -196, 20, -584, -318, -516, -16, 100, 816, -604, -248, -476, 10, 140, -312, -780, -470, 300, 92, 734, 172, -324, 24, -100, 266, 788, 60, 8, 66, 372, -136, -382, -88, -48, 164, 20, -9, -202, 352, -256, -344, 1700, 108, -576, 474, -302, -48, -8, 772, 12, -336, -210, -14, 570, -820, 456, -192, 368, 108, -716, 18, 56, 100, -114, 74, 744, 184, 236, -620, 138, -68, -352, 122, 660, 260, 938, 644, -20, -132, 304, 838, 408, -92, 1000, -434, -18, 704, 28, 106, -260, 408, -536, -208, -270, 408, 1496, 368, 296, -772, 732, -186, -516, 16, -160, -244, -904, 164, -397, 516, 864, 180, 516, 190, -480, -324, 791, -228, -95, -220, -12, -140, 572, -96, -118, 134, 36, 628, -42, -608, 176, 552, 848, 160, -50, -416, 832, 34, 252, 672, 52, 556, 508, 224, -41, 466, 124, -60, -78, 184, -500, 136, 844, 10, 620, -504, 364, -184, -378, -228, 178, 780, 1736, 116, -232, 484, -148, -260, -612, 264, 772, -184, -776, -168, -20, 16, -852, 292, -24, 160, 1174, 698, 620, -64, 112, 234, 256, -336, -206, -120, -14, 396, -556, -130, 532, -660, -16, 138, -528, 292, 1000, -192, 164, -20, -356, 340, 10, -656, -294, 756, 1160, 244, -350, -156, 274, 448, 1652, 422, -140, -580, 288, -448, 832, -104, -76, 502, 324, -688, 4]