user=mdettweiler [2015-07-20 00:12:57] 939*2^1403611-1 is not prime. Res64: CB987B2BEB87F07F Time : 0.0 sec. user=mdettweiler [2015-07-20 00:12:57] 973*2^1403611-1 is not prime. Res64: 13DCA29E5D937057 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:12:59] 993*2^1403611-1 is not prime. Res64: 6AE06024EB832704 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:12:59] 629*2^1403612-1 is not prime. Res64: F08780C454B85ADA Time : 0.0 sec. user=mdettweiler [2015-07-20 00:13:41] 759*2^1403612-1 is not prime. Res64: C78131C9FA69F092 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:13:41] 803*2^1403612-1 is not prime. Res64: 0D2981A680661133 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:16:54] 867*2^1403612-1 is not prime. Res64: A9E15B4047869FA7 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:16:54] 899*2^1403612-1 is not prime. Res64: E3DFAB97F9698348 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:31:57] 983*2^1403612-1 is not prime. Res64: 7771BAE329FE891B Time : 0.0 sec. user=mdettweiler [2015-07-20 00:31:57] 995*2^1403612-1 is not prime. Res64: 68A325ABF09F0C0A Time : 0.0 sec. user=mdettweiler [2015-07-20 00:31:58] 741*2^1403613-1 is not prime. Res64: 158D81F56B9ACB92 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:31:59] 859*2^1403613-1 is not prime. Res64: EACB83CECB467B3A Time : 0.0 sec. user=mdettweiler [2015-07-20 00:32:58] 985*2^1403613-1 is not prime. Res64: 9B23347FA90C61EE Time : 0.0 sec. user=mdettweiler [2015-07-20 00:32:59] 651*2^1403614-1 is not prime. Res64: 907481ED8F144F1A Time : 0.0 sec. user=mdettweiler [2015-07-20 00:35:48] 791*2^1403614-1 is not prime. Res64: 385ECF81E7AA349F Time : 0.0 sec. user=mdettweiler [2015-07-20 00:35:48] 861*2^1403614-1 is not prime. Res64: 888B2FA62318B60C Time : 0.0 sec. user=mdettweiler [2015-07-20 00:50:46] 887*2^1403614-1 is not prime. Res64: 221AC228AC58F1F1 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:50:47] 903*2^1403614-1 is not prime. Res64: F936D62686C19C0B Time : 0.0 sec. user=mdettweiler [2015-07-20 00:51:09] 951*2^1403614-1 is not prime. Res64: 5C32CA0AE192A9C6 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:51:10] 975*2^1403614-1 is not prime. Res64: AE0BF38004162C13 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:51:52] 633*2^1403615-1 is not prime. Res64: A4E12193A7717B16 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:51:52] 685*2^1403615-1 is not prime. Res64: 3B608AA5115ED19D Time : 0.0 sec. user=mdettweiler [2015-07-20 00:54:46] 705*2^1403615-1 is not prime. Res64: 82E15462A0079D57 Time : 0.0 sec. user=mdettweiler [2015-07-20 00:54:46] 771*2^1403615-1 is not prime. Res64: B5171FB299A8BF31 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:09:00] 885*2^1403615-1 is not prime. Res64: 71354E8774DA1B08 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:09:00] 909*2^1403615-1 is not prime. Res64: EE7D1D0CAC4C4407 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:09:18] 915*2^1403615-1 is not prime. Res64: EBB1BB48AAAF95AF Time : 0.0 sec. user=mdettweiler [2015-07-20 01:09:18] 921*2^1403615-1 is not prime. Res64: 9D8EC642BE55F4DE Time : 0.0 sec. user=mdettweiler [2015-07-20 01:10:06] 963*2^1403615-1 is not prime. Res64: 15DDC37400AC71FB Time : 0.0 sec. user=mdettweiler [2015-07-20 01:10:07] 609*2^1403616-1 is not prime. Res64: 1EBE6843004BBB43 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:12:51] 627*2^1403616-1 is not prime. Res64: A83F4B4DA95543DB Time : 0.0 sec. user=mdettweiler [2015-07-20 01:12:51] 675*2^1403616-1 is not prime. Res64: A4AE23131D4B3A6C Time : 0.0 sec. user=mdettweiler [2015-07-20 01:26:38] 693*2^1403616-1 is not prime. Res64: EC520B29C7637684 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:26:39] 735*2^1403616-1 is not prime. Res64: 8C48C55F6031C276 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:27:04] 825*2^1403616-1 is not prime. Res64: 11F41C20FA1ED819 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:27:04] 975*2^1403616-1 is not prime. Res64: EF317E31E19F4747 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:27:45] 667*2^1403617-1 is not prime. Res64: 5537B24BE1CE2A15 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:27:46] 771*2^1403617-1 is not prime. Res64: 3724A033FD85B4D0 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:30:26] 805*2^1403617-1 is not prime. Res64: 8A5F81CAD9F1D4F0 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:30:27] 885*2^1403617-1 is not prime. Res64: E95461AB3684CA8F Time : 0.0 sec. user=mdettweiler [2015-07-20 01:44:36] 945*2^1403617-1 is not prime. Res64: 4011F27E51CB0958 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:44:37] 603*2^1403618-1 is not prime. Res64: 9E0A83660D241AA2 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:44:52] 665*2^1403618-1 is not prime. Res64: 2D6B90CF3120BF04 Time : 0.0 sec. user=mdettweiler [2015-07-20 01:44:52] 669*2^1403619-1 is not prime. Res64: CDFFF88B9CBE6BFF Time : 0.0 sec. user=mdettweiler [2015-07-20 01:45:42] 679*2^1403619-1 is not prime. Res64: CAB83AF961509F1C Time : 0.0 sec. user=mdettweiler [2015-07-20 01:45:42] 741*2^1403619-1 is not prime. Res64: EF0DD72D62F8A32D Time : 0.0 sec. user=mdettweiler [2015-07-20 01:48:27] 823*2^1403619-1 is not prime. Res64: F87F5F38A4E641DF Time : 0.0 sec. user=mdettweiler [2015-07-20 01:48:27] 853*2^1403619-1 is not prime. Res64: BAB02AF668B5F113 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:02:17] 873*2^1403619-1 is not prime. Res64: BEB53872B665EC98 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:02:18] 895*2^1403619-1 is not prime. Res64: DEFE81A6B8A9E5F1 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:02:32] 913*2^1403619-1 is not prime. Res64: AD29158CA00903F0 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:02:34] 647*2^1403620-1 is not prime. Res64: 864436D56124FCB2 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:03:22] 663*2^1403620-1 is not prime. Res64: F76B2B84A06038B7 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:03:23] 665*2^1403620-1 is not prime. Res64: 69173B378D5B0BFC Time : 0.0 sec. user=mdettweiler [2015-07-20 02:06:05] 677*2^1403620-1 is not prime. Res64: 7F92B1E17537802D Time : 0.0 sec. user=mdettweiler [2015-07-20 02:06:06] 827*2^1403620-1 is not prime. Res64: CCCC780FBDB92A74 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:19:58] 863*2^1403620-1 is not prime. Res64: 5DA9C66E76A10C1B Time : 0.0 sec. user=mdettweiler [2015-07-20 02:19:58] 957*2^1403620-1 is not prime. Res64: C6D26E95558E84BE Time : 0.0 sec. user=mdettweiler [2015-07-20 02:20:09] 965*2^1403620-1 is not prime. Res64: A6B5BEC61058ACF0 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:20:09] 615*2^1403621-1 is not prime. Res64: EEE449EF8238F156 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:21:00] 649*2^1403621-1 is not prime. Res64: 56C1A6EA78DBA666 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:21:01] 735*2^1403621-1 is not prime. Res64: 1E112257994BD56F Time : 0.0 sec. user=mdettweiler [2015-07-20 02:23:41] 777*2^1403621-1 is not prime. Res64: 39FC0B0BDB763CB2 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:23:41] 789*2^1403621-1 is not prime. Res64: 3C45E5C1F070A703 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:37:33] 795*2^1403621-1 is not prime. Res64: 75C2DEBDDE9365D1 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:37:34] 829*2^1403621-1 is not prime. Res64: D7B005740DCDF4D0 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:37:46] 861*2^1403621-1 is not prime. Res64: 7B3A04DBE914BBC7 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:37:46] 879*2^1403621-1 is not prime. Res64: 4A64EE3887FD1B34 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:38:39] 949*2^1403621-1 is not prime. Res64: 94DD7DBCC8D0E3AA Time : 0.0 sec. user=mdettweiler [2015-07-20 02:38:39] 717*2^1403622-1 is not prime. Res64: 85D2611A5279CA1C Time : 0.0 sec. user=mdettweiler [2015-07-20 02:41:23] 741*2^1403622-1 is not prime. Res64: 5858C18F7AF81D7E Time : 0.0 sec. user=mdettweiler [2015-07-20 02:41:23] 867*2^1403622-1 is not prime. Res64: 218223002EE383FB Time : 0.0 sec. user=mdettweiler [2015-07-20 02:55:27] 649*2^1403623-1 is not prime. Res64: 601AD7FAD8ECB2BF Time : 0.0 sec. user=mdettweiler [2015-07-20 02:55:28] 745*2^1403623-1 is not prime. Res64: B48FE49DC4F5231E Time : 0.0 sec. user=mdettweiler [2015-07-20 02:55:28] 903*2^1403622-1 is not prime. Res64: 8F06CB6028D7821D Time : 0.0 sec. user=mdettweiler [2015-07-20 02:55:28] 965*2^1403622-1 is not prime. Res64: EB360C16D2878271 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:56:19] 819*2^1403623-1 is not prime. Res64: B4BE4CCD632EB169 Time : 0.0 sec. user=mdettweiler [2015-07-20 02:56:20] 853*2^1403623-1 is not prime. Res64: 819BD73AAD8D5AEA Time : 0.0 sec. user=mdettweiler [2015-07-20 02:59:07] 915*2^1403623-1 is not prime. Res64: D613B00A2B211D0F Time : 0.0 sec. user=mdettweiler [2015-07-20 02:59:08] 993*2^1403623-1 is not prime. Res64: 0AD0BC78E3449E33 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:13:06] 843*2^1403624-1 is not prime. Res64: 6E6830E849616EE2 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:13:06] 625*2^1403625-1 is not prime. Res64: 13EEEE2B611B56BF Time : 0.0 sec. user=mdettweiler [2015-07-20 03:13:09] 699*2^1403624-1 is not prime. Res64: 0EA2848D27850E7E Time : 0.0 sec. user=mdettweiler [2015-07-20 03:13:09] 755*2^1403624-1 is not prime. Res64: 9B1248252BBFE6C7 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:13:58] 691*2^1403625-1 is not prime. Res64: D4A4D845F2E622F1 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:13:58] 709*2^1403625-1 is not prime. Res64: E89BFD0B4D643E48 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:16:45] 735*2^1403625-1 is not prime. Res64: 7E405564223F3E23 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:16:46] 759*2^1403625-1 is not prime. Res64: E9E8A7621A7733F8 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:30:52] 861*2^1403625-1 is not prime. Res64: 865EB17541A0CB99 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:30:53] 919*2^1403625-1 is not prime. Res64: B71B8A21E1995A9E Time : 0.0 sec. user=mdettweiler [2015-07-20 03:30:53] 871*2^1403625-1 is not prime. Res64: 67C602036D47AD23 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:30:53] 999*2^1403625-1 is not prime. Res64: 1D0D621D8A174647 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:31:44] 623*2^1403626-1 is not prime. Res64: 7125F1D7FCD3696A Time : 0.0 sec. user=mdettweiler [2015-07-20 03:31:45] 635*2^1403626-1 is not prime. Res64: 7CC5C5E1225F5E47 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:34:18] 645*2^1403626-1 is not prime. Res64: 091CFF40E5B2DC68 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:34:18] 651*2^1403626-1 is not prime. Res64: 87272EA5AF63643F Time : 0.0 sec. user=mdettweiler [2015-07-20 03:48:56] 911*2^1403626-1 is not prime. Res64: 21287EF2BFC8D200 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:48:58] 945*2^1403626-1 is not prime. Res64: EF7CCD3B69FFFD2E Time : 0.0 sec. user=mdettweiler [2015-07-20 03:48:58] 737*2^1403626-1 is not prime. Res64: 763569CE15DF4C29 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:48:59] 765*2^1403626-1 is not prime. Res64: DF9D1CC9B55BC5A9 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:49:28] 957*2^1403626-1 is not prime. Res64: 52C5030D93610DD3 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:49:29] 663*2^1403627-1 is not prime. Res64: 6B14BBA7E3C374CD Time : 0.0 sec. user=mdettweiler [2015-07-20 03:51:58] 675*2^1403627-1 is not prime. Res64: C3618250108DA5F1 Time : 0.0 sec. user=mdettweiler [2015-07-20 03:51:58] 759*2^1403627-1 is not prime. Res64: 8474AC7BCE81FBE7 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:06:52] 885*2^1403627-1 is not prime. Res64: FDE86C286A252662 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:06:53] 909*2^1403627-1 is not prime. Res64: E88F6FEF37241B65 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:06:54] 799*2^1403627-1 is not prime. Res64: CA6EAF31104051BD Time : 0.0 sec. user=mdettweiler [2015-07-20 04:06:54] 825*2^1403627-1 is not prime. Res64: 502CB5D303C470E5 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:07:02] 949*2^1403627-1 is not prime. Res64: 9AB08A3AC341F9A5 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:07:03] 973*2^1403627-1 is not prime. Res64: 0313912C34CC135F Time : 0.0 sec. user=mdettweiler [2015-07-20 04:09:30] 979*2^1403627-1 is not prime. Res64: C8FC255055C0FA68 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:09:30] 605*2^1403628-1 is not prime. Res64: D2AD1076750D8872 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:24:30] 621*2^1403629-1 is not prime. Res64: 5D435378085EBDE3 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:24:31] 751*2^1403629-1 is not prime. Res64: 1A835A3628C67F11 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:24:31] 773*2^1403628-1 is not prime. Res64: B35C1BB8F54FBADD Time : 0.0 sec. user=mdettweiler [2015-07-20 04:24:32] 927*2^1403628-1 is not prime. Res64: 2E382C36389DD86A Time : 0.0 sec. user=mdettweiler [2015-07-20 04:24:35] 769*2^1403629-1 is not prime. Res64: 2B694276F3166E1A Time : 0.0 sec. user=mdettweiler [2015-07-20 04:24:36] 919*2^1403629-1 is not prime. Res64: F49A965768786668 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:27:06] 627*2^1403630-1 is not prime. Res64: C3C5D08627C280BD Time : 0.0 sec. user=mdettweiler [2015-07-20 04:27:07] 641*2^1403630-1 is not prime. Res64: 7F396498E5E3B9FC Time : 0.0 sec. user=mdettweiler [2015-07-20 04:42:32] 885*2^1403630-1 is not prime. Res64: 28794C530E79F749 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:42:32] 893*2^1403630-1 is not prime. Res64: 6B648851B25C3CF5 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:43:05] 923*2^1403630-1 is not prime. Res64: 7473C9582AFED5A2 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:43:05] 671*2^1403630-1 is not prime. Res64: 2C330561ECD7F425 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:43:05] 957*2^1403630-1 is not prime. Res64: 67F0913ECCDF9569 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:43:05] 785*2^1403630-1 is not prime. Res64: 6D6EBC5453AB5952 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:45:43] 661*2^1403631-1 is not prime. Res64: 31B60D077C1C8C67 Time : 0.0 sec. user=mdettweiler [2015-07-20 04:45:43] 703*2^1403631-1 is not prime. Res64: BD25095D863934A3 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:00:15] 781*2^1403631-1 is not prime. Res64: C8631D9824A0F19C Time : 0.0 sec. user=mdettweiler [2015-07-20 05:00:16] 783*2^1403631-1 is not prime. Res64: 6D564FD846934A4B Time : 0.0 sec. user=mdettweiler [2015-07-20 05:00:40] 859*2^1403631-1 is not prime. Res64: E7237D013DD7F773 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:00:41] 909*2^1403631-1 is not prime. Res64: 6D77D97873302228 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:00:45] 819*2^1403631-1 is not prime. Res64: D46052758CA7A453 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:00:46] 829*2^1403631-1 is not prime. Res64: 8EDA41AEFDD6D42A Time : 0.0 sec. user=mdettweiler [2015-07-20 05:03:13] 999*2^1403631-1 is not prime. Res64: C47DA250426CD483 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:03:15] 603*2^1403632-1 is not prime. Res64: E77D722675166F1D Time : 0.0 sec. user=mdettweiler [2015-07-20 05:17:54] 653*2^1403632-1 is not prime. Res64: AEECA659D181DA36 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:17:54] 777*2^1403632-1 is not prime. Res64: EA6A5ADAF90F50FB Time : 0.0 sec. user=mdettweiler [2015-07-20 05:18:15] 813*2^1403632-1 is not prime. Res64: 61A01955A20DD3B9 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:18:16] 855*2^1403632-1 is not prime. Res64: 828FF8EC453C3C52 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:18:29] 675*2^1403633-1 is not prime. Res64: 4EFF5ADED62BB078 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:18:29] 771*2^1403633-1 is not prime. Res64: C96141CF6104430C Time : 0.0 sec. user=mdettweiler [2015-07-20 05:20:52] 949*2^1403633-1 is not prime. Res64: 57DCCE8351B4B996 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:20:52] 985*2^1403633-1 is not prime. Res64: 6CC9C10594B43818 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:35:42] 991*2^1403633-1 is not prime. Res64: AD11137B912365D0 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:35:43] 651*2^1403634-1 is not prime. Res64: 31AF9EF254FA4F4B Time : 0.0 sec. user=mdettweiler [2015-07-20 05:35:53] 677*2^1403634-1 is not prime. Res64: 1CF15FA73C3BE8A2 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:35:53] 711*2^1403634-1 is not prime. Res64: DC37D85783F24BDA Time : 0.0 sec. user=mdettweiler [2015-07-20 05:36:02] 737*2^1403634-1 is not prime. Res64: 151E2591707BEA61 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:36:03] 825*2^1403634-1 is not prime. Res64: 54D13550FBC13BB9 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:38:31] 893*2^1403634-1 is not prime. Res64: 56D49617B0FB73D8 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:38:31] 903*2^1403634-1 is not prime. Res64: 3335680670D0182F Time : 0.0 sec. user=mdettweiler [2015-07-20 05:53:19] 923*2^1403634-1 is not prime. Res64: 85017C735CD34A8C Time : 0.0 sec. user=mdettweiler [2015-07-20 05:53:19] 993*2^1403634-1 is not prime. Res64: 203BDDB7197955E8 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:53:32] 645*2^1403635-1 is not prime. Res64: FCA39ECC527602E2 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:53:32] 651*2^1403635-1 is not prime. Res64: 213D935C02365F46 Time : 0.0 sec. user=mdettweiler [2015-07-20 05:53:37] 751*2^1403635-1 is not prime. Res64: B7D0693E13AEF2DE Time : 0.0 sec. user=mdettweiler [2015-07-20 05:53:37] 775*2^1403635-1 is not prime. Res64: A7B15E3EC785086E Time : 0.0 sec. user=mdettweiler [2015-07-20 05:56:05] 843*2^1403635-1 is not prime. Res64: 9858CEB41B329CDB Time : 0.0 sec. user=mdettweiler [2015-07-20 05:56:05] 885*2^1403635-1 is not prime. Res64: 5A360C6E333CFE40 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:10:58] 913*2^1403635-1 is not prime. Res64: E49804A5B91D4916 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:10:58] 961*2^1403635-1 is not prime. Res64: F64B6352F0CC4195 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:11:11] 973*2^1403635-1 is not prime. Res64: CE65368832B19FFB Time : 0.0 sec. user=mdettweiler [2015-07-20 06:11:12] 659*2^1403636-1 is not prime. Res64: 408DFEE8E23373E5 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:11:14] 669*2^1403636-1 is not prime. Res64: 4B926CCBBF448D26 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:11:15] 689*2^1403636-1 is not prime. Res64: F15A590D765824D5 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:13:51] 827*2^1403636-1 is not prime. Res64: 562FDFCAAA3576C1 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:13:52] 837*2^1403636-1 is not prime. Res64: 5C6D2C80AFE53BF0 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:28:37] 855*2^1403636-1 is not prime. Res64: E1C393BF4C696853 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:28:37] 903*2^1403636-1 is not prime. Res64: 6E9591DF430CF61E Time : 0.0 sec. user=mdettweiler [2015-07-20 06:28:47] 927*2^1403636-1 is not prime. Res64: 1658B3DA2C529C66 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:28:48] 945*2^1403636-1 is not prime. Res64: 8E5CFE000F4649B6 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:29:01] 983*2^1403636-1 is not prime. Res64: F5D2A7D63297268A Time : 0.0 sec. user=mdettweiler [2015-07-20 06:29:02] 993*2^1403636-1 is not prime. Res64: 645F4CB77F9A12E7 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:31:30] 607*2^1403637-1 is not prime. Res64: 9EF6D70E1A92B208 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:31:31] 615*2^1403637-1 is not prime. Res64: 7019C116A39A2208 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:46:19] 621*2^1403637-1 is not prime. Res64: 586EF3956EAD3BCE Time : 0.0 sec. user=mdettweiler [2015-07-20 06:46:20] 627*2^1403637-1 is not prime. Res64: 4980022825AEBF99 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:46:28] 655*2^1403637-1 is not prime. Res64: 402155DB57C5C395 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:46:28] 667*2^1403637-1 is not prime. Res64: 3F484D3D10E68FF2 Time : 0.0 sec. user=mdettweiler [2015-07-20 06:46:42] 709*2^1403637-1 is not prime. Res64: FAB2DBE405251B3D Time : 0.0 sec. user=mdettweiler [2015-07-20 06:46:42] 781*2^1403637-1 is not prime. Res64: 670BCF799E6EE3DA Time : 0.0 sec. user=mdettweiler [2015-07-20 06:49:18] 885*2^1403637-1 is not prime. Res64: 103A6EC91B22B85B Time : 0.0 sec. user=mdettweiler [2015-07-20 06:49:19] 889*2^1403637-1 is not prime. Res64: 31EEF454B606E1B5 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:04:05] 919*2^1403637-1 is not prime. Res64: 54E24CBB003ABE3D Time : 0.0 sec. user=mdettweiler [2015-07-20 07:04:07] 949*2^1403637-1 is not prime. Res64: 423B94CA34AE37C5 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:04:07] 645*2^1403638-1 is not prime. Res64: 909AC8D0CD248451 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:04:08] 665*2^1403638-1 is not prime. Res64: CB5F947A1EC82C73 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:04:20] 761*2^1403638-1 is not prime. Res64: A45C49FD43C41737 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:04:21] 765*2^1403638-1 is not prime. Res64: 5A11586F6AF3916B Time : 0.0 sec. user=mdettweiler [2015-07-20 07:06:56] 951*2^1403638-1 is not prime. Res64: 2CA2D57CCFEA5185 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:06:56] 693*2^1403639-1 is not prime. Res64: 558C396B511AC38C Time : 0.0 sec. user=mdettweiler [2015-07-20 07:21:54] 763*2^1403639-1 is not prime. Res64: 2DDA8724942F44CA Time : 0.0 sec. user=mdettweiler [2015-07-20 07:21:55] 813*2^1403639-1 is not prime. Res64: 9BB254683CEA8556 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:21:57] 711*2^1403639-1 is not prime. Res64: DBFC40A219005857 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:21:57] 729*2^1403639-1 is not prime. Res64: 241B66EAA0FA48BC Time : 0.0 sec. user=mdettweiler [2015-07-20 07:22:10] 829*2^1403639-1 is not prime. Res64: 427505AD8663B3A7 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:22:11] 855*2^1403639-1 is not prime. Res64: 3DB3D365C1552801 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:24:31] 865*2^1403639-1 is not prime. Res64: C2EB2B2DF9BBFEFB Time : 0.0 sec. user=mdettweiler [2015-07-20 07:24:32] 913*2^1403639-1 is not prime. Res64: 792B1B19F2D9DA34 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:39:27] 695*2^1403640-1 is not prime. Res64: FCF75D7B2D084166 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:39:27] 719*2^1403640-1 is not prime. Res64: 0C8F1ABDD06E5D1F Time : 0.0 sec. user=mdettweiler [2015-07-20 07:39:32] 737*2^1403640-1 is not prime. Res64: 68F090CF6C5C5A3B Time : 0.0 sec. user=mdettweiler [2015-07-20 07:39:32] 863*2^1403640-1 is not prime. Res64: A8CF311AC765BAF6 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:39:51] 923*2^1403640-1 is not prime. Res64: 32A8E0367736020C Time : 0.0 sec. user=mdettweiler [2015-07-20 07:39:51] 745*2^1403641-1 is not prime. Res64: 95D877737912A61F Time : 0.0 sec. user=mdettweiler [2015-07-20 07:42:08] 867*2^1403641-1 is not prime. Res64: 3F9DCC20BCF7A38B Time : 0.0 sec. user=mdettweiler [2015-07-20 07:42:09] 955*2^1403641-1 is not prime. Res64: FB8EDFDBBA4D31BF Time : 0.0 sec. user=mdettweiler [2015-07-20 07:57:09] 975*2^1403641-1 is not prime. Res64: 5741F3F6218C3C45 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:57:09] 617*2^1403642-1 is not prime. Res64: 1EFD16202E345A4B Time : 0.0 sec. user=mdettweiler [2015-07-20 07:57:17] 623*2^1403642-1 is not prime. Res64: 8C1CAB64B5BC7F5A Time : 0.0 sec. user=mdettweiler [2015-07-20 07:57:18] 827*2^1403642-1 is not prime. Res64: A37AA60887F077E6 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:57:28] 885*2^1403642-1 is not prime. Res64: 9F0E5016665DA77A Time : 0.0 sec. user=mdettweiler [2015-07-20 07:57:29] 915*2^1403642-1 is not prime. Res64: 2E91C78D7F1FB0BA Time : 0.0 sec. user=mdettweiler [2015-07-20 07:59:50] 981*2^1403642-1 is not prime. Res64: 38F64FEA64FDFA28 Time : 0.0 sec. user=mdettweiler [2015-07-20 07:59:50] 609*2^1403643-1 is not prime. Res64: 85B643F5DD9EB2C4 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:14:55] 675*2^1403643-1 is not prime. Res64: 48383FAA7FB0D3D2 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:14:55] 703*2^1403643-1 is not prime. Res64: CE8A9597C101ABD2 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:14:58] 723*2^1403643-1 is not prime. Res64: 944B8338FBE14A39 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:14:58] 891*2^1403643-1 is not prime. Res64: 1EC3251CD033268B Time : 0.0 sec. user=mdettweiler [2015-07-20 08:15:12] 949*2^1403643-1 is not prime. Res64: 0B4555193EA27623 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:15:13] 635*2^1403644-1 is not prime. Res64: C130190AE4C760E6 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:17:24] 675*2^1403644-1 is not prime. Res64: 5C74A22DAB419A82 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:17:24] 693*2^1403644-1 is not prime. Res64: 253C9266DA0F6287 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:32:40] 887*2^1403644-1 is not prime. Res64: 7F5192B6F2832847 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:32:40] 601*2^1403645-1 is not prime. Res64: E5202DED463C5C7C Time : 0.0 sec. user=mdettweiler [2015-07-20 08:32:41] 813*2^1403644-1 is not prime. Res64: CF5477CC7A532D6C Time : 0.0 sec. user=mdettweiler [2015-07-20 08:32:41] 855*2^1403644-1 is not prime. Res64: B663260C65E327D3 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:32:59] 715*2^1403645-1 is not prime. Res64: 0E3679774C28F340 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:32:59] 777*2^1403645-1 is not prime. Res64: D4CD62E3413BFD40 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:35:06] 837*2^1403645-1 is not prime. Res64: BB6B59934143EEFC Time : 0.0 sec. user=mdettweiler [2015-07-20 08:35:07] 889*2^1403645-1 is not prime. Res64: 9997FC8BAB4219F8 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:50:13] 641*2^1403646-1 is not prime. Res64: 0D9222CFA42970D8 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:50:13] 705*2^1403646-1 is not prime. Res64: 38FB88C66F6441F3 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:50:16] 927*2^1403645-1 is not prime. Res64: FC9715EE45E23A9D Time : 0.0 sec. user=mdettweiler [2015-07-20 08:50:16] 949*2^1403645-1 is not prime. Res64: 15BC2488395FE49E Time : 0.0 sec. user=mdettweiler [2015-07-20 08:50:41] 707*2^1403646-1 is not prime. Res64: AB1AE2B56998076D Time : 0.0 sec. user=mdettweiler [2015-07-20 08:50:41] 725*2^1403646-1 is not prime. Res64: 0736B97A8EDFCDD9 Time : 0.0 sec. user=mdettweiler [2015-07-20 08:52:51] 921*2^1403646-1 is not prime. Res64: DFD2E06982ED2ABF Time : 0.0 sec. user=mdettweiler [2015-07-20 08:52:51] 941*2^1403646-1 is not prime. Res64: 433686589DE8AE67 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:07:58] 993*2^1403646-1 is not prime. Res64: 17175A0720DAEE31 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:07:59] 619*2^1403647-1 is not prime. Res64: 84D5BC4586E41642 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:07:59] 625*2^1403647-1 is not prime. Res64: FCB27A01DBDE0674 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:08:00] 639*2^1403647-1 is not prime. Res64: 4EDF6A6C608F4513 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:08:32] 765*2^1403647-1 is not prime. Res64: 6180CF4517BF0E82 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:08:33] 961*2^1403647-1 is not prime. Res64: 29B75EAF46DA5539 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:10:31] 665*2^1403648-1 is not prime. Res64: 553C3273F635CE89 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:10:32] 773*2^1403648-1 is not prime. Res64: ADE5BFA98B642825 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:25:40] 945*2^1403648-1 is not prime. Res64: BB3D497DE1D0BC9A Time : 0.0 sec. user=mdettweiler [2015-07-20 09:25:40] 627*2^1403649-1 is not prime. Res64: DD1EA95EF997F713 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:25:41] 825*2^1403648-1 is not prime. Res64: BB04C55DD831B99B Time : 0.0 sec. user=mdettweiler [2015-07-20 09:25:42] 867*2^1403648-1 is not prime. Res64: 5FA6B604EE115C26 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:26:15] 711*2^1403649-1 is not prime. Res64: A05F481BB826B54E Time : 0.0 sec. user=mdettweiler [2015-07-20 09:26:15] 741*2^1403649-1 is not prime. Res64: 40D9DB77B2F7A7AB Time : 0.0 sec. user=mdettweiler [2015-07-20 09:28:07] 795*2^1403649-1 is not prime. Res64: EE1F114E88BF8D88 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:28:07] 847*2^1403649-1 is not prime. Res64: 752B9D5FDFD8C833 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:43:15] 813*2^1403650-1 is not prime. Res64: 2C00198A2ED658BC Time : 0.0 sec. user=mdettweiler [2015-07-20 09:43:16] 821*2^1403650-1 is not prime. Res64: BEC0BB22DBAF399B Time : 0.0 sec. user=mdettweiler [2015-07-20 09:43:17] 919*2^1403649-1 is not prime. Res64: B991CA98AB56AC76 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:43:17] 645*2^1403650-1 is not prime. Res64: 921C8DF3A1FD8F03 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:43:54] 857*2^1403650-1 is not prime. Res64: 90F658A350828F37 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:43:54] 971*2^1403650-1 is not prime. Res64: 37FB701953B2D520 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:45:44] 987*2^1403650-1 is not prime. Res64: EA4CC2794F8D1BA5 Time : 0.0 sec. user=mdettweiler [2015-07-20 09:45:44] 669*2^1403651-1 is not prime. Res64: AF06F6355793BCED Time : 0.0 sec. user=mdettweiler [2015-07-20 10:00:52] 673*2^1403651-1 is not prime. Res64: EA59FCD23AE98966 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:00:52] 675*2^1403651-1 is not prime. Res64: 2E3A89979A806517 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:00:56] 705*2^1403651-1 is not prime. Res64: 6D7367D91FBE3D7D Time : 0.0 sec. user=mdettweiler [2015-07-20 10:00:57] 781*2^1403651-1 is not prime. Res64: AF19DAF57F0052DA Time : 0.0 sec. user=mdettweiler [2015-07-20 10:01:51] 805*2^1403651-1 is not prime. Res64: EC935EF9C55AEC1D Time : 0.0 sec. user=mdettweiler [2015-07-20 10:01:51] 811*2^1403651-1 is not prime. Res64: F25B8620A6DFABE3 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:03:24] 813*2^1403651-1 is not prime. Res64: D7CE24F1BAB28258 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:03:25] 829*2^1403651-1 is not prime. Res64: A8B93FC8110A9C8B Time : 0.0 sec. user=mdettweiler [2015-07-20 10:18:34] 623*2^1403652-1 is not prime. Res64: D3329A347FF389EB Time : 0.0 sec. user=mdettweiler [2015-07-20 10:18:35] 627*2^1403652-1 is not prime. Res64: BC8A2658994799A8 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:18:35] 993*2^1403651-1 is not prime. Res64: 5AB6D995EE6ADAB0 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:18:36] 999*2^1403651-1 is not prime. Res64: C2100AC7DFC37FC0 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:19:25] 665*2^1403652-1 is not prime. Res64: F32B00D7FBC480DA Time : 0.0 sec. user=mdettweiler [2015-07-20 10:19:26] 689*2^1403652-1 is not prime. Res64: 5C52A871069AABEF Time : 0.0 sec. user=mdettweiler [2015-07-20 10:21:05] 825*2^1403652-1 is not prime. Res64: 6DD9D6D15A4D0B72 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:21:06] 965*2^1403652-1 is not prime. Res64: 8C81C9563A78E517 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:36:13] 951*2^1403653-1 is not prime. Res64: B31F30A257B3954F Time : 0.0 sec. user=mdettweiler [2015-07-20 10:36:14] 979*2^1403653-1 is not prime. Res64: 08CC4DFF62051CC7 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:36:15] 747*2^1403653-1 is not prime. Res64: 8B4B5FCCA025B945 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:36:15] 775*2^1403653-1 is not prime. Res64: 1A7423F1E64D04D1 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:37:02] 663*2^1403654-1 is not prime. Res64: FC7CFA54DE296F17 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:37:02] 773*2^1403654-1 is not prime. Res64: 6503E05C546F0E6A Time : 0.0 sec. user=mdettweiler [2015-07-20 10:38:45] 917*2^1403654-1 is not prime. Res64: F02D47299F70AB30 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:38:45] 971*2^1403654-1 is not prime. Res64: 250173A57B8DAE0B Time : 0.0 sec. user=mdettweiler [2015-07-20 10:53:55] 685*2^1403655-1 is not prime. Res64: 353899FA9F202E7F Time : 0.0 sec. user=mdettweiler [2015-07-20 10:53:55] 861*2^1403655-1 is not prime. Res64: A9EA88028A43EB41 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:54:01] 601*2^1403655-1 is not prime. Res64: 0666E9A8E768A1EF Time : 0.0 sec. user=mdettweiler [2015-07-20 10:54:02] 643*2^1403655-1 is not prime. Res64: 762AFF8F6E9D7F7F Time : 0.0 sec. user=mdettweiler [2015-07-20 10:54:35] 639*2^1403656-1 is not prime. Res64: E20C32302450EBB1 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:54:35] 735*2^1403656-1 is not prime. Res64: B67DF45649CCAC92 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:56:24] 755*2^1403656-1 is not prime. Res64: 6083BE2940EA97A4 Time : 0.0 sec. user=mdettweiler [2015-07-20 10:56:24] 903*2^1403656-1 is not prime. Res64: 723A18325846F252 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:11:30] 917*2^1403656-1 is not prime. Res64: 7C567929D02A5E65 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:11:31] 631*2^1403657-1 is not prime. Res64: 9B607A6558D0B754 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:12:06] 669*2^1403657-1 is not prime. Res64: C6FE343CD1F28169 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:12:07] 699*2^1403657-1 is not prime. Res64: D8B8377D1EE9D104 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:12:15] 771*2^1403657-1 is not prime. Res64: CD7A7E990624129F Time : 0.0 sec. user=mdettweiler [2015-07-20 11:12:15] 885*2^1403657-1 is not prime. Res64: 852009985EBD16B3 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:14:05] 937*2^1403657-1 is not prime. Res64: 77C0E19C15068520 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:14:06] 945*2^1403657-1 is not prime. Res64: 9EF19723CDFC61BB Time : 0.0 sec. user=mdettweiler [2015-07-20 11:29:17] 641*2^1403658-1 is not prime. Res64: F0D437B0312B5452 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:29:18] 663*2^1403658-1 is not prime. Res64: FFF87C3CFBBFC0B6 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:29:42] 755*2^1403658-1 is not prime. Res64: 5D20F3DC9EEF2348 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:29:43] 767*2^1403658-1 is not prime. Res64: CC1B9698040D113E Time : 0.0 sec. user=mdettweiler [2015-07-20 11:29:52] 891*2^1403658-1 is not prime. Res64: CA172088BAC7FE62 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:29:53] 609*2^1403659-1 is not prime. Res64: 88EBF95F8094B856 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:31:45] 615*2^1403659-1 is not prime. Res64: 05FF1BDEF6C1E099 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:31:45] 631*2^1403659-1 is not prime. Res64: C1337CBD8D272E08 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:47:06] 645*2^1403659-1 is not prime. Res64: 3ECB8C1EA238682E Time : 0.0 sec. user=mdettweiler [2015-07-20 11:47:06] 723*2^1403659-1 is not prime. Res64: D2DBF4FDF45DE129 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:47:13] 759*2^1403659-1 is not prime. Res64: E30CB60F2CA70F71 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:47:13] 859*2^1403659-1 is not prime. Res64: 3F81AE1AEE6AF3F3 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:47:50] 635*2^1403660-1 is not prime. Res64: F3562615441A3D05 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:47:50] 663*2^1403660-1 is not prime. Res64: 51C230FAEB2CC788 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:49:29] 789*2^1403660-1 is not prime. Res64: 6B5D8CE09965BC19 Time : 0.0 sec. user=mdettweiler [2015-07-20 11:49:29] 795*2^1403660-1 is not prime. Res64: EB9FE143D5AE7870 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:04:41] 857*2^1403660-1 is not prime. Res64: AEDA249CE76D2E8C Time : 0.0 sec. user=mdettweiler [2015-07-20 12:04:42] 957*2^1403660-1 is not prime. Res64: BEA562FA5570E989 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:04:50] 609*2^1403661-1 is not prime. Res64: C35A46C4DFA7268A Time : 0.0 sec. user=mdettweiler [2015-07-20 12:04:51] 657*2^1403661-1 is not prime. Res64: 7CB73389F7FD1E26 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:05:28] 669*2^1403661-1 is not prime. Res64: CDE05B0026A6CB56 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:05:29] 711*2^1403661-1 is not prime. Res64: A6357D538692C486 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:07:12] 727*2^1403661-1 is not prime. Res64: 1D0B3F1C2C5A851E Time : 0.0 sec. user=mdettweiler [2015-07-20 12:07:12] 751*2^1403661-1 is not prime. Res64: AA754A12ADB65298 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:22:42] 621*2^1403662-1 is not prime. Res64: BC4D9D6B2A3A0111 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:22:43] 675*2^1403662-1 is not prime. Res64: 6673423DE41550EB Time : 0.0 sec. user=mdettweiler [2015-07-20 12:22:44] 889*2^1403661-1 is not prime. Res64: 4A1946C675E18597 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:22:45] 937*2^1403661-1 is not prime. Res64: 1C5B0A2764EA6BF6 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:23:13] 713*2^1403662-1 is not prime. Res64: E338E277BE144CAD Time : 0.0 sec. user=mdettweiler [2015-07-20 12:23:13] 755*2^1403662-1 is not prime. Res64: 102A4368FDE3C1E1 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:24:51] 761*2^1403662-1 is not prime. Res64: FC7CE4B014E41436 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:24:51] 777*2^1403662-1 is not prime. Res64: 17C7FFFD8A3B56B2 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:40:16] 965*2^1403662-1 is not prime. Res64: C251392ADF6B9465 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:40:17] 663*2^1403663-1 is not prime. Res64: F67054F32D172ED0 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:40:22] 857*2^1403662-1 is not prime. Res64: A57D676E25A0ED83 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:40:22] 885*2^1403662-1 is not prime. Res64: 23EF6CED9C8C3F3E Time : 0.0 sec. user=mdettweiler [2015-07-20 12:40:50] 739*2^1403663-1 is not prime. Res64: 321AF7A4873D8BF5 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:40:50] 745*2^1403663-1 is not prime. Res64: E4C8830E5F828896 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:42:22] 771*2^1403663-1 is not prime. Res64: 248906EC33A688C3 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:42:22] 775*2^1403663-1 is not prime. Res64: 70D025975475C649 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:58:35] 789*2^1403663-1 is not prime. Res64: FE0D13962C7791F0 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:58:36] 955*2^1403663-1 is not prime. Res64: 61443D0BC2F5B45E Time : 0.0 sec. user=mdettweiler [2015-07-20 12:58:45] 981*2^1403663-1 is not prime. Res64: 94477E9A1A5DC261 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:58:45] 993*2^1403663-1 is not prime. Res64: EFB384913EB56A64 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:59:20] 609*2^1403664-1 is not prime. Res64: D0CB20C3AAF7A624 Time : 0.0 sec. user=mdettweiler [2015-07-20 12:59:20] 635*2^1403664-1 is not prime. Res64: 1504DEEE73C18634 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:01:05] 705*2^1403664-1 is not prime. Res64: 73F982305FD3FE19 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:01:05] 737*2^1403664-1 is not prime. Res64: C25BB0644A50F4A2 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:16:47] 795*2^1403664-1 is not prime. Res64: C79F5AC41630DDBE Time : 0.0 sec. user=mdettweiler [2015-07-20 13:16:48] 837*2^1403664-1 is not prime. Res64: 6033CF79AB1B13E5 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:17:05] 893*2^1403664-1 is not prime. Res64: BA3364ECD8728E42 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:17:06] 717*2^1403665-1 is not prime. Res64: 2C85C787DCFC98F2 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:17:42] 805*2^1403665-1 is not prime. Res64: C77F811D087F9383 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:17:42] 831*2^1403665-1 is not prime. Res64: CA20FC817406F863 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:19:31] 855*2^1403665-1 is not prime. Res64: D58F0046BCD82294 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:19:31] 861*2^1403665-1 is not prime. Res64: 197FD4840F5DDB6D Time : 0.0 sec. user=mdettweiler [2015-07-20 13:34:33] 885*2^1403665-1 is not prime. Res64: 5793843AEFFF7E2A Time : 0.0 sec. user=mdettweiler [2015-07-20 13:34:33] 955*2^1403665-1 is not prime. Res64: FD86FBEC1FD32D0E Time : 0.0 sec. user=mdettweiler [2015-07-20 13:34:41] 633*2^1403666-1 is not prime. Res64: 7FA7BBC4912249FF Time : 0.0 sec. user=mdettweiler [2015-07-20 13:34:42] 635*2^1403666-1 is not prime. Res64: C685E6603CEBAB55 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:35:21] 651*2^1403666-1 is not prime. Res64: 7F7F333BF88C32E3 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:35:21] 755*2^1403666-1 is not prime. Res64: 11742DC6A45E2977 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:37:10] 857*2^1403666-1 is not prime. Res64: C7628F66A42C85BB Time : 0.0 sec. user=mdettweiler [2015-07-20 13:37:10] 873*2^1403666-1 is not prime. Res64: C06C2069F0687747 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:52:14] 917*2^1403666-1 is not prime. Res64: E9C5BE9397DFA1B6 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:52:14] 935*2^1403666-1 is not prime. Res64: E44B9F668FD253AC Time : 0.0 sec. user=mdettweiler [2015-07-20 13:52:27] 963*2^1403666-1 is not prime. Res64: CE07636405ADFDFC Time : 0.0 sec. user=mdettweiler [2015-07-20 13:52:27] 639*2^1403667-1 is not prime. Res64: BBA225AFECD1FC44 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:53:08] 643*2^1403667-1 is not prime. Res64: 768CE28A1FAA35ED Time : 0.0 sec. user=mdettweiler [2015-07-20 13:53:08] 765*2^1403667-1 is not prime. Res64: 1E281E4F9CCF4A2A Time : 0.0 sec. user=mdettweiler [2015-07-20 13:54:53] 825*2^1403667-1 is not prime. Res64: B46EC764A9867759 Time : 0.0 sec. user=mdettweiler [2015-07-20 13:54:54] 647*2^1403668-1 is not prime. Res64: C7B51437C9857DBA Time : 0.0 sec. user=mdettweiler [2015-07-20 14:10:33] 797*2^1403668-1 is not prime. Res64: B03240F0123CB041 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:10:34] 855*2^1403668-1 is not prime. Res64: EC96E0220A0F50F8 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:10:35] 687*2^1403668-1 is not prime. Res64: 99CA808F2D6E6257 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:10:36] 743*2^1403668-1 is not prime. Res64: AC9F03541E0D4139 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:11:11] 621*2^1403669-1 is not prime. Res64: B50638142FFCA5A6 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:11:11] 747*2^1403669-1 is not prime. Res64: 6D9347D8575F2523 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:12:56] 795*2^1403669-1 is not prime. Res64: 47C54C8C03D98F03 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:12:56] 829*2^1403669-1 is not prime. Res64: 614C15495851BF68 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:29:19] 991*2^1403669-1 is not prime. Res64: 59EE99D50B065F81 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:29:19] 641*2^1403670-1 is not prime. Res64: 156684F57FC60931 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:29:29] 755*2^1403670-1 is not prime. Res64: E7237E78D5ABD09B Time : 0.0 sec. user=mdettweiler [2015-07-20 14:29:30] 761*2^1403670-1 is not prime. Res64: C4547441C93BA1EC Time : 0.0 sec. user=mdettweiler [2015-07-20 14:30:07] 791*2^1403670-1 is not prime. Res64: 8267B266116558AC Time : 0.0 sec. user=mdettweiler [2015-07-20 14:30:07] 797*2^1403670-1 is not prime. Res64: BAF1207BEFCBE0C2 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:31:50] 851*2^1403670-1 is not prime. Res64: 2762763B9160C391 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:31:50] 927*2^1403670-1 is not prime. Res64: F3FFE75A2BB7FA4D Time : 0.0 sec. user=mdettweiler [2015-07-20 14:47:36] 941*2^1403670-1 is not prime. Res64: E0E3B28165C36CF5 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:47:37] 601*2^1403671-1 is not prime. Res64: 2FF2647D5430A533 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:47:46] 763*2^1403671-1 is not prime. Res64: 0538DE7928F4E3B7 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:47:46] 789*2^1403671-1 is not prime. Res64: 6BE621A913E829C1 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:48:34] 793*2^1403671-1 is not prime. Res64: C04509DEF7C96756 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:48:34] 843*2^1403671-1 is not prime. Res64: DC60E19207168395 Time : 0.0 sec. user=mdettweiler [2015-07-20 14:50:07] 889*2^1403671-1 is not prime. Res64: 8DA1849574FDF7BD Time : 0.0 sec. user=mdettweiler [2015-07-20 14:50:07] 975*2^1403671-1 is not prime. Res64: D558127488B9A47D Time : 0.0 sec. user=mdettweiler [2015-07-20 15:05:41] 713*2^1403672-1 is not prime. Res64: 29640EFCC758DB6E Time : 0.0 sec. user=mdettweiler [2015-07-20 15:05:41] 993*2^1403671-1 is not prime. Res64: 17F11CB385DD67E3 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:05:42] 743*2^1403672-1 is not prime. Res64: EC4EE6D7A71FA262 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:05:43] 669*2^1403672-1 is not prime. Res64: D260B3B2757159E5 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:06:30] 879*2^1403672-1 is not prime. Res64: 821D72B6E5091D46 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:06:31] 903*2^1403672-1 is not prime. Res64: 8E2041D93C08E675 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:07:58] 917*2^1403672-1 is not prime. Res64: A96380FDB6F5568E Time : 0.0 sec. user=mdettweiler [2015-07-20 15:07:58] 959*2^1403672-1 is not prime. Res64: 0FAE935F99D5FF49 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:24:06] 999*2^1403672-1 is not prime. Res64: 34EE3DEBE29D27C9 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:24:06] 627*2^1403673-1 is not prime. Res64: C17A84DD97A0DDA8 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:24:11] 679*2^1403673-1 is not prime. Res64: D107CF70B7FCDFC8 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:24:12] 681*2^1403673-1 is not prime. Res64: 30AA17CAF5DF536B Time : 0.0 sec. user=mdettweiler [2015-07-20 15:24:17] 685*2^1403673-1 is not prime. Res64: 8804B84D444CF0B3 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:24:17] 871*2^1403673-1 is not prime. Res64: 722688634BBC60A0 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:25:46] 889*2^1403673-1 is not prime. Res64: CC002B2F1702327F Time : 0.0 sec. user=mdettweiler [2015-07-20 15:25:46] 955*2^1403673-1 is not prime. Res64: E1FF57E4D9441257 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:41:53] 645*2^1403674-1 is not prime. Res64: 2FCAC05F219BFF9A Time : 0.0 sec. user=mdettweiler [2015-07-20 15:41:53] 825*2^1403674-1 is not prime. Res64: 6CF07172A5D13E7C Time : 0.0 sec. user=mdettweiler [2015-07-20 15:42:08] 921*2^1403675-1 is not prime. Res64: 066EC02C2C7761F1 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:42:09] 943*2^1403675-1 is not prime. Res64: 8F033C2948E1DBAA Time : 0.0 sec. user=mdettweiler [2015-07-20 15:42:12] 947*2^1403674-1 is not prime. Res64: E2E92451659A07F7 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:42:12] 993*2^1403674-1 is not prime. Res64: 8D5182FC759AC5EA Time : 0.0 sec. user=mdettweiler [2015-07-20 15:43:28] 979*2^1403675-1 is not prime. Res64: BEEA7AF8E2349416 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:43:29] 981*2^1403675-1 is not prime. Res64: A3B230D46B78D724 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:59:33] 693*2^1403676-1 is not prime. Res64: 46B634DAFAE8B321 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:59:34] 705*2^1403676-1 is not prime. Res64: A476E6578744829C Time : 0.0 sec. user=mdettweiler [2015-07-20 15:59:55] 993*2^1403676-1 is not prime. Res64: 906B28CD1A5B4E5E Time : 0.0 sec. user=mdettweiler [2015-07-20 15:59:56] 741*2^1403677-1 is not prime. Res64: 3EB18D54D649D559 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:59:58] 707*2^1403676-1 is not prime. Res64: E4809E1DB1121500 Time : 0.0 sec. user=mdettweiler [2015-07-20 15:59:58] 759*2^1403676-1 is not prime. Res64: 014EB90B57B2F028 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:01:14] 771*2^1403677-1 is not prime. Res64: F1EA98BDBE0D008D Time : 0.0 sec. user=mdettweiler [2015-07-20 16:01:15] 831*2^1403677-1 is not prime. Res64: 00482D6EEF1951E6 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:17:16] 871*2^1403677-1 is not prime. Res64: D2C576201C6EA6B7 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:17:16] 897*2^1403677-1 is not prime. Res64: 6CE4963B541374B9 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:17:45] 915*2^1403677-1 is not prime. Res64: 382A2A9065B3223B Time : 0.0 sec. user=mdettweiler [2015-07-20 16:17:45] 663*2^1403678-1 is not prime. Res64: F1262C9DDB07E232 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:17:55] 707*2^1403678-1 is not prime. Res64: A726B61352805E32 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:17:55] 761*2^1403678-1 is not prime. Res64: D52BA0D4C5448DE6 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:19:00] 815*2^1403678-1 is not prime. Res64: 5C1F7D842646A7B1 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:19:01] 893*2^1403678-1 is not prime. Res64: 461B62D39616F8C0 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:35:31] 915*2^1403678-1 is not prime. Res64: 315A3E0260B1312E Time : 0.0 sec. user=mdettweiler [2015-07-20 16:35:32] 921*2^1403678-1 is not prime. Res64: 6E85B20B24969BFD Time : 0.0 sec. user=mdettweiler [2015-07-20 16:36:05] 927*2^1403678-1 is not prime. Res64: A846A397A2764B4C Time : 0.0 sec. user=mdettweiler [2015-07-20 16:36:06] 977*2^1403678-1 is not prime. Res64: FDF2E9D68761630F Time : 0.0 sec. user=mdettweiler [2015-07-20 16:36:11] 661*2^1403679-1 is not prime. Res64: A6B67E3B69D40462 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:36:11] 663*2^1403679-1 is not prime. Res64: 414C4D9AEAFA44E5 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:37:19] 741*2^1403679-1 is not prime. Res64: 2FA9BB0BE0B19A52 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:37:20] 919*2^1403679-1 is not prime. Res64: 896E07C2CEF2DEC3 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:54:08] 961*2^1403679-1 is not prime. Res64: 495F8BF640AB0ABF Time : 0.0 sec. user=mdettweiler [2015-07-20 16:54:08] 969*2^1403679-1 is not prime. Res64: 2095F57BC833AF96 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:54:27] 973*2^1403679-1 is not prime. Res64: FC232FD19CE4DE11 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:54:28] 975*2^1403679-1 is not prime. Res64: 3A9ECC18A1308CD5 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:54:44] 635*2^1403680-1 is not prime. Res64: 9AC57CFC25585E7F Time : 0.0 sec. user=mdettweiler [2015-07-20 16:54:44] 959*2^1403680-1 is not prime. Res64: 02BBFDC5815B4998 Time : 0.0 sec. user=mdettweiler [2015-07-20 16:55:38] 627*2^1403681-1 is not prime. Res64: 43C0129E06E3158B Time : 0.0 sec. user=mdettweiler [2015-07-20 16:55:39] 675*2^1403681-1 is not prime. Res64: FEE60034E823BA21 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:13:09] 867*2^1403681-1 is not prime. Res64: ECE7E24C9F1E4FE2 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:13:10] 889*2^1403681-1 is not prime. Res64: 518A33AEB26295E6 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:13:31] 931*2^1403681-1 is not prime. Res64: 13B72D1B67AF14D7 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:13:32] 937*2^1403681-1 is not prime. Res64: 3159A512160C099F Time : 0.0 sec. user=mdettweiler [2015-07-20 17:13:58] 949*2^1403681-1 is not prime. Res64: BC7789B7CD4011A8 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:13:58] 683*2^1403682-1 is not prime. Res64: E4AD25E3C5830FA8 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:14:59] 711*2^1403682-1 is not prime. Res64: 3D6C574DEB05339B Time : 0.0 sec. user=mdettweiler [2015-07-20 17:14:59] 741*2^1403682-1 is not prime. Res64: 3639B80A7E0A6274 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:30:54] 875*2^1403682-1 is not prime. Res64: DB8290A6FDE06012 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:30:54] 951*2^1403682-1 is not prime. Res64: CD2463DF20EF310C Time : 0.0 sec. user=mdettweiler [2015-07-20 17:31:19] 859*2^1403683-1 is not prime. Res64: B809E501291316B1 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:31:19] 973*2^1403683-1 is not prime. Res64: F54B663D6F6DF05B Time : 0.0 sec. user=mdettweiler [2015-07-20 17:31:49] 999*2^1403683-1 is not prime. Res64: A3C837E0A4E11A9F Time : 0.0 sec. user=mdettweiler [2015-07-20 17:31:50] 617*2^1403684-1 is not prime. Res64: AAF6400B8E9615F3 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:32:55] 719*2^1403684-1 is not prime. Res64: 433C67921A5EB8EE Time : 0.0 sec. user=mdettweiler [2015-07-20 17:32:56] 873*2^1403684-1 is not prime. Res64: 439646F85D4A3002 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:48:40] 953*2^1403684-1 is not prime. Res64: 570405F99277250C Time : 0.0 sec. user=mdettweiler [2015-07-20 17:48:40] 741*2^1403685-1 is not prime. Res64: D4083DBE4ABA7FA5 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:48:55] 825*2^1403685-1 is not prime. Res64: E4F03A5AC86FCCEE Time : 0.0 sec. user=mdettweiler [2015-07-20 17:48:56] 837*2^1403685-1 is not prime. Res64: 63019AC4D638F5CC Time : 0.0 sec. user=mdettweiler [2015-07-20 17:49:36] 603*2^1403686-1 is not prime. Res64: 54EDC01E9BA9D900 Time : 0.0 sec. user=mdettweiler [2015-07-20 17:49:37] 713*2^1403686-1 is not prime. Res64: 8EFD703C592B3CBC Time : 0.0 sec. user=mdettweiler [2015-07-20 17:50:38] 801*2^1403686-1 is not prime. Res64: 63FEA24C491D9E6C Time : 0.0 sec. user=mdettweiler [2015-07-20 17:50:38] 861*2^1403686-1 is not prime. Res64: 3EBE41CE0941CA1D Time : 0.0 sec. user=mdettweiler [2015-07-20 18:06:26] 867*2^1403686-1 is not prime. Res64: DBE4291477887BE4 Time : 0.0 sec. user=mdettweiler [2015-07-20 18:06:27] 933*2^1403686-1 is not prime. Res64: BE43635C18CCB798 Time : 0.0 sec. user=mdettweiler [2015-07-20 18:06:53] 729*2^1403687-1 is not prime. Res64: 0D6E2CE3A604F8EA Time : 0.0 sec. user=mdettweiler [2015-07-20 18:06:55] 805*2^1403687-1 is not prime. Res64: 391E6C3677A3A10D Time : 0.0 sec. user=mdettweiler [2015-07-20 18:07:25] 759*2^1403688-1 is not prime. Res64: 6BA5993A4C7EFD0C Time : 0.0 sec. user=mdettweiler [2015-07-20 18:07:26] 839*2^1403688-1 is not prime. Res64: 3CA35FFBE25FF09E Time : 0.0 sec. user=mdettweiler [2015-07-20 18:08:28] 887*2^1403688-1 is not prime. Res64: 79DE7085C3240C48 Time : 0.0 sec. user=mdettweiler [2015-07-20 18:08:29] 947*2^1403688-1 is not prime. Res64: DDE88D20A3505F30 Time : 0.0 sec. user=mdettweiler [2015-07-20 18:24:23] 615*2^1403689-1 is not prime. Res64: C327D4057D3B7A8A Time : 0.0 sec. user=mdettweiler [2015-07-20 18:24:24] 649*2^1403689-1 is not prime. Res64: 02969C3CC5759011 Time : 0.0 sec. user=mdettweiler [2015-07-20 18:24:43] 999*2^1403689-1 is not prime. Res64: 9CE674B6F5BBD5E8 Time : 0.0 sec. user=mdettweiler [2015-07-20 18:24:44] 635*2^1403690-1 is not prime. Res64: 32CDBA98CEB2E15E Time : 0.0 sec. user=mdettweiler [2015-07-20 18:25:19] 831*2^1403690-1 is not prime. Res64: 90AF48815601631A Time : 0.0 sec. user=mdettweiler [2015-07-20 18:25:20] 885*2^1403690-1 is not prime. Res64: 69A17FE7750D850A Time : 0.0 sec. user=mdettweiler [2015-07-20 18:26:17] 917*2^1403690-1 is not prime. Res64: 1DD481683E0F8A7B Time : 0.0 sec. user=mdettweiler [2015-07-20 18:26:18] 639*2^1403691-1 is not prime. Res64: 32C2E6F4C490BC2F Time : 0.0 sec. user=mdettweiler [2015-07-20 18:42:14] 675*2^1403691-1 is not prime. Res64: 545AEFEB28B3E035 Time : 0.0 sec. user=mdettweiler [2015-07-20 18:42:14] 723*2^1403691-1 is not prime. Res64: C924522DC9A3CEBA Time : 0.0 sec. user=mdettweiler [2015-07-20 18:42:33] 741*2^1403691-1 is not prime. Res64: 974284DD20817DDE Time : 0.0 sec. user=mdettweiler [2015-07-20 18:42:33] 775*2^1403691-1 is not prime. Res64: 048C35574CCA466B Time : 0.0 sec. user=mdettweiler [2015-07-20 18:43:14] 781*2^1403691-1 is not prime. Res64: 731BABC19B3F49AC Time : 0.0 sec. user=mdettweiler [2015-07-20 18:43:15] 783*2^1403691-1 is not prime. Res64: 2E7C026A090791BC Time : 0.0 sec. user=mdettweiler [2015-07-20 18:44:10] 895*2^1403691-1 is not prime. Res64: EBC36AEC2218A6B3 Time : 0.0 sec. user=mdettweiler [2015-07-20 18:44:11] 735*2^1403692-1 is not prime. Res64: C00826B7E20BE6D1 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:00:02] 855*2^1403692-1 is not prime. Res64: E79CF04A94521F89 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:00:03] 885*2^1403692-1 is not prime. Res64: 73F4B7139D5ABE6B Time : 0.0 sec. user=mdettweiler [2015-07-20 19:00:14] 923*2^1403692-1 is not prime. Res64: 6673760DEAFB75A4 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:00:15] 965*2^1403692-1 is not prime. Res64: 05A810E82B11214A Time : 0.0 sec. user=mdettweiler [2015-07-20 19:01:01] 621*2^1403693-1 is not prime. Res64: 81E72FF3F0CEA31E Time : 0.0 sec. user=mdettweiler [2015-07-20 19:01:02] 741*2^1403693-1 is not prime. Res64: 9A4856C0C073AA7A Time : 0.0 sec. user=mdettweiler [2015-07-20 19:01:56] 855*2^1403693-1 is not prime. Res64: F03ED8DEAD2F1147 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:01:57] 615*2^1403694-1 is not prime. Res64: 32FB4790E2E0FC46 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:17:56] 621*2^1403694-1 is not prime. Res64: F543AA8123595508 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:17:56] 657*2^1403694-1 is not prime. Res64: A318A9B19B1F6E76 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:18:09] 693*2^1403694-1 is not prime. Res64: CA4792D0AF9F47E2 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:18:09] 725*2^1403694-1 is not prime. Res64: 4A50EC35484FAD00 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:18:53] 885*2^1403694-1 is not prime. Res64: E59405C8A09CC66D Time : 0.0 sec. user=mdettweiler [2015-07-20 19:18:54] 921*2^1403694-1 is not prime. Res64: 2DD7B8E8192517BD Time : 0.0 sec. user=mdettweiler [2015-07-20 19:19:44] 945*2^1403694-1 is not prime. Res64: E7240C7391614A78 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:19:45] 841*2^1403695-1 is not prime. Res64: AAB8646B8E95797E Time : 0.0 sec. user=mdettweiler [2015-07-20 19:35:45] 609*2^1403696-1 is not prime. Res64: E4FF057A5A308041 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:35:46] 623*2^1403696-1 is not prime. Res64: 22C99B79CDDF537D Time : 0.0 sec. user=mdettweiler [2015-07-20 19:35:49] 743*2^1403696-1 is not prime. Res64: F41D6608D338BDF9 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:35:49] 777*2^1403696-1 is not prime. Res64: 8E6ADA055B52CD2E Time : 0.0 sec. user=mdettweiler [2015-07-20 19:36:41] 855*2^1403696-1 is not prime. Res64: 0B146405AAA409B8 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:36:41] 607*2^1403697-1 is not prime. Res64: 5AD21633676B97B9 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:37:27] 675*2^1403697-1 is not prime. Res64: 4D81C644B13DCA0E Time : 0.0 sec. user=mdettweiler [2015-07-20 19:37:27] 849*2^1403697-1 is not prime. Res64: E8D2AFF6F999F358 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:53:42] 871*2^1403697-1 is not prime. Res64: 6C766F1C218983E1 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:53:43] 949*2^1403697-1 is not prime. Res64: 324E15655FF2828A Time : 0.0 sec. user=mdettweiler [2015-07-20 19:53:49] 665*2^1403698-1 is not prime. Res64: F273598C04C3BD46 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:53:50] 695*2^1403698-1 is not prime. Res64: E36A24AE2B205E9F Time : 0.0 sec. user=mdettweiler [2015-07-20 19:54:33] 713*2^1403698-1 is not prime. Res64: D7EC837857D246D8 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:54:34] 821*2^1403698-1 is not prime. Res64: 9B4474FB088D3EC6 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:55:23] 911*2^1403698-1 is not prime. Res64: A9B54F25A6AE4BE9 Time : 0.0 sec. user=mdettweiler [2015-07-20 19:55:23] 1001*2^1403698-1 is not prime. Res64: 944CF3A2245718BD Time : 0.0 sec. user=mdettweiler [2015-07-20 20:11:37] 679*2^1403699-1 is not prime. Res64: FEB2D94EB183251F Time : 0.0 sec. user=mdettweiler [2015-07-20 20:11:37] 601*2^1403699-1 is not prime. Res64: DC35A1749A8A4A7F Time : 0.0 sec. user=mdettweiler [2015-07-20 20:11:38] 663*2^1403699-1 is not prime. Res64: 1993044C7F597027 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:11:38] 753*2^1403699-1 is not prime. Res64: DD1B4C3665311ABF Time : 0.0 sec. user=mdettweiler [2015-07-20 20:12:21] 775*2^1403699-1 is not prime. Res64: FA07E83E91185F8D Time : 0.0 sec. user=mdettweiler [2015-07-20 20:12:22] 985*2^1403699-1 is not prime. Res64: B526CF5938667E94 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:13:11] 627*2^1403700-1 is not prime. Res64: 85311D7816ECD397 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:13:11] 647*2^1403700-1 is not prime. Res64: A874F5A3401A8D51 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:30:23] 707*2^1403700-1 is not prime. Res64: 291CE4B386E8F806 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:30:23] 675*2^1403701-1 is not prime. Res64: C59F34C13701EADB Time : 0.0 sec. user=mdettweiler [2015-07-20 20:30:27] 653*2^1403700-1 is not prime. Res64: 077EFCCE4967EB8A Time : 0.0 sec. user=mdettweiler [2015-07-20 20:30:27] 693*2^1403700-1 is not prime. Res64: 2A1D3D21A8854986 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:31:25] 751*2^1403701-1 is not prime. Res64: DDFFC43CB0181D4F Time : 0.0 sec. user=mdettweiler [2015-07-20 20:31:26] 801*2^1403701-1 is not prime. Res64: B4FBFA6EEA16A644 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:32:07] 805*2^1403701-1 is not prime. Res64: AA4A42CE246D46FD Time : 0.0 sec. user=mdettweiler [2015-07-20 20:32:07] 951*2^1403701-1 is not prime. Res64: FC1F5A9D44CA4EF4 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:50:05] 677*2^1403702-1 is not prime. Res64: 7863687A5E50DFDF Time : 0.0 sec. user=mdettweiler [2015-07-20 20:50:05] 955*2^1403701-1 is not prime. Res64: 8361E18B7584DD7A Time : 0.0 sec. user=mdettweiler [2015-07-20 20:50:06] 801*2^1403702-1 is not prime. Res64: DBC91A81C2DD8DC6 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:50:06] 627*2^1403702-1 is not prime. Res64: A3F7FA554B617A83 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:51:09] 921*2^1403702-1 is not prime. Res64: 1CEF6EC45E0D1ACD Time : 0.0 sec. user=mdettweiler [2015-07-20 20:51:09] 1001*2^1403702-1 is not prime. Res64: C0A993C5E9A872D1 Time : 0.0 sec. user=mdettweiler [2015-07-20 20:51:47] 615*2^1403703-1 is not prime. Res64: 468FA382D7B86F7F Time : 0.0 sec. user=mdettweiler [2015-07-20 20:51:47] 685*2^1403703-1 is not prime. Res64: 75120F644B027198 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:11:53] 775*2^1403703-1 is not prime. Res64: 0C17C966DB433E46 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:11:53] 819*2^1403703-1 is not prime. Res64: 8E3445DF38470738 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:11:53] 709*2^1403703-1 is not prime. Res64: 49CEF09EFE442DC0 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:11:54] 723*2^1403703-1 is not prime. Res64: 35741D63A6ED4322 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:12:38] 825*2^1403703-1 is not prime. Res64: C1595E91685ED981 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:12:39] 861*2^1403703-1 is not prime. Res64: F26A6E423F18327F Time : 0.0 sec. user=mdettweiler [2015-07-20 21:13:10] 895*2^1403703-1 is not prime. Res64: 4657C6BAAA0A7AA4 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:13:10] 951*2^1403703-1 is not prime. Res64: 3953B4F2DB2ED1E3 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:30:40] 995*2^1403704-1 is not prime. Res64: CD7314CAAFAFC484 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:30:40] 669*2^1403705-1 is not prime. Res64: 9CBC2DEA04BF527F Time : 0.0 sec. user=mdettweiler [2015-07-20 21:31:06] 975*2^1403704-1 is not prime. Res64: D4B23C0C10830E97 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:31:06] 983*2^1403704-1 is not prime. Res64: 92ACDD8DC61D58E5 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:31:38] 711*2^1403705-1 is not prime. Res64: EC3D152406287ECF Time : 0.0 sec. user=mdettweiler [2015-07-20 21:31:39] 781*2^1403705-1 is not prime. Res64: AEDA21E10E5D1EA1 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:32:06] 885*2^1403705-1 is not prime. Res64: E9D2B27FB4DB2F55 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:32:07] 939*2^1403705-1 is not prime. Res64: 2B36E85CD52DC087 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:50:46] 957*2^1403705-1 is not prime. Res64: 2F0E110AA4FBF2A2 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:50:46] 711*2^1403706-1 is not prime. Res64: FCF36D1C72BBAC7B Time : 0.0 sec. user=mdettweiler [2015-07-20 21:51:17] 803*2^1403706-1 is not prime. Res64: D0603CF371E4814A Time : 0.0 sec. user=mdettweiler [2015-07-20 21:51:17] 807*2^1403706-1 is not prime. Res64: F7C19C636712D0D5 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:51:51] 975*2^1403706-1 is not prime. Res64: A4C03CB324BFBE93 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:51:52] 603*2^1403707-1 is not prime. Res64: 09B4CAE3DDC2E9AF Time : 0.0 sec. user=mdettweiler [2015-07-20 21:52:15] 619*2^1403707-1 is not prime. Res64: A77477F3CA233B56 Time : 0.0 sec. user=mdettweiler [2015-07-20 21:52:15] 685*2^1403707-1 is not prime. Res64: 29B6EC323717FDE3 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:09:25] 693*2^1403707-1 is not prime. Res64: C7DA6AE9BCD473FF Time : 0.0 sec. user=mdettweiler [2015-07-20 22:09:25] 715*2^1403707-1 is not prime. Res64: C53EDA02A7F64AC3 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:09:52] 733*2^1403707-1 is not prime. Res64: 1B2FD45913931046 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:09:53] 841*2^1403707-1 is not prime. Res64: FE0F1F7C9048617A Time : 0.0 sec. user=mdettweiler [2015-07-20 22:10:29] 873*2^1403707-1 is not prime. Res64: 3E7D74FC760814DB Time : 0.0 sec. user=mdettweiler [2015-07-20 22:10:29] 909*2^1403707-1 is not prime. Res64: 6CF21D6E8B4CB1EC Time : 0.0 sec. user=mdettweiler [2015-07-20 22:10:48] 629*2^1403708-1 is not prime. Res64: 281CB89ED710346E Time : 0.0 sec. user=mdettweiler [2015-07-20 22:10:48] 635*2^1403708-1 is not prime. Res64: 4EE4D6F08DCF5B46 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:28:14] 647*2^1403708-1 is not prime. Res64: 9627E66B657F0C7D Time : 0.0 sec. user=mdettweiler [2015-07-20 22:28:14] 677*2^1403708-1 is not prime. Res64: 7170FBB6D569C473 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:28:51] 707*2^1403708-1 is not prime. Res64: A1E35A97646CE3EC Time : 0.0 sec. user=mdettweiler [2015-07-20 22:28:52] 773*2^1403708-1 is not prime. Res64: 34CF971823172834 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:29:27] 839*2^1403708-1 is not prime. Res64: DB964F4133B7226C Time : 0.0 sec. user=mdettweiler [2015-07-20 22:29:28] 843*2^1403708-1 is not prime. Res64: 446D802B1B429AB5 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:29:42] 621*2^1403709-1 is not prime. Res64: C0B43AE6DCE37E42 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:29:42] 639*2^1403709-1 is not prime. Res64: 3761FCB56696F1EB Time : 0.0 sec. user=mdettweiler [2015-07-20 22:47:06] 679*2^1403709-1 is not prime. Res64: E58016A38F83D06D Time : 0.0 sec. user=mdettweiler [2015-07-20 22:47:07] 759*2^1403709-1 is not prime. Res64: 8F6FF002312D2A83 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:47:43] 829*2^1403709-1 is not prime. Res64: 70ACEC8BD5D3DEB5 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:47:43] 835*2^1403709-1 is not prime. Res64: 8632EF0CB62E64D5 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:48:16] 867*2^1403709-1 is not prime. Res64: 33A058C52101E506 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:48:16] 949*2^1403709-1 is not prime. Res64: 9F7A2B922BBC748D Time : 0.0 sec. user=mdettweiler [2015-07-20 22:48:35] 687*2^1403710-1 is not prime. Res64: B491A781EF5BC875 Time : 0.0 sec. user=mdettweiler [2015-07-20 22:48:36] 723*2^1403710-1 is not prime. Res64: 8F02807B85725E12 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:05:41] 609*2^1403711-1 is not prime. Res64: D77A77A522A60F25 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:05:42] 619*2^1403711-1 is not prime. Res64: DA28E0AE8FA8EE5F Time : 0.0 sec. user=mdettweiler [2015-07-20 23:06:27] 763*2^1403711-1 is not prime. Res64: 3F3C694EFB1916E1 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:06:28] 775*2^1403711-1 is not prime. Res64: E684307660E458AD Time : 0.0 sec. user=mdettweiler [2015-07-20 23:06:42] 865*2^1403711-1 is not prime. Res64: DB34E65D1B654844 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:06:43] 885*2^1403711-1 is not prime. Res64: EA3C4DAB0EF18DBA Time : 0.0 sec. user=mdettweiler [2015-07-20 23:07:11] 979*2^1403711-1 is not prime. Res64: EEBABFC494F5F28C Time : 0.0 sec. user=mdettweiler [2015-07-20 23:07:13] 623*2^1403712-1 is not prime. Res64: 39DBAF049E45BC21 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:24:56] 639*2^1403712-1 is not prime. Res64: 3A00B601DE83BF81 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:24:56] 753*2^1403712-1 is not prime. Res64: FBD83989C16ADABB Time : 0.0 sec. user=mdettweiler [2015-07-20 23:25:12] 915*2^1403712-1 is not prime. Res64: D37DF968B7E91643 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:25:13] 639*2^1403713-1 is not prime. Res64: 2F0196B7C4E37901 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:25:39] 649*2^1403713-1 is not prime. Res64: 2964937345AD100C Time : 0.0 sec. user=mdettweiler [2015-07-20 23:25:39] 681*2^1403713-1 is not prime. Res64: 905D364A733B9EEE Time : 0.0 sec. user=mdettweiler [2015-07-20 23:26:04] 727*2^1403713-1 is not prime. Res64: CCB27ECFB8499F4F Time : 0.0 sec. user=mdettweiler [2015-07-20 23:26:05] 765*2^1403713-1 is not prime. Res64: 83BE29B277C7547E Time : 0.0 sec. user=mdettweiler [2015-07-20 23:43:59] 925*2^1403713-1 is not prime. Res64: 6213223850816A33 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:44:00] 999*2^1403713-1 is not prime. Res64: 507DDEC681436FC0 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:44:02] 769*2^1403713-1 is not prime. Res64: B16360CA0CD34846 Time : 0.0 sec. user=mdettweiler [2015-07-20 23:44:02] 849*2^1403713-1 is not prime. Res64: C36B40FCB5B66E2D Time : 0.0 sec. user=mdettweiler [2015-07-20 23:44:44] 677*2^1403714-1 is not prime. Res64: 49C9DC61C1F24F5B Time : 0.0 sec. user=mdettweiler [2015-07-20 23:44:44] 755*2^1403714-1 is not prime. Res64: 1C99456DBC8EAABF Time : 0.0 sec. user=mdettweiler [2015-07-20 23:44:52] 783*2^1403714-1 is not prime. Res64: A9324492BFCEADAD Time : 0.0 sec. user=mdettweiler [2015-07-20 23:44:52] 875*2^1403714-1 is not prime. Res64: EA4ADD127E7C893D Time : 0.0 sec.