user=mdettweiler [2016-03-09 00:11:13] 781*2^1422495-1 is not prime. Res64: A3D7DDBBE4F48DE3 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:11:14] 823*2^1422495-1 is not prime. Res64: DED06A175F14DD94 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:11:22] 961*2^1422495-1 is not prime. Res64: 4904039469C3BB56 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:11:22] 675*2^1422496-1 is not prime. Res64: D1237F413BC2DEC5 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:12:01] 699*2^1422496-1 is not prime. Res64: 5A321357D3A9F49C Time : 0.0 sec. user=mdettweiler [2016-03-09 00:12:01] 743*2^1422496-1 is not prime. Res64: 21BFBC8DEC668D21 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:15:33] 777*2^1422496-1 is not prime. Res64: 23E88C8F8E21253B Time : 0.0 sec. user=mdettweiler [2016-03-09 00:15:33] 813*2^1422496-1 is not prime. Res64: BE8DF1854A9FD2FD Time : 0.0 sec. user=mdettweiler [2016-03-09 00:29:34] 905*2^1422496-1 is not prime. Res64: 475F6E08EB2FEB51 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:29:35] 699*2^1422497-1 is not prime. Res64: 31B535814AAA722A Time : 0.0 sec. user=mdettweiler [2016-03-09 00:29:35] 849*2^1422496-1 is not prime. Res64: ACCA1569B59D5998 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:29:35] 903*2^1422496-1 is not prime. Res64: DB5676C6D0626A71 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:30:17] 729*2^1422497-1 is not prime. Res64: 6C50C97B9E5DDABA Time : 0.0 sec. user=mdettweiler [2016-03-09 00:30:18] 747*2^1422497-1 is not prime. Res64: 0419D62DC87F3912 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:33:57] 769*2^1422497-1 is not prime. Res64: E824C41F802AF3ED Time : 0.0 sec. user=mdettweiler [2016-03-09 00:33:57] 937*2^1422497-1 is not prime. Res64: 6AC1C2CB3847D194 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:48:25] 665*2^1422498-1 is not prime. Res64: 3E5D8DA225ECD74C Time : 0.0 sec. user=mdettweiler [2016-03-09 00:48:26] 705*2^1422498-1 is not prime. Res64: 786BB7C82944ACCF Time : 0.0 sec. user=mdettweiler [2016-03-09 00:48:49] 997*2^1422497-1 is not prime. Res64: 7FA7B033B152B486 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:48:49] 663*2^1422498-1 is not prime. Res64: 45BC64687076CEB4 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:49:29] 833*2^1422498-1 is not prime. Res64: 235C964F0B423309 Time : 0.0 sec. user=mdettweiler [2016-03-09 00:49:29] 963*2^1422498-1 is not prime. Res64: FDBD62C82BE2058D Time : 0.0 sec. user=mdettweiler [2016-03-09 00:52:29] 705*2^1422499-1 is not prime. Res64: C6F4E7716E4DCF9C Time : 0.0 sec. user=mdettweiler [2016-03-09 00:52:29] 751*2^1422499-1 is not prime. Res64: 38C6D01DB5F90EEC Time : 0.0 sec. user=mdettweiler [2016-03-09 01:07:18] 759*2^1422499-1 is not prime. Res64: 107B81D0A0253014 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:07:19] 793*2^1422499-1 is not prime. Res64: 1373D9BE3F8B1D1B Time : 0.0 sec. user=mdettweiler [2016-03-09 01:07:49] 889*2^1422499-1 is not prime. Res64: CCC97F1D8EDEFBBB Time : 0.0 sec. user=mdettweiler [2016-03-09 01:07:49] 603*2^1422500-1 is not prime. Res64: D9EC3461920B4107 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:08:19] 615*2^1422500-1 is not prime. Res64: E9A5DAB4BD91A209 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:08:19] 875*2^1422500-1 is not prime. Res64: 727AA8092C00BC81 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:11:21] 945*2^1422500-1 is not prime. Res64: B88DFC2DA9BF063E Time : 0.0 sec. user=mdettweiler [2016-03-09 01:11:22] 621*2^1422501-1 is not prime. Res64: E1A033D415F5B734 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:25:41] 735*2^1422501-1 is not prime. Res64: 3438B0F3C95D5D72 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:25:43] 745*2^1422501-1 is not prime. Res64: EA7BB6C0BDE2FB65 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:26:04] 847*2^1422501-1 is not prime. Res64: 8F9C8138E24D0195 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:26:05] 889*2^1422501-1 is not prime. Res64: 189630D0BDE7A351 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:26:43] 997*2^1422501-1 is not prime. Res64: 36F1F91B46D2F4CE Time : 0.0 sec. user=mdettweiler [2016-03-09 01:26:44] 603*2^1422502-1 is not prime. Res64: 976A6AE444B79912 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:29:51] 677*2^1422502-1 is not prime. Res64: 1BBBA082580F3A6B Time : 0.0 sec. user=mdettweiler [2016-03-09 01:29:52] 731*2^1422502-1 is not prime. Res64: 7103ABBCC93E69E6 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:43:56] 747*2^1422502-1 is not prime. Res64: 3330C2E70AD834E5 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:43:57] 791*2^1422502-1 is not prime. Res64: 0BB0545EA6BE5643 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:44:29] 801*2^1422502-1 is not prime. Res64: 072FC60B4582C355 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:44:29] 621*2^1422503-1 is not prime. Res64: DA45DE6B12740AAA Time : 0.0 sec. user=mdettweiler [2016-03-09 01:45:06] 649*2^1422503-1 is not prime. Res64: 87956835638CB1DF Time : 0.0 sec. user=mdettweiler [2016-03-09 01:45:08] 703*2^1422503-1 is not prime. Res64: D0D71F27DDC3CA0E Time : 0.0 sec. user=mdettweiler [2016-03-09 01:48:07] 759*2^1422503-1 is not prime. Res64: F0F230F1197A9FE9 Time : 0.0 sec. user=mdettweiler [2016-03-09 01:48:08] 825*2^1422503-1 is not prime. Res64: 70B39CEB5856FA68 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:02:19] 859*2^1422503-1 is not prime. Res64: E462921E04352ECC Time : 0.0 sec. user=mdettweiler [2016-03-09 02:02:20] 885*2^1422503-1 is not prime. Res64: 1951A55794780F0C Time : 0.0 sec. user=mdettweiler [2016-03-09 02:02:45] 913*2^1422503-1 is not prime. Res64: 4E91D9D14DEA1EF0 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:02:46] 969*2^1422503-1 is not prime. Res64: F72F16DC408CE9D5 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:03:30] 993*2^1422503-1 is not prime. Res64: 8A5963BE0C69595D Time : 0.0 sec. user=mdettweiler [2016-03-09 02:03:31] 615*2^1422504-1 is not prime. Res64: 1638A3FDABA1CC82 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:06:57] 675*2^1422504-1 is not prime. Res64: 3A75DA2E736989E4 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:06:59] 693*2^1422504-1 is not prime. Res64: 7D92E377A4BA0059 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:24:23] 917*2^1422504-1 is not prime. Res64: 6A0BB18CD1EED936 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:24:24] 927*2^1422504-1 is not prime. Res64: F56F5FCFF0521DFF Time : 0.0 sec. user=mdettweiler [2016-03-09 02:24:26] 699*2^1422505-1 is not prime. Res64: 133A682DD48A0291 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:24:27] 811*2^1422505-1 is not prime. Res64: 2BD4DCBCB07FEC1C Time : 0.0 sec. user=mdettweiler [2016-03-09 02:24:45] 885*2^1422505-1 is not prime. Res64: CEEB754A02F0E4BD Time : 0.0 sec. user=mdettweiler [2016-03-09 02:24:46] 955*2^1422505-1 is not prime. Res64: DC66E3D6AC88BD6E Time : 0.0 sec. user=mdettweiler [2016-03-09 02:28:29] 701*2^1422506-1 is not prime. Res64: 5FD5FC090C6AB935 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:28:30] 851*2^1422506-1 is not prime. Res64: B8034AF1D3DA6766 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:55:52] 875*2^1422506-1 is not prime. Res64: BEA2A4FFF17AB303 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:55:53] 893*2^1422506-1 is not prime. Res64: C07D41A3394FB38C Time : 0.0 sec. user=mdettweiler [2016-03-09 02:56:02] 687*2^1422508-1 is not prime. Res64: C76A6DDE6224D2F2 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:56:03] 863*2^1422508-1 is not prime. Res64: EE7F9037702A80BA Time : 0.0 sec. user=mdettweiler [2016-03-09 02:56:10] 903*2^1422506-1 is not prime. Res64: 6D67CFB060CAA9AC Time : 0.0 sec. user=mdettweiler [2016-03-09 02:56:10] 793*2^1422507-1 is not prime. Res64: 175F93988B87BB64 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:56:14] 955*2^1422507-1 is not prime. Res64: A81AA33C7C705907 Time : 0.0 sec. user=mdettweiler [2016-03-09 02:56:15] 985*2^1422507-1 is not prime. Res64: DA941F70E2BCA85A Time : 0.0 sec. user=mdettweiler [2016-03-09 03:13:49] 869*2^1422508-1 is not prime. Res64: 94C75AE0C40C981D Time : 0.0 sec. user=mdettweiler [2016-03-09 03:13:50] 953*2^1422508-1 is not prime. Res64: 5981E171575E7C19 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:13:52] 699*2^1422509-1 is not prime. Res64: 606241A3935D8584 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:13:53] 771*2^1422509-1 is not prime. Res64: 0635A99B9BDD0B15 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:13:59] 879*2^1422509-1 is not prime. Res64: C5BCF179FCC18F75 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:13:59] 681*2^1422510-1 is not prime. Res64: 6426EBA905574A34 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:14:07] 775*2^1422509-1 is not prime. Res64: 95CE321C0809176A Time : 0.0 sec. user=mdettweiler [2016-03-09 03:14:08] 847*2^1422509-1 is not prime. Res64: 4E78BA2FF85FEE49 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:31:33] 717*2^1422510-1 is not prime. Res64: B9890160E3E3DF37 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:31:34] 615*2^1422511-1 is not prime. Res64: 854ED317E72E15C0 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:31:35] 833*2^1422510-1 is not prime. Res64: 9596B9BD869BCB4D Time : 0.0 sec. user=mdettweiler [2016-03-09 03:31:35] 705*2^1422511-1 is not prime. Res64: 4BBC50B330B85990 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:31:49] 735*2^1422511-1 is not prime. Res64: 0047114B560ADBD6 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:31:50] 759*2^1422511-1 is not prime. Res64: 18CB706A3D5506CA Time : 0.0 sec. user=mdettweiler [2016-03-09 03:31:56] 783*2^1422511-1 is not prime. Res64: EADBC3B0AE6BAD07 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:31:56] 861*2^1422511-1 is not prime. Res64: B7C8ED9C82C44939 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:49:23] 669*2^1422512-1 is not prime. Res64: AF366620EE8ED88C Time : 0.0 sec. user=mdettweiler [2016-03-09 03:49:28] 699*2^1422512-1 is not prime. Res64: 4E9BE03FB60F9CC6 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:49:30] 725*2^1422512-1 is not prime. Res64: 27A7635952CA1FF4 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:49:33] 819*2^1422512-1 is not prime. Res64: 13647A1D927C794D Time : 0.0 sec. user=mdettweiler [2016-03-09 03:49:38] 825*2^1422512-1 is not prime. Res64: 4727B9C16DC7DE60 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:49:43] 827*2^1422512-1 is not prime. Res64: F6131D121C2602F2 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:49:55] 963*2^1422512-1 is not prime. Res64: F42C4723C990ACD2 Time : 0.0 sec. user=mdettweiler [2016-03-09 03:49:59] 651*2^1422513-1 is not prime. Res64: A6DD306228569904 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:08:11] 669*2^1422513-1 is not prime. Res64: 3E7EA8DDC875FCA2 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:08:12] 681*2^1422513-1 is not prime. Res64: ECEA6210F0AA0436 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:08:16] 817*2^1422513-1 is not prime. Res64: 8DE239BD9081A47C Time : 0.0 sec. user=mdettweiler [2016-03-09 04:08:17] 871*2^1422513-1 is not prime. Res64: B335631A4933B589 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:08:18] 781*2^1422513-1 is not prime. Res64: 211B7477E4762E3F Time : 0.0 sec. user=mdettweiler [2016-03-09 04:08:18] 919*2^1422513-1 is not prime. Res64: 393BF17DCC0D1474 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:08:19] 789*2^1422513-1 is not prime. Res64: 1CF543F0C73E8CC8 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:08:19] 985*2^1422513-1 is not prime. Res64: D79C1B8BB3FD4E9B Time : 0.0 sec. user=mdettweiler [2016-03-09 04:25:58] 979*2^1422515-1 is not prime. Res64: 7C2EABE650517412 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:25:59] 999*2^1422515-1 is not prime. Res64: CE0AB9FA68EA867D Time : 0.0 sec. user=mdettweiler [2016-03-09 04:26:01] 673*2^1422515-1 is not prime. Res64: 18F5FFAFCAEB1221 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:26:02] 771*2^1422515-1 is not prime. Res64: 9483D56ADB8BBED3 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:26:03] 605*2^1422514-1 is not prime. Res64: BF805BCAB7B61AFC Time : 0.0 sec. user=mdettweiler [2016-03-09 04:26:03] 975*2^1422514-1 is not prime. Res64: 24111B705C4F92E0 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:26:08] 619*2^1422515-1 is not prime. Res64: 6A538D28A367F677 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:26:08] 669*2^1422515-1 is not prime. Res64: 5C1026CA4AC7EECB Time : 0.0 sec. user=mdettweiler [2016-03-09 04:43:19] 689*2^1422516-1 is not prime. Res64: 4F865758C1EC09B1 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:43:20] 695*2^1422516-1 is not prime. Res64: AFEC008CDD83EED4 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:43:21] 705*2^1422516-1 is not prime. Res64: 755679EDBED82B2E Time : 0.0 sec. user=mdettweiler [2016-03-09 04:43:22] 899*2^1422516-1 is not prime. Res64: B296F86B6AAD830A Time : 0.0 sec. user=mdettweiler [2016-03-09 04:43:23] 615*2^1422517-1 is not prime. Res64: 963BF0DAB9F2C071 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:43:24] 717*2^1422517-1 is not prime. Res64: 37B0E7FF7E131D99 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:43:29] 829*2^1422517-1 is not prime. Res64: C54B5F08FD63CD60 Time : 0.0 sec. user=mdettweiler [2016-03-09 04:43:29] 861*2^1422517-1 is not prime. Res64: 574CD77C624A7ECC Time : 0.0 sec. user=mdettweiler [2016-03-09 05:01:02] 867*2^1422517-1 is not prime. Res64: FB0936ADF7FF84D5 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:01:02] 937*2^1422517-1 is not prime. Res64: EF288BDBAAAC0BBE Time : 0.0 sec. user=mdettweiler [2016-03-09 05:01:26] 955*2^1422517-1 is not prime. Res64: 66EB53F67F1804E0 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:01:28] 623*2^1422518-1 is not prime. Res64: 4D0C2265B5F2D4FF Time : 0.0 sec. user=mdettweiler [2016-03-09 05:01:28] 603*2^1422518-1 is not prime. Res64: 7B2456771EC76BFB Time : 0.0 sec. user=mdettweiler [2016-03-09 05:01:28] 683*2^1422518-1 is not prime. Res64: 7F744D552CE1271D Time : 0.0 sec. user=mdettweiler [2016-03-09 05:01:34] 693*2^1422518-1 is not prime. Res64: 50A81D3A39F56A72 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:01:35] 845*2^1422518-1 is not prime. Res64: 03C9C4E7689B4961 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:18:52] 887*2^1422518-1 is not prime. Res64: 4A5C93F64A62690E Time : 0.0 sec. user=mdettweiler [2016-03-09 05:18:52] 893*2^1422518-1 is not prime. Res64: F8BA68F8D0105AD9 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:19:08] 745*2^1422519-1 is not prime. Res64: BE2DF04060E97C22 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:19:09] 793*2^1422519-1 is not prime. Res64: A039C6BD9CA4794A Time : 0.0 sec. user=mdettweiler [2016-03-09 05:19:20] 915*2^1422518-1 is not prime. Res64: 821B214222C82CF8 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:19:21] 709*2^1422519-1 is not prime. Res64: DF55ECEE32040474 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:20:12] 955*2^1422519-1 is not prime. Res64: E4739D1E656F56FA Time : 0.0 sec. user=mdettweiler [2016-03-09 05:20:12] 969*2^1422519-1 is not prime. Res64: 5FDF411AAC5C5557 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:36:30] 999*2^1422519-1 is not prime. Res64: 55046969A9D574FC Time : 0.0 sec. user=mdettweiler [2016-03-09 05:36:31] 653*2^1422520-1 is not prime. Res64: 02AD202120C8FC7E Time : 0.0 sec. user=mdettweiler [2016-03-09 05:36:43] 693*2^1422520-1 is not prime. Res64: C0AA5F2EE0382364 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:36:44] 717*2^1422520-1 is not prime. Res64: 3CB43D06B87EAAC2 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:37:09] 813*2^1422520-1 is not prime. Res64: 28BF5FFB6608CE9A Time : 0.0 sec. user=mdettweiler [2016-03-09 05:37:09] 827*2^1422520-1 is not prime. Res64: EEBA89C6157316CD Time : 0.0 sec. user=mdettweiler [2016-03-09 05:37:52] 873*2^1422520-1 is not prime. Res64: D9AB4568D2F4B7E1 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:37:52] 905*2^1422520-1 is not prime. Res64: 19EF6064B0CFCC60 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:54:14] 933*2^1422520-1 is not prime. Res64: 8CD885BB2705EBF2 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:54:15] 983*2^1422520-1 is not prime. Res64: 1FF3464E398E837C Time : 0.0 sec. user=mdettweiler [2016-03-09 05:54:26] 999*2^1422520-1 is not prime. Res64: 10F09D9D5A3FDF47 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:54:26] 615*2^1422521-1 is not prime. Res64: 6F551E29459E55A9 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:55:00] 619*2^1422521-1 is not prime. Res64: 2AF2B4462C077BFC Time : 0.0 sec. user=mdettweiler [2016-03-09 05:55:00] 717*2^1422521-1 is not prime. Res64: 3F2A4DFDC8B9E89F Time : 0.0 sec. user=mdettweiler [2016-03-09 05:56:05] 745*2^1422521-1 is not prime. Res64: 8E13542755F51887 Time : 0.0 sec. user=mdettweiler [2016-03-09 05:56:05] 811*2^1422521-1 is not prime. Res64: 9B07DC337800CDB3 Time : 0.0 sec. user=mdettweiler [2016-03-09 06:12:02] 829*2^1422521-1 is not prime. Res64: A91A1C2787595EEC Time : 0.0 sec. user=mdettweiler [2016-03-09 06:12:03] 837*2^1422521-1 is not prime. Res64: 4E199A9DAA1B0C3E Time : 0.0 sec. user=mdettweiler [2016-03-09 06:12:07] 871*2^1422521-1 is not prime. Res64: A15861019408F5ED Time : 0.0 sec. user=mdettweiler [2016-03-09 06:12:08] 981*2^1422521-1 is not prime. Res64: 4BB190E66C90EE32 Time : 0.0 sec. user=mdettweiler [2016-03-09 06:12:41] 671*2^1422522-1 is not prime. Res64: ABE138C77BEA8F84 Time : 0.0 sec. user=mdettweiler [2016-03-09 06:12:41] 741*2^1422522-1 is not prime. Res64: CF9DFF27ACD97831 Time : 0.0 sec. user=mdettweiler [2016-03-09 06:13:44] 885*2^1422522-1 is not prime. Res64: 5FAC25D9FD43CB6A Time : 0.0 sec. user=mdettweiler [2016-03-09 06:13:44] 923*2^1422522-1 is not prime. Res64: 28B6C85A03F0BBEB Time : 0.0 sec. user=mdettweiler [2016-03-09 06:29:40] 723*2^1422523-1 is not prime. Res64: 2FCB15DD56E9E49B Time : 0.0 sec. user=mdettweiler [2016-03-09 06:29:40] 741*2^1422523-1 is not prime. Res64: 29AEC08AFA9CFC98 Time : 0.0 sec. user=mdettweiler [2016-03-09 06:29:50] 765*2^1422523-1 is not prime. Res64: A46324738D0A8D7E Time : 0.0 sec. user=mdettweiler [2016-03-09 06:29:50] 829*2^1422523-1 is not prime. Res64: FAB835B06F9CE52B Time : 0.0 sec. user=mdettweiler [2016-03-09 06:30:33] 901*2^1422523-1 is not prime. Res64: 18BC660972316DCC Time : 0.0 sec. user=mdettweiler [2016-03-09 06:30:33] 617*2^1422524-1 is not prime. Res64: 48CC08BA4C10741B Time : 0.0 sec. user=mdettweiler [2016-03-09 06:31:23] 683*2^1422524-1 is not prime. Res64: 16E783AFFB73C6B4 Time : 0.0 sec. user=mdettweiler [2016-03-09 06:31:23] 699*2^1422524-1 is not prime. Res64: 26575AA24DD2872F Time : 0.0 sec. user=mdettweiler [2016-03-09 06:47:32] 773*2^1422524-1 is not prime. Res64: EE98504626475CC6 Time : 0.0 sec. user=mdettweiler [2016-03-09 06:47:33] 789*2^1422524-1 is not prime. Res64: 9BE02792CA4F334B Time : 0.0 sec. user=mdettweiler [2016-03-09 06:47:48] 719*2^1422524-1 is not prime. Res64: E665F7E96AAC5103 Time : 0.0 sec. user=mdettweiler [2016-03-09 06:47:49] 755*2^1422524-1 is not prime. Res64: 330638E3B6D64D6E Time : 0.0 sec. user=mdettweiler [2016-03-09 06:48:22] 875*2^1422524-1 is not prime. Res64: A016ECFBC7EFDE83 Time : 0.0 sec. user=mdettweiler [2016-03-09 06:48:23] 885*2^1422524-1 is not prime. Res64: E8ABF951BA6DD78A Time : 0.0 sec. user=mdettweiler [2016-03-09 06:49:21] 909*2^1422524-1 is not prime. Res64: 303DCCD2A8882FB5 Time : 0.0 sec. user=mdettweiler [2016-03-09 06:49:22] 957*2^1422524-1 is not prime. Res64: 51BFBB089CECAB80 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:05:07] 983*2^1422524-1 is not prime. Res64: EE4D6184171AE129 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:05:08] 609*2^1422525-1 is not prime. Res64: 441C855D8969C8B5 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:05:24] 759*2^1422525-1 is not prime. Res64: F8A184C4A60D63F2 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:05:25] 849*2^1422525-1 is not prime. Res64: 26AC017827272410 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:05:57] 859*2^1422525-1 is not prime. Res64: 2614C201BDB8C817 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:05:58] 979*2^1422525-1 is not prime. Res64: F3637E5141D36E10 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:06:57] 999*2^1422525-1 is not prime. Res64: E5E0684CB2D87208 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:06:58] 717*2^1422526-1 is not prime. Res64: D0049384D1ABC415 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:23:00] 741*2^1422526-1 is not prime. Res64: A57B9C2EA30B2071 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:23:01] 825*2^1422526-1 is not prime. Res64: F97D51F507CC4FC3 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:23:01] 923*2^1422526-1 is not prime. Res64: 929521EC24995D46 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:23:02] 669*2^1422527-1 is not prime. Res64: 0617584F2EE9B285 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:23:31] 843*2^1422527-1 is not prime. Res64: BB760C74898176C4 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:23:32] 861*2^1422527-1 is not prime. Res64: 3178AD16D50F9294 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:24:32] 949*2^1422527-1 is not prime. Res64: 4AF3B999053B864A Time : 0.0 sec. user=mdettweiler [2016-03-09 07:24:33] 723*2^1422528-1 is not prime. Res64: A3E9FA95CAC99490 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:40:34] 797*2^1422528-1 is not prime. Res64: B9FC5B4EF0BCC6F6 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:40:34] 887*2^1422528-1 is not prime. Res64: A0C71E09B2F866EA Time : 0.0 sec. user=mdettweiler [2016-03-09 07:40:51] 899*2^1422528-1 is not prime. Res64: 59C17EB53E777C0C Time : 0.0 sec. user=mdettweiler [2016-03-09 07:40:51] 915*2^1422528-1 is not prime. Res64: EE2C0580733F648E Time : 0.0 sec. user=mdettweiler [2016-03-09 07:41:05] 929*2^1422528-1 is not prime. Res64: BB713D767BC47A0F Time : 0.0 sec. user=mdettweiler [2016-03-09 07:41:06] 609*2^1422529-1 is not prime. Res64: 7419CEE877CA7FF6 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:42:09] 667*2^1422529-1 is not prime. Res64: B0B7D15AB78049EF Time : 0.0 sec. user=mdettweiler [2016-03-09 07:42:10] 729*2^1422529-1 is not prime. Res64: B7972157D8E8EC1F Time : 0.0 sec. user=mdettweiler [2016-03-09 07:58:10] 741*2^1422529-1 is not prime. Res64: 83400288E162C786 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:58:11] 789*2^1422529-1 is not prime. Res64: E2D29F94DA7E4EAB Time : 0.0 sec. user=mdettweiler [2016-03-09 07:58:29] 861*2^1422529-1 is not prime. Res64: 815785830374B607 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:58:29] 931*2^1422529-1 is not prime. Res64: 7076AC3104913C25 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:58:51] 657*2^1422530-1 is not prime. Res64: EAFA6DB798E50F67 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:58:51] 675*2^1422530-1 is not prime. Res64: 4F69105BE16CECF3 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:59:47] 717*2^1422530-1 is not prime. Res64: 6DF8D3C8A95FF3F9 Time : 0.0 sec. user=mdettweiler [2016-03-09 07:59:48] 741*2^1422530-1 is not prime. Res64: 358ABE63C25A9480 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:15:46] 785*2^1422530-1 is not prime. Res64: D6E08BCFC01EE6D5 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:15:47] 825*2^1422530-1 is not prime. Res64: 431EC3879A0434DD Time : 0.0 sec. user=mdettweiler [2016-03-09 08:16:07] 887*2^1422530-1 is not prime. Res64: 051483CBE1EA650B Time : 0.0 sec. user=mdettweiler [2016-03-09 08:16:08] 1001*2^1422530-1 is not prime. Res64: 06D40DADA5CE6DE3 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:16:39] 619*2^1422531-1 is not prime. Res64: 895CADBA11E6A8BE Time : 0.0 sec. user=mdettweiler [2016-03-09 08:16:40] 643*2^1422531-1 is not prime. Res64: 3ED53414D64B2EA2 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:17:26] 711*2^1422531-1 is not prime. Res64: B924BA6E9C989502 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:17:26] 775*2^1422531-1 is not prime. Res64: EFAA2862A41141F6 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:33:42] 819*2^1422531-1 is not prime. Res64: FDB9EA505C41D8F1 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:33:42] 895*2^1422531-1 is not prime. Res64: 07E254D75D94CC36 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:33:51] 623*2^1422532-1 is not prime. Res64: EC6437778268BA04 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:33:52] 675*2^1422532-1 is not prime. Res64: 528F0F77B6116929 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:34:35] 687*2^1422532-1 is not prime. Res64: 64DD98A1C7FD3C64 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:34:35] 899*2^1422532-1 is not prime. Res64: 6C21CD74E9BF8000 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:35:11] 903*2^1422532-1 is not prime. Res64: D10C6C0CAF6997E1 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:35:11] 933*2^1422532-1 is not prime. Res64: 51EC4A41BA54CEC5 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:51:33] 651*2^1422533-1 is not prime. Res64: 926946F733C56164 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:51:34] 675*2^1422533-1 is not prime. Res64: 8AFCEE00D46C8EA9 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:51:46] 983*2^1422532-1 is not prime. Res64: 83A3944326E3CD3E Time : 0.0 sec. user=mdettweiler [2016-03-09 08:51:46] 615*2^1422533-1 is not prime. Res64: EFDDE1EBD384F4D2 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:52:45] 789*2^1422533-1 is not prime. Res64: 49BD12B95E15BF4D Time : 0.0 sec. user=mdettweiler [2016-03-09 08:52:46] 829*2^1422533-1 is not prime. Res64: DA0755C850F7EF88 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:52:53] 847*2^1422533-1 is not prime. Res64: BF9E58A27D8AB6B7 Time : 0.0 sec. user=mdettweiler [2016-03-09 08:52:53] 861*2^1422533-1 is not prime. Res64: 0677C1E0F51648DD Time : 0.0 sec. user=mdettweiler [2016-03-09 09:09:25] 981*2^1422533-1 is not prime. Res64: 8174C49E62D4AB63 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:09:27] 807*2^1422534-1 is not prime. Res64: 1A9ACDFE449BEAE7 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:09:34] 867*2^1422533-1 is not prime. Res64: 4151FD975D8934BA Time : 0.0 sec. user=mdettweiler [2016-03-09 09:09:34] 871*2^1422533-1 is not prime. Res64: 66690034D856B4F9 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:10:25] 861*2^1422534-1 is not prime. Res64: 5E29CC65052DA369 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:10:26] 887*2^1422534-1 is not prime. Res64: 3AB4B195F7BDD9B6 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:10:39] 941*2^1422534-1 is not prime. Res64: 4513A6D8EA31F862 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:10:39] 675*2^1422535-1 is not prime. Res64: 119770670F632384 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:27:08] 859*2^1422535-1 is not prime. Res64: 26FD5D9124F4471E Time : 0.0 sec. user=mdettweiler [2016-03-09 09:27:09] 603*2^1422536-1 is not prime. Res64: 82AB5A6019F26B52 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:27:18] 829*2^1422535-1 is not prime. Res64: 677A25B45E88EF40 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:27:19] 831*2^1422535-1 is not prime. Res64: 985EB0BC19F52C49 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:28:09] 699*2^1422536-1 is not prime. Res64: B9CEE6F938EB3656 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:28:10] 735*2^1422536-1 is not prime. Res64: 44900A17D54DA560 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:28:18] 789*2^1422536-1 is not prime. Res64: 467EF5A7925E9232 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:28:19] 899*2^1422536-1 is not prime. Res64: 31767C450D1DA679 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:44:44] 917*2^1422536-1 is not prime. Res64: EA4FFAFE760F6422 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:44:44] 969*2^1422536-1 is not prime. Res64: C10BE243F9460870 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:45:03] 609*2^1422537-1 is not prime. Res64: DB8FA9EBC70C6096 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:45:04] 615*2^1422537-1 is not prime. Res64: 74395A2CE987323D Time : 0.0 sec. user=mdettweiler [2016-03-09 09:45:57] 717*2^1422537-1 is not prime. Res64: 00FA78E07C161558 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:45:57] 759*2^1422537-1 is not prime. Res64: 6ED080D1F65F0370 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:46:00] 885*2^1422537-1 is not prime. Res64: 4C0266A947102318 Time : 0.0 sec. user=mdettweiler [2016-03-09 09:46:01] 945*2^1422537-1 is not prime. Res64: 8AD9DDD579FB06D6 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:02:30] 677*2^1422538-1 is not prime. Res64: F92E7B9269E24DC3 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:02:31] 723*2^1422538-1 is not prime. Res64: 3CE0CE49A37D05EC Time : 0.0 sec. user=mdettweiler [2016-03-09 10:02:48] 755*2^1422538-1 is not prime. Res64: CEBB4F3DFCB9C1D1 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:02:49] 765*2^1422538-1 is not prime. Res64: 4240FAF301D55E05 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:03:37] 905*2^1422538-1 is not prime. Res64: C0A794A5F57E08EC Time : 0.0 sec. user=mdettweiler [2016-03-09 10:03:38] 911*2^1422538-1 is not prime. Res64: 08E823F5456467F7 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:04:23] 801*2^1422538-1 is not prime. Res64: 52677B43FCAA8C7E Time : 0.0 sec. user=mdettweiler [2016-03-09 10:04:24] 803*2^1422538-1 is not prime. Res64: D992E2B7841861F7 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:20:22] 951*2^1422538-1 is not prime. Res64: 8F6AA59155D251CF Time : 0.0 sec. user=mdettweiler [2016-03-09 10:20:23] 987*2^1422538-1 is not prime. Res64: B407FC4F2B591161 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:20:40] 663*2^1422539-1 is not prime. Res64: 94DCBC4419987D3A Time : 0.0 sec. user=mdettweiler [2016-03-09 10:20:41] 759*2^1422539-1 is not prime. Res64: FDEFE5AE412B9CED Time : 0.0 sec. user=mdettweiler [2016-03-09 10:21:49] 855*2^1422539-1 is not prime. Res64: F8A1CB31CC1D797E Time : 0.0 sec. user=mdettweiler [2016-03-09 10:21:49] 861*2^1422539-1 is not prime. Res64: 88DBBDD52369C0CA Time : 0.0 sec. user=mdettweiler [2016-03-09 10:22:08] 883*2^1422539-1 is not prime. Res64: 40AF46CFFB4B6AEF Time : 0.0 sec. user=mdettweiler [2016-03-09 10:22:08] 889*2^1422539-1 is not prime. Res64: 6A8B03B905B64940 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:37:57] 903*2^1422539-1 is not prime. Res64: D864C7B4594F5489 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:37:58] 979*2^1422539-1 is not prime. Res64: 2198678394C003A0 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:38:19] 699*2^1422540-1 is not prime. Res64: 245FB9BF819F961A Time : 0.0 sec. user=mdettweiler [2016-03-09 10:38:19] 767*2^1422540-1 is not prime. Res64: 68957EB2AA2245AF Time : 0.0 sec. user=mdettweiler [2016-03-09 10:39:18] 779*2^1422540-1 is not prime. Res64: 639497C279680B60 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:39:19] 783*2^1422540-1 is not prime. Res64: 346B7C2CFC65B8D0 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:39:46] 795*2^1422540-1 is not prime. Res64: 53D623AC9116FDA8 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:39:47] 887*2^1422540-1 is not prime. Res64: 25119CC6CBDAEA0B Time : 0.0 sec. user=mdettweiler [2016-03-09 10:55:39] 923*2^1422540-1 is not prime. Res64: 70AADBC2B0404E6E Time : 0.0 sec. user=mdettweiler [2016-03-09 10:55:40] 639*2^1422541-1 is not prime. Res64: 1C06CF7415AAD35A Time : 0.0 sec. user=mdettweiler [2016-03-09 10:55:58] 687*2^1422541-1 is not prime. Res64: E4EF0D7972B50A95 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:55:59] 741*2^1422541-1 is not prime. Res64: FD92856AEF8C545B Time : 0.0 sec. user=mdettweiler [2016-03-09 10:56:53] 757*2^1422541-1 is not prime. Res64: F15F6CD2BA9BF03F Time : 0.0 sec. user=mdettweiler [2016-03-09 10:56:53] 777*2^1422541-1 is not prime. Res64: 1EBBCF404BA5F35C Time : 0.0 sec. user=mdettweiler [2016-03-09 10:57:24] 805*2^1422541-1 is not prime. Res64: 54F4B4A79D1878A0 Time : 0.0 sec. user=mdettweiler [2016-03-09 10:57:24] 937*2^1422541-1 is not prime. Res64: 8EC1D495FA5A39F3 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:13:18] 761*2^1422542-1 is not prime. Res64: 28EBF6CA9AA2CC3B Time : 0.0 sec. user=mdettweiler [2016-03-09 11:13:19] 827*2^1422542-1 is not prime. Res64: 1E6BB16A3D6E22AC Time : 0.0 sec. user=mdettweiler [2016-03-09 11:13:38] 831*2^1422542-1 is not prime. Res64: D194E1642F046FA5 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:13:38] 833*2^1422542-1 is not prime. Res64: 679DF6E9735F4AEB Time : 0.0 sec. user=mdettweiler [2016-03-09 11:14:39] 843*2^1422542-1 is not prime. Res64: ECC8EA6A259D8C50 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:14:39] 911*2^1422542-1 is not prime. Res64: AFE56573669F5499 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:15:11] 935*2^1422542-1 is not prime. Res64: 9C9E5B18CAC86CFB Time : 0.0 sec. user=mdettweiler [2016-03-09 11:15:12] 691*2^1422543-1 is not prime. Res64: 3AD01A4C66EDE194 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:30:56] 723*2^1422543-1 is not prime. Res64: EDE13F54751E06F3 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:30:56] 793*2^1422543-1 is not prime. Res64: BCDB47D6863ABC64 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:31:13] 831*2^1422543-1 is not prime. Res64: 923CDEFDE7559618 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:31:13] 853*2^1422543-1 is not prime. Res64: 0101B20742F7D8F9 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:32:17] 879*2^1422543-1 is not prime. Res64: 1AFFA75E23861C4A Time : 0.0 sec. user=mdettweiler [2016-03-09 11:32:17] 901*2^1422543-1 is not prime. Res64: 0DFF8FCF604A25F6 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:32:42] 945*2^1422543-1 is not prime. Res64: 7FA8AB8B2250A96E Time : 0.0 sec. user=mdettweiler [2016-03-09 11:32:42] 635*2^1422544-1 is not prime. Res64: 6D7CB81BE72EE5B7 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:48:49] 645*2^1422544-1 is not prime. Res64: B5052D044DD05F02 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:48:49] 707*2^1422544-1 is not prime. Res64: 4A1AFDD9AD70834A Time : 0.0 sec. user=mdettweiler [2016-03-09 11:49:15] 833*2^1422544-1 is not prime. Res64: 459A7A5E8241EF93 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:49:15] 875*2^1422544-1 is not prime. Res64: 7DC51D40FA40A86C Time : 0.0 sec. user=mdettweiler [2016-03-09 11:50:17] 929*2^1422544-1 is not prime. Res64: AAABBAB68104B95E Time : 0.0 sec. user=mdettweiler [2016-03-09 11:50:18] 889*2^1422545-1 is not prime. Res64: 49CF4651C6889181 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:50:41] 897*2^1422545-1 is not prime. Res64: 7EF1E7FDF9EAE8C5 Time : 0.0 sec. user=mdettweiler [2016-03-09 11:50:41] 937*2^1422545-1 is not prime. Res64: CF3B4F2E1539C890 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:09:13] 671*2^1422546-1 is not prime. Res64: 3DED0F9D6115983E Time : 0.0 sec. user=mdettweiler [2016-03-09 12:09:14] 741*2^1422546-1 is not prime. Res64: A2F17D7A73297CF4 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:09:23] 803*2^1422546-1 is not prime. Res64: 78DB4E3B3A177D27 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:09:23] 603*2^1422547-1 is not prime. Res64: FA4485AC562620C2 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:10:03] 649*2^1422547-1 is not prime. Res64: 06306B65D993B8E8 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:10:04] 651*2^1422547-1 is not prime. Res64: 61FDFCF61BBA799E Time : 0.0 sec. user=mdettweiler [2016-03-09 12:10:25] 675*2^1422547-1 is not prime. Res64: 9BC630F386DF0A06 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:10:26] 733*2^1422547-1 is not prime. Res64: D3147887781D8D1B Time : 0.0 sec. user=mdettweiler [2016-03-09 12:28:43] 885*2^1422547-1 is not prime. Res64: C547EB62BD51F792 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:28:44] 973*2^1422547-1 is not prime. Res64: 86ABD30584872B6F Time : 0.0 sec. user=mdettweiler [2016-03-09 12:29:06] 735*2^1422547-1 is not prime. Res64: 4035A4F01112B791 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:29:07] 835*2^1422547-1 is not prime. Res64: 3A6F1F67DA527069 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:29:31] 979*2^1422547-1 is not prime. Res64: F2F2508A46B666E8 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:29:32] 749*2^1422548-1 is not prime. Res64: 2A106667198F5991 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:29:39] 963*2^1422548-1 is not prime. Res64: 815F390A15E6E101 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:29:39] 969*2^1422548-1 is not prime. Res64: BFF57452117B2733 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:46:25] 977*2^1422548-1 is not prime. Res64: 34055DFDA8ECBA01 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:46:25] 621*2^1422549-1 is not prime. Res64: 2B8ACB66B524CFE1 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:46:51] 655*2^1422549-1 is not prime. Res64: 0AACCD51CA6EE8B7 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:46:52] 669*2^1422549-1 is not prime. Res64: F04285F30848BE66 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:47:19] 861*2^1422549-1 is not prime. Res64: B09691385221A8D0 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:47:19] 885*2^1422549-1 is not prime. Res64: 0B482E4B80CBD3CE Time : 0.0 sec. user=mdettweiler [2016-03-09 12:47:25] 889*2^1422549-1 is not prime. Res64: 472424D1EE362DC8 Time : 0.0 sec. user=mdettweiler [2016-03-09 12:47:25] 927*2^1422549-1 is not prime. Res64: 7F45341A3E4FFEF2 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:04:08] 635*2^1422550-1 is not prime. Res64: 83C878FA2D563526 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:04:09] 741*2^1422550-1 is not prime. Res64: 874CAE9743CCA081 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:04:37] 661*2^1422551-1 is not prime. Res64: 5CD63A973A1F72EC Time : 0.0 sec. user=mdettweiler [2016-03-09 13:04:39] 663*2^1422551-1 is not prime. Res64: 8A6E12EE6CAC740A Time : 0.0 sec. user=mdettweiler [2016-03-09 13:05:04] 673*2^1422551-1 is not prime. Res64: 46EAE3C8E904E9E2 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:05:05] 711*2^1422551-1 is not prime. Res64: A37E23F70D0FB446 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:05:06] 715*2^1422551-1 is not prime. Res64: C53D3C9C679F8316 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:05:08] 745*2^1422551-1 is not prime. Res64: B4A273AD6B38AC8E Time : 0.0 sec. user=mdettweiler [2016-03-09 13:22:15] 759*2^1422551-1 is not prime. Res64: 77EAA5861E74B60A Time : 0.0 sec. user=mdettweiler [2016-03-09 13:22:16] 627*2^1422552-1 is not prime. Res64: 7D2E7C16B2F48E83 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:22:27] 633*2^1422552-1 is not prime. Res64: 5A2A7C81DF215494 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:22:27] 657*2^1422552-1 is not prime. Res64: 8623DB7945E9D569 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:22:56] 683*2^1422552-1 is not prime. Res64: 2E84BDB9BCF0A59C Time : 0.0 sec. user=mdettweiler [2016-03-09 13:22:57] 737*2^1422552-1 is not prime. Res64: 69226FCE4CA0EFF8 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:23:10] 649*2^1422553-1 is not prime. Res64: 5C0171814F9B5647 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:23:10] 771*2^1422553-1 is not prime. Res64: 1B07E57D29B0DB39 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:40:02] 801*2^1422553-1 is not prime. Res64: 49891D410FBA4C0B Time : 0.0 sec. user=mdettweiler [2016-03-09 13:40:02] 855*2^1422553-1 is not prime. Res64: 7164AD4F8A367743 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:40:05] 877*2^1422553-1 is not prime. Res64: D325F034095879EA Time : 0.0 sec. user=mdettweiler [2016-03-09 13:40:06] 651*2^1422554-1 is not prime. Res64: 0ACC23979AE48F32 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:40:40] 657*2^1422554-1 is not prime. Res64: 1237668BA4BA769D Time : 0.0 sec. user=mdettweiler [2016-03-09 13:40:40] 825*2^1422554-1 is not prime. Res64: AF851E7C93A4A9D2 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:40:47] 887*2^1422554-1 is not prime. Res64: 95C9F48AA521C317 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:40:47] 941*2^1422554-1 is not prime. Res64: 95E8323631746170 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:57:48] 951*2^1422554-1 is not prime. Res64: 3C63818191EF8131 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:57:48] 625*2^1422555-1 is not prime. Res64: 9BBF4750858914EE Time : 0.0 sec. user=mdettweiler [2016-03-09 13:57:53] 723*2^1422555-1 is not prime. Res64: 69924AC36C6D9DB2 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:57:53] 823*2^1422555-1 is not prime. Res64: 7AB5CF963D4BB289 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:58:25] 921*2^1422555-1 is not prime. Res64: C99836E989EDFC67 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:58:25] 943*2^1422555-1 is not prime. Res64: 2CE4DC620FBF1648 Time : 0.0 sec. user=mdettweiler [2016-03-09 13:58:45] 891*2^1422555-1 is not prime. Res64: DE14A84DB06A882E Time : 0.0 sec. user=mdettweiler [2016-03-09 13:58:45] 895*2^1422555-1 is not prime. Res64: 15609C5DCB74E369 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:15:31] 955*2^1422555-1 is not prime. Res64: E94158F58B28926F Time : 0.0 sec. user=mdettweiler [2016-03-09 14:15:31] 675*2^1422556-1 is not prime. Res64: DAFCD897CB0394E4 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:15:40] 735*2^1422556-1 is not prime. Res64: 30E4246B41734F81 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:15:40] 743*2^1422556-1 is not prime. Res64: 296B237460668564 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:16:10] 903*2^1422556-1 is not prime. Res64: B6DCAFA594E7859F Time : 0.0 sec. user=mdettweiler [2016-03-09 14:16:10] 989*2^1422556-1 is not prime. Res64: 25E8CC9D9DEC1F1F Time : 0.0 sec. user=mdettweiler [2016-03-09 14:16:34] 999*2^1422556-1 is not prime. Res64: 73F1536A7FBD9236 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:16:34] 649*2^1422557-1 is not prime. Res64: 668E652230D3AD0A Time : 0.0 sec. user=mdettweiler [2016-03-09 14:33:09] 691*2^1422557-1 is not prime. Res64: 9E6B7B0B2244CFBE Time : 0.0 sec. user=mdettweiler [2016-03-09 14:33:10] 727*2^1422557-1 is not prime. Res64: B164D52E30386CEE Time : 0.0 sec. user=mdettweiler [2016-03-09 14:33:23] 729*2^1422557-1 is not prime. Res64: 224D32A730F739EB Time : 0.0 sec. user=mdettweiler [2016-03-09 14:33:24] 829*2^1422557-1 is not prime. Res64: 640932F31689792C Time : 0.0 sec. user=mdettweiler [2016-03-09 14:33:52] 915*2^1422557-1 is not prime. Res64: 28A621D6DEFF505D Time : 0.0 sec. user=mdettweiler [2016-03-09 14:33:52] 707*2^1422558-1 is not prime. Res64: 109CE090D6C7F449 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:34:15] 713*2^1422558-1 is not prime. Res64: FE014691A34741FC Time : 0.0 sec. user=mdettweiler [2016-03-09 14:34:16] 737*2^1422558-1 is not prime. Res64: 9B9576518AED95C9 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:50:48] 833*2^1422558-1 is not prime. Res64: 0BD8C82C530AEE67 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:50:48] 921*2^1422558-1 is not prime. Res64: BDC3853B946B654C Time : 0.0 sec. user=mdettweiler [2016-03-09 14:51:08] 945*2^1422558-1 is not prime. Res64: 0E114C52413FCAEE Time : 0.0 sec. user=mdettweiler [2016-03-09 14:51:08] 811*2^1422559-1 is not prime. Res64: 9A60A0745BFCB2AB Time : 0.0 sec. user=mdettweiler [2016-03-09 14:51:33] 999*2^1422559-1 is not prime. Res64: DE0E4D13DE33D3A4 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:51:34] 629*2^1422560-1 is not prime. Res64: A296F6E1F1B5BBD3 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:51:57] 635*2^1422560-1 is not prime. Res64: 02054702EF8C5757 Time : 0.0 sec. user=mdettweiler [2016-03-09 14:51:57] 659*2^1422560-1 is not prime. Res64: E3D7EE11B3C0737F Time : 0.0 sec. user=mdettweiler [2016-03-09 15:08:42] 795*2^1422560-1 is not prime. Res64: 374CFAC3BDD91072 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:08:42] 845*2^1422560-1 is not prime. Res64: 89EAAEFDAA611E6C Time : 0.0 sec. user=mdettweiler [2016-03-09 15:08:54] 927*2^1422560-1 is not prime. Res64: CE88B182B61EFE1F Time : 0.0 sec. user=mdettweiler [2016-03-09 15:08:55] 929*2^1422560-1 is not prime. Res64: 19D804F813D73EB6 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:09:21] 957*2^1422560-1 is not prime. Res64: 0635E488F108CD22 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:09:22] 977*2^1422560-1 is not prime. Res64: A4E3CFB00B38A91E Time : 0.0 sec. user=mdettweiler [2016-03-09 15:09:48] 777*2^1422561-1 is not prime. Res64: D69B27AAB915C69A Time : 0.0 sec. user=mdettweiler [2016-03-09 15:09:49] 805*2^1422561-1 is not prime. Res64: 34C840ED09CB8B93 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:26:26] 861*2^1422561-1 is not prime. Res64: ACE0E0BA6857AAF6 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:26:26] 865*2^1422561-1 is not prime. Res64: FF2737A0F40B486B Time : 0.0 sec. user=mdettweiler [2016-03-09 15:26:46] 611*2^1422562-1 is not prime. Res64: 7F6CA4C199BCFE88 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:26:46] 617*2^1422562-1 is not prime. Res64: 762CE5A284598ECD Time : 0.0 sec. user=mdettweiler [2016-03-09 15:27:03] 701*2^1422562-1 is not prime. Res64: 6D41C707BC8130A7 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:27:04] 705*2^1422562-1 is not prime. Res64: 85031EF1508AADBC Time : 0.0 sec. user=mdettweiler [2016-03-09 15:27:36] 735*2^1422562-1 is not prime. Res64: B45F02E87F2CEF4B Time : 0.0 sec. user=mdettweiler [2016-03-09 15:27:36] 755*2^1422562-1 is not prime. Res64: F46D9A7271BD3C69 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:44:03] 825*2^1422562-1 is not prime. Res64: 01A4A11436BB46FD Time : 0.0 sec. user=mdettweiler [2016-03-09 15:44:04] 885*2^1422562-1 is not prime. Res64: 602588FA3F5D780A Time : 0.0 sec. user=mdettweiler [2016-03-09 15:44:22] 957*2^1422562-1 is not prime. Res64: 8AFD8A71FD71A698 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:44:23] 987*2^1422562-1 is not prime. Res64: D109337B997B97D9 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:44:39] 679*2^1422563-1 is not prime. Res64: C1B3805A1DE174D6 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:44:39] 943*2^1422563-1 is not prime. Res64: 6943813A80746807 Time : 0.0 sec. user=mdettweiler [2016-03-09 15:45:14] 955*2^1422563-1 is not prime. Res64: B8F5258EF6517E5E Time : 0.0 sec. user=mdettweiler [2016-03-09 15:45:15] 985*2^1422563-1 is not prime. Res64: EAEB5EDB2CE2E8B1 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:01:56] 609*2^1422564-1 is not prime. Res64: EBE4C2238D345FAA Time : 0.0 sec. user=mdettweiler [2016-03-09 16:01:56] 639*2^1422564-1 is not prime. Res64: B984B78660ACCAEB Time : 0.0 sec. user=mdettweiler [2016-03-09 16:02:17] 675*2^1422564-1 is not prime. Res64: 290440B9E0C11CC7 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:02:18] 773*2^1422564-1 is not prime. Res64: FEB77AA0402DDBB4 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:02:24] 825*2^1422564-1 is not prime. Res64: 605D5602852D3999 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:02:25] 873*2^1422564-1 is not prime. Res64: B6D94C294F95E058 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:03:03] 909*2^1422564-1 is not prime. Res64: A97E4A5C0AF76121 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:03:04] 927*2^1422564-1 is not prime. Res64: A9D69D2960572BCC Time : 0.0 sec. user=mdettweiler [2016-03-09 16:19:43] 965*2^1422564-1 is not prime. Res64: 4763D0EC0148DB47 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:19:44] 765*2^1422565-1 is not prime. Res64: D882B96DB50CDCFE Time : 0.0 sec. user=mdettweiler [2016-03-09 16:20:19] 937*2^1422565-1 is not prime. Res64: 99AE1F595E27E345 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:20:19] 951*2^1422565-1 is not prime. Res64: 3ECDE8DED3051FCB Time : 0.0 sec. user=mdettweiler [2016-03-09 16:20:23] 603*2^1422566-1 is not prime. Res64: 3EE2E5F4F62A6564 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:20:24] 657*2^1422566-1 is not prime. Res64: 86DACF7CAE102909 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:21:00] 755*2^1422566-1 is not prime. Res64: 44D5AC7B9A62572D Time : 0.0 sec. user=mdettweiler [2016-03-09 16:21:00] 831*2^1422566-1 is not prime. Res64: 0AFA337FB1171C9E Time : 0.0 sec. user=mdettweiler [2016-03-09 16:37:39] 935*2^1422566-1 is not prime. Res64: 3350E9B57B843F87 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:37:39] 971*2^1422566-1 is not prime. Res64: DC6B17A2D7515A35 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:38:07] 633*2^1422567-1 is not prime. Res64: 372569BD8A7659E6 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:38:07] 639*2^1422567-1 is not prime. Res64: 0A7D6264FF637178 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:38:17] 823*2^1422567-1 is not prime. Res64: FCB45A5ED8803B84 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:38:17] 961*2^1422567-1 is not prime. Res64: C51DC0080DB3CEED Time : 0.0 sec. user=mdettweiler [2016-03-09 16:38:54] 623*2^1422568-1 is not prime. Res64: 8315B58CEA0355C4 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:38:55] 707*2^1422568-1 is not prime. Res64: ED58D91558F097ED Time : 0.0 sec. user=mdettweiler [2016-03-09 16:55:26] 743*2^1422568-1 is not prime. Res64: 6BF0A6D70F99DF00 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:55:26] 957*2^1422568-1 is not prime. Res64: 9F45309DBC80BF8A Time : 0.0 sec. user=mdettweiler [2016-03-09 16:55:57] 615*2^1422569-1 is not prime. Res64: 18AFB96D85E49C5D Time : 0.0 sec. user=mdettweiler [2016-03-09 16:55:58] 631*2^1422569-1 is not prime. Res64: C62D191E002C22DD Time : 0.0 sec. user=mdettweiler [2016-03-09 16:56:10] 645*2^1422569-1 is not prime. Res64: EF3AAF27A66D2F23 Time : 0.0 sec. user=mdettweiler [2016-03-09 16:56:10] 675*2^1422569-1 is not prime. Res64: F206B7F1483076DE Time : 0.0 sec. user=mdettweiler [2016-03-09 16:56:45] 771*2^1422569-1 is not prime. Res64: 03E75A994671475D Time : 0.0 sec. user=mdettweiler [2016-03-09 16:56:45] 787*2^1422569-1 is not prime. Res64: 82B470BB2AAE9884 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:13:07] 811*2^1422569-1 is not prime. Res64: CBC851E793F66A49 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:13:08] 889*2^1422569-1 is not prime. Res64: A94CD0EA3DEBA54C Time : 0.0 sec. user=mdettweiler [2016-03-09 17:13:40] 991*2^1422569-1 is not prime. Res64: 3826F376AE83BF7D Time : 0.0 sec. user=mdettweiler [2016-03-09 17:13:41] 695*2^1422570-1 is not prime. Res64: C784C78604B9CE12 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:13:46] 717*2^1422570-1 is not prime. Res64: D8123E30D99FB17F Time : 0.0 sec. user=mdettweiler [2016-03-09 17:13:46] 803*2^1422570-1 is not prime. Res64: CF48E3BA8C676BF7 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:14:23] 971*2^1422570-1 is not prime. Res64: 56AE89BFE5C94D52 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:14:23] 977*2^1422570-1 is not prime. Res64: 6ED848E4C369182F Time : 0.0 sec. user=mdettweiler [2016-03-09 17:30:55] 663*2^1422571-1 is not prime. Res64: 7892EF2EAF83E9CE Time : 0.0 sec. user=mdettweiler [2016-03-09 17:30:56] 679*2^1422571-1 is not prime. Res64: 70448BDD273452FC Time : 0.0 sec. user=mdettweiler [2016-03-09 17:31:21] 685*2^1422571-1 is not prime. Res64: DDE1490A12BA9BAD Time : 0.0 sec. user=mdettweiler [2016-03-09 17:31:22] 819*2^1422571-1 is not prime. Res64: 6E688145CC7BF7F9 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:31:30] 635*2^1422572-1 is not prime. Res64: 6441E409BB850A2E Time : 0.0 sec. user=mdettweiler [2016-03-09 17:31:30] 725*2^1422572-1 is not prime. Res64: 9454965CE653FE1F Time : 0.0 sec. user=mdettweiler [2016-03-09 17:32:03] 743*2^1422572-1 is not prime. Res64: 42C1E1BD277BC582 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:32:04] 855*2^1422572-1 is not prime. Res64: 37154EDBCA814024 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:48:37] 903*2^1422572-1 is not prime. Res64: C618D4D3782F8538 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:48:37] 995*2^1422572-1 is not prime. Res64: B13A6ED11DB42C2A Time : 0.0 sec. user=mdettweiler [2016-03-09 17:49:03] 721*2^1422573-1 is not prime. Res64: 9970AE62AD3D0BC7 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:49:03] 745*2^1422573-1 is not prime. Res64: E6E93E847A9E5B9A Time : 0.0 sec. user=mdettweiler [2016-03-09 17:49:14] 961*2^1422573-1 is not prime. Res64: B12164D72DECBF5C Time : 0.0 sec. user=mdettweiler [2016-03-09 17:49:15] 621*2^1422574-1 is not prime. Res64: B3059C1F0FBE3FA1 Time : 0.0 sec. user=mdettweiler [2016-03-09 17:49:44] 675*2^1422574-1 is not prime. Res64: E9E928869FD0DD6D Time : 0.0 sec. user=mdettweiler [2016-03-09 17:49:45] 857*2^1422574-1 is not prime. Res64: A952B7BE76A22C7D Time : 0.0 sec. user=mdettweiler [2016-03-09 18:06:38] 915*2^1422574-1 is not prime. Res64: 5E2258D0E3769CB0 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:06:38] 941*2^1422574-1 is not prime. Res64: 212EE6FDC45C1ED0 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:06:54] 957*2^1422574-1 is not prime. Res64: F2E16CB0DDDA67A6 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:06:55] 669*2^1422575-1 is not prime. Res64: 6833E21F292A269B Time : 0.0 sec. user=mdettweiler [2016-03-09 18:07:07] 841*2^1422575-1 is not prime. Res64: BFDE2636372EBC38 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:07:08] 981*2^1422575-1 is not prime. Res64: 86B96958EE2CB5F6 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:07:24] 689*2^1422576-1 is not prime. Res64: 2496769AD64F2641 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:07:25] 695*2^1422576-1 is not prime. Res64: 6BF9D77A562B9AB5 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:24:33] 969*2^1422576-1 is not prime. Res64: FF0DA3474B65EA2C Time : 0.0 sec. user=mdettweiler [2016-03-09 18:24:33] 691*2^1422577-1 is not prime. Res64: 34EBD7597FB9B94C Time : 0.0 sec. user=mdettweiler [2016-03-09 18:24:33] 839*2^1422576-1 is not prime. Res64: E51C27DBA2028E3C Time : 0.0 sec. user=mdettweiler [2016-03-09 18:24:34] 923*2^1422576-1 is not prime. Res64: 55C7544DAAB997B2 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:24:48] 747*2^1422577-1 is not prime. Res64: A7EE4A1E7536574B Time : 0.0 sec. user=mdettweiler [2016-03-09 18:24:49] 835*2^1422577-1 is not prime. Res64: 48FF7531F040CB5A Time : 0.0 sec. user=mdettweiler [2016-03-09 18:25:02] 847*2^1422577-1 is not prime. Res64: EE41153B643ABF56 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:25:03] 895*2^1422577-1 is not prime. Res64: 5DC7BC5CCD331C6C Time : 0.0 sec. user=mdettweiler [2016-03-09 18:42:17] 713*2^1422578-1 is not prime. Res64: 1052CCC9D76D9E12 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:42:18] 837*2^1422578-1 is not prime. Res64: F0716EF63DA52C10 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:42:19] 955*2^1422577-1 is not prime. Res64: C4000BB73293479E Time : 0.0 sec. user=mdettweiler [2016-03-09 18:42:19] 641*2^1422578-1 is not prime. Res64: 1FAABB29597BC289 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:42:29] 867*2^1422578-1 is not prime. Res64: 573E20B5352B09AE Time : 0.0 sec. user=mdettweiler [2016-03-09 18:42:30] 945*2^1422578-1 is not prime. Res64: A0FC2EC41861B10F Time : 0.0 sec. user=mdettweiler [2016-03-09 18:42:47] 663*2^1422579-1 is not prime. Res64: 260145D705F1A423 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:42:47] 823*2^1422579-1 is not prime. Res64: 9AA4C6133EA3A333 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:59:56] 999*2^1422579-1 is not prime. Res64: 9547CF5E60DA5043 Time : 0.0 sec. user=mdettweiler [2016-03-09 18:59:56] 677*2^1422580-1 is not prime. Res64: 1D502CFFE5CB3315 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:00:03] 961*2^1422579-1 is not prime. Res64: 8C74C44C58EB795F Time : 0.0 sec. user=mdettweiler [2016-03-09 19:00:03] 969*2^1422579-1 is not prime. Res64: F8292B5AC38A6975 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:00:07] 707*2^1422580-1 is not prime. Res64: C82A381B181CA304 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:00:07] 765*2^1422580-1 is not prime. Res64: 16C1C2246B251868 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:00:28] 813*2^1422580-1 is not prime. Res64: 039AB8D74E34711B Time : 0.0 sec. user=mdettweiler [2016-03-09 19:00:29] 819*2^1422580-1 is not prime. Res64: B0DB1773E82491FC Time : 0.0 sec. user=mdettweiler [2016-03-09 19:17:35] 825*2^1422580-1 is not prime. Res64: 1AD8E2B7A45B6F71 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:17:36] 885*2^1422580-1 is not prime. Res64: 533088886939870F Time : 0.0 sec. user=mdettweiler [2016-03-09 19:17:45] 927*2^1422580-1 is not prime. Res64: AF0BCAE1BF84C1CF Time : 0.0 sec. user=mdettweiler [2016-03-09 19:17:45] 959*2^1422580-1 is not prime. Res64: D7710BDD2B3DCDFB Time : 0.0 sec. user=mdettweiler [2016-03-09 19:17:50] 631*2^1422581-1 is not prime. Res64: E3C360C8D69344AE Time : 0.0 sec. user=mdettweiler [2016-03-09 19:17:50] 675*2^1422581-1 is not prime. Res64: 3D6B7136F06A3CF4 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:18:09] 679*2^1422581-1 is not prime. Res64: 5315033ED42BB44D Time : 0.0 sec. user=mdettweiler [2016-03-09 19:18:10] 685*2^1422581-1 is not prime. Res64: 75B9C7C45ABA2ABA Time : 0.0 sec. user=mdettweiler [2016-03-09 19:35:24] 621*2^1422582-1 is not prime. Res64: 51A4DF3157929959 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:35:25] 647*2^1422582-1 is not prime. Res64: 44AC5363F04641B1 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:35:27] 741*2^1422581-1 is not prime. Res64: 46206683CF055D6F Time : 0.0 sec. user=mdettweiler [2016-03-09 19:35:27] 907*2^1422581-1 is not prime. Res64: 9DD99C32E22F610C Time : 0.0 sec. user=mdettweiler [2016-03-09 19:35:39] 711*2^1422582-1 is not prime. Res64: 0B48E6B4BBBF9F41 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:35:39] 723*2^1422582-1 is not prime. Res64: F0E1E0522B1A49EE Time : 0.0 sec. user=mdettweiler [2016-03-09 19:35:54] 725*2^1422582-1 is not prime. Res64: 812D0338C6B1E1BE Time : 0.0 sec. user=mdettweiler [2016-03-09 19:35:55] 737*2^1422582-1 is not prime. Res64: 0229E6B495EDD003 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:53:15] 917*2^1422582-1 is not prime. Res64: 40D47683E1AE9E0A Time : 0.0 sec. user=mdettweiler [2016-03-09 19:53:16] 1001*2^1422582-1 is not prime. Res64: 2DCB31BF13A177F5 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:53:23] 791*2^1422582-1 is not prime. Res64: 3FBA65894289988A Time : 0.0 sec. user=mdettweiler [2016-03-09 19:53:24] 797*2^1422582-1 is not prime. Res64: 7D0F4DEB4AEE11DD Time : 0.0 sec. user=mdettweiler [2016-03-09 19:53:44] 789*2^1422583-1 is not prime. Res64: 9029D6AEF3E13A4F Time : 0.0 sec. user=mdettweiler [2016-03-09 19:53:44] 615*2^1422584-1 is not prime. Res64: 471A8CED0BC391BD Time : 0.0 sec. user=mdettweiler [2016-03-09 19:53:44] 729*2^1422583-1 is not prime. Res64: CC3456E54229DED3 Time : 0.0 sec. user=mdettweiler [2016-03-09 19:53:45] 741*2^1422583-1 is not prime. Res64: A641789A09E240A0 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:10:59] 629*2^1422584-1 is not prime. Res64: 57904442BC8F3B6A Time : 0.0 sec. user=mdettweiler [2016-03-09 20:11:00] 657*2^1422584-1 is not prime. Res64: 6BF4911FD5280C22 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:11:05] 677*2^1422584-1 is not prime. Res64: 7C14943A11F5FB05 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:11:06] 773*2^1422584-1 is not prime. Res64: 69E3A6E03EC479D9 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:11:26] 857*2^1422584-1 is not prime. Res64: 61A6EDB1B54275F7 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:11:27] 705*2^1422585-1 is not prime. Res64: 393E08202096D5B8 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:11:27] 873*2^1422584-1 is not prime. Res64: 58E6EE41F60E282D Time : 0.0 sec. user=mdettweiler [2016-03-09 20:11:28] 711*2^1422585-1 is not prime. Res64: 1B79652AA0CD162B Time : 0.0 sec. user=mdettweiler [2016-03-09 20:28:51] 861*2^1422585-1 is not prime. Res64: 9DF40C0167AE04E4 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:28:52] 871*2^1422585-1 is not prime. Res64: 56EC23754DA622E2 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:28:58] 781*2^1422585-1 is not prime. Res64: 0C7706E9315CCACD Time : 0.0 sec. user=mdettweiler [2016-03-09 20:28:58] 789*2^1422585-1 is not prime. Res64: F924CCFE06389B7D Time : 0.0 sec. user=mdettweiler [2016-03-09 20:29:22] 815*2^1422586-1 is not prime. Res64: A4C2AEEF745654B4 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:29:23] 861*2^1422586-1 is not prime. Res64: 57E4DCAA8C69AF7C Time : 0.0 sec. user=mdettweiler [2016-03-09 20:29:27] 979*2^1422585-1 is not prime. Res64: 547250A7D474A031 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:29:27] 717*2^1422586-1 is not prime. Res64: BEFB783BE73010C7 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:46:34] 881*2^1422586-1 is not prime. Res64: BD9B235F282EFA5B Time : 0.0 sec. user=mdettweiler [2016-03-09 20:46:35] 975*2^1422586-1 is not prime. Res64: F46B39CCBF5533C2 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:46:46] 601*2^1422587-1 is not prime. Res64: DD27288F0AE9D907 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:46:46] 669*2^1422587-1 is not prime. Res64: F92DEEAADBFEE435 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:47:11] 733*2^1422587-1 is not prime. Res64: D3435E7857AA71A0 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:47:11] 799*2^1422587-1 is not prime. Res64: 8D2D20413BC97673 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:47:18] 885*2^1422587-1 is not prime. Res64: 30732F136FE741D1 Time : 0.0 sec. user=mdettweiler [2016-03-09 20:47:18] 963*2^1422587-1 is not prime. Res64: 71F24D0DDAB479F7 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:04:51] 795*2^1422588-1 is not prime. Res64: FA782EFAD512767A Time : 0.0 sec. user=mdettweiler [2016-03-09 21:04:52] 879*2^1422588-1 is not prime. Res64: 12421A29A5B60346 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:05:06] 909*2^1422588-1 is not prime. Res64: 40EA268D9B01BED2 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:05:08] 959*2^1422588-1 is not prime. Res64: 76587F0C273EA9D8 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:05:33] 661*2^1422589-1 is not prime. Res64: 46E6DDD08C4A4073 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:05:34] 691*2^1422589-1 is not prime. Res64: 7EE2F546201CC1CB Time : 0.0 sec. user=mdettweiler [2016-03-09 21:05:38] 729*2^1422589-1 is not prime. Res64: C680C927FC2786AD Time : 0.0 sec. user=mdettweiler [2016-03-09 21:05:39] 829*2^1422589-1 is not prime. Res64: 0DC5E437EEC94D0B Time : 0.0 sec. user=mdettweiler [2016-03-09 21:23:26] 987*2^1422589-1 is not prime. Res64: 585282D95B86CB2B Time : 0.0 sec. user=mdettweiler [2016-03-09 21:23:27] 663*2^1422590-1 is not prime. Res64: 9F4806271F4938D3 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:23:27] 717*2^1422590-1 is not prime. Res64: 807132AF568DEAB4 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:23:27] 791*2^1422590-1 is not prime. Res64: 42790258E7F17C9A Time : 0.0 sec. user=mdettweiler [2016-03-09 21:23:51] 615*2^1422591-1 is not prime. Res64: 480105C468F5D175 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:23:51] 739*2^1422591-1 is not prime. Res64: D99DE4FD6EF0B1E5 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:23:52] 969*2^1422591-1 is not prime. Res64: 6A9B25E4BD9245AF Time : 0.0 sec. user=mdettweiler [2016-03-09 21:23:52] 623*2^1422592-1 is not prime. Res64: 129335C06C828E79 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:41:06] 677*2^1422592-1 is not prime. Res64: 94640E32C2348DBF Time : 0.0 sec. user=mdettweiler [2016-03-09 21:41:06] 695*2^1422592-1 is not prime. Res64: E8A39354C7B11CB8 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:41:09] 717*2^1422592-1 is not prime. Res64: 1CCD5D0128D59915 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:41:09] 827*2^1422592-1 is not prime. Res64: A276D4759B341DD5 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:41:32] 947*2^1422592-1 is not prime. Res64: 337599ADDB787451 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:41:33] 983*2^1422592-1 is not prime. Res64: 212C03B1E8880896 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:41:41] 989*2^1422592-1 is not prime. Res64: 528EDDF09B7B6177 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:41:41] 615*2^1422593-1 is not prime. Res64: 5385D5415400D9F8 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:58:57] 651*2^1422593-1 is not prime. Res64: 599551BFDABFBC42 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:58:57] 691*2^1422593-1 is not prime. Res64: 55437CAA65E6759B Time : 0.0 sec. user=mdettweiler [2016-03-09 21:58:58] 741*2^1422593-1 is not prime. Res64: 28BB8D36754E1424 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:58:58] 885*2^1422593-1 is not prime. Res64: 84DF4D49410BE9D1 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:59:19] 967*2^1422593-1 is not prime. Res64: 619EBD2EBB7822E8 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:59:20] 657*2^1422594-1 is not prime. Res64: EAD3A5F857778659 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:59:36] 711*2^1422594-1 is not prime. Res64: 4A939B34D280D8A1 Time : 0.0 sec. user=mdettweiler [2016-03-09 21:59:36] 755*2^1422594-1 is not prime. Res64: CA68367C92ED106D Time : 0.0 sec. user=mdettweiler [2016-03-09 22:16:37] 791*2^1422594-1 is not prime. Res64: D0AC0221ECD747E5 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:16:38] 833*2^1422594-1 is not prime. Res64: 46C6BECA8AE24036 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:16:45] 851*2^1422594-1 is not prime. Res64: 3D8D5E1FB0D75B3F Time : 0.0 sec. user=mdettweiler [2016-03-09 22:16:45] 927*2^1422594-1 is not prime. Res64: 3ED1088DAEE2451F Time : 0.0 sec. user=mdettweiler [2016-03-09 22:17:03] 771*2^1422595-1 is not prime. Res64: 2149311C6DC811DC Time : 0.0 sec. user=mdettweiler [2016-03-09 22:17:03] 853*2^1422595-1 is not prime. Res64: 013A4B891C2E80EC Time : 0.0 sec. user=mdettweiler [2016-03-09 22:17:21] 909*2^1422595-1 is not prime. Res64: 86EFA68F0214206A Time : 0.0 sec. user=mdettweiler [2016-03-09 22:17:22] 925*2^1422595-1 is not prime. Res64: 63081C7E29D4D8C9 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:34:22] 951*2^1422595-1 is not prime. Res64: 6089A81880B3148C Time : 0.0 sec. user=mdettweiler [2016-03-09 22:34:22] 973*2^1422595-1 is not prime. Res64: 8E9D2A42D36D726B Time : 0.0 sec. user=mdettweiler [2016-03-09 22:34:28] 609*2^1422596-1 is not prime. Res64: E9985B6112DEDECD Time : 0.0 sec. user=mdettweiler [2016-03-09 22:34:29] 743*2^1422596-1 is not prime. Res64: C36FF485293D4FA8 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:34:51] 789*2^1422596-1 is not prime. Res64: A0A77FB31B5185B0 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:34:52] 867*2^1422596-1 is not prime. Res64: 06CF20F48471FA91 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:35:10] 873*2^1422596-1 is not prime. Res64: FB2812DA83ACBAC5 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:35:10] 675*2^1422597-1 is not prime. Res64: 32AC370067A6E72F Time : 0.0 sec. user=mdettweiler [2016-03-09 22:52:07] 717*2^1422597-1 is not prime. Res64: 301A1CC488B06EAC Time : 0.0 sec. user=mdettweiler [2016-03-09 22:52:08] 747*2^1422597-1 is not prime. Res64: BAA9BFD03D99D63B Time : 0.0 sec. user=mdettweiler [2016-03-09 22:52:10] 759*2^1422597-1 is not prime. Res64: 7A93857868891867 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:52:10] 825*2^1422597-1 is not prime. Res64: 7FB7478ABB7B0EE6 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:52:42] 919*2^1422597-1 is not prime. Res64: 81AEEAB68F7DFE28 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:52:43] 927*2^1422597-1 is not prime. Res64: 9CE29F040897EE3B Time : 0.0 sec. user=mdettweiler [2016-03-09 22:52:50] 997*2^1422597-1 is not prime. Res64: 3D1F45F20975AAE8 Time : 0.0 sec. user=mdettweiler [2016-03-09 22:52:50] 999*2^1422597-1 is not prime. Res64: 53D1F2FF881D941B Time : 0.0 sec. user=mdettweiler [2016-03-09 23:10:03] 603*2^1422598-1 is not prime. Res64: 23A4D81F8B4F1548 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:10:04] 705*2^1422598-1 is not prime. Res64: 04DFD10E675AD1D3 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:10:08] 731*2^1422598-1 is not prime. Res64: F37377585B5EF1D4 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:10:10] 791*2^1422598-1 is not prime. Res64: 102850E6BAC68C0D Time : 0.0 sec. user=mdettweiler [2016-03-09 23:10:38] 887*2^1422598-1 is not prime. Res64: E1C634668293D0F4 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:10:39] 933*2^1422598-1 is not prime. Res64: FE9360CBFB6ADA90 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:10:49] 615*2^1422599-1 is not prime. Res64: 6397FA056343072F Time : 0.0 sec. user=mdettweiler [2016-03-09 23:10:50] 621*2^1422599-1 is not prime. Res64: 74B34D415AE48171 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:27:50] 825*2^1422599-1 is not prime. Res64: C48A3B7448C9AC6B Time : 0.0 sec. user=mdettweiler [2016-03-09 23:27:50] 843*2^1422599-1 is not prime. Res64: 8153FC5B0D458201 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:27:53] 675*2^1422599-1 is not prime. Res64: 3E9238CD172FBFA0 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:27:54] 685*2^1422599-1 is not prime. Res64: 8F5482DC8865256F Time : 0.0 sec. user=mdettweiler [2016-03-09 23:28:27] 615*2^1422600-1 is not prime. Res64: 176C2512ED950AF3 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:28:27] 773*2^1422600-1 is not prime. Res64: 9B72B189A6E06335 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:28:32] 779*2^1422600-1 is not prime. Res64: 5A7D4FC92EF2FC3B Time : 0.0 sec. user=mdettweiler [2016-03-09 23:28:32] 905*2^1422600-1 is not prime. Res64: 555FD207945B4F47 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:45:36] 625*2^1422601-1 is not prime. Res64: 45DA0CE515D7D841 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:45:37] 687*2^1422601-1 is not prime. Res64: 83BD0E1E6BA96205 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:45:47] 741*2^1422601-1 is not prime. Res64: F24334097D9FFA97 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:45:48] 817*2^1422601-1 is not prime. Res64: F9A1F31D9A2A0D8A Time : 0.0 sec. user=mdettweiler [2016-03-09 23:46:08] 835*2^1422601-1 is not prime. Res64: 4A129032328BAF6C Time : 0.0 sec. user=mdettweiler [2016-03-09 23:46:08] 931*2^1422601-1 is not prime. Res64: 4C8D344BA02E8AFF Time : 0.0 sec. user=mdettweiler [2016-03-09 23:46:10] 981*2^1422601-1 is not prime. Res64: C5388C328AB73A64 Time : 0.0 sec. user=mdettweiler [2016-03-09 23:46:11] 651*2^1422602-1 is not prime. Res64: 23F4DCED4B945F6D Time : 0.0 sec.