user=mdettweiler [2013-09-01 00:06:40] 803*2^1252372-1 is not prime. Res64: 74782DAB394951FA Time : 0.0 sec. user=mdettweiler [2013-09-01 00:06:41] 983*2^1252372-1 is not prime. Res64: 505912C219CF8EF5 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:08:51] 999*2^1252372-1 is not prime. Res64: 9B827DBCFF1303C0 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:08:52] 657*2^1252373-1 is not prime. Res64: 0ABBDCAB6BB8FA80 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:14:52] 697*2^1252373-1 is not prime. Res64: AAC6D8FA00FBE187 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:14:55] 745*2^1252373-1 is not prime. Res64: F367C1C0E01A8AF4 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:20:23] 775*2^1252373-1 is not prime. Res64: 46BD19EB83322C7B Time : 0.0 sec. user=mdettweiler [2013-09-01 00:20:24] 781*2^1252373-1 is not prime. Res64: DECDA08BC02FBFC2 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:27:45] 795*2^1252373-1 is not prime. Res64: 0C2C5D9EBC994835 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:27:46] 945*2^1252373-1 is not prime. Res64: AF2F5EED03EE7B59 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:30:52] 957*2^1252373-1 is not prime. Res64: DF27F9643ECB9D0A Time : 0.0 sec. user=mdettweiler [2013-09-01 00:30:52] 945*2^1252374-1 is not prime. Res64: ED87AF02235DB426 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:37:13] 971*2^1252374-1 is not prime. Res64: 0A27F66A306BEDFE Time : 0.0 sec. user=mdettweiler [2013-09-01 00:37:14] 1001*2^1252374-1 is not prime. Res64: F8CC4BA5865AFAEB Time : 0.0 sec. user=mdettweiler [2013-09-01 00:40:38] 633*2^1252375-1 is not prime. Res64: 5B684E00E5324D08 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:40:38] 675*2^1252375-1 is not prime. Res64: D254AF242780378A Time : 0.0 sec. user=mdettweiler [2013-09-01 00:47:55] 679*2^1252375-1 is not prime. Res64: B3BAA4A98F740A7A Time : 0.0 sec. user=mdettweiler [2013-09-01 00:47:56] 759*2^1252375-1 is not prime. Res64: 34D1AA4D4536CAC9 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:50:56] 853*2^1252375-1 is not prime. Res64: 77351734F174D74F Time : 0.0 sec. user=mdettweiler [2013-09-01 00:50:57] 859*2^1252375-1 is not prime. Res64: 13450CF79FA398F4 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:58:17] 979*2^1252375-1 is not prime. Res64: 6133F50CF55F3E48 Time : 0.0 sec. user=mdettweiler [2013-09-01 00:58:18] 603*2^1252376-1 is not prime. Res64: BA186441D57F4B08 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:00:44] 645*2^1252376-1 is not prime. Res64: 88F931C02CD88DA0 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:00:45] 735*2^1252376-1 is not prime. Res64: C5267A3B778BD4D2 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:08:03] 857*2^1252376-1 is not prime. Res64: BCFCCD039D67E4CF Time : 0.0 sec. user=mdettweiler [2013-09-01 01:08:03] 867*2^1252376-1 is not prime. Res64: 22C079EB928D6522 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:12:57] 927*2^1252376-1 is not prime. Res64: F11159D63B5B99C6 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:12:57] 935*2^1252376-1 is not prime. Res64: DA7A31BFC87E2BA2 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:19:18] 945*2^1252376-1 is not prime. Res64: D15511ADB0057B87 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:19:18] 625*2^1252377-1 is not prime. Res64: 37526FD16BA12106 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:22:46] 937*2^1252377-1 is not prime. Res64: C0AA8F60D812AA9E Time : 0.0 sec. user=mdettweiler [2013-09-01 01:22:46] 979*2^1252377-1 is not prime. Res64: C91D2F2BAAE3BBBD Time : 0.0 sec. user=mdettweiler [2013-09-01 01:28:10] 611*2^1252378-1 is not prime. Res64: 4151B3527115AED7 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:28:11] 647*2^1252378-1 is not prime. Res64: 03079314C27B86CA Time : 0.0 sec. user=mdettweiler [2013-09-01 01:33:00] 657*2^1252378-1 is not prime. Res64: 6CCE805446DC50C7 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:33:00] 755*2^1252378-1 is not prime. Res64: C1FD28EBEBBDC147 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:39:22] 867*2^1252378-1 is not prime. Res64: 43760470ABBF43F8 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:39:22] 633*2^1252379-1 is not prime. Res64: FC9576003391DEC9 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:42:48] 705*2^1252379-1 is not prime. Res64: 0A70568697AE3512 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:42:49] 789*2^1252379-1 is not prime. Res64: 6D4F207C3DAE8421 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:49:22] 799*2^1252379-1 is not prime. Res64: 48DA0EA1D297A1F6 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:49:23] 883*2^1252379-1 is not prime. Res64: 26E2FDDF3180D10C Time : 0.0 sec. user=mdettweiler [2013-09-01 01:55:08] 909*2^1252379-1 is not prime. Res64: 5BDDE4BA36184575 Time : 0.0 sec. user=mdettweiler [2013-09-01 01:55:08] 979*2^1252379-1 is not prime. Res64: 8E2FBE23B698260D Time : 0.0 sec. user=mdettweiler [2013-09-01 02:00:26] 985*2^1252379-1 is not prime. Res64: 86555CD2D55C711E Time : 0.0 sec. user=mdettweiler [2013-09-01 02:00:28] 689*2^1252380-1 is not prime. Res64: C9961CA5587BD43F Time : 0.0 sec. user=mdettweiler [2013-09-01 02:02:53] 737*2^1252380-1 is not prime. Res64: 855CA7F9C1BC3543 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:02:54] 779*2^1252380-1 is not prime. Res64: BD0A1033BC9B5C0A Time : 0.0 sec. user=mdettweiler [2013-09-01 02:09:27] 789*2^1252380-1 is not prime. Res64: 655E524203B65AA2 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:09:28] 839*2^1252380-1 is not prime. Res64: 066C3678C3A40882 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:17:05] 909*2^1252380-1 is not prime. Res64: ADB6A271C258FEE1 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:17:05] 929*2^1252380-1 is not prime. Res64: 15446CB580354FD1 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:22:29] 933*2^1252380-1 is not prime. Res64: 3D983CE15C316F5D Time : 0.0 sec. user=mdettweiler [2013-09-01 02:22:29] 975*2^1252380-1 is not prime. Res64: 830DC1380ABE6E28 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:23:00] 607*2^1252381-1 is not prime. Res64: C051FF1AC4A2161B Time : 0.0 sec. user=mdettweiler [2013-09-01 02:23:01] 687*2^1252381-1 is not prime. Res64: 73C5CAAC5B74499F Time : 0.0 sec. user=mdettweiler [2013-09-01 02:29:35] 691*2^1252381-1 is not prime. Res64: 37CAFAA3F8AC406A Time : 0.0 sec. user=mdettweiler [2013-09-01 02:29:35] 775*2^1252381-1 is not prime. Res64: 04257546D6085BDE Time : 0.0 sec. user=mdettweiler [2013-09-01 02:38:03] 877*2^1252381-1 is not prime. Res64: B4724B6C572DDC83 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:38:04] 987*2^1252381-1 is not prime. Res64: 7D11D96FADD8B0CE Time : 0.0 sec. user=mdettweiler [2013-09-01 02:43:26] 767*2^1252382-1 is not prime. Res64: CE8BD8955EA5E62E Time : 0.0 sec. user=mdettweiler [2013-09-01 02:43:28] 941*2^1252382-1 is not prime. Res64: 6A8673DCFC229853 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:43:56] 953*2^1252382-1 is not prime. Res64: 39CD320C460CB4C5 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:43:58] 705*2^1252383-1 is not prime. Res64: F896027F4592C2F5 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:51:18] 735*2^1252383-1 is not prime. Res64: 38B8DE1D65EEF134 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:58:59] 951*2^1252383-1 is not prime. Res64: C843DCE56D36EDD3 Time : 0.0 sec. user=mdettweiler [2013-09-01 02:58:59] 629*2^1252384-1 is not prime. Res64: E07104BDF9AC9952 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:04:05] 657*2^1252384-1 is not prime. Res64: E852192E45FA0CB9 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:04:06] 717*2^1252384-1 is not prime. Res64: 6189089361CCE6E0 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:04:12] 719*2^1252384-1 is not prime. Res64: F85E463297E92DEE Time : 0.0 sec. user=mdettweiler [2013-09-01 03:04:13] 857*2^1252384-1 is not prime. Res64: A9BE4C9F87CD12BB Time : 0.0 sec. user=mdettweiler [2013-09-01 03:20:23] 939*2^1252384-1 is not prime. Res64: F2522BE8A8FFB802 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:20:23] 607*2^1252385-1 is not prime. Res64: 5701A5A53BCDC5B3 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:25:45] 717*2^1252385-1 is not prime. Res64: 690D9433DF5D887B Time : 0.0 sec. user=mdettweiler [2013-09-01 03:25:45] 937*2^1252385-1 is not prime. Res64: E9FDA22A77290CD6 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:25:56] 987*2^1252385-1 is not prime. Res64: 8B687E802F6BD1F7 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:25:56] 677*2^1252386-1 is not prime. Res64: 14BA600A27425A71 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:40:38] 683*2^1252386-1 is not prime. Res64: 56C7108E47A56366 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:40:39] 711*2^1252386-1 is not prime. Res64: C4917D08868B4823 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:45:55] 737*2^1252386-1 is not prime. Res64: 32AC4497730A69ED Time : 0.0 sec. user=mdettweiler [2013-09-01 03:45:56] 755*2^1252386-1 is not prime. Res64: A06C9105BC29DDCF Time : 0.0 sec. user=mdettweiler [2013-09-01 03:46:10] 767*2^1252386-1 is not prime. Res64: ADAC32BB1636B559 Time : 0.0 sec. user=mdettweiler [2013-09-01 03:46:11] 833*2^1252386-1 is not prime. Res64: 3AF3CE8AFC67283E Time : 0.0 sec. user=mdettweiler [2013-09-01 03:56:47] 949*2^1252383-1 is not prime. Res64: F07FA695F3FC63C4 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:02:14] 873*2^1252386-1 is not prime. Res64: 3370547D3CEC07BA Time : 0.0 sec. user=mdettweiler [2013-09-01 04:02:15] 903*2^1252386-1 is not prime. Res64: 7DBE3650843E3B69 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:06:54] 645*2^1252387-1 is not prime. Res64: E128BF8EA72ED806 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:06:55] 769*2^1252387-1 is not prime. Res64: FB92B0847EA57DEB Time : 0.0 sec. user=mdettweiler [2013-09-01 04:08:38] 945*2^1252386-1 is not prime. Res64: FD950A3C60C6DF0B Time : 0.0 sec. user=mdettweiler [2013-09-01 04:08:39] 975*2^1252386-1 is not prime. Res64: C492F1DB1728D169 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:17:38] 859*2^1252387-1 is not prime. Res64: 2755BDC6877B191F Time : 0.0 sec. user=mdettweiler [2013-09-01 04:17:39] 871*2^1252387-1 is not prime. Res64: 0CCCAB0EA810B6C7 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:24:51] 975*2^1252387-1 is not prime. Res64: 5CAEF176219BC3A6 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:24:52] 999*2^1252387-1 is not prime. Res64: 7698815D7A3AF570 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:28:26] 843*2^1252388-1 is not prime. Res64: BBBCAAE40A291390 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:28:26] 953*2^1252388-1 is not prime. Res64: C244D00A738D9F8C Time : 0.0 sec. user=mdettweiler [2013-09-01 04:29:54] 995*2^1252388-1 is not prime. Res64: 4FB52911A5A95CD1 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:29:55] 741*2^1252389-1 is not prime. Res64: 234EF05E1AB6C000 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:37:54] 765*2^1252389-1 is not prime. Res64: 3F11FCE5E8109633 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:37:55] 811*2^1252389-1 is not prime. Res64: FD73BFE7DAF5AC84 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:45:58] 861*2^1252389-1 is not prime. Res64: 5BCAB7E5EC5A81D6 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:45:59] 907*2^1252389-1 is not prime. Res64: 585AC095D16D178F Time : 0.0 sec. user=mdettweiler [2013-09-01 04:50:00] 681*2^1252390-1 is not prime. Res64: D24E38D2A11CF26C Time : 0.0 sec. user=mdettweiler [2013-09-01 04:50:00] 731*2^1252390-1 is not prime. Res64: F852086945221B2B Time : 0.0 sec. user=mdettweiler [2013-09-01 04:50:25] 919*2^1252389-1 is not prime. Res64: 8D1F34E59D7C30C1 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:50:26] 999*2^1252389-1 is not prime. Res64: 07C7CDFEAA90D242 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:58:02] 741*2^1252390-1 is not prime. Res64: E7BC9466F5DE4E58 Time : 0.0 sec. user=mdettweiler [2013-09-01 04:58:03] 743*2^1252390-1 is not prime. Res64: E4E9CB164755B9B1 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:07:03] 813*2^1252390-1 is not prime. Res64: 29861DBDEFC34B9A Time : 0.0 sec. user=mdettweiler [2013-09-01 05:07:04] 911*2^1252390-1 is not prime. Res64: 80AFA95C546AB768 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:10:34] 735*2^1252391-1 is not prime. Res64: 1836D638EACA1BE0 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:10:35] 811*2^1252391-1 is not prime. Res64: 47C70C55F882C38D Time : 0.0 sec. user=mdettweiler [2013-09-01 05:11:06] 965*2^1252390-1 is not prime. Res64: B68CA0716C62367B Time : 0.0 sec. user=mdettweiler [2013-09-01 05:11:07] 685*2^1252391-1 is not prime. Res64: 18EAD60C3AC4DEA1 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:19:08] 949*2^1252391-1 is not prime. Res64: 8600D7846F021698 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:19:08] 633*2^1252392-1 is not prime. Res64: AEC1F8808D5A229D Time : 0.0 sec. user=mdettweiler [2013-09-01 05:28:09] 723*2^1252392-1 is not prime. Res64: 66733BC7DFB34944 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:28:09] 887*2^1252392-1 is not prime. Res64: DE120267826608DD Time : 0.0 sec. user=mdettweiler [2013-09-01 05:31:38] 805*2^1252393-1 is not prime. Res64: F20438C8FD8A2EB0 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:31:39] 951*2^1252393-1 is not prime. Res64: EA033721A94E6D96 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:33:06] 955*2^1252393-1 is not prime. Res64: D29673D6093897DA Time : 0.0 sec. user=mdettweiler [2013-09-01 05:33:06] 987*2^1252393-1 is not prime. Res64: AF7DC1557A493369 Time : 0.0 sec. user=juhehe [2013-09-01 05:36:41] 693*2^1252392-1 is not prime. Res64: 043BABC158739F0E Time : 0.0 sec. user=mdettweiler [2013-09-01 05:39:13] 683*2^1252394-1 is not prime. Res64: 104E32E37A049C4B Time : 0.0 sec. user=mdettweiler [2013-09-01 05:39:14] 837*2^1252394-1 is not prime. Res64: 5B5C62E2DAA6400D Time : 0.0 sec. user=mdettweiler [2013-09-01 05:48:16] 851*2^1252394-1 is not prime. Res64: 8F831788413DAC83 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:48:16] 857*2^1252394-1 is not prime. Res64: 43C24313D001BDAF Time : 0.0 sec. user=mdettweiler [2013-09-01 05:52:43] 927*2^1252394-1 is not prime. Res64: 46879C1937113776 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:52:44] 649*2^1252395-1 is not prime. Res64: EE8731EB7C3C1BE2 Time : 0.0 sec. user=mdettweiler [2013-09-01 05:53:09] 711*2^1252395-1 is not prime. Res64: 21043A4A7C7FDAFB Time : 0.0 sec. user=mdettweiler [2013-09-01 05:53:10] 805*2^1252395-1 is not prime. Res64: F5BFF942461E816B Time : 0.0 sec. user=mdettweiler [2013-09-01 06:00:13] 829*2^1252395-1 is not prime. Res64: 5D8D7E429EAFE1B3 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:00:15] 961*2^1252395-1 is not prime. Res64: 89D2A4C0A0C8525B Time : 0.0 sec. user=mdettweiler [2013-09-01 06:09:13] 999*2^1252395-1 is not prime. Res64: AA10C9650488ABB3 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:09:14] 647*2^1252396-1 is not prime. Res64: 621995F653BBC9C2 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:13:11] 615*2^1252397-1 is not prime. Res64: FEFBC13078CCE853 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:13:12] 685*2^1252397-1 is not prime. Res64: 7962D8D22BE803F9 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:13:48] 653*2^1252396-1 is not prime. Res64: 658313CBDF3BE2DA Time : 0.0 sec. user=mdettweiler [2013-09-01 06:13:49] 989*2^1252396-1 is not prime. Res64: 726050AD7236C711 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:20:27] 691*2^1252397-1 is not prime. Res64: 391EE3B3818AAE8F Time : 0.0 sec. user=mdettweiler [2013-09-01 06:20:27] 697*2^1252397-1 is not prime. Res64: 0BC4B9F06424E241 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:29:24] 711*2^1252397-1 is not prime. Res64: 17D39FDF4BDA66E0 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:29:24] 777*2^1252397-1 is not prime. Res64: 53BFB0F5F13ABF3F Time : 0.0 sec. user=mdettweiler [2013-09-01 06:34:45] 837*2^1252397-1 is not prime. Res64: 1249F7BD5E124B14 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:34:45] 885*2^1252397-1 is not prime. Res64: 531A4F5E187E7DD1 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:36:17] 901*2^1252397-1 is not prime. Res64: 456E8420AB09E1E8 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:36:17] 927*2^1252397-1 is not prime. Res64: F7FFF34314EE4719 Time : 0.0 sec. user=mdettweiler [2013-09-01 06:44:10] 985*2^1252397-1 is not prime. Res64: 2A597A9A7D6ACF5C Time : 0.0 sec. user=mdettweiler [2013-09-01 06:44:11] 997*2^1252397-1 is not prime. Res64: 6DA0C739ED5E712A Time : 0.0 sec. user=mdettweiler [2013-09-01 06:53:11] 641*2^1252398-1 is not prime. Res64: F97C1DC865CF61AE Time : 0.0 sec. user=mdettweiler [2013-09-01 06:53:11] 713*2^1252398-1 is not prime. Res64: 7265EA0E18FC8250 Time : 0.0 sec. user=mdettweiler [2013-09-01 07:01:45] 945*2^1252398-1 is not prime. Res64: E429590E71BC60F8 Time : 0.0 sec. user=mdettweiler [2013-09-01 07:01:46] 975*2^1252398-1 is not prime. Res64: 27C9DFD3F2FC45C4 Time : 0.0 sec. user=mdettweiler [2013-09-01 07:02:26] 1001*2^1252398-1 is not prime. Res64: EA98DF91EC29864E Time : 0.0 sec. user=mdettweiler [2013-09-01 07:02:27] 679*2^1252399-1 is not prime. Res64: 6E1D0417DE58EA65 Time : 0.0 sec. user=mdettweiler [2013-09-01 07:10:03] 763*2^1252399-1 is not prime. Res64: D5CACBD24902B800 Time : 0.0 sec. user=mdettweiler [2013-09-01 07:10:04] 841*2^1252399-1 is not prime. Res64: D8DE1E582CC03921 Time : 0.0 sec. user=mdettweiler [2013-09-01 07:18:42] 861*2^1252399-1 is not prime. Res64: 9DE751D7F39C19CA Time : 0.0 sec. user=mdettweiler [2013-09-01 07:18:42] 885*2^1252399-1 is not prime. Res64: 10655C51CC624272 Time : 0.0 sec. user=mdettweiler [2013-09-01 07:24:43] 663*2^1252400-1 is not prime. Res64: E06EA6D42C17DE8D Time : 0.0 sec. user=mdettweiler [2013-09-01 07:24:43] 665*2^1252400-1 is not prime. Res64: EC2468824513D627 Time : 0.0 sec. user=mdettweiler [2013-09-01 07:24:59] 689*2^1252400-1 is not prime. Res64: 10B20DAF1A690B70 Time : 0.0 sec. user=mdettweiler [2013-09-01 07:24:59] 735*2^1252400-1 is not prime. Res64: 4E89EEA3B3AEB3D7 Time : 0.0 sec.