# Trace form for 8042.2.a.b, downloaded from the LMFDB on 25 April 2024.
[0, 82, -82, -13, 82, 3, 13, -37, -82, 91, -3, -16, -13, -42, 37, -9, 82, 3, -91, -42, 3, -1, 16, -6, 13, 53, 42, -49, -37, 15, 9, -40, -82, -37, -3, -42, 91, -72, 42, -14, -3, 8, 1, -93, -16, -11, 6, 7, -13, 61, -53, -70, -42, 18, 49, -62, 37, -51, -15, -47, -9, -14, 40, -100, 82, 1, 37, -150, 3, 31, 42, 7, -91, -78, 72, -49, -42, 29, 14, -59, 3, 122, -8, -52, -1, -108, 93, -49, 16, 38, 11, -69, -6, -63, -7, 5, 13, -74, -61, -89, 53, 61, 70, -90, 42, -48, -18, -83, -49, -98, 62, -22, -37, 7, 51, -94, 15, -120, 47, 44, 9, 34, 14, -162, -40, 30, 100, -149, -82, -16, -1, -50, -37, -58, 150, -28, -3, 13, -31, -70, -42, -17, -7, 0, 91, -93, 78, -131, -72, 46, 49, -168, 42, -36, -29, -69, -14, -77, 59, -6, -3, 45, -122, -189, 8, -59, 52, -77, 1, 48, 108, -158, -93, -30, 49, -187, -16, -88, -38, -69, -11, -1, 69, -153, 6, 49, 63, -148, 7, -15, -5, 51, -13, -261, 74, -125, 61, 8, 89, -6, -53, 64, -61, -116, -70, -168, 90, -112, -42, 62, 48, -142, 18, -76, 83, -15, 49, -175, 98, -117, -62, 93, 22, -179, 37, 57, -7, -84, -51, -22, 94, 9, -15, 27, 120, -137, -47, -92, -44, 0, -9, -92, -34, -230, -14, 59, 162, -156, 40, -23, -30, -52, -100, -202, 149, -89, 82, -6, 16, -161, 1, -13, 50, -51, 37, -184, 58, -127, -150, 129, 28, -88, 3, -41, -13, -134, 31, -266, 70, -120, 42, 51, 17, -203, 7, -48, 0, -52, -91, 53, 93, -108, -78, -50, 131, -102, 72, -170, -46, -104, -49, 1, 168, -178, -42, 45, 36, -258, 29, 69, 69, 82, 14, -94, 77, -219, -59, 10, 6, -149, 3, 77, -45, -118, 122, -184, 189, -96, -8, 126, 59, -215, -52, -158, 77, 2, -1, -201, -48, -90, -108, 137, 158, -281, 93, -86, 30, -162, -49, -126, 187, -37, 16, 12, 88, -200, 38, -146, 69, 25, 11, 50, 1, -158, -69, 125, 153, -44, -6, -16, -49, -122, -63, -261, 148, -90, -7, 59, 15, -179, 5, 11, -51, -55, 13, -116, 261, -342, -74, 135, 125, -104, -61, -112, -8, -76, -89, -177, 6, -37, 53, 91, -64, -342, 61, -64, 116, -51, 70, -78, 168, -84, -90, -13, 112, -193, 42, -109, -62, -76, -48, -132, 142, -101, -18, 47, 76, -278, -83, -40, 15, -33, -49, -147, 175, -217, -98, -18, 117, -161, 62, 127, -93, -179, -22, -42, 179, -164, -37, 123, -57, -166, 7, -62, 84, -4, 51, -349, 22, -298, -94, 104, -9, -357, 15, -34, -27, -111, -120, -84, 137, 15, 47, -46, 92, -326, 44, -189, 0, -19, 9, -15, 92, -312, 34, 143, 230, -303, 14, 13, -59, -144, -162, -163, 156, -204, -40, 9, 23, -207, 30, -20, 52, -43, 100, -262, 202, -260, -149, 146, 89, -55, -82, -258, 6, -245, -16, -156, 161, -8, -1, 116, 13, -313, -50, -113, 51, -159, -37, -4, 184, -222, -58, 51, 127, -338, 150, 4, -129, -138, -28, -138, 88, -152, -3, -7, 41, -439, 13, 102, 134, 98, -31, -258, 266, -231, -70, -101, 120, -182, -42, -52, -51, -165, -17, -209, 203, -332, -7, 115, 48, -163, 0, -42, 52, 37, 91, -225, -53, -171, -93, 241, 108, -428, 78, -197, 50, -185, -131, -122, 102, -151, -72, -9, 170, -187, 46, -141, 104, 81, 49, -31, -1, -502, -168, 80, 178, -258, 42, 30, -45, -239, -36, -281, 258, -100, -29, 18, -69, -210, -69, 177, -82, -78, -14, -132, 94, -272, -77, 95, 219, -209, 59, -107, -10, -111, -6, -355, 149, -115, -3, 217, -77, -231, 45, -152, 118, -65, -122, -8, 184, 0, -189, 118, 96, -291, 8, -154, -126, -153, -59, -193, 215, -90, 52, 112, 158, -526, -77, 138, -2, -9, 1, -315, 201, -202, 48, 88, 90, -192, 108, 8, -137, -214, -158, -134, 281, -147, -93, 64, 86, -243, -30, 26, 162, -87, 49, -363, 126, -228, -187, 205, 37, -234, -16, 72, -12, -141, -88, -137, 200, -106, -38, -22, 146, -398, -69, -207, -25, 82, -11, -314, -50, -401, -1, 67, 158, -169, 69, 166, -125, -76, -153, -272, 44, -83, 6, 54, 16, -306, 49, -4, 122, -146, 63, -215, 261, -264, -148, 80, 90, -128, 7, -150, -59, -36, -15, -220, 179, -136, -5, 63, -11, -425, 51, -410, 55, -34, -13, -195, 116, -83, -261, -7, 342, -204, 74, -117, -135, -49, -125, -90, 104, -201, 61, 66, 112, -340, 8, 84, 76, 64, 89, -341, 177, -312, -6, 99, 37, -254, -53, 11, -91, -239, 64, -88, 342, -246, -61, 178, 64, -309, -116, -381, 51, 129, -70, -308, 78, -188, -168, 91, 84, -197, 90, -247, 13, -267, -112, -20, 193, 18, -42, 11, 109, -508, 62, -234, 76, 91, 48, -3, 132, -278, -142, 48, 101, -462, 18, -66, -47, -227, -76, -424, 278, -81, 83, -94, 40, -240, -15, 236, 33, -62, 49, -390, 147, -201, -175, 86, 217, -37, 98, -107, 18, -202, -117, -462, 161, -57, -62, 142, -127, -571, 93, -36, 179, -11, 22, -115, 42, -252, -179, -21, 164, -233, 37, -243, -123, -180, 57, -152, 166, -163, -7, -6, 62, -431, -84, 146, 4, 37, -51, -300, 349, -179, -22, 48, 298, -233, 94, -132, -104, -136, 9, -389, 357, -306, -15, 213, 34, -400, 27, -124, 111, 103, 120, -353, 84, -163, -137, 88, -15, -437, -47, -282, 46, -258, -92, -156, 326, -8, -44, -62, 189, -171, 0, -46, 19, 108, -9, 6, 15, -409, -92, 88, 312, -483, -34, 64, -143, -237, -230, -359, 303, -173, -14, -114, -13, -284, 59, -306, 144, -77, 162, -160, 163, -373, -156, 244, 204, -135, 40, -61, -9, -148, -23, -281, 207, -59, -30, 332, 20, -598, -52, -55, 43, -151, -100, -242, 262, -186, -202, 110, 260, -283, 149, 74, -146, -275, -89, -126, 55, -2, 82, -82, 258, -175, -6, 214, 245, 173, 16, -242, 156, -189, -161, 35, 8, -13, 1, 39, -116, -118, -13, -301, 313, -157, 50, 249, 113, -320, -51, -83, 159, 151, 37, 64, 4, -213, -184, 288, 222, -206, 58, 138, -51, -74, -127, -29, 338, 150, -150, 20, -4, -399, 129, -140, 138, 81, 28, 11, 138, 51, -88, 295, 152, -422, 3, 262, 7, -55, -41, -186, 439, 231, -13, -13, -102, -199, -134, 347, -98, 60, 31, 101, 258, -560, -266, 297, 231, 41, 70, -17, 101, -86, -120, -295, 182, 308, 42, 307, 52, -283, 51, 283, 165, 111, 17, -81, 209, -129, -203, 109, 332, -191, 7, -120, -115, -91, -48, 157, 163, -6, 0, 273, 42, -165, -52, 428, -37, 166, -91, -193, 225, 104, 53, 4, 171, -71, 93, 112, -241, -185, -108, 131, 428, 17, -78, 275, 197, -50, -50, 29, 185, 362, 131, -397, 122, -29, -102, 276, 151, -218, 72, 218, 9, -103, -170, 19, 187, 25, -46, 249, 141, -240, -104, 285, -81, 391, -49, 53, 31, 27, 1, 305, 502, -215, 168, 485, -80, 89, -178, -99, 258, 153, -42, -4, -30, 144, 45, 318, 239, 6, 36, 44, 281, -274, -258, 285, 100, -27, 29, 447, -18, 23, 69, -93, 210, 378, 69, 254, -177, -460, 82, 488, 78, 295, 14, 182, 132, 63, -94, 178, 272, 171, 77, 192, -95, -51, -219, 148, 209, 318, -59, 368, 107, -402, 10, 313, 111, 242, 6, -14, 355, -54, -149, 335, 115, 102, 3, 462, -217, -187, 77, -212, 231, 307, -45, 308, 152, 155, -118, 154, 65, 262, 122, -256, 8, 464, -184, 470, 0, 72, 189, 277, -118, -105, -96, 279, 291, 202, -8, 110, 154, -126, 126, 262, 153, 205, 59, 32, 193, 115, -215, 519, 90, -348, -52, 468, -112, -24, -158, -46, 526, 209, 77, 113, -138, -150, 2, 379, 9, 296, -1, -137, 315, -9, -201, 469, 202, 126, -48, 431, -88, -7, -90, -22, 192, 6, -108, 298, -8, -201, 137, 763, 214, -90, 158, 368, 134, 299, -281, 261, 147, 81, 93, 227, -64, 42, -86, 22, 243, 77, 30, 324, -26, -253, -162, 557, 87, 327, -49, -122, 363, -142, -126, 89, 228, 109, 187, 289, -205, -35, -37, 46, 234, 369, 16, 447, -72, -304, 12, 369, 141, 206, 88, 268, 137, 364, -200, 154, 106, -305, 38, 178, 22, 27, -146, 111, 398, 479, 69, 190, 207, 463, 25, -51, -82, 386, 11, 79, 314, 207, 50, 273, 401, -184, 1, 716, -67, -38, -158, 201, 169, 248, -69, 172, -166, 16, 125, 348, 76, 284, 153, -156, 272, -281, -44, 281, 83, 54, -6, 786, -54, 15, -16, 0, 306, 546, -49, 380, 4, 158, -122, 495, 146, 125, -63, 113, 215, 164, -261, 292, 264, -195, 148, 100, -80, -36, -90, 281, 128, 133, -7, 450, 150, -362, 59, 422, 36, 230, 15, -274, 220, 482, -179, 250, 136, 147, 5, 515, -63, -31, 11, 319, 425, 31, -51, 554, 410, -239, -55, 386, 34, 192, 13, -178, 195, 187, -116, 400, 83, 317, 261, 505, 7, -116, -342, 110, 204, 244, -74, 113, 117, -226, 135, 8, 49, 249, 125, 351, 90, 349, -104, 319, 201, -103, -61, 478, -66, 185, -112, -228, 340, 410, -8, 256, -84, -211, -76, 703, -64, 268, -89, 252, 341, -10, -177, 616, 312, -85, 6, 26, -99, 197, -37, -146, 254, 863, 53, 395, -11, 105, 91, 439, 239, 88, -64, 147, 88, 154, -342, 296, 246, 251, 61, 275, -178, -160, -64, 119, 309, 208, 116, 282, 381, -153, -51, 791, -129, 141, 70, -182, 308, 350, -78, 236, 188, 237, 168, 555, -91, 73, -84, -151, 197, -265, -90, 359, 247, 254, -13, 504, 267, 518, 112, -398, 20, 271, -193, 488, -18, -298, 42, 659, -11, -236, -109, 389, 508, 386, -62, 579, 234, -545, -76, 423, -91, 372, -48, 270, 3, 601, -132, 107, 278, 15, 142, 424, -48, -114, -101, -19, 462, 690, -18, 228, 66, 256, 47, 562, 227, 335, 76, 383, 424, 258, -278, 568, 81, 193, -83, 671, 94, 84, -40, -70, 240, 598, 15, 526, -236, -43, -33, 694, 62, 21, -49, 155, 390, 4, -147, 389, 201, -10, 175, -139, -86, 177, -217, 143, 37, 415, -98, 382, 107, -416, -18, 818, 202, 368, 117, 104, 462, 345, -161, 137, 57, 90, 62, 382, -142, 187, 127, 294, 571, 761, -93, 396, 36, 183, -179, 363, 11, 354, -22, -77, 115, 610, -42, 514, 252, 131, 179, 898, 21, 42, -164, -263, 233, 637, -37, 454, 243, 338, 123, 286, 180, 146, -57, 102, 152, 175, -166, 474, 163, -258, 7, 1226, 6, 112, -62, 439, 431, 493, 84, 192, -146, 172, -4, 628, -37, 170, 51, 333, 300, 202, -349, 755, 179, 239, 22, 376, -48, 41, -298, -98, 233, 442, -94, 508, 132, -127, 104, 317, 136, 342, -9, 593, 389, 352, -357, 327, 306, 119, 15, 203, -213, 10, -34, 22, 400, 506, -27, 553, 124, -277, -111, 790, -103, 429, -120, -119, 353, 667, -84, 242, 163, 107, 137, 508, -88, 80, 15, 278, 437, 179, 47, 484, 282, -100, -46, 967, 258, 254, 92, 56, 156, 98, -326, 467, 8, 452, 44, 42, 62, -154, -189, 3, 171, 839, 0, 59, 46, -282, -19, 268, -108, 449, 9, 346, -6, 565, -15, 769, 409, -441, 92, 514, -88, -1, -312, 78, 483, 973, 34, 200, -64, -40, 143, 508, 237, 215, 230, 311, 359, 592, -303, 636, 173, 160, 14, 236, 114, 146, 13, 42, 284, 554, -59, 577, 306, 332, -144, 661, 77, 336, -162, -59, 160, -77, -163, 375, 373, 100, 156, 570, -244, 158, -204, 176, 135, 529, -40, 706, 61, -368, 9, 955, 148, 368, 23, 279, 281, 658, -207, 99, 59, 308, 30, 749, -332, 392, -20, 560, 598, 122, 52, 633, 55, -130, -43, 653, 151, 315, 100, -533, 242, 402, -262, 288, 186, -17, 202, 828, -110, -241, -260, 579, 283, 238, -149, 286, -74, -124, 146, 293, 275, 390, 89, -210, 126, 375, -55, 373, 2, 76, -82, 389, 82, -173, -258, -442, 175, 344, 6, 315, -214, -11, -245, 514, -173, 173, -16, 181, 242, -36, -156, 388, 189, 328, 161, 862, -35, 95, -8, -13, 13, 626, -1, 234, -39, 76, 116, 658, 118, -135, 13, 65, 301, 442, -313, 503, 157, -97, -50, 225, -249, -15, -113, -71, 320, 481, 51, 200, 83, -236, -159, 268, -151, 184, -37, 51, -64, 254, -4, 309, 213, 458, 184, 584, -288, -116, -222, -484, 206, -346, -58, 565, -138, 116, 51, 276, 74, 242, 127, -221, 29, 200, -338, -48, -150, -227, 150, 835, -20, -292, 4, 566, 399, -151, -129, -77, 140, 50, -138, 457, -81, 395, -28, 209, -11, 322, -138, 147, -51, -137, 88, 185, -295, -222, -152, 587, 422, 84, -3, -42, -262, -172, -7, -68, 55, 261, 41, -75, 186, -276, -439, 371, -231, -103, 13, 290, 13, -287, 102, -435, 199, 716, 134, 625, -347, -480, 98, 585, -60, -140, -31, 173, -101, 98, -258, 248, 560, 138, 266, -89, -297, 53, -231, -234, -41, 361, -70, 150, 17, 120, -101, 347, 86, -171, 120, 115, 295, -327, -182, -37, -308, -10, -42, 310, -307, 87, -52, 340, 283, 107, -51, 349, -283, -243, -165, 131, -111, 497, -17, -511, 81, 62, -209, 82, 129, -176, 203, -73, -109, 15, -332, -160, 191, 281, -7, 30, 120, -130, 115, -145, 91, 245, 48, 218, -157, -61, -163, 249, 6, -402, 0, 1016, -273, -276, -42, -104, 165, 46, 52, 76, -428, 598, 37, -197, -166, 294, 91, -325, 193, -186, -225, 242, -104, -101, -53, 233, -4, -171, -171, -72, 71, 157, -93, -193, -112, -365, 241, 418, 185, 36, 108, -36, -131, -296, -428, -73, -17, -78, 78, 46, -275, -264, -197, 188, 50, 368, 50, 37, -29, -715, -185, 167, -362, -110, -131, 636, 397, 501, -122, -38, 29, 423, 102, -310, -276, -356, -151, 352, 218, -293, -72, 490, -218, -274, -9, 131, 103, -431, 170, -564, -19, 330, -187, 545, -25, 163, 46, -131, -249, -306, -141, 129, 240, 158, 104, 204, -285, -53, 81, 253, -391, 177, 49, 86, -53, 108, -31, 340, -27, -306, -1, 649, -305, -434, -502, -288, 215, 23, -168, 132, -485, -241, 80, 442, -89, 94, 178, 110, 99, 83, -258, 247, -153, -654, 42, 182, 4, -109, 30, -391, -144, 554, -45, 1, -318, 523, -239, -95, -6, -221, -36, 66, -44, -99, -281, -49, 274, 173, 258, -378, -285, -255, -100, -62, 27, 401, -29, 19, -447, -158, 18, 573, -23, 94, -69, -25, 93, -179, -210, -324, -378, 309, -69, 129, -254, -227, 177, -158, 460, 59, -82, 343, -488, -477, -78, 116, -295, 337, -14, 13, -182, 292, -132, 254, -63, -875, 94, 80, -178, -582, -272, 564, -171, -480, -77, 104, -192, -283, 95, -140, 51, 56, 219, -66, -148, 137, -209, -70, -318, -305, 59, 187, -368, -375, -107, 179, 402, 951, -10, -76, -313, -124, -111, -316, -242, -339, -6, -298, 14, -410, -355, 745, 54, 8, 149, 351, -335, -735, -115, -337, -102, -265, -3, -173, -462, -255, 217, 604, 187, -176, -77, 282, 212, -654, -231, -127, -307, 143, 45, 343, -308, 313, -152, -230, -155, 118, 118, -327, -154, -522, -65, 111, -262, 260, -122, -39, 256, 2, -8, 285, -464, -205, 184, 330, -470, -165, 0, -42, -72, 266, -189, 28, -277, -435, 118, -210, 105, -18, 96, -409, -279, -2, -291, 252, -202, 200, 8, 470, -110, -628, -154, 219, 126, -448, -126, 57, -262, -242, -153, -1, -205, -128, -59, 102, -32, -366, -193, -265, -115, -516, 215, 838, -519, -745, -90, -531, 348, -338, 52, 96, -468, 74, 112, -12, 24, 507, 158, 91, 46, -151, -526, 277, -209, -211, -77, -666, -113, -186, 138, -170, 150, -103, -2, -435, -379, -195, -9, 32, -296, -22, 1, 434, 137, -198, -315, -296, 9, 81, 201, -408, -469, -349, -202, -379, -126, 792, 48, 444, -431, -309, 88, 846, 7, 68, 90, -411, 22, -358, -192, 115, -6, -45, 108, -84, -298, -110, 8, -465, 201, -390, -137, 480, -763, 360, -214, 446, 90, -761, -158, -549, -368, -107, -134, 15, -299, 21, 281, 585, -261, -328, -147, 140, -81, -128, -93, 12, -227, -290, 64, -14, -42, 410, 86, 55, -22, -690, -243, 342, -77, -411, -30, 256, -324, -577, 26, -112, 253, 307, 162, 91, -557, -1, -87, -10, -327, 299, 49, 297, 122, -147, -363, 54, 142, -509, 126, 292, -89, -371, -228, -446, -109, 224, -187, -84, -289, 51, 205, 830, 35, -326, 37, 162, -46, -736, -234, 118, -369, -219, -16, 232, -447, -17, 72, 767, 304, -262, -12, -75, -369, -258, -141, 271, -206, -40, -88, -160, -268, 84, -137, -90, -364, 555, 200, -450, -154, -338, -106, 381, 305, -159, -38, 353, -178, -633, -22, 10, -27, -50, 146, -125, -111, 370, -398, -99, -479, 118, -69, -274, -190, -379, -207, 283, -463, -342, -25, -40, 51, 103, 82, -272, -386, 299, -11, -516, -79, 178, -314, 339, -207, -139, -50, 650, -273, -856, -401, -70, 184, -742, -1, 67, -716, -223, 67, 443, 38, -145, 158, 333, -201, -682, -169, 762, -248, -241, 69, 560, -172, 65, 166, -633, -16, 163, -125, 97, -348, -793, -76, -644, -284, 213, -153, 864, 156, -280, -272, -210, 281, -552, 44, 110, -281, -257, -83, -183, -54, 253, 6, 56, -786, -84, 54, 891, -15, -212, 16, -90, 0, 820, -306, 89, -546, -240, 49, -159, -380, -529, -4, 38, -158, -106, 122, 365, -495, -41, -146, -344, -125, 540, 63, -691, -113, -562, -215, -26, -164, -533, 261, 286, -292, -316, -264, 208, 195, -225, -148, 86, -100, -180, 80, -27, 36, 559, 90]