user=mdettweiler [2013-05-18 00:25:02] 675*2^1246013-1 is not prime. Res64: BFCFC72F43B06E24 Time : 0.0 sec. user=mdettweiler [2013-05-18 00:37:21] 855*2^1246013-1 is not prime. Res64: D6099554853F9CBF Time : 0.0 sec. user=mdettweiler [2013-05-18 00:37:22] 861*2^1246013-1 is not prime. Res64: 90260529D35CA52A Time : 0.0 sec. user=mdettweiler [2013-05-18 00:42:44] 927*2^1246013-1 is not prime. Res64: 864964DA575BFD24 Time : 0.0 sec. user=mdettweiler [2013-05-18 00:42:45] 937*2^1246013-1 is not prime. Res64: 80F8868F09730326 Time : 0.0 sec. user=mdettweiler [2013-05-18 00:55:03] 939*2^1246013-1 is not prime. Res64: 97B93D0C68802649 Time : 0.0 sec. user=mdettweiler [2013-05-18 00:55:03] 957*2^1246013-1 is not prime. Res64: F5BA4B0744F16DC4 Time : 0.0 sec. user=mdettweiler [2013-05-18 01:02:15] 985*2^1246013-1 is not prime. Res64: 72508F0EFE508FDC Time : 0.0 sec. user=mdettweiler [2013-05-18 01:12:41] 881*2^1246014-1 is not prime. Res64: 2D4DEA5BC2CE322C Time : 0.0 sec. user=mdettweiler [2013-05-18 01:12:41] 917*2^1246014-1 is not prime. Res64: 9F87EE2B32503D0C Time : 0.0 sec. user=mdettweiler [2013-05-18 01:28:29] 987*2^1246013-1 is not prime. Res64: C14C7B7455B07172 Time : 0.0 sec. user=mdettweiler [2013-05-18 01:31:24] 1001*2^1246014-1 is not prime. Res64: D37E72372467DCCE Time : 0.0 sec. user=mdettweiler [2013-05-18 01:31:24] 765*2^1246015-1 is not prime. Res64: 2385CE1C01E70D78 Time : 0.0 sec. user=mdettweiler [2013-05-18 01:46:06] 891*2^1246015-1 is not prime. Res64: 3626D6D5A99204E2 Time : 0.0 sec. user=mdettweiler [2013-05-18 01:46:07] 659*2^1246016-1 is not prime. Res64: 0B0352EA1C4E92AA Time : 0.0 sec. user=mdettweiler [2013-05-18 01:49:01] 669*2^1246016-1 is not prime. Res64: D13E253CF2770C6C Time : 0.0 sec. user=mdettweiler [2013-05-18 01:49:02] 677*2^1246016-1 is not prime. Res64: DBC30A3A1FAB51AC Time : 0.0 sec. user=mdettweiler [2013-05-18 02:03:46] 789*2^1246016-1 is not prime. Res64: DE0D2E14E7D380D4 Time : 0.0 sec. user=mdettweiler [2013-05-18 02:03:47] 815*2^1246016-1 is not prime. Res64: 1F96905BC31B4E1C Time : 0.0 sec. user=mdettweiler [2013-05-18 02:06:41] 909*2^1246016-1 is not prime. Res64: 2DEBF34ECEFE3720 Time : 0.0 sec. user=mdettweiler [2013-05-18 02:06:42] 969*2^1246016-1 is not prime. Res64: 883163E618722607 Time : 0.0 sec. user=mdettweiler [2013-05-18 02:22:41] 983*2^1246016-1 is not prime. Res64: C74D43F1EA71DD8E Time : 0.0 sec. user=mdettweiler [2013-05-18 02:24:28] 667*2^1246017-1 is not prime. Res64: B4E0D8237B50CC3F Time : 0.0 sec. user=mdettweiler [2013-05-18 02:44:16] 609*2^1246017-1 is not prime. Res64: 1E2A39FA273542F4 Time : 0.0 sec. user=mdettweiler [2013-05-18 02:50:43] 741*2^1246017-1 is not prime. Res64: 4823D86EB10F0F9D Time : 0.0 sec. user=mdettweiler [2013-05-18 03:08:20] 765*2^1246017-1 is not prime. Res64: A1BE837FFCA0EB44 Time : 0.0 sec. user=mdettweiler [2013-05-18 03:08:21] 777*2^1246017-1 is not prime. Res64: F07A51465D8B0A03 Time : 0.0 sec. user=mdettweiler [2013-05-18 03:23:37] 795*2^1246017-1 is not prime. Res64: E6144DDBCF3A9065 Time : 0.0 sec. user=mdettweiler [2013-05-18 03:26:52] 949*2^1246017-1 is not prime. Res64: 682DC57DDF6D264B Time : 0.0 sec. user=mdettweiler [2013-05-18 03:26:52] 997*2^1246017-1 is not prime. Res64: 9710B0FE8345D75A Time : 0.0 sec. user=mdettweiler [2013-05-18 03:44:47] 617*2^1246018-1 is not prime. Res64: 5B6DFC3E7408BC7C Time : 0.0 sec. user=mdettweiler [2013-05-18 03:53:37] 945*2^1246017-1 is not prime. Res64: 789E8AF5FA9ADEC2 Time : 0.0 sec. user=mdettweiler [2013-05-18 04:08:25] 623*2^1246018-1 is not prime. Res64: 8768DD5AB622138D Time : 0.0 sec. user=mdettweiler [2013-05-18 04:26:22] 791*2^1246018-1 is not prime. Res64: 6F9A689CD4345FE1 Time : 0.0 sec. user=mdettweiler [2013-05-18 04:26:22] 603*2^1246019-1 is not prime. Res64: F100591023C44DD6 Time : 0.0 sec. user=mdettweiler [2013-05-18 04:43:59] 645*2^1246019-1 is not prime. Res64: BF3559003D973F6B Time : 0.0 sec. user=mdettweiler [2013-05-18 04:44:00] 735*2^1246019-1 is not prime. Res64: 496DEA03C50E911B Time : 0.0 sec. user=mdettweiler [2013-05-18 04:46:53] 771*2^1246019-1 is not prime. Res64: 955846B273D9DBBC Time : 0.0 sec. user=mdettweiler [2013-05-18 04:46:53] 883*2^1246019-1 is not prime. Res64: 6C0B8E2C5ED782BC Time : 0.0 sec. user=mdettweiler [2013-05-18 05:02:42] 999*2^1246019-1 is not prime. Res64: 081C1EAC35ACE22A Time : 0.0 sec. user=mdettweiler [2013-05-18 05:04:36] 845*2^1246020-1 is not prime. Res64: 4CB902ACC470C463 Time : 0.0 sec. user=mdettweiler [2013-05-18 05:04:37] 899*2^1246020-1 is not prime. Res64: A692C43C61FB36F7 Time : 0.0 sec. user=mdettweiler [2013-05-18 05:22:34] 825*2^1246021-1 is not prime. Res64: 4D2C749EEEFCB5DA Time : 0.0 sec. user=mdettweiler [2013-05-18 05:22:35] 635*2^1246022-1 is not prime. Res64: 4164E1393F07CCE8 Time : 0.0 sec. user=mdettweiler [2013-05-18 05:25:26] 669*2^1246020-1 is not prime. Res64: B4C674AED9B7307A Time : 0.0 sec. user=mdettweiler [2013-05-18 05:40:14] 741*2^1246022-1 is not prime. Res64: BCB3D9E7C2094EF1 Time : 0.0 sec. user=mdettweiler [2013-05-18 05:40:15] 743*2^1246022-1 is not prime. Res64: 37946DC8C50E3307 Time : 0.0 sec. user=mdettweiler [2013-05-18 05:43:24] 827*2^1246022-1 is not prime. Res64: 926B0FFA95B1DAF8 Time : 0.0 sec. user=mdettweiler [2013-05-18 05:43:25] 917*2^1246022-1 is not prime. Res64: BC95C5B1DEC55F71 Time : 0.0 sec. user=mdettweiler [2013-05-18 05:59:31] 981*2^1246022-1 is not prime. Res64: 6F97555E324FFE79 Time : 0.0 sec. user=mdettweiler [2013-05-18 05:59:32] 983*2^1246022-1 is not prime. Res64: 92509CCD7080C595 Time : 0.0 sec. user=mdettweiler [2013-05-18 06:01:01] 619*2^1246023-1 is not prime. Res64: F95FAA4E223BC7B6 Time : 0.0 sec. user=mdettweiler [2013-05-18 06:01:19] 661*2^1246023-1 is not prime. Res64: 21F0FE4248FB2727 Time : 0.0 sec. user=mdettweiler [2013-05-18 06:17:09] 669*2^1246023-1 is not prime. Res64: 8D10E91A4F6B6350 Time : 0.0 sec. user=mdettweiler [2013-05-18 06:17:09] 745*2^1246023-1 is not prime. Res64: BFF394C36A1FED35 Time : 0.0 sec. user=mdettweiler [2013-05-18 06:34:51] 795*2^1246023-1 is not prime. Res64: 28371C6DAF18310A Time : 0.0 sec. user=mdettweiler [2013-05-18 06:34:52] 859*2^1246023-1 is not prime. Res64: 1E0583F921333BA3 Time : 0.0 sec. user=mdettweiler [2013-05-18 06:44:09] 879*2^1246023-1 is not prime. Res64: 82BF5880DFCD452A Time : 0.0 sec. user=mdettweiler [2013-05-18 06:52:37] 963*2^1246023-1 is not prime. Res64: BEE0FD038CD76313 Time : 0.0 sec. user=mdettweiler [2013-05-18 07:17:20] 705*2^1246024-1 is not prime. Res64: 56EBA49088541B13 Time : 0.0 sec. user=mdettweiler [2013-05-18 07:21:38] 891*2^1246023-1 is not prime. Res64: EA412D21190DF1A8 Time : 0.0 sec. user=mdettweiler [2013-05-18 08:09:46] 755*2^1246024-1 is not prime. Res64: 98DB7275C01A10C1 Time : 0.0 sec. user=mdettweiler [2013-05-18 08:09:47] 843*2^1246024-1 is not prime. Res64: C6BEF5E0FB854056 Time : 0.0 sec. user=mdettweiler [2013-05-18 08:14:07] 969*2^1246024-1 is not prime. Res64: 8F8A13002CEE03C4 Time : 0.0 sec. user=mdettweiler [2013-05-18 08:14:07] 993*2^1246024-1 is not prime. Res64: 51065D88C98C65C8 Time : 0.0 sec. user=mdettweiler [2013-05-18 08:27:26] 855*2^1246025-1 is not prime. Res64: 8668EAF263BE18FE Time : 0.0 sec. user=mdettweiler [2013-05-18 08:27:26] 717*2^1246026-1 is not prime. Res64: 08C0DDEBDD3F25EA Time : 0.0 sec. user=mdettweiler [2013-05-18 08:32:02] 747*2^1246026-1 is not prime. Res64: DD11FD150D59F895 Time : 0.0 sec. user=mdettweiler [2013-05-18 08:32:02] 777*2^1246026-1 is not prime. Res64: A39EAC02F3F56EF2 Time : 0.0 sec. user=mdettweiler [2013-05-18 08:45:26] 945*2^1246026-1 is not prime. Res64: 7CE2BF5DCA46B7E3 Time : 0.0 sec. user=mdettweiler [2013-05-18 08:45:26] 631*2^1246027-1 is not prime. Res64: 1DAD67DDB8F48C7E Time : 0.0 sec. user=mdettweiler [2013-05-18 08:50:02] 639*2^1246027-1 is not prime. Res64: 6E32814720113498 Time : 0.0 sec. user=mdettweiler [2013-05-18 08:50:02] 931*2^1246027-1 is not prime. Res64: C27BB494B47C39BB Time : 0.0 sec. user=mdettweiler [2013-05-18 08:50:28] 651*2^1246025-1 is not prime. Res64: C86D5B630CD3FCFF Time : 0.0 sec. user=mdettweiler [2013-05-18 09:03:42] 945*2^1246027-1 is not prime. Res64: DD494172FD2A3EED Time : 0.0 sec. user=mdettweiler [2013-05-18 09:03:43] 687*2^1246028-1 is not prime. Res64: DDD982356B31F10B Time : 0.0 sec. user=mdettweiler [2013-05-18 09:09:35] 759*2^1246028-1 is not prime. Res64: 43C5084CE2FD471F Time : 0.0 sec. user=mdettweiler [2013-05-18 09:22:07] 609*2^1246029-1 is not prime. Res64: C39A9DAD99F75B43 Time : 0.0 sec. user=mdettweiler [2013-05-18 09:22:07] 649*2^1246029-1 is not prime. Res64: 1EC6DF01775145E7 Time : 0.0 sec. user=mdettweiler [2013-05-18 09:40:18] 679*2^1246029-1 is not prime. Res64: DB008C0270840835 Time : 0.0 sec. user=mdettweiler [2013-05-18 09:40:18] 685*2^1246029-1 is not prime. Res64: CC88E9562E10294F Time : 0.0 sec. user=mdettweiler [2013-05-18 09:46:03] 999*2^1246028-1 is not prime. Res64: 019D3276E0EF868C Time : 0.0 sec. user=mdettweiler [2013-05-18 09:58:29] 745*2^1246029-1 is not prime. Res64: 0AAB41AA34AEE3D0 Time : 0.0 sec. user=mdettweiler [2013-05-18 10:04:18] 907*2^1246029-1 is not prime. Res64: B4C6ADF51709ACF2 Time : 0.0 sec. user=mdettweiler [2013-05-18 10:04:19] 755*2^1246030-1 is not prime. Res64: 1BCD42B1EA0F89B0 Time : 0.0 sec. user=mdettweiler [2013-05-18 10:22:41] 951*2^1246030-1 is not prime. Res64: 1657135DF3764AB9 Time : 0.0 sec. user=mdettweiler [2013-05-18 10:22:41] 871*2^1246031-1 is not prime. Res64: 1A85027F990BCC46 Time : 0.0 sec. user=mdettweiler [2013-05-18 10:33:31] 829*2^1246029-1 is not prime. Res64: 95BD9A35A68B4E89 Time : 0.0 sec. user=mdettweiler [2013-05-18 10:40:55] 901*2^1246031-1 is not prime. Res64: 8EFCB4A1E4B25C6F Time : 0.0 sec. user=mdettweiler [2013-05-18 10:52:41] 981*2^1246031-1 is not prime. Res64: B7866D01DA505DD7 Time : 0.0 sec. user=mdettweiler [2013-05-18 10:52:41] 627*2^1246032-1 is not prime. Res64: 549A9B42B4A985E7 Time : 0.0 sec. user=mdettweiler [2013-05-18 11:10:52] 675*2^1246032-1 is not prime. Res64: 7D832C6BD2DF91F6 Time : 0.0 sec. user=mdettweiler [2013-05-18 11:10:53] 693*2^1246032-1 is not prime. Res64: 597844A0ABFA0041 Time : 0.0 sec. user=mdettweiler [2013-05-18 11:19:11] 909*2^1246031-1 is not prime. Res64: 21CDF44E8B8B44DF Time : 0.0 sec. user=mdettweiler [2013-05-18 11:29:28] 765*2^1246032-1 is not prime. Res64: AAD677183BF0FE3D Time : 0.0 sec. user=mdettweiler [2013-05-18 11:38:24] 917*2^1246032-1 is not prime. Res64: B6922BAD21472EC5 Time : 0.0 sec. user=mdettweiler [2013-05-18 11:48:58] 863*2^1246032-1 is not prime. Res64: 2F49D22A742492C7 Time : 0.0 sec. user=mdettweiler [2013-05-18 12:03:46] 983*2^1246032-1 is not prime. Res64: 9081E86C0C0BFA23 Time : 0.0 sec. user=mdettweiler [2013-05-18 12:06:59] 705*2^1246033-1 is not prime. Res64: FEA4013BEA99D2CE Time : 0.0 sec. user=mdettweiler [2013-05-18 12:07:00] 769*2^1246033-1 is not prime. Res64: E6506325BA3474FC Time : 0.0 sec. user=mdettweiler [2013-05-18 12:22:06] 831*2^1246033-1 is not prime. Res64: 001B57958E51397B Time : 0.0 sec. user=mdettweiler [2013-05-18 12:22:06] 847*2^1246033-1 is not prime. Res64: 6FEBCFC3484CFA31 Time : 0.0 sec. user=mdettweiler [2013-05-18 12:25:00] 895*2^1246033-1 is not prime. Res64: 02B3C7BE5C892F70 Time : 0.0 sec. user=mdettweiler [2013-05-18 12:25:01] 897*2^1246033-1 is not prime. Res64: A8936A99E44E84E9 Time : 0.0 sec. user=mdettweiler [2013-05-18 12:40:16] 615*2^1246034-1 is not prime. Res64: CCAB04A388ED668B Time : 0.0 sec. user=mdettweiler [2013-05-18 12:43:10] 791*2^1246034-1 is not prime. Res64: 3DB7418B9E887171 Time : 0.0 sec. user=mdettweiler [2013-05-18 12:43:10] 851*2^1246034-1 is not prime. Res64: 78962305EE7F6966 Time : 0.0 sec. user=mdettweiler [2013-05-18 13:01:44] 903*2^1246034-1 is not prime. Res64: 595769DA5FD48C17 Time : 0.0 sec. user=mdettweiler [2013-05-18 13:03:58] 645*2^1246034-1 is not prime. Res64: B913E9B38A895B7C Time : 0.0 sec. user=mdettweiler [2013-05-18 13:22:38] 735*2^1246035-1 is not prime. Res64: 4F4DD62648B793A6 Time : 0.0 sec. user=mdettweiler [2013-05-18 13:38:37] 915*2^1246034-1 is not prime. Res64: 39E89B52866CB3CC Time : 0.0 sec. user=mdettweiler [2013-05-18 13:42:32] 741*2^1246035-1 is not prime. Res64: 3172DCAC36194E6A Time : 0.0 sec. user=mdettweiler [2013-05-18 14:21:48] 801*2^1246035-1 is not prime. Res64: 5E452088E013CA6D Time : 0.0 sec. user=mdettweiler [2013-05-18 14:27:30] 973*2^1246035-1 is not prime. Res64: 6400DBEA02557CE1 Time : 0.0 sec. user=mdettweiler [2013-05-18 14:27:30] 979*2^1246035-1 is not prime. Res64: 1DC88B36E94585A0 Time : 0.0 sec. user=mdettweiler [2013-05-18 14:45:44] 615*2^1246036-1 is not prime. Res64: 5973F6FD8B3F1620 Time : 0.0 sec. user=mdettweiler [2013-05-18 14:47:08] 949*2^1246035-1 is not prime. Res64: 8A973018009CAE58 Time : 0.0 sec. user=mdettweiler [2013-05-18 15:23:10] 657*2^1246036-1 is not prime. Res64: AF7FB15D3DA2C109 Time : 0.0 sec. user=mdettweiler [2013-05-18 15:45:06] 845*2^1246036-1 is not prime. Res64: 3A42015DE835604D Time : 0.0 sec. user=mdettweiler [2013-05-18 15:45:06] 987*2^1246036-1 is not prime. Res64: 515DB078376349AF Time : 0.0 sec. user=mdettweiler [2013-05-18 16:03:09] 621*2^1246037-1 is not prime. Res64: 4FCDA88873E48FE4 Time : 0.0 sec. user=mdettweiler [2013-05-18 16:03:27] 645*2^1246037-1 is not prime. Res64: 46561C4654B16F2E Time : 0.0 sec. user=mdettweiler [2013-05-18 16:18:25] 675*2^1246037-1 is not prime. Res64: B3FBD50E09122FF2 Time : 0.0 sec. user=mdettweiler [2013-05-18 16:48:43] 697*2^1246037-1 is not prime. Res64: 533FBA92EFD628EB Time : 0.0 sec. user=mdettweiler [2013-05-18 16:52:37] 847*2^1246037-1 is not prime. Res64: 3446CB55EE66A76E Time : 0.0 sec. user=mdettweiler [2013-05-18 16:52:38] 681*2^1246038-1 is not prime. Res64: C128D81F813BA61A Time : 0.0 sec. user=mdettweiler [2013-05-18 17:10:39] 713*2^1246038-1 is not prime. Res64: 832F6FE229027E90 Time : 0.0 sec. user=mdettweiler [2013-05-18 17:10:40] 843*2^1246038-1 is not prime. Res64: 5929F3021853B64E Time : 0.0 sec. user=mdettweiler [2013-05-18 17:28:45] 853*2^1246039-1 is not prime. Res64: 12677C4844C93868 Time : 0.0 sec. user=mdettweiler [2013-05-18 17:29:03] 885*2^1246039-1 is not prime. Res64: E1D1359161E80876 Time : 0.0 sec. user=mdettweiler [2013-05-18 17:34:47] 645*2^1246040-1 is not prime. Res64: BB6192C7A938BDF0 Time : 0.0 sec. user=mdettweiler [2013-05-18 18:00:38] 767*2^1246040-1 is not prime. Res64: 5C09B0DE4B5FF3F2 Time : 0.0 sec. user=mdettweiler [2013-05-18 18:06:03] 857*2^1246040-1 is not prime. Res64: CD09BEB9E8BFCC76 Time : 0.0 sec. user=mdettweiler [2013-05-18 18:06:04] 959*2^1246040-1 is not prime. Res64: EE2151E841CCF8E9 Time : 0.0 sec. user=mdettweiler [2013-05-18 18:24:51] 609*2^1246041-1 is not prime. Res64: 9C98AA67CE51CE5B Time : 0.0 sec. user=mdettweiler [2013-05-18 18:31:16] 657*2^1246041-1 is not prime. Res64: C256786CDD761230 Time : 0.0 sec. user=mdettweiler [2013-05-18 18:31:17] 675*2^1246041-1 is not prime. Res64: 0DC39862F17EA6CF Time : 0.0 sec. user=mdettweiler [2013-05-18 18:49:27] 681*2^1246041-1 is not prime. Res64: 3A4668ADEDD4022E Time : 0.0 sec. user=mdettweiler [2013-05-18 18:51:36] 627*2^1246041-1 is not prime. Res64: 7FB2F96A2BB5F33C Time : 0.0 sec. user=mdettweiler [2013-05-18 19:10:14] 745*2^1246041-1 is not prime. Res64: 2F55499F41C049D0 Time : 0.0 sec. user=mdettweiler [2013-05-18 19:10:14] 747*2^1246041-1 is not prime. Res64: A0281B1C1C69D0BC Time : 0.0 sec. user=mdettweiler [2013-05-18 19:18:18] 705*2^1246041-1 is not prime. Res64: 771F493B9099F84E Time : 0.0 sec. user=mdettweiler [2013-05-18 19:28:52] 829*2^1246041-1 is not prime. Res64: A940BA9B386F6EA3 Time : 0.0 sec. user=mdettweiler [2013-05-18 19:36:21] 611*2^1246042-1 is not prime. Res64: D6B9027E9D983A64 Time : 0.0 sec. user=mdettweiler [2013-05-18 19:36:22] 657*2^1246042-1 is not prime. Res64: C62F638B8CCDAC5B Time : 0.0 sec. user=mdettweiler [2013-05-18 19:54:31] 681*2^1246042-1 is not prime. Res64: 0086444D50909600 Time : 0.0 sec. user=mdettweiler [2013-05-18 19:54:32] 815*2^1246042-1 is not prime. Res64: 65D3A243512F1050 Time : 0.0 sec. user=mdettweiler [2013-05-18 20:06:34] 975*2^1246041-1 is not prime. Res64: FC2E7075E93F69D0 Time : 0.0 sec. user=mdettweiler [2013-05-18 20:12:30] 831*2^1246042-1 is not prime. Res64: D08F5F3ABB89E86C Time : 0.0 sec. user=mdettweiler [2013-05-18 20:12:31] 885*2^1246042-1 is not prime. Res64: 3E54C0E5DEFD74DE Time : 0.0 sec. user=mdettweiler [2013-05-18 20:26:24] 981*2^1246042-1 is not prime. Res64: A6F6828C056108D9 Time : 0.0 sec. user=mdettweiler [2013-05-18 20:30:43] 615*2^1246043-1 is not prime. Res64: 6025E99DDF40AC50 Time : 0.0 sec. user=mdettweiler [2013-05-18 20:54:04] 789*2^1246043-1 is not prime. Res64: 2CB60D89CDF82336 Time : 0.0 sec. user=mdettweiler [2013-05-18 20:57:55] 987*2^1246042-1 is not prime. Res64: 56CCF2DBE5406AFE Time : 0.0 sec. user=mdettweiler [2013-05-18 21:12:01] 805*2^1246043-1 is not prime. Res64: 36E3982034F6CE20 Time : 0.0 sec. user=mdettweiler [2013-05-18 21:12:02] 885*2^1246043-1 is not prime. Res64: 7E47704E74D38267 Time : 0.0 sec. user=mdettweiler [2013-05-18 21:30:15] 889*2^1246043-1 is not prime. Res64: BA7FBE30527FDFAB Time : 0.0 sec. user=mdettweiler [2013-05-18 21:30:15] 921*2^1246043-1 is not prime. Res64: 4E165B82E5AE05FF Time : 0.0 sec. user=mdettweiler [2013-05-18 21:37:58] 963*2^1246043-1 is not prime. Res64: 1F01E82C63A4C853 Time : 0.0 sec. user=mdettweiler [2013-05-18 21:37:58] 999*2^1246043-1 is not prime. Res64: D9E188DE2B3600BE Time : 0.0 sec. user=mdettweiler [2013-05-18 21:48:16] 683*2^1246044-1 is not prime. Res64: 78FED7E0F0B9C00D Time : 0.0 sec. user=mdettweiler [2013-05-18 21:48:17] 717*2^1246044-1 is not prime. Res64: 75ECA2FA4EF73745 Time : 0.0 sec. user=mdettweiler [2013-05-18 21:56:07] 873*2^1246044-1 is not prime. Res64: 759B647BBF9C5974 Time : 0.0 sec. user=mdettweiler [2013-05-18 22:06:15] 895*2^1246045-1 is not prime. Res64: E2867B006A55C9D4 Time : 0.0 sec. user=mdettweiler [2013-05-18 22:06:16] 951*2^1246045-1 is not prime. Res64: EF96B037C5D22216 Time : 0.0 sec. user=mdettweiler [2013-05-18 22:25:30] 957*2^1246045-1 is not prime. Res64: CFD36C1878798FFB Time : 0.0 sec. user=mdettweiler [2013-05-18 22:25:31] 985*2^1246045-1 is not prime. Res64: 0EB2A368FCD6CA6D Time : 0.0 sec. user=mdettweiler [2013-05-18 22:31:15] 649*2^1246045-1 is not prime. Res64: E79DFDD4226E90A2 Time : 0.0 sec. user=mdettweiler [2013-05-18 22:43:29] 645*2^1246046-1 is not prime. Res64: 0CCCAE6502FA88E3 Time : 0.0 sec. user=mdettweiler [2013-05-18 22:43:29] 663*2^1246046-1 is not prime. Res64: 0908F26C5D3F5EE4 Time : 0.0 sec. user=mdettweiler [2013-05-18 22:49:13] 675*2^1246046-1 is not prime. Res64: 5CAEAC8E608B39A0 Time : 0.0 sec. user=mdettweiler [2013-05-18 22:49:13] 711*2^1246046-1 is not prime. Res64: A9ABCCD14339E20D Time : 0.0 sec. user=mdettweiler [2013-05-18 23:01:25] 741*2^1246046-1 is not prime. Res64: 9143EA705AA1E14A Time : 0.0 sec. user=mdettweiler [2013-05-18 23:01:26] 851*2^1246046-1 is not prime. Res64: 68BBF5FE5F1A44F3 Time : 0.0 sec. user=mdettweiler [2013-05-18 23:07:09] 887*2^1246046-1 is not prime. Res64: C5766B79867ACF41 Time : 0.0 sec. user=mdettweiler [2013-05-18 23:07:09] 917*2^1246046-1 is not prime. Res64: DD3E24A65AFA741A Time : 0.0 sec. user=mdettweiler [2013-05-18 23:19:41] 941*2^1246046-1 is not prime. Res64: 6ED609623A56EDFF Time : 0.0 sec. user=mdettweiler [2013-05-18 23:25:07] 633*2^1246047-1 is not prime. Res64: 3BE22FD3E71A9621 Time : 0.0 sec. user=mdettweiler [2013-05-18 23:25:08] 661*2^1246047-1 is not prime. Res64: 217FD119FCE05FED Time : 0.0 sec. user=mdettweiler [2013-05-18 23:43:06] 879*2^1246047-1 is not prime. Res64: 053B6D16DF5FF83A Time : 0.0 sec. user=mdettweiler [2013-05-18 23:43:06] 913*2^1246047-1 is not prime. Res64: 26D4499CC9438390 Time : 0.0 sec. user=mdettweiler [2013-05-18 23:56:32] 963*2^1246046-1 is not prime. Res64: 01494D7A44E7D42E Time : 0.0 sec.