# Trace form for 1247.2.a.b, downloaded from the LMFDB on 02 June 2024.
[0, 19, -2, -6, 12, 2, -8, -10, -6, 11, -24, -10, -7, -22, 2, -19, -2, -26, -10, -3, 7, -10, -6, 2, -12, -13, -4, -21, -38, -19, 8, -18, -29, -27, 4, -14, 8, -22, -2, -12, -17, -24, 8, -19, -21, -13, 1, -9, 16, -19, 14, 18, -16, -2, 6, -14, -1, -28, 2, 16, 18, -40, -16, 27, -24, -39, 16, -10, -17, -37, 5, 26, 8, -99, -15, 7, -16, -21, -18, -1, 31, 23, -15, -24, -26, -32, 2, 6, -1, -11, -47, 0, 12, -38, 20, -3, -2, -96, 30, -17, 6, -16, -9, -34, 29, 9, 38, 9, -54, 8, 30, 6, -33, -37, 62, -21, -12, -41, -29, -9, -39, -13, 22, 71, 2, 21, 46, -56, -18, 6, 44, 1, -25, -61, 55, 50, 1, -2, 137, -34, -18, 43, -94, 25, -37, -2, 76, -9, -47, 42, 46, -51, 18, -109, 67, 29, 52, -60, 57, 21, -78, 11, -40, -9, -30, 50, 29, 30, 35, -27, 41, 1, -12, -52, 8, 8, 9, -32, -87, 47, 20, -26, 29, 10, 8, -2, 118, 2, 17, -23, 28, 50, 150, -102, -21, 111, 26, 47, 85, -28, 19, 0, -57, 10, 83, -41, -94, 1, 40, 22, 68, -9, 117, -39, 3, -2, 85, -66, -41, 28, 40, 77, 146, 77, 121, -50, 25, 62, -43, -33, 9, 43, 6, 12, 131, 40, 89, -1, -7, 8, 130, -52, 58, -29, 17, 49, -61, 43, 9, -22, -12, 33, 103, -12, 95, 152, 22, -48, 8, -23, -77, -11, -20, 25, -22, -108, 101, 1, 6, -52, 172, -28, 123, -34, 168, 19, -81, -48, 110, 64, 120, 74, 38, -60, 174, -77, -50, 26, 62, -43, 24, 123, -115, -98, 42, 70, 7, -102, 118, 60, 63, 10, 33, 72, 24, -17, 124, -87, 87, 92, 76, -14, 85, -47, 59, 4, -116, 31, 30, 10, 110, -3, -153, 6, 248, -89, 44, 35, 43, -51, 129, -11, -41, 91, -80, 25, -47, -42, 31, 48, -42, 51, 77, -17, 6, -103, 25, -54, 7, 21, -29, -21, -11, -2, -64, -33, 109, 75, 21, 55, 22, -48, 66, 84, 90, -40, 17, -2, -67, 16, 2, 63, -49, -47, 6, -12, -62, 22, -94, 10, -54, 32, 93, -112, -16, -110, -2, -11, -68, -58, 7, -65, 51, -15, -17, 55, 84, -31, -28, 87, 53, 20, -120, -55, -85, -34, -2, 86, 0, -59, 190, 37, -69, -92, -99, 10, 89, 17, -231, 99, 1, -38, -54, -79, 42, -79, -116, 21, 99, 171, 24, -85, -160, -169, 16, 19, -66, -33, -99, -58, -6, -245, -53, 48, 25, -8, 22, -96, -6, 24, 59, -46, -4, 30, 8, 50, 10, -69, -13, 91, -22, -22, -54, -48, 2, -104, 29, 0, -152, 28, -139, -72, -90, 10, -141, 9, -82, 96, 57, 23, -63, -75, 117, -29, -122, 8, 33, 99, -28, 36, 5, -25, 70, 26, 21, -46, -89, 12, -5, -49, -88, 56, 79, -20, 10, -29, -46, 16, -168, 65, -106, 107, -65, -46, -19, 52, 7, -201, -140, 3, -95, 74, 10, -64, 110, -53, -143, -14, 10, -33, -29, 140, 23, 19, 121, 104, 66, -93, 17, 94, -98, -10, -61, 90, 50, 113, -86, -182, -117, -58, -88, 3, 112, -21, -44, -56, 96, 2, -311, 22, -54, -96, 175, -139, 274, 3, -48, 35, -132, 7, 19, 92, -33, 84, 29, -14, -210, -112, -85, 56, -7, 61, 5, -37, 62, 49, -110, -26, 58, 87, -134, 167, -59, -62, 15, -8, 32, -72, -102, 67, -183, -45, -2, 27, 45, -131, -141, 50, -41, 10, 140, -20, -364, -83, 89, -102, -25, -72, -4, -11, 192, -136, 105, -3, -81, -33, -45, 117, -167, -22, -35, 63, 317, -204, 77, -33, -364, -34, 6, 189, -11, -100, 129, 64, -44, 19, -95, -17, -44, -28, 92, 188, 61, -19, 92, -54, -232, -113, -89, -5, 59, 106, 125, -86, 94, 38, -216, -2, 14, -22, -143, 25, 50, -273, -167, 36, -174, 16, 117, -127, -32, 135, -152, 33, -96, -26, -81, 144, 2, -43, 25, -39, -207, 10, 40, -32, 12, -69, -171, -30, -88, 96, -138, -54, 124, -87, -17, 120, -39, 33, -80, 69, -178, 19, -11, -6, -88, 121, 118, 57, -7, -70, -181, -28, -6, 13, -180, -176, -63, 56, 192, 26, -158, -84, 32, -9, 181, -92, 62, 194, -39, -18, -102, -17, 94, -76, -90, 25, 22, 126, -86, 96, 84, -74, 4, 86, -29, -151, -26, 228, 29, -62, -136, 194, -55, 14, -115, 0, 43, -154, -136, -93, -155, 59, 10, -70, 33, 8, -12, 31, -18, -85, 89, 21, -42, -120, -281, -77, 104, -125, 162, 2, 103, -169, 354, -116, 120, 153, -200, 59, -258, 30, 77, 54, 198, 81, -29, -6, -239, 42, -141, 22, 38, -46, 128, -17, 8, 3, -370, 34, -62, -101, 147, 40, 64, 102, 68, -1, -9, -31, 42, 83, -90, 135, -55, 164, 40, 59, -241, -55, 140, 19, 116, -161, -166, 121, 157, 24, -333, 38, 57, 39, 34, -71, -20, 86, -318, -29, -76, 108, -7, -20, 8, 7, 111, -17, -209, -49, 99, 98, -8, 26, -52, -62, -129, 256, -84, -100, 300, 254, -3, 9, -32, 9, 215, 162, -54, -77, 28, 103, -250, 64, 326, 137, -200, -31, 96, 62, 83, 18, -42, -210, 12, 10, 5, -46, -59, -72, 35, 16, 150, 7, 98, -194, -112, 81, -242, 45, -165, 122, 146, 38, -56, 142, 2, 69, -73, 78, 29, -29, -56, -38, 30, 232, -239, 128, -23, -298, -246, 291, -22, -13, 75, -20, 117, 54, 6, -24, -202, 200, 7, 301, -8, -214, -111, -100, -155, 27, -77, -9, -43, 47, 69, 51, -61, 109, 90, -87, 233, 166, 323, 62, -262, -34, 180, 190, 23, 37, -12, 99, -35, -166, 18, 181, 103, -238, -4, 64, 111, -2, -217, 191, 47, -33, 246, 188, 13, 66, 45, -8, 137, 65, -205, 3, -37, 174, -191, -29, 116, 137, 182, 41, 104, -161, 181, 14, -173, 9, -45, 277, -20, 65, -19, -38, 183, -4, 154, -193, -63, 331, -144, 192, 12, -194, -128, 164, 154, 295, 111, -12, -79, -76, -233, -92, -8, 48, 83, 42, -195, 57, 25, 120, 51, -10, 155, 172, -61, -3, -67, 21, -54, 53, 91, -5, -73, 137, -132, 184, -11, 52, -263, 28, 149, 22, -14, 13, -372, -40, -28, 64, 369, -101, 302, 58, 301, -191, -243, 53, -147, 76, -56, 51, 53, 151, 182, 403, 96, -144, 90, 107, -62, 0, 2, 181, -132, 133, -289, 379, -189, -14, 84, 37, -22, -35, -84, 43, 122, 0, 4, -51, 161, -126, -68, 167, 161, 20, 352, 44, -333, -54, 145, 12, 4, -120, -61, -95, 266, -164, 38, 39, -29, 71, 68, -163, 28, 3, -410, 56, 131, 110, 144, 99, 23, -137, 228, 139, -66, -48, 58, -21, 17, 21, 6, -140, 85, 123, -87, 218, -30, 1, 186, 134, -78, 160, 104, 156, -155, -160, -92, 246, 199, 212, 113, 141, 299, -36, -67, -52, -192, 24, 103, -38, -151, 182, 94, -111, -225, 144, -96, -5, 71, 87, 68, 330, 38, -53, -242, -15, -77, 271, 208, 58, 264, -135, -216, -42, -60, 61, -8, 114, -20, -214, 29, 283, 82, 75, -1, 356, -114, 181, -131, 43, 51, -72, 122, 17, 317, 4, -186, 11, 125, 340, 416, -36, 120, 25, 189, 19, -110, 84, -264, -302, 200, 105, -12, 229, 270, -374, 182, -38, -92, 156, -122, 101, -77, 58, 352, 182, -116, 347, 375, 27, 123, -429, -187, -25, 21, 158, -324, 189, 134, 146, -76, 87, 71, -26, -403, 119, -101, 110, -8, -98, 111, -289, 68, 134, -255, -228, 243, 75, 115, -157, 6, -104, 7, 13, 154, -71, 116, 81, 140, 151, 228, 134, 372, -134, -127, -188, -61, 112, -81, -37, 12, 270, 30, -45, 274, 91, -39, -247, 206, 9, 175, 18, -1, 103, 57, -156, -185, 170, -129, 114, 152, -93, -27, -11, 96, -18, 20, 65, 9, -16, 81, 66, -261, 7, -17, 59, 67, -405, -90, -81, 63, 9, -167, 56, -133, -167, -90, -121, -166, 69, 74, -119, 398, 46, 29, -167, -55, 108, -279, 59, -340, 57, 209, -75, -116, -127, -273, 89, 142, -236, -16, -248, -187, 245, 36, 210, -188, 75, 129, 51, -56, 76, 172, -17, 34, -156, 71, 146, -431, 124, -153, 192, 321, 122, -195, -232, 119, 27, 125, 19, -59, -353, 398, 147, -37, -5, 6, 11, 28, -261, 13, -210, -128, 172, -112, 55, 83, 145, 282, 106, 317, 78, -14, -98, -67, -125, -427, 57, -14, 273, 38, -159, -77, 69, -77, -128, -278, 167, -202, 205, -4, -186, 29, -149, 30, -34, -265, -214, -82, -15, -293, 24, 275, -169, -60, 61, 117, -18, 148, -111, -209, -317, 166, 77, 67, 25, 15, -324, 98, -240, 143, -18, -244, -6, -193, -128, 114, -94, 152, -11, 0, -157, -134, 14, -309, -84, 16, -76, -7, -28, -126, 126, 38, 147, 307, 26, -249, 174, -154, 59, 171, 99, 50, -20, -84, -85, 248, 62, 389, -1, 23, 3, -24, -23, -373, 2, -349, -276, -138, 126, 133, -63, -50, -39, -4, -46, -8, -159, 74, -16, -252, -12, 6, 13, -191, -9, 125, -83, 56, -361, -80, -24, 92, -2, -6, 53, -124, -103, 62, 10, -111, 100, -26, -20, -161, 165, 263, -95, -213, 43, -265, -56, 132, -171, -234, -228, 410, 163, 149, 22, -157, -197, 178, 14, -25, 24, -214, -164, 383, -299, -248, 79, 193, -69, 189, -206, -9, -52, -235, 233, -246, -116, 479, -12, 263, 45, -158, -26, -148, 107, -380, -91, 1, -111, -256, -120, -43, -58, -352, -123, -52, 9, 2, -222, -42, -46, -23, 5, 309, -177, 281, 120, -252, 66, -241, 39, 24, -42, -251, 152, -8, 28, -37, -63, -355, 23, 72, -7, -208, -130, 253, -27, -87, -53, -9, 117, -467, -135, 391, 126, 220, -49, 693, 128, 240, 12, -59, -314, -248, -213, -2, 216, 303, 38, -236, -8, -146, 126, 72, 152, -545, -47, -52, -232, 155, 147, 360, 108, 180, -70, -27, -87, 274, 36, -261, -25, -263, -99, -79, -16, 116, -20, -317, -221, -149, -15, -212, 204, 17, 60, -1, -156, 212, 312, -81, 74, 150, -79, -230, -229, -26, 0, 383, -31, -315, -251, 89, 111, -18, 87, 191, 79, -16, 199, -534, 78, 59, 24, 101, -60, 94, -229, -71, -103, -42, 86, -293, -84, 180, 111, 150, 24, -324, -16, 67, -216, -74, 40, -8, 48, -67, -181, -38, -143, -365, -163, -6, -278, 269, -12, 329, 179, -26, -18, 312, 109, 64, -58, -354, -76, 99, -69, -388, 118, -439, -60, 16, 279, -92, -174, 82, 115, -58, 91, -8, 129, -189, 69, -123, -4, 57, -171, 179, -43, 93, -259, -244, -175, 320, -96, 144, -72, -85, -175, -184, -27, 82, 139, 20, -156, -80, -483, 73, -145, 366, -225, 171, -194, -108, -189, -130, -44, 112, -74, 466, -208, 48, 19, 98, -433, -21, -177, 213, 73, 24, 135, 39, -301, -500, 290, -401, 245, 83, 128, -595, 1, 19, 54, 50, -143, 214, -296, -64, -45, -250, -85, -77, 232, -81, 62, -151, 95, -372, 39, 66, -208, -232, 355, -130, 56, 21, 60, 316, -63, 163, -272, -100, 121, 23, 162, -418, 65, -28, 198, 243, 115, 557, -288, -11, 228, 193, 163, -16, 136, -222, -327, -180, 30, -398, -67, 74, -200, 18, 71, -673, 18, -132, 246, 331, 123, 305, -116, -269, 13, -97, 132, -154, -288, -54, 236, 109, 10, -9, -188, -127, -338, -129, 151, -203, -2, 84, -153, 310, 90, 266, 123, -66, -201, 171, -61, -108, 63, 26, 279, -420, -82, -420, 87, -296, 41, 17, 98, -88, 178, -83, 243, -1, -221, -203, 113, -30, -31, -58, -293, -134, -66, -416, 194, 98, -27, 193, -249, 17, 181, -65, -66, 85, -66, 102, 37, 97, -54, 44, -135, -26, -42, 181, -164, 58, 188, 71, -234, 172, 147, -293, -340, 208, 3, 509, 9, 47, 116, 12, -233, -84, -84, 21, 429, -5, -113, 55, -295, -184, 205, -172, 176, 34, 70, -53, 225, -58, -195, 523, 190, 355, -190, 77, 69, 177, 54, -56, 150, 95, -229, 29, -16, -20, -26, -353, -128, 158, 12, -16, -426, -395, 110, -71, -80, -254, -195, 123, 91, -216, -125, 96, -296, -93, -142, 356, -87, 194, 145, 25, 251, 169, -250, -8, -313, -60, -445, -105, 182, -178, 210, 143, -19, -117, -214, -19, 121, 75, 170, 344, 27, 244, 19, -395, 121, 179, -218, 208, -228, 106, -170, 33, 99, -29, -185, -88, -28, 154, 59, 248, 69, -252, 236, 236, -179, 207, 33, 80, 15, 182, -56, -103, 89, 116, 70, 152, -135, -78, -82, -111, -227, 15, -199, -31, 288, -14, 79, 78, 25, -240, 159, -41, 68, 288, -12, -365, -95, 415, -90, -137, -195, -32, 98, -58, 103, 67, -148, 355, 127, 75, -7, -142, -288, -94, 32, 307, 43, -75, -31, -82, -212, -97, -114, 78, 111, 9, 73, -1, -18, 154, -407, -99, -11, 117, -130, 15, -119, 353, -93, 16, 138, -200, 204, -401, 250, -346, -109, 165, 213, -396, 359, 448, -160, 181, -61, -289, 64, 28, -7, -169, 32, -100, 35, 532, 256, -199, -111, -284, 21, 92, 190, 16, 313, -480, -198, -313, 190, 30, -34, 388, 43, 149, -277, -8, 164, 413, 191, -261, -77, 398, -147, 10, -33, -142, 143, 118, 8, 18, -35, -22, 237, 156, -50, -33, 61, 60, -20, 37, 135, 4, -222, 104, 34, 348, 2, 6, -222, -140, -207, 145, 190, 460, -41, -69, -90, 72, 1, -83, 198, -300, -130, 34, 2, 365, 225, -149, -79, 302, 89, 330, 68, 123, -396, 14, -160, -96, 145, 58, 21, 458, 178, -58, -129, -578, -16, -31, 306, -6, -218, 123, 235, -48, -41, 297, -289, -69, 2, -143, -139, 254, -86, 205, -170, 168, -14, 8, 10, 155, 122, 287, 63, -715, 125, 13, -23, -10, -302, 190, -142, 8, 41, 48, -282, 317, 17, -181, 39, 214, 178, 3, 14, -368, -126, -7, -76, 468, 77, 343, -36, 337, -129, -115, -117, 15, 118, 223, -224, -113, 97, -103, 164, -53, -77, 233, 91, 294, -113, 8, 20, -250, 125, -202, -141, -82, -218, -3, 75, -21, -504, -313, 26, -473, 24, 1, -129, 166, 161, -17, -19, 347, 10, 331, -277, -159, -272, -142, -136, 64, 166, 201, -225, -135, 188, 413, 143, 176, -85, 322, 231, 37, -457, 26, 238, -428, -65, 366, 11, -96, 122, 184, 76, 36, -287, 355, -217, -109, 28, 141, 113, 125, -288, -129, 164, 245, 167, -98, -73, -43, -24, -7, 32, -39, -86, -308, 22, 67, 229, -206, -103, 234, 216, 54, -175, 36, 54, -277, 233, -359, 23, -112, 251, -18, 138, 203, -221, 67, -150, -255, -10, -2, 2, -114, -321, 8, 6, -398, 43, 574, 184, -423, -166, 221, -246, 210, 57, 608, -75, -38, 97, -88, 28, -184, 26, -68, -330, -339, 1, 13, -6, 148, -323, -323, -69, -285, -327, 270, 1, -41, 23, 463, -339, 512, -16, -301, -124, 332, 16, 476, -11, 161, 37, 208, -204, 12, 323, -201, 163, 1, -67, 296, -14, 155, 164, 360, -253, 70, -99, 120, -275, 229, 84, 9, 471, -29, 82, -147, 15, 269, 96, -19, 196, 152, -143, 244, 32, -18, 11, -295, -176, -53, 529, 124, 41, -68, -47, -64, 0, 537, -338, 485, -75, 268, -99, 729, 318, -40, 445, 370, 102, 64, 130, -282, -126, 198, -93, 47, 24, -162, -14, -169, 93, -147, -168, 70, 325, 761, -57, -171, 40, -8, -245, 186, -254, 63, 151, 122, -208, 236, -52, 197, -66, -385, 257, 109, 0, -119, 41, 36, 52, 221, 186, -41, 175, 206, -105, 359, -15, -126, 295, -253, -246, 220, 87, 150, -113, 289, -146, -244, -9, -199, 160, 16, -77, -12, -4, 154, 196, -318, 47, 292, 294, -238, -132, 255, -117, -122, -215, 343, 337, 462, 39, 281, -215, 109, 149, 87, 11, 118, 19, 177, 269, -175, 38, 45, -304, -318, 101, 9, 253, 50, -90, 334, -185, 28, -27, 63, 171, 72, -79, 232, 176, 350, 64, 591, -269, -13, 41, -32, -27, -91, 364, -20, -33, 230, 86, -231, 308, 169, 441, 73, -173, 101, -111, 365, -12, -276, 398, -329, -29, -423, 0, 9, -257, 233, 97, 156, -21, 24, -144, 464, 3, 11, -25, -207, -8, 362, -273, -322, 186, 263, 274, 420, 57, 289, 23, -12, 124, 48, 80, 250, 12, 497, 139, -473, -135, -221, 362, 420, -344, 2, -124, -298, -62, 215, 197, -119, -124, 408, -32, 39, 39, 252, 2, -181, -248, -140, 145, 423, -30, -83, -24, 111, 96, -464, -23, -286, 102, -27, 96, 267, -40, -401, -166, 227, 284, 272, 270, 95, -31, 52, 274, -176, 344, -14, 160, 303, 166, 270, -459, 111, -9, -31, 304, -16, 9, -730, -207, -30, 173, 336, -143, 310, 57, -83, -37, -152, -41, 447, 76, 357, -26, -3, -195, 264, -335, 102, -56, 132, -89, 13, 91, 440, -366, -267, 121, -294, 17, -445, -49, 151, -117, -60, -82, 46, -366, -175, 10, 291, -875, 220, -39, -326, 148, 199, -185, 104, 129, 32, 363, 2, 261, 336, -149, 19, -156, -6, 360, 1, -425, 333, 163, -429, -18, 125, 318, 25, 19, -153, -286, 181, 18, 218, 116, -264, 15, 76, -55, 264, 218, 17, 100, 131, -332, 84, 16, 194, -102, 237, 202, -510, 77, 288, -130, -301, -259, 56, -64, 250, 190, 260, 343, 101, -17, -11, 172, 35, -293, 79, -21, -20, -88, 135, 235, 9, 29, -161, -7, 115, 102, 275, -47, 320, 37, -236, -34, -77, 1, 398, 40, -182, -149, -200, -111, -153, -455, -116, 441, 158, 249, 38, 97, 423, 34, -36, 297, 15, 40, -178, -39, -94, 81, -259, 176, -79, 131, -125]