user=juhehe [2015-03-18 00:19:14] 849*2^1395616-1 is not prime. Res64: 03E0599AB1915C00 Time : 0.0 sec. user=juhehe [2015-03-18 01:26:51] 873*2^1395616-1 is not prime. Res64: 3DDC2C1F32452843 Time : 0.0 sec. user=juhehe [2015-03-18 02:01:17] 887*2^1395616-1 is not prime. Res64: 927F5FD96D9BE027 Time : 0.0 sec. user=juhehe [2015-03-18 03:10:26] 931*2^1395617-1 is not prime. Res64: 28297009CD98470C Time : 0.0 sec. user=juhehe [2015-03-18 04:21:27] 945*2^1395617-1 is not prime. Res64: 3DD20496425680B4 Time : 0.0 sec. user=juhehe [2015-03-18 04:56:15] 683*2^1395618-1 is not prime. Res64: 09C4CDF5DE1975C8 Time : 0.0 sec. user=juhehe [2015-03-18 06:06:21] 765*2^1395618-1 is not prime. Res64: 5BF3ADA6192C256F Time : 0.0 sec. user=juhehe [2015-03-18 06:41:06] 843*2^1395618-1 is not prime. Res64: BB460DEAA1C7F6F9 Time : 0.0 sec. user=mdettweiler [2015-03-18 07:26:14] 905*2^1395618-1 is not prime. Res64: 555055D48639D206 Time : 0.0 sec. user=mdettweiler [2015-03-18 07:26:15] 631*2^1395619-1 is not prime. Res64: 65DC7E770406022D Time : 0.0 sec. user=mdettweiler [2015-03-18 07:34:50] 691*2^1395619-1 is not prime. Res64: 9AD154381F9259C7 Time : 0.0 sec. user=mdettweiler [2015-03-18 07:34:51] 723*2^1395619-1 is not prime. Res64: E08447584D41EC6B Time : 0.0 sec. user=mdettweiler [2015-03-18 07:46:17] 735*2^1395619-1 is not prime. Res64: 5C956B341362DCE1 Time : 0.0 sec. user=mdettweiler [2015-03-18 07:46:18] 741*2^1395619-1 is not prime. Res64: 686B9A6781841E41 Time : 0.0 sec. user=juhehe [2015-03-18 07:50:15] 733*2^1395619-1 is not prime. Res64: B8B711876880F70B Time : 0.0 sec. user=mdettweiler [2015-03-18 07:51:30] 771*2^1395619-1 is not prime. Res64: 3CFC25184EA2283F Time : 0.0 sec. user=mdettweiler [2015-03-18 07:51:30] 859*2^1395619-1 is not prime. Res64: 94B23A59F1EFF699 Time : 0.0 sec. user=mdettweiler [2015-03-18 07:52:01] 885*2^1395619-1 is not prime. Res64: 603640DD82BA8DD2 Time : 0.0 sec. user=mdettweiler [2015-03-18 07:52:01] 943*2^1395619-1 is not prime. Res64: 531896E512F79720 Time : 0.0 sec. user=mdettweiler [2015-03-18 08:00:38] 979*2^1395619-1 is not prime. Res64: 06E7BB978C62BBA9 Time : 0.0 sec. user=mdettweiler [2015-03-18 08:00:39] 665*2^1395620-1 is not prime. Res64: 5A0359ECC2CA0279 Time : 0.0 sec. user=mdettweiler [2015-03-18 08:12:07] 675*2^1395620-1 is not prime. Res64: F46488058ADB2A57 Time : 0.0 sec. user=mdettweiler [2015-03-18 08:12:07] 677*2^1395620-1 is not prime. Res64: 97F96B84EC18D5F3 Time : 0.0 sec. user=mdettweiler [2015-03-18 08:17:22] 725*2^1395620-1 is not prime. Res64: CF44AB4CEC6C7A20 Time : 0.0 sec. user=mdettweiler [2015-03-18 08:17:23] 795*2^1395620-1 is not prime. Res64: 22F73EA31F8935AD Time : 0.0 sec. user=mdettweiler [2015-03-18 08:17:47] 909*2^1395620-1 is not prime. Res64: 699FEDDFBD4B9F1D Time : 0.0 sec. user=mdettweiler [2015-03-18 08:17:47] 915*2^1395620-1 is not prime. Res64: 74B9C0DE9C7B765A Time : 0.0 sec. user=juhehe [2015-03-18 08:24:04] 689*2^1395620-1 is not prime. Res64: 0779A1B7C6C987DC Time : 0.0 sec. user=mdettweiler [2015-03-18 08:26:29] 953*2^1395620-1 is not prime. Res64: 8BFD08FDBD65523D Time : 0.0 sec. user=mdettweiler [2015-03-18 08:26:30] 945*2^1395621-1 is not prime. Res64: 45A9B44B5B21A220 Time : 0.0 sec. user=mdettweiler [2015-03-18 08:38:00] 955*2^1395621-1 is not prime. Res64: 045B02E5F4E1AE5F Time : 0.0 sec. user=mdettweiler [2015-03-18 08:38:01] 961*2^1395621-1 is not prime. Res64: C247D0181AAA1CA6 Time : 0.0 sec. user=mdettweiler [2015-03-18 08:43:09] 623*2^1395622-1 is not prime. Res64: A15339BCD2F1C5CB Time : 0.0 sec. user=mdettweiler [2015-03-18 08:43:09] 815*2^1395622-1 is not prime. Res64: 12461EF95D6C5D1A Time : 0.0 sec. user=mdettweiler [2015-03-18 08:43:42] 873*2^1395622-1 is not prime. Res64: 85E6E3445F9EE4DE Time : 0.0 sec. user=mdettweiler [2015-03-18 08:43:42] 669*2^1395623-1 is not prime. Res64: 78AEC97AC9216446 Time : 0.0 sec. user=mdettweiler [2015-03-18 08:52:20] 673*2^1395623-1 is not prime. Res64: 6BC8FE7CBAC539B1 Time : 0.0 sec. user=mdettweiler [2015-03-18 08:52:20] 693*2^1395623-1 is not prime. Res64: 394C8DEBCACE13D2 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:03:44] 705*2^1395623-1 is not prime. Res64: 3C5E1286BD347304 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:03:46] 735*2^1395623-1 is not prime. Res64: BEC1E5E3B21F097A Time : 0.0 sec. user=mdettweiler [2015-03-18 09:08:57] 781*2^1395623-1 is not prime. Res64: 419A962F04F40A39 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:08:57] 783*2^1395623-1 is not prime. Res64: B6E51B5778E65382 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:09:37] 895*2^1395623-1 is not prime. Res64: 11BE584788A12082 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:09:37] 707*2^1395624-1 is not prime. Res64: B8A8DEE5A7F47E94 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:18:13] 759*2^1395624-1 is not prime. Res64: 55CEC42D3AA4F82D Time : 0.0 sec. user=mdettweiler [2015-03-18 09:18:13] 773*2^1395624-1 is not prime. Res64: 5739273BCD100524 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:29:31] 607*2^1395625-1 is not prime. Res64: 83893F5EA9D593A5 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:29:31] 625*2^1395625-1 is not prime. Res64: 9AD08A3F83FCE95B Time : 0.0 sec. user=juhehe [2015-03-18 09:32:26] 903*2^1395624-1 is not prime. Res64: 49401A88926CB064 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:34:39] 721*2^1395625-1 is not prime. Res64: 6CDE6E0B3A001E21 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:34:39] 789*2^1395625-1 is not prime. Res64: 756753838666527A Time : 0.0 sec. user=mdettweiler [2015-03-18 09:35:22] 831*2^1395625-1 is not prime. Res64: 662A279D1892BD96 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:35:22] 951*2^1395625-1 is not prime. Res64: D56F17E0FB255E92 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:43:59] 957*2^1395625-1 is not prime. Res64: A312ACCC2F302CD2 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:44:00] 641*2^1395626-1 is not prime. Res64: E41D328742D158A8 Time : 0.0 sec. user=mdettweiler [2015-03-18 09:55:17] 701*2^1395626-1 is not prime. Res64: 8ABC0F83470A932D Time : 0.0 sec. user=mdettweiler [2015-03-18 09:55:18] 705*2^1395626-1 is not prime. Res64: 6EDA3AE1E62276DD Time : 0.0 sec. user=mdettweiler [2015-03-18 10:00:25] 857*2^1395626-1 is not prime. Res64: 4EB7312DB50FB2E5 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:00:26] 861*2^1395626-1 is not prime. Res64: FDFAC4162337FB5F Time : 0.0 sec. user=mdettweiler [2015-03-18 10:01:05] 923*2^1395626-1 is not prime. Res64: 5AF0762E8F4A0DB8 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:01:06] 633*2^1395627-1 is not prime. Res64: A303DD061E820410 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:09:44] 753*2^1395627-1 is not prime. Res64: FCF077B236C04B96 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:09:45] 975*2^1395627-1 is not prime. Res64: BD7C345546EC2F5D Time : 0.0 sec. user=juhehe [2015-03-18 10:09:52] 711*2^1395626-1 is not prime. Res64: 4F885C789E2B2B38 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:20:59] 689*2^1395628-1 is not prime. Res64: 78E899E723E0AF58 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:20:59] 863*2^1395628-1 is not prime. Res64: CC03A1C3884CE0FC Time : 0.0 sec. user=mdettweiler [2015-03-18 10:26:06] 899*2^1395628-1 is not prime. Res64: EAB35224B05FD8A6 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:26:06] 959*2^1395628-1 is not prime. Res64: 1C3DC249DEEF93BB Time : 0.0 sec. user=mdettweiler [2015-03-18 10:26:45] 615*2^1395629-1 is not prime. Res64: 57C2EF78E6B043BE Time : 0.0 sec. user=mdettweiler [2015-03-18 10:26:46] 655*2^1395629-1 is not prime. Res64: 12DAA48017AFC628 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:35:30] 861*2^1395629-1 is not prime. Res64: FBDAC32D3095F5CC Time : 0.0 sec. user=mdettweiler [2015-03-18 10:35:30] 927*2^1395629-1 is not prime. Res64: 99A4CA0E9203A5D0 Time : 0.0 sec. user=juhehe [2015-03-18 10:41:09] 721*2^1395629-1 is not prime. Res64: 64334D03174723AD Time : 0.0 sec. user=mdettweiler [2015-03-18 10:46:38] 945*2^1395629-1 is not prime. Res64: 73457D0176A83039 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:46:38] 991*2^1395629-1 is not prime. Res64: 4E92E85B06F3429F Time : 0.0 sec. user=mdettweiler [2015-03-18 10:51:51] 611*2^1395630-1 is not prime. Res64: 424FD6DC0333161B Time : 0.0 sec. user=mdettweiler [2015-03-18 10:51:51] 755*2^1395630-1 is not prime. Res64: 601F1348CB134AD0 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:52:33] 765*2^1395630-1 is not prime. Res64: B0B51F3C4223E332 Time : 0.0 sec. user=mdettweiler [2015-03-18 10:52:33] 619*2^1395631-1 is not prime. Res64: 0A2C5E41E021B3B7 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:01:13] 639*2^1395631-1 is not prime. Res64: 5BA4B04869679E27 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:01:13] 705*2^1395631-1 is not prime. Res64: 6B9E0C2BA60E60ED Time : 0.0 sec. user=mdettweiler [2015-03-18 11:12:16] 849*2^1395631-1 is not prime. Res64: 2EEA088C6AF743D6 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:12:16] 859*2^1395631-1 is not prime. Res64: 0A6198AAAB1C1D89 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:17:33] 815*2^1395632-1 is not prime. Res64: 33972AC2B7AD9D87 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:17:34] 819*2^1395632-1 is not prime. Res64: 9D01D9E2EC8C9A81 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:18:11] 827*2^1395632-1 is not prime. Res64: 91059423FE460714 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:18:12] 935*2^1395632-1 is not prime. Res64: B385B328F2671003 Time : 0.0 sec. user=juhehe [2015-03-18 11:22:35] 861*2^1395631-1 is not prime. Res64: 2249EA8799968723 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:27:16] 727*2^1395633-1 is not prime. Res64: AF1F722EF88C62B3 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:27:17] 901*2^1395633-1 is not prime. Res64: 1E681CFC798DEF74 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:38:04] 605*2^1395634-1 is not prime. Res64: 94ACD66292BA7457 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:38:05] 663*2^1395634-1 is not prime. Res64: F46FF3C0FB98AC29 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:43:16] 783*2^1395634-1 is not prime. Res64: EF8DEA78EF034E8B Time : 0.0 sec. user=mdettweiler [2015-03-18 11:43:16] 827*2^1395634-1 is not prime. Res64: CA4EAF35A6797580 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:44:03] 891*2^1395634-1 is not prime. Res64: 9EBEA7F1B6C0F669 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:44:03] 945*2^1395634-1 is not prime. Res64: B7E05276B2949B4C Time : 0.0 sec. user=mdettweiler [2015-03-18 11:52:56] 679*2^1395635-1 is not prime. Res64: 05FB0288B71BE717 Time : 0.0 sec. user=mdettweiler [2015-03-18 11:52:57] 771*2^1395635-1 is not prime. Res64: 2E71D97DCD5E415D Time : 0.0 sec. user=juhehe [2015-03-18 11:58:00] 601*2^1395635-1 is not prime. Res64: 8BF92AE316DE856C Time : 0.0 sec. user=mdettweiler [2015-03-18 12:03:51] 841*2^1395635-1 is not prime. Res64: D8A92638AA4661A8 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:03:52] 855*2^1395635-1 is not prime. Res64: 496292C25E1C239F Time : 0.0 sec. user=mdettweiler [2015-03-18 12:08:59] 963*2^1395635-1 is not prime. Res64: C9B9E1A4C7D21848 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:08:59] 979*2^1395635-1 is not prime. Res64: 007F10B18A8996E2 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:09:43] 635*2^1395636-1 is not prime. Res64: F0D61118F1E87906 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:09:44] 749*2^1395636-1 is not prime. Res64: 561C92561A981168 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:18:52] 899*2^1395636-1 is not prime. Res64: 7D2E70671EE7DFCB Time : 0.0 sec. user=mdettweiler [2015-03-18 12:18:52] 609*2^1395637-1 is not prime. Res64: AC1FBB7944FB2EE4 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:29:58] 645*2^1395637-1 is not prime. Res64: 34978A09C6984C82 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:29:58] 687*2^1395637-1 is not prime. Res64: 6738558BD48764F1 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:35:07] 759*2^1395637-1 is not prime. Res64: 3B092D60C04B4777 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:35:08] 805*2^1395637-1 is not prime. Res64: 95DCF18F9B0EB378 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:35:43] 835*2^1395637-1 is not prime. Res64: 439F49047B485AA1 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:35:44] 885*2^1395637-1 is not prime. Res64: 1D5039DBEBFD9149 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:44:56] 915*2^1395637-1 is not prime. Res64: 892BBBD3F523FF12 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:44:56] 605*2^1395638-1 is not prime. Res64: C4C490EBC38946DA Time : 0.0 sec. user=mdettweiler [2015-03-18 12:56:16] 623*2^1395638-1 is not prime. Res64: 82C4E779CE5D7425 Time : 0.0 sec. user=mdettweiler [2015-03-18 12:56:17] 635*2^1395638-1 is not prime. Res64: AE150126002A98F1 Time : 0.0 sec. user=mdettweiler [2015-03-18 13:01:25] 731*2^1395638-1 is not prime. Res64: 5C689F5802A6B68C Time : 0.0 sec. user=mdettweiler [2015-03-18 13:01:27] 801*2^1395638-1 is not prime. Res64: FED5014A73EBB14A Time : 0.0 sec. user=mdettweiler [2015-03-18 13:02:07] 827*2^1395638-1 is not prime. Res64: B16CDBADCF3C8FB0 Time : 0.0 sec. user=mdettweiler [2015-03-18 13:02:07] 893*2^1395638-1 is not prime. Res64: 82D0F45256D406D7 Time : 0.0 sec. user=juhehe [2015-03-18 13:11:00] 711*2^1395638-1 is not prime. Res64: 2E5EF32AFFD85669 Time : 0.0 sec. user=mdettweiler [2015-03-18 13:11:44] 923*2^1395638-1 is not prime. Res64: DB84858B306DD5F3 Time : 0.0 sec. user=mdettweiler [2015-03-18 13:11:44] 945*2^1395638-1 is not prime. Res64: D38C3A7C653C0FCB Time : 0.0 sec. user=mdettweiler [2015-03-18 13:22:40] 1001*2^1395638-1 is not prime. Res64: 67CE52B7DEFBA2FA Time : 0.0 sec. user=mdettweiler [2015-03-18 13:22:41] 865*2^1395639-1 is not prime. Res64: F87AB7D7DEC8DA33 Time : 0.0 sec. user=mdettweiler [2015-03-18 13:28:14] 615*2^1395640-1 is not prime. Res64: AA8D26D979FA3FE6 Time : 0.0 sec. user=mdettweiler [2015-03-18 13:28:14] 765*2^1395640-1 is not prime. Res64: E0C5C73C26BB68ED Time : 0.0 sec. user=mdettweiler [2015-03-18 13:28:32] 857*2^1395640-1 is not prime. Res64: BB18E987EAD33F23 Time : 0.0 sec. user=mdettweiler [2015-03-18 13:28:32] 875*2^1395640-1 is not prime. Res64: FC7FAE5BDBE089D7 Time : 0.0 sec. user=mdettweiler [2015-03-18 13:37:36] 627*2^1395641-1 is not prime. Res64: DB2E8F8F24F76604 Time : 0.0 sec. user=mdettweiler [2015-03-18 13:37:37] 631*2^1395641-1 is not prime. Res64: B4F35746626BCEF5 Time : 0.0 sec. user=juhehe [2015-03-18 13:48:20] 915*2^1395640-1 is not prime. Res64: 45EFE9EC35D0E31A Time : 0.0 sec. user=mdettweiler [2015-03-18 13:48:30] 657*2^1395641-1 is not prime. Res64: 0A670757D3A16CBE Time : 0.0 sec. user=mdettweiler [2015-03-18 13:48:31] 747*2^1395641-1 is not prime. Res64: 081CFE50861CCDCA Time : 0.0 sec. user=mdettweiler [2015-03-18 13:54:07] 795*2^1395641-1 is not prime. Res64: 61827006210AA22A Time : 0.0 sec. user=mdettweiler [2015-03-18 13:54:07] 901*2^1395641-1 is not prime. Res64: 79964A7B2CE00224 Time : 0.0 sec. user=mdettweiler [2015-03-18 13:54:18] 711*2^1395642-1 is not prime. Res64: 5C7E584BA62DAD6C Time : 0.0 sec. user=mdettweiler [2015-03-18 13:54:18] 713*2^1395642-1 is not prime. Res64: 7799CF6CFC7396FA Time : 0.0 sec. user=mdettweiler [2015-03-18 14:03:41] 723*2^1395642-1 is not prime. Res64: 3429F27FB77D130A Time : 0.0 sec. user=mdettweiler [2015-03-18 14:03:42] 765*2^1395642-1 is not prime. Res64: C5F2836AEDCFAB93 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:15:13] 777*2^1395642-1 is not prime. Res64: 3F4060BC63118160 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:15:14] 821*2^1395642-1 is not prime. Res64: 720F042702554819 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:21:13] 603*2^1395643-1 is not prime. Res64: B73FCE3263718A9D Time : 0.0 sec. user=mdettweiler [2015-03-18 14:21:13] 693*2^1395643-1 is not prime. Res64: 0E30692D9D843402 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:21:39] 875*2^1395642-1 is not prime. Res64: 4647641967D7D17E Time : 0.0 sec. user=mdettweiler [2015-03-18 14:21:40] 887*2^1395642-1 is not prime. Res64: 69D10C69EE7E6736 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:30:44] 703*2^1395643-1 is not prime. Res64: A3E07E36C2A89250 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:30:44] 765*2^1395643-1 is not prime. Res64: 911E26B7B3E02881 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:42:23] 793*2^1395643-1 is not prime. Res64: C067EC2203ECE559 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:42:23] 853*2^1395643-1 is not prime. Res64: F62049532DAF2E55 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:48:28] 623*2^1395644-1 is not prime. Res64: 2353ED4635E335EE Time : 0.0 sec. user=mdettweiler [2015-03-18 14:48:28] 699*2^1395644-1 is not prime. Res64: F730F94032DA1463 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:49:06] 803*2^1395644-1 is not prime. Res64: 338CE61196E266F8 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:49:06] 825*2^1395644-1 is not prime. Res64: 04A38B4E10FD112B Time : 0.0 sec. user=juhehe [2015-03-18 14:57:44] 873*2^1395644-1 is not prime. Res64: 3D4F45DFABDB1AD8 Time : 0.0 sec. user=mdettweiler [2015-03-18 14:57:54] 885*2^1395644-1 is not prime. Res64: 4576E51D678574FD Time : 0.0 sec. user=mdettweiler [2015-03-18 14:57:54] 903*2^1395644-1 is not prime. Res64: D3C2C68E417ACD22 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:10:19] 915*2^1395644-1 is not prime. Res64: 40933C60B6B4C179 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:10:20] 923*2^1395644-1 is not prime. Res64: D1A3A0CE54A075C4 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:17:15] 935*2^1395644-1 is not prime. Res64: A867124EC37C2630 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:17:15] 983*2^1395644-1 is not prime. Res64: A1F65EAEA90F8945 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:17:58] 639*2^1395645-1 is not prime. Res64: FFA5FABAD99F9B20 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:17:58] 847*2^1395645-1 is not prime. Res64: E86BD397BF5FE1BC Time : 0.0 sec. user=mdettweiler [2015-03-18 15:27:09] 951*2^1395645-1 is not prime. Res64: 36048ECCABA0F8FF Time : 0.0 sec. user=mdettweiler [2015-03-18 15:27:09] 611*2^1395646-1 is not prime. Res64: AC9606AB1425A014 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:39:08] 873*2^1395646-1 is not prime. Res64: A243D8EA6D371B3F Time : 0.0 sec. user=mdettweiler [2015-03-18 15:39:08] 891*2^1395646-1 is not prime. Res64: 574D218C1F7C49E6 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:44:55] 917*2^1395646-1 is not prime. Res64: F372AAE8C42359BD Time : 0.0 sec. user=mdettweiler [2015-03-18 15:44:55] 957*2^1395646-1 is not prime. Res64: 3FF4829C8795CC90 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:45:16] 601*2^1395647-1 is not prime. Res64: 94BA569D0F41CEA1 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:45:17] 651*2^1395647-1 is not prime. Res64: E66DF1971021A0A5 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:54:15] 655*2^1395647-1 is not prime. Res64: 104239DAB759D461 Time : 0.0 sec. user=mdettweiler [2015-03-18 15:54:15] 663*2^1395647-1 is not prime. Res64: 6AEC5DFF75254363 Time : 0.0 sec. user=mdettweiler [2015-03-18 16:05:59] 825*2^1395647-1 is not prime. Res64: ACE082804CA7AC50 Time : 0.0 sec. user=mdettweiler [2015-03-18 16:05:59] 831*2^1395647-1 is not prime. Res64: C3ACBDF50CE1F2DD Time : 0.0 sec. user=juhehe [2015-03-18 16:09:26] 711*2^1395647-1 is not prime. Res64: FCDD659EA81921AD Time : 0.0 sec. user=mdettweiler [2015-03-18 16:12:23] 973*2^1395647-1 is not prime. Res64: 7838503BAC9C34B1 Time : 0.0 sec. user=mdettweiler [2015-03-18 16:12:24] 629*2^1395648-1 is not prime. Res64: 35ADB2156C1911E9 Time : 0.0 sec. user=mdettweiler [2015-03-18 16:13:00] 639*2^1395648-1 is not prime. Res64: 8F4F25733A167E9A Time : 0.0 sec. user=mdettweiler [2015-03-18 16:13:01] 669*2^1395648-1 is not prime. Res64: B0126DA08227C476 Time : 0.0 sec. user=mdettweiler [2015-03-18 16:22:25] 789*2^1395648-1 is not prime. Res64: B41E7CEF4A5C1B0E Time : 0.0 sec. user=mdettweiler [2015-03-18 16:22:26] 809*2^1395648-1 is not prime. Res64: CA13660692F3B5EF Time : 0.0 sec. user=mdettweiler [2015-03-18 16:35:09] 969*2^1395648-1 is not prime. Res64: 8113D96F1B310C61 Time : 0.0 sec. user=mdettweiler [2015-03-18 16:35:09] 975*2^1395648-1 is not prime. Res64: A6E415F58CFED8D9 Time : 0.0 sec. user=mdettweiler [2015-03-18 16:41:33] 729*2^1395649-1 is not prime. Res64: 4389571874CCD721 Time : 0.0 sec. user=mdettweiler [2015-03-18 16:41:33] 741*2^1395649-1 is not prime. Res64: F467920441F9F8EB Time : 0.0 sec. user=mdettweiler [2015-03-18 16:42:17] 807*2^1395649-1 is not prime. Res64: 8729D04D19AA6195 Time : 0.0 sec. user=mdettweiler [2015-03-18 16:42:17] 817*2^1395649-1 is not prime. Res64: A7F361BA7EA706D1 Time : 0.0 sec. user=juhehe [2015-03-18 16:46:47] 615*2^1395649-1 is not prime. Res64: 70AE338C6F315F16 Time : 0.0 sec. user=mdettweiler [2015-03-18 16:51:09] 861*2^1395649-1 is not prime. Res64: 1A0A68D36F6FA07C Time : 0.0 sec. user=mdettweiler [2015-03-18 16:51:09] 985*2^1395649-1 is not prime. Res64: 0953780C2943FF53 Time : 0.0 sec. user=mdettweiler [2015-03-18 17:03:17] 997*2^1395649-1 is not prime. Res64: F2CD09C631033CA8 Time : 0.0 sec. user=mdettweiler [2015-03-18 17:03:18] 735*2^1395650-1 is not prime. Res64: 18D77729985C9D6D Time : 0.0 sec. user=mdettweiler [2015-03-18 17:09:02] 621*2^1395651-1 is not prime. Res64: F18B35071EF593AF Time : 0.0 sec. user=mdettweiler [2015-03-18 17:09:03] 741*2^1395651-1 is not prime. Res64: 2613AA48F06B12D6 Time : 0.0 sec. user=mdettweiler [2015-03-18 17:10:04] 801*2^1395651-1 is not prime. Res64: B2BEF83B45CFE9FA Time : 0.0 sec. user=mdettweiler [2015-03-18 17:10:04] 835*2^1395651-1 is not prime. Res64: D76B18F8C61B473B Time : 0.0 sec. user=mdettweiler [2015-03-18 17:18:43] 909*2^1395651-1 is not prime. Res64: 728FC4C87DADB53D Time : 0.0 sec. user=mdettweiler [2015-03-18 17:18:43] 921*2^1395651-1 is not prime. Res64: 1FD4DAFEA442AAFA Time : 0.0 sec. user=mdettweiler [2015-03-18 17:30:49] 945*2^1395651-1 is not prime. Res64: 4F837E917EDAA06E Time : 0.0 sec. user=mdettweiler [2015-03-18 17:30:49] 955*2^1395651-1 is not prime. Res64: 6B7F089F46BF8211 Time : 0.0 sec. user=mdettweiler [2015-03-18 17:36:08] 609*2^1395652-1 is not prime. Res64: 23CA41CA7EBBCCB3 Time : 0.0 sec. user=mdettweiler [2015-03-18 17:36:09] 629*2^1395652-1 is not prime. Res64: 2FC1E7004AC22AE0 Time : 0.0 sec. user=mdettweiler [2015-03-18 17:37:07] 699*2^1395652-1 is not prime. Res64: BF9B4A79A573313D Time : 0.0 sec. user=mdettweiler [2015-03-18 17:37:07] 855*2^1395652-1 is not prime. Res64: 9E46AFC2D26CE2EA Time : 0.0 sec. user=mdettweiler [2015-03-18 17:45:50] 875*2^1395652-1 is not prime. Res64: E05B3C86D322524F Time : 0.0 sec. user=mdettweiler [2015-03-18 17:45:50] 929*2^1395652-1 is not prime. Res64: 6EE612CEB12820CD Time : 0.0 sec. user=juhehe [2015-03-18 17:57:16] 957*2^1395652-1 is not prime. Res64: C28811B115BEB77C Time : 0.0 sec. user=mdettweiler [2015-03-18 17:57:53] 989*2^1395652-1 is not prime. Res64: 9C327C298D5008C0 Time : 0.0 sec. user=mdettweiler [2015-03-18 17:57:53] 627*2^1395653-1 is not prime. Res64: 6CDF2C4B91EE8255 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:03:07] 685*2^1395653-1 is not prime. Res64: 7990D019A84AECA8 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:03:08] 729*2^1395653-1 is not prime. Res64: 04BC5CB21C1B445D Time : 0.0 sec. user=mdettweiler [2015-03-18 18:04:14] 805*2^1395653-1 is not prime. Res64: 13D1C5D0C8954B13 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:04:15] 829*2^1395653-1 is not prime. Res64: F96E0D2C9DB9C678 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:12:50] 889*2^1395653-1 is not prime. Res64: 9AE31588C395FD8E Time : 0.0 sec. user=mdettweiler [2015-03-18 18:12:50] 955*2^1395653-1 is not prime. Res64: 06482042160B037C Time : 0.0 sec. user=mdettweiler [2015-03-18 18:25:00] 663*2^1395654-1 is not prime. Res64: 3493E80F8B1DA29B Time : 0.0 sec. user=mdettweiler [2015-03-18 18:25:00] 707*2^1395654-1 is not prime. Res64: 2BAF886F955C6691 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:30:33] 833*2^1395654-1 is not prime. Res64: F2DD2FEE7D429001 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:30:34] 851*2^1395654-1 is not prime. Res64: 4E746AD8390C67FE Time : 0.0 sec. user=juhehe [2015-03-18 18:31:02] 621*2^1395654-1 is not prime. Res64: F3D5E8BBD716FC71 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:31:17] 975*2^1395654-1 is not prime. Res64: 84E96C28D52DE92A Time : 0.0 sec. user=mdettweiler [2015-03-18 18:31:17] 639*2^1395655-1 is not prime. Res64: C437336938C9167A Time : 0.0 sec. user=mdettweiler [2015-03-18 18:40:05] 685*2^1395655-1 is not prime. Res64: 0D6C544EED6C3D93 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:40:05] 693*2^1395655-1 is not prime. Res64: 20D6116D354EB991 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:52:45] 805*2^1395655-1 is not prime. Res64: D6090F0DA874BE91 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:52:45] 843*2^1395655-1 is not prime. Res64: E74B4ABA6FA1EF4F Time : 0.0 sec. user=mdettweiler [2015-03-18 18:58:16] 891*2^1395655-1 is not prime. Res64: D7C159723FEB54BC Time : 0.0 sec. user=mdettweiler [2015-03-18 18:58:17] 973*2^1395655-1 is not prime. Res64: ABFA80DDC7DA07CC Time : 0.0 sec. user=mdettweiler [2015-03-18 18:59:13] 615*2^1395656-1 is not prime. Res64: 032FB69F94F1F282 Time : 0.0 sec. user=mdettweiler [2015-03-18 18:59:13] 803*2^1395656-1 is not prime. Res64: 1EE1C340152331FF Time : 0.0 sec. user=mdettweiler [2015-03-18 19:08:55] 827*2^1395656-1 is not prime. Res64: 8174C1523FB1DBED Time : 0.0 sec. user=mdettweiler [2015-03-18 19:08:56] 897*2^1395656-1 is not prime. Res64: E1D42DFF61760D9B Time : 0.0 sec. user=mdettweiler [2015-03-18 19:21:39] 667*2^1395657-1 is not prime. Res64: 528D81DC295BFEBF Time : 0.0 sec. user=mdettweiler [2015-03-18 19:21:40] 871*2^1395657-1 is not prime. Res64: 188EB9094550F3D6 Time : 0.0 sec. user=mdettweiler [2015-03-18 19:26:49] 885*2^1395657-1 is not prime. Res64: EEBB3722FF5F6504 Time : 0.0 sec. user=mdettweiler [2015-03-18 19:26:50] 937*2^1395657-1 is not prime. Res64: F3960993A9CA9548 Time : 0.0 sec. user=mdettweiler [2015-03-18 19:27:23] 647*2^1395658-1 is not prime. Res64: 9C041F8512C54CD7 Time : 0.0 sec. user=mdettweiler [2015-03-18 19:27:23] 747*2^1395658-1 is not prime. Res64: 27EE945A63B13435 Time : 0.0 sec. user=mdettweiler [2015-03-18 19:37:11] 881*2^1395658-1 is not prime. Res64: 2B3785503D1F1A48 Time : 0.0 sec. user=mdettweiler [2015-03-18 19:37:11] 905*2^1395658-1 is not prime. Res64: 38D2B403196783C3 Time : 0.0 sec. user=juhehe [2015-03-18 19:44:15] 857*2^1395658-1 is not prime. Res64: FE169DB705742FEE Time : 0.0 sec. user=mdettweiler [2015-03-18 19:49:43] 915*2^1395658-1 is not prime. Res64: 3D30799755367675 Time : 0.0 sec. user=mdettweiler [2015-03-18 19:49:44] 957*2^1395658-1 is not prime. Res64: 9F7F705DE3019F8D Time : 0.0 sec. user=mdettweiler [2015-03-18 19:54:28] 981*2^1395658-1 is not prime. Res64: F6122A1ED2048FF7 Time : 0.0 sec. user=mdettweiler [2015-03-18 19:54:29] 703*2^1395659-1 is not prime. Res64: D10DBE3C6B530167 Time : 0.0 sec. user=mdettweiler [2015-03-18 19:54:39] 775*2^1395659-1 is not prime. Res64: 26860DDE8F2AFE52 Time : 0.0 sec. user=mdettweiler [2015-03-18 19:54:39] 801*2^1395659-1 is not prime. Res64: AAF5B8495814663C Time : 0.0 sec. user=mdettweiler [2015-03-18 20:03:41] 823*2^1395659-1 is not prime. Res64: 90E51AD039FAE10A Time : 0.0 sec. user=mdettweiler [2015-03-18 20:03:42] 859*2^1395659-1 is not prime. Res64: 361F0AD5BB8A33EA Time : 0.0 sec. user=mdettweiler [2015-03-18 20:15:53] 759*2^1395660-1 is not prime. Res64: 884E8AF4A935B8F9 Time : 0.0 sec. user=mdettweiler [2015-03-18 20:15:53] 777*2^1395660-1 is not prime. Res64: 83EEEB23E5A1603E Time : 0.0 sec. user=mdettweiler [2015-03-18 20:20:31] 933*2^1395660-1 is not prime. Res64: EBADBAB767F669DF Time : 0.0 sec. user=mdettweiler [2015-03-18 20:20:31] 999*2^1395660-1 is not prime. Res64: 88C7C895DDA0981C Time : 0.0 sec. user=mdettweiler [2015-03-18 20:20:49] 619*2^1395661-1 is not prime. Res64: CA69C69180A89477 Time : 0.0 sec. user=mdettweiler [2015-03-18 20:20:49] 651*2^1395661-1 is not prime. Res64: 78401E19698FAEF5 Time : 0.0 sec. user=juhehe [2015-03-18 20:21:36] 889*2^1395659-1 is not prime. Res64: 1AC617334A940C14 Time : 0.0 sec. user=mdettweiler [2015-03-18 20:30:04] 741*2^1395661-1 is not prime. Res64: 723F63A91598E312 Time : 0.0 sec. user=mdettweiler [2015-03-18 20:30:05] 775*2^1395661-1 is not prime. Res64: DC332D9898DA182E Time : 0.0 sec. user=mdettweiler [2015-03-18 20:41:57] 675*2^1395662-1 is not prime. Res64: F0C9218D612E4BD8 Time : 0.0 sec. user=mdettweiler [2015-03-18 20:41:57] 713*2^1395662-1 is not prime. Res64: F77C228A52ECA265 Time : 0.0 sec. user=mdettweiler [2015-03-18 20:46:33] 741*2^1395662-1 is not prime. Res64: 02F631EDF46C5DEF Time : 0.0 sec. user=mdettweiler [2015-03-18 20:46:33] 825*2^1395662-1 is not prime. Res64: 3A3161D2989ABC98 Time : 0.0 sec. user=mdettweiler [2015-03-18 20:46:58] 867*2^1395662-1 is not prime. Res64: A01E0E59E19A0049 Time : 0.0 sec. user=mdettweiler [2015-03-18 20:46:58] 873*2^1395662-1 is not prime. Res64: 931BD4611C359625 Time : 0.0 sec. user=mdettweiler [2015-03-18 20:56:10] 885*2^1395662-1 is not prime. Res64: 9D35DB45B0FBCCFF Time : 0.0 sec. user=mdettweiler [2015-03-18 20:56:10] 1001*2^1395662-1 is not prime. Res64: DFCAD8C742629D6E Time : 0.0 sec. user=mdettweiler [2015-03-18 21:08:01] 643*2^1395663-1 is not prime. Res64: 0199F6102A55B52E Time : 0.0 sec. user=mdettweiler [2015-03-18 21:08:02] 691*2^1395663-1 is not prime. Res64: 476E3D2CF5D63387 Time : 0.0 sec. user=mdettweiler [2015-03-18 21:12:32] 781*2^1395663-1 is not prime. Res64: AC42EEE626E91515 Time : 0.0 sec. user=mdettweiler [2015-03-18 21:12:33] 853*2^1395663-1 is not prime. Res64: DE1BA556C92C45E3 Time : 0.0 sec. user=mdettweiler [2015-03-18 21:13:05] 885*2^1395663-1 is not prime. Res64: 8814918ED84F336C Time : 0.0 sec. user=mdettweiler [2015-03-18 21:13:05] 895*2^1395663-1 is not prime. Res64: 69CF7A0E81759142 Time : 0.0 sec. user=mdettweiler [2015-03-18 21:22:17] 963*2^1395663-1 is not prime. Res64: 640CC8FD5AFB28B8 Time : 0.0 sec. user=mdettweiler [2015-03-18 21:22:18] 605*2^1395664-1 is not prime. Res64: 206901008816F81D Time : 0.0 sec. user=juhehe [2015-03-18 21:33:38] 615*2^1395664-1 is not prime. Res64: 3C360B85E46FE0EB Time : 0.0 sec. user=mdettweiler [2015-03-18 21:34:32] 843*2^1395664-1 is not prime. Res64: 675C1DE0F5319B5E Time : 0.0 sec. user=mdettweiler [2015-03-18 21:34:32] 863*2^1395664-1 is not prime. Res64: F2ECD7E903F97A57 Time : 0.0 sec. user=mdettweiler [2015-03-18 21:39:16] 875*2^1395664-1 is not prime. Res64: 1867F61AC53DB6BC Time : 0.0 sec. user=mdettweiler [2015-03-18 21:39:16] 887*2^1395664-1 is not prime. Res64: 3A303E99900C5515 Time : 0.0 sec. user=mdettweiler [2015-03-18 21:39:32] 939*2^1395664-1 is not prime. Res64: 440AC8542901C109 Time : 0.0 sec. user=mdettweiler [2015-03-18 21:39:32] 959*2^1395664-1 is not prime. Res64: D1559BC36AA6BDA3 Time : 0.0 sec. user=mdettweiler [2015-03-18 21:49:28] 965*2^1395664-1 is not prime. Res64: A1CAE8A1E63EEBCE Time : 0.0 sec. user=mdettweiler [2015-03-18 21:49:28] 669*2^1395665-1 is not prime. Res64: 09E5E7E0FD7A3CE4 Time : 0.0 sec. user=mdettweiler [2015-03-18 22:02:26] 981*2^1395665-1 is not prime. Res64: F7000F787BE51FBC Time : 0.0 sec. user=mdettweiler [2015-03-18 22:02:27] 735*2^1395666-1 is not prime. Res64: 128C0CC8C9960BA4 Time : 0.0 sec. user=mdettweiler [2015-03-18 22:06:41] 807*2^1395666-1 is not prime. Res64: D2E0D91BE5790B32 Time : 0.0 sec. user=mdettweiler [2015-03-18 22:06:41] 833*2^1395666-1 is not prime. Res64: 3294ED8A04A9EC22 Time : 0.0 sec. user=mdettweiler [2015-03-18 22:07:03] 867*2^1395666-1 is not prime. Res64: 52E064CDE3CBA3EF Time : 0.0 sec. user=mdettweiler [2015-03-18 22:07:03] 769*2^1395667-1 is not prime. Res64: BCC1F191C3DCBC0F Time : 0.0 sec. user=juhehe [2015-03-18 22:08:53] 759*2^1395665-1 is not prime. Res64: 292CCF5B156CA114 Time : 0.0 sec. user=mdettweiler [2015-03-18 22:16:37] 939*2^1395667-1 is not prime. Res64: 0375660AEAF595B2 Time : 0.0 sec. user=mdettweiler [2015-03-18 22:16:37] 617*2^1395668-1 is not prime. Res64: 93C0DA196EE5214C Time : 0.0 sec. user=mdettweiler [2015-03-18 22:30:09] 767*2^1395668-1 is not prime. Res64: 1F106774E405AF86 Time : 0.0 sec. user=mdettweiler [2015-03-18 22:30:09] 797*2^1395668-1 is not prime. Res64: 9033EE004F5C9F0A Time : 0.0 sec. user=mdettweiler [2015-03-18 22:34:33] 833*2^1395668-1 is not prime. Res64: B6B87F16D801C5CE Time : 0.0 sec. user=mdettweiler [2015-03-18 22:34:33] 915*2^1395668-1 is not prime. Res64: 34F2BAAE65F196BB Time : 0.0 sec. user=mdettweiler [2015-03-18 22:35:26] 929*2^1395668-1 is not prime. Res64: 8CCB635BD58936DE Time : 0.0 sec. user=mdettweiler [2015-03-18 22:35:26] 745*2^1395669-1 is not prime. Res64: A343135D9DABD486 Time : 0.0 sec. user=mdettweiler [2015-03-18 22:45:27] 789*2^1395669-1 is not prime. Res64: 73B38BF62DEC7319 Time : 0.0 sec. user=mdettweiler [2015-03-18 22:45:27] 847*2^1395669-1 is not prime. Res64: 82ECA768179BC215 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:03:25] 919*2^1395669-1 is not prime. Res64: 75AFE7C4979C1A1B Time : 0.0 sec. user=mdettweiler [2015-03-18 23:03:27] 979*2^1395669-1 is not prime. Res64: 7B7EC4718A773DCB Time : 0.0 sec. user=mdettweiler [2015-03-18 23:09:33] 677*2^1395670-1 is not prime. Res64: D7C49C6DD0485E6C Time : 0.0 sec. user=mdettweiler [2015-03-18 23:09:34] 713*2^1395670-1 is not prime. Res64: FC3755235E201097 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:10:05] 765*2^1395670-1 is not prime. Res64: F26990E0CFF7D763 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:10:05] 773*2^1395670-1 is not prime. Res64: FE185F7DEC065E88 Time : 0.0 sec. user=juhehe [2015-03-18 23:11:24] 665*2^1395670-1 is not prime. Res64: 6DACC3F22E173FD1 Time : 0.0 sec. user=juhehe [2015-03-18 23:22:09] 801*2^1395670-1 is not prime. Res64: 337A31828AAA54D1 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:23:18] 821*2^1395670-1 is not prime. Res64: C8453426AA3E4E05 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:23:18] 887*2^1395670-1 is not prime. Res64: 19AA821DC2C4B4C0 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:43:40] 917*2^1395670-1 is not prime. Res64: E90DC931C8400CFB Time : 0.0 sec. user=mdettweiler [2015-03-18 23:43:40] 753*2^1395671-1 is not prime. Res64: 909F3EAFBC68CED0 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:47:36] 819*2^1395672-1 is not prime. Res64: BEE44F34EDA798BC Time : 0.0 sec. user=mdettweiler [2015-03-18 23:47:36] 691*2^1395673-1 is not prime. Res64: 884826B142CEA016 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:49:02] 993*2^1395671-1 is not prime. Res64: 572498F5006E51C8 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:49:03] 767*2^1395672-1 is not prime. Res64: FCA8FE665BA49975 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:59:08] 999*2^1395673-1 is not prime. Res64: D36DE0C8FD7DA8C0 Time : 0.0 sec. user=mdettweiler [2015-03-18 23:59:08] 675*2^1395674-1 is not prime. Res64: 96A12BD4D6B11DDC Time : 0.0 sec.