user=mdettweiler [2015-06-09 22:47:37] 657*2^1399889-1 is not prime. Res64: A5F82E15129F9011 Time : 0.0 sec. user=mdettweiler [2015-06-09 22:47:37] 789*2^1399889-1 is not prime. Res64: E294E4EFA24A78CC Time : 0.0 sec. user=mdettweiler [2015-06-09 23:07:36] 799*2^1399889-1 is not prime. Res64: 7B420ECFB2D023ED Time : 0.0 sec. user=mdettweiler [2015-06-09 23:07:36] 861*2^1399889-1 is not prime. Res64: ED64D44C774CC8CC Time : 0.0 sec. user=mdettweiler [2015-06-09 23:09:55] 955*2^1399889-1 is not prime. Res64: 6C95AE56F703C1DB Time : 0.0 sec. user=mdettweiler [2015-06-09 23:09:56] 997*2^1399889-1 is not prime. Res64: AA57C93C1E7CD0FD Time : 0.0 sec. user=mdettweiler [2015-06-09 23:14:17] 635*2^1399890-1 is not prime. Res64: B67962451F91EE66 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:14:17] 861*2^1399890-1 is not prime. Res64: 9FE61827CB67FA87 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:15:50] 615*2^1399892-1 is not prime. Res64: DA7CB482AACA0020 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:15:50] 635*2^1399892-1 is not prime. Res64: 971C823AC3AABD4A Time : 0.0 sec. user=mdettweiler [2015-06-09 23:27:45] 665*2^1399892-1 is not prime. Res64: 148EAB862A0F0B86 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:27:45] 689*2^1399892-1 is not prime. Res64: AA777D7E7BFFB084 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:29:50] 749*2^1399892-1 is not prime. Res64: 2D0EAD855757E22E Time : 0.0 sec. user=mdettweiler [2015-06-09 23:29:51] 767*2^1399892-1 is not prime. Res64: 02885DFE0B9FB621 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:34:05] 885*2^1399892-1 is not prime. Res64: D804D74CDB5FE685 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:34:05] 915*2^1399892-1 is not prime. Res64: 2FFBBE5C4D2EBF1F Time : 0.0 sec. user=mdettweiler [2015-06-09 23:35:52] 957*2^1399892-1 is not prime. Res64: 12E8B4FB11778EE7 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:35:52] 609*2^1399893-1 is not prime. Res64: A413594E541E0729 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:47:08] 621*2^1399893-1 is not prime. Res64: 9BB9B8C447052722 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:47:08] 649*2^1399893-1 is not prime. Res64: A97C2052A1D2E94F Time : 0.0 sec. user=mdettweiler [2015-06-09 23:49:06] 679*2^1399893-1 is not prime. Res64: 218221730ABA46B8 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:49:06] 685*2^1399893-1 is not prime. Res64: A49627C9BAA226FE Time : 0.0 sec. user=mdettweiler [2015-06-09 23:52:45] 877*2^1399893-1 is not prime. Res64: 544B814BCE32D448 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:52:46] 987*2^1399893-1 is not prime. Res64: 0555DBBE48EF6B4B Time : 0.0 sec. user=mdettweiler [2015-06-09 23:54:22] 999*2^1399893-1 is not prime. Res64: 224F52D49CF92E67 Time : 0.0 sec. user=mdettweiler [2015-06-09 23:54:23] 605*2^1399894-1 is not prime. Res64: BFF367520E12D635 Time : 0.0 sec.