# Trace form for 1840.2.x, downloaded from the LMFDB on 25 April 2024.
[0, 352, 0, 0, 0, 0, 12, 0, 0, 0, 0, 0, 12, 0, -16, 0, 0, 0, 40, 0, -16, 0, 48, 0, -8, 0, 32, -24, 48, 0, 0, 0, 0, 0, -40, 0, -12, 0, 0, 0, 0, 0, -40, 0, -72, 0, 0, 80, 0, -352, 0, 80, -48, 0, -32, 0, 56, 0, 20, -8, 56, 0, 76, 0, -12, 0, -80, 0, 0, 0, 16, 0, -36, 0, 40, 0, 0, 0, -60, 0, -32, -352, 116, -80, 32, 0, 16, 0, -40, 0, -72, -64, 0, 48, -48, -64, 120, 0, -56, -64, 0, 48, 128, 0, 8, 0, 8, 0, 8, 0, -56, -160, -56, 0, 40, 0, 68, -48, -120, 0, 48, 0, -56, 120, -40, 0, 144, -80, 0, -64, 80, -16, -88, 0, -80, 0, -88, 0, 0, 0, 56, -48, 56, 0, 108, 0, -52, -80, 184, 0, 0, 0, 104, 0, 72, 32, -80, 0, -64, 128, -40, 0, 212, 80, 128, 0, -64, 0, -216, 0, 0, 176, 0, -48, 144, 0, 24, 64, -112, 0, 0, 0, -184, 0, -36, 0, -244, 96, -52, -160, -56, 160, -176, 128, -208, 64, 104, -160, -88, 0, 12, 0, -192, -176, -328, 0, -128, 72, 204, 64, 0, 72, -144, 112, -16, 0, -84, 0, 280, -136, 96, 64, -120, -112, -104, 352, 248, -32, -104, 64, 0, 0, 32, 0, 104, 0, 64, 160, 248, 0, 72, -128, -80, 8, 48, -64, -196, 0, 168, 0, 0, 80, -40, 0, 64, -96, 144, 0, 152, 16, -64, 48, 40, 0, -32, 0, -144, -176, 0, 96, -16, -144, 16, -128, -120, 0, 0, 0, 196, 0, -80, 0, -64, -96, -4, 0, -312, 224, 8, 352, 72, 32, -216, 0, 84, 0, 16, 0, -56, 0, 40, -64, 172, 320, -16, 0, 104, 88, 280, 160, 64, 0, -176, 0, 40, 112, 32, 48, 336, 192, 0, 0, 0, 32, 52, 0, -208, 0, -64, 0, 32, 0, 88, 0, -80, 144, -320, 0, -16, -16, -112, -64, 328, 0, 8, 0, -48, -24, -500, 192, -40, -128, 120, -64, -164, 96, 232, 32, -184, 0, 0, 0, -128, 176, 224, 0, 240, -320, 64, 0, 64, -64, 164, -192, 0, 0, 192, 0, 344, -32, 40, -80, 16, -160, 340, 0, -128, 0, 112, -64, 112, 0, 392, 0, 92, 0, -64, -192, 240, -288, -16, 0, -176, -88, -264, 128, 240, 0, 224, 0, 40, -464, 104, -160, 108, -80, -68, 64, -120, -256, 80, 0, 56, 0, 376, 0, 448, 240, -288, -64, -40, 0, -652, 0, -184, -144, -16, 0, -500, 0, -72, 0, -120, 256, 232, 64, 24, 0, -304, 0, -12, -96, -128, 48, 208, 0, 256, 0, 312, -80, 0, 128, -88, 256, -8, 0, 0, 112, 304, -192, -48, 0, 28, 0, 296, 0, -96, -160, -188, -64, -80, 128, -208, 0, 56, 0, -460, 0, 336, 0, -168, 128, 4, 0, -24, 160, 336, 0, -72, 208, 0, 128, 200, 0, -320, 0, 0, 280, 60, -96, 136, -192, -216, -320, 12, 80, 416, 32, -16, 0, -112, 0, -192, -352, -192, 0, 32, -224, -160, -352, 32, -24, -296, 112, -24, 0, -552, 0, -128, -192, 0, 0, 392, 0, -136, 0, 56, -112, 104, -288, 0, 0, 0, 0, 24, -160, -92, 160, -268, 0, 0, 320, -312, -112, 16, 0, 168, 0, -120, 0, -112, 208, 32, 192, -472, -24, -56, 0, -336, -56, -192, 64, -296, 0, -72, 0, 288, 16, 500, 160, 0, 288, -104, 320, 568, -160, -112, 0, -108, 0, 48, 0, -96, -256, 192, -128, -92, -208, -336, 0, 40, -184, -528, 0, -120, 0, 144, 0, -112, 112, -128, -48, -188, 192, 440, -352, 272, 512, -440, 320, 0, 0, -96, 0, -112, 112, 48, 192, -416, 48, 112, 0, 16, 208, 0, 0, 216, 0, -384, 0, 28, 352, -208, 0, -864, 0, 80, 64, -328, -96, -48, -64, 332, 0, -48, 0, 192, 0, -336, 224, 112, 384, 264, 0, 480, 24, -164, 192, 304, 0, -64, 0, 128, -384, 344, 0, 384, -704, -48, 0, 0, 88, -280, -352, -336, 0, 224, 0, 204, 136, 0, 0, -116, -64, -448, 0, -16, 96, 28, 192, 184, 0, 472, 0, -56, 0, 192, -240, -96, 224, 160, -128, 56, -432, 344, 0, -512, 0, 648, 0, 80, -336, 224, -160, 448, 0, 80, -320, -196, 240, 0, -128, 416, 0, -308, 0, -144, -128, 528, -416, 32, 320, 36, 64, -308, 0, 632, 0, 488, 0, 8, 0, -112, 96, 320, 0, 448, 96, 36, -384, 0, -312, 220, 0, 768, 0, 304, 0, -40, 288, 0, 0, 0, 240, -40, 0, -60, 336, 12, -544, 0, 0, 320, 0, 68, 0, 80, -160, 256, 224, 0, -320, -88, 448, -208, 0, 24, 0, -652, 0, -200, 336, -8, 160, -392, 0, 168, 256, 520, -16, 0, 80, 400, 0, -240, 0, -120, -144, 0, -144, -80, 848, 656, 128, 288, 0, -192, 208, 184, 0, -72, 0, -104, -32, 296, -64, -356, -768, -552, 384, -64, 0, -288, 144, -320, 0, -16, 0, -1024, -160, -136, 224, -104, -752, 484, 0, -256, 16, -72, 64, -160, 0, -824, 0, 0, 0, -92, -48, 64, 384, -48, -128, -472, -456, 64, -224, 140, 0, 216, 0, -56, 96, -368, 128, 440, 0, -8, 0, 192, 280, 32, -224, -400, 0, -120, 0, -84, -80, -128, 48, 216, -288, 192, -128, 8, 0, -672, 384, -296, 0, 0, 0, -236, 584, 120, 0, 96, 672, 272, 0, -80, -112, 692, 48, 376, 0, -596, 0, 208, -416, 200, 0, -712, 128, 504, 0, 672, 448, -344, 240, -40, 0, 328, 0, -72, 160, 32, 352, -352, -448, 8, 352, 128, -16, -320, 0, -128, 0, 236, 0, 0, 432, -620, 32, -168, 0, -832, 0, 700, -64, 176, -224, -184, 0, 388, 0, 432, 368, -24, 0, -72, 160, 548, -384, 56, -64, -24, -144, 60, 0, 0, 0, 536, -208, -56, 128, -568, 224, 520, 0, -8, 336, 0, 224, 64, 0, -792, 0, 160, -160, -352, -192, -232, -704, -560, 0, 304, -304, -408, 224, 128, 0, 400, 0, -488, 0, -152, 160, 1324, 544, -80, 320, 16, -608, -512, 192, -112, 0, -696, 0, -40, -320, -8, -96, 48, 0, 272, -256, 0, -312, 40, -160, -1228, 0, 120, 0, -328, -128, -424, 192, 32, -1120, 64, 0, 52, 0, 512, -192, 192, 0, 272, 0, 244, 48, 416, 224, 152, -144, 496, 288, -56, -208, 472, 0, -428, 0, 168, 0, 40, 16, -72, 192, 536, 0, 156, 0, -88, -376, -16, -224, 96, 0, 16, 0, 400, 16, -500, -368, -80, -800, -8, 128, -360, 32, 368, 0, 280, 0, -284, 0, 128, -88, 24, 160, 544, 144, -180, 320, 184, 160, -152, 192, -568, 0, 608, 0, -792, -288, 152, 64, 0, 176, -112, -64, 420, -96, 56, 0, -432, 0, -40, 0, 848, -152, -24, 0, 792, 0, -536, 0, 288, -304, 656, 0, -64, 0, -432, 0, -352, 104, 64, -112, -504, 416, -184, 0, 24, 32, 528, -144, 152, 0, -88, 0, -712, 0, 12, -352, 240, -736, 76, 192, -308, 720, -312, 0, 1408, 0, 304, 0, 0, -432, -244, -320, -656, 0, 224, -64, 24, 0, 160, -224, -604, 0, 144, 0, -160, 600, -264, 0, 16, 144, 872, 192, 0, 0, 432, 480, -144, 0, -168, 0, -36, 48, -24, -192, 464, -224, 124, 0, 0, 312, 320, -224, 712, 0, 576, 0, -656, -592, 136, 320, -136, 960, -472, 0, -116, -256, 336, 144, -208, 0, -1024, 0, -120, 80, -88, -160, 548, 256, 64, 128, -624, -16, -904, 0, -904, 0, -144, 0, 40, -144, 392, -32, -36, 0, 28, 384, -784, -352, 4, -224, -232, 0, -592, 0, 536, -112, 728, 64, -416, 0, -572, 0, 444, -80, -24, 48, -416, 0, -304, 0, 160, -296, -92, 0, -544, 560, -608, 0, -368, 864, 248, 544, -160, 0, -296, 0, 32, -560, -312, -416, -512, -128, -1496, 0, 20, -208, 536, -448, 44, 0, 716, 0, 296, 64, -200, 144, -136, -480, 360, -128, 24, -56, -624, 288, 588, 0, 664, 0, -72, 240, 176, 0, -704, -32, 704, -192, 792, 624, 0, -512, 248, 0, -468, 0, -408, 144, -616, 64, 80, -192, -276, 384, -168, 160, -468, -352, 944, 0, 72, 0, 832, 0, -184, 0, 472, 704, -168, 0, 56, -592, -28, -160, 296, 0, -1368, 0, 288, 544, -256, 512, 152, 0, 120, 0, 64, -368, 504, 0, -264, 0, 488, 0, -452, 112, 392, -128, -216, 576, 224, -192, -424, 1280, 440, 64, -32, 0, 776, 0, 0, -136, 864, 144, -64, 224, 384, -128, -356, 144, -56, 432, -576, 0, 1272, 0, -256, -376, -264, -288, 240, 768, 0, 64, -376, 8, -548, 0, 264, 0, 80, 0, 400, -384, 48, -224, -104, 224, 744, 0, -24, -640, 432, 0, 120, 0, -304, 0, 656, 144, 0, -320, 1272, -528, -488, 0, -544, -352, -712, 64, -216, 0, 1112, 0, -584, -272, 216, 224, 312, -384, -160, -736, 88, 592, -152, 0, -224, 0, 616, 0, -8, 176, 8, 0, 1020, 0, -728, 0, 408, 384, 320, 0, 388, 0, -568, 0, 448, 1232, 1296, 192, 96, 0, -456, -384, 312, -224, 216, 304, 112, 0, -304, 0, 264, 432, 40, -288, 512, 816, -264, 0, -216, -128, 136, -128, 1392, 0, 528, 0, 1160, 64, -96, 0, -736, -480, 544, 0, -48, 0, -252, -288, -336, 0, -224, 0, -480, 80, 136, -160, -1032, -1136, -48, -320, -288, 160, 0, -128, 288, 0, -704, 0, 0, 40, 184, -48, 356, 0, 512, 0, -200, -160, 176, 224, 72, 0, 576, 0, -368, 176, -240, 576, -288, 0, -1448, 0, -624, 0, -924, 512, 96, 0, -224, 0, 304, -368, 128, 192, 804, 544, -728, 64, -56, 552, 0, -192, -48, 0, -168, 0, 80, 416, 64, -160, -876, -480, 432, 0, -304, -544, -700, -304, -144, 0, -56, 0, 836, 0, -800, -512, -376, 0, -40, -160, 1112, -96, 184, 160, -1040, 0, 356, 0, -72, -352, 172, 480, -568, -32, -768, 384, -240, -624, 16, 416, 0, 0, 628, 0, -760, 400, -552, -192, -184, 160, -168, -128, 312, 0, -480, -672, -612, 0, 192, 0, 344, 624, 376, 0, -324, -864, 1620, 128, 112, -824, -240, -384, 668, 0, -120, 0, -704, 160, 64, -64, -792, 384, 536, 0, 568, 224, 0, -192, -48, 0, -1604, 0, -320, -192, 380, 352, -1024, -736, -8, 384, 288, -64, -484, 0, 224, 0, 272, 0, 336, 0, 4, -528, 744, 0, 616, -320, 536, 48, 152, 448, 232, 0, -664, 0, -80, -424, -704, -144, -48, 448, 816, 128, 80, 160, 104, 512, -324, 0, -88, 0, 416, -40, -608, 0, -680, 48, 184, -448, 144, -272, 20, -480, 128, 0, 448, 0, -204, 400, -128, 544, 600, -976, 488, 0, 424, -128, -288, 160, -176, 0, -296, 0, -56, 0, 664, 320, 40, 0, 0, 0, 188, -448, -708, -320, 156, 0, -504, 0, 56, 208, -736, 64, -1208, 192, 600, -384, -420, 672, -288, 64, 1248, 0, -16, 0, -1668, 168, 376, -64, 352, -384, -416, -128, -656, 0, 400, 384, 744, 0, 336, 0, 264, -16, 648, -160, 56, 448, -144, 0, 240, -256, 0, 352, -452, 0, 1752, 0, -656, -376, -24, -32, -20, -800, -1304, 0, -616, 176, -200, 0, 176, 0, -488, 0, 1048, -128, 632, 848, 168, 1088, 64, 128, 416, 112, 48, 0, 856, 0, -440, 0, -224, -480, 176, 224, 100, 48, 912, 0, -904, 720, 272, -48, 392, 0, 204, 0, -416, -704, 540, 288, -80, 384, -824, 512, 192, 0, 416, 224, -1040, 0, -176, 0, 256, -280, -104, 288, -656, 832, 928, 0, -160, 168, 688, 0, 232, 0, -1136, 0, 0, -112, 272, -256, 1328, -384, 424, 0, 1488, 816, 392, 512, 8, 0, -24, 0, -464, -384, -732, -224, -280, 96, 0]