user=mdettweiler [2012-08-10 00:11:18] 937*2^1226105-1 is not prime. Res64: 8D4C4488F7412960 Time : 0.0 sec. user=mdettweiler [2012-08-10 00:15:45] 939*2^1226105-1 is not prime. Res64: CB94BB4033C8F70B Time : 0.0 sec. user=mdettweiler [2012-08-10 00:15:46] 641*2^1226106-1 is not prime. Res64: 5944C5A452B35E69 Time : 0.0 sec. user=mdettweiler [2012-08-10 00:16:12] 767*2^1226106-1 is not prime. Res64: 17A64BF85604ECF8 Time : 0.0 sec. user=mdettweiler [2012-08-10 00:16:14] 783*2^1226106-1 is not prime. Res64: 10E25843B54FA758 Time : 0.0 sec. user=mdettweiler [2012-08-10 00:27:08] 927*2^1226104-1 is not prime. Res64: E53D475A5766B9E4 Time : 0.0 sec. user=gd_barnes [2012-08-10 00:34:01] 821*2^1226106-1 is not prime. Res64: 86CFFDBD551C9802 Time : 0.0 sec. user=vaughan [2012-08-10 00:36:18] 803*2^1226106-1 is not prime. Res64: A1F2B67ED9354465 Time : 0.0 sec. user=mdettweiler [2012-08-10 00:36:30] 881*2^1226106-1 is not prime. Res64: F75CFD3A84C0ED82 Time : 0.0 sec. user=mdettweiler [2012-08-10 00:36:31] 891*2^1226106-1 is not prime. Res64: 01BF46D0035AB0BE Time : 0.0 sec. user=mdettweiler [2012-08-10 00:36:51] 945*2^1226106-1 is not prime. Res64: D78B0E6C9E6E9424 Time : 0.0 sec. user=mdettweiler [2012-08-10 00:36:51] 993*2^1226106-1 is not prime. Res64: 1482EFD6E30F1B27 Time : 0.0 sec. user=gd_barnes [2012-08-10 00:37:40] 843*2^1226106-1 is not prime. Res64: B578CC15CFC2120E Time : 0.0 sec. user=mdettweiler [2012-08-10 00:47:00] 873*2^1226106-1 is not prime. Res64: 6A9EBD1E8A8224DA Time : 0.0 sec. user=mdettweiler [2012-08-10 00:57:07] 775*2^1226107-1 is not prime. Res64: 96E35539511DE0E1 Time : 0.0 sec. user=mdettweiler [2012-08-10 00:57:07] 835*2^1226107-1 is not prime. Res64: FA98E0EAA112780E Time : 0.0 sec. user=mdettweiler [2012-08-10 00:57:27] 861*2^1226107-1 is not prime. Res64: 3CF82F5538915EBC Time : 0.0 sec. user=mdettweiler [2012-08-10 00:57:28] 871*2^1226107-1 is not prime. Res64: 4CF40FFF18C97520 Time : 0.0 sec. user=mdettweiler [2012-08-10 01:03:50] 631*2^1226107-1 is not prime. Res64: B0D9D0DED70B6D38 Time : 0.0 sec. user=vaughan [2012-08-10 01:13:41] 733*2^1226107-1 is not prime. Res64: 573FDC1A140C2E9F Time : 0.0 sec. user=mdettweiler [2012-08-10 01:17:42] 909*2^1226107-1 is not prime. Res64: BFF4BD96A2297C29 Time : 0.0 sec. user=mdettweiler [2012-08-10 01:17:43] 945*2^1226107-1 is not prime. Res64: 524A3C7EE9EBD7D2 Time : 0.0 sec. user=mdettweiler [2012-08-10 01:18:02] 985*2^1226107-1 is not prime. Res64: DA180861540C624C Time : 0.0 sec. user=mdettweiler [2012-08-10 01:18:03] 659*2^1226108-1 is not prime. Res64: 278EE13AE92DD366 Time : 0.0 sec. user=mdettweiler [2012-08-10 01:37:46] 735*2^1226108-1 is not prime. Res64: 860131DF54CDDA42 Time : 0.0 sec. user=mdettweiler [2012-08-10 01:38:26] 867*2^1226108-1 is not prime. Res64: B7C2938DBF193B88 Time : 0.0 sec. user=mdettweiler [2012-08-10 01:38:27] 875*2^1226108-1 is not prime. Res64: FEBB596DF4DB74D4 Time : 0.0 sec. user=mdettweiler [2012-08-10 01:38:38] 873*2^1226107-1 is not prime. Res64: 72487145D01D43D0 Time : 0.0 sec. user=mdettweiler [2012-08-10 01:38:39] 953*2^1226108-1 is not prime. Res64: 6478DBC8BB676C4B Time : 0.0 sec. user=mdettweiler [2012-08-10 01:38:39] 995*2^1226108-1 is not prime. Res64: 1713305977BEEF43 Time : 0.0 sec. user=vaughan [2012-08-10 01:51:11] 789*2^1226108-1 is not prime. Res64: 1A1D1780D06B6FCE Time : 0.0 sec. user=mdettweiler [2012-08-10 01:59:03] 657*2^1226109-1 is not prime. Res64: E5E99208B833D562 Time : 0.0 sec. user=mdettweiler [2012-08-10 01:59:03] 709*2^1226109-1 is not prime. Res64: 803846D88E41743C Time : 0.0 sec. user=mdettweiler [2012-08-10 01:59:15] 789*2^1226109-1 is not prime. Res64: 1A1698E9E5E0D472 Time : 0.0 sec. user=mdettweiler [2012-08-10 01:59:16] 825*2^1226109-1 is not prime. Res64: 56370DCB38B70080 Time : 0.0 sec. user=mdettweiler [2012-08-10 02:15:16] 655*2^1226109-1 is not prime. Res64: 4B9235A87521D683 Time : 0.0 sec. user=mdettweiler [2012-08-10 02:17:15] 741*2^1226109-1 is not prime. Res64: 131B003ACBC9B307 Time : 0.0 sec. user=mdettweiler [2012-08-10 02:19:40] 605*2^1226110-1 is not prime. Res64: 116A543EB6607892 Time : 0.0 sec. user=mdettweiler [2012-08-10 02:19:41] 665*2^1226110-1 is not prime. Res64: DB0781264ECC97DE Time : 0.0 sec. user=mdettweiler [2012-08-10 02:19:52] 695*2^1226110-1 is not prime. Res64: 6E10941DB27B5BEA Time : 0.0 sec. user=mdettweiler [2012-08-10 02:19:53] 831*2^1226110-1 is not prime. Res64: 2312119FFA3098CC Time : 0.0 sec. user=vaughan [2012-08-10 02:28:34] 991*2^1226109-1 is not prime. Res64: 5CFC627FC7965959 Time : 0.0 sec. user=gd_barnes [2012-08-10 02:36:18] 685*2^1226111-1 is not prime. Res64: C3286F776D8408E8 Time : 0.0 sec. user=mdettweiler [2012-08-10 02:40:21] 823*2^1226111-1 is not prime. Res64: 94962A4C77644106 Time : 0.0 sec. user=mdettweiler [2012-08-10 02:40:22] 879*2^1226111-1 is not prime. Res64: 627B91785535D624 Time : 0.0 sec. user=mdettweiler [2012-08-10 02:40:29] 939*2^1226111-1 is not prime. Res64: 99663E7C10FF822C Time : 0.0 sec. user=mdettweiler [2012-08-10 02:40:30] 689*2^1226112-1 is not prime. Res64: 4CFFF58192BD45B1 Time : 0.0 sec. user=mdettweiler [2012-08-10 02:52:37] 759*2^1226111-1 is not prime. Res64: 9B92C815EA9CB25A Time : 0.0 sec. user=mdettweiler [2012-08-10 02:54:59] 781*2^1226111-1 is not prime. Res64: 140C32BDF3C6F2D2 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:01:14] 915*2^1226112-1 is not prime. Res64: 7FFA648DE82537CC Time : 0.0 sec. user=mdettweiler [2012-08-10 03:01:16] 637*2^1226113-1 is not prime. Res64: 11CE6E82EE646A1F Time : 0.0 sec. user=mdettweiler [2012-08-10 03:01:17] 975*2^1226112-1 is not prime. Res64: 472FCF2B95B9B055 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:01:18] 675*2^1226113-1 is not prime. Res64: BC0BB242B85E5F32 Time : 0.0 sec. user=gd_barnes [2012-08-10 03:05:28] 825*2^1226112-1 is not prime. Res64: 130C4645034EF7AB Time : 0.0 sec. user=vaughan [2012-08-10 03:06:04] 759*2^1226112-1 is not prime. Res64: 6C9C65B7CC4C9926 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:22:19] 727*2^1226113-1 is not prime. Res64: 351ED512CA3AD865 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:22:20] 729*2^1226113-1 is not prime. Res64: 95C7510019D05030 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:22:23] 765*2^1226113-1 is not prime. Res64: AE6AF97990639BE0 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:22:24] 847*2^1226113-1 is not prime. Res64: 7826085C7168A510 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:27:30] 691*2^1226113-1 is not prime. Res64: 9587FE61F427CCD0 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:29:38] 721*2^1226113-1 is not prime. Res64: 410E6B12EC06A9E6 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:43:04] 767*2^1226114-1 is not prime. Res64: 2D0D2DF669050438 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:43:06] 783*2^1226114-1 is not prime. Res64: 1F0DEEE057D33FA2 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:43:08] 813*2^1226114-1 is not prime. Res64: 1C5F0D70CB890118 Time : 0.0 sec. user=mdettweiler [2012-08-10 03:43:09] 857*2^1226114-1 is not prime. Res64: E80789E451468E68 Time : 0.0 sec. user=vaughan [2012-08-10 03:43:30] 861*2^1226113-1 is not prime. Res64: 108E832A481E088B Time : 0.0 sec. user=gd_barnes [2012-08-10 03:44:17] 979*2^1226113-1 is not prime. Res64: E5B1C8BE3DBF8C75 Time : 0.0 sec. user=mdettweiler [2012-08-10 04:02:15] 941*2^1226114-1 is not prime. Res64: F0687CE4BBA2AA83 Time : 0.0 sec. user=mdettweiler [2012-08-10 04:03:49] 609*2^1226115-1 is not prime. Res64: 4FC3F52F0E3C65CD Time : 0.0 sec. user=mdettweiler [2012-08-10 04:03:51] 625*2^1226115-1 is not prime. Res64: E159CAF19C1FBC9E Time : 0.0 sec. user=mdettweiler [2012-08-10 04:03:51] 619*2^1226115-1 is not prime. Res64: 69AD277B78D345C7 Time : 0.0 sec. user=mdettweiler [2012-08-10 04:03:52] 633*2^1226115-1 is not prime. Res64: 81D34D3435F2BDDA Time : 0.0 sec. user=mdettweiler [2012-08-10 04:04:20] 921*2^1226114-1 is not prime. Res64: 3174CCE6140F7C66 Time : 0.0 sec. user=vaughan [2012-08-10 04:20:55] 639*2^1226115-1 is not prime. Res64: B1F920D1AD3C4CC4 Time : 0.0 sec. user=mdettweiler [2012-08-10 04:24:33] 735*2^1226115-1 is not prime. Res64: F5744114C1F2A72A Time : 0.0 sec. user=mdettweiler [2012-08-10 04:24:34] 801*2^1226115-1 is not prime. Res64: 61ADE8453719F660 Time : 0.0 sec. user=mdettweiler [2012-08-10 04:24:36] 859*2^1226115-1 is not prime. Res64: 0D7097A1D2BDC97C Time : 0.0 sec. user=mdettweiler [2012-08-10 04:24:37] 969*2^1226115-1 is not prime. Res64: 7D38FCF144DE5E35 Time : 0.0 sec. user=mdettweiler [2012-08-10 04:35:12] 711*2^1226115-1 is not prime. Res64: B778FAA19C8E6EE1 Time : 0.0 sec. user=mdettweiler [2012-08-10 04:41:17] 657*2^1226116-1 is not prime. Res64: E89C5B56050133AE Time : 0.0 sec. user=juhehe [2012-08-10 04:42:04] 677*2^1226020-1 is not prime. Res64: 2408C7D6D43734C9 Time : 0.0 sec. user=gd_barnes [2012-08-10 04:43:02] 699*2^1226116-1 is not prime. Res64: 201B8ADD821CA1D6 Time : 0.0 sec. user=mdettweiler [2012-08-10 04:45:11] 735*2^1226116-1 is not prime. Res64: 649A55B59DDCBB39 Time : 0.0 sec. user=mdettweiler [2012-08-10 04:45:13] 869*2^1226116-1 is not prime. Res64: 5F59EB679848449C Time : 0.0 sec. user=mdettweiler [2012-08-10 04:45:15] 875*2^1226116-1 is not prime. Res64: 37ECD2B36564FDDF Time : 0.0 sec. user=mdettweiler [2012-08-10 04:45:16] 975*2^1226116-1 is not prime. Res64: 432DF18C7184CDD4 Time : 0.0 sec. user=vaughan [2012-08-10 04:58:23] 719*2^1226116-1 is not prime. Res64: 93A32F06408D08CC Time : 0.0 sec. user=mdettweiler [2012-08-10 05:05:51] 889*2^1226117-1 is not prime. Res64: 5230FF25B0130CBF Time : 0.0 sec. user=mdettweiler [2012-08-10 05:05:55] 955*2^1226117-1 is not prime. Res64: 381C22F094988F56 Time : 0.0 sec. user=mdettweiler [2012-08-10 05:05:58] 635*2^1226118-1 is not prime. Res64: 6D7597F894FA884F Time : 0.0 sec. user=mdettweiler [2012-08-10 05:06:01] 681*2^1226118-1 is not prime. Res64: CD5B59D6EF5E7A4B Time : 0.0 sec. user=mdettweiler [2012-08-10 05:09:39] 999*2^1226116-1 is not prime. Res64: C369E8F69094B738 Time : 0.0 sec. user=mdettweiler [2012-08-10 05:16:01] 741*2^1226117-1 is not prime. Res64: F4D813B2FBDA915C Time : 0.0 sec. user=mdettweiler [2012-08-10 05:26:46] 707*2^1226118-1 is not prime. Res64: 907E481EA3B181B1 Time : 0.0 sec. user=mdettweiler [2012-08-10 05:26:46] 711*2^1226118-1 is not prime. Res64: EDD993A8402861D1 Time : 0.0 sec. user=mdettweiler [2012-08-10 05:26:52] 713*2^1226118-1 is not prime. Res64: AA3AD16142759087 Time : 0.0 sec. user=mdettweiler [2012-08-10 05:26:53] 761*2^1226118-1 is not prime. Res64: 0DFAA9C4F025E9FF Time : 0.0 sec. user=vaughan [2012-08-10 05:35:47] 705*2^1226118-1 is not prime. Res64: 1E531605C158B840 Time : 0.0 sec. user=mdettweiler [2012-08-10 05:45:06] 825*2^1226118-1 is not prime. Res64: D83D7E57ADD7EB83 Time : 0.0 sec. user=gd_barnes [2012-08-10 05:46:21] 745*2^1226119-1 is not prime. Res64: C51C0152C3FC5754 Time : 0.0 sec. user=mdettweiler [2012-08-10 05:47:27] 889*2^1226119-1 is not prime. Res64: 737CC49B5D46D92A Time : 0.0 sec. user=mdettweiler [2012-08-10 05:47:28] 665*2^1226120-1 is not prime. Res64: 3ED94D4FB1A641FC Time : 0.0 sec. user=mdettweiler [2012-08-10 05:47:32] 677*2^1226120-1 is not prime. Res64: 3B9A0464E07B741D Time : 0.0 sec. user=mdettweiler [2012-08-10 05:47:33] 767*2^1226120-1 is not prime. Res64: 86F914E855D465E2 Time : 0.0 sec. user=gd_barnes [2012-08-10 05:48:15] 1001*2^1226118-1 is not prime. Res64: 30DC6F75CF218DF7 Time : 0.0 sec. user=mdettweiler [2012-08-10 05:51:04] 833*2^1226118-1 is not prime. Res64: 6F0A47EE00B86EE7 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:08:11] 983*2^1226120-1 is not prime. Res64: 39D3E363215859BD Time : 0.0 sec. user=mdettweiler [2012-08-10 06:08:13] 717*2^1226121-1 is not prime. Res64: F6FE22DBBA48135B Time : 0.0 sec. user=mdettweiler [2012-08-10 06:08:14] 739*2^1226121-1 is not prime. Res64: 92CDE798CB2AF478 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:08:20] 601*2^1226121-1 is not prime. Res64: 5DEA468164C5C240 Time : 0.0 sec. user=vaughan [2012-08-10 06:13:16] 825*2^1226120-1 is not prime. Res64: B5BF9847AC1AABD1 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:21:03] 855*2^1226120-1 is not prime. Res64: 3139BE4675DD6BF2 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:26:51] 861*2^1226121-1 is not prime. Res64: BE43F1ABE0D5C4BD Time : 0.0 sec. user=mdettweiler [2012-08-10 06:28:59] 867*2^1226121-1 is not prime. Res64: 08DC917068CB49D7 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:28:59] 635*2^1226122-1 is not prime. Res64: 6665C73E0601A82A Time : 0.0 sec. user=mdettweiler [2012-08-10 06:29:00] 645*2^1226122-1 is not prime. Res64: D4FB4C14F255FDA6 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:29:01] 705*2^1226122-1 is not prime. Res64: 1F916DBD0E111C05 Time : 0.0 sec. user=gd_barnes [2012-08-10 06:45:11] 741*2^1226122-1 is not prime. Res64: 9EE013F815CD04C3 Time : 0.0 sec. user=gd_barnes [2012-08-10 06:46:44] 777*2^1226122-1 is not prime. Res64: CAC36A8D042AEC34 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:49:39] 923*2^1226122-1 is not prime. Res64: 1F930D2438BC1D07 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:49:40] 945*2^1226122-1 is not prime. Res64: C2798E6745C1C22E Time : 0.0 sec. user=mdettweiler [2012-08-10 06:49:41] 615*2^1226123-1 is not prime. Res64: C4C8124E690634E3 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:49:42] 753*2^1226123-1 is not prime. Res64: FD66E810EA3F300D Time : 0.0 sec. user=vaughan [2012-08-10 06:50:45] 713*2^1226122-1 is not prime. Res64: 998B0CEAAA6033E8 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:58:25] 857*2^1226122-1 is not prime. Res64: 2D5F44F16B897B48 Time : 0.0 sec. user=mdettweiler [2012-08-10 06:59:31] 887*2^1226122-1 is not prime. Res64: 3DF0A0DEC1C55EA3 Time : 0.0 sec. user=mdettweiler [2012-08-10 07:10:22] 921*2^1226123-1 is not prime. Res64: AC6E6BA3D49741E3 Time : 0.0 sec. user=mdettweiler [2012-08-10 07:10:24] 695*2^1226124-1 is not prime. Res64: 065E5CD42F96F2DC Time : 0.0 sec. user=mdettweiler [2012-08-10 07:10:26] 999*2^1226123-1 is not prime. Res64: 7E9EE5C686E7EC02 Time : 0.0 sec. user=mdettweiler [2012-08-10 07:10:29] 753*2^1226124-1 is not prime. Res64: C2D7070FE5C759C0 Time : 0.0 sec. user=vaughan [2012-08-10 07:28:22] 923*2^1226124-1 is not prime. Res64: 4A75AE35609CE6B4 Time : 0.0 sec. user=mdettweiler [2012-08-10 07:31:18] 687*2^1226125-1 is not prime. Res64: 123CCAF8773037FB Time : 0.0 sec. user=mdettweiler [2012-08-10 07:31:19] 775*2^1226125-1 is not prime. Res64: 2AB6B1856D1346D0 Time : 0.0 sec. user=mdettweiler [2012-08-10 07:31:22] 825*2^1226125-1 is not prime. Res64: 92E167F2ABA5A893 Time : 0.0 sec. user=mdettweiler [2012-08-10 07:31:23] 885*2^1226125-1 is not prime. Res64: D29AB6BB16AFCEA2 Time : 0.0 sec. user=mdettweiler [2012-08-10 07:31:58] 651*2^1226125-1 is not prime. Res64: BD54B95738E7CD2D Time : 0.0 sec. user=mdettweiler [2012-08-10 07:35:20] 607*2^1226125-1 is not prime. Res64: 3F37565E474C7AE2 Time : 0.0 sec. user=mdettweiler [2012-08-10 07:52:06] 951*2^1226125-1 is not prime. Res64: 7373C7A7168F4964 Time : 0.0 sec. user=mdettweiler [2012-08-10 07:52:07] 825*2^1226126-1 is not prime. Res64: BB0AB7739CED380D Time : 0.0 sec. user=mdettweiler [2012-08-10 07:52:08] 887*2^1226126-1 is not prime. Res64: FF294DCC0E134242 Time : 0.0 sec. user=mdettweiler [2012-08-10 07:52:09] 649*2^1226127-1 is not prime. Res64: ED9BA6B5F73CCBC8 Time : 0.0 sec. user=vaughan [2012-08-10 08:05:55] 895*2^1226125-1 is not prime. Res64: 4F9D3DDF3E7746DB Time : 0.0 sec. user=mdettweiler [2012-08-10 08:06:26] 661*2^1226127-1 is not prime. Res64: DD6DBE361E352596 Time : 0.0 sec. user=mdettweiler [2012-08-10 08:09:58] 711*2^1226127-1 is not prime. Res64: CB5A20DA2711213B Time : 0.0 sec. user=mdettweiler [2012-08-10 08:12:50] 741*2^1226127-1 is not prime. Res64: 3B42A1568A714ADC Time : 0.0 sec. user=mdettweiler [2012-08-10 08:12:51] 765*2^1226127-1 is not prime. Res64: 97101399192E74A2 Time : 0.0 sec. user=mdettweiler [2012-08-10 08:12:51] 687*2^1226128-1 is not prime. Res64: A51FEC4FC67EAD6C Time : 0.0 sec. user=mdettweiler [2012-08-10 08:12:52] 705*2^1226128-1 is not prime. Res64: 5172FF8F5668AEFE Time : 0.0 sec. user=mdettweiler [2012-08-10 08:33:39] 699*2^1226129-1 is not prime. Res64: FA01110E8013774F Time : 0.0 sec. user=mdettweiler [2012-08-10 08:33:40] 705*2^1226129-1 is not prime. Res64: 58CF60958678CA74 Time : 0.0 sec. user=mdettweiler [2012-08-10 08:33:46] 781*2^1226129-1 is not prime. Res64: F7B9472A725BAB1C Time : 0.0 sec. user=mdettweiler [2012-08-10 08:33:47] 789*2^1226129-1 is not prime. Res64: 090C055E586CB83E Time : 0.0 sec. user=mdettweiler [2012-08-10 08:41:19] 631*2^1226129-1 is not prime. Res64: EC197028DF246DD9 Time : 0.0 sec. user=vaughan [2012-08-10 08:43:30] 855*2^1226128-1 is not prime. Res64: 70549979B5A93152 Time : 0.0 sec. user=mdettweiler [2012-08-10 08:44:31] 691*2^1226129-1 is not prime. Res64: C8055425AE129108 Time : 0.0 sec. user=mdettweiler [2012-08-10 08:54:27] 811*2^1226129-1 is not prime. Res64: 286299A51BFB386D Time : 0.0 sec. user=mdettweiler [2012-08-10 08:54:28] 967*2^1226129-1 is not prime. Res64: DED2031EB04ED8A5 Time : 0.0 sec. user=mdettweiler [2012-08-10 08:54:31] 633*2^1226130-1 is not prime. Res64: 9F399121F5A6811F Time : 0.0 sec. user=mdettweiler [2012-08-10 08:54:32] 681*2^1226130-1 is not prime. Res64: 1DF07C540702D44D Time : 0.0 sec. user=mdettweiler [2012-08-10 09:15:09] 797*2^1226130-1 is not prime. Res64: 34975008D49A1050 Time : 0.0 sec. user=mdettweiler [2012-08-10 09:15:12] 789*2^1226131-1 is not prime. Res64: E8051054C57ECB7D Time : 0.0 sec. user=mdettweiler [2012-08-10 09:15:26] 793*2^1226131-1 is not prime. Res64: 99E8721D5C841EB0 Time : 0.0 sec. user=mdettweiler [2012-08-10 09:15:28] 925*2^1226131-1 is not prime. Res64: 80F6DB8C734502D1 Time : 0.0 sec. user=mdettweiler [2012-08-10 09:16:03] 725*2^1226130-1 is not prime. Res64: AF8952BF90327E03 Time : 0.0 sec. user=mdettweiler [2012-08-10 09:19:19] 765*2^1226130-1 is not prime. Res64: 6EF9AFF179C5847D Time : 0.0 sec. user=vaughan [2012-08-10 09:20:53] 741*2^1226130-1 is not prime. Res64: 738B041ECD3B40F2 Time : 0.0 sec. user=mdettweiler [2012-08-10 09:36:07] 785*2^1226132-1 is not prime. Res64: 2E38B0ECF44DA2CA Time : 0.0 sec. user=mdettweiler [2012-08-10 09:36:08] 827*2^1226132-1 is not prime. Res64: DDF0F56A0693E1ED Time : 0.0 sec. user=mdettweiler [2012-08-10 09:36:13] 873*2^1226132-1 is not prime. Res64: 8B6E8843FB6057A1 Time : 0.0 sec. user=mdettweiler [2012-08-10 09:36:14] 875*2^1226132-1 is not prime. Res64: 8B977A4C32F54380 Time : 0.0 sec. user=gd_barnes [2012-08-10 09:45:06] 677*2^1226132-1 is not prime. Res64: 535AEEFF127645EA Time : 0.0 sec. user=mdettweiler [2012-08-10 09:54:05] 977*2^1226132-1 is not prime. Res64: C5813769B392F4AA Time : 0.0 sec. user=mdettweiler [2012-08-10 09:56:51] 681*2^1226133-1 is not prime. Res64: 0E73A48ECE264C0B Time : 0.0 sec. user=mdettweiler [2012-08-10 09:56:52] 691*2^1226133-1 is not prime. Res64: 68D3357DFAD9B4C4 Time : 0.0 sec. user=mdettweiler [2012-08-10 09:56:56] 611*2^1226134-1 is not prime. Res64: 16727B996A2FC2F8 Time : 0.0 sec. user=mdettweiler [2012-08-10 09:56:57] 657*2^1226134-1 is not prime. Res64: F2CD9F81DD2D101F Time : 0.0 sec. user=vaughan [2012-08-10 09:58:23] 625*2^1226133-1 is not prime. Res64: 427FCC1852A7676B Time : 0.0 sec. user=mdettweiler [2012-08-10 10:17:33] 737*2^1226134-1 is not prime. Res64: 3DB6BD37A20BBD89 Time : 0.0 sec. user=mdettweiler [2012-08-10 10:17:34] 831*2^1226134-1 is not prime. Res64: 0D08824074970662 Time : 0.0 sec. user=mdettweiler [2012-08-10 10:17:46] 975*2^1226134-1 is not prime. Res64: B83D4F0D258C737D Time : 0.0 sec. user=mdettweiler [2012-08-10 10:17:47] 993*2^1226134-1 is not prime. Res64: 5B6D183D1DA0F383 Time : 0.0 sec. user=mdettweiler [2012-08-10 10:26:06] 935*2^1226132-1 is not prime. Res64: A1FE6164E0EA110E Time : 0.0 sec. user=mdettweiler [2012-08-10 10:27:57] 687*2^1226134-1 is not prime. Res64: F3F333C1B3570E48 Time : 0.0 sec. user=vaughan [2012-08-10 10:35:46] 759*2^1226135-1 is not prime. Res64: 5953C318C55717FF Time : 0.0 sec. user=mdettweiler [2012-08-10 10:38:22] 859*2^1226135-1 is not prime. Res64: 2468653851B79623 Time : 0.0 sec. user=mdettweiler [2012-08-10 10:38:23] 921*2^1226135-1 is not prime. Res64: 32CB8A6C6CCF42D5 Time : 0.0 sec. user=mdettweiler [2012-08-10 10:38:32] 627*2^1226136-1 is not prime. Res64: 1CD63AB82B79B3AB Time : 0.0 sec. user=mdettweiler [2012-08-10 10:38:32] 633*2^1226136-1 is not prime. Res64: 03BAE5289ECB5E9B Time : 0.0 sec. user=gd_barnes [2012-08-10 10:39:34] 823*2^1226135-1 is not prime. Res64: D22912E39DDB553F Time : 0.0 sec. user=mdettweiler [2012-08-10 10:59:05] 903*2^1226136-1 is not prime. Res64: 36BB1254BDF99D1D Time : 0.0 sec. user=mdettweiler [2012-08-10 10:59:06] 639*2^1226137-1 is not prime. Res64: B2D63B695A31D581 Time : 0.0 sec. user=mdettweiler [2012-08-10 10:59:11] 769*2^1226137-1 is not prime. Res64: 20AF4DA26D6546A3 Time : 0.0 sec. user=mdettweiler [2012-08-10 10:59:12] 841*2^1226137-1 is not prime. Res64: 8E740C90F95B97E9 Time : 0.0 sec. user=mdettweiler [2012-08-10 11:01:15] 657*2^1226136-1 is not prime. Res64: D05520763034AFE5 Time : 0.0 sec. user=mdettweiler [2012-08-10 11:02:51] 759*2^1226136-1 is not prime. Res64: 4ED53D05993B2577 Time : 0.0 sec. user=vaughan [2012-08-10 11:13:15] 873*2^1226136-1 is not prime. Res64: 2E9EF34A2A14F52A Time : 0.0 sec. user=mdettweiler [2012-08-10 11:19:48] 861*2^1226137-1 is not prime. Res64: 5D5DC77C066D7A69 Time : 0.0 sec. user=mdettweiler [2012-08-10 11:19:49] 901*2^1226137-1 is not prime. Res64: DE5540F4068F1403 Time : 0.0 sec. user=mdettweiler [2012-08-10 11:19:53] 937*2^1226137-1 is not prime. Res64: D38A1E6EBC94F6D8 Time : 0.0 sec. user=mdettweiler [2012-08-10 11:19:54] 603*2^1226138-1 is not prime. Res64: BB521F3755AFB5BB Time : 0.0 sec. user=mdettweiler [2012-08-10 11:36:38] 665*2^1226138-1 is not prime. Res64: 4213DD5844A6AB35 Time : 0.0 sec. user=mdettweiler [2012-08-10 11:38:41] 713*2^1226138-1 is not prime. Res64: 35368B6D021A7859 Time : 0.0 sec. user=mdettweiler [2012-08-10 11:40:31] 767*2^1226138-1 is not prime. Res64: A2295EF867CC12E4 Time : 0.0 sec. user=mdettweiler [2012-08-10 11:40:32] 831*2^1226138-1 is not prime. Res64: 181F98065EC6EF41 Time : 0.0 sec. user=mdettweiler [2012-08-10 11:40:34] 893*2^1226138-1 is not prime. Res64: A342527CFF02A6D7 Time : 0.0 sec. user=mdettweiler [2012-08-10 11:40:35] 963*2^1226138-1 is not prime. Res64: EE674FC1847E7ADE Time : 0.0 sec. user=vaughan [2012-08-10 11:50:45] 753*2^1226138-1 is not prime. Res64: AECD9EEB5AA207D2 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:01:12] 717*2^1226140-1 is not prime. Res64: 6A6974BA4C627B39 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:01:14] 839*2^1226140-1 is not prime. Res64: 86770CF0314E7821 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:01:16] 857*2^1226140-1 is not prime. Res64: BFF173DA697BF43C Time : 0.0 sec. user=mdettweiler [2012-08-10 12:01:17] 863*2^1226140-1 is not prime. Res64: 74C3527A8A22A2CC Time : 0.0 sec. user=mdettweiler [2012-08-10 12:13:17] 775*2^1226139-1 is not prime. Res64: 81440BC80A4FBCC2 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:15:10] 873*2^1226139-1 is not prime. Res64: 934911CAD4C2DD41 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:22:13] 651*2^1226141-1 is not prime. Res64: 7F2F45D90DF37BCD Time : 0.0 sec. user=mdettweiler [2012-08-10 12:22:14] 769*2^1226141-1 is not prime. Res64: 7B89949D36B54793 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:22:15] 861*2^1226141-1 is not prime. Res64: E855510BF98E8532 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:22:17] 937*2^1226141-1 is not prime. Res64: 1118B532FAE798E0 Time : 0.0 sec. user=vaughan [2012-08-10 12:28:10] 927*2^1226140-1 is not prime. Res64: 0FCCC14EAF9D3AAD Time : 0.0 sec. user=gd_barnes [2012-08-10 12:42:31] 627*2^1226142-1 is not prime. Res64: C81C7DD86025B856 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:42:59] 693*2^1226143-1 is not prime. Res64: 0FD1EA3A88FB590E Time : 0.0 sec. user=mdettweiler [2012-08-10 12:43:00] 811*2^1226143-1 is not prime. Res64: 9DD1C079E75EA3A3 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:43:00] 765*2^1226143-1 is not prime. Res64: E120435E8D025A78 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:43:01] 855*2^1226143-1 is not prime. Res64: E40F916231AC47CD Time : 0.0 sec. user=gd_barnes [2012-08-10 12:46:18] 615*2^1226083-1 is not prime. Res64: 49D249B686B29180 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:48:31] 797*2^1226142-1 is not prime. Res64: 1FD9154C910D2F53 Time : 0.0 sec. user=mdettweiler [2012-08-10 12:50:18] 661*2^1226143-1 is not prime. Res64: 8AC9036A55066689 Time : 0.0 sec. user=mdettweiler [2012-08-10 13:04:06] 795*2^1226144-1 is not prime. Res64: AF3325AFCD98BD6A Time : 0.0 sec. user=mdettweiler [2012-08-10 13:04:07] 825*2^1226144-1 is not prime. Res64: F9E6D989D2078530 Time : 0.0 sec. user=mdettweiler [2012-08-10 13:04:13] 843*2^1226144-1 is not prime. Res64: ACB8872A8BC9142B Time : 0.0 sec. user=mdettweiler [2012-08-10 13:04:15] 875*2^1226144-1 is not prime. Res64: 0CE06E9B4E5916AB Time : 0.0 sec. user=vaughan [2012-08-10 13:05:37] 969*2^1226143-1 is not prime. Res64: 1721E05490A13FE1 Time : 0.0 sec. user=juhehe [2012-08-10 13:07:48] 861*2^1226143-1 is not prime. Res64: DA26D90C86590DED Time : 0.0 sec. user=mdettweiler [2012-08-10 13:25:00] 787*2^1226145-1 is not prime. Res64: 16C22F9C93A83C38 Time : 0.0 sec. user=mdettweiler [2012-08-10 13:25:01] 885*2^1226145-1 is not prime. Res64: F1B807BEBCDA29B9 Time : 0.0 sec. user=mdettweiler [2012-08-10 13:25:06] 889*2^1226145-1 is not prime. Res64: 6DBC1369D0E6CFED Time : 0.0 sec. user=mdettweiler [2012-08-10 13:25:06] 909*2^1226145-1 is not prime. Res64: 9799F88303F94C04 Time : 0.0 sec. user=mdettweiler [2012-08-10 13:27:31] 945*2^1226144-1 is not prime. Res64: E3A925828A6F5399 Time : 0.0 sec. user=mdettweiler [2012-08-10 13:30:16] 699*2^1226145-1 is not prime. Res64: 63309EB7F952CE7F Time : 0.0 sec. user=vaughan [2012-08-10 13:43:03] 937*2^1226145-1 is not prime. Res64: D95FC10ABD2CBC08 Time : 0.0 sec. user=gd_barnes [2012-08-10 13:43:34] 991*2^1226145-1 is not prime. Res64: D728714377EC6E07 Time : 0.0 sec. user=mdettweiler [2012-08-10 13:45:56] 653*2^1226146-1 is not prime. Res64: 218B7C4472173EED Time : 0.0 sec. user=mdettweiler [2012-08-10 13:45:56] 705*2^1226146-1 is not prime. Res64: D09C7FF908410673 Time : 0.0 sec. user=mdettweiler [2012-08-10 13:46:00] 713*2^1226146-1 is not prime. Res64: F214A7EB2892C01E Time : 0.0 sec. user=mdettweiler [2012-08-10 13:46:00] 723*2^1226146-1 is not prime. Res64: 635867722D240B6B Time : 0.0 sec. user=juhehe [2012-08-10 13:52:00] 975*2^1226145-1 is not prime. Res64: 48FE972BE8734962 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:03:49] 737*2^1226146-1 is not prime. Res64: CA48412983A3C0F0 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:06:21] 765*2^1226146-1 is not prime. Res64: CB44A46AD47DFB3B Time : 0.0 sec. user=mdettweiler [2012-08-10 14:06:48] 873*2^1226146-1 is not prime. Res64: A65247C38DA03F01 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:06:51] 1001*2^1226146-1 is not prime. Res64: 132CDE4976D25B87 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:06:53] 693*2^1226147-1 is not prime. Res64: 047636D8C8328A51 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:06:54] 741*2^1226147-1 is not prime. Res64: BC276A7DF001DC5C Time : 0.0 sec. user=vaughan [2012-08-10 14:20:27] 803*2^1226146-1 is not prime. Res64: 938EC651BBB575E3 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:27:29] 759*2^1226148-1 is not prime. Res64: 6AD3DDA6A78C28E8 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:27:29] 773*2^1226148-1 is not prime. Res64: F8C447DC28A43694 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:27:32] 797*2^1226148-1 is not prime. Res64: 1F2AC35AEA365363 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:27:33] 745*2^1226149-1 is not prime. Res64: F3998DF81B5FC43E Time : 0.0 sec. user=mdettweiler [2012-08-10 14:39:53] 749*2^1226148-1 is not prime. Res64: 7EA348158AFB6EE2 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:41:53] 753*2^1226148-1 is not prime. Res64: 679C53CA6BCB8069 Time : 0.0 sec. user=gd_barnes [2012-08-10 14:41:58] 759*2^1226149-1 is not prime. Res64: 27D88ABBEB8B5849 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:48:03] 831*2^1226149-1 is not prime. Res64: 70E7257A9233D524 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:48:04] 951*2^1226149-1 is not prime. Res64: E15C3626486C7069 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:48:07] 603*2^1226150-1 is not prime. Res64: 507E60CBFB5293F5 Time : 0.0 sec. user=mdettweiler [2012-08-10 14:48:07] 641*2^1226150-1 is not prime. Res64: 0F2A6BEA5EBE8D5E Time : 0.0 sec. user=vaughan [2012-08-10 14:58:01] 801*2^1226149-1 is not prime. Res64: E71F93680BE40F32 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:08:38] 831*2^1226150-1 is not prime. Res64: 8E9D672665661001 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:08:39] 861*2^1226150-1 is not prime. Res64: 38BF11F31B22AF34 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:08:41] 897*2^1226150-1 is not prime. Res64: 6E6534C487D45BAB Time : 0.0 sec. user=mdettweiler [2012-08-10 15:08:43] 917*2^1226150-1 is not prime. Res64: F5AD6CC449CFAF78 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:15:50] 677*2^1226150-1 is not prime. Res64: 7B5CAA4F852230E7 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:17:30] 753*2^1226150-1 is not prime. Res64: 43BBD54D74E1E336 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:29:20] 829*2^1226151-1 is not prime. Res64: 3E09E809F7BF304D Time : 0.0 sec. user=mdettweiler [2012-08-10 15:29:21] 955*2^1226151-1 is not prime. Res64: BED6933C7C1E382F Time : 0.0 sec. user=mdettweiler [2012-08-10 15:29:22] 703*2^1226151-1 is not prime. Res64: 04E3D503A569D917 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:29:23] 795*2^1226151-1 is not prime. Res64: 96087C319DF77D05 Time : 0.0 sec. user=vaughan [2012-08-10 15:35:26] 625*2^1226151-1 is not prime. Res64: CFF8A0088D31B72B Time : 0.0 sec. user=mdettweiler [2012-08-10 15:49:59] 747*2^1226152-1 is not prime. Res64: B82CAB01A4176BE9 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:49:59] 759*2^1226152-1 is not prime. Res64: 4D6E9769F03EA8EF Time : 0.0 sec. user=mdettweiler [2012-08-10 15:49:59] 827*2^1226152-1 is not prime. Res64: 3A0A6ABF5F203E02 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:50:00] 863*2^1226152-1 is not prime. Res64: 075D35F289DFCD32 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:52:50] 639*2^1226152-1 is not prime. Res64: 5524E0250707E229 Time : 0.0 sec. user=mdettweiler [2012-08-10 15:54:35] 645*2^1226152-1 is not prime. Res64: 7014D59EEF85B755 Time : 0.0 sec. user=mdettweiler [2012-08-10 16:10:34] 899*2^1226152-1 is not prime. Res64: 66904A7EFEDE379C Time : 0.0 sec. user=mdettweiler [2012-08-10 16:10:37] 915*2^1226152-1 is not prime. Res64: 36B0F135CF9C4220 Time : 0.0 sec. user=mdettweiler [2012-08-10 16:10:39] 917*2^1226152-1 is not prime. Res64: 049EAF3EAD7887E5 Time : 0.0 sec. user=mdettweiler [2012-08-10 16:10:42] 957*2^1226152-1 is not prime. Res64: 238040C0261C55B0 Time : 0.0 sec. user=vaughan [2012-08-10 16:12:54] 875*2^1226152-1 is not prime. Res64: B8102588824673C5 Time : 0.0 sec. user=mdettweiler [2012-08-10 16:27:59] 975*2^1226152-1 is not prime. Res64: 7EA149FA6118A40F Time : 0.0 sec. user=mdettweiler [2012-08-10 16:29:55] 651*2^1226153-1 is not prime. Res64: 242703A753A4E02F Time : 0.0 sec. user=mdettweiler [2012-08-10 16:31:24] 769*2^1226153-1 is not prime. Res64: F1E9235A76D5AA90 Time : 0.0 sec. user=mdettweiler [2012-08-10 16:31:25] 795*2^1226153-1 is not prime. Res64: 6184370558CC29D8 Time : 0.0 sec. user=mdettweiler [2012-08-10 16:31:28] 855*2^1226153-1 is not prime. Res64: C1B931A07BF0BC5C Time : 0.0 sec. user=mdettweiler [2012-08-10 16:31:29] 879*2^1226153-1 is not prime. Res64: A6C09B51523E925A Time : 0.0 sec. user=gd_barnes [2012-08-10 16:42:07] 885*2^1226153-1 is not prime. Res64: BB508CAE3F4E6788 Time : 0.0 sec. user=gd_barnes [2012-08-10 16:44:07] 665*2^1226154-1 is not prime. Res64: BE044AC567902E29 Time : 0.0 sec. user=vaughan [2012-08-10 16:50:19] 981*2^1226153-1 is not prime. Res64: 6A48C33BE0EA36AB Time : 0.0 sec. user=mdettweiler [2012-08-10 16:52:00] 755*2^1226154-1 is not prime. Res64: 0DD3A25E95E76177 Time : 0.0 sec. user=mdettweiler [2012-08-10 16:52:01] 923*2^1226154-1 is not prime. Res64: E32E537D834E21EB Time : 0.0 sec. user=mdettweiler [2012-08-10 16:52:03] 927*2^1226154-1 is not prime. Res64: 119B3D50B837CEC4 Time : 0.0 sec. user=mdettweiler [2012-08-10 16:52:04] 947*2^1226154-1 is not prime. Res64: BD3F522441A17EC4 Time : 0.0 sec. user=mdettweiler [2012-08-10 17:02:01] 671*2^1226154-1 is not prime. Res64: 5FFFEFAB44207F14 Time : 0.0 sec. user=mdettweiler [2012-08-10 17:03:51] 683*2^1226154-1 is not prime. Res64: 027C6B32DAC4A30A Time : 0.0 sec. user=mdettweiler [2012-08-10 17:12:36] 861*2^1226155-1 is not prime. Res64: D6A961997060946A Time : 0.0 sec. user=mdettweiler [2012-08-10 17:12:37] 943*2^1226155-1 is not prime. Res64: 1411164A1E590EFF Time : 0.0 sec. user=mdettweiler [2012-08-10 17:12:40] 951*2^1226155-1 is not prime. Res64: 27A401C0EDA9B57B Time : 0.0 sec. user=mdettweiler [2012-08-10 17:12:43] 669*2^1226156-1 is not prime. Res64: A52261C819C96A4E Time : 0.0 sec. user=vaughan [2012-08-10 17:27:44] 751*2^1226155-1 is not prime. Res64: 74C5E1A032CADBB0 Time : 0.0 sec. user=mdettweiler [2012-08-10 17:33:34] 825*2^1226156-1 is not prime. Res64: 2B14E09814BEC946 Time : 0.0 sec. user=mdettweiler [2012-08-10 17:33:34] 897*2^1226156-1 is not prime. Res64: 1054A86AC3EB7F11 Time : 0.0 sec. user=mdettweiler [2012-08-10 17:33:37] 601*2^1226157-1 is not prime. Res64: 45310C96013FC2D3 Time : 0.0 sec. user=mdettweiler [2012-08-10 17:33:38] 607*2^1226157-1 is not prime. Res64: 24BA795D0259718C Time : 0.0 sec. user=mdettweiler [2012-08-10 17:34:38] 693*2^1226156-1 is not prime. Res64: CF7F48A0DD32C5FB Time : 0.0 sec. user=mdettweiler [2012-08-10 17:39:48] 749*2^1226156-1 is not prime. Res64: 247E9A3C20809D5A Time : 0.0 sec. user=mdettweiler [2012-08-10 17:55:00] 617*2^1226158-1 is not prime. Res64: 9F67C7A802428BF2 Time : 0.0 sec. user=mdettweiler [2012-08-10 17:55:01] 657*2^1226158-1 is not prime. Res64: 56ECD218157D1D17 Time : 0.0 sec. user=mdettweiler [2012-08-10 17:55:04] 919*2^1226157-1 is not prime. Res64: 60861D639B0FB2E4 Time : 0.0 sec. user=mdettweiler [2012-08-10 17:55:04] 961*2^1226157-1 is not prime. Res64: CB466CD4DC1CB913 Time : 0.0 sec. user=gd_barnes [2012-08-10 17:56:00] 835*2^1226157-1 is not prime. Res64: 78D500E076BAAA46 Time : 0.0 sec. user=gd_barnes [2012-08-10 17:58:46] 819*2^1226157-1 is not prime. Res64: 82D9AA1CF4DAB560 Time : 0.0 sec. user=vaughan [2012-08-10 18:05:13] 727*2^1226157-1 is not prime. Res64: E6686213C47D437A Time : 0.0 sec. user=mdettweiler [2012-08-10 18:08:32] 695*2^1226158-1 is not prime. Res64: 19C192C2A5865D8E Time : 0.0 sec. user=mdettweiler [2012-08-10 18:13:58] 755*2^1226158-1 is not prime. Res64: 1090793C452C8150 Time : 0.0 sec. user=mdettweiler [2012-08-10 18:16:24] 801*2^1226158-1 is not prime. Res64: 27216169CBA04C5E Time : 0.0 sec. user=mdettweiler [2012-08-10 18:16:25] 815*2^1226158-1 is not prime. Res64: 2B025FCBCFED72CC Time : 0.0 sec. user=mdettweiler [2012-08-10 18:16:30] 845*2^1226158-1 is not prime. Res64: AE26113FBCB064AD Time : 0.0 sec. user=mdettweiler [2012-08-10 18:16:31] 857*2^1226158-1 is not prime. Res64: B10BB73EE6B1249C Time : 0.0 sec. user=mdettweiler [2012-08-10 18:37:48] 753*2^1226159-1 is not prime. Res64: 99D8AC258570FD19 Time : 0.0 sec. user=mdettweiler [2012-08-10 18:37:50] 771*2^1226159-1 is not prime. Res64: 1AEAD18FFB8D91A5 Time : 0.0 sec. user=mdettweiler [2012-08-10 18:37:54] 811*2^1226159-1 is not prime. Res64: ECEF89FEE38BBAC0 Time : 0.0 sec. user=mdettweiler [2012-08-10 18:37:56] 841*2^1226159-1 is not prime. Res64: 41A639CBBCD6B570 Time : 0.0 sec. user=mdettweiler [2012-08-10 18:41:37] 655*2^1226159-1 is not prime. Res64: B4FAA86930C9CF94 Time : 0.0 sec. user=vaughan [2012-08-10 18:42:38] 615*2^1226159-1 is not prime. Res64: 8310D914B6310F7E Time : 0.0 sec. user=mdettweiler [2012-08-10 18:51:05] 703*2^1226159-1 is not prime. Res64: 6AC60A5BAA8A8E39 Time : 0.0 sec. user=mdettweiler [2012-08-10 18:58:45] 879*2^1226159-1 is not prime. Res64: E4FFC4C353B2F6D3 Time : 0.0 sec. user=mdettweiler [2012-08-10 18:58:46] 943*2^1226159-1 is not prime. Res64: 9D6E5D32C07B58E8 Time : 0.0 sec. user=mdettweiler [2012-08-10 18:58:47] 969*2^1226159-1 is not prime. Res64: 3713468A4AEC309A Time : 0.0 sec. user=mdettweiler [2012-08-10 18:58:48] 747*2^1226160-1 is not prime. Res64: 567675B302C70501 Time : 0.0 sec. user=mdettweiler [2012-08-10 19:15:32] 789*2^1226160-1 is not prime. Res64: 6AA80247A768F3E6 Time : 0.0 sec. user=mdettweiler [2012-08-10 19:19:21] 639*2^1226161-1 is not prime. Res64: C5E14D7F8ED3C092 Time : 0.0 sec. user=mdettweiler [2012-08-10 19:19:21] 687*2^1226161-1 is not prime. Res64: 6AFAF559BBC04D9B Time : 0.0 sec. user=mdettweiler [2012-08-10 19:19:22] 691*2^1226161-1 is not prime. Res64: FEBF98AFE00AA94A Time : 0.0 sec. user=mdettweiler [2012-08-10 19:19:23] 727*2^1226161-1 is not prime. Res64: 5C5AF42D7D457C68 Time : 0.0 sec. user=vaughan [2012-08-10 19:20:06] 887*2^1226160-1 is not prime. Res64: D36FD9BD7AC4188E Time : 0.0 sec. user=mdettweiler [2012-08-10 19:25:44] 923*2^1226160-1 is not prime. Res64: C7623D46C9A21601 Time : 0.0 sec. user=mdettweiler [2012-08-10 19:39:56] 799*2^1226161-1 is not prime. Res64: 1DA227B49A758D02 Time : 0.0 sec. user=mdettweiler [2012-08-10 19:39:57] 871*2^1226161-1 is not prime. Res64: 8522A5DF7E089510 Time : 0.0 sec. user=mdettweiler [2012-08-10 19:39:58] 895*2^1226161-1 is not prime. Res64: 8A55C885DFD21BA8 Time : 0.0 sec. user=mdettweiler [2012-08-10 19:39:59] 901*2^1226161-1 is not prime. Res64: 25F277CC8E7EC527 Time : 0.0 sec. user=mdettweiler [2012-08-10 19:49:54] 777*2^1226161-1 is not prime. Res64: 0F9274AFF9BD6330 Time : 0.0 sec. user=vaughan [2012-08-10 19:57:30] 633*2^1226162-1 is not prime. Res64: 3229E6D3FD041DF9 Time : 0.0 sec. user=mdettweiler [2012-08-10 20:00:32] 619*2^1226163-1 is not prime. Res64: D96E3883E61A34AA Time : 0.0 sec. user=mdettweiler [2012-08-10 20:00:33] 669*2^1226163-1 is not prime. Res64: 42236FD33F1DF47C Time : 0.0 sec. user=mdettweiler [2012-08-10 20:00:34] 663*2^1226163-1 is not prime. Res64: 955BAD7C317D3C82 Time : 0.0 sec. user=mdettweiler [2012-08-10 20:00:34] 765*2^1226163-1 is not prime. Res64: B1842F78BA7288C7 Time : 0.0 sec. user=mdettweiler [2012-08-10 20:00:42] 837*2^1226162-1 is not prime. Res64: EA7DD14808658054 Time : 0.0 sec. user=mdettweiler [2012-08-10 20:21:27] 963*2^1226163-1 is not prime. Res64: 121C1AB704C8ED97 Time : 0.0 sec. user=mdettweiler [2012-08-10 20:21:27] 615*2^1226164-1 is not prime. Res64: 24C20B3605A41F2F Time : 0.0 sec. user=mdettweiler [2012-08-10 20:21:30] 629*2^1226164-1 is not prime. Res64: BF7E1CBD5D4E8C0E Time : 0.0 sec. user=mdettweiler [2012-08-10 20:21:31] 635*2^1226164-1 is not prime. Res64: 2C39AD228C8B77FE Time : 0.0 sec. user=mdettweiler [2012-08-10 20:22:33] 775*2^1226163-1 is not prime. Res64: 8D8B2E22D5B2CEB1 Time : 0.0 sec. user=vaughan [2012-08-10 20:34:54] 955*2^1226163-1 is not prime. Res64: 13AEA93898EF21FE Time : 0.0 sec. user=mdettweiler [2012-08-10 20:36:21] 657*2^1226164-1 is not prime. Res64: 14A61282E971BE0A Time : 0.0 sec. user=mdettweiler [2012-08-10 20:42:42] 663*2^1226164-1 is not prime. Res64: BEBD0016666C19FC Time : 0.0 sec. user=mdettweiler [2012-08-10 20:42:42] 807*2^1226164-1 is not prime. Res64: 3FFE25370E092CD3 Time : 0.0 sec. user=mdettweiler [2012-08-10 20:42:43] 885*2^1226164-1 is not prime. Res64: 148CE33E9CD3DD73 Time : 0.0 sec. user=mdettweiler [2012-08-10 20:42:43] 897*2^1226164-1 is not prime. Res64: EB30EE13CE202FF1 Time : 0.0 sec. user=mdettweiler [2012-08-10 20:58:02] 697*2^1226165-1 is not prime. Res64: EDB9900DAC0C2A4D Time : 0.0 sec. user=mdettweiler [2012-08-10 21:03:56] 907*2^1226165-1 is not prime. Res64: 97705755997528E8 Time : 0.0 sec. user=mdettweiler [2012-08-10 21:03:57] 985*2^1226165-1 is not prime. Res64: E75911E679BC4184 Time : 0.0 sec. user=mdettweiler [2012-08-10 21:03:58] 627*2^1226166-1 is not prime. Res64: C8D07E65D63E1C0D Time : 0.0 sec. user=mdettweiler [2012-08-10 21:03:59] 713*2^1226166-1 is not prime. Res64: 6040DB51B1EC60D4 Time : 0.0 sec. user=mdettweiler [2012-08-10 21:09:30] 825*2^1226165-1 is not prime. Res64: 422DD95D4437F359 Time : 0.0 sec. user=vaughan [2012-08-10 21:12:19] 729*2^1226165-1 is not prime. Res64: 91894F2B911446F0 Time : 0.0 sec. user=mdettweiler [2012-08-10 21:25:08] 833*2^1226166-1 is not prime. Res64: 7DE79C670551F909 Time : 0.0 sec. user=mdettweiler [2012-08-10 21:25:08] 861*2^1226166-1 is not prime. Res64: 483A773B3F7D0C45 Time : 0.0 sec. user=mdettweiler [2012-08-10 21:25:09] 893*2^1226166-1 is not prime. Res64: CF0D21A36134C97C Time : 0.0 sec. user=mdettweiler [2012-08-10 21:25:09] 941*2^1226166-1 is not prime. Res64: 47C7028A53C683AA Time : 0.0 sec. user=mdettweiler [2012-08-10 21:32:12] 755*2^1226166-1 is not prime. Res64: 8595F91491DEACA9 Time : 0.0 sec. user=gd_barnes [2012-08-10 21:32:39] 963*2^1226166-1 is not prime. Res64: E74D33037B8A9A5B Time : 0.0 sec. user=gd_barnes [2012-08-10 21:33:22] 601*2^1226167-1 is not prime. Res64: 1B7AE918A317DD4E Time : 0.0 sec. user=mdettweiler [2012-08-10 21:45:50] 805*2^1226167-1 is not prime. Res64: 60702389C4494966 Time : 0.0 sec. user=mdettweiler [2012-08-10 21:45:51] 871*2^1226167-1 is not prime. Res64: FB95A0DA2A4A06EA Time : 0.0 sec. user=mdettweiler [2012-08-10 21:45:51] 909*2^1226167-1 is not prime. Res64: 8F8C62A74BCC2AE1 Time : 0.0 sec. user=mdettweiler [2012-08-10 21:45:52] 931*2^1226167-1 is not prime. Res64: E57C729A3850ACB0 Time : 0.0 sec. user=mdettweiler [2012-08-10 21:46:14] 703*2^1226167-1 is not prime. Res64: 113309A4584D32D1 Time : 0.0 sec. user=vaughan [2012-08-10 21:49:42] 763*2^1226167-1 is not prime. Res64: C8254D36B9FB0CBD Time : 0.0 sec. user=mdettweiler [2012-08-10 22:05:34] 979*2^1226167-1 is not prime. Res64: C9806B406E199653 Time : 0.0 sec. user=mdettweiler [2012-08-10 22:06:34] 735*2^1226168-1 is not prime. Res64: 5F7236A1F4B560AB Time : 0.0 sec. user=mdettweiler [2012-08-10 22:06:35] 819*2^1226168-1 is not prime. Res64: A4299CD59A77762B Time : 0.0 sec. user=mdettweiler [2012-08-10 22:06:36] 747*2^1226168-1 is not prime. Res64: 3BCF1E52F2D6EED1 Time : 0.0 sec. user=mdettweiler [2012-08-10 22:06:39] 869*2^1226168-1 is not prime. Res64: 3FA5674A4BB3F623 Time : 0.0 sec. user=mdettweiler [2012-08-10 22:20:31] 875*2^1226168-1 is not prime. Res64: E4ACA21FDCE8B546 Time : 0.0 sec. user=vaughan [2012-08-10 22:27:10] 899*2^1226168-1 is not prime. Res64: EB77B021C23C78E5 Time : 0.0 sec. user=mdettweiler [2012-08-10 22:27:36] 927*2^1226168-1 is not prime. Res64: 3C96FBCB0A43BF86 Time : 0.0 sec. user=mdettweiler [2012-08-10 22:27:36] 637*2^1226169-1 is not prime. Res64: E005874D34652656 Time : 0.0 sec. user=mdettweiler [2012-08-10 22:27:38] 817*2^1226169-1 is not prime. Res64: B1DD0197BAFCD66C Time : 0.0 sec. user=mdettweiler [2012-08-10 22:27:38] 865*2^1226169-1 is not prime. Res64: 9F274B638C074E65 Time : 0.0 sec. user=mdettweiler [2012-08-10 22:42:41] 915*2^1226168-1 is not prime. Res64: 7F7907C6B8CCBB6F Time : 0.0 sec. user=gd_barnes [2012-08-10 22:42:51] 909*2^1226169-1 is not prime. Res64: A94617D7B264FF63 Time : 0.0 sec. user=mdettweiler [2012-08-10 22:48:19] 885*2^1226170-1 is not prime. Res64: A29A276B720F39F5 Time : 0.0 sec. user=mdettweiler [2012-08-10 22:48:20] 915*2^1226170-1 is not prime. Res64: CF2423D71229E0CA Time : 0.0 sec. user=mdettweiler [2012-08-10 22:48:20] 917*2^1226170-1 is not prime. Res64: 1EFF21ECACA985FF Time : 0.0 sec. user=mdettweiler [2012-08-10 22:48:20] 601*2^1226171-1 is not prime. Res64: 8D8B4CFFE7C7D0D6 Time : 0.0 sec. user=mdettweiler [2012-08-10 22:59:34] 671*2^1226170-1 is not prime. Res64: 98AAB0DD4D9CCFE8 Time : 0.0 sec. user=vaughan [2012-08-10 23:04:33] 717*2^1226170-1 is not prime. Res64: FCB8D3B48FFE22EF Time : 0.0 sec. user=mdettweiler [2012-08-10 23:08:57] 811*2^1226171-1 is not prime. Res64: 90DF80FF6C2818FE Time : 0.0 sec. user=mdettweiler [2012-08-10 23:09:00] 825*2^1226171-1 is not prime. Res64: C226F1EA4C54D1D3 Time : 0.0 sec. user=mdettweiler [2012-08-10 23:09:02] 949*2^1226171-1 is not prime. Res64: 2CF78066AD2EED70 Time : 0.0 sec. user=mdettweiler [2012-08-10 23:09:05] 973*2^1226171-1 is not prime. Res64: 4D2F6F620120B6F8 Time : 0.0 sec. user=mdettweiler [2012-08-10 23:15:47] 775*2^1226171-1 is not prime. Res64: B0388DC20BB832DD Time : 0.0 sec. user=mdettweiler [2012-08-10 23:29:45] 749*2^1226172-1 is not prime. Res64: 6AED1F8444D79A1A Time : 0.0 sec. user=mdettweiler [2012-08-10 23:29:46] 803*2^1226172-1 is not prime. Res64: 142C79CBF184F696 Time : 0.0 sec. user=mdettweiler [2012-08-10 23:29:50] 819*2^1226172-1 is not prime. Res64: 299D61B7670AABCB Time : 0.0 sec. user=mdettweiler [2012-08-10 23:29:51] 863*2^1226172-1 is not prime. Res64: EC7E5A6695E1AE1D Time : 0.0 sec. user=mdettweiler [2012-08-10 23:33:52] 605*2^1226172-1 is not prime. Res64: 300B958E281A67D9 Time : 0.0 sec. user=gd_barnes [2012-08-10 23:39:09] 669*2^1226172-1 is not prime. Res64: 1553D1B415AC45E2 Time : 0.0 sec. user=vaughan [2012-08-10 23:41:58] 647*2^1226172-1 is not prime. Res64: 2884587CE050310F Time : 0.0 sec. user=mdettweiler [2012-08-10 23:49:31] 933*2^1226172-1 is not prime. Res64: CB2101AB1CC5EBB9 Time : 0.0 sec. user=mdettweiler [2012-08-10 23:50:28] 625*2^1226173-1 is not prime. Res64: 91AF50F847A19157 Time : 0.0 sec. user=mdettweiler [2012-08-10 23:50:28] 769*2^1226173-1 is not prime. Res64: 1B8A5CE6576F2346 Time : 0.0 sec. user=mdettweiler [2012-08-10 23:50:29] 829*2^1226173-1 is not prime. Res64: C7C6C408CB98A306 Time : 0.0 sec. user=mdettweiler [2012-08-10 23:50:30] 979*2^1226173-1 is not prime. Res64: DFC0E26DD08A50D1 Time : 0.0 sec.