# Trace form for 1008.2.ef, downloaded from the LMFDB on 09 May 2024.
[0, 752, -4, -6, -4, -6, 0, -4, -16, 0, -12, 2, -6, 0, -18, 0, -4, -24, 4, -12, 0, -10, -4, 4, -6, 0, -12, 0, -16, -4, -18, 0, 36, -12, -12, 2, -20, -4, -6, -4, -6, 0, -46, -4, -26, -6, -12, 0, 0, -4, 4, -34, -6, -4, 78, 0, 24, 0, 2, 0, -30, 0, 0, 0, -16, -8, -66, -4, -6, 18, -30, -32, -14, 0, -26, -6, 0, 26, -50, 0, -12, -4, 0, 60, -2, -14, 22, -12, 2, 0, -108, -36, -20, -26, 0, 0, -6, 0, 22, 10, 12, -6, 50, -12, 216, 0, -4, -4, -6, -4, 0, 0, -58, -8, -6, -6, 36, -6, 0, -60, 6, 0, 0, 72, 0, 0, 112, 0, -60, -12, -36, -6, -84, 12, 68, 76, -108, 0, -108, 0, -82, -14, 84, 0, 52, -24, 12, -52, -82, 2, -60, 4, -114, 0, 20, -64, -158, 0, -180, 0, 0, -44, 50, -4, 180, -60, -6, 0, -96, 0, -144, 126, 44, 0, -12, 0, -42, -4, -6, -44, 48, 0, -38, -104, 18, 0, -60, 0, 0, 62, -8, 0, -66, -8, -90, -48, -4, -96, -38, -24, 110, 0, 108, -62, 2, 36, -12, 0, -12, 0, -8, -4, 108, -144, -46, -24, 108, 0, -44, 34, 0, 48, 6, 0, -262, 20, -36, -6, -12, -6, -336, 160, -4, 0, -6, -24, 0, 18, -78, 0, -32, -12, 76, 114, 0, -22, -10, 4, 0, 0, 0, 0, 122, -60, 132, 0, -4, -12, -12, -16, -184, 16, -102, -76, 162, 0, -174, -84, -4, -252, -106, 0, 264, 20, 64, -96, 156, 2, 162, -108, 6, 0, -262, 0, 172, 84, 12, 0, -110, 240, 240, 42, -150, 0, 54, -8, -76, 0, -64, 0, 126, 26, 106, 0, -6, -8, 162, 0, -72, 78, -38, 0, 278, 0, 0, 70, 60, -4, 246, 0, -222, 0, 78, -264, -336, 66, -110, -468, -108, 0, -98, -4, 258, -38, -24, 0, 196, -8, 166, 12, -80, -12, -144, -16, 30, 0, 0, 148, 360, 0, 334, 0, -40, -12, -54, -36, 24, -32, 56, -120, -402, 0, 0, 48, -90, 6, 6, 0, -210, -12, 0, -86, -206, 2, 0, -124, 0, 0, 240, -16, 512, 12, 220, 0, 180, 24, -264, -64, 144, 2, -258, 204, -272, 0, -4, -12, -22, -12, -474, 0, 0, 68, 216, -50, 336, -30, -70, -8, -270, 0, 132, -234, 132, -34, 4, 0, -66, -4, 168, 204, 338, -4, 38, -12, -64, 0, 96, -6, -112, 2, 174, 0, 210, 0, -120, -142, 2, 0, -442, 0, 0, 0, -152, 156, 282, 36, 324, 0, -148, -32, -466, 54, 86, -6, -180, -268, -126, 0, 258, 112, 12, 0, -282, 0, 54, -192, 76, -252, 312, -22, -32, -164, 0, 0, 492, -54, 114, 76, -68, 0, 292, -12, -24, -18, 60, -94, 420, -8, 0, 0, 186, 164, 148, -108, 162, 0, 0, -32, -186, 2, 0, 84, 0, 0, 438, 0, 668, 168, 12, -6, -282, 0, -52, -4, -264, 62, 282, -132, 400, 72, 108, 0, -82, -192, 0, 40, 18, 0, -54, -196, 528, -54, -156, 100, 294, 0, -308, 0, 108, 110, 16, -4, 132, 0, -6, -96, 378, -4, 268, -6, -8, 0, 138, 0, -152, 208, -6, -164, -420, 0, 40, -152, 82, 0, 8, 0, 0, 524, -144, 0, 450, 188, 606, 18, 0, 0, -276, -24, 156, -6, -240, 50, 170, -392, -96, 0, -210, -312, 28, 34, -28, 0, -70, -24, 390, -38, 172, -14, 0, -328, 180, 0, 208, 6, 100, 60, -250, 0, -552, -100, -132, 134, -84, -4, 0, 0, -112, 0, 92, -6, -168, -6, 0, 0, -164, 188, 0, 2, 0, 0, -532, -32, 188, 0, -292, 480, 366, -54, -184, 0, -264, 4, 336, 0, 474, -150, 172, 480, -132, 0, -210, -2, -88, 162, -54, 0, 438, 0, -90, -236, 800, 0, 336, -12, 0, 0, 40, -54, -588, 98, 162, 0, 214, -8, 366, 354, 72, 0, -126, -60, 18, 0, -270, 88, -468, 0, -190, 0, -58, 0, 226, 0, 0, -22, -112, -424, 576, 0, 534, 168, -144, -176, 474, 0, -246, -192, 318, -134, 238, -4, 138, -12, 84, 0, 134, 14, -426, -144, -90, 0, -198, 12, 204, 78, 0, -244, -216, 0, 438, 0, -26, -108, 280, -6, 486, 0, -24, -8, 42, -4, 0, 258, -34, -8, -248, 0, -214, -228, 0, 336, 196, 0, 0, -4, 0, 0, -286, -16, -16, -12, 460, 0, 288, 26, 304, -166, -12, 0, -168, 0, 714, -186, -68, -12, 166, -24, -252, 0, -76, 200, -558, 24, -516, 0, -184, -8, 750, 0, -508, -270, 60, 224, -92, 0, -816, 26, -330, -240, -412, 0, 92, -12, -12, 0, -78, 42, 58, -516, 210, 0, -624, 0, 376, -76, -78, 0, -652, 0, 0, 36, 264, -4, -552, 232, 432, 0, 168, 576, 648, -12, 274, 0, -342, 64, 294, -44, -960, -304, -12, 0, -314, 0, -528, -138, -154, -120, -24, 0, -26, -36, 0, 420, -1068, 0, -570, 708, -118, 0, 60, -6, 174, 10, 64, 0, 648, -8, 0, 204, -198, -72, -74, -12, 178, 0, 0, 272, 46, 2, 0, 0, 0, 0, -316, 128, -1208, -96, 380, -12, -282, 0, 464, 90, 318, 14, -18, 0, 218, -236, -84, -186, 222, -12, 396, 28, 48, 0, -498, -58, -720, 54, -222, 0, 318, 0, -396, -456, -216, 86, -20, -8, 354, 0, -6, -348, -696, -74, -188, 0, -70, 0, -228, -78, 184, -58, 300, -128, -156, 0, 390, 198, -174, 0, 704, 0, 0, -32, -32, 388, -606, -56, -582, 624, -258, 0, 560, -12, -224, 168, 24, 0, 304, 264, -1044, 94, 312, -60, 456, -200, -40, 0, -102, 540, -432, -36, -88, 0, 0, 248, -1056, -66, -372, 68, -4, 780, -408, 0, 306, -122, 160, 42, -822, 0, 0, 0, 78, 370, -278, -6, -342, 636, 0, 0, 298, 166, 0, 140, 0, 0, -640, -32, -1324, 156, 252, -6, 390, -168, 408, 0, -12, -146, -504, 0, -306, 0, 476, 276, 48, 66, 246, -2, 72, -228, 126, 0, -828, 222, -10, -38, -458, 0, 372, -12, 894, 314, -246, 106, -264, 180, 426, 0, -808, -100, -812, -84, 230, 0, -504, 52, 154, 342, 222, -4, 102, 0, -262, 0, 138, 0, 6, 0, 0, 0, -160, -8, -648, -484, -846, 0, 164, -32, 730, 0, -374, 108, -426, -240, -24, 0, 192, 52, -456, -432, -340, -4, 126, 168, -134, 0, -642, -246, -198, -150, 0, 0, -378, -204, -288, 156, 134, -6, 624, -12, 402, 0, -124, -306, -114, -4, 0, 0, -144, 56, -360, -6, 260, -60, 0, 612, 130, 0, 0, -78, 0, 0, 634, 0, -360, -12, -104, 714, -234, -16, -420, -352, 84, 0, -366, -186, -844, 394, 288, 0, 52, -24, 300, -172, 162, 140, -84, 4, -768, 0, -252, 452, -988, 0, -468, 0, 96, 56, -290, 116, 1056, 354, 318, -600, -108, 0, -658, -426, -44, 0, 522, 0, -166, -8, -258, 216, 846, 0, 192, 776, -178, 0, -24, 0, 0, 224, -96, 0, -870, -8, -1032, 450, -268, 324, -772, -432, 414, 0, -60, 26, -518, -4, -396, 0, -12, 0, 106, 42, 724, -342, -102, -24, -78, 0, -192, -478, 0, -452, 492, 0, -734, 20, 112, -66, -366, -6, -726, -872, -56, 0, -18, -78, 0, -426, 342, 0, -6, -12, 204, -498, 0, -126, -318, 4, 0, 0, 0, 0, 928, -120, 120, 0, 744, 264, -468, -60, -356, 320, 684, 140, -126, 0, -1080, 90, 204, 108, -12, 0, 492, 148, -360, 358, 786, -38, 822, 696, -330, 0, -1520, 0, 688, 258, -12, 0, 372, -8, 1110, 52, -246, 480, 244, 232, -116, 0, 254, 0, 450, 132, -80, 0, 846, -72, 774, 0, -704, -50, -52, 0, 770, 0, 0, -98, -196, 444, 822, 0, -690, 0, -32, 796, -1022, -198, -170, 1248, 0, 0, -300, -108, 1338, 250, 0, 0, 476, -8, 994, -384, -14, 192, -72, -44, -188, 0, 0, -484, 1332, 276, 748, 0, -140, -972, -342, -354, -546, 496, -34, 272, -930, 0, 0, -330, -190, -116, -80, 0, -232, -204, 0, 208, -414, 2, 0, 428, 0, 0, 748, 376, 1340, -24, -36, 0, 402, -60, -384, -168, -12, -196, -30, 576, -622, 0, -232, 240, -168, -42, -504, 0, 188, -28, 894, -32, 1254, 186, -78, 152, -484, 0, 328, 732, -846, 396, -356, 0, -468, -272, -204, -528, 854, -4, 340, -12, 254, 0, 408, -228, -270, -38, 84, 0, 510, 0, -704, 590, -102, 0, -648, 0, 0, 0, 460, -980, 942, -4, 828, 0, 264, -280, -1006, 204, 398, -438, 498, 652, -26, 0, 1428, 58, 240, -456, -512, 0, 152, -12, -252, 1002, 888, 20, -292, 116, 0, 0, 1722, -288, 258, 64, 132, 0, 460, -12, -498, -268, 128, -4, 774, -192, 0, 0, -106, -412, 172, -6, 226, 0, 0, 184, 14, -218, 0, -140, 0, 0, 942, 0, 1560, -180, 188, -228, -342, 0, -176, 160, 276, -234, 492, -330, 530, -24, 256, 0, -306, -372, -468, -352, -56, 0, 300, 4, 1056, 204, 366, 40, 498, 0, -944, 0, 414, -414, -294, -4, 18, 0, 180, 0, 1110, 136, 940, 402, 288, 0, 438, 0, -402, -398, 150, -88, -246, 0, 110, -176, -120, 0, 126, 0, 0, -1212, -112, 0, 1260, -124, 1728, -204, 552, 0, -1074, -24, 356, 114, 0, 418, 210, -8, -552, 0, -30, 738, 296, -4, -120, 0, -108, -24, 780, 270, 152, -272, 0, -104, 588, 0, 690, -356, -260, 810, -312, 0, -360, -12, 184, -416, 282, -4, 0, 0, 98, 0, 404, -6, -176, -228, 0, 0, -322, 96, 0, 170, 0, 0, -982, -32, 640, 0, 140, -1086, 390, -24, 316, 0, 276, -64, 780, 0, 1342, -330, -76, -1200, -26, 0, -684, 142, 366, 10, -162, 0, 1014, 180, -420, 444, 1734, 0, 784, -12, 0, 0, 10, 202, -1650, 398, -30, 0, 504, -64, 934, -732, -304, 0, -678, 420, -28, 0, 54, -156, -1248, 0, -408, 0, 56, 0, -270, 0, 0, 128, 156, 808, 894, 0, 1272, -714, -6, -96, 1036, 0, -186, 180, -408, -78, 690, 100, 318, 500, -108, 0, 174, 92, -854, 12, 202, 0, 144, -140, 272, -566, 0, -4, -522, 0, 956, 0, 288, 390, 60, -6, 306, 0, -88, -200, 180, 116, 0, -84, 258, -396, 296, 0, -432, 360, 0, -300, 346, 0, 0, -4, 0, 0, -1084, 4, -516, -384, 64, 0, 576, 0, 616, -56, 546, 0, 276, 0, 1314, 412, 216, 66, 32, -24, -678, 0, -348, -370, -1014, 2, -1026, 0, -106, -8, 1928, 0, -668, -6, -372, -4, -198, 0, -1752, -50, 504, 144, -198, 0, 298, -492, 196, 0, -180, 26, 66, 808, 246, 0, -1200, 0, 770, 394, 142, 0, -816, 0, 0, -212, -624, -180, -1278, 472, 966, 0, -378, -1220, 1246, -78, 476, 0, 570, 84, 588, 72, -1692, 288, -324, 1248, -524, 0, -1294, 396, 450, -12, -168, 0, 266, 60, 0, -792, -2280, -360, -820, -1052, 172, 0, 630, -186, 804, 154, 126, 0, 798, -8, 0, -690, 74, 220, 140, -12, 108, 0, 0, -394, 364, -130, 0, 0, 0, 0, -1428, -140, -2096, -432, -892, -12, -408, 0, 600, 78, -246, -318, -12, 0, 686, 64, 4, 348, 114, -150, 738, -312, 124, 0, -858, -78, -1422, -600, 466, 0, 756, 0, -576, 834, -588, -60, 566, 156, -18, 0, -600, 576, -1290, -4, -282, 0, 438, 0, -780, 50, 150, 626, -510, 24, -402, 0, 1074, -676, 88, 0, 550, 0, 0, -416, 408, -988, -1236, -156, -774, -1224, 636, 0, 1604, 270, -410, 426, 516, 0, 464, -8, -1644, 60, -372, 912, 532, 192, -478, 0, -204, -1068, -1230, -234, -344, 0, 0, -136, -1956, 396, -1050, 202, 96, -1044, -754, 0, 882, 648, -196, 316, -882, 0, 0]