# Trace form for 8019.2.a.l, downloaded from the LMFDB on 29 March 2024. [0, 51, 0, 0, 60, 6, 0, 12, 0, 0, 18, 51, 0, 30, 12, 0, 78, 0, 0, 30, 18, 0, 0, 3, 0, 75, 9, 0, 36, 0, 0, 42, -15, 0, 42, -9, 0, 48, -3, 0, 54, 0, 0, 18, 60, 0, 42, 30, 0, 99, -30, 0, 60, 18, 0, 6, 21, 0, 30, 24, 0, 99, 0, 0, 114, -15, 0, 39, -39, 0, 48, 30, 0, 69, 0, 0, 90, 12, 0, 48, 42, 0, 42, -21, 0, 84, 24, 0, 0, 15, 0, 69, -66, 0, 66, -12, 0, 72, -57, 0, 120, -30, 0, 51, -18, 0, 54, -18, 0, 114, 18, 0, 84, 24, 0, 60, -51, 0, 48, 42, 0, 51, 6, 0, 126, -60, 0, 36, -30, 0, 48, -15, 0, 105, -78, 0, 126, -33, 0, 78, -36, 0, 42, 30, 0, 96, 48, 0, 96, -18, 0, 81, 12, 0, 12, 21, 0, 108, -66, 0, 126, -42, 0, 54, -63, 0, 84, -51, 0, 135, -75, 0, 54, -36, 0, 84, 78, 0, 48, 60, 0, 168, -69, 0, 126, 78, 0, 0, 33, 0, 72, 45, 0, 93, 6, 0, 180, 0, 0, 90, -111, 0, 78, -18, 0, 120, -36, 0, 120, 30, 0, 90, 114, 0, 84, -30, 0, 81, 36, 0, 18, 57, 0, 63, -36, 0, 69, -18, 0, 171, -21, 0, 66, -60, 0, 33, -21, 0, 15, -24, 0, 141, 0, 0, 174, 84, 0, 66, -93, 0, 51, 144, 0, 3, 144, 0, 138, -54, 0, 108, 54, 0, 42, -21, 0, 108, -156, 0, 42, -18, 0, 108, -78, 0, 12, 75, 0, 96, 144, 0, 48, -24, 0, 27, 84, 0, 9, 174, 0, 123, -72, 0, 129, -24, 0, 30, 51, 0, -54, -18, 0, 201, -93, 0, 159, -84, 0, 117, 36, 0, -9, 150, 0, 51, -105, 0, 135, 48, 0, 0, 189, 0, -30, 6, 0, 159, 84, 0, 12, 0, 0, 84, -147, 0, 90, -126, 0, 63, -60, 0, 36, 42, 0, 78, 210, 0, 102, -51, 0, 210, 66, 0, -15, 63, 0, 48, -78, 0, -63, -6, 0, 135, 93, 0, 72, -60, 0, 45, -294, 0, -18, -90, 0, 63, 42, 0, 171, 90, 0, 75, -153, 0, -27, 60, 0, -9, 192, 0, 6, -15, 0, 99, 84, 0, 24, -21, 0, 174, -186, 0, 66, -63, 0, 27, -90, 0, -87, 48, 0, 102, 204, 0, 84, -87, 0, 9, 66, 0, -3, 168, 0, 132, -93, 0, 30, 0, 0, 36, 138, 0, -120, -42, 0, 60, -126, 0, 129, -132, 0, 150, 54, 0, -69, 48, 0, 120, -114, 0, -24, -12, 0, 0, 222, 0, -78, 18, 0, 45, 90, 0, 48, 0, 0, 6, -45, 0, -51, -27, 0, 168, -114, 0, -90, 18, 0, 87, 276, 0, -219, -78, 0, 192, 90, 0, 60, 108, 0, 54, -93, 0, -69, 24, 0, 120, 138, 0, 87, 33, 0, 90, -300, 0, -27, -90, 0, 15, 42, 0, -153, 39, 0, 54, -177, 0, 36, 6, 0, 30, 207, 0, -90, 6, 0, 36, 69, 0, -42, 15, 0, 102, 177, 0, 36, -120, 0, 63, -204, 0, -153, 99, 0, 216, 261, 0, 168, -117, 0, 108, 0, 0, -30, 210, 0, 111, -123, 0, -39, -54, 0, 195, 186, 0, -126, -60, 0, 219, -96, 0, -69, -153, 0, 72, 60, 0, -150, 69, 0, 177, -372, 0, 63, -24, 0, 18, 189, 0, 24, -3, 0, 249, 120, 0, 24, -60, 0, -6, -48, 0, -237, -117, 0, 138, -189, 0, 27, 6, 0, 96, 186, 0, -84, -249, 0, 93, 114, 0, 21, 123, 0, 177, -225, 0, -66, -21, 0, 99, 75, 0, 6, -96, 0, 66, -231, 0, -78, -198, 0, 204, 30, 0, -27, 33, 0, 84, -336, 0, -33, 126, 0, 24, 201, 0, 60, -90, 0, 0, 87, 0, -186, -66, 0, 249, 156, 0, 96, -177, 0, 21, -243, 0, -63, 99, 0, 51, 183, 0, -27, -99, 0, 126, 18, 0, 0, 57, 0, 207, -132, 0, -183, -96, 0, 168, 45, 0, -30, -39, 0, 60, -159, 0, -60, -198, 0, 81, 114, 0, -66, 69, 0, 192, -312, 0, -42, -24, 0, -15, 306, 0, -204, 90, 0, 213, 213, 0, 150, -39, 0, 78, -225, 0, -78, -39, 0, 294, -171, 0, 159, 39, 0, 66, 660, 0, -108, -270, 0, 213, 96, 0, -39, 117, 0, 84, -324, 0, 72, 48, 0, 165, 138, 0, -84, 69, 0, 9, -108, 0, -72, -144, 0, 204, 48, 0, -45, 414, 0, 126, -255, 0, -111, -42, 0, 30, 390, 0, 102, -105, 0, 123, 117, 0, -138, 9, 0, 144, 6, 0, 72, -132, 0, 72, -327, 0, -96, 69, 0, 90, 327, 0, -183, -78, 0, 198, 78, 0, 0, 264, 0, 129, -375, 0, -9, -207, 0, 3, 6, 0, -24, 6, 0, 354, -288, 0, 63, -135, 0, 0, 90, 0, -72, 165, 0, 177, -312, 0, -18, -84, 0, 12, 321, 0, -36, 33, 0, 282, 6, 0, 48, 21, 0, 102, -9, 0, -66, -198, 0, 54, -189, 0, -150, 48, 0, 87, 354, 0, -48, -189, 0, 177, -78, 0, 42, 237, 0, -30, -339, 0, -129, 69, 0, 213, 291, 0, -24, -99, 0, 21, -216, 0, -144, -189, 0, 321, 42, 0, -9, 480, 0, -45, -279, 0, -285, 114, 0, -21, 585, 0, 108, -6, 0, 6, 150, 0, -78, -150, 0, 309, 75, 0, -219, -54, 0, 78, -234, 0, -216, 84, 0, 57, 234, 0, -252, -18, 0, -12, 66, 0, 24, 261, 0, 270, -132, 0, -336, 135, 0, -33, 48, 0, -279, -12, 0, 75, -183, 0, -15, -78, 0, 15, 0, 0, -231, 72, 0, 144, -309, 0, 144, -24, 0, 15, 873, 0, -393, 264, 0, 111, 30, 0, -168, -60, 0, -30, 117, 0, -273, -297, 0, 258, -117, 0, -123, 69, 0, -75, 591, 0, 60, -63, 0, 207, 75, 0, -66, 270, 0, -108, 123, 0, -240, 84, 0, 414, 135, 0, -261, -21, 0, -6, -387, 0, -339, -195, 0, 6, 66, 0, 45, 192, 0, 30, -348, 0, -189, -138, 0, -12, 687, 0, -120, 204, 0, 27, 168, 0, -234, -84, 0, -48, -105, 0, -144, -273, 0, -27, -576, 0, -270, 72, 0, 252, 345, 0, -96, -30, 0, -108, 138, 0, -57, 402, 0, 126, -405, 0, -99, -54, 0, -159, -132, 0, -90, -87, 0, 162, -216, 0, -60, -405, 0, 39, 120, 0, -249, 129, 0, 90, -513, 0, -426, -21, 0, -30, 531, 0, -180, 60, 0, 90, 297, 0, -228, -48, 0, -78, -60, 0, -6, -207, 0, 204, -342, 0, -189, 51, 0, -222, 321, 0, -474, -231, 0, 237, 63, 0, -18, 387, 0, -108, 90, 0, -429, 33, 0, 12, -105, 0, -30, -51, 0, -90, -375, 0, -360, -171, 0, 165, 54, 0, -159, 207, 0, -84, -348, 0, 24, 120, 0, -18, 165, 0, -336, 69, 0, -255, 285, 0, -186, -108, 0, 276, 189, 0, -429, -144, 0, -252, -294, 0, -378, 114, 0, 3, 450, 0, -6, -24, 0, -153, -135, 0, 18, 327, 0, 138, -417, 0, 90, 81, 0, 42, 144, 0, -327, 66, 0, -54, -66, 0, -105, -372, 0, 138, 84, 0, -330, 99, 0, 69, -780, 0, -330, -168, 0, 24, 918, 0, -234, 285, 0, 231, 288, 0, -204, -111, 0, -240, -222, 0, -351, 54, 0, 279, -357, 0, -60, 60, 0, -162, 582, 0, -402, -171, 0, 9, 15, 0, -51, 282, 0, 60, -9, 0, -210, 126, 0, 21, 99, 0, -432, -42, 0, -57, -312, 0, -231, -222, 0, -15, 48, 0, -168, 222, 0, -183, -732, 0, -96, -402, 0, 42, 486, 0, -246, 129, 0, 54, 216, 0, -414, -93, 0, 189, 150, 0, -66, -357, 0, -261, -540, 0, -588, 51, 0, 231, 63, 0, 33, 33, 0, -180, -324, 0, 6, 423, 0, -66, -276, 0, -216, 39, 0, -189, 75, 0, -132, -138, 0, 144, -423, 0, -351, -231, 0, -75, 126, 0, -210, 165, 0, 63, -903, 0, -342, -171, 0, -60, 975, 0, -330, 177, 0, 168, 126, 0, 162, -135, 0, -264, -93, 0, -594, 117, 0, -99, -291, 0, -18, 36, 0, 144, 741, 0, -282, -225, 0, 198, -18, 0, -30, 258, 0, 66, -93, 0, -447, 216, 0, 33, 3, 0, -270, -150, 0, -324, -402, 0, -75, -156, 0, 39, 48, 0, -252, 429, 0, -273, -456, 0, -486, 33, 0, -15, 483, 0, -405, 156, 0, -114, 267, 0, -531, -114, 0, 42, 180, 0, -180, -396, 0, 12, -375, 0, -171, 105, 0, -57, 537, 0, -489, 222, 0, 21, -486, 0, -78, 366, 0, 183, -111, 0, -681, -99, 0, -186, -240, 0, -288, -75, 0, 168, -333, 0, -285, -54, 0, -330, 126, 0, -531, -54, 0, 387, -156, 0, -87, -246, 0, -33, 354, 0, -435, 423, 0, 72, -108, 0, -90, -54, 0, 9, -30, 0, -357, -204, 0, 258, -393, 0, -693, 78, 0, -84, 681, 0, -330, -186, 0, -165, 18, 0, -36, 369, 0, -177, -246, 0, -150, -87, 0, 303, -438, 0, -381, -183, 0, -186, -249, 0, -441, -216, 0, 51, 42, 0, -102, 186, 0, -189, -822, 0, -567, -369, 0, 30, 339, 0, -156, 93, 0, -42, 450, 0, -438, -504, 0, -72, 69, 0, -129, -171, 0, -27, -771, 0, -333, 96, 0, 66, 165, 0, -330, -99, 0, -72, -207, 0, 48, 210, 0, 279, -243, 0, -327, -45, 0, -309, -282, 0, -420, -30, 0, 63, -300, 0, -636, -96, 0, -186, 96, 0, -360, 213, 0, -90, -312, 0, -69, -111, 0, -18, 570, 0, -288, 396, 0, -183, 234, 0, -531, -162, 0, 33, 84, 0, -519, -144, 0, -48, -171, 0, -393, 81, 0, -318, 309, 0, -252, -378, 0, 261, -27, 0, 12, 459, 0, -294, 87, 0, -558, 105, 0, 111, 75, 0, -330, -123, 0, -174, -393, 0, -303, -168, 0, 189, 12, 0, -264, 33, 0, 60, -969, 0, -462, -93, 0, 21, 912, 0, -597, 414, 0, -33, 690, 0, -84, -636, 0, -96, -162, 0, -582, -93, 0, -210, -744, 0, -333, 108, 0, 96, 678, 0, -288, 345, 0, -222, -6, 0, -66, 300, 0, 126, -351, 0, -213, 396, 0, -303, -264, 0, -444, -12, 0, -6, -123, 0, 123, -435, 0, -201, 126, 0, -270, 24, 0, -36, -516, 0, -558, 36, 0, -42, 615, 0, -240, 507, 0, 45, 501, 0, -651, -165, 0, -150, -132, 0, -210, -336, 0, 120, -747, 0, -351, 54, 0, -207, 150, 0, -453, -201, 0, 54, -12, 0, -63, 561, 0, -249, 135, 0, -624, -69, 0, 180, -342, 0, -444, -75, 0, 6, -390, 0, -636, -153, 0, 135, 84, 0, -381, 507, 0, -78, -381, 0, -264, -516, 0, -51, 216, 0, -258, 99, 0, -231, 267, 0, -192, -261, 0, -15, 204, 0, -426, -183, 0, -399, -735, 0, -627, 135, 0, 474, 651, 0, -414, -3, 0, -354, 78, 0, -75, 237, 0, -108, -45, 0, -174, 609, 0, -153, -216, 0, -405, -81, 0, 6, 99, 0, -585, 21, 0, -45, 54, 0, -240, 144, 0, -249, -567, 0, -582, -30, 0, -36, 993, 0, -276, 93, 0, 180, 432, 0, -588, -180, 0, -291, 237, 0, -588, 123, 0, 111, -207, 0, 24, 84, 0, -456, 315, 0, -468, -237, 0, 141, 225, 0, 78, 462, 0, -165, 12, 0, -375, -9, 0, 87, -39, 0, -531, -96, 0, -231, -150, 0, -195, 63, 0, 48, 48, 0, -669, 84, 0, -348, -498, 0, -204, -336, 0, 60, 414, 0, -204, 585, 0, -378, 729, 0, -474, -315, 0, 87, 309, 0, -288, -351, 0, -123, 177, 0, -768, 168, 0, -48, 96, 0, -138, 108, 0, -84, -318, 0, -69, 327, 0, 144, -135, 0, -381, 279, 0, -138, -99, 0, -294, -198, 0, -6, 75, 0, -528, -126, 0, -174, 126, 0, -162, -9, 0, 453, -1098, 0, -483, -342, 0, 78, 87, 0, -597, 297, 0, 9, 705, 0, -312, -213, 0, -51, -57, 0, -162, -69, 0, -75, -576, 0, 75, 0, 0, -348, 381, 0, -6, -246, 0, -102, 180, 0, 33, 153, 0, 189, 105, 0, -405, 9, 0, 228, -609, 0, -420, -111, 0, -180, -78, 0, -48, -213, 0, 126, 72, 0, -93, 162, 0, -390, -582, 0, -192, -216, 0, 45, 486, 0, -354, 558, 0, -450, 750, 0, -300, -366, 0, 108, 246, 0, -192, -288, 0, -123, 234, 0, -306, 93, 0, 183, 330, 0, -318, 60, 0, -93, -78, 0, 6, 423, 0, -6, 6, 0, -204, 6, 0, -102, -240, 0, -42, -48, 0, 210, -258, 0, -411, -39, 0, -348, 180, 0, -639, 207, 0, 276, -327, 0, 264, -189, 0, 0, 822, 0, -528, 93, 0, 336, 312, 0, 336, -159, 0, 30, 276, 0, -96, -135, 0, -114, -762, 0, -75, 90, 0, 57, 702, 0, -417, -81, 0, 294, 630, 0, -111, 114, 0, 177, -129, 0, -219, -9, 0, 123, -732, 0, 63, -129, 0, -54, -87, 0, -18, 90, 0, 444, 78, 0, -18, 114, 0, -384, -1107, 0, -96, 408, 0, -18, 447, 0, 468, 42, 0, 138, 1086, 0, -66, -639, 0, 78, 138, 0, -180, -219, 0, 105, -378, 0, 87, 120, 0, 60, 165, 0, 450, -18, 0, -435, 123, 0, -36, 255, 0, 351, -213, 0, -255, 267, 0, -291, -693, 0, -138, -564, 0, 450, -300, 0, -81, -81, 0, -42, 120, 0, -21, 99, 0, 126, -705, 0, -297, -300, 0, 30, 150, 0, 12, 459, 0, -27, 204, 0, -69, -324, 0, -6, -96, 0, 18, -84, 0, 147, 72, 0, 165, 90, 0, -72, 204, 0, -48, -204, 0, 297, -63, 0, 114, 375, 0, -141, -6, 0, -87, 111, 0, 426, -696, 0, 270, -180, 0, -342, 135, 0, -36, -108, 0, -30, 84, 0, 564, 231, 0, -30, -588, 0, -372, 195, 0, -30, 801, 0, -573, 189, 0, 204, 1272, 0, 132, -384, 0, 240, 255, 0, -18, -264, 0, 87, -282, 0, 306, 81, 0, 303, 579, 0, -330, 108, 0, -423, -72, 0, 36, 462, 0, 231, -99, 0, 99, 690, 0, 6, -651, 0, -558, -204, 0, 207, -108, 0, -84, -327, 0, 48, 18, 0, -78, -66, 0, 234, -837, 0, 207, -246, 0, 57, 612, 0, -219, 612, 0, 246, 1533, 0, -354, -108, 0, -132, -168, 0, 135, -198, 0, 321, -189, 0, -150, 63, 0, -234, 309, 0, 252, -261, 0, 174, 438, 0, -36, 399, 0, -186, -90, 0, 210, -9, 0, -102, -267, 0, 558, -300, 0, -195, -504, 0, -216, 63, 0, 291, 69, 0, -36, 219, 0, 57, -732, 0, -333, 84, 0, -18, 411, 0, -228, 159, 0, -306, 1404, 0, -90, -354, 0, 450, 222, 0, 117, -408, 0, -90, -921, 0, -243, 171, 0, 108, -111, 0, 198, -207, 0, -264, 24, 0, -21, 258, 0, 330, -243, 0, -33, 213, 0, -90, -1164, 0, -162, -465, 0, 108, -48, 0, 102, 135, 0, -48, 66, 0, 465, -471, 0, 150, -480, 0, -102, -198, 0, -60, -75, 0, -120, 162, 0, 276, 954, 0, 192, -378, 0, 6, 0, 0, -180, -78, 0, 309, -294, 0, -66, 33, 0, 117, 588, 0, -90, -60, 0, 84, 297, 0, -21, 435, 0, -24, -15, 0, 174, 291, 0, 240, 39, 0, 114, -102, 0, 87, -459, 0, -132, 117, 0, 327, 15, 0, -624, 12, 0, -108, -624, 0, 249, -417, 0, -24, 1005, 0, 84, 456, 0, -363, 342, 0, -6, -837, 0, 201, 441, 0, 234, -426, 0, -351, 462, 0, -36, 141, 0, 261, 228, 0, 432, -51, 0, 348, 57, 0, 0, 387, 0, 120, -153, 0, 3, 78, 0, 210, -819, 0, 9, -126, 0, 195, -99, 0, 129, 153, 0, -336, 174, 0, 420, -354, 0, 246, -1278, 0, 468, -216, 0, 84, 21, 0, -429, 87, 0, 576, 1707, 0, -444, -207, 0, -114, -30, 0, 186, -177, 0, 165, -651, 0, 297, 66, 0, 90, 99, 0, 267, -483, 0, 345, 663, 0, -93, 273, 0, -288, -138, 0, 462, 198, 0, 66, -309, 0, 354, -261, 0, 168, -348, 0, 423, -192, 0, 558, 51, 0, -246, 81, 0, -303, -933, 0, -390, -168, 0, 144, -153, 0, 1068, -162, 0, -369, 588, 0, -99, -507, 0, 264, 234, 0, 528, -315, 0, -108, -105, 0, -48, 3, 0, 228, -312, 0, -240, 24, 0, -81, -123, 0, 144, 297, 0, 282, -546, 0, 243, 474, 0, 51, -483, 0, 810, -600, 0, 123, -270, 0, 615, 270, 0, -207, 138, 0, -273, -66, 0, 498, -678, 0, 78, -174, 0, -54, -63, 0, -258, 348, 0, 54, 1407, 0, 618, -288, 0, 102, 213, 0, 324, -216, 0, 426, -297, 0, 231, 108, 0, -90, 312, 0, 144, -237, 0, 48, 660, 0, 54, 300, 0, -48, 69, 0, 630, 66, 0, 546, -669, 0, -546, -105, 0, -180, 15, 0, -180, 12, 0, 348, 42, 0, 438, 474, 0, -174, -474, 0, 612, 180, 0, -21, 114, 0, 285, 108, 0, 45, 873, 0, 243, -507, 0, 84, 117, 0, -315, -174, 0, 153, -639, 0, 108, 108, 0, 483, -27, 0, 183, -126, 0, -63, 501, 0, -156, 999, 0, 372, -600, 0, 876, 453, 0, -126, -267, 0, -183, -411, 0, 630, -306, 0, 816, 0, 0, -306, 42, 0, 285, 93, 0, 192, -1188, 0, 111, -465, 0, -18, 1632, 0, -24, 156, 0, 618, 483, 0, -243, -291, 0, 294, -279, 0, 516, -177, 0, 69, 96, 0, 492, 108, 0, -105, 216, 0, 243, -372, 0, 333, 564, 0, -78, 552, 0, 30, -243, 0, -225, 63, 0]