user=mdettweiler [2012-10-21 00:06:33] 983*2^1232936-1 is not prime. Res64: F4F6EB27241ABBF3 Time : 0.0 sec. user=mdettweiler [2012-10-21 00:28:04] 649*2^1232937-1 is not prime. Res64: 18B4A8840F95A2E8 Time : 0.0 sec. user=vaughan [2012-10-21 00:35:43] 739*2^1232937-1 is not prime. Res64: B64E22A9317CA6E8 Time : 0.0 sec. user=mdettweiler [2012-10-21 01:07:35] 915*2^1232937-1 is not prime. Res64: 099E84A9EBB3018E Time : 0.0 sec. user=mdettweiler [2012-10-21 01:07:39] 755*2^1232938-1 is not prime. Res64: FEB09B73B37C909B Time : 0.0 sec. user=gd_barnes [2012-10-21 01:09:59] 865*2^1232937-1 is not prime. Res64: 9ED7D8EC6267AFC0 Time : 0.0 sec. user=mdettweiler [2012-10-21 01:29:10] 779*2^1232832-1 is not prime. Res64: 660B35AB9B42CB60 Time : 0.0 sec. user=mdettweiler [2012-10-21 01:30:20] 905*2^1232938-1 is not prime. Res64: 9F3AF560749D4CD3 Time : 0.0 sec. user=vaughan [2012-10-21 01:49:21] 957*2^1232938-1 is not prime. Res64: A556421CF4D7C9F6 Time : 0.0 sec. user=mdettweiler [2012-10-21 02:06:48] 951*2^1232938-1 is not prime. Res64: ED9FDF2C6D8E1F6C Time : 0.0 sec. user=mdettweiler [2012-10-21 02:10:08] 803*2^1232832-1 is not prime. Res64: 73D19EF258B0A25B Time : 0.0 sec. user=mdettweiler [2012-10-21 02:43:35] 655*2^1232939-1 is not prime. Res64: D51288ABF16D4602 Time : 0.0 sec. user=mdettweiler [2012-10-21 02:43:36] 663*2^1232939-1 is not prime. Res64: E1B0CDF35A24BC30 Time : 0.0 sec. user=mdettweiler [2012-10-21 03:00:26] 843*2^1232939-1 is not prime. Res64: 76CCD272B3FCCC92 Time : 0.0 sec. user=vaughan [2012-10-21 03:01:09] 685*2^1232939-1 is not prime. Res64: EA82A87E33A61D70 Time : 0.0 sec. user=mdettweiler [2012-10-21 03:04:44] 609*2^1232940-1 is not prime. Res64: 550320B0EE9350C5 Time : 0.0 sec. user=mdettweiler [2012-10-21 03:05:09] 779*2^1232940-1 is not prime. Res64: 8CED509AC5D93742 Time : 0.0 sec. user=mdettweiler [2012-10-21 03:27:56] 991*2^1232939-1 is not prime. Res64: 340DE4B100357525 Time : 0.0 sec. user=mdettweiler [2012-10-21 04:06:21] 863*2^1232940-1 is not prime. Res64: FD32A8F24A48FB91 Time : 0.0 sec. user=mdettweiler [2012-10-21 04:06:23] 649*2^1232941-1 is not prime. Res64: 6A12D092E4774E90 Time : 0.0 sec. user=vaughan [2012-10-21 04:15:11] 795*2^1232940-1 is not prime. Res64: D8813F1FCEED7602 Time : 0.0 sec. user=mdettweiler [2012-10-21 04:16:20] 679*2^1232941-1 is not prime. Res64: 59D6696722AE2B30 Time : 0.0 sec. user=mdettweiler [2012-10-21 04:27:33] 855*2^1232941-1 is not prime. Res64: B71B97AE5F87F759 Time : 0.0 sec. user=mdettweiler [2012-10-21 04:27:33] 861*2^1232941-1 is not prime. Res64: E54F1EE8C25759CB Time : 0.0 sec. user=mdettweiler [2012-10-21 04:48:53] 877*2^1232941-1 is not prime. Res64: 9DE25DB492D43429 Time : 0.0 sec. user=mdettweiler [2012-10-21 04:48:54] 927*2^1232941-1 is not prime. Res64: 21718A96DB91DA4E Time : 0.0 sec. user=mdettweiler [2012-10-21 04:49:13] 741*2^1232941-1 is not prime. Res64: D1F2902AEC0E60E0 Time : 0.0 sec. user=vaughan [2012-10-21 04:53:28] 871*2^1232941-1 is not prime. Res64: CD6A83AA7C0AC84F Time : 0.0 sec. user=mdettweiler [2012-10-21 05:10:15] 961*2^1232941-1 is not prime. Res64: 87EDEF485653A1FD Time : 0.0 sec. user=mdettweiler [2012-10-21 05:10:17] 617*2^1232942-1 is not prime. Res64: C3858056CDC2DFBF Time : 0.0 sec. user=mdettweiler [2012-10-21 05:10:18] 713*2^1232942-1 is not prime. Res64: 345DFB9F1E6B1D49 Time : 0.0 sec. user=mdettweiler [2012-10-21 05:31:43] 741*2^1232942-1 is not prime. Res64: 3A0B1BDF58AD93B5 Time : 0.0 sec. user=mdettweiler [2012-10-21 05:31:44] 813*2^1232942-1 is not prime. Res64: 8DAFA41BFC102E13 Time : 0.0 sec. user=mdettweiler [2012-10-21 05:52:25] 997*2^1232941-1 is not prime. Res64: 52C3CD823BB50839 Time : 0.0 sec. user=mdettweiler [2012-10-21 05:52:50] 951*2^1232942-1 is not prime. Res64: 89DB5486E8195230 Time : 0.0 sec. user=mdettweiler [2012-10-21 05:52:51] 685*2^1232943-1 is not prime. Res64: 6048323C0F7D6044 Time : 0.0 sec. user=vaughan [2012-10-21 06:05:16] 915*2^1232942-1 is not prime. Res64: AD6F0FD825E32038 Time : 0.0 sec. user=mdettweiler [2012-10-21 06:13:32] 783*2^1232943-1 is not prime. Res64: 1D20B30677D44362 Time : 0.0 sec. user=mdettweiler [2012-10-21 06:13:34] 793*2^1232943-1 is not prime. Res64: 7324BF0C6AC5A718 Time : 0.0 sec. user=mdettweiler [2012-10-21 06:13:55] 819*2^1232943-1 is not prime. Res64: 3E63E2EF9EC09813 Time : 0.0 sec. user=mdettweiler [2012-10-21 06:13:59] 829*2^1232943-1 is not prime. Res64: B3DAFCCE87AF6C69 Time : 0.0 sec. user=mdettweiler [2012-10-21 06:34:59] 921*2^1232943-1 is not prime. Res64: 50E1793A4C9F6E58 Time : 0.0 sec. user=mdettweiler [2012-10-21 06:35:00] 605*2^1232944-1 is not prime. Res64: 99257742BD35E21A Time : 0.0 sec. user=mdettweiler [2012-10-21 06:35:35] 609*2^1232944-1 is not prime. Res64: 9665D0429BCB3C4C Time : 0.0 sec. user=mdettweiler [2012-10-21 06:56:03] 629*2^1232944-1 is not prime. Res64: 33751643F49E6513 Time : 0.0 sec. user=mdettweiler [2012-10-21 06:56:32] 785*2^1232944-1 is not prime. Res64: 76DD2D0FD2AC2A5F Time : 0.0 sec. user=mdettweiler [2012-10-21 07:04:33] 623*2^1232944-1 is not prime. Res64: BA8D253F7CE990A1 Time : 0.0 sec. user=vaughan [2012-10-21 07:20:35] 827*2^1232944-1 is not prime. Res64: F96A0CEF983D328F Time : 0.0 sec. user=mdettweiler [2012-10-21 07:25:57] 869*2^1232944-1 is not prime. Res64: 54B33EFEEA4A216C Time : 0.0 sec. user=mdettweiler [2012-10-21 07:25:58] 899*2^1232944-1 is not prime. Res64: 271778805D795036 Time : 0.0 sec. user=mdettweiler [2012-10-21 07:47:06] 915*2^1232944-1 is not prime. Res64: 4F5898A2E3A5535C Time : 0.0 sec. user=mdettweiler [2012-10-21 07:47:07] 939*2^1232944-1 is not prime. Res64: 6CDED7F718C0AF20 Time : 0.0 sec. user=mdettweiler [2012-10-21 07:53:38] 969*2^1232944-1 is not prime. Res64: B35BB081AFA26E56 Time : 0.0 sec. user=mdettweiler [2012-10-21 07:53:38] 975*2^1232944-1 is not prime. Res64: A1D52C59186D320F Time : 0.0 sec. user=mdettweiler [2012-10-21 08:08:15] 657*2^1232945-1 is not prime. Res64: 42E24ACC6BEE3CAB Time : 0.0 sec. user=mdettweiler [2012-10-21 08:08:16] 741*2^1232945-1 is not prime. Res64: D7B2FC75F1C66516 Time : 0.0 sec. user=mdettweiler [2012-10-21 08:14:50] 657*2^1232946-1 is not prime. Res64: DC03F38AF2C3B579 Time : 0.0 sec. user=mdettweiler [2012-10-21 08:29:23] 717*2^1232946-1 is not prime. Res64: B41E49A42AC39F23 Time : 0.0 sec. user=mdettweiler [2012-10-21 08:29:24] 725*2^1232946-1 is not prime. Res64: CB0913B336DD0698 Time : 0.0 sec. user=vaughan [2012-10-21 08:31:12] 799*2^1232945-1 is not prime. Res64: 472040E4AB3EFB42 Time : 0.0 sec. user=mdettweiler [2012-10-21 08:43:26] 705*2^1232946-1 is not prime. Res64: 2CE50C5D940E7D51 Time : 0.0 sec. user=mdettweiler [2012-10-21 08:50:25] 747*2^1232946-1 is not prime. Res64: 3DA8296D7AEFF073 Time : 0.0 sec. user=mdettweiler [2012-10-21 08:50:26] 755*2^1232946-1 is not prime. Res64: 2514A33C8DC516F7 Time : 0.0 sec. user=mdettweiler [2012-10-21 09:04:31] 903*2^1232946-1 is not prime. Res64: F41E5B4E0375834F Time : 0.0 sec. user=mdettweiler [2012-10-21 09:04:32] 923*2^1232946-1 is not prime. Res64: 4236E2F2C224A801 Time : 0.0 sec. user=mdettweiler [2012-10-21 09:11:26] 1001*2^1232946-1 is not prime. Res64: 1406F20B47A86F90 Time : 0.0 sec. user=mdettweiler [2012-10-21 09:11:28] 703*2^1232947-1 is not prime. Res64: 0236CF78514A2E1A Time : 0.0 sec. user=mdettweiler [2012-10-21 09:25:44] 705*2^1232947-1 is not prime. Res64: 3861F756D2764DC2 Time : 0.0 sec. user=mdettweiler [2012-10-21 09:32:52] 939*2^1232947-1 is not prime. Res64: 9360C3788956749C Time : 0.0 sec. user=mdettweiler [2012-10-21 09:32:52] 985*2^1232947-1 is not prime. Res64: 3D0A9E0AC17F9BAA Time : 0.0 sec. user=vaughan [2012-10-21 09:44:47] 919*2^1232947-1 is not prime. Res64: 452C1B9B837435ED Time : 0.0 sec. user=mdettweiler [2012-10-21 09:54:05] 615*2^1232948-1 is not prime. Res64: AE1C89547FCE3EF8 Time : 0.0 sec. user=mdettweiler [2012-10-21 09:57:44] 775*2^1232947-1 is not prime. Res64: 44FBB4F9135BBA94 Time : 0.0 sec. user=mdettweiler [2012-10-21 10:19:04] 837*2^1232948-1 is not prime. Res64: 958131B6B95B1B89 Time : 0.0 sec. user=mdettweiler [2012-10-21 10:19:04] 875*2^1232948-1 is not prime. Res64: 7C20B552DD0459A8 Time : 0.0 sec. user=mdettweiler [2012-10-21 10:27:23] 735*2^1232948-1 is not prime. Res64: EC8BC0F8E9B4518E Time : 0.0 sec. user=mdettweiler [2012-10-21 10:40:06] 909*2^1232948-1 is not prime. Res64: 96498F8D5A29DF59 Time : 0.0 sec. user=mdettweiler [2012-10-21 10:40:07] 963*2^1232948-1 is not prime. Res64: 2759E3F57B8378BE Time : 0.0 sec. user=mdettweiler [2012-10-21 10:48:23] 691*2^1232949-1 is not prime. Res64: 3A4D328CF1A4CBA1 Time : 0.0 sec. user=mdettweiler [2012-10-21 10:48:23] 765*2^1232949-1 is not prime. Res64: 26F0B34643C388B9 Time : 0.0 sec. user=vaughan [2012-10-21 10:57:52] 621*2^1232949-1 is not prime. Res64: FC65EA5B47385E1C Time : 0.0 sec. user=mdettweiler [2012-10-21 11:01:15] 891*2^1232949-1 is not prime. Res64: 0D3F14E9B13CA5FE Time : 0.0 sec. user=mdettweiler [2012-10-21 11:09:24] 603*2^1232950-1 is not prime. Res64: 5AFCD10BD66387FA Time : 0.0 sec. user=mdettweiler [2012-10-21 11:09:25] 695*2^1232950-1 is not prime. Res64: C8B49238941BB93F Time : 0.0 sec. user=mdettweiler [2012-10-21 11:30:59] 755*2^1232950-1 is not prime. Res64: 8FC298495D01EB84 Time : 0.0 sec. user=mdettweiler [2012-10-21 11:31:00] 987*2^1232950-1 is not prime. Res64: B63EC8B1080CC28C Time : 0.0 sec. user=mdettweiler [2012-10-21 11:32:33] 949*2^1232949-1 is not prime. Res64: 8A5A6E63697AF4C0 Time : 0.0 sec. user=vaughan [2012-10-21 11:35:52] 731*2^1232950-1 is not prime. Res64: A54E3FD5D4916179 Time : 0.0 sec. user=mdettweiler [2012-10-21 11:52:22] 645*2^1232951-1 is not prime. Res64: 76AAD36DD45C056B Time : 0.0 sec. user=mdettweiler [2012-10-21 11:52:23] 675*2^1232951-1 is not prime. Res64: 92D65E39984E179A Time : 0.0 sec. user=mdettweiler [2012-10-21 11:53:56] 679*2^1232951-1 is not prime. Res64: EDB215EE0BDE2D27 Time : 0.0 sec. user=mdettweiler [2012-10-21 11:53:56] 703*2^1232951-1 is not prime. Res64: 3FBD65A4DCCA30A4 Time : 0.0 sec. user=mdettweiler [2012-10-21 12:13:39] 855*2^1232951-1 is not prime. Res64: ED84D5D2596F4DE1 Time : 0.0 sec. user=mdettweiler [2012-10-21 12:14:58] 605*2^1232952-1 is not prime. Res64: 77DB4DDBBB268149 Time : 0.0 sec. user=mdettweiler [2012-10-21 12:15:00] 627*2^1232952-1 is not prime. Res64: CE9B0CF69C8D5298 Time : 0.0 sec. user=mdettweiler [2012-10-21 12:36:10] 669*2^1232952-1 is not prime. Res64: AC4152A250D16898 Time : 0.0 sec. user=mdettweiler [2012-10-21 12:36:11] 737*2^1232952-1 is not prime. Res64: BAFC7E665F941E56 Time : 0.0 sec. user=vaughan [2012-10-21 12:49:30] 629*2^1232952-1 is not prime. Res64: 1212D3CD5298AD68 Time : 0.0 sec. user=mdettweiler [2012-10-21 12:57:13] 797*2^1232952-1 is not prime. Res64: A51C4AEAB5C1308F Time : 0.0 sec. user=mdettweiler [2012-10-21 12:57:14] 843*2^1232952-1 is not prime. Res64: 6D4FF2D43201E5F3 Time : 0.0 sec. user=mdettweiler [2012-10-21 13:05:11] 955*2^1232951-1 is not prime. Res64: A9E806719809B33B Time : 0.0 sec. user=mdettweiler [2012-10-21 13:18:24] 879*2^1232952-1 is not prime. Res64: 468CAFF2F1E08B1F Time : 0.0 sec. user=mdettweiler [2012-10-21 13:18:25] 615*2^1232953-1 is not prime. Res64: CF1D203713526142 Time : 0.0 sec. user=mdettweiler [2012-10-21 13:26:34] 619*2^1232953-1 is not prime. Res64: CBD7D7843CFB229C Time : 0.0 sec. user=mdettweiler [2012-10-21 13:26:35] 649*2^1232953-1 is not prime. Res64: AEA92C22B024C507 Time : 0.0 sec. user=vaughan [2012-10-21 13:27:11] 873*2^1232952-1 is not prime. Res64: 8529E8EAD494C555 Time : 0.0 sec. user=mdettweiler [2012-10-21 13:39:32] 687*2^1232953-1 is not prime. Res64: 3A32C36C8917A318 Time : 0.0 sec. user=mdettweiler [2012-10-21 13:39:33] 751*2^1232953-1 is not prime. Res64: 10A4357A8AB4EEBB Time : 0.0 sec. user=mdettweiler [2012-10-21 13:47:37] 801*2^1232953-1 is not prime. Res64: 9CA66F38764AD6A6 Time : 0.0 sec. user=mdettweiler [2012-10-21 13:47:38] 811*2^1232953-1 is not prime. Res64: 82CCE1DD91CD2CE5 Time : 0.0 sec. user=mdettweiler [2012-10-21 14:00:39] 897*2^1232953-1 is not prime. Res64: 37D54D6FA0874041 Time : 0.0 sec. user=mdettweiler [2012-10-21 14:00:41] 981*2^1232953-1 is not prime. Res64: EFD6E3093E1A45B6 Time : 0.0 sec. user=vaughan [2012-10-21 14:05:09] 895*2^1232953-1 is not prime. Res64: 4C9A8CC6774AA88E Time : 0.0 sec. user=mdettweiler [2012-10-21 14:08:33] 635*2^1232954-1 is not prime. Res64: C53A5BCF65554EF2 Time : 0.0 sec. user=mdettweiler [2012-10-21 14:08:34] 711*2^1232954-1 is not prime. Res64: 8C40E84098F5B83B Time : 0.0 sec. user=mdettweiler [2012-10-21 14:21:55] 741*2^1232954-1 is not prime. Res64: 87F3F5970DBCB2E1 Time : 0.0 sec. user=mdettweiler [2012-10-21 14:21:55] 753*2^1232954-1 is not prime. Res64: 650402270E655CA9 Time : 0.0 sec. user=mdettweiler [2012-10-21 14:29:41] 953*2^1232954-1 is not prime. Res64: EC00BFD0BC78236A Time : 0.0 sec. user=mdettweiler [2012-10-21 14:42:59] 995*2^1232954-1 is not prime. Res64: 85195642338E830A Time : 0.0 sec. user=mdettweiler [2012-10-21 15:12:50] 971*2^1232954-1 is not prime. Res64: 3A574AF177E44CE5 Time : 0.0 sec. user=vaughan [2012-10-21 15:16:54] 669*2^1232955-1 is not prime. Res64: 1CF87C963F87B9C3 Time : 0.0 sec. user=mdettweiler [2012-10-21 15:24:55] 663*2^1232955-1 is not prime. Res64: C8AAA202272D7267 Time : 0.0 sec. user=vaughan [2012-10-21 15:55:01] 751*2^1232955-1 is not prime. Res64: 5CAFE3F698E90E99 Time : 0.0 sec. user=mdettweiler [2012-10-21 16:07:52] 871*2^1232955-1 is not prime. Res64: 41BCF653678E6A04 Time : 0.0 sec. user=mdettweiler [2012-10-21 16:20:37] 609*2^1232956-1 is not prime. Res64: 5DCCFD96B907B290 Time : 0.0 sec. user=mdettweiler [2012-10-21 16:42:34] 943*2^1232955-1 is not prime. Res64: 3C75E034BAB01985 Time : 0.0 sec. user=mdettweiler [2012-10-21 17:03:31] 909*2^1232956-1 is not prime. Res64: 097AAE80182810B3 Time : 0.0 sec. user=vaughan [2012-10-21 17:07:01] 875*2^1232956-1 is not prime. Res64: F99D3B6776AA968A Time : 0.0 sec. user=mdettweiler [2012-10-21 17:11:28] 843*2^1232956-1 is not prime. Res64: B9C9A41463B4F1B7 Time : 0.0 sec. user=mdettweiler [2012-10-21 17:31:02] 969*2^1232956-1 is not prime. Res64: A3628296E7D3D16D Time : 0.0 sec. user=mdettweiler [2012-10-21 17:32:35] 983*2^1232956-1 is not prime. Res64: 9AC132123C95F35E Time : 0.0 sec. user=mdettweiler [2012-10-21 17:32:36] 607*2^1232957-1 is not prime. Res64: 57A365855CD35D89 Time : 0.0 sec. user=mdettweiler [2012-10-21 17:52:14] 615*2^1232957-1 is not prime. Res64: 37F32F6BC3F4B59C Time : 0.0 sec. user=mdettweiler [2012-10-21 17:53:46] 697*2^1232957-1 is not prime. Res64: 7C8281B1C4735182 Time : 0.0 sec. user=mdettweiler [2012-10-21 17:53:47] 699*2^1232957-1 is not prime. Res64: 88A02FA2BC516D0F Time : 0.0 sec. user=mdettweiler [2012-10-21 18:14:30] 879*2^1232957-1 is not prime. Res64: A1A3E29969D27997 Time : 0.0 sec. user=mdettweiler [2012-10-21 18:14:31] 885*2^1232957-1 is not prime. Res64: 4FC9D603EF71119E Time : 0.0 sec. user=mdettweiler [2012-10-21 18:18:47] 631*2^1232957-1 is not prime. Res64: 1A6C4ECCC127B1A7 Time : 0.0 sec. user=vaughan [2012-10-21 18:20:17] 747*2^1232957-1 is not prime. Res64: BE62005E4336FD0E Time : 0.0 sec. user=mdettweiler [2012-10-21 18:35:32] 937*2^1232957-1 is not prime. Res64: 819765B90A4592E8 Time : 0.0 sec. user=mdettweiler [2012-10-21 18:39:36] 705*2^1232958-1 is not prime. Res64: 2084828FBF49E73F Time : 0.0 sec. user=mdettweiler [2012-10-21 18:39:37] 737*2^1232958-1 is not prime. Res64: 9C39B56BF19FFAC5 Time : 0.0 sec. user=vaughan [2012-10-21 18:58:11] 765*2^1232958-1 is not prime. Res64: 1DD322255FE1BBE8 Time : 0.0 sec. user=mdettweiler [2012-10-21 19:00:33] 945*2^1232958-1 is not prime. Res64: 0F9553383BBAFD69 Time : 0.0 sec. user=mdettweiler [2012-10-21 19:03:56] 683*2^1232958-1 is not prime. Res64: CD07E0F410C7659D Time : 0.0 sec. user=mdettweiler [2012-10-21 19:25:29] 645*2^1232959-1 is not prime. Res64: B5FA7A9309354594 Time : 0.0 sec. user=mdettweiler [2012-10-21 19:40:26] 633*2^1232959-1 is not prime. Res64: AFF6953B37F7A875 Time : 0.0 sec. user=mdettweiler [2012-10-21 19:56:26] 675*2^1232959-1 is not prime. Res64: 599D53DE4A6BEF53 Time : 0.0 sec. user=mdettweiler [2012-10-21 20:01:24] 729*2^1232959-1 is not prime. Res64: E9745DF6ECB7F20C Time : 0.0 sec. user=vaughan [2012-10-21 20:11:36] 685*2^1232959-1 is not prime. Res64: 5EE5B5503AE9625E Time : 0.0 sec. user=mdettweiler [2012-10-21 20:30:15] 843*2^1232959-1 is not prime. Res64: 33C210E5EABCCD23 Time : 0.0 sec. user=mdettweiler [2012-10-21 20:45:39] 855*2^1232959-1 is not prime. Res64: 2A769A32AA60D1A4 Time : 0.0 sec. user=mdettweiler [2012-10-21 20:45:40] 933*2^1232959-1 is not prime. Res64: 45FFFD0CDED66667 Time : 0.0 sec. user=vaughan [2012-10-21 20:49:32] 853*2^1232959-1 is not prime. Res64: 5F8CA323653D6DD4 Time : 0.0 sec. user=mdettweiler [2012-10-21 21:06:47] 951*2^1232959-1 is not prime. Res64: F7E2939A162FBEB8 Time : 0.0 sec. user=mdettweiler [2012-10-21 21:06:48] 961*2^1232959-1 is not prime. Res64: ABDA1DC1D72AA13D Time : 0.0 sec. user=mdettweiler [2012-10-21 21:18:05] 669*2^1232960-1 is not prime. Res64: 8FA58823CF2C2DCE Time : 0.0 sec. user=mdettweiler [2012-10-21 21:18:07] 797*2^1232960-1 is not prime. Res64: BF7261318BC96872 Time : 0.0 sec. user=mdettweiler [2012-10-21 21:27:53] 813*2^1232960-1 is not prime. Res64: 19B9B68D2A060764 Time : 0.0 sec. user=mdettweiler [2012-10-21 21:27:53] 917*2^1232960-1 is not prime. Res64: 9AAA8376EE7EAD7C Time : 0.0 sec. user=mdettweiler [2012-10-21 21:39:13] 959*2^1232960-1 is not prime. Res64: 193E46FD02706ED2 Time : 0.0 sec. user=mdettweiler [2012-10-21 21:48:38] 651*2^1232961-1 is not prime. Res64: EB09D451F8E4FCA6 Time : 0.0 sec. user=mdettweiler [2012-10-21 21:48:39] 789*2^1232961-1 is not prime. Res64: 91CD06481E09060C Time : 0.0 sec. user=vaughan [2012-10-21 22:01:18] 601*2^1232961-1 is not prime. Res64: 7CAF4FF0A48F9ACA Time : 0.0 sec. user=mdettweiler [2012-10-21 22:09:41] 807*2^1232961-1 is not prime. Res64: 5D41ADA0A6CAD2B9 Time : 0.0 sec. user=mdettweiler [2012-10-21 22:09:43] 837*2^1232961-1 is not prime. Res64: 088A10E151FE7600 Time : 0.0 sec. user=mdettweiler [2012-10-21 22:30:57] 977*2^1232960-1 is not prime. Res64: C66A9308B609E3BE Time : 0.0 sec. user=mdettweiler [2012-10-21 22:31:15] 603*2^1232962-1 is not prime. Res64: 90865132154F5E34 Time : 0.0 sec. user=mdettweiler [2012-10-21 22:31:16] 741*2^1232962-1 is not prime. Res64: A5E85B6BD5CD78F1 Time : 0.0 sec. user=vaughan [2012-10-21 22:39:38] 987*2^1232961-1 is not prime. Res64: 635249ABC2E72A8F Time : 0.0 sec. user=mdettweiler [2012-10-21 22:51:50] 765*2^1232962-1 is not prime. Res64: 467980EB5A36A163 Time : 0.0 sec. user=mdettweiler [2012-10-21 22:51:50] 813*2^1232962-1 is not prime. Res64: 7B9322CB53BF2A32 Time : 0.0 sec. user=mdettweiler [2012-10-21 22:52:08] 621*2^1232963-1 is not prime. Res64: 9A32F562699F4363 Time : 0.0 sec. user=mdettweiler [2012-10-21 22:52:08] 679*2^1232963-1 is not prime. Res64: 1DF528302B29AFE2 Time : 0.0 sec. user=mdettweiler [2012-10-21 23:12:53] 885*2^1232963-1 is not prime. Res64: 5AAAC0B28C5D29C2 Time : 0.0 sec. user=mdettweiler [2012-10-21 23:13:19] 993*2^1232963-1 is not prime. Res64: 0A1449F237FB647B Time : 0.0 sec. user=mdettweiler [2012-10-21 23:47:15] 615*2^1232964-1 is not prime. Res64: 39F55AB79E2FDE8D Time : 0.0 sec. user=vaughan [2012-10-21 23:53:25] 749*2^1232964-1 is not prime. Res64: E1F2955442B9205B Time : 0.0 sec.