# Trace form for 2240.2.dx, downloaded from the LMFDB on 24 April 2024.
[0, 1536, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 160, 0, 160, 0, 0, 0, 0, 0, 0, 0, 0, 0, 16, 0, 0, 0, 0, 0, 0, 64, 0, 0, -128, 0, -16, 0, -288, 0, 0, 0, -192, 160, 0, 0, 0, 160, -192, 0, 0, 0, -288, 0, -16, 0, -128, 0, 96, 64, 128, 0, 0, 0, 0, 0, 416, 0, 320, 0, 0, 0, 0, 0, 32, 0, 0, 0, 0, 0, 32, 0, 0, 0, 0, 0, 320, -32, 416, 64, 0, 0, 0, 0, -96, 0, 80, 384, 0, 0, 0, 0, -224, 0, -224, 0, 0, -320, 0, 0, 0, -320, 0, 0, -224, 0, -192, 0, 0, 0, 0, 384, -16, 0, -224, 0, 160, 0, 0, 64, 0, -32, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 192, 0, 0, 0, 0, 0, 0, -512, 0, 160, 0, -384, 0, 0, 0, 0, 0, -384, 0, 32, 512, -672, 0, 0, 0, -704, 0, -704, 0, 0, 0, -672, 512, 0, 0, -384, 0, 160, 0, 0, 0, -384, 0, 0, 0, -512, 0, 0, 0, 0, 0, 176, 192, 0, 0, 0, 0, 0, 0, -80, 0, -256, -128, -128, 0, 176, 128, 0, -256, -256, 0, 0, -32, -32, 0, 0, -576, -384, 0, -96, 0, 0, 256, 0, -384, 0, -320, -128, 0, -432, 0, -512, 0, -128, -320, 0, -384, 576, 256, 352, 0, -256, 0, -384, -576, 672, 0, -32, -32, 0, 0, -256, -256, 0, 128, 736, 0, -32, -128, 544, 0, -80, 0, 0, 256, 800, 0, 96, 0, 544, 0, 0, 0, 0, 0, 0, 0, 0, 0, 672, 0, 0, 0, 0, 256, 352, 0, 576, 0, -192, 0, 256, 0, 0, 0, 80, 0, 272, 0, -192, 0, 0, 0, 0, 256, 352, 0, 512, 0, 0, 0, 240, 0, 0, 0, 0, 0, 480, 0, -224, -192, 576, 128, 0, 0, 384, 0, 288, 0, -384, 0, 128, 0, 0, 0, 480, -832, 0, 0, 0, -640, -592, 0, 0, 0, -288, 0, -192, 0, 0, 0, 0, -64, 128, 512, -176, 0, -512, 0, -608, 0, 96, 512, 448, -64, 0, 0, 288, 0, -544, 0, -448, 0, 0, 0, -832, -640, 320, 0, 0, -800, 1056, 0, 0, 0, -448, 0, -656, 0, 448, 0, 544, -256, 0, 128, 0, -192, -32, 0, 1056, 0, 0, 0, 320, 0, 0, 0, 0, 0, 352, 0, 0, 0, 288, 0, -384, 0, 448, 0, 672, 0, 0, 0, 96, 0, 0, 0, 128, 0, -96, 0, 0, 0, 0, 0, 0, 0, 0, 0, 320, 0, -96, -64, 0, 0, 0, -128, -576, 0, 0, 0, -288, 0, 0, 0, -288, -448, -272, 0, 0, -32, -288, -768, 0, 32, -864, 0, -288, 0, 320, 256, 0, -448, 0, 0, -576, -448, -576, 0, 480, 0, 144, -640, 0, 0, 288, 0, 416, 0, 384, -640, -304, 0, 0, 0, 448, -448, -576, 0, 416, -448, 640, 256, -128, 0, -288, 0, -576, 256, -96, -768, -288, -32, -448, 0, 576, 0, -704, 0, 0, 0, -224, 0, -80, 1024, -576, -128, 256, 320, -416, -64, -1120, 0, 0, 0, 640, 1152, 576, 0, 256, 0, 64, 0, -640, 544, 0, 0, 0, 192, 416, 0, 288, 192, 0, 0, 1344, 544, -64, 0, -960, 0, 0, 0, -352, 1088, 416, 0, 1248, 0, -320, 0, -864, 320, 0, 0, 0, 1024, -80, 0, 544, 0, 0, 0, -416, 128, 1056, 0, -448, 0, 0, 0, -352, 256, -160, 512, 704, 0, 1344, 0, 192, 0, 0, 0, 0, 0, 0, 0, 384, 0, 416, 0, 512, 0, 0, 0, 0, 0, 0, 0, -480, 0, 0, 0, 0, 0, 560, 0, 512, 0, -384, 0, 0, 32, 0, 512, -352, 832, -288, 0, -288, 32, 0, 0, 0, 0, 0, 0, -224, 0, 0, 0, -1120, 0, 0, 0, 0, 512, 0, 0, 16, 704, 48, 0, 32, 320, -480, 0, 320, 0, 0, 0, -384, 768, 80, 0, -832, 0, -128, 0, 160, 0, -320, 0, 0, 768, -672, 0, 320, 0, 256, -384, 192, 384, 640, 0, -784, 704, -512, 0, 704, 512, 352, 768, 576, -1024, -2016, 0, 352, 0, -736, 0, 0, -448, 352, 0, 0, 32, -896, 0, -1040, 832, 480, 0, 0, -736, -1248, 0, 480, 0, 672, -1024, 656, -1344, 320, 0, 0, 0, -1216, 0, -512, -1408, 512, 0, 224, -1408, -512, 0, -1136, 0, 288, 0, -320, -1344, 0, -1024, 0, 576, 32, 0, -864, -128, -336, 0, 128, 0, -2144, 0, -1568, 0, 160, 0, 0, 0, 0, 0, -1760, 0, -640, 0, -736, -1024, -608, 768, 0, 0, 0, 0, -128, 0, -672, 0, 192, 0, 0, -384, -576, 896, 0, 0, 0, 576, 1120, 0, 0, 0, 416, 0, -832, 0, 736, 0, 1280, 576, 0, 0, 992, 896, -1024, 0, 768, 0, -880, 0, 0, 0, 1088, 0, 0, -320, 144, 0, -896, 0, 0, 0, -640, 0, -416, 0, 832, 768, 0, 64, 0, 0, -160, 0, -512, 0, -640, 0, 736, 640, 0, 0, 0, 224, 1056, 0, 864, 0, 672, 0, -224, 0, 1280, 0, 1376, 0, 0, 0, 1248, 0, 0, 0, 1760, 0, -144, 0, 0, 0, 864, 0, 0, -352, 1472, 0, 896, 0, 544, 0, -896, 0, 0, 0, 1824, 0, 0, 64, -368, 0, 0, 0, 0, 64, 560, 0, 224, 0, 736, 0, 0, -320, 0, 0, 1376, 0, 896, 0, 400, 0, 1024, 0, 0, 896, 0, 0, 1264, 0, 192, 0, 0, 0, 0, -1536, 480, -160, 608, 0, -448, -512, 432, -256, 0, 640, 864, 0, 576, 0, -320, -256, -640, 0, 0, -512, 672, -512, 1312, 0, -576, 0, -416, -64, 0, 0, -640, 0, 0, 0, -1056, -1152, 1216, -768, 0, 0, 608, -512, 960, 0, -1216, 0, 0, -512, 0, 0, -32, -768, 128, 0, 800, -640, 224, -256, 0, 0, 0, -1024, 0, 0, 1056, -704, 1472, 0, 576, 128, -832, -640, -800, 0, 0, -768, 384, 448, 1056, -512, -416, 0, 1088, 0, 352, -512, -640, 0, 0, -768, -736, -1152, 576, 0, -128, 0, 768, 1280, 704, -64, -2720, 0, 0, 0, -1248, 192, 1024, -512, 1088, 0, -640, -256, -832, 0, -1216, 0, 0, -256, 0, -256, -176, -512, -32, 0, 1760, 256, 1376, -1536, 0, 576, 0, 320, -704, 0, 896, 0, 64, 0, 128, 0, -896, -1152, -2816, 0, 0, -704, -672, 0, 544, 704, -1920, 0, -80, 0, -768, 1152, -1280, 0, 0, 0, -1696, 0, -1120, 0, -448, 0, -704, 0, 0, 0, -1216, 1664, 352, 0, -192, 0, -784, -1024, 0, 0, -960, -192, -480, 0, 64, -1216, 320, 896, -32, 640, -416, 0, -1440, 0, -480, 896, -576, -1536, 0, 0, 416, 256, -640, 0, -688, -1472, -576, 0, -640, 768, 0, 1664, -544, 0, 128, 0, -800, 768, -576, 0, 480, 0, -160, 0, -320, -1344, 256, 1152, 0, 1024, 816, 0, -832, 0, 576, 0, -1440, -128, -256, 0, 544, -1152, 16, 0, -64, 0, -1376, 0, 0, 0, 1344, 320, 928, 832, 832, 0, 864, 672, -320, -512, 320, 0, 800, 0, 768, 0, -1728, 0, 0, -384, 336, 0, 480, 576, -416, 0, 576, 0, -544, 0, 2048, 1024, 2304, 0, 128, 0, 384, 0, 0, 0, 640, 0, 1312, 768, 640, 0, 960, 0, 0, -512, 1248, 768, -128, 0, -1024, 0, -704, 0, -448, 64, 2400, 0, 0, 64, -576, 0, -800, 0, 0, 0, 448, 320, 2496, 0, 1440, 0, 0, 0, 0, -384, 896, 0, 1536, 0, 224, 0, 800, 0, 0, -512, 0, 512, 1648, 0, 96, 0, 1696, 0, 128, 0, 1792, 0, 2592, 0, 0, 0, 1328, 0, 640, 0, 1056, 0, -384, 0, -768, 0, 1440, 0, 0, 192, 1536, 0, 304, 0, 352, 0, -224, -512, 0, -192, 480, 0, -384, 0, -96, 0, 1056, 640, 0, -544, -928, 0, 640, 0, 320, 1024, 0, 576, 256, 0, -640, 0, 384, 0, 96, -704, 960, 0, 576, -1024, 0, 0, -160, 0, 960, 0, 1312, -480, 672, 1280, 224, 0, -288, 0, -848, 512, 352, 0, 512, -960, -1152, 0, 256, 0, 800, 64, 736, -1152, 0, 0, -1200, 384, -1152, 0, 0, -768, -480, 0, 0, -768, -1632, 0, -1056, 0, 576, 0, 576, 192, 320, 64, -1088, 352, -896, 0, -512, -960, 0, 0, 0, 0, -880, 0, -512, 0, 1328, 1280, -608, 0, 608, 0, -448, 1664, -1152, 0, 1984, -320, 896, 0, 16, -704, -896, 0, -1216, 0, -640, 0, -896, 512, 0, 640, 288, 0, -1536, -256, 672, 480, -1472, 128, 0, 0, -1008, 0, -272, -192, -1568, 320, 192, -256, -576, 0, -2400, -896, -16, 0, 224, 576, 384, 512, -1056, 0, 1008, -1664, -1728, 0, -1760, 0, 0, 704, 0, -1280, 864, 0, 0, 0, 1184, 480, -1952, 0, -608, -1600, 0, 0, -1408, -1088, 1088, 0, -96, 0, 0, 1536, 384, 352, -1088, -128, 0, 1344, -1504, -1024, 0, -832, 1088, 0, -288, -1216, -736, 0, -1856, -1216, 0, 0, -96, -512, 336, -1024, -736, 0, 704, -128, 0, 0, 0, 1536, 224, 0, -1712, 0, 1280, -1088, -992, 0, 832, -1600, -128, 0, -2048, 0, 0, 0, -576, -1664, 1280, -1280, 1408, 0, 160, 0, -1376, 0, -768, -1664, 640, 0, 384, 512, -352, 0, 192, 0, 0, -992, -480, 0, 576, -768, 0, 640, 128, -384, 0, 0, 1728, 0, -352, -512, -736, -576, 1600, -256, 0, -736, 416, 384, -32, -64, -192, 0, -160, -576, 384, 512, 1472, 0, 768, 0, -512, -704, 528, 0, 0, 0, -1728, 0, -352, 0, 224, 0, 1312, -640, 224, 0, 64, 0, 1472, 0, 416, -2112, -64, 0, 256, 576, 1056, 2048, 1056, 0, -752, 0, 2336, 0, 608, 640, -2880, -1088, 2432, 0, 0, 320, 448, 640, 288, 64, -384, 0, -512, 0, -768, 2048, 1984, 1472, 0, 0, 384, -2112, -1152, 0, -608, 0, 32, 0, 704, 960, 1216, 0, 832, 0, 544, 0, -832, 0, 0, 0, -2624, -704, -1824, 0, 1056, 1728, 256, 448, 128, 1472, -1664, 0, -2016, 0, -1600, 768, 320, 896, 1152, 0, 0, -1120, 128, 0, -1952, 0, 0, 0, 704, -192, -2688, 640, 608, 0, 0, 640, 368, 1536, 384, 0, -1216, 0, -2400, 0, 1120, 2048, 1696, 0, 0, 1728, 576, 0, -768, 0, -608, 0, 832, 0, 352, 0, 832, 0, 0, 0, 1200, 1600, 1664, 0, 0, 32, -720, 0, -1152, 32, 2208, 0, -240, 704, -320, 0, 576, 448, -512, 0, -1536, 0, 0, 0, -352, 2816, 0, 0, -96, 0, -464, 0, 160, 256, 0, 0, -1056, 192, 384, 0, -768, -192, -800, 0, -256, 960, 2432, 0, 272, 1088, 1280, 0, -832, 640, -288, 0, 1088, 0, 1376, 0, 672, 0, 64, 0, 0, 576, 1504, 0, -224, 0, 512, 0, 1888, 0, -608, 0, 640, 768, 608, 0, -448, 0, -1184, 640, -128, -768, 2560, 0, 32, 448, 864, 0, 0, 448, -928, 0, 0, -544, 1088, 0, 1088, 0, 1216, 0, 0, 192, 2624, 0, 416, 0, -640, -64, -864, 0, -224, 0, 1952, 576, 2944, 0, 192, 0, -128, 0, -736, -640, 1984, 0, 2080, 640, -1728, 0, 1312, 1344, 0, 640, 288, 1600, -256, 0, 256, 448, 1440, 0, -576, 192, 2112, 0, 2272, 256, -2240, 0, -368, 0, -832, 0, 1792, 2432, 0, 0, 320, 1600, 512, 0, -256, 832, 0, 0, -224, 0, 464, 0, 64, 32, 352, 640, 1504, 32, -1152, 0, 0, 0, -1024, 0, 0, 0, 320, 0, 2464, 0, -1344, 0, -928, 640, 0, -128, -832, 1728, 1152, 0, -672, 0, 2912, -256, 0, -1728, -2720, 0, 0, 0, -1184, 0, 1024, -576, 0, 0, 688, 1024, 96, 0, -2976, 448, 0, -896, 0, -768, -128, 0, -1056, 0, 80, -64, -320, -576, 0]