# Trace form for 4019.2.a.b, downloaded from the LMFDB on 16 April 2024.
[0, 186, 6, 10, 212, 38, 47, 32, 15, 216, 50, 25, 17, 113, 12, 12, 252, 35, 13, 97, 55, 115, 14, 27, 122, 244, 39, 34, 66, 91, 4, 135, 21, 32, 58, 17, 273, 133, -3, 55, 142, 97, -8, 67, 44, 154, 101, 20, -7, 312, 21, 23, 193, 22, 141, 88, 28, 65, 62, 41, 1, 377, 29, 39, 311, 21, 35, 42, 24, 137, 35, 17, -8, 213, -9, 2, 242, 60, 0, 103, 80, 270, 84, 42, 137, 294, -9, 22, -13, 78, 69, 118, 49, 51, 93, 10, 260, 142, -31, 78, 262, 179, -34, 40, 70, 66, 119, -15, 17, 323, 15, 82, 93, 13, 27, 91, 116, 257, 11, 65, -36, 307, 26, 26, 338, 144, 19, 83, -36, 97, 40, 91, 11, 184, 29, -55, 124, 25, -68, 233, -47, 152, 34, 26, 289, 160, 20, -48, 143, 113, 77, 168, -78, 112, 47, -25, 63, 166, -61, 36, 224, 44, -68, 83, 179, 55, 106, 5, -123, 359, -97, 156, 121, 127, 27, 140, 17, -6, 61, -1, 80, 418, -64, -43, 262, 20, -40, 142, -23, 340, -33, -37, -117, 179, -6, -15, 360, 107, -155, 178, -21, 165, 39, -42, -80, 148, -9, 5, 284, 73, -75, 160, -51, 158, 109, 73, 284, 132, -161, 45, 141, 62, -2, 145, -14, 226, 177, 4, -62, 568, -124, -60, 52, 3, 46, 84, 32, 160, -86, 12, -159, 470, -48, -3, 597, 98, -46, 45, -33, 66, 139, 52, -106, 220, -10, -34, 330, -6, -132, 175, -137, 293, -1, -48, 40, 273, -58, -63, 44, 218, -136, 311, -82, -6, 88, 6, 87, 322, -52, 268, -68, 83, -99, 131, -111, 66, 134, -99, -207, 413, -147, -53, 410, 110, 106, -24, -163, 24, -56, -7, -307, 710, -69, -58, 466, 109, -157, 189, -189, 153, 53, -16, -76, 205, -55, -87, 127, 93, -127, 75, -41, 131, -49, -105, 224, 647, -68, -49, 134, 131, -232, 167, -84, 225, 171, -67, -12, 131, -139, 46, 422, 54, -307, 106, -159, -19, 281, -4, -257, 859, -205, 1, -108, -25, -143, 28, -50, 24, 25, 29, -145, 331, -18, -84, 182, 94, -133, 127, -126, 364, 187, -24, -252, 168, -153, -169, 134, 74, -359, 108, -207, 407, -90, -32, 263, 164, -159, -61, 182, 174, -338, 228, -257, -59, 41, -6, -137, 472, -110, -67, 111, 81, -288, 154, 13, 335, -50, -207, -341, 499, -322, 41, -44, 47, -69, 45, -103, -47, 107, -16, -379, 395, -141, -147, 154, 124, -119, 42, -271, 54, -25, 20, -309, 146, -155, -125, 337, 226, -353, 264, -184, 335, -230, -115, -74, 206, -175, -54, -21, 67, -236, 84, -232, 390, 90, -199, -71, 185, -102, -113, 29, 467, -275, 5, -63, -36, -49, -117, 13, 533, -299, -140, -73, -45, -221, 238, -44, -32, -61, 139, -344, 485, -279, -145, 174, -23, 175, -8, -115, 148, -57, -60, -267, 303, -230, -76, 634, -84, -389, 157, -226, 359, 0, -50, -268, 233, -292, -147, -56, 263, -170, 45, -348, -57, 371, -144, -229, 363, -408, -142, -111, 30, -168, 35, 57, 141, -36, -187, -510, 361, -314, 17, -41, -41, -348, 9, -168, -30, 158, 6, -577, 946, -221, -202, 39, -64, -401, 11, -248, 835, -403, -38, -376, 83, -327, -276, 373, 11, -396, 168, -435, -107, -142, -74, -215, 367, -197, -198, -207, 19, -419, 59, -264, 9, -84, -100, 57, 189, -284, 22, -39, 31, -368, 26, -179, -272, -186, -109, -545, 401, -328, 114, -53, -24, -297, -222, -153, 49, -238, -76, -232, 478, -401, -222, 109, 248, -249, 121, -544, -80, -210, -92, -219, 262, -108, -191, -180, -180, -534, 358, -631, 318, -69, -77, -307, 302, -103, -340, -82, 303, -671, 40, -476, -69, 31, -77, -318, 457, -545, -153, -51, -108, -381, 122, -368, -134, -83, -200, -853, 328, -325, -69, -174, 7, -320, -114, 18, 328, -340, -123, -697, 661, -414, -301, 34, -132, -370, -164, -510, 217, -151, -49, -882, 54, -370, -252, 125, 46, -258, 106, -734, -18, -274, -248, 1, 721, -466, -187, -61, 54, -764, 240, -45, -23, -52, -173, -320, -11, -441, -103, -113, 29, -534, 139, -334, -304, -28, -284, -624, 611, -313, -80, -81, -155, -601, -121, -456, 142, -327, -4, -309, 439, -439, -336, 343, -2, -322, -12, -483, 18, -228, -61, -773, 472, -255, -413, 187, -221, -451, 172, -637, 127, -302, -302, -313, 239, -328, -261, -94, -54, -725, 51, -318, -363, 67, -249, -123, 129, -581, -192, -400, 80, -413, -112, -410, 296, 20, -261, -735, 632, -669, -211, 34, 8, -807, 224, -457, -130, -182, -315, -695, 48, -487, -233, -44, -262, -503, 49, -433, 40, -208, -4, -1122, 54, -259, -515, 34, -18, -738, 258, -589, -16, -431, -288, -306, 455, -530, -532, -107, 5, -642, 329, -638, -235, -240, -239, -659, 42, -530, -184, -299, 392, -565, -42, -493, -283, -222, -306, -563, 619, -587, -80, 208, -304, -576, -183, -374, -339, -179, -305, -783, 273, -520, -193, 126, 31, -478, -55, -590, -108, -326, -337, -321, 908, -418, -578, -135, -32, -1048, 333, -279, 65, -467, -265, 242, -17, -214, -348, -110, -66, -1019, 250, -765, -40, -212, -522, -593, 408, -580, 43, -131, -47, -675, -255, -537, -257, -63, -218, -646, 241, -496, -218, -169, -49, -426, -30, -618, -322, -334, -36, -617, 909, -520, -661, 41, -211, -563, -186, -402, 403, -557, -221, -796, 168, -531, -385, 524, -44, -822, 106, -467, -98, -325, -210, -914, 524, -492, -349, -317, -82, -643, 95, -584, -299, -239, -322, -565, 58, -694, -410, -269, 468, -745, 133, -483, -226, -427, -347, -435, 472, -794, -266, -681, -342, -527, 113, -532, 111, -246, -314, -1025, 347, -620, -443, 686, -125, -766, -43, -636, -353, -471, -295, -809, 200, -317, -396, 677, -328, -627, -29, -853, 521, -424, -217, -638, 1, -441, -608, -417, -133, -1023, -64, -597, -291, -380, -437, -549, 717, -595, -186, 13, -455, -928, -100, -264, -138, 76, -74, -972, 320, -517, -100, -243, 30, -421, -232, -248, -272, -262, -212, -553, 883, -450, -244, 145, -11, -273, 31, -446, 318, -166, -150, -459, 116, -141, -652, 102, -80, -744, -26, -785, 123, -14, -261, -149, 280, -454, -288, 30, -27, -748, 220, -120, 342, -241, -214, -215, -197, -555, -196, 344, 272, -258, -48, -401, -204, -142, -321, -647, 834, -180, 30, -174, -158, -130, 26, 236, 183, -245, -348, -308, 743, -258, -334, 849, -110, 182, 140, -165, -91, -215, 120, -77, 89, -288, -396, 45, 218, -408, 477, -13, 1, 10, -208, -104, 261, 115, -56, 78, 113, -659, 592, -300, -347, -73, -211, 390, 486, -47, 261, -97, -166, -229, 82, -90, 462, 134, -113, -403, 651, -4, -199, 234, 227, -143, -59, -145, 45, -218, -23, 270, 720, 462, -235, 91, -316, -1, -56, -764, 273, -30, 37, -418, 202, -312, -260, 580, -47, -299, 171, -77, 122, 187, -122, -182, 781, -379, -371, 644, 61, 24, 40, 134, -245, 156, -348, 667, 37, -210, 63, -286, 380, 27, -33, -135, 40, 446, -176, -338, 964, -335, 83, -281, -225, -238, 271, 291, 114, -98, -113, -1548, 533, -120, -258, 817, 69, 384, 163, -451, -61, 349, -305, 195, 208, -2, -518, 974, 94, -102, 45, 40, 668, -326, -130, -240, 391, -275, -124, 436, 234, 126, 542, 50, -112, 90, -223, 500, 342, -311, -202, 541, 117, -235, -323, 252, 267, 141, -238, -265, 401, 509, 184, 98, 41, -52, -191, 94, -163, 231, -76, -164, 1266, 193, 155, 34, -125, 135, -26, 458, 159, -58, -223, 350, 358, -383, -308, 127, -41, -510, 475, -402, 253, 137, -338, 326, 52, 604, -49, -188, 301, 97, 271, -139, 258, 477, -184, 818, 287, -268, -445, 985, 272, 255, -41, -66, 168, 64, -170, -413, 646, 230, 54, 296, -94, -134, 398, 302, 137, -200, -47, 41, 505, 370, -544, 215, -111, -36, 194, -149, 188, -302, 150, 116, 624, -257, -474, 541, 257, 197, 178, -215, 434, 48, -162, -157, 101, 355, -274, -126, 574, 408, -63, 298, -125, 423, -257, 466, 519, -165, 135, 927, 211, 189, 334, -115, 67, 407, -192, -774, 249, 260, 63, 396, -144, 318, 113, -231, 217, -30, -164, 988, 680, 72, -283, 973, 140, 571, 141, -139, 874, -217, 63, 103, 292, 256, -412, 1614, 114, -17, 159, 241, -56, -126, -160, 70, 873, 440, -330, -210, -65, -48, 223, 862, 7, 212, 50, 533, 393, -371, -219, -8, 586, 960, 4, -242, -177, 989, -230, -575, 981, 509, -453, -58, -250, 37, -184, 460, 531, 126, -95, 211, 595, 95, -372, 539, 211, 30, 54, 439, -201, 324, -144, 351, 167, 157, -6, 357, 167, -119, 196, 377, 1028, 293, -303, 232, 171, 240, -181, 449, 314, -266, 314, 134, -289, 330, -25, 694, 574, -78, -628, 330, -58, 1407, -129, 312, 65, 126, -95, -896, 623, -18, -5, 691, 175, 268, -57, -107, -225, -109, -234, -122, 1530, 188, -385, 239, -103, 249, 97, 19, 123, 931, 27, -708, -24, 422, 16, 506, 436, -389, 398, 559, 370, 263, -325, 919, 1242, 542, 94, -391, 67, -173, 682, -20, -149, 108, -538, 1622, 164, 214, -118, 174, 255, -44, 4, -600, -35, 690, 196, 774, 783, -141, -468, 1083, -137, 384, -132, 648, 490, -234, 181, -338, 312, 1, -578, 206, 303, 657, 270, -480, 94, -197, -227, -247, 568, 228, -232, 971, -119, -561, 75, 580, 798, 438, -394, 26, -53, -88, 95, 621, -119, 651, 241, 788, -166, 375, -244, -128, 667, -274, -424, -15, 618, 365, 141, 309, 399, 298, -320, -360, 381, 283, -162, 651, 106, 644, 67, -147, -117, 232, -88, 526, 698, 327, -555, 461, -49, 515, 7, -49, 839, 460, -114, 577, -299, -291, -289, 1624, 371, -90, 127, 8, 508, 23, -399, -208, 854, 279, -174, -9, -186, 1421, -27, 371, 59, -131, -56, 344, 233, 160, -384, 222, 346, 704, -212, 278, -235, -66, -248, -119, 1675, 218, 114, 626, -399, 166, -243, -185, -108, 258, -64, -29, 479, 1655, -306, 397, 616, 990, -129, -539, 155, 165, 174, 1375, 339, -395, -237, 348, 312, -183, 123, 634, 1065, -13, -205, -162, -436, 349, -344, -7, 220, 4, 534, -26, -74, 147, -486, 873, 309, 205, -531, 245, 66, 951, -3, 18, 82, 507, 164, -378, 794, 590, -80, 17, -176, 1230, -105, 1143, 266, -98, -423, -550, 1070, -443, -631, 578, 122, 125, -15, 263, 360, -184, -120, 1134, 71, 477, -683, 1097, 143, 188, -3, 103, 77, 573, -180, 1015, 339, -350, 148, -656, -42, 6, 274, -69, 423, 437, -395, 465, 112, -383, -112, 517, 442, -156, -41, -26, -92, 615, -118, -99, 885, 2037, 31, -492, -466, -158, 206, 326, 628, -477, -179, -449, 461, 395, -315, 155, 27, 1159, 138, -401, 417, -420, -195, 1774, 413, 344, -517, 263, -247, -144, 183, -153, 554, 1057, -459, 177, 1032, 542, -363, 336, 190, 350, 313, 581, -95, 150, 249, 213, 532, -485, 188, 299, -51, 1181, -114, 660, 453, 726, -119, -501, 203, -283, -26, -85, 448, 34, -336, 775, -316, -246, -424, 893, 1011, 1037, -416, 75, -278, 832, 422, -473, 122, 160, 173, 618, -161, 573, -407, 1059, 354, 96, 338, -42, 540, 202, -483, -80, 169, 215, -651, -280, 231, 1180, 232, 451, -158, 9, -358, -474, -73, 743, 186, 381, 256, 926, -113, -104, -263, 395, 215, -462, 2090, -190, 270, 400, -234, -119, -464, 1596, 740, -270, -429, -325, 508, 44, -153, 1063, 332, 844, -255, -902, -86, -174, -328, 1122, 221, -42, 307, 140, 244, -510, 150, -83, 286, 491, -258, 1961, 337, -314, -507, 167, 566, 566, -2, 574, -472, 576, -277, 1029, 311, 37, -212, -17, 491, -390, -82, -357, 861, 1004, -379, 226, -208, -17, -94, 808, 111, -653, 26, -216, -43, -85, -37, -72, 963, -81, -373, 869, -224, 652, 357, 529, 140, 146, -373, -228, -165, 417, -777, 619, 462, -151, 42, 645, 379, -76, -533, 887, 311, 130, 381, -148, 154, 406, 141, -15, 306, -34, -426, 351, 76, 240, 129, 330, 805, 654, -153, 785, -426, 438, -192, -408, 555, 247, -332, 367, -94, -173, 156, 560, 669, -108, -490, 465, 369, 2430, -389, -286, 43, 1232, -417, -1163, 648, 148, -263, 303, 317, 544, -889, 1500, -117, -259, -25, 639, 1159, -284, -140, -290, 83, 810, -674, 201, 360, 887, 44, -205, -117, -78, -262, -102, 860, 8, -576, 497, -206, 1098, -501, 35, 628, 661, 228, -163, 468, -781, -180, 561, -666, 1325, -120, 648, -54, 354, -232, 789, 997, 516, -370, 81, 290, 341, 338, -89, 329, -80, -127, 523, 76, 443, -205, 1, 24, -401, 385, 206, -160, 476, -557, 871, 972, 959, -348, -468, -140, 569, 324, 1339, 192, 526, -874, 590, 203, -811, -237, 95, 870, 1222, -144, 192, -323, -345, -179, -154, 128, 583, -182, 832, -235, 1498, -268, 603, -45, -447, -161, -1114, 630, 143, -153, 1692, 178, 429, -248, 384, 783, -237, -200, 894, 964, -79, -303, 340, -56, 832, -39, -122, 102, 315, -503, -518, -86, 1462, -139, -360, 881, -205, 411, 610, -596, -25, -255, 2773, 913, 40, -453, -1322, -147, 707, -213, 113, -200, 365, -297, -524, 264, -138, -65, 723, -4, -23, -125, -725, 110, -562, -425, 1582, 1041, 2175, -575, 633, -461, -36, -236, -146, 3, 347, 123, -152, -619, 45, -630, 759, -233, 104, 252, 1018, 473, 276, -296, -412, 843, -300, -238, -96, 81, 1034, 522, 505, -214, 374, -498, 47, 405, -212, -364, -102, 138, 1863, -492, -291, -814, 735, -255, -869, 294, 430, 49, -507, -165, 536, -661, 999, 687, -274, -467, 1627, 734, -91, -551, 395, 627, 207, 69, -742, 212, 795, -469, -63, -22, 215, -338, 229, -132, -149, 168, -137, 1213, 515, -306, 401, 2, 610, -504, 480, 474, -101, -218, 56, -670, -263, -425, 109, 414, 90, -618, -740, -304, 1428, -137, 141, -167, -1, -205, 45, 1180, 455, -275, 919, -209, 434, -200, 806, -692, -467, 64, 300, 1591, 492, -594, -531, -529, 435, -220, -160, 637, -130, -73, 1079, 165, -120, -456, 158, 689, -255, -208, -94, -23, 224, -660, 1267, 203, 1111, -302, -113, -447, -807, 331, 1014, -79, 117, -290, 200, -141, 81, -151, -1074, 350, 716, -10, 46, 643, 1030, -163, 938, 632, -77, -242, 153, -228, 40, -486, -201, 221, -636, -528, -14, 654, 1308, -810, 680, -225, 1786, -99, -1112, -651, 526, 315, 417, 133, -122, -894, 385, 174, -230, -190, 1393, 374, 95, -311, -684, 279, -224, 72, -196, 482, 1220, -461, -344, -333, 475, -949, 1301, 904, 759, 119, -7, 214, 290, -362, 1, -261, -49, -370, 339, 597, -103, 306, 142, -170, -100, 62, 357, -153, -729, -384, 1127, 831, 1166, -855, 8, -133, 427, -85, -696, 347, -451, 99, 1901, -413, 318, -636, 1427, 557, -16, -74, -683, -42, -454, 303, 426, 606, 761, -479, -28, -343, -654, 100, 1072, 380, -65, -296, -380, 164, -164, -721, 487, 457, 1361, -555, 61, -140, 170, -523, 58, 1674, 609, 955, -228, -1176, -61, -295, 507, 75, -125, -218, -1189, 353, 498, -550, -262, 481, 835, -144, -489, 102, -724, -564, 990, 713, -290, -679, 1069, 89, -262, 163, 411, 454, 150, -663, -214, -175, 1612, -180, 631, -50, 639, 77, -978, -251, 248, -180, -27, -82, -705, -508, 29, -280, 1415, -250, 110, -283, 858, -372, -146, 243, 642, -574, 142, -7, 1233, -673, -576, -207, -706, -398, -1320, 2481, 585, -953, -103, -596, 486, -274, 138, 455, -890, -166, -79, 522, -142, 39, 376, -202, -774, -481, 423, 22, 774, -940, 824, 430, -55, -152, -1117, -32, 184, -239, 1397, -107, -241, -596, 834, 107, -62, -769, -706, 297, 485, -410, -252, -59, 522, 15, 255, 1108, 834, -314, -216, -472, 394, -26, 824, 654, -134, -927, -299, 186, -448, -908, 733, 82, 247, 176, 147, -519, -444, 347, -109, 231, 699, -1212, -175, -248, -209, 68, -362, 900, -236, -465, -708, 234, -239, -264, -1244, -100, 855, -202, 567, -1114, -485, -1037, 673, 836, -1008, 42, 160, 282, 1503, -210, -230, -543, 1280, -491, -1951, 337, 163, -435, 455, 150, -274, -1020, 229, -449, -190, -435, -325, 1024, 1671, -740, 53, -73, 289, -262, -44, 1189, -424, -280, 317, -361, 869, -754, 375, 331, 51, 281, -1521, -124, -46, -424, 773, 933, 1285, -736, -821, -261, 708, 261, 403, -248, -850, 45, 1056, 3, -290, -1023, 609, -11, 1963, -400, -763, 477, -144, -582, -907, 2009, -130, -792, 674, -286, -1064, -667, 781, 234, -354, -554, -1126, 616, -465, 67, 231, -361, 500, -546, -288, -343, 1103, -374, 1131, 189, -9, -795, 245, -307, -353, -725, 355, 474, -413, -814, 850, 146, -252, -384, -604, 252, 428, 512, -243, -618, -189, -472, 188, 502, -74, -1008, -89, -185, 781, -392, -786, -63, 463, -369, 268, -20, 286, -87, 1128, -271, 464, -294, 1249, 143, -541, 60, -564, 807, 911, -782, 286, -346, 1000, 197, -806, 67, -372, -332, -987, 415, 330, -651, 1409, -224, -751, -482, 690, -146, 145, -787, -369, 1290, -77, 246, -457, -430, 1521, -37, 1762, -561, 598, -376, 733, 43, -351, -234, -930, 793, 425, -672, -746, -894, 842, -437, 1357, 1246, 686, -505, -57, -867, 169, -537, 123, -310, 924, -413, -20, -67, 1368, -1410, 203, 267, 1833, -402, -741, 478, -203, -332, -204, 175, -346, -954, 495, 173, -349, -356, 1099, 800, 21, -585, -496, -77, 1373, -818, -571, -264, 676, 333, -46, -756, -26, -893, -150, 1571, -210, -664, -861, -649, 462, -360, 2258, 734, 478, -280, -1544, 152, 14, -299, 642, 21, 982, -563, -130, -919, -728, -497, 1939, 308, 1037, -802, 152, -497, 111, -354, -875, -716, -681, -295, 924, -331, -478, -104, 749, 18, -814, -441, -675, -232, 275, -1217, -743, -58, 955, -436, -1076, -2, 1324, 118, -603, 219, -347, -772, 566, 296, 300, -468, 466, -215, 1589, -327, -399, -517, 317, -105, -1262, 1673, 483, -948, 525, -936, 33, -189, -1, -121, -662, -17, -1679]