# Trace form for 1008.2.dx, downloaded from the LMFDB on 19 April 2024.
[0, 752, -4, -2, -4, 2, -8, 0, -16, 0, -4, 2, -2, -4, 14, -16, -4, -8, 24, -4, -4, -10, -4, 0, 18, 0, -4, -8, 0, -4, 14, -8, -44, -4, 0, 2, 20, -4, 2, 0, 2, 0, -46, -4, 18, -22, 4, 152, -48, -4, 4, 30, 2, -4, 70, 0, 52, 0, 2, -4, -86, -4, -112, 48, -16, -8, 2, -4, -14, -2, -30, 0, -14, 0, 30, 6, -4, -30, -42, -8, -4, -4, -8, 16, 50, 6, 22, 0, 2, 0, -80, -36, 12, -26, -36, -8, -6, -8, -46, 10, 12, 2, 26, 0, -76, 0, -4, -4, -78, -4, -52, -56, 54, -8, 66, -38, 36, -38, 104, 0, -22, 0, 136, -76, -68, 4, -100, -32, 52, -4, -36, 2, -36, 12, -100, 0, -36, 0, 8, -4, -82, -14, -92, -168, 108, -8, 32, -36, 14, 2, 96, 0, -38, 0, -36, 16, -14, -4, -244, -4, -4, 12, -162, -4, -84, 68, 2, 0, -40, 0, 16, 6, -52, -4, -140, -60, -42, -4, 10, 36, -88, -16, 146, 0, -14, 0, 188, 84, -184, -98, -24, -8, -6, -8, 86, 48, -4, -96, -82, 0, -138, 0, -40, 58, -30, -44, 4, 84, -76, -8, -96, -4, -24, 44, -46, 0, 76, 0, -44, 10, 12, -56, -22, -8, 6, 20, 36, 2, -92, 2, -156, 0, -4, 0, 82, -24, -284, 146, -102, -8, -20, 4, -68, -82, -16, 18, -58, 0, -36, 0, -84, 96, -30, 28, 116, -64, -4, 4, -12, 12, 120, 16, 122, 0, -186, 0, 114, 68, -4, 76, 230, -8, 148, -36, 64, -96, -104, 2, -62, 0, 6, 0, 90, -4, 204, -76, 0, -72, 130, -256, 200, 66, 66, -4, -14, 0, 68, 0, -64, -108, -130, -30, -154, 36, 2, -8, 198, -16, -44, -82, -38, 0, 166, 0, 224, -234, -92, -4, -42, -8, 74, -80, -90, 8, 48, -50, -166, 0, -8, 0, 122, -4, 202, -38, 112, -296, 220, -8, -10, -232, 84, -48, 124, 0, 86, 0, -4, 148, -180, -4, -90, -128, 32, 4, 122, -8, -120, 92, 56, 0, -138, 0, 484, -112, 30, -14, 38, 4, 270, -204, -8, -142, -370, 2, -72, 0, 96, 0, -4, -16, -8, -8, -228, 276, 348, 24, -264, 96, -56, 2, -374, 0, -356, 0, -4, -24, 150, -4, 230, 28, 120, -60, 156, -50, -260, -18, 54, 0, 226, 0, -140, -162, 12, -34, 68, -8, -18, -4, 60, -72, -154, -4, 82, 0, -64, 0, 180, 114, 104, 18, -50, -8, -302, -32, -72, 2, 2, -156, 310, 0, 648, 0, 120, -164, -130, -44, 96, -288, 144, -32, -114, -26, 86, -14, 56, 0, 198, 0, -270, -116, -92, -4, 358, -8, -122, -64, 76, 76, -4, 6, 192, 0, -4, 0, 360, -62, 266, -164, -60, 404, -120, 4, 136, 182, 60, 86, -64, 0, 140, 0, 146, 4, 212, 36, 294, 32, -416, 24, 302, 2, 468, 84, -4, 0, 506, 0, -260, -376, -20, 2, 662, -60, 236, -4, -96, -138, -154, -48, -552, 0, 108, 0, -262, 56, 172, -100, -26, -132, -162, 204, 376, 338, -156, -108, 314, 0, 588, 0, -40, -170, -324, -4, -52, 308, -66, -40, 250, -4, 100, 150, -8, 0, 486, 0, -152, 196, 98, 156, -512, -32, -580, 120, 82, -4, 260, 36, 460, 0, 112, 0, 234, -196, 362, 146, 24, 152, 380, -8, -56, -90, -68, -110, 206, 0, 88, 0, -70, 100, -72, 34, -144, -292, 74, -8, -118, 42, -180, 146, -308, 0, -84, 0, -360, 174, 36, -60, -162, 4, 316, 28, 132, 134, -12, -4, 228, 0, 240, 0, -336, 122, -8, 226, -8, -16, -36, 188, -356, 178, -244, -40, 732, 0, -436, 0, 284, -140, 278, 50, 408, 304, -376, 4, 32, -4, 26, -50, -180, 0, -548, 0, -274, -142, 80, 162, -82, 4, 82, -88, -90, 52, 156, -4, 744, 0, -4, 0, 416, -146, 244, 98, 42, 472, 102, -8, -162, -42, -96, 172, 550, 0, 262, 0, 46, 88, 296, 4, -526, 160, 62, -8, -514, -4, 412, -6, 80, 0, -60, 0, -430, 204, -180, -176, 418, -8, 394, -64, -126, -134, -2, -4, 126, 0, -200, 0, 138, 14, -186, -320, -74, -424, -150, 12, 204, -2, -4, -164, -88, 0, 34, 0, -102, 36, 32, 2, 314, 12, 16, -8, -126, -4, 1036, -210, -90, 0, -148, 0, -82, -284, 120, -340, 92, 4, -112, -4, 4, -244, 142, -16, -408, 0, 396, 0, -332, -30, -336, -70, 204, 4, 440, -8, -94, -310, -68, -4, -682, 0, -328, 0, 68, -196, 258, -20, 200, -264, -184, -8, -186, -148, 260, -102, 16, 0, -180, 0, -188, -70, 126, 76, 24, 60, -108, -76, -12, 308, 86, -102, 214, 0, 74, 0, -444, -16, -332, -76, -62, 952, -664, -8, -672, 508, -56, -4, -144, 0, -156, 0, -144, 64, -92, -4, 490, -4, -118, -72, -158, -44, -180, 192, -4, 0, -730, 0, 256, -506, 62, 12, -120, 156, -346, -36, -240, -428, 484, -4, 30, 0, 110, 0, -48, 2, 346, -326, 72, 104, 108, -8, -884, 380, 210, -160, 206, 0, -422, 0, 76, -408, 674, 2, 252, 108, 60, -32, -224, 128, -416, 200, -388, 0, -882, 0, 304, 202, -98, -162, 662, -8, 682, -52, -84, 54, -626, 132, -568, 0, 48, 0, -386, 62, 508, 234, 150, 136, -406, -8, -252, 336, -76, -74, -236, 0, -62, 0, 2, -68, 420, -34, -268, -316, 62, -8, -268, 74, -208, -58, -100, 0, 752, 0, 346, -54, 18, 444, -464, -376, -796, 80, 304, 388, 162, 48, -326, 0, -90, 0, 72, -24, 144, -304, 108, 76, -432, 264, 200, 318, -128, -24, -768, 0, 176, 0, -182, 180, -248, -36, -220, -16, 404, 248, -580, -170, -416, -156, -4, 0, 264, 0, -246, 90, 192, -50, 394, -8, -600, -16, 246, -110, -130, 2, -578, 0, 84, 0, -558, 30, -344, 40, 76, 928, -1032, -32, 660, 520, -116, 162, -1070, 0, -488, 0, -4, -146, 216, -4, 762, 436, 476, -108, 292, 22, -442, 430, 72, 0, 458, 0, -476, 782, -6, 30, -590, -296, -1500, -4, -158, 422, 226, 38, -24, 0, -142, 0, -520, -100, -428, -28, -114, -760, -1132, -60, 62, -210, 174, -4, 942, 0, 782, 0, 34, 172, -482, -4, -1292, 184, -160, -8, -528, -484, -522, -20, 344, 0, -590, 0, -182, 40, -146, -336, -292, -8, -72, -204, 144, -148, 232, -4, 174, 0, 106, 0, 210, -246, 250, 170, -176, -8, 54, 60, 572, -412, -34, -174, 212, 0, -614, 0, 116, 318, 182, -4, -456, 272, 84, -72, 132, 2, -236, -64, -928, 0, -34, 0, 524, 286, -4, 28, -974, 448, 440, 124, 160, 174, -542, 12, -868, 0, -288, 0, -134, 58, 52, -502, -696, 648, 996, -8, 412, 596, 230, -136, 384, 0, -320, 0, 468, 68, -68, -44, -964, -164, -36, 56, -450, -124, -256, 102, -34, 0, -200, 0, 102, -130, -60, -4, -1282, -60, -530, 0, -90, -224, -426, -248, 888, 0, 182, 0, 704, 420, -604, 64, 64, 344, 66, -8, 612, -358, -324, -356, -484, 0, -634, 0, 64, -70, -654, -4, 92, -372, -4, -8, -170, -50, 320, 274, -102, 0, 186, 0, -152, -14, -184, 444, 56, -8, -290, 20, -128, -238, -182, 2, -706, 0, -200, 0, -166, -78, -940, 226, 366, -248, 154, 4, 72, 414, 120, 122, -226, 0, 364, 0, 852, -296, -268, 88, 256, 236, 232, -88, 620, 84, 172, 16, -236, 0, -962, 0, -52, -202, -212, 36, 1048, -8, 824, 92, -48, 358, -530, 42, -370, 0, -210, 0, 136, 236, -344, 226, -8, 508, 20, -8, 322, 216, -278, -68, -196, 0, 252, 0, 122, 428, -154, -24, -448, -700, 286, -72, 534, 4, 504, 270, -52, 0, 1234, 0, 780, 730, 572, 364, 118, -488, 322, -336, 36, -164, 218, 58, -786, 0, -116, 0, 244, -108, 298, 250, -264, 604, 940, -8, -582, 712, -182, 216, 108, 0, 388, 0, -172, -484, -824, 88, -212, 20, 132, 324, 154, -114, -414, 204, 26, 0, -282, 0, 1184, 506, 186, -116, 96, -96, 488, 196, -24, 636, -710, 2, 584, 0, 44, 0, 468, -408, 460, -72, 28, -460, 1590, -60, -416, -584, -4, -152, -998, 0, -1386, 0, -232, 172, 560, -14, 804, 240, -196, -28, 230, 36, -550, -294, 6, 0, 744, 0, 488, 380, 178, -180, 200, -8, 200, -136, -280, 172, -394, -4, 444, 0, 122, 0, 252, 264, 194, 282, -36, -8, -1342, -32, -464, -230, 18, -32, 872, 0, 1876, 0, 620, 972, -562, -4, 464, 808, -288, -280, 70, -76, -74, 130, 102, 0, 366, 0, -100, 378, 64, -52, 1116, -8, -164, -4, -252, -242, 436, -36, 648, 0, 340, 0, 658, 140, 414, 128, 124, -588, -180, 4, 494, -24, 128, -4, -254, 0, 1148, 0, 126, -156, 184, -74, 574, -276, 600, -136, 642, 46, 676, -204, 156, 0, 1054, 0, -712, 868, 188, -72, 1726, -500, 976, 160, 100, 238, -412, 106, -1078, 0, 432, 0, -598, 116, 328, 52, 312, 292, -364, 4, 620, -832, 606, 224, 778, 0, 1424, 0, 170, 478, -682, -4, 118, -1116, 172, -8, 654, -104, 428, 126, -128, 0, 1838, 0, -166, -270, -234, 240, -1066, 496, -1222, -176, -120, -244, 710, -20, 1744, 0, -112, 0, 424, 116, 620, -280, 588, -512, 914, -8, 212, -178, 56, -478, 682, 0, -296, 0, 242, -90, -236, -4, -412, 696, 12, -8, -612, -258, -144, -292, 420, 0, -268, 0, -546, -748, -260, 274, -316, -132, 900, -4, -200, -416, -186, -4, 1048, 0, -342, 0, 100, 242, 172, -40, -924, 312, 478, -88, -356, -190, 588, -16, 1406, 0, -736, 0, 140, 238, 874, -120, 836, -924, 156, 72, 360, -56, 226, -58, 68, 0, -1466, 0, -504, 574, -2, -6, -638, 4, 518, -76, 540, -100, 502, -4, 1736, 0, -36, 0, 306, 10, 130, 34, -290, -932, 404, 48, -386, 144, 80, 644, 1542, 0, 404, 0, -362, -460, 500, 224, -1172, -488, -52, -8, -862, 524, 1256, 192, 4, 0, -90, 0, -532, -430, -6, 64, 692, -8, 734, -260, 148, 162, 470, -108, -214, 0, 316, 0, 130, 92, -398, -160, 186, 240, -164, -84, 176, -126, -32, -4, 74, 0, 148, 0, 88, -278, -8, -238, 1102, -324, -88, 184, 448, -124, 1132, 108, 618, 0, 44, 0, -136, 344, 0, -300, 218, 268, -504, -4, 540, -56, 476, -36, -692, 0, -72, 0, -1048, -156, -520, 88, -686, -96, 1244, 184, 190, 404, -224, 258, -1556, 0, -970, 0, -348, 374, 186, 2, 562, 200, -78, -8, -356, -44, 332, 182, -128, 0, -286, 0, -216, 430, -452, 24, 206, 136, -502, 156, 196, -516, 468, 26, 418, 0, 86, 0, -212, 120, -718, -198, 126, -1448, -980, -408, -764, -688, 624, -820, -114, 0, -534, 0, 318, -420, 54, -26, 1056, 236, -218, -92, -444, -80, -172, 172, -260, 0, -1312, 0, 162, 840, -446, 132, -200, -72, -410, 60, 372, 504, 536, -124, 252, 0, -116, 0, -458, 62, 524, 346, 186, -296, 574, -8, -1172, -914, 90, -228, 116, 0, -1180, 0, -376, 766, 760, -98, -632, -528, -436, -224, -664, -140, -760, -308, 884, 0, -2076, 0, -72, -522, 154, 322, 1320, -8, 1370, -96, 4, -204, -722, -50, -1326, 0, -324, 0, -250, 162, 550, 8, -306, -280, -1076, -144, -280, -286, 172, 704, -202, 0, -50, 0, -236, 100, 734, -4, -434, 196, 198, -8, -700, 282, -42, -174, 170, 0, 1214, 0, 810, -488, -180, 220, -1774, -8, -2396, -224, 24, -1084, 876, -156, -586, 0, -640, 0, -152, 90, 558, -206, -176, -412, -696, -8, 404, -408, 612, -36, -1384, 0, 258, 0, -188, -244, -182, -234, -460, 132, -608, 120, -824, -136, -218, 458, 96, 0, 238, 0, -430, 212, -196, 316, 342, 328, -1564]