# Trace form for 8085.2.a.bn, downloaded from the LMFDB on 24 April 2024.
[0, 4, 0, -4, 6, 4, 0, 0, 0, 4, 0, -4, -6, -8, 0, -4, 22, 2, 0, -10, 6, 0, 0, -2, 0, 4, -20, -4, 0, -2, 0, -24, 0, 4, 0, 0, 6, 8, -16, 8, 0, 0, 0, 6, -6, 4, -12, -4, -22, 0, 0, -2, -12, 14, 0, -4, 0, 10, -20, 2, -6, -6, -8, 0, 6, -8, 0, -8, 44, 2, 0, 0, 0, -4, -36, -4, -56, 0, 20, 0, 22, 4, 24, -6, 0, 2, -36, 2, 0, -18, 0, 0, -44, 24, 36, -10, 0, 6, 0, -4, 6, -4, 0, 10, -72, 0, 40, -28, -6, 40, 0, -8, 0, 18, 16, -2, -44, -8, -8, 0, 0, 4, 44, 0, -36, 4, 0, 10, 0, -6, -20, 28, 6, 0, -44, -4, 0, 12, 12, -52, 0, 4, -20, 8, 22, -2, -40, 0, 12, -8, 0, -4, 8, 2, 0, -24, 12, -6, 20, -14, 0, 0, 0, 16, 0, 4, 24, -4, 0, 16, 0, -10, -32, -4, 20, 0, -22, -2, 52, 0, 6, 0, 0, 6, -76, 8, 8, -2, -88, 0, -16, 40, -6, 12, 4, 8, 0, 32, 0, -20, 0, 8, 12, 0, -44, 0, 4, -2, -44, 10, 0, -36, -20, 0, 76, 6, 0, 0, -4, 4, -6, -4, 36, -26, 0, 4, -40, -2, 56, -32, -12, 0, -72, -24, -20, -4, 44, 0, 0, -6, -22, -24, 0, -4, 32, 0, -24, -4, 4, 6, 0, -4, 0, 2, 36, -2, -50, 20, 36, 0, -12, -2, 60, -64, 0, 14, 0, 18, -12, -54, 0, -66, 52, 0, 0, -4, 44, -8, 32, -24, 0, -44, -36, 28, 0, 10, 20, 0, 0, -26, -20, -6, 76, 6, 0, 2, -64, 4, 72, 68, -6, 0, -56, 4, -96, -6, 0, -12, 0, -10, -8, -12, 72, 54, -36, 0, 0, 12, -40, 2, 6, 28, 0, -46, 6, -8, -64, -40, -12, 0, 0, 18, 32, 8, 56, -8, 0, -66, 80, -18, 44, 24, -16, 0, -64, 2, 0, -24, 44, 6, 0, 8, 0, -32, 8, 0, -68, 0, 36, -34, 0, 102, 24, -4, 0, -4, -44, -42, -52, 0, -36, 0, 36, -38, 0, -4, 64, 56, 0, 22, -56, -10, -32, 0, 0, 0, 4, 6, 132, -8, 20, -42, 0, -28, 52, 0, -6, -4, -124, 0, 22, 20, 44, 36, -88, 4, 0, -8, 0, -16, 24, -12, 56, 0, -12, -6, -48, 52, 16, -14, 0, -26, 40, -4, 144, 2, 20, 0, 40, -8, -36, -48, -22, 32, 0, 2, 60, -34, 40, -2, 0, 0, -92, -72, -12, -18, 12, 8, 0, 60, 0, 0, 68, 4, 72, 0, -8, -66, 76, -2, -44, -52, 0, 16, -52, 24, 48, 32, -12, 0, 36, 6, 4, -6, -20, -10, 0, 14, 92, -36, 0, 12, -60, 0, 6, 6, 0, 32, 60, -16, 0, -50, 0, -42, 164, -4, -132, 0, -24, -86, 6, 4, -68, 50, 0, -4, 12, -16, 56, -62, 0, 0, 0, 10, -12, 10, 32, 4, 0, 4, -72, -58, -20, -32, -40, 0, -16, -12, 22, 54, 40, 2, 0, 36, -52, -28, -60, 0, -76, 0, -6, 48, 40, 0, 0, 40, 0, -74, 100, -6, 0, 22, 76, 0, -28, -8, -160, 28, -8, 16, 0, 2, -72, -4, 88, 18, -52, 0, -72, -38, 16, -72, 12, -40, 0, -2, 6, -8, 0, -12, -44, 0, -4, -14, -144, -8, 80, -32, 0, 116, -8, -32, 44, 12, 0, 0, -12, 20, 116, -28, 0, -18, 0, -8, -88, 4, -12, 36, -104, 0, 44, -20, 44, -12, -96, 0, 0, 28, -4, 32, -36, 2, -20, 0, 44, 4, -36, -10, -132, 4, 0, 6, 72, 36, -128, 10, 20, 0, 20, 0, 0, -24, -76, -26, 0, -6, -8, -80, 0, -2, -20, 0, -140, 50, 4, 28, 0, -4, 0, -74, 6, -48, -16, 4, 152, 0, -36, 106, -88, 26, -44, 6, 0, -114, -64, -4, 106, -46, 40, 0, 0, 2, 8, -4, -56, 12, 0, 32, -8, -132, 12, -48, -252, 0, -40, -52, 72, 0, -20, 24, 0, -14, 20, 68, -6, 4, -40, 0, -44, 50, -20, 0, 56, -28, 0, 8, 0, 6, -116, 42, 22, 0, 80, 24, 164, -2, 0, 10, 0, 4, -40, -38, -32, -16, 12, 0, 4, 8, 24, -52, 12, 4, 0, -20, -4, -8, -104, -6, -44, 0, 0, 58, -104, 4, 132, -4, 0, 64, -72, -2, 8, -28, -36, 0, 224, 2, -28, -16, 50, 54, 0, -20, -64, -16, -36, -24, 80, 0, 68, -168, 12, 0, -88, 2, 0, -6, -60, -48, 48, 64, 20, 0, 0, -4, -96, -14, 52, 0, 0, -84, 0, -18, 204, 4, 12, 0, 136, 54, 76, 0, 0, 40, 0, 66, 36, 16, -52, 114, -28, 0, 0, 22, 0, -104, 80, 4, 0, -32, -44, -88, 24, 8, -12, 0, -32, -4, 56, 24, -184, 30, 0, -22, 0, 44, -136, 16, 36, 0, 36, -28, 0, -20, 0, 12, 0, -10, 208, -104, -20, 40, -32, 0, 16, -30, 0, -4, -32, 26, 0, 0, 20, 32, -80, 6, 120, 0, -76, 58, 112, -6, -22, -58, 0, 28, -88, -2, 44, 6, 64, 0, 52, -4, -80, 4, -72, 0, 0, -68, -28, 0, 6, -34, -24, 0, -144, 0, 56, -72, 120, -4, 0, 64, 96, 6, 16, 6, 116, 0, 0, -44, -76, 12, -84, 52, 0, 8, -52, 10, -48, -84, 8, 0, 128, 12, 128, -2, -72, 36, 0, -54, -88, -28, 36, 120, 52, 0, 36, 14, 0, 112, -16, -12, 0, -100, 40, 40, 32, -2, -100, 0, -6, 48, 32, -28, -200, 12, 0, -2, 0, 46, 4, 30, -6, 0, 84, 8, 8, 62, 64, 18, 0, 40, -220, 68, 12, 32, -92, 0, 240, 22, 0, 6, -52, -18, 0, -20, -32, 16, 112, -8, 0, 0, -56, 42, 76, 8, 8, 54, 0, -12, 12, 66, 44, 20, -80, 0, 64, 18, -68, -146, -44, -48, 0, -24, -122, 0, 16, -52, -52, 0, 4, -46, 64, -50, -36, -2, 0, 38, 0, 24, -44, 24, 4, 0, -44, 10, 96, -6, 216, -32, 0, 72, -96, -8, -4, -36, 0, 0, 176, 32, -20, -68, -8, 28, 0, 0, -48, -6, 68, -80, 76, 0, -44, 24, -36, 6, 124, 34, 0, -116, 0, 100, -204, -102, 24, 0, -24, 4, 44, 4, -4, 40, 0, -24, -84, 4, 0, 58, 44, 0, -6, 42, 140, -62, 52, -4, 0, 0, 152, 2, 36, 4, -16, 0, -60, -26, -36, 54, 124, 38, 0, 10, 0, 98, -148, 4, 40, 0, -64, 48, -40, -56, -40, -10, 0, -2, 0, -22, 4, -4, 56, 0, 36, 10, 72, -32, 32, -4, 0, 0, -12, -24, 0, 40, 8, 0, 2, 32, -4, -170, -72, -6, 0, -36, -132, -24, -40, 8, 60, 0, -20, 36, 132, 42, 36, -4, 0, 28, 116, 28, 44, -18, -52, 0, -152, 0, -16, -32, 6, 36, 0, 4, 128, 20, 124, -6, 184, 0, 104, -40, -22, 36, 36, -20, 0, -24, -44, 0, -136, -36, 0, 0, 88, 32, 16, -4, -56, 86, 0, -94, 32, 8, 112, 36, 0, 0, 76, 16, 64, -38, -24, 22, 0, 12, -40, -4, -56, 74, -44, 0, 4, 80, 12, -18, -100, 6, 0, 66, 48, -144, 0, -52, -124, 0, -16, -4, -64, 14, -100, 6, 0, -88, 216, 26, 0, 2, -40, 0, 100, 4, 36, -84, -144, 164, 0, -2, 44, -44, -20, -64, -50, 0, -48, 52, -40, 20, 148, 8, 0, -74, 36, 32, -192, 48, 128, 0, 22, -6, 8, -32, -12, -142, 0, 20, -132, -2, 72, 128, -60, 0, 60, 34, 156, -56, -40, -64, 0, 2, 132, 144, 0, 40, -92, 0, -96, 14, 92, 106, 8, 72, 0, -4, 12, 8, 180, 18, 136, 0, -12, -96, -12, -8, -44, 0, 0, -54, 40, -60, 24, -24, 0, 0, 288, 0, -24, -66, -68, -82, 0, -4, 52, 52, -72, 56, 36, 0, 20, 40, 8, -16, 0, 66, 0, 150, -76, -4, -152, 2, -68, 0, 44, 84, -100, 52, 0, -8, 0, -120, 128, -16, 32, -76, 52, 0, 12, -24, -32, -10, -48, 60, 0, -32, 20, 18, 12, -44, 140, 0, 0, -12, -36, 38, -212, -6, 0, 28, -4, -4, -64, 6, 0, 0, 20, 72, -140, 10, 76, 10, 0, -20, 20, -14, 64, 72, -92, 0, 72, 36, -88, -56, 0, -28, 0, -12, 30, -26, 60, 24, 152, 0, -20, -70, -6, -96, 196, -6, 0, -20, 0, -140, 76, -32, -100, 0, -60, 6, 184, 16, -104, 68, 0, 16, -44, 50, 44, 2, 0, 0, -72, 42, -64, 26, -164, 158, 0, 4, 144, -66, 132, -36, 72, 0, -16, 8, 24, 68, 0, 86, 0, -20, -6, 24, -48, -4, 152, 0, 68, -12, 248, -50, -56, 44, 0, -50, 104, 4, -8, -132, -12, 0, -96, 16, -68, -8, -56, -6, 0, 62, 16, 52, 0, -134, 0, 0, -76, -12, 0, -70, 68, -10, 0, -52, 12, -28, -84, -10, 120, 0, -32, 182, -8, -4, 156, 102, 0, -12, -12, -4, -60, -4, 72, 0, 20, 58, -104, 54, 20, 0, 0, 32, -36, 38, 40, -8, -128, 0, 220, 134, 16, -48, 0, 12, 0, 72, -22, 12, -140, -54, 76, 0, -40, 128, -348, -2, 8, 2, 0, 28, 100, -36, 6, -32, 52, 0, -52, 28, 40, -188, 60, 80, 0, 0, 136, -102, 76, -46, -104, 0, 160, -58, 6, 18, 48, -48, 0, -8, -40, 8, -12, 0, -64, 0, 0, 64, 148, -40, -24, 120, 0, 8, -12, 74, -132, -60, -100, 0, 8, 6, 96, 126, 0, -48, 0, -22, -216, 18, -76, 64, -152, 0, 32, 4, 28, -38, -16, 8, 0, 48, 160, -126, 56, -28, -8, 0, 8, -8, 20, -16, -64, 48, 0, 88, 184, -2, 84, -66, 72, 0, 144, 4, 80, -114, -88, -52, 0, -18, 96, 36, 52, -140, 44, 0, 76, -212, 72, 24, 148, 38, 0, 108, -16, -54, -72, 72, -24, 0, -12, -84, -184, 40, -64, 90, 0, 26, -72, 2, 76, 6, -6, 0, 0, 8, 212, -16, 0, -24, 0, 12, -20, -124, 44, -16, 128, 0, 220, 6, 4, -8, 400, 14, 0, 46, 144, 10, 96, 8, 120, 0, -80, -12, 0, 32, 36, -132, 0, -32, 36, -116, -200, -54, 8, 0, -108, 32, 136, 0, -44, -8, 0, -12, -68, -24, 0, 20, -88, 0, -156, -6, 12, 68, 36, -20, 0, -16, -116, -34, 172, 28, 124, 0, 0, 64, 184, 18, 0, 102, 0, 152, 140, 8, 24, -136, 88, 0, -32, -4, 128, -64, 12, 68, 0, -36, -64, -18, 104, -4, -24, 0, 24, 16, -44, 44, 208, 20, 0, -42, -44, 4, -144, 12, -52, 0, 96, -2, -160, 0, 40, 32, 0, -6, -36, -28, 188, 20, 4, 0, -44, -32, 160, -16, 36, 98, 0, -2, 140, -38, 20, -4, 48, 0, 0, -52, -44, -52, 156, -4, 0, -112, 36, -40, 64, 10, -48, 0, 132, 56, -12, -4, -52, 8, 0, -36, 32, -6, 20, 22, -72, 0, -64, -36, -56, 164, 128, 4, 0, -10, -20, -152, -20, -246, -32, 0, 200, 72, -20, 0, 192, 0, 0, 172, 0, 50, 96, 24, 264, 0, 76, 132, -52, 26, 4, -88, 0, -68, -156, 6, 22, -40, 8, 0, 132, 80, -24, 20, 0, -8, 0, 2, 212, -112, 20, -52, 204, 0, 24, -42, 140, 70, -52, -50, 0, -28, -4, 88, 48, -28, 80, 0, 0, 0, 52, 4, -104, -36, 0, 0, 328, 74, 164, 64, -6, 0, 128, 48, -36, -4, 16, -144, 0, -4, -124, 0, -152, 40, 56, 0, -88, -120, 36, -168, 22, -106, 0, -82, 88, 20, -4, -26, -212, 0, 44, 30, 280, -6, -320, 36, 0, 20, 4, 114, -88, -40, 64, 0, 76, 4, -164, 122, -106, 52, 0, 46, 96, -52, -40, -8, -52, 0, 108, -96, 0, 40, -108, -2, 0, -16, -8, 146, 0, 4, 24, 0, 56, 130, -40, -12, 88, 2, 0, 52, 56, -32, 68, 68, 8, 0, -40, 132, 88, 92, -12, -236, 0, 48, 104, -6, 252, 120, -12, 0, -48, 174, 40, -92, 36, 52, 0, 92, -72, 74, 16, 0, -48, 0, 20, -14, 72, -24, -16, -4, 0, -40, -244, 14, 8, -26, -20, 0, -264, -68, 40, -90, 6, 80, 0, -4, -42, 24, 40, 36, 144, 0, 48, -12, 44, 2, -80, -50, 0, -30, 20, -8, -192, 0, -4, 0, -56, 20, 4, 28, 40, 36, 0, 48, -204, -8, 60, -134, 0, 0, -36, -6, -208, -88, 116, -48, 0, -42, -100, 46, -22, 220, 76, 0, -92, 32, -80, -32, 144, -24, 0, -72, -164, -72, -132, 2, 0, 0, 0, -44, 60, -10, 40, 48, 0, -34, -104, -4, -152, 20, 40, 0, 148, 38, -120, -2, 32, -136, 0, 16, 0, -12, -12, 50, 320, 0, 4, -28, -4, 96, -92, -8, 0, -128, -24, -72, -68, 52, 140, 0, -12, -152, -12, -4, -368, -18, 0, -68, 288, 20, 12, -270, 4, 0, 192, 8, 352, 108, 104, -86, 0, 6, 12, 32, 44, 60, 84, 0, -128, 8, 0, -92, -88, -58, 0, 0, 104, -172, 36, -4, 68, 0, -132, 0, -56, 4, -4, 40, 0, 186, 72, -64, -48, -132, 72, 0, 148, 2, -104, 6, -8, -4, 0, 28, -272, -66, 36, 64, 44, 0, 76, -52, -224, -68, 200, -2, 0, -146, 28, -10, -44, 16, 4, 0, -50, -52, 216, -54, -12, 72, 0, -132, 0, 20, 68, 16, 64, 0, -168, 16, -52, 36, 36, -20, 0, 24, 64, -28, -80, 88, 48, 0, 20, 146, -68, 32, -96, 168, 0, -106, -12, 44, -88, 0, 288, 0, 88, -12, -48, -2, 36, 176, 0, -128, -76, 6, 256, -24, 60, 0, 4, 48, 268, -108, -48, -6, 0, -64, 12, -190, -20, -170, 100, 0, 36, -10, 0, -60, -12, 4, 0, -72, 96, -124, -44, 14, 128, 0, -52, 68, 92, 0, 352, 14, 0, -36, -288, 84, 4, 24, 0, 0, -96, 18, -232, 12, -204, -166, 0, -4, -60, -92, -12, -154, -92, 0, -104, 36, -136, -84, 6, -54, 0, 22, -76, 6, 268, 0, 136, 0, 0, 4, 184, -40, 112, 32, 0, 2, -144, -66, 60, 4, -36, 0, -112, -16, 112, -72, 52, 12, 0, -114, -264, 26, 28, -50, -280, 0, -60, -62, 0, -180, 328, -22, 0, -42, 0, -26, -204, 104, 164, 0, -80, 152, 36, -4, -116, -10, 0, 144, -132, 32, -184, -128, 44, 0, 40, 88, -236, 84, -24, 124, 0, -8, 152, -86, 12, 2, 180, 0, 6, 216, 32, -114, -64, 4, 0, 124, -56, 64, -68, -24, -156, 0, 184, 50, 88, -30, 136, 32, 0, -80, -284, 22, -32, -4, 0, 0, 48, -44, 12, -16, 136, -4, 0, -16, -264, 6, -36, -52, 56, 0, -144, 0, -36, -62, 224, 28, 0, 50, 0, 234, 72, 20, 112, 0, 0, -192, 160, -12, 0, -232, 0, 24, -36, 10, -200, -84, -208, 0, -12, 104, -80, 116, 20, 10, 0, -40, -124, -184, 32, 46, 72, 0, -160, 4, -16, 264, -120, 30, 0, 74, 0, 92, -208, 4, -44, 0, 32, 78, -72, -26, -60, -112, 0, -58, -52, 0, -76, -36, -20, 0, -212, -32, -52, -32, 80, 56, 0, -6, -40, -98, -120, -210, 0, 0, 160, 28, 76, 6, -16, -58, 0, 102, -112, -12, -152, 6, -304, 0, 22, -12, 8, 58, 92, 54, 0, 24, 8, -28, 40, 24, 88, 0, 20, 2, -8, -252, -44, 70, 0, -6, 0, 12, -64, 36, 204, 0, 200, -126, -52, -150, -104, 4, 0, -28, 80, -134, -140, -4, -60, 0, 72, -48, -32, 0, 92, -16, 0, -10, -76, 68, -376, -80, 28, 0, -132, 0, 132, -48, -6, 48, 0, 34, 170, 48, 24, 62, -356, 0, 40, -20, 144, -90, -84, 0, 0, 4, -56, -28, 0, 72, 36, 0, -120, 40, 84, 4, -4, 48, 0, 42, 76, -64, 164, -74, -96, 0, -144, -6, 100, 122, -16, -32, 0, -6, 0, -216, -116, -142, 0, 0, -32, 154, 0, 22, -280, 44, 0, 8, 76, 4, -80, -12, -236, 0, 84, -6, -268, -52, -28, -156, 0, -128, 280, -8, -144, 188, 52, 0, -160, -10, -176, -2, 48, 28, 0, 84, 0, -84, -8, 2, 92, 0, -36, 16, -128, -36, 96, -12, 0, 16, -128, 94, 20, 2, -168, 0, 72, 86, -72, -36, -144, -202, 0, -4, 50, 54, 12, -294, 88, 0, 176, 28, -144, 18, -36, -20, 0, -120, -52, -156, -52, -4, -192, 0, 116, -76, -36, -84, -72, -14, 0, 144, 0, -38, 104, -112, 256, 0, 16, 64, 368, 12, -24, -72, 0, 44, 156, 100, 12, 110, -40, 0, 0, -40, -36, 84, -32, 156, 0, 2, -352, 90, 100, -2, -60, 0, 244, -178, 6, 148, -60, -48, 0, -8, -32, 22, 288, 28, 0, 0, 200, 64, 72, -12, 164, -4, 0, 152, -44, 2, -28, -68, 0, 0, 132, -46, 56, 172, -4, 36, 0, -30, -208, -14, 6, 240, -80, 0, -144, -30, -84, -28, -16, -8, 0, 110, -8, 20, 80, -62, -188, 0, -64, -32, 240, -18, -92, 24, 0, -248, 276, -40, -108, 116, 220, 0, 12, -68, -8, -52, -12, 46, 0, -32, 168, 140, 92, 54, 44, 0, -220, -14, -240, 12, -12, -22, 0, -142, 0, 192, -112, -6, 128, 0, 52, -68, 124, 18, -12, 66, 0, 226, -276, 20, 252, -122, 32, 0, 116, -16, -52, 72, -112, -28, 0, 8, 128, -60, 0]