user=mdettweiler [2012-12-21 00:03:01] 939*2^1237751-1 is not prime. Res64: 69F8D4BFCEB4F909 Time : 0.0 sec. user=mdettweiler [2012-12-21 00:03:02] 635*2^1237752-1 is not prime. Res64: 0A79795240F7C095 Time : 0.0 sec. user=mdettweiler [2012-12-21 00:12:56] 719*2^1237752-1 is not prime. Res64: 74F30181248E3A31 Time : 0.0 sec. user=mdettweiler [2012-12-21 00:12:59] 737*2^1237752-1 is not prime. Res64: BF6C76EF7EDD8A2C Time : 0.0 sec. user=mdettweiler [2012-12-21 00:20:31] 809*2^1237752-1 is not prime. Res64: 1DA404616A26E9F9 Time : 0.0 sec. user=mdettweiler [2012-12-21 00:20:31] 957*2^1237752-1 is not prime. Res64: 37374493CD9D9E55 Time : 0.0 sec. user=mdettweiler [2012-12-21 00:30:26] 975*2^1237752-1 is not prime. Res64: D3AFBF61BE22426E Time : 0.0 sec. user=mdettweiler [2012-12-21 00:30:26] 983*2^1237752-1 is not prime. Res64: E04958137D01F619 Time : 0.0 sec. user=mdettweiler [2012-12-21 00:47:45] 765*2^1237753-1 is not prime. Res64: 6973FA77D3819F6F Time : 0.0 sec. user=mdettweiler [2012-12-21 00:47:46] 807*2^1237753-1 is not prime. Res64: 1928B7D48E2B3192 Time : 0.0 sec. user=mdettweiler [2012-12-21 01:05:04] 835*2^1237753-1 is not prime. Res64: F44FE13F59E764C3 Time : 0.0 sec. user=mdettweiler [2012-12-21 01:05:06] 849*2^1237753-1 is not prime. Res64: 89C34344786F6FB4 Time : 0.0 sec. user=mdettweiler [2012-12-21 01:10:35] 715*2^1237753-1 is not prime. Res64: 79552C1DCED1F09B Time : 0.0 sec. user=mdettweiler [2012-12-21 01:10:37] 747*2^1237753-1 is not prime. Res64: 4F1FE87CA6F727F3 Time : 0.0 sec. user=mdettweiler [2012-12-21 01:22:27] 889*2^1237753-1 is not prime. Res64: 4BA62EBF163036C0 Time : 0.0 sec. user=mdettweiler [2012-12-21 01:22:28] 939*2^1237753-1 is not prime. Res64: 29E426A7E660842A Time : 0.0 sec. user=mdettweiler [2012-12-21 01:28:02] 985*2^1237753-1 is not prime. Res64: 90E55FCF5C81C6A5 Time : 0.0 sec. user=mdettweiler [2012-12-21 01:28:03] 701*2^1237754-1 is not prime. Res64: D87D5F2AA721E31F Time : 0.0 sec. user=mdettweiler [2012-12-21 01:39:45] 813*2^1237754-1 is not prime. Res64: 31DC0D2ADBE4FDE6 Time : 0.0 sec. user=mdettweiler [2012-12-21 01:39:46] 831*2^1237754-1 is not prime. Res64: A8EC2B7D48FEF340 Time : 0.0 sec. user=mdettweiler [2012-12-21 01:45:22] 837*2^1237754-1 is not prime. Res64: 5B60B21DA23F0967 Time : 0.0 sec. user=mdettweiler [2012-12-21 01:45:23] 887*2^1237754-1 is not prime. Res64: 055B82B3DDDF019B Time : 0.0 sec. user=mdettweiler [2012-12-21 01:57:07] 915*2^1237754-1 is not prime. Res64: 2D57F478DFBAA0F2 Time : 0.0 sec. user=mdettweiler [2012-12-21 01:57:07] 923*2^1237754-1 is not prime. Res64: CDEAB089C39D384E Time : 0.0 sec. user=mdettweiler [2012-12-21 02:02:41] 705*2^1237755-1 is not prime. Res64: DD519CCCA48C98B2 Time : 0.0 sec. user=mdettweiler [2012-12-21 02:02:42] 723*2^1237755-1 is not prime. Res64: 34E5395679F3D2FF Time : 0.0 sec. user=mdettweiler [2012-12-21 02:21:28] 871*2^1237755-1 is not prime. Res64: D247E44F52764EC2 Time : 0.0 sec. user=mdettweiler [2012-12-21 02:21:28] 617*2^1237756-1 is not prime. Res64: 3A72B0EB648539D6 Time : 0.0 sec. user=mdettweiler [2012-12-21 02:21:29] 919*2^1237755-1 is not prime. Res64: 52F03954472902EE Time : 0.0 sec. user=mdettweiler [2012-12-21 02:21:29] 639*2^1237756-1 is not prime. Res64: E4682758DDBBCD38 Time : 0.0 sec. user=mdettweiler [2012-12-21 02:38:48] 639*2^1237596-1 is not prime. Res64: 4F34BCD10C106CAE Time : 0.0 sec. user=mdettweiler [2012-12-21 02:38:49] 707*2^1237756-1 is not prime. Res64: 5918B36FD801A8DE Time : 0.0 sec. user=mdettweiler [2012-12-21 02:38:51] 843*2^1237756-1 is not prime. Res64: A56D0F5B661A40E3 Time : 0.0 sec. user=mdettweiler [2012-12-21 02:38:52] 905*2^1237756-1 is not prime. Res64: 6EE5B26E4C4152DB Time : 0.0 sec. user=mdettweiler [2012-12-21 02:56:17] 909*2^1237756-1 is not prime. Res64: 0E4B0425641A36AF Time : 0.0 sec. user=mdettweiler [2012-12-21 02:56:18] 965*2^1237756-1 is not prime. Res64: C944A003119C290A Time : 0.0 sec. user=mdettweiler [2012-12-21 02:56:19] 953*2^1237756-1 is not prime. Res64: EF50D9AD7180A7BF Time : 0.0 sec. user=mdettweiler [2012-12-21 02:56:19] 619*2^1237757-1 is not prime. Res64: 3831A6E65019D3C8 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:13:42] 631*2^1237757-1 is not prime. Res64: 32045C465B29CC37 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:13:42] 645*2^1237757-1 is not prime. Res64: 794E8BE2BE99BCA3 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:13:44] 691*2^1237757-1 is not prime. Res64: 747CAEB859BD7059 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:13:45] 697*2^1237757-1 is not prime. Res64: 0745EC80835F7EE2 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:31:01] 711*2^1237757-1 is not prime. Res64: B9C3ADEECF81C120 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:31:02] 729*2^1237757-1 is not prime. Res64: EE461B91522A96A5 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:31:03] 727*2^1237757-1 is not prime. Res64: 8EB3AC0A38483290 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:31:03] 741*2^1237757-1 is not prime. Res64: 317D962C7740F59E Time : 0.0 sec. user=mdettweiler [2012-12-21 03:48:25] 747*2^1237757-1 is not prime. Res64: 07F6B98DB7D8B841 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:48:26] 757*2^1237757-1 is not prime. Res64: 0F8C75ED879C3C28 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:48:26] 861*2^1237757-1 is not prime. Res64: 15E72B07C6D19083 Time : 0.0 sec. user=mdettweiler [2012-12-21 03:48:27] 867*2^1237757-1 is not prime. Res64: FFC2D2886388C4CC Time : 0.0 sec. user=mdettweiler [2012-12-21 04:05:53] 885*2^1237757-1 is not prime. Res64: 28CC853F0818D95B Time : 0.0 sec. user=mdettweiler [2012-12-21 04:05:54] 927*2^1237757-1 is not prime. Res64: 31CDBED63F3C4E62 Time : 0.0 sec. user=mdettweiler [2012-12-21 04:05:56] 611*2^1237758-1 is not prime. Res64: 4C7B945FBFF93B91 Time : 0.0 sec. user=mdettweiler [2012-12-21 04:05:57] 651*2^1237758-1 is not prime. Res64: 2B04F7F27BE3C590 Time : 0.0 sec. user=mdettweiler [2012-12-21 04:23:18] 971*2^1237758-1 is not prime. Res64: 81179F578F53CAC9 Time : 0.0 sec. user=mdettweiler [2012-12-21 04:23:18] 755*2^1237758-1 is not prime. Res64: A83691D2248D438E Time : 0.0 sec. user=mdettweiler [2012-12-21 04:23:18] 621*2^1237759-1 is not prime. Res64: EB6B2E12DE42A15D Time : 0.0 sec. user=mdettweiler [2012-12-21 04:23:19] 881*2^1237758-1 is not prime. Res64: BD1EA6C40C492C5D Time : 0.0 sec. user=mdettweiler [2012-12-21 04:40:37] 763*2^1237759-1 is not prime. Res64: 087989613291299D Time : 0.0 sec. user=mdettweiler [2012-12-21 04:40:38] 771*2^1237759-1 is not prime. Res64: E03BAF737EEE5EDE Time : 0.0 sec. user=mdettweiler [2012-12-21 04:40:40] 873*2^1237759-1 is not prime. Res64: 959CBCF6BC0374D1 Time : 0.0 sec. user=mdettweiler [2012-12-21 04:40:40] 885*2^1237759-1 is not prime. Res64: 64A873A74975AEA7 Time : 0.0 sec. user=mdettweiler [2012-12-21 04:58:00] 909*2^1237759-1 is not prime. Res64: 7EB71C90D147FD34 Time : 0.0 sec. user=mdettweiler [2012-12-21 04:58:02] 919*2^1237759-1 is not prime. Res64: 8740F751426BCD30 Time : 0.0 sec. user=mdettweiler [2012-12-21 04:58:02] 629*2^1237760-1 is not prime. Res64: B7006A50E9CC906A Time : 0.0 sec. user=mdettweiler [2012-12-21 04:58:03] 645*2^1237760-1 is not prime. Res64: F0082A5529AE0EC3 Time : 0.0 sec. user=mdettweiler [2012-12-21 05:15:20] 827*2^1237760-1 is not prime. Res64: 65E52ED3F589AE10 Time : 0.0 sec. user=mdettweiler [2012-12-21 05:15:21] 843*2^1237760-1 is not prime. Res64: AD86A1F5C3FDF4BC Time : 0.0 sec. user=mdettweiler [2012-12-21 05:15:28] 909*2^1237760-1 is not prime. Res64: 5AF5D584AA3B270F Time : 0.0 sec. user=mdettweiler [2012-12-21 05:15:29] 917*2^1237760-1 is not prime. Res64: D5293CF8490A1A0D Time : 0.0 sec. user=mdettweiler [2012-12-21 05:32:42] 977*2^1237760-1 is not prime. Res64: 9A4F5DB17F20DA04 Time : 0.0 sec. user=mdettweiler [2012-12-21 05:32:43] 627*2^1237761-1 is not prime. Res64: 209CB7A28D2BCB48 Time : 0.0 sec. user=mdettweiler [2012-12-21 05:32:46] 637*2^1237761-1 is not prime. Res64: B5718F7195D26677 Time : 0.0 sec. user=mdettweiler [2012-12-21 05:32:47] 735*2^1237761-1 is not prime. Res64: 812F139B97217C4C Time : 0.0 sec. user=mdettweiler [2012-12-21 05:50:04] 817*2^1237761-1 is not prime. Res64: FB117C65BB7A933C Time : 0.0 sec. user=mdettweiler [2012-12-21 05:50:04] 909*2^1237761-1 is not prime. Res64: 58E2E121665D16ED Time : 0.0 sec. user=mdettweiler [2012-12-21 05:50:04] 861*2^1237761-1 is not prime. Res64: 16E5360B221D8122 Time : 0.0 sec. user=mdettweiler [2012-12-21 05:50:05] 803*2^1237762-1 is not prime. Res64: 89BE0E01C1A15977 Time : 0.0 sec. user=mdettweiler [2012-12-21 06:07:23] 811*2^1237763-1 is not prime. Res64: 240BBD5AB6E76A9B Time : 0.0 sec. user=mdettweiler [2012-12-21 06:07:25] 609*2^1237764-1 is not prime. Res64: B7C6D92A84BE58E5 Time : 0.0 sec. user=mdettweiler [2012-12-21 06:07:26] 915*2^1237762-1 is not prime. Res64: D29FBC1037071909 Time : 0.0 sec. user=mdettweiler [2012-12-21 06:07:26] 987*2^1237762-1 is not prime. Res64: 3500B73E189BC4F6 Time : 0.0 sec. user=mdettweiler [2012-12-21 06:24:46] 657*2^1237764-1 is not prime. Res64: 461792E7F34CC399 Time : 0.0 sec. user=mdettweiler [2012-12-21 06:24:47] 837*2^1237764-1 is not prime. Res64: 0A4DB2C36C7AEE3B Time : 0.0 sec. user=mdettweiler [2012-12-21 06:24:50] 887*2^1237764-1 is not prime. Res64: 15E830CE984034A3 Time : 0.0 sec. user=mdettweiler [2012-12-21 06:24:51] 893*2^1237764-1 is not prime. Res64: 9D0DF41ED36F3EE7 Time : 0.0 sec. user=mdettweiler [2012-12-21 06:42:12] 661*2^1237765-1 is not prime. Res64: 3B4FC161293B3F8C Time : 0.0 sec. user=mdettweiler [2012-12-21 06:42:12] 667*2^1237765-1 is not prime. Res64: 71CEDA76FF4A8949 Time : 0.0 sec. user=mdettweiler [2012-12-21 06:42:13] 685*2^1237765-1 is not prime. Res64: 6E8662C46464AD13 Time : 0.0 sec. user=mdettweiler [2012-12-21 06:42:14] 877*2^1237765-1 is not prime. Res64: C7A34828F54F27AB Time : 0.0 sec. user=mdettweiler [2012-12-21 06:59:30] 939*2^1237765-1 is not prime. Res64: CD02C51234E6E427 Time : 0.0 sec. user=mdettweiler [2012-12-21 06:59:30] 657*2^1237766-1 is not prime. Res64: 4C0F6CE91AE526FC Time : 0.0 sec. user=mdettweiler [2012-12-21 06:59:31] 623*2^1237766-1 is not prime. Res64: 6FD57007B2BD817D Time : 0.0 sec. user=mdettweiler [2012-12-21 06:59:31] 801*2^1237766-1 is not prime. Res64: 481DCE69DF71A159 Time : 0.0 sec. user=mdettweiler [2012-12-21 07:16:49] 815*2^1237766-1 is not prime. Res64: 4A3A41791BB6EDE3 Time : 0.0 sec. user=mdettweiler [2012-12-21 07:16:49] 825*2^1237766-1 is not prime. Res64: 0D1208D3301C635F Time : 0.0 sec. user=mdettweiler [2012-12-21 07:16:50] 827*2^1237766-1 is not prime. Res64: 3A2E8D26FCE1EB76 Time : 0.0 sec. user=mdettweiler [2012-12-21 07:16:51] 911*2^1237766-1 is not prime. Res64: EA62D5C8A2B21402 Time : 0.0 sec. user=mdettweiler [2012-12-21 07:34:09] 945*2^1237766-1 is not prime. Res64: 371B634A090BB9DC Time : 0.0 sec. user=mdettweiler [2012-12-21 07:34:10] 823*2^1237767-1 is not prime. Res64: 89AC5747CF0065D9 Time : 0.0 sec. user=mdettweiler [2012-12-21 07:34:10] 971*2^1237766-1 is not prime. Res64: 53D34154B0522E9C Time : 0.0 sec. user=mdettweiler [2012-12-21 07:34:10] 865*2^1237767-1 is not prime. Res64: 3D80FFFA3CBB1E90 Time : 0.0 sec. user=mdettweiler [2012-12-21 07:51:27] 617*2^1237768-1 is not prime. Res64: 2AB520EE6B7ABDAA Time : 0.0 sec. user=mdettweiler [2012-12-21 07:51:28] 687*2^1237768-1 is not prime. Res64: 5F16A7DADB7BBA01 Time : 0.0 sec. user=mdettweiler [2012-12-21 07:51:31] 713*2^1237768-1 is not prime. Res64: 6D4685D4629358E6 Time : 0.0 sec. user=mdettweiler [2012-12-21 07:51:31] 747*2^1237768-1 is not prime. Res64: 4CE35D01BA3D555A Time : 0.0 sec. user=mdettweiler [2012-12-21 08:08:45] 839*2^1237768-1 is not prime. Res64: D0C7C683F4F86F13 Time : 0.0 sec. user=mdettweiler [2012-12-21 08:08:47] 869*2^1237768-1 is not prime. Res64: 47A2DEA2FF037591 Time : 0.0 sec. user=mdettweiler [2012-12-21 08:08:48] 957*2^1237768-1 is not prime. Res64: 6910EAB1CCDDA549 Time : 0.0 sec. user=mdettweiler [2012-12-21 08:08:51] 989*2^1237768-1 is not prime. Res64: EE47F5C7A93A07D9 Time : 0.0 sec. user=mdettweiler [2012-12-21 08:26:16] 657*2^1237769-1 is not prime. Res64: 84C291226EDBE483 Time : 0.0 sec. user=mdettweiler [2012-12-21 08:26:17] 727*2^1237769-1 is not prime. Res64: CAE38F28F91A7833 Time : 0.0 sec. user=mdettweiler [2012-12-21 08:26:19] 747*2^1237769-1 is not prime. Res64: 38E32C403AD19D53 Time : 0.0 sec. user=mdettweiler [2012-12-21 08:26:20] 861*2^1237769-1 is not prime. Res64: 8766508C79F47410 Time : 0.0 sec. user=mdettweiler [2012-12-21 08:43:35] 939*2^1237769-1 is not prime. Res64: 74152FE592A673DF Time : 0.0 sec. user=mdettweiler [2012-12-21 08:43:35] 955*2^1237769-1 is not prime. Res64: 43DF995A6EC3F3A6 Time : 0.0 sec. user=mdettweiler [2012-12-21 08:43:38] 969*2^1237769-1 is not prime. Res64: 40871D0615A3A54E Time : 0.0 sec. user=mdettweiler [2012-12-21 08:43:38] 677*2^1237770-1 is not prime. Res64: 30A6BE5174E68208 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:00:53] 725*2^1237770-1 is not prime. Res64: 6702EDF1E4638801 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:00:54] 777*2^1237770-1 is not prime. Res64: 1F6261F69394B2A1 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:00:55] 645*2^1237771-1 is not prime. Res64: 0CCC6422C2DB09BC Time : 0.0 sec. user=mdettweiler [2012-12-21 09:00:57] 673*2^1237771-1 is not prime. Res64: F2A5A615CE67C50E Time : 0.0 sec. user=mdettweiler [2012-12-21 09:18:23] 693*2^1237771-1 is not prime. Res64: D1E481DCCEBA3C84 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:18:23] 733*2^1237771-1 is not prime. Res64: 69585CD31177A44C Time : 0.0 sec. user=mdettweiler [2012-12-21 09:18:24] 741*2^1237771-1 is not prime. Res64: 4F350912C650CA24 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:18:25] 745*2^1237771-1 is not prime. Res64: C032C61EB8BD9524 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:35:42] 883*2^1237771-1 is not prime. Res64: CF1EB20F18FF8493 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:35:43] 735*2^1237772-1 is not prime. Res64: 219814F1097BF562 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:35:43] 903*2^1237772-1 is not prime. Res64: 394420CE0BBF1B79 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:35:43] 717*2^1237772-1 is not prime. Res64: 41D8A6294770186B Time : 0.0 sec. user=mdettweiler [2012-12-21 09:53:01] 607*2^1237773-1 is not prime. Res64: 28985B05A3494632 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:53:01] 699*2^1237773-1 is not prime. Res64: 8E65DE0FD8C75B99 Time : 0.0 sec. user=mdettweiler [2012-12-21 09:53:08] 769*2^1237773-1 is not prime. Res64: DE78DFF6942D847A Time : 0.0 sec. user=mdettweiler [2012-12-21 09:53:08] 781*2^1237773-1 is not prime. Res64: 2EFEE1F9AFA4F514 Time : 0.0 sec. user=mdettweiler [2012-12-21 10:10:19] 819*2^1237773-1 is not prime. Res64: B1FC288CFE4447BC Time : 0.0 sec. user=mdettweiler [2012-12-21 10:10:21] 877*2^1237773-1 is not prime. Res64: DDF96FDE9FCBC15F Time : 0.0 sec. user=mdettweiler [2012-12-21 10:10:26] 999*2^1237773-1 is not prime. Res64: BB263093F54BCC69 Time : 0.0 sec. user=mdettweiler [2012-12-21 10:10:28] 605*2^1237774-1 is not prime. Res64: BDB58CE51D57EDC7 Time : 0.0 sec. user=mdettweiler [2012-12-21 10:27:45] 755*2^1237774-1 is not prime. Res64: F0642A0F5B33B33C Time : 0.0 sec. user=mdettweiler [2012-12-21 10:27:45] 773*2^1237774-1 is not prime. Res64: 2502F7491A16828D Time : 0.0 sec. user=mdettweiler [2012-12-21 10:27:48] 821*2^1237774-1 is not prime. Res64: 911A0E48AA5ADED6 Time : 0.0 sec. user=mdettweiler [2012-12-21 10:27:49] 643*2^1237775-1 is not prime. Res64: CCDAA0BEBE41D6C0 Time : 0.0 sec. user=mdettweiler [2012-12-21 10:45:03] 739*2^1237775-1 is not prime. Res64: 818C26CD45F854A4 Time : 0.0 sec. user=mdettweiler [2012-12-21 10:45:04] 789*2^1237775-1 is not prime. Res64: BFD0B42FDADA6555 Time : 0.0 sec. user=mdettweiler [2012-12-21 10:45:07] 825*2^1237775-1 is not prime. Res64: A2630CFFB6D733E2 Time : 0.0 sec. user=mdettweiler [2012-12-21 10:45:07] 855*2^1237775-1 is not prime. Res64: CAD601342A1E039F Time : 0.0 sec. user=mdettweiler [2012-12-21 11:02:22] 973*2^1237775-1 is not prime. Res64: 1B38AFAF0397FFDD Time : 0.0 sec. user=mdettweiler [2012-12-21 11:02:25] 981*2^1237775-1 is not prime. Res64: E6C9A5D50C09D5D8 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:02:29] 615*2^1237776-1 is not prime. Res64: 7230032326A81FF3 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:02:31] 669*2^1237776-1 is not prime. Res64: 811A332C11BE9E99 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:20:11] 735*2^1237776-1 is not prime. Res64: 37A5335F711934CA Time : 0.0 sec. user=mdettweiler [2012-12-21 11:20:12] 825*2^1237776-1 is not prime. Res64: 8F0DF8AA655B6434 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:20:19] 947*2^1237776-1 is not prime. Res64: 93B9A97D4747AD5A Time : 0.0 sec. user=mdettweiler [2012-12-21 11:20:20] 895*2^1237777-1 is not prime. Res64: 063A1A46B379D301 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:37:38] 997*2^1237777-1 is not prime. Res64: 3DF19DDE66BB7DC7 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:37:39] 623*2^1237778-1 is not prime. Res64: 4049DAF42F81BEDB Time : 0.0 sec. user=mdettweiler [2012-12-21 11:37:40] 797*2^1237778-1 is not prime. Res64: 09B02BC4CA5380F0 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:37:40] 993*2^1237778-1 is not prime. Res64: 84F837A38A97CEF6 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:55:09] 633*2^1237779-1 is not prime. Res64: CCC3C45092ED4F78 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:55:10] 895*2^1237779-1 is not prime. Res64: B95FBA7A11A353C1 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:55:10] 921*2^1237779-1 is not prime. Res64: 749D99962A5798E9 Time : 0.0 sec. user=mdettweiler [2012-12-21 11:55:11] 955*2^1237779-1 is not prime. Res64: 18A11ED6CA836EED Time : 0.0 sec. user=mdettweiler [2012-12-21 12:12:36] 991*2^1237779-1 is not prime. Res64: F12F164566C55D01 Time : 0.0 sec. user=mdettweiler [2012-12-21 12:12:37] 857*2^1237780-1 is not prime. Res64: 8CDEDF323DBD935B Time : 0.0 sec. user=mdettweiler [2012-12-21 12:12:37] 827*2^1237780-1 is not prime. Res64: 2ED047086798B49C Time : 0.0 sec. user=mdettweiler [2012-12-21 12:12:37] 619*2^1237781-1 is not prime. Res64: 5F2B42C1A36FACCC Time : 0.0 sec. user=mdettweiler [2012-12-21 12:29:59] 631*2^1237781-1 is not prime. Res64: 43BA668BE58C669C Time : 0.0 sec. user=mdettweiler [2012-12-21 12:30:00] 645*2^1237781-1 is not prime. Res64: ABB75A43E5D2C5A5 Time : 0.0 sec. user=mdettweiler [2012-12-21 12:30:01] 901*2^1237781-1 is not prime. Res64: 199A4E3C35CCCE5D Time : 0.0 sec. user=mdettweiler [2012-12-21 12:30:02] 949*2^1237781-1 is not prime. Res64: 50EE6309C1D87E60 Time : 0.0 sec. user=mdettweiler [2012-12-21 12:47:20] 651*2^1237782-1 is not prime. Res64: A3D020B121FDA422 Time : 0.0 sec. user=mdettweiler [2012-12-21 12:47:20] 657*2^1237782-1 is not prime. Res64: 344091FDE061D3FC Time : 0.0 sec. user=mdettweiler [2012-12-21 12:47:22] 713*2^1237782-1 is not prime. Res64: 8125415B0ADAC58F Time : 0.0 sec. user=mdettweiler [2012-12-21 12:47:23] 761*2^1237782-1 is not prime. Res64: 666C3A6509B74490 Time : 0.0 sec. user=mdettweiler [2012-12-21 13:04:45] 777*2^1237782-1 is not prime. Res64: D33A6D52F443AA84 Time : 0.0 sec. user=mdettweiler [2012-12-21 13:04:46] 891*2^1237782-1 is not prime. Res64: 2BBF7C419ADB622F Time : 0.0 sec. user=mdettweiler [2012-12-21 13:04:48] 963*2^1237782-1 is not prime. Res64: 2034ABBFB5CB2A52 Time : 0.0 sec. user=mdettweiler [2012-12-21 13:04:50] 977*2^1237782-1 is not prime. Res64: AC405036CCD86A32 Time : 0.0 sec. user=mdettweiler [2012-12-21 13:22:35] 619*2^1237783-1 is not prime. Res64: F2D28AD46F5D954E Time : 0.0 sec. user=mdettweiler [2012-12-21 13:22:35] 639*2^1237783-1 is not prime. Res64: FCE32C283A5B6F3C Time : 0.0 sec. user=mdettweiler [2012-12-21 13:22:35] 649*2^1237783-1 is not prime. Res64: 7455AAB694C188D4 Time : 0.0 sec. user=mdettweiler [2012-12-21 13:22:35] 741*2^1237783-1 is not prime. Res64: F5615B1B06C928C0 Time : 0.0 sec. user=mdettweiler [2012-12-21 13:40:22] 805*2^1237783-1 is not prime. Res64: A9CF0CE7BBD28285 Time : 0.0 sec. user=mdettweiler [2012-12-21 13:40:22] 885*2^1237783-1 is not prime. Res64: 9C0A268E33B02CEA Time : 0.0 sec. user=mdettweiler [2012-12-21 13:40:23] 609*2^1237784-1 is not prime. Res64: A829F25A9DA593D4 Time : 0.0 sec. user=mdettweiler [2012-12-21 13:40:23] 789*2^1237784-1 is not prime. Res64: 035A6C806750B29F Time : 0.0 sec. user=mdettweiler [2012-12-21 13:58:06] 649*2^1237785-1 is not prime. Res64: 7ED053124BDDBDE8 Time : 0.0 sec. user=mdettweiler [2012-12-21 13:58:06] 727*2^1237785-1 is not prime. Res64: 85EF4E74515D83E9 Time : 0.0 sec. user=mdettweiler [2012-12-21 13:58:07] 825*2^1237784-1 is not prime. Res64: 7367FBD52B4B38FD Time : 0.0 sec. user=mdettweiler [2012-12-21 13:58:08] 995*2^1237784-1 is not prime. Res64: 1DF3547473A7D964 Time : 0.0 sec. user=mdettweiler [2012-12-21 14:15:31] 739*2^1237785-1 is not prime. Res64: FA6429C6295771EC Time : 0.0 sec. user=mdettweiler [2012-12-21 14:15:32] 817*2^1237785-1 is not prime. Res64: F7F19F67D2AC1B9C Time : 0.0 sec. user=mdettweiler [2012-12-21 14:15:32] 765*2^1237785-1 is not prime. Res64: 7D953AA63121AEBF Time : 0.0 sec. user=mdettweiler [2012-12-21 14:15:32] 997*2^1237785-1 is not prime. Res64: 3AF781E6CB979C94 Time : 0.0 sec. user=mdettweiler [2012-12-21 14:33:02] 747*2^1237786-1 is not prime. Res64: 77B286C168A8E4E0 Time : 0.0 sec. user=mdettweiler [2012-12-21 14:33:03] 803*2^1237786-1 is not prime. Res64: BCAA1399BE6BE92F Time : 0.0 sec. user=mdettweiler [2012-12-21 14:33:04] 825*2^1237786-1 is not prime. Res64: 0EE8AB8F8B0C46BB Time : 0.0 sec. user=mdettweiler [2012-12-21 14:33:05] 861*2^1237786-1 is not prime. Res64: 1B17DA02575DB8DF Time : 0.0 sec. user=mdettweiler [2012-12-21 14:50:40] 933*2^1237786-1 is not prime. Res64: 716ED184B690D112 Time : 0.0 sec. user=mdettweiler [2012-12-21 14:50:40] 645*2^1237787-1 is not prime. Res64: 20AA492639B2863B Time : 0.0 sec. user=mdettweiler [2012-12-21 14:50:42] 693*2^1237787-1 is not prime. Res64: BD11F4196CBE9D8F Time : 0.0 sec. user=mdettweiler [2012-12-21 14:50:42] 801*2^1237787-1 is not prime. Res64: E0F1924F690A7DFC Time : 0.0 sec. user=mdettweiler [2012-12-21 15:08:35] 871*2^1237787-1 is not prime. Res64: 17F0B98F69F94CCC Time : 0.0 sec. user=mdettweiler [2012-12-21 15:08:36] 915*2^1237787-1 is not prime. Res64: 532093501C24CA23 Time : 0.0 sec. user=mdettweiler [2012-12-21 15:08:37] 963*2^1237787-1 is not prime. Res64: 50B0B7853E502635 Time : 0.0 sec. user=mdettweiler [2012-12-21 15:08:39] 639*2^1237788-1 is not prime. Res64: 896098203320E379 Time : 0.0 sec. user=mdettweiler [2012-12-21 15:26:46] 683*2^1237788-1 is not prime. Res64: 3B9B4A7353C4D04E Time : 0.0 sec. user=mdettweiler [2012-12-21 15:26:46] 809*2^1237788-1 is not prime. Res64: FFFAEFB9504408CD Time : 0.0 sec. user=mdettweiler [2012-12-21 15:27:56] 639*2^1237789-1 is not prime. Res64: D3E9E0C3F376E8CD Time : 0.0 sec. user=mdettweiler [2012-12-21 15:27:57] 741*2^1237789-1 is not prime. Res64: 37DC158B963A31EB Time : 0.0 sec. user=mdettweiler [2012-12-21 15:44:36] 811*2^1237789-1 is not prime. Res64: 3FB017C3966AA32C Time : 0.0 sec. user=mdettweiler [2012-12-21 15:44:36] 817*2^1237789-1 is not prime. Res64: 5A6C1EEFDCE7F12F Time : 0.0 sec. user=mdettweiler [2012-12-21 15:45:45] 967*2^1237789-1 is not prime. Res64: AD1B963DED84C270 Time : 0.0 sec. user=mdettweiler [2012-12-21 15:45:45] 985*2^1237789-1 is not prime. Res64: 5C15ECBA6C123B0B Time : 0.0 sec. user=mdettweiler [2012-12-21 16:02:28] 677*2^1237790-1 is not prime. Res64: 63DEAC892570DC56 Time : 0.0 sec. user=mdettweiler [2012-12-21 16:02:29] 717*2^1237790-1 is not prime. Res64: 4226331CED8A44A8 Time : 0.0 sec. user=mdettweiler [2012-12-21 16:03:37] 753*2^1237790-1 is not prime. Res64: 9FD0E6DA176763F5 Time : 0.0 sec. user=mdettweiler [2012-12-21 16:03:38] 767*2^1237790-1 is not prime. Res64: 4DA518A59BA6C498 Time : 0.0 sec. user=mdettweiler [2012-12-21 16:20:32] 827*2^1237790-1 is not prime. Res64: 8BE068B446C91EAE Time : 0.0 sec. user=mdettweiler [2012-12-21 16:20:32] 977*2^1237790-1 is not prime. Res64: E52BFB5A14392FC1 Time : 0.0 sec. user=mdettweiler [2012-12-21 16:21:32] 609*2^1237791-1 is not prime. Res64: 6929D453869BF67F Time : 0.0 sec. user=mdettweiler [2012-12-21 16:21:33] 615*2^1237791-1 is not prime. Res64: 3E30FF24FBA3EA7B Time : 0.0 sec. user=mdettweiler [2012-12-21 16:38:38] 621*2^1237791-1 is not prime. Res64: B5CE5991A56C085A Time : 0.0 sec. user=mdettweiler [2012-12-21 16:38:38] 703*2^1237791-1 is not prime. Res64: 7D2591302AFC1973 Time : 0.0 sec. user=mdettweiler [2012-12-21 16:39:37] 709*2^1237791-1 is not prime. Res64: 4AC569E641FD981C Time : 0.0 sec. user=mdettweiler [2012-12-21 16:39:38] 723*2^1237791-1 is not prime. Res64: 58550AEF2FB2F8F2 Time : 0.0 sec. user=mdettweiler [2012-12-21 16:56:38] 775*2^1237791-1 is not prime. Res64: 9C2A6593DB7D63E9 Time : 0.0 sec. user=mdettweiler [2012-12-21 16:56:38] 871*2^1237791-1 is not prime. Res64: EAE660382B770A5E Time : 0.0 sec. user=mdettweiler [2012-12-21 16:57:38] 895*2^1237791-1 is not prime. Res64: CCA3AA328FB4A98D Time : 0.0 sec. user=mdettweiler [2012-12-21 16:57:38] 973*2^1237791-1 is not prime. Res64: 236501924D01A2F6 Time : 0.0 sec. user=mdettweiler [2012-12-21 17:14:31] 605*2^1237792-1 is not prime. Res64: 453BCC6B398B37FA Time : 0.0 sec. user=mdettweiler [2012-12-21 17:14:31] 609*2^1237792-1 is not prime. Res64: 26EB791C7CC11068 Time : 0.0 sec. user=mdettweiler [2012-12-21 17:15:31] 719*2^1237792-1 is not prime. Res64: D3437398BA0793E5 Time : 0.0 sec. user=mdettweiler [2012-12-21 17:15:31] 759*2^1237792-1 is not prime. Res64: 332B1CF53D1CF3CD Time : 0.0 sec. user=mdettweiler [2012-12-21 17:32:31] 765*2^1237792-1 is not prime. Res64: E0826D137903E7FC Time : 0.0 sec. user=mdettweiler [2012-12-21 17:32:31] 697*2^1237793-1 is not prime. Res64: 4A53699B00C6D081 Time : 0.0 sec. user=mdettweiler [2012-12-21 17:33:23] 699*2^1237793-1 is not prime. Res64: 576463E24203B1EC Time : 0.0 sec. user=mdettweiler [2012-12-21 17:33:24] 705*2^1237793-1 is not prime. Res64: D6C360F8D887085D Time : 0.0 sec. user=mdettweiler [2012-12-21 17:50:19] 735*2^1237793-1 is not prime. Res64: B0552842B944A409 Time : 0.0 sec. user=mdettweiler [2012-12-21 17:50:19] 789*2^1237793-1 is not prime. Res64: D40DFE94AEEC8FD6 Time : 0.0 sec. user=mdettweiler [2012-12-21 17:51:12] 861*2^1237793-1 is not prime. Res64: CC575994320FB5FB Time : 0.0 sec. user=mdettweiler [2012-12-21 17:51:13] 879*2^1237793-1 is not prime. Res64: F8E40620F5F50156 Time : 0.0 sec. user=mdettweiler [2012-12-21 18:08:13] 901*2^1237793-1 is not prime. Res64: 93DC31EBC1C288E4 Time : 0.0 sec. user=mdettweiler [2012-12-21 18:08:17] 723*2^1237794-1 is not prime. Res64: 78C96A34185F8610 Time : 0.0 sec. user=mdettweiler [2012-12-21 18:09:04] 731*2^1237794-1 is not prime. Res64: 474EDE7F3B7F6FFE Time : 0.0 sec. user=mdettweiler [2012-12-21 18:09:07] 807*2^1237794-1 is not prime. Res64: FB084926214ADA9E Time : 0.0 sec. user=mdettweiler [2012-12-21 18:26:26] 891*2^1237794-1 is not prime. Res64: 64EC321930E26224 Time : 0.0 sec. user=mdettweiler [2012-12-21 18:26:27] 751*2^1237795-1 is not prime. Res64: 7DCAEC8DD7C6F55F Time : 0.0 sec. user=mdettweiler [2012-12-21 18:27:06] 925*2^1237795-1 is not prime. Res64: AA66D7ABE98B19FC Time : 0.0 sec. user=mdettweiler [2012-12-21 18:27:06] 973*2^1237795-1 is not prime. Res64: E96942B65E6AC33C Time : 0.0 sec. user=mdettweiler [2012-12-21 18:44:21] 647*2^1237796-1 is not prime. Res64: E2CF92F6189D06C6 Time : 0.0 sec. user=mdettweiler [2012-12-21 18:44:21] 699*2^1237796-1 is not prime. Res64: BD8522A446232D04 Time : 0.0 sec. user=mdettweiler [2012-12-21 18:44:52] 923*2^1237796-1 is not prime. Res64: 6A8A1B0F804F8F8D Time : 0.0 sec. user=mdettweiler [2012-12-21 18:44:53] 625*2^1237797-1 is not prime. Res64: F60AB9092DE02B5A Time : 0.0 sec. user=mdettweiler [2012-12-21 19:02:08] 781*2^1237797-1 is not prime. Res64: 50980A1B4DC658A7 Time : 0.0 sec. user=mdettweiler [2012-12-21 19:02:09] 665*2^1237798-1 is not prime. Res64: 1E238889D28F206C Time : 0.0 sec. user=mdettweiler [2012-12-21 19:02:39] 681*2^1237798-1 is not prime. Res64: 4D71DFE7A00DD5AC Time : 0.0 sec. user=mdettweiler [2012-12-21 19:02:39] 827*2^1237798-1 is not prime. Res64: 9EC0CCDE56D37C86 Time : 0.0 sec. user=mdettweiler [2012-12-21 19:20:06] 843*2^1237798-1 is not prime. Res64: 1DC7F3C6ED64B977 Time : 0.0 sec. user=mdettweiler [2012-12-21 19:20:07] 855*2^1237798-1 is not prime. Res64: 0A85988B2E83856E Time : 0.0 sec. user=mdettweiler [2012-12-21 19:20:25] 857*2^1237798-1 is not prime. Res64: 08FF1E84DA26E247 Time : 0.0 sec. user=mdettweiler [2012-12-21 19:20:26] 861*2^1237798-1 is not prime. Res64: 02BD77425CD5EBAA Time : 0.0 sec. user=mdettweiler [2012-12-21 19:37:55] 951*2^1237798-1 is not prime. Res64: 8E331C8147ABF67F Time : 0.0 sec. user=mdettweiler [2012-12-21 19:37:55] 663*2^1237799-1 is not prime. Res64: AE13665AD60FA7C0 Time : 0.0 sec. user=mdettweiler [2012-12-21 19:38:16] 675*2^1237799-1 is not prime. Res64: 7C224B25B8FA4EC0 Time : 0.0 sec. user=mdettweiler [2012-12-21 19:38:16] 711*2^1237799-1 is not prime. Res64: 359753765C540CD2 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:19:00] 729*2^1237799-1 is not prime. Res64: 5933E0507174F028 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:19:00] 759*2^1237799-1 is not prime. Res64: BB4580A06A7EB9B7 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:19:01] 771*2^1237799-1 is not prime. Res64: 7FC673883A648931 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:19:01] 775*2^1237799-1 is not prime. Res64: 4DE6B85A3CC1A36F Time : 0.0 sec. user=vaughan [2012-12-21 20:21:34] 799*2^1237799-1 is not prime. Res64: D271B488D935C0E8 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:36:49] 893*2^1237800-1 is not prime. Res64: F6282C76BDCCC095 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:36:49] 765*2^1237800-1 is not prime. Res64: 5E5FCBEC6FC6E4E1 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:36:50] 615*2^1237801-1 is not prime. Res64: C0E6EF104A05D617 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:36:50] 863*2^1237800-1 is not prime. Res64: C9E855E00ADD32B1 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:54:34] 769*2^1237801-1 is not prime. Res64: 0EAB49C209522369 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:54:35] 847*2^1237801-1 is not prime. Res64: F9441A6542A26954 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:54:35] 801*2^1237801-1 is not prime. Res64: 2D771B3A5556C125 Time : 0.0 sec. user=mdettweiler [2012-12-21 20:54:35] 651*2^1237802-1 is not prime. Res64: 1B71C035EFAF2D1F Time : 0.0 sec. user=vaughan [2012-12-21 20:59:19] 747*2^1237801-1 is not prime. Res64: 6C914C406ECB4959 Time : 0.0 sec. user=mdettweiler [2012-12-21 21:12:20] 675*2^1237802-1 is not prime. Res64: 2A6F493166283303 Time : 0.0 sec. user=mdettweiler [2012-12-21 21:12:20] 741*2^1237802-1 is not prime. Res64: BB877F19A14B3316 Time : 0.0 sec. user=mdettweiler [2012-12-21 21:12:21] 977*2^1237802-1 is not prime. Res64: 358658280346AFCE Time : 0.0 sec. user=mdettweiler [2012-12-21 21:12:21] 981*2^1237802-1 is not prime. Res64: 959F77D6F27AF4A6 Time : 0.0 sec. user=mdettweiler [2012-12-21 21:30:07] 739*2^1237803-1 is not prime. Res64: E6661266446D8BEC Time : 0.0 sec. user=mdettweiler [2012-12-21 21:30:08] 793*2^1237803-1 is not prime. Res64: DA38AC597A29437F Time : 0.0 sec. user=mdettweiler [2012-12-21 21:30:09] 823*2^1237803-1 is not prime. Res64: 1D6BD63BA10DAB2E Time : 0.0 sec. user=mdettweiler [2012-12-21 21:30:10] 835*2^1237803-1 is not prime. Res64: 477FC95C927DBA0C Time : 0.0 sec. user=vaughan [2012-12-21 21:37:03] 679*2^1237803-1 is not prime. Res64: 4EFF826E9D4F0CBF Time : 0.0 sec. user=mdettweiler [2012-12-21 21:47:54] 985*2^1237803-1 is not prime. Res64: 5C5EADC92CDDDC02 Time : 0.0 sec. user=mdettweiler [2012-12-21 21:47:54] 609*2^1237804-1 is not prime. Res64: 0BAFB56D0D8F604A Time : 0.0 sec. user=mdettweiler [2012-12-21 21:47:55] 675*2^1237804-1 is not prime. Res64: D76EB87B1DC955E5 Time : 0.0 sec. user=mdettweiler [2012-12-21 21:47:55] 723*2^1237804-1 is not prime. Res64: 9F9CB8808ED9E191 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:05:40] 727*2^1237805-1 is not prime. Res64: F93FE8968D6BDF82 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:05:43] 777*2^1237805-1 is not prime. Res64: 0AD49B3EA57D055E Time : 0.0 sec. user=mdettweiler [2012-12-21 22:05:45] 729*2^1237805-1 is not prime. Res64: F05DC931266207A5 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:05:47] 789*2^1237805-1 is not prime. Res64: FB9483149090EBE3 Time : 0.0 sec. user=vaughan [2012-12-21 22:14:51] 905*2^1237804-1 is not prime. Res64: E5B65BCA14C3AFD0 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:23:47] 851*2^1237806-1 is not prime. Res64: AC54B3A1AF713C25 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:23:47] 649*2^1237807-1 is not prime. Res64: F68F7596637923FA Time : 0.0 sec. user=mdettweiler [2012-12-21 22:23:51] 693*2^1237807-1 is not prime. Res64: FE33FB61D5E1F9A8 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:23:52] 763*2^1237807-1 is not prime. Res64: 3A05D05C450F9487 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:41:31] 843*2^1237807-1 is not prime. Res64: 1C2DB5212D34DBD3 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:41:31] 861*2^1237807-1 is not prime. Res64: 97F314FBAAE4BE1D Time : 0.0 sec. user=mdettweiler [2012-12-21 22:41:35] 871*2^1237807-1 is not prime. Res64: AF607B1CCD680352 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:41:35] 895*2^1237807-1 is not prime. Res64: B3DE53B4C4D69D14 Time : 0.0 sec. user=vaughan [2012-12-21 22:52:40] 769*2^1237807-1 is not prime. Res64: 1B65FEF3293AE281 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:59:16] 623*2^1237808-1 is not prime. Res64: 861E6D06EC21E69E Time : 0.0 sec. user=mdettweiler [2012-12-21 22:59:16] 657*2^1237808-1 is not prime. Res64: D57F5A56FD3EEBF5 Time : 0.0 sec. user=mdettweiler [2012-12-21 22:59:19] 669*2^1237808-1 is not prime. Res64: E94E6617587B4FFC Time : 0.0 sec. user=mdettweiler [2012-12-21 22:59:20] 777*2^1237808-1 is not prime. Res64: 78FB42DFD7BCAD69 Time : 0.0 sec. user=mdettweiler [2012-12-21 23:17:01] 909*2^1237808-1 is not prime. Res64: CB0EAE88C9BFA8F7 Time : 0.0 sec. user=mdettweiler [2012-12-21 23:17:01] 945*2^1237808-1 is not prime. Res64: 29DCEAA78AFFE385 Time : 0.0 sec. user=mdettweiler [2012-12-21 23:17:04] 969*2^1237808-1 is not prime. Res64: 8D06CB8C59CE62CD Time : 0.0 sec. user=mdettweiler [2012-12-21 23:17:05] 999*2^1237808-1 is not prime. Res64: 819C1DD8C398E736 Time : 0.0 sec. user=vaughan [2012-12-21 23:30:29] 797*2^1237808-1 is not prime. Res64: 52889BC6A64F3055 Time : 0.0 sec. user=mdettweiler [2012-12-21 23:34:52] 657*2^1237809-1 is not prime. Res64: 1BE3111EDEF29E0B Time : 0.0 sec. user=mdettweiler [2012-12-21 23:34:52] 669*2^1237809-1 is not prime. Res64: C9072E1D82B31271 Time : 0.0 sec. user=mdettweiler [2012-12-21 23:34:53] 735*2^1237809-1 is not prime. Res64: FEBCD859E5979F92 Time : 0.0 sec. user=mdettweiler [2012-12-21 23:34:54] 751*2^1237809-1 is not prime. Res64: EF4099B2755D83EC Time : 0.0 sec. user=mdettweiler [2012-12-21 23:52:36] 861*2^1237809-1 is not prime. Res64: 269E8C1938FC9AD1 Time : 0.0 sec. user=mdettweiler [2012-12-21 23:52:37] 997*2^1237809-1 is not prime. Res64: DD0B5144F066A701 Time : 0.0 sec. user=mdettweiler [2012-12-21 23:52:38] 611*2^1237810-1 is not prime. Res64: 9E51C5B2991A41F0 Time : 0.0 sec. user=mdettweiler [2012-12-21 23:52:38] 635*2^1237810-1 is not prime. Res64: C53B2E42B4EC08D2 Time : 0.0 sec.