user=mdettweiler [2013-07-13 00:06:29] 861*2^1247647-1 is not prime. Res64: 7B95C29555296CAE Time : 0.0 sec. user=mdettweiler [2013-07-13 00:06:30] 895*2^1247647-1 is not prime. Res64: D934CC26B4B71489 Time : 0.0 sec. user=mdettweiler [2013-07-13 00:23:33] 815*2^1247648-1 is not prime. Res64: 5611E0AB7F7ED663 Time : 0.0 sec. user=mdettweiler [2013-07-13 00:23:33] 839*2^1247648-1 is not prime. Res64: AEFF5C69FFBA0219 Time : 0.0 sec. user=vaughan [2013-07-13 00:38:02] 657*2^1247648-1 is not prime. Res64: C39B7E30484D4BF2 Time : 0.0 sec. user=mdettweiler [2013-07-13 00:41:24] 959*2^1247648-1 is not prime. Res64: 8CCB483ABBBD9925 Time : 0.0 sec. user=mdettweiler [2013-07-13 00:41:25] 601*2^1247649-1 is not prime. Res64: D86EB77F47ACD9D1 Time : 0.0 sec. user=mdettweiler [2013-07-13 00:58:26] 789*2^1247649-1 is not prime. Res64: E8FA86FBC644A4C4 Time : 0.0 sec. user=mdettweiler [2013-07-13 00:58:27] 831*2^1247649-1 is not prime. Res64: B3D660D1D8B327FA Time : 0.0 sec. user=mdettweiler [2013-07-13 01:15:28] 877*2^1247649-1 is not prime. Res64: A2999A24660D8469 Time : 0.0 sec. user=mdettweiler [2013-07-13 01:15:28] 895*2^1247649-1 is not prime. Res64: 85F4C471B89E37F8 Time : 0.0 sec. user=vaughan [2013-07-13 01:16:02] 609*2^1247649-1 is not prime. Res64: 67856965482828C6 Time : 0.0 sec. user=mdettweiler [2013-07-13 01:32:31] 665*2^1247650-1 is not prime. Res64: FA2AAF8121A41AB8 Time : 0.0 sec. user=mdettweiler [2013-07-13 01:32:31] 695*2^1247650-1 is not prime. Res64: 31D91A3CFFE5D5E1 Time : 0.0 sec. user=mdettweiler [2013-07-13 01:49:33] 713*2^1247650-1 is not prime. Res64: 40A7AE2D1E4D9CB4 Time : 0.0 sec. user=mdettweiler [2013-07-13 01:49:33] 731*2^1247650-1 is not prime. Res64: 89E015490AC3D964 Time : 0.0 sec. user=vaughan [2013-07-13 01:54:05] 701*2^1247650-1 is not prime. Res64: 3A549838B862C7ED Time : 0.0 sec. user=mdettweiler [2013-07-13 02:06:34] 741*2^1247650-1 is not prime. Res64: FC2599F3EFC77EA7 Time : 0.0 sec. user=mdettweiler [2013-07-13 02:06:34] 873*2^1247650-1 is not prime. Res64: 8C1DA2B8B401EB99 Time : 0.0 sec. user=mdettweiler [2013-07-13 02:23:41] 833*2^1247572-1 is not prime. Res64: 03D589F6EE384D3B Time : 0.0 sec. user=mdettweiler [2013-07-13 02:23:41] 857*2^1247572-1 is not prime. Res64: 434F5795F63A6DBB Time : 0.0 sec. user=vaughan [2013-07-13 02:36:58] 945*2^1247650-1 is not prime. Res64: 62606D16F1AA86C0 Time : 0.0 sec. user=mdettweiler [2013-07-13 02:41:33] 923*2^1247572-1 is not prime. Res64: 9A30D61CF2D8539E Time : 0.0 sec. user=mdettweiler [2013-07-13 02:41:34] 957*2^1247572-1 is not prime. Res64: 761628DA2081E999 Time : 0.0 sec. user=mdettweiler [2013-07-13 02:59:26] 983*2^1247572-1 is not prime. Res64: DD84DBD5C1171A6F Time : 0.0 sec. user=mdettweiler [2013-07-13 02:59:27] 939*2^1247573-1 is not prime. Res64: 2C5F054067B9EA35 Time : 0.0 sec. user=mdettweiler [2013-07-13 03:16:32] 635*2^1247574-1 is not prime. Res64: 54D64620E33575AB Time : 0.0 sec. user=mdettweiler [2013-07-13 03:16:32] 741*2^1247574-1 is not prime. Res64: 2B9CCEB7B1EA0916 Time : 0.0 sec. user=vaughan [2013-07-13 03:19:58] 965*2^1247572-1 is not prime. Res64: 997B0E4DF21A900F Time : 0.0 sec. user=mdettweiler [2013-07-13 03:33:35] 825*2^1247574-1 is not prime. Res64: 8FD1F6561E04EF85 Time : 0.0 sec. user=mdettweiler [2013-07-13 03:33:36] 833*2^1247574-1 is not prime. Res64: 9B8450515BBC5E1E Time : 0.0 sec. user=mdettweiler [2013-07-13 03:50:57] 893*2^1247574-1 is not prime. Res64: 3BC6727F34D60D3A Time : 0.0 sec. user=mdettweiler [2013-07-13 03:50:57] 903*2^1247574-1 is not prime. Res64: 55520810F0E282EE Time : 0.0 sec. user=vaughan [2013-07-13 03:57:57] 851*2^1247574-1 is not prime. Res64: 0ED82F5734E8BB9C Time : 0.0 sec. user=mdettweiler [2013-07-13 04:08:01] 675*2^1247575-1 is not prime. Res64: 0808CFCA0284772B Time : 0.0 sec. user=mdettweiler [2013-07-13 04:08:01] 723*2^1247575-1 is not prime. Res64: 30598FBB969F90D4 Time : 0.0 sec. user=mdettweiler [2013-07-13 04:25:03] 775*2^1247575-1 is not prime. Res64: 395EB8FF306FB5AE Time : 0.0 sec. user=mdettweiler [2013-07-13 04:25:04] 793*2^1247575-1 is not prime. Res64: C5AA1A77732AC819 Time : 0.0 sec. user=vaughan [2013-07-13 04:35:55] 765*2^1247575-1 is not prime. Res64: 8E2131BBD7348073 Time : 0.0 sec. user=mdettweiler [2013-07-13 04:42:06] 861*2^1247575-1 is not prime. Res64: 5AF773EB07E1E451 Time : 0.0 sec. user=mdettweiler [2013-07-13 04:42:06] 629*2^1247576-1 is not prime. Res64: 985F3A2039199BBA Time : 0.0 sec. user=mdettweiler [2013-07-13 04:59:09] 755*2^1247576-1 is not prime. Res64: 39635908CEFB3E94 Time : 0.0 sec. user=mdettweiler [2013-07-13 04:59:10] 759*2^1247576-1 is not prime. Res64: 20FB81BE5B3F8722 Time : 0.0 sec. user=vaughan [2013-07-13 05:13:52] 657*2^1247576-1 is not prime. Res64: 3F7A8AAD58A6867C Time : 0.0 sec. user=juhehe [2013-07-13 05:17:39] 975*2^1247650-1 is not prime. Res64: 2F2C51DD3F3C00B9 Time : 0.0 sec. user=mdettweiler [2013-07-13 05:17:47] 995*2^1247650-1 is not prime. Res64: 408C4B2A543D4B8D Time : 0.0 sec. user=mdettweiler [2013-07-13 05:17:48] 1001*2^1247650-1 is not prime. Res64: C07052F046A977BE Time : 0.0 sec. user=mdettweiler [2013-07-13 05:34:49] 943*2^1247651-1 is not prime. Res64: 171E4C46FD9851F7 Time : 0.0 sec. user=mdettweiler [2013-07-13 05:34:49] 949*2^1247651-1 is not prime. Res64: AF753ED29A695F2C Time : 0.0 sec. user=mdettweiler [2013-07-13 05:51:51] 809*2^1247652-1 is not prime. Res64: 27609DEEACED6493 Time : 0.0 sec. user=vaughan [2013-07-13 05:51:51] 685*2^1247651-1 is not prime. Res64: 88D9B9E34BE44131 Time : 0.0 sec. user=mdettweiler [2013-07-13 05:51:51] 609*2^1247653-1 is not prime. Res64: 1481043CFF59ADFF Time : 0.0 sec. user=mdettweiler [2013-07-13 06:08:52] 855*2^1247653-1 is not prime. Res64: 135DC5BA5ABC3C33 Time : 0.0 sec. user=mdettweiler [2013-07-13 06:08:53] 895*2^1247653-1 is not prime. Res64: 05564CE3F9916B13 Time : 0.0 sec. user=mdettweiler [2013-07-13 06:26:02] 937*2^1247653-1 is not prime. Res64: 2DCF5B4A3BD44565 Time : 0.0 sec. user=mdettweiler [2013-07-13 06:26:02] 743*2^1247654-1 is not prime. Res64: 80132BE87A42E95A Time : 0.0 sec. user=vaughan [2013-07-13 06:34:46] 897*2^1247653-1 is not prime. Res64: 572A689A9F7E0AF6 Time : 0.0 sec. user=mdettweiler [2013-07-13 06:43:51] 941*2^1247654-1 is not prime. Res64: AEED1996EBC4B908 Time : 0.0 sec. user=mdettweiler [2013-07-13 06:43:52] 983*2^1247654-1 is not prime. Res64: F4CF3DCFB5E9F487 Time : 0.0 sec. user=mdettweiler [2013-07-13 07:00:54] 795*2^1247655-1 is not prime. Res64: 4B221B53F85A74EF Time : 0.0 sec. user=mdettweiler [2013-07-13 07:00:55] 825*2^1247655-1 is not prime. Res64: 9B9CF95E3AC5B75C Time : 0.0 sec. user=vaughan [2013-07-13 07:12:47] 709*2^1247655-1 is not prime. Res64: 2483D07319EBBE26 Time : 0.0 sec. user=mdettweiler [2013-07-13 07:18:06] 853*2^1247655-1 is not prime. Res64: 018C18AB1E965486 Time : 0.0 sec. user=mdettweiler [2013-07-13 07:18:07] 895*2^1247655-1 is not prime. Res64: 9BF5BEAB6076D593 Time : 0.0 sec. user=mdettweiler [2013-07-13 07:35:07] 623*2^1247656-1 is not prime. Res64: 800640E50F5A6903 Time : 0.0 sec. user=mdettweiler [2013-07-13 07:35:08] 695*2^1247656-1 is not prime. Res64: 40E8112E3AF59E98 Time : 0.0 sec. user=vaughan [2013-07-13 07:50:45] 617*2^1247656-1 is not prime. Res64: 34E123D2F05F5859 Time : 0.0 sec. user=mdettweiler [2013-07-13 07:52:10] 717*2^1247656-1 is not prime. Res64: 8AB95CDB5F541AD7 Time : 0.0 sec. user=mdettweiler [2013-07-13 07:52:11] 845*2^1247656-1 is not prime. Res64: 339183C8807DE5E9 Time : 0.0 sec. user=mdettweiler [2013-07-13 08:10:00] 917*2^1247656-1 is not prime. Res64: 7D08839840A14920 Time : 0.0 sec. user=mdettweiler [2013-07-13 08:10:01] 957*2^1247656-1 is not prime. Res64: 32332D99ABAC88CC Time : 0.0 sec. user=mdettweiler [2013-07-13 08:27:08] 615*2^1247657-1 is not prime. Res64: CDE32973E530299F Time : 0.0 sec. user=mdettweiler [2013-07-13 08:27:09] 645*2^1247657-1 is not prime. Res64: CA1CD8D6213EA071 Time : 0.0 sec. user=vaughan [2013-07-13 08:33:38] 909*2^1247656-1 is not prime. Res64: D2724C3E21D85C9C Time : 0.0 sec. user=mdettweiler [2013-07-13 08:44:10] 715*2^1247657-1 is not prime. Res64: 28E293A4D61F3C6E Time : 0.0 sec. user=mdettweiler [2013-07-13 08:44:10] 781*2^1247657-1 is not prime. Res64: 8C23ED78F5537431 Time : 0.0 sec. user=mdettweiler [2013-07-13 09:01:12] 861*2^1247657-1 is not prime. Res64: A68C7A726D3ED951 Time : 0.0 sec. user=mdettweiler [2013-07-13 09:01:13] 635*2^1247658-1 is not prime. Res64: 88DC0D1B9F1D2F48 Time : 0.0 sec. user=vaughan [2013-07-13 09:11:34] 847*2^1247657-1 is not prime. Res64: 13424ED255779577 Time : 0.0 sec. user=mdettweiler [2013-07-13 09:18:24] 711*2^1247658-1 is not prime. Res64: 2119C65DCBF534E4 Time : 0.0 sec. user=mdettweiler [2013-07-13 09:18:25] 755*2^1247658-1 is not prime. Res64: 2370030ACD69A581 Time : 0.0 sec. user=mdettweiler [2013-07-13 09:36:13] 945*2^1247658-1 is not prime. Res64: F3E7D03975F524E9 Time : 0.0 sec. user=mdettweiler [2013-07-13 09:36:14] 971*2^1247658-1 is not prime. Res64: C58F2D307E5A64BD Time : 0.0 sec. user=juhehe [2013-07-13 09:38:09] 833*2^1247658-1 is not prime. Res64: E26C6FCCE625AC41 Time : 0.0 sec. user=vaughan [2013-07-13 09:49:42] 821*2^1247658-1 is not prime. Res64: DA0335AF920A7534 Time : 0.0 sec. user=mdettweiler [2013-07-13 09:53:14] 615*2^1247659-1 is not prime. Res64: 18E59070FCB3CBF0 Time : 0.0 sec. user=mdettweiler [2013-07-13 09:53:14] 709*2^1247659-1 is not prime. Res64: A8E9987653C65490 Time : 0.0 sec. user=mdettweiler [2013-07-13 10:10:15] 733*2^1247659-1 is not prime. Res64: 2FEA60BD35C868E7 Time : 0.0 sec. user=mdettweiler [2013-07-13 10:10:16] 789*2^1247659-1 is not prime. Res64: F1582BA3961CA5F6 Time : 0.0 sec. user=mdettweiler [2013-07-13 10:27:20] 885*2^1247659-1 is not prime. Res64: 1CBC4102F2CB7642 Time : 0.0 sec. user=mdettweiler [2013-07-13 10:27:21] 909*2^1247659-1 is not prime. Res64: 362DA21B025B9D49 Time : 0.0 sec. user=vaughan [2013-07-13 10:27:41] 723*2^1247659-1 is not prime. Res64: 743686DB0F3AD570 Time : 0.0 sec. user=mdettweiler [2013-07-13 10:44:49] 943*2^1247659-1 is not prime. Res64: 6BFD12F6816BD3AA Time : 0.0 sec. user=mdettweiler [2013-07-13 10:44:49] 951*2^1247659-1 is not prime. Res64: FA08700F766683B2 Time : 0.0 sec. user=mdettweiler [2013-07-13 11:02:23] 633*2^1247660-1 is not prime. Res64: 03CD778A9C15241A Time : 0.0 sec. user=mdettweiler [2013-07-13 11:02:23] 825*2^1247660-1 is not prime. Res64: C344C6525B0D49A7 Time : 0.0 sec. user=vaughan [2013-07-13 11:05:40] 609*2^1247660-1 is not prime. Res64: 1E6D9E369D1CB0C8 Time : 0.0 sec. user=mdettweiler [2013-07-13 11:20:02] 879*2^1247660-1 is not prime. Res64: F87091A3ACBBC40E Time : 0.0 sec. user=mdettweiler [2013-07-13 11:20:03] 935*2^1247660-1 is not prime. Res64: 0859E1E2C761E332 Time : 0.0 sec. user=mdettweiler [2013-07-13 11:37:16] 717*2^1247661-1 is not prime. Res64: DB4725CE5C21C6E7 Time : 0.0 sec. user=mdettweiler [2013-07-13 11:37:16] 907*2^1247661-1 is not prime. Res64: D57EE5E61ABECC5F Time : 0.0 sec. user=vaughan [2013-07-13 11:43:40] 639*2^1247661-1 is not prime. Res64: 2983D74B95B8390C Time : 0.0 sec. user=mdettweiler [2013-07-13 11:56:42] 955*2^1247661-1 is not prime. Res64: 9EF4B8D03EBEAF37 Time : 0.0 sec. user=mdettweiler [2013-07-13 11:56:43] 975*2^1247661-1 is not prime. Res64: 824B4A70801F591B Time : 0.0 sec. user=mdettweiler [2013-07-13 12:14:06] 695*2^1247662-1 is not prime. Res64: 1189FFC30A6AE25D Time : 0.0 sec. user=mdettweiler [2013-07-13 12:14:06] 815*2^1247662-1 is not prime. Res64: D7620FD9A8265289 Time : 0.0 sec. user=vaughan [2013-07-13 12:26:33] 991*2^1247661-1 is not prime. Res64: C47ED4A92FF3CA41 Time : 0.0 sec. user=mdettweiler [2013-07-13 12:31:16] 863*2^1247662-1 is not prime. Res64: C50633654D60A5C3 Time : 0.0 sec. user=mdettweiler [2013-07-13 12:31:16] 915*2^1247662-1 is not prime. Res64: 809F9132A3A1C11A Time : 0.0 sec. user=mdettweiler [2013-07-13 12:48:25] 693*2^1247663-1 is not prime. Res64: 97130E25073D3A4C Time : 0.0 sec. user=mdettweiler [2013-07-13 12:48:25] 705*2^1247663-1 is not prime. Res64: 2038A9203E976E48 Time : 0.0 sec. user=mdettweiler [2013-07-13 13:05:47] 913*2^1247663-1 is not prime. Res64: 1185AC9D836FDC33 Time : 0.0 sec. user=mdettweiler [2013-07-13 13:05:48] 627*2^1247664-1 is not prime. Res64: 7FF62728FD24810C Time : 0.0 sec. user=vaughan [2013-07-13 13:13:12] 987*2^1247662-1 is not prime. Res64: 86482A644DD940DA Time : 0.0 sec. user=mdettweiler [2013-07-13 13:23:00] 635*2^1247664-1 is not prime. Res64: 9B11797224893909 Time : 0.0 sec. user=mdettweiler [2013-07-13 13:23:00] 719*2^1247664-1 is not prime. Res64: 3A16BB1F8535B0D7 Time : 0.0 sec. user=mdettweiler [2013-07-13 13:40:10] 687*2^1247665-1 is not prime. Res64: BC43995E9794E9A0 Time : 0.0 sec. user=mdettweiler [2013-07-13 13:40:10] 705*2^1247665-1 is not prime. Res64: 6B7082C3CC194CB2 Time : 0.0 sec. user=juhehe [2013-07-13 13:40:31] 927*2^1247664-1 is not prime. Res64: CEEDD1FD74BB627E Time : 0.0 sec. user=vaughan [2013-07-13 13:51:10] 803*2^1247664-1 is not prime. Res64: CE9E406251DDFE0D Time : 0.0 sec. user=mdettweiler [2013-07-13 13:57:17] 717*2^1247665-1 is not prime. Res64: 4B4A0DD90FEBDC9F Time : 0.0 sec. user=mdettweiler [2013-07-13 13:57:18] 741*2^1247665-1 is not prime. Res64: 04D770E0DE669522 Time : 0.0 sec. user=mdettweiler [2013-07-13 14:14:46] 777*2^1247665-1 is not prime. Res64: B0744E920C5B4E2F Time : 0.0 sec. user=mdettweiler [2013-07-13 14:14:46] 799*2^1247665-1 is not prime. Res64: 542A968855ACF090 Time : 0.0 sec. user=vaughan [2013-07-13 14:29:09] 759*2^1247665-1 is not prime. Res64: 90F467EA67FBE477 Time : 0.0 sec. user=mdettweiler [2013-07-13 14:31:56] 877*2^1247665-1 is not prime. Res64: 8EA4962F50B90564 Time : 0.0 sec. user=mdettweiler [2013-07-13 14:31:56] 885*2^1247665-1 is not prime. Res64: 0D2AAD4F793094BA Time : 0.0 sec. user=mdettweiler [2013-07-13 14:49:05] 937*2^1247665-1 is not prime. Res64: 31BD16193542ED19 Time : 0.0 sec. user=mdettweiler [2013-07-13 14:49:05] 615*2^1247666-1 is not prime. Res64: 1A7B79680D5C7A2A Time : 0.0 sec. user=mdettweiler [2013-07-13 15:06:17] 705*2^1247666-1 is not prime. Res64: 99851B63AD47E847 Time : 0.0 sec. user=mdettweiler [2013-07-13 15:06:18] 713*2^1247666-1 is not prime. Res64: 759F11ED71D47051 Time : 0.0 sec. user=vaughan [2013-07-13 15:12:02] 915*2^1247665-1 is not prime. Res64: CC49F56F9A9786F4 Time : 0.0 sec. user=mdettweiler [2013-07-13 15:23:28] 801*2^1247666-1 is not prime. Res64: 4A73363068152407 Time : 0.0 sec. user=mdettweiler [2013-07-13 15:23:29] 813*2^1247666-1 is not prime. Res64: 7746CEDB08456828 Time : 0.0 sec. user=mdettweiler [2013-07-13 15:40:39] 851*2^1247666-1 is not prime. Res64: 47C45F36CF9C5D63 Time : 0.0 sec. user=mdettweiler [2013-07-13 15:40:39] 625*2^1247667-1 is not prime. Res64: 79A0FC85930EB81A Time : 0.0 sec. user=vaughan [2013-07-13 15:50:01] 825*2^1247666-1 is not prime. Res64: 3DCA1387DF0887E3 Time : 0.0 sec. user=mdettweiler [2013-07-13 15:57:47] 705*2^1247667-1 is not prime. Res64: F88B9D6ACC500EFA Time : 0.0 sec. user=mdettweiler [2013-07-13 15:57:47] 849*2^1247667-1 is not prime. Res64: 78335C4F196773A9 Time : 0.0 sec. user=mdettweiler [2013-07-13 16:15:44] 979*2^1247667-1 is not prime. Res64: CBE410492B450904 Time : 0.0 sec. user=mdettweiler [2013-07-13 16:15:45] 605*2^1247668-1 is not prime. Res64: 7DB3B9A9758BB2CB Time : 0.0 sec. user=vaughan [2013-07-13 16:32:53] 903*2^1247667-1 is not prime. Res64: 267C6E294668D5F1 Time : 0.0 sec. user=mdettweiler [2013-07-13 16:32:56] 629*2^1247668-1 is not prime. Res64: F46BD1553B2168FD Time : 0.0 sec. user=mdettweiler [2013-07-13 16:32:57] 689*2^1247668-1 is not prime. Res64: 88B1B29D95DD0B96 Time : 0.0 sec. user=mdettweiler [2013-07-13 16:50:05] 797*2^1247668-1 is not prime. Res64: 13AE58C6FEA851ED Time : 0.0 sec. user=mdettweiler [2013-07-13 16:50:06] 839*2^1247668-1 is not prime. Res64: 2E8E466F6278BEC0 Time : 0.0 sec. user=mdettweiler [2013-07-13 17:07:14] 869*2^1247668-1 is not prime. Res64: C684AB02977CBDC4 Time : 0.0 sec. user=mdettweiler [2013-07-13 17:07:15] 875*2^1247668-1 is not prime. Res64: B0A2901D72DE301B Time : 0.0 sec. user=vaughan [2013-07-13 17:10:52] 705*2^1247668-1 is not prime. Res64: 4A54FAC2A25A0FF7 Time : 0.0 sec. user=mdettweiler [2013-07-13 17:24:26] 601*2^1247669-1 is not prime. Res64: 286C33A0BBD13003 Time : 0.0 sec. user=mdettweiler [2013-07-13 17:24:27] 679*2^1247669-1 is not prime. Res64: 24E7D1C6F457FF47 Time : 0.0 sec. user=mdettweiler [2013-07-13 17:41:37] 735*2^1247669-1 is not prime. Res64: 4DF413F46FEB5CEA Time : 0.0 sec. user=mdettweiler [2013-07-13 17:41:38] 771*2^1247669-1 is not prime. Res64: 02BEBDD652BBA644 Time : 0.0 sec. user=vaughan [2013-07-13 17:48:51] 727*2^1247669-1 is not prime. Res64: 64C803720356266A Time : 0.0 sec. user=mdettweiler [2013-07-13 17:58:47] 789*2^1247669-1 is not prime. Res64: CC6321C690BBEE86 Time : 0.0 sec. user=mdettweiler [2013-07-13 17:58:47] 825*2^1247669-1 is not prime. Res64: 7091F67476FF66C7 Time : 0.0 sec. user=mdettweiler [2013-07-13 18:17:29] 939*2^1247669-1 is not prime. Res64: 14EBFE22347FC8AB Time : 0.0 sec. user=mdettweiler [2013-07-13 18:17:29] 987*2^1247669-1 is not prime. Res64: B91FB83BB5830C3C Time : 0.0 sec. user=vaughan [2013-07-13 18:31:43] 931*2^1247669-1 is not prime. Res64: B9AECA24BD834020 Time : 0.0 sec. user=mdettweiler [2013-07-13 18:35:55] 711*2^1247670-1 is not prime. Res64: 2C6FE46683FBD20F Time : 0.0 sec. user=mdettweiler [2013-07-13 18:35:55] 713*2^1247670-1 is not prime. Res64: 28A44F6E0008B14E Time : 0.0 sec. user=mdettweiler [2013-07-13 18:55:06] 863*2^1247670-1 is not prime. Res64: 43C9D3B58F0E2C6F Time : 0.0 sec. user=mdettweiler [2013-07-13 18:55:06] 957*2^1247670-1 is not prime. Res64: 8533CFEF6E0C358F Time : 0.0 sec. user=vaughan [2013-07-13 19:09:42] 851*2^1247670-1 is not prime. Res64: FB2806D6BE3589FD Time : 0.0 sec. user=mdettweiler [2013-07-13 19:13:12] 609*2^1247671-1 is not prime. Res64: 67EDFEBD3EBC7892 Time : 0.0 sec. user=mdettweiler [2013-07-13 19:13:13] 763*2^1247671-1 is not prime. Res64: 1E9CC47B7BDD3ECB Time : 0.0 sec. user=mdettweiler [2013-07-13 19:31:20] 855*2^1247671-1 is not prime. Res64: 7DE9ED79B3B55532 Time : 0.0 sec. user=mdettweiler [2013-07-13 19:31:20] 859*2^1247671-1 is not prime. Res64: 03F06E6B259274F2 Time : 0.0 sec. user=vaughan [2013-07-13 19:47:43] 819*2^1247671-1 is not prime. Res64: 01C457BC5CEEBA8B Time : 0.0 sec. user=mdettweiler [2013-07-13 19:49:05] 861*2^1247671-1 is not prime. Res64: 3611E233FB495716 Time : 0.0 sec. user=mdettweiler [2013-07-13 19:49:05] 891*2^1247671-1 is not prime. Res64: D7072620061E1BA8 Time : 0.0 sec. user=mdettweiler [2013-07-13 20:06:49] 683*2^1247672-1 is not prime. Res64: 0CF38137A49BB110 Time : 0.0 sec. user=mdettweiler [2013-07-13 20:06:50] 759*2^1247672-1 is not prime. Res64: 12470B29F286540A Time : 0.0 sec. user=mdettweiler [2013-07-13 20:25:30] 797*2^1247672-1 is not prime. Res64: 079A39A4F9369767 Time : 0.0 sec. user=mdettweiler [2013-07-13 20:25:30] 963*2^1247672-1 is not prime. Res64: B4D6DAFBFA561537 Time : 0.0 sec. user=vaughan [2013-07-13 20:30:37] 909*2^1247671-1 is not prime. Res64: 42ACF34CED666A3E Time : 0.0 sec. user=mdettweiler [2013-07-13 20:44:08] 999*2^1247672-1 is not prime. Res64: 75C959B96511A30D Time : 0.0 sec. user=mdettweiler [2013-07-13 20:44:08] 727*2^1247673-1 is not prime. Res64: 65D89258A5EF23C8 Time : 0.0 sec. user=mdettweiler [2013-07-13 21:01:54] 675*2^1247674-1 is not prime. Res64: 60B665E1B36F2F26 Time : 0.0 sec. user=mdettweiler [2013-07-13 21:01:55] 701*2^1247674-1 is not prime. Res64: AA463B539EF9EB50 Time : 0.0 sec. user=vaughan [2013-07-13 21:08:34] 605*2^1247674-1 is not prime. Res64: F405DA9342C02F98 Time : 0.0 sec. user=mdettweiler [2013-07-13 21:19:55] 707*2^1247674-1 is not prime. Res64: D4B8612B8F3531E6 Time : 0.0 sec. user=mdettweiler [2013-07-13 21:19:56] 723*2^1247674-1 is not prime. Res64: E2F48100FC0CB350 Time : 0.0 sec. user=mdettweiler [2013-07-13 21:39:43] 983*2^1247674-1 is not prime. Res64: 2EFF5CDCB2CE8126 Time : 0.0 sec. user=mdettweiler [2013-07-13 21:39:43] 1001*2^1247674-1 is not prime. Res64: 5354CB77B6AC3CE9 Time : 0.0 sec. user=vaughan [2013-07-13 21:51:29] 947*2^1247674-1 is not prime. Res64: CDF949DCCC96C0A9 Time : 0.0 sec. user=mdettweiler [2013-07-13 21:57:47] 603*2^1247675-1 is not prime. Res64: B9BEA701E826D1A7 Time : 0.0 sec. user=mdettweiler [2013-07-13 21:57:47] 643*2^1247675-1 is not prime. Res64: EC679424DBC2532B Time : 0.0 sec. user=mdettweiler [2013-07-13 22:16:18] 759*2^1247675-1 is not prime. Res64: 8BA57F449682B138 Time : 0.0 sec. user=mdettweiler [2013-07-13 22:16:18] 799*2^1247675-1 is not prime. Res64: 515D295E50C60224 Time : 0.0 sec. user=vaughan [2013-07-13 22:29:28] 655*2^1247675-1 is not prime. Res64: 8D600DDFC8DFFADA Time : 0.0 sec. user=mdettweiler [2013-07-13 23:03:00] 629*2^1247676-1 is not prime. Res64: A32B190580F75AD9 Time : 0.0 sec. user=mdettweiler [2013-07-13 23:03:01] 675*2^1247676-1 is not prime. Res64: 43BB8F46AA968644 Time : 0.0 sec. user=vaughan [2013-07-13 23:07:26] 689*2^1247676-1 is not prime. Res64: F95E4710A61B98C5 Time : 0.0 sec. user=mdettweiler [2013-07-13 23:20:52] 707*2^1247676-1 is not prime. Res64: D2F8F0F0737835AE Time : 0.0 sec. user=mdettweiler [2013-07-13 23:20:52] 765*2^1247676-1 is not prime. Res64: C1D01C8C929BF01F Time : 0.0 sec. user=mdettweiler [2013-07-13 23:38:15] 839*2^1247676-1 is not prime. Res64: 72C81AEBDB73D4FA Time : 0.0 sec. user=mdettweiler [2013-07-13 23:38:16] 879*2^1247676-1 is not prime. Res64: 2E81E35CC56F2FB2 Time : 0.0 sec. user=vaughan [2013-07-13 23:45:25] 779*2^1247676-1 is not prime. Res64: 0522C4663ED1D0DA Time : 0.0 sec. user=mdettweiler [2013-07-13 23:56:10] 993*2^1247676-1 is not prime. Res64: 4DFA1E42BEE0AA95 Time : 0.0 sec. user=mdettweiler [2013-07-13 23:56:11] 607*2^1247677-1 is not prime. Res64: 241CB08129505772 Time : 0.0 sec.