# Trace form for 4023.2.a.f, downloaded from the LMFDB on 25 April 2024.
[0, 25, 7, 0, 27, 12, 0, -2, 21, 0, -4, 12, 0, 0, 10, 0, 35, 26, 0, 0, 30, 0, 8, 26, 0, 27, 16, 0, 4, 20, 0, -6, 49, 0, -14, 16, 0, -2, 27, 0, 2, 35, 0, 4, 22, 0, 6, 38, 0, 19, 22, 0, 4, 36, 0, 10, 79, 0, -22, 15, 0, 10, -14, 0, 41, 80, 0, -6, 33, 0, 8, 26, 0, -6, 75, 0, -10, 47, 0, -6, 66, 0, 12, 40, 0, -12, 4, 0, 12, 30, 0, 0, 158, 0, 18, 22, 0, -20, 35, 0, 17, 56, 0, 6, 27, 0, -30, 50, 0, -10, 110, 0, 35, 100, 0, 2, -27, 0, -3, 57, 0, -7, -28, 0, -9, 51, 0, 16, 154, 0, 40, 0, 0, -32, 15, 0, -40, 171, 0, -8, -76, 0, -27, -10, 0, 22, 15, 0, -20, 25, 0, -4, -12, 0, -7, 56, 0, 2, 6, 0, 26, 71, 0, -12, 139, 0, -18, 5, 0, 49, -173, 0, 2, 34, 0, 20, -41, 0, -34, 43, 0, -34, 159, 0, 67, 30, 0, -45, 48, 0, -66, 21, 0, -10, -84, 0, -43, 100, 0, -42, 96, 0, 75, -4, 0, 13, -134, 0, 14, 37, 0, 0, -56, 0, -22, 72, 0, -30, 59, 0, -12, -17, 0, 17, -35, 0, 88, 71, 0, 14, -157, 0, -32, 174, 0, 4, 102, 0, 12, 6, 0, 40, 68, 0, 13, 65, 0, -62, -95, 0, -38, -1, 0, 30, 118, 0, 79, 17, 0, -50, 71, 0, 54, 59, 0, -76, -181, 0, -107, 90, 0, -26, 101, 0, 90, -54, 0, -59, -52, 0, 32, 45, 0, 24, -44, 0, 48, 51, 0, 67, 44, 0, 62, 37, 0, -10, 36, 0, 7, 5, 0, -31, -100, 0, -34, 107, 0, -28, 81, 0, 9, -11, 0, -39, -87, 0, 70, 155, 0, -22, -73, 0, -7, 177, 0, 36, 91, 0, 38, -43, 0, -12, -95, 0, -58, 50, 0, -4, -136, 0, -112, 108, 0, 20, 35, 0, -3, 29, 0, 32, 35, 0, -51, 126, 0, -12, -188, 0, -72, 66, 0, 137, 88, 0, 32, -81, 0, 50, 111, 0, 46, 32, 0, 11, -114, 0, 0, 209, 0, 56, 80, 0, -166, -93, 0, -50, -125, 0, -8, 33, 0, 12, -103, 0, 46, 56, 0, 18, -6, 0, -15, 54, 0, -119, 90, 0, 44, 77, 0, -80, -181, 0, -22, 118, 0, -60, 139, 0, 49, -24, 0, 26, 54, 0, 10, 62, 0, -22, -33, 0, 48, 63, 0, -70, 46, 0, -92, -55, 0, 26, -158, 0, -20, 86, 0, 19, -250, 0, -32, 327, 0, -44, 323, 0, -73, -71, 0, -47, -2, 0, 68, 12, 0, -44, -252, 0, -94, 21, 0, 44, 69, 0, 12, 169, 0, -32, -118, 0, 72, -13, 0, -72, -130, 0, -5, 211, 0, -30, -18, 0, -101, -121, 0, -10, -218, 0, -16, 77, 0, -50, -206, 0, -190, 64, 0, -34, 61, 0, 142, 4, 0, -24, 216, 0, -50, 31, 0, -20, -309, 0, 114, 67, 0, -52, -40, 0, 32, -97, 0, 51, -202, 0, -195, 55, 0, 98, -265, 0, -48, 45, 0, -6, 119, 0, 34, -201, 0, 4, 134, 0, 184, -24, 0, -94, -146, 0, -52, 108, 0, -55, -12, 0, 84, -66, 0, 73, -70, 0, -98, 14, 0, 87, -370, 0, 79, 9, 0, 74, 77, 0, 94, -170, 0, -37, -27, 0, 170, 51, 0, -81, -277, 0, -24, 324, 0, -10, 27, 0, -47, -109, 0, 43, -359, 0, 12, 31, 0, -58, -223, 0, -50, -67, 0, 0, -93, 0, -72, 247, 0, -8, -53, 0, -64, -100, 0, -95, -373, 0, -90, -7, 0, 25, 297, 0, -35, -135, 0, 16, 22, 0, 122, 42, 0, -24, -116, 0, 14, -22, 0, 77, -63, 0, 17, -63, 0, -79, -152, 0, 92, -62, 0, -55, -211, 0, -37, 179, 0, -104, 52, 0, 125, -6, 0, 44, -10, 0, 35, 50, 0, -110, -554, 0, 142, 36, 0, 172, -67, 0, -32, -134, 0, -25, -241, 0, 4, -123, 0, 32, -141, 0, 54, 101, 0, 58, 20, 0, -98, -27, 0, 86, -315, 0, -25, 56, 0, -173, -257, 0, -48, -20, 0, 30, 98, 0, -95, 16, 0, -24, 138, 0, -112, -75, 0, 40, -355, 0, 124, 240, 0, 162, -128, 0, 164, -4, 0, 12, -101, 0, -158, -64, 0, -44, -123, 0, -44, -72, 0, -38, -21, 0, -57, -37, 0, 24, -235, 0, -90, 7, 0, -13, -432, 0, 94, 73, 0, 38, -307, 0, 128, -32, 0, -98, -10, 0, -113, 94, 0, -132, -76, 0, 104, -124, 0, -62, -1, 0, -4, 8, 0, -29, -244, 0, -46, -124, 0, -85, -238, 0, 182, 151, 0, 44, 121, 0, 253, -140, 0, 115, -247, 0, 2, 15, 0, -6, -453, 0, 94, 9, 0, -126, 41, 0, 68, 63, 0, 132, -203, 0, 138, -118, 0, 15, -272, 0, 42, 202, 0, -84, -26, 0, -55, -5, 0, 58, -279, 0, -86, 46, 0, -14, -163, 0, 42, 46, 0, 113, -52, 0, -125, -263, 0, -106, -269, 0, 2, -131, 0, -66, -108, 0, -198, 38, 0, -94, -153, 0, -97, 86, 0, -100, -93, 0, 54, -73, 0, -73, -403, 0, 49, -222, 0, -57, -8, 0, 67, -70, 0, 51, 56, 0, 147, -192, 0, -148, -185, 0, 84, 185, 0, 83, -124, 0, 4, -199, 0, 16, -613, 0, -130, 24, 0, -26, -32, 0, -26, -137, 0, -102, -84, 0, 4, -2, 0, 147, 36, 0, -6, -18, 0, -8, -472, 0, -66, 261, 0, 150, 115, 0, 223, -63, 0, -37, -361, 0, 282, -243, 0, 112, -179, 0, 182, -147, 0, -118, -87, 0, -30, 163, 0, -7, -411, 0, 185, -18, 0, 104, -354, 0, -116, 147, 0, -48, -190, 0, -7, -32, 0, 154, -45, 0, -24, -79, 0, 194, -345, 0, 22, -198, 0, 70, 17, 0, 264, -87, 0, -157, -74, 0, -14, -198, 0, 55, -147, 0, 285, 351, 0, 136, -66, 0, -241, -114, 0, 154, -237, 0, -336, 99, 0, -68, 6, 0, -71, -2, 0, 82, 10, 0, 100, 82, 0, 64, 65, 0, -96, -192, 0, -58, -151, 0, -386, 100, 0, -23, -241, 0, 5, -26, 0, -38, -209, 0, -194, 14, 0, -112, 66, 0, 260, -115, 0, -107, 309, 0, -56, -152, 0, -26, -116, 0, -129, -153, 0, -6, 36, 0, 474, 62, 0, 33, -56, 0, -173, 239, 0, 175, -125, 0, -220, -113, 0, 33, -136, 0, -32, -128, 0, -1, -72, 0, 12, 103, 0, 46, -76, 0, -30, -228, 0, 12, -189, 0, 120, 241, 0, 34, -88, 0, -94, -122, 0, 72, -167, 0, -196, 207, 0, 72, -78, 0, 233, -98, 0, -6, -2, 0, 311, 211, 0, -25, 44, 0, -160, 40, 0, -1, -1, 0, 123, 211, 0, -89, 411, 0, 182, 109, 0, 28, -100, 0, 12, -120, 0, 131, 211, 0, 40, 68, 0, 34, 92, 0, 21, 19, 0, 33, -649, 0, -36, -177, 0, -70, 307, 0, -25, 181, 0, 125, -30, 0, 76, 61, 0, 41, 23, 0, 146, 113, 0, -2, -144, 0, 42, 49, 0, 59, -89, 0, -404, 98, 0, -184, -72, 0, -77, -285, 0, -36, 93, 0, 31, 237, 0, 96, 172, 0, -132, -44, 0, -24, -180, 0, -254, -52, 0, 181, -210, 0, 128, -86, 0, 103, 236, 0, 359, 267, 0, -65, 251, 0, -140, -145, 0, -66, 87, 0, -124, -69, 0, 48, -159, 0, 266, 12, 0, -72, -272, 0, -84, 28, 0, 112, 555, 0, 61, -135, 0, -35, 187, 0, 102, -42, 0, -76, -52, 0, 26, -16, 0, 194, -14, 0, -38, 560, 0, -35, 75, 0, 62, -15, 0, 24, -6, 0, -92, -15, 0, -162, -56, 0, 190, -177, 0, 106, 151, 0, 184, 268, 0, 27, -26, 0, -144, -313, 0, 34, 85, 0, 52, 438, 0, 59, 76, 0, 51, 139, 0, 200, -103, 0, -250, 62, 0, -22, 361, 0, 158, -55, 0, 55, 54, 0, 143, 364, 0, -108, -7, 0, 15, -230, 0, -45, 87, 0, -361, -73, 0, 92, 56, 0, 96, 111, 0, -4, -105, 0, -150, 10, 0, 110, 274, 0, 262, 124, 0, 176, 304, 0, -348, 15, 0, 48, -41, 0, 260, -199, 0, -74, -10, 0, 10, -14, 0, -157, -19, 0, 142, 33, 0, 103, 21, 0, -374, 102, 0, 18, 153, 0, -308, -36, 0, 88, 276, 0, 346, 180, 0, -173, -104, 0, -26, -96, 0, 132, 279, 0, 358, 432, 0, -14, 119, 0, -152, 39, 0, -42, -303, 0, -44, -10, 0, 136, 184, 0, 126, 43, 0, -21, -44, 0, 68, 241, 0, -196, 128, 0, 16, -21, 0, -103, -4, 0, 179, 282, 0, 88, -57, 0, 43, 63, 0, -14, -1, 0, -218, -146, 0, -80, 402, 0, -158, -227, 0, -102, 436, 0, -86, -113, 0, -251, -258, 0, -108, 184, 0, 192, 175, 0, -423, 136, 0, -54, -150, 0, -226, 214, 0, -104, 91, 0, -290, -123, 0, 78, 301, 0, -85, -192, 0, -151, 296, 0, 127, 204, 0, -101, -219, 0, -258, -218, 0, 22, 304, 0, 309, 264, 0, 48, 50, 0, 57, -50, 0, 73, -168, 0, 196, 229, 0, -40, 305, 0, 90, -88, 0, 114, -127, 0, -144, 161, 0, 118, -3, 0, 419, -262, 0, 166, -27, 0, -271, 294, 0, 270, -22, 0, -398, 411, 0, -224, -197, 0, -508, -34, 0, 279, 322, 0, -295, 9, 0, -26, 672, 0, 136, 41, 0, 266, 49, 0, 44, -64, 0, 132, 384, 0, 0, 284, 0, 12, 157, 0, 68, 207, 0, 2, 86, 0, -408, 72, 0, -32, 258, 0, -229, -271, 0, 8, -148, 0, 131, 41, 0, 58, 229, 0, 348, -285, 0, -36, 514, 0, 185, 490, 0, -52, 91, 0, -185, 9, 0, 74, -551, 0, 48, -85, 0, 92, 426, 0, 324, -140, 0, 20, -42, 0, -124, 490, 0, -39, 14, 0, 474, -16, 0, 10, 281, 0, -50, 179, 0, 75, 546, 0, -252, -198, 0, -32, -30, 0, 84, -136, 0, -240, 375, 0, -26, -61, 0, -246, 603, 0, 52, 26, 0, -57, -382, 0, 60, -176, 0, 4, 48, 0, -279, 264, 0, 8, 120, 0, -273, 308, 0, 94, 278, 0, 96, 95, 0, 36, -269, 0, -106, -53, 0, -90, -66, 0, -198, 239, 0, 204, 41, 0, -434, -201, 0, 26, 344, 0, -359, 130, 0, -140, -127, 0, -96, 324, 0, 46, -526, 0, -172, -201, 0, -64, 770, 0, 21, -67, 0, 261, 507, 0, -94, 191, 0, -356, 556, 0, -32, -112, 0, 106, 198, 0, 48, 191, 0, 297, 234, 0, -168, -6, 0, -284, -585, 0, -84, -52, 0, -146, 549, 0, -241, 154, 0, -8, 375, 0, -154, 55, 0, -105, 7, 0, -280, -141, 0, 119, 72, 0, 72, 355, 0, -141, -530, 0, 144, 172, 0, 260, 182, 0, -254, 106, 0, -64, -54, 0, -38, -270, 0, -106, 30, 0, 120, 162, 0, -100, 438, 0, 82, -369, 0, 17, 225, 0, -26, 40, 0, 229, 730, 0, -231, 143, 0, -6, 149, 0, -151, -13, 0, 296, 202, 0, 223, -141, 0, -212, -126, 0, 539, 330, 0, 164, -182, 0, 182, -409, 0, 174, 427, 0, -481, 242, 0, 312, -79, 0, -287, 135, 0, 48, -36, 0, -115, 0, 0, 22, 506, 0, 39, 119, 0, 68, -254, 0, -154, -80, 0, -66, -180, 0, 218, -305, 0, -34, 1, 0, -239, 271, 0, -66, 208, 0, -234, 400, 0, -44, 257, 0, 115, -57, 0, -201, -371, 0, 46, -76, 0, 46, 297, 0, -408, 147, 0, 19, -150, 0, 271, -325, 0, -235, 306, 0, -157, 182, 0, 265, -117, 0, -164, 3, 0, -114, -422, 0, -542, 82, 0, 129, 227, 0, 6, -438, 0, 10, 99, 0, -251, 55, 0, 100, 381, 0, 46, -49, 0, -100, 217, 0, 113, 478, 0, 130, -39, 0, -94, 44, 0, 95, 454, 0, 190, -451, 0, -78, 593, 0, 235, -178, 0, -124, 392, 0, -485, 179, 0, -49, -325, 0, -178, -215, 0, -219, 55, 0, -128, 267, 0, -44, -351, 0, 8, 79, 0, 272, 122, 0, 618, -13, 0, 110, 673, 0, 10, -119, 0, -176, 507, 0, -371, 74, 0, -40, -281, 0, -56, -425, 0, -91, 39, 0, 192, 550, 0, 27, -44, 0, 281, 88, 0, -54, 163, 0, -51, -37, 0, 276, -329, 0, 18, 96, 0, -100, -230, 0, -372, 379, 0, -6, 505, 0, -60, -149, 0, -174, -47, 0, 63, -214, 0, -8, -488, 0, -270, 48, 0, 94, -62, 0, -56, 186, 0, 58, 53, 0, 279, -65, 0, -16, 119, 0, -188, -229, 0, -148, 80, 0, -306, -210, 0, -133, 610, 0, 480, 386, 0, -42, -384, 0, 209, 269, 0, 8, -93, 0, 196, -146, 0, -25, 574, 0, 164, -104, 0, -42, 58, 0, 336, -124, 0, -136, 46, 0, 309, -278, 0, -101, 389, 0, -190, 234, 0, -12, 229, 0, -88, -182, 0, -130, -338, 0, -162, -58, 0, -22, 22, 0, -316, -76, 0, 186, -128, 0, -654, 307, 0, -204, 369, 0, -59, -361, 0, 245, 187, 0, 273, 284, 0, 56, 157, 0, -136, 74, 0, 118, 208, 0, 382, -649, 0, -193, 234, 0, 108, -30, 0, -218, 7, 0, -234, -300, 0, -47, -514, 0, -396, -86, 0, -93, 167, 0, 534, 42, 0, 78, -591, 0, 5, 274, 0, -33, 793, 0, 706, 209, 0, 152, 424, 0, 22, -88, 0, 330, 10, 0, 470, -192, 0, -48, -81, 0, -122, -334, 0, 188, 73, 0, 65, 121, 0, 110, 357, 0, 135, 231, 0, -144, -217, 0, -110, -89, 0, 248, 264, 0, 171, -265, 0, 147, 480, 0, 598, 249, 0, 138, 675, 0, 644, -458, 0, 280, 214, 0, -210, 285, 0, -80, -353, 0, -67, -16, 0, 405, -124, 0, 345, -269, 0, -181, 553, 0, 594, -64, 0, -276, 48, 0, -542, -17, 0, -84, 35, 0, 408, -76, 0, 286, 294, 0, -121, 483, 0, -8, -518, 0, -184, 140, 0, -383, 157, 0, -80, -296, 0, -200, -443, 0, -226, -241, 0, -210, -77, 0, -364, 465, 0, 46, 450, 0, -286, -480, 0, -212, 451, 0, -268, 151, 0, 220, 736, 0, 159, -133, 0, 392, -139, 0, 96, -299, 0, -89, 431, 0, 325, -365, 0, -442, 140, 0, -67, 13, 0, -149, -376, 0, 308, -3, 0, -16, 606, 0, -281, 559, 0, -31, 155, 0, -80, 261, 0, 172, 33, 0, 114, -125, 0, 286, 81, 0, 254, 43, 0, 130, 10, 0, 54, 360, 0, 152, -210, 0, -51, -378, 0, 246, -296, 0, -108, -16, 0, -216, -314, 0, -254, 12, 0, 238, 139, 0, -146, 88, 0, 342, -244, 0, 194, -239, 0, -106, 589, 0, 22, -235, 0, 252, 817, 0, 254, -144, 0, 26, 679, 0, -250, 447, 0, 121, -161, 0, -90, 25, 0, 154, -324, 0, 250, -372, 0, -112, 284, 0, 223, -124, 0, 166, 281, 0, 200, 212, 0, 16, 282, 0, 78, -278, 0, -406, 207, 0, -676, 18, 0, -93, -289, 0, 44, -215, 0, 60, -110, 0, 286, -19, 0, 104, 294, 0, -140, -263, 0, -170, 410, 0, 364, -4, 0, 150, -449, 0, -127, -198, 0, 167, -175, 0, -288, 201, 0, -136, 339, 0, 102, 282, 0, 90, 173, 0, -268, -150, 0, 52, 57, 0, 118, -99, 0, -73, 8, 0, 508, -63, 0, -108, 119, 0, 172, -754, 0, 136, 364, 0, -17, 155, 0, 48, -212, 0, -75, -92, 0, 2, 270, 0, -575, 434, 0, -10, 79, 0, 197, -3, 0, 72, -318, 0, -542, 139, 0, 322, 380, 0, -112, -243, 0, -46, 315, 0, 96, -209, 0, -14, 477, 0, 10, 288, 0, -132, 143, 0, 56, -174, 0, 259, 425, 0, 248, 77, 0, -242, 500, 0, 247, -351, 0, 236, 32, 0, 226, -153, 0, -2, 58, 0, -336, 199, 0, -88, 18, 0, 80, -13, 0, -276, -134, 0, 88, -109, 0, 110, 238, 0, -428, -188, 0, -9, 116, 0, 379, 76, 0, 47, 217, 0, 404, -351, 0, -144, 197, 0, 418, 564, 0, 476, 43, 0, -194, -106, 0, 28, -403, 0, -79, -425, 0, 238, -574, 0, 185, -240, 0, -322, 60, 0, 110, 392, 0, -327, -126, 0, 38, 77, 0, 538, -106, 0, -101, 14, 0, 82, 47, 0, 267, -319, 0, 245, 251, 0, 561, -314, 0, -340, 576, 0, 201, -372, 0, 77, 680, 0, 504, -273, 0, -71, -685, 0, 34, -262, 0, 133, 323, 0, -107, 458, 0, 34, -24, 0, -114, 0, 0, -24, 349, 0, 385, 157, 0, -116, 56, 0, -106, -92, 0, -188, -387, 0, -44, -107, 0, -168, 432, 0, -58, -637, 0, -18, 124, 0, -976, 71, 0, 32, -241, 0, 435, 91, 0, -496, -334, 0, -112, 58, 0, -154, -29, 0, -110, -170, 0, -99, -406, 0, 437, 18, 0, -136, 760, 0, -270, -269, 0, -211, 305, 0, -98, 194, 0, -308, 294, 0, 155, 19, 0, 222, -407, 0, -100, -120, 0, -11, 603, 0, 79, -776, 0, 10, -311, 0, -220, -51, 0, -42, 128, 0, 219, 159, 0, -58, -53, 0, -290, 527, 0, -60, -416, 0, 328, 68, 0, -270, 288, 0, 340, -126, 0, -372, 512, 0, -561, -429, 0, -560, 182, 0, 633, -101, 0, -352, -499, 0, 244, -191, 0, 98, -135, 0, 492, 399, 0, 100, 702, 0, 243, -10, 0, -187, -253, 0, 30, -442, 0, -28, 288, 0, -6, 156, 0, 14, -445, 0, 272, 284, 0, -240, -371, 0, 68, -316, 0]