user=mdettweiler [2013-07-25 00:11:49] 861*2^1248010-1 is not prime. Res64: 51E0DDF950595267 Time : 0.0 sec. user=mdettweiler [2013-07-25 00:11:50] 917*2^1248010-1 is not prime. Res64: 74E2D0AAF4EFEB28 Time : 0.0 sec. user=juhehe [2013-07-25 00:14:38] 743*2^1248010-1 is not prime. Res64: 04E469CDC86E3F48 Time : 0.0 sec. user=mdettweiler [2013-07-25 00:30:41] 923*2^1248010-1 is not prime. Res64: 86892B796CBD0389 Time : 0.0 sec. user=mdettweiler [2013-07-25 00:30:41] 981*2^1248010-1 is not prime. Res64: 3AF0A45785BC6FB9 Time : 0.0 sec. user=juhehe [2013-07-25 00:34:40] 621*2^1248011-1 is not prime. Res64: 59DE70CDA242022F Time : 0.0 sec. user=mdettweiler [2013-07-25 00:47:51] 693*2^1248011-1 is not prime. Res64: D2A460E2A62477D8 Time : 0.0 sec. user=mdettweiler [2013-07-25 00:47:51] 753*2^1248011-1 is not prime. Res64: D5728FD02D4F3054 Time : 0.0 sec. user=mdettweiler [2013-07-25 01:05:00] 775*2^1248011-1 is not prime. Res64: 95C49B69B36AD12C Time : 0.0 sec. user=mdettweiler [2013-07-25 01:05:01] 801*2^1248011-1 is not prime. Res64: 2E8B65421040F06B Time : 0.0 sec. user=mdettweiler [2013-07-25 01:22:13] 901*2^1248011-1 is not prime. Res64: 0929BE38605C6205 Time : 0.0 sec. user=mdettweiler [2013-07-25 01:22:14] 903*2^1248011-1 is not prime. Res64: CD53D2CE13EADAFC Time : 0.0 sec. user=mdettweiler [2013-07-25 01:40:11] 991*2^1248011-1 is not prime. Res64: C5C982BFCFBA8FDA Time : 0.0 sec. user=mdettweiler [2013-07-25 01:40:12] 627*2^1248012-1 is not prime. Res64: C73A1CAC15660BB2 Time : 0.0 sec. user=mdettweiler [2013-07-25 01:57:21] 689*2^1248012-1 is not prime. Res64: AFA2DC89C989E3A9 Time : 0.0 sec. user=mdettweiler [2013-07-25 01:57:21] 753*2^1248012-1 is not prime. Res64: 1F8A1A793F8786B4 Time : 0.0 sec. user=juhehe [2013-07-25 02:06:24] 977*2^1248012-1 is not prime. Res64: 517F29320909091E Time : 0.0 sec. user=mdettweiler [2013-07-25 02:14:29] 609*2^1248013-1 is not prime. Res64: 654532477313959D Time : 0.0 sec. user=mdettweiler [2013-07-25 02:14:30] 619*2^1248013-1 is not prime. Res64: 05DB23540AB83C6B Time : 0.0 sec. user=mdettweiler [2013-07-25 02:31:39] 679*2^1248013-1 is not prime. Res64: 483C3EFC3CCFA96C Time : 0.0 sec. user=mdettweiler [2013-07-25 02:31:40] 715*2^1248013-1 is not prime. Res64: C19C244157229E37 Time : 0.0 sec. user=mdettweiler [2013-07-25 02:49:01] 847*2^1248013-1 is not prime. Res64: D39CDC50DE827D94 Time : 0.0 sec. user=mdettweiler [2013-07-25 02:49:02] 915*2^1248013-1 is not prime. Res64: 198DF95FC5AD2F08 Time : 0.0 sec. user=mdettweiler [2013-07-25 03:06:15] 641*2^1248014-1 is not prime. Res64: FE060F9F61356742 Time : 0.0 sec. user=mdettweiler [2013-07-25 03:06:16] 677*2^1248014-1 is not prime. Res64: 8FE1844F8C9824B0 Time : 0.0 sec. user=mdettweiler [2013-07-25 03:23:29] 813*2^1248014-1 is not prime. Res64: 3B1CC4C170F1E63A Time : 0.0 sec. user=mdettweiler [2013-07-25 03:23:29] 827*2^1248014-1 is not prime. Res64: FAB5FE10D2E7B633 Time : 0.0 sec. user=mdettweiler [2013-07-25 03:40:39] 613*2^1248015-1 is not prime. Res64: FA8B2E4617C85434 Time : 0.0 sec. user=mdettweiler [2013-07-25 03:40:39] 679*2^1248015-1 is not prime. Res64: 967B8C4630F2D6B3 Time : 0.0 sec. user=mdettweiler [2013-07-25 03:57:50] 693*2^1248015-1 is not prime. Res64: 2D7B324780E42692 Time : 0.0 sec. user=mdettweiler [2013-07-25 03:57:51] 709*2^1248015-1 is not prime. Res64: 806107C8275BE867 Time : 0.0 sec. user=mdettweiler [2013-07-25 04:14:59] 735*2^1248015-1 is not prime. Res64: FE6C1EBE3B0C8903 Time : 0.0 sec. user=mdettweiler [2013-07-25 04:15:00] 763*2^1248015-1 is not prime. Res64: DE997E3F2A3679B8 Time : 0.0 sec. user=mdettweiler [2013-07-25 04:32:13] 781*2^1248015-1 is not prime. Res64: 422D14E8F58F11FC Time : 0.0 sec. user=mdettweiler [2013-07-25 04:32:15] 831*2^1248015-1 is not prime. Res64: 8DAB403CF721952E Time : 0.0 sec. user=mdettweiler [2013-07-25 04:49:42] 849*2^1248015-1 is not prime. Res64: C97C8F48FAAF5F8A Time : 0.0 sec. user=mdettweiler [2013-07-25 04:49:42] 921*2^1248015-1 is not prime. Res64: 64C408204F315B2F Time : 0.0 sec. user=mdettweiler [2013-07-25 05:06:52] 759*2^1248016-1 is not prime. Res64: 93EB4B341E6FAC0D Time : 0.0 sec. user=mdettweiler [2013-07-25 05:06:53] 741*2^1248017-1 is not prime. Res64: D7B6EA53F0E0F300 Time : 0.0 sec. user=mdettweiler [2013-07-25 05:24:55] 937*2^1248017-1 is not prime. Res64: 17CF5EACEAEF6390 Time : 0.0 sec. user=mdettweiler [2013-07-25 05:24:55] 985*2^1248017-1 is not prime. Res64: 9133CF1B69AA081C Time : 0.0 sec. user=mdettweiler [2013-07-25 05:42:05] 605*2^1248018-1 is not prime. Res64: 4C9E070428165F64 Time : 0.0 sec. user=mdettweiler [2013-07-25 05:42:05] 611*2^1248018-1 is not prime. Res64: 80B2BCEE7D40DD14 Time : 0.0 sec. user=mdettweiler [2013-07-25 05:59:14] 635*2^1248018-1 is not prime. Res64: F520AD48C1025B0A Time : 0.0 sec. user=mdettweiler [2013-07-25 05:59:14] 647*2^1248018-1 is not prime. Res64: BB445916B6CEEE70 Time : 0.0 sec. user=mdettweiler [2013-07-25 06:16:23] 663*2^1248018-1 is not prime. Res64: 30982088B264122D Time : 0.0 sec. user=mdettweiler [2013-07-25 06:16:24] 705*2^1248018-1 is not prime. Res64: A8E1A05E1A5F8FAA Time : 0.0 sec. user=mdettweiler [2013-07-25 06:33:32] 755*2^1248018-1 is not prime. Res64: CA7B8405A7DA1D55 Time : 0.0 sec. user=mdettweiler [2013-07-25 06:33:33] 881*2^1248018-1 is not prime. Res64: B5DFBCF2C3A6D807 Time : 0.0 sec. user=mdettweiler [2013-07-25 06:51:30] 933*2^1248018-1 is not prime. Res64: 261E65D948FD94BD Time : 0.0 sec. user=mdettweiler [2013-07-25 06:51:31] 975*2^1248018-1 is not prime. Res64: 64DB76E41A34D620 Time : 0.0 sec. user=mdettweiler [2013-07-25 07:09:28] 1001*2^1248018-1 is not prime. Res64: 907B70E6781CB944 Time : 0.0 sec. user=mdettweiler [2013-07-25 07:09:29] 609*2^1248019-1 is not prime. Res64: 327AA920CBEF0A12 Time : 0.0 sec. user=mdettweiler [2013-07-25 07:26:43] 663*2^1248019-1 is not prime. Res64: 59C54A2F495C6B5B Time : 0.0 sec. user=mdettweiler [2013-07-25 07:26:43] 723*2^1248019-1 is not prime. Res64: 775E92CA355A1194 Time : 0.0 sec. user=mdettweiler [2013-07-25 07:43:52] 733*2^1248019-1 is not prime. Res64: 15183C313E32A757 Time : 0.0 sec. user=mdettweiler [2013-07-25 07:43:53] 861*2^1248019-1 is not prime. Res64: 77AC9DE7B098C9D3 Time : 0.0 sec. user=mdettweiler [2013-07-25 08:01:51] 891*2^1248019-1 is not prime. Res64: E1766A295BAD58D6 Time : 0.0 sec. user=mdettweiler [2013-07-25 08:01:52] 961*2^1248019-1 is not prime. Res64: 84CC60D4E6E0605F Time : 0.0 sec. user=mdettweiler [2013-07-25 08:20:03] 975*2^1248019-1 is not prime. Res64: 738AA87C4FAA0343 Time : 0.0 sec. user=mdettweiler [2013-07-25 08:20:03] 677*2^1248020-1 is not prime. Res64: 8320EE8B7C796221 Time : 0.0 sec. user=mdettweiler [2013-07-25 08:37:13] 735*2^1248020-1 is not prime. Res64: 9E6AE4B8DF56CDFF Time : 0.0 sec. user=mdettweiler [2013-07-25 08:37:14] 785*2^1248020-1 is not prime. Res64: 954D898D71D9AE09 Time : 0.0 sec. user=mdettweiler [2013-07-25 08:54:22] 899*2^1248020-1 is not prime. Res64: E8932567906FFC9A Time : 0.0 sec. user=mdettweiler [2013-07-25 08:54:22] 915*2^1248020-1 is not prime. Res64: F6D4DD9557D7439B Time : 0.0 sec. user=mdettweiler [2013-07-25 09:11:32] 945*2^1248020-1 is not prime. Res64: 0D3E2AF4F7818EFE Time : 0.0 sec. user=mdettweiler [2013-07-25 09:11:33] 627*2^1248021-1 is not prime. Res64: 0349D860BE78AE74 Time : 0.0 sec. user=mdettweiler [2013-07-25 09:28:47] 651*2^1248021-1 is not prime. Res64: B5FD5DA1CED86C1B Time : 0.0 sec. user=mdettweiler [2013-07-25 09:28:48] 745*2^1248021-1 is not prime. Res64: BE3C81175C6CBBDF Time : 0.0 sec. user=mdettweiler [2013-07-25 09:45:58] 811*2^1248021-1 is not prime. Res64: 0980DE69EF188BC9 Time : 0.0 sec. user=mdettweiler [2013-07-25 09:45:58] 829*2^1248021-1 is not prime. Res64: 71DDAF663ABCA5E7 Time : 0.0 sec. user=mdettweiler [2013-07-25 10:03:56] 997*2^1248021-1 is not prime. Res64: F5D9E6C9A4770C26 Time : 0.0 sec. user=mdettweiler [2013-07-25 10:03:57] 657*2^1248022-1 is not prime. Res64: 9C8CF93079E815E0 Time : 0.0 sec. user=mdettweiler [2013-07-25 10:21:21] 677*2^1248022-1 is not prime. Res64: B27D9F920A66400D Time : 0.0 sec. user=mdettweiler [2013-07-25 10:21:21] 821*2^1248022-1 is not prime. Res64: EC90471131A5B2EF Time : 0.0 sec. user=mdettweiler [2013-07-25 10:38:31] 831*2^1248022-1 is not prime. Res64: 3F1A89AE7C8D325E Time : 0.0 sec. user=mdettweiler [2013-07-25 10:38:31] 843*2^1248022-1 is not prime. Res64: 14000625265B36CC Time : 0.0 sec. user=mdettweiler [2013-07-25 10:55:39] 857*2^1248022-1 is not prime. Res64: BE346A2EF803F0FA Time : 0.0 sec. user=mdettweiler [2013-07-25 10:55:40] 915*2^1248022-1 is not prime. Res64: 8C055AA3225252A5 Time : 0.0 sec. user=mdettweiler [2013-07-25 11:14:25] 947*2^1248022-1 is not prime. Res64: BF6A2B6BAB05E757 Time : 0.0 sec. user=mdettweiler [2013-07-25 11:14:26] 951*2^1248022-1 is not prime. Res64: 6992FD90A2200608 Time : 0.0 sec. user=mdettweiler [2013-07-25 11:32:47] 983*2^1248022-1 is not prime. Res64: BCC3B24F67E14863 Time : 0.0 sec. user=mdettweiler [2013-07-25 11:32:47] 921*2^1248023-1 is not prime. Res64: D517F4591565D7B2 Time : 0.0 sec. user=mdettweiler [2013-07-25 11:50:27] 915*2^1248024-1 is not prime. Res64: 4BBB0876BA4161B9 Time : 0.0 sec. user=mdettweiler [2013-07-25 11:50:27] 945*2^1248024-1 is not prime. Res64: 0A5444CB8D9A81A6 Time : 0.0 sec. user=juhehe [2013-07-25 11:51:32] 707*2^1248024-1 is not prime. Res64: 1CB1BED91723990B Time : 0.0 sec. user=mdettweiler [2013-07-25 12:08:02] 691*2^1248025-1 is not prime. Res64: C9C3F71BAF10C03D Time : 0.0 sec. user=mdettweiler [2013-07-25 12:08:03] 705*2^1248025-1 is not prime. Res64: 1E9C1B595B2A3E68 Time : 0.0 sec. user=mdettweiler [2013-07-25 12:25:42] 729*2^1248025-1 is not prime. Res64: D92FF098842DE143 Time : 0.0 sec. user=mdettweiler [2013-07-25 12:25:42] 775*2^1248025-1 is not prime. Res64: 09FC15266F0FC859 Time : 0.0 sec. user=mdettweiler [2013-07-25 12:43:18] 831*2^1248025-1 is not prime. Res64: BD3E90870BAFC2AE Time : 0.0 sec. user=mdettweiler [2013-07-25 12:43:18] 841*2^1248025-1 is not prime. Res64: 4379AD0C4EA62BBC Time : 0.0 sec. user=mdettweiler [2013-07-25 13:00:54] 615*2^1248026-1 is not prime. Res64: 472C60B66605C7B4 Time : 0.0 sec. user=mdettweiler [2013-07-25 13:00:55] 671*2^1248026-1 is not prime. Res64: A78AD10A04A46D53 Time : 0.0 sec. user=mdettweiler [2013-07-25 13:18:42] 711*2^1248026-1 is not prime. Res64: 93C599CCC64687C1 Time : 0.0 sec. user=mdettweiler [2013-07-25 13:18:42] 861*2^1248026-1 is not prime. Res64: 2090C321FC08C1DB Time : 0.0 sec. user=mdettweiler [2013-07-25 13:36:19] 893*2^1248026-1 is not prime. Res64: B43630F7CFDCC4A4 Time : 0.0 sec. user=mdettweiler [2013-07-25 13:36:19] 923*2^1248026-1 is not prime. Res64: 305E9566DDC103D8 Time : 0.0 sec. user=mdettweiler [2013-07-25 13:53:56] 709*2^1248027-1 is not prime. Res64: ED62649C1407DB90 Time : 0.0 sec. user=mdettweiler [2013-07-25 13:53:56] 861*2^1248027-1 is not prime. Res64: D2FD3E0153ABF275 Time : 0.0 sec. user=juhehe [2013-07-25 14:00:36] 619*2^1248027-1 is not prime. Res64: 8AB67E7887183506 Time : 0.0 sec. user=mdettweiler [2013-07-25 14:11:33] 873*2^1248027-1 is not prime. Res64: 63E08375B0149CAF Time : 0.0 sec. user=mdettweiler [2013-07-25 14:11:34] 903*2^1248027-1 is not prime. Res64: 9C2DC43AA63495DC Time : 0.0 sec. user=mdettweiler [2013-07-25 14:30:12] 919*2^1248027-1 is not prime. Res64: 07C76A98220B05FF Time : 0.0 sec. user=mdettweiler [2013-07-25 14:30:12] 963*2^1248027-1 is not prime. Res64: 487348033239F16D Time : 0.0 sec. user=mdettweiler [2013-07-25 14:48:01] 617*2^1248028-1 is not prime. Res64: 71450D1317504083 Time : 0.0 sec. user=mdettweiler [2013-07-25 14:48:03] 687*2^1248028-1 is not prime. Res64: 877CF9F3829C1333 Time : 0.0 sec. user=mdettweiler [2013-07-25 15:06:44] 839*2^1248028-1 is not prime. Res64: 219A6F4E4F1005C0 Time : 0.0 sec. user=mdettweiler [2013-07-25 15:06:45] 885*2^1248028-1 is not prime. Res64: BBAC93D03ADA3A3C Time : 0.0 sec. user=mdettweiler [2013-07-25 15:26:19] 969*2^1248028-1 is not prime. Res64: D30988E423F3EB16 Time : 0.0 sec. user=mdettweiler [2013-07-25 15:26:19] 645*2^1248029-1 is not prime. Res64: 564FCE669043BE7C Time : 0.0 sec. user=mdettweiler [2013-07-25 15:43:53] 729*2^1248029-1 is not prime. Res64: EA41B96CAFB32214 Time : 0.0 sec. user=mdettweiler [2013-07-25 15:43:54] 741*2^1248029-1 is not prime. Res64: C02F094B875793D0 Time : 0.0 sec. user=mdettweiler [2013-07-25 16:01:29] 745*2^1248029-1 is not prime. Res64: 2F084019DD5B001F Time : 0.0 sec. user=mdettweiler [2013-07-25 16:01:29] 837*2^1248029-1 is not prime. Res64: 167C9AE677FC2D45 Time : 0.0 sec. user=mdettweiler [2013-07-25 16:19:17] 889*2^1248029-1 is not prime. Res64: B650F79236D0753B Time : 0.0 sec. user=mdettweiler [2013-07-25 16:19:17] 717*2^1248030-1 is not prime. Res64: FA2CD053BAF3CEA0 Time : 0.0 sec. user=mdettweiler [2013-07-25 16:36:52] 741*2^1248030-1 is not prime. Res64: 54533CFE2ED119FF Time : 0.0 sec. user=mdettweiler [2013-07-25 16:36:53] 801*2^1248030-1 is not prime. Res64: 4DCCA770671E6692 Time : 0.0 sec. user=mdettweiler [2013-07-25 16:54:29] 723*2^1248031-1 is not prime. Res64: 6764774357A22BD1 Time : 0.0 sec. user=mdettweiler [2013-07-25 16:54:30] 775*2^1248031-1 is not prime. Res64: 1C5BE972C16A2C05 Time : 0.0 sec. user=mdettweiler [2013-07-25 17:12:05] 849*2^1248031-1 is not prime. Res64: 4D34A1AEB23BC818 Time : 0.0 sec. user=mdettweiler [2013-07-25 17:12:05] 883*2^1248031-1 is not prime. Res64: 17F1A555973403B3 Time : 0.0 sec. user=mdettweiler [2013-07-25 17:31:20] 951*2^1248031-1 is not prime. Res64: 6EEDBDFC3676F919 Time : 0.0 sec. user=mdettweiler [2013-07-25 17:31:21] 999*2^1248031-1 is not prime. Res64: FDCBF90FED082FE2 Time : 0.0 sec. user=mdettweiler [2013-07-25 17:48:55] 609*2^1248032-1 is not prime. Res64: 175D95DA3A60D7CD Time : 0.0 sec. user=mdettweiler [2013-07-25 17:48:55] 623*2^1248032-1 is not prime. Res64: 7E29F0ECA9F2A379 Time : 0.0 sec. user=mdettweiler [2013-07-25 18:06:31] 755*2^1248032-1 is not prime. Res64: 6E3969A0587764CF Time : 0.0 sec. user=mdettweiler [2013-07-25 18:06:32] 739*2^1248033-1 is not prime. Res64: E636F56BA8349D49 Time : 0.0 sec. user=mdettweiler [2013-07-25 18:24:11] 759*2^1248033-1 is not prime. Res64: 094BF8B0F2A725B4 Time : 0.0 sec. user=mdettweiler [2013-07-25 18:24:12] 889*2^1248033-1 is not prime. Res64: 35F63D35B1F08A24 Time : 0.0 sec. user=mdettweiler [2013-07-25 18:42:36] 955*2^1248033-1 is not prime. Res64: 636D496D5D260565 Time : 0.0 sec. user=mdettweiler [2013-07-25 18:42:36] 857*2^1248034-1 is not prime. Res64: BB83A969AC51EED9 Time : 0.0 sec. user=mdettweiler [2013-07-25 19:01:02] 993*2^1248034-1 is not prime. Res64: 8FF5921FD1A28AE6 Time : 0.0 sec. user=mdettweiler [2013-07-25 19:01:02] 643*2^1248035-1 is not prime. Res64: 02933AA898A70288 Time : 0.0 sec. user=mdettweiler [2013-07-25 19:18:53] 655*2^1248035-1 is not prime. Res64: 15321EC28B45EB95 Time : 0.0 sec. user=mdettweiler [2013-07-25 19:18:53] 699*2^1248035-1 is not prime. Res64: 26F07790D50A018E Time : 0.0 sec. user=mdettweiler [2013-07-25 19:36:29] 871*2^1248035-1 is not prime. Res64: 594C848155D10249 Time : 0.0 sec. user=mdettweiler [2013-07-25 19:36:29] 909*2^1248035-1 is not prime. Res64: BB21D6DC3AD2131C Time : 0.0 sec. user=mdettweiler [2013-07-25 19:54:54] 999*2^1248035-1 is not prime. Res64: 9AA2E505481B17E3 Time : 0.0 sec. user=mdettweiler [2013-07-25 19:54:54] 779*2^1248036-1 is not prime. Res64: 9F2911C7A157C0C3 Time : 0.0 sec. user=mdettweiler [2013-07-25 20:12:29] 873*2^1248036-1 is not prime. Res64: E1D9A5BE186750EB Time : 0.0 sec. user=mdettweiler [2013-07-25 20:12:30] 879*2^1248036-1 is not prime. Res64: 92905BD55A0E05E8 Time : 0.0 sec. user=mdettweiler [2013-07-25 20:30:05] 639*2^1248037-1 is not prime. Res64: 75B2E29847991C05 Time : 0.0 sec. user=mdettweiler [2013-07-25 20:30:06] 649*2^1248037-1 is not prime. Res64: BB32701EDCB37271 Time : 0.0 sec. user=mdettweiler [2013-07-25 20:47:41] 771*2^1248037-1 is not prime. Res64: 4148423B235A1946 Time : 0.0 sec. user=mdettweiler [2013-07-25 20:47:41] 817*2^1248037-1 is not prime. Res64: 782F7160D53D545D Time : 0.0 sec. user=mdettweiler [2013-07-25 21:05:18] 861*2^1248037-1 is not prime. Res64: CE34E441E48C8DD5 Time : 0.0 sec. user=mdettweiler [2013-07-25 21:05:18] 937*2^1248037-1 is not prime. Res64: E3830D7E9C3D32EA Time : 0.0 sec. user=mdettweiler [2013-07-25 21:22:58] 605*2^1248038-1 is not prime. Res64: C2FCB253188DE5F2 Time : 0.0 sec. user=mdettweiler [2013-07-25 21:22:58] 657*2^1248038-1 is not prime. Res64: 8AD19C8FD77C9138 Time : 0.0 sec. user=mdettweiler [2013-07-25 21:40:36] 683*2^1248038-1 is not prime. Res64: 787FCA08EDE35F97 Time : 0.0 sec. user=mdettweiler [2013-07-25 21:40:36] 747*2^1248038-1 is not prime. Res64: FEA1910E0D3B4973 Time : 0.0 sec. user=mdettweiler [2013-07-25 21:58:54] 791*2^1248038-1 is not prime. Res64: DD4D3F7268B1623A Time : 0.0 sec. user=mdettweiler [2013-07-25 21:58:55] 843*2^1248038-1 is not prime. Res64: 6F37CD58FA91741D Time : 0.0 sec. user=mdettweiler [2013-07-25 22:17:00] 625*2^1248039-1 is not prime. Res64: 36327E786213BB6F Time : 0.0 sec. user=mdettweiler [2013-07-25 22:17:00] 649*2^1248039-1 is not prime. Res64: F8813843B6B36296 Time : 0.0 sec. user=mdettweiler [2013-07-25 22:34:21] 691*2^1248039-1 is not prime. Res64: 02D707FF8CC9A6D5 Time : 0.0 sec. user=mdettweiler [2013-07-25 22:34:22] 723*2^1248039-1 is not prime. Res64: 20B60ACA5D8EDCB2 Time : 0.0 sec. user=mdettweiler [2013-07-25 22:51:25] 861*2^1248039-1 is not prime. Res64: 46E6A6AEC4D9ECC4 Time : 0.0 sec. user=mdettweiler [2013-07-25 22:51:25] 895*2^1248039-1 is not prime. Res64: CEADAECEDA26AAA8 Time : 0.0 sec. user=mdettweiler [2013-07-25 23:10:04] 951*2^1248039-1 is not prime. Res64: 4642E5AF387BB8BC Time : 0.0 sec. user=mdettweiler [2013-07-25 23:10:05] 975*2^1248039-1 is not prime. Res64: A50C15FF24E2F4B4 Time : 0.0 sec. user=mdettweiler [2013-07-25 23:27:11] 603*2^1248040-1 is not prime. Res64: D8E44354137F7DF2 Time : 0.0 sec. user=mdettweiler [2013-07-25 23:27:12] 609*2^1248040-1 is not prime. Res64: 2FBCF50B1CEBF78C Time : 0.0 sec. user=mdettweiler [2013-07-25 23:44:13] 713*2^1248040-1 is not prime. Res64: 0D6FBAFC44164D7E Time : 0.0 sec. user=mdettweiler [2013-07-25 23:44:14] 717*2^1248040-1 is not prime. Res64: 4AF3A43951E372E1 Time : 0.0 sec.