# Trace form for 1045.2.bs, downloaded from the LMFDB on 24 April 2024.
[0, 864, 0, -4, 0, -4, 0, -10, 0, 0, 0, 8, -96, 0, 0, -40, 200, -10, 0, 0, -16, 0, -8, 0, 0, 8, -48, -4, -120, 0, -80, 32, 0, -104, 0, 0, 104, 36, 0, 0, 0, 0, 24, 0, 0, 48, -160, 16, 136, 0, 0, -80, -80, 0, 0, 20, 80, 0, 96, 0, -136, 80, -300, 50, 0, 0, 104, -80, 40, 0, -80, -72, -300, -120, 0, -16, 0, 14, 80, 0, -180, 104, -80, 0, 0, 0, -80, 0, -308, 0, 0, -8, 96, 36, 0, -10, 120, -28, 0, 0, -144, 80, 188, 16, 0, 280, 200, 120, -120, 0, 180, -160, -280, 4, 0, 56, 40, 280, 280, 0, 0, 140, -344, 100, 0, 8, 88, 0, 0, 0, -232, 0, -460, 20, 0, -216, 48, 96, -280, 0, -500, 144, 0, -140, 0, -280, 64, -92, -96, 0, -20, -320, 0, 0, 0, 128, 0, 128, 80, 0, 320, 0, -180, 24, 0, 104, -512, 0, -168, 0, 192, 0, 320, 0, 0, 0, 376, -192, -320, 0, -200, 80, 280, -280, 0, -100, 0, 78, -320, 0, 0, 156, -332, 120, 0, 0, 120, 0, 208, 0, 0, 104, 272, -96, 0, 320, 240, -32, 0, 0, -360, 320, -136, -244, 0, -10, 240, 480, 384, 0, 380, 592, 40, -132, 0, -68, 240, -280, 0, 0, 0, 104, 216, -100, 0, 132, 8, 40, 0, 0, -64, 0, -320, 24, 0, 64, -720, 0, -360, 0, -180, -204, 0, -156, 0, -400, -328, -100, 440, 0, 0, 440, 0, 0, 0, 64, 0, 20, 48, 0, -380, 240, 60, -96, 0, 120, 320, 120, 68, 0, -280, 240, -440, -190, 0, 0, -568, -128, 600, 0, 224, 344, -640, -360, 0, -96, 0, -84, -368, 0, 84, 124, 176, 280, 0, 320, 192, 0, 132, 0, 440, 64, 232, 0, 0, -80, -480, -168, 0, 0, -328, 320, 272, -28, 0, 80, -160, 0, -160, 0, -576, -16, 0, 284, 0, -248, 0, 240, 120, 0, 0, 328, 0, 0, 0, -116, -496, 50, 820, 0, 392, 0, 616, -184, 0, -384, 112, 128, 0, 0, 980, -216, 0, 140, 0, 120, -504, -292, -732, 0, -240, -120, -504, 0, 0, 16, 0, -412, -360, 0, 0, -400, 400, 304, 0, -398, -448, 170, 352, 0, 184, -240, -1020, 240, 0, 0, -448, -252, 80, 0, -416, -224, -320, 300, 0, -40, 0, 108, 976, 0, -288, 200, 100, 360, 0, 440, -64, 0, 56, 0, 280, 152, -80, 190, 0, -430, -960, 136, 0, 0, 480, 80, -428, 388, 0, -480, 520, 0, -160, 0, 344, -1248, 540, 90, 0, -132, -80, 0, 340, 0, 0, -48, 632, 680, 0, 8, 96, 0, 280, 0, 280, 0, 624, -20, 0, 244, -416, 192, 700, 0, 380, 264, 0, 318, 0, 170, -112, -336, 520, 0, -1040, -240, 464, 0, 0, 32, -840, -92, 528, 0, -520, -160, 720, 156, 0, -308, 272, -320, -564, 0, 500, 240, -20, -860, 0, 0, 264, 528, 320, 0, 432, 40, -540, 180, 0, 168, 0, -84, 640, 0, 720, -176, -352, -420, 0, 80, 752, 0, 380, 0, 620, -520, 120, -744, 0, 520, 160, -64, 0, 0, -456, 0, -664, -644, 0, 40, 880, -440, 560, 0, -664, 0, -840, -8, 0, -328, 800, 210, 100, 0, 0, -768, -360, -180, 0, -52, -160, 800, 360, 0, 0, 0, 56, -632, 0, -48, 392, -288, -320, 0, -700, -156, 0, 132, 0, -840, 1200, -448, 96, 0, -540, 0, 368, 0, 0, 68, -640, 232, -168, 0, -180, 80, -1020, 252, 0, 210, 112, 160, 0, 0, -196, -480, 40, -240, 0, 0, -232, 208, -280, 0, 832, -400, -260, -320, 0, 64, 0, -40, 832, 0, 1304, 264, -308, 180, 0, 600, -832, 0, -364, 0, -440, 776, -248, 458, 0, 720, 0, -180, 0, 0, 1016, -240, -628, 88, 0, 130, -200, -480, -200, 0, 804, -896, 1120, -516, 0, 44, 0, 640, -180, 0, 0, -548, 680, 600, 0, -116, 184, 720, -700, 0, 56, 0, -592, 768, 0, -488, 640, 732, 940, 0, -840, -56, 0, 358, 0, -120, 472, -352, 400, 0, 180, -960, 904, 0, 0, 16, 640, 136, -1112, 0, -440, -440, -880, -476, 0, -20, -1184, -320, -436, 0, 876, 360, 0, -240, 0, 0, -544, -628, -1660, 0, -320, -144, 1340, -520, 0, 692, 0, -160, 296, 0, 324, -192, -668, -80, 0, -360, -96, 0, 1088, 0, 600, -504, 232, 940, 0, 160, 1400, 208, 0, 0, -208, 240, 372, -36, 0, -40, -1120, 280, -1128, 0, -448, 240, 660, 680, 0, 320, -1480, 800, -1180, 0, 0, 0, 296, -260, 0, -240, 960, 0, 380, 0, 0, 0, 2508, -440, 0, 204, 832, 308, 0, 0, 260, -72, 0, 632, 0, 510, 16, 384, -288, 0, 1300, 640, 432, 0, 0, -688, -1200, 4, 528, 0, -1740, 440, 780, -36, 0, -444, 240, -120, 0, 0, 180, -120, 320, -580, 0, 0, 96, 224, -320, 0, 832, 392, 1140, 960, 0, -300, 0, 216, -824, 0, 568, -32, 96, 780, 0, 0, 272, 0, -944, 0, 1120, 544, 528, 76, 0, -200, 440, -336, 0, 0, -592, -520, 804, 568, 0, 1170, -960, 0, -200, 0, 732, 208, 920, 26, 0, -744, -1600, 580, -380, 0, 0, 656, 72, -150, 0, 96, -1744, -860, 740, 0, 528, 0, -328, 376, 0, 376, 864, 152, 0, 0, -300, -1008, 0, 86, 0, -880, -688, 708, -556, 0, 580, 240, -648, 0, 0, 736, -1200, 564, -144, 0, 140, 0, -460, -288, 0, 62, 1456, -290, 464, 0, -476, -880, -500, -380, 0, 0, -136, -728, -840, 0, 120, 824, 940, -480, 0, 272, 0, -208, -280, 0, -856, -672, 300, -1320, 0, 180, -768, 0, 624, 0, 1160, 440, -1776, 274, 0, -1100, -840, -172, 0, 0, 856, -720, 288, -68, 0, 160, -600, 260, 0, 0, -348, -512, -20, -240, 0, 708, 160, -710, 1660, 0, 0, -1024, 1056, 600, 0, -108, 184, 0, 680, 0, -440, 0, -432, -84, 0, -704, -320, -500, 540, 0, -1680, -144, 0, -1096, 0, -320, -96, 144, -356, 0, 60, -400, -624, 0, 0, -988, 760, -624, -584, 0, 140, 80, -580, -204, 0, -32, 48, -1000, -1584, 0, -148, -200, -40, 160, 0, 0, -616, -1480, 820, 0, -848, 320, -1680, -480, 0, 672, 0, -1024, -1072, 0, -1236, 136, -4, -300, 0, -20, 96, 0, -1684, 0, -1320, -868, 1312, -4, 0, -800, 0, 76, 0, 0, -104, 160, -180, 576, 0, -180, -1160, -300, 64, 0, -1332, 1088, 0, 210, 0, -528, 2000, -740, 1080, 0, 0, 536, 104, 460, 0, -792, -488, -1060, -600, 0, -568, 0, 704, 176, 0, 324, -1248, -484, 1640, 0, 1660, 1608, 0, -388, 0, -360, -128, 812, -900, 0, -880, 440, -280, 0, 0, -184, 1840, 540, 376, 0, 780, 880, 1640, -804, 0, -384, -256, -320, -84, 0, 2392, -1480, 820, 820, 0, 0, 1192, 368, -220, 0, 864, -1064, -840, -420, 0, -1296, 0, -792, 176, 0, -64, 752, 720, -900, 0, 20, 208, 0, -536, 0, -420, -328, -256, -944, 0, -770, 80, 52, 0, 0, 2304, 320, 616, 60, 0, 480, 720, 400, -76, 0, 844, -112, -880, -272, 0, -560, 0, 400, -460, 0, 0, 688, 520, -1110, 0, -412, 1072, 260, -1860, 0, -1860, 0, 108, -772, 0, 0, -768, -84, 1380, 0, 480, 404, 0, 236, 0, 400, -192, 416, -1092, 0, 620, 440, 692, 0, 0, -500, 80, -244, -32, 0, 1240, -480, 380, 1124, 0, 594, 1440, -1300, -40, 0, -1276, 1240, -1480, 0, 0, 0, 840, 608, -780, 0, -92, -184, -320, 1440, 0, -560, 0, 756, -576, 0, -8, -976, -168, -1180, 0, 240, -8, 0, 372, 0, -1760, 832, -340, 1246, 0, 460, 1120, 1108, 0, 0, -1000, 0, 688, -304, 0, -620, 2240, 660, -84, 0, 700, 272, 1400, -604, 0, -224, 3120, -680, 520, 0, 0, -496, -1608, 1300, 0, 920, 1152, -1030, -1740, 0, 964, 0, -1824, -504, 0, -64, -656, 472, -300, 0, 240, 720, 0, -56, 0, 1780, -2696, 264, 852, 0, 320, -560, -1196, 0, 0, 336, 2080, 120, -312, 0, 580, -440, 460, -186, 0, -372, 1472, 1350, 976, 0, -3052, 240, -760, -520, 0, 0, 2352, -176, -800, 0, 112, -648, -200, 1360, 0, 656, 0, 852, -1336, 0, -1784, 744, 408, -420, 0, 280, 320, 0, -316, 0, -60, 292, -1624, -872, 0, 400, 720, 248, 0, 0, 336, 600, -1980, -232, 0, 0, -280, -480, 1644, 0, -860, -16, -1380, 356, 0, 524, -1080, -1620, 1720, 0, 0, 256, -152, 380, 0, -1388, 1232, -940, -340, 0, -496, 0, -380, 196, 0, 132, -480, 228, -420, 0, 1160, -592, 0, 66, 0, 640, 424, -756, 68, 0, -1340, -480, 772, 0, 0, -1344, 2280, -776, 1328, 0, -740, 600, 520, -362, 0, 1152, -288, 860, 1580, 0, 900, -40, 940, -40, 0, 0, 8, 1872, 980, 0, -128, 288, -200, 1180, 0, 240, 0, 1136, -424, 0, 860, 96, -32, 360, 0, -820, -512, 0, 1456, 0, 560, -872, 344, 676, 0, -380, -1320, -608, 0, 0, 216, -680, -348, 1020, 0, 740, 1440, 1040, -292, 0, -860, -816, -760, 272, 0, 888, 1440, -840, -1780, 0, 0, 1288, 2992, 500, 0, 252, -1384, -1400, 720, 0, 88, 0, -908, 1216, 0, -192, -1112, -324, -2380, 0, -60, 272, 0, 648, 0, 1170, -1008, 276, -2464, 0, 1900, 760, -1104, 0, 0, 192, 240, 304, -380, 0, -20, -1360, -1520, 1364, 0, -152, 320, -560, 776, 0, 64, -680, 2060, 390, 0, 0, -2096, -344, 2060, 0, -748, -1112, 2160, 80, 0, 120, 0, 12, -2512, 0, -1252, -296, -212, -1620, 0, -700, 1448, 0, -1700, 0, -1340, 880, -176, 188, 0, -720, -440, 836, 0, 0, -336, 400, 344, 484, 0, 430, 2240, -1640, 1704, 0, 2484, 384, 1740, 40, 0, 212, 800, 1160, -880, 0, 0, 56, -1024, -920, 0, 732, -200, 1020, -1920, 0, 1672, 0, -172, 820, 0, 860, 1000, -1420, -1200, 0, 100, -72, 0, -682, 0, -380, 3008, 296, 1636, 0, 1940, -200, -444, 0, 0, 1944, -2680, -576, -704, 0, 540, 280, 1460, 940, 0, 1428, -3824, 1640, 100, 0, 248, 880, -40, 1440, 0, 0, -1120, -88, 80, 0, -232, -56, 2400, -640, 0, 552, 0, -832, 1448, 0, -1352, 200, 2372, 1180, 0, -850, -1760, 0, -464, 0, -280, -200, -1576, 2176, 0, 820, -1400, 48, 0, 0, -1080, 0, 948, -854, 0, -720, 720, -530, -32, 0, -80, -1872, -760, 284, 0, 332, 360, 0, 320, 0, 0, 260, -1976, -2480, 0, 556, 792, 960, -60, 0, 536, 0, -712, 296, 0, 1292, -288, -798, -2220, 0, -1420, -600, 0, 148, 0, -920, 56, 928, 2372, 0, 3040, 480, -72, 0, 0, -4, 960, -256, -872, 0, 960, -1520, 1100, -672, 0, 916, 1872, 1660, 568, 0, 1192, -440, 1440, -1900, 0, 0, -1616, 1360, 700, 0, 148, 640, -340, -1300, 0, -120, 0, 1432, 176, 0, 528, -252, 328, 0, 0, -1340, -992, 0, 1672, 0, 300, -344, 1144, -1644, 0, -160, 2800, 100, 0, 0, 1984, 80, 352, 1076, 0, -1660, -2720, 580, -928, 0, -432, 1008, -1740, -46, 0, 124, -2400, 380, -1000, 0, 0, 228, 408, -1840, 0, 60, 704, 1080, 1940, 0, -1732, 0, -1060, 504, 0, 224, 2160, -382, 1760, 0, 0, 608, 0, -1392, 0, 1300, 1040, 32, -580, 0, -1080, -280, 768, 0, 0, 120, -520, 2040, -64, 0, 3200, 480, -480, -1276, 0, 238, -592, 300, -1160, 0, -1372, -1280, 3060, 1560, 0, 0, 2832, -832, -1200, 0, 128, -1784, -1180, 1300, 0, -64, 0, -1328, 1192, 0, 956, 1608, 1752, 1080, 0, 250, -936, 0, 1240, 0, -2260, -208, 2876, -672, 0, 1120, 480, -792, 0, 0, 1272, -920, 1416, 606, 0, -180, 0, -740, 552, 0, -432, 1904, -2160, -64, 0, -72, -2960, -1160, -200, 0, 0, 312, -1944, 150, 0, 184, 1120, 1860, -2540, 0, 900]