user=mdettweiler [2016-11-08 00:25:04] 997*2^1445269-1 is not prime. Res64: A60B9413B9261C07 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:25:05] 645*2^1445270-1 is not prime. Res64: DB6EBA3FE8093B8B Time : 0.0 sec. user=mdettweiler [2016-11-08 00:25:06] 861*2^1445270-1 is not prime. Res64: 8F5D1A1DDB291FC8 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:25:10] 867*2^1445270-1 is not prime. Res64: A3585B9E6FB9C4A3 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:25:11] 887*2^1445270-1 is not prime. Res64: 92CF65846DBC90AA Time : 0.0 sec. user=mdettweiler [2016-11-08 00:26:23] 935*2^1445270-1 is not prime. Res64: F7A2B2EAED9DD4B3 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:26:24] 941*2^1445270-1 is not prime. Res64: 6E53EEBA1D594AF1 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:26:24] 1001*2^1445270-1 is not prime. Res64: 96D642C43DB74AE3 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:26:25] 649*2^1445271-1 is not prime. Res64: 420F1EAB360CCE11 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:26:25] 735*2^1445271-1 is not prime. Res64: 6616CA0DA8E56FC8 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:48:13] 775*2^1445271-1 is not prime. Res64: 25C665F9F8E164D4 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:48:13] 975*2^1445271-1 is not prime. Res64: 9FC6552DB15147A5 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:48:14] 653*2^1445272-1 is not prime. Res64: E214EC174E917481 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:48:14] 693*2^1445272-1 is not prime. Res64: 1877C4302AFC06BA Time : 0.0 sec. user=mdettweiler [2016-11-08 00:48:14] 843*2^1445272-1 is not prime. Res64: DD91BDF1DEA37F3A Time : 0.0 sec. user=mdettweiler [2016-11-08 00:49:21] 869*2^1445272-1 is not prime. Res64: D44E177FC23181F6 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:49:21] 899*2^1445272-1 is not prime. Res64: 4CE4DD8E7EF94604 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:49:21] 923*2^1445272-1 is not prime. Res64: B3F29ACBB1BD2C44 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:49:22] 947*2^1445272-1 is not prime. Res64: 994DF90A31168626 Time : 0.0 sec. user=mdettweiler [2016-11-08 00:49:22] 975*2^1445272-1 is not prime. Res64: F0AB648E5D1CC1C0 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:18:45] 649*2^1445273-1 is not prime. Res64: 81392689194E42F6 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:18:46] 759*2^1445273-1 is not prime. Res64: 572229925CAF5421 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:18:46] 789*2^1445273-1 is not prime. Res64: 04EEF930DBF89DE0 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:18:46] 991*2^1445273-1 is not prime. Res64: 1C5CEA1B179BBC20 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:18:47] 615*2^1445274-1 is not prime. Res64: 08E25BCA506A1B47 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:19:58] 747*2^1445274-1 is not prime. Res64: 68743A4AEC101074 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:19:58] 921*2^1445274-1 is not prime. Res64: 73E3F9ABD0F06142 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:19:58] 957*2^1445274-1 is not prime. Res64: A495D3AC00E4E289 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:19:58] 723*2^1445275-1 is not prime. Res64: 585D5C8CAE5F8D1A Time : 0.0 sec. user=mdettweiler [2016-11-08 01:19:59] 855*2^1445275-1 is not prime. Res64: F47EDA172C457801 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:45:18] 661*2^1445277-1 is not prime. Res64: 14007C05ED517FE4 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:45:19] 999*2^1445277-1 is not prime. Res64: 440ACF693E7034E4 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:45:19] 611*2^1445278-1 is not prime. Res64: 393E0BD9AB309CDE Time : 0.0 sec. user=mdettweiler [2016-11-08 01:45:19] 621*2^1445278-1 is not prime. Res64: E47CE7D5CD87C3F0 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:45:20] 657*2^1445278-1 is not prime. Res64: EBAE77DE2179F2E1 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:45:20] 915*2^1445275-1 is not prime. Res64: E70BC0FC4E2B1B86 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:45:21] 633*2^1445276-1 is not prime. Res64: 1A57169AB94F4D57 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:45:21] 635*2^1445276-1 is not prime. Res64: 812A61BF939ACEE6 Time : 0.0 sec. user=mdettweiler [2016-11-08 01:45:22] 707*2^1445276-1 is not prime. Res64: EB405526A828A75C Time : 0.0 sec. user=mdettweiler [2016-11-08 01:45:23] 837*2^1445276-1 is not prime. Res64: E0FDCBB331CEAD4E Time : 0.0 sec. user=mdettweiler [2016-11-08 02:20:15] 615*2^1445279-1 is not prime. Res64: E925507CA067C75F Time : 0.0 sec. user=mdettweiler [2016-11-08 02:20:15] 619*2^1445279-1 is not prime. Res64: 451D6261DADC4D83 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:20:15] 771*2^1445279-1 is not prime. Res64: 0EF5A85D84D61E46 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:20:17] 825*2^1445279-1 is not prime. Res64: 6121CC455AB1B970 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:20:18] 853*2^1445279-1 is not prime. Res64: 536CBA2325BB17B9 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:20:27] 707*2^1445278-1 is not prime. Res64: 260FFBAD7962A50B Time : 0.0 sec. user=mdettweiler [2016-11-08 02:20:28] 731*2^1445278-1 is not prime. Res64: 4ECC28B1F7E74BF7 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:20:28] 737*2^1445278-1 is not prime. Res64: 8CF937A26793F8AD Time : 0.0 sec. user=mdettweiler [2016-11-08 02:20:28] 777*2^1445278-1 is not prime. Res64: 12BEE917978951AC Time : 0.0 sec. user=mdettweiler [2016-11-08 02:20:29] 601*2^1445279-1 is not prime. Res64: 27C756C714473155 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:42:49] 955*2^1445279-1 is not prime. Res64: 1539A1752DAB963B Time : 0.0 sec. user=mdettweiler [2016-11-08 02:42:50] 979*2^1445279-1 is not prime. Res64: E966C46CD2BD3632 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:42:50] 993*2^1445279-1 is not prime. Res64: FBE97C6379EA3F5D Time : 0.0 sec. user=mdettweiler [2016-11-08 02:42:51] 999*2^1445279-1 is not prime. Res64: EC26E5E8EF87DDAA Time : 0.0 sec. user=mdettweiler [2016-11-08 02:42:51] 689*2^1445280-1 is not prime. Res64: C1337586F6252830 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:43:09] 855*2^1445279-1 is not prime. Res64: 81D2D50DFAE9CEC6 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:43:09] 859*2^1445279-1 is not prime. Res64: DC845FB888845272 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:43:10] 865*2^1445279-1 is not prime. Res64: 8DBF994231E5FEF4 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:43:10] 931*2^1445279-1 is not prime. Res64: DF8D428E6BF294E8 Time : 0.0 sec. user=mdettweiler [2016-11-08 02:43:10] 949*2^1445279-1 is not prime. Res64: DAE4DEDE58B3A798 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:13:11] 735*2^1445280-1 is not prime. Res64: 415ED4F8BA419962 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:13:12] 767*2^1445280-1 is not prime. Res64: A662158236BF1B6F Time : 0.0 sec. user=mdettweiler [2016-11-08 03:13:12] 789*2^1445280-1 is not prime. Res64: 9C38A5BCDFA80631 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:13:13] 917*2^1445280-1 is not prime. Res64: 5440CD5D32FFAF49 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:13:13] 959*2^1445280-1 is not prime. Res64: 99C3721641D84D8B Time : 0.0 sec. user=mdettweiler [2016-11-08 03:13:34] 649*2^1445281-1 is not prime. Res64: FF874F24F99E8CA8 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:13:34] 685*2^1445281-1 is not prime. Res64: 9B19CB7C2E8FFC95 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:13:35] 745*2^1445281-1 is not prime. Res64: D531C680E9464888 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:13:36] 829*2^1445281-1 is not prime. Res64: 4720AC80F60F9489 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:13:37] 847*2^1445281-1 is not prime. Res64: E01EF564B4F40D4D Time : 0.0 sec. user=mdettweiler [2016-11-08 03:35:42] 683*2^1445282-1 is not prime. Res64: C35AE60DFF67C54F Time : 0.0 sec. user=mdettweiler [2016-11-08 03:35:44] 713*2^1445282-1 is not prime. Res64: BE3BECDDDA05645C Time : 0.0 sec. user=mdettweiler [2016-11-08 03:35:48] 825*2^1445282-1 is not prime. Res64: C85F18350B233111 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:35:50] 843*2^1445282-1 is not prime. Res64: F86178297446CAAC Time : 0.0 sec. user=mdettweiler [2016-11-08 03:35:51] 893*2^1445282-1 is not prime. Res64: 7797F6C6865EBE38 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:36:32] 925*2^1445281-1 is not prime. Res64: 3BA03A768DBAD587 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:36:34] 997*2^1445281-1 is not prime. Res64: 79DF8C8215B1AD40 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:36:35] 623*2^1445282-1 is not prime. Res64: 9B41CEE4DE3D6249 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:36:36] 633*2^1445282-1 is not prime. Res64: FF57237ED2DE7826 Time : 0.0 sec. user=mdettweiler [2016-11-08 03:36:37] 665*2^1445282-1 is not prime. Res64: 9587824562AA65E6 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:06:10] 921*2^1445282-1 is not prime. Res64: 415DB0CB4201D85C Time : 0.0 sec. user=mdettweiler [2016-11-08 04:06:12] 953*2^1445282-1 is not prime. Res64: 885CA51C40775D68 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:06:15] 963*2^1445282-1 is not prime. Res64: 3FA23A5D97FDA424 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:06:17] 981*2^1445282-1 is not prime. Res64: 86F4A60948A273DD Time : 0.0 sec. user=mdettweiler [2016-11-08 04:06:18] 735*2^1445283-1 is not prime. Res64: EBA047FDAC22D740 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:07:05] 789*2^1445283-1 is not prime. Res64: 7E913C1B2590220E Time : 0.0 sec. user=mdettweiler [2016-11-08 04:07:06] 819*2^1445283-1 is not prime. Res64: 809FE472F49C6EB5 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:07:07] 901*2^1445283-1 is not prime. Res64: FA39ABFB3282A9C5 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:07:08] 951*2^1445283-1 is not prime. Res64: 079125A9A0A48CB3 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:07:09] 963*2^1445283-1 is not prime. Res64: 82A90790BC82DB89 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:29:58] 973*2^1445283-1 is not prime. Res64: B48B8A1FB4BAD8A9 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:29:59] 677*2^1445284-1 is not prime. Res64: 01FB6CF1EA2B62E0 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:29:59] 903*2^1445284-1 is not prime. Res64: A89005CCB7286E40 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:30:00] 929*2^1445284-1 is not prime. Res64: 570615F99C281D38 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:30:00] 771*2^1445285-1 is not prime. Res64: 06D122342BCE3352 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:31:47] 777*2^1445285-1 is not prime. Res64: DD3813CBD1CE124E Time : 0.0 sec. user=mdettweiler [2016-11-08 04:31:47] 805*2^1445285-1 is not prime. Res64: 59EF1B94473E5C2D Time : 0.0 sec. user=mdettweiler [2016-11-08 04:31:47] 811*2^1445285-1 is not prime. Res64: 2B1A7581C2A7B40C Time : 0.0 sec. user=mdettweiler [2016-11-08 04:31:48] 819*2^1445285-1 is not prime. Res64: E2626DA325055D2A Time : 0.0 sec. user=mdettweiler [2016-11-08 04:31:48] 865*2^1445285-1 is not prime. Res64: 6708CEA5A3DCFF7E Time : 0.0 sec. user=mdettweiler [2016-11-08 04:59:37] 657*2^1445286-1 is not prime. Res64: 2DBC1EC294975A10 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:59:37] 717*2^1445286-1 is not prime. Res64: A4B05CDD86331399 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:59:38] 723*2^1445286-1 is not prime. Res64: 7AD1B4FCF77C835C Time : 0.0 sec. user=mdettweiler [2016-11-08 04:59:38] 765*2^1445286-1 is not prime. Res64: F2A149C5646CA316 Time : 0.0 sec. user=mdettweiler [2016-11-08 04:59:38] 891*2^1445286-1 is not prime. Res64: 7F77E95E1E29D8A6 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:00:41] 947*2^1445286-1 is not prime. Res64: CBA8F600DCE4238D Time : 0.0 sec. user=mdettweiler [2016-11-08 05:00:42] 983*2^1445286-1 is not prime. Res64: 819665EE6D158AE8 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:00:43] 609*2^1445287-1 is not prime. Res64: 2BC323B365A51F6E Time : 0.0 sec. user=mdettweiler [2016-11-08 05:00:43] 619*2^1445287-1 is not prime. Res64: F0B7F8C160075F36 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:00:44] 645*2^1445287-1 is not prime. Res64: 6723B655E6FA9ACB Time : 0.0 sec. user=mdettweiler [2016-11-08 05:23:19] 715*2^1445287-1 is not prime. Res64: B52ECE1F071D1068 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:23:20] 765*2^1445287-1 is not prime. Res64: AF2B5F89A57ADB4C Time : 0.0 sec. user=mdettweiler [2016-11-08 05:23:20] 895*2^1445287-1 is not prime. Res64: 98F32DF8BA21E494 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:23:20] 909*2^1445287-1 is not prime. Res64: 175B4D63F704D6C3 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:23:21] 919*2^1445287-1 is not prime. Res64: BDE8AA192B972925 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:24:48] 993*2^1445287-1 is not prime. Res64: 4B3169B851FA0306 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:24:48] 797*2^1445288-1 is not prime. Res64: 51B0EF27C100212C Time : 0.0 sec. user=mdettweiler [2016-11-08 05:24:49] 815*2^1445288-1 is not prime. Res64: 16E57C8A4287652C Time : 0.0 sec. user=mdettweiler [2016-11-08 05:24:49] 869*2^1445288-1 is not prime. Res64: A9EA18328ACFD3DE Time : 0.0 sec. user=mdettweiler [2016-11-08 05:24:49] 945*2^1445288-1 is not prime. Res64: BB9D1A0FA7BE5321 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:52:31] 995*2^1445288-1 is not prime. Res64: 8D9417E4AC722126 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:52:32] 609*2^1445289-1 is not prime. Res64: 390D91C13063699E Time : 0.0 sec. user=mdettweiler [2016-11-08 05:52:32] 627*2^1445289-1 is not prime. Res64: 4DD67A3E067E2354 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:52:32] 741*2^1445289-1 is not prime. Res64: 31708FC4291E65A2 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:52:33] 747*2^1445289-1 is not prime. Res64: 84C6E0DD37E794D6 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:53:24] 895*2^1445289-1 is not prime. Res64: 3D046FA8FF8615FB Time : 0.0 sec. user=mdettweiler [2016-11-08 05:53:24] 997*2^1445289-1 is not prime. Res64: C4ECA5BF70C687F0 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:53:24] 605*2^1445290-1 is not prime. Res64: C78CCF598BEA859E Time : 0.0 sec. user=mdettweiler [2016-11-08 05:53:25] 717*2^1445290-1 is not prime. Res64: 5ECD26224E097796 Time : 0.0 sec. user=mdettweiler [2016-11-08 05:53:25] 791*2^1445290-1 is not prime. Res64: E9F55218B9FA3633 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:17:07] 845*2^1445290-1 is not prime. Res64: CBFE50297A83459C Time : 0.0 sec. user=mdettweiler [2016-11-08 06:17:08] 867*2^1445290-1 is not prime. Res64: F2D2D9DC2DAACCEC Time : 0.0 sec. user=mdettweiler [2016-11-08 06:17:08] 933*2^1445290-1 is not prime. Res64: 215F25911F7FB383 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:17:08] 643*2^1445291-1 is not prime. Res64: F25A78C0DB392C21 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:17:09] 693*2^1445291-1 is not prime. Res64: A76926F826C2B285 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:18:33] 711*2^1445291-1 is not prime. Res64: 91990CF228C7BC71 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:18:34] 783*2^1445291-1 is not prime. Res64: 57BA8734450BFE34 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:18:34] 811*2^1445291-1 is not prime. Res64: 8F60F9B19E8789AD Time : 0.0 sec. user=mdettweiler [2016-11-08 06:18:35] 841*2^1445291-1 is not prime. Res64: 121E92F46C588A66 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:18:35] 843*2^1445291-1 is not prime. Res64: 1D8561AD69CF2B39 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:45:28] 859*2^1445291-1 is not prime. Res64: 0494C74C809BD27C Time : 0.0 sec. user=mdettweiler [2016-11-08 06:45:29] 879*2^1445291-1 is not prime. Res64: 80C472A3B627498A Time : 0.0 sec. user=mdettweiler [2016-11-08 06:45:29] 969*2^1445291-1 is not prime. Res64: AA116304A750DDFD Time : 0.0 sec. user=mdettweiler [2016-11-08 06:45:29] 993*2^1445291-1 is not prime. Res64: E88FB1BCCA24568A Time : 0.0 sec. user=mdettweiler [2016-11-08 06:45:30] 635*2^1445292-1 is not prime. Res64: 5BF33825DC1D7BBD Time : 0.0 sec. user=mdettweiler [2016-11-08 06:47:34] 665*2^1445292-1 is not prime. Res64: 70AA7E5F41BB7122 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:47:35] 669*2^1445292-1 is not prime. Res64: 6C485F468B3384F4 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:47:35] 759*2^1445292-1 is not prime. Res64: F53203D25F017482 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:47:36] 803*2^1445292-1 is not prime. Res64: 10C1F8772A3283B8 Time : 0.0 sec. user=mdettweiler [2016-11-08 06:47:36] 863*2^1445292-1 is not prime. Res64: C1F55319F68DE049 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:10:29] 699*2^1445293-1 is not prime. Res64: 9342F6EAC703F1DD Time : 0.0 sec. user=mdettweiler [2016-11-08 07:10:34] 757*2^1445293-1 is not prime. Res64: FF98B2D0FE910C6B Time : 0.0 sec. user=mdettweiler [2016-11-08 07:10:36] 775*2^1445293-1 is not prime. Res64: 6CE860F4FCAB4521 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:10:40] 937*2^1445293-1 is not prime. Res64: 0DA1371A960C84BD Time : 0.0 sec. user=mdettweiler [2016-11-08 07:10:43] 957*2^1445293-1 is not prime. Res64: 4B943718B4428E57 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:11:38] 605*2^1445294-1 is not prime. Res64: B96F18FE12ABF45B Time : 0.0 sec. user=mdettweiler [2016-11-08 07:11:44] 615*2^1445294-1 is not prime. Res64: DDB13537A009C726 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:11:47] 635*2^1445294-1 is not prime. Res64: 6CCFD29B36DEA2CB Time : 0.0 sec. user=mdettweiler [2016-11-08 07:11:49] 677*2^1445294-1 is not prime. Res64: 264FAB6380351B02 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:11:50] 711*2^1445294-1 is not prime. Res64: 9D0E22919475257E Time : 0.0 sec. user=mdettweiler [2016-11-08 07:38:07] 747*2^1445294-1 is not prime. Res64: 3C080B518A442DC5 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:38:08] 831*2^1445294-1 is not prime. Res64: 608A027D58C5383A Time : 0.0 sec. user=mdettweiler [2016-11-08 07:38:08] 875*2^1445294-1 is not prime. Res64: 90E52122836D9D04 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:38:08] 903*2^1445294-1 is not prime. Res64: 26564B8B59998F80 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:38:08] 923*2^1445294-1 is not prime. Res64: 895C5D52BA0576B9 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:40:18] 935*2^1445294-1 is not prime. Res64: F9A8AAE25D01A173 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:40:18] 971*2^1445294-1 is not prime. Res64: 447807B54958A2FE Time : 0.0 sec. user=mdettweiler [2016-11-08 07:40:18] 609*2^1445295-1 is not prime. Res64: 13D3B4DADAC9D5BE Time : 0.0 sec. user=mdettweiler [2016-11-08 07:40:19] 763*2^1445295-1 is not prime. Res64: B92ADD585D7AC0F0 Time : 0.0 sec. user=mdettweiler [2016-11-08 07:40:19] 861*2^1445295-1 is not prime. Res64: 1C3089CAA3220F87 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:03:58] 885*2^1445295-1 is not prime. Res64: CD43EB095C3AB49F Time : 0.0 sec. user=mdettweiler [2016-11-08 08:04:01] 921*2^1445295-1 is not prime. Res64: 834D70DBD52CDE7E Time : 0.0 sec. user=mdettweiler [2016-11-08 08:04:02] 951*2^1445295-1 is not prime. Res64: 7EA7EC780AD6E1B4 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:04:03] 979*2^1445295-1 is not prime. Res64: 9BA0AEA12211165B Time : 0.0 sec. user=mdettweiler [2016-11-08 08:04:04] 693*2^1445296-1 is not prime. Res64: A2186111FD594158 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:05:31] 813*2^1445296-1 is not prime. Res64: E1A8A2AC35A44FC9 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:05:33] 845*2^1445296-1 is not prime. Res64: B9C6032691EE540A Time : 0.0 sec. user=mdettweiler [2016-11-08 08:05:34] 855*2^1445296-1 is not prime. Res64: CC166948A6594105 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:05:35] 897*2^1445296-1 is not prime. Res64: D30666590F34E265 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:05:36] 627*2^1445297-1 is not prime. Res64: F827B26416358F67 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:32:09] 631*2^1445297-1 is not prime. Res64: D04FA6F94B22F1D7 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:32:10] 717*2^1445297-1 is not prime. Res64: 49ED9DEC6E09B1E5 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:32:10] 871*2^1445297-1 is not prime. Res64: 3E63A8181E8B4EBB Time : 0.0 sec. user=mdettweiler [2016-11-08 08:32:10] 879*2^1445297-1 is not prime. Res64: B73AA09C95A84C54 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:32:10] 901*2^1445297-1 is not prime. Res64: BAD65731068E63BF Time : 0.0 sec. user=mdettweiler [2016-11-08 08:33:38] 621*2^1445298-1 is not prime. Res64: 091750AD32040D88 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:33:39] 681*2^1445298-1 is not prime. Res64: D420B2843A89F51F Time : 0.0 sec. user=mdettweiler [2016-11-08 08:33:39] 705*2^1445298-1 is not prime. Res64: 8A190897FAC2FC06 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:33:39] 725*2^1445298-1 is not prime. Res64: 778061857C11CFA2 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:33:40] 797*2^1445298-1 is not prime. Res64: 4430DDFA89523192 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:57:15] 867*2^1445298-1 is not prime. Res64: FF781BFAF9F41A0D Time : 0.0 sec. user=mdettweiler [2016-11-08 08:57:16] 751*2^1445299-1 is not prime. Res64: C47048AB56AFC8DC Time : 0.0 sec. user=mdettweiler [2016-11-08 08:57:16] 789*2^1445299-1 is not prime. Res64: A46A62F8F6150F56 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:57:16] 951*2^1445299-1 is not prime. Res64: A0EF29F9C755764E Time : 0.0 sec. user=mdettweiler [2016-11-08 08:57:17] 975*2^1445299-1 is not prime. Res64: 14A73EA63CEFF9CE Time : 0.0 sec. user=mdettweiler [2016-11-08 08:59:50] 719*2^1445300-1 is not prime. Res64: E7F983C29D946D27 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:59:50] 795*2^1445300-1 is not prime. Res64: 9451C0183F562B68 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:59:50] 875*2^1445300-1 is not prime. Res64: 41CE3B1D67673B50 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:59:51] 885*2^1445300-1 is not prime. Res64: BCFF51D4FBBDCED6 Time : 0.0 sec. user=mdettweiler [2016-11-08 08:59:51] 923*2^1445300-1 is not prime. Res64: 58B5224DDE498344 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:25:51] 621*2^1445301-1 is not prime. Res64: F0B46E7F0ECE105D Time : 0.0 sec. user=mdettweiler [2016-11-08 09:25:52] 681*2^1445301-1 is not prime. Res64: C427BAD92D18CC6B Time : 0.0 sec. user=mdettweiler [2016-11-08 09:25:52] 711*2^1445301-1 is not prime. Res64: E145F58EEC8D13A4 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:25:52] 735*2^1445301-1 is not prime. Res64: 210BF0ADEAD2639F Time : 0.0 sec. user=mdettweiler [2016-11-08 09:25:52] 795*2^1445301-1 is not prime. Res64: 71C9517A86DEAEFB Time : 0.0 sec. user=mdettweiler [2016-11-08 09:26:36] 811*2^1445301-1 is not prime. Res64: 3018DD300E9B8EB6 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:26:36] 837*2^1445301-1 is not prime. Res64: D3E9107B0D4F5A1F Time : 0.0 sec. user=mdettweiler [2016-11-08 09:26:36] 961*2^1445301-1 is not prime. Res64: 835D4770DF95EAE2 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:26:37] 991*2^1445301-1 is not prime. Res64: 9E7A115FA726DC7D Time : 0.0 sec. user=mdettweiler [2016-11-08 09:26:37] 999*2^1445301-1 is not prime. Res64: 67BB5B40350F8F47 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:50:46] 611*2^1445302-1 is not prime. Res64: 4188E03B42D5FC6B Time : 0.0 sec. user=mdettweiler [2016-11-08 09:50:46] 623*2^1445302-1 is not prime. Res64: 720DC983BBBAB570 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:50:46] 645*2^1445302-1 is not prime. Res64: 8A998366249E9B6D Time : 0.0 sec. user=mdettweiler [2016-11-08 09:50:46] 705*2^1445302-1 is not prime. Res64: 6F2F2E61A8C0FCDD Time : 0.0 sec. user=mdettweiler [2016-11-08 09:50:47] 723*2^1445302-1 is not prime. Res64: EA44602446F5D768 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:54:18] 755*2^1445302-1 is not prime. Res64: 8529112A04BCE099 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:54:18] 917*2^1445302-1 is not prime. Res64: 515284603E552543 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:54:18] 923*2^1445302-1 is not prime. Res64: B983D7756C3A0074 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:54:19] 947*2^1445302-1 is not prime. Res64: 97B79E4A87775FC2 Time : 0.0 sec. user=mdettweiler [2016-11-08 09:54:19] 619*2^1445303-1 is not prime. Res64: 8B3F8F0442834CA6 Time : 0.0 sec. user=mdettweiler [2016-11-08 10:28:07] 885*2^1445303-1 is not prime. Res64: E4EC9DEA674C6FCF Time : 0.0 sec. user=mdettweiler [2016-11-08 10:28:08] 895*2^1445303-1 is not prime. Res64: ACDB89C0B94E7D0E Time : 0.0 sec. user=mdettweiler [2016-11-08 10:28:09] 999*2^1445303-1 is not prime. Res64: C8FDDF7138B121A4 Time : 0.0 sec. user=mdettweiler [2016-11-08 10:28:11] 623*2^1445304-1 is not prime. Res64: 2CB2177A85B11B0F Time : 0.0 sec. user=mdettweiler [2016-11-08 10:28:13] 705*2^1445304-1 is not prime. Res64: A49CD6FAC6F75985 Time : 0.0 sec. user=mdettweiler [2016-11-08 10:28:45] 685*2^1445303-1 is not prime. Res64: 8A9B3E945BDDC28C Time : 0.0 sec. user=mdettweiler [2016-11-08 10:28:46] 721*2^1445303-1 is not prime. Res64: 01CC5DAB9D339D8F Time : 0.0 sec. user=mdettweiler [2016-11-08 10:28:47] 729*2^1445303-1 is not prime. Res64: 9564F97877239B52 Time : 0.0 sec. user=mdettweiler [2016-11-08 10:28:48] 813*2^1445303-1 is not prime. Res64: 02424664FDEDE4AC Time : 0.0 sec. user=mdettweiler [2016-11-08 10:28:49] 823*2^1445303-1 is not prime. Res64: 6E936D11ED22992F Time : 0.0 sec. user=mdettweiler [2016-11-08 10:55:41] 737*2^1445304-1 is not prime. Res64: 506362EA47BD69DE Time : 0.0 sec. user=mdettweiler [2016-11-08 10:55:41] 619*2^1445305-1 is not prime. Res64: FA3858703773BEE2 Time : 0.0 sec. user=mdettweiler [2016-11-08 10:55:41] 771*2^1445305-1 is not prime. Res64: 5371BA67FA009906 Time : 0.0 sec. user=mdettweiler [2016-11-08 10:55:41] 831*2^1445305-1 is not prime. Res64: 6472F42CAB0B68FC Time : 0.0 sec. user=mdettweiler [2016-11-08 10:55:42] 987*2^1445305-1 is not prime. Res64: AAAEE3E7BE4DEDFB Time : 0.0 sec. user=mdettweiler [2016-11-08 10:57:57] 627*2^1445306-1 is not prime. Res64: E83560A14B3AF632 Time : 0.0 sec. user=mdettweiler [2016-11-08 10:57:57] 641*2^1445306-1 is not prime. Res64: 46BB181C2BF92160 Time : 0.0 sec. user=mdettweiler [2016-11-08 10:57:57] 683*2^1445306-1 is not prime. Res64: 86CE6DD3E908AF32 Time : 0.0 sec. user=mdettweiler [2016-11-08 10:57:57] 923*2^1445306-1 is not prime. Res64: 764142BDD4230CCB Time : 0.0 sec. user=mdettweiler [2016-11-08 10:57:57] 971*2^1445306-1 is not prime. Res64: B01A4C1DD56E3C31 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:24:27] 675*2^1445307-1 is not prime. Res64: E36B7509F30EE996 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:24:27] 859*2^1445307-1 is not prime. Res64: F9248FC0792DD563 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:24:28] 963*2^1445307-1 is not prime. Res64: 75F9E4FF573DE316 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:24:28] 617*2^1445308-1 is not prime. Res64: B04E339FCA7A60F0 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:24:30] 695*2^1445308-1 is not prime. Res64: C8E8DE2ED197799E Time : 0.0 sec. user=mdettweiler [2016-11-08 11:25:47] 797*2^1445308-1 is not prime. Res64: 18FEFBAE99DDB0F9 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:25:47] 915*2^1445308-1 is not prime. Res64: A40D57422BE638B6 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:25:50] 811*2^1445309-1 is not prime. Res64: 9D1C2AA261C3ABCE Time : 0.0 sec. user=mdettweiler [2016-11-08 11:25:51] 641*2^1445310-1 is not prime. Res64: 9BF6E64171A2DDB2 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:25:51] 777*2^1445310-1 is not prime. Res64: 2B2DC32073391688 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:52:07] 821*2^1445310-1 is not prime. Res64: 6CC074CBFA394A09 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:52:07] 825*2^1445310-1 is not prime. Res64: CA8E5E4CD643202A Time : 0.0 sec. user=mdettweiler [2016-11-08 11:52:08] 963*2^1445310-1 is not prime. Res64: D72F3FDC82DFCE49 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:52:08] 679*2^1445311-1 is not prime. Res64: B2267FFE905C1AB8 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:52:08] 705*2^1445311-1 is not prime. Res64: 2123566272F18705 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:53:09] 709*2^1445311-1 is not prime. Res64: 6E12E35CEC702F1A Time : 0.0 sec. user=mdettweiler [2016-11-08 11:53:10] 849*2^1445311-1 is not prime. Res64: C807AD01501DED0E Time : 0.0 sec. user=mdettweiler [2016-11-08 11:53:10] 861*2^1445311-1 is not prime. Res64: D6A2CC618CA9C0C0 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:53:10] 883*2^1445311-1 is not prime. Res64: C0C6D07528A8F8A5 Time : 0.0 sec. user=mdettweiler [2016-11-08 11:53:10] 909*2^1445311-1 is not prime. Res64: B3EDF734AC2E091B Time : 0.0 sec. user=mdettweiler [2016-11-08 12:19:24] 923*2^1445312-1 is not prime. Res64: 674659292DB6E05A Time : 0.0 sec. user=mdettweiler [2016-11-08 12:52:42] 787*2^1445313-1 is not prime. Res64: A95ABB64326FE013 Time : 0.0 sec. user=mdettweiler [2016-11-08 12:52:42] 805*2^1445313-1 is not prime. Res64: A4F74A7217122114 Time : 0.0 sec. user=mdettweiler [2016-11-08 12:52:43] 811*2^1445313-1 is not prime. Res64: 76D66CC0F0883AD7 Time : 0.0 sec. user=mdettweiler [2016-11-08 12:52:43] 919*2^1445313-1 is not prime. Res64: E7CE429E5E15B5D4 Time : 0.0 sec. user=mdettweiler [2016-11-08 12:52:43] 949*2^1445313-1 is not prime. Res64: 895C38598378CE78 Time : 0.0 sec. user=mdettweiler [2016-11-08 12:52:47] 969*2^1445313-1 is not prime. Res64: 5009F208BC1310D7 Time : 0.0 sec. user=mdettweiler [2016-11-08 12:52:48] 621*2^1445314-1 is not prime. Res64: AECCC158FBD1B556 Time : 0.0 sec. user=mdettweiler [2016-11-08 12:52:48] 623*2^1445314-1 is not prime. Res64: AC086ABFF607BFD1 Time : 0.0 sec. user=mdettweiler [2016-11-08 12:52:48] 657*2^1445314-1 is not prime. Res64: 9860005499611587 Time : 0.0 sec. user=mdettweiler [2016-11-08 12:52:48] 665*2^1445314-1 is not prime. Res64: 3297E960CB423FD0 Time : 0.0 sec. user=mdettweiler [2016-11-08 14:02:08] 945*2^1445314-1 is not prime. Res64: 280A463CF82624B7 Time : 0.0 sec. user=mdettweiler [2016-11-08 14:02:09] 947*2^1445314-1 is not prime. Res64: 69D0C56356F8D0D9 Time : 0.0 sec. user=mdettweiler [2016-11-08 14:02:09] 951*2^1445314-1 is not prime. Res64: 2846EAF6D3012BFA Time : 0.0 sec. user=mdettweiler [2016-11-08 14:02:10] 699*2^1445315-1 is not prime. Res64: F7752B6A7F484629 Time : 0.0 sec. user=mdettweiler [2016-11-08 14:02:11] 799*2^1445315-1 is not prime. Res64: 5A1287E420392F57 Time : 0.0 sec. user=mdettweiler [2016-11-08 14:03:56] 681*2^1445314-1 is not prime. Res64: 3084CF2F5364A2C5 Time : 0.0 sec. user=mdettweiler [2016-11-08 14:03:57] 723*2^1445314-1 is not prime. Res64: 080C4E11942BF4D7 Time : 0.0 sec. user=mdettweiler [2016-11-08 14:03:57] 731*2^1445314-1 is not prime. Res64: B36A8A6C4B5FBE06 Time : 0.0 sec. user=mdettweiler [2016-11-08 14:03:58] 887*2^1445314-1 is not prime. Res64: 0F54FEC2A32BE73A Time : 0.0 sec. user=mdettweiler [2016-11-08 14:03:59] 891*2^1445314-1 is not prime. Res64: 81C3FA33DF7A0C1C Time : 0.0 sec. user=mdettweiler [2016-11-08 15:20:30] 823*2^1445315-1 is not prime. Res64: C271B32B2271547F Time : 0.0 sec. user=mdettweiler [2016-11-08 15:20:30] 913*2^1445315-1 is not prime. Res64: 4A5C746AB04063F8 Time : 0.0 sec. user=mdettweiler [2016-11-08 15:20:31] 723*2^1445316-1 is not prime. Res64: 87464A7A472B4D77 Time : 0.0 sec. user=mdettweiler [2016-11-08 15:20:31] 737*2^1445316-1 is not prime. Res64: 8CC30AA7729299AE Time : 0.0 sec. user=mdettweiler [2016-11-08 15:20:31] 767*2^1445316-1 is not prime. Res64: 77C1A70D25B685CF Time : 0.0 sec. user=mdettweiler [2016-11-08 15:23:19] 825*2^1445316-1 is not prime. Res64: 1E8BD1986D654E99 Time : 0.0 sec. user=mdettweiler [2016-11-08 15:23:19] 845*2^1445316-1 is not prime. Res64: 95B39343E074D4B3 Time : 0.0 sec. user=mdettweiler [2016-11-08 15:23:19] 857*2^1445316-1 is not prime. Res64: 6BCC84A1B6A3B022 Time : 0.0 sec. user=mdettweiler [2016-11-08 15:23:20] 873*2^1445316-1 is not prime. Res64: C6EDFA9C792731CA Time : 0.0 sec. user=mdettweiler [2016-11-08 15:23:20] 927*2^1445316-1 is not prime. Res64: 4B156AC12A4969B6 Time : 0.0 sec. user=mdettweiler [2016-11-08 16:23:08] 995*2^1445312-1 is not prime. Res64: BBD38302FC54055F Time : 0.0 sec. user=mdettweiler [2016-11-08 16:23:08] 627*2^1445313-1 is not prime. Res64: D2220BFB29F316D7 Time : 0.0 sec. user=mdettweiler [2016-11-08 16:23:08] 649*2^1445313-1 is not prime. Res64: E7E0E53A4DBCA62D Time : 0.0 sec. user=mdettweiler [2016-11-08 16:23:09] 769*2^1445313-1 is not prime. Res64: 0D2D19F85ADC5353 Time : 0.0 sec. user=mdettweiler [2016-11-08 16:37:36] 675*2^1445317-1 is not prime. Res64: 786D1B6DB9FA3FCF Time : 0.0 sec. user=mdettweiler [2016-11-08 16:37:37] 727*2^1445317-1 is not prime. Res64: 82DF979DE1DB5B59 Time : 0.0 sec. user=mdettweiler [2016-11-08 16:37:37] 759*2^1445317-1 is not prime. Res64: D2F8C13C4CD4CAC4 Time : 0.0 sec. user=mdettweiler [2016-11-08 16:37:38] 817*2^1445317-1 is not prime. Res64: D9247C3A5125932E Time : 0.0 sec. user=mdettweiler [2016-11-08 16:37:38] 861*2^1445317-1 is not prime. Res64: 92D748361D9223FD Time : 0.0 sec. user=mdettweiler [2016-11-08 16:40:53] 931*2^1445317-1 is not prime. Res64: A3C0ADE31E697A1D Time : 0.0 sec. user=mdettweiler [2016-11-08 16:40:54] 937*2^1445317-1 is not prime. Res64: E4D16C8EDA6A4C09 Time : 0.0 sec. user=mdettweiler [2016-11-08 16:40:55] 605*2^1445318-1 is not prime. Res64: E3DC5F22A7A38407 Time : 0.0 sec. user=mdettweiler [2016-11-08 16:40:56] 641*2^1445318-1 is not prime. Res64: 30F43B17C2153384 Time : 0.0 sec. user=mdettweiler [2016-11-08 16:40:56] 705*2^1445318-1 is not prime. Res64: C09338E3A22F62A8 Time : 0.0 sec. user=mdettweiler [2016-11-08 17:25:26] 743*2^1445318-1 is not prime. Res64: 80BB4F0501420D8F Time : 0.0 sec. user=mdettweiler [2016-11-08 17:25:26] 825*2^1445318-1 is not prime. Res64: 9360FFFC05CDB79D Time : 0.0 sec. user=mdettweiler [2016-11-08 17:25:27] 921*2^1445318-1 is not prime. Res64: 7BE01A35AE68C35D Time : 0.0 sec. user=mdettweiler [2016-11-08 17:25:27] 941*2^1445318-1 is not prime. Res64: 1AB44D02C73F2783 Time : 0.0 sec. user=mdettweiler [2016-11-08 17:25:28] 663*2^1445319-1 is not prime. Res64: FD297D9E30A65CDD Time : 0.0 sec. user=mdettweiler [2016-11-08 17:37:35] 823*2^1445319-1 is not prime. Res64: 27DEFFAB52B2ADEC Time : 0.0 sec. user=mdettweiler [2016-11-08 17:37:36] 831*2^1445319-1 is not prime. Res64: 17F9BEA2685E46D0 Time : 0.0 sec. user=mdettweiler [2016-11-08 17:37:36] 891*2^1445319-1 is not prime. Res64: 7F5FFCDD3BB73D0B Time : 0.0 sec. user=mdettweiler [2016-11-08 17:37:38] 931*2^1445319-1 is not prime. Res64: E0AAEC906E244168 Time : 0.0 sec. user=mdettweiler [2016-11-08 17:37:38] 605*2^1445320-1 is not prime. Res64: 70F12DE553CC4830 Time : 0.0 sec. user=mdettweiler [2016-11-08 17:41:06] 759*2^1445320-1 is not prime. Res64: 1C4E5B67AB4239B2 Time : 0.0 sec. user=mdettweiler [2016-11-08 17:41:07] 863*2^1445320-1 is not prime. Res64: 4FB431B92A7AB503 Time : 0.0 sec. user=mdettweiler [2016-11-08 17:41:08] 873*2^1445320-1 is not prime. Res64: 6C3C014C062374E6 Time : 0.0 sec. user=mdettweiler [2016-11-08 17:41:09] 939*2^1445320-1 is not prime. Res64: 6A3F40C955854339 Time : 0.0 sec. user=mdettweiler [2016-11-08 17:41:09] 619*2^1445321-1 is not prime. Res64: B7F7AE2284F87D45 Time : 0.0 sec. user=mdettweiler [2016-11-08 18:26:40] 645*2^1445321-1 is not prime. Res64: B0AA91DD025B8FE9 Time : 0.0 sec. user=mdettweiler [2016-11-08 18:26:41] 657*2^1445321-1 is not prime. Res64: C8688FAFB67A5476 Time : 0.0 sec. user=mdettweiler [2016-11-08 18:26:41] 735*2^1445321-1 is not prime. Res64: 32ACA9A9C574D7AD Time : 0.0 sec. user=mdettweiler [2016-11-08 18:26:42] 769*2^1445321-1 is not prime. Res64: 20420475ACA379FB Time : 0.0 sec. user=mdettweiler [2016-11-08 18:26:42] 651*2^1445322-1 is not prime. Res64: A10800241FF27C62 Time : 0.0 sec. user=mdettweiler [2016-11-08 18:38:44] 711*2^1445322-1 is not prime. Res64: AF409360D7B55B32 Time : 0.0 sec. user=mdettweiler [2016-11-08 18:38:44] 713*2^1445322-1 is not prime. Res64: 7ACDB8A4C579DC0E Time : 0.0 sec. user=mdettweiler [2016-11-08 18:38:45] 615*2^1445323-1 is not prime. Res64: E91C53029F7057A0 Time : 0.0 sec. user=mdettweiler [2016-11-08 18:38:45] 709*2^1445323-1 is not prime. Res64: 36A173AB22E97F57 Time : 0.0 sec. user=mdettweiler [2016-11-08 18:38:45] 751*2^1445323-1 is not prime. Res64: 49130DBBAA63B614 Time : 0.0 sec. user=mdettweiler [2016-11-08 18:43:32] 769*2^1445323-1 is not prime. Res64: B5FA05F7D36559C5 Time : 0.0 sec. user=mdettweiler [2016-11-08 18:43:32] 901*2^1445323-1 is not prime. Res64: DEE2F90F9CC95A9D Time : 0.0 sec. user=mdettweiler [2016-11-08 18:43:32] 999*2^1445323-1 is not prime. Res64: BEF2A4DDB672254E Time : 0.0 sec. user=mdettweiler [2016-11-08 18:43:32] 869*2^1445324-1 is not prime. Res64: D0FC4047A2665F7D Time : 0.0 sec. user=mdettweiler [2016-11-08 18:43:33] 969*2^1445324-1 is not prime. Res64: 3B9FAB621C014E95 Time : 0.0 sec. user=mdettweiler [2016-11-08 19:28:34] 639*2^1445325-1 is not prime. Res64: 852E9A13CE2E1D52 Time : 0.0 sec. user=mdettweiler [2016-11-08 19:28:35] 831*2^1445325-1 is not prime. Res64: 7B753A1D963CAF33 Time : 0.0 sec. user=mdettweiler [2016-11-08 19:28:36] 837*2^1445325-1 is not prime. Res64: 48E63216EADEFFA4 Time : 0.0 sec. user=mdettweiler [2016-11-08 19:28:37] 885*2^1445325-1 is not prime. Res64: 1216A4ACE16D729C Time : 0.0 sec. user=mdettweiler [2016-11-08 19:28:38] 979*2^1445325-1 is not prime. Res64: B17D805644632749 Time : 0.0 sec. user=mdettweiler [2016-11-08 19:38:46] 991*2^1445325-1 is not prime. Res64: 9D7B86A925E63144 Time : 0.0 sec. user=mdettweiler [2016-11-08 19:38:48] 999*2^1445325-1 is not prime. Res64: 4571FC767C026DEF Time : 0.0 sec. user=mdettweiler [2016-11-08 19:38:48] 657*2^1445326-1 is not prime. Res64: F72EF5B4834C0424 Time : 0.0 sec. user=mdettweiler [2016-11-08 19:38:48] 743*2^1445326-1 is not prime. Res64: 89A5D0611682DFA2 Time : 0.0 sec. user=mdettweiler [2016-11-08 19:38:49] 765*2^1445326-1 is not prime. Res64: AADEDE104D45CD7A Time : 0.0 sec. user=mdettweiler [2016-11-08 19:45:33] 945*2^1445326-1 is not prime. Res64: 64AD3856FDFAC845 Time : 0.0 sec. user=mdettweiler [2016-11-08 19:45:34] 603*2^1445327-1 is not prime. Res64: 18A9D04AA7CEE1BB Time : 0.0 sec. user=mdettweiler [2016-11-08 19:45:34] 643*2^1445327-1 is not prime. Res64: D9FBB1AF7828F2E5 Time : 0.0 sec. user=mdettweiler [2016-11-08 19:45:35] 663*2^1445327-1 is not prime. Res64: 71ADB979A29954AB Time : 0.0 sec. user=mdettweiler [2016-11-08 19:45:36] 711*2^1445327-1 is not prime. Res64: 21E7916547999C3B Time : 0.0 sec. user=mdettweiler [2016-11-08 20:32:35] 741*2^1445327-1 is not prime. Res64: E28B516B2F2F40C2 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:32:35] 775*2^1445327-1 is not prime. Res64: AFE8076A3EC26E02 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:32:35] 859*2^1445327-1 is not prime. Res64: 3315F7487450C0EB Time : 0.0 sec. user=mdettweiler [2016-11-08 20:32:36] 861*2^1445327-1 is not prime. Res64: 853BA0EC851EBEEF Time : 0.0 sec. user=mdettweiler [2016-11-08 20:32:37] 915*2^1445327-1 is not prime. Res64: A6E4F2CCB24E52A8 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:43:23] 951*2^1445311-1 is not prime. Res64: A35C29F0B9B326E1 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:43:23] 725*2^1445312-1 is not prime. Res64: 0FB413E07C0C0C58 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:43:24] 743*2^1445312-1 is not prime. Res64: 490C320ED09A8320 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:43:24] 797*2^1445312-1 is not prime. Res64: 97D305B55C7650AB Time : 0.0 sec. user=mdettweiler [2016-11-08 20:43:24] 857*2^1445312-1 is not prime. Res64: 26BA77C87EC71F82 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:45:27] 633*2^1445328-1 is not prime. Res64: 438DF9820120B2C8 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:45:27] 635*2^1445328-1 is not prime. Res64: 091B93D8AC9FFB15 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:45:28] 689*2^1445328-1 is not prime. Res64: 993F49215E12A800 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:45:28] 789*2^1445328-1 is not prime. Res64: 0C849AEC47E00A0F Time : 0.0 sec. user=mdettweiler [2016-11-08 20:45:28] 795*2^1445328-1 is not prime. Res64: F7EFC0A85E6562AA Time : 0.0 sec. user=mdettweiler [2016-11-08 20:53:40] 797*2^1445328-1 is not prime. Res64: 34FE52CBBF62FAFA Time : 0.0 sec. user=mdettweiler [2016-11-08 20:53:41] 809*2^1445328-1 is not prime. Res64: F8FB0EDAAD1E8AFA Time : 0.0 sec. user=mdettweiler [2016-11-08 20:53:41] 849*2^1445328-1 is not prime. Res64: C363B89C273D37DC Time : 0.0 sec. user=mdettweiler [2016-11-08 20:53:41] 977*2^1445328-1 is not prime. Res64: A0436CF9DCF80D63 Time : 0.0 sec. user=mdettweiler [2016-11-08 20:53:41] 999*2^1445328-1 is not prime. Res64: E3F9FF1AC4D9853A Time : 0.0 sec. user=mdettweiler [2016-11-08 21:48:02] 601*2^1445329-1 is not prime. Res64: D4F2382E2E1B2989 Time : 0.0 sec. user=mdettweiler [2016-11-08 21:48:02] 747*2^1445329-1 is not prime. Res64: 8B0BA09FE28A4908 Time : 0.0 sec. user=mdettweiler [2016-11-08 21:48:03] 775*2^1445329-1 is not prime. Res64: 0BD801F1773DB7E5 Time : 0.0 sec. user=mdettweiler [2016-11-08 21:48:03] 835*2^1445329-1 is not prime. Res64: ACF5F55EA3E2C4F7 Time : 0.0 sec. user=mdettweiler [2016-11-08 21:48:03] 919*2^1445329-1 is not prime. Res64: 8E1BD5ECD59923A0 Time : 0.0 sec. user=mdettweiler [2016-11-08 21:56:56] 743*2^1445330-1 is not prime. Res64: AC014497C308E12A Time : 0.0 sec. user=mdettweiler [2016-11-08 21:56:56] 747*2^1445330-1 is not prime. Res64: D99A0304B4ECD7D3 Time : 0.0 sec. user=mdettweiler [2016-11-08 21:56:56] 827*2^1445330-1 is not prime. Res64: 1D874A0254F7E506 Time : 0.0 sec. user=mdettweiler [2016-11-08 21:56:57] 911*2^1445330-1 is not prime. Res64: 22A70CD31ADEEDBD Time : 0.0 sec. user=mdettweiler [2016-11-08 21:56:57] 977*2^1445330-1 is not prime. Res64: C0D6BF16AEEC1848 Time : 0.0 sec. user=mdettweiler [2016-11-08 21:58:07] 603*2^1445330-1 is not prime. Res64: E713B08B791580C0 Time : 0.0 sec. user=mdettweiler [2016-11-08 21:58:07] 623*2^1445330-1 is not prime. Res64: 79A61B9D9963D3D5 Time : 0.0 sec. user=mdettweiler [2016-11-08 21:58:08] 635*2^1445330-1 is not prime. Res64: 5BAD11687B23894C Time : 0.0 sec. user=mdettweiler [2016-11-08 21:58:08] 687*2^1445330-1 is not prime. Res64: B5FA1EA8CFB8D1EC Time : 0.0 sec. user=mdettweiler [2016-11-08 21:58:08] 741*2^1445330-1 is not prime. Res64: 3B509967122114A5 Time : 0.0 sec. user=mdettweiler [2016-11-08 22:11:10] 775*2^1445331-1 is not prime. Res64: 125DCCA2D9B50834 Time : 0.0 sec. user=mdettweiler [2016-11-08 22:11:11] 795*2^1445331-1 is not prime. Res64: 6C49558E689888CF Time : 0.0 sec. user=mdettweiler [2016-11-08 22:11:13] 871*2^1445331-1 is not prime. Res64: 887E005AF96BB69B Time : 0.0 sec. user=mdettweiler [2016-11-08 22:11:13] 903*2^1445331-1 is not prime. Res64: 9BCFB47F86155F04 Time : 0.0 sec. user=mdettweiler [2016-11-08 22:11:13] 973*2^1445331-1 is not prime. Res64: EC34DADFCF5E519B Time : 0.0 sec. user=mdettweiler [2016-11-08 23:02:28] 609*2^1445332-1 is not prime. Res64: 710075D4B3919087 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:02:29] 647*2^1445332-1 is not prime. Res64: D7E829B17C4B6273 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:02:30] 719*2^1445332-1 is not prime. Res64: 40EF088670A4DF6B Time : 0.0 sec. user=mdettweiler [2016-11-08 23:02:31] 827*2^1445332-1 is not prime. Res64: CA5BA0EE41AAE1E7 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:02:32] 957*2^1445332-1 is not prime. Res64: D9988E70A5BD231E Time : 0.0 sec. user=mdettweiler [2016-11-08 23:10:30] 995*2^1445332-1 is not prime. Res64: 67AA2E117A6CE7A9 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:10:35] 615*2^1445333-1 is not prime. Res64: AA1921AA957443A9 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:12:28] 927*2^1445333-1 is not prime. Res64: 79E67F5EFB3B57CA Time : 0.0 sec. user=mdettweiler [2016-11-08 23:12:32] 681*2^1445334-1 is not prime. Res64: 1D7D88B6752C0930 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:12:36] 717*2^1445334-1 is not prime. Res64: CA21808DE6CE6722 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:12:41] 861*2^1445334-1 is not prime. Res64: C292D42B0BB66BBF Time : 0.0 sec. user=mdettweiler [2016-11-08 23:12:50] 893*2^1445334-1 is not prime. Res64: B83B7C7DFE6483DA Time : 0.0 sec. user=mdettweiler [2016-11-08 23:33:18] 675*2^1445335-1 is not prime. Res64: 366FB28E857376A0 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:33:19] 759*2^1445335-1 is not prime. Res64: 2C6F9B00232AD901 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:33:20] 763*2^1445335-1 is not prime. Res64: 7D024B44D615D996 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:33:20] 783*2^1445335-1 is not prime. Res64: 84D0BA350EC56120 Time : 0.0 sec. user=mdettweiler [2016-11-08 23:33:20] 871*2^1445335-1 is not prime. Res64: C8FB9CC494E3301B Time : 0.0 sec.