/*

December 15, 2015.

This file contains a list "gamma1_dimensions" whose Nth entry is:

[ N, dimension of the old space in weight 1 and level N, dimension of the new space in weight 1 and level N]

Here by "level N" I mean of course for Gamma_1(N). Thus the sum of the second and third entry
in the Nth element of the list is dim S_1(Gamma_1(N)).

For example:

> gamma1_dimensions[124];
[ 124, 3, 4 ]

*/


gamma1_dimensions:=[   
    [ 1, 0, 0 ],
    [ 2, 0, 0 ], 
    [ 3, 0, 0 ],
    [ 4, 0, 0 ],
    [ 5, 0, 0 ],
    [ 6, 0, 0 ],
    [ 7, 0, 0 ],
    [ 8, 0, 0 ],
    [ 9, 0, 0 ],
    [ 10, 0, 0 ],
    [ 11, 0, 0 ],
    [ 12, 0, 0 ],
    [ 13, 0, 0 ],
    [ 14, 0, 0 ],
    [ 15, 0, 0 ],
    [ 16, 0, 0 ],
    [ 17, 0, 0 ],
    [ 18, 0, 0 ],
    [ 19, 0, 0 ],
    [ 20, 0, 0 ],
    [ 21, 0, 0 ],
    [ 22, 0, 0 ],
    [ 23, 0, 1 ],
    [ 24, 0, 0 ],
    [ 25, 0, 0 ],
    [ 26, 0, 0 ],
    [ 27, 0, 0 ],
    [ 28, 0, 0 ],
    [ 29, 0, 0 ],
    [ 30, 0, 0 ],
    [ 31, 0, 1 ],
    [ 32, 0, 0 ],
    [ 33, 0, 0 ],
    [ 34, 0, 0 ],
    [ 35, 0, 0 ],
    [ 36, 0, 0 ],
    [ 37, 0, 0 ],
    [ 38, 0, 0 ],
    [ 39, 0, 1 ],
    [ 40, 0, 0 ],
    [ 41, 0, 0 ],
    [ 42, 0, 0 ],
    [ 43, 0, 0 ],
    [ 44, 0, 1 ],
    [ 45, 0, 0 ],
    [ 46, 2, 0 ],
    [ 47, 0, 2 ],
    [ 48, 0, 0 ],
    [ 49, 0, 0 ],
    [ 50, 0, 0 ],
    [ 51, 0, 0 ],
    [ 52, 0, 2 ],
    [ 53, 0, 0 ],
    [ 54, 0, 0 ],
    [ 55, 0, 1 ],
    [ 56, 0, 1 ],
    [ 57, 0, 2 ],
    [ 58, 0, 0 ],
    [ 59, 0, 1 ],
    [ 60, 0, 0 ],
    [ 61, 0, 0 ],
    [ 62, 2, 0 ],
    [ 63, 0, 1 ],
    [ 64, 0, 0 ],
    [ 65, 0, 0 ],
    [ 66, 0, 0 ],
    [ 67, 0, 0 ],
    [ 68, 0, 3 ],
    [ 69, 2, 0 ],
    [ 70, 0, 0 ],
    [ 71, 0, 3 ],
    [ 72, 0, 2 ],
    [ 73, 0, 0 ],
    [ 74, 0, 0 ],
    [ 75, 0, 0 ],
    [ 76, 0, 1 ],
    [ 77, 0, 4 ],
    [ 78, 2, 0 ],
    [ 79, 0, 2 ],
    [ 80, 0, 1 ],
    [ 81, 0, 0 ],
    [ 82, 0, 0 ],
    [ 83, 0, 1 ],
    [ 84, 0, 2 ],
    [ 85, 0, 0 ],
    [ 86, 0, 0 ],
    [ 87, 0, 2 ],
    [ 88, 2, 4 ],
    [ 89, 0, 0 ],
    [ 90, 0, 0 ],
    [ 91, 0, 0 ],
    [ 92, 3, 0 ],
    [ 93, 2, 4 ],
    [ 94, 4, 0 ],
    [ 95, 0, 3 ],
    [ 96, 0, 0 ],
    [ 97, 0, 0 ],
    [ 98, 0, 0 ],
    [ 99, 0, 2 ],
    [ 100, 0, 4 ],
    [ 101, 0, 0 ],
    [ 102, 0, 0 ],
    [ 103, 0, 2 ],
    [ 104, 4, 2 ],
    [ 105, 0, 0 ],
    [ 106, 0, 0 ],
    [ 107, 0, 1 ],
    [ 108, 0, 1 ],
    [ 109, 0, 0 ],
    [ 110, 2, 0 ],
    [ 111, 0, 7 ],
    [ 112, 2, 2 ],
    [ 113, 0, 0 ],
    [ 114, 4, 0 ],
    [ 115, 2, 0 ],
    [ 116, 0, 8 ],
    [ 117, 2, 2 ],
    [ 118, 2, 0 ],
    [ 119, 0, 4 ],
    [ 120, 0, 2 ],
    [ 121, 0, 0 ],
    [ 122, 0, 0 ],
    [ 123, 0, 0 ],
    [ 124, 3, 4 ],
    [ 125, 0, 0 ],
    [ 126, 2, 0 ],
    [ 127, 0, 2 ],
    [ 128, 0, 1 ],
    [ 129, 0, 6 ],
    [ 130, 0, 0 ],
    [ 131, 0, 2 ],
    [ 132, 2, 0 ],
    [ 133, 0, 6 ],
    [ 134, 0, 0 ],
    [ 135, 0, 2 ],
    [ 136, 6, 7 ],
    [ 137, 0, 0 ],
    [ 138, 4, 0 ],
    [ 139, 0, 1 ],
    [ 140, 0, 6 ],
    [ 141, 4, 0 ],
    [ 142, 6, 0 ],
    [ 143, 0, 4 ],
    [ 144, 4, 1 ],
    [ 145, 0, 4 ],
    [ 146, 0, 0 ],
    [ 147, 0, 6 ],
    [ 148, 0, 10 ],
    [ 149, 0, 0 ],
    [ 150, 0, 0 ],
    [ 151, 0, 3 ],
    [ 152, 2, 10 ],
    [ 153, 0, 0 ],
    [ 154, 8, 0 ],
    [ 155, 2, 3 ],
    [ 156, 7, 4 ],
    [ 157, 0, 0 ],
    [ 158, 4, 0 ],
    [ 159, 0, 4 ],
    [ 160, 2, 2 ],
    [ 161, 2, 10 ],
    [ 162, 0, 0 ],
    [ 163, 0, 0 ],
    [ 164, 0, 11 ],
    [ 165, 2, 4 ],
    [ 166, 2, 0 ],
    [ 167, 0, 5 ],
    [ 168, 6, 4 ],
    [ 169, 0, 0 ],
    [ 170, 0, 0 ],
    [ 171, 4, 7 ],
    [ 172, 0, 1 ],
    [ 173, 0, 0 ],
    [ 174, 4, 0 ],
    [ 175, 0, 4 ],
    [ 176, 11, 1 ],
    [ 177, 2, 0 ],
    [ 178, 0, 0 ],
    [ 179, 0, 2 ],
    [ 180, 0, 10 ],
    [ 181, 0, 0 ],
    [ 182, 0, 0 ],
    [ 183, 0, 11 ],
    [ 184, 4, 3 ],
    [ 185, 0, 0 ],
    [ 186, 12, 0 ],
    [ 187, 0, 0 ],
    [ 188, 6, 0 ],
    [ 189, 2, 4 ],
    [ 190, 6, 0 ],
    [ 191, 0, 6 ],
    [ 192, 0, 2 ],
    [ 193, 0, 0 ],
    [ 194, 0, 0 ],
    [ 195, 2, 4 ],
    [ 196, 0, 3 ],
    [ 197, 0, 0 ],
    [ 198, 4, 0 ],
    [ 199, 0, 4 ],
    [ 200, 8, 4 ],
    [ 201, 0, 14 ],
    [ 202, 0, 0 ],
    [ 203, 0, 13 ],
    [ 204, 6, 2 ],
    [ 205, 0, 0 ],
    [ 206, 4, 0 ],
    [ 207, 3, 7 ],
    [ 208, 10, 3 ],
    [ 209, 0, 8 ],
    [ 210, 0, 0 ],
    [ 211, 0, 1 ],
    [ 212, 0, 14 ],
    [ 213, 6, 0 ],
    [ 214, 2, 0 ],
    [ 215, 0, 6 ],
    [ 216, 6, 10 ],
    [ 217, 2, 6 ],
    [ 218, 0, 0 ],
    [ 219, 0, 15 ],
    [ 220, 5, 2 ],
    [ 221, 0, 0 ],
    [ 222, 14, 0 ],
    [ 223, 0, 3 ],
    [ 224, 7, 9 ],
    [ 225, 0, 2 ],
    [ 226, 0, 0 ],
    [ 227, 0, 2 ],
    [ 228, 8, 6 ],
    [ 229, 0, 4 ],
    [ 230, 4, 0 ],
    [ 231, 8, 4 ],
    [ 232, 16, 0 ],
    [ 233, 0, 0 ],
    [ 234, 8, 0 ],
    [ 235, 4, 0 ],
    [ 236, 3, 3 ],
    [ 237, 4, 12 ],
    [ 238, 8, 0 ],
    [ 239, 0, 7 ],
    [ 240, 6, 4 ],
    [ 241, 0, 0 ],
    [ 242, 0, 0 ],
    [ 243, 0, 3 ],
    [ 244, 0, 16 ],
    [ 245, 0, 0 ],
    [ 246, 0, 0 ],
    [ 247, 0, 2 ],
    [ 248, 12, 5 ],
    [ 249, 2, 0 ],
    [ 250, 0, 0 ],
    [ 251, 0, 3 ],
    [ 252, 7, 6 ],
    [ 253, 2, 10 ],
    [ 254, 4, 0 ],
    [ 255, 0, 18 ],
    [ 256, 2, 1 ],
    [ 257, 0, 0 ],
    [ 258, 12, 0 ],
    [ 259, 0, 17 ],
    [ 260, 4, 18 ],
    [ 261, 4, 4 ],
    [ 262, 4, 0 ],
    [ 263, 0, 6 ],
    [ 264, 12, 18 ],
    [ 265, 0, 0 ],
    [ 266, 12, 0 ],
    [ 267, 0, 0 ],
    [ 268, 0, 1 ],
    [ 269, 0, 0 ],
    [ 270, 4, 0 ],
    [ 271, 0, 5 ],
    [ 272, 23, 6 ],
    [ 273, 2, 28 ],
    [ 274, 0, 0 ],
    [ 275, 2, 9 ],
    [ 276, 6, 6 ],
    [ 277, 0, 0 ],
    [ 278, 2, 0 ],
    [ 279, 11, 8 ],
    [ 280, 14, 8 ],
    [ 281, 0, 0 ],
    [ 282, 8, 0 ],
    [ 283, 0, 3 ],
    [ 284, 9, 0 ],
    [ 285, 10, 16 ],
    [ 286, 8, 0 ],
    [ 287, 0, 6 ],
    [ 288, 8, 8 ],
    [ 289, 0, 0 ],
    [ 290, 8, 0 ],
    [ 291, 0, 15 ],
    [ 292, 0, 17 ],
    [ 293, 0, 0 ],
    [ 294, 12, 0 ],
    [ 295, 2, 5 ],
    [ 296, 20, 6 ],
    [ 297, 4, 8 ],
    [ 298, 0, 0 ],
    [ 299, 2, 17 ],
    [ 300, 8, 8 ],
    [ 301, 0, 24 ],
    [ 302, 6, 0 ],
    [ 303, 0, 4 ],
    [ 304, 23, 1 ],
    [ 305, 0, 0 ],
    [ 306, 0, 0 ],
    [ 307, 0, 1 ],
    [ 308, 14, 10 ],
    [ 309, 4, 20 ],
    [ 310, 10, 0 ],
    [ 311, 0, 9 ],
    [ 312, 24, 4 ],
    [ 313, 0, 0 ],
    [ 314, 0, 0 ],
    [ 315, 2, 4 ],
    [ 316, 6, 0 ],
    [ 317, 0, 0 ],
    [ 318, 8, 0 ],
    [ 319, 0, 4 ],
    [ 320, 7, 3 ],
    [ 321, 2, 0 ],
    [ 322, 24, 0 ],
    [ 323, 0, 7 ],
    [ 324, 2, 8 ],
    [ 325, 0, 8 ],
    [ 326, 0, 0 ],
    [ 327, 0, 21 ],
    [ 328, 22, 23 ],
    [ 329, 4, 10 ],
    [ 330, 12, 0 ],
    [ 331, 0, 3 ],
    [ 332, 3, 3 ],
    [ 333, 14, 10 ],
    [ 334, 10, 0 ],
    [ 335, 0, 8 ],
    [ 336, 22, 8 ],
    [ 337, 0, 0 ],
    [ 338, 0, 0 ],
    [ 339, 0, 2 ],
    [ 340, 6, 24 ],
    [ 341, 2, 14 ],
    [ 342, 22, 0 ],
    [ 343, 0, 9 ],
    [ 344, 2, 30 ],
    [ 345, 4, 20 ],
    [ 346, 0, 0 ],
    [ 347, 0, 2 ],
    [ 348, 22, 0 ],
    [ 349, 0, 0 ],
    [ 350, 8, 0 ],
    [ 351, 7, 12 ],
    [ 352, 18, 4 ],
    [ 353, 0, 0 ],
    [ 354, 4, 0 ],
    [ 355, 6, 7 ],
    [ 356, 0, 25 ],
    [ 357, 8, 0 ],
    [ 358, 4, 0 ],
    [ 359, 0, 9 ],
    [ 360, 28, 6 ],
    [ 361, 0, 0 ],
    [ 362, 0, 0 ],
    [ 363, 0, 5 ],
    [ 364, 4, 6 ],
    [ 365, 0, 0 ],
    [ 366, 22, 0 ],
    [ 367, 0, 4 ],
    [ 368, 11, 7 ],
    [ 369, 0, 0 ],
    [ 370, 0, 0 ],
    [ 371, 0, 37 ],
    [ 372, 26, 10 ],
    [ 373, 0, 0 ],
    [ 374, 0, 0 ],
    [ 375, 0, 8 ],
    [ 376, 8, 7 ],
    [ 377, 0, 0 ],
    [ 378, 12, 0 ],
    [ 379, 0, 1 ],
    [ 380, 11, 8 ],
    [ 381, 4, 20 ],
    [ 382, 12, 0 ],
    [ 383, 0, 8 ],
    [ 384, 6, 2 ],
    [ 385, 10, 16 ],
    [ 386, 0, 0 ],
    [ 387, 12, 7 ],
    [ 388, 0, 23 ],
    [ 389, 0, 0 ],
    [ 390, 12, 0 ],
    [ 391, 2, 6 ],
    [ 392, 8, 11 ],
    [ 393, 4, 0 ],
    [ 394, 0, 0 ],
    [ 395, 4, 7 ],
    [ 396, 9, 9 ],
    [ 397, 0, 0 ],
    [ 398, 8, 0 ],
    [ 399, 16, 42 ],
    [ 400, 22, 5 ],
    [ 401, 0, 0 ],
    [ 402, 28, 0 ],
    [ 403, 2, 4 ],
    [ 404, 0, 32 ],
    [ 405, 4, 4 ],
    [ 406, 26, 0 ],
    [ 407, 0, 23 ],
    [ 408, 30, 20 ],
    [ 409, 0, 0 ],
    [ 410, 0, 0 ],
    [ 411, 0, 2 ],
    [ 412, 6, 0 ],
    [ 413, 2, 6 ],
    [ 414, 20, 0 ],
    [ 415, 2, 4 ],
    [ 416, 20, 12 ],
    [ 417, 2, 22 ],
    [ 418, 16, 0 ],
    [ 419, 0, 4 ],
    [ 420, 16, 12 ],
    [ 421, 0, 0 ],
    [ 422, 2, 0 ],
    [ 423, 6, 12 ],
    [ 424, 28, 2 ],
    [ 425, 0, 0 ],
    [ 426, 12, 0 ],
    [ 427, 0, 0 ],
    [ 428, 3, 3 ],
    [ 429, 10, 16 ],
    [ 430, 12, 0 ],
    [ 431, 0, 10 ],
    [ 432, 33, 7 ],
    [ 433, 0, 0 ],
    [ 434, 16, 0 ],
    [ 435, 12, 4 ],
    [ 436, 0, 28 ],
    [ 437, 2, 10 ],
    [ 438, 30, 0 ],
    [ 439, 0, 7 ],
    [ 440, 20, 16 ],
    [ 441, 14, 14 ],
    [ 442, 0, 0 ],
    [ 443, 0, 2 ],
    [ 444, 41, 14 ],
    [ 445, 0, 2 ],
    [ 446, 6, 0 ],
    [ 447, 0, 6 ],
    [ 448, 28, 14 ],
    [ 449, 0, 0 ],
    [ 450, 4, 0 ],
    [ 451, 0, 6 ],
    [ 452, 0, 29 ],
    [ 453, 6, 28 ],
    [ 454, 4, 0 ],
    [ 455, 0, 18 ],
    [ 456, 44, 18 ],
    [ 457, 0, 0 ],
    [ 458, 8, 0 ],
    [ 459, 0, 2 ],
    [ 460, 6, 22 ],
    [ 461, 0, 0 ],
    [ 462, 24, 0 ],
    [ 463, 0, 3 ],
    [ 464, 24, 9 ],
    [ 465, 18, 28 ],
    [ 466, 0, 0 ],
    [ 467, 0, 3 ],
    [ 468, 26, 40 ],
    [ 469, 0, 32 ],
    [ 470, 8, 0 ],
    [ 471, 0, 31 ],
    [ 472, 10, 30 ],
    [ 473, 0, 4 ],
    [ 474, 32, 0 ],
    [ 475, 6, 11 ],
    [ 476, 18, 8 ],
    [ 477, 8, 0 ],
    [ 478, 14, 0 ],
    [ 479, 0, 12 ],
    [ 480, 22, 14 ],
    [ 481, 0, 0 ],
    [ 482, 0, 0 ],
    [ 483, 24, 0 ],
    [ 484, 2, 14 ],
    [ 485, 0, 0 ],
    [ 486, 6, 0 ],
    [ 487, 0, 3 ],
    [ 488, 32, 4 ],
    [ 489, 0, 26 ],
    [ 490, 0, 0 ],
    [ 491, 0, 6 ],
    [ 492, 22, 2 ],
    [ 493, 0, 0 ],
    [ 494, 4, 0 ],
    [ 495, 15, 17 ],
    [ 496, 27, 7 ],
    [ 497, 6, 38 ],
    [ 498, 4, 0 ],
    [ 499, 0, 1 ],
    [ 500, 8, 40 ],
    [ 501, 10, 0 ],
    [ 502, 6, 0 ],
    [ 503, 0, 10 ],
    [ 504, 39, 31 ],
    [ 505, 0, 4 ],
    [ 506, 24, 0 ],
    [ 507, 2, 29 ],
    [ 508, 6, 0 ],
    [ 509, 0, 0 ],
    [ 510, 36, 0 ],
    [ 511, 0, 6 ],
    [ 512, 5, 8 ],
    [ 513, 20, 16 ],
    [ 514, 0, 0 ],
    [ 515, 4, 2 ],
    [ 516, 20, 18 ],
    [ 517, 4, 22 ],
    [ 518, 34, 0 ],
    [ 519, 0, 8 ],
    [ 520, 48, 22 ],
    [ 521, 0, 0 ],
    [ 522, 16, 0 ],
    [ 523, 0, 2 ],
    [ 524, 6, 5 ],
    [ 525, 8, 20 ],
    [ 526, 12, 0 ],
    [ 527, 2, 12 ],
    [ 528, 60, 6 ],
    [ 529, 2, 10 ],
    [ 530, 0, 0 ],
    [ 531, 3, 7 ],
    [ 532, 20, 12 ],
    [ 533, 0, 0 ],
    [ 534, 0, 0 ],
    [ 535, 2, 6 ],
    [ 536, 2, 38 ],
    [ 537, 4, 0 ],
    [ 538, 0, 0 ],
    [ 539, 8, 29 ],
    [ 540, 28, 20 ],
    [ 541, 0, 0 ],
    [ 542, 10, 0 ],
    [ 543, 0, 33 ],
    [ 544, 45, 15 ],
    [ 545, 0, 0 ],
    [ 546, 60, 0 ],
    [ 547, 0, 1 ],
    [ 548, 0, 35 ],
    [ 549, 22, 10 ],
    [ 550, 22, 0 ],
    [ 551, 0, 12 ],
    [ 552, 26, 6 ],
    [ 553, 4, 42 ],
    [ 554, 0, 0 ],
    [ 555, 14, 8 ],
    [ 556, 3, 3 ],
    [ 557, 0, 0 ],
    [ 558, 38, 0 ],
    [ 559, 0, 11 ],
    [ 560, 44, 6 ],
    [ 561, 0, 8 ],
    [ 562, 0, 0 ],
    [ 563, 0, 6 ],
    [ 564, 12, 10 ],
    [ 565, 0, 0 ],
    [ 566, 6, 0 ],
    [ 567, 11, 22 ],
    [ 568, 12, 7 ],
    [ 569, 0, 0 ],
    [ 570, 52, 0 ],
    [ 571, 0, 2 ],
    [ 572, 18, 8 ],
    [ 573, 12, 0 ],
    [ 574, 12, 0 ],
    [ 575, 3, 15 ],
    [ 576, 31, 13 ],
    [ 577, 0, 0 ],
    [ 578, 0, 0 ],
    [ 579, 0, 37 ],
    [ 580, 28, 72 ],
    [ 581, 2, 10 ],
    [ 582, 30, 0 ],
    [ 583, 0, 27 ],
    [ 584, 34, 41 ],
    [ 585, 16, 8 ],
    [ 586, 0, 0 ],
    [ 587, 0, 3 ],
    [ 588, 28, 16 ],
    [ 589, 2, 24 ],
    [ 590, 14, 0 ],
    [ 591, 0, 10 ],
    [ 592, 42, 19 ],
    [ 593, 0, 0 ],
    [ 594, 24, 0 ],
    [ 595, 8, 22 ],
    [ 596, 0, 42 ],
    [ 597, 8, 32 ],
    [ 598, 38, 0 ],
    [ 599, 0, 12 ],
    [ 600, 44, 30 ],
    [ 601, 0, 0 ],
    [ 602, 48, 0 ],
    [ 603, 28, 11 ],
    [ 604, 9, 0 ],
    [ 605, 2, 14 ],
    [ 606, 8, 0 ],
    [ 607, 0, 6 ],
    [ 608, 36, 14 ],
    [ 609, 30, 12 ],
    [ 610, 0, 0 ],
    [ 611, 4, 4 ],
    [ 612, 13, 39 ],
    [ 613, 0, 0 ],
    [ 614, 2, 0 ],
    [ 615, 0, 8 ],
    [ 616, 50, 22 ],
    [ 617, 0, 0 ],
    [ 618, 48, 0 ],
    [ 619, 0, 2 ],
    [ 620, 23, 18 ],
    [ 621, 18, 24 ],
    [ 622, 18, 0 ],
    [ 623, 0, 10 ],
    [ 624, 51, 25 ],
    [ 625, 0, 0 ],
    [ 626, 0, 0 ],
    [ 627, 20, 0 ],
    [ 628, 0, 40 ],
    [ 629, 0, 0 ],
    [ 630, 12, 0 ],
    [ 631, 0, 6 ],
    [ 632, 8, 9 ],
    [ 633, 2, 42 ],
    [ 634, 0, 0 ],
    [ 635, 4, 4 ],
    [ 636, 40, 0 ],
    [ 637, 0, 0 ],
    [ 638, 8, 0 ],
    [ 639, 9, 17 ],
    [ 640, 18, 10 ],
    [ 641, 0, 0 ],
    [ 642, 4, 0 ],
    [ 643, 0, 3 ],
    [ 644, 36, 26 ],
    [ 645, 24, 0 ],
    [ 646, 14, 0 ],
    [ 647, 0, 11 ],
    [ 648, 46, 30 ],
    [ 649, 2, 28 ],
    [ 650, 16, 0 ],
    [ 651, 24, 50 ],
    [ 652, 0, 1 ],
    [ 653, 0, 0 ],
    [ 654, 42, 0 ],
    [ 655, 4, 9 ],
    [ 656, 79, 16 ],
    [ 657, 30, 16 ],
    [ 658, 28, 0 ],
    [ 659, 0, 5 ],
    [ 660, 26, 8 ],
    [ 661, 0, 0 ],
    [ 662, 6, 0 ],
    [ 663, 2, 14 ],
    [ 664, 10, 44 ],
    [ 665, 18, 16 ],
    [ 666, 48, 0 ],
    [ 667, 2, 39 ],
    [ 668, 15, 0 ],
    [ 669, 6, 36 ],
    [ 670, 16, 0 ],
    [ 671, 0, 18 ],
    [ 672, 68, 4 ],
    [ 673, 0, 0 ],
    [ 674, 0, 0 ],
    [ 675, 8, 22 ],
    [ 676, 4, 46 ],
    [ 677, 0, 0 ],
    [ 678, 4, 0 ],
    [ 679, 0, 12 ],
    [ 680, 74, 8 ],
    [ 681, 4, 0 ],
    [ 682, 32, 0 ],
    [ 683, 0, 2 ],
    [ 684, 48, 25 ],
    [ 685, 0, 0 ],
    [ 686, 18, 0 ],
    [ 687, 8, 43 ],
    [ 688, 63, 7 ],
    [ 689, 0, 4 ],
    [ 690, 48, 0 ],
    [ 691, 0, 2 ],
    [ 692, 0, 48 ],
    [ 693, 26, 40 ],
    [ 694, 4, 0 ],
    [ 695, 2, 19 ],
    [ 696, 40, 34 ],
    [ 697, 0, 0 ],
    [ 698, 0, 0 ],
    [ 699, 0, 4 ],
    [ 700, 32, 26 ],
    [ 701, 0, 0 ],
    [ 702, 38, 0 ],
    [ 703, 0, 6 ],
    [ 704, 32, 16 ],
    [ 705, 8, 44 ],
    [ 706, 0, 0 ],
    [ 707, 0, 10 ],
    [ 708, 12, 0 ],
    [ 709, 0, 0 ],
    [ 710, 26, 0 ],
    [ 711, 30, 19 ],
    [ 712, 50, 45 ],
    [ 713, 4, 46 ],
    [ 714, 16, 0 ],
    [ 715, 10, 20 ],
    [ 716, 6, 5 ],
    [ 717, 14, 0 ],
    [ 718, 18, 0 ],
    [ 719, 0, 15 ],
    [ 720, 71, 13 ],
    [ 721, 4, 10 ],
    [ 722, 0, 0 ],
    [ 723, 0, 39 ],
    [ 724, 0, 48 ],
    [ 725, 8, 4 ],
    [ 726, 10, 0 ],
    [ 727, 0, 6 ],
    [ 728, 26, 44 ],
    [ 729, 6, 6 ],
    [ 730, 0, 0 ],
    [ 731, 0, 11 ],
    [ 732, 65, 20 ],
    [ 733, 0, 2 ],
    [ 734, 8, 0 ],
    [ 735, 12, 18 ],
    [ 736, 29, 15 ],
    [ 737, 0, 32 ],
    [ 738, 0, 0 ],
    [ 739, 0, 2 ],
    [ 740, 20, 62 ],
    [ 741, 10, 64 ],
    [ 742, 74, 0 ],
    [ 743, 0, 10 ],
    [ 744, 70, 36 ],
    [ 745, 0, 0 ],
    [ 746, 0, 0 ],
    [ 747, 3, 7 ],
    [ 748, 8, 22 ],
    [ 749, 2, 52 ],
    [ 750, 16, 0 ],
    [ 751, 0, 9 ],
    [ 752, 24, 12 ],
    [ 753, 6, 0 ],
    [ 754, 0, 0 ],
    [ 755, 6, 17 ],
    [ 756, 38, 12 ],
    [ 757, 0, 0 ],
    [ 758, 2, 0 ],
    [ 759, 24, 30 ],
    [ 760, 52, 28 ],
    [ 761, 0, 0 ],
    [ 762, 48, 0 ],
    [ 763, 0, 53 ],
    [ 764, 18, 8 ],
    [ 765, 36, 56 ],
    [ 766, 16, 0 ],
    [ 767, 2, 10 ],
    [ 768, 16, 12 ],
    [ 769, 0, 0 ],
    [ 770, 52, 0 ],
    [ 771, 0, 6 ],
    [ 772, 0, 47 ],
    [ 773, 0, 0 ],
    [ 774, 38, 0 ],
    [ 775, 9, 30 ],
    [ 776, 46, 55 ],
    [ 777, 48, 88 ],
    [ 778, 0, 0 ],
    [ 779, 0, 12 ],
    [ 780, 70, 28 ],
    [ 781, 6, 34 ],
    [ 782, 16, 0 ],
    [ 783, 14, 6 ],
    [ 784, 39, 16 ],
    [ 785, 0, 8 ],
    [ 786, 8, 0 ],
    [ 787, 0, 2 ],
    [ 788, 0, 52 ],
    [ 789, 12, 0 ],
    [ 790, 22, 0 ],
    [ 791, 0, 69 ],
    [ 792, 84, 50 ],
    [ 793, 0, 16 ],
    [ 794, 0, 0 ],
    [ 795, 8, 58 ],
    [ 796, 12, 0 ],
    [ 797, 0, 0 ],
    [ 798, 116, 0 ],
    [ 799, 4, 41 ],
    [ 800, 46, 26 ],
    [ 801, 0, 0 ],
    [ 802, 0, 0 ],
    [ 803, 0, 4 ],
    [ 804, 44, 26 ],
    [ 805, 24, 4 ],
    [ 806, 12, 0 ],
    [ 807, 0, 6 ],
    [ 808, 64, 4 ],
    [ 809, 0, 0 ],
    [ 810, 16, 0 ],
    [ 811, 0, 3 ],
    [ 812, 55, 46 ],
    [ 813, 10, 44 ],
    [ 814, 46, 0 ],
    [ 815, 0, 14 ],
    [ 816, 104, 6 ],
    [ 817, 0, 20 ],
    [ 818, 0, 0 ],
    [ 819, 66, 34 ],
    [ 820, 22, 106 ],
    [ 821, 0, 0 ],
    [ 822, 4, 0 ],
    [ 823, 0, 4 ],
    [ 824, 8, 15 ],
    [ 825, 30, 20 ],
    [ 826, 16, 0 ],
    [ 827, 0, 3 ],
    [ 828, 42, 12 ],
    [ 829, 0, 0 ],
    [ 830, 12, 0 ],
    [ 831, 0, 57 ],
    [ 832, 51, 15 ],
    [ 833, 8, 8 ],
    [ 834, 48, 0 ],
    [ 835, 10, 2 ],
    [ 836, 28, 16 ],
    [ 837, 32, 30 ],
    [ 838, 8, 0 ],
    [ 839, 0, 16 ],
    [ 840, 88, 48 ],
    [ 841, 0, 0 ],
    [ 842, 0, 0 ],
    [ 843, 0, 6 ],
    [ 844, 3, 3 ],
    [ 845, 0, 0 ],
    [ 846, 36, 0 ],
    [ 847, 8, 66 ],
    [ 848, 46, 15 ],
    [ 849, 6, 46 ],
    [ 850, 0, 0 ],
    [ 851, 2, 8 ],
    [ 852, 18, 22 ],
    [ 853, 0, 0 ],
    [ 854, 0, 0 ],
    [ 855, 63, 61 ],
    [ 856, 10, 58 ],
    [ 857, 0, 0 ],
    [ 858, 52, 0 ],
    [ 859, 0, 3 ],
    [ 860, 20, 40 ],
    [ 861, 12, 0 ],
    [ 862, 20, 0 ],
    [ 863, 0, 10 ],
    [ 864, 80, 14 ],
    [ 865, 0, 0 ],
    [ 866, 0, 0 ],
    [ 867, 0, 16 ],
    [ 868, 32, 26 ],
    [ 869, 4, 20 ],
    [ 870, 32, 0 ],
    [ 871, 0, 10 ],
    [ 872, 56, 8 ],
    [ 873, 30, 16 ],
    [ 874, 24, 0 ],
    [ 875, 8, 8 ],
    [ 876, 79, 28 ],
    [ 877, 0, 0 ],
    [ 878, 14, 0 ],
    [ 879, 0, 10 ],
    [ 880, 69, 23 ],
    [ 881, 0, 0 ],
    [ 882, 56, 0 ],
    [ 883, 0, 1 ],
    [ 884, 10, 122 ],
    [ 885, 14, 12 ],
    [ 886, 4, 0 ],
    [ 887, 0, 14 ],
    [ 888, 108, 12 ],
    [ 889, 4, 66 ],
    [ 890, 4, 0 ],
    [ 891, 22, 26 ],
    [ 892, 9, 0 ],
    [ 893, 4, 22 ],
    [ 894, 12, 0 ],
    [ 895, 4, 11 ],
    [ 896, 70, 28 ],
    [ 897, 40, 40 ],
    [ 898, 0, 0 ],
    [ 899, 2, 6 ],
    [ 900, 54, 50 ],
    [ 901, 0, 2 ],
    [ 902, 12, 0 ],
    [ 903, 60, 82 ],
    [ 904, 58, 57 ],
    [ 905, 0, 4 ],
    [ 906, 68, 0 ],
    [ 907, 0, 1 ],
    [ 908, 6, 5 ],
    [ 909, 8, 0 ],
    [ 910, 36, 0 ],
    [ 911, 0, 15 ],
    [ 912, 112, 26 ],
    [ 913, 2, 12 ],
    [ 914, 0, 0 ],
    [ 915, 22, 58 ],
    [ 916, 12, 64 ],
    [ 917, 4, 10 ],
    [ 918, 4, 0 ],
    [ 919, 0, 9 ],
    [ 920, 58, 32 ],
    [ 921, 2, 54 ],
    [ 922, 0, 0 ],
    [ 923, 6, 4 ],
    [ 924, 64, 24 ],
    [ 925, 0, 0 ],
    [ 926, 6, 0 ],
    [ 927, 46, 23 ],
    [ 928, 50, 18 ],
    [ 929, 0, 0 ],
    [ 930, 92, 0 ],
    [ 931, 12, 30 ],
    [ 932, 0, 61 ],
    [ 933, 18, 0 ],
    [ 934, 6, 0 ],
    [ 935, 2, 40 ],
    [ 936, 142, 26 ],
    [ 937, 0, 0 ],
    [ 938, 64, 0 ],
    [ 939, 0, 53 ],
    [ 940, 12, 46 ],
    [ 941, 0, 0 ],
    [ 942, 62, 0 ],
    [ 943, 2, 63 ],
    [ 944, 74, 8 ],
    [ 945, 24, 32 ],
    [ 946, 8, 0 ],
    [ 947, 0, 2 ],
    [ 948, 48, 34 ],
    [ 949, 0, 0 ],
    [ 950, 34, 0 ],
    [ 951, 0, 12 ],
    [ 952, 60, 18 ],
    [ 953, 0, 0 ],
    [ 954, 16, 0 ],
    [ 955, 12, 13 ],
    [ 956, 21, 0 ],
    [ 957, 12, 24 ],
    [ 958, 24, 0 ],
    [ 959, 0, 87 ],
    [ 960, 72, 32 ],
    [ 961, 2, 14 ],
    [ 962, 0, 0 ],
    [ 963, 3, 15 ],
    [ 964, 0, 63 ],
    [ 965, 0, 0 ],
    [ 966, 48, 0 ],
    [ 967, 0, 5 ],
    [ 968, 40, 76 ],
    [ 969, 18, 24 ],
    [ 970, 0, 0 ],
    [ 971, 0, 7 ],
    [ 972, 28, 6 ],
    [ 973, 2, 10 ],
    [ 974, 6, 0 ],
    [ 975, 27, 95 ],
    [ 976, 56, 17 ],
    [ 977, 0, 0 ],
    [ 978, 52, 0 ],
    [ 979, 0, 45 ],
    [ 980, 18, 96 ],
    [ 981, 42, 32 ],
    [ 982, 12, 0 ],
    [ 983, 0, 13 ],
    [ 984, 94, 48 ],
    [ 985, 0, 4 ],
    [ 986, 0, 0 ],
    [ 987, 28, 30 ],
    [ 988, 12, 20 ],
    [ 989, 2, 10 ],
    [ 990, 64, 0 ],
    [ 991, 0, 8 ],
    [ 992, 51, 25 ],
    [ 993, 6, 54 ],
    [ 994, 88, 0 ],
    [ 995, 8, 23 ],
    [ 996, 12, 4 ],
    [ 997, 0, 0 ],
    [ 998, 2, 0 ],
    [ 999, 41, 32 ],
    [ 1000, 104, 8 ]
];
