# Trace form for 1440.2.cs, downloaded from the LMFDB on 04 May 2024.
[0, 472, 4, 0, 0, 4, 0, -8, 16, 0, 8, 8, 0, -4, 16, 0, -8, 0, 0, 16, 32, 0, 12, 8, 0, -4, 8, 0, -20, 0, 0, 0, 24, 0, 8, 0, 0, -4, 60, 0, 16, 8, 0, -36, -16, 0, -8, 8, 0, 424, -4, 0, 16, 4, 0, -36, 56, 0, 28, 0, 0, 24, -40, 0, -48, 8, 0, -28, 48, 0, 4, 40, 0, 0, 0, 0, 40, 32, 0, 0, 88, 0, -12, 44, 0, -4, 40, 0, 8, 0, 0, -8, -20, 0, 32, 0, 0, -8, 96, 0, -8, 8, 0, 0, -40, 0, -8, 60, 0, -32, -120, 0, -8, 0, 0, -24, 8, 0, 116, 56, 0, -8, -56, 0, -104, 4, 0, 0, -24, 0, 36, 8, 0, 16, -56, 0, -16, 8, 0, 32, -4, 0, -112, 88, 0, 0, 112, 0, 40, 0, 0, 24, -120, 0, -8, 120, 0, 60, 48, 0, 32, 16, 0, -84, 32, 0, 56, 120, 0, 0, -184, 0, -4, 52, 0, -136, -32, 0, 104, 96, 0, -8, -136, 0, -136, 4, 0, -16, -196, 0, -128, 0, 0, -8, -120, 0, -24, 4, 0, -32, -144, 0, -172, -40, 0, 108, 64, 0, 48, 0, 0, -104, -96, 0, 96, -124, 0, 0, -72, 0, -64, 8, 0, -160, 176, 0, -16, -76, 0, 64, -140, 0, -72, 0, 0, -36, 16, 0, -96, 0, 0, 0, -24, 0, 64, 4, 0, 0, -208, 0, -112, -24, 0, -48, -112, 0, -80, -24, 0, -56, -240, 0, -108, 0, 0, -4, -64, 0, -188, 0, 0, -16, -152, 0, -224, 44, 0, -68, -196, 0, -224, 8, 0, -28, 160, 0, -120, 56, 0, 0, -16, 0, -176, -60, 0, -84, -112, 0, 136, 40, 0, 56, 96, 0, 72, 0, 0, -156, -40, 0, -104, -56, 0, -8, -104, 0, 88, 84, 0, -192, -216, 0, 4, -8, 0, 24, -160, 0, -224, 56, 0, -72, 20, 0, -64, -168, 0, 32, -344, 0, -208, -16, 0, -208, 136, 0, -64, -204, 0, 0, 264, 0, 24, 8, 0, -172, -104, 0, 44, -112, 0, 56, 212, 0, 120, -16, 0, -8, 208, 0, 52, -136, 0, -4, 24, 0, -280, 0, 0, 0, 0, 0, -16, -160, 0, -8, 32, 0, 80, 64, 0, -184, 232, 0, 16, -88, 0, 76, -176, 0, -240, 0, 0, -40, -168, 0, -72, 0, 0, -64, 324, 0, -76, -16, 0, 0, 40, 0, -472, 0, 0, -40, 164, 0, 8, -64, 0, -48, 436, 0, 0, 16, 0, 0, 280, 0, -160, 0, 0, -64, 296, 0, 184, 44, 0, -4, 24, 0, 304, 0, 0, -104, 328, 0, 200, 0, 0, -8, 132, 0, -188, 8, 0, -264, -400, 0, -40, -252, 0, -56, 276, 0, 208, 8, 0, -196, 96, 0, -136, -160, 0, -16, -132, 0, -64, 84, 0, -264, 376, 0, 340, -152, 0, 56, 288, 0, 136, 56, 0, 128, 464, 0, 44, -296, 0, 92, 152, 0, 460, 64, 0, 0, 232, 0, -72, -208, 0, 16, 448, 0, 128, 8, 0, 36, -376, 0, -48, -128, 0, 296, 20, 0, 152, -48, 0, 252, 168, 0, 184, 88, 0, -8, -240, 0, -96, 40, 0, 172, 160, 0, 420, -104, 0, 0, 288, 0, -32, 164, 0, 0, 312, 0, 132, -44, 0, -84, 200, 0, 360, 0, 0, 168, 120, 0, 232, 184, 0, -8, 588, 0, 528, 8, 0, 0, 56, 0, 264, -92, 0, -32, -184, 0, 504, 0, 0, -96, 192, 0, 304, -160, 0, -72, -300, 0, -104, -188, 0, -48, -400, 0, 140, -72, 0, 12, -48, 0, -16, 200, 0, 96, -72, 0, -72, -248, 0, 0, 176, 0, 280, 0, 0, 152, -176, 0, 368, -148, 0, 76, 384, 0, 48, 16, 0, -332, 432, 0, 224, -200, 0, 0, -448, 0, -28, -60, 0, 344, 144, 0, 132, 48, 0, -136, -100, 0, 64, 128, 0, 136, -596, 0, -368, 0, 0, -8, -400, 0, 400, -76, 0, 56, -376, 0, 88, -76, 0, 40, 0, 0, 80, 0, 0, 104, -304, 0, -304, 356, 0, 0, -44, 0, -340, -184, 0, -336, 464, 0, 112, 184, 0, -64, -376, 0, -64, 0, 0, 140, -120, 0, 456, 0, 0, 0, 200, 0, 264, 4, 0, 0, -616, 0, 160, 120, 0, -132, -424, 0, 208, 8, 0, -96, -416, 0, -152, 0, 0, -132, -224, 0, -264, 248, 0, 176, -264, 0, -368, -36, 0, -84, -572, 0, -136, 8, 0, -80, 272, 0, 208, -208, 0, 0, -72, 0, 192, -316, 0, 8, -376, 0, 104, 80, 0, -8, 472, 0, 296, 0, 0, 356, 32, 0, -64, 248, 0, -264, -288, 0, -464, -140, 0, 288, -328, 0, 392, -192, 0, 16, -552, 0, -40, 0, 0, 200, -168, 0, -280, 248, 0, 0, -764, 0, 168, 8, 0, 216, 72, 0, 48, 420, 0, -64, 424, 0, -104, 144, 0, 72, -320, 0, -548, 160, 0, -8, 496, 0, 248, -348, 0, 168, 480, 0, -200, 344, 0, -52, 160, 0, -24, 0, 0, -176, 124, 0, 760, 256, 0, -8, -72, 0, 208, -224, 0, -200, 144, 0, -376, 288, 0, 140, -480, 0, -392, 0, 0, 172, -464, 0, 32, 0, 0, -184, 504, 0, -500, -184, 0, -160, -264, 0, -356, -80, 0, -40, 312, 0, 136, 4, 0, 308, 876, 0, 312, 304, 0, 0, 376, 0, 200, 16, 0, 272, 536, 0, 388, -120, 0, -256, 120, 0, 344, 0, 0, -16, 448, 0, -248, -16, 0, -200, 68, 0, 132, -216, 0, 344, -512, 0, -96, 460, 0, 104, 596, 0, 120, 8, 0, 248, 120, 0, 24, 368, 0, -248, -144, 0, 8, -348, 0, 408, 784, 0, 424, 296, 0, -96, 680, 0, 16, 0, 0, 224, 784, 0, 268, 392, 0, -132, 456, 0, 536, 184, 0, 0, 488, 0, 216, 476, 0, -100, 772, 0, 392, 136, 0, 344, -664, 0, 208, 344, 0, 0, 0, 0, 680, -108, 0, 16, 320, 0, 156, -112, 0, -232, -688, 0, -480, 8, 0, 200, 80, 0, 196, 136, 0, 0, 520, 0, -224, -304, 0, 0, 624, 0, 176, 96, 0, 20, 384, 0, 520, -128, 0, 184, 156, 0, 416, -400, 0, -8, 1040, 0, 536, 200, 0, 0, -72, 0, 200, 264, 0, 192, -560, 0, -32, 160, 0, -104, 544, 0, 36, 160, 0, -72, -620, 0, -208, -112, 0, 224, -392, 0, -324, 136, 0, -372, -336, 0, 376, 8, 0, -40, -88, 0, -96, 376, 0, 160, 16, 0, -208, -128, 0, -232, -312, 0, -8, 316, 0, -20, 552, 0, 448, 16, 0, -300, 336, 0, 232, 600, 0, 0, -800, 0, -252, -328, 0, 472, -16, 0, 636, -96, 0, -8, -308, 0, -480, 228, 0, -392, -1120, 0, -424, 0, 0, -8, -728, 0, 96, -168, 0, 48, -672, 0, -748, 284, 0, -112, -200, 0, -528, 112, 0, -120, -720, 0, -120, -392, 0, 0, -200, 0, 352, 8, 0, -568, 632, 0, -176, -276, 0, -128, -592, 0, -192, 0, 0, 152, -400, 0, 256, 0, 0, 0, 316, 0, 112, -208, 0, 0, -768, 0, -528, -152, 0, -244, -1016, 0, -208, 40, 0, -40, -896, 0, -296, 0, 0, -228, -552, 0, -804, 192, 0, -208, -728, 0, -248, 12, 0, -196, -900, 0, 0, -120, 0, 336, 496, 0, -216, 480, 0, 0, -4, 0, -664, 160, 0, 204, -760, 0, -544, 128, 0, -136, 464, 0, 304, 184, 0, -248, -56, 0, -772, -336, 0, -328, -304, 0, -120, -236, 0, 352, -768, 0, -76, 236, 0, -356, -520, 0, -992, 0, 0, -264, -208, 0, -416, -424, 0, 0, -1192, 0, -488, 104, 0, 24, 72, 0, -648, -652, 0, 8, 736, 0, -1224, 168, 0, 88, -360, 0, -756, -368, 0, -136, 680, 0, -192, -40, 0, -248, 616, 0, -328, -376, 0, 8, 112, 0, -248, 0, 0, -88, -60, 0, -248, -368, 0, 24, -544, 0, -432, -128, 0, -264, 440, 0, -536, -352, 0, -256, -744, 0, -104, 0, 0, 176, -472, 0, -456, 0, 0, 0, 968, 0, -280, 68, 0, 256, -104, 0, -456, 184, 0, 184, 412, 0, -384, -156, 0, 208, 1268, 0, 288, -464, 0, -56, 536, 0, -624, -120, 0, 64, 856, 0, -232, 192, 0, -84, 136, 0, 176, 0, 0, 72, 624, 0, 152, 84, 0, -8, 268, 0, 432, 240, 0, 104, -904, 0, -8, -772, 0, -224, 896, 0, 456, -312, 0, -104, -72, 0, -800, -704, 0, -16, -268, 0, -472, -288, 0, 200, 1064, 0, 196, -504, 0, -68, 688, 0, -416, 0, 0, -80, 952, 0, 80, -368, 0, -132, 424, 0, 660, -128, 0, 0, 608, 0, 856, -580, 0, -144, 1196, 0, 424, 8, 0, 188, -832, 0, -392, -488, 0, 0, 100, 0, -296, 260, 0, 432, 520, 0, -124, 160, 0, 144, -616, 0, -592, 8, 0, 200, 448, 0, 32, -264, 0, 0, 456, 0, 120, -152, 0, 0, 760, 0, -504, -84, 0, -516, 608, 0, 296, -256, 0, 392, 324, 0, 192, 576, 0, -136, 1336, 0, 208, 200, 0, 0, -440, 0, -232, -248, 0, 192, -912, 0, 264, 160, 0, -252, 288, 0, 1048, -32, 0, -8, -704, 0, -1072, 520, 0, -272, -712, 0, -52, -424, 0, 252, -80, 0, 168, -440, 0, -192, -56, 0, -1496, -328, 0, 0, 240, 0, 56, 56, 0, -40, -560, 0, 296, -436, 0, -420, 880, 0, 336, 16, 0, -264, 592, 0, 600, -648, 0, -64, -1212, 0, 632, 52, 0, 504, 256, 0, 912, 96, 0, -232, -612, 0, -136, -156, 0, 348, -1504, 0, -248, 0, 0, -8, -960, 0, -456, 20, 0, 352, -928, 0, -712, -504, 0, 64, -336, 0, -432, 0, 0, 504, -912, 0, 264, 548, 0, 0, -328, 0, -196, 360, 0, 576, 1304, 0, 64, 196, 0, -352, -796, 0, -264, 0, 0, 752, -448, 0, 200, 0, 0, 0, 40, 0, 880, 4, 0, 0, -1264, 0, -1320, 280, 0, -244, -976, 0, 256, 8, 0, 80, -1216, 0, -536, 0, 0, 280, -192, 0, -784, -160, 0, 272, -816, 0, -248, 200, 0, 160, -1084, 0, -1264, -120, 0, 292, 1008, 0, -440, -656, 0, 0, -28, 0, -552, 564, 0, 156, -744, 0, 296, -64, 0, 56, 824, 0, 328, 0, 0, 412, -328, 0, -404, 376, 0, -8, -616, 0, -96, 416, 0, 320, -928, 0, -508, -520, 0, -452, -344, 0, -568, 0, 0, 336, -268, 0, -696, 456, 0, 32, -1636, 0, -1064, 8, 0, 600, 112, 0, -584, 844, 0, -352, 992, 0, 464, 8, 0, 724, -624, 0, -208, 280, 0, -8, 1008, 0, 736, 608, 0, 424, 888, 0, 688, 712, 0, 124, 256, 0, -720, 0, 0, -432, 96, 0, 104, 432, 0, 120, -464, 0, -216, 320, 0, 312, 624, 0, -120, 684, 0, -144, -976, 0, -432, 0, 0, 336, -672, 0, 40, 0, 0, 0, 1696, 0, 788, 504, 0, -424, -128, 0, -1156, -496, 0, 184, 852, 0, 376, -124, 0, 76, 1492, 0, 680, 592, 0, 0, 1064, 0, -688, 68, 0, -16, 840, 0, 860, -192, 0, 836, -344, 0, 952, 0, 0, 544, 1136, 0, 144, -204, 0, -576, 272, 0, -448, 264, 0, 632, -1072, 0, -296, 924, 0, -152, 800, 0, -8, -632, 0, 580, 616, 0, -600, 448, 0, -16, -236, 0, 328, 600, 0, 448, 1208, 0, 896, 488, 0, 380, 960, 0, 464, -32, 0, -584, 1336, 0, 332, 552, 0, -260, 768, 0, 884, -224, 0, 0, 848, 0, 344, 720, 0, 376, 1488, 0, -472, -248, 0, 224, -904, 0, 48, 712, 0, 0, 76, 0, 1288, 372, 0, -376, 656, 0, 868, -384, 0, 120, -1032, 0, -240, 8, 0, -340, 400, 0, 1368, 632, 0, 0, 824, 0, 552, 484, 0, 0, 1192]