user=mdettweiler [2012-01-28 00:05:27] 969*2^1002988-1 is not prime. Res64: DC713E9E6D6353A6 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:05:28] 675*2^1002989-1 is not prime. Res64: 4DFD20699A07D8C5 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:06:03] 635*2^1002994-1 is not prime. Res64: 7B23647FDD0F257B Time : 0.0 sec. user=mdettweiler [2012-01-28 00:06:03] 675*2^1002994-1 is not prime. Res64: F6A0037572014ED5 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:06:38] 741*2^1002994-1 is not prime. Res64: 77FF6AF72593014C Time : 0.0 sec. user=mdettweiler [2012-01-28 00:06:39] 825*2^1002994-1 is not prime. Res64: 88291F536DA96CC4 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:06:56] 999*2^1002993-1 is not prime. Res64: D0544155B99E5761 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:06:58] 623*2^1002994-1 is not prime. Res64: 86BF93ADAEE47334 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:15:53] 833*2^1002994-1 is not prime. Res64: 207D0C671531F6B4 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:15:58] 861*2^1002994-1 is not prime. Res64: 92853C87FA882E49 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:25:57] 609*2^1002995-1 is not prime. Res64: DA68878364DC0879 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:25:58] 685*2^1002995-1 is not prime. Res64: FE371380C210CF54 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:26:32] 699*2^1002995-1 is not prime. Res64: 8A69272B25515CD5 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:26:33] 735*2^1002995-1 is not prime. Res64: 6994D698B5A4A320 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:26:50] 741*2^1002995-1 is not prime. Res64: C22A50B6C4D36470 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:26:51] 843*2^1002995-1 is not prime. Res64: 9A00D53E22530D7E Time : 0.0 sec. user=mdettweiler [2012-01-28 00:35:51] 855*2^1002995-1 is not prime. Res64: 9BE2DDBB3BFDE899 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:35:51] 885*2^1002995-1 is not prime. Res64: 3541ECB422AA841F Time : 0.0 sec. user=mdettweiler [2012-01-28 00:39:29] 785*2^1002992-1 is not prime. Res64: 56005ACE72728B85 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:39:29] 797*2^1002992-1 is not prime. Res64: 9448EB4E0E046027 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:46:30] 695*2^1002996-1 is not prime. Res64: FCE2454569028F18 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:46:30] 707*2^1002996-1 is not prime. Res64: 39FFDAD6DEA2D141 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:46:45] 845*2^1002996-1 is not prime. Res64: AFA95552E3BD0A69 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:46:45] 857*2^1002996-1 is not prime. Res64: 075D2E311ABC7797 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:48:09] 939*2^1002995-1 is not prime. Res64: 97785DE2358CEAB3 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:48:09] 653*2^1002996-1 is not prime. Res64: 95461F32A702BAEC Time : 0.0 sec. user=mdettweiler [2012-01-28 00:56:52] 747*2^1002993-1 is not prime. Res64: 8CD8271E7613D163 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:56:52] 877*2^1002993-1 is not prime. Res64: 7AE623CEEA387E4B Time : 0.0 sec. user=mdettweiler [2012-01-28 00:58:06] 905*2^1002996-1 is not prime. Res64: CB10EDEECEDFA7C1 Time : 0.0 sec. user=mdettweiler [2012-01-28 00:58:06] 945*2^1002996-1 is not prime. Res64: 10A8176A66BF1041 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:06:35] 747*2^1002997-1 is not prime. Res64: FBA9775E6BE74FB7 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:06:37] 829*2^1002997-1 is not prime. Res64: 40086E52BC6BA35A Time : 0.0 sec. user=mdettweiler [2012-01-28 01:08:13] 743*2^1002998-1 is not prime. Res64: 2EDE6F91A7AFE657 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:08:14] 893*2^1002998-1 is not prime. Res64: 852AF46C26FA99F5 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:11:19] 915*2^1002997-1 is not prime. Res64: BAA664FEA4C914CE Time : 0.0 sec. user=mdettweiler [2012-01-28 01:11:20] 997*2^1002997-1 is not prime. Res64: 96CC35F787E3DA3E Time : 0.0 sec. user=mdettweiler [2012-01-28 01:20:20] 987*2^1002998-1 is not prime. Res64: 562B0A055B4608C0 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:20:20] 615*2^1002999-1 is not prime. Res64: E5428FDB6328FE5E Time : 0.0 sec. user=mdettweiler [2012-01-28 01:21:18] 881*2^1002994-1 is not prime. Res64: 61FB194EC9C14098 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:21:18] 903*2^1002994-1 is not prime. Res64: 1033E50D08DFF79E Time : 0.0 sec. user=mdettweiler [2012-01-28 01:26:35] 703*2^1002999-1 is not prime. Res64: 48EBA8150B60A681 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:26:35] 751*2^1002999-1 is not prime. Res64: 9925EEC25A36054B Time : 0.0 sec. user=mdettweiler [2012-01-28 01:28:06] 831*2^1002999-1 is not prime. Res64: 94044095572484D2 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:28:06] 853*2^1002999-1 is not prime. Res64: 105F40A8DC53FAA3 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:31:14] 873*2^1002999-1 is not prime. Res64: 54244951C1C258EE Time : 0.0 sec. user=mdettweiler [2012-01-28 01:31:14] 653*2^1003000-1 is not prime. Res64: 5C744031C3AB5B53 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:40:15] 699*2^1003000-1 is not prime. Res64: EA46D0627A4E934E Time : 0.0 sec. user=mdettweiler [2012-01-28 01:40:15] 713*2^1003000-1 is not prime. Res64: 1C860ADE21BF4A39 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:46:32] 843*2^1003000-1 is not prime. Res64: 69F827FA3285820C Time : 0.0 sec. user=mdettweiler [2012-01-28 01:46:32] 849*2^1003000-1 is not prime. Res64: 70CED926039A1CF6 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:50:17] 867*2^1003001-1 is not prime. Res64: 4FDC8B0EE7D1B1EC Time : 0.0 sec. user=mdettweiler [2012-01-28 01:50:18] 967*2^1003001-1 is not prime. Res64: B53CFE3F63C54764 Time : 0.0 sec. user=mdettweiler [2012-01-28 01:53:25] 997*2^1003001-1 is not prime. Res64: 998BF35277C91A0D Time : 0.0 sec. user=mdettweiler [2012-01-28 01:53:25] 747*2^1003002-1 is not prime. Res64: 245C8FC9EBBFB67D Time : 0.0 sec. user=mdettweiler [2012-01-28 02:00:10] 797*2^1003002-1 is not prime. Res64: 4394289679FC84DF Time : 0.0 sec. user=mdettweiler [2012-01-28 02:00:11] 837*2^1003002-1 is not prime. Res64: FB523C1FF52B3F13 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:03:22] 947*2^1002996-1 is not prime. Res64: B34A28F6F7500EFD Time : 0.0 sec. user=mdettweiler [2012-01-28 02:03:24] 615*2^1002997-1 is not prime. Res64: 1DA50C3CC119EA92 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:06:28] 867*2^1003002-1 is not prime. Res64: 0284DBE9E0BF9322 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:06:28] 887*2^1003002-1 is not prime. Res64: 3CAC6C3492F2596F Time : 0.0 sec. user=mdettweiler [2012-01-28 02:10:16] 735*2^1003003-1 is not prime. Res64: C7A699130FEAD69A Time : 0.0 sec. user=mdettweiler [2012-01-28 02:10:17] 783*2^1003003-1 is not prime. Res64: 70D74447BF9C6C43 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:15:35] 945*2^1003003-1 is not prime. Res64: E226E2C12C0550DF Time : 0.0 sec. user=mdettweiler [2012-01-28 02:15:35] 899*2^1003004-1 is not prime. Res64: E63810053D1F2A31 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:22:41] 953*2^1003004-1 is not prime. Res64: 77F545ED6CE48B40 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:22:41] 675*2^1003005-1 is not prime. Res64: 70B61C172F36E614 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:26:21] 741*2^1003005-1 is not prime. Res64: 959FD5AFA75B4EFD Time : 0.0 sec. user=mdettweiler [2012-01-28 02:26:21] 787*2^1003005-1 is not prime. Res64: B7C224CE04727930 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:29:13] 921*2^1002998-1 is not prime. Res64: 648DA0E96E553F6A Time : 0.0 sec. user=mdettweiler [2012-01-28 02:29:13] 951*2^1002998-1 is not prime. Res64: 28D186D71CA8B4EC Time : 0.0 sec. user=mdettweiler [2012-01-28 02:30:11] 795*2^1003005-1 is not prime. Res64: EED5775270E3E1F9 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:30:12] 623*2^1003006-1 is not prime. Res64: AD7A77F241CCC109 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:35:29] 713*2^1003006-1 is not prime. Res64: 9BC936CCC4D0D393 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:35:30] 717*2^1003006-1 is not prime. Res64: 4D6A9D28700B6E5F Time : 0.0 sec. user=mdettweiler [2012-01-28 02:36:50] 813*2^1003000-1 is not prime. Res64: 466F64250D2E78B7 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:36:51] 819*2^1003000-1 is not prime. Res64: 701B92AD36342873 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:44:59] 843*2^1003006-1 is not prime. Res64: BC3C710548FCC9A6 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:44:59] 957*2^1003006-1 is not prime. Res64: A060C84F2BCFCED3 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:48:37] 983*2^1003006-1 is not prime. Res64: 6E3871E2F2EFF18C Time : 0.0 sec. user=mdettweiler [2012-01-28 02:48:38] 615*2^1003007-1 is not prime. Res64: DDE92678B22F6C80 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:52:30] 841*2^1003007-1 is not prime. Res64: 6A2AEFC952B809F8 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:52:30] 913*2^1003007-1 is not prime. Res64: A98F88560BA7F377 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:55:26] 627*2^1003008-1 is not prime. Res64: D15033D6E54BCBC3 Time : 0.0 sec. user=mdettweiler [2012-01-28 02:55:26] 669*2^1003008-1 is not prime. Res64: AAD5278997941312 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:07:22] 875*2^1003008-1 is not prime. Res64: 8E4153C93EACD364 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:07:23] 909*2^1003008-1 is not prime. Res64: 10FBF1168C47B5E1 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:08:32] 625*2^1003009-1 is not prime. Res64: 77A125CF95B8BF55 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:08:35] 661*2^1003009-1 is not prime. Res64: D00034D04FA5B6BE Time : 0.0 sec. user=mdettweiler [2012-01-28 03:12:23] 751*2^1003009-1 is not prime. Res64: 8A3D3D1704567277 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:12:24] 765*2^1003009-1 is not prime. Res64: D59C5A737220E5C4 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:15:26] 769*2^1003009-1 is not prime. Res64: 0FA2DF88F62DAA79 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:15:27] 801*2^1003009-1 is not prime. Res64: 88E92D59BFBF25E5 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:19:20] 711*2^1003005-1 is not prime. Res64: 271A6A74D70F3E16 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:19:20] 727*2^1003005-1 is not prime. Res64: 06A91C60BEA949C3 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:29:46] 895*2^1003009-1 is not prime. Res64: 4D9EFE579A8F96EE Time : 0.0 sec. user=mdettweiler [2012-01-28 03:29:46] 931*2^1003009-1 is not prime. Res64: EBB06F17F9F54A9C Time : 0.0 sec. user=mdettweiler [2012-01-28 03:32:35] 755*2^1003010-1 is not prime. Res64: 617ACEB785DB4148 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:32:36] 783*2^1003010-1 is not prime. Res64: 228EE1CFC1F04F70 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:33:16] 939*2^1003009-1 is not prime. Res64: 114FC1ED3432ED3F Time : 0.0 sec. user=mdettweiler [2012-01-28 03:33:16] 975*2^1003009-1 is not prime. Res64: 908AB8081FFB7C11 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:35:23] 851*2^1003010-1 is not prime. Res64: 51038CB202001685 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:35:24] 867*2^1003010-1 is not prime. Res64: 00DC944F7800FF35 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:44:59] 703*2^1003007-1 is not prime. Res64: 8E62E678998A8582 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:45:00] 735*2^1003007-1 is not prime. Res64: D439B76530CF5080 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:49:42] 657*2^1003012-1 is not prime. Res64: B8C7AD3CD7FF7086 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:49:42] 735*2^1003012-1 is not prime. Res64: C191E0EF8589F48C Time : 0.0 sec. user=mdettweiler [2012-01-28 03:52:18] 735*2^1003008-1 is not prime. Res64: B489A3D4ABEA0BF6 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:52:18] 795*2^1003008-1 is not prime. Res64: B990D8ECAA647639 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:52:32] 779*2^1003012-1 is not prime. Res64: 38281F056D3FDE46 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:52:32] 813*2^1003012-1 is not prime. Res64: 5DB3BA6700256A27 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:53:09] 873*2^1003012-1 is not prime. Res64: EF33E5460B841E53 Time : 0.0 sec. user=mdettweiler [2012-01-28 03:53:09] 887*2^1003012-1 is not prime. Res64: 3E5B5EB45851180B Time : 0.0 sec. user=mdettweiler [2012-01-28 03:57:41] 923*2^1003012-1 is not prime. Res64: 8C76531450BCBD6A Time : 0.0 sec. user=mdettweiler [2012-01-28 03:57:41] 607*2^1003013-1 is not prime. Res64: 06ABADE3D3E9E539 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:11:54] 981*2^1003013-1 is not prime. Res64: 9F23070316EE6983 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:11:56] 615*2^1003014-1 is not prime. Res64: D978B03F764B73E5 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:12:32] 747*2^1003014-1 is not prime. Res64: B841D442830E360D Time : 0.0 sec. user=mdettweiler [2012-01-28 04:12:33] 755*2^1003014-1 is not prime. Res64: 9C6AE07CF77F0203 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:13:03] 825*2^1003014-1 is not prime. Res64: 5AE392E85790566E Time : 0.0 sec. user=mdettweiler [2012-01-28 04:13:04] 833*2^1003014-1 is not prime. Res64: 5FA061E1AA83D387 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:19:53] 885*2^1003014-1 is not prime. Res64: D4AEDF4B280DCFB0 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:19:53] 927*2^1003014-1 is not prime. Res64: A249905B488F6A4C Time : 0.0 sec. user=mdettweiler [2012-01-28 04:32:30] 663*2^1003015-1 is not prime. Res64: 8A20EEBC0C251220 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:32:32] 723*2^1003015-1 is not prime. Res64: 265E559FCF076E94 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:33:00] 759*2^1003015-1 is not prime. Res64: 40BACB58FC603E03 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:33:00] 895*2^1003015-1 is not prime. Res64: A6DF102C1D64E8A7 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:34:20] 947*2^1003014-1 is not prime. Res64: FBB1883367F4C808 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:34:21] 649*2^1003015-1 is not prime. Res64: 5E96F99DD9B4BD27 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:42:05] 933*2^1003015-1 is not prime. Res64: 60D5476AA61413F1 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:42:05] 717*2^1003016-1 is not prime. Res64: D7DC297F2E5E55B6 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:43:00] 923*2^1003010-1 is not prime. Res64: 3F4AC629D62858F4 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:43:01] 639*2^1003012-1 is not prime. Res64: 0F1E07B2353AFDBA Time : 0.0 sec. user=mdettweiler [2012-01-28 04:52:36] 815*2^1003016-1 is not prime. Res64: 337A0233E5E16B54 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:52:36] 869*2^1003016-1 is not prime. Res64: 873DC42BCEC474EE Time : 0.0 sec. user=mdettweiler [2012-01-28 04:54:20] 747*2^1003017-1 is not prime. Res64: 57B02B25B415191C Time : 0.0 sec. user=mdettweiler [2012-01-28 04:54:20] 777*2^1003017-1 is not prime. Res64: 9AC787C081F545A4 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:55:11] 957*2^1003016-1 is not prime. Res64: 7AAE5B9A36ADED41 Time : 0.0 sec. user=mdettweiler [2012-01-28 04:55:11] 691*2^1003017-1 is not prime. Res64: DDB03C3F06989A9E Time : 0.0 sec. user=mdettweiler [2012-01-28 05:00:09] 795*2^1003013-1 is not prime. Res64: D193B514D98FBF64 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:00:11] 855*2^1003013-1 is not prime. Res64: BAF28B82D7F45C84 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:02:01] 805*2^1003017-1 is not prime. Res64: FB4D8E2C6ACEA2B8 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:02:02] 807*2^1003017-1 is not prime. Res64: E0458CE39B2BBB9C Time : 0.0 sec. user=mdettweiler [2012-01-28 05:07:31] 657*2^1003014-1 is not prime. Res64: BE3A8A10256CFC88 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:07:34] 693*2^1003014-1 is not prime. Res64: B619538399561BC0 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:14:14] 623*2^1003018-1 is not prime. Res64: 15753897907E6F8F Time : 0.0 sec. user=mdettweiler [2012-01-28 05:14:15] 681*2^1003018-1 is not prime. Res64: 71E8791EDA777CC0 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:15:07] 705*2^1003018-1 is not prime. Res64: ABE314E755395349 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:15:07] 801*2^1003018-1 is not prime. Res64: 86DC90220CCA5048 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:17:05] 937*2^1003017-1 is not prime. Res64: 9C39063C9E2EADC4 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:17:05] 997*2^1003017-1 is not prime. Res64: 54637477AF666704 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:22:03] 703*2^1003019-1 is not prime. Res64: DCDFD2B19349878C Time : 0.0 sec. user=mdettweiler [2012-01-28 05:22:03] 711*2^1003019-1 is not prime. Res64: 3F431C45DF5AB50B Time : 0.0 sec. user=mdettweiler [2012-01-28 05:36:32] 843*2^1003019-1 is not prime. Res64: B9EBE976C2E699FC Time : 0.0 sec. user=mdettweiler [2012-01-28 05:36:32] 969*2^1003019-1 is not prime. Res64: AC539BABDB8A8184 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:37:01] 773*2^1003020-1 is not prime. Res64: F66FC060A754F3CE Time : 0.0 sec. user=mdettweiler [2012-01-28 05:37:01] 795*2^1003020-1 is not prime. Res64: 115C24E6D4B29494 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:37:18] 979*2^1003019-1 is not prime. Res64: 5FC63F7DE257426B Time : 0.0 sec. user=mdettweiler [2012-01-28 05:37:19] 635*2^1003020-1 is not prime. Res64: BE553490EB648C2A Time : 0.0 sec. user=mdettweiler [2012-01-28 05:42:00] 819*2^1003020-1 is not prime. Res64: 701D65AD5715066B Time : 0.0 sec. user=mdettweiler [2012-01-28 05:42:00] 685*2^1003021-1 is not prime. Res64: 2E599C9423FDC6B1 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:56:28] 771*2^1003021-1 is not prime. Res64: 7457468600F415BE Time : 0.0 sec. user=mdettweiler [2012-01-28 05:56:28] 805*2^1003021-1 is not prime. Res64: DB9E35E8F71724AC Time : 0.0 sec. user=mdettweiler [2012-01-28 05:56:52] 819*2^1003021-1 is not prime. Res64: 2BEC27829DB9D80A Time : 0.0 sec. user=mdettweiler [2012-01-28 05:56:52] 855*2^1003021-1 is not prime. Res64: BE985CBE3752D1F2 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:57:09] 861*2^1003021-1 is not prime. Res64: A53596D3737A2EB2 Time : 0.0 sec. user=mdettweiler [2012-01-28 05:57:10] 895*2^1003021-1 is not prime. Res64: 09A24670FDDB7917 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:01:56] 677*2^1003022-1 is not prime. Res64: B8BB3E062A9A5B76 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:01:58] 693*2^1003022-1 is not prime. Res64: 04CADA28FC119BE5 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:06:44] 835*2^1003017-1 is not prime. Res64: DA71B9DBB96B0981 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:06:46] 915*2^1003017-1 is not prime. Res64: 2455182A30594C9C Time : 0.0 sec. user=mdettweiler [2012-01-28 06:16:27] 791*2^1003022-1 is not prime. Res64: 183E6DF550414EF8 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:16:27] 897*2^1003022-1 is not prime. Res64: 1BFEE1BA42D85424 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:17:08] 781*2^1003023-1 is not prime. Res64: F28971CF27AAE42B Time : 0.0 sec. user=mdettweiler [2012-01-28 06:17:09] 901*2^1003023-1 is not prime. Res64: 468551093F086949 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:21:28] 935*2^1003022-1 is not prime. Res64: 5AB0AA7568F69036 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:21:28] 963*2^1003022-1 is not prime. Res64: A1E9A50AECECF883 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:22:57] 735*2^1003019-1 is not prime. Res64: 5F32478CCC793C5F Time : 0.0 sec. user=mdettweiler [2012-01-28 06:22:57] 775*2^1003019-1 is not prime. Res64: E3E7EBD17651A337 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:23:58] 857*2^1003018-1 is not prime. Res64: B9AAE9385BDFE553 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:23:58] 987*2^1003018-1 is not prime. Res64: D65EFEBB01D9A315 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:24:17] 963*2^1003023-1 is not prime. Res64: 9BCCDE930DB23CBA Time : 0.0 sec. user=mdettweiler [2012-01-28 06:24:17] 635*2^1003024-1 is not prime. Res64: 522763911B3B1AF7 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:36:25] 765*2^1003024-1 is not prime. Res64: 0712C390C19E1464 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:36:25] 773*2^1003024-1 is not prime. Res64: 8BDD081EEABFF415 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:37:00] 819*2^1003024-1 is not prime. Res64: C28BFCC84BDA7AFE Time : 0.0 sec. user=mdettweiler [2012-01-28 06:37:01] 675*2^1003025-1 is not prime. Res64: 4D46F05C1C07F57D Time : 0.0 sec. user=mdettweiler [2012-01-28 06:41:23] 715*2^1003025-1 is not prime. Res64: 0108B139E8036A3D Time : 0.0 sec. user=mdettweiler [2012-01-28 06:41:23] 729*2^1003025-1 is not prime. Res64: 4D6BDBA5B6ACE483 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:44:08] 801*2^1003026-1 is not prime. Res64: 31CB3889256F1CF8 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:44:09] 807*2^1003026-1 is not prime. Res64: EA4F086C5B395640 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:56:15] 861*2^1003026-1 is not prime. Res64: 73DAA3B763C2B231 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:56:16] 893*2^1003026-1 is not prime. Res64: 908CC378462443D5 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:56:49] 703*2^1003027-1 is not prime. Res64: 354576012A8CC965 Time : 0.0 sec. user=mdettweiler [2012-01-28 06:56:50] 715*2^1003027-1 is not prime. Res64: E6E6D9E428CAB72A Time : 0.0 sec. user=mdettweiler [2012-01-28 07:01:16] 765*2^1003027-1 is not prime. Res64: 98C61E2541262B49 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:01:17] 805*2^1003027-1 is not prime. Res64: 3E19AB2AC9D9A300 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:06:19] 819*2^1003027-1 is not prime. Res64: 86B6E956DBB16355 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:06:20] 951*2^1003027-1 is not prime. Res64: 23FBF08095182DFA Time : 0.0 sec. user=mdettweiler [2012-01-28 07:19:06] 635*2^1003028-1 is not prime. Res64: 7F0A8DF5A36E06DD Time : 0.0 sec. user=mdettweiler [2012-01-28 07:19:06] 915*2^1003028-1 is not prime. Res64: 9E68EDAFF531549D Time : 0.0 sec. user=mdettweiler [2012-01-28 07:20:49] 961*2^1003027-1 is not prime. Res64: 6A1750BC538D7EC2 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:20:49] 993*2^1003027-1 is not prime. Res64: 4EA63FE4F2FE7873 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:21:53] 695*2^1003024-1 is not prime. Res64: 40312D5749A116FD Time : 0.0 sec. user=mdettweiler [2012-01-28 07:21:53] 723*2^1003024-1 is not prime. Res64: 78F8DF4EDB55E324 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:23:34] 999*2^1003028-1 is not prime. Res64: 5E287C205809180B Time : 0.0 sec. user=mdettweiler [2012-01-28 07:23:34] 601*2^1003029-1 is not prime. Res64: F24203CB04F4219D Time : 0.0 sec. user=mdettweiler [2012-01-28 07:26:23] 615*2^1003029-1 is not prime. Res64: 9D68FE538ADDF7D3 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:26:23] 621*2^1003029-1 is not prime. Res64: 6136CD6FCD80FB81 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:37:51] 897*2^1003025-1 is not prime. Res64: 4C439A3D8C717449 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:37:52] 633*2^1003026-1 is not prime. Res64: F75E3785D156CB96 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:38:50] 657*2^1003026-1 is not prime. Res64: 758ADA55363FC58B Time : 0.0 sec. user=mdettweiler [2012-01-28 07:38:50] 783*2^1003026-1 is not prime. Res64: 33D4A3122BCA20F1 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:39:01] 627*2^1003029-1 is not prime. Res64: DF94786F226A873F Time : 0.0 sec. user=mdettweiler [2012-01-28 07:39:01] 669*2^1003029-1 is not prime. Res64: 13FFB2D44B2606D3 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:40:42] 709*2^1003029-1 is not prime. Res64: 5FAA43C850A8E9E1 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:40:42] 727*2^1003029-1 is not prime. Res64: CFFD209A898C2123 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:43:28] 847*2^1003029-1 is not prime. Res64: 3F89C835FD7B2F6A Time : 0.0 sec. user=mdettweiler [2012-01-28 07:43:28] 889*2^1003029-1 is not prime. Res64: 8C44B3C459EA67E1 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:50:55] 919*2^1003029-1 is not prime. Res64: F82F5F39906B1497 Time : 0.0 sec. user=mdettweiler [2012-01-28 07:50:55] 949*2^1003029-1 is not prime. Res64: 3152B93E79B6EEF4 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:00:37] 601*2^1003031-1 is not prime. Res64: 03CEC8782E1FE564 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:00:41] 649*2^1003031-1 is not prime. Res64: E38691CB7ED88DF6 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:03:24] 711*2^1003031-1 is not prime. Res64: 6614B624BD34B27F Time : 0.0 sec. user=mdettweiler [2012-01-28 08:03:24] 859*2^1003031-1 is not prime. Res64: BFF939914832780B Time : 0.0 sec. user=mdettweiler [2012-01-28 08:03:31] 923*2^1003030-1 is not prime. Res64: FF55623C9500759B Time : 0.0 sec. user=mdettweiler [2012-01-28 08:03:32] 951*2^1003030-1 is not prime. Res64: 1328EF1CBC95ED0C Time : 0.0 sec. user=mdettweiler [2012-01-28 08:10:47] 865*2^1003031-1 is not prime. Res64: 9BB13CC7A5A1E983 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:10:47] 889*2^1003031-1 is not prime. Res64: 7B0E07B150C3E8D8 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:22:59] 909*2^1003031-1 is not prime. Res64: 16A41141F0FADB09 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:22:59] 669*2^1003032-1 is not prime. Res64: E11089C55D8C8F83 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:23:17] 725*2^1003032-1 is not prime. Res64: B6E30B5DD141052B Time : 0.0 sec. user=mdettweiler [2012-01-28 08:23:17] 753*2^1003032-1 is not prime. Res64: C22827E06622596F Time : 0.0 sec. user=mdettweiler [2012-01-28 08:25:57] 797*2^1003032-1 is not prime. Res64: 2344C7106AAC4D72 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:25:57] 915*2^1003032-1 is not prime. Res64: 30ACD0C2EA980628 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:30:53] 639*2^1003033-1 is not prime. Res64: BDE9EC42D10C13D3 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:30:53] 811*2^1003033-1 is not prime. Res64: 9318016EDB7C5411 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:37:02] 741*2^1003029-1 is not prime. Res64: BFE18A832BF0D7D5 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:37:02] 837*2^1003029-1 is not prime. Res64: 2EF214E15EC65C28 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:42:58] 847*2^1003033-1 is not prime. Res64: 7A4270400EAA0C45 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:42:58] 889*2^1003033-1 is not prime. Res64: ED89E31C8B323FA4 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:45:48] 641*2^1003034-1 is not prime. Res64: 975698CFFE21CC43 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:45:49] 645*2^1003034-1 is not prime. Res64: 590AA7EB69EE7C3B Time : 0.0 sec. user=mdettweiler [2012-01-28 08:47:48] 915*2^1003033-1 is not prime. Res64: F5EA151D4D1009E4 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:47:48] 945*2^1003033-1 is not prime. Res64: 3819CB5A68A31C6C Time : 0.0 sec. user=mdettweiler [2012-01-28 08:50:49] 675*2^1003034-1 is not prime. Res64: C13CA686B24EFBCC Time : 0.0 sec. user=mdettweiler [2012-01-28 08:50:49] 677*2^1003034-1 is not prime. Res64: D9A68D815FBB5FA0 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:53:00] 635*2^1003030-1 is not prime. Res64: DA2A21614B67D75C Time : 0.0 sec. user=mdettweiler [2012-01-28 08:53:00] 777*2^1003030-1 is not prime. Res64: 09780F09A672289F Time : 0.0 sec. user=mdettweiler [2012-01-28 08:53:54] 785*2^1003030-1 is not prime. Res64: C6E617B60CC58190 Time : 0.0 sec. user=mdettweiler [2012-01-28 08:53:54] 813*2^1003030-1 is not prime. Res64: 7CC84CD40C4FDA4D Time : 0.0 sec. user=mdettweiler [2012-01-28 09:02:55] 813*2^1003034-1 is not prime. Res64: 31D6676D338039E0 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:02:57] 831*2^1003034-1 is not prime. Res64: 3437989736A12F65 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:07:58] 675*2^1003035-1 is not prime. Res64: 4A35D731AE12098C Time : 0.0 sec. user=mdettweiler [2012-01-28 09:07:58] 853*2^1003035-1 is not prime. Res64: BA4EFE6AD737D4B4 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:10:27] 923*2^1003034-1 is not prime. Res64: F6923E3445726A87 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:10:28] 971*2^1003034-1 is not prime. Res64: B4286A22C7538105 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:15:22] 909*2^1003035-1 is not prime. Res64: 30F638CE5BAC682C Time : 0.0 sec. user=mdettweiler [2012-01-28 09:15:22] 979*2^1003035-1 is not prime. Res64: DD8F157D32CF4828 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:25:13] 989*2^1003036-1 is not prime. Res64: 26EA6E459DCBE36D Time : 0.0 sec. user=mdettweiler [2012-01-28 09:25:13] 699*2^1003037-1 is not prime. Res64: 2A248C244B37BEEE Time : 0.0 sec. user=mdettweiler [2012-01-28 09:27:58] 759*2^1003037-1 is not prime. Res64: 34801BA551F55DBD Time : 0.0 sec. user=mdettweiler [2012-01-28 09:27:58] 805*2^1003037-1 is not prime. Res64: 4D9323E6FECDBDBE Time : 0.0 sec. user=mdettweiler [2012-01-28 09:32:43] 825*2^1003037-1 is not prime. Res64: 6837D80733CB65E5 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:32:43] 937*2^1003037-1 is not prime. Res64: 53BCAA1E4F9A89C1 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:35:23] 663*2^1003038-1 is not prime. Res64: B0C1D21CDC571BA5 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:35:24] 747*2^1003038-1 is not prime. Res64: 161EBEAACC6BE46C Time : 0.0 sec. user=mdettweiler [2012-01-28 09:47:25] 821*2^1003038-1 is not prime. Res64: E6321902B6FD9FBC Time : 0.0 sec. user=mdettweiler [2012-01-28 09:47:25] 977*2^1003038-1 is not prime. Res64: 8379BB1DAA59B0F8 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:47:53] 619*2^1003039-1 is not prime. Res64: 826637C353BA7ABA Time : 0.0 sec. user=mdettweiler [2012-01-28 09:47:53] 765*2^1003039-1 is not prime. Res64: F123DEF45E22850A Time : 0.0 sec. user=mdettweiler [2012-01-28 09:52:00] 717*2^1003034-1 is not prime. Res64: 61B614F49FDD7DDB Time : 0.0 sec. user=mdettweiler [2012-01-28 09:52:00] 773*2^1003034-1 is not prime. Res64: 37634DC15EB1F65D Time : 0.0 sec. user=mdettweiler [2012-01-28 09:54:55] 853*2^1003039-1 is not prime. Res64: B0016FA63CA2164B Time : 0.0 sec. user=mdettweiler [2012-01-28 09:54:56] 925*2^1003039-1 is not prime. Res64: 2AFC6700DD8B3BBF Time : 0.0 sec. user=mdettweiler [2012-01-28 09:55:20] 689*2^1003040-1 is not prime. Res64: 9C3225449284FC97 Time : 0.0 sec. user=mdettweiler [2012-01-28 09:55:21] 759*2^1003040-1 is not prime. Res64: D32E90C18A99C9EB Time : 0.0 sec. user=mdettweiler [2012-01-28 10:07:28] 797*2^1003040-1 is not prime. Res64: FBA4F2FC17A5FA68 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:07:29] 879*2^1003040-1 is not prime. Res64: 4143D2189E8EC78F Time : 0.0 sec. user=mdettweiler [2012-01-28 10:12:27] 909*2^1003040-1 is not prime. Res64: 40F943EB8042DD16 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:12:27] 927*2^1003040-1 is not prime. Res64: C0E51C9B6D9CD60B Time : 0.0 sec. user=mdettweiler [2012-01-28 10:15:24] 665*2^1003042-1 is not prime. Res64: A3120532C25009AA Time : 0.0 sec. user=mdettweiler [2012-01-28 10:15:25] 717*2^1003042-1 is not prime. Res64: 2DDCFF42AAFCEF1E Time : 0.0 sec. user=mdettweiler [2012-01-28 10:16:39] 991*2^1003035-1 is not prime. Res64: F4120D62862D621B Time : 0.0 sec. user=mdettweiler [2012-01-28 10:16:39] 755*2^1003036-1 is not prime. Res64: 5728F01CD254D1C5 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:17:09] 955*2^1003041-1 is not prime. Res64: 52DF16CD9EAB96B9 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:17:10] 651*2^1003042-1 is not prime. Res64: 0A7D95839D89B40A Time : 0.0 sec. user=mdettweiler [2012-01-28 10:17:27] 803*2^1003036-1 is not prime. Res64: 47FB32B2080FE83E Time : 0.0 sec. user=mdettweiler [2012-01-28 10:17:28] 983*2^1003036-1 is not prime. Res64: A45B5053E6036A3C Time : 0.0 sec. user=mdettweiler [2012-01-28 10:27:26] 737*2^1003042-1 is not prime. Res64: C0B5423BB02B5B3D Time : 0.0 sec. user=mdettweiler [2012-01-28 10:27:26] 741*2^1003042-1 is not prime. Res64: 1E7F35FA4C396E40 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:32:25] 619*2^1003043-1 is not prime. Res64: 6E05DDA4A82EBD46 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:32:25] 673*2^1003043-1 is not prime. Res64: 956FC8B795EA9349 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:35:17] 771*2^1003043-1 is not prime. Res64: 10BD623400DF3E5C Time : 0.0 sec. user=mdettweiler [2012-01-28 10:35:17] 805*2^1003043-1 is not prime. Res64: 1D210F507AB82814 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:37:01] 635*2^1003044-1 is not prime. Res64: 4E13E6D04631EA7F Time : 0.0 sec. user=mdettweiler [2012-01-28 10:37:01] 795*2^1003044-1 is not prime. Res64: 7C925D25BD73F9D4 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:47:29] 751*2^1003045-1 is not prime. Res64: 88A1238840CA7C6C Time : 0.0 sec. user=mdettweiler [2012-01-28 10:47:30] 789*2^1003045-1 is not prime. Res64: E152EDC07F8DDD1D Time : 0.0 sec. user=mdettweiler [2012-01-28 10:52:31] 855*2^1003045-1 is not prime. Res64: E7093AD7A7E4E629 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:52:31] 861*2^1003045-1 is not prime. Res64: 71B05D1D4E588CB1 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:59:10] 997*2^1003045-1 is not prime. Res64: 335585D032BE1B84 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:59:10] 675*2^1003046-1 is not prime. Res64: 20D78728F145AF30 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:59:46] 979*2^1003045-1 is not prime. Res64: 69BC769231AD3BA8 Time : 0.0 sec. user=mdettweiler [2012-01-28 10:59:46] 987*2^1003045-1 is not prime. Res64: 980E0B7724B7C43A Time : 0.0 sec. user=mdettweiler [2012-01-28 11:09:45] 815*2^1003046-1 is not prime. Res64: 5739B37DFE698418 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:09:46] 953*2^1003046-1 is not prime. Res64: C7811CB048D78F7F Time : 0.0 sec. user=mdettweiler [2012-01-28 11:14:45] 1001*2^1003046-1 is not prime. Res64: 1C9883EA628FF653 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:14:45] 615*2^1003047-1 is not prime. Res64: 57CBE71876AAE5E6 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:15:48] 805*2^1003041-1 is not prime. Res64: BCFCD8636A0986E0 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:15:48] 951*2^1003041-1 is not prime. Res64: 385F9CCCC2C2B351 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:19:07] 781*2^1003047-1 is not prime. Res64: 6656B634C571DD79 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:19:08] 795*2^1003047-1 is not prime. Res64: B3A9F454B6015E79 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:19:43] 861*2^1003047-1 is not prime. Res64: 46842C89CF30BC25 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:19:44] 871*2^1003047-1 is not prime. Res64: AE744EB27C7427FF Time : 0.0 sec. user=mdettweiler [2012-01-28 11:32:04] 855*2^1003043-1 is not prime. Res64: E765244D39B1E0E8 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:32:04] 895*2^1003043-1 is not prime. Res64: 2E43BA135DFC59E3 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:32:48] 825*2^1003044-1 is not prime. Res64: FABA0C9428C819FA Time : 0.0 sec. user=mdettweiler [2012-01-28 11:32:48] 729*2^1003045-1 is not prime. Res64: 31F913E74B1C714C Time : 0.0 sec. user=mdettweiler [2012-01-28 11:34:22] 951*2^1003047-1 is not prime. Res64: 0452A1CAC62E67F2 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:34:22] 961*2^1003047-1 is not prime. Res64: 92DEB65C9A3022BE Time : 0.0 sec. user=mdettweiler [2012-01-28 11:37:06] 963*2^1003047-1 is not prime. Res64: 80AF9FD3E495A58F Time : 0.0 sec. user=mdettweiler [2012-01-28 11:37:06] 617*2^1003048-1 is not prime. Res64: 03206815847F1B0E Time : 0.0 sec. user=mdettweiler [2012-01-28 11:41:26] 777*2^1003048-1 is not prime. Res64: 229D66F9C0DA56DA Time : 0.0 sec. user=mdettweiler [2012-01-28 11:41:27] 933*2^1003048-1 is not prime. Res64: CF7AF5BE84599EBA Time : 0.0 sec. user=mdettweiler [2012-01-28 11:42:00] 969*2^1003048-1 is not prime. Res64: 75B790FE01C7DE3B Time : 0.0 sec. user=mdettweiler [2012-01-28 11:42:01] 769*2^1003049-1 is not prime. Res64: 3660A89FF6F03F6A Time : 0.0 sec. user=mdettweiler [2012-01-28 11:57:06] 725*2^1003050-1 is not prime. Res64: 1D3235D69F2FBC17 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:57:06] 765*2^1003050-1 is not prime. Res64: B00AE06CFB6CAD7B Time : 0.0 sec. user=mdettweiler [2012-01-28 11:59:00] 931*2^1003049-1 is not prime. Res64: 75BA7C67B4751B41 Time : 0.0 sec. user=mdettweiler [2012-01-28 11:59:01] 991*2^1003049-1 is not prime. Res64: F9D15F8D7EA2ED36 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:01:29] 791*2^1003050-1 is not prime. Res64: 248D1E10BB9C24FA Time : 0.0 sec. user=mdettweiler [2012-01-28 12:01:30] 803*2^1003050-1 is not prime. Res64: A717BD143ED04A2E Time : 0.0 sec. user=mdettweiler [2012-01-28 12:06:34] 923*2^1003050-1 is not prime. Res64: EC400739DB2D6526 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:06:35] 927*2^1003050-1 is not prime. Res64: F3ECB7A4B63C9B6D Time : 0.0 sec. user=mdettweiler [2012-01-28 12:19:08] 723*2^1003051-1 is not prime. Res64: FDC97A92BB4B6367 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:19:08] 733*2^1003051-1 is not prime. Res64: B7010064CC3F06B2 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:21:44] 945*2^1003050-1 is not prime. Res64: 97253362C41863CE Time : 0.0 sec. user=mdettweiler [2012-01-28 12:21:45] 977*2^1003050-1 is not prime. Res64: 56D1277512C4FFEC Time : 0.0 sec. user=mdettweiler [2012-01-28 12:23:58] 741*2^1003051-1 is not prime. Res64: 84C5B38A46CFFC9C Time : 0.0 sec. user=mdettweiler [2012-01-28 12:23:59] 951*2^1003051-1 is not prime. Res64: 3D63794878EEE739 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:26:49] 635*2^1003052-1 is not prime. Res64: 7116BE593BABA828 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:26:49] 647*2^1003052-1 is not prime. Res64: 47C7CFB232778591 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:31:03] 639*2^1003048-1 is not prime. Res64: 09BE47576B68485D Time : 0.0 sec. user=mdettweiler [2012-01-28 12:31:04] 747*2^1003048-1 is not prime. Res64: 78235184FA1772FB Time : 0.0 sec. user=mdettweiler [2012-01-28 12:39:46] 677*2^1003052-1 is not prime. Res64: 2AF5A5AEE6088A15 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:39:46] 683*2^1003052-1 is not prime. Res64: 31F0B1377DFAF4A2 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:42:31] 687*2^1003052-1 is not prime. Res64: FBC38B049F48F21C Time : 0.0 sec. user=mdettweiler [2012-01-28 12:42:31] 725*2^1003052-1 is not prime. Res64: BD9D37AE5D5DCA02 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:47:09] 743*2^1003052-1 is not prime. Res64: 349E8EAD0A2A9317 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:47:09] 957*2^1003052-1 is not prime. Res64: 295F0BB909C99F92 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:47:34] 865*2^1003049-1 is not prime. Res64: 46B446BC35082560 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:47:34] 885*2^1003049-1 is not prime. Res64: D92EFA41CAD74A81 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:48:19] 889*2^1003049-1 is not prime. Res64: FA6FB6856A1B7900 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:48:19] 897*2^1003049-1 is not prime. Res64: 75801E5A54E2F17F Time : 0.0 sec. user=mdettweiler [2012-01-28 12:49:56] 983*2^1003052-1 is not prime. Res64: 3418E73524B8F235 Time : 0.0 sec. user=mdettweiler [2012-01-28 12:49:56] 625*2^1003053-1 is not prime. Res64: 2FFDA129CF920350 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:00:20] 685*2^1003053-1 is not prime. Res64: 69F5EFA297251D18 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:00:20] 699*2^1003053-1 is not prime. Res64: 03332BB239FA76E0 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:03:04] 745*2^1003053-1 is not prime. Res64: 0DB92993193C2291 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:03:05] 789*2^1003053-1 is not prime. Res64: 85E11A5CB035BE34 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:07:54] 891*2^1003053-1 is not prime. Res64: 2B688B485E3B84E8 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:07:55] 895*2^1003053-1 is not prime. Res64: B94EFC87512100DA Time : 0.0 sec. user=mdettweiler [2012-01-28 13:10:39] 783*2^1003054-1 is not prime. Res64: B25B6184756E19FF Time : 0.0 sec. user=mdettweiler [2012-01-28 13:10:39] 827*2^1003054-1 is not prime. Res64: 01AD657457A89285 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:21:39] 789*2^1003055-1 is not prime. Res64: DF42B130F36C8A90 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:21:39] 861*2^1003055-1 is not prime. Res64: 138C460AB0A833AD Time : 0.0 sec. user=mdettweiler [2012-01-28 13:30:20] 913*2^1003055-1 is not prime. Res64: 2EE3CA20161EF543 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:30:21] 921*2^1003055-1 is not prime. Res64: 661A37B95C15E161 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:30:47] 633*2^1003056-1 is not prime. Res64: D1F2AC47C37D8447 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:30:47] 759*2^1003056-1 is not prime. Res64: 83C17B5256F87C84 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:38:01] 909*2^1003056-1 is not prime. Res64: 2C195F55076E7EAF Time : 0.0 sec. user=mdettweiler [2012-01-28 13:38:01] 975*2^1003056-1 is not prime. Res64: 6D33F641C1415418 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:43:32] 841*2^1003057-1 is not prime. Res64: 267663CC8427ABB5 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:43:33] 867*2^1003057-1 is not prime. Res64: DB492ECFE46CE8D5 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:46:47] 649*2^1003053-1 is not prime. Res64: 0CB07C733FB2F34C Time : 0.0 sec. user=mdettweiler [2012-01-28 13:46:48] 657*2^1003053-1 is not prime. Res64: 2199CBF152CB209F Time : 0.0 sec. user=mdettweiler [2012-01-28 13:51:10] 635*2^1003058-1 is not prime. Res64: D349E644120D3775 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:51:11] 641*2^1003058-1 is not prime. Res64: 56FBACAA21916CBE Time : 0.0 sec. user=mdettweiler [2012-01-28 13:52:58] 985*2^1003057-1 is not prime. Res64: 26C9EEC4A64AF583 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:52:58] 605*2^1003058-1 is not prime. Res64: 87963D14F6AFEFE3 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:58:20] 743*2^1003058-1 is not prime. Res64: 4F475A09833CDB31 Time : 0.0 sec. user=mdettweiler [2012-01-28 13:58:20] 837*2^1003058-1 is not prime. Res64: F507A021B3F4583C Time : 0.0 sec. user=mdettweiler [2012-01-28 14:08:27] 941*2^1003058-1 is not prime. Res64: 7245D56F635A18FE Time : 0.0 sec. user=mdettweiler [2012-01-28 14:08:29] 995*2^1003058-1 is not prime. Res64: 2505C924FF3047E8 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:11:37] 735*2^1003059-1 is not prime. Res64: E02AE07794C05675 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:11:38] 823*2^1003059-1 is not prime. Res64: 2509E1414D17589D Time : 0.0 sec. user=mdettweiler [2012-01-28 14:12:32] 999*2^1003053-1 is not prime. Res64: AA5689B7417C57AB Time : 0.0 sec. user=mdettweiler [2012-01-28 14:12:32] 623*2^1003054-1 is not prime. Res64: 6BBAA84A22EEEF1E Time : 0.0 sec. user=mdettweiler [2012-01-28 14:15:39] 853*2^1003059-1 is not prime. Res64: 3EAA693F28A59B18 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:15:39] 975*2^1003059-1 is not prime. Res64: 1A054AB8E70483ED Time : 0.0 sec. user=mdettweiler [2012-01-28 14:20:49] 919*2^1003053-1 is not prime. Res64: BB5D6B2C16B8BE36 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:20:49] 951*2^1003053-1 is not prime. Res64: 55581DD9CBF3C57F Time : 0.0 sec. user=mdettweiler [2012-01-28 14:20:54] 927*2^1003060-1 is not prime. Res64: 651FE0F26793BE6B Time : 0.0 sec. user=mdettweiler [2012-01-28 14:20:54] 619*2^1003061-1 is not prime. Res64: 49F23759ECD3AA30 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:28:44] 769*2^1003061-1 is not prime. Res64: 8CD1731281BE4476 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:28:44] 781*2^1003061-1 is not prime. Res64: BB3CF2C86B6B5954 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:31:50] 861*2^1003061-1 is not prime. Res64: 3E70A1A74545A27B Time : 0.0 sec. user=mdettweiler [2012-01-28 14:31:50] 885*2^1003061-1 is not prime. Res64: 0D9A226D98572F84 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:35:56] 627*2^1003062-1 is not prime. Res64: 554505528EC7FB08 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:35:56] 761*2^1003062-1 is not prime. Res64: CEF37C04B9502F9C Time : 0.0 sec. user=mdettweiler [2012-01-28 14:43:46] 977*2^1003062-1 is not prime. Res64: FD48FAFC671265B6 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:43:47] 603*2^1003063-1 is not prime. Res64: D79B9D70A6458DDC Time : 0.0 sec. user=mdettweiler [2012-01-28 14:49:31] 619*2^1003063-1 is not prime. Res64: 32659F2DD42B3962 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:49:31] 703*2^1003063-1 is not prime. Res64: 9E8624BB6AB1BBB2 Time : 0.0 sec. user=mdettweiler [2012-01-28 14:52:29] 705*2^1003063-1 is not prime. Res64: EB7CEFAFDE70530B Time : 0.0 sec. user=mdettweiler [2012-01-28 14:52:29] 853*2^1003063-1 is prime! Time : 0.0 sec. user=mdettweiler [2012-01-28 14:56:35] 609*2^1003064-1 is not prime. Res64: E35ADA961C588DEA Time : 0.0 sec. user=mdettweiler [2012-01-28 14:56:35] 615*2^1003064-1 is not prime. Res64: 036266B7CA4DE9F5 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:04:04] 669*2^1003059-1 is not prime. Res64: A6E4C8F6217C845E Time : 0.0 sec. user=mdettweiler [2012-01-28 15:04:05] 705*2^1003059-1 is not prime. Res64: 63951219DE87AF65 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:04:06] 657*2^1003064-1 is not prime. Res64: 392EB04CAFD0F7AD Time : 0.0 sec. user=mdettweiler [2012-01-28 15:04:09] 767*2^1003064-1 is not prime. Res64: 1546BF7466048B19 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:09:48] 773*2^1003064-1 is not prime. Res64: 93D8E488BCDB2013 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:09:49] 803*2^1003064-1 is not prime. Res64: 99BAE4C6774B37EB Time : 0.0 sec. user=mdettweiler [2012-01-28 15:12:39] 813*2^1003064-1 is not prime. Res64: 5B13821DBE8463A7 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:12:39] 837*2^1003064-1 is not prime. Res64: 96CB8757FF34E730 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:19:06] 927*2^1003064-1 is not prime. Res64: 63B766A8F28BF0B1 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:19:06] 607*2^1003065-1 is not prime. Res64: 394C8DB2F16C7811 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:26:37] 805*2^1003065-1 is not prime. Res64: 6ABFFF7566384E8E Time : 0.0 sec. user=mdettweiler [2012-01-28 15:26:38] 937*2^1003065-1 is not prime. Res64: 1B86B5912C9E2590 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:29:57] 677*2^1003066-1 is not prime. Res64: 59F42534C3CB9349 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:29:57] 815*2^1003066-1 is not prime. Res64: 2A882A4F507E679F Time : 0.0 sec. user=mdettweiler [2012-01-28 15:32:51] 825*2^1003066-1 is not prime. Res64: 5AB26A82C10BEE65 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:32:52] 903*2^1003066-1 is not prime. Res64: F61EE25257672F86 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:37:52] 791*2^1003062-1 is not prime. Res64: D9FF9680E8204F2D Time : 0.0 sec. user=mdettweiler [2012-01-28 15:37:52] 875*2^1003062-1 is not prime. Res64: 0DC864492ED1F3D7 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:38:39] 925*2^1003061-1 is not prime. Res64: 9F79CC04155A90B1 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:38:39] 621*2^1003062-1 is not prime. Res64: 70CF80B328236F67 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:41:33] 917*2^1003066-1 is not prime. Res64: 1343B2797DF2C67F Time : 0.0 sec. user=mdettweiler [2012-01-28 15:41:33] 621*2^1003067-1 is not prime. Res64: 37A927DDD7D12574 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:46:42] 645*2^1003067-1 is not prime. Res64: AD028FDAA02AA3A0 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:46:42] 651*2^1003067-1 is not prime. Res64: 241AAF70109E112A Time : 0.0 sec. user=mdettweiler [2012-01-28 15:50:05] 711*2^1003067-1 is not prime. Res64: B11EF7E1E0C7C20E Time : 0.0 sec. user=mdettweiler [2012-01-28 15:50:05] 775*2^1003067-1 is not prime. Res64: 65BEBCBC7FAEB505 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:55:17] 801*2^1003067-1 is not prime. Res64: 112F6BE3C375FF12 Time : 0.0 sec. user=mdettweiler [2012-01-28 15:55:17] 973*2^1003067-1 is not prime. Res64: F0EA833A6FB18381 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:01:44] 669*2^1003068-1 is not prime. Res64: B5EE989C43C88750 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:01:47] 689*2^1003068-1 is not prime. Res64: F540E20DB20919F0 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:09:09] 765*2^1003068-1 is not prime. Res64: 4A9C73AC19D557F0 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:09:10] 929*2^1003068-1 is not prime. Res64: 035BB9BEFA80BF4F Time : 0.0 sec. user=mdettweiler [2012-01-28 16:14:48] 933*2^1003068-1 is not prime. Res64: 58377AD22D7C6D06 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:14:49] 987*2^1003068-1 is not prime. Res64: AD9BE0E6D4725930 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:15:22] 615*2^1003069-1 is not prime. Res64: 4AEB8C53CECC7B90 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:15:25] 661*2^1003069-1 is not prime. Res64: 05890217EE121FFB Time : 0.0 sec. user=mdettweiler [2012-01-28 16:20:55] 669*2^1003065-1 is not prime. Res64: 5913D63727B66BE9 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:20:56] 789*2^1003065-1 is not prime. Res64: 940D9B97FD843F8B Time : 0.0 sec. user=mdettweiler [2012-01-28 16:22:30] 667*2^1003069-1 is not prime. Res64: A0CA114CC7CD82B1 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:22:30] 811*2^1003069-1 is not prime. Res64: F10280E04DF0AC23 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:33:50] 975*2^1003069-1 is not prime. Res64: 8D14F5825C4CC698 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:33:51] 985*2^1003069-1 is not prime. Res64: 5E541909A23FDC04 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:34:55] 717*2^1003070-1 is not prime. Res64: 4D5D4F13A1A09CA0 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:34:56] 887*2^1003070-1 is not prime. Res64: 280AE77AA341C5F7 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:40:11] 911*2^1003070-1 is not prime. Res64: E0CFBFC8020B154F Time : 0.0 sec. user=mdettweiler [2012-01-28 16:40:12] 923*2^1003070-1 is not prime. Res64: 811921A4BDD6F96D Time : 0.0 sec. user=mdettweiler [2012-01-28 16:44:51] 859*2^1003071-1 is not prime. Res64: A5D8934AAD4A1E1C Time : 0.0 sec. user=mdettweiler [2012-01-28 16:44:51] 951*2^1003071-1 is not prime. Res64: 5208B497129B17A3 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:53:52] 645*2^1003072-1 is not prime. Res64: 19AC6B89FF6260F0 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:53:53] 665*2^1003072-1 is not prime. Res64: 840B293F400B87DE Time : 0.0 sec. user=mdettweiler [2012-01-28 16:54:58] 719*2^1003072-1 is not prime. Res64: 253FE1F6C13724DF Time : 0.0 sec. user=mdettweiler [2012-01-28 16:54:58] 635*2^1003068-1 is not prime. Res64: 0CF08A72C68FC261 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:54:58] 807*2^1003072-1 is not prime. Res64: 95B05549BD856912 Time : 0.0 sec. user=mdettweiler [2012-01-28 16:54:59] 665*2^1003068-1 is not prime. Res64: 3940FED0A91B2B23 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:00:15] 873*2^1003072-1 is not prime. Res64: BB199391BFDB7B73 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:00:17] 627*2^1003073-1 is not prime. Res64: E041324DB734033B Time : 0.0 sec. user=mdettweiler [2012-01-28 17:02:42] 979*2^1003067-1 is not prime. Res64: 22DD871AA6D7B8DC Time : 0.0 sec. user=mdettweiler [2012-01-28 17:02:43] 627*2^1003068-1 is not prime. Res64: 2B3360C0AAB95B4F Time : 0.0 sec. user=mdettweiler [2012-01-28 17:05:00] 679*2^1003073-1 is not prime. Res64: A8EFCB2D2AE9E600 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:05:01] 775*2^1003073-1 is not prime. Res64: 88529EF9A4A3D9DA Time : 0.0 sec. user=mdettweiler [2012-01-28 17:14:02] 837*2^1003073-1 is not prime. Res64: A001C3B2ED98B111 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:14:03] 605*2^1003074-1 is not prime. Res64: 3E2AE8FAABCF298B Time : 0.0 sec. user=mdettweiler [2012-01-28 17:15:35] 711*2^1003074-1 is not prime. Res64: 63B0F40B5016D357 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:15:35] 723*2^1003074-1 is not prime. Res64: B1A881DF8543E7D9 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:20:35] 851*2^1003074-1 is not prime. Res64: A105EA471D1A62FB Time : 0.0 sec. user=mdettweiler [2012-01-28 17:20:35] 881*2^1003074-1 is not prime. Res64: 491831BE62137E0B Time : 0.0 sec. user=mdettweiler [2012-01-28 17:29:55] 917*2^1003074-1 is not prime. Res64: 129F8991D26A957D Time : 0.0 sec. user=mdettweiler [2012-01-28 17:29:56] 951*2^1003074-1 is not prime. Res64: 2FF26B27428B3C53 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:34:17] 645*2^1003075-1 is not prime. Res64: 587FCF18D4301F26 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:34:17] 679*2^1003075-1 is not prime. Res64: 32B8C9DC6E104E8B Time : 0.0 sec. user=mdettweiler [2012-01-28 17:35:51] 709*2^1003075-1 is not prime. Res64: 5DF2B4FD4BC5F691 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:35:51] 741*2^1003075-1 is not prime. Res64: 54F5E24E26AB8330 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:37:07] 703*2^1003071-1 is not prime. Res64: 0FBB21741319839C Time : 0.0 sec. user=mdettweiler [2012-01-28 17:37:08] 745*2^1003071-1 is not prime. Res64: 7FAE55695A08DA7A Time : 0.0 sec. user=mdettweiler [2012-01-28 17:45:19] 915*2^1003075-1 is not prime. Res64: 0A3026E731B3A3D4 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:45:19] 961*2^1003075-1 is not prime. Res64: 3AF5352A54BF537B Time : 0.0 sec. user=mdettweiler [2012-01-28 17:50:08] 669*2^1003076-1 is not prime. Res64: 05C9AB0427669694 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:50:08] 693*2^1003076-1 is not prime. Res64: 99F7DBAA39DA0EEE Time : 0.0 sec. user=mdettweiler [2012-01-28 17:54:47] 719*2^1003076-1 is not prime. Res64: 049C1E9FFAE80E62 Time : 0.0 sec. user=mdettweiler [2012-01-28 17:54:47] 743*2^1003076-1 is not prime. Res64: C6A5A3BDD0614D8C Time : 0.0 sec. user=mdettweiler [2012-01-28 17:56:26] 773*2^1003076-1 is not prime. Res64: E888D28F700588AA Time : 0.0 sec. user=mdettweiler [2012-01-28 17:56:27] 825*2^1003076-1 is not prime. Res64: C6CFD7499651370C Time : 0.0 sec. user=mdettweiler [2012-01-28 18:07:45] 963*2^1003076-1 is not prime. Res64: C6C906701C5C6E95 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:07:46] 655*2^1003077-1 is not prime. Res64: 2BA5A77BB4183D76 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:10:13] 825*2^1003077-1 is not prime. Res64: 12E10526FD7C8779 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:10:15] 847*2^1003077-1 is not prime. Res64: 097F57E247241FB8 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:11:08] 633*2^1003074-1 is not prime. Res64: 969377FA097E575D Time : 0.0 sec. user=mdettweiler [2012-01-28 18:11:09] 641*2^1003074-1 is not prime. Res64: 89D9C6DCB9B2A79A Time : 0.0 sec. user=mdettweiler [2012-01-28 18:14:37] 885*2^1003077-1 is not prime. Res64: EDFEDDBE5DD8CE2C Time : 0.0 sec. user=mdettweiler [2012-01-28 18:14:38] 891*2^1003077-1 is not prime. Res64: 34706C6B76599EBC Time : 0.0 sec. user=mdettweiler [2012-01-28 18:18:26] 895*2^1003077-1 is not prime. Res64: 9F71BD35D3D7E4EA Time : 0.0 sec. user=mdettweiler [2012-01-28 18:18:26] 915*2^1003077-1 is not prime. Res64: B1FB34A3419B6789 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:18:51] 887*2^1003074-1 is not prime. Res64: 519DFAB1F2578734 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:18:51] 905*2^1003074-1 is not prime. Res64: F6E544360CF52BB6 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:29:48] 919*2^1003077-1 is not prime. Res64: 72DE9F31CD03F50B Time : 0.0 sec. user=mdettweiler [2012-01-28 18:29:49] 671*2^1003078-1 is not prime. Res64: 624E27BF7713B388 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:30:05] 677*2^1003078-1 is not prime. Res64: 7E3468AFBDC431D8 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:30:06] 705*2^1003078-1 is not prime. Res64: C7B94247882F160A Time : 0.0 sec. user=mdettweiler [2012-01-28 18:34:23] 825*2^1003078-1 is not prime. Res64: F55523109A9C9E1E Time : 0.0 sec. user=mdettweiler [2012-01-28 18:34:23] 843*2^1003078-1 is not prime. Res64: 70198979E7F40E83 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:38:09] 661*2^1003079-1 is not prime. Res64: 53FF65F13B2AEBCE Time : 0.0 sec. user=mdettweiler [2012-01-28 18:38:10] 741*2^1003079-1 is not prime. Res64: 6B4F986237F0FECA Time : 0.0 sec. user=mdettweiler [2012-01-28 18:49:32] 799*2^1003079-1 is not prime. Res64: 94E6C6577D2830B7 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:49:33] 825*2^1003079-1 is not prime. Res64: 35BE83F4836A4D07 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:49:46] 841*2^1003079-1 is not prime. Res64: 84E3B0425DE3955D Time : 0.0 sec. user=mdettweiler [2012-01-28 18:49:46] 865*2^1003079-1 is not prime. Res64: 8659127C95EA183D Time : 0.0 sec. user=mdettweiler [2012-01-28 18:53:14] 875*2^1003076-1 is not prime. Res64: 290D81AEE95860E9 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:53:14] 893*2^1003076-1 is not prime. Res64: 597892AA8D5970F4 Time : 0.0 sec. user=mdettweiler [2012-01-28 18:54:09] 895*2^1003079-1 is not prime. Res64: 7240421392F786DF Time : 0.0 sec. user=mdettweiler [2012-01-28 18:54:09] 873*2^1003080-1 is not prime. Res64: DC643645E9C1D5F7 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:00:15] 879*2^1003080-1 is not prime. Res64: 8D279485A4DB1765 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:00:16] 923*2^1003080-1 is not prime. Res64: 729C6744EA5AC0BA Time : 0.0 sec. user=mdettweiler [2012-01-28 19:09:38] 675*2^1003081-1 is not prime. Res64: C1BAB3157835FD3D Time : 0.0 sec. user=mdettweiler [2012-01-28 19:09:39] 685*2^1003081-1 is not prime. Res64: A80B85C8A3735864 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:13:55] 927*2^1003080-1 is not prime. Res64: 53325236E1CC1A23 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:13:56] 975*2^1003080-1 is not prime. Res64: E23685F66021FE85 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:14:02] 889*2^1003081-1 is not prime. Res64: 5661EB1ECE672D76 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:14:02] 901*2^1003081-1 is not prime. Res64: 8ED7DB0C6A932B6C Time : 0.0 sec. user=mdettweiler [2012-01-28 19:24:51] 939*2^1003081-1 is not prime. Res64: ACBF54AD1AF651A1 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:24:51] 975*2^1003081-1 is not prime. Res64: C2B38A234535FB7A Time : 0.0 sec. user=mdettweiler [2012-01-28 19:27:22] 773*2^1003078-1 is not prime. Res64: D1220E5D186A6D8B Time : 0.0 sec. user=mdettweiler [2012-01-28 19:27:22] 821*2^1003078-1 is not prime. Res64: 5B524DBC0FEE8CDE Time : 0.0 sec. user=mdettweiler [2012-01-28 19:32:14] 987*2^1003081-1 is not prime. Res64: A6F8514D036F35C3 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:32:14] 735*2^1003082-1 is not prime. Res64: EE89451B93D2B031 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:34:18] 771*2^1003082-1 is not prime. Res64: B641F8C231085850 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:34:19] 813*2^1003082-1 is not prime. Res64: 054EED04229953BB Time : 0.0 sec. user=mdettweiler [2012-01-28 19:35:10] 759*2^1003079-1 is not prime. Res64: ABB924A8B9C08CB0 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:36:25] 945*2^1003082-1 is not prime. Res64: FAFB268B12207695 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:36:26] 615*2^1003083-1 is not prime. Res64: FDD3B25DA17A2029 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:36:48] 789*2^1003079-1 is not prime. Res64: 832ED55E098BDDCA Time : 0.0 sec. user=mdettweiler [2012-01-28 19:44:59] 619*2^1003083-1 is not prime. Res64: B7B9664AFCD66136 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:45:00] 753*2^1003083-1 is not prime. Res64: 212E48B4AB2779BB Time : 0.0 sec. user=mdettweiler [2012-01-28 19:54:15] 617*2^1003084-1 is not prime. Res64: BC1818CADD0952B5 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:54:16] 665*2^1003084-1 is not prime. Res64: A3D85AB9A4C88C88 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:54:26] 873*2^1003083-1 is not prime. Res64: 7465574E4A42DF81 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:54:27] 913*2^1003083-1 is not prime. Res64: 3519F3CCDB8D225C Time : 0.0 sec. user=mdettweiler [2012-01-28 19:56:20] 875*2^1003084-1 is not prime. Res64: D8468860680DEBA4 Time : 0.0 sec. user=mdettweiler [2012-01-28 19:56:21] 905*2^1003084-1 is not prime. Res64: A9237476D2FBACE6 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:04:48] 725*2^1003086-1 is not prime. Res64: 64C80BC20EE1C597 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:04:50] 737*2^1003086-1 is not prime. Res64: 3A54A784FFEE322C Time : 0.0 sec. user=mdettweiler [2012-01-28 20:10:59] 691*2^1003081-1 is not prime. Res64: AD6CC711EE5A77F4 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:11:00] 715*2^1003081-1 is not prime. Res64: 2CE94E1581B5149B Time : 0.0 sec. user=mdettweiler [2012-01-28 20:14:12] 639*2^1003087-1 is not prime. Res64: 47654D65AFBC341E Time : 0.0 sec. user=mdettweiler [2012-01-28 20:14:14] 763*2^1003087-1 is not prime. Res64: B0C2BF38207E3183 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:16:24] 891*2^1003086-1 is not prime. Res64: 191CEF810B56CEB1 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:16:25] 971*2^1003086-1 is not prime. Res64: 3C74E97302454B60 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:18:22] 793*2^1003087-1 is not prime. Res64: F673FED3D2F4234A Time : 0.0 sec. user=mdettweiler [2012-01-28 20:18:23] 909*2^1003087-1 is not prime. Res64: A2A737AEFEE3C637 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:24:42] 669*2^1003088-1 is not prime. Res64: 4E67325AED7ADA2B Time : 0.0 sec. user=mdettweiler [2012-01-28 20:24:43] 845*2^1003088-1 is not prime. Res64: 8D9D9A20F594D9B8 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:36:13] 637*2^1003089-1 is not prime. Res64: EC8E45BBFB1A7439 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:36:14] 747*2^1003089-1 is not prime. Res64: 320FB6859E4F6B47 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:38:09] 765*2^1003089-1 is not prime. Res64: 8717C8124BDAABD1 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:38:09] 861*2^1003089-1 is not prime. Res64: 0386F327ADC84B34 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:38:34] 909*2^1003088-1 is not prime. Res64: 4E5AD0B6BFDC450C Time : 0.0 sec. user=mdettweiler [2012-01-28 20:38:34] 995*2^1003088-1 is not prime. Res64: 16CEBBD5775E3595 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:46:01] 789*2^1003083-1 is not prime. Res64: A2FB5E3443478CBE Time : 0.0 sec. user=mdettweiler [2012-01-28 20:46:01] 849*2^1003083-1 is not prime. Res64: 624B94D9EB885FA9 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:49:00] 909*2^1003089-1 is not prime. Res64: 71F410F0F4055D41 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:49:01] 949*2^1003089-1 is not prime. Res64: 9ABF555826EB4E2D Time : 0.0 sec. user=mdettweiler [2012-01-28 20:56:01] 675*2^1003085-1 is not prime. Res64: 7989AA028F8D5A72 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:56:02] 697*2^1003085-1 is not prime. Res64: B8331F5C71FAD77B Time : 0.0 sec. user=mdettweiler [2012-01-28 20:56:10] 765*2^1003090-1 is not prime. Res64: 0B40C39DB6A28D7E Time : 0.0 sec. user=mdettweiler [2012-01-28 20:56:10] 831*2^1003090-1 is not prime. Res64: FDA58A240471F682 Time : 0.0 sec. user=mdettweiler [2012-01-28 20:58:26] 711*2^1003091-1 is not prime. Res64: 6855D0FFD4DBDF0D Time : 0.0 sec. user=mdettweiler [2012-01-28 20:58:27] 745*2^1003091-1 is not prime. Res64: 8C13C5611B740073 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:02:33] 957*2^1003090-1 is not prime. Res64: 98778B70191B00EF Time : 0.0 sec. user=mdettweiler [2012-01-28 21:02:35] 971*2^1003090-1 is not prime. Res64: B73C7E6C1A07C5DF Time : 0.0 sec. user=mdettweiler [2012-01-28 21:11:01] 969*2^1003091-1 is not prime. Res64: 687CFC7530079E95 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:11:02] 605*2^1003092-1 is not prime. Res64: 21913E6D429840B8 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:15:57] 737*2^1003092-1 is not prime. Res64: CC2CCE3B03FD7EA6 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:15:58] 759*2^1003092-1 is not prime. Res64: E386CEC0C2018DF2 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:18:14] 819*2^1003092-1 is not prime. Res64: E0F6BD8CDE7CDDE3 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:18:15] 875*2^1003092-1 is not prime. Res64: 01F7EE7895987CBD Time : 0.0 sec. user=mdettweiler [2012-01-28 21:24:41] 887*2^1003092-1 is not prime. Res64: 056CFCB7FD858FDD Time : 0.0 sec. user=mdettweiler [2012-01-28 21:24:42] 977*2^1003092-1 is not prime. Res64: FBAB587CA5D1E43B Time : 0.0 sec. user=mdettweiler [2012-01-28 21:29:11] 867*2^1003088-1 is not prime. Res64: FA679CBBC7F63B71 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:29:11] 869*2^1003088-1 is not prime. Res64: 6019D16866FD73D3 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:31:15] 895*2^1003091-1 is not prime. Res64: 5497521A76BDFB43 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:33:11] 983*2^1003092-1 is not prime. Res64: C6C02D81631A30B3 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:33:12] 649*2^1003093-1 is not prime. Res64: 7ED4244FFF2721DA Time : 0.0 sec. user=mdettweiler [2012-01-28 21:38:03] 817*2^1003093-1 is not prime. Res64: 40E0C1FEAB58B8BA Time : 0.0 sec. user=mdettweiler [2012-01-28 21:38:03] 651*2^1003094-1 is not prime. Res64: 04CE608F597CC2B9 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:38:03] 985*2^1003093-1 is not prime. Res64: CA5C4A2159C8B737 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:38:03] 687*2^1003094-1 is not prime. Res64: 733F66DC63D58B88 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:46:52] 773*2^1003094-1 is not prime. Res64: D3D879BF000952D4 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:46:52] 921*2^1003094-1 is not prime. Res64: 12B7EB7BC41E35BD Time : 0.0 sec. user=mdettweiler [2012-01-28 21:55:30] 1001*2^1003094-1 is not prime. Res64: D81297E8C666F21C Time : 0.0 sec. user=mdettweiler [2012-01-28 21:55:30] 651*2^1003095-1 is not prime. Res64: 25B489CBB2B11427 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:58:07] 853*2^1003095-1 is not prime. Res64: D2DDF984A5724496 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:58:07] 779*2^1003096-1 is not prime. Res64: DB46D057C937D3D0 Time : 0.0 sec. user=mdettweiler [2012-01-28 21:58:09] 783*2^1003095-1 is not prime. Res64: 278432BE8BB9EB5A Time : 0.0 sec. user=mdettweiler [2012-01-28 21:58:09] 819*2^1003095-1 is not prime. Res64: 6F99219815BF593C Time : 0.0 sec. user=mdettweiler [2012-01-28 22:06:51] 813*2^1003096-1 is not prime. Res64: 189ECA0893F4673B Time : 0.0 sec. user=mdettweiler [2012-01-28 22:06:52] 875*2^1003096-1 is not prime. Res64: E5F17E7A670C3F54 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:17:51] 957*2^1003096-1 is not prime. Res64: A2F006B5D4EDD08E Time : 0.0 sec. user=mdettweiler [2012-01-28 22:17:51] 685*2^1003097-1 is not prime. Res64: C1E706E110AE8406 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:18:08] 697*2^1003097-1 is not prime. Res64: 01F40D588B2CB213 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:18:09] 885*2^1003097-1 is not prime. Res64: 624CB8F77EE30718 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:20:30] 915*2^1003097-1 is not prime. Res64: A5757454F9EEF7D0 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:20:31] 621*2^1003098-1 is not prime. Res64: BB121AF8F409AE3C Time : 0.0 sec. user=mdettweiler [2012-01-28 22:26:52] 633*2^1003098-1 is not prime. Res64: 5B722033D2079879 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:26:52] 755*2^1003098-1 is not prime. Res64: 163A80C96E8E7184 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:37:37] 765*2^1003098-1 is not prime. Res64: 0C3D9556D064749D Time : 0.0 sec. user=mdettweiler [2012-01-28 22:37:37] 791*2^1003098-1 is not prime. Res64: 5ED04623BBE2DED8 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:40:10] 797*2^1003098-1 is not prime. Res64: 7BAD6FF88BCAE7E1 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:40:10] 975*2^1003098-1 is not prime. Res64: 881754726ECCABB4 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:40:17] 723*2^1003099-1 is not prime. Res64: 0ABADFE775E7D09E Time : 0.0 sec. user=mdettweiler [2012-01-28 22:40:17] 765*2^1003099-1 is not prime. Res64: E8687D01C352A835 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:46:40] 769*2^1003099-1 is not prime. Res64: 6027946945E2B32A Time : 0.0 sec. user=mdettweiler [2012-01-28 22:46:40] 771*2^1003099-1 is not prime. Res64: 485ADD0CE61EA7AA Time : 0.0 sec. user=mdettweiler [2012-01-28 22:59:41] 975*2^1003099-1 is not prime. Res64: 2B5D8DF1069A859B Time : 0.0 sec. user=mdettweiler [2012-01-28 22:59:42] 629*2^1003100-1 is not prime. Res64: B233C7CDAE74779C Time : 0.0 sec. user=mdettweiler [2012-01-28 22:59:55] 647*2^1003100-1 is not prime. Res64: 3808B866A516C6E7 Time : 0.0 sec. user=mdettweiler [2012-01-28 22:59:56] 665*2^1003100-1 is not prime. Res64: 7852534C4CA160E1 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:00:01] 699*2^1003100-1 is not prime. Res64: 26A1979367053DDD Time : 0.0 sec. user=mdettweiler [2012-01-28 23:00:01] 753*2^1003100-1 is not prime. Res64: CDA565ACD20EB9F9 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:06:26] 759*2^1003100-1 is not prime. Res64: C69BD315A9222760 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:06:27] 875*2^1003100-1 is not prime. Res64: 8DD72998C51314FF Time : 0.0 sec. user=mdettweiler [2012-01-28 23:19:30] 879*2^1003100-1 is not prime. Res64: A79EC721C4F28C93 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:19:30] 893*2^1003100-1 is not prime. Res64: F64F3E400F997341 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:19:33] 789*2^1003101-1 is not prime. Res64: 9108B82E675445C4 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:19:33] 867*2^1003101-1 is not prime. Res64: 83ED42859C7AAAFD Time : 0.0 sec. user=mdettweiler [2012-01-28 23:22:01] 987*2^1003101-1 is not prime. Res64: DA50C97971AC9F49 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:22:02] 705*2^1003102-1 is not prime. Res64: 0410369B4B22AFDD Time : 0.0 sec. user=mdettweiler [2012-01-28 23:28:27] 755*2^1003102-1 is not prime. Res64: 21EC6919275C569E Time : 0.0 sec. user=mdettweiler [2012-01-28 23:28:27] 923*2^1003102-1 is not prime. Res64: A46E855E5BF8C2F1 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:39:20] 759*2^1003103-1 is not prime. Res64: 28A489EC795C2292 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:39:20] 771*2^1003103-1 is not prime. Res64: CE1155114C1CE608 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:43:47] 965*2^1003102-1 is not prime. Res64: 83FE77A779BE6835 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:43:48] 987*2^1003102-1 is not prime. Res64: 6D93331E41F84208 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:44:01] 879*2^1003103-1 is not prime. Res64: CCB3BDB81427A2E9 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:44:01] 915*2^1003103-1 is not prime. Res64: BA2E43832E8A11BB Time : 0.0 sec. user=mdettweiler [2012-01-28 23:50:28] 945*2^1003103-1 is not prime. Res64: CFFE4C06E05A8CE9 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:50:29] 663*2^1003104-1 is not prime. Res64: 4154111A9166C89E Time : 0.0 sec. user=mdettweiler [2012-01-28 23:59:03] 725*2^1003104-1 is not prime. Res64: 623D9F19E5286B02 Time : 0.0 sec. user=mdettweiler [2012-01-28 23:59:04] 747*2^1003104-1 is not prime. Res64: C389FEAA1D860038 Time : 0.0 sec.