user=mdettweiler [2015-11-05 00:12:27] 623*2^1414058-1 is not prime. Res64: 81B2704EE3B8AE06 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:12:27] 831*2^1414057-1 is not prime. Res64: 1A90BC63801182FA Time : 0.0 sec. user=mdettweiler [2015-11-05 00:12:27] 705*2^1414058-1 is not prime. Res64: 86BC594CD554B4E1 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:12:28] 979*2^1414057-1 is not prime. Res64: A9787320EF7C7462 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:12:29] 707*2^1414058-1 is not prime. Res64: 28A7E05B931D77F8 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:12:29] 711*2^1414058-1 is not prime. Res64: 3F6E3C8D380711A2 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:30:01] 887*2^1414058-1 is not prime. Res64: 27578C2876428F2A Time : 0.0 sec. user=mdettweiler [2015-11-05 00:30:01] 743*2^1414058-1 is not prime. Res64: 3E8AA56F18E6A85D Time : 0.0 sec. user=mdettweiler [2015-11-05 00:30:01] 857*2^1414058-1 is not prime. Res64: 1081CA5071EC719E Time : 0.0 sec. user=mdettweiler [2015-11-05 00:30:02] 615*2^1414059-1 is not prime. Res64: C4D04C618F98E881 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:30:03] 825*2^1414058-1 is not prime. Res64: FEB2917E15DFE692 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:30:03] 875*2^1414058-1 is not prime. Res64: 686775F352AD8B98 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:47:34] 709*2^1414059-1 is not prime. Res64: DAF1E32908975E30 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:47:34] 793*2^1414059-1 is not prime. Res64: 7588846AB447F2E9 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:47:36] 663*2^1414059-1 is not prime. Res64: 478BC9C4C09A92DE Time : 0.0 sec. user=mdettweiler [2015-11-05 00:47:36] 703*2^1414059-1 is not prime. Res64: DC1A105A686B7C30 Time : 0.0 sec. user=mdettweiler [2015-11-05 00:47:37] 829*2^1414059-1 is not prime. Res64: F056168209530DEF Time : 0.0 sec. user=mdettweiler [2015-11-05 00:47:37] 859*2^1414059-1 is not prime. Res64: 8956C628CC291F13 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:05:07] 919*2^1414059-1 is not prime. Res64: B76260460F945320 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:05:08] 647*2^1414060-1 is not prime. Res64: 6428E382E715E18E Time : 0.0 sec. user=mdettweiler [2015-11-05 01:05:09] 605*2^1414060-1 is not prime. Res64: C176B6FD9924A7E6 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:05:10] 735*2^1414060-1 is not prime. Res64: 146F668D0CBA0998 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:05:11] 875*2^1414060-1 is not prime. Res64: 5F2F33F1320198E8 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:05:12] 909*2^1414060-1 is not prime. Res64: 04C3C9EEC304CE93 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:23:04] 957*2^1414060-1 is not prime. Res64: 3352235AD7F26A30 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:23:05] 745*2^1414061-1 is not prime. Res64: 7A9302C192D71318 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:23:05] 675*2^1414061-1 is not prime. Res64: F5BF34ACF54EFE7E Time : 0.0 sec. user=mdettweiler [2015-11-05 01:23:05] 769*2^1414061-1 is not prime. Res64: 96B475C4B9E8129B Time : 0.0 sec. user=mdettweiler [2015-11-05 01:23:05] 925*2^1414061-1 is not prime. Res64: C9635658E0084834 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:23:06] 777*2^1414062-1 is not prime. Res64: 02952354C32AAC7D Time : 0.0 sec. user=mdettweiler [2015-11-05 01:40:36] 867*2^1414062-1 is not prime. Res64: FFD47089A789D0C1 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:40:36] 957*2^1414062-1 is not prime. Res64: 9D315612B070525C Time : 0.0 sec. user=mdettweiler [2015-11-05 01:40:36] 619*2^1414063-1 is not prime. Res64: E5A2E2BD9B6ACD0E Time : 0.0 sec. user=mdettweiler [2015-11-05 01:40:36] 921*2^1414062-1 is not prime. Res64: 20B64E7ADA648603 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:40:36] 977*2^1414062-1 is not prime. Res64: 2DDC9222955EAD0D Time : 0.0 sec. user=mdettweiler [2015-11-05 01:40:37] 639*2^1414063-1 is not prime. Res64: 8DA69CD67D260988 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:58:14] 833*2^1414064-1 is not prime. Res64: 523F038E21E2BFA3 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:58:14] 919*2^1414063-1 is not prime. Res64: 3D163A8E2CC01E2E Time : 0.0 sec. user=mdettweiler [2015-11-05 01:58:15] 717*2^1414064-1 is not prime. Res64: C214CFCCEDED36B5 Time : 0.0 sec. user=mdettweiler [2015-11-05 01:58:15] 665*2^1414064-1 is not prime. Res64: 066AA3AD65E522FD Time : 0.0 sec. user=mdettweiler [2015-11-05 01:58:15] 915*2^1414064-1 is not prime. Res64: 87C087F50221C2DB Time : 0.0 sec. user=mdettweiler [2015-11-05 01:58:15] 747*2^1414064-1 is not prime. Res64: BFD341C29A8A6BD7 Time : 0.0 sec. user=mdettweiler [2015-11-05 02:15:46] 603*2^1414066-1 is not prime. Res64: 06FA8A2A58174818 Time : 0.0 sec. user=mdettweiler [2015-11-05 02:15:47] 607*2^1414065-1 is not prime. Res64: 702714E6AC8A6CEB Time : 0.0 sec. user=mdettweiler [2015-11-05 02:15:47] 657*2^1414066-1 is not prime. Res64: 82AF37E03E707DD4 Time : 0.0 sec. user=mdettweiler [2015-11-05 02:15:47] 735*2^1414065-1 is not prime. Res64: ABA9E1ADED4D38CB Time : 0.0 sec. user=mdettweiler [2015-11-05 02:15:49] 701*2^1414066-1 is not prime. Res64: 845907B16271EA9F Time : 0.0 sec. user=mdettweiler [2015-11-05 02:15:49] 713*2^1414066-1 is not prime. Res64: 619473396071256C Time : 0.0 sec. user=mdettweiler [2015-11-05 02:33:20] 633*2^1414067-1 is not prime. Res64: E22210C1B0BD28C5 Time : 0.0 sec. user=mdettweiler [2015-11-05 02:33:21] 799*2^1414067-1 is not prime. Res64: 6147943FB0CD65C1 Time : 0.0 sec. user=mdettweiler [2015-11-05 02:33:22] 603*2^1414067-1 is not prime. Res64: 5B93886A1131F5CD Time : 0.0 sec. user=mdettweiler [2015-11-05 02:33:23] 619*2^1414067-1 is not prime. Res64: 2425F40B8298721E Time : 0.0 sec. user=mdettweiler [2015-11-05 02:33:24] 765*2^1414066-1 is not prime. Res64: DA575AE07DE144F0 Time : 0.0 sec. user=mdettweiler [2015-11-05 02:33:24] 903*2^1414066-1 is not prime. Res64: 6B0C8458481D19DD Time : 0.0 sec. user=mdettweiler [2015-11-05 02:50:55] 905*2^1414068-1 is not prime. Res64: C81CC07A7A8AD191 Time : 0.0 sec. user=mdettweiler [2015-11-05 02:50:55] 859*2^1414067-1 is not prime. Res64: 64AA225D2B3E2357 Time : 0.0 sec. user=mdettweiler [2015-11-05 02:50:55] 879*2^1414068-1 is not prime. Res64: 920681654B11CBDC Time : 0.0 sec. user=mdettweiler [2015-11-05 02:50:55] 929*2^1414068-1 is not prime. Res64: 0B28AC0F39ECCD17 Time : 0.0 sec. user=mdettweiler [2015-11-05 02:50:55] 689*2^1414068-1 is not prime. Res64: 61246C699F5CD512 Time : 0.0 sec. user=mdettweiler [2015-11-05 02:50:55] 887*2^1414068-1 is not prime. Res64: CE118A5D6D730E40 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:08:25] 817*2^1414069-1 is not prime. Res64: 1946BF3994834743 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:08:26] 831*2^1414069-1 is not prime. Res64: E6C7BAB137B1469C Time : 0.0 sec. user=mdettweiler [2015-11-05 03:08:27] 987*2^1414068-1 is not prime. Res64: C3F6BADA85DB3FBD Time : 0.0 sec. user=mdettweiler [2015-11-05 03:08:28] 625*2^1414069-1 is not prime. Res64: D907BC25AC2F0179 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:08:28] 619*2^1414069-1 is not prime. Res64: 29BEC3F8D2501719 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:08:29] 769*2^1414069-1 is not prime. Res64: 7A03462AB1F8F526 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:26:19] 645*2^1414070-1 is not prime. Res64: 8F983FBE4C34C143 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:26:20] 861*2^1414069-1 is not prime. Res64: DFBEDAC64C11110B Time : 0.0 sec. user=mdettweiler [2015-11-05 03:26:20] 675*2^1414070-1 is not prime. Res64: A4565A6307BD9813 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:26:20] 967*2^1414069-1 is not prime. Res64: 3C32D750AC1E8D72 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:26:21] 707*2^1414070-1 is not prime. Res64: C90AEF36FB1C236D Time : 0.0 sec. user=mdettweiler [2015-11-05 03:26:21] 761*2^1414070-1 is not prime. Res64: AEA810956CB0AD3C Time : 0.0 sec. user=mdettweiler [2015-11-05 03:43:54] 797*2^1414070-1 is not prime. Res64: 99A800C95660EA6A Time : 0.0 sec. user=mdettweiler [2015-11-05 03:43:55] 923*2^1414070-1 is not prime. Res64: 61AE612396BDD0D5 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:43:57] 957*2^1414070-1 is not prime. Res64: E23ACEC81C8AD6DB Time : 0.0 sec. user=mdettweiler [2015-11-05 03:43:58] 917*2^1414070-1 is not prime. Res64: F2D9D5F604C813E4 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:43:58] 601*2^1414071-1 is not prime. Res64: F081AA81769F7473 Time : 0.0 sec. user=mdettweiler [2015-11-05 03:43:58] 751*2^1414071-1 is not prime. Res64: C096369DBFD1B360 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:01:39] 999*2^1414071-1 is not prime. Res64: 48A3EC7AB15F3E3F Time : 0.0 sec. user=mdettweiler [2015-11-05 04:01:39] 819*2^1414071-1 is not prime. Res64: 1E5CE0A7E924B840 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:01:40] 825*2^1414071-1 is not prime. Res64: B7EFDDC98A169A91 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:01:41] 909*2^1414071-1 is not prime. Res64: 75DCAED8B45591BF Time : 0.0 sec. user=mdettweiler [2015-11-05 04:01:41] 865*2^1414071-1 is not prime. Res64: 429E7ED45714EC6F Time : 0.0 sec. user=mdettweiler [2015-11-05 04:01:42] 635*2^1414072-1 is not prime. Res64: 9954411A6FCFDDD2 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:19:34] 653*2^1414072-1 is not prime. Res64: A66D5B5758F121EB Time : 0.0 sec. user=mdettweiler [2015-11-05 04:19:34] 705*2^1414072-1 is not prime. Res64: E6DD778AA95C9622 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:19:35] 915*2^1414072-1 is not prime. Res64: C7AD4A8152D849A8 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:19:35] 933*2^1414072-1 is not prime. Res64: 432C02E3E71463B6 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:19:43] 719*2^1414072-1 is not prime. Res64: 01666ADB4C2DFE32 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:19:44] 899*2^1414072-1 is not prime. Res64: A63314171A20FDDA Time : 0.0 sec. user=mdettweiler [2015-11-05 04:37:04] 947*2^1414072-1 is not prime. Res64: CD70D16BB7CEB2E2 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:37:05] 975*2^1414072-1 is not prime. Res64: DDB2617AB87AE978 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:37:05] 619*2^1414073-1 is not prime. Res64: 9B230456E6F63AAE Time : 0.0 sec. user=mdettweiler [2015-11-05 04:37:05] 657*2^1414073-1 is not prime. Res64: 7F3756BE480F4DD4 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:37:12] 691*2^1414073-1 is not prime. Res64: 6C3E4FB49CBB8B83 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:37:13] 727*2^1414073-1 is not prime. Res64: 0279CCCB95D507EA Time : 0.0 sec. user=mdettweiler [2015-11-05 04:54:35] 829*2^1414073-1 is not prime. Res64: 6DE3F1FC81C2F21C Time : 0.0 sec. user=mdettweiler [2015-11-05 04:54:35] 951*2^1414073-1 is not prime. Res64: C1E91C63800C6604 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:54:35] 939*2^1414073-1 is not prime. Res64: 752C06470FC37D53 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:54:35] 991*2^1414073-1 is not prime. Res64: 04477717270E0B0E Time : 0.0 sec. user=mdettweiler [2015-11-05 04:54:42] 711*2^1414074-1 is not prime. Res64: 10903B423DA56EC8 Time : 0.0 sec. user=mdettweiler [2015-11-05 04:54:42] 825*2^1414074-1 is not prime. Res64: 41540026E763EFF3 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:12:05] 927*2^1414074-1 is not prime. Res64: 120ECA3FF5FE5D58 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:12:05] 645*2^1414075-1 is not prime. Res64: 4BE4B17F96F94033 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:12:06] 675*2^1414075-1 is not prime. Res64: 8F81F5EB758671F0 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:12:06] 603*2^1414075-1 is not prime. Res64: 674394926DA3F3F0 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:12:11] 789*2^1414075-1 is not prime. Res64: 36FF9FA5652C0B44 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:12:11] 855*2^1414075-1 is not prime. Res64: 2211B2131979240F Time : 0.0 sec. user=mdettweiler [2015-11-05 05:29:40] 913*2^1414075-1 is not prime. Res64: CCEE02A2EAFE069C Time : 0.0 sec. user=mdettweiler [2015-11-05 05:29:40] 659*2^1414076-1 is not prime. Res64: FD0A1E1888D63986 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:29:40] 675*2^1414076-1 is not prime. Res64: C5832F6D248179E0 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:29:40] 707*2^1414076-1 is not prime. Res64: CC935BDC737C9F1B Time : 0.0 sec. user=mdettweiler [2015-11-05 05:29:43] 827*2^1414076-1 is not prime. Res64: 934DD721681BD783 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:29:43] 935*2^1414076-1 is not prime. Res64: E495F86FCC70A403 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:47:12] 953*2^1414076-1 is not prime. Res64: E681D1653EBC63DC Time : 0.0 sec. user=mdettweiler [2015-11-05 05:47:12] 655*2^1414077-1 is not prime. Res64: 5E1EF2E59AE62F45 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:47:14] 741*2^1414077-1 is not prime. Res64: A1F30C00F66E5E88 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:47:14] 751*2^1414077-1 is not prime. Res64: D71ED993F26DBF41 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:47:15] 691*2^1414077-1 is not prime. Res64: 971D54AC92D59382 Time : 0.0 sec. user=mdettweiler [2015-11-05 05:47:15] 727*2^1414077-1 is not prime. Res64: 2931EE3A4D3D1B3F Time : 0.0 sec. user=mdettweiler [2015-11-05 06:04:43] 759*2^1414077-1 is not prime. Res64: 7F608010304C3A32 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:04:44] 831*2^1414077-1 is not prime. Res64: 63763F7CFA990F4C Time : 0.0 sec. user=mdettweiler [2015-11-05 06:04:45] 835*2^1414077-1 is not prime. Res64: BF097E4360E5D0E0 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:04:46] 847*2^1414077-1 is not prime. Res64: 384B3BD891F7AFDC Time : 0.0 sec. user=mdettweiler [2015-11-05 06:04:47] 837*2^1414077-1 is not prime. Res64: 8CEE61403788159D Time : 0.0 sec. user=mdettweiler [2015-11-05 06:04:48] 927*2^1414077-1 is not prime. Res64: 7113A6A3B841486B Time : 0.0 sec. user=mdettweiler [2015-11-05 06:22:42] 937*2^1414077-1 is not prime. Res64: A8A43EF8F16ED008 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:22:43] 955*2^1414077-1 is not prime. Res64: FCB3FCCB9763D56E Time : 0.0 sec. user=mdettweiler [2015-11-05 06:22:44] 681*2^1414078-1 is not prime. Res64: 376179D087287743 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:22:44] 831*2^1414078-1 is not prime. Res64: A61B1A97C7A7D501 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:22:48] 979*2^1414077-1 is not prime. Res64: 7E733BFF14B2CB6A Time : 0.0 sec. user=mdettweiler [2015-11-05 06:22:48] 647*2^1414078-1 is not prime. Res64: F296269B086266C3 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:40:13] 945*2^1414078-1 is not prime. Res64: 2545C24E0FA32C7A Time : 0.0 sec. user=mdettweiler [2015-11-05 06:40:13] 603*2^1414079-1 is not prime. Res64: 77D6912A146D1130 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:40:17] 825*2^1414079-1 is not prime. Res64: 790A1D2160E52B52 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:40:18] 829*2^1414079-1 is not prime. Res64: A8EF968550B25082 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:40:18] 621*2^1414079-1 is not prime. Res64: 794689463841BF0C Time : 0.0 sec. user=mdettweiler [2015-11-05 06:40:18] 685*2^1414079-1 is not prime. Res64: 3D4055FA37BC9C4A Time : 0.0 sec. user=mdettweiler [2015-11-05 06:57:43] 615*2^1414080-1 is not prime. Res64: 25DD9979565EEF33 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:57:43] 635*2^1414080-1 is not prime. Res64: F764B6017FC42643 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:57:47] 669*2^1414080-1 is not prime. Res64: 40A6AE5B17E909C8 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:57:48] 789*2^1414080-1 is not prime. Res64: BC220292764771CB Time : 0.0 sec. user=mdettweiler [2015-11-05 06:57:48] 819*2^1414080-1 is not prime. Res64: 8FE73F351B8E4238 Time : 0.0 sec. user=mdettweiler [2015-11-05 06:57:48] 879*2^1414080-1 is not prime. Res64: FD6243F32453E86F Time : 0.0 sec. user=mdettweiler [2015-11-05 07:15:15] 923*2^1414080-1 is not prime. Res64: BA11B23E5F7DDCC8 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:15:16] 601*2^1414081-1 is not prime. Res64: EC668709CBFFBC71 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:15:17] 705*2^1414081-1 is not prime. Res64: 1E19F02EFEB9D357 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:15:17] 715*2^1414081-1 is not prime. Res64: 6A59F0CED052DFBA Time : 0.0 sec. user=mdettweiler [2015-11-05 07:15:21] 649*2^1414081-1 is not prime. Res64: 8A950DA6D8B96A4A Time : 0.0 sec. user=mdettweiler [2015-11-05 07:15:21] 651*2^1414081-1 is not prime. Res64: 24C82C68968B9CFE Time : 0.0 sec. user=mdettweiler [2015-11-05 07:32:47] 777*2^1414081-1 is not prime. Res64: 170723F4C18CC839 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:32:48] 889*2^1414081-1 is not prime. Res64: A382E0A2FD2B3D57 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:32:48] 909*2^1414081-1 is not prime. Res64: 9F39C6B534088146 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:32:48] 955*2^1414081-1 is not prime. Res64: 466C691D4D8C5F8F Time : 0.0 sec. user=mdettweiler [2015-11-05 07:32:52] 615*2^1414082-1 is not prime. Res64: 5DB19B6FDDEBA838 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:32:52] 665*2^1414082-1 is not prime. Res64: C07548C57CC682C4 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:50:19] 797*2^1414082-1 is not prime. Res64: AEB5E755EA69DD33 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:50:19] 885*2^1414082-1 is not prime. Res64: 7588E00547F305B7 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:50:20] 743*2^1414082-1 is not prime. Res64: 3146B972597CB787 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:50:20] 791*2^1414082-1 is not prime. Res64: 527A3D37882D4197 Time : 0.0 sec. user=mdettweiler [2015-11-05 07:50:26] 887*2^1414082-1 is not prime. Res64: 9ED467855A72041F Time : 0.0 sec. user=mdettweiler [2015-11-05 07:50:27] 609*2^1414083-1 is not prime. Res64: F078CA8F528983DF Time : 0.0 sec. user=mdettweiler [2015-11-05 08:07:50] 963*2^1414083-1 is not prime. Res64: 11FCF0CAFBF7BE37 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:07:50] 677*2^1414084-1 is not prime. Res64: 8D985D2E3E028B97 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:07:50] 705*2^1414083-1 is not prime. Res64: C8EAEC886687ADFF Time : 0.0 sec. user=mdettweiler [2015-11-05 08:07:51] 801*2^1414083-1 is not prime. Res64: 3A53CFE5986BD029 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:07:56] 707*2^1414084-1 is not prime. Res64: 197CFE61A3318ADF Time : 0.0 sec. user=mdettweiler [2015-11-05 08:07:57] 607*2^1414085-1 is not prime. Res64: B4C7566134D3E08C Time : 0.0 sec. user=mdettweiler [2015-11-05 08:25:24] 717*2^1414085-1 is not prime. Res64: 872A698548CF1A6B Time : 0.0 sec. user=mdettweiler [2015-11-05 08:25:24] 907*2^1414085-1 is not prime. Res64: 91CA049E79E90132 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:25:25] 775*2^1414085-1 is not prime. Res64: F1F92317FB4420FA Time : 0.0 sec. user=mdettweiler [2015-11-05 08:25:25] 867*2^1414085-1 is not prime. Res64: 45504D2C4D1BB1B3 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:25:26] 627*2^1414086-1 is not prime. Res64: CD2EFE675E018EA7 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:25:27] 725*2^1414086-1 is not prime. Res64: 6FBCCEDBE8AE6F10 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:42:55] 893*2^1414086-1 is not prime. Res64: 66E4D4D825B9F8F7 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:42:56] 983*2^1414086-1 is not prime. Res64: 1161BB842A28A7F6 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:42:56] 615*2^1414087-1 is not prime. Res64: 4B86DC8A9B93FA4E Time : 0.0 sec. user=mdettweiler [2015-11-05 08:42:56] 681*2^1414087-1 is not prime. Res64: E42B5957C17D1CB0 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:42:58] 741*2^1414086-1 is not prime. Res64: 697265D3A2A73A85 Time : 0.0 sec. user=mdettweiler [2015-11-05 08:42:59] 801*2^1414086-1 is not prime. Res64: E23FA132372833F4 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:00:26] 843*2^1414087-1 is not prime. Res64: 84864BC21058AB37 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:00:27] 705*2^1414087-1 is not prime. Res64: 9DDC9C3C284E1E9D Time : 0.0 sec. user=mdettweiler [2015-11-05 09:00:27] 871*2^1414087-1 is not prime. Res64: E1C83AF3A6E714CA Time : 0.0 sec. user=mdettweiler [2015-11-05 09:00:27] 805*2^1414087-1 is not prime. Res64: 428BD5E3B858900C Time : 0.0 sec. user=mdettweiler [2015-11-05 09:00:28] 891*2^1414087-1 is not prime. Res64: CDBFC31000EA538D Time : 0.0 sec. user=mdettweiler [2015-11-05 09:00:29] 699*2^1414088-1 is not prime. Res64: 6D6A669F4CBB02E3 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:18:00] 867*2^1414088-1 is not prime. Res64: 1ABED2B24527AD2C Time : 0.0 sec. user=mdettweiler [2015-11-05 09:18:00] 875*2^1414088-1 is not prime. Res64: 2CFF80F383DBAB99 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:18:01] 963*2^1414088-1 is not prime. Res64: 142D83BC5617D1EB Time : 0.0 sec. user=mdettweiler [2015-11-05 09:18:01] 993*2^1414088-1 is not prime. Res64: 1B3B7669A81177ED Time : 0.0 sec. user=mdettweiler [2015-11-05 09:18:02] 753*2^1414088-1 is not prime. Res64: 9456CBC00D0C8294 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:18:02] 837*2^1414088-1 is not prime. Res64: 5A56277D2D0E2A43 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:35:31] 601*2^1414089-1 is not prime. Res64: DD0C5E4E37137852 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:35:32] 747*2^1414089-1 is not prime. Res64: A20DF6A276C293C4 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:35:33] 789*2^1414089-1 is not prime. Res64: 4D48848C1079B0E1 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:35:33] 817*2^1414089-1 is not prime. Res64: EAA7FE3914B8AA68 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:35:33] 795*2^1414089-1 is not prime. Res64: F11CA4C5E3265164 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:35:33] 861*2^1414089-1 is not prime. Res64: A9950BD1CAE6C9DD Time : 0.0 sec. user=mdettweiler [2015-11-05 09:53:03] 843*2^1414090-1 is not prime. Res64: CFE51B510CFB7854 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:53:03] 677*2^1414090-1 is not prime. Res64: 48A1B88DD501AFC2 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:53:04] 855*2^1414090-1 is not prime. Res64: 020F4963A216BC30 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:53:04] 827*2^1414090-1 is not prime. Res64: 3B2955F3F1A2A975 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:53:04] 907*2^1414089-1 is not prime. Res64: BC66752B731FA328 Time : 0.0 sec. user=mdettweiler [2015-11-05 09:53:04] 647*2^1414090-1 is not prime. Res64: A813D8A2F03B9CF1 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:10:34] 911*2^1414090-1 is not prime. Res64: CDD2C772267A26B6 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:10:34] 917*2^1414090-1 is not prime. Res64: D85BE6EB0FDC9B16 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:10:34] 753*2^1414091-1 is not prime. Res64: 0D179DDE13CE8F43 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:10:35] 619*2^1414091-1 is not prime. Res64: 0E4F4885BAE69DEC Time : 0.0 sec. user=mdettweiler [2015-11-05 10:10:35] 801*2^1414091-1 is not prime. Res64: E7B9FD12684C5EC8 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:10:35] 741*2^1414091-1 is not prime. Res64: 4F388EF11B70583E Time : 0.0 sec. user=mdettweiler [2015-11-05 10:28:05] 991*2^1414091-1 is not prime. Res64: 793AED672CDEF6FB Time : 0.0 sec. user=mdettweiler [2015-11-05 10:28:05] 759*2^1414092-1 is not prime. Res64: B9AF26CBDF8D3228 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:28:06] 779*2^1414092-1 is not prime. Res64: 5751A5C07F5D122C Time : 0.0 sec. user=mdettweiler [2015-11-05 10:28:06] 999*2^1414091-1 is not prime. Res64: B5947BA81DE8282B Time : 0.0 sec. user=mdettweiler [2015-11-05 10:28:06] 669*2^1414092-1 is not prime. Res64: 1AEE66A8A9CFAC8F Time : 0.0 sec. user=mdettweiler [2015-11-05 10:28:07] 753*2^1414092-1 is not prime. Res64: 0D5F4D24FB5B3712 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:45:37] 609*2^1414093-1 is not prime. Res64: D0F3973ADBA528F5 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:45:38] 741*2^1414093-1 is not prime. Res64: 5C0682F98E0413A6 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:45:38] 873*2^1414092-1 is not prime. Res64: E20951B864B1CB7A Time : 0.0 sec. user=mdettweiler [2015-11-05 10:45:38] 909*2^1414092-1 is not prime. Res64: D08DD90FD82410B3 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:45:40] 757*2^1414093-1 is not prime. Res64: 5F9F88ABF7EE9CF7 Time : 0.0 sec. user=mdettweiler [2015-11-05 10:45:40] 897*2^1414093-1 is not prime. Res64: 3F9CD0339435247E Time : 0.0 sec. user=mdettweiler [2015-11-05 11:03:09] 671*2^1414094-1 is not prime. Res64: BB8D4E2829663FA2 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:03:10] 993*2^1414094-1 is not prime. Res64: E0145267245ADC12 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:03:11] 731*2^1414094-1 is not prime. Res64: 3E0355E6DAC2BFE2 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:03:12] 609*2^1414095-1 is not prime. Res64: 43CE3EE3E7200620 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:03:12] 813*2^1414094-1 is not prime. Res64: B19FD8C921B562B4 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:03:13] 885*2^1414094-1 is not prime. Res64: 966E1F09D3CA981C Time : 0.0 sec. user=mdettweiler [2015-11-05 11:21:15] 645*2^1414096-1 is not prime. Res64: AEF17DC89547FF17 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:21:15] 777*2^1414096-1 is not prime. Res64: 4BEAF62F8D5055CB Time : 0.0 sec. user=mdettweiler [2015-11-05 11:21:16] 677*2^1414096-1 is not prime. Res64: 08ACF1CDAFDAB32D Time : 0.0 sec. user=mdettweiler [2015-11-05 11:21:16] 849*2^1414096-1 is not prime. Res64: 1A9B705DFD7B927B Time : 0.0 sec. user=mdettweiler [2015-11-05 11:21:18] 895*2^1414095-1 is not prime. Res64: E3850C4141649E82 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:21:18] 609*2^1414096-1 is not prime. Res64: 6685C42A79C80111 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:38:45] 927*2^1414096-1 is not prime. Res64: FEB3FB11903A40BC Time : 0.0 sec. user=mdettweiler [2015-11-05 11:38:45] 649*2^1414097-1 is not prime. Res64: A7F6A7DA80345D82 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:38:45] 969*2^1414096-1 is not prime. Res64: 68D650AF1AC2C85B Time : 0.0 sec. user=mdettweiler [2015-11-05 11:38:45] 669*2^1414097-1 is not prime. Res64: B9951ACBF21A647B Time : 0.0 sec. user=mdettweiler [2015-11-05 11:38:47] 675*2^1414097-1 is not prime. Res64: DFC86EAD81514C2A Time : 0.0 sec. user=mdettweiler [2015-11-05 11:38:47] 729*2^1414097-1 is not prime. Res64: 26D8DFEDB4749204 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:56:15] 871*2^1414097-1 is not prime. Res64: 71CDDBF951E86027 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:56:15] 981*2^1414097-1 is not prime. Res64: 416FDD8F0222D421 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:56:15] 651*2^1414098-1 is not prime. Res64: 64F12401C141BD53 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:56:16] 681*2^1414098-1 is not prime. Res64: 564BA91729C14204 Time : 0.0 sec. user=mdettweiler [2015-11-05 11:56:16] 705*2^1414098-1 is not prime. Res64: 2E1ACB60C2DD99DF Time : 0.0 sec. user=mdettweiler [2015-11-05 11:56:16] 737*2^1414098-1 is not prime. Res64: C76B97FFE41CFE2B Time : 0.0 sec. user=mdettweiler [2015-11-05 12:13:45] 765*2^1414098-1 is not prime. Res64: DBBE197A9DDD2165 Time : 0.0 sec. user=mdettweiler [2015-11-05 12:13:45] 797*2^1414098-1 is not prime. Res64: A659E6D7E268A2F8 Time : 0.0 sec. user=mdettweiler [2015-11-05 12:13:46] 801*2^1414098-1 is not prime. Res64: 48306F4D0D72C5BE Time : 0.0 sec. user=mdettweiler [2015-11-05 12:13:46] 803*2^1414098-1 is not prime. Res64: 75F025D625A5C8A5 Time : 0.0 sec. user=mdettweiler [2015-11-05 12:13:46] 821*2^1414098-1 is not prime. Res64: B2EC56CB6C1FA63D Time : 0.0 sec. user=mdettweiler [2015-11-05 12:13:47] 885*2^1414098-1 is not prime. Res64: 7C000BCB8CA85A6F Time : 0.0 sec. user=mdettweiler [2015-11-05 12:31:18] 891*2^1414098-1 is not prime. Res64: C406192FAB3C394A Time : 0.0 sec. user=mdettweiler [2015-11-05 12:31:18] 615*2^1414099-1 is not prime. Res64: 322824FA78952AB3 Time : 0.0 sec. user=mdettweiler [2015-11-05 12:31:23] 633*2^1414099-1 is not prime. Res64: 531B11FD9F07FD00 Time : 0.0 sec. user=mdettweiler [2015-11-05 12:31:23] 693*2^1414099-1 is not prime. Res64: 1AEF8DD42A893C99 Time : 0.0 sec. user=mdettweiler [2015-11-05 12:31:25] 893*2^1414098-1 is not prime. Res64: BB2CA9A15CE48C2E Time : 0.0 sec. user=mdettweiler [2015-11-05 12:31:26] 957*2^1414098-1 is not prime. Res64: 0179252F2868291B Time : 0.0 sec. user=mdettweiler [2015-11-05 12:48:50] 775*2^1414099-1 is not prime. Res64: D6BE4B59587649FD Time : 0.0 sec. user=mdettweiler [2015-11-05 12:48:50] 969*2^1414099-1 is not prime. Res64: 244D9248795B4F55 Time : 0.0 sec. user=mdettweiler [2015-11-05 12:48:52] 973*2^1414099-1 is not prime. Res64: 88D8EEC61C656CD2 Time : 0.0 sec. user=mdettweiler [2015-11-05 12:48:53] 975*2^1414099-1 is not prime. Res64: A4DF1D83819FF3D7 Time : 0.0 sec. user=mdettweiler [2015-11-05 12:48:55] 985*2^1414099-1 is not prime. Res64: 202D593D0ECC2399 Time : 0.0 sec. user=mdettweiler [2015-11-05 12:48:55] 999*2^1414099-1 is not prime. Res64: F69134414E1A32D6 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:06:20] 777*2^1414100-1 is not prime. Res64: C965C0AA256C2E51 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:06:21] 843*2^1414100-1 is not prime. Res64: FE57FDB33F47487F Time : 0.0 sec. user=mdettweiler [2015-11-05 13:06:22] 893*2^1414100-1 is not prime. Res64: 416A31524B28E164 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:06:22] 709*2^1414101-1 is not prime. Res64: C81269BD9E82435F Time : 0.0 sec. user=mdettweiler [2015-11-05 13:06:24] 987*2^1414101-1 is not prime. Res64: BA9D369272937821 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:06:25] 761*2^1414102-1 is not prime. Res64: 744099AC5DCB70E5 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:24:08] 867*2^1414102-1 is not prime. Res64: AA02F263AEAFF61C Time : 0.0 sec. user=mdettweiler [2015-11-05 13:24:08] 947*2^1414102-1 is not prime. Res64: C3543415B6FD57D4 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:24:10] 957*2^1414102-1 is not prime. Res64: B909693A36F65F98 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:24:10] 721*2^1414103-1 is not prime. Res64: E156670802436D46 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:24:11] 765*2^1414102-1 is not prime. Res64: 0E52026D9D1BDE7C Time : 0.0 sec. user=mdettweiler [2015-11-05 13:24:11] 831*2^1414102-1 is not prime. Res64: FF876A160E15B3B5 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:42:00] 861*2^1414103-1 is not prime. Res64: F2E56919A9FFBBB2 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:42:01] 895*2^1414103-1 is not prime. Res64: 29669278879DA71B Time : 0.0 sec. user=mdettweiler [2015-11-05 13:42:02] 939*2^1414103-1 is not prime. Res64: 0B561F08A7EB567E Time : 0.0 sec. user=mdettweiler [2015-11-05 13:42:03] 635*2^1414104-1 is not prime. Res64: 2E01AB69C70A5B45 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:42:03] 843*2^1414104-1 is not prime. Res64: 06707F0EC3FDC6B8 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:42:04] 915*2^1414104-1 is not prime. Res64: 989CC2848BD28393 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:59:39] 975*2^1414104-1 is not prime. Res64: B4D0952C342CE200 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:59:40] 983*2^1414104-1 is not prime. Res64: 793288C65F5DB2BE Time : 0.0 sec. user=mdettweiler [2015-11-05 13:59:43] 715*2^1414105-1 is not prime. Res64: C0E75F26577A165E Time : 0.0 sec. user=mdettweiler [2015-11-05 13:59:44] 777*2^1414105-1 is not prime. Res64: A6C2389D6627E9E3 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:59:46] 981*2^1414105-1 is not prime. Res64: 1097AE8343B8B498 Time : 0.0 sec. user=mdettweiler [2015-11-05 13:59:46] 603*2^1414106-1 is not prime. Res64: 0AE9A1F00874EACA Time : 0.0 sec. user=mdettweiler [2015-11-05 14:17:17] 651*2^1414106-1 is not prime. Res64: 6AA4B6BDE2E33FF6 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:17:18] 677*2^1414106-1 is not prime. Res64: CE1BBF1AD26683CA Time : 0.0 sec. user=mdettweiler [2015-11-05 14:17:20] 813*2^1414106-1 is not prime. Res64: C65AF9CA0936D914 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:17:20] 917*2^1414106-1 is not prime. Res64: A55E438FB4D56A07 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:17:23] 781*2^1414107-1 is not prime. Res64: 585FCBAA22848223 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:17:24] 805*2^1414107-1 is not prime. Res64: D6C0B3A43BE80487 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:34:57] 825*2^1414107-1 is not prime. Res64: A0112524ED5533FC Time : 0.0 sec. user=mdettweiler [2015-11-05 14:34:57] 639*2^1414108-1 is not prime. Res64: 547360609634CB5C Time : 0.0 sec. user=mdettweiler [2015-11-05 14:35:04] 695*2^1414108-1 is not prime. Res64: 4259022DC6668670 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:35:04] 657*2^1414108-1 is not prime. Res64: 959F341A6F7997C4 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:35:04] 743*2^1414108-1 is not prime. Res64: FFD514273DE71012 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:35:04] 665*2^1414108-1 is not prime. Res64: DEA6417E402AC47A Time : 0.0 sec. user=mdettweiler [2015-11-05 14:52:35] 813*2^1414108-1 is not prime. Res64: 08029C2F7C4016D2 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:52:35] 839*2^1414108-1 is not prime. Res64: 10273769777912C7 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:52:42] 869*2^1414108-1 is not prime. Res64: 17B061CCC3F1D8E0 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:52:42] 887*2^1414108-1 is not prime. Res64: 602FB0AC8A424B62 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:52:42] 619*2^1414109-1 is not prime. Res64: 3E26432D4E669CD6 Time : 0.0 sec. user=mdettweiler [2015-11-05 14:52:43] 655*2^1414109-1 is not prime. Res64: D047580DA45CF9EE Time : 0.0 sec. user=mdettweiler [2015-11-05 15:10:17] 697*2^1414109-1 is not prime. Res64: AD615FC8828C98BC Time : 0.0 sec. user=mdettweiler [2015-11-05 15:10:18] 729*2^1414109-1 is not prime. Res64: 693A47EC46D2E3CE Time : 0.0 sec. user=mdettweiler [2015-11-05 15:10:23] 713*2^1414110-1 is not prime. Res64: D53E638E2843D10D Time : 0.0 sec. user=mdettweiler [2015-11-05 15:10:23] 725*2^1414110-1 is not prime. Res64: 4B0A0C5887131B79 Time : 0.0 sec. user=mdettweiler [2015-11-05 15:10:24] 829*2^1414109-1 is not prime. Res64: 78C7252473E96397 Time : 0.0 sec. user=mdettweiler [2015-11-05 15:10:25] 677*2^1414110-1 is not prime. Res64: 46EC4B0EA1DD8C51 Time : 0.0 sec. user=mdettweiler [2015-11-05 15:28:04] 773*2^1414110-1 is not prime. Res64: FDDD9F5C447221ED Time : 0.0 sec. user=mdettweiler [2015-11-05 15:28:04] 977*2^1414110-1 is not prime. Res64: F1BA0A9BD1C28E5F Time : 0.0 sec. user=mdettweiler [2015-11-05 15:28:06] 1001*2^1414110-1 is not prime. Res64: CD13543BC7849572 Time : 0.0 sec. user=mdettweiler [2015-11-05 15:28:07] 651*2^1414111-1 is not prime. Res64: 24F6CB85CE5F409D Time : 0.0 sec. user=mdettweiler [2015-11-05 15:28:08] 723*2^1414111-1 is not prime. Res64: 0FACE9316CF44F09 Time : 0.0 sec. user=mdettweiler [2015-11-05 15:28:08] 741*2^1414111-1 is not prime. Res64: 4510CAD1B9C51FBC Time : 0.0 sec. user=mdettweiler [2015-11-05 15:45:46] 751*2^1414111-1 is not prime. Res64: 439F27CB6DE0BD68 Time : 0.0 sec. user=mdettweiler [2015-11-05 15:45:46] 763*2^1414111-1 is not prime. Res64: 28C78344721DD9B5 Time : 0.0 sec. user=mdettweiler [2015-11-05 15:45:48] 961*2^1414111-1 is not prime. Res64: 3107113BE0025BF3 Time : 0.0 sec. user=mdettweiler [2015-11-05 15:45:48] 969*2^1414111-1 is not prime. Res64: 715E7DFBA966B5E9 Time : 0.0 sec. user=mdettweiler [2015-11-05 15:45:51] 789*2^1414111-1 is not prime. Res64: FB2AAEFFA2FA40F3 Time : 0.0 sec. user=mdettweiler [2015-11-05 15:45:51] 951*2^1414111-1 is not prime. Res64: A437A5C4B6685117 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:03:46] 615*2^1414112-1 is not prime. Res64: 58F970995D80C689 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:03:47] 725*2^1414112-1 is not prime. Res64: 7838359C5AFFD959 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:03:48] 873*2^1414112-1 is not prime. Res64: 8C6AA15F3395D3A2 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:03:49] 945*2^1414112-1 is not prime. Res64: 440802DE16D159B7 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:03:50] 977*2^1414112-1 is not prime. Res64: 9144288E8DDFD34D Time : 0.0 sec. user=mdettweiler [2015-11-05 16:03:52] 625*2^1414113-1 is not prime. Res64: 7F31C1F3569AE98C Time : 0.0 sec. user=mdettweiler [2015-11-05 16:21:49] 649*2^1414113-1 is not prime. Res64: C22B5D39F5E0F5E6 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:21:49] 747*2^1414113-1 is not prime. Res64: 121D959DC02180C6 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:21:49] 685*2^1414113-1 is not prime. Res64: 880F0D95166AB9C1 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:21:49] 741*2^1414113-1 is not prime. Res64: 185FEB25FEC9FBF9 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:21:49] 765*2^1414113-1 is not prime. Res64: 0F62F53A9945006F Time : 0.0 sec. user=mdettweiler [2015-11-05 16:21:50] 789*2^1414113-1 is not prime. Res64: 43D11247B69B91F9 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:39:42] 891*2^1414114-1 is not prime. Res64: 9AE054B6DE3E71C0 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:39:42] 915*2^1414114-1 is not prime. Res64: 53AD1AF110CC099E Time : 0.0 sec. user=mdettweiler [2015-11-05 16:39:44] 805*2^1414113-1 is not prime. Res64: D58CADDD75489AC9 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:39:44] 937*2^1414113-1 is not prime. Res64: C49375E2404868A8 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:39:45] 979*2^1414113-1 is not prime. Res64: E7461B97FF6F806C Time : 0.0 sec. user=mdettweiler [2015-11-05 16:39:45] 651*2^1414114-1 is not prime. Res64: 3A85FED26FB6D8A7 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:57:28] 917*2^1414114-1 is not prime. Res64: 7F7CE9E1B8EC416F Time : 0.0 sec. user=mdettweiler [2015-11-05 16:57:29] 783*2^1414115-1 is not prime. Res64: A2F6D13E7A3BE16C Time : 0.0 sec. user=mdettweiler [2015-11-05 16:57:29] 825*2^1414115-1 is not prime. Res64: 45DC3ECBFB15D318 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:57:30] 829*2^1414115-1 is not prime. Res64: 54CB76844F1A1595 Time : 0.0 sec. user=mdettweiler [2015-11-05 16:57:30] 889*2^1414115-1 is not prime. Res64: C1880C224DDEC20B Time : 0.0 sec. user=mdettweiler [2015-11-05 16:57:30] 963*2^1414115-1 is not prime. Res64: DA9A8FB74EAAD0CF Time : 0.0 sec. user=mdettweiler [2015-11-05 17:15:18] 669*2^1414116-1 is not prime. Res64: 7FB16D88E5BB7A90 Time : 0.0 sec. user=mdettweiler [2015-11-05 17:15:18] 675*2^1414116-1 is not prime. Res64: 155F23963D6D01EC Time : 0.0 sec. user=mdettweiler [2015-11-05 17:15:18] 717*2^1414116-1 is not prime. Res64: E81A78AE1923DD4F Time : 0.0 sec. user=mdettweiler [2015-11-05 17:15:19] 765*2^1414116-1 is not prime. Res64: 47D8424015344D08 Time : 0.0 sec. user=mdettweiler [2015-11-05 17:15:25] 767*2^1414116-1 is not prime. Res64: 2ED8087645346587 Time : 0.0 sec. user=mdettweiler [2015-11-05 17:15:26] 845*2^1414116-1 is not prime. Res64: 15B86E73A89B86ED Time : 0.0 sec. user=mdettweiler [2015-11-05 17:33:17] 857*2^1414116-1 is not prime. Res64: 70B5B1C272EB4D00 Time : 0.0 sec. user=mdettweiler [2015-11-05 17:33:18] 879*2^1414116-1 is not prime. Res64: EFC1787CB4A81E47 Time : 0.0 sec. user=mdettweiler [2015-11-05 17:33:19] 909*2^1414116-1 is not prime. Res64: 139B0634C840032F Time : 0.0 sec. user=mdettweiler [2015-11-05 17:33:20] 923*2^1414116-1 is not prime. Res64: 2F352FE22CBA2E3B Time : 0.0 sec. user=mdettweiler [2015-11-05 17:33:25] 927*2^1414116-1 is not prime. Res64: DF1E9D9A53B4A8EF Time : 0.0 sec. user=mdettweiler [2015-11-05 17:33:26] 957*2^1414116-1 is not prime. Res64: B01994DC41E2997C Time : 0.0 sec. user=mdettweiler [2015-11-05 17:52:19] 601*2^1414117-1 is not prime. Res64: B3D498733B72D62C Time : 0.0 sec. user=mdettweiler [2015-11-05 17:52:19] 741*2^1414117-1 is not prime. Res64: E1AC93ABDB91337A Time : 0.0 sec. user=mdettweiler [2015-11-05 17:52:19] 699*2^1414117-1 is not prime. Res64: D0C2CA5E9560B8A8 Time : 0.0 sec. user=mdettweiler [2015-11-05 17:52:19] 819*2^1414117-1 is not prime. Res64: BE951D4AECD264EC Time : 0.0 sec. user=mdettweiler [2015-11-05 17:52:25] 859*2^1414117-1 is not prime. Res64: 929C3618827B0493 Time : 0.0 sec. user=mdettweiler [2015-11-05 17:52:25] 919*2^1414117-1 is not prime. Res64: B3E477E63E4A6994 Time : 0.0 sec. user=mdettweiler [2015-11-05 18:11:18] 671*2^1414118-1 is not prime. Res64: CB9F8CCA87545867 Time : 0.0 sec. user=mdettweiler [2015-11-05 18:11:19] 797*2^1414118-1 is not prime. Res64: 075FDF8B29778C07 Time : 0.0 sec. user=mdettweiler [2015-11-05 18:11:21] 641*2^1414118-1 is not prime. Res64: C95AF961B03DE28F Time : 0.0 sec. user=mdettweiler [2015-11-05 18:11:21] 663*2^1414118-1 is not prime. Res64: 6619A55EC9F9D0E1 Time : 0.0 sec. user=mdettweiler [2015-11-05 18:11:22] 885*2^1414118-1 is not prime. Res64: 61E03B540335358B Time : 0.0 sec. user=mdettweiler [2015-11-05 18:11:22] 897*2^1414118-1 is not prime. Res64: B3339E62032C37BB Time : 0.0 sec. user=mdettweiler [2015-11-05 18:30:12] 977*2^1414118-1 is not prime. Res64: 0DBA954A49C5FCB7 Time : 0.0 sec. user=mdettweiler [2015-11-05 18:30:13] 775*2^1414119-1 is not prime. Res64: ACC2A65CD64F61A5 Time : 0.0 sec. user=mdettweiler [2015-11-05 18:30:13] 703*2^1414119-1 is not prime. Res64: 33C4A7BC7ADE1C5B Time : 0.0 sec. user=mdettweiler [2015-11-05 18:30:13] 795*2^1414119-1 is not prime. Res64: 986523495E3CF597 Time : 0.0 sec. user=mdettweiler [2015-11-05 18:30:14] 951*2^1414119-1 is not prime. Res64: 7E590FF41508CC35 Time : 0.0 sec. user=mdettweiler [2015-11-05 18:30:14] 635*2^1414120-1 is not prime. Res64: 43A8BDEB78BD9C9B Time : 0.0 sec. user=mdettweiler [2015-11-05 18:47:57] 743*2^1414120-1 is not prime. Res64: 466492188A6C7CDE Time : 0.0 sec. user=mdettweiler [2015-11-05 18:47:57] 803*2^1414120-1 is not prime. Res64: 7CB6202C409C9B93 Time : 0.0 sec. user=mdettweiler [2015-11-05 18:47:58] 839*2^1414120-1 is not prime. Res64: 3AF55B6F164DE3F0 Time : 0.0 sec. user=mdettweiler [2015-11-05 18:47:58] 917*2^1414120-1 is not prime. Res64: 9FA382F76D9D5DAB Time : 0.0 sec. user=mdettweiler [2015-11-05 18:47:58] 675*2^1414120-1 is not prime. Res64: 38FF569C8237BA6A Time : 0.0 sec. user=mdettweiler [2015-11-05 18:47:59] 695*2^1414120-1 is not prime. Res64: 8458F3B7B8FBC225 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:05:43] 927*2^1414120-1 is not prime. Res64: 977C759FCF39F987 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:05:44] 657*2^1414121-1 is not prime. Res64: D19F96A3BD83E84C Time : 0.0 sec. user=mdettweiler [2015-11-05 19:05:44] 811*2^1414121-1 is not prime. Res64: F24864D6527998AF Time : 0.0 sec. user=mdettweiler [2015-11-05 19:05:45] 697*2^1414121-1 is not prime. Res64: 9CA1C2409F2A0426 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:05:46] 889*2^1414121-1 is not prime. Res64: 2B3B63C243ED2C2D Time : 0.0 sec. user=mdettweiler [2015-11-05 19:05:48] 735*2^1414121-1 is not prime. Res64: 52B335F087E91759 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:23:49] 615*2^1414122-1 is not prime. Res64: 6264715C638840BD Time : 0.0 sec. user=mdettweiler [2015-11-05 19:23:49] 681*2^1414122-1 is not prime. Res64: 960A89F768413B62 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:23:52] 713*2^1414122-1 is not prime. Res64: 9599D395AEC43D70 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:23:52] 755*2^1414122-1 is not prime. Res64: EC43EBCD011B9B68 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:23:53] 867*2^1414122-1 is not prime. Res64: 4D17C2C23754E32A Time : 0.0 sec. user=mdettweiler [2015-11-05 19:23:54] 875*2^1414122-1 is not prime. Res64: C525BBB6B264305E Time : 0.0 sec. user=mdettweiler [2015-11-05 19:41:17] 915*2^1414122-1 is not prime. Res64: BE1AB8B33A6CF134 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:41:18] 963*2^1414122-1 is not prime. Res64: 9689BA1C0DA335BC Time : 0.0 sec. user=mdettweiler [2015-11-05 19:41:21] 875*2^1414124-1 is not prime. Res64: 70BEEC26CDA09DC2 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:41:21] 897*2^1414124-1 is not prime. Res64: 516A1B78ACC00060 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:41:23] 765*2^1414123-1 is not prime. Res64: D547692D71247BD7 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:41:23] 945*2^1414123-1 is not prime. Res64: AAE10FEACBC0A7E3 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:58:46] 909*2^1414124-1 is not prime. Res64: 039127F4C680F00C Time : 0.0 sec. user=mdettweiler [2015-11-05 19:58:46] 691*2^1414125-1 is not prime. Res64: F36EBF6B460A181D Time : 0.0 sec. user=mdettweiler [2015-11-05 19:58:50] 741*2^1414125-1 is not prime. Res64: AC45DF964423167E Time : 0.0 sec. user=mdettweiler [2015-11-05 19:58:50] 765*2^1414125-1 is not prime. Res64: 1184747291762085 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:58:51] 867*2^1414125-1 is not prime. Res64: 00209709F3BA6633 Time : 0.0 sec. user=mdettweiler [2015-11-05 19:58:52] 979*2^1414125-1 is not prime. Res64: CB69AA57C5064D96 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:16:30] 635*2^1414126-1 is not prime. Res64: 09B26430F538B138 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:16:31] 657*2^1414126-1 is not prime. Res64: 160DB71A24C64882 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:16:36] 671*2^1414126-1 is not prime. Res64: A4A1204719AF8359 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:16:36] 619*2^1414127-1 is not prime. Res64: 722A65A28A740E79 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:16:36] 917*2^1414126-1 is not prime. Res64: A9DF3266B89BC285 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:16:36] 661*2^1414127-1 is not prime. Res64: F388FC937A1D6AF0 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:34:12] 705*2^1414127-1 is not prime. Res64: 7852440C3E98E355 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:34:12] 763*2^1414127-1 is not prime. Res64: EAAAC9AD5F468BB3 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:34:14] 895*2^1414127-1 is not prime. Res64: 845D2BDF9777CDC4 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:34:15] 999*2^1414127-1 is not prime. Res64: BE506A740F525744 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:34:15] 629*2^1414128-1 is not prime. Res64: B580A8CA7152D9E3 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:34:16] 665*2^1414128-1 is not prime. Res64: 5BA2711C2128C6E3 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:51:41] 875*2^1414128-1 is not prime. Res64: 55925CD6C955D6C1 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:51:41] 927*2^1414128-1 is not prime. Res64: AAC8B7B5B44A57C5 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:51:42] 945*2^1414128-1 is not prime. Res64: 84AD002ED253B6D7 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:51:43] 977*2^1414128-1 is not prime. Res64: 4472A6C5F7A3BA2D Time : 0.0 sec. user=mdettweiler [2015-11-05 20:51:43] 999*2^1414128-1 is not prime. Res64: C501E99C439DBC01 Time : 0.0 sec. user=mdettweiler [2015-11-05 20:51:44] 649*2^1414129-1 is not prime. Res64: B958FE53A7108C01 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:09:09] 681*2^1414129-1 is not prime. Res64: 431EBA364C3A7E04 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:09:09] 721*2^1414129-1 is not prime. Res64: 27CFC0D1CF7A1FAA Time : 0.0 sec. user=mdettweiler [2015-11-05 21:09:10] 747*2^1414129-1 is not prime. Res64: DFACC4A30269B269 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:09:10] 931*2^1414129-1 is not prime. Res64: B93846FA2E1CDCCA Time : 0.0 sec. user=mdettweiler [2015-11-05 21:09:11] 665*2^1414130-1 is not prime. Res64: FC769ACCE5823866 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:09:12] 731*2^1414130-1 is not prime. Res64: CE596EF54125A6F9 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:26:40] 753*2^1414130-1 is not prime. Res64: B876E794A28777D5 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:26:40] 745*2^1414131-1 is not prime. Res64: 9EE89510C7BA4ED5 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:26:40] 825*2^1414130-1 is not prime. Res64: 224F0276DCE5A483 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:26:40] 871*2^1414131-1 is not prime. Res64: 5681750A0CFE16A5 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:26:40] 917*2^1414130-1 is not prime. Res64: C24AEC7A0E34D7DE Time : 0.0 sec. user=mdettweiler [2015-11-05 21:26:41] 619*2^1414131-1 is not prime. Res64: 691A3FAF86A65D43 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:44:54] 689*2^1414132-1 is not prime. Res64: 2955EBDEFAB54685 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:44:54] 719*2^1414132-1 is not prime. Res64: D60B4D9810C29E84 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:44:55] 723*2^1414132-1 is not prime. Res64: 31A1E0FCA2CDE40D Time : 0.0 sec. user=mdettweiler [2015-11-05 21:44:55] 785*2^1414132-1 is not prime. Res64: 9FB33E52A1837BD2 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:44:55] 623*2^1414132-1 is not prime. Res64: E9E665010FB36EB1 Time : 0.0 sec. user=mdettweiler [2015-11-05 21:44:55] 635*2^1414132-1 is not prime. Res64: 5A636C51B4776C0B Time : 0.0 sec. user=mdettweiler [2015-11-05 22:02:30] 833*2^1414132-1 is not prime. Res64: 66AEC118BB51156C Time : 0.0 sec. user=mdettweiler [2015-11-05 22:02:31] 875*2^1414132-1 is not prime. Res64: F6CEA84B7E55ACEC Time : 0.0 sec. user=mdettweiler [2015-11-05 22:02:32] 741*2^1414133-1 is not prime. Res64: 6E428F4D0BD886AF Time : 0.0 sec. user=mdettweiler [2015-11-05 22:02:32] 933*2^1414132-1 is not prime. Res64: 23CF4DAECF8D0156 Time : 0.0 sec. user=mdettweiler [2015-11-05 22:02:33] 759*2^1414133-1 is not prime. Res64: 4C9B9C4834B3D839 Time : 0.0 sec. user=mdettweiler [2015-11-05 22:02:34] 631*2^1414133-1 is not prime. Res64: 1D254203BFAD340D Time : 0.0 sec. user=mdettweiler [2015-11-05 22:20:21] 769*2^1414133-1 is not prime. Res64: 2663E279BF776581 Time : 0.0 sec. user=mdettweiler [2015-11-05 22:20:21] 693*2^1414134-1 is not prime. Res64: 369151BE6AED211E Time : 0.0 sec. user=mdettweiler [2015-11-05 22:20:23] 885*2^1414133-1 is not prime. Res64: 845FCC16A629D24D Time : 0.0 sec. user=mdettweiler [2015-11-05 22:20:23] 889*2^1414133-1 is not prime. Res64: 9380906005E84DFE Time : 0.0 sec. user=mdettweiler [2015-11-05 22:20:24] 915*2^1414133-1 is not prime. Res64: E589ED7D49994FEB Time : 0.0 sec. user=mdettweiler [2015-11-05 22:20:24] 957*2^1414133-1 is not prime. Res64: B42C3A5F603C6BC6 Time : 0.0 sec. user=mdettweiler [2015-11-05 22:37:49] 747*2^1414134-1 is not prime. Res64: 2C3B1B58E9EB60CC Time : 0.0 sec. user=mdettweiler [2015-11-05 22:37:49] 755*2^1414134-1 is not prime. Res64: 3648C30C29296BB8 Time : 0.0 sec. user=mdettweiler [2015-11-05 22:37:52] 863*2^1414134-1 is not prime. Res64: 9C3E1EF3A3F86E0E Time : 0.0 sec. user=mdettweiler [2015-11-05 22:37:52] 921*2^1414134-1 is not prime. Res64: 2B6E0EAB3019DACA Time : 0.0 sec. user=mdettweiler [2015-11-05 22:37:53] 791*2^1414134-1 is not prime. Res64: CAE4384DB6106258 Time : 0.0 sec. user=mdettweiler [2015-11-05 22:37:53] 825*2^1414134-1 is not prime. Res64: 6DFFA9B7C40C54D8 Time : 0.0 sec. user=mdettweiler [2015-11-05 22:55:16] 983*2^1414134-1 is not prime. Res64: 54C634D8122C41CF Time : 0.0 sec. user=mdettweiler [2015-11-05 22:55:16] 639*2^1414135-1 is not prime. Res64: 766B7B63AF52318C Time : 0.0 sec. user=mdettweiler [2015-11-05 22:55:20] 709*2^1414135-1 is not prime. Res64: D001E2D38AF209C6 Time : 0.0 sec. user=mdettweiler [2015-11-05 22:55:21] 783*2^1414135-1 is not prime. Res64: 2D90E96A440794AF Time : 0.0 sec. user=mdettweiler [2015-11-05 22:55:21] 765*2^1414135-1 is not prime. Res64: FFFAD4B3137395C6 Time : 0.0 sec. user=mdettweiler [2015-11-05 22:55:21] 909*2^1414135-1 is not prime. Res64: 77159797AC60B948 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:12:50] 645*2^1414136-1 is not prime. Res64: D6758B72BC008482 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:12:50] 623*2^1414136-1 is not prime. Res64: EA9D689A3930A696 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:12:50] 925*2^1414135-1 is not prime. Res64: FA96B339BC11AAE6 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:12:51] 939*2^1414135-1 is not prime. Res64: ADA10286303770CF Time : 0.0 sec. user=mdettweiler [2015-11-05 23:12:51] 633*2^1414136-1 is not prime. Res64: CDFF4A8FA50D06A1 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:12:51] 767*2^1414136-1 is not prime. Res64: E3C928BA511CB9AD Time : 0.0 sec. user=mdettweiler [2015-11-05 23:30:22] 663*2^1414138-1 is not prime. Res64: 9A3686FB47A35278 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:30:22] 759*2^1414137-1 is not prime. Res64: FB226DBA83F47390 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:30:23] 773*2^1414138-1 is not prime. Res64: 7A0D7F98D7BAB09A Time : 0.0 sec. user=mdettweiler [2015-11-05 23:30:23] 605*2^1414138-1 is not prime. Res64: 6A4DACA21B0869D2 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:30:23] 889*2^1414137-1 is not prime. Res64: 021BB4A2270BEBCD Time : 0.0 sec. user=mdettweiler [2015-11-05 23:30:23] 623*2^1414138-1 is not prime. Res64: F3CDBF312311487A Time : 0.0 sec. user=mdettweiler [2015-11-05 23:47:50] 945*2^1414138-1 is not prime. Res64: 201D13463F1D9B8A Time : 0.0 sec. user=mdettweiler [2015-11-05 23:47:50] 971*2^1414138-1 is not prime. Res64: 829C864138351E10 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:47:50] 995*2^1414138-1 is not prime. Res64: 68D11E2F9B8B68E7 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:47:51] 775*2^1414139-1 is not prime. Res64: BC5ACFCE48BA36D3 Time : 0.0 sec. user=mdettweiler [2015-11-05 23:47:55] 841*2^1414139-1 is not prime. Res64: 6FFDDCAD338B6F7E Time : 0.0 sec. user=mdettweiler [2015-11-05 23:47:55] 931*2^1414139-1 is not prime. Res64: 8375BC840B601B3D Time : 0.0 sec.