# Trace form for 4025.2.a.be, downloaded from the LMFDB on 24 April 2024.
[0, 21, 2, -1, 30, 0, 6, 21, 6, 30, 0, 7, -22, -3, 2, 0, 56, 7, 0, 24, 0, -1, 4, 21, 24, 0, -2, -19, 30, 11, 0, 46, -6, -3, 28, 0, 58, 24, -4, 31, 0, 14, 6, 18, 12, 0, 2, -25, -36, 21, 0, 17, -8, 22, -6, 0, 6, 40, 6, 10, 0, 38, -54, 30, 100, 0, 38, 12, 18, -1, 0, 56, 42, -40, -20, 0, 60, 7, 38, 49, 0, 57, 16, -2, -22, 0, 16, -23, 12, 28, 0, -3, 30, -30, 66, 0, 46, -1, 2, -2, 0, 10, -18, -11, -44, 0, 52, 28, -162, 13, 0, 60, 56, 62, -56, 0, 40, -56, 6, 7, 0, 60, -20, -68, 50, 0, 0, 26, -10, 28, 0, -8, -98, 24, -124, 0, 120, 44, 6, 52, 0, 55, -18, -37, 72, 0, 8, -1, 6, -14, 0, 105, -20, -36, 4, 0, 88, -14, 62, -6, 0, 21, -128, 14, -48, 0, 102, -17, 24, 82, 0, 62, 126, -21, -64, 0, 34, 2, -66, 50, 0, 68, -2, 24, 6, 0, 18, -55, -50, -19, 0, 47, -72, 82, -24, 0, 30, 6, 94, 92, 0, -40, -12, 11, -6, 0, 26, 30, -190, -26, 0, 61, 68, 28, -22, 0, 42, 46, 56, 24, 0, -37, -92, -81, -6, 0, 2, 33, 162, 10, 0, -3, 10, 6, -262, 0, 0, -37, 28, 41, 0, 40, 110, -8, 32, 0, -6, -18, -122, -38, 0, 20, 58, 7, 40, 0, 132, -116, 86, 24, 0, -102, 94, 48, -76, 0, -4, -32, 2, 16, 0, 130, 100, 31, -34, 0, -22, 74, 6, 190, 0, 7, 104, -71, -46, 0, 8, 14, 114, 62, 0, 1, -214, 7, 6, 0, -10, 3, 140, -3, 0, 18, -42, -84, 112, 0, 134, -39, 12, 19, 0, 18, 316, 23, -76, 0, 76, -120, -20, 169, 0, -72, 2, -16, 116, 0, -6, -69, 132, -25, 0, 110, 84, 110, -124, 0, -36, 90, -106, 78, 0, -2, 158, 21, -108, 0, 136, 34, -98, 92, 0, 99, 92, -25, -50, 0, 80, 17, -36, 18, 0, 61, -234, -46, -8, 0, 88, -23, 56, 16, 0, 22, -278, 46, -34, 0, 86, -51, -6, 116, 0, -54, 124, -70, -168, 0, -116, 62, 32, -37, 0, 7, 6, 94, 4, 0, -10, -65, 190, 40, 0, -93, 232, 66, 34, 0, 6, -98, -222, 2, 0, 54, -166, 10, 0, 0, -22, 98, -196, 28, 0, 13, -42, -170, 78, 0, -130, 38, 82, -7, 0, 65, -448, 0, -54, 0, -14, 24, -62, 194, 0, 30, -122, 28, -28, 0, -114, 64, 100, -15, 0, 72, 192, -183, 12, 0, -172, 132, -30, -87, 0, -108, 38, -30, -122, 0, 44, -111, 70, 12, 0, 86, 130, -82, 48, 0, 18, -38, -96, 84, 0, -60, 98, -1, -76, 0, -242, -50, -134, 62, 0, 29, -52, -51, -6, 0, 54, 56, -192, 119, 0, -67, -116, -29, 42, 0, 4, -64, 330, 42, 0, -40, -180, 152, -70, 0, -24, 43, -20, 79, 0, -84, 104, -76, -68, 0, 26, 4, 98, 21, 0, 32, 60, -78, -314, 0, -316, -220, 24, 7, 0, -9, 82, 58, 264, 0, 38, -80, -82, 58, 0, 84, 24, 49, -38, 0, -220, 68, -166, 148, 0, -283, 46, 10, -118, 0, -52, 57, -180, -26, 0, -14, -158, -85, 16, 0, 112, -7, 142, 80, 0, -2, -30, -10, -82, 0, -110, 16, -22, 110, 0, 102, 74, -151, -96, 0, -144, -14, -2, 141, 0, 84, 16, 6, 152, 0, -176, -171, -16, -23, 0, -57, 224, -36, -186, 0, 12, 48, 28, 152, 0, -19, -230, 28, 12, 0, -84, 84, -30, -16, 0, 191, 366, 53, -118, 0, -268, -3, -148, 256, 0, -72, -418, -39, 30, 0, 18, 20, -72, 118, 0, -30, -112, -4, -180, 0, -238, -6, 66, -25, 0, 4, -14, 85, 150, 0, -172, 11, 106, -35, 0, 60, 46, 168, -152, 0, 144, -153, 366, -1, 0, -153, 104, -102, -374, 0, 2, -48, 58, 24, 0, 114, 32, -2, 70, 0, -278, 106, -100, 84, 0, -93, 356, 88, -124, 0, -274, 10, -352, 35, 0, 22, -236, 46, -18, 0, -16, -207, 26, -48, 0, -11, -256, 84, 88, 0, -22, -100, -44, -81, 0, -10, 326, -87, -440, 0, -6, 98, 452, 131, 0, -30, 52, 88, -146, 0, -106, 104, 102, 28, 0, 175, -12, 124, 132, 0, -162, -92, 10, -3, 0, -232, -16, 13, -34, 0, -54, 156, -180, 100, 0, -102, 292, 131, -230, 0, -96, 60, -60, -4, 0, -112, 28, -57, 56, 0, -378, 117, 54, -62, 0, 62, -218, 240, -298, 0, 124, 25, -56, 141, 0, -116, 224, 132, -318, 0, -222, 286, -200, -143, 0, -12, 40, 50, -74, 0, -204, -128, -44, -56, 0, -57, 128, -170, -136, 0, 6, -4, 58, 138, 0, -18, -454, 7, -342, 0, -362, 16, -212, 62, 0, -12, 90, -85, 120, 0, -50, 60, -4, -21, 0, 24, -328, -32, -20, 0, -236, -28, 328, -8, 0, -68, -30, 168, -122, 0, -118, -152, 50, -23, 0, 190, -72, -102, -4, 0, -14, 78, 82, -7, 0, -206, 0, -30, -646, 0, -132, -60, 328, 26, 0, 11, -206, 18, -304, 0, -10, 31, -48, -82, 0, 26, 52, 28, -8, 0, -210, 28, 168, -84, 0, -2, 326, -156, 36, 0, 48, -8, -380, 153, 0, -237, -4, -352, -98, 0, -228, 150, 208, -82, 0, 24, 14, 68, -148, 0, -704, -151, -124, -83, 0, 70, 56, 14, -16, 0, -58, 14, -134, 82, 0, 144, 120, 24, -216, 0, -222, -229, -86, 44, 0, -31, 344, -10, 14, 0, 6, -28, 432, -110, 0, 12, -48, 52, -144, 0, -200, 194, 56, -78, 0, -82, 36, 101, -648, 0, -234, 55, -250, 18, 0, 114, -386, -256, -18, 0, -284, 3, -146, 226, 0, -37, -78, 222, -244, 0, -318, -244, 72, -9, 0, -194, 12, -76, -314, 0, -30, 142, 132, -188, 0, 14, 8, 238, 102, 0, -82, -65, -2, -1, 0, -29, 530, 152, -308, 0, 6, -96, -486, 220, 0, -150, -50, -14, -380, 0, 144, 128, -34, -6, 0, 69, 132, -167, 124, 0, -576, 105, 2, -27, 0, -253, -514, -198, -20, 0, -228, -111, -288, 114, 0, -36, 82, 74, 104, 0, 112, -120, 4, 198, 0, -25, 148, 251, 116, 0, 62, 208, 570, 110, 0, 88, 88, 66, -10, 0, -34, -96, -60, -14, 0, 91, -172, -172, -36, 0, 62, -308, -38, -120, 0, 162, -114, -6, 134, 0, 324, 116, 68, -270, 0, -192, 28, -17, 4, 0, -34, 21, -264, 99, 0, 7, -516, -13, -128, 0, -112, 238, 192, -34, 0, 14, -206, 40, 82, 0, 80, -148, -48, 6, 0, 60, 462, -240, -82, 0, -24, 124, 336, 236, 0, -174, 102, -190, 136, 0, 158, -107, -486, -17, 0, 145, 192, 17, 86, 0, 24, 0, -96, -122, 0, 44, 28, 82, -308, 0, 46, 38, -432, 108, 0, 217, 352, 125, -70, 0, -8, 62, 222, 57, 0, 31, -360, -83, 126, 0, -364, 86, 286, -90, 0, -21, -826, 196, 20, 0, 192, 83, -64, 22, 0, -134, -26, 67, 538, 0, 220, 144, -78, -28, 0, 66, 34, 104, -52, 0, 202, -344, 88, 2, 0, 12, -6, 8, -96, 0, -66, 92, 786, 182, 0, -82, -318, 50, -10, 0, -216, 158, -640, -10, 0, -141, 266, 377, 120, 0, 234, 68, -524, -23, 0, 228, -182, -136, -2, 0, 190, 111, 134, 260, 0, 24, -254, -48, -344, 0, -222, -224, 6, 10, 0, 120, 268, -217, 88, 0, 398, 202, 126, 12, 0, -178, 18, -14, 160, 0, -322, 85, 142, -55, 0, 40, 128, 36, -2, 0, -50, 170, 350, -64, 0, 166, 96, -19, 374, 0, 176, -120, -16, -72, 0, -129, -184, -144, 6, 0, -302, 47, -230, 5, 0, -126, -260, -313, -72, 0, 208, 337, 458, 84, 0, 82, -226, 120, 350, 0, 116, 10, -24, 256, 0, -108, -174, 321, 156, 0, -66, 154, 876, 145, 0, 156, 30, -172, 106, 0, 140, -61, -32, 6, 0, -26, 218, -230, 330, 0, 94, -52, 72, -8, 0, 184, 572, 92, 18, 0, 346, 146, -368, 292, 0, -137, -38, 38, 210, 0, -84, -40, -94, -93, 0, 144, -528, -160, -12, 0, 244, -59, -156, -380, 0, 11, -20, 40, 182, 0, -54, -1, -6, 86, 0, 82, 204, -1, -418, 0, 126, 6, 210, 35, 0, 36, 26, -78, 216, 0, -238, 31, -212, 30, 0, -32, 296, -244, 170, 0, -190, 0, -128, 72, 0, -218, -72, -26, 474, 0, 186, -128, -254, 12, 0, 262, 100, 113, 20, 0, 280, 61, -206, 39, 0, 95, -510, 55, 68, 0, 40, 211, -962, 56, 0, 28, 256, 248, 42, 0, 46, -13, -22, 35, 0, -94, 394, 130, 472, 0, -396, 318, -222, -51, 0, -36, 42, 32, -138, 0, 294, -382, 38, 46, 0, 24, -68, -92, -310, 0, 56, -148, -158, 20, 0, 70, 240, 24, -168, 0, -196, 122, 84, -26, 0, 12, 34, 195, -168, 0, 332, -37, 396, 176, 0, 201, -50, -203, -92, 0, -98, -272, 44, -4, 0, -81, -278, -86, 18, 0, 32, -176, -6, -104, 0, 92, 84, -16, 140, 0, -106, -284, 680, 43, 0, -52, 2, 202, -92, 0, 66, -1, -76, 33, 0, 284, 204, 192, 206, 0, 162, 124, 244, 356, 0, -154, 112, 10, -204, 0, -286, -64, 192, -86, 0, -108, 330, -76, 112, 0, 540, -3, 66, -221, 0, 64, 150, -211, 10, 0, 372, 38, -232, 128, 0, 6, -570, 56, 38, 0, -160, -163, -262, 96, 0, -84, -106, 92, 254, 0, 154, 222, -424, -29, 0, 30, 0, -124, 202, 0, 42, -79, 740, -37, 0, -409, 460, 152, -10, 0, 28, -86, 590, 70, 0, 270, -496, 41, 296, 0, 276, 110, -56, -40, 0, 25, -60, 66, 206, 0, 302, 40, -492, 18, 0, 106, -312, -65, 110, 0, 318, -144, -144, -2, 0, -8, -20, -34, -262, 0, 286, -86, 32, 41, 0, 120, 186, 110, 192, 0, 674, 108, 138, 188, 0, -58, -6, 244, 610, 0, 0, 230, -628, -18, 0, 71, 206, 38, -426, 0, -122, -14, -212, -136, 0, -38, 362, -38, 116, 0, 612, -168, 60, -174, 0, 369, -70, -199, 348, 0, -226, 20, -656, 56, 0, -560, 108, -390, 58, 0, 246, 216, 110, -94, 0, 7, -248, 208, 48, 0, 512, 0, 40, -179, 0, -170, 496, 51, -828, 0, 228, 92, 532, 20, 0, 312, 132, -120, 38, 0, 346, -297, 288, -116, 0, -19, 216, -230, 458, 0, 86, -20, 474, -190, 0, -242, -182, 24, -66, 0, 296, 49, -136, -162, 0, 59, -178, 75, -68, 0, 434, -102, 500, 30, 0, 275, -486, -581, 94, 0, -186, 13, 234, 136, 0, 48, -20, 20, -16, 0, 100, -48, -76, -175, 0, 394, 288, -75, 220, 0, -224, 110, -468, -98, 0, 20, -4, 57, 126, 0, 398, -173, -136, -32, 0, 65, -90, 8, -46, 0, 2, -210, -144, 384, 0, 46, -210, 16, -58, 0, 16, 4, 306, -120, 0, 142, -62, 321, -12, 0, 184, 130, 16, 42, 0, 67, -484, -277, 100, 0, -254, 387, 444, -2, 0, 31, 74, 44, 248, 0, 616, 140, -34, -168, 0, 20, -82, 516, -210, 0, 264, -26, 426, 95, 0, 62, -22, 218, 26, 0, -258, 62, 740, 74, 0, 58, -344, -28, -54, 0, 6, -352, -514, -158, 0, 326, -62, 190, 244, 0, 258, 288, -344, 122, 0, -232, 486, 9, 270, 0, -100, 7, -524, -162, 0, 346, -4, -219, 104, 0, 536, -61, 16, -122, 0, -71, -218, 530, 0, 0, 242, -101, -46, -238, 0, 314, 256, -307, 198, 0, 104, 64, -88, 21, 0, -23, 8, 304, -72, 0, 18, -282, 470, 14, 0, 131, 126, -98, 450, 0, 114, 4, -228, -396, 0, 18, -4, 62, 12, 0, 24, -158, -612, 156, 0, -43, 520, 12, -620, 0, 160, 1, 234, 126, 0, -32, 44, -404, -214, 0, 368, 28, -314, -96, 0, 7, -176, 366, -34, 0, -544, -88, 6, 24, 0, -692, 14, -148, 314, 0, 418, 50, 8, -1, 0, 170, -10, -358, 102, 0, 500, 88, 26, 3, 0, 54, 408, 70, 104, 0, 140, -62, -188, -154, 0, 28, -66, -3, -150, 0, -202, -48, -202, -26, 0, 221, -392, 73, 318, 0, -340, 18, -588, -146, 0, 7, -412, -61, -42, 0, 30, -42, 720, -70, 0, -84, 380, 388, 230, 0, 430, 117, 112, -19, 0, -64, -80, 1, -294, 0, -384, 336, -14, -30, 0, -254, 134, -96, -638, 0, 38, 336, -100, -39, 0, 590, -360, 100, 642, 0, 12, -390, -704, 88, 0, -204, 66, 19, 226, 0, 282, 34, -98, -110, 0, 195, -200, 2, 2, 0, 472, 18, -770, 195, 0, -44, -118, 142, 316, 0, -2, 451, -126, 150, 0, 23, -134, 230, 20, 0, -136, -303, -76, 123, 0, 104, 254, -60, 550, 0, -518, -36, 46, -2, 0, 232, 76, -100, 66, 0, -54, -229, 20, -120, 0, 110, 432, -630, -428, 0, -20, 116, 94, 10, 0, -1, -258, 169, -356, 0, 208, -108, 426, 140, 0, -94, 130, 321, -330, 0, 348, -72, 160, -125, 0, 116, -326, -667, 2, 0, 444, -144, 160, -276, 0, -16, -578, -218, 402, 0, -210, -289, 116, 103, 0, 314, -8, 36, 18, 0, 24, -2, -484, 98, 0, 66, -6, 148, -228, 0, 560, 161, 450, -69, 0, -91, -394, -388, 54, 0, 132, 52, 216, 52, 0, -198, 374, -25, 228, 0, -346, -132, -76, 32, 0, 91, 300, -226, -36, 0, 318, 110, -370, -331, 0, -357, 132, 10, 84, 0, -256, -60, -132, -104, 0, 110, 190, 40, 444, 0, 470, -338, -124, -58, 0, -122, 390, -164, 40, 0, -18, -52, 756, -297, 0, 84, -36, 480, 368, 0, -492, 189, 982, 90, 0, -317, -352, -392, 358, 0, -106, 348, -28, -11, 0, 278, -8, 78, 112, 0, 172, 90, -384, -8, 0, -25, 300, 31, -522, 0, -130, -2, -952, -49, 0, 3, -44, -400, 158, 0, 432, -177, 424, 192, 0, 21, -512, 452, 432, 0, 218, -468, -108, -388, 0, -308, 338, 194, 138, 0, 14, 12, 276, -326, 0, 82, 136, 148, -574, 0, 470, -53, -166, 34, 0, 175, 254, -308, -268, 0, -98, 30, 52, 138, 0, -110, 508, 92, 240, 0, -54, -180, 44, 6, 0, -8, 36, -371, 688, 0, -130, 99, 244, -23, 0, 28, -670, 203, 92, 0, 150, 176, 746, 2, 0, -25, 80, 224, 150, 0, 308, -101, -50, 260, 0, 52, -154, 207, -162, 0, -134, -14, -662, 46, 0, 164, 80, 82, 2, 0, 238, -53, 626, 17, 0, -194, 142, -174, -358, 0, -36, 13, -732, -266, 0, 340, -260, 18, 360, 0, 256, 316, 258, -148, 0, 187, -384, -488, 382, 0, 566, 61, 296, 268, 0, 239, 98, -202, -234, 0, -280, 100, 264, 20, 0, -46, 630, -100, -892, 0, -204, -540, -8, -159, 0, 498, 20, 60, 60, 0, 318, 82, -16, 116, 0, -82, 88, 164, 180, 0, -228, 9, -482, -23, 0, 56, -520, 102, 166, 0, 56, 302, 80, 2, 0, -158, -26, 16, -40, 0, -74, -56, 104, -150, 0, 139, -284, -91, -120, 0, 102, 22, 106, 62, 0, -110, 388, -260, -278, 0, -28, 605, 202, -60, 0, 46, -480, 66, 0, 0, -130, -219, -34, -573, 0, 160, -56, 216, -254, 0, -236, 418, 282, -1, 0, -64, 86, -28, 132, 0, -94, 114, -162, -51, 0, -64, -292, 194, 84, 0, -6, 218, -478, -82, 0, 106, 932, 116, 122, 0, 64, 36, -480, 202, 0, -704, 24, -93, 562, 0, -400, -54, 40, -140, 0, 529, 252, -202, 124, 0, -24, -211, 30, 126, 0, -70, 200, -370, -306, 0, 192, 23, -168, -39, 0, -56, 236, 199, 274, 0, 168, 314, 114, -267, 0, 138, -116, 392, 768, 0, 36, -344, -198, 62, 0, 75, 856, 228, 6, 0, 32, -150, -236, 232, 0, 18, -240, -37, 272, 0, 48, -458, 558, -94, 0, -27, 172, -216, -50, 0, -602, 7, -750, -136, 0, -118, -380, 145, 6, 0, -366, 112, 528, -248, 0, 94, -38, -108, 314, 0, -52, 189, 4, 72, 0, -92, 38, 146, 372, 0, 126, -98, 134, 36, 0, 120, -10, 200, -170, 0, 100, 121, 308, -65, 0, -39, -172, 60, -498, 0, 190, -96, -178, -94, 0, 230, -120, 40, -394, 0, 856, -210, -466, 118, 0, -183, -1030, -272, 106, 0, -20, -93, 1116, -183, 0, -385, 628, 359, 232, 0, -402, -318, 524, -160, 0, 66, 246, -172, -422, 0, 286, 106, 34, -68, 0, 100, -328, 3, 400, 0, -24, 170, 320, 379, 0, -188, 6, 250, 502, 0, 92, 22, -36, -98, 0, 206, 50, -398, 528, 0, -222, 254, -184, -428, 0, -424, -294, 2, 228, 0, -516, -188, -1186, -48, 0, 490, -26, 204, 74, 0, 390, 54, -126, 125, 0, 82, 208, -45, -166, 0, -408, 16, -610, -136, 0, 10, 104, -180, 410, 0, -66, 14, 0, -47, 0, -418, 334, 173, 318, 0, 326, 206, -832, -365, 0, -84, -22, -98, 300, 0, -352, -294, 366, 98, 0, 26, -408, 152, -200, 0, -196, -510, 924, 52, 0, -196, -62, 28, -52, 0, -924, -474, -14, -304, 0, -95, -34, 169, -10, 0, 152, 13, 244, -517, 0, -381, 260, -131, -42, 0, -36, -269, 1042, 724, 0, -170, 328, 332, 556, 0, 334, 28, 78, -282, 0, 332, -24, 572, 226, 0, 154, 194, 476, 246, 0, -156, -130, -126, -142, 0, 306, 41, 1264, 38, 0, -149, 88, -292, 212, 0, 82, 318, -472, 112, 0]