user=mdettweiler
[2012-02-07 00:01:07]
933*2^1004319-1 is not prime.  Res64: 6DB20794E25C5B12  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:01:07]
961*2^1004319-1 is not prime.  Res64: C1F478A19DC3F60B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:04:06]
995*2^1004320-1 is not prime.  Res64: 92A16CCFAACD9B6F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:04:07]
637*2^1004321-1 is not prime.  Res64: E61CADA6F7EA641F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:07:41]
903*2^1004316-1 is not prime.  Res64: B7E95D2E80801035  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:07:42]
909*2^1004316-1 is not prime.  Res64: 95B03C35E62B9339  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:08:21]
743*2^1004318-1 is not prime.  Res64: 09F25AE6129A3EA1  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:08:23]
795*2^1004318-1 is not prime.  Res64: 28A1A32A763CEE0E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:08:25]
645*2^1004321-1 is not prime.  Res64: BBB17317C08A909A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:08:30]
769*2^1004321-1 is not prime.  Res64: E36698972FF26B8A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:14:28]
871*2^1004321-1 is not prime.  Res64: 011BB4CF4001FB4F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:14:34]
955*2^1004321-1 is not prime.  Res64: 09A63911AD767421  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:17:36]
683*2^1004322-1 is not prime.  Res64: E66AC4F4277D7519  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:17:36]
747*2^1004322-1 is not prime.  Res64: 44A3FB7CBEE2AA8D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:17:47]
957*2^1004321-1 is not prime.  Res64: 2F5B0FF43CCBBF19  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:17:48]
987*2^1004321-1 is not prime.  Res64: D0C26DA691D164D8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:25:13]
917*2^1004322-1 is not prime.  Res64: EB13695A5C51B433  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:25:13]
945*2^1004322-1 is not prime.  Res64: 4269190A0D51806A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:27:01]
851*2^1004306-1 is not prime.  Res64: 51BD97D2970C8928  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:27:02]
743*2^1004320-1 is not prime.  Res64: 26B91681EE1ED71A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:27:02]
777*2^1004320-1 is not prime.  Res64: E14AC6B15E3BDE73  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:29:43]
977*2^1004322-1 is not prime.  Res64: FD611CE68EE549E8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:29:43]
609*2^1004323-1 is not prime.  Res64: 00BCEB094848907C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:31:05]
663*2^1004323-1 is not prime.  Res64: FB6EC9D700126D74  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:31:05]
693*2^1004323-1 is not prime.  Res64: DB192AA27C9650DB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:31:20]
741*2^1004323-1 is not prime.  Res64: A64DC1C9F939935E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:31:21]
819*2^1004323-1 is not prime.  Res64: 480F5CF9DAB943AD  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:37:36]
775*2^1004321-1 is not prime.  Res64: 396FECEA57E895B6  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:37:36]
867*2^1004321-1 is not prime.  Res64: 49E68E2256EFB226  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:38:49]
853*2^1004323-1 is not prime.  Res64: 74EEADE3FFA1BDFA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:38:49]
855*2^1004323-1 is not prime.  Res64: CB9BC9F80AF111C9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:44:48]
873*2^1004324-1 is not prime.  Res64: FD06F38C35439F15  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:44:49]
915*2^1004324-1 is not prime.  Res64: 8C65A3575F54625F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:46:25]
983*2^1004324-1 is not prime.  Res64: 08FA1B72A0069A22  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:46:25]
639*2^1004325-1 is not prime.  Res64: FF0105389501636B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:47:49]
927*2^1004324-1 is not prime.  Res64: A6C6B04911F8D512  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:47:49]
959*2^1004324-1 is not prime.  Res64: 4F58FA6E05EB20A9  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:48:30]
797*2^1004322-1 is not prime.  Res64: 54CB26FDE1EBB9CB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:48:30]
833*2^1004322-1 is not prime.  Res64: B38173FD3915FF72  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:53:54]
735*2^1004325-1 is not prime.  Res64: 3F4FA1106C813E0D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:53:55]
885*2^1004325-1 is not prime.  Res64: 42D3DF57327E8E13  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:56:17]
837*2^1004322-1 is not prime.  Res64: BEF54D4ACC413C79  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 00:56:17]
903*2^1004322-1 is not prime.  Res64: 39B6477BACB275A4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:56:27]
833*2^1004312-1 is not prime.  Res64: 571236E0A4F8A8AA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:59:54]
813*2^1004326-1 is not prime.  Res64: 8479C83D31C0F672  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:59:55]
861*2^1004326-1 is not prime.  Res64: 7CE7F9FDD0533AC3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:59:57]
915*2^1004325-1 is not prime.  Res64: 01A5C3830B242CDF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 00:59:58]
755*2^1004326-1 is not prime.  Res64: 134E24A8D60B3E4E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:04:33]
945*2^1004326-1 is not prime.  Res64: 7C87F5B80ABDAD7B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:04:33]
975*2^1004326-1 is not prime.  Res64: 4960CD451FF17C25  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:07:21]
675*2^1004324-1 is not prime.  Res64: 864381F25DE525C4  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:07:22]
825*2^1004324-1 is not prime.  Res64: 1423415D9405DDCD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:07:47]
867*2^1004312-1 is not prime.  Res64: FE16CD53DE69E9D2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:07:48]
963*2^1004312-1 is not prime.  Res64: A0F73461BEA21270  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:09:06]
729*2^1004327-1 is not prime.  Res64: 5C2B726E6A30EC0F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:09:07]
999*2^1004327-1 is not prime.  Res64: 9F698F916D8333E6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:13:25]
649*2^1004329-1 is not prime.  Res64: 73C966FF09122F1C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:13:26]
747*2^1004329-1 is not prime.  Res64: 98055D817486B745  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:15:03]
841*2^1004329-1 is not prime.  Res64: 3B8030E8652CA6F2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:15:07]
885*2^1004329-1 is not prime.  Res64: B913F9EE43FAFD83  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:17:19]
699*2^1004325-1 is not prime.  Res64: B5D4DB51DD544519  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:17:19]
721*2^1004325-1 is not prime.  Res64: C58D36C701F24DB3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:19:42]
987*2^1004329-1 is not prime.  Res64: 055A92D4C696B03D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:19:42]
615*2^1004330-1 is not prime.  Res64: 05DE87CF9500151C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:25:53]
885*2^1004330-1 is not prime.  Res64: 8CEA1312C1C549A8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:25:53]
935*2^1004330-1 is not prime.  Res64: 30249D206A66F6ED  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:28:32]
995*2^1004330-1 is not prime.  Res64: 490B7483597C94CE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:28:32]
825*2^1004331-1 is not prime.  Res64: 6A7713F7AE7560A3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:28:42]
861*2^1004331-1 is not prime.  Res64: 83A11C820F5C6F29  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:28:42]
873*2^1004331-1 is not prime.  Res64: 8F3AD37BA09DB7A5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:33:15]
677*2^1004332-1 is not prime.  Res64: A1B21F5C36D6D67E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:33:15]
833*2^1004332-1 is not prime.  Res64: C6652047E998770D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:36:06]
993*2^1004326-1 is not prime.  Res64: 35CA55BE9452F4F7  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:36:06]
621*2^1004327-1 is not prime.  Res64: 257FFAC9F2FBC43D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:36:32]
615*2^1004328-1 is not prime.  Res64: D9E574BF58E78BB4  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:36:32]
669*2^1004328-1 is not prime.  Res64: AEC459907493C11E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:42:15]
669*2^1004333-1 is not prime.  Res64: F202C72C82F627E3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:42:15]
741*2^1004333-1 is not prime.  Res64: F82B4596C3541A27  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:42:35]
903*2^1004332-1 is not prime.  Res64: B4EDC25249B643B5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:42:35]
909*2^1004332-1 is not prime.  Res64: F5B77F75E97421F7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:45:13]
959*2^1004332-1 is not prime.  Res64: 32EBDD451514A1C2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:45:14]
989*2^1004332-1 is not prime.  Res64: 6C66328A406E904F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:47:34]
677*2^1004330-1 is not prime.  Res64: BC6797BCA039BBE1  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:47:34]
701*2^1004330-1 is not prime.  Res64: E1620E29470F4566  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:48:21]
745*2^1004333-1 is not prime.  Res64: 6D95D2222380BB59  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:48:21]
979*2^1004333-1 is not prime.  Res64: 7FD52683B77544A1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:55:46]
737*2^1004334-1 is not prime.  Res64: 1F765BD5396F33AB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:55:46]
765*2^1004334-1 is not prime.  Res64: BB303AA241394AE7  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:57:14]
629*2^1004332-1 is not prime.  Res64: B82ADD616AC7C1B4  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 01:57:14]
657*2^1004332-1 is not prime.  Res64: AF2EF6F7EED5E4D1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:57:43]
881*2^1004334-1 is not prime.  Res64: 5051B7A38273DC7D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 01:57:43]
951*2^1004334-1 is not prime.  Res64: EBE34C528263F24E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:00:23]
975*2^1004334-1 is not prime.  Res64: 065B465B19B505E3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:00:26]
639*2^1004335-1 is not prime.  Res64: 055A8A55E05E64AC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:02:52]
885*2^1004323-1 is not prime.  Res64: B6445F8CDD47CA74  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:02:53]
993*2^1004323-1 is not prime.  Res64: 187A07DDFBA26CD2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:05:02]
883*2^1004335-1 is not prime.  Res64: 9E040B37EEA41A26  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:05:03]
943*2^1004335-1 is not prime.  Res64: 28C886C6859C2016  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:09:16]
603*2^1004336-1 is not prime.  Res64: C839E6468771AA28  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:09:17]
633*2^1004336-1 is not prime.  Res64: 09A41B6D9C444559  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:14:27]
893*2^1004336-1 is not prime.  Res64: 83DAB4F8DEDEBBA1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:14:28]
909*2^1004336-1 is not prime.  Res64: 0B97FEF533BB8F26  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:16:40]
641*2^1004334-1 is not prime.  Res64: D07D92D0C8DDB931  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:16:40]
651*2^1004334-1 is not prime.  Res64: 884943608D99B7B4  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:17:07]
681*2^1004334-1 is not prime.  Res64: 4D1FE0D658A3FCCB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:17:07]
707*2^1004334-1 is not prime.  Res64: 132C0B05E1F3C921  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:17:19]
945*2^1004336-1 is not prime.  Res64: DAC3C63DAB297424  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:17:19]
999*2^1004336-1 is not prime.  Res64: CA8FE40ADC5BAC1B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:18:38]
681*2^1004337-1 is not prime.  Res64: 68CB48F5397430F1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:18:39]
741*2^1004337-1 is not prime.  Res64: 2FB39CE1F9D979EB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:22:46]
807*2^1004337-1 is not prime.  Res64: D1A85B660688EDE7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:22:47]
829*2^1004337-1 is not prime.  Res64: 3C0A750E31E44D3F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:27:37]
751*2^1004335-1 is not prime.  Res64: D40363666519F68B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:27:38]
805*2^1004335-1 is not prime.  Res64: 67FB5305AFCD1AC5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:29:20]
717*2^1004330-1 is not prime.  Res64: FA9CB22820EAA183  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:29:20]
773*2^1004330-1 is not prime.  Res64: FB87DF38444E0A90  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:31:10]
889*2^1004337-1 is not prime.  Res64: C959F93E734E2FDA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:31:11]
901*2^1004337-1 is not prime.  Res64: 904C137B3EE3758A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:34:02]
885*2^1004338-1 is not prime.  Res64: B0D5C3B26FDF0728  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:34:03]
887*2^1004338-1 is not prime.  Res64: D5F59031B5422F96  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:35:20]
951*2^1004338-1 is not prime.  Res64: 701BEEBD6FCEF3DE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:35:21]
975*2^1004338-1 is not prime.  Res64: 47B876D1C527309A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:36:05]
977*2^1004328-1 is not prime.  Res64: 49D5B923821BF91C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:36:05]
999*2^1004328-1 is not prime.  Res64: 7A10B7B21051F98A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:37:10]
717*2^1004336-1 is not prime.  Res64: 96C8EAF5EEE56246  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:37:11]
755*2^1004336-1 is not prime.  Res64: 1BBE12E6276D3E41  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:37:52]
801*2^1004339-1 is not prime.  Res64: 9C65371E74196032  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:37:53]
909*2^1004339-1 is not prime.  Res64: 13924CD3AB07B953  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:44:42]
797*2^1004340-1 is not prime.  Res64: DDB9EA0D41FE1136  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:44:42]
879*2^1004340-1 is not prime.  Res64: D37854697E54F709  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:48:50]
615*2^1004341-1 is not prime.  Res64: 118EB0497AB1DFA5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:48:50]
645*2^1004341-1 is not prime.  Res64: CBC04680281B56B5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:50:44]
899*2^1004340-1 is not prime.  Res64: 6433309468194AAF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:50:44]
945*2^1004340-1 is not prime.  Res64: F1528DC2459B4A26  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:52:59]
975*2^1004341-1 is not prime.  Res64: 15452528FD2C3865  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:52:59]
665*2^1004342-1 is not prime.  Res64: 511A3DCF5DEC4EA4  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:56:42]
657*2^1004338-1 is not prime.  Res64: AFB3C953B87CEA74  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:56:43]
825*2^1004338-1 is not prime.  Res64: 85AEA957CE380180  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:57:02]
645*2^1004338-1 is not prime.  Res64: 3A2B14B9FD068482  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 02:57:02]
647*2^1004338-1 is not prime.  Res64: AA5B93994D6DE7B7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:58:11]
731*2^1004342-1 is not prime.  Res64: EDBF853659CB4854  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 02:58:12]
755*2^1004342-1 is not prime.  Res64: 532361ECE6E67854  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:02:21]
827*2^1004342-1 is not prime.  Res64: D2F24F5610E86559  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:02:22]
843*2^1004342-1 is not prime.  Res64: DBC78C02CAF23021  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:06:28]
649*2^1004343-1 is not prime.  Res64: FA8DE492D1C32F21  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:06:29]
763*2^1004343-1 is not prime.  Res64: 14317FB25F431B6F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:07:20]
893*2^1004342-1 is not prime.  Res64: 91E4531EF0F835B9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:07:22]
977*2^1004342-1 is not prime.  Res64: 7092A0A284FBC3CD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:14:54]
921*2^1004343-1 is not prime.  Res64: 1A17911868D20B01  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:14:54]
943*2^1004343-1 is not prime.  Res64: 60C6158DADABC95D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:17:34]
951*2^1004343-1 is not prime.  Res64: 19EFD00B01CFAC38  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:17:34]
623*2^1004344-1 is not prime.  Res64: 2147BDB9CEB4DA70  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:20:01]
677*2^1004344-1 is not prime.  Res64: C67F56A02CD45372  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:20:02]
827*2^1004344-1 is not prime.  Res64: E2891849BEE8715E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:20:53]
843*2^1004344-1 is not prime.  Res64: D2E0415C8D99B9E7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:20:54]
669*2^1004345-1 is not prime.  Res64: 21C9E60CE3A584B6  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 03:22:43]
913*2^1004339-1 is not prime.  Res64: EDE52EC77ACE204D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 03:22:43]
949*2^1004339-1 is not prime.  Res64: 8E0AF3F03B445D26  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 03:25:06]
715*2^1004341-1 is not prime.  Res64: 6BCA8EAFFBDAD97D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 03:25:06]
937*2^1004341-1 is not prime.  Res64: 949FFFF9ECC743EE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:28:28]
799*2^1004345-1 is not prime.  Res64: BF1D9A0BE485B03D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:28:29]
871*2^1004345-1 is not prime.  Res64: 903E09E5B9DDA7BF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:32:39]
609*2^1004337-1 is not prime.  Res64: 6C77BB6EF8EE5CF8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:32:40]
669*2^1004337-1 is not prime.  Res64: A04D3E5652983425  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:33:32]
633*2^1004346-1 is not prime.  Res64: 7D0353A3A85C923C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:33:33]
717*2^1004346-1 is not prime.  Res64: E0E6621BD93A8794  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:34:21]
969*2^1004345-1 is not prime.  Res64: 126887C48B2D45A1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:34:22]
987*2^1004345-1 is not prime.  Res64: BF1AE2AEBF3EBDD1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:34:24]
735*2^1004346-1 is not prime.  Res64: 3E4211A65EB1C29E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:34:24]
851*2^1004346-1 is not prime.  Res64: 9F5C3379C922F581  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 03:36:13]
793*2^1004343-1 is not prime.  Res64: 889E681C9EB999C7  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 03:36:13]
831*2^1004343-1 is not prime.  Res64: 7FD13DB1DD2EA20C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:41:58]
649*2^1004347-1 is not prime.  Res64: 8B37A7571C236FD8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:41:59]
733*2^1004347-1 is not prime.  Res64: F28A13BB4444EF86  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 03:44:32]
859*2^1004343-1 is not prime.  Res64: D863D6C077B6404B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 03:44:32]
913*2^1004343-1 is not prime.  Res64: DB0C8A4E1BBAEFB3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:47:54]
777*2^1004348-1 is not prime.  Res64: 5EC8892DBC6E0F54  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:47:54]
789*2^1004348-1 is not prime.  Res64: F784FF308D797D48  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:48:40]
999*2^1004347-1 is not prime.  Res64: 7FB28FA4E4A53F92  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:48:40]
729*2^1004348-1 is not prime.  Res64: 3905ED085B4BB890  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:51:07]
909*2^1004348-1 is not prime.  Res64: F66F6A545BE93DF4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:51:07]
959*2^1004348-1 is not prime.  Res64: B318CFF0C8D763D7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:55:29]
669*2^1004349-1 is not prime.  Res64: 1D45863750BA0F14  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:55:30]
675*2^1004349-1 is not prime.  Res64: 627895FF47C3E523  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:56:50]
647*2^1004340-1 is not prime.  Res64: 5213CD7B49646AC0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 03:56:50]
723*2^1004340-1 is not prime.  Res64: 30646DBECF32F22F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:02:43]
651*2^1004341-1 is not prime.  Res64: DEA199629D714CA6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:02:45]
685*2^1004341-1 is not prime.  Res64: F45CAEC1AEEA85BC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:02:57]
835*2^1004349-1 is not prime.  Res64: 91FF147F24EBD45C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:02:57]
889*2^1004349-1 is not prime.  Res64: 4C5AAC1B022121E0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:04:38]
713*2^1004350-1 is not prime.  Res64: 047C2E854511C7B3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:04:39]
783*2^1004350-1 is not prime.  Res64: AE30F46BFDF39200  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:05:23]
895*2^1004349-1 is not prime.  Res64: 26DFBB96A51E1665  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:05:24]
927*2^1004349-1 is not prime.  Res64: 3810BEC064BBC853  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 04:10:05]
881*2^1004346-1 is not prime.  Res64: 1F784EF06AA207F0  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 04:10:06]
905*2^1004346-1 is not prime.  Res64: 6A4DD36D81EB2EC5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:12:34]
971*2^1004350-1 is not prime.  Res64: BEC6A2B45DFE366E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:18:20]
723*2^1004352-1 is not prime.  Res64: CF056335091B4738  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:18:20]
797*2^1004352-1 is not prime.  Res64: 5186188AEA581E19  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:19:48]
931*2^1004351-1 is not prime.  Res64: 46666DE2EF9DCB0C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:19:49]
955*2^1004351-1 is not prime.  Res64: E1E4932CC2214D1C  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 04:20:24]
917*2^1004346-1 is not prime.  Res64: 50975C07E6782C2F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 04:20:24]
921*2^1004346-1 is not prime.  Res64: 07C2526BAFDA5DFE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:20:42]
875*2^1004352-1 is not prime.  Res64: 0F4C6A21AF0742B6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:20:42]
887*2^1004352-1 is not prime.  Res64: 85528FF2B9CF4CA8  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 04:23:34]
999*2^1004348-1 is not prime.  Res64: C0CC4474B4919BFA  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 04:23:34]
609*2^1004349-1 is not prime.  Res64: 70AA5FD04A11A08B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 04:24:22]
679*2^1004349-1 is not prime.  Res64: C5B7A45317D03B30  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 04:24:22]
789*2^1004349-1 is not prime.  Res64: 8474901C44740719  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:32:35]
615*2^1004353-1 is not prime.  Res64: 357E342C1145813D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:32:37]
651*2^1004353-1 is not prime.  Res64: 450D53DCCD083239  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:33:56]
727*2^1004353-1 is not prime.  Res64: 44F56862A1D632C2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:33:56]
729*2^1004353-1 is not prime.  Res64: B87732E5529BA86B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:37:46]
937*2^1004353-1 is not prime.  Res64: 9741AEE8922A3918  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:37:47]
955*2^1004353-1 is not prime.  Res64: 41C55291D2E402EB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:47:43]
639*2^1004355-1 is not prime.  Res64: 0047B5BD70172B4D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:47:44]
643*2^1004355-1 is not prime.  Res64: 02F1BAF8C5164498  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:49:33]
903*2^1004354-1 is not prime.  Res64: 5C41B635F4DCD0C9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:49:34]
1001*2^1004354-1 is not prime.  Res64: A20835471BBD739E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:49:34]
1001*2^1004350-1 is not prime.  Res64: 787B8E1F95A36A01  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:51:27]
723*2^1004355-1 is not prime.  Res64: 802A8544FA67C527  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:51:27]
859*2^1004355-1 is not prime.  Res64: 92C77156AB2D3FBC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:51:28]
813*2^1004347-1 is not prime.  Res64: 02498CBCDBF4926F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 04:51:29]
859*2^1004347-1 is not prime.  Res64: 1E4E2C0A816E2BDB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:00:42]
861*2^1004353-1 is not prime.  Res64: 8B6307BC42E47803  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:00:45]
877*2^1004353-1 is not prime.  Res64: 19FEE3F1D0A57875  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:03:05]
689*2^1004356-1 is not prime.  Res64: BCC2A80D8272601A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:03:06]
719*2^1004356-1 is not prime.  Res64: 671566FD737DBC1D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:03:10]
657*2^1004354-1 is not prime.  Res64: C2621862EFA1B112  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:03:10]
665*2^1004354-1 is not prime.  Res64: 1F3F3FE302DC5127  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:04:25]
885*2^1004355-1 is not prime.  Res64: 8CA719259C427D01  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:04:26]
895*2^1004355-1 is not prime.  Res64: C90EC43E24466160  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:04:40]
903*2^1004355-1 is not prime.  Res64: 1BEF210F2E9696E5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:04:42]
615*2^1004356-1 is not prime.  Res64: 78F1314D93B618D9  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:04:45]
743*2^1004354-1 is not prime.  Res64: C3C30A0489DC86DF  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:04:45]
857*2^1004354-1 is not prime.  Res64: 75E571E7BC86F0A3  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:04:57]
903*2^1004352-1 is not prime.  Res64: DA301C1310AD94ED  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:04:59]
917*2^1004352-1 is not prime.  Res64: D3954CBA4FBCD7DA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:08:10]
899*2^1004356-1 is not prime.  Res64: 307CA4B294A6E6BA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:08:11]
927*2^1004356-1 is not prime.  Res64: E70DD30F6A977E25  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:14:39]
663*2^1004351-1 is not prime.  Res64: 5CF1E112F99D6E6F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:14:40]
705*2^1004351-1 is not prime.  Res64: 02FDE8F772FCFF1B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:17:57]
707*2^1004358-1 is not prime.  Res64: BA51C521F81908FC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:17:57]
731*2^1004358-1 is not prime.  Res64: 53020334CD129377  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:18:13]
801*2^1004357-1 is not prime.  Res64: 1FB83CF51ECDCDE4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:18:14]
937*2^1004357-1 is not prime.  Res64: EE0EDF427433F5A8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:18:22]
773*2^1004358-1 is not prime.  Res64: 616190CB5FD55C50  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:18:22]
663*2^1004359-1 is not prime.  Res64: 54F4C0756893D3B8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:20:35]
805*2^1004351-1 is not prime.  Res64: BF2ABCF30B967C78  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:20:35]
841*2^1004351-1 is not prime.  Res64: 2EAC0A990B7F1F0A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:21:44]
753*2^1004360-1 is not prime.  Res64: 357D6B8CDB402652  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:21:45]
875*2^1004360-1 is not prime.  Res64: 1F77CCF24D5E3336  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:31:53]
825*2^1004362-1 is not prime.  Res64: 27502404C69D19F7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:31:54]
873*2^1004362-1 is not prime.  Res64: 45DCB9B714F23DBA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:33:03]
739*2^1004361-1 is not prime.  Res64: A25DB058A898ADD7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:33:04]
889*2^1004361-1 is not prime.  Res64: 9BE11A86413FAE6C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:33:23]
921*2^1004361-1 is not prime.  Res64: E0E99CB34A245E55  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:33:24]
717*2^1004362-1 is not prime.  Res64: CA55C659544214AB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:35:13]
825*2^1004363-1 is not prime.  Res64: 45218649C1B3B7BB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:35:14]
665*2^1004364-1 is not prime.  Res64: DE6CC0E2672C6ADA  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:40:53]
619*2^1004357-1 is not prime.  Res64: B5EBC8504FA1C80D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:40:53]
697*2^1004357-1 is not prime.  Res64: 7C851CDD0E51139A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:44:35]
679*2^1004359-1 is not prime.  Res64: 7D57022796684AED  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:44:35]
681*2^1004359-1 is not prime.  Res64: 3144E2A7327D4F97  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:44:45]
777*2^1004358-1 is not prime.  Res64: 726BAAC02A3D0B12  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:44:45]
615*2^1004359-1 is not prime.  Res64: 9942D8302935E6CD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:45:28]
693*2^1004364-1 is not prime.  Res64: 25782CEF2F4608F0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:45:29]
749*2^1004364-1 is not prime.  Res64: 3C76EB053B066206  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:46:36]
795*2^1004364-1 is not prime.  Res64: 3D59D9202F24871A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:46:36]
843*2^1004364-1 is not prime.  Res64: 324E380957E3586E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:48:28]
857*2^1004364-1 is not prime.  Res64: 0163B0C4DBCAF096  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:48:28]
927*2^1004364-1 is not prime.  Res64: 6350506AC45DEAB5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:48:44]
609*2^1004365-1 is not prime.  Res64: 59FCB04D982A1662  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:48:45]
651*2^1004365-1 is not prime.  Res64: 62E4D1114D049EEA  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:49:58]
981*2^1004357-1 is not prime.  Res64: 7C6589BC4C935B42  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 05:49:59]
641*2^1004358-1 is not prime.  Res64: 0C2B0FBC544FA1A3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:58:58]
685*2^1004367-1 is not prime.  Res64: 1FFFD5A0A625C10E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 05:58:58]
741*2^1004367-1 is not prime.  Res64: 8D6C0FDC362C2002  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:00:07]
765*2^1004367-1 is not prime.  Res64: 32825175B18A146B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:00:07]
793*2^1004367-1 is not prime.  Res64: 1F4D7373478C59DE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:01:58]
795*2^1004367-1 is not prime.  Res64: 604DBB69B3083219  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:01:59]
861*2^1004367-1 is not prime.  Res64: 3B900E9DBF71E997  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:03:49]
879*2^1004367-1 is not prime.  Res64: 833668DC50A94FD8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:03:50]
963*2^1004367-1 is not prime.  Res64: D3425FBBE4F3A378  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:12:28]
645*2^1004368-1 is not prime.  Res64: 64D2146585E9AC94  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:12:29]
695*2^1004368-1 is not prime.  Res64: 7C746E4B64A2D028  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:13:39]
735*2^1004368-1 is not prime.  Res64: 8F90B35C784D7D44  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:13:40]
771*2^1004369-1 is not prime.  Res64: 1E92DD02036A9006  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:15:31]
775*2^1004369-1 is not prime.  Res64: E2846E0AE82ABA40  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:15:31]
789*2^1004369-1 is not prime.  Res64: 8AC95252CA66317A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:19:00]
987*2^1004369-1 is not prime.  Res64: F222BC25BBA97CFB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:19:01]
641*2^1004370-1 is not prime.  Res64: 77D11679E76E49EC  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 06:20:53]
615*2^1004366-1 is not prime.  Res64: B7E5649AFC8739C0  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 06:20:53]
671*2^1004366-1 is not prime.  Res64: A942D087F6F5DA6B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 06:23:54]
683*2^1004366-1 is not prime.  Res64: 174E2FBCCC8C441D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 06:23:54]
843*2^1004366-1 is not prime.  Res64: 81914EA46F9AC808  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:26:01]
711*2^1004370-1 is not prime.  Res64: DB1BB986EF3DFD42  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:26:02]
845*2^1004370-1 is not prime.  Res64: 3169AAFA8FBB0215  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:26:40]
987*2^1004356-1 is not prime.  Res64: 14CC91AB6B15F3FA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:26:40]
993*2^1004356-1 is not prime.  Res64: 71D66471BA313F00  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:27:13]
851*2^1004370-1 is not prime.  Res64: 21EC4D5313E5126D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:27:14]
875*2^1004370-1 is not prime.  Res64: D30262925C8CF715  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:29:05]
609*2^1004371-1 is not prime.  Res64: 1416E840747AAB99  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:29:05]
621*2^1004371-1 is not prime.  Res64: 8E9AD855B8641C77  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:32:32]
673*2^1004371-1 is not prime.  Res64: F969AEAAFC90E144  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:32:33]
769*2^1004371-1 is not prime.  Res64: ED1E5C35A0AAD4D6  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 06:37:24]
985*2^1004367-1 is not prime.  Res64: 87311CA6F89BBDF5  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 06:37:24]
635*2^1004368-1 is not prime.  Res64: A9D4B51FEF447650  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:38:27]
603*2^1004363-1 is not prime.  Res64: E5B1AAF0600C97DE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:38:27]
663*2^1004363-1 is not prime.  Res64: CFF6354286C4E310  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 06:39:28]
945*2^1004366-1 is not prime.  Res64: 2930A2525E7E3B69  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 06:39:28]
1001*2^1004366-1 is not prime.  Res64: 91E4452557C6A197  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:39:32]
827*2^1004372-1 is not prime.  Res64: B01AE1356A2730BA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:39:33]
615*2^1004373-1 is not prime.  Res64: BD5D4C41774F62CB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:40:45]
837*2^1004373-1 is not prime.  Res64: F675988E10091A77  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:40:46]
849*2^1004373-1 is not prime.  Res64: D6F63FCA53513C90  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:41:07]
893*2^1004360-1 is not prime.  Res64: 78C4A3C7FAC7DF13  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:41:08]
669*2^1004361-1 is not prime.  Res64: 8AF3D186B05CABB7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:44:12]
871*2^1004373-1 is not prime.  Res64: 8277EAD292CEAFC4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:44:12]
915*2^1004373-1 is not prime.  Res64: 6C61E133171085F0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:46:03]
635*2^1004374-1 is not prime.  Res64: F6C9EE611A564FC7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:46:03]
681*2^1004374-1 is not prime.  Res64: 59702F58C3269244  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:53:02]
673*2^1004375-1 is not prime.  Res64: F94F026F1876690F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:53:03]
685*2^1004375-1 is not prime.  Res64: F89F91898F195B24  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:55:52]
861*2^1004375-1 is not prime.  Res64: 75E67328726FF633  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:55:53]
921*2^1004375-1 is not prime.  Res64: B3DF4E5A8DC314C0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:57:47]
815*2^1004376-1 is not prime.  Res64: 2D98FC984EC3B81F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 06:57:48]
875*2^1004376-1 is not prime.  Res64: F4C2EF3FF2029FD8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:01:12]
909*2^1004376-1 is not prime.  Res64: D6CECC5BBF9D3C0F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:01:14]
625*2^1004377-1 is not prime.  Res64: FE3521E8F8B4E3FB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:03:29]
669*2^1004372-1 is not prime.  Res64: FE00BDFCF01E189A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:03:30]
719*2^1004372-1 is not prime.  Res64: 6CF850DA4BC4CDBE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:06:36]
741*2^1004377-1 is not prime.  Res64: 022A0BC4E0263933  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:06:39]
747*2^1004377-1 is not prime.  Res64: 6BC23D69D22343CD  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:08:32]
871*2^1004371-1 is not prime.  Res64: 0D56CE49A1A3CFBC  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:08:32]
901*2^1004371-1 is not prime.  Res64: 33F4480F031ED835  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:09:25]
771*2^1004377-1 is not prime.  Res64: 224632A052890A8F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:09:26]
847*2^1004377-1 is not prime.  Res64: 1BDA95F866CBFF6F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:12:54]
871*2^1004377-1 is not prime.  Res64: 99BD8251E52A2FF1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:12:56]
901*2^1004377-1 is not prime.  Res64: 5A13860C71698D1F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:16:21]
931*2^1004377-1 is not prime.  Res64: D196BD7606BE7906  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:16:22]
735*2^1004378-1 is not prime.  Res64: 048C28C470B64265  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:19:52]
619*2^1004375-1 is not prime.  Res64: A28608CA77DE8D7A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:19:52]
669*2^1004375-1 is not prime.  Res64: BBBB32893F8C4607  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:20:13]
669*2^1004379-1 is not prime.  Res64: 582852F0082097FE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:20:14]
709*2^1004379-1 is not prime.  Res64: 7331CFC2ACD9EBA3  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:24:58]
717*2^1004374-1 is not prime.  Res64: A93C89F419A8D0B7  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:24:58]
915*2^1004374-1 is not prime.  Res64: 01A457E995D85BF8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:26:12]
891*2^1004379-1 is not prime.  Res64: B0202C7C8933E07D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:26:12]
955*2^1004379-1 is not prime.  Res64: 23919681A46435FE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:26:30]
615*2^1004380-1 is not prime.  Res64: 9F841E2C630C8BC8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:26:31]
635*2^1004380-1 is not prime.  Res64: 404E668DE77D94EC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:29:54]
777*2^1004380-1 is not prime.  Res64: 4CB886C8317CB9BD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:29:55]
875*2^1004380-1 is not prime.  Res64: 9F8D976A3825E574  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:32:03]
645*2^1004381-1 is not prime.  Res64: 0E7E31040B7EEAFA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:35:02]
611*2^1004382-1 is not prime.  Res64: B2FDA09131540CD3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:35:23]
999*2^1004380-1 is not prime.  Res64: 0A506548089FD028  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:35:23]
615*2^1004381-1 is not prime.  Res64: 7629FC99E3AD5EC6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:39:28]
711*2^1004382-1 is not prime.  Res64: F50EB5100173017F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:39:43]
777*2^1004381-1 is not prime.  Res64: C4B2AC8F3BCEBA75  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:39:43]
837*2^1004381-1 is not prime.  Res64: 01A2CF2F58871A0B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:42:25]
755*2^1004382-1 is not prime.  Res64: 05A98570F9A7ACAC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:43:16]
889*2^1004381-1 is not prime.  Res64: A4631BCB623838BE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:43:16]
955*2^1004381-1 is not prime.  Res64: C63564AEE531F26B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:43:25]
677*2^1004382-1 is not prime.  Res64: C7300095E0718155  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:43:26]
693*2^1004382-1 is not prime.  Res64: 6E02ADA46DBC4CBF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:44:30]
625*2^1004373-1 is not prime.  Res64: 9B736EB8CB742F74  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:44:31]
657*2^1004373-1 is not prime.  Res64: FAD8C5312B7FC909  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:48:30]
753*2^1004379-1 is not prime.  Res64: F5EA01FD57138903  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:48:30]
835*2^1004379-1 is not prime.  Res64: E167E47375A66E65  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:48:33]
885*2^1004382-1 is not prime.  Res64: AD4EA0BDB71FE1D6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:48:55]
765*2^1004382-1 is not prime.  Res64: 022A59A5989B4D82  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:48:55]
807*2^1004382-1 is not prime.  Res64: 5B54216A2F10B3BA  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:50:32]
753*2^1004378-1 is not prime.  Res64: 4F17754BECB7B21D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 07:50:33]
971*2^1004378-1 is not prime.  Res64: 4625D78DF3706F24  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:51:29]
975*2^1004382-1 is not prime.  Res64: BBD840C34DC9A2E5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:55:53]
667*2^1004385-1 is not prime.  Res64: CE0BF93510B3D665  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:56:28]
893*2^1004382-1 is not prime.  Res64: 7282B8BAE9B0B100  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:56:29]
947*2^1004382-1 is not prime.  Res64: 67DC2F8770CBFB9A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:56:48]
609*2^1004383-1 is not prime.  Res64: 234A56BB35487566  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:56:48]
673*2^1004383-1 is not prime.  Res64: 99DF454459B3E233  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:56:54]
685*2^1004383-1 is not prime.  Res64: 9FBE4F81DBDAEF45  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 07:56:54]
793*2^1004383-1 is not prime.  Res64: 165D152B95FEC7C2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:00:35]
919*2^1004385-1 is not prime.  Res64: E1754DF62CEA5983  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:02:27]
717*2^1004385-1 is not prime.  Res64: BFD43F62F0B362D6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:02:29]
777*2^1004385-1 is not prime.  Res64: 1AFA1D6D3ECCD3CF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:05:00]
979*2^1004385-1 is not prime.  Res64: 70D450E9A0597068  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:05:03]
941*2^1004374-1 is not prime.  Res64: AA6DB444C22811FD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:05:06]
601*2^1004375-1 is not prime.  Res64: 73210EC7C696E4EB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 08:06:31]
697*2^1004381-1 is not prime.  Res64: 33FA16A811A2E411  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 08:06:31]
717*2^1004381-1 is not prime.  Res64: 15C8B5BD92350A59  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:07:40]
985*2^1004375-1 is not prime.  Res64: 4B0D214798B5FEB7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:07:40]
657*2^1004376-1 is not prime.  Res64: C3F8C863B5966684  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:07:59]
759*2^1004388-1 is not prime.  Res64: D2DB98E0C070C4CC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:09:58]
635*2^1004386-1 is not prime.  Res64: 4684DC4D5C0A53DF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:10:00]
873*2^1004386-1 is not prime.  Res64: 6249E83ABF25B3C2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:10:18]
601*2^1004387-1 is not prime.  Res64: EF0AF6F5B906F426  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:10:19]
631*2^1004387-1 is not prime.  Res64: 6EA82B93D923C538  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:12:01]
711*2^1004387-1 is not prime.  Res64: 24B2BD5DED85DAE2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:12:02]
973*2^1004387-1 is not prime.  Res64: 54DA0BE0C2F7235A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:12:32]
619*2^1004389-1 is not prime.  Res64: 2337FA3FEEB233F1  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 08:14:32]
885*2^1004380-1 is not prime.  Res64: A40F34E9906A1EC6  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 08:14:33]
933*2^1004380-1 is not prime.  Res64: 7D541FD967852D91  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:15:25]
731*2^1004390-1 is not prime.  Res64: 4B745BB8AB33BA85  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:16:06]
797*2^1004388-1 is not prime.  Res64: 44D36D41F119E3E2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:16:07]
819*2^1004388-1 is not prime.  Res64: 2E809619E85AC56D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:19:56]
871*2^1004391-1 is not prime.  Res64: 3026186AB6563393  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:22:49]
717*2^1004392-1 is not prime.  Res64: C6593076A93B297C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:25:12]
743*2^1004390-1 is not prime.  Res64: D7E51CF6DD0EAFD1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:25:12]
941*2^1004390-1 is not prime.  Res64: 617696361D00AAB8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:25:38]
639*2^1004391-1 is not prime.  Res64: 7807CB95505066BB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:25:38]
705*2^1004391-1 is not prime.  Res64: 051168547D91B259  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:27:07]
945*2^1004390-1 is not prime.  Res64: 1879CBCF1DF5763E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:27:08]
1001*2^1004390-1 is not prime.  Res64: 508A0FCFE7A417BF  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 08:28:37]
719*2^1004384-1 is not prime.  Res64: 9240D9E2D2CD60FF  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 08:28:37]
873*2^1004384-1 is not prime.  Res64: F1120F4D278181B6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:29:03]
923*2^1004392-1 is not prime.  Res64: DAC14B09425CA14D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 08:30:07]
795*2^1004385-1 is not prime.  Res64: C90940DE3DC13B01  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 08:30:07]
871*2^1004385-1 is not prime.  Res64: B084E22E7871AA19  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:31:19]
759*2^1004392-1 is not prime.  Res64: 18E8BC41CC4C0FC2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:31:20]
899*2^1004392-1 is not prime.  Res64: D629651EF246A0CB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:31:53]
999*2^1004392-1 is not prime.  Res64: 95AEED5EEE516B31  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:38:08]
987*2^1004393-1 is not prime.  Res64: 6AFC5150C15A2BE0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:38:43]
607*2^1004393-1 is not prime.  Res64: 43CE521BB19E1CDC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:38:44]
697*2^1004393-1 is not prime.  Res64: DDA65977256A9104  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:39:07]
715*2^1004393-1 is not prime.  Res64: 8EFD7B65D6C54682  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:39:07]
775*2^1004393-1 is not prime.  Res64: 753DAD5E77F40F27  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:40:38]
847*2^1004393-1 is not prime.  Res64: 1F1CDB8F3AC3EB96  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:40:38]
879*2^1004393-1 is not prime.  Res64: 59970A62822C22F6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:40:59]
917*2^1004394-1 is not prime.  Res64: 9801C4C8D773DCE7  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 08:46:23]
681*2^1004389-1 is not prime.  Res64: 389088891B0C9689  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 08:46:24]
747*2^1004389-1 is not prime.  Res64: AE117A8A0A6A2184  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:47:14]
951*2^1004394-1 is not prime.  Res64: 952DAB0A09452FFF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:48:08]
885*2^1004394-1 is not prime.  Res64: 714D5EB4DD9A7860  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:48:08]
905*2^1004394-1 is not prime.  Res64: C2402B139C844E34  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:50:05]
969*2^1004395-1 is not prime.  Res64: 80E98A15E44C6C3B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:52:13]
645*2^1004395-1 is not prime.  Res64: C8F3D6A41EAAAD9D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:52:14]
651*2^1004395-1 is not prime.  Res64: 6A5875C74F3A2784  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:52:37]
691*2^1004395-1 is not prime.  Res64: DFECCC6D0A00F59B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:52:38]
733*2^1004395-1 is not prime.  Res64: E4373C6940F56AFC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:54:12]
741*2^1004395-1 is not prime.  Res64: B514493907C1F3C5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:54:12]
841*2^1004395-1 is not prime.  Res64: 8CDD19A90E7E69E6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:54:36]
839*2^1004396-1 is not prime.  Res64: 0FE9A5AF3278F5A1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 08:57:30]
621*2^1004397-1 is not prime.  Res64: 3A3351C854965E49  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:02:00]
603*2^1004398-1 is not prime.  Res64: 3B6BDDE8608B2B5D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:04:48]
897*2^1004396-1 is not prime.  Res64: D9F5894BC3191D34  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:04:50]
963*2^1004396-1 is not prime.  Res64: 6CF0E50C4955C00A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:04:51]
611*2^1004398-1 is not prime.  Res64: 0FBCA9932784D57F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:05:43]
649*2^1004397-1 is not prime.  Res64: 8CB383448F95ECE3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:05:45]
781*2^1004397-1 is not prime.  Res64: 3390D1C5711501BF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:06:07]
835*2^1004397-1 is not prime.  Res64: 050DECBDB1267402  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:06:09]
871*2^1004397-1 is not prime.  Res64: 17A4EA5613356F4B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:09:27]
671*2^1004398-1 is not prime.  Res64: 0C001A0C948026C3  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:09:59]
611*2^1004394-1 is not prime.  Res64: 3A4A73D0D7580E77  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:10:00]
755*2^1004394-1 is not prime.  Res64: D7B0E014E5A529E8  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:10:09]
891*2^1004391-1 is not prime.  Res64: 7B7E4C49BC3DAFF5  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:10:10]
895*2^1004391-1 is not prime.  Res64: 3FC62C15D87E52A5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:10:57]
861*2^1004383-1 is not prime.  Res64: 01ECAC1DFF0D112C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:10:57]
951*2^1004383-1 is not prime.  Res64: CE4E37816FD2FC81  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:10:58]
891*2^1004397-1 is not prime.  Res64: 96508BB7E09D2B51  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:10:59]
999*2^1004397-1 is not prime.  Res64: 507A607C4D7A0B3D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:12:12]
773*2^1004398-1 is not prime.  Res64: E7B691AB6B3C17D6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:18:22]
731*2^1004398-1 is not prime.  Res64: AA3A7318B16CBDE9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:18:22]
743*2^1004398-1 is not prime.  Res64: AA0E39987AB0ADE3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:18:39]
943*2^1004399-1 is not prime.  Res64: 09338F0438F34AA0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:19:18]
669*2^1004399-1 is not prime.  Res64: 59601D975BC41654  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:19:18]
745*2^1004399-1 is not prime.  Res64: 3C1C7789FFDA161E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:19:36]
645*2^1004401-1 is not prime.  Res64: 9AEB38587A2BB61F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:21:17]
763*2^1004399-1 is not prime.  Res64: 56F40639D3DDEAFB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:21:17]
889*2^1004399-1 is not prime.  Res64: 8871BCC7F4BD0776  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:24:17]
889*2^1004393-1 is not prime.  Res64: 7B1AB8DDB4910D6D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:24:17]
955*2^1004393-1 is not prime.  Res64: 7A94DBE708288C93  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:25:28]
799*2^1004389-1 is not prime.  Res64: 21BAF9E591211AB5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:25:28]
855*2^1004389-1 is not prime.  Res64: 4941B6E94E25CD5C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:26:03]
835*2^1004401-1 is not prime.  Res64: 477B5E419EC923F5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:26:13]
899*2^1004400-1 is not prime.  Res64: E15C9A9AA9652B6A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:26:13]
619*2^1004401-1 is not prime.  Res64: D90A4DA220EA3093  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:26:52]
633*2^1004396-1 is not prime.  Res64: 7C024C12E7772A74  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:26:53]
717*2^1004396-1 is not prime.  Res64: 026C180396484602  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:27:01]
735*2^1004402-1 is not prime.  Res64: F751CD7EFA3A2F14  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:31:34]
879*2^1004388-1 is not prime.  Res64: D9254732032915C9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:31:34]
975*2^1004388-1 is not prime.  Res64: 38924BF444BF7143  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:31:52]
727*2^1004401-1 is not prime.  Res64: 18A974E771ABB689  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:31:53]
775*2^1004401-1 is not prime.  Res64: 04F2848136207726  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:34:24]
895*2^1004401-1 is not prime.  Res64: E03CB6B81BBA1943  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:34:25]
675*2^1004402-1 is not prime.  Res64: 3625F7E43BAC927E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:34:28]
719*2^1004404-1 is not prime.  Res64: 0A6A4D4DD4BEB3C4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:35:08]
901*2^1004403-1 is not prime.  Res64: 56855498915574D0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:36:21]
801*2^1004402-1 is not prime.  Res64: FFC79A63BD63B7D6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:36:22]
945*2^1004402-1 is not prime.  Res64: 3BB660102596E1E7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:39:46]
615*2^1004404-1 is not prime.  Res64: 1BDF27F4A5C0F315  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:39:47]
663*2^1004404-1 is not prime.  Res64: 81FC4C27D434A97B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:41:52]
847*2^1004405-1 is not prime.  Res64: 3D0406B2489C94BB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:44:17]
939*2^1004405-1 is not prime.  Res64: 698350332ECDC889  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:46:57]
825*2^1004404-1 is not prime.  Res64: DDBDF85C0DA00A23  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:46:58]
903*2^1004404-1 is not prime.  Res64: B5016CE09C4606D7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:49:32]
995*2^1004404-1 is not prime.  Res64: 26545C48ADFA94EA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:49:33]
691*2^1004405-1 is not prime.  Res64: 1B705F5E5B9B12ED  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:50:13]
615*2^1004400-1 is not prime.  Res64: C93ABEB1BDAB29BD  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:50:13]
629*2^1004400-1 is not prime.  Res64: F45B8EF4088636FB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:50:44]
669*2^1004400-1 is not prime.  Res64: 161C77F9BB26B588  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 09:50:44]
689*2^1004400-1 is not prime.  Res64: 27359D1617F714AC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:51:00]
921*2^1004406-1 is not prime.  Res64: 8F7308D87DF65548  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:51:25]
985*2^1004405-1 is not prime.  Res64: 6F2CE25163C1CC83  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:51:26]
671*2^1004406-1 is not prime.  Res64: EEB49FAB7BE48491  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:53:16]
711*2^1004406-1 is not prime.  Res64: 4FB5DED2190161AA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:53:17]
747*2^1004406-1 is not prime.  Res64: A62B7868B21CB758  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 09:53:24]
947*2^1004406-1 is not prime.  Res64: 368C1C7C3591B76E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:00:09]
973*2^1004407-1 is not prime.  Res64: 100EF4362F50E727  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:02:01]
983*2^1004406-1 is not prime.  Res64: 68E6B25BECD7B734  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:02:03]
601*2^1004407-1 is not prime.  Res64: C39D590EB59D505E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:02:33]
899*2^1004408-1 is not prime.  Res64: B147E1E5D9F5F256  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:03:01]
735*2^1004407-1 is not prime.  Res64: 81AC8B5227DC4C53  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:03:01]
759*2^1004407-1 is not prime.  Res64: 4C86633965EDDFD3  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:04:37]
663*2^1004403-1 is not prime.  Res64: 29BE9F359CCB7F33  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:04:37]
871*2^1004403-1 is not prime.  Res64: F90D732591C17CFE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:04:55]
819*2^1004408-1 is not prime.  Res64: C6177C6FB98C22B9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:04:56]
825*2^1004408-1 is not prime.  Res64: 6B9AF4435C468D6F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:07:17]
665*2^1004404-1 is not prime.  Res64: 95F37D899064B5F3  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:07:19]
677*2^1004404-1 is not prime.  Res64: 21EE249877D77672  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:08:25]
833*2^1004408-1 is not prime.  Res64: 869097FAD87CC1B6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:08:25]
893*2^1004408-1 is not prime.  Res64: 09680F1041C2AF97  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:15:37]
727*2^1004409-1 is not prime.  Res64: 3AF2B07997DD49CB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:15:38]
741*2^1004409-1 is not prime.  Res64: 32713704963F5552  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:16:32]
745*2^1004409-1 is not prime.  Res64: FA7D52D65D8D7037  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:16:33]
647*2^1004410-1 is not prime.  Res64: 37EFE38A923C0B64  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:18:27]
777*2^1004410-1 is not prime.  Res64: 1B5657B27DF386A5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:18:27]
821*2^1004410-1 is not prime.  Res64: A2FCE5A6C5AD6FB5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:21:57]
645*2^1004411-1 is not prime.  Res64: 4D7B5BEC826C9F9D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:21:57]
741*2^1004411-1 is not prime.  Res64: B1E2E45C9EA1C828  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:29:08]
781*2^1004411-1 is not prime.  Res64: 8F86F08BA7D4B081  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:29:09]
783*2^1004411-1 is not prime.  Res64: 85A21073BF5E8D1F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:30:05]
789*2^1004411-1 is not prime.  Res64: A195ACE8DA964910  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:30:05]
841*2^1004411-1 is not prime.  Res64: DF33AA5012BBCCAB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:30:10]
717*2^1004400-1 is not prime.  Res64: AC4AE14794682CF3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:30:10]
857*2^1004400-1 is not prime.  Res64: 93C278BE6FD08AA7  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:30:16]
805*2^1004407-1 is not prime.  Res64: ED02760F409C03BB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:30:16]
819*2^1004407-1 is not prime.  Res64: DC8296203ED0EB18  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:33:34]
979*2^1004411-1 is not prime.  Res64: E8B80369EFD803D1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:33:34]
635*2^1004412-1 is not prime.  Res64: AD87A35CBFCE34E9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:35:29]
665*2^1004412-1 is not prime.  Res64: 135CAD4B44E0FFE6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:35:29]
695*2^1004412-1 is not prime.  Res64: 37A6E357B3B0C8B9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:44:14]
875*2^1004412-1 is not prime.  Res64: 2A919631E7FA454D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:44:15]
887*2^1004412-1 is not prime.  Res64: 6CCBBE1E1E15854B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:44:51]
707*2^1004410-1 is not prime.  Res64: B79FC5735FBEF607  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:44:51]
773*2^1004410-1 is not prime.  Res64: 6C31DC5595B17AF8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:45:10]
929*2^1004412-1 is not prime.  Res64: 547F9E98327DE856  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:45:11]
625*2^1004413-1 is not prime.  Res64: 594D0BA01EF089B2  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:46:01]
883*2^1004407-1 is not prime.  Res64: B912704F048000B8  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:46:01]
933*2^1004407-1 is not prime.  Res64: A8F42D06C47DF44A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:50:18]
897*2^1004414-1 is not prime.  Res64: CCF30B71DC4C4A7A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:50:19]
923*2^1004414-1 is not prime.  Res64: ABD967F269B3579C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:50:35]
987*2^1004414-1 is not prime.  Res64: 037EB2DC4CFD2626  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:50:36]
651*2^1004415-1 is not prime.  Res64: 2EF503181049B5A9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:51:21]
783*2^1004404-1 is not prime.  Res64: 09D5F0A77C76F269  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:51:21]
813*2^1004404-1 is not prime.  Res64: 89F8450EA1D52E3A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:55:27]
831*2^1004410-1 is not prime.  Res64: 7852E64D16822F7A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 10:55:27]
981*2^1004410-1 is not prime.  Res64: 950338F1E1EF54B0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:57:45]
765*2^1004415-1 is not prime.  Res64: 121891938F412C22  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:57:46]
781*2^1004415-1 is not prime.  Res64: 83C12703B165EA04  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:58:43]
785*2^1004416-1 is not prime.  Res64: B567794E32E6B806  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 10:58:44]
845*2^1004416-1 is not prime.  Res64: 9C682BA5814A37D3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:03:01]
891*2^1004403-1 is not prime.  Res64: 8F346CB2EA371223  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:03:03]
895*2^1004403-1 is not prime.  Res64: 9F3AD803EF5F6577  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:03:48]
801*2^1004417-1 is not prime.  Res64: 5C5B1C12CACEBEBF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:03:50]
861*2^1004417-1 is not prime.  Res64: EEFFF8EC0F9C3858  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:07:23]
937*2^1004417-1 is not prime.  Res64: 917CAA8FB7E766EB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:07:23]
955*2^1004417-1 is not prime.  Res64: 4249F52EF4A5B987  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 11:10:01]
741*2^1004413-1 is not prime.  Res64: 1463564A95BA8BAB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 11:10:01]
635*2^1004414-1 is not prime.  Res64: 73EADDD9E5C1FF03  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:11:15]
695*2^1004418-1 is not prime.  Res64: 2865CECA3F9B2BAA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:11:16]
773*2^1004418-1 is not prime.  Res64: 27ED422A9E1CC06F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:12:14]
801*2^1004418-1 is not prime.  Res64: 6E83A1EDFD619B72  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:12:16]
821*2^1004418-1 is not prime.  Res64: C4575B5377049576  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:18:59]
993*2^1004418-1 is not prime.  Res64: 117BD8506EE09118  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:19:00]
609*2^1004419-1 is not prime.  Res64: 7155586925310E7B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:20:59]
681*2^1004419-1 is not prime.  Res64: A9E114CDE1836236  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:20:59]
691*2^1004419-1 is not prime.  Res64: 70D55CBE88E042D5  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 11:24:58]
873*2^1004415-1 is not prime.  Res64: D8773B1A7AD66C6C  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 11:24:58]
675*2^1004416-1 is not prime.  Res64: B118FFF4A8378835  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:25:53]
699*2^1004420-1 is not prime.  Res64: 07A3427AAE9331BB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:25:53]
759*2^1004420-1 is not prime.  Res64: 75B6760E7D94DB2C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:26:24]
835*2^1004419-1 is not prime.  Res64: C51E268812809A8A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:26:24]
891*2^1004419-1 is not prime.  Res64: A0424B99C9CE1454  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:34:08]
929*2^1004420-1 is not prime.  Res64: 4B9224D55610C840  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:34:09]
607*2^1004421-1 is not prime.  Res64: F6539932BDA919D1  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 11:35:47]
651*2^1004418-1 is not prime.  Res64: 32CA53C39A4EFF04  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 11:35:47]
683*2^1004418-1 is not prime.  Res64: 90F06C61AD21C77C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:37:43]
975*2^1004421-1 is not prime.  Res64: 01B17D86EBB09373  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:37:44]
999*2^1004421-1 is not prime.  Res64: C7367E4E9887BC0D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:39:30]
723*2^1004422-1 is not prime.  Res64: BB0D871D3CF39462  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:39:30]
731*2^1004422-1 is not prime.  Res64: A033A4AA8E490D12  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:39:54]
801*2^1004422-1 is not prime.  Res64: 2F512CA42944414E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:39:55]
821*2^1004422-1 is not prime.  Res64: 50B97E292A6DE707  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 11:40:48]
927*2^1004416-1 is not prime.  Res64: 8775F216A836BE9F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 11:40:48]
969*2^1004416-1 is not prime.  Res64: 16D557DD07637D88  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:49:06]
679*2^1004413-1 is not prime.  Res64: 7F1DDBEC31A8E8AB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:49:06]
721*2^1004413-1 is not prime.  Res64: 9C050621DD399D8A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:49:15]
825*2^1004422-1 is not prime.  Res64: 4F70F61F372A1187  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:49:16]
945*2^1004422-1 is not prime.  Res64: F4ED8A329434925B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 11:50:02]
741*2^1004419-1 is not prime.  Res64: 90E326B073E99BCE  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 11:50:02]
793*2^1004419-1 is not prime.  Res64: 76F2134731959E74  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:51:18]
621*2^1004423-1 is not prime.  Res64: 46073965DC436C3C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:51:19]
675*2^1004423-1 is not prime.  Res64: B7F8F35600E92392  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:53:07]
715*2^1004423-1 is not prime.  Res64: 3C8BD0F3F4FE6A44  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:53:07]
813*2^1004423-1 is not prime.  Res64: 4ED9ED96CCF0D41A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:54:59]
981*2^1004423-1 is not prime.  Res64: FB16CD30503C4AB8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 11:55:00]
675*2^1004424-1 is not prime.  Res64: 97FACDC512ACF0DB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:04:51]
645*2^1004425-1 is not prime.  Res64: 1F5ECB2D54D1FCF8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:04:52]
741*2^1004425-1 is not prime.  Res64: D98FA860ED3578B6  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 12:05:18]
603*2^1004422-1 is not prime.  Res64: 5C6A0E40B63FE86B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 12:05:20]
677*2^1004422-1 is not prime.  Res64: 598C3411DF78C53C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:06:00]
915*2^1004424-1 is not prime.  Res64: 1891EEC82517B8C7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:06:01]
947*2^1004424-1 is not prime.  Res64: D3FFC981935D125A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:09:51]
895*2^1004425-1 is not prime.  Res64: 80DB762297E2AEE0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:09:51]
897*2^1004425-1 is not prime.  Res64: DEFA4959E742A37F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:09:54]
611*2^1004418-1 is not prime.  Res64: 17DD6F3F562179F3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:09:54]
635*2^1004418-1 is not prime.  Res64: F932E1E7002B2850  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:11:41]
915*2^1004425-1 is not prime.  Res64: F5E9A9B3239066EF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:11:42]
981*2^1004425-1 is not prime.  Res64: 9CB2EA3994A0A257  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:18:24]
615*2^1004426-1 is not prime.  Res64: A2B438E0E2D46409  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:18:24]
711*2^1004426-1 is not prime.  Res64: 82594626EAC707F4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:19:32]
773*2^1004426-1 is not prime.  Res64: D41618A477860573  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:19:32]
857*2^1004426-1 is not prime.  Res64: 0B244030332608EF  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 12:21:25]
773*2^1004424-1 is not prime.  Res64: 11DEAE9EDCC16A96  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 12:21:25]
843*2^1004424-1 is not prime.  Res64: 3C9428C674905C80  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 12:23:22]
951*2^1004422-1 is not prime.  Res64: 0788F52CC364EA34  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 12:23:22]
615*2^1004423-1 is not prime.  Res64: AA6926A28ABB63F1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:24:59]
867*2^1004426-1 is not prime.  Res64: 7D5B132BB3B4BE05  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:24:59]
903*2^1004426-1 is not prime.  Res64: 18C8460D889924EA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:26:52]
703*2^1004427-1 is not prime.  Res64: 8EBC65AEE55C7A47  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:26:52]
901*2^1004427-1 is not prime.  Res64: 0928098F346AD028  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:29:54]
825*2^1004418-1 is not prime.  Res64: 583D15676805A36A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:29:54]
941*2^1004418-1 is not prime.  Res64: 8B7A49AB962C21A6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:33:00]
647*2^1004428-1 is not prime.  Res64: 61B61C299D91D78C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:33:00]
765*2^1004428-1 is not prime.  Res64: 76AF8A1669653523  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:35:09]
903*2^1004427-1 is not prime.  Res64: 0BC021BB3B3C3CBA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:35:10]
999*2^1004427-1 is not prime.  Res64: 0CC0F7E507028B81  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 12:37:47]
993*2^1004424-1 is not prime.  Res64: D5AF8BD46777B50A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 12:37:47]
625*2^1004425-1 is not prime.  Res64: FE7672E7ACDC1BD5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:38:28]
685*2^1004429-1 is not prime.  Res64: AF9A8E2B960352A5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:38:28]
727*2^1004429-1 is not prime.  Res64: 92A62E3122221E34  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:40:23]
741*2^1004429-1 is not prime.  Res64: B1228A6FD98C2AE7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:40:24]
745*2^1004429-1 is not prime.  Res64: D1CD1814BE8E07BD  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 12:46:15]
717*2^1004426-1 is not prime.  Res64: 5593A9EAE2E0D701  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 12:46:15]
743*2^1004426-1 is not prime.  Res64: 49EDE372848D7A24  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:48:07]
949*2^1004429-1 is not prime.  Res64: 1D8563EC29B38614  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:48:07]
641*2^1004430-1 is not prime.  Res64: E20FE26AB906FCA1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:48:42]
741*2^1004430-1 is not prime.  Res64: CAC4B21E699A26F8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:48:42]
791*2^1004430-1 is not prime.  Res64: 466BC8C3E419B1C3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:51:57]
639*2^1004431-1 is not prime.  Res64: 03394D8F638DFAB8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:51:58]
789*2^1004431-1 is not prime.  Res64: E5026E7805CBAB88  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:55:32]
871*2^1004431-1 is not prime.  Res64: 2E9AD5E3DE456568  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 12:55:32]
889*2^1004431-1 is not prime.  Res64: 275DEFC2B4649FAE  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 13:01:31]
783*2^1004428-1 is not prime.  Res64: 889342D9384E7E7B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 13:01:32]
797*2^1004428-1 is not prime.  Res64: 785FE795A0856682  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:01:38]
717*2^1004432-1 is not prime.  Res64: 03BD7F8A30A56E3A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:01:39]
767*2^1004432-1 is not prime.  Res64: 7BFC850DEAF9C86D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:02:14]
813*2^1004432-1 is not prime.  Res64: A172143E2B5DC59B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:02:15]
827*2^1004432-1 is not prime.  Res64: E97E4E8C6E7F95ED  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:06:51]
857*2^1004424-1 is not prime.  Res64: 05943516C5707AF1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:06:51]
875*2^1004424-1 is not prime.  Res64: BBD8644A739D794E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:07:03]
843*2^1004432-1 is not prime.  Res64: 03B9EBF39A0CA85C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:07:05]
915*2^1004432-1 is not prime.  Res64: 0C5324DBE1C8020F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:09:02]
649*2^1004433-1 is not prime.  Res64: 83AE72D83A35F13F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:09:03]
795*2^1004433-1 is not prime.  Res64: 2813DFECFE46C4DD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:15:48]
717*2^1004434-1 is not prime.  Res64: EE381356AAEBF01A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:15:48]
609*2^1004435-1 is not prime.  Res64: 8AC3A04D142C1A00  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:16:24]
649*2^1004427-1 is not prime.  Res64: C5BC5A05BD79F33C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:16:24]
771*2^1004429-1 is not prime.  Res64: D6CAA61F08612C6E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:18:32]
979*2^1004433-1 is not prime.  Res64: 6E0128823B7B41EA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:18:32]
999*2^1004433-1 is not prime.  Res64: 9768B6FA3D08BDC3  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 13:18:39]
975*2^1004428-1 is not prime.  Res64: 265193D16974684D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 13:18:39]
989*2^1004428-1 is not prime.  Res64: 12E96262E61285BC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:22:16]
859*2^1004435-1 is not prime.  Res64: 6438BBC5F5623347  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:22:16]
949*2^1004435-1 is not prime.  Res64: 23D3B812DB6D53F3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:24:14]
979*2^1004435-1 is not prime.  Res64: 6FE09C70FCAC37EF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:24:14]
639*2^1004436-1 is not prime.  Res64: C9C37ADBB7A255C8  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 13:25:31]
863*2^1004430-1 is not prime.  Res64: B5C994A9B9AA1312  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 13:25:31]
1001*2^1004430-1 is not prime.  Res64: F76B8518EBA5AB09  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:29:21]
695*2^1004436-1 is not prime.  Res64: AAA8AA9A41AE7364  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:29:22]
759*2^1004436-1 is not prime.  Res64: 5D2AE224CF8101C4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:32:02]
779*2^1004436-1 is not prime.  Res64: 3DB1E3B8AE499491  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:32:02]
879*2^1004436-1 is not prime.  Res64: E63922E7FF3A4938  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 13:33:57]
931*2^1004431-1 is not prime.  Res64: 4F3DDFC1EA95E493  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 13:33:58]
635*2^1004432-1 is not prime.  Res64: 5D54B92E84BD67C9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:35:52]
801*2^1004437-1 is not prime.  Res64: 48D90E643E2F552B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:35:52]
835*2^1004437-1 is not prime.  Res64: 1BE9003911F4E1D8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:37:48]
861*2^1004437-1 is not prime.  Res64: 1A937B55DBFC4ED4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:37:49]
871*2^1004437-1 is not prime.  Res64: 871D5B51A9D8C41C  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 13:41:16]
819*2^1004433-1 is not prime.  Res64: 64866D960CB3D7EF  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 13:41:16]
867*2^1004433-1 is not prime.  Res64: C3B8D5339B428AD2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:42:55]
755*2^1004438-1 is not prime.  Res64: C0BF87E62BE5533A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:42:55]
797*2^1004438-1 is not prime.  Res64: 6EC213514373DD1B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:48:47]
923*2^1004438-1 is not prime.  Res64: 6F328473B926F92C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:48:48]
941*2^1004438-1 is not prime.  Res64: 02FD42A12C777294  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:50:59]
859*2^1004439-1 is not prime.  Res64: 7839C3E084F7327B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:51:00]
919*2^1004439-1 is not prime.  Res64: 7AD6E95F986DE040  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:52:57]
951*2^1004439-1 is not prime.  Res64: 886D1986DAA61E53  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:52:58]
713*2^1004440-1 is not prime.  Res64: 36698F141A0C2F51  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:58:02]
819*2^1004440-1 is not prime.  Res64: FBBAB28DFA5B8310  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 13:58:02]
909*2^1004440-1 is not prime.  Res64: 555B1D92205C9AD1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:02:19]
601*2^1004441-1 is not prime.  Res64: CB4C9C0F3D890D6F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:02:19]
669*2^1004441-1 is not prime.  Res64: 28846B45AA40D0C4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:04:30]
789*2^1004441-1 is not prime.  Res64: 53077E6E22CF1473  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:04:31]
811*2^1004441-1 is not prime.  Res64: 97AB7944D087C44A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:06:16]
927*2^1004436-1 is not prime.  Res64: BDC7C4C65CACEA8D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:06:16]
691*2^1004437-1 is not prime.  Res64: 6B7FEC2BF636E17C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:08:05]
955*2^1004441-1 is not prime.  Res64: A0FA4DB8CFE027C1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:08:07]
627*2^1004442-1 is not prime.  Res64: 87E3F9EB2703E97C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:11:32]
633*2^1004442-1 is not prime.  Res64: A1B5F1A3413E1C71  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:11:35]
651*2^1004442-1 is not prime.  Res64: B59A1D922F785063  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:12:51]
937*2^1004437-1 is not prime.  Res64: FBF72479B058EA65  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:12:52]
663*2^1004438-1 is not prime.  Res64: 1E9E6DFC9BE2DE43  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:14:27]
625*2^1004439-1 is not prime.  Res64: 32E464AE38A523D8  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:14:27]
843*2^1004439-1 is not prime.  Res64: 35881277414452F7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:15:54]
683*2^1004442-1 is not prime.  Res64: 1822D2AE64C44693  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:15:54]
755*2^1004442-1 is not prime.  Res64: B1029B6AC096FCD8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:19:28]
669*2^1004427-1 is not prime.  Res64: E6ECF5BEB9F1170A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:21:19]
951*2^1004442-1 is not prime.  Res64: 356EF4EB4B15B4AF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:21:20]
977*2^1004442-1 is not prime.  Res64: 40D1EA76A1983167  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:21:37]
765*2^1004443-1 is not prime.  Res64: 3126C08AAC0C99A8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:21:38]
849*2^1004443-1 is not prime.  Res64: ADCFB2AF95AC347F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:21:41]
717*2^1004440-1 is not prime.  Res64: 520DC0EF373BB62B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:21:41]
777*2^1004440-1 is not prime.  Res64: 05BC564B06D5234E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:28:20]
919*2^1004443-1 is not prime.  Res64: 48DABC755B8C9F5D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:28:21]
925*2^1004443-1 is not prime.  Res64: 85C1729667E1E34C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:29:25]
787*2^1004445-1 is not prime.  Res64: 95FD23EF9E5373C5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:29:25]
789*2^1004445-1 is not prime.  Res64: A2D8D4370583DE75  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:36:28]
975*2^1004445-1 is not prime.  Res64: AF2B6B4936CC01C4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:36:28]
611*2^1004446-1 is not prime.  Res64: 323514314097A5C0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:38:21]
881*2^1004446-1 is not prime.  Res64: DE137BAA3D0F3014  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:38:22]
975*2^1004446-1 is not prime.  Res64: 5854025BE38B05DC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:39:33]
879*2^1004429-1 is not prime.  Res64: 1E434417E9E40135  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:41:50]
861*2^1004447-1 is not prime.  Res64: 6B60DA59C14D82FD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:41:51]
879*2^1004447-1 is not prime.  Res64: 1E1791F4F0BB2BB4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:46:10]
949*2^1004447-1 is not prime.  Res64: B5AA122B8C63AFFC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:46:11]
993*2^1004447-1 is not prime.  Res64: 173BB5A35B34C030  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:46:19]
621*2^1004443-1 is not prime.  Res64: 7D2E1C9C1DD0A961  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:46:19]
735*2^1004443-1 is not prime.  Res64: 8E685E98205F9E04  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:49:57]
633*2^1004448-1 is not prime.  Res64: EF8070114C97BC33  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:49:58]
657*2^1004448-1 is not prime.  Res64: 4C6AC9108D7AF0E1  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:52:27]
677*2^1004444-1 is not prime.  Res64: 2C28AAB90F6A180F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 14:52:28]
795*2^1004444-1 is not prime.  Res64: 47143A5A0809E727  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:55:05]
899*2^1004448-1 is not prime.  Res64: 7F729BF3D8DC87B6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:55:05]
909*2^1004448-1 is not prime.  Res64: F552A5DDA43E27DD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:55:21]
691*2^1004449-1 is not prime.  Res64: 949F96FA490D33B5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 14:55:21]
741*2^1004449-1 is not prime.  Res64: AA96D67F5055198D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:01:17]
747*2^1004449-1 is not prime.  Res64: CF9952AFCCFDAEE1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:01:18]
955*2^1004449-1 is not prime.  Res64: 2A60EE6A1267C500  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 15:02:16]
953*2^1004444-1 is not prime.  Res64: E459CAC0B3D36608  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 15:02:16]
625*2^1004445-1 is not prime.  Res64: B87D7EBF614FF19C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:03:29]
635*2^1004450-1 is not prime.  Res64: 3F9BCF3B9941ECAC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:03:30]
665*2^1004450-1 is not prime.  Res64: 67648C133CC10C1B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:08:36]
791*2^1004450-1 is not prime.  Res64: A52A62D2083606A5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:08:37]
797*2^1004450-1 is not prime.  Res64: A03095E88B44D212  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:12:04]
921*2^1004450-1 is not prime.  Res64: E62CA4CB7FD7B510  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:12:04]
953*2^1004450-1 is not prime.  Res64: 9D798E04B851151C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:14:49]
625*2^1004451-1 is not prime.  Res64: D4316488A5C413EF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:14:50]
705*2^1004451-1 is not prime.  Res64: 05498725796ACC41  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 15:16:59]
981*2^1004446-1 is not prime.  Res64: 5BECAA715389F908  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 15:16:59]
987*2^1004446-1 is not prime.  Res64: B424FDEB564AAD8E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:17:00]
635*2^1004452-1 is not prime.  Res64: CA532D04772BB0D4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:17:01]
689*2^1004452-1 is not prime.  Res64: E2D82A86BB198C53  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:18:37]
669*2^1004435-1 is not prime.  Res64: F944D28DA0668674  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:18:38]
783*2^1004435-1 is not prime.  Res64: 8667485D3072BD1B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:22:10]
743*2^1004452-1 is not prime.  Res64: 52BBF5E1C9DC2965  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:22:11]
749*2^1004452-1 is not prime.  Res64: B663A59B9B8BDA61  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:25:41]
779*2^1004452-1 is not prime.  Res64: F38AF9EACEBD4A55  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:25:41]
873*2^1004452-1 is not prime.  Res64: 91356EA75B1664AA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:30:32]
697*2^1004453-1 is not prime.  Res64: AD94ED72E6B0C891  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:30:32]
641*2^1004454-1 is not prime.  Res64: 91FE1CDB03AE118B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:31:32]
887*2^1004452-1 is not prime.  Res64: 5EC7DE680B99A907  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:31:33]
933*2^1004452-1 is not prime.  Res64: 94DB839E32D0486F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 15:32:05]
735*2^1004450-1 is not prime.  Res64: 3C0543E202002622  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 15:32:05]
743*2^1004450-1 is not prime.  Res64: CF78485B799F844E  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 15:34:09]
999*2^1004449-1 is not prime.  Res64: 393A6FACC12D4306  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 15:34:09]
633*2^1004450-1 is not prime.  Res64: 92F8620865C7A2EF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:37:20]
807*2^1004454-1 is not prime.  Res64: 3D73F625D094B289  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:37:21]
893*2^1004454-1 is not prime.  Res64: 20C204755709F59F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:42:25]
975*2^1004454-1 is not prime.  Res64: DB5551F8D7B5B9AC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:42:25]
993*2^1004454-1 is not prime.  Res64: BE6E4A34DD050FDC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:44:00]
693*2^1004455-1 is not prime.  Res64: CEBB9C7C619D3176  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:44:00]
843*2^1004455-1 is not prime.  Res64: 364784110EAA12E4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:48:18]
915*2^1004455-1 is not prime.  Res64: 758896436E208FE3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:48:19]
969*2^1004455-1 is not prime.  Res64: 9777D9758F4859B9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:49:08]
805*2^1004445-1 is not prime.  Res64: 8EAD97A20FE6E30E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:49:08]
919*2^1004445-1 is not prime.  Res64: 7A14A20697138F17  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 15:49:50]
801*2^1004451-1 is not prime.  Res64: 94E4B7B795287B5C  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 15:49:51]
955*2^1004451-1 is not prime.  Res64: BE18BFEECD271513  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:50:54]
827*2^1004456-1 is not prime.  Res64: 3F58997343DD1834  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:50:54]
873*2^1004456-1 is not prime.  Res64: B8F2861E4BC24812  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:57:31]
983*2^1004456-1 is not prime.  Res64: C9D52DD569E15420  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:57:32]
711*2^1004457-1 is not prime.  Res64: 640E1A7EBC3044DB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:59:07]
861*2^1004457-1 is not prime.  Res64: 9BEE7D425ADF6BE3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 15:59:07]
885*2^1004457-1 is not prime.  Res64: 738CF855B1E64B32  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:03:32]
949*2^1004457-1 is not prime.  Res64: 4BC1C49F61D6E37C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:03:33]
723*2^1004458-1 is not prime.  Res64: C87BDDD9368A6030  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:04:34]
845*2^1004458-1 is not prime.  Res64: 9B3A917DF5BE3B77  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:04:36]
631*2^1004459-1 is not prime.  Res64: 4269FBC28BF5C49E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:09:20]
975*2^1004448-1 is not prime.  Res64: ED35033EC6208593  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:09:22]
675*2^1004449-1 is not prime.  Res64: 124FAC37CD5D199D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:11:13]
741*2^1004459-1 is not prime.  Res64: 99E1EE67CCC9ED98  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:11:15]
745*2^1004459-1 is not prime.  Res64: 6A093B7B19806178  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:11:28]
939*2^1004452-1 is not prime.  Res64: F872D3B28A5F116A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:11:29]
989*2^1004452-1 is not prime.  Res64: 9A1CB6BE089AA0FC  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:11:40]
623*2^1004456-1 is not prime.  Res64: C1ADA760878396C9  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:11:40]
629*2^1004456-1 is not prime.  Res64: 8B9AC674750BB2B9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:12:55]
853*2^1004459-1 is not prime.  Res64: EAEC9608A0784DD6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:12:56]
859*2^1004459-1 is not prime.  Res64: E9945FC34A9ED33F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:14:16]
635*2^1004456-1 is not prime.  Res64: FDB699FABC5FD6DD  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:14:16]
657*2^1004456-1 is not prime.  Res64: 8BD631723465E8D8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:19:07]
879*2^1004459-1 is not prime.  Res64: 07E2F771D3D9EFDB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:19:07]
895*2^1004459-1 is not prime.  Res64: B1DA269CA89C6662  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:21:47]
909*2^1004459-1 is not prime.  Res64: 32818265534C23E1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:21:48]
921*2^1004459-1 is not prime.  Res64: CDDA83D76A461A33  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:25:01]
629*2^1004460-1 is not prime.  Res64: C8942BEE72BF84FE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:25:02]
633*2^1004460-1 is not prime.  Res64: D4D374DA9EA8797D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:28:22]
987*2^1004460-1 is not prime.  Res64: B04CE58C77621150  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:28:22]
835*2^1004461-1 is not prime.  Res64: 9409761FF86DFD06  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:30:16]
777*2^1004458-1 is not prime.  Res64: 1C9042E38A4882A9  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:30:16]
843*2^1004458-1 is not prime.  Res64: 2FC408AE9DE4F699  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:34:30]
999*2^1004461-1 is not prime.  Res64: 48679BD5A5A87FA9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:34:31]
645*2^1004462-1 is not prime.  Res64: 29AAADCEB2682634  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:35:28]
693*2^1004462-1 is not prime.  Res64: 28CED633EB4F4597  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:35:28]
857*2^1004462-1 is not prime.  Res64: 3018C7117BC267F8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:38:22]
663*2^1004454-1 is not prime.  Res64: F96A4CD4169A7EFE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:38:22]
741*2^1004454-1 is not prime.  Res64: 990F727AA5695732  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:42:01]
885*2^1004462-1 is not prime.  Res64: 803D286E75A6B617  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:42:01]
935*2^1004462-1 is not prime.  Res64: B2C230E5B980E3AD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:43:42]
941*2^1004462-1 is not prime.  Res64: 56C7A1EEF26CD708  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:43:42]
739*2^1004463-1 is not prime.  Res64: 3D140B8C2511DB93  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:48:09]
819*2^1004463-1 is not prime.  Res64: 83676BFB3F6E41D3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:48:09]
705*2^1004464-1 is not prime.  Res64: 5AF2F4D3688FE499  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:49:10]
825*2^1004464-1 is not prime.  Res64: 80936BA08C005F16  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:49:10]
833*2^1004464-1 is not prime.  Res64: 7EFB156D79D0BF0F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:51:44]
777*2^1004460-1 is not prime.  Res64: 0EA40EAEB28B8CE9  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:51:44]
783*2^1004460-1 is not prime.  Res64: 5BD8300A3B6A07FD  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:52:03]
669*2^1004460-1 is not prime.  Res64: 76541E7DBA9C3A0C  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 16:52:03]
767*2^1004460-1 is not prime.  Res64: 05B4536C0F93648F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:57:22]
927*2^1004464-1 is not prime.  Res64: C9560FE19B88DF15  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:57:22]
705*2^1004465-1 is not prime.  Res64: 0D5A376D5726CBDC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:57:25]
715*2^1004465-1 is not prime.  Res64: 9D5703397EFDCBD9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 16:57:25]
727*2^1004465-1 is not prime.  Res64: C9307E94E93C2038  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:01:52]
729*2^1004465-1 is not prime.  Res64: BA5842D0F8A69DC2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:01:54]
781*2^1004465-1 is not prime.  Res64: 34ECAB3F396537FD  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:02:11]
847*2^1004461-1 is not prime.  Res64: 6D6CB3BB74E40424  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:02:11]
961*2^1004461-1 is not prime.  Res64: CCEB4C78CE1B8761  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:04:30]
789*2^1004465-1 is not prime.  Res64: AB8FAEC0565FD694  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:04:31]
925*2^1004465-1 is not prime.  Res64: D865B9FB6537EBF2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:07:33]
737*2^1004458-1 is not prime.  Res64: BC8067F7131DE043  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:07:33]
765*2^1004458-1 is not prime.  Res64: E2ED122C9F2D19D9  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:10:17]
783*2^1004463-1 is not prime.  Res64: 0C583590E030C4A2  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:10:17]
789*2^1004463-1 is not prime.  Res64: C3750B58B52AF19F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:11:01]
649*2^1004467-1 is not prime.  Res64: 2610ECD38D23E126  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:11:03]
681*2^1004467-1 is not prime.  Res64: 1BC0176A1AB93BE9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:11:06]
691*2^1004467-1 is not prime.  Res64: FF5261020010A058  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:11:09]
769*2^1004467-1 is not prime.  Res64: D8627DFE8EDE9A38  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:15:30]
775*2^1004467-1 is not prime.  Res64: 6D9DFE7E1E04CFD8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:15:30]
813*2^1004467-1 is not prime.  Res64: 2B02F6C186890400  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:21:19]
885*2^1004467-1 is not prime.  Res64: F7D9B6E915A87975  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:21:20]
973*2^1004467-1 is not prime.  Res64: B424BF22171F3FCB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:24:44]
777*2^1004468-1 is not prime.  Res64: B629DF89D20146C5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:24:44]
789*2^1004468-1 is not prime.  Res64: DB29A0888A6E5E82  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:26:21]
875*2^1004468-1 is not prime.  Res64: 9E23C859B2ACDFE9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:26:21]
959*2^1004468-1 is not prime.  Res64: 38BD076591D6DEEB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:29:01]
625*2^1004469-1 is not prime.  Res64: D05DEEC37169051B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:29:02]
655*2^1004469-1 is not prime.  Res64: 3970C6430E18B853  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:31:53]
735*2^1004466-1 is not prime.  Res64: 7268842D42A2ED7B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:31:54]
861*2^1004466-1 is not prime.  Res64: CB2D18B6D147AC4E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:34:51]
747*2^1004469-1 is not prime.  Res64: 673E59E4CDCC9688  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:34:51]
769*2^1004469-1 is not prime.  Res64: 23EB7EB88F601431  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:36:31]
939*2^1004459-1 is not prime.  Res64: 6C582EC4B75F573E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:36:32]
609*2^1004460-1 is not prime.  Res64: 28A7FC1A1ADBBC07  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:39:51]
933*2^1004466-1 is not prime.  Res64: 7E0AEA3C4504C262  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:39:52]
603*2^1004467-1 is not prime.  Res64: 221738408F564DE2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:39:54]
835*2^1004469-1 is not prime.  Res64: FE09E235AB55E727  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:39:54]
919*2^1004469-1 is not prime.  Res64: 190EBAA40AA3E622  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:41:26]
975*2^1004469-1 is not prime.  Res64: 5F43FAE5D3C11730  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:41:27]
635*2^1004470-1 is not prime.  Res64: 86AF3655D6679A5F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:42:31]
785*2^1004470-1 is not prime.  Res64: B840027C31308327  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:42:31]
831*2^1004470-1 is not prime.  Res64: A6C7ED9C2A03706C  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:42:38]
829*2^1004467-1 is not prime.  Res64: C49EB203F1177C36  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:42:38]
871*2^1004467-1 is not prime.  Res64: 2ADD42543276BF83  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:48:21]
675*2^1004471-1 is not prime.  Res64: 23FC0000C27FB124  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:48:21]
711*2^1004471-1 is not prime.  Res64: 3E511FAF124E42AE  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:50:27]
689*2^1004468-1 is not prime.  Res64: 6A8AFB4EAC4F6B77  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 17:50:27]
707*2^1004468-1 is not prime.  Res64: 0847F3DB9650316B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:53:27]
717*2^1004472-1 is not prime.  Res64: 46D8A9F3672E94C6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:53:28]
737*2^1004472-1 is not prime.  Res64: 074C215B2904051D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:54:59]
767*2^1004472-1 is not prime.  Res64: 15D76188536707FC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:55:00]
797*2^1004472-1 is not prime.  Res64: 70D631565C62880A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:59:14]
893*2^1004472-1 is not prime.  Res64: 68697941F9A341D4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 17:59:15]
977*2^1004472-1 is not prime.  Res64: EF81A06AFAF64AB8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:01:53]
771*2^1004473-1 is not prime.  Res64: 62D6476FA059BBA6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:01:54]
817*2^1004473-1 is not prime.  Res64: 831F40742A293A22  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:05:40]
843*2^1004464-1 is not prime.  Res64: DC94E559E4A0D4DF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:05:41]
903*2^1004464-1 is not prime.  Res64: C2E10B0F91B9B516  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:07:01]
683*2^1004474-1 is not prime.  Res64: 986245F394568E26  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:07:04]
753*2^1004474-1 is not prime.  Res64: 06E267D6BF9542EC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:08:33]
773*2^1004474-1 is not prime.  Res64: EF1A12663E486D74  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:08:33]
813*2^1004474-1 is not prime.  Res64: C307438137C23816  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:12:46]
833*2^1004474-1 is not prime.  Res64: 404F020FA52ED975  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:12:47]
851*2^1004474-1 is not prime.  Res64: 95B102B77753AFC1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:18:38]
885*2^1004474-1 is not prime.  Res64: DFFC5A6378AF2E32  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:18:38]
941*2^1004474-1 is not prime.  Res64: F88BADE6512BB64F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 18:19:21]
863*2^1004470-1 is not prime.  Res64: 91D7C21E1A98FEB7  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 18:19:21]
911*2^1004470-1 is not prime.  Res64: 6E9AF5E7789B7AB3  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 18:20:23]
615*2^1004472-1 is not prime.  Res64: CA9620B7EF2215E3  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 18:20:23]
693*2^1004472-1 is not prime.  Res64: 17278D795647247E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:20:41]
735*2^1004475-1 is not prime.  Res64: 77D5BBC439D65597  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:20:42]
789*2^1004475-1 is not prime.  Res64: 5EFE0EEF08EDB226  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 18:23:01]
639*2^1004473-1 is not prime.  Res64: A03D136BEE3FDCFB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 18:23:01]
729*2^1004473-1 is not prime.  Res64: D593AC843EB7AFC3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:23:43]
873*2^1004475-1 is not prime.  Res64: 86A30EAE044D2C6F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:23:44]
961*2^1004475-1 is not prime.  Res64: 99D62D502F226CEF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:26:21]
647*2^1004476-1 is not prime.  Res64: 2E72EF3F9020ED1E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:26:21]
693*2^1004476-1 is not prime.  Res64: 3CB0EFEEE52B104B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:27:30]
633*2^1004468-1 is not prime.  Res64: DFF6CADBFE5D23B1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:27:30]
687*2^1004468-1 is not prime.  Res64: CDA435187C3008C8  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 18:30:47]
615*2^1004474-1 is not prime.  Res64: E63AC1BE219B9239  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 18:30:47]
623*2^1004474-1 is not prime.  Res64: 53A4D1C069EF77A7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:32:08]
719*2^1004476-1 is not prime.  Res64: 34BCB5CF2D29FC87  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:32:09]
779*2^1004476-1 is not prime.  Res64: 5F534122B04BE746  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:35:52]
981*2^1004477-1 is not prime.  Res64: 53A8BBC5C0193426  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:35:52]
621*2^1004478-1 is not prime.  Res64: E495C87BFFCAD0CD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:38:56]
867*2^1004478-1 is not prime.  Res64: 912507056ED64CC5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:38:56]
881*2^1004478-1 is not prime.  Res64: 47C0990277EE4F4A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:39:56]
633*2^1004479-1 is not prime.  Res64: AA3B6CD4BBCFB9A4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:39:56]
639*2^1004479-1 is not prime.  Res64: 0A71D7C590CBE429  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:45:44]
665*2^1004480-1 is not prime.  Res64: C07CC06ECA5DE688  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:45:44]
689*2^1004480-1 is not prime.  Res64: 84480E046D5869DF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:51:04]
875*2^1004480-1 is not prime.  Res64: 9A3F77AB2563C9B7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:51:04]
909*2^1004480-1 is not prime.  Res64: 73ED3283F37A9CFB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:53:38]
609*2^1004481-1 is not prime.  Res64: 680A5F6A5BA9503A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:53:39]
691*2^1004481-1 is not prime.  Res64: 4F5D7892A34FDAC8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:55:51]
957*2^1004480-1 is not prime.  Res64: A32A7BA613E929E3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:55:51]
999*2^1004480-1 is not prime.  Res64: 5734C14E78AE26E0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:57:32]
823*2^1004471-1 is not prime.  Res64: F7C5A2077D3AACFD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 18:57:33]
841*2^1004471-1 is not prime.  Res64: 7487A88D21870696  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:01:03]
945*2^1004481-1 is not prime.  Res64: 4D798109E095BA77  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:01:04]
717*2^1004482-1 is not prime.  Res64: E3E0AC00AD631B2E  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:03:10]
843*2^1004478-1 is not prime.  Res64: B1140AAF1DD151CE  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:03:10]
863*2^1004478-1 is not prime.  Res64: 79FBE05199DF87D2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:07:57]
923*2^1004482-1 is not prime.  Res64: 97261721F44F7A16  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:07:58]
951*2^1004482-1 is not prime.  Res64: 04655F00DDCE52B5  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:08:32]
631*2^1004477-1 is not prime.  Res64: 586A530EB1CAE5FC  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:08:34]
979*2^1004477-1 is not prime.  Res64: 2727FEBED5386D9A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:09:36]
609*2^1004483-1 is not prime.  Res64: B0F786A50B8628DB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:09:37]
693*2^1004483-1 is not prime.  Res64: DAC1ECEF5DCEE0DD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:10:27]
983*2^1004482-1 is not prime.  Res64: 59F2B60C3E9CAF31  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:10:28]
987*2^1004482-1 is not prime.  Res64: 1257B219E8177AFB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:14:43]
887*2^1004476-1 is not prime.  Res64: 4151573D50866A18  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:14:43]
909*2^1004476-1 is not prime.  Res64: D5135C9BED1F0FE9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:18:02]
885*2^1004483-1 is not prime.  Res64: E3C3AA50687E100A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:18:02]
955*2^1004483-1 is not prime.  Res64: 8F81F56630A1E9CA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:21:42]
705*2^1004484-1 is not prime.  Res64: 3F0FD6484B7888B4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:21:42]
717*2^1004484-1 is not prime.  Res64: EB309120302EA96A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:24:12]
675*2^1004485-1 is not prime.  Res64: BB1848B4C3D58E10  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:24:13]
721*2^1004485-1 is not prime.  Res64: 6FB22F0317511530  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:26:17]
951*2^1004479-1 is not prime.  Res64: E438EB67B17E9752  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:26:17]
975*2^1004479-1 is not prime.  Res64: 4241A29C3CF69502  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:26:38]
929*2^1004484-1 is not prime.  Res64: 539F86FDA51389A9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:26:38]
983*2^1004484-1 is not prime.  Res64: EAB53D1A6FA14337  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:26:54]
609*2^1004475-1 is not prime.  Res64: 08F6E5F1506857BC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:26:54]
663*2^1004475-1 is not prime.  Res64: 5F667EEB59E07821  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:33:28]
831*2^1004485-1 is not prime.  Res64: C642A02CFE1AB487  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:33:28]
957*2^1004485-1 is not prime.  Res64: 7CCB778C5A4C9CC5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:35:32]
651*2^1004486-1 is not prime.  Res64: B1A1A0D942C2E29A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:35:32]
663*2^1004486-1 is not prime.  Res64: 80508006B996FD30  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:38:07]
707*2^1004486-1 is not prime.  Res64: 2B0F2AAFF736621B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:38:07]
755*2^1004486-1 is not prime.  Res64: 57407000150A85D5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:40:40]
827*2^1004486-1 is not prime.  Res64: 8868E8B48CAFB803  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:40:40]
843*2^1004486-1 is not prime.  Res64: EFA72563665B2349  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:47:19]
823*2^1004487-1 is not prime.  Res64: 6CF48D5D5D43C8F2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:47:19]
859*2^1004487-1 is not prime.  Res64: 7A6CF9B55DFD6268  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:48:20]
649*2^1004479-1 is not prime.  Res64: 92685C8E8395D8AD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:48:21]
741*2^1004479-1 is not prime.  Res64: 5C339232C1B30828  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:49:03]
749*2^1004484-1 is not prime.  Res64: 55C358964E9DC4F9  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:49:03]
765*2^1004484-1 is not prime.  Res64: 3B83D8F6A4F1413D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:50:57]
873*2^1004487-1 is not prime.  Res64: 0601ED263438761B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:50:57]
919*2^1004487-1 is not prime.  Res64: 754A921EA76C25AB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:51:06]
985*2^1004483-1 is not prime.  Res64: 63C165BD1867161F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:51:06]
693*2^1004484-1 is not prime.  Res64: 5CE0EFE14EDFA929  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:54:20]
687*2^1004488-1 is not prime.  Res64: 99C431BCF5DFD768  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:54:20]
813*2^1004488-1 is not prime.  Res64: 21DDC863D2F95758  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:54:58]
777*2^1004485-1 is not prime.  Res64: 5D28E9C25B774F8D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 19:54:58]
801*2^1004485-1 is not prime.  Res64: 077C2F96B9ECED0C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:55:07]
931*2^1004487-1 is not prime.  Res64: F758887CFC8D0933  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 19:55:07]
975*2^1004487-1 is not prime.  Res64: 89B146410D094CF3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:04:07]
887*2^1004488-1 is not prime.  Res64: 43568FA7A358EE56  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:04:08]
915*2^1004488-1 is not prime.  Res64: A0720FA2079C7FEF  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 20:06:45]
801*2^1004486-1 is not prime.  Res64: D580E6D06CEF9259  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 20:06:46]
825*2^1004486-1 is not prime.  Res64: CF9F2944D7687A3E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:07:39]
889*2^1004489-1 is not prime.  Res64: D04F268958FA4187  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:07:40]
945*2^1004489-1 is not prime.  Res64: 573B86369B0A1C37  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:07:53]
747*2^1004490-1 is not prime.  Res64: F0C4CCD7F30B1D16  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:07:54]
777*2^1004490-1 is not prime.  Res64: C3FB2BB452D3C991  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:11:47]
893*2^1004490-1 is not prime.  Res64: 1D73033BE02402DD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:11:48]
905*2^1004490-1 is not prime.  Res64: 7767B1C81BB0E57C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:18:14]
699*2^1004483-1 is not prime.  Res64: 1FC0196107ADB543  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:18:15]
811*2^1004483-1 is not prime.  Res64: 2FF540C1A1D0F69A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:19:13]
915*2^1004490-1 is not prime.  Res64: 8B5070338A2A302B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:19:13]
601*2^1004491-1 is not prime.  Res64: EFC645275F71E195  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:21:16]
805*2^1004491-1 is not prime.  Res64: 84C882625AAF2CF9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:21:16]
859*2^1004491-1 is not prime.  Res64: 2D4A233B2AE1F6E4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:24:31]
951*2^1004491-1 is not prime.  Res64: 35003B57E0A48436  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:24:32]
961*2^1004491-1 is not prime.  Res64: EB3D0BA6959E28EC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:25:20]
609*2^1004492-1 is not prime.  Res64: BE503CBF7EF09DC1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:25:21]
699*2^1004492-1 is not prime.  Res64: E0D217BCF1566D6B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 20:29:16]
771*2^1004489-1 is not prime.  Res64: CE2B4AAB3BA4370D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 20:29:16]
847*2^1004489-1 is not prime.  Res64: 7395DE2D0B9A657E  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 20:31:29]
611*2^1004490-1 is not prime.  Res64: 0837E8F0ACBE6C7B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 20:31:29]
711*2^1004490-1 is not prime.  Res64: FFA9C98B6915454E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:34:48]
649*2^1004493-1 is not prime.  Res64: D35FA2BCEE210B33  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:34:49]
685*2^1004493-1 is not prime.  Res64: 24139A62A315CE5C  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 20:34:53]
783*2^1004490-1 is not prime.  Res64: 0DDF0067C0761526  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 20:34:53]
791*2^1004490-1 is not prime.  Res64: 889FC66FE172D9BE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:35:50]
893*2^1004492-1 is not prime.  Res64: 327FC442F042F574  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:35:50]
903*2^1004492-1 is not prime.  Res64: 01228E753CC72919  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:38:03]
759*2^1004493-1 is not prime.  Res64: B4445434D1F9BE19  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:38:04]
787*2^1004493-1 is not prime.  Res64: B1D87E05C03A6046  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:38:52]
789*2^1004493-1 is not prime.  Res64: 3AFD6EC2AA9E00E0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:38:52]
847*2^1004493-1 is not prime.  Res64: D5A5F9BD11987876  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 20:47:04]
663*2^1004491-1 is not prime.  Res64: A6396FE2AEBB688E  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 20:47:04]
769*2^1004491-1 is not prime.  Res64: 2D199DF649317B2D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:48:19]
605*2^1004494-1 is not prime.  Res64: EDAF4BD384388F0C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:48:20]
611*2^1004494-1 is not prime.  Res64: B940B2995A20AD85  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:49:24]
681*2^1004494-1 is not prime.  Res64: 61DCEFD823EBC1A1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:49:24]
863*2^1004494-1 is not prime.  Res64: 0B389623E1738D4D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:52:26]
651*2^1004495-1 is not prime.  Res64: 4B205424C5310EDA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:52:26]
661*2^1004495-1 is not prime.  Res64: 57B0029C2673AAEC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:53:09]
1001*2^1004494-1 is not prime.  Res64: 5C4CDEC0975A995E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:53:10]
609*2^1004495-1 is not prime.  Res64: 2894B5BE79505569  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:58:03]
993*2^1004486-1 is not prime.  Res64: BC0CF1E4159F6557  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 20:58:04]
651*2^1004487-1 is not prime.  Res64: 3F3E8EBD6C11B041  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:01:56]
783*2^1004495-1 is not prime.  Res64: 67C5DE9E4687BE6E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:01:57]
841*2^1004495-1 is not prime.  Res64: A5B20C371FF185BA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:04:28]
871*2^1004495-1 is not prime.  Res64: A59BAC238C528E7F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:04:29]
981*2^1004495-1 is not prime.  Res64: E8D99C9EC5F7DCF7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:05:57]
707*2^1004496-1 is not prime.  Res64: D4153DFEC6121CC7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:05:59]
873*2^1004496-1 is not prime.  Res64: 2D6603928892ECE4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:08:14]
879*2^1004496-1 is not prime.  Res64: CD50E1499D20EEC7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:08:16]
945*2^1004496-1 is not prime.  Res64: C4E18967674FF192  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:09:48]
861*2^1004493-1 is not prime.  Res64: 457BA106AED5A9BB  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:09:49]
877*2^1004493-1 is not prime.  Res64: 74F709D511AAB901  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:11:35]
675*2^1004489-1 is not prime.  Res64: AAE6E25B3C7CF544  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:11:36]
711*2^1004489-1 is not prime.  Res64: 1BB7BAB17CF68B23  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:15:12]
635*2^1004494-1 is not prime.  Res64: F0DBF2A57B63293E  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:15:12]
675*2^1004494-1 is not prime.  Res64: FA400AB2B1354357  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:18:34]
937*2^1004497-1 is not prime.  Res64: 571043AC083896F1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:18:34]
939*2^1004497-1 is not prime.  Res64: 45EB1DB44866C563  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:19:32]
791*2^1004498-1 is not prime.  Res64: 0A2EFF6A6BD8A329  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:19:33]
837*2^1004498-1 is not prime.  Res64: 19269EA11EFF5727  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:19:36]
955*2^1004497-1 is not prime.  Res64: 4CC46626AE309887  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:19:36]
731*2^1004498-1 is not prime.  Res64: 78CEBB3ADAC3B655  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:25:01]
935*2^1004498-1 is not prime.  Res64: 526792E06229EABC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:25:01]
963*2^1004498-1 is not prime.  Res64: 08FE512C6319ABAE  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:26:27]
901*2^1004493-1 is not prime.  Res64: B80850368719B5AE  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:26:27]
991*2^1004493-1 is not prime.  Res64: 5F24823CCFADCE53  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:27:27]
669*2^1004495-1 is not prime.  Res64: 43F02695007446D1  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:27:27]
753*2^1004495-1 is not prime.  Res64: 702690F5D6EE9C57  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:32:29]
839*2^1004500-1 is not prime.  Res64: C9272D2C5CE4C900  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:32:29]
873*2^1004500-1 is not prime.  Res64: CC08B689EAED5F23  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:33:33]
691*2^1004501-1 is not prime.  Res64: 192DD12B2E5A05A6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:33:34]
745*2^1004501-1 is not prime.  Res64: B83D93447EDF089F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:35:08]
999*2^1004500-1 is not prime.  Res64: CF64265A7F2565B6  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:35:08]
627*2^1004501-1 is not prime.  Res64: 5AC30E257A05EDE4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:38:54]
775*2^1004501-1 is not prime.  Res64: 29311663F9188B6B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:38:55]
799*2^1004501-1 is not prime.  Res64: 3F0E88F9F6678BA3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:42:56]
735*2^1004492-1 is not prime.  Res64: 8F2AFDA4480AA6B3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:42:57]
819*2^1004492-1 is not prime.  Res64: 51FE96883119B222  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:47:07]
741*2^1004503-1 is not prime.  Res64: 0D26A652FAB869AC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:47:07]
771*2^1004503-1 is not prime.  Res64: 223B697AD384DAAD  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:47:36]
923*2^1004502-1 is not prime.  Res64: 33697AB7FD8F834B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:47:37]
609*2^1004503-1 is not prime.  Res64: 285F9F8F31631D7C  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:49:43]
639*2^1004499-1 is not prime.  Res64: BF465D9E174E1B71  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:49:43]
735*2^1004499-1 is not prime.  Res64: FC27A23BE4EC68B9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:50:12]
853*2^1004503-1 is not prime.  Res64: 889220F17EF8B370  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:50:12]
889*2^1004503-1 is not prime.  Res64: 33A9326C3A5C287B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:53:53]
951*2^1004503-1 is not prime.  Res64: 25C515040508C750  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 21:53:54]
873*2^1004504-1 is not prime.  Res64: 5DBDF2DF42C70E9D  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:54:46]
675*2^1004500-1 is not prime.  Res64: F1E1F6D7ACA43C68  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 21:54:46]
819*2^1004500-1 is not prime.  Res64: D1E67684695628D0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:02:42]
969*2^1004504-1 is not prime.  Res64: 589BD8DDB2E8D5B5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:02:43]
699*2^1004505-1 is not prime.  Res64: DCDBD4CC29A98E11  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:03:40]
903*2^1004504-1 is not prime.  Res64: 6E95ACB3AE3CBBD0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:03:41]
945*2^1004504-1 is not prime.  Res64: 9EA893764AE06D0B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 22:06:34]
865*2^1004501-1 is not prime.  Res64: 59E58208BA4CC7C7  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 22:06:35]
695*2^1004502-1 is not prime.  Res64: EE9A9A109CCB480A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:06:44]
915*2^1004505-1 is not prime.  Res64: 45BD6F82D7FDE33B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:06:47]
955*2^1004505-1 is not prime.  Res64: 3D39BF43E61CF7E0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:07:23]
647*2^1004506-1 is not prime.  Res64: A911CDA7C3B80A51  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:07:24]
803*2^1004506-1 is not prime.  Res64: 47B6A06AFD55B4AA  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 22:15:15]
725*2^1004502-1 is not prime.  Res64: B57809EBA39B0E6F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 22:15:15]
885*2^1004502-1 is not prime.  Res64: 37489429B69F23D1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:16:17]
619*2^1004507-1 is not prime.  Res64: 9C513FF8F73BE727  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:16:18]
633*2^1004507-1 is not prime.  Res64: 7A19933D226D6DFB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:17:13]
741*2^1004507-1 is not prime.  Res64: 51AFF06E797401CA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:17:14]
775*2^1004507-1 is not prime.  Res64: 96AC8B4E8192890D  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:20:06]
717*2^1004497-1 is not prime.  Res64: AB0A083C18304D52  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:20:06]
841*2^1004497-1 is not prime.  Res64: B0D86998C1A86052  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:21:56]
963*2^1004507-1 is not prime.  Res64: 3FF02982A16925A1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:21:56]
843*2^1004508-1 is not prime.  Res64: 3C137ED27E9D27A7  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:22:29]
867*2^1004508-1 is not prime.  Res64: 26921FECF229BC83  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:22:30]
935*2^1004508-1 is not prime.  Res64: 4E127DD94A0EBCD6  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 22:29:41]
831*2^1004505-1 is not prime.  Res64: BFEBE53C81F2326B  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 22:29:42]
871*2^1004505-1 is not prime.  Res64: 420EFF2C4CF5A722  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:29:48]
811*2^1004509-1 is not prime.  Res64: 57869515A76C5ADF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:29:48]
861*2^1004509-1 is not prime.  Res64: 2D0FA4F3F413B5CF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:32:16]
999*2^1004509-1 is not prime.  Res64: 8CD9BE32FC9C1348  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:32:17]
713*2^1004510-1 is not prime.  Res64: B6B5BF8E716A9B61  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:35:25]
827*2^1004510-1 is not prime.  Res64: 7B6ED6746BC1D327  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:35:26]
875*2^1004510-1 is not prime.  Res64: 33236DAB112E3149  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:39:00]
885*2^1004510-1 is not prime.  Res64: 87552BD758CB9DFC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:39:00]
887*2^1004510-1 is not prime.  Res64: 4910A2DC6B71968B  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:40:55]
853*2^1004499-1 is not prime.  Res64: C87C6B13382A6894  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:40:56]
961*2^1004499-1 is not prime.  Res64: 9EAAD467E34173A3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:44:48]
895*2^1004511-1 is not prime.  Res64: 45FD641123CD08CE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:44:48]
629*2^1004512-1 is not prime.  Res64: 1738536ED1E3E33E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:45:41]
657*2^1004512-1 is not prime.  Res64: 9ABFB89B45CFB557  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:45:41]
713*2^1004512-1 is not prime.  Res64: 41A193A482197448  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:48:54]
717*2^1004512-1 is not prime.  Res64: 40F383861AC844A5  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:48:55]
803*2^1004512-1 is not prime.  Res64: 3584B0C7E84FBC39  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 22:49:33]
903*2^1004506-1 is not prime.  Res64: D434AA910C051CD7  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 22:49:33]
941*2^1004506-1 is not prime.  Res64: 29C6F7417CDA754A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:52:27]
807*2^1004512-1 is not prime.  Res64: 4DD98BAC1A5C8331  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:52:28]
827*2^1004512-1 is not prime.  Res64: D063F0FB6A73532A  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 22:55:08]
699*2^1004509-1 is not prime.  Res64: 0CEDAF6837CFE044  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 22:55:09]
721*2^1004509-1 is not prime.  Res64: B6D90575E44FC369  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:59:11]
675*2^1004513-1 is not prime.  Res64: 0600E38BFA61C44C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 22:59:11]
685*2^1004513-1 is not prime.  Res64: 642F61F1D742C147  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:01:26]
965*2^1004512-1 is not prime.  Res64: B9A71888CE637573  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:01:27]
983*2^1004512-1 is not prime.  Res64: AE920A18F5AF79AD  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 23:01:55]
913*2^1004507-1 is not prime.  Res64: 19B9DADC023C5953  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 23:01:55]
915*2^1004507-1 is not prime.  Res64: 920A24F758ECD193  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:02:31]
705*2^1004513-1 is not prime.  Res64: F5D4BD38BB878E1C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:02:32]
721*2^1004513-1 is not prime.  Res64: E224C309CC1A74D4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:06:03]
663*2^1004514-1 is not prime.  Res64: B8672018FF92D8CF  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:06:05]
705*2^1004514-1 is not prime.  Res64: B54EB5B89E0210B4  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:12:42]
765*2^1004514-1 is not prime.  Res64: C5C00E55E2718D33  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:12:44]
773*2^1004514-1 is not prime.  Res64: B9C34E6D38FD98E8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:14:55]
783*2^1004514-1 is not prime.  Res64: E7D94D0A3601E6F3  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:14:56]
797*2^1004514-1 is not prime.  Res64: 3C9076B86BAF8752  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 23:17:08]
945*2^1004510-1 is not prime.  Res64: C13D0ECBAB8523EF  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 23:17:09]
649*2^1004511-1 is not prime.  Res64: 32FA227CDD669A89  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:17:34]
993*2^1004514-1 is not prime.  Res64: B62EEFD7C0C1F042  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:17:35]
625*2^1004515-1 is not prime.  Res64: B4664B3DAED90699  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:18:26]
893*2^1004504-1 is not prime.  Res64: C9035F7605B2DECC  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:18:26]
899*2^1004504-1 is not prime.  Res64: B244D814F1052578  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:19:39]
639*2^1004515-1 is not prime.  Res64: 945D42801289D123  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:19:39]
759*2^1004515-1 is not prime.  Res64: 87E525F6137EB2A1  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:27:45]
909*2^1004515-1 is not prime.  Res64: EE09C0D9ECDA7DFB  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:27:46]
647*2^1004516-1 is not prime.  Res64: F31952CD90EDB43E  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:28:25]
707*2^1004516-1 is not prime.  Res64: D3F4082DF2B50ED9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:28:26]
717*2^1004516-1 is not prime.  Res64: E1AE1BB4EB7E9263  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 23:29:15]
805*2^1004513-1 is not prime.  Res64: AEB16E5C6BF74E36  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 23:29:15]
611*2^1004514-1 is not prime.  Res64: BF505178247FB336  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:32:45]
969*2^1004516-1 is not prime.  Res64: 71E5E34B214BFD8C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:32:45]
615*2^1004517-1 is not prime.  Res64: 3C8B974E48DDC021  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:33:19]
825*2^1004517-1 is not prime.  Res64: CF77C4ABAC750AB9  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:33:19]
831*2^1004517-1 is not prime.  Res64: 0C16AAFF28C20B7C  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 23:35:26]
717*2^1004514-1 is not prime.  Res64: D23FEECC3262586E  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 23:35:26]
741*2^1004514-1 is not prime.  Res64: A40B6CF656F07777  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:38:17]
795*2^1004510-1 is not prime.  Res64: 047A6B358FAA9F3A  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:38:18]
797*2^1004510-1 is not prime.  Res64: DAA91DA6D30A774F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:42:00]
605*2^1004518-1 is not prime.  Res64: BF67D573B31D96EE  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:42:00]
773*2^1004518-1 is not prime.  Res64: 04412B9151C03B7C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:42:51]
847*2^1004517-1 is not prime.  Res64: 961CE0DE09E4A32C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:42:51]
919*2^1004517-1 is not prime.  Res64: 745DA8E1D11708DA  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:46:13]
857*2^1004518-1 is not prime.  Res64: 2DACA7E9EB13196F  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:46:13]
621*2^1004519-1 is not prime.  Res64: 4F88457CF9EEC9E8  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:46:46]
661*2^1004519-1 is not prime.  Res64: F329C4DAD93F88D2  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:46:47]
729*2^1004519-1 is not prime.  Res64: 026F10C919436D3C  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:55:29]
777*2^1004520-1 is not prime.  Res64: 6FAEFA63E8BA5528  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:55:29]
803*2^1004520-1 is not prime.  Res64: 4019C28DB8D900C0  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:56:16]
819*2^1004520-1 is not prime.  Res64: 28B05AF468BE8760  Time : 0.0 sec.
user=mdettweiler
[2012-02-07 23:56:16]
863*2^1004520-1 is not prime.  Res64: A1216BE429FADF1F  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 23:56:48]
975*2^1004514-1 is not prime.  Res64: D128E4DAD65910F3  Time : 0.0 sec.
user=gd_barnes
[2012-02-07 23:56:48]
983*2^1004514-1 is not prime.  Res64: E3692EA80065004F  Time : 0.0 sec.