# Trace form for 4015.2.a.h, downloaded from the LMFDB on 23 April 2024.
[0, 37, 5, 3, 43, 37, 9, 6, 12, 50, 5, 37, 6, 11, 11, 3, 43, 38, 11, 34, 43, 39, 5, 4, 25, 37, -9, 3, 14, 58, 9, 8, 14, 3, 8, 6, 20, 2, 15, 14, 12, 62, -13, 30, 43, 50, 31, 5, -25, 59, 5, 23, -1, 18, 13, 37, 22, 5, -40, 15, 6, 57, 20, -29, 10, 11, 9, -14, 53, 24, 11, 8, 15, 37, 7, 3, 59, 6, 1, 42, 43, 61, -22, 44, 66, 38, -1, -26, 12, 69, 11, -10, -21, -26, 29, 34, -9, 37, -15, 50, 43, 40, -40, -42, -31, 39, 46, 7, -4, 64, 5, 21, 7, 52, -47, 4, 101, 43, 0, 12, 25, 37, 8, -27, -9, 37, 96, 7, 12, 49, -9, 39, 6, -30, 72, 3, -25, 13, 10, 83, 14, 26, -67, 11, -21, 58, 5, -59, 25, 93, 9, 42, 21, 43, 11, 8, 44, 3, -47, -25, 14, 81, -23, -46, 61, 3, 25, 50, -32, 40, 8, 99, -32, 28, -124, 6, 43, -43, -50, -5, 20, 64, -87, -84, 7, 2, -26, 38, 53, 161, 15, -7, -35, 29, -7, 14, -10, -8, 11, -46, 12, -5, -135, -38, -16, 62, 73, -100, -12, 34, -13, 31, -7, -58, -48, 30, 56, -24, 15, 3, 43, 58, 83, -47, -19, 50, 35, 68, -21, 69, 31, 39, -69, 65, -98, 5, 132, 39, -11, 57, -25, 127, 5, -18, 180, 59, -65, -90, 112, 72, 5, -29, -150, 4, 40, 23, -31, 84, 80, 49, -1, 190, -62, -4, 25, 18, 162, -10, -76, -1, 13, 52, 167, -70, -42, 37, 80, -13, 42, -36, 22, 198, -181, -5, -75, 5, -9, 28, -12, 71, -40, 26, 43, 3, 51, 15, -25, 3, 36, 131, 6, -37, 48, 92, -26, 57, -93, -37, 14, -39, 20, 20, -110, 35, 26, -29, 109, 16, 6, 58, 10, 99, -90, -62, -118, 11, 36, 7, -108, 22, 9, -18, 136, 23, -28, -14, 171, 14, 105, -72, 53, 8, 1, -90, 24, 24, 111, 6, -87, 60, 11, -52, 14, 94, 117, 8, 62, -178, 30, -23, 15, 39, -36, 3, -105, 37, -46, -54, 8, 136, 7, 121, -160, -2, 8, 3, 202, 106, -196, -116, 59, 33, -80, 57, -52, 6, 122, 123, -29, 33, 1, 75, -35, -26, -112, 42, 20, -2, -2, -78, 43, 125, 18, -49, 214, 61, -31, 2, 111, 225, -22, -110, -221, 108, -230, 44, -128, -52, 15, -64, 66, 20, -107, -92, -37, 38, -1, -38, 2, 14, -1, 112, -235, 9, -300, -26, 44, 134, 9, 3, 12, 233, -46, -22, -183, 69, 128, -192, 65, 152, 11, 62, 79, 137, -185, -10, 212, -35, 7, 16, -21, 85, -13, -18, 99, -26, -200, -33, 140, 82, 29, -117, -215, 30, -151, 34, 78, -134, 2, -4, -9, 183, -24, -56, 43, 37, 125, -52, -65, -172, -15, 96, -95, 23, -136, 50, 58, 25, -75, -29, 43, 109, -133, 63, -211, 40, 31, 13, -140, 60, -40, 6, -46, -30, -47, -42, -55, 5, 322, 56, -31, 180, -130, 81, -155, 39, -86, -30, -25, 33, 46, -23, -348, 12, -287, 7, 281, 28, 3, 59, -4, 99, -193, -93, -252, 64, -11, -103, 87, -7, 5, 97, 42, -47, -30, 21, 303, -170, 140, -105, 7, 23, -294, 186, -136, 52, 130, -218, -211, 189, -47, 83, -1, 164, -85, 4, -265, -158, -50, -44, 101, 50, -267, 18, 12, 43, 62, 42, 64, -35, 0, 99, -150, -11, 13, 12, 127, -161, -334, -80, 25, 102, 305, -153, -140, 37, 338, -57, 77, 30, 8, 152, -417, 37, -117, -27, 22, 1, -37, -57, -9, 40, -159, -116, 38, 37, 215, 5, 51, 124, 96, -203, -133, 14, -228, 7, -127, -61, -40, -211, 12, -17, -134, -28, -260, 49, 171, -31, -141, 15, -9, -19, -294, -1, -425, 39, 109, 50, -140, -5, 6, 93, -3, 45, -128, -30, -17, -17, 296, 97, 72, 57, -51, 26, -86, 3, 154, 22, -166, 51, -25, 68, 20, 64, 105, 13, -49, -262, -79, -58, 10, -61, 30, -29, -203, 83, -50, 63, 127, -6, 14, 303, -192, -72, 10, 26, 106, -136, -539, -100, -67, -146, -163, 86, -405, 11, 265, 101, -185, 42, -21, 9, -352, 43, -281, 58, 9, -178, -107, -25, 5, -67, -387, -72, 197, -59, 64, -14, 279, -30, 25, 56, -247, -30, -653, 93, -211, -130, 53, 15, 9, -45, 141, -91, -315, 42, 286, -60, -270, 24, 21, 200, -249, -347, -333, 43, -61, -132, -179, 72, 11, 66, -146, 86, -238, 8, -27, -266, -42, -149, 44, 8, 212, -83, -383, 3, 223, -150, -73, 31, -47, 37, 15, -23, -179, -25, -279, -183, -64, -187, 14, 33, -328, 37, -245, 81, 60, -274, -270, 80, -23, 164, -164, -27, 7, -46, 79, -106, -14, -342, 61, 110, -260, -294, -108, 3, 72, 174, -176, 142, 25, -65, -475, 290, -553, 50, 59, -129, 33, -89, -32, 71, -109, -85, -126, 40, -12, 6, 105, 85, 8, -36, -17, -84, -572, 99, -310, 22, 1, -250, -32, -259, -291, 9, -420, 28, 257, -47, -327, 42, -124, -70, -203, -12, -368, 6, 6, -55, 22, -95, 43, 129, -104, -118, -160, -43, 185, -72, 242, 65, -50, 61, -154, -21, -8, -5, 7, -86, -148, 63, 20, 123, -22, 107, -171, 64, -244, -307, -114, -228, -87, -86, -625, 44, -295, -84, 22, 117, 181, -2, 7, 304, -97, 188, 66, 2, -65, -262, -221, 169, -26, -125, 13, -131, -274, 38, 96, 78, 101, -88, 53, 60, -536, -107, 105, 161, -1, 99, -169, 11, 15, -17, -138, -36, -253, -7, 98, -26, -104, 105, -35, -7, 30, -28, -100, 29, -174, -83, 12, -173, -7, 101, -340, -182, -198, 14, 269, 262, -108, 69, -10, 75, -605, 61, -249, -8, -26, 17, -100, 208, 11, 72, 170, 46, -210, -46, 83, -2, 217, -115, 12, -10, 165, -96, -356, -5, 299, -132, -507, 154, -135, 25, -21, 261, -233, -38, -283, -134, 53, -8, -16, 2, 11, -26, -18, 62, 163, -298, 316, 22, 73, 109, -30, -33, 29, -100, -148, -59, -402, -215, -12, 34, -85, -77, 117, 34, 344, 116, -160, 490, -13, 191, -118, 32, -358, 31, -9, -39, -89, -133, -7, -45, 24, -141, 428, -58, 54, 37, 384, 257, -48, -242, -95, -50, -363, 30, -110, -25, -15, 38, 56, -1, -71, -58, -87, -24, -59, -160, 26, 50, 15, -13, -332, -282, -247, 3, 194, 264, 51, -24, 43, 118, -166, -54, -147, 58, 94, -253, -122, 105, 83, 40, 454, 324, 9, -47, 407, 26, -176, 108, -19, 321, -40, -68, 401, 50, -261, 39, -490, 268, 35, -265, -134, -42, 169, 68, -48, 136, 21, 172, -21, 182, 15, -21, -31, 69, -259, -167, -36, -201, 31, 1, 105, -108, -7, 39, 151, 93, -64, -33, -69, 66, -534, 198, -528, 65, 46, 33, 43, -54, -98, 72, -77, -386, 278, 5, 259, 7, 432, 265, 132, 160, -269, 4, -394, 39, 237, 48, -4, 56, -11, -155, -183, 327, -163, 57, 169, 178, -268, 64, -25, -42, -64, -252, -230, 127, -69, -181, 84, 69, 5, 160, 145, -164, -268, -18, 169, 98, 213, -163, 180, 21, 192, 153, -235, 59, 205, -201, -75, 132, -65, 194, 7, 137, -92, -90, 87, -83, -6, -235, 112, 38, -155, 52, 214, 72, -240, -28, 358, 212, 5, 449, -66, 171, -47, -29, 288, -207, -287, 4, -150, 7, 339, -46, 71, 4, 800, 174, 187, 0, 40, 23, -311, 145, -435, 23, 101, 3, 304, -72, -31, 242, -98, -116, 106, 84, 155, 43, 226, 396, 80, -165, -150, -111, 34, 49, -230, -108, 0, -299, -1, 74, -305, -276, -103, 190, 214, 29, -20, 12, -62, -137, -82, 119, 11, -4, 192, 40, 83, 194, 25, 97, 20, -283, -132, 18, 159, -285, 249, 312, 162, 37, 674, -219, -315, -10, 508, -96, -119, 216, -76, 359, 8, 335, -202, -1, -175, -146, 389, -64, 13, -352, -84, -27, 218, 52, 244, -141, 295, 35, 167, 214, 201, -68, -9, -70, -41, 66, -265, -101, -42, -68, 39, 16, -282, 37, 384, 523, -266, 89, 80, 62, -151, -44, -168, -13, 96, 34, 112, -184, 42, 90, -336, 24, 223, -36, 112, 7, 1045, 159, 22, 79, 291, -3, -508, 198, -198, -271, 12, 326, -181, 38, 202, -47, 100, -5, 196, 110, -2, 49, -75, 118, -7, -443, -136, 5, 287, 471, -155, 328, -9, 165, -24, 230, -188, 28, 54, -159, -93, 47, -12, 39, 243, -105, -150, 71, 695, 148, -195, 388, -40, -89, 6, -161, -121, 26, -453, -36, -117, 136, 43, -214, -70, -30, 28, 3, 141, -174, 173, 17, 51, 139, 151, 220, 72, 15, 6, -27, -9, -99, -25, 201, 202, -199, 171, 3, 180, 72, -47, 148, 36, -221, -383, -10, -387, 131, -25, 234, -330, -180, 6, 131, -145, -146, 291, -37, 432, 13, 843, 444, 48, -229, -24, -95, -447, 92, 45, 25, 10, -168, -26, -313, -229, -71, -315, 57, 152, -107, -193, 83, -93, -101, -125, 39, -9, -37, 151, -20, 177, 226, 14, 79, 7, -244, 224, -39, 387, -136, 600, 176, 20, 26, 213, 129, -125, 20, 133, -16, 226, 429, -110, 62, -67, 172, -47, 35, -314, -197, -20, -303, 26, -64, 80, 11, 269, -29, -236, 343, 412, 74, 109, 346, -28, -7, -21, 16, 202, 99, -154, -281, 6, -8, 486, 333, -49, 58, 595, -51, 153, 119, 10, 43, -427, -12, -117, 99, 5, 81, 297, -36, -90, -159, -15, 194, 176, -62, 328, -59, 478, 256, -118, 13, 29, -214, 159, 11, -391, 70, 25, 145, 36, 20, -462, 199, -641, 7, 477, -51, -406, 93, -108, 3, -502, 94, -371, 22, 434, 58, -127, 661, 9, -55, 318, -281, -15, -18, 98, -208, 172, -161, 136, 42, 557, -56, -324, 23, 371, -196, 92, 201, -28, 51, 21, 290, 187, -14, -197, -230, 109, 4, 171, -1, -359, 43, 144, 14, 106, -109, 100, -65, 105, 156, -78, -1, 11, -72, -226, 84, 174, -321, 53, 206, -44, -84, -55, 8, 389, 88, -314, 163, 1, -53, -493, 162, 2, -90, 44, -34, 91, 12, 24, 164, 99, -141, 253, 24, 550, 3, 568, 41, 111, -428, -66, -9, -599, 6, -324, -239, -47, -156, -87, 107, 388, 15, 176, 60, -338, -173, 116, -25, 11, -139, 25, -111, -231, -52, 277, -180, 335, 81, 14, 60, 330, 313, -166, 94, 74, -40, 81, 222, 117, 81, 227, -44, -72, 8, 632, 12, 64, 619, 62, 443, -23, -138, 108, -178, -313, 42, -220, -125, 30, -575, 63, -46, 465, -23, 429, 208, 386, 134, 15, 80, 282, -476, 61, 39, -54, -353, -279, -165, -36, -219, 1053, -181, -94, 3, -128, -206, 279, -105, -105, -185, -351, 80, 33, 37, 25, 474, -233, -40, -46, -8, -247, 13, 303, -54, 126, 50, 444, 257, 8, 112, 345, 85, -231, 136, -17, 601, -32, 185, 7, 114, 50, -164, -50, 121, -40, 8, -382, 40, -160, -38, -33, -332, -232, -2, 325, -48, 110, 546, 8, -99, 506, -29, -132, 3, -174, 67, 90, -84, 202, 99, 301, -80, -137, 106, 306, 34, -281, 362, -196, 79, -32, 146, -230, -116, -246, -7, -9, 67, 59, -95, -232, 28, 394, 33, 44, -74, 673, 272, -80, -228, -104, 373, -124, 57, 415, -118, -379, -106, -52, 149, 797, -296, 476, 6, -118, -45, 184, 275, 122, -335, -833, 87, -256, 123, 43, 241, 625, -281, -29, 194, 176, -104, 471, 33, 245, -43, 343, -60, 1, -242, 258, -159, -114, 75, -331, -145, -50, 40, -35, 209, -168, -134, -201, -26, -65, -155, -504, -5, -112, 3, -310, -147, -40, 42, -292, 452, 312, 331, 20, 71, -99, 124, -10, -2, 139, -53, 284, 404, -2, 64, 482, 157, -293, -78, 833, -32, 301, 105, 43, 258, -87, -152, -283, 125, -163, -414, 317, 58, 18, -223, 179, -84, 353, -49, 117, 26, 404, -36, 214, 249, 219, -16, 7, 61, -359, 85, 162, -248, -31, -117, -350, 240, 405, 2, 62, -23, -424, 310, 111, -95, -96, 711, 14, 225, -26, 62, 265, -171, -22, -186, -67, -530, 490, -110, 92, 38, 658, 72, -221, -100, 676, -174, -386, 108, 358, 25, 53, 69, -230, 46, -49, 205, -130, 44, 242, -177, -254, 161, -128, -139, -240, -407, 342, -52, 454, 183, -298, 223, 15, -35, 140, -39, -84, -64, -269, 41, 3, 235, 66, -7, 389, -556, -107, 20, 716, 0, -50, 57, -107, 85, -35, -2, -301, -92, -524, 58, 649, 86, -37, -256, -424, 29, 271, 38, 235, 644, 305, -48, -1, 351, 5, 70, -7, -38, -182, -256, 84, 81, 2, 183, 649, -279, 451, 14, 96, 209, -393, 221, -1, -277, -82, -43, -185, 112, -10, 167, 86, 53, -235, 248, 199, -124, 518, 9, 236, -8, 40, 492, -300, -484, 491, -404, -305, -26, 341, 426, 11, 15, 44, -369, -354, 148, -400, 134, -377, -247, -388, -46, 9, -447, 302, -167, 445, 3, 524, -122, 137, 364, 12, 133, 51, -72, 198, 233, 29, -66, 812, 232, -46, -5, 699, -110, 9, -22, 299, 38, 146, 359, -183, 156, -135, -46, 381, 69, -558, -41, -692, -98, 128, -646, 33, -38, 341, -192, -171, 381, 804, 114, 65, 81, 187, 30, -16, 152, 63, 115, -811, -67, 11, -80, 898, -337, -45, 62, -51, -137, 514, -115, 79, -161, -730, 8, -179, 137, 73, 299, -61, 185, -185, 10, -55, 309, 1003, -10, 234, -100, 445, 55, 212, -22, -442, -351, 375, -35, 132, 152, -12, 302, 7, -192, 144, -137, -273, 16, -634, 5, -23, 34, -21, -384, 57, 26, -560, 85, 451, 560, -255, 466, -13, 10, 156, -232, -332, -18, 159, -226, 311, -266, 99, 31, 994, -135, -167, -26, 1069, -35, 68, 301, -200, -216, -7, -237, -271, -33, 14, -158, 289, 50, 140, -540, 46, -58, 328, 82, 159, -256, 329, -2, 29, 302, 89, -38, -48, -117, -79, -187, 416, -39, -215, 83, 384, 93, -537, 30, 342, 81, -757, 325, -151, 27, -482, 44, 27, 34, 56, 205, 439, -115, 78, 187, 48, 68, 468, -134, -161, -24, 415, 81, 2, -294, -184, -116, -359, -4, -130, 110, 15, -23, -9, -199, -296, -249, 266, 183, 93, -60, 77, 3, -24, -214, 157, -152, -184, -56, 29, -17, 321, 410, 43, 142, 291, 184, 333, 37, 427, 107, -42, -48, 125, 58, 298, -90, 215, -52, 1084, -76, -211, 606, -65, 140, 83, 47, 232, -172, -471, -307, 145, 250, -15, -523, -116, -47, 297, 96, 241, 219, 664, 103, -95, 213, 350, 137, -19, 23, -59, -539, 24, -162, -136, 187, 707, -193, -70, 50, -199, 258, -94, -192, 58, -171, 8, 260, 208, 25, 35, 64, -419, 96, -75, 146, 152, -146, 48, -29, 600, 68, 501, -80, 43, 25, 157, -134, 156, 109, -135, -91, -21, 421, -133, -307, 257, 72, -493, 63, -48, 273, -223, 69, -211, -221, 59, -450, 148, 40, 634, -28, -65, 628, 31, -362, 400, -273, -139, 13, 183, 59, 60, -185, -140, 39, 591, -292, 83, 60, 24, 88, 1, 146, -40, -5, -69, -248, 58, 6, -772, -315, 144, -31, -46, 208, -467, 65, 187, -30, 90, 570, 350, 406, -47, -152, 807, 296, -98, -42, -565, -88, -713, -179, -55, 264, 456, -338, 192, 5, 310, 118, -164, 467, 322, -458, -482, -331, 182, 56, 132, 147, 326, 47, -31, 331, 427, 39, 25, 180, -80, 39, -141, 206, -130, -731, 157, -812, 115, 81, -893, 341, -11, -163, -155, 181, -358, -144, -256, 39, 108, 109, 20, 57, -86, -399, -384, 253, 214, -30, 304, 229, 121, 471, -25, -196, -126, 162, -3, 33, 435, -442, -56, 327, 46, 127, 977, -333, 112, -23, -9, -48, 87, 472, -348, -297, 5, 94, -10, 12, -461, -896, 372, -322, -287, -394, 263, -18, 473, 7, 395, -25, 145, -222, 281, 303, -215, -153, 180, 28, -402, 39, -7, 42, 3, -107, 194, -20, 95, 59, 168, 368, -252, -149, -4, 2, -122, 34, -178, 99, -65, -224, 488, -65, -193, -14, 177, -268, 332, -93, 172, -90, 956, 123, -252, -323, 436, -131, -557, 64, -187, 254, 112, 121, -11, -179, -406, -447, -206, -103, -54, -374, 134, 72, 87, 338, 378, -86, 36, -7, 373, 315, 260, 535, 5, -243, -192, -152, -338, 97, 78, -296, -206, -108, 42, -29, -25, -115, 15, -47, 645, -207, 197, 144, -30, -276, -150, -132, 15, 21, -379, 143, 304, -71, 303, -568, 100, 4, 115, -170, 97, -58, 30, 108, 140, -357, 835, -13, 40, -105, 150, -50, -341, 50, 7, 226, -133, -401, 341, 23, 337, -198, -336, 341, -294, -469, -402, 283, 108, 186, -31, 82, 162, -253, -136, 36, -42, -572, 393, 52, 147, 84, 129, -5, 130, -153, -585, -367, -258, -218, -314, 46, 80, 0, -211, -165, -81, -124, -870, 189, -243, 14, -243, 49, -47, -220, -361, -132, -12, 83, -390, -153, 426, 353, -1, -22, 805, -207, 324, 164, 56, -85, 713, 390, -85, 190, 842, 27, 625, 4, 197, -243, 202, 129, -265, 180, -62, 82, -106, -158, -1004, 139, -455, 174, -50, -537, -83, -4, 78, -44, -491, 454, 68, -58, 101, -309, 129, -85, 25, 50, 57, 41, -715, -115, -267, -93, 501, 36, 214, 18, -34, -40, 265, 531, 12, -298, 171, -113, -110, 43, 162, -190, -237, -199, 62, -416, 428, -450, 585, 42, 257, -10, 493, 19, 64, -370, 205, -215, 257, -35, -133, 293, -76, 410, 0, -378, 308, -133, -620, 99, -710, 258, -612, -1, -150, -623, -38, 93, -159, -11, 84, 119, 762, 257, 13, -626, 357, -217, 365, 12, -220, -275, -10, 45, 127, 52, 670, -333, -632, -161, 826, -227, 571, -215, -334, -54, 167, 62, -118, -80, -268, -199, 57, 209, 25]