user=mdettweiler [2015-02-04 00:18:30] 879*2^1390277-1 is not prime. Res64: 7B37FC118702EEAF Time : 0.0 sec. user=mdettweiler [2015-02-04 00:18:30] 949*2^1390277-1 is not prime. Res64: 8B918D0642AEFC07 Time : 0.0 sec. user=mdettweiler [2015-02-04 00:18:37] 777*2^1390277-1 is not prime. Res64: CF65BFE26A12BBCF Time : 0.0 sec. user=mdettweiler [2015-02-04 00:18:37] 819*2^1390277-1 is not prime. Res64: B25877A2F156C12C Time : 0.0 sec. user=mdettweiler [2015-02-04 00:19:45] 797*2^1390278-1 is not prime. Res64: 3588C6E0160D20A6 Time : 0.0 sec. user=mdettweiler [2015-02-04 00:19:45] 801*2^1390278-1 is not prime. Res64: E2501D723CD00864 Time : 0.0 sec. user=mdettweiler [2015-02-04 00:21:19] 815*2^1390278-1 is not prime. Res64: 8FE475A7156CF107 Time : 0.0 sec. user=mdettweiler [2015-02-04 00:21:20] 927*2^1390278-1 is not prime. Res64: BEF65F0D2FFDDB66 Time : 0.0 sec. user=juhehe [2015-02-04 00:22:20] 699*2^1390277-1 is not prime. Res64: 6CBF417914F7C252 Time : 0.0 sec. user=mdettweiler [2015-02-04 00:44:59] 993*2^1390278-1 is not prime. Res64: 6325EBA5E7D1AE16 Time : 0.0 sec. user=mdettweiler [2015-02-04 00:44:59] 609*2^1390279-1 is not prime. Res64: FD35C5AA3CB56A82 Time : 0.0 sec. user=mdettweiler [2015-02-04 00:45:23] 679*2^1390279-1 is not prime. Res64: 3A1B50217E423312 Time : 0.0 sec. user=mdettweiler [2015-02-04 00:45:24] 759*2^1390279-1 is not prime. Res64: 46A7FE3E78F494B1 Time : 0.0 sec. user=mdettweiler [2015-02-04 00:46:11] 841*2^1390279-1 is not prime. Res64: 73B6EBC47C404818 Time : 0.0 sec. user=mdettweiler [2015-02-04 00:46:11] 939*2^1390279-1 is not prime. Res64: ECF9B53D8FC8A8EE Time : 0.0 sec. user=mdettweiler [2015-02-04 00:47:52] 663*2^1390280-1 is not prime. Res64: 02B928DEB2AAF58B Time : 0.0 sec. user=mdettweiler [2015-02-04 00:47:52] 713*2^1390280-1 is not prime. Res64: 76AB0922059ACA75 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:12:21] 735*2^1390280-1 is not prime. Res64: A58395A1132DB57B Time : 0.0 sec. user=mdettweiler [2015-02-04 01:12:22] 797*2^1390280-1 is not prime. Res64: EA5F1D7573B95D66 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:12:59] 893*2^1390280-1 is not prime. Res64: E4BBE9E85ADC4809 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:13:00] 927*2^1390280-1 is not prime. Res64: 7CF12AACB9AD227F Time : 0.0 sec. user=mdettweiler [2015-02-04 01:13:37] 977*2^1390280-1 is not prime. Res64: FC9627CB8CD205FF Time : 0.0 sec. user=mdettweiler [2015-02-04 01:13:38] 983*2^1390280-1 is not prime. Res64: DE99DA41D5792D21 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:15:22] 999*2^1390280-1 is not prime. Res64: 9CF7CBC638049852 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:15:23] 609*2^1390281-1 is not prime. Res64: B9BDF28A601CB378 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:38:58] 625*2^1390281-1 is not prime. Res64: C298810ABAF5B1A6 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:38:58] 685*2^1390281-1 is not prime. Res64: AF03E770C20514B3 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:39:20] 781*2^1390281-1 is not prime. Res64: 65900725A8112406 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:39:20] 795*2^1390281-1 is not prime. Res64: 4E9BFED5294308B2 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:39:58] 889*2^1390281-1 is not prime. Res64: C05153CED97A752F Time : 0.0 sec. user=mdettweiler [2015-02-04 01:39:58] 969*2^1390281-1 is not prime. Res64: 9FBFDC118443FEE0 Time : 0.0 sec. user=mdettweiler [2015-02-04 01:41:37] 999*2^1390281-1 is not prime. Res64: 678D8F8C97059C7F Time : 0.0 sec. user=mdettweiler [2015-02-04 01:41:37] 603*2^1390282-1 is not prime. Res64: 603517970A19EE03 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:06:39] 681*2^1390282-1 is not prime. Res64: 37D4B0A1B05FDBEA Time : 0.0 sec. user=mdettweiler [2015-02-04 02:06:39] 695*2^1390282-1 is not prime. Res64: A9ACC6C86ED37B7C Time : 0.0 sec. user=mdettweiler [2015-02-04 02:07:06] 623*2^1390282-1 is not prime. Res64: 6934EFA2AE48AA68 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:07:06] 645*2^1390282-1 is not prime. Res64: FC7430F8EEE0EC18 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:08:02] 747*2^1390282-1 is not prime. Res64: 6376E00AE42D63BA Time : 0.0 sec. user=mdettweiler [2015-02-04 02:08:03] 803*2^1390282-1 is not prime. Res64: 20DE3BD9D6E8AF1F Time : 0.0 sec. user=mdettweiler [2015-02-04 02:09:47] 915*2^1390282-1 is not prime. Res64: A7343969C233D056 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:09:48] 941*2^1390282-1 is not prime. Res64: F23D669E4E7BA0A2 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:32:58] 951*2^1390282-1 is not prime. Res64: C2967627545F2916 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:32:59] 957*2^1390282-1 is not prime. Res64: EB1995ABD3F4ABF1 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:33:28] 621*2^1390283-1 is not prime. Res64: 89F99CB1ED630FBA Time : 0.0 sec. user=mdettweiler [2015-02-04 02:33:29] 715*2^1390283-1 is not prime. Res64: 0B259420CE359FE6 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:34:16] 775*2^1390283-1 is not prime. Res64: DCCF4415E4EF17C1 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:34:17] 801*2^1390283-1 is not prime. Res64: 45732F58CDE1555A Time : 0.0 sec. user=mdettweiler [2015-02-04 02:35:52] 879*2^1390283-1 is not prime. Res64: 03D602612F96741B Time : 0.0 sec. user=mdettweiler [2015-02-04 02:35:52] 963*2^1390283-1 is not prime. Res64: 40B37C1A9EF12473 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:59:32] 707*2^1390284-1 is not prime. Res64: 0D5D7EA3258DEF6C Time : 0.0 sec. user=mdettweiler [2015-02-04 02:59:32] 753*2^1390284-1 is not prime. Res64: 13A66CB0B0C237D7 Time : 0.0 sec. user=mdettweiler [2015-02-04 02:59:33] 985*2^1390283-1 is not prime. Res64: 5C0425105708739F Time : 0.0 sec. user=mdettweiler [2015-02-04 02:59:34] 635*2^1390284-1 is not prime. Res64: 1E49A7E3A436C572 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:00:36] 857*2^1390284-1 is not prime. Res64: 153BD73197A415E2 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:00:37] 679*2^1390285-1 is not prime. Res64: 1F1457F7EEF12CE6 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:02:32] 867*2^1390285-1 is not prime. Res64: 2CF0C59B4C014EA9 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:02:33] 895*2^1390285-1 is not prime. Res64: CDD88041A3DE6552 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:26:02] 937*2^1390285-1 is not prime. Res64: 7B86CACD0EB75275 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:26:03] 955*2^1390285-1 is not prime. Res64: E956CD7396DC6CC7 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:26:20] 623*2^1390286-1 is not prime. Res64: 958E458C9E92C19E Time : 0.0 sec. user=mdettweiler [2015-02-04 03:26:21] 711*2^1390286-1 is not prime. Res64: B72C7437C668D368 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:27:01] 773*2^1390286-1 is not prime. Res64: C210741D112AAEBA Time : 0.0 sec. user=mdettweiler [2015-02-04 03:27:03] 813*2^1390286-1 is not prime. Res64: 58876A4628560661 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:29:13] 815*2^1390286-1 is not prime. Res64: 3681974ECF5EE7C4 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:29:15] 935*2^1390286-1 is not prime. Res64: AD9FBB036DF330DD Time : 0.0 sec. user=mdettweiler [2015-02-04 03:52:17] 941*2^1390286-1 is not prime. Res64: 40BCD92D529E2B6E Time : 0.0 sec. user=mdettweiler [2015-02-04 03:52:17] 1001*2^1390286-1 is not prime. Res64: D14CA80C84DA0ACA Time : 0.0 sec. user=mdettweiler [2015-02-04 03:52:29] 661*2^1390287-1 is not prime. Res64: 642273540FF05E56 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:52:29] 685*2^1390287-1 is not prime. Res64: BC36993412E9E60B Time : 0.0 sec. user=mdettweiler [2015-02-04 03:53:12] 709*2^1390287-1 is not prime. Res64: 9839372731EB440A Time : 0.0 sec. user=mdettweiler [2015-02-04 03:53:13] 769*2^1390287-1 is not prime. Res64: 487AC637CF64E6AE Time : 0.0 sec. user=mdettweiler [2015-02-04 03:55:19] 985*2^1390287-1 is not prime. Res64: B9D326CF6F511DC0 Time : 0.0 sec. user=mdettweiler [2015-02-04 03:55:19] 665*2^1390288-1 is not prime. Res64: 9C3684FA79D7CCBE Time : 0.0 sec. user=mdettweiler [2015-02-04 04:18:15] 755*2^1390288-1 is not prime. Res64: D4A3642B747F758A Time : 0.0 sec. user=mdettweiler [2015-02-04 04:18:15] 797*2^1390288-1 is not prime. Res64: 60673C9A16530F90 Time : 0.0 sec. user=mdettweiler [2015-02-04 04:18:25] 827*2^1390288-1 is not prime. Res64: E981A9E2BEFD4770 Time : 0.0 sec. user=mdettweiler [2015-02-04 04:18:25] 849*2^1390288-1 is not prime. Res64: A63E6CD51CF56FE5 Time : 0.0 sec. user=mdettweiler [2015-02-04 04:19:14] 909*2^1390288-1 is not prime. Res64: 59A70B48C2A9DB59 Time : 0.0 sec. user=mdettweiler [2015-02-04 04:19:14] 999*2^1390288-1 is not prime. Res64: F485C0EA321BC6F0 Time : 0.0 sec. user=mdettweiler [2015-02-04 04:21:20] 615*2^1390289-1 is not prime. Res64: 0C3867A076C02D6A Time : 0.0 sec. user=mdettweiler [2015-02-04 04:21:21] 645*2^1390289-1 is not prime. Res64: 611F09A2F314C361 Time : 0.0 sec. user=mdettweiler [2015-02-04 04:44:19] 711*2^1390289-1 is not prime. Res64: B0FDD5A2AEBC732A Time : 0.0 sec. user=mdettweiler [2015-02-04 04:44:19] 787*2^1390289-1 is not prime. Res64: DBF974C8C2710B73 Time : 0.0 sec. user=mdettweiler [2015-02-04 04:44:20] 789*2^1390289-1 is not prime. Res64: 86A768447581EDBE Time : 0.0 sec. user=mdettweiler [2015-02-04 04:44:20] 795*2^1390289-1 is not prime. Res64: 60CB171CB1313DD5 Time : 0.0 sec. user=mdettweiler [2015-02-04 04:45:12] 847*2^1390289-1 is not prime. Res64: D848042AF5E82441 Time : 0.0 sec. user=mdettweiler [2015-02-04 04:45:12] 897*2^1390289-1 is not prime. Res64: 872BADACB95A2351 Time : 0.0 sec. user=mdettweiler [2015-02-04 04:47:14] 633*2^1390290-1 is not prime. Res64: 2398805600A3070A Time : 0.0 sec. user=mdettweiler [2015-02-04 04:47:15] 651*2^1390290-1 is not prime. Res64: 057DC454C0DF60CA Time : 0.0 sec. user=mdettweiler [2015-02-04 05:10:13] 797*2^1390290-1 is not prime. Res64: F256BEF39EA3F1BC Time : 0.0 sec. user=mdettweiler [2015-02-04 05:10:13] 801*2^1390290-1 is not prime. Res64: 88A5CB936BDE3181 Time : 0.0 sec. user=mdettweiler [2015-02-04 05:10:22] 619*2^1390291-1 is not prime. Res64: AB9D4D8E5B972A55 Time : 0.0 sec. user=mdettweiler [2015-02-04 05:10:22] 639*2^1390291-1 is not prime. Res64: 1CA3A9752A2C3881 Time : 0.0 sec. user=mdettweiler [2015-02-04 05:11:03] 735*2^1390291-1 is not prime. Res64: 2B6F9C4C5D16DBF7 Time : 0.0 sec. user=mdettweiler [2015-02-04 05:11:04] 883*2^1390291-1 is not prime. Res64: 277D17E59E57F96A Time : 0.0 sec. user=mdettweiler [2015-02-04 05:13:03] 925*2^1390291-1 is not prime. Res64: F92BB56E17EABA53 Time : 0.0 sec. user=mdettweiler [2015-02-04 05:13:03] 939*2^1390291-1 is not prime. Res64: 443F273F192A1FD0 Time : 0.0 sec. user=mdettweiler [2015-02-04 05:36:10] 615*2^1390292-1 is not prime. Res64: 68EF18A6FBE9D194 Time : 0.0 sec. user=mdettweiler [2015-02-04 05:36:10] 635*2^1390292-1 is not prime. Res64: 1D8DEBCD6CB47600 Time : 0.0 sec. user=mdettweiler [2015-02-04 05:36:20] 785*2^1390292-1 is not prime. Res64: E6FF469B4844E789 Time : 0.0 sec. user=mdettweiler [2015-02-04 05:36:20] 621*2^1390293-1 is not prime. Res64: E34CA70D9B12E937 Time : 0.0 sec. user=mdettweiler [2015-02-04 05:36:58] 625*2^1390293-1 is not prime. Res64: 3AAADC53B0B7079B Time : 0.0 sec. user=mdettweiler [2015-02-04 05:36:58] 765*2^1390293-1 is not prime. Res64: 662B569BB4348F7E Time : 0.0 sec. user=mdettweiler [2015-02-04 05:38:53] 781*2^1390293-1 is not prime. Res64: ECEA49ACAFFDB0AB Time : 0.0 sec. user=mdettweiler [2015-02-04 05:38:54] 805*2^1390293-1 is not prime. Res64: 7397E2D5A81C7B6B Time : 0.0 sec. user=mdettweiler [2015-02-04 06:02:08] 819*2^1390293-1 is not prime. Res64: D1C2DDDBF0E45EB1 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:02:08] 847*2^1390293-1 is not prime. Res64: 0AA47BD71E6C0102 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:02:13] 919*2^1390293-1 is not prime. Res64: 1F3999F001FC4E54 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:02:14] 937*2^1390293-1 is not prime. Res64: 66B1988B8BD90CAE Time : 0.0 sec. user=mdettweiler [2015-02-04 06:02:56] 991*2^1390293-1 is not prime. Res64: 9E87D80288E62187 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:02:58] 705*2^1390294-1 is not prime. Res64: 61BEB57E28CB4B0A Time : 0.0 sec. user=mdettweiler [2015-02-04 06:04:54] 655*2^1390295-1 is not prime. Res64: 49C7D6B7269256B7 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:04:55] 721*2^1390295-1 is not prime. Res64: 005D9D33DB319B5D Time : 0.0 sec. user=mdettweiler [2015-02-04 06:28:15] 913*2^1390295-1 is not prime. Res64: D3BCA90840607E02 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:28:15] 921*2^1390295-1 is not prime. Res64: 46631A84912E89F5 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:28:16] 735*2^1390295-1 is not prime. Res64: 11135F057DF8EAAB Time : 0.0 sec. user=mdettweiler [2015-02-04 06:28:16] 771*2^1390295-1 is not prime. Res64: B5825DFEDC14CEB2 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:28:55] 627*2^1390296-1 is not prime. Res64: 5CEDFBFB8D42A81F Time : 0.0 sec. user=mdettweiler [2015-02-04 06:28:55] 693*2^1390296-1 is not prime. Res64: BAC5935621C77CB9 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:30:51] 705*2^1390296-1 is not prime. Res64: 79CC6E072F3AAFAD Time : 0.0 sec. user=mdettweiler [2015-02-04 06:30:52] 707*2^1390296-1 is not prime. Res64: BEFFDEC704E4540E Time : 0.0 sec. user=mdettweiler [2015-02-04 06:54:08] 765*2^1390296-1 is not prime. Res64: 0E8CC75E663C8EA6 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:54:09] 601*2^1390297-1 is not prime. Res64: AE8DF263AEAAF923 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:54:31] 747*2^1390297-1 is not prime. Res64: 535316938AF83954 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:54:31] 861*2^1390297-1 is not prime. Res64: 01609920B2DB520A Time : 0.0 sec. user=mdettweiler [2015-02-04 06:54:48] 871*2^1390297-1 is not prime. Res64: DEFF15AB61B9CBF2 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:54:48] 657*2^1390298-1 is not prime. Res64: 9FD4E284CF9E2EF0 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:56:43] 665*2^1390298-1 is not prime. Res64: BDC54A04C3861515 Time : 0.0 sec. user=mdettweiler [2015-02-04 06:56:43] 705*2^1390298-1 is not prime. Res64: CDEB81996DC8A656 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:20:07] 735*2^1390298-1 is not prime. Res64: FB5A288D3F441954 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:20:07] 827*2^1390298-1 is not prime. Res64: 74EAB48B4FD3F0E8 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:20:46] 893*2^1390298-1 is not prime. Res64: C2C02A66CB4420A7 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:20:46] 921*2^1390298-1 is not prime. Res64: 27AF06BE25663CC0 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:20:57] 775*2^1390299-1 is not prime. Res64: 7DC6B63675792615 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:20:58] 793*2^1390299-1 is not prime. Res64: FF7B63740AEDED72 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:22:41] 795*2^1390299-1 is not prime. Res64: 4DD1D2DE95C22522 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:22:41] 879*2^1390299-1 is not prime. Res64: 18169007089DE1A4 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:46:03] 921*2^1390299-1 is not prime. Res64: 282DA8E9226359CA Time : 0.0 sec. user=mdettweiler [2015-02-04 07:46:03] 931*2^1390299-1 is not prime. Res64: B916B3726388305E Time : 0.0 sec. user=mdettweiler [2015-02-04 07:46:45] 985*2^1390299-1 is not prime. Res64: 961E5B8056FBF6EB Time : 0.0 sec. user=mdettweiler [2015-02-04 07:46:45] 635*2^1390300-1 is not prime. Res64: BDBF24B646C8A713 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:46:52] 647*2^1390300-1 is not prime. Res64: 0F2115A71E2B0692 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:46:52] 693*2^1390300-1 is not prime. Res64: 568D2AEFEB3EF765 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:48:35] 723*2^1390300-1 is not prime. Res64: 77ECCBCBC401D241 Time : 0.0 sec. user=mdettweiler [2015-02-04 07:48:35] 827*2^1390300-1 is not prime. Res64: D14C8609CACA1259 Time : 0.0 sec. user=mdettweiler [2015-02-04 08:12:07] 843*2^1390300-1 is not prime. Res64: 41351DD02D75ED8B Time : 0.0 sec. user=mdettweiler [2015-02-04 08:12:07] 855*2^1390300-1 is not prime. Res64: E5A624C63719DDFF Time : 0.0 sec. user=mdettweiler [2015-02-04 08:12:32] 923*2^1390300-1 is not prime. Res64: F2EB1575A2BBF201 Time : 0.0 sec. user=mdettweiler [2015-02-04 08:12:33] 927*2^1390300-1 is not prime. Res64: 005F794FCCD05848 Time : 0.0 sec. user=mdettweiler [2015-02-04 08:13:01] 929*2^1390300-1 is not prime. Res64: 88D1C83879430A75 Time : 0.0 sec. user=mdettweiler [2015-02-04 08:13:01] 987*2^1390300-1 is not prime. Res64: EDCEE1D7156E28C1 Time : 0.0 sec. user=mdettweiler [2015-02-04 08:14:36] 711*2^1390301-1 is not prime. Res64: 719E53CCB091A538 Time : 0.0 sec. user=mdettweiler [2015-02-04 08:14:36] 745*2^1390301-1 is not prime. Res64: 1BEA5B566DBC48B2 Time : 0.0 sec. user=mdettweiler [2015-02-04 08:38:02] 757*2^1390301-1 is not prime. Res64: 360506EE691DBF9A Time : 0.0 sec. user=mdettweiler [2015-02-04 08:38:02] 789*2^1390301-1 is not prime. Res64: FC29B51ED26B671B Time : 0.0 sec. user=mdettweiler [2015-02-04 08:38:39] 837*2^1390301-1 is not prime. Res64: 1F5E388013F9B9C7 Time : 0.0 sec. user=mdettweiler [2015-02-04 08:38:39] 889*2^1390301-1 is not prime. Res64: 9ADFD4C852D9E63A Time : 0.0 sec. user=mdettweiler [2015-02-04 08:38:54] 981*2^1390301-1 is not prime. Res64: 2957BC873448730C Time : 0.0 sec. user=mdettweiler [2015-02-04 08:38:54] 991*2^1390301-1 is not prime. Res64: F1BCD36810547E05 Time : 0.0 sec. user=mdettweiler [2015-02-04 08:40:36] 651*2^1390302-1 is not prime. Res64: E7AB4AE514542CA0 Time : 0.0 sec. user=mdettweiler [2015-02-04 08:40:37] 681*2^1390302-1 is not prime. Res64: 4D74BCD20530395D Time : 0.0 sec. user=mdettweiler [2015-02-04 09:04:04] 711*2^1390302-1 is not prime. Res64: 3557706325422835 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:04:05] 713*2^1390302-1 is not prime. Res64: 918AE6E6BC9CD2BB Time : 0.0 sec. user=mdettweiler [2015-02-04 09:04:38] 767*2^1390302-1 is not prime. Res64: 2310AF77D02F456E Time : 0.0 sec. user=mdettweiler [2015-02-04 09:04:39] 903*2^1390302-1 is not prime. Res64: 6303576F0EBB29B9 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:04:53] 941*2^1390302-1 is not prime. Res64: 24857974DB737184 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:04:54] 983*2^1390302-1 is not prime. Res64: 442F38E34D6C72CF Time : 0.0 sec. user=mdettweiler [2015-02-04 09:06:38] 649*2^1390303-1 is not prime. Res64: 694EFC39DDFAAA83 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:06:39] 681*2^1390303-1 is not prime. Res64: F06EE302377BA135 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:30:09] 703*2^1390303-1 is not prime. Res64: 835BE72629E69460 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:30:10] 729*2^1390303-1 is not prime. Res64: 6861221F0DDA2BFC Time : 0.0 sec. user=mdettweiler [2015-02-04 09:30:45] 763*2^1390303-1 is not prime. Res64: 650CFD32284E5AEE Time : 0.0 sec. user=mdettweiler [2015-02-04 09:30:46] 793*2^1390303-1 is not prime. Res64: 18D4D0D8334F25E3 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:30:57] 805*2^1390303-1 is not prime. Res64: 11DBEC86F00A7075 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:30:57] 919*2^1390303-1 is not prime. Res64: FCB307D3FA96F666 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:32:45] 945*2^1390303-1 is not prime. Res64: 20C75A8ADA21B008 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:32:46] 951*2^1390303-1 is not prime. Res64: 20E3B700EC024C33 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:56:10] 635*2^1390304-1 is not prime. Res64: DEC8EF89B0146B5E Time : 0.0 sec. user=mdettweiler [2015-02-04 09:56:10] 747*2^1390304-1 is not prime. Res64: 864B8FFFF163649F Time : 0.0 sec. user=mdettweiler [2015-02-04 09:56:52] 755*2^1390304-1 is not prime. Res64: 58CD0F6299B9EFD5 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:56:52] 929*2^1390304-1 is not prime. Res64: ADDF1DA29D35724C Time : 0.0 sec. user=mdettweiler [2015-02-04 09:57:02] 959*2^1390304-1 is not prime. Res64: 61467CA6C8A9DCF7 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:57:02] 609*2^1390305-1 is not prime. Res64: 6E8DE2337B4D2E61 Time : 0.0 sec. user=mdettweiler [2015-02-04 09:58:46] 651*2^1390305-1 is not prime. Res64: 94361B1ED578A46D Time : 0.0 sec. user=mdettweiler [2015-02-04 09:58:47] 871*2^1390305-1 is not prime. Res64: 7891400BB0A733FE Time : 0.0 sec. user=mdettweiler [2015-02-04 10:22:11] 603*2^1390306-1 is not prime. Res64: 032894AF84A07228 Time : 0.0 sec. user=mdettweiler [2015-02-04 10:22:11] 713*2^1390306-1 is not prime. Res64: 1816116442757AD7 Time : 0.0 sec. user=mdettweiler [2015-02-04 10:22:58] 735*2^1390306-1 is not prime. Res64: BA8BD9C9D741E4D6 Time : 0.0 sec. user=mdettweiler [2015-02-04 10:22:58] 783*2^1390306-1 is not prime. Res64: EC2E5DC518E9468A Time : 0.0 sec. user=mdettweiler [2015-02-04 10:23:03] 933*2^1390306-1 is not prime. Res64: 870241B12CEC3868 Time : 0.0 sec. user=mdettweiler [2015-02-04 10:23:03] 609*2^1390307-1 is not prime. Res64: 5398584F6CFFE511 Time : 0.0 sec. user=mdettweiler [2015-02-04 10:24:55] 675*2^1390307-1 is not prime. Res64: BA722AD2107F0CCA Time : 0.0 sec. user=mdettweiler [2015-02-04 10:24:55] 733*2^1390307-1 is not prime. Res64: 9C75B4BF353F3905 Time : 0.0 sec. user=mdettweiler [2015-02-04 10:48:15] 949*2^1390307-1 is not prime. Res64: 0EBD54F5C267F428 Time : 0.0 sec. user=mdettweiler [2015-02-04 10:48:15] 979*2^1390307-1 is not prime. Res64: 9A0F588546950684 Time : 0.0 sec. user=mdettweiler [2015-02-04 10:48:59] 629*2^1390308-1 is not prime. Res64: 60A084CD9CF8B7AE Time : 0.0 sec. user=mdettweiler [2015-02-04 10:48:59] 737*2^1390308-1 is not prime. Res64: 34AE9DA30780E22A Time : 0.0 sec. user=mdettweiler [2015-02-04 10:49:06] 837*2^1390308-1 is not prime. Res64: 737AF05B75576C3A Time : 0.0 sec. user=mdettweiler [2015-02-04 10:49:06] 621*2^1390309-1 is not prime. Res64: BBAD69CA1C19BEA1 Time : 0.0 sec. user=mdettweiler [2015-02-04 10:51:01] 729*2^1390309-1 is not prime. Res64: 61D360D4A78C50FC Time : 0.0 sec. user=mdettweiler [2015-02-04 10:51:01] 765*2^1390309-1 is not prime. Res64: 6CDB25899110E257 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:14:36] 769*2^1390309-1 is not prime. Res64: 55058AC559A4B9E9 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:14:36] 855*2^1390309-1 is not prime. Res64: 8F05BB054DDF4B1D Time : 0.0 sec. user=mdettweiler [2015-02-04 11:15:43] 877*2^1390309-1 is not prime. Res64: 6F6B4215289C8539 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:15:43] 919*2^1390309-1 is not prime. Res64: 1A78B3899ACCB314 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:15:45] 957*2^1390309-1 is not prime. Res64: E63E451EFC0CCA71 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:15:45] 645*2^1390310-1 is not prime. Res64: 509AD77858CA846B Time : 0.0 sec. user=mdettweiler [2015-02-04 11:17:36] 657*2^1390310-1 is not prime. Res64: F2B7EC5125CDFD06 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:17:36] 753*2^1390310-1 is not prime. Res64: 648C830C5635B0C4 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:42:51] 797*2^1390310-1 is not prime. Res64: 3D14079CCB5DEAC3 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:42:52] 833*2^1390310-1 is not prime. Res64: 734A05E3ED940E27 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:44:05] 953*2^1390310-1 is not prime. Res64: 662236C36D43F58A Time : 0.0 sec. user=mdettweiler [2015-02-04 11:44:05] 651*2^1390311-1 is not prime. Res64: EF0A5EB2CD058F32 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:44:23] 923*2^1390310-1 is not prime. Res64: B771BD4959569066 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:44:23] 935*2^1390310-1 is not prime. Res64: 0A2BA0D2A06A02AA Time : 0.0 sec. user=mdettweiler [2015-02-04 11:46:08] 709*2^1390311-1 is not prime. Res64: E9BC96E685FFF982 Time : 0.0 sec. user=mdettweiler [2015-02-04 11:46:08] 741*2^1390311-1 is not prime. Res64: FBF1BB27469265BC Time : 0.0 sec. user=mdettweiler [2015-02-04 12:10:27] 829*2^1390311-1 is not prime. Res64: 44A5DAD3B25938B5 Time : 0.0 sec. user=mdettweiler [2015-02-04 12:10:27] 861*2^1390311-1 is not prime. Res64: A5E73F67D3EC74B3 Time : 0.0 sec. user=mdettweiler [2015-02-04 12:11:47] 865*2^1390311-1 is not prime. Res64: 76610BBB36D174FF Time : 0.0 sec. user=mdettweiler [2015-02-04 12:11:47] 943*2^1390311-1 is not prime. Res64: 4549E95B92B93C71 Time : 0.0 sec. user=mdettweiler [2015-02-04 12:11:55] 951*2^1390311-1 is not prime. Res64: DE66B4536332EB8B Time : 0.0 sec. user=mdettweiler [2015-02-04 12:11:55] 975*2^1390311-1 is not prime. Res64: 6FBEBED2E24AB0BA Time : 0.0 sec. user=mdettweiler [2015-02-04 12:13:22] 609*2^1390312-1 is not prime. Res64: CF339A69D8032F14 Time : 0.0 sec. user=mdettweiler [2015-02-04 12:13:22] 629*2^1390312-1 is not prime. Res64: 1A5AB482ACA88FEA Time : 0.0 sec. user=mdettweiler [2015-02-04 12:36:41] 705*2^1390312-1 is not prime. Res64: 1707B048BA1E6E8D Time : 0.0 sec. user=mdettweiler [2015-02-04 12:36:41] 719*2^1390312-1 is not prime. Res64: BDF6670BF30C1B22 Time : 0.0 sec. user=mdettweiler [2015-02-04 12:37:59] 957*2^1390312-1 is not prime. Res64: 5C8897B93D3B70DE Time : 0.0 sec. user=mdettweiler [2015-02-04 12:37:59] 649*2^1390313-1 is not prime. Res64: 8A83608903E79527 Time : 0.0 sec. user=mdettweiler [2015-02-04 12:38:06] 669*2^1390313-1 is not prime. Res64: 2FDFE785666852BB Time : 0.0 sec. user=mdettweiler [2015-02-04 12:38:06] 685*2^1390313-1 is not prime. Res64: D701F096755EA84D Time : 0.0 sec. user=mdettweiler [2015-02-04 12:39:33] 729*2^1390313-1 is not prime. Res64: E9CE8E44308D704A Time : 0.0 sec. user=mdettweiler [2015-02-04 12:39:34] 663*2^1390314-1 is not prime. Res64: FF9FD927D9DE2962 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:03:02] 683*2^1390314-1 is not prime. Res64: A41AD10801A1C34F Time : 0.0 sec. user=mdettweiler [2015-02-04 13:03:03] 707*2^1390314-1 is not prime. Res64: 7E4E2DBA0DD89136 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:04:15] 723*2^1390314-1 is not prime. Res64: 5AC1F4923837D430 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:04:16] 887*2^1390314-1 is not prime. Res64: ECB1FC8F8B973253 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:04:20] 631*2^1390315-1 is not prime. Res64: 688BB261D91C18AC Time : 0.0 sec. user=mdettweiler [2015-02-04 13:04:21] 645*2^1390315-1 is not prime. Res64: 7E36E0291B70431A Time : 0.0 sec. user=mdettweiler [2015-02-04 13:05:45] 675*2^1390315-1 is not prime. Res64: AEDC4CD642005776 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:05:45] 771*2^1390315-1 is not prime. Res64: 5D9D0D787816409B Time : 0.0 sec. user=juhehe [2015-02-04 13:25:33] 895*2^1390315-1 is not prime. Res64: 66296D2605E5D9B2 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:30:23] 919*2^1390315-1 is not prime. Res64: CFA3FCAFB29363E6 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:30:23] 615*2^1390316-1 is not prime. Res64: 8C2230A946341C00 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:31:36] 825*2^1390316-1 is not prime. Res64: 10586D7644A4C313 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:31:36] 699*2^1390317-1 is not prime. Res64: 85C84E3B1D45C6F3 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:31:46] 623*2^1390316-1 is not prime. Res64: 11EF01C8B1438F9E Time : 0.0 sec. user=mdettweiler [2015-02-04 13:31:46] 813*2^1390316-1 is not prime. Res64: 130C0C4470DD40B1 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:32:56] 741*2^1390317-1 is not prime. Res64: 346B39F5DE07FE55 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:32:56] 765*2^1390317-1 is not prime. Res64: 4A463B644ED9E907 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:58:29] 687*2^1390318-1 is not prime. Res64: F52CFD6FAB70FE5A Time : 0.0 sec. user=mdettweiler [2015-02-04 13:58:29] 801*2^1390318-1 is not prime. Res64: 7872C3EE5759D2BB Time : 0.0 sec. user=mdettweiler [2015-02-04 13:59:19] 885*2^1390318-1 is not prime. Res64: 21A91B9B93D8F084 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:59:19] 971*2^1390318-1 is not prime. Res64: A8F0AC3588506088 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:59:35] 745*2^1390319-1 is not prime. Res64: FE3B026832FED057 Time : 0.0 sec. user=mdettweiler [2015-02-04 13:59:36] 825*2^1390319-1 is not prime. Res64: 78A46AE81B29B3F1 Time : 0.0 sec. user=mdettweiler [2015-02-04 14:01:13] 841*2^1390319-1 is not prime. Res64: DF990F0224680C51 Time : 0.0 sec. user=mdettweiler [2015-02-04 14:01:13] 693*2^1390320-1 is not prime. Res64: 02DC885F84AA525E Time : 0.0 sec. user=mdettweiler [2015-02-04 14:31:40] 779*2^1390320-1 is not prime. Res64: 3421A85E63F6A31A Time : 0.0 sec. user=mdettweiler [2015-02-04 14:31:41] 899*2^1390320-1 is not prime. Res64: 80EE7910EBA1E648 Time : 0.0 sec. user=mdettweiler [2015-02-04 14:32:11] 929*2^1390320-1 is not prime. Res64: DBB2CF80583FA386 Time : 0.0 sec. user=mdettweiler [2015-02-04 14:32:12] 975*2^1390320-1 is not prime. Res64: A01DD29251D3C4B0 Time : 0.0 sec. user=mdettweiler [2015-02-04 14:33:24] 983*2^1390320-1 is not prime. Res64: 720CD7D4E29EAE44 Time : 0.0 sec. user=mdettweiler [2015-02-04 14:33:24] 609*2^1390321-1 is not prime. Res64: 28BBF7EA0B51CCD2 Time : 0.0 sec. user=mdettweiler [2015-02-04 14:35:49] 651*2^1390321-1 is not prime. Res64: 8561D40F711E4F1D Time : 0.0 sec. user=mdettweiler [2015-02-04 14:35:50] 807*2^1390321-1 is not prime. Res64: 3B806A2A67A6CAE5 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:04:20] 819*2^1390321-1 is not prime. Res64: 285CD54350935A40 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:04:21] 871*2^1390321-1 is not prime. Res64: F70F5F6BDD670108 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:04:36] 945*2^1390321-1 is not prime. Res64: 0A25E2B400BAD37E Time : 0.0 sec. user=mdettweiler [2015-02-04 15:04:37] 603*2^1390322-1 is not prime. Res64: 8C85116B2151C5F2 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:05:24] 665*2^1390322-1 is not prime. Res64: E8FA528330DE2561 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:05:24] 701*2^1390322-1 is not prime. Res64: C46CA323ECD47443 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:07:07] 755*2^1390322-1 is not prime. Res64: FA3AA7B3A57E8807 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:07:07] 875*2^1390322-1 is not prime. Res64: C97919DAFEFA95F6 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:31:28] 921*2^1390322-1 is not prime. Res64: 84718400F55F7AD2 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:31:29] 923*2^1390322-1 is not prime. Res64: 227FB4ABC0AD52F7 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:31:31] 983*2^1390322-1 is not prime. Res64: 493E91BC801FBB82 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:31:31] 995*2^1390322-1 is not prime. Res64: 643E7B28A0B5B0BE Time : 0.0 sec. user=mdettweiler [2015-02-04 15:32:08] 685*2^1390323-1 is not prime. Res64: AE8CB640C7B15E30 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:32:08] 871*2^1390323-1 is not prime. Res64: 66DF5F1CF2297EB5 Time : 0.0 sec. user=mdettweiler [2015-02-04 15:33:49] 895*2^1390323-1 is not prime. Res64: AB4609166272CEBF Time : 0.0 sec. user=mdettweiler [2015-02-04 15:33:49] 901*2^1390323-1 is not prime. Res64: CFAB5B54E9A8D9F7 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:01:15] 961*2^1390323-1 is not prime. Res64: E3597742666C685B Time : 0.0 sec. user=mdettweiler [2015-02-04 16:01:17] 963*2^1390323-1 is not prime. Res64: 0D5FC36539B588B3 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:01:24] 609*2^1390324-1 is not prime. Res64: 3FB30049F786A1A8 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:01:25] 677*2^1390324-1 is not prime. Res64: 10742847A801325C Time : 0.0 sec. user=mdettweiler [2015-02-04 16:01:54] 857*2^1390324-1 is not prime. Res64: 46542659DEF93DBE Time : 0.0 sec. user=mdettweiler [2015-02-04 16:01:55] 669*2^1390325-1 is not prime. Res64: 358EFB80FA9F493B Time : 0.0 sec. user=mdettweiler [2015-02-04 16:03:55] 771*2^1390325-1 is not prime. Res64: F67B14BA1427A3BB Time : 0.0 sec. user=mdettweiler [2015-02-04 16:03:56] 871*2^1390325-1 is not prime. Res64: 5FDBFE4C0038F37F Time : 0.0 sec. user=mdettweiler [2015-02-04 16:29:36] 925*2^1390325-1 is not prime. Res64: 1F39D67439124877 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:29:37] 985*2^1390325-1 is not prime. Res64: 635B40A14E664F53 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:29:41] 987*2^1390325-1 is not prime. Res64: 11813F4F234B3D74 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:29:42] 717*2^1390326-1 is not prime. Res64: 0C2052AA0ACB59D0 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:30:01] 737*2^1390326-1 is not prime. Res64: EA9BBC1D247C09B9 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:30:02] 777*2^1390326-1 is not prime. Res64: 6F557A800128DBF3 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:31:40] 783*2^1390326-1 is not prime. Res64: CA34B2A74A6DCBBC Time : 0.0 sec. user=mdettweiler [2015-02-04 16:31:41] 795*2^1390326-1 is not prime. Res64: 80FDA9576B74C07A Time : 0.0 sec. user=mdettweiler [2015-02-04 16:56:20] 993*2^1390326-1 is not prime. Res64: 7356F670C5184391 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:56:20] 601*2^1390327-1 is not prime. Res64: 933DE234AC5980C0 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:56:31] 873*2^1390326-1 is not prime. Res64: 648F9E46D9E280C7 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:56:31] 945*2^1390326-1 is not prime. Res64: 225C40E9690CFD96 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:56:49] 735*2^1390327-1 is not prime. Res64: 75CBD9B19B2811FE Time : 0.0 sec. user=mdettweiler [2015-02-04 16:56:49] 765*2^1390327-1 is not prime. Res64: 2B629C7143AADDD3 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:58:26] 873*2^1390327-1 is not prime. Res64: 06B15B8D3742D245 Time : 0.0 sec. user=mdettweiler [2015-02-04 16:58:26] 901*2^1390327-1 is not prime. Res64: B3D56B954CA370EA Time : 0.0 sec. user=mdettweiler [2015-02-04 17:24:23] 665*2^1390328-1 is not prime. Res64: FCEAD80F637582D1 Time : 0.0 sec. user=mdettweiler [2015-02-04 17:24:23] 993*2^1390327-1 is not prime. Res64: 8DC036142C9E790A Time : 0.0 sec. user=mdettweiler [2015-02-04 17:24:23] 713*2^1390328-1 is not prime. Res64: 71F30FBAD3776BB1 Time : 0.0 sec. user=mdettweiler [2015-02-04 17:24:23] 623*2^1390328-1 is not prime. Res64: E09A746F695B58DA Time : 0.0 sec. user=mdettweiler [2015-02-04 17:25:06] 735*2^1390328-1 is not prime. Res64: 93C170EEEFADACF1 Time : 0.0 sec. user=mdettweiler [2015-02-04 17:25:06] 743*2^1390328-1 is not prime. Res64: 19AA4AB5FD36B46E Time : 0.0 sec. user=mdettweiler [2015-02-04 17:26:34] 845*2^1390328-1 is not prime. Res64: 3BCFC2CDDD5EA126 Time : 0.0 sec. user=mdettweiler [2015-02-04 17:26:34] 879*2^1390328-1 is not prime. Res64: 5DAABB42AA72FFA2 Time : 0.0 sec. user=mdettweiler [2015-02-04 17:52:38] 963*2^1390328-1 is not prime. Res64: F864A941F8A6F7AD Time : 0.0 sec. user=mdettweiler [2015-02-04 17:52:39] 625*2^1390329-1 is not prime. Res64: 757B1F7DD3740D89 Time : 0.0 sec. user=mdettweiler [2015-02-04 17:52:54] 661*2^1390329-1 is not prime. Res64: B913CD3801DE62A1 Time : 0.0 sec. user=mdettweiler [2015-02-04 17:52:54] 669*2^1390329-1 is not prime. Res64: 166EDF23933A0C7A Time : 0.0 sec. user=mdettweiler [2015-02-04 17:53:26] 741*2^1390329-1 is not prime. Res64: 4577D99E631BE2EF Time : 0.0 sec. user=mdettweiler [2015-02-04 17:53:26] 751*2^1390329-1 is not prime. Res64: F5ADCA85552E9290 Time : 0.0 sec. user=mdettweiler [2015-02-04 17:54:42] 789*2^1390329-1 is not prime. Res64: 576627B2018A0D8F Time : 0.0 sec. user=mdettweiler [2015-02-04 17:54:42] 829*2^1390329-1 is not prime. Res64: 69E63F269FB141ED Time : 0.0 sec. user=mdettweiler [2015-02-04 18:19:47] 997*2^1390329-1 is not prime. Res64: 5C0BCD266303F132 Time : 0.0 sec. user=mdettweiler [2015-02-04 18:19:48] 735*2^1390330-1 is not prime. Res64: 23FA5634B181058B Time : 0.0 sec. user=mdettweiler [2015-02-04 18:19:55] 741*2^1390330-1 is not prime. Res64: EEF0B0D246461E06 Time : 0.0 sec. user=mdettweiler [2015-02-04 18:19:56] 755*2^1390330-1 is not prime. Res64: E861B516A0D4AEF1 Time : 0.0 sec. user=mdettweiler [2015-02-04 18:20:59] 831*2^1390330-1 is not prime. Res64: BB8D9EB283D8A1D2 Time : 0.0 sec. user=mdettweiler [2015-02-04 18:20:59] 643*2^1390331-1 is not prime. Res64: EDD22F2175626D30 Time : 0.0 sec. user=mdettweiler [2015-02-04 18:22:07] 753*2^1390331-1 is not prime. Res64: 0F9F3EA0A384A657 Time : 0.0 sec. user=mdettweiler [2015-02-04 18:22:08] 825*2^1390331-1 is not prime. Res64: 79F33A65C477698B Time : 0.0 sec. user=mdettweiler [2015-02-04 18:58:07] 669*2^1390332-1 is not prime. Res64: 9AC5CD857486CC4E Time : 0.0 sec. user=mdettweiler [2015-02-04 18:58:07] 689*2^1390332-1 is not prime. Res64: FF934345C2A8105D Time : 0.0 sec. user=mdettweiler [2015-02-04 18:59:10] 863*2^1390332-1 is not prime. Res64: A0A150901570F268 Time : 0.0 sec. user=mdettweiler [2015-02-04 18:59:11] 909*2^1390332-1 is not prime. Res64: 9D6EF370527D861D Time : 0.0 sec. user=mdettweiler [2015-02-04 18:59:32] 855*2^1390331-1 is not prime. Res64: AF4D5183ACECB0E0 Time : 0.0 sec. user=mdettweiler [2015-02-04 18:59:32] 647*2^1390332-1 is not prime. Res64: 4C03DE4621949BCC Time : 0.0 sec. user=mdettweiler [2015-02-04 19:00:23] 693*2^1390332-1 is not prime. Res64: 8081BA4FABE653CB Time : 0.0 sec. user=mdettweiler [2015-02-04 19:00:23] 825*2^1390332-1 is not prime. Res64: 7F68FA4D36C9D37D Time : 0.0 sec. user=mdettweiler [2015-02-04 19:24:38] 933*2^1390332-1 is not prime. Res64: EBB5CA582D07103B Time : 0.0 sec. user=mdettweiler [2015-02-04 19:24:38] 607*2^1390333-1 is not prime. Res64: 93DD3535C9C9AEA2 Time : 0.0 sec. user=mdettweiler [2015-02-04 19:25:37] 609*2^1390333-1 is not prime. Res64: 6FA99D24B97544DC Time : 0.0 sec. user=mdettweiler [2015-02-04 19:25:37] 615*2^1390333-1 is not prime. Res64: D6507DEA479C60F0 Time : 0.0 sec. user=mdettweiler [2015-02-04 19:26:08] 699*2^1390333-1 is not prime. Res64: 8C01D69E4AECC185 Time : 0.0 sec. user=mdettweiler [2015-02-04 19:26:08] 771*2^1390333-1 is not prime. Res64: 1DE6313DD6D94E1A Time : 0.0 sec. user=mdettweiler [2015-02-04 19:27:04] 855*2^1390333-1 is not prime. Res64: 9B7CCD195F814EF5 Time : 0.0 sec. user=mdettweiler [2015-02-04 19:27:04] 895*2^1390333-1 is not prime. Res64: 213F208856CDF32D Time : 0.0 sec. user=mdettweiler [2015-02-04 19:51:02] 753*2^1390334-1 is not prime. Res64: 551677024CBF270E Time : 0.0 sec. user=mdettweiler [2015-02-04 19:51:02] 861*2^1390334-1 is not prime. Res64: 012F5C5D36B0C23C Time : 0.0 sec. user=mdettweiler [2015-02-04 19:51:54] 917*2^1390334-1 is not prime. Res64: EDF7457FC47183F9 Time : 0.0 sec. user=mdettweiler [2015-02-04 19:51:54] 945*2^1390334-1 is not prime. Res64: 9D4FC0F23B90E22A Time : 0.0 sec. user=mdettweiler [2015-02-04 19:52:31] 859*2^1390335-1 is not prime. Res64: 9AA7D4AE3B06BB94 Time : 0.0 sec. user=mdettweiler [2015-02-04 19:52:32] 871*2^1390335-1 is not prime. Res64: 49EC7CD190910A7D Time : 0.0 sec. user=mdettweiler [2015-02-04 19:53:27] 913*2^1390335-1 is not prime. Res64: E24872F24AB3027D Time : 0.0 sec. user=mdettweiler [2015-02-04 19:53:28] 645*2^1390336-1 is not prime. Res64: B0062FCBD524A592 Time : 0.0 sec. user=mdettweiler [2015-02-04 20:17:23] 825*2^1390336-1 is not prime. Res64: F1957981AE3FDE7D Time : 0.0 sec. user=mdettweiler [2015-02-04 20:17:24] 875*2^1390336-1 is not prime. Res64: 706B700D37BF8188 Time : 0.0 sec. user=mdettweiler [2015-02-04 20:18:19] 927*2^1390336-1 is not prime. Res64: 8AA54AB1D90E26E4 Time : 0.0 sec. user=mdettweiler [2015-02-04 20:18:19] 983*2^1390336-1 is not prime. Res64: 5E8C10DFC3556F72 Time : 0.0 sec. user=mdettweiler [2015-02-04 20:18:45] 747*2^1390337-1 is not prime. Res64: 85CD4FB7CD3403B7 Time : 0.0 sec. user=mdettweiler [2015-02-04 20:18:45] 759*2^1390337-1 is not prime. Res64: E05A5863CEE9A36B Time : 0.0 sec. user=mdettweiler [2015-02-04 20:19:47] 769*2^1390337-1 is not prime. Res64: A4A6C29AF2361859 Time : 0.0 sec. user=mdettweiler [2015-02-04 20:19:48] 801*2^1390337-1 is not prime. Res64: 72A6D77E40F6A051 Time : 0.0 sec. user=mdettweiler [2015-02-04 20:43:58] 837*2^1390337-1 is not prime. Res64: B28A39075968882F Time : 0.0 sec. user=mdettweiler [2015-02-04 20:43:59] 955*2^1390337-1 is not prime. Res64: B3FBE623EB4F6120 Time : 0.0 sec. user=mdettweiler [2015-02-04 20:44:30] 681*2^1390338-1 is not prime. Res64: E659E658112C52D9 Time : 0.0 sec. user=mdettweiler [2015-02-04 20:44:31] 695*2^1390338-1 is not prime. Res64: 5D3587202B458CA8 Time : 0.0 sec. user=mdettweiler [2015-02-04 20:45:14] 755*2^1390338-1 is not prime. Res64: 34E3F7334D1A5D1E Time : 0.0 sec. user=mdettweiler [2015-02-04 20:45:14] 803*2^1390338-1 is not prime. Res64: FC778F5C66518F0F Time : 0.0 sec. user=mdettweiler [2015-02-04 20:46:26] 915*2^1390338-1 is not prime. Res64: 45C4EDBBB7CE054B Time : 0.0 sec. user=mdettweiler [2015-02-04 20:46:26] 957*2^1390338-1 is not prime. Res64: 47A053096469C056 Time : 0.0 sec. user=mdettweiler [2015-02-04 21:11:06] 625*2^1390339-1 is not prime. Res64: 0C19218DF1B1EE6D Time : 0.0 sec. user=mdettweiler [2015-02-04 21:11:06] 631*2^1390339-1 is not prime. Res64: 1CC3728776B793ED Time : 0.0 sec. user=mdettweiler [2015-02-04 21:11:41] 759*2^1390339-1 is not prime. Res64: 8B12C2FEAE8B8FF8 Time : 0.0 sec. user=mdettweiler [2015-02-04 21:11:41] 853*2^1390339-1 is not prime. Res64: 1304D3224D38AC48 Time : 0.0 sec. user=mdettweiler [2015-02-04 21:12:35] 859*2^1390339-1 is not prime. Res64: 6F1BFF2F3EC158FD Time : 0.0 sec. user=mdettweiler [2015-02-04 21:12:36] 931*2^1390339-1 is not prime. Res64: 23388E4B4444F442 Time : 0.0 sec. user=mdettweiler [2015-02-04 21:13:49] 647*2^1390340-1 is not prime. Res64: D5F80649A5F1DB5C Time : 0.0 sec. user=mdettweiler [2015-02-04 21:13:49] 687*2^1390340-1 is not prime. Res64: CC139D8D0EEAB7BE Time : 0.0 sec. user=mdettweiler [2015-02-04 21:39:01] 719*2^1390340-1 is not prime. Res64: 81A4E0D6A02B2BCD Time : 0.0 sec. user=mdettweiler [2015-02-04 21:39:02] 935*2^1390340-1 is not prime. Res64: 0F82EA1A10F7C68A Time : 0.0 sec. user=mdettweiler [2015-02-04 21:39:09] 953*2^1390340-1 is not prime. Res64: E1BA12C29548ABE8 Time : 0.0 sec. user=mdettweiler [2015-02-04 21:39:09] 669*2^1390341-1 is not prime. Res64: 8C736E1563D5BDF4 Time : 0.0 sec. user=mdettweiler [2015-02-04 21:40:29] 745*2^1390341-1 is not prime. Res64: 0DCA47EDEA4447CC Time : 0.0 sec. user=mdettweiler [2015-02-04 21:40:30] 751*2^1390341-1 is not prime. Res64: 1393467A80744E5A Time : 0.0 sec. user=mdettweiler [2015-02-04 21:41:39] 849*2^1390341-1 is not prime. Res64: 35F58D0AE219F462 Time : 0.0 sec. user=mdettweiler [2015-02-04 21:41:40] 895*2^1390341-1 is not prime. Res64: E39408737E37FEB9 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:06:28] 951*2^1390341-1 is not prime. Res64: 70F8B3B1E17D2523 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:06:28] 997*2^1390341-1 is not prime. Res64: 952C1C4AB726FC84 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:06:34] 611*2^1390342-1 is not prime. Res64: A09BC1D0F9F0D8F3 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:06:34] 681*2^1390342-1 is not prime. Res64: DAB40C3C752DDC03 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:07:48] 761*2^1390342-1 is not prime. Res64: 9D38F57510482EC2 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:07:49] 765*2^1390342-1 is not prime. Res64: C4C8167BF2E3A669 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:08:58] 825*2^1390342-1 is not prime. Res64: 85DE97A53430985D Time : 0.0 sec. user=mdettweiler [2015-02-04 22:08:58] 833*2^1390342-1 is not prime. Res64: 7110C48A74F118C0 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:33:41] 965*2^1390342-1 is not prime. Res64: 78749BDF3443B4C1 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:33:41] 825*2^1390343-1 is not prime. Res64: 4FC178E8A48D0592 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:34:02] 859*2^1390343-1 is not prime. Res64: 6338F02B1D309B3A Time : 0.0 sec. user=mdettweiler [2015-02-04 22:34:03] 605*2^1390344-1 is not prime. Res64: 3C10B942EE58256F Time : 0.0 sec. user=mdettweiler [2015-02-04 22:35:21] 693*2^1390344-1 is not prime. Res64: BABCD9AFCD73F543 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:35:21] 737*2^1390344-1 is not prime. Res64: 5551EF2896B7C4C6 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:36:05] 893*2^1390344-1 is not prime. Res64: B09794A548977A83 Time : 0.0 sec. user=mdettweiler [2015-02-04 22:36:05] 927*2^1390344-1 is not prime. Res64: 4AC87DCE77C75717 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:01:09] 975*2^1390344-1 is not prime. Res64: 41D3D6C9CF718824 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:01:10] 625*2^1390345-1 is not prime. Res64: DE43BA4E217CDCFF Time : 0.0 sec. user=mdettweiler [2015-02-04 23:01:26] 649*2^1390345-1 is not prime. Res64: 9F7878D862EE6422 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:01:27] 651*2^1390345-1 is not prime. Res64: 395EA56945DFBDE9 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:02:49] 667*2^1390345-1 is not prime. Res64: DD609EFBF507B0D1 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:02:51] 717*2^1390345-1 is not prime. Res64: A6909F682C8930E4 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:03:35] 751*2^1390345-1 is not prime. Res64: 285798A20F0B0BD8 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:03:37] 759*2^1390345-1 is not prime. Res64: EBC63B8479404A0F Time : 0.0 sec. user=mdettweiler [2015-02-04 23:28:36] 951*2^1390345-1 is not prime. Res64: 01FFD7432C8ADA17 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:28:36] 755*2^1390346-1 is not prime. Res64: 940B78EA158EFC48 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:28:55] 811*2^1390345-1 is not prime. Res64: 7E194876B365C7C8 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:28:56] 915*2^1390345-1 is not prime. Res64: 2DE96C0E4EAE1B43 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:31:02] 801*2^1390346-1 is not prime. Res64: 97B22B518C11801B Time : 0.0 sec. user=mdettweiler [2015-02-04 23:31:03] 873*2^1390346-1 is not prime. Res64: 03B67C5CF193EA10 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:31:05] 767*2^1390346-1 is not prime. Res64: D852864E602442A7 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:31:05] 783*2^1390346-1 is not prime. Res64: 405444EC2F91E05E Time : 0.0 sec. user=mdettweiler [2015-02-04 23:55:53] 887*2^1390346-1 is not prime. Res64: F19F14345EC6D8B0 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:55:54] 903*2^1390346-1 is not prime. Res64: 1247825EDC54FD30 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:56:24] 945*2^1390346-1 is not prime. Res64: 4EC656EB449592A7 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:56:24] 971*2^1390346-1 is not prime. Res64: 450BF073EEBB47BC Time : 0.0 sec. user=mdettweiler [2015-02-04 23:58:29] 651*2^1390347-1 is not prime. Res64: 5149CC150D676D7E Time : 0.0 sec. user=mdettweiler [2015-02-04 23:58:29] 709*2^1390347-1 is not prime. Res64: 2B4DD1E82A199A07 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:58:32] 805*2^1390347-1 is not prime. Res64: 520BC2F6EE0E0D07 Time : 0.0 sec. user=mdettweiler [2015-02-04 23:58:33] 951*2^1390347-1 is not prime. Res64: C6A3156E59F6A494 Time : 0.0 sec.