user=mdettweiler [2013-09-14 00:01:26] 1001*2^1253174-1 is not prime. Res64: FB5F64545C226D03 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:01:27] 649*2^1253175-1 is not prime. Res64: 25D6F526A7AA76E9 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:04:02] 651*2^1253175-1 is not prime. Res64: 7D99BB076F5055A9 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:04:02] 741*2^1253175-1 is not prime. Res64: A909A755DE3AD7A7 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:12:17] 781*2^1253175-1 is not prime. Res64: 97E8A73AC4F8968B Time : 0.0 sec. user=mdettweiler [2013-09-14 00:12:18] 831*2^1253175-1 is not prime. Res64: F2C7B695C6664876 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:19:19] 885*2^1253175-1 is not prime. Res64: F01C6A2DE6E72BA6 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:19:19] 909*2^1253175-1 is not prime. Res64: FA75F732ACC21C2E Time : 0.0 sec. user=mdettweiler [2013-09-14 00:22:11] 955*2^1253175-1 is not prime. Res64: 8C7F1C4F0A26F29B Time : 0.0 sec. user=mdettweiler [2013-09-14 00:22:12] 689*2^1253176-1 is not prime. Res64: 6670AC2B745BCA0A Time : 0.0 sec. user=mdettweiler [2013-09-14 00:23:47] 637*2^1253177-1 is not prime. Res64: 8F23C438CDC89DF7 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:23:48] 747*2^1253177-1 is not prime. Res64: 62A7D93B8E3219CC Time : 0.0 sec. user=mdettweiler [2013-09-14 00:33:04] 795*2^1253177-1 is not prime. Res64: 22BC25CF1D177789 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:33:05] 879*2^1253177-1 is not prime. Res64: F21B08698EF8BCFF Time : 0.0 sec. user=mdettweiler [2013-09-14 00:39:57] 981*2^1253177-1 is not prime. Res64: 5A08B8AE284DFC17 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:39:58] 671*2^1253178-1 is not prime. Res64: 95AD1BFE11E79B87 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:41:56] 711*2^1253178-1 is not prime. Res64: 5A5548CC8F576709 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:41:57] 815*2^1253178-1 is not prime. Res64: 5C92B28C740EDD0F Time : 0.0 sec. user=mdettweiler [2013-09-14 00:44:23] 933*2^1253178-1 is not prime. Res64: 047B80F1B95678A7 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:44:23] 609*2^1253179-1 is not prime. Res64: 1A4689AB54A61DF9 Time : 0.0 sec. user=mdettweiler [2013-09-14 00:52:46] 639*2^1253179-1 is not prime. Res64: 453945C921784F7D Time : 0.0 sec. user=mdettweiler [2013-09-14 00:52:46] 645*2^1253179-1 is not prime. Res64: C4E8AEFFC501C337 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:00:34] 813*2^1253179-1 is not prime. Res64: D910B302DD623B06 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:00:35] 973*2^1253179-1 is not prime. Res64: 1D6B89D51A6AE5FE Time : 0.0 sec. user=mdettweiler [2013-09-14 01:02:36] 975*2^1253179-1 is not prime. Res64: A4E5C4842D48FAE5 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:02:38] 629*2^1253180-1 is not prime. Res64: 8DE17A069350D4B9 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:04:56] 825*2^1253180-1 is not prime. Res64: 571CCFB8396248E7 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:04:57] 909*2^1253180-1 is not prime. Res64: C1974AE78FFFDFA0 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:12:27] 835*2^1253181-1 is not prime. Res64: 0E9787EC68151538 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:12:28] 861*2^1253181-1 is not prime. Res64: BF0963B6577A07CC Time : 0.0 sec. user=mdettweiler [2013-09-14 01:20:22] 617*2^1253182-1 is not prime. Res64: 449BB0AFF5F6CD1D Time : 0.0 sec. user=mdettweiler [2013-09-14 01:20:23] 621*2^1253182-1 is not prime. Res64: EA489DC7C1A5BAC8 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:22:22] 657*2^1253182-1 is not prime. Res64: 500A5B9E69822C8E Time : 0.0 sec. user=mdettweiler [2013-09-14 01:22:23] 681*2^1253182-1 is not prime. Res64: 0837D6B25F581467 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:24:43] 717*2^1253182-1 is not prime. Res64: C87CE3FBBD9D56F1 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:24:43] 723*2^1253182-1 is not prime. Res64: 62D075589B6C5E16 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:32:19] 731*2^1253182-1 is not prime. Res64: 8FCEC41073B68977 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:32:19] 827*2^1253182-1 is not prime. Res64: 0D60BE9E73796AD5 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:42:04] 873*2^1253182-1 is not prime. Res64: 45B4095ADF0E2448 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:42:04] 917*2^1253182-1 is not prime. Res64: 0B0F67D2D0F5D234 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:44:05] 923*2^1253182-1 is not prime. Res64: CA0288ECA3A987A2 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:44:05] 941*2^1253182-1 is not prime. Res64: B4DCCB299A2FF435 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:45:26] 987*2^1253182-1 is not prime. Res64: EA4AA7780C094362 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:45:26] 703*2^1253183-1 is not prime. Res64: 575D25B7AFC74246 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:52:06] 705*2^1253183-1 is not prime. Res64: BB46FA47DA75BAD3 Time : 0.0 sec. user=mdettweiler [2013-09-14 01:52:07] 853*2^1253183-1 is not prime. Res64: 142DCE3F3631AD14 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:02:39] 955*2^1253183-1 is not prime. Res64: 58AF2675DE520F88 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:02:40] 605*2^1253184-1 is not prime. Res64: 0031731658F78EE9 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:03:52] 615*2^1253184-1 is not prime. Res64: FE6A0A2AB5F796B9 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:03:54] 629*2^1253184-1 is not prime. Res64: A89C8D82C5688D1B Time : 0.0 sec. user=mdettweiler [2013-09-14 02:05:13] 675*2^1253184-1 is not prime. Res64: CE843AD96C782DB4 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:05:14] 683*2^1253184-1 is not prime. Res64: 74311CA7B836324F Time : 0.0 sec. user=mdettweiler [2013-09-14 02:11:52] 759*2^1253184-1 is not prime. Res64: 57D4375D465ADA61 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:11:53] 789*2^1253184-1 is not prime. Res64: 3165775C295E5BA6 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:23:18] 909*2^1253184-1 is not prime. Res64: C86B78DC430145F7 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:23:19] 717*2^1253185-1 is not prime. Res64: 1F77C884023B5804 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:23:42] 759*2^1253185-1 is not prime. Res64: 177A171486762467 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:23:42] 819*2^1253185-1 is not prime. Res64: 75010C6B4D32D999 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:26:49] 895*2^1253185-1 is not prime. Res64: 9D384578992F2A05 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:26:51] 955*2^1253185-1 is not prime. Res64: C6B17323ED571921 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:33:41] 985*2^1253185-1 is not prime. Res64: 7BA4A1425FE1FE2F Time : 0.0 sec. user=mdettweiler [2013-09-14 02:33:46] 999*2^1253185-1 is not prime. Res64: 2D5C724C3C633E10 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:43:13] 615*2^1253186-1 is not prime. Res64: 5C051437D693386A Time : 0.0 sec. user=mdettweiler [2013-09-14 02:43:14] 627*2^1253186-1 is not prime. Res64: 65906D7CB455063D Time : 0.0 sec. user=mdettweiler [2013-09-14 02:43:56] 735*2^1253186-1 is not prime. Res64: 1BCAB57DEDA9F512 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:43:58] 743*2^1253186-1 is not prime. Res64: 7A979E0DB51AFD4C Time : 0.0 sec. user=mdettweiler [2013-09-14 02:48:01] 773*2^1253186-1 is not prime. Res64: 6BC72E46401ACEA0 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:48:03] 935*2^1253186-1 is not prime. Res64: 1046DC74986E9F07 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:55:29] 945*2^1253186-1 is not prime. Res64: 7B2048AF776D0184 Time : 0.0 sec. user=mdettweiler [2013-09-14 02:55:30] 953*2^1253186-1 is not prime. Res64: AEF4BD961B12F4EF Time : 0.0 sec. user=mdettweiler [2013-09-14 03:04:00] 971*2^1253186-1 is not prime. Res64: 6575C52623675790 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:04:01] 669*2^1253187-1 is not prime. Res64: 0CEDD642A09A5534 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:04:49] 711*2^1253187-1 is not prime. Res64: 9015FAC117E6CC11 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:04:50] 901*2^1253187-1 is not prime. Res64: 8416887043C237A7 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:08:49] 979*2^1253187-1 is not prime. Res64: E2C4AD06789E184C Time : 0.0 sec. user=mdettweiler [2013-09-14 03:08:50] 695*2^1253188-1 is not prime. Res64: 6D7AF81B5EECED66 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:15:14] 773*2^1253188-1 is not prime. Res64: 620B3698B0E9E8EE Time : 0.0 sec. user=mdettweiler [2013-09-14 03:15:15] 783*2^1253188-1 is not prime. Res64: DFDB311AFE472AA8 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:24:39] 915*2^1253188-1 is not prime. Res64: 5867289FC05A3F8D Time : 0.0 sec. user=mdettweiler [2013-09-14 03:24:39] 775*2^1253189-1 is not prime. Res64: 50C7264CC48CFF10 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:24:40] 799*2^1253189-1 is not prime. Res64: A2B9DFE4350C726C Time : 0.0 sec. user=mdettweiler [2013-09-14 03:24:40] 801*2^1253189-1 is not prime. Res64: BE1974A319795867 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:28:30] 811*2^1253189-1 is not prime. Res64: 0E92AB07134BF4FB Time : 0.0 sec. user=mdettweiler [2013-09-14 03:28:31] 711*2^1253190-1 is not prime. Res64: D4ECA372E9A6808F Time : 0.0 sec. user=mdettweiler [2013-09-14 03:34:51] 717*2^1253190-1 is not prime. Res64: 349D57B649B2CB9C Time : 0.0 sec. user=mdettweiler [2013-09-14 03:34:52] 801*2^1253190-1 is not prime. Res64: E8231A4D5AD60F10 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:45:21] 951*2^1253190-1 is not prime. Res64: 72E185F6B84ED060 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:45:22] 651*2^1253191-1 is not prime. Res64: 5E744552A8C89F55 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:45:33] 861*2^1253190-1 is not prime. Res64: 21FE4410D4672D89 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:45:33] 941*2^1253190-1 is not prime. Res64: 74EB758E8018A96E Time : 0.0 sec. user=mdettweiler [2013-09-14 03:48:38] 673*2^1253191-1 is not prime. Res64: 00940644B7BCC3F3 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:48:39] 703*2^1253191-1 is not prime. Res64: DF4C4108F7A968A7 Time : 0.0 sec. user=mdettweiler [2013-09-14 03:55:00] 793*2^1253191-1 is not prime. Res64: 1DC8C9759B8A911C Time : 0.0 sec. user=mdettweiler [2013-09-14 03:55:00] 843*2^1253191-1 is not prime. Res64: EBAC681E17F06105 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:05:58] 859*2^1253191-1 is not prime. Res64: 83F015CD398B2E83 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:05:59] 943*2^1253191-1 is not prime. Res64: EADF7E6920C45C70 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:07:03] 973*2^1253191-1 is not prime. Res64: F42B93A2A9B86375 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:07:05] 999*2^1253191-1 is not prime. Res64: 7A656153D4E78117 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:08:13] 623*2^1253192-1 is not prime. Res64: 7982C56E8935DDCC Time : 0.0 sec. user=mdettweiler [2013-09-14 04:08:13] 677*2^1253192-1 is not prime. Res64: 516EC170E0CCE1F8 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:14:45] 687*2^1253192-1 is not prime. Res64: 6FDD46604B34D492 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:14:45] 803*2^1253192-1 is not prime. Res64: D3ED843A5BF68B6B Time : 0.0 sec. user=mdettweiler [2013-09-14 04:27:31] 899*2^1253192-1 is not prime. Res64: A6EDBFB74206987F Time : 0.0 sec. user=mdettweiler [2013-09-14 04:27:32] 923*2^1253192-1 is not prime. Res64: 929B9E6B7287D309 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:27:33] 977*2^1253192-1 is not prime. Res64: F98A5C4D5B81883B Time : 0.0 sec. user=mdettweiler [2013-09-14 04:27:34] 669*2^1253193-1 is not prime. Res64: 5AE497BD8CD38E08 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:27:46] 681*2^1253193-1 is not prime. Res64: 81E4BD49B490654A Time : 0.0 sec. user=mdettweiler [2013-09-14 04:27:46] 691*2^1253193-1 is not prime. Res64: E0CBCDEC61E05A01 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:35:24] 727*2^1253193-1 is not prime. Res64: B19028C72F24B56D Time : 0.0 sec. user=mdettweiler [2013-09-14 04:35:25] 885*2^1253193-1 is not prime. Res64: 55956F1F0AA3A8AF Time : 0.0 sec. user=mdettweiler [2013-09-14 04:47:16] 701*2^1253194-1 is not prime. Res64: 3E65512D507693BD Time : 0.0 sec. user=mdettweiler [2013-09-14 04:47:17] 723*2^1253194-1 is not prime. Res64: A5715673EDBD40F3 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:48:04] 945*2^1253193-1 is not prime. Res64: 2235441D42557F1C Time : 0.0 sec. user=mdettweiler [2013-09-14 04:48:04] 617*2^1253194-1 is not prime. Res64: 346A56C218FDC02D Time : 0.0 sec. user=mdettweiler [2013-09-14 04:48:23] 815*2^1253194-1 is not prime. Res64: 3A6C7DF72D77DE6C Time : 0.0 sec. user=mdettweiler [2013-09-14 04:48:24] 887*2^1253194-1 is not prime. Res64: 65D206925918D1C1 Time : 0.0 sec. user=mdettweiler [2013-09-14 04:56:59] 923*2^1253194-1 is not prime. Res64: 592D2420D803401F Time : 0.0 sec. user=mdettweiler [2013-09-14 04:56:59] 983*2^1253194-1 is not prime. Res64: ADED21C7F049BC16 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:06:59] 651*2^1253195-1 is not prime. Res64: AEBAF6AE1066869F Time : 0.0 sec. user=mdettweiler [2013-09-14 05:07:01] 673*2^1253195-1 is not prime. Res64: 475D0FEABC4CA45B Time : 0.0 sec. user=mdettweiler [2013-09-14 05:07:37] 693*2^1253195-1 is not prime. Res64: ADF2536B07CACEA7 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:07:38] 735*2^1253195-1 is not prime. Res64: E1F338B894224BD0 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:07:59] 783*2^1253195-1 is not prime. Res64: 7402E3064F5888F2 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:07:59] 859*2^1253195-1 is not prime. Res64: E4C1ECAC0A9C23D5 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:17:32] 861*2^1253195-1 is not prime. Res64: BF6CF1650C0DBAC4 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:17:32] 915*2^1253195-1 is not prime. Res64: 6EFC78421EED2A9C Time : 0.0 sec. user=mdettweiler [2013-09-14 05:27:39] 759*2^1253196-1 is not prime. Res64: 108B19E51426BAA6 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:27:40] 765*2^1253196-1 is not prime. Res64: 9E86328624CFE911 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:28:03] 825*2^1253196-1 is not prime. Res64: 3A5EEDC1CAEAE0E5 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:28:03] 843*2^1253196-1 is not prime. Res64: 4CCB81F61DD69A91 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:28:58] 981*2^1253195-1 is not prime. Res64: B515FE3E16707AC9 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:28:58] 985*2^1253195-1 is not prime. Res64: 02A89F80C6100D64 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:39:14] 867*2^1253196-1 is not prime. Res64: 6C8E7FDCF9DC532D Time : 0.0 sec. user=mdettweiler [2013-09-14 05:39:14] 893*2^1253196-1 is not prime. Res64: 7AB9234AFBB5A104 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:48:43] 687*2^1253197-1 is not prime. Res64: FB2FAC2E6AC9E7F3 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:48:43] 747*2^1253197-1 is not prime. Res64: 05163E2727518DD5 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:49:16] 757*2^1253197-1 is not prime. Res64: 8C914E71335A4CEE Time : 0.0 sec. user=mdettweiler [2013-09-14 05:49:17] 799*2^1253197-1 is not prime. Res64: 5BEF8E154F1B5049 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:50:07] 903*2^1253196-1 is not prime. Res64: 591FDD585B16895F Time : 0.0 sec. user=mdettweiler [2013-09-14 05:50:07] 975*2^1253196-1 is not prime. Res64: B8AC604F471531B5 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:59:41] 755*2^1253198-1 is not prime. Res64: ED3D6D06E19DF347 Time : 0.0 sec. user=mdettweiler [2013-09-14 05:59:41] 825*2^1253198-1 is not prime. Res64: C285DF11082186E3 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:09:48] 861*2^1253198-1 is not prime. Res64: ECE72D212F5B9E22 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:09:49] 893*2^1253198-1 is not prime. Res64: 6C482FE62C572ECD Time : 0.0 sec. user=mdettweiler [2013-09-14 06:10:05] 711*2^1253199-1 is not prime. Res64: 3128E738334EB1EB Time : 0.0 sec. user=mdettweiler [2013-09-14 06:10:06] 853*2^1253199-1 is not prime. Res64: 7EBDBF9DCDFED4FA Time : 0.0 sec. user=mdettweiler [2013-09-14 06:10:17] 911*2^1253198-1 is not prime. Res64: D64EF622E5546E88 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:10:18] 619*2^1253199-1 is not prime. Res64: 4626AB6D032F82B8 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:21:30] 951*2^1253199-1 is not prime. Res64: EE8DE8C3AC9CD08A Time : 0.0 sec. user=mdettweiler [2013-09-14 06:21:30] 975*2^1253199-1 is not prime. Res64: 9D75B469639205D9 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:29:48] 677*2^1253200-1 is not prime. Res64: 51AA8DC102A1F357 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:29:49] 699*2^1253200-1 is not prime. Res64: 2C8E698B14FEB143 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:30:08] 735*2^1253200-1 is not prime. Res64: 4D3694343B946186 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:30:09] 773*2^1253200-1 is not prime. Res64: A5AD20BAD65527DC Time : 0.0 sec. user=mdettweiler [2013-09-14 06:30:27] 979*2^1253199-1 is not prime. Res64: D0C234B131FBEE89 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:30:28] 623*2^1253200-1 is not prime. Res64: 97520A24EABA7270 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:41:48] 833*2^1253200-1 is not prime. Res64: 487B14BAE68E493B Time : 0.0 sec. user=mdettweiler [2013-09-14 06:41:49] 843*2^1253200-1 is not prime. Res64: F23D0DCA41664C30 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:51:10] 645*2^1253201-1 is not prime. Res64: C7254FD4A8BE5F93 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:51:10] 669*2^1253201-1 is not prime. Res64: F1593802BF034447 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:51:12] 675*2^1253201-1 is not prime. Res64: 5E9F6E231CD09EB3 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:51:13] 691*2^1253201-1 is not prime. Res64: 9A2BCD6EA7B3881B Time : 0.0 sec. user=mdettweiler [2013-09-14 06:52:03] 875*2^1253200-1 is not prime. Res64: F7588949C345ED69 Time : 0.0 sec. user=mdettweiler [2013-09-14 06:52:03] 999*2^1253200-1 is not prime. Res64: 1D4635CA088D1286 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:01:32] 697*2^1253201-1 is not prime. Res64: 1A79B54A017F9848 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:01:33] 715*2^1253201-1 is not prime. Res64: 3F56D99759DCB935 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:10:48] 717*2^1253201-1 is not prime. Res64: F01633298C6683CD Time : 0.0 sec. user=mdettweiler [2013-09-14 07:10:49] 775*2^1253201-1 is not prime. Res64: 1EF51A6BDDFE020D Time : 0.0 sec. user=mdettweiler [2013-09-14 07:10:50] 777*2^1253201-1 is not prime. Res64: BA1468CDDA9F8635 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:10:50] 861*2^1253201-1 is not prime. Res64: 8AF3EC112FD1C904 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:12:38] 949*2^1253201-1 is not prime. Res64: 7FCCBBD8F7B90D6A Time : 0.0 sec. user=mdettweiler [2013-09-14 07:12:40] 725*2^1253202-1 is not prime. Res64: 5B478B427ACB93E4 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:23:02] 951*2^1253202-1 is not prime. Res64: 52C7BBD6AFB1E627 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:23:02] 1001*2^1253202-1 is not prime. Res64: 411C4F1D150C3D88 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:30:23] 615*2^1253203-1 is not prime. Res64: 5076234B452470DB Time : 0.0 sec. user=mdettweiler [2013-09-14 07:30:24] 621*2^1253203-1 is not prime. Res64: 15E984DF6676F07A Time : 0.0 sec. user=mdettweiler [2013-09-14 07:30:28] 765*2^1253203-1 is not prime. Res64: 9E59D6D25429FFC2 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:30:28] 835*2^1253203-1 is not prime. Res64: 7E44F616DE52375E Time : 0.0 sec. user=mdettweiler [2013-09-14 07:34:08] 939*2^1253203-1 is not prime. Res64: 17674A0CE4D30080 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:34:08] 993*2^1253203-1 is not prime. Res64: ADAE26CD3DC70A0A Time : 0.0 sec. user=mdettweiler [2013-09-14 07:42:36] 687*2^1253204-1 is not prime. Res64: 3E9FF84978E09AF3 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:42:36] 689*2^1253204-1 is not prime. Res64: 1AC3DC4C8FB2847F Time : 0.0 sec. user=mdettweiler [2013-09-14 07:49:53] 725*2^1253204-1 is not prime. Res64: 392A548F4FEE63E9 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:49:54] 785*2^1253204-1 is not prime. Res64: 46C0555AF046E495 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:49:58] 855*2^1253204-1 is not prime. Res64: 7C292EC697C5C06B Time : 0.0 sec. user=mdettweiler [2013-09-14 07:49:58] 625*2^1253205-1 is not prime. Res64: 49BBD47F437EB96C Time : 0.0 sec. user=mdettweiler [2013-09-14 07:53:35] 657*2^1253205-1 is not prime. Res64: FF4490951986D892 Time : 0.0 sec. user=mdettweiler [2013-09-14 07:53:35] 711*2^1253205-1 is not prime. Res64: 7B196B195AD37B2E Time : 0.0 sec. user=mdettweiler [2013-09-14 08:02:05] 765*2^1253205-1 is not prime. Res64: DA85ADF7F634D600 Time : 0.0 sec. user=mdettweiler [2013-09-14 08:02:06] 777*2^1253205-1 is not prime. Res64: 7B6BD963460CBE9F Time : 0.0 sec. user=mdettweiler [2013-09-14 08:09:25] 805*2^1253205-1 is not prime. Res64: 095308337CA1F12A Time : 0.0 sec. user=mdettweiler [2013-09-14 08:09:27] 819*2^1253205-1 is not prime. Res64: 2586775B068A8A9B Time : 0.0 sec. user=mdettweiler [2013-09-14 08:10:26] 861*2^1253205-1 is not prime. Res64: 0EAA7B705882AC9C Time : 0.0 sec. user=mdettweiler [2013-09-14 08:10:27] 919*2^1253205-1 is not prime. Res64: 3A88192AB2F1DDB6 Time : 0.0 sec. user=mdettweiler [2013-09-14 08:14:01] 961*2^1253205-1 is not prime. Res64: E398E61E97E62B22 Time : 0.0 sec. user=mdettweiler [2013-09-14 08:14:01] 645*2^1253206-1 is not prime. Res64: 46D3720BBE250072 Time : 0.0 sec. user=mdettweiler [2013-09-14 08:21:53] 647*2^1253206-1 is not prime. Res64: BA9A51A90366065C Time : 0.0 sec. user=mdettweiler [2013-09-14 08:21:53] 695*2^1253206-1 is not prime. Res64: 69D1276044CB9612 Time : 0.0 sec. user=mdettweiler [2013-09-14 08:28:56] 723*2^1253206-1 is not prime. Res64: B94F82547DF8587C Time : 0.0 sec. user=mdettweiler [2013-09-14 08:28:57] 773*2^1253206-1 is not prime. Res64: 652FB3DB91EEF5E0 Time : 0.0 sec. user=mdettweiler [2013-09-14 08:29:58] 619*2^1253207-1 is not prime. Res64: F90B7A87020A2C34 Time : 0.0 sec. user=mdettweiler [2013-09-14 08:29:59] 645*2^1253207-1 is not prime. Res64: C3DD62A562618F07 Time : 0.0 sec. user=mdettweiler [2013-09-14 08:33:38] 661*2^1253207-1 is not prime. Res64: 4F101EC00974736D Time : 0.0 sec. user=mdettweiler [2013-09-14 08:33:38] 819*2^1253207-1 is not prime. Res64: 9A3A294DA5F0F56E Time : 0.0 sec. user=mdettweiler [2013-09-14 08:42:22] 841*2^1253207-1 is not prime. Res64: F688414E0942463F Time : 0.0 sec. user=mdettweiler [2013-09-14 08:42:22] 909*2^1253207-1 is not prime. Res64: D4791289E2DC9ABC Time : 0.0 sec. user=mdettweiler [2013-09-14 08:48:34] 777*2^1253208-1 is not prime. Res64: B48B81E3348471BA Time : 0.0 sec. user=mdettweiler [2013-09-14 08:48:35] 815*2^1253208-1 is not prime. Res64: 59735852D9EBDA0E Time : 0.0 sec. user=mdettweiler [2013-09-14 08:50:33] 839*2^1253208-1 is not prime. Res64: BC4C68E777DF4028 Time : 0.0 sec. user=mdettweiler [2013-09-14 08:50:34] 915*2^1253208-1 is not prime. Res64: 242F5280675B0DAC Time : 0.0 sec. user=mdettweiler [2013-09-14 08:54:09] 977*2^1253208-1 is not prime. Res64: 9BCE572602A2E71C Time : 0.0 sec. user=mdettweiler [2013-09-14 08:54:09] 639*2^1253209-1 is not prime. Res64: D9618FCD8D55ECB2 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:01:58] 691*2^1253209-1 is not prime. Res64: 76650F8B62D50FEE Time : 0.0 sec. user=mdettweiler [2013-09-14 09:01:59] 747*2^1253209-1 is not prime. Res64: F32F28F57B5B2455 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:09:08] 807*2^1253209-1 is not prime. Res64: B0A7798FAE929663 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:09:09] 939*2^1253209-1 is not prime. Res64: C3A994ABFA69135D Time : 0.0 sec. user=mdettweiler [2013-09-14 09:10:13] 665*2^1253210-1 is not prime. Res64: AC3CF9D9E773ADD8 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:10:13] 741*2^1253210-1 is not prime. Res64: F8E28C00A3B4E53F Time : 0.0 sec. user=mdettweiler [2013-09-14 09:14:40] 843*2^1253210-1 is not prime. Res64: 1F9F81702FF078F2 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:14:41] 941*2^1253210-1 is not prime. Res64: 12BF59A9997702E4 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:22:34] 987*2^1253210-1 is not prime. Res64: CC91951CB54DA351 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:22:34] 705*2^1253211-1 is not prime. Res64: 0FB5D1D42CF03862 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:28:48] 783*2^1253211-1 is not prime. Res64: 6912D590C9E23B4A Time : 0.0 sec. user=mdettweiler [2013-09-14 09:28:49] 823*2^1253211-1 is not prime. Res64: 6A3D35BD571F6539 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:29:48] 829*2^1253211-1 is not prime. Res64: 6F0EA7466DFFB8DF Time : 0.0 sec. user=mdettweiler [2013-09-14 09:29:48] 635*2^1253212-1 is not prime. Res64: ED995A0A3F9BC0BE Time : 0.0 sec. user=mdettweiler [2013-09-14 09:34:18] 705*2^1253212-1 is not prime. Res64: 3D55B31340D31846 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:34:18] 743*2^1253212-1 is not prime. Res64: C5643698D8AFF4C2 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:42:09] 797*2^1253212-1 is not prime. Res64: 0899BB802C01460B Time : 0.0 sec. user=mdettweiler [2013-09-14 09:42:09] 827*2^1253212-1 is not prime. Res64: FC85775E283766FC Time : 0.0 sec. user=mdettweiler [2013-09-14 09:48:18] 621*2^1253213-1 is not prime. Res64: 510F1A082DBDCD4B Time : 0.0 sec. user=mdettweiler [2013-09-14 09:48:19] 729*2^1253213-1 is not prime. Res64: 8D0B14EDA23D215E Time : 0.0 sec. user=mdettweiler [2013-09-14 09:51:13] 889*2^1253213-1 is not prime. Res64: 7403A40382891E63 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:51:14] 897*2^1253213-1 is not prime. Res64: AFE56E6C92E701BE Time : 0.0 sec. user=mdettweiler [2013-09-14 09:55:45] 925*2^1253213-1 is not prime. Res64: E28D41D013659427 Time : 0.0 sec. user=mdettweiler [2013-09-14 09:55:45] 969*2^1253213-1 is not prime. Res64: 33FD79E651656C8F Time : 0.0 sec. user=mdettweiler [2013-09-14 10:01:47] 657*2^1253214-1 is not prime. Res64: 806CBD50A8999200 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:01:48] 725*2^1253214-1 is not prime. Res64: 1213ABAC7ECB45E1 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:08:48] 983*2^1253214-1 is not prime. Res64: 45D9C5A16CABDADE Time : 0.0 sec. user=mdettweiler [2013-09-14 10:08:49] 649*2^1253215-1 is not prime. Res64: 1ECD24B3FBFB4214 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:10:47] 693*2^1253215-1 is not prime. Res64: 72177C2DA99721F6 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:10:48] 763*2^1253215-1 is not prime. Res64: 6A8E007F3240E2F7 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:15:22] 819*2^1253215-1 is not prime. Res64: BA67B2FF0A7C95A4 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:15:22] 853*2^1253215-1 is not prime. Res64: C31947647B88038B Time : 0.0 sec. user=mdettweiler [2013-09-14 10:23:16] 873*2^1253215-1 is not prime. Res64: 4365A43D160853E6 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:23:16] 951*2^1253215-1 is not prime. Res64: 107E5FC1F7041BEB Time : 0.0 sec. user=mdettweiler [2013-09-14 10:30:22] 669*2^1253216-1 is not prime. Res64: 1E90093B68C1DC77 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:30:22] 693*2^1253216-1 is not prime. Res64: 6ADD3C6ADC29F043 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:30:23] 961*2^1253215-1 is not prime. Res64: 1AD3F3E76AD571E3 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:30:24] 999*2^1253215-1 is not prime. Res64: 8CE682393AB02DA8 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:34:57] 719*2^1253216-1 is not prime. Res64: 8E2022669C766D20 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:34:57] 759*2^1253216-1 is not prime. Res64: E317BB68954A0EE2 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:42:47] 607*2^1253217-1 is not prime. Res64: 77496179A812E5E8 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:42:47] 777*2^1253217-1 is not prime. Res64: 03B24BFF7F5EA952 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:49:56] 723*2^1253218-1 is not prime. Res64: 405F912F9C928EEF Time : 0.0 sec. user=mdettweiler [2013-09-14 10:49:57] 765*2^1253218-1 is not prime. Res64: C8474310D007E8E9 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:50:53] 847*2^1253217-1 is not prime. Res64: 3A73E96DD8FAF7EE Time : 0.0 sec. user=mdettweiler [2013-09-14 10:50:54] 909*2^1253217-1 is not prime. Res64: C74C213258668A76 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:54:26] 791*2^1253218-1 is not prime. Res64: D1786569659519A2 Time : 0.0 sec. user=mdettweiler [2013-09-14 10:54:26] 833*2^1253218-1 is not prime. Res64: 27388380EBDDFE91 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:03:21] 885*2^1253218-1 is not prime. Res64: 87BCD9F33FF1A0AE Time : 0.0 sec. user=mdettweiler [2013-09-14 11:03:23] 609*2^1253219-1 is not prime. Res64: 65942C08A3B77DB5 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:09:33] 669*2^1253219-1 is not prime. Res64: BEC6D6140866CF47 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:09:33] 679*2^1253219-1 is not prime. Res64: D325B60543BF1C03 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:10:26] 741*2^1253219-1 is not prime. Res64: 672F615A67CCA32F Time : 0.0 sec. user=mdettweiler [2013-09-14 11:10:27] 843*2^1253219-1 is not prime. Res64: FBF00F2A6A87F64F Time : 0.0 sec. user=mdettweiler [2013-09-14 11:14:53] 853*2^1253219-1 is not prime. Res64: F9173A9D69F2CF2D Time : 0.0 sec. user=mdettweiler [2013-09-14 11:14:53] 949*2^1253219-1 is not prime. Res64: 2F212A8007048AA5 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:23:58] 969*2^1253219-1 is not prime. Res64: 6A531A2ED54DBA33 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:23:59] 735*2^1253220-1 is not prime. Res64: 458C8733AE7AC043 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:30:05] 759*2^1253220-1 is not prime. Res64: 571751667C6B0E80 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:30:06] 899*2^1253220-1 is not prime. Res64: F0F7D2778FA299B8 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:31:46] 929*2^1253220-1 is not prime. Res64: 9B3579A4D8965BD4 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:31:46] 965*2^1253220-1 is not prime. Res64: E7C3345806A8DFEF Time : 0.0 sec. user=mdettweiler [2013-09-14 11:34:21] 645*2^1253221-1 is not prime. Res64: B4D0974731590135 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:34:21] 691*2^1253221-1 is not prime. Res64: 9A496226A2BC2C49 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:43:30] 727*2^1253221-1 is not prime. Res64: 4C550775A7B439B9 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:43:31] 861*2^1253221-1 is not prime. Res64: 61A3A5C767580071 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:50:43] 867*2^1253221-1 is not prime. Res64: 5DC4B4BEFBC69096 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:50:44] 945*2^1253221-1 is not prime. Res64: AF827E957ECD7573 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:53:23] 955*2^1253221-1 is not prime. Res64: 3FC083C66D26ADE0 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:53:24] 987*2^1253221-1 is not prime. Res64: 521B64AC0E1C6C97 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:54:12] 683*2^1253222-1 is not prime. Res64: DB878F78CC7C6350 Time : 0.0 sec. user=mdettweiler [2013-09-14 11:54:13] 743*2^1253222-1 is not prime. Res64: 2AB4BEEEB5D63295 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:03:11] 771*2^1253222-1 is not prime. Res64: EC6BF87C6DE9ECA5 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:03:12] 843*2^1253222-1 is not prime. Res64: 87961D173D894416 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:11:24] 867*2^1253222-1 is not prime. Res64: 1AAB5C2C58EA87ED Time : 0.0 sec. user=mdettweiler [2013-09-14 12:11:25] 943*2^1253223-1 is not prime. Res64: A6B9325030F0DB3D Time : 0.0 sec. user=mdettweiler [2013-09-14 12:12:53] 605*2^1253224-1 is not prime. Res64: 32880EBEF01CAABB Time : 0.0 sec. user=mdettweiler [2013-09-14 12:12:54] 705*2^1253224-1 is not prime. Res64: 0CDF4D388954BC70 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:13:44] 743*2^1253224-1 is not prime. Res64: 4C076E63BC0232DC Time : 0.0 sec. user=mdettweiler [2013-09-14 12:13:45] 785*2^1253224-1 is not prime. Res64: 7A07221B0E89D5EE Time : 0.0 sec. user=mdettweiler [2013-09-14 12:24:53] 875*2^1253224-1 is not prime. Res64: EF3E88A59A025DAF Time : 0.0 sec. user=mdettweiler [2013-09-14 12:24:54] 995*2^1253224-1 is not prime. Res64: 385E9F399BF76847 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:31:00] 627*2^1253225-1 is not prime. Res64: 8F25145EE7E1739A Time : 0.0 sec. user=mdettweiler [2013-09-14 12:31:01] 669*2^1253225-1 is not prime. Res64: DECC0AAE603075AD Time : 0.0 sec. user=mdettweiler [2013-09-14 12:32:25] 675*2^1253225-1 is not prime. Res64: 27F5C2F5689D4CEE Time : 0.0 sec. user=mdettweiler [2013-09-14 12:32:26] 691*2^1253225-1 is not prime. Res64: 3DF88A3FDCE84DA0 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:34:15] 775*2^1253225-1 is not prime. Res64: 425BC53E225C6ED7 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:34:16] 889*2^1253225-1 is not prime. Res64: 636E208DD2814F40 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:45:23] 915*2^1253225-1 is not prime. Res64: E91E0C2E25A7674E Time : 0.0 sec. user=mdettweiler [2013-09-14 12:45:23] 765*2^1253226-1 is not prime. Res64: 2C4323289160AF85 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:51:28] 861*2^1253226-1 is not prime. Res64: A2985368EC178947 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:51:28] 917*2^1253226-1 is not prime. Res64: 383DF5C36C1EA54F Time : 0.0 sec. user=mdettweiler [2013-09-14 12:54:00] 945*2^1253226-1 is not prime. Res64: CF0B3634D62A39C3 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:54:00] 971*2^1253226-1 is not prime. Res64: 81EB63B14E9FEEED Time : 0.0 sec. user=mdettweiler [2013-09-14 12:54:44] 1001*2^1253226-1 is not prime. Res64: 08B759D55EEAF7E1 Time : 0.0 sec. user=mdettweiler [2013-09-14 12:54:44] 639*2^1253227-1 is not prime. Res64: 812ED1753F27E740 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:05:52] 645*2^1253227-1 is not prime. Res64: 13D953823FA07A75 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:05:52] 693*2^1253227-1 is not prime. Res64: F7541D5757346EE6 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:13:31] 699*2^1253227-1 is not prime. Res64: 7A9F989F0DC48E23 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:13:31] 885*2^1253227-1 is not prime. Res64: C0CA1F210C43465F Time : 0.0 sec. user=mdettweiler [2013-09-14 13:16:21] 699*2^1253228-1 is not prime. Res64: B91C9EAE384F202C Time : 0.0 sec. user=mdettweiler [2013-09-14 13:16:21] 707*2^1253228-1 is not prime. Res64: C3A70728D3B93772 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:17:26] 901*2^1253227-1 is not prime. Res64: 41C6CA8E00ED6770 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:17:26] 913*2^1253227-1 is not prime. Res64: FC9473CB11AA12A7 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:27:22] 773*2^1253228-1 is not prime. Res64: 79315683527BAF44 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:27:22] 837*2^1253228-1 is not prime. Res64: 27EA880684A67276 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:36:56] 893*2^1253228-1 is not prime. Res64: CAB645E11B37D190 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:36:56] 969*2^1253228-1 is not prime. Res64: 59B04D902E5E2DF6 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:37:39] 649*2^1253229-1 is not prime. Res64: BAB4AE6E89E45493 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:37:39] 745*2^1253229-1 is not prime. Res64: A2EC5BE2158FF833 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:39:14] 781*2^1253229-1 is not prime. Res64: 6202FD3C1ACA99ED Time : 0.0 sec. user=mdettweiler [2013-09-14 13:39:14] 927*2^1253229-1 is not prime. Res64: D086D38C8ACFC6DD Time : 0.0 sec. user=mdettweiler [2013-09-14 13:50:20] 951*2^1253229-1 is not prime. Res64: D4AFCE9195428E22 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:50:20] 955*2^1253229-1 is not prime. Res64: 3A120E08FC4FF015 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:59:47] 743*2^1253230-1 is not prime. Res64: AD63E12A5FB5F9A3 Time : 0.0 sec. user=mdettweiler [2013-09-14 13:59:48] 801*2^1253230-1 is not prime. Res64: A90A20F798829AD8 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:00:38] 911*2^1253230-1 is not prime. Res64: D79A8AE210FE85EC Time : 0.0 sec. user=mdettweiler [2013-09-14 14:00:39] 759*2^1253231-1 is not prime. Res64: 1FBD830A468860CC Time : 0.0 sec. user=mdettweiler [2013-09-14 14:01:38] 993*2^1253231-1 is not prime. Res64: ECFB2625C3741D3F Time : 0.0 sec. user=mdettweiler [2013-09-14 14:01:39] 669*2^1253232-1 is not prime. Res64: E535D49FB2DB9352 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:11:12] 625*2^1253233-1 is not prime. Res64: 03574D070FE2FAAE Time : 0.0 sec. user=mdettweiler [2013-09-14 14:11:12] 651*2^1253233-1 is not prime. Res64: 1CD23AF5EA740E6D Time : 0.0 sec. user=mdettweiler [2013-09-14 14:21:15] 705*2^1253233-1 is not prime. Res64: CAD371AD41D9EEC8 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:21:15] 715*2^1253233-1 is not prime. Res64: 5A43D1F2432B85D3 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:21:55] 729*2^1253233-1 is not prime. Res64: BC257F66206FC09F Time : 0.0 sec. user=mdettweiler [2013-09-14 14:21:56] 805*2^1253233-1 is not prime. Res64: 3997887AE2E57588 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:23:48] 835*2^1253233-1 is not prime. Res64: 200A9A2C367AB74B Time : 0.0 sec. user=mdettweiler [2013-09-14 14:23:48] 945*2^1253233-1 is not prime. Res64: 6BC53CD471CA86A5 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:32:43] 641*2^1253234-1 is not prime. Res64: 147EECBC4597967A Time : 0.0 sec. user=mdettweiler [2013-09-14 14:32:43] 645*2^1253234-1 is not prime. Res64: C5B7A679E8752087 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:42:15] 741*2^1253234-1 is not prime. Res64: 9319D48643E846A9 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:42:15] 773*2^1253234-1 is not prime. Res64: D0689F16D62163A8 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:42:56] 797*2^1253234-1 is not prime. Res64: 9A6F6127F675AC05 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:42:56] 831*2^1253234-1 is not prime. Res64: C801668EC2C667BD Time : 0.0 sec. user=mdettweiler [2013-09-14 14:46:06] 851*2^1253234-1 is not prime. Res64: 70F36BE0F9061F75 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:46:07] 995*2^1253234-1 is not prime. Res64: 8A1CA6C8EDF3E591 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:54:19] 651*2^1253235-1 is not prime. Res64: 05B560E2044C3918 Time : 0.0 sec. user=mdettweiler [2013-09-14 14:54:19] 675*2^1253235-1 is not prime. Res64: FE2A3F341FB3BE5E Time : 0.0 sec. user=mdettweiler [2013-09-14 15:03:40] 741*2^1253235-1 is not prime. Res64: 570283CE8730588F Time : 0.0 sec. user=mdettweiler [2013-09-14 15:03:40] 805*2^1253235-1 is not prime. Res64: A8B9EDD971A8F745 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:04:32] 617*2^1253236-1 is not prime. Res64: 0FBFFFD819836C50 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:04:33] 743*2^1253236-1 is not prime. Res64: 77AD3F362F9A55F5 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:09:14] 939*2^1253236-1 is not prime. Res64: 6CAF61D3B2AEB493 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:09:15] 957*2^1253236-1 is not prime. Res64: F566D36BCD927EA6 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:15:45] 989*2^1253236-1 is not prime. Res64: 1218957A72E14BFE Time : 0.0 sec. user=mdettweiler [2013-09-14 15:15:45] 691*2^1253237-1 is not prime. Res64: FB70AABE7278A0DC Time : 0.0 sec. user=mdettweiler [2013-09-14 15:23:39] 697*2^1253237-1 is not prime. Res64: 8D9FA7C040253AD9 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:23:40] 699*2^1253237-1 is not prime. Res64: 9FED0E0FF57CD03D Time : 0.0 sec. user=mdettweiler [2013-09-14 15:24:45] 711*2^1253237-1 is not prime. Res64: 6E053EB6858F7976 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:24:45] 717*2^1253237-1 is not prime. Res64: 255D416D64647376 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:30:37] 837*2^1253237-1 is not prime. Res64: 3CF844A38C096243 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:30:37] 901*2^1253237-1 is not prime. Res64: 331D013760CEC076 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:36:08] 693*2^1253238-1 is not prime. Res64: B910041690A0D557 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:36:09] 797*2^1253238-1 is not prime. Res64: A80E91BD098157A7 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:45:22] 685*2^1253239-1 is not prime. Res64: 65B879B3A02715EB Time : 0.0 sec. user=mdettweiler [2013-09-14 15:45:22] 705*2^1253239-1 is not prime. Res64: CDF21C1A77D97CD9 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:45:44] 815*2^1253238-1 is not prime. Res64: FA9639F521136E8E Time : 0.0 sec. user=mdettweiler [2013-09-14 15:45:44] 893*2^1253238-1 is not prime. Res64: 6685136E20B1AA25 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:51:34] 729*2^1253239-1 is not prime. Res64: 5035B598953985F4 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:51:34] 771*2^1253239-1 is not prime. Res64: 81BEE8B0904EB92E Time : 0.0 sec. user=mdettweiler [2013-09-14 15:57:42] 853*2^1253239-1 is not prime. Res64: D13DE0F9905662B4 Time : 0.0 sec. user=mdettweiler [2013-09-14 15:57:42] 943*2^1253239-1 is not prime. Res64: 9E788362BB3B6975 Time : 0.0 sec. user=mdettweiler [2013-09-14 16:06:20] 843*2^1253240-1 is not prime. Res64: 3AD0F084AA38231E Time : 0.0 sec. user=mdettweiler [2013-09-14 16:06:21] 705*2^1253241-1 is not prime. Res64: 3E6EF4C7D7631AC6 Time : 0.0 sec. user=mdettweiler [2013-09-14 16:06:43] 711*2^1253241-1 is not prime. Res64: 3686F75587392AC2 Time : 0.0 sec. user=mdettweiler [2013-09-14 16:06:43] 789*2^1253241-1 is not prime. Res64: 7395204125E37E1A Time : 0.0 sec. user=mdettweiler [2013-09-14 16:13:40] 997*2^1253241-1 is not prime. Res64: 7AA60BA2F4F794AD Time : 0.0 sec. user=mdettweiler [2013-09-14 16:13:41] 665*2^1253242-1 is not prime. Res64: 2564085B650A4703 Time : 0.0 sec. user=mdettweiler [2013-09-14 16:18:08] 671*2^1253242-1 is not prime. Res64: 7798A012221D946D Time : 0.0 sec. user=mdettweiler [2013-09-14 16:18:08] 747*2^1253242-1 is not prime. Res64: EDCFFF60B5F81B6C Time : 0.0 sec. user=mdettweiler [2013-09-14 16:26:33] 765*2^1253242-1 is not prime. Res64: 1017C835D9A890FC Time : 0.0 sec. user=mdettweiler [2013-09-14 16:26:34] 777*2^1253242-1 is not prime. Res64: B69A92AD8C3C7C74 Time : 0.0 sec. user=mdettweiler [2013-09-14 16:26:49] 791*2^1253242-1 is not prime. Res64: 0A80EEB219B0313E Time : 0.0 sec. user=mdettweiler [2013-09-14 16:26:49] 803*2^1253242-1 is not prime. Res64: F7E2C265A3881B1C Time : 0.0 sec. user=mdettweiler [2013-09-14 16:33:41] 815*2^1253242-1 is not prime. Res64: 610FB0EC719C95F6 Time : 0.0 sec. user=mdettweiler [2013-09-14 16:33:41] 833*2^1253242-1 is not prime. Res64: CF431687FCFED461 Time : 0.0 sec. user=mdettweiler [2013-09-14 16:40:01] 975*2^1253242-1 is not prime. Res64: B120456A1C019BD9 Time : 0.0 sec. user=mdettweiler [2013-09-14 16:40:02] 987*2^1253242-1 is not prime. Res64: 236A855FFEB0AFDB Time : 0.0 sec. user=mdettweiler [2013-09-14 16:46:30] 631*2^1253243-1 is not prime. Res64: 10B9F2D4ADC65FC3 Time : 0.0 sec. user=mdettweiler [2013-09-14 16:46:31] 685*2^1253243-1 is not prime. Res64: 04AEF27C2E138CEB Time : 0.0 sec. user=mdettweiler [2013-09-14 16:46:52] 783*2^1253243-1 is not prime. Res64: B94F171CE8645470 Time : 0.0 sec. user=mdettweiler [2013-09-14 16:46:53] 855*2^1253243-1 is not prime. Res64: 4B5990EF6646401F Time : 0.0 sec. user=mdettweiler [2013-09-14 16:54:48] 969*2^1253243-1 is not prime. Res64: D7F2D7621138D6FF Time : 0.0 sec. user=mdettweiler [2013-09-14 16:54:49] 623*2^1253244-1 is not prime. Res64: 4956BC5883DAF9EB Time : 0.0 sec. user=mdettweiler [2013-09-14 17:00:24] 629*2^1253244-1 is not prime. Res64: 5B8B7158DC43A590 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:00:25] 705*2^1253244-1 is not prime. Res64: 5982EBC19E461EA1 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:07:19] 801*2^1253245-1 is not prime. Res64: A3125118F09C5E16 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:07:19] 825*2^1253245-1 is not prime. Res64: FC222DEFF794C6F2 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:08:28] 903*2^1253244-1 is not prime. Res64: F981FDAA58906038 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:08:29] 607*2^1253245-1 is not prime. Res64: 4E7324511CAB2112 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:17:20] 867*2^1253245-1 is not prime. Res64: 3F68D28B68A20EBC Time : 0.0 sec. user=mdettweiler [2013-09-14 17:17:20] 915*2^1253245-1 is not prime. Res64: A3304F7701101596 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:22:45] 927*2^1253245-1 is not prime. Res64: 403A6BF2671989BA Time : 0.0 sec. user=mdettweiler [2013-09-14 17:22:45] 999*2^1253245-1 is not prime. Res64: AF2C0B17C548D08B Time : 0.0 sec. user=mdettweiler [2013-09-14 17:28:01] 677*2^1253246-1 is not prime. Res64: F4AEE22C4160BB57 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:28:01] 741*2^1253246-1 is not prime. Res64: C533FB18E7DBAA4D Time : 0.0 sec. user=mdettweiler [2013-09-14 17:29:01] 743*2^1253246-1 is not prime. Res64: D9CA74283FA57543 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:29:01] 813*2^1253246-1 is not prime. Res64: 8F118FF10B3FAB10 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:38:24] 945*2^1253246-1 is not prime. Res64: 151FF2D68F49D391 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:38:24] 781*2^1253247-1 is not prime. Res64: E70446772409496C Time : 0.0 sec. user=mdettweiler [2013-09-14 17:44:58] 879*2^1253247-1 is not prime. Res64: 3E1681E49921EFB0 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:44:58] 963*2^1253247-1 is not prime. Res64: C1B3D329E36AB169 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:48:29] 603*2^1253248-1 is not prime. Res64: 46E8E0AF181104BE Time : 0.0 sec. user=mdettweiler [2013-09-14 17:48:29] 665*2^1253248-1 is not prime. Res64: 029429E9D5DDBF70 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:49:13] 649*2^1253249-1 is not prime. Res64: 5FE0FD3D210BBAC2 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:49:13] 795*2^1253249-1 is not prime. Res64: AB20930F7D144810 Time : 0.0 sec. user=mdettweiler [2013-09-14 17:59:06] 837*2^1253249-1 is not prime. Res64: D0280EA9F173A47B Time : 0.0 sec. user=mdettweiler [2013-09-14 17:59:06] 861*2^1253249-1 is not prime. Res64: 88F41465D29AFD0F Time : 0.0 sec. user=mdettweiler [2013-09-14 18:06:33] 957*2^1253249-1 is not prime. Res64: 74AA34FB0A0DCA0B Time : 0.0 sec. user=mdettweiler [2013-09-14 18:06:33] 741*2^1253250-1 is not prime. Res64: FFD94BFF134D857F Time : 0.0 sec. user=mdettweiler [2013-09-14 18:09:11] 833*2^1253250-1 is not prime. Res64: D6B89F84CB73287C Time : 0.0 sec. user=mdettweiler [2013-09-14 18:09:12] 843*2^1253250-1 is not prime. Res64: 5CDFC1A0F421C690 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:10:36] 891*2^1253250-1 is not prime. Res64: B3DFE0BEFF9A7F61 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:10:37] 639*2^1253251-1 is not prime. Res64: EEA8F87C6F164F46 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:19:45] 673*2^1253251-1 is not prime. Res64: 6D73B69635BE9A59 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:19:46] 745*2^1253251-1 is not prime. Res64: B47A9FC9D57A3F38 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:29:21] 873*2^1253251-1 is not prime. Res64: 84D3007B6130D215 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:29:21] 925*2^1253251-1 is not prime. Res64: CB5214EAB696B2DE Time : 0.0 sec. user=mdettweiler [2013-09-14 18:29:37] 605*2^1253252-1 is not prime. Res64: 04368B7110540011 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:29:38] 609*2^1253252-1 is not prime. Res64: F2F2DC136FF51F01 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:31:06] 677*2^1253252-1 is not prime. Res64: 532519155FB8587E Time : 0.0 sec. user=mdettweiler [2013-09-14 18:31:06] 717*2^1253252-1 is not prime. Res64: 7A6C920AE3E09514 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:42:25] 909*2^1253252-1 is not prime. Res64: CFD5217004BE0D16 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:42:25] 923*2^1253252-1 is not prime. Res64: 152C4A6D79B4ED08 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:50:04] 681*2^1253253-1 is not prime. Res64: 4F8DFF197BDABBF1 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:50:05] 745*2^1253253-1 is not prime. Res64: C92BD85B2A5D6A16 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:51:46] 935*2^1253252-1 is not prime. Res64: A1480B7A2FD2CC10 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:51:46] 945*2^1253252-1 is not prime. Res64: AE223EF1F18D7FFE Time : 0.0 sec. user=mdettweiler [2013-09-14 18:53:32] 877*2^1253253-1 is not prime. Res64: 94A76E1D4A318397 Time : 0.0 sec. user=mdettweiler [2013-09-14 18:53:32] 969*2^1253253-1 is not prime. Res64: B62D1771B6439369 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:02:50] 605*2^1253254-1 is not prime. Res64: 746672E5DE461A5F Time : 0.0 sec. user=mdettweiler [2013-09-14 19:02:51] 663*2^1253254-1 is not prime. Res64: 8D8285CBADCE57D4 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:11:30] 827*2^1253254-1 is not prime. Res64: 1E7AC9587835DEAC Time : 0.0 sec. user=mdettweiler [2013-09-14 19:11:31] 885*2^1253254-1 is not prime. Res64: 006C014E8CC56888 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:12:21] 771*2^1253255-1 is not prime. Res64: 6CD75B81FF22660B Time : 0.0 sec. user=mdettweiler [2013-09-14 19:12:22] 775*2^1253255-1 is not prime. Res64: 779D42F98B867D3F Time : 0.0 sec. user=mdettweiler [2013-09-14 19:14:10] 859*2^1253255-1 is not prime. Res64: 85AB1B584B27D57E Time : 0.0 sec. user=mdettweiler [2013-09-14 19:14:11] 815*2^1253256-1 is not prime. Res64: E177CB0C726CD6FE Time : 0.0 sec. user=mdettweiler [2013-09-14 19:25:15] 867*2^1253256-1 is not prime. Res64: 609BF94DA38D094C Time : 0.0 sec. user=mdettweiler [2013-09-14 19:25:15] 947*2^1253256-1 is not prime. Res64: 12B40C065B921DE4 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:32:22] 817*2^1253257-1 is not prime. Res64: 03EC9617839E2999 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:32:22] 835*2^1253257-1 is not prime. Res64: 7E176B11E27D4363 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:34:02] 841*2^1253257-1 is not prime. Res64: 3B08FACBA845AE7A Time : 0.0 sec. user=mdettweiler [2013-09-14 19:34:02] 871*2^1253257-1 is not prime. Res64: 2874F5BF0447F74C Time : 0.0 sec. user=mdettweiler [2013-09-14 19:35:57] 945*2^1253257-1 is not prime. Res64: 47B4F35844ABE5AB Time : 0.0 sec. user=mdettweiler [2013-09-14 19:35:57] 603*2^1253258-1 is not prime. Res64: 51DAD893FABE9BFD Time : 0.0 sec. user=mdettweiler [2013-09-14 19:45:45] 677*2^1253258-1 is not prime. Res64: C410222515755590 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:45:45] 687*2^1253258-1 is not prime. Res64: 771CE2901848B733 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:52:51] 767*2^1253258-1 is not prime. Res64: F2B7DF2B3F16F558 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:52:52] 801*2^1253258-1 is not prime. Res64: A2C0A0BC8B30CB47 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:54:34] 843*2^1253258-1 is not prime. Res64: 681B98039912D29D Time : 0.0 sec. user=mdettweiler [2013-09-14 19:54:34] 845*2^1253258-1 is not prime. Res64: D08BB0F382909832 Time : 0.0 sec. user=mdettweiler [2013-09-14 19:58:25] 887*2^1253258-1 is not prime. Res64: B2B94C40BAB3367B Time : 0.0 sec. user=mdettweiler [2013-09-14 19:58:25] 921*2^1253258-1 is not prime. Res64: B485F1F6DF1F99A8 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:06:18] 649*2^1253259-1 is not prime. Res64: A696A5FF9B2D5FCF Time : 0.0 sec. user=mdettweiler [2013-09-14 20:06:19] 843*2^1253259-1 is not prime. Res64: 229928AC0C20A312 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:15:56] 879*2^1253259-1 is not prime. Res64: 3BB72EFB46529A57 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:15:56] 909*2^1253259-1 is not prime. Res64: 02E28F737861CBA7 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:16:08] 969*2^1253259-1 is not prime. Res64: 1250884C13BC3990 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:16:09] 717*2^1253260-1 is not prime. Res64: 33F4F751B3158C05 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:18:45] 825*2^1253260-1 is not prime. Res64: 355DA1A581E911E6 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:18:46] 855*2^1253260-1 is not prime. Res64: 0EA262078CEFD63B Time : 0.0 sec. user=mdettweiler [2013-09-14 20:26:31] 857*2^1253260-1 is not prime. Res64: 95E05C5AE32D9FD6 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:26:32] 863*2^1253260-1 is not prime. Res64: F57D89A9E09445E5 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:36:08] 777*2^1253261-1 is not prime. Res64: E894581B6CD9B5DD Time : 0.0 sec. user=mdettweiler [2013-09-14 20:36:09] 781*2^1253261-1 is not prime. Res64: 774FFA3B795DD90E Time : 0.0 sec. user=mdettweiler [2013-09-14 20:36:13] 829*2^1253261-1 is not prime. Res64: 42A5EFDABC692383 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:36:13] 837*2^1253261-1 is not prime. Res64: 04C3DE56BFB213D5 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:38:38] 695*2^1253262-1 is not prime. Res64: E992EF032AC51AE1 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:38:39] 863*2^1253262-1 is not prime. Res64: 95ED808A05CBA1A3 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:48:17] 917*2^1253262-1 is not prime. Res64: 91084EDA38B3463E Time : 0.0 sec. user=mdettweiler [2013-09-14 20:48:18] 983*2^1253262-1 is not prime. Res64: C572B40B27858E0C Time : 0.0 sec. user=mdettweiler [2013-09-14 20:55:58] 693*2^1253263-1 is not prime. Res64: B474F6AD55FE5630 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:55:59] 729*2^1253263-1 is not prime. Res64: 2544983E414B9EF9 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:56:00] 625*2^1253263-1 is not prime. Res64: C83E503427373E95 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:56:01] 685*2^1253263-1 is not prime. Res64: AA6EA0F90F79399B Time : 0.0 sec. user=mdettweiler [2013-09-14 20:58:29] 763*2^1253263-1 is not prime. Res64: 2045CE3D7777C871 Time : 0.0 sec. user=mdettweiler [2013-09-14 20:58:29] 771*2^1253263-1 is not prime. Res64: D43E8EE7478B4691 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:09:02] 853*2^1253263-1 is not prime. Res64: BD999549857D0688 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:09:03] 943*2^1253263-1 is not prime. Res64: 303391E29DED7919 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:16:42] 961*2^1253263-1 is not prime. Res64: 9F91797A71BA4A1A Time : 0.0 sec. user=mdettweiler [2013-09-14 21:16:43] 677*2^1253264-1 is not prime. Res64: 5303634E74A9D215 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:16:54] 803*2^1253264-1 is not prime. Res64: 7462BCF29067F176 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:16:55] 897*2^1253264-1 is not prime. Res64: BBB4EB1EEA3403A8 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:20:06] 903*2^1253264-1 is not prime. Res64: 804DAFBEDB6B28EE Time : 0.0 sec. user=mdettweiler [2013-09-14 21:20:06] 959*2^1253264-1 is not prime. Res64: 504671B7794BBBE9 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:29:58] 995*2^1253264-1 is not prime. Res64: BDB55946381F31F0 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:29:59] 609*2^1253265-1 is not prime. Res64: B029D0D63992D47D Time : 0.0 sec. user=mdettweiler [2013-09-14 21:38:51] 919*2^1253265-1 is not prime. Res64: 21399E70D739723B Time : 0.0 sec. user=mdettweiler [2013-09-14 21:38:51] 921*2^1253265-1 is not prime. Res64: EE3931F3050F43F5 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:39:09] 975*2^1253265-1 is not prime. Res64: 8DB84F2FB5A5F476 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:39:09] 979*2^1253265-1 is not prime. Res64: 5963172364A47F9B Time : 0.0 sec. user=mdettweiler [2013-09-14 21:40:34] 653*2^1253266-1 is not prime. Res64: 3B860B9F7552CA1E Time : 0.0 sec. user=mdettweiler [2013-09-14 21:40:34] 735*2^1253266-1 is not prime. Res64: EE445E8421F439EC Time : 0.0 sec. user=mdettweiler [2013-09-14 21:50:47] 825*2^1253266-1 is not prime. Res64: E664E9259608587C Time : 0.0 sec. user=mdettweiler [2013-09-14 21:50:47] 609*2^1253267-1 is not prime. Res64: 4DD94AD7B367ECA6 Time : 0.0 sec. user=mdettweiler [2013-09-14 21:59:29] 649*2^1253267-1 is not prime. Res64: 8D3E9B29F6CBDA1C Time : 0.0 sec. user=mdettweiler [2013-09-14 21:59:29] 651*2^1253267-1 is not prime. Res64: 563B7913BAADDEC4 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:00:51] 859*2^1253267-1 is not prime. Res64: 2F53982F9FEB6B43 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:00:52] 883*2^1253267-1 is not prime. Res64: A7FC21C8E70B60AE Time : 0.0 sec. user=mdettweiler [2013-09-14 22:01:13] 669*2^1253268-1 is not prime. Res64: 1C784D23B3A36325 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:01:14] 795*2^1253268-1 is not prime. Res64: B312361A6AA9BF2B Time : 0.0 sec. user=mdettweiler [2013-09-14 22:11:55] 845*2^1253268-1 is not prime. Res64: CEADC02021B35C4F Time : 0.0 sec. user=mdettweiler [2013-09-14 22:11:56] 927*2^1253268-1 is not prime. Res64: 84F73FD16D6586C8 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:20:57] 679*2^1253269-1 is not prime. Res64: 5D444B290E4D4F86 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:20:58] 681*2^1253269-1 is not prime. Res64: 75C597105CB0CB05 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:21:29] 771*2^1253269-1 is not prime. Res64: D582780FE8690307 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:21:29] 799*2^1253269-1 is not prime. Res64: C5D6C22A8860BF3F Time : 0.0 sec. user=mdettweiler [2013-09-14 22:21:32] 929*2^1253268-1 is not prime. Res64: A0133B5454674D7C Time : 0.0 sec. user=mdettweiler [2013-09-14 22:21:33] 975*2^1253268-1 is not prime. Res64: 0F21402925627BC1 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:33:55] 967*2^1253269-1 is not prime. Res64: C71F6E9B3A69324D Time : 0.0 sec. user=mdettweiler [2013-09-14 22:33:55] 999*2^1253269-1 is not prime. Res64: EF00EEB530EDAF24 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:40:52] 711*2^1253270-1 is not prime. Res64: EE0C1F315FB0E3FF Time : 0.0 sec. user=mdettweiler [2013-09-14 22:40:53] 741*2^1253270-1 is not prime. Res64: 54B4B8B40C8C4127 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:41:28] 661*2^1253271-1 is not prime. Res64: E6CB273BACA49AA6 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:41:29] 795*2^1253271-1 is not prime. Res64: A8E0F07BADFE4DFE Time : 0.0 sec. user=mdettweiler [2013-09-14 22:42:17] 827*2^1253270-1 is not prime. Res64: 0CFBCF39405E83DB Time : 0.0 sec. user=mdettweiler [2013-09-14 22:42:18] 945*2^1253270-1 is not prime. Res64: 49FDD2B60868376C Time : 0.0 sec. user=mdettweiler [2013-09-14 22:56:14] 895*2^1253271-1 is not prime. Res64: E906FF744954BEC9 Time : 0.0 sec. user=mdettweiler [2013-09-14 22:56:14] 975*2^1253271-1 is not prime. Res64: F8E5DDC11C96D71F Time : 0.0 sec. user=mdettweiler [2013-09-14 23:01:27] 617*2^1253272-1 is not prime. Res64: 0444504725CE6582 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:01:27] 665*2^1253272-1 is not prime. Res64: 8F4227A835DD8B2A Time : 0.0 sec. user=mdettweiler [2013-09-14 23:02:09] 803*2^1253272-1 is not prime. Res64: D1944EE7C9335418 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:02:10] 819*2^1253272-1 is not prime. Res64: 8998777A610755D5 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:02:44] 631*2^1253273-1 is not prime. Res64: 08BC0C1F0EA43E51 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:02:44] 769*2^1253273-1 is not prime. Res64: 20B894C5FB16AF41 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:17:18] 847*2^1253273-1 is not prime. Res64: FA26639EB80E3A5E Time : 0.0 sec. user=mdettweiler [2013-09-14 23:17:18] 967*2^1253273-1 is not prime. Res64: 4801E74DD202321D Time : 0.0 sec. user=mdettweiler [2013-09-14 23:22:33] 987*2^1253273-1 is not prime. Res64: 911B4E141897C59B Time : 0.0 sec. user=mdettweiler [2013-09-14 23:22:33] 723*2^1253274-1 is not prime. Res64: B3AF0757D472065D Time : 0.0 sec. user=mdettweiler [2013-09-14 23:22:41] 673*2^1253275-1 is not prime. Res64: 273F17D23FC4CD48 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:22:41] 675*2^1253275-1 is not prime. Res64: A8FD6E5BBDB41D25 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:22:58] 861*2^1253274-1 is not prime. Res64: FE56FA881CBDA367 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:22:59] 945*2^1253274-1 is not prime. Res64: B13F0BFC85F00AC7 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:38:01] 765*2^1253275-1 is not prime. Res64: 121ABF9D2A8C4571 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:38:02] 883*2^1253275-1 is not prime. Res64: 7E7D8275F5A2E879 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:42:45] 623*2^1253276-1 is not prime. Res64: 2F55DD739FB1C4CF Time : 0.0 sec. user=mdettweiler [2013-09-14 23:42:45] 629*2^1253276-1 is not prime. Res64: DCAB32AD5BFE1DD8 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:43:20] 969*2^1253275-1 is not prime. Res64: 155D6BD445C89803 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:43:20] 609*2^1253276-1 is not prime. Res64: C1D44126327D9DB3 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:44:10] 891*2^1253275-1 is not prime. Res64: 9BF226A7F4D37281 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:44:10] 939*2^1253275-1 is not prime. Res64: 4E19F0CFCB4911DA Time : 0.0 sec. user=mdettweiler [2013-09-14 23:57:46] 635*2^1253276-1 is not prime. Res64: 7D3F885BB1784AD2 Time : 0.0 sec. user=mdettweiler [2013-09-14 23:57:47] 755*2^1253276-1 is not prime. Res64: C8888BD9998406B8 Time : 0.0 sec.