user=mdettweiler [2015-07-18 00:05:10] 895*2^1403391-1 is not prime. Res64: 28A6E2BD99C7CE0A Time : 0.0 sec. user=mdettweiler [2015-07-18 00:05:12] 933*2^1403391-1 is not prime. Res64: 4A085318AE66D9FD Time : 0.0 sec. user=mdettweiler [2015-07-18 00:05:23] 719*2^1403392-1 is not prime. Res64: 19655879AC6CC062 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:05:24] 743*2^1403392-1 is not prime. Res64: 181358ABBEF19F15 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:05:59] 623*2^1403392-1 is not prime. Res64: 0DEC3B20D24752E3 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:06:00] 713*2^1403392-1 is not prime. Res64: 37E78CECA314DE42 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:06:42] 765*2^1403392-1 is not prime. Res64: B603CC8ADA50793C Time : 0.0 sec. user=mdettweiler [2015-07-18 00:06:43] 939*2^1403392-1 is not prime. Res64: 996F2F8C3DC817E7 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:24:18] 957*2^1403392-1 is not prime. Res64: C219A95CE77F1079 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:24:18] 615*2^1403393-1 is not prime. Res64: 0CD09379CE3743E1 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:24:28] 669*2^1403393-1 is not prime. Res64: 4DD8D543D66A4C71 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:24:29] 781*2^1403393-1 is not prime. Res64: 6EF8F53F10228E7F Time : 0.0 sec. user=mdettweiler [2015-07-18 00:24:55] 837*2^1403393-1 is not prime. Res64: 62564EA883619B4D Time : 0.0 sec. user=mdettweiler [2015-07-18 00:24:56] 847*2^1403393-1 is not prime. Res64: 042283778BD71C20 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:25:37] 897*2^1403393-1 is not prime. Res64: 391DC9E9594499E8 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:25:37] 945*2^1403393-1 is not prime. Res64: F1865DCC884D92D9 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:42:28] 969*2^1403393-1 is not prime. Res64: 366392916BD92A37 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:42:28] 671*2^1403394-1 is not prime. Res64: 980D0020430F5A6E Time : 0.0 sec. user=mdettweiler [2015-07-18 00:42:39] 755*2^1403394-1 is not prime. Res64: 71BC1AE09F450618 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:42:40] 833*2^1403394-1 is not prime. Res64: 8FEB5C3958C9C6B2 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:43:05] 851*2^1403394-1 is not prime. Res64: D7E95704DCE08DE5 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:43:05] 741*2^1403395-1 is not prime. Res64: F23639F9D0140C99 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:43:46] 789*2^1403395-1 is not prime. Res64: CFEFC5B00F6CE6C8 Time : 0.0 sec. user=mdettweiler [2015-07-18 00:43:46] 873*2^1403395-1 is not prime. Res64: D98B36631B5744CD Time : 0.0 sec. user=mdettweiler [2015-07-18 01:00:08] 909*2^1403395-1 is not prime. Res64: D18BED3065D5F1A4 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:00:09] 717*2^1403396-1 is not prime. Res64: 8A432D7AA91FDEE1 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:00:21] 725*2^1403396-1 is not prime. Res64: DA4540E4088CC801 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:00:22] 767*2^1403396-1 is not prime. Res64: D6552A68BBFD942D Time : 0.0 sec. user=mdettweiler [2015-07-18 01:00:45] 833*2^1403396-1 is not prime. Res64: 34C930EA6EE37189 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:00:46] 855*2^1403396-1 is not prime. Res64: 9234F61B79415194 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:01:27] 879*2^1403396-1 is not prime. Res64: F95CB31B08439BB5 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:01:28] 923*2^1403396-1 is not prime. Res64: B742326B55DF50D7 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:17:45] 615*2^1403397-1 is not prime. Res64: 41F9BEF8950CF697 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:17:45] 627*2^1403397-1 is not prime. Res64: 857004F913EB80E0 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:18:09] 669*2^1403397-1 is not prime. Res64: 87950142CF82A360 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:18:10] 817*2^1403397-1 is not prime. Res64: 2A4148C60A16C479 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:18:28] 829*2^1403397-1 is not prime. Res64: 1B6AD50D2BE60517 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:18:28] 859*2^1403397-1 is not prime. Res64: F4B3F4DD06D6717C Time : 0.0 sec. user=mdettweiler [2015-07-18 01:19:12] 861*2^1403397-1 is not prime. Res64: 2B1CB0D853035DCC Time : 0.0 sec. user=mdettweiler [2015-07-18 01:19:13] 635*2^1403398-1 is not prime. Res64: 8025B9E0A1C10013 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:35:28] 765*2^1403398-1 is not prime. Res64: 0DF4BBD9BF160B3E Time : 0.0 sec. user=mdettweiler [2015-07-18 01:35:29] 813*2^1403398-1 is not prime. Res64: 72F147D056DDD2B6 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:35:41] 857*2^1403398-1 is not prime. Res64: B67B3736240C758D Time : 0.0 sec. user=mdettweiler [2015-07-18 01:35:42] 887*2^1403398-1 is not prime. Res64: AD9883CE79114772 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:36:09] 945*2^1403398-1 is not prime. Res64: BD2B17B9118A864D Time : 0.0 sec. user=mdettweiler [2015-07-18 01:36:09] 975*2^1403398-1 is not prime. Res64: 70C2C46213BBB6EA Time : 0.0 sec. user=mdettweiler [2015-07-18 01:36:47] 885*2^1403399-1 is not prime. Res64: AFFD572E6264A324 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:36:47] 909*2^1403399-1 is not prime. Res64: 423D760144442467 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:53:11] 969*2^1403399-1 is not prime. Res64: 6FA16ECB580B6E60 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:53:11] 665*2^1403400-1 is not prime. Res64: 3C04C70244964CDC Time : 0.0 sec. user=mdettweiler [2015-07-18 01:53:21] 795*2^1403400-1 is not prime. Res64: 05BCE72A5588DB71 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:53:22] 839*2^1403400-1 is not prime. Res64: 7B868BEAB391A459 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:53:48] 857*2^1403400-1 is not prime. Res64: 54059A69D573A607 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:53:48] 923*2^1403400-1 is not prime. Res64: F366AEAA2F317AF1 Time : 0.0 sec. user=mdettweiler [2015-07-18 01:54:21] 615*2^1403401-1 is not prime. Res64: 0BA3F3BD11AC65FB Time : 0.0 sec. user=mdettweiler [2015-07-18 01:54:21] 639*2^1403401-1 is not prime. Res64: 82B72487FE3BC80D Time : 0.0 sec. user=mdettweiler [2015-07-18 02:10:44] 751*2^1403401-1 is not prime. Res64: DDB2E3E7C533DB2F Time : 0.0 sec. user=mdettweiler [2015-07-18 02:10:45] 855*2^1403401-1 is not prime. Res64: B12C8B0CF539C2C5 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:11:08] 861*2^1403401-1 is not prime. Res64: 17B9DF41A0422D02 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:11:08] 951*2^1403401-1 is not prime. Res64: DAC3F0F9C116B35E Time : 0.0 sec. user=mdettweiler [2015-07-18 02:11:21] 633*2^1403402-1 is not prime. Res64: D7B8649A8F143A77 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:11:21] 675*2^1403402-1 is not prime. Res64: F268FFB54964DD49 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:11:51] 705*2^1403402-1 is not prime. Res64: 7E2F7E710929D213 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:11:51] 797*2^1403402-1 is not prime. Res64: AF5CD1EA015BAE9D Time : 0.0 sec. user=mdettweiler [2015-07-18 02:28:37] 885*2^1403402-1 is not prime. Res64: 4A0F6A92D72C6235 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:28:38] 911*2^1403402-1 is not prime. Res64: 74627BD5E1E67CAD Time : 0.0 sec. user=mdettweiler [2015-07-18 02:28:58] 663*2^1403403-1 is not prime. Res64: 2D39B84F0D38B682 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:28:58] 775*2^1403403-1 is not prime. Res64: D14ABDC941D020B2 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:29:09] 801*2^1403403-1 is not prime. Res64: 785D0610E48877B9 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:29:09] 829*2^1403403-1 is not prime. Res64: 0509D519C5693863 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:29:36] 921*2^1403403-1 is not prime. Res64: 6B2FE7A78CE772F2 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:29:37] 945*2^1403403-1 is not prime. Res64: CDD4FAC90636A771 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:46:26] 985*2^1403403-1 is not prime. Res64: FD67F400967FABB1 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:46:27] 615*2^1403404-1 is not prime. Res64: 210A5A5CD095326B Time : 0.0 sec. user=mdettweiler [2015-07-18 02:46:36] 639*2^1403404-1 is not prime. Res64: A014A88B99F5A976 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:46:37] 657*2^1403404-1 is not prime. Res64: BE306615AB910A97 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:46:51] 825*2^1403404-1 is not prime. Res64: 3DBFD1987E1AACCB Time : 0.0 sec. user=mdettweiler [2015-07-18 02:46:52] 875*2^1403404-1 is not prime. Res64: DA398D13E573BFB8 Time : 0.0 sec. user=mdettweiler [2015-07-18 02:47:20] 675*2^1403405-1 is not prime. Res64: 0428413FF4BD431C Time : 0.0 sec. user=mdettweiler [2015-07-18 02:47:20] 727*2^1403405-1 is not prime. Res64: 9F6E95DB21A742E0 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:04:01] 735*2^1403405-1 is not prime. Res64: 94ABD10C34292F6E Time : 0.0 sec. user=mdettweiler [2015-07-18 03:04:03] 837*2^1403405-1 is not prime. Res64: B09D187D19BCB2CA Time : 0.0 sec. user=mdettweiler [2015-07-18 03:04:08] 847*2^1403405-1 is not prime. Res64: 5140FDDC5B10F066 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:04:09] 861*2^1403405-1 is not prime. Res64: A69F742D974B5E98 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:04:30] 871*2^1403405-1 is not prime. Res64: 8A818233C401CA16 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:04:32] 955*2^1403405-1 is not prime. Res64: 460FD949ACBC5E5B Time : 0.0 sec. user=mdettweiler [2015-07-18 03:04:58] 615*2^1403406-1 is not prime. Res64: 33BEE520E17A3BC4 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:04:59] 641*2^1403406-1 is not prime. Res64: 76F5FABAAF35F97C Time : 0.0 sec. user=mdettweiler [2015-07-18 03:22:09] 941*2^1403406-1 is not prime. Res64: F2D713DAD103107C Time : 0.0 sec. user=mdettweiler [2015-07-18 03:22:10] 945*2^1403406-1 is not prime. Res64: 4EC178A2E584E1A3 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:22:11] 693*2^1403406-1 is not prime. Res64: 30F194786C5DEDF3 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:22:11] 711*2^1403406-1 is not prime. Res64: 37DB45B33274311B Time : 0.0 sec. user=mdettweiler [2015-07-18 03:22:18] 843*2^1403406-1 is not prime. Res64: 434D7A07693F6608 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:22:19] 881*2^1403406-1 is not prime. Res64: FC512B1DD1BCDFB3 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:22:43] 983*2^1403406-1 is not prime. Res64: 1CB83D2DC1E62AAB Time : 0.0 sec. user=mdettweiler [2015-07-18 03:22:43] 759*2^1403407-1 is not prime. Res64: 028EC48D4485E5CE Time : 0.0 sec. user=mdettweiler [2015-07-18 03:39:45] 793*2^1403407-1 is not prime. Res64: E3AF909DDABE3295 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:39:45] 883*2^1403407-1 is not prime. Res64: 8A6E9DFEB27F7D9A Time : 0.0 sec. user=mdettweiler [2015-07-18 03:39:49] 657*2^1403408-1 is not prime. Res64: E09977C8E4B8CFF0 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:39:50] 663*2^1403408-1 is not prime. Res64: 9B62B29C48699F6D Time : 0.0 sec. user=mdettweiler [2015-07-18 03:39:52] 901*2^1403407-1 is not prime. Res64: 92175B6DD89883C5 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:39:53] 933*2^1403407-1 is not prime. Res64: 0F04B5C7574B2450 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:40:21] 665*2^1403408-1 is not prime. Res64: 66E1F3CC1DE392D0 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:40:22] 683*2^1403408-1 is not prime. Res64: D3793D258E77B09E Time : 0.0 sec. user=mdettweiler [2015-07-18 03:57:26] 927*2^1403408-1 is not prime. Res64: 777A2B1193CE67FA Time : 0.0 sec. user=mdettweiler [2015-07-18 03:57:27] 711*2^1403409-1 is not prime. Res64: 2782B6C51F9433DE Time : 0.0 sec. user=mdettweiler [2015-07-18 03:57:28] 811*2^1403409-1 is not prime. Res64: F18BAE6DD6D60D9E Time : 0.0 sec. user=mdettweiler [2015-07-18 03:57:28] 835*2^1403409-1 is not prime. Res64: 4D0771FF287207C1 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:57:29] 827*2^1403408-1 is not prime. Res64: EB856E99F847D1A4 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:57:29] 843*2^1403408-1 is not prime. Res64: BD00F00B5A1D30BE Time : 0.0 sec. user=mdettweiler [2015-07-18 03:58:01] 885*2^1403409-1 is not prime. Res64: 114E970D79EABA02 Time : 0.0 sec. user=mdettweiler [2015-07-18 03:58:01] 909*2^1403409-1 is not prime. Res64: D8E0019C271C6AA3 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:15:04] 825*2^1403410-1 is not prime. Res64: BAA892146AC66D09 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:15:04] 831*2^1403410-1 is not prime. Res64: 3EB082DE332016A5 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:15:07] 921*2^1403409-1 is not prime. Res64: 7F5E0C88FCABA691 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:15:07] 657*2^1403410-1 is not prime. Res64: 87CDB84596C19A30 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:15:16] 975*2^1403409-1 is not prime. Res64: C18E2223E3AE3979 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:15:17] 891*2^1403410-1 is not prime. Res64: 1C3CD3E72A19B331 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:15:35] 1001*2^1403410-1 is not prime. Res64: CE3ED1B7809A512B Time : 0.0 sec. user=mdettweiler [2015-07-18 04:15:35] 711*2^1403411-1 is not prime. Res64: 29BE7A089BE37C0F Time : 0.0 sec. user=mdettweiler [2015-07-18 04:33:07] 879*2^1403411-1 is not prime. Res64: 1386791608CD7E95 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:33:07] 913*2^1403411-1 is not prime. Res64: 75863431D8E8DBCD Time : 0.0 sec. user=mdettweiler [2015-07-18 04:33:14] 735*2^1403411-1 is not prime. Res64: 89EA68569CFD9A78 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:33:14] 783*2^1403411-1 is not prime. Res64: 61040D01EF4B717D Time : 0.0 sec. user=mdettweiler [2015-07-18 04:33:24] 949*2^1403411-1 is not prime. Res64: 40A7506F7FA3DDF5 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:33:24] 981*2^1403411-1 is not prime. Res64: 1D3231391479602F Time : 0.0 sec. user=mdettweiler [2015-07-18 04:33:40] 627*2^1403412-1 is not prime. Res64: DE04B72CDC0C3775 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:33:41] 737*2^1403412-1 is not prime. Res64: B959BB1A1867982A Time : 0.0 sec. user=mdettweiler [2015-07-18 04:51:03] 779*2^1403412-1 is not prime. Res64: 48B1D5EDBA58161A Time : 0.0 sec. user=mdettweiler [2015-07-18 04:51:03] 825*2^1403412-1 is not prime. Res64: 5A590F01B33EFB51 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:51:05] 607*2^1403413-1 is not prime. Res64: F171DE689139E0C2 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:51:05] 615*2^1403413-1 is not prime. Res64: 724FFC93835AF708 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:51:16] 741*2^1403413-1 is not prime. Res64: 971F78EDAEBB84FE Time : 0.0 sec. user=mdettweiler [2015-07-18 04:51:16] 747*2^1403413-1 is not prime. Res64: 90C86DA01D5EAE70 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:51:24] 771*2^1403413-1 is not prime. Res64: DBC0A71237A29670 Time : 0.0 sec. user=mdettweiler [2015-07-18 04:51:25] 805*2^1403413-1 is not prime. Res64: 5FD76CF3E9EF2D73 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:08:40] 847*2^1403413-1 is not prime. Res64: 5EC6868A9CC5F6AC Time : 0.0 sec. user=mdettweiler [2015-07-18 05:08:40] 635*2^1403414-1 is not prime. Res64: 42B40B1D297EBFD6 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:08:40] 623*2^1403414-1 is not prime. Res64: 45A3C7A6D12B8D5B Time : 0.0 sec. user=mdettweiler [2015-07-18 05:08:40] 651*2^1403414-1 is not prime. Res64: A96D8D49ECA6791A Time : 0.0 sec. user=mdettweiler [2015-07-18 05:08:52] 705*2^1403414-1 is not prime. Res64: DA81F59EBAE1CFD3 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:08:53] 785*2^1403414-1 is not prime. Res64: 9B915CF0C081AE8B Time : 0.0 sec. user=mdettweiler [2015-07-18 05:09:13] 827*2^1403414-1 is not prime. Res64: B913DAF1A0AD0273 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:09:13] 875*2^1403414-1 is not prime. Res64: ED84B802F170D091 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:26:19] 921*2^1403414-1 is not prime. Res64: 59691B61E231EC8F Time : 0.0 sec. user=mdettweiler [2015-07-18 05:26:19] 643*2^1403415-1 is prime! Time : 0.0 sec. user=mdettweiler [2015-07-18 05:26:26] 831*2^1403415-1 is not prime. Res64: 62B07506F0472603 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:26:27] 853*2^1403415-1 is not prime. Res64: B1D1FB9BF7E622B0 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:26:41] 943*2^1403415-1 is not prime. Res64: 0073FCEAF2C5C860 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:26:42] 961*2^1403415-1 is not prime. Res64: 67C66AF06DCF964D Time : 0.0 sec. user=mdettweiler [2015-07-18 05:27:04] 999*2^1403415-1 is not prime. Res64: F733945101C98FF7 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:27:04] 657*2^1403416-1 is not prime. Res64: FDEE3D758635A393 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:43:58] 735*2^1403416-1 is not prime. Res64: 4FF4A5767049183D Time : 0.0 sec. user=mdettweiler [2015-07-18 05:43:59] 855*2^1403416-1 is not prime. Res64: AA576847A89B0B27 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:44:02] 875*2^1403416-1 is not prime. Res64: DED0E2574F84784D Time : 0.0 sec. user=mdettweiler [2015-07-18 05:44:03] 651*2^1403417-1 is not prime. Res64: FB271ACDCE7FE522 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:44:19] 741*2^1403417-1 is not prime. Res64: AFC48EB147F03E1D Time : 0.0 sec. user=mdettweiler [2015-07-18 05:44:19] 847*2^1403417-1 is not prime. Res64: 14AC10290441D4A9 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:44:52] 939*2^1403417-1 is not prime. Res64: AB3A2122B33CECE5 Time : 0.0 sec. user=mdettweiler [2015-07-18 05:44:53] 967*2^1403417-1 is not prime. Res64: B77627EAD8991CD7 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:01:31] 605*2^1403418-1 is not prime. Res64: BA030434CA52A0ED Time : 0.0 sec. user=mdettweiler [2015-07-18 06:01:33] 611*2^1403418-1 is not prime. Res64: FE580902BA60B567 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:01:44] 657*2^1403418-1 is not prime. Res64: 7AE4352362AEE487 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:01:45] 707*2^1403418-1 is not prime. Res64: A3E7C2AF4F43CE34 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:01:53] 773*2^1403418-1 is not prime. Res64: 5A496AE5E39594E6 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:01:54] 861*2^1403418-1 is not prime. Res64: 2730A0E08AE9A118 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:02:32] 875*2^1403418-1 is not prime. Res64: 82733191243F1AC1 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:02:34] 885*2^1403418-1 is not prime. Res64: 7AC12E63551A1398 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:19:38] 891*2^1403418-1 is not prime. Res64: 8ED21D83734EE4FD Time : 0.0 sec. user=mdettweiler [2015-07-18 06:19:38] 927*2^1403418-1 is not prime. Res64: F974EC1C5330BB49 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:19:42] 751*2^1403419-1 is not prime. Res64: 8DF84E628816C50E Time : 0.0 sec. user=mdettweiler [2015-07-18 06:19:42] 771*2^1403419-1 is not prime. Res64: C47AB44560FC81EA Time : 0.0 sec. user=mdettweiler [2015-07-18 06:19:57] 619*2^1403419-1 is not prime. Res64: 36984E0939F58CB2 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:19:58] 741*2^1403419-1 is not prime. Res64: 35FC7416F8E33DAC Time : 0.0 sec. user=mdettweiler [2015-07-18 06:20:32] 829*2^1403419-1 is not prime. Res64: C9A33003E870FDB4 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:20:33] 861*2^1403419-1 is not prime. Res64: AAA026B56AFB5443 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:37:15] 889*2^1403419-1 is not prime. Res64: B44DEFD399CF13C4 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:37:16] 603*2^1403420-1 is not prime. Res64: 8B4C24A48174E000 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:37:17] 665*2^1403420-1 is not prime. Res64: 439AE9D37D007591 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:37:18] 707*2^1403420-1 is not prime. Res64: 77D3CE9025EEA6CE Time : 0.0 sec. user=mdettweiler [2015-07-18 06:37:39] 759*2^1403420-1 is not prime. Res64: BDDC1F04404470F9 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:37:40] 773*2^1403420-1 is not prime. Res64: 3CD046A49682674D Time : 0.0 sec. user=mdettweiler [2015-07-18 06:38:07] 825*2^1403420-1 is not prime. Res64: C01237B57455E8E3 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:38:08] 855*2^1403420-1 is not prime. Res64: 10FBE7902955DAF9 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:54:58] 893*2^1403420-1 is not prime. Res64: 3208B48A84F1F664 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:54:58] 609*2^1403421-1 is not prime. Res64: F0A1E650739A854D Time : 0.0 sec. user=mdettweiler [2015-07-18 06:55:02] 621*2^1403421-1 is not prime. Res64: DE3FD01B851EAAAB Time : 0.0 sec. user=mdettweiler [2015-07-18 06:55:02] 741*2^1403421-1 is not prime. Res64: 838800DE87241C4D Time : 0.0 sec. user=mdettweiler [2015-07-18 06:55:27] 835*2^1403421-1 is not prime. Res64: 311C52AED2C4A612 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:55:28] 979*2^1403421-1 is not prime. Res64: D5122793F7394A65 Time : 0.0 sec. user=mdettweiler [2015-07-18 06:55:50] 999*2^1403421-1 is not prime. Res64: C88E4B0F81756ACC Time : 0.0 sec. user=mdettweiler [2015-07-18 06:55:51] 651*2^1403422-1 is not prime. Res64: C040C899703C067E Time : 0.0 sec. user=mdettweiler [2015-07-18 07:12:34] 765*2^1403422-1 is not prime. Res64: 0896654BA0CF2407 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:12:35] 831*2^1403422-1 is not prime. Res64: 2C02B6AB00AC7E4D Time : 0.0 sec. user=mdettweiler [2015-07-18 07:12:40] 713*2^1403422-1 is not prime. Res64: 0CC6AF0A1A7FD64E Time : 0.0 sec. user=mdettweiler [2015-07-18 07:12:40] 731*2^1403422-1 is not prime. Res64: 86944A91C728CF01 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:13:11] 923*2^1403422-1 is not prime. Res64: B4DEB6BE3641C223 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:13:11] 603*2^1403423-1 is not prime. Res64: F5AF19D71893B9E9 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:13:40] 619*2^1403423-1 is not prime. Res64: 2743A9964D63AF5B Time : 0.0 sec. user=mdettweiler [2015-07-18 07:13:40] 643*2^1403423-1 is not prime. Res64: 4DCFD6C00CF47CDB Time : 0.0 sec. user=mdettweiler [2015-07-18 07:30:22] 831*2^1403423-1 is not prime. Res64: E925C05FFE0DAF7C Time : 0.0 sec. user=mdettweiler [2015-07-18 07:30:23] 871*2^1403423-1 is not prime. Res64: 03C09DC94CF33B91 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:30:24] 759*2^1403423-1 is not prime. Res64: 594348BC97F9A619 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:30:24] 813*2^1403423-1 is not prime. Res64: 35F3DEA05D5B1D66 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:30:54] 879*2^1403423-1 is not prime. Res64: 14F73BB2F242825D Time : 0.0 sec. user=mdettweiler [2015-07-18 07:30:55] 615*2^1403424-1 is not prime. Res64: EA4C3F098EEE5BB1 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:31:24] 627*2^1403424-1 is not prime. Res64: 0734292420690AC3 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:31:25] 639*2^1403424-1 is not prime. Res64: DF43810F5EFAF183 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:47:58] 663*2^1403424-1 is not prime. Res64: 12994BA4ED28DDB3 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:47:59] 809*2^1403424-1 is not prime. Res64: 8AC0A812A55A43E2 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:48:00] 887*2^1403424-1 is not prime. Res64: F5E654E3BC72CC97 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:48:01] 927*2^1403424-1 is not prime. Res64: 15BB0C34F0259411 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:48:29] 625*2^1403425-1 is not prime. Res64: 2CCC68598C4C5908 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:48:29] 691*2^1403425-1 is not prime. Res64: E2F8D0A4DE584AAB Time : 0.0 sec. user=mdettweiler [2015-07-18 07:48:57] 919*2^1403425-1 is not prime. Res64: E431868D286F9AF6 Time : 0.0 sec. user=mdettweiler [2015-07-18 07:48:58] 987*2^1403425-1 is not prime. Res64: 9146B3558E60F3F2 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:05:41] 735*2^1403426-1 is not prime. Res64: 02F5B434499D98D3 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:05:45] 813*2^1403426-1 is not prime. Res64: 4C721129DBA46A03 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:05:47] 617*2^1403426-1 is not prime. Res64: BC95FC949B369D61 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:05:51] 623*2^1403426-1 is not prime. Res64: CDC1A8AD9501BE2C Time : 0.0 sec. user=mdettweiler [2015-07-18 08:06:12] 893*2^1403426-1 is not prime. Res64: C04F6CF57E48964B Time : 0.0 sec. user=mdettweiler [2015-07-18 08:06:13] 923*2^1403426-1 is not prime. Res64: B46D2B518771C4C6 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:06:35] 987*2^1403426-1 is not prime. Res64: 7F5275C49C91EC13 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:06:35] 619*2^1403427-1 is not prime. Res64: 83923E8C631EECF2 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:24:12] 711*2^1403427-1 is not prime. Res64: 88A99D5661356FD6 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:24:12] 769*2^1403427-1 is not prime. Res64: 4D9D430501B0E01E Time : 0.0 sec. user=mdettweiler [2015-07-18 08:24:15] 819*2^1403427-1 is not prime. Res64: ECAD601C02974213 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:24:15] 901*2^1403427-1 is not prime. Res64: F535BB1189B8007D Time : 0.0 sec. user=mdettweiler [2015-07-18 08:24:17] 909*2^1403427-1 is not prime. Res64: B2FE2FBF04A4904B Time : 0.0 sec. user=mdettweiler [2015-07-18 08:24:18] 919*2^1403427-1 is not prime. Res64: 2BF0F3247D1872ED Time : 0.0 sec. user=mdettweiler [2015-07-18 08:24:24] 665*2^1403428-1 is not prime. Res64: 925804915C16890B Time : 0.0 sec. user=mdettweiler [2015-07-18 08:24:25] 707*2^1403428-1 is not prime. Res64: ADC295399A1B631D Time : 0.0 sec. user=mdettweiler [2015-07-18 08:41:48] 869*2^1403428-1 is not prime. Res64: F64D6986EA4E55A4 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:41:48] 957*2^1403428-1 is not prime. Res64: CF229D0A4C4C5A6D Time : 0.0 sec. user=mdettweiler [2015-07-18 08:41:52] 765*2^1403428-1 is not prime. Res64: 91D5E609719F525F Time : 0.0 sec. user=mdettweiler [2015-07-18 08:41:53] 863*2^1403428-1 is not prime. Res64: DF67FE7B7F2CB278 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:41:53] 655*2^1403429-1 is not prime. Res64: FC6603199093932A Time : 0.0 sec. user=mdettweiler [2015-07-18 08:41:54] 691*2^1403429-1 is not prime. Res64: 6904EF5CA8084D8B Time : 0.0 sec. user=mdettweiler [2015-07-18 08:42:04] 825*2^1403429-1 is not prime. Res64: 3053A03994B95E74 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:42:04] 861*2^1403429-1 is not prime. Res64: 2008F3D3B3BA9129 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:59:25] 717*2^1403430-1 is not prime. Res64: F2884F55B3266B32 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:59:25] 723*2^1403430-1 is not prime. Res64: 86BB8392819482D1 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:59:26] 747*2^1403430-1 is not prime. Res64: 8D0832112328D15D Time : 0.0 sec. user=mdettweiler [2015-07-18 08:59:26] 777*2^1403430-1 is not prime. Res64: 4FDDFED33FBEB958 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:59:26] 979*2^1403429-1 is not prime. Res64: E5FFFA50D8C75655 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:59:27] 627*2^1403430-1 is not prime. Res64: 27469FA705B6F2C7 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:59:37] 783*2^1403430-1 is not prime. Res64: 097CA01488743FF5 Time : 0.0 sec. user=mdettweiler [2015-07-18 08:59:38] 945*2^1403430-1 is not prime. Res64: 983EC6565DD207B8 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:17:06] 1001*2^1403430-1 is not prime. Res64: 43A5B162312176AF Time : 0.0 sec. user=mdettweiler [2015-07-18 09:17:06] 649*2^1403431-1 is not prime. Res64: CE1554BB0373FE2A Time : 0.0 sec. user=mdettweiler [2015-07-18 09:17:06] 685*2^1403431-1 is not prime. Res64: 92C8F8B2751CEB93 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:17:06] 715*2^1403431-1 is not prime. Res64: CB475A2BD7B9791F Time : 0.0 sec. user=mdettweiler [2015-07-18 09:17:08] 951*2^1403430-1 is not prime. Res64: 0AA6FC82E923897F Time : 0.0 sec. user=mdettweiler [2015-07-18 09:17:09] 965*2^1403430-1 is not prime. Res64: 47E409B57EB7924E Time : 0.0 sec. user=mdettweiler [2015-07-18 09:17:21] 901*2^1403431-1 is not prime. Res64: B30ECB6B56265B73 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:17:21] 973*2^1403431-1 is not prime. Res64: 317CE1B9DAA34943 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:34:40] 855*2^1403432-1 is not prime. Res64: A86A4211ED060BCA Time : 0.0 sec. user=mdettweiler [2015-07-18 09:34:41] 873*2^1403432-1 is not prime. Res64: A22BF3979883EA0D Time : 0.0 sec. user=mdettweiler [2015-07-18 09:34:42] 993*2^1403431-1 is not prime. Res64: D90455E995B13159 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:34:43] 617*2^1403432-1 is not prime. Res64: A269CE0DBB5F6BC3 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:34:46] 623*2^1403432-1 is not prime. Res64: ED8F5E82122E3E8E Time : 0.0 sec. user=mdettweiler [2015-07-18 09:34:47] 753*2^1403432-1 is not prime. Res64: 391961489CC0372D Time : 0.0 sec. user=mdettweiler [2015-07-18 09:35:05] 903*2^1403432-1 is not prime. Res64: 4C5BB45481B996D2 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:35:06] 945*2^1403432-1 is not prime. Res64: 3C2344A2FBAC90CC Time : 0.0 sec. user=mdettweiler [2015-07-18 09:52:20] 675*2^1403433-1 is not prime. Res64: 91666722FD93DBB3 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:52:20] 705*2^1403433-1 is not prime. Res64: 0F8D1A802599B95F Time : 0.0 sec. user=mdettweiler [2015-07-18 09:52:20] 807*2^1403433-1 is not prime. Res64: 10C39F203293E883 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:52:21] 985*2^1403433-1 is not prime. Res64: FDA39D1EC73B9B27 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:52:24] 735*2^1403433-1 is not prime. Res64: 4382D9173991CFCA Time : 0.0 sec. user=mdettweiler [2015-07-18 09:52:25] 795*2^1403433-1 is not prime. Res64: DD734885DC98F7BD Time : 0.0 sec. user=mdettweiler [2015-07-18 09:52:43] 999*2^1403433-1 is not prime. Res64: 41866EFD41B639B4 Time : 0.0 sec. user=mdettweiler [2015-07-18 09:52:44] 687*2^1403434-1 is not prime. Res64: 5EBC3D876D269457 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:10:09] 987*2^1403434-1 is not prime. Res64: 5AA528F53A17F8AE Time : 0.0 sec. user=mdettweiler [2015-07-18 10:10:10] 693*2^1403435-1 is not prime. Res64: 6EE4035CAF630E4E Time : 0.0 sec. user=mdettweiler [2015-07-18 10:10:35] 699*2^1403435-1 is not prime. Res64: 9FA9D6FA103E4AED Time : 0.0 sec. user=mdettweiler [2015-07-18 10:10:35] 799*2^1403435-1 is not prime. Res64: 486C07E9A2C72320 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:10:54] 895*2^1403435-1 is not prime. Res64: 5A7E496AE1ECFECB Time : 0.0 sec. user=mdettweiler [2015-07-18 10:10:54] 963*2^1403435-1 is not prime. Res64: 37233429EA88696D Time : 0.0 sec. user=mdettweiler [2015-07-18 10:11:07] 717*2^1403434-1 is not prime. Res64: 64EC23E7D35B589E Time : 0.0 sec. user=mdettweiler [2015-07-18 10:11:08] 815*2^1403434-1 is not prime. Res64: 407A59695B35D7B6 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:27:54] 773*2^1403436-1 is not prime. Res64: E656F942ECEA9579 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:27:54] 625*2^1403437-1 is not prime. Res64: 3ADB87257AE01055 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:28:23] 667*2^1403437-1 is not prime. Res64: 4C8CC8A0200B9FAF Time : 0.0 sec. user=mdettweiler [2015-07-18 10:28:24] 675*2^1403437-1 is not prime. Res64: 6CE74DA9E075399C Time : 0.0 sec. user=mdettweiler [2015-07-18 10:28:42] 699*2^1403437-1 is not prime. Res64: F2246831A83CCED0 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:28:42] 901*2^1403437-1 is not prime. Res64: 915A5E28DBF9DAF2 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:28:48] 939*2^1403437-1 is not prime. Res64: 577A01742E2A88CF Time : 0.0 sec. user=mdettweiler [2015-07-18 10:28:48] 627*2^1403438-1 is not prime. Res64: D9C8D6EF7D5B8292 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:45:30] 827*2^1403438-1 is not prime. Res64: FA39A08362A1E59C Time : 0.0 sec. user=mdettweiler [2015-07-18 10:45:30] 927*2^1403438-1 is not prime. Res64: 12FD61295D1A1209 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:45:58] 945*2^1403438-1 is not prime. Res64: EDF429B9F435E875 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:45:58] 951*2^1403438-1 is not prime. Res64: 6E452F2B834E9A20 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:46:20] 971*2^1403438-1 is not prime. Res64: 18238E2AC8F2D551 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:46:20] 709*2^1403439-1 is not prime. Res64: F0692AF3818E8B70 Time : 0.0 sec. user=mdettweiler [2015-07-18 10:46:23] 745*2^1403439-1 is not prime. Res64: A63BB727A5D86DDB Time : 0.0 sec. user=mdettweiler [2015-07-18 10:46:24] 789*2^1403439-1 is not prime. Res64: 30683B70A70C8D07 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:03:07] 829*2^1403439-1 is not prime. Res64: 0FA7C5C600996DDC Time : 0.0 sec. user=mdettweiler [2015-07-18 11:03:08] 909*2^1403439-1 is not prime. Res64: 8D72333B5F75A904 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:03:38] 951*2^1403439-1 is not prime. Res64: 718F1111848AD3BF Time : 0.0 sec. user=mdettweiler [2015-07-18 11:03:38] 969*2^1403439-1 is not prime. Res64: DDA401D28809B453 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:03:56] 623*2^1403440-1 is not prime. Res64: F739DF6D7431CD05 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:03:57] 635*2^1403440-1 is not prime. Res64: DD4F504278DE132F Time : 0.0 sec. user=mdettweiler [2015-07-18 11:03:58] 605*2^1403440-1 is not prime. Res64: 71B8FB744C509E53 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:03:59] 609*2^1403440-1 is not prime. Res64: 60D6FA9DF655DFC9 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:21:01] 645*2^1403440-1 is not prime. Res64: D6ABF7BA61CE9795 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:21:01] 785*2^1403440-1 is not prime. Res64: 116E22F062C077EC Time : 0.0 sec. user=mdettweiler [2015-07-18 11:21:15] 825*2^1403440-1 is not prime. Res64: 0F69E1B335DDC3BA Time : 0.0 sec. user=mdettweiler [2015-07-18 11:21:15] 843*2^1403440-1 is not prime. Res64: 511A5B667E120694 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:21:37] 855*2^1403440-1 is not prime. Res64: F370EC4EC95BC734 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:21:37] 917*2^1403440-1 is not prime. Res64: 325ECA4470B6C805 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:21:43] 939*2^1403440-1 is not prime. Res64: 2F9EA1E18E1410F5 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:21:44] 957*2^1403440-1 is not prime. Res64: BF61463B0FDEB132 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:38:50] 989*2^1403440-1 is not prime. Res64: 0665A5D08D44FB95 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:38:50] 649*2^1403441-1 is not prime. Res64: 0A6E1D697F4BE706 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:38:52] 657*2^1403441-1 is not prime. Res64: D80388680E62423C Time : 0.0 sec. user=mdettweiler [2015-07-18 11:38:52] 685*2^1403441-1 is not prime. Res64: AE4FB673B3CB0546 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:39:18] 691*2^1403441-1 is not prime. Res64: 69A029B1E2C06D07 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:39:18] 865*2^1403441-1 is not prime. Res64: AF9A15F3857E7304 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:39:28] 937*2^1403441-1 is not prime. Res64: 7E47A42E6F7E7AA4 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:39:29] 949*2^1403441-1 is not prime. Res64: ED1213911C36C1B4 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:56:22] 765*2^1403442-1 is not prime. Res64: EC37E4B94C4F3176 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:56:22] 941*2^1403442-1 is not prime. Res64: 3619CEF89D22171A Time : 0.0 sec. user=mdettweiler [2015-07-18 11:56:24] 627*2^1403442-1 is not prime. Res64: 8B90330017B2AF05 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:56:25] 695*2^1403442-1 is not prime. Res64: D9019870F6B048C8 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:56:54] 619*2^1403443-1 is not prime. Res64: A4405101EA2CF3CF Time : 0.0 sec. user=mdettweiler [2015-07-18 11:56:55] 625*2^1403443-1 is not prime. Res64: 6F298F3DDBD3BE67 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:57:06] 735*2^1403443-1 is not prime. Res64: 4D2866AED142E7D7 Time : 0.0 sec. user=mdettweiler [2015-07-18 11:57:06] 783*2^1403443-1 is not prime. Res64: 2441759594FC8B78 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:13:56] 849*2^1403443-1 is not prime. Res64: 479748CF3D8A6634 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:13:56] 883*2^1403443-1 is not prime. Res64: 642984AE52BDA3E3 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:13:56] 861*2^1403443-1 is not prime. Res64: C4C4D1DE18EA79C5 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:13:56] 635*2^1403444-1 is not prime. Res64: 3A3A67A9E57FB0DD Time : 0.0 sec. user=mdettweiler [2015-07-18 12:14:28] 753*2^1403444-1 is not prime. Res64: 171D798D270BABF3 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:14:28] 789*2^1403444-1 is not prime. Res64: 9CF8EBE853252159 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:14:40] 795*2^1403444-1 is not prime. Res64: 1CC89DE5B9700CD8 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:14:40] 655*2^1403445-1 is not prime. Res64: 55A7BE02E6B467C1 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:31:32] 709*2^1403445-1 is not prime. Res64: 34E221AC2A473E09 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:31:32] 741*2^1403445-1 is not prime. Res64: 808EC9EFEED73810 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:31:36] 787*2^1403445-1 is not prime. Res64: FC1EEAC8E6153310 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:31:37] 817*2^1403445-1 is not prime. Res64: 6CC3DF3859AA30D3 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:32:09] 847*2^1403445-1 is not prime. Res64: 85B767510B17843D Time : 0.0 sec. user=mdettweiler [2015-07-18 12:32:10] 895*2^1403445-1 is not prime. Res64: 7568608220BBF5FF Time : 0.0 sec. user=mdettweiler [2015-07-18 12:32:18] 915*2^1403445-1 is not prime. Res64: 3BF750ED409BDD95 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:32:19] 955*2^1403445-1 is not prime. Res64: 709B9E0E827A2A7E Time : 0.0 sec. user=mdettweiler [2015-07-18 12:49:08] 999*2^1403445-1 is not prime. Res64: 23AED44280C6E7F7 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:49:09] 611*2^1403446-1 is not prime. Res64: 17CC748C7CBF9E08 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:49:17] 647*2^1403446-1 is not prime. Res64: FCA0E4C5EC4A7695 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:49:18] 741*2^1403446-1 is not prime. Res64: 35B393E7570DC3B5 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:49:44] 825*2^1403446-1 is not prime. Res64: E53DCB6FFE41B20A Time : 0.0 sec. user=mdettweiler [2015-07-18 12:49:44] 855*2^1403446-1 is not prime. Res64: 067A826BB8CC9FCF Time : 0.0 sec. user=mdettweiler [2015-07-18 12:50:02] 897*2^1403446-1 is not prime. Res64: 1789B6D0F30BBC30 Time : 0.0 sec. user=mdettweiler [2015-07-18 12:50:02] 923*2^1403446-1 is not prime. Res64: AE79EC67D3A076A5 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:06:41] 987*2^1403446-1 is not prime. Res64: 5FF7CB0DC611D7D4 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:06:41] 615*2^1403447-1 is not prime. Res64: AD34C8EF2BEE6A78 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:07:00] 619*2^1403447-1 is not prime. Res64: 842DCA672061DE85 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:07:00] 621*2^1403447-1 is not prime. Res64: 7D1CDC13EDC010A8 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:07:14] 675*2^1403447-1 is not prime. Res64: 3A0FF598B676B560 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:07:14] 805*2^1403447-1 is not prime. Res64: E6E708E9AC740868 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:07:35] 831*2^1403447-1 is not prime. Res64: AC658B6A7CF5EF01 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:07:35] 843*2^1403447-1 is not prime. Res64: C0D5F89ABDA00F6E Time : 0.0 sec. user=mdettweiler [2015-07-18 13:24:27] 699*2^1403448-1 is not prime. Res64: 2017BD8000786BDF Time : 0.0 sec. user=mdettweiler [2015-07-18 13:24:27] 735*2^1403448-1 is not prime. Res64: 5373B3ECCE304A78 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:24:33] 777*2^1403448-1 is not prime. Res64: B79844F45A4BACEC Time : 0.0 sec. user=mdettweiler [2015-07-18 13:24:33] 797*2^1403448-1 is not prime. Res64: 1145A8E92984A366 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:24:48] 843*2^1403448-1 is not prime. Res64: D7FB6B2ACDFFA777 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:24:48] 845*2^1403448-1 is not prime. Res64: 5410E333FBA27F5A Time : 0.0 sec. user=mdettweiler [2015-07-18 13:25:19] 945*2^1403448-1 is not prime. Res64: DDE1BE7BFDB6B8CF Time : 0.0 sec. user=mdettweiler [2015-07-18 13:25:20] 829*2^1403449-1 is not prime. Res64: D35758C7090EAD90 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:42:03] 919*2^1403449-1 is not prime. Res64: 63214278E65BDDE8 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:42:03] 951*2^1403449-1 is not prime. Res64: A256EFDCC6E9EEEF Time : 0.0 sec. user=mdettweiler [2015-07-18 13:42:08] 979*2^1403449-1 is not prime. Res64: B97EE583DEE4E5A1 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:42:08] 603*2^1403450-1 is not prime. Res64: 58DF5197DB783D60 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:42:21] 711*2^1403450-1 is not prime. Res64: B479F5381E691AAE Time : 0.0 sec. user=mdettweiler [2015-07-18 13:42:21] 785*2^1403450-1 is not prime. Res64: C2D9655A87C6AA38 Time : 0.0 sec. user=mdettweiler [2015-07-18 13:42:55] 791*2^1403450-1 is not prime. Res64: 2F5A4E9FC5BA104F Time : 0.0 sec. user=mdettweiler [2015-07-18 13:42:55] 833*2^1403450-1 is not prime. Res64: CA2F09B8C0D5329F Time : 0.0 sec. user=mdettweiler [2015-07-18 14:00:09] 995*2^1403450-1 is not prime. Res64: 70621E9C72803F33 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:00:09] 911*2^1403450-1 is not prime. Res64: A995CF4B44103290 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:00:09] 609*2^1403451-1 is not prime. Res64: E7BA8026332EF627 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:00:10] 927*2^1403450-1 is not prime. Res64: F5225C34F3CE8965 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:00:31] 643*2^1403451-1 is not prime. Res64: 9EDA6F4A94B120C9 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:00:32] 649*2^1403451-1 is not prime. Res64: 19DF19EA44F581DB Time : 0.0 sec. user=mdettweiler [2015-07-18 14:00:54] 735*2^1403451-1 is not prime. Res64: D82CA7E06B305A38 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:00:55] 753*2^1403451-1 is not prime. Res64: D9C0E5614C542800 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:17:48] 795*2^1403451-1 is not prime. Res64: C8A9B4DF483AA02B Time : 0.0 sec. user=mdettweiler [2015-07-18 14:17:48] 895*2^1403451-1 is not prime. Res64: EACD75963DDA4679 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:17:49] 735*2^1403452-1 is not prime. Res64: 1787544EE06200CF Time : 0.0 sec. user=mdettweiler [2015-07-18 14:17:49] 743*2^1403452-1 is not prime. Res64: 141974470C819E51 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:18:16] 785*2^1403452-1 is not prime. Res64: BCCEE8630F88DD7B Time : 0.0 sec. user=mdettweiler [2015-07-18 14:18:17] 903*2^1403452-1 is not prime. Res64: 0A917993561C54AF Time : 0.0 sec. user=mdettweiler [2015-07-18 14:18:26] 627*2^1403453-1 is not prime. Res64: 7EF8CBB604E1D132 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:18:27] 651*2^1403453-1 is not prime. Res64: 280A9F9EEDDCA9DB Time : 0.0 sec. user=mdettweiler [2015-07-18 14:35:27] 727*2^1403453-1 is not prime. Res64: 35D181BCEB9675E4 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:35:27] 795*2^1403453-1 is not prime. Res64: FFD722DB24530889 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:35:29] 861*2^1403453-1 is not prime. Res64: 9DFABE92426C7DA2 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:35:30] 981*2^1403453-1 is not prime. Res64: 93F3F6F8A361AA92 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:35:55] 795*2^1403454-1 is not prime. Res64: F10E0664AB768137 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:35:55] 945*2^1403454-1 is not prime. Res64: 8827D53CD90DBA7E Time : 0.0 sec. user=mdettweiler [2015-07-18 14:36:01] 965*2^1403454-1 is not prime. Res64: 48AEBE444BFB01AB Time : 0.0 sec. user=mdettweiler [2015-07-18 14:36:02] 645*2^1403455-1 is not prime. Res64: 7D1570A298BB2152 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:53:11] 705*2^1403455-1 is not prime. Res64: F5AEC96415C2FF06 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:53:11] 793*2^1403455-1 is not prime. Res64: 97B50983C4B65129 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:53:19] 635*2^1403456-1 is not prime. Res64: DDF73388BEC433E9 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:53:20] 659*2^1403456-1 is not prime. Res64: E5E44D461867CAD6 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:53:30] 699*2^1403456-1 is not prime. Res64: 66744DF8F658EB74 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:53:31] 759*2^1403456-1 is not prime. Res64: F0953FA10995F863 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:53:42] 777*2^1403456-1 is not prime. Res64: 19B4B700BFB3CB26 Time : 0.0 sec. user=mdettweiler [2015-07-18 14:53:42] 857*2^1403456-1 is not prime. Res64: 59E25493A257DB58 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:10:50] 873*2^1403456-1 is not prime. Res64: 2357706053B250EE Time : 0.0 sec. user=mdettweiler [2015-07-18 15:10:51] 917*2^1403456-1 is not prime. Res64: 6EB1FDAD14A83672 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:10:54] 923*2^1403456-1 is not prime. Res64: 989AAA09CF384F91 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:10:55] 935*2^1403456-1 is not prime. Res64: BAB05510A05E2B1E Time : 0.0 sec. user=mdettweiler [2015-07-18 15:11:09] 667*2^1403457-1 is not prime. Res64: A27D2FB68A61B660 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:11:10] 831*2^1403457-1 is not prime. Res64: 0F0CFF288A6DD339 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:11:25] 949*2^1403457-1 is not prime. Res64: 43EE8604759C66F3 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:11:26] 997*2^1403457-1 is not prime. Res64: 0172604E406DF113 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:28:30] 827*2^1403458-1 is not prime. Res64: 5B20AA8E4A47F0F9 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:28:31] 845*2^1403458-1 is not prime. Res64: 17420B5439C0EF06 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:28:38] 645*2^1403458-1 is not prime. Res64: D187F57B70B53A8A Time : 0.0 sec. user=mdettweiler [2015-07-18 15:28:38] 681*2^1403458-1 is not prime. Res64: E404B4D1FA51E894 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:28:51] 987*2^1403458-1 is not prime. Res64: 2F7BEC0709D712CF Time : 0.0 sec. user=mdettweiler [2015-07-18 15:28:52] 993*2^1403458-1 is not prime. Res64: 0587F5E5AA20769A Time : 0.0 sec. user=mdettweiler [2015-07-18 15:29:06] 669*2^1403459-1 is not prime. Res64: 7AFAB9353952F56D Time : 0.0 sec. user=mdettweiler [2015-07-18 15:29:06] 711*2^1403459-1 is not prime. Res64: BB355B797E7DB66D Time : 0.0 sec. user=mdettweiler [2015-07-18 15:46:15] 741*2^1403459-1 is not prime. Res64: B689EBBCD1959C50 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:46:15] 775*2^1403459-1 is not prime. Res64: 85D91262066CD673 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:46:17] 859*2^1403459-1 is not prime. Res64: 3F72BD34CFEF8CF8 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:46:17] 889*2^1403459-1 is not prime. Res64: B1866F8A6862FCCC Time : 0.0 sec. user=mdettweiler [2015-07-18 15:46:28] 939*2^1403459-1 is not prime. Res64: B79AD72B70D7FAEC Time : 0.0 sec. user=mdettweiler [2015-07-18 15:46:29] 993*2^1403459-1 is not prime. Res64: B89991D8E7C7DDD4 Time : 0.0 sec. user=mdettweiler [2015-07-18 15:46:46] 627*2^1403460-1 is not prime. Res64: 34B81439B75452BA Time : 0.0 sec. user=mdettweiler [2015-07-18 15:46:46] 675*2^1403460-1 is not prime. Res64: A62659D148C9BDDF Time : 0.0 sec. user=mdettweiler [2015-07-18 16:03:50] 867*2^1403460-1 is not prime. Res64: AC8EFE82F42A293A Time : 0.0 sec. user=mdettweiler [2015-07-18 16:03:51] 893*2^1403460-1 is not prime. Res64: DD0F22F706F43255 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:03:55] 797*2^1403460-1 is not prime. Res64: E39F41E8DE62FEA6 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:03:56] 863*2^1403460-1 is not prime. Res64: D2B8C5E393AB332D Time : 0.0 sec. user=mdettweiler [2015-07-18 16:04:08] 899*2^1403460-1 is not prime. Res64: 71CA08DEAFEF2AC5 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:04:10] 933*2^1403460-1 is not prime. Res64: 5D4BA768B834C848 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:04:23] 959*2^1403460-1 is not prime. Res64: 050AF644487D49BD Time : 0.0 sec. user=mdettweiler [2015-07-18 16:04:28] 987*2^1403460-1 is not prime. Res64: C2FB0D4C82E5BC22 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:22:06] 639*2^1403461-1 is not prime. Res64: 82B44217F41A8D83 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:22:07] 999*2^1403460-1 is not prime. Res64: 18E64CC18C0F44CA Time : 0.0 sec. user=mdettweiler [2015-07-18 16:22:07] 777*2^1403461-1 is not prime. Res64: F1DE67CA97CD85B2 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:22:07] 957*2^1403461-1 is not prime. Res64: 2C39469FFABFECA8 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:22:07] 769*2^1403461-1 is not prime. Res64: 7F80EEF44AD07C84 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:22:07] 945*2^1403461-1 is not prime. Res64: EBBF42BA0F209489 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:22:09] 967*2^1403461-1 is not prime. Res64: C3F74408E7A8FB7A Time : 0.0 sec. user=mdettweiler [2015-07-18 16:22:10] 671*2^1403462-1 is not prime. Res64: 124EA83C817E24E5 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:39:38] 893*2^1403462-1 is not prime. Res64: F14EB8D94B8A203F Time : 0.0 sec. user=mdettweiler [2015-07-18 16:39:38] 903*2^1403462-1 is not prime. Res64: 72A5675A727EC318 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:39:41] 935*2^1403462-1 is not prime. Res64: 04EA32E81840D74F Time : 0.0 sec. user=mdettweiler [2015-07-18 16:39:42] 669*2^1403463-1 is not prime. Res64: D0E5D87D3CE4460A Time : 0.0 sec. user=mdettweiler [2015-07-18 16:39:47] 723*2^1403463-1 is not prime. Res64: 0669168D3E616CB8 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:39:48] 739*2^1403463-1 is not prime. Res64: 36FB522CFD48F2B1 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:39:53] 743*2^1403462-1 is not prime. Res64: F37AFFFE59481C68 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:39:54] 825*2^1403462-1 is not prime. Res64: 3ECA301E7A574CB0 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:57:21] 969*2^1403463-1 is not prime. Res64: A562C6A445F1ABF6 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:57:22] 605*2^1403464-1 is not prime. Res64: D35B21E5DE56A641 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:57:30] 989*2^1403464-1 is not prime. Res64: DC984BAF7B39B5C6 Time : 0.0 sec. user=mdettweiler [2015-07-18 16:57:30] 993*2^1403464-1 is not prime. Res64: 1655CE5DE45E4E0E Time : 0.0 sec. user=mdettweiler [2015-07-18 16:57:32] 697*2^1403465-1 is not prime. Res64: 05B903EF6CEB282C Time : 0.0 sec. user=mdettweiler [2015-07-18 16:57:32] 775*2^1403465-1 is not prime. Res64: 8A9B74EF144CB06C Time : 0.0 sec. user=mdettweiler [2015-07-18 16:57:36] 665*2^1403464-1 is not prime. Res64: 171B4F19F277EF3F Time : 0.0 sec. user=mdettweiler [2015-07-18 16:57:36] 915*2^1403464-1 is not prime. Res64: C77E4FEFE5BEEBF7 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:14:53] 865*2^1403465-1 is not prime. Res64: C5062E25A9A8429D Time : 0.0 sec. user=mdettweiler [2015-07-18 17:14:54] 925*2^1403465-1 is not prime. Res64: 0F8322EDAB8BB590 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:15:02] 653*2^1403466-1 is not prime. Res64: 87C4A9E5D8B527CA Time : 0.0 sec. user=mdettweiler [2015-07-18 17:15:03] 683*2^1403466-1 is not prime. Res64: 1F000F2974CFA891 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:15:12] 955*2^1403465-1 is not prime. Res64: DC8E64F387F74DFB Time : 0.0 sec. user=mdettweiler [2015-07-18 17:15:12] 981*2^1403465-1 is not prime. Res64: 25FFD34C0EB16116 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:15:12] 723*2^1403466-1 is not prime. Res64: 21AE5FEBC3C11250 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:15:12] 783*2^1403466-1 is not prime. Res64: 3540220575176FD7 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:32:29] 861*2^1403466-1 is not prime. Res64: 00FBE8052BE8CD1D Time : 0.0 sec. user=mdettweiler [2015-07-18 17:32:29] 873*2^1403466-1 is not prime. Res64: 4135AC4B82000537 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:32:44] 891*2^1403466-1 is not prime. Res64: 095EF94EBA06D481 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:32:44] 903*2^1403466-1 is not prime. Res64: 4255D38DADF603E4 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:32:48] 933*2^1403466-1 is not prime. Res64: E2FAE8088930A600 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:32:48] 945*2^1403466-1 is not prime. Res64: A7177FDB983211CE Time : 0.0 sec. user=mdettweiler [2015-07-18 17:32:52] 601*2^1403467-1 is not prime. Res64: 8F9DEECDEF77CDB8 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:32:53] 633*2^1403467-1 is not prime. Res64: AC5253721E7133D9 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:50:04] 651*2^1403467-1 is not prime. Res64: 673703A4ADED7E5E Time : 0.0 sec. user=mdettweiler [2015-07-18 17:50:04] 735*2^1403467-1 is not prime. Res64: 2B4E2491A1114441 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:50:24] 871*2^1403467-1 is not prime. Res64: E63C5FCC0031DE84 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:50:24] 951*2^1403467-1 is not prime. Res64: 077ED3CAB5C8D408 Time : 0.0 sec. user=mdettweiler [2015-07-18 17:50:26] 765*2^1403467-1 is not prime. Res64: 21B9429747513FEB Time : 0.0 sec. user=mdettweiler [2015-07-18 17:50:26] 769*2^1403467-1 is not prime. Res64: CE99D9AAFADFDF1E Time : 0.0 sec. user=mdettweiler [2015-07-18 17:50:41] 819*2^1403467-1 is not prime. Res64: C59CDFD4D88C60EB Time : 0.0 sec. user=mdettweiler [2015-07-18 17:50:42] 835*2^1403467-1 is not prime. Res64: 196BB517DB005645 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:07:47] 961*2^1403467-1 is not prime. Res64: 0F928E121C3B13E5 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:07:48] 979*2^1403467-1 is not prime. Res64: CC0EE472C0F7BA75 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:07:59] 687*2^1403468-1 is not prime. Res64: 41BA6C44100054B1 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:08:00] 749*2^1403468-1 is not prime. Res64: 80301F0220241D4B Time : 0.0 sec. user=mdettweiler [2015-07-18 18:08:13] 755*2^1403468-1 is not prime. Res64: 081A9728C6192181 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:08:13] 773*2^1403468-1 is not prime. Res64: 88ED430BA40CA9DB Time : 0.0 sec. user=mdettweiler [2015-07-18 18:08:17] 797*2^1403468-1 is not prime. Res64: E2F1583CF333E7FE Time : 0.0 sec. user=mdettweiler [2015-07-18 18:08:18] 803*2^1403468-1 is not prime. Res64: AD76D2614B3562F8 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:25:36] 843*2^1403468-1 is not prime. Res64: 48B609B94CD241C4 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:25:36] 893*2^1403468-1 is not prime. Res64: 44B9E796D00B521E Time : 0.0 sec. user=mdettweiler [2015-07-18 18:25:40] 711*2^1403469-1 is not prime. Res64: AAFC25C4EB65A12F Time : 0.0 sec. user=mdettweiler [2015-07-18 18:25:40] 727*2^1403469-1 is not prime. Res64: 35F0BE1A1FB600CD Time : 0.0 sec. user=mdettweiler [2015-07-18 18:25:48] 751*2^1403469-1 is not prime. Res64: 102E82C3AE547F88 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:25:49] 765*2^1403469-1 is not prime. Res64: 51986D8E9EFB5799 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:26:03] 811*2^1403469-1 is not prime. Res64: D9367C9F9AB288A2 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:26:03] 895*2^1403469-1 is not prime. Res64: 2641F569DEF969F7 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:43:20] 665*2^1403470-1 is not prime. Res64: 85D0EE6C54915D83 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:43:20] 741*2^1403470-1 is not prime. Res64: 05D4F54DE81D50EA Time : 0.0 sec. user=mdettweiler [2015-07-18 18:43:21] 975*2^1403469-1 is not prime. Res64: 249B7D5735F8CAC7 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:43:21] 663*2^1403470-1 is not prime. Res64: C3D10A14BED534AA Time : 0.0 sec. user=mdettweiler [2015-07-18 18:43:34] 755*2^1403470-1 is not prime. Res64: 03139BD20168D55B Time : 0.0 sec. user=mdettweiler [2015-07-18 18:43:34] 833*2^1403470-1 is not prime. Res64: AF35C7C468155FB4 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:43:43] 915*2^1403470-1 is not prime. Res64: F5930933FD2BE3C0 Time : 0.0 sec. user=mdettweiler [2015-07-18 18:43:43] 933*2^1403470-1 is not prime. Res64: A32E7AC0DC5DB82B Time : 0.0 sec. user=mdettweiler [2015-07-18 19:01:46] 855*2^1403471-1 is not prime. Res64: 87BE89AC9BB69739 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:01:47] 885*2^1403471-1 is not prime. Res64: 7322511D409E6F3B Time : 0.0 sec. user=mdettweiler [2015-07-18 19:02:01] 621*2^1403471-1 is not prime. Res64: 6FD412BD0CCB0594 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:02:02] 673*2^1403471-1 is not prime. Res64: 1A353DBCE6FE4B76 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:02:10] 693*2^1403472-1 is not prime. Res64: 32BAC4D63D3192E4 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:02:10] 759*2^1403472-1 is not prime. Res64: F44E866CF2D48514 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:02:21] 979*2^1403471-1 is not prime. Res64: 54C672215D3C3763 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:02:22] 605*2^1403472-1 is not prime. Res64: 699DDAC2D9253A73 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:20:46] 893*2^1403472-1 is not prime. Res64: 5F650C8CFC5D2368 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:20:46] 729*2^1403473-1 is not prime. Res64: B9B8332D7DB0D85A Time : 0.0 sec. user=mdettweiler [2015-07-18 19:20:46] 609*2^1403473-1 is not prime. Res64: 8F345086298E6C52 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:20:47] 877*2^1403473-1 is not prime. Res64: F8C8313897B3BCA3 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:20:58] 623*2^1403474-1 is not prime. Res64: 7B728B28CB5796DB Time : 0.0 sec. user=mdettweiler [2015-07-18 19:20:58] 657*2^1403474-1 is not prime. Res64: A8A15100D44FC196 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:21:03] 901*2^1403473-1 is not prime. Res64: 3E2843BB5680977E Time : 0.0 sec. user=mdettweiler [2015-07-18 19:21:04] 615*2^1403474-1 is not prime. Res64: 8D539E274FF21D03 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:38:35] 797*2^1403474-1 is not prime. Res64: EED0D4BAD713C82A Time : 0.0 sec. user=mdettweiler [2015-07-18 19:38:35] 665*2^1403474-1 is not prime. Res64: A5BADCC3AD69D1E5 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:38:36] 995*2^1403474-1 is not prime. Res64: F5A0CBA3FA66FE1F Time : 0.0 sec. user=mdettweiler [2015-07-18 19:38:36] 701*2^1403474-1 is not prime. Res64: 181EDD4A24F42EC2 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:38:39] 677*2^1403474-1 is not prime. Res64: FD9C6358E80A2C63 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:38:40] 731*2^1403474-1 is not prime. Res64: 071064CBA457576C Time : 0.0 sec. user=mdettweiler [2015-07-18 19:38:42] 625*2^1403475-1 is not prime. Res64: 20F212D258A688CD Time : 0.0 sec. user=mdettweiler [2015-07-18 19:38:42] 685*2^1403475-1 is not prime. Res64: C7D41B6A48858188 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:56:13] 947*2^1403476-1 is not prime. Res64: A3EA2E0C19B29DFD Time : 0.0 sec. user=mdettweiler [2015-07-18 19:56:13] 969*2^1403476-1 is not prime. Res64: 39E36DFE87CE45EA Time : 0.0 sec. user=mdettweiler [2015-07-18 19:56:13] 819*2^1403475-1 is not prime. Res64: D10EF17826D1138A Time : 0.0 sec. user=mdettweiler [2015-07-18 19:56:14] 849*2^1403475-1 is not prime. Res64: 83608CD53CA71434 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:56:14] 691*2^1403475-1 is not prime. Res64: 4D79D9B690451EFB Time : 0.0 sec. user=mdettweiler [2015-07-18 19:56:15] 783*2^1403475-1 is not prime. Res64: 62BE11CE899738C7 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:56:19] 617*2^1403476-1 is not prime. Res64: 644B4912DC1522A3 Time : 0.0 sec. user=mdettweiler [2015-07-18 19:56:19] 869*2^1403476-1 is not prime. Res64: 3D5E34F4CF0C179E Time : 0.0 sec. user=mdettweiler [2015-07-18 20:13:52] 829*2^1403477-1 is not prime. Res64: 881C18C4A1B4547D Time : 0.0 sec. user=mdettweiler [2015-07-18 20:13:52] 859*2^1403477-1 is not prime. Res64: FFA8811B52A9B552 Time : 0.0 sec. user=mdettweiler [2015-07-18 20:13:53] 601*2^1403477-1 is not prime. Res64: 79D87FFB2302A6DD Time : 0.0 sec. user=mdettweiler [2015-07-18 20:13:53] 645*2^1403477-1 is not prime. Res64: F85D40CC0F3D34AF Time : 0.0 sec. user=mdettweiler [2015-07-18 20:13:56] 949*2^1403477-1 is not prime. Res64: DCCBF151F46BBDAA Time : 0.0 sec. user=mdettweiler [2015-07-18 20:13:57] 627*2^1403478-1 is not prime. Res64: 65675A4EE410C23B Time : 0.0 sec. user=mdettweiler [2015-07-18 20:14:04] 663*2^1403478-1 is not prime. Res64: 07CCCF30252F231F Time : 0.0 sec. user=mdettweiler [2015-07-18 20:14:04] 825*2^1403478-1 is not prime. Res64: 902513E428E1872D Time : 0.0 sec. user=mdettweiler [2015-07-18 20:31:26] 705*2^1403479-1 is not prime. Res64: CFD8F15325BE4BD4 Time : 0.0 sec. user=mdettweiler [2015-07-18 20:31:26] 855*2^1403479-1 is not prime. Res64: 3F5475E1FEBD2870 Time : 0.0 sec. user=mdettweiler [2015-07-18 20:31:28] 609*2^1403479-1 is not prime. Res64: D3D192A606ED89B5 Time : 0.0 sec. user=mdettweiler [2015-07-18 20:31:28] 639*2^1403479-1 is not prime. Res64: 2B5020D08913BA68 Time : 0.0 sec. user=mdettweiler [2015-07-18 20:31:31] 973*2^1403479-1 is not prime. Res64: F25F731EACE84376 Time : 0.0 sec. user=mdettweiler [2015-07-18 20:31:31] 615*2^1403480-1 is not prime. Res64: FFFD73BE0A84294B Time : 0.0 sec. user=mdettweiler [2015-07-18 20:31:43] 645*2^1403480-1 is not prime. Res64: D0951F27C6ED4F7C Time : 0.0 sec. user=mdettweiler [2015-07-18 20:31:43] 735*2^1403480-1 is not prime. Res64: E61EA2E54DEF0C91 Time : 0.0 sec. user=mdettweiler [2015-07-18 20:48:58] 825*2^1403480-1 is not prime. Res64: 4279B3A1C1AB6CA0 Time : 0.0 sec. user=mdettweiler [2015-07-18 20:48:59] 839*2^1403480-1 is not prime. Res64: 9904007FD103D0EC Time : 0.0 sec. user=mdettweiler [2015-07-18 20:49:10] 963*2^1403480-1 is not prime. Res64: 5383AF64B2169B89 Time : 0.0 sec. user=mdettweiler [2015-07-18 20:49:10] 999*2^1403480-1 is not prime. Res64: 09AE68154FD2220E Time : 0.0 sec. user=mdettweiler [2015-07-18 20:49:15] 607*2^1403481-1 is not prime. Res64: 88379CC4609A5EAD Time : 0.0 sec. user=mdettweiler [2015-07-18 20:49:16] 637*2^1403481-1 is not prime. Res64: 90D4C1112E22AD2A Time : 0.0 sec. user=mdettweiler [2015-07-18 20:49:19] 727*2^1403481-1 is not prime. Res64: FC5A1C5D4A9DC95D Time : 0.0 sec. user=mdettweiler [2015-07-18 20:49:20] 997*2^1403481-1 is not prime. Res64: E8CA4BF412B2F2C7 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:06:48] 635*2^1403482-1 is not prime. Res64: D4D8FC3FFD158A1D Time : 0.0 sec. user=mdettweiler [2015-07-18 21:06:48] 681*2^1403482-1 is not prime. Res64: 9C3609DAAF2CD604 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:06:58] 723*2^1403482-1 is not prime. Res64: 47DFB7F39B91A5CA Time : 0.0 sec. user=mdettweiler [2015-07-18 21:06:59] 777*2^1403482-1 is not prime. Res64: 232909F8914294DD Time : 0.0 sec. user=mdettweiler [2015-07-18 21:07:01] 867*2^1403482-1 is not prime. Res64: 6A4DBB13FF565D08 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:07:01] 873*2^1403482-1 is not prime. Res64: 3649B35D053B1D25 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:07:08] 947*2^1403482-1 is not prime. Res64: 6A5F5E635E242A4D Time : 0.0 sec. user=mdettweiler [2015-07-18 21:07:09] 631*2^1403483-1 is not prime. Res64: 3E74970105896B5D Time : 0.0 sec. user=mdettweiler [2015-07-18 21:24:26] 669*2^1403483-1 is not prime. Res64: 52F0A4E6B8CEF4B3 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:24:26] 685*2^1403483-1 is not prime. Res64: C89A3BC2C5F8AB71 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:24:34] 859*2^1403483-1 is not prime. Res64: B407D9202529F2F4 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:24:35] 943*2^1403483-1 is not prime. Res64: 2629A7061C413DB7 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:24:38] 759*2^1403483-1 is not prime. Res64: 9DC80BF57D14BE0F Time : 0.0 sec. user=mdettweiler [2015-07-18 21:24:39] 781*2^1403483-1 is not prime. Res64: D55CE9696F0D22A5 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:24:45] 689*2^1403484-1 is not prime. Res64: 5E84412FBB046A54 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:24:45] 737*2^1403484-1 is not prime. Res64: 40F3D035BDD69E6F Time : 0.0 sec. user=mdettweiler [2015-07-18 21:42:08] 753*2^1403484-1 is not prime. Res64: 5A24FEBEC075A27E Time : 0.0 sec. user=mdettweiler [2015-07-18 21:42:08] 887*2^1403484-1 is not prime. Res64: A0CE4E5873513582 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:42:11] 959*2^1403484-1 is not prime. Res64: 59D28258754EACBC Time : 0.0 sec. user=mdettweiler [2015-07-18 21:42:11] 975*2^1403484-1 is not prime. Res64: 8F558407B41A0E88 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:42:20] 987*2^1403484-1 is not prime. Res64: 44FE8BFEF03FA3BE Time : 0.0 sec. user=mdettweiler [2015-07-18 21:42:21] 601*2^1403485-1 is not prime. Res64: 818754103B195153 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:42:26] 727*2^1403485-1 is not prime. Res64: 2ED4C25D96A11B9D Time : 0.0 sec. user=mdettweiler [2015-07-18 21:42:26] 825*2^1403485-1 is not prime. Res64: D232986BF7766439 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:59:39] 855*2^1403485-1 is not prime. Res64: 692098C362DC5700 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:59:40] 877*2^1403485-1 is not prime. Res64: DE51249878E82EBF Time : 0.0 sec. user=mdettweiler [2015-07-18 21:59:44] 741*2^1403486-1 is not prime. Res64: 9A47F8B9A949113D Time : 0.0 sec. user=mdettweiler [2015-07-18 21:59:45] 795*2^1403486-1 is not prime. Res64: 5C6D0D9E8B60831B Time : 0.0 sec. user=mdettweiler [2015-07-18 21:59:54] 873*2^1403486-1 is not prime. Res64: 939CFF62FCDEBFB2 Time : 0.0 sec. user=mdettweiler [2015-07-18 21:59:55] 917*2^1403486-1 is not prime. Res64: 52A1B8BE64BDDEB5 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:00:03] 935*2^1403486-1 is not prime. Res64: BA437C4430B50DB6 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:00:04] 945*2^1403486-1 is not prime. Res64: A54CC7292C663FEE Time : 0.0 sec. user=mdettweiler [2015-07-18 22:17:13] 953*2^1403486-1 is not prime. Res64: D33EFE769B488D72 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:17:13] 703*2^1403487-1 is not prime. Res64: B629B8F9CA96EDEE Time : 0.0 sec. user=mdettweiler [2015-07-18 22:17:18] 765*2^1403487-1 is not prime. Res64: 7A44A62D641C48ED Time : 0.0 sec. user=mdettweiler [2015-07-18 22:17:18] 885*2^1403487-1 is not prime. Res64: 5E80CB86F8775B2D Time : 0.0 sec. user=mdettweiler [2015-07-18 22:17:34] 895*2^1403487-1 is not prime. Res64: 95185FAF8A142DD7 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:17:35] 695*2^1403488-1 is not prime. Res64: 89A1E948051ACFD4 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:17:44] 735*2^1403488-1 is not prime. Res64: 097D077890CB8CDF Time : 0.0 sec. user=mdettweiler [2015-07-18 22:17:44] 765*2^1403488-1 is not prime. Res64: AF3965116AC17DAB Time : 0.0 sec. user=mdettweiler [2015-07-18 22:34:50] 825*2^1403488-1 is not prime. Res64: 3CA712377AA1049C Time : 0.0 sec. user=mdettweiler [2015-07-18 22:34:50] 839*2^1403488-1 is not prime. Res64: 0D13D25EE0DC5E74 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:34:53] 905*2^1403488-1 is not prime. Res64: F26DA73B71E30B52 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:34:53] 657*2^1403489-1 is not prime. Res64: FCD78F4F8DC8E4B9 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:35:23] 949*2^1403489-1 is not prime. Res64: 21D884744A262E8F Time : 0.0 sec. user=mdettweiler [2015-07-18 22:35:23] 725*2^1403490-1 is not prime. Res64: 70DA2A6B14162336 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:35:26] 691*2^1403489-1 is not prime. Res64: 43E6AEC873038084 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:35:26] 705*2^1403489-1 is not prime. Res64: 99C2D62AA2BC567B Time : 0.0 sec. user=mdettweiler [2015-07-18 22:52:36] 735*2^1403490-1 is not prime. Res64: 0841CE4F858AB14D Time : 0.0 sec. user=mdettweiler [2015-07-18 22:52:36] 755*2^1403490-1 is not prime. Res64: D48EFB280265A8B8 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:52:37] 777*2^1403490-1 is not prime. Res64: B82564199D2424CF Time : 0.0 sec. user=mdettweiler [2015-07-18 22:52:38] 833*2^1403490-1 is not prime. Res64: 65FA010A0645A1B1 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:52:59] 649*2^1403491-1 is not prime. Res64: 94061A98EDB54202 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:52:59] 861*2^1403490-1 is not prime. Res64: 10ED7A080D105F80 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:53:00] 693*2^1403491-1 is not prime. Res64: C844FD3260B96FA0 Time : 0.0 sec. user=mdettweiler [2015-07-18 22:53:00] 645*2^1403491-1 is not prime. Res64: 87DCDA738EE587EA Time : 0.0 sec. user=mdettweiler [2015-07-18 23:10:17] 759*2^1403491-1 is not prime. Res64: 1EB591BD3603E2AA Time : 0.0 sec. user=mdettweiler [2015-07-18 23:10:17] 783*2^1403491-1 is not prime. Res64: 1100EE6D2CBCC3A4 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:10:21] 609*2^1403492-1 is not prime. Res64: 7EA38C1AEE229ADA Time : 0.0 sec. user=mdettweiler [2015-07-18 23:10:21] 665*2^1403492-1 is not prime. Res64: 3972DCBE3C3BE6A2 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:10:34] 677*2^1403492-1 is not prime. Res64: 77A852B3E7E6B312 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:10:34] 699*2^1403492-1 is not prime. Res64: 00414F3D54CB6D03 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:10:41] 875*2^1403492-1 is not prime. Res64: CB309383CBEBFBFF Time : 0.0 sec. user=mdettweiler [2015-07-18 23:10:42] 879*2^1403492-1 is not prime. Res64: C3C9B33F079A5FE3 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:28:04] 899*2^1403492-1 is not prime. Res64: 4CA2C212CE093B20 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:28:05] 607*2^1403493-1 is not prime. Res64: 9A96ED24EDC0CC5D Time : 0.0 sec. user=mdettweiler [2015-07-18 23:28:11] 657*2^1403493-1 is not prime. Res64: FB8164C09A40242A Time : 0.0 sec. user=mdettweiler [2015-07-18 23:28:12] 669*2^1403493-1 is not prime. Res64: 475402D0AEC09D83 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:28:13] 759*2^1403493-1 is not prime. Res64: C30466469FA13EEC Time : 0.0 sec. user=mdettweiler [2015-07-18 23:28:13] 861*2^1403493-1 is not prime. Res64: D0568CF027CBFBB4 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:28:30] 961*2^1403493-1 is not prime. Res64: 94AE90891DC1476D Time : 0.0 sec. user=mdettweiler [2015-07-18 23:28:30] 999*2^1403493-1 is not prime. Res64: 45C2FEE8DFCBD381 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:45:39] 753*2^1403495-1 is not prime. Res64: 97D57FE8E8BDAD02 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:45:39] 799*2^1403495-1 is not prime. Res64: 0BB057EFD175F9F9 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:45:45] 885*2^1403495-1 is not prime. Res64: 34BBBEBD5D0F45D1 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:45:45] 939*2^1403495-1 is not prime. Res64: 8B78141C99DCB6B5 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:45:49] 855*2^1403495-1 is not prime. Res64: 2FBBBAB481537973 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:45:49] 859*2^1403495-1 is not prime. Res64: B105C450BC038491 Time : 0.0 sec. user=mdettweiler [2015-07-18 23:46:06] 963*2^1403495-1 is not prime. Res64: 8CA6215CDAC11AEF Time : 0.0 sec. user=mdettweiler [2015-07-18 23:46:07] 629*2^1403496-1 is not prime. Res64: E74814DDF08B9B11 Time : 0.0 sec.