user=mdettweiler [2015-10-10 00:11:53] 663*2^1411584-1 is not prime. Res64: 5F19D3918775FEEC Time : 0.0 sec. user=mdettweiler [2015-10-10 00:11:55] 675*2^1411584-1 is not prime. Res64: F4B9AB7609847403 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:17:18] 747*2^1411584-1 is not prime. Res64: 9CFA4AC8C8AD2F3C Time : 0.0 sec. user=mdettweiler [2015-10-10 00:17:19] 765*2^1411584-1 is not prime. Res64: 8BB418ED14F62069 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:17:34] 767*2^1411584-1 is not prime. Res64: EC9BA4679D266AB2 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:17:34] 837*2^1411584-1 is not prime. Res64: 5CC8847C014C5E2B Time : 0.0 sec. user=mdettweiler [2015-10-10 00:17:40] 843*2^1411584-1 is not prime. Res64: 9336AE42456A57B0 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:17:41] 857*2^1411584-1 is not prime. Res64: C7DF141C4A7EA499 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:29:59] 863*2^1411584-1 is not prime. Res64: F4BEF324CDBCF025 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:29:59] 705*2^1411585-1 is not prime. Res64: 31557BD30E7B09A8 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:35:25] 847*2^1411585-1 is not prime. Res64: D86CBA979845C86A Time : 0.0 sec. user=mdettweiler [2015-10-10 00:35:25] 877*2^1411585-1 is not prime. Res64: 54C38F051E72C6B1 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:35:33] 895*2^1411585-1 is not prime. Res64: B0BF5657D7BC81EA Time : 0.0 sec. user=mdettweiler [2015-10-10 00:35:33] 909*2^1411585-1 is not prime. Res64: 2000C8829AC3E3E9 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:35:35] 955*2^1411585-1 is not prime. Res64: 4DBA083260670A7A Time : 0.0 sec. user=mdettweiler [2015-10-10 00:35:35] 627*2^1411586-1 is not prime. Res64: 89C8B1FDD2D07C22 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:47:53] 633*2^1411586-1 is not prime. Res64: FFED7BEC3E87338A Time : 0.0 sec. user=mdettweiler [2015-10-10 00:47:54] 677*2^1411586-1 is not prime. Res64: 55AE3D1C8E900652 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:53:21] 705*2^1411586-1 is not prime. Res64: 130D34255CDA3797 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:53:22] 747*2^1411586-1 is not prime. Res64: 5617750811AEF8D7 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:53:26] 843*2^1411586-1 is not prime. Res64: 2853D6C119B22036 Time : 0.0 sec. user=mdettweiler [2015-10-10 00:53:27] 767*2^1411586-1 is not prime. Res64: 9C3B9F2F0ED9583F Time : 0.0 sec. user=mdettweiler [2015-10-10 00:53:27] 957*2^1411586-1 is not prime. Res64: 1EC9A1B9F15FD08A Time : 0.0 sec. user=mdettweiler [2015-10-10 00:53:27] 785*2^1411586-1 is not prime. Res64: 1A03F686AD405FF9 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:06:01] 609*2^1411587-1 is not prime. Res64: 2A1190A9132127F4 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:06:02] 619*2^1411587-1 is not prime. Res64: A57DE51D4F9E7EA1 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:11:17] 669*2^1411587-1 is not prime. Res64: 526943CFE5F5D48C Time : 0.0 sec. user=mdettweiler [2015-10-10 01:11:18] 691*2^1411587-1 is not prime. Res64: 75477AD318728E69 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:11:19] 765*2^1411587-1 is not prime. Res64: 465B7AE55045B090 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:11:19] 903*2^1411587-1 is not prime. Res64: AE71D556CBC6DD9A Time : 0.0 sec. user=mdettweiler [2015-10-10 01:11:27] 973*2^1411587-1 is not prime. Res64: 069E85A7F97DA7C0 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:11:27] 979*2^1411587-1 is not prime. Res64: 7DC46785B4AEAE12 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:24:24] 615*2^1411588-1 is not prime. Res64: E1488A0F2EFD8CAF Time : 0.0 sec. user=mdettweiler [2015-10-10 01:24:25] 665*2^1411588-1 is not prime. Res64: 0DA41014CD92BBAF Time : 0.0 sec. user=mdettweiler [2015-10-10 01:29:16] 797*2^1411588-1 is not prime. Res64: 172FAAD60B06E8BA Time : 0.0 sec. user=mdettweiler [2015-10-10 01:29:17] 839*2^1411588-1 is not prime. Res64: C084F5D869874940 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:29:17] 803*2^1411588-1 is not prime. Res64: 0073F839900C5216 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:29:18] 691*2^1411589-1 is not prime. Res64: BAEF276BF8139543 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:29:20] 727*2^1411589-1 is not prime. Res64: 3844C2A6779EC220 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:29:21] 747*2^1411589-1 is not prime. Res64: F926B4315BAB6AE2 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:42:20] 867*2^1411589-1 is not prime. Res64: 662887F031D8D657 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:42:20] 647*2^1411590-1 is not prime. Res64: CC4BF0098C7C3425 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:47:14] 761*2^1411590-1 is not prime. Res64: 824BB970236D0677 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:47:15] 825*2^1411590-1 is not prime. Res64: 2FE7C8332C1A3661 Time : 0.0 sec. user=mdettweiler [2015-10-10 01:47:15] 681*2^1411590-1 is not prime. Res64: 73024B86E3E5080D Time : 0.0 sec. user=mdettweiler [2015-10-10 01:47:15] 741*2^1411590-1 is not prime. Res64: 023765F616A169BC Time : 0.0 sec. user=mdettweiler [2015-10-10 01:47:17] 971*2^1411590-1 is not prime. Res64: 3FFD519FBC47434A Time : 0.0 sec. user=mdettweiler [2015-10-10 01:47:17] 977*2^1411590-1 is not prime. Res64: 1D629465DEE1ED77 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:00:25] 615*2^1411591-1 is not prime. Res64: 44A7AF14AD5F38D2 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:00:26] 715*2^1411591-1 is not prime. Res64: 20CA96BAC79374F8 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:05:06] 741*2^1411591-1 is not prime. Res64: D185CB2AB78B7FF4 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:05:07] 783*2^1411591-1 is not prime. Res64: 123C800C0359CCDE Time : 0.0 sec. user=mdettweiler [2015-10-10 02:05:09] 889*2^1411591-1 is not prime. Res64: F4B87A7F59363BA9 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:05:11] 931*2^1411591-1 is not prime. Res64: 8AC5733E480C2EE7 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:05:12] 789*2^1411591-1 is not prime. Res64: 4F64B1DFF752F1C8 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:05:14] 855*2^1411591-1 is not prime. Res64: FECF9B31B3E0978F Time : 0.0 sec. user=mdettweiler [2015-10-10 02:19:35] 635*2^1411592-1 is not prime. Res64: EA8E003798113259 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:19:36] 675*2^1411592-1 is not prime. Res64: 1F787996C570AB25 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:23:48] 983*2^1411592-1 is not prime. Res64: F2DABBC286496212 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:23:49] 615*2^1411593-1 is not prime. Res64: EB4C0E5FE3C805AC Time : 0.0 sec. user=mdettweiler [2015-10-10 02:24:20] 717*2^1411592-1 is not prime. Res64: 321CFB46D40A0ABB Time : 0.0 sec. user=mdettweiler [2015-10-10 02:24:20] 935*2^1411592-1 is not prime. Res64: 0F1ECF8299870040 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:24:22] 739*2^1411593-1 is not prime. Res64: 6558070DC8C506F3 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:24:23] 949*2^1411593-1 is not prime. Res64: D5C6D27B76441A77 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:37:37] 605*2^1411594-1 is not prime. Res64: 4E6633F67C2A1D3F Time : 0.0 sec. user=mdettweiler [2015-10-10 02:37:38] 645*2^1411594-1 is not prime. Res64: 2109A3F48C3CC8AD Time : 0.0 sec. user=mdettweiler [2015-10-10 02:41:53] 831*2^1411594-1 is not prime. Res64: D39A59ED071BB886 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:41:53] 857*2^1411594-1 is not prime. Res64: 47131F6D0DDF144F Time : 0.0 sec. user=mdettweiler [2015-10-10 02:42:14] 881*2^1411594-1 is not prime. Res64: 64F4950D9DDE3C72 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:42:14] 981*2^1411594-1 is not prime. Res64: 3E98ABEE8741EAAA Time : 0.0 sec. user=mdettweiler [2015-10-10 02:42:29] 655*2^1411595-1 is not prime. Res64: 325B23FBC6D256E5 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:42:29] 789*2^1411595-1 is not prime. Res64: AA2C3EE5FEF1E50B Time : 0.0 sec. user=mdettweiler [2015-10-10 02:55:32] 883*2^1411595-1 is not prime. Res64: ADE3854D91389BE7 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:55:33] 963*2^1411595-1 is not prime. Res64: BF415AA3B59CF182 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:59:49] 999*2^1411595-1 is not prime. Res64: C1DA9784789CB151 Time : 0.0 sec. user=mdettweiler [2015-10-10 02:59:50] 695*2^1411596-1 is not prime. Res64: BB68C4F32703E375 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:00:05] 773*2^1411596-1 is not prime. Res64: 7A07E25F2A3712CA Time : 0.0 sec. user=mdettweiler [2015-10-10 03:00:05] 887*2^1411596-1 is not prime. Res64: 4B8713695C2CE622 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:00:26] 987*2^1411596-1 is not prime. Res64: A278B4E2C811E281 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:00:27] 615*2^1411597-1 is not prime. Res64: 9043115FA107CD73 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:13:27] 955*2^1411597-1 is not prime. Res64: F20B4DB3242477B5 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:13:28] 975*2^1411597-1 is not prime. Res64: D20BCD2890676A62 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:17:48] 997*2^1411597-1 is not prime. Res64: DB58E1802F517D6B Time : 0.0 sec. user=mdettweiler [2015-10-10 03:17:49] 999*2^1411597-1 is not prime. Res64: F45F4696903FAD03 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:18:00] 603*2^1411598-1 is not prime. Res64: 821AC8B6DECB3A18 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:18:00] 635*2^1411598-1 is not prime. Res64: C8903089F8A60B2B Time : 0.0 sec. user=mdettweiler [2015-10-10 03:18:19] 677*2^1411598-1 is not prime. Res64: F779716C9FD4993D Time : 0.0 sec. user=mdettweiler [2015-10-10 03:18:19] 683*2^1411598-1 is not prime. Res64: 8F51D58DE29AA7A3 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:31:51] 705*2^1411598-1 is not prime. Res64: 31ADADCC9B9452F7 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:31:53] 755*2^1411598-1 is not prime. Res64: 536FA423E6615040 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:36:17] 773*2^1411598-1 is not prime. Res64: 4E68B5497C818BB5 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:36:18] 843*2^1411598-1 is not prime. Res64: 4EA59056CA54F965 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:36:45] 977*2^1411598-1 is not prime. Res64: EAC981C9140AD09F Time : 0.0 sec. user=mdettweiler [2015-10-10 03:36:45] 897*2^1411598-1 is not prime. Res64: 014E7A32F8C58E8A Time : 0.0 sec. user=mdettweiler [2015-10-10 03:36:45] 705*2^1411599-1 is not prime. Res64: DEC2A2FE8A43209A Time : 0.0 sec. user=mdettweiler [2015-10-10 03:36:46] 971*2^1411598-1 is not prime. Res64: AED60A2B0C7D2366 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:50:13] 751*2^1411599-1 is not prime. Res64: 7A519028EB0D4DBA Time : 0.0 sec. user=mdettweiler [2015-10-10 03:50:14] 789*2^1411599-1 is not prime. Res64: C451F2CB95972A2B Time : 0.0 sec. user=mdettweiler [2015-10-10 03:54:17] 861*2^1411599-1 is not prime. Res64: 3E176A11A60DDE96 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:54:18] 873*2^1411599-1 is not prime. Res64: E9E7F8FDFB35B725 Time : 0.0 sec. user=mdettweiler [2015-10-10 03:54:44] 885*2^1411599-1 is not prime. Res64: C2D8A7BDA3B4E51B Time : 0.0 sec. user=mdettweiler [2015-10-10 03:54:44] 891*2^1411599-1 is not prime. Res64: 5A675BD4B98DDCDD Time : 0.0 sec. user=mdettweiler [2015-10-10 03:54:49] 895*2^1411599-1 is not prime. Res64: 95C06C6CB3CDEC5D Time : 0.0 sec. user=mdettweiler [2015-10-10 03:54:50] 985*2^1411599-1 is not prime. Res64: AC4DF765FA73073A Time : 0.0 sec. user=mdettweiler [2015-10-10 04:08:11] 773*2^1411600-1 is not prime. Res64: 9F71489E4564FDC1 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:08:11] 863*2^1411600-1 is not prime. Res64: 0FBEEC7C18451A72 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:12:16] 915*2^1411600-1 is not prime. Res64: D1BE359956C80E8D Time : 0.0 sec. user=mdettweiler [2015-10-10 04:12:17] 917*2^1411600-1 is not prime. Res64: 7B092BF4D8BCDEC1 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:12:40] 927*2^1411600-1 is not prime. Res64: C40D578A5A912050 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:12:40] 685*2^1411601-1 is not prime. Res64: 093C0A7E0BED5991 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:12:51] 735*2^1411601-1 is not prime. Res64: B01A145E9C11E866 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:12:51] 789*2^1411601-1 is not prime. Res64: 9A6AB251B6A25980 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:26:04] 861*2^1411601-1 is not prime. Res64: 4502FDF9D9F12562 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:26:04] 889*2^1411601-1 is not prime. Res64: 1775F28069CB0FCF Time : 0.0 sec. user=mdettweiler [2015-10-10 04:30:16] 957*2^1411601-1 is not prime. Res64: 5AB07627E1DD8650 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:30:17] 723*2^1411602-1 is not prime. Res64: E6C012A10CC8C6A9 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:30:35] 755*2^1411602-1 is not prime. Res64: 0D9C266DF86560BD Time : 0.0 sec. user=mdettweiler [2015-10-10 04:30:36] 815*2^1411602-1 is not prime. Res64: 2698D1D36FBF8FDE Time : 0.0 sec. user=mdettweiler [2015-10-10 04:30:40] 843*2^1411602-1 is not prime. Res64: 990AC027ACAC0FEC Time : 0.0 sec. user=mdettweiler [2015-10-10 04:30:41] 867*2^1411602-1 is not prime. Res64: C724BD4BB913A050 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:43:58] 903*2^1411602-1 is not prime. Res64: E33A778A0C19D60B Time : 0.0 sec. user=mdettweiler [2015-10-10 04:43:59] 709*2^1411603-1 is not prime. Res64: F2BED2E20C8EE641 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:48:11] 925*2^1411603-1 is not prime. Res64: 3EA0256B51DE5F58 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:48:12] 939*2^1411603-1 is not prime. Res64: EA00377F9807A853 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:48:29] 961*2^1411603-1 is not prime. Res64: 80C6C48B12949969 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:48:29] 985*2^1411603-1 is not prime. Res64: 1FD090F6729DA7D5 Time : 0.0 sec. user=mdettweiler [2015-10-10 04:48:33] 689*2^1411604-1 is not prime. Res64: 1D72ADBF1A7BEAED Time : 0.0 sec. user=mdettweiler [2015-10-10 04:48:33] 707*2^1411604-1 is not prime. Res64: 27B58C2916488D2A Time : 0.0 sec. user=mdettweiler [2015-10-10 05:01:49] 625*2^1411605-1 is not prime. Res64: BA255B1F44F5E692 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:01:50] 717*2^1411605-1 is not prime. Res64: FF444B59C370281C Time : 0.0 sec. user=mdettweiler [2015-10-10 05:06:13] 795*2^1411605-1 is not prime. Res64: 4C61EDE7F60CD41D Time : 0.0 sec. user=mdettweiler [2015-10-10 05:06:14] 937*2^1411605-1 is not prime. Res64: 4C65F5A2F899260A Time : 0.0 sec. user=mdettweiler [2015-10-10 05:06:16] 979*2^1411605-1 is not prime. Res64: A95842CF68CB5C82 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:06:23] 623*2^1411606-1 is not prime. Res64: E85CA26172B55BA0 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:06:24] 611*2^1411606-1 is not prime. Res64: A12A2C446C190B4A Time : 0.0 sec. user=mdettweiler [2015-10-10 05:06:26] 647*2^1411606-1 is not prime. Res64: CB148F7EA598A145 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:20:00] 705*2^1411606-1 is not prime. Res64: 6F0BC90D7C03D484 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:20:00] 813*2^1411606-1 is not prime. Res64: AD4FA8E1E3DF5096 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:24:56] 693*2^1411607-1 is not prime. Res64: 24AC43F621BFAD2E Time : 0.0 sec. user=mdettweiler [2015-10-10 05:24:57] 729*2^1411607-1 is not prime. Res64: A16BA451CEBAF53D Time : 0.0 sec. user=mdettweiler [2015-10-10 05:25:06] 873*2^1411606-1 is not prime. Res64: E586DAD56730FC10 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:25:06] 651*2^1411607-1 is not prime. Res64: 9240D3EF23F65C49 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:25:12] 813*2^1411607-1 is not prime. Res64: 14648FB2BAD49CBE Time : 0.0 sec. user=mdettweiler [2015-10-10 05:25:12] 885*2^1411607-1 is not prime. Res64: FDF363EA1B2C5FCB Time : 0.0 sec. user=mdettweiler [2015-10-10 05:37:56] 915*2^1411607-1 is not prime. Res64: 806E9C0B3016EC63 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:37:56] 939*2^1411607-1 is not prime. Res64: E22A6B96E90377AB Time : 0.0 sec. user=mdettweiler [2015-10-10 05:42:48] 979*2^1411607-1 is not prime. Res64: C2D7D7925876D01B Time : 0.0 sec. user=mdettweiler [2015-10-10 05:42:49] 657*2^1411608-1 is not prime. Res64: D38F0B618D9DA5D3 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:42:55] 663*2^1411608-1 is not prime. Res64: F1987EEAA51AE096 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:42:56] 845*2^1411608-1 is not prime. Res64: BB3E50E5E7E97B58 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:43:07] 927*2^1411608-1 is not prime. Res64: 5D51A9EDD0ECA258 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:43:08] 675*2^1411609-1 is not prime. Res64: 07D8CB3A2708E836 Time : 0.0 sec. user=mdettweiler [2015-10-10 05:55:58] 735*2^1411610-1 is not prime. Res64: 3431507F24EDD7FE Time : 0.0 sec. user=mdettweiler [2015-10-10 05:55:58] 741*2^1411610-1 is not prime. Res64: B3E32809C405749C Time : 0.0 sec. user=mdettweiler [2015-10-10 06:00:49] 783*2^1411610-1 is not prime. Res64: A0EDBE657BBC8123 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:00:50] 801*2^1411610-1 is not prime. Res64: 2B2AB4BEB5CCBBE2 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:00:57] 825*2^1411610-1 is not prime. Res64: 7B2B48D3BE0EFC57 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:00:58] 827*2^1411610-1 is not prime. Res64: 69F7E6DFE0086F11 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:01:06] 941*2^1411610-1 is not prime. Res64: CB590DB6B527B868 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:01:07] 675*2^1411611-1 is not prime. Res64: 96A980E5AFBCD5D8 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:13:56] 801*2^1411611-1 is not prime. Res64: 5BFBDF20696320F0 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:13:56] 835*2^1411611-1 is not prime. Res64: 46C59FA3F84D384E Time : 0.0 sec. user=mdettweiler [2015-10-10 06:18:49] 871*2^1411611-1 is not prime. Res64: 4F2E325DB5C64425 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:18:49] 895*2^1411611-1 is not prime. Res64: E48EFC7523CB4BB1 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:18:58] 903*2^1411611-1 is not prime. Res64: 334C21CA6D32E5A9 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:18:58] 617*2^1411612-1 is not prime. Res64: FE958312B77BA5F4 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:19:04] 653*2^1411612-1 is not prime. Res64: 995E626368F1AD49 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:19:04] 689*2^1411612-1 is not prime. Res64: 4493C947F26FA728 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:32:01] 885*2^1411612-1 is not prime. Res64: B8E81F1C007C3F07 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:32:01] 899*2^1411612-1 is not prime. Res64: C0BD00E8D5C9819C Time : 0.0 sec. user=mdettweiler [2015-10-10 06:36:41] 903*2^1411612-1 is not prime. Res64: FCF7EFED64868978 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:36:41] 957*2^1411612-1 is not prime. Res64: EBE3E8A15D010A90 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:36:55] 867*2^1411613-1 is not prime. Res64: 673CCE43A9553687 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:36:56] 889*2^1411613-1 is not prime. Res64: 51C5DAD7BA32B592 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:36:57] 729*2^1411613-1 is not prime. Res64: 4B9DF903D7E7ECE3 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:36:58] 789*2^1411613-1 is not prime. Res64: 8A3206B838A7F3A9 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:49:59] 925*2^1411613-1 is not prime. Res64: A131DBEDAD8D2485 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:49:59] 937*2^1411613-1 is not prime. Res64: ECE3344C8A2E2E4F Time : 0.0 sec. user=mdettweiler [2015-10-10 06:54:45] 611*2^1411614-1 is not prime. Res64: 17371B98B16EE5EE Time : 0.0 sec. user=mdettweiler [2015-10-10 06:54:45] 627*2^1411614-1 is not prime. Res64: F2651D98298E205D Time : 0.0 sec. user=mdettweiler [2015-10-10 06:54:52] 671*2^1411614-1 is not prime. Res64: AC1DB742251B1ADF Time : 0.0 sec. user=mdettweiler [2015-10-10 06:54:53] 677*2^1411614-1 is not prime. Res64: 0D7F57CFF26F0863 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:54:58] 755*2^1411614-1 is not prime. Res64: E7767D3901471B68 Time : 0.0 sec. user=mdettweiler [2015-10-10 06:54:59] 765*2^1411614-1 is not prime. Res64: CCE88C51A9A9F1FB Time : 0.0 sec. user=mdettweiler [2015-10-10 07:07:57] 783*2^1411614-1 is not prime. Res64: AAA5A9ADE7CB68B1 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:07:58] 825*2^1411614-1 is not prime. Res64: 01E18B7858DDA2E2 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:12:41] 903*2^1411614-1 is not prime. Res64: C1F83832F2E3D246 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:12:41] 983*2^1411614-1 is not prime. Res64: 876619A51CAD3390 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:12:52] 759*2^1411615-1 is not prime. Res64: B6AB1DA7FED98F69 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:12:52] 793*2^1411615-1 is not prime. Res64: 01D8CBD99ADD51D4 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:12:57] 619*2^1411615-1 is not prime. Res64: 2448363FB26AFFE4 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:12:58] 673*2^1411615-1 is not prime. Res64: 16126E8D033C593B Time : 0.0 sec. user=mdettweiler [2015-10-10 07:26:02] 985*2^1411615-1 is not prime. Res64: C70C8EDADFB6BB6B Time : 0.0 sec. user=mdettweiler [2015-10-10 07:26:03] 617*2^1411616-1 is not prime. Res64: 92B7E03CA5D92079 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:30:40] 633*2^1411616-1 is not prime. Res64: 8EFF53BAAE88047F Time : 0.0 sec. user=mdettweiler [2015-10-10 07:30:40] 677*2^1411616-1 is not prime. Res64: 4F72349F564C9966 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:30:48] 693*2^1411616-1 is not prime. Res64: 335B95CBEDFDEAF0 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:30:49] 755*2^1411616-1 is not prime. Res64: 476A4962B5D58F67 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:30:53] 777*2^1411616-1 is not prime. Res64: 9ED9D4E5260F546A Time : 0.0 sec. user=mdettweiler [2015-10-10 07:30:54] 827*2^1411616-1 is not prime. Res64: 514DE3406313D85A Time : 0.0 sec. user=mdettweiler [2015-10-10 07:43:57] 983*2^1411616-1 is not prime. Res64: AB3CE6B5B901F866 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:43:58] 607*2^1411617-1 is not prime. Res64: 6D5463EAE54716B8 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:48:31] 795*2^1411617-1 is not prime. Res64: 09EAFEF33DD0D296 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:48:32] 807*2^1411617-1 is not prime. Res64: 38D5DBD48C0F1651 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:48:42] 817*2^1411617-1 is not prime. Res64: 890F2F21C2E03F17 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:48:42] 889*2^1411617-1 is not prime. Res64: B81B9861334F24B5 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:48:46] 945*2^1411617-1 is not prime. Res64: 5657AF44F988FE07 Time : 0.0 sec. user=mdettweiler [2015-10-10 07:48:47] 955*2^1411617-1 is not prime. Res64: BFBCD9C8CCFEEDAB Time : 0.0 sec. user=mdettweiler [2015-10-10 08:01:48] 651*2^1411618-1 is not prime. Res64: 13C751396E41C3A6 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:01:51] 743*2^1411618-1 is not prime. Res64: 0AA6D0E579FAD65C Time : 0.0 sec. user=mdettweiler [2015-10-10 08:06:28] 765*2^1411618-1 is not prime. Res64: 7A0D263A5ECD0BA1 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:06:30] 855*2^1411618-1 is not prime. Res64: 6F08D8F76A667B0C Time : 0.0 sec. user=mdettweiler [2015-10-10 08:06:33] 887*2^1411618-1 is not prime. Res64: 44696CEAF28F3FB9 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:06:35] 619*2^1411619-1 is not prime. Res64: DD0DC8802D96C8FC Time : 0.0 sec. user=mdettweiler [2015-10-10 08:06:48] 703*2^1411619-1 is not prime. Res64: F11A6D506DB33741 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:06:49] 741*2^1411619-1 is not prime. Res64: A058F0A91B205649 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:19:50] 753*2^1411619-1 is not prime. Res64: E51A1662A11ECD97 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:19:50] 759*2^1411619-1 is not prime. Res64: 747A145D4FA0A23A Time : 0.0 sec. user=mdettweiler [2015-10-10 08:24:28] 973*2^1411619-1 is not prime. Res64: 926C4D85FF63D7A4 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:24:28] 979*2^1411619-1 is not prime. Res64: 8410FC87C3C0CBE0 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:24:34] 699*2^1411620-1 is not prime. Res64: A7984FFA4E0D85FA Time : 0.0 sec. user=mdettweiler [2015-10-10 08:24:34] 795*2^1411620-1 is not prime. Res64: A7A1A364EC8B7588 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:24:38] 825*2^1411620-1 is not prime. Res64: 7893994223B0B967 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:24:38] 873*2^1411620-1 is not prime. Res64: E17056712675228F Time : 0.0 sec. user=mdettweiler [2015-10-10 08:37:53] 875*2^1411620-1 is not prime. Res64: AA2FDEF1530EAA64 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:37:53] 621*2^1411621-1 is not prime. Res64: 1C2F9A2CA5CA80DD Time : 0.0 sec. user=mdettweiler [2015-10-10 08:42:24] 649*2^1411621-1 is not prime. Res64: 8ADE973FC074599D Time : 0.0 sec. user=mdettweiler [2015-10-10 08:42:25] 687*2^1411621-1 is not prime. Res64: 0174EF36E06D76B1 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:42:25] 799*2^1411621-1 is not prime. Res64: E371EEE554130CC7 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:42:25] 825*2^1411621-1 is not prime. Res64: 1F5782FD976446E0 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:42:37] 615*2^1411622-1 is not prime. Res64: 203617969A4EC6DE Time : 0.0 sec. user=mdettweiler [2015-10-10 08:42:38] 827*2^1411622-1 is not prime. Res64: 8F13F88FE4627B7E Time : 0.0 sec. user=mdettweiler [2015-10-10 08:55:47] 963*2^1411622-1 is not prime. Res64: C854090142BFD477 Time : 0.0 sec. user=mdettweiler [2015-10-10 08:55:47] 625*2^1411623-1 is not prime. Res64: C440738960D59859 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:00:14] 871*2^1411623-1 is not prime. Res64: 7680569148F2BD75 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:00:16] 943*2^1411623-1 is not prime. Res64: CDF699E78D9C2114 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:00:18] 679*2^1411623-1 is not prime. Res64: B2939C884298725C Time : 0.0 sec. user=mdettweiler [2015-10-10 09:00:19] 775*2^1411623-1 is not prime. Res64: 7A0D5E2B03516E8C Time : 0.0 sec. user=mdettweiler [2015-10-10 09:00:28] 963*2^1411623-1 is not prime. Res64: 4BC400633D928F62 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:00:29] 605*2^1411624-1 is not prime. Res64: 6C72D1C3885B70B5 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:13:39] 615*2^1411624-1 is not prime. Res64: D08316441C6FC6F4 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:13:40] 657*2^1411624-1 is not prime. Res64: F75B9878DC292326 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:18:15] 719*2^1411624-1 is not prime. Res64: 645FF0B4700959D9 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:18:16] 827*2^1411624-1 is not prime. Res64: DFDDC885E6EE389E Time : 0.0 sec. user=mdettweiler [2015-10-10 09:18:21] 855*2^1411624-1 is not prime. Res64: 2E5F9ACD851B7648 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:18:22] 899*2^1411624-1 is not prime. Res64: C01FB7472648379D Time : 0.0 sec. user=mdettweiler [2015-10-10 09:18:27] 903*2^1411624-1 is not prime. Res64: 19A5B99554890002 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:18:28] 685*2^1411625-1 is not prime. Res64: 66B0D72CD48E0996 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:32:01] 759*2^1411625-1 is not prime. Res64: E2BBA4D2AB79AA92 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:32:01] 841*2^1411625-1 is not prime. Res64: 50CFF58522765AA0 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:36:14] 949*2^1411625-1 is not prime. Res64: B78D8DF6B2B65F78 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:36:14] 657*2^1411626-1 is not prime. Res64: 729FE42FB568C3E3 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:36:17] 871*2^1411625-1 is not prime. Res64: A490DA773D39874B Time : 0.0 sec. user=mdettweiler [2015-10-10 09:36:18] 915*2^1411625-1 is not prime. Res64: DDD59FD1E295523E Time : 0.0 sec. user=mdettweiler [2015-10-10 09:36:31] 777*2^1411626-1 is not prime. Res64: BFABF5F15BC43B62 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:36:32] 615*2^1411627-1 is not prime. Res64: 8533E104BCDBBEA6 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:50:00] 619*2^1411627-1 is not prime. Res64: EACC2DF10908C980 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:50:00] 633*2^1411627-1 is not prime. Res64: 457866737C8E86C2 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:54:06] 645*2^1411627-1 is not prime. Res64: D84D14FFC0E55A1A Time : 0.0 sec. user=mdettweiler [2015-10-10 09:54:07] 685*2^1411627-1 is not prime. Res64: 5617BD8A3FEB2603 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:54:30] 841*2^1411627-1 is not prime. Res64: 47F9D8ED5A909035 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:54:30] 861*2^1411627-1 is not prime. Res64: 9785E6869A9A5B03 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:54:32] 975*2^1411627-1 is not prime. Res64: 17B763BEF3A6B6D0 Time : 0.0 sec. user=mdettweiler [2015-10-10 09:54:33] 979*2^1411627-1 is not prime. Res64: CCFC96985312D883 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:08:00] 629*2^1411628-1 is not prime. Res64: 6E92EFA969BF0140 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:08:01] 663*2^1411628-1 is not prime. Res64: 313E6ECF358B8DE6 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:12:05] 725*2^1411628-1 is not prime. Res64: EC0A361745F3253F Time : 0.0 sec. user=mdettweiler [2015-10-10 10:12:06] 749*2^1411628-1 is not prime. Res64: CAC3B75CC79537AE Time : 0.0 sec. user=mdettweiler [2015-10-10 10:12:26] 869*2^1411628-1 is not prime. Res64: 9E7205E9EC6D5BA5 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:12:26] 923*2^1411628-1 is not prime. Res64: 6B6A52715A6035B9 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:12:27] 767*2^1411628-1 is not prime. Res64: 44BF149400BBF3A5 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:12:27] 839*2^1411628-1 is not prime. Res64: 52CD87E25DE6F766 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:26:03] 649*2^1411629-1 is not prime. Res64: B6FFFDAE36F46FCD Time : 0.0 sec. user=mdettweiler [2015-10-10 10:26:04] 769*2^1411629-1 is not prime. Res64: FDD9AC5652929579 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:29:58] 781*2^1411629-1 is not prime. Res64: 623953EDEB1C3EFE Time : 0.0 sec. user=mdettweiler [2015-10-10 10:29:58] 829*2^1411629-1 is not prime. Res64: 5993796A7817E958 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:30:17] 949*2^1411629-1 is not prime. Res64: B65C1A0D41C5D797 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:30:18] 951*2^1411629-1 is not prime. Res64: D53B30C194DCF308 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:30:21] 877*2^1411629-1 is not prime. Res64: FAFF0AA39BEA0CDF Time : 0.0 sec. user=mdettweiler [2015-10-10 10:30:21] 885*2^1411629-1 is not prime. Res64: 50A19BF290B45E40 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:43:59] 623*2^1411630-1 is not prime. Res64: 8C407D014785A739 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:44:00] 675*2^1411630-1 is not prime. Res64: AACBD760D5E2A339 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:47:52] 731*2^1411630-1 is not prime. Res64: A44A7AA45E262C5C Time : 0.0 sec. user=mdettweiler [2015-10-10 10:47:53] 827*2^1411630-1 is not prime. Res64: BA33219A5102C62B Time : 0.0 sec. user=mdettweiler [2015-10-10 10:48:12] 861*2^1411630-1 is not prime. Res64: 0A1BA65A3BF2AF31 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:48:13] 693*2^1411631-1 is not prime. Res64: 3EA9F43A2501AFC4 Time : 0.0 sec. user=mdettweiler [2015-10-10 10:48:15] 973*2^1411631-1 is not prime. Res64: CC549113DBFA94AF Time : 0.0 sec. user=mdettweiler [2015-10-10 10:48:15] 979*2^1411631-1 is not prime. Res64: B6A40BDFF7D2E898 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:01:55] 689*2^1411632-1 is not prime. Res64: 2CD07F159671A2AA Time : 0.0 sec. user=mdettweiler [2015-10-10 11:01:58] 695*2^1411632-1 is not prime. Res64: 0F6BEDEAD2168167 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:05:45] 767*2^1411632-1 is not prime. Res64: 06E4A3EA720090B6 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:05:49] 899*2^1411632-1 is not prime. Res64: 186420A3318833F5 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:06:04] 909*2^1411632-1 is not prime. Res64: 9F44030B29DEC7D2 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:06:07] 619*2^1411633-1 is not prime. Res64: 6A1AF208E0DE6369 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:06:09] 625*2^1411633-1 is not prime. Res64: 2D9FC8F1860814DF Time : 0.0 sec. user=mdettweiler [2015-10-10 11:06:10] 959*2^1411632-1 is not prime. Res64: 55C198847E19D623 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:20:18] 651*2^1411633-1 is not prime. Res64: 1477C80392F02774 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:20:18] 681*2^1411633-1 is not prime. Res64: A47E7D4CBC357FE6 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:24:24] 967*2^1411633-1 is not prime. Res64: CC4CA71F2491CDA6 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:24:24] 687*2^1411634-1 is not prime. Res64: 41EDAD51804A3283 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:24:31] 729*2^1411633-1 is not prime. Res64: 8A58C9DEB7892B1E Time : 0.0 sec. user=mdettweiler [2015-10-10 11:24:31] 747*2^1411633-1 is not prime. Res64: 18563AF622136653 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:24:38] 623*2^1411634-1 is not prime. Res64: 10060768D1C1A392 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:24:38] 683*2^1411634-1 is not prime. Res64: 21773EFDD067FF9E Time : 0.0 sec. user=mdettweiler [2015-10-10 11:38:09] 885*2^1411634-1 is not prime. Res64: 4F85B73661AB065D Time : 0.0 sec. user=mdettweiler [2015-10-10 11:38:09] 1001*2^1411634-1 is not prime. Res64: 2891A569327AC477 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:42:14] 691*2^1411635-1 is not prime. Res64: 9268236ECF788F68 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:42:14] 723*2^1411635-1 is not prime. Res64: 1A48C9523B3ED58D Time : 0.0 sec. user=mdettweiler [2015-10-10 11:42:16] 949*2^1411635-1 is not prime. Res64: E1DF9F6EB3946D18 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:42:17] 963*2^1411635-1 is not prime. Res64: D77BECE045F80599 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:42:25] 717*2^1411636-1 is not prime. Res64: EE2779C258D19AF6 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:42:25] 765*2^1411636-1 is not prime. Res64: 2C8C41BFDB7FB372 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:55:58] 779*2^1411636-1 is not prime. Res64: B671816EED0586D8 Time : 0.0 sec. user=mdettweiler [2015-10-10 11:55:58] 869*2^1411636-1 is not prime. Res64: 93974A68EF4CE247 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:00:04] 885*2^1411637-1 is not prime. Res64: 4A50426BEF4247FC Time : 0.0 sec. user=mdettweiler [2015-10-10 12:00:04] 927*2^1411637-1 is not prime. Res64: 8A74A64B464A197D Time : 0.0 sec. user=mdettweiler [2015-10-10 12:00:14] 727*2^1411637-1 is not prime. Res64: 94329FA7897BE1D3 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:00:15] 769*2^1411637-1 is not prime. Res64: 34B64B8914A7A58C Time : 0.0 sec. user=mdettweiler [2015-10-10 12:00:17] 627*2^1411638-1 is not prime. Res64: BA16D94D47051468 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:00:19] 693*2^1411638-1 is not prime. Res64: 31FF5620B499EA54 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:13:56] 711*2^1411638-1 is not prime. Res64: 286BE7A13284B543 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:13:56] 725*2^1411638-1 is not prime. Res64: FB7781F2D1E2B87C Time : 0.0 sec. user=mdettweiler [2015-10-10 12:17:59] 945*2^1411638-1 is not prime. Res64: E6395B2CD4FFE363 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:17:59] 1001*2^1411638-1 is not prime. Res64: 31BCEE6E0ADAEB85 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:18:14] 619*2^1411639-1 is not prime. Res64: 46BD78F418909369 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:18:15] 621*2^1411639-1 is not prime. Res64: 66AA10F5FD56399C Time : 0.0 sec. user=mdettweiler [2015-10-10 12:18:19] 675*2^1411639-1 is not prime. Res64: 5DFB6444F56E48F4 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:18:19] 735*2^1411639-1 is not prime. Res64: 90833D89212128F7 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:31:54] 745*2^1411639-1 is not prime. Res64: C775EFE2F0FAA9D0 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:31:54] 759*2^1411639-1 is not prime. Res64: 9BCC5B19C0610DC4 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:35:47] 975*2^1411639-1 is not prime. Res64: C58DAF73007EDC8E Time : 0.0 sec. user=mdettweiler [2015-10-10 12:35:47] 609*2^1411640-1 is not prime. Res64: 121AE1C2D5389013 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:36:11] 927*2^1411640-1 is not prime. Res64: 05EF8CCC5861374A Time : 0.0 sec. user=mdettweiler [2015-10-10 12:36:11] 629*2^1411640-1 is not prime. Res64: 8A277FE837444C2C Time : 0.0 sec. user=mdettweiler [2015-10-10 12:36:11] 609*2^1411641-1 is not prime. Res64: 82BC450FACABD13D Time : 0.0 sec. user=mdettweiler [2015-10-10 12:36:11] 755*2^1411640-1 is not prime. Res64: 4F34A0DD56B938C2 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:49:53] 627*2^1411641-1 is not prime. Res64: B119443B83630020 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:49:53] 649*2^1411641-1 is not prime. Res64: A5F00EFD33F8B66F Time : 0.0 sec. user=mdettweiler [2015-10-10 12:53:52] 651*2^1411641-1 is not prime. Res64: 599B7D9AEE8D2328 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:53:53] 685*2^1411641-1 is not prime. Res64: B6281CDB1DAF9DAA Time : 0.0 sec. user=mdettweiler [2015-10-10 12:54:11] 777*2^1411641-1 is not prime. Res64: 306D0334FF6DD75B Time : 0.0 sec. user=mdettweiler [2015-10-10 12:54:11] 849*2^1411641-1 is not prime. Res64: 5655E52EE203F02C Time : 0.0 sec. user=mdettweiler [2015-10-10 12:54:14] 865*2^1411641-1 is not prime. Res64: 7B64B455A3BC7F54 Time : 0.0 sec. user=mdettweiler [2015-10-10 12:54:15] 895*2^1411641-1 is not prime. Res64: A96BA4456874DA73 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:08:07] 907*2^1411641-1 is not prime. Res64: 16A773400B430FE6 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:08:08] 955*2^1411641-1 is not prime. Res64: E36F1332EE191A3A Time : 0.0 sec. user=mdettweiler [2015-10-10 13:11:52] 723*2^1411642-1 is not prime. Res64: 07066AB831FBF4BB Time : 0.0 sec. user=mdettweiler [2015-10-10 13:11:52] 815*2^1411642-1 is not prime. Res64: F5CC76A4837430C9 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:12:10] 615*2^1411643-1 is not prime. Res64: 2FDFE508A23C1127 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:12:11] 735*2^1411643-1 is not prime. Res64: 16B708042050F0F4 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:12:25] 821*2^1411642-1 is not prime. Res64: 6C157631A841135A Time : 0.0 sec. user=mdettweiler [2015-10-10 13:12:25] 833*2^1411642-1 is not prime. Res64: 5C0B01833242075F Time : 0.0 sec. user=mdettweiler [2015-10-10 13:26:20] 745*2^1411643-1 is not prime. Res64: B0BE8E12C7CF90EF Time : 0.0 sec. user=mdettweiler [2015-10-10 13:26:21] 789*2^1411643-1 is not prime. Res64: D2FD709676845D8F Time : 0.0 sec. user=mdettweiler [2015-10-10 13:29:44] 889*2^1411643-1 is not prime. Res64: 506B98025A7AA6D2 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:29:44] 605*2^1411644-1 is not prime. Res64: 7F919C624C442DE0 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:30:03] 723*2^1411644-1 is not prime. Res64: 1C62C03968FD1DD0 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:30:04] 749*2^1411644-1 is not prime. Res64: 05AB625CE66C8225 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:30:16] 753*2^1411644-1 is not prime. Res64: CCD5D6CF7A76DD8E Time : 0.0 sec. user=mdettweiler [2015-10-10 13:30:17] 773*2^1411644-1 is not prime. Res64: 94F86745AB55E5F1 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:44:12] 873*2^1411644-1 is not prime. Res64: BBE19FC6C7FA5F29 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:44:12] 727*2^1411645-1 is not prime. Res64: D11DFE18E59339D4 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:47:41] 847*2^1411645-1 is not prime. Res64: F8FFDBD62B1394C3 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:47:41] 889*2^1411645-1 is not prime. Res64: 2FAAE20F6AD55518 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:48:00] 975*2^1411645-1 is not prime. Res64: 7852D8F1FBAFE87B Time : 0.0 sec. user=mdettweiler [2015-10-10 13:48:01] 711*2^1411646-1 is not prime. Res64: E3B86C20FEF3DE01 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:48:16] 773*2^1411646-1 is not prime. Res64: 4256E02D5F0D1ED0 Time : 0.0 sec. user=mdettweiler [2015-10-10 13:48:16] 801*2^1411646-1 is not prime. Res64: 3D8BE5CD13E3D59F Time : 0.0 sec. user=mdettweiler [2015-10-10 14:02:11] 857*2^1411646-1 is not prime. Res64: 904D80078DB3C56F Time : 0.0 sec. user=mdettweiler [2015-10-10 14:02:11] 921*2^1411646-1 is not prime. Res64: D70A06C727C986E7 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:05:26] 957*2^1411646-1 is not prime. Res64: 2843506D44F0836D Time : 0.0 sec. user=mdettweiler [2015-10-10 14:05:27] 633*2^1411647-1 is not prime. Res64: 2D607FCDD0496A9F Time : 0.0 sec. user=mdettweiler [2015-10-10 14:05:58] 691*2^1411647-1 is not prime. Res64: B27BD48B4CDA6BED Time : 0.0 sec. user=mdettweiler [2015-10-10 14:05:59] 693*2^1411647-1 is not prime. Res64: 97DC76BDECD1128D Time : 0.0 sec. user=mdettweiler [2015-10-10 14:06:07] 739*2^1411647-1 is not prime. Res64: 22DD61B4E7921A51 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:06:09] 949*2^1411647-1 is not prime. Res64: 83535682AE68D660 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:20:11] 623*2^1411648-1 is not prime. Res64: 1D2B88508E331699 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:20:11] 819*2^1411648-1 is not prime. Res64: C4C405D08605855F Time : 0.0 sec. user=mdettweiler [2015-10-10 14:23:19] 845*2^1411648-1 is not prime. Res64: 3753DC4692D6E123 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:23:20] 933*2^1411648-1 is not prime. Res64: 0FB2A61BFE4D36DA Time : 0.0 sec. user=mdettweiler [2015-10-10 14:24:05] 989*2^1411648-1 is not prime. Res64: C39B09C0F382B98D Time : 0.0 sec. user=mdettweiler [2015-10-10 14:24:05] 741*2^1411649-1 is not prime. Res64: 09E3F2FEE4F5EFC7 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:24:05] 601*2^1411649-1 is not prime. Res64: 545BA38A5CC04734 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:24:06] 801*2^1411649-1 is not prime. Res64: DBF7B775E005B7B5 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:38:02] 867*2^1411649-1 is not prime. Res64: C47C2533FE326303 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:38:03] 889*2^1411649-1 is not prime. Res64: 5626006D2A323B18 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:41:18] 633*2^1411650-1 is not prime. Res64: 08A4F77A1FB303BE Time : 0.0 sec. user=mdettweiler [2015-10-10 14:41:19] 681*2^1411650-1 is not prime. Res64: 0F9FD3F5EF0358D4 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:42:00] 755*2^1411650-1 is not prime. Res64: A5C5C0AACBCBE7AD Time : 0.0 sec. user=mdettweiler [2015-10-10 14:42:00] 767*2^1411650-1 is not prime. Res64: E7111E620EBCC8DE Time : 0.0 sec. user=mdettweiler [2015-10-10 14:42:12] 783*2^1411650-1 is not prime. Res64: 2246B9E2E15F0897 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:42:12] 821*2^1411650-1 is not prime. Res64: A4923D4A313E5EC6 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:55:53] 891*2^1411650-1 is not prime. Res64: 42EDA1D2FE8C95B3 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:55:53] 927*2^1411650-1 is not prime. Res64: 2EA407105907ED27 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:59:04] 945*2^1411650-1 is not prime. Res64: 00B9F44F71AFB3D9 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:59:04] 741*2^1411651-1 is not prime. Res64: D8B10EF2D01C540E Time : 0.0 sec. user=mdettweiler [2015-10-10 14:59:53] 771*2^1411651-1 is not prime. Res64: 257FE1F131E5300D Time : 0.0 sec. user=mdettweiler [2015-10-10 14:59:53] 891*2^1411651-1 is not prime. Res64: 025AECAD77BE7645 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:59:56] 931*2^1411651-1 is not prime. Res64: 61C3931ED4D7C577 Time : 0.0 sec. user=mdettweiler [2015-10-10 14:59:56] 813*2^1411652-1 is not prime. Res64: B159F59911143147 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:13:59] 855*2^1411652-1 is not prime. Res64: 78381F4417E8F974 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:13:59] 909*2^1411652-1 is not prime. Res64: 647192D780D63400 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:16:59] 987*2^1411652-1 is not prime. Res64: B025B27D3D3A782A Time : 0.0 sec. user=mdettweiler [2015-10-10 15:17:00] 995*2^1411652-1 is not prime. Res64: 2012F86C2AA87C04 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:17:52] 675*2^1411653-1 is not prime. Res64: 14F9C160C6750E0E Time : 0.0 sec. user=mdettweiler [2015-10-10 15:17:53] 861*2^1411653-1 is not prime. Res64: D3D841956C514047 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:18:00] 999*2^1411653-1 is not prime. Res64: 518398B9EE19488B Time : 0.0 sec. user=mdettweiler [2015-10-10 15:18:01] 687*2^1411654-1 is not prime. Res64: D5C3D4810EB9C234 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:31:59] 731*2^1411654-1 is not prime. Res64: B62617ECDD19E258 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:31:59] 833*2^1411654-1 is not prime. Res64: CBC3AAA2EDD730DC Time : 0.0 sec. user=mdettweiler [2015-10-10 15:34:53] 885*2^1411654-1 is not prime. Res64: 64E8FEFC06C65BBB Time : 0.0 sec. user=mdettweiler [2015-10-10 15:34:53] 915*2^1411654-1 is not prime. Res64: 845F4279994BAE3D Time : 0.0 sec. user=mdettweiler [2015-10-10 15:35:47] 669*2^1411655-1 is not prime. Res64: 0F9DB9F9057B5BED Time : 0.0 sec. user=mdettweiler [2015-10-10 15:35:47] 685*2^1411655-1 is not prime. Res64: BA741D7D3788521B Time : 0.0 sec. user=mdettweiler [2015-10-10 15:36:01] 783*2^1411655-1 is not prime. Res64: 1B26B087509FD293 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:36:01] 999*2^1411655-1 is not prime. Res64: 22E8F0EECE9AB1AA Time : 0.0 sec. user=mdettweiler [2015-10-10 15:49:56] 759*2^1411656-1 is not prime. Res64: B6E4168FB5B75161 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:49:57] 905*2^1411656-1 is not prime. Res64: BCFAC452DC9C0DB1 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:52:45] 637*2^1411657-1 is not prime. Res64: F2D163EF8CD6FAD1 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:52:46] 885*2^1411657-1 is not prime. Res64: 36187EB93F1F9399 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:53:36] 945*2^1411657-1 is not prime. Res64: 0161F6743513BCF5 Time : 0.0 sec. user=mdettweiler [2015-10-10 15:53:37] 605*2^1411658-1 is not prime. Res64: 4D307FF71C59C68A Time : 0.0 sec. user=mdettweiler [2015-10-10 15:53:57] 623*2^1411658-1 is not prime. Res64: 3E17CA51A55319AE Time : 0.0 sec. user=mdettweiler [2015-10-10 15:53:57] 635*2^1411658-1 is not prime. Res64: 08AFB3372ED760AD Time : 0.0 sec. user=mdettweiler [2015-10-10 16:07:48] 687*2^1411658-1 is not prime. Res64: 1CB7710E1056F2BE Time : 0.0 sec. user=mdettweiler [2015-10-10 16:07:49] 735*2^1411658-1 is not prime. Res64: 92D7357411BD5CB7 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:10:35] 957*2^1411658-1 is not prime. Res64: F2FB1864CDEB33B8 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:10:35] 745*2^1411659-1 is not prime. Res64: 406FCE88E7FCE8C4 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:11:28] 903*2^1411659-1 is not prime. Res64: 80987151B7C4BB61 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:11:28] 969*2^1411659-1 is not prime. Res64: 02BA9D74E2173BBA Time : 0.0 sec. user=mdettweiler [2015-10-10 16:11:45] 975*2^1411659-1 is not prime. Res64: 78F4FCC98CBC0A48 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:11:45] 665*2^1411660-1 is not prime. Res64: 3F2541F8A489E4C8 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:25:47] 707*2^1411660-1 is not prime. Res64: F75422009DE49882 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:25:48] 825*2^1411660-1 is not prime. Res64: 6BC7B0B3A5247BC3 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:28:34] 619*2^1411661-1 is not prime. Res64: 45F0475692703106 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:28:34] 865*2^1411661-1 is not prime. Res64: 4E07437E7E56E3B8 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:29:22] 981*2^1411661-1 is not prime. Res64: C1385411AE7B1A16 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:29:22] 997*2^1411661-1 is not prime. Res64: 8470D4DA68172142 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:29:44] 683*2^1411662-1 is not prime. Res64: 779BCA953D7BBAE7 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:29:45] 705*2^1411662-1 is not prime. Res64: 40F6FDB6F29DA284 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:43:45] 717*2^1411662-1 is not prime. Res64: 61F665247A304CCF Time : 0.0 sec. user=mdettweiler [2015-10-10 16:43:45] 737*2^1411662-1 is not prime. Res64: 75205FF12F6E8EA2 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:46:31] 777*2^1411662-1 is not prime. Res64: 9C7E24C4EF549D52 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:46:32] 791*2^1411662-1 is not prime. Res64: 2489BC39A73C7CFC Time : 0.0 sec. user=mdettweiler [2015-10-10 16:47:14] 815*2^1411662-1 is not prime. Res64: 62A6FFD01B09081D Time : 0.0 sec. user=mdettweiler [2015-10-10 16:47:15] 821*2^1411662-1 is not prime. Res64: B693E9FA28266D47 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:47:35] 633*2^1411663-1 is not prime. Res64: 83BF5BA2AD459168 Time : 0.0 sec. user=mdettweiler [2015-10-10 16:47:35] 741*2^1411663-1 is not prime. Res64: 8953B78DE162D436 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:01:42] 853*2^1411663-1 is not prime. Res64: 2CD7C0DC4493CB6F Time : 0.0 sec. user=mdettweiler [2015-10-10 17:01:44] 871*2^1411663-1 is not prime. Res64: C28267082F6B17EA Time : 0.0 sec. user=mdettweiler [2015-10-10 17:04:27] 873*2^1411663-1 is not prime. Res64: E85CD24FFC19423F Time : 0.0 sec. user=mdettweiler [2015-10-10 17:04:29] 623*2^1411664-1 is not prime. Res64: 78A5CEDD2B810C74 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:05:12] 663*2^1411664-1 is not prime. Res64: A89E33F98DCDBDD8 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:05:14] 683*2^1411664-1 is not prime. Res64: 1F299AB30FBD1A2F Time : 0.0 sec. user=mdettweiler [2015-10-10 17:05:30] 747*2^1411664-1 is not prime. Res64: CA0A2A623F5AF3CA Time : 0.0 sec. user=mdettweiler [2015-10-10 17:05:31] 917*2^1411664-1 is not prime. Res64: EB23A07D4F4C0732 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:19:43] 969*2^1411664-1 is not prime. Res64: 46AF1E5180071458 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:19:43] 609*2^1411665-1 is not prime. Res64: 0E0E744951C43FE8 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:22:29] 667*2^1411665-1 is not prime. Res64: EE342519A2DACF86 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:22:30] 837*2^1411665-1 is not prime. Res64: 1802605A353C5515 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:23:13] 867*2^1411665-1 is not prime. Res64: B504AF4A00872C30 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:23:14] 955*2^1411665-1 is not prime. Res64: B60CD5EC9BAA14FC Time : 0.0 sec. user=mdettweiler [2015-10-10 17:23:35] 991*2^1411665-1 is not prime. Res64: 079ADA687D59985A Time : 0.0 sec. user=mdettweiler [2015-10-10 17:23:35] 675*2^1411666-1 is not prime. Res64: 1164007B67B8010A Time : 0.0 sec. user=mdettweiler [2015-10-10 17:37:39] 717*2^1411666-1 is not prime. Res64: 1C8AAC5161235B71 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:37:39] 833*2^1411666-1 is not prime. Res64: 7143FE7D8917E1B0 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:40:33] 861*2^1411666-1 is not prime. Res64: 46D75D53ABF94975 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:40:34] 887*2^1411666-1 is not prime. Res64: ECA877E651818CCF Time : 0.0 sec. user=mdettweiler [2015-10-10 17:41:14] 917*2^1411666-1 is not prime. Res64: 5D61B4740506F48C Time : 0.0 sec. user=mdettweiler [2015-10-10 17:41:15] 947*2^1411666-1 is not prime. Res64: 1BD500753E6C19E6 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:41:44] 975*2^1411666-1 is not prime. Res64: 43AB8104D80F0E73 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:41:45] 733*2^1411667-1 is not prime. Res64: 1024504EA7EDB23D Time : 0.0 sec. user=mdettweiler [2015-10-10 17:56:30] 735*2^1411667-1 is not prime. Res64: 2C621007874E26E3 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:56:30] 823*2^1411667-1 is not prime. Res64: 86175D4B3CF7F897 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:59:09] 829*2^1411667-1 is not prime. Res64: 92BAB3EFF60EB09D Time : 0.0 sec. user=mdettweiler [2015-10-10 17:59:10] 859*2^1411667-1 is not prime. Res64: FD826BBCF261A310 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:59:58] 915*2^1411667-1 is not prime. Res64: 7C4C626F71084028 Time : 0.0 sec. user=mdettweiler [2015-10-10 17:59:58] 939*2^1411667-1 is not prime. Res64: 3183C3105EE083ED Time : 0.0 sec. user=mdettweiler [2015-10-10 18:00:25] 981*2^1411667-1 is not prime. Res64: 91C5DC101DD2A169 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:00:26] 867*2^1411668-1 is not prime. Res64: 9B86589BB9B9F966 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:14:41] 969*2^1411668-1 is not prime. Res64: D862FEBB9E84837F Time : 0.0 sec. user=mdettweiler [2015-10-10 18:14:42] 625*2^1411669-1 is not prime. Res64: 1953D2EF43E11328 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:17:26] 729*2^1411669-1 is not prime. Res64: D4E062D214783BBB Time : 0.0 sec. user=mdettweiler [2015-10-10 18:17:26] 835*2^1411669-1 is not prime. Res64: AC50804F3F926D68 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:18:12] 925*2^1411669-1 is not prime. Res64: C9BA1BBB4B761524 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:18:12] 939*2^1411669-1 is not prime. Res64: F935FC0E747F8744 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:18:48] 957*2^1411669-1 is not prime. Res64: B2A2C29B1320E91B Time : 0.0 sec. user=mdettweiler [2015-10-10 18:18:49] 997*2^1411669-1 is not prime. Res64: E0A34944229E69ED Time : 0.0 sec. user=mdettweiler [2015-10-10 18:33:02] 999*2^1411669-1 is not prime. Res64: 1763BD5451BF402B Time : 0.0 sec. user=mdettweiler [2015-10-10 18:33:03] 981*2^1411670-1 is not prime. Res64: BF7941B2057ADA66 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:35:46] 619*2^1411671-1 is not prime. Res64: C44836D10CA36CEA Time : 0.0 sec. user=mdettweiler [2015-10-10 18:35:46] 651*2^1411671-1 is not prime. Res64: EFCFFE6AB2A7A263 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:36:16] 669*2^1411671-1 is not prime. Res64: D7C6A3E14848C07E Time : 0.0 sec. user=mdettweiler [2015-10-10 18:36:16] 679*2^1411671-1 is not prime. Res64: 00C640DEF7E4EDC6 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:37:15] 795*2^1411671-1 is not prime. Res64: C522497F049D83CA Time : 0.0 sec. user=mdettweiler [2015-10-10 18:37:15] 861*2^1411671-1 is not prime. Res64: A5E97067DD9F9798 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:52:14] 885*2^1411671-1 is not prime. Res64: 53FEC0263F41DE95 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:52:15] 901*2^1411671-1 is not prime. Res64: 7BDF7E08BA011126 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:54:56] 933*2^1411671-1 is not prime. Res64: EE04AA23E43108B9 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:54:56] 629*2^1411672-1 is not prime. Res64: 1887EA57AEC74860 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:56:13] 695*2^1411672-1 is not prime. Res64: 3ECD03564CE3BB0B Time : 0.0 sec. user=mdettweiler [2015-10-10 18:56:13] 713*2^1411672-1 is not prime. Res64: 783C80E7F573CA81 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:56:58] 723*2^1411672-1 is not prime. Res64: FFC41219AC4F6B57 Time : 0.0 sec. user=mdettweiler [2015-10-10 18:56:58] 743*2^1411672-1 is not prime. Res64: 5E8A8B658FD76ED0 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:12:00] 827*2^1411672-1 is not prime. Res64: 11F8E955125BC975 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:12:00] 869*2^1411672-1 is not prime. Res64: 9A3C246EF9652614 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:14:43] 923*2^1411672-1 is not prime. Res64: F1F30182244E0BC8 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:14:43] 957*2^1411672-1 is not prime. Res64: 5108A3BD2157AA74 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:15:27] 965*2^1411672-1 is not prime. Res64: C5428D110E9E43D5 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:15:27] 697*2^1411673-1 is not prime. Res64: 9E4B8395C5A6F1C2 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:16:19] 837*2^1411673-1 is not prime. Res64: EAE802A9F01C990E Time : 0.0 sec. user=mdettweiler [2015-10-10 19:16:19] 879*2^1411673-1 is not prime. Res64: F638F114FBD467DB Time : 0.0 sec. user=mdettweiler [2015-10-10 19:31:02] 885*2^1411673-1 is not prime. Res64: 8E4E3CFBC8BFD680 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:31:03] 955*2^1411673-1 is not prime. Res64: D4314C464EFF4740 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:33:28] 663*2^1411674-1 is not prime. Res64: 844198D47494DF05 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:33:28] 705*2^1411674-1 is not prime. Res64: 6DF277CD8A7EA58E Time : 0.0 sec. user=mdettweiler [2015-10-10 19:34:06] 725*2^1411674-1 is not prime. Res64: A520D915DFACB56C Time : 0.0 sec. user=mdettweiler [2015-10-10 19:34:07] 741*2^1411674-1 is not prime. Res64: C5CB81120F2FB709 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:35:03] 765*2^1411674-1 is not prime. Res64: 7F2C8CBC8F48CF31 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:35:04] 797*2^1411674-1 is not prime. Res64: D883E876F47F4495 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:49:44] 601*2^1411675-1 is not prime. Res64: 1E321275AA9995B5 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:49:44] 805*2^1411675-1 is not prime. Res64: 657531909C778D0A Time : 0.0 sec. user=mdettweiler [2015-10-10 19:51:50] 855*2^1411675-1 is not prime. Res64: 5C05643DB64FB260 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:51:51] 915*2^1411675-1 is not prime. Res64: B9465D658552A540 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:52:37] 925*2^1411675-1 is not prime. Res64: 6630CA6F183F84D3 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:52:38] 973*2^1411675-1 is not prime. Res64: 016ACADE2AAC040F Time : 0.0 sec. user=mdettweiler [2015-10-10 19:53:28] 979*2^1411675-1 is not prime. Res64: 231A8AE5C40821C6 Time : 0.0 sec. user=mdettweiler [2015-10-10 19:53:29] 617*2^1411676-1 is not prime. Res64: 126668FF97FCB68A Time : 0.0 sec. user=mdettweiler [2015-10-10 20:07:56] 623*2^1411676-1 is not prime. Res64: 4109419E720E0874 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:07:57] 675*2^1411676-1 is not prime. Res64: 5E8A7EE9729E394A Time : 0.0 sec. user=mdettweiler [2015-10-10 20:10:03] 699*2^1411676-1 is not prime. Res64: EE0C2D19C08DABB0 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:10:03] 785*2^1411676-1 is not prime. Res64: 448D04628E7E65CE Time : 0.0 sec. user=mdettweiler [2015-10-10 20:10:45] 843*2^1411676-1 is not prime. Res64: 36F82B633B5B30B4 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:10:45] 855*2^1411676-1 is not prime. Res64: CC3F0337281872CF Time : 0.0 sec. user=mdettweiler [2015-10-10 20:11:32] 875*2^1411676-1 is not prime. Res64: AAE34E05743DE753 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:11:32] 615*2^1411677-1 is not prime. Res64: 923D9F9409CCD14E Time : 0.0 sec. user=mdettweiler [2015-10-10 20:26:09] 621*2^1411677-1 is not prime. Res64: A9786A205A4B64E8 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:26:09] 651*2^1411677-1 is not prime. Res64: D0C3E077683FA095 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:28:03] 747*2^1411677-1 is not prime. Res64: 9A511E8568EC4A94 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:28:03] 751*2^1411677-1 is not prime. Res64: 83C54F0608118514 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:28:51] 825*2^1411677-1 is not prime. Res64: 4FE728ABA566E807 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:28:51] 829*2^1411677-1 is not prime. Res64: 283860D408ADE261 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:29:45] 891*2^1411677-1 is not prime. Res64: 12F28A1652AB5776 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:29:45] 979*2^1411677-1 is not prime. Res64: DAF1E891BAD1536A Time : 0.0 sec. user=mdettweiler [2015-10-10 20:44:15] 999*2^1411677-1 is not prime. Res64: 8BD784AED2DD9065 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:44:15] 647*2^1411678-1 is not prime. Res64: 34F056760FEDC451 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:45:56] 791*2^1411678-1 is not prime. Res64: 5A0AA2E41AAE79A5 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:45:56] 855*2^1411678-1 is not prime. Res64: 6CD571FA139D095D Time : 0.0 sec. user=mdettweiler [2015-10-10 20:46:55] 987*2^1411678-1 is not prime. Res64: 0D3ACEBB96AD0845 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:46:56] 663*2^1411679-1 is not prime. Res64: C572FAA26D369FB5 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:47:42] 669*2^1411679-1 is not prime. Res64: 5AE19493C6FE68E6 Time : 0.0 sec. user=mdettweiler [2015-10-10 20:47:43] 721*2^1411679-1 is not prime. Res64: B693F97E7B6F0F62 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:02:19] 813*2^1411679-1 is not prime. Res64: 0113EF3AEDA88097 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:02:21] 825*2^1411679-1 is not prime. Res64: 08FA5EAAB6408791 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:04:01] 991*2^1411679-1 is not prime. Res64: 50196DF67538D658 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:04:02] 993*2^1411679-1 is not prime. Res64: BF993AA6BA80D4D1 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:05:01] 633*2^1411680-1 is not prime. Res64: BDC1E6A08EFFDE80 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:05:03] 753*2^1411680-1 is not prime. Res64: DC07012661C6B8EA Time : 0.0 sec. user=mdettweiler [2015-10-10 21:05:44] 765*2^1411680-1 is not prime. Res64: 72D2DBDD7162B06D Time : 0.0 sec. user=mdettweiler [2015-10-10 21:05:45] 845*2^1411680-1 is not prime. Res64: A72F0D95ABC928CC Time : 0.0 sec. user=mdettweiler [2015-10-10 21:20:22] 863*2^1411680-1 is not prime. Res64: D442A55F46B66F00 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:20:23] 607*2^1411681-1 is not prime. Res64: CFDB976E24678DC5 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:22:03] 717*2^1411681-1 is not prime. Res64: 32AF09A74DFC1DE9 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:22:04] 807*2^1411681-1 is not prime. Res64: B405272331928994 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:23:02] 829*2^1411681-1 is not prime. Res64: 80A0F6702889EF63 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:23:02] 955*2^1411681-1 is not prime. Res64: 12C004EDDFC698A2 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:23:41] 617*2^1411682-1 is not prime. Res64: 1525E6D72AFDB437 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:23:41] 791*2^1411682-1 is not prime. Res64: 1BAB1C70C8F645C3 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:38:38] 837*2^1411682-1 is not prime. Res64: 09413EFE2CAEAA7F Time : 0.0 sec. user=mdettweiler [2015-10-10 21:38:39] 995*2^1411682-1 is not prime. Res64: 6C7B528BC8F59F81 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:40:18] 609*2^1411683-1 is not prime. Res64: FA33680B0C799CEA Time : 0.0 sec. user=mdettweiler [2015-10-10 21:40:18] 753*2^1411683-1 is not prime. Res64: 645E7E200F15DF31 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:41:20] 823*2^1411683-1 is not prime. Res64: F82B49FF750A5838 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:41:20] 921*2^1411683-1 is not prime. Res64: 05906B10B59AAC2F Time : 0.0 sec. user=mdettweiler [2015-10-10 21:41:59] 687*2^1411684-1 is not prime. Res64: 485F2B7D1E1EC38E Time : 0.0 sec. user=mdettweiler [2015-10-10 21:41:59] 857*2^1411684-1 is not prime. Res64: 48D1A9C54F2AA1FE Time : 0.0 sec. user=mdettweiler [2015-10-10 21:57:24] 887*2^1411684-1 is not prime. Res64: 9C607695D56866E8 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:57:24] 903*2^1411684-1 is not prime. Res64: 698CE6E1B4051CC9 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:59:10] 929*2^1411684-1 is not prime. Res64: 3ADC7A387BCFB9E3 Time : 0.0 sec. user=mdettweiler [2015-10-10 21:59:11] 655*2^1411685-1 is not prime. Res64: 3E8598FE2E15BE1B Time : 0.0 sec. user=mdettweiler [2015-10-10 22:00:22] 727*2^1411685-1 is not prime. Res64: 4DD9FDC67A9AD2FA Time : 0.0 sec. user=mdettweiler [2015-10-10 22:00:23] 795*2^1411685-1 is not prime. Res64: EA4F39343D0C4C5F Time : 0.0 sec. user=mdettweiler [2015-10-10 22:00:40] 885*2^1411685-1 is not prime. Res64: 7455A2637EEBA953 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:00:40] 987*2^1411685-1 is not prime. Res64: BF4D16BC27A13D77 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:15:21] 657*2^1411686-1 is not prime. Res64: 207FCDBD345E1D6C Time : 0.0 sec. user=mdettweiler [2015-10-10 22:15:21] 683*2^1411686-1 is not prime. Res64: 2525514431AE8CB5 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:17:25] 711*2^1411686-1 is not prime. Res64: 5112EF128041686C Time : 0.0 sec. user=mdettweiler [2015-10-10 22:17:26] 717*2^1411686-1 is not prime. Res64: 96CCB6A5C97CBE24 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:18:40] 737*2^1411686-1 is not prime. Res64: 17837F9C6933FE8D Time : 0.0 sec. user=mdettweiler [2015-10-10 22:18:40] 777*2^1411686-1 is not prime. Res64: 9D708009A5A8E89F Time : 0.0 sec. user=mdettweiler [2015-10-10 22:19:01] 795*2^1411686-1 is not prime. Res64: FDC114F2DAC32067 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:19:02] 801*2^1411686-1 is not prime. Res64: 79C59B7B7865C6B6 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:33:36] 815*2^1411686-1 is not prime. Res64: 109625BE3BA9B06D Time : 0.0 sec. user=mdettweiler [2015-10-10 22:33:36] 891*2^1411686-1 is not prime. Res64: FF13B62220F5AE8A Time : 0.0 sec. user=mdettweiler [2015-10-10 22:35:50] 921*2^1411686-1 is not prime. Res64: 09602EDD6BF22F04 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:35:50] 933*2^1411686-1 is not prime. Res64: E057B4268F9BFE2C Time : 0.0 sec. user=mdettweiler [2015-10-10 22:36:55] 963*2^1411686-1 is not prime. Res64: EC55D90E9852A44A Time : 0.0 sec. user=mdettweiler [2015-10-10 22:36:56] 639*2^1411687-1 is not prime. Res64: 53CAAB91B68331CE Time : 0.0 sec. user=mdettweiler [2015-10-10 22:37:15] 813*2^1411687-1 is not prime. Res64: 4B03E9C39D5E9058 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:37:15] 831*2^1411687-1 is not prime. Res64: 3DCF12E9875BA9F0 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:51:46] 849*2^1411687-1 is not prime. Res64: 217200D18A7A4628 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:51:47] 889*2^1411687-1 is not prime. Res64: 5EA7802DC19E2E08 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:54:05] 993*2^1411687-1 is not prime. Res64: 7491C440676755A8 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:54:06] 999*2^1411687-1 is not prime. Res64: 2CFD20BAF3E54C67 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:55:20] 623*2^1411688-1 is not prime. Res64: 60A914915335663B Time : 0.0 sec. user=mdettweiler [2015-10-10 22:55:20] 659*2^1411688-1 is not prime. Res64: A5C434F45927F076 Time : 0.0 sec. user=mdettweiler [2015-10-10 22:55:52] 669*2^1411688-1 is not prime. Res64: F9BACDC697C7F9EB Time : 0.0 sec. user=mdettweiler [2015-10-10 22:55:52] 747*2^1411688-1 is not prime. Res64: CB0DBC0423DAAF36 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:13:02] 845*2^1411688-1 is not prime. Res64: 1D2836AE2B2571A5 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:13:02] 875*2^1411688-1 is not prime. Res64: AF8A3FD0954D7035 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:15:29] 929*2^1411688-1 is not prime. Res64: A40F7678C446E215 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:15:29] 625*2^1411689-1 is not prime. Res64: 30F240B4CB5F2736 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:16:48] 649*2^1411689-1 is not prime. Res64: 42FEED53647FCE0B Time : 0.0 sec. user=mdettweiler [2015-10-10 23:16:48] 975*2^1411689-1 is not prime. Res64: 07DEE3F6723221E7 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:17:28] 997*2^1411689-1 is not prime. Res64: C0688DACB2187DBD Time : 0.0 sec. user=mdettweiler [2015-10-10 23:17:28] 645*2^1411690-1 is not prime. Res64: E7A8041C5DDC2045 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:34:48] 843*2^1411690-1 is not prime. Res64: D5333F45FEC36944 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:34:48] 873*2^1411690-1 is not prime. Res64: 80A8737310219B84 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:36:57] 971*2^1411690-1 is not prime. Res64: E85BA3256B4B755F Time : 0.0 sec. user=mdettweiler [2015-10-10 23:36:58] 987*2^1411690-1 is not prime. Res64: B5BF54718A1565C7 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:38:07] 811*2^1411691-1 is not prime. Res64: 07BF1212C3E5B475 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:38:08] 945*2^1411691-1 is not prime. Res64: 29BD0221E3279C18 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:38:59] 669*2^1411692-1 is not prime. Res64: A662A5BEE2BFF27D Time : 0.0 sec. user=mdettweiler [2015-10-10 23:39:00] 675*2^1411692-1 is not prime. Res64: F042B82165ACDA38 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:55:44] 759*2^1411692-1 is not prime. Res64: 880C972C272C0729 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:55:44] 863*2^1411692-1 is not prime. Res64: B8D555550F077355 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:57:57] 879*2^1411692-1 is not prime. Res64: 521DAA7B01EF2766 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:57:57] 965*2^1411692-1 is not prime. Res64: F883E79AF6E86DE6 Time : 0.0 sec. user=mdettweiler [2015-10-10 23:59:12] 983*2^1411692-1 is not prime. Res64: E548C587049D550D Time : 0.0 sec. user=mdettweiler [2015-10-10 23:59:12] 625*2^1411693-1 is not prime. Res64: 3EF4D78CC3A5CE9A Time : 0.0 sec. user=mdettweiler [2015-10-11 00:00:09] 847*2^1411693-1 is not prime. Res64: 55C243AA74AAE145 Time : 0.0 sec. user=mdettweiler [2015-10-11 00:00:10] 915*2^1411693-1 is not prime. Res64: 4A07AA68723EE4FF Time : 0.0 sec.