user=mdettweiler [2013-07-22 00:07:33] 611*2^1247922-1 is not prime. Res64: 6F8E2525DB47ED2D Time : 0.0 sec. user=mdettweiler [2013-07-22 00:07:34] 695*2^1247922-1 is not prime. Res64: EB04348474A118E6 Time : 0.0 sec. user=mdettweiler [2013-07-22 00:26:01] 725*2^1247922-1 is not prime. Res64: 8D7D1B4C2C888AB4 Time : 0.0 sec. user=mdettweiler [2013-07-22 00:26:01] 737*2^1247922-1 is not prime. Res64: C62912719A92091D Time : 0.0 sec. user=mdettweiler [2013-07-22 00:44:50] 815*2^1247922-1 is not prime. Res64: A63FF757428C8DFC Time : 0.0 sec. user=mdettweiler [2013-07-22 00:44:51] 977*2^1247922-1 is not prime. Res64: 22BDEDFD194E6404 Time : 0.0 sec. user=mdettweiler [2013-07-22 01:02:15] 723*2^1247923-1 is not prime. Res64: 412A5F4EC627723A Time : 0.0 sec. user=mdettweiler [2013-07-22 01:02:18] 765*2^1247923-1 is not prime. Res64: F4CE4A2AA252D0D5 Time : 0.0 sec. user=mdettweiler [2013-07-22 01:19:36] 771*2^1247923-1 is not prime. Res64: CE00A4F3008B04FA Time : 0.0 sec. user=mdettweiler [2013-07-22 01:19:37] 793*2^1247923-1 is not prime. Res64: C62A3DC7C6734455 Time : 0.0 sec. user=mdettweiler [2013-07-22 01:37:30] 901*2^1247923-1 is not prime. Res64: 0ED2A4DD0CF02AEF Time : 0.0 sec. user=mdettweiler [2013-07-22 01:37:30] 973*2^1247923-1 is not prime. Res64: AD08BFC3D948155E Time : 0.0 sec. user=mdettweiler [2013-07-22 01:54:33] 605*2^1247924-1 is not prime. Res64: C85EACC6E31C5121 Time : 0.0 sec. user=mdettweiler [2013-07-22 01:54:33] 629*2^1247924-1 is not prime. Res64: 8AC4FB05EF493CBF Time : 0.0 sec. user=mdettweiler [2013-07-22 02:11:36] 635*2^1247924-1 is not prime. Res64: 6790FE33D6AE444D Time : 0.0 sec. user=mdettweiler [2013-07-22 02:11:37] 909*2^1247924-1 is not prime. Res64: 67E43333BC22E753 Time : 0.0 sec. user=mdettweiler [2013-07-22 02:29:31] 929*2^1247924-1 is not prime. Res64: 39FBA08EBD526961 Time : 0.0 sec. user=mdettweiler [2013-07-22 02:29:31] 955*2^1247925-1 is not prime. Res64: 1F4517CF4D4CEB73 Time : 0.0 sec. user=mdettweiler [2013-07-22 02:47:23] 975*2^1247925-1 is not prime. Res64: 768D4943105B08CC Time : 0.0 sec. user=mdettweiler [2013-07-22 02:47:24] 705*2^1247926-1 is not prime. Res64: 5E666243328C3F0D Time : 0.0 sec. user=mdettweiler [2013-07-22 03:04:35] 761*2^1247926-1 is not prime. Res64: 4CB97914AA89E9B5 Time : 0.0 sec. user=mdettweiler [2013-07-22 03:04:36] 777*2^1247926-1 is not prime. Res64: 79CD1B8396CD7232 Time : 0.0 sec. user=mdettweiler [2013-07-22 03:21:42] 601*2^1247927-1 is not prime. Res64: 9622F03C74E62EBD Time : 0.0 sec. user=mdettweiler [2013-07-22 03:21:42] 603*2^1247927-1 is not prime. Res64: BEA47626F411B054 Time : 0.0 sec. user=mdettweiler [2013-07-22 03:38:44] 663*2^1247927-1 is not prime. Res64: 38D43072F66F4AA3 Time : 0.0 sec. user=mdettweiler [2013-07-22 03:38:45] 859*2^1247927-1 is not prime. Res64: C4AD60BE7A50F971 Time : 0.0 sec. user=mdettweiler [2013-07-22 03:55:51] 753*2^1247928-1 is not prime. Res64: 777BA049B5B7A4CC Time : 0.0 sec. user=mdettweiler [2013-07-22 03:55:51] 797*2^1247928-1 is not prime. Res64: 463CDCEC7E3A4D2A Time : 0.0 sec. user=mdettweiler [2013-07-22 04:13:41] 927*2^1247928-1 is not prime. Res64: 87498E46A95AAE92 Time : 0.0 sec. user=mdettweiler [2013-07-22 04:13:42] 993*2^1247928-1 is not prime. Res64: A0AEEB9750E65A02 Time : 0.0 sec. user=mdettweiler [2013-07-22 04:30:47] 691*2^1247929-1 is not prime. Res64: 1E8A187FDB6B0F9B Time : 0.0 sec. user=mdettweiler [2013-07-22 04:30:48] 729*2^1247929-1 is not prime. Res64: 55482F9C72421723 Time : 0.0 sec. user=juhehe [2013-07-22 04:31:11] 909*2^1247928-1 is not prime. Res64: 918CB1AF43B49422 Time : 0.0 sec. user=mdettweiler [2013-07-22 04:47:56] 747*2^1247929-1 is not prime. Res64: 6BE9F6D4EA38DC96 Time : 0.0 sec. user=mdettweiler [2013-07-22 04:47:56] 801*2^1247929-1 is not prime. Res64: 54FB8165988724C0 Time : 0.0 sec. user=mdettweiler [2013-07-22 05:04:59] 931*2^1247929-1 is not prime. Res64: ABA47E64076E4DBB Time : 0.0 sec. user=mdettweiler [2013-07-22 05:05:00] 945*2^1247929-1 is not prime. Res64: 7AAF7491D1030403 Time : 0.0 sec. user=mdettweiler [2013-07-22 05:23:42] 951*2^1247929-1 is not prime. Res64: A00EB0F634CE533D Time : 0.0 sec. user=mdettweiler [2013-07-22 05:23:42] 957*2^1247929-1 is not prime. Res64: A8C001379F3E4D64 Time : 0.0 sec. user=mdettweiler [2013-07-22 05:40:46] 635*2^1247930-1 is not prime. Res64: 83519BC5B856C94E Time : 0.0 sec. user=mdettweiler [2013-07-22 05:40:46] 741*2^1247930-1 is not prime. Res64: 2B11D75E7A504E11 Time : 0.0 sec. user=mdettweiler [2013-07-22 05:57:49] 747*2^1247930-1 is not prime. Res64: A4B2BA2622216DB9 Time : 0.0 sec. user=mdettweiler [2013-07-22 05:57:49] 767*2^1247930-1 is not prime. Res64: 2492282A65DCD93A Time : 0.0 sec. user=mdettweiler [2013-07-22 06:14:51] 709*2^1247931-1 is not prime. Res64: 01AC27A35E164919 Time : 0.0 sec. user=mdettweiler [2013-07-22 06:14:52] 723*2^1247931-1 is not prime. Res64: 65A26F13373AAF05 Time : 0.0 sec. user=juhehe [2013-07-22 06:30:57] 977*2^1247930-1 is not prime. Res64: 4EBA5ECBBDD1D7BC Time : 0.0 sec. user=mdettweiler [2013-07-22 06:31:55] 849*2^1247931-1 is not prime. Res64: FF10ACCFCD599314 Time : 0.0 sec. user=mdettweiler [2013-07-22 06:31:55] 931*2^1247931-1 is not prime. Res64: 6EA94F1753C347D4 Time : 0.0 sec. user=mdettweiler [2013-07-22 06:48:58] 635*2^1247932-1 is not prime. Res64: 36D18B8FEB407DB4 Time : 0.0 sec. user=mdettweiler [2013-07-22 06:48:58] 653*2^1247932-1 is not prime. Res64: 2D73823B9B95CE04 Time : 0.0 sec. user=mdettweiler [2013-07-22 07:06:01] 675*2^1247932-1 is not prime. Res64: AD3E0117A967BFC6 Time : 0.0 sec. user=mdettweiler [2013-07-22 07:06:02] 687*2^1247932-1 is not prime. Res64: E1316E824472E2AD Time : 0.0 sec. user=mdettweiler [2013-07-22 07:23:08] 779*2^1247932-1 is not prime. Res64: 9C9A9AC47A6F8F91 Time : 0.0 sec. user=mdettweiler [2013-07-22 07:23:09] 899*2^1247932-1 is not prime. Res64: 1EAE72AF11C3BAF9 Time : 0.0 sec. user=mdettweiler [2013-07-22 07:40:11] 627*2^1247933-1 is not prime. Res64: 00DA6A95B5CA0ACB Time : 0.0 sec. user=mdettweiler [2013-07-22 07:40:12] 787*2^1247933-1 is not prime. Res64: 1BEE153F99C6974A Time : 0.0 sec. user=mdettweiler [2013-07-22 07:58:03] 937*2^1247933-1 is not prime. Res64: D0DAB73A0B3139BB Time : 0.0 sec. user=mdettweiler [2013-07-22 07:58:03] 987*2^1247933-1 is not prime. Res64: DAEF26BFBAAC9A86 Time : 0.0 sec. user=mdettweiler [2013-07-22 08:15:05] 611*2^1247934-1 is not prime. Res64: 1B830318D98E43D4 Time : 0.0 sec. user=mdettweiler [2013-07-22 08:15:05] 635*2^1247934-1 is not prime. Res64: 698F57B7E1AE60AA Time : 0.0 sec. user=mdettweiler [2013-07-22 08:32:08] 641*2^1247934-1 is not prime. Res64: 64C72A555AD6F755 Time : 0.0 sec. user=mdettweiler [2013-07-22 08:32:09] 683*2^1247934-1 is not prime. Res64: 7163D8764B9E1D94 Time : 0.0 sec. user=mdettweiler [2013-07-22 08:49:11] 707*2^1247934-1 is not prime. Res64: F276D736A734B25D Time : 0.0 sec. user=mdettweiler [2013-07-22 08:49:11] 773*2^1247934-1 is not prime. Res64: E0D6499668EBF369 Time : 0.0 sec. user=mdettweiler [2013-07-22 09:06:14] 783*2^1247934-1 is not prime. Res64: C92C3BB66D435997 Time : 0.0 sec. user=mdettweiler [2013-07-22 09:06:14] 825*2^1247934-1 is not prime. Res64: 1B380A72EABC6F08 Time : 0.0 sec. user=mdettweiler [2013-07-22 09:23:21] 851*2^1247934-1 is not prime. Res64: 419855302F642457 Time : 0.0 sec. user=mdettweiler [2013-07-22 09:23:21] 861*2^1247934-1 is not prime. Res64: A9B47374BDFFA14D Time : 0.0 sec. user=mdettweiler [2013-07-22 09:40:25] 873*2^1247934-1 is not prime. Res64: 84D10C02F52D3CBE Time : 0.0 sec. user=mdettweiler [2013-07-22 09:40:25] 903*2^1247934-1 is not prime. Res64: 03685A4EA9499261 Time : 0.0 sec. user=mdettweiler [2013-07-22 09:58:16] 917*2^1247934-1 is not prime. Res64: 5E9DDC29BCEF33B1 Time : 0.0 sec. user=mdettweiler [2013-07-22 09:58:16] 951*2^1247934-1 is not prime. Res64: B61517199B16A23D Time : 0.0 sec. user=mdettweiler [2013-07-22 10:17:14] 965*2^1247934-1 is not prime. Res64: 8CB97D79408DFD07 Time : 0.0 sec. user=mdettweiler [2013-07-22 10:17:15] 1001*2^1247934-1 is not prime. Res64: 98486FB20D2626E3 Time : 0.0 sec. user=mdettweiler [2013-07-22 10:34:44] 741*2^1247935-1 is not prime. Res64: F3A6CF790B91E067 Time : 0.0 sec. user=mdettweiler [2013-07-22 10:34:45] 759*2^1247935-1 is not prime. Res64: 9848D449F7738104 Time : 0.0 sec. user=mdettweiler [2013-07-22 10:52:16] 831*2^1247935-1 is not prime. Res64: 6F95C49A1E556D15 Time : 0.0 sec. user=mdettweiler [2013-07-22 10:52:16] 861*2^1247935-1 is not prime. Res64: D6630ACB95432CB9 Time : 0.0 sec. user=mdettweiler [2013-07-22 11:09:47] 615*2^1247936-1 is not prime. Res64: EDE22BAA25C3829A Time : 0.0 sec. user=mdettweiler [2013-07-22 11:09:47] 699*2^1247936-1 is not prime. Res64: 949CE6664E564622 Time : 0.0 sec. user=mdettweiler [2013-07-22 11:27:21] 777*2^1247936-1 is not prime. Res64: 4D8CAE2AAF3F66D8 Time : 0.0 sec. user=mdettweiler [2013-07-22 11:27:21] 815*2^1247936-1 is not prime. Res64: 53EB2A288FB042D9 Time : 0.0 sec. user=mdettweiler [2013-07-22 11:44:53] 857*2^1247936-1 is not prime. Res64: F5905DF992B40A73 Time : 0.0 sec. user=mdettweiler [2013-07-22 11:44:53] 873*2^1247936-1 is not prime. Res64: E77EE3F10F808CDE Time : 0.0 sec. user=mdettweiler [2013-07-22 12:03:18] 927*2^1247936-1 is not prime. Res64: D4AE4D0C3C89E7F4 Time : 0.0 sec. user=mdettweiler [2013-07-22 12:03:19] 983*2^1247936-1 is not prime. Res64: C1ADAB1F0A261B0A Time : 0.0 sec. user=mdettweiler [2013-07-22 12:21:49] 993*2^1247936-1 is not prime. Res64: C8C846367D94D14C Time : 0.0 sec. user=mdettweiler [2013-07-22 12:21:49] 601*2^1247937-1 is not prime. Res64: 102E05CAFD32A09A Time : 0.0 sec. user=mdettweiler [2013-07-22 12:39:28] 669*2^1247937-1 is not prime. Res64: 2C9491D91EAAD03F Time : 0.0 sec. user=mdettweiler [2013-07-22 12:39:29] 691*2^1247937-1 is not prime. Res64: FCC25307EDE18E40 Time : 0.0 sec. user=mdettweiler [2013-07-22 12:57:08] 837*2^1247937-1 is not prime. Res64: BFFAF492D5682DAE Time : 0.0 sec. user=mdettweiler [2013-07-22 12:57:09] 867*2^1247937-1 is not prime. Res64: EEAAC26EC33F4BD1 Time : 0.0 sec. user=mdettweiler [2013-07-22 13:15:06] 603*2^1247938-1 is not prime. Res64: 15CFA778F4F83AA1 Time : 0.0 sec. user=mdettweiler [2013-07-22 13:15:06] 647*2^1247938-1 is not prime. Res64: 96343B8D2D7F8442 Time : 0.0 sec. user=mdettweiler [2013-07-22 13:56:17] 765*2^1247938-1 is not prime. Res64: CFC3F47D12686D4B Time : 0.0 sec. user=mdettweiler [2013-07-22 13:56:17] 825*2^1247938-1 is not prime. Res64: DCCC82B00653250D Time : 0.0 sec. user=mdettweiler [2013-07-22 14:13:56] 861*2^1247938-1 is not prime. Res64: E1A1A5644DBBE1D2 Time : 0.0 sec. user=mdettweiler [2013-07-22 14:13:56] 711*2^1247939-1 is not prime. Res64: 34A0C586CB94EB85 Time : 0.0 sec. user=mdettweiler [2013-07-22 14:31:39] 741*2^1247939-1 is not prime. Res64: 01822D42E7B0A0B0 Time : 0.0 sec. user=mdettweiler [2013-07-22 14:31:40] 753*2^1247939-1 is not prime. Res64: 4C851CE6FA69C48F Time : 0.0 sec. user=mdettweiler [2013-07-22 14:49:23] 759*2^1247939-1 is not prime. Res64: 88F7FCD34A27AE6E Time : 0.0 sec. user=mdettweiler [2013-07-22 14:49:24] 635*2^1247940-1 is not prime. Res64: A6F943E1C89A19B9 Time : 0.0 sec. user=mdettweiler [2013-07-22 15:07:18] 765*2^1247940-1 is not prime. Res64: A9C7A3A4F487B93E Time : 0.0 sec. user=mdettweiler [2013-07-22 15:07:19] 905*2^1247940-1 is not prime. Res64: 6B07E5EBA2AEB080 Time : 0.0 sec. user=mdettweiler [2013-07-22 15:25:12] 639*2^1247941-1 is not prime. Res64: AB60B9EADE8C5E92 Time : 0.0 sec. user=mdettweiler [2013-07-22 15:25:12] 727*2^1247941-1 is not prime. Res64: 71E40AD28095CCA9 Time : 0.0 sec. user=mdettweiler [2013-07-22 15:43:00] 745*2^1247941-1 is not prime. Res64: 2F8B1AF8EE1D61E2 Time : 0.0 sec. user=mdettweiler [2013-07-22 15:43:00] 775*2^1247941-1 is not prime. Res64: 64FD9F3BD1E06EFB Time : 0.0 sec. user=mdettweiler [2013-07-22 16:00:41] 825*2^1247941-1 is not prime. Res64: 0D63D74326831558 Time : 0.0 sec. user=mdettweiler [2013-07-22 16:00:42] 829*2^1247941-1 is not prime. Res64: 7736D2ED9EFC0181 Time : 0.0 sec. user=mdettweiler [2013-07-22 16:19:24] 861*2^1247941-1 is not prime. Res64: CF6FFC515C0C070B Time : 0.0 sec. user=mdettweiler [2013-07-22 16:19:25] 955*2^1247941-1 is not prime. Res64: 34F4296C0CD06517 Time : 0.0 sec. user=mdettweiler [2013-07-22 16:38:46] 975*2^1247941-1 is not prime. Res64: FEDC4A10D2F49064 Time : 0.0 sec. user=mdettweiler [2013-07-22 16:38:46] 987*2^1247941-1 is not prime. Res64: ABCD4EEDF92C5E92 Time : 0.0 sec. user=juhehe [2013-07-22 16:53:43] 967*2^1247941-1 is not prime. Res64: DD8AC64530A4AF99 Time : 0.0 sec. user=mdettweiler [2013-07-22 16:56:27] 665*2^1247942-1 is not prime. Res64: 7538E69B35DD8C11 Time : 0.0 sec. user=mdettweiler [2013-07-22 16:56:27] 875*2^1247942-1 is not prime. Res64: 3FDDD921BC0DA288 Time : 0.0 sec. user=mdettweiler [2013-07-22 17:14:08] 885*2^1247942-1 is not prime. Res64: 063DA35BD6CB16EC Time : 0.0 sec. user=mdettweiler [2013-07-22 17:14:08] 893*2^1247942-1 is not prime. Res64: 2D8C667C864375DE Time : 0.0 sec. user=mdettweiler [2013-07-22 17:33:30] 957*2^1247942-1 is not prime. Res64: 4AEB8B32330DA69B Time : 0.0 sec. user=mdettweiler [2013-07-22 17:33:30] 981*2^1247942-1 is not prime. Res64: 48401337F9545878 Time : 0.0 sec. user=mdettweiler [2013-07-22 17:52:08] 983*2^1247942-1 is not prime. Res64: 533F903B303E4854 Time : 0.0 sec. user=mdettweiler [2013-07-22 17:52:08] 669*2^1247943-1 is not prime. Res64: E342AC0FE9249AB2 Time : 0.0 sec. user=mdettweiler [2013-07-22 18:11:33] 685*2^1247943-1 is not prime. Res64: 172C82D5F1B55AAA Time : 0.0 sec. user=mdettweiler [2013-07-22 18:11:34] 741*2^1247943-1 is not prime. Res64: 5F6022694AAD3D50 Time : 0.0 sec. user=mdettweiler [2013-07-22 18:29:20] 805*2^1247943-1 is not prime. Res64: CFB65646FCD10847 Time : 0.0 sec. user=mdettweiler [2013-07-22 18:29:21] 819*2^1247943-1 is not prime. Res64: AFF04661C8293EB0 Time : 0.0 sec. user=mdettweiler [2013-07-22 18:47:03] 849*2^1247943-1 is not prime. Res64: D00D8D19481B390F Time : 0.0 sec. user=mdettweiler [2013-07-22 18:47:03] 853*2^1247943-1 is not prime. Res64: 9AFA4673719F87DC Time : 0.0 sec. user=mdettweiler [2013-07-22 19:05:46] 879*2^1247943-1 is not prime. Res64: AB2CD8F073D0945A Time : 0.0 sec. user=mdettweiler [2013-07-22 19:05:47] 963*2^1247943-1 is not prime. Res64: 3A0FEA22D98346D4 Time : 0.0 sec. user=mdettweiler [2013-07-22 19:23:36] 707*2^1247944-1 is not prime. Res64: 572627DC953823B0 Time : 0.0 sec. user=mdettweiler [2013-07-22 19:23:36] 807*2^1247944-1 is not prime. Res64: FC2B404DEDF63AD3 Time : 0.0 sec. user=mdettweiler [2013-07-22 19:41:22] 887*2^1247944-1 is not prime. Res64: 912B4FB39AAA77C1 Time : 0.0 sec. user=mdettweiler [2013-07-22 19:41:22] 927*2^1247944-1 is not prime. Res64: D925E8BC808DB83E Time : 0.0 sec. user=mdettweiler [2013-07-22 19:59:03] 811*2^1247945-1 is not prime. Res64: 926033EA58A5A802 Time : 0.0 sec. user=mdettweiler [2013-07-22 19:59:03] 611*2^1247946-1 is not prime. Res64: 4B573423D2FE546D Time : 0.0 sec. user=mdettweiler [2013-07-22 20:16:47] 765*2^1247946-1 is not prime. Res64: 2B8E08CC8E36DF60 Time : 0.0 sec. user=mdettweiler [2013-07-22 20:16:47] 807*2^1247946-1 is not prime. Res64: 5AEAAC146DB08F7E Time : 0.0 sec. user=mdettweiler [2013-07-22 20:34:39] 851*2^1247946-1 is not prime. Res64: F7F8CD132F5C5BFF Time : 0.0 sec. user=mdettweiler [2013-07-22 20:34:39] 875*2^1247946-1 is not prime. Res64: 6A8A6569DDE45165 Time : 0.0 sec. user=juhehe [2013-07-22 20:43:24] 815*2^1247946-1 is not prime. Res64: 90ACE6EB90C6675B Time : 0.0 sec. user=mdettweiler [2013-07-22 20:53:20] 881*2^1247946-1 is not prime. Res64: 8D74B4A63A82612A Time : 0.0 sec. user=mdettweiler [2013-07-22 20:53:20] 1001*2^1247946-1 is not prime. Res64: AFCB0F5B43E923B1 Time : 0.0 sec. user=mdettweiler [2013-07-22 21:11:49] 619*2^1247947-1 is not prime. Res64: 4061D69B42465793 Time : 0.0 sec. user=mdettweiler [2013-07-22 21:11:50] 685*2^1247947-1 is not prime. Res64: 2CA8F6849334D948 Time : 0.0 sec. user=mdettweiler [2013-07-22 21:29:44] 693*2^1247947-1 is not prime. Res64: 12E14234FB05F02C Time : 0.0 sec. user=mdettweiler [2013-07-22 21:29:45] 741*2^1247947-1 is not prime. Res64: 59EA9B88175CCA6B Time : 0.0 sec. user=mdettweiler [2013-07-22 21:47:35] 759*2^1247947-1 is not prime. Res64: 2578703CD492EF63 Time : 0.0 sec. user=mdettweiler [2013-07-22 21:47:35] 873*2^1247947-1 is not prime. Res64: 9DAC0F24BC8B39FE Time : 0.0 sec. user=mdettweiler [2013-07-22 22:06:17] 931*2^1247947-1 is not prime. Res64: 4BE80127909D82F1 Time : 0.0 sec. user=mdettweiler [2013-07-22 22:06:17] 975*2^1247947-1 is not prime. Res64: FAF329D83625C792 Time : 0.0 sec. user=mdettweiler [2013-07-22 22:24:13] 683*2^1247948-1 is not prime. Res64: 15803736CBEBEF21 Time : 0.0 sec. user=mdettweiler [2013-07-22 22:24:13] 725*2^1247948-1 is not prime. Res64: 4F22998CE8E00CC3 Time : 0.0 sec. user=mdettweiler [2013-07-22 22:42:04] 897*2^1247948-1 is not prime. Res64: 2F198F6C121FA8B5 Time : 0.0 sec. user=mdettweiler [2013-07-22 22:42:04] 909*2^1247948-1 is not prime. Res64: DDB7A1C9AD68B449 Time : 0.0 sec. user=mdettweiler [2013-07-22 23:00:46] 945*2^1247948-1 is not prime. Res64: 1971DE89C7233E89 Time : 0.0 sec. user=mdettweiler [2013-07-22 23:00:47] 999*2^1247948-1 is not prime. Res64: CCE9799EEB28B7D8 Time : 0.0 sec. user=mdettweiler [2013-07-22 23:18:55] 727*2^1247949-1 is not prime. Res64: CC1FB7BA0FA02357 Time : 0.0 sec. user=mdettweiler [2013-07-22 23:18:55] 741*2^1247949-1 is not prime. Res64: 442B5BE5E3B08416 Time : 0.0 sec. user=mdettweiler [2013-07-22 23:36:41] 663*2^1247950-1 is not prime. Res64: 42D4801CD238BEB5 Time : 0.0 sec. user=mdettweiler [2013-07-22 23:36:42] 791*2^1247950-1 is not prime. Res64: 7E10DF690051F67E Time : 0.0 sec. user=mdettweiler [2013-07-22 23:54:20] 861*2^1247950-1 is not prime. Res64: 2ACD9695FCD26354 Time : 0.0 sec. user=mdettweiler [2013-07-22 23:54:20] 669*2^1247951-1 is not prime. Res64: AB0D4FAEC452000F Time : 0.0 sec.