user=mdettweiler [2016-05-03 00:34:45] 841*2^1428011-1 is not prime. Res64: F9F2B14C37B0C443 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:34:46] 885*2^1428011-1 is not prime. Res64: A189C91D5CE397AC Time : 0.0 sec. user=mdettweiler [2016-05-03 00:34:46] 939*2^1428011-1 is not prime. Res64: D5D6F9B738F4939C Time : 0.0 sec. user=mdettweiler [2016-05-03 00:34:46] 969*2^1428011-1 is not prime. Res64: CDFA719B905DD7B8 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:34:47] 623*2^1428012-1 is not prime. Res64: 86201360C9E35066 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:36:07] 635*2^1428012-1 is not prime. Res64: 6E02945107448678 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:36:07] 675*2^1428012-1 is not prime. Res64: A5199F7BEE05D84C Time : 0.0 sec. user=mdettweiler [2016-05-03 00:36:07] 689*2^1428012-1 is not prime. Res64: 538E4AB21715A7D1 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:36:08] 717*2^1428012-1 is not prime. Res64: E47254D85A6385A9 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:36:08] 719*2^1428012-1 is not prime. Res64: 4DE84013DAC6B9A1 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:43:02] 705*2^1428007-1 is not prime. Res64: CAC7BE704272DA58 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:43:03] 765*2^1428007-1 is not prime. Res64: FD0D576AE0182742 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:43:03] 871*2^1428007-1 is not prime. Res64: E454AA2262FADDB8 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:43:03] 873*2^1428007-1 is not prime. Res64: A4E3984F311D3B16 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:43:04] 961*2^1428007-1 is not prime. Res64: BAF835788B1C6BE3 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:43:42] 929*2^1428012-1 is not prime. Res64: 7B29BAA7493E36C2 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:43:42] 935*2^1428012-1 is not prime. Res64: 72477AF3BB0016EF Time : 0.0 sec. user=mdettweiler [2016-05-03 00:43:43] 977*2^1428012-1 is not prime. Res64: 06D3F71D757E1A09 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:43:43] 699*2^1428013-1 is not prime. Res64: C892F2F2CA5B9056 Time : 0.0 sec. user=mdettweiler [2016-05-03 00:43:44] 775*2^1428013-1 is not prime. Res64: D8A6C1CBD2981E51 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:20:31] 849*2^1428013-1 is not prime. Res64: A7C86084619B1A65 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:20:32] 859*2^1428013-1 is not prime. Res64: E656C0649DE68C56 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:20:32] 885*2^1428013-1 is not prime. Res64: 2E9EB6287481CAE3 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:20:33] 683*2^1428014-1 is not prime. Res64: 9496728AB295B93A Time : 0.0 sec. user=mdettweiler [2016-05-03 01:20:33] 897*2^1428014-1 is not prime. Res64: E6DADC45D4D84041 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:21:52] 941*2^1428014-1 is not prime. Res64: B5EE211EE53A3056 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:21:52] 951*2^1428014-1 is not prime. Res64: B6E7729C659EBE44 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:21:52] 983*2^1428014-1 is not prime. Res64: 11B06F9D02DC72B1 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:21:53] 1001*2^1428014-1 is not prime. Res64: 8DEEFFC3EDF6911C Time : 0.0 sec. user=mdettweiler [2016-05-03 01:21:53] 711*2^1428015-1 is not prime. Res64: 970AFBC49271DA6C Time : 0.0 sec. user=mdettweiler [2016-05-03 01:28:31] 793*2^1428015-1 is not prime. Res64: 6765781BB1FF4123 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:28:32] 891*2^1428015-1 is not prime. Res64: C7AB7EA42728852D Time : 0.0 sec. user=mdettweiler [2016-05-03 01:28:33] 933*2^1428015-1 is not prime. Res64: F86D3B0F90765B03 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:28:34] 623*2^1428016-1 is not prime. Res64: C6DE7AC990940536 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:28:35] 695*2^1428016-1 is not prime. Res64: BB19334A5A331EC6 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:28:42] 735*2^1428016-1 is not prime. Res64: C30074C044CED801 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:28:43] 779*2^1428016-1 is not prime. Res64: 5AB1E5986CDE4ECC Time : 0.0 sec. user=mdettweiler [2016-05-03 01:28:44] 803*2^1428016-1 is not prime. Res64: 2E97D98BCE3B5228 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:28:45] 849*2^1428016-1 is not prime. Res64: 3AF21A75CA9D2454 Time : 0.0 sec. user=mdettweiler [2016-05-03 01:28:47] 747*2^1428017-1 is not prime. Res64: 22D58F12D1B87892 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:05:38] 771*2^1428017-1 is not prime. Res64: 7DD56E85662B9726 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:05:39] 829*2^1428017-1 is not prime. Res64: 4E52C6D332449A66 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:05:40] 871*2^1428017-1 is not prime. Res64: 6C60A2C920F900C9 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:05:42] 931*2^1428017-1 is not prime. Res64: 20919604DA719DAF Time : 0.0 sec. user=mdettweiler [2016-05-03 02:05:43] 605*2^1428018-1 is not prime. Res64: D1DEC6AC8A4903B2 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:07:07] 633*2^1428018-1 is not prime. Res64: 6599F43369B66E68 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:07:07] 713*2^1428018-1 is not prime. Res64: 916310870675A9DB Time : 0.0 sec. user=mdettweiler [2016-05-03 02:07:08] 747*2^1428018-1 is not prime. Res64: C3FA16D5B001A67F Time : 0.0 sec. user=mdettweiler [2016-05-03 02:07:08] 765*2^1428018-1 is not prime. Res64: 159CE1D6E129B38C Time : 0.0 sec. user=mdettweiler [2016-05-03 02:07:09] 891*2^1428018-1 is not prime. Res64: 550BEA193F1DEB2E Time : 0.0 sec. user=mdettweiler [2016-05-03 02:13:59] 741*2^1428019-1 is not prime. Res64: CB077812B953807A Time : 0.0 sec. user=mdettweiler [2016-05-03 02:14:00] 909*2^1428019-1 is not prime. Res64: 149001F1A093ACEF Time : 0.0 sec. user=mdettweiler [2016-05-03 02:14:01] 677*2^1428020-1 is not prime. Res64: E758F382C3A7BAC4 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:14:02] 825*2^1428020-1 is not prime. Res64: 9D2B959AF3F5A793 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:14:02] 951*2^1428018-1 is not prime. Res64: 360A03AD478F1D67 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:14:02] 833*2^1428020-1 is not prime. Res64: C95B0AD7A1E4079A Time : 0.0 sec. user=mdettweiler [2016-05-03 02:14:03] 977*2^1428018-1 is not prime. Res64: 12E6452EDF0E51A6 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:14:03] 645*2^1428019-1 is not prime. Res64: 699823CFFD0CA7F7 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:14:04] 691*2^1428019-1 is not prime. Res64: 4775612C916D8DB6 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:14:05] 735*2^1428019-1 is not prime. Res64: FE18FCBFAE88DD72 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:51:09] 935*2^1428020-1 is not prime. Res64: 50C5C8439F3A67CD Time : 0.0 sec. user=mdettweiler [2016-05-03 02:51:10] 953*2^1428020-1 is not prime. Res64: D0DAF68C5F792BB4 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:51:10] 977*2^1428020-1 is not prime. Res64: BA2D24488228AD53 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:51:11] 999*2^1428020-1 is not prime. Res64: E9376936460CE8AA Time : 0.0 sec. user=mdettweiler [2016-05-03 02:51:11] 777*2^1428021-1 is not prime. Res64: 7917C152777C8A38 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:52:46] 895*2^1428021-1 is not prime. Res64: 6F5E4B0ABB76CBDC Time : 0.0 sec. user=mdettweiler [2016-05-03 02:52:46] 907*2^1428021-1 is not prime. Res64: C993BFAE742F7732 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:52:46] 741*2^1428022-1 is not prime. Res64: ABAFBF40F326FF87 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:52:47] 785*2^1428022-1 is not prime. Res64: 1E9BD5D579A0E4AA Time : 0.0 sec. user=mdettweiler [2016-05-03 02:52:47] 941*2^1428022-1 is not prime. Res64: 066ED67CFC7ED006 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:59:20] 643*2^1428023-1 is not prime. Res64: B22E7EEA93789B54 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:59:21] 753*2^1428023-1 is not prime. Res64: 2A751FDD364A77F5 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:59:21] 775*2^1428023-1 is not prime. Res64: 92D0AC5F75938D2D Time : 0.0 sec. user=mdettweiler [2016-05-03 02:59:22] 805*2^1428023-1 is not prime. Res64: 227463929C896434 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:59:22] 885*2^1428023-1 is not prime. Res64: 14B36EA1FD3B6ED5 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:59:31] 981*2^1428023-1 is not prime. Res64: D3066BB78A9DED65 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:59:32] 663*2^1428024-1 is not prime. Res64: C9CC0D9F7F2F60AB Time : 0.0 sec. user=mdettweiler [2016-05-03 02:59:32] 665*2^1428024-1 is not prime. Res64: 523FFC72E8C3D2A1 Time : 0.0 sec. user=mdettweiler [2016-05-03 02:59:32] 675*2^1428024-1 is not prime. Res64: 225E108907CFF21E Time : 0.0 sec. user=mdettweiler [2016-05-03 02:59:33] 893*2^1428024-1 is not prime. Res64: 4CAF0D6C348B16F0 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:36:26] 909*2^1428024-1 is not prime. Res64: 8537A4A7648BFDEF Time : 0.0 sec. user=mdettweiler [2016-05-03 03:36:28] 715*2^1428025-1 is not prime. Res64: E23B1C7699BE2C29 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:36:29] 805*2^1428025-1 is not prime. Res64: 26707DBB552A2DE1 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:36:29] 817*2^1428025-1 is not prime. Res64: C0DFC8349DC33976 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:36:30] 919*2^1428025-1 is not prime. Res64: C16436E2AD8F3874 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:37:57] 987*2^1428025-1 is not prime. Res64: E6A3193F71AA148A Time : 0.0 sec. user=mdettweiler [2016-05-03 03:37:58] 615*2^1428026-1 is not prime. Res64: E3A1DE9B44A132BC Time : 0.0 sec. user=mdettweiler [2016-05-03 03:37:59] 617*2^1428026-1 is not prime. Res64: AA8F578B36CB9054 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:38:00] 633*2^1428026-1 is not prime. Res64: 783B11281285A9BC Time : 0.0 sec. user=mdettweiler [2016-05-03 03:38:01] 641*2^1428026-1 is not prime. Res64: AA97819D45E6D894 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:44:38] 625*2^1428027-1 is not prime. Res64: 276398B5361EBA14 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:44:39] 707*2^1428026-1 is not prime. Res64: 60103DAFF2101A07 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:44:39] 699*2^1428027-1 is not prime. Res64: 946959198CF047A6 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:44:41] 773*2^1428026-1 is not prime. Res64: 1D0F69029A212770 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:44:41] 705*2^1428027-1 is not prime. Res64: 2C1ACF3A0A943CAA Time : 0.0 sec. user=mdettweiler [2016-05-03 03:44:42] 785*2^1428026-1 is not prime. Res64: 8B6932971E0737D6 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:44:43] 839*2^1428028-1 is not prime. Res64: AE38ECC076D99112 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:44:43] 945*2^1428026-1 is not prime. Res64: A32599F4B669A79D Time : 0.0 sec. user=mdettweiler [2016-05-03 03:44:43] 845*2^1428028-1 is not prime. Res64: E90A8AF39F5613E0 Time : 0.0 sec. user=mdettweiler [2016-05-03 03:44:44] 619*2^1428027-1 is not prime. Res64: 34594EEBA9A77046 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:23:49] 869*2^1428028-1 is not prime. Res64: 63AD6C6AFB933700 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:23:49] 885*2^1428028-1 is not prime. Res64: C581B13BAE040A62 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:23:50] 927*2^1428028-1 is not prime. Res64: 1A64A630E06E86CD Time : 0.0 sec. user=mdettweiler [2016-05-03 04:23:50] 657*2^1428029-1 is not prime. Res64: 1DDA78E9C6BCF03C Time : 0.0 sec. user=mdettweiler [2016-05-03 04:23:50] 799*2^1428029-1 is not prime. Res64: 5959A5F1EF8FEA27 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:24:43] 811*2^1428029-1 is not prime. Res64: 6BEA2A8E987894FA Time : 0.0 sec. user=mdettweiler [2016-05-03 04:24:44] 907*2^1428029-1 is not prime. Res64: 0F45A3ABCA728DFA Time : 0.0 sec. user=mdettweiler [2016-05-03 04:24:44] 945*2^1428029-1 is not prime. Res64: B2B440156065C417 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:24:45] 991*2^1428029-1 is not prime. Res64: 6F7E95A1337F3BA2 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:24:45] 627*2^1428030-1 is not prime. Res64: 8BF60A6A9F7D858F Time : 0.0 sec. user=mdettweiler [2016-05-03 04:31:29] 635*2^1428030-1 is not prime. Res64: 6DAB9964A92D675E Time : 0.0 sec. user=mdettweiler [2016-05-03 04:31:29] 641*2^1428030-1 is not prime. Res64: FE3D04EE10BE141E Time : 0.0 sec. user=mdettweiler [2016-05-03 04:31:29] 777*2^1428030-1 is not prime. Res64: A929819776D61FF0 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:31:30] 843*2^1428030-1 is not prime. Res64: 28C680C11A4C20F8 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:31:30] 893*2^1428030-1 is not prime. Res64: 54C6DC0FBCBD28E2 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:32:06] 917*2^1428030-1 is not prime. Res64: 8C9E36C255629879 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:32:06] 941*2^1428030-1 is not prime. Res64: B0D80CE5BE5CAD20 Time : 0.0 sec. user=mdettweiler [2016-05-03 04:32:07] 963*2^1428030-1 is not prime. Res64: A3FF3410A94D887C Time : 0.0 sec. user=mdettweiler [2016-05-03 04:32:07] 661*2^1428031-1 is not prime. Res64: 421493876A0BE92A Time : 0.0 sec. user=mdettweiler [2016-05-03 04:32:07] 673*2^1428031-1 is not prime. Res64: 5D49610B36610299 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:09:11] 895*2^1428031-1 is not prime. Res64: 233A8D885AAE6BF5 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:09:12] 961*2^1428031-1 is not prime. Res64: FAC1A4819131A695 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:09:13] 605*2^1428032-1 is not prime. Res64: 5BB5708E17D6603B Time : 0.0 sec. user=mdettweiler [2016-05-03 05:09:14] 767*2^1428032-1 is not prime. Res64: 4F6C22CAD66E2DE1 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:09:15] 797*2^1428032-1 is not prime. Res64: 3C12CCB125BEBD4C Time : 0.0 sec. user=mdettweiler [2016-05-03 05:10:03] 747*2^1428033-1 is not prime. Res64: A82C60853313C4C8 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:10:04] 835*2^1428033-1 is not prime. Res64: 91DFB42D895B53CC Time : 0.0 sec. user=mdettweiler [2016-05-03 05:10:05] 991*2^1428033-1 is not prime. Res64: 113D3B3F580479C3 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:10:06] 675*2^1428034-1 is not prime. Res64: 2A5D38B0E58876E1 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:10:06] 681*2^1428034-1 is not prime. Res64: 1F6858C75379D808 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:16:40] 741*2^1428034-1 is not prime. Res64: 985C0BE3C9699E1F Time : 0.0 sec. user=mdettweiler [2016-05-03 05:16:41] 803*2^1428034-1 is not prime. Res64: B19B597C4FF7872E Time : 0.0 sec. user=mdettweiler [2016-05-03 05:16:41] 855*2^1428034-1 is not prime. Res64: FC40A075282E1D64 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:16:41] 857*2^1428034-1 is not prime. Res64: 8D9A7E11703083CE Time : 0.0 sec. user=mdettweiler [2016-05-03 05:16:42] 903*2^1428034-1 is not prime. Res64: 0334792B444560C7 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:17:24] 915*2^1428034-1 is not prime. Res64: 56E573EC095A4CE9 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:17:24] 693*2^1428035-1 is not prime. Res64: D083D01F195A3746 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:17:25] 805*2^1428035-1 is not prime. Res64: 08E046FB38D800C6 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:17:25] 871*2^1428035-1 is not prime. Res64: 35D51C92DE0CF03D Time : 0.0 sec. user=mdettweiler [2016-05-03 05:17:25] 963*2^1428035-1 is not prime. Res64: 5498BB2278DE1CDE Time : 0.0 sec. user=mdettweiler [2016-05-03 05:54:39] 969*2^1428035-1 is not prime. Res64: 0465102E69387BB1 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:54:39] 973*2^1428035-1 is not prime. Res64: 824A149D9F0DC2C7 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:54:40] 683*2^1428036-1 is not prime. Res64: 9B5F85D06031A1EB Time : 0.0 sec. user=mdettweiler [2016-05-03 05:54:40] 845*2^1428036-1 is not prime. Res64: 256A3850BD8139C1 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:54:40] 867*2^1428036-1 is not prime. Res64: DB70B7D3F1A17D40 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:55:42] 905*2^1428036-1 is not prime. Res64: E50D15DCC0025EA5 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:55:42] 615*2^1428037-1 is not prime. Res64: DEFB9A3EDD95291F Time : 0.0 sec. user=mdettweiler [2016-05-03 05:55:43] 829*2^1428037-1 is not prime. Res64: D59A5DCC61DE15E5 Time : 0.0 sec. user=mdettweiler [2016-05-03 05:55:43] 861*2^1428037-1 is not prime. Res64: 22852F18572AECBB Time : 0.0 sec. user=mdettweiler [2016-05-03 05:55:44] 885*2^1428037-1 is not prime. Res64: A78E8A3D847A8AB5 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:02:09] 931*2^1428037-1 is not prime. Res64: F74A5568ECF56BE4 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:02:10] 939*2^1428037-1 is not prime. Res64: 799A7247B9600184 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:02:11] 967*2^1428037-1 is not prime. Res64: 74B8D4888EB21DBD Time : 0.0 sec. user=mdettweiler [2016-05-03 06:02:11] 623*2^1428038-1 is not prime. Res64: 4196745AE7E00EC8 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:02:12] 773*2^1428038-1 is not prime. Res64: B245CBC89499ECAD Time : 0.0 sec. user=mdettweiler [2016-05-03 06:03:07] 791*2^1428038-1 is not prime. Res64: 415A494E656BAF82 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:03:08] 795*2^1428038-1 is not prime. Res64: 1F8A1FAFDFB26270 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:03:09] 813*2^1428038-1 is not prime. Res64: 13B9121DE38398CF Time : 0.0 sec. user=mdettweiler [2016-05-03 06:03:10] 923*2^1428038-1 is not prime. Res64: 29383229440EC145 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:03:11] 661*2^1428039-1 is not prime. Res64: 4E26D438FFEA676A Time : 0.0 sec. user=mdettweiler [2016-05-03 06:39:46] 885*2^1428039-1 is not prime. Res64: 4941F29F61CB51D0 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:39:46] 913*2^1428039-1 is not prime. Res64: 25FF6394A19282E9 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:39:47] 609*2^1428040-1 is not prime. Res64: 53DC4CAD8A406218 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:39:47] 675*2^1428040-1 is not prime. Res64: 6CBF4B2805A2AC96 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:39:47] 707*2^1428040-1 is not prime. Res64: 5E86C779FA0F2852 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:40:59] 743*2^1428040-1 is not prime. Res64: AADB4F1972581AF1 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:41:00] 803*2^1428040-1 is not prime. Res64: E826E71EF4D69E9C Time : 0.0 sec. user=mdettweiler [2016-05-03 06:41:00] 899*2^1428040-1 is not prime. Res64: 461192E994DE78AD Time : 0.0 sec. user=mdettweiler [2016-05-03 06:41:00] 989*2^1428040-1 is not prime. Res64: 3044184CDA80CD34 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:41:01] 691*2^1428041-1 is not prime. Res64: A3E0FFBD14F010E9 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:47:41] 741*2^1428041-1 is not prime. Res64: 096DA585ED6F9E07 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:47:41] 777*2^1428041-1 is not prime. Res64: D03249099F61C20C Time : 0.0 sec. user=mdettweiler [2016-05-03 06:47:41] 829*2^1428041-1 is not prime. Res64: 93B9FB5720B9B17E Time : 0.0 sec. user=mdettweiler [2016-05-03 06:47:42] 889*2^1428041-1 is not prime. Res64: 39BFB103F6EAA09D Time : 0.0 sec. user=mdettweiler [2016-05-03 06:47:42] 711*2^1428042-1 is not prime. Res64: 57E5B71E1076CE71 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:48:23] 717*2^1428042-1 is not prime. Res64: 2E9C11C6F497EBBC Time : 0.0 sec. user=mdettweiler [2016-05-03 06:48:24] 725*2^1428042-1 is not prime. Res64: F35D98A1E1C9A8CF Time : 0.0 sec. user=mdettweiler [2016-05-03 06:48:24] 747*2^1428042-1 is not prime. Res64: 0077785DEDEBAF71 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:48:24] 797*2^1428042-1 is not prime. Res64: 983E4059EEC1B940 Time : 0.0 sec. user=mdettweiler [2016-05-03 06:48:25] 917*2^1428042-1 is not prime. Res64: 15616923B157CF07 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:24:58] 923*2^1428042-1 is not prime. Res64: FA0448410B139E1A Time : 0.0 sec. user=mdettweiler [2016-05-03 07:24:58] 977*2^1428042-1 is not prime. Res64: 321F710AF1A215EA Time : 0.0 sec. user=mdettweiler [2016-05-03 07:24:59] 983*2^1428042-1 is not prime. Res64: A341CFA6EBE339DA Time : 0.0 sec. user=mdettweiler [2016-05-03 07:24:59] 619*2^1428043-1 is not prime. Res64: 3C2DF9631637729F Time : 0.0 sec. user=mdettweiler [2016-05-03 07:24:59] 625*2^1428043-1 is not prime. Res64: 5F3FD2D38656E47A Time : 0.0 sec. user=mdettweiler [2016-05-03 07:26:12] 741*2^1428043-1 is not prime. Res64: D655A372699A81FD Time : 0.0 sec. user=mdettweiler [2016-05-03 07:26:12] 765*2^1428043-1 is not prime. Res64: 7B41A13DB3400F77 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:26:13] 891*2^1428043-1 is not prime. Res64: 3010D4741C0977A3 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:26:13] 901*2^1428043-1 is not prime. Res64: 975410ADAAD66A34 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:26:14] 919*2^1428043-1 is not prime. Res64: 368D4E721BA31AAE Time : 0.0 sec. user=mdettweiler [2016-05-03 07:32:58] 939*2^1428043-1 is not prime. Res64: 11D398EDFC0C4273 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:32:59] 943*2^1428043-1 is not prime. Res64: 81484F4015A89B3F Time : 0.0 sec. user=mdettweiler [2016-05-03 07:32:59] 969*2^1428043-1 is not prime. Res64: 1B6D82C3792189DD Time : 0.0 sec. user=mdettweiler [2016-05-03 07:32:59] 609*2^1428044-1 is not prime. Res64: C2CABC69DFDDC700 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:33:00] 629*2^1428044-1 is not prime. Res64: 11B228E0C0BFA750 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:33:39] 743*2^1428044-1 is not prime. Res64: 5DC5FFBA58BB8180 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:33:39] 813*2^1428044-1 is not prime. Res64: 501AC8E23D2C16F3 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:33:39] 609*2^1428045-1 is not prime. Res64: 0548D09493E4EB17 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:33:40] 655*2^1428045-1 is not prime. Res64: 8D0F9608CA8FE687 Time : 0.0 sec. user=mdettweiler [2016-05-03 07:33:40] 717*2^1428045-1 is not prime. Res64: 1F0C2CF20FCD8F53 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:10:12] 765*2^1428045-1 is not prime. Res64: D3D2AEF8D80E49F0 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:10:13] 979*2^1428045-1 is not prime. Res64: A213A1374537E16F Time : 0.0 sec. user=mdettweiler [2016-05-03 08:10:13] 743*2^1428046-1 is not prime. Res64: CA85455D2AE3135D Time : 0.0 sec. user=mdettweiler [2016-05-03 08:10:14] 957*2^1428046-1 is not prime. Res64: DDEBCD3A5E310244 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:10:14] 643*2^1428047-1 is not prime. Res64: C7DAFD011B7DD63E Time : 0.0 sec. user=mdettweiler [2016-05-03 08:11:23] 693*2^1428047-1 is not prime. Res64: 973C7B4493641FF6 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:11:23] 885*2^1428047-1 is not prime. Res64: 9C1F5546E12ECFB3 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:11:24] 913*2^1428047-1 is not prime. Res64: F3246EEBE2901995 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:11:24] 945*2^1428047-1 is not prime. Res64: 190ECA1C397EC52E Time : 0.0 sec. user=mdettweiler [2016-05-03 08:11:25] 629*2^1428048-1 is not prime. Res64: 133DACC5CC865DDC Time : 0.0 sec. user=mdettweiler [2016-05-03 08:18:14] 669*2^1428048-1 is not prime. Res64: A7AA9CB94F28C91D Time : 0.0 sec. user=mdettweiler [2016-05-03 08:18:14] 683*2^1428048-1 is not prime. Res64: 1FA62B178BF55E5E Time : 0.0 sec. user=mdettweiler [2016-05-03 08:18:15] 713*2^1428048-1 is not prime. Res64: 4759A33AEC46CA05 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:18:15] 789*2^1428048-1 is not prime. Res64: B36BEF902190D478 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:18:15] 795*2^1428048-1 is not prime. Res64: A8AD763521D292A7 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:18:58] 849*2^1428048-1 is not prime. Res64: 8958C19EB3D29778 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:18:58] 909*2^1428048-1 is not prime. Res64: B65DCC1F68141321 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:18:59] 999*2^1428048-1 is not prime. Res64: 01EE87CD8119AC40 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:18:59] 619*2^1428049-1 is not prime. Res64: F02F1EDFB677F432 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:18:59] 831*2^1428049-1 is not prime. Res64: 78638317F3C72D66 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:55:22] 861*2^1428049-1 is not prime. Res64: 5D9671874D49B237 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:55:22] 885*2^1428049-1 is not prime. Res64: C8CC999C6C66A0B9 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:55:22] 603*2^1428050-1 is not prime. Res64: E99CF599CEC1F665 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:55:23] 633*2^1428050-1 is not prime. Res64: 0B9E09FCF572D2DE Time : 0.0 sec. user=mdettweiler [2016-05-03 08:55:23] 665*2^1428050-1 is not prime. Res64: 78F91C835FC84F53 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:56:35] 701*2^1428050-1 is not prime. Res64: 412368949E9BFBA1 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:56:36] 867*2^1428050-1 is not prime. Res64: F89004E1ED3934C2 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:56:36] 911*2^1428050-1 is not prime. Res64: 3D45CC12488E8988 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:56:37] 669*2^1428051-1 is not prime. Res64: 0F355192D38EA7F7 Time : 0.0 sec. user=mdettweiler [2016-05-03 08:56:37] 605*2^1428052-1 is not prime. Res64: 3EDDC49F7AA53AD8 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:03:22] 609*2^1428052-1 is not prime. Res64: 75EA910520D6B045 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:03:25] 653*2^1428052-1 is not prime. Res64: 2D79F79E94FD4076 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:03:27] 657*2^1428052-1 is not prime. Res64: B16A2C7EB165F9A2 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:03:28] 765*2^1428052-1 is not prime. Res64: D6FC4F83AAAC3EEA Time : 0.0 sec. user=mdettweiler [2016-05-03 09:03:30] 939*2^1428052-1 is not prime. Res64: 5AAF5EA1DCA1F6E3 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:03:59] 995*2^1428052-1 is not prime. Res64: 8A650A406F594A94 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:04:01] 999*2^1428052-1 is not prime. Res64: 511CB2E85C92EFCC Time : 0.0 sec. user=mdettweiler [2016-05-03 09:04:03] 631*2^1428053-1 is not prime. Res64: 8D774CA209A37B6E Time : 0.0 sec. user=mdettweiler [2016-05-03 09:04:04] 885*2^1428053-1 is not prime. Res64: D477693E194DE0F9 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:04:06] 939*2^1428053-1 is not prime. Res64: 81BD3B02757ADA04 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:40:30] 951*2^1428053-1 is not prime. Res64: F230AB3626A6A50A Time : 0.0 sec. user=mdettweiler [2016-05-03 09:40:31] 611*2^1428054-1 is not prime. Res64: BF9EC83E52CCA360 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:40:31] 651*2^1428054-1 is not prime. Res64: 460C9206E19B01BD Time : 0.0 sec. user=mdettweiler [2016-05-03 09:40:32] 773*2^1428054-1 is not prime. Res64: 5C7697504397BEB3 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:40:32] 915*2^1428054-1 is not prime. Res64: 522F04976BF87B32 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:42:02] 941*2^1428054-1 is not prime. Res64: 83D8D2D27DF24D22 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:42:02] 951*2^1428054-1 is not prime. Res64: 1062BD069B74DC56 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:42:03] 971*2^1428054-1 is not prime. Res64: 5832369935878174 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:42:03] 975*2^1428054-1 is not prime. Res64: EA011DDDDBBA8272 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:42:03] 625*2^1428055-1 is not prime. Res64: F1204BCF56240E97 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:49:13] 685*2^1428055-1 is not prime. Res64: DBAC58CA49955978 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:49:14] 951*2^1428055-1 is not prime. Res64: 5147C197720C0CA9 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:49:14] 973*2^1428055-1 is not prime. Res64: 11796DC7E396DD09 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:49:14] 629*2^1428056-1 is not prime. Res64: 5479806BCCCC7578 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:49:15] 843*2^1428056-1 is not prime. Res64: 4BE460B0D8CB9E64 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:49:24] 899*2^1428056-1 is not prime. Res64: 21DA052579A8CE5F Time : 0.0 sec. user=mdettweiler [2016-05-03 09:49:25] 983*2^1428056-1 is not prime. Res64: BC755CBEF95BE2D9 Time : 0.0 sec. user=mdettweiler [2016-05-03 09:49:25] 615*2^1428057-1 is not prime. Res64: 292F987A7C44E70C Time : 0.0 sec. user=mdettweiler [2016-05-03 09:49:25] 777*2^1428057-1 is not prime. Res64: 9E1BBBEFDE368AAE Time : 0.0 sec. user=mdettweiler [2016-05-03 09:49:26] 817*2^1428057-1 is not prime. Res64: E2A056550C3FDCD9 Time : 0.0 sec. user=mdettweiler [2016-05-03 10:25:43] 919*2^1428057-1 is not prime. Res64: 39CD682AD23E6678 Time : 0.0 sec. user=mdettweiler [2016-05-03 10:25:44] 997*2^1428057-1 is not prime. Res64: 50CCD46C8FB8F3E5 Time : 0.0 sec. user=mdettweiler [2016-05-03 10:25:44] 681*2^1428058-1 is not prime. Res64: 64B4320DFB8AA482 Time : 0.0 sec. user=mdettweiler [2016-05-03 10:25:44] 755*2^1428058-1 is not prime. Res64: 33EBC621E32B3B9C Time : 0.0 sec. user=mdettweiler [2016-05-03 10:25:45] 1001*2^1428058-1 is not prime. Res64: EAD7FB3738012361 Time : 0.0 sec. user=mdettweiler [2016-05-03 10:27:26] 645*2^1428059-1 is not prime. Res64: 001FDDBFB27E900E Time : 0.0 sec. user=mdettweiler [2016-05-03 10:27:27] 819*2^1428059-1 is not prime. Res64: 268396C9EA7E329F Time : 0.0 sec. user=mdettweiler [2016-05-03 10:27:27] 843*2^1428059-1 is not prime. Res64: 98FEFF2710845D0A Time : 0.0 sec. user=mdettweiler [2016-05-03 10:27:27] 889*2^1428059-1 is not prime. Res64: 0BC3FA28C99CAA5C Time : 0.0 sec. user=mdettweiler [2016-05-03 10:27:28] 909*2^1428059-1 is not prime. Res64: D68084A264C09050 Time : 0.0 sec. user=mdettweiler [2016-05-03 10:34:50] 625*2^1428061-1 is not prime. Res64: 7211FF2B1B90545F Time : 0.0 sec. user=mdettweiler [2016-05-03 10:34:50] 801*2^1428061-1 is not prime. Res64: 95C115403F6107AF Time : 0.0 sec. user=mdettweiler [2016-05-03 10:34:51] 855*2^1428061-1 is not prime. Res64: F83B6256C8DBA77A Time : 0.0 sec. user=mdettweiler [2016-05-03 10:34:51] 955*2^1428061-1 is not prime. Res64: 6255B391C4BD2C32 Time : 0.0 sec. user=mdettweiler [2016-05-03 10:34:52] 705*2^1428062-1 is not prime. Res64: BBECA27C008E6988 Time : 0.0 sec. user=mdettweiler [2016-05-03 10:34:52] 993*2^1428059-1 is not prime. Res64: D679076C52B48774 Time : 0.0 sec. user=mdettweiler [2016-05-03 10:34:52] 689*2^1428060-1 is not prime. Res64: 828C12265DCB761D Time : 0.0 sec. user=mdettweiler [2016-05-03 10:34:52] 819*2^1428060-1 is not prime. Res64: 2562C2F384182522 Time : 0.0 sec. user=mdettweiler [2016-05-03 10:34:53] 845*2^1428060-1 is not prime. Res64: 26C80AEFD97E7EDD Time : 0.0 sec. user=mdettweiler [2016-05-03 10:34:53] 983*2^1428060-1 is not prime. Res64: 2A47F9C624ABFB4C Time : 0.0 sec. user=mdettweiler [2016-05-03 11:11:33] 873*2^1428062-1 is not prime. Res64: 38B391B2C30E4493 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:11:34] 893*2^1428062-1 is not prime. Res64: D5C23D59B94AAA17 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:11:34] 903*2^1428062-1 is not prime. Res64: 8E1C0641E5637359 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:11:35] 951*2^1428062-1 is not prime. Res64: 2B930B556E5B83CE Time : 0.0 sec. user=mdettweiler [2016-05-03 11:11:35] 1001*2^1428062-1 is not prime. Res64: 4123B0417C9A4EDF Time : 0.0 sec. user=mdettweiler [2016-05-03 11:13:09] 951*2^1428063-1 is not prime. Res64: E41E45A54D797515 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:13:09] 639*2^1428064-1 is not prime. Res64: 4D96D72A6E0642FB Time : 0.0 sec. user=mdettweiler [2016-05-03 11:13:09] 825*2^1428064-1 is not prime. Res64: 9317D5E6CE1C980E Time : 0.0 sec. user=mdettweiler [2016-05-03 11:13:10] 905*2^1428064-1 is not prime. Res64: 91E3C130A1F0AD1E Time : 0.0 sec. user=mdettweiler [2016-05-03 11:13:10] 939*2^1428064-1 is not prime. Res64: 5351B842916CF815 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:20:36] 983*2^1428064-1 is not prime. Res64: E2D501AC1122C4EA Time : 0.0 sec. user=mdettweiler [2016-05-03 11:20:36] 657*2^1428065-1 is not prime. Res64: 4AE6D0E964277005 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:20:37] 675*2^1428065-1 is not prime. Res64: 83D883F75613F0E2 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:20:37] 715*2^1428065-1 is not prime. Res64: CB78469721EDFB10 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:20:38] 717*2^1428065-1 is not prime. Res64: B30550EFE6E8678F Time : 0.0 sec. user=mdettweiler [2016-05-03 11:20:49] 729*2^1428065-1 is not prime. Res64: C9CCBBD8B0404E6B Time : 0.0 sec. user=mdettweiler [2016-05-03 11:20:50] 841*2^1428065-1 is not prime. Res64: B483AFB21C3912A6 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:20:50] 861*2^1428065-1 is not prime. Res64: 04BC8D5DA5BB4752 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:20:50] 915*2^1428065-1 is not prime. Res64: 15A9BC257FFE7503 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:20:51] 671*2^1428066-1 is not prime. Res64: 44F122754EEDB692 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:56:47] 803*2^1428066-1 is not prime. Res64: A541B4C16790736B Time : 0.0 sec. user=mdettweiler [2016-05-03 11:56:47] 861*2^1428066-1 is not prime. Res64: 5CA35BE4625375A1 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:56:48] 873*2^1428066-1 is not prime. Res64: A3245DDA430233C0 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:56:50] 893*2^1428066-1 is not prime. Res64: DC57B996E00EC34B Time : 0.0 sec. user=mdettweiler [2016-05-03 11:56:51] 945*2^1428066-1 is not prime. Res64: D3EFB3426547BDAF Time : 0.0 sec. user=mdettweiler [2016-05-03 11:58:31] 733*2^1428067-1 is not prime. Res64: D93D2EB3E1D5EE78 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:58:31] 769*2^1428067-1 is not prime. Res64: 553D390F6551C10D Time : 0.0 sec. user=mdettweiler [2016-05-03 11:58:31] 801*2^1428067-1 is not prime. Res64: 44744BED2A7F76B1 Time : 0.0 sec. user=mdettweiler [2016-05-03 11:58:32] 915*2^1428067-1 is not prime. Res64: BBFD93E82283987E Time : 0.0 sec. user=mdettweiler [2016-05-03 11:58:32] 629*2^1428068-1 is not prime. Res64: 48F8068A8A3E3135 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:06:02] 659*2^1428068-1 is not prime. Res64: E8E030580FB85253 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:06:03] 825*2^1428068-1 is not prime. Res64: 34E3E1469D08CD2C Time : 0.0 sec. user=mdettweiler [2016-05-03 12:06:04] 843*2^1428068-1 is not prime. Res64: F4122055AD5CE32D Time : 0.0 sec. user=mdettweiler [2016-05-03 12:06:05] 935*2^1428068-1 is not prime. Res64: CD4E52441756B0AF Time : 0.0 sec. user=mdettweiler [2016-05-03 12:06:06] 649*2^1428069-1 is not prime. Res64: AECA35C6D4ECF8CA Time : 0.0 sec. user=mdettweiler [2016-05-03 12:06:08] 765*2^1428069-1 is not prime. Res64: 18CBBCD529B0BC62 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:06:09] 769*2^1428069-1 is not prime. Res64: 4DD4D9CCE171E926 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:06:10] 795*2^1428069-1 is not prime. Res64: AB1A643A6575211B Time : 0.0 sec. user=mdettweiler [2016-05-03 12:06:11] 861*2^1428069-1 is not prime. Res64: 566B23BB5732EDFF Time : 0.0 sec. user=mdettweiler [2016-05-03 12:06:14] 921*2^1428069-1 is not prime. Res64: FE73710B0339A747 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:42:09] 975*2^1428069-1 is not prime. Res64: 5B88B6F7C738A7BF Time : 0.0 sec. user=mdettweiler [2016-05-03 12:42:09] 987*2^1428069-1 is not prime. Res64: 2A132B41D4968683 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:42:10] 773*2^1428070-1 is not prime. Res64: 06B4270EB353D81B Time : 0.0 sec. user=mdettweiler [2016-05-03 12:42:10] 801*2^1428070-1 is not prime. Res64: 01CA7F6627403113 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:42:10] 873*2^1428070-1 is not prime. Res64: 80DAE276928D62CB Time : 0.0 sec. user=mdettweiler [2016-05-03 12:43:51] 923*2^1428070-1 is not prime. Res64: 28941E37F60EF596 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:43:52] 651*2^1428071-1 is not prime. Res64: 6DC28404F09D3C86 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:43:52] 679*2^1428071-1 is not prime. Res64: 9DB3664A3044FA64 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:43:52] 705*2^1428071-1 is not prime. Res64: 988FDC310818DF0F Time : 0.0 sec. user=mdettweiler [2016-05-03 12:43:53] 781*2^1428071-1 is not prime. Res64: 4A76BE9CE1D63AD0 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:51:34] 789*2^1428071-1 is not prime. Res64: 97CA87EFD4C2E35F Time : 0.0 sec. user=mdettweiler [2016-05-03 12:51:34] 885*2^1428071-1 is not prime. Res64: 2A35480C82780641 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:51:34] 979*2^1428071-1 is not prime. Res64: 134D73A15B46AEDB Time : 0.0 sec. user=mdettweiler [2016-05-03 12:51:35] 669*2^1428072-1 is not prime. Res64: 23101FA4703F8197 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:51:35] 843*2^1428072-1 is not prime. Res64: D597E37FEFC52FBB Time : 0.0 sec. user=mdettweiler [2016-05-03 12:51:36] 887*2^1428072-1 is not prime. Res64: FB292CDBF163BFE8 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:51:36] 909*2^1428072-1 is not prime. Res64: 93199A74D7660333 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:51:36] 607*2^1428073-1 is not prime. Res64: A26BFB009991E5E5 Time : 0.0 sec. user=mdettweiler [2016-05-03 12:51:37] 637*2^1428073-1 is not prime. Res64: F709E7AF1A9FD4EE Time : 0.0 sec. user=mdettweiler [2016-05-03 12:51:37] 729*2^1428073-1 is not prime. Res64: 54616ACA3EBA926D Time : 0.0 sec. user=mdettweiler [2016-05-03 13:27:42] 745*2^1428073-1 is not prime. Res64: DD5578E237F9D550 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:27:42] 789*2^1428073-1 is not prime. Res64: 7F86C6246AB4400E Time : 0.0 sec. user=mdettweiler [2016-05-03 13:27:43] 877*2^1428073-1 is not prime. Res64: 83D6FF0A2E13E1FD Time : 0.0 sec. user=mdettweiler [2016-05-03 13:27:43] 951*2^1428073-1 is not prime. Res64: B562B642DED99891 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:27:43] 683*2^1428074-1 is not prime. Res64: FC6C59EA7F4E0D7D Time : 0.0 sec. user=mdettweiler [2016-05-03 13:29:22] 743*2^1428074-1 is not prime. Res64: B90B6E3DAF16EBE9 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:29:22] 753*2^1428074-1 is not prime. Res64: 88585B1EF0429BA2 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:29:23] 903*2^1428074-1 is not prime. Res64: D3C4FDD5BC543686 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:29:23] 601*2^1428075-1 is not prime. Res64: 7CEE3413EF8A9904 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:29:23] 781*2^1428075-1 is not prime. Res64: AAF54334CD3C141A Time : 0.0 sec. user=mdettweiler [2016-05-03 13:37:05] 793*2^1428075-1 is not prime. Res64: 078534C65D8AA8D4 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:37:05] 853*2^1428075-1 is not prime. Res64: 3AD5EFEE26C414D7 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:37:06] 755*2^1428076-1 is not prime. Res64: CF8586D6CCF8DF81 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:37:06] 857*2^1428076-1 is not prime. Res64: 292CB832077F7DDA Time : 0.0 sec. user=mdettweiler [2016-05-03 13:37:06] 897*2^1428076-1 is not prime. Res64: 6E1C5387FFF773A4 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:37:10] 927*2^1428076-1 is not prime. Res64: 10BA9484BE06AFFF Time : 0.0 sec. user=mdettweiler [2016-05-03 13:37:11] 953*2^1428076-1 is not prime. Res64: 029B9AFBE5A50FE7 Time : 0.0 sec. user=mdettweiler [2016-05-03 13:37:11] 747*2^1428077-1 is not prime. Res64: 519AC0122A20E87B Time : 0.0 sec. user=mdettweiler [2016-05-03 13:37:12] 901*2^1428077-1 is not prime. Res64: A4FA5FAD6A4C601E Time : 0.0 sec. user=mdettweiler [2016-05-03 13:37:12] 937*2^1428077-1 is not prime. Res64: 4D836F5C9365D82A Time : 0.0 sec. user=mdettweiler [2016-05-03 14:12:56] 997*2^1428077-1 is not prime. Res64: F7B9A7767EA9659D Time : 0.0 sec. user=mdettweiler [2016-05-03 14:12:57] 635*2^1428078-1 is not prime. Res64: DFDAF4BA2FFDCB60 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:12:57] 725*2^1428078-1 is not prime. Res64: 5CC0FC05B246FD40 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:12:58] 765*2^1428078-1 is not prime. Res64: 7C0F82967CE7B177 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:12:58] 777*2^1428078-1 is not prime. Res64: CA63B63327BBE432 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:14:32] 801*2^1428078-1 is not prime. Res64: B79B44F53B909B48 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:14:33] 975*2^1428078-1 is not prime. Res64: 80B2D8181DF59298 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:14:33] 977*2^1428078-1 is not prime. Res64: 8D4FDF0531F84334 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:14:34] 993*2^1428078-1 is not prime. Res64: 0969E2812AB6D15E Time : 0.0 sec. user=mdettweiler [2016-05-03 14:14:34] 1001*2^1428078-1 is not prime. Res64: B98935AFA7A26991 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:22:21] 609*2^1428079-1 is not prime. Res64: D3D9328EFDEDDE32 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:22:21] 769*2^1428079-1 is not prime. Res64: 55CA15C8CBB83CBC Time : 0.0 sec. user=mdettweiler [2016-05-03 14:22:22] 843*2^1428079-1 is not prime. Res64: D4DFD2551D51045D Time : 0.0 sec. user=mdettweiler [2016-05-03 14:22:22] 909*2^1428079-1 is not prime. Res64: C9B04430CF6D7689 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:22:23] 919*2^1428079-1 is not prime. Res64: 6235704C2AE79C06 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:22:26] 603*2^1428080-1 is not prime. Res64: A7D22954DF6736CB Time : 0.0 sec. user=mdettweiler [2016-05-03 14:22:26] 743*2^1428080-1 is not prime. Res64: 5DDF6CD8B4D4CD57 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:22:26] 759*2^1428080-1 is not prime. Res64: 158CB173F4B29531 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:22:27] 797*2^1428080-1 is not prime. Res64: 05343E16B66C3E36 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:22:27] 945*2^1428080-1 is not prime. Res64: AC1D00779893DCDA Time : 0.0 sec. user=mdettweiler [2016-05-03 14:57:56] 977*2^1428080-1 is not prime. Res64: F96342D56C1966CD Time : 0.0 sec. user=mdettweiler [2016-05-03 14:57:57] 983*2^1428080-1 is not prime. Res64: 7DCEB5FF4E437A8B Time : 0.0 sec. user=mdettweiler [2016-05-03 14:57:57] 679*2^1428081-1 is not prime. Res64: 851C288C7AFB9EE2 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:57:58] 735*2^1428081-1 is not prime. Res64: 2E627287BEA6BF28 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:57:58] 741*2^1428081-1 is not prime. Res64: F2BFB838DFA5A1CB Time : 0.0 sec. user=mdettweiler [2016-05-03 14:59:32] 781*2^1428081-1 is not prime. Res64: F8A06FF2CE084BD1 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:59:33] 789*2^1428081-1 is not prime. Res64: 92D1B68B7FF23C3E Time : 0.0 sec. user=mdettweiler [2016-05-03 14:59:33] 795*2^1428081-1 is not prime. Res64: 7A1E16B1E8AF48F9 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:59:33] 949*2^1428081-1 is not prime. Res64: C5CE467F5F0DA972 Time : 0.0 sec. user=mdettweiler [2016-05-03 14:59:34] 951*2^1428081-1 is not prime. Res64: 9CEF45B6BCE5FE34 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:07:34] 737*2^1428082-1 is not prime. Res64: B7F7BBC782D532ED Time : 0.0 sec. user=mdettweiler [2016-05-03 15:07:34] 743*2^1428082-1 is not prime. Res64: 09EBD38C0D1CE1B5 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:07:35] 969*2^1428081-1 is not prime. Res64: 3E1D21A2EB3AB480 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:07:35] 803*2^1428082-1 is not prime. Res64: 041BC183D6354C14 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:07:35] 603*2^1428082-1 is not prime. Res64: 47A5B04F770589BA Time : 0.0 sec. user=mdettweiler [2016-05-03 15:07:36] 911*2^1428082-1 is not prime. Res64: 01A599199347A345 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:07:36] 645*2^1428082-1 is not prime. Res64: 42104E5E6F47511C Time : 0.0 sec. user=mdettweiler [2016-05-03 15:07:37] 675*2^1428082-1 is not prime. Res64: 59BE3CE29A456119 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:07:37] 923*2^1428082-1 is not prime. Res64: 2B0A97F021FA3B81 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:07:37] 713*2^1428082-1 is not prime. Res64: EC95E6146564A2CC Time : 0.0 sec. user=mdettweiler [2016-05-03 15:43:01] 941*2^1428082-1 is not prime. Res64: 2E44CA65E1884BE6 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:43:01] 649*2^1428083-1 is not prime. Res64: AD107C1ACCD25516 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:43:03] 673*2^1428083-1 is not prime. Res64: 355E41E6F5975FC5 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:43:03] 741*2^1428083-1 is not prime. Res64: 706D406AD0FC54CF Time : 0.0 sec. user=mdettweiler [2016-05-03 15:43:04] 771*2^1428083-1 is not prime. Res64: 4A46B0F1D4EA0977 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:44:43] 829*2^1428083-1 is not prime. Res64: 986900DD6BB5D6B7 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:44:43] 915*2^1428083-1 is not prime. Res64: 260113C88CC6C0C2 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:44:43] 949*2^1428083-1 is not prime. Res64: D03EB6DF9135D528 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:44:44] 955*2^1428083-1 is not prime. Res64: 4490BEF4A0016B2F Time : 0.0 sec. user=mdettweiler [2016-05-03 15:44:44] 665*2^1428084-1 is not prime. Res64: 4B71486ED3DD27A6 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:52:48] 719*2^1428084-1 is not prime. Res64: 11CDB1D19A5BDE28 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:52:48] 765*2^1428084-1 is not prime. Res64: 08D635EEF4E9B879 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:52:49] 803*2^1428084-1 is not prime. Res64: F8E2D9F04DA03F10 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:52:49] 957*2^1428084-1 is not prime. Res64: C281A370679D340D Time : 0.0 sec. user=mdettweiler [2016-05-03 15:52:49] 965*2^1428084-1 is not prime. Res64: E6BFF955FC4E17AB Time : 0.0 sec. user=mdettweiler [2016-05-03 15:52:52] 607*2^1428085-1 is not prime. Res64: E67A905FF867F4EC Time : 0.0 sec. user=mdettweiler [2016-05-03 15:52:52] 619*2^1428085-1 is not prime. Res64: C09C8070D4801A7F Time : 0.0 sec. user=mdettweiler [2016-05-03 15:52:53] 661*2^1428085-1 is not prime. Res64: DB46B2FC5A159207 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:52:53] 805*2^1428085-1 is not prime. Res64: 09D8ABFFE7D2B829 Time : 0.0 sec. user=mdettweiler [2016-05-03 15:52:53] 831*2^1428085-1 is not prime. Res64: EC7EC87428A9B0E8 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:29:21] 897*2^1428085-1 is not prime. Res64: E7B4DC47B6A939CB Time : 0.0 sec. user=mdettweiler [2016-05-03 16:29:21] 937*2^1428085-1 is not prime. Res64: FFC3E5C9076481FD Time : 0.0 sec. user=mdettweiler [2016-05-03 16:29:21] 671*2^1428086-1 is not prime. Res64: A9FDFB5D1B39D88F Time : 0.0 sec. user=mdettweiler [2016-05-03 16:29:22] 683*2^1428086-1 is not prime. Res64: 5A4D0DC6DC532F38 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:29:22] 693*2^1428086-1 is not prime. Res64: 80FA21C2EAF4EC84 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:30:58] 717*2^1428086-1 is not prime. Res64: F39A5D1E1ACB55DB Time : 0.0 sec. user=mdettweiler [2016-05-03 16:30:58] 743*2^1428086-1 is not prime. Res64: B52715C1B62F9869 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:30:58] 867*2^1428086-1 is not prime. Res64: 6A01B5A83CDE38D4 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:30:58] 935*2^1428086-1 is not prime. Res64: 595F56C78C274B81 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:30:59] 963*2^1428086-1 is not prime. Res64: B7796C9F21D0285C Time : 0.0 sec. user=mdettweiler [2016-05-03 16:40:17] 661*2^1428087-1 is not prime. Res64: 256A43F252D5EC8F Time : 0.0 sec. user=mdettweiler [2016-05-03 16:40:17] 711*2^1428087-1 is not prime. Res64: D2577F4B4DD192E8 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:40:18] 825*2^1428087-1 is not prime. Res64: 71B1DC1C95EBBC87 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:40:18] 861*2^1428087-1 is not prime. Res64: F121A4BA866B7560 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:40:18] 895*2^1428087-1 is not prime. Res64: 035F55CB72BAFAAC Time : 0.0 sec. user=mdettweiler [2016-05-03 16:41:07] 933*2^1428087-1 is not prime. Res64: 6734A4B3B79DEE12 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:41:07] 979*2^1428087-1 is not prime. Res64: 65DC2DD1827199D1 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:41:08] 985*2^1428087-1 is not prime. Res64: CD3B478DD1E50208 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:41:08] 991*2^1428087-1 is not prime. Res64: 24901E81848E9049 Time : 0.0 sec. user=mdettweiler [2016-05-03 16:41:08] 999*2^1428087-1 is not prime. Res64: 6591D248E00F1FE0 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:20:31] 623*2^1428088-1 is not prime. Res64: 01FAE6B2E88D8B67 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:20:32] 843*2^1428088-1 is not prime. Res64: 1D11DE127C8A2BA7 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:20:33] 849*2^1428088-1 is not prime. Res64: 69D7DB97D6ACB136 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:20:34] 905*2^1428088-1 is not prime. Res64: 788BB61E20891D2F Time : 0.0 sec. user=mdettweiler [2016-05-03 17:20:34] 909*2^1428088-1 is not prime. Res64: 4932A568C199F12B Time : 0.0 sec. user=mdettweiler [2016-05-03 17:22:58] 915*2^1428088-1 is not prime. Res64: 763D2EE2EA89C1DA Time : 0.0 sec. user=mdettweiler [2016-05-03 17:22:58] 999*2^1428088-1 is not prime. Res64: 197F37138AF50568 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:22:58] 657*2^1428089-1 is not prime. Res64: 05CFDE347DD00C19 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:22:59] 675*2^1428089-1 is not prime. Res64: 67863127A834070F Time : 0.0 sec. user=mdettweiler [2016-05-03 17:22:59] 697*2^1428089-1 is not prime. Res64: DD755E45B65DCF05 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:31:41] 645*2^1428091-1 is not prime. Res64: 50E28646026E4C5D Time : 0.0 sec. user=mdettweiler [2016-05-03 17:31:42] 751*2^1428091-1 is not prime. Res64: 81AFDFFBCD61E0ED Time : 0.0 sec. user=mdettweiler [2016-05-03 17:31:42] 793*2^1428091-1 is not prime. Res64: F4A0820FC6AE4E3B Time : 0.0 sec. user=mdettweiler [2016-05-03 17:31:42] 843*2^1428091-1 is not prime. Res64: C73A7CB123185BBB Time : 0.0 sec. user=mdettweiler [2016-05-03 17:31:42] 633*2^1428092-1 is not prime. Res64: 60341FF7E64E1C40 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:31:46] 939*2^1428089-1 is not prime. Res64: F7E622256E6F4D54 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:31:46] 945*2^1428089-1 is not prime. Res64: C1AA36DFEFDDA76B Time : 0.0 sec. user=mdettweiler [2016-05-03 17:31:46] 641*2^1428090-1 is not prime. Res64: FF3EDCD79CB8BEE1 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:31:47] 791*2^1428090-1 is not prime. Res64: 7A21CCAC6ACB34C0 Time : 0.0 sec. user=mdettweiler [2016-05-03 17:31:47] 843*2^1428090-1 is not prime. Res64: 2328BAD753BC8AEA Time : 0.0 sec. user=mdettweiler [2016-05-03 18:06:56] 675*2^1428092-1 is not prime. Res64: B1A71FA52CBBD35C Time : 0.0 sec. user=mdettweiler [2016-05-03 18:06:56] 827*2^1428092-1 is not prime. Res64: D4BA04C3D514A258 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:06:57] 957*2^1428092-1 is not prime. Res64: 29F980C73BF1975E Time : 0.0 sec. user=mdettweiler [2016-05-03 18:06:57] 795*2^1428093-1 is not prime. Res64: 80FAF89F0D1D1A54 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:06:58] 837*2^1428093-1 is not prime. Res64: F804F9BE65451108 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:09:07] 885*2^1428093-1 is not prime. Res64: 22E85F5F3D7FEECA Time : 0.0 sec. user=mdettweiler [2016-05-03 18:09:07] 891*2^1428093-1 is not prime. Res64: 4487BD58895FBA70 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:09:08] 951*2^1428093-1 is not prime. Res64: CDD892A0F394F339 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:09:08] 737*2^1428094-1 is not prime. Res64: 1C40531479ABE358 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:09:09] 655*2^1428095-1 is not prime. Res64: DE53A9BAD5388867 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:17:21] 883*2^1428095-1 is not prime. Res64: 08D354F9766ECD85 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:17:22] 885*2^1428095-1 is not prime. Res64: 8D446474A07D1E6E Time : 0.0 sec. user=mdettweiler [2016-05-03 18:17:22] 939*2^1428095-1 is not prime. Res64: F2632E8C39E55B9E Time : 0.0 sec. user=mdettweiler [2016-05-03 18:17:23] 705*2^1428096-1 is not prime. Res64: 359D51F693BB50BE Time : 0.0 sec. user=mdettweiler [2016-05-03 18:17:23] 717*2^1428096-1 is not prime. Res64: 92B7EB9DDF931BDD Time : 0.0 sec. user=mdettweiler [2016-05-03 18:17:27] 905*2^1428096-1 is not prime. Res64: A3168A8FAA3F8774 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:17:27] 909*2^1428096-1 is not prime. Res64: ED72C6DFB24ACDE6 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:17:28] 923*2^1428096-1 is not prime. Res64: 7F3411A5B82F3CE6 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:17:28] 999*2^1428096-1 is not prime. Res64: 22F0AB2993A29E25 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:17:29] 685*2^1428097-1 is not prime. Res64: 64E2A47981B8EE00 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:52:15] 699*2^1428097-1 is not prime. Res64: 7AB6E580381B7BFC Time : 0.0 sec. user=mdettweiler [2016-05-03 18:52:15] 727*2^1428097-1 is not prime. Res64: 6EA4B0299A1B8E3E Time : 0.0 sec. user=mdettweiler [2016-05-03 18:52:16] 771*2^1428097-1 is not prime. Res64: 5BBED003D24FB38F Time : 0.0 sec. user=mdettweiler [2016-05-03 18:52:16] 867*2^1428097-1 is not prime. Res64: F1FFB75AD27BD952 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:52:17] 885*2^1428097-1 is not prime. Res64: 0DAF00593108B514 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:54:43] 957*2^1428097-1 is not prime. Res64: 9B29572D5DC8F315 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:54:43] 617*2^1428098-1 is not prime. Res64: 9B969BB547211A75 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:54:43] 645*2^1428098-1 is not prime. Res64: EAE69210C1379577 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:54:43] 705*2^1428098-1 is not prime. Res64: 1B8C52F9099BD4F0 Time : 0.0 sec. user=mdettweiler [2016-05-03 18:54:44] 743*2^1428098-1 is not prime. Res64: 9B333E4497BD9087 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:03:58] 755*2^1428098-1 is not prime. Res64: C0375EB84AD8684F Time : 0.0 sec. user=mdettweiler [2016-05-03 19:04:00] 791*2^1428098-1 is not prime. Res64: 4B1F8CE543D4364B Time : 0.0 sec. user=mdettweiler [2016-05-03 19:04:00] 825*2^1428098-1 is not prime. Res64: 662918E7CD3FD2A2 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:04:01] 843*2^1428098-1 is not prime. Res64: C7E37DF85B2895A3 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:04:02] 857*2^1428098-1 is not prime. Res64: 67EC9779623F4CAC Time : 0.0 sec. user=mdettweiler [2016-05-03 19:04:09] 921*2^1428098-1 is not prime. Res64: B4B6EEFEE926C171 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:04:11] 963*2^1428098-1 is not prime. Res64: 2EF0A878A643C586 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:04:12] 663*2^1428099-1 is not prime. Res64: A6EF13413F8E747C Time : 0.0 sec. user=mdettweiler [2016-05-03 19:04:14] 669*2^1428099-1 is not prime. Res64: DD3058CCCA3D21BC Time : 0.0 sec. user=mdettweiler [2016-05-03 19:04:15] 721*2^1428099-1 is not prime. Res64: A30316D81762CE60 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:42:54] 751*2^1428099-1 is not prime. Res64: 5998D33BBC4E47A3 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:42:54] 921*2^1428099-1 is not prime. Res64: A0683073B88699A3 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:42:55] 979*2^1428099-1 is not prime. Res64: D165E3D83F71BF9A Time : 0.0 sec. user=mdettweiler [2016-05-03 19:42:55] 985*2^1428099-1 is not prime. Res64: AACBAEC7B168B038 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:42:55] 623*2^1428100-1 is not prime. Res64: 0215E1B1759732EE Time : 0.0 sec. user=mdettweiler [2016-05-03 19:45:59] 663*2^1428100-1 is not prime. Res64: B8B5C2D272F1FB51 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:46:00] 825*2^1428100-1 is not prime. Res64: 3CFD872F0BB36995 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:46:00] 833*2^1428100-1 is not prime. Res64: 67C6871AA480F95A Time : 0.0 sec. user=mdettweiler [2016-05-03 19:46:00] 839*2^1428100-1 is not prime. Res64: 737E1A2A59A027CE Time : 0.0 sec. user=mdettweiler [2016-05-03 19:46:00] 965*2^1428100-1 is not prime. Res64: D65E8FD578CFF029 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:55:29] 889*2^1428101-1 is not prime. Res64: 8FC8B107C4FDD363 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:55:30] 925*2^1428101-1 is not prime. Res64: 439FD47870D757D6 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:55:30] 945*2^1428101-1 is not prime. Res64: 0AEDD4E13D611F88 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:55:30] 693*2^1428102-1 is not prime. Res64: 6ED1D7D6194E4860 Time : 0.0 sec. user=mdettweiler [2016-05-03 19:55:30] 873*2^1428102-1 is not prime. Res64: 52223A25A676F06E Time : 0.0 sec. user=mdettweiler [2016-05-03 19:55:35] 615*2^1428101-1 is not prime. Res64: 5ED2197CD468612C Time : 0.0 sec. user=mdettweiler [2016-05-03 19:55:35] 631*2^1428101-1 is not prime. Res64: A01E94D99DDA9E4B Time : 0.0 sec. user=mdettweiler [2016-05-03 19:55:35] 675*2^1428101-1 is not prime. Res64: 3EAD9C0C1A2E697E Time : 0.0 sec. user=mdettweiler [2016-05-03 19:55:36] 711*2^1428101-1 is not prime. Res64: D4B4E041B60E0ACE Time : 0.0 sec. user=mdettweiler [2016-05-03 19:55:36] 789*2^1428101-1 is not prime. Res64: C9D40042E135B818 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:31:10] 965*2^1428102-1 is not prime. Res64: 086193EFF9492B56 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:31:11] 619*2^1428103-1 is not prime. Res64: D14994E0E4D55684 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:31:11] 681*2^1428103-1 is not prime. Res64: AD4BE8226E5079BA Time : 0.0 sec. user=mdettweiler [2016-05-03 20:31:12] 723*2^1428103-1 is not prime. Res64: 03390E7F827CCEDD Time : 0.0 sec. user=mdettweiler [2016-05-03 20:31:12] 741*2^1428103-1 is not prime. Res64: 929172919497CFEA Time : 0.0 sec. user=mdettweiler [2016-05-03 20:34:44] 765*2^1428103-1 is not prime. Res64: 6B86ADA539A64FF5 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:34:44] 775*2^1428103-1 is not prime. Res64: 439E837A9978FDB9 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:34:44] 849*2^1428103-1 is not prime. Res64: 795959DAE944E704 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:34:45] 855*2^1428103-1 is not prime. Res64: 2BAFBC7BBDC7FFC2 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:34:45] 891*2^1428103-1 is not prime. Res64: 2DBFBCDB34CFA352 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:43:00] 939*2^1428103-1 is not prime. Res64: 316574BDC079EBD2 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:43:01] 659*2^1428104-1 is not prime. Res64: 7A32CEC94322DFA4 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:43:01] 743*2^1428104-1 is not prime. Res64: F757B31B86256FAD Time : 0.0 sec. user=mdettweiler [2016-05-03 20:43:02] 773*2^1428104-1 is not prime. Res64: 7C6F5D93FA39A919 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:43:02] 667*2^1428105-1 is not prime. Res64: 6E2C9059764061FE Time : 0.0 sec. user=mdettweiler [2016-05-03 20:43:07] 717*2^1428105-1 is not prime. Res64: 5E4E97819ED8F0E6 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:43:07] 765*2^1428105-1 is not prime. Res64: 4C65FF4F38283EE1 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:43:07] 819*2^1428105-1 is not prime. Res64: E0369945EAFB6BE0 Time : 0.0 sec. user=mdettweiler [2016-05-03 20:43:08] 847*2^1428105-1 is not prime. Res64: CA3767C6CE6E8BDF Time : 0.0 sec. user=mdettweiler [2016-05-03 20:43:08] 871*2^1428105-1 is not prime. Res64: F24E30FC49EB3951 Time : 0.0 sec. user=mdettweiler [2016-05-03 21:16:26] 915*2^1428105-1 is not prime. Res64: D1873C9AD503FC3F Time : 0.0 sec. user=mdettweiler [2016-05-03 21:16:26] 651*2^1428106-1 is not prime. Res64: 2F9BDB4F2E773EB7 Time : 0.0 sec. user=mdettweiler [2016-05-03 21:16:26] 815*2^1428106-1 is not prime. Res64: F976AF9FDB7774A0 Time : 0.0 sec. user=mdettweiler [2016-05-03 21:16:27] 833*2^1428106-1 is not prime. Res64: A0D46BAC9039651C Time : 0.0 sec. user=mdettweiler [2016-05-03 21:16:27] 867*2^1428106-1 is not prime. Res64: B80DB24EB9DC87C2 Time : 0.0 sec. user=mdettweiler [2016-05-03 21:19:45] 615*2^1428107-1 is not prime. Res64: E19FA17969B31BFC Time : 0.0 sec. user=mdettweiler [2016-05-03 21:19:45] 643*2^1428107-1 is not prime. Res64: EBD74FA41E2CC985 Time : 0.0 sec. user=mdettweiler [2016-05-03 21:19:46] 711*2^1428107-1 is not prime. Res64: 2E73D68DF00CAEBD Time : 0.0 sec. user=mdettweiler [2016-05-03 21:19:46] 775*2^1428107-1 is not prime. Res64: 81E1A62F9954875B Time : 0.0 sec. user=mdettweiler [2016-05-03 21:19:46] 963*2^1428107-1 is not prime. Res64: 6E55305570DD5ADD Time : 0.0 sec. user=mdettweiler [2016-05-03 21:28:20] 629*2^1428108-1 is not prime. Res64: F313BD8055CF97F2 Time : 0.0 sec. user=mdettweiler [2016-05-03 21:28:21] 633*2^1428108-1 is not prime. Res64: 07AD9A2815274D5E Time : 0.0 sec. user=mdettweiler [2016-05-03 21:28:21] 669*2^1428108-1 is not prime. Res64: 857DF778194A1D8D Time : 0.0 sec. user=mdettweiler [2016-05-03 21:28:22] 723*2^1428108-1 is not prime. Res64: 7E2D77FFA197F63A Time : 0.0 sec. user=mdettweiler [2016-05-03 21:28:22] 753*2^1428108-1 is not prime. Res64: B6CFFB0147C5A0C1 Time : 0.0 sec. user=mdettweiler [2016-05-03 21:28:27] 927*2^1428108-1 is not prime. Res64: F1490CD88157AA9B Time : 0.0 sec. user=mdettweiler [2016-05-03 21:28:27] 625*2^1428109-1 is not prime. Res64: 6322A589F0D2DC6C Time : 0.0 sec. user=mdettweiler [2016-05-03 21:28:27] 759*2^1428109-1 is not prime. Res64: 66E7B1EB540E5F7D Time : 0.0 sec. user=mdettweiler [2016-05-03 21:28:28] 769*2^1428109-1 is not prime. Res64: E399C2513632595D Time : 0.0 sec. user=mdettweiler [2016-05-03 21:28:28] 939*2^1428109-1 is not prime. Res64: A4EDA5FFBE01174C Time : 0.0 sec. user=mdettweiler [2016-05-03 22:01:45] 945*2^1428109-1 is not prime. Res64: E84C6BC58C7B4B0B Time : 0.0 sec. user=mdettweiler [2016-05-03 22:01:46] 785*2^1428110-1 is not prime. Res64: 9B80E5B3C0B26AE4 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:01:47] 827*2^1428110-1 is not prime. Res64: A9730DA371FC0AB1 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:01:48] 941*2^1428110-1 is not prime. Res64: 030F406B72BC9D25 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:01:49] 965*2^1428110-1 is not prime. Res64: F5EB5AC8E9D9E94F Time : 0.0 sec. user=mdettweiler [2016-05-03 22:05:01] 723*2^1428111-1 is not prime. Res64: 7292D933A061595B Time : 0.0 sec. user=mdettweiler [2016-05-03 22:05:02] 781*2^1428111-1 is not prime. Res64: 54243B47AE0DF8AC Time : 0.0 sec. user=mdettweiler [2016-05-03 22:05:03] 795*2^1428111-1 is not prime. Res64: F99E4F7FE2DB9A6B Time : 0.0 sec. user=mdettweiler [2016-05-03 22:05:04] 829*2^1428111-1 is not prime. Res64: C001127B76422392 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:05:04] 723*2^1428112-1 is not prime. Res64: 8BB0FA5C184DC097 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:13:30] 811*2^1428113-1 is not prime. Res64: BA9EF7D700545199 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:13:31] 871*2^1428113-1 is not prime. Res64: CFD699D4531B3B18 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:13:31] 991*2^1428113-1 is not prime. Res64: 08C78A46C0930C5C Time : 0.0 sec. user=mdettweiler [2016-05-03 22:13:31] 711*2^1428114-1 is not prime. Res64: 46A6476C6A2BB1F3 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:13:32] 797*2^1428114-1 is not prime. Res64: 1DA75767B0F5E004 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:13:34] 869*2^1428112-1 is not prime. Res64: 21D4350AAA7F72CD Time : 0.0 sec. user=mdettweiler [2016-05-03 22:13:34] 923*2^1428112-1 is not prime. Res64: 6BA7C4EA45B0DD6B Time : 0.0 sec. user=mdettweiler [2016-05-03 22:13:35] 957*2^1428112-1 is not prime. Res64: 61EB16246EBA8500 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:13:36] 727*2^1428113-1 is not prime. Res64: F8503C25C62BE1CC Time : 0.0 sec. user=mdettweiler [2016-05-03 22:13:36] 775*2^1428113-1 is not prime. Res64: 08E30BD74365A9B8 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:47:04] 941*2^1428114-1 is not prime. Res64: D13EE032A6278D1B Time : 0.0 sec. user=mdettweiler [2016-05-03 22:47:04] 945*2^1428114-1 is not prime. Res64: 53187CE0DD54DCA3 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:47:05] 993*2^1428114-1 is not prime. Res64: 32CEFBB081D92CCE Time : 0.0 sec. user=mdettweiler [2016-05-03 22:47:05] 1001*2^1428114-1 is not prime. Res64: 2C905D66AEF4309C Time : 0.0 sec. user=mdettweiler [2016-05-03 22:47:05] 675*2^1428115-1 is not prime. Res64: C107F92709789157 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:50:10] 705*2^1428115-1 is not prime. Res64: 32F6F50AB7B28A09 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:50:10] 891*2^1428115-1 is not prime. Res64: BBFC9FF6B1435C76 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:50:11] 919*2^1428115-1 is not prime. Res64: 8FB4B05A66ED49E2 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:50:11] 961*2^1428115-1 is not prime. Res64: 761A3D4E85BBD75C Time : 0.0 sec. user=mdettweiler [2016-05-03 22:50:11] 969*2^1428115-1 is not prime. Res64: 4E150C7B36B0008A Time : 0.0 sec. user=mdettweiler [2016-05-03 22:58:48] 603*2^1428116-1 is not prime. Res64: 0426638D33CC8FED Time : 0.0 sec. user=mdettweiler [2016-05-03 22:58:49] 845*2^1428116-1 is not prime. Res64: E4F70F02D17FB96D Time : 0.0 sec. user=mdettweiler [2016-05-03 22:58:49] 661*2^1428117-1 is not prime. Res64: 9A64119B15360447 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:58:49] 681*2^1428117-1 is not prime. Res64: A926F1D4D1F17B2A Time : 0.0 sec. user=mdettweiler [2016-05-03 22:58:50] 781*2^1428117-1 is not prime. Res64: DB11D60C8D2A6327 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:58:59] 831*2^1428117-1 is not prime. Res64: CCCA8F13E9D5F64A Time : 0.0 sec. user=mdettweiler [2016-05-03 22:59:00] 773*2^1428118-1 is not prime. Res64: BD209C7E51150563 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:59:00] 801*2^1428118-1 is not prime. Res64: 0761B15CA217F816 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:59:00] 833*2^1428118-1 is not prime. Res64: 8B72EF6B10E15A72 Time : 0.0 sec. user=mdettweiler [2016-05-03 22:59:01] 845*2^1428118-1 is not prime. Res64: 7052CA8C021DDD0C Time : 0.0 sec. user=mdettweiler [2016-05-03 23:32:19] 609*2^1428119-1 is not prime. Res64: 482A0BCBBA56EB2E Time : 0.0 sec. user=mdettweiler [2016-05-03 23:32:19] 619*2^1428119-1 is not prime. Res64: 94BB3BC3CA7A7159 Time : 0.0 sec. user=mdettweiler [2016-05-03 23:32:20] 685*2^1428119-1 is not prime. Res64: 7D7302F750B5B321 Time : 0.0 sec. user=mdettweiler [2016-05-03 23:32:20] 813*2^1428119-1 is not prime. Res64: 2EF19B3FAEB971E3 Time : 0.0 sec. user=mdettweiler [2016-05-03 23:32:20] 855*2^1428119-1 is not prime. Res64: EDEF5AD216246F7A Time : 0.0 sec. user=mdettweiler [2016-05-03 23:35:32] 909*2^1428119-1 is not prime. Res64: 1C5BDB6FD5B4093A Time : 0.0 sec. user=mdettweiler [2016-05-03 23:35:32] 955*2^1428119-1 is not prime. Res64: 96CBD8E0E427E99E Time : 0.0 sec. user=mdettweiler [2016-05-03 23:35:33] 779*2^1428120-1 is not prime. Res64: 0DF4FF03C5C666F3 Time : 0.0 sec. user=mdettweiler [2016-05-03 23:35:33] 843*2^1428120-1 is not prime. Res64: AAF70A02DFFCB62A Time : 0.0 sec. user=mdettweiler [2016-05-03 23:35:34] 905*2^1428120-1 is not prime. Res64: 5E42BD7283F7A7A4 Time : 0.0 sec. user=mdettweiler [2016-05-03 23:44:09] 649*2^1428121-1 is not prime. Res64: 247431FB8E82FCEB Time : 0.0 sec. user=mdettweiler [2016-05-03 23:44:10] 715*2^1428121-1 is not prime. Res64: 0FE7B3B73B13A77A Time : 0.0 sec. user=mdettweiler [2016-05-03 23:44:10] 801*2^1428121-1 is not prime. Res64: 86FA4A3B2B624150 Time : 0.0 sec. user=mdettweiler [2016-05-03 23:44:10] 937*2^1428121-1 is not prime. Res64: 4B406299A5998E7F Time : 0.0 sec. user=mdettweiler [2016-05-03 23:44:11] 713*2^1428122-1 is not prime. Res64: E4FCDDE0696A892B Time : 0.0 sec. user=mdettweiler [2016-05-03 23:44:14] 843*2^1428122-1 is not prime. Res64: 9ADEA59FCFD90741 Time : 0.0 sec. user=mdettweiler [2016-05-03 23:44:14] 867*2^1428122-1 is not prime. Res64: 2E4412F4E3444671 Time : 0.0 sec. user=mdettweiler [2016-05-03 23:44:14] 885*2^1428122-1 is not prime. Res64: 374B32D0D6E0DE54 Time : 0.0 sec. user=mdettweiler [2016-05-03 23:44:15] 945*2^1428122-1 is not prime. Res64: E966B4992FB80174 Time : 0.0 sec. user=mdettweiler [2016-05-03 23:44:15] 977*2^1428122-1 is not prime. Res64: 27F250941EFD18FD Time : 0.0 sec.