# Trace form for 4015.2.a.i, downloaded from the LMFDB on 24 April 2024.
[0, 38, 4, 5, 50, 38, 11, 0, 15, 63, 4, -38, 12, -1, 23, 5, 74, 26, 16, -10, 50, 21, -4, 10, 41, 38, 25, 5, 2, 28, 11, 24, 39, -5, 38, 0, 111, 12, 19, -18, 15, 62, -17, -32, -50, 63, -9, 31, 53, 88, 4, -3, -21, 30, 49, -38, 32, 49, 12, 31, 12, 25, 12, 15, 137, -1, -11, 20, 75, 92, 23, 32, 6, -38, 55, 5, -57, 0, -17, -2, 74, 118, 14, 4, 22, 26, 5, 24, -15, 143, 16, 66, 29, -8, -7, -10, 59, 41, -10, -63, 50, 42, -18, 24, 87, 21, -36, 5, -72, 92, -4, 29, -49, 56, 65, 10, 21, 11, -64, 36, 41, 38, 22, -25, 21, 38, -112, -35, 61, 67, 25, -7, -12, -40, -38, 5, 141, 87, -162, -39, 2, 44, -37, 1, 106, 28, -4, 27, -83, 23, 11, 30, 11, 91, -23, 24, -134, -5, 37, -7, 39, 95, -18, -22, 97, -5, -39, 30, -158, 119, 38, -109, -116, 2, 128, 0, -74, 67, -36, 23, 111, 86, 17, -40, -41, 12, -26, -26, -83, 7, 19, 45, -71, -7, 29, -18, 105, 78, -16, 66, 15, 131, -1, 42, -50, 62, -1, 8, -138, 10, -17, -31, 43, 78, 30, -32, 124, -14, 37, -5, -50, 122, -291, 31, 39, 63, 9, 64, 87, 27, -9, -21, -149, 39, -82, 31, 24, -73, -89, -77, 53, 47, 4, -20, -132, 88, 63, 14, 68, 22, 4, 111, 14, -10, -80, -3, 240, 38, -200, -103, -21, 88, 18, 56, -41, 30, 30, -58, -56, 169, 49, -8, 39, 82, 28, -38, 108, -87, 56, -32, 32, 50, -179, -9, 53, 49, -25, 38, 37, 142, 12, 62, -50, 75, -109, 31, 183, -5, -120, -85, 12, 231, -64, -32, -68, 25, 267, -143, -2, 93, 12, 184, -30, 61, -46, 15, -23, -4, 56, -28, 137, 57, -86, 118, 137, -1, 112, -65, 78, 176, -11, 60, -102, 23, -36, 20, -41, -42, 6, 20, 75, -24, -59, -24, -16, 92, 41, 38, 139, 54, 23, 42, -39, 154, -249, 32, 540, -46, -220, 21, 6, 196, 166, 5, 63, -38, 102, -50, -82, 116, 55, 45, -2, -38, -38, 5, -96, 28, 28, 74, -57, 123, -178, 107, 12, 0, -152, -219, 139, 11, -17, -63, -4, 80, 84, -2, -111, -64, 120, -164, 74, 231, -132, -83, -318, 118, 77, -12, -207, -1, 14, 126, 11, 42, -62, 4, 322, -88, -19, 16, 22, 204, 29, 70, -101, 26, -21, -104, 110, 18, 5, -30, -271, 21, 56, 24, 68, 140, -11, -11, -15, 26, -230, -16, -111, 143, 166, 60, -211, 58, 16, -62, 23, -161, 23, 66, -164, -51, 229, -182, 29, 135, 17, -86, -199, -8, 166, 31, -136, 40, -7, 181, -109, 32, -179, -10, 74, -2, -146, -50, 59, -21, -56, 12, 50, 41, 123, -92, 247, 262, -10, 50, -257, -57, -200, -63, -104, -49, -125, 75, 50, 43, 29, -37, -249, 42, 9, -139, -126, 102, -18, 0, 129, 172, -279, 24, 203, -31, -86, -164, 87, 230, -184, -167, -121, 21, 146, 90, -53, 90, -36, 43, -340, 56, -131, 5, -207, -164, -207, -88, -72, 15, 93, 65, 284, 92, 43, -123, 131, -27, -4, -1, -488, 15, -200, 29, -81, 14, 44, -69, -49, 3, -30, -76, -370, 56, -26, 6, -57, -41, 65, -39, 21, -208, -127, 10, 354, 168, 319, -80, 21, 326, -267, -30, -15, 11, 56, 32, -24, 93, -64, -79, -116, 215, -49, 36, -33, -83, 182, 22, 41, 92, -365, -75, 38, 38, -280, -317, 293, -114, 22, -78, 345, -151, -301, -25, -32, -23, -153, -13, 21, 348, -173, 120, -796, 38, 311, -49, -165, -6, -112, 73, 65, -98, 72, -35, 249, -97, -12, 85, 61, 229, -50, -48, 58, 67, -113, -29, 40, -31, 25, -145, -28, 61, -9, -7, 431, -63, 136, -87, -12, 99, -35, -57, -196, -40, 169, -235, -40, -315, -38, -25, -721, 66, -264, 5, 63, 92, 172, -213, 141, 148, -12, -46, -805, 87, 265, -68, -213, 164, -162, -1, -68, -15, -79, -39, 146, -189, -125, -184, 2, -83, -156, -34, -137, 44, -108, -108, 369, 142, -37, 68, -199, 96, -419, 1, 59, -209, -53, -48, 106, 207, 49, -255, 177, 28, 11, -80, -3, 48, -4, 13, -471, 24, -317, 27, -140, -20, -409, -54, -83, -36, -195, 20, -71, 23, 211, -20, -75, 111, 11, 3, -257, 91, -207, 30, -148, -280, 224, -92, 11, 228, 67, -51, -47, 91, 137, -80, 135, -6, -23, -218, -180, 94, -288, 24, 89, -144, -138, -85, -134, -32, -556, -181, -60, -5, -271, -72, 533, -85, 37, 61, -6, -33, -279, -7, 287, 27, -126, 29, 39, 455, -118, 38, -33, 95, -44, -94, -134, -62, -18, -186, 56, -125, -55, -22, 57, 8, 24, 202, 97, 86, -246, 42, -282, -5, -352, -106, -138, -46, -39, -53, -267, -16, -173, 30, 57, -177, -111, 195, -158, 102, 45, -39, -224, 119, -60, 0, -167, -69, 38, 116, -133, -140, 108, -109, 40, 224, 17, 76, -116, 125, -51, -3, -46, 2, 51, -73, -163, 2, 128, -60, -123, 386, -76, 0, -12, -193, 94, -227, -74, 81, -649, -178, -116, 67, -75, 146, -718, -73, -36, -118, -156, -43, -700, 23, 19, -236, -230, -33, 111, -149, -14, -335, -89, 86, -84, -35, 368, 156, 17, 42, 317, -4, -249, -40, -170, -151, -651, -72, -41, -338, -85, -66, -22, 12, 115, 148, -237, 407, -26, -115, -485, -283, -240, -26, -244, -96, -11, 66, -83, 222, 264, -107, -99, 7, -5, -43, -203, 1, 19, -145, -550, 128, -597, 45, 0, -24, -116, -291, -71, 122, -170, -14, -114, -7, -42, -211, 15, 157, 29, -73, -306, -200, -288, -18, -483, 102, 246, -143, 105, 117, -45, 173, -373, 78, 88, -271, -494, -48, -16, 0, -54, -8, -332, 66, -185, -164, -271, 217, 15, -66, -813, -290, -56, 131, -129, 98, 173, 92, -1, -271, -29, -19, -343, 42, 145, 130, -185, 174, -50, 208, -23, 8, -31, 62, 63, 122, -158, 18, -1, -29, -706, -71, 7, 8, -60, -125, 230, 49, -138, 118, 55, 107, -373, 10, 72, -100, 76, -72, -17, -177, 120, -284, -38, -31, -59, -265, 108, 259, 43, 23, -334, -91, -582, 78, 50, -41, -400, 19, 30, 86, -455, 378, 137, -32, 528, 99, 10, 162, 124, 337, 23, 60, -85, -14, -209, -14, 234, 63, 37, 51, 380, -26, -119, -5, 8, 260, 253, -122, -50, -166, 20, 114, -31, 122, -38, -141, -124, 59, -291, -42, -224, -228, -109, 31, -593, -260, 436, -122, 39, -157, 18, 38, -281, 63, 335, 267, -422, 56, 9, 243, -106, -24, -519, 64, 196, 152, -177, 100, 87, -24, -93, -133, -87, 27, 509, -65, 496, 343, -9, 113, 28, 208, 91, -21, 176, -317, -12, 75, -149, 242, 346, -110, 124, 39, 36, 55, -74, 430, -82, -168, 73, 184, -306, 31, 227, -5, -456, -219, 24, 142, -95, -368, 308, -73, -105, 226, 72, 16, -89, 37, -59, 469, -181, -77, -41, -384, -180, -92, 53, 294, 506, -78, 410, 47, 191, 143, 264, 21, 4, -82, -123, 48, -260, -20, 41, 482, 277, 135, -132, -29, -192, 133, 369, 88, -127, 41, -183, 6, 63, -142, 49, -169, -286, 14, 825, -55, 500, 397, 68, -26, 1, -56, -130, 22, 104, -114, -372, 156, 4, -415, -102, -197, -65, 111, 466, 19, 443, 216, 14, 141, -327, 82, -273, -10, -216, -108, -369, 128, -80, 89, 849, -277, 49, -3, -21, 111, 152, 112, 240, -116, -370, 54, -436, 38, 307, -11, -362, 80, -200, 119, 552, -89, 84, -103, 173, -24, 64, 241, -21, 228, 423, -300, 91, 88, 384, 251, 866, -36, 18, -87, 190, -83, -16, 56, 402, -70, -163, 74, -41, 187, -62, 249, 156, 30, -21, -15, -15, -16, 30, -38, -912, -85, 177, -58, -318, 150, 499, -52, -56, -291, -22, -135, -796, 169, 815, 280, 71, 52, 49, 340, 71, 25, -418, -8, 170, -93, -143, 197, 39, -200, 191, -80, -21, 82, 293, 256, 729, 206, 28, 214, -69, 116, -262, -38, 52, -237, 154, 305, 108, 196, 273, -90, 90, -87, 112, 10, 156, 356, 56, 70, 520, -212, -647, -32, 350, 35, -515, -161, 32, 57, -291, 85, -50, 50, 338, 115, -61, 74, -179, 70, 276, -87, -468, -9, 68, -306, 368, -67, 53, 168, 213, 221, 826, 49, -195, -349, -147, 188, -25, -199, -680, 242, -270, 38, 302, 153, 353, 45, 37, 7, -377, -131, 101, 142, 149, -136, 563, 38, 12, -115, 12, -273, -235, 62, 959, 312, 144, -162, -50, 274, -94, 40, -604, 75, 43, 206, -293, 359, -109, -131, -305, -18, 38, 31, 798, -107, -81, 245, 183, 27, -918, 53, -63, -5, -70, -18, 989, 94, -120, 75, 81, -118, -107, -85, -141, -262, 400, 300, 12, 103, 315, 178, -485, 231, 238, -87, -93, -58, -64, 171, -146, 105, 87, -32, 463, -131, 162, 78, -68, 270, 43, 105, 55, 25, 284, 21, -221, 39, 267, -109, 485, -21, 31, -143, 75, -52, 397, -258, -2, 295, 35, -134, -616, 93, 407, 350, -858, 114, 12, -44, 133, 409, -425, 184, -285, -278, 116, -7, -30, 14, 37, -106, -1, 61, 1290, 27, 377, 495, -46, 332, 620, -1, -151, 15, 512, -159, 192, -40, -23, -508, -680, -89, -106, -4, 414, 193, -2, 295, 56, 58, -26, -111, -285, -28, -651, -223, 299, -317, 137, 199, 251, -336, 301, 57, 4, -213, -169, 346, -86, -113, -539, -98, -528, 118, -346, -27, -662, -246, 137, 105, 263, 280, -281, -1, 489, -296, 83, 239, 112, -48, -362, -189, 201, -65, 135, 93, 498, -23, 78, -133, 366, 86, 609, 176, -98, -420, -337, 179, -11, -305, -2, -233, 25, 60, 444, 4, -26, 115, -102, -30, -139, -16, 114, 23, -269, 366, 114, -189, -36, -225, -11, 184, -277, 20, 427, 134, 25, -10, -41, 530, -314, -91, 136, -42, 286, -203, -46, 327, 6, -302, 2, -79, 23, 20, -18, 48, 1094, 309, 75, -100, -290, 12, -583, -24, -137, -66, 176, 31, -59, 23, 781, -152, 108, -24, 134, 32, -19, -176, -16, -10, 359, -295, -519, 92, 176, 5, -876, -65, 41, 42, -448, 99, -135, 38, 452, 171, -37, 56, 139, 285, 96, -95, 206, 54, 270, -149, 732, 7, 23, -251, -41, 83, 23, 42, -261, -186, 135, -163, -39, -44, -204, 59, -187, 154, 204, 52, -275, 72, -249, -95, -441, -72, -388, 32, -168, -106, -82, -393, 540, -97, 18, -238, 340, -46, 361, 76, 526, 251, -220, 381, -621, 22, -789, 21, 411, -392, -144, 10, 6, 8, -262, -56, -97, 196, 552, -105, 351, 459, 166, -59, -239, 9, -188, 5, 36, 178, 455, 143, 63, 355, 141, 120, 293, -38, 39, -84, 145, 380, 102, -136, 395, 83, 49, -50, -200, -30, -112, -255, -82, 148, -659, -537, 353, 116, 77, 177, 158, 210, 55, -196, 238, 50, 346, 45, -38, -272, 200, -119, -2, 526, 97, -144, -432, -38, 371, 86, 134, -172, -38, -267, 14, 87, -46, 5, 418, 151, 338, 116, -96, 109, -405, 400, 237, 28, 346, 22, -169, 398, 28, -251, 116, -122, 288, 74, 62, -37, -25, 333, -57, 291, 74, -2, -566, 123, 630, 256, 9, -94, -178, -490, -100, -429, -128, 107, -217, 478, 735, 252, 12, 15, -398, 376, 20, 0, -40, -323, -86, -97, -152, 61, 879, -373, -52, -219, 74, 615, 921, 247, 139, -352, -186, 438, -321, 11, -43, -67, -527, 402, -17, 162, 634, -159, 14, -63, 789, -145, 36, 252, -4, -355, 626, -494, 293, 80, 185, 35, 410, -23, 84, -5, -46, -91, -116, -2, -292, 82, -378, -55, -111, -113, -371, -296, 32, -64, 399, 171, -298, -96, 120, -86, -796, -27, 413, -164, -555, 176, -285, -3, 74, -284, -17, -32, 137, 231, 205, 320, -75, 562, -132, -131, 257, 40, 31, -83, -195, -86, -154, -202, -318, 131, 1095, -336, 41, 118, 265, 235, 788, 536, 77, -391, -484, 156, -99, -12, 276, -165, 390, -96, -207, 281, 230, -249, -2, -1, 26, -280, 328, 405, 14, -246, 475, -114, -288, 126, -226, 26, -190, -98, 11, -44, 14, 112, 1048, 42, 50, 143, 83, 147, -62, -410, 219, -91, 82, 4, 614, 81, 100, -7, 322, 269, 166, 63, 116, -88, -106, -109, -450, 123, -19, -593, 66, -291, 616, 16, -209, 159, 25, 595, 22, -45, -807, -314, 697, 204, -322, -238, 196, -165, 29, -339, 71, 136, -157, 70, 559, -28, 1269, 134, -101, 280, 354, 7, -449, 26, -241, -184, -1195, 234, -21, -399, -91, 6, -29, -104, 714, 128, 680, 7, 110, -175, -377, 123, -939, 18, 274, 77, 303, 169, 5, -323, -10, 203, 331, -30, -105, -649, 688, -89, -271, -110, 1001, -50, -164, 21, 550, -78, 138, 292, 56, 84, 73, -40, 33, 24, 1053, -150, 16, 85, 68, 283, 106, 156, 958, 140, -181, 155, 142, -66, -11, -143, 510, 283, -141, -11, -28, -14, -87, -202, -15, 13, -125, -122, 252, 26, 91, 94, -662, -67, -230, -131, -411, -68, 117, -16, -437, 346, 514, -367, -111, -112, 1, -364, -27, 143, 830, 261, 274, 300, 166, 270, 605, -42, -375, 60, -75, -433, -402, 172, -211, 103, 99, 88, 50, 58, 139, 293, 1031, 541, 16, -354, -346, -549, -81, -62, -797, 75, -6, 329, 23, 77, 1130, -24, 13, -161, 1, 25, 1013, 495, 23, -574, 353, 625, -175, 66, -234, -8, -775, 81, -164, 168, 394, 79, 369, -51, 716, -248, 138, -50, 229, -334, 690, -203, 149, -182, 598, 171, 699, -10, 29, 360, 511, -638, 371, 135, -313, -114, 449, 104, 17, -22, 717, -22, 440, -86, -173, -162, -365, 124, -199, 31, -404, -183, 745, -8, -517, 343, 294, -111, 166, -698, -43, 207, -283, 31, -39, 442, -315, 400, -136, 218, -58, -78, 242, 40, -479, 110, -11, 250, -7, -224, 495, 26, -30, 181, 943, 89, 898, 197, -109, -321, -158, -161, 69, 32, -64, 209, 81, 431, -179, -495, 1192, -446, 931, -10, -124, 9, -769, 375, 74, -249, -710, -324, -916, -2, -61, 14, -255, 125, -146, -30, 262, 286, 595, -50, 332, -68, -37, 67, 59, 454, 90, -393, 168, -21, 785, 134, 341, 5, -56, 184, 171, -218, 506, 12, -103, 65, 499, -58, 50, -88, 167, -252, -465, 41, -277, 51, -584, 2, 123, -122, -72, -126, -331, -92, -1204, 216, -191, -72, 247, 54, 291, -487, -132, 262, 517, 159, 489, 30, -10, -339, 184, -31, -277, 50, -499, -569, -414, 301, -257, -55, 192, -65, -39, -57, 341, 107, 88, 194, -200, -333, -763, 129, -148, -63, 289, 364, 598, -4, -104, 115, -38, -126, 1116, -49, -9, 310, -499, 202, -125, -150, -256, -238, 84, 75, -886, -64, -75, 98, 50, 137, 207, -412, 262, 43, -407, 7, -87, -139, 29, -345, 131, -60, 807, -37, 768, -455, 801, -27, -249, 311, -511, -70, -160, 42, -146, -232, 149, -104, 9, 106, -1030, 167, -5, -139, -373, 453, 434, 319, -126, 21, -453, 228, 265, 102, -456, 452, -253, -46, -18, -273, 149, -142, 412, 0, 752, -117, 24, 219, 129, 368, 1087, -39, -631, 172, 266, 364, -66, -6, -279, -482, -145, -530, 82, 24, -87, -246, 419, 177, 203, -122, -290, 618, 382, -31, 492, -324, 0, -167, -86, -316, 121, 185, -120, -164, -24, 7, 250, 223, 87, -50, -55, -347, -643, 230, 808, 73, 237, 470, -184, 127, 35, 464, -207, -167, 351, -421, 89, 205, -121, -31, 1066, -138, 1110, 21, 382, 185, -111, 77, 146, -413, 318, 105, -434, 90, 356, -175, -129, -399, -53, -116, 40, -568, 55, 90, -1053, 140, -12, -217, -36, -47, -567, -343, -262, 43, -827, 238, 555, 192, -340, -137, -4, -194, 646, 56, 187, 322, -856, 566, -131, 210, 251, 20, -611, 5, -1097, 61, 519, 524, -207, -259, -321, -107, 132, -164, 112, 287, 143, 652, -207, -793, 348, 170, 209, -88, -58, -46, 896, 63, -72, -12, 234, -512, 223, 15, -63, -198, 6, 315, 93, -794, 591, -206, -1000, 65, -206, -14, -482, -235, 284, 193, 112, 379, 783, 92, -403, -270, -68, 157, 43, -271, 126, -437, 546, -123, -602, 400, 45, -22, 131, 12, 986, 172, -262, -27, -989, -155, 410, -225, -4, -439, -106, -298, 122, -1, 198, 362, 54, 312, -488, -111, 433, -823, -53, 15, -751, 25, 353, -298, -200, -332, -14, -304, -19, 29, 313, 575, -822, 231, -81, 308, 478, 10, -239, 14, 361, 216, -190, 86, 44, -337, -515, -149, 80, -69, -714, -2, 261, 538, -49, -226, -55, -363, -625, 3, 489, 162, -152, -176, -30, 37, 956, -141, 46, -76, -240, -140, 26, 575, -370, -494, 70, -370, 157, 56, 445, -38, -769, 317, -26, 15, 649, 111, 888, 6, -266, -258, 200, 228, -57, 51, 1173, -18, 816, -41, 829, 18, 505, 103, 65, -34, 457, -640, -418, -39, -1268, -227, -270, -227, 21, -142, 41, -403, -4, -208, -498, 151, 353, -72, -127, -88, -664, 217, -803, 10, 97, -85, 492, -135, 354, -218, -18, -128, 504, 168, -302, -97, -246, -220, 319, -215, 363, -56, -548, -80, 39, -20, 330, -224, 21, -1, -79, -125, 41, 326, -293, -417, 247, 215, -267, -513, 395, -452, 734, -30, 197, -186, 3, -541, -15, 108, 635, -227, -262, 11, -30, 86, -1309, 697, 56, -700, 402, -142, -787, 32, -337, 58, -777, 143, -24, 196, -531, -3, -375, 93, -197, -505, 56, -184, -64, -302, 280, 129, 358, -79, -240, -134, 1698, -169, -116, 229, 216, -193, -585, 215, -230, -481, -220, 151, -49, -158, -5, -27, 817, 36, -642, 73, 492, 631, -33, 8, -1224, -37, 74, -83, -336, 55, 639, -155, 182, -686, -39, -62, -216, 22, 244, 463, -129, -29, 41]