# Trace form for 6003.2.a.w, downloaded from the LMFDB on 20 April 2024.
[0, 30, 1, 0, 37, 0, 0, 10, 6, 0, 8, 0, 0, 36, 7, 0, 47, 18, 0, 16, 0, 0, 25, -30, 0, 56, 11, 0, 27, 30, 0, 14, -7, 0, 3, -22, 0, 40, 6, 0, 30, 14, 0, 34, 5, 0, -1, -2, 0, 74, -21, 0, 71, 16, 0, 22, 14, 0, 1, -32, 0, 46, 20, 0, 68, 12, 0, 14, 27, 0, 0, -32, 0, 50, -26, 0, 56, 34, 0, 16, 2, 0, 38, -14, 0, 38, 10, 0, 40, -2, 0, 32, -37, 0, 29, -28, 0, 56, 8, 0, 105, 2, 0, 62, 12, 0, 22, 4, 0, 38, -108, 0, 73, 28, 0, 0, 37, 0, 34, -30, 0, 64, 14, 0, 28, 36, 0, 24, 29, 0, 74, -46, 0, 92, 111, 0, 50, 22, 0, 54, -98, 0, 42, 12, 0, 0, 2, 0, 92, -24, 0, 26, 18, 0, 13, 28, 0, 170, -8, 0, 120, -10, 0, 26, 42, 0, 30, -20, 0, 98, -38, 0, 36, -12, 0, 40, -41, 0, 87, -70, 0, 122, 47, 0, -6, 56, 0, 72, -71, 0, -14, 54, 0, 44, 4, 0, 92, -58, 0, 22, 44, 0, 45, 10, 0, 82, 84, 0, 81, -34, 0, 22, 2, 0, 4, -10, 0, 80, -31, 0, 32, 108, 0, 66, 55, 0, -97, -40, 0, 86, -8, 0, 6, -16, 0, 6, 6, 0, 19, 32, 0, 40, 16, 0, 26, -52, 0, 46, -134, 0, 50, 60, 0, 0, 50, 0, -3, -26, 0, 36, 132, 0, -33, 36, 0, 40, -62, 0, 67, -66, 0, 2, 175, 0, -26, 100, 0, 132, -31, 0, -76, 8, 0, 74, -222, 0, 103, -78, 0, 36, 8, 0, 46, 16, 0, 16, -138, 0, 12, -36, 0, 28, 78, 0, 110, 36, 0, 24, 203, 0, -104, -44, 0, 166, -52, 0, -110, -14, 0, 0, 20, 0, -7, -38, 0, 132, -60, 0, 38, 140, 0, 20, -76, 0, -22, 70, 0, 40, 140, 0, 96, 80, 0, -22, -20, 0, -86, -4, 0, 70, -85, 0, -29, -122, 0, 34, -63, 0, 54, -26, 0, 68, 97, 0, 5, -128, 0, 120, -47, 0, -50, -30, 0, 72, -77, 0, 38, 36, 0, 12, -48, 0, -110, 36, 0, 52, -84, 0, -36, 84, 0, -18, 94, 0, 84, -10, 0, 180, 43, 0, -31, -96, 0, 14, -31, 0, 7, 20, 0, 8, 318, 0, 92, 82, 0, -46, -81, 0, -78, 4, 0, 112, -22, 0, -80, 66, 0, 34, 16, 0, 22, 22, 0, 118, -220, 0, -121, -16, 0, 30, -310, 0, -9, -144, 0, 54, 111, 0, 124, 26, 0, -54, 63, 0, 4, -108, 0, 32, -22, 0, 0, -88, 0, 66, 47, 0, -120, 56, 0, 110, -124, 0, 18, -44, 0, 74, 207, 0, -48, 200, 0, 20, 101, 0, 152, 38, 0, 46, -22, 0, -184, -16, 0, 18, -38, 0, -104, -22, 0, 32, 172, 0, 119, -12, 0, -42, -25, 0, 38, -170, 0, 136, 242, 0, -52, 86, 0, 210, -48, 0, -30, 44, 0, 46, -231, 0, -100, -106, 0, 30, -118, 0, -74, 2, 0, 42, 238, 0, -9, -2, 0, 46, 26, 0, 23, -134, 0, 60, 154, 0, -123, 16, 0, 10, -83, 0, 109, 16, 0, 50, -150, 0, 2, 86, 0, 136, 108, 0, 80, 106, 0, 20, -143, 0, -82, -56, 0, 58, 16, 0, 0, 20, 0, 50, 110, 0, -145, 2, 0, 86, -204, 0, 160, -46, 0, 28, 92, 0, -11, 132, 0, 72, -70, 0, -68, 40, 0, 74, -28, 0, 88, -50, 0, 148, -52, 0, -242, 56, 0, 76, 340, 0, -83, 98, 0, 110, 11, 0, 282, -88, 0, 20, -196, 0, -43, -26, 0, 250, 25, 0, -96, -116, 0, 54, -27, 0, -84, -162, 0, 78, 307, 0, -88, 142, 0, 66, 94, 0, -7, 64, 0, 72, -228, 0, 152, -18, 0, -30, -104, 0, -68, 102, 0, 164, 106, 0, -104, -108, 0, -50, -42, 0, -50, -14, 0, 172, 543, 0, -20, 76, 0, 160, -98, 0, -144, 76, 0, 30, -270, 0, -25, -186, 0, 36, -198, 0, -214, 104, 0, 100, -238, 0, 46, -14, 0, -104, -130, 0, 78, 48, 0, -60, 57, 0, -29, 56, 0, 62, 24, 0, -408, -202, 0, 86, 94, 0, 7, 48, 0, -36, -50, 0, -146, 204, 0, 154, -132, 0, -39, 8, 0, -156, -101, 0, 11, 264, 0, 220, 200, 0, -288, 14, 0, 126, -28, 0, -66, -214, 0, 86, -258, 0, 108, 78, 0, 10, 220, 0, -149, -8, 0, 94, -3, 0, -48, -266, 0, -30, -228, 0, -58, -178, 0, 114, 30, 0, -281, 126, 0, 46, -191, 0, -206, -74, 0, 22, -202, 0, 116, -188, 0, -64, 27, 0, -254, -58, 0, 210, -14, 0, 128, -124, 0, -40, 580, 0, 30, 154, 0, 122, 134, 0, 24, 148, 0, -30, -228, 0, -256, -22, 0, 30, -6, 0, -174, -42, 0, 82, -226, 0, -377, -40, 0, 118, -342, 0, -306, 4, 0, -206, 612, 0, -26, 154, 0, -40, -80, 0, -140, 52, 0, 16, -70, 0, -6, -414, 0, 10, -271, 0, -36, 184, 0, 70, -47, 0, -409, 78, 0, -54, 192, 0, 41, 52, 0, -76, 127, 0, -61, 14, 0, 74, 96, 0, -376, -88, 0, -18, -364, 0, -396, 2, 0, 110, 137, 0, 80, -32, 0, -98, -30, 0, -38, -234, 0, -32, 321, 0, -7, -14, 0, -114, -14, 0, -36, 154, 0, 46, -549, 0, -626, -102, 0, -14, -96, 0, -298, 242, 0, -80, 208, 0, -48, -62, 0, -46, 36, 0, -112, -66, 0, 70, -32, 0, -65, 88, 0, -152, 164, 0, -170, 194, 0, 142, -182, 0, -308, -202, 0, -60, -106, 0, -196, 102, 0, 6, 3, 0, 224, -34, 0, 18, -134, 0, -350, -82, 0, 206, 361, 0, -116, 80, 0, -216, 191, 0, -225, 92, 0, -26, -6, 0, -5, 66, 0, -22, 22, 0, -158, 236, 0, 70, 58, 0, -189, 108, 0, 86, 96, 0, -288, 220, 0, 150, 583, 0, -292, 56, 0, -148, -22, 0, -180, 88, 0, -46, -369, 0, -316, -130, 0, -56, 150, 0, -364, -114, 0, 138, 1, 0, -56, -326, 0, 110, 212, 0, -452, -24, 0, 118, -14, 0, 55, 40, 0, 46, -231, 0, 126, 58, 0, 2, -250, 0, -134, 98, 0, -14, 314, 0, -252, 208, 0, -72, 7, 0, -144, -92, 0, -110, 601, 0, 6, 122, 0, 68, 128, 0, -181, 206, 0, -190, -482, 0, -6, -266, 0, 102, -96, 0, -416, 154, 0, 64, -136, 0, -167, -74, 0, -46, -202, 0, -76, 100, 0, -192, -412, 0, -305, -136, 0, 96, 344, 0, -118, 10, 0, 2, -222, 0, 21, -186, 0, 136, -158, 0, -356, 208, 0, -86, 30, 0, -188, -22, 0, -58, 256, 0, -20, 0, 0, -30, 357, 0, -376, 56, 0, -26, 32, 0, -410, -84, 0, -158, -350, 0, 24, 140, 0, 14, 344, 0, -254, -96, 0, -84, -71, 0, 19, -240, 0, -76, 42, 0, -68, -80, 0, 56, 542, 0, -274, 48, 0, 108, -292, 0, -92, -142, 0, -16, -142, 0, -163, -334, 0, 238, 47, 0, -162, 82, 0, 0, 155, 0, -360, -14, 0, 184, 200, 0, -210, 110, 0, -110, -51, 0, -541, 34, 0, 68, -151, 0, 265, -194, 0, -384, -114, 0, 182, 220, 0, -42, -373, 0, -358, -22, 0, -12, -429, 0, -380, -14, 0, 52, 372, 0, 5, 64, 0, 116, 302, 0, -147, -84, 0, 82, -291, 0, -14, -68, 0, -196, -364, 0, -186, 558, 0, 52, -170, 0, -173, -134, 0, 8, 242, 0, -353, 88, 0, -274, -220, 0, 152, -30, 0, 94, 397, 0, -455, -4, 0, -36, -489, 0, -170, -80, 0, -146, 56, 0, -450, -96, 0, 92, -1, 0, -442, -428, 0, -172, 438, 0, -30, -230, 0, -134, 281, 0, -138, 90, 0, -188, 26, 0, -289, -88, 0, 32, -136, 0, -296, 154, 0, -2, 512, 0, -2, -146, 0, 122, 138, 0, -171, -132, 0, -98, 178, 0, -208, 122, 0, -14, 507, 0, -94, 76, 0, 140, -496, 0, -500, -94, 0, 122, -40, 0, -350, -222, 0, -214, -604, 0, -168, -46, 0, -18, -274, 0, -481, -132, 0, -212, -330, 0, -401, -118, 0, -2, 120, 0, 28, 74, 0, -60, -91, 0, -20, -102, 0, -40, -512, 0, -56, 362, 0, -516, 16, 0, -144, 230, 0, 26, 234, 0, -595, 188, 0, 50, 648, 0, -21, 230, 0, 182, 260, 0, -87, -94, 0, -156, -936, 0, -160, 28, 0, -198, 232, 0, 116, 178, 0, -180, -68, 0, -133, -550, 0, 286, 308, 0, -350, 128, 0, 142, -168, 0, -325, -30, 0, -26, 176, 0, -118, 132, 0, -12, -288, 0, -600, -214, 0, 92, 16, 0, -157, -142, 0, -122, 71, 0, -174, -18, 0, 46, 576, 0, -306, -18, 0, -396, 678, 0, -42, 346, 0, 86, -149, 0, -76, -32, 0, -4, 4, 0, -110, 100, 0, 16, 4, 0, -352, -14, 0, 78, -252, 0, 20, -36, 0, 108, 4, 0, -186, -14, 0, -118, 579, 0, -70, -70, 0, -92, -476, 0, -27, 272, 0, -10, -424, 0, -390, 54, 0, 194, -366, 0, 82, 214, 0, -252, 142, 0, 275, 94, 0, -16, 106, 0, -44, -74, 0, -130, 108, 0, -86, 22, 0, 22, -553, 0, -148, -28, 0, -50, 24, 0, -342, -46, 0, 28, 0, 0, -44, -32, 0, -320, 71, 0, 127, -186, 0, 154, 375, 0, 14, 274, 0, -70, -86, 0, -212, 20, 0, 32, -204, 0, 28, -160, 0, -92, 586, 0, -218, 240, 0, 10, 136, 0, -94, -56, 0, 34, 628, 0, -72, 278, 0, 274, -270, 0, -236, 58, 0, 4, -205, 0, -404, -210, 0, 64, -224, 0, 36, -252, 0, -82, -178, 0, -1, -50, 0, 104, 1, 0, 68, -16, 0, -72, 330, 0, 394, -212, 0, 402, 710, 0, -492, 178, 0, -184, -29, 0, 26, -102, 0, -8, -270, 0, 290, 452, 0, -32, -108, 0, -92, 100, 0, 210, 200, 0, -156, -14, 0, -138, 24, 0, 346, 86, 0, 116, 536, 0, 196, -220, 0, -14, -1078, 0, -182, 34, 0, 218, 171, 0, 3, -356, 0, 22, -56, 0, -258, -140, 0, 134, -38, 0, -125, -100, 0, -344, -256, 0, -13, -102, 0, 92, -374, 0, -50, 46, 0, -34, -511, 0, -49, -88, 0, 176, 268, 0, 222, -24, 0, 56, 90, 0, -332, 74, 0, 2, 410, 0, -1, 44, 0, -228, 623, 0, 20, 426, 0, -94, -162, 0, -236, -404, 0, -50, -151, 0, 0, -72, 0, 68, -468, 0, -208, -16, 0, 94, -410, 0, -89, -42, 0, 60, 464, 0, -237, 82, 0, -164, -90, 0, -7, -338, 0, 388, 197, 0, -2, 70, 0, 22, -694, 0, -56, 170, 0, 16, -368, 0, 317, 148, 0, -14, 68, 0, -358, 14, 0, -24, 604, 0, -418, -192, 0, -412, 516, 0, 10, -58, 0, 104, -147, 0, -189, -80, 0, 60, -236, 0, 464, 84, 0, 12, -38, 0, 274, -346, 0, 48, 126, 0, -13, -256, 0, 112, 158, 0, 44, 226, 0, -120, 661, 0, 204, 216, 0, 14, -582, 0, -66, 44, 0, -22, 74, 0, 30, -398, 0, 16, -353, 0, 212, -20, 0, 140, 340, 0, 66, -14, 0, 192, 80, 0, -16, 154, 0, -112, -334, 0, 190, 14, 0, 292, 245, 0, -360, 68, 0, -176, -578, 0, 224, -38, 0, 106, -193, 0, 168, 322, 0, 18, 38, 0, -312, -378, 0, -80, 688, 0, 27, 16, 0, -92, 274, 0, -10, -104, 0, 380, -621, 0, -270, 254, 0, 272, -236, 0, -398, 500, 0, 34, 202, 0, 245, 110, 0, 8, 518, 0, 233, 84, 0, 242, -290, 0, 448, -388, 0, -76, 65, 0, 28, 158, 0, 32, 69, 0, 154, -268, 0, -104, -40, 0, -369, -172, 0, 232, 0, 0, 368, -140, 0, 174, -34, 0, 38, -98, 0, 352, 471, 0, 582, 56, 0, 2, 661, 0, 736, -348, 0, 188, 120, 0, -414, 108, 0, -32, 326, 0, 258, 222, 0, -280, 384, 0, 719, 12, 0, -138, 314, 0, -270, 342, 0, 512, -150, 0, 20, -364, 0, 82, -238, 0, -44, 62, 0, 140, -850, 0, 203, -32, 0, -282, -847, 0, 66, -12, 0, 156, 347, 0, 210, -98, 0, -4, 252, 0, -184, -140, 0, 228, 54, 0, 37, 50, 0, -212, -840, 0, 49, 394, 0, 308, -550, 0, -148, 162, 0, 24, 396, 0, -22, 680, 0, -52, 149, 0, 408, 106, 0, 168, 619, 0, -26, -44, 0, 282, -398, 0, 102, 86, 0, -370, -276, 0, 324, -240, 0, 294, -29, 0, -12, 90, 0, 18, 268, 0, 358, -296, 0, 188, 272, 0, 481, 342, 0, -56, -1106, 0, 131, -270, 0, 28, -107, 0, -73, 114, 0, -368, 220, 0, 330, -364, 0, 702, 312, 0, -524, 18, 0, 156, 56, 0, 214, -124, 0, 174, 752, 0, 360, 50, 0, -332, -276, 0, 102, -12, 0, 0, 25, 0, 157, 42, 0, -48, -592, 0, 478, -56, 0, 34, -228, 0, -396, 222, 0, 36, 106, 0, 254, -282, 0, 332, 512, 0, 496, 282, 0, 96, 661, 0, -8, 222, 0, 118, -990, 0, 598, 766, 0, -412, -392, 0, -42, -272, 0, 212, 332, 0, 334, 560, 0, -84, 71, 0, 105, -24, 0, -24, -2, 0, 572, -190, 0, 260, -911, 0, -290, 16, 0, 388, 38, 0, -422, -36, 0, -38, -105, 0, 564, -44, 0, 336, 145, 0, 218, 436, 0, 90, 72, 0, 217, 20, 0, 98, 366, 0, 2, 66, 0, -2, 268, 0, -373, 40, 0, -108, -506, 0, 352, -180, 0, -170, -80, 0, 542, 340, 0, 132, 438, 0, -136, 146, 0, 36, 452, 0, -23, 204, 0, -8, -1176, 0, 36, -502, 0, 170, 172, 0, -119, -36, 0, 590, -568, 0, 96, -62, 0, -236, -522, 0, 473, -4, 0, 164, 38, 0, -224, -426, 0, -106, 456, 0, 56, -370, 0, 202, 440, 0, -12, 256, 0, -50, 19, 0, -31, 426, 0, 286, -490, 0, 228, 516, 0, -14, 168, 0, 176, 258, 0, 446, -250, 0, -286, 58, 0, 36, 74, 0, 40, -16, 0, -12, 363, 0, 484, 76, 0, 10, -118, 0, -126, 136, 0, 34, -22, 0, 338, -318, 0, -166, -267, 0, 212, -100, 0, 366, -10, 0, -5, -50, 0, -50, -262, 0, -194, 158, 0, -4, 203, 0, -195, 38, 0, 314, 88, 0, 176, -304, 0, 234, -324, 0, 150, -68, 0, -208, 828, 0, 526, 684, 0, 40, 199, 0, -238, -220, 0, 172, 55, 0, 10, -182, 0, 26, 304, 0, 783, -286, 0, 70, -870, 0, -218, -38, 0, 314, -468, 0, 760, 316, 0, -216, 470, 0, 169, -364, 0, 198, 532, 0, 103, 356, 0, -8, -396, 0, 108, -242, 0, 420, 69, 0, 292, 278, 0, -214, -522, 0, 162, -218, 0, 174, 258, 0, 428, 160, 0, -288, 40, 0, 464, -170, 0, 558, 136, 0, -52, -344, 0, 94, 117, 0, -36, 406, 0, 210, 326, 0, 221, 96, 0, 402, -73, 0, -370, -382, 0, -2, 472, 0, 166, -104, 0, -190, -168, 0, 462, -78, 0, 116, -364, 0, 102, -500, 0, -28, 980, 0, 454, -174, 0, 44, -222, 0, 328, -170, 0, -82, -51, 0, 313, -212, 0, 194, 255, 0, -464, 40, 0, -226, 190, 0, 121, 146, 0, 444, -382, 0, 298, -502, 0, 158, 57, 0, 485, 32, 0, 60, -819, 0, 219, 0, 0, 84, -828, 0, -258, -32, 0, 320, 339, 0, -136, 90, 0, 34, 160, 0, 779, -82, 0, 224, 616, 0, -37, 314, 0, -10, -614, 0, 520, 546, 0, 524, -588, 0, 422, 12, 0, -126, 280, 0, -506, 756, 0, 78, 662, 0, 415, -102, 0, -396, 914, 0, 300, 22, 0, 330, -1296, 0, -10, -136, 0, 2, 635, 0, 486, 60, 0, 82, -34, 0, 90, -880, 0, -2, 76, 0, 403, 14, 0, -212, 29, 0, -196, -72, 0, -254, 462, 0, 172, -396, 0, 30, 217, 0, -134, -44, 0, 68, 742, 0, -259, 80, 0, -52, -676, 0, 342, 270, 0, -28, 520, 0, -316, 120, 0, -322, 490, 0, 971, -124, 0, -42, -566, 0, 642, 56, 0, 514, 630, 0, -692, -160, 0, -300, -1168, 0, 10, -64, 0, 88, -585, 0, 480, -242, 0, 120, 6, 0, 112, -394, 0, 366, -219, 0, 15, 50, 0, 24, -156, 0, -14, -54, 0, 48, -876, 0, 190, 56, 0, -554, -463, 0, 313, 162, 0, 218, -82, 0, 232, 478, 0, 278, 515, 0, -302, 562, 0, 246, -85, 0, -104, -198, 0, -340, -172, 0, 8, 218, 0, 82, 256, 0, 147, -204, 0, -148, -28, 0, 118, -274, 0, -142, -398, 0, 190, 166, 0, 20, -106, 0, -376, 74, 0, 238, 768, 0, 544, -84, 0, -36, -370, 0, 138, -566, 0, 44, 303, 0, -94, 20, 0, -126, -164, 0, 22, -224, 0, 28, 598, 0, -109, 214, 0, 314, 105, 0, 76, -72, 0, 8, -72, 0, 322, -520, 0, -50, 411, 0, 74, 734, 0, 388, 12, 0, -398, -24, 0, -234, -706, 0, -118, -22, 0, 2, 586, 0, 1158, 128, 0, -156, 328, 0, -173, -284, 0, -218, 234, 0, -29, 128, 0, -70, -49, 0, -18, 440, 0, 236, -766, 0, -768, 482, 0, -408, 90, 0, 554, -174, 0, 302, -383, 0, 80, 44, 0, -236, 453, 0, 241, -358, 0, 102, -840, 0, 240, -72, 0, -32, -38, 0, 240, 62, 0, 448, -74, 0, -333, -476, 0, -200, -170, 0, -178, 112, 0]