user=mdettweiler [2013-01-24 00:09:59] 931*2^1239827-1 is not prime. Res64: A7A3AFE3E43838C7 Time : 0.0 sec. user=mdettweiler [2013-01-24 00:10:00] 963*2^1239827-1 is not prime. Res64: EA734C52614A65D6 Time : 0.0 sec. user=mdettweiler [2013-01-24 00:18:06] 635*2^1239828-1 is not prime. Res64: 734613E6A009B99D Time : 0.0 sec. user=mdettweiler [2013-01-24 00:18:07] 647*2^1239828-1 is not prime. Res64: 9E4E962080BB7DAC Time : 0.0 sec. user=mdettweiler [2013-01-24 00:27:24] 773*2^1239828-1 is not prime. Res64: 80A5A480A78C760F Time : 0.0 sec. user=mdettweiler [2013-01-24 00:27:25] 875*2^1239828-1 is not prime. Res64: AD4C938E39A49220 Time : 0.0 sec. user=vaughan [2013-01-24 00:33:15] 979*2^1239827-1 is not prime. Res64: 6FEAB8AEB8E63506 Time : 0.0 sec. user=mdettweiler [2013-01-24 00:35:28] 879*2^1239828-1 is not prime. Res64: E7D408865D9C0C92 Time : 0.0 sec. user=mdettweiler [2013-01-24 00:35:28] 905*2^1239828-1 is not prime. Res64: FFFFF44B42118F78 Time : 0.0 sec. user=mdettweiler [2013-01-24 00:44:44] 927*2^1239828-1 is not prime. Res64: 01228AB326A98725 Time : 0.0 sec. user=mdettweiler [2013-01-24 00:44:45] 615*2^1239829-1 is not prime. Res64: DBDC101842D361BB Time : 0.0 sec. user=mdettweiler [2013-01-24 00:52:49] 751*2^1239829-1 is not prime. Res64: 275EB391C20D0F4C Time : 0.0 sec. user=mdettweiler [2013-01-24 00:52:50] 765*2^1239829-1 is not prime. Res64: DF7394AE54966F93 Time : 0.0 sec. user=mdettweiler [2013-01-24 01:02:09] 919*2^1239829-1 is not prime. Res64: E5328E8A94D3DEF6 Time : 0.0 sec. user=mdettweiler [2013-01-24 01:02:10] 825*2^1239830-1 is not prime. Res64: 50006528687D0C12 Time : 0.0 sec. user=mdettweiler [2013-01-24 01:10:11] 885*2^1239830-1 is not prime. Res64: A65EBCF90B20BA9B Time : 0.0 sec. user=mdettweiler [2013-01-24 01:10:12] 887*2^1239830-1 is not prime. Res64: E91F2DA0527423B3 Time : 0.0 sec. user=vaughan [2013-01-24 01:11:10] 649*2^1239829-1 is not prime. Res64: 43B490A65990456F Time : 0.0 sec. user=mdettweiler [2013-01-24 01:19:47] 935*2^1239830-1 is not prime. Res64: E8C1806D1FB8973D Time : 0.0 sec. user=mdettweiler [2013-01-24 01:19:48] 613*2^1239831-1 is not prime. Res64: 1C7E684BD425D875 Time : 0.0 sec. user=mdettweiler [2013-01-24 01:27:37] 691*2^1239831-1 is not prime. Res64: 7DCD1B59868216C7 Time : 0.0 sec. user=mdettweiler [2013-01-24 01:27:38] 709*2^1239831-1 is not prime. Res64: 4DE2C7F1C24DA8B7 Time : 0.0 sec. user=mdettweiler [2013-01-24 01:37:07] 825*2^1239831-1 is not prime. Res64: 1D149471422D72A5 Time : 0.0 sec. user=mdettweiler [2013-01-24 01:37:08] 859*2^1239831-1 is not prime. Res64: 3DBF3FF548EB05E4 Time : 0.0 sec. user=mdettweiler [2013-01-24 01:45:03] 969*2^1239831-1 is not prime. Res64: 3F8ABBDAB83CEFAF Time : 0.0 sec. user=mdettweiler [2013-01-24 01:45:03] 623*2^1239832-1 is not prime. Res64: 50D4DDB36A141CB5 Time : 0.0 sec. user=vaughan [2013-01-24 01:49:05] 745*2^1239831-1 is not prime. Res64: FB811812683A0E69 Time : 0.0 sec. user=mdettweiler [2013-01-24 01:54:27] 639*2^1239832-1 is not prime. Res64: 025E6CD2CBD317E7 Time : 0.0 sec. user=mdettweiler [2013-01-24 01:54:28] 687*2^1239832-1 is not prime. Res64: 5B729559873DD2DA Time : 0.0 sec. user=mdettweiler [2013-01-24 02:02:25] 813*2^1239832-1 is not prime. Res64: 9376E02BBB52E899 Time : 0.0 sec. user=mdettweiler [2013-01-24 02:02:29] 857*2^1239832-1 is not prime. Res64: 1F3FB94889D7BEF4 Time : 0.0 sec. user=mdettweiler [2013-01-24 02:11:50] 691*2^1239833-1 is not prime. Res64: A858C02245D9D6C4 Time : 0.0 sec. user=mdettweiler [2013-01-24 02:11:51] 747*2^1239833-1 is not prime. Res64: DF5604D325D1C735 Time : 0.0 sec. user=mdettweiler [2013-01-24 02:20:31] 781*2^1239833-1 is not prime. Res64: 5E3854521105942B Time : 0.0 sec. user=mdettweiler [2013-01-24 02:20:32] 897*2^1239833-1 is not prime. Res64: 1C4651250FFD9661 Time : 0.0 sec. user=vaughan [2013-01-24 02:27:02] 939*2^1239832-1 is not prime. Res64: 4D2B9B46806A069D Time : 0.0 sec. user=mdettweiler [2013-01-24 02:29:12] 985*2^1239833-1 is not prime. Res64: AA54505B2F159B76 Time : 0.0 sec. user=mdettweiler [2013-01-24 02:29:13] 991*2^1239833-1 is not prime. Res64: 43C5DB615455726F Time : 0.0 sec. user=mdettweiler [2013-01-24 02:37:52] 671*2^1239834-1 is not prime. Res64: 866BB3B404C6C5C8 Time : 0.0 sec. user=mdettweiler [2013-01-24 02:37:57] 677*2^1239834-1 is not prime. Res64: E12CF13879AD5F9C Time : 0.0 sec. user=mdettweiler [2013-01-24 02:46:32] 983*2^1239834-1 is not prime. Res64: D76E87C799F02329 Time : 0.0 sec. user=mdettweiler [2013-01-24 02:46:33] 639*2^1239835-1 is not prime. Res64: 7B2E46219848BFB4 Time : 0.0 sec. user=mdettweiler [2013-01-24 02:55:42] 685*2^1239835-1 is not prime. Res64: 77892AF6065CE5E0 Time : 0.0 sec. user=mdettweiler [2013-01-24 02:55:43] 801*2^1239835-1 is not prime. Res64: 1D9B77D4F64C64D2 Time : 0.0 sec. user=mdettweiler [2013-01-24 03:04:01] 871*2^1239835-1 is not prime. Res64: 552E2DDB86F80227 Time : 0.0 sec. user=mdettweiler [2013-01-24 03:04:02] 633*2^1239836-1 is not prime. Res64: C6B51ECEB997A0F4 Time : 0.0 sec. user=vaughan [2013-01-24 03:04:55] 975*2^1239834-1 is not prime. Res64: 1094DA110DB0D49D Time : 0.0 sec. user=mdettweiler [2013-01-24 03:13:09] 669*2^1239836-1 is not prime. Res64: B1535F9751B11EBC Time : 0.0 sec. user=mdettweiler [2013-01-24 03:13:14] 935*2^1239836-1 is not prime. Res64: 370AA0D309A0C530 Time : 0.0 sec. user=mdettweiler [2013-01-24 03:21:28] 615*2^1239837-1 is not prime. Res64: 4D32400AC5441614 Time : 0.0 sec. user=mdettweiler [2013-01-24 03:21:29] 669*2^1239837-1 is not prime. Res64: 1F73C3B3AFF6FCC0 Time : 0.0 sec. user=mdettweiler [2013-01-24 03:30:56] 735*2^1239837-1 is not prime. Res64: 3497002EB93BC634 Time : 0.0 sec. user=mdettweiler [2013-01-24 03:30:58] 751*2^1239837-1 is not prime. Res64: F80EE911D998C0B4 Time : 0.0 sec. user=juhehe [2013-01-24 03:31:23] 617*2^1239682-1 is not prime. Res64: 3BF93307485E992A Time : 0.0 sec. user=mdettweiler [2013-01-24 03:38:48] 837*2^1239837-1 is not prime. Res64: 89AD839AF7414E39 Time : 0.0 sec. user=mdettweiler [2013-01-24 03:38:55] 945*2^1239837-1 is not prime. Res64: 005A3E7D82551F28 Time : 0.0 sec. user=vaughan [2013-01-24 03:42:50] 691*2^1239837-1 is not prime. Res64: EC45D7765E258A55 Time : 0.0 sec. user=mdettweiler [2013-01-24 03:48:22] 949*2^1239837-1 is not prime. Res64: A323FF74C1B463EB Time : 0.0 sec. user=mdettweiler [2013-01-24 03:48:22] 975*2^1239837-1 is not prime. Res64: B698C6ED94601F18 Time : 0.0 sec. user=mdettweiler [2013-01-24 03:56:40] 985*2^1239837-1 is not prime. Res64: 2437210F76E69E90 Time : 0.0 sec. user=mdettweiler [2013-01-24 03:56:40] 605*2^1239838-1 is not prime. Res64: F13757974AFB0040 Time : 0.0 sec. user=mdettweiler [2013-01-24 04:05:43] 657*2^1239838-1 is not prime. Res64: 76031D2E449D8F15 Time : 0.0 sec. user=mdettweiler [2013-01-24 04:05:44] 663*2^1239838-1 is not prime. Res64: C7DB95DC35EAABD2 Time : 0.0 sec. user=mdettweiler [2013-01-24 04:14:00] 695*2^1239838-1 is not prime. Res64: 593B65DF8549D6E1 Time : 0.0 sec. user=mdettweiler [2013-01-24 04:14:01] 827*2^1239838-1 is not prime. Res64: 3D1272FD8F76776F Time : 0.0 sec. user=vaughan [2013-01-24 04:20:49] 617*2^1239838-1 is not prime. Res64: A7CD1B6BB1F2D4D3 Time : 0.0 sec. user=mdettweiler [2013-01-24 04:23:18] 857*2^1239838-1 is not prime. Res64: 96F55DC42DE990EC Time : 0.0 sec. user=mdettweiler [2013-01-24 04:23:19] 995*2^1239838-1 is not prime. Res64: 8AA036128D0EB9F3 Time : 0.0 sec. user=mdettweiler [2013-01-24 04:31:29] 619*2^1239839-1 is not prime. Res64: 06A88EDB4980423E Time : 0.0 sec. user=mdettweiler [2013-01-24 04:31:30] 643*2^1239839-1 is not prime. Res64: 63FD9292E831DE63 Time : 0.0 sec. user=mdettweiler [2013-01-24 04:40:38] 745*2^1239839-1 is not prime. Res64: 3AF0D0B75840511D Time : 0.0 sec. user=mdettweiler [2013-01-24 04:40:39] 763*2^1239839-1 is not prime. Res64: 7D16D842BA9E8478 Time : 0.0 sec. user=mdettweiler [2013-01-24 04:48:52] 829*2^1239839-1 is not prime. Res64: F4B75BA425D59A5F Time : 0.0 sec. user=mdettweiler [2013-01-24 04:48:52] 859*2^1239839-1 is not prime. Res64: CA7EF933DD12012A Time : 0.0 sec. user=mdettweiler [2013-01-24 04:58:02] 861*2^1239839-1 is not prime. Res64: 6FA30B750ADDC9EB Time : 0.0 sec. user=mdettweiler [2013-01-24 04:58:03] 883*2^1239839-1 is not prime. Res64: 47ABDC2CCE09A7CE Time : 0.0 sec. user=vaughan [2013-01-24 04:58:42] 711*2^1239839-1 is not prime. Res64: 780973AF2EDF186E Time : 0.0 sec. user=mdettweiler [2013-01-24 05:06:12] 955*2^1239839-1 is not prime. Res64: D14A6AB3A6EEE8CF Time : 0.0 sec. user=mdettweiler [2013-01-24 05:06:13] 999*2^1239839-1 is not prime. Res64: D72C319BA38C9CA2 Time : 0.0 sec. user=mdettweiler [2013-01-24 05:15:22] 713*2^1239840-1 is not prime. Res64: 065CB88336A8CC3B Time : 0.0 sec. user=mdettweiler [2013-01-24 05:15:23] 737*2^1239840-1 is not prime. Res64: B869FF51C28D04BA Time : 0.0 sec. user=mdettweiler [2013-01-24 05:23:39] 795*2^1239840-1 is not prime. Res64: 6F92DC118BCEE572 Time : 0.0 sec. user=mdettweiler [2013-01-24 05:23:40] 797*2^1239840-1 is not prime. Res64: 18867F29B0475E13 Time : 0.0 sec. user=mdettweiler [2013-01-24 05:32:43] 819*2^1239840-1 is not prime. Res64: 0760E4EB80C63786 Time : 0.0 sec. user=mdettweiler [2013-01-24 05:32:44] 825*2^1239840-1 is not prime. Res64: D8FF0EFAF7C94FF9 Time : 0.0 sec. user=vaughan [2013-01-24 05:36:37] 747*2^1239840-1 is not prime. Res64: BED0D1CCCA0E836E Time : 0.0 sec. user=mdettweiler [2013-01-24 05:41:00] 857*2^1239840-1 is not prime. Res64: 179702C77762DC5B Time : 0.0 sec. user=mdettweiler [2013-01-24 05:41:00] 609*2^1239841-1 is not prime. Res64: 0818CCF663B22B26 Time : 0.0 sec. user=mdettweiler [2013-01-24 05:50:05] 687*2^1239841-1 is not prime. Res64: 9747796C09F3F52B Time : 0.0 sec. user=mdettweiler [2013-01-24 05:50:05] 741*2^1239841-1 is not prime. Res64: E2DAA9BB150BA11C Time : 0.0 sec. user=mdettweiler [2013-01-24 05:58:21] 861*2^1239841-1 is not prime. Res64: 745C9031EF053970 Time : 0.0 sec. user=mdettweiler [2013-01-24 05:58:22] 671*2^1239842-1 is not prime. Res64: C5C04E0FA3E12E3A Time : 0.0 sec. user=mdettweiler [2013-01-24 06:07:25] 711*2^1239842-1 is not prime. Res64: DADD2AB103847F8D Time : 0.0 sec. user=mdettweiler [2013-01-24 06:07:26] 741*2^1239842-1 is not prime. Res64: 2ACA1E7A5057E512 Time : 0.0 sec. user=vaughan [2013-01-24 06:14:32] 829*2^1239841-1 is not prime. Res64: A494E9EA044DC7D8 Time : 0.0 sec. user=mdettweiler [2013-01-24 06:15:42] 813*2^1239842-1 is not prime. Res64: 8E816FC5F1EEAB63 Time : 0.0 sec. user=mdettweiler [2013-01-24 06:15:42] 837*2^1239842-1 is not prime. Res64: 64C0ADE4E3123F10 Time : 0.0 sec. user=mdettweiler [2013-01-24 06:24:50] 867*2^1239842-1 is not prime. Res64: 5C3E5A428CD70EC7 Time : 0.0 sec. user=mdettweiler [2013-01-24 06:24:51] 951*2^1239842-1 is not prime. Res64: 01F57E74E69D46C2 Time : 0.0 sec. user=mdettweiler [2013-01-24 06:33:02] 663*2^1239843-1 is not prime. Res64: 0BD8BD24B3D334F1 Time : 0.0 sec. user=mdettweiler [2013-01-24 06:33:03] 741*2^1239843-1 is not prime. Res64: 9BB5CD62958D0BFD Time : 0.0 sec. user=mdettweiler [2013-01-24 06:42:11] 985*2^1239843-1 is not prime. Res64: C995A9CF2A1F4A28 Time : 0.0 sec. user=mdettweiler [2013-01-24 06:42:11] 615*2^1239844-1 is not prime. Res64: 921B160AA09016D5 Time : 0.0 sec. user=mdettweiler [2013-01-24 06:50:23] 707*2^1239844-1 is not prime. Res64: 264E7E276267ADFC Time : 0.0 sec. user=mdettweiler [2013-01-24 06:50:23] 765*2^1239844-1 is not prime. Res64: 6CD302B88929DA69 Time : 0.0 sec. user=vaughan [2013-01-24 06:52:27] 625*2^1239843-1 is not prime. Res64: 5D659ACC0F90E941 Time : 0.0 sec. user=mdettweiler [2013-01-24 06:59:32] 807*2^1239844-1 is not prime. Res64: 8DE6C1D385385CB1 Time : 0.0 sec. user=mdettweiler [2013-01-24 06:59:33] 875*2^1239844-1 is not prime. Res64: F1DB611A1CAF2C11 Time : 0.0 sec. user=mdettweiler [2013-01-24 07:07:44] 959*2^1239844-1 is not prime. Res64: 866465B75A8C026D Time : 0.0 sec. user=mdettweiler [2013-01-24 07:07:45] 697*2^1239845-1 is not prime. Res64: 2074E1F301E1E298 Time : 0.0 sec. user=mdettweiler [2013-01-24 07:16:53] 759*2^1239845-1 is not prime. Res64: F60BA6B9E6FE883B Time : 0.0 sec. user=mdettweiler [2013-01-24 07:16:53] 771*2^1239845-1 is not prime. Res64: C1638EFC7AB94F8F Time : 0.0 sec. user=mdettweiler [2013-01-24 07:25:09] 775*2^1239845-1 is not prime. Res64: B55B68906F660317 Time : 0.0 sec. user=mdettweiler [2013-01-24 07:25:09] 795*2^1239845-1 is not prime. Res64: C1C808C94C25A2D8 Time : 0.0 sec. user=vaughan [2013-01-24 07:30:18] 699*2^1239845-1 is not prime. Res64: F0F688F9F68AE72C Time : 0.0 sec. user=mdettweiler [2013-01-24 07:34:14] 871*2^1239845-1 is not prime. Res64: 463629ABA8F273AE Time : 0.0 sec. user=mdettweiler [2013-01-24 07:34:15] 937*2^1239845-1 is not prime. Res64: 8194B5DD253DEB97 Time : 0.0 sec. user=mdettweiler [2013-01-24 07:42:29] 807*2^1239846-1 is not prime. Res64: 6924CDBB29B48CC6 Time : 0.0 sec. user=mdettweiler [2013-01-24 07:42:30] 843*2^1239846-1 is not prime. Res64: 24B0E8A798DB2F05 Time : 0.0 sec. user=mdettweiler [2013-01-24 07:51:35] 921*2^1239846-1 is not prime. Res64: 7237CD6195A34B09 Time : 0.0 sec. user=mdettweiler [2013-01-24 07:51:35] 615*2^1239847-1 is not prime. Res64: 241C90E48ADB1DA9 Time : 0.0 sec. user=mdettweiler [2013-01-24 07:59:53] 651*2^1239847-1 is not prime. Res64: 1B7C8096B4B0C364 Time : 0.0 sec. user=mdettweiler [2013-01-24 07:59:53] 729*2^1239847-1 is not prime. Res64: F0DF492ECFA31D0F Time : 0.0 sec. user=vaughan [2013-01-24 08:08:10] 881*2^1239846-1 is not prime. Res64: 00452EFCA286A883 Time : 0.0 sec. user=mdettweiler [2013-01-24 08:08:55] 759*2^1239847-1 is not prime. Res64: BD151F0EE37A3998 Time : 0.0 sec. user=mdettweiler [2013-01-24 08:08:56] 793*2^1239847-1 is not prime. Res64: 3E645CF737277D5A Time : 0.0 sec. user=mdettweiler [2013-01-24 08:17:13] 843*2^1239847-1 is not prime. Res64: 18814CDA0D64626D Time : 0.0 sec. user=mdettweiler [2013-01-24 08:17:14] 985*2^1239847-1 is not prime. Res64: 62FC504B6B0E0027 Time : 0.0 sec. user=mdettweiler [2013-01-24 08:26:18] 897*2^1239848-1 is not prime. Res64: 16560131066462BF Time : 0.0 sec. user=mdettweiler [2013-01-24 08:26:18] 993*2^1239848-1 is not prime. Res64: 1CB7900EAC75E25C Time : 0.0 sec. user=mdettweiler [2013-01-24 08:34:34] 781*2^1239849-1 is not prime. Res64: 339613436979192A Time : 0.0 sec. user=mdettweiler [2013-01-24 08:34:35] 979*2^1239849-1 is not prime. Res64: 61F260BEAD810DF0 Time : 0.0 sec. user=mdettweiler [2013-01-24 08:43:43] 675*2^1239850-1 is not prime. Res64: A3E85B5AE56E994B Time : 0.0 sec. user=mdettweiler [2013-01-24 08:43:43] 861*2^1239850-1 is not prime. Res64: 56F8051BE09861F8 Time : 0.0 sec. user=vaughan [2013-01-24 08:46:05] 725*2^1239848-1 is not prime. Res64: 40D64FCA37AEB17A Time : 0.0 sec. user=mdettweiler [2013-01-24 08:51:55] 887*2^1239850-1 is not prime. Res64: F7E7FEAF7155B455 Time : 0.0 sec. user=mdettweiler [2013-01-24 08:51:56] 951*2^1239850-1 is not prime. Res64: 6274666F5620EEC7 Time : 0.0 sec. user=mdettweiler [2013-01-24 09:01:04] 957*2^1239850-1 is not prime. Res64: 2E449B495B6F74C5 Time : 0.0 sec. user=mdettweiler [2013-01-24 09:01:06] 975*2^1239850-1 is not prime. Res64: 19EFDC1C93385093 Time : 0.0 sec. user=mdettweiler [2013-01-24 09:09:16] 669*2^1239851-1 is not prime. Res64: 76F4AF17C28A11D6 Time : 0.0 sec. user=mdettweiler [2013-01-24 09:09:17] 819*2^1239851-1 is not prime. Res64: 1433F34EBA0D079D Time : 0.0 sec. user=mdettweiler [2013-01-24 09:18:36] 969*2^1239851-1 is not prime. Res64: 4E2F9917A8CF2D3F Time : 0.0 sec. user=mdettweiler [2013-01-24 09:18:36] 629*2^1239852-1 is not prime. Res64: 62C169FDB7B257E8 Time : 0.0 sec. user=vaughan [2013-01-24 09:23:57] 645*2^1239851-1 is not prime. Res64: A314F3E427C5508D Time : 0.0 sec. user=mdettweiler [2013-01-24 09:26:40] 669*2^1239852-1 is not prime. Res64: 5BC4DEE089AB8D6B Time : 0.0 sec. user=mdettweiler [2013-01-24 09:26:40] 689*2^1239852-1 is not prime. Res64: D1E55D5F6F8B2B4E Time : 0.0 sec. user=mdettweiler [2013-01-24 09:35:57] 765*2^1239852-1 is not prime. Res64: 6D731138DD4696A6 Time : 0.0 sec. user=mdettweiler [2013-01-24 09:35:58] 857*2^1239852-1 is not prime. Res64: EBF36DE18B60FB69 Time : 0.0 sec. user=mdettweiler [2013-01-24 09:44:03] 615*2^1239853-1 is not prime. Res64: 99E12BF2FEA16296 Time : 0.0 sec. user=mdettweiler [2013-01-24 09:44:03] 801*2^1239853-1 is not prime. Res64: 5BBF918625D3EA6E Time : 0.0 sec. user=mdettweiler [2013-01-24 09:53:18] 847*2^1239853-1 is not prime. Res64: 4CFDFC29D8CABA68 Time : 0.0 sec. user=mdettweiler [2013-01-24 09:53:18] 855*2^1239853-1 is not prime. Res64: 6394561EFC42E371 Time : 0.0 sec. user=mdettweiler [2013-01-24 10:01:27] 927*2^1239853-1 is not prime. Res64: 7565437C7C4A0DAD Time : 0.0 sec. user=mdettweiler [2013-01-24 10:01:29] 999*2^1239853-1 is not prime. Res64: F971625133303D5D Time : 0.0 sec. user=vaughan [2013-01-24 10:01:52] 873*2^1239852-1 is not prime. Res64: 4115195C49E5F2CF Time : 0.0 sec. user=mdettweiler [2013-01-24 10:10:39] 675*2^1239854-1 is not prime. Res64: B992EAF0AF91365F Time : 0.0 sec. user=mdettweiler [2013-01-24 10:10:40] 741*2^1239854-1 is not prime. Res64: 71AFF4D1A659E182 Time : 0.0 sec. user=mdettweiler [2013-01-24 10:19:04] 785*2^1239854-1 is not prime. Res64: 3EA101E7E3DBEB04 Time : 0.0 sec. user=mdettweiler [2013-01-24 10:19:05] 797*2^1239854-1 is not prime. Res64: 2873BEB7C8E97C10 Time : 0.0 sec. user=mdettweiler [2013-01-24 10:28:02] 971*2^1239854-1 is not prime. Res64: EEA4A28880FF72A4 Time : 0.0 sec. user=mdettweiler [2013-01-24 10:28:03] 987*2^1239854-1 is not prime. Res64: EF50348D948559FC Time : 0.0 sec. user=mdettweiler [2013-01-24 10:36:25] 669*2^1239855-1 is not prime. Res64: 387877672F8FEEE5 Time : 0.0 sec. user=mdettweiler [2013-01-24 10:36:25] 685*2^1239855-1 is not prime. Res64: CBB1E0E8C8D6BD1B Time : 0.0 sec. user=vaughan [2013-01-24 10:39:49] 827*2^1239854-1 is not prime. Res64: 45A33A6238231098 Time : 0.0 sec. user=mdettweiler [2013-01-24 10:45:24] 723*2^1239855-1 is not prime. Res64: 01A09227634635BF Time : 0.0 sec. user=mdettweiler [2013-01-24 10:45:24] 793*2^1239855-1 is not prime. Res64: 851E506E47077A99 Time : 0.0 sec. user=mdettweiler [2013-01-24 10:53:45] 831*2^1239855-1 is not prime. Res64: A03EEA4A673CDA3C Time : 0.0 sec. user=mdettweiler [2013-01-24 10:53:46] 885*2^1239855-1 is not prime. Res64: F23478D12FE29FBE Time : 0.0 sec. user=mdettweiler [2013-01-24 11:02:46] 979*2^1239855-1 is not prime. Res64: ED36FE9E485DF3AC Time : 0.0 sec. user=mdettweiler [2013-01-24 11:02:49] 849*2^1239856-1 is not prime. Res64: 831CDFAD5FCDCE9F Time : 0.0 sec. user=mdettweiler [2013-01-24 11:11:05] 969*2^1239856-1 is not prime. Res64: 94862379D5D18DF3 Time : 0.0 sec. user=mdettweiler [2013-01-24 11:11:06] 631*2^1239857-1 is not prime. Res64: 4B4C5612702F8755 Time : 0.0 sec. user=vaughan [2013-01-24 11:17:42] 921*2^1239855-1 is not prime. Res64: 586D4C75539844B4 Time : 0.0 sec. user=mdettweiler [2013-01-24 11:20:27] 747*2^1239857-1 is not prime. Res64: C8EA2A2E09093EC7 Time : 0.0 sec. user=mdettweiler [2013-01-24 11:20:27] 759*2^1239857-1 is not prime. Res64: B23186F94A38C9B8 Time : 0.0 sec. user=mdettweiler [2013-01-24 11:28:28] 799*2^1239857-1 is not prime. Res64: 07B546B33900633C Time : 0.0 sec. user=mdettweiler [2013-01-24 11:28:28] 841*2^1239857-1 is not prime. Res64: D7D2C245E512D613 Time : 0.0 sec. user=mdettweiler [2013-01-24 11:37:48] 889*2^1239857-1 is not prime. Res64: A23A3007B09ECC43 Time : 0.0 sec. user=mdettweiler [2013-01-24 11:37:48] 901*2^1239857-1 is not prime. Res64: E1E9989558600B17 Time : 0.0 sec. user=mdettweiler [2013-01-24 11:45:49] 937*2^1239857-1 is not prime. Res64: F3AE745B0EE61AEF Time : 0.0 sec. user=mdettweiler [2013-01-24 11:45:49] 695*2^1239858-1 is not prime. Res64: 5A983681367FD2CC Time : 0.0 sec. user=mdettweiler [2013-01-24 11:55:08] 801*2^1239858-1 is not prime. Res64: 27B993792F053C0E Time : 0.0 sec. user=mdettweiler [2013-01-24 11:55:09] 861*2^1239858-1 is not prime. Res64: FFF897098F12B477 Time : 0.0 sec. user=vaughan [2013-01-24 11:55:37] 847*2^1239857-1 is not prime. Res64: 5A0DA0476B99B6DF Time : 0.0 sec. user=mdettweiler [2013-01-24 12:03:11] 867*2^1239858-1 is not prime. Res64: B47714699F56997A Time : 0.0 sec. user=mdettweiler [2013-01-24 12:03:12] 971*2^1239858-1 is not prime. Res64: E1A0334D09D24D38 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:12:30] 631*2^1239859-1 is not prime. Res64: 75326259A6209659 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:12:31] 705*2^1239859-1 is not prime. Res64: 2E83CCE0CB27DFB4 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:20:38] 741*2^1239859-1 is not prime. Res64: BADC26298E9C5094 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:20:38] 861*2^1239859-1 is not prime. Res64: D1AF5846F05502E4 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:29:53] 873*2^1239859-1 is not prime. Res64: 3910663630103AF7 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:29:54] 883*2^1239859-1 is not prime. Res64: 7FCF9A13915C624E Time : 0.0 sec. user=vaughan [2013-01-24 12:33:30] 735*2^1239859-1 is not prime. Res64: 3945D2CC32876F50 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:37:58] 909*2^1239859-1 is not prime. Res64: 8E42C5AF0DD7AC39 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:37:59] 635*2^1239860-1 is not prime. Res64: 7A50632FC335FE52 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:47:14] 959*2^1239860-1 is not prime. Res64: 094D76E2EA7063DF Time : 0.0 sec. user=mdettweiler [2013-01-24 12:47:14] 625*2^1239861-1 is not prime. Res64: A071440C397D3DE4 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:55:22] 885*2^1239861-1 is not prime. Res64: 2578C6F5D5242D58 Time : 0.0 sec. user=mdettweiler [2013-01-24 12:55:23] 921*2^1239861-1 is not prime. Res64: 0FA75C84D3FDD633 Time : 0.0 sec. user=mdettweiler [2013-01-24 13:04:42] 937*2^1239861-1 is not prime. Res64: C8F2F01D105EBCAC Time : 0.0 sec. user=mdettweiler [2013-01-24 13:04:45] 951*2^1239861-1 is not prime. Res64: 57A81D364318301F Time : 0.0 sec. user=vaughan [2013-01-24 13:11:22] 649*2^1239861-1 is not prime. Res64: 8E345BE41DC83AFB Time : 0.0 sec. user=mdettweiler [2013-01-24 13:12:52] 975*2^1239861-1 is not prime. Res64: A94DCF8768642FA1 Time : 0.0 sec. user=mdettweiler [2013-01-24 13:12:52] 979*2^1239861-1 is not prime. Res64: 72D2181BC516E1ED Time : 0.0 sec. user=mdettweiler [2013-01-24 13:22:27] 617*2^1239862-1 is not prime. Res64: A605E702BAB1EB62 Time : 0.0 sec. user=mdettweiler [2013-01-24 13:22:27] 657*2^1239862-1 is not prime. Res64: 205B049F9A79A830 Time : 0.0 sec. user=mdettweiler [2013-01-24 13:30:19] 791*2^1239862-1 is not prime. Res64: D96BE4E5CB5098CE Time : 0.0 sec. user=mdettweiler [2013-01-24 13:30:20] 983*2^1239862-1 is not prime. Res64: 6551D1411A64F604 Time : 0.0 sec. user=mdettweiler [2013-01-24 13:39:52] 615*2^1239863-1 is not prime. Res64: 4849BE77C1C89D66 Time : 0.0 sec. user=mdettweiler [2013-01-24 13:39:53] 643*2^1239863-1 is not prime. Res64: 3C3C50270CAC6A10 Time : 0.0 sec. user=mdettweiler [2013-01-24 13:47:43] 663*2^1239863-1 is not prime. Res64: D5E851ADC88FA7A1 Time : 0.0 sec. user=mdettweiler [2013-01-24 13:47:44] 675*2^1239863-1 is not prime. Res64: A5ACDDE85837291F Time : 0.0 sec. user=vaughan [2013-01-24 13:49:16] 755*2^1239862-1 is not prime. Res64: F460912A5508D537 Time : 0.0 sec. user=mdettweiler [2013-01-24 13:57:16] 721*2^1239863-1 is not prime. Res64: 169B7AFB66BBDEFB Time : 0.0 sec. user=mdettweiler [2013-01-24 13:57:16] 729*2^1239863-1 is not prime. Res64: AD6163BEA9427547 Time : 0.0 sec. user=mdettweiler [2013-01-24 14:05:11] 781*2^1239863-1 is not prime. Res64: CBD65FE8AE7C4EF6 Time : 0.0 sec. user=mdettweiler [2013-01-24 14:05:12] 853*2^1239863-1 is not prime. Res64: 68B16B83BBF84D34 Time : 0.0 sec. user=mdettweiler [2013-01-24 14:14:40] 945*2^1239863-1 is not prime. Res64: D86BCD9EEB095384 Time : 0.0 sec. user=mdettweiler [2013-01-24 14:14:40] 963*2^1239863-1 is not prime. Res64: B20E225456B5DA57 Time : 0.0 sec. user=mdettweiler [2013-01-24 14:22:49] 969*2^1239863-1 is not prime. Res64: 4D8E7F6545992C90 Time : 0.0 sec. user=mdettweiler [2013-01-24 14:22:49] 635*2^1239864-1 is not prime. Res64: 03043F96659B4D1D Time : 0.0 sec. user=vaughan [2013-01-24 14:27:08] 879*2^1239863-1 is not prime. Res64: EBB4B0C4F5CB9A81 Time : 0.0 sec. user=mdettweiler [2013-01-24 14:32:06] 707*2^1239864-1 is not prime. Res64: 3BABD91642D6E96F Time : 0.0 sec. user=mdettweiler [2013-01-24 14:32:06] 737*2^1239864-1 is not prime. Res64: FDE491A3E6E22004 Time : 0.0 sec. user=mdettweiler [2013-01-24 14:40:13] 773*2^1239864-1 is not prime. Res64: F41AA05EB657887E Time : 0.0 sec. user=mdettweiler [2013-01-24 14:40:14] 903*2^1239864-1 is not prime. Res64: DA95A350FB1018EC Time : 0.0 sec. user=mdettweiler [2013-01-24 14:49:30] 649*2^1239865-1 is not prime. Res64: 35FAEAF93AC0011D Time : 0.0 sec. user=mdettweiler [2013-01-24 14:49:30] 685*2^1239865-1 is not prime. Res64: 9569912E76096D6A Time : 0.0 sec. user=mdettweiler [2013-01-24 14:57:39] 729*2^1239865-1 is not prime. Res64: 852FDA1B4DD33BEA Time : 0.0 sec. user=mdettweiler [2013-01-24 14:57:39] 789*2^1239865-1 is not prime. Res64: 0D60FC2715A1019F Time : 0.0 sec. user=vaughan [2013-01-24 15:05:01] 619*2^1239865-1 is not prime. Res64: 3BD190EF9AF702B0 Time : 0.0 sec. user=mdettweiler [2013-01-24 15:06:54] 819*2^1239865-1 is not prime. Res64: B966AF7F6FDF42A7 Time : 0.0 sec. user=mdettweiler [2013-01-24 15:06:56] 877*2^1239865-1 is not prime. Res64: E56ED3A3421899CF Time : 0.0 sec. user=mdettweiler [2013-01-24 15:15:03] 919*2^1239865-1 is not prime. Res64: A6B71A61E0CEC228 Time : 0.0 sec. user=mdettweiler [2013-01-24 15:15:04] 623*2^1239866-1 is not prime. Res64: D11105907BCB5639 Time : 0.0 sec. user=mdettweiler [2013-01-24 15:24:23] 649*2^1239867-1 is not prime. Res64: 40234DBA05381A11 Time : 0.0 sec. user=mdettweiler [2013-01-24 15:24:23] 739*2^1239867-1 is not prime. Res64: 379FDCD37BAB86A0 Time : 0.0 sec. user=juhehe [2013-01-24 15:31:43] 773*2^1239866-1 is not prime. Res64: 1DB161D97D03189E Time : 0.0 sec. user=mdettweiler [2013-01-24 15:32:29] 913*2^1239867-1 is not prime. Res64: A452F35F1EC1FBB1 Time : 0.0 sec. user=mdettweiler [2013-01-24 15:32:29] 945*2^1239867-1 is not prime. Res64: 5B171ECFBBF59275 Time : 0.0 sec. user=mdettweiler [2013-01-24 15:42:08] 635*2^1239868-1 is not prime. Res64: 9AED1A28BFDD6184 Time : 0.0 sec. user=mdettweiler [2013-01-24 15:42:08] 687*2^1239868-1 is not prime. Res64: 540EE24A253AE4A1 Time : 0.0 sec. user=vaughan [2013-01-24 15:43:09] 783*2^1239866-1 is not prime. Res64: 7239B846B5E4CBE1 Time : 0.0 sec. user=mdettweiler [2013-01-24 15:50:34] 875*2^1239868-1 is not prime. Res64: CE94F17CE8C709F6 Time : 0.0 sec. user=mdettweiler [2013-01-24 15:50:34] 927*2^1239868-1 is not prime. Res64: 44E01D15E0D7B927 Time : 0.0 sec. user=mdettweiler [2013-01-24 16:00:15] 615*2^1239869-1 is not prime. Res64: 5BBF20231924F3D0 Time : 0.0 sec. user=mdettweiler [2013-01-24 16:00:16] 631*2^1239869-1 is not prime. Res64: 0C012EB1F4514402 Time : 0.0 sec. user=juhehe [2013-01-24 16:04:51] 707*2^1239868-1 is not prime. Res64: 6324DA5B4882E0D7 Time : 0.0 sec. user=mdettweiler [2013-01-24 16:08:31] 775*2^1239869-1 is not prime. Res64: 7BA977E6AD03DD5A Time : 0.0 sec. user=mdettweiler [2013-01-24 16:08:33] 799*2^1239869-1 is not prime. Res64: 7766415C38365AC7 Time : 0.0 sec. user=mdettweiler [2013-01-24 16:17:57] 791*2^1239870-1 is not prime. Res64: 4020AD2AEC922EFD Time : 0.0 sec. user=mdettweiler [2013-01-24 16:17:58] 927*2^1239870-1 is not prime. Res64: 8FC29F23E11EC580 Time : 0.0 sec. user=vaughan [2013-01-24 16:21:01] 675*2^1239869-1 is not prime. Res64: 237B92A431EFFE92 Time : 0.0 sec. user=mdettweiler [2013-01-24 16:26:30] 783*2^1239871-1 is not prime. Res64: B700A8FC3FD0CBF0 Time : 0.0 sec. user=mdettweiler [2013-01-24 16:26:31] 855*2^1239871-1 is not prime. Res64: 6E36611D17045C85 Time : 0.0 sec. user=mdettweiler [2013-01-24 16:35:35] 979*2^1239871-1 is not prime. Res64: 9FC50CD97E636E41 Time : 0.0 sec. user=mdettweiler [2013-01-24 16:35:36] 999*2^1239871-1 is not prime. Res64: 8F861736F7C2C81F Time : 0.0 sec. user=juhehe [2013-01-24 16:38:17] 679*2^1239871-1 is not prime. Res64: BD2DDD90C73408BF Time : 0.0 sec. user=mdettweiler [2013-01-24 16:44:01] 843*2^1239872-1 is not prime. Res64: EDA64CC219129FB2 Time : 0.0 sec. user=mdettweiler [2013-01-24 16:44:02] 935*2^1239872-1 is not prime. Res64: 879A4A341959B6E5 Time : 0.0 sec. user=mdettweiler [2013-01-24 16:53:14] 609*2^1239873-1 is not prime. Res64: 54EF6B2CB96EC4FD Time : 0.0 sec. user=mdettweiler [2013-01-24 16:53:14] 669*2^1239873-1 is not prime. Res64: EE899BA83494D4B9 Time : 0.0 sec. user=vaughan [2013-01-24 16:58:54] 669*2^1239872-1 is not prime. Res64: D6CAB61051784E5A Time : 0.0 sec. user=mdettweiler [2013-01-24 17:01:49] 765*2^1239873-1 is not prime. Res64: 038B8A5DF6C89AB0 Time : 0.0 sec. user=mdettweiler [2013-01-24 17:01:51] 807*2^1239873-1 is not prime. Res64: 4473494502EDF758 Time : 0.0 sec. user=mdettweiler [2013-01-24 17:10:53] 991*2^1239873-1 is not prime. Res64: 9C79E1DB5185FE38 Time : 0.0 sec. user=mdettweiler [2013-01-24 17:10:54] 623*2^1239874-1 is not prime. Res64: 6631AD6D7F339A65 Time : 0.0 sec. user=juhehe [2013-01-24 17:11:27] 681*2^1239873-1 is not prime. Res64: A436EB1040108B74 Time : 0.0 sec. user=mdettweiler [2013-01-24 17:19:38] 737*2^1239874-1 is not prime. Res64: 542F5C59C13E0A98 Time : 0.0 sec. user=mdettweiler [2013-01-24 17:19:38] 773*2^1239874-1 is not prime. Res64: 92082BF4C4F93D8D Time : 0.0 sec. user=mdettweiler [2013-01-24 17:28:42] 833*2^1239874-1 is not prime. Res64: 4C8106F81A512499 Time : 0.0 sec. user=mdettweiler [2013-01-24 17:28:42] 903*2^1239874-1 is not prime. Res64: C2094F440E1BAAAE Time : 0.0 sec. user=vaughan [2013-01-24 17:36:47] 705*2^1239874-1 is not prime. Res64: D8A62A5C1AA0AD76 Time : 0.0 sec. user=mdettweiler [2013-01-24 17:37:25] 923*2^1239874-1 is not prime. Res64: 284E636C843606BD Time : 0.0 sec. user=mdettweiler [2013-01-24 17:37:25] 957*2^1239874-1 is not prime. Res64: 3F30B12EAA36F61B Time : 0.0 sec. user=mdettweiler [2013-01-24 17:46:28] 981*2^1239874-1 is not prime. Res64: A0ECAA52CC583D0A Time : 0.0 sec. user=mdettweiler [2013-01-24 17:46:28] 633*2^1239875-1 is not prime. Res64: F0476AE98082FD1D Time : 0.0 sec. user=mdettweiler [2013-01-24 17:55:11] 675*2^1239875-1 is not prime. Res64: A0EC4B023A299FC2 Time : 0.0 sec. user=mdettweiler [2013-01-24 17:55:12] 843*2^1239875-1 is not prime. Res64: 84A1B5D4153A18C0 Time : 0.0 sec. user=mdettweiler [2013-01-24 18:04:35] 903*2^1239875-1 is not prime. Res64: A3AF198D468A7478 Time : 0.0 sec. user=mdettweiler [2013-01-24 18:04:37] 949*2^1239875-1 is not prime. Res64: 0DD8878C53E57156 Time : 0.0 sec. user=mdettweiler [2013-01-24 18:13:22] 999*2^1239875-1 is not prime. Res64: 7BC037EB13239E4E Time : 0.0 sec. user=mdettweiler [2013-01-24 18:13:23] 669*2^1239876-1 is not prime. Res64: 49D333703B66E869 Time : 0.0 sec. user=vaughan [2013-01-24 18:14:38] 649*2^1239875-1 is not prime. Res64: 46936D66E9B581D8 Time : 0.0 sec. user=mdettweiler [2013-01-24 18:22:55] 717*2^1239876-1 is not prime. Res64: C4FFA1A2BFD6467B Time : 0.0 sec. user=mdettweiler [2013-01-24 18:22:56] 779*2^1239876-1 is not prime. Res64: 8DB4009FB7B9D5DC Time : 0.0 sec. user=mdettweiler [2013-01-24 18:31:12] 803*2^1239876-1 is not prime. Res64: 6AA9518E96BD6A7B Time : 0.0 sec. user=mdettweiler [2013-01-24 18:31:12] 927*2^1239876-1 is not prime. Res64: 40792DEF77E63232 Time : 0.0 sec. user=mdettweiler [2013-01-24 18:40:35] 715*2^1239877-1 is not prime. Res64: ED7E4545E2854EAB Time : 0.0 sec. user=mdettweiler [2013-01-24 18:40:35] 741*2^1239877-1 is not prime. Res64: E9E974336E4ADA68 Time : 0.0 sec. user=mdettweiler [2013-01-24 18:48:47] 831*2^1239877-1 is not prime. Res64: A7F1721A0D692DB1 Time : 0.0 sec. user=mdettweiler [2013-01-24 18:48:48] 889*2^1239877-1 is not prime. Res64: 2B86537F5A8EE7B3 Time : 0.0 sec. user=vaughan [2013-01-24 18:52:30] 651*2^1239877-1 is not prime. Res64: 254D193B701EBF67 Time : 0.0 sec. user=mdettweiler [2013-01-24 18:58:06] 895*2^1239877-1 is not prime. Res64: 51707B0A3BF24BF0 Time : 0.0 sec. user=mdettweiler [2013-01-24 18:58:06] 901*2^1239877-1 is not prime. Res64: 310CB5EFF2F78269 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:06:23] 961*2^1239877-1 is not prime. Res64: 632E9F9A653528DC Time : 0.0 sec. user=mdettweiler [2013-01-24 19:06:29] 997*2^1239877-1 is not prime. Res64: ED1219C7C57E6F32 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:15:36] 635*2^1239878-1 is not prime. Res64: BE3B8354B8FC30C8 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:15:37] 677*2^1239878-1 is not prime. Res64: 30BC6121EE54AA67 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:24:19] 813*2^1239878-1 is not prime. Res64: 3AB70B7500FABDB6 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:24:19] 831*2^1239878-1 is not prime. Res64: 073E6772777D231E Time : 0.0 sec. user=vaughan [2013-01-24 19:30:21] 603*2^1239878-1 is not prime. Res64: 1F5963B9651D6DAA Time : 0.0 sec. user=mdettweiler [2013-01-24 19:33:04] 893*2^1239878-1 is not prime. Res64: 19908AE1481BB600 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:33:05] 621*2^1239879-1 is not prime. Res64: B0EC246FDA30C9EA Time : 0.0 sec. user=mdettweiler [2013-01-24 19:41:43] 703*2^1239879-1 is not prime. Res64: B3EB3E9774B69BB0 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:41:43] 723*2^1239879-1 is not prime. Res64: C3BAB2223F9C6BF6 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:50:27] 843*2^1239879-1 is not prime. Res64: 1D51706A366E4427 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:50:28] 873*2^1239879-1 is not prime. Res64: 17672D11B6D69070 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:59:06] 933*2^1239879-1 is not prime. Res64: 1BE538A8BD874526 Time : 0.0 sec. user=mdettweiler [2013-01-24 19:59:06] 951*2^1239879-1 is not prime. Res64: 81244ADF8023421F Time : 0.0 sec. user=mdettweiler [2013-01-24 20:07:51] 955*2^1239879-1 is not prime. Res64: 1AAC7BB8C265F5BD Time : 0.0 sec. user=mdettweiler [2013-01-24 20:07:53] 603*2^1239880-1 is not prime. Res64: DE2BF7F90276A48F Time : 0.0 sec. user=vaughan [2013-01-24 20:08:15] 793*2^1239879-1 is not prime. Res64: 0656CDA1ADCD7463 Time : 0.0 sec. user=mdettweiler [2013-01-24 20:16:29] 615*2^1239880-1 is not prime. Res64: 86ECD816BCFB73C2 Time : 0.0 sec. user=mdettweiler [2013-01-24 20:16:30] 623*2^1239880-1 is not prime. Res64: D41A809A4C1EEC13 Time : 0.0 sec. user=mdettweiler [2013-01-24 20:25:32] 713*2^1239880-1 is not prime. Res64: 5AC1F30BB7B499FE Time : 0.0 sec. user=mdettweiler [2013-01-24 20:25:32] 773*2^1239880-1 is not prime. Res64: 56BA708B722D5EAA Time : 0.0 sec. user=mdettweiler [2013-01-24 20:33:52] 845*2^1239880-1 is not prime. Res64: 3BBFF28275F8703D Time : 0.0 sec. user=mdettweiler [2013-01-24 20:33:52] 857*2^1239880-1 is not prime. Res64: 86F5A326F7F30611 Time : 0.0 sec. user=mdettweiler [2013-01-24 20:42:56] 875*2^1239880-1 is not prime. Res64: 28C7443A5BAD5753 Time : 0.0 sec. user=mdettweiler [2013-01-24 20:42:56] 989*2^1239880-1 is not prime. Res64: AF4A1A3306527A42 Time : 0.0 sec. user=vaughan [2013-01-24 20:46:13] 827*2^1239880-1 is not prime. Res64: 11983CE689A4973D Time : 0.0 sec. user=mdettweiler [2013-01-24 20:51:22] 675*2^1239881-1 is not prime. Res64: 0DA600DC4E35D1ED Time : 0.0 sec. user=mdettweiler [2013-01-24 20:51:22] 727*2^1239881-1 is not prime. Res64: F559AC1653477DA9 Time : 0.0 sec. user=mdettweiler [2013-01-24 21:00:28] 811*2^1239881-1 is not prime. Res64: 8BD8BC716F30A632 Time : 0.0 sec. user=mdettweiler [2013-01-24 21:00:29] 939*2^1239881-1 is not prime. Res64: 083E6184B44A3E4D Time : 0.0 sec. user=mdettweiler [2013-01-24 21:08:49] 735*2^1239882-1 is not prime. Res64: 825270BB18287C9D Time : 0.0 sec. user=mdettweiler [2013-01-24 21:08:51] 797*2^1239882-1 is not prime. Res64: 2B4DCC06C97E543D Time : 0.0 sec. user=mdettweiler [2013-01-24 21:18:27] 807*2^1239882-1 is not prime. Res64: 7E501077754B8315 Time : 0.0 sec. user=mdettweiler [2013-01-24 21:18:28] 679*2^1239883-1 is not prime. Res64: 92463ED305673525 Time : 0.0 sec. user=vaughan [2013-01-24 21:24:06] 633*2^1239882-1 is not prime. Res64: 76187C132C9A8DFB Time : 0.0 sec. user=mdettweiler [2013-01-24 21:27:01] 685*2^1239883-1 is not prime. Res64: D97A9D19E268A802 Time : 0.0 sec. user=mdettweiler [2013-01-24 21:27:01] 745*2^1239883-1 is not prime. Res64: 7374491D9BF631DE Time : 0.0 sec. user=mdettweiler [2013-01-24 21:36:04] 811*2^1239883-1 is not prime. Res64: A13989659C17F958 Time : 0.0 sec. user=mdettweiler [2013-01-24 21:36:04] 849*2^1239883-1 is not prime. Res64: 3382CF43BE60667B Time : 0.0 sec. user=mdettweiler [2013-01-24 21:44:38] 999*2^1239883-1 is not prime. Res64: D45C6302871200C5 Time : 0.0 sec. user=mdettweiler [2013-01-24 21:44:38] 773*2^1239884-1 is not prime. Res64: 8E1129481927B7AA Time : 0.0 sec. user=mdettweiler [2013-01-24 21:53:46] 897*2^1239884-1 is not prime. Res64: 991F34E9EA38F561 Time : 0.0 sec. user=mdettweiler [2013-01-24 21:53:47] 903*2^1239884-1 is not prime. Res64: C5F5FBA24EE082DD Time : 0.0 sec. user=vaughan [2013-01-24 22:02:00] 915*2^1239883-1 is not prime. Res64: 3AA525425DFBC2D6 Time : 0.0 sec. user=mdettweiler [2013-01-24 22:02:24] 699*2^1239885-1 is not prime. Res64: CDCFFD4370AEAA1D Time : 0.0 sec. user=mdettweiler [2013-01-24 22:02:27] 781*2^1239885-1 is not prime. Res64: 6EDDFD795CCDD9BE Time : 0.0 sec. user=mdettweiler [2013-01-24 22:11:16] 849*2^1239885-1 is not prime. Res64: 2964776F23EF9AB7 Time : 0.0 sec. user=mdettweiler [2013-01-24 22:11:19] 867*2^1239885-1 is not prime. Res64: C4D07E39B0390410 Time : 0.0 sec. user=mdettweiler [2013-01-24 22:19:51] 635*2^1239886-1 is not prime. Res64: B5D94012CB0E60A4 Time : 0.0 sec. user=mdettweiler [2013-01-24 22:19:52] 777*2^1239886-1 is not prime. Res64: E4245586FA3F62A4 Time : 0.0 sec. user=mdettweiler [2013-01-24 22:28:46] 855*2^1239886-1 is not prime. Res64: 1C19DA82A6D6482C Time : 0.0 sec. user=mdettweiler [2013-01-24 22:28:47] 917*2^1239886-1 is not prime. Res64: 154C9C5B70B7A9C2 Time : 0.0 sec. user=mdettweiler [2013-01-24 22:37:12] 933*2^1239886-1 is not prime. Res64: 3A0E2398E4CBEACC Time : 0.0 sec. user=mdettweiler [2013-01-24 22:37:13] 957*2^1239886-1 is not prime. Res64: 3B1BDF3E147DF32C Time : 0.0 sec. user=vaughan [2013-01-24 22:40:14] 885*2^1239885-1 is not prime. Res64: 3672F6CF1F54D686 Time : 0.0 sec. user=mdettweiler [2013-01-24 22:46:10] 619*2^1239887-1 is not prime. Res64: BA564FED7EE30F04 Time : 0.0 sec. user=mdettweiler [2013-01-24 22:46:11] 781*2^1239887-1 is not prime. Res64: 0DB6B7B703D78E33 Time : 0.0 sec. user=mdettweiler [2013-01-24 22:54:33] 825*2^1239887-1 is not prime. Res64: 15790063518E50C3 Time : 0.0 sec. user=mdettweiler [2013-01-24 22:54:33] 635*2^1239888-1 is not prime. Res64: ADD39189DDAEA621 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:03:31] 683*2^1239888-1 is not prime. Res64: 03E896E1A8DA18E0 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:03:33] 695*2^1239888-1 is not prime. Res64: 879F91E60BC3FA59 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:11:54] 789*2^1239888-1 is not prime. Res64: 564291058A596ED9 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:11:56] 825*2^1239888-1 is not prime. Res64: A7A4E6B9E4F32371 Time : 0.0 sec. user=vaughan [2013-01-24 23:18:08] 657*2^1239888-1 is not prime. Res64: 12549F36B3351723 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:21:13] 879*2^1239888-1 is not prime. Res64: 0E3039711E65F172 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:21:14] 915*2^1239888-1 is not prime. Res64: 6615183BD9BBD2FE Time : 0.0 sec. user=juhehe [2013-01-24 23:26:59] 765*2^1239888-1 is not prime. Res64: E78A5D2740F5ABEB Time : 0.0 sec. user=mdettweiler [2013-01-24 23:29:26] 929*2^1239888-1 is not prime. Res64: 279B385D033724C3 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:29:26] 615*2^1239889-1 is not prime. Res64: 778718ADDB5194D5 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:38:36] 639*2^1239889-1 is not prime. Res64: B5A9B206ADB33290 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:38:37] 667*2^1239889-1 is not prime. Res64: 29FDCDE3C3A4DDBD Time : 0.0 sec. user=mdettweiler [2013-01-24 23:46:51] 999*2^1239889-1 is not prime. Res64: 0536775C25B5B5F5 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:46:52] 641*2^1239890-1 is not prime. Res64: 55AF014AC7E316E0 Time : 0.0 sec. user=mdettweiler [2013-01-24 23:55:56] 717*2^1239890-1 is not prime. Res64: 1CE599DF20A910CB Time : 0.0 sec. user=mdettweiler [2013-01-24 23:55:57] 767*2^1239890-1 is not prime. Res64: 2C891A59D11A4482 Time : 0.0 sec. user=vaughan [2013-01-24 23:56:02] 619*2^1239889-1 is not prime. Res64: D620D03EAA8E53CE Time : 0.0 sec. user=juhehe [2013-01-25 00:00:05] 817*2^1239889-1 is not prime. Res64: 16D486FD8B8508EC Time : 0.0 sec.