# Trace form for 2394.2.dn, downloaded from the LMFDB on 05 May 2024.
[0, 320, 0, 0, 320, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 320, 36, 0, 4, 0, 0, 0, 24, 0, 160, 0, 0, 4, 0, -8, 0, 0, 0, 0, 0, 0, 0, 0, -22, 0, 0, 22, 4, 0, -8, 0, 0, 0, -4, 0, 0, 0, 0, -6, 0, 0, 10, 0, 0, 0, 56, 0, -50, 320, 0, -32, 0, 36, 0, 0, 0, 0, -56, 18, 0, 4, 96, 0, 0, 0, -8, 0, 0, 0, 0, 0, 32, 0, 0, 0, 0, 24, 40, 0, 0, 0, 0, 0, 20, 160, -96, -38, 0, 0, 0, 0, 0, 0, 0, 0, 88, 4, 0, 72, 0, 0, 0, 0, -72, -8, 160, 0, 24, 0, 0, 0, 0, 0, 0, -48, -156, 0, 14, 0, 0, 0, 0, -80, 32, 0, 0, 48, 0, 0, 0, 0, 0, 0, -96, -64, 0, 0, -102, 0, 0, -22, -16, 0, -38, 0, -120, 0, -40, 0, 0, 0, 0, 22, 188, 0, 52, 4, 0, 0, 20, 0, -32, 0, 0, -8, 0, -180, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -96, -112, -4, 0, 0, 28, 0, -188, 0, 0, 0, 0, 0, -74, 0, -54, 76, 0, 0, 120, 24, -120, -6, 0, -60, 0, 0, 0, 0, 0, 0, 28, -24, 0, 10, -4, 0, 0, 0, -48, 56, 0, 0, 16, 0, -192, 0, 0, 0, 0, 56, 120, 0, 0, 0, 0, 0, 0, -50, -48, 0, 0, 320, 0, 128, 0, 0, 0, 0, 42, -32, 0, 18, -96, 0, 0, 116, 28, 36, 88, 0, -144, 0, -4, 0, 0, 0, 0, -40, -8, 0, -178, 0, 0, 0, 100, -96, 220, -56, 0, 42, 0, 18, 0, 0, 0, 0, -52, 48, 0, 4, 300, 0, 0, 96, -88, -24, 0, 0, 32, 0, 24, 0, 0, 0, 0, 0, -178, 0, 0, -8, 0, 0, 80, 0, 168, 40, 0, 0, 0, 0, 0, 0, 0, 0, -52, 0, 0, 98, 34, 0, 0, -60, 0, 32, 4, 0, -12, 0, -300, 0, 0, 0, 0, 6, -468, 0, -40, 0, 0, 0, -96, -188, -38, 24, 0, -96, 0, 40, 0, 0, 0, 0, 0, 184, 0, 0, 100, 0, 0, 0, 0, 0, 116, 0, -96, 0, -12, 0, 0, 0, 0, 20, -116, 0, -84, 160, 0, 0, 84, -96, -84, 18, 0, -38, 0, 0, 0, 0, 0, 0, -72, 0, 0, -36, -144, 0, 0, -204, -264, 0, 0, 0, 52, 0, 88, 0, 0, 0, 0, -60, -364, 0, 0, -92, 0, 0, 6, -36, 0, 88, 0, -60, 0, 4, 0, 0, 0, 0, -428, 0, 0, 72, -8, 0, 0, 0, -108, -220, -86, 0, -100, 0, -516, 0, 0, 0, 0, 0, 0, 0, -46, -72, 0, 0, -300, -8, -36, 0, 0, 160, 0, 80, 0, 0, 0, 0, -180, 24, 0, -48, -372, 0, 0, 84, 20, 0, -84, 0, 0, 0, -48, 0, 0, 0, 0, -192, 74, 0, -198, 0, 0, 0, -108, 12, -80, -48, 0, -66, 0, -156, 0, 0, 0, 0, 232, 336, 0, 14, -144, 0, 0, 0, -164, -12, -600, 0, -68, 0, -44, 0, 0, 0, 0, 0, 196, 0, 0, -80, 0, 0, -196, 32, 216, -424, 0, 0, 0, 0, 0, 0, 0, 0, 10, 48, 0, 184, 112, 0, 0, 0, 0, 0, -100, 0, 60, 0, 60, 0, 0, 0, 0, -24, -192, 0, 48, -24, 0, 0, -528, -240, -12, -96, 0, 36, 0, -64, 0, 0, 0, 0, 456, -40, 0, 0, 522, 0, 0, -102, -76, 0, -412, 0, -30, 0, -100, 0, 0, 0, 0, -22, -280, 0, 240, -16, 0, 0, 92, 0, -504, 0, 0, -38, 0, 0, 0, 0, 0, 0, 88, -120, 0, -48, 60, 0, 0, 120, 224, -40, -360, 0, 24, 0, 212, 0, 0, 0, 0, 0, 114, 0, 204, 96, 0, 0, 224, 96, -552, 22, 0, -168, 0, 188, 0, 0, 0, 0, 96, 0, 0, 52, 360, 0, 0, 4, 0, -264, -248, 0, 420, 0, 0, 0, 0, 0, 0, 20, 0, 0, -96, 0, 0, 0, -12, -32, -8, -444, 0, 0, 0, -64, 0, 0, 0, 0, 48, -8, 0, 12, 192, 0, 0, -172, 52, -180, -450, 0, 768, 0, -68, 0, 0, 0, 0, -204, -28, 0, 282, 84, 0, 0, 96, 48, -368, 0, 0, -108, 0, 0, 0, 0, 0, 0, 152, 0, 0, 0, 336, 0, 0, 0, -104, 0, -708, 0, 8, 0, -300, 0, 0, 0, 0, -96, 412, 0, 204, -112, 0, 0, -208, -4, -180, -264, 0, 0, 0, -48, 0, 0, 0, 0, -680, 28, 0, -320, -48, 0, 0, -48, 0, -188, -312, 0, 40, 0, -216, 0, 0, 0, 0, 72, 0, 0, -208, 0, 0, 0, 0, -544, 104, 0, 0, 270, 0, -74, 0, 0, 0, 0, 312, -36, 0, -54, 400, 0, 0, 76, -64, -96, -444, 0, 888, 0, 44, 0, 0, 0, 0, 120, -92, 0, -284, 24, 0, 0, 140, -120, 196, 0, 0, -6, 0, 0, 0, 0, 0, 0, 102, -60, 0, 96, -96, 0, 0, 0, -124, 0, 0, 0, 272, 0, 44, 0, 0, 0, 0, 0, 172, 0, 234, -272, 0, 0, 136, -288, 432, 28, 0, -180, 0, -24, 0, 0, 0, 0, 324, -96, 0, 10, 192, 0, 0, -4, 552, -168, 116, 0, -132, 0, -504, 0, 0, 0, 0, 0, 0, 0, 34, -48, 0, 0, 168, 56, -200, 144, 0, 0, 0, 72, 0, 0, 0, 0, 0, 16, 0, 42, 284, 0, 0, 224, -72, -192, 492, 0, 102, 0, -616, 0, 0, 0, 0, 90, -70, 0, 26, -120, 0, 0, 16, -48, -322, 56, 0, -240, 0, 120, 0, 0, 0, 0, -96, 510, 0, 0, -12, 0, 0, 0, 112, 24, 936, 0, 188, 0, 430, 0, 0, 0, 0, 0, 680, 0, 0, -50, 0, 0, -460, -48, 204, 448, 0, 0, 0, 18, 0, 0, 0, 0, -624, 320, 0, -252, -108, 0, 0, 24, -72, 128, 32, 0, 296, 0, 384, 0, 0, 0, 0, 0, 372, 0, -60, -96, 0, 0, -492, 476, 92, 42, 0, -168, 0, -32, 0, 0, 0, 0, -180, 278, 0, 18, 192, 0, 0, -96, -200, 0, 322, 0, 0, 0, 248, 0, 0, 0, 0, 116, 24, 0, 160, 28, 0, 0, -128, 36, 300, -144, 0, 88, 0, -318, 0, 0, 0, 0, -188, -144, 0, -252, 0, 0, 0, 168, 236, -4, 588, 0, -48, 0, 302, 0, 0, 0, 0, 0, 706, 0, -48, 16, 0, 0, -104, -72, 288, -40, 0, 0, 0, -8, 0, 0, 0, 0, 1280, -528, 0, -178, -128, 0, 0, 0, 840, 136, -132, 0, 324, 0, 528, 0, 0, 0, 0, 100, 792, 0, -116, -96, 0, 0, -192, 220, -288, 0, 0, -56, 0, -304, 0, 0, 0, 0, 426, 42, 0, 162, -164, 0, 0, -104, -68, 18, 396, 0, 132, 0, -120, 0, 0, 0, 0, 220, -816, 0, 748, 168, 0, 0, -368, 0, 744, -52, 0, 164, 0, 48, 0, 0, 0, 0, 112, -468, 0, 4, 468, 0, 0, 300, 0, 96, 552, 0, -356, 0, 244, 0, 0, 0, 0, 96, 838, 0, 564, -88, 0, 0, 388, -24, 222, 364, 0, 0, 0, -120, 0, 0, 0, 0, 400, 32, 0, -160, 252, 0, 0, -48, 0, 24, -312, 0, 24, 0, 1116, 0, 0, 0, 0, 0, 336, 0, -126, 84, 0, 0, 552, -372, -92, 0, 0, 48, 0, -178, 0, 0, 0, 0, 792, 168, 0, 0, 872, 0, 0, -8, -40, 12, 368, 0, 492, 0, 262, 0, 0, 0, 0, 80, -324, 0, 404, 0, 0, 0, 240, 168, 288, 96, 0, 40, 0, 0, 0, 0, 0, 0, 544, 0, 0, -132, 0, 0, 0, 240, -160, 0, 312, 0, -288, 0, -340, 0, 0, 0, 0, -288, 432, 0, 588, 562, 0, 0, -20, -120, 0, -52, 0, 456, 0, 0, 0, 0, 0, 0, 152, -114, 0, 98, 194, 0, 0, 34, -732, -52, 96, 0, 340, 0, -936, 0, 0, 0, 0, -60, 0, 0, -28, 0, 0, 0, 852, 32, -28, 0, 0, 4, 0, -12, 0, 0, 0, 0, -660, -12, 0, -270, 760, 0, 0, 520, -96, -300, 520, 0, -36, 0, -336, 0, 0, 0, 0, 144, -196, 0, 140, 72, 0, 0, -4, -204, 800, 6, 0, 386, 0, -468, 0, 0, 0, 0, -264, 84, 0, -40, 0, 0, 0, 0, 66, 144, 0, 0, -352, 0, -800, 0, 0, 0, 0, -96, -240, 0, 102, -188, 0, 0, -48, -38, 708, 232, 0, 24, 0, -120, 0, 0, 0, 0, 42, -96, 0, -66, -148, 0, 0, 96, -216, 40, 202, 0, -928, 0, 432, 0, 0, 0, 0, -84, 816, 0, -300, 324, 0, 0, -12, 4, -204, 0, 0, -384, 0, 184, 0, 0, 0, 0, 300, -332, 0, 0, 30, 0, 0, 100, 4, 258, 672, 0, -912, 0, -392, 0, 0, 0, 0, 0, -390, 0, -338, 0, 0, 0, 208, 0, -872, 0, 0, 116, 0, 132, 0, 0, 0, 0, 12, -96, 0, 78, 0, 0, 0, 192, -48, -12, 1500, 0, 104, 0, 298, 0, 0, 0, 0, 0, 14, 0, 0, 652, 0, 0, 520, -84, 0, 20, 0, 864, 0, -116, 0, 0, 0, 0, 564, -288, 0, -84, -4, 0, 0, 160, 120, 216, -212, 0, 36, 0, 0, 0, 0, 0, 0, 84, -372, 0, 96, -96, 0, 0, 204, -84, 160, 0, 0, 18, 0, 466, 0, 0, 0, 0, -648, -38, 0, 0, -520, 0, 0, -770, 240, 0, 612, 0, -1140, 0, -360, 0, 0, 0, 0, -696, 348, 0, 692, 0, 0, 0, -274, 216, -48, -72, 0, 264, 0, 0, 0, 0, 0, 0, -248, 0, 0, -36, 12, 0, 0, -144, -348, -180, -396, 0, -136, 0, -768, 0, 0, 0, 0, -204, -672, 0, -252, -264, 0, 0, 212, 0, 0, -208, 0, 0, 0, 336, 0, 0, 0, 0, -64, 52, 0, -410, -270, 0, 0, -96, -468, 88, 144, 0, -1002, 0, 84, 0, 0, 0, 0, -108, 1272, 0, -108, 84, 0, 0, 0, -4, 216, -60, 0, -48, 0, -364, 0, 0, 0, 0, 840, 16, 0, 0, -544, 0, 0, -92, 164, 660, -1724, 0, 468, 0, -436, 0, 0, 0, 0, 6, -240, 0, -290, -36, 0, 0, 252, 0, 916, -84, 0, 88, 0, 672, 0, 0, 0, 0, -148, -60, 0, -60, -372, 0, 0, -60, -450, 4, -876, 0, -1008, 0, -68, 0, 0, 0, 0, -612, -16, 0, 846, -148, 0, 0, 752, -144, 0, -428, 0, 288, 0, 0, 0, 0, 0, 0, 208, -96, 0, 72, -928, 0, 0, -8, 0, -224, 296, 0, -762, 0, 0, 0, 0, 0, 0, 0, -960, 0, -228, -108, 0, 0, 888, -220, 156, -222, 0, -86, 0, 212, 0, 0, 0, 0, 0, -100, 0, -78, 800, 0, 0, 232, 340, -516, -372, 0, -216, 0, -268, 0, 0, 0, 0, -580, -340, 0, 284, -120, 0, 0, 132, 0, -1124, 0, 0, 264, 0, 0, 0, 0, 0, 0, 536, 0, 0, -46, -300, 0, 0, -72, -68, -24, -1512, 0, -144, 0, -202, 0, 0, 0, 0, -300, -960, 0, 42, -8, 0, 0, -320, -36, -1008, -104, 0, 0, 0, 120, 0, 0, 0, 0, -1036, 160, 0, 172, -452, 0, 0, 18, -972, 80, 120, 0, -524, 0, 0, 0, 0, 0, 0, -192, 0, 0, -228, 288, 0, 0, 0, -48, 156, -180, 0, 168, 0, 24, 0, 0, 0, 0, -948, 10, 0, -48, 210, 0, 0, -372, -388, -540, -768, 0, 0, 0, -4, 0, 0, 0, 0, 84, -334, 0, -476, 20, 0, 0, -176, 0]