# Trace form for 3150.2.ct, downloaded from the LMFDB on 23 April 2024.
[0, 1920, 0, 0, -480, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 26, -480, 12, 8, 0, 0, 12, 0, -8, 0, 0, -96, -48, 0, 0, -2, 0, 0, -60, 0, 14, 0, 0, 0, 4, 0, 32, 28, 0, 0, 4, 0, 0, 0, 0, 4, 24, 0, -40, 0, 12, 0, 96, -12, -48, -14, 0, 36, -110, -480, -20, 32, 0, -48, 42, -24, 36, 8, 0, 0, 284, 0, 80, -16, 24, 0, -44, 0, 84, -18, 0, 0, 52, 0, 18, 88, 0, 12, 64, 0, 68, 0, 0, 48, 32, 0, -224, -28, -36, 24, 44, 0, 12, 12, 0, -28, -108, 0, -84, -64, 0, 0, -232, 24, -28, 28, 240, 64, 0, 0, 72, 120, 48, 0, 14, 24, -8, 40, 54, -20, 230, 0, -90, -72, 36, 14, -154, 48, -40, 0, -36, 64, -50, 0, -32, -24, -24, 0, -4, 36, 0, 14, 0, -24, -12, 0, 62, 0, -54, 32, 176, 0, -30, 28, 240, -34, 72, 0, -200, 160, -12, 0, 60, 0, 0, -96, 0, -144, 92, 0, 24, 32, 0, 0, 48, 0, 128, 0, -48, 80, -42, 0, -8, -120, 0, 24, 56, 0, -244, -36, -60, 60, -208, 0, 80, 36, 0, -40, 248, -36, 64, 0, 12, -160, 36, -48, 40, 194, 54, 0, -216, -24, 12, -4, 0, 20, 0, 48, -44, 60, 18, -48, 54, -36, -40, -14, -12, -156, -240, 0, 114, -12, 36, 36, -80, -60, 424, -110, -48, 0, 226, -480, -64, -4, -108, -60, -136, 0, 180, 32, -60, -48, 8, 0, 98, -6, 0, 12, -330, 0, 166, -28, 0, 44, 102, 6, -92, -140, 144, -24, 176, 0, 262, -12, 300, -24, 40, 0, -232, 42, 18, 0, -412, 36, 392, -26, 120, -40, -30, 0, 72, -40, 240, -80, -132, 6, 0, -16, 0, -256, 242, -36, -448, 36, 0, 0, -76, 0, -328, -24, 30, 28, 296, 0, -104, -2, 0, -56, -200, 36, -166, -18, -102, -32, -30, 0, 176, -184, 48, 0, 494, 0, -416, 52, 0, -90, -4, 0, 220, -156, -72, 68, 312, -36, 44, -2, 240, 0, 252, 0, -108, 172, 60, -8, 62, -48, -122, -156, -36, 896, 38, 0, -184, 128, 0, -92, -126, 48, -104, 0, 0, -216, 142, 0, 196, -66, 144, -72, -260, -96, 258, -48, 192, 0, 516, 0, -224, -232, 36, 56, 136, 0, 112, -28, 0, 168, -204, 24, -18, -34, -6, 24, -360, -96, 12, -26, 0, -112, 254, 0, 284, 24, 216, 72, -64, 144, 120, 72, 144, -40, -338, 0, -64, -56, -216, -28, -52, 0, -504, 72, -24, 128, -542, 0, -280, -116, -240, -84, -344, -12, 364, 36, -768, -78, -148, 0, 102, -14, 0, 0, 188, 0, -152, 108, -144, -26, 192, 24, 288, -56, -30, -28, 30, 24, -120, -2, 0, 192, -96, 240, -102, -40, 162, -96, -48, 0, 120, 80, 0, -6, 220, 0, -620, -56, 0, -168, 144, 168, -72, -50, -24, 0, -516, 48, -8, -98, -168, 0, 594, 0, 362, -46, -96, 264, -276, -96, 104, -216, 36, -128, -350, -24, 206, -60, 216, -192, 290, -36, -276, -6, 576, -20, 150, 36, -264, -110, -96, 124, -824, 0, 186, 160, 36, -90, -524, -30, 56, -72, -36, 72, 22, -54, -288, -174, 0, 4, 334, 0, 440, -154, 12, -32, -220, 48, -24, -38, -168, -40, 94, 0, 60, 0, 240, -48, 256, -36, 246, 68, 24, 64, 664, 126, -4, -130, -36, 0, -12, 0, -384, -40, 366, -32, -84, -144, -400, -24, -120, -228, 10, 36, -254, 268, 0, 0, -76, -36, 12, -84, 0, -272, -344, -24, -124, 28, -48, 80, -224, -144, 300, -36, -180, 1152, 328, 0, -204, -418, -72, 16, -204, 108, -166, -12, 306, -456, 66, 0, -150, -8, 96, -118, -222, -144, -326, 0, 0, -6, 1076, -54, -218, 38, -222, 32, -80, -216, -276, -144, 0, -8, 142, 0, -16, 234, 0, 20, 140, 48, 64, 28, -84, 80, 882, -960, 360, 264, -276, -34, -40, 168, 322, -8, 204, 30, -112, 0, -128, 108, -384, 160, 16, -144, -116, -40, 252, -32, 120, 78, -88, 28, -144, 0, -334, 0, -448, -100, 0, -86, 114, 0, 156, -268, -96, 0, -380, -120, 104, -36, -180, -168, 108, 0, 388, 40, 12, 136, -108, 18, 164, -8, 108, 220, -740, 0, -156, -360, 0, 104, -76, -78, -72, -48, -168, 64, 72, 0, -244, 2, 96, 0, -476, 0, 408, -92, -168, 140, 220, 0, 244, -120, 96, 128, 332, 0, -436, 0, 156, 256, 54, -48, 272, 8, -288, -320, -454, 0, 36, -202, -36, 488, 84, 0, 352, 312, -72, 112, 528, 24, 130, 80, -96, 228, 1052, 0, 108, -90, 0, -36, -608, 48, -792, 56, 312, -56, -660, 0, 144, 726, 0, -114, -238, 24, 236, 24, -336, 96, 522, -60, -248, 360, 0, -240, 888, 144, 508, -8, 96, 18, -784, 0, 660, 88, 132, 80, 584, 24, -132, 16, 372, 200, -1584, 0, 460, 456, -18, -40, -800, -48, -400, 248, -24, 128, 404, 24, 128, -10, 36, -136, 278, 0, -406, 0, -228, -352, -114, 12, 152, 280, 252, 40, 742, 0, 974, -344, -60, -160, -120, 12, -352, 520, -336, 40, 180, 168, 156, -196, 0, 272, -210, -66, -292, -296, -72, 0, 204, 144, -584, 64, 72, -32, -400, -24, 30, -60, 468, -8, 758, -108, 272, -44, -288, -184, 596, 0, -660, 272, -72, 20, 150, -108, 182, -360, 90, -28, 700, -12, -1072, -576, -252, 16, 166, -126, 40, 60, 12, -28, 134, 18, -840, 280, -216, -48, 200, 0, 1332, 54, -216, -58, -56, -36, -744, -300, -168, 100, 60, -168, 518, -14, -552, -288, 100, -12, 470, -82, -12, 104, -168, -6, -54, 310, 24, -184, 32, 0, -592, -216, -192, -186, 20, -48, -92, 68, 60, 56, -534, -24, -36, -154, -96, -24, -124, -144, 202, -120, 54, 264, -356, -60, -276, -328, -36, -136, 712, 0, -248, 0, -168, 1144, -332, -48, 60, 102, 0, 0, -260, 288, -302, 146, 72, 456, -126, 1920, -112, 88, -126, 96, -608, -156, -58, 136, 102, 56, -432, -108, 326, 32, 0, -20, -370, 0, -564, -26, 228, 120, 638, 0, -664, -186, 60, 180, -482, 0, 828, -48, -156, 24, -532, 30, -300, 318, 108, -48, 90, 0, -136, 28, -288, -1112, 80, 0, -168, 336, -48, -392, 208, -54, -288, 94, -72, 244, 76, 0, -696, -214, 120, 12, -580, -144, -266, 50, 96, 40, -42, 0, 428, 112, 432, 16, -1132, 0, -464, 42, 414, -260, -856, 0, -44, -18, -84, -66, -318, 0, -362, -68, 48, 1136, -128, 6, -218, -448, 72, 48, 762, 240, 254, 90, 6, 232, 88, 144, 196, -212, -168, -24, 402, -288, -76, -454, -174, -408, -776, 0, -284, 224, 0, 262, 500, -96, -140, -12, -270, 116, 324, 240, 128, -136, -216, 176, -648, -126, -200, 40, 468, 356, -546, 0, -186, -656, 0, -232, 420, 240, -400, -208, -180, -248, 276, 18, 220, -340, -276, 0, 306, -72, 204, 548, 48, -46, 838, -54, 96, 184, 420, -248, -30, -456, 696, -46, 288, -88, -576, 120, 556, 122, 468, 60, -236, -270, -660, 150, 456, 92, 86, 0, -430, 848, 240, -68, -680, 0, 336, -40, 396, -20, 544, -360, 1228, 858, -216, 0, -588, 144, -916, -132, 324, -120, 58, 6, 300, 180, -132, 0, -230, 18, 348, -16, -216, -232, -396, 0, -160, 136, -462, -136, 76, -72, -416, 72, -216, 8, 248, -36, 332, 8, -372, 272, -432, 102, 324, -184, 288, 120, -674, 0, 38, -372, -126, 0, -272, -96, -252, 134, -372, 232, -142, 0, -250, 154, 0, 492, -120, 30, -76, -44, 12, -128, -1100, 30, -756, 148, -144, 28, 424, 0, -1624, -144, -444, 842, 532, 0, 544, 248, 432, 126, -412, 96, -816, 138, -48, 16, -256, 0, -408, 196, 600, 84, 616, 36, 660, -260, -96, 172, -50, 36, -504, 502, 288, -156, 90, 0, -600, 12, -120, -96, 420, -102, -916, -408, -864, -32, -20, -180, -588, -60, 144, 202, 56, 0, 876, -128, 270, 176, 168, 90, 836, 456, 48, -612, -274, 48, 356, 56, -60, 0, -526, -384, 696, -336, 54, -1072, -92, 0, 1992, 194, 336, 464, 540, -180, 136, 82, -156, -288, -368, 0, 616, 96, 120, 160, 268, 0, 334, 96, -246, 268, -1400, 0, -54, 1400, 0, -180, 950, 312, 114, 184, -336, 752, -1280, 18, -104, 254, 450, -172, -222, -288, 348, 102, -144, 410, -124, 24, 808, -364, -156, 44, 10, 84, 380, -2, 264, 828, -488, 240, -2008, -540, 168, 0, -664, 168, 576, 252, 96, 240, -458, 0, -280, 132, -168, -88, 76, -48, 892, 172, 204, 132, 1008, 60, 102, -1050, 36, 12, 604, -96, -286, -48, -228, 256, 306, -48, -480, -1384, -144, 108, 358, 30, -756, 124, -12, -148, 32, -6, 800, 172, 204, -224, -86, -18, 136, -32, 480, -340, 712, 0, 6, 280, 480, 276, 262, -144, 456, -252, -96, 204, 388, 0, -850, 1984, -198, 68, 240, -72, -166, 304, -432, 128, -96, -72, 676, 216, 0, 576, 18, -132, -570, 0, 324, 344, 982, -150, 148, 278, -336, 144, -190, 120, 1076, 142, -96, 202, -852, 0, 504, -160, -312, -144, 468, -36, 504, 74, -180, 108, -62, 144, 604, 190, 144, 48, 816, 132, 8, 170, -360, 1504, 190, -96, -452, -286, -480, -262, -1386, -240, -224, 32, 84, -300, -348, -288, 216, 408, -144, 0, 824, 144, 1114, -334, -192, 112, 848, 0, -648, 432, 216, 136, 446, 120, 1128, 168, -258, 1514, -362, -54, -344, 416, 588, 56, -698, -720, 162, 276, -30, 704, 290, 0, -12, 24, 168, 72, 494, 72, -674, 112, 360, -272, -732, 0, 1424, 512, 312, -312, -1132, -396, -1128, 306, 408, 204, 182, 24, -56, 64, 144, -18, 62, -96, -328, 16, -504, -144, -808, -66, 232, 690, 84, 24, 776, 216, -404, -100, 0, -808, 784, 144, 266, 532, 552, -248, -136, 36, 308, -6, 168, -352, -298, 0, 928, 52, 276, 168, -352, -36, -422, 284, -1272, 336, 1176, 0, 116, 44, -216, 284, -552, -336, 1144, -36, 540, 232, 40, -24, 680, -22, -162, -78, 102, -144, 910, -84, -360, 180, 456, -36, 324, 612, -96, 120, 214, 144, -338, 12, 24, -484, 630, -96, -608, -108, 126, -40, 146, 192, -210, 272, 0, -502, -900, 0, 282, -132, 144, -64, 772, 216, 36, -56, 0, -404, -1408, 144, 892, -212, 144, -28, -40, -312, -288, -52, 1248, -176, 72, 0, 400, 264, -360, 276, -578, 0, -982, 72, 132, -168, -874, -24, -160, 60, -120, 128, 2346, -72, -968, 568, 24, -250, -622, 0, -576, 280, 360, -120, 870, 96, 508, 64, -528, 72, 1224, 60, 258, 642, 72, 46, 280, 288, 488, 326, 306, -104, -294, 18, -452, -1292, 432, -366, -72, -324, -1136, 56, -72, 1568, 246, 192, -704, 672, 0, 52, -958, 348, -512, -148, 36, -208, -670, 0, -1000, -404, -576, 132, -922, 216, 536, -14, -864, 268, 724, 0, 968, -336, -126, 0, 1204, -528, -1064, -752, 0, 324, -78, 0, 92, -236, 312, -152, 884, -102, -426, -232, 264, 1792, 582, 96, -986, 188, 450, 134, -1228, -240, -718, 92, -240, -688, -300, -36, -1688, 560, 192, -392, -52, 0, 1282, 84, 252, 720, 1728, -120, -172, -364, 570, -28, -46, 360, 1364, 160, -132, -528, -938, 24, -734, 324, 18, 180, -1576, -120, 224, -2, 0, -1008, -816, 0, -452, 384, -216, 32, 218, -18, 360, 884, 276, -132, -2078, 240, 744, 936, 246, 8, 470, -240, -996, 110, -564, -536, -160, 162, 2488, 364, 1008, -96, 326, 360, -1212, -108, -1248, 4, -1124, 90, -320, 448, -168, 120, -448, -42, 52, -160, -144, 328, -842, 0, -212, 1272, 144, 4, -1450, 72, 36, 260, 132, 252, -414, 0, -296, -8, -216, 400, -136, -558, 488, 24, 48, 24, 2354, 0, -476, 74, -420, 72]