user=mdettweiler
[2015-04-13 00:12:09]
799*2^1397501-1 is not prime.  Res64: F05575846DE4E619  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:12:09]
871*2^1397501-1 is not prime.  Res64: 95B3F4C03534BB57  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:15:14]
907*2^1397501-1 is not prime.  Res64: 982076914AA5E12B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:15:14]
651*2^1397502-1 is not prime.  Res64: F354A7C5D3F7ABE5  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:19:18]
677*2^1397502-1 is not prime.  Res64: 1D59BBC04E569D9B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:19:18]
717*2^1397502-1 is not prime.  Res64: 5BA622E5F6184D64  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:23:47]
767*2^1397502-1 is not prime.  Res64: 391E89134607D05A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:23:48]
1001*2^1397502-1 is not prime.  Res64: 552CF6AD4DFB0FE6  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:40:40]
639*2^1397503-1 is not prime.  Res64: 435ED7639A54D148  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:40:40]
649*2^1397503-1 is not prime.  Res64: 3A4D9C3F4DB6485D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:44:06]
775*2^1397503-1 is not prime.  Res64: FCF49BBA539041A2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:44:07]
883*2^1397503-1 is not prime.  Res64: E9E64AC93BBD856A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:47:33]
915*2^1397503-1 is not prime.  Res64: EA47896B7E8A2F37  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:47:33]
973*2^1397503-1 is not prime.  Res64: 75095574C12D8AFD  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:51:54]
617*2^1397504-1 is not prime.  Res64: 7779D02071B25606  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 00:51:54]
645*2^1397504-1 is not prime.  Res64: C0C6E048BE3FD4DD  Time : 0.0 sec.
user=juhehe
[2015-04-13 01:07:52]
665*2^1397504-1 is not prime.  Res64: 3512902944345EC0  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:08:46]
755*2^1397504-1 is not prime.  Res64: 5A3A2E515FED736D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:08:46]
873*2^1397504-1 is not prime.  Res64: C50B494F21CBC361  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:12:13]
875*2^1397504-1 is not prime.  Res64: 32530C3CC85DD1E4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:12:13]
649*2^1397505-1 is not prime.  Res64: 1377B8BCCBF4ECE4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:15:58]
735*2^1397505-1 is not prime.  Res64: B7A61C7160C03C23  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:15:58]
781*2^1397505-1 is not prime.  Res64: 40DE231CCCA9B751  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:20:48]
805*2^1397505-1 is not prime.  Res64: 1C9FE9AFA09FA884  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:20:49]
915*2^1397505-1 is not prime.  Res64: 9DB01D90524505B3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:37:07]
979*2^1397505-1 is not prime.  Res64: 80AF457F50106208  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:37:07]
723*2^1397506-1 is not prime.  Res64: BB6FCDECBF1BC5AB  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:40:45]
1001*2^1397506-1 is not prime.  Res64: 49031E8176563DBD  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:40:46]
609*2^1397507-1 is not prime.  Res64: C5ECE51BB05ECE36  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:44:06]
643*2^1397507-1 is not prime.  Res64: C2DEC443DCE8E9C8  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:44:06]
703*2^1397507-1 is not prime.  Res64: A5A6C637D4529290  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:49:23]
871*2^1397507-1 is not prime.  Res64: D868763F2DC8F2DD  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 01:49:23]
931*2^1397507-1 is not prime.  Res64: A95130666A52E46E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:05:43]
979*2^1397507-1 is not prime.  Res64: 0ECA1720C6D03392  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:05:43]
819*2^1397508-1 is not prime.  Res64: 058C27D157162F7E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:09:51]
837*2^1397508-1 is not prime.  Res64: 07E3B4BCB579DC18  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:09:52]
899*2^1397508-1 is not prime.  Res64: 3D6849C62C526ED3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:12:37]
969*2^1397508-1 is not prime.  Res64: D6FDE55B577140E9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:12:37]
675*2^1397509-1 is not prime.  Res64: 163127F82BA5BEF6  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:17:57]
757*2^1397509-1 is not prime.  Res64: 170A0B06EFF2C437  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:17:57]
759*2^1397509-1 is not prime.  Res64: CF8163A1AE5E16F6  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:34:18]
771*2^1397509-1 is not prime.  Res64: 854BD47837E08705  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:34:19]
861*2^1397509-1 is not prime.  Res64: ACAA9AC8CB016602  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:39:00]
867*2^1397509-1 is not prime.  Res64: 54F00CD04CF2E937  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:39:00]
895*2^1397509-1 is not prime.  Res64: B6351BF6311DCEAB  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:41:22]
919*2^1397509-1 is not prime.  Res64: 0CA5CFB72DF170E0  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:41:22]
957*2^1397509-1 is not prime.  Res64: F65FDD874000E935  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:46:16]
665*2^1397510-1 is not prime.  Res64: 0961CEDE9A4F3F2A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 02:46:17]
687*2^1397510-1 is not prime.  Res64: CD7577F5DA15C4A1  Time : 0.0 sec.
user=juhehe
[2015-04-13 02:56:14]
711*2^1397510-1 is not prime.  Res64: 65651AE9D3112C45  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:01:49]
761*2^1397510-1 is not prime.  Res64: 36FB4BDA2D6DE9BC  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:01:50]
791*2^1397510-1 is not prime.  Res64: 8596963F75328C1D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:05:09]
801*2^1397510-1 is not prime.  Res64: 36FF610B961DD648  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:05:10]
833*2^1397510-1 is not prime.  Res64: 522E1D88E2D11E53  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:07:32]
971*2^1397510-1 is not prime.  Res64: CF83B6C66133C0C3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:07:33]
601*2^1397511-1 is not prime.  Res64: 4767A7368EA77FA0  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:12:21]
691*2^1397511-1 is not prime.  Res64: 9952AE13DEDFAE7A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:12:22]
861*2^1397511-1 is not prime.  Res64: 26B95B7D3BF3696E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:29:20]
871*2^1397511-1 is not prime.  Res64: C487E8FCD2276156  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:29:22]
901*2^1397511-1 is not prime.  Res64: D6678512F8DA389D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:32:14]
975*2^1397511-1 is not prime.  Res64: 3442A61DB3C65ECA  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:32:15]
603*2^1397512-1 is not prime.  Res64: 6DA053475C3FAC42  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:33:59]
609*2^1397512-1 is not prime.  Res64: 0706D1CBFB4C0C86  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:34:00]
717*2^1397512-1 is not prime.  Res64: 7B8C13DFF3497BF6  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:39:15]
755*2^1397512-1 is not prime.  Res64: C2C4C9282A11B6D3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:39:16]
785*2^1397512-1 is not prime.  Res64: 0AB82FCB7B238ACC  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:55:42]
813*2^1397512-1 is not prime.  Res64: F02CF40831E7C50C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:55:43]
849*2^1397512-1 is not prime.  Res64: A9986CC75A409F2C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:58:19]
855*2^1397512-1 is not prime.  Res64: 090811643E23E700  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 03:58:20]
923*2^1397512-1 is not prime.  Res64: 0C0D86705D80F41A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:00:08]
957*2^1397512-1 is not prime.  Res64: E366335FBA00F265  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:00:08]
685*2^1397513-1 is not prime.  Res64: 8E596FEC0AC83F14  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:05:22]
715*2^1397513-1 is not prime.  Res64: 827517B6AEE38157  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:05:23]
811*2^1397513-1 is not prime.  Res64: 1F526F6757AB7DA2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:21:57]
819*2^1397513-1 is not prime.  Res64: 5E7AF34E675A0293  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:21:57]
951*2^1397513-1 is not prime.  Res64: 4181D09D678AC670  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:24:20]
969*2^1397513-1 is not prime.  Res64: F72CA70AD3E73A88  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:24:21]
991*2^1397513-1 is not prime.  Res64: 96CCBA956FCF4021  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:26:16]
633*2^1397514-1 is not prime.  Res64: 5E871AB09A706A19  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:26:17]
657*2^1397514-1 is not prime.  Res64: 877668F3334D964A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:31:32]
671*2^1397514-1 is not prime.  Res64: 40B7329A722B5112  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:31:32]
705*2^1397514-1 is not prime.  Res64: 19B22EAEB8868DF3  Time : 0.0 sec.
user=juhehe
[2015-04-13 04:45:16]
747*2^1397514-1 is not prime.  Res64: 7739E2E71815C6D3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:47:55]
773*2^1397514-1 is not prime.  Res64: 24F997FF34A550C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:47:56]
797*2^1397514-1 is not prime.  Res64: CBB63E24B54D7FF1  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:50:26]
917*2^1397514-1 is not prime.  Res64: FB20C41C36B2B60A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:50:27]
631*2^1397515-1 is not prime.  Res64: 858E2DC4172AF8E9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:52:14]
861*2^1397515-1 is not prime.  Res64: F1997C706A289B8A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:52:15]
951*2^1397515-1 is not prime.  Res64: 396FDEADD6079B81  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:57:30]
657*2^1397516-1 is not prime.  Res64: E5E543CAABAC2D45  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 04:57:31]
693*2^1397516-1 is not prime.  Res64: 8D393AE184BBFA89  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:14:05]
843*2^1397516-1 is not prime.  Res64: CDCA43ECA95E9796  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:14:06]
903*2^1397516-1 is not prime.  Res64: 0A9B9A29D9E1CBA5  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:16:33]
999*2^1397516-1 is not prime.  Res64: 4F279E71EAF3FD3D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:16:33]
607*2^1397517-1 is not prime.  Res64: E9518C376A25F295  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:18:18]
615*2^1397517-1 is not prime.  Res64: AF2235A47273EA3E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:18:19]
717*2^1397517-1 is not prime.  Res64: F2A8F9B3718602F2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:23:34]
781*2^1397517-1 is not prime.  Res64: 6A4C6CA3A8BDE21C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:23:34]
945*2^1397517-1 is not prime.  Res64: 7FA696F46B77EF2F  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:40:12]
949*2^1397517-1 is not prime.  Res64: A97E6CF5F3DB073C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:40:13]
605*2^1397518-1 is not prime.  Res64: F0FAB986872E67EB  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:42:32]
891*2^1397518-1 is not prime.  Res64: 1E2F9F8F27BBC8F0  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:42:32]
945*2^1397518-1 is not prime.  Res64: B00BE4D0D1FD06D1  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:44:19]
649*2^1397519-1 is not prime.  Res64: 3C7A8D4461C1B590  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:44:19]
663*2^1397519-1 is not prime.  Res64: 8763283154981359  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:49:34]
759*2^1397519-1 is not prime.  Res64: EA65E98F4BF1BED7  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 05:49:35]
771*2^1397519-1 is not prime.  Res64: 2FEB5DE8C307F778  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:06:13]
943*2^1397519-1 is not prime.  Res64: FADDB4B65E6AE286  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:06:14]
991*2^1397519-1 is not prime.  Res64: 1EEB342ADC21A2DF  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:08:35]
713*2^1397520-1 is not prime.  Res64: 83EDCFD0A295CAC6  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:08:36]
795*2^1397520-1 is not prime.  Res64: 4AC75E09571910C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:10:15]
809*2^1397520-1 is not prime.  Res64: D0DB6FDE69285CE2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:10:16]
819*2^1397520-1 is not prime.  Res64: 963A454B6FF452F8  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:15:35]
899*2^1397520-1 is not prime.  Res64: 656A5E3D55967641  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:15:36]
905*2^1397520-1 is not prime.  Res64: 29DA398C6567E79E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:32:20]
909*2^1397520-1 is not prime.  Res64: B454CD0CFC64FB90  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:32:20]
929*2^1397520-1 is not prime.  Res64: 8AC96BDA738C3418  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:34:34]
983*2^1397520-1 is not prime.  Res64: 193709AE54BD0887  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:34:35]
679*2^1397521-1 is not prime.  Res64: 2F340547F32E3938  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:36:19]
717*2^1397521-1 is not prime.  Res64: 23E87CEDA1C95927  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:36:19]
769*2^1397521-1 is not prime.  Res64: CB125AD2E8E8A17F  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:41:42]
829*2^1397521-1 is not prime.  Res64: 03F67AB17E1DC98B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:41:42]
835*2^1397521-1 is not prime.  Res64: E6FFE4F27B1CB711  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:58:26]
957*2^1397521-1 is not prime.  Res64: 53E55E6A67E86E12  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 06:58:26]
617*2^1397522-1 is not prime.  Res64: 2462BA5CA01003EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:00:35]
771*2^1397522-1 is not prime.  Res64: 33C5EE802F6DDC11  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:00:36]
801*2^1397522-1 is not prime.  Res64: 444D95871FD88712  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:02:23]
609*2^1397523-1 is not prime.  Res64: DBEB97FFB1CF86EA  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:02:24]
723*2^1397523-1 is not prime.  Res64: 92D4CA3935FA9F8E  Time : 0.0 sec.
user=juhehe
[2015-04-13 07:05:19]
895*2^1397521-1 is not prime.  Res64: E3AB1569CFF3D31C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:07:45]
735*2^1397523-1 is not prime.  Res64: 3CB94779C974581E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:07:45]
751*2^1397523-1 is not prime.  Res64: 6F001C87465C6B11  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:24:33]
765*2^1397523-1 is not prime.  Res64: F9B8214F23014BE4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:24:34]
825*2^1397523-1 is not prime.  Res64: A39E33223E9D2853  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:26:43]
853*2^1397523-1 is not prime.  Res64: 513B74217F8C58F6  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:26:43]
859*2^1397523-1 is not prime.  Res64: A188DBCD1E688C0E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:28:26]
951*2^1397523-1 is not prime.  Res64: 62346A1FABF6CF10  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:28:26]
657*2^1397524-1 is not prime.  Res64: 2F7A59FCD70E4F46  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:33:49]
693*2^1397524-1 is not prime.  Res64: 451C8384907B7761  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:33:50]
707*2^1397524-1 is not prime.  Res64: B12D164448FB41E1  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:50:38]
719*2^1397524-1 is not prime.  Res64: 9332359B895CCD46  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:50:38]
723*2^1397524-1 is not prime.  Res64: 79E17B42BCBDFDB4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:52:44]
843*2^1397524-1 is not prime.  Res64: E85C0F76CE294E91  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:52:44]
869*2^1397524-1 is not prime.  Res64: B7B29B0F2AAC68FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:54:26]
711*2^1397525-1 is not prime.  Res64: 946F07A014F6318C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:54:27]
775*2^1397525-1 is not prime.  Res64: C2DF41B1AE467239  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:59:49]
781*2^1397525-1 is not prime.  Res64: 9D318CDECFF3BD18  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 07:59:49]
795*2^1397525-1 is not prime.  Res64: 712E68DB0FE191A4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:16:54]
825*2^1397525-1 is not prime.  Res64: 20B4625F5188A7C5  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:16:55]
861*2^1397525-1 is not prime.  Res64: 95ED715F40BD06F0  Time : 0.0 sec.
user=juhehe
[2015-04-13 08:17:49]
811*2^1397525-1 is not prime.  Res64: 6DB4B3C70506A5B1  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:18:41]
985*2^1397525-1 is not prime.  Res64: 680475696B34C37C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:18:42]
783*2^1397526-1 is not prime.  Res64: 0DD6DDDD62272C91  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:20:34]
963*2^1397526-1 is not prime.  Res64: F3A322490C75E94E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:20:34]
603*2^1397527-1 is not prime.  Res64: 0157C74222C6E9C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:25:57]
651*2^1397527-1 is not prime.  Res64: 44ADC6FCA638B4C5  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:25:58]
693*2^1397527-1 is not prime.  Res64: 942880167B10EBF3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:43:05]
871*2^1397527-1 is not prime.  Res64: 9D666A61BAEBEB21  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:43:06]
883*2^1397527-1 is not prime.  Res64: 7CA6844BDB2E344A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:44:43]
913*2^1397527-1 is not prime.  Res64: 5D342C364CAC2B1D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:44:44]
925*2^1397527-1 is not prime.  Res64: 4541CFB1DD171AD2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:46:40]
951*2^1397527-1 is not prime.  Res64: 7578F19D3CA1D386  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:46:40]
629*2^1397528-1 is not prime.  Res64: A21B972B0EDE6ADD  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:51:58]
773*2^1397528-1 is not prime.  Res64: 8877062109EF7218  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 08:51:59]
833*2^1397528-1 is not prime.  Res64: ADEC879D88C54046  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:09:07]
893*2^1397528-1 is not prime.  Res64: FC8DFB43251D880A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:09:08]
935*2^1397528-1 is not prime.  Res64: 35A007AE4CAFBEB9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:10:44]
995*2^1397528-1 is not prime.  Res64: 4270B7D8C70E9E48  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:10:45]
609*2^1397529-1 is not prime.  Res64: CED704BB27F78FE6  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:12:45]
637*2^1397529-1 is not prime.  Res64: 3D9D1ED2D926534D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:12:45]
741*2^1397529-1 is not prime.  Res64: BA8EE42B92447C97  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:17:59]
781*2^1397529-1 is not prime.  Res64: 121E096A2A32085C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:17:59]
831*2^1397529-1 is not prime.  Res64: 21FBAAECDEC82A09  Time : 0.0 sec.
user=juhehe
[2015-04-13 09:30:15]
603*2^1397530-1 is not prime.  Res64: 680B31335ECAD8C3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:35:15]
645*2^1397530-1 is not prime.  Res64: 30099BB5B423B7A2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:35:16]
675*2^1397530-1 is not prime.  Res64: B3DA0197584E800D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:36:42]
735*2^1397530-1 is not prime.  Res64: 01800A4443F59E4B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:36:43]
747*2^1397530-1 is not prime.  Res64: 0C20352EF0ED0A56  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:38:56]
777*2^1397530-1 is not prime.  Res64: 2BE0B7F4CA63DB94  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:38:56]
861*2^1397530-1 is not prime.  Res64: 043D1198F5855E17  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:44:01]
867*2^1397530-1 is not prime.  Res64: E1E812560FB2CA81  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 09:44:02]
917*2^1397530-1 is not prime.  Res64: DAB272A599D09B1A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:01:20]
715*2^1397531-1 is not prime.  Res64: 917E526BE0942105  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:01:20]
733*2^1397531-1 is not prime.  Res64: C4AF6348C7B17F36  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:02:45]
825*2^1397531-1 is not prime.  Res64: 86C1C99340F98EB3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:02:47]
993*2^1397531-1 is not prime.  Res64: D4B6DF216A4B12A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:05:00]
605*2^1397532-1 is not prime.  Res64: B2E8196EF2B5C124  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:05:01]
719*2^1397532-1 is not prime.  Res64: 50D8F7678FE417E9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:10:04]
837*2^1397532-1 is not prime.  Res64: A7D55BB4A44DA156  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:10:04]
909*2^1397532-1 is not prime.  Res64: 804B979CB92B80A7  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:27:40]
923*2^1397532-1 is not prime.  Res64: B2114E684D22DEF6  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:27:41]
609*2^1397533-1 is not prime.  Res64: 76F66A85580AA216  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:28:54]
615*2^1397533-1 is not prime.  Res64: C2795543E5744C35  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:28:54]
859*2^1397533-1 is not prime.  Res64: 5A0FF66F96FCC614  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:31:09]
877*2^1397533-1 is not prime.  Res64: 4628933AD2F08A68  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:31:09]
957*2^1397533-1 is not prime.  Res64: B582A60F05B5AC9F  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:36:16]
979*2^1397533-1 is not prime.  Res64: 2B86E7704BFCDAB0  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:36:17]
677*2^1397534-1 is not prime.  Res64: 476A4AEA16D41F58  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:53:47]
707*2^1397534-1 is not prime.  Res64: F3DFEB37D3BBBA0A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:53:47]
743*2^1397534-1 is not prime.  Res64: 74188F21AC960A34  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:54:56]
785*2^1397534-1 is not prime.  Res64: CF587390FBAD0B0B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:54:57]
797*2^1397534-1 is not prime.  Res64: 50620085D77E8D34  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:57:13]
831*2^1397534-1 is not prime.  Res64: 4BA913963423F2D8  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 10:57:14]
861*2^1397534-1 is not prime.  Res64: 50E64D8B2FF1DFA1  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:02:21]
981*2^1397534-1 is not prime.  Res64: CEC42E3260616A5B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:02:23]
693*2^1397535-1 is not prime.  Res64: 8C442DC2FB176846  Time : 0.0 sec.
user=juhehe
[2015-04-13 11:18:47]
735*2^1397535-1 is not prime.  Res64: 649E97E95BF9291D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:19:55]
895*2^1397535-1 is not prime.  Res64: C7B5CDBFA02286AE  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:19:56]
985*2^1397535-1 is not prime.  Res64: 1A022B5B4401B039  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:21:05]
609*2^1397536-1 is not prime.  Res64: 1D6FF5E78E00C3F0  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:21:06]
645*2^1397536-1 is not prime.  Res64: 9702A2AA931BF5B7  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:23:17]
657*2^1397536-1 is not prime.  Res64: C681F5A6CA7555C2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:23:18]
765*2^1397536-1 is not prime.  Res64: B2BC392F2643A9C8  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:28:26]
779*2^1397536-1 is not prime.  Res64: 7DCFD5F5B3DDFD10  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:28:27]
927*2^1397536-1 is not prime.  Res64: FBB8BEF0CCE24DB9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:46:02]
989*2^1397536-1 is not prime.  Res64: 722DC0C8A01AB383  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:46:03]
697*2^1397537-1 is not prime.  Res64: 03DCFA820260EB9E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:47:21]
727*2^1397537-1 is not prime.  Res64: 9CE30CBA164E3BC1  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:47:21]
871*2^1397537-1 is not prime.  Res64: C8927ACB3928A8BC  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:49:28]
931*2^1397537-1 is not prime.  Res64: C7CC3345731A9AC2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:49:29]
683*2^1397538-1 is not prime.  Res64: FE9037C95D240D3B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:54:31]
711*2^1397538-1 is not prime.  Res64: 149CFA40A09153C6  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 11:54:32]
821*2^1397538-1 is not prime.  Res64: 6EB134A4BA9544EF  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:12:12]
843*2^1397538-1 is not prime.  Res64: 36AE890C58D5116A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:12:12]
977*2^1397538-1 is not prime.  Res64: 7DE9FCF166988077  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:13:29]
603*2^1397539-1 is not prime.  Res64: 9E2F047FFA5CE3C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:13:30]
615*2^1397539-1 is not prime.  Res64: 21E4D379ECFCDA0C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:15:37]
735*2^1397539-1 is not prime.  Res64: 3A3AD957F25DDED8  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:15:38]
771*2^1397539-1 is not prime.  Res64: DEFC472E1D8FFA47  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:20:59]
843*2^1397539-1 is not prime.  Res64: 34331701990B82DF  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:20:59]
855*2^1397539-1 is not prime.  Res64: AAA3890CC248E3CD  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:41:15]
859*2^1397539-1 is not prime.  Res64: A5C3C7A0132D58B8  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:41:15]
735*2^1397540-1 is not prime.  Res64: CEC30B3397D1A7D4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:42:35]
759*2^1397540-1 is not prime.  Res64: FC191B6852AEAA34  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:42:36]
789*2^1397540-1 is not prime.  Res64: 09A69FC27C4A12D9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:45:17]
819*2^1397540-1 is not prime.  Res64: 36966BACD9F4D0FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:45:17]
833*2^1397540-1 is not prime.  Res64: 1B76F7B096768961  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:50:51]
839*2^1397540-1 is not prime.  Res64: 87FD65C80768C5E4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 12:50:51]
845*2^1397540-1 is not prime.  Res64: 6FD366BA0B1C0B2D  Time : 0.0 sec.
user=juhehe
[2015-04-13 13:07:37]
929*2^1397540-1 is not prime.  Res64: F18D04F8E35D9517  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:14:16]
963*2^1397540-1 is not prime.  Res64: FE0C8FC787C4F6A8  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:14:17]
795*2^1397541-1 is not prime.  Res64: 150DAFB366CB59DD  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:14:57]
825*2^1397541-1 is not prime.  Res64: 97D8052B3A48B90C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:14:58]
997*2^1397541-1 is not prime.  Res64: 80337ED352B793F8  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:18:24]
617*2^1397542-1 is not prime.  Res64: AB9FCD381C7AE1A5  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:18:25]
635*2^1397542-1 is not prime.  Res64: 31C6DDC243E96D0B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:24:17]
677*2^1397542-1 is not prime.  Res64: 8BD45FDF145435E9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:24:18]
713*2^1397542-1 is not prime.  Res64: 1B071524D94979F2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:44:45]
717*2^1397542-1 is not prime.  Res64: EED0A8E0AD0BA7EE  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:44:46]
777*2^1397542-1 is not prime.  Res64: 54AF0B70F306653A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:45:45]
801*2^1397542-1 is not prime.  Res64: AB4490D8511F7F84  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:45:45]
951*2^1397542-1 is not prime.  Res64: D6CAAF4434E0FAB7  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:48:36]
957*2^1397542-1 is not prime.  Res64: B6CE60757CE8D352  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:48:37]
1001*2^1397542-1 is not prime.  Res64: EBCED50E830DEE32  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:52:57]
619*2^1397543-1 is not prime.  Res64: 8F69CE8F061E0A3B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 13:52:57]
693*2^1397543-1 is not prime.  Res64: 25E668690B801708  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:11:26]
775*2^1397543-1 is not prime.  Res64: 63321BD87EB1385B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:11:26]
963*2^1397543-1 is not prime.  Res64: DC5A4816CCC53884  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:12:14]
973*2^1397543-1 is not prime.  Res64: FCA591950153E451  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:12:14]
993*2^1397543-1 is not prime.  Res64: B04868CDF17B2F54  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:15:19]
725*2^1397544-1 is not prime.  Res64: 7BD882C99B097641  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:15:19]
899*2^1397544-1 is not prime.  Res64: 91A87A828EBA79E2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:19:35]
905*2^1397544-1 is not prime.  Res64: F6645FD536E94CB4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:19:36]
927*2^1397544-1 is not prime.  Res64: 47A9A126DF1E3862  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:37:59]
625*2^1397545-1 is not prime.  Res64: B21E6268E5CA0542  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:37:59]
645*2^1397545-1 is not prime.  Res64: 1C16AE610D9FBBC4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:38:35]
801*2^1397545-1 is not prime.  Res64: 46CF169AE549A202  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:38:36]
819*2^1397545-1 is not prime.  Res64: 19A3084712B498D1  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:41:54]
847*2^1397545-1 is not prime.  Res64: 1257C59E73FD6EAC  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:41:54]
871*2^1397545-1 is not prime.  Res64: AB4524B92B8EB3CE  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:46:03]
951*2^1397545-1 is not prime.  Res64: 69A89922F8B4221C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 14:46:03]
981*2^1397545-1 is not prime.  Res64: 64F7F8A0C43AA08C  Time : 0.0 sec.
user=juhehe
[2015-04-13 14:57:11]
997*2^1397545-1 is not prime.  Res64: F724BD2A5D258595  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:04:32]
635*2^1397546-1 is not prime.  Res64: 78679456AA1E64A7  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:04:33]
711*2^1397546-1 is not prime.  Res64: 7A261940AE9F1C22  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:05:01]
735*2^1397546-1 is not prime.  Res64: 48849032FB1845B1  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:05:02]
827*2^1397546-1 is not prime.  Res64: 3DD81299EF6D0684  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:08:24]
851*2^1397546-1 is not prime.  Res64: CC3B804B89F4FC56  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:08:25]
857*2^1397546-1 is not prime.  Res64: 160D5A3D13C4655B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:12:30]
873*2^1397546-1 is not prime.  Res64: 9EF1AE6372741CEC  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:12:30]
945*2^1397546-1 is not prime.  Res64: EA6A5076BB0515E4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:32:05]
633*2^1397547-1 is not prime.  Res64: A7A31FB6F8F8C7B2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:32:05]
669*2^1397547-1 is not prime.  Res64: B3C81B871222C6A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:32:47]
829*2^1397547-1 is not prime.  Res64: ED2C6ABCCCF11846  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:32:47]
849*2^1397547-1 is not prime.  Res64: E8B45A9F0C6200BF  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:35:32]
871*2^1397547-1 is not prime.  Res64: E2EE821D198F9F3A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:35:32]
973*2^1397547-1 is not prime.  Res64: D01D361551B6AA35  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:40:08]
975*2^1397547-1 is not prime.  Res64: A048C95811F5C64E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:40:08]
985*2^1397547-1 is not prime.  Res64: C5A9087FA0F3CF06  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:59:21]
777*2^1397548-1 is not prime.  Res64: 2506BCD78B71FDF3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:59:21]
839*2^1397548-1 is not prime.  Res64: 668B8EBA99A6825C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:59:52]
843*2^1397548-1 is not prime.  Res64: 58405E1B4B58B964  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 15:59:53]
969*2^1397548-1 is not prime.  Res64: DE8C0BD9A16A6419  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:02:23]
649*2^1397549-1 is not prime.  Res64: 6E32FAC735DE4D71  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:02:24]
787*2^1397549-1 is not prime.  Res64: 2CE77FB0B292BAE8  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:06:55]
957*2^1397549-1 is not prime.  Res64: A41606822EDAC84C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:06:56]
987*2^1397549-1 is not prime.  Res64: F427206F8CD87F83  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:25:54]
725*2^1397550-1 is not prime.  Res64: 82B6DE1D401C3382  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:25:55]
741*2^1397550-1 is not prime.  Res64: B8F398BEC4E7576E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:26:21]
765*2^1397550-1 is not prime.  Res64: 94CBA64537AEBC4C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:26:22]
795*2^1397550-1 is not prime.  Res64: ADD95468609D1E85  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:29:16]
887*2^1397550-1 is not prime.  Res64: 06A560C9A99E8B28  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:29:17]
941*2^1397550-1 is not prime.  Res64: 0BA2CA1361A74A2C  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:33:31]
603*2^1397551-1 is not prime.  Res64: BFCA556CD77C516A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:33:31]
619*2^1397551-1 is not prime.  Res64: A3E6AB60FF5DAD0C  Time : 0.0 sec.
user=juhehe
[2015-04-13 16:45:36]
639*2^1397551-1 is not prime.  Res64: 19DF71B0B3C32954  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:52:39]
709*2^1397551-1 is not prime.  Res64: E1E378D933FED67D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:52:39]
715*2^1397551-1 is not prime.  Res64: 98F558B448C6C357  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:52:55]
819*2^1397551-1 is not prime.  Res64: F5E8A22576E55769  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:52:56]
861*2^1397551-1 is not prime.  Res64: D01E2210945B7C94  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:55:50]
961*2^1397551-1 is not prime.  Res64: 20E3DB7EB52E3735  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 16:55:50]
735*2^1397552-1 is not prime.  Res64: 80469801E2B9F2FF  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:00:06]
767*2^1397552-1 is not prime.  Res64: 94EBFCE0E1BE1AED  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:00:06]
797*2^1397552-1 is not prime.  Res64: 7B6FA855747CFA58  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:19:59]
607*2^1397553-1 is not prime.  Res64: EFB7D2AABE0ED504  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:20:00]
639*2^1397553-1 is not prime.  Res64: 5629FDF0BC2126F7  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:20:21]
937*2^1397553-1 is not prime.  Res64: C57438F1FA4EE27B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:20:21]
945*2^1397553-1 is not prime.  Res64: 98AC63F897E63816  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:23:22]
985*2^1397553-1 is not prime.  Res64: D0AC20E6FF7397A0  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:23:22]
665*2^1397554-1 is not prime.  Res64: 1CED2FC1325EA143  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:27:50]
687*2^1397554-1 is not prime.  Res64: BBAE407A7C6E46AE  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:27:51]
731*2^1397554-1 is not prime.  Res64: 9289334D3329FE6E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:47:33]
803*2^1397554-1 is not prime.  Res64: F7DF5C012D39A2E1  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:47:33]
827*2^1397554-1 is not prime.  Res64: 8088E96752FE64B4  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:47:39]
885*2^1397554-1 is not prime.  Res64: F411D4F811907505  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:47:40]
649*2^1397555-1 is not prime.  Res64: 10883FE94E83DB57  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:50:37]
759*2^1397555-1 is not prime.  Res64: 88E7AE15F3B06118  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:50:37]
771*2^1397555-1 is not prime.  Res64: AA8352D17EE1432A  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:55:10]
775*2^1397555-1 is not prime.  Res64: E69C8E40D114D3D9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 17:55:11]
825*2^1397555-1 is not prime.  Res64: A9D8AB9D4DAAF216  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:15:03]
669*2^1397556-1 is not prime.  Res64: B606A8B0A8AE46E1  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:15:03]
675*2^1397556-1 is not prime.  Res64: 062E868540F973CD  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:15:19]
909*2^1397555-1 is not prime.  Res64: 010C4607C976D747  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:15:19]
963*2^1397555-1 is not prime.  Res64: CFE4EF96BFD5A269  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:17:58]
767*2^1397556-1 is not prime.  Res64: 2A1AC7985523A1D2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:17:59]
803*2^1397556-1 is not prime.  Res64: 93A7506046EECB79  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:22:34]
983*2^1397556-1 is not prime.  Res64: 2F5C0277A10E5D28  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:22:34]
609*2^1397557-1 is not prime.  Res64: C9B79CBC134A1A89  Time : 0.0 sec.
user=juhehe
[2015-04-13 18:34:08]
777*2^1397557-1 is not prime.  Res64: 3A43995476683E91  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:42:22]
801*2^1397557-1 is not prime.  Res64: 904E0D84E53DBAD3  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:42:22]
829*2^1397557-1 is not prime.  Res64: 7F0675B4D414343E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:42:46]
861*2^1397557-1 is not prime.  Res64: 35E0ADD2F0E98C61  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:42:46]
871*2^1397557-1 is not prime.  Res64: 386AC2778ED9F409  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:45:26]
931*2^1397557-1 is not prime.  Res64: DDDE69DB1C9D9535  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:45:26]
939*2^1397557-1 is not prime.  Res64: EB917761B74684C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:49:54]
961*2^1397557-1 is not prime.  Res64: 123DD1F9FAE55049  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 18:49:54]
641*2^1397558-1 is not prime.  Res64: 1139ABAA183F6C85  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 19:09:37]
663*2^1397558-1 is not prime.  Res64: 982B1970EA6371B0  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 19:09:37]
687*2^1397558-1 is not prime.  Res64: B4498436686046E2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 19:10:16]
713*2^1397558-1 is not prime.  Res64: 779D3361A234313B  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 19:10:17]
801*2^1397558-1 is not prime.  Res64: 7C3B1BDFF38431A2  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 19:13:01]
857*2^1397558-1 is not prime.  Res64: D81B3F6401DEC034  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 19:13:02]
897*2^1397558-1 is not prime.  Res64: 723422F8D163612D  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 19:17:39]
1001*2^1397558-1 is not prime.  Res64: CD65B70AD58D2E2E  Time : 0.0 sec.
user=mdettweiler
[2015-04-13 19:17:39]
703*2^1397559-1 is not prime.  Res64: A8C48A890A93A345  Time : 0.0 sec.
user=juhehe
[2015-04-13 20:22:25]
855*2^1397560-1 is not prime.  Res64: 4040D98264B0BA08  Time : 0.0 sec.
user=juhehe
[2015-04-13 21:36:49]
917*2^1397560-1 is not prime.  Res64: 5D3E71128A19F967  Time : 0.0 sec.
user=juhehe
[2015-04-13 23:25:02]
607*2^1397561-1 is not prime.  Res64: 6ED329BD5C8D20F5  Time : 0.0 sec.