# Trace form for 4007.2.a.b, downloaded from the LMFDB on 24 April 2024.
[0, 195, 14, 22, 220, 14, 13, 48, 39, 245, 40, 13, 57, 97, 9, 23, 270, 66, 60, 33, 24, 27, 127, 42, 33, 357, 8, 79, 131, 57, 51, 41, 67, 74, 26, 14, 279, 133, 7, 28, 97, 64, -1, 123, 21, 40, 84, 14, 122, 335, 35, 37, 220, 83, 21, 47, 1, 235, 138, 18, -4, 81, 39, 102, 343, 165, -54, 147, 74, -2, 13, 31, 112, 300, 5, 84, 64, 67, 61, 144, -8, 359, 85, 26, 12, 201, -2, 80, 347, 29, 62, 70, 79, 76, 72, 71, 31, 264, 30, 19, 446, 36, -12, 94, -26, 202, 40, 116, 142, 204, -44, -15, 231, 179, -27, 14, 57, 245, 116, -42, 65, 470, -42, 102, 81, 30, -74, 303, 57, 149, 55, -1, -4, 254, 2, -1, 18, 170, 15, 111, -71, 48, 214, -2, 267, 302, 3, 110, 261, 10, -103, 121, -18, 273, 69, -6, -33, 147, 24, -26, 179, 23, 117, 101, 45, 103, 38, 57, -117, 454, -69, 53, 252, 149, -52, 150, -52, 246, 148, 38, -124, 198, -36, 109, 208, 90, -21, 99, -38, -35, 23, 18, 104, 656, -62, -62, 345, 178, 205, 64, 29, 47, 53, 16, -20, 200, -71, 122, 386, 65, -174, 187, 106, 1, 7, -53, -2, 575, 46, 56, -21, -3, -32, 151, -113, 598, 62, 37, 317, 57, -139, -31, 308, 374, -110, 83, -141, 35, 191, 28, -225, 233, 12, 149, 65, 6, -65, 104, -66, 152, 72, -56, 150, 240, -131, -43, 428, 172, -135, 117, 174, 155, 117, 64, -236, 282, -179, 43, 341, 12, -66, 31, 11, 78, 40, -104, -262, 541, -136, -101, -207, 131, 7, 227, -79, -15, -92, -20, 137, 565, -229, -76, 430, 20, -130, 92, -105, 155, 119, -10, -31, 114, -64, 110, -58, 128, -322, 94, -92, -6, -63, -68, 9, 430, -116, -98, 262, 141, -122, 19, -243, 52, -15, 53, 227, 358, -146, -41, 94, 10, -311, 43, -147, 126, -50, -77, -351, 917, -99, -102, 177, -4, -233, 249, -142, 68, -178, 148, -46, 79, -266, -15, 637, 118, -92, -9, -244, 44, 112, -31, -144, 568, -140, 130, -92, 56, -240, 158, 68, 123, -151, -38, -97, 534, -137, -103, 7, 56, -302, 60, -113, 1, 165, -63, -208, 192, -120, 179, 314, -25, -440, -42, -38, 565, -20, -52, -206, 110, -70, -56, 422, 1, -87, 450, -174, -3, -129, -75, -254, 212, -304, -123, -51, 79, -53, 249, -358, 508, 9, -127, -112, 35, -19, -104, -56, 103, -379, 59, 226, -175, -107, -99, 98, 478, -336, -237, 224, -29, -259, 86, -263, 374, 46, -58, -343, 443, -275, 75, 222, 100, -155, 30, -22, -47, -26, -223, -458, 598, -154, -127, -206, -44, -297, 259, -46, -2, 20, -105, 193, 223, -100, -70, 170, 116, -362, -24, -362, 151, 128, -111, -232, 214, -129, -110, 471, -32, -415, 307, -373, 52, -151, -126, -78, 160, -192, -319, -98, 208, -163, 137, -247, -141, 48, -88, -471, 362, -325, -68, 732, -147, -533, 61, -127, 730, -216, -197, -87, 320, -299, -168, -39, 12, -87, 188, -236, -207, -124, 58, -451, 521, -240, -152, 337, 36, -403, 24, -341, 91, 23, -225, -652, 132, -257, -160, -212, -44, -415, 588, 12, -136, 159, -255, -201, 458, -221, -189, -20, 89, -396, -38, -569, 32, -79, -80, -384, 104, -291, -42, 415, 107, -680, 179, -378, -54, -227, -159, -96, 229, -249, -62, 209, -147, -159, 321, -168, 477, -192, -125, -341, 312, -487, -255, 201, 188, -556, 11, -302, 77, -151, -77, -681, 532, 112, 40, 29, -175, -535, 229, -437, -144, -192, -72, -81, 446, -369, -277, -108, 53, -216, -118, -380, -307, 44, 46, -525, 935, -442, -182, -168, -132, -726, -53, -106, 373, 55, -277, -548, 613, -365, -23, -75, 116, -458, 106, -495, -182, -305, -166, -210, 328, -537, -175, -55, -9, -659, 86, -251, 539, -298, -50, -526, -95, -48, -223, -294, -269, -447, 282, -218, -95, -176, -170, -655, 1437, -527, -121, 246, 114, -444, -30, -561, -37, -283, -46, -307, -15, -412, -93, 194, -147, -766, -80, 36, -56, -265, -257, -663, 848, -295, -210, -102, -118, -186, 424, -416, -203, -133, -244, -395, 113, -624, 46, 212, -18, -750, -99, -214, 31, 22, -222, -1160, 474, -280, -87, 43, 107, -624, 183, -539, 368, -296, -317, -127, 130, -475, -434, 155, 530, -497, 52, -301, -254, -71, -68, -547, 495, -422, -278, -235, -350, -363, 40, -512, 354, -154, -183, -898, 406, -398, -356, -371, -33, -424, 8, -275, 119, -183, 13, -355, 128, -820, -213, 901, -145, -605, 12, -522, 176, 94, -187, -1068, 156, -480, -49, 89, -148, -608, 201, 2, -201, -418, -238, 87, 872, -288, -532, -295, -83, -801, -43, -574, -296, 136, -149, -453, 298, -597, -273, -67, 300, -654, -93, -452, 190, -424, -316, -539, 523, -269, -277, -148, 11, -663, 293, -641, -450, -437, -20, -255, -10, -705, -336, 331, -62, -766, 206, -784, -111, -116, -414, -1223, 478, -368, -77, 181, -139, -536, -94, -243, -105, -407, -216, -554, 170, -587, -101, -378, 215, -877, -235, -924, -527, -120, -144, -668, 326, -593, -211, 586, -252, -942, -146, -213, 286, -529, -538, -747, 835, -572, -213, -538, -43, -733, 258, -628, -498, -374, -36, -583, 196, -468, -470, -112, -161, -737, -8, -910, -22, 331, -299, -262, 199, -519, -277, -247, -81, -947, 71, -375, -244, -728, -245, -119, 904, -452, -572, -535, -230, -862, -23, -861, 28, -46, -299, -925, 140, -450, -371, 240, -183, -1233, -296, 117, 116, -398, -561, -1098, 671, -592, -314, -403, -314, -619, -85, -814, 77, -336, -286, -705, 117, -1046, -466, 82, 435, -784, -307, -464, -269, -305, -241, -1309, 690, -697, 196, -78, -359, -1221, 166, -463, -332, -279, -433, -224, 190, -539, -608, -487, -11, -813, -160, -901, -75, -218, -355, -918, 375, -953, -256, -283, 4, -1562, 16, -567, 0, -628, -506, -1008, 426, -188, -626, -457, -499, -587, 194, -650, -605, -424, -254, -469, 700, -444, -230, 71, -38, -606, 26, -633, 462, 67, -457, -845, 51, -372, -22, 171, 125, -513, -76, -5, -346, 78, -171, -644, 790, -555, -467, -89, -182, -381, -6, 19, -161, -418, -85, -86, 109, -358, 224, 247, -173, -530, 99, -98, 225, -273, -475, -692, 1166, 143, -164, 108, -104, -27, 313, -613, -145, 16, -144, -229, 191, -456, -428, 502, 102, -240, 82, -63, 124, 420, -261, -364, -6, -184, -14, -542, -157, 176, 56, -179, 432, -245, -165, -430, 816, -214, -271, 76, 206, -337, -117, -259, -210, -81, -24, -958, 204, -142, 26, 966, -357, -185, -35, -253, 403, -18, -178, -348, 895, -151, -32, -649, 136, 10, -22, -100, -352, -153, -342, 61, 668, 191, -421, 462, -94, -775, 333, -234, -142, 11, -224, -249, 78, 125, 634, -278, -145, -333, -109, 198, -317, 309, -102, 309, 838, -194, -523, 596, -223, 383, 9, -354, 530, 222, -46, -457, 47, 258, -148, 409, -166, 535, 117, -134, 408, -73, -301, 191, 1090, -194, -456, -44, -169, 39, 348, 185, 270, 384, 28, -167, -129, -258, -41, 333, 618, -402, 8, 124, 258, 245, -213, 191, 789, -212, -159, 221, 130, -15, 75, -127, -262, -56, -218, 491, 529, -234, -324, 57, 116, 167, 40, 211, -11, -42, -206, -964, 925, 142, 281, 93, -87, 78, 77, -342, 540, 71, -372, 160, 242, 446, -351, 99, -120, 144, 105, -456, -26, -196, 179, 227, 549, 10, 306, 384, -64, 259, 86, 288, 635, 347, -299, -358, 324, -20, -163, 391, -1, 492, 353, 220, -92, -37, -51, -989, 646, 77, 29, 24, 11, 308, -320, -156, 35, 600, 331, 152, 109, -285, -412, -73, -147, -5, -114, 461, -22, -319, 9, 880, 1488, 162, -291, 804, 27, 34, 379, -476, 483, 454, -345, 447, -222, 223, -311, -81, 414, -1, -51, 401, 160, -23, -372, -560, 236, -297, 335, 33, 45, 588, 389, 202, 13, 44, -144, 30, 700, -186, -320, 22, 146, 719, 10, -352, -97, 84, -257, -590, 577, 478, -9, 1526, -254, 52, 25, 265, 261, 56, -168, 188, 543, 496, 165, 231, 47, -46, 166, -415, -411, 810, -179, 583, 594, 646, -192, 628, 343, -363, -343, -292, 469, -132, -439, 476, 735, 497, 89, -539, 39, 865, 333, 638, -199, 390, 142, 574, 878, 289, -452, 170, -37, -254, -76, 91, 361, 198, -172, -596, 308, -1, -242, 1830, 356, 16, -31, 169, -59, 285, -232, 166, 845, 446, -458, -222, 158, 422, 181, -341, 942, -236, -344, 557, 449, -91, -102, 223, 153, 229, -272, 1429, -24, 379, -150, -290, 264, 35, 137, 417, 109, 704, 88, 260, -198, 719, -83, 464, 505, -125, -274, 312, 847, 1082, 115, 194, -105, -175, -156, -282, 1230, 353, -344, 568, -170, 531, -57, 510, 1103, 92, -366, 642, 233, 457, -573, -58, 231, 167, 223, -615, 654, 151, -218, -219, 100, 1059, -168, 1115, 0, -126, 39, 362, 16, 267, -146, 35, 242, -330, 115, -103, -237, 1009, 356, 921, -146, -149, -131, -351, 1427, -475, -314, 292, -33, 825, -112, 105, 604, 254, -128, 189, -5, 1372, 0, 578, -140, -195, -166, -16, 276, -73, -129, 130, 1594, 313, 9, -212, -215, -120, -8, 229, 292, -234, -158, 1230, 5, 530, 68, 265, 464, -538, -183, 305, 655, -66, -241, 190, 989, 457, -69, -46, -213, 369, 271, -3, 627, 603, 85, 544, 527, -43, -133, 102, 316, 962, -31, 439, 20, -13, 46, -701, 393, -29, -426, -285, 5, 1257, 229, 49, 761, -285, -248, 772, 397, 442, -251, 994, 186, 791, 157, 329, -268, 720, -58, 432, 110, 369, 4, 1018, -9, -491, -343, -88, 186, 667, -392, 397, -50, -127, 149, -226, 1333, 470, 128, 42, 161, 70, -328, 13, 1152, 415, -143, 123, 156, 669, 246, -941, 699, 650, -391, -377, -39, 971, 48, -224, 69, -847, 66, 777, 8, -298, -116, 1331, 521, 976, -510, 649, 107, -460, 451, -742, 537, 145, 18, 785, 486, 57, -151, 57, 51, 167, 75, 662, 75, 470, -298, 1670, 1059, 136, 288, -460, -394, 179, 187, 817, 271, 108, -101, -304, 875, -230, -147, -43, 43, 1082, -279, 884, -685, 676, -191, -289, 1079, 772, -568, 182, -272, 1008, 30, 652, 744, -247, -250, 224, 512, 640, -601, 6, 101, 317, 639, 243, -333, 398, -344, 212, 465, 960, 27, 768, 798, 37, -264, 181, 1778, 122, -603, -79, -3, -244, -25, 768, -147, 901, 107, -408, -585, -288, 49, -478, 468, -432, -709, 683, 43, 1845, 43, 1761, 193, 433, -350, 319, 314, -283, -420, 319, 5, 114, -331, -16, 490, -263, -183, 597, 1154, 589, -65, 1132, 9, 961, 39, -549, 301, 570, -224, 1494, 289, 108, 209, 111, 565, -540, 25, 497, 21, 719, -490, 200, 812, -125, -196, -227, -128, -612, 287, 797, 143, 594, -231, 219, 301, 720, -196, 13, 669, -157, -401, -190, 544, 584, 422, -1373, 1193, 652, -390, 1467, -455, 1282, -221, 450, 680, 45, -527, 4, 208, -303, -610, -692, 480, 729, 699, 0, -362, 253, -346, -108, 730, 91, 98, 561, -146, -105, 44, 685, 425, 809, -327, -19, -182, -45, 15, -161, 385, 1158, 159, 125, -261, 390, -337, 390, 1435, -102, -245, 782, -80, 89, -181, -274, 101, -491, -233, 350, 213, 2041, -404, 251, 349, 515, -101, -70, 163, 330, -422, 1030, 952, 563, -292, 266, -256, 145, 12, -555, 426, 39, -284, 1086, -282, -147, -248, 820, 794, 403, 56, -546, -317, 435, -290, -336, 834, 188, -579, -139, -270, 392, 899, 234, -218, 37, 43, -127, 1639, -368, -543, 1255, -70, 508, -480, 1670, 220, -49, -348, -404, 314, 844, 28, 563, -286, 286, -142, -243, 1564, -308, -361, 646, 248, 450, -770, -491, 265, -245, -270, -465, -441, 739, -325, 1620, 229, 554, -120, -338, -250, -279, 669, 596, 890, 0, -362, 139, 157, 94, -600, 121, 77, 659, 54, 592, -286, 383, -242, -220, 768, 498, -898, 773, 366, 505, -161, -745, -312, -370, 429, -988, 92, 743, -351, 428, -254, 1860, -90, 259, -135, -392, -770, 992, 1564, 268, 82, 740, -297, -11, -20, -873, 576, 489, -463, -354, -82, 425, 340, 1325, 286, -227, -307, 324, 136, 686, -241, 663, 753, -174, 303, 177, -404, 496, 96, 365, -415, 160, 138, 1075, 618, 561, -590, -131, 359, 710, 4, -754, 203, 277, -64, -101, 943, 957, -348, 843, -257, -250, -200, -75, 489, -135, 3, 708, 45, -135, -903, -282, 456, -175, 620, 52, -369, -315, -88, 865, 564, -65, -578, 67, -96, 1122, -323, 243, 1535, 260, -705, 382, 310, 441, -241, -245, -52, 1960, 179, 770, -179, -92, 28, -863, 843, 169, -551, 740, -344, 628, -203, 897, 190, 838, -350, -144, 451, -44, -576, 670, 27, -135, 441, -201, 409, -420, -542, 1142, 982, 782, -605, 234, -335, 357, -248, -848, 344, -421, -337, 544, 246, 1105, 16, 285, 283, 7, -201, 1872, -424, 89, -219, -1319, 285, 618, -404, 14, 260, 348, 75, -512, 211, 19, -52, -80, 668, 43, -73, 83, -341, 1957, -157, -99, -373, -82, -244, -387, 1258, 90, 126, 1420, -659, 91, -241, 570, 580, 116, -515, 410, 656, 552, -509, 698, 171, 173, 24, 72, -555, 767, -58, 2121, 421, 270, -393, -226, 34, -757, -456, 888, 243, 431, -543, 1248, 189, -612, -350, -387, -529, 1682, 173, 676, -585, 64, -239, -673, 1420, -56, -523, 325, 34, -628, -326, -498, 983, -75, -354, 118, -232, 791, -780, 418, -175, 2230, -276, 83, -298, -58, 44, -54, 1143, 179, -681, -597, 265, 58, 257, 319, -8, -62, -537, -443, 575, 419, -313, 952, 370, -6, -464, 1587, -321, 809, -690, -846, -74, 277, 138, -1, 217, 491, 83, 227, -41, 450, -288, 1243, 880, -951, -832, -144, 167, 349, -522, -422, -319, 407, -314, 634, 1317, 161, -489, 245, -151, 1721, 55, -1151, 623, -347, -643, 1347, 1067, 2440, -856, 190, -171, -871, 307, -792, -292, 400, 229, -260, 145, 494, -416, 937, -175, -14, -366, 996, 85, 711, -251, 540, -12, 239, -312, -711, -159, 1282, 289, 892, -240, -82, -271, 346, 1735, 1028, -660, 655, -332, 1989, -114, 190, 244, 185, -96, -973, -218, 450, -350, 335, -256, 441, 112, -2, 426, -57, -578, 771, 1397, -128, -765, 989, 418, 461, 463, -229, -168, 435, -945, 1189, 234, 24, -509, -476, 583, -1004, 314, 234, 36, 85, -918, -570, 727, 708, -543, 689, -402, 2213, -445, 2591, 95, -354, -196, 865, -99, -346, -495, 325, 796, 246, -247, -146, -208, -445, 37, -288, 873, 1638, -505, 560, -505, 713, -177, -705, 663, -242, 433, 1776, 433, -445, -408, -127, -28, -243, 8, 697, -700, 798, -506, -215, -26, -253, -236, 284, -32, 722, -665, -425, -194, 1744, -538, 86, 349, 676, -411, -474, -40, 602, 75, 374, -695, -665, -16, 541, 1300, 304, -1250, -168, -474, 394, -153, 856, 455, 540, -752, -202, -7, 613, -312, 1129, -91, 384, -196, 206, 1286, -119, -449, -553, 547, -596, -785, 1399, -119, -539, 442, -832, -93, -39, 113, -49, 173, -60, -1058, -308, 287, 145, -564, 3372, -499, -248, -647, -1424, 791, 240, -153, -563, 127, 923, 63, 423, 71, 792, -421, 200, 37, 250, -437, 840, -143, 1221, -513, 11, -589, 56, 73, -970, 803, 88, -217, 1468, -14, 347, -270, -704, -33, -536, -523, 2763, 1067, 966, -808, -99, 216, 195, -193, -371, -764, -56, -666, 314, 161, 2269, -93, -164, 207, -1204, -512, 144, 1288, 1012, -399, -211, -131, 567, -60, -679, -765, 679, 56, -42, -421, 368, -1, 58, 438, -349, -826, 386, -88, 1409, -542, -218, 1040, -869, -680, 210, 475, 592, -661, 429, -164, -452, -219, -57, 213, -97, -71, -1335, 1576, 124, -1103, -292, -416, -423, -328, 627, 451, 1244, -174, 1097, -51, -370, -269, -607, 966, -16, -489, -266, -442, 40, -1261, 1438, 84, 854, -489, -124, -760, 2429, 160, 481, -188, -770, -459, -1200, 769, -837, -468, 47, 185, 650, -202, 1646, 232, 590, -274, -922, -134, 1335, -1096, 1257, 13, -225, -377, -790, -367, -873, -132, -157, 544, 894, -684, -12, 507, -233, 221, -413, -1076, -623, -596, -963, 647, 294, -32, 2481, -310, -643, -1183, 1179, 430, 7, -636, 408, 140, -401, 53, -184, 161, 1051, -545, 165, -737, 850, -430, 685, 2395, -177, -1348, -75, 228, -400, -702, -488, 414, 72, 322, -463, 1027, 1417, -358, -1068, -582, -33, -85, -192, 376, -229, -869, -203, 66, 213, -733, -432, -223, -573, -335, -484, 1069, 251, -337, 614, -10, 550, -299, 465, 288, -611, -621, -90, -268, 803, -86, -442, 264, -804, -704, -562, -875, 1066, -283, 843, -67, -788, -242, 462, 521, -465, -1134, -234, 145, 1428, -460, 167, -480, -227, -266, -1762, 1233, 1976, -386, 889, -488, -778, 93, -1219, 585, 15, -482, 2203, -276, 726, -546, -408, 348, 1231, -130, -417, -1180, -769, -847, 1839, 568, -278, -306, 442, 325, 101, 21, -50, 414, 598, -957, 836, -102, 1932, -638, -473, -128, -188, -241, -265, -388, -972, 127, -831, 2090, -1094, 192, 1095, -172, 372, -750, -152, -123, -40, 34, -350, 596, 329, -1220, 470, -151, 1088, 102, -72, -91, -524, -910, -1134, 1201, 618, -909, -623, -214, -275, -380, 353, 361, 287, -420, 668, -257, -773, -66, -178, -126, -809, -1087, 1229, 48, 588, -549, -980, 584, -915, 43, -458, -356, 845, 33, -90, -179, 272, -270, 143, 481, 860, -831, -227, 23, 420, -479, 643, -110, -207, -194, -1586, -231, 13, -383, 717, -468, 448, -818, -622, 1461, -1230, -424, 319, 221, -50, -778, 141, 303, -612, -6, -1221, -66, 17, -505, -222, 373, 1660, -902, 143, -288, -369, -188, -238, 651, -320, -639, -634, 321, -45, -203, -446, -527, 1675, 314, 1559, -1166, 482, -586, -874, 897, 176, -451, 864, -290, 510, -773, -443, -526, -465, -339, 329, 295, 929, -881, 347, 288, -1569, -371, -214, -900, -1090, -209, 1834, 1045, 1095, -1061, -219, -300, -1043, -22, -756, -210, 62, -333, -1059, -354, 367, -325, -882, 262, -735, -189, -1100, -223, 894, -793, 1359]