# Trace form for 3150.2.cz, downloaded from the LMFDB on 19 April 2024.
[0, 1920, 0, 0, -240, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -38, 240, 0, 0, 0, 0, -12, 0, 0, 0, 0, 96, 60, 0, 0, 2, 0, 0, -50, 0, 34, 0, 0, 0, -32, 0, -32, 0, 0, 0, -90, 0, 0, 0, 0, 12, 12, 0, 0, 0, -12, 0, 0, 0, 24, 10, 0, 60, 100, 480, -18, 16, 0, 0, 42, 24, -36, 0, 0, 0, -6, 0, -160, 0, -12, 0, -52, 0, 140, 36, 0, 0, 0, 0, 18, -8, 0, -20, 0, 0, -30, 0, 0, 0, 32, 0, -448, 0, -120, 24, 20, 0, 0, 0, 0, 14, 108, 0, 160, 44, 0, 0, 280, 0, -28, -20, -480, 0, 0, 0, 120, -80, 0, 0, -2, -12, -16, 0, -90, 20, -48, 0, 140, -120, 36, 20, 134, 0, 0, 0, 36, -64, 70, 0, 64, 12, -48, 0, 60, 36, 0, 52, 0, -20, -12, 0, -82, 80, -90, -64, -168, 0, 50, 0, -240, 14, -36, 0, -140, -160, 12, 0, 40, 0, 0, 4, 0, 0, -100, 0, -36, 64, 0, 0, -146, -192, 64, 0, 0, -160, 98, 0, -120, -100, 0, -16, 28, 0, 0, -36, -30, -100, 0, 0, 80, 40, 0, 0, 40, 72, -96, 0, 0, 0, 92, 24, -20, 200, 30, 0, -276, 24, 600, -20, 0, -20, 12, 0, 60, 60, -18, -24, 150, 0, -120, 8, -24, -60, 0, 0, -186, 52, 120, -30, -124, -30, -424, -50, 0, 0, 298, 240, 0, -260, 54, 4, -136, 0, 600, -16, 84, -24, -140, 0, 78, 156, 0, 0, -20, 0, 572, -56, 0, 0, 102, 6, 92, 0, 0, 12, 202, 0, -290, 20, -180, -112, 12, 0, 0, 184, 18, 0, 140, 0, -196, -18, 60, 0, -410, 0, -232, -80, 0, -40, -172, 12, 0, 0, 0, -256, -272, 36, 60, 0, 0, 0, 116, 0, 0, -48, 30, 56, 600, 0, -50, -14, 0, 0, 70, 36, -66, 18, -150, 80, -84, 0, -176, 0, 0, 0, -64, 0, -160, 0, 0, 314, -76, 0, -600, 108, -144, -68, 0, 60, 124, -4, 240, 0, 440, 0, -412, 56, 0, 0, -16, 48, -64, 60, -240, -448, 74, 0, 0, -140, 0, 110, 298, 0, 0, 0, 120, -24, -220, 0, 328, 158, -144, -60, 0, 48, 294, 48, 0, 0, -312, 0, 192, 320, 0, 56, -600, 0, 0, 0, 0, 44, 48, 0, 630, -94, 6, 48, -200, 0, 12, 44, 0, 0, 180, 0, -22, -24, 0, -60, -188, 288, 40, 0, 240, 80, 330, 0, 0, -140, 108, 28, 52, 0, 0, -36, -12, 256, -30, 0, 40, -216, 240, -320, 290, -12, 714, -36, 0, 130, 82, 0, -102, -370, 0, 0, -132, 0, 0, 0, -144, 22, 260, 0, 120, -56, -66, 28, 30, 0, -240, 8, 0, 0, -10, -240, -242, 50, -150, 80, -48, -96, -160, -110, 0, -126, -24, 0, -530, -120, 0, -180, 356, 0, -680, -76, -72, 0, 0, 0, 56, -322, -84, 0, -380, 0, -556, 2, 0, 0, -156, -48, -104, 160, 0, -128, 170, 24, 1020, 50, 528, -144, -290, 0, -360, -132, -288, 10, -460, 0, -264, 142, 96, -600, 0, 0, 302, 272, 0, -70, 212, -54, -212, -120, 0, 72, -386, -108, 0, -220, 0, 26, -294, 0, -120, 226, 90, 112, 40, 0, 12, 146, -84, 0, 70, 0, -452, 0, -420, 0, -212, -36, -2, 0, 0, 64, -564, -126, 0, -20, -36, -176, 216, 0, 0, -40, 282, 32, 0, -120, 40, -12, 120, 320, 170, 36, -372, 64, 0, 0, -204, 12, -12, 70, 0, 136, -104, -12, -140, 0, 96, -80, 42, -240, 0, -36, -72, 576, 160, 0, -204, 242, 72, 0, 100, -54, -172, 12, -300, -520, 210, 0, -540, 0, 0, 34, -494, -72, 210, -160, 0, 6, 184, -90, -820, 184, 444, -32, 0, -360, -96, -22, 0, -180, 840, 0, -988, 6, 0, 0, 10, -96, -64, 0, -180, -80, 766, -960, 0, -720, 156, -14, 32, 0, 410, 52, -108, 300, -760, 0, 64, 84, -192, -80, 0, -144, -54, 20, -210, 0, -120, -156, 248, -300, 240, 0, -594, 0, 0, 140, 0, 146, -84, 0, -520, 2, -144, 0, -330, 0, 104, 44, 180, -80, 1220, 0, 58, 296, 180, -280, -108, -18, -392, 0, 360, 220, -608, 0, 400, 800, 0, 76, 76, 420, 0, -48, -432, -64, -180, 0, 116, -126, 192, 0, 300, 0, 368, -26, 0, 170, 28, 24, 488, 400, 0, 128, -56, 0, 960, 0, 156, 252, 46, 0, -700, 176, 288, 320, 830, 0, -72, -166, -72, 0, 580, 0, 312, -12, 0, 0, -130, -72, -130, 0, 0, -216, 132, 0, 0, 50, 0, -28, -440, 0, 520, 56, -204, 56, 0, 0, 144, -266, 0, -230, 450, -48, 30, 12, 0, 0, -60, -60, 76, 200, 0, 800, -1268, 72, -60, 180, 96, 388, -142, 0, -340, 8, -30, -80, 630, 0, 268, 188, 108, -800, 0, 0, 380, 264, -150, 0, 564, -168, -200, -320, 0, 88, 380, -24, 0, -620, -72, 96, -354, 0, -530, 0, -156, -176, -750, 0, 192, 10, 504, 0, 410, 0, -360, 184, 360, 0, -10, 6, 352, 0, -240, 20, -434, 84, 840, 200, -54, -320, 82, 90, 0, 82, -48, 0, -620, 120, -584, -70, -72, 0, 110, -24, -540, 330, 0, 0, 318, 12, -312, -30, -60, 92, -806, 0, -580, 0, -72, -40, 64, -360, -990, -132, 6, -52, 480, 0, -64, 88, -126, 0, 420, 252, 96, 120, -180, -340, -86, -36, -460, -160, 0, -48, -646, 0, -90, -120, 108, -12, -144, 0, 800, 240, 96, 40, 0, 0, -328, -2, 204, 0, -530, -12, 334, 378, -180, 0, -636, 12, 54, -250, -360, 56, 366, 0, 280, -720, -192, -342, -20, 0, 0, 58, -1008, -56, 400, 0, -36, -318, 96, 0, 0, 0, -306, -74, 420, 0, 484, -60, 88, -400, 0, 68, -1218, 0, 0, -30, -168, -380, -184, 0, -800, 102, -42, 0, 1020, 0, 764, 256, -72, 160, 730, 960, -356, -264, 210, 160, -266, 156, -36, 0, 60, 296, 452, 108, -210, 200, 0, -18, -570, 0, 0, 54, 180, 240, 650, 0, -664, -382, -60, -300, -1000, 0, -266, 48, 0, 0, -212, -12, 460, 70, 180, 24, -966, 0, 760, 0, 144, 216, 562, 0, -180, -248, -120, -624, -2180, 30, -768, -46, 72, 0, 1570, 0, -696, 194, 60, 0, 34, -144, -274, 70, 0, -80, 412, 0, 420, -360, 432, 36, -536, 0, -140, 42, -186, -220, 0, 0, 88, -252, -168, -110, -540, 0, 394, 68, 60, 0, -128, 12, 218, -240, 240, 48, -444, 240, 610, -30, 108, 220, -348, 0, -1580, 328, 312, -12, 100, 0, 152, 66, 114, 480, 0, 0, -32, 268, 0, 40, 100, -120, 140, -40, -270, 116, -1554, 240, 0, 0, 432, 144, 48, 570, 560, -108, -318, 178, 70, 0, -26, 336, 0, 0, 390, 480, -600, 8, 0, 440, 0, -18, -70, 0, -180, 0, -74, -144, 0, 0, 168, -412, -598, 180, 0, -436, -6, 248, 1490, 0, -228, -112, 144, 0, 900, -60, -108, -2, 0, 200, 676, -306, -492, -210, -60, 72, 488, 0, 790, 0, 240, -184, 20, 0, -580, -40, -96, 140, -530, -300, -574, 308, 216, 0, 600, 144, -592, -56, -1080, 0, -172, 6, -300, -640, 0, 0, -534, -78, 700, 0, 432, 456, -396, 0, 330, 136, -540, -68, 0, 0, -416, -150, 216, -300, -1270, 18, 1440, -8, -360, 0, 444, 66, 648, -440, 480, 24, 1082, 0, -550, 680, -126, 0, -642, 0, -120, -176, -504, -232, -1270, 0, -250, -66, 0, -150, 0, -30, -268, 44, 120, 560, 868, 60, 756, -570, 0, 28, -954, 0, 0, -160, 222, 74, 668, 0, -440, 224, -96, 216, 1400, 0, 408, -110, -144, 120, 800, 0, -388, 332, 0, 280, 616, -36, -660, 0, 0, -344, -334, -36, 770, -270, -144, 76, 116, 0, 0, 12, 48, -192, 360, 300, -596, 52, 984, -40, -640, -90, -818, -84, 0, -90, 136, 0, 792, 400, -1500, 176, 288, 90, 820, 0, -432, -354, 74, 0, 580, 528, -120, 0, -1110, 0, -516, 316, -12, 0, 240, 0, -992, -10, 0, -120, -108, -90, 272, 30, 0, -288, 180, 0, 880, 0, -120, -128, -428, 0, 1030, 180, -354, -268, 0, 0, 268, -300, 0, 100, -350, 72, -922, -8, 180, 0, -164, 18, 144, -730, -450, 344, 364, -576, 100, 50, -144, 722, 352, 0, 0, -4, -216, -124, 420, 0, 460, -26, -264, -160, 0, 480, 348, -702, 0, 0, 428, -24, 448, -340, 240, -480, 1678, 0, 0, 620, -168, 176, 744, 0, 160, -68, 234, -452, 180, 0, 402, 642, -156, -40, -650, 192, 194, -72, -180, -880, 542, 24, -480, 0, 240, -132, -1478, 30, 1840, 120, 24, -12, -254, 90, 0, -234, -48, -112, -230, -30, 136, 194, 960, 1160, 50, 0, -926, -440, 0, 50, 652, 264, -96, -200, 480, -102, 656, 0, -1100, 0, -288, 60, -236, 0, 980, 224, -240, -44, 1480, -60, 676, 2, 0, 0, 1250, -132, 1100, 0, -1080, 400, 1102, 342, -148, -220, 0, 8, -294, 120, 840, 350, -96, 988, -992, 0, 1080, 568, 24, -96, 0, 60, -72, -94, -36, 460, 530, -288, 480, 104, 0, 0, 276, -264, 284, 150, 300, 1504, 1000, 96, -930, 1010, 240, 228, 266, 0, 1520, -64, -240, -600, 240, -480, -1002, -244, -72, 0, 0, 144, 490, -212, -120, 600, 612, 0, 808, 720, 60, 56, 316, -60, 0, 80, -318, 546, 1022, 90, 600, -28, -840, -56, 990, 0, 342, -130, 30, -140, 1550, 0, 880, -612, -360, 280, 314, 72, -990, 0, -1440, 136, 1194, 0, 2240, 890, 72, -4, -410, 210, 0, 126, 126, -564, -220, 0, 112, 376, -144, -750, -1570, -12, 304, 288, 0, 0, 610, 54, 464, 30, 0, 24, 656, -216, -280, 0, 0, 180, 416, -240, 650, 292, -312, -496, -600, 0, -532, 114, 312, 0, -2110, 0, 1208, -52, 360, 280, -134, 72, 422, -120, 0, -420, 100, 0, 390, -860, 108, -44, -1048, 0, 680, 18, -42, 464, 0, -480, 680, -16, 342, 180, -870, -144, -246, 124, 60, 0, -276, -36, -324, -250, 0, 80, -342, 288, 190, 0, 24, 52, 516, 0, 880, 192, -54, 40, 1610, -240, 60, 74, 0, 290, 0, 0, 150, -252, -840, 0, 972, 258, -596, 280, 0, -84, 830, -144, 0, 540, -288, 14, -294, -180, 1800, 80, 672, -88, 2160, 0, -800, -404, -180, 20, -1260, 0, 372, 36, -120, 160, 46, 12, 160, 0, 0, 128, 40, 72, -2520, -400, -48, 250, 622, 0, 0, 136, 300, -100, 1340, 0, 988, 64, 288, 1040, -1020, -120, -858, 326, 0, 30, -412, -168, -956, -230, 540, -104, 52, 36, 100, 0, 432, 424, 72, -840, -720, -40, 120, -1568, -430, 0, 352, 1104, 0, 0, 30, -24, -632, -286, -300, 320, 1022, 0, -596, -580, 0, 132, -612, -216, 0, 290, 1056, 1080, -256, 0, 380, -336, 366, 0, 0, 0, 452, 664, 0, 860, -1010, 0, 480, 16, 0, 0, 232, 270, -134, 260, 60, -896, 1658, 48, 10, -60, -540, -182, 1408, 0, 2110, 212, -1200, -344, -2170, 30, 152, -88, -192, 460, 0, 0, -4, -84, 750, -960, -2352, -24, -344, 1500, -630, 56, -1902, 180, 0, 110, -12, 280, 712, 0, 1460, -168, -204, 180, 80, 0, 224, -2, 0, -360, 1250, 0, 1756, -384, 240, 0, -198, 612, -360, 0, 0, -132, 1234, 240, -1800, 1040, -186, 132, 132, 0, 0, -170, -732, 26, 1240, 300, -1524, -546, 504, -160, -1460, 360, 1154, 90, 0, -400, -1484, 78, 320, -240, 0, -320, 1286, 102, 1590, 0, 192, -216, -214, 0, -1060, 764, -312, 168, 1000, -480, 676, -632, -132, 0, -1100, 0, 772, -272, -360, -20, 144, -162, 976, -60, 0, 24, -348, 0, 200, 440, -900, -60]