# Trace form for 2535.2.a, downloaded from the LMFDB on 24 April 2024.
[0, 104, -4, 2, 100, 0, -2, 0, -12, 104, 0, 0, 6, 0, 16, -2, 100, 8, -4, 0, 8, 8, 16, 0, 6, 104, 0, 2, 32, -16, 2, 8, 12, -8, 32, 0, 100, -24, 48, 0, 0, 0, 8, 8, 32, 0, 32, 8, 30, 128, -4, 4, 0, -8, -2, 16, 40, 16, -24, 16, -6, 16, 8, 0, 116, 0, 0, -16, 40, -16, -8, 0, -12, -8, 24, 2, 8, -8, 0, 8, 32, 104, 24, -8, -16, -16, -40, 12, 40, 0, 0, 0, 32, 8, 24, 0, 30, 8, -20, 0, 100, 24, -20, 48, 0, 8, -32, 40, 6, -32, 16, 4, 32, -8, -24, -8, -48, 0, 16, 32, -6, 104, -8, 12, -24, 0, 16, -72, -92, -80, 0, 72, -24, -80, 56, -2, 56, 0, -24, -72, -32, -32, -24, 0, 100, 16, -64, -86, -24, -48, -2, 32, 120, 8, -24, 32, 0, -120, 16, 4, 40, 32, -4, 32, 32, 0, 56, 56, 16, 0, -40, 0, 48, 72, -28, 0, 32, 8, 96, 32, 8, 8, 0, -76, 56, 24, 40, 80, 40, 8, -40, 40, 38, 40, 80, 0, 228, -16, 16, -24, -12, 40, -8, 32, 36, 24, 40, 0, 0, 128, 16, 0, -48, -48, 0, -8, 6, -16, 16, 20, 8, 0, 36, -16, 136, 104, 8, -8, 0, -24, 8, 40, -24, 64, 0, 0, -64, -104, 24, 16, -30, 40, -36, 2, -32, 16, -4, 0, 0, 8, 0, 48, 32, -32, -56, -12, 116, 72, 80, -152, 0, -16, 32, 72, -40, 0, -32, -20, -64, -32, 2, -24, 152, 0, 32, 0, 48, 32, 16, 8, -16, -16, -88, -16, 16, -8, 0, -8, 12, 184, -16, -4, -24, -64, 22, 16, -480, -8, -496, 0, 6, -8, -624, 28, -8, 16, 32, 0, -552, -104, 40, 24, 0, 80, -72, 0, -584, -112, -12, 32, 24, 0, 8, -96, 100, 0, -544, -4, -8, 144, 32, -56, 56, -24, 128, -8, -64, -16, 0, 12, 0, 56, 48, -96, -168, 0, -24, 112, 76, -16, 16, 0, -480, 48, 8, 8, -16, -16, -64, 16, 0, 176, 120, -22, 0, -32, 28, -48, -456, 0, -40, 16, 8, 32, 128, -2, 240, 0, 8, -40, 32, 0, 144, 40, 86, 16, -456, 8, 72, -32, 0, 40, -12, 24, -8, 0, 32, 8, 80, -80, 100, 0, 16, 0, 208, 0, -440, -112, -68, 48, 72, 28, -64, 80, 32, 16, 0, 56, 0, 16, 56, 0, 192, 8, 56, 8, -40, 16, -416, 0, 80, 64, 30, 56, 96, -28, -104, 16, 92, 112, -16, 128, 0, 24, 20, 48, 48, 52, 128, -32, -4, 24, -520, 8, 72, 0, -24, -8, 104, 4, 24, -16, -16, -96, 24, 0, 64, 80, 0, -48, -8, -12, 264, 80, 72, 0, -32, -8, -624, -16, -30, 0, 32, -32, 284, -56, -2, -80, 24, 0, -8, 72, -44, 64, 0, 16, -152, 144, -16, -48, 8, -24, -144, -16, 40, 8, -616, 0, -256, 16, -4, -360, -260, 16, -24, 40, -368, 112, -112, 44, 0, 160, -24, -336, 240, 8, 40, 80, -24, 208, -8, 16, -320, 0, -20, -56, -504, 48, -24, -48, -6, -32, 128, -372, 72, 32, 0, -88, -144, 16, 16, -48, -104, 16, 8, -4, -304, 48, 8, 0, -32, 24, 48, 48, -136, -16, -200, 0, -456, 80, 0, -264, 0, 24, 40, 0, 116, 24, 4, -4, 32, 56, 68, -16, -56, 0, 104, -40, -458, -40, -48, -20, 56, 96, 0, 24, 64, 32, 0, 0, 6, 96, -536, -16, -24, 0, 68, -296, 224, 32, -8, 0, 40, -8, 200, 44, -96, 64, -56, 56, 64, -16, -272, 96, 0, 104, 24, 72, -456, 64, -8, -16, -160, -64, -260, -24, -208, 0, -408, 0, -228, 160, 80, 64, -96, 8, -196, 8, -12, 216, 0, -448, 48, 56, -376, -8, -48, -8, 48, -64, 56, -72, 200, 0, -284, 32, 24, 200, 232, 80, -32, 16, -48, 96, -104, 2, 0, 88, -52, -32, -40, 24, -16, -24, 8, -16, 120, -20, 48, 0, -276, 40, 208, -8, -48, 64, 36, 160, -40, 44, 32, 144, 0, -312, 128, 24, -212, -80, 40, 88, -16, 8, 232, 96, 152, 0, -456, -16, 64, 272, 32, 160, 108, -28, -92, -16, -66, -64, 0, 104, 16, 200, -204, 56, -248, -18, 152, 272, 24, 88, 16, 0, 168, -56, -124, 40, -24, -8, 64, -112, 2, 120, 264, 24, 0, -16, -16, 72, -440, -72, -72, 128, -24, -136, 208, -16, -76, 0, 110, 184, 48, -36, 120, 0, -40, 8, 280, -24, 24, 112, 0, 120, 96, 12, 348, -16, 8, -208, -80, 128, -220, -48, 40, 0, 224, -20, -136, -16, 32, -40, 12, 0, -624, 264, 88, 24, 0, 108, -184, 80, 0, 16, 256, 88, -56, 96, -272, 48, 112, 0, 120, -48, 84, 72, 152, -8, -96, 24, 32, -24, 24, -396, 0, 344, -48, -40, 336, 8, -64, 0, 16, 288, 56, 44, 28, 0, 24, 0, -392, 8, 32, -32, -112, 40, 64, 0, 24, 240, 0, 136, 8, 48, 408, 40, 30, 16, -56, 6, 48, -64, -20, 0, 72, 8, -116, 0, 12, -72, 176, -4, 0, 232, -20, -128, 0, 32, -48, 88, -36, -48, 56, 0, -48, 72, -28, -24, -200, 0, 136, -48, 100, 72, -208, -32, 168, 48, -156, -320, -168, 24, 0, -80, -32, 248, 344, 20, -56, -48, -20, 40, -8, 0, 168, 0, 32, -24, 136, 48, -72, -16, -40, -40, 328, -48, 112, 8, 0, 248, -128, -84, -316, 0, -92, 64, 64, 8, -256, -72, -224, 0, 48, 76, 256, 232, -32, -32, -64, 64, 264, 160, -38, 360, 0, 40, 8, 8, 152, -16, -60, 8, -40, 112, 6, -80, 288, 0, -100, 48, -40, -40, -88, -32, 32, -104, 180, 24, 48, 80, 0, 336, 16, -304, -40, -48, 104, -32, -80, -16, -488, 4, 0, 0, 216, -48, 224, 64, -248, 32, 32, -8, 112, -12, -128, 48, 0, 80, 152, -8, 208, 144, -44, -96, 64, 40, 164, 0, -24, 0, 384, 40, -32, 232, 192, 56, -176, -8, -104, 240, 100, 64, 0, 0, 184, -48, -48, 24, -8, -100, 128, 160, 8, 80, -352, 0, -108, -32, 56, 96, 108, 20, 16, -48, 16, 112, -160, -8, 0, 104, 36, 224, 24, 32, -32, -48, 40, 8, 272, -48, 432, 0, -6, -72, 224, -390, -24, 0, 44, -64, 472, 104, 32, 208, 0, 200, -104, 36, 84, -224, -8, 248, 32, 48, 400, 8, 128, 0, 376, 12, -288, 176, 92, -104, 160, 48, 416, 88, -24, 56, 0, -84, -80, 200, 296, -64, -96, 0, -80, 376, 72, 80, 8, 0, -112, 96, 16, 56, 208, -64, 56, -96, -340, 64, 192, -72, 0, -16, 16, 232, 408, -40, 32, 160, -92, -56, 352, -56, 412, 0, -12, 40, 120, -80, 160, -8, 44, 64, -208, 132, -40, 112, 0, 48, 128, 160, 128, 8, 54, -64, 64, 72, 40, 16, 76, 0, -624, -16, 268, -1200, -24, 64, 96, -28, -720, 256, 0, 72, 0, -80, 144, -944, 30, -56, 72, 124, 48, 80, 56, 16, -1032, 0, 112, 16, 108, 152, 344, -2, 152, -32, 176, -1160, 112, 80, 0, 64, 56, 128, -280, 20, 144, -112, -12, 40, -976, 0, -92, 0, -264, 8, 392, 40, 120, 16, -24, -48, 168, -16, 24, -1016, 0, -24, -4, -72, 600, 80, 128, -40, -88, -40, 568, 80, -32, 0, 72, -4, -1160, -24, -88, -112, -144, -32, -8, 0, -92, 56, 0, 4, 256, 184, -24, -8, 80, -72, 152, -936, -244, -64, 280, 0, -368, -192, -48, -240, -368, 32, -112, 0, 100, 224, -64, -44, 0, 184, -112, 64, -672, 16, -24, 72, 20, 200, 24, 88, 224, 0, -64, 24, 320, 24, 112, 48, -8, 48, 440, -86, -40, -8, 0, -928, -72, 80, 112, -96, -24, -112, 112, -12, -28, 64, 120, 0, 80, -48, 232, 176, -192, -48, -248, -52, 56, 240, -2, 64, 0, -32, 32, 0, 108, 16, -272, 32, 16, 128, 192, -32, 424, 0, 488, -152, 120, 104, -120, -4, -96, -16, 124, 16, -392, 8, 0, -960, 8, -72, 40, -28, -120, 16, -24, 112, 336, 40, -284, 0, 404, -48, 456, 32, -88, 64, 12, -56, 40, 112, -248, 168, 0, 96, 176, -416, -720, 64, -8, -8, 240, -120, 488, 72, 64, 0, -232, -8, 24, 136, 16, 160, -128, 16, 320, -16, 64, 232, 0, 4, -176, 152, 0, 0, -48, -16, -80, -1056, 40, 72, 504, 0, 380, 80, -240, 240, -8, 32, -24, 224, -2, -96, -104, 28, 0, 176, -4, 104, 40, 24, -128, -112, -12, -16, 456, 32, -112, 0, 34, 64, -720, 88, -64, 16, 32, -64, 224, 80, -64, 184, 0, 72, 64, 0, -336, -120, 136, -24, -72, 136, 328, 160, 56, 0, 392, -48, 296, 480, -6, 120, 32, 56, 548, 16, 56, -832, 0, 48, 8, 432, 16, 48, -120, 4, -296, 360, 176, -72, 160, 0, 424, 8, 48, 16, 256, -172, 32, -144, -40, -184, -72, -8, 0, 32, 110, 88, 536, 0, -32, 0, -20, 272, -672, -40, 168, 0, 48, 40, 8, 64, 248, -128, 104, -56, -384, 72, 112, 240, 0, 96, 48, 164, 60, -96, -28, 112, -52, 144, 112, -240, 16, 0, 72, 0, 208, 128, -24, 96, 96, 0, 200, -904, 32, 40, 0, 98, 40, 224, 68, 200, 240, 8, 48, 144, -232, -72, 288, 0, 116, -160, 96, 184, 144, -8, 176, 56, 184, 160, 64, 32, 0, 352, 20, 128, 352, 184, 104, -64, 8, 256, 352, -148, -720, 0, -188, 128, -152, 8, -8, 0, -84, -32, 352, -28, 88, 376, 0, 176, 56, 0, 296, 144, 164, 56, 40, -76, 208, -128, 0, 0, 288, 16, 504, -48, 56, -24, 72, -88, 96, 296, -124, -40, 0, 24, -232, -1024, 72, -104, 24, 52, -64, 376, 40, -16, 232, 0, 384, 176, 56, 320, -92, 80, -104, 0, 76, 96, 192, 192, 0, -336, 40, 376, 80, 28, 168, 144, 112, -328, 40, 8, -200, 0, 48, 16, -400, 180, -64, -64, -40, 32, -576, -56, 32, -504, 0, 536, -64, 40, 304, 0, -112, 80, 224, -16, -392, 208, 38, 0, 56, -4, 256, 208, -190, 56, 224, 40, 416, -208, -68, 272, 0, 88, -200, 16, 80, 80, -256, 8, -8, 96, 348, -120, -368, 0, 324, 112, 60, -888, -176, -16, 24, -96, 228, -16, 216, -72, 0, 368, 24, -240, 88, -16, 192, 0, -12, 264, -216, 68, 184, 0, 16, 32, 368, 88, -32, 56, -116, -8, -528, -24, 160, 232, 0, -32, 16, 24, 136, 144, -12, -184, 160, -252, 440, 64, 40, 0, -512, 40, 128, -200, 104, -120, 40, -10, 416, -472, -8, -328, 0, 112, -160, -592, -356, -8, 80, 32, 200, -368, 68, 184, 688, 0, -240, -24, 36, -432, -304, -28, -104, 0, 16, 256, -176, 24, 0, -296, 96, 336, 24, -68, -336, -128, 40, 16, -120, 16, 576, 0, 32, 16, 408, 0, -152, -16, 144, 80, 224, 40, 24, 352, 0, -416, 8, 2, 112, -144, 156, -240, -120, 128, 352, 32, 180, 0, -376, 40, 672, -336, 16, 32, 128, 56, -124, 128, 64, 80, 0, 0, 8, 224, 332, 32, -64, 24, -112, -448, -48, 120, 136, 0, -704, 96, 232, -560, 96, -48, -160, 96, -30, 368, -36, 108, 0, -8, 0, -552, 704, -48, -136, 112, 96, 128, 616, -8, 140, 0, -16, -8, 64, 64, 48, 64, 6, 88, -176, 64, 64, -352, 0, -184, -152, -16, 272, 32, -104, -112, -208, 124, 216, -336, 16, 0, 712, -24, 4, -1136, 36, 168, 152, 20, 448, -288, 112, 8, 0, 120, 80, -304, 8, 104, 240, 108, -312, 104, 56, 16, 616, 0, -16, -272, 240, 392, 200, -8, 88, -32, 36, -192, 32, 96, 0, 120, -72, 88, 528, -16, -336, 0, 24, 160, 400, -160, 96, 0, 136, -120, 56, -172, 16, 208, 28, 96, -904, 104, -112, -352, 0, -712, 32, 12, -184, 80, 8, 16, 272, -1008, 312, -256, -240, 0, 160, -8, -448, 48, -128, -208, -172, -24, 24, -592, 0, -600, 0, 12, -216, -88, 40, -128, 120, -24, 144, 264, -840, -80, 424, 0, 256, -48, 8, 88, -224, 0, 456, -8, 284, -744, -16, 40, 0, 384, 0, -952, 688, 40, -264, 168, -24, -280, -560, 80, -544, 0, 140, -16, 640, 64, -24, -384, -16, 64, -56, 60, -24, 80, 0, -216, 208, -888, 24, 144, -184, -24, -144, 0, 608, 16, 244, 0, 72, 8, 464, -272, -64, -16, 24, -20, -632, 88, -8, -552, 0, -104, 24, -96, 148, 72, 72, 16, -216, 280, 24, -64, -752, 0, 736, -16, 184, -800, -40, 16, -280, -112, 288, 40, 224, -40, 0, -296, -30, 112, 168, -144, 344, -128, -122, 192, 568, 40, 112, 0, -748, 288, -200, 12, 88, 208, -36, 48, 224, 280, -64, 344, 0, 120, 40, 2, -752, 144, -76, 40, -32, -24, 108, 32, -32, 0, -504, -172, 40, -872, 168, 176, -48, 16, -416, -808, -40, 208, 0, 24, 64, -880, -4, 8, 40, -144, -8, -456, 84, 88, -752, 0, -408, 0, 336, 256, -128, -16, -32, -192, 0, -1296, -8, 60, 0, -472, 132, 304, -32, 8, 128, -360, 192, 48, -544, 96, 816, 0, 0, 56, 344, -912, -88, 80, -120, -192, 304, 48, -48, -800, 0, 120, -408, 48, 40, -40, 32, -8, -24, -348, -344, 112, -172, 0, 96, -32, -616, -144, 96, -96, -80, -36, -160, 48, -56, 192, 0, -48, 16, 424, 320, -72, 80, -12, 96, -1008, 248, 56, 32, 0, 720, 152, 116, 128, -40, -44, 216, 16, 16, 88, 284, 72, 0, -624, -132, -656, -280, -20, 176, -16, 80, -208, -528, 8, -1080, 0, 4, -256, -1032, -152, 192, -176, 100, 40, -800, 168, -48, -936, 0, -840, 128, 240, -432, -96, 40, -16, -216, -16, 24, -32, -866, 0, -384, 12, 52, 360, 32, -24, -16, 40, 608, 544, 44, -16, 0, 72, 424, -456, 24, -112, 352, 80, 280, 0, -40, 8, 512, 0, -1088, 64, 164, 64, 304, 0, 80, -64, 224, -696, -32, 36, 0, -920, -32, 88, -656, 112, 80, 32, 30, 336, 616, -20, 688, 0, 332, -128, -208, 104, 48, -128, -64, -32, -936, 24, -8, -304, 0, -304, -56, -32, -608, -136, 148, 8, 248, 164, -296, 112, 2, 0, 736, -96, -760, 24, -128, 152, 224, -24, -212, 152, -96, 136, 0, 56, 32, 360, 152, 16, -20, -160, 232, -856, 132, -112, -504, 0, -280, -80, 76, 368, -144, 52, -64, -64, 32, -240, -16, -752, 0, 184, -104, 240, -136, 0, 88, 160, 96, -1024, -1120, 136, 296, 0, 48, 80, -840, 220, -352, -160, -80, 120, 856, 32, -208, 32, 0, 296, -56, -36, 100, 32, 16, 32, -408, 0, -504, -32, 352, 0, 144, 8, -368, 472, -104, 56, -208, -80, 688, -360, -16, -800, 0, 30, -184, 24, 0, 96, -352, -16, 104, -536, -264, 64, -816, 0, -360, 0, -88, -392, -200, 112, -96, -8, -356, 48, 256, -16, 0, 432, -20, -256, -1144, -112, 80, -32, 16, -608, -736, 20, -384, 0, 248, -400, -680, -8, -152, 32, -96, -24, 232, -444, 112, -320, 0, 48, -128, -96, 448, 80, -32, 0, 96, -8, 408, 160, 296, 0, 752, 72, -576, 288, 12, -360, -104, -44, -720, -784, 76, -328, 0, 184, -8, 272, -992, 8, 8, -144, 112, 392, -16, -48, 840, 0, 228, 8, -244, 608, -176, -4, -160, 176, 176, -160, -192, 8, 0, -1000, -24, -232, -1224, 92, -288, -112, -152, -616, 592, -64, -752, 0, 96, -24, 424, 100, -72, 16, 22, -352, 112, 88, -32, -376, 0, -368, 24, 16, -56, -224, -96, 16, 32, 192, -120, 152, -480, 0, -776, 128, 192, 416, 52, -184, 104, -8, -104, 40, 32, 336, 0, -472, -64, -648, -496, -32, -64, 72, 152, -88, 176, 104, 128, 0, -184, 144, 196, 184, 8, 48, -160, 48, 6, 584, -80, 120, 0, 16, -200, 416, 1000, -8, -104, 144, -180, 328, 24, -60, 40, 0, -624, 0, 232, 8, -152, -144, 272, -32, -712, 28, 320, 512, 0, -160, -56, 336, -136, 88, -8, -112, 52, 224, 144, -256, 188, 0, -528, 16, -184, -152, 100, 120, 16, 40, -408, 424, 32, 72, 0, -768, 96, 360, -560, 216, 184, 0, -328, 24, 76, -64, 384, 0, 112, 128, -552, -824, -112, 4, 8, -112, 280, -232, 16, -104, 0, -792, 244, 224, -824, -4, 384, 64, 40, -136, 424, -96, 40, 0, -24, 8, 736, 24, 32, 192, 16, -288, 512, 40, 248, 152, 0, -160, -88, -356, -416, 336, 64, 40, 160, 80, 24, -16, 80, 0, -904, -76, 120, -8, -72, 96, 96, -40, -1000, -448, -88, -144, 0, 0, 72, 160, 112, -96, -16, -48, -40, -112, -584, 56, -600, 0, 840, -96, -24, -352, 128, -112, -112, -128, 408, 592, -200, -524, 0, -104, -12, 352, -400, 16, -208, 224, -80, -464, 96, 32, 144, 0, 216, -8, -472, 152, -176, -32, 24, -96, 1016, 58, 128, 128, 0, -104, 260, 0, -164, 96, -68, 224, -8, 12, -160, 48, 8, 0, -48, 144, 280, -472, 30, 120, -232, -96, -152, 520, 68, 576, 0, 248, 192, -592, 100, 136, -48, 8, 144, -56, 104, 16, -104, 0, -488, -72, -748, 528, -168, 12, 472, 384, -544, -536, -168, -16, 0, -16, 42, -144, 256, -4, 248, -96, -136, -888, 208, 40, 16, 0, -8, 88, 624, 76, -8, 80, -200, 224, 152, 144, 56, -256, 0, 8, -40, 136, 112, 64, 32, -72, -88, 112, -592, 32, -152, 0, 912, -56, 56, -648, 112, 48, -184, -16, -364, -344, 56, -392, 0, 252, -256, 352, 272, -16, -320, -24, 208, 576, -6]