# Trace form for 2394.2.o, downloaded from the LMFDB on 25 April 2024.
[0, 100, -2, 0, -50, 0, 0, 0, 4, 0, 0, -4, 0, -16, -4, 0, -50, -8, 0, 2, 0, 0, 2, 4, 0, -42, 8, 0, 0, 4, 0, -16, -2, 0, 12, -4, 0, -8, -12, 0, 0, -34, 0, 28, 2, 0, 8, -44, 0, 100, 36, 0, -16, 0, 0, 12, 8, 0, 24, 50, 0, 8, 12, 0, 100, 128, 0, -34, 16, 0, 8, -8, 0, -22, -36, 0, 2, 16, 0, 0, 0, 0, -14, -36, 0, 36, -60, 0, -4, -12, 0, 4, 4, 0, -16, -76, 0, -6, -2, 0, -42, 40, 0, 32, -4, 0, -16, 0, 0, 12, -8, 0, 0, -36, 0, -24, 4, 0, -38, -4, 0, 184, -64, 0, 8, 72, 0, 12, -2, 0, 16, 34, 0, 16, 68, 0, 12, -46, 0, -46, 8, 0, -16, -16, 0, 72, -14, 0, 4, 20, 0, -40, 30, 0, -8, -76, 0, -8, 8, 0, 0, 8, 0, 108, 68, 0, -38, 48, 0, -74, 72, 0, -56, 72, 0, 4, 2, 0, -40, 52, 0, -8, -8, 0, -4, 80, 0, -80, -44, 0, -60, -56, 0, 0, 54, 0, -50, 16, 0, -48, -18, 0, -72, -8, 0, 92, 12, 0, 32, -122, 0, 56, 0, 0, 8, 44, 0, 8, -4, 0, -24, 8, 0, 12, -4, 0, -6, -60, 0, 72, -36, 0, -12, -82, 0, -24, -100, 0, 0, 16, 0, 58, -52, 0, 8, 0, 0, 144, -24, 0, 0, -2, 0, -64, 40, 0, -50, 18, 0, -48, -64, 0, -82, -68, 0, -424, 12, 0, -34, 100, 0, -44, -8, 0, 108, 106, 0, 128, -12, 0, 8, 38, 0, 118, 16, 0, 72, 12, 0, 26, 40, 0, 44, 72, 0, -20, 72, 0, 52, 96, 0, 16, 12, 0, -4, 24, 0, 26, -8, 0, 68, 168, 0, -74, 4, 0, 0, 84, 0, 24, 0, 0, 8, -108, 0, -156, -6, 0, -14, -4, 0, -260, 18, 0, 16, -48, 0, -66, -98, 0, 36, -336, 0, 0, -60, 0, -24, 46, 0, 176, 8, 0, 2, 12, 0, -16, -12, 0, -90, -36, 0, -134, 64, 0, 4, 0, 0, -8, -8, 0, 16, -16, 0, 120, 56, 0, 8, -68, 0, 168, 56, 0, -4, -64, 0, 20, 24, 0, 12, 20, 0, -40, 4, 0, 0, -160, 0, 76, -88, 0, 84, -10, 0, 36, 40, 0, -16, -72, 0, -98, -104, 0, -16, -88, 0, -124, -4, 0, -56, 80, 0, 120, 40, 0, 8, -88, 0, -28, 0, 0, 48, 12, 0, 144, -8, 0, -24, 48, 0, 24, -8, 0, -28, -110, 0, 224, 28, 0, 0, 44, 0, -42, 18, 0, 22, 32, 0, -116, 4, 0, 12, 76, 0, 240, -8, 0, -10, 132, 0, -8, 4, 0, -38, 64, 0, -26, 8, 0, -48, -92, 0, -16, -204, 0, -92, 12, 0, 184, 32, 0, 0, -48, 0, -8, -40, 0, 8, 20, 0, -154, -36, 0, -36, -72, 0, -8, 48, 0, 12, 128, 0, -24, 4, 0, -12, -28, 0, -20, 0, 0, -32, 108, 0, -232, -68, 0, -12, -8, 0, 14, 48, 0, -8, 224, 0, -112, -34, 0, 144, -4, 0, -56, -112, 0, -24, 4, 0, -124, -46, 0, -260, 144, 0, 56, -72, 0, -46, 56, 0, 8, -4, 0, -60, -148, 0, 52, 126, 0, -16, 48, 0, -60, -16, 0, 24, -168, 0, -36, -180, 0, -36, -144, 0, 188, -14, 0, -28, 204, 0, 40, 24, 0, 4, 178, 0, -48, -40, 0, 12, -8, 0, 468, -32, 0, 20, 28, 0, 80, -18, 0, -68, 148, 0, 80, -82, 0, 16, -70, 0, -112, 152, 0, 116, 32, 0, -6, -76, 0, 16, -88, 0, -64, 8, 0, 120, -56, 0, -16, 128, 0, 0, -98, 0, -66, 8, 0, -164, -320, 0, 186, 112, 0, -54, 104, 0, -88, -34, 0, 0, -88, 0, 24, 58, 0, 76, -68, 0, -108, 48, 0, -40, 204, 0, -408, 38, 0, 148, -224, 0, 36, -36, 0, 208, 328, 0, -72, -4, 0, 28, -28, 0, 24, -144, 0, -2, -360, 0, -44, 84, 0, 4, 128, 0, 228, -4, 0, -2, -76, 0, -120, 40, 0, 20, 100, 0, 24, -26, 0, 84, 28, 0, -104, 214, 0, -8, 144, 0, 136, 4, 0, 32, 148, 0, -600, 280, 0, -4, -82, 0, 30, -160, 0, -48, 68, 0, -48, 60, 0, 160, 64, 0, -236, 88, 0, -32, 128, 0, -36, -68, 0, 108, -380, 0, 32, 28, 0, 0, 88, 0, 360, -48, 0, 0, 292, 0, -148, 54, 0, -376, -156, 0, -40, -56, 0, -50, -112, 0, 124, -8, 0, 256, 24, 0, -56, -120, 0, -48, -24, 0, -256, -18, 0, 46, -158, 0, 32, -312, 0, 36, -140, 0, 132, -8, 0, 44, -220, 0, -220, 212, 0, 92, -140, 0, -48, -24, 0, -4, 158, 0, 304, -12, 0, -16, -8, 0, 240, 22, 0, 164, -8, 0, -206, 72, 0, -112, -72, 0, -160, 0, 0, 28, -128, 0, -156, 192, 0, -16, -30, 0, -118, 44, 0, -8, 72, 0, 108, 328, 0, -4, -80, 0, 12, -4, 0, 4, 168, 0, -188, 28, 0, 12, -84, 0, 94, -4, 0, -100, -48, 0, -40, -32, 0, -24, -224, 0, -188, -4, 0, 10, -68, 0, -104, 54, 0, 12, 104, 0, 190, 30, 0, -28, -216, 0, 348, -22, 0, -36, 16, 0, -32, 72, 0, -16, 208, 0, 204, -8, 0, -12, 26, 0, 2, 164, 0, -70, -368, 0, 234, 0, 0, 12, -36, 0, -32, 50, 0, 56, -280, 0, -520, 354, 0, 0, -110, 0, 116, -8, 0, 224, 56, 0, 516, 128, 0, 58, -8, 0, -220, 104, 0, 152, 122, 0, 44, 52, 0, -16, 284, 0, -84, 0, 0, 56, 88, 0, -148, -28, 0, -72, -200, 0, -204, 12, 0, 8, -104, 0, -220, -58, 0, 0, -12, 0, 120, -2, 0, 456, 428, 0, 116, -36, 0, -64, -268, 0, -88, -20, 0, 312, 156, 0, -84, -40, 0, -50, 132, 0, 384, 18, 0, 4, 116, 0, -84, -296, 0, 24, 264, 0, -332, -64, 0, -118, 0, 0, -52, -216, 0, -82, -122, 0, -78, 136, 0, 8, 176, 0, -64, -26, 0, 212, -116, 0, -96, 0, 0, 168, 2, 0, 240, -224, 0, 68, 216, 0, 80, -200, 0, 2, 364, 0, -44, 240, 0, 88, -40, 0, -68, -8, 0, -160, -184, 0, -48, -184, 0, -54, 358, 0, -40, 106, 0, -32, 544, 0, -52, -48, 0, -64, 336, 0, 232, 6, 0, 272, 88, 0, 104, 24, 0, -16, -44, 0, 216, 38, 0, 30, 4, 0, -28, 72, 0, -236, 16, 0, 252, -8, 0, 64, -808, 0, 64, -42, 0, -36, -12, 0, -160, -24, 0, 160, -280, 0, -46, -70, 0, 26, -336, 0, 140, -80, 0, -4, 88, 0, 20, -168, 0, -22, -56, 0, 84, -36, 0, -96, -200, 0, 272, -12, 0, -20, -384, 0, -84, -36, 0, -12, 94, 0, -40, 16, 0, 52, -204, 0, -140, -192, 0, -80, 216, 0, 78, -54, 0, -32, -152, 0, -44, -24, 0, -148, -88, 0, -204, -184, 0, 2, -348, 0, -236, -12, 0, 92, 184, 0, -42, 0, 0, -52, -52, 0, -128, -8, 0, -132, -196, 0, -44, 92, 0, 68, -44, 0, -532, -84, 0, -16, 80, 0, 294, 146, 0, -74, 192, 0, 336, 4, 0, -232, 2, 0, 48, -16, 0, 0, 1096, 0, 40, 84, 0, 4, 4, 0, 14, 8, 0, 24, -156, 0, 36, 0, 0, 110, 98, 0, 8, -74, 0, -4, 270, 0, -332, -24, 0, -68, 168, 0, -102, -98, 0, 312, -48, 0, 112, 12, 0, 108, 250, 0, 36, 208, 0, 28, -212, 0, -320, -4, 0, -32, 32, 0, 124, -208, 0, 130, -172, 0, 188, 18, 0, 68, 396, 0, -164, -100, 0, -8, -72, 0, 164, 24, 0, 176, -384, 0, -196, -164, 0, 132, 220, 0, -4, -98, 0, 52, 220, 0, -88, -8, 0, -72, -112, 0, -308, 168, 0, -12, 240, 0, -148, -60, 0, 0, -240, 0, -72, 120, 0, 72, -208, 0, -372, 80, 0, -24, 224, 0, -224, -92, 0, 12, 448, 0, -4, 24, 0, -88, -128, 0, 256, -4, 0, 240, -132, 0, 968, -200, 0, 2, 354, 0, 112, -6, 0, 64, -412, 0, 184, 480, 0, -16, 4, 0, 184, 24, 0, -352, -82, 0, 112, 20, 0, 180, -116, 0, -112, 72, 0, -180, -264, 0, 166, 48, 0, 112, -536, 0, 260, -32, 0, -24, 344, 0, 292, 96, 0, -8, -104, 0, 270, 0, 0, 8, -148, 0, 164, 40, 0, -8, 256, 0, 288, 4, 0, 292, -92, 0, 72, 30, 0, 16, 900, 0, -1108, -16, 0, 76, 248, 0, 708, 80, 0, -60, -144, 0, 24, 56, 0, 48, 102, 0, -480, -72, 0, 8, -132, 0, 86, 136, 0, 56, -128, 0, -256, -4, 0, -84, 308, 0, -16, 20, 0, -134, 230, 0, 220, 88, 0, 8, 234, 0, 324, 128, 0, -100, -64, 0, -312, -232, 0, -40, -20, 0, -60, 24, 0, -568, 80, 0, 252, -232, 0, -6, -52, 0, -88, 20, 0, -54, -72, 0, -88, 24, 0, 20, -144, 0, -156, -2, 0, 80, -142, 0, 80, 258, 0, 0, -238, 0, -66, -160, 0, 32, 100, 0, -1248, 96, 0, -152, 264, 0, 224, 44, 0, -256, -40, 0, -168, 24, 0, -42, -180, 0, 192, 20, 0, -30, -536, 0, -98, -44, 0, 36, -364, 0, -312, -80, 0, 78, -88, 0, 116, 112, 0, 8, -52, 0, -148, 36, 0, -344, -64, 0, 120, -176, 0, -98, -564, 0, -148, 52, 0, 88, -452, 0, 224, -336, 0, -16, -116, 0, 24, 176, 0, 532, 132, 0, -400, -112, 0, 248, 240, 0, -4, 8, 0, 12, 226, 0, 172, -48, 0, -14, 112, 0, -342, -40, 0, 16, -24, 0, 496, -126, 0, -240, 36, 0, 36, 40, 0, 168, -52, 0, 124, -36, 0, 8, 22, 0, 180, 44, 0, -112, 352, 0, 528, 8, 0, -28, -184, 0, 376, 0, 0, -54, -4, 0, 64, 100, 0, -24, 660, 0, -216, 12, 0, -212, 20, 0, 44, -152, 0, 144, -396, 0, -48, 16, 0, 208, 88, 0, 424, 4, 0, 12, 212, 0, -648, 0, 0, 156, -136, 0, -66, -28, 0, -48, -4, 0, 112, 16, 0, -330, -44, 0, 20, 644, 0, 56, 20, 0, 128, -110, 0, 176, -288, 0, 212, -40, 0, -112, 140, 0, 52, 28, 0, -108, -164, 0, 116, 232, 0, 0, -508, 0, 556, -22, 0, 184, 12, 0, -66, 84, 0, 84, 252, 0, -280, 18, 0, 76, -292, 0, -8, -106, 0, -44, 336, 0, -112, -16, 0, -196, -472, 0, -540, 262, 0, 58, 72, 0, -352, -8, 0, 64, 312, 0, -400, -184, 0, 12, -76, 0, 20, -152, 0, 456, 92, 0, 334, 472, 0, -120, 124, 0, -24, 4, 0, -6, -270, 0, -408, -12, 0, -10, 324, 0, -20, -66, 0, -144, 184, 0, -108, -500, 0, -8, 180, 0, 276, -8, 0, -752, 64, 0, 292, -28, 0, 76, 40, 0, 244, -128, 0, -112, 556, 0, -36, 284, 0, 172, -160, 0, 448, -4, 0, -62, 584, 0, 356, 144, 0, 96, 282, 0, -176, -92, 0, -56, 264, 0, 208, 278, 0, -16, -8, 0, -288, 102, 0, -104, -304, 0, 124, -308, 0, -92, -736, 0, -256, 12, 0, -138, 120, 0, -296, 96, 0, -92, 264, 0, 312, 32, 0, -86, -492, 0, 520, -200, 0, 0, 368, 0, -84, 96, 0, 224, 16, 0, -708, 168, 0, 4, 124, 0, 560, 8, 0, -92, -268, 0, -84, 204, 0, -16, 36, 0, 4, -40, 0, 100, -488, 0, -122, -704, 0, 308, -180, 0, -44, -36]