user=mdettweiler [2015-08-02 00:09:55] 625*2^1405027-1 is not prime. Res64: 772FCAA9FC58FAB9 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:09:56] 633*2^1405027-1 is not prime. Res64: 7F80685606D559FE Time : 0.0 sec. user=mdettweiler [2015-08-02 00:10:53] 649*2^1405027-1 is not prime. Res64: C8F3238DFEE3EB9B Time : 0.0 sec. user=mdettweiler [2015-08-02 00:10:54] 693*2^1405027-1 is not prime. Res64: C133C797CF169516 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:11:03] 733*2^1405027-1 is not prime. Res64: 95F1C15E17E4130F Time : 0.0 sec. user=mdettweiler [2015-08-02 00:11:04] 765*2^1405027-1 is not prime. Res64: 7564F47B2F22BE57 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:13:09] 849*2^1405027-1 is not prime. Res64: 93C47DB725ABBB3B Time : 0.0 sec. user=mdettweiler [2015-08-02 00:13:09] 813*2^1405028-1 is not prime. Res64: 4F5570EAEDEA61A8 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:28:44] 915*2^1405028-1 is not prime. Res64: 98059DC8CACF8D76 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:28:44] 953*2^1405028-1 is not prime. Res64: D14518A759012CDD Time : 0.0 sec. user=mdettweiler [2015-08-02 00:29:23] 655*2^1405029-1 is not prime. Res64: 3EC496ABBAD84B56 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:29:23] 675*2^1405029-1 is not prime. Res64: AB4467062F930423 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:29:45] 679*2^1405029-1 is not prime. Res64: C3BFB902978DADDD Time : 0.0 sec. user=mdettweiler [2015-08-02 00:29:45] 745*2^1405029-1 is not prime. Res64: 2792FFA154AB3A77 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:31:44] 835*2^1405029-1 is not prime. Res64: 9331D119709FE83F Time : 0.0 sec. user=mdettweiler [2015-08-02 00:31:44] 961*2^1405029-1 is not prime. Res64: E94C7CC5F8DD9B2C Time : 0.0 sec. user=mdettweiler [2015-08-02 00:47:34] 855*2^1405030-1 is not prime. Res64: A23220ADC28C8459 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:47:35] 917*2^1405030-1 is not prime. Res64: CC500EE20B74789D Time : 0.0 sec. user=mdettweiler [2015-08-02 00:48:12] 923*2^1405030-1 is not prime. Res64: 81962C0D95F75726 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:48:12] 603*2^1405031-1 is not prime. Res64: 84EE50F8BD86BE62 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:48:43] 661*2^1405031-1 is not prime. Res64: B66D031F08D7EDDE Time : 0.0 sec. user=mdettweiler [2015-08-02 00:48:43] 675*2^1405031-1 is not prime. Res64: D578B109A57DA581 Time : 0.0 sec. user=mdettweiler [2015-08-02 00:50:30] 705*2^1405031-1 is not prime. Res64: 48200189090559FB Time : 0.0 sec. user=mdettweiler [2015-08-02 00:50:30] 841*2^1405031-1 is not prime. Res64: 58003230A608B491 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:06:08] 855*2^1405031-1 is not prime. Res64: 7F0BC7D90F2B7A1B Time : 0.0 sec. user=mdettweiler [2015-08-02 01:06:09] 931*2^1405031-1 is not prime. Res64: 6EAEE1C9FFFB839A Time : 0.0 sec. user=mdettweiler [2015-08-02 01:06:45] 635*2^1405032-1 is not prime. Res64: 34ED90D32E7CEFEB Time : 0.0 sec. user=mdettweiler [2015-08-02 01:06:45] 693*2^1405032-1 is not prime. Res64: 63311C1EE22A7206 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:07:15] 879*2^1405032-1 is not prime. Res64: CC0DB90F34C720F0 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:07:15] 917*2^1405032-1 is not prime. Res64: 4DD471C21A9DD4AC Time : 0.0 sec. user=mdettweiler [2015-08-02 01:09:12] 609*2^1405033-1 is not prime. Res64: A8F4D64E6EAB12DB Time : 0.0 sec. user=mdettweiler [2015-08-02 01:09:12] 705*2^1405033-1 is not prime. Res64: 692ACD32E89A7098 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:25:07] 765*2^1405033-1 is not prime. Res64: 83D8211929647FF0 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:25:08] 861*2^1405033-1 is not prime. Res64: A4B1F8963C43B21F Time : 0.0 sec. user=mdettweiler [2015-08-02 01:25:27] 895*2^1405033-1 is not prime. Res64: 8B7C8B5E6C9C51CF Time : 0.0 sec. user=mdettweiler [2015-08-02 01:25:28] 967*2^1405033-1 is not prime. Res64: 9B1069B0819978B8 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:26:03] 979*2^1405033-1 is not prime. Res64: 1CFE1333F9E12B9A Time : 0.0 sec. user=mdettweiler [2015-08-02 01:26:04] 981*2^1405033-1 is not prime. Res64: B59A79076B42E57F Time : 0.0 sec. user=mdettweiler [2015-08-02 01:28:06] 985*2^1405033-1 is not prime. Res64: 06792A4672F25C8D Time : 0.0 sec. user=mdettweiler [2015-08-02 01:28:07] 987*2^1405033-1 is not prime. Res64: 170A2D514F1A9655 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:43:33] 767*2^1405034-1 is not prime. Res64: F07FEF79DDD5595D Time : 0.0 sec. user=mdettweiler [2015-08-02 01:43:33] 785*2^1405034-1 is not prime. Res64: 64E16D696ECD4698 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:44:02] 857*2^1405034-1 is not prime. Res64: 835B6A95EE327F0D Time : 0.0 sec. user=mdettweiler [2015-08-02 01:44:03] 669*2^1405035-1 is not prime. Res64: 7F2CC2F234437690 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:44:43] 675*2^1405035-1 is not prime. Res64: B049AEE69EF75A58 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:44:43] 709*2^1405035-1 is not prime. Res64: D89738558D65B3E4 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:46:51] 751*2^1405035-1 is not prime. Res64: F82BB4A02806FAD6 Time : 0.0 sec. user=mdettweiler [2015-08-02 01:46:51] 765*2^1405035-1 is not prime. Res64: 63B5887A7B438223 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:02:17] 789*2^1405035-1 is not prime. Res64: 6E1890A4842A3B56 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:02:18] 801*2^1405035-1 is not prime. Res64: 07F0D42BA70B25D0 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:02:44] 861*2^1405035-1 is not prime. Res64: 0238DF83EEA125CA Time : 0.0 sec. user=mdettweiler [2015-08-02 02:02:45] 913*2^1405035-1 is not prime. Res64: BF78CC16292EFC73 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:03:31] 973*2^1405035-1 is not prime. Res64: B2DD16889908759A Time : 0.0 sec. user=mdettweiler [2015-08-02 02:03:32] 657*2^1405036-1 is not prime. Res64: 88D48438ACEBAF43 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:05:46] 677*2^1405036-1 is not prime. Res64: 225E0F1627277725 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:05:46] 777*2^1405036-1 is not prime. Res64: A5FB79C821343489 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:20:41] 783*2^1405036-1 is not prime. Res64: EB5A332EA2B6B33F Time : 0.0 sec. user=mdettweiler [2015-08-02 02:20:41] 785*2^1405036-1 is not prime. Res64: 7E1D018EEC08B938 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:20:50] 875*2^1405036-1 is not prime. Res64: D3A5566D0D27652A Time : 0.0 sec. user=mdettweiler [2015-08-02 02:20:50] 899*2^1405036-1 is not prime. Res64: 7088B0FE52A6A3ED Time : 0.0 sec. user=mdettweiler [2015-08-02 02:21:42] 953*2^1405036-1 is not prime. Res64: FC2873C9D1464683 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:21:42] 649*2^1405037-1 is not prime. Res64: 191E906432346F83 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:23:35] 651*2^1405037-1 is not prime. Res64: 7CB5F012D334794B Time : 0.0 sec. user=mdettweiler [2015-08-02 02:23:36] 691*2^1405037-1 is not prime. Res64: 5CD92FD325E0463F Time : 0.0 sec. user=mdettweiler [2015-08-02 02:39:17] 727*2^1405037-1 is not prime. Res64: A7D75A4DBF316B18 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:39:18] 771*2^1405037-1 is not prime. Res64: 2A148314986E2280 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:40:14] 865*2^1405037-1 is not prime. Res64: 518253E23825C83B Time : 0.0 sec. user=mdettweiler [2015-08-02 02:40:15] 885*2^1405037-1 is not prime. Res64: 43078CFC29EF7A19 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:40:15] 957*2^1405037-1 is not prime. Res64: 75683152D7CC18DD Time : 0.0 sec. user=mdettweiler [2015-08-02 02:40:16] 967*2^1405037-1 is not prime. Res64: 65B7990DAC886C1E Time : 0.0 sec. user=mdettweiler [2015-08-02 02:42:11] 627*2^1405038-1 is not prime. Res64: D9AB32E1E784E10A Time : 0.0 sec. user=mdettweiler [2015-08-02 02:42:11] 761*2^1405038-1 is not prime. Res64: 7E282E8A424D74E4 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:56:52] 885*2^1405038-1 is not prime. Res64: 25C19C055CF26F71 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:56:53] 887*2^1405038-1 is not prime. Res64: A35341A82BB3FC23 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:57:44] 975*2^1405038-1 is not prime. Res64: F6FA84ADE8DFC4D0 Time : 0.0 sec. user=mdettweiler [2015-08-02 02:57:44] 977*2^1405038-1 is not prime. Res64: 3F1BDD4A1275C34E Time : 0.0 sec. user=mdettweiler [2015-08-02 02:57:50] 705*2^1405039-1 is not prime. Res64: 68DC73F2880FE4AA Time : 0.0 sec. user=mdettweiler [2015-08-02 02:57:51] 751*2^1405039-1 is not prime. Res64: A73E2CCE3AAB7D2A Time : 0.0 sec. user=mdettweiler [2015-08-02 02:59:52] 769*2^1405039-1 is not prime. Res64: E8B5A7801FE93ABB Time : 0.0 sec. user=mdettweiler [2015-08-02 02:59:52] 853*2^1405039-1 is not prime. Res64: 289807CD62D4FB19 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:14:36] 885*2^1405039-1 is not prime. Res64: 7CF6AD003C5A5169 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:14:37] 609*2^1405040-1 is not prime. Res64: F0B19E0F2C0CD830 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:15:21] 663*2^1405040-1 is not prime. Res64: C5183207C76CD491 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:15:22] 747*2^1405040-1 is not prime. Res64: BF29D4BA9F3C03F1 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:15:41] 607*2^1405041-1 is not prime. Res64: 4A57F683CAD58ABD Time : 0.0 sec. user=mdettweiler [2015-08-02 03:15:41] 657*2^1405041-1 is not prime. Res64: B8FE69D5B565CFC1 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:17:44] 751*2^1405041-1 is not prime. Res64: 0B27E450AC412A64 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:17:45] 789*2^1405041-1 is not prime. Res64: 773A9DACEE6BD48D Time : 0.0 sec. user=mdettweiler [2015-08-02 03:32:04] 795*2^1405041-1 is not prime. Res64: F63AC9A590F52488 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:32:05] 805*2^1405041-1 is not prime. Res64: DE8B1589182FD944 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:32:57] 617*2^1405042-1 is not prime. Res64: B4A5C751A2E1FCEF Time : 0.0 sec. user=mdettweiler [2015-08-02 03:32:58] 647*2^1405042-1 is not prime. Res64: 877A0467731E7F4F Time : 0.0 sec. user=mdettweiler [2015-08-02 03:33:11] 665*2^1405042-1 is not prime. Res64: 3C72613AFB8B34F8 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:33:12] 677*2^1405042-1 is not prime. Res64: 7B7C710214A2A67A Time : 0.0 sec. user=mdettweiler [2015-08-02 03:35:21] 681*2^1405042-1 is not prime. Res64: C1E24523FCE9CDF2 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:35:22] 723*2^1405042-1 is not prime. Res64: 53EF1D2F28E4DECD Time : 0.0 sec. user=mdettweiler [2015-08-02 03:49:50] 735*2^1405042-1 is not prime. Res64: F693CA21B7D70A3C Time : 0.0 sec. user=mdettweiler [2015-08-02 03:50:26] 825*2^1405042-1 is not prime. Res64: E08DBFFD1A3D18B3 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:53:03] 981*2^1405042-1 is not prime. Res64: 22D04EC73B2B1994 Time : 0.0 sec. user=mdettweiler [2015-08-02 03:53:04] 987*2^1405042-1 is not prime. Res64: B90E13D29B28D012 Time : 0.0 sec. user=mdettweiler [2015-08-02 04:01:04] 843*2^1405042-1 is not prime. Res64: 8504DCCF0765CE38 Time : 0.0 sec. user=mdettweiler [2015-08-02 04:12:56] 619*2^1405043-1 is not prime. Res64: 86DF7266AFA8308F Time : 0.0 sec. user=mdettweiler [2015-08-02 04:12:57] 753*2^1405043-1 is not prime. Res64: 0F107C802278F671 Time : 0.0 sec. user=mdettweiler [2015-08-02 04:21:01] 871*2^1405043-1 is not prime. Res64: AAF795F908B64A7C Time : 0.0 sec. user=mdettweiler [2015-08-02 04:21:01] 885*2^1405043-1 is not prime. Res64: D3E2BC08ECA0B25E Time : 0.0 sec. user=mdettweiler [2015-08-02 04:32:52] 683*2^1405044-1 is not prime. Res64: 0B1100C93B68A25B Time : 0.0 sec. user=mdettweiler [2015-08-02 04:32:53] 719*2^1405044-1 is not prime. Res64: F35A2E5B936EC935 Time : 0.0 sec. user=mdettweiler [2015-08-02 04:40:46] 945*2^1405044-1 is not prime. Res64: EBE5E16BA7A92877 Time : 0.0 sec. user=mdettweiler [2015-08-02 04:40:47] 607*2^1405045-1 is not prime. Res64: B5A5FA4517AEE22A Time : 0.0 sec. user=mdettweiler [2015-08-02 04:52:21] 609*2^1405045-1 is not prime. Res64: 61C6AEF0C8903170 Time : 0.0 sec. user=mdettweiler [2015-08-02 04:52:22] 849*2^1405045-1 is not prime. Res64: 63E9336EBC08C750 Time : 0.0 sec. user=mdettweiler [2015-08-02 04:59:53] 919*2^1405045-1 is not prime. Res64: 00B6ADFDB8EF9366 Time : 0.0 sec. user=mdettweiler [2015-08-02 04:59:53] 975*2^1405045-1 is not prime. Res64: 4EAAD9E4B0920E5C Time : 0.0 sec. user=mdettweiler [2015-08-02 05:11:20] 755*2^1405046-1 is not prime. Res64: BF260A040F5B7EBE Time : 0.0 sec. user=mdettweiler [2015-08-02 05:11:21] 887*2^1405046-1 is not prime. Res64: DAED2DBF0972A974 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:11:24] 777*2^1405042-1 is not prime. Res64: 9FFFDD0B89654992 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:11:44] 891*2^1405042-1 is not prime. Res64: B7EDB1E2EF91A514 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:11:44] 951*2^1405042-1 is not prime. Res64: 38FEF53A3A56E3D8 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:18:21] 615*2^1405047-1 is not prime. Res64: 4A4199B749A4573A Time : 0.0 sec. user=mdettweiler [2015-08-02 05:18:21] 739*2^1405047-1 is not prime. Res64: 7371F09C178B6D9C Time : 0.0 sec. user=mdettweiler [2015-08-02 05:29:05] 793*2^1405047-1 is not prime. Res64: 708D50AC07214BB6 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:29:05] 843*2^1405047-1 is not prime. Res64: 06B857042E248CEB Time : 0.0 sec. user=mdettweiler [2015-08-02 05:29:08] 919*2^1405047-1 is not prime. Res64: 4D5FB9EE35BAB19E Time : 0.0 sec. user=mdettweiler [2015-08-02 05:29:08] 955*2^1405047-1 is not prime. Res64: 25D8383BBF63E250 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:29:16] 961*2^1405047-1 is not prime. Res64: E34C98DE3A636B17 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:29:17] 979*2^1405047-1 is not prime. Res64: 285E82D3DA56B470 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:35:54] 657*2^1405048-1 is not prime. Res64: FF7E1466EF577F5E Time : 0.0 sec. user=mdettweiler [2015-08-02 05:35:54] 663*2^1405048-1 is not prime. Res64: B8ECF384EC9C1D87 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:46:59] 687*2^1405048-1 is not prime. Res64: 63CB1DB096AC528F Time : 0.0 sec. user=mdettweiler [2015-08-02 05:46:59] 705*2^1405048-1 is not prime. Res64: AB1F8AE685E37642 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:47:03] 679*2^1405049-1 is not prime. Res64: 58D24AAA40704A0A Time : 0.0 sec. user=mdettweiler [2015-08-02 05:47:03] 699*2^1405049-1 is not prime. Res64: 488DB57DC8FF96E4 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:47:33] 833*2^1405048-1 is not prime. Res64: BAA2461798740BE8 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:47:33] 989*2^1405048-1 is not prime. Res64: FA37D18E53BB46D5 Time : 0.0 sec. user=mdettweiler [2015-08-02 05:53:38] 939*2^1405049-1 is not prime. Res64: 82911612A251873F Time : 0.0 sec. user=mdettweiler [2015-08-02 05:53:38] 979*2^1405049-1 is not prime. Res64: 1F7BDD786F1A08CA Time : 0.0 sec. user=mdettweiler [2015-08-02 06:04:33] 843*2^1405050-1 is not prime. Res64: 30A9C90023244286 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:04:34] 887*2^1405050-1 is not prime. Res64: 2B916D1DFA21B11E Time : 0.0 sec. user=mdettweiler [2015-08-02 06:04:36] 633*2^1405050-1 is not prime. Res64: 3C56C19A43A2F710 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:04:37] 681*2^1405050-1 is not prime. Res64: FBF6C1766E59A2D3 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:05:37] 917*2^1405050-1 is not prime. Res64: DACD420B1994DD6A Time : 0.0 sec. user=mdettweiler [2015-08-02 06:05:38] 951*2^1405050-1 is not prime. Res64: 3B331F54D468E48C Time : 0.0 sec. user=mdettweiler [2015-08-02 06:11:13] 603*2^1405051-1 is not prime. Res64: E1A46D9A18B3CADE Time : 0.0 sec. user=mdettweiler [2015-08-02 06:11:14] 735*2^1405051-1 is not prime. Res64: 9D81D64CB0D61277 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:22:33] 769*2^1405051-1 is not prime. Res64: 07F1F9174259EB10 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:22:34] 819*2^1405051-1 is not prime. Res64: FBA347CCDA02C586 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:22:45] 855*2^1405051-1 is not prime. Res64: 00C082C5B7C43D75 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:22:45] 909*2^1405051-1 is not prime. Res64: DCA3D71ED74E1E9A Time : 0.0 sec. user=mdettweiler [2015-08-02 06:23:11] 913*2^1405051-1 is not prime. Res64: 14D54F1AD2240FCB Time : 0.0 sec. user=mdettweiler [2015-08-02 06:23:12] 961*2^1405051-1 is not prime. Res64: 8006E7BCF7BC5B9C Time : 0.0 sec. user=mdettweiler [2015-08-02 06:28:46] 603*2^1405052-1 is not prime. Res64: 02956007C04E46B0 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:28:47] 623*2^1405052-1 is not prime. Res64: 6EB89EE40CBE36AC Time : 0.0 sec. user=mdettweiler [2015-08-02 06:40:11] 687*2^1405052-1 is not prime. Res64: 3ED66CFC1715E74C Time : 0.0 sec. user=mdettweiler [2015-08-02 06:40:11] 699*2^1405052-1 is not prime. Res64: 697FB472C33D62C2 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:40:20] 717*2^1405052-1 is not prime. Res64: A72830D3D7C1B0A0 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:40:20] 743*2^1405052-1 is not prime. Res64: 0D43063BD330C82C Time : 0.0 sec. user=mdettweiler [2015-08-02 06:40:46] 813*2^1405052-1 is not prime. Res64: 7F2F9EDD101931AF Time : 0.0 sec. user=mdettweiler [2015-08-02 06:40:46] 903*2^1405052-1 is not prime. Res64: 931749E46A4F9FBF Time : 0.0 sec. user=mdettweiler [2015-08-02 06:46:20] 945*2^1405052-1 is not prime. Res64: 8E2AC1463D663F84 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:46:21] 957*2^1405052-1 is not prime. Res64: 40F3E7A17931A5A0 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:57:50] 995*2^1405052-1 is not prime. Res64: D675CA443A884293 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:57:50] 621*2^1405053-1 is not prime. Res64: 8AFCBBB045BFC7E1 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:57:59] 657*2^1405053-1 is not prime. Res64: 933EA20E20BBA3B5 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:58:00] 795*2^1405053-1 is not prime. Res64: 18EB571F53004E61 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:58:28] 829*2^1405053-1 is not prime. Res64: 80FCB2ADC7E42FE6 Time : 0.0 sec. user=mdettweiler [2015-08-02 06:58:28] 921*2^1405053-1 is not prime. Res64: B68D4412EFECA8FC Time : 0.0 sec. user=mdettweiler [2015-08-02 07:04:03] 937*2^1405053-1 is not prime. Res64: E7393DE67D0DE56D Time : 0.0 sec. user=mdettweiler [2015-08-02 07:04:04] 651*2^1405054-1 is not prime. Res64: 669DAD963A0F93EC Time : 0.0 sec. user=mdettweiler [2015-08-02 07:15:31] 707*2^1405054-1 is not prime. Res64: 8CC3BF2795E01A8F Time : 0.0 sec. user=mdettweiler [2015-08-02 07:15:32] 747*2^1405054-1 is not prime. Res64: 09C9DE8D5E556AE9 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:15:48] 855*2^1405054-1 is not prime. Res64: 72DBFA94AEB56F34 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:15:49] 941*2^1405054-1 is not prime. Res64: 8132203017F61423 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:16:04] 805*2^1405055-1 is not prime. Res64: 411E41D40A19B734 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:16:05] 819*2^1405055-1 is not prime. Res64: 0BE28ED765C12B67 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:21:44] 841*2^1405055-1 is not prime. Res64: DE6E939BBFC105C0 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:21:44] 985*2^1405055-1 is not prime. Res64: 45522643454A86F7 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:33:04] 999*2^1405055-1 is not prime. Res64: 70842E974941DD00 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:33:05] 609*2^1405056-1 is not prime. Res64: 0C75AF440D2668B9 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:33:24] 633*2^1405056-1 is not prime. Res64: 922D8F2CCB9527AD Time : 0.0 sec. user=mdettweiler [2015-08-02 07:33:24] 737*2^1405056-1 is not prime. Res64: 3886F839A88C570C Time : 0.0 sec. user=mdettweiler [2015-08-02 07:33:35] 845*2^1405056-1 is not prime. Res64: 3FFB2612CBB7E56B Time : 0.0 sec. user=mdettweiler [2015-08-02 07:33:35] 909*2^1405056-1 is not prime. Res64: 5D7A6B3700DEEE4E Time : 0.0 sec. user=mdettweiler [2015-08-02 07:39:19] 615*2^1405057-1 is not prime. Res64: 445E0A6A77881766 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:39:19] 645*2^1405057-1 is not prime. Res64: CFC8E25AD61A1179 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:50:48] 649*2^1405057-1 is not prime. Res64: 306CC0784F295588 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:50:48] 699*2^1405057-1 is not prime. Res64: 02766E6C858ECA8F Time : 0.0 sec. user=mdettweiler [2015-08-02 07:51:05] 759*2^1405057-1 is not prime. Res64: BCD86866420AFB14 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:51:05] 829*2^1405057-1 is not prime. Res64: 5FC53CAE6D106569 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:51:10] 831*2^1405057-1 is not prime. Res64: 67822467903A697E Time : 0.0 sec. user=mdettweiler [2015-08-02 07:51:10] 979*2^1405057-1 is not prime. Res64: C3CCAD5DB45ED248 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:56:49] 985*2^1405057-1 is not prime. Res64: 24265B19094CAC66 Time : 0.0 sec. user=mdettweiler [2015-08-02 07:56:49] 633*2^1405058-1 is not prime. Res64: CA57CCD016817A61 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:08:21] 755*2^1405058-1 is not prime. Res64: 0DD1102F109B2D7C Time : 0.0 sec. user=mdettweiler [2015-08-02 08:08:22] 831*2^1405058-1 is not prime. Res64: 7B9305E4E316AD94 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:08:39] 845*2^1405058-1 is not prime. Res64: 2B63280D4BC940A1 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:08:40] 861*2^1405058-1 is not prime. Res64: E4F16B7AB790ED8C Time : 0.0 sec. user=mdettweiler [2015-08-02 08:08:40] 945*2^1405058-1 is not prime. Res64: A238A1287C0DC77F Time : 0.0 sec. user=mdettweiler [2015-08-02 08:08:41] 633*2^1405059-1 is not prime. Res64: F2ED235968CF710F Time : 0.0 sec. user=mdettweiler [2015-08-02 08:14:29] 753*2^1405059-1 is not prime. Res64: 08F7E342DBA8F27B Time : 0.0 sec. user=mdettweiler [2015-08-02 08:14:29] 789*2^1405059-1 is not prime. Res64: 14021328842C6698 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:25:53] 859*2^1405059-1 is not prime. Res64: E3F12D6A821B8AFB Time : 0.0 sec. user=mdettweiler [2015-08-02 08:25:54] 931*2^1405059-1 is not prime. Res64: 2CA6D8FF73047A2B Time : 0.0 sec. user=mdettweiler [2015-08-02 08:26:14] 955*2^1405059-1 is not prime. Res64: 80A3CA9C10DE6023 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:26:14] 827*2^1405060-1 is not prime. Res64: A5FC7AF001E62666 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:26:17] 873*2^1405060-1 is not prime. Res64: ED03655427649A22 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:26:17] 909*2^1405060-1 is not prime. Res64: FF248005C2F7FDEE Time : 0.0 sec. user=mdettweiler [2015-08-02 08:31:56] 607*2^1405061-1 is not prime. Res64: 29B8A38AE5CA0464 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:31:56] 727*2^1405061-1 is not prime. Res64: 34B20A3925ED747C Time : 0.0 sec. user=mdettweiler [2015-08-02 08:43:23] 735*2^1405061-1 is not prime. Res64: 479C1F85772FA786 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:43:24] 769*2^1405061-1 is not prime. Res64: 5FE94EACB307E1AD Time : 0.0 sec. user=mdettweiler [2015-08-02 08:43:48] 789*2^1405061-1 is not prime. Res64: 62A431CF50FB61CC Time : 0.0 sec. user=mdettweiler [2015-08-02 08:43:48] 925*2^1405061-1 is not prime. Res64: E1D1F1F2D956F535 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:43:48] 837*2^1405061-1 is not prime. Res64: E61D450F20F17AC5 Time : 0.0 sec. user=mdettweiler [2015-08-02 08:43:48] 621*2^1405062-1 is not prime. Res64: 78DD296C0115667F Time : 0.0 sec. user=mdettweiler [2015-08-02 08:49:31] 677*2^1405062-1 is not prime. Res64: FED48693303D55DC Time : 0.0 sec. user=mdettweiler [2015-08-02 08:49:31] 891*2^1405062-1 is not prime. Res64: DB9C7A106D6A62CD Time : 0.0 sec. user=mdettweiler [2015-08-02 09:00:56] 917*2^1405062-1 is not prime. Res64: 17326DF8B438D220 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:00:57] 639*2^1405063-1 is not prime. Res64: 64073443F76E54EF Time : 0.0 sec. user=mdettweiler [2015-08-02 09:01:17] 765*2^1405063-1 is not prime. Res64: B57F3064B961450D Time : 0.0 sec. user=mdettweiler [2015-08-02 09:01:19] 813*2^1405063-1 is not prime. Res64: B23C1B02E34835D8 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:01:31] 679*2^1405063-1 is not prime. Res64: A47EA77720C96745 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:01:32] 735*2^1405063-1 is not prime. Res64: BD6E0025A88903AB Time : 0.0 sec. user=mdettweiler [2015-08-02 09:07:02] 951*2^1405063-1 is not prime. Res64: BFFA8790364491C6 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:07:02] 985*2^1405063-1 is not prime. Res64: AD8D8E8BD751B1E7 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:18:34] 993*2^1405063-1 is not prime. Res64: FA3183ED65D9FB92 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:18:34] 605*2^1405064-1 is not prime. Res64: 20D0C606E18EFC10 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:19:43] 717*2^1405064-1 is not prime. Res64: 419556C2CBA9BEBE Time : 0.0 sec. user=mdettweiler [2015-08-02 09:19:43] 773*2^1405064-1 is not prime. Res64: 3275D4C9D8A37816 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:20:09] 759*2^1405064-1 is not prime. Res64: 34A9349E4F09D2C1 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:20:09] 813*2^1405064-1 is not prime. Res64: FD1396002E8C50F7 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:24:33] 837*2^1405064-1 is not prime. Res64: 1B65FAA23BC83267 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:24:34] 929*2^1405064-1 is not prime. Res64: 108348C3BFBAA54A Time : 0.0 sec. user=mdettweiler [2015-08-02 09:36:07] 945*2^1405064-1 is not prime. Res64: 7CD87BDD00ECE219 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:36:07] 609*2^1405065-1 is not prime. Res64: 489D7BD958CF6360 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:37:16] 625*2^1405065-1 is not prime. Res64: 61AA5D0A898A0E60 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:37:16] 787*2^1405065-1 is not prime. Res64: C8354FEE2BB5276C Time : 0.0 sec. user=mdettweiler [2015-08-02 09:37:48] 795*2^1405065-1 is not prime. Res64: 48BD281298E3DD1F Time : 0.0 sec. user=mdettweiler [2015-08-02 09:37:48] 895*2^1405065-1 is not prime. Res64: 65F43D6AD519B489 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:42:08] 919*2^1405065-1 is not prime. Res64: 0D0F65C3CF2363DC Time : 0.0 sec. user=mdettweiler [2015-08-02 09:42:08] 979*2^1405065-1 is not prime. Res64: A82CF9DACC970959 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:53:54] 999*2^1405065-1 is not prime. Res64: CCB67854010D6691 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:53:54] 657*2^1405066-1 is not prime. Res64: C18E8636757FCD14 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:54:50] 663*2^1405066-1 is not prime. Res64: 8034105AF11E9E2B Time : 0.0 sec. user=mdettweiler [2015-08-02 09:54:51] 677*2^1405066-1 is not prime. Res64: 00A2317DE300C1B7 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:55:25] 755*2^1405066-1 is not prime. Res64: 1427B350CAF3D8CF Time : 0.0 sec. user=mdettweiler [2015-08-02 09:55:25] 801*2^1405066-1 is not prime. Res64: 4BD748563C0C10F7 Time : 0.0 sec. user=mdettweiler [2015-08-02 09:59:39] 825*2^1405066-1 is not prime. Res64: 1C3C23BCE0C91C0E Time : 0.0 sec. user=mdettweiler [2015-08-02 09:59:40] 987*2^1405066-1 is not prime. Res64: A6245E501A4B34EC Time : 0.0 sec. user=mdettweiler [2015-08-02 10:11:30] 621*2^1405067-1 is not prime. Res64: 322DD59B822EAE82 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:11:30] 663*2^1405067-1 is not prime. Res64: BFB76B58D2B5E964 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:12:20] 675*2^1405067-1 is not prime. Res64: 3970B96941F8EFA4 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:12:20] 879*2^1405067-1 is not prime. Res64: DA5A24EDA473C36C Time : 0.0 sec. user=mdettweiler [2015-08-02 10:13:04] 885*2^1405067-1 is not prime. Res64: 4BEEABE71F4EBED7 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:13:04] 931*2^1405067-1 is not prime. Res64: 7AB6530DC26BF870 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:17:21] 627*2^1405068-1 is not prime. Res64: D10AAD2D48957504 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:17:22] 699*2^1405068-1 is not prime. Res64: 447D80E5E0AD792A Time : 0.0 sec. user=mdettweiler [2015-08-02 10:29:13] 705*2^1405068-1 is not prime. Res64: 85DBB682B442B521 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:29:14] 707*2^1405068-1 is not prime. Res64: 862901AB9C65BC96 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:29:58] 795*2^1405068-1 is not prime. Res64: BCEEB8540A07C051 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:29:58] 879*2^1405068-1 is not prime. Res64: 85EA942841A64B05 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:30:44] 639*2^1405069-1 is not prime. Res64: C50BEB05ED6456BE Time : 0.0 sec. user=mdettweiler [2015-08-02 10:30:44] 685*2^1405069-1 is not prime. Res64: 1374BDFF75A797EB Time : 0.0 sec. user=mdettweiler [2015-08-02 10:34:55] 759*2^1405069-1 is not prime. Res64: BAACC0A239A562FA Time : 0.0 sec. user=mdettweiler [2015-08-02 10:34:55] 835*2^1405069-1 is not prime. Res64: 0650128C797C100D Time : 0.0 sec. user=mdettweiler [2015-08-02 10:46:48] 919*2^1405069-1 is not prime. Res64: 033CB2793E781434 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:46:48] 931*2^1405069-1 is not prime. Res64: DFAD9C41F9F38894 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:47:25] 951*2^1405069-1 is not prime. Res64: 10C3C8917BF80245 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:47:26] 605*2^1405070-1 is not prime. Res64: 57D2307B3FEC793A Time : 0.0 sec. user=mdettweiler [2015-08-02 10:48:13] 687*2^1405070-1 is not prime. Res64: 9C4305F0947BCC38 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:48:13] 773*2^1405070-1 is not prime. Res64: 6BAC47F8FD831D87 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:52:34] 861*2^1405070-1 is not prime. Res64: E4B2346E11F06A64 Time : 0.0 sec. user=mdettweiler [2015-08-02 10:52:34] 953*2^1405070-1 is not prime. Res64: 14D814E7DF0940A1 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:05:17] 643*2^1405071-1 is not prime. Res64: AE4DFFE591BA89F7 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:05:18] 705*2^1405071-1 is not prime. Res64: 63243EB9ED5632C3 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:05:44] 763*2^1405071-1 is not prime. Res64: AD6B81D62D5CBEAE Time : 0.0 sec. user=mdettweiler [2015-08-02 11:05:45] 805*2^1405071-1 is not prime. Res64: 67233344E1C0E297 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:06:55] 825*2^1405071-1 is not prime. Res64: F271143EF0E1F0FA Time : 0.0 sec. user=mdettweiler [2015-08-02 11:06:55] 861*2^1405071-1 is not prime. Res64: FB89EB5EFA05AE02 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:11:52] 885*2^1405071-1 is not prime. Res64: BF7C5D644A0BC3A3 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:11:52] 891*2^1405071-1 is not prime. Res64: 4C22CF66364218BA Time : 0.0 sec. user=mdettweiler [2015-08-02 11:26:52] 735*2^1405072-1 is not prime. Res64: DEC637F4D8127F57 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:26:53] 755*2^1405072-1 is not prime. Res64: 06A3AD423C088948 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:26:57] 975*2^1405071-1 is not prime. Res64: FE96EF70D54E0288 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:26:57] 603*2^1405072-1 is not prime. Res64: 72BD0218CBEA9BEF Time : 0.0 sec. user=mdettweiler [2015-08-02 11:28:28] 759*2^1405072-1 is not prime. Res64: D7E605C3733DD92C Time : 0.0 sec. user=mdettweiler [2015-08-02 11:28:29] 765*2^1405072-1 is not prime. Res64: 8B56A9651A695B49 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:34:11] 899*2^1405072-1 is not prime. Res64: 4F8353E6E36EA58C Time : 0.0 sec. user=mdettweiler [2015-08-02 11:34:11] 917*2^1405072-1 is not prime. Res64: 028527789C226C29 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:48:31] 929*2^1405072-1 is not prime. Res64: AA8E2BA36FBF88DB Time : 0.0 sec. user=mdettweiler [2015-08-02 11:48:31] 627*2^1405073-1 is not prime. Res64: 755993E4C495D36C Time : 0.0 sec. user=mdettweiler [2015-08-02 11:48:35] 631*2^1405073-1 is not prime. Res64: C95E02CF8D20493D Time : 0.0 sec. user=mdettweiler [2015-08-02 11:48:36] 637*2^1405073-1 is not prime. Res64: 082FD637C6FE07C1 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:50:08] 651*2^1405073-1 is not prime. Res64: 85E282D719A8B65D Time : 0.0 sec. user=mdettweiler [2015-08-02 11:50:08] 771*2^1405073-1 is not prime. Res64: F84D14193C360D50 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:55:23] 819*2^1405073-1 is not prime. Res64: C33904229E3A30D4 Time : 0.0 sec. user=mdettweiler [2015-08-02 11:55:23] 855*2^1405073-1 is not prime. Res64: 1FE9976BDE4E4893 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:08:42] 633*2^1405074-1 is not prime. Res64: 66B2F5369E7DDABF Time : 0.0 sec. user=mdettweiler [2015-08-02 12:08:42] 651*2^1405074-1 is not prime. Res64: CC15880E423FBD41 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:08:49] 747*2^1405074-1 is not prime. Res64: E038A9DBAF06A453 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:08:49] 825*2^1405074-1 is not prime. Res64: E2B01DC9C23A49AE Time : 0.0 sec. user=mdettweiler [2015-08-02 12:10:04] 893*2^1405074-1 is not prime. Res64: 6D6242165F0D74DD Time : 0.0 sec. user=mdettweiler [2015-08-02 12:10:04] 905*2^1405074-1 is not prime. Res64: CFB5FB14CD3BAF19 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:14:24] 927*2^1405074-1 is not prime. Res64: 5E38CD912BB26AD1 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:14:24] 945*2^1405074-1 is not prime. Res64: 7A28982561FA0BBF Time : 0.0 sec. user=mdettweiler [2015-08-02 12:26:27] 609*2^1405075-1 is not prime. Res64: 852136DA004B6387 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:26:27] 631*2^1405075-1 is not prime. Res64: 34BE6FD276F411D4 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:26:30] 733*2^1405075-1 is not prime. Res64: 8825BD02D921114D Time : 0.0 sec. user=mdettweiler [2015-08-02 12:26:30] 939*2^1405075-1 is not prime. Res64: 9DCB906DCE8CB841 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:27:45] 969*2^1405075-1 is not prime. Res64: 5B03D09DED237BF9 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:27:45] 633*2^1405076-1 is not prime. Res64: 377A27198E0E0347 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:32:10] 635*2^1405076-1 is not prime. Res64: BD205B690FFE6E03 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:32:10] 659*2^1405076-1 is not prime. Res64: F798471D2B3EBB6E Time : 0.0 sec. user=mdettweiler [2015-08-02 12:44:07] 689*2^1405076-1 is not prime. Res64: 40FF5673E5366BA4 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:44:08] 743*2^1405076-1 is not prime. Res64: 86DA8D4E0E0A6444 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:44:15] 785*2^1405076-1 is not prime. Res64: DA2A63A18128900F Time : 0.0 sec. user=mdettweiler [2015-08-02 12:44:16] 845*2^1405076-1 is not prime. Res64: 31335FD35B031768 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:45:30] 935*2^1405076-1 is not prime. Res64: 770FB407C49F21D1 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:45:30] 963*2^1405076-1 is not prime. Res64: 14109BB36D553871 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:49:58] 621*2^1405077-1 is not prime. Res64: 58A139EB6D63F3C5 Time : 0.0 sec. user=mdettweiler [2015-08-02 12:49:59] 669*2^1405077-1 is not prime. Res64: 985C962B41CEF7D4 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:01:53] 765*2^1405077-1 is not prime. Res64: 48AE8557F6A960DB Time : 0.0 sec. user=mdettweiler [2015-08-02 13:01:54] 781*2^1405077-1 is not prime. Res64: A738E5965B28A9B3 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:01:55] 835*2^1405077-1 is not prime. Res64: 33832D159132206F Time : 0.0 sec. user=mdettweiler [2015-08-02 13:01:56] 927*2^1405077-1 is not prime. Res64: C19BDB640067B5EE Time : 0.0 sec. user=mdettweiler [2015-08-02 13:03:11] 979*2^1405077-1 is not prime. Res64: 17130CC09A69376A Time : 0.0 sec. user=mdettweiler [2015-08-02 13:03:12] 991*2^1405077-1 is not prime. Res64: 031C1B832125EFDB Time : 0.0 sec. user=mdettweiler [2015-08-02 13:07:47] 681*2^1405078-1 is not prime. Res64: FF26E59C161CE9DC Time : 0.0 sec. user=mdettweiler [2015-08-02 13:07:47] 705*2^1405078-1 is not prime. Res64: 55E3FE42627CD333 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:20:11] 743*2^1405078-1 is not prime. Res64: D8D6A9F12FCF096E Time : 0.0 sec. user=mdettweiler [2015-08-02 13:20:11] 773*2^1405078-1 is not prime. Res64: E625E90082DA7C4D Time : 0.0 sec. user=mdettweiler [2015-08-02 13:20:18] 831*2^1405078-1 is not prime. Res64: 8A800D8744698F03 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:20:18] 867*2^1405078-1 is not prime. Res64: 0DBBB6846824B3DC Time : 0.0 sec. user=mdettweiler [2015-08-02 13:21:00] 881*2^1405078-1 is not prime. Res64: 14E92A4C5F9A06C7 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:21:00] 923*2^1405078-1 is not prime. Res64: 342103C8F7BE9C4A Time : 0.0 sec. user=mdettweiler [2015-08-02 13:25:25] 945*2^1405078-1 is not prime. Res64: D3CBC74052224E98 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:25:25] 645*2^1405079-1 is not prime. Res64: FBBB392A504D0D1C Time : 0.0 sec. user=mdettweiler [2015-08-02 13:37:52] 693*2^1405079-1 is not prime. Res64: BA1E6B714CEB1D41 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:37:52] 829*2^1405079-1 is not prime. Res64: 1DA2D30964B87F84 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:37:58] 843*2^1405079-1 is not prime. Res64: A0A0A8F1124216B0 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:37:59] 859*2^1405079-1 is not prime. Res64: 98BFEAD91C1F7E19 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:38:48] 883*2^1405079-1 is not prime. Res64: 62B5E74F8559229C Time : 0.0 sec. user=mdettweiler [2015-08-02 13:38:49] 635*2^1405080-1 is not prime. Res64: D9192F1572ADAD06 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:43:08] 693*2^1405080-1 is not prime. Res64: 81F6E913032D9352 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:43:09] 717*2^1405080-1 is not prime. Res64: 784FC4325AA3A60E Time : 0.0 sec. user=mdettweiler [2015-08-02 13:55:35] 777*2^1405080-1 is not prime. Res64: 99D9311EEED3F7A0 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:55:35] 945*2^1405080-1 is not prime. Res64: D8B73EEDE5C0646B Time : 0.0 sec. user=mdettweiler [2015-08-02 13:55:43] 959*2^1405080-1 is not prime. Res64: 6D6EFB7A145AC6D4 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:55:43] 983*2^1405080-1 is not prime. Res64: 8736DC4B80AFC045 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:56:38] 601*2^1405081-1 is not prime. Res64: 75AACE4B965E0AC6 Time : 0.0 sec. user=mdettweiler [2015-08-02 13:56:38] 625*2^1405081-1 is not prime. Res64: 97D6D7D76867D49D Time : 0.0 sec. user=mdettweiler [2015-08-02 14:00:57] 715*2^1405081-1 is not prime. Res64: 333AE5F2F023FB31 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:00:59] 747*2^1405081-1 is not prime. Res64: 1B770F74AE460059 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:13:14] 807*2^1405081-1 is not prime. Res64: A3AED8B7E2997786 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:13:14] 847*2^1405081-1 is not prime. Res64: 35CDE29AEC1EA44F Time : 0.0 sec. user=mdettweiler [2015-08-02 14:13:20] 957*2^1405081-1 is not prime. Res64: 66E1BD2822EE4A17 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:13:21] 635*2^1405082-1 is not prime. Res64: F2D6E922C304B3E6 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:14:26] 713*2^1405082-1 is not prime. Res64: 2ACEF1FF5ADA1C47 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:14:26] 743*2^1405082-1 is not prime. Res64: B473F9D8444226A8 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:18:50] 755*2^1405082-1 is not prime. Res64: AD8E469033BCD79D Time : 0.0 sec. user=mdettweiler [2015-08-02 14:18:50] 791*2^1405082-1 is not prime. Res64: B938F973ECADC9BD Time : 0.0 sec. user=mdettweiler [2015-08-02 14:30:56] 827*2^1405082-1 is not prime. Res64: A8CF4E17245D3BFD Time : 0.0 sec. user=mdettweiler [2015-08-02 14:30:57] 887*2^1405082-1 is not prime. Res64: 1A25BDC93A05FE34 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:31:03] 941*2^1405082-1 is not prime. Res64: 54B1EBC0E832DAF1 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:31:03] 615*2^1405083-1 is not prime. Res64: 41750AA674640BEF Time : 0.0 sec. user=mdettweiler [2015-08-02 14:32:12] 663*2^1405083-1 is not prime. Res64: 9A4627D55B80D4C2 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:32:12] 741*2^1405083-1 is not prime. Res64: FE6791C87227695E Time : 0.0 sec. user=mdettweiler [2015-08-02 14:36:25] 783*2^1405083-1 is not prime. Res64: 87CFC98CE089D263 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:36:26] 795*2^1405083-1 is not prime. Res64: CD8D5B4269797113 Time : 0.0 sec. user=S_K_ [2015-08-02 14:39:50] 797*2^1405082-1 is not prime. Res64: F8183AFEE265F267 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:48:51] 755*2^1405084-1 is not prime. Res64: B9A59054B1263E82 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:48:51] 759*2^1405084-1 is not prime. Res64: D4C7D1E94510A59F Time : 0.0 sec. user=mdettweiler [2015-08-02 14:48:54] 615*2^1405084-1 is not prime. Res64: FDCFAF09B7C02FF8 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:48:55] 665*2^1405084-1 is not prime. Res64: C1C034C0FC2AED94 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:50:01] 827*2^1405084-1 is not prime. Res64: EE33207ECBA3BA17 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:50:02] 873*2^1405084-1 is not prime. Res64: 94798DB2D38BE421 Time : 0.0 sec. user=mdettweiler [2015-08-02 14:54:16] 887*2^1405084-1 is not prime. Res64: 4BB9A9626DBCAE9D Time : 0.0 sec. user=mdettweiler [2015-08-02 14:54:16] 905*2^1405084-1 is not prime. Res64: 04DD808FE0523A6D Time : 0.0 sec. user=mdettweiler [2015-08-02 15:06:25] 729*2^1405085-1 is not prime. Res64: 78CC786FCD5FA006 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:06:26] 771*2^1405085-1 is not prime. Res64: 1079BD756861FF10 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:06:35] 825*2^1405085-1 is not prime. Res64: 5F35E892330BBCD6 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:06:35] 979*2^1405085-1 is not prime. Res64: 081C5E11D2EDD79A Time : 0.0 sec. user=mdettweiler [2015-08-02 15:07:41] 985*2^1405085-1 is not prime. Res64: E961246889C57C6C Time : 0.0 sec. user=mdettweiler [2015-08-02 15:07:41] 711*2^1405086-1 is not prime. Res64: 09BB402AA1D9A8F5 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:11:55] 713*2^1405086-1 is not prime. Res64: 7934271E6A3B7A86 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:11:55] 717*2^1405086-1 is not prime. Res64: 470A343A08B32AED Time : 0.0 sec. user=S_K_ [2015-08-02 15:14:36] 657*2^1405085-1 is not prime. Res64: B0B5ADBEEDF49FE6 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:24:00] 737*2^1405086-1 is not prime. Res64: 7C1CA1FCEB90379D Time : 0.0 sec. user=mdettweiler [2015-08-02 15:24:01] 741*2^1405086-1 is not prime. Res64: D1230B2072487954 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:24:06] 755*2^1405086-1 is not prime. Res64: 6F76A0AD0EEBE5DE Time : 0.0 sec. user=mdettweiler [2015-08-02 15:24:07] 765*2^1405086-1 is not prime. Res64: 325B59C7D69F012C Time : 0.0 sec. user=mdettweiler [2015-08-02 15:25:27] 767*2^1405086-1 is not prime. Res64: 7A1B267A1B1753CC Time : 0.0 sec. user=mdettweiler [2015-08-02 15:25:28] 851*2^1405086-1 is not prime. Res64: 02CE5C237A5AE99F Time : 0.0 sec. user=mdettweiler [2015-08-02 15:29:29] 881*2^1405086-1 is not prime. Res64: 3A6AF17723090C2F Time : 0.0 sec. user=mdettweiler [2015-08-02 15:29:30] 917*2^1405086-1 is not prime. Res64: D975C937F87571AA Time : 0.0 sec. user=mdettweiler [2015-08-02 15:41:44] 873*2^1405087-1 is not prime. Res64: E358F2C0BBF1F370 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:41:45] 883*2^1405087-1 is not prime. Res64: A47626A40E06CF04 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:41:54] 843*2^1405087-1 is not prime. Res64: CE4189422E924891 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:41:55] 859*2^1405087-1 is not prime. Res64: 5EDDA62E47C53EE0 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:43:05] 885*2^1405087-1 is not prime. Res64: 5822C5F5D5A6B3D0 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:43:06] 891*2^1405087-1 is not prime. Res64: 24F5F2B668878F5B Time : 0.0 sec. user=mdettweiler [2015-08-02 15:47:10] 925*2^1405087-1 is not prime. Res64: 333ECB9B90653530 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:47:10] 951*2^1405087-1 is not prime. Res64: 25FA0F7306E55EBD Time : 0.0 sec. user=S_K_ [2015-08-02 15:49:12] 603*2^1405087-1 is not prime. Res64: 58954975D79AEB6D Time : 0.0 sec. user=mdettweiler [2015-08-02 15:59:35] 993*2^1405087-1 is not prime. Res64: 4B74081771873510 Time : 0.0 sec. user=mdettweiler [2015-08-02 15:59:35] 999*2^1405087-1 is not prime. Res64: 8265A4D1BF0F4A1B Time : 0.0 sec. user=mdettweiler [2015-08-02 16:00:53] 645*2^1405088-1 is not prime. Res64: A8267F19E6E4EBE1 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:00:54] 819*2^1405088-1 is not prime. Res64: DC5D5666966ADFAB Time : 0.0 sec. user=mdettweiler [2015-08-02 16:04:56] 825*2^1405088-1 is not prime. Res64: 5FC8587A7BBEC529 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:04:57] 827*2^1405088-1 is not prime. Res64: 3986A0D5CF26C773 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:08:27] 899*2^1405088-1 is not prime. Res64: F9E6A8BB3BB4DDAA Time : 0.0 sec. user=mdettweiler [2015-08-02 16:08:28] 945*2^1405088-1 is not prime. Res64: C62598595926DB0E Time : 0.0 sec. user=mdettweiler [2015-08-02 16:17:11] 995*2^1405088-1 is not prime. Res64: ACAAE67C60CF3A2C Time : 0.0 sec. user=mdettweiler [2015-08-02 16:17:11] 747*2^1405089-1 is not prime. Res64: 8F7DD18A3991F105 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:18:25] 807*2^1405089-1 is not prime. Res64: 423DB9331D95E38E Time : 0.0 sec. user=mdettweiler [2015-08-02 16:18:25] 991*2^1405089-1 is not prime. Res64: 3EF3CB953AD36E51 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:22:24] 701*2^1405090-1 is not prime. Res64: D54DD3864E90B837 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:22:24] 861*2^1405090-1 is not prime. Res64: 7BFB0010CA445D85 Time : 0.0 sec. user=S_K_ [2015-08-02 16:23:55] 869*2^1405088-1 is not prime. Res64: FAE0F938011AC93B Time : 0.0 sec. user=mdettweiler [2015-08-02 16:25:54] 887*2^1405090-1 is not prime. Res64: 39652C97A519D7DE Time : 0.0 sec. user=mdettweiler [2015-08-02 16:25:54] 941*2^1405090-1 is not prime. Res64: D23F2CF19B50A205 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:34:45] 987*2^1405090-1 is not prime. Res64: 554EEF1E361AA380 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:34:45] 621*2^1405091-1 is not prime. Res64: 769F3288441B8FE1 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:35:57] 643*2^1405091-1 is not prime. Res64: 782615D427052308 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:35:57] 669*2^1405091-1 is not prime. Res64: 48CE3EFFA85E9D40 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:39:57] 829*2^1405091-1 is not prime. Res64: 82E069CFD6EA9A20 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:39:57] 885*2^1405091-1 is not prime. Res64: A3E3F71EE4C56380 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:43:23] 669*2^1405092-1 is not prime. Res64: 5785E456664E94DD Time : 0.0 sec. user=mdettweiler [2015-08-02 16:43:23] 719*2^1405092-1 is not prime. Res64: D87793C69748A327 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:52:15] 725*2^1405092-1 is not prime. Res64: EC593A4D8FB1036C Time : 0.0 sec. user=mdettweiler [2015-08-02 16:52:15] 753*2^1405092-1 is not prime. Res64: 8087D4BA0EEDE6B2 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:53:32] 779*2^1405092-1 is not prime. Res64: 482503C6A0994777 Time : 0.0 sec. user=mdettweiler [2015-08-02 16:53:33] 899*2^1405092-1 is not prime. Res64: 9E55C926A33FF53F Time : 0.0 sec. user=mdettweiler [2015-08-02 16:57:31] 909*2^1405092-1 is not prime. Res64: A48889EBC441065E Time : 0.0 sec. user=mdettweiler [2015-08-02 16:57:31] 715*2^1405093-1 is not prime. Res64: BD62C64DFB6AF223 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:00:52] 747*2^1405093-1 is not prime. Res64: E2BC547925A0182F Time : 0.0 sec. user=mdettweiler [2015-08-02 17:00:53] 757*2^1405093-1 is not prime. Res64: AD5E893E713C5042 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:10:02] 765*2^1405093-1 is not prime. Res64: 66D0F67EF02FC262 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:10:03] 801*2^1405093-1 is not prime. Res64: 36B986F3C3E130CF Time : 0.0 sec. user=mdettweiler [2015-08-02 17:11:13] 855*2^1405093-1 is not prime. Res64: 34BBC97E119D4374 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:11:13] 957*2^1405093-1 is not prime. Res64: 20A03E574740BE47 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:15:06] 979*2^1405093-1 is not prime. Res64: 5C054F404B3F78C6 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:15:06] 985*2^1405093-1 is not prime. Res64: 247CAE9E0EBD4BAC Time : 0.0 sec. user=mdettweiler [2015-08-02 17:18:32] 645*2^1405094-1 is not prime. Res64: 9742FAFCD6FE3177 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:18:32] 657*2^1405094-1 is not prime. Res64: FEF7F7EEB12C971B Time : 0.0 sec. user=mdettweiler [2015-08-02 17:27:48] 753*2^1405094-1 is not prime. Res64: AA1CE81C425D5A93 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:27:48] 785*2^1405094-1 is not prime. Res64: 91018E0216950AAA Time : 0.0 sec. user=mdettweiler [2015-08-02 17:28:59] 825*2^1405094-1 is not prime. Res64: 1B55E41B1832B5C8 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:28:59] 953*2^1405094-1 is not prime. Res64: C83127431F5B6B65 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:33:02] 693*2^1405095-1 is not prime. Res64: 92F01F1E46AC58D4 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:33:03] 705*2^1405095-1 is not prime. Res64: 80BD9E3790C6E300 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:36:06] 741*2^1405095-1 is not prime. Res64: 892E02A67691B183 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:36:06] 751*2^1405095-1 is not prime. Res64: 856A2E5E3DD2E62F Time : 0.0 sec. user=mdettweiler [2015-08-02 17:45:23] 885*2^1405095-1 is not prime. Res64: 3CFE4C121D7D85A0 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:45:23] 909*2^1405095-1 is not prime. Res64: D030B9B9AC1B7E63 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:46:38] 657*2^1405096-1 is not prime. Res64: EEFBE5DFF68E8DD8 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:46:38] 675*2^1405096-1 is not prime. Res64: BC63E4334445B931 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:50:40] 705*2^1405096-1 is not prime. Res64: 44D1DE2EEE372310 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:50:41] 747*2^1405096-1 is not prime. Res64: CD1694F41C9D7343 Time : 0.0 sec. user=mdettweiler [2015-08-02 17:53:39] 869*2^1405096-1 is not prime. Res64: 9CA99309D93A3E6C Time : 0.0 sec. user=mdettweiler [2015-08-02 17:53:39] 923*2^1405096-1 is not prime. Res64: 10BE0E8B7B92F432 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:02:54] 685*2^1405097-1 is not prime. Res64: 56379584A7AB657A Time : 0.0 sec. user=mdettweiler [2015-08-02 18:02:55] 727*2^1405097-1 is not prime. Res64: 13B8461341AF81DD Time : 0.0 sec. user=mdettweiler [2015-08-02 18:04:14] 759*2^1405097-1 is not prime. Res64: FD69CC772CB58C20 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:04:15] 867*2^1405097-1 is not prime. Res64: 379FEF9C3F29CE35 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:08:10] 939*2^1405097-1 is not prime. Res64: E0E73199793488D0 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:08:11] 621*2^1405098-1 is not prime. Res64: 262DC3465520236B Time : 0.0 sec. user=mdettweiler [2015-08-02 18:11:15] 815*2^1405098-1 is not prime. Res64: 9EA91FB41A2CEFAC Time : 0.0 sec. user=mdettweiler [2015-08-02 18:11:16] 843*2^1405098-1 is not prime. Res64: 04ED32D4CC581275 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:20:33] 867*2^1405098-1 is not prime. Res64: 4671DE93559BA7D0 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:20:34] 905*2^1405098-1 is not prime. Res64: F5776040F6E8E863 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:21:50] 915*2^1405098-1 is not prime. Res64: 58CF16572AD59924 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:21:50] 923*2^1405098-1 is not prime. Res64: 541E7DE97A19511D Time : 0.0 sec. user=mdettweiler [2015-08-02 18:25:48] 927*2^1405098-1 is not prime. Res64: A200AB1E474A9928 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:25:49] 993*2^1405098-1 is not prime. Res64: 56E02C4C845D875F Time : 0.0 sec. user=mdettweiler [2015-08-02 18:28:49] 681*2^1405099-1 is not prime. Res64: 29629763AA5B8786 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:28:50] 723*2^1405099-1 is not prime. Res64: 69BCB22800FAE848 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:38:05] 735*2^1405099-1 is not prime. Res64: 908181BAEF6E3112 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:38:05] 843*2^1405099-1 is not prime. Res64: AD5E55A41A89B55C Time : 0.0 sec. user=mdettweiler [2015-08-02 18:39:25] 855*2^1405099-1 is not prime. Res64: 259141C27A231F29 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:39:26] 753*2^1405100-1 is not prime. Res64: F0C070610BA6CB10 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:43:18] 767*2^1405100-1 is not prime. Res64: C2D352D19814DFF9 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:43:19] 777*2^1405100-1 is not prime. Res64: B00AA6F5B0DABC15 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:46:21] 833*2^1405100-1 is not prime. Res64: 6094C4338A6BCBD0 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:46:22] 609*2^1405101-1 is not prime. Res64: E5B47CCEEC14CF02 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:55:36] 625*2^1405101-1 is not prime. Res64: F17F9231C089D65D Time : 0.0 sec. user=mdettweiler [2015-08-02 18:55:36] 675*2^1405101-1 is not prime. Res64: 92C799A12136B737 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:56:56] 979*2^1405101-1 is not prime. Res64: 10A7DFDC16A52BD9 Time : 0.0 sec. user=mdettweiler [2015-08-02 18:56:56] 991*2^1405101-1 is not prime. Res64: BA9A8FBE7B7C3D24 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:00:47] 603*2^1405102-1 is not prime. Res64: FC6732134D53123A Time : 0.0 sec. user=mdettweiler [2015-08-02 19:00:47] 645*2^1405102-1 is not prime. Res64: A91DB77FFB1D8E07 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:03:52] 665*2^1405102-1 is not prime. Res64: F4028DE04C5B5515 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:03:53] 723*2^1405102-1 is not prime. Res64: 2012418C91699D6F Time : 0.0 sec. user=mdettweiler [2015-08-02 19:13:07] 855*2^1405102-1 is not prime. Res64: E27FBA0B086B16EF Time : 0.0 sec. user=mdettweiler [2015-08-02 19:13:07] 915*2^1405102-1 is not prime. Res64: 390CCA80BB1638EA Time : 0.0 sec. user=mdettweiler [2015-08-02 19:14:26] 923*2^1405102-1 is not prime. Res64: 3258177E9C512CA6 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:14:26] 983*2^1405102-1 is not prime. Res64: DB1049FD79E855E9 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:18:25] 679*2^1405103-1 is not prime. Res64: CECD77EF29ABE256 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:18:25] 741*2^1405103-1 is not prime. Res64: D2FF6DD6E6E1C523 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:21:31] 759*2^1405103-1 is not prime. Res64: CEB3BCF5AC4951F6 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:21:31] 831*2^1405103-1 is not prime. Res64: 69539CB7A6AC6FE6 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:30:51] 885*2^1405103-1 is not prime. Res64: E2962A709D3D9BEB Time : 0.0 sec. user=mdettweiler [2015-08-02 19:30:51] 955*2^1405103-1 is not prime. Res64: 1D1E6D9EC4DC2ACE Time : 0.0 sec. user=mdettweiler [2015-08-02 19:32:18] 981*2^1405103-1 is not prime. Res64: D45B6B7780CA86E0 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:32:18] 707*2^1405104-1 is not prime. Res64: 7417461C26B6DE2A Time : 0.0 sec. user=mdettweiler [2015-08-02 19:36:25] 765*2^1405104-1 is not prime. Res64: A08F514D2FE6D6E4 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:36:26] 789*2^1405104-1 is not prime. Res64: C79EB7F77717C303 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:39:12] 857*2^1405104-1 is not prime. Res64: F8C375E838B6FFBA Time : 0.0 sec. user=mdettweiler [2015-08-02 19:39:12] 873*2^1405104-1 is not prime. Res64: 1FA075C31364FF93 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:48:24] 945*2^1405104-1 is not prime. Res64: E74D3514D3022B02 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:48:25] 607*2^1405105-1 is not prime. Res64: 026058F471D5FBFC Time : 0.0 sec. user=mdettweiler [2015-08-02 19:49:51] 705*2^1405105-1 is not prime. Res64: 5336EB8AE37C05DB Time : 0.0 sec. user=mdettweiler [2015-08-02 19:49:52] 895*2^1405105-1 is not prime. Res64: 87D4AEA50DF8DC87 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:53:59] 979*2^1405105-1 is not prime. Res64: 02C1F74B971B7DE4 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:53:59] 755*2^1405106-1 is not prime. Res64: 69B8FBDD70D8F866 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:56:45] 857*2^1405106-1 is not prime. Res64: 58F6C877D9897191 Time : 0.0 sec. user=mdettweiler [2015-08-02 19:56:46] 971*2^1405106-1 is not prime. Res64: FFF4B4664B3E5ADB Time : 0.0 sec. user=mdettweiler [2015-08-02 20:06:05] 609*2^1405107-1 is not prime. Res64: 013C7EDF5002F211 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:06:06] 819*2^1405107-1 is not prime. Res64: 3FFBB210472DE2D9 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:07:34] 963*2^1405107-1 is not prime. Res64: AD44755F05F08711 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:07:34] 979*2^1405107-1 is not prime. Res64: CF53A3C6B71DC5C6 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:11:36] 677*2^1405108-1 is not prime. Res64: 4DE2B4FB340F8D46 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:11:37] 839*2^1405108-1 is not prime. Res64: B9C239616EA68877 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:14:21] 999*2^1405108-1 is not prime. Res64: 3B84CDAE2019A688 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:14:22] 615*2^1405109-1 is not prime. Res64: C56B9857E77A55D0 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:23:41] 621*2^1405109-1 is not prime. Res64: 296CCF270B0C775A Time : 0.0 sec. user=mdettweiler [2015-08-02 20:23:42] 655*2^1405109-1 is not prime. Res64: CB944F7F0AF82773 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:25:10] 685*2^1405109-1 is not prime. Res64: 01097170D3B274E4 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:25:11] 699*2^1405109-1 is not prime. Res64: 59A68572209841CB Time : 0.0 sec. user=mdettweiler [2015-08-02 20:29:10] 729*2^1405109-1 is not prime. Res64: BAA9F38B2D54C1C2 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:29:10] 741*2^1405109-1 is not prime. Res64: D6BA8E9394AB214D Time : 0.0 sec. user=mdettweiler [2015-08-02 20:31:55] 879*2^1405109-1 is not prime. Res64: 8D082E452D04B17C Time : 0.0 sec. user=mdettweiler [2015-08-02 20:31:55] 889*2^1405109-1 is not prime. Res64: EA6FC7B2E0297E68 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:41:10] 987*2^1405109-1 is not prime. Res64: 212361C34C0DF126 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:41:10] 627*2^1405110-1 is not prime. Res64: C13A461D44AF5B27 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:42:42] 665*2^1405110-1 is not prime. Res64: F024147762327420 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:42:43] 761*2^1405110-1 is not prime. Res64: 0B073A9E1515A682 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:46:38] 917*2^1405110-1 is not prime. Res64: B9BA981B97DB1386 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:46:38] 951*2^1405110-1 is not prime. Res64: 82FD2EA9576237F3 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:49:25] 741*2^1405111-1 is not prime. Res64: 07CFFB6706BEA8D7 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:49:25] 805*2^1405111-1 is not prime. Res64: 762009CBD6BFB8EB Time : 0.0 sec. user=mdettweiler [2015-08-02 20:58:43] 901*2^1405111-1 is not prime. Res64: 74CF5C79F7F982B3 Time : 0.0 sec. user=mdettweiler [2015-08-02 20:58:43] 973*2^1405111-1 is not prime. Res64: 7B65CF2B76CC6B25 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:00:12] 713*2^1405112-1 is not prime. Res64: EAD3887CB8B2D37D Time : 0.0 sec. user=mdettweiler [2015-08-02 21:00:13] 725*2^1405112-1 is not prime. Res64: 656EEE6ADAE9A589 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:04:07] 735*2^1405112-1 is not prime. Res64: CE06D488E4D52C5E Time : 0.0 sec. user=mdettweiler [2015-08-02 21:04:09] 609*2^1405113-1 is not prime. Res64: 4146B4626BB69DEC Time : 0.0 sec. user=mdettweiler [2015-08-02 21:06:59] 615*2^1405113-1 is not prime. Res64: 5F5BFE83720ED8B7 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:06:59] 675*2^1405113-1 is not prime. Res64: 2CC694072B69C23E Time : 0.0 sec. user=mdettweiler [2015-08-02 21:16:24] 617*2^1405114-1 is not prime. Res64: BAB142EDA2233122 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:16:24] 645*2^1405114-1 is not prime. Res64: DACFFC4670882DC7 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:17:54] 701*2^1405114-1 is not prime. Res64: 0F0222EDB2C6C919 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:17:54] 731*2^1405114-1 is not prime. Res64: EA0B96F5CFB0BCBF Time : 0.0 sec. user=mdettweiler [2015-08-02 21:22:00] 737*2^1405114-1 is not prime. Res64: EF844DAF6CAA4CEB Time : 0.0 sec. user=mdettweiler [2015-08-02 21:22:01] 747*2^1405114-1 is not prime. Res64: D912D96115CC780D Time : 0.0 sec. user=mdettweiler [2015-08-02 21:25:10] 765*2^1405114-1 is not prime. Res64: 1068DFE45FDFFD2D Time : 0.0 sec. user=mdettweiler [2015-08-02 21:25:10] 887*2^1405114-1 is not prime. Res64: EA6F78F371B6BE12 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:34:43] 945*2^1405114-1 is not prime. Res64: D627737C78CF634E Time : 0.0 sec. user=mdettweiler [2015-08-02 21:34:43] 993*2^1405114-1 is not prime. Res64: 7576F50FB9E7FDC4 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:36:20] 771*2^1405115-1 is not prime. Res64: 22183C2C2E644BA9 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:36:20] 799*2^1405115-1 is not prime. Res64: CDA41400657D338E Time : 0.0 sec. user=mdettweiler [2015-08-02 21:40:25] 825*2^1405115-1 is not prime. Res64: 06D1DA31283B7E64 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:40:25] 921*2^1405115-1 is not prime. Res64: 27882DC0EC67CEB3 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:43:35] 629*2^1405116-1 is not prime. Res64: A074250A826F91D4 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:43:35] 653*2^1405116-1 is not prime. Res64: EC6E340BC1D5B4DC Time : 0.0 sec. user=mdettweiler [2015-08-02 21:53:16] 669*2^1405116-1 is not prime. Res64: 73092D5B11E2B6F9 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:53:16] 719*2^1405116-1 is not prime. Res64: D89693ED3465E270 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:54:59] 735*2^1405116-1 is not prime. Res64: C5155281A7063F84 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:54:59] 825*2^1405116-1 is not prime. Res64: 2996484374867026 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:59:00] 845*2^1405116-1 is not prime. Res64: E9BF732F022C54C4 Time : 0.0 sec. user=mdettweiler [2015-08-02 21:59:01] 867*2^1405116-1 is not prime. Res64: B46933E79EA92784 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:02:20] 903*2^1405116-1 is not prime. Res64: 649B9520B6ECFD9C Time : 0.0 sec. user=mdettweiler [2015-08-02 22:02:22] 957*2^1405116-1 is not prime. Res64: E811E874D5D77E7E Time : 0.0 sec. user=mdettweiler [2015-08-02 22:11:25] 691*2^1405117-1 is not prime. Res64: 9AFF13B0BB03586C Time : 0.0 sec. user=mdettweiler [2015-08-02 22:11:26] 831*2^1405117-1 is not prime. Res64: 40DCE651394E1C23 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:13:02] 889*2^1405117-1 is not prime. Res64: 273868E27339A509 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:13:02] 901*2^1405117-1 is not prime. Res64: B326869CC3D9B18B Time : 0.0 sec. user=mdettweiler [2015-08-02 22:17:01] 663*2^1405118-1 is not prime. Res64: A8B357680DD21A2B Time : 0.0 sec. user=mdettweiler [2015-08-02 22:17:02] 683*2^1405118-1 is not prime. Res64: 52481D65DC93E0A6 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:20:15] 693*2^1405118-1 is not prime. Res64: 7B07764B52EC9B74 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:20:16] 747*2^1405118-1 is not prime. Res64: 4275199251C5F285 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:29:00] 825*2^1405118-1 is not prime. Res64: ED4F77AB008198DF Time : 0.0 sec. user=mdettweiler [2015-08-02 22:29:00] 927*2^1405118-1 is not prime. Res64: 4E3788BB1BD2C6A0 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:30:36] 613*2^1405119-1 is not prime. Res64: 3C851B9346F218F5 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:30:36] 621*2^1405119-1 is not prime. Res64: 768951CD311E6385 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:34:38] 661*2^1405119-1 is not prime. Res64: 7486705178D5D87B Time : 0.0 sec. user=mdettweiler [2015-08-02 22:34:39] 663*2^1405119-1 is not prime. Res64: B878F5A36C35D6A3 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:37:50] 723*2^1405119-1 is not prime. Res64: 2E6F8641C5EB47A1 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:37:50] 741*2^1405119-1 is not prime. Res64: F2FE3A1C766C60A9 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:46:34] 775*2^1405119-1 is not prime. Res64: 21B627F82C94113F Time : 0.0 sec. user=mdettweiler [2015-08-02 22:46:34] 859*2^1405119-1 is not prime. Res64: D187841B271717BB Time : 0.0 sec. user=mdettweiler [2015-08-02 22:48:15] 891*2^1405119-1 is not prime. Res64: C21CF23123652819 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:48:15] 615*2^1405120-1 is not prime. Res64: A0D4B24C7EA1B20B Time : 0.0 sec. user=mdettweiler [2015-08-02 22:52:33] 743*2^1405120-1 is not prime. Res64: 6D3D4843DE6ED857 Time : 0.0 sec. user=mdettweiler [2015-08-02 22:52:33] 759*2^1405120-1 is not prime. Res64: D5432FC6260A277E Time : 0.0 sec. user=mdettweiler [2015-08-02 22:55:44] 839*2^1405120-1 is not prime. Res64: E4831742ACE92E4A Time : 0.0 sec. user=mdettweiler [2015-08-02 22:55:44] 845*2^1405120-1 is not prime. Res64: 746C384849203AF0 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:04:33] 929*2^1405120-1 is not prime. Res64: 0CADD2CADAC2F8E3 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:04:34] 705*2^1405121-1 is not prime. Res64: 33BB1E9085813A56 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:06:29] 717*2^1405121-1 is not prime. Res64: 64101F9AF815AAFE Time : 0.0 sec. user=mdettweiler [2015-08-02 23:06:29] 789*2^1405121-1 is not prime. Res64: 0AFAD72430709CFE Time : 0.0 sec. user=mdettweiler [2015-08-02 23:10:48] 867*2^1405121-1 is not prime. Res64: E26A4F8AFB6BD58B Time : 0.0 sec. user=mdettweiler [2015-08-02 23:10:48] 967*2^1405121-1 is not prime. Res64: E1A2E5591CE8F92A Time : 0.0 sec. user=mdettweiler [2015-08-02 23:13:57] 683*2^1405122-1 is not prime. Res64: 250D1F935930FC83 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:13:57] 705*2^1405122-1 is not prime. Res64: B009C9FF2A8587E3 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:23:20] 723*2^1405122-1 is not prime. Res64: AE436F182C573D2E Time : 0.0 sec. user=mdettweiler [2015-08-02 23:23:21] 765*2^1405122-1 is not prime. Res64: CC6217D494F03475 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:24:54] 767*2^1405122-1 is not prime. Res64: 6444010601B80BCC Time : 0.0 sec. user=mdettweiler [2015-08-02 23:24:55] 801*2^1405122-1 is not prime. Res64: 1417CFDD9D563EC2 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:29:10] 915*2^1405122-1 is not prime. Res64: 35AA18DC4DEB1A12 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:29:11] 609*2^1405123-1 is not prime. Res64: 188381A8B4106761 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:32:09] 633*2^1405123-1 is not prime. Res64: 58B858A9CA333CBB Time : 0.0 sec. user=mdettweiler [2015-08-02 23:32:10] 849*2^1405123-1 is not prime. Res64: 0434EDE7548DF0F7 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:41:15] 853*2^1405123-1 is not prime. Res64: 1C5EC31C959C676B Time : 0.0 sec. user=mdettweiler [2015-08-02 23:41:15] 943*2^1405123-1 is not prime. Res64: 7A8533365091091D Time : 0.0 sec. user=mdettweiler [2015-08-02 23:43:03] 675*2^1405124-1 is not prime. Res64: 85F773E1441F8FAA Time : 0.0 sec. user=mdettweiler [2015-08-02 23:43:03] 743*2^1405124-1 is not prime. Res64: 080FA55B5ADE7B03 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:47:43] 803*2^1405124-1 is not prime. Res64: ED4AE42033EB74E2 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:47:44] 909*2^1405124-1 is not prime. Res64: 28E024A8346AB09F Time : 0.0 sec. user=mdettweiler [2015-08-02 23:50:39] 935*2^1405124-1 is not prime. Res64: ECDBB1C4E5CE7912 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:50:39] 957*2^1405124-1 is not prime. Res64: C8E56947B10941C7 Time : 0.0 sec. user=mdettweiler [2015-08-02 23:59:48] 679*2^1405125-1 is not prime. Res64: 18BCF572DD9DBF6D Time : 0.0 sec. user=mdettweiler [2015-08-02 23:59:48] 623*2^1405126-1 is not prime. Res64: 50345F2C804339E6 Time : 0.0 sec.