# Trace form for 145.2.b, downloaded from the LMFDB on 23 April 2024.
[0, 14, 0, 0, -18, 0, 4, 0, 0, -10, 2, -8, 0, 0, 8, -2, 18, 0, 0, -12, 4, 0, 0, 0, -28, 16, -4, 0, 0, 6, 34, -8, 0, 0, -28, 8, -10, 0, 0, 36, 34, 4, 0, 0, 0, -26, -40, 0, 0, -22, 14, 24, 0, 0, -20, -26, 16, 0, 0, -40, 26, 20, 0, 0, -26, 18, 4, 0, 0, 32, 48, 16, 0, 0, 4, -6, -20, 0, 0, -40, -64, -18, 0, 0, 40, -20, -36, 0, 0, 12, -24, 56, 0, 0, 20, -4, 28, 0, 0, -68, -68, -52, 0, 0, 116, -32, 92, 0, 0, 16, 62, 96, 0, 0, -24, -28, -18, 0, 0, 24, -22, 50, 0, 0, -40, -42, -176, 0, 0, 84, 30, 4, 0, 0, 120, -46, 52, 0, 0, -48, -16, -36, 0, 0, 74, 0, -132, 0, 0, -8, 10, 0, 0, 0, 56, -10, -180, 0, 0, 20, -46, 48, 0, 0, -52, -14, 72, 0, 0, -70, 64, 100, 0, 0, 12, 72, -176, 0, 0, 8, 94, -40, 0, 0, 152, 40, -20, 0, 0, 96, -80, -68, 0, 0, -44, 50, 66, 0, 0, -16, -114, -8, 0, 0, 48, 12, 24, 0, 0, -80, -16, 16, 0, 0, 8, 34, 44, 0, 0, -8, -70, -16, 0, 0, -112, -66, -76, 0, 0, -36, 44, -56, 0, 0, 136, -2, 192, 0, 0, -32, 58, 80, 0, 0, -84, -80, -120, 0, 0, 40, -56, 104, 0, 0, 120, 116, 258, 0, 0, 24, 46, -18, 0, 0, -68, -62, 80, 0, 0, 84, -130, -152, 0, 0, -4, 62, 8, 0, 0, -68, -160, 88, 0, 0, -8, -96, -92, 0, 0, 78, 10, -104, 0, 0, -204, -84, -28, 0, 0, -64, 166, -80, 0, 0, 4, -136, 76, 0, 0, -64, -34, 60, 0, 0, -204, 80, 176, 0, 0, 16, 244, -64, 0, 0, -138, 118, -20, 0, 0, 192, 262, 32, 0, 0, -16, 40, -96, 0, 0, -128, -20, 4, 0, 0, 12, -84, 80, 0, 0, 16, 160, 4, 0, 0, -32, 12, -84, 0, 0, 32, 88, 14, 0, 0, -24, 80, -16, 0, 0, -68, -132, -120, 0, 0, -120, -32, -44, 0, 0, 20, -68, 64, 0, 0, 140, 0, 116, 0, 0, 60, -42, -32, 0, 0, 192, 30, 316, 0, 0, -40, 72, 56, 0, 0, -148, 4, -16, 0, 0, -36, -72, 112, 0, 0, -136, 36, -308, 0, 0, -112, 200, -20, 0, 0, 36, -60, 112, 0, 0, 100, -226, -48, 0, 0, -64, 14, -336, 0, 0, -56, -74, -46, 0, 0, -88, 100, -192, 0, 0, 92, 32, 32, 0, 0, -128, 96, 80, 0, 0, -8, 148, 148, 0, 0, 26, 138, -196, 0, 0, -16, -14, 8, 0, 0, 68, 28, -32, 0, 0, 72, -158, -56, 0, 0, -46, -48, 104, 0, 0, 92, -170, 0, 0, 0, 136, 100, 240, 0, 0, -80, -18, -112, 0, 0, 184, 60, 280, 0, 0, -112, -20, 128, 0, 0, 12, -108, -284, 0, 0, -88, -42, -72, 0, 0, 28, -104, 236, 0, 0, 58, 142, 176, 0, 0, -16, -72, -184, 0, 0, -96, -34, 148, 0, 0, -84, 82, 448, 0, 0, 100, 2, -52, 0, 0, 120, -112, 336, 0, 0, 12, -232, -304, 0, 0, -84, 92, 240, 0, 0, -28, -200, 64, 0, 0, 168, -44, -402, 0, 0, 112, 28, -216, 0, 0, -44, -120, -164, 0, 0, -200, 180, -416, 0, 0, 12, -16, 240, 0, 0, 48, -134, -12, 0, 0, -72, -66, 320, 0, 0, 0, 36, -172, 0, 0, -100, 32, -192, 0, 0, 24, 258, 8, 0, 0, -100, -72, -300, 0, 0, 96, -128, 192, 0, 0, 172, 12, 188, 0, 0, 40, 138, -84, 0, 0, 136, 138, 72, 0, 0, 176, -186, 72, 0, 0, 100, 172, -116, 0, 0, 64, -82, -92, 0, 0, 0, -24, -28, 0, 0, 48, -48, 88, 0, 0, -20, -18, 226, 0, 0, 16, -8, -272, 0, 0, -4, 88, 232, 0, 0, 36, 28, 200, 0, 0, -96, 12, -36, 0, 0, -68, -88, -96, 0, 0, 184, 86, -248, 0, 0, 72, 60, -132, 0, 0, 72, -138, -152, 0, 0, 8, -350, -208, 0, 0, -8, 8, -424, 0, 0, 146, -116, 88, 0, 0, 192, 146, -464, 0, 0, -32, 16, 240, 0, 0, -108, -74, 188, 0, 0, 24, 212, 92, 0, 0, -52, 160, -352, 0, 0, 112, -24, -84, 0, 0, 44, 32, -128, 0, 0, 76, -120, 44, 0, 0, 176, 22, 332, 0, 0, 32, -322, -48, 0, 0, 294, 104, 264, 0, 0, 148, 6, -224, 0, 0, -132, 34, 200, 0, 0, -40, 230, 84, 0, 0, 48, 88, -252, 0, 0, -180, -10, 24, 0, 0, 160, -10, 280, 0, 0, -216, 36, 232, 0, 0, 280, -154, -344, 0, 0, -140, -148, 232, 0, 0, -264, 132, 328, 0, 0, -24, 64, 14, 0, 0, -328, -298, 352, 0, 0, 128, -176, -144, 0, 0, -376, 36, 64, 0, 0, -208, -170, 112, 0, 0, 252, -168, 44, 0, 0, -20, 58, -24, 0, 0, -232, -192, -192, 0, 0, -160, 394, -188, 0, 0, 288, -108, 56, 0, 0, -32, -136, -8, 0, 0, -188, 116, 488, 0, 0, 48, 142, -128, 0, 0, -52, -18, -184, 0, 0, 52, 344, -240, 0, 0, -472, 36, -84, 0, 0, -176, -268, 132, 0, 0, 184, -24, 192, 0, 0, 12, 70, 84, 0, 0, 356, 124, 64, 0, 0, 396, 10, 136, 0, 0, -376, 232, -116, 0, 0, -40, -168, -168, 0, 0, -152, -140, -56, 0, 0, 72, -22, -54, 0, 0, 168, -104, 88, 0, 0, -88, 36, 20, 0, 0, 80, 258, 380, 0, 0, -376, 260, 148, 0, 0, -120, 104, -36, 0, 0, 192, 32, 24, 0, 0, -152, -128, -192, 0, 0, 48, 216]