# Trace form for 8085.2.a.ce, downloaded from the LMFDB on 22 May 2024.
[0, 8, 0, -8, 10, 8, 0, 0, 0, 8, 0, -8, -10, -4, 0, -8, 2, -4, 0, -9, 10, 0, 0, -5, 0, 8, -32, -8, 0, -5, 0, -5, 0, 8, 0, 0, 10, 7, 8, 4, 0, -9, 0, 14, -10, 8, 18, 5, -2, 0, 0, 4, -8, -1, 0, -8, 0, 9, 10, -16, -10, -26, 16, 0, -8, -4, 0, 3, -88, 5, 0, -30, 0, -15, -18, -8, -22, 0, 32, 11, 2, 8, -42, -12, 0, -4, -48, 5, 0, 0, 0, 0, 28, 5, -24, -9, 0, -44, 0, -8, 10, 11, 0, -37, -30, 0, -32, -4, -10, -33, 0, -7, 0, -6, -8, -5, -20, -4, -2, 0, 0, 8, -16, 9, -8, 8, 0, 42, -42, -14, -32, -65, 10, 0, 46, -8, 0, 21, -18, -33, 0, -5, 34, 4, 2, -5, 20, 0, 68, 19, 0, 10, -16, -4, 0, -5, 8, -44, -16, 1, 0, 0, 0, 48, -60, 8, -54, 8, 0, 52, 0, -9, 0, -10, -10, 0, -2, 16, -50, -60, 10, 4, 0, 26, 2, 7, -16, 4, 116, 0, 8, -62, 8, 20, -86, 4, 0, 8, 0, -73, 0, -3, 0, 0, 88, -9, -8, -5, 2, 9, 0, 8, -20, 30, 40, 14, 0, 0, 14, 15, -10, 8, 18, -22, 0, 8, -22, -2, 22, 62, 18, 0, 54, -36, -32, 5, -106, -11, 0, -54, -2, -14, 0, -8, -12, 0, 42, 15, 46, 12, 0, -100, 0, 5, -90, 4, -82, -19, 48, 0, -8, -5, -36, -16, 0, -1, 0, 0, 32, 6, 0, -80, -68, 0, 96, -8, -28, 12, 2, -5, 0, -5, 24, -31, -96, 9, 32, 0, 0, 32, 10, 44, -70, 6, 0, -16, -52, 8, -96, -103, -10, 0, 82, -11, -68, -26, 0, -2, 0, 37, 16, -6, 30, 7, 54, 0, 26, 9, 32, 5, -8, 4, 0, 26, 10, -4, 26, 33, 114, 0, 0, -70, -34, 7, 44, 3, 0, 71, -16, 6, -88, 5, 8, 0, -70, 5, 54, 18, 20, -92, 0, 4, 0, 31, 2, -30, 28, 0, 102, -97, 0, 105, -66, -8, 0, -15, 16, -41, 44, -9, -18, 0, 8, 54, 0, -8, -62, 5, 0, 27, -22, -42, 22, 6, 42, 0, 4, 14, -2, 28, 32, -66, 0, 65, 10, 11, -10, -9, -10, 0, 2, -64, -46, 25, 56, 8, 0, -7, 0, -33, -42, -21, -6, 0, 18, -12, -6, 33, -8, -74, 0, 15, -74, 5, -102, -4, -34, 0, 88, -4, -48, 9, -2, 45, 0, 5, -88, 38, -20, 26, 0, 0, 124, -36, -68, 0, -6, -19, 0, -66, 0, 9, -76, -10, 126, 0, 16, 20, -2, 4, 28, -79, 0, 81, -76, 5, 36, -55, -8, 0, -24, 44, -86, -14, 16, -9, 0, -1, 68, -6, 0, -49, 102, 0, 10, -44, 0, -65, -144, -48, 0, -23, 60, 30, -172, -8, 10, 0, 54, -24, 10, -8, -20, -46, 0, 11, -18, -52, 64, 88, 0, 0, -30, 9, 30, -37, 0, -5, 0, 10, -30, 62, 10, -70, -124, 0, 38, 6, 2, -41, -32, -16, 0, -27, 50, -4, 24, 60, 68, 0, -10, -67, -14, -4, 84, -33, 0, 9, 4, -26, 0, -134, -2, 0, -52, -7, 36, -32, 16, 6, 0, -4, -120, -106, -116, -6, -34, 0, 6, 19, -8, -43, 8, 62, 0, -5, -8, 5, 0, -20, -20, 0, 86, 1, 0, -4, 98, -71, 0, -63, -2, -8, 40, -6, 0, 0, -36, 73, -94, -76, 0, -29, 0, 3, -14, 8, 0, -74, 196, 0, -16, -29, -88, 59, -18, 9, 0, 19, 8, -15, -8, 5, 34, 0, -2, 8, 90, -9, -2, -122, 0, 5, -96, -8, -146, 42, 20, 0, -10, -30, -42, -24, -40, -73, 0, -14, 16, 73, 0, 16, -32, 0, 42, -67, -14, -65, -108, -15, 0, -41, 10, 40, -58, -8, -112, 0, -18, -137, 134, 22, 46, 26, 0, 98, -100, -8, 112, 14, 22, 0, 0, 2, -16, -70, -22, 21, 0, -62, 30, -51, -18, -35, 0, 0, -130, -33, -54, 102, -134, 36, 0, -146, 32, -149, 8, -5, 26, 0, 106, 91, 34, 11, -130, -4, 0, 4, -30, 54, -164, 30, 2, 0, -172, 14, 18, -5, 0, -19, 0, 8, 20, 28, 12, -81, 36, 0, -20, -3, -42, -29, 68, -15, 0, -86, -46, 19, -26, -12, 88, 0, 0, 21, 136, 100, 318, 10, 0, 90, 30, -5, -16, -187, 90, 0, -70, -4, -10, 134, 82, -47, 0, 19, 76, 116, -48, -5, -184, 0, -70, 0, 8, 30, -40, 5, 0, -44, 36, -38, -6, 16, -16, 0, 0, -30, -36, 1, -124, -57, 0, -222, 0, 0, -210, 15, -32, 0, 16, -6, -2, -63, 0, -58, 0, 80, 18, 48, 68, 65, 38, 0, -60, -98, -96, 186, 128, 8, 0, -32, 28, 54, -54, -12, -50, 0, -2, 8, 22, 5, 26, -144, 0, 159, 78, 5, -14, 52, -24, 0, 48, 31, 0, 70, 96, -56, 0, -9, 112, -2, -32, -43, 0, 0, 160, 105, 0, -10, 88, -32, 0, -11, -10, -53, -128, -44, 156, 0, 70, -9, 136, -6, -2, 38, 0, 45, 44, 16, 56, 12, 52, 0, -50, -8, -238, 82, 96, -60, 0, 103, 170, -24, 10, 38, 42, 0, -120, 4, -82, 149, -42, 11, 0, -104, 68, 12, -170, 26, 102, 0, 0, -9, 2, 2, 18, -56, 0, 7, 8, -37, -12, 12, -16, 0, -250, 6, 50, 4, -30, 52, 0, -7, 116, -22, -54, 9, -26, 0, 48, -76, -26, 71, 8, -9, 0, 44, -32, -62, -16, -5, 182, 0, 8, -123, 98, -4, 110, 20, 0, 111, 0, -26, -86, -54, -10, 0, 18, 4, 48, 2, -26, 0, 0, -33, -70, 29, -114, 8, -128, 0, 58, 61, 0, -58, -100, 70, 0, -73, 34, -58, 160, -7, 0, 0, -44, 180, -74, -3, 110, -204, 0, -61, 0, -71, -28, 35, 16, 0, -134, -6, 34, 13, 88, 151, 0, -5, -10, -9, -8, -173, -52, 0, -8, 92, 70, 87, 24, -5, 0, -28, -54, 52, 2, -18, -26, 0, -20, 9, 42, 92, 90, -98, 0, -61, -30, -4, -124, 8, 0, 0, 140, -31, -20, 82, -2, 65, 0, 30, 66, 44, -28, 77, 40, 0, 168, -18, -102, 14, 130, 97, 0, -146, 0, 127, 120, -105, -62, 0, 66, 69, 164, 8, 14, -125, 0, -67, 36, 15, 234, 34, -16, 0, -10, 41, -172, -14, -44, 8, 0, 9, -56, -64, 18, -11, 104, 0, -120, -22, -8, 62, -176, -54, 0, 82, 0, -21, -64, 8, 34, 0, 62, -187, -22, -5, 42, 37, 0, -2, 66, -27, 112, -58, 22, 0, -186, 42, 30, 62, -22, 61, 0, -6, 18, -39, -42, 23, 92, 0, 174, -58, -4, -46, 54, -14, 0, 24, 2, -36, 32, -28, -170, 0, -32, 53, 90, 66, 186, 5, 0, 4, -88, -65, -106, -12, -10, 0, -152, -11, 194, 58, 10, -39, 0, 9, -58, 80, 10, -54, -188, 0, 50, 33, -2, 179, 30, 64, 0, -14, 46, 132, 56, -25, 0, 0, -56, 64, 76, -8, 20, -34, 0, -61, -12, 7, -284, -102, 0, 0, -98, 33, 92, -95, 42, 89, 0, 21, -220, 15, 6, -36, 214, 0, 46, 110, -18, 6, 32, 12, 0, -279, 6, -50, 0, -33, 228, 0, 8, -100, 260, 74, 140, -108, 0, 24, 30, -15, 8, 5, 74, 0, 64, -5, -90, 30, 102, -101, 0, 4, 20, 7, 34, 15, -82, 0, 96, -32, -88, -19, -56, 4, 0, -50, 48, -36, 252, -9, -130, 0, 2, 83, 2, -45, -8, 140, 0, -2, 192, -5, 78, 167, 88, 0, -36, -38, 60, 133, 20, -16, 0, -26, 102, 3, 0, -58, -104, 0, -70, -1, -124, 117, -46, 36, 0, -8, 68, -29, -264, 0, 112, 0, 6, 55, 32, 19, 16, -30, 0, 6, 106, 66, 170, -36, 0, 0, 240, -9, 24, -80, 76, -130, 0, 10, -68, -50, -126, -121, 8, 0, -4, 31, -16, 137, 96, -20, 0, 0, 2, -8, 46, -4, 376, 0, -28, -55, 26, 79, 276, 12, 0, 31, 44, -81, 2, 164, 76, 0, -144, -5, 74, -42, -36, -5, 0, 55, 38, 12, 8, -5, 128, 0, 42, -108, 24, 44, 4, -44, 0, -31, 86, 151, 248, 14, -96, 0, -16, -40, 118, 9, -14, -212, 0, 12, 32, 1, 106, 45, -68, 0, -96, 6, 200, -62, 0, 65, 0, 49, 144, 32, -102, -92, -52, 0, 10, 11, -10, 131, -122, 44, 0, -176, 0, -100, -70, 65, 236, 0, 144, 6, 70, 48, -46, -166, 0, -69, 4, 23, -46, -16, -60, 0, -72, -30, -52, 131, 172, -57, 0, 8, 150, 186, -10, 70, -96, 0, -104, -22, -54, -103, 0, 24, 0, -38, -10, -31, 264, 8, 8, 0, 20, -21, 68, 46, 82, -88, 0, -56, -274, -11, 204, -84, 18, 0, -68, 52, -182, 61, -64, -26, 0, -88, 214, 33, 0, 77, 264, 0, 122, -2, 30, 251, 20, -9, 0, 14, -30, 87, -6, 37, -126, 0, 0, 91, 16, 5, 100, -48, 0, -6, 54, -10, 108, 89, 30, 0, -34, -62, -104, 7, -10, -5, 0, 70, 54, -40, 124, -4, -20, 0, 16, -64, -38, -106, 26, -6, 0, 18, -2, 9, 316, 41, 26, 0, 32, 33, 48, 16, 296, 5, 0, 147, 172, 27, -8, -5, -50, 0, -118, 4, -20, -5, -24, 81, 0, -60, -46, 90, -68, 26, 208, 0, -146, -127, 10, 107, 96, 67, 0, -4, 14, 108, -68, 4, 26, 0, -84, 94, 268, 33, 136, 42, 0, -19, 114, -9, -252, -114, -4, 0, 80, 26, 160, -84, 0, 368, 0, 134, 180, -70, 2, -70, 88, 0, -34, -10, 52, 63, 230, 7, 0, -150, -36, 79, 44, 32, 16, 0, -16, 3, 32, -6, -4, -162, 0, 179, 244, 4, -250, 71, 120, 0, -168, 106, -16, 30, 116, -117, 0, 6, -60, 3, 34, 140, -88, 0, -140, 133, -6, 5, -86, -19, 0, -144, 8, 6, -96, 43, 234, 0, -8, -90, 230, -62, -70, 120, 0, -20, -156, 5, -122, 44, 8, 0, 54, -5, 18, 74, 0, 18, 0, 20, 16, -52, 20, -33, -70, 0, -24, -92, -86, -12, -32, -1, 0, -62, 0, -49, 12, 4, -68, 0, -98, -49, 0, 71, 66, 141, 0, 31, 270, 63, 328, 156, 2, 0, -204, 8, 190, -30, -40, -10, 0, 6, 28, -141, 0, -114, 20, 0, 204, 81, 36, -17, 102, -73, 0, -48, 94, -97, -80, 76, 70, 0, 0, -21, 268, 29, 60, 105, 0, -57, -136, -3, -66, -157, 14, 0, 106, -8, 8, 146, 0, -184, 0, 74, -130, 60, -196, -15, 54, 0, -88, 22, 16, 10, 124, 29, 0, -41, 88, -8, 222, -59, 44, 0, 18, -94, -160, -9, 106, 80, 0, -36, -18, -19, 70, 110, -8, 0, -44, 15, 328, -52, 8, -33, 0, -5, -4, 54, -34, -342, 0, 0, 0, -202, 2, -5, 162, -8, 0, -64, -90, 162, -62, 9, -102, 0, 2, 5, 228, 122, 80, -205, 0, -110, 0, -5, -160, 27, 96, 0, 320, 8, -22, -160, 146, 10, 0, -42, 196, 25, -20, 90, 22, 0, 68, -54, 10, 6, -180, 30, 0, -344, 42, 140, 18, 24, 200, 0, 40, -123, 224, 73, 4, 5, 0, -108, -228, 14, 2, 149, -16, 0, -2, -73, 18, 110, 0, 28, 0, -16, -56, -31, 32, 42, -12, 0, -432, -66, -42, -49, 50, 67, 0, 98, 14, -294, 36, 65, -94, 0, 108, 60, 10, 15, 232, -3, 0, 11, 124, 41, 182, -53, -10, 0, -160, -40, -92, -9, 58, -8, 0, 8, -10, -4, 112, -121, 230, 0, 94, -18, 18, 122, 2, 137, 0, -79, -134, -64, 176, -22, 136, 0, -46, 20, 214, -26, 364, 25, 0, 43, -110, -98, 56, 71, 100, 0, -2, 8, 178, -49, -112, -124, 0, -14, 32, 146, -22, -7, 290, 0, 150, 30, 0, -160, 30, -2, 0, -33, 16, 122, 336, 70, -42, 0, 22, -249, 80, -21, 370, -4, 0, -182, -6, 62, -34, -46, -30, 0, 194, 51, -116, -28, 18, 231, 0, 35, 320, -12, 0, -79, 168, 0, -6, -174, 130, 48, 96, 33, 0, -4, 54, -165, -8, -102, -92, 0, 134, -74, 0, -36, -58, -88, 0, 62, 212, 146, -280, 15, -32, 0, 36, 149, -74, -267, -8, -27, 0, 5, -20, 294, -26, 140, -102, 0, 54, -20, -106, -4, 178, -91, 0, 15, -34, -127, -156, -11, 86, 0, 130, -107, -38, 4, 88, -12, 0, -115, -108, -4, 156, 226, 30, 0, -48, -54, -88, 68, 164, 9, 0, -30, 350, -44, -2, -19, 178, 0, -354, 45, 172, -8, -180, -14, 0, -84, -18, -99, -30, 5, 144, 0, 0, 99, -88, 19, -236, -162, 0, 38, 136, -8, -186, 73, -20, 0, -8, -28, -6, 26, -12, -92, 0, 81, 0, 150, -36, -57, -184, 0, -56, 98, 20, 259, 124, 3, 0, -86, 42, -36, 10, 29, -262, 0, -68, 69, 0, 15, 356, 0, 0, 118, -150, 86, -6, 84, 46, 0, -24, -19, 66, -15, 26, -259, 0, 12, -132, -40, -88, -66, -54, 0, -38, 8, 0, 3, -40, -21, 0, 9, -136, 142, 30, -100, -76, 0, -318, 37, 4, -10, 8, -74, 0, 17, 126, -90, -108, -108, -30, 0, 196, 5, -140, -75, 16, 198, 0, 187, -72, 20, -90, 182, -2, 0, -2, -106, 70, 201, 260, 4, 0, 28, 10, -9, 28, -134, -56, 0, -82, -79, 18, 47, -146, 174, 0, -31, -168, -19, -82, 81, -76, 0, 192, -116, -76, -8, 48, -149, 0, 5, 94, -82, 184, 34, 36, 0, 20, -211, 70, -55, 102, 0, 0, -130, -8, -159, 68, -30, 144, 0, 40, -70, 120, -5, -24, -175, 0, 44, -40, 44, 26, 123, -36, 0, -86, 38, -38, -138, 6, -14, 0, -16, 8, 104, 16, 62, -92, 0, -246, -9, 0, -100, -504, 30, 0, 30, 36, 117, 28, -1, -40, 0, 124, -89, 68, 57, -230, 98, 0, -6, -24, 222, -14, 66, 0, 0, -282, 0, 204, -49, 210, 26, 0, -15, 102, -146, 32, -107, -80, 0, -60, -6, -16, -114, 10, 6, 0, -77, 2, -44, -56, 63, -88, 0, 0, -8, -20, 58, 262, -65, 0, -41, -342, -80, -144, -131, -18, 0, -148, -48, 10, -15, -68, -67, 0, -65, 50, 22, -38, -23, 206, 0, 54, 157, 60, -90, 76, 98, 0, 30, 96, 41, 180, -186, -172, 0, -128, 310, 78, -8, -22, 68, 0, -287, 10, 32, -40, -176, -28, 0, 22, -54, -86, -210, 54, 43, 0, 12, -238, -24, 50, 2, 54, 0, 10, -240, 2, -31, -292, -8, 0, -62, -22, 138, -20, -5, -68, 0, -26, -46, -272, 144, 496, -62, 0, 162, 334, -159, -108, 11, -78, 0, 12, -5, -18, -46, 14, 110, 0, -52, 18, -6, 24, -60, 64, 0, -78, 90, -48, 88, 200, -31, 0, 5, 0, 13, -54, -70, -152, 0, -96, -43, 118, 56, -30, 110, 0, 36, 270, 9, 34, 48, -112, 0, 30, 2, -22, -100, 32, -37, 0, 43, 80, -16, 0, -194, 42, 0, -424, -5, -160, -17, 192, -105, 0, -280, 0, 213, -442, 10, 106, 0, -88, 42, -30, 32, -222, -382, 0, 62, 236, 11, -152, 60, 10, 0, -164, 53, -64, -70, 128, 6, 0, 44, -124, -248, -156, -106, 108, 0, 88, -26, -70, 54, 38, 9, 0, -237, -136, 6, 328, 6, 206, 0, 2, -323, 38, -38, 360, -41, 0, 62, -268, -45, -32, 14, -44, 0, 44, -16, 46, 210, -56, -232, 0, -12, 0, -33, -52, -27, -36, 0, -262, -84, 50, 80, -20, 8, 0, -4, 238, 104, -176, -82, 24, 0, -96, 107, 12, 60, 224, 86, 0, 94, 68, -103, 172, 73, -170, 0, 60, 24, 240, -60, -10, 59, 0, -38, -196, -67, -42, 27, -314, 0, -14, -2, 120, 479, -216, -4, 0, -15, 82, -204, 84, -149, 168, 0, 42, -33, -42, -11, -46, 12, 0, 59, -56, 104, 296, 9, -68, 0, -6, -12, 4, -115, 170, -240, 0, -26, -48, -180, -102, 198, 0, 0, 174, -164, 0, -134, 152, 9, 0, -148, -2, 100, -188, -2, 86, 0, -18, 203, -190, 56, -52, 12, 0, -242, -452, -7, -132, -58, -8, 0, 36, 37, -212, -5, 12, -32, 0, -12, 408, -87, 16, -159, -184, 0, 90, 6, 250, -238, -222, -6, 0, -11, -50, -37, -304, -4, -360, 0, 30, 111, -120, -52, -598, -40, 0, -106, 82, 7, -6, -48, -116, 0, 332, 22, 378, -6, 54, 19, 0, -9, -34, -60, 26, -27, 30, 0, 196, -52, -48, -252, 6, 76, 0, -72, 26, 19, 68, -71, 16, 0, -8, 150, -76, 9, 84, -43, 0, 214, 102, -44, 8, -76, 32, 0, 66, 62, -300, 120, 16, 20, 0, 5, -238, -120, -182, -5, 150, 0, -302, 80, -8, -163, 36, 123, 0, 5, -98, -19, 72, 4, 0, 0, -110, 16, -204, -20, -6, -49, 0, -234, -20, -111, -160, 274, 0, 0, -84, 26, -336, -38, 86, 102, 0, 54, 14, 1, 10, -50, -32, 0, 0, -345, -18, 327, -172, -4, 0, -25, -48, 227, 98, -2, -166, 0, 26, -71, 432, 0, 190, -81, 0, -20, -168, 33, -60, -63, 70, 0, -32, -29, -2, -304, 114, 20, 0, -8, 158, -115, 128, -6, 40, 0, -154, -47, -58, -6, -366, -61, 0, 311, 0, -8, -160, 58, -232, 0, 100, -46, -50, -70, -36, 80, 0, -142, 102, 73, 186, -212, -34, 0, -94, 58, 68, -132, -160, -76, 0, 7, -202, -147, 0]