# Trace form for 2304.2.bt, downloaded from the LMFDB on 08 May 2024.
[0, 5088, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 256, 0, 192, 32, 0, -32, 288, 0, 416, 32, 0, -32, 256, 0, 192, 32, 0, 0, 480, 0, 416, 32, 0, -32, 256, 0, 192, 32, 0, -32, 480, 0, 224, 32, 0, -32, 256, 0, 192, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -64, 224, 0, -32, -224, 0, 480, 32, 0, 224, -224, 0, 480, 480, 0, -32, -480, 0, -800, 32, 0, -800, -480, 0, 608, 416, 0, -32, -544, 0, 480, 64, 0, -800, -480, 0, -544, 416, 0, -32, -480, 0, 480, 32, 0, 544, -480, 0, 544, 480, 0, -32, -224, 0, -160, 32, 0, -416, -224, 0, 224, 224, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -96, 32, 0, -32, -576, 0, -480, 32, 0, -32, -736, 0, -480, 32, 0, -32, -928, 0, -928, 32, 0, -32, -800, 0, -928, 32, 0, -32, -1056, 0, -928, 32, 0, -32, -1536, 0, -480, 0, 0, 0, -1184, 0, -480, 32, 0, -32, -1152, 0, -928, 32, 0, -32, -768, 0, -928, 32, 0, -32, -1088, 0, -928, 32, 0, -32, -960, 0, -480, 32, 0, -32, -640, 0, -480, 32, 0, -32, -320, 0, -96, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, 96, -256, 0, -320, 32, 0, -480, -544, 0, -320, -416, 0, -32, -256, 0, -608, 672, 0, -544, -256, 0, -704, -864, 0, 608, -544, 0, -896, 32, 0, -480, -832, 0, -608, -416, 0, -32, -832, 0, -512, 672, 0, -960, -544, 0, -672, -864, 0, 608, -576, 0, -896, 32, 0, -480, -544, 0, -896, -416, 0, -32, -832, 0, -608, 672, 0, -928, -640, 0, -320, -480, 0, 608, -544, 0, -320, 32, 0, -480, -256, 0, -608, -416, 0, -32, -256, 0, -320, 160, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -352, 32, 0, -32, 480, 0, 128, 32, 0, -32, 768, 0, -800, 32, 0, -32, 768, 0, -1184, 32, 0, -32, 640, 0, 1312, 32, 0, -32, 1120, 0, -1184, 32, 0, -32, 480, 0, -1120, 32, 0, -32, 800, 0, 1216, -128, 0, -32, 1344, 0, -1312, 0, 0, -32, 1344, 0, -992, 32, 0, -32, 800, 0, 320, 32, 0, -32, 480, 0, -1440, 32, 0, -32, 1120, 0, -1248, 32, 0, -32, 640, 0, 1216, 32, 0, -32, 768, 0, -928, 32, 0, -32, 768, 0, -736, 32, 0, -32, 480, 0, 224, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -288, 448, 0, 480, -608, 0, -32, 704, 0, 480, 32, 0, -800, 1440, 0, 992, -992, 0, -32, 1408, 0, 480, 32, 0, -800, 1888, 0, 992, -1568, 0, -32, 1152, 0, 1504, 32, 0, -800, 1280, 0, 992, -1952, 0, -32, 1760, 0, 1504, 32, 0, -1568, 1248, 0, 544, -1344, 0, -64, 2400, 0, 480, 32, 0, -1568, 1536, 0, 1504, -1312, 0, -32, 1920, 0, 992, 32, 0, -800, 1728, 0, 1504, -1440, 0, -32, 1216, 0, 992, 32, 0, -800, 1600, 0, 480, -1568, 0, -32, 928, 0, 992, 32, 0, -800, 1152, 0, 480, -928, 0, -32, 992, 0, 480, 32, 0, -288, 192, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, -32, 32, 0, 128, 32, 0, -32, 544, 0, 448, 32, 0, -32, 512, 0, 736, 32, 0, -32, 864, 0, 672, 32, 0, -32, 736, 0, 864, 32, 0, -32, 736, 0, 608, 32, 0, -32, 1312, 0, 1120, 32, 0, -32, 992, 0, 992, 32, 0, -32, 1248, 0, 576, 32, 0, 192, 928, 0, 1408, 32, 0, 0, 960, 0, 896, 32, 0, -32, 1472, 0, 864, 32, 0, -32, 640, 0, 1184, 32, 0, -32, 1056, 0, 928, 32, 0, -32, 1184, 0, 1248, 32, 0, -32, 672, 0, 672, 32, 0, -32, 928, 0, 672, 32, 0, -32, 736, 0, 800, 32, 0, -32, 800, 0, 448, 32, 0, -32, 512, 0, 480, 32, 0, -32, 192, 0, -32, 32, 0, -32, -128, 0, 352, -352, 0, 480, -320, 0, -992, -480, 0, 736, -608, 0, 608, 32, 0, -288, -928, 0, 608, -480, 0, -1056, -1088, 0, -672, -864, 0, 1120, -608, 0, 1248, -992, 0, -1184, -608, 0, 1888, 1056, 0, 992, -608, 0, -352, -992, 0, -32, -1408, 0, 1248, -736, 0, -1056, -864, 0, 1248, -992, 0, 1504, -864, 0, -1952, 64, 0, 992, -800, 0, 1248, -992, 0, 224, -608, 0, 1568, -736, 0, 1248, -1408, 0, -1472, -992, 0, 1504, -608, 0, 608, 1056, 0, -1568, -608, 0, 1248, -992, 0, -32, -608, 0, -352, -864, 0, 992, -1088, 0, 1248, -480, 0, -544, -928, 0, 608, 32, 0, 992, -608, 0, -992, -480, 0, -544, -320, 0, 608, -352, 0, -96, -672, 0, 640, 32, 0, -32, -832, 0, 192, 32, 0, -32, -1568, 0, 192, 32, 0, -32, -1856, 0, 1312, 32, 0, -32, -960, 0, 224, 32, 0, -32, -1440, 0, 416, 32, 0, -32, -1216, 0, 1984, 32, 0, -32, -2688, 0, 192, 32, 0, -32, -2656, 0, 192, 32, 0, -32, -1888, 0, 1984, 32, 0, -32, -1920, 0, 416, 0, 0, 0, -1248, 0, 416, 32, 0, -32, -2272, 0, 1984, 32, 0, -32, -2400, 0, 192, 32, 0, -32, -1952, 0, 192, 32, 0, -32, -1376, 0, 1984, 32, 0, -32, -1696, 0, 416, 32, 0, -32, -2208, 0, 224, 32, 0, -32, -1696, 0, 1312, 32, 0, -32, -1216, 0, 192, 32, 0, -32, -1024, 0, 32, 288, 0, -32, -1312, 0, 128, 32, 0, 608, -1152, 0, -736, 992, 0, -32, -480, 0, -960, 32, 0, 736, -1280, 0, -1376, 992, 0, -32, -832, 0, -992, 32, 0, 1184, -1216, 0, -1056, 1120, 0, -32, -960, 0, -928, 32, 0, 1376, -992, 0, -1600, 1056, 0, -32, -1728, 0, -1088, 32, 0, 1696, -960, 0, -768, 800, 0, -32, -1568, 0, -1568, 32, 0, 1408, -1216, 0, -1216, 1504, 0, -192, -1504, 0, -1632, 32, 0, 736, -1024, 0, -1024, 1760, 0, -32, -1024, 0, -1792, 32, 0, 992, -1536, 0, -1056, 1440, 0, -32, -864, 0, -1024, 32, 0, 1056, -992, 0, -1280, 1248, 0, -32, -928, 0, -896, 32, 0, 928, -1312, 0, -1344, 800, 0, -32, -864, 0, -864, 32, 0, 928, 32, 0, -736, 672, 0, -32, 64, 0, -1600, 32, 0, 224, 800, 0, -928, 32, 0, -32, 1120, 0, 1792, 32, 0, -32, 640, 0, -1568, 32, 0, -32, 1280, 0, -1376, 32, 0, -32, 928, 0, 1120, 32, 0, -32, 896, 0, -1184, 32, 0, -32, 1312, 0, -2080, 32, 0, -32, 1408, 0, 384, -320, 0, -32, 1696, 0, -1056, 32, 0, -32, 1088, 0, -2400, 0, 0, -32, 1088, 0, 2080, 32, 0, -32, 1696, 0, -1824, 32, 0, -32, 1408, 0, -1184, 32, 0, -32, 1312, 0, 1536, 32, 0, -32, 896, 0, -2208, 32, 0, -32, 928, 0, -1312, 32, 0, -32, 1280, 0, 448, 32, 0, -32, 640, 0, -1312, 32, 0, 96, 1568, 0, -288, 736, 0, -32, 1696, 0, 1984, -992, 0, 864, 1984, 0, 544, 1376, 0, -1312, 2112, 0, 416, 32, 0, 864, 2112, 0, 544, 2016, 0, -32, 2144, 0, 1696, -1632, 0, 1760, 1792, 0, 1120, 2272, 0, -1312, 2944, 0, 1120, 32, 0, 1760, 1792, 0, 1184, 1632, 0, -32, 2016, 0, 1696, -2400, 0, 1760, 2464, 0, 1696, 2400, 0, -1568, 2656, 0, 1120, 32, 0, 864, 2528, 0, 2208, 2496, 0, -64, 1408, 0, 2400, -2144, 0, 864, 2720, 0, 1120, 3168, 0, -1568, 2432, 0, 1696, 32, 0, 1760, 1728, 0, 1696, 2208, 0, -32, 3136, 0, 1184, -2272, 0, 1760, 2592, 0, 1120, 1696, 0, -1312, 2112, 0, 1120, 32, 0, 1760, 1568, 0, 1696, 1952, 0, -32, 2144, 0, 960, -1760, 0, 864, 2720, 0, 1888, 1568, 0, -1312, 1664, 0, 2208, 32, 0, 864, 2144, 0, 1664, 1248, 0, -32, 2368, 0, 1280, -352, 0, 96, 1184, 0, 512, 32, 0, -32, 1312, 0, 1408, 32, 0, -32, 1120, 0, 1792, 32, 0, -32, 1440, 0, 1568, 32, 0, -32, 1632, 0, 672, 32, 0, -32, 800, 0, 1152, 32, 0, 384, 1376, 0, 928, 32, 0, -32, 1472, 0, 1376, 32, 0, 0, 1568, 0, 1504, 32, 0, -32, 1440, 0, 1408, 32, 0, -32, 992, 0, 1312, 32, 0, -32, 1216, 0, 736, 32, 0, -32, 736, 0, 1568, 32, 0, -32, 1632, 0, 1376, 32, 0, -32, 1856, 0, 1056, 32, 0, -32, 1472, 0, 1248, 32, 0, -544, 160, 0, 960, 736, 0, -32, 160, 0, 2624, 32, 0, 800, 512, 0, 2336, 928, 0, -32, -96, 0, -1088, 32, 0, -1696, -448, 0, 1856, 1248, 0, -32, -608, 0, 1312, 32, 0, -1312, -1248, 0, -1440, 1568, 0, -32, -640, 0, 2528, 32, 0, 2080, -1792, 0, 1568, 992, 0, -32, -1952, 0, -448, 32, 0, -2464, -1024, 0, 1248, 1824, 0, -32, -1952, 0, 2080, 32, 0, -2080, -928, 0, -3104, 1120, 0, -32, -2112, 0, 2016, 64, 0, 544, -2048, 0, 1440, 1344, 0, -32, -928, 0, -2144, 32, 0, -1568, -1504, 0, 2016, 1824, 0, -32, -1024, 0, 2848, 32, 0, -1824, -1952, 0, -480, 992, 0, -32, -1792, 0, 992, 32, 0, 1248, -640, 0, 1376, 1568, 0, -32, -2272, 0, -3552, 32, 0, -1440, -2560, 0, 992, 1248, 0, -32, -3264, 0, 32, 32, 0, -1824, -2656, 0, -1952, 928, 0, -32, -3424, 0, -672, 32, 0, 928, -3488, 0, -1056, 736, 0, -32, -2656, 0, -1920, 32, 0, -32, -2848, 0, -2592, 32, 0, -32, -1888, 0, -1824, 32, 0, -32, -3424, 0, -2592, 32, 0, -32, -2688, 0, -1568, 32, 0, -32, -3808, 0, -1824, 32, 0, -32, -3648, 0, -1696, 32, 0, 128, -2400, 0, -2720, 0, 0, 0, -3360, 0, -2720, -128, 0, -32, -3360, 0, -1696, 32, 0, -32, -3040, 0, -1824, 32, 0, -32, -2784, 0, -1568, 32, 0, -32, -2912, 0, -2592, 32, 0, -32, -3328, 0, -1824, 32, 0, -32, -2816, 0, -2944, -224, 0, -608, -2880, 0, -2176, -544, 0, 480, -3808, 0, -2784, -864, 0, -1184, -2976, 0, -2272, -544, 0, -928, -2880, 0, -2240, 32, 0, -608, -3584, 0, -2720, -1120, 0, -1312, -3040, 0, -1632, -992, 0, -608, -2272]