user=mdettweiler [2013-01-06 00:05:56] 871*2^1238723-1 is not prime. Res64: D3B7D03537D8D0FA Time : 0.0 sec. user=mdettweiler [2013-01-06 00:05:58] 635*2^1238724-1 is not prime. Res64: FE2DEE3D261ED9F1 Time : 0.0 sec. user=mdettweiler [2013-01-06 00:15:06] 663*2^1238724-1 is not prime. Res64: 7FD018304028855E Time : 0.0 sec. user=mdettweiler [2013-01-06 00:23:20] 765*2^1238724-1 is not prime. Res64: F62F46F376C10330 Time : 0.0 sec. user=mdettweiler [2013-01-06 00:23:20] 767*2^1238724-1 is not prime. Res64: 65B0CE2A4E875F89 Time : 0.0 sec. user=vaughan [2013-01-06 00:36:35] 753*2^1238724-1 is not prime. Res64: 26A45D45EDDC9B97 Time : 0.0 sec. user=mdettweiler [2013-01-06 00:40:40] 795*2^1238726-1 is not prime. Res64: D0281020C6ED1BB9 Time : 0.0 sec. user=mdettweiler [2013-01-06 00:40:41] 833*2^1238726-1 is not prime. Res64: BDDFA372769DCFC6 Time : 0.0 sec. user=gd_barnes [2013-01-06 00:42:07] 895*2^1238725-1 is not prime. Res64: 22FAAA778B4E0D70 Time : 0.0 sec. user=gd_barnes [2013-01-06 00:42:09] 615*2^1238726-1 is not prime. Res64: F6C90DE22AD69613 Time : 0.0 sec. user=mdettweiler [2013-01-06 00:42:26] 705*2^1238724-1 is not prime. Res64: 793B21074FCA410D Time : 0.0 sec. user=gd_barnes [2013-01-06 00:47:31] 871*2^1238725-1 is not prime. Res64: 5AFA86BFC91ADF12 Time : 0.0 sec. user=gd_barnes [2013-01-06 00:53:22] 607*2^1238725-1 is not prime. Res64: D38E2F32D58138E6 Time : 0.0 sec. user=gd_barnes [2013-01-06 00:53:24] 915*2^1238725-1 is not prime. Res64: 896B2209B150F5D9 Time : 0.0 sec. user=mdettweiler [2013-01-06 00:58:01] 893*2^1238726-1 is not prime. Res64: 4F3D0457549A471C Time : 0.0 sec. user=mdettweiler [2013-01-06 00:58:01] 625*2^1238727-1 is not prime. Res64: 96F3E14244D2449B Time : 0.0 sec. user=mdettweiler [2013-01-06 00:59:47] 691*2^1238727-1 is not prime. Res64: E42FCF35DF3875D7 Time : 0.0 sec. user=mdettweiler [2013-01-06 00:59:47] 741*2^1238727-1 is not prime. Res64: 2193D786030A3FBB Time : 0.0 sec. user=vaughan [2013-01-06 01:14:24] 887*2^1238726-1 is not prime. Res64: 3FBF2D2B5D780317 Time : 0.0 sec. user=mdettweiler [2013-01-06 01:15:21] 819*2^1238727-1 is not prime. Res64: C2861BA25CF7B29E Time : 0.0 sec. user=mdettweiler [2013-01-06 01:15:22] 823*2^1238727-1 is not prime. Res64: 14E8E847098E2EC6 Time : 0.0 sec. user=mdettweiler [2013-01-06 01:17:07] 831*2^1238727-1 is not prime. Res64: A42BB72257F2201C Time : 0.0 sec. user=mdettweiler [2013-01-06 01:17:08] 873*2^1238727-1 is not prime. Res64: E1BCABB331540E07 Time : 0.0 sec. user=juhehe [2013-01-06 01:23:12] 641*2^1238726-1 is not prime. Res64: DC28D847F75A3C21 Time : 0.0 sec. user=mdettweiler [2013-01-06 01:32:43] 963*2^1238727-1 is not prime. Res64: 1910CA8A03794E80 Time : 0.0 sec. user=mdettweiler [2013-01-06 01:32:44] 985*2^1238727-1 is not prime. Res64: 5AC96F1E8B7BD171 Time : 0.0 sec. user=mdettweiler [2013-01-06 01:34:30] 617*2^1238728-1 is not prime. Res64: 4ECDD9EAA63822C2 Time : 0.0 sec. user=mdettweiler [2013-01-06 01:34:31] 813*2^1238728-1 is not prime. Res64: 604CF99B23F6E70A Time : 0.0 sec. user=mdettweiler [2013-01-06 01:50:04] 847*2^1238729-1 is not prime. Res64: FD883A90A77E58AA Time : 0.0 sec. user=mdettweiler [2013-01-06 01:50:04] 861*2^1238729-1 is not prime. Res64: 5B3B372943126DE3 Time : 0.0 sec. user=mdettweiler [2013-01-06 01:51:49] 865*2^1238729-1 is not prime. Res64: AF11B9063585CDD8 Time : 0.0 sec. user=mdettweiler [2013-01-06 01:51:50] 889*2^1238729-1 is not prime. Res64: 5BB37C18258053EA Time : 0.0 sec. user=vaughan [2013-01-06 01:52:19] 961*2^1238727-1 is not prime. Res64: 2577D670343ADE52 Time : 0.0 sec. user=mdettweiler [2013-01-06 02:07:24] 907*2^1238729-1 is not prime. Res64: 9C3E2BEE011681E3 Time : 0.0 sec. user=mdettweiler [2013-01-06 02:07:25] 945*2^1238729-1 is not prime. Res64: D0ED1E08D4C38315 Time : 0.0 sec. user=mdettweiler [2013-01-06 02:09:10] 955*2^1238729-1 is not prime. Res64: E62BBD5B64C8E12A Time : 0.0 sec. user=mdettweiler [2013-01-06 02:09:11] 979*2^1238729-1 is not prime. Res64: 3FAAE1ECFDB2F01B Time : 0.0 sec. user=juhehe [2013-01-06 02:23:07] 909*2^1238728-1 is not prime. Res64: 9011A8957265F251 Time : 0.0 sec. user=mdettweiler [2013-01-06 02:24:48] 867*2^1238730-1 is not prime. Res64: 486400D50BEA731A Time : 0.0 sec. user=mdettweiler [2013-01-06 02:24:48] 693*2^1238731-1 is not prime. Res64: 120E9DD8CDB5D30C Time : 0.0 sec. user=mdettweiler [2013-01-06 02:26:32] 759*2^1238731-1 is not prime. Res64: 807B1B9A88C42D71 Time : 0.0 sec. user=mdettweiler [2013-01-06 02:26:33] 793*2^1238731-1 is not prime. Res64: FE5E71F2E88289D3 Time : 0.0 sec. user=vaughan [2013-01-06 02:30:08] 797*2^1238730-1 is not prime. Res64: 0830B56B53F610B2 Time : 0.0 sec. user=mdettweiler [2013-01-06 02:42:08] 873*2^1238731-1 is not prime. Res64: DB6594FC2A3B24FB Time : 0.0 sec. user=mdettweiler [2013-01-06 02:42:10] 913*2^1238731-1 is not prime. Res64: 434E71DDDAA1E93C Time : 0.0 sec. user=mdettweiler [2013-01-06 02:43:52] 961*2^1238731-1 is not prime. Res64: CA470F6EC72AB2BA Time : 0.0 sec. user=mdettweiler [2013-01-06 02:43:54] 999*2^1238731-1 is not prime. Res64: 460B4F59064411F1 Time : 0.0 sec. user=mdettweiler [2013-01-06 02:59:57] 749*2^1238732-1 is not prime. Res64: BAF7D2D7F5509FB0 Time : 0.0 sec. user=mdettweiler [2013-01-06 03:01:18] 945*2^1238732-1 is not prime. Res64: CF316097D4DC3B47 Time : 0.0 sec. user=mdettweiler [2013-01-06 03:01:26] 977*2^1238732-1 is not prime. Res64: A5A1307D62682894 Time : 0.0 sec. user=vaughan [2013-01-06 03:07:56] 675*2^1238732-1 is not prime. Res64: 5AB7C50611E49F3E Time : 0.0 sec. user=mdettweiler [2013-01-06 03:18:53] 699*2^1238733-1 is not prime. Res64: 21654477872EEECB Time : 0.0 sec. user=mdettweiler [2013-01-06 03:18:53] 937*2^1238733-1 is not prime. Res64: EFC670A1AED0598F Time : 0.0 sec. user=mdettweiler [2013-01-06 03:27:58] 843*2^1238732-1 is not prime. Res64: 1C2571936C0B5224 Time : 0.0 sec. user=gd_barnes [2013-01-06 03:29:46] 983*2^1238732-1 is not prime. Res64: 283073B65A8C192C Time : 0.0 sec. user=mdettweiler [2013-01-06 03:36:18] 663*2^1238734-1 is not prime. Res64: 27A646DAA816298D Time : 0.0 sec. user=mdettweiler [2013-01-06 03:36:26] 717*2^1238734-1 is not prime. Res64: 810EBF0C523C31A1 Time : 0.0 sec. user=mdettweiler [2013-01-06 03:45:19] 827*2^1238734-1 is not prime. Res64: 5395EC99957471FD Time : 0.0 sec. user=mdettweiler [2013-01-06 03:45:19] 855*2^1238734-1 is not prime. Res64: D1BC0280DB1549EE Time : 0.0 sec. user=vaughan [2013-01-06 03:45:46] 969*2^1238733-1 is not prime. Res64: 000E32BAC030875A Time : 0.0 sec. user=mdettweiler [2013-01-06 03:54:17] 881*2^1238734-1 is not prime. Res64: B6C443D3A18850EA Time : 0.0 sec. user=mdettweiler [2013-01-06 03:54:17] 661*2^1238735-1 is not prime. Res64: 251501190606A29F Time : 0.0 sec. user=mdettweiler [2013-01-06 04:02:42] 693*2^1238736-1 is not prime. Res64: 4F420D7FFB6292F7 Time : 0.0 sec. user=mdettweiler [2013-01-06 04:02:44] 707*2^1238736-1 is not prime. Res64: 8CD3C152F8BB1A5E Time : 0.0 sec. user=gd_barnes [2013-01-06 04:04:53] 771*2^1238735-1 is not prime. Res64: 9B51E56ACDBA03BD Time : 0.0 sec. user=gd_barnes [2013-01-06 04:06:43] 799*2^1238735-1 is not prime. Res64: 1A4D01D8D7F09903 Time : 0.0 sec. user=mdettweiler [2013-01-06 04:11:41] 893*2^1238736-1 is not prime. Res64: 2948DE7ABB91C08C Time : 0.0 sec. user=mdettweiler [2013-01-06 04:11:43] 899*2^1238736-1 is not prime. Res64: F58148722E4B731E Time : 0.0 sec. user=gd_barnes [2013-01-06 04:12:14] 683*2^1238736-1 is not prime. Res64: BE95F19EEF94FFD5 Time : 0.0 sec. user=mdettweiler [2013-01-06 04:20:05] 607*2^1238737-1 is not prime. Res64: 09EE569B63B20C34 Time : 0.0 sec. user=mdettweiler [2013-01-06 04:20:06] 609*2^1238737-1 is not prime. Res64: 216DBCA17F6B2BB0 Time : 0.0 sec. user=vaughan [2013-01-06 04:23:31] 773*2^1238736-1 is not prime. Res64: 0A83970213E04436 Time : 0.0 sec. user=mdettweiler [2013-01-06 04:29:04] 637*2^1238737-1 is not prime. Res64: 152E8717B4F7777D Time : 0.0 sec. user=mdettweiler [2013-01-06 04:29:04] 729*2^1238737-1 is not prime. Res64: 6452A777EB30CA9D Time : 0.0 sec. user=juhehe [2013-01-06 04:30:31] 813*2^1238734-1 is not prime. Res64: D7D227BA89FFE378 Time : 0.0 sec. user=juhehe [2013-01-06 04:32:43] 815*2^1238734-1 is not prime. Res64: DA93959DFADE2940 Time : 0.0 sec. user=mdettweiler [2013-01-06 04:37:24] 771*2^1238737-1 is not prime. Res64: 6DE1B6C4B62B7249 Time : 0.0 sec. user=mdettweiler [2013-01-06 04:37:25] 831*2^1238737-1 is not prime. Res64: D8D8B2DC01BFB77A Time : 0.0 sec. user=mdettweiler [2013-01-06 04:46:26] 895*2^1238737-1 is not prime. Res64: 7C73D6F661C45C58 Time : 0.0 sec. user=mdettweiler [2013-01-06 04:46:27] 897*2^1238737-1 is not prime. Res64: 3CD5999C2C0391EB Time : 0.0 sec. user=mdettweiler [2013-01-06 04:54:46] 919*2^1238737-1 is not prime. Res64: 639C46372E51A327 Time : 0.0 sec. user=mdettweiler [2013-01-06 04:54:46] 979*2^1238737-1 is not prime. Res64: B1EB12FEB5245D33 Time : 0.0 sec. user=vaughan [2013-01-06 05:01:21] 841*2^1238737-1 is not prime. Res64: 38BCF2A19D61C98F Time : 0.0 sec. user=mdettweiler [2013-01-06 05:03:49] 635*2^1238738-1 is not prime. Res64: 8CAC494DF1D78A8B Time : 0.0 sec. user=mdettweiler [2013-01-06 05:03:51] 683*2^1238738-1 is not prime. Res64: 089F9E1D5D39512A Time : 0.0 sec. user=mdettweiler [2013-01-06 05:12:05] 827*2^1238738-1 is not prime. Res64: 775FEA665297281A Time : 0.0 sec. user=mdettweiler [2013-01-06 05:12:06] 831*2^1238738-1 is not prime. Res64: D95177D13709990C Time : 0.0 sec. user=mdettweiler [2013-01-06 05:21:12] 915*2^1238738-1 is not prime. Res64: 941D788505F0FDCC Time : 0.0 sec. user=mdettweiler [2013-01-06 05:21:12] 953*2^1238738-1 is not prime. Res64: 0AE9DE3E593AB0BB Time : 0.0 sec. user=mdettweiler [2013-01-06 05:29:35] 795*2^1238739-1 is not prime. Res64: 43F70EB02D234E0E Time : 0.0 sec. user=mdettweiler [2013-01-06 05:29:35] 853*2^1238739-1 is not prime. Res64: 8B2632315B91ACA9 Time : 0.0 sec. user=mdettweiler [2013-01-06 05:38:32] 873*2^1238739-1 is not prime. Res64: 96528DBA3F9BED3D Time : 0.0 sec. user=mdettweiler [2013-01-06 05:38:33] 885*2^1238739-1 is not prime. Res64: 54371BF892EE18DD Time : 0.0 sec. user=vaughan [2013-01-06 05:39:17] 861*2^1238738-1 is not prime. Res64: E25098B7702CBF2F Time : 0.0 sec. user=mdettweiler [2013-01-06 05:46:56] 895*2^1238739-1 is not prime. Res64: 64FC4840C8288455 Time : 0.0 sec. user=mdettweiler [2013-01-06 05:46:56] 615*2^1238740-1 is not prime. Res64: 41CA83329C08B3FF Time : 0.0 sec. user=mdettweiler [2013-01-06 05:55:52] 863*2^1238740-1 is not prime. Res64: F73C3D27417078B4 Time : 0.0 sec. user=mdettweiler [2013-01-06 05:55:53] 873*2^1238740-1 is not prime. Res64: 66066058BB7C81AA Time : 0.0 sec. user=mdettweiler [2013-01-06 06:04:17] 711*2^1238741-1 is not prime. Res64: CE25E76022C628CF Time : 0.0 sec. user=mdettweiler [2013-01-06 06:04:20] 777*2^1238741-1 is not prime. Res64: 64699FE95FCA52EF Time : 0.0 sec. user=mdettweiler [2013-01-06 06:13:12] 867*2^1238741-1 is not prime. Res64: EF2E5E56D64018DD Time : 0.0 sec. user=mdettweiler [2013-01-06 06:13:13] 927*2^1238741-1 is not prime. Res64: 8FDE87C6E82F03F1 Time : 0.0 sec. user=vaughan [2013-01-06 06:17:06] 631*2^1238741-1 is not prime. Res64: B523F0C73B878520 Time : 0.0 sec. user=mdettweiler [2013-01-06 06:21:51] 949*2^1238741-1 is not prime. Res64: 2651EB54081C9FD7 Time : 0.0 sec. user=mdettweiler [2013-01-06 06:21:51] 695*2^1238742-1 is not prime. Res64: 7E2B08DEA5F7FB16 Time : 0.0 sec. user=mdettweiler [2013-01-06 06:30:34] 747*2^1238742-1 is not prime. Res64: CBB0FE7C8C86DD31 Time : 0.0 sec. user=mdettweiler [2013-01-06 06:30:35] 765*2^1238742-1 is not prime. Res64: 36A570DD8FDB16D8 Time : 0.0 sec. user=juhehe [2013-01-06 06:36:34] 653*2^1238740-1 is not prime. Res64: AC1617D29265D3F5 Time : 0.0 sec. user=mdettweiler [2013-01-06 06:39:12] 915*2^1238742-1 is not prime. Res64: F50FD2E0959B281F Time : 0.0 sec. user=mdettweiler [2013-01-06 06:39:13] 923*2^1238742-1 is not prime. Res64: 669C086DB03A0663 Time : 0.0 sec. user=juhehe [2013-01-06 06:41:35] 827*2^1238740-1 is not prime. Res64: 251A1535ADB01DD9 Time : 0.0 sec. user=mdettweiler [2013-01-06 06:47:54] 625*2^1238743-1 is not prime. Res64: 8B2E066E765D0301 Time : 0.0 sec. user=mdettweiler [2013-01-06 06:47:55] 673*2^1238743-1 is not prime. Res64: 0D0666B20C6E623A Time : 0.0 sec. user=vaughan [2013-01-06 06:54:55] 843*2^1238742-1 is not prime. Res64: 6864193782C115F1 Time : 0.0 sec. user=mdettweiler [2013-01-06 06:56:33] 685*2^1238743-1 is not prime. Res64: D2AFC88430CA586C Time : 0.0 sec. user=mdettweiler [2013-01-06 06:56:33] 855*2^1238743-1 is not prime. Res64: 67E1D065201BABC3 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:05:14] 645*2^1238744-1 is not prime. Res64: 69B5C467C50BC565 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:05:16] 789*2^1238744-1 is not prime. Res64: 79E378CDB1802730 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:13:52] 691*2^1238745-1 is not prime. Res64: 3E273CE350984062 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:13:53] 955*2^1238745-1 is not prime. Res64: BD2DA34C56EB55F5 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:22:40] 969*2^1238745-1 is not prime. Res64: 6058777D72A3DF96 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:22:40] 979*2^1238745-1 is not prime. Res64: 5F2B84EBE5A16D91 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:31:17] 603*2^1238746-1 is not prime. Res64: 6E9FDA9DC3D182EF Time : 0.0 sec. user=mdettweiler [2013-01-06 07:31:17] 801*2^1238746-1 is not prime. Res64: 6CCDFD62CD836AC3 Time : 0.0 sec. user=vaughan [2013-01-06 07:32:45] 969*2^1238744-1 is not prime. Res64: 960127B65D176B02 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:39:59] 825*2^1238746-1 is not prime. Res64: 76A33542BFDE6FA0 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:40:00] 843*2^1238746-1 is not prime. Res64: 7B79B383858BDBEC Time : 0.0 sec. user=mdettweiler [2013-01-06 07:48:37] 855*2^1238746-1 is not prime. Res64: C0353ED2E3BA1DBC Time : 0.0 sec. user=mdettweiler [2013-01-06 07:48:37] 643*2^1238747-1 is not prime. Res64: BA0FC3140AAF0ED7 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:57:21] 813*2^1238747-1 is not prime. Res64: 257DD65FC250FA85 Time : 0.0 sec. user=mdettweiler [2013-01-06 07:57:21] 823*2^1238747-1 is not prime. Res64: E86C63800BE74710 Time : 0.0 sec. user=mdettweiler [2013-01-06 08:05:57] 871*2^1238747-1 is not prime. Res64: 59B4430F2BF1D37D Time : 0.0 sec. user=mdettweiler [2013-01-06 08:05:58] 633*2^1238748-1 is not prime. Res64: 2846095773819629 Time : 0.0 sec. user=vaughan [2013-01-06 08:10:33] 655*2^1238747-1 is not prime. Res64: 32AF1730DF63AE6F Time : 0.0 sec. user=mdettweiler [2013-01-06 08:14:42] 647*2^1238748-1 is not prime. Res64: 66F61BCA442B0DC6 Time : 0.0 sec. user=mdettweiler [2013-01-06 08:14:42] 773*2^1238748-1 is not prime. Res64: 4FEC339CCBE30238 Time : 0.0 sec. user=mdettweiler [2013-01-06 08:23:22] 959*2^1238748-1 is not prime. Res64: C142C99A7B9C70C8 Time : 0.0 sec. user=mdettweiler [2013-01-06 08:23:23] 601*2^1238749-1 is not prime. Res64: DFF6284DA829841E Time : 0.0 sec. user=mdettweiler [2013-01-06 08:32:02] 675*2^1238749-1 is not prime. Res64: 2B4C90E156765097 Time : 0.0 sec. user=mdettweiler [2013-01-06 08:32:03] 721*2^1238749-1 is not prime. Res64: 9FEC9951C26D8A43 Time : 0.0 sec. user=mdettweiler [2013-01-06 08:40:43] 829*2^1238749-1 is not prime. Res64: 948998526EC220D0 Time : 0.0 sec. user=mdettweiler [2013-01-06 08:40:43] 877*2^1238749-1 is not prime. Res64: 2932E3FEB8F206B2 Time : 0.0 sec. user=juhehe [2013-01-06 08:43:15] 805*2^1238747-1 is not prime. Res64: 3BFED1CDEF12C2B3 Time : 0.0 sec. user=vaughan [2013-01-06 08:48:20] 615*2^1238749-1 is not prime. Res64: 330DC8DA4EB5D610 Time : 0.0 sec. user=juhehe [2013-01-06 08:48:41] 861*2^1238747-1 is not prime. Res64: 4819BBA2365A9380 Time : 0.0 sec. user=mdettweiler [2013-01-06 08:49:22] 939*2^1238749-1 is not prime. Res64: 3BEE3742C39998DC Time : 0.0 sec. user=mdettweiler [2013-01-06 08:49:22] 999*2^1238749-1 is not prime. Res64: 64A3A8CF85480332 Time : 0.0 sec. user=mdettweiler [2013-01-06 08:58:03] 795*2^1238750-1 is not prime. Res64: FC5463114BEB7EC4 Time : 0.0 sec. user=mdettweiler [2013-01-06 08:58:03] 831*2^1238750-1 is not prime. Res64: 204AE347A0578B64 Time : 0.0 sec. user=mdettweiler [2013-01-06 09:06:48] 965*2^1238750-1 is not prime. Res64: 930282D29A207A44 Time : 0.0 sec. user=mdettweiler [2013-01-06 09:06:49] 679*2^1238751-1 is not prime. Res64: 5CCBF914B34F94C9 Time : 0.0 sec. user=mdettweiler [2013-01-06 09:15:35] 703*2^1238751-1 is not prime. Res64: F94DF73F25E44613 Time : 0.0 sec. user=mdettweiler [2013-01-06 09:15:36] 829*2^1238751-1 is not prime. Res64: EF342986DBA71045 Time : 0.0 sec. user=mdettweiler [2013-01-06 09:24:22] 895*2^1238751-1 is not prime. Res64: 3C65D16209418612 Time : 0.0 sec. user=mdettweiler [2013-01-06 09:24:23] 609*2^1238752-1 is not prime. Res64: 162C59E5A30B38B0 Time : 0.0 sec. user=vaughan [2013-01-06 09:26:08] 861*2^1238750-1 is not prime. Res64: 5668EA2FBB5E9EA0 Time : 0.0 sec. user=mdettweiler [2013-01-06 09:33:03] 695*2^1238752-1 is not prime. Res64: A849F50553F158F7 Time : 0.0 sec. user=mdettweiler [2013-01-06 09:33:03] 735*2^1238752-1 is not prime. Res64: 08D32CEE02B24E6C Time : 0.0 sec. user=mdettweiler [2013-01-06 09:41:45] 779*2^1238752-1 is not prime. Res64: 1C6983764008638B Time : 0.0 sec. user=mdettweiler [2013-01-06 09:41:46] 917*2^1238752-1 is not prime. Res64: 3612707B84996504 Time : 0.0 sec. user=mdettweiler [2013-01-06 09:50:27] 957*2^1238752-1 is not prime. Res64: BFFEE88A2B616773 Time : 0.0 sec. user=mdettweiler [2013-01-06 09:50:27] 999*2^1238752-1 is not prime. Res64: 29611E7C5481EA5C Time : 0.0 sec. user=mdettweiler [2013-01-06 09:59:08] 607*2^1238753-1 is not prime. Res64: F4031D365C1756BB Time : 0.0 sec. user=mdettweiler [2013-01-06 09:59:09] 705*2^1238753-1 is not prime. Res64: A20D28C0A21F7471 Time : 0.0 sec. user=vaughan [2013-01-06 10:03:55] 933*2^1238752-1 is not prime. Res64: 2872BAEAC64A7D57 Time : 0.0 sec. user=mdettweiler [2013-01-06 10:07:51] 775*2^1238753-1 is not prime. Res64: 4EBB3F2B5F98923E Time : 0.0 sec. user=mdettweiler [2013-01-06 10:07:51] 787*2^1238753-1 is not prime. Res64: 230D6907F7C26B32 Time : 0.0 sec. user=mdettweiler [2013-01-06 10:16:31] 819*2^1238753-1 is not prime. Res64: 6644F1999440C0C1 Time : 0.0 sec. user=mdettweiler [2013-01-06 10:16:31] 925*2^1238753-1 is not prime. Res64: B28B590E236E1751 Time : 0.0 sec. user=mdettweiler [2013-01-06 10:25:14] 717*2^1238754-1 is not prime. Res64: BA3FF1D5781EE1D9 Time : 0.0 sec. user=mdettweiler [2013-01-06 10:25:14] 741*2^1238754-1 is not prime. Res64: F5904917A6DD1B6A Time : 0.0 sec. user=mdettweiler [2013-01-06 10:33:55] 885*2^1238754-1 is not prime. Res64: 314FDF3299E93AF0 Time : 0.0 sec. user=mdettweiler [2013-01-06 10:33:55] 903*2^1238754-1 is not prime. Res64: FC03ADF2657B0744 Time : 0.0 sec. user=vaughan [2013-01-06 10:41:47] 651*2^1238754-1 is not prime. Res64: A7B91B419F150F49 Time : 0.0 sec. user=mdettweiler [2013-01-06 10:42:37] 941*2^1238754-1 is not prime. Res64: 051525752700CFC7 Time : 0.0 sec. user=mdettweiler [2013-01-06 10:42:38] 971*2^1238754-1 is not prime. Res64: 7F1055805C310199 Time : 0.0 sec. user=juhehe [2013-01-06 10:50:06] 747*2^1238753-1 is not prime. Res64: A7F8C649D81E4BD4 Time : 0.0 sec. user=mdettweiler [2013-01-06 10:51:17] 723*2^1238755-1 is not prime. Res64: 0F1F253190BB8B1A Time : 0.0 sec. user=mdettweiler [2013-01-06 10:51:18] 783*2^1238755-1 is not prime. Res64: 7B2BFBCA6B634B8D Time : 0.0 sec. user=juhehe [2013-01-06 10:55:32] 771*2^1238753-1 is not prime. Res64: 99AFBE46988E71A6 Time : 0.0 sec. user=mdettweiler [2013-01-06 11:00:01] 875*2^1238756-1 is not prime. Res64: 4741DD54AECCA827 Time : 0.0 sec. user=mdettweiler [2013-01-06 11:00:01] 885*2^1238757-1 is not prime. Res64: B74EEEB5A3C4EFF1 Time : 0.0 sec. user=mdettweiler [2013-01-06 11:08:40] 889*2^1238757-1 is not prime. Res64: E7FFD036CBAA8B57 Time : 0.0 sec. user=mdettweiler [2013-01-06 11:08:41] 919*2^1238757-1 is not prime. Res64: 3C45DA1607C7E297 Time : 0.0 sec. user=mdettweiler [2013-01-06 11:17:23] 997*2^1238757-1 is not prime. Res64: 5878E2EA8D5C056F Time : 0.0 sec. user=mdettweiler [2013-01-06 11:17:24] 617*2^1238758-1 is not prime. Res64: 574EF70B3BEDD3C9 Time : 0.0 sec. user=vaughan [2013-01-06 11:19:36] 617*2^1238756-1 is not prime. Res64: 715623BF45A0945A Time : 0.0 sec. user=mdettweiler [2013-01-06 11:26:16] 705*2^1238758-1 is not prime. Res64: EC073DBB03877A08 Time : 0.0 sec. user=mdettweiler [2013-01-06 11:26:18] 863*2^1238758-1 is not prime. Res64: F411E949D0A39194 Time : 0.0 sec. user=mdettweiler [2013-01-06 11:35:08] 891*2^1238758-1 is not prime. Res64: 2E0288890DC30E0B Time : 0.0 sec. user=mdettweiler [2013-01-06 11:35:08] 661*2^1238759-1 is not prime. Res64: 5CAEEBEA397DFB2F Time : 0.0 sec. user=mdettweiler [2013-01-06 11:44:14] 635*2^1238760-1 is not prime. Res64: 632B7E8E6EFB3DAE Time : 0.0 sec. user=mdettweiler [2013-01-06 11:44:14] 737*2^1238760-1 is not prime. Res64: C04BD23B572D8013 Time : 0.0 sec. user=mdettweiler [2013-01-06 11:53:03] 765*2^1238760-1 is not prime. Res64: 7B3969D057F2BC37 Time : 0.0 sec. user=mdettweiler [2013-01-06 11:53:03] 789*2^1238760-1 is not prime. Res64: 017B0137C80A8EF7 Time : 0.0 sec. user=vaughan [2013-01-06 11:57:25] 931*2^1238759-1 is not prime. Res64: 3BB0DD050EE26A0D Time : 0.0 sec. user=mdettweiler [2013-01-06 12:02:06] 795*2^1238760-1 is not prime. Res64: 84047D10225A95A0 Time : 0.0 sec. user=mdettweiler [2013-01-06 12:02:08] 803*2^1238760-1 is not prime. Res64: 8820E2A4E9EFE72F Time : 0.0 sec. user=mdettweiler [2013-01-06 12:11:02] 857*2^1238760-1 is not prime. Res64: E7BF0279B8AA8686 Time : 0.0 sec. user=mdettweiler [2013-01-06 12:11:03] 687*2^1238761-1 is not prime. Res64: E91F208B742C1711 Time : 0.0 sec. user=mdettweiler [2013-01-06 12:20:01] 861*2^1238761-1 is not prime. Res64: EBB53BC6718A010A Time : 0.0 sec. user=mdettweiler [2013-01-06 12:20:01] 735*2^1238762-1 is not prime. Res64: 37BA529605B6B796 Time : 0.0 sec. user=mdettweiler [2013-01-06 12:28:58] 741*2^1238762-1 is not prime. Res64: 313BEE601C924AAD Time : 0.0 sec. user=mdettweiler [2013-01-06 12:28:58] 791*2^1238762-1 is not prime. Res64: F0B777493EB75567 Time : 0.0 sec. user=vaughan [2013-01-06 12:35:13] 801*2^1238761-1 is not prime. Res64: 87713AE0F12E5B78 Time : 0.0 sec. user=mdettweiler [2013-01-06 12:37:44] 825*2^1238762-1 is not prime. Res64: 6DBF0218AE50A58A Time : 0.0 sec. user=mdettweiler [2013-01-06 12:37:45] 875*2^1238762-1 is not prime. Res64: 53274EE5BDDB71E5 Time : 0.0 sec. user=mdettweiler [2013-01-06 12:46:25] 935*2^1238762-1 is not prime. Res64: 9E2C7F0DAF9EAC32 Time : 0.0 sec. user=mdettweiler [2013-01-06 12:46:25] 619*2^1238763-1 is not prime. Res64: 7F8575C99A76C8C8 Time : 0.0 sec. user=mdettweiler [2013-01-06 12:55:23] 745*2^1238763-1 is not prime. Res64: CE20C0F34C2A8953 Time : 0.0 sec. user=mdettweiler [2013-01-06 12:55:23] 789*2^1238763-1 is not prime. Res64: BF469F50A6C90821 Time : 0.0 sec. user=juhehe [2013-01-06 12:57:25] 819*2^1238760-1 is not prime. Res64: 86ACE22609D6800F Time : 0.0 sec. user=juhehe [2013-01-06 13:01:43] 769*2^1238761-1 is not prime. Res64: D6DB6BF5A51DBAE8 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:03:54] 795*2^1238763-1 is not prime. Res64: 2D2A0AABE74D1DC3 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:03:58] 823*2^1238763-1 is not prime. Res64: 7761D66D1A5A8CB6 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:12:52] 895*2^1238763-1 is not prime. Res64: 9D60865EAAADC7B7 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:12:53] 955*2^1238763-1 is not prime. Res64: 16DAAD6A89857E44 Time : 0.0 sec. user=vaughan [2013-01-06 13:13:00] 663*2^1238763-1 is not prime. Res64: 8F7635A087F450B6 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:21:50] 963*2^1238763-1 is not prime. Res64: BB9F58D7A67614D4 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:21:50] 615*2^1238764-1 is not prime. Res64: BD7FFD8A6BA089B7 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:30:32] 707*2^1238764-1 is not prime. Res64: 23D15843B32F7F48 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:30:33] 765*2^1238764-1 is not prime. Res64: AAC130A767E5F042 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:39:15] 843*2^1238764-1 is not prime. Res64: 0DED911605FC2BAF Time : 0.0 sec. user=mdettweiler [2013-01-06 13:39:15] 855*2^1238764-1 is not prime. Res64: 5136F9CD40239051 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:47:56] 905*2^1238764-1 is not prime. Res64: 54D969A775927D6D Time : 0.0 sec. user=mdettweiler [2013-01-06 13:47:57] 915*2^1238764-1 is not prime. Res64: 32E055E43E232B7E Time : 0.0 sec. user=vaughan [2013-01-06 13:50:45] 783*2^1238764-1 is not prime. Res64: 37873FA710833020 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:56:40] 983*2^1238764-1 is not prime. Res64: FAB3E577DABAD4A4 Time : 0.0 sec. user=mdettweiler [2013-01-06 13:56:40] 989*2^1238764-1 is not prime. Res64: 7FAFD67BDDCE604D Time : 0.0 sec. user=mdettweiler [2013-01-06 14:05:22] 711*2^1238765-1 is not prime. Res64: 6E28AF9973D7B2F1 Time : 0.0 sec. user=mdettweiler [2013-01-06 14:05:25] 787*2^1238765-1 is not prime. Res64: F269D1A0EE057A75 Time : 0.0 sec. user=mdettweiler [2013-01-06 14:14:05] 979*2^1238765-1 is not prime. Res64: ADE07D7CD4D62824 Time : 0.0 sec. user=mdettweiler [2013-01-06 14:14:05] 707*2^1238766-1 is not prime. Res64: 3AE202DBD2565ED7 Time : 0.0 sec. user=mdettweiler [2013-01-06 14:23:17] 881*2^1238766-1 is not prime. Res64: 2A1CA2BCDB5DE448 Time : 0.0 sec. user=mdettweiler [2013-01-06 14:23:17] 887*2^1238766-1 is not prime. Res64: F24B638D01EF7E0E Time : 0.0 sec. user=vaughan [2013-01-06 14:28:35] 861*2^1238765-1 is not prime. Res64: 4720E2C51A505F86 Time : 0.0 sec. user=mdettweiler [2013-01-06 14:31:31] 893*2^1238766-1 is not prime. Res64: 185AD6590A3B8AB1 Time : 0.0 sec. user=mdettweiler [2013-01-06 14:31:32] 993*2^1238766-1 is not prime. Res64: 32159CD32D542236 Time : 0.0 sec. user=mdettweiler [2013-01-06 14:40:42] 619*2^1238767-1 is not prime. Res64: 6D85AB852CBC851E Time : 0.0 sec. user=mdettweiler [2013-01-06 14:40:42] 693*2^1238767-1 is not prime. Res64: FD209C3DA40E904C Time : 0.0 sec. user=mdettweiler [2013-01-06 14:48:56] 819*2^1238767-1 is not prime. Res64: 80142914E0098850 Time : 0.0 sec. user=mdettweiler [2013-01-06 14:48:56] 993*2^1238767-1 is not prime. Res64: 4AA9F3E7DE1FB1DE Time : 0.0 sec. user=mdettweiler [2013-01-06 14:58:07] 755*2^1238768-1 is not prime. Res64: 7ADBB89FD2E3F076 Time : 0.0 sec. user=mdettweiler [2013-01-06 14:58:07] 813*2^1238768-1 is not prime. Res64: 71B8F1D41940F14A Time : 0.0 sec. user=juhehe [2013-01-06 15:04:28] 717*2^1238766-1 is not prime. Res64: 9ADB5D7AECCDD3B5 Time : 0.0 sec. user=mdettweiler [2013-01-06 15:06:21] 867*2^1238768-1 is not prime. Res64: C7067363C99991C5 Time : 0.0 sec. user=mdettweiler [2013-01-06 15:06:23] 999*2^1238768-1 is not prime. Res64: A3537A2739CD68E9 Time : 0.0 sec. user=vaughan [2013-01-06 15:06:26] 705*2^1238767-1 is not prime. Res64: CFFB3B9498DF24C3 Time : 0.0 sec. user=juhehe [2013-01-06 15:08:34] 765*2^1238766-1 is not prime. Res64: 7968B7382E38C564 Time : 0.0 sec. user=mdettweiler [2013-01-06 15:15:32] 669*2^1238769-1 is not prime. Res64: 6BEA4621ED6104BA Time : 0.0 sec. user=mdettweiler [2013-01-06 15:15:34] 705*2^1238769-1 is not prime. Res64: 4C6680D776DD0BD3 Time : 0.0 sec. user=mdettweiler [2013-01-06 15:23:51] 727*2^1238769-1 is not prime. Res64: 2C620808F30215DA Time : 0.0 sec. user=mdettweiler [2013-01-06 15:23:51] 769*2^1238769-1 is not prime. Res64: 875751F89FBACED3 Time : 0.0 sec. user=mdettweiler [2013-01-06 15:33:08] 891*2^1238769-1 is not prime. Res64: 173F9CC6FB91871F Time : 0.0 sec. user=mdettweiler [2013-01-06 15:33:08] 985*2^1238769-1 is not prime. Res64: 5833227905300266 Time : 0.0 sec. user=mdettweiler [2013-01-06 15:41:16] 665*2^1238770-1 is not prime. Res64: DC3F20E0BF75E267 Time : 0.0 sec. user=mdettweiler [2013-01-06 15:41:17] 783*2^1238770-1 is not prime. Res64: 2E4FF6AA51EC9AD9 Time : 0.0 sec. user=vaughan [2013-01-06 15:44:17] 789*2^1238769-1 is not prime. Res64: B1292E469343900B Time : 0.0 sec. user=mdettweiler [2013-01-06 15:50:32] 833*2^1238770-1 is not prime. Res64: 8023A83BD9C2FA37 Time : 0.0 sec. user=mdettweiler [2013-01-06 15:50:33] 857*2^1238770-1 is not prime. Res64: 6DA587D30D39DA32 Time : 0.0 sec. user=juhehe [2013-01-06 15:50:53] 611*2^1238770-1 is not prime. Res64: DED67E44565DEACF Time : 0.0 sec. user=mdettweiler [2013-01-06 15:58:41] 945*2^1238770-1 is not prime. Res64: 2931AAE85901B10F Time : 0.0 sec. user=mdettweiler [2013-01-06 15:58:41] 621*2^1238771-1 is not prime. Res64: 46FCCB47E11071F8 Time : 0.0 sec. user=mdettweiler [2013-01-06 16:07:58] 801*2^1238771-1 is not prime. Res64: BF389022EE7A5A66 Time : 0.0 sec. user=mdettweiler [2013-01-06 16:07:59] 813*2^1238771-1 is not prime. Res64: 574DBA1BCC9E687B Time : 0.0 sec. user=mdettweiler [2013-01-06 16:16:05] 879*2^1238771-1 is not prime. Res64: ADF7B40B6364B0B1 Time : 0.0 sec. user=mdettweiler [2013-01-06 16:16:05] 949*2^1238771-1 is not prime. Res64: 1F51CCB06EA1C23E Time : 0.0 sec. user=vaughan [2013-01-06 16:22:04] 741*2^1238771-1 is not prime. Res64: AC3BF009ED1057F5 Time : 0.0 sec. user=juhehe [2013-01-06 16:23:34] 819*2^1238771-1 is not prime. Res64: 84030997B18F5D2E Time : 0.0 sec. user=mdettweiler [2013-01-06 16:25:26] 629*2^1238772-1 is not prime. Res64: FBDD8A28B708355A Time : 0.0 sec. user=mdettweiler [2013-01-06 16:25:27] 695*2^1238772-1 is not prime. Res64: 41686B4C0987FE7B Time : 0.0 sec. user=mdettweiler [2013-01-06 16:33:29] 803*2^1238772-1 is not prime. Res64: DEF1B0BC4604CABC Time : 0.0 sec. user=mdettweiler [2013-01-06 16:33:29] 863*2^1238772-1 is not prime. Res64: AE22112EEC6716AD Time : 0.0 sec. user=mdettweiler [2013-01-06 16:42:52] 987*2^1238772-1 is not prime. Res64: 676F9C7C852657E6 Time : 0.0 sec. user=mdettweiler [2013-01-06 16:42:52] 729*2^1238773-1 is not prime. Res64: E37762980ABA224E Time : 0.0 sec. user=mdettweiler [2013-01-06 16:50:54] 801*2^1238773-1 is not prime. Res64: 9DCF1920FF9B2223 Time : 0.0 sec. user=mdettweiler [2013-01-06 16:50:55] 805*2^1238773-1 is not prime. Res64: 801D051E26970890 Time : 0.0 sec. user=juhehe [2013-01-06 16:56:42] 983*2^1238772-1 is not prime. Res64: EC453AD2A9761189 Time : 0.0 sec. user=vaughan [2013-01-06 16:59:53] 873*2^1238772-1 is not prime. Res64: B25698304DF2F9FF Time : 0.0 sec. user=mdettweiler [2013-01-06 17:00:17] 861*2^1238773-1 is not prime. Res64: D7295A26EEBD2C68 Time : 0.0 sec. user=mdettweiler [2013-01-06 17:00:18] 901*2^1238773-1 is not prime. Res64: 152A4A1D2E57CE78 Time : 0.0 sec. user=mdettweiler [2013-01-06 17:08:22] 945*2^1238773-1 is not prime. Res64: 65B9789FA9589039 Time : 0.0 sec. user=mdettweiler [2013-01-06 17:08:23] 957*2^1238773-1 is not prime. Res64: 23263286DA9BBBF5 Time : 0.0 sec. user=juhehe [2013-01-06 17:12:09] 605*2^1238772-1 is not prime. Res64: C49232D2A9D6F264 Time : 0.0 sec. user=juhehe [2013-01-06 17:15:09] 725*2^1238772-1 is not prime. Res64: 293575951D323B7D Time : 0.0 sec. user=mdettweiler [2013-01-06 17:17:44] 693*2^1238774-1 is not prime. Res64: 327687C9D94DE703 Time : 0.0 sec. user=mdettweiler [2013-01-06 17:17:45] 741*2^1238774-1 is not prime. Res64: 93EAEB3EF93B9070 Time : 0.0 sec. user=mdettweiler [2013-01-06 17:25:57] 791*2^1238774-1 is not prime. Res64: EF6DCDB2E8D184CE Time : 0.0 sec. user=mdettweiler [2013-01-06 17:25:57] 797*2^1238774-1 is not prime. Res64: C80C93A1E6B240B7 Time : 0.0 sec. user=juhehe [2013-01-06 17:29:45] 615*2^1238774-1 is not prime. Res64: 0A011DA0ACA8C37F Time : 0.0 sec. user=mdettweiler [2013-01-06 17:35:30] 873*2^1238774-1 is not prime. Res64: 00BEA463A8D4F066 Time : 0.0 sec. user=mdettweiler [2013-01-06 17:35:31] 915*2^1238774-1 is not prime. Res64: F7807A4FB24FEDA0 Time : 0.0 sec. user=vaughan [2013-01-06 17:37:44] 657*2^1238774-1 is not prime. Res64: B90E64B50FA615D6 Time : 0.0 sec. user=mdettweiler [2013-01-06 17:43:50] 917*2^1238774-1 is not prime. Res64: 5D872BB22F3C5D8D Time : 0.0 sec. user=mdettweiler [2013-01-06 17:43:50] 981*2^1238774-1 is not prime. Res64: DD9827963364ABED Time : 0.0 sec. user=mdettweiler [2013-01-06 17:53:22] 691*2^1238775-1 is not prime. Res64: 5F880180D0F6552F Time : 0.0 sec. user=mdettweiler [2013-01-06 17:53:23] 859*2^1238775-1 is not prime. Res64: 4005D583CBEDD005 Time : 0.0 sec. user=mdettweiler [2013-01-06 18:01:42] 961*2^1238775-1 is not prime. Res64: 906427686DB035B4 Time : 0.0 sec. user=mdettweiler [2013-01-06 18:01:46] 985*2^1238775-1 is not prime. Res64: 1D79530F903339B7 Time : 0.0 sec. user=juhehe [2013-01-06 18:02:30] 995*2^1238774-1 is not prime. Res64: FCAD7DBEB6EA1005 Time : 0.0 sec. user=mdettweiler [2013-01-06 18:11:18] 615*2^1238776-1 is not prime. Res64: 1170403AB68D990C Time : 0.0 sec. user=mdettweiler [2013-01-06 18:11:19] 623*2^1238776-1 is not prime. Res64: 655DCF3C24167D15 Time : 0.0 sec. user=vaughan [2013-01-06 18:15:34] 871*2^1238775-1 is not prime. Res64: C10ED7CDE42DE56A Time : 0.0 sec. user=mdettweiler [2013-01-06 18:20:12] 653*2^1238776-1 is not prime. Res64: 45ECF653EB2E0744 Time : 0.0 sec. user=mdettweiler [2013-01-06 18:20:13] 723*2^1238776-1 is not prime. Res64: 8969F83A8A98E58B Time : 0.0 sec. user=mdettweiler [2013-01-06 18:29:12] 735*2^1238776-1 is not prime. Res64: E1A972B14D03040E Time : 0.0 sec. user=mdettweiler [2013-01-06 18:29:12] 743*2^1238776-1 is not prime. Res64: AE9DC4DB7607D635 Time : 0.0 sec. user=mdettweiler [2013-01-06 18:38:03] 873*2^1238776-1 is not prime. Res64: 96A95813DF4C00AD Time : 0.0 sec. user=mdettweiler [2013-01-06 18:38:03] 989*2^1238776-1 is not prime. Res64: 1FCF38887DD3C1E8 Time : 0.0 sec. user=mdettweiler [2013-01-06 18:47:03] 999*2^1238776-1 is not prime. Res64: DB3D35A68090707F Time : 0.0 sec. user=mdettweiler [2013-01-06 18:47:04] 669*2^1238777-1 is not prime. Res64: ACDA80873D38A79A Time : 0.0 sec. user=vaughan [2013-01-06 18:53:24] 855*2^1238776-1 is not prime. Res64: BB001113F4096E90 Time : 0.0 sec. user=mdettweiler [2013-01-06 18:55:54] 831*2^1238777-1 is not prime. Res64: E40AA78CB7203741 Time : 0.0 sec. user=mdettweiler [2013-01-06 18:55:54] 867*2^1238777-1 is not prime. Res64: 3F11B74E2462537D Time : 0.0 sec. user=mdettweiler [2013-01-06 19:04:54] 871*2^1238777-1 is not prime. Res64: 17C4997B7584FA8D Time : 0.0 sec. user=mdettweiler [2013-01-06 19:05:01] 937*2^1238777-1 is not prime. Res64: CE6A2E39E7B002A9 Time : 0.0 sec. user=juhehe [2013-01-06 19:06:20] 747*2^1238777-1 is not prime. Res64: 38CCB87FEF81258D Time : 0.0 sec. user=mdettweiler [2013-01-06 19:13:45] 621*2^1238778-1 is not prime. Res64: 4BBDBCA01E6E0D05 Time : 0.0 sec. user=mdettweiler [2013-01-06 19:13:47] 1001*2^1238778-1 is not prime. Res64: DDA6445620142420 Time : 0.0 sec. user=juhehe [2013-01-06 19:19:42] 747*2^1238776-1 is not prime. Res64: 166A9168873A6A1C Time : 0.0 sec. user=juhehe [2013-01-06 19:21:58] 857*2^1238776-1 is not prime. Res64: 809E7BF4F9024686 Time : 0.0 sec. user=mdettweiler [2013-01-06 19:23:37] 813*2^1238779-1 is not prime. Res64: 31356EEC77CCF32B Time : 0.0 sec. user=mdettweiler [2013-01-06 19:23:37] 861*2^1238779-1 is not prime. Res64: ADE4E9FD1E404A42 Time : 0.0 sec. user=vaughan [2013-01-06 19:31:11] 945*2^1238777-1 is not prime. Res64: F673F60176035369 Time : 0.0 sec. user=mdettweiler [2013-01-06 19:31:40] 889*2^1238779-1 is not prime. Res64: F4241272B13850F9 Time : 0.0 sec. user=mdettweiler [2013-01-06 19:31:40] 735*2^1238780-1 is not prime. Res64: 62DFEA025B6C9C19 Time : 0.0 sec. user=mdettweiler [2013-01-06 19:41:34] 855*2^1238780-1 is not prime. Res64: 888F156EBE21B1FD Time : 0.0 sec. user=mdettweiler [2013-01-06 19:41:35] 927*2^1238780-1 is not prime. Res64: B5B93AA489768D83 Time : 0.0 sec. user=mdettweiler [2013-01-06 19:49:44] 627*2^1238781-1 is not prime. Res64: 4DBE5BE0E675E21F Time : 0.0 sec. user=mdettweiler [2013-01-06 19:49:44] 675*2^1238781-1 is not prime. Res64: C0332557A3AAD8E0 Time : 0.0 sec. user=mdettweiler [2013-01-06 19:59:25] 741*2^1238781-1 is not prime. Res64: F506D0493C978926 Time : 0.0 sec. user=mdettweiler [2013-01-06 19:59:25] 789*2^1238781-1 is not prime. Res64: 7CAD54D035AAB502 Time : 0.0 sec. user=mdettweiler [2013-01-06 20:07:35] 795*2^1238781-1 is not prime. Res64: 4A80CD84DFAB88F9 Time : 0.0 sec. user=mdettweiler [2013-01-06 20:07:36] 901*2^1238781-1 is not prime. Res64: CDF981F56DF9E86F Time : 0.0 sec. user=vaughan [2013-01-06 20:08:57] 983*2^1238780-1 is not prime. Res64: 422495E81FC33B26 Time : 0.0 sec. user=mdettweiler [2013-01-06 20:17:16] 921*2^1238781-1 is not prime. Res64: 3102D75129EA60DA Time : 0.0 sec. user=mdettweiler [2013-01-06 20:17:16] 979*2^1238781-1 is not prime. Res64: 4D08737B24B772D3 Time : 0.0 sec. user=mdettweiler [2013-01-06 20:25:51] 657*2^1238782-1 is not prime. Res64: 6E1985C142AC7A8E Time : 0.0 sec. user=mdettweiler [2013-01-06 20:25:51] 831*2^1238782-1 is not prime. Res64: DE3BD58D66F3DBB4 Time : 0.0 sec. user=mdettweiler [2013-01-06 20:35:14] 887*2^1238782-1 is not prime. Res64: E50336E5AAD94FC1 Time : 0.0 sec. user=mdettweiler [2013-01-06 20:35:14] 661*2^1238783-1 is not prime. Res64: B98D9C3F591C6802 Time : 0.0 sec. user=juhehe [2013-01-06 20:40:51] 873*2^1238782-1 is not prime. Res64: 19B09069AED7264D Time : 0.0 sec. user=mdettweiler [2013-01-06 20:43:42] 759*2^1238783-1 is not prime. Res64: 6FABF10297D7DFB0 Time : 0.0 sec. user=mdettweiler [2013-01-06 20:43:42] 689*2^1238784-1 is not prime. Res64: 3B20E8F5DE4C2906 Time : 0.0 sec. user=vaughan [2013-01-06 20:46:45] 885*2^1238782-1 is not prime. Res64: 7D1277192F101AAE Time : 0.0 sec. user=mdettweiler [2013-01-06 20:53:10] 707*2^1238784-1 is not prime. Res64: E1B540A4D35555A7 Time : 0.0 sec. user=mdettweiler [2013-01-06 20:53:10] 753*2^1238784-1 is not prime. Res64: 3D3447570522BCAB Time : 0.0 sec. user=mdettweiler [2013-01-06 21:01:44] 765*2^1238784-1 is not prime. Res64: DA1FBA51C6949C5A Time : 0.0 sec. user=mdettweiler [2013-01-06 21:01:45] 927*2^1238784-1 is not prime. Res64: D0E1DCA589748A25 Time : 0.0 sec. user=mdettweiler [2013-01-06 21:11:01] 715*2^1238785-1 is not prime. Res64: 5A48EF448C9C3E61 Time : 0.0 sec. user=mdettweiler [2013-01-06 21:11:02] 765*2^1238785-1 is not prime. Res64: 832C4716A7687285 Time : 0.0 sec. user=mdettweiler [2013-01-06 21:19:47] 801*2^1238785-1 is not prime. Res64: D2571CA562A3E8C4 Time : 0.0 sec. user=mdettweiler [2013-01-06 21:19:47] 919*2^1238785-1 is not prime. Res64: DD02C6FB76562656 Time : 0.0 sec. user=vaughan [2013-01-06 21:24:33] 945*2^1238784-1 is not prime. Res64: 8DC41486BDDB8F00 Time : 0.0 sec. user=juhehe [2013-01-06 21:26:27] 679*2^1238783-1 is not prime. Res64: 055E0E00FB4ABA89 Time : 0.0 sec. user=juhehe [2013-01-06 21:28:51] 741*2^1238783-1 is not prime. Res64: DA7E8D5363073163 Time : 0.0 sec. user=mdettweiler [2013-01-06 21:28:56] 951*2^1238785-1 is not prime. Res64: 73622888EC789DBE Time : 0.0 sec. user=mdettweiler [2013-01-06 21:28:57] 683*2^1238786-1 is not prime. Res64: A8CA96AE48C56097 Time : 0.0 sec. user=mdettweiler [2013-01-06 21:37:41] 743*2^1238786-1 is not prime. Res64: B66523CF8E231ECF Time : 0.0 sec. user=mdettweiler [2013-01-06 21:37:41] 711*2^1238787-1 is not prime. Res64: D3226A33CDDF002E Time : 0.0 sec. user=mdettweiler [2013-01-06 21:46:47] 859*2^1238787-1 is not prime. Res64: 9EA805DE393A9FF0 Time : 0.0 sec. user=mdettweiler [2013-01-06 21:46:47] 973*2^1238787-1 is not prime. Res64: 61D5D12858D48144 Time : 0.0 sec. user=mdettweiler [2013-01-06 21:55:32] 999*2^1238787-1 is not prime. Res64: B7AC7D4793E5529D Time : 0.0 sec. user=mdettweiler [2013-01-06 21:55:32] 615*2^1238788-1 is not prime. Res64: BB109D3628B3298F Time : 0.0 sec. user=vaughan [2013-01-06 22:02:25] 781*2^1238787-1 is not prime. Res64: 5B5E30EBF722DB61 Time : 0.0 sec. user=mdettweiler [2013-01-06 22:04:38] 695*2^1238788-1 is not prime. Res64: 7EDF4C1D9FD52C4C Time : 0.0 sec. user=mdettweiler [2013-01-06 22:04:42] 705*2^1238788-1 is not prime. Res64: 5F8AB027C1FA69D1 Time : 0.0 sec. user=mdettweiler [2013-01-06 22:13:24] 843*2^1238788-1 is not prime. Res64: 159F0DA1171AFBAA Time : 0.0 sec. user=mdettweiler [2013-01-06 22:13:25] 875*2^1238788-1 is not prime. Res64: 707D23B2BB36C3A6 Time : 0.0 sec. user=juhehe [2013-01-06 22:15:13] 677*2^1238788-1 is not prime. Res64: AB7E1A07D023A7D6 Time : 0.0 sec. user=mdettweiler [2013-01-06 22:22:45] 905*2^1238788-1 is not prime. Res64: A43E319C2827C5C7 Time : 0.0 sec. user=mdettweiler [2013-01-06 22:22:46] 645*2^1238789-1 is not prime. Res64: DE12107C2582C044 Time : 0.0 sec. user=mdettweiler [2013-01-06 22:31:18] 655*2^1238789-1 is not prime. Res64: 397E51D629F07F08 Time : 0.0 sec. user=mdettweiler [2013-01-06 22:31:19] 691*2^1238789-1 is not prime. Res64: CB32FFC58C802133 Time : 0.0 sec. user=vaughan [2013-01-06 22:40:36] 899*2^1238788-1 is not prime. Res64: 60B7322ED1219898 Time : 0.0 sec. user=mdettweiler [2013-01-06 22:40:37] 759*2^1238789-1 is not prime. Res64: 8DC590B65CCC5C9A Time : 0.0 sec. user=mdettweiler [2013-01-06 22:40:38] 837*2^1238789-1 is not prime. Res64: 7B3F78D158D0DF2E Time : 0.0 sec. user=mdettweiler [2013-01-06 22:49:06] 665*2^1238790-1 is not prime. Res64: 8A861500D84FEFF1 Time : 0.0 sec. user=mdettweiler [2013-01-06 22:49:06] 765*2^1238790-1 is not prime. Res64: 3BFE3BF046292B34 Time : 0.0 sec. user=mdettweiler [2013-01-06 22:58:08] 791*2^1238790-1 is not prime. Res64: C0CDD134E718AE18 Time : 0.0 sec. user=mdettweiler [2013-01-06 22:58:09] 789*2^1238791-1 is not prime. Res64: 0FFFDBE12AEA208E Time : 0.0 sec. user=mdettweiler [2013-01-06 23:06:33] 805*2^1238791-1 is not prime. Res64: 9B7FD69BB1E26738 Time : 0.0 sec. user=mdettweiler [2013-01-06 23:06:34] 943*2^1238791-1 is not prime. Res64: 4C7551F6BC6E77CA Time : 0.0 sec. user=mdettweiler [2013-01-06 23:15:34] 975*2^1238791-1 is not prime. Res64: 90402B250B980E00 Time : 0.0 sec. user=mdettweiler [2013-01-06 23:15:35] 993*2^1238791-1 is not prime. Res64: 2C86B68EEE34B636 Time : 0.0 sec. user=vaughan [2013-01-06 23:18:22] 777*2^1238790-1 is not prime. Res64: 3AAEAC135FA2933B Time : 0.0 sec. user=mdettweiler [2013-01-06 23:24:04] 633*2^1238792-1 is not prime. Res64: DDF0C014E58A9350 Time : 0.0 sec. user=mdettweiler [2013-01-06 23:24:05] 753*2^1238792-1 is not prime. Res64: FE7CF1100A1A54B6 Time : 0.0 sec. user=mdettweiler [2013-01-06 23:33:00] 945*2^1238792-1 is not prime. Res64: 7E20C6E26F75391E Time : 0.0 sec. user=mdettweiler [2013-01-06 23:33:01] 977*2^1238792-1 is not prime. Res64: 0D94D71676B9AD54 Time : 0.0 sec. user=juhehe [2013-01-06 23:33:51] 885*2^1238789-1 is not prime. Res64: 17377AC5FD81CAFF Time : 0.0 sec. user=juhehe [2013-01-06 23:35:24] 635*2^1238790-1 is not prime. Res64: 6DB07D7CB88E0231 Time : 0.0 sec. user=mdettweiler [2013-01-06 23:41:33] 609*2^1238793-1 is not prime. Res64: 29E722B30C44B769 Time : 0.0 sec. user=mdettweiler [2013-01-06 23:41:33] 649*2^1238793-1 is not prime. Res64: C1F966AED3447E6B Time : 0.0 sec. user=mdettweiler [2013-01-06 23:50:26] 669*2^1238793-1 is not prime. Res64: 9CF84C5FEE58B972 Time : 0.0 sec. user=mdettweiler [2013-01-06 23:50:26] 679*2^1238793-1 is not prime. Res64: 3F603402B003FF5C Time : 0.0 sec. user=vaughan [2013-01-06 23:56:09] 995*2^1238792-1 is not prime. Res64: 5F99DCA463D9454E Time : 0.0 sec. user=mdettweiler [2013-01-06 23:58:58] 681*2^1238793-1 is not prime. Res64: 8E9F3D24C51D6215 Time : 0.0 sec. user=mdettweiler [2013-01-06 23:58:58] 691*2^1238793-1 is not prime. Res64: 3A1ECAE7ECB1EB70 Time : 0.0 sec.