user=mdettweiler [2013-09-09 00:13:36] 669*2^1252715-1 is not prime. Res64: 18F9D089E02A0150 Time : 0.0 sec. user=mdettweiler [2013-09-09 00:13:37] 775*2^1252715-1 is not prime. Res64: 4E0AFC443638CC0B Time : 0.0 sec. user=mdettweiler [2013-09-09 00:38:36] 943*2^1252715-1 is not prime. Res64: 59C4D11DDD92B1A8 Time : 0.0 sec. user=mdettweiler [2013-09-09 00:38:36] 985*2^1252715-1 is not prime. Res64: A9814A8613D57BED Time : 0.0 sec. user=mdettweiler [2013-09-09 00:42:19] 875*2^1252712-1 is not prime. Res64: ADAE0C54BFD1344C Time : 0.0 sec. user=mdettweiler [2013-09-09 00:42:19] 903*2^1252712-1 is not prime. Res64: EB31955F7D795C55 Time : 0.0 sec. user=mdettweiler [2013-09-09 01:00:55] 983*2^1252716-1 is not prime. Res64: A231597608EE0E14 Time : 0.0 sec. user=mdettweiler [2013-09-09 01:00:56] 607*2^1252717-1 is not prime. Res64: 933B2404C7D50A87 Time : 0.0 sec. user=mdettweiler [2013-09-09 01:03:18] 729*2^1252717-1 is not prime. Res64: 08449B367D8A79AB Time : 0.0 sec. user=mdettweiler [2013-09-09 01:03:20] 759*2^1252717-1 is not prime. Res64: 1725EE7B363DB8F6 Time : 0.0 sec. user=juhehe [2013-09-09 01:14:17] 609*2^1252716-1 is not prime. Res64: 9204900A44C152FF Time : 0.0 sec. user=mdettweiler [2013-09-09 01:22:02] 771*2^1252717-1 is not prime. Res64: C159C5B248588492 Time : 0.0 sec. user=mdettweiler [2013-09-09 01:22:03] 819*2^1252717-1 is not prime. Res64: CA83BBE2C2B9B777 Time : 0.0 sec. user=mdettweiler [2013-09-09 01:24:08] 859*2^1252717-1 is not prime. Res64: 770A12D85B3AB495 Time : 0.0 sec. user=mdettweiler [2013-09-09 01:24:09] 861*2^1252717-1 is not prime. Res64: 1650CD048AF91C19 Time : 0.0 sec. user=mdettweiler [2013-09-09 01:43:05] 645*2^1252718-1 is not prime. Res64: CEFD9DFAA0376C68 Time : 0.0 sec. user=mdettweiler [2013-09-09 01:43:06] 711*2^1252718-1 is not prime. Res64: F679F02F423A6C03 Time : 0.0 sec. user=mdettweiler [2013-09-09 01:45:08] 801*2^1252718-1 is not prime. Res64: 89B35F886E536A55 Time : 0.0 sec. user=mdettweiler [2013-09-09 01:45:08] 813*2^1252718-1 is not prime. Res64: 6CB8450CD8684FB5 Time : 0.0 sec. user=juhehe [2013-09-09 02:00:17] 961*2^1252717-1 is not prime. Res64: 1C56B81F20BEF6C1 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:02:12] 837*2^1252712-1 is not prime. Res64: 2C14F3E93CDE20F7 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:02:13] 867*2^1252712-1 is not prime. Res64: 04406D7E4B2333F7 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:05:17] 935*2^1252718-1 is not prime. Res64: A506007D87F3A144 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:05:18] 609*2^1252719-1 is not prime. Res64: 4631E040DC48ADD6 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:05:57] 649*2^1252719-1 is not prime. Res64: C127AC7861E86C05 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:05:58] 735*2^1252719-1 is not prime. Res64: 6EA4915D1F59FB6A Time : 0.0 sec. user=mdettweiler [2013-09-09 02:22:37] 769*2^1252719-1 is not prime. Res64: 4451FEFA9EFA1CA5 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:22:38] 789*2^1252719-1 is not prime. Res64: 06252BEB3E2E50CD Time : 0.0 sec. user=mdettweiler [2013-09-09 02:26:50] 885*2^1252719-1 is not prime. Res64: 322B3276765B3396 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:26:50] 833*2^1252720-1 is not prime. Res64: AB7F07EC3D02307D Time : 0.0 sec. user=mdettweiler [2013-09-09 02:27:17] 843*2^1252720-1 is not prime. Res64: ED9F98587480BB86 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:27:18] 875*2^1252720-1 is not prime. Res64: 29D6F681C7355369 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:34:20] 693*2^1252712-1 is not prime. Res64: 8EADCA89A66822CF Time : 0.0 sec. user=mdettweiler [2013-09-09 02:34:22] 743*2^1252712-1 is not prime. Res64: 438AB90A88503779 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:43:42] 975*2^1252720-1 is not prime. Res64: 7790FD0AD8A25EC8 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:43:44] 615*2^1252721-1 is not prime. Res64: 2A7A65FE5E0A62E2 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:46:51] 651*2^1252721-1 is not prime. Res64: 1D94521A953DCF55 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:46:52] 697*2^1252721-1 is not prime. Res64: 161B4AF9306BF536 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:47:08] 777*2^1252721-1 is not prime. Res64: FD17673CDACEBC5E Time : 0.0 sec. user=mdettweiler [2013-09-09 02:47:09] 819*2^1252721-1 is not prime. Res64: F8072ED018F26446 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:54:05] 867*2^1252721-1 is not prime. Res64: 2AD40A477F1D1CA8 Time : 0.0 sec. user=mdettweiler [2013-09-09 02:54:06] 695*2^1252722-1 is not prime. Res64: CF0A28E21AD55654 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:04:27] 821*2^1252722-1 is not prime. Res64: B569FA8A45250DA3 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:04:28] 891*2^1252722-1 is not prime. Res64: 9630647C62D60C0A Time : 0.0 sec. user=mdettweiler [2013-09-09 03:07:34] 903*2^1252722-1 is not prime. Res64: 16D800AC08BE489A Time : 0.0 sec. user=mdettweiler [2013-09-09 03:07:35] 691*2^1252723-1 is not prime. Res64: 7367238136F074AF Time : 0.0 sec. user=mdettweiler [2013-09-09 03:07:52] 703*2^1252723-1 is not prime. Res64: 620ECE46AF370482 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:07:53] 895*2^1252723-1 is not prime. Res64: ED1F2F6063BFFB2D Time : 0.0 sec. user=mdettweiler [2013-09-09 03:13:55] 609*2^1252724-1 is not prime. Res64: 3CAA1B4D27E73F0B Time : 0.0 sec. user=mdettweiler [2013-09-09 03:13:55] 675*2^1252724-1 is not prime. Res64: 98B7055DAD55E8AD Time : 0.0 sec. user=mdettweiler [2013-09-09 03:24:17] 767*2^1252724-1 is not prime. Res64: 3A8DB3869F39DC57 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:24:18] 827*2^1252724-1 is not prime. Res64: 5DF2C5B2A23009B2 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:27:42] 651*2^1252725-1 is not prime. Res64: 91202FD23FD0D51C Time : 0.0 sec. user=mdettweiler [2013-09-09 03:27:42] 699*2^1252725-1 is not prime. Res64: 9E078E69F30ED6C4 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:28:37] 843*2^1252724-1 is not prime. Res64: AD02BFF5DC688038 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:28:38] 893*2^1252724-1 is not prime. Res64: C61843A17C70A857 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:34:43] 805*2^1252725-1 is not prime. Res64: AC5DAD15DAE0E60A Time : 0.0 sec. user=mdettweiler [2013-09-09 03:34:44] 915*2^1252725-1 is not prime. Res64: 97BA6262A4C92383 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:45:57] 937*2^1252725-1 is not prime. Res64: 2AF4DACD838CE585 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:45:58] 951*2^1252725-1 is not prime. Res64: B801CD43FC964FD5 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:48:23] 999*2^1252725-1 is not prime. Res64: 54321742CFB67443 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:48:23] 747*2^1252726-1 is not prime. Res64: 00FDC8580F5987DB Time : 0.0 sec. user=mdettweiler [2013-09-09 03:49:15] 843*2^1252726-1 is not prime. Res64: 9829F4664B85739B Time : 0.0 sec. user=mdettweiler [2013-09-09 03:49:16] 917*2^1252726-1 is not prime. Res64: 81F2DC791CFA223C Time : 0.0 sec. user=mdettweiler [2013-09-09 03:55:28] 981*2^1252726-1 is not prime. Res64: 95994405FED105D3 Time : 0.0 sec. user=mdettweiler [2013-09-09 03:55:29] 603*2^1252727-1 is not prime. Res64: 30F8C63297381ACF Time : 0.0 sec. user=mdettweiler [2013-09-09 04:05:35] 609*2^1252727-1 is not prime. Res64: 0DE49D093853E9D5 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:05:36] 621*2^1252727-1 is not prime. Res64: 0F83ED9FC5E0C18C Time : 0.0 sec. user=mdettweiler [2013-09-09 04:08:52] 615*2^1252728-1 is not prime. Res64: F0D409B24751C0CD Time : 0.0 sec. user=mdettweiler [2013-09-09 04:08:53] 639*2^1252728-1 is not prime. Res64: CB616F3BA042911D Time : 0.0 sec. user=mdettweiler [2013-09-09 04:08:59] 675*2^1252727-1 is not prime. Res64: 5F1D189D9F898659 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:09:00] 981*2^1252727-1 is not prime. Res64: 4ACCD49B934D9BCE Time : 0.0 sec. user=mdettweiler [2013-09-09 04:15:15] 683*2^1252728-1 is not prime. Res64: A2FFCE99593BA950 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:15:16] 735*2^1252728-1 is not prime. Res64: 782E5451CF08D682 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:26:11] 747*2^1252728-1 is not prime. Res64: 738FC90C75D381BB Time : 0.0 sec. user=mdettweiler [2013-09-09 04:26:11] 879*2^1252728-1 is not prime. Res64: 744CA56A31CC616C Time : 0.0 sec. user=mdettweiler [2013-09-09 04:28:35] 775*2^1252729-1 is not prime. Res64: C059513E71E6CC9E Time : 0.0 sec. user=mdettweiler [2013-09-09 04:28:36] 841*2^1252729-1 is not prime. Res64: B1F2EBB0C2252867 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:28:45] 847*2^1252729-1 is not prime. Res64: 4247B90D65952E02 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:28:46] 855*2^1252729-1 is not prime. Res64: 8CC51D55E89BD35B Time : 0.0 sec. user=mdettweiler [2013-09-09 04:35:50] 939*2^1252729-1 is not prime. Res64: B0BABE2B5D6F3FE8 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:35:51] 633*2^1252730-1 is not prime. Res64: AA55CCC4CE7EB1D6 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:45:52] 665*2^1252730-1 is not prime. Res64: FE240B189E71DE5E Time : 0.0 sec. user=mdettweiler [2013-09-09 04:45:52] 675*2^1252730-1 is not prime. Res64: 4154575474FE7C16 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:48:19] 743*2^1252730-1 is not prime. Res64: BE87ACBEA2679F7B Time : 0.0 sec. user=mdettweiler [2013-09-09 04:48:20] 827*2^1252730-1 is not prime. Res64: 0457B85681219C9D Time : 0.0 sec. user=mdettweiler [2013-09-09 04:49:22] 857*2^1252730-1 is not prime. Res64: CD7E54B9A98F9623 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:49:23] 893*2^1252730-1 is not prime. Res64: C1CA0F47430713B5 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:56:29] 935*2^1252730-1 is not prime. Res64: 71AC5F419473D7C4 Time : 0.0 sec. user=mdettweiler [2013-09-09 04:56:29] 615*2^1252731-1 is not prime. Res64: 2749B17F3590F9A4 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:05:30] 745*2^1252731-1 is not prime. Res64: B0CA9CC104AF2732 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:05:31] 795*2^1252731-1 is not prime. Res64: 65338811A645025B Time : 0.0 sec. user=mdettweiler [2013-09-09 05:08:03] 801*2^1252731-1 is not prime. Res64: DD98C48648BF86DF Time : 0.0 sec. user=mdettweiler [2013-09-09 05:08:04] 835*2^1252731-1 is not prime. Res64: 9CEA4D4DF70B6AEE Time : 0.0 sec. user=mdettweiler [2013-09-09 05:09:59] 975*2^1252731-1 is not prime. Res64: E3ED07C8926A12E4 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:10:00] 623*2^1252732-1 is not prime. Res64: 74BCEA04F6F2FED6 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:16:12] 695*2^1252732-1 is not prime. Res64: 5FE31001F0C90181 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:16:12] 749*2^1252732-1 is not prime. Res64: D145BB1E8E79E1D5 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:26:09] 827*2^1252732-1 is not prime. Res64: 61F9EC6DEB059CB7 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:26:10] 939*2^1252732-1 is not prime. Res64: B427CDF09B38664D Time : 0.0 sec. user=mdettweiler [2013-09-09 05:28:40] 631*2^1252733-1 is not prime. Res64: 8DAF25BD2255B67D Time : 0.0 sec. user=mdettweiler [2013-09-09 05:28:41] 949*2^1252733-1 is not prime. Res64: 091949F54D01D935 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:30:37] 951*2^1252733-1 is not prime. Res64: F8DBA86930B520DC Time : 0.0 sec. user=mdettweiler [2013-09-09 05:30:38] 671*2^1252734-1 is not prime. Res64: BEC1A097568E1C6F Time : 0.0 sec. user=juhehe [2013-09-09 05:30:54] 651*2^1252731-1 is not prime. Res64: 0491870983D46B41 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:35:59] 731*2^1252734-1 is not prime. Res64: 354FF81A40E4E751 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:35:59] 741*2^1252734-1 is not prime. Res64: 76720DE090748C38 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:46:49] 815*2^1252734-1 is not prime. Res64: 7662C9246FA2220F Time : 0.0 sec. user=mdettweiler [2013-09-09 05:46:49] 975*2^1252734-1 is not prime. Res64: 7F72F8046E0F856A Time : 0.0 sec. user=mdettweiler [2013-09-09 05:48:20] 601*2^1252735-1 is not prime. Res64: 390CA12E17A61E27 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:48:20] 609*2^1252735-1 is not prime. Res64: D7C805955632C350 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:50:22] 715*2^1252735-1 is not prime. Res64: 44AA95C5879EF0CB Time : 0.0 sec. user=mdettweiler [2013-09-09 05:50:23] 741*2^1252735-1 is not prime. Res64: A88454E3B546E34E Time : 0.0 sec. user=mdettweiler [2013-09-09 05:55:42] 789*2^1252735-1 is not prime. Res64: 7F38787BFFBF7517 Time : 0.0 sec. user=mdettweiler [2013-09-09 05:55:43] 849*2^1252735-1 is not prime. Res64: 6D17279008C751DB Time : 0.0 sec. user=mdettweiler [2013-09-09 06:07:18] 961*2^1252735-1 is not prime. Res64: 5D341402F66F461C Time : 0.0 sec. user=mdettweiler [2013-09-09 06:07:19] 629*2^1252736-1 is not prime. Res64: 0849A9C5DCBAAA38 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:08:51] 867*2^1252736-1 is not prime. Res64: B690038221BE682F Time : 0.0 sec. user=mdettweiler [2013-09-09 06:08:52] 897*2^1252736-1 is not prime. Res64: 02D45E817B49D583 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:10:53] 945*2^1252736-1 is not prime. Res64: 2814A56CE114FCF3 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:10:54] 625*2^1252737-1 is not prime. Res64: 857EBFB5141DD9D1 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:15:26] 667*2^1252737-1 is not prime. Res64: 269BAA49B6DB4481 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:15:27] 699*2^1252737-1 is not prime. Res64: C9A8073D833D6027 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:26:54] 837*2^1252737-1 is not prime. Res64: 003B31B219C4C356 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:26:55] 849*2^1252737-1 is not prime. Res64: A738BA817C61AE6E Time : 0.0 sec. user=mdettweiler [2013-09-09 06:30:18] 955*2^1252737-1 is not prime. Res64: A5E820F7FF57D02D Time : 0.0 sec. user=mdettweiler [2013-09-09 06:30:19] 991*2^1252737-1 is not prime. Res64: EAFCAA5EAB607DC4 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:30:31] 603*2^1252738-1 is not prime. Res64: A3BB624CB720F72C Time : 0.0 sec. user=mdettweiler [2013-09-09 06:30:32] 605*2^1252738-1 is not prime. Res64: 39507852827AB255 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:35:05] 737*2^1252738-1 is not prime. Res64: DFEEC45FB76EC22B Time : 0.0 sec. user=mdettweiler [2013-09-09 06:35:05] 777*2^1252738-1 is not prime. Res64: BCE3742E92C04F64 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:46:33] 655*2^1252739-1 is not prime. Res64: 84B284AC25972D71 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:46:33] 663*2^1252739-1 is not prime. Res64: 776DFD191435A7F7 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:49:58] 705*2^1252739-1 is not prime. Res64: 2A77C337E186632E Time : 0.0 sec. user=mdettweiler [2013-09-09 06:49:58] 735*2^1252739-1 is not prime. Res64: 37CE362B2C453B5A Time : 0.0 sec. user=mdettweiler [2013-09-09 06:51:04] 819*2^1252739-1 is not prime. Res64: E8C8B52F5D10B8B6 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:51:05] 921*2^1252739-1 is not prime. Res64: 43A7300752D7FADE Time : 0.0 sec. user=mdettweiler [2013-09-09 06:54:50] 765*2^1252740-1 is not prime. Res64: 8DF260BF05267801 Time : 0.0 sec. user=mdettweiler [2013-09-09 06:54:51] 845*2^1252740-1 is not prime. Res64: CA658D8A50C3DB7C Time : 0.0 sec. user=mdettweiler [2013-09-09 07:06:09] 747*2^1252741-1 is not prime. Res64: BEFCE62A853624A6 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:06:11] 777*2^1252741-1 is not prime. Res64: 709EF260EA0799C7 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:09:34] 799*2^1252741-1 is not prime. Res64: D101DF8208285F3D Time : 0.0 sec. user=mdettweiler [2013-09-09 07:09:36] 855*2^1252741-1 is not prime. Res64: 84B03FDED164883C Time : 0.0 sec. user=mdettweiler [2013-09-09 07:12:37] 961*2^1252741-1 is not prime. Res64: B56864B972D0E37E Time : 0.0 sec. user=mdettweiler [2013-09-09 07:12:38] 999*2^1252741-1 is not prime. Res64: A29C43F873545352 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:14:30] 603*2^1252742-1 is not prime. Res64: 21580B0B2366B02A Time : 0.0 sec. user=mdettweiler [2013-09-09 07:14:31] 651*2^1252742-1 is not prime. Res64: 0EBA070E89324739 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:25:50] 693*2^1252742-1 is not prime. Res64: 4D475E123584B0F3 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:25:51] 743*2^1252742-1 is not prime. Res64: B4BE4A127B955138 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:31:08] 921*2^1252742-1 is not prime. Res64: 803487ED88C082FE Time : 0.0 sec. user=mdettweiler [2013-09-09 07:31:09] 981*2^1252742-1 is not prime. Res64: A9918322A8195377 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:33:13] 1001*2^1252742-1 is not prime. Res64: C78BBBC1DA6CA00B Time : 0.0 sec. user=mdettweiler [2013-09-09 07:33:14] 613*2^1252743-1 is not prime. Res64: AADE224A7829BE5B Time : 0.0 sec. user=mdettweiler [2013-09-09 07:34:08] 709*2^1252743-1 is not prime. Res64: EA6E5A028F622970 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:34:09] 775*2^1252743-1 is not prime. Res64: D5C1D0F99D7FEB60 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:46:24] 829*2^1252743-1 is not prime. Res64: 3945D89EC362DE22 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:46:25] 949*2^1252743-1 is not prime. Res64: 7219CCE9408927A5 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:50:47] 609*2^1252744-1 is not prime. Res64: CC458B36EEF8E1FA Time : 0.0 sec. user=mdettweiler [2013-09-09 07:50:48] 623*2^1252744-1 is not prime. Res64: 01DE4ACB9B86B4A1 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:52:52] 813*2^1252744-1 is not prime. Res64: 161F1DA259ED62F6 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:52:53] 827*2^1252744-1 is not prime. Res64: 8110F141913C82E5 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:54:46] 849*2^1252744-1 is not prime. Res64: 70A339CFF79E89F0 Time : 0.0 sec. user=mdettweiler [2013-09-09 07:54:47] 903*2^1252744-1 is not prime. Res64: 3A1F9974C27F9228 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:06:01] 607*2^1252745-1 is not prime. Res64: C411FAE0762525DA Time : 0.0 sec. user=mdettweiler [2013-09-09 08:06:03] 619*2^1252745-1 is not prime. Res64: AFE4642B8E5A3771 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:10:27] 705*2^1252746-1 is not prime. Res64: 4C4E1EF1BA146CBF Time : 0.0 sec. user=mdettweiler [2013-09-09 08:10:29] 873*2^1252746-1 is not prime. Res64: 7B24B3DC7CFA5D7C Time : 0.0 sec. user=mdettweiler [2013-09-09 08:13:30] 971*2^1252746-1 is not prime. Res64: 53C4FDD0F2F7F7E1 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:13:31] 693*2^1252747-1 is not prime. Res64: EC32672C80291092 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:14:34] 759*2^1252747-1 is not prime. Res64: CBEB7A75796795CE Time : 0.0 sec. user=mdettweiler [2013-09-09 08:14:34] 813*2^1252747-1 is not prime. Res64: 41436AD9F81FCEFD Time : 0.0 sec. user=mdettweiler [2013-09-09 08:26:38] 925*2^1252747-1 is not prime. Res64: 5C079256AF16EEFB Time : 0.0 sec. user=mdettweiler [2013-09-09 08:26:39] 789*2^1252748-1 is not prime. Res64: 20D3E94C08B24FBA Time : 0.0 sec. user=mdettweiler [2013-09-09 08:30:09] 839*2^1252748-1 is not prime. Res64: 6DF8DA114DF317B9 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:30:11] 855*2^1252748-1 is not prime. Res64: BF21E04C1CF29A74 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:35:02] 885*2^1252748-1 is not prime. Res64: 6E85903FC2261A66 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:35:03] 915*2^1252748-1 is not prime. Res64: 90CA9A29EC0AC053 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:36:03] 953*2^1252748-1 is not prime. Res64: BD3FA94F757523FF Time : 0.0 sec. user=mdettweiler [2013-09-09 08:36:04] 959*2^1252748-1 is not prime. Res64: 26E10B7F02629387 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:46:20] 627*2^1252749-1 is not prime. Res64: 18ACDF9076F8A0E8 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:46:21] 649*2^1252749-1 is not prime. Res64: 4C7C0A85209DAA71 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:49:50] 669*2^1252749-1 is not prime. Res64: 8CD5A1286F5413EB Time : 0.0 sec. user=mdettweiler [2013-09-09 08:49:52] 861*2^1252749-1 is not prime. Res64: 54DF35888B3A3964 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:56:38] 895*2^1252749-1 is not prime. Res64: D66BAC29610AAA33 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:56:39] 921*2^1252749-1 is not prime. Res64: 714F2AFC0647B840 Time : 0.0 sec. user=mdettweiler [2013-09-09 08:57:32] 945*2^1252749-1 is not prime. Res64: 8463670B66AD240B Time : 0.0 sec. user=mdettweiler [2013-09-09 08:57:33] 955*2^1252749-1 is not prime. Res64: 0BE232571F55EC22 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:06:01] 647*2^1252750-1 is not prime. Res64: 32DF79CFA8F611A7 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:06:03] 681*2^1252750-1 is not prime. Res64: 7F3853314F0D3637 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:09:30] 731*2^1252750-1 is not prime. Res64: 39F503FA10888A82 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:09:31] 741*2^1252750-1 is not prime. Res64: F4C03A5B89940897 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:16:19] 755*2^1252750-1 is not prime. Res64: 003534DBD5DC0F87 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:16:21] 777*2^1252750-1 is not prime. Res64: 01E7E8C16BEBE182 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:18:20] 791*2^1252750-1 is not prime. Res64: 5DA2A8619EA0C07D Time : 0.0 sec. user=mdettweiler [2013-09-09 09:18:21] 897*2^1252750-1 is not prime. Res64: 2B68EF95D1324EF7 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:27:40] 915*2^1252750-1 is not prime. Res64: 5AABF0E98E8FCFCB Time : 0.0 sec. user=mdettweiler [2013-09-09 09:27:41] 917*2^1252750-1 is not prime. Res64: D58F3F8F4F8BA834 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:31:09] 951*2^1252750-1 is not prime. Res64: FDC9377661FA269C Time : 0.0 sec. user=mdettweiler [2013-09-09 09:31:10] 1001*2^1252750-1 is not prime. Res64: 951261A253945911 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:36:57] 663*2^1252751-1 is not prime. Res64: 4E696C80B6318C6F Time : 0.0 sec. user=mdettweiler [2013-09-09 09:36:58] 949*2^1252751-1 is not prime. Res64: 2DBE3292F2D0EECA Time : 0.0 sec. user=mdettweiler [2013-09-09 09:38:02] 689*2^1252752-1 is not prime. Res64: 0732ED7B7EFFA153 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:38:03] 767*2^1252752-1 is not prime. Res64: 6D298F6D7AE13FE6 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:48:20] 819*2^1252752-1 is not prime. Res64: 285C9080470A4FC5 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:48:21] 909*2^1252752-1 is not prime. Res64: 4455E03627DCBFAB Time : 0.0 sec. user=mdettweiler [2013-09-09 09:50:58] 715*2^1252753-1 is not prime. Res64: 9C0185B1509507D4 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:51:00] 771*2^1252753-1 is not prime. Res64: 0EFB9D1B4A6309BA Time : 0.0 sec. user=mdettweiler [2013-09-09 09:58:45] 895*2^1252753-1 is not prime. Res64: B8A4CD84FD581D96 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:58:47] 919*2^1252753-1 is not prime. Res64: BA208B1F00ECA793 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:59:37] 955*2^1252753-1 is not prime. Res64: F3513181C1DB8BC4 Time : 0.0 sec. user=mdettweiler [2013-09-09 09:59:40] 999*2^1252753-1 is not prime. Res64: 861194801A9D66D4 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:08:03] 741*2^1252754-1 is not prime. Res64: A338E9FE4A232C75 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:08:05] 791*2^1252754-1 is not prime. Res64: BF510030DD104DE0 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:12:31] 903*2^1252754-1 is not prime. Res64: ADC033DFE6667E29 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:12:32] 927*2^1252754-1 is not prime. Res64: 7DDD7FDBEC0C21DE Time : 0.0 sec. user=mdettweiler [2013-09-09 10:20:24] 953*2^1252754-1 is not prime. Res64: 0DC90B5123238950 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:21:14] 981*2^1252754-1 is not prime. Res64: 20020644B6D33076 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:21:16] 993*2^1252754-1 is not prime. Res64: 9EC689B2FE2D6B63 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:27:41] 643*2^1252755-1 is not prime. Res64: 2CC90DFA1997DEBC Time : 0.0 sec. user=mdettweiler [2013-09-09 10:27:43] 741*2^1252755-1 is not prime. Res64: 836775E95D6A1BA5 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:32:16] 795*2^1252755-1 is not prime. Res64: C53313C8C1F44B78 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:32:17] 823*2^1252755-1 is not prime. Res64: 43E72B6943020528 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:41:55] 955*2^1252755-1 is not prime. Res64: F2B37294563F63C0 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:41:57] 609*2^1252756-1 is not prime. Res64: DBE930B8990E0C5A Time : 0.0 sec. user=mdettweiler [2013-09-09 10:42:07] 891*2^1252755-1 is not prime. Res64: 428E2F11B93EB580 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:47:22] 639*2^1252756-1 is not prime. Res64: DD2DE8BE184898A9 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:47:23] 657*2^1252756-1 is not prime. Res64: 733F09695301F311 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:51:58] 707*2^1252756-1 is not prime. Res64: 7BB00F2E9A1BD945 Time : 0.0 sec. user=mdettweiler [2013-09-09 10:51:59] 779*2^1252756-1 is not prime. Res64: 5AA19240EA689350 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:01:40] 839*2^1252756-1 is not prime. Res64: 601EDCEC99B011D2 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:01:42] 857*2^1252756-1 is not prime. Res64: ED59EE29FB89841C Time : 0.0 sec. user=mdettweiler [2013-09-09 11:01:46] 601*2^1252757-1 is not prime. Res64: DF512FC70D804D61 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:01:47] 651*2^1252757-1 is not prime. Res64: E3485B15DB391C2F Time : 0.0 sec. user=mdettweiler [2013-09-09 11:07:04] 727*2^1252757-1 is not prime. Res64: CA85E39DF362F5D9 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:07:06] 769*2^1252757-1 is not prime. Res64: 8C2137CF216E4861 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:11:32] 795*2^1252757-1 is not prime. Res64: 128CF8348EBB5CAF Time : 0.0 sec. user=mdettweiler [2013-09-09 11:11:32] 819*2^1252757-1 is not prime. Res64: CE7B8AFEB5A8D4EC Time : 0.0 sec. user=mdettweiler [2013-09-09 11:21:46] 837*2^1252757-1 is not prime. Res64: B4CEB1A85BEF2D7A Time : 0.0 sec. user=mdettweiler [2013-09-09 11:21:48] 861*2^1252757-1 is not prime. Res64: AD0B55EB9A68A601 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:23:42] 915*2^1252757-1 is not prime. Res64: 07EA998B1FBF1AC7 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:23:43] 991*2^1252757-1 is not prime. Res64: DAA439F9FA1D2B28 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:27:55] 801*2^1252758-1 is not prime. Res64: B20A728AF04B1EC3 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:27:56] 927*2^1252758-1 is not prime. Res64: 000DF2644DC09AA9 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:32:36] 963*2^1252758-1 is not prime. Res64: 7FD228893294CA08 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:32:37] 619*2^1252759-1 is not prime. Res64: 2C58363519D551F7 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:42:58] 639*2^1252759-1 is not prime. Res64: E743070A48CEF402 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:42:58] 693*2^1252759-1 is not prime. Res64: 440747358BA21E20 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:45:27] 771*2^1252759-1 is not prime. Res64: 1CD7CAA61BBC33D5 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:45:28] 853*2^1252759-1 is not prime. Res64: 226B42C63F91F32D Time : 0.0 sec. user=mdettweiler [2013-09-09 11:49:51] 675*2^1252760-1 is not prime. Res64: F331E98CCC8468C9 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:49:52] 699*2^1252760-1 is not prime. Res64: B56E4864845FD5FA Time : 0.0 sec. user=mdettweiler [2013-09-09 11:54:44] 759*2^1252760-1 is not prime. Res64: 4EDF7108E857BA06 Time : 0.0 sec. user=mdettweiler [2013-09-09 11:54:45] 777*2^1252760-1 is not prime. Res64: A304663D48D955CA Time : 0.0 sec. user=mdettweiler [2013-09-09 12:04:45] 797*2^1252760-1 is not prime. Res64: 52942F5C3AC4122D Time : 0.0 sec. user=mdettweiler [2013-09-09 12:04:46] 827*2^1252760-1 is not prime. Res64: 291C3A045440CDD6 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:09:01] 857*2^1252760-1 is not prime. Res64: 2C4C9AA976FCE3C6 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:09:02] 929*2^1252760-1 is not prime. Res64: DB9462C9C8547169 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:12:16] 999*2^1252760-1 is not prime. Res64: B80028A1230A3FB8 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:12:16] 627*2^1252761-1 is not prime. Res64: 0393744FD5F07514 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:15:13] 717*2^1252761-1 is not prime. Res64: 738C48C076C88683 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:15:15] 741*2^1252761-1 is not prime. Res64: 5480CBD68C71C3E0 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:25:46] 829*2^1252761-1 is not prime. Res64: 34C15499B26B6CFB Time : 0.0 sec. user=mdettweiler [2013-09-09 12:25:47] 877*2^1252761-1 is not prime. Res64: 5A5E63FCBF013C80 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:30:46] 907*2^1252761-1 is not prime. Res64: 45867DCA3AEBB9AF Time : 0.0 sec. user=mdettweiler [2013-09-09 12:30:46] 909*2^1252761-1 is not prime. Res64: 722DD8F254DC1FE5 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:34:00] 951*2^1252761-1 is not prime. Res64: 1A4F2059554900A3 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:34:01] 999*2^1252761-1 is not prime. Res64: 823904AA99732440 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:35:02] 645*2^1252762-1 is not prime. Res64: D5307A0E81455B25 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:35:03] 873*2^1252762-1 is not prime. Res64: A70E1E252740D72A Time : 0.0 sec. user=mdettweiler [2013-09-09 12:47:22] 983*2^1252762-1 is not prime. Res64: 1FDBB901C71DB098 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:47:22] 1001*2^1252762-1 is not prime. Res64: FBEC5C88ECFBA0F0 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:50:31] 603*2^1252763-1 is not prime. Res64: 193FFE986D1CB8F8 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:50:32] 619*2^1252763-1 is not prime. Res64: 47F99C5E4BCEECC2 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:53:41] 649*2^1252763-1 is not prime. Res64: 9CEC5C2AD8CA4959 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:53:42] 669*2^1252763-1 is not prime. Res64: 35DDD07D95A2892F Time : 0.0 sec. user=mdettweiler [2013-09-09 12:55:44] 823*2^1252763-1 is not prime. Res64: 3E8CEC27B4C752F9 Time : 0.0 sec. user=mdettweiler [2013-09-09 12:55:45] 915*2^1252763-1 is not prime. Res64: 32DE8345D6EDCA0B Time : 0.0 sec. user=mdettweiler [2013-09-09 13:07:59] 943*2^1252763-1 is not prime. Res64: 0CEBFE5C056B452B Time : 0.0 sec. user=mdettweiler [2013-09-09 13:08:02] 719*2^1252764-1 is not prime. Res64: 292C760B26D78A7C Time : 0.0 sec. user=mdettweiler [2013-09-09 13:11:08] 765*2^1252764-1 is not prime. Res64: 7789CBE2D57B6047 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:11:09] 945*2^1252764-1 is not prime. Res64: FF662809ECA775A6 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:13:22] 667*2^1252765-1 is not prime. Res64: 5550C4BB9F9A49F1 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:13:23] 687*2^1252765-1 is not prime. Res64: 6E239F9426643566 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:15:28] 771*2^1252765-1 is not prime. Res64: FFC6797AD717C889 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:15:30] 777*2^1252765-1 is not prime. Res64: 47FC42511534E28A Time : 0.0 sec. user=mdettweiler [2013-09-09 13:27:51] 811*2^1252765-1 is not prime. Res64: D2DE8CD5B14FDB68 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:27:52] 861*2^1252765-1 is not prime. Res64: 754E47E8AC24E15E Time : 0.0 sec. user=mdettweiler [2013-09-09 13:32:52] 889*2^1252765-1 is not prime. Res64: E1C52A2CEEF51253 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:32:54] 999*2^1252765-1 is not prime. Res64: 0A5B2EE619C6F626 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:33:08] 711*2^1252766-1 is not prime. Res64: D086AD86A58C6958 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:33:09] 825*2^1252766-1 is not prime. Res64: 6ECD48A85BAA19A5 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:36:21] 875*2^1252766-1 is not prime. Res64: F400B389D71F5151 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:36:22] 615*2^1252767-1 is not prime. Res64: 228DADC12E78E68F Time : 0.0 sec. user=mdettweiler [2013-09-09 13:47:37] 693*2^1252767-1 is not prime. Res64: 940FAAC0D00B1052 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:47:38] 825*2^1252767-1 is not prime. Res64: 136E78CAA3EC65D6 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:53:33] 859*2^1252767-1 is not prime. Res64: 9C40FF1192FA4C29 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:53:35] 895*2^1252767-1 is not prime. Res64: 13CF0317C9D4E5EA Time : 0.0 sec. user=mdettweiler [2013-09-09 13:54:48] 909*2^1252767-1 is not prime. Res64: FD32CC784064EA30 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:54:48] 973*2^1252767-1 is not prime. Res64: F47A9112FD305CD8 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:57:09] 979*2^1252767-1 is not prime. Res64: 01B52A826C3CD1B4 Time : 0.0 sec. user=mdettweiler [2013-09-09 13:57:10] 623*2^1252768-1 is not prime. Res64: FA4B055CB9E302E8 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:07:48] 657*2^1252768-1 is not prime. Res64: F97718A4559C1EA9 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:07:49] 825*2^1252768-1 is not prime. Res64: B31996C09863BBC6 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:15:02] 627*2^1252769-1 is not prime. Res64: 9EE33ABA2C44E14F Time : 0.0 sec. user=mdettweiler [2013-09-09 14:15:03] 775*2^1252769-1 is not prime. Res64: D892AE5369E8DDCF Time : 0.0 sec. user=mdettweiler [2013-09-09 14:15:07] 869*2^1252768-1 is not prime. Res64: 13A01DEADC8D2DF8 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:15:07] 999*2^1252768-1 is not prime. Res64: C3A7ABA1B4EDB414 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:17:40] 831*2^1252769-1 is not prime. Res64: 436BEE8F731357F1 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:17:41] 841*2^1252769-1 is not prime. Res64: F99987C0F64DA772 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:29:17] 861*2^1252769-1 is not prime. Res64: 3F919A7FF5A32CB8 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:29:18] 957*2^1252769-1 is not prime. Res64: 5B9B90D224292D9E Time : 0.0 sec. user=mdettweiler [2013-09-09 14:35:27] 797*2^1252770-1 is not prime. Res64: 568B581FFBF20B91 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:35:27] 843*2^1252770-1 is not prime. Res64: 5AFA9BCAC310C50C Time : 0.0 sec. user=mdettweiler [2013-09-09 14:36:20] 987*2^1252769-1 is not prime. Res64: F2459168644C2FF8 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:36:20] 611*2^1252770-1 is not prime. Res64: 9C9165B21CFC56C2 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:38:53] 845*2^1252770-1 is not prime. Res64: C9FA842BE2E3A458 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:38:54] 875*2^1252770-1 is not prime. Res64: AAAF7D97C58FA5B2 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:50:45] 941*2^1252770-1 is not prime. Res64: AE93CBFBABF3CA6A Time : 0.0 sec. user=mdettweiler [2013-09-09 14:50:45] 621*2^1252771-1 is not prime. Res64: B671E3739A572D63 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:56:00] 673*2^1252771-1 is not prime. Res64: 717DB0FE6A099251 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:56:00] 679*2^1252771-1 is not prime. Res64: C5773D809D5E94EA Time : 0.0 sec. user=mdettweiler [2013-09-09 14:56:47] 733*2^1252771-1 is not prime. Res64: 2B991A5D7A55D0B3 Time : 0.0 sec. user=mdettweiler [2013-09-09 14:56:47] 783*2^1252771-1 is not prime. Res64: 4A7FC6AB174F804F Time : 0.0 sec. user=mdettweiler [2013-09-09 15:00:27] 951*2^1252771-1 is not prime. Res64: 1FB9ABA6998784D0 Time : 0.0 sec. user=mdettweiler [2013-09-09 15:00:28] 605*2^1252772-1 is not prime. Res64: A3893157AA3BC78F Time : 0.0 sec. user=mdettweiler [2013-09-09 15:11:10] 615*2^1252772-1 is not prime. Res64: E11E4F19AAA5D330 Time : 0.0 sec. user=mdettweiler [2013-09-09 15:11:10] 617*2^1252772-1 is not prime. Res64: CBBF3EB3289C0C21 Time : 0.0 sec. user=mdettweiler [2013-09-09 15:16:10] 623*2^1252772-1 is not prime. Res64: 2C884C2268F676A0 Time : 0.0 sec. user=mdettweiler [2013-09-09 15:16:10] 735*2^1252772-1 is not prime. Res64: 1898DD07E0B526A3 Time : 0.0 sec. user=mdettweiler [2013-09-09 15:18:07] 813*2^1252772-1 is not prime. Res64: F8AA994C4ABF433B Time : 0.0 sec. user=mdettweiler [2013-09-09 15:18:07] 879*2^1252772-1 is not prime. Res64: FFDD5076C7834C21 Time : 0.0 sec. user=mdettweiler [2013-09-09 15:22:04] 903*2^1252772-1 is not prime. Res64: 3C9981EC4B99F9EC Time : 0.0 sec. user=mdettweiler [2013-09-09 15:22:04] 657*2^1252773-1 is not prime. Res64: A2464002CB986E4C Time : 0.0 sec. user=mdettweiler [2013-09-09 15:31:23] 681*2^1252773-1 is not prime. Res64: 86E0FDA6A0E9F3DD Time : 0.0 sec. user=mdettweiler [2013-09-09 15:31:23] 781*2^1252773-1 is not prime. Res64: 11FC34694142B3C0 Time : 0.0 sec. user=mdettweiler [2013-09-09 15:36:25] 837*2^1252773-1 is not prime. Res64: FA3E084C2316015A Time : 0.0 sec. user=mdettweiler [2013-09-09 15:36:25] 847*2^1252773-1 is not prime. Res64: 289DCFC198E8161A Time : 0.0 sec. user=mdettweiler [2013-09-09 15:38:32] 867*2^1252773-1 is not prime. Res64: 336E1D89EED15896 Time : 0.0 sec. user=mdettweiler [2013-09-09 15:38:32] 871*2^1252773-1 is not prime. Res64: 4200C937BB53EF6F Time : 0.0 sec. user=mdettweiler [2013-09-09 15:42:23] 665*2^1252774-1 is not prime. Res64: 818746D8214EFDBA Time : 0.0 sec. user=mdettweiler [2013-09-09 15:42:23] 677*2^1252774-1 is not prime. Res64: D003B626A26370C5 Time : 0.0 sec. user=mdettweiler [2013-09-09 15:52:32] 681*2^1252774-1 is not prime. Res64: 319C10D6C386FF6C Time : 0.0 sec. user=mdettweiler [2013-09-09 15:52:32] 983*2^1252774-1 is not prime. Res64: 6F86427D3D05D4DD Time : 0.0 sec. user=mdettweiler [2013-09-09 15:56:53] 643*2^1252775-1 is not prime. Res64: 88B2363CA4E8CF6F Time : 0.0 sec. user=mdettweiler [2013-09-09 15:56:53] 715*2^1252775-1 is not prime. Res64: F2F3C75018100EC1 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:01:04] 895*2^1252775-1 is not prime. Res64: 253B4044AA6F1390 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:01:04] 915*2^1252775-1 is not prime. Res64: 2F2DF95B672567D7 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:02:35] 735*2^1252776-1 is not prime. Res64: 1F7427D10B8878CB Time : 0.0 sec. user=mdettweiler [2013-09-09 16:02:36] 777*2^1252776-1 is not prime. Res64: 607B05063446FFB6 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:13:53] 825*2^1252776-1 is not prime. Res64: B0194FFE58F9DCF2 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:13:53] 927*2^1252776-1 is not prime. Res64: 2FF0F2C78A8CC3E9 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:18:33] 993*2^1252776-1 is not prime. Res64: 81D9E138923DA057 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:18:33] 687*2^1252777-1 is not prime. Res64: EBC7263F12A2556E Time : 0.0 sec. user=mdettweiler [2013-09-09 16:21:17] 741*2^1252777-1 is not prime. Res64: 6627FC9F41378F72 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:21:18] 801*2^1252777-1 is not prime. Res64: D28228397FD3D02D Time : 0.0 sec. user=mdettweiler [2013-09-09 16:23:56] 915*2^1252777-1 is not prime. Res64: 687FB05F21E9F06A Time : 0.0 sec. user=mdettweiler [2013-09-09 16:23:56] 633*2^1252778-1 is not prime. Res64: EF55FF0E94DF5E66 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:34:18] 651*2^1252778-1 is not prime. Res64: D45FB20890296BC6 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:34:19] 731*2^1252778-1 is not prime. Res64: 6E3184AA9362ED7D Time : 0.0 sec. user=mdettweiler [2013-09-09 16:38:45] 767*2^1252778-1 is not prime. Res64: 2BE28E8E772A3327 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:38:45] 845*2^1252778-1 is not prime. Res64: E71A947A57E09A91 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:43:28] 887*2^1252778-1 is not prime. Res64: 54B21F18F4D952A8 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:43:28] 923*2^1252778-1 is not prime. Res64: 8021FDC5099B78FE Time : 0.0 sec. user=mdettweiler [2013-09-09 16:45:02] 971*2^1252778-1 is not prime. Res64: 7A715572B40325D7 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:45:02] 619*2^1252779-1 is not prime. Res64: BDD3F0C21A27C88D Time : 0.0 sec. user=mdettweiler [2013-09-09 16:55:00] 633*2^1252779-1 is not prime. Res64: 79D5114B3EFC2F7D Time : 0.0 sec. user=mdettweiler [2013-09-09 16:55:00] 675*2^1252779-1 is not prime. Res64: C9C79EF125336A0B Time : 0.0 sec. user=mdettweiler [2013-09-09 16:59:20] 741*2^1252779-1 is not prime. Res64: D20C6AF16D7970D7 Time : 0.0 sec. user=mdettweiler [2013-09-09 16:59:20] 751*2^1252779-1 is not prime. Res64: 3C414C08A8A4CE46 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:05:54] 975*2^1252779-1 is not prime. Res64: 4307A57E966A0502 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:05:55] 605*2^1252780-1 is not prime. Res64: E6CFB581983F2A8F Time : 0.0 sec. user=mdettweiler [2013-09-09 17:07:17] 623*2^1252780-1 is not prime. Res64: 212B125B513BD1EA Time : 0.0 sec. user=mdettweiler [2013-09-09 17:07:18] 635*2^1252780-1 is not prime. Res64: CB80050FA9C68A62 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:19:04] 719*2^1252780-1 is not prime. Res64: 3FFA07F3EE80B357 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:19:04] 735*2^1252780-1 is not prime. Res64: AB72343035A4F826 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:24:17] 839*2^1252780-1 is not prime. Res64: FEE62D3701CD257F Time : 0.0 sec. user=mdettweiler [2013-09-09 17:24:18] 855*2^1252780-1 is not prime. Res64: AA860BDDB42001B1 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:32:46] 747*2^1252781-1 is not prime. Res64: A5BA2D16394D4254 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:32:47] 777*2^1252781-1 is not prime. Res64: DE25AEB413C36668 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:32:54] 965*2^1252780-1 is not prime. Res64: 50847D849BC94847 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:32:55] 615*2^1252781-1 is not prime. Res64: 8E9B147E723A697E Time : 0.0 sec. user=juhehe [2013-09-09 17:40:08] 857*2^1252780-1 is not prime. Res64: 912DC3D90B256941 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:43:07] 795*2^1252781-1 is not prime. Res64: 353F099E33372B86 Time : 0.0 sec. user=mdettweiler [2013-09-09 17:43:07] 741*2^1252782-1 is not prime. Res64: 2261DF8AF39F761C Time : 0.0 sec. user=mdettweiler [2013-09-09 17:48:01] 797*2^1252782-1 is not prime. Res64: EA3C066AB2B4A14A Time : 0.0 sec. user=mdettweiler [2013-09-09 17:48:01] 843*2^1252782-1 is not prime. Res64: 38230B6B30334FCC Time : 0.0 sec. user=mdettweiler [2013-09-09 17:56:08] 769*2^1252783-1 is not prime. Res64: EDE2F0D998E866DE Time : 0.0 sec. user=mdettweiler [2013-09-09 17:56:08] 813*2^1252783-1 is not prime. Res64: 2E6E9EF748EB4DEE Time : 0.0 sec. user=mdettweiler [2013-09-09 17:56:57] 947*2^1252782-1 is not prime. Res64: 165249026BAE0F9B Time : 0.0 sec. user=mdettweiler [2013-09-09 17:56:57] 615*2^1252783-1 is not prime. Res64: 72341635B86E37DC Time : 0.0 sec. user=mdettweiler [2013-09-09 18:06:51] 853*2^1252783-1 is not prime. Res64: D4E050124822D37D Time : 0.0 sec. user=mdettweiler [2013-09-09 18:06:51] 901*2^1252783-1 is not prime. Res64: F709946B4DA131D5 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:12:50] 925*2^1252783-1 is not prime. Res64: 1AFBAD033B567EF8 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:12:50] 993*2^1252783-1 is not prime. Res64: 851C2FED1ECB00D0 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:18:30] 615*2^1252784-1 is not prime. Res64: E6F039EBE21B8125 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:18:30] 617*2^1252784-1 is not prime. Res64: FDEC503817F50F75 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:18:55] 635*2^1252784-1 is not prime. Res64: B6137C659DB6BED3 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:18:56] 657*2^1252784-1 is not prime. Res64: D866C7A77C4F43A9 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:28:27] 683*2^1252784-1 is not prime. Res64: 13B63ECCEC7E2476 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:28:28] 705*2^1252785-1 is not prime. Res64: 4EA56040D4CD8928 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:34:30] 789*2^1252785-1 is not prime. Res64: A4376839718A8CE3 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:34:30] 795*2^1252785-1 is not prime. Res64: C94720822B3D834D Time : 0.0 sec. user=mdettweiler [2013-09-09 18:39:54] 811*2^1252785-1 is not prime. Res64: 1627E3849EE13370 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:39:54] 819*2^1252785-1 is not prime. Res64: 4646709B5D1EA8E3 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:42:06] 909*2^1252785-1 is not prime. Res64: 86B5CE1025A96F83 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:42:06] 937*2^1252785-1 is not prime. Res64: 6FCB40BB94C44D08 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:49:06] 657*2^1252786-1 is not prime. Res64: B486CF9DAFA8FF9C Time : 0.0 sec. user=mdettweiler [2013-09-09 18:49:07] 743*2^1252786-1 is not prime. Res64: B2B29B8CA23AB077 Time : 0.0 sec. user=mdettweiler [2013-09-09 18:55:02] 777*2^1252786-1 is not prime. Res64: AC7E67F8B704D05F Time : 0.0 sec. user=mdettweiler [2013-09-09 18:55:02] 873*2^1252786-1 is not prime. Res64: 575531052D1F0AD4 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:02:12] 891*2^1252786-1 is not prime. Res64: 164E2DCB20189C74 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:02:13] 879*2^1252787-1 is not prime. Res64: C5BB70D8D1BD0CE0 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:04:26] 909*2^1252787-1 is not prime. Res64: 7D6FFA1A0ADC93FD Time : 0.0 sec. user=mdettweiler [2013-09-09 19:04:27] 993*2^1252787-1 is not prime. Res64: 5D8CE53894D95A35 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:09:30] 629*2^1252788-1 is not prime. Res64: 79102E4732FE710E Time : 0.0 sec. user=mdettweiler [2013-09-09 19:09:31] 669*2^1252788-1 is not prime. Res64: 21133F956BACA458 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:15:23] 737*2^1252788-1 is not prime. Res64: B427F18B3D514031 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:15:24] 767*2^1252788-1 is not prime. Res64: 3B6F9723C2BF325C Time : 0.0 sec. user=mdettweiler [2013-09-09 19:22:36] 789*2^1252788-1 is not prime. Res64: A53ECD22808BC78F Time : 0.0 sec. user=mdettweiler [2013-09-09 19:22:36] 839*2^1252788-1 is not prime. Res64: D8466622178615D8 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:26:30] 879*2^1252788-1 is not prime. Res64: 216DA8E1473B9F72 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:26:30] 945*2^1252788-1 is not prime. Res64: 84D83B13DF28C14B Time : 0.0 sec. user=mdettweiler [2013-09-09 19:30:50] 987*2^1252788-1 is not prime. Res64: A306B3AB8F2810B5 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:30:50] 601*2^1252789-1 is not prime. Res64: 1A46BD2ECD932631 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:35:42] 667*2^1252789-1 is not prime. Res64: C8CAE2753A3C9BCA Time : 0.0 sec. user=mdettweiler [2013-09-09 19:35:43] 675*2^1252789-1 is not prime. Res64: 2169E8935F594FC2 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:43:52] 987*2^1252789-1 is not prime. Res64: F5A9D7DF3737C958 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:43:52] 743*2^1252790-1 is not prime. Res64: 64DEDE269CD4C91F Time : 0.0 sec. user=mdettweiler [2013-09-09 19:47:53] 797*2^1252790-1 is not prime. Res64: A71CA231B2FE7833 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:47:53] 887*2^1252790-1 is not prime. Res64: 4C8B2699D679016D Time : 0.0 sec. user=mdettweiler [2013-09-09 19:53:10] 893*2^1252790-1 is not prime. Res64: F35B9952E4A6C861 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:53:10] 911*2^1252790-1 is not prime. Res64: 031A6D017C6B8F9E Time : 0.0 sec. user=mdettweiler [2013-09-09 19:57:02] 971*2^1252790-1 is not prime. Res64: AC320F002B5C1580 Time : 0.0 sec. user=mdettweiler [2013-09-09 19:57:02] 639*2^1252791-1 is not prime. Res64: DD505826F24359B5 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:04:12] 669*2^1252791-1 is not prime. Res64: 23F843AEE530E5F0 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:04:13] 723*2^1252791-1 is not prime. Res64: 8CD2C67BA46EF10A Time : 0.0 sec. user=mdettweiler [2013-09-09 20:08:29] 805*2^1252791-1 is not prime. Res64: D7EB2D9AA455B7C5 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:08:29] 859*2^1252791-1 is not prime. Res64: E1B0B5F6AA8DEC68 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:14:55] 871*2^1252791-1 is not prime. Res64: 779D8E21895155F8 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:14:55] 951*2^1252791-1 is not prime. Res64: 932FD7B827213ED5 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:19:26] 961*2^1252791-1 is not prime. Res64: C656DCC84B2F7504 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:19:26] 973*2^1252791-1 is not prime. Res64: BADB3C9AF22BDF03 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:24:28] 675*2^1252793-1 is not prime. Res64: C87C6F59D956A5F9 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:24:28] 789*2^1252793-1 is not prime. Res64: CE141266BD7CDE48 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:30:35] 901*2^1252793-1 is not prime. Res64: 8498F7FB1D61C866 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:30:36] 981*2^1252793-1 is not prime. Res64: 01843A02349B3B18 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:36:47] 987*2^1252793-1 is not prime. Res64: 28B3827712D08BE5 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:36:47] 991*2^1252793-1 is not prime. Res64: 8AA8B3850A320C31 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:39:12] 635*2^1252794-1 is not prime. Res64: E27812E976CEEA45 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:39:12] 671*2^1252794-1 is not prime. Res64: 6FE68C4CD54F9EF2 Time : 0.0 sec. user=juhehe [2013-09-09 20:39:16] 759*2^1252792-1 is not prime. Res64: B8424D3D76C33FE9 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:44:18] 731*2^1252794-1 is not prime. Res64: 2CEFB6E8EC09D672 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:44:19] 791*2^1252794-1 is not prime. Res64: D41CF7B953F22C53 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:50:31] 803*2^1252794-1 is not prime. Res64: 4666C115F7CAC18D Time : 0.0 sec. user=mdettweiler [2013-09-09 20:50:32] 837*2^1252794-1 is not prime. Res64: F194213E57273003 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:57:36] 851*2^1252794-1 is not prime. Res64: 66A094632F7E98F0 Time : 0.0 sec. user=mdettweiler [2013-09-09 20:57:37] 893*2^1252794-1 is not prime. Res64: B2B7CBEBEE1C9C19 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:00:09] 947*2^1252794-1 is not prime. Res64: E1628274EE79A2E7 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:00:11] 601*2^1252795-1 is not prime. Res64: A0098601B055BA10 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:04:11] 691*2^1252795-1 is not prime. Res64: ECE998DC5B49229C Time : 0.0 sec. user=mdettweiler [2013-09-09 21:04:13] 693*2^1252795-1 is not prime. Res64: 59EB95546BE8B9E0 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:10:29] 723*2^1252795-1 is not prime. Res64: 3CF7FFD83833F160 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:10:30] 789*2^1252795-1 is not prime. Res64: A95F419A74E6F11B Time : 0.0 sec. user=mdettweiler [2013-09-09 21:17:29] 805*2^1252795-1 is not prime. Res64: 512BE8BFF41CBCDF Time : 0.0 sec. user=mdettweiler [2013-09-09 21:17:31] 859*2^1252795-1 is not prime. Res64: 066F96588BF2BBC4 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:20:00] 871*2^1252795-1 is not prime. Res64: 423B38296B2FFF49 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:20:01] 659*2^1252796-1 is not prime. Res64: 682D5B93FE369123 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:24:13] 669*2^1252796-1 is not prime. Res64: 59220E4F0A16B5BC Time : 0.0 sec. user=mdettweiler [2013-09-09 21:24:14] 777*2^1252796-1 is not prime. Res64: 6ED35687178ABA50 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:31:27] 857*2^1252796-1 is not prime. Res64: BA083188C21483AB Time : 0.0 sec. user=mdettweiler [2013-09-09 21:31:28] 969*2^1252796-1 is not prime. Res64: 33D34093F925A31B Time : 0.0 sec. user=mdettweiler [2013-09-09 21:37:46] 607*2^1252797-1 is not prime. Res64: 3A7D05734800FF3B Time : 0.0 sec. user=mdettweiler [2013-09-09 21:37:46] 655*2^1252797-1 is not prime. Res64: 4B94D966BEDFEBC0 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:40:35] 717*2^1252797-1 is not prime. Res64: B3EB6DB808787B7B Time : 0.0 sec. user=mdettweiler [2013-09-09 21:40:35] 835*2^1252797-1 is not prime. Res64: 9FD7A78CD7F2B81F Time : 0.0 sec. user=mdettweiler [2013-09-09 21:47:05] 891*2^1252797-1 is not prime. Res64: 15C696BC7AA1A169 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:47:06] 895*2^1252797-1 is not prime. Res64: 70D968E393C072A7 Time : 0.0 sec. user=mdettweiler [2013-09-09 21:53:35] 975*2^1252797-1 is not prime. Res64: 372EF858E2C486DE Time : 0.0 sec. user=mdettweiler [2013-09-09 21:53:36] 603*2^1252798-1 is not prime. Res64: 5DDE39E766AF86FC Time : 0.0 sec. user=mdettweiler [2013-09-09 21:58:34] 671*2^1252798-1 is not prime. Res64: D2A3BDDC2C4B4BFF Time : 0.0 sec. user=mdettweiler [2013-09-09 21:58:35] 723*2^1252798-1 is not prime. Res64: 920809612142C53F Time : 0.0 sec. user=mdettweiler [2013-09-09 22:01:05] 761*2^1252798-1 is not prime. Res64: 4A456B93C478FE54 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:01:07] 827*2^1252798-1 is not prime. Res64: F6283056A42AB84C Time : 0.0 sec. user=mdettweiler [2013-09-09 22:08:14] 845*2^1252798-1 is not prime. Res64: C2944B731021C161 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:08:16] 885*2^1252798-1 is not prime. Res64: A11432BFE92CD939 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:15:23] 911*2^1252798-1 is not prime. Res64: C816CCDD0DFD8A72 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:15:25] 945*2^1252798-1 is not prime. Res64: 2FDD2D49136C8276 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:19:23] 1001*2^1252798-1 is not prime. Res64: F417BF7DE228BCD9 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:19:25] 645*2^1252799-1 is not prime. Res64: 43B2B38DC1D60E18 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:21:00] 669*2^1252799-1 is not prime. Res64: CD1FFFC3AE0D1680 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:21:02] 741*2^1252799-1 is not prime. Res64: 7B7790EE546E7713 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:29:15] 865*2^1252799-1 is not prime. Res64: F871839A0CDFEC2E Time : 0.0 sec. user=mdettweiler [2013-09-09 22:29:16] 909*2^1252799-1 is not prime. Res64: 7F01CE2EA55C97FC Time : 0.0 sec. user=mdettweiler [2013-09-09 22:35:12] 627*2^1252800-1 is not prime. Res64: DEFCBE5814357B2D Time : 0.0 sec. user=mdettweiler [2013-09-09 22:35:13] 767*2^1252800-1 is not prime. Res64: E2E8EB939BFB5798 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:40:22] 863*2^1252800-1 is not prime. Res64: 21971A38B6639E81 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:40:23] 917*2^1252800-1 is not prime. Res64: 19F67C0E0321D958 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:42:54] 923*2^1252800-1 is not prime. Res64: 89FEEE09E5630D1E Time : 0.0 sec. user=mdettweiler [2013-09-09 22:42:55] 959*2^1252800-1 is not prime. Res64: 566D50462B93995B Time : 0.0 sec. user=mdettweiler [2013-09-09 22:51:14] 983*2^1252800-1 is not prime. Res64: 3AD4FCB6CABF8090 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:51:15] 999*2^1252800-1 is not prime. Res64: E57232307BBAAD58 Time : 0.0 sec. user=mdettweiler [2013-09-09 22:55:11] 715*2^1252801-1 is not prime. Res64: 38B74418EC28174B Time : 0.0 sec. user=mdettweiler [2013-09-09 22:55:12] 771*2^1252801-1 is not prime. Res64: FAD2E3C0FBB02926 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:02:18] 877*2^1252801-1 is not prime. Res64: B683CEA418846D25 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:02:20] 937*2^1252801-1 is not prime. Res64: 3E3820245EFC1B0C Time : 0.0 sec. user=mdettweiler [2013-09-09 23:03:55] 955*2^1252801-1 is not prime. Res64: 49F26FF26DD44660 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:03:56] 675*2^1252802-1 is not prime. Res64: 7973407D5D8E06EE Time : 0.0 sec. user=mdettweiler [2013-09-09 23:11:12] 791*2^1252802-1 is not prime. Res64: 5084F7DA4AEB1216 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:11:14] 801*2^1252802-1 is not prime. Res64: FF668AB3F69700F4 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:15:17] 815*2^1252802-1 is not prime. Res64: 716F323EB9EEE522 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:15:18] 827*2^1252802-1 is not prime. Res64: A2492549DF67B787 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:23:57] 735*2^1252803-1 is not prime. Res64: 7A179B38C9026530 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:23:58] 795*2^1252803-1 is not prime. Res64: 31EC637B3623B404 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:24:11] 951*2^1252802-1 is not prime. Res64: 017731C66C512FD2 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:24:12] 983*2^1252802-1 is not prime. Res64: 41FD6F0B0EE7B3FC Time : 0.0 sec. user=mdettweiler [2013-09-09 23:35:24] 835*2^1252803-1 is not prime. Res64: 02AAE186C25259EF Time : 0.0 sec. user=mdettweiler [2013-09-09 23:35:25] 859*2^1252803-1 is not prime. Res64: 4F773F41B25F7390 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:41:19] 605*2^1252804-1 is not prime. Res64: 0190C96A3A0F4CF7 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:41:20] 677*2^1252804-1 is not prime. Res64: D5B8535B5F98F5C8 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:44:01] 723*2^1252804-1 is not prime. Res64: 864E085DF95B1D05 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:44:02] 749*2^1252804-1 is not prime. Res64: 31F6B9AA1A4AF837 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:44:11] 765*2^1252804-1 is not prime. Res64: 1E750C301338BD3B Time : 0.0 sec. user=mdettweiler [2013-09-09 23:44:15] 843*2^1252804-1 is not prime. Res64: 9A804D4075A9E977 Time : 0.0 sec. user=mdettweiler [2013-09-09 23:56:18] 869*2^1252804-1 is not prime. Res64: 3BF618647A54A55C Time : 0.0 sec. user=mdettweiler [2013-09-09 23:56:19] 887*2^1252804-1 is not prime. Res64: CD1485945D1968B2 Time : 0.0 sec.