# Trace form for 1152.3.bk, downloaded from the LMFDB on 30 March 2024. [0, 2544, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, -608, 0, 1040, 16, 0, -16, -768, 0, -736, 16, 0, -16, -80, 0, -208, 0, 0, -16, 496, 0, -1360, 16, 0, -16, 1248, 0, 816, 16, 0, -16, 832, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, -624, 0, -16, 1920, 0, 1664, 16, 0, -1936, 1424, 0, 2000, -1264, 0, -16, 576, 0, 320, 16, 0, 0, -208, 0, -624, 656, 0, -16, -768, 0, -1024, 16, 0, 1904, -2896, 0, -1936, 2576, 0, -16, -2112, 0, -2368, 16, 0, 752, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, -16, 16, 0, 1584, 16, 0, -16, 5056, 0, 3632, 16, 0, -16, 6016, 0, 2480, 16, 0, -16, 3328, 0, 1328, 16, 0, -16, 1024, 0, 368, 32, 0, 0, -1040, 0, -1936, 16, 0, -16, -4448, 0, -2128, 16, 0, -16, -5984, 0, -3280, 16, 0, -16, -5360, 0, -4432, 16, 0, -16, -4304, 0, -1872, 16, 0, -16, 16, 0, 448, 2704, 0, 3312, 3216, 0, -5904, 16, 0, 2544, 2448, 0, -4368, 3600, 0, -16, 3344, 0, 4208, -2544, 0, -3088, 1808, 0, -1616, 784, 0, -144, 208, 0, 240, 32, 0, 1520, -1520, 0, -1808, -1520, 0, -16, -2800, 0, 3312, 3600, 0, -4624, -4336, 0, 5456, -4464, 0, -5648, -2928, 0, -1616, 16, 0, 5360, -3696, 0, 1840, -3056, 0, -16, -4624, 0, -6496, 16, 0, -16, -4400, 0, -5056, 16, 0, -16, -5152, 0, -4096, 16, 0, -16, -3856, 0, -2320, 16, 0, -16, -2144, 0, -592, 16, 0, -32, 384, 0, 1088, 16, 0, 384, 1360, 0, 3872, 16, 0, -16, 3344, 0, 5264, 16, 0, -16, 5184, 0, 6368, 16, 0, -16, 6016, 0, 3984, 3472, 0, -16, -2576, 0, -1680, 16, 0, 8944, -7984, 0, -5616, 10768, 0, -16, -10064, 0, -8528, 16, 0, 5104, -6224, 0, -5840, 6928, 0, -16, -4880, 0, -3152, 16, 0, 1520, -2336, 0, -304, 0, 0, -32, 1776, 0, 1104, 16, 0, -3088, 5344, 0, 4912, -7280, 0, -16, 6016, 0, 7600, 16, 0, -6416, 11776, 0, 10288, -9968, 0, -16, 6896, 0, -1920, 16, 0, -10256, 4160, 0, 20816, -9200, 0, -16, -720, 0, 9392, 16, 0, -16, -7280, 0, -5456, 16, 0, -16, -3104, 0, 4912, 16, 0, -16, -3120, 0, 1904, 16, 0, -16, -256, 0, 128, 0, 0, -16, 1376, 0, -3600, -768, 0, -16, 4944, 0, -7920, 16, 0, -16, 4096, 0, 10016, 16, 0, 2672, 14752, 0, -2400, -4848, 0, 8048, 18912, 0, -8160, 7184, 0, -16, 12032, 0, 15456, 8336, 0, 6128, 10544, 0, 1536, 8976, 0, 5744, 4912, 0, 6464, 16, 0, 2672, 4768, 0, 2576, 1808, 0, -2320, 2176, 0, 1152, 656, 0, 0, -272, 0, -944, -1776, 0, -1936, -2112, 0, -2880, 3856, 0, -2704, -3728, 0, -6496, -3568, 0, -16, -2432, 0, -8128, -7024, 0, -10768, 5344, 0, -11008, -7152, 0, -9616, 9040, 0, -15680, 16, 0, -8080, 8512, 0, -14048, -8944, 0, 5360, 5584, 0, -14704, -2928, 0, -16, 12496, 0, -5008, 16, 0, -16, 6064, 0, -688, 16, 0, -16, 2704, 0, -400, 32, 0, 0, -1664, 0, 1904, 16, 0, -16, -5744, 0, 1040, 16, 0, -16, -10544, 0, -1008, 16, 0, 11248, -1104, 0, 13200, -11504, 0, -16, -8832, 0, -10208, 16, 0, -8208, -6528, 0, -4400, -8944, 0, -16, -9856, 0, 23312, 16, 0, 11504, -4048, 0, -7552, -8176, 0, -16, 2928, 0, -6000, 16, 0, 5104, 2704, 0, 3104, -2048, 0, -16, 736, 0, 624, 32, 0, 2672, -3264, 0, 3344, 3344, 0, -16, -5808, 0, -3120, 16, 0, -11280, -11312, 0, 4000, 10256, 0, -16, -19712, 0, 3952, 16, 0, -14352, -21680, 0, -30976, 10256, 0, -16, -25856, 0, 5760, 16, 0, 3824, -26112, 0, 5376, 12688, 0, -16, -18128, 0, -11328, 16, 0, -3344, -2624, 0, -4048, 16, 0, -16, -1664, 0, -1888, 16, 0, -32, 368, 0, 1040, 16, 0, -16, 4384, 0, 3008, 16, 0, -4736, -4768, 0, -8960, -15344, 0, -16, -8720, 0, -1616, 18832, 0, -15376, -15840, 0, -6000, -18416, 0, 17392, -10288, 0, 6832, 16, 0, -10768, -12016, 0, 1536, -19184, 0, -16, 640, 0, -6688, 12688, 0, -6160, 848, 0, 1488, -11888, 0, 5104, -6880, 0, -5392, 16, 0, -3088, -1552, 0, -208, 0, 0, -32, 3728, 0, 1520, -4976, 0, 6128, 2384, 0, 16912, 8080, 0, -7184, 3984, 0, 4928, 16, 0, 7664, 10256, 0, 36016, 17680, 0, -16, 8896, 0, 38352, -19184, 0, 12272, 8528, 0, -9152, 28816, 0, -19472, 5488, 0, 31280, 16, 0, 16880, 17616, 0, 23984, 23056, 0, -16, 20336, 0, 5808, -10352, 0, 7152, 992, 0, 4144, 16, 0, -16, -640, 0, -432, 0, 0, -16, 3296, 0, 5552, -7152, 0, -16, 19216, 0, 5568, -2688, 0, -16912, 16736, 0, 4496, -12656, 0, -16, 26272, 0, 36512, 16, 0, -16144, 26256, 0, 4848, -13296, 0, -16, 29824, 0, -11504, 16, 0, -10000, 22608, 0, 23088, -9584, 0, -16, 16448, 0, -17424, 16, 0, -4240, 17728, 0, -13120, -5616, 0, 768, 6976, 0, 2144, 16, 0, 0, -448, 0, -1344, 2064, 0, -16, 12304, 0, 15312, 16, 0, 8432, 24624, 0, 19088, 5648, 0, -16, 21968, 0, 7792, 16, 0, 11504, 23056, 0, 464, 11664, 0, -16, 14384, 0, 8208, 16, 0, 14960, 14976, 0, 7056, 17936, 0, -16, 9072, 0, -6576, 16, 0, 13808, -4880, 0, -2272, 18320, 0, -16, -3536, 0, -8784, 16, 0, 7264, -2176, 0, 656, 32, 0, 0, 960, 0, -14704, 10752, 0, -14352, -96, 0, 16272, 13328, 0, -19216, -3744, 0, -28112, -11760, 0, 5616, -512, 0, -27856, 10256, 0, -19472, -864, 0, -12944, 15248, 0, -18448, -20160, 0, -40976, 14352, 0, 14960, -30672, 0, -41776, 11280, 0, -10256, -34224, 0, -16848, 8208, 0, 7152, -22448, 0, -34192, 3856, 0, 4080, -26128, 0, -23984, 2064, 0, -1552, -9648, 0, -6016, 32, 0, 2032, -14400, 0, -15600, -4080, 0, -1296, -16224, 0, -5120, -5360, 0, 10224, -41136, 0, -23056, -10224, 0, 16880, -21120, 0, -6368, -13296, 0, -21520, -20464, 0, 7152, -16368, 0, -16, -28352, 0, -23648, -17008, 0, 20464, -34352, 0, 17760, -11248, 0, -11792, -30704, 0, 9904, 12816, 0, 26608, -21872, 0, -33760, -14320, 0, 14832, -13088, 0, 18592, -11888, 0, -4128, -21616, 0, 22592, 24976, 0, -16, -22480, 0, 11040, 16, 0, -24976, -30176, 0, 12192, 27664, 0, 4608, -35168, 0, 38960, 16, 0, -6416, -7728, 0, 18112, 36880, 0, -16, -3936, 0, 26464, 16, 0, -4496, -2624, 0, 37664, 20752, 0, -16, -12720, 0, 17232, 16, 0, -15376, -9952, 0, 28368, 8848, 0, -16, 8096, 0, 20720, 16, 0, -656, 13200, 0, 25728, 0, 0, -32, -8384, 0, -5856, 16, 0, 1264, -10736, 0, 22816, -10352, 0, -16, 1008, 0, 23648, 16, 0, 19184, 2960, 0, -38016, -26864, 0, -16, 7776, 0, -9088, 16, 0, 5104, 11168, 0, 4208, -24176, 0, -16, 25296, 0, -17040, 16, 0, 7024, 28864, 0, -25072, -33776, 0, -16, 21232, 0, 1792, 16, 0, 26864, 27536, 0, -2224, -27760, 0, -12688, 42448, 0, -6560, 0, 0, 21360, 38144, 0, 13552, 26896, 0, -16, 17632, 0, 34880, -22384, 0, 18416, 44720, 0, 13200, 15360, 0, -24208, 29872, 0, 5104, 16, 0, 21872, 43200, 0, 30768, 17424, 0, -16, 34000, 0, -23440, -18288, 0, 16880, 24256, 0, -6944, 10256, 0, -9232, 34528, 0, 14176, 16, 0, 10352, 24128, 0, -18304, 3088, 0, -16, 46544, 0, 5904, -1264, 0, 0, 57360, 0, 43984, -2928, 0, 3424, 44096, 0, 17424, 16, 0, -4624, 29056, 0, 23904, -13808, 0, -16, 28144, 0, 29184, 11280, 0, -12304, 25344, 0, 12208, -19696, 0, 21104, 25200, 0, 7424, 16, 0, -19600, 11312, 0, -11552, -24304, 0, -16, 4240, 0, -4864, 26512, 0, -23056, -16352, 0, -19328, -19952, 0, 24176, -11088, 0, -19248, 800, 0, -11408, 6592, 0, -21392, -40928, 0, 0, -4576, 0, -51552, 13456, 0, -31744, 11344, 0, -34320, -29936, 0, -16, 13232, 0, 24352, 16, 0, 30960, -16480, 0, -49168, -14064, 0, -16, -16208, 0, -38384, 16, 0, 32752, -20944, 0, -10192, -13424, 0, -16, -24752, 0, -42128, 16, 0, -19216, -34624, 0, -62544, -7664, 0, -16, -31840, 0, -31648, -1920, 0, 4592, -69792, 0, -41152, -3440, 0, -16, -71824, 0, -40928, 32, 0, -3088, -51632, 0, -48368, 6928, 0, -16, -33792, 0, -21824, 16, 0, 3568, -32736, 0, -12112, 9616, 0, -16, -50000, 0, -35840, 16, 0, -28688, -28752, 0, 16288, 15376, 0, -16, -31440, 0, 8544, 16, 0, -20496, -35872, 0, -26464, 15504, 0, -16, -19440, 0, 17904, 16, 0, 15088, -55472, 0, -3344, 6928, 0, 17904, -55712, 0, -64576, -33776, 0, -57376, -61552, 0, -13888, -18544, 0, -37136, -61056, 0, -672, 34576, 0, -33040, -45952, 0, -688, -47600, 0, -16, -30480, 0, -30784, -34928, 0, -27392, -15104, 0, -9232, -40304, 0, -21776, -30672, 0, 80, 16, 0, -25104, -4208, 0, 2880, -19184, 0, 16880, -2928, 0, 13808, -21872, 0, -14352, 6864, 0, 23920, -14192, 0, -7696, 6768, 0, -19088, 6160, 0, -1808, -8240, 0, 54480, 0, 0, -32, -7056, 0, 84384, 6544, 0, 3568, 4576, 0, 5168, 18832, 0, 10736, -18048, 0, 50768, 16, 0, 17904, -7632, 0, 56592, 26128, 0, -19984, 11136, 0, 8656, 34576, 0, 28656, 19440, 0, 46128, 29968, 0, 24304, 22976, 0, 45680, -37616, 0, 39408, 21808, 0, 16112, 46096, 0, -16, 49296, 0, 42112, 48400, 0, 6640, 74160, 0, 63984, 13856, 0, 39664, 51232, 0, 72928, 0, 0, 3568, 73200, 0, 44288, 27664, 0, -18960, 81632, 0, 29280, 14992, 0, -30224, 38512, 0, 17696, -25328, 0, -16, 41712, 0, -736, -9984, 0, -12688, 39472, 0, 8256, -24560, 0, -16, 46192, 0, 58880, 16, 0, -15376, 52528, 0, -22896, -12144, 0, -16, 38256, 0, -48288, 16, 0, -6528, 78816, 0, -2576, -5616, 0, -16, 74064, 0, -85184, 16, 0, 0, 79776, 0, -70704, 2192, 0, -16, 80272, 0, -40560, 16, 0, 8432, 46528, 0, -89120, 12304, 0, -16, 42768, 0, -24592, 16, 0, 14576, 38016, 0, -55200, 17936, 0, -16, 9536, 0, -57472, 16, 0, 27632, 7744, 0, -30832, 14096, 0, -16, -6752, 0, -57088, -5232, 0, 7152, 13200, 0, -36336, 65040, 0, 28400, 13632, 0, -90048, 16, 0, 45552, -8960, 0, -77328, 57376, 0, 0, -2944, 0, 33536, -25968, 0, -12048, -5360, 0, -46880, 51088, 0, -9616, -3504, 0, -19904, 16, 0, -28176, -11776, 0, 63072, 30736, 0, -16, -9584, 0, -33680, -19568, 0, 33776, -19232, 0, 15424, 13456, 0, 26608, -23856, 0, 53968, 16, 0, -24336, -27824, 0, -10992, 14352, 0, -16, -80160, 0, 27968, -9584, 0, -8208, -50368, 0, 20960, 2192, 0, 1776, -91440, 0, -6288, 32, 0, -1168, -63584, 0, 31632, -3552, 0, -16, -87264, 0, -6160, 13456, 0, 12272, -70720, 0, 7024, -17904, 0, 21104, -44272, 0, 17888, 16, 0, 25072, -61456, 0, -27552, -15344, 0, -16, -45824, 0, 3376, 21904, 0, -25616, -29952, 0, 15472, -14960, 0, -35344, -82416, 0, -110736, 16, 0, 75504, -96128, 0, 15760, 25872, 0, -16, -111296, 0, -4928, 27792, 0, 114656, -85040, 0, -58960, 38672, 0, -44816, -95904, 0, -2640, 16, 0, 3440, -91408, 0, 4656, 27152, 0, -16, -56816, 0, -29184, 5520, 0, 35824, -44944, 0, -28368, 58768, 0, 13440, -13808, 0, -11952, 16, 0, 17904, -23552, 0, -9552, 36880, 0, -16, -20832, 0, 14032, 16, 0, 20464, -34032, 0, 33376, 17296, 0, -16, -17136, 0, 71568, 16, 0, 4992, -14800, 0, -31280, 0, 0, -32, 7136, 0, 72528, 416, 0, -9232, 35072, 0, 72336, -18416, 0, -16, 23248, 0, 4576, 16, 0, -25616, 10096, 0, 53792, -38384, 0, -16, 10160, 0, 55024, 16, 0, -20496, 42560, 0, 24384, -50672, 0, -16, 43952, 0, 100160, 11024, 0, -15248, 57632, 0, 75392, -44528, 0, 19952, 104592, 0, 69568, 33168, 0, -1552, 85744, 0, 75344, -45680, 0, 29552, 91728, 0, 69952, 0, 0, -43664, 121488, 0, 90480, -23024, 0, 34544, 111344, 0, 41616, 25616, 0, -27152, 84624]