# Trace form for 1856.4.a, downloaded from the LMFDB on 25 April 2024.
[0, 168, 0, 0, 0, 0, 0, 0, 0, 1512, 0, 0, 0, -144, 0, 0, 0, 0, 0, 0, 0, 240, 0, 0, 0, 4200, 0, 0, 0, 0, 0, 0, 0, 464, 0, 0, 0, 1008, 0, 0, 0, 80, 0, 0, 0, -1968, 0, 0, 0, 8232, 0, 0, 0, -816, 0, 0, 0, -688, 0, 0, 0, 3984, 0, 0, 0, 0, 0, 0, 0, 2544, 0, 0, 0, 0, 0, 0, 0, -3504, 0, 0, 0, 11768, 0, 0, 0, -2832, 0, 0, 0, 0, 0, 0, 0, 8640, 0, 0, 0, 0, 0, 0, 0, -48, 0, 0, 0, 0, 0, 0, 0, -9504, 0, 0, 0, -3376, 0, 0, 0, -5184, 0, 0, 0, 20328, 0, 0, 0, 18768, 0, 0, 0, -2000, 0, 0, 0, 8160, 0, 0, 0, -1616, 0, 0, 0, -5856, 0, 0, 0, 0, 0, 0, 0, 2352, 0, 0, 0, -6144, 0, 0, 0, 20304, 0, 0, 0, 5024, 0, 0, 0, 23568, 0, 0, 0, 32648, 0, 0, 0, -9216, 0, 0, 0, 304, 0, 0, 0, -3552, 0, 0, 0, 2720, 0, 0, 0, 23440, 0, 0, 0, -6048, 0, 0, 0, 22000, 0, 0, 0, -12880, 0, 0, 0, -5136, 0, 0, 0, 2256, 0, 0, 0, 31264, 0, 0, 0, -3744, 0, 0, 0, 12688, 0, 0, 0, 51944, 0, 0, 0, 14368, 0, 0, 0, 12608, 0, 0, 0, 8320, 0, 0, 0, -19264, 0, 0, 0, 18496, 0, 0, 0, -336, 0, 0, 0, 3408, 0, 0, 0, -10288, 0, 0, 0, 0, 0, 0, 0, -10560, 0, 0, 0, 30560, 0, 0, 0, 23776, 0, 0, 0, 12288, 0, 0, 0, 9184, 0, 0, 0, -19680, 0, 0, 0, 56280, 0, 0, 0, -9216, 0, 0, 0, 31200, 0, 0, 0, 7696, 0, 0, 0, -1216, 0, 0, 0, -44576, 0, 0, 0, 15696, 0, 0, 0, 25040, 0, 0, 0, -5168, 0, 0, 0, -24544, 0, 0, 0, -11104, 0, 0, 0, 75792, 0, 0, 0, 28080, 0, 0, 0, 26208, 0, 0, 0, 10880, 0, 0, 0, -52848, 0, 0, 0, 10608, 0, 0, 0, -10112, 0, 0, 0, 95304, 0, 0, 0, 51488, 0, 0, 0, 2160, 0, 0, 0, 30240, 0, 0, 0, 0, 0, 0, 0, 8656, 0, 0, 0, -4384, 0, 0, 0, 26816, 0, 0, 0, -40752, 0, 0, 0, 31616, 0, 0, 0, 0, 0, 0, 0, 35776, 0, 0, 0, 13488, 0, 0, 0, -74624, 0, 0, 0, 72880, 0, 0, 0, -71904, 0, 0, 0, 37344, 0, 0, 0, 34864, 0, 0, 0, 0, 0, 0, 0, 44576, 0, 0, 0, 91784, 0, 0, 0, -110480, 0, 0, 0, -51488, 0, 0, 0, 20976, 0, 0, 0, -12240, 0, 0, 0, 50896, 0, 0, 0, 75792, 0, 0, 0, 84864, 0, 0, 0, 320, 0, 0, 0, -672, 0, 0, 0, 21600, 0, 0, 0, 71920, 0, 0, 0, 33952, 0, 0, 0, 0, 0, 0, 0, -56512, 0, 0, 0, 25920, 0, 0, 0, -55968, 0, 0, 0, -1008, 0, 0, 0, -85232, 0, 0, 0, 26624, 0, 0, 0, -108752, 0, 0, 0, -30400, 0, 0, 0, 129000, 0, 0, 0, -40912, 0, 0, 0, -29872, 0, 0, 0, 65216, 0, 0, 0, -22896, 0, 0, 0, -52192, 0, 0, 0, 28512, 0, 0, 0, 66160, 0, 0, 0, -113856, 0, 0, 0, 17952, 0, 0, 0, 19120, 0, 0, 0, 58928, 0, 0, 0, -52080, 0, 0, 0, 31968, 0, 0, 0, -58864, 0, 0, 0, 20624, 0, 0, 0, -2672, 0, 0, 0, -39920, 0, 0, 0, 34816, 0, 0, 0, -76752, 0, 0, 0, 0, 0, 0, 0, -2208, 0, 0, 0, 3776, 0, 0, 0, 27728, 0, 0, 0, -8472, 0, 0, 0, -193056, 0, 0, 0, -106112, 0, 0, 0, 151440, 0, 0, 0, -31008, 0, 0, 0, -50800, 0, 0, 0, -128048, 0, 0, 0, -48736, 0, 0, 0, 77440, 0, 0, 0, 99520, 0, 0, 0, -6848, 0, 0, 0, -103904, 0, 0, 0, -49888, 0, 0, 0, -88976, 0, 0, 0, 143280, 0, 0, 0, -167040, 0, 0, 0, -71568, 0, 0, 0, -128320, 0, 0, 0, -47808, 0, 0, 0, 25808, 0, 0, 0, -94208, 0, 0, 0, -202416, 0, 0, 0, -124928, 0, 0, 0, -49040, 0, 0, 0, 49120, 0, 0, 0, 0, 0, 0, 0, 12408, 0, 0, 0, -48784, 0, 0, 0, 112816, 0, 0, 0, 20448, 0, 0, 0, 11968, 0, 0, 0, -135296, 0, 0, 0, -251936, 0, 0, 0, 52976, 0, 0, 0, -114320, 0, 0, 0, -27392, 0, 0, 0, 12768, 0, 0, 0, 242288, 0, 0, 0, -269152, 0, 0, 0, -259200, 0, 0, 0, -25824, 0, 0, 0, -137824, 0, 0, 0, -81504, 0, 0, 0, 36544, 0, 0, 0, -63296, 0, 0, 0, -90432, 0, 0, 0, 82320, 0, 0, 0, 7776, 0, 0, 0, -39216, 0, 0, 0, -203024, 0, 0, 0, 37824, 0, 0, 0, -19248, 0, 0, 0, -81440, 0, 0, 0, 98672, 0, 0, 0, 141288, 0, 0, 0, -209776, 0, 0, 0, -76400, 0, 0, 0, -218976, 0, 0, 0, 26096, 0, 0, 0, -28416, 0, 0, 0, 25696, 0, 0, 0, 29856, 0, 0, 0, -75328, 0, 0, 0, -27120, 0, 0, 0, -61104, 0, 0, 0, 382416, 0, 0, 0, -212928, 0, 0, 0, -154992, 0, 0, 0, -159744, 0, 0, 0, -131664, 0, 0, 0, -185232, 0, 0, 0, 50480, 0, 0, 0, -45072, 0, 0, 0, -177984, 0, 0, 0, 21040, 0, 0, 0, 224400, 0, 0, 0, -74544, 0, 0, 0, -71408, 0, 0, 0, 68752, 0, 0, 0, -66144, 0, 0, 0, -187360, 0, 0, 0, -121152, 0, 0, 0, -62816, 0, 0, 0, 0, 0, 0, 0, -137176, 0, 0, 0, -75696, 0, 0, 0, 76320, 0, 0, 0, -184992, 0, 0, 0, 51792, 0, 0, 0, -125840, 0, 0, 0, 36576, 0, 0, 0, 36944, 0, 0, 0, -92800, 0, 0, 0, -317328, 0, 0, 0, -163680, 0, 0, 0, -589344, 0, 0, 0, -93104, 0, 0, 0, -275776, 0, 0, 0, -179920, 0, 0, 0, -115872, 0, 0, 0, 189936, 0, 0, 0, -126208, 0, 0, 0, 51200, 0, 0, 0, -82336, 0, 0, 0, -127440, 0, 0, 0, -247648, 0, 0, 0, -38704, 0, 0, 0, 12304, 0, 0, 0, 214656, 0, 0, 0, -39120, 0, 0, 0, -32928, 0, 0, 0, 107472, 0, 0, 0, 0, 0, 0, 0, 5024, 0, 0, 0, 217120, 0, 0, 0, -327120, 0, 0, 0, 82360, 0, 0, 0, 91568, 0, 0, 0, -109904, 0, 0, 0, -403920, 0, 0, 0, 231040, 0, 0, 0, -292800, 0, 0, 0, -18080, 0, 0, 0, 52224, 0, 0, 0, 18992, 0, 0, 0, 144896, 0, 0, 0, 66640, 0, 0, 0, 511968, 0, 0, 0, 152880, 0, 0, 0, 460272, 0, 0, 0, 1312, 0, 0, 0, 217872, 0, 0, 0, 280768, 0, 0, 0, -8496, 0, 0, 0, -85696, 0, 0, 0, 185264, 0, 0, 0, 111392, 0, 0, 0, 242688, 0, 0, 0, -67504, 0, 0, 0, -331232, 0, 0, 0, -217472, 0, 0, 0, -104400, 0, 0, 0, 78608, 0, 0, 0, 365664, 0, 0, 0, 205936, 0, 0, 0, -330288, 0, 0, 0, 6880, 0, 0, 0, 240048, 0, 0, 0, -40960, 0, 0, 0, -283520, 0, 0, 0, 419112, 0, 0, 0, -91232, 0, 0, 0, 31344, 0, 0, 0, 238352, 0, 0, 0, 194560, 0, 0, 0, 419120, 0, 0, 0, -16560, 0, 0, 0, 753664, 0, 0, 0, -137680, 0, 0, 0, 148464, 0, 0, 0, -308864, 0, 0, 0, 352368, 0, 0, 0, -159376, 0, 0, 0, -356768, 0, 0, 0, 263616, 0, 0, 0, 199376, 0, 0, 0, -101968, 0, 0, 0, 116272, 0, 0, 0, -177792, 0, 0, 0, -79552, 0, 0, 0, -98832, 0, 0, 0, 304800, 0, 0, 0, -273312, 0, 0, 0, 241104, 0, 0, 0, -9552, 0, 0, 0, 69952, 0, 0, 0, 272912, 0, 0, 0, 301344, 0, 0, 0, 172064, 0, 0, 0, -101664, 0, 0, 0, -196512, 0, 0, 0, -344320, 0, 0, 0, 444640, 0, 0, 0, 663680, 0, 0, 0, -177728, 0, 0, 0, 525968, 0, 0, 0, 277272, 0, 0, 0, 81648, 0, 0, 0, -237184, 0, 0, 0, -303072, 0, 0, 0, -438432, 0, 0, 0, 86928, 0, 0, 0, -41792, 0, 0, 0, 146384, 0, 0, 0, -56976, 0, 0, 0, 236912, 0, 0, 0, 184320, 0, 0, 0, 607744, 0, 0, 0, -51744, 0, 0, 0, 0, 0, 0, 0, -177504, 0, 0, 0, 576720, 0, 0, 0, 227680, 0, 0, 0, 75392, 0, 0, 0, 116272, 0, 0, 0, 431200, 0, 0, 0, 263904, 0, 0, 0, -59232, 0, 0, 0, 309168, 0, 0, 0, 478640, 0, 0, 0, 528352, 0, 0, 0, 34976, 0, 0, 0, 324560, 0, 0, 0, 91920, 0, 0, 0, 356032, 0, 0, 0, 1441296, 0, 0, 0, 192896, 0, 0, 0, -370784, 0, 0, 0, -291056, 0, 0, 0, -107920, 0, 0, 0, -11744, 0, 0, 0, 567520, 0, 0, 0, -318240, 0, 0, 0, 225536, 0, 0, 0, 168072, 0, 0, 0, 850112, 0, 0, 0, -588784, 0, 0, 0, -116384, 0, 0, 0, 0, 0, 0, 0, -101824, 0, 0, 0, -19616, 0, 0, 0, 228960, 0, 0, 0, -259888, 0, 0, 0, -402048, 0, 0, 0, 83552, 0, 0, 0, 151152, 0, 0, 0, -168944, 0, 0, 0, 27584, 0, 0, 0, 189296, 0, 0, 0, -185104, 0, 0, 0, 648160, 0, 0, 0, -709792, 0, 0, 0, 453184, 0, 0, 0, -611920, 0, 0, 0, -31120, 0, 0, 0, -1034192, 0, 0, 0, 722624, 0, 0, 0, 688864, 0, 0, 0, 243984, 0, 0, 0, 676416, 0, 0, 0, 409600, 0, 0, 0, -331248, 0, 0, 0, 95680, 0, 0, 0, -159760, 0, 0, 0, -599568, 0, 0, 0, 497552, 0, 0, 0, 407232, 0, 0, 0, 164256, 0, 0, 0, -93536, 0, 0, 0, -692816, 0, 0, 0, 501184, 0, 0, 0, 509232, 0, 0, 0, -92704, 0, 0, 0, -413136, 0, 0, 0, 231256, 0, 0, 0, 3504, 0, 0, 0, -23840, 0, 0, 0, 816864, 0, 0, 0, 305856, 0, 0, 0, -699360, 0, 0, 0, 800, 0, 0, 0, -144672, 0, 0, 0, 839536, 0, 0, 0, -322432, 0, 0, 0, 755712, 0, 0, 0, -104384, 0, 0, 0, 255520, 0, 0, 0, 104224, 0, 0, 0, 572896, 0, 0, 0, -129008, 0, 0, 0, -828640, 0, 0, 0, -300176, 0, 0, 0, -160032, 0, 0, 0, 226800, 0, 0, 0, 181872, 0, 0, 0, 276288, 0, 0, 0, -25520, 0, 0, 0, 265296, 0, 0, 0, 27952, 0, 0, 0, -608992, 0, 0, 0, -311456, 0, 0, 0, 742784, 0, 0, 0, 106448, 0, 0, 0, -401984, 0, 0, 0, 500128, 0, 0, 0, -408352, 0, 0, 0, -252768, 0, 0, 0, 1100144, 0, 0, 0, 179104, 0, 0, 0, -509408, 0, 0, 0, 71104, 0, 0, 0, 39840, 0, 0, 0, 20656, 0, 0, 0, -591904, 0, 0, 0, 820416, 0, 0, 0, 279680, 0, 0, 0, 832168, 0, 0, 0, -366608, 0, 0, 0, 300096, 0, 0, 0, -165408, 0, 0, 0, 489520, 0, 0, 0, -859392, 0, 0, 0, 385440, 0, 0, 0, -851920, 0, 0, 0, -316032, 0, 0, 0, 0, 0, 0, 0, 61984, 0, 0, 0, -149344, 0, 0, 0, -230624, 0, 0, 0, -996608, 0, 0, 0, -499984, 0, 0, 0, -253728, 0, 0, 0, -396576, 0, 0, 0, 1031072, 0, 0, 0, 719232, 0, 0, 0, 434688, 0, 0, 0, 46576, 0, 0, 0, 121152, 0, 0, 0, -491472, 0, 0, 0, -313904, 0, 0, 0, 98592, 0, 0, 0, -1608464, 0, 0, 0, -1110176, 0, 0, 0, 445248, 0, 0, 0, -563040, 0, 0, 0, 343648, 0, 0, 0, 349744, 0, 0, 0, -1434544, 0, 0, 0, 768640, 0, 0, 0, 649536, 0, 0, 0, -910256, 0, 0, 0, -994752, 0, 0, 0, 781008, 0, 0, 0, -369408, 0, 0, 0, 0, 0, 0, 0, 246160, 0, 0, 0, -333008, 0, 0, 0, -565744, 0, 0, 0, 140560, 0, 0, 0, 623232, 0, 0, 0, -655288, 0, 0, 0, -382096, 0, 0, 0, -208240, 0, 0, 0, 172896, 0, 0, 0, 299648, 0, 0, 0, 376672, 0, 0, 0, 62448, 0, 0, 0, 808544, 0, 0, 0, -447648, 0, 0, 0, 625296, 0, 0, 0, -492672, 0, 0, 0, 589440, 0, 0, 0, -962928, 0, 0, 0, 535728, 0, 0, 0, -340432, 0, 0, 0, -749776, 0, 0, 0, 335552, 0, 0, 0, 676512, 0, 0, 0, -381472, 0, 0, 0, 1045008, 0, 0, 0, 127808, 0, 0, 0, -312032, 0, 0, 0, -91280, 0, 0, 0, -99760, 0, 0, 0, 499072, 0, 0, 0, 1021328, 0, 0, 0, -618768, 0, 0, 0, -666064, 0, 0, 0, 555760, 0, 0, 0, 842032, 0, 0, 0, 530880, 0, 0, 0, 953520, 0, 0, 0, -40320, 0, 0, 0, -2338912, 0, 0, 0, -306208, 0, 0, 0, -754752, 0, 0, 0, -882016, 0, 0, 0, 298448, 0, 0, 0, 440032, 0, 0, 0, 68880, 0, 0, 0, -248992, 0, 0, 0, -478832, 0, 0, 0, 218368, 0, 0, 0, 1072080, 0, 0, 0, -190528, 0, 0, 0, 1541424, 0, 0, 0, -400408, 0, 0, 0, 430304, 0, 0, 0, 101600, 0, 0, 0, -261024, 0, 0, 0, 1065792, 0, 0, 0, -339920, 0, 0, 0, 108576, 0, 0, 0, -395120, 0, 0, 0, -33536, 0, 0, 0, 1194560, 0, 0, 0, 562336, 0, 0, 0, -1328048, 0, 0, 0, -629984, 0, 0, 0, -97376, 0, 0, 0, 75712, 0, 0, 0, 634544, 0, 0, 0, 361968, 0, 0, 0, -2104512, 0, 0, 0, -865504, 0, 0, 0, 691424, 0, 0, 0, -346624, 0, 0, 0, 267536, 0, 0, 0, -1016144, 0, 0, 0, 1410000, 0, 0, 0, 1146592, 0, 0, 0, -253936, 0, 0, 0, -463552, 0, 0, 0, 275536, 0, 0, 0, -557808, 0, 0, 0, -256592, 0, 0, 0, -148448, 0, 0, 0, -646368, 0, 0, 0, -1360032, 0, 0, 0, 199264, 0, 0, 0, -322336, 0, 0, 0, 0, 0, 0, 0, 735616, 0, 0, 0, 448048, 0, 0, 0, 472432, 0, 0, 0, 1821872, 0, 0, 0, -391264, 0, 0, 0, 1961952, 0, 0, 0, 225328, 0, 0, 0, -1336128, 0, 0, 0, -256656, 0, 0, 0, -249504, 0, 0, 0, -275424, 0, 0, 0, -156208, 0, 0, 0, 982760, 0, 0, 0, 531872, 0, 0, 0, -1019136, 0, 0, 0, 1720784, 0, 0, 0, 191744, 0, 0, 0, 14448, 0, 0, 0, -564576, 0, 0, 0, -295232, 0, 0, 0, 461136, 0, 0, 0, 1386784, 0, 0, 0, -163744, 0, 0, 0, -497136, 0, 0, 0, 702864, 0, 0, 0, -279424, 0, 0, 0, -235936, 0, 0, 0, 845824, 0, 0, 0, 0, 0, 0, 0, -312208, 0, 0, 0, 530912, 0, 0, 0, 599808, 0, 0, 0, 278688, 0, 0, 0, -1225504, 0, 0, 0, 50240, 0, 0, 0, 567328, 0, 0, 0, -742832, 0, 0, 0, -615424, 0, 0, 0, -937984, 0, 0, 0, 1239184, 0, 0, 0, -789312, 0, 0, 0, 188768, 0, 0, 0, -38960, 0, 0, 0, -1167248, 0, 0, 0, 45600, 0, 0, 0, 463472, 0, 0, 0, 303440, 0, 0, 0, -890560, 0, 0, 0, -1629440, 0, 0, 0, 612688, 0, 0, 0, -245024, 0, 0, 0, -1214080, 0, 0, 0, 144128, 0, 0, 0, -1901792, 0, 0, 0, -492576, 0, 0, 0, 623232, 0, 0, 0, -1594672, 0, 0, 0, 75168, 0, 0, 0, -376336, 0, 0, 0, -2727520, 0, 0, 0, -86288, 0, 0, 0, -530960, 0, 0, 0, 991256, 0, 0, 0, 384176, 0, 0, 0, 321328, 0, 0, 0, -1468128, 0, 0, 0, 662864, 0, 0, 0, 1053920, 0, 0, 0, -2440448, 0, 0, 0, 324144, 0, 0, 0, 482320, 0, 0, 0, -1758912, 0, 0, 0, 492592, 0, 0, 0, -93312, 0, 0, 0, -1069520, 0, 0, 0, 1039200, 0, 0, 0, -363088, 0, 0, 0, -2993600, 0, 0, 0, -1059616, 0, 0, 0, -1276416, 0, 0, 0, -125280, 0, 0, 0, 152176, 0, 0, 0, -360544, 0, 0, 0, -575456, 0, 0, 0, -548048, 0, 0, 0, 366128, 0, 0, 0, 32016, 0, 0, 0, 27840, 0, 0, 0, 328544, 0, 0, 0, -1283072, 0, 0, 0, -54320, 0, 0, 0, -31040, 0, 0, 0, -4176, 0, 0, 0, -736848, 0, 0, 0, 320624, 0, 0, 0, -79328, 0, 0, 0, 237472, 0, 0, 0, 1346544, 0, 0, 0, 725184, 0, 0, 0, -2249760, 0, 0, 0, -520192, 0, 0, 0, -1374080, 0, 0, 0, -198384, 0, 0, 0, -2081104, 0, 0, 0, -625440, 0, 0, 0, 395392, 0, 0, 0, 780704, 0, 0, 0, -2211232, 0, 0, 0, -787328, 0, 0, 0, -1280304, 0, 0, 0, -71824, 0, 0, 0, -285664, 0, 0, 0, -492512, 0, 0, 0, -1521424, 0, 0, 0, 1114184, 0, 0, 0, 0, 0, 0, 0, -1123104, 0, 0, 0, -1576592, 0, 0, 0, -1870576, 0, 0, 0, -1404672, 0, 0, 0, 611856, 0, 0, 0, -355984, 0, 0, 0, -721392, 0, 0, 0, -253824, 0, 0, 0, -625376, 0, 0, 0, 2587040, 0, 0, 0, -417152, 0, 0, 0, -514656, 0, 0, 0, -1093200, 0, 0, 0, -374624, 0, 0, 0, -505216, 0, 0, 0, -3954848, 0, 0, 0, 532208, 0, 0, 0, -58608, 0, 0, 0, 816320, 0, 0, 0, 2215200, 0, 0, 0, 83904, 0, 0, 0, -1346944, 0, 0, 0, -400352, 0, 0, 0, -463056, 0, 0, 0, 1102960, 0, 0, 0, -1443216, 0, 0, 0, 52320, 0, 0, 0, -440864, 0, 0, 0, 0, 0, 0, 0, -560544, 0, 0, 0, -887392, 0, 0, 0, -737664, 0, 0, 0, -8240, 0, 0, 0, 1581312, 0, 0, 0, 119520, 0, 0, 0, -855808, 0, 0, 0, 1728192, 0, 0, 0, -885680, 0, 0, 0, -5920, 0, 0, 0, -1848416, 0, 0, 0, 800352, 0, 0, 0, -812864, 0, 0, 0, 63648, 0, 0, 0, 1916272, 0, 0, 0, 678432, 0, 0, 0, 583760, 0, 0, 0]