# Trace form for 3850.2.fa, downloaded from the LMFDB on 05 May 2024.
[0, 1920, 0, 0, -960, 12, 0, 0, 0, 240, 30, 4, 0, 0, 0, -8, -960, 0, 0, 0, 0, 0, 20, 0, 0, 10, 0, 0, 30, 0, 0, 6, 0, 150, 0, 60, -480, 10, 0, 0, -30, 0, 50, 0, 4, 138, -20, 0, 0, -12, 80, 0, 0, 0, 0, 0, 0, 40, 0, 0, 4, 30, 0, 130, 1920, 0, 48, 0, 0, 0, -6, -16, 0, 0, 0, 330, 0, 10, 0, -40, -12, 224, 0, 0, 0, -200, 24, 0, -10, -120, 0, 4, 0, -80, 0, -40, 0, 0, -40, -36, 10, -30, -60, 0, 0, -80, 0, -40, 0, 0, 66, 0, -30, 0, 0, -24, 0, -450, 0, 8, 0, 18, 120, 0, -6, 0, 14, 0, 0, 0, -60, 0, 0, 110, 0, 196, 0, 0, 360, 0, -30, 144, 0, 90, 240, -180, 0, 0, -20, 0, 0, 80, 0, 0, 36, 60, 0, 0, -40, -180, 0, -100, 160, -40, 0, 110, 102, 0, 50, 376, -40, 0, 0, -120, 0, 0, -8, -180, 0, 24, -138, 0, 70, 0, -20, 36, 130, 180, 0, 0, 96, -32, 0, -70, 120, 0, -6, -80, -40, -120, -40, -150, 0, 60, 0, 70, 0, -20, 0, 0, 44, 0, 0, 300, -26, 0, 0, -440, -80, -180, 42, 108, 0, 0, 0, -192, 0, 420, -20, 36, 0, 208, 0, 0, -180, 80, 0, 0, 0, 480, 4, 120, -160, 0, 0, 96, -48, -20, 90, 160, 0, 0, 10, 200, -4, 360, -960, 0, 0, 0, 0, 20, 0, 40, -48, 0, -40, 0, 0, 90, 100, 0, 0, 0, 0, -4, 0, 240, 0, 0, 6, 160, 0, -180, 8, 240, 0, 60, 0, -300, 96, 0, 0, 0, 0, -16, 0, 420, 40, 0, 0, 212, 120, -140, 0, 120, -60, 0, -20, 184, 0, 108, 0, 0, 0, -260, 80, -30, 0, 22, 12, 0, 200, -420, 224, -450, -70, 0, 0, -430, -332, 128, -30, 0, 0, 0, 0, 340, -120, -468, 100, -120, 0, -300, -48, 174, 240, -40, 0, 0, -220, 0, -10, 210, -60, -414, 0, -390, -300, -50, 0, -992, 0, 0, -26, 0, -24, -420, 0, 0, 0, 0, 160, -20, -84, 144, 0, 0, 0, 96, -40, 0, -20, -450, 0, -42, -40, -90, 30, 182, 528, 0, 80, 0, -58, 90, 18, 300, 0, 24, -20, -20, -300, 240, 30, 0, -150, 200, -60, 30, 28, 144, 0, -280, 100, -270, 0, -180, 0, 0, 280, 108, 0, 0, 0, -330, 0, 0, 80, 116, 54, 100, 0, 0, 104, 120, 0, -330, 0, -330, 0, -244, 240, -140, 0, -110, 0, 0, 0, -92, 0, 324, 0, -510, 0, -264, 0, -30, 390, 230, 24, 0, -270, 680, 0, -330, -12, 150, 0, -270, -20, -48, 120, 200, 48, 0, -70, -300, -40, 150, 0, 0, 0, -620, -36, -28, 0, 100, -120, 0, -140, -100, 0, -210, -120, 810, 0, -340, -440, -138, -90, -160, 390, 0, -28, 680, -10, 0, 0, -186, 0, -50, 0, -170, 0, 178, 0, 0, 0, -280, -60, -264, 100, 450, 0, 60, 8, 160, -150, -400, 240, 0, 110, 200, 0, 0, 0, 690, 0, -324, -392, -130, 0, -140, 0, 0, 0, -460, 0, 0, -472, 480, 0, -710, -160, 192, 0, -220, 900, 0, -30, -276, -120, 0, -72, -438, 0, -280, 0, 0, 120, 160, -90, 0, -20, 16, 240, 300, 160, 0, 0, -26, -520, 300, 0, -230, 78, 0, 0, -220, -150, 0, 10, -60, 0, -632, 0, 380, -480, 58, 0, 0, 60, -320, 80, -144, -60, 240, 0, -202, 80, 290, 0, 230, 288, 0, -24, 200, -20, 0, -30, 0, 0, -70, 0, 306, 0, 420, 0, 0, -192, 64, -40, 360, 0, 1620, 0, -90, 300, 32, 30, 124, 120, 0, 50, 80, 80, 660, -80, 24, 0, 720, 80, 0, 108, -220, 0, 0, 80, -540, 110, 384, -180, 270, 0, -584, 0, -400, -90, -136, 300, 0, -100, 40, -56, 684, -188, 0, 0, -510, 80, -90, 0, 100, 0, 0, -144, 0, 0, 0, -280, -48, 0, -280, 224, 60, 0, 0, 600, 0, 0, -480, 0, 0, 4, -168, 0, -400, 360, 396, 0, 130, 0, 0, -130, -628, 24, 120, 120, 372, 0, -60, 0, -300, 240, -110, 240, 0, -140, -264, -216, -282, 0, 690, 0, 496, 40, -40, -600, 0, -36, 0, -310, 320, 130, -390, -16, -480, 0, -456, -340, -260, 0, 120, -360, 0, 0, -420, 80, 228, -48, 0, 0, -590, 64, -40, 0, -280, 0, 0, -208, 32, -70, -60, -86, -144, 0, -1320, 0, -78, -450, 56, 0, 0, 18, 424, -224, 1080, 40, 0, 0, -700, 80, 0, -300, 56, 120, 0, -390, 200, -40, 420, -40, 240, 0, -1180, -480, 130, 0, 0, 390, 0, -30, 420, -236, 504, 0, 0, 0, 26, -140, 0, 0, 0, 0, 0, 252, -240, -20, 576, -8, -600, 0, -160, 240, 100, 144, 420, 210, 0, 80, -2400, -120, 690, 0, 6, 0, -370, 0, -300, 360, 80, -300, 0, 0, -100, -26, 600, 0, -360, 0, -88, 360, 0, 0, -370, 0, 0, 460, 532, -88, 1560, 40, -1350, 0, -70, 360, 120, 810, 390, -42, 0, 80, 0, 108, 1416, 130, -480, 0, -96, -760, -532, -330, 40, 504, 0, 0, 200, 0, 0, 96, 0, 0, -170, 0, 28, -6, -40, -420, 0, -240, 72, -20, -300, -24, -1380, 0, -730, -520, 10, 300, -20, 0, 0, -26, -240, 70, 1020, 0, 24, 0, -220, 0, -100, 0, -278, 180, 0, 150, -160, 80, 0, -30, 0, 0, -560, -288, -80, 0, -78, 630, 0, 0, 720, 460, 918, -240, -840, 0, -180, -8, -400, 0, 160, -120, 0, 130, 440, -160, 1116, 180, 174, 0, -1320, 0, -230, -30, 0, 0, 0, 138, -160, -200, 690, 24, -30, 0, 530, 40, -120, 162, -226, -90, 0, 260, 240, 160, -1800, -170, 252, 0, 408, 360, -200, -114, -580, 360, 0, -140, 160, -132, -660, -100, -240, 0, -694, 8, -60, 0, -310, -360, 0, 110, 680, -960, 210, -304, 360, 0, 220, -580, 0, -300, 0, 498, 0, 0, -40, -340, 576, 0, 690, 0, 330, -40, 826, 0, -760, 0, 0, 964, 60, 40, 2130, -236, -540, 0, 0, -400, 206, -120, -210, 1200, 0, -40, 948, -180, -210, 0, 0, 0, 16, 0, -100, 0, -320, -90, 0, -210, 256, 100, 276, 200, -1650, 0, -530, 440, 460, 0, -418, 108, 0, 0, -1120, -206, -1110, 0, 390, 0, 0, 8, -120, 0, -340, 0, 0, -220, -400, 240, 348, -770, -330, 0, -70, 108, 14, -708, 0, 120, 0, 0, 80, -360, -360, -80, -462, 0, -470, 0, 0, -300, -64, 180, 0, -294, 940, 8, -1350, 0, 1500, 0, 180, -720, -440, -6, -604, 0, 0, -180, 320, 110, 1350, 0, 0, 0, 410, 600, 340, 0, -468, -96, 0, -370, 60, 0, -150, -44, -1080, 0, -740, 128, -130, 510, -220, -150, 0, 0, -380, -290, -420, 8, 480, 0, 400, 0, 330, -648, -120, -420, 0, -50, 320, 40, 930, 140, 0, 0, 80, 180, -282, -330, 870, 0, 0, -244, -160, 0, 120, -60, 840, 0, -64, 280, -310, 78, -576, 0, 0, -80, 320, 120, 300, -380, -780, 0, -722, -480, 60, 0, -200, -390, 0, 10, -400, -200, 282, -92, 0, 0, 170, 0, -58, -660, -210, -108, 0, 360, 0, 0, 660, 0, -750, 0, 240, 512, -138, -150, -690, -480, 0, 250, 320, 0, 0, -40, 534, 0, 540, 60, 548, -24, -190, 0, 0, -144, 1260, 22, 510, -150, -360, 0, -370, 240, 40, 0, 566, 0, 0, -100, 0, 358, -120, 210, 150, 0, 710, -448, -510, -1140, 584, 450, 0, -1110, -380, -70, -660, 0, 600, 0, -626, -560, 0, 0, 10, 360, 0, 200, -1080, 170, 1350, 166, -306, 0, 960, -256, 502, 360, -450, 30, 0, 20, 412, 0, 0, 46, -1026, 0, -1040, -40, 0, -204, 170, 360, 0, 0, 4, 256, -1380, -170, 120, 0, 426, 240, 100, 120, -740, 468, 0, 880, 0, 100, 450, 140, -840, 0, -214, -360, 0, 0, -478, 900, 0, 150, 0, 0, 1422, 24, 0, 0, 764, -348, -40, 0, -620, -240, 0, 614, -1360, -40, 456, -60, -288, 0, -1090, 0, -222, -360, -240, 0, 0, -40, 592, -220, 0, 0, 690, 0, -320, 20, -16, 0, -250, -210, 0, -410, -940, -60, 390, -80, 504, 0, -480, -1360, -480, 120, 680, -600, 0, -240, -300, 188, -1284, 150, 0, 0, 276, 100, -210, 630, 236, 0, 0, 340, -1680, -992, -480, -482, 0, 0, 440, -332, 0, -270, 310, 0, 0, 22, 580, -240, 1920, 0, 1200, 0, 670, 48, -320, -168, -100, 420, 0, -1580, 560, 0, 150, -32, -36, 0, 270, 0, -164, 360, 30, 0, 0, 0, 1368, 140, 840, -80, 114, 0, 0, 40, -90, 504, 0, 84, 0, 920, 28, 144, -180, 580, -900, 0, -492, 0, -160, 420, 50, 462, 0, 0, 320, -140, 2580, -48, -240, 0, -304, 80, -524, 0, -520, 0, 0, -140, 0, -20, -222, 64, -750, 0, 410, -72, -20, 0, 130, -60, 0, -108, 136, -460, -780, 20, -66, 0, 80, 180, 16, 0, 108, -30, 0, 60, -276, 182, -540, -60, -1110, 0, 300, -660, -340, 0, 308, -828, 0, -40, -200, -20, 1032, 0, -1380, 0, -810, 116, -210, 0, -150, -90, 0, -20, -700, 18, 612, 0, -900, 0, -532, -580, 560, 0, 1050, 150, 0, 72, 1340, -160, 1476, 10, 1860, 0, -60, 40, 180, 192, 0, 300, 0, 740, -152, 240, 510, -120, -804, 0, -1210, 0, -20, -54, 624, 0, 0, 300, 1160, -96, -30, -100, -228, 0, -916, 120, -540, 0, -320, -30, 0, 530, -912, 28, 720, 0, 270, 0, 1020, 0, 390, 0, 0, -1428, 0, 140, -1880, -48, -402, -50, 420, 0, -482, 540, 656, 660, 400, 0, 0, 416, -220, -180, 0, 342, -150, 0, -850, 880, -788, 294, -340, -390, 0, -200, -240, 80, 1080, -54, -1620, 0, 1340, 0, 350, -270, -200, 0, 0, -170, 1136, 0, -1560, 420, -576, 0, -470, -120, 120, 0, 212, -168, 0, 0, 1216, -24, 600, -40, -270, 0, 1270, -232, 290, 210, -76, -54, 0, 140, 1260, 100, -390, 0, 390, 0, 820, -88, -188, 360, 160, 960, 0, -88, 1360, -440, -90, -60, -420, 0, 1360, 0, -360, 600, -440, 330, 0, 276, 680, 0, 0, -120, 660, 0, -240, 1380, 160, -66, -686, 900, 0, 290, 236, 0, 510, -120, -240, 0, -698, 280, -20, 240, -386, 0, 0, 1840, -360, -110, 1620, 590, -720, 0, -2004, -288, 0, 0, 300, 0, 0, 30, 20, -288, -510, 46, 0, 0, -190, 0, 580, 0, -520, -324, 0, 300, -560, 0, -4428, -100, -30, 0, -920, 280, 6, 24, -50, -1050, 0, 450, 2000, 320, 420, 0, -570, 0, -230, 60, 40, 1116, -162, -390, 0, 1180, -1084, 230, 1500, 180, 0, 0, 642, -400, 410, -60, 990, -372, 0, 420, 1088, 210, 792, -340, 1710, 0, 1640, 0, 880, 0, 242, 330, 0, 1100, -540, -12, 2010, 320, 1440, 0, -320, 64, -152, 450, 720, 576, 0, 90, -420, 310, 798, 10, -1350, 0, -380, 96, 372, 750, -360, -120, 0, 668, -1080, 200, 0, 570, -174, 0, 110, 240, 980, 0, 146, 690, 0, 62, -2280, 440, -630, 150, 0, 0, 200, 80, -610, 624, 18, -150, 0, -90, 36, 0, 0, 140, 0, 0, -598, -96, 880, 240, 540, 588, 0, 310, 1280, -156, 1530, 18, -120, 0, 374, 56, -1208, -30, -640, 0, 0, 200, 1140, 100, -150, 252, -960, 0, 2140, 0, 1380, 198, -480, 240, 0, 280, 896, 230, 0, 50, 1680, 0, 650, 0, 116, 360, -1390, 210, 0, 850, -740, -120, -420, -320, 1290, 0, 450, 980, 0, 6, -836, -2400, 0, 440, 464, 140, 1086, 220, 1320, 0, 602, 276, -20, 540, 1020, 90]