# Trace form for 1872.4.a.bo, downloaded from the LMFDB on 25 April 2024.
[0, 4, 0, 0, 0, 0, 0, -36, 0, 0, 0, 0, 0, -52, 0, 0, 0, 0, 0, -84, 0, 0, 0, 0, 0, 660, 0, 0, 0, 0, 0, 604, 0, 0, 0, 0, 0, 184, 0, 0, 0, 0, 0, -880, 0, 0, 0, 0, 0, -116, 0, 0, 0, 0, 0, -1152, 0, 0, 0, 0, 0, 656, 0, 0, 0, 0, 0, -3052, 0, 0, 0, 0, 0, -312, 0, 0, 0, 0, 0, 720, 0, 0, 0, 0, 0, 32, 0, 0, 0, 0, 0, 468, 0, 0, 0, 0, 0, -344, 0, 0, 0, 0, 0, -3392, 0, 0, 0, 0, 0, 3384, 0, 0, 0, 0, 0, -2448, 0, 0, 0, 0, 0, -3820, 0, 0, 0, 0, 0, -4440, 0, 0, 0, 0, 0, -5768, 0, 0, 0, 0, 0, 344, 0, 0, 0, 0, 0, -11520, 0, 0, 0, 0, 0, -2700, 0, 0, 0, 0, 0, 2912, 0, 0, 0, 0, 0, -3244, 0, 0, 0, 0, 0, 676, 0, 0, 0, 0, 0, -348, 0, 0, 0, 0, 0, -10288, 0, 0, 0, 0, 0, 1408, 0, 0, 0, 0, 0, -7608, 0, 0, 0, 0, 0, 3176, 0, 0, 0, 0, 0, -10456, 0, 0, 0, 0, 0, -3216, 0, 0, 0, 0, 0, -4504, 0, 0, 0, 0, 0, 4252, 0, 0, 0, 0, 0, -3272, 0, 0, 0, 0, 0, -5584, 0, 0, 0, 0, 0, -1656, 0, 0, 0, 0, 0, 1092, 0, 0, 0, 0, 0, -3328, 0, 0, 0, 0, 0, -16568, 0, 0, 0, 0, 0, -9072, 0, 0, 0, 0, 0, 860, 0, 0, 0, 0, 0, -9848, 0, 0, 0, 0, 0, -16344, 0, 0, 0, 0, 0, -13892, 0, 0, 0, 0, 0, -17216, 0, 0, 0, 0, 0, 11648, 0, 0, 0, 0, 0, 12044, 0, 0, 0, 0, 0, -30072, 0, 0, 0, 0, 0, 15040, 0, 0, 0, 0, 0, -8580, 0, 0, 0, 0, 0, -34812, 0, 0, 0, 0, 0, 12472, 0, 0, 0, 0, 0, -3384, 0, 0, 0, 0, 0, -14744, 0, 0, 0, 0, 0, -34032, 0, 0, 0, 0, 0, 19996, 0, 0, 0, 0, 0, -13080, 0, 0, 0, 0, 0, 8824, 0, 0, 0, 0, 0, 9068, 0, 0, 0, 0, 0, -4544, 0, 0, 0, 0, 0, -23104, 0, 0, 0, 0, 0, -26200, 0, 0, 0, 0, 0, -7852, 0, 0, 0, 0, 0, 15864, 0, 0, 0, 0, 0, -5792, 0, 0, 0, 0, 0, -18712, 0, 0, 0, 0, 0, -26408, 0, 0, 0, 0, 0, 23552, 0, 0, 0, 0, 0, -16560, 0, 0, 0, 0, 0, -8936, 0, 0, 0, 0, 0, 9664, 0, 0, 0, 0, 0, -1400, 0, 0, 0, 0, 0, -16484, 0, 0, 0, 0, 0, 11624, 0, 0, 0, 0, 0, -53004, 0, 0, 0, 0, 0, -2392, 0, 0, 0, 0, 0, 2508, 0, 0, 0, 0, 0, 14080, 0, 0, 0, 0, 0, -27324, 0, 0, 0, 0, 0, -62272, 0, 0, 0, 0, 0, 66184, 0, 0, 0, 0, 0, 15264, 0, 0, 0, 0, 0, 39064, 0, 0, 0, 0, 0, 48644, 0, 0, 0, 0, 0, 99472, 0, 0, 0, 0, 0, -35960, 0, 0, 0, 0, 0, -40344, 0, 0, 0, 0, 0, 45712, 0, 0, 0, 0, 0, 11440, 0, 0, 0, 0, 0, 80336, 0, 0, 0, 0, 0, 21272, 0, 0, 0, 0, 0, 31496, 0, 0, 0, 0, 0, 18368, 0, 0, 0, 0, 0, -19208, 0, 0, 0, 0, 0, -37568, 0, 0, 0, 0, 0, -54968, 0, 0, 0, 0, 0, 16792, 0, 0, 0, 0, 0, -40152, 0, 0, 0, 0, 0, 45644, 0, 0, 0, 0, 0, -2548, 0, 0, 0, 0, 0, 85908, 0, 0, 0, 0, 0, 1508, 0, 0, 0, 0, 0, -58604, 0, 0, 0, 0, 0, 25376, 0, 0, 0, 0, 0, 100464, 0, 0, 0, 0, 0, 1320, 0, 0, 0, 0, 0, -33280, 0, 0, 0, 0, 0, 17040, 0, 0, 0, 0, 0, 51560, 0, 0, 0, 0, 0, -28216, 0, 0, 0, 0, 0, -19372, 0, 0, 0, 0, 0, -3168, 0, 0, 0, 0, 0, 100520, 0, 0, 0, 0, 0, -1368, 0, 0, 0, 0, 0, 14976, 0, 0, 0, 0, 0, -10480, 0, 0, 0, 0, 0, -40040, 0, 0, 0, 0, 0, 74392, 0, 0, 0, 0, 0, -11588, 0, 0, 0, 0, 0, -16424, 0, 0, 0, 0, 0, -38992, 0, 0, 0, 0, 0, -42384, 0, 0, 0, 0, 0, 10552, 0, 0, 0, 0, 0, 26376, 0, 0, 0, 0, 0, 105252, 0, 0, 0, 0, 0, 16160, 0, 0, 0, 0, 0, 1516, 0, 0, 0, 0, 0, -8528, 0, 0, 0, 0, 0, 38720, 0, 0, 0, 0, 0, 159968, 0, 0, 0, 0, 0, 97372, 0, 0, 0, 0, 0, -7616, 0, 0, 0, 0, 0, -7184, 0, 0, 0, 0, 0, 31968, 0, 0, 0, 0, 0, 25808, 0, 0, 0, 0, 0, 52844, 0, 0, 0, 0, 0, 56748, 0, 0, 0, 0, 0, 6040, 0, 0, 0, 0, 0, -23328, 0, 0, 0, 0, 0, 44224, 0, 0, 0, 0, 0, 39676, 0, 0, 0, 0, 0, 139112, 0, 0, 0, 0, 0, -115080, 0, 0, 0, 0, 0, -2912, 0, 0, 0, 0, 0, 120688, 0, 0, 0, 0, 0, 37184, 0, 0, 0, 0, 0, -112072, 0, 0, 0, 0, 0, 6112, 0, 0, 0, 0, 0, -41584, 0, 0, 0, 0, 0, -59112, 0, 0, 0, 0, 0, 119868, 0, 0, 0, 0, 0, 58160, 0, 0, 0, 0, 0, 33584, 0, 0, 0, 0, 0, 4056, 0, 0, 0, 0, 0, -125968, 0, 0, 0, 0, 0, -27028, 0, 0, 0, 0, 0, 34748, 0, 0, 0, 0, 0, -90704, 0, 0, 0, 0, 0, -27840, 0, 0, 0, 0, 0, 128136, 0, 0, 0, 0, 0, 108536, 0, 0, 0, 0, 0, 77016, 0, 0, 0, 0, 0, 32640, 0, 0, 0, 0, 0, 166312, 0, 0, 0, 0, 0, -45440, 0, 0, 0, 0, 0, 111672, 0, 0, 0, 0, 0, -9360, 0, 0, 0, 0, 0, 179400, 0, 0, 0, 0, 0, 106432, 0, 0, 0, 0, 0, 128576, 0, 0, 0, 0, 0, -117700, 0, 0, 0, 0, 0, -17640, 0, 0, 0, 0, 0, 99328, 0, 0, 0, 0, 0, 6456, 0, 0, 0, 0, 0, -122832, 0, 0, 0, 0, 0, -143712, 0, 0, 0, 0, 0, 112204, 0, 0, 0, 0, 0, -55920, 0, 0, 0, 0, 0, -65352, 0, 0, 0, 0, 0, -416, 0, 0, 0, 0, 0, 78400, 0, 0, 0, 0, 0, 11280, 0, 0, 0, 0, 0, -159908, 0, 0, 0, 0, 0, 14104, 0, 0, 0, 0, 0, 169120, 0, 0, 0, 0, 0, 80456, 0, 0, 0, 0, 0, 12872, 0, 0, 0, 0, 0, -176864, 0, 0, 0, 0, 0, 129752, 0, 0, 0, 0, 0, 25584, 0, 0, 0, 0, 0, -140440, 0, 0, 0, 0, 0, -111744, 0, 0, 0, 0, 0, -6084, 0, 0, 0, 0, 0, 96640, 0, 0, 0, 0, 0, -19728, 0, 0, 0, 0, 0, -161464, 0, 0, 0, 0, 0, -71488, 0, 0, 0, 0, 0, 7272, 0, 0, 0, 0, 0, -130592, 0, 0, 0, 0, 0, -119796, 0, 0, 0, 0, 0, -1288, 0, 0, 0, 0, 0, -77768, 0, 0, 0, 0, 0, -118656, 0, 0, 0, 0, 0, -77568, 0, 0, 0, 0, 0, 175008, 0, 0, 0, 0, 0, 4472, 0, 0, 0, 0, 0, 8712, 0, 0, 0, 0, 0, 175000, 0, 0, 0, 0, 0, 86940, 0, 0, 0, 0, 0, -300016, 0, 0, 0, 0, 0, -3464, 0, 0, 0, 0, 0, 75648, 0, 0, 0, 0, 0, 114272, 0, 0, 0, 0, 0, 17152, 0, 0, 0, 0, 0, -24288, 0, 0, 0, 0, 0, -200264, 0, 0, 0, 0, 0, -117648, 0, 0, 0, 0, 0, -129152, 0, 0, 0, 0, 0, 44096, 0, 0, 0, 0, 0, 132000, 0, 0, 0, 0, 0, 232504, 0, 0, 0, 0, 0, -96128, 0, 0, 0, 0, 0, 152640, 0, 0, 0, 0, 0, 44444, 0, 0, 0, 0, 0, -135552, 0, 0, 0, 0, 0, -27800, 0, 0, 0, 0, 0, -437080, 0, 0, 0, 0, 0, 107488, 0, 0, 0, 0, 0, 186700, 0, 0, 0, 0, 0, -368152, 0, 0, 0, 0, 0, 1280, 0, 0, 0, 0, 0, -43992, 0, 0, 0, 0, 0, -166388, 0, 0, 0, 0, 0, 288632, 0, 0, 0, 0, 0, 62416, 0, 0, 0, 0, 0, -68096, 0, 0, 0, 0, 0, -244632, 0, 0, 0, 0, 0, -333456, 0, 0, 0, 0, 0, -184792, 0, 0, 0, 0, 0, -301768, 0, 0, 0, 0, 0, 42196, 0, 0, 0, 0, 0, -116448, 0, 0, 0, 0, 0, -150984, 0, 0, 0, 0, 0, 20600, 0, 0, 0, 0, 0, 31824, 0, 0, 0, 0, 0, -380464, 0, 0, 0, 0, 0, 63296, 0, 0, 0, 0, 0, -147104, 0, 0, 0, 0, 0, -34292, 0, 0, 0, 0, 0, -14784, 0, 0, 0, 0, 0, -17960, 0, 0, 0, 0, 0, 183680, 0, 0, 0, 0, 0, 167584, 0, 0, 0, 0, 0, 20520, 0, 0, 0, 0, 0, -138064, 0, 0, 0, 0, 0, -164088, 0, 0, 0, 0, 0, -338724, 0, 0, 0, 0, 0, 49660, 0, 0, 0, 0, 0, 58956, 0, 0, 0, 0, 0, 140712, 0, 0, 0, 0, 0, -100128, 0, 0, 0, 0, 0, 118632, 0, 0, 0, 0, 0, 122648, 0, 0, 0, 0, 0, -30984, 0, 0, 0, 0, 0, 260288, 0, 0, 0, 0, 0, 26312, 0, 0, 0, 0, 0, -156996, 0, 0, 0, 0, 0, 354016, 0, 0, 0, 0, 0, -44160, 0, 0, 0, 0, 0, -229344, 0, 0, 0, 0, 0, 57720, 0, 0, 0, 0, 0, 174360, 0, 0, 0, 0, 0, -29016, 0, 0, 0, 0, 0, 177880, 0, 0, 0, 0, 0, -598644, 0, 0, 0, 0, 0, -179996, 0, 0, 0, 0, 0, -78296, 0, 0, 0, 0, 0, 77432, 0, 0, 0, 0, 0, -280800, 0, 0, 0, 0, 0, -188864, 0, 0, 0, 0, 0, 253760, 0, 0, 0, 0, 0, 64512, 0, 0, 0, 0, 0, -31060, 0, 0, 0, 0, 0, 74984, 0, 0, 0, 0, 0, 59552, 0, 0, 0, 0, 0, -116544, 0, 0, 0, 0, 0, 15748, 0, 0, 0, 0, 0, -504472, 0, 0, 0, 0, 0, -33440, 0, 0, 0, 0, 0, 41544, 0, 0, 0, 0, 0, -59520, 0, 0, 0, 0, 0, -130472, 0, 0, 0, 0, 0, -214780, 0, 0, 0, 0, 0, 18696, 0, 0, 0, 0, 0, -227952, 0, 0, 0, 0, 0, -13912, 0, 0, 0, 0, 0, -4472, 0, 0, 0, 0, 0, 263080, 0, 0, 0, 0, 0, -49088, 0, 0, 0, 0, 0, 328776, 0, 0, 0, 0, 0, -190356, 0, 0, 0, 0, 0, -64864, 0, 0, 0, 0, 0, -332024, 0, 0, 0, 0, 0, -109516, 0, 0, 0, 0, 0, -205408, 0, 0, 0, 0, 0, -347272, 0, 0, 0, 0, 0, -165972, 0, 0, 0, 0, 0, -2960, 0, 0, 0, 0, 0, -194668, 0, 0, 0, 0, 0, 149760, 0, 0, 0, 0, 0, 78552, 0, 0, 0, 0, 0, -148472, 0, 0, 0, 0, 0, -37440, 0, 0, 0, 0, 0, 6464, 0, 0, 0, 0, 0, -100560, 0, 0, 0, 0, 0, -153280, 0, 0, 0, 0, 0, 30896, 0, 0, 0, 0, 0, -494240, 0, 0, 0, 0, 0, 88632, 0, 0, 0, 0, 0, 347856, 0, 0, 0, 0, 0, -205656, 0, 0, 0, 0, 0, 358288, 0, 0, 0, 0, 0, 35100, 0, 0, 0, 0, 0, -117696, 0, 0, 0, 0, 0, 431952, 0, 0, 0, 0, 0, 85584, 0, 0, 0, 0, 0, -203332, 0, 0, 0, 0, 0, -353848, 0, 0, 0, 0, 0, 91456, 0, 0, 0, 0, 0, -51688, 0, 0, 0, 0, 0, -98248, 0, 0, 0, 0, 0, 330456, 0, 0, 0, 0, 0, 95204, 0, 0, 0, 0, 0, 155848, 0, 0, 0, 0, 0, 185600, 0, 0, 0, 0, 0, -37856, 0, 0, 0, 0, 0, 606288, 0, 0, 0, 0, 0, 354616, 0, 0, 0, 0, 0, 161600, 0, 0, 0, 0, 0, -143296, 0, 0, 0, 0, 0, -358120, 0, 0, 0, 0, 0, -476696, 0, 0, 0, 0, 0, -184368, 0, 0, 0, 0, 0, -289576, 0, 0, 0, 0, 0, -563984, 0, 0, 0, 0, 0, 94144, 0, 0, 0, 0, 0, -41584, 0, 0, 0, 0, 0, 337448, 0, 0, 0, 0, 0, 42172, 0, 0, 0, 0, 0, -222400, 0, 0, 0, 0, 0, 219856, 0, 0, 0, 0, 0, 200888, 0, 0, 0, 0, 0, -286972, 0, 0, 0, 0, 0, 108760, 0, 0, 0, 0, 0, 702512, 0, 0, 0, 0, 0, 106096, 0, 0, 0, 0, 0, -50944, 0, 0, 0, 0, 0, 63056, 0, 0, 0, 0, 0, 363284, 0, 0, 0, 0, 0, -914144, 0, 0, 0, 0, 0, 427224, 0, 0, 0, 0, 0, -8788, 0, 0, 0, 0, 0, 223412, 0, 0, 0, 0, 0, -126012, 0, 0, 0, 0, 0, 267696, 0, 0, 0, 0, 0, -153160, 0, 0, 0, 0, 0, 129472, 0, 0, 0, 0, 0, 88320, 0, 0, 0, 0, 0, -491152, 0, 0, 0, 0, 0, -128104, 0, 0, 0, 0, 0, 46348, 0, 0, 0, 0, 0, 358240, 0, 0, 0, 0, 0, 16264, 0, 0, 0, 0, 0, -174552, 0, 0, 0, 0, 0, 4524, 0, 0, 0, 0, 0, 178232, 0, 0, 0, 0, 0, 98256, 0, 0, 0, 0, 0, -190616, 0, 0, 0, 0, 0, -76356, 0, 0, 0, 0, 0, 366536, 0, 0, 0, 0, 0, 127392, 0, 0, 0, 0, 0, 390664, 0, 0, 0, 0, 0, -133504, 0, 0, 0, 0, 0, 140320, 0, 0, 0, 0, 0, 686976, 0, 0, 0, 0, 0, -4088, 0, 0, 0, 0, 0, 387956, 0, 0, 0, 0, 0, 133744, 0, 0, 0, 0, 0, 275464, 0, 0, 0, 0, 0, 193792, 0, 0, 0, 0, 0, 683572, 0, 0, 0, 0, 0, -333976, 0, 0, 0, 0, 0, -189432, 0, 0, 0, 0, 0, 341856, 0, 0, 0, 0, 0, 10160, 0, 0, 0, 0, 0, -125476, 0, 0, 0, 0, 0, 61120, 0, 0, 0, 0, 0, 393344, 0, 0, 0, 0, 0, 138624, 0, 0, 0, 0, 0, 234024, 0, 0, 0, 0, 0, -18304, 0, 0, 0, 0, 0, 509800, 0, 0, 0, 0, 0, 516680, 0, 0, 0, 0, 0, 160912, 0, 0, 0, 0, 0, -541664, 0, 0, 0, 0, 0, -2592, 0, 0, 0, 0, 0, -32480, 0, 0, 0, 0, 0, -38240, 0, 0, 0, 0, 0, 113112, 0, 0, 0, 0, 0, 600800, 0, 0, 0, 0, 0, 296352, 0, 0, 0, 0, 0, -335328, 0, 0, 0, 0, 0, 231508, 0, 0, 0, 0, 0, 98904, 0, 0, 0, 0, 0, 852448, 0, 0, 0, 0, 0, 12944, 0, 0, 0, 0, 0, 94044, 0, 0, 0, 0, 0, -242336, 0, 0, 0, 0, 0, 290448, 0, 0, 0, 0, 0, -549848, 0, 0, 0, 0, 0, 183040, 0, 0, 0, 0, 0, -90552, 0, 0, 0, 0, 0, -231296, 0, 0, 0, 0, 0, 559488, 0, 0, 0, 0, 0, -805728, 0, 0, 0, 0, 0, -278400, 0, 0, 0, 0, 0, -41288, 0, 0, 0, 0, 0, -395240, 0, 0, 0, 0, 0, 452448, 0, 0, 0, 0, 0, 841072, 0, 0, 0, 0, 0, -303096, 0, 0, 0, 0, 0, 25360, 0, 0, 0, 0, 0, -226336, 0, 0, 0, 0, 0, 19232, 0, 0, 0, 0, 0, -32448, 0, 0, 0, 0, 0, 606032, 0, 0, 0, 0, 0, -420484, 0, 0, 0, 0, 0, -341640, 0, 0, 0, 0, 0, -472780, 0, 0, 0, 0, 0, 135928, 0, 0, 0, 0, 0, 176708, 0, 0, 0, 0, 0, 284000, 0, 0, 0, 0, 0, -456340, 0, 0, 0, 0, 0, 429256, 0, 0, 0, 0, 0, 301824, 0, 0, 0, 0, 0, -1028368, 0, 0, 0, 0, 0, 297024, 0, 0, 0, 0, 0, 20368, 0, 0, 0, 0, 0, 440804, 0, 0, 0, 0, 0, 804408, 0, 0, 0, 0, 0, -436144, 0, 0, 0, 0, 0, 401792, 0, 0, 0, 0, 0, 41808, 0, 0, 0, 0, 0, -26584, 0, 0, 0, 0, 0, 1285760, 0, 0, 0, 0, 0, -128448, 0, 0, 0, 0, 0, -579572, 0, 0, 0, 0, 0, 306400, 0, 0, 0, 0, 0, 291720, 0, 0, 0, 0, 0, 1432184, 0, 0, 0, 0, 0, 218144, 0, 0, 0, 0, 0, 377176, 0, 0, 0, 0, 0, 255500, 0, 0, 0, 0, 0, -281236, 0, 0, 0, 0, 0, -401808, 0, 0, 0, 0, 0, 58552, 0, 0, 0, 0, 0, 264832, 0, 0, 0, 0, 0, 127432, 0, 0, 0, 0, 0, -156224, 0, 0, 0, 0, 0, -890352, 0, 0, 0, 0, 0, 218496, 0, 0, 0, 0, 0, 121880, 0, 0, 0, 0, 0, -657240, 0, 0, 0, 0, 0, 350280, 0, 0, 0, 0, 0, 729696, 0, 0, 0, 0, 0, 608064, 0, 0, 0, 0, 0, -902112, 0, 0, 0, 0, 0, -129216, 0, 0, 0, 0, 0, -55276, 0, 0, 0, 0, 0, 14848, 0, 0, 0, 0, 0, 342032, 0, 0, 0, 0, 0, 728216, 0, 0, 0, 0, 0, -801952, 0, 0, 0, 0, 0, 784000, 0, 0, 0, 0, 0, -739584, 0, 0, 0, 0, 0, 27136, 0, 0, 0, 0, 0, 265336, 0, 0, 0, 0, 0, -204104, 0, 0, 0, 0, 0, -141888, 0, 0, 0, 0, 0, 123672, 0, 0, 0, 0, 0, 182900, 0, 0, 0, 0, 0, 42536, 0, 0, 0, 0, 0, 212856, 0, 0, 0, 0, 0, 350048, 0, 0, 0, 0, 0, 1314880, 0, 0, 0, 0, 0]