user=mdettweiler [2012-08-09 00:02:24] 771*2^1226035-1 is not prime. Res64: 5D8C379FD5A16FF9 Time : 0.0 sec. user=mdettweiler [2012-08-09 00:02:25] 849*2^1226035-1 is not prime. Res64: 2F9C93FA84530C1D Time : 0.0 sec. user=mdettweiler [2012-08-09 00:08:15] 923*2^1226034-1 is not prime. Res64: 64ED193B8A68FA0A Time : 0.0 sec. user=vaughan [2012-08-09 00:16:50] 699*2^1226035-1 is not prime. Res64: E6462A0538FDD892 Time : 0.0 sec. user=mdettweiler [2012-08-09 00:19:37] 633*2^1226036-1 is not prime. Res64: 8CB09B31C5153360 Time : 0.0 sec. user=mdettweiler [2012-08-09 00:19:37] 699*2^1226036-1 is not prime. Res64: E3D78D5E1BC5DD37 Time : 0.0 sec. user=mdettweiler [2012-08-09 00:23:10] 725*2^1226036-1 is not prime. Res64: B269A22509C0BCE3 Time : 0.0 sec. user=mdettweiler [2012-08-09 00:23:11] 759*2^1226036-1 is not prime. Res64: 0E3079230B3BE9D8 Time : 0.0 sec. user=mdettweiler [2012-08-09 00:40:16] 651*2^1226037-1 is not prime. Res64: 1DD4B8DC55B26A1E Time : 0.0 sec. user=mdettweiler [2012-08-09 00:40:16] 681*2^1226037-1 is not prime. Res64: 685D1C9B446076F8 Time : 0.0 sec. user=mdettweiler [2012-08-09 00:44:00] 717*2^1226037-1 is not prime. Res64: E6D59C4A277C9EAB Time : 0.0 sec. user=mdettweiler [2012-08-09 00:44:00] 741*2^1226037-1 is not prime. Res64: 88A82FF8119163BF Time : 0.0 sec. user=mdettweiler [2012-08-09 00:53:26] 629*2^1226036-1 is not prime. Res64: 57DC56AC49B21B43 Time : 0.0 sec. user=vaughan [2012-08-09 00:54:15] 609*2^1226037-1 is not prime. Res64: F6062454D5CFEF9E Time : 0.0 sec. user=mdettweiler [2012-08-09 01:00:54] 891*2^1226037-1 is not prime. Res64: AB2D5030D662CC13 Time : 0.0 sec. user=mdettweiler [2012-08-09 01:00:56] 901*2^1226037-1 is not prime. Res64: 775E05899E8A284E Time : 0.0 sec. user=mdettweiler [2012-08-09 01:01:45] 963*2^1226036-1 is not prime. Res64: D10286147D0F3CEA Time : 0.0 sec. user=mdettweiler [2012-08-09 01:04:36] 949*2^1226037-1 is not prime. Res64: 93B28BAEED8F0E12 Time : 0.0 sec. user=mdettweiler [2012-08-09 01:04:37] 611*2^1226038-1 is not prime. Res64: 07A7ABA5D4BC6CD7 Time : 0.0 sec. user=mdettweiler [2012-08-09 01:21:47] 831*2^1226038-1 is not prime. Res64: 72F672BFD526359A Time : 0.0 sec. user=mdettweiler [2012-08-09 01:21:48] 845*2^1226038-1 is not prime. Res64: 51C2ADA4C998CB36 Time : 0.0 sec. user=mdettweiler [2012-08-09 01:25:18] 945*2^1226038-1 is not prime. Res64: 83CD4457D91A3F75 Time : 0.0 sec. user=mdettweiler [2012-08-09 01:25:18] 993*2^1226038-1 is not prime. Res64: 9F98AEB4E846331B Time : 0.0 sec. user=vaughan [2012-08-09 01:31:39] 777*2^1226038-1 is not prime. Res64: 13569091CCE1017E Time : 0.0 sec. user=mdettweiler [2012-08-09 01:40:32] 635*2^1226038-1 is not prime. Res64: 10994D0251BA6651 Time : 0.0 sec. user=mdettweiler [2012-08-09 01:42:28] 675*2^1226039-1 is not prime. Res64: 47C20A5233C85391 Time : 0.0 sec. user=mdettweiler [2012-08-09 01:42:28] 705*2^1226039-1 is not prime. Res64: 80B045998BCB8003 Time : 0.0 sec. user=mdettweiler [2012-08-09 01:45:54] 799*2^1226039-1 is not prime. Res64: B886E1087DEC6D75 Time : 0.0 sec. user=mdettweiler [2012-08-09 01:45:54] 999*2^1226039-1 is not prime. Res64: 584F7C51C47ABD0E Time : 0.0 sec. user=mdettweiler [2012-08-09 01:47:33] 887*2^1226038-1 is not prime. Res64: E71D3CF1674A0ACF Time : 0.0 sec. user=mdettweiler [2012-08-09 02:03:04] 653*2^1226040-1 is not prime. Res64: 85DCFC5961D963EE Time : 0.0 sec. user=mdettweiler [2012-08-09 02:03:06] 689*2^1226040-1 is not prime. Res64: 144967D21342DC07 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:06:29] 795*2^1226040-1 is not prime. Res64: F8D61A0A8DDE61C7 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:06:31] 843*2^1226040-1 is not prime. Res64: 6039329C005BFEB1 Time : 0.0 sec. user=vaughan [2012-08-09 02:09:02] 609*2^1226040-1 is not prime. Res64: 438B8D91E258B287 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:19:58] 633*2^1226040-1 is not prime. Res64: 3719E15E520ACAF0 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:24:07] 909*2^1226040-1 is not prime. Res64: B6A85E99BBA647F4 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:24:07] 649*2^1226041-1 is not prime. Res64: 7B11A63A3DFEC568 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:27:09] 687*2^1226041-1 is not prime. Res64: 0E1394571B24C3F5 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:27:09] 777*2^1226041-1 is not prime. Res64: 4CDFDB22A5548AF9 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:28:53] 887*2^1226040-1 is not prime. Res64: B6B1363D6E33AD58 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:44:42] 829*2^1226041-1 is not prime. Res64: 2B50BC9C665C0B48 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:44:44] 855*2^1226041-1 is not prime. Res64: D35F9EE0AE5396BE Time : 0.0 sec. user=vaughan [2012-08-09 02:46:29] 789*2^1226041-1 is not prime. Res64: 70E8C77460449779 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:47:45] 939*2^1226041-1 is not prime. Res64: E81C7C9B3A450391 Time : 0.0 sec. user=mdettweiler [2012-08-09 02:47:46] 945*2^1226041-1 is not prime. Res64: 9A29CD420AFA540B Time : 0.0 sec. user=mdettweiler [2012-08-09 02:55:06] 811*2^1226041-1 is not prime. Res64: 4642C0BAA498B9FA Time : 0.0 sec. user=mdettweiler [2012-08-09 03:05:26] 665*2^1226042-1 is not prime. Res64: 68DE2A4CABCFF9A4 Time : 0.0 sec. user=mdettweiler [2012-08-09 03:05:31] 671*2^1226042-1 is not prime. Res64: E64F0CF7E40B3560 Time : 0.0 sec. user=mdettweiler [2012-08-09 03:08:23] 827*2^1226042-1 is not prime. Res64: F98AA7D5A35A25C5 Time : 0.0 sec. user=mdettweiler [2012-08-09 03:08:25] 885*2^1226042-1 is not prime. Res64: BA9E79EB165F5F81 Time : 0.0 sec. user=gd_barnes [2012-08-09 03:10:49] 683*2^1226042-1 is not prime. Res64: 86911D20CE18FE0F Time : 0.0 sec. user=mdettweiler [2012-08-09 03:11:32] 951*2^1226041-1 is not prime. Res64: F76AC13C32E92944 Time : 0.0 sec. user=gd_barnes [2012-08-09 03:13:22] 987*2^1226041-1 is not prime. Res64: D8BB0BA6995C7AFA Time : 0.0 sec. user=gd_barnes [2012-08-09 03:14:49] 615*2^1226042-1 is not prime. Res64: C0FCCF25471DA60C Time : 0.0 sec. user=gd_barnes [2012-08-09 03:16:44] 797*2^1226042-1 is not prime. Res64: CDF6FF4A9AE81300 Time : 0.0 sec. user=gd_barnes [2012-08-09 03:17:42] 731*2^1226042-1 is not prime. Res64: 291C69B26D364E62 Time : 0.0 sec. user=mdettweiler [2012-08-09 03:26:30] 995*2^1226042-1 is not prime. Res64: EC05A531490932AA Time : 0.0 sec. user=mdettweiler [2012-08-09 03:26:31] 643*2^1226043-1 is not prime. Res64: 40F508A216D01AC9 Time : 0.0 sec. user=mdettweiler [2012-08-09 03:29:07] 669*2^1226043-1 is not prime. Res64: CB9FACE20E21F65B Time : 0.0 sec. user=mdettweiler [2012-08-09 03:29:07] 745*2^1226043-1 is not prime. Res64: 4194C1062EF5CF92 Time : 0.0 sec. user=mdettweiler [2012-08-09 03:30:27] 921*2^1226042-1 is not prime. Res64: 6A92AA8A87BF49C5 Time : 0.0 sec. user=gd_barnes [2012-08-09 03:39:17] 795*2^1226043-1 is not prime. Res64: 0C9150951ABCCABA Time : 0.0 sec. user=mdettweiler [2012-08-09 03:47:19] 955*2^1226043-1 is not prime. Res64: 916AEF0AA77AEBD9 Time : 0.0 sec. user=mdettweiler [2012-08-09 03:47:20] 973*2^1226043-1 is not prime. Res64: 86EC81916948A45F Time : 0.0 sec. user=mdettweiler [2012-08-09 03:47:55] 853*2^1226043-1 is not prime. Res64: C90B22435E09F62E Time : 0.0 sec. user=mdettweiler [2012-08-09 03:49:45] 985*2^1226043-1 is not prime. Res64: A270FE5408573105 Time : 0.0 sec. user=mdettweiler [2012-08-09 03:49:45] 707*2^1226044-1 is not prime. Res64: 1B0F1B4A95E02585 Time : 0.0 sec. user=vaughan [2012-08-09 03:57:32] 891*2^1226043-1 is not prime. Res64: B53475C023ED4E1A Time : 0.0 sec. user=mdettweiler [2012-08-09 04:05:51] 819*2^1226044-1 is not prime. Res64: 17A54989F020311D Time : 0.0 sec. user=mdettweiler [2012-08-09 04:07:59] 827*2^1226044-1 is not prime. Res64: 000774AF4FB1EB74 Time : 0.0 sec. user=mdettweiler [2012-08-09 04:08:01] 857*2^1226044-1 is not prime. Res64: 342A1CF5DE0483DC Time : 0.0 sec. user=mdettweiler [2012-08-09 04:10:21] 619*2^1226045-1 is not prime. Res64: 2C813A6B0F15998F Time : 0.0 sec. user=mdettweiler [2012-08-09 04:10:21] 699*2^1226045-1 is not prime. Res64: D8376030E0477764 Time : 0.0 sec. user=mdettweiler [2012-08-09 04:21:56] 903*2^1226044-1 is not prime. Res64: 808E32ADD5A4CEDB Time : 0.0 sec. user=mdettweiler [2012-08-09 04:28:40] 987*2^1226045-1 is not prime. Res64: 8DD6F19CFBC4E7C9 Time : 0.0 sec. user=mdettweiler [2012-08-09 04:28:40] 627*2^1226046-1 is not prime. Res64: 9D3B2697B766A982 Time : 0.0 sec. user=mdettweiler [2012-08-09 04:30:58] 641*2^1226046-1 is not prime. Res64: 0FBB32C4CEF76DE3 Time : 0.0 sec. user=mdettweiler [2012-08-09 04:31:00] 705*2^1226046-1 is not prime. Res64: 7F43A6F0CCEB8A3D Time : 0.0 sec. user=vaughan [2012-08-09 04:34:55] 735*2^1226045-1 is not prime. Res64: BFE215012B454C54 Time : 0.0 sec. user=mdettweiler [2012-08-09 04:41:31] 777*2^1226045-1 is not prime. Res64: E589E525CE554A5E Time : 0.0 sec. user=mdettweiler [2012-08-09 04:49:16] 783*2^1226046-1 is not prime. Res64: 2E4BAF62DC727065 Time : 0.0 sec. user=mdettweiler [2012-08-09 04:49:16] 851*2^1226046-1 is not prime. Res64: 2F75ABB04B72FF58 Time : 0.0 sec. user=mdettweiler [2012-08-09 04:51:35] 891*2^1226046-1 is not prime. Res64: F99354ACD7482A5A Time : 0.0 sec. user=mdettweiler [2012-08-09 04:51:36] 615*2^1226047-1 is not prime. Res64: 86B4B96EE9ABF26C Time : 0.0 sec. user=mdettweiler [2012-08-09 04:54:56] 713*2^1226046-1 is not prime. Res64: 4CC1B64B52CE45F6 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:09:54] 673*2^1226047-1 is not prime. Res64: AE9E8E10D93CD5B6 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:09:57] 705*2^1226047-1 is not prime. Res64: 1A38FC296C56C193 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:12:10] 729*2^1226047-1 is not prime. Res64: 3C8D9DF5B7984AA1 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:12:12] 813*2^1226047-1 is not prime. Res64: 712E0362DCDC97A6 Time : 0.0 sec. user=vaughan [2012-08-09 05:12:20] 645*2^1226047-1 is not prime. Res64: C1E1CC2C22D89FD6 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:14:20] 663*2^1226047-1 is not prime. Res64: 048A2377DD8B4305 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:30:43] 861*2^1226047-1 is not prime. Res64: D1FAE537AFA39545 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:30:47] 973*2^1226047-1 is not prime. Res64: 7D215D3FC904DE36 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:31:31] 819*2^1226047-1 is not prime. Res64: 0C83D11F427C95DE Time : 0.0 sec. user=mdettweiler [2012-08-09 05:32:52] 657*2^1226048-1 is not prime. Res64: B233A41C25E3F483 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:32:53] 827*2^1226048-1 is not prime. Res64: 7FA175C31E543449 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:47:44] 897*2^1226048-1 is not prime. Res64: 5A2637FCF8E759EF Time : 0.0 sec. user=vaughan [2012-08-09 05:49:46] 855*2^1226048-1 is not prime. Res64: 9A9B4C17FEB990E0 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:51:38] 923*2^1226048-1 is not prime. Res64: A354E914D2483007 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:51:39] 667*2^1226049-1 is not prime. Res64: 20E4E549804B17FF Time : 0.0 sec. user=mdettweiler [2012-08-09 05:53:32] 685*2^1226049-1 is not prime. Res64: 39AEC7959FBDE901 Time : 0.0 sec. user=mdettweiler [2012-08-09 05:53:33] 741*2^1226049-1 is not prime. Res64: E5DD3A240627303B Time : 0.0 sec. user=mdettweiler [2012-08-09 06:05:59] 675*2^1226049-1 is not prime. Res64: 08631D5F001060BF Time : 0.0 sec. user=mdettweiler [2012-08-09 06:12:20] 837*2^1226049-1 is not prime. Res64: 2FC42C337A00907F Time : 0.0 sec. user=mdettweiler [2012-08-09 06:12:22] 909*2^1226049-1 is not prime. Res64: 8B422F75EE7DC382 Time : 0.0 sec. user=mdettweiler [2012-08-09 06:14:13] 949*2^1226049-1 is not prime. Res64: 1B56428CE0E970A7 Time : 0.0 sec. user=mdettweiler [2012-08-09 06:14:15] 999*2^1226049-1 is not prime. Res64: DBB2AA01F87AB4DF Time : 0.0 sec. user=mdettweiler [2012-08-09 06:22:03] 745*2^1226049-1 is not prime. Res64: 0B76CF79D064DC0C Time : 0.0 sec. user=vaughan [2012-08-09 06:27:10] 831*2^1226049-1 is not prime. Res64: 257F553D9312055C Time : 0.0 sec. user=mdettweiler [2012-08-09 06:33:07] 723*2^1226050-1 is not prime. Res64: F2FD52507AB69905 Time : 0.0 sec. user=mdettweiler [2012-08-09 06:33:08] 731*2^1226050-1 is not prime. Res64: 2E192006CFDE84CD Time : 0.0 sec. user=mdettweiler [2012-08-09 06:34:55] 813*2^1226050-1 is not prime. Res64: 7DBFDCF1EECB1721 Time : 0.0 sec. user=mdettweiler [2012-08-09 06:34:56] 945*2^1226050-1 is not prime. Res64: DDDD88B257C967E7 Time : 0.0 sec. user=mdettweiler [2012-08-09 06:41:03] 687*2^1226050-1 is not prime. Res64: C611631477F9EDAC Time : 0.0 sec. user=mdettweiler [2012-08-09 06:53:51] 603*2^1226051-1 is not prime. Res64: 6BA06A056C6BE03C Time : 0.0 sec. user=mdettweiler [2012-08-09 06:53:52] 645*2^1226051-1 is not prime. Res64: 5B5F350704BB62B7 Time : 0.0 sec. user=mdettweiler [2012-08-09 06:55:35] 745*2^1226051-1 is not prime. Res64: F663C14F74FEECB8 Time : 0.0 sec. user=mdettweiler [2012-08-09 06:55:36] 859*2^1226051-1 is not prime. Res64: 7DC667997392FC7D Time : 0.0 sec. user=mdettweiler [2012-08-09 06:56:43] 957*2^1226050-1 is not prime. Res64: 693FABF67EA5CFB8 Time : 0.0 sec. user=vaughan [2012-08-09 07:04:39] 987*2^1226050-1 is not prime. Res64: CB91DD650E95E173 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:14:35] 635*2^1226052-1 is not prime. Res64: 26B7AEB09EE3F1D9 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:14:36] 725*2^1226052-1 is not prime. Res64: 335FE7FDCB5BCF48 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:15:39] 969*2^1226051-1 is not prime. Res64: 8F34F3C7420894B8 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:16:15] 987*2^1226052-1 is not prime. Res64: 2BE6B01076304B8C Time : 0.0 sec. user=mdettweiler [2012-08-09 07:16:15] 855*2^1226053-1 is not prime. Res64: 52D7F89B06500032 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:31:08] 889*2^1226053-1 is not prime. Res64: 16443AD225113218 Time : 0.0 sec. user=gd_barnes [2012-08-09 07:32:33] 967*2^1226053-1 is not prime. Res64: C81E077C5FE01A1E Time : 0.0 sec. user=mdettweiler [2012-08-09 07:35:15] 815*2^1226054-1 is not prime. Res64: 0A2030E1F808BD66 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:35:16] 831*2^1226054-1 is not prime. Res64: E7A43B87D20CCA67 Time : 0.0 sec. user=gd_barnes [2012-08-09 07:36:04] 641*2^1226054-1 is not prime. Res64: D9C39C1F27B9E64F Time : 0.0 sec. user=mdettweiler [2012-08-09 07:36:52] 885*2^1226054-1 is not prime. Res64: 48BA7DF042A45AB9 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:36:53] 923*2^1226054-1 is not prime. Res64: 79FD8C0D0EB84BB6 Time : 0.0 sec. user=gd_barnes [2012-08-09 07:40:19] 987*2^1226053-1 is not prime. Res64: 934CA3C03ED8DC8D Time : 0.0 sec. user=vaughan [2012-08-09 07:42:11] 939*2^1226053-1 is not prime. Res64: 6C5050D590ECE166 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:50:07] 861*2^1226054-1 is not prime. Res64: D9BA6E5BB66AEC7F Time : 0.0 sec. user=mdettweiler [2012-08-09 07:55:58] 735*2^1226055-1 is not prime. Res64: B373A5AEFF4AB309 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:55:59] 739*2^1226055-1 is not prime. Res64: 36A8B9F3717E7457 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:57:36] 795*2^1226055-1 is not prime. Res64: F654F455388199B7 Time : 0.0 sec. user=mdettweiler [2012-08-09 07:57:37] 859*2^1226055-1 is not prime. Res64: 7A35BF0CFDA39DA2 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:04:43] 663*2^1226055-1 is not prime. Res64: B2347EABA7C42B39 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:16:44] 949*2^1226055-1 is not prime. Res64: A8C9263330725A8F Time : 0.0 sec. user=mdettweiler [2012-08-09 08:16:45] 951*2^1226055-1 is not prime. Res64: 47BE9F17952E2489 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:18:26] 603*2^1226056-1 is not prime. Res64: 5EFEEA65519C84C5 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:18:28] 623*2^1226056-1 is not prime. Res64: B973C9EAE8339474 Time : 0.0 sec. user=vaughan [2012-08-09 08:19:44] 885*2^1226055-1 is not prime. Res64: DB7A7DE968443622 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:27:08] 919*2^1226055-1 is not prime. Res64: F59C88106F7FEB91 Time : 0.0 sec. user=gd_barnes [2012-08-09 08:36:51] 765*2^1226056-1 is not prime. Res64: B40DFA4B66CE4600 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:37:30] 803*2^1226056-1 is not prime. Res64: E3099B92EEBAC5A6 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:37:31] 843*2^1226056-1 is not prime. Res64: 96EDDAA3AE6F1D82 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:37:36] 657*2^1226056-1 is not prime. Res64: D772F7CF9D2F25D7 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:39:08] 939*2^1226056-1 is not prime. Res64: F0858FC1349CA1E6 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:39:09] 607*2^1226057-1 is not prime. Res64: A9349B9143920F5F Time : 0.0 sec. user=vaughan [2012-08-09 08:57:05] 619*2^1226057-1 is not prime. Res64: 5A9F2F1CEEB9C36D Time : 0.0 sec. user=mdettweiler [2012-08-09 08:58:11] 741*2^1226057-1 is not prime. Res64: 58D8426C260C00C0 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:58:12] 805*2^1226057-1 is not prime. Res64: 639C9BA1EA90D786 Time : 0.0 sec. user=mdettweiler [2012-08-09 08:59:51] 861*2^1226057-1 is not prime. Res64: 505020505B062B8D Time : 0.0 sec. user=mdettweiler [2012-08-09 08:59:52] 931*2^1226057-1 is not prime. Res64: E386C7F3E68E55AA Time : 0.0 sec. user=mdettweiler [2012-08-09 09:01:34] 645*2^1226057-1 is not prime. Res64: 9F44D962291C730B Time : 0.0 sec. user=mdettweiler [2012-08-09 09:11:48] 831*2^1226057-1 is not prime. Res64: 4DF1D0C27C2AB35A Time : 0.0 sec. user=mdettweiler [2012-08-09 09:18:52] 967*2^1226057-1 is not prime. Res64: E6CB87A7AD8655EA Time : 0.0 sec. user=mdettweiler [2012-08-09 09:18:53] 647*2^1226058-1 is not prime. Res64: 34D84CE47C230D78 Time : 0.0 sec. user=mdettweiler [2012-08-09 09:20:33] 663*2^1226058-1 is not prime. Res64: 6FC68A792E1E81F8 Time : 0.0 sec. user=mdettweiler [2012-08-09 09:20:34] 755*2^1226058-1 is not prime. Res64: CFD7AACDAC09FA67 Time : 0.0 sec. user=vaughan [2012-08-09 09:34:30] 949*2^1226057-1 is not prime. Res64: 6A95CB09932A3492 Time : 0.0 sec. user=mdettweiler [2012-08-09 09:37:47] 767*2^1226058-1 is not prime. Res64: D03085CEB9515592 Time : 0.0 sec. user=mdettweiler [2012-08-09 09:39:38] 821*2^1226058-1 is not prime. Res64: F480231DDA19B510 Time : 0.0 sec. user=mdettweiler [2012-08-09 09:39:39] 867*2^1226058-1 is not prime. Res64: CBD77CABE16DAF62 Time : 0.0 sec. user=mdettweiler [2012-08-09 09:41:14] 927*2^1226058-1 is not prime. Res64: E2B2F8BC05266B83 Time : 0.0 sec. user=mdettweiler [2012-08-09 09:41:15] 675*2^1226059-1 is not prime. Res64: 728ECF5EEAB47AEA Time : 0.0 sec. user=mdettweiler [2012-08-09 09:44:43] 777*2^1226058-1 is not prime. Res64: E019F837FF37124D Time : 0.0 sec. user=mdettweiler [2012-08-09 10:00:17] 829*2^1226059-1 is not prime. Res64: 3F6B77FB755288CF Time : 0.0 sec. user=mdettweiler [2012-08-09 10:00:19] 855*2^1226059-1 is not prime. Res64: 2747477C59210A44 Time : 0.0 sec. user=mdettweiler [2012-08-09 10:01:55] 919*2^1226059-1 is not prime. Res64: 13379823DEE94DE2 Time : 0.0 sec. user=mdettweiler [2012-08-09 10:01:56] 633*2^1226060-1 is not prime. Res64: 29165DCEB096C696 Time : 0.0 sec. user=mdettweiler [2012-08-09 10:11:10] 759*2^1226059-1 is not prime. Res64: D9F517AF1CE42FA0 Time : 0.0 sec. user=vaughan [2012-08-09 10:11:56] 751*2^1226059-1 is not prime. Res64: 4FFCADF67EABCA80 Time : 0.0 sec. user=mdettweiler [2012-08-09 10:21:04] 717*2^1226060-1 is not prime. Res64: FDE13B0254706856 Time : 0.0 sec. user=mdettweiler [2012-08-09 10:21:05] 845*2^1226060-1 is not prime. Res64: 0D3379C1D3203E9A Time : 0.0 sec. user=mdettweiler [2012-08-09 10:21:54] 669*2^1226060-1 is not prime. Res64: A6F91AC2B3B58AEE Time : 0.0 sec. user=mdettweiler [2012-08-09 10:22:37] 983*2^1226060-1 is not prime. Res64: 296ED694D2F24CAA Time : 0.0 sec. user=mdettweiler [2012-08-09 10:22:38] 649*2^1226061-1 is not prime. Res64: 686CBB867A47C931 Time : 0.0 sec. user=mdettweiler [2012-08-09 10:41:49] 861*2^1226061-1 is not prime. Res64: 4C870C6C0FB76DAD Time : 0.0 sec. user=mdettweiler [2012-08-09 10:41:50] 961*2^1226061-1 is not prime. Res64: 86675344D2D9989C Time : 0.0 sec. user=mdettweiler [2012-08-09 10:43:18] 623*2^1226062-1 is not prime. Res64: 79DD2D8E192709E7 Time : 0.0 sec. user=mdettweiler [2012-08-09 10:43:19] 651*2^1226062-1 is not prime. Res64: 293B9E40E472F699 Time : 0.0 sec. user=mdettweiler [2012-08-09 10:45:30] 717*2^1226061-1 is not prime. Res64: 3E112BE702488A94 Time : 0.0 sec. user=vaughan [2012-08-09 10:49:22] 745*2^1226061-1 is not prime. Res64: 163F708C0D6E89F9 Time : 0.0 sec. user=mdettweiler [2012-08-09 10:56:16] 969*2^1226061-1 is not prime. Res64: B3136B94AA67709E Time : 0.0 sec. user=mdettweiler [2012-08-09 11:02:32] 657*2^1226062-1 is not prime. Res64: 7F50C98874A79768 Time : 0.0 sec. user=mdettweiler [2012-08-09 11:02:33] 761*2^1226062-1 is not prime. Res64: 0BCF7DA9BBD9D0BC Time : 0.0 sec. user=mdettweiler [2012-08-09 11:03:57] 813*2^1226062-1 is not prime. Res64: C0663D2C99742C20 Time : 0.0 sec. user=mdettweiler [2012-08-09 11:04:00] 619*2^1226063-1 is not prime. Res64: 2DDF46FF092A987B Time : 0.0 sec. user=mdettweiler [2012-08-09 11:19:37] 663*2^1226063-1 is not prime. Res64: C3D5A6EAF4C9A251 Time : 0.0 sec. user=mdettweiler [2012-08-09 11:23:11] 705*2^1226064-1 is not prime. Res64: 283218E025EBF95D Time : 0.0 sec. user=mdettweiler [2012-08-09 11:23:11] 707*2^1226064-1 is not prime. Res64: 0C452C7209387D74 Time : 0.0 sec. user=mdettweiler [2012-08-09 11:24:42] 737*2^1226064-1 is not prime. Res64: 13A20800E6F7E70D Time : 0.0 sec. user=mdettweiler [2012-08-09 11:24:42] 773*2^1226064-1 is not prime. Res64: B1B8E865D0723CB3 Time : 0.0 sec. user=vaughan [2012-08-09 11:26:44] 885*2^1226063-1 is not prime. Res64: B6700AA7DBA08909 Time : 0.0 sec. user=mdettweiler [2012-08-09 11:30:18] 693*2^1226064-1 is not prime. Res64: F99A3FC0ECF95113 Time : 0.0 sec. user=mdettweiler [2012-08-09 11:43:48] 857*2^1226064-1 is not prime. Res64: D426C6CDD63F626B Time : 0.0 sec. user=mdettweiler [2012-08-09 11:43:49] 945*2^1226064-1 is not prime. Res64: F2F581C626793909 Time : 0.0 sec. user=mdettweiler [2012-08-09 11:45:19] 969*2^1226064-1 is not prime. Res64: 257A3D158ACCCE1B Time : 0.0 sec. user=mdettweiler [2012-08-09 11:45:20] 799*2^1226065-1 is not prime. Res64: F0483F5E2BCED0C5 Time : 0.0 sec. user=mdettweiler [2012-08-09 11:53:38] 837*2^1226064-1 is not prime. Res64: D138DDDD39E88B4E Time : 0.0 sec. user=vaughan [2012-08-09 12:04:06] 895*2^1226065-1 is not prime. Res64: A66276EC003EA265 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:04:12] 909*2^1226065-1 is not prime. Res64: DF42871F63F9D6DF Time : 0.0 sec. user=mdettweiler [2012-08-09 12:04:26] 623*2^1226066-1 is not prime. Res64: 849589619D0B2121 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:04:29] 635*2^1226066-1 is not prime. Res64: 398C039B12270CE6 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:05:57] 711*2^1226066-1 is not prime. Res64: 46B2218FCF898CBE Time : 0.0 sec. user=mdettweiler [2012-08-09 12:05:58] 735*2^1226066-1 is not prime. Res64: 00222FAE4BCF11C1 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:25:13] 669*2^1226067-1 is not prime. Res64: D763249729EC06BE Time : 0.0 sec. user=mdettweiler [2012-08-09 12:25:14] 795*2^1226067-1 is not prime. Res64: 7DCDFAACC6091520 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:26:44] 805*2^1226067-1 is not prime. Res64: 6F8DC9BED3F8D098 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:26:45] 859*2^1226067-1 is not prime. Res64: FDF5C4B656910DA2 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:29:37] 945*2^1226066-1 is not prime. Res64: 525E8BBEF1B09850 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:40:23] 619*2^1226067-1 is not prime. Res64: 824D07FACB3C2887 Time : 0.0 sec. user=vaughan [2012-08-09 12:41:38] 963*2^1226066-1 is not prime. Res64: 5EDC20B4E4816BD9 Time : 0.0 sec. user=gd_barnes [2012-08-09 12:43:52] 603*2^1226068-1 is not prime. Res64: BA17F05D07B69AF0 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:46:00] 605*2^1226068-1 is not prime. Res64: 3027CB655C937566 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:46:01] 843*2^1226068-1 is not prime. Res64: 4CE4703F69D5FFCC Time : 0.0 sec. user=mdettweiler [2012-08-09 12:47:35] 863*2^1226068-1 is not prime. Res64: 8A4265A8C36A6DF1 Time : 0.0 sec. user=mdettweiler [2012-08-09 12:47:35] 875*2^1226068-1 is not prime. Res64: F6AF432A138E1EBF Time : 0.0 sec. user=mdettweiler [2012-08-09 13:04:47] 631*2^1226069-1 is not prime. Res64: 4510C1C5B5E87823 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:06:45] 811*2^1226069-1 is not prime. Res64: 0DB1F7FBBDD9844A Time : 0.0 sec. user=mdettweiler [2012-08-09 13:06:49] 955*2^1226069-1 is not prime. Res64: 47E75E012365E278 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:08:15] 987*2^1226069-1 is not prime. Res64: 6E17F40247758AA1 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:08:17] 611*2^1226070-1 is not prime. Res64: 08D27A8A1EC29296 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:15:54] 649*2^1226069-1 is not prime. Res64: 71993C3EA2CE7FE2 Time : 0.0 sec. user=vaughan [2012-08-09 13:19:00] 745*2^1226069-1 is not prime. Res64: 572597826339F12C Time : 0.0 sec. user=mdettweiler [2012-08-09 13:27:34] 777*2^1226070-1 is not prime. Res64: 35EA28DD426FA2E3 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:27:35] 797*2^1226070-1 is not prime. Res64: 48973FB2ABDA0E0D Time : 0.0 sec. user=mdettweiler [2012-08-09 13:28:59] 845*2^1226070-1 is not prime. Res64: 888CFDDD232A0811 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:29:00] 867*2^1226070-1 is not prime. Res64: B53C382ED8153FC3 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:40:27] 627*2^1226070-1 is not prime. Res64: 5585563CDA5EA5B9 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:48:12] 703*2^1226071-1 is not prime. Res64: F85377A2243CC834 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:48:13] 843*2^1226071-1 is not prime. Res64: 7EF561E4ED4877B7 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:49:36] 873*2^1226071-1 is not prime. Res64: B24C321779FDDC31 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:49:37] 615*2^1226072-1 is not prime. Res64: 00D5EE9726067C77 Time : 0.0 sec. user=mdettweiler [2012-08-09 13:51:04] 927*2^1226070-1 is not prime. Res64: D2B2B7DA38441C23 Time : 0.0 sec. user=vaughan [2012-08-09 13:56:22] 957*2^1226070-1 is not prime. Res64: FB7C3752FD62F07F Time : 0.0 sec. user=mdettweiler [2012-08-09 14:08:51] 983*2^1226072-1 is not prime. Res64: 4B62EAFE615F743C Time : 0.0 sec. user=mdettweiler [2012-08-09 14:08:53] 995*2^1226072-1 is not prime. Res64: 4C1D000F1C5B570A Time : 0.0 sec. user=mdettweiler [2012-08-09 14:10:14] 609*2^1226073-1 is not prime. Res64: 013AB44A59CF0EE9 Time : 0.0 sec. user=mdettweiler [2012-08-09 14:10:17] 625*2^1226073-1 is not prime. Res64: B5385ED0092B359B Time : 0.0 sec. user=mdettweiler [2012-08-09 14:14:03] 833*2^1226072-1 is not prime. Res64: BB68E874F2C24E5B Time : 0.0 sec. user=mdettweiler [2012-08-09 14:27:40] 657*2^1226073-1 is not prime. Res64: E62A8158BC943679 Time : 0.0 sec. user=mdettweiler [2012-08-09 14:29:48] 663*2^1226074-1 is not prime. Res64: 0DBCE16A454756B1 Time : 0.0 sec. user=mdettweiler [2012-08-09 14:29:48] 665*2^1226074-1 is not prime. Res64: 83153CE14F6A845C Time : 0.0 sec. user=mdettweiler [2012-08-09 14:31:11] 737*2^1226074-1 is not prime. Res64: 8F8F0ACA9CB508E7 Time : 0.0 sec. user=mdettweiler [2012-08-09 14:31:11] 773*2^1226074-1 is not prime. Res64: 3510548BA522E670 Time : 0.0 sec. user=vaughan [2012-08-09 14:33:44] 621*2^1226074-1 is not prime. Res64: 6416B26D9D70494F Time : 0.0 sec. user=gd_barnes [2012-08-09 14:40:12] 783*2^1226074-1 is not prime. Res64: E46812B409D0A6B7 Time : 0.0 sec. user=gd_barnes [2012-08-09 14:43:52] 803*2^1226074-1 is not prime. Res64: 60FE4B82B22C1C17 Time : 0.0 sec. user=mdettweiler [2012-08-09 14:49:33] 855*2^1226074-1 is not prime. Res64: F852DA6243E6A362 Time : 0.0 sec. user=mdettweiler [2012-08-09 14:50:40] 619*2^1226075-1 is not prime. Res64: EC64B6A92DC08E20 Time : 0.0 sec. user=mdettweiler [2012-08-09 14:50:40] 655*2^1226075-1 is not prime. Res64: CA562F725DB0EE55 Time : 0.0 sec. user=mdettweiler [2012-08-09 14:52:04] 663*2^1226075-1 is not prime. Res64: 2C85D2FE366096D3 Time : 0.0 sec. user=mdettweiler [2012-08-09 14:52:05] 699*2^1226075-1 is not prime. Res64: AB0EA4326A74AE94 Time : 0.0 sec. user=mdettweiler [2012-08-09 15:00:25] 887*2^1226074-1 is not prime. Res64: 674F31E25FD7F84B Time : 0.0 sec. user=vaughan [2012-08-09 15:11:07] 715*2^1226075-1 is not prime. Res64: 4DA0C4A8E717CD49 Time : 0.0 sec. user=mdettweiler [2012-08-09 15:11:32] 883*2^1226075-1 is not prime. Res64: 952F8E80484F400D Time : 0.0 sec. user=mdettweiler [2012-08-09 15:11:35] 885*2^1226075-1 is not prime. Res64: 9ADDA0A6BC528470 Time : 0.0 sec. user=mdettweiler [2012-08-09 15:12:57] 939*2^1226075-1 is not prime. Res64: 950C3AD135448EA6 Time : 0.0 sec. user=mdettweiler [2012-08-09 15:13:00] 759*2^1226076-1 is not prime. Res64: 6AFDA1AEEC8B60C4 Time : 0.0 sec. user=mdettweiler [2012-08-09 15:23:50] 823*2^1226075-1 is not prime. Res64: 57F68E9EE35D3AF1 Time : 0.0 sec. user=mdettweiler [2012-08-09 15:32:38] 927*2^1226076-1 is not prime. Res64: 33B3357D084F019A Time : 0.0 sec. user=mdettweiler [2012-08-09 15:32:38] 945*2^1226076-1 is not prime. Res64: 7E3443187E7BAAE9 Time : 0.0 sec. user=mdettweiler [2012-08-09 15:34:01] 789*2^1226076-1 is not prime. Res64: B80D8E03DAE163BA Time : 0.0 sec. user=mdettweiler [2012-08-09 15:34:04] 975*2^1226076-1 is not prime. Res64: 54EC40DE7234936A Time : 0.0 sec. user=mdettweiler [2012-08-09 15:34:04] 619*2^1226077-1 is not prime. Res64: CC7C21CBAEEC5FC2 Time : 0.0 sec. user=vaughan [2012-08-09 15:48:41] 873*2^1226076-1 is not prime. Res64: 2419685BEDD434EA Time : 0.0 sec. user=mdettweiler [2012-08-09 15:53:41] 741*2^1226077-1 is not prime. Res64: 6B966628589CB3E2 Time : 0.0 sec. user=mdettweiler [2012-08-09 15:53:41] 771*2^1226077-1 is not prime. Res64: 1EABCB5166F088B5 Time : 0.0 sec. user=mdettweiler [2012-08-09 15:55:06] 931*2^1226077-1 is not prime. Res64: 7819429CBF5C597F Time : 0.0 sec. user=mdettweiler [2012-08-09 15:55:07] 999*2^1226077-1 is not prime. Res64: 24C59E0CB787A75E Time : 0.0 sec. user=mdettweiler [2012-08-09 16:00:36] 685*2^1226077-1 is not prime. Res64: 73D006362B9AA76C Time : 0.0 sec. user=mdettweiler [2012-08-09 16:06:31] 915*2^1226077-1 is not prime. Res64: C1799CDD14301AA7 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:14:54] 897*2^1226078-1 is not prime. Res64: 1BD18E19A55868E6 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:14:57] 945*2^1226078-1 is not prime. Res64: E2DFEBE5D0B809C9 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:16:18] 993*2^1226078-1 is not prime. Res64: 603F42B1AC969B19 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:16:23] 609*2^1226079-1 is not prime. Res64: DEF855EB1EEC78D6 Time : 0.0 sec. user=vaughan [2012-08-09 16:29:37] 645*2^1226078-1 is not prime. Res64: 129C7907EF587982 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:35:14] 789*2^1226079-1 is not prime. Res64: 3EE3BD0F31AAE999 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:37:03] 861*2^1226079-1 is not prime. Res64: 26A44589A69CDE39 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:37:03] 895*2^1226079-1 is not prime. Res64: 4B394E583800EDDE Time : 0.0 sec. user=mdettweiler [2012-08-09 16:37:36] 825*2^1226080-1 is not prime. Res64: D88B7CEFD0F811D2 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:37:37] 857*2^1226080-1 is not prime. Res64: CCF6F8F73D2A8260 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:40:44] 825*2^1226079-1 is not prime. Res64: 12B21F7A9BE90C54 Time : 0.0 sec. user=gd_barnes [2012-08-09 16:41:00] 777*2^1226080-1 is not prime. Res64: AF55BB744462CA4B Time : 0.0 sec. user=gd_barnes [2012-08-09 16:46:47] 803*2^1226080-1 is not prime. Res64: B00EF0ACBE155FBD Time : 0.0 sec. user=mdettweiler [2012-08-09 16:58:14] 933*2^1226080-1 is not prime. Res64: BDD19065F943AFE1 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:58:14] 675*2^1226081-1 is not prime. Res64: 61A4393A4224C163 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:58:46] 727*2^1226081-1 is not prime. Res64: AB67381F70CFCA36 Time : 0.0 sec. user=mdettweiler [2012-08-09 16:58:46] 775*2^1226081-1 is not prime. Res64: D3421FE4E155528F Time : 0.0 sec. user=vaughan [2012-08-09 17:07:17] 887*2^1226080-1 is not prime. Res64: 26F58955D6B9EC15 Time : 0.0 sec. user=mdettweiler [2012-08-09 17:07:49] 927*2^1226080-1 is not prime. Res64: 593859676753FE15 Time : 0.0 sec. user=mdettweiler [2012-08-09 17:18:13] 795*2^1226081-1 is not prime. Res64: 8FFCAD3A19CB19D2 Time : 0.0 sec. user=mdettweiler [2012-08-09 17:19:25] 885*2^1226081-1 is not prime. Res64: EFBA9542D3A02C81 Time : 0.0 sec. user=mdettweiler [2012-08-09 17:19:25] 665*2^1226082-1 is not prime. Res64: C14A03E68C32DBFF Time : 0.0 sec. user=mdettweiler [2012-08-09 17:19:57] 711*2^1226082-1 is not prime. Res64: 822109287E62AE4E Time : 0.0 sec. user=mdettweiler [2012-08-09 17:19:57] 951*2^1226082-1 is not prime. Res64: D9AD15F899F14413 Time : 0.0 sec. user=gd_barnes [2012-08-09 17:36:43] 675*2^1226083-1 is not prime. Res64: F705510D5F319C8B Time : 0.0 sec. user=mdettweiler [2012-08-09 17:40:34] 945*2^1226083-1 is not prime. Res64: 03412C0E906786C6 Time : 0.0 sec. user=mdettweiler [2012-08-09 17:40:35] 785*2^1226084-1 is not prime. Res64: 8E9CC0AA49814CB1 Time : 0.0 sec. user=mdettweiler [2012-08-09 17:41:07] 843*2^1226084-1 is not prime. Res64: 53D6F123DD6E63B9 Time : 0.0 sec. user=mdettweiler [2012-08-09 17:41:07] 935*2^1226084-1 is not prime. Res64: 7EBF53C8307A99DA Time : 0.0 sec. user=mdettweiler [2012-08-09 17:42:52] 913*2^1226083-1 is not prime. Res64: 8F80909EDC32B97D Time : 0.0 sec. user=vaughan [2012-08-09 17:44:43] 885*2^1226083-1 is not prime. Res64: 83F770341E141B43 Time : 0.0 sec. user=mdettweiler [2012-08-09 17:55:39] 915*2^1226083-1 is not prime. Res64: F0196F1323B6A9C8 Time : 0.0 sec. user=mdettweiler [2012-08-09 18:01:46] 649*2^1226085-1 is not prime. Res64: 0A5101D7C3212BD1 Time : 0.0 sec. user=mdettweiler [2012-08-09 18:01:46] 709*2^1226085-1 is not prime. Res64: 2C66C4F52A307F12 Time : 0.0 sec. user=mdettweiler [2012-08-09 18:02:17] 817*2^1226085-1 is not prime. Res64: 0ED92125A2B31DD9 Time : 0.0 sec. user=mdettweiler [2012-08-09 18:02:18] 885*2^1226085-1 is not prime. Res64: B4A8276024542000 Time : 0.0 sec. user=vaughan [2012-08-09 18:22:06] 937*2^1226085-1 is not prime. Res64: 2FA59A7B89D65E6C Time : 0.0 sec. user=mdettweiler [2012-08-09 18:22:58] 743*2^1226086-1 is not prime. Res64: F5296EF4407DC93F Time : 0.0 sec. user=mdettweiler [2012-08-09 18:22:59] 947*2^1226086-1 is not prime. Res64: EC78FA66E85F5ED6 Time : 0.0 sec. user=mdettweiler [2012-08-09 18:23:29] 603*2^1226087-1 is not prime. Res64: 441D30D1DCC03B74 Time : 0.0 sec. user=mdettweiler [2012-08-09 18:23:30] 673*2^1226087-1 is not prime. Res64: 2A3912BEEABD0D43 Time : 0.0 sec. user=mdettweiler [2012-08-09 18:24:24] 921*2^1226085-1 is not prime. Res64: A1DC11136D8BA442 Time : 0.0 sec. user=mdettweiler [2012-08-09 18:37:13] 999*2^1226085-1 is not prime. Res64: 11B53A4997D81D78 Time : 0.0 sec. user=mdettweiler [2012-08-09 18:44:10] 735*2^1226087-1 is not prime. Res64: A8F4F79B39B06020 Time : 0.0 sec. user=mdettweiler [2012-08-09 18:44:10] 739*2^1226087-1 is not prime. Res64: 68168B26AFCC9C7D Time : 0.0 sec. user=mdettweiler [2012-08-09 18:44:45] 813*2^1226087-1 is not prime. Res64: 448968116B3DEEDA Time : 0.0 sec. user=mdettweiler [2012-08-09 18:44:45] 861*2^1226087-1 is not prime. Res64: 2BAAF2AFCAF131DB Time : 0.0 sec. user=vaughan [2012-08-09 18:59:30] 675*2^1226087-1 is not prime. Res64: F0A6392FA20677DC Time : 0.0 sec. user=mdettweiler [2012-08-09 19:00:22] 879*2^1226087-1 is not prime. Res64: D7DB673F8FA57151 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:05:21] 945*2^1226087-1 is not prime. Res64: 792A4F82ABB78A58 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:05:24] 999*2^1226087-1 is not prime. Res64: 5D29A737D97B33B6 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:05:57] 887*2^1226088-1 is not prime. Res64: FF09ECC5ACBBC7E2 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:05:58] 933*2^1226088-1 is not prime. Res64: 07A3982012A46954 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:16:54] 909*2^1226087-1 is not prime. Res64: BD419270A4DE3C5F Time : 0.0 sec. user=mdettweiler [2012-08-09 19:26:33] 661*2^1226089-1 is not prime. Res64: F5464B52B5B84FE3 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:26:34] 741*2^1226089-1 is not prime. Res64: B458277BFA1195F1 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:27:05] 769*2^1226089-1 is not prime. Res64: 718BB7FBF1190627 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:27:05] 945*2^1226089-1 is not prime. Res64: 73BE1EA543E58F08 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:36:22] 625*2^1226089-1 is not prime. Res64: 16AACA21A84DC85C Time : 0.0 sec. user=vaughan [2012-08-09 19:36:54] 601*2^1226089-1 is not prime. Res64: 6A0E56C9226BB361 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:47:10] 791*2^1226090-1 is not prime. Res64: 719444EE21B5A2A5 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:47:11] 621*2^1226091-1 is not prime. Res64: 70B438E0F461A573 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:47:41] 735*2^1226091-1 is not prime. Res64: 6A5412202EF7E4CB Time : 0.0 sec. user=mdettweiler [2012-08-09 19:47:42] 769*2^1226091-1 is not prime. Res64: A5F2E93E0E419712 Time : 0.0 sec. user=mdettweiler [2012-08-09 19:53:52] 955*2^1226089-1 is not prime. Res64: 067A984D8068DF50 Time : 0.0 sec. user=mdettweiler [2012-08-09 20:07:47] 759*2^1226092-1 is not prime. Res64: 4692026D893A8316 Time : 0.0 sec. user=mdettweiler [2012-08-09 20:07:50] 869*2^1226092-1 is not prime. Res64: 5AE412AA4003A05F Time : 0.0 sec. user=mdettweiler [2012-08-09 20:08:17] 915*2^1226092-1 is not prime. Res64: E5432CF3175162E7 Time : 0.0 sec. user=mdettweiler [2012-08-09 20:08:18] 923*2^1226092-1 is not prime. Res64: 6E0F33A954A1E085 Time : 0.0 sec. user=mdettweiler [2012-08-09 20:10:00] 823*2^1226091-1 is not prime. Res64: A0234E6BAFFDA33C Time : 0.0 sec. user=vaughan [2012-08-09 20:14:20] 719*2^1226092-1 is not prime. Res64: 97415C5F18748CBB Time : 0.0 sec. user=mdettweiler [2012-08-09 20:28:29] 951*2^1226093-1 is not prime. Res64: 2CC30C0986150C85 Time : 0.0 sec. user=mdettweiler [2012-08-09 20:28:31] 887*2^1226094-1 is not prime. Res64: D6EBE4293F540FFA Time : 0.0 sec. user=mdettweiler [2012-08-09 20:28:53] 891*2^1226094-1 is not prime. Res64: A72BC23602BE3464 Time : 0.0 sec. user=mdettweiler [2012-08-09 20:28:54] 625*2^1226095-1 is not prime. Res64: A5000EEBE5FC2BC5 Time : 0.0 sec. user=mdettweiler [2012-08-09 20:31:54] 759*2^1226093-1 is not prime. Res64: DB06FF3451FE20DA Time : 0.0 sec. user=gd_barnes [2012-08-09 20:38:23] 871*2^1226093-1 is not prime. Res64: 0FEACC12D8A40408 Time : 0.0 sec. user=mdettweiler [2012-08-09 20:47:09] 679*2^1226095-1 is not prime. Res64: BE215A152519436D Time : 0.0 sec. user=mdettweiler [2012-08-09 20:49:11] 919*2^1226095-1 is not prime. Res64: 219CCC7F3D448A23 Time : 0.0 sec. user=mdettweiler [2012-08-09 20:49:11] 925*2^1226095-1 is not prime. Res64: 6278ADAD682AD81C Time : 0.0 sec. user=mdettweiler [2012-08-09 20:49:30] 943*2^1226095-1 is not prime. Res64: 2D246569A857D350 Time : 0.0 sec. user=mdettweiler [2012-08-09 20:49:31] 961*2^1226095-1 is not prime. Res64: 8D450C7326F2EA80 Time : 0.0 sec. user=vaughan [2012-08-09 20:51:44] 859*2^1226095-1 is not prime. Res64: 56DB96E21CE4F574 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:07:08] 717*2^1226096-1 is not prime. Res64: 440E4B9E0B6613BB Time : 0.0 sec. user=mdettweiler [2012-08-09 21:09:45] 767*2^1226096-1 is not prime. Res64: CDE58DEB1BE1D761 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:09:48] 857*2^1226096-1 is not prime. Res64: D33F5BE0D745721C Time : 0.0 sec. user=mdettweiler [2012-08-09 21:10:06] 935*2^1226096-1 is not prime. Res64: 7C0CF57A153812C2 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:10:07] 615*2^1226097-1 is not prime. Res64: 5B29758C0D491064 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:23:06] 735*2^1226096-1 is not prime. Res64: 260A7A7354E63E83 Time : 0.0 sec. user=vaughan [2012-08-09 21:29:08] 625*2^1226097-1 is not prime. Res64: E1D4EC0EC96EC23C Time : 0.0 sec. user=mdettweiler [2012-08-09 21:30:25] 901*2^1226097-1 is not prime. Res64: 2F9008562AD1DCE1 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:30:26] 919*2^1226097-1 is not prime. Res64: 80F1EEC489AAE878 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:30:48] 937*2^1226097-1 is not prime. Res64: EB371A51E279E9F7 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:30:49] 945*2^1226097-1 is not prime. Res64: 0C40CCDB9E7101F7 Time : 0.0 sec. user=gd_barnes [2012-08-09 21:39:24] 807*2^1226097-1 is not prime. Res64: 84CC1C1B5C758707 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:43:04] 805*2^1226097-1 is not prime. Res64: 3D981756D16E356F Time : 0.0 sec. user=mdettweiler [2012-08-09 21:51:00] 633*2^1226098-1 is not prime. Res64: 5967E32D5A2B6DC2 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:51:01] 635*2^1226098-1 is not prime. Res64: CF2DD90EE3EF4079 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:51:26] 665*2^1226098-1 is not prime. Res64: 23EA88A1E5CAE1D8 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:51:27] 681*2^1226098-1 is not prime. Res64: D2C51F510C337CE8 Time : 0.0 sec. user=mdettweiler [2012-08-09 21:59:06] 999*2^1226097-1 is not prime. Res64: B9BA03849CECB2BA Time : 0.0 sec. user=vaughan [2012-08-09 22:06:33] 611*2^1226098-1 is not prime. Res64: 93D778775AD34054 Time : 0.0 sec. user=mdettweiler [2012-08-09 22:11:55] 619*2^1226099-1 is not prime. Res64: 7C5346686255985F Time : 0.0 sec. user=mdettweiler [2012-08-09 22:11:57] 621*2^1226099-1 is not prime. Res64: E51F8F0748426676 Time : 0.0 sec. user=mdettweiler [2012-08-09 22:12:20] 675*2^1226099-1 is not prime. Res64: A7AB053D2ACDE3D3 Time : 0.0 sec. user=mdettweiler [2012-08-09 22:12:23] 813*2^1226099-1 is not prime. Res64: D2A3B12D29D6621F Time : 0.0 sec. user=mdettweiler [2012-08-09 22:18:06] 945*2^1226098-1 is not prime. Res64: 4F98BA1B5C724D89 Time : 0.0 sec. user=mdettweiler [2012-08-09 22:32:38] 675*2^1226100-1 is not prime. Res64: 21FB66ED4BD4793A Time : 0.0 sec. user=mdettweiler [2012-08-09 22:32:38] 693*2^1226100-1 is not prime. Res64: F3F12481074846BA Time : 0.0 sec. user=mdettweiler [2012-08-09 22:33:04] 707*2^1226100-1 is not prime. Res64: 130295132981E4AB Time : 0.0 sec. user=mdettweiler [2012-08-09 22:33:05] 803*2^1226100-1 is not prime. Res64: 5B068C3B3B169B1E Time : 0.0 sec. user=mdettweiler [2012-08-09 22:42:44] 843*2^1226099-1 is not prime. Res64: 22EF4028B09C88F3 Time : 0.0 sec. user=vaughan [2012-08-09 22:44:04] 909*2^1226099-1 is not prime. Res64: CA65487FA4EA88A1 Time : 0.0 sec. user=mdettweiler [2012-08-09 22:53:13] 923*2^1226100-1 is not prime. Res64: EBD4A7968C58DEF8 Time : 0.0 sec. user=mdettweiler [2012-08-09 22:53:13] 615*2^1226101-1 is not prime. Res64: 1DAD5D475DE0CFD2 Time : 0.0 sec. user=mdettweiler [2012-08-09 22:53:40] 871*2^1226101-1 is not prime. Res64: 58817493AB236992 Time : 0.0 sec. user=mdettweiler [2012-08-09 22:53:41] 931*2^1226101-1 is not prime. Res64: 548AEC6DE31D0805 Time : 0.0 sec. user=mdettweiler [2012-08-09 23:00:58] 909*2^1226100-1 is not prime. Res64: 39564947CF08DF99 Time : 0.0 sec. user=mdettweiler [2012-08-09 23:13:48] 705*2^1226102-1 is not prime. Res64: 02E0E5A5E2E2B445 Time : 0.0 sec. user=mdettweiler [2012-08-09 23:13:51] 827*2^1226102-1 is not prime. Res64: 01D31BC2AB73B52D Time : 0.0 sec. user=mdettweiler [2012-08-09 23:14:16] 873*2^1226102-1 is not prime. Res64: 24F568DD41B11E1D Time : 0.0 sec. user=mdettweiler [2012-08-09 23:14:17] 921*2^1226102-1 is not prime. Res64: 0944BB1137DD9CD1 Time : 0.0 sec. user=vaughan [2012-08-09 23:21:29] 683*2^1226102-1 is not prime. Res64: EBFF9003A5BC768F Time : 0.0 sec. user=mdettweiler [2012-08-09 23:28:55] 665*2^1226102-1 is not prime. Res64: 04F8E1BECF054252 Time : 0.0 sec. user=mdettweiler [2012-08-09 23:34:35] 781*2^1226103-1 is not prime. Res64: A5336CE3582B22AF Time : 0.0 sec. user=mdettweiler [2012-08-09 23:34:35] 943*2^1226103-1 is not prime. Res64: 339B8F59C11F6F09 Time : 0.0 sec. user=mdettweiler [2012-08-09 23:35:01] 623*2^1226104-1 is not prime. Res64: 91B20CE9BB4C65C2 Time : 0.0 sec. user=mdettweiler [2012-08-09 23:35:02] 675*2^1226104-1 is not prime. Res64: 28C60E80672EDD00 Time : 0.0 sec. user=mdettweiler [2012-08-09 23:37:18] 735*2^1226103-1 is not prime. Res64: 6C4C4D2EB0224B5C Time : 0.0 sec. user=mdettweiler [2012-08-09 23:55:10] 657*2^1226105-1 is not prime. Res64: 321611525769F375 Time : 0.0 sec. user=mdettweiler [2012-08-09 23:55:11] 787*2^1226105-1 is not prime. Res64: 880A4EE5421AC4D6 Time : 0.0 sec. user=mdettweiler [2012-08-09 23:55:37] 837*2^1226105-1 is not prime. Res64: 8C07B2ADFF2778A8 Time : 0.0 sec. user=mdettweiler [2012-08-09 23:55:37] 865*2^1226105-1 is not prime. Res64: 3C40B9F236A52EDE Time : 0.0 sec. user=vaughan [2012-08-09 23:58:52] 693*2^1226104-1 is not prime. Res64: 34E6AD90B0C864D8 Time : 0.0 sec.