/************************************************************************
   FILE: anamolous.m  (Magma source file)
   These are the anamolous j-invariants for primes p <= 997.
   We consider a j-invariant anamolous if there exists SOME elliptic 
   curve E/Fp of j-invariant j for which |E(Fp)| = p. 

   PROJECT: Joint project with Loic Merel on the non-cyclotomic nature
            of torsion points on elliptic curves. 
   AUTHOR:  William A. Stein   (was@math.berkeley.edu)
 *************************************************************************/

Anamolous      := [[] : i in [1..997]];

Anamolous[5]   := [4];
Anamolous[7]   := [0, 3];
Anamolous[11]  := [6];
Anamolous[13]  := [2, 9];
Anamolous[17]  := [3];
Anamolous[19]  := [0, 4, 6];
Anamolous[23]  := [4, 16];
Anamolous[29]  := [4, 8];
Anamolous[31]  := [10, 24];
Anamolous[37]  := [0, 16, 35];
Anamolous[41]  := [10];
Anamolous[43]  := [18, 23, 25, 32, 33];
Anamolous[47]  := [13, 21];
Anamolous[53]  := [3, 31, 36];
Anamolous[59]  := [29, 45];
Anamolous[61]  := [0, 7, 21, 23, 59];
Anamolous[67]  := [2, 26];
Anamolous[71]  := [3, 39, 61];
Anamolous[73]  := [11, 14, 40, 67];
Anamolous[79]  := [6, 13, 28, 40, 62, 71];
Anamolous[83]  := [12, 26, 63];
Anamolous[89]  := [35, 45, 69, 81];
Anamolous[97]  := [30, 54, 71, 81, 91];
Anamolous[101] := [16, 99];
Anamolous[103] := [18, 33, 53, 74, 82, 87];
Anamolous[107] := [8, 60];
Anamolous[109] := [48, 62, 88, 102];
Anamolous[113] := [3, 22, 26, 55, 69, 82];
Anamolous[127] := [0, 23, 70, 79, 92];
Anamolous[131] := [68, 88, 102, 114, 125];
Anamolous[137] := [7, 8, 95];
Anamolous[139] := [2, 50, 61, 109];
Anamolous[149] := [8, 16, 50, 70];
Anamolous[151] := [40, 75, 96, 99, 125];
Anamolous[157] := [15, 53, 122, 133];
Anamolous[163] := [12, 50, 56, 80, 112, 124, 131, 144];
Anamolous[167] := [79, 94, 134, 158];
Anamolous[173] := [31, 39, 76, 82, 161];
Anamolous[179] := [15, 20, 54, 59];
Anamolous[181] := [60, 61, 83, 124];
Anamolous[191] := [22, 77, 153, 163];
Anamolous[193] := [56, 91, 100, 101, 109, 120];
Anamolous[197] := [16, 59, 93, 99, 116];
Anamolous[199] := [23, 81, 102, 168];
Anamolous[211] := [44, 56, 59, 99, 163, 174];
Anamolous[223] := [9, 13, 25, 143, 161, 183, 204, 206, 222];
Anamolous[227] := [87, 150, 162];
Anamolous[229] := [47, 76, 83, 89, 130, 142, 151, 171];
Anamolous[233] := [42, 47, 106, 182, 188, 198, 220];
Anamolous[239] := [72, 95, 127, 146];
Anamolous[241] := [33, 39, 66, 77, 105, 164, 210, 215, 223];
Anamolous[251] := [59, 163, 196, 227];
Anamolous[257] := [97, 124, 129, 163];
Anamolous[263] := [4, 66, 154, 176, 249];
Anamolous[269] := [49, 148, 158, 169, 257, 258, 262];
Anamolous[271] := [0, 7, 26, 200, 246, 255, 269];
Anamolous[277] := [11, 27, 137, 156, 174, 179, 264, 268];
Anamolous[281] := [28, 98, 153, 179, 257];
Anamolous[283] := [28, 46, 119, 123, 193, 270, 276, 280];
Anamolous[293] := [6, 9, 64, 74, 123, 247, 254];
Anamolous[307] := [98, 132, 138, 142];
Anamolous[311] := [54, 129, 251, 273];
Anamolous[313] := [20, 24, 26, 84, 92, 167, 212, 233, 235, 238, 250, 260, 261, 263, 278];
Anamolous[317] := [48, 66, 82, 147, 152, 291];
Anamolous[331] := [0, 21, 36, 44, 98, 99, 195, 226, 236, 246];
Anamolous[337] := [90, 171, 272, 296, 305, 325];
Anamolous[347] := [100, 117, 237, 275];
Anamolous[349] := [20, 91, 104, 136, 168, 209, 246, 262, 272, 281, 284, 306];
Anamolous[353] := [5, 9, 12, 157];
Anamolous[359] := [24, 176, 189, 304];
Anamolous[367] := [39, 63, 161, 236, 276];
Anamolous[373] := [40, 73, 98, 141, 196, 198, 246, 258, 275, 285, 319, 352];
Anamolous[379] := [2, 12, 122, 134, 141, 261, 282, 292, 298, 307, 341, 355];
Anamolous[383] := [5, 17, 64, 74, 76, 174, 239, 253, 272, 324, 330];
Anamolous[389] := [58, 381, 382, 383];
Anamolous[397] := [0, 75, 121, 156, 233, 247, 264, 266, 312];
Anamolous[401] := [84, 115, 140, 173, 273, 400];
Anamolous[409] := [133, 141, 175, 235, 246, 283, 304, 347];
Anamolous[419] := [61, 183, 225, 278, 295, 300, 404];
Anamolous[421] := [99, 124, 138, 153, 199, 233, 318, 385, 401, 407];
Anamolous[431] := [95, 119, 155, 233, 246];
Anamolous[433] := [9, 14, 44, 114, 219, 225, 361, 407];
Anamolous[439] := [25, 30, 36, 118, 139, 180, 209, 250, 254, 258, 303, 319, 337, 351, 374, 419];
Anamolous[443] := [164, 185, 206, 263, 271, 319, 339, 426];
Anamolous[449] := [30, 61, 186, 201, 263, 280, 289, 314];
Anamolous[457] := [26, 63, 132, 168, 189, 250, 270, 290, 323, 381, 415, 451];
Anamolous[461] := [109, 240, 321, 350, 455, 459];
Anamolous[463] := [14, 122, 164, 165, 188, 192, 263, 312, 332, 371, 375, 378, 404, 457];
Anamolous[467] := [233, 266, 309, 339, 401];
Anamolous[479] := [125, 298, 375, 388, 413, 452];
Anamolous[487] := [48, 57, 87, 261, 288, 297, 322, 383];
Anamolous[491] := [27, 249, 294, 304, 408, 445];
Anamolous[499] := [30, 60, 170, 214, 257, 262, 301, 387];
Anamolous[503] := [214, 235, 252, 271, 311, 313, 318];
Anamolous[509] := [108, 120, 157, 158, 217, 274, 390, 471];
Anamolous[521] := [60, 96, 114, 190, 266, 320, 331];
Anamolous[523] := [7, 32, 103, 166, 223, 230, 300, 302, 320, 417, 455, 478];
Anamolous[541] := [24, 259, 348, 408, 424, 472, 517, 536];
Anamolous[547] := [0, 57, 131, 141, 208, 227, 230, 258, 320, 355, 393, 440, 500, 543];
Anamolous[557] := [38, 83, 247, 298, 544, 551];
Anamolous[563] := [5, 52, 220, 286, 308, 448, 537];
Anamolous[569] := [19, 25, 100, 288, 349, 364, 385, 458, 520, 527];
Anamolous[571] := [40, 93, 135, 153, 475, 528];
Anamolous[577] := [30, 61, 148, 149, 310, 323, 387, 504];
Anamolous[587] := [152, 177, 346, 494, 563];
Anamolous[593] := [14, 70, 81, 90, 101, 143, 207, 236, 253, 348, 451, 465, 557];
Anamolous[599] := [5, 66, 199, 233, 253, 495, 540, 590];
Anamolous[601] := [117, 286, 359, 393, 432, 474, 489, 517];
Anamolous[607] := [13, 79, 245, 266, 334, 361, 364, 380, 444, 487, 508, 509, 546, 591];
Anamolous[613] := [60, 146, 166, 218, 342, 355, 434, 543];
Anamolous[617] := [35, 151, 173, 191, 224, 319, 561];
Anamolous[619] := [36, 39, 66, 78, 120, 169, 230, 250, 276, 306, 312, 368, 384, 421, 551];
Anamolous[631] := [0, 3, 4, 18, 208, 274, 318, 405, 547, 550, 582];
Anamolous[641] := [238, 266, 320, 373, 381, 563];
Anamolous[643] := [14, 34, 78, 92, 101, 138, 177, 242, 264, 266, 278, 291, 358, 397];
Anamolous[647] := [82, 205, 271, 301, 397, 497, 517, 608];
Anamolous[653] := [58, 68, 143, 172, 192, 518, 553, 639];
Anamolous[659] := [43, 132, 198, 209, 219, 307, 339, 404, 419, 558, 590, 627];
Anamolous[661] := [18, 45, 131, 181, 219, 363, 439, 479, 565, 583];
Anamolous[673] := [21, 32, 46, 57, 60, 141, 167, 214, 244, 287, 309, 329, 389, 394, 400, 419, 432, 436, 530, 538, 587, 615, 617, 641];
Anamolous[677] := [13, 57, 66, 383, 443, 524, 552];
Anamolous[683] := [37, 87, 311, 356, 391, 404, 417, 438, 523, 626, 676];
Anamolous[691] := [2, 65, 81, 239, 286, 291, 305, 328, 344, 459, 609, 645, 657, 675, 679];
Anamolous[701] := [3, 25, 123, 210, 420, 466, 497, 663, 687];
Anamolous[709] := [33, 70, 133, 197, 223, 251, 373, 374, 405, 439, 476, 490, 581, 634, 638, 653, 684, 707];
Anamolous[719] := [28, 71, 181, 208, 477, 522, 613, 628, 644, 651, 703, 705];
Anamolous[727] := [110, 158, 195, 329, 335, 429, 483, 496, 505, 518, 537, 654];
Anamolous[733] := [21, 24, 42, 118, 154, 179, 226, 271, 279, 341, 350, 450, 663, 721];
Anamolous[739] := [24, 68, 73, 79, 88, 240, 247, 287, 317, 405, 518, 670];
Anamolous[743] := [19, 34, 37, 117, 213, 278, 286, 347, 436, 480, 611];
Anamolous[751] := [92, 300, 313, 374, 473, 537, 565, 582];
Anamolous[757] := [69, 139, 162, 174, 223, 276, 324, 367, 404, 406, 481, 715];
Anamolous[761] := [210, 286, 300, 304, 370, 373, 514, 530, 598, 601, 611, 669];
Anamolous[769] := [108, 140, 172, 184, 292, 476, 494, 509, 570, 621, 671, 716, 760, 766];
Anamolous[773] := [29, 37, 96, 125, 284, 513, 524, 575, 580, 656];
Anamolous[787] := [37, 56, 140, 290, 302, 336, 448, 514, 547, 644];
Anamolous[797] := [76, 123, 200, 208, 389, 744, 747];
Anamolous[809] := [205, 207, 456, 503, 618, 757];
Anamolous[811] := [46, 273, 400, 449, 527, 638, 667, 724];
Anamolous[821] := [50, 114, 217, 243, 473, 546, 762, 776, 792];
Anamolous[823] := [14, 77, 112, 236, 250, 252, 634, 734, 813, 814];
Anamolous[827] := [54, 114, 242, 247, 324, 351, 363, 532, 616];
Anamolous[829] := [6, 134, 138, 162, 273, 278, 315, 601];
Anamolous[839] := [6, 68, 161, 285, 333, 365, 627, 734];
Anamolous[853] := [19, 113, 203, 254, 276, 293, 340, 395, 459, 463, 498, 598, 676, 685, 792];
Anamolous[857] := [35, 71, 406, 436, 532, 556];
Anamolous[859] := [134, 159, 191, 256, 296, 299, 410, 435, 476, 487, 518, 531, 570, 614, 837, 855];
Anamolous[863] := [88, 116, 164, 228, 306, 392, 410, 427, 638, 697, 719, 770];
Anamolous[877] := [52, 71, 263, 264, 438, 485, 697, 815];
Anamolous[881] := [75, 177, 373, 413, 522, 630];
Anamolous[883] := [40, 153, 181, 203, 241, 251, 276, 298, 333, 345, 409, 454, 473, 599, 623, 642];
Anamolous[887] := [143, 208, 279, 294, 481, 751, 771, 812, 878];
Anamolous[907] := [108, 249, 351, 382, 404, 457, 557, 753, 831, 840];
Anamolous[911] := [154, 230, 281, 356, 506, 542, 691, 770, 865];
Anamolous[919] := [0, 56, 63, 177, 191, 228, 354, 372, 378, 470, 488, 552, 594, 637, 736, 740, 873];
Anamolous[929] := [15, 204, 262, 310, 447, 472, 542, 684, 699, 800, 848, 880, 890, 894];
Anamolous[937] := [86, 121, 154, 483, 500, 563, 630, 674, 730, 778, 829, 888];
Anamolous[941] := [37, 71, 517, 609, 793, 868];
Anamolous[947] := [92, 253, 598, 601, 610, 651, 713, 900];
Anamolous[953] := [75, 89, 231, 317, 323, 328, 346, 593, 703, 910];
Anamolous[967] := [48, 83, 108, 116, 152, 218, 350, 421, 490, 671, 770, 890, 907, 922];
Anamolous[971] := [49, 97, 174, 243, 376, 515, 589, 728];
Anamolous[977] := [135, 202, 507, 690, 814, 890, 895];
Anamolous[983] := [20, 118, 140, 176, 195, 236, 394, 470, 498, 800, 820];
Anamolous[991] := [56, 140, 236, 418, 441, 531, 634, 933];
Anamolous[997] := [41, 62, 91, 288, 409, 455, 484, 560, 624, 645, 648, 682, 819, 930, 987];







