# Trace form for 2075.2.a, downloaded from the LMFDB on 19 April 2024.
[0, 130, 1, 0, 133, 0, 6, 8, 3, 128, 0, -4, 4, -2, -8, 0, 147, -10, 19, 6, 0, 17, 16, 11, 8, 0, 2, -9, 24, 14, 0, 4, -3, -9, 16, 0, 105, 6, -12, 22, 0, -5, 14, 20, 16, 0, 36, -4, 8, 148, 0, -13, 28, -10, -30, 0, -40, 8, -14, 4, 0, 10, 12, 31, 203, 0, -60, -2, -58, 16, 0, 16, 69, -4, 40, 0, 10, 21, -12, 42, 0, 170, 2, 6, 46, 0, -44, 16, 76, 0, 0, 44, 6, 41, 4, 0, -62, -12, 21, -8, 0, 28, 84, 16, -30, 0, -38, -34, -2, 62, 0, -55, 64, -22, -92, 0, 82, 18, -40, -72, 0, 84, -78, -24, 52, 0, -180, 24, -33, -50, 0, -67, -58, 16, -52, 0, -12, -8, 24, 6, 0, 32, -32, -4, 219, 0, -62, -100, -18, 66, 0, 28, 52, -35, 30, 0, 58, 26, 72, -68, 0, -8, -27, 12, 12, 0, -5, -44, -66, 94, 0, -32, 164, -74, 44, 0, -68, -15, 30, 66, 0, 94, 44, 80, 144, 0, -112, 53, -18, 51, 0, 20, -4, 17, 38, 0, 265, -50, -76, -1, 0, 48, 14, 7, -234, 0, 0, -27, 28, -66, 0, 60, -74, -14, 12, 0, -144, 83, -68, -104, 0, 20, -50, 46, -162, 0, 18, -68, -10, 81, 0, -127, -76, 52, -82, 0, 88, -80, -190, 18, 0, 42, 91, -47, -110, 0, -168, 40, -56, -6, 0, 40, 154, -44, 118, 0, 255, -102, -52, 85, 0, -55, -68, -16, -262, 0, -112, -96, -40, -82, 0, 26, -66, 166, -58, 0, -76, -57, -92, 52, 0, -28, 28, 42, 132, 0, -128, 12, 237, 96, 0, 44, 12, -33, -226, 0, -4, 13, -50, -46, 0, 126, 62, 114, -42, 0, -54, 82, 78, 90, 0, 56, -20, 70, -78, 0, 18, 78, -68, 87, 0, 166, -146, -32, 133, 0, 260, 89, -30, -124, 0, 168, 15, 76, -118, 0, -4, -34, -233, -136, 0, -46, -136, 109, -200, 0, -116, 24, -100, 174, 0, -32, 42, 14, -290, 0, -182, 62, -56, -164, 0, 166, 102, 41, -134, 0, -440, 40, 72, 45, 0, 42, 18, -10, -324, 0, -96, -14, 44, 10, 0, 106, -76, -60, -400, 0, -270, 116, 70, 28, 0, -32, -15, 68, 140, 0, -164, 39, 20, 152, 0, -49, -120, 36, -114, 0, -44, -44, -44, 146, 0, 36, -20, -42, -46, 0, -82, -64, 120, -4, 0, 188, 236, -58, -90, 0, -400, 59, -184, 112, 0, -44, -264, 56, -122, 0, 70, 32, 136, -2, 0, 263, -12, 140, -258, 0, -388, 4, -100, -2, 0, -156, 66, 62, -160, 0, -416, -32, -86, -303, 0, -8, -110, 124, 62, 0, 274, -34, 46, 66, 0, 66, -20, -84, -180, 0, -388, 0, 48, 4, 0, 32, -240, -131, -11, 0, -434, 102, -108, 118, 0, -176, 32, -91, -268, 0, -20, -64, 4, 72, 0, -70, 132, 72, -884, 0, 74, 156, 124, -102, 0, 114, -47, -132, -166, 0, -628, 74, 176, -369, 0, -149, -246, -12, -226, 0, -60, 155, -252, 281, 0, 45, 58, -54, -152, 0, -368, -250, 6, -129, 0, 266, -40, -12, 122, 0, -380, -52, -62, -185, 0, -72, 0, 164, -130, 0, -54, -100, 204, 72, 0, -211, -202, -8, 354, 0, -148, 85, 40, 148, 0, -6, -250, 137, -130, 0, 251, -92, 131, 60, 0, -14, -124, 30, -386, 0, -102, 212, -472, 266, 0, -33, -166, 78, 110, 0, 186, -36, 220, 78, 0, -158, 124, -92, 0, 0, -56, 89, 168, 31, 0, 192, -212, -54, 68, 0, 162, -50, -144, -4, 0, 99, -108, -100, 94, 0, -76, -84, -80, 107, 0, 14, 216, -186, 44, 0, -220, 24, -110, 38, 0, -52, -204, 56, -260, 0, -144, -228, 27, -267, 0, 173, -154, -272, 252, 0, -206, 192, -236, -144, 0, 314, 176, -30, -15, 0, 518, 188, -48, -16, 0, -25, -160, -50, -34, 0, 71, 106, 96, -88, 0, -280, -314, -244, 8, 0, -84, -240, 340, -88, 0, 200, -42, -103, 68, 0, 208, -92, 32, -82, 0, 27, 140, 238, 140, 0, 168, 10, 122, 332, 0, 44, -166, -56, 234, 0, 150, 180, 212, -84, 0, -34, 233, 83, 260, 0, 170, -4, 188, 191, 0, 26, 380, 58, -36, 0, 644, -2, 72, 97, 0, 316, 188, -70, 14, 0, 368, 18, 154, 294, 0, 308, -22, -262, -248, 0, 178, -102, 180, -223, 0, 102, 86, 4, 348, 0, 360, 20, 244, -92, 0, -8, -128, -132, 284, 0, 242, 25, 178, 12, 0, 186, 146, 320, 467, 0, -268, -39, -2, 140, 0, -73, 84, 170, 566, 0, 198, 106, -484, -16, 0, -496, 138, -72, 252, 0, -132, -182, -90, -224, 0, 188, 102, 186, 404, 0, -72, 0, 108, 26, 0, 246, -220, -60, -200, 0, 44, 0, -254, 250, 0, 252, 28, -119, 408, 0, 14, 459, -240, -108, 0, 16, 122, -294, 74, 0, 132, -184, 122, 96, 0, -172, 388, 174, 172, 0, 108, -54, 440, -260, 0, 29, 138, 108, -666, 0, 74, -148, 186, 318, 0, 180, 112, -268, -460, 0, 2, -2, 152, -268, 0, -30, 507, 114, 170, 0, -74, 14, 28, 91, 0, -145, -90, 312, 120, 0, -380, -136, -322, -109, 0, 118, 278, -314, 532, 0, 202, -88, -224, 428, 0, -276, -130, 6, -142, 0, -112, 32, 486, 72, 0, 146, 94, 200, -430, 0, 548, -84, -34, -6, 0, -82, 372, 110, -152, 0, -378, -286, 456, -185, 0, -362, 60, -211, 380, 0, 424, -26, -430, 268, 0, 109, -424, -98, 466, 0, 208, 310, -192, -46, 0, -104, -12, -38, 138, 0, -102, -38, 89, -124, 0, -60, 74, 180, 772, 0, -294, -186, -176, -56, 0, 525, -108, -64, -52, 0, 150, -102, 388, -92, 0, -160, -42, -90, -428, 0, -18, 30, -82, -169, 0, -122, 666, -344, 306, 0, -128, 52, 640, 368, 0, -60, -24, 105, 734, 0, 404, -69, -70, -165, 0, 206, -12, 95, -77, 0, -36, -100, -100, 483, 0, 190, -224, 30, 236, 0, 18, 105, -82, 74, 0, -184, -82, -84, 400, 0, 160, 239, -536, 28, 0, -422, 26, 66, -292, 0, -812, 35, 249, 147, 0, 148, -256, -244, -72, 0, -184, -40, -580, 52, 0, -493, 472, -215, 356, 0, -558, 217, -114, -34, 0, 86, 158, -108, -572, 0, 944, -112, -170, -1, 0, -180, -70, 82, -4, 0, 54, -134, -594, -208, 0, 494, -12, 368, -360, 0, -136, -415, -276, 122, 0, -8, -16, 2, 138, 0, 488, -137, 492, -69, 0, -152, 140, -24, 64, 0, 46, -71, -456, -186, 0, -292, 82, 328, -658, 0, 596, 142, -22, -230, 0, -224, -112, -31, -380, 0, 466, 312, -92, 127, 0, 166, -31, -52, 450, 0, 855, 296, 108, -140, 0, -330, 6, 8, 600, 0, -128, -44, -460, -51, 0, 12, -236, 299, -260, 0, -824, 128, -292, -177, 0, 680, -224, 100, -158, 0, -216, 60, -222, 328, 0, -4, 206, 78, 436, 0, -84, 350, 444, -117, 0, -222, -214, -164, -64, 0, 172, -132, 372, 20, 0, -147, 44, -122, 56, 0, -114, -34, 34, -112, 0, 321, -292, -92, 202, 0, 362, 209, 202, 226, 0, -132, 284, 210, -216, 0, 124, -158, -510, 64, 0, 182, -80, -159, 468, 0, 168, -190, 116, 266, 0, -88, 566, -224, 152, 0, -162, 215, -242, -114, 0, 464, -220, -14, -94, 0, -340, 104, 198, 590, 0, -120, 20, 472, 370, 0, 158, -2, -296, 156, 0, -59, 298, 260, 716, 0, 188, -144, -320, 151, 0, -188, -146, 374, -52, 0, 1183, 62, 222, -222, 0, 46, 258, -42, 588, 0, 134, -72, 254, 313, 0, -50, -142, -316, -290, 0, -126, 486, 76, -322, 0, 80, 238, -239, 1008, 0, 432, -98, 33, -318, 0, -171, 102, 216, -408, 0, -264, 194, 432, 80, 0, 158, -178, -228, 420, 0, 174, 44, 222, -12, 0, -132, -559, 121, 178, 0, -428, 188, -308, -131, 0, 42, 20, -320, 300, 0, 220, -334, 292, 236, 0, -320, 190, -12, -168, 0, -68, -231, -40, -376, 0, -214, -500, 252, 64, 0, 414, -160, 368, -179, 0, -624, -204, 32, 258, 0, 754, 189, -8, -216, 0, 284, -170, 208, -594, 0, 252, -252, 328, -200, 0, -8, -210, 54, -672, 0, -794, 208, -526, 166, 0, -388, -152, 208, -18, 0, 218, 11, 808, 364, 0, -404, -64, -312, 548, 0, -1032, 277, 120, 12, 0, 96, -324, -304, 329, 0, 354, -107, -166, -167, 0, -56, 58, 194, 414, 0, 198, -74, -543, -184, 0, 172, 168, 18, -400, 0, 142, -20, -56, -250, 0, -126, -84, 238, 8, 0, 928, -48, 172, -123, 0, -250, -428, -436, 464, 0, -200, -92, -784, 22, 0, 160, 138, -88, -25, 0, -464, 222, -204, -348, 0, 28, 16, -307, -76, 0, -796, 262, -118, 222, 0, 65, -566, -432, 106, 0, 688, -128, 796, -297, 0, -216, -170, -185, -120, 0, 210, -376, 228, -46, 0, -8, -152, 642, 796, 0, -550, 76, 274, -36, 0, 814, -420, -116, -574, 0, 2, 106, 748, 176, 0, -670, 126, 16, 736, 0, 120, -64, 8, -260, 0, 392, 184, -288, 116, 0, 232, 130, -23, -387, 0, -256, 500, 62, 340, 0, 664, 14, 232, -46, 0, -251, -24, -108, -688, 0, 384, -300, 476, -392, 0, 372, 60, -29, -14, 0, 654, 144, 564, -368, 0, -318, -166, -148, -968, 0, 272, 16, 72, 130, 0, -14, 126, 238, -292, 0, -358, -33, 146, 406, 0, -38, 212, 374, -272, 0, 680, 182, -516, 796, 0, -576, 282, -64, -536, 0, 322, -68, -204, 176, 0, 91, 322, 206, -72, 0, 336, 128, 212, -92, 0, -50, -172, 18, -44, 0, -420, 130, 26, -612, 0, -159, -92, 56, 86, 0, 186, 275, -358, -173, 0, -768, 48, -444, 58, 0, 408, -96, 224, -360, 0, 149, 357, 499, 450, 0, 392, 75, 500, -302, 0, -508, 68, 17, 58, 0, -854, -42, 256, 174, 0, 335, 170, -102, -1140, 0, -650, -2, 314, 781, 0, -213, 64, 8, -316, 0, 270, -66, -68, 71, 0, 378, -454, 91, 28, 0, -20, -344, -812, 496, 0, 116, 442, -244, -102, 0, 378, 111, -184, -274, 0, 290, -108, 27, 1086, 0, 474, -59, 464, -20, 0, -38, 272, 291, -30, 0, 570, 24, -124, 120, 0, -36, -8, 164, 891, 0, -916, -584, 800, -38, 0, -799, -332, -165, 156, 0, -940, 6, -594, -645, 0, -20, -36, -176, -632, 0, 984, 32, -500, 92, 0, -575, 8, -388, 460, 0, 260, -156, 250, 384, 0, -32, 180, 454, -692, 0, 264, -112, 18, -114, 0, -188, -36, -23, 652, 0, 64, -32, 602, -546, 0, 580, -58, 184, -984, 0, -38, -260, -118, -237, 0, -82, 326, -560, -390, 0, -1662, -219, 604, -650, 0, -256, -44, 288, 942, 0, -352, -164, -516, 402, 0, -355, 244, 154, -216, 0, 190, 58, -94, -468, 0, 170, -216, -85, 38, 0, 16, -40, -122, 230, 0, -70, -266, -434, -114, 0, 536, 314, -812, -194, 0, -1078, -156, 184, 178, 0, -928, 119, 150, -50, 0, 61, -252, -230, 196, 0, 4, -110, -612, -440, 0, -510, 760, -320, -1420, 0, -206, -4, -354, -5, 0, -294, -176, -151, -778, 0, 272, -10, 176, -432, 0, -389, -133, -216, -322, 0, -188, 18, -840, -186, 0, 44, 34, 684, -72, 0, -697, -460, -176, -56, 0, 198, -32, 168, -1136, 0, 368, -151, 694, -230, 0, -86, 66, -121, 364, 0, 522, -60, -396, -228, 0, 526, 126, 210, -986, 0, -772, -66, -80, -264, 0, -588, 98, 110, -984, 0, -1020, 368, -372, -912, 0, 732, -452, -282, 252, 0, 544, 105, -576, 54, 0, -358, -22, 229, 40, 0, 956, -210, -636, -576, 0, -922, -404, 128, 148, 0, 690, 508, -252, -247, 0, -218, -288, 298, -344, 0, -2536, 90, -354, -212, 0, -408, 240, -79, 244, 0, -478, 124, 1056, 78, 0, -1102, -416, -336, -382, 0, -362, -126, 404, 158, 0, 460, 64, -492, -174, 0, -428, 18, 39, -208, 0, -292, -498, -118, -460, 0, -346, -16, -218, 94, 0, 619, -76, 40, -1492, 0, 970, -584, -362, 6, 0, 100, 104, -127, 162, 0, -1170, -146, 12, -802, 0, 12, 456, -168, -588, 0, -36, -236, -714, 356, 0, -731, -652, -146, 650, 0, -804, 144, 190, -94, 0, 429, 388, 944, 208, 0, -298, 14, -42, -100, 0, -732, 240, 162, 322, 0, 387, -132, -442, -120, 0, -600, 366, 264, 970, 0, 268, -176, 178, -230, 0, -98, 396, -12, -528, 0, 752, -102, 486, 1, 0, -348, -20, -543, -992, 0, -12, 152, -126, 142, 0, 582, 350, -414, 92, 0, -434, 140, 34, -329, 0, -118, -176, 486, 726, 0, 794, 367, 504, -204, 0, 282, -98, -244, -20, 0, 452, 164, 671, 0, 0, 66, -252, 325, -692, 0, -66, 391, -592, -56, 0, -96, -98, -590, -50, 0, -1316, -304, 316, -24, 0, 178, 92, -96, 926, 0, -532, -67, 16, -166, 0, -450, -170, 508, 152, 0, -530, -428, 716, -80, 0, 370, 108, -228, -502, 0, 720, 228, -526, -124, 0, 354, -176, 525, 150, 0, 136, -6, 182, 44, 0, 15, -400, -262, -410, 0, -176, 212, -718, 132, 0, -68, 28, 628, 1048, 0, 1478, -11, 230, -324, 0, -628, 52, -288, -700, 0, -692, 200, 442, 918, 0, 360, -20, -272, 64, 0, 1432, -304, -312, -280, 0, 47, 116, 228, -352, 0, 1236, 48, -810, -274, 0, -252, 126, -180, -536, 0, -432, 90, 88, 310, 0, 42, -152, 180, 459, 0, -862, -116, -114, -138, 0, -288, -81, -1116, 612, 0, 832, -102, -860, 228, 0, -560, 236, -134, -22, 0, -396, 532, -532, 198, 0, 539, 360, 34, 1240, 0, -834, 126, -134, -928, 0, -94, -472, -590, 146, 0, -30, -256, 1002, -158, 0, -520, -548, -68, 492, 0, 258, -188, 486, 560, 0, -672, -14, 444, -226, 0, 664, -486, 234, -464, 0, 370, -406, -229, 192, 0, 1118, 186, 952, -96, 0, -110, -364, -109, 914, 0, -636, -592, 28, 154, 0, 638, 304, -134, 564, 0, 586, 318, -44, -92, 0, 450, 350, -318, -732, 0, 472, 4, 572, -92, 0, -3, 128, -232, 152, 0, -24, -36, 1112, -368, 0, -108, 256, 63, 1104, 0, 944, 230, 562, -264, 0, -326, -48, -436, -714, 0, 1054, -61, 460, 226, 0, -606, 326, 459, 16, 0, -44, 80, -122, -126, 0, -464, 208, 230, -224, 0, 768, 572, -602, -52, 0, -158, 4, -226, -12, 0, 538, -420, -166, 868, 0, -173, 348, 150, 1200, 0, -196, 310, 664, 162, 0, -658, -588, -144, 346, 0, 722, -28, -340, -252, 0, -376, -124, 185, -656, 0, 614, 224, -460, -90, 0, -252, -392, -348, 44, 0, 92, -4, 162, 474, 0, 9, 412, 327, -578, 0, 1170, -121, 808, -24, 0, -210, -80, 215, -380, 0, -784, -196, 652, -530, 0, -23, -82, -384, 216, 0, -936, -10, 692, 427, 0, 1001, 614, 22, -212, 0, 488, -288, 242, 158, 0, -81, -400, 425, -118, 0, 1244, 62, -428, -564, 0, -416, 1086, -504, 570, 0, -140, 177, -328, -444, 0, -173, 158, 30, -68, 0, -60, 57, 638, -228, 0, 392, 88, 869, -764, 0, 1010, 106, -184, -121, 0, -4, 361, 256, -334, 0, -1034, -578, 1092, -460, 0, -301, -402, -364, 766, 0, 340, -28, -510, 366, 0, -443, -350, -228, 92, 0, 340, 426, -504, -242, 0, 207, 612, -106, -126, 0, -104, -82, 818, -428, 0, 720, 200, 208, 340, 0, -808, -483, -448, -102, 0, 120, 354, -245, 1496, 0, -1418, 268, 640, 862, 0, 252, 294, -10, 576, 0, -85, 71, -330, 180, 0, -192, 396, -496, 1070, 0, -212, -79, 1028, -604, 0, 350, 416, 156, 80, 0, -118, -194, -576, 164, 0, -29, 310, -44, -258, 0, 52, -360, -322, 286, 0, 156, -490, 77, 540, 0, 126, 162, -80, 368, 0, 324, -358, -486, 673, 0, 380, 288, -424, -186, 0, 134, 128, 146, 150, 0, -1268, 244, 592, -308, 0, -95, 254, 4, -144, 0, 752, -144, -1186, -122, 0, -136, 246, -722, -128, 0, 404, 408, -543, -11, 0, 464, -428, -224, 28, 0, -10, 250, -156, 330, 0, -245, 60, 138, -130, 0, -1204, -134, -718, -476, 0, -344, 78, 976, 372, 0, 360, -640, -194, 344, 0, 504, 174, 164, -192, 0, 748, -491, 732, 372, 0, -162, 260, 125, 530, 0, 734, -148, -1044, 92, 0, 570, -472, 546, -864, 0, 294, -78, -84, 518, 0, -468, 248, -67, 644, 0, -504, 240, -48, 218, 0, 798, 102, -348, 516, 0, 988, 63, -178, -284, 0, 730, -26, 423, -104, 0, 862, -34, -604, 292, 0, -100, -232, 442, 712, 0, 120, 246, -760, 301, 0, 316, -320, 300, -476, 0, -500, -152, -466, -270, 0, 504, 340, 91, -732, 0, 606, 240, 550, 1028, 0, -592, -728, -304, 786, 0, 170, 48, 724, 416, 0, 362, -104, -326, -1142, 0, -1196, -412, -40, 474, 0, 216, -98, -163, -508, 0, 396, 264, 175, 640, 0, 101, 126, 98, 272, 0, 160, -2, -808, 192, 0, 394, -614, 240, 700, 0, 974, 162, 384, 561, 0, -220, 696, -410, -312, 0, 171, -46, -644, 300, 0, 204, -876, -82, 248, 0, -1388, 156, 944, 70, 0, -147, 138, 734, 1840, 0, -312, -182, -416, -324, 0, 177, 136, 543, -380, 0, 760, -244, -328, -232, 0, -196, 910, 510, -764, 0, 50, -120, 468, 290, 0, 44, 284, -114, 128, 0, 132, -162, 536, 599, 0, 156, -416, -935, -392, 0, -936, 642, -54, 928, 0, 108, 860, -40, 592, 0, -218, 302, 81, -40, 0, 9, 32, 472, 226, 0, 1792, 403, 800, -760, 0]