# Trace form for 1520.2.ck, downloaded from the LMFDB on 23 April 2024.
[0, 640, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 16, -4, 0, 0, 8, 0, 0, 0, 0, 8, 0, -32, 0, -40, 0, 0, 0, -40, 0, 28, 0, -16, 0, 40, 0, 0, 0, 40, 0, 44, 0, -112, 0, 80, -640, 0, 8, 32, 0, 60, 0, -24, 0, 56, 0, 0, -32, 64, 0, -48, 0, -104, 0, 88, 64, 0, 0, -56, 0, -16, 0, -96, 0, 0, -32, -16, 320, 80, 0, 88, -16, -32, 0, -40, 0, 36, 0, 24, 0, 24, 0, 456, 0, -108, -32, 4, 0, 192, 0, 16, 0, -32, 80, -64, -16, 0, 0, 84, 0, -180, 32, -16, 0, 88, 0, -24, 0, -80, 0, -8, 0, 80, -80, 0, 32, 0, 72, -304, 0, -296, 0, -20, 0, 4, 8, 56, 32, -28, 160, -400, 0, -96, -80, -32, 0, -4, 0, -108, 0, -60, 0, 104, 0, 12, -128, 8, 0, -272, -160, -232, 0, 56, 0, 52, 0, 0, 152, -48, 0, 20, 0, 120, 64, 208, -160, 0, -16, -40, 0, 64, 0, -44, -128, 20, 0, -12, 160, -88, -64, 124, 32, 0, 0, -256, 0, 0, 0, -320, 8, -72, 0, -24, 160, 48, -64, 0, -8, 120, 0, 48, 0, 96, 0, 264, 128, -96, 0, -232, -112, 84, -320, -40, 304, 96, -32, 16, 0, -4, 0, -84, -64, 208, 0, 128, 0, -216, 64, -4, 80, -60, 0, 248, 0, -240, 0, 0, -48, -312, 0, -8, 192, -28, 0, -328, 16, 32, 0, -64, 0, -104, 0, 244, 352, 268, 0, -88, -16, 224, -128, 40, 0, 224, 0, 128, 0, -32, 0, -128, -16, 160, 32, 696, -336, 24, -320, -36, 32, 56, 0, -60, 0, 64, 0, 88, -72, 0, 0, 220, -320, -60, 0, 24, -80, -4, 0, -32, 0, 496, 0, 68, 0, 736, 0, -204, -96, -144, 0, 464, -376, 416, 0, -32, 0, 20, 0, -176, -192, -200, 0, -544, -288, -180, 0, 332, 136, -16, 0, -432, 0, 184, 0, -176, 48, 316, -32, 0, 384, -112, -64, 944, 96, -96, 0, -12, 0, -208, 0, 400, -88, -208, 0, 20, 160, -216, 0, -48, -144, -72, 0, 8, 0, -184, 0, 124, -96, 24, 128, -156, -192, 40, 0, 20, -48, 80, -64, 0, 0, 632, 0, -4, 32, 160, 0, 96, 16, 0, 0, -432, 80, 40, 64, 128, 0, -256, 0, 96, -240, -424, 160, 172, 0, -16, 256, -336, 224, -216, -112, 176, 0, 240, 0, -800, -40, -40, -128, -304, 0, 4, 0, 128, 72, -456, -80, -480, 0, -40, 0, 424, -176, -224, 0, -32, -496, -360, 0, 0, 80, 108, 0, 20, 0, -544, 0, -396, -112, -52, 144, 312, 0, -8, 0, -344, 160, -648, 0, -88, 0, 84, 0, -480, -16, -712, 0, -8, 112, -72, -64, 96, 944, 380, 0, 32, 0, -64, 0, -36, 72, 84, -160, -144, 0, -192, 0, -92, 168, 0, -96, 496, 0, -208, 0, -816, 320, -172, 80, -104, -416, 1008, -160, -536, 0, 352, 80, -16, 0, 112, 0, 336, -112, 184, 0, -80, 288, 180, 320, 16, -432, 216, 0, 224, 0, 28, 0, -476, -112, -32, -64, -172, -448, 376, 0, -68, -56, -172, 64, 0, 0, -592, 0, 352, 80, -220, 160, -256, 320, 48, -160, 192, -288, 76, 64, 28, 0, -352, 0, -56, 192, 200, 160, 16, 0, -32, 0, -88, 216, 72, -640, 920, 0, 148, 0, -212, -88, 440, -256, 0, 160, 52, -160, -156, 0, 552, -640, -296, 0, 0, 0, 336, 128, 240, -64, -224, 416, -468, 0, 212, 176, -148, 0, 320, 0, 616, 0, 204, 256, -80, -288, 8, 352, 332, 320, 376, 464, 864, -80, 0, 0, -188, 0, -80, 112, -344, -80, -112, 1088, 0, -64, 8, 8, 56, 0, -416, 0, 340, 0, 20, 248, 312, 320, 120, 0, -56, 64, 616, 104, 92, 64, 392, 0, 656, 0, 1048, -64, -444, 288, -56, -144, -520, 0, -772, 0, -256, -864, -72, 0, 0, 0, -36, -16, -900, 32, -396, -512, -356, -32, 360, 176, -352, 496, -236, 0, 88, 0, 148, 8, 0, -80, 688, -144, 480, 0, -372, -544, 152, -64, 184, 0, -268, 0, 64, 0, -252, 176, 168, 160, 240, -64, 40, 800, -340, 0, -48, 0, 416, 0, 64, 232, -812, 96, 304, -144, -236, -320, 300, 280, 0, 448, -496, 0, -200, 0, 148, -168, 904, -352, 16, 192, 416, 64, -12, 0, -172, 128, -364, 0, -40, 0, -360, 0, 204, -64, -72, -448, 1008, 192, -160, -352, -952, 160, 444, 0, 148, 0, -264, 408, -304, -256, 316, -288, 20, 0, -696, -352, 804, 160, -152, 0, 52, 0, -392, 0, -316, 0, -712, 512, -20, 160, 84, -136, -248, 0, 920, 0, -324, 0, 104, -24, 176, 128, 460, 0, -744, 320, -1088, -264, 112, 64, -192, 0, 240, 0, 372, 0, -160, 128, -16, -96, -312, -64, -608, 144, 436, 352, 196, 0, 132, 0, -180, -512, 696, 0, 116, 0, -592, 384, -16, -144, -208, 208, 488, 0, -448, 0, 528, -280, -76, 160, -504, -640, 372, 32, 384, -880, -48, -160, 40, 0, -128, 0, 500, 0, 164, 0, -208, -672, 64, -128, 1200, -96, 136, 0, 240, 0, -28, 0, -76, 584, 600, -464, 680, -128, 240, 0, 16, -104, -112, -256, -4, 0, -8, 0, 400, 0, 644, 64, 292, -288, 1164, 256, 412, 16, -352, 224, 664, 0, -144, 0, 480, -1024, 2440, 0, -140, -736, 100, 32, 0, -344, 912, -320, -244, 0, -344, 0, -800, -1088, -120, -32, 1248, -1280, 540, 0, 12, 80, 360, -320, 20, 0, 372, 0, -184, 96, 20, -160, 960, -240, 0, 896, 712, 24, 64, 0, -188, 0, -72, 0, 272, -8, -968, -112, 280, 0, 256, 0, -976, -176, -256, -128, 48, 0, -132, 0, 168, 1328, -496, -192, -128, 944, -188, 192, 212, 192, -1432, 96, -620, 0, 64, 0, 36, 88, 264, 64, -680, -256, 200, -256, -88, 648, 548, -368, -336, 0, -164, 0, 328, 80, -80, -304, -356, -224, -20, 0, -844, -656, -792, 448, 24, 0, -328, 0, -8, 64, -688, 672, -792, -16, 204, 448, 32, -192, -1048, 96, -336, 0, -32, 0, 44, -16, -152, 0, 356, -288, 80, -256, 112, 32, -108, 112, -360, 0, 356, 0, -372, -80, -320, -128, 136, 960, -456, 0, -344, 0, -1568, 0, -128, 0, 328, 0, -720, -856, -1224, 0, 484, 0, 52, -384, 296, 752, 840, 256, 96, 0, -244, 0, -548, 248, 4, 512, 1260, -576, -12, 0, 632, -64, -884, -288, -224, 0, 208, 0, -2040, 128, 412, -224, -328, -1024, 240, 64, -1648, 480, 732, 0, -296, 0, 128, 0, 128, -144, 688, 160, 428, 144, -52, -160, -456, -32, -132, 32, 448, 0, 100, 0, -124, -48, -296, 240, 4, 64, -1864, 32, -64, -96, -132, -352, 712, 0, 96, 0, 724, 208, -388, 64, 480, -384, 308, -32, 32, 608, 432, -96, -112, 0, 220, 0, 408, 160, 248, 48, 48, 816, -688, -512, 936, 56, 520, 512, 704, 0, -240, 0, -492, 80, 1272, 256, 32, 240, -12, -96, -264, 48, -416, 256, -548, 0, 112, 0, 96, -312, -128, 256, -320, 416, 616, -64, 1760, 96, 40, 96, -324, 0, 352, 0, 224, -80, 1160, 512, 280, 352, -1068, -96, 184, 216, 1152, -240, -400, 0, 32, 0, 504, 1200, -996, 96, 64, 608, 232, -128, 0, -208, -96, 608, -8, 0, 444, 0, 144, 328, 572, 704, -680, 672, 336, -128, 2800, -480, 316, -160, 184, 0, -152, 0, 1608, 8, -712, 96, -272, 112, -128, -256, -512, 488, -144, 64, -404, 0, -72, 0, -52, -672, 36, -992, 16, 288, 148, -192, 908, -384, 40, 192, 484, 0, 0, 0, -172, 200, 572, 96, 640, 720, -56, 0, -432, -104, 308, 224, -184, 0, -136, 0, -800, -304, -196, 0, -336, -160, 152, 0, 128, -624, -536, 208, -164, 0, 348, 0, 160, 424, -228, -160, -2056, -544, -376, 0, -92, 512, 88, -112, 32, 0, -360, 0, 164, -80, -616, -256, 344, 576, 336, -128, -1000, -80, -312, -144, 176, 0, 576, 0, -216, 96, 272, 144, -716, 0, -1232, 96, -424, -1584, 144, 96, -120, 0, -224, 0, -1672, 704, -1896, 288, -92, -144, 416, -192, -528, -288, 612, 176, 1096, 0, 20, 0, 8, -104, -744, 128, 572, 544, 52, 64, -128, -432, -372, -320, -552, 0, 268, 0, -584, 200, -112, 80, -1004, 704, -1312, 0, -1304, -16, 836, -64, 56, 0, -408, 0, 852, 56, 168, -768, 184, -336, -276, -192, -384, -96, 1092, 0, 220, 0, -212, 0, -32, 240, 1456, 0, 732, 0, -352, 0, -488, 72, -112, -112, 64, 0, -832, 0, 632, -1072, -392, -288, 128, -1376, 152, 160, -344, 0, 972, 0, -200, 0, -328, 0, 756, 816, 928, 0, -100, 0, -1132, 640, -192, -632, 712, 0, -536, 0, 228, 0, -648, 464, 8, 0, -248, -512, 424, 0, -808, 368, -1128, 992, -96, 0, -992, 0, 408, 0, -348, -208, 340, -512, 104, -640, 448, 352, -464, -32, 8, 0, -664, 0, 280, -560, 1536, 432, -292, -304, 316, 0, 376, -472, 488, 400, -72, 0, -588, 0, 688, -512, -1332, -80, 96, -576, -336, 0, 284, 0, 200, 544, 140, 0, 124, 0, -476, -248, 28, 576, -1088, 1056, 1064, 0, -144, 72, -356, -448, -152, 0, 576, 0, 2480, -352, -192, -224, 184, -480, 288, -256, -1144, -256, 568, 448, 128, 0, 636, 0, 292, 160, -1780, -160, 32, 1152, 8, -288, 896, 1600, -520, -64, 456, 0, 592, 0, 100, -256, 0, -368, -2416, -16, 280, 0, -560, 584, 72, -32, -264, 0, -660, 0, 8, -1504, 428, 416, -264, -80, 496, -128, -1256, -752, -256, -336, -96, 0, -184, 0, -1176, 96, -688, -384, -368, 160, 172, -32, 32, -704, -1352, 176, -1008, 0, -576, 0, 372, 128, 656, 640, 744, -272, -848, 0, -760, -296, -536, -16, -264, 0, -1808, 0, -1224, 0, 964, 32, -696, 384, 336, 224, -780, 1792, -1584, 0, 356, 0, 424, 0, -72, -456, -2576, 256, 1044, 64, 212, 64, 2336, 1344, 56, -832, -704, 0, -344, 0, -60, 304, -736, -640, 344, -928, -620, 64, 384, -96, -80, 192, 56, 0, -80, 0, -2120, 176, 184, 32, 60, -576, -1920, 32, -720, 456, 856, 192, -208, 0, -336, 0, 972, -424, 32, 256, 208, 896, 152, 0, -448, -960, 600, -448, 24, 0, 176, 0, -260, 544, 1720, 96, 1064, -480, -856, 0, 144, -176, -828, 128, 272, 0, -256, 0, 304, 976, -268, -224, -184, 0, 732, 448, 944, 816, -64, -304, 1144, 0, 644, 0, 780, -528, 1940, 208, -52, 720, 524, 128, 2024, -128, 320, -1792, 232, 0, -88, 0, 252, -160, 480, 128, 944, 576, 816, 224, -88, -144, 232, -896, -256, 0, 432, 0, -336, -16, -16, -832, 160, 1824, 436, 0, 460, 224, 252, -64, -112, 0, 616, 0, 468, 0, 3136, -384, 820, 0, -300, 0, 1992, 592, 1488, 160, -596, 0, 420, 0, -80, 800, -884, -144, -1792, 640, 684, 192, 484, -376, 12, -256, -964, 0, -204, 0, -776, -72, 1120, -448, 240, 96, -376, -128, 2352, 0, -740, -304, -84, 0, -512, 0, 1752, 648, -312, 0, 928, -608, 16, 0, -404, 376, -864, 384, -484, 0, 464, 0, 540, 272, 76, 512, -348, 0, 368, 0, -292, 0, -88, 368, -76, 0, 2168, 0, -28, -40, -348, -256, -1480, 752, -288, 192, -396, -568, 460, 0, -88, 0, -396, 0, -64, 688, -1156, -160, 400, -288, -288, 128, -368, -160, -224, -144, -96, 0, 1000, 0, -1224, 160, -652, 32, -384, 400, 132, 512, 360, 32, -1232, 688, -224, 0, 184, 0, 728, -232, -696, 288, 436, 1440, -848, 0, 224, 80, -8, 656, 728, 0, -8, 0, -1612, 208, -320, -128, 580, 544, 368, 0, -896, 368, -976, -96, -288, 0, 1084, 0, -552, 496, -1216, -224, 700, -384, -16]