user=mdettweiler [2013-06-19 00:01:43] 635*2^1247042-1 is not prime. Res64: 81DC84D23DC6782E Time : 0.0 sec. user=mdettweiler [2013-06-19 00:01:44] 797*2^1247042-1 is not prime. Res64: F07477001630F852 Time : 0.0 sec. user=mdettweiler [2013-06-19 00:06:12] 873*2^1247042-1 is not prime. Res64: 30490FF11FF7D24F Time : 0.0 sec. user=mdettweiler [2013-06-19 00:06:14] 945*2^1247042-1 is not prime. Res64: 1CEB5066E601C04C Time : 0.0 sec. user=vaughan [2013-06-19 00:08:13] 805*2^1247041-1 is not prime. Res64: 16384251489383A4 Time : 0.0 sec. user=mdettweiler [2013-06-19 00:20:19] 951*2^1247042-1 is not prime. Res64: E8B6D8AA2BD8E70A Time : 0.0 sec. user=mdettweiler [2013-06-19 00:20:19] 963*2^1247042-1 is not prime. Res64: C5795D727AA4551C Time : 0.0 sec. user=mdettweiler [2013-06-19 00:24:04] 669*2^1247043-1 is not prime. Res64: 7E320F01004ECABD Time : 0.0 sec. user=mdettweiler [2013-06-19 00:38:18] 723*2^1247043-1 is not prime. Res64: C57B4FAD4E50AFD3 Time : 0.0 sec. user=mdettweiler [2013-06-19 00:59:53] 691*2^1247043-1 is not prime. Res64: 4305C48C0E8BF874 Time : 0.0 sec. user=mdettweiler [2013-06-19 01:05:48] 769*2^1247043-1 is not prime. Res64: DCF4DEA87BFFD7F1 Time : 0.0 sec. user=mdettweiler [2013-06-19 01:17:23] 789*2^1247043-1 is not prime. Res64: F2653C9A1397D15A Time : 0.0 sec. user=mdettweiler [2013-06-19 01:17:23] 795*2^1247043-1 is not prime. Res64: F6FCB00FA61AEEEA Time : 0.0 sec. user=mdettweiler [2013-06-19 01:24:13] 873*2^1247043-1 is not prime. Res64: CAE7BCC4C6A78E6B Time : 0.0 sec. user=mdettweiler [2013-06-19 01:24:14] 963*2^1247043-1 is not prime. Res64: 980CC9A1653131BA Time : 0.0 sec. user=vaughan [2013-06-19 01:26:17] 775*2^1247043-1 is not prime. Res64: 1711AA32670D8C18 Time : 0.0 sec. user=mdettweiler [2013-06-19 01:34:55] 605*2^1247044-1 is not prime. Res64: 647B7FDAEFD2CA4A Time : 0.0 sec. user=mdettweiler [2013-06-19 01:34:55] 687*2^1247044-1 is not prime. Res64: D3A97310D9EB40FE Time : 0.0 sec. user=mdettweiler [2013-06-19 01:42:00] 707*2^1247044-1 is not prime. Res64: 6EFE461CA0C1DAD1 Time : 0.0 sec. user=mdettweiler [2013-06-19 01:42:00] 765*2^1247044-1 is not prime. Res64: 3E02F51E0519CE8C Time : 0.0 sec. user=mdettweiler [2013-06-19 01:52:49] 813*2^1247044-1 is not prime. Res64: 129815064E36ADDB Time : 0.0 sec. user=mdettweiler [2013-06-19 01:59:52] 929*2^1247044-1 is not prime. Res64: E5FCDDC8E67CEE0C Time : 0.0 sec. user=mdettweiler [2013-06-19 01:59:53] 627*2^1247045-1 is not prime. Res64: 97519E8F1D5E38EE Time : 0.0 sec. user=mdettweiler [2013-06-19 02:15:20] 903*2^1247044-1 is not prime. Res64: 3DA8D935D271AAFE Time : 0.0 sec. user=mdettweiler [2013-06-19 02:17:27] 729*2^1247045-1 is not prime. Res64: 17B1149A834CD334 Time : 0.0 sec. user=mdettweiler [2013-06-19 02:17:28] 757*2^1247045-1 is not prime. Res64: F45A0478200B0FCE Time : 0.0 sec. user=mdettweiler [2013-06-19 02:34:04] 831*2^1247045-1 is not prime. Res64: E05324C9929C66CF Time : 0.0 sec. user=mdettweiler [2013-06-19 02:35:29] 711*2^1247046-1 is not prime. Res64: A4B19BAC7D0E28F4 Time : 0.0 sec. user=vaughan [2013-06-19 02:45:06] 811*2^1247045-1 is not prime. Res64: B0E5E28CE698FD58 Time : 0.0 sec. user=mdettweiler [2013-06-19 02:58:31] 725*2^1247046-1 is not prime. Res64: D151A77F741F270E Time : 0.0 sec. user=mdettweiler [2013-06-19 03:12:46] 707*2^1247046-1 is not prime. Res64: 98AB9F54EE3B8BF2 Time : 0.0 sec. user=vaughan [2013-06-19 03:24:15] 861*2^1247046-1 is not prime. Res64: DA0529CF5BE2A37B Time : 0.0 sec. user=mdettweiler [2013-06-19 03:31:26] 963*2^1247046-1 is not prime. Res64: 62B337B9547773CE Time : 0.0 sec. user=mdettweiler [2013-06-19 03:31:27] 663*2^1247047-1 is not prime. Res64: 230C4AC56D1FA2B5 Time : 0.0 sec. user=mdettweiler [2013-06-19 03:43:16] 793*2^1247047-1 is not prime. Res64: 8588225074DD453C Time : 0.0 sec. user=mdettweiler [2013-06-19 03:43:17] 951*2^1247047-1 is not prime. Res64: 6671084586F52162 Time : 0.0 sec. user=mdettweiler [2013-06-19 03:49:22] 867*2^1247048-1 is not prime. Res64: 30C269F11FF43067 Time : 0.0 sec. user=mdettweiler [2013-06-19 04:02:09] 975*2^1247049-1 is not prime. Res64: 97FB0C051FE255CC Time : 0.0 sec. user=vaughan [2013-06-19 04:03:36] 735*2^1247047-1 is not prime. Res64: 31476E381A62C3FE Time : 0.0 sec. user=mdettweiler [2013-06-19 04:14:38] 935*2^1247048-1 is not prime. Res64: 38E122A02027DF60 Time : 0.0 sec. user=mdettweiler [2013-06-19 04:32:10] 715*2^1247051-1 is not prime. Res64: EF85C67965FADFD8 Time : 0.0 sec. user=mdettweiler [2013-06-19 04:32:11] 735*2^1247051-1 is not prime. Res64: 0186D57A8C10060E Time : 0.0 sec. user=mdettweiler [2013-06-19 04:34:13] 657*2^1247050-1 is not prime. Res64: D70F297A96C374E1 Time : 0.0 sec. user=vaughan [2013-06-19 04:48:14] 917*2^1247050-1 is not prime. Res64: E9ED41A948299FB3 Time : 0.0 sec. user=mdettweiler [2013-06-19 04:49:57] 775*2^1247051-1 is not prime. Res64: 4E981B77DBDB0F52 Time : 0.0 sec. user=mdettweiler [2013-06-19 04:51:59] 811*2^1247051-1 is not prime. Res64: 105BCE65A2888D0C Time : 0.0 sec. user=mdettweiler [2013-06-19 04:51:59] 949*2^1247051-1 is not prime. Res64: E300AFECD29F0210 Time : 0.0 sec. user=mdettweiler [2013-06-19 05:09:28] 647*2^1247052-1 is not prime. Res64: 59D459ABE6D562A1 Time : 0.0 sec. user=mdettweiler [2013-06-19 05:09:30] 665*2^1247052-1 is not prime. Res64: D09619E0E649CB8D Time : 0.0 sec. user=mdettweiler [2013-06-19 05:17:11] 781*2^1247051-1 is not prime. Res64: AD57B02171F60B0A Time : 0.0 sec. user=mdettweiler [2013-06-19 05:27:15] 669*2^1247052-1 is not prime. Res64: BC8E8A15C3DBD71B Time : 0.0 sec. user=vaughan [2013-06-19 05:27:15] 627*2^1247052-1 is not prime. Res64: E78A1763740660D9 Time : 0.0 sec. user=mdettweiler [2013-06-19 05:54:15] 909*2^1247052-1 is not prime. Res64: 7C72A12E0A12A72F Time : 0.0 sec. user=vaughan [2013-06-19 06:11:55] 915*2^1247052-1 is not prime. Res64: 83C5290A135F8378 Time : 0.0 sec. user=mdettweiler [2013-06-19 06:12:56] 945*2^1247052-1 is not prime. Res64: 3C095BDF13BCDEFA Time : 0.0 sec. user=mdettweiler [2013-06-19 06:13:26] 729*2^1247053-1 is not prime. Res64: 080EF37891A1A646 Time : 0.0 sec. user=mdettweiler [2013-06-19 06:34:16] 977*2^1247052-1 is not prime. Res64: A4CFF8867CCCFC76 Time : 0.0 sec. user=mdettweiler [2013-06-19 06:44:01] 877*2^1247053-1 is not prime. Res64: 98C6393025B9C397 Time : 0.0 sec. user=mdettweiler [2013-06-19 06:52:01] 623*2^1247054-1 is not prime. Res64: CDBEDEB776B8DA4D Time : 0.0 sec. user=vaughan [2013-06-19 07:29:47] 645*2^1247054-1 is not prime. Res64: A7D7B533E473C26E Time : 0.0 sec. user=mdettweiler [2013-06-19 07:31:18] 641*2^1247054-1 is not prime. Res64: 48C6C31BDF638F9C Time : 0.0 sec. user=mdettweiler [2013-06-19 07:39:23] 663*2^1247054-1 is not prime. Res64: 2CD17ABEDD94B6FA Time : 0.0 sec. user=mdettweiler [2013-06-19 07:39:24] 731*2^1247054-1 is not prime. Res64: BD3D3ED9B51D8092 Time : 0.0 sec. user=mdettweiler [2013-06-19 07:48:46] 753*2^1247054-1 is not prime. Res64: 18EA74EEE69C747A Time : 0.0 sec. user=mdettweiler [2013-06-19 07:48:47] 815*2^1247054-1 is not prime. Res64: 5293CBFC7D33EBF6 Time : 0.0 sec. user=mdettweiler [2013-06-19 07:56:53] 601*2^1247055-1 is not prime. Res64: CD2C63941BD4A53B Time : 0.0 sec. user=mdettweiler [2013-06-19 07:56:53] 685*2^1247055-1 is not prime. Res64: F1151112F13837D6 Time : 0.0 sec. user=mdettweiler [2013-06-19 08:06:32] 739*2^1247055-1 is not prime. Res64: 732DB76C38C11605 Time : 0.0 sec. user=mdettweiler [2013-06-19 08:06:32] 909*2^1247055-1 is not prime. Res64: 82D2A2DE5B959606 Time : 0.0 sec. user=vaughan [2013-06-19 08:08:40] 743*2^1247054-1 is not prime. Res64: A2B322F87E0CBB4B Time : 0.0 sec. user=mdettweiler [2013-06-19 08:15:12] 921*2^1247055-1 is not prime. Res64: 50468D840852B614 Time : 0.0 sec. user=mdettweiler [2013-06-19 08:24:25] 735*2^1247056-1 is not prime. Res64: AE7AC1FDC27F7BFB Time : 0.0 sec. user=mdettweiler [2013-06-19 08:24:25] 957*2^1247056-1 is not prime. Res64: 5CD62A3757182189 Time : 0.0 sec. user=mdettweiler [2013-06-19 08:43:07] 983*2^1247056-1 is not prime. Res64: 1E4FB9F42625D44D Time : 0.0 sec. user=mdettweiler [2013-06-19 08:43:07] 649*2^1247057-1 is not prime. Res64: 68B2FC20650E1B25 Time : 0.0 sec. user=mdettweiler [2013-06-19 08:52:50] 657*2^1247056-1 is not prime. Res64: 1565F07A4B96BA4B Time : 0.0 sec. user=vaughan [2013-06-19 08:52:53] 965*2^1247056-1 is not prime. Res64: 44076E1790A577A9 Time : 0.0 sec. user=mdettweiler [2013-06-19 09:01:05] 801*2^1247057-1 is not prime. Res64: DD14E5F2D2AE3484 Time : 0.0 sec. user=mdettweiler [2013-06-19 09:10:17] 627*2^1247058-1 is not prime. Res64: 49CF3BB97EE73FF1 Time : 0.0 sec. user=mdettweiler [2013-06-19 09:10:18] 657*2^1247058-1 is not prime. Res64: 8933C8849FED3755 Time : 0.0 sec. user=mdettweiler [2013-06-19 09:27:53] 747*2^1247058-1 is not prime. Res64: 779A18BDC762E779 Time : 0.0 sec. user=mdettweiler [2013-06-19 09:27:53] 755*2^1247058-1 is not prime. Res64: 7AB5EDAF63FDA536 Time : 0.0 sec. user=vaughan [2013-06-19 09:32:12] 663*2^1247058-1 is not prime. Res64: 1B427619E2CEC00E Time : 0.0 sec. user=mdettweiler [2013-06-19 09:39:21] 915*2^1247057-1 is not prime. Res64: ADCB42D02514396E Time : 0.0 sec. user=mdettweiler [2013-06-19 09:46:28] 821*2^1247058-1 is not prime. Res64: 3CC919A0C07DBFF6 Time : 0.0 sec. user=mdettweiler [2013-06-19 09:46:28] 825*2^1247058-1 is not prime. Res64: 76FA139843281EE3 Time : 0.0 sec. user=mdettweiler [2013-06-19 09:57:07] 601*2^1247059-1 is not prime. Res64: 138B27BDB4F3E06A Time : 0.0 sec. user=mdettweiler [2013-06-19 09:57:08] 619*2^1247059-1 is not prime. Res64: 3061CB6F17FDF10F Time : 0.0 sec. user=mdettweiler [2013-06-19 10:04:52] 733*2^1247059-1 is not prime. Res64: 803FAD74F59AA4DC Time : 0.0 sec. user=mdettweiler [2013-06-19 10:15:02] 745*2^1247059-1 is not prime. Res64: F94699B88B1C14CE Time : 0.0 sec. user=vaughan [2013-06-19 10:16:19] 927*2^1247058-1 is not prime. Res64: F4064B2083816DC1 Time : 0.0 sec. user=mdettweiler [2013-06-19 10:33:59] 853*2^1247059-1 is not prime. Res64: D05406ADE169A7AC Time : 0.0 sec. user=mdettweiler [2013-06-19 10:39:11] 735*2^1247059-1 is not prime. Res64: 5FBA23A4BCB68A67 Time : 0.0 sec. user=mdettweiler [2013-06-19 10:56:42] 669*2^1247060-1 is not prime. Res64: 8E4CC193D3681326 Time : 0.0 sec. user=mdettweiler [2013-06-19 10:56:42] 767*2^1247060-1 is not prime. Res64: DB120DE1F9789E95 Time : 0.0 sec. user=vaughan [2013-06-19 11:00:49] 975*2^1247059-1 is not prime. Res64: 5CB6691BAD2343E4 Time : 0.0 sec. user=mdettweiler [2013-06-19 11:10:58] 797*2^1247060-1 is not prime. Res64: BD85E644CDECB8EB Time : 0.0 sec. user=mdettweiler [2013-06-19 11:10:59] 813*2^1247060-1 is not prime. Res64: D557C5DEF334FB4E Time : 0.0 sec. user=mdettweiler [2013-06-19 11:15:18] 893*2^1247060-1 is not prime. Res64: 2EE50D8DBDD4A0A4 Time : 0.0 sec. user=mdettweiler [2013-06-19 11:29:20] 649*2^1247061-1 is not prime. Res64: CF3489E01F86B4D0 Time : 0.0 sec. user=vaughan [2013-06-19 11:45:20] 983*2^1247060-1 is not prime. Res64: 4C4104651E3E49A1 Time : 0.0 sec. user=mdettweiler [2013-06-19 11:48:46] 657*2^1247062-1 is not prime. Res64: B883AB6F48DD9A83 Time : 0.0 sec. user=mdettweiler [2013-06-19 11:55:31] 977*2^1247060-1 is not prime. Res64: CC86E222A3F3AB00 Time : 0.0 sec. user=mdettweiler [2013-06-19 12:13:43] 723*2^1247062-1 is not prime. Res64: DCC8F8479A6828C9 Time : 0.0 sec. user=vaughan [2013-06-19 12:24:33] 713*2^1247062-1 is not prime. Res64: 8E649B9B7E97B616 Time : 0.0 sec. user=mdettweiler [2013-06-19 12:39:22] 737*2^1247062-1 is not prime. Res64: 500E9F0AE056BDD4 Time : 0.0 sec. user=mdettweiler [2013-06-19 12:45:06] 761*2^1247062-1 is not prime. Res64: ED5D675DBFF3D594 Time : 0.0 sec. user=mdettweiler [2013-06-19 12:45:06] 825*2^1247062-1 is not prime. Res64: B1C7F285644ECDBB Time : 0.0 sec. user=mdettweiler [2013-06-19 13:03:11] 833*2^1247062-1 is not prime. Res64: AC3E893BD0C879AD Time : 0.0 sec. user=mdettweiler [2013-06-19 13:03:29] 897*2^1247062-1 is not prime. Res64: 36B78F4B1067E843 Time : 0.0 sec. user=vaughan [2013-06-19 13:03:30] 743*2^1247062-1 is not prime. Res64: 492BA91F888D1FD9 Time : 0.0 sec. user=mdettweiler [2013-06-19 13:28:14] 957*2^1247062-1 is not prime. Res64: 5A8DECFB4D0C2C13 Time : 0.0 sec. user=vaughan [2013-06-19 13:48:07] 947*2^1247062-1 is not prime. Res64: 0F478D37C9CF4141 Time : 0.0 sec. user=mdettweiler [2013-06-19 13:51:51] 615*2^1247063-1 is not prime. Res64: 1961883C567CCF08 Time : 0.0 sec. user=mdettweiler [2013-06-19 13:57:53] 663*2^1247063-1 is not prime. Res64: E20E5E6CBCDB634F Time : 0.0 sec. user=mdettweiler [2013-06-19 13:57:54] 679*2^1247063-1 is not prime. Res64: 1A0803A55DD8EFA1 Time : 0.0 sec. user=mdettweiler [2013-06-19 14:09:24] 705*2^1247063-1 is not prime. Res64: 2E78653A93D637B9 Time : 0.0 sec. user=mdettweiler [2013-06-19 14:09:25] 739*2^1247063-1 is not prime. Res64: 2761AC3C74353EFC Time : 0.0 sec. user=mdettweiler [2013-06-19 14:15:44] 943*2^1247063-1 is not prime. Res64: 1493A3D6D76FF931 Time : 0.0 sec. user=mdettweiler [2013-06-19 14:27:22] 605*2^1247064-1 is not prime. Res64: 5866D59425168081 Time : 0.0 sec. user=mdettweiler [2013-06-19 14:27:22] 705*2^1247064-1 is not prime. Res64: FF11A9466E669A7A Time : 0.0 sec. user=mdettweiler [2013-06-19 14:41:01] 955*2^1247063-1 is not prime. Res64: D01A20554CB87026 Time : 0.0 sec. user=mdettweiler [2013-06-19 14:45:27] 903*2^1247064-1 is not prime. Res64: 22E45C38864FA2BC Time : 0.0 sec. user=mdettweiler [2013-06-19 14:58:42] 705*2^1247065-1 is not prime. Res64: 09CB761876493F72 Time : 0.0 sec. user=vaughan [2013-06-19 15:06:18] 875*2^1247064-1 is not prime. Res64: A2C8FF4F85C2DC9B Time : 0.0 sec. user=mdettweiler [2013-06-19 15:12:53] 649*2^1247065-1 is not prime. Res64: 07FA94B5C12D7598 Time : 0.0 sec. user=mdettweiler [2013-06-19 15:30:24] 937*2^1247065-1 is not prime. Res64: B417F8861B7893A4 Time : 0.0 sec. user=mdettweiler [2013-06-19 15:30:24] 633*2^1247066-1 is not prime. Res64: 122813DD0447013A Time : 0.0 sec. user=mdettweiler [2013-06-19 15:36:02] 789*2^1247065-1 is not prime. Res64: 28B4F8A700488D9D Time : 0.0 sec. user=mdettweiler [2013-06-19 15:48:02] 657*2^1247066-1 is not prime. Res64: E2040F6BC6A510CB Time : 0.0 sec. user=mdettweiler [2013-06-19 15:48:03] 705*2^1247066-1 is not prime. Res64: 9D018063BE064E9B Time : 0.0 sec. user=vaughan [2013-06-19 15:50:53] 915*2^1247065-1 is not prime. Res64: 12D6E6747069F196 Time : 0.0 sec. user=mdettweiler [2013-06-19 15:53:47] 755*2^1247066-1 is not prime. Res64: DCF5487E0E2EF6EB Time : 0.0 sec. user=mdettweiler [2013-06-19 15:53:47] 843*2^1247066-1 is not prime. Res64: 2DED992B756FFF66 Time : 0.0 sec. user=mdettweiler [2013-06-19 16:07:07] 971*2^1247066-1 is not prime. Res64: 1C1E852E7BE59BC8 Time : 0.0 sec. user=mdettweiler [2013-06-19 16:12:08] 685*2^1247067-1 is not prime. Res64: 4F223F5AC4891124 Time : 0.0 sec. user=vaughan [2013-06-19 16:30:12] 643*2^1247067-1 is not prime. Res64: 5240226E66C9286B Time : 0.0 sec. user=mdettweiler [2013-06-19 16:32:39] 601*2^1247067-1 is not prime. Res64: 10D93B0B029875FC Time : 0.0 sec. user=mdettweiler [2013-06-19 16:50:55] 781*2^1247067-1 is not prime. Res64: 1AED53944AE3EE0B Time : 0.0 sec. user=mdettweiler [2013-06-19 16:50:55] 861*2^1247067-1 is not prime. Res64: AF1C1E3A3F47DD9C Time : 0.0 sec. user=mdettweiler [2013-06-19 16:58:21] 735*2^1247067-1 is not prime. Res64: 1F32F3BDF75508C4 Time : 0.0 sec. user=mdettweiler [2013-06-19 17:08:57] 909*2^1247067-1 is not prime. Res64: 33024ECB0720671C Time : 0.0 sec. user=mdettweiler [2013-06-19 17:08:58] 605*2^1247068-1 is not prime. Res64: 019DE432B1D0AD6C Time : 0.0 sec. user=vaughan [2013-06-19 17:09:26] 741*2^1247067-1 is not prime. Res64: D4DA37E3FF717B53 Time : 0.0 sec. user=mdettweiler [2013-06-19 17:16:18] 665*2^1247068-1 is not prime. Res64: 2403A82DF06BE84F Time : 0.0 sec. user=mdettweiler [2013-06-19 17:16:18] 755*2^1247068-1 is not prime. Res64: 12D5518F81C4A8E0 Time : 0.0 sec. user=mdettweiler [2013-06-19 17:26:59] 819*2^1247068-1 is not prime. Res64: 4C8EB60B19BD2296 Time : 0.0 sec. user=mdettweiler [2013-06-19 17:26:59] 839*2^1247068-1 is not prime. Res64: 4E39E446E833D93D Time : 0.0 sec. user=mdettweiler [2013-06-19 17:35:12] 933*2^1247068-1 is not prime. Res64: 4BA019A432E046C9 Time : 0.0 sec. user=mdettweiler [2013-06-19 17:44:54] 621*2^1247069-1 is not prime. Res64: 98ACC44DBC50C4AB Time : 0.0 sec. user=mdettweiler [2013-06-19 17:44:54] 721*2^1247069-1 is not prime. Res64: 32B92CEB25CE50F8 Time : 0.0 sec. user=vaughan [2013-06-19 17:53:31] 923*2^1247068-1 is not prime. Res64: A6A519DBCCBC4C91 Time : 0.0 sec. user=mdettweiler [2013-06-19 18:02:58] 775*2^1247069-1 is not prime. Res64: 19B5ABF66D683DF0 Time : 0.0 sec. user=mdettweiler [2013-06-19 18:11:34] 999*2^1247068-1 is not prime. Res64: B5F359E0E52AE73D Time : 0.0 sec. user=mdettweiler [2013-06-19 18:27:55] 837*2^1247069-1 is not prime. Res64: F3B7E0D506F1EA23 Time : 0.0 sec. user=vaughan [2013-06-19 18:37:52] 889*2^1247069-1 is not prime. Res64: D5566AA3D28B639E Time : 0.0 sec. user=mdettweiler [2013-06-19 18:45:54] 925*2^1247069-1 is not prime. Res64: 3C7F7CCE86223376 Time : 0.0 sec. user=mdettweiler [2013-06-19 18:45:54] 949*2^1247069-1 is not prime. Res64: D836FE1501ACA01E Time : 0.0 sec. user=mdettweiler [2013-06-19 19:04:04] 717*2^1247070-1 is not prime. Res64: D33271E861FDADB1 Time : 0.0 sec. user=mdettweiler [2013-06-19 19:04:04] 789*2^1247071-1 is not prime. Res64: D9C2962FB086ACFA Time : 0.0 sec. user=vaughan [2013-06-19 19:22:00] 987*2^1247069-1 is not prime. Res64: DA7C1F6C9F2D71E4 Time : 0.0 sec. user=mdettweiler [2013-06-19 19:31:41] 765*2^1247070-1 is not prime. Res64: D4E85E18C0A59DA2 Time : 0.0 sec. user=mdettweiler [2013-06-19 19:44:38] 855*2^1247071-1 is not prime. Res64: 127E9B5D6AD5C426 Time : 0.0 sec. user=vaughan [2013-06-19 20:00:57] 861*2^1247071-1 is not prime. Res64: 4A2C17C83EDC5508 Time : 0.0 sec. user=mdettweiler [2013-06-19 20:13:42] 999*2^1247071-1 is not prime. Res64: 42E582527D0B5D1D Time : 0.0 sec. user=mdettweiler [2013-06-19 20:13:43] 635*2^1247072-1 is not prime. Res64: 6063B48D21E9D91F Time : 0.0 sec. user=mdettweiler [2013-06-19 20:31:36] 625*2^1247073-1 is not prime. Res64: 9ACA639B624D0870 Time : 0.0 sec. user=mdettweiler [2013-06-19 20:31:37] 691*2^1247073-1 is not prime. Res64: B56D495B1BAD3DC6 Time : 0.0 sec. user=vaughan [2013-06-19 20:41:01] 855*2^1247072-1 is not prime. Res64: C1AF3EB443817D38 Time : 0.0 sec. user=mdettweiler [2013-06-19 20:42:31] 699*2^1247073-1 is not prime. Res64: BD46F0C83223387C Time : 0.0 sec. user=mdettweiler [2013-06-19 20:42:32] 705*2^1247073-1 is not prime. Res64: D51E38EA35BF1CA8 Time : 0.0 sec. user=mdettweiler [2013-06-19 20:49:41] 861*2^1247073-1 is not prime. Res64: 2BCE7F7A5E4847EF Time : 0.0 sec. user=mdettweiler [2013-06-19 20:49:41] 871*2^1247073-1 is not prime. Res64: 3713A3C742046DE1 Time : 0.0 sec. user=mdettweiler [2013-06-19 21:00:34] 891*2^1247073-1 is not prime. Res64: 8C36365BF58D5568 Time : 0.0 sec. user=mdettweiler [2013-06-19 21:08:33] 991*2^1247073-1 is not prime. Res64: F34DF8E9AEDC9AF5 Time : 0.0 sec. user=mdettweiler [2013-06-19 21:08:34] 687*2^1247074-1 is not prime. Res64: B38DCE0579F5B6E9 Time : 0.0 sec. user=mdettweiler [2013-06-19 21:26:57] 731*2^1247074-1 is not prime. Res64: B59F9BBC2C681CF8 Time : 0.0 sec. user=mdettweiler [2013-06-19 21:40:56] 895*2^1247073-1 is not prime. Res64: 1596964CFD663EF6 Time : 0.0 sec. user=vaughan [2013-06-19 21:58:42] 881*2^1247074-1 is not prime. Res64: 84D1E693D05A2230 Time : 0.0 sec. user=mdettweiler [2013-06-19 22:04:36] 773*2^1247074-1 is not prime. Res64: 4915FAE252624787 Time : 0.0 sec. user=mdettweiler [2013-06-19 22:22:40] 903*2^1247074-1 is not prime. Res64: 9366F911E7D3A96E Time : 0.0 sec. user=mdettweiler [2013-06-19 22:22:40] 915*2^1247074-1 is not prime. Res64: 84192CC3D3FD7819 Time : 0.0 sec. user=mdettweiler [2013-06-19 22:25:39] 917*2^1247074-1 is not prime. Res64: E560AF05DCE3FC41 Time : 0.0 sec. user=mdettweiler [2013-06-19 22:41:26] 993*2^1247074-1 is not prime. Res64: 4E607BDD61433B59 Time : 0.0 sec. user=mdettweiler [2013-06-19 22:41:27] 655*2^1247075-1 is not prime. Res64: B2A06E64999B749B Time : 0.0 sec. user=vaughan [2013-06-19 22:43:14] 891*2^1247074-1 is not prime. Res64: FDE7517434F8EB68 Time : 0.0 sec. user=mdettweiler [2013-06-19 22:56:28] 975*2^1247074-1 is not prime. Res64: 6588C4F5219B4B17 Time : 0.0 sec. user=mdettweiler [2013-06-19 22:59:51] 799*2^1247075-1 is not prime. Res64: 8CCFE2C42299B759 Time : 0.0 sec. user=mdettweiler [2013-06-19 23:14:30] 765*2^1247076-1 is not prime. Res64: EE31125574BB0635 Time : 0.0 sec. user=mdettweiler [2013-06-19 23:14:30] 845*2^1247076-1 is not prime. Res64: ED32C2FD7776239D Time : 0.0 sec. user=vaughan [2013-06-19 23:22:14] 675*2^1247076-1 is not prime. Res64: 76DEA79E54D01C36 Time : 0.0 sec. user=mdettweiler [2013-06-19 23:32:26] 909*2^1247076-1 is not prime. Res64: 82E5A52AECA961A8 Time : 0.0 sec. user=mdettweiler [2013-06-19 23:32:26] 601*2^1247077-1 is not prime. Res64: 1FECD6BAF1A3A1AB Time : 0.0 sec. user=mdettweiler [2013-06-19 23:39:34] 889*2^1247075-1 is not prime. Res64: 56B0BEC59498020D Time : 0.0 sec. user=mdettweiler [2013-06-19 23:50:18] 645*2^1247077-1 is not prime. Res64: 49C93600CAF1AC3E Time : 0.0 sec. user=mdettweiler [2013-06-19 23:50:18] 829*2^1247077-1 is not prime. Res64: FA5AF8B05CA983E1 Time : 0.0 sec. user=mdettweiler [2013-06-19 23:58:13] 945*2^1247077-1 is not prime. Res64: A864A016BDA945D4 Time : 0.0 sec. user=mdettweiler [2013-06-19 23:58:13] 997*2^1247077-1 is not prime. Res64: 00264CE5C4243303 Time : 0.0 sec.