user=mdettweiler [2013-04-06 00:11:03] 603*2^1244032-1 is not prime. Res64: F2C715590C11B695 Time : 0.0 sec. user=mdettweiler [2013-04-06 00:11:03] 605*2^1244032-1 is not prime. Res64: D063470A470B3D2D Time : 0.0 sec. user=mdettweiler [2013-04-06 00:11:05] 743*2^1244032-1 is not prime. Res64: 3B025A76E59D54B6 Time : 0.0 sec. user=mdettweiler [2013-04-06 00:11:06] 887*2^1244032-1 is not prime. Res64: 603E65BD889F5871 Time : 0.0 sec. user=vaughan [2013-04-06 00:20:23] 955*2^1244031-1 is not prime. Res64: 34905FB64A5375F1 Time : 0.0 sec. user=mdettweiler [2013-04-06 00:28:47] 899*2^1244032-1 is not prime. Res64: 0369E726CFC95016 Time : 0.0 sec. user=mdettweiler [2013-04-06 00:28:47] 959*2^1244032-1 is not prime. Res64: B804C6D6F88CA155 Time : 0.0 sec. user=mdettweiler [2013-04-06 00:28:48] 675*2^1244033-1 is not prime. Res64: 990763DDBAE52FA6 Time : 0.0 sec. user=mdettweiler [2013-04-06 00:28:48] 771*2^1244033-1 is not prime. Res64: B3BB535228BEAE92 Time : 0.0 sec. user=juhehe [2013-04-06 00:40:34] 865*2^1244031-1 is not prime. Res64: 422AB11C20C638C6 Time : 0.0 sec. user=mdettweiler [2013-04-06 00:46:28] 967*2^1244033-1 is not prime. Res64: A5E6E464FFDAA00B Time : 0.0 sec. user=mdettweiler [2013-04-06 00:46:28] 605*2^1244034-1 is not prime. Res64: 59B32196DDCE85B3 Time : 0.0 sec. user=mdettweiler [2013-04-06 00:46:28] 677*2^1244034-1 is not prime. Res64: A033740729704253 Time : 0.0 sec. user=mdettweiler [2013-04-06 00:46:28] 705*2^1244034-1 is not prime. Res64: F100BA5CBBF46E8C Time : 0.0 sec. user=vaughan [2013-04-06 00:58:16] 871*2^1244033-1 is not prime. Res64: D1D91B1A0DC511FB Time : 0.0 sec. user=mdettweiler [2013-04-06 01:04:10] 803*2^1244034-1 is not prime. Res64: BA095CDA78D9AA32 Time : 0.0 sec. user=mdettweiler [2013-04-06 01:04:11] 861*2^1244034-1 is not prime. Res64: 34D0B102E80082B0 Time : 0.0 sec. user=mdettweiler [2013-04-06 01:04:11] 917*2^1244034-1 is not prime. Res64: 5C2A08CF6F6ACCFC Time : 0.0 sec. user=mdettweiler [2013-04-06 01:04:11] 927*2^1244034-1 is not prime. Res64: 886693E916975B4E Time : 0.0 sec. user=mdettweiler [2013-04-06 01:21:51] 693*2^1244035-1 is not prime. Res64: 4813E62D6A83BBA0 Time : 0.0 sec. user=mdettweiler [2013-04-06 01:21:52] 645*2^1244035-1 is not prime. Res64: 6917EB1619B008FE Time : 0.0 sec. user=mdettweiler [2013-04-06 01:21:52] 709*2^1244035-1 is not prime. Res64: 1C1A1104FA6BD746 Time : 0.0 sec. user=mdettweiler [2013-04-06 01:21:52] 673*2^1244035-1 is not prime. Res64: 957632E1AACB7E88 Time : 0.0 sec. user=mdettweiler [2013-04-06 01:39:31] 715*2^1244035-1 is not prime. Res64: 0663E652CA911FB2 Time : 0.0 sec. user=mdettweiler [2013-04-06 01:39:31] 733*2^1244035-1 is not prime. Res64: DB60FF95E55CB5EF Time : 0.0 sec. user=mdettweiler [2013-04-06 01:39:32] 801*2^1244035-1 is not prime. Res64: C44CA934C5EF49AA Time : 0.0 sec. user=mdettweiler [2013-04-06 01:39:32] 859*2^1244035-1 is not prime. Res64: D77D85631326CCE3 Time : 0.0 sec. user=vaughan [2013-04-06 01:41:04] 971*2^1244034-1 is not prime. Res64: FE28193C555C3BC0 Time : 0.0 sec. user=juhehe [2013-04-06 01:42:29] 755*2^1244034-1 is not prime. Res64: C84A236A415F73DC Time : 0.0 sec. user=mdettweiler [2013-04-06 01:57:11] 623*2^1244036-1 is not prime. Res64: 28D33F79342CA839 Time : 0.0 sec. user=mdettweiler [2013-04-06 01:57:11] 633*2^1244036-1 is not prime. Res64: 69E6E98BAF177294 Time : 0.0 sec. user=mdettweiler [2013-04-06 01:57:12] 939*2^1244035-1 is not prime. Res64: B431732E4805C9BE Time : 0.0 sec. user=mdettweiler [2013-04-06 01:57:12] 617*2^1244036-1 is not prime. Res64: 9347444AA06D416F Time : 0.0 sec. user=mdettweiler [2013-04-06 02:14:49] 923*2^1244036-1 is not prime. Res64: 79F721DE0A0A9ACD Time : 0.0 sec. user=mdettweiler [2013-04-06 02:14:50] 963*2^1244036-1 is not prime. Res64: E47A8D86AB3FA372 Time : 0.0 sec. user=mdettweiler [2013-04-06 02:14:50] 661*2^1244037-1 is not prime. Res64: 2E6026A1F8D05484 Time : 0.0 sec. user=mdettweiler [2013-04-06 02:14:51] 709*2^1244037-1 is not prime. Res64: 02BA7A3883AFF10B Time : 0.0 sec. user=vaughan [2013-04-06 02:18:58] 869*2^1244036-1 is not prime. Res64: E275B3645FB38782 Time : 0.0 sec. user=mdettweiler [2013-04-06 02:32:30] 759*2^1244037-1 is not prime. Res64: 7883A8EB0A1AEE80 Time : 0.0 sec. user=mdettweiler [2013-04-06 02:32:32] 765*2^1244037-1 is not prime. Res64: F027364D8CC2ADA6 Time : 0.0 sec. user=mdettweiler [2013-04-06 02:32:33] 859*2^1244037-1 is not prime. Res64: C308CA76A257FEC6 Time : 0.0 sec. user=mdettweiler [2013-04-06 02:32:35] 891*2^1244037-1 is not prime. Res64: 8E39FA8F8CD7243C Time : 0.0 sec. user=juhehe [2013-04-06 02:42:38] 699*2^1244036-1 is not prime. Res64: 57EE2250968582F3 Time : 0.0 sec. user=mdettweiler [2013-04-06 02:50:19] 603*2^1244038-1 is not prime. Res64: 06E1BDEA172569C4 Time : 0.0 sec. user=mdettweiler [2013-04-06 02:50:19] 617*2^1244038-1 is not prime. Res64: 0EB1EAB9F2DF169A Time : 0.0 sec. user=mdettweiler [2013-04-06 02:50:21] 647*2^1244038-1 is not prime. Res64: E32B3F445F412B2C Time : 0.0 sec. user=mdettweiler [2013-04-06 02:50:22] 743*2^1244038-1 is not prime. Res64: 94B749D9C742B145 Time : 0.0 sec. user=vaughan [2013-04-06 03:01:53] 937*2^1244037-1 is not prime. Res64: B5B2ECAC5209C2A4 Time : 0.0 sec. user=mdettweiler [2013-04-06 03:07:58] 897*2^1244038-1 is not prime. Res64: BD2E652FFF24040A Time : 0.0 sec. user=mdettweiler [2013-04-06 03:07:59] 603*2^1244039-1 is not prime. Res64: B14E460F229E9705 Time : 0.0 sec. user=mdettweiler [2013-04-06 03:08:01] 609*2^1244039-1 is not prime. Res64: 2ECBE1A1D5AAFA7A Time : 0.0 sec. user=mdettweiler [2013-04-06 03:08:02] 759*2^1244039-1 is not prime. Res64: 82FD7DEB1F4493CE Time : 0.0 sec. user=mdettweiler [2013-04-06 03:25:37] 861*2^1244039-1 is not prime. Res64: E37DB3E0725EE921 Time : 0.0 sec. user=mdettweiler [2013-04-06 03:25:37] 913*2^1244039-1 is not prime. Res64: 0D30CBEF654D2E02 Time : 0.0 sec. user=mdettweiler [2013-04-06 03:25:40] 615*2^1244040-1 is not prime. Res64: E722ADCF9D73769F Time : 0.0 sec. user=mdettweiler [2013-04-06 03:25:40] 737*2^1244040-1 is not prime. Res64: 3A4F707C5B33BBE6 Time : 0.0 sec. user=vaughan [2013-04-06 03:40:07] 831*2^1244039-1 is not prime. Res64: 1E7F25971572066C Time : 0.0 sec. user=mdettweiler [2013-04-06 03:43:19] 873*2^1244040-1 is not prime. Res64: 9E37843E1283AF8C Time : 0.0 sec. user=mdettweiler [2013-04-06 03:43:19] 983*2^1244040-1 is not prime. Res64: C8887404177C2710 Time : 0.0 sec. user=mdettweiler [2013-04-06 03:43:19] 915*2^1244040-1 is not prime. Res64: 04D1B47CC7204BC4 Time : 0.0 sec. user=mdettweiler [2013-04-06 03:43:19] 685*2^1244041-1 is not prime. Res64: 833F3AEB309356C0 Time : 0.0 sec. user=juhehe [2013-04-06 03:44:37] 855*2^1244038-1 is not prime. Res64: 185889BC747C09A3 Time : 0.0 sec. user=mdettweiler [2013-04-06 04:00:59] 847*2^1244041-1 is not prime. Res64: B3AD25B567E88084 Time : 0.0 sec. user=mdettweiler [2013-04-06 04:00:59] 955*2^1244041-1 is not prime. Res64: 7AFD13B28A3BC80E Time : 0.0 sec. user=mdettweiler [2013-04-06 04:00:59] 945*2^1244041-1 is not prime. Res64: DAA4B65D085AA884 Time : 0.0 sec. user=mdettweiler [2013-04-06 04:01:00] 979*2^1244041-1 is not prime. Res64: E75FB936F064DCEC Time : 0.0 sec. user=vaughan [2013-04-06 04:18:04] 705*2^1244041-1 is not prime. Res64: FABF11274C849C2B Time : 0.0 sec. user=mdettweiler [2013-04-06 04:19:06] 981*2^1244041-1 is not prime. Res64: 348298CA2F389AF6 Time : 0.0 sec. user=mdettweiler [2013-04-06 04:19:06] 645*2^1244042-1 is not prime. Res64: F44005D3189DC78F Time : 0.0 sec. user=mdettweiler [2013-04-06 04:19:07] 677*2^1244042-1 is not prime. Res64: 1DC75198F928D58E Time : 0.0 sec. user=mdettweiler [2013-04-06 04:19:08] 713*2^1244042-1 is not prime. Res64: EDE4728D035A7AD3 Time : 0.0 sec. user=mdettweiler [2013-04-06 04:36:44] 963*2^1244042-1 is not prime. Res64: 0D50A708DED5FE84 Time : 0.0 sec. user=mdettweiler [2013-04-06 04:36:45] 983*2^1244042-1 is not prime. Res64: FEFA6632DA02EAFD Time : 0.0 sec. user=mdettweiler [2013-04-06 04:36:46] 1001*2^1244042-1 is not prime. Res64: 1D9F844F0EDFB70B Time : 0.0 sec. user=mdettweiler [2013-04-06 04:36:46] 741*2^1244043-1 is not prime. Res64: B0E593EC5B25FB0F Time : 0.0 sec. user=juhehe [2013-04-06 04:44:51] 789*2^1244041-1 is not prime. Res64: 905991000C36665C Time : 0.0 sec. user=mdettweiler [2013-04-06 04:54:27] 951*2^1244043-1 is not prime. Res64: F355005A4CE9A18E Time : 0.0 sec. user=mdettweiler [2013-04-06 04:54:28] 955*2^1244043-1 is not prime. Res64: 6956DCF25AA23B48 Time : 0.0 sec. user=mdettweiler [2013-04-06 04:54:28] 639*2^1244044-1 is not prime. Res64: F22030163590ACAC Time : 0.0 sec. user=mdettweiler [2013-04-06 04:54:28] 719*2^1244044-1 is not prime. Res64: 996F8591E1BFC3D9 Time : 0.0 sec. user=vaughan [2013-04-06 04:56:02] 887*2^1244042-1 is not prime. Res64: 480C4047609C9278 Time : 0.0 sec. user=mdettweiler [2013-04-06 05:12:06] 871*2^1244045-1 is not prime. Res64: 7B8D6D7A4073C4DC Time : 0.0 sec. user=mdettweiler [2013-04-06 05:12:06] 955*2^1244045-1 is not prime. Res64: 03E556C4BBF177D8 Time : 0.0 sec. user=mdettweiler [2013-04-06 05:12:07] 717*2^1244046-1 is not prime. Res64: 4E8443066C7823F2 Time : 0.0 sec. user=mdettweiler [2013-04-06 05:12:08] 723*2^1244046-1 is not prime. Res64: C68DF9C3AAB1D4F3 Time : 0.0 sec. user=mdettweiler [2013-04-06 05:29:49] 807*2^1244046-1 is not prime. Res64: 026372FE207C49B1 Time : 0.0 sec. user=mdettweiler [2013-04-06 05:29:49] 833*2^1244046-1 is not prime. Res64: 5E0E7A5300596A95 Time : 0.0 sec. user=mdettweiler [2013-04-06 05:29:50] 963*2^1244046-1 is not prime. Res64: A42219DC3D44E51C Time : 0.0 sec. user=mdettweiler [2013-04-06 05:29:50] 603*2^1244047-1 is not prime. Res64: F16C84C0DBA5DB73 Time : 0.0 sec. user=vaughan [2013-04-06 05:33:54] 783*2^1244046-1 is not prime. Res64: C576795EE7D94536 Time : 0.0 sec. user=juhehe [2013-04-06 05:46:31] 789*2^1244045-1 is not prime. Res64: 49A81B455EBBC05D Time : 0.0 sec. user=mdettweiler [2013-04-06 05:47:29] 639*2^1244047-1 is not prime. Res64: 466EF8160DEE8543 Time : 0.0 sec. user=mdettweiler [2013-04-06 05:47:29] 675*2^1244047-1 is not prime. Res64: C9C84CAF6FF6CBE1 Time : 0.0 sec. user=mdettweiler [2013-04-06 05:47:29] 649*2^1244047-1 is not prime. Res64: CA13523722AEE138 Time : 0.0 sec. user=mdettweiler [2013-04-06 05:47:29] 819*2^1244047-1 is not prime. Res64: DBC7B0FB4161467E Time : 0.0 sec. user=mdettweiler [2013-04-06 06:05:11] 825*2^1244048-1 is not prime. Res64: BC2D8C67DA29906F Time : 0.0 sec. user=mdettweiler [2013-04-06 06:05:11] 993*2^1244047-1 is not prime. Res64: 4EA5477C1136B585 Time : 0.0 sec. user=mdettweiler [2013-04-06 06:05:12] 669*2^1244048-1 is not prime. Res64: 183F448BB79E5B29 Time : 0.0 sec. user=mdettweiler [2013-04-06 06:05:12] 839*2^1244048-1 is not prime. Res64: 73B663250C592F7B Time : 0.0 sec. user=vaughan [2013-04-06 06:11:49] 919*2^1244047-1 is not prime. Res64: 7A6A8A9BB4AAC7BC Time : 0.0 sec. user=mdettweiler [2013-04-06 06:22:58] 843*2^1244048-1 is not prime. Res64: 83B73409AFA56840 Time : 0.0 sec. user=mdettweiler [2013-04-06 06:22:58] 993*2^1244048-1 is not prime. Res64: C67A606BFDD3ABDB Time : 0.0 sec. user=mdettweiler [2013-04-06 06:22:59] 609*2^1244049-1 is not prime. Res64: B8C199A3811F86A7 Time : 0.0 sec. user=mdettweiler [2013-04-06 06:23:00] 625*2^1244049-1 is not prime. Res64: 45B7DC71E2605A4B Time : 0.0 sec. user=mdettweiler [2013-04-06 06:40:39] 861*2^1244049-1 is not prime. Res64: 1A862CA83F976D65 Time : 0.0 sec. user=mdettweiler [2013-04-06 06:40:39] 885*2^1244049-1 is not prime. Res64: 03B017B52EDA8009 Time : 0.0 sec. user=mdettweiler [2013-04-06 06:40:40] 945*2^1244049-1 is not prime. Res64: 671970C13A2261A8 Time : 0.0 sec. user=mdettweiler [2013-04-06 06:40:40] 635*2^1244050-1 is not prime. Res64: 99DF978B801D55F2 Time : 0.0 sec. user=vaughan [2013-04-06 06:49:44] 837*2^1244049-1 is not prime. Res64: 5B8E51760FD23002 Time : 0.0 sec. user=juhehe [2013-04-06 06:53:15] 973*2^1244047-1 is not prime. Res64: C4EF131BD115F3AD Time : 0.0 sec. user=mdettweiler [2013-04-06 06:58:18] 741*2^1244050-1 is not prime. Res64: DEE26780777AFA24 Time : 0.0 sec. user=mdettweiler [2013-04-06 06:58:18] 791*2^1244050-1 is not prime. Res64: C25DC477290735F9 Time : 0.0 sec. user=mdettweiler [2013-04-06 06:58:19] 803*2^1244050-1 is not prime. Res64: 859C761DA5F9C772 Time : 0.0 sec. user=mdettweiler [2013-04-06 06:58:19] 873*2^1244050-1 is not prime. Res64: 7CACE34CDCDAB041 Time : 0.0 sec. user=mdettweiler [2013-04-06 07:15:58] 669*2^1244051-1 is not prime. Res64: 227045F547990158 Time : 0.0 sec. user=mdettweiler [2013-04-06 07:15:59] 703*2^1244051-1 is not prime. Res64: 24D2485B017C6BC9 Time : 0.0 sec. user=mdettweiler [2013-04-06 07:16:00] 971*2^1244050-1 is not prime. Res64: 2BC20E1C55B1426A Time : 0.0 sec. user=mdettweiler [2013-04-06 07:16:01] 619*2^1244051-1 is not prime. Res64: 53D9ECB1A6A31C42 Time : 0.0 sec. user=mdettweiler [2013-04-06 07:33:42] 841*2^1244051-1 is not prime. Res64: D85AB79CBC2C6FC9 Time : 0.0 sec. user=mdettweiler [2013-04-06 07:33:42] 979*2^1244051-1 is not prime. Res64: 774DE760A14F8882 Time : 0.0 sec. user=mdettweiler [2013-04-06 07:33:42] 653*2^1244052-1 is not prime. Res64: AD061E842194E537 Time : 0.0 sec. user=mdettweiler [2013-04-06 07:33:43] 669*2^1244052-1 is not prime. Res64: C0692347565ED58E Time : 0.0 sec. user=vaughan [2013-04-06 07:36:18] 951*2^1244050-1 is not prime. Res64: CE5870929353134F Time : 0.0 sec. user=juhehe [2013-04-06 07:49:01] 911*2^1244050-1 is not prime. Res64: A655737E7CF96DAA Time : 0.0 sec. user=mdettweiler [2013-04-06 07:51:21] 725*2^1244052-1 is not prime. Res64: 129F7627E36E50DF Time : 0.0 sec. user=mdettweiler [2013-04-06 07:51:21] 765*2^1244052-1 is not prime. Res64: 6EC4205030DF8D96 Time : 0.0 sec. user=mdettweiler [2013-04-06 07:51:22] 975*2^1244052-1 is not prime. Res64: 0DB4C94390374642 Time : 0.0 sec. user=mdettweiler [2013-04-06 07:51:22] 619*2^1244053-1 is not prime. Res64: C837C194A952A7E3 Time : 0.0 sec. user=mdettweiler [2013-04-06 08:09:01] 765*2^1244053-1 is not prime. Res64: E180E3BF27A46A5B Time : 0.0 sec. user=mdettweiler [2013-04-06 08:09:02] 855*2^1244053-1 is not prime. Res64: 69286547AA28739B Time : 0.0 sec. user=mdettweiler [2013-04-06 08:09:03] 615*2^1244054-1 is not prime. Res64: 517F2C757401375F Time : 0.0 sec. user=mdettweiler [2013-04-06 08:09:04] 693*2^1244054-1 is not prime. Res64: 8B642381BC1E4AED Time : 0.0 sec. user=vaughan [2013-04-06 08:14:13] 625*2^1244053-1 is not prime. Res64: 36A5105F0284E7A7 Time : 0.0 sec. user=mdettweiler [2013-04-06 08:26:48] 795*2^1244054-1 is not prime. Res64: 731277C50E1114F8 Time : 0.0 sec. user=mdettweiler [2013-04-06 08:26:48] 851*2^1244054-1 is not prime. Res64: 902A9F382E712C0F Time : 0.0 sec. user=mdettweiler [2013-04-06 08:26:50] 915*2^1244054-1 is not prime. Res64: B77FBD81DCC08288 Time : 0.0 sec. user=mdettweiler [2013-04-06 08:26:50] 995*2^1244054-1 is not prime. Res64: 1BA2578198D9EF5E Time : 0.0 sec. user=mdettweiler [2013-04-06 08:44:30] 613*2^1244055-1 is not prime. Res64: D102C655B8166A7F Time : 0.0 sec. user=mdettweiler [2013-04-06 08:44:30] 649*2^1244055-1 is not prime. Res64: B0CE7EAD35933F66 Time : 0.0 sec. user=mdettweiler [2013-04-06 08:44:31] 679*2^1244055-1 is not prime. Res64: 8C117BB5F7429E22 Time : 0.0 sec. user=mdettweiler [2013-04-06 08:44:31] 711*2^1244055-1 is not prime. Res64: 4DB70C630E5B02D1 Time : 0.0 sec. user=juhehe [2013-04-06 08:55:08] 741*2^1244054-1 is not prime. Res64: 489C6949BCFF16B1 Time : 0.0 sec. user=vaughan [2013-04-06 08:57:00] 1001*2^1244054-1 is not prime. Res64: 423C2081955B0CFC Time : 0.0 sec. user=mdettweiler [2013-04-06 09:02:11] 859*2^1244055-1 is not prime. Res64: F69849E93C9E2E2B Time : 0.0 sec. user=mdettweiler [2013-04-06 09:02:12] 805*2^1244055-1 is not prime. Res64: 32B772618D8D3B08 Time : 0.0 sec. user=mdettweiler [2013-04-06 09:02:12] 831*2^1244055-1 is not prime. Res64: 75AC60BAA5E33CEB Time : 0.0 sec. user=mdettweiler [2013-04-06 09:02:12] 871*2^1244055-1 is not prime. Res64: 5B82BDE3D84B8248 Time : 0.0 sec. user=mdettweiler [2013-04-06 09:20:22] 843*2^1244056-1 is not prime. Res64: B88BD6B7A62F33AB Time : 0.0 sec. user=mdettweiler [2013-04-06 09:20:23] 999*2^1244056-1 is not prime. Res64: 6DEDA9555EBB30AD Time : 0.0 sec. user=mdettweiler [2013-04-06 09:20:23] 619*2^1244057-1 is not prime. Res64: EAF159B9C0686707 Time : 0.0 sec. user=mdettweiler [2013-04-06 09:20:24] 691*2^1244057-1 is not prime. Res64: 60EC0F3301632530 Time : 0.0 sec. user=vaughan [2013-04-06 09:34:51] 615*2^1244056-1 is not prime. Res64: C1F4D22F714A3277 Time : 0.0 sec. user=mdettweiler [2013-04-06 09:38:37] 831*2^1244057-1 is not prime. Res64: DA05617FE749AAD1 Time : 0.0 sec. user=mdettweiler [2013-04-06 09:38:37] 937*2^1244057-1 is not prime. Res64: 1EA09AD27E68ABD5 Time : 0.0 sec. user=mdettweiler [2013-04-06 09:38:42] 979*2^1244057-1 is not prime. Res64: 0F4C8DC1C4F5DAA8 Time : 0.0 sec. user=mdettweiler [2013-04-06 09:38:42] 713*2^1244058-1 is not prime. Res64: 4B8168AC01B51DDE Time : 0.0 sec. user=mdettweiler [2013-04-06 09:56:18] 803*2^1244058-1 is not prime. Res64: C137D316F5A5435E Time : 0.0 sec. user=mdettweiler [2013-04-06 09:56:19] 921*2^1244058-1 is not prime. Res64: F06203AF652A6CF8 Time : 0.0 sec. user=mdettweiler [2013-04-06 09:56:23] 681*2^1244059-1 is not prime. Res64: EE151537838165C0 Time : 0.0 sec. user=mdettweiler [2013-04-06 09:56:24] 789*2^1244059-1 is not prime. Res64: 952F9A689015860A Time : 0.0 sec. user=juhehe [2013-04-06 09:57:18] 979*2^1244055-1 is not prime. Res64: 55BB77B0C243F505 Time : 0.0 sec. user=vaughan [2013-04-06 10:12:43] 725*2^1244058-1 is not prime. Res64: ACD9D95E8B09D930 Time : 0.0 sec. user=mdettweiler [2013-04-06 10:14:00] 793*2^1244059-1 is not prime. Res64: BC111567BCA46F6D Time : 0.0 sec. user=mdettweiler [2013-04-06 10:14:00] 829*2^1244059-1 is not prime. Res64: F727B1423BD072C3 Time : 0.0 sec. user=mdettweiler [2013-04-06 10:14:04] 843*2^1244059-1 is not prime. Res64: 35956FAE07E52803 Time : 0.0 sec. user=mdettweiler [2013-04-06 10:14:05] 853*2^1244059-1 is not prime. Res64: 0503DACE2E369ACF Time : 0.0 sec. user=mdettweiler [2013-04-06 10:31:41] 951*2^1244059-1 is not prime. Res64: 695A826C32985561 Time : 0.0 sec. user=mdettweiler [2013-04-06 10:31:41] 753*2^1244060-1 is not prime. Res64: C4D8AC13E1669859 Time : 0.0 sec. user=mdettweiler [2013-04-06 10:31:45] 759*2^1244060-1 is not prime. Res64: 44098EEE10959E14 Time : 0.0 sec. user=mdettweiler [2013-04-06 10:31:45] 875*2^1244060-1 is not prime. Res64: BA0D2422B347959A Time : 0.0 sec. user=mdettweiler [2013-04-06 10:49:22] 627*2^1244061-1 is not prime. Res64: 06E02023D3340EE4 Time : 0.0 sec. user=mdettweiler [2013-04-06 10:49:22] 819*2^1244061-1 is not prime. Res64: F4E0923AE8FEA075 Time : 0.0 sec. user=mdettweiler [2013-04-06 10:49:26] 997*2^1244061-1 is not prime. Res64: 6A7A23EFB7921A01 Time : 0.0 sec. user=mdettweiler [2013-04-06 10:49:26] 647*2^1244062-1 is not prime. Res64: 003EA323DA959F62 Time : 0.0 sec. user=vaughan [2013-04-06 10:55:36] 931*2^1244059-1 is not prime. Res64: 1C7B3F6E6671F368 Time : 0.0 sec. user=mdettweiler [2013-04-06 11:07:04] 671*2^1244062-1 is not prime. Res64: 3A27FA7D1B939616 Time : 0.0 sec. user=mdettweiler [2013-04-06 11:07:04] 761*2^1244062-1 is not prime. Res64: 34A75B300489D2DC Time : 0.0 sec. user=mdettweiler [2013-04-06 11:07:07] 777*2^1244062-1 is not prime. Res64: E6B06E00AF2F796D Time : 0.0 sec. user=mdettweiler [2013-04-06 11:07:08] 815*2^1244062-1 is not prime. Res64: C613DEBB0DD87575 Time : 0.0 sec. user=mdettweiler [2013-04-06 11:24:47] 643*2^1244063-1 is not prime. Res64: 283CC790DDD1B674 Time : 0.0 sec. user=mdettweiler [2013-04-06 11:24:47] 715*2^1244063-1 is not prime. Res64: FFC4C98CCF20BAF0 Time : 0.0 sec. user=mdettweiler [2013-04-06 11:24:49] 859*2^1244063-1 is not prime. Res64: 921D9BCCBE3C885B Time : 0.0 sec. user=mdettweiler [2013-04-06 11:24:49] 963*2^1244063-1 is not prime. Res64: 6039CE0B8C2A330D Time : 0.0 sec. user=vaughan [2013-04-06 11:38:24] 941*2^1244062-1 is not prime. Res64: E06619F041ADC467 Time : 0.0 sec. user=mdettweiler [2013-04-06 11:42:29] 635*2^1244064-1 is not prime. Res64: C49A6C2117DABA2B Time : 0.0 sec. user=mdettweiler [2013-04-06 11:42:29] 657*2^1244064-1 is not prime. Res64: F5BB89D1FB887C3A Time : 0.0 sec. user=mdettweiler [2013-04-06 11:42:31] 753*2^1244064-1 is not prime. Res64: 593BB9027EC27918 Time : 0.0 sec. user=mdettweiler [2013-04-06 11:42:31] 803*2^1244064-1 is not prime. Res64: 49FBAD9546129A66 Time : 0.0 sec. user=juhehe [2013-04-06 11:57:05] 857*2^1244062-1 is not prime. Res64: 070E99ECD3EB7D48 Time : 0.0 sec. user=mdettweiler [2013-04-06 12:00:10] 661*2^1244065-1 is not prime. Res64: 219BF3D5F72F33C9 Time : 0.0 sec. user=mdettweiler [2013-04-06 12:00:11] 885*2^1244065-1 is not prime. Res64: 23446FC059526FCE Time : 0.0 sec. user=mdettweiler [2013-04-06 12:00:13] 895*2^1244065-1 is not prime. Res64: 6626AA3D3F90D333 Time : 0.0 sec. user=mdettweiler [2013-04-06 12:00:14] 915*2^1244065-1 is not prime. Res64: 957C3A875DB0A89A Time : 0.0 sec. user=juhehe [2013-04-06 12:05:52] 957*2^1244062-1 is not prime. Res64: E35B7D3280F95622 Time : 0.0 sec. user=mdettweiler [2013-04-06 12:17:53] 987*2^1244065-1 is not prime. Res64: 320577FC0784A5E3 Time : 0.0 sec. user=mdettweiler [2013-04-06 12:17:54] 999*2^1244065-1 is not prime. Res64: 257A668DE3D27A1C Time : 0.0 sec. user=mdettweiler [2013-04-06 12:17:56] 675*2^1244066-1 is not prime. Res64: 772A8265FF49281B Time : 0.0 sec. user=mdettweiler [2013-04-06 12:17:56] 677*2^1244066-1 is not prime. Res64: 3325408EABBB4B0B Time : 0.0 sec. user=vaughan [2013-04-06 12:21:14] 975*2^1244064-1 is not prime. Res64: 236862D2B0286A6F Time : 0.0 sec. user=mdettweiler [2013-04-06 12:35:39] 783*2^1244066-1 is not prime. Res64: E93975F747EC8290 Time : 0.0 sec. user=mdettweiler [2013-04-06 12:35:39] 887*2^1244066-1 is not prime. Res64: 2FEAB347604CD913 Time : 0.0 sec. user=mdettweiler [2013-04-06 12:35:40] 913*2^1244067-1 is not prime. Res64: 815254CCF7E5E21A Time : 0.0 sec. user=mdettweiler [2013-04-06 12:35:40] 945*2^1244067-1 is not prime. Res64: 0C396746893CB810 Time : 0.0 sec. user=juhehe [2013-04-06 12:44:35] 875*2^1244068-1 is not prime. Res64: 348B99FC279C1E8A Time : 0.0 sec. user=mdettweiler [2013-04-06 12:53:22] 897*2^1244069-1 is not prime. Res64: 36FD705CF52B32BC Time : 0.0 sec. user=mdettweiler [2013-04-06 12:53:22] 635*2^1244070-1 is not prime. Res64: AA08A49E44F57FF8 Time : 0.0 sec. user=mdettweiler [2013-04-06 12:53:22] 677*2^1244070-1 is not prime. Res64: AAE5C6B08BB30ECA Time : 0.0 sec. user=mdettweiler [2013-04-06 12:53:22] 797*2^1244070-1 is not prime. Res64: F38334462E7EF862 Time : 0.0 sec. user=vaughan [2013-04-06 12:59:07] 735*2^1244068-1 is not prime. Res64: 29253E06D0ADAA62 Time : 0.0 sec. user=juhehe [2013-04-06 13:06:41] 851*2^1244070-1 is not prime. Res64: E0B65B0F300F94EE Time : 0.0 sec. user=mdettweiler [2013-04-06 13:11:04] 883*2^1244071-1 is not prime. Res64: 320277F4FD05BB52 Time : 0.0 sec. user=mdettweiler [2013-04-06 13:11:04] 891*2^1244070-1 is not prime. Res64: 21903B6B5C2D8076 Time : 0.0 sec. user=mdettweiler [2013-04-06 13:11:05] 775*2^1244071-1 is not prime. Res64: 4A9A16BEC5A46B07 Time : 0.0 sec. user=mdettweiler [2013-04-06 13:11:05] 657*2^1244072-1 is not prime. Res64: 26763E82F8426489 Time : 0.0 sec. user=mdettweiler [2013-04-06 13:28:49] 983*2^1244072-1 is not prime. Res64: 3310C84BA67E1DDD Time : 0.0 sec. user=mdettweiler [2013-04-06 13:28:49] 675*2^1244073-1 is not prime. Res64: B9D0A00A2EDE59D8 Time : 0.0 sec. user=mdettweiler [2013-04-06 13:28:50] 681*2^1244073-1 is not prime. Res64: C721E162B62EA820 Time : 0.0 sec. user=mdettweiler [2013-04-06 13:28:50] 691*2^1244073-1 is not prime. Res64: 59C16596F2A3DD63 Time : 0.0 sec. user=juhehe [2013-04-06 13:32:09] 945*2^1244072-1 is not prime. Res64: 2A49692D90FA6938 Time : 0.0 sec. user=vaughan [2013-04-06 13:37:01] 767*2^1244072-1 is not prime. Res64: A6207544AE233203 Time : 0.0 sec. user=mdettweiler [2013-04-06 13:46:33] 817*2^1244073-1 is not prime. Res64: C31594FF467F3BB2 Time : 0.0 sec. user=mdettweiler [2013-04-06 13:46:33] 861*2^1244073-1 is not prime. Res64: 1C528F128D736CD8 Time : 0.0 sec. user=mdettweiler [2013-04-06 13:46:33] 889*2^1244073-1 is not prime. Res64: B33FA2DEF6CF0777 Time : 0.0 sec. user=mdettweiler [2013-04-06 13:46:33] 901*2^1244073-1 is not prime. Res64: C83B2D3BFCE7CA70 Time : 0.0 sec. user=juhehe [2013-04-06 13:58:02] 955*2^1244073-1 is not prime. Res64: FC4D4C7379E3862C Time : 0.0 sec. user=juhehe [2013-04-06 13:59:46] 713*2^1244072-1 is not prime. Res64: 76274DA7F622864B Time : 0.0 sec. user=mdettweiler [2013-04-06 14:04:16] 695*2^1244074-1 is not prime. Res64: 0710410B105CB7DA Time : 0.0 sec. user=mdettweiler [2013-04-06 14:04:17] 831*2^1244074-1 is not prime. Res64: 2AC7ECEBC36116B9 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:04:17] 825*2^1244074-1 is not prime. Res64: 375F5BBAAA328FB6 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:04:17] 993*2^1244074-1 is not prime. Res64: 1A1EA1D94F63FF26 Time : 0.0 sec. user=juhehe [2013-04-06 14:08:45] 837*2^1244072-1 is not prime. Res64: 3BA7B84DC1715318 Time : 0.0 sec. user=vaughan [2013-04-06 14:14:52] 617*2^1244074-1 is not prime. Res64: C0C713B648924478 Time : 0.0 sec. user=juhehe [2013-04-06 14:18:58] 645*2^1244075-1 is not prime. Res64: A257BC915F26FF4F Time : 0.0 sec. user=mdettweiler [2013-04-06 14:22:08] 669*2^1244075-1 is not prime. Res64: E7E29C1D72A853B0 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:22:08] 843*2^1244075-1 is not prime. Res64: 25B6179B35B6FAA4 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:22:09] 705*2^1244076-1 is not prime. Res64: 89FC51A647328ED6 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:22:09] 773*2^1244076-1 is not prime. Res64: B0DB4041DD840054 Time : 0.0 sec. user=juhehe [2013-04-06 14:39:47] 649*2^1244077-1 is not prime. Res64: 3C303E4BC7CFF313 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:39:50] 675*2^1244077-1 is not prime. Res64: 5F4F2F03A71782B8 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:39:51] 757*2^1244077-1 is not prime. Res64: 9D0AA6ECE77F5BA5 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:39:51] 829*2^1244077-1 is not prime. Res64: F62F1AB2E507FC17 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:39:51] 955*2^1244077-1 is not prime. Res64: 091984B4318D334D Time : 0.0 sec. user=vaughan [2013-04-06 14:52:44] 609*2^1244077-1 is not prime. Res64: 348F1F41682686D6 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:57:33] 731*2^1244078-1 is not prime. Res64: 21550EAAF179E157 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:57:33] 967*2^1244077-1 is not prime. Res64: 1365E1B1AE1AF8F1 Time : 0.0 sec. user=mdettweiler [2013-04-06 14:57:33] 773*2^1244078-1 is not prime. Res64: FF3A757298AD38BC Time : 0.0 sec. user=mdettweiler [2013-04-06 14:57:33] 623*2^1244078-1 is not prime. Res64: 0F12C1CBAA59F35E Time : 0.0 sec. user=juhehe [2013-04-06 15:03:53] 961*2^1244077-1 is not prime. Res64: D4CD013E14AA2D91 Time : 0.0 sec. user=mdettweiler [2013-04-06 15:15:21] 887*2^1244078-1 is not prime. Res64: E050CFFC36BF5649 Time : 0.0 sec. user=mdettweiler [2013-04-06 15:15:21] 927*2^1244078-1 is not prime. Res64: B6C8AE7171B49B55 Time : 0.0 sec. user=mdettweiler [2013-04-06 15:15:22] 619*2^1244079-1 is not prime. Res64: F1DF200B6EDFC1CC Time : 0.0 sec. user=mdettweiler [2013-04-06 15:15:22] 685*2^1244079-1 is not prime. Res64: E076B04E3ABC0088 Time : 0.0 sec. user=juhehe [2013-04-06 15:24:11] 879*2^1244079-1 is not prime. Res64: 7BDE94B20E74A89F Time : 0.0 sec. user=vaughan [2013-04-06 15:30:37] 831*2^1244078-1 is not prime. Res64: 7666F96D0624A3FE Time : 0.0 sec. user=mdettweiler [2013-04-06 15:33:12] 999*2^1244079-1 is not prime. Res64: F2A2D42DD55E9306 Time : 0.0 sec. user=mdettweiler [2013-04-06 15:33:13] 645*2^1244080-1 is not prime. Res64: CEC934DA6B3A0001 Time : 0.0 sec. user=mdettweiler [2013-04-06 15:33:13] 687*2^1244080-1 is not prime. Res64: BF46959F6F3B8AAD Time : 0.0 sec. user=mdettweiler [2013-04-06 15:33:13] 843*2^1244080-1 is not prime. Res64: 0C2B95C7F09AEC68 Time : 0.0 sec. user=juhehe [2013-04-06 15:47:35] 983*2^1244080-1 is not prime. Res64: 4BE229D6E3755EF0 Time : 0.0 sec. user=mdettweiler [2013-04-06 15:51:03] 837*2^1244081-1 is not prime. Res64: 66C2A5D84662E3EB Time : 0.0 sec. user=mdettweiler [2013-04-06 15:51:04] 855*2^1244081-1 is not prime. Res64: 2F0F5EC564489520 Time : 0.0 sec. user=mdettweiler [2013-04-06 15:51:06] 861*2^1244081-1 is not prime. Res64: CEAF451850D87269 Time : 0.0 sec. user=mdettweiler [2013-04-06 15:51:06] 865*2^1244081-1 is not prime. Res64: B659A690FF5FDC04 Time : 0.0 sec. user=juhehe [2013-04-06 16:02:08] 853*2^1244079-1 is not prime. Res64: AC3FE93414346DB2 Time : 0.0 sec. user=juhehe [2013-04-06 16:07:58] 925*2^1244081-1 is not prime. Res64: D8E4C0F7C68F0D47 Time : 0.0 sec. user=vaughan [2013-04-06 16:08:32] 741*2^1244081-1 is not prime. Res64: 5FC7A0AC252A415F Time : 0.0 sec. user=mdettweiler [2013-04-06 16:08:50] 681*2^1244082-1 is not prime. Res64: 611F8C76B4594BD2 Time : 0.0 sec. user=mdettweiler [2013-04-06 16:08:51] 723*2^1244082-1 is not prime. Res64: 45C35EE7B69AC6B6 Time : 0.0 sec. user=mdettweiler [2013-04-06 16:08:53] 815*2^1244082-1 is not prime. Res64: 35103A79A7A684FE Time : 0.0 sec. user=mdettweiler [2013-04-06 16:08:54] 821*2^1244082-1 is not prime. Res64: D81902BC142774FE Time : 0.0 sec. user=juhehe [2013-04-06 16:17:32] 931*2^1244079-1 is not prime. Res64: B4783F2D13A3CE16 Time : 0.0 sec. user=mdettweiler [2013-04-06 16:26:36] 977*2^1244082-1 is not prime. Res64: 6FB06C566195F236 Time : 0.0 sec. user=mdettweiler [2013-04-06 16:26:36] 603*2^1244083-1 is not prime. Res64: 32BC02900F65B0EB Time : 0.0 sec. user=mdettweiler [2013-04-06 16:26:38] 679*2^1244083-1 is not prime. Res64: 211BD3D9E310F80C Time : 0.0 sec. user=mdettweiler [2013-04-06 16:26:39] 705*2^1244083-1 is not prime. Res64: A1F597E3C3DEEC74 Time : 0.0 sec. user=mdettweiler [2013-04-06 16:44:29] 873*2^1244083-1 is not prime. Res64: 18B50A811E482C58 Time : 0.0 sec. user=mdettweiler [2013-04-06 16:44:30] 999*2^1244083-1 is not prime. Res64: 63E6760C892DC09E Time : 0.0 sec. user=mdettweiler [2013-04-06 16:44:30] 665*2^1244084-1 is not prime. Res64: 8CE96EC4CD6FF8C9 Time : 0.0 sec. user=mdettweiler [2013-04-06 16:44:30] 707*2^1244084-1 is not prime. Res64: 7925E7F6A47E38DE Time : 0.0 sec. user=vaughan [2013-04-06 16:51:21] 963*2^1244082-1 is not prime. Res64: D0F3CF8F09CD8A81 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:02:14] 753*2^1244084-1 is not prime. Res64: 3499CE0F76DF2290 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:02:15] 873*2^1244084-1 is not prime. Res64: C15BD226DDA76660 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:02:16] 789*2^1244084-1 is not prime. Res64: 0EAB4ADCE3A6C6A9 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:02:16] 923*2^1244084-1 is not prime. Res64: 077BF2B568DB8BCF Time : 0.0 sec. user=mdettweiler [2013-04-06 17:20:01] 699*2^1244085-1 is not prime. Res64: 3CF5FDEBE785FE2D Time : 0.0 sec. user=mdettweiler [2013-04-06 17:20:01] 709*2^1244085-1 is not prime. Res64: 887A826AB94AA9B3 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:20:04] 717*2^1244085-1 is not prime. Res64: 62C62B1A26D72971 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:20:05] 919*2^1244085-1 is not prime. Res64: A84E081B7F988328 Time : 0.0 sec. user=juhehe [2013-04-06 17:30:20] 979*2^1244085-1 is not prime. Res64: 27B6D1EB4A3BCD2D Time : 0.0 sec. user=vaughan [2013-04-06 17:34:13] 983*2^1244084-1 is not prime. Res64: 7CC09618FC019F50 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:37:44] 743*2^1244086-1 is not prime. Res64: 6732CF321CFD82D9 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:37:45] 761*2^1244086-1 is not prime. Res64: D94D3023805C409B Time : 0.0 sec. user=mdettweiler [2013-04-06 17:37:47] 815*2^1244086-1 is not prime. Res64: 2E565A3B1A57A4C4 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:37:48] 861*2^1244086-1 is not prime. Res64: 5A7366F7DFB6B92F Time : 0.0 sec. user=mdettweiler [2013-04-06 17:55:28] 957*2^1244086-1 is not prime. Res64: 0473B5E2C2CACD60 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:55:29] 685*2^1244087-1 is not prime. Res64: B9FCC341256D6915 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:55:31] 703*2^1244087-1 is not prime. Res64: 484270BE3B561391 Time : 0.0 sec. user=mdettweiler [2013-04-06 17:55:31] 735*2^1244087-1 is not prime. Res64: 61A009ED3C621199 Time : 0.0 sec. user=juhehe [2013-04-06 18:03:25] 657*2^1244085-1 is not prime. Res64: 9765F962A598D93B Time : 0.0 sec. user=mdettweiler [2013-04-06 18:13:16] 843*2^1244087-1 is not prime. Res64: E52EFE3189C2782F Time : 0.0 sec. user=mdettweiler [2013-04-06 18:13:17] 859*2^1244087-1 is not prime. Res64: 05840DC10D32FD50 Time : 0.0 sec. user=mdettweiler [2013-04-06 18:13:18] 963*2^1244087-1 is not prime. Res64: 1AFDDB0516DE4972 Time : 0.0 sec. user=mdettweiler [2013-04-06 18:13:19] 979*2^1244087-1 is not prime. Res64: F92426A1DAED542C Time : 0.0 sec. user=vaughan [2013-04-06 18:17:00] 945*2^1244086-1 is not prime. Res64: 652FA2641C40649F Time : 0.0 sec. user=juhehe [2013-04-06 18:20:08] 717*2^1244086-1 is not prime. Res64: EAF9EA857FAFBAF8 Time : 0.0 sec. user=mdettweiler [2013-04-06 18:31:11] 735*2^1244088-1 is not prime. Res64: 206A7F3CC9913551 Time : 0.0 sec. user=mdettweiler [2013-04-06 18:31:11] 773*2^1244088-1 is not prime. Res64: 5E8120EB1DB3FE0D Time : 0.0 sec. user=mdettweiler [2013-04-06 18:31:11] 747*2^1244088-1 is not prime. Res64: AACFDBAFEFD0F2F8 Time : 0.0 sec. user=mdettweiler [2013-04-06 18:31:11] 887*2^1244088-1 is not prime. Res64: 8AEF853AAE2AE013 Time : 0.0 sec. user=mdettweiler [2013-04-06 18:48:57] 811*2^1244089-1 is not prime. Res64: 36B5A0BD9576A7E1 Time : 0.0 sec. user=mdettweiler [2013-04-06 18:48:57] 831*2^1244089-1 is not prime. Res64: 7CF1F559EC2BC51B Time : 0.0 sec. user=mdettweiler [2013-04-06 18:48:57] 999*2^1244089-1 is not prime. Res64: B13E00DA4DDFBD69 Time : 0.0 sec. user=mdettweiler [2013-04-06 18:48:57] 997*2^1244089-1 is not prime. Res64: 0E4C8C93A51C18A6 Time : 0.0 sec. user=vaughan [2013-04-06 18:59:54] 957*2^1244088-1 is not prime. Res64: EFEB7BE1BAD2FC5A Time : 0.0 sec. user=mdettweiler [2013-04-06 19:06:42] 755*2^1244090-1 is not prime. Res64: 7068EC2875D712D6 Time : 0.0 sec. user=mdettweiler [2013-04-06 19:06:42] 797*2^1244090-1 is not prime. Res64: E5609CDEA55C9B3F Time : 0.0 sec. user=mdettweiler [2013-04-06 19:06:42] 767*2^1244090-1 is not prime. Res64: E94ED51B67CFE57F Time : 0.0 sec. user=mdettweiler [2013-04-06 19:06:42] 741*2^1244091-1 is not prime. Res64: 3C512C74627EBE48 Time : 0.0 sec. user=mdettweiler [2013-04-06 19:24:26] 891*2^1244091-1 is not prime. Res64: 3C495DC038EF799B Time : 0.0 sec. user=mdettweiler [2013-04-06 19:24:26] 969*2^1244091-1 is not prime. Res64: 862EF0CC6FCC5095 Time : 0.0 sec. user=mdettweiler [2013-04-06 19:24:27] 759*2^1244092-1 is not prime. Res64: 49E07DC199EB137E Time : 0.0 sec. user=mdettweiler [2013-04-06 19:24:28] 869*2^1244092-1 is not prime. Res64: 2336B94BB8C0F1A3 Time : 0.0 sec. user=vaughan [2013-04-06 19:37:56] 783*2^1244091-1 is not prime. Res64: C22F268EC6CFBAE6 Time : 0.0 sec. user=mdettweiler [2013-04-06 19:42:11] 875*2^1244092-1 is not prime. Res64: 8610CA55135A1E42 Time : 0.0 sec. user=mdettweiler [2013-04-06 19:42:11] 909*2^1244092-1 is not prime. Res64: 26DCFC245D7CF1D9 Time : 0.0 sec. user=mdettweiler [2013-04-06 19:42:13] 987*2^1244092-1 is not prime. Res64: D801D1CB2C5D32BB Time : 0.0 sec. user=mdettweiler [2013-04-06 19:42:13] 669*2^1244093-1 is not prime. Res64: 22CDC8BB1DFF56C4 Time : 0.0 sec. user=mdettweiler [2013-04-06 19:59:57] 861*2^1244093-1 is not prime. Res64: E9AB9044A487E0F7 Time : 0.0 sec. user=mdettweiler [2013-04-06 19:59:57] 879*2^1244093-1 is not prime. Res64: 7D7C1AA6673CA574 Time : 0.0 sec. user=mdettweiler [2013-04-06 19:59:58] 925*2^1244093-1 is not prime. Res64: CCA301C16A34928A Time : 0.0 sec. user=mdettweiler [2013-04-06 19:59:58] 621*2^1244094-1 is not prime. Res64: F2DB640C5DF9938A Time : 0.0 sec. user=juhehe [2013-04-06 20:05:29] 835*2^1244091-1 is not prime. Res64: 093A707B77FB79D5 Time : 0.0 sec. user=vaughan [2013-04-06 20:15:53] 805*2^1244093-1 is not prime. Res64: 0868EF3017D95904 Time : 0.0 sec. user=mdettweiler [2013-04-06 20:17:41] 663*2^1244094-1 is not prime. Res64: 55869CF5E8C07640 Time : 0.0 sec. user=mdettweiler [2013-04-06 20:17:42] 681*2^1244094-1 is not prime. Res64: EE61A7EDB46E8A4C Time : 0.0 sec. user=mdettweiler [2013-04-06 20:17:45] 683*2^1244094-1 is not prime. Res64: B1212E79C9790107 Time : 0.0 sec. user=mdettweiler [2013-04-06 20:17:45] 707*2^1244094-1 is not prime. Res64: 323CA4317A9FD119 Time : 0.0 sec. user=mdettweiler [2013-04-06 20:35:24] 851*2^1244094-1 is not prime. Res64: A9C9C547D4A2A966 Time : 0.0 sec. user=mdettweiler [2013-04-06 20:35:25] 873*2^1244094-1 is not prime. Res64: C9C280D1506E399E Time : 0.0 sec. user=mdettweiler [2013-04-06 20:35:27] 927*2^1244094-1 is not prime. Res64: A9964BB2CB0B8C86 Time : 0.0 sec. user=mdettweiler [2013-04-06 20:35:28] 705*2^1244095-1 is not prime. Res64: ED3D58783263DAFC Time : 0.0 sec. user=mdettweiler [2013-04-06 20:53:07] 831*2^1244095-1 is not prime. Res64: 1B1FF5D7FF1CDFFF Time : 0.0 sec. user=mdettweiler [2013-04-06 20:53:07] 925*2^1244095-1 is not prime. Res64: EDADC44A10A4EE82 Time : 0.0 sec. user=mdettweiler [2013-04-06 20:53:09] 943*2^1244095-1 is not prime. Res64: E51F3FC29FA7C515 Time : 0.0 sec. user=mdettweiler [2013-04-06 20:53:09] 623*2^1244096-1 is not prime. Res64: EC0589BA9F6A75B6 Time : 0.0 sec. user=vaughan [2013-04-06 20:53:50] 797*2^1244094-1 is not prime. Res64: 8A0A4ADCFD3878EE Time : 0.0 sec. user=mdettweiler [2013-04-06 21:10:49] 633*2^1244096-1 is not prime. Res64: FB3A6B6B829F1139 Time : 0.0 sec. user=mdettweiler [2013-04-06 21:10:50] 669*2^1244096-1 is not prime. Res64: 3AF8BC2384FC831A Time : 0.0 sec. user=mdettweiler [2013-04-06 21:10:50] 767*2^1244096-1 is not prime. Res64: 8D4D9CFC1DFF01C1 Time : 0.0 sec. user=mdettweiler [2013-04-06 21:10:51] 803*2^1244096-1 is not prime. Res64: D4B14537CFAF9EB0 Time : 0.0 sec. user=juhehe [2013-04-06 21:22:09] 763*2^1244095-1 is not prime. Res64: 9926A66BB90D9671 Time : 0.0 sec. user=mdettweiler [2013-04-06 21:28:58] 873*2^1244096-1 is not prime. Res64: 05F99DD17FAA3249 Time : 0.0 sec. user=mdettweiler [2013-04-06 21:28:59] 923*2^1244096-1 is not prime. Res64: 120A8B6F15DF6109 Time : 0.0 sec. user=mdettweiler [2013-04-06 21:28:59] 969*2^1244096-1 is not prime. Res64: 1BBC47ACF76D4C9C Time : 0.0 sec. user=mdettweiler [2013-04-06 21:28:59] 639*2^1244097-1 is not prime. Res64: 1C370F1F032CE8C9 Time : 0.0 sec. user=vaughan [2013-04-06 21:31:47] 855*2^1244096-1 is not prime. Res64: 47C11791052FE70A Time : 0.0 sec. user=mdettweiler [2013-04-06 21:47:06] 681*2^1244097-1 is not prime. Res64: 67E700CD98E2538F Time : 0.0 sec. user=mdettweiler [2013-04-06 21:47:06] 777*2^1244097-1 is not prime. Res64: 0BBB4CD1A58F88A8 Time : 0.0 sec. user=mdettweiler [2013-04-06 21:47:07] 647*2^1244098-1 is not prime. Res64: 725FDA8028A91B9F Time : 0.0 sec. user=mdettweiler [2013-04-06 21:47:07] 663*2^1244098-1 is not prime. Res64: B6E1F7F68EE7C9CA Time : 0.0 sec. user=mdettweiler [2013-04-06 22:05:21] 773*2^1244098-1 is not prime. Res64: D94F0B53EA91BA44 Time : 0.0 sec. user=mdettweiler [2013-04-06 22:05:21] 827*2^1244098-1 is not prime. Res64: 2A10E2E32C5D70B1 Time : 0.0 sec. user=mdettweiler [2013-04-06 22:05:21] 813*2^1244098-1 is not prime. Res64: 8AD16CC9A29077B1 Time : 0.0 sec. user=mdettweiler [2013-04-06 22:05:22] 861*2^1244098-1 is not prime. Res64: 6549702190F65B4E Time : 0.0 sec. user=juhehe [2013-04-06 22:08:24] 869*2^1244096-1 is not prime. Res64: 2A5894D773DFD3C1 Time : 0.0 sec. user=vaughan [2013-04-06 22:09:46] 705*2^1244098-1 is not prime. Res64: A0E00787468B1E75 Time : 0.0 sec. user=mdettweiler [2013-04-06 22:23:07] 915*2^1244098-1 is not prime. Res64: 8CD61FD9DD604F1A Time : 0.0 sec. user=mdettweiler [2013-04-06 22:23:07] 923*2^1244098-1 is not prime. Res64: 78839CDAAAC4D3D7 Time : 0.0 sec. user=mdettweiler [2013-04-06 22:23:09] 945*2^1244098-1 is not prime. Res64: A78D6AC9A35BAF4E Time : 0.0 sec. user=mdettweiler [2013-04-06 22:23:10] 971*2^1244098-1 is not prime. Res64: B0CEF46674D5FDE9 Time : 0.0 sec. user=mdettweiler [2013-04-06 22:40:37] 695*2^1244100-1 is not prime. Res64: 0574179D8EDD31EB Time : 0.0 sec. user=mdettweiler [2013-04-06 22:40:37] 717*2^1244100-1 is not prime. Res64: 2915F4831F2041D6 Time : 0.0 sec. user=mdettweiler [2013-04-06 22:40:38] 719*2^1244100-1 is not prime. Res64: 5A35BCB47A4E058E Time : 0.0 sec. user=mdettweiler [2013-04-06 22:40:39] 753*2^1244100-1 is not prime. Res64: 23A344215D09D1D1 Time : 0.0 sec. user=vaughan [2013-04-06 22:47:44] 895*2^1244099-1 is not prime. Res64: F9DC48E9C4B21A37 Time : 0.0 sec. user=mdettweiler [2013-04-06 22:58:07] 789*2^1244100-1 is not prime. Res64: 9F932AD9DB8852BC Time : 0.0 sec. user=mdettweiler [2013-04-06 22:58:08] 819*2^1244100-1 is not prime. Res64: E2AFBF0EB6364800 Time : 0.0 sec. user=mdettweiler [2013-04-06 22:58:08] 893*2^1244100-1 is not prime. Res64: 24AE65A8A366EB07 Time : 0.0 sec. user=mdettweiler [2013-04-06 22:58:09] 905*2^1244100-1 is not prime. Res64: F68527DA9BEBDE90 Time : 0.0 sec. user=mdettweiler [2013-04-06 23:15:37] 923*2^1244100-1 is not prime. Res64: F9559EA82A1F5B63 Time : 0.0 sec. user=mdettweiler [2013-04-06 23:15:38] 927*2^1244100-1 is not prime. Res64: 85F530D12D0BFDA3 Time : 0.0 sec. user=mdettweiler [2013-04-06 23:15:39] 959*2^1244100-1 is not prime. Res64: 678C93D4728B71C0 Time : 0.0 sec. user=mdettweiler [2013-04-06 23:15:39] 681*2^1244101-1 is not prime. Res64: BA605C8A32667B94 Time : 0.0 sec. user=vaughan [2013-04-06 23:25:39] 909*2^1244100-1 is not prime. Res64: 3DD4032B4E793E48 Time : 0.0 sec. user=juhehe [2013-04-06 23:31:06] 949*2^1244099-1 is not prime. Res64: 6EE66F50712A5CBF Time : 0.0 sec. user=mdettweiler [2013-04-06 23:33:11] 741*2^1244101-1 is not prime. Res64: 014B4D9E25900C53 Time : 0.0 sec. user=mdettweiler [2013-04-06 23:33:12] 775*2^1244101-1 is not prime. Res64: C9624907133BE34B Time : 0.0 sec. user=mdettweiler [2013-04-06 23:33:12] 889*2^1244101-1 is not prime. Res64: EC3C4EE308B938BE Time : 0.0 sec. user=mdettweiler [2013-04-06 23:33:12] 927*2^1244101-1 is not prime. Res64: 8362BEF37C315D47 Time : 0.0 sec. user=juhehe [2013-04-06 23:39:19] 939*2^1244101-1 is not prime. Res64: 82783DB2C55F5ECD Time : 0.0 sec. user=mdettweiler [2013-04-06 23:50:41] 785*2^1244102-1 is not prime. Res64: 0526B0A0FB688EE3 Time : 0.0 sec. user=mdettweiler [2013-04-06 23:50:42] 791*2^1244102-1 is not prime. Res64: E1901D1E53D2EA9A Time : 0.0 sec. user=mdettweiler [2013-04-06 23:50:42] 825*2^1244102-1 is not prime. Res64: 79FBE84134120E3D Time : 0.0 sec. user=mdettweiler [2013-04-06 23:50:43] 831*2^1244102-1 is not prime. Res64: D5C95DEE75CCEE31 Time : 0.0 sec.