# Trace form for 1617.2.a.bb, downloaded from the LMFDB on 16 April 2024.
[0, 5, 2, 5, 10, 4, 2, 0, 6, 5, -2, 5, 10, -5, 0, 4, 16, -2, 2, 3, 8, 0, 2, 16, 6, 7, 10, 5, 0, 0, -2, -5, 4, 5, -20, 0, 10, 15, -6, -5, 6, 22, 0, 3, 10, 4, 16, 2, 16, 0, 34, -2, -40, 6, 2, 4, 0, 3, 12, -16, 8, -12, 4, 0, -4, -28, 2, 7, -10, 16, 0, 24, 6, -17, -36, 7, -30, 0, 10, 7, -16, 5, -8, 12, 0, 2, -18, 0, 6, 6, -2, 0, 68, -5, -82, -18, 4, 14, 0, 5, 26, 32, -20, -1, 48, 0, -30, 18, 10, -7, -2, 15, 0, 18, -6, -16, 0, -5, -16, 0, 6, 5, -48, 22, 26, 36, 0, 25, -18, 3, -64, -30, 10, 0, -20, 4, -36, 34, 16, -11, 0, 2, 30, -5, 16, -66, -38, 0, 18, -14, 34, -20, 24, -2, 0, -4, -40, -10, -2, 6, -58, 0, 2, 20, 38, 4, 48, 6, 0, 36, -16, 3, -36, 24, 12, 0, 16, -16, 24, 12, 8, 7, 0, -12, 30, 48, 4, -2, -56, 0, -84, 10, -4, 5, 50, -28, 0, -28, 2, -12, 78, 7, 20, 0, -10, -28, 62, 16, -22, 3, 0, -6, 0, 24, 0, 18, 6, 0, -34, -17, 8, -10, -36, 4, 0, 7, 66, 18, -30, -33, -46, 0, -36, -30, 10, 16, -68, 7, 0, 18, -16, -14, 2, 5, -42, 0, -8, 81, 6, 12, 132, -2, 0, 16, 10, 2, -100, -56, -18, 0, -140, 0, 0, 82, 6, 24, 0, 6, 38, 58, -2, -10, -16, 0, -104, 7, 68, 11, 10, -5, 0, 6, -82, 7, -48, -18, 10, 0, 4, -65, -60, 14, 56, -6, 0, 16, -48, 5, 28, -22, 26, 0, 100, 32, -6, -24, -20, -19, 0, -1, 8, 12, 48, -79, -16, 0, -88, -10, -30, 0, -44, 18, 0, 6, 10, -31, -70, -7, 24, 0, -2, -13, 108, 15, 36, -4, 0, 7, -72, 18, -2, -5, -6, 0, -108, -16, 48, -28, 0, -24, 0, -5, 4, -42, -16, 12, 24, 0, -102, 74, 6, -2, 10, 5, 0, -40, -48, -23, 116, 22, 6, 0, 26, -85, -20, 36, -144, 18, 0, 35, -126, 25, -116, 14, -18, 0, -46, 3, 4, -6, -64, -16, 0, -30, -40, 80, 10, -23, 0, 0, -16, -56, -20, -25, 136, 4, 0, 15, -36, -21, -148, 34, 58, 0, 16, 60, 56, -11, -6, -16, 0, -31, -60, 2, -126, -34, 30, 0, 30, -5, 84, 84, 16, 13, 0, -66, -56, -6, -38, -92, 6, 0, 50, 2, 18, 72, -2, -14, 0, -8, 34, 22, -12, -20, -96, 0, 24, -39, -18, -2, -44, 84, 0, 47, 66, -4, 72, -48, -40, 0, -74, -10, -30, 3, -2, -51, 0, 6, 12, 14, -58, -63, 148, 0, 10, 28, 2, 31, -216, 20, 0, -52, 38, -12, 24, 4, 20, 0, 48, 25, 108, 6, 94, -62, 0, 34, 16, 36, 158, 78, -16, 0, 20, 3, -80, 88, -36, 2, 0, 24, -60, 30, 12, -31, -126, 0, -8, -4, 16, 1, 72, -16, 0, 44, 24, -48, -114, 12, -50, 0, 8, -43, -136, 7, -28, 76, 0, -26, 32, -12, 34, 6, 30, 0, 86, 48, 20, 8, 4, -69, 0, -2, 36, 16, -56, -12, 154, 0, 60, -6, -84, -23, -40, 10, 0, -16, -4, -27, -20, 5, -78, 0, 50, 6, -120, -28, 36, -80, 0, -39, 46, -28, 0, 56, 2, 0, 50, -12, 152, 62, 78, -49, 0, 7, 62, 4, 20, 5, 36, 0, 48, -20, -10, 22, 38, -28, 0, 60, 62, 65, -8, 16, -60, 0, -22, 13, 44, 3, 16, 36, 0, 8, -24, -6, -34, 74, 0, 0, 12, 24, -42, -72, 0, 23, 0, 18, 24, 26, 6, -16, -238, 0, -56, 8, -34, -36, 110, -17, 0, -34, 8, 1, 50, -10, 108, 0, -36, 66, -48, 4, 32, -12, 0, 103, 46, 7, 216, 24, 66, 0, 0, 18, 4, 28, -30, 8, 0, -33, -48, -114, -46, -19, 54, 0, 32, 74, -36, 8, -96, -30, 0, -62, 10, 3, -4, 16, 78, 0, -68, -2, 6, 7, 144, 20, 0, -28, 96, 18, 20, -18, -16, 0, -2, -14, -82, -108, 2, 21, 0, 5, -40, 18, -42, -81, 16, 0, 80, 7, -8, 13, 96, 81, 0, 68, 6, 26, 50, 12, -10, 0, 132, 5, -68, -2, 150, -34, 0, 46, 164, 16, -48, 36, 10, 0, 56, 2, 20, 22, -100, -13, 0, -56, 22, -42, -18, 5, -60, 0, 24, 96, -140, 24, -100, 0, 0, -44, 0, -20, -62, 82, 164, 0, 6, -114, 52, 24, 48, 32, 0, 82, -64, 6, -2, -17, 38, 0, 38, 58, 96, -132, -2, -86, 0, -10, -36, -56, -16, -45, -66, 0, -164, -46, -104, 96, 216, 7, 0, -2, 68, -29, 132, 11, 142, 0, 10, -60, -30, -5, -34, -26, 0, 47, -46, 6, -162, 120, -82, 0, -12, 7, -40, 0, -48, 35, 0, -18, -48, -34, 10, 72, 198, 0, -48, 120, 4, -108, -128, -65, 0, 7, -60, -121, -84, 14, 84, 0, 56, -24, -152, -6, -16, 62, 0, 95, -68, 16, 56, 140, -48, 0, 60, 5, 140, 66, 28, 48, 0, -22, -80, 0, 26, 30, -8, 0, 198, 44, 100, -21, -60, 32, 0, 0, -6, 12, -114, -24, -42, 0, -20, 11, -150, -19, 36, 90, 0, 9, 134, -1, 144, 0, 8, 0, -36, 12, -36, 2, 48, 131, 0, -79, 8, 30, -16, 110, -116, 0, -18, 30, -88, -115, -210, -10, 0, -88, -30, 104, 174, 0, 116, 0, -44, -114, 66, 18, 20, -44, 0, 47, 6, 6, 238, 44, 10, 0, -32, -31, -42, 12, -70, 6, 0, -7, -64, -30, 24, -2, 0, 0, 198, -48, -2, -163, 2, -13, 0, 48, 108, -49, 16, 15, 180, 0, 36, 16, -76, -4, -56, -72, 0, -59, -32, 7, 68, -84, -72, 0, 168, 18, 216, 22, -2, -62, 0, -5, -80, -94, -6, -7, -64, 0, 148, 142, -108, 31, -82, -16, 0, 48, 48, 35, -140, -28, 108, 0, 0, -18, -94, -24, -60, 56, 0, 1, 80, -5, -16, 24, 4, 0, 94, -42, 204, 76, -16, 14, 0, 12, 236, 14, 24, -53, -84, 0, 56, -90, -102, -3, 20, 74, 0, -96, 6, -68, 2, -2, -62, 0, 10, 145, 10, 5, 148, -10, 0, -87, 4, -40, -96, 78, -48, 0, 26, -23, 174, 48, 116, 64, 0, 22, -122, 48, 6, 32, 36, 0, -52, -76, 26, -30, -48, -85, 0, 6, -20, 57, 156, 36, -8, 0, -144, -77, -60, 18, 92, -1, 0, 144, -12, 35, 168, 20, -126, 0, 10, 25, 48, -180, -116, -27, 0, 14, 92, -52, -18, -61, -114, 0, -94, 30, -46, -90, -192, 3, 0, -4, 4, -6, -30, -6, 62, 0, -64, -24, -144, -16, -44, -134, 0, 18, 30, -30, 44, -72, -40, 0, -102, 80, 8, -48, 10, 60, 0, -23, -24, 0, 0, 108, -62, 0, 152, -7, -16, -29, 14, -56, 0, -40, -20, -30, 168, -25, -2, 0, 136, 14, -70, 4, 144, -72, 0, -12, 168, 15, 172, -64, -36, 0, 40, -21, 76, -132, -148, 99, 0, 34, 90, 180, 58, 18, -28, 0, -72, 38, 16, 18, -108, 60, 0, 42, 56, 10, 70, -11, -62, 0, -6, -64, 198, -16, -48, -226, 0, -128, -274, -31, -154, -16, -60, 0, -92, 2, -40, -28, -126, -87, 0, -34, 0, -140, 30, 36, -116, 0, -174, 66, 30, -88, 2, -5, 0, -84, 84, 76, -12, 84, 68, 0, 16, -123, -16, 13, -104, 90, 0, 156, -138, -66, -64, -50, -56, 0, 48, -6, 92, -62, -38, 56, 0, -92, -184, 78, 6, -7, 166, 0, -50, -18, 50, 58, 72, 2, 0, 5, 18, -45, 72, 72, 48, 0, -2, 7, 136, -14, -48, 2, 0, 56, 34, -8, 134, 108, 34, 0, -162, 22, 84, -32, -12, -116, 0, -20, 46, 30, -96, -48, 26, 0, 130, 0, 24, -20, -268, -39, 0, -30, -18, 36, -48, -2, 60, 0, -44, 11, 158, 84, 24, 16, 0, -111, 94, 47, 164, -12, 66, 0, -82, -4, 66, 25, 72, 21, 0, -48, -92, -42, -40, -102, -54, 0, -18, -120, -74, -48, -264, -10, 0, -16, -30, -77, 58, 3, 36, 0, -2, 148, -36, -51, 14, -36, 0, -86, -64, 6, -84, 54, 12, 0, 214, 14, 210, 78, -58, -30, 0, -63, -64, -52, 148, 121, 108, 0, -132, -202, 10, -31, 282, 28, 0, -62, 2, -50, -32, 31, 30, 0, -216, -234, -102, 20, -214, 174, 0, 89, -8, -52, -20, 16, 38, 0, 142, -12, 126, -188, 24, 79, 0, 4, 188, -14, 20, -33, 188, 0, -116, 60, 48, -140, -36, 25, 0, -202, 108, 9, -94, 6, -110, 0, 94, 34, 144, -62, 104, -2, 0, -24, 40, 34, 82, 54, 16, 0, -126, 36, 120, 98, 158, -132, 0, 78, -96, -11, -16, -73, -140, 0, -152, -56, 20, 30, -130, 3, 0, 56, -80, 39, -252, 88, -36, 0, -36, -42, 44, 2, 4, 10, 0, -96, -144, 24, 138, 78, -60, 0, 30, 30, -62, -32, 12, -43, 0, -31, -314, 98, -126, -5, -104, 0, 0, -120, -8, -132, 280, -4, 0, -52, 16, -44, 156, 1, 38, 0, 72, 63, 12, -16, 56, -66, 0, -145, 52, 44, -104, -166, 24, 0, -256, -48, -38, 42, -114, -85, 0, 12, -2, 156, -50, 84, 166, 0, 48, -40, 8, -31, -176, -43, 0, -72, -136, 33, 18, 7, -224, 0, -28, -12, -54, 76, -96, -30, 0, -14, -192, -26, 44, -18, 32, 0, -90, -12, -32, -50, 34, -49, 0, 6, 16, -260, 30, -104, 16, 0, 156, -20, 86, -85, -36, 48, 0, -78, 20, -145, -72, 8, 24, 0, 4, -55, -128, -69, 100, 62, 0, 31, 20, -2, -86, 44, 36, 0, 12, 16, 114, 18, -56, 159, 0, -12, -66, 6, 154, -29, -146, 0, -198, 72, 60, -4, 170, -6, 0, 18, -84, -66, 114, -23, -4, 0, -40, -20, 192, 10, 204, 18, 0, -26, 6, -16, 156, -10, -4, 0, -144, -27, 122, -138, -20, 64, 0, 5, -2, 186, -78, -91, 182, 0, -146, 24, 50, 72, 12, 6, 0, -62, -120, 31, -288, -28, -226, 0, 36, -47, -58, -80, -268, -72, 0, -60, 206, -39, 102, 144, 46, 0, 184, -28, -28, 60, 0, -70, 0, 56, 24, 2, 2, 104, -18, 0, 60, 30, 50, -19, -150, -12, 0, 20, 152, 112, -40, 62, -48, 0, 78, 17, -12, -49, 38, 152, 0, -79, 36, 7, -4, 90, 62, 0, -168, 4, -132, -154, 20, 0, 0, 5, -66, 16, 36, -139, 48, 0, -132, -20, 48, 67, -168, -20, 0, -100, -10, 6, 146, 22, -140, 0, 38, -150, 234, -28, -204, -160, 0, 10, 144, 60, 226, 34, 62, 0, 12, 65, -102, 36, -8, -37, 0, 16, 0, -272, -60, 4, 204, 0, -16, -48, -22, 81, 26, 13, 0, -24, 44, 115, 78, 3, 84, 0, 16, -12, 140, 36, -80, -56, 0, -6, -36, 8, -54, 40, -24, 0, 350, -6, -198, 154, -34, 24, 0, 74, 140, -34, 0, 72, -64, 0, -60, -6, 12, 16, 340, 24, 0, -18, -42, -66, -60, -72, -396, 0, 0, 82, 252, 23, 16, 90, 0, -39, -142, 18, 16, -142, 24, 0, 404, 26, 8, 96, 6, -168, 0, -16, 278, 68, -238, 115, -24, 0, 42, 46, -56, -57, 24, 8, 0, 102, -34, 20, -110, -36, 168, 0, 110, 12, -68, -17, 12, -122, 0, 149, 114, -34, -264, -54, 8, 0, -154, 1, -32, 68, 50, -19, 0, -10, 108, 7, 108, -48, 14, 0, 86, 78, -36, 86, 132, 66, 0, -34, -48, -280, 100, 4, 228, 0, 32, 109, -58, -12, -12, -56, 0, -55, 118, 103, -10, 120, 46, 0, 30, 7, -96, 42, 216, -33, 0, 24, 134, 24, 66, 48, 12, 0, 88, 96, 0, 232, -20, 18, 0, -84, 4, -36, -90, 28, -124, 0, -30, -117, -394, 8, -180, -2, 0, 24, 80, -33, -56, 0, -48, 0, -98, -114, -56, -34, -46, -57, 0, -19, 66, 204, 54, 17, -58, 0, -8, -162, 32, -56, 300, 74, 0, 222, -36, 11, -84, 8, -188, 0, -96, 244, -150, -30, -154, -214, 0, 10, -14, -62, -60, -176, 10, 0, -14, 3, -132, -28, -4, -65, 0, 16, 266, 90, 78, 64, 144, 0, -62, 5, -68, -132, -112, -2, 0, 112, 6, 61, 28, 7, 50, 0, 144, 95, -86, 20, -48, 92, 0, 139, 2, -28, -24, 144, 96, 0, 126, 18, -222, 8, 20, 168, 0, -18, -132, -10, -16, -61, -398, 0, 88, 68, -2, -28, -216, -14, 0, 126, -82, -48, 196, -108, 108, 0, 2, -33, 260, 21, 260, 0, 0, -126, -66, 5, -112, -12, -40, 0, 92, 18, -204, -82, -42, -325, 0, -81, 78, -120, 16, 59, 156, 0, 282, -24, 80, 157, 196, 7, 0, -148, -8, -200, 156, 13, 0, 0, 96, -67, 20, 81, -76, 186, 0, 0, 202, 68, -148, 4, 6, 0, 180, 26, -318, 18, 50, 29, 0, 12, -84, 76, -10, 8, 138, 0, 84, 54, 132, -81, -118, 5, 0, -28, -68, 36, 214, -2, -168, 0, 150, 107, 156, -34, 62, 78, 0, 86, 96, 46, 54, -110, 164, 0, 102, 16, -52, 204, -48, 67, 0, 36, 2, 108, 10, 17, -22, 0, -180, -126, 56, -17, -12, 2, 0, 36, 20, 3, -32, 22, 236, 0, -100, 54, 62, -13, -246, 30, 0, -11, -66, -56, -252, -80, 22, 0, 126, -42, -102, -6, -18, 166, 0, 5, -52, -114, -60, 104, 264, 0, 0, -134, 24, -12, 8, 96, 0, 50, -140, -101, 72, 24, 36, 0, -100, 100, -292, 0, -170, 54, 0, 143, 0, -44, 36, -90, 0, 0, 150, -20, -60, -10, -62, 18, 0, 82, -36, -32, 164, -148, 316, 0, 48, -132, 6, 18, 258, -114, 0, -24, 52, 18, -4, 24, -54, 0, 48, -1, 276, 32, 348, -66, 0, 112, 100, 82, -34, 12, -64, 0, 154, 6, -194, -12, -2, -108, 0, -17, 140, -64, 38, -9, 0, 0, 56, 136, 38, -110, 8, 58, 0, 88, 96, 142, 212, -132, 364, 0, -2, -10, 36, -86, -180, -184, 0, -176, -318, -10, 36, 18, -36, 0, -310, -56, -160, -18, -16, -109, 0, -45, 128, 4, -66, 4, 12, 0, -96, -142, -164, 114, 246, -46, 0, 60, -104, 171, 12, 96, 156, 0, 216, 110, 324, 7, 214, -24, 0, 57, 4, -2, -22, -130, 68, 0, 66, -29, -294, 12, 132, 144, 0, 11, -144, 20, 142, 18, 244, 0, 182, -96, 10, 61, 132, -60, 0, -146, -30, -179, -70, -5, 40, 0, -34, 176, 120, -26, -154, -33, 0, -132, -248, 47, -344, 76, -46, 0, -148, 6, -46, 84, -162, -28, 0, 120, 162, 48, -82, 87, -74, 0, 32, -34, -12, 36, 90, 7, 0, -76, -40, -155, -36, 0, -494, 0, -48, 149, -198, 35, 94, 76, 0, -30, -192, -18, 0, -100, -48, 0, -124, -34, 70, 72, 10, 301, 0, 72, 252, -46, 198, -228, 58, 0, 66, 16, -48, -96, 268, 120, 0, 256, 4, 200, -234, -108, -68, 0, -128, 36, -372, -65, 360, 174, 0, 84, 348, 7, 40, -114, -60, 0, -68, -121, 64, 64, -84, 9, 0, 14, 12, 10, 84, 270, 142, 0, 154, 24, 56, 18, -16, -24, 0, 126, -152, -8, 148, -6, 36, 0, -16, -111, 92, 62, 50, -232, 0, 82, 96, 95, 198, -14, -68, 0, -8, 16, -48, 130, 56, 34, 0, 140, 2, 42, -48, 76, -90, 0, 144, 16, 60, -57, 24, 5, 0, -114, 140, 110, -398, 66, -24, 0, 28, -71, -42, 48, 74, 128, 0, 97, 68, -22, 32, 142, -80, 0, 180, 0, -144, -32, 26, -15, 0, 30, 168, -248, -8, -71, -54, 0, -236, -18, 198, -100, -140, 44, 0, 81, 100, -124, 76, -21, 84, 0, -60, 91, 60, 32, 6, -42, 0, -229, -76, 0, 0, 38, -6, 0, -272, 12, -200, 16, -114, 204, 0, -24, 216, -4, -42, 62, 132, 0, -138, 182, -20, -84, -468, 11, 0, 6, -150, -2, 170, -19, 46, 0, 36, 102, 210, 90, 112, 70, 0, 68, 252, 9, -48, 24, 134, 0, 190, -1, 240, 16, 144, 106, 0, 0, -8, -110, 8, -93, -48, 0, 10, -72, -36, 222, 102, 12, 0, -16, -36, 143, -10, 2, -456, 0, 48, -37, -192, 131, -240, 132, 0, -124, -100, -79, -228, 26, 8, 0, -132, 30, -54, 90, -16, -56, 0, 110, 260, -198, -116, -90, -218, 0, 44, 56, -18, -36, 222, 30, 0, -142, -88, -162, 178, -115, -108, 0, -210, -80, 112, -10, -24, 86, 0, -65, -224, -88, -140, -54, -30, 0, 72, 104, 198, 186, 174, -120, 0, 0, 48, 72, 116, 132, 132, 0, 96, 244, -44, 147, 0, -114, 0, 204, 66, 3, 114, 18, 32, 0, 20, 82, 202, -44, -112, -112, 0, -76, -180, 47, -364, -96, 6, 0, -148, 6, 18, 40, 238, 90, 0, 44, -62, 24, 10, 85, -68, 0, -300, 134, -32, 105, 144, -31, 0, 138, -42, -60, -384, 12, -216, 0, -70, 20, -90, 6, -216, 28, 0, -48, -154, -7, 6, -72, -64, 0, 38, -30, -92, -102, 24, -122, 0, -2, 104, 222, 0, 58, 108, 0, 76, -102, 198, 118, 262, -48, 0, -22, -2, 4, 52, -163, -56, 0, 2, 39, -42, -13, 238, -10, 0, 228, 36, 48, -192, -270, 108, 0, -128, -49, -16, -28, 16, -44, 0, 15, 128, 88, 180]