/************************************************************/
/* Authors : Gustavo Rama, Gonzalo Tornaria
 * Date    : June 2020
 *
 * Table of (non-lift) orthogonal modular forms of prime level up to 1000
 *
 * Please reference this data as
 *
 *      Gustavo Rama and Gonzalo Tornaría,
 *      Quinary orthogonal modular forms, 2020.
 *      http://www.cmat.edu.uy/cnt/
 *
 * and its companion paper
 *
 *      Gustavo Rama and Gonzalo Tornaría,
 *      Computation of paramodular forms,
 *      ANTS 2020. 
 *
 * The format for each entry is
 *
 *      [level, class, dimension, root_numbers, ap_values, ap2_values]
 *
 */


{forms_prime=[
[61, "a", 1, [[61, -1]], [[2, -7], [3, -3], [5, 3], [7, -9], [11, -4], [13, -3]], [[2, 7], [3, -9], [5, -9]]],
[73, "a", 1, [[73, -1]], [[2, -6], [3, -2], [5, 0], [7, 7], [11, -66], [13, 16]], [[2, 6], [3, -9], [5, 0]]],
[79, "a", 1, [[79, -1]], [[2, -5], [3, -5], [5, 3], [7, 15], [11, 26], [13, -15]], [[2, 2], [3, 4], [5, -10]]],
[89, "a", 1, [[89, -1]], [[2, -4], [3, -6], [5, 16], [7, -17], [11, -2], [13, -46]], [[2, 2], [3, -6], [5, 27]]],
[97, "a", 2, [[97, -1]], [[2, -9], [3, -4], [5, -4], [7, 16], [11, -64], [13, 24]], [[2, 6], [3, -14], [5, 4]]],
[101, "a", 2, [[101, -1]], [[2, -7], [3, -11], [5, 22], [7, -32], [11, 46], [13, -54]], [[2, 2], [3, 0], [5, -21]]],
[103, "a", 2, [[103, -1]], [[2, -9], [3, -2], [5, -15], [7, 26], [11, -9], [13, 29]], [[2, 5], [3, -10], [5, -30]]],
[109, "a", 3, [[109, -1]], [[2, -10], [3, -15], [5, -7], [7, 37], [11, 27], [13, 20]], [[2, -3], [3, 7], [5, -20]]],
[113, "a", 1, [[113, -1]], [[2, -3], [3, -4], [5, 8], [7, 4], [11, -4], [13, -40]], [[2, 2], [3, -4], [5, -4]]],
[127, "a", 3, [[127, -1]], [[2, -9], [3, -9], [5, -12], [7, 45], [11, 18], [13, 69]], [[2, 0], [3, 6], [5, -12]]],
[131, "a", 2, [[131, -1]], [[2, -6], [3, -4], [5, 8], [7, -10], [11, 64], [13, -84]], [[2, 4], [3, -8], [5, -4]]],
[137, "a", 2, [[137, -1]], [[2, -4], [3, -10], [5, 12], [7, 0], [11, 16], [13, -8]], [[2, 0], [3, 8], [5, 12]]],
[139, "a", 4, [[139, -1]], [[2, -14], [3, -4], [5, -22], [7, 14], [11, -6], [13, 76]], [[2, 4], [3, -10], [5, -26]]],
[149, "a", 4, [[149, -1]], [[2, -6], [3, -23], [5, 16], [7, -17], [11, 77], [13, -9]], [[2, -6], [3, 12], [5, -15]]],
[151, "a", 5, [[151, -1]], [[2, -12], [3, -17], [5, -33], [7, 57], [11, 81], [13, 75]], [[2, -9], [3, 12], [5, -28]]],
[157, "a", 2, [[157, -1]], [[2, -6], [3, 2], [5, -14], [7, 8], [11, -36], [13, 46]], [[2, 2], [3, -22], [5, -12]]],
[157, "b", 5, [[157, -1]], [[2, -15], [3, -12], [5, 0], [7, -11], [11, 9], [13, 217]], [[2, 3], [3, 16], [5, -78]]],
[163, "a", 4, [[163, -1]], [[2, -10], [3, -4], [5, -16], [7, 38], [11, 4], [13, 84]], [[2, 2], [3, -8], [5, -12]]],
[167, "a", 1, [[167, 1]], [[2, -8], [3, -10], [5, -4], [7, -14], [11, -22], [13, -4]], [[2, 10], [3, 11], [5, -44]]],
[167, "b", 1, [[167, -1]], [[2, -2], [3, 0], [5, -2], [7, 2], [11, -14], [13, -34]], [[2, 2], [3, -17], [5, 16]]],
[167, "c", 2, [[167, -1]], [[2, -3], [3, -9], [5, 2], [7, 3], [11, 92], [13, -41]], [[2, -3], [3, 12], [5, -28]]],
[173, "a", 1, [[173, 1]], [[2, -8], [3, -9], [5, -10], [7, -4], [11, -4], [13, -72]], [[2, 10], [3, 7], [5, -3]]],
[173, "b", 1, [[173, -1]], [[2, -2], [3, -1], [5, 0], [7, -16], [11, -24], [13, 2]], [[2, 0], [3, -23], [5, -9]]],
[173, "c", 4, [[173, -1]], [[2, -7], [3, -15], [5, 14], [7, -27], [11, 92], [13, 43]], [[2, -2], [3, 22], [5, -90]]],
[179, "a", 4, [[179, -1]], [[2, -6], [3, -10], [5, -6], [7, 2], [11, 134], [13, -134]], [[2, -2], [3, -8], [5, -32]]],
[181, "a", 10, [[181, -1]], [[2, -27], [3, -16], [5, -14], [7, -38], [11, 59], [13, 249]], [[2, 0], [3, -24], [5, -91]]],
[191, "a", 2, [[191, -1]], [[2, -3], [3, -6], [5, -7], [7, -23], [11, 93], [13, -19]], [[2, -5], [3, 12], [5, -10]]],
[191, "b", 4, [[191, -1]], [[2, -6], [3, -10], [5, 8], [7, 10], [11, 126], [13, -136]], [[2, 2], [3, -12], [5, -52]]],
[193, "a", 10, [[193, -1]], [[2, -15], [3, -26], [5, -38], [7, 56], [11, -78], [13, 200]], [[2, -11], [3, -2], [5, 26]]],
[197, "a", 1, [[197, 1]], [[2, -7], [3, -10], [5, -8], [7, 5], [11, 2], [13, -66]], [[2, 7], [3, 14], [5, -2]]],
[197, "b", 1, [[197, -1]], [[2, 1], [3, -8], [5, 9], [7, 23], [11, -12], [13, -38]], [[2, 1], [3, 6], [5, -24]]],
[197, "c", 2, [[197, -1]], [[2, -4], [3, -4], [5, 0], [7, -20], [11, 78], [13, -10]], [[2, -4], [3, -6], [5, -42]]],
[197, "d", 3, [[197, -1]], [[2, -2], [3, -13], [5, 0], [7, -19], [11, 25], [13, 101]], [[2, -5], [3, 14], [5, -6]]],
[199, "a", 10, [[199, -1]], [[2, -27], [3, -8], [5, -43], [7, 41], [11, 33], [13, 170]], [[2, 1], [3, -22], [5, -120]]],
[211, "a", 10, [[211, -1]], [[2, -18], [3, -16], [5, -48], [7, 38], [11, 24], [13, 118]], [[2, -12], [3, -8], [5, 16]]],
[223, "a", 1, [[223, 1]], [[2, -6], [3, -11], [5, 6], [7, -28], [11, 8], [13, -42]], [[2, 6], [3, 13], [5, -33]]],
[223, "b", 1, [[223, -1]], [[2, -2], [3, 1], [5, -8], [7, -6], [11, -30], [13, 36]], [[2, -2], [3, -17], [5, 5]]],
[223, "c", 10, [[223, -1]], [[2, -22], [3, -4], [5, -47], [7, 72], [11, 40], [13, 175]], [[2, 2], [3, -6], [5, -74]]],
[227, "a", 2, [[227, 1]], [[2, -13], [3, -18], [5, -14], [7, -22], [11, -56], [13, -15]], [[2, 13], [3, 12], [5, 16]]],
[227, "b", 6, [[227, -1]], [[2, -7], [3, -8], [5, -6], [7, -14], [11, 92], [13, -85]], [[2, -3], [3, -12], [5, -46]]],
[229, "a", 1, [[229, -1]], [[2, -2], [3, -1], [5, -9], [7, -2], [11, -13], [13, 24]], [[2, -5], [3, -12], [5, -18]]],
[229, "b", 1, [[229, -1]], [[2, 0], [3, -5], [5, 17], [7, -40], [11, 57], [13, 10]], [[2, -1], [3, -4], [5, 30]]],
[229, "c", 14, [[229, -1]], [[2, -33], [3, -18], [5, -17], [7, 7], [11, -64], [13, 316]], [[2, 2], [3, -20], [5, -136]]],
[233, "a", 1, [[233, 1]], [[2, -6], [3, -10], [5, -7], [7, 4], [11, -22], [13, -40]], [[2, 5], [3, 10], [5, 22]]],
[233, "b", 1, [[233, -1]], [[2, 0], [3, -2], [5, 8], [7, -6], [11, -38], [13, 32]], [[2, 2], [3, -14], [5, -6]]],
[233, "c", 4, [[233, -1]], [[2, -4], [3, -12], [5, -4], [7, -28], [11, 24], [13, -96]], [[2, -8], [3, 0], [5, 0]]],
[233, "d", 5, [[233, -1]], [[2, -2], [3, -16], [5, -9], [7, -10], [11, 72], [13, 76]], [[2, -6], [3, 14], [5, -18]]],
[239, "a", 1, [[239, 1]], [[2, -6], [3, -9], [5, -8], [7, 10], [11, -49], [13, 7]], [[2, 6], [3, 13], [5, -13]]],
[239, "b", 10, [[239, -1]], [[2, -5], [3, -30], [5, -14], [7, -9], [11, 266], [13, -164]], [[2, -14], [3, 1], [5, -75]]],
[241, "a", 18, [[241, -1]], [[2, -31], [3, -32], [5, -38], [7, -14], [11, -146], [13, 302]], [[2, -14], [3, -54], [5, -88]]],
[251, "a", 1, [[251, 1]], [[2, -6], [3, -8], [5, -11], [7, 6], [11, -63], [13, 2]], [[2, 6], [3, 3], [5, -15]]],
[251, "b", 1, [[251, -1]], [[2, -2], [3, -2], [5, 9], [7, -20], [11, 39], [13, 18]], [[2, -4], [3, 3], [5, 17]]],
[251, "c", 10, [[251, -1]], [[2, -14], [3, -4], [5, -4], [7, -36], [11, 222], [13, -202]], [[2, 6], [3, -28], [5, -62]]],
[257, "a", 1, [[257, -1]], [[2, -1], [3, 0], [5, -4], [7, -8], [11, 24], [13, 12]], [[2, -2], [3, -8], [5, -52]]],
[257, "b", 2, [[257, 1]], [[2, -13], [3, -13], [5, -26], [7, -16], [11, -9], [13, -51]], [[2, 14], [3, 0], [5, 18]]],
[257, "c", 12, [[257, -1]], [[2, -13], [3, -23], [5, 24], [7, -82], [11, 1], [13, -23]], [[2, -5], [3, -28], [5, -6]]],
[263, "a", 2, [[263, 1]], [[2, -11], [3, -20], [5, -15], [7, -3], [11, -10], [13, -23]], [[2, 7], [3, 26], [5, -2]]],
[263, "b", 11, [[263, -1]], [[2, -7], [3, -25], [5, -8], [7, -10], [11, 206], [13, -78]], [[2, -10], [3, 6], [5, -14]]],
[269, "a", 1, [[269, 1]], [[2, -7], [3, -4], [5, -20], [7, -4], [11, 4], [13, 49]], [[2, 8], [3, 0], [5, 23]]],
[269, "b", 1, [[269, 1]], [[2, -5], [3, -10], [5, -8], [7, 20], [11, -60], [13, -75]], [[2, 4], [3, 12], [5, -25]]],
[269, "c", 1, [[269, -1]], [[2, -1], [3, 2], [5, -1], [7, 8], [11, 21], [13, 30]], [[2, 1], [3, 6], [5, -10]]],
[269, "d", 15, [[269, -1]], [[2, -20], [3, -28], [5, 67], [7, -145], [11, 114], [13, 14]], [[2, -3], [3, -52], [5, -77]]],
[271, "a", 1, [[271, 1]], [[2, -5], [3, -10], [5, 2], [7, -10], [11, -27], [13, -25]], [[2, 5], [3, 13], [5, -25]]],
[271, "b", 19, [[271, -1]], [[2, -35], [3, -19], [5, -70], [7, 81], [11, -20], [13, 245]], [[2, -13], [3, -25], [5, -83]]],
[277, "a", 1, [[277, 1]], [[2, -5], [3, -10], [5, -1], [7, -10], [11, 38], [13, -94]], [[2, 4], [3, 13], [5, 0]]],
[277, "b", 22, [[277, -1]], [[2, -25], [3, -35], [5, -44], [7, 48], [11, -104], [13, 438]], [[2, -19], [3, -7], [5, -56]]],
[281, "a", 1, [[281, 1]], [[2, -6], [3, -6], [5, -16], [7, 6], [11, -26], [13, 14]], [[2, 6], [3, 2], [5, 29]]],
[281, "b", 18, [[281, -1]], [[2, -4], [3, -50], [5, 8], [7, -116], [11, 142], [13, -96]], [[2, -23], [3, -20], [5, -42]]],
[283, "a", 1, [[283, 1]], [[2, -6], [3, -6], [5, -6], [7, -29], [11, 15], [13, -47]], [[2, 7], [3, -4], [5, -24]]],
[283, "b", 1, [[283, 1]], [[2, -4], [3, -14], [5, 8], [7, -17], [11, -15], [13, -33]], [[2, 1], [3, 22], [5, 8]]],
[283, "c", 1, [[283, -1]], [[2, -2], [3, -2], [5, 6], [7, -7], [11, -11], [13, 33]], [[2, -5], [3, 0], [5, -24]]],
[283, "d", 17, [[283, -1]], [[2, -26], [3, 2], [5, -74], [7, 85], [11, -95], [13, 213]], [[2, 1], [3, -36], [5, -82]]],
[293, "a", 4, [[293, 1]], [[2, -24], [3, -27], [5, -57], [7, -14], [11, -7], [13, -94]], [[2, 21], [3, 13], [5, 36]]],
[293, "b", 17, [[293, -1]], [[2, -13], [3, -36], [5, 49], [7, -117], [11, 37], [13, 99]], [[2, -14], [3, -11], [5, -80]]],
[307, "a", 3, [[307, 1]], [[2, -14], [3, -29], [5, 0], [7, -60], [11, -30], [13, -87]], [[2, 11], [3, 27], [5, -39]]],
[307, "b", 21, [[307, -1]], [[2, -28], [3, 1], [5, -84], [7, 60], [11, -92], [13, 319]], [[2, -13], [3, -41], [5, -43]]],
[311, "a", 3, [[311, 1]], [[2, -16], [3, -21], [5, -28], [7, -12], [11, -78], [13, 49]], [[2, 15], [3, 18], [5, 8]]],
[311, "b", 19, [[311, -1]], [[2, -21], [3, -11], [5, 13], [7, -82], [11, 340], [13, -225]], [[2, -6], [3, -38], [5, -132]]],
[313, "a", 1, [[313, 1]], [[2, -5], [3, -8], [5, -4], [7, -21], [11, 42], [13, -48]], [[2, 4], [3, 3], [5, 4]]],
[313, "b", 29, [[313, -1]], [[2, -37], [3, -16], [5, -54], [7, 31], [11, -264], [13, 410]], [[2, -7], [3, -71], [5, -142]]],
[317, "a", 1, [[317, 1]], [[2, -4], [3, -12], [5, -4], [7, -1], [11, 29], [13, -16]], [[2, 0], [3, 19], [5, 1]]],
[317, "b", 1, [[317, -1]], [[2, 0], [3, 2], [5, 4], [7, -21], [11, 5], [13, 46]], [[2, 2], [3, -15], [5, -13]]],
[317, "c", 2, [[317, -1]], [[2, 0], [3, -8], [5, 8], [7, -36], [11, -68], [13, 14]], [[2, -8], [3, -12], [5, 16]]],
[317, "d", 3, [[317, 1]], [[2, -18], [3, -15], [5, -48], [7, 0], [11, -9], [13, -72]], [[2, 18], [3, 3], [5, 18]]],
[317, "e", 16, [[317, -1]], [[2, -8], [3, -29], [5, 15], [7, -18], [11, 224], [13, -41]], [[2, -11], [3, 15], [5, -88]]],
[331, "a", 1, [[331, 1]], [[2, -4], [3, -10], [5, 1], [7, -10], [11, -20], [13, 12]], [[2, 3], [3, 12], [5, -2]]],
[331, "b", 1, [[331, -1]], [[2, -2], [3, 6], [5, -13], [7, 4], [11, -6], [13, 100]], [[2, -1], [3, 4], [5, 6]]],
[331, "c", 26, [[331, -1]], [[2, -26], [3, -22], [5, -94], [7, 62], [11, 120], [13, -4]], [[2, -28], [3, -54], [5, 2]]],
[337, "a", 1, [[337, 1]], [[2, -4], [3, -10], [5, -3], [7, -7], [11, 31], [13, -71]], [[2, 2], [3, 11], [5, 3]]],
[337, "b", 34, [[337, -1]], [[2, -23], [3, -34], [5, -93], [7, 67], [11, -251], [13, 493]], [[2, -30], [3, -43], [5, -7]]],
[347, "a", 5, [[347, 1]], [[2, -22], [3, -44], [5, -40], [7, -15], [11, -82], [13, -25]], [[2, 12], [3, 46], [5, 42]]],
[347, "b", 19, [[347, -1]], [[2, -4], [3, -20], [5, -28], [7, -27], [11, 228], [13, -145]], [[2, -18], [3, -30], [5, -36]]],
[349, "a", 1, [[349, -1]], [[2, -4], [3, 7], [5, -13], [7, 16], [11, 11], [13, -32]], [[2, -1], [3, 1], [5, 13]]],
[349, "b", 2, [[349, 1]], [[2, -9], [3, -15], [5, -12], [7, -17], [11, 6], [13, -86]], [[2, 8], [3, 13], [5, -8]]],
[349, "c", 36, [[349, -1]], [[2, -46], [3, -55], [5, 3], [7, -46], [11, -219], [13, 547]], [[2, -26], [3, -58], [5, -207]]],
[353, "a", 1, [[353, -1]], [[2, -1], [3, 2], [5, -2], [7, 0], [11, 8], [13, 2]], [[2, -2], [3, 0], [5, -40]]],
[353, "b", 5, [[353, 1]], [[2, -27], [3, -30], [5, -56], [7, -44], [11, -18], [13, -82]], [[2, 24], [3, 13], [5, 8]]],
[353, "c", 25, [[353, -1]], [[2, -13], [3, -34], [5, 54], [7, -138], [11, -2], [13, -40]], [[2, -13], [3, -67], [5, -62]]],
[359, "a", 1, [[359, -1]], [[2, 1], [3, -2], [5, 7], [7, -3], [11, -14], [13, 44]], [[2, 0], [3, 0], [5, -18]]],
[359, "b", 4, [[359, 1]], [[2, -19], [3, -28], [5, -41], [7, 0], [11, -115], [13, 51]], [[2, 15], [3, 27], [5, 36]]],
[359, "c", 25, [[359, -1]], [[2, -4], [3, -37], [5, -26], [7, -60], [11, 484], [13, -328]], [[2, -23], [3, -9], [5, -86]]],
[367, "a", 2, [[367, 1]], [[2, -11], [3, -10], [5, -14], [7, -56], [11, 68], [13, -88]], [[2, 10], [3, -2], [5, -14]]],
[367, "b", 2, [[367, 1]], [[2, -6], [3, -25], [5, 6], [7, -31], [11, -2], [13, 2]], [[2, 0], [3, 33], [5, -34]]],
[367, "c", 33, [[367, -1]], [[2, -45], [3, 9], [5, -84], [7, 174], [11, -76], [13, 343]], [[2, -5], [3, -57], [5, -194]]],
[373, "a", 3, [[373, 1]], [[2, -13], [3, -23], [5, -17], [7, -39], [11, 72], [13, -166]], [[2, 9], [3, 17], [5, 28]]],
[373, "b", 41, [[373, -1]], [[2, -27], [3, -40], [5, -79], [7, 58], [11, -215], [13, 706]], [[2, -39], [3, -19], [5, -148]]],
[379, "a", 1, [[379, 1]], [[2, -5], [3, -5], [5, -5], [7, -25], [11, -1], [13, 40]], [[2, 5], [3, 2], [5, -5]]],
[379, "b", 1, [[379, 1]], [[2, -3], [3, -11], [5, -3], [7, 3], [11, -21], [13, -52]], [[2, 1], [3, 12], [5, -13]]],
[379, "c", 36, [[379, -1]], [[2, -30], [3, -8], [5, -130], [7, 84], [11, 142], [13, 192]], [[2, -34], [3, -52], [5, -48]]],
[383, "a", 8, [[383, 1]], [[2, -40], [3, -54], [5, -66], [7, -106], [11, -34], [13, 44]], [[2, 30], [3, 36], [5, -44]]],
[383, "b", 26, [[383, -1]], [[2, -14], [3, -10], [5, 7], [7, -47], [11, 274], [13, -246]], [[2, -16], [3, -44], [5, -114]]],
[389, "a", 4, [[389, 1]], [[2, -18], [3, -25], [5, -63], [7, 33], [11, -61], [13, -1]], [[2, 11], [3, 20], [5, 63]]],
[389, "b", 36, [[389, -1]], [[2, -14], [3, -55], [5, 96], [7, -172], [11, 276], [13, -172]], [[2, -17], [3, -50], [5, -113]]],
[397, "a", 5, [[397, 1]], [[2, -22], [3, -34], [5, -32], [7, -78], [11, 121], [13, -252]], [[2, 17], [3, 20], [5, -31]]],
[397, "b", 44, [[397, -1]], [[2, -47], [3, -16], [5, -22], [7, 25], [11, -213], [13, 700]], [[2, -20], [3, -66], [5, -199]]],
[401, "a", 4, [[401, 1]], [[2, -19], [3, -22], [5, -46], [7, -6], [11, -75], [13, 36]], [[2, 16], [3, 16], [5, 42]]],
[401, "b", 38, [[401, -1]], [[2, -2], [3, -48], [5, 38], [7, -184], [11, 257], [13, -216]], [[2, -27], [3, -84], [5, -86]]],
[409, "a", 2, [[409, 1]], [[2, -8], [3, -14], [5, -14], [7, -20], [11, 14], [13, -48]], [[2, 6], [3, 14], [5, 6]]],
[409, "b", 52, [[409, -1]], [[2, -50], [3, -50], [5, -50], [7, -14], [11, -360], [13, 436]], [[2, -41], [3, -126], [5, -156]]],
[419, "a", 1, [[419, 1]], [[2, -5], [3, -5], [5, -9], [7, -15], [11, -18], [13, 85]], [[2, 3], [3, 3], [5, 15]]],
[419, "b", 6, [[419, 1]], [[2, -24], [3, -41], [5, -65], [7, -5], [11, -174], [13, -39]], [[2, 17], [3, 25], [5, 35]]],
[419, "c", 35, [[419, -1]], [[2, -21], [3, 8], [5, 4], [7, -136], [11, 498], [13, -354]], [[2, -12], [3, -60], [5, -174]]],
[421, "a", 1, [[421, 1]], [[2, -4], [3, -7], [5, -6], [7, -12], [11, 31], [13, 3]], [[2, 2], [3, 9], [5, 14]]],
[421, "b", 1, [[421, 1]], [[2, -4], [3, -5], [5, -12], [7, -4], [11, 1], [13, -43]], [[2, 4], [3, -3], [5, -2]]],
[421, "c", 2, [[421, -1]], [[2, -2], [3, 4], [5, -17], [7, 53], [11, -30], [13, -68]], [[2, -2], [3, -12], [5, 49]]],
[421, "d", 52, [[421, -1]], [[2, -40], [3, -58], [5, -27], [7, -30], [11, 24], [13, 489]], [[2, -44], [3, -58], [5, -241]]],
[431, "a", 1, [[431, 1]], [[2, -5], [3, -5], [5, -13], [7, -10], [11, -39], [13, 60]], [[2, 2], [3, -4], [5, -10]]],
[431, "b", 1, [[431, 1]], [[2, -5], [3, -5], [5, -7], [7, -15], [11, 11], [13, 45]], [[2, 3], [3, 9], [5, -30]]],
[431, "c", 1, [[431, -1]], [[2, -1], [3, 1], [5, -5], [7, -18], [11, 19], [13, -12]], [[2, -6], [3, -12], [5, 6]]],
[431, "d", 6, [[431, 1]], [[2, -25], [3, -40], [5, -56], [7, -12], [11, -160], [13, 31]], [[2, 21], [3, 44], [5, 103]]],
[431, "e", 37, [[431, -1]], [[2, 5], [3, -40], [5, -24], [7, -43], [11, 485], [13, -369]], [[2, -29], [3, -35], [5, -149]]],
[433, "a", 1, [[433, -1]], [[2, -1], [3, -2], [5, 2], [7, 11], [11, -16], [13, -3]], [[2, -6], [3, 0], [5, -48]]],
[433, "b", 4, [[433, 1]], [[2, -15], [3, -29], [5, -29], [7, -53], [11, 83], [13, -171]], [[2, 8], [3, 16], [5, 3]]],
[433, "c", 55, [[433, -1]], [[2, -43], [3, -3], [5, -83], [7, 6], [11, -399], [13, 746]], [[2, -20], [3, -120], [5, -157]]],
[439, "a", 6, [[439, 1]], [[2, -23], [3, -42], [5, -30], [7, -85], [11, -24], [13, -35]], [[2, 17], [3, 35], [5, -48]]],
[439, "b", 51, [[439, -1]], [[2, -56], [3, -17], [5, -127], [7, 183], [11, -128], [13, 318]], [[2, -43], [3, -73], [5, -240]]],
[443, "a", 9, [[443, 1]], [[2, -35], [3, -64], [5, -82], [7, -43], [11, -128], [13, -52]], [[2, 19], [3, 48], [5, 44]]],
[443, "b", 35, [[443, -1]], [[2, -5], [3, -6], [5, -28], [7, -81], [11, 390], [13, -232]], [[2, -27], [3, -52], [5, -96]]],
[449, "a", 3, [[449, 1]], [[2, -14], [3, -10], [5, -52], [7, -1], [11, -58], [13, -24]], [[2, 12], [3, -6], [5, 70]]],
[449, "b", 3, [[449, 1]], [[2, -11], [3, -23], [5, -23], [7, -2], [11, -34], [13, 30]], [[2, 5], [3, 27], [5, 12]]],
[449, "c", 48, [[449, -1]], [[2, -2], [3, -51], [5, 61], [7, -221], [11, 256], [13, -302]], [[2, -32], [3, -111], [5, -62]]],
[457, "a", 4, [[457, 1]], [[2, -15], [3, -28], [5, -18], [7, -56], [11, 61], [13, -125]], [[2, 10], [3, 21], [5, 14]]],
[457, "b", 62, [[457, -1]], [[2, -21], [3, -46], [5, -98], [7, 146], [11, -471], [13, 655]], [[2, -46], [3, -79], [5, -138]]],
[461, "a", 1, [[461, -1]], [[2, 0], [3, 3], [5, -5], [7, 12], [11, 8], [13, -53]], [[2, -1], [3, 0], [5, 3]]],
[461, "b", 2, [[461, -1]], [[2, -4], [3, 5], [5, -12], [7, 18], [11, 125], [13, -70]], [[2, 2], [3, -2], [5, 42]]],
[461, "c", 10, [[461, 1]], [[2, -43], [3, -56], [5, -134], [7, 9], [11, -183], [13, -86]], [[2, 29], [3, 38], [5, 83]]],
[461, "d", 47, [[461, -1]], [[2, -18], [3, -77], [5, 199], [7, -267], [11, -21], [13, 46]], [[2, -30], [3, -88], [5, -196]]],
[463, "a", 1, [[463, 1]], [[2, -2], [3, -12], [5, -7], [7, 1], [11, 22], [13, -47]], [[2, -2], [3, 17], [5, -13]]],
[463, "b", 2, [[463, 1]], [[2, -8], [3, -16], [5, 10], [7, -50], [11, -16], [13, -70]], [[2, 8], [3, 22], [5, -14]]],
[463, "c", 2, [[463, 1]], [[2, -8], [3, -15], [5, -1], [7, -70], [11, 30], [13, 65]], [[2, 1], [3, 3], [5, 7]]],
[463, "d", 2, [[463, 1]], [[2, -8], [3, -8], [5, -22], [7, -16], [11, 28], [13, 8]], [[2, 8], [3, 4], [5, -8]]],
[463, "e", 53, [[463, -1]], [[2, -33], [3, -13], [5, -122], [7, 317], [11, -49], [13, 263]], [[2, -34], [3, -70], [5, -218]]],
[467, "a", 12, [[467, 1]], [[2, -48], [3, -82], [5, -111], [7, -102], [11, -186], [13, -49]], [[2, 27], [3, 44], [5, 28]]],
[467, "b", 40, [[467, -1]], [[2, -18], [3, 16], [5, 13], [7, -118], [11, 352], [13, -251]], [[2, -19], [3, -72], [5, -176]]],
[479, "a", 2, [[479, 1]], [[2, -7], [3, -14], [5, -18], [7, -17], [11, -12], [13, 27]], [[2, 2], [3, 6], [5, 6]]],
[479, "b", 10, [[479, 1]], [[2, -43], [3, -56], [5, -98], [7, -59], [11, -296], [13, 130]], [[2, 33], [3, 46], [5, 35]]],
[479, "c", 48, [[479, -1]], [[2, -14], [3, -23], [5, 44], [7, -100], [11, 499], [13, -442]], [[2, -29], [3, -64], [5, -181]]],
[487, "a", 9, [[487, 1]], [[2, -33], [3, -64], [5, -32], [7, -166], [11, 76], [13, -119]], [[2, 18], [3, 57], [5, -65]]],
[487, "b", 58, [[487, -1]], [[2, -31], [3, -2], [5, -137], [7, 323], [11, -17], [13, 309]], [[2, -41], [3, -89], [5, -191]]],
[491, "a", 1, [[491, 1]], [[2, -4], [3, -7], [5, -12], [7, -2], [11, -35], [13, 73]], [[2, -1], [3, 4], [5, 8]]],
[491, "b", 1, [[491, 1]], [[2, -4], [3, -4], [5, -18], [7, -2], [11, -59], [13, 40]], [[2, 2], [3, -11], [5, 26]]],
[491, "c", 1, [[491, -1]], [[2, 0], [3, -1], [5, 4], [7, -18], [11, 7], [13, 25]], [[2, -5], [3, -4], [5, 8]]],
[491, "d", 1, [[491, -1]], [[2, 0], [3, 5], [5, -12], [7, -20], [11, 55], [13, 55]], [[2, -3], [3, 4], [5, 0]]],
[491, "e", 3, [[491, 1]], [[2, -11], [3, -19], [5, -40], [7, 11], [11, -91], [13, -8]], [[2, 5], [3, 15], [5, 13]]],
[491, "f", 5, [[491, 1]], [[2, -15], [3, -39], [5, -32], [7, -8], [11, -103], [13, -44]], [[2, 11], [3, 52], [5, 1]]],
[491, "g", 48, [[491, -1]], [[2, 2], [3, -27], [5, -20], [7, -85], [11, 580], [13, -629]], [[2, -25], [3, -72], [5, -54]]],
[499, "a", 2, [[499, 1]], [[2, -4], [3, -20], [5, -10], [7, 0], [11, 10], [13, -22]], [[2, 0], [3, 26], [5, -22]]],
[499, "b", 4, [[499, 1]], [[2, -15], [3, -23], [5, -22], [7, -72], [11, -59], [13, 36]], [[2, 10], [3, 11], [5, 16]]],
[499, "c", 64, [[499, -1]], [[2, -37], [3, -3], [5, -150], [7, 160], [11, 161], [13, 98]], [[2, -50], [3, -95], [5, -146]]],
[503, "a", 1, [[503, 1]], [[2, -8], [3, -2], [5, 4], [7, -40], [11, -100], [13, 30]], [[2, 10], [3, -11], [5, -4]]],
[503, "b", 1, [[503, 1]], [[2, -4], [3, -3], [5, -13], [7, -1], [11, -41], [13, 78]], [[2, 4], [3, 3], [5, -16]]],
[503, "c", 1, [[503, 1]], [[2, -3], [3, -7], [5, -16], [7, 15], [11, -55], [13, 45]], [[2, 0], [3, 4], [5, 36]]],
[503, "d", 1, [[503, -1]], [[2, 1], [3, 1], [5, 4], [7, -7], [11, -23], [13, -33]], [[2, 0], [3, -12], [5, -36]]],
[503, "e", 4, [[503, 1]], [[2, -15], [3, -38], [5, -18], [7, -41], [11, 2], [13, -75]], [[2, 12], [3, 49], [5, 1]]],
[503, "f", 9, [[503, 1]], [[2, -36], [3, -54], [5, -84], [7, -132], [11, 52], [13, -67]], [[2, 10], [3, 23], [5, 4]]],
[503, "g", 48, [[503, -1]], [[2, -14], [3, -10], [5, 32], [7, -30], [11, 339], [13, -339]], [[2, -28], [3, -52], [5, -121]]],
[509, "a", 2, [[509, 1]], [[2, -8], [3, -12], [5, -20], [7, -12], [11, -48], [13, 46]], [[2, 2], [3, 8], [5, -34]]],
[509, "b", 2, [[509, 1]], [[2, -8], [3, -4], [5, -46], [7, 20], [11, -2], [13, 18]], [[2, 8], [3, 2], [5, 96]]],
[509, "c", 9, [[509, 1]], [[2, -38], [3, -48], [5, -102], [7, -21], [11, -143], [13, -167]], [[2, 28], [3, 24], [5, 35]]],
[509, "d", 61, [[509, -1]], [[2, -23], [3, -52], [5, 194], [7, -268], [11, 230], [13, -98]], [[2, -36], [3, -120], [5, -241]]],
[521, "a", 1, [[521, 1]], [[2, -3], [3, -7], [5, -17], [7, 3], [11, -20], [13, 14]], [[2, -1], [3, -3], [5, 20]]],
[521, "b", 10, [[521, 1]], [[2, -41], [3, -46], [5, -111], [7, -54], [11, -164], [13, 47]], [[2, 32], [3, 24], [5, 70]]],
[521, "c", 67, [[521, -1]], [[2, -18], [3, -29], [5, 140], [7, -355], [11, 192], [13, -243]], [[2, -36], [3, -143], [5, -208]]],
[523, "a", 1, [[523, 1]], [[2, -1], [3, -12], [5, -10], [7, 20], [11, -10], [13, -41]], [[2, -1], [3, 18], [5, 6]]],
[523, "b", 1, [[523, -1]], [[2, 3], [3, -2], [5, 0], [7, -26], [11, 78], [13, 21]], [[2, 1], [3, -6], [5, 12]]],
[523, "c", 12, [[523, 1]], [[2, -41], [3, -87], [5, -40], [7, -253], [11, -24], [13, -191]], [[2, 21], [3, 56], [5, -29]]],
[523, "d", 66, [[523, -1]], [[2, -43], [3, 41], [5, -154], [7, 219], [11, -342], [13, 627]], [[2, -41], [3, -114], [5, -271]]],
[541, "a", 7, [[541, 1]], [[2, -23], [3, -43], [5, -49], [7, -69], [11, 21], [13, -144]], [[2, 14], [3, 38], [5, 6]]],
[541, "b", 87, [[541, -1]], [[2, -47], [3, -78], [5, -15], [7, 103], [11, -144], [13, 670]], [[2, -70], [3, -100], [5, -156]]],
[547, "a", 1, [[547, 1]], [[2, -5], [3, -5], [5, 3], [7, -39], [11, -8], [13, 5]], [[2, 2], [3, -3], [5, -20]]],
[547, "b", 1, [[547, 1]], [[2, -3], [3, -5], [5, -13], [7, 9], [11, -24], [13, -3]], [[2, 2], [3, 5], [5, 28]]],
[547, "c", 1, [[547, -1]], [[2, -2], [3, 1], [5, 1], [7, 33], [11, -50], [13, -15]], [[2, -3], [3, -9], [5, -42]]],
[547, "d", 1, [[547, -1]], [[2, 1], [3, 2], [5, 4], [7, -12], [11, -13], [13, 13]], [[2, 0], [3, -8], [5, -12]]],
[547, "e", 11, [[547, 1]], [[2, -32], [3, -83], [5, -49], [7, -176], [11, 4], [13, -181]], [[2, 15], [3, 69], [5, 27]]],
[547, "f", 71, [[547, -1]], [[2, -21], [3, 14], [5, -176], [7, 237], [11, -129], [13, 383]], [[2, -60], [3, -80], [5, -115]]],
[557, "a", 1, [[557, 1]], [[2, -2], [3, -8], [5, 3], [7, -26], [11, 68], [13, -94]], [[2, 2], [3, 6], [5, 1]]],
[557, "b", 17, [[557, 1]], [[2, -71], [3, -89], [5, -207], [7, -37], [11, -227], [13, -135]], [[2, 38], [3, 53], [5, 170]]],
[557, "c", 69, [[557, -1]], [[2, 17], [3, -74], [5, 131], [7, -152], [11, 170], [13, -64]], [[2, -53], [3, -57], [5, -189]]],
[563, "a", 3, [[563, -1]], [[2, 2], [3, 1], [5, -16], [7, -37], [11, 6], [13, 20]], [[2, -13], [3, -12], [5, -48]]],
[563, "b", 21, [[563, 1]], [[2, -78], [3, -132], [5, -187], [7, -199], [11, -377], [13, -15]], [[2, 39], [3, 71], [5, 72]]],
[563, "c", 58, [[563, -1]], [[2, -4], [3, 17], [5, 23], [7, -74], [11, 341], [13, -397]], [[2, -28], [3, -85], [5, -104]]],
[569, "a", 12, [[569, 1]], [[2, -45], [3, -61], [5, -143], [7, -10], [11, -212], [13, 64]], [[2, 26], [3, 42], [5, 126]]],
[569, "b", 82, [[569, -1]], [[2, 17], [3, -71], [5, 109], [7, -326], [11, 292], [13, -460]], [[2, -54], [3, -144], [5, -64]]],
[571, "a", 10, [[571, 1]], [[2, -27], [3, -71], [5, -53], [7, -112], [11, -98], [13, -62]], [[2, 13], [3, 66], [5, -13]]],
[571, "b", 86, [[571, -1]], [[2, -35], [3, -1], [5, -179], [7, 228], [11, 72], [13, 256]], [[2, -67], [3, -104], [5, -211]]],
[577, "a", 1, [[577, 1]], [[2, -3], [3, -9], [5, -3], [7, -25], [11, 44], [13, -28]], [[2, -3], [3, 9], [5, 15]]],
[577, "b", 1, [[577, -1]], [[2, -3], [3, 7], [5, 3], [7, -17], [11, 0], [13, 82]], [[2, -3], [3, 9], [5, -33]]],
[577, "c", 2, [[577, -1]], [[2, -7], [3, 4], [5, 4], [7, -17], [11, 0], [13, 108]], [[2, -3], [3, -16], [5, -40]]],
[577, "d", 10, [[577, 1]], [[2, -33], [3, -54], [5, -78], [7, -138], [11, 86], [13, -261]], [[2, 23], [3, 22], [5, -9]]],
[577, "e", 93, [[577, -1]], [[2, -41], [3, -12], [5, -50], [7, 157], [11, -616], [13, 731]], [[2, -39], [3, -170], [5, -283]]],
[587, "a", 1, [[587, 1]], [[2, -6], [3, 0], [5, -14], [7, -12], [11, 11], [13, -32]], [[2, 5], [3, -1], [5, -3]]],
[587, "b", 2, [[587, 1]], [[2, -8], [3, -8], [5, -6], [7, -66], [11, 14], [13, -8]], [[2, 4], [3, -4], [5, 42]]],
[587, "c", 20, [[587, 1]], [[2, -69], [3, -131], [5, -170], [7, -129], [11, -397], [13, -89]], [[2, 36], [3, 78], [5, 4]]],
[587, "d", 65, [[587, -1]], [[2, -9], [3, 31], [5, 38], [7, -107], [11, 474], [13, -463]], [[2, -39], [3, -123], [5, -245]]],
[593, "a", 21, [[593, 1]], [[2, -82], [3, -108], [5, -217], [7, -171], [11, -206], [13, -251]], [[2, 47], [3, 38], [5, 149]]],
[593, "b", 80, [[593, -1]], [[2, 3], [3, -46], [5, 145], [7, -259], [11, -112], [13, -165]], [[2, -54], [3, -128], [5, -235]]],
[599, "a", 1, [[599, 1]], [[2, -4], [3, -5], [5, -9], [7, -8], [11, -57], [13, 18]], [[2, 0], [3, -3], [5, 2]]],
[599, "b", 1, [[599, 1]], [[2, -1], [3, -11], [5, 5], [7, -25], [11, 27], [13, -59]], [[2, 0], [3, 12], [5, -15]]],
[599, "c", 16, [[599, 1]], [[2, -57], [3, -81], [5, -163], [7, -74], [11, -305], [13, 193]], [[2, 35], [3, 59], [5, 87]]],
[599, "d", 79, [[599, -1]], [[2, 6], [3, -11], [5, -3], [7, -131], [11, 920], [13, -824]], [[2, -50], [3, -104], [5, -266]]],
[601, "a", 9, [[601, 1]], [[2, -27], [3, -52], [5, -65], [7, -89], [11, -7], [13, -188]], [[2, 16], [3, 34], [5, 6]]],
[601, "b", 110, [[601, -1]], [[2, -67], [3, -38], [5, -37], [7, 29], [11, -531], [13, 812]], [[2, -76], [3, -210], [5, -268]]],
[607, "a", 20, [[607, 1]], [[2, -63], [3, -131], [5, -95], [7, -371], [11, 76], [13, -352]], [[2, 28], [3, 86], [5, -51]]],
[607, "b", 91, [[607, -1]], [[2, -57], [3, 28], [5, -143], [7, 457], [11, -357], [13, 664]], [[2, -53], [3, -124], [5, -349]]],
[613, "a", 15, [[613, 1]], [[2, -49], [3, -87], [5, -93], [7, -192], [11, 125], [13, -559]], [[2, 27], [3, 60], [5, 26]]],
[613, "b", 107, [[613, -1]], [[2, -21], [3, -38], [5, -40], [7, 238], [11, -430], [13, 1387]], [[2, -73], [3, -100], [5, -286]]],
[617, "a", 2, [[617, 1]], [[2, -7], [3, -4], [5, -36], [7, 12], [11, -77], [13, 83]], [[2, 6], [3, 2], [5, 50]]],
[617, "b", 18, [[617, 1]], [[2, -67], [3, -95], [5, -172], [7, -123], [11, -139], [13, -268]], [[2, 34], [3, 49], [5, 102]]],
[617, "c", 87, [[617, -1]], [[2, 24], [3, -31], [5, 116], [7, -243], [11, 192], [13, -277]], [[2, -53], [3, -129], [5, -194]]],
[619, "a", 2, [[619, 1]], [[2, -4], [3, -16], [5, -12], [7, -10], [11, 4], [13, -4]], [[2, 0], [3, 18], [5, 24]]],
[619, "b", 13, [[619, 1]], [[2, -39], [3, -80], [5, -75], [7, -190], [11, -180], [13, -119]], [[2, 21], [3, 50], [5, -76]]],
[619, "c", 99, [[619, -1]], [[2, -63], [3, 58], [5, -143], [7, 170], [11, 102], [13, 481]], [[2, -53], [3, -158], [5, -326]]],
[631, "a", 1, [[631, 1]], [[2, -2], [3, -8], [5, -10], [7, -15], [11, 12], [13, 32]], [[2, -2], [3, 2], [5, -13]]],
[631, "b", 4, [[631, 1]], [[2, -15], [3, -15], [5, -12], [7, -97], [11, -88], [13, -26]], [[2, 11], [3, -8], [5, -9]]],
[631, "c", 8, [[631, 1]], [[2, -21], [3, -54], [5, -44], [7, -75], [11, -13], [13, -28]], [[2, 9], [3, 67], [5, 14]]],
[631, "d", 107, [[631, -1]], [[2, -44], [3, -9], [5, -183], [7, 439], [11, 230], [13, 299]], [[2, -68], [3, -117], [5, -464]]],
[641, "a", 17, [[641, 1]], [[2, -57], [3, -82], [5, -191], [7, -45], [11, -306], [13, 79]], [[2, 29], [3, 43], [5, 145]]],
[641, "b", 103, [[641, -1]], [[2, 16], [3, -36], [5, 157], [7, -365], [11, 534], [13, -575]], [[2, -52], [3, -181], [5, -175]]],
[643, "a", 22, [[643, 1]], [[2, -64], [3, -145], [5, -98], [7, -364], [11, -92], [13, -334]], [[2, 30], [3, 93], [5, -56]]],
[643, "b", 100, [[643, -1]], [[2, -48], [3, 91], [5, -126], [7, 302], [11, -104], [13, 640]], [[2, -46], [3, -171], [5, -384]]],
[647, "a", 1, [[647, 1]], [[2, -3], [3, -3], [5, -10], [7, 2], [11, -40], [13, -9]], [[2, 3], [3, 3], [5, -2]]],
[647, "b", 28, [[647, 1]], [[2, -100], [3, -163], [5, -205], [7, -319], [11, -206], [13, -193]], [[2, 49], [3, 96], [5, -12]]],
[647, "c", 85, [[647, -1]], [[2, -10], [3, 28], [5, 79], [7, -69], [11, 539], [13, -469]], [[2, -47], [3, -141], [5, -340]]],
[653, "a", 26, [[653, 1]], [[2, -92], [3, -132], [5, -280], [7, -121], [11, -180], [13, -283]], [[2, 42], [3, 74], [5, 148]]],
[653, "b", 96, [[653, -1]], [[2, 12], [3, -40], [5, 194], [7, -204], [11, 301], [13, -104]], [[2, -60], [3, -112], [5, -284]]],
[659, "a", 24, [[659, 1]], [[2, -74], [3, -132], [5, -227], [7, -104], [11, -632], [13, 143]], [[2, 38], [3, 93], [5, 126]]],
[659, "b", 94, [[659, -1]], [[2, 26], [3, 0], [5, -19], [7, -146], [11, 1018], [13, -897]], [[2, -60], [3, -123], [5, -158]]],
[661, "a", 16, [[661, 1]], [[2, -49], [3, -81], [5, -134], [7, -165], [11, 6], [13, -393]], [[2, 27], [3, 47], [5, 49]]],
[661, "b", 128, [[661, -1]], [[2, -74], [3, -23], [5, 46], [7, -3], [11, -249], [13, 1331]], [[2, -75], [3, -205], [5, -507]]],
[673, "a", 16, [[673, 1]], [[2, -46], [3, -92], [5, -96], [7, -205], [11, 75], [13, -477]], [[2, 20], [3, 52], [5, 64]]],
[673, "b", 132, [[673, -1]], [[2, -15], [3, -14], [5, -116], [7, 307], [11, -741], [13, 1043]], [[2, -93], [3, -182], [5, -234]]],
[677, "a", 2, [[677, -1]], [[2, 1], [3, 10], [5, -16], [7, 25], [11, -20], [13, -33]], [[2, -1], [3, 8], [5, 28]]],
[677, "b", 33, [[677, 1]], [[2, -118], [3, -174], [5, -359], [7, -185], [11, -287], [13, -461]], [[2, 53], [3, 84], [5, 205]]],
[677, "c", 101, [[677, -1]], [[2, 4], [3, -33], [5, 271], [7, -309], [11, 120], [13, 251]], [[2, -56], [3, -144], [5, -351]]],
[683, "a", 32, [[683, 1]], [[2, -105], [3, -176], [5, -256], [7, -249], [11, -542], [13, -138]], [[2, 51], [3, 100], [5, 153]]],
[683, "b", 90, [[683, -1]], [[2, 29], [3, 34], [5, -8], [7, -69], [11, 674], [13, -706]], [[2, -69], [3, -144], [5, -217]]],
[691, "a", 21, [[691, 1]], [[2, -57], [3, -121], [5, -128], [7, -286], [11, -235], [13, -166]], [[2, 28], [3, 68], [5, -28]]],
[691, "b", 123, [[691, -1]], [[2, -69], [3, 69], [5, -150], [7, 242], [11, 61], [13, 426]], [[2, -76], [3, -176], [5, -412]]],
[701, "a", 26, [[701, 1]], [[2, -86], [3, -120], [5, -291], [7, -53], [11, -459], [13, -95]], [[2, 43], [3, 75], [5, 205]]],
[701, "b", 121, [[701, -1]], [[2, 20], [3, -95], [5, 283], [7, -280], [11, 566], [13, -325]], [[2, -70], [3, -141], [5, -285]]],
[709, "a", 16, [[709, 1]], [[2, -44], [3, -80], [5, -120], [7, -158], [11, 10], [13, -343]], [[2, 22], [3, 55], [5, 25]]],
[709, "b", 148, [[709, -1]], [[2, -48], [3, -44], [5, 41], [7, 174], [11, 10], [13, 1073]], [[2, -90], [3, -189], [5, -427]]],
[719, "a", 1, [[719, 1]], [[2, -5], [3, 2], [5, -28], [7, -2], [11, 30], [13, 28]], [[2, 2], [3, -1], [5, 57]]],
[719, "b", 32, [[719, 1]], [[2, -100], [3, -166], [5, -247], [7, -235], [11, -658], [13, 69]], [[2, 56], [3, 111], [5, 24]]],
[719, "c", 114, [[719, -1]], [[2, -13], [3, 38], [5, 134], [7, -137], [11, 990], [13, -759]], [[2, -59], [3, -170], [5, -425]]],
[727, "a", 29, [[727, 1]], [[2, -80], [3, -169], [5, -144], [7, -511], [11, 40], [13, -374]], [[2, 32], [3, 90], [5, -28]]],
[727, "b", 133, [[727, -1]], [[2, -67], [3, 79], [5, -126], [7, 602], [11, -243], [13, 842]], [[2, -57], [3, -160], [5, -638]]],
[733, "a", 2, [[733, 1]], [[2, -6], [3, -9], [5, -30], [7, -30], [11, 70], [13, -159]], [[2, -4], [3, -15], [5, 20]]],
[733, "b", 27, [[733, 1]], [[2, -78], [3, -145], [5, -186], [7, -366], [11, 89], [13, -795]], [[2, 40], [3, 92], [5, 46]]],
[733, "c", 148, [[733, -1]], [[2, -51], [3, 3], [5, 63], [7, 255], [11, -705], [13, 2025]], [[2, -71], [3, -169], [5, -486]]],
[739, "a", 23, [[739, 1]], [[2, -57], [3, -136], [5, -121], [7, -286], [11, -319], [13, -133]], [[2, 25], [3, 103], [5, 36]]],
[739, "b", 143, [[739, -1]], [[2, -27], [3, 20], [5, -213], [7, 394], [11, 247], [13, 407]], [[2, -99], [3, -177], [5, -256]]],
[743, "a", 41, [[743, 1]], [[2, -136], [3, -220], [5, -307], [7, -389], [11, -582], [13, -173]], [[2, 56], [3, 133], [5, 136]]],
[743, "b", 112, [[743, -1]], [[2, 50], [3, 5], [5, 39], [7, 51], [11, 757], [13, -731]], [[2, -69], [3, -119], [5, -286]]],
[751, "a", 23, [[751, 1]], [[2, -57], [3, -122], [5, -145], [7, -314], [11, -123], [13, -115]], [[2, 24], [3, 83], [5, 13]]],
[751, "b", 151, [[751, -1]], [[2, -50], [3, 30], [5, -207], [7, 555], [11, 259], [13, 333]], [[2, -99], [3, -157], [5, -561]]],
[757, "a", 25, [[757, 1]], [[2, -67], [3, -127], [5, -187], [7, -299], [11, 167], [13, -713]], [[2, 25], [3, 69], [5, 85]]],
[757, "b", 163, [[757, -1]], [[2, -25], [3, 15], [5, 27], [7, 301], [11, -478], [13, 1715]], [[2, -85], [3, -175], [5, -515]]],
[761, "a", 33, [[761, 1]], [[2, -106], [3, -141], [5, -335], [7, -160], [11, -576], [13, -196]], [[2, 57], [3, 63], [5, 219]]],
[761, "b", 143, [[761, -1]], [[2, 10], [3, -57], [5, 339], [7, -434], [11, 302], [13, -342]], [[2, -78], [3, -239], [5, -311]]],
[769, "a", 20, [[769, 1]], [[2, -55], [3, -95], [5, -142], [7, -226], [11, -80], [13, -373]], [[2, 29], [3, 55], [5, 51]]],
[769, "b", 176, [[769, -1]], [[2, -64], [3, -35], [5, 26], [7, 170], [11, -620], [13, 1339]], [[2, -97], [3, -263], [5, -533]]],
[773, "a", 45, [[773, 1]], [[2, -150], [3, -203], [5, -493], [7, -276], [11, -300], [13, -654]], [[2, 70], [3, 82], [5, 233]]],
[773, "b", 134, [[773, -1]], [[2, 13], [3, -1], [5, 382], [7, -317], [11, 218], [13, 208]], [[2, -69], [3, -200], [5, -371]]],
[787, "a", 40, [[787, 1]], [[2, -106], [3, -240], [5, -193], [7, -635], [11, -271], [13, -708]], [[2, 41], [3, 135], [5, 16]]],
[787, "b", 150, [[787, -1]], [[2, -32], [3, 130], [5, -161], [7, 531], [11, -257], [13, 1068]], [[2, -79], [3, -209], [5, -464]]],
[797, "a", 1, [[797, 1]], [[2, -1], [3, -9], [5, 2], [7, -36], [11, 80], [13, -41]], [[2, -2], [3, 12], [5, -24]]],
[797, "b", 1, [[797, 1]], [[2, -1], [3, -5], [5, -6], [7, -20], [11, 68], [13, -85]], [[2, 2], [3, -4], [5, 8]]],
[797, "c", 45, [[797, 1]], [[2, -153], [3, -202], [5, -499], [7, -214], [11, -454], [13, -607]], [[2, 70], [3, 89], [5, 278]]],
[797, "d", 145, [[797, -1]], [[2, 16], [3, 14], [5, 398], [7, -357], [11, 229], [13, 377]], [[2, -70], [3, -217], [5, -418]]],
[809, "a", 34, [[809, 1]], [[2, -102], [3, -151], [5, -327], [7, -128], [11, -644], [13, -64]], [[2, 46], [3, 84], [5, 238]]],
[809, "b", 164, [[809, -1]], [[2, 46], [3, -65], [5, 289], [7, -368], [11, 692], [13, -620]], [[2, -84], [3, -242], [5, -224]]],
[811, "a", 1, [[811, 1]], [[2, -3], [3, -3], [5, -11], [7, -7], [11, 31], [13, -64]], [[2, 0], [3, 2], [5, 9]]],
[811, "b", 5, [[811, 1]], [[2, -10], [3, -32], [5, -35], [7, -85], [11, -10], [13, -9]], [[2, -4], [3, 11], [5, 69]]],
[811, "c", 30, [[811, 1]], [[2, -77], [3, -163], [5, -166], [7, -386], [11, -478], [13, -287]], [[2, 43], [3, 107], [5, -61]]],
[811, "d", 168, [[811, -1]], [[2, -58], [3, 86], [5, -190], [7, 394], [11, -1], [13, 728]], [[2, -111], [3, -226], [5, -449]]],
[821, "a", 42, [[821, 1]], [[2, -127], [3, -183], [5, -429], [7, -114], [11, -769], [13, -312]], [[2, 59], [3, 107], [5, 295]]],
[821, "b", 162, [[821, -1]], [[2, 39], [3, -94], [5, 389], [7, -251], [11, 870], [13, -227]], [[2, -91], [3, -205], [5, -365]]],
[823, "a", 37, [[823, 1]], [[2, -92], [3, -205], [5, -163], [7, -563], [11, -41], [13, -551]], [[2, 33], [3, 132], [5, -41]]],
[823, "b", 171, [[823, -1]], [[2, -34], [3, 81], [5, -161], [7, 827], [11, 21], [13, 668]], [[2, -95], [3, -190], [5, -575]]],
[827, "a", 53, [[827, 1]], [[2, -158], [3, -277], [5, -406], [7, -400], [11, -1060], [13, -275]], [[2, 63], [3, 154], [5, 230]]],
[827, "b", 137, [[827, -1]], [[2, 72], [3, 57], [5, 48], [7, -6], [11, 934], [13, -819]], [[2, -85], [3, -178], [5, -254]]],
[829, "a", 30, [[829, 1]], [[2, -76], [3, -141], [5, -246], [7, -268], [11, -60], [13, -732]], [[2, 33], [3, 79], [5, 104]]],
[829, "b", 199, [[829, -1]], [[2, -85], [3, 9], [5, 134], [7, 34], [11, -400], [13, 1880]], [[2, -106], [3, -311], [5, -678]]],
[839, "a", 51, [[839, 1]], [[2, -151], [3, -224], [5, -445], [7, -422], [11, -980], [13, 159]], [[2, 75], [3, 120], [5, 191]]],
[839, "b", 154, [[839, -1]], [[2, 8], [3, 68], [5, 199], [7, -105], [11, 1246], [13, -939]], [[2, -77], [3, -192], [5, -521]]],
[853, "a", 1, [[853, 1]], [[2, -3], [3, -1], [5, -15], [7, -7], [11, -27], [13, 33]], [[2, 1], [3, -3], [5, 18]]],
[853, "b", 1, [[853, -1]], [[2, 1], [3, 1], [5, -6], [7, 30], [11, -75], [13, -2]], [[2, -3], [3, -9], [5, -30]]],
[853, "c", 43, [[853, 1]], [[2, -115], [3, -214], [5, -299], [7, -567], [11, 167], [13, -1401]], [[2, 48], [3, 114], [5, 76]]],
[853, "d", 195, [[853, -1]], [[2, -52], [3, 21], [5, 137], [7, 373], [11, -658], [13, 2452]], [[2, -96], [3, -224], [5, -524]]],
[857, "a", 53, [[857, 1]], [[2, -169], [3, -241], [5, -483], [7, -423], [11, -556], [13, -591]], [[2, 75], [3, 98], [5, 314]]],
[857, "b", 171, [[857, -1]], [[2, 45], [3, 11], [5, 307], [7, -325], [11, -40], [13, 41]], [[2, -98], [3, -268], [5, -416]]],
[859, "a", 37, [[859, 1]], [[2, -83], [3, -199], [5, -215], [7, -459], [11, -428], [13, -331]], [[2, 33], [3, 116], [5, 28]]],
[859, "b", 193, [[859, -1]], [[2, -73], [3, 135], [5, -153], [7, 353], [11, 118], [13, 659]], [[2, -101], [3, -270], [5, -634]]],
[863, "a", 57, [[863, 1]], [[2, -175], [3, -270], [5, -406], [7, -542], [11, -668], [13, -373]], [[2, 74], [3, 153], [5, 147]]],
[863, "b", 155, [[863, -1]], [[2, 64], [3, 48], [5, 95], [7, 76], [11, 1012], [13, -913]], [[2, -95], [3, -207], [5, -431]]],
[877, "a", 1, [[877, 1]], [[2, -2], [3, -5], [5, -4], [7, -2], [11, -45], [13, 5]], [[2, 0], [3, 6], [5, -34]]],
[877, "b", 42, [[877, 1]], [[2, -112], [3, -199], [5, -284], [7, -516], [11, 111], [13, -1326]], [[2, 47], [3, 95], [5, 181]]],
[877, "c", 211, [[877, -1]], [[2, 0], [3, 7], [5, 22], [7, 523], [11, -508], [13, 2241]], [[2, -135], [3, -201], [5, -529]]],
[881, "a", 46, [[881, 1]], [[2, -133], [3, -185], [5, -456], [7, -231], [11, -752], [13, -185]], [[2, 65], [3, 88], [5, 267]]],
[881, "b", 193, [[881, -1]], [[2, 14], [3, 21], [5, 496], [7, -529], [11, 648], [13, -309]], [[2, -78], [3, -308], [5, -457]]],
[883, "a", 44, [[883, 1]], [[2, -99], [3, -244], [5, -191], [7, -613], [11, -330], [13, -616]], [[2, 36], [3, 139], [5, 37]]],
[883, "b", 196, [[883, -1]], [[2, -9], [3, 150], [5, -181], [7, 645], [11, 26], [13, 816]], [[2, -112], [3, -249], [5, -523]]],
[887, "a", 1, [[887, 1]], [[2, 0], [3, -8], [5, 6], [7, -24], [11, 16], [13, -32]], [[2, 2], [3, 4], [5, 2]]],
[887, "b", 65, [[887, 1]], [[2, -200], [3, -324], [5, -475], [7, -666], [11, -830], [13, -447]], [[2, 78], [3, 161], [5, 130]]],
[887, "c", 163, [[887, -1]], [[2, 33], [3, 81], [5, 153], [7, 51], [11, 801], [13, -612]], [[2, -92], [3, -195], [5, -442]]],
[907, "a", 49, [[907, 1]], [[2, -109], [3, -265], [5, -244], [7, -686], [11, -354], [13, -718]], [[2, 37], [3, 154], [5, 47]]],
[907, "b", 205, [[907, -1]], [[2, -3], [3, 179], [5, -186], [7, 668], [11, 46], [13, 816]], [[2, -117], [3, -248], [5, -579]]],
[911, "a", 57, [[911, 1]], [[2, -153], [3, -254], [5, -470], [7, -408], [11, -1102], [13, 155]], [[2, 64], [3, 159], [5, 230]]],
[911, "b", 186, [[911, -1]], [[2, 54], [3, 62], [5, 166], [7, -28], [11, 1730], [13, -1406]], [[2, -82], [3, -233], [5, -532]]],
[919, "a", 42, [[919, 1]], [[2, -96], [3, -202], [5, -224], [7, -555], [11, -402], [13, -288]], [[2, 39], [3, 131], [5, 65]]],
[919, "b", 225, [[919, -1]], [[2, -34], [3, 19], [5, -212], [7, 935], [11, 287], [13, 741]], [[2, -134], [3, -189], [5, -795]]],
[929, "a", 55, [[929, 1]], [[2, -154], [3, -208], [5, -526], [7, -329], [11, -877], [13, -299]], [[2, 75], [3, 91], [5, 298]]],
[929, "b", 211, [[929, -1]], [[2, 19], [3, 8], [5, 538], [7, -467], [11, 697], [13, -369]], [[2, -99], [3, -349], [5, -534]]],
[937, "a", 46, [[937, 1]], [[2, -113], [3, -216], [5, -285], [7, -610], [11, 23], [13, -1256]], [[2, 44], [3, 83], [5, 141]]],
[937, "b", 247, [[937, -1]], [[2, -33], [3, 70], [5, 43], [7, 566], [11, -1219], [13, 2462]], [[2, -116], [3, -297], [5, -787]]],
[941, "a", 3, [[941, 1]], [[2, -5], [3, -14], [5, -38], [7, 2], [11, -20], [13, 1]], [[2, -2], [3, 15], [5, -3]]],
[941, "b", 63, [[941, 1]], [[2, -181], [3, -252], [5, -639], [7, -301], [11, -1074], [13, -477]], [[2, 84], [3, 115], [5, 389]]],
[941, "c", 210, [[941, -1]], [[2, 27], [3, -37], [5, 622], [7, -390], [11, 744], [13, 199]], [[2, -102], [3, -294], [5, -536]]],
[947, "a", 71, [[947, 1]], [[2, -193], [3, -346], [5, -511], [7, -506], [11, -1334], [13, -569]], [[2, 73], [3, 179], [5, 261]]],
[947, "b", 183, [[947, -1]], [[2, 79], [3, 124], [5, 145], [7, -10], [11, 1418], [13, -993]], [[2, -97], [3, -249], [5, -455]]],
[953, "a", 63, [[953, 1]], [[2, -186], [3, -269], [5, -553], [7, -386], [11, -765], [13, -709]], [[2, 70], [3, 123], [5, 396]]],
[953, "b", 217, [[953, -1]], [[2, 118], [3, 9], [5, 311], [7, -270], [11, 243], [13, -181]], [[2, -114], [3, -283], [5, -378]]],
[967, "a", 60, [[967, 1]], [[2, -146], [3, -297], [5, -261], [7, -905], [11, -308], [13, -883]], [[2, 52], [3, 172], [5, 18]]],
[967, "b", 233, [[967, -1]], [[2, 0], [3, 74], [5, -164], [7, 1227], [11, -31], [13, 1275]], [[2, -127], [3, -224], [5, -660]]],
[971, "a", 1, [[971, 1]], [[2, -6], [3, -1], [5, 11], [7, -41], [11, -63], [13, 1]], [[2, 7], [3, -13], [5, -7]]],
[971, "b", 69, [[971, 1]], [[2, -172], [3, -311], [5, -604], [7, -392], [11, -1509], [13, -159]], [[2, 69], [3, 152], [5, 253]]],
[971, "c", 208, [[971, -1]], [[2, 28], [3, 166], [5, 225], [7, -233], [11, 1792], [13, -1238]], [[2, -90], [3, -253], [5, -572]]],
[977, "a", 67, [[977, 1]], [[2, -197], [3, -255], [5, -602], [7, -467], [11, -703], [13, -649]], [[2, 86], [3, 110], [5, 394]]],
[977, "b", 225, [[977, -1]], [[2, 114], [3, 23], [5, 376], [7, -243], [11, 439], [13, -443]], [[2, -123], [3, -318], [5, -450]]],
[983, "a", 84, [[983, 1]], [[2, -239], [3, -388], [5, -615], [7, -858], [11, -1007], [13, -553]], [[2, 93], [3, 188], [5, 168]]],
[983, "b", 200, [[983, -1]], [[2, 48], [3, 152], [5, 286], [7, 85], [11, 1181], [13, -717]], [[2, -90], [3, -264], [5, -598]]],
[991, "a", 1, [[991, 1]], [[2, -1], [3, -5], [5, -13], [7, 5], [11, 20], [13, -59]], [[2, -1], [3, 5], [5, -13]]],
[991, "b", 51, [[991, 1]], [[2, -110], [3, -234], [5, -276], [7, -684], [11, -419], [13, -365]], [[2, 42], [3, 145], [5, 41]]],
[991, "c", 259, [[991, -1]], [[2, -40], [3, 91], [5, -201], [7, 964], [11, 483], [13, 564]], [[2, -153], [3, -290], [5, -750]]],
[997, "a", 1, [[997, -1]], [[2, 3], [3, 4], [5, -3], [7, -13], [11, 48], [13, -64]], [[2, 2], [3, -8], [5, 18]]],
[997, "b", 2, [[997, 1]], [[2, -4], [3, -6], [5, -16], [7, -4], [11, 40], [13, -92]], [[2, 2], [3, 6], [5, -4]]],
[997, "c", 62, [[997, 1]], [[2, -149], [3, -289], [5, -422], [7, -776], [11, -6], [13, -1794]], [[2, 52], [3, 121], [5, 198]]],
[997, "d", 266, [[997, -1]], [[2, -53], [3, 68], [5, 204], [7, 584], [11, -944], [13, 3190]], [[2, -131], [3, -269], [5, -852]]]
];}