user=mdettweiler [2016-01-05 00:14:27] 777*2^1418672-1 is not prime. Res64: 49F7CC4E4FC1340D Time : 0.0 sec. user=mdettweiler [2016-01-05 00:14:27] 797*2^1418672-1 is not prime. Res64: 2DAF6C888545EE8E Time : 0.0 sec. user=mdettweiler [2016-01-05 00:14:27] 819*2^1418672-1 is not prime. Res64: DF755EA358B5B751 Time : 0.0 sec. user=mdettweiler [2016-01-05 00:14:28] 867*2^1418672-1 is not prime. Res64: 733D0ABF18C494B4 Time : 0.0 sec. user=mdettweiler [2016-01-05 00:32:03] 875*2^1418672-1 is not prime. Res64: 9C286AF7A1C7D1AA Time : 0.0 sec. user=mdettweiler [2016-01-05 00:32:03] 977*2^1418672-1 is not prime. Res64: EFF632C47419B21F Time : 0.0 sec. user=mdettweiler [2016-01-05 00:32:03] 923*2^1418672-1 is not prime. Res64: F6C71868E9F80243 Time : 0.0 sec. user=mdettweiler [2016-01-05 00:32:03] 751*2^1418673-1 is not prime. Res64: C201909A24BF6E64 Time : 0.0 sec. user=mdettweiler [2016-01-05 00:49:37] 987*2^1418673-1 is not prime. Res64: 2A2249A1C79D55E7 Time : 0.0 sec. user=mdettweiler [2016-01-05 00:49:37] 635*2^1418674-1 is not prime. Res64: F721847865A619ED Time : 0.0 sec. user=mdettweiler [2016-01-05 00:49:38] 781*2^1418673-1 is not prime. Res64: 1342EDA6AD4F3BC9 Time : 0.0 sec. user=mdettweiler [2016-01-05 00:49:38] 789*2^1418673-1 is not prime. Res64: 5273C411A916F063 Time : 0.0 sec. user=mdettweiler [2016-01-05 01:07:10] 677*2^1418674-1 is not prime. Res64: 47B1A704C05F930D Time : 0.0 sec. user=mdettweiler [2016-01-05 01:07:11] 741*2^1418674-1 is not prime. Res64: 1C6CD567F36A06EF Time : 0.0 sec. user=mdettweiler [2016-01-05 01:07:12] 687*2^1418674-1 is not prime. Res64: 6E813804E5C74109 Time : 0.0 sec. user=mdettweiler [2016-01-05 01:07:12] 791*2^1418674-1 is not prime. Res64: F5FDAB548C676515 Time : 0.0 sec. user=mdettweiler [2016-01-05 01:24:49] 827*2^1418674-1 is not prime. Res64: 71B14F49CEAA597D Time : 0.0 sec. user=mdettweiler [2016-01-05 01:24:49] 833*2^1418674-1 is not prime. Res64: C44FE4477B2FE2FC Time : 0.0 sec. user=mdettweiler [2016-01-05 01:24:49] 715*2^1418675-1 is not prime. Res64: 5B6ABDFA3B79FE55 Time : 0.0 sec. user=mdettweiler [2016-01-05 01:24:50] 913*2^1418675-1 is not prime. Res64: CCF1D381AAFBC881 Time : 0.0 sec. user=mdettweiler [2016-01-05 01:42:22] 943*2^1418675-1 is not prime. Res64: B468DF8BB84EA529 Time : 0.0 sec. user=mdettweiler [2016-01-05 01:42:23] 981*2^1418675-1 is not prime. Res64: 4C670BA7253D59C6 Time : 0.0 sec. user=mdettweiler [2016-01-05 01:42:24] 609*2^1418676-1 is not prime. Res64: 267C37C58D276004 Time : 0.0 sec. user=mdettweiler [2016-01-05 01:42:25] 623*2^1418676-1 is not prime. Res64: 27FE453246A77D20 Time : 0.0 sec. user=mdettweiler [2016-01-05 01:59:57] 705*2^1418676-1 is not prime. Res64: 920E6DAA40100C66 Time : 0.0 sec. user=mdettweiler [2016-01-05 01:59:58] 777*2^1418676-1 is not prime. Res64: 945A71C873BD277D Time : 0.0 sec. user=mdettweiler [2016-01-05 01:59:58] 875*2^1418676-1 is not prime. Res64: E108F8C3864EE29C Time : 0.0 sec. user=mdettweiler [2016-01-05 01:59:59] 607*2^1418677-1 is not prime. Res64: 001361BA40570680 Time : 0.0 sec. user=mdettweiler [2016-01-05 02:17:41] 621*2^1418677-1 is not prime. Res64: 4746BE19FF2DC6E6 Time : 0.0 sec. user=mdettweiler [2016-01-05 02:17:41] 799*2^1418677-1 is not prime. Res64: C7A3D103067133B7 Time : 0.0 sec. user=mdettweiler [2016-01-05 02:17:42] 645*2^1418677-1 is not prime. Res64: 878993537F894B2A Time : 0.0 sec. user=mdettweiler [2016-01-05 02:17:42] 819*2^1418677-1 is not prime. Res64: 56B816095414BAF3 Time : 0.0 sec. user=mdettweiler [2016-01-05 02:35:17] 955*2^1418677-1 is not prime. Res64: 0633C9C77B602067 Time : 0.0 sec. user=mdettweiler [2016-01-05 02:35:18] 635*2^1418678-1 is not prime. Res64: 910DEA95EB17E1F0 Time : 0.0 sec. user=mdettweiler [2016-01-05 02:35:18] 829*2^1418677-1 is not prime. Res64: 89E7F61E4AB33E5E Time : 0.0 sec. user=mdettweiler [2016-01-05 02:35:19] 897*2^1418677-1 is not prime. Res64: B9D5B088D9686E03 Time : 0.0 sec. user=mdettweiler [2016-01-05 02:52:52] 657*2^1418678-1 is not prime. Res64: 3208791A5E5A49F6 Time : 0.0 sec. user=mdettweiler [2016-01-05 02:52:52] 731*2^1418678-1 is not prime. Res64: E0D0D388FE2B3AF2 Time : 0.0 sec. user=mdettweiler [2016-01-05 02:52:53] 827*2^1418678-1 is not prime. Res64: 990C66A27A6FEB06 Time : 0.0 sec. user=mdettweiler [2016-01-05 02:52:53] 971*2^1418678-1 is not prime. Res64: D512C118CABA0440 Time : 0.0 sec. user=mdettweiler [2016-01-05 03:10:26] 613*2^1418679-1 is not prime. Res64: A80EAEA758250BB7 Time : 0.0 sec. user=mdettweiler [2016-01-05 03:10:27] 615*2^1418679-1 is not prime. Res64: 0F2D6EA2C84FCD07 Time : 0.0 sec. user=mdettweiler [2016-01-05 03:10:27] 639*2^1418679-1 is not prime. Res64: 12DA5670D4628A94 Time : 0.0 sec. user=mdettweiler [2016-01-05 03:10:28] 735*2^1418679-1 is not prime. Res64: 278C8CF76DCE83C0 Time : 0.0 sec. user=mdettweiler [2016-01-05 03:28:04] 831*2^1418679-1 is not prime. Res64: 872D4662D2027D25 Time : 0.0 sec. user=mdettweiler [2016-01-05 03:28:05] 609*2^1418680-1 is not prime. Res64: 83D833A25A606B8B Time : 0.0 sec. user=mdettweiler [2016-01-05 03:28:06] 707*2^1418680-1 is not prime. Res64: DA6BD1EB28F12170 Time : 0.0 sec. user=mdettweiler [2016-01-05 03:28:08] 755*2^1418680-1 is not prime. Res64: 12FBC63A9EFC7A0D Time : 0.0 sec. user=mdettweiler [2016-01-05 03:45:46] 777*2^1418680-1 is not prime. Res64: 656977E7440FE86B Time : 0.0 sec. user=mdettweiler [2016-01-05 03:45:46] 697*2^1418681-1 is not prime. Res64: D0FBC7DE1BEBF563 Time : 0.0 sec. user=mdettweiler [2016-01-05 03:45:47] 685*2^1418681-1 is not prime. Res64: ABDAF024AE636B51 Time : 0.0 sec. user=mdettweiler [2016-01-05 03:45:48] 781*2^1418681-1 is not prime. Res64: 2A8FFCA1932352BB Time : 0.0 sec. user=mdettweiler [2016-01-05 04:03:41] 861*2^1418681-1 is not prime. Res64: EE45E9B8BCF0AD5B Time : 0.0 sec. user=mdettweiler [2016-01-05 04:03:42] 789*2^1418681-1 is not prime. Res64: C1BE7DD9C4DBD404 Time : 0.0 sec. user=mdettweiler [2016-01-05 04:03:43] 939*2^1418681-1 is not prime. Res64: 799789EF039041FE Time : 0.0 sec. user=mdettweiler [2016-01-05 04:03:43] 855*2^1418681-1 is not prime. Res64: 8222FDD3C2876388 Time : 0.0 sec. user=mdettweiler [2016-01-05 04:21:36] 987*2^1418681-1 is not prime. Res64: FA1BB7F30E3DB3D2 Time : 0.0 sec. user=mdettweiler [2016-01-05 04:21:36] 997*2^1418681-1 is not prime. Res64: 0B78F2C15C87E258 Time : 0.0 sec. user=mdettweiler [2016-01-05 04:21:38] 657*2^1418682-1 is not prime. Res64: 02DA1524EC5E6A4B Time : 0.0 sec. user=mdettweiler [2016-01-05 04:21:38] 711*2^1418682-1 is not prime. Res64: 059E1DD6248628ED Time : 0.0 sec. user=mdettweiler [2016-01-05 04:39:08] 717*2^1418682-1 is not prime. Res64: 9CC666F89E511658 Time : 0.0 sec. user=mdettweiler [2016-01-05 04:39:09] 731*2^1418682-1 is not prime. Res64: 029248494CC836AF Time : 0.0 sec. user=mdettweiler [2016-01-05 04:39:09] 709*2^1418683-1 is not prime. Res64: 434FE438CE4AAF47 Time : 0.0 sec. user=mdettweiler [2016-01-05 04:39:10] 873*2^1418683-1 is not prime. Res64: 91E58EB0637B0266 Time : 0.0 sec. user=mdettweiler [2016-01-05 04:56:43] 913*2^1418683-1 is not prime. Res64: 80F2BFEBBAE5862C Time : 0.0 sec. user=mdettweiler [2016-01-05 04:56:44] 665*2^1418684-1 is not prime. Res64: 9B7FD54D888182F7 Time : 0.0 sec. user=mdettweiler [2016-01-05 04:56:44] 943*2^1418683-1 is not prime. Res64: F866675454728F44 Time : 0.0 sec. user=mdettweiler [2016-01-05 04:56:44] 683*2^1418684-1 is not prime. Res64: DE748B0AB52ABB0A Time : 0.0 sec. user=mdettweiler [2016-01-05 05:14:16] 687*2^1418684-1 is not prime. Res64: A224052A7FC506F6 Time : 0.0 sec. user=mdettweiler [2016-01-05 05:14:16] 789*2^1418684-1 is not prime. Res64: 3BAD8C7CA43A9035 Time : 0.0 sec. user=mdettweiler [2016-01-05 05:14:17] 869*2^1418684-1 is not prime. Res64: 1218503ADE99D5DB Time : 0.0 sec. user=mdettweiler [2016-01-05 05:14:18] 935*2^1418684-1 is not prime. Res64: 179118C0872F11DB Time : 0.0 sec. user=mdettweiler [2016-01-05 05:31:49] 601*2^1418685-1 is not prime. Res64: 5BCB5351BCAC9AA1 Time : 0.0 sec. user=mdettweiler [2016-01-05 05:31:49] 625*2^1418685-1 is not prime. Res64: 411ED29A04F38653 Time : 0.0 sec. user=mdettweiler [2016-01-05 05:31:50] 655*2^1418685-1 is not prime. Res64: E242A2F75B133AFC Time : 0.0 sec. user=mdettweiler [2016-01-05 05:31:50] 675*2^1418685-1 is not prime. Res64: F8D21C2923ECD45A Time : 0.0 sec. user=mdettweiler [2016-01-05 05:49:22] 679*2^1418685-1 is not prime. Res64: 6DF15D38237642E6 Time : 0.0 sec. user=mdettweiler [2016-01-05 05:49:22] 837*2^1418685-1 is not prime. Res64: B4593BD3585E4D63 Time : 0.0 sec. user=mdettweiler [2016-01-05 05:49:23] 927*2^1418685-1 is not prime. Res64: EDF10B2FF34BF7FF Time : 0.0 sec. user=mdettweiler [2016-01-05 05:49:23] 991*2^1418685-1 is not prime. Res64: 6830A1220CAA06C3 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:06:54] 713*2^1418686-1 is not prime. Res64: E6CF56A0634395B1 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:06:54] 999*2^1418685-1 is not prime. Res64: E57873D61C61DC35 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:06:55] 947*2^1418686-1 is not prime. Res64: 4F6389A428F9C653 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:06:55] 657*2^1418686-1 is not prime. Res64: DE261B664ED4B90A Time : 0.0 sec. user=mdettweiler [2016-01-05 06:24:28] 971*2^1418686-1 is not prime. Res64: 8F85947A336F1A87 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:24:29] 603*2^1418687-1 is not prime. Res64: 5B2649AF89468350 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:24:29] 741*2^1418687-1 is not prime. Res64: D8529206F57648D3 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:24:29] 759*2^1418687-1 is not prime. Res64: 5653F14543544F17 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:42:02] 865*2^1418687-1 is not prime. Res64: 191DC18B06A85020 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:42:02] 981*2^1418687-1 is not prime. Res64: CC7267523BDAC51A Time : 0.0 sec. user=mdettweiler [2016-01-05 06:42:05] 695*2^1418688-1 is not prime. Res64: AEFB6E256DC9241B Time : 0.0 sec. user=mdettweiler [2016-01-05 06:42:05] 725*2^1418688-1 is not prime. Res64: 2F67ED2554CC0956 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:59:35] 747*2^1418688-1 is not prime. Res64: 315CBFF3AEA88574 Time : 0.0 sec. user=mdettweiler [2016-01-05 06:59:35] 845*2^1418688-1 is not prime. Res64: 89D9268FE98BB5FA Time : 0.0 sec. user=mdettweiler [2016-01-05 06:59:37] 625*2^1418689-1 is not prime. Res64: EF44B112D20DFCBA Time : 0.0 sec. user=mdettweiler [2016-01-05 06:59:38] 741*2^1418689-1 is not prime. Res64: E1A0764C64B8B6BB Time : 0.0 sec. user=mdettweiler [2016-01-05 07:17:07] 765*2^1418689-1 is not prime. Res64: FCE1589DB2578722 Time : 0.0 sec. user=mdettweiler [2016-01-05 07:17:08] 807*2^1418689-1 is not prime. Res64: 3FCAA056909E53BE Time : 0.0 sec. user=mdettweiler [2016-01-05 07:17:10] 811*2^1418689-1 is not prime. Res64: FF7D2FF859CD317F Time : 0.0 sec. user=mdettweiler [2016-01-05 07:17:11] 895*2^1418689-1 is not prime. Res64: 062F0B677F1DD840 Time : 0.0 sec. user=mdettweiler [2016-01-05 07:34:40] 967*2^1418689-1 is not prime. Res64: F78C0A0302A536EC Time : 0.0 sec. user=mdettweiler [2016-01-05 07:34:41] 623*2^1418690-1 is not prime. Res64: 47DD2BB27538D23C Time : 0.0 sec. user=mdettweiler [2016-01-05 07:34:43] 633*2^1418690-1 is not prime. Res64: 0E2DD022BA7C9ED7 Time : 0.0 sec. user=mdettweiler [2016-01-05 07:34:43] 675*2^1418690-1 is not prime. Res64: ECB171C9A5B4C2C9 Time : 0.0 sec. user=mdettweiler [2016-01-05 07:52:12] 767*2^1418690-1 is not prime. Res64: 1E01E4AF5E1248B5 Time : 0.0 sec. user=mdettweiler [2016-01-05 07:52:13] 783*2^1418690-1 is not prime. Res64: 76DEB851D8B843AC Time : 0.0 sec. user=mdettweiler [2016-01-05 07:52:14] 843*2^1418690-1 is not prime. Res64: 662B0488C0E74FB4 Time : 0.0 sec. user=mdettweiler [2016-01-05 07:52:15] 893*2^1418690-1 is not prime. Res64: BB2C5F7B9609EC70 Time : 0.0 sec. user=mdettweiler [2016-01-05 08:09:46] 651*2^1418691-1 is not prime. Res64: 01BB69D04516FC13 Time : 0.0 sec. user=mdettweiler [2016-01-05 08:09:46] 745*2^1418691-1 is not prime. Res64: 0784DBAF5D5D8211 Time : 0.0 sec. user=mdettweiler [2016-01-05 08:09:50] 783*2^1418691-1 is not prime. Res64: 76CF6EF6A14D6DFE Time : 0.0 sec. user=mdettweiler [2016-01-05 08:09:50] 793*2^1418691-1 is not prime. Res64: F7609918BF830953 Time : 0.0 sec. user=mdettweiler [2016-01-05 08:27:20] 859*2^1418691-1 is not prime. Res64: 11C9E241DBFA8DCE Time : 0.0 sec. user=mdettweiler [2016-01-05 08:27:20] 873*2^1418691-1 is not prime. Res64: 279C8507609AF160 Time : 0.0 sec. user=mdettweiler [2016-01-05 08:27:21] 879*2^1418691-1 is not prime. Res64: C4D6AC36C41153A4 Time : 0.0 sec. user=mdettweiler [2016-01-05 08:27:22] 895*2^1418691-1 is not prime. Res64: 724789555A613AA6 Time : 0.0 sec. user=mdettweiler [2016-01-05 08:44:52] 955*2^1418691-1 is not prime. Res64: 183A7DC5FAFD2A88 Time : 0.0 sec. user=mdettweiler [2016-01-05 08:44:53] 687*2^1418692-1 is not prime. Res64: 5CE90416DB801C9D Time : 0.0 sec. user=mdettweiler [2016-01-05 08:44:53] 735*2^1418692-1 is not prime. Res64: 046D5DF8C5D6A0CF Time : 0.0 sec. user=mdettweiler [2016-01-05 08:44:54] 803*2^1418692-1 is not prime. Res64: 50CC48C9BDE13831 Time : 0.0 sec. user=mdettweiler [2016-01-05 09:02:26] 619*2^1418693-1 is not prime. Res64: 480DB2AAFEA5009F Time : 0.0 sec. user=mdettweiler [2016-01-05 09:02:26] 889*2^1418693-1 is not prime. Res64: BB5FD55FF77D096E Time : 0.0 sec. user=mdettweiler [2016-01-05 09:02:28] 691*2^1418693-1 is not prime. Res64: DD5C6BCC2D72AFFB Time : 0.0 sec. user=mdettweiler [2016-01-05 09:02:28] 663*2^1418694-1 is not prime. Res64: 82EF52638AD49CCD Time : 0.0 sec. user=mdettweiler [2016-01-05 09:20:19] 927*2^1418694-1 is not prime. Res64: 224DEA43FFAD8884 Time : 0.0 sec. user=mdettweiler [2016-01-05 09:20:19] 773*2^1418694-1 is not prime. Res64: 94DEBC5A54B5F7EF Time : 0.0 sec. user=mdettweiler [2016-01-05 09:20:20] 833*2^1418694-1 is not prime. Res64: 729A613AD0DA8F29 Time : 0.0 sec. user=mdettweiler [2016-01-05 09:20:20] 945*2^1418694-1 is not prime. Res64: DB9909D14DEF85D8 Time : 0.0 sec. user=mdettweiler [2016-01-05 09:37:52] 947*2^1418694-1 is not prime. Res64: ED293319833C9DD3 Time : 0.0 sec. user=mdettweiler [2016-01-05 09:37:52] 965*2^1418694-1 is not prime. Res64: 35288E3311768A81 Time : 0.0 sec. user=mdettweiler [2016-01-05 09:37:53] 993*2^1418694-1 is not prime. Res64: 5500C0E35BBB31A6 Time : 0.0 sec. user=mdettweiler [2016-01-05 09:37:53] 649*2^1418695-1 is not prime. Res64: D140F77A3A205FBF Time : 0.0 sec. user=mdettweiler [2016-01-05 09:55:25] 673*2^1418695-1 is not prime. Res64: 1DABCC2D25AF03EF Time : 0.0 sec. user=mdettweiler [2016-01-05 09:55:25] 679*2^1418695-1 is not prime. Res64: 8251B0F97BEF95CC Time : 0.0 sec. user=mdettweiler [2016-01-05 09:55:25] 685*2^1418695-1 is not prime. Res64: 68406EF6077A89F6 Time : 0.0 sec. user=mdettweiler [2016-01-05 09:55:26] 783*2^1418695-1 is not prime. Res64: 3AE7DBF0BE7AF8B1 Time : 0.0 sec. user=mdettweiler [2016-01-05 10:12:57] 873*2^1418695-1 is not prime. Res64: 0F71966AE80FA167 Time : 0.0 sec. user=mdettweiler [2016-01-05 10:12:58] 675*2^1418696-1 is not prime. Res64: 9588C1620E5DFEFD Time : 0.0 sec. user=mdettweiler [2016-01-05 10:12:58] 629*2^1418696-1 is not prime. Res64: EA2C596E5D8F907D Time : 0.0 sec. user=mdettweiler [2016-01-05 10:12:58] 755*2^1418696-1 is not prime. Res64: 703EFD55207A84E1 Time : 0.0 sec. user=mdettweiler [2016-01-05 10:30:32] 879*2^1418696-1 is not prime. Res64: 1D7791E7DC1CBF89 Time : 0.0 sec. user=mdettweiler [2016-01-05 10:30:32] 785*2^1418696-1 is not prime. Res64: 8A7CF6FB1C6CE490 Time : 0.0 sec. user=mdettweiler [2016-01-05 10:30:32] 983*2^1418696-1 is not prime. Res64: EBABBC49BD858FFA Time : 0.0 sec. user=mdettweiler [2016-01-05 10:30:32] 873*2^1418696-1 is not prime. Res64: 0B7DA1D556E50E09 Time : 0.0 sec. user=mdettweiler [2016-01-05 10:48:05] 739*2^1418697-1 is not prime. Res64: 4341A6521D5C56CC Time : 0.0 sec. user=mdettweiler [2016-01-05 10:48:05] 661*2^1418697-1 is not prime. Res64: 4676EF5AF42675F8 Time : 0.0 sec. user=mdettweiler [2016-01-05 10:48:06] 747*2^1418697-1 is not prime. Res64: BB4C8EBC86E0D93D Time : 0.0 sec. user=mdettweiler [2016-01-05 10:48:06] 669*2^1418697-1 is not prime. Res64: 4FDB50F0915DA504 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:05:39] 751*2^1418697-1 is not prime. Res64: 158757124137F00E Time : 0.0 sec. user=mdettweiler [2016-01-05 11:05:39] 849*2^1418697-1 is not prime. Res64: A98DA8A498781AE2 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:05:41] 901*2^1418697-1 is not prime. Res64: AB65F3B051113714 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:05:41] 817*2^1418697-1 is not prime. Res64: 1271DEF413B04D5F Time : 0.0 sec. user=mdettweiler [2016-01-05 11:23:20] 975*2^1418697-1 is not prime. Res64: DB88A6432BBBDFB6 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:23:21] 723*2^1418698-1 is not prime. Res64: A10FEE88172FC897 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:23:21] 997*2^1418697-1 is not prime. Res64: 276BDC6E94FD86E5 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:23:21] 821*2^1418698-1 is not prime. Res64: 7D1D0E38DFD77797 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:40:52] 941*2^1418698-1 is not prime. Res64: 5C886A34D9377E8F Time : 0.0 sec. user=mdettweiler [2016-01-05 11:40:53] 951*2^1418698-1 is not prime. Res64: 24383D12EAC861C2 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:40:53] 861*2^1418698-1 is not prime. Res64: 502FC2CE610D7A69 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:40:54] 933*2^1418698-1 is not prime. Res64: B42B6786B94DB451 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:58:24] 631*2^1418699-1 is not prime. Res64: 89F633128026E356 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:58:25] 675*2^1418699-1 is not prime. Res64: E6D8D2F82B535900 Time : 0.0 sec. user=mdettweiler [2016-01-05 11:58:25] 993*2^1418698-1 is not prime. Res64: 89DB82303DC054FE Time : 0.0 sec. user=mdettweiler [2016-01-05 11:58:25] 995*2^1418698-1 is not prime. Res64: BDC42735BC0D952B Time : 0.0 sec. user=mdettweiler [2016-01-05 12:15:56] 859*2^1418699-1 is not prime. Res64: 7F8C6475A373181D Time : 0.0 sec. user=mdettweiler [2016-01-05 12:15:57] 943*2^1418699-1 is not prime. Res64: 45645DFA1DBCA8F8 Time : 0.0 sec. user=mdettweiler [2016-01-05 12:15:57] 889*2^1418699-1 is not prime. Res64: E83B3012FE889EE3 Time : 0.0 sec. user=mdettweiler [2016-01-05 12:15:57] 979*2^1418699-1 is not prime. Res64: 42D50A48BC53791F Time : 0.0 sec. user=mdettweiler [2016-01-05 12:33:30] 633*2^1418700-1 is not prime. Res64: 6E1B276D4F806AAD Time : 0.0 sec. user=mdettweiler [2016-01-05 12:33:30] 991*2^1418699-1 is not prime. Res64: 39864AAFA9084896 Time : 0.0 sec. user=mdettweiler [2016-01-05 12:33:30] 723*2^1418700-1 is not prime. Res64: 57A98D509D9AFBB3 Time : 0.0 sec. user=mdettweiler [2016-01-05 12:33:30] 993*2^1418699-1 is not prime. Res64: 0900BB9FD9810296 Time : 0.0 sec. user=mdettweiler [2016-01-05 12:51:03] 909*2^1418700-1 is not prime. Res64: 8630FBCDD502CE74 Time : 0.0 sec. user=mdettweiler [2016-01-05 12:51:03] 923*2^1418700-1 is not prime. Res64: 7F12787AF92FB0D7 Time : 0.0 sec. user=mdettweiler [2016-01-05 12:51:06] 769*2^1418701-1 is not prime. Res64: B694B2FC3D09ABE5 Time : 0.0 sec. user=mdettweiler [2016-01-05 12:51:06] 801*2^1418701-1 is not prime. Res64: 5A1592B72CD2C466 Time : 0.0 sec. user=mdettweiler [2016-01-05 13:08:35] 951*2^1418701-1 is not prime. Res64: 91977945CF2CE8AB Time : 0.0 sec. user=mdettweiler [2016-01-05 13:08:36] 627*2^1418702-1 is not prime. Res64: 908587F60A33DE53 Time : 0.0 sec. user=mdettweiler [2016-01-05 13:08:38] 651*2^1418702-1 is not prime. Res64: 3A2CFF362C08E5D0 Time : 0.0 sec. user=mdettweiler [2016-01-05 13:08:39] 657*2^1418702-1 is not prime. Res64: D36153D4F5CBC60B Time : 0.0 sec. user=mdettweiler [2016-01-05 13:26:09] 693*2^1418702-1 is not prime. Res64: 6AE34DBED34D3BFE Time : 0.0 sec. user=mdettweiler [2016-01-05 13:26:10] 705*2^1418702-1 is not prime. Res64: 9E49DE871528036D Time : 0.0 sec. user=mdettweiler [2016-01-05 13:26:11] 711*2^1418702-1 is not prime. Res64: 629CFE0192464E78 Time : 0.0 sec. user=mdettweiler [2016-01-05 13:26:12] 771*2^1418702-1 is not prime. Res64: 89E88B843E1B4EA9 Time : 0.0 sec. user=mdettweiler [2016-01-05 13:43:42] 791*2^1418702-1 is not prime. Res64: 9924644C1425BEE7 Time : 0.0 sec. user=mdettweiler [2016-01-05 13:43:42] 797*2^1418702-1 is not prime. Res64: 4C66C1B4080C856D Time : 0.0 sec. user=mdettweiler [2016-01-05 13:43:44] 873*2^1418702-1 is not prime. Res64: D7F216176CDDB32B Time : 0.0 sec. user=mdettweiler [2016-01-05 13:43:45] 885*2^1418702-1 is not prime. Res64: D4AE4D5CC12D834D Time : 0.0 sec. user=mdettweiler [2016-01-05 14:01:16] 915*2^1418702-1 is not prime. Res64: 2F7D59C3CE286480 Time : 0.0 sec. user=mdettweiler [2016-01-05 14:01:17] 953*2^1418702-1 is not prime. Res64: 55775E5CB5A58A2A Time : 0.0 sec. user=mdettweiler [2016-01-05 14:01:19] 789*2^1418703-1 is not prime. Res64: 3D44170987C27CAF Time : 0.0 sec. user=mdettweiler [2016-01-05 14:01:20] 853*2^1418703-1 is not prime. Res64: 0230BFB1B734AB99 Time : 0.0 sec. user=mdettweiler [2016-01-05 14:19:03] 629*2^1418704-1 is not prime. Res64: 0AF902BE14068CEF Time : 0.0 sec. user=mdettweiler [2016-01-05 14:19:03] 885*2^1418703-1 is not prime. Res64: 4D9CCFA8ABE6263F Time : 0.0 sec. user=mdettweiler [2016-01-05 14:19:03] 645*2^1418704-1 is not prime. Res64: 07CB1894B11A62DD Time : 0.0 sec. user=mdettweiler [2016-01-05 14:19:03] 945*2^1418703-1 is not prime. Res64: A34C551C08DC50CA Time : 0.0 sec. user=mdettweiler [2016-01-05 14:36:36] 927*2^1418704-1 is not prime. Res64: 455672F48732E903 Time : 0.0 sec. user=mdettweiler [2016-01-05 14:36:36] 719*2^1418704-1 is not prime. Res64: A79B5A30BF15B64A Time : 0.0 sec. user=mdettweiler [2016-01-05 14:36:37] 989*2^1418704-1 is not prime. Res64: AB47BA2ECC0C622B Time : 0.0 sec. user=mdettweiler [2016-01-05 14:36:37] 869*2^1418704-1 is not prime. Res64: BA154497CD49E0D5 Time : 0.0 sec. user=mdettweiler [2016-01-05 14:54:11] 795*2^1418705-1 is not prime. Res64: 1E1658E84895EA4B Time : 0.0 sec. user=mdettweiler [2016-01-05 14:54:12] 831*2^1418705-1 is not prime. Res64: 11B30C6798E1D2E9 Time : 0.0 sec. user=mdettweiler [2016-01-05 14:54:15] 697*2^1418705-1 is not prime. Res64: 951D27A17C638C73 Time : 0.0 sec. user=mdettweiler [2016-01-05 14:54:16] 741*2^1418705-1 is not prime. Res64: CB1A0E261179F7DA Time : 0.0 sec. user=mdettweiler [2016-01-05 15:11:43] 897*2^1418705-1 is not prime. Res64: 6B4C0E09345CBA7E Time : 0.0 sec. user=mdettweiler [2016-01-05 15:11:44] 915*2^1418705-1 is not prime. Res64: 33EAF1E2A75FA794 Time : 0.0 sec. user=mdettweiler [2016-01-05 15:11:47] 985*2^1418705-1 is not prime. Res64: B58F10F01D0F9F7D Time : 0.0 sec. user=mdettweiler [2016-01-05 15:11:48] 633*2^1418706-1 is not prime. Res64: A45416E84B5B67F1 Time : 0.0 sec. user=mdettweiler [2016-01-05 15:29:16] 777*2^1418706-1 is not prime. Res64: 52625A6C1F834CF5 Time : 0.0 sec. user=mdettweiler [2016-01-05 15:29:16] 873*2^1418706-1 is not prime. Res64: BDECDFA25FBE0FAE Time : 0.0 sec. user=mdettweiler [2016-01-05 15:29:19] 917*2^1418706-1 is not prime. Res64: D169C4C5038397BA Time : 0.0 sec. user=mdettweiler [2016-01-05 15:29:19] 685*2^1418707-1 is not prime. Res64: 63A63F8FB24C5B3F Time : 0.0 sec. user=mdettweiler [2016-01-05 15:46:48] 861*2^1418707-1 is not prime. Res64: 4FE217598E6C33C2 Time : 0.0 sec. user=mdettweiler [2016-01-05 15:46:48] 603*2^1418708-1 is not prime. Res64: 469586AE3525987D Time : 0.0 sec. user=mdettweiler [2016-01-05 15:46:52] 615*2^1418708-1 is not prime. Res64: 437D138CC8E54396 Time : 0.0 sec. user=mdettweiler [2016-01-05 15:46:52] 735*2^1418708-1 is not prime. Res64: 704F8032D6ED51DF Time : 0.0 sec. user=mdettweiler [2016-01-05 16:04:21] 789*2^1418708-1 is not prime. Res64: 7663C5DA6B47884B Time : 0.0 sec. user=mdettweiler [2016-01-05 16:04:22] 795*2^1418708-1 is not prime. Res64: C430811929BDCC46 Time : 0.0 sec. user=mdettweiler [2016-01-05 16:04:24] 845*2^1418708-1 is not prime. Res64: AB41B88C59291DE9 Time : 0.0 sec. user=mdettweiler [2016-01-05 16:04:25] 893*2^1418708-1 is not prime. Res64: 5BBC5BE40E8CB2BE Time : 0.0 sec. user=mdettweiler [2016-01-05 16:22:16] 681*2^1418709-1 is not prime. Res64: 0F6A54469A8113F2 Time : 0.0 sec. user=mdettweiler [2016-01-05 16:22:17] 935*2^1418708-1 is not prime. Res64: 412A5E5033152666 Time : 0.0 sec. user=mdettweiler [2016-01-05 16:22:17] 765*2^1418709-1 is not prime. Res64: 85AA62F764C9B052 Time : 0.0 sec. user=mdettweiler [2016-01-05 16:22:17] 625*2^1418709-1 is not prime. Res64: 13D545D42A755418 Time : 0.0 sec. user=mdettweiler [2016-01-05 16:39:52] 653*2^1418710-1 is not prime. Res64: D9AE983C5ABE8D6B Time : 0.0 sec. user=mdettweiler [2016-01-05 16:39:52] 677*2^1418710-1 is not prime. Res64: D4B29D492BD3080A Time : 0.0 sec. user=mdettweiler [2016-01-05 16:39:53] 769*2^1418709-1 is not prime. Res64: 8D7CAD4B883BC0BA Time : 0.0 sec. user=mdettweiler [2016-01-05 16:39:53] 861*2^1418709-1 is not prime. Res64: BBCC01B234898F13 Time : 0.0 sec. user=mdettweiler [2016-01-05 16:57:24] 825*2^1418710-1 is not prime. Res64: 15709E6C75D5DFAC Time : 0.0 sec. user=mdettweiler [2016-01-05 16:57:25] 897*2^1418710-1 is not prime. Res64: 396D78BD0D04D65D Time : 0.0 sec. user=mdettweiler [2016-01-05 16:57:28] 743*2^1418710-1 is not prime. Res64: A7DB0B7F58EA88E2 Time : 0.0 sec. user=mdettweiler [2016-01-05 16:57:29] 813*2^1418710-1 is not prime. Res64: 22B95C4BD97FEFF3 Time : 0.0 sec. user=mdettweiler [2016-01-05 17:14:57] 685*2^1418711-1 is not prime. Res64: 4F4EAFAF07975414 Time : 0.0 sec. user=mdettweiler [2016-01-05 17:14:58] 715*2^1418711-1 is not prime. Res64: 76E80DCA1CC34448 Time : 0.0 sec. user=mdettweiler [2016-01-05 17:15:00] 759*2^1418711-1 is not prime. Res64: AEC31D981BF1DA91 Time : 0.0 sec. user=mdettweiler [2016-01-05 17:15:01] 783*2^1418711-1 is not prime. Res64: 194C366D000A6627 Time : 0.0 sec. user=mdettweiler [2016-01-05 17:32:34] 885*2^1418711-1 is not prime. Res64: 90ADD740C204769D Time : 0.0 sec. user=mdettweiler [2016-01-05 17:32:34] 841*2^1418711-1 is not prime. Res64: 4B2CCDA6BF9C60CB Time : 0.0 sec. user=mdettweiler [2016-01-05 17:32:34] 943*2^1418711-1 is not prime. Res64: 60BC1F401F9D75F6 Time : 0.0 sec. user=mdettweiler [2016-01-05 17:32:35] 843*2^1418711-1 is not prime. Res64: 8B2C97F7C5F9C25E Time : 0.0 sec. user=mdettweiler [2016-01-05 17:50:06] 969*2^1418711-1 is not prime. Res64: 0B6CA40DA016B856 Time : 0.0 sec. user=mdettweiler [2016-01-05 17:50:07] 653*2^1418712-1 is not prime. Res64: 60C4D3D8443B5E7B Time : 0.0 sec. user=mdettweiler [2016-01-05 17:50:08] 675*2^1418712-1 is not prime. Res64: 7BA8DF221A040CB0 Time : 0.0 sec. user=mdettweiler [2016-01-05 17:50:08] 767*2^1418712-1 is not prime. Res64: B1FA218952F939D8 Time : 0.0 sec. user=mdettweiler [2016-01-05 18:07:39] 797*2^1418712-1 is not prime. Res64: 893329639F168D36 Time : 0.0 sec. user=mdettweiler [2016-01-05 18:07:39] 863*2^1418712-1 is not prime. Res64: E9285C6281B17533 Time : 0.0 sec. user=mdettweiler [2016-01-05 18:07:40] 887*2^1418712-1 is not prime. Res64: C5D503AEDB018FB6 Time : 0.0 sec. user=mdettweiler [2016-01-05 18:07:40] 609*2^1418713-1 is not prime. Res64: E7C5D710E1D8DC71 Time : 0.0 sec. user=mdettweiler [2016-01-05 18:25:14] 639*2^1418713-1 is not prime. Res64: FC316A7AD41C5D4D Time : 0.0 sec. user=mdettweiler [2016-01-05 18:25:15] 651*2^1418713-1 is not prime. Res64: E9F87840C68BE299 Time : 0.0 sec. user=mdettweiler [2016-01-05 18:25:15] 741*2^1418713-1 is not prime. Res64: 2AE0E21667E40E60 Time : 0.0 sec. user=mdettweiler [2016-01-05 18:25:15] 747*2^1418713-1 is not prime. Res64: B1527E0C232F23FD Time : 0.0 sec. user=mdettweiler [2016-01-05 18:42:52] 805*2^1418713-1 is not prime. Res64: 290E5B473CC4594F Time : 0.0 sec. user=mdettweiler [2016-01-05 18:42:52] 861*2^1418713-1 is not prime. Res64: C4F23D4EC09B55D8 Time : 0.0 sec. user=mdettweiler [2016-01-05 18:42:52] 847*2^1418713-1 is not prime. Res64: D3CFC7AE1871EE88 Time : 0.0 sec. user=mdettweiler [2016-01-05 18:42:52] 939*2^1418713-1 is not prime. Res64: 4CB2E6743F00F096 Time : 0.0 sec. user=mdettweiler [2016-01-05 19:00:24] 957*2^1418713-1 is not prime. Res64: BFC7567B28CFC109 Time : 0.0 sec. user=mdettweiler [2016-01-05 19:00:25] 967*2^1418713-1 is not prime. Res64: 1AD1AD4BEDC2B0F6 Time : 0.0 sec. user=mdettweiler [2016-01-05 19:00:26] 641*2^1418714-1 is not prime. Res64: AFBB70AD669A3C9B Time : 0.0 sec. user=mdettweiler [2016-01-05 19:00:27] 677*2^1418714-1 is not prime. Res64: 533544393AB523E0 Time : 0.0 sec. user=mdettweiler [2016-01-05 19:18:00] 687*2^1418714-1 is not prime. Res64: 499E9231A19AE8BD Time : 0.0 sec. user=mdettweiler [2016-01-05 19:18:00] 755*2^1418714-1 is not prime. Res64: FEB7FD3AAFDBCB24 Time : 0.0 sec. user=mdettweiler [2016-01-05 19:18:00] 753*2^1418714-1 is not prime. Res64: 005828565AA2F88C Time : 0.0 sec. user=mdettweiler [2016-01-05 19:18:01] 785*2^1418714-1 is not prime. Res64: 04772F65A28BB658 Time : 0.0 sec. user=mdettweiler [2016-01-05 19:35:33] 791*2^1418714-1 is not prime. Res64: ECF9E71C97366047 Time : 0.0 sec. user=mdettweiler [2016-01-05 19:35:33] 995*2^1418714-1 is not prime. Res64: D2021C7C44D30B14 Time : 0.0 sec. user=mdettweiler [2016-01-05 19:35:44] 613*2^1418715-1 is not prime. Res64: 98380C5326E819E0 Time : 0.0 sec. user=mdettweiler [2016-01-05 19:35:44] 663*2^1418715-1 is not prime. Res64: 05030C7C9922244D Time : 0.0 sec. user=mdettweiler [2016-01-05 19:53:05] 699*2^1418715-1 is not prime. Res64: 36A94FE99C1181B1 Time : 0.0 sec. user=mdettweiler [2016-01-05 19:53:06] 709*2^1418715-1 is not prime. Res64: 1629BF36047EAD0D Time : 0.0 sec. user=mdettweiler [2016-01-05 19:53:16] 735*2^1418715-1 is not prime. Res64: B92432A50C00F1CF Time : 0.0 sec. user=mdettweiler [2016-01-05 19:53:16] 793*2^1418715-1 is not prime. Res64: 8B56EF880423371F Time : 0.0 sec. user=mdettweiler [2016-01-05 20:10:38] 853*2^1418715-1 is not prime. Res64: 9164B7E2087CDE0C Time : 0.0 sec. user=mdettweiler [2016-01-05 20:10:39] 973*2^1418715-1 is not prime. Res64: 31280A5E2A9F80C6 Time : 0.0 sec. user=mdettweiler [2016-01-05 20:10:48] 609*2^1418716-1 is not prime. Res64: 8D65F1DAD3AB4C0D Time : 0.0 sec. user=mdettweiler [2016-01-05 20:10:48] 899*2^1418716-1 is not prime. Res64: C1ACDBDDC7A69F2C Time : 0.0 sec. user=mdettweiler [2016-01-05 20:28:13] 923*2^1418716-1 is not prime. Res64: 810F45B5CD79E833 Time : 0.0 sec. user=mdettweiler [2016-01-05 20:28:13] 969*2^1418716-1 is not prime. Res64: 41F2E5CB050DF243 Time : 0.0 sec. user=mdettweiler [2016-01-05 20:28:20] 675*2^1418717-1 is not prime. Res64: 0427CD13B71A5E37 Time : 0.0 sec. user=mdettweiler [2016-01-05 20:28:20] 711*2^1418717-1 is not prime. Res64: 55D73128EF89D69C Time : 0.0 sec. user=mdettweiler [2016-01-05 20:45:45] 735*2^1418717-1 is not prime. Res64: 21D02A7897ECC32A Time : 0.0 sec. user=mdettweiler [2016-01-05 20:45:46] 747*2^1418717-1 is not prime. Res64: 5DC9D6AAFC28BEEC Time : 0.0 sec. user=mdettweiler [2016-01-05 20:45:51] 759*2^1418717-1 is not prime. Res64: 6AC13341B6BEDF01 Time : 0.0 sec. user=mdettweiler [2016-01-05 20:45:52] 799*2^1418717-1 is not prime. Res64: 7BC0AFA8715C7C0D Time : 0.0 sec. user=mdettweiler [2016-01-05 21:03:18] 837*2^1418717-1 is not prime. Res64: 29F4030EDD9F88E9 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:03:19] 859*2^1418717-1 is not prime. Res64: 07295C10E8E3EA7F Time : 0.0 sec. user=mdettweiler [2016-01-05 21:03:25] 871*2^1418717-1 is not prime. Res64: 240C9048A1384165 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:03:27] 967*2^1418717-1 is not prime. Res64: 78650130E369707F Time : 0.0 sec. user=mdettweiler [2016-01-05 21:21:02] 671*2^1418718-1 is not prime. Res64: 950EE3DE1BA75AB0 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:21:03] 705*2^1418718-1 is not prime. Res64: 6A7710428F80708E Time : 0.0 sec. user=mdettweiler [2016-01-05 21:21:04] 707*2^1418718-1 is not prime. Res64: 41349241AE3D6014 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:21:05] 711*2^1418718-1 is not prime. Res64: 5D8BED575C9FB3F5 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:38:39] 737*2^1418718-1 is not prime. Res64: 68B832599654ED54 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:38:40] 747*2^1418718-1 is not prime. Res64: 57211327F54954B2 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:38:40] 863*2^1418718-1 is not prime. Res64: B3977B365AD35210 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:38:40] 885*2^1418718-1 is not prime. Res64: 7E2EB22A13F7A0D7 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:56:12] 609*2^1418719-1 is not prime. Res64: 90EE43BD1B41A760 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:56:12] 751*2^1418719-1 is not prime. Res64: EE6065B05E071F7C Time : 0.0 sec. user=mdettweiler [2016-01-05 21:56:14] 759*2^1418719-1 is not prime. Res64: 02D3A7E8599FE9A5 Time : 0.0 sec. user=mdettweiler [2016-01-05 21:56:14] 769*2^1418719-1 is not prime. Res64: 7BF5640D11794386 Time : 0.0 sec. user=mdettweiler [2016-01-05 22:13:49] 793*2^1418719-1 is not prime. Res64: 924B125F32E72530 Time : 0.0 sec. user=mdettweiler [2016-01-05 22:13:50] 861*2^1418719-1 is not prime. Res64: 5C37C6119F8FB52E Time : 0.0 sec. user=mdettweiler [2016-01-05 22:13:51] 931*2^1418719-1 is not prime. Res64: 96224361794BB5C1 Time : 0.0 sec. user=mdettweiler [2016-01-05 22:13:52] 951*2^1418719-1 is not prime. Res64: 9BC417E16FDDCC6A Time : 0.0 sec. user=mdettweiler [2016-01-05 22:31:30] 969*2^1418719-1 is not prime. Res64: 236AF0F23884E412 Time : 0.0 sec. user=mdettweiler [2016-01-05 22:31:30] 629*2^1418720-1 is not prime. Res64: 6DF9CAD71C3C7AB5 Time : 0.0 sec. user=mdettweiler [2016-01-05 22:31:31] 675*2^1418720-1 is not prime. Res64: B18324F15FBAAA0F Time : 0.0 sec. user=mdettweiler [2016-01-05 22:31:31] 603*2^1418720-1 is not prime. Res64: DD6C822737A06F08 Time : 0.0 sec. user=mdettweiler [2016-01-05 22:49:12] 669*2^1418721-1 is not prime. Res64: 362A32412022FDBE Time : 0.0 sec. user=mdettweiler [2016-01-05 22:49:13] 681*2^1418721-1 is not prime. Res64: 90CF2C8FDD16730E Time : 0.0 sec. user=mdettweiler [2016-01-05 22:49:14] 999*2^1418720-1 is not prime. Res64: 41123EF44CB0E6B2 Time : 0.0 sec. user=mdettweiler [2016-01-05 22:49:14] 609*2^1418721-1 is not prime. Res64: C5681ADFEB2A6DA9 Time : 0.0 sec. user=mdettweiler [2016-01-05 23:06:52] 955*2^1418721-1 is not prime. Res64: 78EC4D32F53DE2A7 Time : 0.0 sec. user=mdettweiler [2016-01-05 23:06:53] 611*2^1418722-1 is not prime. Res64: D9F637A1A7B711BB Time : 0.0 sec. user=mdettweiler [2016-01-05 23:06:55] 623*2^1418722-1 is not prime. Res64: 6E34B13A4AC32EDA Time : 0.0 sec. user=mdettweiler [2016-01-05 23:06:57] 635*2^1418722-1 is not prime. Res64: 661A62CD5FB075D0 Time : 0.0 sec. user=mdettweiler [2016-01-05 23:24:41] 857*2^1418722-1 is not prime. Res64: A8708BE735E8087C Time : 0.0 sec. user=mdettweiler [2016-01-05 23:24:41] 873*2^1418722-1 is not prime. Res64: 4C9BB176B0B76D92 Time : 0.0 sec. user=mdettweiler [2016-01-05 23:24:42] 975*2^1418722-1 is not prime. Res64: 22BB700DF7030BB3 Time : 0.0 sec. user=mdettweiler [2016-01-05 23:24:42] 673*2^1418723-1 is not prime. Res64: CD681612C29B94A7 Time : 0.0 sec. user=mdettweiler [2016-01-05 23:42:12] 991*2^1418723-1 is not prime. Res64: 565414A4B34EC03C Time : 0.0 sec. user=mdettweiler [2016-01-05 23:42:13] 689*2^1418724-1 is not prime. Res64: E7689C33E229A55A Time : 0.0 sec. user=mdettweiler [2016-01-05 23:42:15] 693*2^1418724-1 is not prime. Res64: 4C012BB265E4E6A9 Time : 0.0 sec. user=mdettweiler [2016-01-05 23:42:15] 707*2^1418724-1 is not prime. Res64: 1883C260CB2922BD Time : 0.0 sec. user=mdettweiler [2016-01-05 23:59:44] 717*2^1418724-1 is not prime. Res64: 16608AB52A3AC2C8 Time : 0.0 sec. user=mdettweiler [2016-01-05 23:59:45] 725*2^1418724-1 is not prime. Res64: 5EAB32D681DAF95F Time : 0.0 sec. user=mdettweiler [2016-01-05 23:59:46] 893*2^1418724-1 is not prime. Res64: 5A65BBD0B5C4F934 Time : 0.0 sec. user=mdettweiler [2016-01-05 23:59:46] 877*2^1418725-1 is not prime. Res64: F65C7F47781E9929 Time : 0.0 sec.