# Trace form for 1520.2.t, downloaded from the LMFDB on 25 April 2024.
[0, 432, 0, 0, 0, 0, 0, 0, 0, -432, 0, 0, -16, 0, 0, 0, 0, 0, 0, 0, 0, 0, -16, 0, 0, 0, 16, 0, 32, 0, -24, 0, 40, 0, 16, 0, 0, 0, 0, 0, -40, 0, -80, 64, -64, 0, 0, 0, -84, 0, 0, 0, 60, 0, 16, 0, -48, 0, -32, 32, 92, 0, -24, 0, 0, 0, 16, 0, -96, 0, 24, -64, 100, -16, -56, -32, 0, 0, 128, 0, -16, 432, -24, 0, 0, 0, 16, 0, 108, 0, 136, -32, -40, 0, 0, 0, 16, 0, -88, 32, -112, 0, -144, 0, -16, 0, 40, 0, -12, 0, -120, 0, -72, -16, 0, 64, 0, 0, -152, 0, -208, 0, -136, -160, -120, 0, -56, -128, -112, 0, -72, 32, 156, 0, 72, 0, -80, 0, 32, 0, 96, 0, 88, 0, 56, 0, -104, 128, -56, 0, 72, 0, 0, 0, -80, 80, 80, 0, 152, 0, -52, 0, -64, 0, 192, -64, 80, 0, 248, 432, 48, 0, 80, 0, -144, -160, 40, 0, -32, -96, -144, 0, 160, 64, -80, 16, -144, 0, 88, 0, 0, 0, -148, 0, 96, -24, 64, 0, -56, 0, -240, 0, -136, 144, -120, -64, 0, 208, 56, 0, -168, -96, 104, 0, 40, 0, -264, 0, 32, 112, -8, 64, -80, 0, -16, 0, -48, -208, 52, 64, 24, -224, -56, 16, -160, -104, 168, 0, 104, -64, 128, 0, 216, 0, 160, 0, 208, 0, 88, 0, 152, -144, -296, 0, 144, 240, 80, -80, -176, 0, 16, 0, -144, -160, -72, 0, 0, 0, 36, -64, 96, 0, -64, 0, 0, -32, 112, -128, -64, 0, -48, 0, 0, 0, 48, 0, 48, -176, -296, 0, -64, 32, 120, 0, 120, 0, 64, 0, 32, 0, -64, 64, -32, 160, 48, -80, -80, 304, 0, 0, 224, 0, -220, 0, -288, 232, 48, 0, 248, 192, -32, -64, 184, 0, 0, 64, -8, 304, 8, 64, 256, 0, 64, 0, -80, 0, -120, -80, -160, 0, -240, 64, 0, 144, 64, 0, 224, 0, 88, 0, 296, 0, -184, -16, 248, -48, -168, 0, -336, 0, 100, 0, 88, 240, -208, 0, -264, 256, -16, 0, -128, -96, -104, 0, 128, 0, 88, 80, 8, -32, 32, -64, 88, -240, 280, 0, 104, -464, 72, -128, 528, 0, -176, 64, -144, -336, 96, 0, -216, 0, 72, -64, 160, 0, -16, 0, 352, -224, 184, 0, -112, -112, 76, 0, 120, 128, 80, 0, 56, 48, -264, 0, 296, 0, -256, 16, 240, 0, 484, 64, -144, 0, -204, 64, 32, -248, 136, 0, -296, 0, -108, 0, -216, 160, 56, 64, 40, 0, -272, 0, 96, 80, -196, 0, -144, 304, 0, 0, -24, 0, 264, -64, 384, 0, -32, 0, 160, 176, -544, 0, -256, 0, 40, 0, 168, 0, 120, 0, 120, 0, -240, 0, 176, 0, -32, -160, -184, 0, 124, -64, -232, 0, -296, -256, -48, -400, 136, 0, 264, -64, -72, -64, 192, 304, 480, -80, 112, 0, -232, -64, -176, 0, -36, 0, 0, 192, 40, -128, 200, 0, -32, 0, 424, 208, -88, -32, 240, 224, 172, 0, 88, -160, 0, 0, 128, -224, -16, 0, 24, -80, -92, 0, 192, -128, -216, -80, -72, -480, 192, 64, -104, 0, -104, -64, -120, -400, 40, 0, -208, -160, 128, 0, -184, 0, 144, -128, -272, -208, 152, 0, 88, 0, -268, 0, -344, 0, 192, 80, -8, 320, 280, 64, -136, 0, -88, 0, -424, 0, -152, 0, 0, 0, -100, 16, -104, -88, -88, -192, -40, 0, -200, 0, -160, -160, 56, 0, -184, 0, -60, 0, -184, 368, 464, 0, -136, 0, 56, 80, 608, -160, -368, 0, 264, 400, 352, 80, -120, 0, 288, 0, 208, 320, -96, 0, 176, -48, -512, 0, 192, 320, -136, 0, -472, 0, 128, 320, 0, 208, -52, 0, 176, 160, 152, 0, 64, 0, -48, 80, -464, -192, -468, -64, 296, 288, 104, 0, -176, 0, -88, 64, 248, 0, -544, 64, -232, -16, 48, 0, 8, 0, -400, 0, -184, -160, 0, 224, -136, 480, 88, 0, -440, -256, 68, 0, -272, -208, 0, -160, -264, 304, 176, -192, 488, 0, -8, 0, 208, -704, 376, -192, 32, -384, 328, -192, -208, 0, 320, 0, -184, -576, 0, 0, 0, 0, -280, 0, -32, 0, 8, -432, 112, -160, 484, -256, 288, 496, 144, 0, 456, -80, 252, -64, 48, 0, -64, -64, 400, 0, 168, 256, -424, 0, 456, -192, -104, -160, 424, 320, -16, 0, 0, 0, -224, 0, -112, 48, -272, 0, 272, 0, 592, 256, -88, 0, 320, 208, 208, 0, -192, 0, 88, -192, -128, 0, 208, 80, 320, -128, 312, 0, 256, 0, -612, -16, -104, 72, 0, 0, 136, 192, -512, 0, 232, 0, 80, -432, -200, 0, -140, 0, -568, 160, -392, -416, -176, -256, 312, 0, 88, -80, 24, -128, -120, -64, 360, 256, -280, 0, 192, 0, 368, 0, 40, 0, -128, 32, 0, -320, 16, 0, 864, 0, -112, 16, 240, 64, 288, 0, 236, 0, -384, -240, -560, 0, -520, 0, 168, 0, -88, 96, -112, 224, 352, -496, 144, 80, -144, -272, 112, 416, 248, -192, -328, 192, 0, -112, 240, 0, 80, 64, 368, 0, 192, 0, 112, -144, -64, -352, -332, 0, -280, -176, -256, 0, -152, 352, -288, 0, 376, -208, 32, 0, 72, 160, 160, -16, 248, 0, 436, -288, 40, 0, 32, -64, -256, -304, -216, 32, -96, 0, 752, 0, 472, -304, 16, 160, -80, 0, -96, 0, 0, 0, -344, 0, 48, 0, -216, -80, 624, -64, -88, 224, -688, 96, -232, 0, 200, -176, 224, 64, 0, 448, 208, 0, 352, 256, 0, 0, -376, 288, 848, -432, 0, 0, -424, 384, -400, 416, -768, 0, 24, 224, 336, 256, 88, -576, 240, 0, 248, -384, 464, 224, 520, -144, 248, 0, 136, 0, -128, 192, 608, 0, 720, -192, 112, 544, -624, 448, 304, 0, -384, 0, -104, 800, 248, 400, -528, 0, -216, 0, 144, -560, 248, 0, -360, -352, 536, 80, 0, -192, -424, 0, -168, -112, 280, 0, 0, 256, 72, -224, -776, 0, 520, 208, 216, -488, -608, 0, -536, 0, -748, 0, -560, 0, -424, 0, -264, -560, -184, 64, 296, -96, -96, -416, -208, 0, -736, 0, -168, 288, 276, -256, 112, -304, -64, 192, 80, 0, -872, 0, -56, 0, 328, 208, 48, 128, 8, 160, 304, 0, -96, 0, -192, 0, 168, 32, 144, -480, 536, 0, 192, -80, -816, 0, 16, 112, 424, -80, 328, -160, -576, 0, -32, 576, -224, -80, -600, 480, 72, -64, -680, 0, 116, 64, -152, 432, 88, 0, -192, 640, -192, 0, -488, 0, -184, -448, 0, 352, -648, 0, -216, 224, 520, -352, 72, -512, -72, 0, 144, 144, -120, 192, 248, 208, -296, -400, -304, 0, -168, -224, -504, 0, -76, 16, -304, -224, 544, -288, 1096, 0, 216, 0, 440, 128, 624, 16, -280, 656, -400, 0, 680, -160, 496, 0, -80, -336, 120, 0, -88, 576, 408, -64, -576, 128, -48, 0, -272, -432, -1256, 0, 136, -960, 292, -208, 8, 32, 288, 0, 200, 160, 52, 0, 320, 0, -88, -128, -64, 0, 264, 0, -432, -448, 1012, 0, 208, 0, -48, 176, 648, 0, -16, 288, -528, 0, -352, 64, -256, 0, 452, -192, 448, 0, 368, 192, -560, 0, 360, 288, 32, 0, 480, 0, -288, -208, -72, 0, 760, 0, 224, 0, 608, -320, -328, 0, 144, 352, -400, 0, -816, 128, 16, 0, -848, 112, -560, 96, 488, 352, 380, 0, 112, 192, 908, 0, 96, 288, -152, 0, -392, -320, 168, 384, -720, 0, -16, 128, 8, 640, -256, -320, -104, -64, 88, 1024, -48, -368, -488, 96, -296, 80, 252, -224, -384, -160, 912, 0, -64, 0, -488, 64, 208, 0, 80, 208, 224, 248, -416, 800, 608, 0, -368, 0, 576, -512, 208, -160, 408, 224, 192, 0, -96, 192, 692, 0, 552, 208, -176, -96, -560, 320, -560, 64, 320, 0, 128, 80, -440, -192, -100, 0, -200, -384, -212, 0, 536, 112, -480, 0, 72, 576, 56, 320, -328, 0, 528, 464, -104, 0, 156, 432, 248, -400, -128, -352, -200, 0, -448, 0, -960, 352, 928, 0, -88, -512, -344, -208, -584, 0, -64, 224, -136, 0, -128, 0, 128, 480, 56, -480, -296, 0, 496, 0, 600, -304, -120, 128, 176, -576, 260, 0, -576, 352, 152, 0, 72, 432, -264, 80, 760, -496, 560, 0, 368, 368, -536, 0, -8, 528, 176, -192, -968, 544, 440, -176, 392, 608, -104, 0, -64, -192, 804, 0, -432, 0, 0, -480, 176, 640, 480, 320, -104, 368, -560, -512, 1168, 160, 40, 0, 1232, -544, 352, 0, -760, 0, -384, 208, -160, 0, -512, -64, -248, 0, 232, -64, 24, 384, -520, -320, -80, 0, 40, 0, 104, 768, 568, -288, -8, -208, 72, 0, 560, 16, -552, 0, -768, 0, -424, 0, -512, -512, 404, 0, -664, 496, -144, 96, -216, 32, -720, 0, 528, 224, -912, 0, -232, -352, -496, 0, -32, -704, 0, -432, 768, 0, -632, -160, 72, 0, -168, 0, -1136, -128, 332, 864, -208, -240, 120, -400, -336, -32, -104, 192, -312, 0, -128, -192, -80, 0, -632, 0, 216, 0, 196, -208, 160, 416, 56, -608, -144, 0, 692, 0, -360, -144, -88, -64, -72, 176, 632, 0, 536, 272, 408, 0, 24, 640, -520, -96, -728, -384, -64, 0, -136, -256, -176, -320, 480, 704, 200, 160, -504, 960, 24, 0, 192, 112, 0, 0, -576, -32, -696, -160, -256, 0, -24, 944, -16, -304, -596, 160, 616, 528, 424, 800, 640, 0, -616, -320, -224, 0, -472, 0, -448, 448, -648, 0, 64, 0, 372, 0, -656, 0, 16, 0, 0, -952, -48, 288, -120, 0, 96, 0, -152, 336, -688, -96, 480, 448, 320, 0, -224, 160, 288, 0, 336, 352, -40, 416, -384, 144, -312, 32, 192, 352, -16, -80, -40, -480, -116, -160, 232, 0, -60, 192, 464, 0, 944, 0, -408, 0, -864, -592, -72, 0, 304, 160, 824, 224, -120, -64, 376, 0, 672, -512, -232, 704, 96, 0, -328, -192, 56, -224, 640, -512, 216, 0, -528, 0, 136, 160, 0, 0, 280, 192, -424, -632, 480, 256, 384, 0, -632, 0, 600, -1136, 880, -672, -48, -448, 1052, 0, 640, -128, -420, 0, 696, -416, -296, 0, -472, -32, -544, -224, -680, -576, -328, -96, 144, -32, 88, 64, -848, 416, -488, 144, 192, 568, -48, 0, -224, -448, 224, 0, 616, 0, -304, -384, 248, 0, 384, -160, -72, 528, -384, -608, 568, -32, -496, 80, -8, 224, 72, -160, 24, -160, -184, -192, 0, 0, -924, -192, 968, 0, -384, 192, -488, -384, 88, -1088, 120, 0, 836, 0, 8, -816, 112, 0, 720, 496, -248, 0, -616, 0, 224, 0, 304, 560, 376, 0, -128, 192, -568, -224, 48, -832, 176, -320, -800, -288, 936, 160, 200, 0, -988, -192, -400, -152, -680, 0, -552, -320, 480, 64, 352, 0, -184, 416, -168, -96, -336, 432, -304, 672, 408, 864, -32, 0, 32, 0, -104, 240, 312, 0, 176, -624, -160, 208, 288, 0, 576, 0, 640, 0, -412, 0, -104, 480, -304, 608, -520, 0, 96, 0, 544, 544, 0, 272, -216, -720, 392, 0, -264, 160, -392, 0, -136, -352, 616, 320, 656, 208, 8, 0, 8, -80, 296, 0, 400, 1168, 236, 0, 536, -320, 504, 16, 1184, 880, 96, 0, -584, 0, 56, 128, -376, 0, -208, 800, 304, 368, 48, -128, -448, 112, 88, 512, -144, -352, -224, 80, 240, -208, -364, 0, 152, -128, 624, 0, 1320, 0, 964, 384, -1408, 0, -144, 192, 432, 648, 584, 256, 16, 0, -704, 0, -1304, -336, -552, 576, 672, -480, -808, 0, -64, -96, -648, 0, 368, -304, 144, -320, -568, -112, 696, -320, -160, 0, -80, 0, 1160, -496, -1248, -320, -568, 448, 600, 0, -136, 104, 176, 0, 296, 0, -912]