user=mdettweiler [2013-01-01 00:03:11] 901*2^1238417-1 is not prime. Res64: C3DBB5F6789B64BF Time : 0.0 sec. user=mdettweiler [2013-01-01 00:03:13] 981*2^1238417-1 is not prime. Res64: 93E0723F873F088A Time : 0.0 sec. user=mdettweiler [2013-01-01 00:03:14] 991*2^1238417-1 is not prime. Res64: A1B2D60AD369DAF0 Time : 0.0 sec. user=mdettweiler [2013-01-01 00:03:15] 633*2^1238418-1 is not prime. Res64: C17AEE59AB1DA309 Time : 0.0 sec. user=mdettweiler [2013-01-01 00:20:49] 797*2^1238418-1 is not prime. Res64: E345861365A161C3 Time : 0.0 sec. user=mdettweiler [2013-01-01 00:20:49] 803*2^1238418-1 is not prime. Res64: 2A9AB4CEA17C2693 Time : 0.0 sec. user=mdettweiler [2013-01-01 00:20:50] 885*2^1238418-1 is not prime. Res64: C539E34C8AC7D231 Time : 0.0 sec. user=mdettweiler [2013-01-01 00:20:51] 921*2^1238418-1 is not prime. Res64: BF320C8848836DC4 Time : 0.0 sec. user=vaughan [2013-01-01 00:28:21] 677*2^1238418-1 is not prime. Res64: 282F7471A0E6FA8D Time : 0.0 sec. user=mdettweiler [2013-01-01 00:38:18] 1001*2^1238418-1 is not prime. Res64: 143A96AE1FFFD7E3 Time : 0.0 sec. user=mdettweiler [2013-01-01 00:38:19] 603*2^1238419-1 is not prime. Res64: AC2842E9A0E18FCE Time : 0.0 sec. user=mdettweiler [2013-01-01 00:38:20] 619*2^1238419-1 is not prime. Res64: C9A3E3CF0E9C6D01 Time : 0.0 sec. user=mdettweiler [2013-01-01 00:38:20] 645*2^1238419-1 is not prime. Res64: 2FCF0243F1D07498 Time : 0.0 sec. user=mdettweiler [2013-01-01 00:55:45] 961*2^1238419-1 is not prime. Res64: 5810B43033639ECB Time : 0.0 sec. user=mdettweiler [2013-01-01 00:55:45] 665*2^1238420-1 is not prime. Res64: 21535F1D7CBFD63C Time : 0.0 sec. user=mdettweiler [2013-01-01 00:55:46] 813*2^1238420-1 is not prime. Res64: ACC597DBD9996705 Time : 0.0 sec. user=mdettweiler [2013-01-01 00:55:46] 875*2^1238420-1 is not prime. Res64: 70C965159FCF9C5A Time : 0.0 sec. user=vaughan [2013-01-01 01:06:06] 793*2^1238419-1 is not prime. Res64: CF727A4398CB30A8 Time : 0.0 sec. user=mdettweiler [2013-01-01 01:13:11] 885*2^1238420-1 is not prime. Res64: 9BCF0FF5C9E6CCE7 Time : 0.0 sec. user=mdettweiler [2013-01-01 01:13:12] 945*2^1238420-1 is not prime. Res64: 0EDA8DDF18C714B1 Time : 0.0 sec. user=mdettweiler [2013-01-01 01:13:12] 983*2^1238420-1 is not prime. Res64: 980AA24EB1B79571 Time : 0.0 sec. user=mdettweiler [2013-01-01 01:13:14] 627*2^1238421-1 is not prime. Res64: 5D23AD8B3A2180C2 Time : 0.0 sec. user=mdettweiler [2013-01-01 01:30:43] 955*2^1238421-1 is not prime. Res64: 787B5C2A0BBE35A8 Time : 0.0 sec. user=mdettweiler [2013-01-01 01:30:43] 961*2^1238421-1 is not prime. Res64: 4B3AD9CA716A2D5B Time : 0.0 sec. user=mdettweiler [2013-01-01 01:30:45] 713*2^1238422-1 is not prime. Res64: 239DC0D583C84EE2 Time : 0.0 sec. user=mdettweiler [2013-01-01 01:30:45] 723*2^1238422-1 is not prime. Res64: A0998BAF20D402AB Time : 0.0 sec. user=vaughan [2013-01-01 01:43:57] 817*2^1238421-1 is not prime. Res64: E2BC8DF8A5D47AE4 Time : 0.0 sec. user=mdettweiler [2013-01-01 01:48:10] 743*2^1238422-1 is not prime. Res64: C560B183948F001E Time : 0.0 sec. user=mdettweiler [2013-01-01 01:48:11] 765*2^1238422-1 is not prime. Res64: B05A2F27343DE689 Time : 0.0 sec. user=mdettweiler [2013-01-01 01:48:11] 761*2^1238422-1 is not prime. Res64: 07229EAC14C68BEF Time : 0.0 sec. user=mdettweiler [2013-01-01 01:48:11] 885*2^1238422-1 is not prime. Res64: B04BAFCDD08EAA96 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:05:41] 805*2^1238423-1 is not prime. Res64: CAC39F4BCEB92A9B Time : 0.0 sec. user=mdettweiler [2013-01-01 02:05:43] 823*2^1238423-1 is not prime. Res64: E314126D6EE35256 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:05:43] 965*2^1238422-1 is not prime. Res64: ABA08B6F9A8460C1 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:05:43] 753*2^1238423-1 is not prime. Res64: 45DFB9C05AFF0B7E Time : 0.0 sec. user=vaughan [2013-01-01 02:21:42] 951*2^1238422-1 is not prime. Res64: FE67161069D4DC55 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:23:11] 879*2^1238423-1 is not prime. Res64: B8BF77E19CDFA3E3 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:23:11] 629*2^1238424-1 is not prime. Res64: EB7EA9A605493C5C Time : 0.0 sec. user=mdettweiler [2013-01-01 02:23:13] 699*2^1238424-1 is not prime. Res64: 265BC2ECE9B5A5E4 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:23:13] 705*2^1238424-1 is not prime. Res64: 794C0AA802815529 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:40:35] 861*2^1238425-1 is not prime. Res64: 498E7BE0D5FDC780 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:40:36] 871*2^1238425-1 is not prime. Res64: D8DED8C334DA5326 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:40:36] 877*2^1238425-1 is not prime. Res64: D476E8B4C1BB5EC9 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:40:37] 951*2^1238425-1 is not prime. Res64: F300832E6BC086BC Time : 0.0 sec. user=mdettweiler [2013-01-01 02:58:22] 743*2^1238426-1 is not prime. Res64: 0A58D5B8CF1D8613 Time : 0.0 sec. user=mdettweiler [2013-01-01 02:58:22] 999*2^1238425-1 is not prime. Res64: 65244157F64B4174 Time : 0.0 sec. user=vaughan [2013-01-01 03:02:57] 719*2^1238424-1 is not prime. Res64: DAD28B59E6D7CB0D Time : 0.0 sec. user=mdettweiler [2013-01-01 03:23:25] 705*2^1238426-1 is not prime. Res64: 18399D9F14DA488B Time : 0.0 sec. user=mdettweiler [2013-01-01 03:23:27] 837*2^1238426-1 is not prime. Res64: A03EAE8180355558 Time : 0.0 sec. user=gd_barnes [2013-01-01 03:28:28] 685*2^1238427-1 is not prime. Res64: 2635BF9225F4CED3 Time : 0.0 sec. user=gd_barnes [2013-01-01 03:33:49] 923*2^1238426-1 is not prime. Res64: 9660FB3836338B45 Time : 0.0 sec. user=gd_barnes [2013-01-01 03:33:56] 945*2^1238426-1 is not prime. Res64: F8A6394712DBD01B Time : 0.0 sec. user=gd_barnes [2013-01-01 03:34:02] 887*2^1238426-1 is not prime. Res64: E84FBDFE2BBC38D9 Time : 0.0 sec. user=vaughan [2013-01-01 03:40:48] 775*2^1238427-1 is not prime. Res64: 883F360C64C1D1D1 Time : 0.0 sec. user=mdettweiler [2013-01-01 03:40:52] 805*2^1238427-1 is not prime. Res64: EB429448036EFD08 Time : 0.0 sec. user=mdettweiler [2013-01-01 03:40:53] 823*2^1238427-1 is not prime. Res64: B2B0F93B57A64222 Time : 0.0 sec. user=mdettweiler [2013-01-01 03:40:54] 871*2^1238427-1 is not prime. Res64: AF25B7125E126D18 Time : 0.0 sec. user=mdettweiler [2013-01-01 03:40:55] 931*2^1238427-1 is not prime. Res64: 6432BF6E9255B66B Time : 0.0 sec. user=mdettweiler [2013-01-01 03:58:14] 923*2^1238428-1 is not prime. Res64: 95689B6662559156 Time : 0.0 sec. user=mdettweiler [2013-01-01 03:58:14] 989*2^1238428-1 is not prime. Res64: 2CAFC8B8B3669C3D Time : 0.0 sec. user=mdettweiler [2013-01-01 03:58:15] 987*2^1238428-1 is not prime. Res64: 5A81C0A07DE16BD7 Time : 0.0 sec. user=mdettweiler [2013-01-01 03:58:15] 601*2^1238429-1 is not prime. Res64: 56343C54C65A98CD Time : 0.0 sec. user=gd_barnes [2013-01-01 04:01:47] 963*2^1238427-1 is not prime. Res64: 93FAED8F83F89B37 Time : 0.0 sec. user=gd_barnes [2013-01-01 04:03:58] 677*2^1238428-1 is not prime. Res64: DF397F1A65D4AA7E Time : 0.0 sec. user=mdettweiler [2013-01-01 04:15:34] 691*2^1238429-1 is not prime. Res64: 4524370E8672B98A Time : 0.0 sec. user=mdettweiler [2013-01-01 04:15:35] 741*2^1238429-1 is not prime. Res64: A3EF059209FC9AC4 Time : 0.0 sec. user=mdettweiler [2013-01-01 04:15:37] 819*2^1238429-1 is not prime. Res64: 690D022631E1DA8A Time : 0.0 sec. user=mdettweiler [2013-01-01 04:15:38] 829*2^1238429-1 is not prime. Res64: 8FC42A494AB92A9C Time : 0.0 sec. user=vaughan [2013-01-01 04:18:41] 863*2^1238428-1 is not prime. Res64: 2978F0FDC56F5DD8 Time : 0.0 sec. user=mdettweiler [2013-01-01 04:33:11] 867*2^1238429-1 is not prime. Res64: 4F6AF7F9FB455DAF Time : 0.0 sec. user=mdettweiler [2013-01-01 04:33:13] 879*2^1238429-1 is not prime. Res64: E9E7FDCED80B161F Time : 0.0 sec. user=mdettweiler [2013-01-01 04:33:13] 889*2^1238429-1 is not prime. Res64: F0398EFFC1BAC1A7 Time : 0.0 sec. user=mdettweiler [2013-01-01 04:33:14] 747*2^1238430-1 is not prime. Res64: 8B00A30DF0F7F0A9 Time : 0.0 sec. user=mdettweiler [2013-01-01 04:50:41] 761*2^1238430-1 is not prime. Res64: EA9E930FC4D28C4B Time : 0.0 sec. user=mdettweiler [2013-01-01 04:50:41] 891*2^1238430-1 is not prime. Res64: 3E3058554737AB03 Time : 0.0 sec. user=mdettweiler [2013-01-01 04:50:43] 741*2^1238431-1 is not prime. Res64: 1CCF8C1E2AE7FA35 Time : 0.0 sec. user=mdettweiler [2013-01-01 04:50:43] 745*2^1238431-1 is not prime. Res64: E01D45CF997F14D1 Time : 0.0 sec. user=vaughan [2013-01-01 04:56:29] 755*2^1238430-1 is not prime. Res64: 9893906EA812310D Time : 0.0 sec. user=mdettweiler [2013-01-01 05:08:03] 769*2^1238431-1 is not prime. Res64: 23556FC93241A2EC Time : 0.0 sec. user=mdettweiler [2013-01-01 05:08:04] 855*2^1238431-1 is not prime. Res64: 329293101704B3D1 Time : 0.0 sec. user=mdettweiler [2013-01-01 05:08:08] 783*2^1238431-1 is not prime. Res64: A764858AC3B0EBF7 Time : 0.0 sec. user=mdettweiler [2013-01-01 05:08:10] 859*2^1238431-1 is not prime. Res64: 4B5A1E892CE6B63A Time : 0.0 sec. user=mdettweiler [2013-01-01 05:25:47] 603*2^1238432-1 is not prime. Res64: 5D6093F033318752 Time : 0.0 sec. user=mdettweiler [2013-01-01 05:25:47] 669*2^1238432-1 is not prime. Res64: 36958DC114C2BD69 Time : 0.0 sec. user=mdettweiler [2013-01-01 05:25:49] 797*2^1238432-1 is not prime. Res64: B65753DF4C70D9F8 Time : 0.0 sec. user=mdettweiler [2013-01-01 05:25:50] 803*2^1238432-1 is not prime. Res64: E10DC9B31115E1E5 Time : 0.0 sec. user=vaughan [2013-01-01 05:34:17] 993*2^1238431-1 is not prime. Res64: 267492B3D6D60404 Time : 0.0 sec. user=mdettweiler [2013-01-01 05:43:07] 855*2^1238432-1 is not prime. Res64: 8C3FF052A2B4AADE Time : 0.0 sec. user=mdettweiler [2013-01-01 05:43:07] 873*2^1238432-1 is not prime. Res64: C6DE7220AF2DCC41 Time : 0.0 sec. user=mdettweiler [2013-01-01 05:43:09] 963*2^1238432-1 is not prime. Res64: 340B7AB7D62B8356 Time : 0.0 sec. user=mdettweiler [2013-01-01 05:43:09] 649*2^1238433-1 is not prime. Res64: 840D796FEBB6DD44 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:00:26] 759*2^1238433-1 is not prime. Res64: 144D8162CBD6CCAC Time : 0.0 sec. user=mdettweiler [2013-01-01 06:00:27] 781*2^1238433-1 is not prime. Res64: EBEA48241F3A4A28 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:00:29] 817*2^1238433-1 is not prime. Res64: 6FF972C91A0274A8 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:00:30] 871*2^1238433-1 is not prime. Res64: F8890467A6E1C962 Time : 0.0 sec. user=vaughan [2013-01-01 06:12:04] 727*2^1238433-1 is not prime. Res64: 7A84F6ABD1F710C0 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:17:51] 915*2^1238433-1 is not prime. Res64: 84A97F0BE874E4A7 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:17:52] 949*2^1238433-1 is not prime. Res64: DAA2F64242C31526 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:17:53] 951*2^1238433-1 is not prime. Res64: D5BBE1CD485EEFD8 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:17:54] 657*2^1238434-1 is not prime. Res64: A1B4701EDD4DCDD1 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:35:11] 815*2^1238434-1 is not prime. Res64: 4B6930A99E694607 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:35:12] 857*2^1238434-1 is not prime. Res64: 8CC1171CDDE137D5 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:35:14] 923*2^1238434-1 is not prime. Res64: 540B14D653D86AD6 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:35:15] 957*2^1238434-1 is not prime. Res64: A183E324089248AD Time : 0.0 sec. user=vaughan [2013-01-01 06:49:52] 665*2^1238434-1 is not prime. Res64: 44FF4B0BB86DEE29 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:52:31] 1001*2^1238434-1 is not prime. Res64: 0B5F4D1A6F8F0E06 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:52:31] 649*2^1238435-1 is not prime. Res64: A879F4E0C569FB6F Time : 0.0 sec. user=mdettweiler [2013-01-01 06:52:33] 889*2^1238435-1 is not prime. Res64: 64EC373C66F56BB6 Time : 0.0 sec. user=mdettweiler [2013-01-01 06:52:34] 985*2^1238435-1 is not prime. Res64: 60CBF3B2B0076D93 Time : 0.0 sec. user=mdettweiler [2013-01-01 07:09:51] 707*2^1238436-1 is not prime. Res64: 037D13E5D4ADF104 Time : 0.0 sec. user=mdettweiler [2013-01-01 07:09:53] 809*2^1238436-1 is not prime. Res64: EE6440004CAFB468 Time : 0.0 sec. user=mdettweiler [2013-01-01 07:09:55] 843*2^1238436-1 is not prime. Res64: 081D7C72FA1EB44E Time : 0.0 sec. user=mdettweiler [2013-01-01 07:09:56] 903*2^1238436-1 is not prime. Res64: 098653B46E5A95CF Time : 0.0 sec. user=mdettweiler [2013-01-01 07:27:29] 947*2^1238436-1 is not prime. Res64: 717A58C4179713E5 Time : 0.0 sec. user=mdettweiler [2013-01-01 07:27:30] 975*2^1238436-1 is not prime. Res64: D97D6D42A6E95C15 Time : 0.0 sec. user=mdettweiler [2013-01-01 07:27:31] 625*2^1238437-1 is not prime. Res64: A298AF2F326C4CD4 Time : 0.0 sec. user=mdettweiler [2013-01-01 07:27:33] 639*2^1238437-1 is not prime. Res64: A4485DEB9AD3D792 Time : 0.0 sec. user=vaughan [2013-01-01 07:27:40] 657*2^1238436-1 is not prime. Res64: B6175108D5A3BE08 Time : 0.0 sec. user=mdettweiler [2013-01-01 07:44:59] 729*2^1238437-1 is not prime. Res64: BB05A7DACBA9AC39 Time : 0.0 sec. user=mdettweiler [2013-01-01 07:45:00] 741*2^1238437-1 is not prime. Res64: BE93F6B60DEA0FB4 Time : 0.0 sec. user=mdettweiler [2013-01-01 07:45:01] 777*2^1238437-1 is not prime. Res64: 37531A9B78EA5C2C Time : 0.0 sec. user=mdettweiler [2013-01-01 07:45:01] 835*2^1238437-1 is not prime. Res64: 3335FDD69BDC89BA Time : 0.0 sec. user=mdettweiler [2013-01-01 08:02:19] 743*2^1238438-1 is not prime. Res64: E80667E04E053DF7 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:02:20] 1001*2^1238438-1 is not prime. Res64: F596E3E80320862A Time : 0.0 sec. user=mdettweiler [2013-01-01 08:02:20] 987*2^1238438-1 is not prime. Res64: 0B2F6B4117631C71 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:02:21] 685*2^1238439-1 is not prime. Res64: 0E5825ADE3153493 Time : 0.0 sec. user=vaughan [2013-01-01 08:05:29] 885*2^1238437-1 is not prime. Res64: 2E0D795C11A8DDE0 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:19:45] 741*2^1238439-1 is not prime. Res64: 1E1ED86D48595AF5 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:19:45] 693*2^1238439-1 is not prime. Res64: 108D6F9742B9BD4C Time : 0.0 sec. user=mdettweiler [2013-01-01 08:19:46] 949*2^1238439-1 is not prime. Res64: F8C4CB9A46B9C9E1 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:19:46] 735*2^1238439-1 is not prime. Res64: 0725467CB01D6650 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:37:05] 605*2^1238440-1 is not prime. Res64: 9FFE8FA75547C368 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:37:05] 635*2^1238440-1 is not prime. Res64: 4BDAFAE8FAFA46C1 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:37:06] 855*2^1238440-1 is not prime. Res64: B409CC9FF7EE5C86 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:37:06] 939*2^1238440-1 is not prime. Res64: 0846B403D26E1CF1 Time : 0.0 sec. user=vaughan [2013-01-01 08:43:22] 985*2^1238439-1 is not prime. Res64: 27135D6209E81B30 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:54:25] 601*2^1238441-1 is not prime. Res64: 826EE3E38A3A4551 Time : 0.0 sec. user=mdettweiler [2013-01-01 08:54:25] 829*2^1238441-1 is not prime. Res64: D41C659BDB5FC7DE Time : 0.0 sec. user=mdettweiler [2013-01-01 08:54:26] 657*2^1238441-1 is not prime. Res64: 9D56D6EF015943FE Time : 0.0 sec. user=mdettweiler [2013-01-01 08:54:26] 967*2^1238441-1 is not prime. Res64: F751BE120D5BC69D Time : 0.0 sec. user=mdettweiler [2013-01-01 09:11:45] 651*2^1238442-1 is not prime. Res64: 0687AFA5CAED051C Time : 0.0 sec. user=mdettweiler [2013-01-01 09:11:46] 833*2^1238442-1 is not prime. Res64: 928D72CC0BF41F74 Time : 0.0 sec. user=mdettweiler [2013-01-01 09:11:47] 797*2^1238442-1 is not prime. Res64: 90A356FF0F5B2EAA Time : 0.0 sec. user=mdettweiler [2013-01-01 09:11:48] 893*2^1238442-1 is not prime. Res64: 433C8928089F7266 Time : 0.0 sec. user=vaughan [2013-01-01 09:21:10] 627*2^1238442-1 is not prime. Res64: A1E3514106F2E8E4 Time : 0.0 sec. user=mdettweiler [2013-01-01 09:29:10] 621*2^1238443-1 is not prime. Res64: DA89AB7AF8D57E6C Time : 0.0 sec. user=mdettweiler [2013-01-01 09:29:11] 679*2^1238443-1 is not prime. Res64: C865399E16DF492C Time : 0.0 sec. user=mdettweiler [2013-01-01 09:29:12] 709*2^1238443-1 is not prime. Res64: E8BF75AA69FF435C Time : 0.0 sec. user=mdettweiler [2013-01-01 09:29:13] 751*2^1238443-1 is not prime. Res64: 7277B4B2C712D44F Time : 0.0 sec. user=mdettweiler [2013-01-01 09:46:37] 885*2^1238443-1 is not prime. Res64: EF1A6EE8D0E699C3 Time : 0.0 sec. user=mdettweiler [2013-01-01 09:46:37] 891*2^1238443-1 is not prime. Res64: 3B9A3679C4AE12DC Time : 0.0 sec. user=mdettweiler [2013-01-01 09:46:38] 819*2^1238443-1 is not prime. Res64: A53B5ACB2AD67866 Time : 0.0 sec. user=mdettweiler [2013-01-01 09:46:38] 901*2^1238443-1 is not prime. Res64: 0FDACA7224633878 Time : 0.0 sec. user=vaughan [2013-01-01 09:58:59] 769*2^1238443-1 is not prime. Res64: B80F9ED7FD5C2C34 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:03:57] 943*2^1238443-1 is not prime. Res64: 76937C64BD428656 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:03:57] 617*2^1238444-1 is not prime. Res64: 202ED3CA6276F361 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:03:58] 635*2^1238444-1 is not prime. Res64: 5B12997D85B759B9 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:04:00] 657*2^1238444-1 is not prime. Res64: AD79C2E8768244B7 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:21:18] 875*2^1238444-1 is not prime. Res64: E34D3D3F2E3361AD Time : 0.0 sec. user=mdettweiler [2013-01-01 10:21:19] 627*2^1238445-1 is not prime. Res64: 6FDFDBFA7CD5F0DC Time : 0.0 sec. user=mdettweiler [2013-01-01 10:21:19] 927*2^1238444-1 is not prime. Res64: FF4AE4D21B7E03BA Time : 0.0 sec. user=mdettweiler [2013-01-01 10:21:19] 655*2^1238445-1 is not prime. Res64: 8A57D867FA26B19D Time : 0.0 sec. user=vaughan [2013-01-01 10:37:02] 795*2^1238444-1 is not prime. Res64: D2E7AD2CB9F39DC4 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:38:39] 657*2^1238445-1 is not prime. Res64: 97FA87DAD5CBE1D1 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:38:39] 817*2^1238445-1 is not prime. Res64: D967546B52AD7ACA Time : 0.0 sec. user=mdettweiler [2013-01-01 10:38:40] 861*2^1238445-1 is not prime. Res64: 90B10E99E773C181 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:38:40] 889*2^1238445-1 is not prime. Res64: 0F7C55BEB2EC6F06 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:55:59] 741*2^1238446-1 is not prime. Res64: 155E036ACE009535 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:56:00] 971*2^1238446-1 is not prime. Res64: 7945471BF3349FC1 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:56:00] 843*2^1238446-1 is not prime. Res64: 2F6A2A2E04692910 Time : 0.0 sec. user=mdettweiler [2013-01-01 10:56:00] 981*2^1238446-1 is not prime. Res64: F4E80BC7C662B933 Time : 0.0 sec. user=mdettweiler [2013-01-01 11:13:19] 993*2^1238446-1 is not prime. Res64: 4924797EEFCC4525 Time : 0.0 sec. user=mdettweiler [2013-01-01 11:13:20] 729*2^1238447-1 is not prime. Res64: 2BA3C02BE5776CEC Time : 0.0 sec. user=mdettweiler [2013-01-01 11:13:21] 799*2^1238447-1 is not prime. Res64: 272BC571095558A8 Time : 0.0 sec. user=mdettweiler [2013-01-01 11:13:21] 805*2^1238447-1 is not prime. Res64: 032BF277DEC329B9 Time : 0.0 sec. user=vaughan [2013-01-01 11:14:49] 895*2^1238445-1 is not prime. Res64: 776768752DB2C917 Time : 0.0 sec. user=mdettweiler [2013-01-01 11:30:40] 879*2^1238447-1 is not prime. Res64: DD5659CFA21B689B Time : 0.0 sec. user=mdettweiler [2013-01-01 11:30:40] 885*2^1238447-1 is not prime. Res64: 8C603F2D8EB44E7C Time : 0.0 sec. user=mdettweiler [2013-01-01 11:30:42] 723*2^1238448-1 is not prime. Res64: 16F0409C7D6EBAD1 Time : 0.0 sec. user=mdettweiler [2013-01-01 11:30:43] 735*2^1238448-1 is not prime. Res64: FFB3A3A1263E006E Time : 0.0 sec. user=mdettweiler [2013-01-01 11:48:01] 875*2^1238448-1 is not prime. Res64: BCB605C4C5C271BC Time : 0.0 sec. user=mdettweiler [2013-01-01 11:48:02] 861*2^1238449-1 is not prime. Res64: AB768B399C3E75BB Time : 0.0 sec. user=mdettweiler [2013-01-01 11:48:02] 945*2^1238449-1 is not prime. Res64: 05F9EC47E0A9C935 Time : 0.0 sec. user=mdettweiler [2013-01-01 11:48:03] 789*2^1238449-1 is not prime. Res64: 2D35FCEBD1C22397 Time : 0.0 sec. user=vaughan [2013-01-01 11:52:43] 825*2^1238448-1 is not prime. Res64: C4CF0734FC13409A Time : 0.0 sec. user=mdettweiler [2013-01-01 12:05:24] 979*2^1238449-1 is not prime. Res64: DAB3EED763BF5257 Time : 0.0 sec. user=mdettweiler [2013-01-01 12:05:28] 671*2^1238450-1 is not prime. Res64: 40FEA9287D6DD2B6 Time : 0.0 sec. user=mdettweiler [2013-01-01 12:05:28] 875*2^1238450-1 is not prime. Res64: 5A7C948EBC37A99E Time : 0.0 sec. user=mdettweiler [2013-01-01 12:05:32] 885*2^1238450-1 is not prime. Res64: 5FE1B3AB88F827BD Time : 0.0 sec. user=mdettweiler [2013-01-01 12:23:22] 951*2^1238450-1 is not prime. Res64: 6414AED478CF48D8 Time : 0.0 sec. user=mdettweiler [2013-01-01 12:23:23] 613*2^1238451-1 is not prime. Res64: DF6FE4C19425F77D Time : 0.0 sec. user=mdettweiler [2013-01-01 12:23:26] 691*2^1238451-1 is not prime. Res64: E4177C5CF19B2650 Time : 0.0 sec. user=mdettweiler [2013-01-01 12:23:27] 705*2^1238451-1 is not prime. Res64: B008F49D4AD9DFF3 Time : 0.0 sec. user=vaughan [2013-01-01 12:30:34] 945*2^1238450-1 is not prime. Res64: 49C44130201A8154 Time : 0.0 sec. user=mdettweiler [2013-01-01 12:40:46] 909*2^1238451-1 is not prime. Res64: E5E7804BE8EE2DE4 Time : 0.0 sec. user=mdettweiler [2013-01-01 12:40:47] 945*2^1238451-1 is not prime. Res64: F80F6C2D00B95EBE Time : 0.0 sec. user=mdettweiler [2013-01-01 12:40:47] 951*2^1238451-1 is not prime. Res64: 8CCF32EF7BC822D3 Time : 0.0 sec. user=mdettweiler [2013-01-01 12:40:48] 975*2^1238451-1 is not prime. Res64: 323BEC4D2FE435FD Time : 0.0 sec. user=mdettweiler [2013-01-01 12:58:09] 617*2^1238452-1 is not prime. Res64: F2B129F6F67E588C Time : 0.0 sec. user=mdettweiler [2013-01-01 12:58:09] 939*2^1238452-1 is not prime. Res64: 31B7E89ECEBBBEE2 Time : 0.0 sec. user=mdettweiler [2013-01-01 12:58:10] 869*2^1238452-1 is not prime. Res64: 9C8B599CB847FD15 Time : 0.0 sec. user=mdettweiler [2013-01-01 12:58:10] 679*2^1238453-1 is not prime. Res64: 2DE975FABA24C633 Time : 0.0 sec. user=vaughan [2013-01-01 13:08:27] 615*2^1238452-1 is not prime. Res64: EE4697A36DB00C1F Time : 0.0 sec. user=mdettweiler [2013-01-01 13:15:32] 697*2^1238453-1 is not prime. Res64: AB7A0723B43EA2AB Time : 0.0 sec. user=mdettweiler [2013-01-01 13:15:33] 757*2^1238453-1 is not prime. Res64: 00FE73608FDC926A Time : 0.0 sec. user=mdettweiler [2013-01-01 13:15:34] 945*2^1238453-1 is not prime. Res64: EEBA717C2C9AC89B Time : 0.0 sec. user=mdettweiler [2013-01-01 13:15:35] 681*2^1238454-1 is not prime. Res64: 64C1A325214BB71C Time : 0.0 sec. user=mdettweiler [2013-01-01 13:32:55] 705*2^1238454-1 is not prime. Res64: 0D089A2499DBE122 Time : 0.0 sec. user=mdettweiler [2013-01-01 13:32:55] 707*2^1238454-1 is not prime. Res64: 2CA1A7C6ADE8B917 Time : 0.0 sec. user=mdettweiler [2013-01-01 13:32:56] 783*2^1238454-1 is not prime. Res64: 40DA0C2C055BAD5F Time : 0.0 sec. user=mdettweiler [2013-01-01 13:32:57] 833*2^1238454-1 is not prime. Res64: DD60B360CAA78FB1 Time : 0.0 sec. user=vaughan [2013-01-01 13:46:23] 683*2^1238454-1 is not prime. Res64: 8240E51AFB3DFD40 Time : 0.0 sec. user=mdettweiler [2013-01-01 13:50:18] 881*2^1238454-1 is not prime. Res64: 176BF4F34F5831C8 Time : 0.0 sec. user=mdettweiler [2013-01-01 13:50:19] 971*2^1238454-1 is not prime. Res64: 10EDE88CA7388C79 Time : 0.0 sec. user=mdettweiler [2013-01-01 13:50:23] 1001*2^1238454-1 is not prime. Res64: FC1BE5DE0407D3FE Time : 0.0 sec. user=mdettweiler [2013-01-01 13:50:24] 693*2^1238455-1 is not prime. Res64: 6FCC122E59BACA09 Time : 0.0 sec. user=mdettweiler [2013-01-01 14:07:47] 715*2^1238455-1 is not prime. Res64: EC7C93BF3AC94C7A Time : 0.0 sec. user=mdettweiler [2013-01-01 14:07:49] 723*2^1238455-1 is not prime. Res64: 4C1499B8A4C75F0E Time : 0.0 sec. user=mdettweiler [2013-01-01 14:07:50] 951*2^1238455-1 is not prime. Res64: 059DCE9D925224F3 Time : 0.0 sec. user=mdettweiler [2013-01-01 14:07:52] 629*2^1238456-1 is not prime. Res64: C9F8BABDFC41EF42 Time : 0.0 sec. user=vaughan [2013-01-01 14:24:10] 705*2^1238455-1 is not prime. Res64: 824BFF7D30BA4899 Time : 0.0 sec. user=mdettweiler [2013-01-01 14:25:28] 767*2^1238456-1 is not prime. Res64: 71C4393C3E43643D Time : 0.0 sec. user=mdettweiler [2013-01-01 14:25:29] 843*2^1238456-1 is not prime. Res64: 6DA51B9AFFF0DCB1 Time : 0.0 sec. user=mdettweiler [2013-01-01 14:25:29] 633*2^1238456-1 is not prime. Res64: 885EE953BE724E60 Time : 0.0 sec. user=mdettweiler [2013-01-01 14:25:29] 747*2^1238456-1 is not prime. Res64: DBD2ACE085641846 Time : 0.0 sec. user=mdettweiler [2013-01-01 14:42:52] 765*2^1238457-1 is not prime. Res64: D082ED8EA72CD099 Time : 0.0 sec. user=mdettweiler [2013-01-01 14:42:52] 849*2^1238457-1 is not prime. Res64: 04D05550B3BD199F Time : 0.0 sec. user=mdettweiler [2013-01-01 14:42:52] 817*2^1238457-1 is not prime. Res64: BDA21CD24D2A3669 Time : 0.0 sec. user=mdettweiler [2013-01-01 14:42:53] 997*2^1238457-1 is not prime. Res64: FDBB94CE1E08D791 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:00:14] 623*2^1238458-1 is not prime. Res64: B0DFC913165D6FD3 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:00:15] 651*2^1238458-1 is not prime. Res64: 655F8AF16FF51A0C Time : 0.0 sec. user=mdettweiler [2013-01-01 15:00:18] 665*2^1238458-1 is not prime. Res64: 12B3231A579B4A2B Time : 0.0 sec. user=mdettweiler [2013-01-01 15:00:19] 765*2^1238458-1 is not prime. Res64: 6EFC9A62FD2F6406 Time : 0.0 sec. user=vaughan [2013-01-01 15:01:59] 903*2^1238456-1 is not prime. Res64: 3862F7AAD5A13C0D Time : 0.0 sec. user=mdettweiler [2013-01-01 15:17:40] 843*2^1238458-1 is not prime. Res64: 1D02AD0DB15E85D5 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:17:40] 905*2^1238458-1 is not prime. Res64: B259E35B6425F071 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:17:43] 923*2^1238458-1 is not prime. Res64: 2E55CEB5C0CC6244 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:17:43] 645*2^1238459-1 is not prime. Res64: 76B209F3251EA7B5 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:35:04] 669*2^1238459-1 is not prime. Res64: E2DA9B5C08447F18 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:35:04] 675*2^1238459-1 is not prime. Res64: 950A49BCEA0E9CE7 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:35:06] 703*2^1238459-1 is not prime. Res64: 0A9AE8633659CB63 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:35:06] 735*2^1238459-1 is not prime. Res64: E44B624CC7A7614D Time : 0.0 sec. user=vaughan [2013-01-01 15:39:46] 655*2^1238459-1 is not prime. Res64: 9BC5034C2A9DDF59 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:52:26] 759*2^1238459-1 is not prime. Res64: 030C9C275BDC8454 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:52:27] 771*2^1238459-1 is not prime. Res64: ACCD66EF8105B8D7 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:52:27] 883*2^1238459-1 is not prime. Res64: B60295F671E50F09 Time : 0.0 sec. user=mdettweiler [2013-01-01 15:52:28] 993*2^1238459-1 is not prime. Res64: 611D4F975D566D72 Time : 0.0 sec. user=mdettweiler [2013-01-01 16:09:50] 983*2^1238460-1 is not prime. Res64: FAA6D5639BC820F9 Time : 0.0 sec. user=mdettweiler [2013-01-01 16:09:51] 967*2^1238461-1 is not prime. Res64: A51842700EF7721E Time : 0.0 sec. user=mdettweiler [2013-01-01 16:09:56] 819*2^1238461-1 is not prime. Res64: A7DB0737A68B3CC8 Time : 0.0 sec. user=mdettweiler [2013-01-01 16:09:59] 705*2^1238462-1 is not prime. Res64: 80B3EC64799C04A0 Time : 0.0 sec. user=vaughan [2013-01-01 16:17:35] 629*2^1238460-1 is not prime. Res64: D1C2CA396EE1097C Time : 0.0 sec. user=mdettweiler [2013-01-01 16:27:48] 797*2^1238462-1 is not prime. Res64: 329406C60FC6CDE2 Time : 0.0 sec. user=mdettweiler [2013-01-01 16:27:48] 831*2^1238462-1 is not prime. Res64: D2A0A3A14B42E683 Time : 0.0 sec. user=mdettweiler [2013-01-01 16:27:50] 857*2^1238462-1 is not prime. Res64: C6AE0F143B6DE768 Time : 0.0 sec. user=mdettweiler [2013-01-01 16:27:51] 935*2^1238462-1 is not prime. Res64: 65A28932122EE818 Time : 0.0 sec. user=mdettweiler [2013-01-01 16:45:10] 965*2^1238462-1 is not prime. Res64: 8514E0E67A19DE6B Time : 0.0 sec. user=mdettweiler [2013-01-01 16:45:11] 693*2^1238463-1 is not prime. Res64: 9A86617F7F15846E Time : 0.0 sec. user=mdettweiler [2013-01-01 16:45:12] 703*2^1238463-1 is not prime. Res64: 73A95224DCE9029A Time : 0.0 sec. user=mdettweiler [2013-01-01 16:45:13] 853*2^1238463-1 is not prime. Res64: 6F5DF8947A53A5B7 Time : 0.0 sec. user=vaughan [2013-01-01 16:55:25] 957*2^1238462-1 is not prime. Res64: E1BBC2598D822789 Time : 0.0 sec. user=mdettweiler [2013-01-01 17:03:05] 605*2^1238464-1 is not prime. Res64: C02F4D515E8109CF Time : 0.0 sec. user=mdettweiler [2013-01-01 17:03:05] 645*2^1238464-1 is not prime. Res64: 145C358FC5E60A61 Time : 0.0 sec. user=mdettweiler [2013-01-01 17:03:07] 675*2^1238464-1 is not prime. Res64: FEB83809353F9AA5 Time : 0.0 sec. user=mdettweiler [2013-01-01 17:03:09] 827*2^1238464-1 is not prime. Res64: 77AD02546E765265 Time : 0.0 sec. user=mdettweiler [2013-01-01 17:21:01] 917*2^1238464-1 is not prime. Res64: 8602E6458A266504 Time : 0.0 sec. user=mdettweiler [2013-01-01 17:21:02] 993*2^1238464-1 is not prime. Res64: D698B6873B812358 Time : 0.0 sec. user=mdettweiler [2013-01-01 17:21:03] 607*2^1238465-1 is not prime. Res64: F3840A41CE67A640 Time : 0.0 sec. user=mdettweiler [2013-01-01 17:21:04] 685*2^1238465-1 is not prime. Res64: 9D54079B1E1CD017 Time : 0.0 sec. user=vaughan [2013-01-01 17:33:17] 843*2^1238464-1 is not prime. Res64: 5E7817EFA75981CC Time : 0.0 sec. user=mdettweiler [2013-01-01 17:38:53] 715*2^1238465-1 is not prime. Res64: F60910396E22A507 Time : 0.0 sec. user=mdettweiler [2013-01-01 17:38:54] 805*2^1238465-1 is not prime. Res64: 1DE14F6D54B14E81 Time : 0.0 sec. user=mdettweiler [2013-01-01 17:38:54] 909*2^1238465-1 is not prime. Res64: B9CAAADDC437776C Time : 0.0 sec. user=mdettweiler [2013-01-01 17:38:55] 981*2^1238465-1 is not prime. Res64: 0B483A1B47C8A055 Time : 0.0 sec. user=mdettweiler [2013-01-01 17:56:26] 705*2^1238466-1 is not prime. Res64: C0D18C894EA1708F Time : 0.0 sec. user=mdettweiler [2013-01-01 17:56:26] 783*2^1238466-1 is not prime. Res64: 5F80E84DC84C534B Time : 0.0 sec. user=mdettweiler [2013-01-01 17:56:27] 825*2^1238466-1 is not prime. Res64: 61A8E6468D0F242C Time : 0.0 sec. user=mdettweiler [2013-01-01 17:56:28] 837*2^1238466-1 is not prime. Res64: B94BC00F24D33D84 Time : 0.0 sec. user=vaughan [2013-01-01 18:11:04] 641*2^1238466-1 is not prime. Res64: 69761E383EED8A7D Time : 0.0 sec. user=mdettweiler [2013-01-01 18:13:54] 875*2^1238466-1 is not prime. Res64: FD950A523909F309 Time : 0.0 sec. user=mdettweiler [2013-01-01 18:13:55] 933*2^1238466-1 is not prime. Res64: F77A5C2D95D20D61 Time : 0.0 sec. user=mdettweiler [2013-01-01 18:13:55] 1001*2^1238466-1 is not prime. Res64: 6B18572C61B72E61 Time : 0.0 sec. user=mdettweiler [2013-01-01 18:13:55] 703*2^1238467-1 is not prime. Res64: 5E467D1CA36246AD Time : 0.0 sec. user=mdettweiler [2013-01-01 18:31:21] 769*2^1238467-1 is not prime. Res64: 57608B4959641299 Time : 0.0 sec. user=mdettweiler [2013-01-01 18:31:22] 829*2^1238467-1 is not prime. Res64: 1634F67C80D20987 Time : 0.0 sec. user=mdettweiler [2013-01-01 18:31:22] 861*2^1238467-1 is not prime. Res64: CF97FC0B48636F85 Time : 0.0 sec. user=mdettweiler [2013-01-01 18:31:23] 961*2^1238467-1 is not prime. Res64: 65F389B91EBD82C3 Time : 0.0 sec. user=mdettweiler [2013-01-01 18:48:50] 985*2^1238467-1 is not prime. Res64: 45CDE82F77019D97 Time : 0.0 sec. user=mdettweiler [2013-01-01 18:48:50] 993*2^1238467-1 is not prime. Res64: 35C1708D27743731 Time : 0.0 sec. user=mdettweiler [2013-01-01 18:48:51] 615*2^1238468-1 is not prime. Res64: F48776A063FA4414 Time : 0.0 sec. user=mdettweiler [2013-01-01 18:48:51] 629*2^1238468-1 is not prime. Res64: 6BAD8E2B21521D67 Time : 0.0 sec. user=vaughan [2013-01-01 18:48:56] 759*2^1238467-1 is not prime. Res64: 152C523BD624514F Time : 0.0 sec. user=mdettweiler [2013-01-01 19:06:29] 721*2^1238469-1 is not prime. Res64: D0A6D0FAD017C39C Time : 0.0 sec. user=mdettweiler [2013-01-01 19:06:31] 727*2^1238469-1 is not prime. Res64: 69FF6445F3CE8528 Time : 0.0 sec. user=mdettweiler [2013-01-01 19:06:34] 665*2^1238468-1 is not prime. Res64: C9D6F98D975A22F3 Time : 0.0 sec. user=mdettweiler [2013-01-01 19:06:35] 899*2^1238468-1 is not prime. Res64: 9BA1F8D3503BEBAD Time : 0.0 sec. user=mdettweiler [2013-01-01 19:24:21] 831*2^1238469-1 is not prime. Res64: C6698B9D7D870DCE Time : 0.0 sec. user=mdettweiler [2013-01-01 19:24:22] 653*2^1238470-1 is not prime. Res64: 850E74BDD4ABB7BE Time : 0.0 sec. user=mdettweiler [2013-01-01 19:24:22] 979*2^1238469-1 is not prime. Res64: E1DC280EE3DAC3B9 Time : 0.0 sec. user=mdettweiler [2013-01-01 19:24:22] 657*2^1238470-1 is not prime. Res64: 1AFE8E5B99DDE525 Time : 0.0 sec. user=vaughan [2013-01-01 19:26:45] 751*2^1238469-1 is not prime. Res64: 8CAC3C410C56C512 Time : 0.0 sec. user=mdettweiler [2013-01-01 19:41:51] 861*2^1238470-1 is not prime. Res64: 75533F3C80249621 Time : 0.0 sec. user=mdettweiler [2013-01-01 19:41:52] 887*2^1238470-1 is not prime. Res64: F10FEC2A15FA1A0B Time : 0.0 sec. user=mdettweiler [2013-01-01 19:41:53] 713*2^1238470-1 is not prime. Res64: A72CE2D4CF6D7D2D Time : 0.0 sec. user=mdettweiler [2013-01-01 19:41:54] 845*2^1238470-1 is not prime. Res64: 25EA41E9D6A2B698 Time : 0.0 sec. user=mdettweiler [2013-01-01 19:59:26] 663*2^1238471-1 is not prime. Res64: 77AB1DD9EE2160F3 Time : 0.0 sec. user=mdettweiler [2013-01-01 19:59:27] 741*2^1238471-1 is not prime. Res64: 208A81CF4B89B654 Time : 0.0 sec. user=mdettweiler [2013-01-01 19:59:28] 763*2^1238471-1 is not prime. Res64: 6B0449B009AC2ADF Time : 0.0 sec. user=mdettweiler [2013-01-01 19:59:29] 811*2^1238471-1 is not prime. Res64: 75BFBA1E2118EF88 Time : 0.0 sec. user=vaughan [2013-01-01 20:04:34] 945*2^1238470-1 is not prime. Res64: D6365BFED3DB1FFB Time : 0.0 sec. user=mdettweiler [2013-01-01 20:16:55] 859*2^1238471-1 is not prime. Res64: 584841EA23CB4D5E Time : 0.0 sec. user=mdettweiler [2013-01-01 20:16:56] 865*2^1238471-1 is not prime. Res64: 8957D844202ECA40 Time : 0.0 sec. user=mdettweiler [2013-01-01 20:16:58] 949*2^1238471-1 is not prime. Res64: 08AAB4B279DCF243 Time : 0.0 sec. user=mdettweiler [2013-01-01 20:16:59] 623*2^1238472-1 is not prime. Res64: 806E739E80DC5802 Time : 0.0 sec. user=mdettweiler [2013-01-01 20:34:26] 689*2^1238472-1 is not prime. Res64: D6A5F2C898ED9A59 Time : 0.0 sec. user=mdettweiler [2013-01-01 20:34:28] 737*2^1238472-1 is not prime. Res64: BAAD8D8B40858E1C Time : 0.0 sec. user=mdettweiler [2013-01-01 20:34:28] 767*2^1238472-1 is not prime. Res64: 55CCB18AACC3239E Time : 0.0 sec. user=mdettweiler [2013-01-01 20:34:29] 893*2^1238472-1 is not prime. Res64: 99FD3A34D0B3AFF7 Time : 0.0 sec. user=vaughan [2013-01-01 20:42:40] 627*2^1238472-1 is not prime. Res64: 4DF00AA5265A85C3 Time : 0.0 sec. user=mdettweiler [2013-01-01 20:51:56] 741*2^1238473-1 is not prime. Res64: C1F7D732C3BD89C1 Time : 0.0 sec. user=mdettweiler [2013-01-01 20:51:56] 919*2^1238473-1 is not prime. Res64: BF3B55860CAB92C5 Time : 0.0 sec. user=mdettweiler [2013-01-01 20:51:57] 771*2^1238473-1 is not prime. Res64: B4FADAF22D12A2F0 Time : 0.0 sec. user=mdettweiler [2013-01-01 20:51:57] 671*2^1238474-1 is not prime. Res64: EEB6740C38A249E6 Time : 0.0 sec. user=mdettweiler [2013-01-01 21:09:24] 983*2^1238474-1 is not prime. Res64: A0286D878770A5DB Time : 0.0 sec. user=mdettweiler [2013-01-01 21:09:25] 625*2^1238475-1 is not prime. Res64: 92DD9D8EDCF82013 Time : 0.0 sec. user=mdettweiler [2013-01-01 21:09:26] 609*2^1238475-1 is not prime. Res64: B59EDC82799E6C4E Time : 0.0 sec. user=mdettweiler [2013-01-01 21:09:26] 633*2^1238475-1 is not prime. Res64: C063D8D5A727313F Time : 0.0 sec. user=vaughan [2013-01-01 21:20:27] 773*2^1238474-1 is not prime. Res64: 4D10B417B6C72227 Time : 0.0 sec. user=mdettweiler [2013-01-01 21:27:01] 723*2^1238475-1 is not prime. Res64: 0A0F9B77058C8B00 Time : 0.0 sec. user=mdettweiler [2013-01-01 21:27:01] 739*2^1238475-1 is not prime. Res64: 347AB50D8422730C Time : 0.0 sec. user=mdettweiler [2013-01-01 21:27:03] 783*2^1238475-1 is not prime. Res64: 2B93D31EEBE4CA3C Time : 0.0 sec. user=mdettweiler [2013-01-01 21:27:03] 861*2^1238475-1 is not prime. Res64: 01DF2D888B7C8819 Time : 0.0 sec. user=mdettweiler [2013-01-01 21:44:30] 693*2^1238476-1 is not prime. Res64: 22938E39588BF5CA Time : 0.0 sec. user=mdettweiler [2013-01-01 21:44:31] 695*2^1238476-1 is not prime. Res64: 91040B8CECA0710B Time : 0.0 sec. user=mdettweiler [2013-01-01 21:44:35] 707*2^1238476-1 is not prime. Res64: 16FFA9E0D79D6C30 Time : 0.0 sec. user=mdettweiler [2013-01-01 21:44:36] 735*2^1238476-1 is not prime. Res64: 1701D89C3F1E2F97 Time : 0.0 sec. user=vaughan [2013-01-01 21:58:15] 653*2^1238476-1 is not prime. Res64: 8D06B6587087C4B6 Time : 0.0 sec. user=mdettweiler [2013-01-01 22:02:02] 749*2^1238476-1 is not prime. Res64: F68B8233D49644BA Time : 0.0 sec. user=mdettweiler [2013-01-01 22:02:04] 873*2^1238476-1 is not prime. Res64: 496629E6CF461D8A Time : 0.0 sec. user=mdettweiler [2013-01-01 22:02:05] 807*2^1238476-1 is not prime. Res64: D6DA3A27F11D8140 Time : 0.0 sec. user=mdettweiler [2013-01-01 22:02:06] 875*2^1238476-1 is not prime. Res64: D336D9F0577820DA Time : 0.0 sec. user=mdettweiler [2013-01-01 22:19:33] 903*2^1238476-1 is not prime. Res64: 254076393C483E8A Time : 0.0 sec. user=mdettweiler [2013-01-01 22:19:34] 933*2^1238476-1 is not prime. Res64: 0F052712E0CF39FB Time : 0.0 sec. user=mdettweiler [2013-01-01 22:19:35] 645*2^1238477-1 is not prime. Res64: 857856E51D2B5FAA Time : 0.0 sec. user=mdettweiler [2013-01-01 22:19:35] 735*2^1238477-1 is not prime. Res64: 69E6CF1185C7E390 Time : 0.0 sec. user=vaughan [2013-01-01 22:36:03] 897*2^1238476-1 is not prime. Res64: C7D3E206F9987365 Time : 0.0 sec. user=mdettweiler [2013-01-01 22:37:03] 795*2^1238477-1 is not prime. Res64: B2FE560173246065 Time : 0.0 sec. user=mdettweiler [2013-01-01 22:37:03] 865*2^1238477-1 is not prime. Res64: 16545376CB957F5F Time : 0.0 sec. user=mdettweiler [2013-01-01 22:37:07] 871*2^1238477-1 is not prime. Res64: 58C42C3B06B446AB Time : 0.0 sec. user=mdettweiler [2013-01-01 22:37:12] 937*2^1238477-1 is not prime. Res64: 1203D0F2B1776758 Time : 0.0 sec. user=mdettweiler [2013-01-01 22:54:33] 621*2^1238478-1 is not prime. Res64: DC5248DBE3EE850B Time : 0.0 sec. user=mdettweiler [2013-01-01 22:54:33] 635*2^1238478-1 is not prime. Res64: C4D122A5C27A9CE0 Time : 0.0 sec. user=mdettweiler [2013-01-01 22:54:43] 725*2^1238478-1 is not prime. Res64: 5D0A9B524ADF7C4A Time : 0.0 sec. user=mdettweiler [2013-01-01 22:54:44] 843*2^1238478-1 is not prime. Res64: 538E50D4F4A9FB14 Time : 0.0 sec. user=mdettweiler [2013-01-01 23:12:02] 887*2^1238478-1 is not prime. Res64: 5F707FA89B572C11 Time : 0.0 sec. user=mdettweiler [2013-01-01 23:12:02] 891*2^1238478-1 is not prime. Res64: 8E2C8A40BF9212CE Time : 0.0 sec. user=mdettweiler [2013-01-01 23:12:11] 921*2^1238478-1 is not prime. Res64: 922C82C5A1B1440C Time : 0.0 sec. user=mdettweiler [2013-01-01 23:12:11] 963*2^1238478-1 is not prime. Res64: 36CE948BA3278FC3 Time : 0.0 sec. user=vaughan [2013-01-01 23:13:53] 967*2^1238477-1 is not prime. Res64: 87A6DE4C25D361D1 Time : 0.0 sec. user=mdettweiler [2013-01-01 23:29:31] 619*2^1238479-1 is not prime. Res64: 97B20763B762105C Time : 0.0 sec. user=mdettweiler [2013-01-01 23:29:32] 625*2^1238479-1 is not prime. Res64: D47780AA910B2FB4 Time : 0.0 sec. user=mdettweiler [2013-01-01 23:29:38] 685*2^1238479-1 is not prime. Res64: A7439ABD37496308 Time : 0.0 sec. user=mdettweiler [2013-01-01 23:29:39] 705*2^1238479-1 is not prime. Res64: AB368D620A9B2CF7 Time : 0.0 sec. user=mdettweiler [2013-01-01 23:47:02] 759*2^1238479-1 is not prime. Res64: D9BF6491F1334107 Time : 0.0 sec. user=mdettweiler [2013-01-01 23:47:03] 811*2^1238479-1 is not prime. Res64: 8CC97DB63662C609 Time : 0.0 sec. user=mdettweiler [2013-01-01 23:47:08] 843*2^1238479-1 is not prime. Res64: 292868EFA0E2F5BC Time : 0.0 sec. user=mdettweiler [2013-01-01 23:47:09] 859*2^1238479-1 is not prime. Res64: CBC5803527FA4B32 Time : 0.0 sec. user=vaughan [2013-01-01 23:51:38] 729*2^1238479-1 is not prime. Res64: 86369B52C9DDB553 Time : 0.0 sec.