user=mdettweiler [2013-05-13 00:07:16] 873*2^1245850-1 is not prime. Res64: 504177D2F00C1FF5 Time : 0.0 sec. user=mdettweiler [2013-05-13 00:07:17] 891*2^1245850-1 is not prime. Res64: 664E4C22348FF77D Time : 0.0 sec. user=mdettweiler [2013-05-13 00:15:56] 941*2^1245850-1 is not prime. Res64: 85FA34837D66F4CD Time : 0.0 sec. user=mdettweiler [2013-05-13 00:15:56] 679*2^1245851-1 is not prime. Res64: D7022DC690F74228 Time : 0.0 sec. user=mdettweiler [2013-05-13 00:25:31] 693*2^1245851-1 is not prime. Res64: 5C52C149F154A6F5 Time : 0.0 sec. user=mdettweiler [2013-05-13 00:25:31] 703*2^1245851-1 is not prime. Res64: 2BBA20B6DAD38E9B Time : 0.0 sec. user=mdettweiler [2013-05-13 00:34:02] 741*2^1245851-1 is not prime. Res64: B208D7B7C36C90DF Time : 0.0 sec. user=mdettweiler [2013-05-13 00:34:19] 775*2^1245851-1 is not prime. Res64: 3A3F17A9B6CC1BE7 Time : 0.0 sec. user=mdettweiler [2013-05-13 00:43:33] 843*2^1245851-1 is not prime. Res64: 97E893F78B02282B Time : 0.0 sec. user=mdettweiler [2013-05-13 00:55:47] 855*2^1245851-1 is not prime. Res64: B2B350AB9154966A Time : 0.0 sec. user=vaughan [2013-05-13 00:56:05] 823*2^1245851-1 is not prime. Res64: 60E359AAAF1C53CE Time : 0.0 sec. user=mdettweiler [2013-05-13 01:10:25] 913*2^1245851-1 is not prime. Res64: A6071B828B57D6D1 Time : 0.0 sec. user=mdettweiler [2013-05-13 01:10:26] 981*2^1245851-1 is not prime. Res64: FC1222F648082628 Time : 0.0 sec. user=mdettweiler [2013-05-13 01:14:25] 991*2^1245851-1 is not prime. Res64: 7B5653643AA47BB7 Time : 0.0 sec. user=mdettweiler [2013-05-13 01:14:25] 627*2^1245852-1 is not prime. Res64: E5F3E0472CDCD0B0 Time : 0.0 sec. user=mdettweiler [2013-05-13 01:28:46] 867*2^1245852-1 is not prime. Res64: 2616EC60798325EB Time : 0.0 sec. user=mdettweiler [2013-05-13 01:32:33] 945*2^1245852-1 is not prime. Res64: 92CF49F25D7A3672 Time : 0.0 sec. user=mdettweiler [2013-05-13 01:32:33] 965*2^1245852-1 is not prime. Res64: CC468362808BDDFF Time : 0.0 sec. user=vaughan [2013-05-13 01:34:15] 809*2^1245852-1 is not prime. Res64: 64B2759D8E7C5C88 Time : 0.0 sec. user=mdettweiler [2013-05-13 01:50:56] 805*2^1245853-1 is not prime. Res64: 66724CA2AC01011D Time : 0.0 sec. user=vaughan [2013-05-13 02:17:36] 987*2^1245853-1 is not prime. Res64: BC564D0BF52B8F2C Time : 0.0 sec. user=mdettweiler [2013-05-13 02:29:43] 835*2^1245853-1 is not prime. Res64: 18BDBC4508375003 Time : 0.0 sec. user=mdettweiler [2013-05-13 02:34:09] 903*2^1245852-1 is not prime. Res64: 44BB1D6E4087FB1F Time : 0.0 sec. user=mdettweiler [2013-05-13 02:47:37] 717*2^1245854-1 is not prime. Res64: 747C1AB30E240405 Time : 0.0 sec. user=mdettweiler [2013-05-13 02:47:38] 815*2^1245854-1 is not prime. Res64: DF1FB74EE2EDC840 Time : 0.0 sec. user=mdettweiler [2013-05-13 02:52:02] 873*2^1245854-1 is not prime. Res64: 2615F066A39842AC Time : 0.0 sec. user=mdettweiler [2013-05-13 02:52:03] 897*2^1245854-1 is not prime. Res64: 6F8D80EDF36C9519 Time : 0.0 sec. user=vaughan [2013-05-13 03:01:05] 999*2^1245853-1 is not prime. Res64: 3A47A00F527D6322 Time : 0.0 sec. user=mdettweiler [2013-05-13 03:05:46] 927*2^1245854-1 is not prime. Res64: 28A591CD545BA394 Time : 0.0 sec. user=mdettweiler [2013-05-13 03:05:47] 935*2^1245854-1 is not prime. Res64: E33DD237F0C49977 Time : 0.0 sec. user=mdettweiler [2013-05-13 03:09:52] 951*2^1245854-1 is not prime. Res64: D399A5259CC9378C Time : 0.0 sec. user=mdettweiler [2013-05-13 03:10:10] 765*2^1245855-1 is not prime. Res64: BEA53CF758DAE051 Time : 0.0 sec. user=mdettweiler [2013-05-13 03:24:02] 805*2^1245855-1 is not prime. Res64: 6D8A48A309C044E3 Time : 0.0 sec. user=mdettweiler [2013-05-13 03:24:02] 961*2^1245855-1 is not prime. Res64: 28B43EE4FB3F921F Time : 0.0 sec. user=mdettweiler [2013-05-13 03:42:42] 979*2^1245855-1 is not prime. Res64: 95DA83CBDA11E076 Time : 0.0 sec. user=mdettweiler [2013-05-13 03:42:42] 991*2^1245855-1 is not prime. Res64: 850F7247747E5DAA Time : 0.0 sec. user=mdettweiler [2013-05-13 03:53:30] 693*2^1245856-1 is not prime. Res64: E3084E8C85B36B44 Time : 0.0 sec. user=mdettweiler [2013-05-13 03:53:31] 755*2^1245856-1 is not prime. Res64: B3D8F95AF535553A Time : 0.0 sec. user=mdettweiler [2013-05-13 04:00:50] 653*2^1245856-1 is not prime. Res64: AF20A55A7E95A930 Time : 0.0 sec. user=mdettweiler [2013-05-13 04:00:51] 845*2^1245856-1 is not prime. Res64: D8C278673700EAED Time : 0.0 sec. user=mdettweiler [2013-05-13 04:11:20] 619*2^1245857-1 is not prime. Res64: 369813910EE061AD Time : 0.0 sec. user=mdettweiler [2013-05-13 04:11:20] 669*2^1245857-1 is not prime. Res64: 6BDDC6C2C6DF19EF Time : 0.0 sec. user=vaughan [2013-05-13 04:16:36] 629*2^1245856-1 is not prime. Res64: 1C986B7D86D82638 Time : 0.0 sec. user=mdettweiler [2013-05-13 04:18:43] 715*2^1245857-1 is not prime. Res64: 8561985E7FA4345E Time : 0.0 sec. user=mdettweiler [2013-05-13 04:18:43] 805*2^1245857-1 is not prime. Res64: D151B753B5285DB6 Time : 0.0 sec. user=mdettweiler [2013-05-13 04:29:30] 867*2^1245857-1 is not prime. Res64: FF0F359DD3101A0A Time : 0.0 sec. user=mdettweiler [2013-05-13 04:36:42] 937*2^1245857-1 is not prime. Res64: 2045914311ADA4A9 Time : 0.0 sec. user=mdettweiler [2013-05-13 05:05:24] 871*2^1245857-1 is not prime. Res64: F7683C2D537E1665 Time : 0.0 sec. user=mdettweiler [2013-05-13 05:06:29] 957*2^1245857-1 is not prime. Res64: 33C6E79660137B3E Time : 0.0 sec. user=mdettweiler [2013-05-13 05:23:47] 921*2^1245858-1 is not prime. Res64: 6E376C6AC285701A Time : 0.0 sec. user=mdettweiler [2013-05-13 05:24:51] 679*2^1245859-1 is not prime. Res64: FAF8D923F7EFFC61 Time : 0.0 sec. user=vaughan [2013-05-13 05:32:30] 731*2^1245858-1 is not prime. Res64: 9BF6FA74D7CA160F Time : 0.0 sec. user=mdettweiler [2013-05-13 05:52:17] 951*2^1245858-1 is not prime. Res64: 0E4E13DA4C6BA0AC Time : 0.0 sec. user=mdettweiler [2013-05-13 05:57:57] 735*2^1245859-1 is not prime. Res64: 437EEBD994FD62F3 Time : 0.0 sec. user=mdettweiler [2013-05-13 06:10:25] 861*2^1245859-1 is not prime. Res64: 1F64CE258CE4856A Time : 0.0 sec. user=vaughan [2013-05-13 06:10:47] 859*2^1245859-1 is not prime. Res64: BBB466CE82CB8EFE Time : 0.0 sec. user=mdettweiler [2013-05-13 06:17:11] 973*2^1245859-1 is not prime. Res64: A1750E100222C2A7 Time : 0.0 sec. user=mdettweiler [2013-05-13 06:29:24] 985*2^1245859-1 is not prime. Res64: FAA7B046FC574F8C Time : 0.0 sec. user=mdettweiler [2013-05-13 06:45:24] 961*2^1245859-1 is not prime. Res64: 27B49B03D0EA59DA Time : 0.0 sec. user=mdettweiler [2013-05-13 06:47:30] 665*2^1245860-1 is not prime. Res64: B9AC800850C8A9F2 Time : 0.0 sec. user=mdettweiler [2013-05-13 07:03:14] 699*2^1245860-1 is not prime. Res64: 723676C9B35D8BA7 Time : 0.0 sec. user=mdettweiler [2013-05-13 07:03:15] 843*2^1245860-1 is not prime. Res64: DDBDC2229938EEC7 Time : 0.0 sec. user=mdettweiler [2013-05-13 07:13:56] 687*2^1245860-1 is not prime. Res64: 6D0FB0F01074CC1B Time : 0.0 sec. user=mdettweiler [2013-05-13 07:21:25] 935*2^1245860-1 is not prime. Res64: 1BAFDC247A638F66 Time : 0.0 sec. user=mdettweiler [2013-05-13 07:21:25] 953*2^1245860-1 is not prime. Res64: D48BD7B4AB0EE351 Time : 0.0 sec. user=vaughan [2013-05-13 07:26:17] 899*2^1245860-1 is not prime. Res64: 2F705D7D4B0D9C01 Time : 0.0 sec. user=mdettweiler [2013-05-13 07:33:00] 983*2^1245860-1 is not prime. Res64: 418B99DFFC455744 Time : 0.0 sec. user=mdettweiler [2013-05-13 07:39:29] 717*2^1245861-1 is not prime. Res64: B8796E5F50A0C8F2 Time : 0.0 sec. user=mdettweiler [2013-05-13 07:39:29] 829*2^1245861-1 is not prime. Res64: C1E897BC5AE2F847 Time : 0.0 sec. user=mdettweiler [2013-05-13 07:57:31] 623*2^1245862-1 is not prime. Res64: 9248F94D4E776A07 Time : 0.0 sec. user=mdettweiler [2013-05-13 08:09:22] 609*2^1245861-1 is not prime. Res64: 4D4F63CD87E912BC Time : 0.0 sec. user=vaughan [2013-05-13 08:09:22] 979*2^1245861-1 is not prime. Res64: F79A85E30B0C7705 Time : 0.0 sec. user=mdettweiler [2013-05-13 08:16:50] 645*2^1245862-1 is not prime. Res64: 294C54C8FCE5ABB3 Time : 0.0 sec. user=mdettweiler [2013-05-13 08:34:41] 855*2^1245862-1 is not prime. Res64: E45292E1CFB22E7F Time : 0.0 sec. user=mdettweiler [2013-05-13 08:34:42] 873*2^1245862-1 is not prime. Res64: 957E77EE06EA95A9 Time : 0.0 sec. user=vaughan [2013-05-13 08:48:06] 677*2^1245862-1 is not prime. Res64: B5A6F7128FC548C4 Time : 0.0 sec. user=mdettweiler [2013-05-13 08:52:49] 951*2^1245862-1 is not prime. Res64: 8B111A44464436F4 Time : 0.0 sec. user=mdettweiler [2013-05-13 09:05:42] 685*2^1245863-1 is not prime. Res64: 9E5D3BA5622148DD Time : 0.0 sec. user=vaughan [2013-05-13 09:26:21] 789*2^1245863-1 is not prime. Res64: 0DEB800429CF64EE Time : 0.0 sec. user=mdettweiler [2013-05-13 09:27:45] 621*2^1245863-1 is not prime. Res64: 55A455AB99808504 Time : 0.0 sec. user=mdettweiler [2013-05-13 09:47:37] 949*2^1245863-1 is not prime. Res64: 556F20D03855C4B1 Time : 0.0 sec. user=mdettweiler [2013-05-13 09:51:55] 705*2^1245863-1 is not prime. Res64: 663292A4ACA3A138 Time : 0.0 sec. user=mdettweiler [2013-05-13 10:08:15] 963*2^1245863-1 is not prime. Res64: 8F9176D46D1E696A Time : 0.0 sec. user=mdettweiler [2013-05-13 10:13:28] 991*2^1245863-1 is not prime. Res64: AA44DD980E71FFAF Time : 0.0 sec. user=mdettweiler [2013-05-13 10:13:28] 683*2^1245864-1 is not prime. Res64: 22665C14E4B5E750 Time : 0.0 sec. user=mdettweiler [2013-05-13 10:26:39] 915*2^1245864-1 is not prime. Res64: F3966D8870CF307A Time : 0.0 sec. user=mdettweiler [2013-05-13 10:31:22] 975*2^1245864-1 is not prime. Res64: 4302FE3162578BAA Time : 0.0 sec. user=mdettweiler [2013-05-13 10:31:23] 607*2^1245865-1 is not prime. Res64: 2B2486FDB6AC46E7 Time : 0.0 sec. user=vaughan [2013-05-13 10:41:50] 837*2^1245864-1 is not prime. Res64: 7479B638CCF6BC56 Time : 0.0 sec. user=mdettweiler [2013-05-13 10:49:27] 651*2^1245865-1 is not prime. Res64: 9DB3FDF416745AD1 Time : 0.0 sec. user=mdettweiler [2013-05-13 10:49:48] 945*2^1245864-1 is not prime. Res64: CC32771154494F37 Time : 0.0 sec. user=mdettweiler [2013-05-13 11:07:56] 877*2^1245865-1 is not prime. Res64: E8D22AD70B064F10 Time : 0.0 sec. user=mdettweiler [2013-05-13 11:20:29] 691*2^1245865-1 is not prime. Res64: 963408E8BE795F3F Time : 0.0 sec. user=mdettweiler [2013-05-13 11:26:34] 955*2^1245865-1 is not prime. Res64: 0CCEFFAB84DD1527 Time : 0.0 sec. user=mdettweiler [2013-05-13 11:38:22] 675*2^1245866-1 is not prime. Res64: A4AC99A487258AA7 Time : 0.0 sec. user=mdettweiler [2013-05-13 11:38:22] 755*2^1245866-1 is not prime. Res64: E91CF4A0B7BB0521 Time : 0.0 sec. user=mdettweiler [2013-05-13 11:44:28] 801*2^1245866-1 is not prime. Res64: C08D73B3E4704E67 Time : 0.0 sec. user=mdettweiler [2013-05-13 11:44:29] 921*2^1245866-1 is not prime. Res64: 12D577DFD1E13B7B Time : 0.0 sec. user=mdettweiler [2013-05-13 11:56:19] 957*2^1245866-1 is not prime. Res64: CCA6A870A988AF3C Time : 0.0 sec. user=mdettweiler [2013-05-13 11:56:19] 709*2^1245867-1 is not prime. Res64: E128EE5FDCB622D6 Time : 0.0 sec. user=vaughan [2013-05-13 11:57:26] 633*2^1245866-1 is not prime. Res64: 53FE5EF07A4D363B Time : 0.0 sec. user=mdettweiler [2013-05-13 12:02:26] 751*2^1245867-1 is not prime. Res64: CAE844BF920083BE Time : 0.0 sec. user=mdettweiler [2013-05-13 12:02:27] 861*2^1245867-1 is not prime. Res64: DA0BA1079FEF8DEB Time : 0.0 sec. user=mdettweiler [2013-05-13 12:14:36] 873*2^1245867-1 is not prime. Res64: B9C74185E20B51A2 Time : 0.0 sec. user=mdettweiler [2013-05-13 12:20:57] 605*2^1245868-1 is not prime. Res64: 4A45233F104268D9 Time : 0.0 sec. user=mdettweiler [2013-05-13 12:20:58] 617*2^1245868-1 is not prime. Res64: 650BAD733481DB06 Time : 0.0 sec. user=vaughan [2013-05-13 12:40:42] 975*2^1245867-1 is not prime. Res64: 55A61DE665A037EE Time : 0.0 sec. user=mdettweiler [2013-05-13 12:42:07] 833*2^1245868-1 is not prime. Res64: A9CB66EDBABC21ED Time : 0.0 sec. user=mdettweiler [2013-05-13 12:42:07] 855*2^1245868-1 is not prime. Res64: BEC1710BA1E056F9 Time : 0.0 sec. user=mdettweiler [2013-05-13 12:59:07] 879*2^1245867-1 is not prime. Res64: E5E5A3AC20050D5A Time : 0.0 sec. user=mdettweiler [2013-05-13 13:01:55] 909*2^1245868-1 is not prime. Res64: 57A52BF0CDDD0F3B Time : 0.0 sec. user=mdettweiler [2013-05-13 13:17:22] 645*2^1245869-1 is not prime. Res64: AAB8FBFE6914CC04 Time : 0.0 sec. user=mdettweiler [2013-05-13 13:17:22] 649*2^1245869-1 is not prime. Res64: DF5617D04378F3D5 Time : 0.0 sec. user=mdettweiler [2013-05-13 13:34:11] 999*2^1245868-1 is not prime. Res64: 9A81F84A62E8FCB6 Time : 0.0 sec. user=mdettweiler [2013-05-13 13:36:19] 691*2^1245869-1 is not prime. Res64: EFFADB9E1AE9F690 Time : 0.0 sec. user=mdettweiler [2013-05-13 13:52:44] 795*2^1245869-1 is not prime. Res64: 3E361ADA1B556CD0 Time : 0.0 sec. user=mdettweiler [2013-05-13 13:52:44] 945*2^1245869-1 is not prime. Res64: 742E7FB29B1EBC8E Time : 0.0 sec. user=mdettweiler [2013-05-13 13:55:35] 699*2^1245869-1 is not prime. Res64: 717ED4ACD4D21373 Time : 0.0 sec. user=vaughan [2013-05-13 13:55:57] 735*2^1245869-1 is not prime. Res64: 29E42088F801979B Time : 0.0 sec. user=mdettweiler [2013-05-13 14:11:35] 641*2^1245870-1 is not prime. Res64: D0017F2B8541777F Time : 0.0 sec. user=mdettweiler [2013-05-13 14:14:39] 711*2^1245870-1 is not prime. Res64: 9A6C6FCE4AF90D78 Time : 0.0 sec. user=vaughan [2013-05-13 14:34:26] 843*2^1245870-1 is not prime. Res64: FB313BD16EFECB61 Time : 0.0 sec. user=mdettweiler [2013-05-13 14:38:17] 671*2^1245870-1 is not prime. Res64: 9D167B9BC8C1A6FB Time : 0.0 sec. user=mdettweiler [2013-05-13 14:41:14] 717*2^1245870-1 is not prime. Res64: D0CA0D6B6225C76E Time : 0.0 sec. user=mdettweiler [2013-05-13 14:59:28] 891*2^1245870-1 is not prime. Res64: E99676FE88B9DC56 Time : 0.0 sec. user=mdettweiler [2013-05-13 14:59:29] 963*2^1245870-1 is not prime. Res64: 6B32210C383B2E30 Time : 0.0 sec. user=vaughan [2013-05-13 15:12:50] 845*2^1245870-1 is not prime. Res64: 26A951EF5FC92844 Time : 0.0 sec. user=mdettweiler [2013-05-13 15:17:48] 977*2^1245870-1 is not prime. Res64: BBAE71621E451C38 Time : 0.0 sec. user=mdettweiler [2013-05-13 15:24:11] 681*2^1245871-1 is not prime. Res64: FC826CA136B67202 Time : 0.0 sec. user=mdettweiler [2013-05-13 15:46:31] 883*2^1245871-1 is not prime. Res64: EA394AA1EA9BB51B Time : 0.0 sec. user=vaughan [2013-05-13 15:51:26] 895*2^1245871-1 is not prime. Res64: 3730AEB5CC9031DF Time : 0.0 sec. user=mdettweiler [2013-05-13 15:58:14] 609*2^1245871-1 is not prime. Res64: F3D17410FF7633F8 Time : 0.0 sec. user=mdettweiler [2013-05-13 16:16:46] 901*2^1245871-1 is not prime. Res64: E44E980564752199 Time : 0.0 sec. user=mdettweiler [2013-05-13 16:16:46] 961*2^1245871-1 is not prime. Res64: C328781FA553D92F Time : 0.0 sec. user=mdettweiler [2013-05-13 16:32:09] 973*2^1245871-1 is not prime. Res64: 6329567E6CCF72BD Time : 0.0 sec. user=mdettweiler [2013-05-13 16:32:10] 993*2^1245871-1 is not prime. Res64: D7002968C40D03B6 Time : 0.0 sec. user=mdettweiler [2013-05-13 16:36:34] 999*2^1245871-1 is not prime. Res64: 38DE76303485029F Time : 0.0 sec. user=mdettweiler [2013-05-13 16:51:55] 693*2^1245872-1 is not prime. Res64: 688926F4DB270E94 Time : 0.0 sec. user=vaughan [2013-05-13 17:06:50] 687*2^1245872-1 is not prime. Res64: 55D55A8EBBF88319 Time : 0.0 sec. user=mdettweiler [2013-05-13 17:20:21] 669*2^1245872-1 is not prime. Res64: E2B87088CF43ACBB Time : 0.0 sec. user=mdettweiler [2013-05-13 17:32:19] 713*2^1245872-1 is not prime. Res64: 59EAB8216A41DB4B Time : 0.0 sec. user=vaughan [2013-05-13 17:45:11] 759*2^1245872-1 is not prime. Res64: 68A39BCEA9D5388D Time : 0.0 sec. user=mdettweiler [2013-05-13 18:14:37] 843*2^1245872-1 is not prime. Res64: 126CC73136DFC8B4 Time : 0.0 sec. user=mdettweiler [2013-05-13 18:14:38] 741*2^1245873-1 is not prime. Res64: FDC544075D470B08 Time : 0.0 sec. user=mdettweiler [2013-05-13 18:17:08] 937*2^1245873-1 is not prime. Res64: 3B8694CFFAC674E7 Time : 0.0 sec. user=mdettweiler [2013-05-13 18:17:08] 987*2^1245873-1 is not prime. Res64: 8CB114744A7709DD Time : 0.0 sec. user=vaughan [2013-05-13 18:23:17] 825*2^1245872-1 is not prime. Res64: 8C4C6232489075FE Time : 0.0 sec. user=mdettweiler [2013-05-13 18:32:46] 605*2^1245874-1 is not prime. Res64: 1A6E538287243B28 Time : 0.0 sec. user=mdettweiler [2013-05-13 18:32:47] 663*2^1245874-1 is not prime. Res64: 4D4E4F65BC98120B Time : 0.0 sec. user=mdettweiler [2013-05-13 18:35:29] 717*2^1245874-1 is not prime. Res64: 0FCD6D4F4AA5293C Time : 0.0 sec. user=mdettweiler [2013-05-13 18:50:55] 859*2^1245875-1 is not prime. Res64: 87CA6CC01D0318AC Time : 0.0 sec. user=mdettweiler [2013-05-13 18:50:55] 973*2^1245875-1 is not prime. Res64: 29B278C8474D5C9B Time : 0.0 sec. user=vaughan [2013-05-13 19:01:34] 715*2^1245875-1 is not prime. Res64: 847D43FECF7D70A2 Time : 0.0 sec. user=mdettweiler [2013-05-13 19:06:13] 651*2^1245875-1 is not prime. Res64: A8DFBC800D0E52F7 Time : 0.0 sec. user=mdettweiler [2013-05-13 19:09:07] 609*2^1245876-1 is not prime. Res64: F3F4655304444E4E Time : 0.0 sec. user=mdettweiler [2013-05-13 19:09:07] 653*2^1245876-1 is not prime. Res64: D81CB3E4FF4CE3E3 Time : 0.0 sec. user=mdettweiler [2013-05-13 19:27:15] 719*2^1245876-1 is not prime. Res64: AA8CDA9A43BC3E8C Time : 0.0 sec. user=mdettweiler [2013-05-13 19:27:15] 749*2^1245876-1 is not prime. Res64: 38973A69B0F86828 Time : 0.0 sec. user=mdettweiler [2013-05-13 19:45:26] 825*2^1245876-1 is not prime. Res64: A10B744C2091ACC8 Time : 0.0 sec. user=mdettweiler [2013-05-13 19:45:26] 843*2^1245876-1 is not prime. Res64: 6DBA7E4E912726EC Time : 0.0 sec. user=mdettweiler [2013-05-13 20:02:09] 615*2^1245877-1 is not prime. Res64: 5901EAA04949E40E Time : 0.0 sec. user=mdettweiler [2013-05-13 20:02:10] 621*2^1245877-1 is not prime. Res64: D18DF7C6413745D4 Time : 0.0 sec. user=mdettweiler [2013-05-13 20:03:33] 717*2^1245877-1 is not prime. Res64: B7C830EC3C217BC5 Time : 0.0 sec. user=mdettweiler [2013-05-13 20:03:35] 757*2^1245877-1 is not prime. Res64: 210D2883EFAEECF8 Time : 0.0 sec. user=vaughan [2013-05-13 20:16:58] 857*2^1245876-1 is not prime. Res64: 8AD03836B82471F8 Time : 0.0 sec. user=mdettweiler [2013-05-13 20:21:20] 817*2^1245877-1 is not prime. Res64: ED39723883A44E66 Time : 0.0 sec. user=mdettweiler [2013-05-13 20:21:20] 985*2^1245877-1 is not prime. Res64: 3498C3316280518A Time : 0.0 sec. user=mdettweiler [2013-05-13 20:22:45] 997*2^1245877-1 is not prime. Res64: 89BD72FE3368100F Time : 0.0 sec. user=mdettweiler [2013-05-13 20:39:33] 713*2^1245878-1 is not prime. Res64: DDD2F7C79C75F42F Time : 0.0 sec. user=mdettweiler [2013-05-13 20:39:33] 731*2^1245878-1 is not prime. Res64: C8413F754EFCC230 Time : 0.0 sec. user=vaughan [2013-05-13 20:55:18] 707*2^1245878-1 is not prime. Res64: 46F9D14D73F18DBF Time : 0.0 sec. user=mdettweiler [2013-05-13 20:57:38] 773*2^1245878-1 is not prime. Res64: F5C65586E570078B Time : 0.0 sec. user=mdettweiler [2013-05-13 20:57:38] 797*2^1245878-1 is not prime. Res64: 3721870B3AE370C5 Time : 0.0 sec. user=mdettweiler [2013-05-13 20:59:23] 641*2^1245878-1 is not prime. Res64: 435A53B136305FAE Time : 0.0 sec. user=mdettweiler [2013-05-13 21:15:41] 703*2^1245879-1 is not prime. Res64: 048C6BC7EEC7FC5F Time : 0.0 sec. user=mdettweiler [2013-05-13 21:15:42] 795*2^1245879-1 is not prime. Res64: 3C3B8EA3AD747D3B Time : 0.0 sec. user=mdettweiler [2013-05-13 21:17:26] 829*2^1245879-1 is not prime. Res64: B1F67223B78BE1DE Time : 0.0 sec. user=mdettweiler [2013-05-13 21:17:26] 839*2^1245880-1 is not prime. Res64: 492DE51145561949 Time : 0.0 sec. user=mdettweiler [2013-05-13 21:33:45] 857*2^1245880-1 is not prime. Res64: E446567690DE3B6E Time : 0.0 sec. user=mdettweiler [2013-05-13 21:33:45] 887*2^1245880-1 is not prime. Res64: D7F271BDA11C165F Time : 0.0 sec. user=mdettweiler [2013-05-13 21:36:32] 909*2^1245880-1 is not prime. Res64: 5ED268047C004828 Time : 0.0 sec. user=vaughan [2013-05-13 21:38:17] 945*2^1245878-1 is not prime. Res64: 758143BE1471C561 Time : 0.0 sec. user=mdettweiler [2013-05-13 21:51:50] 691*2^1245881-1 is not prime. Res64: 2782D975590C2CCB Time : 0.0 sec. user=mdettweiler [2013-05-13 21:51:51] 735*2^1245881-1 is not prime. Res64: FFBA826697F8AE90 Time : 0.0 sec. user=mdettweiler [2013-05-13 22:10:48] 955*2^1245881-1 is not prime. Res64: C4E63EDEFF8830CD Time : 0.0 sec. user=mdettweiler [2013-05-13 22:10:49] 997*2^1245881-1 is not prime. Res64: 4F52340FC201A96E Time : 0.0 sec. user=mdettweiler [2013-05-13 22:12:40] 989*2^1245880-1 is not prime. Res64: 6408C95192BE415D Time : 0.0 sec. user=vaughan [2013-05-13 22:16:36] 889*2^1245881-1 is not prime. Res64: ED1F34D24BD0EE79 Time : 0.0 sec. user=mdettweiler [2013-05-13 22:29:10] 651*2^1245882-1 is not prime. Res64: 93B1E69A0FA2642B Time : 0.0 sec. user=mdettweiler [2013-05-13 22:29:11] 747*2^1245882-1 is not prime. Res64: 23320FF088D58000 Time : 0.0 sec. user=mdettweiler [2013-05-13 22:31:00] 815*2^1245882-1 is not prime. Res64: A5A04A66DB7E59F9 Time : 0.0 sec. user=mdettweiler [2013-05-13 22:31:00] 941*2^1245882-1 is not prime. Res64: DD84698DCAB29C62 Time : 0.0 sec. user=mdettweiler [2013-05-13 22:48:16] 983*2^1245882-1 is not prime. Res64: 22339FCFEF663F20 Time : 0.0 sec. user=mdettweiler [2013-05-13 22:49:20] 639*2^1245883-1 is not prime. Res64: D383A57C799A8D64 Time : 0.0 sec. user=vaughan [2013-05-13 22:59:54] 977*2^1245882-1 is not prime. Res64: 54D32DCB1CF55522 Time : 0.0 sec. user=mdettweiler [2013-05-13 23:12:12] 649*2^1245883-1 is not prime. Res64: 7D82BCDCA46AE570 Time : 0.0 sec. user=mdettweiler [2013-05-13 23:24:15] 615*2^1245883-1 is not prime. Res64: 03B888143E117DEF Time : 0.0 sec. user=mdettweiler [2013-05-13 23:30:27] 861*2^1245883-1 is not prime. Res64: 3EA32BE9E9EDDE10 Time : 0.0 sec. user=mdettweiler [2013-05-13 23:30:27] 885*2^1245883-1 is not prime. Res64: 01B2932F644125BA Time : 0.0 sec. user=vaughan [2013-05-13 23:38:22] 765*2^1245883-1 is not prime. Res64: AAB69991C8BD6B73 Time : 0.0 sec. user=mdettweiler [2013-05-13 23:42:36] 913*2^1245883-1 is not prime. Res64: 8B0E016231FFCB7A Time : 0.0 sec. user=mdettweiler [2013-05-13 23:48:52] 785*2^1245884-1 is not prime. Res64: AB641245AA7CED47 Time : 0.0 sec. user=mdettweiler [2013-05-13 23:48:52] 855*2^1245884-1 is not prime. Res64: 58A56D3503C44DC0 Time : 0.0 sec.