user=mdettweiler [2013-01-20 00:10:47] 861*2^1239570-1 is not prime. Res64: DE78D330023A0D26 Time : 0.0 sec. user=mdettweiler [2013-01-20 00:10:48] 867*2^1239570-1 is not prime. Res64: A1F0A3A8C1863AA6 Time : 0.0 sec. user=mdettweiler [2013-01-20 00:11:13] 915*2^1239570-1 is not prime. Res64: B7A1107D3BFDFF44 Time : 0.0 sec. user=mdettweiler [2013-01-20 00:11:14] 673*2^1239571-1 is not prime. Res64: 4B13AAC9166D00A0 Time : 0.0 sec. user=vaughan [2013-01-20 00:23:00] 657*2^1239570-1 is not prime. Res64: 4170C354A4F568A4 Time : 0.0 sec. user=mdettweiler [2013-01-20 00:28:55] 685*2^1239571-1 is not prime. Res64: BD39A72C4326292B Time : 0.0 sec. user=mdettweiler [2013-01-20 00:28:55] 703*2^1239571-1 is not prime. Res64: 24333DFEA022F40C Time : 0.0 sec. user=mdettweiler [2013-01-20 00:29:17] 715*2^1239571-1 is not prime. Res64: 0305DEE0C89A8528 Time : 0.0 sec. user=mdettweiler [2013-01-20 00:29:18] 745*2^1239571-1 is not prime. Res64: A706613DC6620BCE Time : 0.0 sec. user=mdettweiler [2013-01-20 00:46:42] 951*2^1239571-1 is not prime. Res64: 1AEDC37A13DF5589 Time : 0.0 sec. user=mdettweiler [2013-01-20 00:46:42] 617*2^1239572-1 is not prime. Res64: 87380A907489EE50 Time : 0.0 sec. user=mdettweiler [2013-01-20 00:47:01] 633*2^1239572-1 is not prime. Res64: D69988BDB3243E70 Time : 0.0 sec. user=mdettweiler [2013-01-20 00:47:02] 867*2^1239572-1 is not prime. Res64: FE1EAC7C973419A1 Time : 0.0 sec. user=vaughan [2013-01-20 01:00:56] 909*2^1239571-1 is not prime. Res64: 58D3CB2D4615DBA9 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:04:10] 875*2^1239572-1 is not prime. Res64: 227F060C04EA19B4 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:04:12] 959*2^1239572-1 is not prime. Res64: CAFC67F621886908 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:04:30] 621*2^1239573-1 is not prime. Res64: EEC0CC9847D28B09 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:04:31] 649*2^1239573-1 is not prime. Res64: 8A27F48F1C28E141 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:21:42] 727*2^1239573-1 is not prime. Res64: 054BBE6E6B60D655 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:21:44] 765*2^1239573-1 is not prime. Res64: D882EA228AD9C835 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:21:57] 871*2^1239573-1 is not prime. Res64: A0AF24273795F2F2 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:21:58] 895*2^1239573-1 is not prime. Res64: 8EB631DF850AA8AB Time : 0.0 sec. user=vaughan [2013-01-20 01:39:00] 651*2^1239573-1 is not prime. Res64: 1B3022B48889EFD7 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:39:27] 937*2^1239573-1 is not prime. Res64: 64E6759869D00977 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:39:28] 605*2^1239574-1 is not prime. Res64: 7AA53941BDC4A36C Time : 0.0 sec. user=mdettweiler [2013-01-20 01:39:31] 621*2^1239574-1 is not prime. Res64: 38FC2A87E35982A2 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:39:31] 663*2^1239574-1 is not prime. Res64: A24F20A11F0FAC4C Time : 0.0 sec. user=mdettweiler [2013-01-20 01:56:53] 831*2^1239574-1 is not prime. Res64: 1F9488BBB6F94A47 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:56:53] 917*2^1239574-1 is not prime. Res64: DD6D69181DA411A4 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:56:57] 951*2^1239574-1 is not prime. Res64: C4EB3F63E0063DE6 Time : 0.0 sec. user=mdettweiler [2013-01-20 01:56:57] 1001*2^1239574-1 is not prime. Res64: CB0B04EEF5201E0D Time : 0.0 sec. user=mdettweiler [2013-01-20 02:14:18] 771*2^1239575-1 is not prime. Res64: FCA216DAC6721F5C Time : 0.0 sec. user=mdettweiler [2013-01-20 02:14:19] 853*2^1239575-1 is not prime. Res64: 9D8C3B95B3197994 Time : 0.0 sec. user=mdettweiler [2013-01-20 02:14:23] 865*2^1239575-1 is not prime. Res64: EA37E6C568771543 Time : 0.0 sec. user=mdettweiler [2013-01-20 02:14:23] 895*2^1239575-1 is not prime. Res64: 8E8FD2F7C302299D Time : 0.0 sec. user=vaughan [2013-01-20 02:17:03] 825*2^1239574-1 is not prime. Res64: 347501A8FC33D893 Time : 0.0 sec. user=mdettweiler [2013-01-20 02:31:47] 609*2^1239576-1 is not prime. Res64: 847EA727A571CAA6 Time : 0.0 sec. user=mdettweiler [2013-01-20 02:31:49] 669*2^1239576-1 is not prime. Res64: 8E44DE9D4BDF41B8 Time : 0.0 sec. user=mdettweiler [2013-01-20 02:31:50] 705*2^1239576-1 is not prime. Res64: 22A80EAAB4CD17A4 Time : 0.0 sec. user=mdettweiler [2013-01-20 02:31:50] 737*2^1239576-1 is not prime. Res64: CA4927F481D51F69 Time : 0.0 sec. user=mdettweiler [2013-01-20 02:49:22] 879*2^1239576-1 is not prime. Res64: ACEE702CAB8DD37D Time : 0.0 sec. user=mdettweiler [2013-01-20 02:49:23] 909*2^1239576-1 is not prime. Res64: 0A55BCFBFDCC21CD Time : 0.0 sec. user=mdettweiler [2013-01-20 02:49:31] 899*2^1239576-1 is not prime. Res64: A81155D401B39018 Time : 0.0 sec. user=mdettweiler [2013-01-20 02:49:34] 639*2^1239577-1 is not prime. Res64: 4FC0BDACB5574AA5 Time : 0.0 sec. user=vaughan [2013-01-20 02:55:04] 867*2^1239576-1 is not prime. Res64: E97D0EFECA57A67C Time : 0.0 sec. user=mdettweiler [2013-01-20 03:08:11] 759*2^1239577-1 is not prime. Res64: CD0D6FC1B0D058E4 Time : 0.0 sec. user=mdettweiler [2013-01-20 03:08:18] 835*2^1239577-1 is not prime. Res64: 8633D32F956A3AE4 Time : 0.0 sec. user=mdettweiler [2013-01-20 03:08:23] 871*2^1239577-1 is not prime. Res64: B2C8631A2E33C977 Time : 0.0 sec. user=mdettweiler [2013-01-20 03:08:25] 895*2^1239577-1 is not prime. Res64: 6018249A437C95F6 Time : 0.0 sec. user=mdettweiler [2013-01-20 03:26:42] 657*2^1239578-1 is not prime. Res64: AF2A17B78875B04D Time : 0.0 sec. user=mdettweiler [2013-01-20 03:26:43] 755*2^1239578-1 is not prime. Res64: A560CBF51504B8C9 Time : 0.0 sec. user=mdettweiler [2013-01-20 03:27:55] 985*2^1239577-1 is not prime. Res64: FC69D6BA26142E2F Time : 0.0 sec. user=mdettweiler [2013-01-20 03:27:56] 767*2^1239578-1 is not prime. Res64: F04C2691ABDF7CB7 Time : 0.0 sec. user=vaughan [2013-01-20 03:33:31] 937*2^1239577-1 is not prime. Res64: D569B03F476B916A Time : 0.0 sec. user=mdettweiler [2013-01-20 03:40:06] 773*2^1239578-1 is not prime. Res64: FE59A4B7AB38266C Time : 0.0 sec. user=mdettweiler [2013-01-20 03:44:10] 971*2^1239578-1 is not prime. Res64: E83BA2280DC2EFD0 Time : 0.0 sec. user=mdettweiler [2013-01-20 03:44:11] 619*2^1239579-1 is not prime. Res64: 14F8D8C172387D6A Time : 0.0 sec. user=mdettweiler [2013-01-20 03:45:21] 735*2^1239579-1 is not prime. Res64: FF1132B815DA32C4 Time : 0.0 sec. user=mdettweiler [2013-01-20 03:45:23] 741*2^1239579-1 is not prime. Res64: 28463E7641BFFD78 Time : 0.0 sec. user=mdettweiler [2013-01-20 04:01:43] 913*2^1239579-1 is not prime. Res64: 74E04BD95E271154 Time : 0.0 sec. user=mdettweiler [2013-01-20 04:01:48] 999*2^1239579-1 is not prime. Res64: 0F9C2C04186FA89A Time : 0.0 sec. user=mdettweiler [2013-01-20 04:02:48] 801*2^1239579-1 is not prime. Res64: A0281987EE186E92 Time : 0.0 sec. user=mdettweiler [2013-01-20 04:02:52] 647*2^1239580-1 is not prime. Res64: E29510C2B6FBDAF8 Time : 0.0 sec. user=mdettweiler [2013-01-20 04:02:55] 735*2^1239580-1 is not prime. Res64: 016604F2E8BD8E33 Time : 0.0 sec. user=gd_barnes [2013-01-20 04:09:13] 793*2^1239579-1 is not prime. Res64: 1DA85869C86B258A Time : 0.0 sec. user=vaughan [2013-01-20 04:11:31] 751*2^1239579-1 is not prime. Res64: 03BBAF5C94885084 Time : 0.0 sec. user=mdettweiler [2013-01-20 04:19:37] 773*2^1239580-1 is not prime. Res64: FAAEAF3069035F4B Time : 0.0 sec. user=mdettweiler [2013-01-20 04:19:37] 875*2^1239580-1 is not prime. Res64: 80E85FE5E02F2DA3 Time : 0.0 sec. user=mdettweiler [2013-01-20 04:20:33] 745*2^1239581-1 is not prime. Res64: CDAFF01079EB219F Time : 0.0 sec. user=mdettweiler [2013-01-20 04:20:33] 925*2^1239581-1 is not prime. Res64: E63C85778C94A362 Time : 0.0 sec. user=mdettweiler [2013-01-20 04:37:05] 987*2^1239581-1 is not prime. Res64: 7A5E8B636490C98A Time : 0.0 sec. user=mdettweiler [2013-01-20 04:37:59] 657*2^1239582-1 is not prime. Res64: 1CE22F3C3BE90827 Time : 0.0 sec. user=mdettweiler [2013-01-20 04:38:00] 741*2^1239582-1 is not prime. Res64: 196A4CEB3FE973CC Time : 0.0 sec. user=vaughan [2013-01-20 04:49:48] 955*2^1239581-1 is not prime. Res64: A1AC4585ACB147CB Time : 0.0 sec. user=mdettweiler [2013-01-20 04:55:51] 815*2^1239582-1 is not prime. Res64: E8C582CDC97737FE Time : 0.0 sec. user=mdettweiler [2013-01-20 04:55:52] 875*2^1239582-1 is not prime. Res64: 9B2D4577E0ABAC01 Time : 0.0 sec. user=mdettweiler [2013-01-20 04:57:52] 627*2^1239582-1 is not prime. Res64: 7E38C5931AA29139 Time : 0.0 sec. user=mdettweiler [2013-01-20 05:13:19] 947*2^1239582-1 is not prime. Res64: ED0597312526421B Time : 0.0 sec. user=mdettweiler [2013-01-20 05:13:20] 609*2^1239583-1 is not prime. Res64: E110837E7BEB0B8A Time : 0.0 sec. user=mdettweiler [2013-01-20 05:15:19] 723*2^1239583-1 is not prime. Res64: 7B6D8592E1282211 Time : 0.0 sec. user=mdettweiler [2013-01-20 05:15:19] 813*2^1239583-1 is not prime. Res64: CE314AECC2593830 Time : 0.0 sec. user=vaughan [2013-01-20 05:27:54] 921*2^1239582-1 is not prime. Res64: 95F0E949A40B75D3 Time : 0.0 sec. user=mdettweiler [2013-01-20 05:30:55] 945*2^1239583-1 is not prime. Res64: 48261A2F4E59C54A Time : 0.0 sec. user=mdettweiler [2013-01-20 05:30:56] 665*2^1239584-1 is not prime. Res64: AD3F3523FF7EE25A Time : 0.0 sec. user=mdettweiler [2013-01-20 05:32:45] 675*2^1239584-1 is not prime. Res64: B3B7B1CB9B0F0653 Time : 0.0 sec. user=mdettweiler [2013-01-20 05:32:45] 755*2^1239584-1 is not prime. Res64: FF0A46C18A1D9E83 Time : 0.0 sec. user=mdettweiler [2013-01-20 05:48:25] 601*2^1239585-1 is not prime. Res64: 0BBDC387335792ED Time : 0.0 sec. user=mdettweiler [2013-01-20 05:48:26] 819*2^1239585-1 is not prime. Res64: 2BD27A049820C925 Time : 0.0 sec. user=mdettweiler [2013-01-20 05:50:11] 831*2^1239585-1 is not prime. Res64: AB7EACFEE85FF8C7 Time : 0.0 sec. user=mdettweiler [2013-01-20 05:50:11] 877*2^1239585-1 is not prime. Res64: 866B5CD73E359327 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:05:54] 909*2^1239585-1 is not prime. Res64: 5F7C0FF847171309 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:05:57] 647*2^1239586-1 is not prime. Res64: F28CF513C5F80992 Time : 0.0 sec. user=vaughan [2013-01-20 06:06:00] 875*2^1239584-1 is not prime. Res64: 1144E52C08DA51FA Time : 0.0 sec. user=mdettweiler [2013-01-20 06:07:37] 861*2^1239586-1 is not prime. Res64: F2EF93E64008ADFF Time : 0.0 sec. user=mdettweiler [2013-01-20 06:07:38] 957*2^1239586-1 is not prime. Res64: E201BC6C8AC8E181 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:23:37] 649*2^1239587-1 is not prime. Res64: 4B4ACF66E6B533C3 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:23:38] 655*2^1239587-1 is not prime. Res64: 6F20218C768CE166 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:25:04] 711*2^1239587-1 is not prime. Res64: D4C88FE623C53914 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:25:05] 801*2^1239587-1 is not prime. Res64: A140800DE4D5EE75 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:41:08] 909*2^1239587-1 is not prime. Res64: 1D26982887ADD05A Time : 0.0 sec. user=mdettweiler [2013-01-20 06:41:08] 635*2^1239588-1 is not prime. Res64: 1F2FF689A1F9AFDA Time : 0.0 sec. user=mdettweiler [2013-01-20 06:42:30] 725*2^1239588-1 is not prime. Res64: 6E3FC86438E341E5 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:42:31] 749*2^1239588-1 is not prime. Res64: 4A0F3A5B4B72A1EF Time : 0.0 sec. user=vaughan [2013-01-20 06:44:07] 651*2^1239587-1 is not prime. Res64: 67A77E175F14B1D9 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:58:40] 893*2^1239588-1 is not prime. Res64: 16EF0F2747641CB0 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:58:41] 855*2^1239589-1 is not prime. Res64: AAA7B2C400213826 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:59:57] 897*2^1239589-1 is not prime. Res64: 5F8B5243E2788302 Time : 0.0 sec. user=mdettweiler [2013-01-20 06:59:57] 997*2^1239589-1 is not prime. Res64: DF31713A8CDDFF93 Time : 0.0 sec. user=mdettweiler [2013-01-20 07:16:07] 687*2^1239590-1 is not prime. Res64: 8CC24580CEC5E07A Time : 0.0 sec. user=mdettweiler [2013-01-20 07:16:08] 795*2^1239590-1 is not prime. Res64: C9A6F57F68F2C4A7 Time : 0.0 sec. user=mdettweiler [2013-01-20 07:17:26] 857*2^1239590-1 is not prime. Res64: 8EF52CAAD44CACB3 Time : 0.0 sec. user=mdettweiler [2013-01-20 07:17:27] 861*2^1239590-1 is not prime. Res64: 3594A1A0CE5E0E87 Time : 0.0 sec. user=vaughan [2013-01-20 07:22:03] 605*2^1239590-1 is not prime. Res64: C65DD4842385D3A7 Time : 0.0 sec. user=mdettweiler [2013-01-20 07:33:36] 893*2^1239590-1 is not prime. Res64: 828DA004772CA33F Time : 0.0 sec. user=mdettweiler [2013-01-20 07:33:36] 685*2^1239591-1 is not prime. Res64: 2AA421F31593BB38 Time : 0.0 sec. user=mdettweiler [2013-01-20 07:34:56] 691*2^1239591-1 is not prime. Res64: 221C95081B9FCACD Time : 0.0 sec. user=mdettweiler [2013-01-20 07:34:57] 951*2^1239591-1 is not prime. Res64: A71C75C49F947659 Time : 0.0 sec. user=mdettweiler [2013-01-20 07:51:04] 605*2^1239592-1 is not prime. Res64: 9E251F10F94B409D Time : 0.0 sec. user=mdettweiler [2013-01-20 07:51:04] 825*2^1239592-1 is not prime. Res64: A6440BD9C4086D7F Time : 0.0 sec. user=mdettweiler [2013-01-20 07:52:23] 863*2^1239592-1 is not prime. Res64: C57FD3AA882B416B Time : 0.0 sec. user=mdettweiler [2013-01-20 07:52:23] 999*2^1239592-1 is not prime. Res64: DA2BCE1D2C0C42C6 Time : 0.0 sec. user=vaughan [2013-01-20 07:59:57] 991*2^1239591-1 is not prime. Res64: A35DDE1533140EA8 Time : 0.0 sec. user=mdettweiler [2013-01-20 08:08:30] 679*2^1239593-1 is not prime. Res64: 48ECDE65FAC891DA Time : 0.0 sec. user=mdettweiler [2013-01-20 08:08:31] 685*2^1239593-1 is not prime. Res64: 357E8EB2627710F6 Time : 0.0 sec. user=mdettweiler [2013-01-20 08:09:50] 759*2^1239593-1 is not prime. Res64: 3B4518E6F17A209F Time : 0.0 sec. user=mdettweiler [2013-01-20 08:09:52] 775*2^1239593-1 is not prime. Res64: 0D0D50AF992281D5 Time : 0.0 sec. user=mdettweiler [2013-01-20 08:31:00] 755*2^1239594-1 is not prime. Res64: E9E996A8D9E28D06 Time : 0.0 sec. user=mdettweiler [2013-01-20 08:31:00] 915*2^1239594-1 is not prime. Res64: 237D73F8FDD45760 Time : 0.0 sec. user=mdettweiler [2013-01-20 08:31:01] 833*2^1239594-1 is not prime. Res64: 324DD62C16BC2381 Time : 0.0 sec. user=mdettweiler [2013-01-20 08:31:01] 927*2^1239594-1 is not prime. Res64: CB3C2A4DB33CBC78 Time : 0.0 sec. user=vaughan [2013-01-20 08:37:56] 979*2^1239593-1 is not prime. Res64: B136B79D4A405596 Time : 0.0 sec. user=mdettweiler [2013-01-20 08:48:21] 947*2^1239594-1 is not prime. Res64: 0B802417881BE23D Time : 0.0 sec. user=mdettweiler [2013-01-20 08:48:21] 691*2^1239595-1 is not prime. Res64: AFAD95F17A09A6C5 Time : 0.0 sec. user=mdettweiler [2013-01-20 08:48:21] 675*2^1239595-1 is not prime. Res64: 8CE2A5600223C7D1 Time : 0.0 sec. user=mdettweiler [2013-01-20 08:48:22] 693*2^1239595-1 is not prime. Res64: 6945E356C63C2730 Time : 0.0 sec. user=mdettweiler [2013-01-20 09:05:41] 819*2^1239595-1 is not prime. Res64: A22407FF794FBD45 Time : 0.0 sec. user=mdettweiler [2013-01-20 09:05:42] 919*2^1239595-1 is not prime. Res64: 0E52E53F4C309FFA Time : 0.0 sec. user=mdettweiler [2013-01-20 09:05:45] 913*2^1239595-1 is not prime. Res64: 200F302450845EBF Time : 0.0 sec. user=mdettweiler [2013-01-20 09:05:45] 979*2^1239595-1 is not prime. Res64: ECB5FEF19ABEFB84 Time : 0.0 sec. user=vaughan [2013-01-20 09:15:53] 735*2^1239595-1 is not prime. Res64: DF68FEF92D3CEA5C Time : 0.0 sec. user=mdettweiler [2013-01-20 09:23:14] 615*2^1239596-1 is not prime. Res64: E55EA0D4EF7182DA Time : 0.0 sec. user=mdettweiler [2013-01-20 09:23:15] 633*2^1239596-1 is not prime. Res64: 95CF0440C02832F3 Time : 0.0 sec. user=mdettweiler [2013-01-20 09:23:17] 743*2^1239596-1 is not prime. Res64: 0F6FCB7E90E58E6A Time : 0.0 sec. user=mdettweiler [2013-01-20 09:23:18] 773*2^1239596-1 is not prime. Res64: 204E42BBB90F00F9 Time : 0.0 sec. user=mdettweiler [2013-01-20 09:40:34] 969*2^1239596-1 is not prime. Res64: 5B0C4AADAE21CF6E Time : 0.0 sec. user=mdettweiler [2013-01-20 09:40:35] 717*2^1239597-1 is not prime. Res64: 016444047DC11DA3 Time : 0.0 sec. user=mdettweiler [2013-01-20 09:40:37] 741*2^1239597-1 is not prime. Res64: E99696DBC92E578A Time : 0.0 sec. user=mdettweiler [2013-01-20 09:40:38] 777*2^1239597-1 is not prime. Res64: 4D94BB253B28A58C Time : 0.0 sec. user=vaughan [2013-01-20 09:53:52] 899*2^1239596-1 is not prime. Res64: A94778600CF9B3D6 Time : 0.0 sec. user=mdettweiler [2013-01-20 09:57:57] 781*2^1239597-1 is not prime. Res64: 4D3438D96BDD7CF8 Time : 0.0 sec. user=mdettweiler [2013-01-20 09:57:57] 991*2^1239597-1 is not prime. Res64: F440B6280461CD58 Time : 0.0 sec. user=mdettweiler [2013-01-20 09:57:58] 657*2^1239598-1 is not prime. Res64: 3ECD15037478D994 Time : 0.0 sec. user=mdettweiler [2013-01-20 09:57:58] 791*2^1239598-1 is not prime. Res64: C344D5512049E133 Time : 0.0 sec. user=mdettweiler [2013-01-20 10:15:18] 863*2^1239598-1 is not prime. Res64: DED644A39AD0DC3B Time : 0.0 sec. user=mdettweiler [2013-01-20 10:15:18] 957*2^1239598-1 is not prime. Res64: DB0C337D8B72FA5A Time : 0.0 sec. user=mdettweiler [2013-01-20 10:15:19] 981*2^1239598-1 is not prime. Res64: 437ACC7EDC548EE9 Time : 0.0 sec. user=mdettweiler [2013-01-20 10:15:19] 867*2^1239598-1 is not prime. Res64: 9994CFDFD92D3AE9 Time : 0.0 sec. user=vaughan [2013-01-20 10:31:49] 855*2^1239598-1 is not prime. Res64: 8AAB361BA92EF059 Time : 0.0 sec. user=mdettweiler [2013-01-20 10:32:45] 661*2^1239599-1 is not prime. Res64: C872972B23615570 Time : 0.0 sec. user=mdettweiler [2013-01-20 10:32:46] 799*2^1239599-1 is not prime. Res64: 431C276745A268D5 Time : 0.0 sec. user=mdettweiler [2013-01-20 10:32:47] 771*2^1239599-1 is not prime. Res64: 7752822375F220DB Time : 0.0 sec. user=mdettweiler [2013-01-20 10:32:49] 823*2^1239599-1 is not prime. Res64: 079FB4CB94C28156 Time : 0.0 sec. user=mdettweiler [2013-01-20 10:50:10] 627*2^1239600-1 is not prime. Res64: 1CF9A1C2AA0B6106 Time : 0.0 sec. user=mdettweiler [2013-01-20 10:50:10] 845*2^1239600-1 is not prime. Res64: E2CA372E8E93BDB6 Time : 0.0 sec. user=mdettweiler [2013-01-20 10:50:13] 873*2^1239600-1 is not prime. Res64: B33FA4B62CBF02B2 Time : 0.0 sec. user=mdettweiler [2013-01-20 10:50:13] 875*2^1239600-1 is not prime. Res64: 0293D27356F3157D Time : 0.0 sec. user=mdettweiler [2013-01-20 11:07:35] 959*2^1239600-1 is not prime. Res64: 974D9D36926097BF Time : 0.0 sec. user=mdettweiler [2013-01-20 11:07:36] 999*2^1239600-1 is not prime. Res64: 76E08DE8C27B1489 Time : 0.0 sec. user=mdettweiler [2013-01-20 11:07:40] 639*2^1239601-1 is not prime. Res64: 7361F983E1BB996B Time : 0.0 sec. user=mdettweiler [2013-01-20 11:07:41] 685*2^1239601-1 is not prime. Res64: 120CF6EE5F33DCD4 Time : 0.0 sec. user=vaughan [2013-01-20 11:09:48] 885*2^1239599-1 is not prime. Res64: 6DE1B060E4F7F132 Time : 0.0 sec. user=mdettweiler [2013-01-20 11:25:05] 741*2^1239601-1 is not prime. Res64: C819E26978EB7C43 Time : 0.0 sec. user=mdettweiler [2013-01-20 11:25:05] 769*2^1239601-1 is not prime. Res64: 57083F4CBDAC436B Time : 0.0 sec. user=mdettweiler [2013-01-20 11:25:07] 799*2^1239601-1 is not prime. Res64: 6F213D157806EEED Time : 0.0 sec. user=mdettweiler [2013-01-20 11:25:08] 807*2^1239601-1 is not prime. Res64: CC75C18537FC4182 Time : 0.0 sec. user=mdettweiler [2013-01-20 11:42:30] 895*2^1239601-1 is not prime. Res64: 99BA66D082A75EF2 Time : 0.0 sec. user=mdettweiler [2013-01-20 11:42:31] 997*2^1239601-1 is not prime. Res64: 7DBD25694E4890EF Time : 0.0 sec. user=mdettweiler [2013-01-20 11:42:32] 671*2^1239602-1 is not prime. Res64: B31AEDA86689C1EB Time : 0.0 sec. user=mdettweiler [2013-01-20 11:42:33] 791*2^1239602-1 is not prime. Res64: 6E46F51BAEFC5036 Time : 0.0 sec. user=vaughan [2013-01-20 11:47:43] 877*2^1239601-1 is not prime. Res64: 496E86449D74116A Time : 0.0 sec. user=mdettweiler [2013-01-20 11:59:55] 797*2^1239602-1 is not prime. Res64: E2104131A9C85DDB Time : 0.0 sec. user=mdettweiler [2013-01-20 11:59:55] 831*2^1239602-1 is not prime. Res64: 8EEFC2D0E4E03912 Time : 0.0 sec. user=mdettweiler [2013-01-20 11:59:57] 981*2^1239602-1 is not prime. Res64: 788AFD61B05283D5 Time : 0.0 sec. user=mdettweiler [2013-01-20 11:59:57] 613*2^1239603-1 is not prime. Res64: 56B697F2DDCAF7A0 Time : 0.0 sec. user=mdettweiler [2013-01-20 12:17:19] 679*2^1239603-1 is not prime. Res64: 34131EED22EA4AF3 Time : 0.0 sec. user=mdettweiler [2013-01-20 12:17:20] 721*2^1239603-1 is not prime. Res64: 8F3627E85A2D50DA Time : 0.0 sec. user=mdettweiler [2013-01-20 12:17:21] 781*2^1239603-1 is not prime. Res64: DB4B1050AF0194B3 Time : 0.0 sec. user=mdettweiler [2013-01-20 12:17:22] 921*2^1239603-1 is not prime. Res64: DB5D5FA4ACEBCA51 Time : 0.0 sec. user=vaughan [2013-01-20 12:25:42] 619*2^1239603-1 is not prime. Res64: 1493CBCF4F89B730 Time : 0.0 sec. user=mdettweiler [2013-01-20 12:34:46] 617*2^1239604-1 is not prime. Res64: 2193E4E9E1760B5C Time : 0.0 sec. user=mdettweiler [2013-01-20 12:34:47] 723*2^1239604-1 is not prime. Res64: 3A3AA16397D7F0C5 Time : 0.0 sec. user=mdettweiler [2013-01-20 12:34:47] 717*2^1239605-1 is not prime. Res64: 6B1915C0ACCA7C6C Time : 0.0 sec. user=mdettweiler [2013-01-20 12:34:47] 741*2^1239605-1 is not prime. Res64: 07D3D8FA6AEC75F5 Time : 0.0 sec. user=mdettweiler [2013-01-20 12:52:10] 837*2^1239605-1 is not prime. Res64: 8BEF7B4CA3F7F4B3 Time : 0.0 sec. user=mdettweiler [2013-01-20 12:52:10] 861*2^1239605-1 is not prime. Res64: 44E12CA2BE0BAE25 Time : 0.0 sec. user=mdettweiler [2013-01-20 12:52:11] 867*2^1239605-1 is not prime. Res64: 01CC6C7D147031D3 Time : 0.0 sec. user=mdettweiler [2013-01-20 12:52:11] 885*2^1239605-1 is not prime. Res64: 3949ADC7803D2D7C Time : 0.0 sec. user=vaughan [2013-01-20 13:03:46] 831*2^1239605-1 is not prime. Res64: 23E533090DE11ED9 Time : 0.0 sec. user=mdettweiler [2013-01-20 13:09:35] 915*2^1239605-1 is not prime. Res64: D3FED21F6769E1BE Time : 0.0 sec. user=mdettweiler [2013-01-20 13:09:36] 635*2^1239606-1 is not prime. Res64: 8894AF46BD0330B2 Time : 0.0 sec. user=mdettweiler [2013-01-20 13:09:37] 671*2^1239606-1 is not prime. Res64: 8CA5D3F9C383B427 Time : 0.0 sec. user=mdettweiler [2013-01-20 13:09:39] 693*2^1239606-1 is not prime. Res64: 12E4805786123964 Time : 0.0 sec. user=mdettweiler [2013-01-20 13:27:10] 741*2^1239606-1 is not prime. Res64: 24D22D6C9DA2925E Time : 0.0 sec. user=mdettweiler [2013-01-20 13:27:11] 807*2^1239606-1 is not prime. Res64: D2B0E77BC4066C82 Time : 0.0 sec. user=mdettweiler [2013-01-20 13:27:11] 755*2^1239606-1 is not prime. Res64: 008ABFA9C23C1687 Time : 0.0 sec. user=mdettweiler [2013-01-20 13:27:11] 881*2^1239606-1 is not prime. Res64: 7B443BFA79423410 Time : 0.0 sec. user=vaughan [2013-01-20 13:41:54] 717*2^1239606-1 is not prime. Res64: 1AB649C4D04D4DCA Time : 0.0 sec. user=mdettweiler [2013-01-20 13:44:53] 917*2^1239606-1 is not prime. Res64: D47B55FA4B9A895A Time : 0.0 sec. user=mdettweiler [2013-01-20 13:44:54] 933*2^1239606-1 is not prime. Res64: 74C6CB1F3431DBC6 Time : 0.0 sec. user=mdettweiler [2013-01-20 13:44:54] 941*2^1239606-1 is not prime. Res64: 7245990B5378EFAF Time : 0.0 sec. user=mdettweiler [2013-01-20 13:44:54] 963*2^1239606-1 is not prime. Res64: 2D5D6C2898584879 Time : 0.0 sec. user=mdettweiler [2013-01-20 14:03:12] 673*2^1239607-1 is not prime. Res64: D6D67398A3609B36 Time : 0.0 sec. user=mdettweiler [2013-01-20 14:03:12] 925*2^1239607-1 is not prime. Res64: 852FD98DA28FCA40 Time : 0.0 sec. user=mdettweiler [2013-01-20 14:03:19] 829*2^1239607-1 is not prime. Res64: 359A7EDE51D20A7C Time : 0.0 sec. user=mdettweiler [2013-01-20 14:03:23] 939*2^1239607-1 is not prime. Res64: 19529B5B9A59467F Time : 0.0 sec. user=vaughan [2013-01-20 14:19:49] 645*2^1239607-1 is not prime. Res64: 4AE739B1EDB03323 Time : 0.0 sec. user=mdettweiler [2013-01-20 14:22:26] 657*2^1239608-1 is not prime. Res64: 001D983BEDE20979 Time : 0.0 sec. user=mdettweiler [2013-01-20 14:22:27] 795*2^1239608-1 is not prime. Res64: 05C38573EA401A7F Time : 0.0 sec. user=mdettweiler [2013-01-20 14:22:33] 827*2^1239608-1 is not prime. Res64: 7BE34FD47A1B2644 Time : 0.0 sec. user=mdettweiler [2013-01-20 14:22:33] 855*2^1239608-1 is not prime. Res64: 8944B8A18C7C7E56 Time : 0.0 sec. user=mdettweiler [2013-01-20 14:40:22] 661*2^1239609-1 is not prime. Res64: CB866B0A92B609AF Time : 0.0 sec. user=mdettweiler [2013-01-20 14:40:22] 705*2^1239609-1 is not prime. Res64: F260BC6AE50C1A31 Time : 0.0 sec. user=mdettweiler [2013-01-20 14:40:26] 741*2^1239609-1 is not prime. Res64: 2570D924745371CE Time : 0.0 sec. user=mdettweiler [2013-01-20 14:40:26] 747*2^1239609-1 is not prime. Res64: 7436F940616DEBBE Time : 0.0 sec. user=vaughan [2013-01-20 14:57:46] 957*2^1239608-1 is not prime. Res64: 8E7477E6770D9B7B Time : 0.0 sec. user=mdettweiler [2013-01-20 14:58:18] 751*2^1239609-1 is not prime. Res64: 08879E5C8A1E750D Time : 0.0 sec. user=mdettweiler [2013-01-20 14:58:18] 885*2^1239609-1 is not prime. Res64: 30B7B765C934A15C Time : 0.0 sec. user=mdettweiler [2013-01-20 14:58:19] 651*2^1239610-1 is not prime. Res64: 1C4C31F432C5890D Time : 0.0 sec. user=mdettweiler [2013-01-20 14:58:19] 677*2^1239610-1 is not prime. Res64: 7AB20D4E2458BE1A Time : 0.0 sec. user=mdettweiler [2013-01-20 15:16:11] 833*2^1239610-1 is not prime. Res64: 02D13003F8591337 Time : 0.0 sec. user=mdettweiler [2013-01-20 15:16:11] 845*2^1239610-1 is not prime. Res64: 7D14E7730708F842 Time : 0.0 sec. user=mdettweiler [2013-01-20 15:16:17] 987*2^1239610-1 is not prime. Res64: 60EB3C682B549147 Time : 0.0 sec. user=mdettweiler [2013-01-20 15:16:18] 621*2^1239611-1 is not prime. Res64: 6C4A5D10CE2C8EFE Time : 0.0 sec. user=mdettweiler [2013-01-20 15:34:05] 781*2^1239611-1 is not prime. Res64: D35F657CE76FA11B Time : 0.0 sec. user=mdettweiler [2013-01-20 15:34:05] 871*2^1239611-1 is not prime. Res64: EF26BE9A6B645B26 Time : 0.0 sec. user=mdettweiler [2013-01-20 15:34:22] 895*2^1239611-1 is not prime. Res64: 4DFA8E08C319C6DA Time : 0.0 sec. user=mdettweiler [2013-01-20 15:34:23] 909*2^1239611-1 is not prime. Res64: 8721266A2C72BAC7 Time : 0.0 sec. user=vaughan [2013-01-20 15:35:41] 755*2^1239610-1 is not prime. Res64: 2BC40387B5A036E4 Time : 0.0 sec. user=mdettweiler [2013-01-20 15:52:01] 627*2^1239612-1 is not prime. Res64: BC2E20596E44ED97 Time : 0.0 sec. user=mdettweiler [2013-01-20 15:52:01] 819*2^1239612-1 is not prime. Res64: AE794F360B51E794 Time : 0.0 sec. user=mdettweiler [2013-01-20 15:52:17] 959*2^1239612-1 is not prime. Res64: 7E801FC12605F466 Time : 0.0 sec. user=mdettweiler [2013-01-20 15:52:17] 615*2^1239613-1 is not prime. Res64: E475630707A9119B Time : 0.0 sec. user=mdettweiler [2013-01-20 16:09:55] 727*2^1239613-1 is not prime. Res64: 74511D68593C0EB9 Time : 0.0 sec. user=mdettweiler [2013-01-20 16:09:56] 729*2^1239613-1 is not prime. Res64: 91781A750478F23D Time : 0.0 sec. user=mdettweiler [2013-01-20 16:10:12] 745*2^1239613-1 is not prime. Res64: FE785FD1F6FC78D9 Time : 0.0 sec. user=mdettweiler [2013-01-20 16:10:13] 747*2^1239613-1 is not prime. Res64: A810947B302A8BCC Time : 0.0 sec. user=vaughan [2013-01-20 16:13:37] 621*2^1239613-1 is not prime. Res64: 336D784CE5EBD051 Time : 0.0 sec. user=mdettweiler [2013-01-20 16:28:14] 859*2^1239613-1 is not prime. Res64: 78843089BB795DE6 Time : 0.0 sec. user=mdettweiler [2013-01-20 16:28:17] 861*2^1239613-1 is not prime. Res64: 8374511B369F6826 Time : 0.0 sec. user=mdettweiler [2013-01-20 16:28:18] 877*2^1239613-1 is not prime. Res64: FDAB5FEF063CA385 Time : 0.0 sec. user=mdettweiler [2013-01-20 16:28:20] 985*2^1239613-1 is not prime. Res64: 4B3CFF12D5FA6D0B Time : 0.0 sec. user=mdettweiler [2013-01-20 16:46:27] 683*2^1239614-1 is not prime. Res64: 47A2A4A7A36BBA29 Time : 0.0 sec. user=mdettweiler [2013-01-20 16:46:28] 767*2^1239614-1 is not prime. Res64: 2D3D632BA4AF3CF8 Time : 0.0 sec. user=mdettweiler [2013-01-20 16:46:33] 785*2^1239614-1 is not prime. Res64: 3896C71B840D8794 Time : 0.0 sec. user=mdettweiler [2013-01-20 16:46:34] 825*2^1239614-1 is not prime. Res64: E0065693FA3E11AD Time : 0.0 sec. user=vaughan [2013-01-20 16:51:31] 675*2^1239614-1 is not prime. Res64: 3A92815800C87B4B Time : 0.0 sec. user=mdettweiler [2013-01-20 17:03:59] 885*2^1239614-1 is not prime. Res64: 74964F622E4C936D Time : 0.0 sec. user=mdettweiler [2013-01-20 17:04:03] 953*2^1239614-1 is not prime. Res64: A78EF105BD635931 Time : 0.0 sec. user=mdettweiler [2013-01-20 17:04:05] 639*2^1239615-1 is not prime. Res64: BA0B5F4F6D6C9058 Time : 0.0 sec. user=mdettweiler [2013-01-20 17:04:08] 783*2^1239615-1 is not prime. Res64: 094C91385894D52B Time : 0.0 sec. user=mdettweiler [2013-01-20 17:22:15] 895*2^1239615-1 is not prime. Res64: F99FCA5524F1A00A Time : 0.0 sec. user=mdettweiler [2013-01-20 17:22:16] 909*2^1239615-1 is not prime. Res64: 91045042627F16BA Time : 0.0 sec. user=mdettweiler [2013-01-20 17:22:21] 705*2^1239616-1 is not prime. Res64: 1A3E5E399D3C8778 Time : 0.0 sec. user=mdettweiler [2013-01-20 17:22:21] 773*2^1239616-1 is not prime. Res64: 5765715007844573 Time : 0.0 sec. user=vaughan [2013-01-20 17:29:26] 853*2^1239615-1 is not prime. Res64: 50388AFDAE702F2B Time : 0.0 sec. user=mdettweiler [2013-01-20 17:39:44] 849*2^1239616-1 is not prime. Res64: 6B1F20459B447186 Time : 0.0 sec. user=mdettweiler [2013-01-20 17:39:44] 857*2^1239616-1 is not prime. Res64: CCF74812F9E44900 Time : 0.0 sec. user=mdettweiler [2013-01-20 17:39:47] 873*2^1239616-1 is not prime. Res64: 7D46D95FF590A4FB Time : 0.0 sec. user=mdettweiler [2013-01-20 17:39:48] 939*2^1239616-1 is not prime. Res64: 373591F145C9089D Time : 0.0 sec. user=mdettweiler [2013-01-20 17:57:11] 715*2^1239617-1 is not prime. Res64: 386614F32B6FDD0D Time : 0.0 sec. user=mdettweiler [2013-01-20 17:57:11] 799*2^1239617-1 is not prime. Res64: BC781720F3ED8278 Time : 0.0 sec. user=mdettweiler [2013-01-20 17:57:13] 867*2^1239617-1 is not prime. Res64: 46FCB74E3578145C Time : 0.0 sec. user=mdettweiler [2013-01-20 17:57:14] 901*2^1239617-1 is not prime. Res64: 38E81DD731DA4A56 Time : 0.0 sec. user=vaughan [2013-01-20 18:07:24] 697*2^1239617-1 is not prime. Res64: ECBD19233F461352 Time : 0.0 sec. user=mdettweiler [2013-01-20 18:14:37] 611*2^1239618-1 is not prime. Res64: 66A7FF05AFA90797 Time : 0.0 sec. user=mdettweiler [2013-01-20 18:14:39] 671*2^1239618-1 is not prime. Res64: A334B18BFA88249D Time : 0.0 sec. user=mdettweiler [2013-01-20 18:14:41] 927*2^1239618-1 is not prime. Res64: 3569AE72761A4477 Time : 0.0 sec. user=mdettweiler [2013-01-20 18:14:42] 933*2^1239618-1 is not prime. Res64: 567BCBE3A232B223 Time : 0.0 sec. user=mdettweiler [2013-01-20 18:32:13] 709*2^1239619-1 is not prime. Res64: 186DBFD76C17382A Time : 0.0 sec. user=mdettweiler [2013-01-20 18:32:14] 789*2^1239619-1 is not prime. Res64: 58D1A65C7D7734F8 Time : 0.0 sec. user=mdettweiler [2013-01-20 18:32:15] 889*2^1239619-1 is not prime. Res64: 0D85A3F0DFE9C281 Time : 0.0 sec. user=mdettweiler [2013-01-20 18:32:16] 919*2^1239619-1 is not prime. Res64: 321277FF4306A48B Time : 0.0 sec. user=vaughan [2013-01-20 18:45:32] 631*2^1239619-1 is not prime. Res64: FED8C5FE65906DF0 Time : 0.0 sec. user=mdettweiler [2013-01-20 18:49:47] 931*2^1239619-1 is not prime. Res64: F7F9DB06F4CAECC5 Time : 0.0 sec. user=mdettweiler [2013-01-20 18:49:47] 969*2^1239619-1 is not prime. Res64: A3B6C6078C0B2144 Time : 0.0 sec. user=mdettweiler [2013-01-20 18:49:48] 999*2^1239619-1 is not prime. Res64: 92B2668538576CE2 Time : 0.0 sec. user=mdettweiler [2013-01-20 18:49:48] 615*2^1239620-1 is not prime. Res64: 9B9C72E945506E72 Time : 0.0 sec. user=mdettweiler [2013-01-20 19:07:42] 915*2^1239620-1 is not prime. Res64: 621202F340790AA3 Time : 0.0 sec. user=mdettweiler [2013-01-20 19:07:44] 607*2^1239621-1 is not prime. Res64: 7C7E629E6C3EAE55 Time : 0.0 sec. user=mdettweiler [2013-01-20 19:07:45] 689*2^1239620-1 is not prime. Res64: 8C363B8ED6F7847A Time : 0.0 sec. user=mdettweiler [2013-01-20 19:07:46] 879*2^1239620-1 is not prime. Res64: FC238A7F75DC5BC9 Time : 0.0 sec. user=vaughan [2013-01-20 19:23:32] 647*2^1239620-1 is not prime. Res64: 4EBD2E64F88DAE0F Time : 0.0 sec. user=mdettweiler [2013-01-20 19:25:56] 741*2^1239621-1 is not prime. Res64: C6ACFD3EA9522605 Time : 0.0 sec. user=mdettweiler [2013-01-20 19:25:56] 861*2^1239621-1 is not prime. Res64: A04E0DB49579403C Time : 0.0 sec. user=mdettweiler [2013-01-20 19:25:58] 907*2^1239621-1 is not prime. Res64: FA81C25FC6735C93 Time : 0.0 sec. user=mdettweiler [2013-01-20 19:25:59] 979*2^1239621-1 is not prime. Res64: 12B50E0B30DD1AB7 Time : 0.0 sec. user=mdettweiler [2013-01-20 19:43:51] 621*2^1239622-1 is not prime. Res64: 25831BDAD8EB99C2 Time : 0.0 sec. user=mdettweiler [2013-01-20 19:43:51] 731*2^1239622-1 is not prime. Res64: F78E074D8CF3F83F Time : 0.0 sec. user=mdettweiler [2013-01-20 19:43:53] 741*2^1239622-1 is not prime. Res64: 9F885F97022BA914 Time : 0.0 sec. user=mdettweiler [2013-01-20 19:43:53] 743*2^1239622-1 is not prime. Res64: A3AB9D8EB6F22786 Time : 0.0 sec. user=juhehe [2013-01-20 19:49:16] 987*2^1239621-1 is not prime. Res64: 21C2C0A9C43DD5A1 Time : 0.0 sec. user=vaughan [2013-01-20 20:01:26] 617*2^1239622-1 is not prime. Res64: 31B5F1E3E7A92322 Time : 0.0 sec. user=mdettweiler [2013-01-20 20:01:45] 785*2^1239622-1 is not prime. Res64: 92EC6DA7B140845E Time : 0.0 sec. user=mdettweiler [2013-01-20 20:01:53] 873*2^1239622-1 is not prime. Res64: E9982E447BCD2F36 Time : 0.0 sec. user=mdettweiler [2013-01-20 20:01:53] 843*2^1239622-1 is not prime. Res64: 4673701E1F337B0B Time : 0.0 sec. user=mdettweiler [2013-01-20 20:02:02] 703*2^1239623-1 is not prime. Res64: A0E7A55DA3842A2D Time : 0.0 sec. user=mdettweiler [2013-01-20 20:20:16] 879*2^1239623-1 is not prime. Res64: 5901568A2D96D5DA Time : 0.0 sec. user=mdettweiler [2013-01-20 20:20:16] 885*2^1239623-1 is not prime. Res64: 0E77CF80D4EF3C95 Time : 0.0 sec. user=mdettweiler [2013-01-20 20:38:13] 887*2^1239624-1 is not prime. Res64: 17360C74DDCEAF32 Time : 0.0 sec. user=mdettweiler [2013-01-20 20:38:13] 945*2^1239624-1 is not prime. Res64: F51926BCB17E48BE Time : 0.0 sec. user=vaughan [2013-01-20 20:39:44] 855*2^1239623-1 is not prime. Res64: E0CD66C32046FD5E Time : 0.0 sec. user=mdettweiler [2013-01-20 20:44:18] 947*2^1239624-1 is not prime. Res64: 842A5430B2F46DD6 Time : 0.0 sec. user=mdettweiler [2013-01-20 20:44:18] 607*2^1239625-1 is not prime. Res64: F959A5F7B4874CF0 Time : 0.0 sec. user=mdettweiler [2013-01-20 20:56:10] 729*2^1239625-1 is not prime. Res64: BE2AC7AC07F74E8F Time : 0.0 sec. user=mdettweiler [2013-01-20 20:56:11] 871*2^1239625-1 is not prime. Res64: E6B08B2EAE496B15 Time : 0.0 sec. user=mdettweiler [2013-01-20 21:02:15] 641*2^1239626-1 is not prime. Res64: 4F6655E46F04593C Time : 0.0 sec. user=mdettweiler [2013-01-20 21:02:22] 671*2^1239626-1 is not prime. Res64: B0C6ACEEDBC0B284 Time : 0.0 sec. user=mdettweiler [2013-01-20 21:14:04] 683*2^1239626-1 is not prime. Res64: 2C71D01741524748 Time : 0.0 sec. user=mdettweiler [2013-01-20 21:14:05] 705*2^1239626-1 is not prime. Res64: 6E137F5B46BBB7F3 Time : 0.0 sec. user=vaughan [2013-01-20 21:17:40] 975*2^1239625-1 is not prime. Res64: B5EB0A6C7FC40F74 Time : 0.0 sec. user=mdettweiler [2013-01-20 21:20:54] 837*2^1239626-1 is not prime. Res64: 78C80C3DA58480D4 Time : 0.0 sec. user=mdettweiler [2013-01-20 21:20:54] 843*2^1239626-1 is not prime. Res64: 9172D6AFCECA877C Time : 0.0 sec. user=mdettweiler [2013-01-20 21:32:01] 619*2^1239627-1 is not prime. Res64: 4D10D64DF4DF44C5 Time : 0.0 sec. user=mdettweiler [2013-01-20 21:32:02] 621*2^1239627-1 is not prime. Res64: 36919805DC98CBB0 Time : 0.0 sec. user=mdettweiler [2013-01-20 21:38:50] 793*2^1239627-1 is not prime. Res64: 8DFD96626623679F Time : 0.0 sec. user=mdettweiler [2013-01-20 21:38:50] 819*2^1239627-1 is not prime. Res64: 2DDE97F0716D7BC1 Time : 0.0 sec. user=mdettweiler [2013-01-20 21:49:57] 849*2^1239627-1 is not prime. Res64: F363EC78ACAC99DA Time : 0.0 sec. user=mdettweiler [2013-01-20 21:49:57] 919*2^1239627-1 is not prime. Res64: 92165376A2E21A98 Time : 0.0 sec. user=vaughan [2013-01-20 21:55:37] 699*2^1239627-1 is not prime. Res64: B33C5630F1605FD3 Time : 0.0 sec. user=mdettweiler [2013-01-20 21:56:45] 945*2^1239627-1 is not prime. Res64: 2717BC968F32D31D Time : 0.0 sec. user=mdettweiler [2013-01-20 21:56:45] 973*2^1239627-1 is not prime. Res64: 3062E1839A04E30B Time : 0.0 sec. user=mdettweiler [2013-01-20 22:07:55] 985*2^1239627-1 is not prime. Res64: 4728D20D2E2563F5 Time : 0.0 sec. user=mdettweiler [2013-01-20 22:07:56] 705*2^1239628-1 is not prime. Res64: B13ECDEA4DCEC34C Time : 0.0 sec. user=mdettweiler [2013-01-20 22:14:43] 825*2^1239629-1 is not prime. Res64: E0A8B8CF4BD0ED53 Time : 0.0 sec. user=mdettweiler [2013-01-20 22:14:44] 867*2^1239629-1 is not prime. Res64: 2AAADA03EA27D1F7 Time : 0.0 sec. user=mdettweiler [2013-01-20 22:26:19] 927*2^1239629-1 is not prime. Res64: 49F32F5D2107C297 Time : 0.0 sec. user=mdettweiler [2013-01-20 22:26:19] 945*2^1239629-1 is not prime. Res64: FBDDE90F5239998E Time : 0.0 sec. user=mdettweiler [2013-01-20 22:32:31] 985*2^1239629-1 is not prime. Res64: 101D06242132B163 Time : 0.0 sec. user=mdettweiler [2013-01-20 22:32:32] 717*2^1239630-1 is not prime. Res64: 779F3E57ABC0BA7E Time : 0.0 sec. user=vaughan [2013-01-20 22:33:35] 929*2^1239628-1 is not prime. Res64: B41DC11CE48F1D0F Time : 0.0 sec. user=mdettweiler [2013-01-20 22:43:50] 725*2^1239630-1 is not prime. Res64: 48CCC916730FD97A Time : 0.0 sec. user=mdettweiler [2013-01-20 22:43:51] 755*2^1239630-1 is not prime. Res64: 7CA2B262BD344F29 Time : 0.0 sec. user=mdettweiler [2013-01-20 22:50:06] 851*2^1239630-1 is not prime. Res64: 9C0C2167CFF10BCC Time : 0.0 sec. user=mdettweiler [2013-01-20 22:50:06] 917*2^1239630-1 is not prime. Res64: 6231E9D75479B290 Time : 0.0 sec. user=mdettweiler [2013-01-20 23:01:24] 651*2^1239631-1 is not prime. Res64: 34DD3330057DC7F8 Time : 0.0 sec. user=mdettweiler [2013-01-20 23:01:31] 735*2^1239631-1 is not prime. Res64: A7732428BB77E454 Time : 0.0 sec. user=mdettweiler [2013-01-20 23:07:36] 861*2^1239631-1 is not prime. Res64: E405125B911AD544 Time : 0.0 sec. user=mdettweiler [2013-01-20 23:07:38] 603*2^1239632-1 is not prime. Res64: 84810B8C9CA4C562 Time : 0.0 sec. user=vaughan [2013-01-20 23:11:31] 645*2^1239631-1 is not prime. Res64: 9F018536F2C6E691 Time : 0.0 sec. user=mdettweiler [2013-01-20 23:25:17] 609*2^1239632-1 is not prime. Res64: 3CBAA598D093E2B0 Time : 0.0 sec. user=mdettweiler [2013-01-20 23:25:17] 633*2^1239632-1 is not prime. Res64: 26B1A15C1C23DFD0 Time : 0.0 sec. user=mdettweiler [2013-01-20 23:42:42] 879*2^1239632-1 is not prime. Res64: 79FC8932C6E5B49D Time : 0.0 sec. user=mdettweiler [2013-01-20 23:42:42] 915*2^1239632-1 is not prime. Res64: 1A3A773C0A64E95A Time : 0.0 sec. user=vaughan [2013-01-20 23:49:35] 875*2^1239632-1 is not prime. Res64: 8D3E30061A7D9EBF Time : 0.0 sec. user=mdettweiler [2013-01-20 23:54:41] 609*2^1239633-1 is not prime. Res64: 087E0E8C84E1DF57 Time : 0.0 sec. user=mdettweiler [2013-01-20 23:54:42] 639*2^1239633-1 is not prime. Res64: 8DD8490801258BE9 Time : 0.0 sec. user=mdettweiler [2013-01-21 00:00:03] 751*2^1239633-1 is not prime. Res64: D21C26785A4D09B4 Time : 0.0 sec. user=mdettweiler [2013-01-21 00:00:04] 819*2^1239633-1 is not prime. Res64: 38047EF73896E7C2 Time : 0.0 sec.