user=mdettweiler [2013-06-03 00:04:25] 705*2^1246506-1 is not prime. Res64: 6051342B385A4FEC Time : 0.0 sec. user=mdettweiler [2013-06-03 00:19:36] 861*2^1246506-1 is not prime. Res64: 10C0A5A139EAD708 Time : 0.0 sec. user=mdettweiler [2013-06-03 00:37:22] 917*2^1246506-1 is not prime. Res64: 85B4E05BF4AF324C Time : 0.0 sec. user=mdettweiler [2013-06-03 00:48:31] 619*2^1246507-1 is not prime. Res64: A6AEEDFBEEDB1F0B Time : 0.0 sec. user=mdettweiler [2013-06-03 00:48:32] 639*2^1246507-1 is not prime. Res64: D7692879BA777DCF Time : 0.0 sec. user=mdettweiler [2013-06-03 01:06:17] 681*2^1246507-1 is not prime. Res64: 0FF042815D57926E Time : 0.0 sec. user=mdettweiler [2013-06-03 01:14:44] 945*2^1246506-1 is not prime. Res64: F53154892236E370 Time : 0.0 sec. user=mdettweiler [2013-06-03 01:32:23] 735*2^1246507-1 is not prime. Res64: FBF67A6C5EFB8DF2 Time : 0.0 sec. user=mdettweiler [2013-06-03 01:33:26] 693*2^1246507-1 is not prime. Res64: D8319BE0C6B2A15C Time : 0.0 sec. user=mdettweiler [2013-06-03 02:09:12] 873*2^1246507-1 is not prime. Res64: B9F5A4F01B403933 Time : 0.0 sec. user=mdettweiler [2013-06-03 02:26:43] 683*2^1246508-1 is not prime. Res64: CC81B268F99A6B94 Time : 0.0 sec. user=mdettweiler [2013-06-03 02:26:43] 797*2^1246508-1 is not prime. Res64: 6C336E2DCE099ABC Time : 0.0 sec. user=mdettweiler [2013-06-03 02:30:35] 845*2^1246508-1 is not prime. Res64: 4CB5012FB24A80FB Time : 0.0 sec. user=mdettweiler [2013-06-03 02:44:34] 935*2^1246508-1 is not prime. Res64: 92FAEE3731053E54 Time : 0.0 sec. user=mdettweiler [2013-06-03 02:44:35] 969*2^1246508-1 is not prime. Res64: FF4D6A5EADF39340 Time : 0.0 sec. user=mdettweiler [2013-06-03 03:02:31] 657*2^1246509-1 is not prime. Res64: 9693E0229A2F6ED2 Time : 0.0 sec. user=mdettweiler [2013-06-03 03:05:23] 867*2^1246508-1 is not prime. Res64: F704BBD1F817BCF8 Time : 0.0 sec. user=mdettweiler [2013-06-03 03:23:10] 781*2^1246509-1 is not prime. Res64: 51214F49B6AF0B28 Time : 0.0 sec. user=mdettweiler [2013-06-03 03:23:10] 867*2^1246509-1 is not prime. Res64: 300C34950434C3D0 Time : 0.0 sec. user=mdettweiler [2013-06-03 03:29:24] 675*2^1246509-1 is not prime. Res64: 49A1C4409E21A26B Time : 0.0 sec. user=mdettweiler [2013-06-03 03:40:45] 945*2^1246509-1 is not prime. Res64: 22B5EDF9C3C2EB08 Time : 0.0 sec. user=mdettweiler [2013-06-03 03:40:46] 653*2^1246510-1 is not prime. Res64: E580441E377B2B43 Time : 0.0 sec. user=mdettweiler [2013-06-03 03:46:52] 695*2^1246510-1 is not prime. Res64: 9D5A6C174CF563CB Time : 0.0 sec. user=mdettweiler [2013-06-03 03:46:52] 707*2^1246510-1 is not prime. Res64: 91EB1F1BC859E831 Time : 0.0 sec. user=mdettweiler [2013-06-03 03:58:45] 713*2^1246510-1 is not prime. Res64: 81377BC9073BF768 Time : 0.0 sec. user=mdettweiler [2013-06-03 04:04:51] 885*2^1246510-1 is not prime. Res64: BC4AADE8B6EFFB97 Time : 0.0 sec. user=mdettweiler [2013-06-03 04:25:55] 773*2^1246510-1 is not prime. Res64: B20D632A6E1E0CE5 Time : 0.0 sec. user=mdettweiler [2013-06-03 04:41:54] 945*2^1246510-1 is not prime. Res64: 91E08461D4AB42A9 Time : 0.0 sec. user=mdettweiler [2013-06-03 04:44:43] 975*2^1246510-1 is not prime. Res64: 17A8D5464FAD912B Time : 0.0 sec. user=mdettweiler [2013-06-03 05:14:14] 621*2^1246511-1 is not prime. Res64: 481A2D56E38563EB Time : 0.0 sec. user=mdettweiler [2013-06-03 05:32:01] 643*2^1246511-1 is not prime. Res64: 878CF3D4FC5A8604 Time : 0.0 sec. user=mdettweiler [2013-06-03 05:36:01] 685*2^1246511-1 is not prime. Res64: AC86C03B885308FB Time : 0.0 sec. user=mdettweiler [2013-06-03 05:36:01] 783*2^1246511-1 is not prime. Res64: A621CD553D7B5C37 Time : 0.0 sec. user=mdettweiler [2013-06-03 05:54:03] 819*2^1246511-1 is not prime. Res64: F9BDD1B0D62103A3 Time : 0.0 sec. user=mdettweiler [2013-06-03 06:09:34] 669*2^1246511-1 is not prime. Res64: B858BB40110B6745 Time : 0.0 sec. user=mdettweiler [2013-06-03 06:27:37] 885*2^1246511-1 is not prime. Res64: A38DBCF87F5796D6 Time : 0.0 sec. user=mdettweiler [2013-06-03 06:48:25] 823*2^1246511-1 is not prime. Res64: EA7B00508519D457 Time : 0.0 sec. user=mdettweiler [2013-06-03 07:05:19] 605*2^1246512-1 is not prime. Res64: 7AAF93ECE82B3D41 Time : 0.0 sec. user=mdettweiler [2013-06-03 07:06:02] 629*2^1246512-1 is not prime. Res64: 6E2DB93E19290DCE Time : 0.0 sec. user=mdettweiler [2013-06-03 07:06:03] 817*2^1246513-1 is not prime. Res64: C33B48F08DB1F7C6 Time : 0.0 sec. user=mdettweiler [2013-06-03 07:24:02] 831*2^1246513-1 is not prime. Res64: FF5D53F18FC0BC2C Time : 0.0 sec. user=mdettweiler [2013-06-03 07:49:30] 897*2^1246513-1 is not prime. Res64: 8A65061218CA5718 Time : 0.0 sec. user=mdettweiler [2013-06-03 07:58:41] 665*2^1246514-1 is not prime. Res64: 64DBFACF9C99CA83 Time : 0.0 sec. user=mdettweiler [2013-06-03 07:58:41] 711*2^1246514-1 is not prime. Res64: 31195B94E05522C8 Time : 0.0 sec. user=mdettweiler [2013-06-03 08:16:33] 815*2^1246514-1 is not prime. Res64: F71A926E2C865F1F Time : 0.0 sec. user=mdettweiler [2013-06-03 08:34:49] 971*2^1246514-1 is not prime. Res64: 88AFF853322EECAA Time : 0.0 sec. user=mdettweiler [2013-06-03 08:34:50] 633*2^1246515-1 is not prime. Res64: 10C1A573FEBEE0E3 Time : 0.0 sec. user=mdettweiler [2013-06-03 08:41:39] 875*2^1246514-1 is not prime. Res64: 9AEA7E344BF29D29 Time : 0.0 sec. user=mdettweiler [2013-06-03 08:52:50] 751*2^1246515-1 is not prime. Res64: DD860A0403747D41 Time : 0.0 sec. user=mdettweiler [2013-06-03 09:19:38] 853*2^1246515-1 is not prime. Res64: 6F1ABD024DD9B1AF Time : 0.0 sec. user=mdettweiler [2013-06-03 09:23:07] 909*2^1246515-1 is not prime. Res64: EC1DBC084DFD078C Time : 0.0 sec. user=mdettweiler [2013-06-03 09:37:45] 653*2^1246516-1 is not prime. Res64: 2A46F4AE409A0CF6 Time : 0.0 sec. user=mdettweiler [2013-06-03 09:49:45] 955*2^1246515-1 is not prime. Res64: 093058990BE61E11 Time : 0.0 sec. user=mdettweiler [2013-06-03 10:07:14] 705*2^1246516-1 is not prime. Res64: 32DC156AA3272594 Time : 0.0 sec. user=mdettweiler [2013-06-03 10:07:15] 777*2^1246516-1 is not prime. Res64: AC73470556A969A7 Time : 0.0 sec. user=mdettweiler [2013-06-03 10:11:42] 657*2^1246516-1 is not prime. Res64: 071A8A046B25BB07 Time : 0.0 sec. user=mdettweiler [2013-06-03 10:25:22] 933*2^1246516-1 is not prime. Res64: E830E5A73552C67F Time : 0.0 sec. user=mdettweiler [2013-06-03 10:29:56] 685*2^1246517-1 is not prime. Res64: 83F6E4F58ABF036A Time : 0.0 sec. user=mdettweiler [2013-06-03 10:54:51] 957*2^1246516-1 is not prime. Res64: AAB136E95A99CB3D Time : 0.0 sec. user=mdettweiler [2013-06-03 11:01:06] 715*2^1246517-1 is not prime. Res64: 56F9329A0C08AD04 Time : 0.0 sec. user=mdettweiler [2013-06-03 11:38:12] 735*2^1246517-1 is not prime. Res64: 8DADB8B5820A9A57 Time : 0.0 sec. user=mdettweiler [2013-06-03 11:38:12] 747*2^1246517-1 is not prime. Res64: 4F0875AAC536F94E Time : 0.0 sec. user=mdettweiler [2013-06-03 11:44:16] 837*2^1246517-1 is not prime. Res64: BFFAABFD4FE7B475 Time : 0.0 sec. user=mdettweiler [2013-06-03 11:44:16] 861*2^1246517-1 is not prime. Res64: 8B4E26A86BC70E1A Time : 0.0 sec. user=mdettweiler [2013-06-03 11:56:04] 621*2^1246518-1 is not prime. Res64: 656D6D0F6C66F484 Time : 0.0 sec. user=mdettweiler [2013-06-03 12:01:59] 815*2^1246518-1 is not prime. Res64: 35A9C36E06BD9DD9 Time : 0.0 sec. user=mdettweiler [2013-06-03 12:02:00] 893*2^1246518-1 is not prime. Res64: 9A895656AFD28758 Time : 0.0 sec. user=mdettweiler [2013-06-03 12:14:58] 777*2^1246518-1 is not prime. Res64: F667BA94F0AF354A Time : 0.0 sec. user=mdettweiler [2013-06-03 12:20:11] 971*2^1246518-1 is not prime. Res64: 96D8058B92AA75C8 Time : 0.0 sec. user=mdettweiler [2013-06-03 12:51:57] 661*2^1246519-1 is not prime. Res64: C1F62A2832D7C67A Time : 0.0 sec. user=mdettweiler [2013-06-03 13:09:39] 693*2^1246519-1 is not prime. Res64: F060A81083D8939C Time : 0.0 sec. user=mdettweiler [2013-06-03 13:09:40] 705*2^1246519-1 is not prime. Res64: 6A44E75F102DDB94 Time : 0.0 sec. user=mdettweiler [2013-06-03 13:12:03] 793*2^1246519-1 is not prime. Res64: 9008E59F8CE04130 Time : 0.0 sec. user=mdettweiler [2013-06-03 13:12:04] 759*2^1246520-1 is not prime. Res64: E3EB1149B4819EB0 Time : 0.0 sec. user=mdettweiler [2013-06-03 13:27:25] 789*2^1246520-1 is not prime. Res64: 53F86EB4AC4DA5BF Time : 0.0 sec. user=mdettweiler [2013-06-03 13:27:26] 929*2^1246520-1 is not prime. Res64: 81C0DD1BD7196C21 Time : 0.0 sec. user=mdettweiler [2013-06-03 13:30:53] 945*2^1246520-1 is not prime. Res64: 35CBFB3ED314FE9F Time : 0.0 sec. user=mdettweiler [2013-06-03 13:47:44] 661*2^1246521-1 is not prime. Res64: 541E00C8F229EE77 Time : 0.0 sec. user=mdettweiler [2013-06-03 14:03:05] 999*2^1246520-1 is not prime. Res64: 139FCCB16450F9E9 Time : 0.0 sec. user=mdettweiler [2013-06-03 14:33:39] 681*2^1246521-1 is not prime. Res64: AAF274CE41DF5AF4 Time : 0.0 sec. user=mdettweiler [2013-06-03 14:55:32] 717*2^1246521-1 is not prime. Res64: 539AA9017A5A1934 Time : 0.0 sec. user=mdettweiler [2013-06-03 14:55:32] 727*2^1246521-1 is not prime. Res64: EAA95226988F1CB4 Time : 0.0 sec. user=mdettweiler [2013-06-03 15:13:53] 811*2^1246521-1 is not prime. Res64: D9FB3B0D7985A4FC Time : 0.0 sec. user=mdettweiler [2013-06-03 15:13:53] 907*2^1246521-1 is not prime. Res64: 4D034E2C5BD1C13C Time : 0.0 sec. user=mdettweiler [2013-06-03 15:28:49] 603*2^1246522-1 is not prime. Res64: 5FBD191980043BA5 Time : 0.0 sec. user=mdettweiler [2013-06-03 15:28:49] 623*2^1246522-1 is not prime. Res64: B14022195B4A1DBE Time : 0.0 sec. user=mdettweiler [2013-06-03 15:31:38] 635*2^1246522-1 is not prime. Res64: 199804B2DA120CEC Time : 0.0 sec. user=mdettweiler [2013-06-03 15:31:38] 681*2^1246522-1 is not prime. Res64: C619C12EC67DDACC Time : 0.0 sec. user=mdettweiler [2013-06-03 15:46:45] 741*2^1246522-1 is not prime. Res64: 7B2895D684197518 Time : 0.0 sec. user=mdettweiler [2013-06-03 15:49:33] 791*2^1246522-1 is not prime. Res64: 06760354128E16A1 Time : 0.0 sec. user=mdettweiler [2013-06-03 16:14:16] 777*2^1246522-1 is not prime. Res64: 47A58D1320E6995D Time : 0.0 sec. user=mdettweiler [2013-06-03 16:14:58] 801*2^1246522-1 is not prime. Res64: 0D00F9679FC79D43 Time : 0.0 sec. user=mdettweiler [2013-06-03 16:31:58] 915*2^1246522-1 is not prime. Res64: 67C6EA1F9B9CC656 Time : 0.0 sec. user=mdettweiler [2013-06-03 16:31:58] 917*2^1246522-1 is not prime. Res64: 2AF6E3FC52F26D46 Time : 0.0 sec. user=mdettweiler [2013-06-03 16:49:43] 947*2^1246522-1 is not prime. Res64: 0B5ED89F8BAC6E1C Time : 0.0 sec. user=mdettweiler [2013-06-03 16:49:43] 609*2^1246523-1 is not prime. Res64: 9D1AFD732F4E00EE Time : 0.0 sec. user=mdettweiler [2013-06-03 17:00:32] 735*2^1246523-1 is not prime. Res64: E495978F5DDA20C4 Time : 0.0 sec. user=mdettweiler [2013-06-03 17:08:30] 871*2^1246523-1 is not prime. Res64: 88E8161D4AB77563 Time : 0.0 sec. user=mdettweiler [2013-06-03 17:31:05] 973*2^1246523-1 is not prime. Res64: 790B7E1C0CB4913E Time : 0.0 sec. user=mdettweiler [2013-06-03 17:38:33] 783*2^1246523-1 is not prime. Res64: D9BE234669681419 Time : 0.0 sec. user=mdettweiler [2013-06-03 17:56:16] 635*2^1246524-1 is not prime. Res64: 1B114A2A4C842B27 Time : 0.0 sec. user=mdettweiler [2013-06-03 17:56:16] 639*2^1246524-1 is not prime. Res64: 675087ED8D0B605C Time : 0.0 sec. user=mdettweiler [2013-06-03 18:09:28] 675*2^1246524-1 is not prime. Res64: 062C7298584848B6 Time : 0.0 sec. user=mdettweiler [2013-06-03 18:09:29] 693*2^1246524-1 is not prime. Res64: 18BE0B73A96DF434 Time : 0.0 sec. user=mdettweiler [2013-06-03 18:14:05] 699*2^1246524-1 is not prime. Res64: 78E9EE72158AB6AC Time : 0.0 sec. user=mdettweiler [2013-06-03 18:14:05] 825*2^1246524-1 is not prime. Res64: 057E95E3347DCD0D Time : 0.0 sec. user=mdettweiler [2013-06-03 18:27:15] 893*2^1246524-1 is not prime. Res64: 8C30AE75148BDF14 Time : 0.0 sec. user=mdettweiler [2013-06-03 18:27:15] 903*2^1246524-1 is not prime. Res64: D4905B8F90051898 Time : 0.0 sec. user=mdettweiler [2013-06-03 18:31:58] 945*2^1246524-1 is not prime. Res64: 1FE951FDF34FD1A2 Time : 0.0 sec. user=mdettweiler [2013-06-03 18:44:58] 717*2^1246525-1 is not prime. Res64: 8EB59275C57FA1C0 Time : 0.0 sec. user=mdettweiler [2013-06-03 18:44:58] 789*2^1246525-1 is not prime. Res64: 9CC554F54C5C4D98 Time : 0.0 sec. user=mdettweiler [2013-06-03 18:54:15] 715*2^1246525-1 is not prime. Res64: D8B62D573DD38DD4 Time : 0.0 sec. user=mdettweiler [2013-06-03 19:02:47] 805*2^1246525-1 is not prime. Res64: 0C0FA4165AEA35E2 Time : 0.0 sec. user=mdettweiler [2013-06-03 19:02:48] 871*2^1246525-1 is not prime. Res64: 8B6507365F36C530 Time : 0.0 sec. user=mdettweiler [2013-06-03 19:13:18] 987*2^1246525-1 is not prime. Res64: 0A94DFA4C0C11BAF Time : 0.0 sec. user=mdettweiler [2013-06-03 19:21:58] 693*2^1246526-1 is not prime. Res64: 9C34AB98C7385B4D Time : 0.0 sec. user=mdettweiler [2013-06-03 19:34:31] 917*2^1246526-1 is not prime. Res64: EA120976DC61F640 Time : 0.0 sec. user=mdettweiler [2013-06-03 19:38:45] 677*2^1246526-1 is not prime. Res64: 4164841269912F88 Time : 0.0 sec. user=mdettweiler [2013-06-03 19:52:32] 941*2^1246526-1 is not prime. Res64: 393A6DA6A1D97CCE Time : 0.0 sec. user=mdettweiler [2013-06-03 19:56:33] 685*2^1246527-1 is not prime. Res64: 225D1450C167647D Time : 0.0 sec. user=mdettweiler [2013-06-03 19:56:34] 741*2^1246527-1 is not prime. Res64: 2C9378B425AC7420 Time : 0.0 sec. user=mdettweiler [2013-06-03 20:14:30] 819*2^1246527-1 is not prime. Res64: 1A6D7E856BF2C4A0 Time : 0.0 sec. user=mdettweiler [2013-06-03 20:19:11] 633*2^1246527-1 is not prime. Res64: 8087C12E8725344B Time : 0.0 sec. user=mdettweiler [2013-06-03 20:35:06] 843*2^1246527-1 is not prime. Res64: 8340D3D14F522EDA Time : 0.0 sec. user=mdettweiler [2013-06-03 20:37:11] 865*2^1246527-1 is not prime. Res64: C112B163F1F70D39 Time : 0.0 sec. user=mdettweiler [2013-06-03 20:53:07] 895*2^1246527-1 is not prime. Res64: 3F4C7D3909FE1282 Time : 0.0 sec. user=mdettweiler [2013-06-03 21:02:57] 871*2^1246527-1 is not prime. Res64: D7889A60FC536A6B Time : 0.0 sec. user=mdettweiler [2013-06-03 21:23:55] 963*2^1246527-1 is not prime. Res64: FD92D545FA60218F Time : 0.0 sec. user=mdettweiler [2013-06-03 21:43:25] 985*2^1246527-1 is not prime. Res64: 8E4849CBFAC6D507 Time : 0.0 sec. user=mdettweiler [2013-06-03 21:43:25] 991*2^1246527-1 is not prime. Res64: 5CD6840548E5E7D6 Time : 0.0 sec. user=mdettweiler [2013-06-03 21:49:50] 635*2^1246528-1 is not prime. Res64: E577C20CC97EB124 Time : 0.0 sec. user=mdettweiler [2013-06-03 22:01:13] 677*2^1246528-1 is not prime. Res64: 0F15FA033BE7C34B Time : 0.0 sec. user=mdettweiler [2013-06-03 22:01:14] 735*2^1246528-1 is not prime. Res64: 97972BF953DA5361 Time : 0.0 sec. user=mdettweiler [2013-06-03 22:19:25] 743*2^1246528-1 is not prime. Res64: 3BAC43C88950E7B5 Time : 0.0 sec. user=mdettweiler [2013-06-03 22:19:25] 765*2^1246528-1 is not prime. Res64: 6F6F4A5FF5361C44 Time : 0.0 sec. user=mdettweiler [2013-06-03 22:19:47] 657*2^1246528-1 is not prime. Res64: 1D8174187339A507 Time : 0.0 sec. user=mdettweiler [2013-06-03 22:37:32] 849*2^1246528-1 is not prime. Res64: 5DECC88B8BB2EAF3 Time : 0.0 sec. user=mdettweiler [2013-06-03 23:02:22] 927*2^1246528-1 is not prime. Res64: CB2D9CEA4819D752 Time : 0.0 sec. user=mdettweiler [2013-06-03 23:08:32] 975*2^1246528-1 is not prime. Res64: 9FF5D99C5BA565B4 Time : 0.0 sec. user=mdettweiler [2013-06-03 23:20:31] 711*2^1246529-1 is not prime. Res64: A895705F535E2081 Time : 0.0 sec. user=mdettweiler [2013-06-03 23:44:25] 691*2^1246529-1 is not prime. Res64: FD18679B34707A98 Time : 0.0 sec. user=mdettweiler [2013-06-03 23:49:24] 729*2^1246529-1 is not prime. Res64: 9F65E4B2FDCCB130 Time : 0.0 sec.