user=mdettweiler [2012-12-02 00:11:49] 827*2^1236682-1 is not prime. Res64: DEE9293156B53E18 Time : 0.0 sec. user=mdettweiler [2012-12-02 00:11:51] 833*2^1236682-1 is not prime. Res64: 60720B8E6C010F3F Time : 0.0 sec. user=mdettweiler [2012-12-02 00:13:39] 885*2^1236682-1 is not prime. Res64: 256270A3589C36EF Time : 0.0 sec. user=mdettweiler [2012-12-02 00:13:42] 915*2^1236683-1 is not prime. Res64: 200326E55C459F72 Time : 0.0 sec. user=mdettweiler [2012-12-02 00:29:13] 969*2^1236683-1 is not prime. Res64: DB3EED94F5C72136 Time : 0.0 sec. user=mdettweiler [2012-12-02 00:29:15] 993*2^1236683-1 is not prime. Res64: C8CFEE08642EB7B2 Time : 0.0 sec. user=mdettweiler [2012-12-02 00:31:04] 683*2^1236684-1 is not prime. Res64: 71F1CDEBA89081AF Time : 0.0 sec. user=mdettweiler [2012-12-02 00:31:05] 765*2^1236684-1 is not prime. Res64: 19840765A808BDD6 Time : 0.0 sec. user=mdettweiler [2012-12-02 00:46:47] 857*2^1236684-1 is not prime. Res64: 4EB213B0922B3900 Time : 0.0 sec. user=mdettweiler [2012-12-02 00:46:50] 863*2^1236684-1 is not prime. Res64: D91101126F454B89 Time : 0.0 sec. user=mdettweiler [2012-12-02 00:48:24] 909*2^1236684-1 is not prime. Res64: 2205A8085FD7C354 Time : 0.0 sec. user=mdettweiler [2012-12-02 00:48:32] 915*2^1236684-1 is not prime. Res64: 96D379702F4F2C7E Time : 0.0 sec. user=mdettweiler [2012-12-02 01:04:25] 651*2^1236685-1 is not prime. Res64: 56CEA41B6AF59620 Time : 0.0 sec. user=mdettweiler [2012-12-02 01:04:25] 859*2^1236685-1 is not prime. Res64: 96F9495F6D25FE7E Time : 0.0 sec. user=mdettweiler [2012-12-02 01:06:13] 617*2^1236686-1 is not prime. Res64: AE14772F9B371908 Time : 0.0 sec. user=mdettweiler [2012-12-02 01:06:14] 623*2^1236686-1 is not prime. Res64: 0D436043D8A3ED4B Time : 0.0 sec. user=mdettweiler [2012-12-02 01:21:47] 815*2^1236686-1 is not prime. Res64: 112C299144D6394E Time : 0.0 sec. user=mdettweiler [2012-12-02 01:21:48] 851*2^1236686-1 is not prime. Res64: 71837141EB4D1ECA Time : 0.0 sec. user=mdettweiler [2012-12-02 01:23:31] 893*2^1236686-1 is not prime. Res64: 2DD4DBE45EC429E2 Time : 0.0 sec. user=mdettweiler [2012-12-02 01:23:32] 945*2^1236686-1 is not prime. Res64: 86B4B6BD10E64848 Time : 0.0 sec. user=mdettweiler [2012-12-02 01:39:14] 957*2^1236686-1 is not prime. Res64: 3617698F0BAD9075 Time : 0.0 sec. user=mdettweiler [2012-12-02 01:39:15] 963*2^1236686-1 is not prime. Res64: 498F0A5206309BEF Time : 0.0 sec. user=mdettweiler [2012-12-02 01:40:49] 649*2^1236687-1 is not prime. Res64: 5AE1FA80349FC42F Time : 0.0 sec. user=mdettweiler [2012-12-02 01:40:49] 651*2^1236687-1 is not prime. Res64: D43FAF6F95A74DF9 Time : 0.0 sec. user=juhehe [2012-12-02 01:55:44] 603*2^1236686-1 is not prime. Res64: 0D663C8F61A458B4 Time : 0.0 sec. user=mdettweiler [2012-12-02 01:56:32] 705*2^1236687-1 is not prime. Res64: 41A7E74E980EC10E Time : 0.0 sec. user=mdettweiler [2012-12-02 01:56:33] 805*2^1236687-1 is not prime. Res64: A69CE74A35B3E412 Time : 0.0 sec. user=mdettweiler [2012-12-02 01:58:06] 873*2^1236687-1 is not prime. Res64: 2B286F9E7102925A Time : 0.0 sec. user=mdettweiler [2012-12-02 01:58:07] 979*2^1236687-1 is not prime. Res64: 6842218B4F9A0449 Time : 0.0 sec. user=mdettweiler [2012-12-02 02:13:50] 645*2^1236688-1 is not prime. Res64: AC1392CFB280DA87 Time : 0.0 sec. user=mdettweiler [2012-12-02 02:13:51] 665*2^1236688-1 is not prime. Res64: 761D3C5DD3BD6F24 Time : 0.0 sec. user=mdettweiler [2012-12-02 02:15:25] 723*2^1236688-1 is not prime. Res64: F806D055D6DD9C66 Time : 0.0 sec. user=mdettweiler [2012-12-02 02:15:27] 743*2^1236688-1 is not prime. Res64: D29B47FE5ADB6195 Time : 0.0 sec. user=mdettweiler [2012-12-02 02:31:17] 755*2^1236688-1 is not prime. Res64: C6BBDCC12C891440 Time : 0.0 sec. user=mdettweiler [2012-12-02 02:31:22] 933*2^1236688-1 is not prime. Res64: 23CE1238C1A502A9 Time : 0.0 sec. user=mdettweiler [2012-12-02 02:32:44] 691*2^1236689-1 is not prime. Res64: 547062A5D705A744 Time : 0.0 sec. user=mdettweiler [2012-12-02 02:32:47] 787*2^1236689-1 is not prime. Res64: 7F75F66BA46D4CDF Time : 0.0 sec. user=mdettweiler [2012-12-02 02:49:10] 795*2^1236689-1 is not prime. Res64: E924A299E9426B04 Time : 0.0 sec. user=mdettweiler [2012-12-02 02:49:14] 829*2^1236689-1 is not prime. Res64: B7F1A2B66D7CCE39 Time : 0.0 sec. user=mdettweiler [2012-12-02 02:50:11] 837*2^1236689-1 is not prime. Res64: B353E24691F135DE Time : 0.0 sec. user=mdettweiler [2012-12-02 02:50:12] 907*2^1236689-1 is not prime. Res64: 2D2664D039D0639C Time : 0.0 sec. user=juhehe [2012-12-02 03:02:53] 615*2^1236688-1 is not prime. Res64: 9AF373487F34FDEB Time : 0.0 sec. user=mdettweiler [2012-12-02 03:06:48] 931*2^1236689-1 is not prime. Res64: 7B471C0A8C05D3B1 Time : 0.0 sec. user=mdettweiler [2012-12-02 03:18:11] 917*2^1236690-1 is not prime. Res64: 660498002E473D3C Time : 0.0 sec. user=mdettweiler [2012-12-02 03:18:13] 833*2^1236690-1 is not prime. Res64: 7F0BB6C80ADCC109 Time : 0.0 sec. user=mdettweiler [2012-12-02 03:18:15] 971*2^1236690-1 is not prime. Res64: C5C349F9B4C61A06 Time : 0.0 sec. user=mdettweiler [2012-12-02 03:35:41] 617*2^1236692-1 is not prime. Res64: 23FD6A3148032C92 Time : 0.0 sec. user=mdettweiler [2012-12-02 03:35:44] 687*2^1236692-1 is not prime. Res64: AC0647355AE26757 Time : 0.0 sec. user=mdettweiler [2012-12-02 03:35:46] 725*2^1236692-1 is not prime. Res64: F6C4E860F1C7B024 Time : 0.0 sec. user=mdettweiler [2012-12-02 03:35:47] 735*2^1236692-1 is not prime. Res64: 3DA4605829C359CB Time : 0.0 sec. user=mdettweiler [2012-12-02 03:53:20] 813*2^1236692-1 is not prime. Res64: 1015CC5FFAEF7B72 Time : 0.0 sec. user=mdettweiler [2012-12-02 03:53:20] 875*2^1236692-1 is not prime. Res64: 3EA6727597D199E2 Time : 0.0 sec. user=mdettweiler [2012-12-02 03:53:21] 915*2^1236692-1 is not prime. Res64: 961D9190A00B427A Time : 0.0 sec. user=mdettweiler [2012-12-02 03:53:22] 995*2^1236692-1 is not prime. Res64: 2676D84E9816315B Time : 0.0 sec. user=juhehe [2012-12-02 04:10:33] 861*2^1236691-1 is not prime. Res64: 49297DF49E4CB3F8 Time : 0.0 sec. user=mdettweiler [2012-12-02 04:10:40] 607*2^1236693-1 is not prime. Res64: 57AC1A5B57BF6D26 Time : 0.0 sec. user=mdettweiler [2012-12-02 04:10:43] 747*2^1236693-1 is not prime. Res64: 17FA854356EC5E51 Time : 0.0 sec. user=mdettweiler [2012-12-02 04:10:46] 819*2^1236693-1 is not prime. Res64: 62FCE98A3A1F63E0 Time : 0.0 sec. user=mdettweiler [2012-12-02 04:10:49] 937*2^1236693-1 is not prime. Res64: 68058E0C57489423 Time : 0.0 sec. user=mdettweiler [2012-12-02 04:28:09] 651*2^1236694-1 is not prime. Res64: B6F4592E1BF12855 Time : 0.0 sec. user=mdettweiler [2012-12-02 04:28:10] 831*2^1236694-1 is not prime. Res64: 5E16ABA50FAD51B3 Time : 0.0 sec. user=mdettweiler [2012-12-02 04:28:11] 833*2^1236694-1 is not prime. Res64: DCBB1053613E6E4E Time : 0.0 sec. user=mdettweiler [2012-12-02 04:28:12] 863*2^1236694-1 is not prime. Res64: F1C31F8E8A734347 Time : 0.0 sec. user=mdettweiler [2012-12-02 04:45:28] 887*2^1236694-1 is not prime. Res64: CACD336FCA76FEAE Time : 0.0 sec. user=mdettweiler [2012-12-02 04:45:29] 965*2^1236694-1 is not prime. Res64: 583EDF1F44036474 Time : 0.0 sec. user=mdettweiler [2012-12-02 04:45:30] 983*2^1236694-1 is not prime. Res64: 36501303F134F36C Time : 0.0 sec. user=mdettweiler [2012-12-02 04:45:32] 993*2^1236694-1 is not prime. Res64: BF7127DBAC3252B6 Time : 0.0 sec. user=mdettweiler [2012-12-02 05:02:56] 909*2^1236695-1 is not prime. Res64: 2380196F2DADAEDE Time : 0.0 sec. user=mdettweiler [2012-12-02 05:03:01] 913*2^1236695-1 is not prime. Res64: 6470AA0567CA15E3 Time : 0.0 sec. user=mdettweiler [2012-12-02 05:03:08] 627*2^1236696-1 is not prime. Res64: 3C958A5460395A21 Time : 0.0 sec. user=gd_barnes [2012-12-02 05:10:17] 799*2^1236695-1 is not prime. Res64: B12FB6D19594EF06 Time : 0.0 sec. user=juhehe [2012-12-02 05:17:57] 949*2^1236693-1 is not prime. Res64: 008D96AB60DF2ADC Time : 0.0 sec. user=mdettweiler [2012-12-02 05:21:00] 735*2^1236696-1 is not prime. Res64: 0F36518D73E2A4F3 Time : 0.0 sec. user=mdettweiler [2012-12-02 05:21:00] 773*2^1236696-1 is not prime. Res64: FE7A9ED40B094D77 Time : 0.0 sec. user=mdettweiler [2012-12-02 05:21:04] 707*2^1236696-1 is not prime. Res64: 8542449E55967BD5 Time : 0.0 sec. user=mdettweiler [2012-12-02 05:38:21] 639*2^1236697-1 is not prime. Res64: B8B89D73617941B4 Time : 0.0 sec. user=mdettweiler [2012-12-02 05:38:21] 801*2^1236697-1 is not prime. Res64: AB67785F7943303B Time : 0.0 sec. user=mdettweiler [2012-12-02 05:38:23] 875*2^1236696-1 is not prime. Res64: 09A44834AE01BDB2 Time : 0.0 sec. user=mdettweiler [2012-12-02 05:38:24] 917*2^1236696-1 is not prime. Res64: 98CE579B277BF1BC Time : 0.0 sec. user=mdettweiler [2012-12-02 05:55:42] 817*2^1236697-1 is not prime. Res64: CC2323BB400A6D84 Time : 0.0 sec. user=mdettweiler [2012-12-02 05:55:42] 831*2^1236697-1 is not prime. Res64: 66D9485585C32DCB Time : 0.0 sec. user=mdettweiler [2012-12-02 05:55:42] 895*2^1236697-1 is not prime. Res64: 114DEBDABD1D4737 Time : 0.0 sec. user=mdettweiler [2012-12-02 05:55:43] 939*2^1236697-1 is not prime. Res64: 4E31F6D93597A5E8 Time : 0.0 sec. user=mdettweiler [2012-12-02 06:13:00] 705*2^1236698-1 is not prime. Res64: 2B6A9D59631794B6 Time : 0.0 sec. user=mdettweiler [2012-12-02 06:13:03] 707*2^1236698-1 is not prime. Res64: F9137F3FE2E1C224 Time : 0.0 sec. user=mdettweiler [2012-12-02 06:13:05] 843*2^1236698-1 is not prime. Res64: 7DAB55BA525C9FA9 Time : 0.0 sec. user=mdettweiler [2012-12-02 06:13:08] 857*2^1236698-1 is not prime. Res64: 7AC5D3B319EE94FF Time : 0.0 sec. user=mdettweiler [2012-12-02 06:30:35] 971*2^1236698-1 is not prime. Res64: 5838099AAE5C20AC Time : 0.0 sec. user=mdettweiler [2012-12-02 06:30:35] 741*2^1236699-1 is not prime. Res64: 658E6163A4286BDC Time : 0.0 sec. user=mdettweiler [2012-12-02 06:30:38] 861*2^1236699-1 is not prime. Res64: 95A4B60DBFCC8015 Time : 0.0 sec. user=mdettweiler [2012-12-02 06:30:38] 609*2^1236700-1 is not prime. Res64: ACA0435158F6FD8F Time : 0.0 sec. user=mdettweiler [2012-12-02 06:47:56] 813*2^1236700-1 is not prime. Res64: 4AF7A7B4C805289F Time : 0.0 sec. user=mdettweiler [2012-12-02 06:47:56] 839*2^1236700-1 is not prime. Res64: 3C936A8073CD4D02 Time : 0.0 sec. user=mdettweiler [2012-12-02 06:47:57] 863*2^1236700-1 is not prime. Res64: C2F5880036C3251D Time : 0.0 sec. user=mdettweiler [2012-12-02 06:47:58] 927*2^1236700-1 is not prime. Res64: 79F44CA61D5A1F5C Time : 0.0 sec. user=mdettweiler [2012-12-02 07:05:14] 975*2^1236700-1 is not prime. Res64: 6D4C3EA5EEA2FE64 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:05:15] 631*2^1236701-1 is not prime. Res64: 1E616BB15EADC228 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:05:17] 627*2^1236701-1 is not prime. Res64: 8F989337151967E4 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:05:17] 745*2^1236701-1 is not prime. Res64: 448A57D1A773A805 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:23:10] 789*2^1236701-1 is not prime. Res64: F2A90AF65B79F28E Time : 0.0 sec. user=mdettweiler [2012-12-02 07:23:11] 837*2^1236701-1 is not prime. Res64: CB1ED558C97A0618 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:23:11] 805*2^1236701-1 is not prime. Res64: 6DA64C0D36B4A7F3 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:23:12] 855*2^1236701-1 is not prime. Res64: 24F66D37FADAFA71 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:40:33] 951*2^1236701-1 is not prime. Res64: 4F11A49C2AFA1F3F Time : 0.0 sec. user=mdettweiler [2012-12-02 07:40:34] 627*2^1236702-1 is not prime. Res64: 70B315BB964A74D2 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:40:37] 683*2^1236702-1 is not prime. Res64: E67FE0D188CA8171 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:40:38] 711*2^1236702-1 is not prime. Res64: F1EE543E9024C6AA Time : 0.0 sec. user=mdettweiler [2012-12-02 07:57:51] 863*2^1236702-1 is not prime. Res64: 46EA9533CFBAE874 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:57:52] 875*2^1236702-1 is not prime. Res64: BFEE44F62E48F293 Time : 0.0 sec. user=mdettweiler [2012-12-02 07:57:55] 941*2^1236702-1 is not prime. Res64: 1C8FEEA7B0D27A6B Time : 0.0 sec. user=mdettweiler [2012-12-02 07:57:55] 965*2^1236702-1 is not prime. Res64: A6395A64304BBB5C Time : 0.0 sec. user=mdettweiler [2012-12-02 08:15:10] 983*2^1236702-1 is not prime. Res64: A21B2553FEB6CC3E Time : 0.0 sec. user=mdettweiler [2012-12-02 08:15:15] 603*2^1236703-1 is not prime. Res64: 4CD279B1F29FDD60 Time : 0.0 sec. user=mdettweiler [2012-12-02 08:15:16] 679*2^1236703-1 is not prime. Res64: 66375F2B5D6C56DB Time : 0.0 sec. user=mdettweiler [2012-12-02 08:15:20] 765*2^1236703-1 is not prime. Res64: B6BA7D771F72760D Time : 0.0 sec. user=juhehe [2012-12-02 08:31:48] 791*2^1236702-1 is not prime. Res64: A81FE902C1F2AC07 Time : 0.0 sec. user=mdettweiler [2012-12-02 08:32:54] 855*2^1236703-1 is not prime. Res64: 7C9E5198C551391C Time : 0.0 sec. user=mdettweiler [2012-12-02 08:32:54] 895*2^1236703-1 is not prime. Res64: F53C2E9A4782CD24 Time : 0.0 sec. user=mdettweiler [2012-12-02 08:32:54] 861*2^1236703-1 is not prime. Res64: E013038579012C85 Time : 0.0 sec. user=mdettweiler [2012-12-02 08:32:55] 913*2^1236703-1 is not prime. Res64: 1E2A2B5BD2937A4B Time : 0.0 sec. user=mdettweiler [2012-12-02 08:50:13] 933*2^1236703-1 is not prime. Res64: C43024C40D7AE7B7 Time : 0.0 sec. user=mdettweiler [2012-12-02 08:50:14] 665*2^1236704-1 is not prime. Res64: 72E2B05D3E2EE203 Time : 0.0 sec. user=mdettweiler [2012-12-02 08:50:16] 743*2^1236704-1 is not prime. Res64: 3D9FC2185D0C5D10 Time : 0.0 sec. user=mdettweiler [2012-12-02 08:50:17] 773*2^1236704-1 is not prime. Res64: 682E668953B466B8 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:07:31] 727*2^1236705-1 is not prime. Res64: 7B0FE1D43466B8EB Time : 0.0 sec. user=mdettweiler [2012-12-02 09:07:35] 891*2^1236705-1 is not prime. Res64: D3000C4F9648DACE Time : 0.0 sec. user=mdettweiler [2012-12-02 09:07:36] 937*2^1236705-1 is not prime. Res64: 0328533F561D6320 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:07:39] 975*2^1236705-1 is not prime. Res64: 39E6554914E09023 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:25:16] 617*2^1236706-1 is not prime. Res64: 4139A134B2F373D9 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:25:17] 695*2^1236706-1 is not prime. Res64: 01F8A18558519FF0 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:25:21] 803*2^1236706-1 is not prime. Res64: 9B74F0A9E97FE7B2 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:25:22] 813*2^1236706-1 is not prime. Res64: 762D648FFA21BC4F Time : 0.0 sec. user=mdettweiler [2012-12-02 09:42:38] 911*2^1236706-1 is not prime. Res64: 9063E52879BDCE39 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:42:38] 655*2^1236707-1 is not prime. Res64: 11C8217CB931755B Time : 0.0 sec. user=mdettweiler [2012-12-02 09:42:39] 703*2^1236707-1 is not prime. Res64: 0DFAE2A3EEEAFC25 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:42:39] 711*2^1236707-1 is not prime. Res64: A25B978EEDBD9483 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:59:56] 799*2^1236707-1 is not prime. Res64: DE2680CD2EF66149 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:59:56] 813*2^1236707-1 is not prime. Res64: 5DF6FDC949C94CD4 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:59:56] 843*2^1236707-1 is not prime. Res64: 53DFE7D5F4ADB791 Time : 0.0 sec. user=mdettweiler [2012-12-02 09:59:57] 885*2^1236707-1 is not prime. Res64: 7C9D6852EE7A318A Time : 0.0 sec. user=mdettweiler [2012-12-02 10:17:14] 889*2^1236707-1 is not prime. Res64: D877E75066849DFE Time : 0.0 sec. user=mdettweiler [2012-12-02 10:17:15] 639*2^1236708-1 is not prime. Res64: 7D3F4D2E5D9C09EB Time : 0.0 sec. user=mdettweiler [2012-12-02 10:17:15] 909*2^1236707-1 is not prime. Res64: 174CA28DC6BF529C Time : 0.0 sec. user=mdettweiler [2012-12-02 10:17:15] 707*2^1236708-1 is not prime. Res64: 335625EB0DE65E18 Time : 0.0 sec. user=mdettweiler [2012-12-02 10:34:43] 893*2^1236708-1 is not prime. Res64: 94C622C8392E49B0 Time : 0.0 sec. user=mdettweiler [2012-12-02 10:34:44] 909*2^1236708-1 is not prime. Res64: C84C3204739D61E1 Time : 0.0 sec. user=mdettweiler [2012-12-02 10:34:44] 819*2^1236708-1 is not prime. Res64: 3D64D86CE7746152 Time : 0.0 sec. user=mdettweiler [2012-12-02 10:34:45] 615*2^1236709-1 is not prime. Res64: 57693B1B21BAA1E2 Time : 0.0 sec. user=mdettweiler [2012-12-02 10:52:03] 999*2^1236709-1 is not prime. Res64: DD146EE8B734E6B9 Time : 0.0 sec. user=mdettweiler [2012-12-02 10:52:03] 675*2^1236710-1 is not prime. Res64: 2F0B4A9C2ED3B73E Time : 0.0 sec. user=mdettweiler [2012-12-02 10:52:05] 801*2^1236710-1 is not prime. Res64: 4692B8ABFAC8F3D2 Time : 0.0 sec. user=mdettweiler [2012-12-02 10:52:06] 833*2^1236710-1 is not prime. Res64: 5A8E244710A6F588 Time : 0.0 sec. user=mdettweiler [2012-12-02 11:09:23] 1001*2^1236710-1 is not prime. Res64: CDE7D82133D030CC Time : 0.0 sec. user=mdettweiler [2012-12-02 11:09:26] 849*2^1236711-1 is not prime. Res64: 5EF2C92E5F24BA7D Time : 0.0 sec. user=mdettweiler [2012-12-02 11:09:29] 885*2^1236711-1 is not prime. Res64: 9598E12F4F15BA09 Time : 0.0 sec. user=mdettweiler [2012-12-02 11:09:32] 999*2^1236711-1 is not prime. Res64: C7192056759A0C36 Time : 0.0 sec. user=mdettweiler [2012-12-02 11:27:13] 639*2^1236712-1 is not prime. Res64: B8E6A1C11E2D2461 Time : 0.0 sec. user=mdettweiler [2012-12-02 11:27:13] 665*2^1236712-1 is not prime. Res64: 07C79F1F08A914D8 Time : 0.0 sec. user=mdettweiler [2012-12-02 11:36:15] 675*2^1236712-1 is not prime. Res64: 1E9F25511A5594C1 Time : 0.0 sec. user=mdettweiler [2012-12-02 11:36:16] 723*2^1236712-1 is not prime. Res64: E060BE905731585F Time : 0.0 sec. user=mdettweiler [2012-12-02 11:44:41] 803*2^1236712-1 is not prime. Res64: 2EABE96930C901DF Time : 0.0 sec. user=mdettweiler [2012-12-02 11:44:41] 715*2^1236713-1 is not prime. Res64: BB5F5B1E061F6685 Time : 0.0 sec. user=juhehe [2012-12-02 11:45:31] 897*2^1236710-1 is not prime. Res64: A1490C113667E048 Time : 0.0 sec. user=mdettweiler [2012-12-02 11:53:40] 729*2^1236713-1 is not prime. Res64: 27FA8B8C89A4F148 Time : 0.0 sec. user=mdettweiler [2012-12-02 11:53:40] 735*2^1236713-1 is not prime. Res64: 9919153A50D5DE05 Time : 0.0 sec. user=mdettweiler [2012-12-02 12:02:04] 747*2^1236713-1 is not prime. Res64: F5786F93A25D61E7 Time : 0.0 sec. user=mdettweiler [2012-12-02 12:02:06] 811*2^1236713-1 is not prime. Res64: CC0353C7EEF1CA40 Time : 0.0 sec. user=mdettweiler [2012-12-02 12:11:01] 889*2^1236713-1 is not prime. Res64: EB9FE35E439C52D3 Time : 0.0 sec. user=mdettweiler [2012-12-02 12:11:05] 939*2^1236713-1 is not prime. Res64: 7FA5A371E0F531E4 Time : 0.0 sec. user=mdettweiler [2012-12-02 12:19:33] 949*2^1236713-1 is not prime. Res64: EB5E5A0286EFC15A Time : 0.0 sec. user=mdettweiler [2012-12-02 12:19:34] 723*2^1236714-1 is not prime. Res64: 6F30028ADEE9C184 Time : 0.0 sec. user=mdettweiler [2012-12-02 12:28:37] 731*2^1236714-1 is not prime. Res64: A3F12E954FF9BC0A Time : 0.0 sec. user=mdettweiler [2012-12-02 12:28:38] 625*2^1236715-1 is not prime. Res64: 288615BAD8D23153 Time : 0.0 sec. user=mdettweiler [2012-12-02 12:37:02] 633*2^1236715-1 is not prime. Res64: B04576CD9DAC8733 Time : 0.0 sec. user=mdettweiler [2012-12-02 12:37:02] 751*2^1236715-1 is not prime. Res64: 842230B851928ED4 Time : 0.0 sec. user=mdettweiler [2012-12-02 12:45:57] 759*2^1236715-1 is not prime. Res64: EBF684CAD1433FAC Time : 0.0 sec. user=mdettweiler [2012-12-02 12:45:58] 789*2^1236715-1 is not prime. Res64: A5F65E99AACA212F Time : 0.0 sec. user=mdettweiler [2012-12-02 12:54:23] 859*2^1236715-1 is not prime. Res64: 69760AF274C2C037 Time : 0.0 sec. user=mdettweiler [2012-12-02 12:54:24] 925*2^1236715-1 is not prime. Res64: ED395AC244159066 Time : 0.0 sec. user=mdettweiler [2012-12-02 13:03:30] 985*2^1236715-1 is not prime. Res64: 42F176F13DD327AC Time : 0.0 sec. user=mdettweiler [2012-12-02 13:03:32] 693*2^1236716-1 is not prime. Res64: 1170D1D5E36E970E Time : 0.0 sec. user=mdettweiler [2012-12-02 13:32:34] 945*2^1236716-1 is not prime. Res64: 6BDE1E18AE3D7242 Time : 0.0 sec. user=mdettweiler [2012-12-02 13:32:35] 601*2^1236717-1 is not prime. Res64: 990C9E14C0589229 Time : 0.0 sec. user=mdettweiler [2012-12-02 13:50:31] 711*2^1236717-1 is not prime. Res64: 7C41E74B22984241 Time : 0.0 sec. user=mdettweiler [2012-12-02 13:50:32] 747*2^1236717-1 is not prime. Res64: 92E888A91ECAE5A7 Time : 0.0 sec. user=mdettweiler [2012-12-02 14:31:55] 751*2^1236717-1 is not prime. Res64: 1CAA70F292355040 Time : 0.0 sec. user=mdettweiler [2012-12-02 14:31:56] 837*2^1236717-1 is not prime. Res64: 5C4969258DD5FB6F Time : 0.0 sec. user=mdettweiler [2012-12-02 14:49:32] 773*2^1236718-1 is not prime. Res64: 09908DB77734A64F Time : 0.0 sec. user=mdettweiler [2012-12-02 14:49:32] 791*2^1236718-1 is not prime. Res64: 6D44E4F90DF4A2D5 Time : 0.0 sec. user=juhehe [2012-12-02 15:00:02] 605*2^1236718-1 is not prime. Res64: 337D1AF3BCCFD548 Time : 0.0 sec. user=mdettweiler [2012-12-02 15:07:07] 857*2^1236718-1 is not prime. Res64: 7C695FD668338CB1 Time : 0.0 sec. user=mdettweiler [2012-12-02 15:07:09] 911*2^1236718-1 is not prime. Res64: D4C4D45D4ECB76BD Time : 0.0 sec. user=mdettweiler [2012-12-02 15:24:51] 957*2^1236718-1 is not prime. Res64: 712FEF629ECE504B Time : 0.0 sec. user=mdettweiler [2012-12-02 15:24:51] 971*2^1236718-1 is not prime. Res64: 0D9C9C059EC47A5B Time : 0.0 sec. user=mdettweiler [2012-12-02 15:42:26] 693*2^1236719-1 is not prime. Res64: 4B4BC2CA3402C5C7 Time : 0.0 sec. user=mdettweiler [2012-12-02 15:42:26] 763*2^1236719-1 is not prime. Res64: B8878A55A75238D8 Time : 0.0 sec. user=mdettweiler [2012-12-02 16:00:02] 825*2^1236719-1 is not prime. Res64: A6C9AA94DF1E2423 Time : 0.0 sec. user=mdettweiler [2012-12-02 16:00:03] 859*2^1236719-1 is not prime. Res64: E31479549B2C7344 Time : 0.0 sec. user=mdettweiler [2012-12-02 16:09:12] 749*2^1236716-1 is not prime. Res64: 7FDD6E76CDFC2131 Time : 0.0 sec. user=mdettweiler [2012-12-02 16:09:13] 927*2^1236716-1 is not prime. Res64: E642307FC559164D Time : 0.0 sec. user=mdettweiler [2012-12-02 16:17:33] 861*2^1236719-1 is not prime. Res64: 1F55EAB1A630E8C9 Time : 0.0 sec. user=mdettweiler [2012-12-02 16:17:35] 889*2^1236719-1 is not prime. Res64: 8A5A3160AA430BFD Time : 0.0 sec. user=mdettweiler [2012-12-02 16:26:42] 943*2^1236719-1 is not prime. Res64: 7FBDAD877687969B Time : 0.0 sec. user=mdettweiler [2012-12-02 16:26:43] 979*2^1236719-1 is not prime. Res64: 3F533EA9DDB5DF78 Time : 0.0 sec. user=mdettweiler [2012-12-02 16:35:37] 627*2^1236720-1 is not prime. Res64: A0583B2F69C27707 Time : 0.0 sec. user=mdettweiler [2012-12-02 16:35:37] 695*2^1236720-1 is not prime. Res64: 33412C9AE53C812B Time : 0.0 sec. user=mdettweiler [2012-12-02 16:44:03] 723*2^1236720-1 is not prime. Res64: AA4D1D07D7EB10A0 Time : 0.0 sec. user=mdettweiler [2012-12-02 16:44:03] 779*2^1236720-1 is not prime. Res64: 885A4FBF9BE04DDA Time : 0.0 sec. user=mdettweiler [2012-12-02 16:52:57] 899*2^1236720-1 is not prime. Res64: E16FA8F48322A9ED Time : 0.0 sec. user=mdettweiler [2012-12-02 16:52:57] 959*2^1236720-1 is not prime. Res64: CE4289164004AA35 Time : 0.0 sec. user=mdettweiler [2012-12-02 17:01:29] 637*2^1236721-1 is not prime. Res64: 51AB1335A185BD98 Time : 0.0 sec. user=mdettweiler [2012-12-02 17:01:32] 649*2^1236721-1 is not prime. Res64: E66638F012A7F289 Time : 0.0 sec. user=mdettweiler [2012-12-02 17:10:17] 751*2^1236721-1 is not prime. Res64: FD04E9E112489A98 Time : 0.0 sec. user=mdettweiler [2012-12-02 17:10:18] 829*2^1236721-1 is not prime. Res64: 8A8B287D9C673445 Time : 0.0 sec. user=mdettweiler [2012-12-02 17:19:10] 999*2^1236721-1 is not prime. Res64: CBB57B847EE41919 Time : 0.0 sec. user=mdettweiler [2012-12-02 17:19:12] 675*2^1236722-1 is not prime. Res64: 3AFFADDFA440D6C6 Time : 0.0 sec. user=mdettweiler [2012-12-02 17:27:45] 767*2^1236722-1 is not prime. Res64: 1F8D70B8F0BB7AE5 Time : 0.0 sec. user=mdettweiler [2012-12-02 17:27:46] 813*2^1236722-1 is not prime. Res64: 8B2D818C8BA37765 Time : 0.0 sec. user=mdettweiler [2012-12-02 17:36:42] 867*2^1236722-1 is not prime. Res64: 36C249504D936E0F Time : 0.0 sec. user=mdettweiler [2012-12-02 17:36:42] 903*2^1236722-1 is not prime. Res64: 00979A9839B955AF Time : 0.0 sec. user=mdettweiler [2012-12-02 17:45:06] 951*2^1236722-1 is not prime. Res64: 9E205C7839AD83BA Time : 0.0 sec. user=mdettweiler [2012-12-02 17:45:07] 953*2^1236722-1 is not prime. Res64: 98F501503FBBBE3B Time : 0.0 sec. user=mdettweiler [2012-12-02 17:54:03] 987*2^1236722-1 is not prime. Res64: A484B793FAF83D84 Time : 0.0 sec. user=mdettweiler [2012-12-02 17:54:04] 745*2^1236723-1 is not prime. Res64: 114423D28F467833 Time : 0.0 sec. user=mdettweiler [2012-12-02 18:02:29] 969*2^1236723-1 is not prime. Res64: EE29F1FC1CB800B8 Time : 0.0 sec. user=mdettweiler [2012-12-02 18:02:30] 609*2^1236724-1 is not prime. Res64: 2D28673378FC48DE Time : 0.0 sec. user=mdettweiler [2012-12-02 18:11:28] 617*2^1236724-1 is not prime. Res64: CDD052C05D13E88C Time : 0.0 sec. user=mdettweiler [2012-12-02 18:11:30] 635*2^1236724-1 is not prime. Res64: D6C97DFAF6C789E2 Time : 0.0 sec. user=mdettweiler [2012-12-02 18:20:16] 677*2^1236724-1 is not prime. Res64: 1BD67B16F6293EA4 Time : 0.0 sec. user=mdettweiler [2012-12-02 18:20:17] 899*2^1236724-1 is not prime. Res64: E6AA2720A4C02925 Time : 0.0 sec. user=mdettweiler [2012-12-02 18:29:07] 969*2^1236724-1 is not prime. Res64: 1B472B98513E12F7 Time : 0.0 sec. user=mdettweiler [2012-12-02 18:29:07] 989*2^1236724-1 is not prime. Res64: DA427EFD08D2AC68 Time : 0.0 sec. user=mdettweiler [2012-12-02 18:37:48] 889*2^1236725-1 is not prime. Res64: C56B3DF51AD28655 Time : 0.0 sec. user=mdettweiler [2012-12-02 18:37:48] 985*2^1236725-1 is not prime. Res64: 0A30C161458CBA67 Time : 0.0 sec. user=mdettweiler [2012-12-02 18:46:28] 657*2^1236726-1 is not prime. Res64: 0C60429C722AE24F Time : 0.0 sec. user=mdettweiler [2012-12-02 18:46:29] 725*2^1236726-1 is not prime. Res64: 844130C4AE5C4EED Time : 0.0 sec. user=mdettweiler [2012-12-02 18:55:09] 741*2^1236726-1 is not prime. Res64: D8ADF1EE7D921869 Time : 0.0 sec. user=mdettweiler [2012-12-02 18:55:10] 825*2^1236726-1 is not prime. Res64: 5EF80DD913AE0983 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:03:49] 861*2^1236726-1 is not prime. Res64: C69FAF6C609EE774 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:03:50] 609*2^1236727-1 is not prime. Res64: B70B58737FFF8F80 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:12:30] 625*2^1236727-1 is not prime. Res64: 7D57703A34D252FD Time : 0.0 sec. user=mdettweiler [2012-12-02 19:12:32] 681*2^1236727-1 is not prime. Res64: F9639A6E3D4A7E18 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:21:16] 735*2^1236727-1 is not prime. Res64: 123390F13ED7C63A Time : 0.0 sec. user=mdettweiler [2012-12-02 19:21:17] 775*2^1236727-1 is not prime. Res64: EB9318CE6DD700D4 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:29:58] 829*2^1236727-1 is not prime. Res64: 6A24000A59592F54 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:29:58] 885*2^1236727-1 is not prime. Res64: C1CABF53E5171630 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:39:02] 933*2^1236727-1 is not prime. Res64: 6B45D29379873844 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:39:03] 973*2^1236727-1 is not prime. Res64: CAF47563CB3A12B3 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:47:19] 975*2^1236727-1 is not prime. Res64: CCFCC32E68F1FC30 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:47:20] 999*2^1236727-1 is not prime. Res64: 8EE6B5ED5488F164 Time : 0.0 sec. user=mdettweiler [2012-12-02 19:56:23] 657*2^1236728-1 is not prime. Res64: 93EDEC72FD57D54F Time : 0.0 sec. user=mdettweiler [2012-12-02 19:56:24] 699*2^1236728-1 is not prime. Res64: B7375F7504053B42 Time : 0.0 sec. user=mdettweiler [2012-12-02 20:04:45] 767*2^1236728-1 is not prime. Res64: E63D035C32AFB88D Time : 0.0 sec. user=mdettweiler [2012-12-02 20:04:47] 777*2^1236728-1 is not prime. Res64: 42A43D10134AAB5D Time : 0.0 sec. user=mdettweiler [2012-12-02 20:13:51] 867*2^1236728-1 is not prime. Res64: 53F97CAACF1BD14E Time : 0.0 sec. user=mdettweiler [2012-12-02 20:13:52] 875*2^1236728-1 is not prime. Res64: 12569EF4C12D852A Time : 0.0 sec. user=mdettweiler [2012-12-02 20:22:30] 927*2^1236728-1 is not prime. Res64: 0F04583E186E386E Time : 0.0 sec. user=mdettweiler [2012-12-02 20:22:31] 969*2^1236728-1 is not prime. Res64: 06242648D8165236 Time : 0.0 sec. user=mdettweiler [2012-12-02 20:31:22] 657*2^1236729-1 is not prime. Res64: 7F1565393F29591D Time : 0.0 sec. user=mdettweiler [2012-12-02 20:31:24] 745*2^1236729-1 is not prime. Res64: 85D851A87B6EEDC6 Time : 0.0 sec. user=mdettweiler [2012-12-02 20:39:53] 759*2^1236729-1 is not prime. Res64: 80AF530E5642F329 Time : 0.0 sec. user=mdettweiler [2012-12-02 20:39:54] 789*2^1236729-1 is not prime. Res64: 44CBFA5522656A81 Time : 0.0 sec. user=mdettweiler [2012-12-02 20:49:01] 835*2^1236729-1 is not prime. Res64: D5245C577103EC1A Time : 0.0 sec. user=mdettweiler [2012-12-02 20:49:01] 605*2^1236730-1 is not prime. Res64: 7700C25B6696E473 Time : 0.0 sec. user=mdettweiler [2012-12-02 20:57:30] 695*2^1236730-1 is not prime. Res64: FD762F889607776C Time : 0.0 sec. user=mdettweiler [2012-12-02 20:57:30] 701*2^1236730-1 is not prime. Res64: B6D4D948D27E9FF8 Time : 0.0 sec. user=mdettweiler [2012-12-02 21:06:42] 933*2^1236730-1 is not prime. Res64: 0682F1727279106A Time : 0.0 sec. user=mdettweiler [2012-12-02 21:06:43] 941*2^1236730-1 is not prime. Res64: 2823244C4DC1A0CA Time : 0.0 sec. user=mdettweiler [2012-12-02 21:15:03] 619*2^1236731-1 is not prime. Res64: 35014F6CB8F25AA6 Time : 0.0 sec. user=mdettweiler [2012-12-02 21:15:13] 711*2^1236731-1 is not prime. Res64: E54B1911D36B13DF Time : 0.0 sec. user=mdettweiler [2012-12-02 21:24:11] 783*2^1236731-1 is not prime. Res64: 2519C4744510ABDD Time : 0.0 sec. user=mdettweiler [2012-12-02 21:24:11] 879*2^1236731-1 is not prime. Res64: 26316821C39B7C4F Time : 0.0 sec. user=mdettweiler [2012-12-02 21:33:06] 895*2^1236731-1 is not prime. Res64: 941E0D0620EA958C Time : 0.0 sec. user=mdettweiler [2012-12-02 21:33:07] 979*2^1236731-1 is not prime. Res64: C14ED7BFDA8374F4 Time : 0.0 sec. user=mdettweiler [2012-12-02 21:41:31] 609*2^1236732-1 is not prime. Res64: 361D240DA8B454E5 Time : 0.0 sec. user=mdettweiler [2012-12-02 21:41:32] 683*2^1236732-1 is not prime. Res64: 813D4C85F45AAF0C Time : 0.0 sec. user=mdettweiler [2012-12-02 21:50:26] 867*2^1236732-1 is not prime. Res64: 3534D5081C7BF4F3 Time : 0.0 sec. user=mdettweiler [2012-12-02 21:50:27] 909*2^1236732-1 is not prime. Res64: 6E05546D40112990 Time : 0.0 sec. user=mdettweiler [2012-12-02 21:58:53] 977*2^1236732-1 is not prime. Res64: 4E55BDA5706D3A12 Time : 0.0 sec. user=mdettweiler [2012-12-02 21:58:53] 685*2^1236733-1 is not prime. Res64: 28AEDFB3390A1EA7 Time : 0.0 sec. user=mdettweiler [2012-12-02 22:07:48] 687*2^1236733-1 is not prime. Res64: 449A604F38052007 Time : 0.0 sec. user=mdettweiler [2012-12-02 22:07:49] 691*2^1236733-1 is not prime. Res64: 77F30777717CF08A Time : 0.0 sec. user=mdettweiler [2012-12-02 22:16:23] 729*2^1236733-1 is not prime. Res64: A723339D67ADDA16 Time : 0.0 sec. user=mdettweiler [2012-12-02 22:16:28] 747*2^1236733-1 is not prime. Res64: 944DF8444272E3BE Time : 0.0 sec. user=mdettweiler [2012-12-02 22:25:18] 751*2^1236733-1 is not prime. Res64: 2303DD7AEB4C9C74 Time : 0.0 sec. user=mdettweiler [2012-12-02 22:25:19] 867*2^1236733-1 is not prime. Res64: B2C0C0BF9701399A Time : 0.0 sec. user=mdettweiler [2012-12-02 22:34:45] 897*2^1236733-1 is not prime. Res64: 63B53667A3279C6C Time : 0.0 sec. user=mdettweiler [2012-12-02 22:34:46] 957*2^1236733-1 is not prime. Res64: 569A98C18B0CC55D Time : 0.0 sec. user=mdettweiler [2012-12-02 22:42:38] 967*2^1236733-1 is not prime. Res64: 12A240F08F605730 Time : 0.0 sec. user=mdettweiler [2012-12-02 22:42:39] 999*2^1236733-1 is not prime. Res64: 67811B341691C099 Time : 0.0 sec. user=mdettweiler [2012-12-02 22:52:03] 615*2^1236734-1 is not prime. Res64: FD69A581FD151305 Time : 0.0 sec. user=mdettweiler [2012-12-02 22:52:04] 623*2^1236734-1 is not prime. Res64: 7FE5F9D44C087A9F Time : 0.0 sec. user=mdettweiler [2012-12-02 22:59:58] 665*2^1236734-1 is not prime. Res64: D95CDD2DA2AF50EC Time : 0.0 sec. user=mdettweiler [2012-12-02 22:59:58] 705*2^1236734-1 is not prime. Res64: 119F004D9A900AE4 Time : 0.0 sec. user=mdettweiler [2012-12-02 23:09:22] 711*2^1236734-1 is not prime. Res64: 978B68F847178842 Time : 0.0 sec. user=mdettweiler [2012-12-02 23:09:23] 755*2^1236734-1 is not prime. Res64: C64511F5F9085745 Time : 0.0 sec. user=mdettweiler [2012-12-02 23:17:16] 875*2^1236734-1 is not prime. Res64: B090231B9F98FA33 Time : 0.0 sec. user=mdettweiler [2012-12-02 23:17:19] 903*2^1236734-1 is not prime. Res64: 24809CE4CB1B83CF Time : 0.0 sec. user=mdettweiler [2012-12-02 23:26:56] 935*2^1236734-1 is not prime. Res64: E0EB0740B5079978 Time : 0.0 sec. user=mdettweiler [2012-12-02 23:26:56] 953*2^1236734-1 is not prime. Res64: 118FB2A1A228DB57 Time : 0.0 sec. user=mdettweiler [2012-12-02 23:34:48] 675*2^1236735-1 is not prime. Res64: 37035A9B29DCEB03 Time : 0.0 sec. user=mdettweiler [2012-12-02 23:34:48] 793*2^1236735-1 is not prime. Res64: EECD173D5AABFB8F Time : 0.0 sec. user=mdettweiler [2012-12-02 23:44:15] 861*2^1236735-1 is not prime. Res64: E8DCA6DA71B91039 Time : 0.0 sec. user=mdettweiler [2012-12-02 23:44:16] 909*2^1236735-1 is not prime. Res64: 4464916D3395DC78 Time : 0.0 sec. user=mdettweiler [2012-12-02 23:52:06] 623*2^1236736-1 is not prime. Res64: CA407345D8C37AA2 Time : 0.0 sec. user=mdettweiler [2012-12-02 23:52:07] 849*2^1236736-1 is not prime. Res64: 76842101840BA4E7 Time : 0.0 sec.