# Trace form for 9075.2.a.bk, downloaded from the LMFDB on 28 January 2023.
[0, 2, 0, -2, 6, 0, 0, 0, 0, 2, 0, 0, -6, 0, 10, 0, -2, 0, 0, 0, 0, 0, 0, -2, 0, 0, 20, -2, 0, 0, 0, 20, 0, 0, 10, 0, 6, -14, -10, 0, 0, 0, -10, 0, 0, 0, 0, -6, 2, -4, 0, 0, 0, 28, 0, 0, 10, 0, 20, -10, 0, 0, 0, 0, -26, 0, 0, 4, 0, 2, 0, -26, 0, 0, 0, 0, 0, 0, -20, 0, 0, 2, 30, 0, 0, 0, 0, 0, 0, 12, 0, 20, -6, -20, 0, 0, 0, -34, 0, 0, 0, 0, -10, 8, 20, 0, 0, 0, -6, 0, 0, 14, 0, 28, 10, 0, 0, 0, 0, 10, 0, 0, 20, 0, 60, 0, 10, 0, 0, 0, 0, 0, 0, -10, 0, 0, 10, 16, 0, 0, 0, 6, 0, 0, -2, 0, 60, 4, -42, 0, 0, 0, -10, 0, 0, 0, 0, -4, -70, -28, 0, 0, 0, -28, 0, 0, 20, 0, -10, 14, 0, 0, 0, 0, -20, 0, 0, 10, 0, 22, 0, -10, 0, 0, 0, 0, 0, 0, -18, 0, 0, 30, 26, 0, 0, 0, -12, 0, 0, 20, 0, -4, 50, 20, 0, 0, 0, -2, 0, 0, 0, 0, 84, 26, 0, 0, 0, 0, 80, 0, 0, 20, 0, -28, -30, 0, 0, 0, 0, -10, 0, 0, 20, 0, 20, 0, -30, 0, 0, 0, 0, 0, 0, -2, 0, 0, -30, -20, 0, 0, 0, -24, 0, 0, 70, 0, -18, -36, 0, 0, 0, 0, -60, 0, 0, 0, 0, -12, 12, 60, 0, 0, 0, -20, 0, 0, 6, 0, 0, 20, 0, 0, 0, 0, -78, 0, 0, 30, 0, -24, 0, 34, 0, 0, 0, 0, 0, 0, -90, 0, 0, 0, 0, 0, 0, 0, 10, 0, 0, -8, 0, -64, -20, -18, 0, 0, 0, 44, 0, 0, 0, 0, -10, -10, 6, 0, 0, 0, 30, 0, 0, 40, 0, -14, 20, 0, 0, 0, 0, -28, 0, 0, -10, 0, 0, 0, 90, 0, 0, 0, 0, 0, 0, 68, 0, 0, 36, -10, 0, 0, 0, -28, 0, 0, 60, 0, -20, -36, 2, 0, 0, 0, -60, 0, 0, 0, 0, 40, -10, 20, 0, 0, 0, 32, 0, 0, -40, 0, -102, 0, 0, 0, 0, 0, -70, 0, 0, -44, 0, 10, 0, 20, 0, 0, 0, 0, 0, 0, -10, 0, 0, -16, 24, 0, 0, 0, -60, 0, 0, 18, 0, -30, 120, -6, 0, 0, 0, 20, 0, 0, 0, 0, 2, -28, 100, 0, 0, 0, -60, 0, 0, -4, 0, -42, 42, 0, 0, 0, 0, 8, 0, 0, 84, 0, 60, 0, 10, 0, 0, 0, 0, 0, 0, -28, 0, 0, -90, -64, 0, 0, 0, 4, 0, 0, 70, 0, 30, 28, 40, 0, 0, 0, 100, 0, 0, 0, 0, 64, 20, 28, 0, 0, 0, 20, 0, 0, -20, 0, -20, 40, 0, 0, 0, 0, 10, 0, 0, -14, 0, 20, 0, 60, 0, 0, 0, 0, 0, 0, -70, 0, 0, 40, 20, 0, 0, 0, -80, 0, 0, -44, 0, -10, -30, 60, 0, 0, 0, -22, 0, 0, 0, 0, 90, 10, -30, 0, 0, 0, 48, 0, 0, -20, 0, -70, -60, 0, 0, 0, 0, 0, 0, 0, 110, 0, 18, 0, -30, 0, 0, 0, 0, 0, 0, -30, 0, 0, -26, -6, 0, 0, 0, 20, 0, 0, 60, 0, 70, 46, 12, 0, 0, 0, 14, 0, 0, 0, 0, -20, -20, 18, 0, 0, 0, 4, 0, 0, -50, 0, 30, -20, 0, 0, 0, 0, -80, 0, 0, 44, 0, -32, 0, 2, 0, 0, 0, 0, 0, 0, -12, 0, 0, -56, -70, 0, 0, 0, -84, 0, 0, -26, 0, 0, 0, -32, 0, 0, 0, -86, 0, 0, 0, 0, -84, -52, -80, 0, 0, 0, -30, 0, 0, 6, 0, -20, 20, 0, 0, 0, 0, 28, 0, 0, 30, 0, -60, 0, 42, 0, 0, 0, 0, 0, 0, 42, 0, 0, -90, 10, 0, 0, 0, -16, 0, 0, 60, 0, -20, 30, -60, 0, 0, 0, -20, 0, 0, 0, 0, 50, 30, 38, 0, 0, 0, -20, 0, 0, 66, 0, 20, -8, 0, 0, 0, 0, -30, 0, 0, 16, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 30, 0, 0, 20, 140, 0, 0, 0, -40, 0, 0, 0, 0, -96, 6, 24, 0, 0, 0, -44, 0, 0, 0, 0, -70, 80, 90, 0, 0, 0, 18, 0, 0, 36, 0, -48, 0, 0, 0, 0, 0, -30, 0, 0, -10, 0, 4, 0, 60, 0, 0, 0, 0, 0, 0, 40, 0, 0, 60, 16, 0, 0, 0, 12, 0, 0, -12, 0, 200, -60, 50, 0, 0, 0, 60, 0, 0, 0, 0, 0, 60, 20, 0, 0, 0, 28, 0, 0, -50, 0, -6, 68, 0, 0, 0, 0, 0, 0, 0, -20, 0, -80, 0, -18, 0, 0, 0, 0, 0, 0, -28, 0, 0, 14, 78, 0, 0, 0, 0, 0, 0, 28, 0, -30, 100, -48, 0, 0, 0, 24, 0, 0, 0, 0, 80, -34, 10, 0, 0, 0, 90, 0, 0, 24, 0, 72, 60, 0, 0, 0, 0, 70, 0, 0, -84, 0, 90, 0, -70, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -16, 0, 0, 0, 110, 0, 0, -100, 0, -30, -60, -10, 0, 0, 0, -100, 0, 0, 0, 0, 8, -60, -40, 0, 0, 0, 64, 0, 0, 20, 0, 20, 18, 0, 0, 0, 0, 10, 0, 0, -34, 0, 120, 0, -44, 0, 0, 0, 0, 0, 0, 100, 0, 0, 138, -140, 0, 0, 0, 10, 0, 0, 10, 0, 10, -6, 0, 0, 0, 0, 24, 0, 0, 0, 0, -20, 98, -30, 0, 0, 0, -60, 0, 0, 20, 0, -40, -130, 0, 0, 0, 0, 14, 0, 0, -20, 0, -72, 0, -160, 0, 0, 0, 0, 0, 0, 48, 0, 0, 70, 28, 0, 0, 0, 60, 0, 0, 86, 0, 10, -140, -108, 0, 0, 0, 0, 0, 0, 0, 0, 20, -90, -88, 0, 0, 0, -90, 0, 0, 30, 0, -60, 120, 0, 0, 0, 0, 100, 0, 0, 0, 0, -68, 0, -64, 0, 0, 0, 0, 0, 0, -36, 0, 0, 10, -4, 0, 0, 0, 180, 0, 0, 40, 0, 6, 80, 28, 0, 0, 0, -56, 0, 0, 0, 0, -60, 58, -90, 0, 0, 0, 20, 0, 0, 36, 0, 48, -2, 0, 0, 0, 0, -48, 0, 0, 0, 0, 100, 0, 60, 0, 0, 0, 0, 0, 0, 8, 0, 0, -160, 4, 0, 0, 0, -40, 0, 0, 10, 0, 26, -20, 50, 0, 0, 0, 160, 0, 0, 0, 0, -140, 90, -32, 0, 0, 0, 108, 0, 0, -72, 0, 40, -20, 0, 0, 0, 0, 102, 0, 0, 0, 0, 20, 0, -44, 0, 0, 0, 0, 0, 0, -100, 0, 0, 56, 70, 0, 0, 0, 20, 0, 0, 60, 0, 44, -90, -112, 0, 0, 0, -10, 0, 0, 0, 0, -60, -20, 0, 0, 0, 0, 0, 0, 0, 90, 0, 52, -120, 0, 0, 0, 0, -28, 0, 0, -60, 0, 10, 0, -40, 0, 0, 0, 0, 0, 0, 16, 0, 0, -24, 6, 0, 0, 0, 60, 0, 0, -192, 0, 60, 0, 60, 0, 0, 0, -54, 0, 0, 0, 0, -18, -70, -18, 0, 0, 0, 30, 0, 0, -120, 0, 132, 6, 0, 0, 0, 0, -40, 0, 0, -64, 0, -60, 0, -20, 0, 0, 0, 0, 0, 0, -10, 0, 0, 120, -30, 0, 0, 0, -2, 0, 0, 28, 0, 20, -100, 92, 0, 0, 0, -54, 0, 0, 0, 0, -90, 100, 60, 0, 0, 0, -140, 0, 0, 54, 0, 4, 120, 0, 0, 0, 0, 42, 0, 0, -42, 0, -20, 0, 20, 0, 0, 0, 0, 0, 0, -70, 0, 0, -40, -8, 0, 0, 0, -40, 0, 0, -220, 0, -84, 10, -170, 0, 0, 0, -60, 0, 0, 0, 0, -66, -10, 24, 0, 0, 0, -48, 0, 0, 0, 0, 280, -70, 0, 0, 0, 0, 90, 0, 0, -60, 0, 28, 0, 0, 0, 0, 0, 0, 0, 0, 90, 0, 0, 64, 190, 0, 0, 0, 70, 0, 0, 0, 0, 20, 204, -4, 0, 0, 0, 160, 0, 0, 0, 0, -70, -68, -12, 0, 0, 0, -30, 0, 0, -28, 0, 72, -40, 0, 0, 0, 0, -90, 0, 0, 40, 0, -84, 0, -100, 0, 0, 0, 0, 0, 0, 122, 0, 0, -20, -60, 0, 0, 0, -64, 0, 0, -20, 0, 180, -28, -108, 0, 0, 0, 26, 0, 0, 0, 0, 120, -110, -20, 0, 0, 0, 92, 0, 0, -180, 0, 20, -138, 0, 0, 0, 0, 20, 0, 0, -40, 0, -30, 0, 70, 0, 0, 0, 0, 0, 0, 120, 0, 0, -50, -10, 0, 0, 0, 60, 0, 0, -40, 0, 14, -180, 58, 0, 0, 0, -20, 0, 0, 0, 0, 96, -60, -100, 0, 0, 0, -160, 0, 0, -4, 0, -132, -40, 0, 0, 0, 0, 142, 0, 0, 34, 0, 70, 0, 0, 0, 0, 0, 0, 0, 0, -40, 0, 0, -20, -4, 0, 0, 0, 94, 0, 0, -210, 0, -70, -20, 80, 0, 0, 0, 140, 0, 0, 0, 0, 44, -132, 60, 0, 0, 0, 10, 0, 0, 30, 0, -30, -60, 0, 0, 0, 0, 60, 0, 0, 16, 0, -20, 0, 22, 0, 0, 0, 0, 0, 0, -110, 0, 0, 10, -210, 0, 0, 0, -90, 0, 0, -10, 0, -90, 30, 26, 0, 0, 0, -136, 0, 0, 0, 0, -140, 280, -48, 0, 0, 0, -8, 0, 0, 140, 0, 20, 80, 0, 0, 0, 0, 70, 0, 0, 60, 0, -140, 0, -20, 0, 0, 0, 0, 0, 0, 40, 0, 0, 54, 0, 0, 0, 0, 8, 0, 0, -90, 0, -110, 100, 120, 0, 0, 0, -18, 0, 0, 0, 0, 116, 30, -100, 0, 0, 0, -120, 0, 0, -100, 0, 60, 108, 0, 0, 0, 0, 50, 0, 0, 50, 0, 30, 0, 44, 0, 0, 0, 0, 0, 0, 26, 0, 0, 6, -84, 0, 0, 0, 100, 0, 0, 42, 0, -74, 40, -20, 0, 0, 0, -76, 0, 0, 0, 0, -60, -68, -140, 0, 0, 0, -70, 0, 0, -46, 0, 0, -12, 0, 0, 0, 0, 40, 0, 0, -126, 0, 20, 0, -14, 0, 0, 0, 0, 0, 0, -68, 0, 0, 30, -126, 0, 0, 0, 20, 0, 0, 20, 0, 24, -18, 200, 0, 0, 0, 140, 0, 0, 0, 0, 0, -28, -4, 0, 0, 0, 28, 0, 0, 60, 0, 50, 0, 0, 0, 0, 0, -30, 0, 0, 20, 0, -100, 0, 60, 0, 0, 0, 0, 0, 0, -110, 0, 0, -80, 80, 0, 0, 0, -260, 0, 0, -86, 0, -44, -84, 80, 0, 0, 0, 32, 0, 0, 0, 0, 20, -2, -90, 0, 0, 0, -192, 0, 0, 70, 0, -122, -120, 0, 0, 0, 0, 8, 0, 0, -110, 0, 12, 0, -30, 0, 0, 0, 0, 0, 0, 56, 0, 0, 70, 90, 0, 0, 0, 96, 0, 0, -10, 0, -190, -54, 84, 0, 0, 0, 40, 0, 0, 0, 0, 26, 80, -50, 0, 0, 0, 0, 0, 0, 0, 0, 100, 32, 0, 0, 0, 0, 40, 0, 0, -180, 0, -60, 0, 86, 0, 0, 0, 0, 0, 0, 192, 0, 0, -4, -60, 0, 0, 0, 84, 0, 0, 52, 0, -196, 80, 0, 0, 0, 0, 110, 0, 0, 0, 0, 60, -88, 30, 0, 0, 0, 0, 0, 0, -30, 0, -6, -260, 0, 0, 0, 0, 20, 0, 0, -20, 0, -280, 0, 120, 0, 0, 0, 0, 0, 0, 72, 0, 0, -50, -28, 0, 0, 0, 100, 0, 0, -140, 0, -30, -124, -240, 0, 0, 0, 60, 0, 0, 0, 0, 126, -42, 130, 0, 0, 0, 0, 0, 0, 60, 0, -60, 118, 0, 0, 0, 0, 180, 0, 0, -12, 0, -42, 0, 70, 0, 0, 0, 0, 0, 0, 90, 0, 0, -10, -260, 0, 0, 0, -200, 0, 0, -60, 0, -80, -70, 16, 0, 0, 0, 40, 0, 0, 0, 0, -60, 8, 120, 0, 0, 0, 20, 0, 0, -30, 0, -20, 60, 0, 0, 0, 0, -122, 0, 0, 30, 0, -80, 0, 20, 0, 0, 0, 0, 0, 0, -42, 0, 0, -132, 120, 0, 0, 0, -50, 0, 0, -30, 0, 30, -38, 10, 0, 0, 0, 180, 0, 0, 0, 0, -124, -40, 20, 0, 0, 0, -92, 0, 0, -140, 0, -66, -80, 0, 0, 0, 0, -20, 0, 0, 8, 0, 70, 0, 10, 0, 0, 0, 0, 0, 0, 90, 0, 0, 40, 30, 0, 0, 0, -70, 0, 0, 68, 0, -16, 180, 70, 0, 0, 0, -2, 0, 0, 0, 0, -16, 0, 60, 0, 0, 0, -20, 0, 0, -260, 0, -112, -60, 0, 0, 0, 0, -76, 0, 0, -210, 0, -30, 0, -60, 0, 0, 0, 0, 0, 0, -20, 0, 0, -140, -60, 0, 0, 0, 34, 0, 0, -240, 0, 0, 124, 40, 0, 0, 0, 50, 0, 0, 0, 0, 0, 110, 180, 0, 0, 0, 96, 0, 0, -6, 0, 0, -24, 0, 0, 0, 0, -30, 0, 0, 146, 0, -140, 0, 44, 0, 0, 0, 0, 0, 0, 20, 0, 0, 130, -140, 0, 0, 0, 70, 0, 0, -80, 0, -140, -90, -18, 0, 0, 0, -24, 0, 0, 0, 0, -140, 12, -18, 0, 0, 0, -18, 0, 0, -40, 0, -36, 120, 0, 0, 0, 0, 48, 0, 0, 0, 0, 60, 0, -40, 0, 0, 0, 0, 0, 0, 48, 0, 0, -180, 30, 0, 0, 0, -74, 0, 0, 70, 0, 10, 164, 138, 0, 0, 0, -4, 0, 0, 0, 0, 156, -60, -60, 0, 0, 0, 0, 0, 0, 70, 0, 182, -8, 0, 0, 0, 0, 60, 0, 0, -166, 0, -40, 0, 60, 0, 0, 0, 0, 0, 0, -60, 0, 0, -16, -20, 0, 0, 0, 54, 0, 0, 90, 0, -62, -60, -12, 0, 0, 0, 40, 0, 0, 0, 0, 12, -70, -130, 0, 0, 0, -200, 0, 0, 60, 0, 48, -50, 0, 0, 0, 0, 60, 0, 0, 70, 0, 50, 0, -60, 0, 0, 0, 0, 0, 0, -60, 0, 0, -240, 54, 0, 0, 0, 0, 0, 0, -60, 0, -80, -20, 70, 0, 0, 0, 120, 0, 0, 0, 0, 184, 132, -28, 0, 0, 0, -158, 0, 0, -96, 0, 50, -28, 0, 0, 0, 0, 6, 0, 0, -68, 0, 60, 0, -84, 0, 0, 0, 0, 0, 0, -80, 0, 0, 60, 0, 0, 0, 0, 110, 0, 0, -80, 0, 20, 4, 20, 0, 0, 0, 80, 0, 0, 0, 0, -340, 18, -168, 0, 0, 0, 210, 0, 0, -16, 0, -90, -50, 0, 0, 0, 0, 68, 0, 0, 300, 0, 28, 0, -20, 0, 0, 0, 0, 0, 0, -14, 0, 0, -78, 74, 0, 0, 0, -140, 0, 0, 0, 0, 140, 0, 0, 0, 0, 0, -96, 0, 0, 0, 0, -28, -150, -168, 0, 0, 0, 30, 0, 0, -100, 0, -258, 48, 0, 0, 0, 0, 160, 0, 0, -56, 0, -28, 0, -24, 0, 0, 0, 0, 0, 0, 28, 0, 0, -40, -156, 0, 0, 0, -80, 0, 0, 34, 0, 144, -10, 0, 0, 0, 0, 182, 0, 0, 0, 0, -30, -28, -90, 0, 0, 0, -280, 0, 0, 0, 0, -24, 18, 0, 0, 0, 0, -72, 0, 0, -60, 0, -150, 0, -60, 0, 0, 0, 0, 0, 0, 98, 0, 0, 0, -70, 0, 0, 0, -44, 0, 0, 150, 0, 84, 26, 80, 0, 0, 0, -90, 0, 0, 0, 0, -64, 70, 118, 0, 0, 0, -48, 0, 0, -60, 0, 130, -90, 0, 0, 0, 0, -14, 0, 0, -4, 0, 0, 0, -24, 0, 0, 0, 0, 0, 0, 0, 0, 0, 16, 30, 0, 0, 0, -60, 0, 0, 80, 0, -16, 126, -110, 0, 0, 0, -10, 0, 0, 0, 0, 100, 240, -90, 0, 0, 0, 30, 0, 0, 60, 0, 68, 10, 0, 0, 0, 0, 120, 0, 0, 60, 0, -48, 0, 100, 0, 0, 0, 0, 0, 0, 30, 0, 0, 60, 24, 0, 0, 0, -8, 0, 0, 60, 0, 100, 40, 90, 0, 0, 0, -60, 0, 0, 0, 0, -36, -120, -64, 0, 0, 0, 88, 0, 0, -20, 0, -20, 286, 0, 0, 0, 0, -20, 0, 0, -18, 0, 50, 0, 200, 0, 0, 0, 0, 0, 0, 150, 0, 0, 90, -10, 0, 0, 0, 114, 0, 0, 20, 0, 34, -40, 18, 0, 0, 0, -120, 0, 0, 0, 0, -60, 44, 100, 0, 0, 0, 300, 0, 0, 20, 0, 60, -22, 0, 0, 0, 0, 0, 0, 0, 20, 0, -100, 0, -24, 0, 0, 0, 0, 0, 0, -138, 0, 0, 140, -104, 0, 0, 0, 20, 0, 0, -150, 0, 10, 24, -10, 0, 0, 0, 60, 0, 0, 0, 0, -10, 48, 212, 0, 0, 0, -10, 0, 0, 6, 0, 90, 0, 0, 0, 0, 0, 0, 0, 0, 26, 0, 100, 0, -24, 0, 0, 0, 0, 0, 0, 280, 0, 0, 90, 230, 0, 0, 0, 20, 0, 0, -98, 0, 120, 30, 22, 0, 0, 0, -164, 0, 0, 0, 0, 130, -62, 60, 0, 0, 0, 140, 0, 0, -24, 0, -20, 60, 0, 0, 0, 0, 40, 0, 0, 130, 0, -40, 0, -210, 0, 0, 0, 0, 0, 0, 180, 0, 0, 0, -14, 0, 0, 0]