# Trace form for 1815.2.bt, downloaded from the LMFDB on 16 April 2024.
[0, 10560, 0, 0, 0, 8, 0, 20, 0, 0, -44, -8, 16, -44, 0, 12, -264, 20, 0, 0, 60, 0, -56, -32, 0, 32, -16, 0, 60, 0, 40, -16, 0, 16, 0, 0, -264, 124, -56, 0, 0, 120, -12, 0, 0, 0, 200, -60, -48, 0, 140, -40, -40, -36, 0, 96, -384, -40, -68, 0, -48, -40, -80, -20, 0, 0, -56, -192, -80, 0, -12, 0, 0, 60, 0, -16, 264, 24, 0, 0, 120, 2640, -8, 200, 0, -96, 64, 0, 144, 0, 0, -24, -420, 72, 0, -60, 0, -32, 0, 0, -268, -80, -328, -4, 0, 0, 280, -744, 16, 0, -252, -32, -1700, -72, 0, -68, -200, -156, -280, 0, 0, 336, -168, 0, 0, -16, 16, -280, 368, 0, -72, 0, -1100, -8, 0, 8, 400, -648, 0, 0, 0, 48, -440, 108, 0, -120, 152, -32, 40, 0, 0, 248, 52, 0, 0, 96, 200, -28, 136, 0, -468, 160, 0, -4, 0, -8, 208, 236, -64, 0, -312, 40, 728, 220, 0, -396, 120, 96, -80, 0, 48, 112, -36, 0, 0, 60, 0, 200, -80, 0, 72, -72, -88, -20, 0, 20, -416, 0, -96, 0, 772, -72, -116, -200, 0, -140, -80, -48, -616, 0, 0, 1016, -848, -560, 0, -1020, 0, 40, -264, 0, -2584, 112, -220, -488, 0, -44, 160, -812, -512, 0, -1980, -96, 152, -140, 0, -1344, -152, 192, 788, 0, 344, 0, -156, 0, 0, -1516, 88, -168, 20, 0, -2860, -776, 0, 100, 0, 0, -216, -420, 160, 0, -3356, 0, -64, -220, 0, 32, -528, 72, -316, 0, 0, 0, -456, 48, 0, 256, -176, -120, 116, 0, -1212, -240, 320, 160, 0, 0, -1032, -224, 0, 0, 576, 120, -932, 220, 0, 8, 0, -16, -56, 0, 64, -120, -460, 0, 0, -344, 24, 0, 1004, 0, -132, 64, -20, 248, 0, 0, -808, 464, 0, 0, 564, -152, 0, 152, 0, -20, 512, -176, 72, 0, 100, -144, 400, 124, 0, 472, 240, -568, 280, 0, 0, 200, 56, -688, 0, 152, 144, 140, 72, 0, -288, 0, -72, 380, 0, -112, -48, -360, -1508, 0, 80, 488, 0, -352, 0, -160, -96, 216, -368, 0, -108, 1440, -168, -792, 0, 32, -160, 832, 8, 0, -188, -120, 556, -76, 0, -12, -368, -20, -1164, 0, -224, -360, -480, 0, 0, -352, -144, 160, 876, 0, -68, -208, -684, -100, 0, -8, -176, 92, -48, 0, -288, -16, -132, -664, 0, -536, 496, 0, 88, 0, -140, -840, -172, 60, 0, 56, 0, -728, -528, 0, 16, -400, 48, 448, 0, 0, -808, -180, 572, 0, -684, 1080, 404, -76, 0, 40, -2080, 100, 1392, 0, 308, -2712, 552, 120, 0, -272, -2200, -400, 0, 0, 912, -1760, 160, 100, 0, 400, -3960, 112, 0, 0, -380, -1384, 0, -260, 0, -20, -4648, -24, 824, 0, -720, -2960, 272, 0, 0, -184, 0, 268, 64, 0, 500, -6240, 80, 148, 0, 36, -528, -164, -432, 0, 336, -1872, 520, 56, 0, 616, -1664, 160, 2128, 0, -60, -3400, 1852, -40, 0, 400, -3520, 212, -1016, 0, -128, -2552, -92, 492, 0, -40, -1288, -572, -300, 0, -580, -16, -804, -284, 0, 300, -440, -504, 616, 0, 24, -688, -828, -8, 0, 88, -720, -136, 836, 0, -520, 272, -360, 996, 0, -124, -800, 308, 80, 0, 3080, -240, -1300, 88, 0, 920, 664, -20, 3644, 0, -816, 1584, 5312, -48, 0, 2040, 168, 1784, 3060, 0, 2876, 1048, 528, 2116, 0, -132, -64, 1648, 168, 0, 1740, 240, 5756, 660, 0, -528, 4560, 256, 2860, 0, -484, 56, 4700, -152, 0, 1560, -304, 1728, 2064, 0, 3332, 2104, 220, 2348, 0, 0, 4488, -208, 140, 0, 4292, 24, 1540, 2356, 0, 1268, 3608, 312, -716, 0, 80, 1288, 3108, -264, 0, 1524, 424, 2200, 2004, 0, 3948, 1912, 960, 1536, 0, 200, 304, 1228, 0, 0, 1336, 120, 1888, 152, 0, 352, -1576, 60, 168, 0, 328, -560, 1060, 76, 0, 16, -40, -80, -252, 0, 660, 336, -816, -740, 0, -32, 648, 452, -160, 0, 260, 352, -1992, -472, 0, -400, 264, -224, -292, 0, -864, -24, -396, -56, 0, 632, -264, -2124, -888, 0, 236, 720, 0, 0, 0, 96, 560, 264, 48, 0, 1316, -88, -3856, 540, 0, 664, 448, -180, -32, 0, -124, -760, -56, 160, 0, 0, -824, 208, 88, 0, 688, 112, -160, 284, 0, 96, -528, -388, -48, 0, -432, -24, -4668, -1500, 0, 52, -336, 0, 468, 0, -240, 648, -988, 176, 0, -732, 0, -1564, 704, 0, 1340, -360, 216, 180, 0, -20, -320, 344, 128, 0, -1712, 256, -1676, 140, 0, 540, 2440, 200, 1504, 0, -1144, 64, 1968, 80, 0, -724, 416, -8, -1416, 0, -1592, -528, 16, -8, 0, -704, -440, 216, -264, 0, -4132, 96, -1056, 424, 0, 608, 304, 116, -880, 0, -156, -136, 1864, -352, 0, -240, 2864, -252, -24, 0, -3780, 400, 160, -316, 0, -1960, 88, -744, -420, 0, -3444, 464, 440, -180, 0, -1760, 504, 48, 100, 0, -4184, 896, 280, -140, 0, -2128, 0, -348, 584, 0, -32, -1168, -488, 80, 0, -200, -1760, 352, -216, 0, -3328, 128, -92, -372, 0, -228, -2368, -416, 176, 0, 52, -632, -120, -12, 0, -1216, -360, 220, -2416, 0, -3364, 208, -280, -160, 0, -2800, 1488, -720, -240, 0, -2816, 8, -1068, -60, 0, -16, -464, -240, 320, 0, -744, 0, -856, -176, 0, -620, -24, -192, -76, 0, 1420, 784, 0, -768, 0, -440, -624, -124, 72, 0, 192, -504, -868, -6952, 0, 356, -200, 4, -4004, 0, -320, -472, -40, 588, 0, -44, -296, -1768, -6204, 0, 2636, -120, -1768, -4248, 0, 0, 176, 300, 1640, 0, -664, 272, -2872, -3724, 0, -1028, 0, -384, 2196, 0, 224, 576, -260, 236, 0, 160, 224, 0, -7564, 0, -436, 176, 24, -5792, 0, 320, 1616, 1552, 0, 0, -856, -48, -248, -6236, 0, 516, -352, 140, -7456, 0, 248, -1584, 2812, -56, 0, 332, 80, 740, -5624, 0, -396, 752, 160, -6384, 0, 28, 256, 220, -200, 0, 608, 0, 780, -2456, 0, -232, 3456, -48, -4096, 0, -800, 2312, 0, -104, 0, 252, -224, 472, -1896, 0, 1760, 1176, -304, -1540, 0, 88, -312, -268, 192, 0, 540, 1152, 2112, -280, 0, 1368, 912, 936, 760, 0, 1024, 512, -1852, 24, 0, 220, -2032, 1640, -2300, 0, 888, -1232, -100, -640, 0, 440, -440, -356, -296, 0, -432, -360, 88, -1080, 0, 1556, -968, -352, -2592, 0, -120, -2960, -272, 128, 0, -660, 120, -28, 0, 0, -1856, -1328, 72, -916, 0, -100, -1936, -3108, 132, 0, -256, -96, 3704, 8, 0, -316, -528, -20, -616, 0, 0, -552, 1152, 320, 0, 728, -360, 240, 1304, 0, 1748, 0, 224, -688, 0, -12, -2688, 664, 360, 0, -644, -32, 176, 280, 0, -656, -216, 48, -1420, 0, 616, -872, 0, 220, 0, -696, 2520, 2528, 5592, 0, 1132, 1328, 1292, 328, 0, 1104, 2784, 2120, 3012, 0, 5356, 32, 3464, 2512, 0, 1232, 4648, 480, 1152, 0, 248, 960, 7656, 2184, 0, 3588, 4224, 4140, 2048, 0, -2488, 5440, 4600, 3080, 0, 2024, 4448, 3344, 380, 0, 8044, 1424, 10056, 1752, 0, 1220, 5024, 1208, 88, 0, -1208, 2120, 9332, 1556, 0, 3536, 2008, 360, 4092, 0, 7584, 2000, 4260, 1452, 0, 8, 3656, 2916, 5624, 0, 6424, 1536, 748, 3740, 0, 1100, 4320, 2816, 4072, 0, 5716, 1848, 3916, 152, 0, 3348, 3640, 3544, 5544, 0, 4940, 4272, 0, 992, 0, 2392, 3536, 3304, 7584, 0, 8900, -88, 908, 3520, 0, 680, 1368, 2028, 3440, 0, 1716, -624, 5164, 1616, 0, 3052, -32, 1240, 4036, 0, 828, -648, 2256, 320, 0, 1452, 1424, -1744, 520, 0, 744, 248, -268, -928, 0, -844, -528, 232, -416, 0, 16, -400, -4144, 140, 0, 620, 264, -2816, 768, 0, 676, 1152, 152, -1324, 0, 100, 680, -1772, 0, 0, 852, 40, -8748, 1636, 0, 588, 3928, -640, 1608, 0, -28, 208, -3420, -32, 0, -612, -824, -2364, -200, 0, 0, 328, 80, -936, 0, 1040, 864, -3836, -80, 0, 712, 0, -5188, 336, 0, 760, 928, -260, -580, 0, 220, -200, -11792, 144, 0, -900, 624, -2756, -104, 0, -2200, 480, -792, 704, 0, 176, 280, -3312, -28, 0, -1144, -280, -2972, 388, 0, -116, 1968, 20, -1604, 0, 1280, 1872, -2788, 800, 0, -264, -264, -1536, 572, 0, -5108, -296, -120, -376, 0, 36, -440, -460, -208, 0, -5628, -24, -740, 620, 0, -3408, -1224, -1056, -4256, 0, 556, 320, -72, -8, 0, -2200, 656, -20, -1320, 0, 428, -280, -136, -1256, 0, -200, 3400, -40, -1428, 0, -1664, 376, -1920, 148, 0, -3288, 2072, 428, -2932, 0, 0, 888, -1200, 520, 0, -32, 1016, 1532, 520, 0, -4416, 0, -16, 1384, 0, -104, 592, -120, 0, 0, 496, 432, 1540, -492, 0, -3908, -1968, 4, -568, 0, 1760, 688, 388, 0, 0, 788, 240, -1336, -2660, 0, -2480, -1464, -160, -308, 0, -88, -944, 260, -408, 0, -1036, 528, 540, 84, 0, -4928, -1280, -912, -136, 0, -172, 8, -2980, -644, 0, -876, 0, 964, 2388, 0, -3316, 208, -96, -956, 0, 816, 2744, 968, -2364, 0, 2896, 96, 112, -2000, 0, -76, -120, -712, 88, 0, 56, -2160, -224, -1928, 0, -1288, -792, -232, -7012, 0, -372, -2184, -2376, -212, 0, 284, -360, 80, -1432, 0, -2068, -408, -1280, -3604, 0, -596, -3864, -100, -2284, 0, -2208, 880, 784, 468, 0, -252, -144, -2168, -10176, 0, 480, -200, 0, -1420, 0, -220, -24, 1832, -2528, 0, -2140, -240, 3236, 176, 0, 516, 1520, -1152, -4476, 0, -520, 32, 152, -44, 0, -1716, -368, 500, -1772, 0, 72, -1584, -120, -3252, 0, 880, 472, 584, -7392, 0, -780, 176, -2688, -1940, 0, 844, -3080, 528, -2024, 0, 40, -3600, 180, -1872, 0, -68, 752, 0, -3928, 0, 8, -2368, -680, -1020, 0, 460, -6096, -2096, -1716, 0, -384, -144, 1696, -1120, 0, 1400, -12200, 0, 96, 0, 3248, -656, 560, -220, 0, 1080, -80, -540, 560, 0, 1804, -5976, 816, 20, 0, 636, -10288, 340, -240, 0, -428, -704, 348, 1708, 0, 2376, -8024, -488, 432, 0, 3580, -4192, 1188, -20, 0, 600, -776, -184, 2784, 0, -2588, -5840, -80, 0, 0, -1936, -17672, -488, -488, 0, 1248, 0, -2256, 140, 0, -376, -3304, 928, -3052, 0, 116, -3160, 348, 120, 0, 528, -240, 464, 4724, 0, 388, -7752, -120, 564, 0, 108, -9152, -1356, -48, 0, -580, -552, 952, 1852, 0, -180, -6872, 0, 2444, 0, -120, -2408, -2572, -492, 0, -340, 40, -1412, 528, 0, 356, -4048, 1892, 724, 0, 20, -40, -2108, 352, 0, -2452, 224, 1424, 3016, 0, -596, -8896, -320, 6968, 0, -792, -896, -2708, -80, 0, -408, 688, 3044, 3456, 0, 2460, -1056, 56, -184, 0, -704, 4400, 1112, 280, 0, 1832, 136, 10560, 164, 0, -780, -1848, 1220, 3052, 0, -220, 1232, 152, -176, 0, -1408, 320, 2392, 212, 0, -608, 360, 0, 712, 0, 356, 432, 1116, -116, 0, -920, 80, 3808, -1884, 0, -484, 1648, -40, 1624, 0, -24, 1976, -1036, -1008, 0, 320, 0, 264, -2160, 0, 5956, 856, 1284, 1592, 0, 364, 5888, -792, 1536, 0, 148, 160, 5476, 1396, 0, 2760, -1464, -1584, 4884, 0, 1272, 2480, -5764, 32, 0, 1216, -200, -44, -680, 0, 2452, -688, -2464, 1592, 0, -48, 3192, -6920, -1156, 0, 3520, -72, -1528, -1916, 0, 628, -2104, -4284, 2700, 0, -40, 2640, -11704, -16, 0, 804, 288, -4340, 3144, 0, -3168, -1728, -5984, 252, 0, -220, 3304, -12548, -648, 0, 1408, -160, -940, 1408, 0, -1128, 920, -1640, 872, 0, -160, 640, -8456, 792, 0, 3532, -344, -8040, 784, 0, -2144, -1448, -6952, 360, 0, 0, 904, -1864, -200, 0, 124, -368, -8880, 2544, 0, 200, -2200, -6384, -228, 0, 1284, 320, -8652, -20, 0, -644, 0, -2068, 1968, 0, -4224, 448, -176, 92, 0, -640, -640, -9028, -1408, 0, 796, -40, -7400, 468, 0, -3328, -440, -4668, -192, 0, 8, 4080, -5248, 288, 0, -812, -80, -3020, 3524, 0, -8184, 1224, 928, 1460, 0, -116, 1248, -3588, -120, 0, -9672]