user=mdettweiler [2013-01-10 00:04:34] 885*2^1238985-1 is not prime. Res64: CC18EB2B56761E76 Time : 0.0 sec. user=mdettweiler [2013-01-10 00:04:35] 895*2^1238985-1 is not prime. Res64: B87CD63BC8D53870 Time : 0.0 sec. user=mdettweiler [2013-01-10 00:13:26] 997*2^1238985-1 is not prime. Res64: 6FFBD65DE19F1937 Time : 0.0 sec. user=mdettweiler [2013-01-10 00:13:27] 651*2^1238986-1 is not prime. Res64: AA3A8DC074C84EA2 Time : 0.0 sec. user=vaughan [2013-01-10 00:15:51] 805*2^1238985-1 is not prime. Res64: E8D54B55F1B662BB Time : 0.0 sec. user=mdettweiler [2013-01-10 00:22:10] 657*2^1238986-1 is not prime. Res64: 783A1285E8E445B6 Time : 0.0 sec. user=mdettweiler [2013-01-10 00:22:10] 675*2^1238986-1 is not prime. Res64: B1D7FEA7CC2E1ECA Time : 0.0 sec. user=mdettweiler [2013-01-10 00:30:57] 755*2^1238986-1 is not prime. Res64: 1C814633946255BF Time : 0.0 sec. user=mdettweiler [2013-01-10 00:30:58] 843*2^1238986-1 is not prime. Res64: 99E543566B30D4BB Time : 0.0 sec. user=mdettweiler [2013-01-10 00:39:39] 957*2^1238986-1 is not prime. Res64: 560B163FEA475CF4 Time : 0.0 sec. user=mdettweiler [2013-01-10 00:39:39] 983*2^1238986-1 is not prime. Res64: 8E4456873F60F436 Time : 0.0 sec. user=mdettweiler [2013-01-10 00:48:29] 619*2^1238987-1 is not prime. Res64: 48A3080139094816 Time : 0.0 sec. user=mdettweiler [2013-01-10 00:48:29] 685*2^1238987-1 is not prime. Res64: 3B71396721576AD1 Time : 0.0 sec. user=vaughan [2013-01-10 00:53:42] 941*2^1238986-1 is not prime. Res64: 3B106A8F9F5D22CC Time : 0.0 sec. user=mdettweiler [2013-01-10 00:57:08] 705*2^1238987-1 is not prime. Res64: 11EC3BFFD859C359 Time : 0.0 sec. user=mdettweiler [2013-01-10 00:57:08] 711*2^1238987-1 is not prime. Res64: 9BAA03C1D09F0EF1 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:05:57] 775*2^1238987-1 is not prime. Res64: 97EE89A79574DD23 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:05:59] 859*2^1238987-1 is not prime. Res64: 49443C89424674E6 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:14:37] 981*2^1238987-1 is not prime. Res64: 1AB1090428CD45B5 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:14:38] 633*2^1238988-1 is not prime. Res64: 153C0F1764983871 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:23:34] 663*2^1238988-1 is not prime. Res64: 84669996D701CC02 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:23:35] 737*2^1238988-1 is not prime. Res64: 4595C307AC189462 Time : 0.0 sec. user=vaughan [2013-01-10 01:31:30] 915*2^1238987-1 is not prime. Res64: BEA493C13AC0EACD Time : 0.0 sec. user=mdettweiler [2013-01-10 01:32:08] 765*2^1238988-1 is not prime. Res64: DF77EF6F44FB0301 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:32:09] 839*2^1238988-1 is not prime. Res64: C783FD33913E8A69 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:41:05] 845*2^1238988-1 is not prime. Res64: 60403398E5FB41C0 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:41:06] 875*2^1238988-1 is not prime. Res64: 1386C8EC9173FC6E Time : 0.0 sec. user=mdettweiler [2013-01-10 01:49:37] 639*2^1238989-1 is not prime. Res64: 321557C5F728D6C3 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:49:37] 829*2^1238989-1 is not prime. Res64: CC41E3E74548287B Time : 0.0 sec. user=mdettweiler [2013-01-10 01:58:35] 955*2^1238989-1 is not prime. Res64: F1B474FBC8F46EB6 Time : 0.0 sec. user=mdettweiler [2013-01-10 01:58:36] 641*2^1238990-1 is not prime. Res64: B56F9B8C842F418A Time : 0.0 sec. user=mdettweiler [2013-01-10 02:07:05] 657*2^1238990-1 is not prime. Res64: A88B68E2566B4AFB Time : 0.0 sec. user=mdettweiler [2013-01-10 02:07:08] 675*2^1238990-1 is not prime. Res64: 429760E1555DEE3A Time : 0.0 sec. user=vaughan [2013-01-10 02:09:22] 899*2^1238988-1 is not prime. Res64: CEBEA7C7F12EC197 Time : 0.0 sec. user=mdettweiler [2013-01-10 02:15:58] 785*2^1238990-1 is not prime. Res64: 66D177E57E1410D2 Time : 0.0 sec. user=mdettweiler [2013-01-10 02:15:58] 843*2^1238990-1 is not prime. Res64: AF6EE3FACF728085 Time : 0.0 sec. user=mdettweiler [2013-01-10 02:24:53] 917*2^1238990-1 is not prime. Res64: 55EDD18999EDC16D Time : 0.0 sec. user=mdettweiler [2013-01-10 02:24:53] 945*2^1238990-1 is not prime. Res64: C3FE3804DCBD018B Time : 0.0 sec. user=mdettweiler [2013-01-10 02:33:28] 679*2^1238991-1 is not prime. Res64: ED62B31A4D875AE2 Time : 0.0 sec. user=mdettweiler [2013-01-10 02:33:29] 775*2^1238991-1 is not prime. Res64: 54DF1A89591AEC18 Time : 0.0 sec. user=mdettweiler [2013-01-10 02:42:17] 805*2^1238991-1 is not prime. Res64: 77C5D8E55EB63457 Time : 0.0 sec. user=mdettweiler [2013-01-10 02:42:18] 829*2^1238991-1 is not prime. Res64: 16FEA82155AFE66A Time : 0.0 sec. user=vaughan [2013-01-10 02:47:15] 615*2^1238991-1 is not prime. Res64: 32E40FFAC06CD519 Time : 0.0 sec. user=mdettweiler [2013-01-10 02:50:55] 865*2^1238991-1 is not prime. Res64: BD9047C9D9A5C4B3 Time : 0.0 sec. user=mdettweiler [2013-01-10 02:51:01] 885*2^1238991-1 is not prime. Res64: D741A068F0159680 Time : 0.0 sec. user=juhehe [2013-01-10 02:51:26] 781*2^1238991-1 is not prime. Res64: 60B9A83DC227C8E5 Time : 0.0 sec. user=mdettweiler [2013-01-10 02:59:47] 689*2^1238992-1 is not prime. Res64: B916240B45E22271 Time : 0.0 sec. user=mdettweiler [2013-01-10 02:59:48] 833*2^1238992-1 is not prime. Res64: 05B46F221632131B Time : 0.0 sec. user=mdettweiler [2013-01-10 03:08:45] 869*2^1238992-1 is not prime. Res64: EC4A86AB68D815CE Time : 0.0 sec. user=mdettweiler [2013-01-10 03:08:47] 933*2^1238992-1 is not prime. Res64: 20793FA89D46F2EB Time : 0.0 sec. user=mdettweiler [2013-01-10 03:17:13] 619*2^1238993-1 is not prime. Res64: CBD300764FD06CD3 Time : 0.0 sec. user=mdettweiler [2013-01-10 03:17:14] 651*2^1238993-1 is not prime. Res64: CD667FC1CFAEAEC8 Time : 0.0 sec. user=juhehe [2013-01-10 03:24:41] 615*2^1238993-1 is not prime. Res64: C07512B45BC48A91 Time : 0.0 sec. user=vaughan [2013-01-10 03:25:06] 849*2^1238992-1 is not prime. Res64: 89B0E88EBBB47AC6 Time : 0.0 sec. user=mdettweiler [2013-01-10 03:26:20] 605*2^1238994-1 is not prime. Res64: 3A4C3DD4704C4FC9 Time : 0.0 sec. user=mdettweiler [2013-01-10 03:26:20] 633*2^1238994-1 is not prime. Res64: 405268AEFD5A138B Time : 0.0 sec. user=mdettweiler [2013-01-10 03:34:37] 663*2^1238994-1 is not prime. Res64: 582EE0CCC8CE692F Time : 0.0 sec. user=mdettweiler [2013-01-10 03:34:40] 695*2^1238994-1 is not prime. Res64: 60B0890FD1A3BCF2 Time : 0.0 sec. user=mdettweiler [2013-01-10 03:43:43] 645*2^1238995-1 is not prime. Res64: C31EF71A3B579C7D Time : 0.0 sec. user=mdettweiler [2013-01-10 03:43:43] 693*2^1238995-1 is not prime. Res64: 319ADC961C2D0BA8 Time : 0.0 sec. user=mdettweiler [2013-01-10 03:52:21] 709*2^1238995-1 is not prime. Res64: 3E4E55C5F0C265D1 Time : 0.0 sec. user=mdettweiler [2013-01-10 03:52:22] 771*2^1238995-1 is not prime. Res64: 26ACA4DD59558080 Time : 0.0 sec. user=juhehe [2013-01-10 03:57:47] 755*2^1238994-1 is not prime. Res64: F1DD6E37565FDFD0 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:01:09] 891*2^1238995-1 is not prime. Res64: FA0EB1A981EE85C7 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:01:10] 915*2^1238995-1 is not prime. Res64: D1DF2574B2679B6A Time : 0.0 sec. user=vaughan [2013-01-10 04:02:49] 941*2^1238994-1 is not prime. Res64: 118642F8137795FA Time : 0.0 sec. user=mdettweiler [2013-01-10 04:09:45] 615*2^1238996-1 is not prime. Res64: 5E8DD74E6A7B2551 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:09:46] 633*2^1238996-1 is not prime. Res64: 4F0EBC61F807C1EB Time : 0.0 sec. user=mdettweiler [2013-01-10 04:18:35] 963*2^1238996-1 is not prime. Res64: EB6EA25BBA256646 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:18:36] 751*2^1238997-1 is not prime. Res64: 5FBD342202E6F593 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:27:13] 979*2^1238997-1 is not prime. Res64: 4C1503AE554D41CD Time : 0.0 sec. user=mdettweiler [2013-01-10 04:27:13] 621*2^1238998-1 is not prime. Res64: 5AB79BAF29ABF43A Time : 0.0 sec. user=juhehe [2013-01-10 04:30:54] 759*2^1238996-1 is not prime. Res64: 8E9582EBD137FEC2 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:36:00] 687*2^1238998-1 is not prime. Res64: DD078D0FE1F97D54 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:36:02] 743*2^1238998-1 is not prime. Res64: 33792F0318369C25 Time : 0.0 sec. user=vaughan [2013-01-10 04:40:41] 937*2^1238997-1 is not prime. Res64: 87B3DEEC504A5F05 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:44:37] 813*2^1238998-1 is not prime. Res64: 5B5AF6BFB4E21291 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:44:39] 915*2^1238998-1 is not prime. Res64: 796589DDA26FAE05 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:53:29] 729*2^1238999-1 is not prime. Res64: DF0DEAF35775F288 Time : 0.0 sec. user=mdettweiler [2013-01-10 04:53:31] 735*2^1238999-1 is not prime. Res64: 7DCE6C53C3B26BDD Time : 0.0 sec. user=mdettweiler [2013-01-10 05:02:07] 615*2^1239000-1 is not prime. Res64: E1D9416A9A5FCBD1 Time : 0.0 sec. user=mdettweiler [2013-01-10 05:02:08] 623*2^1239000-1 is not prime. Res64: 18B7ADD52571D352 Time : 0.0 sec. user=juhehe [2013-01-10 05:04:01] 609*2^1238999-1 is not prime. Res64: 2703069EB17D30A1 Time : 0.0 sec. user=mdettweiler [2013-01-10 05:10:56] 669*2^1239000-1 is not prime. Res64: F4ED74442200E6EC Time : 0.0 sec. user=mdettweiler [2013-01-10 05:10:58] 753*2^1239000-1 is not prime. Res64: BC5046E381E88D98 Time : 0.0 sec. user=vaughan [2013-01-10 05:19:04] 825*2^1238999-1 is not prime. Res64: CE874E9A7C435637 Time : 0.0 sec. user=mdettweiler [2013-01-10 05:19:49] 875*2^1239000-1 is not prime. Res64: E427D2A31D2DE7B1 Time : 0.0 sec. user=mdettweiler [2013-01-10 05:19:49] 983*2^1239000-1 is not prime. Res64: 681B765CE6633C14 Time : 0.0 sec. user=mdettweiler [2013-01-10 05:28:24] 649*2^1239001-1 is not prime. Res64: 5B9016F3C2B2CDC5 Time : 0.0 sec. user=mdettweiler [2013-01-10 05:28:24] 681*2^1239001-1 is not prime. Res64: B69C6BD0F830BC9D Time : 0.0 sec. user=mdettweiler [2013-01-10 05:37:12] 861*2^1239001-1 is not prime. Res64: 7394321730E46320 Time : 0.0 sec. user=mdettweiler [2013-01-10 05:37:12] 939*2^1239001-1 is not prime. Res64: 8B3BE51DDFB5E4EF Time : 0.0 sec. user=mdettweiler [2013-01-10 05:45:50] 957*2^1239001-1 is not prime. Res64: 5284995A17EA07A2 Time : 0.0 sec. user=mdettweiler [2013-01-10 05:45:50] 981*2^1239001-1 is not prime. Res64: ABEC5D64F895FA9D Time : 0.0 sec. user=mdettweiler [2013-01-10 05:54:35] 713*2^1239002-1 is not prime. Res64: E5D9460BFF663A7B Time : 0.0 sec. user=mdettweiler [2013-01-10 05:54:36] 743*2^1239002-1 is not prime. Res64: 4491C676B01B752C Time : 0.0 sec. user=vaughan [2013-01-10 05:56:54] 819*2^1239001-1 is not prime. Res64: 101165E8E4B7A21D Time : 0.0 sec. user=mdettweiler [2013-01-10 06:03:16] 831*2^1239002-1 is not prime. Res64: 09618A7183889EE2 Time : 0.0 sec. user=mdettweiler [2013-01-10 06:03:18] 953*2^1239002-1 is not prime. Res64: 7ABCE982B4CA78ED Time : 0.0 sec. user=juhehe [2013-01-10 06:08:34] 635*2^1239002-1 is not prime. Res64: 1CFCE4BD9BA58161 Time : 0.0 sec. user=mdettweiler [2013-01-10 06:11:59] 615*2^1239003-1 is not prime. Res64: DDF62D63209573B2 Time : 0.0 sec. user=mdettweiler [2013-01-10 06:12:00] 685*2^1239003-1 is not prime. Res64: 28A48F36C76E2B37 Time : 0.0 sec. user=mdettweiler [2013-01-10 06:20:52] 825*2^1239003-1 is not prime. Res64: 6072A0BA1981CB5F Time : 0.0 sec. user=mdettweiler [2013-01-10 06:20:52] 829*2^1239003-1 is not prime. Res64: 66CADCB0FF650893 Time : 0.0 sec. user=mdettweiler [2013-01-10 06:29:25] 991*2^1239003-1 is not prime. Res64: BA2D6E7D7CCC855C Time : 0.0 sec. user=mdettweiler [2013-01-10 06:29:26] 605*2^1239004-1 is not prime. Res64: 5FED22106853A9F1 Time : 0.0 sec. user=vaughan [2013-01-10 06:34:41] 709*2^1239003-1 is not prime. Res64: 6F226F198A0C5268 Time : 0.0 sec. user=mdettweiler [2013-01-10 06:38:16] 615*2^1239004-1 is not prime. Res64: 3B34F24829BCB2D1 Time : 0.0 sec. user=mdettweiler [2013-01-10 06:38:17] 719*2^1239004-1 is not prime. Res64: 462861C4D2CCB0E1 Time : 0.0 sec. user=mdettweiler [2013-01-10 06:46:48] 785*2^1239004-1 is not prime. Res64: 7B898968897C405F Time : 0.0 sec. user=mdettweiler [2013-01-10 06:46:48] 939*2^1239004-1 is not prime. Res64: F53AF0DE55FF72B4 Time : 0.0 sec. user=mdettweiler [2013-01-10 06:55:40] 771*2^1239005-1 is not prime. Res64: E47C0AA68BC90B89 Time : 0.0 sec. user=mdettweiler [2013-01-10 06:55:41] 777*2^1239005-1 is not prime. Res64: B6CD3C8528651133 Time : 0.0 sec. user=mdettweiler [2013-01-10 07:04:12] 819*2^1239005-1 is not prime. Res64: CCF13DD811FE4C44 Time : 0.0 sec. user=mdettweiler [2013-01-10 07:04:19] 847*2^1239005-1 is not prime. Res64: C28157A2B97CECD1 Time : 0.0 sec. user=vaughan [2013-01-10 07:12:32] 759*2^1239005-1 is not prime. Res64: 89DBBDCD7DD0ADA1 Time : 0.0 sec. user=mdettweiler [2013-01-10 07:13:03] 861*2^1239005-1 is not prime. Res64: F7D72BBFDC1C9529 Time : 0.0 sec. user=mdettweiler [2013-01-10 07:13:04] 611*2^1239006-1 is not prime. Res64: 79DDC437C5506F76 Time : 0.0 sec. user=mdettweiler [2013-01-10 07:22:06] 671*2^1239006-1 is not prime. Res64: A452DBDB296DDA2D Time : 0.0 sec. user=mdettweiler [2013-01-10 07:22:07] 711*2^1239006-1 is not prime. Res64: 4A250B3DC7FAA65D Time : 0.0 sec. user=mdettweiler [2013-01-10 07:30:29] 747*2^1239006-1 is not prime. Res64: 8BC85908E159527F Time : 0.0 sec. user=mdettweiler [2013-01-10 07:30:30] 801*2^1239006-1 is not prime. Res64: 56AE6786FEE463A0 Time : 0.0 sec. user=mdettweiler [2013-01-10 07:39:32] 1001*2^1239006-1 is not prime. Res64: AC6B8A0E552F58D7 Time : 0.0 sec. user=mdettweiler [2013-01-10 07:39:32] 615*2^1239007-1 is not prime. Res64: 5F3983425EA9F85D Time : 0.0 sec. user=mdettweiler [2013-01-10 07:47:54] 649*2^1239007-1 is not prime. Res64: 52CBBA25D5C073C5 Time : 0.0 sec. user=mdettweiler [2013-01-10 07:47:55] 693*2^1239007-1 is not prime. Res64: 331A6BBC61CF8E56 Time : 0.0 sec. user=vaughan [2013-01-10 07:50:30] 717*2^1239006-1 is not prime. Res64: C28D0606FC83B617 Time : 0.0 sec. user=mdettweiler [2013-01-10 07:56:57] 741*2^1239007-1 is not prime. Res64: BC20DB2BA5827956 Time : 0.0 sec. user=mdettweiler [2013-01-10 07:56:57] 919*2^1239007-1 is not prime. Res64: DB447512E3237D82 Time : 0.0 sec. user=mdettweiler [2013-01-10 08:05:17] 961*2^1239007-1 is not prime. Res64: 0F73438375992B98 Time : 0.0 sec. user=mdettweiler [2013-01-10 08:05:18] 975*2^1239007-1 is not prime. Res64: 062588EB00F09322 Time : 0.0 sec. user=mdettweiler [2013-01-10 08:14:20] 753*2^1239008-1 is not prime. Res64: 84E751E059C4B190 Time : 0.0 sec. user=mdettweiler [2013-01-10 08:14:21] 755*2^1239008-1 is not prime. Res64: E5BC8BE70DB6E8A7 Time : 0.0 sec. user=juhehe [2013-01-10 08:15:23] 933*2^1239007-1 is not prime. Res64: CD047199AB360422 Time : 0.0 sec. user=mdettweiler [2013-01-10 08:22:47] 759*2^1239008-1 is not prime. Res64: 9C6D5E1E81A38779 Time : 0.0 sec. user=mdettweiler [2013-01-10 08:22:48] 879*2^1239008-1 is not prime. Res64: 1757C58728E00481 Time : 0.0 sec. user=vaughan [2013-01-10 08:28:17] 683*2^1239008-1 is not prime. Res64: C6CCD9E080DB3AFC Time : 0.0 sec. user=mdettweiler [2013-01-10 08:31:46] 963*2^1239008-1 is not prime. Res64: D77A16B7DF2AB02E Time : 0.0 sec. user=mdettweiler [2013-01-10 08:31:47] 625*2^1239009-1 is not prime. Res64: 878F472B9D67A76A Time : 0.0 sec. user=mdettweiler [2013-01-10 08:40:10] 669*2^1239009-1 is not prime. Res64: 7BE149B824CC4F9C Time : 0.0 sec. user=mdettweiler [2013-01-10 08:40:11] 681*2^1239009-1 is not prime. Res64: DD4CFD269D1A1639 Time : 0.0 sec. user=mdettweiler [2013-01-10 08:49:10] 807*2^1239009-1 is not prime. Res64: 167A4253D74F2E9C Time : 0.0 sec. user=mdettweiler [2013-01-10 08:49:11] 831*2^1239009-1 is not prime. Res64: 6B7B7682118398AA Time : 0.0 sec. user=mdettweiler [2013-01-10 08:57:34] 951*2^1239009-1 is not prime. Res64: D7BFAA7D06223ED5 Time : 0.0 sec. user=mdettweiler [2013-01-10 08:57:35] 695*2^1239010-1 is not prime. Res64: 1F557197DF751A56 Time : 0.0 sec. user=vaughan [2013-01-10 09:06:03] 685*2^1239009-1 is not prime. Res64: 14BCD8E768015DF4 Time : 0.0 sec. user=mdettweiler [2013-01-10 09:06:33] 777*2^1239010-1 is not prime. Res64: 08E8D999A492C0F9 Time : 0.0 sec. user=mdettweiler [2013-01-10 09:06:34] 791*2^1239010-1 is not prime. Res64: 3CF3B5989AC647AA Time : 0.0 sec. user=mdettweiler [2013-01-10 09:14:56] 651*2^1239011-1 is not prime. Res64: 4A7687C66EAA3AA0 Time : 0.0 sec. user=mdettweiler [2013-01-10 09:14:57] 669*2^1239011-1 is not prime. Res64: 47901BC585DBFF2B Time : 0.0 sec. user=mdettweiler [2013-01-10 09:23:56] 693*2^1239011-1 is not prime. Res64: FC360EADD87B5A45 Time : 0.0 sec. user=mdettweiler [2013-01-10 09:23:57] 735*2^1239011-1 is not prime. Res64: F0745BDC90BD7855 Time : 0.0 sec. user=mdettweiler [2013-01-10 09:32:22] 745*2^1239011-1 is not prime. Res64: 10C7C2126FFAEE3E Time : 0.0 sec. user=mdettweiler [2013-01-10 09:32:24] 753*2^1239011-1 is not prime. Res64: EAB8C9D328D69932 Time : 0.0 sec. user=mdettweiler [2013-01-10 09:41:17] 921*2^1239011-1 is not prime. Res64: 53165033F01232AC Time : 0.0 sec. user=mdettweiler [2013-01-10 09:41:18] 945*2^1239011-1 is not prime. Res64: A07A26E2D76A2157 Time : 0.0 sec. user=vaughan [2013-01-10 09:44:02] 679*2^1239011-1 is not prime. Res64: CE56ADC28035344F Time : 0.0 sec. user=mdettweiler [2013-01-10 09:49:47] 993*2^1239011-1 is not prime. Res64: AB97D2F715C728E9 Time : 0.0 sec. user=mdettweiler [2013-01-10 09:49:48] 627*2^1239012-1 is not prime. Res64: 37B1D7D3DEB296AF Time : 0.0 sec. user=juhehe [2013-01-10 09:50:54] 829*2^1239011-1 is not prime. Res64: 3DBD7EE412AF58F3 Time : 0.0 sec. user=mdettweiler [2013-01-10 09:58:43] 909*2^1239012-1 is not prime. Res64: 0E9EED147A661E0E Time : 0.0 sec. user=mdettweiler [2013-01-10 09:58:43] 765*2^1239013-1 is not prime. Res64: 4171BE7B8F6BF0D2 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:07:11] 849*2^1239013-1 is not prime. Res64: DB3D4181373BD75B Time : 0.0 sec. user=mdettweiler [2013-01-10 10:07:11] 861*2^1239013-1 is not prime. Res64: DA2AA98B70F235C2 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:16:07] 957*2^1239013-1 is not prime. Res64: 4F4F488057F41978 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:16:08] 961*2^1239013-1 is not prime. Res64: 50AC58184437C984 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:24:36] 985*2^1239013-1 is not prime. Res64: 2953060630103680 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:24:37] 987*2^1239013-1 is not prime. Res64: 145E947D9646CDF7 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:33:34] 615*2^1239014-1 is not prime. Res64: 41D21A81227B6A96 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:33:34] 623*2^1239014-1 is not prime. Res64: 494017FD830FA7CA Time : 0.0 sec. user=mdettweiler [2013-01-10 10:42:05] 641*2^1239014-1 is not prime. Res64: 3CD8FD1AD1055079 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:42:06] 791*2^1239014-1 is not prime. Res64: 3BC36D6B4FFB12ED Time : 0.0 sec. user=mdettweiler [2013-01-10 10:50:57] 815*2^1239014-1 is not prime. Res64: A96B6599B9308207 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:50:57] 833*2^1239014-1 is not prime. Res64: DBB71684DDDAB8E9 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:59:27] 935*2^1239014-1 is not prime. Res64: D6CFFC1DFEEBCE91 Time : 0.0 sec. user=mdettweiler [2013-01-10 10:59:28] 941*2^1239014-1 is not prime. Res64: 1C813B22629C0104 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:08:25] 987*2^1239014-1 is not prime. Res64: 57B0F8C0ACB9A11B Time : 0.0 sec. user=mdettweiler [2013-01-10 11:08:26] 741*2^1239015-1 is not prime. Res64: EAE46DBDD44273D6 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:17:12] 849*2^1239015-1 is not prime. Res64: 120FC522FFBD2478 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:17:12] 873*2^1239015-1 is not prime. Res64: C22B881081EBD990 Time : 0.0 sec. user=juhehe [2013-01-10 11:26:25] 775*2^1239015-1 is not prime. Res64: 60B3457CBF5C2675 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:26:27] 985*2^1239015-1 is not prime. Res64: 7FB6F16452D93CB1 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:26:28] 705*2^1239016-1 is not prime. Res64: 342AC67B07B37753 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:34:48] 803*2^1239016-1 is not prime. Res64: 3B181D43DF7DAA82 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:34:49] 923*2^1239016-1 is not prime. Res64: D39B58628861F614 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:44:10] 933*2^1239016-1 is not prime. Res64: FECCB9AB32B0E946 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:44:11] 999*2^1239016-1 is not prime. Res64: 8D5123ACE615A185 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:52:21] 735*2^1239017-1 is not prime. Res64: A168B13E7FBE0ED7 Time : 0.0 sec. user=mdettweiler [2013-01-10 11:52:21] 771*2^1239017-1 is not prime. Res64: 1B20870F1CAED8F2 Time : 0.0 sec. user=mdettweiler [2013-01-10 12:01:35] 861*2^1239017-1 is not prime. Res64: 6F256D5F07B7BC49 Time : 0.0 sec. user=mdettweiler [2013-01-10 12:01:36] 611*2^1239018-1 is not prime. Res64: 12BA938A86C6D3D4 Time : 0.0 sec. user=mdettweiler [2013-01-10 12:09:45] 635*2^1239018-1 is not prime. Res64: 9FD5A82B63391F06 Time : 0.0 sec. user=mdettweiler [2013-01-10 12:09:47] 735*2^1239018-1 is not prime. Res64: AB6E4786E0B4A906 Time : 0.0 sec. user=mdettweiler [2013-01-10 12:19:14] 765*2^1239018-1 is not prime. Res64: C9EAC286721564C3 Time : 0.0 sec. user=mdettweiler [2013-01-10 12:19:14] 777*2^1239018-1 is not prime. Res64: 602EA54B213BBF18 Time : 0.0 sec. user=mdettweiler [2013-01-10 12:27:19] 963*2^1239018-1 is not prime. Res64: 32639BA3F60EB313 Time : 0.0 sec. user=mdettweiler [2013-01-10 12:27:20] 971*2^1239018-1 is not prime. Res64: 75B3771389E1ECE8 Time : 0.0 sec. user=mdettweiler [2013-01-10 12:36:40] 975*2^1239018-1 is not prime. Res64: 906A3C596CC5A73F Time : 0.0 sec. user=mdettweiler [2013-01-10 12:36:40] 601*2^1239019-1 is not prime. Res64: FD2E09FD359C8BDB Time : 0.0 sec. user=mdettweiler [2013-01-10 12:44:46] 615*2^1239019-1 is not prime. Res64: A73ED882DE5051EA Time : 0.0 sec. user=mdettweiler [2013-01-10 12:44:47] 645*2^1239019-1 is not prime. Res64: 7F4EACC944E3086B Time : 0.0 sec. user=mdettweiler [2013-01-10 12:54:05] 951*2^1239019-1 is not prime. Res64: 40BC9E20FD92175C Time : 0.0 sec. user=mdettweiler [2013-01-10 12:54:05] 609*2^1239020-1 is not prime. Res64: CF467807889C61DF Time : 0.0 sec. user=juhehe [2013-01-10 13:02:00] 811*2^1239019-1 is not prime. Res64: 90BDB52665BE4436 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:02:14] 669*2^1239020-1 is not prime. Res64: E4C693EF11F912C6 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:02:15] 677*2^1239020-1 is not prime. Res64: 42AA0E32E39EAAE1 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:11:43] 797*2^1239020-1 is not prime. Res64: 851809D66174F5DB Time : 0.0 sec. user=mdettweiler [2013-01-10 13:11:44] 803*2^1239020-1 is not prime. Res64: CD57386F47ED95C7 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:20:09] 839*2^1239020-1 is not prime. Res64: 4F081881903392A5 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:20:10] 897*2^1239020-1 is not prime. Res64: 27A19DC498739984 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:29:47] 915*2^1239020-1 is not prime. Res64: D8B1F6198F28C290 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:29:47] 953*2^1239020-1 is not prime. Res64: 75C14E9BF8B21DEE Time : 0.0 sec. user=mdettweiler [2013-01-10 13:38:04] 959*2^1239020-1 is not prime. Res64: 5DBB6A813F97AF81 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:38:05] 963*2^1239020-1 is not prime. Res64: 55A49443858F2178 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:47:16] 983*2^1239020-1 is not prime. Res64: B2ED27F5CEB98247 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:47:17] 781*2^1239021-1 is not prime. Res64: BB9522C942072BE0 Time : 0.0 sec. user=mdettweiler [2013-01-10 13:55:28] 865*2^1239021-1 is not prime. Res64: 861D9351A4041C8F Time : 0.0 sec. user=mdettweiler [2013-01-10 13:55:29] 867*2^1239021-1 is not prime. Res64: 3230AC032F161716 Time : 0.0 sec. user=mdettweiler [2013-01-10 14:04:40] 961*2^1239021-1 is not prime. Res64: 07D7AA834096EBC4 Time : 0.0 sec. user=mdettweiler [2013-01-10 14:04:42] 717*2^1239022-1 is not prime. Res64: BD860058A397FF26 Time : 0.0 sec. user=mdettweiler [2013-01-10 14:12:57] 741*2^1239022-1 is not prime. Res64: 1FE326127DAF158A Time : 0.0 sec. user=mdettweiler [2013-01-10 14:12:57] 765*2^1239022-1 is not prime. Res64: B7193FE0754BB856 Time : 0.0 sec. user=mdettweiler [2013-01-10 14:22:12] 791*2^1239022-1 is not prime. Res64: 080C1BA14B6131BE Time : 0.0 sec. user=mdettweiler [2013-01-10 14:22:12] 947*2^1239022-1 is not prime. Res64: C893F9582841B313 Time : 0.0 sec. user=mdettweiler [2013-01-10 14:30:28] 621*2^1239023-1 is not prime. Res64: 10A323DD2C2B968D Time : 0.0 sec. user=mdettweiler [2013-01-10 14:30:29] 715*2^1239023-1 is not prime. Res64: 3A283E18F54A695F Time : 0.0 sec. user=mdettweiler [2013-01-10 14:39:42] 753*2^1239023-1 is not prime. Res64: 7BDF1BB46345E253 Time : 0.0 sec. user=mdettweiler [2013-01-10 14:39:43] 895*2^1239023-1 is not prime. Res64: 46C61E09E493456F Time : 0.0 sec. user=mdettweiler [2013-01-10 14:48:02] 943*2^1239023-1 is not prime. Res64: 33EE32338D62CCA0 Time : 0.0 sec. user=mdettweiler [2013-01-10 14:48:03] 605*2^1239024-1 is not prime. Res64: B42DA36B0A8ACB9C Time : 0.0 sec. user=mdettweiler [2013-01-10 14:57:36] 635*2^1239024-1 is not prime. Res64: 11BC0876CD5EAFB2 Time : 0.0 sec. user=mdettweiler [2013-01-10 14:57:38] 689*2^1239024-1 is not prime. Res64: 2A32F6BFFDB9FCF9 Time : 0.0 sec. user=mdettweiler [2013-01-10 15:05:59] 909*2^1239024-1 is not prime. Res64: 329DFCC009F540A8 Time : 0.0 sec. user=mdettweiler [2013-01-10 15:06:01] 923*2^1239024-1 is not prime. Res64: C072651BEE4F3220 Time : 0.0 sec. user=mdettweiler [2013-01-10 15:15:28] 959*2^1239024-1 is not prime. Res64: 163DE9A84903D0E9 Time : 0.0 sec. user=mdettweiler [2013-01-10 15:15:28] 607*2^1239025-1 is not prime. Res64: 7E632AE9AEA1ED9B Time : 0.0 sec. user=mdettweiler [2013-01-10 15:24:04] 651*2^1239025-1 is not prime. Res64: 841A83E5680864BD Time : 0.0 sec. user=mdettweiler [2013-01-10 15:24:04] 685*2^1239025-1 is not prime. Res64: E27E82CEB8C3D5F9 Time : 0.0 sec. user=mdettweiler [2013-01-10 15:33:18] 721*2^1239025-1 is not prime. Res64: 85357251146C49DB Time : 0.0 sec. user=mdettweiler [2013-01-10 15:33:18] 741*2^1239025-1 is not prime. Res64: 3148ECDF99E6D1F1 Time : 0.0 sec. user=mdettweiler [2013-01-10 15:41:54] 909*2^1239025-1 is not prime. Res64: A04C153F6BAF3860 Time : 0.0 sec. user=mdettweiler [2013-01-10 15:41:55] 999*2^1239025-1 is not prime. Res64: EA4C54C3D7F815C1 Time : 0.0 sec. user=mdettweiler [2013-01-10 15:51:08] 801*2^1239026-1 is not prime. Res64: 05CE228D481EC3BF Time : 0.0 sec. user=mdettweiler [2013-01-10 15:51:08] 935*2^1239026-1 is not prime. Res64: 879DAC74C4008EC4 Time : 0.0 sec. user=mdettweiler [2013-01-10 15:59:51] 971*2^1239026-1 is not prime. Res64: DF2142F17E96A568 Time : 0.0 sec. user=mdettweiler [2013-01-10 15:59:51] 981*2^1239026-1 is not prime. Res64: B74C253C83C37032 Time : 0.0 sec. user=mdettweiler [2013-01-10 16:09:07] 685*2^1239027-1 is not prime. Res64: 060EC64B800F426F Time : 0.0 sec. user=mdettweiler [2013-01-10 16:09:09] 705*2^1239027-1 is not prime. Res64: F1907CAE4D9C2D3B Time : 0.0 sec. user=mdettweiler [2013-01-10 16:17:51] 795*2^1239027-1 is not prime. Res64: 6339F33932F61E00 Time : 0.0 sec. user=mdettweiler [2013-01-10 16:17:51] 801*2^1239027-1 is not prime. Res64: 3DF6E85382B18476 Time : 0.0 sec. user=mdettweiler [2013-01-10 16:27:10] 823*2^1239027-1 is not prime. Res64: 7022B9F1E23D83FE Time : 0.0 sec. user=mdettweiler [2013-01-10 16:27:11] 879*2^1239027-1 is not prime. Res64: 9EE076EB2D78D17B Time : 0.0 sec. user=mdettweiler [2013-01-10 16:35:51] 951*2^1239027-1 is not prime. Res64: 2A4860E733555473 Time : 0.0 sec. user=mdettweiler [2013-01-10 16:35:51] 605*2^1239028-1 is not prime. Res64: 1290AFDF244029CF Time : 0.0 sec. user=mdettweiler [2013-01-10 16:45:14] 615*2^1239028-1 is not prime. Res64: 6D945378BBA33E91 Time : 0.0 sec. user=mdettweiler [2013-01-10 16:45:14] 657*2^1239028-1 is not prime. Res64: 30B427AA6AA8D178 Time : 0.0 sec. user=mdettweiler [2013-01-10 16:53:52] 863*2^1239028-1 is not prime. Res64: D3EA5DA88D457737 Time : 0.0 sec. user=mdettweiler [2013-01-10 16:53:52] 923*2^1239028-1 is not prime. Res64: 286074D82044A83F Time : 0.0 sec. user=mdettweiler [2013-01-10 17:03:12] 927*2^1239028-1 is not prime. Res64: A519EE0FB5E74AB4 Time : 0.0 sec. user=mdettweiler [2013-01-10 17:03:15] 975*2^1239028-1 is not prime. Res64: A267BF72D78749E3 Time : 0.0 sec. user=mdettweiler [2013-01-10 17:11:54] 697*2^1239029-1 is not prime. Res64: C885CB9B22E3FBD5 Time : 0.0 sec. user=mdettweiler [2013-01-10 17:11:55] 759*2^1239029-1 is not prime. Res64: 4D01367C33198B10 Time : 0.0 sec. user=mdettweiler [2013-01-10 17:21:32] 945*2^1239029-1 is not prime. Res64: 2F67A494EDD10DE8 Time : 0.0 sec. user=mdettweiler [2013-01-10 17:21:33] 949*2^1239029-1 is not prime. Res64: 8B097C4F7BB5D2FF Time : 0.0 sec. user=mdettweiler [2013-01-10 17:30:01] 611*2^1239030-1 is not prime. Res64: 77C4A188E7025F16 Time : 0.0 sec. user=mdettweiler [2013-01-10 17:30:01] 681*2^1239030-1 is not prime. Res64: 585AD92BD713753C Time : 0.0 sec. user=mdettweiler [2013-01-10 17:39:35] 707*2^1239030-1 is not prime. Res64: 464AD70767E48C01 Time : 0.0 sec. user=mdettweiler [2013-01-10 17:39:36] 893*2^1239030-1 is not prime. Res64: EAF4534B12B66C69 Time : 0.0 sec. user=mdettweiler [2013-01-10 17:48:02] 679*2^1239031-1 is not prime. Res64: 60F4FC17E9E65A7E Time : 0.0 sec. user=mdettweiler [2013-01-10 17:48:03] 783*2^1239031-1 is not prime. Res64: 97CC25458DE614C3 Time : 0.0 sec. user=mdettweiler [2013-01-10 17:57:36] 975*2^1239031-1 is not prime. Res64: 94A30189C6A70402 Time : 0.0 sec. user=mdettweiler [2013-01-10 17:57:37] 605*2^1239032-1 is not prime. Res64: 6AA4EF428D162403 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:06:04] 615*2^1239032-1 is not prime. Res64: 74FFB502606DD9F0 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:06:05] 623*2^1239032-1 is not prime. Res64: 5881FCB170A06F32 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:15:32] 633*2^1239032-1 is not prime. Res64: 5624D207B24D56A5 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:15:33] 669*2^1239032-1 is not prime. Res64: DC6CE6576E77CE42 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:23:55] 815*2^1239032-1 is not prime. Res64: 43610CD7860CB90B Time : 0.0 sec. user=mdettweiler [2013-01-10 18:23:56] 855*2^1239032-1 is not prime. Res64: BE8CBB40953B0B3E Time : 0.0 sec. user=mdettweiler [2013-01-10 18:33:23] 875*2^1239032-1 is not prime. Res64: F75A87F974AB43DF Time : 0.0 sec. user=mdettweiler [2013-01-10 18:33:24] 995*2^1239032-1 is not prime. Res64: 3B2AD22B5C787E54 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:41:44] 741*2^1239033-1 is not prime. Res64: 77628C1551F41135 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:41:44] 789*2^1239033-1 is not prime. Res64: 3FA8B49A90EFB1E3 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:51:11] 819*2^1239033-1 is not prime. Res64: 5D7486C20353ACF3 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:51:11] 871*2^1239033-1 is not prime. Res64: 4B575A4714C01B02 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:59:32] 901*2^1239033-1 is not prime. Res64: 29A0AD78EF346782 Time : 0.0 sec. user=mdettweiler [2013-01-10 18:59:32] 945*2^1239033-1 is not prime. Res64: 9EB9CE3947CD059B Time : 0.0 sec. user=mdettweiler [2013-01-10 19:08:56] 803*2^1239034-1 is not prime. Res64: 5D1618E5167283AE Time : 0.0 sec. user=mdettweiler [2013-01-10 19:08:58] 905*2^1239034-1 is not prime. Res64: 659A754279CE2955 Time : 0.0 sec. user=mdettweiler [2013-01-10 19:17:17] 841*2^1239035-1 is not prime. Res64: 0132CB6208A1A086 Time : 0.0 sec. user=mdettweiler [2013-01-10 19:17:17] 895*2^1239035-1 is not prime. Res64: B430184E96A3F9EA Time : 0.0 sec. user=mdettweiler [2013-01-10 19:26:54] 609*2^1239036-1 is not prime. Res64: 004DA5594D63CDC6 Time : 0.0 sec. user=mdettweiler [2013-01-10 19:26:55] 765*2^1239036-1 is not prime. Res64: 3A58CFAFF6ECD96E Time : 0.0 sec. user=mdettweiler [2013-01-10 19:35:05] 903*2^1239036-1 is not prime. Res64: D3F80A9D5BCEBE12 Time : 0.0 sec. user=mdettweiler [2013-01-10 19:35:05] 927*2^1239036-1 is not prime. Res64: 3BB83EBA06795031 Time : 0.0 sec. user=mdettweiler [2013-01-10 19:44:41] 601*2^1239037-1 is not prime. Res64: 2CB44382885CF1A8 Time : 0.0 sec. user=mdettweiler [2013-01-10 19:44:42] 607*2^1239037-1 is not prime. Res64: 98BD4F04B01023EF Time : 0.0 sec. user=mdettweiler [2013-01-10 19:52:53] 769*2^1239037-1 is not prime. Res64: C7D221B499C82037 Time : 0.0 sec. user=mdettweiler [2013-01-10 19:52:53] 801*2^1239037-1 is not prime. Res64: 825050D3901277A0 Time : 0.0 sec. user=juhehe [2013-01-10 19:53:53] 947*2^1239036-1 is not prime. Res64: E9BFBA54A5FB8B51 Time : 0.0 sec. user=mdettweiler [2013-01-10 20:02:29] 641*2^1239038-1 is not prime. Res64: E8544AD0A52E37AE Time : 0.0 sec. user=mdettweiler [2013-01-10 20:02:30] 677*2^1239038-1 is not prime. Res64: FEBA7C2392857948 Time : 0.0 sec. user=mdettweiler [2013-01-10 20:10:40] 693*2^1239038-1 is not prime. Res64: 410C03B46D6AFCDA Time : 0.0 sec. user=mdettweiler [2013-01-10 20:10:43] 761*2^1239038-1 is not prime. Res64: 5F6E1C7904D154C9 Time : 0.0 sec. user=mdettweiler [2013-01-10 20:20:29] 867*2^1239038-1 is not prime. Res64: FF2101ECC51D695D Time : 0.0 sec. user=mdettweiler [2013-01-10 20:20:30] 875*2^1239038-1 is not prime. Res64: DAE0ABCCB0C62414 Time : 0.0 sec. user=juhehe [2013-01-10 20:27:24] 843*2^1239038-1 is not prime. Res64: D79755114EC663B9 Time : 0.0 sec. user=mdettweiler [2013-01-10 20:28:36] 957*2^1239038-1 is not prime. Res64: B9B217A47E62E06C Time : 0.0 sec. user=mdettweiler [2013-01-10 20:28:37] 977*2^1239038-1 is not prime. Res64: 0408E9728EEEE277 Time : 0.0 sec. user=mdettweiler [2013-01-10 20:38:19] 649*2^1239039-1 is not prime. Res64: 19B52E0AD3249FCE Time : 0.0 sec. user=mdettweiler [2013-01-10 20:38:19] 829*2^1239039-1 is not prime. Res64: C0EBD0EEE50CCF81 Time : 0.0 sec. user=mdettweiler [2013-01-10 20:46:29] 973*2^1239039-1 is not prime. Res64: D03D3C34CFD38A56 Time : 0.0 sec. user=mdettweiler [2013-01-10 20:46:29] 975*2^1239039-1 is not prime. Res64: 0FAF6C090FEFD3E9 Time : 0.0 sec. user=mdettweiler [2013-01-10 20:56:10] 825*2^1239040-1 is not prime. Res64: 0304E0CA9212C31B Time : 0.0 sec. user=mdettweiler [2013-01-10 20:56:10] 843*2^1239040-1 is not prime. Res64: E6FBA0BE29E095F0 Time : 0.0 sec. user=juhehe [2013-01-10 21:00:56] 909*2^1239039-1 is not prime. Res64: B7DCC17C57BBF2F3 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:04:17] 957*2^1239040-1 is not prime. Res64: 8E5F13268F82076B Time : 0.0 sec. user=mdettweiler [2013-01-10 21:04:18] 999*2^1239040-1 is not prime. Res64: 489AE5298E957074 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:13:58] 675*2^1239041-1 is not prime. Res64: 69C6AC53DDCA0832 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:14:00] 715*2^1239041-1 is not prime. Res64: ED8351AFB439D4C6 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:22:09] 795*2^1239041-1 is not prime. Res64: 7718F37B19727C89 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:22:09] 811*2^1239041-1 is not prime. Res64: 59C718757FBA6E68 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:32:06] 861*2^1239041-1 is not prime. Res64: FFC212AA2051E02D Time : 0.0 sec. user=mdettweiler [2013-01-10 21:32:06] 871*2^1239041-1 is not prime. Res64: BA2DA79879249254 Time : 0.0 sec. user=juhehe [2013-01-10 21:34:31] 747*2^1239041-1 is not prime. Res64: 22716E48CA5E7A69 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:40:06] 925*2^1239041-1 is not prime. Res64: D654E293D43A0F71 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:40:06] 957*2^1239041-1 is not prime. Res64: E5DABC4BF7EEE138 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:50:01] 741*2^1239042-1 is not prime. Res64: 7BFA8511FB2CB801 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:50:01] 833*2^1239042-1 is not prime. Res64: 129C28E6E0A83F2E Time : 0.0 sec. user=mdettweiler [2013-01-10 21:57:48] 603*2^1239043-1 is not prime. Res64: 8B4EF83DBA9E8B10 Time : 0.0 sec. user=mdettweiler [2013-01-10 21:57:48] 639*2^1239043-1 is not prime. Res64: 745D9B9A4C2E0432 Time : 0.0 sec. user=mdettweiler [2013-01-10 22:07:35] 649*2^1239043-1 is not prime. Res64: A5F0888374366D93 Time : 0.0 sec. user=mdettweiler [2013-01-10 22:07:39] 741*2^1239043-1 is not prime. Res64: A71A4A1B483BDE69 Time : 0.0 sec. user=juhehe [2013-01-10 22:08:06] 891*2^1239042-1 is not prime. Res64: 922EE0449731E7B7 Time : 0.0 sec. user=mdettweiler [2013-01-10 22:15:14] 873*2^1239043-1 is not prime. Res64: E709BA2D6F410C93 Time : 0.0 sec. user=mdettweiler [2013-01-10 22:15:15] 999*2^1239043-1 is not prime. Res64: 795AD0F5FE1225D0 Time : 0.0 sec. user=mdettweiler [2013-01-10 22:25:30] 615*2^1239044-1 is not prime. Res64: 518506C17890E821 Time : 0.0 sec. user=mdettweiler [2013-01-10 22:25:31] 753*2^1239044-1 is not prime. Res64: 3B4A2D1FC6CD8D3D Time : 0.0 sec. user=mdettweiler [2013-01-10 22:32:44] 789*2^1239044-1 is not prime. Res64: 9D2AC913FFC18C54 Time : 0.0 sec. user=mdettweiler [2013-01-10 22:32:44] 869*2^1239044-1 is not prime. Res64: 9D5E9D0E65971439 Time : 0.0 sec. user=mdettweiler [2013-01-10 22:42:56] 903*2^1239044-1 is not prime. Res64: 93226EB40A4795CF Time : 0.0 sec. user=mdettweiler [2013-01-10 22:42:57] 915*2^1239044-1 is not prime. Res64: 56F552056993513F Time : 0.0 sec. user=mdettweiler [2013-01-10 22:50:11] 987*2^1239044-1 is not prime. Res64: E74B96BFEC7D8F16 Time : 0.0 sec. user=mdettweiler [2013-01-10 22:50:12] 601*2^1239045-1 is not prime. Res64: FD00B79AB4BB2AFA Time : 0.0 sec. user=mdettweiler [2013-01-10 23:00:25] 609*2^1239045-1 is not prime. Res64: 62DC908BA9151EF8 Time : 0.0 sec. user=mdettweiler [2013-01-10 23:00:26] 691*2^1239045-1 is not prime. Res64: B4AC4E676C14C700 Time : 0.0 sec. user=mdettweiler [2013-01-10 23:07:42] 765*2^1239045-1 is not prime. Res64: F0EFE10E8E651A44 Time : 0.0 sec. user=mdettweiler [2013-01-10 23:07:44] 831*2^1239045-1 is not prime. Res64: 5A4ED20F7360AD8F Time : 0.0 sec. user=juhehe [2013-01-10 23:13:36] 607*2^1239045-1 is not prime. Res64: 839A9962D00ECFC5 Time : 0.0 sec. user=mdettweiler [2013-01-10 23:18:05] 891*2^1239045-1 is not prime. Res64: 170884E9BFB8C08C Time : 0.0 sec. user=mdettweiler [2013-01-10 23:18:05] 937*2^1239045-1 is not prime. Res64: C66273E1EF5D3B2F Time : 0.0 sec. user=mdettweiler [2013-01-10 23:25:14] 985*2^1239045-1 is not prime. Res64: 6D3849A88A49CB2C Time : 0.0 sec. user=mdettweiler [2013-01-10 23:25:15] 991*2^1239045-1 is not prime. Res64: 568AD0E8C10B5983 Time : 0.0 sec. user=mdettweiler [2013-01-10 23:35:33] 761*2^1239046-1 is not prime. Res64: 1A144B2CA76C8D25 Time : 0.0 sec. user=mdettweiler [2013-01-10 23:35:34] 857*2^1239046-1 is not prime. Res64: 13BC96384C868292 Time : 0.0 sec. user=mdettweiler [2013-01-10 23:42:42] 923*2^1239046-1 is not prime. Res64: F1EAD3DD4CB92D21 Time : 0.0 sec. user=mdettweiler [2013-01-10 23:42:42] 933*2^1239046-1 is not prime. Res64: 5E508D80775D70B5 Time : 0.0 sec. user=mdettweiler [2013-01-10 23:53:03] 965*2^1239046-1 is not prime. Res64: 125E5432F80DA127 Time : 0.0 sec. user=mdettweiler [2013-01-10 23:53:03] 621*2^1239047-1 is not prime. Res64: 2FA8CB9E2D3C6EA3 Time : 0.0 sec. user=mdettweiler [2013-01-11 00:00:06] 759*2^1239047-1 is not prime. Res64: 2FD3217AAC27A066 Time : 0.0 sec. user=mdettweiler [2013-01-11 00:00:06] 799*2^1239047-1 is not prime. Res64: 13B6CEAD2CA1DCA7 Time : 0.0 sec.