user=mdettweiler [2015-06-24 00:01:38] 909*2^1401217-1 is not prime. Res64: 44B07899C3D2B4FA Time : 0.0 sec. user=mdettweiler [2015-06-24 00:01:38] 919*2^1401217-1 is not prime. Res64: 25727FB043AF97AD Time : 0.0 sec. user=mdettweiler [2015-06-24 00:01:40] 967*2^1401217-1 is not prime. Res64: 6FB3F4BB55B6B9F7 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:01:40] 641*2^1401218-1 is not prime. Res64: AB9031F1F30F975F Time : 0.0 sec. user=mdettweiler [2015-06-24 00:10:27] 657*2^1401218-1 is not prime. Res64: 13CCFA1F6ACB61A6 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:10:28] 705*2^1401218-1 is not prime. Res64: D2F96DC59F6A70BF Time : 0.0 sec. user=mdettweiler [2015-06-24 00:19:05] 711*2^1401218-1 is not prime. Res64: 51E46F72E4348219 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:19:06] 771*2^1401218-1 is not prime. Res64: 8D7D0142D5E8C823 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:19:09] 831*2^1401218-1 is not prime. Res64: 7EF0447583406CFA Time : 0.0 sec. user=mdettweiler [2015-06-24 00:19:10] 837*2^1401218-1 is not prime. Res64: 5C48211C724E3A03 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:27:58] 887*2^1401218-1 is not prime. Res64: 694B0A2933EE245C Time : 0.0 sec. user=mdettweiler [2015-06-24 00:27:59] 685*2^1401219-1 is not prime. Res64: 7DED9B2FE2FE8C85 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:36:33] 741*2^1401219-1 is not prime. Res64: 48D7062C5A073395 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:36:34] 751*2^1401219-1 is not prime. Res64: CF2B50BE3C7196AA Time : 0.0 sec. user=mdettweiler [2015-06-24 00:36:37] 825*2^1401219-1 is not prime. Res64: 11DA270B03A3CB84 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:36:37] 955*2^1401219-1 is not prime. Res64: 1F0CDA6579696725 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:45:38] 719*2^1401220-1 is not prime. Res64: 28B55549408F0829 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:45:38] 825*2^1401220-1 is not prime. Res64: 203DCEF9DD803A49 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:54:13] 839*2^1401220-1 is not prime. Res64: A0EA093AC5507459 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:54:13] 855*2^1401220-1 is not prime. Res64: 310C0A4678A91537 Time : 0.0 sec. user=mdettweiler [2015-06-24 00:54:16] 923*2^1401220-1 is not prime. Res64: C881EF758B48255F Time : 0.0 sec. user=mdettweiler [2015-06-24 00:54:17] 741*2^1401221-1 is not prime. Res64: E1AD76FF8C40C1ED Time : 0.0 sec. user=juhehe [2015-06-24 01:01:18] 635*2^1401220-1 is not prime. Res64: 60A491A4837168C0 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:03:01] 795*2^1401221-1 is not prime. Res64: D354C0E768902335 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:03:03] 811*2^1401221-1 is not prime. Res64: 480CA515C5036378 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:11:43] 889*2^1401221-1 is not prime. Res64: A996D68E65365F00 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:11:43] 665*2^1401222-1 is not prime. Res64: B3188AE2F19C05E7 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:11:45] 755*2^1401222-1 is not prime. Res64: 1202C20DC71F2A32 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:11:46] 649*2^1401223-1 is not prime. Res64: 982A803B86F968A6 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:20:36] 663*2^1401223-1 is not prime. Res64: D6B6CC1905E79F39 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:20:36] 673*2^1401223-1 is not prime. Res64: 7CE46B5F74F22C6D Time : 0.0 sec. user=mdettweiler [2015-06-24 01:29:12] 805*2^1401223-1 is not prime. Res64: 09A7F2DAEA4DC572 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:29:13] 859*2^1401223-1 is not prime. Res64: CEA00F7A3EBCBF29 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:29:16] 765*2^1401223-1 is not prime. Res64: A26A1212632727EC Time : 0.0 sec. user=mdettweiler [2015-06-24 01:29:17] 783*2^1401223-1 is not prime. Res64: C74BF4C0400CFDB9 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:38:01] 901*2^1401223-1 is not prime. Res64: 99686A29B50CFBC0 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:38:01] 951*2^1401223-1 is not prime. Res64: DD52C1AE4626B622 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:46:33] 615*2^1401224-1 is not prime. Res64: 9388ECAD308F600E Time : 0.0 sec. user=mdettweiler [2015-06-24 01:46:34] 657*2^1401224-1 is not prime. Res64: 928988BCC9B9E686 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:46:36] 675*2^1401224-1 is not prime. Res64: 52FEC8C95AD293FF Time : 0.0 sec. user=mdettweiler [2015-06-24 01:46:36] 699*2^1401224-1 is not prime. Res64: 4D559CAB4F011336 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:55:22] 743*2^1401224-1 is not prime. Res64: 11BEA28065E665C0 Time : 0.0 sec. user=mdettweiler [2015-06-24 01:55:22] 753*2^1401224-1 is not prime. Res64: 1E51B211399B3F06 Time : 0.0 sec. user=mdettweiler [2015-06-24 02:03:55] 669*2^1401225-1 is not prime. Res64: C4A8F984BC0EF03C Time : 0.0 sec. user=mdettweiler [2015-06-24 02:03:55] 657*2^1401225-1 is not prime. Res64: 0B061D56FC9F14EC Time : 0.0 sec. user=mdettweiler [2015-06-24 02:03:56] 705*2^1401225-1 is not prime. Res64: 24AEF9256285F02F Time : 0.0 sec. user=mdettweiler [2015-06-24 02:03:57] 667*2^1401225-1 is not prime. Res64: 3B2B8CF8022F9EAA Time : 0.0 sec. user=juhehe [2015-06-24 02:08:05] 609*2^1401224-1 is not prime. Res64: A711D608B3EC6101 Time : 0.0 sec. user=mdettweiler [2015-06-24 02:12:41] 735*2^1401225-1 is not prime. Res64: 67FF5D454A9F0FBB Time : 0.0 sec. user=mdettweiler [2015-06-24 02:12:41] 765*2^1401225-1 is not prime. Res64: 31790E4EF5CD080F Time : 0.0 sec. user=mdettweiler [2015-06-24 02:21:40] 805*2^1401225-1 is not prime. Res64: 08F3713DC57E261E Time : 0.0 sec. user=mdettweiler [2015-06-24 02:21:41] 837*2^1401225-1 is not prime. Res64: 1846B9D33B701481 Time : 0.0 sec. user=mdettweiler [2015-06-24 02:21:43] 777*2^1401226-1 is not prime. Res64: 3DCED8FDC59FFD59 Time : 0.0 sec. user=mdettweiler [2015-06-24 02:21:43] 941*2^1401226-1 is not prime. Res64: F9A8B8F710CE6470 Time : 0.0 sec. user=mdettweiler [2015-06-24 02:30:00] 947*2^1401226-1 is not prime. Res64: 4FDF7C7EF84928FA Time : 0.0 sec. user=mdettweiler [2015-06-24 02:30:01] 633*2^1401227-1 is not prime. Res64: 45DB24B169314E65 Time : 0.0 sec. user=mdettweiler [2015-06-24 02:39:13] 649*2^1401227-1 is not prime. Res64: FDDAA006E8FBF57A Time : 0.0 sec. user=mdettweiler [2015-06-24 02:39:13] 675*2^1401227-1 is not prime. Res64: BFEC51749EE634BF Time : 0.0 sec. user=mdettweiler [2015-06-24 02:39:21] 715*2^1401227-1 is not prime. Res64: 7A4A6B9310BC7EFF Time : 0.0 sec. user=mdettweiler [2015-06-24 02:39:21] 775*2^1401227-1 is not prime. Res64: 7DDEAD26C4112C5B Time : 0.0 sec. user=mdettweiler [2015-06-24 02:48:06] 663*2^1401228-1 is not prime. Res64: A60AD205C81B0D97 Time : 0.0 sec. user=mdettweiler [2015-06-24 02:48:06] 665*2^1401228-1 is not prime. Res64: 2387CE8310E618D1 Time : 0.0 sec. user=mdettweiler [2015-06-24 02:56:48] 669*2^1401228-1 is not prime. Res64: 7F26258AC8D64991 Time : 0.0 sec. user=mdettweiler [2015-06-24 02:56:48] 735*2^1401228-1 is not prime. Res64: 2B6443C4549E3B6B Time : 0.0 sec. user=mdettweiler [2015-06-24 02:57:03] 797*2^1401228-1 is not prime. Res64: 4FA26E3329296400 Time : 0.0 sec. user=mdettweiler [2015-06-24 02:57:03] 839*2^1401228-1 is not prime. Res64: 6FDC11D6CA23A8FA Time : 0.0 sec. user=mdettweiler [2015-06-24 03:05:29] 879*2^1401228-1 is not prime. Res64: 103E1D9BCCDE2CAB Time : 0.0 sec. user=mdettweiler [2015-06-24 03:05:30] 909*2^1401228-1 is not prime. Res64: F4600C98D6E9FDA8 Time : 0.0 sec. user=juhehe [2015-06-24 03:12:22] 945*2^1401227-1 is not prime. Res64: 5A8EDE28CE167B8D Time : 0.0 sec. user=mdettweiler [2015-06-24 03:14:07] 957*2^1401228-1 is not prime. Res64: 9A9F032A7158CBCA Time : 0.0 sec. user=mdettweiler [2015-06-24 03:14:07] 625*2^1401229-1 is not prime. Res64: D01040C3F86A35E6 Time : 0.0 sec. user=mdettweiler [2015-06-24 03:14:22] 667*2^1401229-1 is not prime. Res64: 615BEBAD6CD05F92 Time : 0.0 sec. user=mdettweiler [2015-06-24 03:14:22] 817*2^1401229-1 is not prime. Res64: 6B395270D3195B9C Time : 0.0 sec. user=mdettweiler [2015-06-24 03:22:55] 855*2^1401229-1 is not prime. Res64: 46B2E88D53ADD47D Time : 0.0 sec. user=mdettweiler [2015-06-24 03:22:55] 867*2^1401229-1 is not prime. Res64: 71852CD3640A146B Time : 0.0 sec. user=mdettweiler [2015-06-24 03:31:27] 975*2^1401229-1 is not prime. Res64: 588165C6EA2F9FF7 Time : 0.0 sec. user=mdettweiler [2015-06-24 03:31:28] 999*2^1401229-1 is not prime. Res64: FE0D883F1FB74A07 Time : 0.0 sec. user=mdettweiler [2015-06-24 03:31:41] 645*2^1401230-1 is not prime. Res64: 19DE2DCA22EAB4A4 Time : 0.0 sec. user=mdettweiler [2015-06-24 03:31:43] 717*2^1401230-1 is not prime. Res64: 23B73D4A624E005F Time : 0.0 sec. user=mdettweiler [2015-06-24 03:40:16] 773*2^1401230-1 is not prime. Res64: 207EBF8436392521 Time : 0.0 sec. user=mdettweiler [2015-06-24 03:40:17] 857*2^1401230-1 is not prime. Res64: 3845E5FD1800BC7F Time : 0.0 sec. user=mdettweiler [2015-06-24 03:48:51] 867*2^1401230-1 is not prime. Res64: 7E8A2328AF2AAA67 Time : 0.0 sec. user=mdettweiler [2015-06-24 03:48:52] 885*2^1401230-1 is not prime. Res64: 2149828FD77CD343 Time : 0.0 sec. user=mdettweiler [2015-06-24 03:49:09] 935*2^1401230-1 is not prime. Res64: A335BD1E88767B3A Time : 0.0 sec. user=mdettweiler [2015-06-24 03:49:10] 951*2^1401230-1 is not prime. Res64: 98141773C39C3EAE Time : 0.0 sec. user=mdettweiler [2015-06-24 03:57:47] 685*2^1401231-1 is not prime. Res64: 3950554C3B4968AA Time : 0.0 sec. user=mdettweiler [2015-06-24 03:57:48] 751*2^1401231-1 is not prime. Res64: BBB528DD7A3E2CFF Time : 0.0 sec. user=mdettweiler [2015-06-24 04:06:30] 609*2^1401232-1 is not prime. Res64: 26E0C0E000601555 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:06:31] 803*2^1401232-1 is not prime. Res64: 666A39F7CFCDB164 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:06:34] 769*2^1401231-1 is not prime. Res64: 45D2E88708501994 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:06:35] 909*2^1401231-1 is not prime. Res64: 2856577D22B2EB18 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:15:05] 819*2^1401232-1 is not prime. Res64: 2E59102C2F58548E Time : 0.0 sec. user=mdettweiler [2015-06-24 04:15:06] 833*2^1401232-1 is not prime. Res64: 32E60C03043F63A2 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:24:01] 685*2^1401233-1 is not prime. Res64: 4A1A2BB51CCEEC47 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:24:01] 691*2^1401233-1 is not prime. Res64: A0998F6FB2FECE75 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:24:01] 781*2^1401233-1 is not prime. Res64: 83A1269744A69C89 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:24:01] 747*2^1401233-1 is not prime. Res64: 166EFBAFF2341EC6 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:32:26] 723*2^1401234-1 is not prime. Res64: 7088E4391F6DCCB0 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:32:27] 737*2^1401234-1 is not prime. Res64: 76DE99FC15BA8F88 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:41:19] 741*2^1401234-1 is not prime. Res64: 1BC3A76A8713E3FE Time : 0.0 sec. user=mdettweiler [2015-06-24 04:41:19] 833*2^1401234-1 is not prime. Res64: 6BF378434B79318C Time : 0.0 sec. user=mdettweiler [2015-06-24 04:41:22] 915*2^1401234-1 is not prime. Res64: 31AAC5E51BFF8865 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:41:23] 1001*2^1401234-1 is not prime. Res64: 06ABBA8EE210374C Time : 0.0 sec. user=juhehe [2015-06-24 04:46:29] 995*2^1401232-1 is not prime. Res64: 78C0790710DBDC6A Time : 0.0 sec. user=mdettweiler [2015-06-24 04:49:46] 625*2^1401235-1 is not prime. Res64: 3F14E93B91C1AEBD Time : 0.0 sec. user=mdettweiler [2015-06-24 04:49:47] 675*2^1401235-1 is not prime. Res64: 2D6E1B94248E8C0F Time : 0.0 sec. user=mdettweiler [2015-06-24 04:58:38] 709*2^1401235-1 is not prime. Res64: 8FFBB963E51EED9D Time : 0.0 sec. user=mdettweiler [2015-06-24 04:58:38] 723*2^1401235-1 is not prime. Res64: 04A11CAB2976F904 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:58:41] 735*2^1401235-1 is not prime. Res64: 9491E6EA9E720C57 Time : 0.0 sec. user=mdettweiler [2015-06-24 04:58:41] 819*2^1401235-1 is not prime. Res64: 6DB03588E73851C2 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:07:04] 919*2^1401235-1 is not prime. Res64: C6381A9669FAC812 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:07:04] 969*2^1401235-1 is not prime. Res64: C6509863F77A38F0 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:15:57] 615*2^1401236-1 is not prime. Res64: 5892EE1EF68A5633 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:15:57] 773*2^1401236-1 is not prime. Res64: 17C2B0DB11DADC39 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:16:02] 893*2^1401236-1 is not prime. Res64: 1124D0FFC939DCD2 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:16:03] 903*2^1401236-1 is not prime. Res64: BC9FDC2895AFC911 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:24:26] 923*2^1401236-1 is not prime. Res64: A3DA1B88E3579EF5 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:24:27] 969*2^1401236-1 is not prime. Res64: 58FC5A937CB07AEF Time : 0.0 sec. user=mdettweiler [2015-06-24 05:33:16] 675*2^1401237-1 is not prime. Res64: 0BB0EA1A02C43C86 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:33:16] 741*2^1401237-1 is not prime. Res64: 14966E7B2B83434E Time : 0.0 sec. user=mdettweiler [2015-06-24 05:33:20] 777*2^1401237-1 is not prime. Res64: 439A256FD8E3E7D0 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:33:20] 915*2^1401237-1 is not prime. Res64: 83E7DEAF21755411 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:41:48] 997*2^1401237-1 is not prime. Res64: 014433FB6FCAFE48 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:41:48] 657*2^1401238-1 is not prime. Res64: 3A391A72FC5A7058 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:50:35] 737*2^1401238-1 is not prime. Res64: 82E1C58067ABE0D2 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:50:35] 747*2^1401238-1 is not prime. Res64: 673115A80D198AC8 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:50:38] 755*2^1401238-1 is not prime. Res64: BC04AC18C6F05E18 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:50:38] 777*2^1401238-1 is not prime. Res64: 600E0E85EE69D7DA Time : 0.0 sec. user=mdettweiler [2015-06-24 05:59:05] 791*2^1401238-1 is not prime. Res64: 23E0CFFA114D8D64 Time : 0.0 sec. user=mdettweiler [2015-06-24 05:59:05] 821*2^1401238-1 is not prime. Res64: 4A58A6425C5FB477 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:07:54] 881*2^1401238-1 is not prime. Res64: CC19CCE3D0F83852 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:07:54] 981*2^1401238-1 is not prime. Res64: D1A47627791F956F Time : 0.0 sec. user=mdettweiler [2015-06-24 06:07:55] 939*2^1401239-1 is not prime. Res64: 11E6F72B03EDCEE4 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:07:56] 949*2^1401239-1 is not prime. Res64: 1782115789B4AE90 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:16:24] 969*2^1401239-1 is not prime. Res64: 0BB277795463F632 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:16:24] 985*2^1401239-1 is not prime. Res64: B36959301CAB272B Time : 0.0 sec. user=mdettweiler [2015-06-24 06:25:12] 991*2^1401239-1 is not prime. Res64: 032795DD66022FD9 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:25:12] 609*2^1401240-1 is not prime. Res64: C6F5C258E655E937 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:25:14] 627*2^1401240-1 is not prime. Res64: 8F9346BDFA73BABE Time : 0.0 sec. user=mdettweiler [2015-06-24 06:25:14] 629*2^1401240-1 is not prime. Res64: BA48C2B9D7634802 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:33:42] 689*2^1401240-1 is not prime. Res64: C918B7565A079A2B Time : 0.0 sec. user=mdettweiler [2015-06-24 06:33:42] 873*2^1401240-1 is not prime. Res64: 49693E0B8D4E4530 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:42:30] 927*2^1401240-1 is not prime. Res64: 68761F623E41BCD4 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:42:31] 983*2^1401240-1 is not prime. Res64: ED368813D6332669 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:42:31] 691*2^1401241-1 is not prime. Res64: D077CA66AF01E686 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:42:32] 741*2^1401241-1 is not prime. Res64: 85EBC9AA6DF96AC5 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:51:01] 705*2^1401242-1 is not prime. Res64: 4C26C5C18F61D46F Time : 0.0 sec. user=mdettweiler [2015-06-24 06:51:02] 731*2^1401242-1 is not prime. Res64: A784CC52ED51E862 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:59:49] 771*2^1401242-1 is not prime. Res64: 0080E9706E862FE9 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:59:49] 801*2^1401242-1 is not prime. Res64: 56FD4CF9759C3039 Time : 0.0 sec. user=mdettweiler [2015-06-24 06:59:50] 915*2^1401242-1 is not prime. Res64: 050B2A9D21CD3AAC Time : 0.0 sec. user=mdettweiler [2015-06-24 06:59:50] 613*2^1401243-1 is not prime. Res64: B265A465FB7A8D55 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:08:23] 723*2^1401243-1 is not prime. Res64: 2B99F759904020FE Time : 0.0 sec. user=mdettweiler [2015-06-24 07:08:24] 801*2^1401243-1 is not prime. Res64: B69766D353497DE0 Time : 0.0 sec. user=juhehe [2015-06-24 07:13:53] 979*2^1401241-1 is not prime. Res64: E00BB81A2E548D13 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:17:08] 985*2^1401243-1 is not prime. Res64: 653A74084FFD0818 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:17:08] 609*2^1401244-1 is not prime. Res64: E95482FFB8F2D397 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:17:08] 617*2^1401244-1 is not prime. Res64: 722A9BFE04E1EC8B Time : 0.0 sec. user=mdettweiler [2015-06-24 07:17:08] 723*2^1401244-1 is not prime. Res64: BC122909EC4BC4E3 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:25:44] 749*2^1401244-1 is not prime. Res64: 1AB5CC489E8E95C4 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:25:45] 863*2^1401244-1 is not prime. Res64: 3D944C285B09498E Time : 0.0 sec. user=mdettweiler [2015-06-24 07:34:26] 915*2^1401244-1 is not prime. Res64: F1117A9E1317F1E8 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:34:26] 959*2^1401244-1 is not prime. Res64: 4432B4CC647D5D0B Time : 0.0 sec. user=mdettweiler [2015-06-24 07:34:26] 965*2^1401244-1 is not prime. Res64: 6B9B360F21FB4CF4 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:34:27] 717*2^1401245-1 is not prime. Res64: 76F0C3C1759B5BE9 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:43:05] 771*2^1401245-1 is not prime. Res64: 962EA0B39F572A55 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:43:05] 831*2^1401245-1 is not prime. Res64: 4752EA0791B75297 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:51:44] 847*2^1401245-1 is not prime. Res64: 1862EB6B522B2EE5 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:51:45] 867*2^1401245-1 is not prime. Res64: 1181C7B23401E8B8 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:51:46] 937*2^1401245-1 is not prime. Res64: 73612EB7BCDF0DF3 Time : 0.0 sec. user=mdettweiler [2015-06-24 07:51:47] 957*2^1401245-1 is not prime. Res64: 9A2A634E5D5F3B4B Time : 0.0 sec. user=mdettweiler [2015-06-24 08:00:24] 985*2^1401245-1 is not prime. Res64: 2AF54579161A24F7 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:00:25] 815*2^1401246-1 is not prime. Res64: 0DD018D4E5E31125 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:09:03] 873*2^1401246-1 is not prime. Res64: 7D764993A1DE4768 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:09:04] 975*2^1401246-1 is not prime. Res64: 997F546358DB4BB3 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:09:05] 741*2^1401247-1 is not prime. Res64: 5A15F71B2D942DD0 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:09:05] 895*2^1401247-1 is not prime. Res64: 75718C864D4E5BE7 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:17:59] 623*2^1401248-1 is not prime. Res64: 3FC6CE8773C2ADE2 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:17:59] 875*2^1401248-1 is not prime. Res64: A928365247F1C5CB Time : 0.0 sec. user=mdettweiler [2015-06-24 08:26:22] 977*2^1401248-1 is not prime. Res64: 57C4BD8EFF3DFCDD Time : 0.0 sec. user=mdettweiler [2015-06-24 08:26:22] 667*2^1401249-1 is not prime. Res64: 70FB960479AD6DE7 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:26:23] 675*2^1401249-1 is not prime. Res64: 26A0F1A440E4D982 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:26:24] 679*2^1401249-1 is not prime. Res64: 440499C054F4E45A Time : 0.0 sec. user=mdettweiler [2015-06-24 08:35:18] 681*2^1401249-1 is not prime. Res64: 59C7115E0F6661EB Time : 0.0 sec. user=mdettweiler [2015-06-24 08:35:19] 711*2^1401249-1 is not prime. Res64: 159494055E064D61 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:43:41] 727*2^1401249-1 is not prime. Res64: 35131FAD740133ED Time : 0.0 sec. user=mdettweiler [2015-06-24 08:43:41] 847*2^1401249-1 is not prime. Res64: 96404067AA5814CE Time : 0.0 sec. user=mdettweiler [2015-06-24 08:43:41] 997*2^1401249-1 is not prime. Res64: EBD93AC76C1C4905 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:43:42] 695*2^1401250-1 is not prime. Res64: C899281412B8F5A4 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:52:37] 717*2^1401250-1 is not prime. Res64: 22D5E46D759E39A3 Time : 0.0 sec. user=mdettweiler [2015-06-24 08:52:38] 783*2^1401250-1 is not prime. Res64: C924A423AC5C1800 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:01:00] 971*2^1401250-1 is not prime. Res64: 463E879687BE1A92 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:01:01] 759*2^1401251-1 is not prime. Res64: 1D991E345EA459B2 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:01:05] 921*2^1401251-1 is not prime. Res64: 06ADE9B9D142EEBD Time : 0.0 sec. user=mdettweiler [2015-06-24 09:01:07] 999*2^1401251-1 is not prime. Res64: 97F1EFE8CF12C592 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:09:58] 779*2^1401252-1 is not prime. Res64: 918C753557285D08 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:09:58] 873*2^1401252-1 is not prime. Res64: C9C7A55EA350279C Time : 0.0 sec. user=mdettweiler [2015-06-24 09:18:21] 899*2^1401252-1 is not prime. Res64: 8C8CE56B4BFC7A11 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:18:21] 903*2^1401252-1 is not prime. Res64: EF7D443A1994F3DF Time : 0.0 sec. user=mdettweiler [2015-06-24 09:18:27] 909*2^1401252-1 is not prime. Res64: A03324C8B3E61407 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:18:28] 933*2^1401252-1 is not prime. Res64: 263C617AA135E0C8 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:27:18] 965*2^1401252-1 is not prime. Res64: 87F19B92917B97FF Time : 0.0 sec. user=mdettweiler [2015-06-24 09:27:19] 609*2^1401253-1 is not prime. Res64: BE531549457F00E0 Time : 0.0 sec. user=juhehe [2015-06-24 09:33:41] 831*2^1401250-1 is not prime. Res64: DEFE22C19E4F5D2B Time : 0.0 sec. user=mdettweiler [2015-06-24 09:35:42] 649*2^1401253-1 is not prime. Res64: B5920B903109ACAA Time : 0.0 sec. user=mdettweiler [2015-06-24 09:35:42] 691*2^1401253-1 is not prime. Res64: AB90882A81C72C1F Time : 0.0 sec. user=mdettweiler [2015-06-24 09:35:54] 641*2^1401254-1 is not prime. Res64: E94403E1FB674DA0 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:35:55] 687*2^1401254-1 is not prime. Res64: 4D34D85D720DBB5C Time : 0.0 sec. user=mdettweiler [2015-06-24 09:44:38] 741*2^1401254-1 is not prime. Res64: 7B67DEAB6DFF2560 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:44:39] 773*2^1401254-1 is not prime. Res64: 762607B8BBD85216 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:53:01] 785*2^1401254-1 is not prime. Res64: 0DDCB60D4C485F08 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:53:01] 825*2^1401254-1 is not prime. Res64: 74E2723B08312477 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:53:17] 833*2^1401254-1 is not prime. Res64: 14E50BC039C49B40 Time : 0.0 sec. user=mdettweiler [2015-06-24 09:53:17] 887*2^1401254-1 is not prime. Res64: CEDB712161C9D8F6 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:01:58] 691*2^1401255-1 is not prime. Res64: DCB9499B2963B731 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:02:00] 739*2^1401255-1 is not prime. Res64: 0E3617AE08D5FD48 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:10:18] 615*2^1401256-1 is not prime. Res64: 5A2C3F59B502CA45 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:10:19] 639*2^1401256-1 is not prime. Res64: A22BEEAB4EDD9D22 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:10:34] 657*2^1401256-1 is not prime. Res64: C8DD4F9F4DE44477 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:10:35] 705*2^1401256-1 is not prime. Res64: 358567E9EBD0F7D1 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:19:46] 869*2^1401256-1 is not prime. Res64: 9E79A28E1DF21B23 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:19:46] 873*2^1401256-1 is not prime. Res64: 865B0A6A941E1078 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:27:39] 975*2^1401256-1 is not prime. Res64: 3F2D48B29BF544E3 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:27:40] 989*2^1401256-1 is not prime. Res64: 7E75EF4EA00D19F5 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:27:53] 993*2^1401256-1 is not prime. Res64: 17BEE04C7CD9D557 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:27:53] 697*2^1401257-1 is not prime. Res64: B3959375676EC9BE Time : 0.0 sec. user=mdettweiler [2015-06-24 10:37:04] 727*2^1401257-1 is not prime. Res64: CC9230961680386D Time : 0.0 sec. user=mdettweiler [2015-06-24 10:37:05] 819*2^1401257-1 is not prime. Res64: A34CB4D4EDACFCB8 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:44:58] 847*2^1401257-1 is not prime. Res64: 046DB61A7F4EAC37 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:44:58] 731*2^1401258-1 is not prime. Res64: 79DE78182471DDF6 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:45:11] 791*2^1401258-1 is not prime. Res64: 89D44DFA12C23162 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:45:11] 825*2^1401258-1 is not prime. Res64: E9F06EFC1C455206 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:54:23] 837*2^1401258-1 is not prime. Res64: 3ABECC737C5505A3 Time : 0.0 sec. user=mdettweiler [2015-06-24 10:54:24] 891*2^1401258-1 is not prime. Res64: 9EEE21C504C0B916 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:02:20] 615*2^1401259-1 is not prime. Res64: 6D5EB92D7548B839 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:02:21] 691*2^1401259-1 is not prime. Res64: 4E6D4EBCBEE831F2 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:02:29] 751*2^1401259-1 is not prime. Res64: CBFF080ABEA74C95 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:02:30] 841*2^1401259-1 is not prime. Res64: D95B81D2DAAAA199 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:11:41] 853*2^1401259-1 is not prime. Res64: 8F7AFEE1695BC934 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:11:42] 885*2^1401259-1 is not prime. Res64: F814DD202F993EAC Time : 0.0 sec. user=mdettweiler [2015-06-24 11:19:57] 939*2^1401259-1 is not prime. Res64: EADCFCC5EF89D7EA Time : 0.0 sec. user=mdettweiler [2015-06-24 11:19:58] 985*2^1401259-1 is not prime. Res64: 4C3E48EC19E846BC Time : 0.0 sec. user=mdettweiler [2015-06-24 11:19:59] 659*2^1401260-1 is not prime. Res64: E93B894A02FE0C15 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:20:00] 789*2^1401260-1 is not prime. Res64: F6E2E5DA662D3ABD Time : 0.0 sec. user=mdettweiler [2015-06-24 11:28:59] 839*2^1401260-1 is not prime. Res64: A544BD2DB59D773C Time : 0.0 sec. user=mdettweiler [2015-06-24 11:28:59] 845*2^1401260-1 is not prime. Res64: AEA861C631CA17AB Time : 0.0 sec. user=mdettweiler [2015-06-24 11:37:17] 897*2^1401260-1 is not prime. Res64: 72039883203C5B35 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:37:17] 857*2^1401260-1 is not prime. Res64: F199EC16A2B12661 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:37:18] 927*2^1401260-1 is not prime. Res64: 44BBF6F953077EA7 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:37:18] 875*2^1401260-1 is not prime. Res64: 7495A0946C1E3BB0 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:46:20] 953*2^1401260-1 is not prime. Res64: BDACFA7D430D7E73 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:46:20] 963*2^1401260-1 is not prime. Res64: 0ABF1A4937628370 Time : 0.0 sec. user=juhehe [2015-06-24 11:51:44] 825*2^1401260-1 is not prime. Res64: B7BA50559B93CCE9 Time : 0.0 sec. user=mdettweiler [2015-06-24 11:54:37] 615*2^1401261-1 is not prime. Res64: 6B73EB480DCB3C3F Time : 0.0 sec. user=mdettweiler [2015-06-24 11:54:38] 649*2^1401261-1 is not prime. Res64: FE1862E51FDF834E Time : 0.0 sec. user=mdettweiler [2015-06-24 11:54:38] 727*2^1401261-1 is not prime. Res64: 8B7A5506699E139F Time : 0.0 sec. user=mdettweiler [2015-06-24 11:54:39] 835*2^1401261-1 is not prime. Res64: 935867B69F61D2BD Time : 0.0 sec. user=mdettweiler [2015-06-24 12:03:40] 849*2^1401261-1 is not prime. Res64: FA2BA60E33702126 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:03:41] 937*2^1401261-1 is not prime. Res64: E09DE83BF7B01E10 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:11:57] 969*2^1401261-1 is not prime. Res64: E71FFD4ECBB124A3 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:11:57] 991*2^1401261-1 is not prime. Res64: 5FF05E8A006AC5C1 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:12:03] 999*2^1401261-1 is not prime. Res64: 657FC2D90AA4882C Time : 0.0 sec. user=mdettweiler [2015-06-24 12:12:03] 671*2^1401262-1 is not prime. Res64: E2B28711578496FF Time : 0.0 sec. user=mdettweiler [2015-06-24 12:21:18] 825*2^1401262-1 is not prime. Res64: 9FA5AC675AA9D117 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:21:19] 981*2^1401262-1 is not prime. Res64: AD87E03792F00634 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:29:15] 619*2^1401263-1 is not prime. Res64: 4F94ABA949187D1E Time : 0.0 sec. user=mdettweiler [2015-06-24 12:29:16] 703*2^1401263-1 is not prime. Res64: ED2845FA3C74DA3E Time : 0.0 sec. user=mdettweiler [2015-06-24 12:29:24] 771*2^1401263-1 is not prime. Res64: 38D18BD562160E3A Time : 0.0 sec. user=mdettweiler [2015-06-24 12:29:25] 921*2^1401263-1 is not prime. Res64: F773F752EBC820C1 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:38:49] 993*2^1401263-1 is not prime. Res64: 77A5964E3751055C Time : 0.0 sec. user=mdettweiler [2015-06-24 12:38:50] 759*2^1401264-1 is not prime. Res64: 3B876B1EB7D974D1 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:47:06] 843*2^1401264-1 is not prime. Res64: 174421A221EF1A38 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:47:06] 887*2^1401264-1 is not prime. Res64: EE785EE2E9E92C40 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:47:16] 917*2^1401264-1 is not prime. Res64: 010F8B3039558D12 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:47:16] 993*2^1401264-1 is not prime. Res64: CF43ABE35364BFF5 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:56:43] 679*2^1401265-1 is not prime. Res64: 502DCAD747785DD2 Time : 0.0 sec. user=mdettweiler [2015-06-24 12:56:43] 699*2^1401265-1 is not prime. Res64: EC30300EEA8938ED Time : 0.0 sec. user=mdettweiler [2015-06-24 13:04:52] 765*2^1401265-1 is not prime. Res64: 4E0A8D679B87E849 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:04:54] 799*2^1401265-1 is not prime. Res64: 8784D891354F6D41 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:05:01] 955*2^1401265-1 is not prime. Res64: BEBF4A46BE373D44 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:05:02] 633*2^1401266-1 is not prime. Res64: CAF32440682C8B7D Time : 0.0 sec. user=mdettweiler [2015-06-24 13:14:27] 635*2^1401266-1 is not prime. Res64: D92B2FF28ED13319 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:14:27] 713*2^1401266-1 is not prime. Res64: 59B515C1B50AC3FD Time : 0.0 sec. user=mdettweiler [2015-06-24 13:22:46] 801*2^1401266-1 is not prime. Res64: 8C5190EA31C5FB29 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:22:46] 825*2^1401266-1 is not prime. Res64: FE76FB14864D1DD6 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:22:54] 837*2^1401266-1 is not prime. Res64: 4ABAC78932B6844A Time : 0.0 sec. user=mdettweiler [2015-06-24 13:22:54] 873*2^1401266-1 is not prime. Res64: 7D1E238D0B064337 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:32:14] 705*2^1401267-1 is not prime. Res64: 92B4AC19E36C3DEC Time : 0.0 sec. user=mdettweiler [2015-06-24 13:32:15] 823*2^1401267-1 is not prime. Res64: AED316C467EF1C1A Time : 0.0 sec. user=mdettweiler [2015-06-24 13:40:31] 909*2^1401267-1 is not prime. Res64: 5C7C28DCE1CE7AA1 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:40:31] 979*2^1401267-1 is not prime. Res64: 1943CA0F5A6C9383 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:40:40] 647*2^1401268-1 is not prime. Res64: 47D052B2AB3BE4AB Time : 0.0 sec. user=mdettweiler [2015-06-24 13:40:41] 663*2^1401268-1 is not prime. Res64: 1090DDBFD5D260A5 Time : 0.0 sec. user=juhehe [2015-06-24 13:49:11] 893*2^1401266-1 is not prime. Res64: 2B42E96DEFE81CDD Time : 0.0 sec. user=mdettweiler [2015-06-24 13:50:01] 687*2^1401268-1 is not prime. Res64: E663BC26A3E28FBF Time : 0.0 sec. user=mdettweiler [2015-06-24 13:50:02] 723*2^1401268-1 is not prime. Res64: 72837FCD045A682B Time : 0.0 sec. user=mdettweiler [2015-06-24 13:58:01] 743*2^1401268-1 is not prime. Res64: 7CB2B3C3936DF871 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:58:02] 749*2^1401268-1 is not prime. Res64: 599356489962DA86 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:58:11] 855*2^1401268-1 is not prime. Res64: 1D8769F120CE3287 Time : 0.0 sec. user=mdettweiler [2015-06-24 13:58:11] 863*2^1401268-1 is not prime. Res64: BD32741DED70B628 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:07:32] 885*2^1401268-1 is not prime. Res64: 421953FF7C0619FE Time : 0.0 sec. user=mdettweiler [2015-06-24 14:07:32] 957*2^1401268-1 is not prime. Res64: AEF320A83DBC2D06 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:15:32] 989*2^1401268-1 is not prime. Res64: 2984B4FD451CE8C3 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:15:33] 995*2^1401268-1 is not prime. Res64: F44EB91062AD6CFE Time : 0.0 sec. user=mdettweiler [2015-06-24 14:15:41] 631*2^1401269-1 is not prime. Res64: B88FFDAA8CC0780A Time : 0.0 sec. user=mdettweiler [2015-06-24 14:15:41] 711*2^1401269-1 is not prime. Res64: 4035234218D4B1DF Time : 0.0 sec. user=mdettweiler [2015-06-24 14:25:02] 735*2^1401269-1 is not prime. Res64: 5635D2EED98B3769 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:25:03] 847*2^1401269-1 is not prime. Res64: C2B9799FAAB1F59D Time : 0.0 sec. user=mdettweiler [2015-06-24 14:32:56] 949*2^1401269-1 is not prime. Res64: 72519AC1E28C33F4 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:32:56] 987*2^1401269-1 is not prime. Res64: 36E74DBD1216899C Time : 0.0 sec. user=mdettweiler [2015-06-24 14:33:05] 653*2^1401270-1 is not prime. Res64: B786C6AD9D6B57E8 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:33:05] 671*2^1401270-1 is not prime. Res64: 9ABF89F76AA6F847 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:42:26] 693*2^1401270-1 is not prime. Res64: 982758814FB6AEF4 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:42:26] 845*2^1401270-1 is not prime. Res64: 1B354C8AE954A42A Time : 0.0 sec. user=mdettweiler [2015-06-24 14:50:14] 873*2^1401270-1 is not prime. Res64: 573B6C0759E92DB9 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:50:15] 921*2^1401270-1 is not prime. Res64: 813469F72EFC2258 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:50:23] 625*2^1401271-1 is not prime. Res64: 9BC793AE16E0A91F Time : 0.0 sec. user=mdettweiler [2015-06-24 14:50:24] 685*2^1401271-1 is not prime. Res64: 339643D6E1CB5A54 Time : 0.0 sec. user=mdettweiler [2015-06-24 14:59:46] 723*2^1401271-1 is not prime. Res64: 38B6D2494AC6C08A Time : 0.0 sec. user=mdettweiler [2015-06-24 14:59:46] 805*2^1401271-1 is not prime. Res64: F4E6E5C2B0F71C9B Time : 0.0 sec. user=mdettweiler [2015-06-24 15:07:33] 819*2^1401271-1 is not prime. Res64: E47F80231A16A595 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:07:33] 871*2^1401271-1 is not prime. Res64: CE3AA31BD786391F Time : 0.0 sec. user=mdettweiler [2015-06-24 15:07:41] 873*2^1401271-1 is not prime. Res64: B438A0CACE210081 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:07:41] 901*2^1401271-1 is not prime. Res64: B6212C02BB346319 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:17:08] 973*2^1401271-1 is not prime. Res64: 9BB15BDADED122D8 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:17:08] 975*2^1401271-1 is not prime. Res64: A4884A0059B4473D Time : 0.0 sec. user=mdettweiler [2015-06-24 15:24:54] 603*2^1401272-1 is not prime. Res64: E76D73ED18E6FFF9 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:24:55] 615*2^1401272-1 is not prime. Res64: B4BA94F276257B05 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:25:03] 725*2^1401272-1 is not prime. Res64: A6554BACE7658F93 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:25:04] 753*2^1401272-1 is not prime. Res64: 8D97B8EFFB007FCC Time : 0.0 sec. user=mdettweiler [2015-06-24 15:34:28] 855*2^1401272-1 is not prime. Res64: 44E6D5B88D90D285 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:34:28] 879*2^1401272-1 is not prime. Res64: 26FA988FB15407DF Time : 0.0 sec. user=mdettweiler [2015-06-24 15:42:14] 691*2^1401273-1 is not prime. Res64: 31BC38F3C4D12F18 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:42:14] 705*2^1401273-1 is not prime. Res64: 999A850750B3B82C Time : 0.0 sec. user=mdettweiler [2015-06-24 15:42:22] 727*2^1401273-1 is not prime. Res64: 55DE49C47D7E24E7 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:42:23] 985*2^1401273-1 is not prime. Res64: B57481DB29BA533A Time : 0.0 sec. user=juhehe [2015-06-24 15:50:39] 797*2^1401272-1 is not prime. Res64: 525B7F7722E29F9B Time : 0.0 sec. user=mdettweiler [2015-06-24 15:51:48] 605*2^1401274-1 is not prime. Res64: A916D7121656E5B5 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:51:48] 687*2^1401274-1 is not prime. Res64: 4BE8779C1EE0647F Time : 0.0 sec. user=mdettweiler [2015-06-24 15:59:35] 765*2^1401274-1 is not prime. Res64: C65E4F47214FE76E Time : 0.0 sec. user=mdettweiler [2015-06-24 15:59:35] 783*2^1401274-1 is not prime. Res64: 50CFFDC97CA746CF Time : 0.0 sec. user=mdettweiler [2015-06-24 15:59:44] 855*2^1401274-1 is not prime. Res64: 803497E1CEBFBFA8 Time : 0.0 sec. user=mdettweiler [2015-06-24 15:59:44] 1001*2^1401274-1 is not prime. Res64: EF70FD54A978F470 Time : 0.0 sec. user=mdettweiler [2015-06-24 16:09:08] 643*2^1401275-1 is not prime. Res64: C65A5C1BD6C37E9B Time : 0.0 sec. user=mdettweiler [2015-06-24 16:09:09] 715*2^1401275-1 is not prime. Res64: A0DAD3250C727840 Time : 0.0 sec. user=mdettweiler [2015-06-24 16:16:56] 759*2^1401275-1 is not prime. Res64: D29BF00D294C6E1F Time : 0.0 sec. user=mdettweiler [2015-06-24 16:16:57] 861*2^1401275-1 is not prime. Res64: 019FF0D026FF9ABD Time : 0.0 sec. user=mdettweiler [2015-06-24 16:17:03] 883*2^1401275-1 is not prime. Res64: 8BA4DF0E8C113479 Time : 0.0 sec. user=mdettweiler [2015-06-24 16:17:04] 885*2^1401275-1 is not prime. Res64: 2E4956A5FAD2EA6E Time : 0.0 sec. user=mdettweiler [2015-06-24 16:26:31] 889*2^1401275-1 is not prime. Res64: C17C1D45E540C921 Time : 0.0 sec. user=mdettweiler [2015-06-24 16:26:31] 915*2^1401275-1 is not prime. Res64: AC89402525B8764A Time : 0.0 sec. user=mdettweiler [2015-06-24 16:34:17] 981*2^1401275-1 is not prime. Res64: 9C0271948B792E11 Time : 0.0 sec. user=mdettweiler [2015-06-24 16:34:17] 695*2^1401276-1 is not prime. Res64: 5B4A678F0B8F71DB Time : 0.0 sec. user=mdettweiler [2015-06-24 16:34:23] 777*2^1401276-1 is not prime. Res64: E62D5402836C7FF6 Time : 0.0 sec. user=mdettweiler [2015-06-24 16:34:24] 779*2^1401276-1 is not prime. Res64: EFD1FD9892FA0186 Time : 0.0 sec. user=mdettweiler [2015-06-24 16:43:51] 899*2^1401276-1 is not prime. Res64: 06BDF025BD7E60AB Time : 0.0 sec. user=mdettweiler [2015-06-24 16:43:52] 903*2^1401276-1 is not prime. Res64: 961F91DB56B022DA Time : 0.0 sec. user=juhehe [2015-06-24 16:51:13] 963*2^1401275-1 is not prime. Res64: 0369AA4272AFEF2D Time : 0.0 sec. user=mdettweiler [2015-06-24 16:51:38] 927*2^1401276-1 is not prime. Res64: FB1E714CCF132DED Time : 0.0 sec. user=mdettweiler [2015-06-24 16:51:38] 975*2^1401276-1 is not prime. Res64: 8333F3FADC1AE8CB Time : 0.0 sec. user=mdettweiler [2015-06-24 16:51:44] 645*2^1401277-1 is not prime. Res64: 0A3BB19511159EC8 Time : 0.0 sec. user=mdettweiler [2015-06-24 16:51:44] 661*2^1401277-1 is not prime. Res64: 986AD4C238629878 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:01:16] 691*2^1401277-1 is not prime. Res64: 2365F6B51DA4C4EB Time : 0.0 sec. user=mdettweiler [2015-06-24 17:01:18] 757*2^1401277-1 is not prime. Res64: F2367B6FF44A6349 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:08:58] 955*2^1401277-1 is not prime. Res64: BE03459FBBE702B4 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:08:58] 957*2^1401277-1 is not prime. Res64: C46919F9C750AD65 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:09:03] 627*2^1401278-1 is not prime. Res64: FA30F1B3C23E892C Time : 0.0 sec. user=mdettweiler [2015-06-24 17:09:03] 677*2^1401278-1 is not prime. Res64: 8E423F344E0ACF0E Time : 0.0 sec. user=mdettweiler [2015-06-24 17:19:04] 693*2^1401278-1 is not prime. Res64: 75128E28741C0994 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:19:04] 845*2^1401278-1 is not prime. Res64: EE919D63A613D2F0 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:26:27] 887*2^1401278-1 is not prime. Res64: 9C3362F0503BA63F Time : 0.0 sec. user=mdettweiler [2015-06-24 17:26:28] 941*2^1401278-1 is not prime. Res64: B38B604B300883F2 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:26:36] 675*2^1401279-1 is not prime. Res64: F911E0FAB9F1FEF6 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:26:36] 709*2^1401279-1 is not prime. Res64: 2EA1AAE168981AD3 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:36:38] 861*2^1401279-1 is not prime. Res64: 36609C260E2DB759 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:36:39] 865*2^1401279-1 is not prime. Res64: BD94973958B0C3AA Time : 0.0 sec. user=mdettweiler [2015-06-24 17:44:01] 975*2^1401279-1 is not prime. Res64: FAF0F7BCA91AA310 Time : 0.0 sec. user=mdettweiler [2015-06-24 17:44:01] 609*2^1401280-1 is not prime. Res64: B068D1BA0F4E95FB Time : 0.0 sec. user=mdettweiler [2015-06-24 17:44:11] 615*2^1401280-1 is not prime. Res64: AD76879E817E20EA Time : 0.0 sec. user=mdettweiler [2015-06-24 17:44:11] 665*2^1401280-1 is not prime. Res64: CB315F18B9039DAF Time : 0.0 sec. user=mdettweiler [2015-06-24 17:54:06] 689*2^1401280-1 is not prime. Res64: 9C02361CC99C731A Time : 0.0 sec. user=mdettweiler [2015-06-24 17:54:07] 719*2^1401280-1 is not prime. Res64: BF147787AE46AB68 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:01:25] 743*2^1401280-1 is not prime. Res64: B694551EDBE517A6 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:01:26] 813*2^1401280-1 is not prime. Res64: 79249B68D144995B Time : 0.0 sec. user=mdettweiler [2015-06-24 18:01:35] 819*2^1401280-1 is not prime. Res64: EB30EFE2A551FCF5 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:01:36] 857*2^1401280-1 is not prime. Res64: 67C8601BF208480F Time : 0.0 sec. user=juhehe [2015-06-24 18:03:18] 909*2^1401279-1 is not prime. Res64: E6C577B902A2DD97 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:11:36] 917*2^1401280-1 is not prime. Res64: BD4EE351C3733EC9 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:11:37] 769*2^1401281-1 is not prime. Res64: 9D25A52F40ED5347 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:18:56] 789*2^1401281-1 is not prime. Res64: 7947E87332310995 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:18:57] 865*2^1401281-1 is not prime. Res64: 695004DEA60D6193 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:19:02] 879*2^1401281-1 is not prime. Res64: FB9B3F77C6CAC18A Time : 0.0 sec. user=mdettweiler [2015-06-24 18:19:02] 925*2^1401281-1 is not prime. Res64: 2C4783DF449C4BEF Time : 0.0 sec. user=mdettweiler [2015-06-24 18:29:00] 747*2^1401282-1 is not prime. Res64: 10C06E1F63F54723 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:29:00] 873*2^1401282-1 is not prime. Res64: E45EDE677CC5E477 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:36:18] 975*2^1401282-1 is not prime. Res64: 15D85F5B2D610E38 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:36:18] 633*2^1401283-1 is not prime. Res64: 4798FA014F203C7D Time : 0.0 sec. user=mdettweiler [2015-06-24 18:36:22] 685*2^1401283-1 is not prime. Res64: FA34B356C6AA9B02 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:36:22] 741*2^1401283-1 is not prime. Res64: 810960F6A5686C9A Time : 0.0 sec. user=mdettweiler [2015-06-24 18:46:17] 819*2^1401283-1 is not prime. Res64: 8A13EEE87C2B9AB0 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:46:18] 853*2^1401283-1 is not prime. Res64: 0F93C1707FA2994E Time : 0.0 sec. user=mdettweiler [2015-06-24 18:53:36] 891*2^1401283-1 is not prime. Res64: 34A95267ADAF67AD Time : 0.0 sec. user=mdettweiler [2015-06-24 18:53:36] 973*2^1401283-1 is not prime. Res64: 5B6652C9F974E9AC Time : 0.0 sec. user=mdettweiler [2015-06-24 18:53:40] 759*2^1401284-1 is not prime. Res64: 1A2893719470D447 Time : 0.0 sec. user=mdettweiler [2015-06-24 18:53:40] 893*2^1401284-1 is not prime. Res64: 44309CC8B7DD2BD2 Time : 0.0 sec. user=mdettweiler [2015-06-24 19:03:36] 765*2^1401285-1 is not prime. Res64: 48036838AE05FE03 Time : 0.0 sec. user=mdettweiler [2015-06-24 19:03:38] 819*2^1401285-1 is not prime. Res64: D4C890B084B3646B Time : 0.0 sec. user=mdettweiler [2015-06-24 19:10:55] 859*2^1401285-1 is not prime. Res64: C19B8171AFE285A5 Time : 0.0 sec. user=mdettweiler [2015-06-24 19:10:56] 895*2^1401285-1 is not prime. Res64: 6D144B39541FAEAE Time : 0.0 sec. user=mdettweiler [2015-06-24 19:10:58] 951*2^1401285-1 is not prime. Res64: CB2DBEC9C379FAEB Time : 0.0 sec. user=mdettweiler [2015-06-24 19:10:59] 979*2^1401285-1 is not prime. Res64: D1C02876CE59592A Time : 0.0 sec. user=mdettweiler [2015-06-24 19:21:05] 603*2^1401286-1 is not prime. Res64: 1F4D464A8750B05D Time : 0.0 sec. user=mdettweiler [2015-06-24 19:21:05] 617*2^1401286-1 is not prime. Res64: 051D7CEB4F3FB6D2 Time : 0.0 sec. user=juhehe [2015-06-24 19:21:13] 667*2^1401285-1 is not prime. Res64: B472F5E44B9880FC Time : 0.0 sec. user=mdettweiler [2015-06-24 19:28:18] 713*2^1401286-1 is not prime. Res64: 99EF8CDE49CB7F1B Time : 0.0 sec. user=mdettweiler [2015-06-24 19:28:18] 741*2^1401286-1 is not prime. Res64: 90A9AD49319D454A Time : 0.0 sec. user=mdettweiler [2015-06-24 19:28:19] 825*2^1401286-1 is not prime. Res64: 0FAB78C39EC7006B Time : 0.0 sec. user=mdettweiler [2015-06-24 19:28:20] 833*2^1401286-1 is not prime. Res64: CD84D524CCEB3926 Time : 0.0 sec. user=mdettweiler [2015-06-24 19:38:24] 933*2^1401286-1 is not prime. Res64: 242422E08E93E5C0 Time : 0.0 sec. user=mdettweiler [2015-06-24 19:38:24] 603*2^1401287-1 is not prime. Res64: 6EB5DCA4A929CB42 Time : 0.0 sec. user=mdettweiler [2015-06-24 19:45:37] 621*2^1401287-1 is not prime. Res64: 4EFBE7AB6CAE72B1 Time : 0.0 sec. user=mdettweiler [2015-06-24 19:45:37] 633*2^1401287-1 is not prime. Res64: 954A5DDE6F936B6B Time : 0.0 sec. user=mdettweiler [2015-06-24 19:45:37] 645*2^1401287-1 is not prime. Res64: D898A85BA553A60C Time : 0.0 sec. user=mdettweiler [2015-06-24 19:45:38] 715*2^1401287-1 is not prime. Res64: 4F161289F4D3861E Time : 0.0 sec. user=mdettweiler [2015-06-24 19:55:42] 805*2^1401287-1 is not prime. Res64: FFBDE59CF9948385 Time : 0.0 sec. user=mdettweiler [2015-06-24 19:55:42] 865*2^1401287-1 is not prime. Res64: 3E1B79966815C8F3 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:02:56] 955*2^1401287-1 is not prime. Res64: 77D8EC8DE9053B3C Time : 0.0 sec. user=mdettweiler [2015-06-24 20:02:57] 713*2^1401288-1 is not prime. Res64: ED76A604FC7F8D34 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:02:58] 629*2^1401288-1 is not prime. Res64: 35B17527041FFFC4 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:02:59] 759*2^1401288-1 is not prime. Res64: 2A23B8BD235A7BD4 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:13:00] 795*2^1401288-1 is not prime. Res64: FB1034D96566C793 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:13:00] 875*2^1401288-1 is not prime. Res64: 1C8F570C85DE949D Time : 0.0 sec. user=mdettweiler [2015-06-24 20:20:55] 933*2^1401288-1 is not prime. Res64: 3FB5A214C264E770 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:20:55] 601*2^1401289-1 is not prime. Res64: E278730D9638AF1B Time : 0.0 sec. user=mdettweiler [2015-06-24 20:20:56] 619*2^1401289-1 is not prime. Res64: 3633E4C7901B9EBE Time : 0.0 sec. user=mdettweiler [2015-06-24 20:20:57] 919*2^1401289-1 is not prime. Res64: EDBEC007A30CED16 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:30:21] 999*2^1401289-1 is not prime. Res64: D6806ABBC79B5185 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:30:21] 633*2^1401290-1 is not prime. Res64: DDCA77D70B8399C9 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:38:18] 657*2^1401290-1 is not prime. Res64: 7F3ADC7C876FA817 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:38:19] 731*2^1401290-1 is not prime. Res64: EDCDD07621F9D0BD Time : 0.0 sec. user=mdettweiler [2015-06-24 20:38:19] 711*2^1401290-1 is not prime. Res64: 5502A36062A1B0FE Time : 0.0 sec. user=mdettweiler [2015-06-24 20:38:19] 767*2^1401290-1 is not prime. Res64: 4EAE1B689D0EC6A3 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:47:43] 797*2^1401290-1 is not prime. Res64: C405A5BA85523D48 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:47:44] 825*2^1401290-1 is not prime. Res64: 255750A09223B5F3 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:55:38] 769*2^1401291-1 is not prime. Res64: B924193A70C22786 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:55:38] 895*2^1401291-1 is not prime. Res64: 9527857A8DB31953 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:55:40] 1001*2^1401290-1 is not prime. Res64: BD12C0654041EBE7 Time : 0.0 sec. user=mdettweiler [2015-06-24 20:55:40] 741*2^1401291-1 is not prime. Res64: CBAF0A8BA2A87D72 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:05:02] 903*2^1401291-1 is not prime. Res64: BCAFC1768D72870F Time : 0.0 sec. user=mdettweiler [2015-06-24 21:05:04] 921*2^1401291-1 is not prime. Res64: C0AE7A94C42A74E6 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:12:57] 639*2^1401292-1 is not prime. Res64: FAAC76E46E199260 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:12:57] 677*2^1401292-1 is not prime. Res64: 6A9842D15F949B96 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:12:57] 665*2^1401292-1 is not prime. Res64: A889E5385E5D4CCB Time : 0.0 sec. user=mdettweiler [2015-06-24 21:12:57] 833*2^1401292-1 is not prime. Res64: A868C730CC831F04 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:22:32] 929*2^1401292-1 is not prime. Res64: A878B5078C02A121 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:22:33] 965*2^1401292-1 is not prime. Res64: 552744143366C69D Time : 0.0 sec. user=mdettweiler [2015-06-24 21:30:18] 975*2^1401292-1 is not prime. Res64: 1A5AAE321F8586A5 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:30:18] 989*2^1401292-1 is not prime. Res64: 87DDDE5294A15795 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:30:18] 747*2^1401293-1 is not prime. Res64: CC2AA4F1531B54FE Time : 0.0 sec. user=mdettweiler [2015-06-24 21:30:18] 937*2^1401293-1 is not prime. Res64: C6E795534C3E45AF Time : 0.0 sec. user=juhehe [2015-06-24 21:33:00] 999*2^1401291-1 is not prime. Res64: B828F94621951055 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:39:49] 717*2^1401294-1 is not prime. Res64: B8F10893F423B030 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:39:50] 737*2^1401294-1 is not prime. Res64: AD89F7DCCA2C0859 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:47:36] 741*2^1401294-1 is not prime. Res64: 18AF1F82F14A611A Time : 0.0 sec. user=mdettweiler [2015-06-24 21:47:36] 747*2^1401294-1 is not prime. Res64: 5C4994C119711634 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:47:36] 825*2^1401294-1 is not prime. Res64: 85572C985AE6D2D7 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:47:37] 947*2^1401294-1 is not prime. Res64: 62A2CEC6705A1370 Time : 0.0 sec. user=mdettweiler [2015-06-24 21:57:07] 965*2^1401294-1 is not prime. Res64: 2BDE64145E08B67E Time : 0.0 sec. user=mdettweiler [2015-06-24 21:57:08] 741*2^1401295-1 is not prime. Res64: B023BAF7E4B9DFB7 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:04:55] 831*2^1401295-1 is not prime. Res64: 1CE1520EC74FB3D7 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:04:55] 765*2^1401295-1 is not prime. Res64: D9AD9D9B78FBFE3F Time : 0.0 sec. user=mdettweiler [2015-06-24 22:04:57] 855*2^1401295-1 is not prime. Res64: 1109257EFB51ED38 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:04:57] 793*2^1401295-1 is not prime. Res64: A81165F369CE1795 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:14:25] 933*2^1401295-1 is not prime. Res64: 8E627751C48BAF44 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:14:26] 951*2^1401295-1 is not prime. Res64: 74ECB5081ABF7852 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:22:16] 999*2^1401295-1 is not prime. Res64: D2D8E050FEF0D8B3 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:22:16] 633*2^1401296-1 is not prime. Res64: A54B8247894ABEA3 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:22:17] 725*2^1401296-1 is not prime. Res64: 7EF4BED6D5578DDD Time : 0.0 sec. user=mdettweiler [2015-06-24 22:22:17] 781*2^1401297-1 is not prime. Res64: 1E56E337CB1DE3E4 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:31:44] 611*2^1401298-1 is not prime. Res64: 34217493658505C9 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:31:44] 645*2^1401298-1 is not prime. Res64: 88E26B03B9C4A5D7 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:39:34] 713*2^1401298-1 is not prime. Res64: 394876DB18CD8AE7 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:39:35] 845*2^1401298-1 is not prime. Res64: 81964DA64BBC75A0 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:39:35] 887*2^1401298-1 is not prime. Res64: E51E1856C3F8A40B Time : 0.0 sec. user=mdettweiler [2015-06-24 22:39:35] 891*2^1401298-1 is not prime. Res64: 29C32BB0CA848C59 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:49:01] 971*2^1401298-1 is not prime. Res64: D5E1758181C35906 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:49:02] 995*2^1401298-1 is not prime. Res64: 6FCA051018C68B0B Time : 0.0 sec. user=mdettweiler [2015-06-24 22:56:54] 693*2^1401299-1 is not prime. Res64: 53A79391D07DD20F Time : 0.0 sec. user=mdettweiler [2015-06-24 22:56:54] 645*2^1401299-1 is not prime. Res64: D3309BB68A8ED6BE Time : 0.0 sec. user=mdettweiler [2015-06-24 22:56:54] 843*2^1401299-1 is not prime. Res64: 8D9F31FB3DE84E94 Time : 0.0 sec. user=mdettweiler [2015-06-24 22:56:54] 669*2^1401299-1 is not prime. Res64: BB0A17748BBEC5C3 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:06:22] 903*2^1401299-1 is not prime. Res64: 242A5E72397B1C4E Time : 0.0 sec. user=mdettweiler [2015-06-24 23:06:22] 991*2^1401299-1 is not prime. Res64: BC02855A7EEDDA58 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:14:12] 627*2^1401300-1 is not prime. Res64: 1E3FD41FE4B34C5C Time : 0.0 sec. user=mdettweiler [2015-06-24 23:14:13] 923*2^1401300-1 is not prime. Res64: BC5940D4DC0AAE48 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:14:13] 819*2^1401300-1 is not prime. Res64: 3B957702BE67D861 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:14:13] 929*2^1401300-1 is not prime. Res64: A4CABAC891F9A2D6 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:23:42] 957*2^1401300-1 is not prime. Res64: 1EF320EDBC7CF413 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:23:42] 983*2^1401300-1 is not prime. Res64: B8B42E5C20AF3E2D Time : 0.0 sec. user=mdettweiler [2015-06-24 23:31:33] 855*2^1401301-1 is not prime. Res64: 0472E0BBDC766293 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:31:33] 867*2^1401301-1 is not prime. Res64: C33E13D8B125EBB9 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:31:34] 639*2^1401301-1 is not prime. Res64: 3E31C64B1FFC6778 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:31:34] 847*2^1401301-1 is not prime. Res64: DFCCC3FD1A367664 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:41:00] 987*2^1401301-1 is not prime. Res64: F319928255CB0D81 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:41:00] 711*2^1401302-1 is not prime. Res64: E6629E103F505342 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:48:51] 741*2^1401302-1 is not prime. Res64: 4754618A76237294 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:48:51] 801*2^1401302-1 is not prime. Res64: 3B2BF95DA14B45ED Time : 0.0 sec. user=mdettweiler [2015-06-24 23:48:51] 921*2^1401302-1 is not prime. Res64: FC1B6193C1B37EBD Time : 0.0 sec. user=mdettweiler [2015-06-24 23:48:52] 923*2^1401302-1 is not prime. Res64: 4F54EF5D20CCCA83 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:58:18] 941*2^1401302-1 is not prime. Res64: 3FB4DC5B54D8B822 Time : 0.0 sec. user=mdettweiler [2015-06-24 23:58:18] 963*2^1401302-1 is not prime. Res64: F564D24AF53D4255 Time : 0.0 sec.