user=mdettweiler [2012-09-13 00:09:13] 671*2^1228586-1 is not prime. Res64: E13DA913D758DE3F Time : 0.0 sec. user=mdettweiler [2012-09-13 00:09:16] 713*2^1228586-1 is not prime. Res64: 1A0B42C0326A5A78 Time : 0.0 sec. user=mdettweiler [2012-09-13 00:19:03] 773*2^1228586-1 is not prime. Res64: E92D2B18CEAB1F16 Time : 0.0 sec. user=mdettweiler [2012-09-13 00:19:04] 873*2^1228586-1 is not prime. Res64: 42493A49A6F3495F Time : 0.0 sec. user=mdettweiler [2012-09-13 00:29:54] 953*2^1228586-1 is not prime. Res64: 5B43C7BA92BB8F0E Time : 0.0 sec. user=mdettweiler [2012-09-13 00:29:55] 625*2^1228587-1 is not prime. Res64: 01E0733D8BB5165D Time : 0.0 sec. user=mdettweiler [2012-09-13 00:39:39] 741*2^1228587-1 is not prime. Res64: 67B3679AA46E75AE Time : 0.0 sec. user=mdettweiler [2012-09-13 00:39:40] 775*2^1228587-1 is not prime. Res64: D674AA2019FA2DF9 Time : 0.0 sec. user=mdettweiler [2012-09-13 00:50:26] 781*2^1228587-1 is not prime. Res64: 399458212D6D8D88 Time : 0.0 sec. user=mdettweiler [2012-09-13 00:50:26] 873*2^1228587-1 is not prime. Res64: 73BB83283AB0004B Time : 0.0 sec. user=mdettweiler [2012-09-13 01:00:10] 955*2^1228587-1 is not prime. Res64: 94C99789CF8B93D3 Time : 0.0 sec. user=mdettweiler [2012-09-13 01:00:11] 617*2^1228588-1 is not prime. Res64: 840543A17BFEFC79 Time : 0.0 sec. user=mdettweiler [2012-09-13 01:10:57] 905*2^1228588-1 is not prime. Res64: 333C7BEFDD8B45A2 Time : 0.0 sec. user=mdettweiler [2012-09-13 01:10:58] 825*2^1228589-1 is not prime. Res64: 79D839A901F6FC2B Time : 0.0 sec. user=mdettweiler [2012-09-13 01:20:45] 847*2^1228589-1 is not prime. Res64: FFEA3510F0331277 Time : 0.0 sec. user=mdettweiler [2012-09-13 01:20:45] 907*2^1228589-1 is not prime. Res64: F6B6CF940204BE77 Time : 0.0 sec. user=mdettweiler [2012-09-13 01:31:36] 693*2^1228590-1 is not prime. Res64: 1FF05E2F2869B9F1 Time : 0.0 sec. user=mdettweiler [2012-09-13 01:31:37] 755*2^1228590-1 is not prime. Res64: 303836F527B89497 Time : 0.0 sec. user=mdettweiler [2012-09-13 01:41:15] 885*2^1228590-1 is not prime. Res64: BC1DA864FBDCF07B Time : 0.0 sec. user=mdettweiler [2012-09-13 01:41:16] 965*2^1228590-1 is not prime. Res64: C11E699ACEE85059 Time : 0.0 sec. user=mdettweiler [2012-09-13 01:52:09] 971*2^1228590-1 is not prime. Res64: EF02A663847E3E54 Time : 0.0 sec. user=mdettweiler [2012-09-13 01:52:09] 619*2^1228591-1 is not prime. Res64: 9AC096F11F8C00B7 Time : 0.0 sec. user=mdettweiler [2012-09-13 02:01:49] 685*2^1228591-1 is not prime. Res64: 87673AABCA792165 Time : 0.0 sec. user=mdettweiler [2012-09-13 02:01:50] 715*2^1228591-1 is not prime. Res64: B7D36F36EB5BF861 Time : 0.0 sec. user=mdettweiler [2012-09-13 02:12:43] 735*2^1228591-1 is not prime. Res64: 30DA2D848DD3EFB2 Time : 0.0 sec. user=mdettweiler [2012-09-13 02:12:44] 759*2^1228591-1 is not prime. Res64: E5655F4EA8DAFB7F Time : 0.0 sec. user=mdettweiler [2012-09-13 02:27:32] 775*2^1228591-1 is not prime. Res64: 15DFAE71FFEAC463 Time : 0.0 sec. user=mdettweiler [2012-09-13 02:27:34] 793*2^1228591-1 is not prime. Res64: 6B5124EC17605DDD Time : 0.0 sec. user=mdettweiler [2012-09-13 02:37:41] 819*2^1228591-1 is not prime. Res64: 3154EBB3CCC04794 Time : 0.0 sec. user=mdettweiler [2012-09-13 02:37:42] 975*2^1228591-1 is not prime. Res64: 0C2B83325101614C Time : 0.0 sec. user=mdettweiler [2012-09-13 02:48:20] 993*2^1228591-1 is not prime. Res64: FD5F2E3365E5B43B Time : 0.0 sec. user=mdettweiler [2012-09-13 02:48:22] 759*2^1228592-1 is not prime. Res64: 412008ACB0F472A9 Time : 0.0 sec. user=mdettweiler [2012-09-13 02:58:25] 797*2^1228592-1 is not prime. Res64: D23315673D201FEB Time : 0.0 sec. user=mdettweiler [2012-09-13 02:58:25] 929*2^1228592-1 is not prime. Res64: CB7EE0ED65DEA425 Time : 0.0 sec. user=mdettweiler [2012-09-13 03:08:54] 945*2^1228592-1 is not prime. Res64: 2C6AAA0E4A45A283 Time : 0.0 sec. user=mdettweiler [2012-09-13 03:08:57] 607*2^1228593-1 is not prime. Res64: 39BF2C601415D452 Time : 0.0 sec. user=mdettweiler [2012-09-13 03:18:56] 649*2^1228593-1 is not prime. Res64: B2FCFBE4EC356D9E Time : 0.0 sec. user=mdettweiler [2012-09-13 03:18:57] 651*2^1228593-1 is not prime. Res64: E2632D1E9E9718C4 Time : 0.0 sec. user=mdettweiler [2012-09-13 03:29:30] 741*2^1228593-1 is not prime. Res64: 5E56FC01F85BE46F Time : 0.0 sec. user=mdettweiler [2012-09-13 03:29:31] 781*2^1228593-1 is not prime. Res64: 54598FCF55B8C3DF Time : 0.0 sec. user=gd_barnes [2012-09-13 03:33:46] 691*2^1228593-1 is not prime. Res64: E9183EBAFCB13F4A Time : 0.0 sec. user=mdettweiler [2012-09-13 03:39:25] 979*2^1228593-1 is not prime. Res64: 5910BF4C8BFB6F1F Time : 0.0 sec. user=mdettweiler [2012-09-13 03:39:28] 773*2^1228594-1 is not prime. Res64: C847AC4BE6B3D5B3 Time : 0.0 sec. user=vaughan [2012-09-13 03:44:26] 951*2^1228593-1 is not prime. Res64: 90B21D33D0F4D436 Time : 0.0 sec. user=vaughan [2012-09-13 03:44:27] 807*2^1228593-1 is not prime. Res64: 51B7A3E120DE2EC2 Time : 0.0 sec. user=vaughan [2012-09-13 03:44:27] 889*2^1228593-1 is not prime. Res64: 7069013374C00665 Time : 0.0 sec. user=vaughan [2012-09-13 03:44:28] 795*2^1228593-1 is not prime. Res64: C757D91A9CE13415 Time : 0.0 sec. user=mdettweiler [2012-09-13 03:49:58] 791*2^1228594-1 is not prime. Res64: 6B9E3E3B0F0E1ABC Time : 0.0 sec. user=mdettweiler [2012-09-13 03:49:59] 815*2^1228594-1 is not prime. Res64: E426CC5D07749764 Time : 0.0 sec. user=mdettweiler [2012-09-13 04:00:08] 951*2^1228594-1 is not prime. Res64: F3D8E6EAC61A6507 Time : 0.0 sec. user=mdettweiler [2012-09-13 04:00:10] 735*2^1228595-1 is not prime. Res64: E2BCED6ED3CDC30D Time : 0.0 sec. user=mdettweiler [2012-09-13 04:10:28] 855*2^1228595-1 is not prime. Res64: 981E56E9D913DBA8 Time : 0.0 sec. user=mdettweiler [2012-09-13 04:10:30] 859*2^1228595-1 is not prime. Res64: C3FA3222B6BF65DB Time : 0.0 sec. user=mdettweiler [2012-09-13 04:20:41] 921*2^1228595-1 is not prime. Res64: C365264C1DFA9E43 Time : 0.0 sec. user=mdettweiler [2012-09-13 04:20:43] 979*2^1228595-1 is not prime. Res64: FD0F9E574EAD0100 Time : 0.0 sec. user=mdettweiler [2012-09-13 04:31:00] 629*2^1228596-1 is not prime. Res64: 719BF1B3EDB715A9 Time : 0.0 sec. user=mdettweiler [2012-09-13 04:31:01] 843*2^1228596-1 is not prime. Res64: A693489026177ABC Time : 0.0 sec. user=gd_barnes [2012-09-13 04:38:24] 999*2^1228595-1 is not prime. Res64: BD97832349D79B0D Time : 0.0 sec. user=mdettweiler [2012-09-13 04:41:28] 875*2^1228596-1 is not prime. Res64: 02C4783CA437FC6F Time : 0.0 sec. user=mdettweiler [2012-09-13 04:41:29] 879*2^1228596-1 is not prime. Res64: 7BD9314D2008475E Time : 0.0 sec. user=mdettweiler [2012-09-13 04:51:31] 905*2^1228596-1 is not prime. Res64: AB0CE585DA3698F5 Time : 0.0 sec. user=mdettweiler [2012-09-13 04:51:32] 909*2^1228596-1 is not prime. Res64: 28A2A0BED8E85394 Time : 0.0 sec. user=mdettweiler [2012-09-13 05:02:06] 933*2^1228596-1 is not prime. Res64: 24C03716CAED700A Time : 0.0 sec. user=mdettweiler [2012-09-13 05:02:09] 983*2^1228596-1 is not prime. Res64: F4859607069BD226 Time : 0.0 sec. user=mdettweiler [2012-09-13 05:11:59] 649*2^1228597-1 is not prime. Res64: 2A0C1A55AEC46C4E Time : 0.0 sec. user=mdettweiler [2012-09-13 05:12:01] 687*2^1228597-1 is not prime. Res64: F0740FDCD21D1FD7 Time : 0.0 sec. user=mdettweiler [2012-09-13 05:22:57] 759*2^1228597-1 is not prime. Res64: 201D06C20D04A7D9 Time : 0.0 sec. user=mdettweiler [2012-09-13 05:22:57] 805*2^1228597-1 is not prime. Res64: 55C9DB4C877D3D52 Time : 0.0 sec. user=mdettweiler [2012-09-13 05:32:36] 871*2^1228597-1 is not prime. Res64: E0D9517347500B5A Time : 0.0 sec. user=mdettweiler [2012-09-13 05:32:36] 915*2^1228597-1 is not prime. Res64: AA74D905ABF434DE Time : 0.0 sec. user=mdettweiler [2012-09-13 05:43:27] 967*2^1228597-1 is not prime. Res64: 4B18878892C8E6E6 Time : 0.0 sec. user=mdettweiler [2012-09-13 05:43:28] 683*2^1228598-1 is not prime. Res64: 46341DDB852FF89A Time : 0.0 sec. user=mdettweiler [2012-09-13 05:53:05] 773*2^1228598-1 is not prime. Res64: C2440ECE17203265 Time : 0.0 sec. user=mdettweiler [2012-09-13 05:53:06] 833*2^1228598-1 is not prime. Res64: 746D0345138F0FFC Time : 0.0 sec. user=mdettweiler [2012-09-13 06:03:55] 993*2^1228598-1 is not prime. Res64: 71E5261009CDE496 Time : 0.0 sec. user=mdettweiler [2012-09-13 06:03:57] 1001*2^1228598-1 is not prime. Res64: ACE1A68E5ACDCED5 Time : 0.0 sec. user=mdettweiler [2012-09-13 06:13:33] 619*2^1228599-1 is not prime. Res64: B03F3BD6FF32EFD1 Time : 0.0 sec. user=mdettweiler [2012-09-13 06:13:35] 691*2^1228599-1 is not prime. Res64: 359994114B821B79 Time : 0.0 sec. user=mdettweiler [2012-09-13 06:24:43] 741*2^1228599-1 is not prime. Res64: E8AA2F2BB73A9660 Time : 0.0 sec. user=mdettweiler [2012-09-13 06:24:44] 823*2^1228599-1 is not prime. Res64: E004C0883FEC85FA Time : 0.0 sec. user=mdettweiler [2012-09-13 06:34:09] 865*2^1228599-1 is not prime. Res64: D25A85293B9E3EC6 Time : 0.0 sec. user=mdettweiler [2012-09-13 06:34:10] 855*2^1228600-1 is not prime. Res64: 632FAF916CA5D3D8 Time : 0.0 sec. user=mdettweiler [2012-09-13 06:45:13] 995*2^1228600-1 is not prime. Res64: AEB8E632474F3A9F Time : 0.0 sec. user=mdettweiler [2012-09-13 06:45:14] 607*2^1228601-1 is not prime. Res64: 0DDA333BCAC96AD5 Time : 0.0 sec. user=mdettweiler [2012-09-13 06:54:38] 789*2^1228601-1 is not prime. Res64: D14D4D17DAF72E78 Time : 0.0 sec. user=mdettweiler [2012-09-13 06:54:39] 837*2^1228601-1 is not prime. Res64: D14045FF7E2FE3C3 Time : 0.0 sec. user=mdettweiler [2012-09-13 07:05:43] 867*2^1228601-1 is not prime. Res64: 726D2EF8459881DF Time : 0.0 sec. user=mdettweiler [2012-09-13 07:05:45] 871*2^1228601-1 is not prime. Res64: CDAE8ABF18860A61 Time : 0.0 sec. user=mdettweiler [2012-09-13 07:15:07] 957*2^1228601-1 is not prime. Res64: D88BDEB0974BA775 Time : 0.0 sec. user=mdettweiler [2012-09-13 07:15:08] 997*2^1228601-1 is not prime. Res64: 43906766C11748AE Time : 0.0 sec. user=mdettweiler [2012-09-13 07:26:31] 695*2^1228602-1 is not prime. Res64: 9E6A7624AADBBA48 Time : 0.0 sec. user=mdettweiler [2012-09-13 07:26:32] 713*2^1228602-1 is not prime. Res64: B464194CC6DD3BA1 Time : 0.0 sec. user=mdettweiler [2012-09-13 07:35:51] 755*2^1228602-1 is not prime. Res64: 2752C555E0ADB6FD Time : 0.0 sec. user=mdettweiler [2012-09-13 07:35:51] 885*2^1228602-1 is not prime. Res64: A895E3DA9EC4892F Time : 0.0 sec. user=mdettweiler [2012-09-13 07:47:04] 887*2^1228602-1 is not prime. Res64: 2E47069724BB12AB Time : 0.0 sec. user=mdettweiler [2012-09-13 07:47:05] 917*2^1228602-1 is not prime. Res64: 5537D06FAB770D75 Time : 0.0 sec. user=mdettweiler [2012-09-13 07:56:19] 675*2^1228603-1 is not prime. Res64: 5F361D39A94708D6 Time : 0.0 sec. user=mdettweiler [2012-09-13 07:56:19] 679*2^1228603-1 is not prime. Res64: 327A996181A970B1 Time : 0.0 sec. user=mdettweiler [2012-09-13 08:07:33] 681*2^1228603-1 is not prime. Res64: EF96AE1052DCBDA6 Time : 0.0 sec. user=mdettweiler [2012-09-13 08:07:34] 703*2^1228603-1 is not prime. Res64: 0CEA374FB0740464 Time : 0.0 sec. user=mdettweiler [2012-09-13 08:16:47] 741*2^1228603-1 is not prime. Res64: B9D54163F9EC9198 Time : 0.0 sec. user=mdettweiler [2012-09-13 08:16:48] 919*2^1228603-1 is not prime. Res64: 3CE9EE17812A3BDE Time : 0.0 sec. user=mdettweiler [2012-09-13 08:28:10] 951*2^1228603-1 is not prime. Res64: 76FCDD33B42F1B75 Time : 0.0 sec. user=mdettweiler [2012-09-13 08:28:11] 675*2^1228604-1 is not prime. Res64: BD59B70EEB4C4AB0 Time : 0.0 sec. user=mdettweiler [2012-09-13 08:37:19] 755*2^1228604-1 is not prime. Res64: C527B4CC84CBDBAA Time : 0.0 sec. user=mdettweiler [2012-09-13 08:37:19] 773*2^1228604-1 is not prime. Res64: 7A777A229B410F35 Time : 0.0 sec. user=mdettweiler [2012-09-13 08:48:43] 899*2^1228604-1 is not prime. Res64: 1EE37563634BB3DD Time : 0.0 sec. user=mdettweiler [2012-09-13 08:48:43] 995*2^1228604-1 is not prime. Res64: 8B2C944E2658A668 Time : 0.0 sec. user=mdettweiler [2012-09-13 08:57:54] 609*2^1228605-1 is not prime. Res64: 7AD17DACD940D285 Time : 0.0 sec. user=mdettweiler [2012-09-13 08:57:55] 667*2^1228605-1 is not prime. Res64: 6D582BC6199246C2 Time : 0.0 sec. user=mdettweiler [2012-09-13 09:09:26] 735*2^1228605-1 is not prime. Res64: 9C8356F810D6FB74 Time : 0.0 sec. user=mdettweiler [2012-09-13 09:09:27] 819*2^1228605-1 is not prime. Res64: F23591D4442ED068 Time : 0.0 sec. user=mdettweiler [2012-09-13 09:19:01] 837*2^1228605-1 is not prime. Res64: 984CEE9FD3E2C1E9 Time : 0.0 sec. user=mdettweiler [2012-09-13 09:19:01] 861*2^1228605-1 is not prime. Res64: 710A7235FF51D6AB Time : 0.0 sec. user=mdettweiler [2012-09-13 09:31:02] 871*2^1228605-1 is not prime. Res64: E4DFC55D7A4B08A3 Time : 0.0 sec. user=mdettweiler [2012-09-13 09:31:02] 961*2^1228605-1 is not prime. Res64: 02EDE475A583EFBB Time : 0.0 sec. user=mdettweiler [2012-09-13 09:40:25] 713*2^1228606-1 is not prime. Res64: 7A521ADCFCF8AB63 Time : 0.0 sec. user=mdettweiler [2012-09-13 09:40:25] 761*2^1228606-1 is not prime. Res64: 3FF488F3A7A8E3C7 Time : 0.0 sec. user=mdettweiler [2012-09-13 09:52:35] 785*2^1228606-1 is not prime. Res64: 9B1E4502374B1691 Time : 0.0 sec. user=mdettweiler [2012-09-13 09:52:36] 833*2^1228606-1 is not prime. Res64: C1010DF5F249F9A7 Time : 0.0 sec. user=mdettweiler [2012-09-13 10:01:54] 857*2^1228606-1 is not prime. Res64: 454CD1C34686472D Time : 0.0 sec. user=mdettweiler [2012-09-13 10:01:54] 911*2^1228606-1 is not prime. Res64: 90D4EDFE7DFCD3A4 Time : 0.0 sec. user=mdettweiler [2012-09-13 10:13:41] 987*2^1228606-1 is not prime. Res64: 03458E0EC6007EAA Time : 0.0 sec. user=mdettweiler [2012-09-13 10:13:43] 1001*2^1228606-1 is not prime. Res64: F46D45B84D7728E8 Time : 0.0 sec. user=mdettweiler [2012-09-13 10:22:54] 753*2^1228607-1 is not prime. Res64: 2AE60FCFCB8CC5A8 Time : 0.0 sec. user=mdettweiler [2012-09-13 10:22:54] 949*2^1228607-1 is not prime. Res64: 66A699F93293E281 Time : 0.0 sec. user=mdettweiler [2012-09-13 10:34:31] 985*2^1228607-1 is not prime. Res64: 02A157452DC0BB66 Time : 0.0 sec. user=mdettweiler [2012-09-13 10:34:32] 899*2^1228608-1 is not prime. Res64: B13FB083BEF8516E Time : 0.0 sec. user=mdettweiler [2012-09-13 10:43:27] 699*2^1228609-1 is not prime. Res64: 88EAA438AA66485D Time : 0.0 sec. user=mdettweiler [2012-09-13 10:43:27] 817*2^1228609-1 is not prime. Res64: 98FCF899AF2BE952 Time : 0.0 sec. user=mdettweiler [2012-09-13 10:55:03] 819*2^1228609-1 is not prime. Res64: C2D060E0E5657B19 Time : 0.0 sec. user=mdettweiler [2012-09-13 10:55:03] 841*2^1228609-1 is not prime. Res64: A89BA4CB169C3399 Time : 0.0 sec. user=mdettweiler [2012-09-13 11:03:56] 633*2^1228610-1 is not prime. Res64: 2107379DACC6B8C9 Time : 0.0 sec. user=mdettweiler [2012-09-13 11:03:57] 635*2^1228610-1 is not prime. Res64: 3A5AB7C24CE5D3E1 Time : 0.0 sec. user=mdettweiler [2012-09-13 11:15:32] 645*2^1228610-1 is not prime. Res64: 6290CBC5007F6899 Time : 0.0 sec. user=mdettweiler [2012-09-13 11:15:32] 741*2^1228610-1 is not prime. Res64: 14B67948267319D3 Time : 0.0 sec. user=mdettweiler [2012-09-13 11:24:30] 747*2^1228610-1 is not prime. Res64: 019C5129298DE86F Time : 0.0 sec. user=mdettweiler [2012-09-13 11:24:30] 755*2^1228610-1 is not prime. Res64: 73E6F8054B1012E3 Time : 0.0 sec. user=mdettweiler [2012-09-13 11:36:03] 797*2^1228610-1 is not prime. Res64: 9A59BBDC8D630C53 Time : 0.0 sec. user=mdettweiler [2012-09-13 11:36:03] 843*2^1228610-1 is not prime. Res64: 7613568760EC6D1C Time : 0.0 sec. user=mdettweiler [2012-09-13 11:45:00] 857*2^1228610-1 is not prime. Res64: 41CECFF4F4F6498A Time : 0.0 sec. user=mdettweiler [2012-09-13 11:45:01] 867*2^1228610-1 is not prime. Res64: F2AD7E034AE14C37 Time : 0.0 sec. user=mdettweiler [2012-09-13 11:56:32] 885*2^1228610-1 is not prime. Res64: A3B913850FE7F097 Time : 0.0 sec. user=mdettweiler [2012-09-13 11:56:33] 981*2^1228610-1 is not prime. Res64: 7A7821A66C490A61 Time : 0.0 sec. user=mdettweiler [2012-09-13 12:05:30] 613*2^1228611-1 is not prime. Res64: A24291F5D6F932D4 Time : 0.0 sec. user=mdettweiler [2012-09-13 12:05:32] 651*2^1228611-1 is not prime. Res64: 85897E83DD492882 Time : 0.0 sec. user=mdettweiler [2012-09-13 12:17:01] 723*2^1228611-1 is not prime. Res64: 2F7FCF3B38647C39 Time : 0.0 sec. user=mdettweiler [2012-09-13 12:17:02] 871*2^1228611-1 is not prime. Res64: 0C0089AC30061041 Time : 0.0 sec. user=mdettweiler [2012-09-13 12:26:05] 873*2^1228611-1 is not prime. Res64: E4A10D7F6463AE35 Time : 0.0 sec. user=mdettweiler [2012-09-13 12:26:05] 895*2^1228611-1 is not prime. Res64: 4662DF55A83A97A9 Time : 0.0 sec. user=mdettweiler [2012-09-13 12:37:32] 695*2^1228612-1 is not prime. Res64: 18089F21A3A79AF6 Time : 0.0 sec. user=mdettweiler [2012-09-13 12:37:33] 777*2^1228612-1 is not prime. Res64: 927509D8A7631D32 Time : 0.0 sec. user=mdettweiler [2012-09-13 12:46:34] 779*2^1228612-1 is not prime. Res64: 0E32EB5B4DFACFEA Time : 0.0 sec. user=mdettweiler [2012-09-13 12:46:35] 807*2^1228612-1 is not prime. Res64: 279212688E18D8FE Time : 0.0 sec. user=mdettweiler [2012-09-13 12:58:02] 873*2^1228612-1 is not prime. Res64: B0D823D528AA61D5 Time : 0.0 sec. user=mdettweiler [2012-09-13 12:58:02] 915*2^1228612-1 is not prime. Res64: B6C958E4DE2E4855 Time : 0.0 sec. user=mdettweiler [2012-09-13 13:07:04] 989*2^1228612-1 is not prime. Res64: D13FFD36315BFD9F Time : 0.0 sec. user=mdettweiler [2012-09-13 13:07:06] 627*2^1228613-1 is not prime. Res64: 311F3EBB5CBE49B9 Time : 0.0 sec. user=mdettweiler [2012-09-13 13:18:36] 631*2^1228613-1 is not prime. Res64: 6C45D102B8CCEF47 Time : 0.0 sec. user=mdettweiler [2012-09-13 13:18:37] 669*2^1228613-1 is not prime. Res64: B874C26DF6D2DA05 Time : 0.0 sec. user=mdettweiler [2012-09-13 13:28:23] 685*2^1228613-1 is not prime. Res64: F6D9AB2A93E45257 Time : 0.0 sec. user=mdettweiler [2012-09-13 13:28:23] 721*2^1228613-1 is not prime. Res64: 51D8C04C6E921865 Time : 0.0 sec. user=mdettweiler [2012-09-13 13:40:04] 729*2^1228613-1 is not prime. Res64: 8F3D1BE37879E1B3 Time : 0.0 sec. user=mdettweiler [2012-09-13 13:40:04] 789*2^1228613-1 is not prime. Res64: EDB0C6F0661E1AB4 Time : 0.0 sec. user=mdettweiler [2012-09-13 13:49:46] 811*2^1228613-1 is not prime. Res64: D4C9DD3502C2C87B Time : 0.0 sec. user=mdettweiler [2012-09-13 13:49:46] 901*2^1228613-1 is not prime. Res64: 04D923F6DAD0A527 Time : 0.0 sec. user=mdettweiler [2012-09-13 14:01:27] 949*2^1228613-1 is not prime. Res64: 479E619381CCB252 Time : 0.0 sec. user=mdettweiler [2012-09-13 14:01:29] 981*2^1228613-1 is not prime. Res64: D137D6AC53CBD250 Time : 0.0 sec. user=mdettweiler [2012-09-13 14:11:06] 621*2^1228614-1 is not prime. Res64: 7435C8B25DE74E64 Time : 0.0 sec. user=mdettweiler [2012-09-13 14:11:07] 707*2^1228614-1 is not prime. Res64: E104314510F8FE26 Time : 0.0 sec. user=mdettweiler [2012-09-13 14:22:45] 723*2^1228614-1 is not prime. Res64: 43E6AADE775312CC Time : 0.0 sec. user=mdettweiler [2012-09-13 14:22:46] 791*2^1228614-1 is not prime. Res64: 3BC1C9D43E7DEB29 Time : 0.0 sec. user=mdettweiler [2012-09-13 14:32:08] 807*2^1228614-1 is not prime. Res64: 27DBC57E01F6B5EF Time : 0.0 sec. user=mdettweiler [2012-09-13 14:32:08] 833*2^1228614-1 is not prime. Res64: 744B64B986216C2E Time : 0.0 sec. user=mdettweiler [2012-09-13 14:43:38] 851*2^1228614-1 is not prime. Res64: 8B8A72001F623E14 Time : 0.0 sec. user=mdettweiler [2012-09-13 14:43:38] 881*2^1228614-1 is not prime. Res64: 4AB4C53A32CF1170 Time : 0.0 sec. user=mdettweiler [2012-09-13 14:53:08] 947*2^1228614-1 is not prime. Res64: D3F754608E3DAE89 Time : 0.0 sec. user=mdettweiler [2012-09-13 14:53:08] 975*2^1228614-1 is not prime. Res64: D57A3B793681640E Time : 0.0 sec. user=mdettweiler [2012-09-13 15:04:41] 993*2^1228614-1 is not prime. Res64: 295B25E1758E6065 Time : 0.0 sec. user=mdettweiler [2012-09-13 15:04:42] 645*2^1228615-1 is not prime. Res64: 5699609F36ADCA42 Time : 0.0 sec. user=mdettweiler [2012-09-13 15:14:11] 763*2^1228615-1 is not prime. Res64: 6A83A2C01D301392 Time : 0.0 sec. user=mdettweiler [2012-09-13 15:14:11] 805*2^1228615-1 is not prime. Res64: 491CF687EC968A68 Time : 0.0 sec. user=mdettweiler [2012-09-13 15:26:00] 849*2^1228615-1 is not prime. Res64: A41D84BEDA54F06C Time : 0.0 sec. user=mdettweiler [2012-09-13 15:26:00] 855*2^1228615-1 is not prime. Res64: 1DEBC3E37E25E798 Time : 0.0 sec. user=mdettweiler [2012-09-13 15:35:20] 871*2^1228615-1 is not prime. Res64: EC483FD6B3AFF738 Time : 0.0 sec. user=mdettweiler [2012-09-13 15:35:21] 909*2^1228615-1 is not prime. Res64: 6F5944C02AC46576 Time : 0.0 sec. user=mdettweiler [2012-09-13 15:47:14] 913*2^1228615-1 is not prime. Res64: 46FC35BF45AC9BF6 Time : 0.0 sec. user=mdettweiler [2012-09-13 15:47:15] 999*2^1228615-1 is not prime. Res64: B372F6A00A3E7BAE Time : 0.0 sec. user=mdettweiler [2012-09-13 15:56:21] 669*2^1228616-1 is not prime. Res64: 60053471D8611040 Time : 0.0 sec. user=mdettweiler [2012-09-13 15:56:21] 699*2^1228616-1 is not prime. Res64: 584179DFBDD9B5E0 Time : 0.0 sec. user=mdettweiler [2012-09-13 16:08:17] 755*2^1228616-1 is not prime. Res64: BD074944C9E898AB Time : 0.0 sec. user=mdettweiler [2012-09-13 16:08:18] 759*2^1228616-1 is not prime. Res64: AE04886F265C5D9B Time : 0.0 sec. user=mdettweiler [2012-09-13 16:17:23] 879*2^1228616-1 is not prime. Res64: 22D137BB254430A0 Time : 0.0 sec. user=mdettweiler [2012-09-13 16:17:24] 927*2^1228616-1 is not prime. Res64: 22BAB4A36D532A17 Time : 0.0 sec. user=mdettweiler [2012-09-13 16:29:26] 969*2^1228616-1 is not prime. Res64: 915ECF2D48C17CC5 Time : 0.0 sec. user=mdettweiler [2012-09-13 16:29:26] 993*2^1228616-1 is not prime. Res64: A6434C9F96389E09 Time : 0.0 sec. user=mdettweiler [2012-09-13 16:38:31] 625*2^1228617-1 is not prime. Res64: 7674B24680B5CBBF Time : 0.0 sec. user=mdettweiler [2012-09-13 16:38:31] 819*2^1228617-1 is not prime. Res64: 4C1B8CE511B8C455 Time : 0.0 sec. user=mdettweiler [2012-09-13 16:50:32] 829*2^1228617-1 is not prime. Res64: 179DDDF8CC2FA79F Time : 0.0 sec. user=mdettweiler [2012-09-13 16:50:32] 837*2^1228617-1 is not prime. Res64: 6876FDD7C2A07D07 Time : 0.0 sec. user=mdettweiler [2012-09-13 16:59:32] 847*2^1228617-1 is not prime. Res64: 2A98F8554E855BFD Time : 0.0 sec. user=mdettweiler [2012-09-13 16:59:32] 997*2^1228617-1 is not prime. Res64: 76D81181207992B2 Time : 0.0 sec. user=mdettweiler [2012-09-13 17:11:32] 665*2^1228618-1 is not prime. Res64: DF93106E8B31587D Time : 0.0 sec. user=mdettweiler [2012-09-13 17:11:33] 681*2^1228618-1 is not prime. Res64: AAD32446889DF7B4 Time : 0.0 sec. user=mdettweiler [2012-09-13 17:20:33] 773*2^1228618-1 is not prime. Res64: 4746C465BF618E63 Time : 0.0 sec. user=mdettweiler [2012-09-13 17:20:34] 857*2^1228618-1 is not prime. Res64: 6EB4A1BF2E43E077 Time : 0.0 sec. user=mdettweiler [2012-09-13 17:32:39] 861*2^1228618-1 is not prime. Res64: 973CE3ECC32932D4 Time : 0.0 sec. user=mdettweiler [2012-09-13 17:32:40] 609*2^1228619-1 is not prime. Res64: 7F83E6CB45E67F1D Time : 0.0 sec. user=mdettweiler [2012-09-13 17:41:33] 619*2^1228619-1 is not prime. Res64: 7CF2F2A81F20C8A4 Time : 0.0 sec. user=mdettweiler [2012-09-13 17:41:33] 693*2^1228619-1 is not prime. Res64: 6969CA883E93E903 Time : 0.0 sec. user=mdettweiler [2012-09-13 17:53:43] 745*2^1228619-1 is not prime. Res64: 40124CE3BE687334 Time : 0.0 sec. user=mdettweiler [2012-09-13 17:53:43] 801*2^1228619-1 is not prime. Res64: FE4ACD2F02166DC2 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:02:38] 949*2^1228619-1 is not prime. Res64: 20F55FD5153CE7E4 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:02:39] 993*2^1228619-1 is not prime. Res64: 72E9B46E08BA58A8 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:14:32] 609*2^1228620-1 is not prime. Res64: A21BFB75693642D9 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:14:33] 689*2^1228620-1 is not prime. Res64: 423BE0D837FFB029 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:23:10] 717*2^1228620-1 is not prime. Res64: 2F044D4775EBF932 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:23:10] 737*2^1228620-1 is not prime. Res64: 709AF9F3DBF5ABCB Time : 0.0 sec. user=mdettweiler [2012-09-13 18:35:30] 759*2^1228620-1 is not prime. Res64: C27D04A2F68A2EA7 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:35:30] 765*2^1228620-1 is not prime. Res64: A91A6758EC132671 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:44:13] 783*2^1228620-1 is not prime. Res64: C8A105A41B6D4C67 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:44:14] 965*2^1228620-1 is not prime. Res64: AFA3F5AF440B4D18 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:56:33] 685*2^1228621-1 is not prime. Res64: B93EA5F1FD2BDE24 Time : 0.0 sec. user=mdettweiler [2012-09-13 18:56:34] 727*2^1228621-1 is not prime. Res64: A7DF2606F8AB687E Time : 0.0 sec. user=mdettweiler [2012-09-13 19:05:18] 741*2^1228621-1 is not prime. Res64: F47D293703B79C17 Time : 0.0 sec. user=mdettweiler [2012-09-13 19:05:20] 847*2^1228621-1 is not prime. Res64: 1300DE77416E30F4 Time : 0.0 sec. user=mdettweiler [2012-09-13 19:17:37] 997*2^1228621-1 is not prime. Res64: BF871F34F59D5AD1 Time : 0.0 sec. user=mdettweiler [2012-09-13 19:17:37] 885*2^1228622-1 is not prime. Res64: A7FFCC3D8454BA99 Time : 0.0 sec. user=mdettweiler [2012-09-13 19:26:51] 887*2^1228622-1 is not prime. Res64: A601AD3FA6DEA392 Time : 0.0 sec. user=mdettweiler [2012-09-13 19:26:52] 903*2^1228622-1 is not prime. Res64: 5FC0A2E2E6CD9E60 Time : 0.0 sec. user=mdettweiler [2012-09-13 19:38:38] 923*2^1228622-1 is not prime. Res64: 86BE464F4B24B850 Time : 0.0 sec. user=mdettweiler [2012-09-13 19:38:39] 615*2^1228623-1 is not prime. Res64: D718D1661583182C Time : 0.0 sec. user=mdettweiler [2012-09-13 19:47:56] 675*2^1228623-1 is not prime. Res64: 02803D79A5FEBC91 Time : 0.0 sec. user=mdettweiler [2012-09-13 19:47:56] 763*2^1228623-1 is not prime. Res64: 690FDA4584FD3BC7 Time : 0.0 sec. user=mdettweiler [2012-09-13 19:59:39] 853*2^1228623-1 is not prime. Res64: 1CA201E8F69A570B Time : 0.0 sec. user=mdettweiler [2012-09-13 19:59:39] 885*2^1228623-1 is not prime. Res64: 52F74C356C6C0F9F Time : 0.0 sec. user=mdettweiler [2012-09-13 20:08:57] 675*2^1228624-1 is not prime. Res64: 8FE8223DF4636864 Time : 0.0 sec. user=mdettweiler [2012-09-13 20:08:57] 723*2^1228624-1 is not prime. Res64: 48FAA78DCFF84806 Time : 0.0 sec. user=mdettweiler [2012-09-13 20:20:38] 803*2^1228624-1 is not prime. Res64: BB31CD5F80EB64B1 Time : 0.0 sec. user=mdettweiler [2012-09-13 20:20:38] 825*2^1228624-1 is not prime. Res64: 9A313DE3F86311E8 Time : 0.0 sec. user=mdettweiler [2012-09-13 20:30:01] 869*2^1228624-1 is not prime. Res64: C273D2B0B4198251 Time : 0.0 sec. user=mdettweiler [2012-09-13 20:30:01] 899*2^1228624-1 is not prime. Res64: D846C8E91727AD8F Time : 0.0 sec. user=mdettweiler [2012-09-13 20:41:22] 947*2^1228624-1 is not prime. Res64: 08410AD2554278EE Time : 0.0 sec. user=mdettweiler [2012-09-13 20:41:22] 651*2^1228625-1 is not prime. Res64: 8889304DBAFBF2AB Time : 0.0 sec. user=mdettweiler [2012-09-13 20:50:45] 675*2^1228625-1 is not prime. Res64: 4EA2E5CE77EAFCEF Time : 0.0 sec. user=mdettweiler [2012-09-13 20:50:46] 715*2^1228625-1 is not prime. Res64: CCE1CFA7DCD3766B Time : 0.0 sec. user=mdettweiler [2012-09-13 21:02:03] 741*2^1228625-1 is not prime. Res64: B69F5BCE2CB6E249 Time : 0.0 sec. user=mdettweiler [2012-09-13 21:02:04] 841*2^1228625-1 is not prime. Res64: C68A778D98E3449E Time : 0.0 sec. user=mdettweiler [2012-09-13 21:11:19] 847*2^1228625-1 is not prime. Res64: CFAF87CE2CD69711 Time : 0.0 sec. user=mdettweiler [2012-09-13 21:11:20] 909*2^1228625-1 is not prime. Res64: E69807CDE76C96AB Time : 0.0 sec. user=mdettweiler [2012-09-13 21:22:42] 741*2^1228626-1 is not prime. Res64: E0F00808257784A7 Time : 0.0 sec. user=mdettweiler [2012-09-13 21:22:43] 755*2^1228626-1 is not prime. Res64: 597C02162943762B Time : 0.0 sec. user=mdettweiler [2012-09-13 21:31:55] 867*2^1228626-1 is not prime. Res64: 32152A2024D80F83 Time : 0.0 sec. user=mdettweiler [2012-09-13 21:31:56] 881*2^1228626-1 is not prime. Res64: D5B121F6D07AFE84 Time : 0.0 sec. user=mdettweiler [2012-09-13 21:43:14] 905*2^1228626-1 is not prime. Res64: 8F8761549F63B49F Time : 0.0 sec. user=mdettweiler [2012-09-13 21:43:15] 619*2^1228627-1 is not prime. Res64: 48A8E56613869A58 Time : 0.0 sec. user=mdettweiler [2012-09-13 21:52:25] 633*2^1228627-1 is not prime. Res64: C60669E240AA857C Time : 0.0 sec. user=mdettweiler [2012-09-13 21:52:26] 645*2^1228627-1 is not prime. Res64: DF0CD203A25FA903 Time : 0.0 sec. user=mdettweiler [2012-09-13 22:03:44] 741*2^1228627-1 is not prime. Res64: 5453400286BF7880 Time : 0.0 sec. user=mdettweiler [2012-09-13 22:03:45] 765*2^1228627-1 is not prime. Res64: AB7CBCBD984F0CBB Time : 0.0 sec. user=mdettweiler [2012-09-13 22:12:55] 801*2^1228627-1 is not prime. Res64: 03D5D2BC1B7BDF64 Time : 0.0 sec. user=mdettweiler [2012-09-13 22:12:56] 859*2^1228627-1 is not prime. Res64: D2EB1011675EC746 Time : 0.0 sec. user=mdettweiler [2012-09-13 22:24:33] 915*2^1228627-1 is not prime. Res64: 3A4866E47D68A1B9 Time : 0.0 sec. user=mdettweiler [2012-09-13 22:24:34] 945*2^1228627-1 is not prime. Res64: 0576B9285B39A5CC Time : 0.0 sec. user=mdettweiler [2012-09-13 22:33:31] 893*2^1228628-1 is not prime. Res64: 4D172A26B6D0521A Time : 0.0 sec. user=mdettweiler [2012-09-13 22:33:32] 909*2^1228628-1 is not prime. Res64: 71D476DB57703074 Time : 0.0 sec. user=mdettweiler [2012-09-13 22:45:11] 923*2^1228628-1 is not prime. Res64: 8548191B2189A681 Time : 0.0 sec. user=mdettweiler [2012-09-13 22:45:11] 999*2^1228628-1 is not prime. Res64: D196B89237EDE5B2 Time : 0.0 sec. user=mdettweiler [2012-09-13 22:54:01] 751*2^1228629-1 is not prime. Res64: 3B8209D9BC336FD1 Time : 0.0 sec. user=mdettweiler [2012-09-13 22:54:01] 811*2^1228629-1 is not prime. Res64: 5A3E861EAEB3072E Time : 0.0 sec. user=mdettweiler [2012-09-13 23:05:41] 991*2^1228629-1 is not prime. Res64: B8A7BCD91EB93075 Time : 0.0 sec. user=mdettweiler [2012-09-13 23:05:44] 999*2^1228629-1 is not prime. Res64: E8F713A44DA90F81 Time : 0.0 sec. user=mdettweiler [2012-09-13 23:14:30] 695*2^1228630-1 is not prime. Res64: DC6D2F9D013E7C77 Time : 0.0 sec. user=mdettweiler [2012-09-13 23:14:33] 731*2^1228630-1 is not prime. Res64: B0B6CC1A9B1DFC0E Time : 0.0 sec. user=mdettweiler [2012-09-13 23:26:27] 755*2^1228630-1 is not prime. Res64: 34532052C52A3796 Time : 0.0 sec. user=mdettweiler [2012-09-13 23:26:28] 863*2^1228630-1 is not prime. Res64: C3D17BEAD7F47ECA Time : 0.0 sec. user=mdettweiler [2012-09-13 23:35:09] 873*2^1228630-1 is not prime. Res64: D097FA280AF9B3C7 Time : 0.0 sec. user=mdettweiler [2012-09-13 23:35:09] 891*2^1228630-1 is not prime. Res64: 35CA122EB6511AB8 Time : 0.0 sec. user=mdettweiler [2012-09-13 23:47:09] 945*2^1228630-1 is not prime. Res64: E6661A2B5E990934 Time : 0.0 sec. user=mdettweiler [2012-09-13 23:47:09] 951*2^1228630-1 is not prime. Res64: D08AD6D9F7034883 Time : 0.0 sec. user=mdettweiler [2012-09-13 23:55:38] 957*2^1228630-1 is not prime. Res64: 0839E398EFABE900 Time : 0.0 sec. user=mdettweiler [2012-09-13 23:55:38] 1001*2^1228630-1 is not prime. Res64: C9B3D14BF0D08BE1 Time : 0.0 sec.