user=mdettweiler [2013-04-18 00:16:05] 607*2^1244785-1 is not prime. Res64: 78519C40CA1BD9FE Time : 0.0 sec. user=mdettweiler [2013-04-18 00:16:06] 727*2^1244785-1 is not prime. Res64: 5FE8B1972D64534D Time : 0.0 sec. user=mdettweiler [2013-04-18 00:16:06] 861*2^1244785-1 is not prime. Res64: EED71476F171B8FE Time : 0.0 sec. user=mdettweiler [2013-04-18 00:16:06] 867*2^1244785-1 is not prime. Res64: 7B90F907E37370F2 Time : 0.0 sec. user=mdettweiler [2013-04-18 00:33:34] 871*2^1244785-1 is not prime. Res64: 1BA5CA0214D8DBB3 Time : 0.0 sec. user=mdettweiler [2013-04-18 00:33:34] 997*2^1244785-1 is not prime. Res64: 3FC3F075DBA3D35D Time : 0.0 sec. user=mdettweiler [2013-04-18 00:33:35] 633*2^1244786-1 is not prime. Res64: CE0777D7F9AAF7DB Time : 0.0 sec. user=mdettweiler [2013-04-18 00:33:36] 813*2^1244786-1 is not prime. Res64: 1B826C062626BE73 Time : 0.0 sec. user=mdettweiler [2013-04-18 00:50:59] 825*2^1244786-1 is not prime. Res64: E86595F8D8262318 Time : 0.0 sec. user=mdettweiler [2013-04-18 00:51:00] 867*2^1244786-1 is not prime. Res64: 08D77433519F5CF4 Time : 0.0 sec. user=mdettweiler [2013-04-18 00:51:01] 893*2^1244786-1 is not prime. Res64: D707231BEC5DF122 Time : 0.0 sec. user=mdettweiler [2013-04-18 00:51:02] 963*2^1244786-1 is not prime. Res64: 8FA3261E81D21B08 Time : 0.0 sec. user=mdettweiler [2013-04-18 01:08:26] 795*2^1244787-1 is not prime. Res64: 05B5A9CAB56E7F04 Time : 0.0 sec. user=mdettweiler [2013-04-18 01:08:27] 835*2^1244787-1 is not prime. Res64: 17AE16F4073A0A4C Time : 0.0 sec. user=mdettweiler [2013-04-18 01:08:28] 735*2^1244787-1 is not prime. Res64: AFE82259325902A1 Time : 0.0 sec. user=mdettweiler [2013-04-18 01:08:28] 741*2^1244787-1 is not prime. Res64: 418C067E8E6DDABF Time : 0.0 sec. user=mdettweiler [2013-04-18 01:25:59] 885*2^1244787-1 is not prime. Res64: 73782CCCB58C4B17 Time : 0.0 sec. user=mdettweiler [2013-04-18 01:26:00] 743*2^1244788-1 is not prime. Res64: 4F949C2E66F5CFA6 Time : 0.0 sec. user=mdettweiler [2013-04-18 01:26:00] 803*2^1244788-1 is not prime. Res64: C81EFA77CCF3AC2D Time : 0.0 sec. user=mdettweiler [2013-04-18 01:26:01] 819*2^1244788-1 is not prime. Res64: A36D4EEB30ABDE27 Time : 0.0 sec. user=mdettweiler [2013-04-18 01:43:25] 843*2^1244788-1 is not prime. Res64: 587333AEB25A5940 Time : 0.0 sec. user=mdettweiler [2013-04-18 01:43:25] 869*2^1244788-1 is not prime. Res64: 496587463187A8DB Time : 0.0 sec. user=mdettweiler [2013-04-18 01:43:26] 885*2^1244788-1 is not prime. Res64: BC13CDF68DF988A3 Time : 0.0 sec. user=mdettweiler [2013-04-18 01:43:27] 927*2^1244788-1 is not prime. Res64: 091C4C87B03117E2 Time : 0.0 sec. user=mdettweiler [2013-04-18 02:00:50] 727*2^1244789-1 is not prime. Res64: 3C766C803E83A8BE Time : 0.0 sec. user=mdettweiler [2013-04-18 02:00:51] 771*2^1244789-1 is not prime. Res64: 4075A214BA65B7EC Time : 0.0 sec. user=mdettweiler [2013-04-18 02:00:52] 907*2^1244789-1 is not prime. Res64: 7450AD468078BBCD Time : 0.0 sec. user=mdettweiler [2013-04-18 02:00:53] 747*2^1244790-1 is not prime. Res64: 377C120189B53F2E Time : 0.0 sec. user=juhehe [2013-04-18 02:02:04] 873*2^1244787-1 is not prime. Res64: AEFDEF51C0F4CDA9 Time : 0.0 sec. user=mdettweiler [2013-04-18 02:18:21] 917*2^1244790-1 is not prime. Res64: B32628F669F7F29D Time : 0.0 sec. user=mdettweiler [2013-04-18 02:18:21] 603*2^1244791-1 is not prime. Res64: F87BF8C6FF5E69EA Time : 0.0 sec. user=mdettweiler [2013-04-18 02:18:24] 645*2^1244791-1 is not prime. Res64: 3263FAABCD4E3CCA Time : 0.0 sec. user=mdettweiler [2013-04-18 02:18:24] 819*2^1244791-1 is not prime. Res64: 906D8F9D2538548A Time : 0.0 sec. user=mdettweiler [2013-04-18 02:35:48] 829*2^1244791-1 is not prime. Res64: 2C05367F6A67C36D Time : 0.0 sec. user=mdettweiler [2013-04-18 02:35:49] 861*2^1244791-1 is not prime. Res64: EF64A9ECE1D301E8 Time : 0.0 sec. user=mdettweiler [2013-04-18 02:35:50] 841*2^1244791-1 is not prime. Res64: 77CE0D47D3A2FB40 Time : 0.0 sec. user=mdettweiler [2013-04-18 02:35:50] 609*2^1244792-1 is not prime. Res64: 21C79C0C505A3D43 Time : 0.0 sec. user=juhehe [2013-04-18 02:37:47] 619*2^1244789-1 is not prime. Res64: 59016A75B5C70A15 Time : 0.0 sec. user=mdettweiler [2013-04-18 02:53:19] 615*2^1244792-1 is not prime. Res64: 1C3404E89A5E0B0A Time : 0.0 sec. user=mdettweiler [2013-04-18 02:53:19] 717*2^1244792-1 is not prime. Res64: BB81EC535DCC7571 Time : 0.0 sec. user=mdettweiler [2013-04-18 02:53:20] 633*2^1244792-1 is not prime. Res64: 9A5C001BD9088FCB Time : 0.0 sec. user=mdettweiler [2013-04-18 02:53:20] 983*2^1244792-1 is not prime. Res64: 87A463C11388F15F Time : 0.0 sec. user=mdettweiler [2013-04-18 03:10:45] 607*2^1244793-1 is not prime. Res64: 7F96FC1DC26017CB Time : 0.0 sec. user=mdettweiler [2013-04-18 03:10:45] 727*2^1244793-1 is not prime. Res64: 37BDF19B2C3B7A2A Time : 0.0 sec. user=mdettweiler [2013-04-18 03:10:46] 649*2^1244793-1 is not prime. Res64: 4361F87808114FDB Time : 0.0 sec. user=mdettweiler [2013-04-18 03:10:46] 789*2^1244793-1 is not prime. Res64: DC48675994756C30 Time : 0.0 sec. user=mdettweiler [2013-04-18 03:28:12] 701*2^1244794-1 is not prime. Res64: A92659A0F916CC85 Time : 0.0 sec. user=mdettweiler [2013-04-18 03:28:13] 717*2^1244794-1 is not prime. Res64: E5C7B0A47D7B7F6A Time : 0.0 sec. user=mdettweiler [2013-04-18 03:28:13] 811*2^1244793-1 is not prime. Res64: 2588B5ED683691FC Time : 0.0 sec. user=mdettweiler [2013-04-18 03:28:13] 915*2^1244793-1 is not prime. Res64: 425C0AFAC4A44BCE Time : 0.0 sec. user=mdettweiler [2013-04-18 03:45:38] 833*2^1244794-1 is not prime. Res64: 6E3882249E501794 Time : 0.0 sec. user=mdettweiler [2013-04-18 03:45:39] 905*2^1244794-1 is not prime. Res64: 78E2869FF3380677 Time : 0.0 sec. user=mdettweiler [2013-04-18 03:45:39] 887*2^1244794-1 is not prime. Res64: 0C57C487C0B96B18 Time : 0.0 sec. user=mdettweiler [2013-04-18 03:45:39] 915*2^1244794-1 is not prime. Res64: 8F9BFC815521C004 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:03:05] 643*2^1244795-1 is not prime. Res64: B3157E25B062E60A Time : 0.0 sec. user=mdettweiler [2013-04-18 04:03:06] 759*2^1244795-1 is not prime. Res64: 82A730B8E3F02BE6 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:03:07] 753*2^1244795-1 is not prime. Res64: C137AE1316687460 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:03:07] 781*2^1244795-1 is not prime. Res64: E7ECB83B685203DC Time : 0.0 sec. user=juhehe [2013-04-18 04:05:17] 805*2^1244793-1 is not prime. Res64: FFDFD199C2BCF05E Time : 0.0 sec. user=mdettweiler [2013-04-18 04:20:36] 783*2^1244795-1 is not prime. Res64: 7EBC6407735957A5 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:20:37] 789*2^1244795-1 is not prime. Res64: 953478E2C88572C9 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:20:39] 805*2^1244795-1 is not prime. Res64: 8447EEDC297FBD38 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:20:40] 669*2^1244796-1 is not prime. Res64: 1C19A028203B09E6 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:38:06] 993*2^1244796-1 is not prime. Res64: 0A35E176CF3862D6 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:38:06] 675*2^1244797-1 is not prime. Res64: 2773592EBBDE4388 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:38:07] 645*2^1244797-1 is not prime. Res64: B844C7AE50968264 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:38:07] 685*2^1244797-1 is not prime. Res64: 4255D5F566B34CB1 Time : 0.0 sec. user=juhehe [2013-04-18 04:40:20] 619*2^1244795-1 is not prime. Res64: 5CA69CC0F0BAA193 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:55:41] 687*2^1244797-1 is not prime. Res64: 878FAD7E4555A5D4 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:55:41] 835*2^1244797-1 is not prime. Res64: BF21F446F24DA574 Time : 0.0 sec. user=mdettweiler [2013-04-18 04:55:42] 757*2^1244797-1 is not prime. Res64: B923DA5FFA53B4FD Time : 0.0 sec. user=mdettweiler [2013-04-18 04:55:42] 861*2^1244797-1 is not prime. Res64: 25B3FF0925F6E003 Time : 0.0 sec. user=juhehe [2013-04-18 05:06:59] 871*2^1244797-1 is not prime. Res64: 421F8728425AA048 Time : 0.0 sec. user=mdettweiler [2013-04-18 05:13:07] 937*2^1244797-1 is not prime. Res64: 99AE1F010A6493EA Time : 0.0 sec. user=mdettweiler [2013-04-18 05:13:07] 985*2^1244797-1 is not prime. Res64: 1EE39BE957F97507 Time : 0.0 sec. user=mdettweiler [2013-04-18 05:13:07] 623*2^1244798-1 is not prime. Res64: 9397D9DA47382FC7 Time : 0.0 sec. user=mdettweiler [2013-04-18 05:13:08] 603*2^1244798-1 is not prime. Res64: 920B4E46273B79DC Time : 0.0 sec. user=juhehe [2013-04-18 05:27:59] 771*2^1244798-1 is not prime. Res64: 5984B2AF780AD45C Time : 0.0 sec. user=mdettweiler [2013-04-18 05:30:33] 831*2^1244798-1 is not prime. Res64: 4891F3FB4449F16B Time : 0.0 sec. user=mdettweiler [2013-04-18 05:30:34] 897*2^1244798-1 is not prime. Res64: B9DEB83DC5CB8ED3 Time : 0.0 sec. user=mdettweiler [2013-04-18 05:31:24] 935*2^1244798-1 is not prime. Res64: F5B65576C8125A96 Time : 0.0 sec. user=mdettweiler [2013-04-18 05:31:24] 1001*2^1244798-1 is not prime. Res64: 9D33F5BC0DCEBD45 Time : 0.0 sec. user=mdettweiler [2013-04-18 05:47:59] 751*2^1244799-1 is not prime. Res64: B43E85E35F24CAE4 Time : 0.0 sec. user=mdettweiler [2013-04-18 05:48:00] 793*2^1244799-1 is not prime. Res64: 562240C668FA37CA Time : 0.0 sec. user=mdettweiler [2013-04-18 05:48:49] 955*2^1244799-1 is not prime. Res64: AE6FE4D88175D679 Time : 0.0 sec. user=mdettweiler [2013-04-18 05:48:50] 605*2^1244800-1 is not prime. Res64: 6616E2DFAC369059 Time : 0.0 sec. user=juhehe [2013-04-18 05:49:35] 669*2^1244799-1 is not prime. Res64: 1325CA2E40F68DEF Time : 0.0 sec. user=mdettweiler [2013-04-18 06:05:27] 623*2^1244800-1 is not prime. Res64: 5E74A90A857F3897 Time : 0.0 sec. user=mdettweiler [2013-04-18 06:05:28] 695*2^1244800-1 is not prime. Res64: 69B1463C3F60C154 Time : 0.0 sec. user=mdettweiler [2013-04-18 06:06:15] 773*2^1244800-1 is not prime. Res64: 072BD0C915C5FBD4 Time : 0.0 sec. user=mdettweiler [2013-04-18 06:06:16] 819*2^1244800-1 is not prime. Res64: D3C717003C1319E0 Time : 0.0 sec. user=juhehe [2013-04-18 06:08:08] 683*2^1244798-1 is not prime. Res64: F56F7CF261A1B544 Time : 0.0 sec. user=juhehe [2013-04-18 06:10:50] 915*2^1244800-1 is not prime. Res64: EB0B2576171B0253 Time : 0.0 sec. user=mdettweiler [2013-04-18 06:22:58] 989*2^1244800-1 is not prime. Res64: 6E8A4FFB9FAA6A15 Time : 0.0 sec. user=mdettweiler [2013-04-18 06:22:59] 627*2^1244801-1 is not prime. Res64: 64EC64609A21CFC4 Time : 0.0 sec. user=mdettweiler [2013-04-18 06:23:41] 651*2^1244801-1 is not prime. Res64: EE51ED9ED14D57FA Time : 0.0 sec. user=mdettweiler [2013-04-18 06:23:41] 769*2^1244801-1 is not prime. Res64: 742E4C58EEAA5E3E Time : 0.0 sec. user=juhehe [2013-04-18 06:31:55] 789*2^1244801-1 is not prime. Res64: 9A9CA9957C8A0F72 Time : 0.0 sec. user=mdettweiler [2013-04-18 06:40:25] 811*2^1244801-1 is not prime. Res64: E005EF73D28C4A75 Time : 0.0 sec. user=mdettweiler [2013-04-18 06:40:25] 861*2^1244801-1 is not prime. Res64: B9CE940F8141681E Time : 0.0 sec. user=mdettweiler [2013-04-18 06:41:06] 723*2^1244802-1 is not prime. Res64: 2188E6619D71054E Time : 0.0 sec. user=mdettweiler [2013-04-18 06:41:06] 731*2^1244802-1 is not prime. Res64: A4DB5F76E042B94D Time : 0.0 sec. user=juhehe [2013-04-18 06:42:58] 609*2^1244800-1 is not prime. Res64: A33C3A7596A8113C Time : 0.0 sec. user=mdettweiler [2013-04-18 06:57:51] 735*2^1244802-1 is not prime. Res64: 2EBDB721C4D27DC9 Time : 0.0 sec. user=mdettweiler [2013-04-18 06:57:52] 797*2^1244802-1 is not prime. Res64: 34711E74129EFB5B Time : 0.0 sec. user=mdettweiler [2013-04-18 06:58:31] 837*2^1244802-1 is not prime. Res64: 083876DACA598BBB Time : 0.0 sec. user=mdettweiler [2013-04-18 06:58:32] 917*2^1244802-1 is not prime. Res64: F9346FCA4B0CCFD0 Time : 0.0 sec. user=mdettweiler [2013-04-18 07:15:17] 923*2^1244802-1 is not prime. Res64: 58F533011846FD93 Time : 0.0 sec. user=mdettweiler [2013-04-18 07:15:18] 639*2^1244803-1 is not prime. Res64: 94DBE88E6B16D562 Time : 0.0 sec. user=mdettweiler [2013-04-18 07:15:57] 649*2^1244803-1 is not prime. Res64: CFBBB1493259E222 Time : 0.0 sec. user=mdettweiler [2013-04-18 07:15:57] 681*2^1244803-1 is not prime. Res64: 8B14D895B35F40E8 Time : 0.0 sec. user=mdettweiler [2013-04-18 07:32:43] 693*2^1244803-1 is not prime. Res64: 615DFB5C8986242F Time : 0.0 sec. user=mdettweiler [2013-04-18 07:32:43] 709*2^1244803-1 is not prime. Res64: 31053649D9D56B4F Time : 0.0 sec. user=mdettweiler [2013-04-18 07:33:22] 723*2^1244803-1 is not prime. Res64: 2BBD5FEBF08B01B1 Time : 0.0 sec. user=mdettweiler [2013-04-18 07:33:22] 885*2^1244803-1 is not prime. Res64: 2B157EFC3F8EFFBF Time : 0.0 sec. user=mdettweiler [2013-04-18 07:50:12] 961*2^1244803-1 is not prime. Res64: E10DC05DA1F32E11 Time : 0.0 sec. user=mdettweiler [2013-04-18 07:50:13] 675*2^1244804-1 is not prime. Res64: DA43BB9DFFDB0461 Time : 0.0 sec. user=mdettweiler [2013-04-18 07:50:48] 677*2^1244804-1 is not prime. Res64: C38FB0F7A454A1AC Time : 0.0 sec. user=mdettweiler [2013-04-18 07:50:48] 749*2^1244804-1 is not prime. Res64: F003E3C3E3CBCF39 Time : 0.0 sec. user=juhehe [2013-04-18 08:03:51] 813*2^1244804-1 is not prime. Res64: 930121B4AEA18D34 Time : 0.0 sec. user=mdettweiler [2013-04-18 08:07:39] 959*2^1244804-1 is not prime. Res64: F622377EEFCE1E03 Time : 0.0 sec. user=mdettweiler [2013-04-18 08:07:40] 983*2^1244804-1 is not prime. Res64: A1CA6877CD38919A Time : 0.0 sec. user=mdettweiler [2013-04-18 08:08:14] 609*2^1244805-1 is not prime. Res64: 04D4E8B80C5B69CA Time : 0.0 sec. user=mdettweiler [2013-04-18 08:08:15] 675*2^1244805-1 is not prime. Res64: 152B7C30BCAE2309 Time : 0.0 sec. user=juhehe [2013-04-18 08:11:50] 691*2^1244803-1 is not prime. Res64: A69B671FE47ADDFB Time : 0.0 sec. user=juhehe [2013-04-18 08:25:04] 877*2^1244805-1 is not prime. Res64: E7EA1957385F84D0 Time : 0.0 sec. user=mdettweiler [2013-04-18 08:25:07] 915*2^1244805-1 is not prime. Res64: D29CC6F7EF025C91 Time : 0.0 sec. user=mdettweiler [2013-04-18 08:25:08] 949*2^1244805-1 is not prime. Res64: 350F8E94F26B177C Time : 0.0 sec. user=mdettweiler [2013-04-18 08:25:42] 999*2^1244805-1 is not prime. Res64: 83FEE5C657DD9437 Time : 0.0 sec. user=mdettweiler [2013-04-18 08:25:43] 611*2^1244806-1 is not prime. Res64: 0054118644BB7966 Time : 0.0 sec. user=mdettweiler [2013-04-18 08:42:36] 741*2^1244806-1 is not prime. Res64: 4E8E12AD0334EC52 Time : 0.0 sec. user=mdettweiler [2013-04-18 08:42:36] 777*2^1244806-1 is not prime. Res64: 3137007563CA5AE2 Time : 0.0 sec. user=mdettweiler [2013-04-18 08:43:08] 649*2^1244807-1 is not prime. Res64: 0D92920A834E8B07 Time : 0.0 sec. user=mdettweiler [2013-04-18 08:43:08] 675*2^1244807-1 is not prime. Res64: 212EE8FDEABD2574 Time : 0.0 sec. user=juhehe [2013-04-18 08:45:16] 855*2^1244804-1 is not prime. Res64: BE9BA094E2ECFA55 Time : 0.0 sec. user=mdettweiler [2013-04-18 09:00:03] 685*2^1244807-1 is not prime. Res64: ADE8A0E43AFC61BE Time : 0.0 sec. user=mdettweiler [2013-04-18 09:00:04] 703*2^1244807-1 is not prime. Res64: B31FB611D4DC493B Time : 0.0 sec. user=mdettweiler [2013-04-18 09:00:33] 741*2^1244807-1 is not prime. Res64: 6474E2F47889595D Time : 0.0 sec. user=mdettweiler [2013-04-18 09:00:34] 883*2^1244807-1 is not prime. Res64: F093A6E382EA756A Time : 0.0 sec. user=mdettweiler [2013-04-18 09:17:33] 909*2^1244807-1 is not prime. Res64: 385B6DD8C722B594 Time : 0.0 sec. user=mdettweiler [2013-04-18 09:17:34] 945*2^1244807-1 is not prime. Res64: 019AF43967ACD288 Time : 0.0 sec. user=mdettweiler [2013-04-18 09:18:00] 963*2^1244807-1 is not prime. Res64: 82239FAA0695AA10 Time : 0.0 sec. user=mdettweiler [2013-04-18 09:18:01] 981*2^1244807-1 is not prime. Res64: D831471981EE8A03 Time : 0.0 sec. user=mdettweiler [2013-04-18 09:35:03] 845*2^1244808-1 is not prime. Res64: 814F2F3D7DA7148F Time : 0.0 sec. user=mdettweiler [2013-04-18 09:35:04] 899*2^1244808-1 is not prime. Res64: A84E6344DB52A868 Time : 0.0 sec. user=mdettweiler [2013-04-18 09:35:27] 935*2^1244808-1 is not prime. Res64: C4E57231A2AA0C98 Time : 0.0 sec. user=mdettweiler [2013-04-18 09:35:27] 977*2^1244808-1 is not prime. Res64: 133D5520A429402A Time : 0.0 sec. user=mdettweiler [2013-04-18 09:52:29] 609*2^1244809-1 is not prime. Res64: EF5C35A20D889EF8 Time : 0.0 sec. user=mdettweiler [2013-04-18 09:52:30] 765*2^1244809-1 is not prime. Res64: EAD1FBD89636DF3B Time : 0.0 sec. user=mdettweiler [2013-04-18 09:52:52] 831*2^1244809-1 is not prime. Res64: E04CD104BD9D7457 Time : 0.0 sec. user=mdettweiler [2013-04-18 09:52:53] 885*2^1244809-1 is not prime. Res64: B7770A03452545D8 Time : 0.0 sec. user=juhehe [2013-04-18 09:57:25] 735*2^1244810-1 is not prime. Res64: 87850D2276709A02 Time : 0.0 sec. user=mdettweiler [2013-04-18 10:09:55] 831*2^1244810-1 is not prime. Res64: 7737892575A30B43 Time : 0.0 sec. user=mdettweiler [2013-04-18 10:09:56] 843*2^1244810-1 is not prime. Res64: E0F3D435019DB001 Time : 0.0 sec. user=mdettweiler [2013-04-18 10:10:19] 887*2^1244810-1 is not prime. Res64: 18D0BEE9BBAA48D4 Time : 0.0 sec. user=mdettweiler [2013-04-18 10:10:20] 911*2^1244810-1 is not prime. Res64: 8219CB30CCC537C6 Time : 0.0 sec. user=juhehe [2013-04-18 10:20:02] 993*2^1244807-1 is not prime. Res64: 6716C58C17CEE32E Time : 0.0 sec. user=mdettweiler [2013-04-18 10:27:27] 951*2^1244810-1 is not prime. Res64: BAF51795D189D16B Time : 0.0 sec. user=mdettweiler [2013-04-18 10:27:28] 987*2^1244810-1 is not prime. Res64: 1FC59B4052812768 Time : 0.0 sec. user=mdettweiler [2013-04-18 10:27:47] 615*2^1244811-1 is not prime. Res64: 087BA87228089F69 Time : 0.0 sec. user=mdettweiler [2013-04-18 10:27:48] 723*2^1244811-1 is not prime. Res64: 3B836DD5BC445815 Time : 0.0 sec. user=mdettweiler [2013-04-18 10:44:53] 931*2^1244811-1 is not prime. Res64: 879FBEBA7BCC0C65 Time : 0.0 sec. user=mdettweiler [2013-04-18 10:44:54] 973*2^1244811-1 is not prime. Res64: 986F7F7045B5819B Time : 0.0 sec. user=mdettweiler [2013-04-18 10:45:13] 623*2^1244812-1 is not prime. Res64: E22C6F598FF4FD96 Time : 0.0 sec. user=mdettweiler [2013-04-18 10:45:13] 759*2^1244812-1 is not prime. Res64: A62857D59115C052 Time : 0.0 sec. user=juhehe [2013-04-18 10:48:14] 767*2^1244810-1 is not prime. Res64: 8B493269A622BB83 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:02:19] 869*2^1244812-1 is not prime. Res64: 9984FBED1ED9C4CA Time : 0.0 sec. user=mdettweiler [2013-04-18 11:02:21] 875*2^1244812-1 is not prime. Res64: B2E697BF95161144 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:02:39] 607*2^1244813-1 is not prime. Res64: EE33F9FF4B415672 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:02:40] 675*2^1244813-1 is not prime. Res64: 90BD983CA8A19030 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:20:25] 699*2^1244813-1 is not prime. Res64: 0C2DDB2A87772033 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:20:26] 721*2^1244813-1 is not prime. Res64: 0B19A7879D9634C1 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:20:29] 735*2^1244813-1 is not prime. Res64: 13A703A98011CE3D Time : 0.0 sec. user=mdettweiler [2013-04-18 11:20:29] 741*2^1244813-1 is not prime. Res64: EA93424498E42EAF Time : 0.0 sec. user=juhehe [2013-04-18 11:29:13] 789*2^1244813-1 is not prime. Res64: 2927C72F63BED718 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:38:05] 795*2^1244813-1 is not prime. Res64: 57487B5ACBBFB9C6 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:38:06] 967*2^1244813-1 is not prime. Res64: 78CDB3BB7DA77CC7 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:38:08] 641*2^1244814-1 is not prime. Res64: BDF20609F8B49505 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:38:09] 683*2^1244814-1 is not prime. Res64: 279B6723A5B61E26 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:55:44] 891*2^1244814-1 is not prime. Res64: 6B2C93F6CF1E9D48 Time : 0.0 sec. user=mdettweiler [2013-04-18 11:55:45] 971*2^1244814-1 is not prime. Res64: EDC322544B472B2D Time : 0.0 sec. user=mdettweiler [2013-04-18 11:55:48] 663*2^1244815-1 is not prime. Res64: 0510CB32582F2E4B Time : 0.0 sec. user=mdettweiler [2013-04-18 11:55:48] 675*2^1244815-1 is not prime. Res64: C66EA1C581350DAC Time : 0.0 sec. user=mdettweiler [2013-04-18 12:13:24] 759*2^1244815-1 is not prime. Res64: 614488CB51F7A409 Time : 0.0 sec. user=mdettweiler [2013-04-18 12:13:24] 765*2^1244815-1 is not prime. Res64: 88A89B46F4B6C50E Time : 0.0 sec. user=mdettweiler [2013-04-18 12:13:27] 793*2^1244815-1 is not prime. Res64: A779285C89905063 Time : 0.0 sec. user=mdettweiler [2013-04-18 12:13:27] 843*2^1244815-1 is not prime. Res64: 9AB9DEFF771720A3 Time : 0.0 sec. user=juhehe [2013-04-18 12:23:20] 783*2^1244814-1 is not prime. Res64: 27F2187BD2CD018F Time : 0.0 sec. user=mdettweiler [2013-04-18 12:31:07] 925*2^1244815-1 is not prime. Res64: 06CD7E019DE55637 Time : 0.0 sec. user=mdettweiler [2013-04-18 12:31:07] 951*2^1244815-1 is not prime. Res64: 62E96EB66323DCE6 Time : 0.0 sec. user=mdettweiler [2013-04-18 12:31:07] 615*2^1244816-1 is not prime. Res64: A895737869E0F939 Time : 0.0 sec. user=mdettweiler [2013-04-18 12:31:08] 623*2^1244816-1 is not prime. Res64: A7E13604B94A0ED8 Time : 0.0 sec. user=mdettweiler [2013-04-18 12:48:47] 629*2^1244816-1 is not prime. Res64: 0B158A05C851E49B Time : 0.0 sec. user=mdettweiler [2013-04-18 12:48:48] 635*2^1244816-1 is not prime. Res64: 6B251E7C636AB457 Time : 0.0 sec. user=mdettweiler [2013-04-18 12:48:48] 675*2^1244816-1 is not prime. Res64: DD9482D4341C684C Time : 0.0 sec. user=mdettweiler [2013-04-18 12:48:48] 677*2^1244816-1 is not prime. Res64: 041E6E8DAF41FA4F Time : 0.0 sec. user=juhehe [2013-04-18 12:51:08] 741*2^1244815-1 is not prime. Res64: CEC7ABEA4CBCE437 Time : 0.0 sec. user=juhehe [2013-04-18 13:00:36] 699*2^1244816-1 is not prime. Res64: 61EDF8D4444E34F5 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:06:27] 773*2^1244816-1 is not prime. Res64: F05F9E6221CB9DDD Time : 0.0 sec. user=mdettweiler [2013-04-18 13:06:28] 803*2^1244816-1 is not prime. Res64: 9B910F49FCD7A4AE Time : 0.0 sec. user=mdettweiler [2013-04-18 13:06:28] 893*2^1244816-1 is not prime. Res64: F418BB4198925860 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:06:29] 899*2^1244816-1 is not prime. Res64: 1F55C804CA955E56 Time : 0.0 sec. user=juhehe [2013-04-18 13:21:49] 903*2^1244816-1 is not prime. Res64: 554934BF2A5BACF5 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:24:07] 639*2^1244817-1 is not prime. Res64: 1C6AB9FE874A8053 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:24:07] 649*2^1244817-1 is not prime. Res64: FE73D577345BFD32 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:24:09] 739*2^1244817-1 is not prime. Res64: 3004E286DF279CE7 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:24:09] 819*2^1244817-1 is not prime. Res64: 33922F138F498223 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:41:46] 657*2^1244818-1 is not prime. Res64: 9887B25FFD149218 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:41:46] 713*2^1244818-1 is not prime. Res64: 4C255C80F7808067 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:41:48] 723*2^1244818-1 is not prime. Res64: 7BCA52D942FD8DE2 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:41:48] 765*2^1244818-1 is not prime. Res64: ADD0A29D357D510D Time : 0.0 sec. user=mdettweiler [2013-04-18 13:59:26] 825*2^1244818-1 is not prime. Res64: E0F29E1C1A95E7FF Time : 0.0 sec. user=mdettweiler [2013-04-18 13:59:26] 833*2^1244818-1 is not prime. Res64: 9C35C556AAC11B63 Time : 0.0 sec. user=mdettweiler [2013-04-18 13:59:27] 887*2^1244818-1 is not prime. Res64: 91F7B76CF4173F6B Time : 0.0 sec. user=mdettweiler [2013-04-18 13:59:27] 987*2^1244818-1 is not prime. Res64: 54EA9B45FD4D6E5E Time : 0.0 sec. user=mdettweiler [2013-04-18 14:17:06] 643*2^1244819-1 is not prime. Res64: 491D38F11C1BAF2C Time : 0.0 sec. user=mdettweiler [2013-04-18 14:17:06] 759*2^1244819-1 is not prime. Res64: 95717A7AF0D40C5E Time : 0.0 sec. user=mdettweiler [2013-04-18 14:17:06] 663*2^1244819-1 is not prime. Res64: B3DAD88AB63A82F0 Time : 0.0 sec. user=mdettweiler [2013-04-18 14:17:07] 801*2^1244819-1 is not prime. Res64: 09C33FD8BE257ADE Time : 0.0 sec. user=juhehe [2013-04-18 14:32:40] 997*2^1244817-1 is not prime. Res64: B40102BCB6514FF9 Time : 0.0 sec. user=mdettweiler [2013-04-18 14:34:49] 855*2^1244819-1 is not prime. Res64: D89BF6C4CF8D1FB2 Time : 0.0 sec. user=mdettweiler [2013-04-18 14:34:49] 813*2^1244819-1 is not prime. Res64: 0C4539F1F2C74BD0 Time : 0.0 sec. user=mdettweiler [2013-04-18 14:34:50] 719*2^1244820-1 is not prime. Res64: 687A245614AF8382 Time : 0.0 sec. user=mdettweiler [2013-04-18 14:34:50] 843*2^1244819-1 is not prime. Res64: 80924861C0956FBF Time : 0.0 sec. user=mdettweiler [2013-04-18 14:52:31] 759*2^1244820-1 is not prime. Res64: 1DC4A2ED62CF258E Time : 0.0 sec. user=mdettweiler [2013-04-18 14:52:31] 779*2^1244820-1 is not prime. Res64: A99E79F255C4DF2E Time : 0.0 sec. user=mdettweiler [2013-04-18 14:52:32] 819*2^1244820-1 is not prime. Res64: 0755E58675BC35A1 Time : 0.0 sec. user=mdettweiler [2013-04-18 14:52:32] 825*2^1244820-1 is not prime. Res64: A79BD9AB695AE32E Time : 0.0 sec. user=juhehe [2013-04-18 14:53:41] 723*2^1244820-1 is not prime. Res64: E8754BF905BFE779 Time : 0.0 sec. user=juhehe [2013-04-18 14:54:12] 619*2^1244819-1 is not prime. Res64: 02AD90370A2DEDCA Time : 0.0 sec. user=mdettweiler [2013-04-18 15:10:15] 863*2^1244820-1 is not prime. Res64: BF6A95DB00546595 Time : 0.0 sec. user=mdettweiler [2013-04-18 15:10:15] 909*2^1244820-1 is not prime. Res64: 68B7AC8BF1076534 Time : 0.0 sec. user=mdettweiler [2013-04-18 15:10:16] 929*2^1244820-1 is not prime. Res64: 9BB54D2414ED1AB6 Time : 0.0 sec. user=mdettweiler [2013-04-18 15:10:16] 923*2^1244820-1 is not prime. Res64: 1C7107A73BA20DB1 Time : 0.0 sec. user=mdettweiler [2013-04-18 15:28:08] 601*2^1244821-1 is not prime. Res64: 67E067660C376585 Time : 0.0 sec. user=mdettweiler [2013-04-18 15:28:08] 651*2^1244821-1 is not prime. Res64: 171D48D9AF28B754 Time : 0.0 sec. user=mdettweiler [2013-04-18 15:28:08] 877*2^1244821-1 is not prime. Res64: CB15E46465B8D56C Time : 0.0 sec. user=mdettweiler [2013-04-18 15:28:09] 889*2^1244821-1 is not prime. Res64: 58F2D425F7007E7C Time : 0.0 sec. user=mdettweiler [2013-04-18 15:46:00] 901*2^1244821-1 is not prime. Res64: D5588E24EF2AC332 Time : 0.0 sec. user=mdettweiler [2013-04-18 15:46:01] 939*2^1244821-1 is not prime. Res64: C4DDA92D7533FFF8 Time : 0.0 sec. user=mdettweiler [2013-04-18 15:46:01] 955*2^1244821-1 is not prime. Res64: 12CF53B994427570 Time : 0.0 sec. user=mdettweiler [2013-04-18 15:46:01] 713*2^1244822-1 is not prime. Res64: 47D0AD5C2B034EA4 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:03:53] 815*2^1244822-1 is not prime. Res64: 358F382B26EAC001 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:03:54] 911*2^1244822-1 is not prime. Res64: 2984087E60A3054F Time : 0.0 sec. user=mdettweiler [2013-04-18 16:03:54] 897*2^1244822-1 is not prime. Res64: F30F44E6FAF6EC59 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:03:54] 941*2^1244822-1 is not prime. Res64: 7C116BD1C27110AF Time : 0.0 sec. user=mdettweiler [2013-04-18 16:22:03] 741*2^1244823-1 is not prime. Res64: 109ED605BBE26E96 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:22:04] 853*2^1244823-1 is not prime. Res64: A693D23A6F0721D5 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:22:04] 921*2^1244823-1 is not prime. Res64: ED0BA03534BE33E6 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:22:05] 635*2^1244824-1 is not prime. Res64: 861CA1E4EDDE26B3 Time : 0.0 sec. user=juhehe [2013-04-18 16:35:26] 771*2^1244822-1 is not prime. Res64: 3C2F47E56910DFCB Time : 0.0 sec. user=mdettweiler [2013-04-18 16:39:59] 803*2^1244824-1 is not prime. Res64: 27456FC2C786A097 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:39:59] 903*2^1244824-1 is not prime. Res64: 2F8B002B2AABAFA4 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:40:00] 923*2^1244824-1 is not prime. Res64: C455001C7FE4E497 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:40:01] 989*2^1244824-1 is not prime. Res64: 179D09EF82AD3DC7 Time : 0.0 sec. user=juhehe [2013-04-18 16:57:12] 619*2^1244823-1 is not prime. Res64: 620B09391966D163 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:57:47] 727*2^1244825-1 is not prime. Res64: 9B901D34C9EB3B23 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:57:47] 729*2^1244825-1 is not prime. Res64: 06B79F71F1397C79 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:57:48] 759*2^1244825-1 is not prime. Res64: 9861A5A682D397C0 Time : 0.0 sec. user=mdettweiler [2013-04-18 16:57:48] 799*2^1244825-1 is not prime. Res64: 9A13FE1BFB84319A Time : 0.0 sec. user=mdettweiler [2013-04-18 17:15:33] 855*2^1244825-1 is not prime. Res64: CEB748AC37861118 Time : 0.0 sec. user=mdettweiler [2013-04-18 17:15:33] 897*2^1244825-1 is not prime. Res64: 7B6D4DA170349DF7 Time : 0.0 sec. user=mdettweiler [2013-04-18 17:15:33] 907*2^1244825-1 is not prime. Res64: AE113845F2FE30F2 Time : 0.0 sec. user=mdettweiler [2013-04-18 17:15:34] 955*2^1244825-1 is not prime. Res64: AF4CC85CD6587B6E Time : 0.0 sec. user=mdettweiler [2013-04-18 17:33:20] 969*2^1244825-1 is not prime. Res64: 974F67B2E238771C Time : 0.0 sec. user=mdettweiler [2013-04-18 17:33:21] 735*2^1244826-1 is not prime. Res64: 52B18528C5E62AC5 Time : 0.0 sec. user=mdettweiler [2013-04-18 17:33:21] 695*2^1244826-1 is not prime. Res64: CEBB7C1CBCE19B07 Time : 0.0 sec. user=mdettweiler [2013-04-18 17:33:21] 815*2^1244826-1 is not prime. Res64: F52F980FDC192325 Time : 0.0 sec. user=mdettweiler [2013-04-18 17:51:07] 873*2^1244826-1 is not prime. Res64: D5FF91F0B917BA5C Time : 0.0 sec. user=mdettweiler [2013-04-18 17:51:08] 983*2^1244826-1 is not prime. Res64: 0F210CBFEFF51074 Time : 0.0 sec. user=mdettweiler [2013-04-18 17:51:08] 917*2^1244826-1 is not prime. Res64: E392A3BC6AACB5FF Time : 0.0 sec. user=mdettweiler [2013-04-18 17:51:08] 603*2^1244827-1 is not prime. Res64: 0D00C9548EDD5166 Time : 0.0 sec. user=mdettweiler [2013-04-18 18:08:54] 741*2^1244827-1 is not prime. Res64: 0CD500A181C4E8E8 Time : 0.0 sec. user=mdettweiler [2013-04-18 18:08:55] 775*2^1244827-1 is not prime. Res64: B879AE336B9224F1 Time : 0.0 sec. user=mdettweiler [2013-04-18 18:08:56] 861*2^1244827-1 is not prime. Res64: 51DF8BAE8527C4AF Time : 0.0 sec. user=mdettweiler [2013-04-18 18:08:56] 951*2^1244827-1 is not prime. Res64: 8762A038E138DA97 Time : 0.0 sec. user=mdettweiler [2013-04-18 18:26:42] 797*2^1244828-1 is not prime. Res64: E70E57CCA2A1ECFE Time : 0.0 sec. user=mdettweiler [2013-04-18 18:26:42] 987*2^1244828-1 is not prime. Res64: 66F19CA31FCF7556 Time : 0.0 sec. user=mdettweiler [2013-04-18 18:26:42] 953*2^1244828-1 is not prime. Res64: CF45747531AE7C75 Time : 0.0 sec. user=mdettweiler [2013-04-18 18:26:43] 655*2^1244829-1 is not prime. Res64: 185E815AC696D61B Time : 0.0 sec. user=juhehe [2013-04-18 18:38:52] 619*2^1244827-1 is not prime. Res64: FCCF69B8B2F8DEBB Time : 0.0 sec. user=mdettweiler [2013-04-18 18:44:28] 667*2^1244829-1 is not prime. Res64: 05A3264541FE54F2 Time : 0.0 sec. user=mdettweiler [2013-04-18 18:44:28] 759*2^1244829-1 is not prime. Res64: B60B8072BC2A4DAB Time : 0.0 sec. user=mdettweiler [2013-04-18 18:44:29] 825*2^1244829-1 is not prime. Res64: 05E6A400FD566AE4 Time : 0.0 sec. user=mdettweiler [2013-04-18 18:44:29] 885*2^1244829-1 is not prime. Res64: 10C7F8E5EC7E758E Time : 0.0 sec. user=juhehe [2013-04-18 18:59:34] 635*2^1244828-1 is not prime. Res64: D2E5F1322479E6B8 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:02:23] 919*2^1244829-1 is not prime. Res64: 4642A8E107621320 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:02:24] 945*2^1244829-1 is not prime. Res64: 5BCA6BEA1324495A Time : 0.0 sec. user=mdettweiler [2013-04-18 19:02:24] 975*2^1244829-1 is not prime. Res64: 2E3CC1FC3E3C0B2D Time : 0.0 sec. user=mdettweiler [2013-04-18 19:02:25] 723*2^1244830-1 is not prime. Res64: 2191266B7086DB86 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:20:25] 843*2^1244830-1 is not prime. Res64: 4D6F17BA5FFEA7F7 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:20:26] 873*2^1244830-1 is not prime. Res64: 12C15F94E86A7B78 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:21:17] 885*2^1244830-1 is not prime. Res64: A8D28E59F859C39C Time : 0.0 sec. user=mdettweiler [2013-04-18 19:21:17] 1001*2^1244830-1 is not prime. Res64: A087CFDEBECE1F3E Time : 0.0 sec. user=mdettweiler [2013-04-18 19:38:14] 661*2^1244831-1 is not prime. Res64: 048BAC6326BF4E25 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:38:14] 679*2^1244831-1 is not prime. Res64: 4A3AD510EF3535E2 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:39:06] 711*2^1244831-1 is not prime. Res64: 7D92C11F249BEB45 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:39:06] 745*2^1244831-1 is not prime. Res64: 9D8A9C9A4827991B Time : 0.0 sec. user=mdettweiler [2013-04-18 19:56:00] 855*2^1244831-1 is not prime. Res64: D6E976C929010351 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:56:00] 885*2^1244831-1 is not prime. Res64: 32299305FAE6E204 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:56:50] 959*2^1244832-1 is not prime. Res64: D51C6A706A5D4B39 Time : 0.0 sec. user=mdettweiler [2013-04-18 19:56:50] 619*2^1244833-1 is not prime. Res64: 2DF4E8F7E8887BDF Time : 0.0 sec. user=mdettweiler [2013-04-18 20:13:45] 685*2^1244833-1 is not prime. Res64: 59EB191A534C5F61 Time : 0.0 sec. user=mdettweiler [2013-04-18 20:13:45] 769*2^1244833-1 is not prime. Res64: 3D27E144DE43738D Time : 0.0 sec. user=mdettweiler [2013-04-18 20:14:34] 861*2^1244833-1 is not prime. Res64: 81C9382160B61CDA Time : 0.0 sec. user=mdettweiler [2013-04-18 20:14:34] 957*2^1244833-1 is not prime. Res64: C03FB9E327243C70 Time : 0.0 sec. user=mdettweiler [2013-04-18 20:31:32] 753*2^1244834-1 is not prime. Res64: 88C9B22C1F16ECE2 Time : 0.0 sec. user=mdettweiler [2013-04-18 20:31:32] 945*2^1244834-1 is not prime. Res64: B62C37B7E19A1D19 Time : 0.0 sec. user=mdettweiler [2013-04-18 20:32:18] 971*2^1244834-1 is not prime. Res64: 9C377F44E753E216 Time : 0.0 sec. user=mdettweiler [2013-04-18 20:32:19] 619*2^1244835-1 is not prime. Res64: E23B2F3E3E028DC4 Time : 0.0 sec. user=juhehe [2013-04-18 20:41:26] 909*2^1244831-1 is not prime. Res64: 0E9402B940700623 Time : 0.0 sec. user=mdettweiler [2013-04-18 20:49:16] 675*2^1244835-1 is not prime. Res64: F3AF14AB630C685E Time : 0.0 sec. user=mdettweiler [2013-04-18 20:49:17] 751*2^1244835-1 is not prime. Res64: A1B0426FB164129C Time : 0.0 sec. user=mdettweiler [2013-04-18 20:50:02] 765*2^1244835-1 is not prime. Res64: F431D58DD16D9ADB Time : 0.0 sec. user=mdettweiler [2013-04-18 20:50:02] 973*2^1244835-1 is not prime. Res64: 80D80AAC6110C23A Time : 0.0 sec. user=mdettweiler [2013-04-18 21:07:01] 979*2^1244835-1 is not prime. Res64: E445EF0F3C772BD3 Time : 0.0 sec. user=mdettweiler [2013-04-18 21:07:03] 603*2^1244836-1 is not prime. Res64: A8D6F856EA1DFCF5 Time : 0.0 sec. user=mdettweiler [2013-04-18 21:07:46] 657*2^1244836-1 is not prime. Res64: E93155FC51A4EF24 Time : 0.0 sec. user=mdettweiler [2013-04-18 21:07:46] 759*2^1244836-1 is not prime. Res64: DE75BD83013F6E52 Time : 0.0 sec. user=juhehe [2013-04-18 21:08:31] 987*2^1244833-1 is not prime. Res64: 1A6F28DABB902295 Time : 0.0 sec. user=mdettweiler [2013-04-18 21:24:52] 783*2^1244836-1 is not prime. Res64: EA7605A550402CD1 Time : 0.0 sec. user=mdettweiler [2013-04-18 21:24:52] 825*2^1244836-1 is not prime. Res64: 2FD00225E45C08AE Time : 0.0 sec. user=mdettweiler [2013-04-18 21:25:31] 875*2^1244836-1 is not prime. Res64: 9B7C047252DDF7F5 Time : 0.0 sec. user=mdettweiler [2013-04-18 21:25:31] 615*2^1244837-1 is not prime. Res64: 0776ED08266409D4 Time : 0.0 sec. user=mdettweiler [2013-04-18 21:43:05] 649*2^1244837-1 is not prime. Res64: F0B80F350186172F Time : 0.0 sec. user=mdettweiler [2013-04-18 21:43:06] 685*2^1244837-1 is not prime. Res64: 53F61390949A1D79 Time : 0.0 sec. user=mdettweiler [2013-04-18 21:43:41] 711*2^1244837-1 is not prime. Res64: F44B6E306DEA13D0 Time : 0.0 sec. user=mdettweiler [2013-04-18 21:43:41] 715*2^1244837-1 is not prime. Res64: 06066226F62BF648 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:01:08] 777*2^1244837-1 is not prime. Res64: 61BC8813C73725A7 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:01:09] 795*2^1244837-1 is not prime. Res64: 88F47FF031EFC124 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:01:47] 805*2^1244837-1 is not prime. Res64: 069B5DD3E8FE5F57 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:01:48] 837*2^1244837-1 is not prime. Res64: 6E802BD4CD3F8A53 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:19:31] 925*2^1244837-1 is not prime. Res64: 35EF6061C7093B34 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:19:31] 647*2^1244838-1 is not prime. Res64: DA5A2DEF7DF96D15 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:19:55] 821*2^1244838-1 is not prime. Res64: 89F4B2F3A67E3C13 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:19:56] 645*2^1244839-1 is not prime. Res64: 43F5B01A14722D5B Time : 0.0 sec. user=mdettweiler [2013-04-18 22:37:18] 853*2^1244839-1 is not prime. Res64: 7254462C5FFF69EA Time : 0.0 sec. user=mdettweiler [2013-04-18 22:37:18] 961*2^1244839-1 is not prime. Res64: E2A0A01965D5C165 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:37:38] 999*2^1244839-1 is not prime. Res64: 5002E825BEB08EA8 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:37:39] 603*2^1244840-1 is not prime. Res64: 845973E996DC535D Time : 0.0 sec. user=juhehe [2013-04-18 22:44:21] 729*2^1244837-1 is not prime. Res64: 3699F0860C24406E Time : 0.0 sec. user=mdettweiler [2013-04-18 22:54:57] 777*2^1244840-1 is not prime. Res64: B77F098C1A611B6E Time : 0.0 sec. user=mdettweiler [2013-04-18 22:54:57] 803*2^1244840-1 is not prime. Res64: 909EAB8D1AB6D935 Time : 0.0 sec. user=mdettweiler [2013-04-18 22:55:18] 825*2^1244840-1 is not prime. Res64: 261ABC8B14C1A19D Time : 0.0 sec. user=mdettweiler [2013-04-18 22:55:18] 857*2^1244840-1 is not prime. Res64: 5D92729C15F4E7FC Time : 0.0 sec. user=juhehe [2013-04-18 23:11:27] 729*2^1244839-1 is not prime. Res64: 44FBA3149EF6E414 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:12:36] 959*2^1244840-1 is not prime. Res64: 3CD0A35C6EFE7884 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:12:37] 977*2^1244840-1 is not prime. Res64: B51FD1010BA89A64 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:12:57] 995*2^1244840-1 is not prime. Res64: 764E9DE24F49C3E5 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:12:57] 727*2^1244841-1 is not prime. Res64: 4647FF9F0C9B5545 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:30:18] 747*2^1244841-1 is not prime. Res64: 0ED98A8E2B3F54F6 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:30:19] 781*2^1244841-1 is not prime. Res64: 587F0E706DA41807 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:30:35] 807*2^1244841-1 is not prime. Res64: EA75D7D07C36CE67 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:30:35] 867*2^1244841-1 is not prime. Res64: 2EC76C50649ED5A8 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:47:59] 877*2^1244841-1 is not prime. Res64: F6007288A10B2729 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:47:59] 895*2^1244841-1 is not prime. Res64: 00F2DA43E193EDE2 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:48:14] 991*2^1244841-1 is not prime. Res64: 945D7F4BC961D498 Time : 0.0 sec. user=mdettweiler [2013-04-18 23:48:14] 701*2^1244842-1 is not prime. Res64: 4AD0972201D178FE Time : 0.0 sec.