user=mdettweiler [2016-11-12 00:05:30] 635*2^1445568-1 is not prime. Res64: 16F45289611B9FA6 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:05:32] 723*2^1445568-1 is not prime. Res64: 8638099ACB9E4E40 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:05:34] 843*2^1445568-1 is not prime. Res64: 878A34DB34CC6BEC Time : 0.0 sec. user=mdettweiler [2016-11-12 00:05:35] 845*2^1445568-1 is not prime. Res64: C9E41F9643298E03 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:05:37] 867*2^1445568-1 is not prime. Res64: BCA46434C4E68E0D Time : 0.0 sec. user=mdettweiler [2016-11-12 00:11:48] 947*2^1445568-1 is not prime. Res64: 755C85B5DFD200DA Time : 0.0 sec. user=mdettweiler [2016-11-12 00:11:55] 675*2^1445569-1 is not prime. Res64: B90CAB61CC4E7EA4 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:11:57] 681*2^1445569-1 is not prime. Res64: BE80ADA441EF7D5D Time : 0.0 sec. user=mdettweiler [2016-11-12 00:11:58] 847*2^1445569-1 is not prime. Res64: 651D3091A4D56BAC Time : 0.0 sec. user=mdettweiler [2016-11-12 00:12:01] 987*2^1445569-1 is not prime. Res64: CD842B176E742BB9 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:32:20] 605*2^1445570-1 is not prime. Res64: 8FB120225AE9C69F Time : 0.0 sec. user=mdettweiler [2016-11-12 00:32:20] 675*2^1445570-1 is not prime. Res64: 48B65BB2EF747237 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:32:21] 791*2^1445570-1 is not prime. Res64: 680CFB71C11118A1 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:32:22] 833*2^1445570-1 is not prime. Res64: 6E5348046B5816A1 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:32:22] 857*2^1445570-1 is not prime. Res64: EA1E5004E800BD23 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:37:52] 911*2^1445570-1 is not prime. Res64: 515756C22B9DC90D Time : 0.0 sec. user=mdettweiler [2016-11-12 00:37:52] 1001*2^1445570-1 is not prime. Res64: 229A2533FC779E25 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:37:53] 613*2^1445571-1 is not prime. Res64: C89021F840072800 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:37:53] 619*2^1445571-1 is not prime. Res64: 2BFF1AE9DFCF55F1 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:37:53] 685*2^1445571-1 is not prime. Res64: C6D5953B947E6381 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:52:38] 711*2^1445571-1 is not prime. Res64: 674DC8AFFDDC260B Time : 0.0 sec. user=mdettweiler [2016-11-12 00:52:38] 735*2^1445571-1 is not prime. Res64: FF15246E0021ABF9 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:52:38] 635*2^1445572-1 is not prime. Res64: A0D6E0A19A5E1A67 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:52:39] 689*2^1445572-1 is not prime. Res64: 506D6A4BFCC3FA04 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:52:39] 723*2^1445572-1 is not prime. Res64: B5BEEF025D6D1BA7 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:59:02] 825*2^1445572-1 is not prime. Res64: 548655E2AD1D9752 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:59:02] 875*2^1445572-1 is not prime. Res64: C0C4A2F87A9FFC3F Time : 0.0 sec. user=mdettweiler [2016-11-12 00:59:02] 965*2^1445572-1 is not prime. Res64: E8B46F25FB389071 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:59:03] 983*2^1445572-1 is not prime. Res64: A4243A8D93103D73 Time : 0.0 sec. user=mdettweiler [2016-11-12 00:59:03] 735*2^1445573-1 is not prime. Res64: C3E8463D7F0AF874 Time : 0.0 sec. user=mdettweiler [2016-11-12 01:19:06] 837*2^1445573-1 is not prime. Res64: 279ACEB73E5FB362 Time : 0.0 sec. user=mdettweiler [2016-11-12 01:19:06] 879*2^1445573-1 is not prime. Res64: AA2B59358C9A0C28 Time : 0.0 sec. user=mdettweiler [2016-11-12 01:19:07] 889*2^1445573-1 is not prime. Res64: FCBC5C5EA774198D Time : 0.0 sec. user=mdettweiler [2016-11-12 01:19:07] 897*2^1445573-1 is not prime. Res64: D8932F94FBE5B481 Time : 0.0 sec. user=mdettweiler [2016-11-12 01:19:07] 955*2^1445573-1 is not prime. Res64: B3C579707198F012 Time : 0.0 sec. user=mdettweiler [2016-11-12 01:24:27] 985*2^1445573-1 is not prime. Res64: 6C117BF33C83D77D Time : 0.0 sec. user=mdettweiler [2016-11-12 01:24:28] 657*2^1445574-1 is not prime. Res64: C951AB05A0E76289 Time : 0.0 sec. user=mdettweiler [2016-11-12 01:24:28] 825*2^1445574-1 is not prime. Res64: E093537EE80AA79D Time : 0.0 sec. user=mdettweiler [2016-11-12 01:24:28] 893*2^1445574-1 is not prime. Res64: DDDA2123B5BABB86 Time : 0.0 sec. user=mdettweiler [2016-11-12 01:24:29] 1001*2^1445574-1 is not prime. Res64: 8CD8A41F819F7E4C Time : 0.0 sec. user=mdettweiler [2016-11-12 01:38:12] 645*2^1445575-1 is not prime. Res64: 93A20ADABF1A0C70 Time : 0.0 sec. user=mdettweiler [2016-11-12 01:38:13] 709*2^1445575-1 is not prime. Res64: 6DD7901318125C7A Time : 0.0 sec. user=mdettweiler [2016-11-12 01:38:13] 723*2^1445575-1 is not prime. Res64: B17A128E6A7DE77C Time : 0.0 sec. user=mdettweiler [2016-11-12 01:38:14] 841*2^1445575-1 is not prime. Res64: 1940F758C5C38F4A Time : 0.0 sec. user=mdettweiler [2016-11-12 01:38:14] 913*2^1445575-1 is not prime. Res64: E5BB3AF0086510BA Time : 0.0 sec. user=mdettweiler [2016-11-12 01:44:01] 603*2^1445576-1 is not prime. Res64: A9D92CD7EC9E7F25 Time : 0.0 sec. user=mdettweiler [2016-11-12 01:44:01] 629*2^1445576-1 is not prime. Res64: DBDE339A9D6CE471 Time : 0.0 sec. user=mdettweiler [2016-11-12 01:44:02] 693*2^1445576-1 is not prime. Res64: 753C522635030BCA Time : 0.0 sec. user=mdettweiler [2016-11-12 01:44:02] 789*2^1445576-1 is not prime. Res64: B83A80FB2EF7273D Time : 0.0 sec. user=mdettweiler [2016-11-12 01:44:03] 803*2^1445576-1 is not prime. Res64: C1669E5F94FA572E Time : 0.0 sec. user=mdettweiler [2016-11-12 02:03:53] 843*2^1445576-1 is not prime. Res64: B332405C47254432 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:03:54] 685*2^1445577-1 is not prime. Res64: 0382D79967B2E6BB Time : 0.0 sec. user=mdettweiler [2016-11-12 02:03:55] 717*2^1445577-1 is not prime. Res64: 8DBC43655936D491 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:03:56] 741*2^1445577-1 is not prime. Res64: 31AD21EBA5EE7085 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:03:57] 759*2^1445577-1 is not prime. Res64: 7A78644947DA6159 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:09:17] 765*2^1445577-1 is not prime. Res64: DB916DB8C8650964 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:09:17] 867*2^1445577-1 is not prime. Res64: 77F8DCC41EC2CE45 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:09:18] 871*2^1445577-1 is not prime. Res64: 882CED1997B91F66 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:09:18] 997*2^1445577-1 is not prime. Res64: B1082037E87A7C65 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:09:19] 617*2^1445578-1 is not prime. Res64: BAA754680B3D8890 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:22:59] 747*2^1445578-1 is not prime. Res64: 108993126E3FA8AF Time : 0.0 sec. user=mdettweiler [2016-11-12 02:23:00] 845*2^1445578-1 is not prime. Res64: 5072A49AB7E87EDE Time : 0.0 sec. user=mdettweiler [2016-11-12 02:23:00] 923*2^1445578-1 is not prime. Res64: 67E29EF66DEABD1D Time : 0.0 sec. user=mdettweiler [2016-11-12 02:23:01] 945*2^1445578-1 is not prime. Res64: 9E2D2470CEAA8A3B Time : 0.0 sec. user=mdettweiler [2016-11-12 02:23:01] 975*2^1445578-1 is not prime. Res64: 69B0C2DDCC0573BC Time : 0.0 sec. user=mdettweiler [2016-11-12 02:28:52] 649*2^1445579-1 is not prime. Res64: 4150537EA7BA8637 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:28:53] 745*2^1445579-1 is not prime. Res64: DF5C64B6B8891BE4 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:28:53] 939*2^1445579-1 is not prime. Res64: D223BFA8362028CB Time : 0.0 sec. user=mdettweiler [2016-11-12 02:28:54] 669*2^1445580-1 is not prime. Res64: 6BFA183F00E6B373 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:28:55] 675*2^1445580-1 is not prime. Res64: 8E046B17CD48E829 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:48:47] 753*2^1445580-1 is not prime. Res64: CAADCE41198ECBE8 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:48:47] 767*2^1445580-1 is not prime. Res64: E347F85ED3BF387B Time : 0.0 sec. user=mdettweiler [2016-11-12 02:48:47] 803*2^1445580-1 is not prime. Res64: 11BDC04E55577101 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:48:48] 863*2^1445580-1 is not prime. Res64: A669AB585C8382F4 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:48:48] 999*2^1445580-1 is not prime. Res64: 5268754E92D8C6FE Time : 0.0 sec. user=mdettweiler [2016-11-12 02:54:49] 679*2^1445581-1 is not prime. Res64: 7F496394D9AC1249 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:54:50] 715*2^1445581-1 is not prime. Res64: AA21C8ADF827EF73 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:54:50] 819*2^1445581-1 is not prime. Res64: 7C7588D8E7E21D56 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:54:51] 987*2^1445581-1 is not prime. Res64: 9B41457566790541 Time : 0.0 sec. user=mdettweiler [2016-11-12 02:54:51] 603*2^1445582-1 is not prime. Res64: 79E7213DA4E3FC24 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:08:37] 665*2^1445582-1 is not prime. Res64: 2A04547594FEB0C5 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:08:39] 683*2^1445582-1 is not prime. Res64: 0E58C4C15000F8D8 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:08:41] 761*2^1445582-1 is not prime. Res64: 4C710C1D7A634879 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:08:44] 621*2^1445583-1 is not prime. Res64: 6EBF40CE09F434FA Time : 0.0 sec. user=mdettweiler [2016-11-12 03:08:45] 663*2^1445583-1 is not prime. Res64: 5C91B3BD48B90495 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:14:44] 691*2^1445583-1 is not prime. Res64: 27C8ABA09B8F5DFA Time : 0.0 sec. user=mdettweiler [2016-11-12 03:14:44] 741*2^1445583-1 is not prime. Res64: CFD5432A0D2153D1 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:14:44] 823*2^1445583-1 is not prime. Res64: 4F3505AE62766F58 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:14:45] 849*2^1445583-1 is not prime. Res64: 8E610E735509EBD4 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:14:45] 859*2^1445583-1 is not prime. Res64: 7BD4E50D44DDD1AD Time : 0.0 sec. user=mdettweiler [2016-11-12 03:34:48] 933*2^1445583-1 is not prime. Res64: 184D3BEE0E9DFF34 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:34:50] 949*2^1445583-1 is not prime. Res64: 3029DE0D1462729D Time : 0.0 sec. user=mdettweiler [2016-11-12 03:34:51] 985*2^1445583-1 is not prime. Res64: 63F2EBB0D255A355 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:34:51] 699*2^1445584-1 is not prime. Res64: 9FC2EF08DFCA5FA7 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:34:52] 803*2^1445584-1 is not prime. Res64: E15FEB0059C81288 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:40:15] 887*2^1445584-1 is not prime. Res64: 51E8D1B8049064B8 Time : 0.0 sec. user=mdettweiler [2016-11-12 03:59:18] 955*2^1445585-1 is not prime. Res64: 68E78FEC358E5B73 Time : 0.0 sec. user=mdettweiler [2016-11-12 04:09:10] 787*2^1445585-1 is not prime. Res64: A8524A4CBD1C094C Time : 0.0 sec. user=mdettweiler [2016-11-12 04:22:28] 725*2^1445586-1 is not prime. Res64: 98344F06CC8C9C83 Time : 0.0 sec. user=mdettweiler [2016-11-12 04:22:32] 755*2^1445586-1 is not prime. Res64: 6CCB308C13441CC2 Time : 0.0 sec. user=mdettweiler [2016-11-12 04:22:36] 765*2^1445586-1 is not prime. Res64: 6BDF64F94EF15010 Time : 0.0 sec. user=mdettweiler [2016-11-12 04:22:39] 767*2^1445586-1 is not prime. Res64: 6A024BB3D844998D Time : 0.0 sec. user=mdettweiler [2016-11-12 04:22:41] 843*2^1445586-1 is not prime. Res64: 4D250C682091A28B Time : 0.0 sec. user=mdettweiler [2016-11-12 05:17:03] 917*2^1445586-1 is not prime. Res64: 5869F85B62C9CA75 Time : 0.0 sec. user=mdettweiler [2016-11-12 05:17:03] 993*2^1445586-1 is not prime. Res64: 58659C9470CB963A Time : 0.0 sec. user=mdettweiler [2016-11-12 05:17:04] 615*2^1445587-1 is not prime. Res64: E046A0A1FE80A708 Time : 0.0 sec. user=mdettweiler [2016-11-12 05:17:04] 625*2^1445587-1 is not prime. Res64: 648C8070FED9906B Time : 0.0 sec. user=mdettweiler [2016-11-12 05:17:05] 759*2^1445587-1 is not prime. Res64: 0808D0F223C26BE6 Time : 0.0 sec. user=mdettweiler [2016-11-12 06:11:00] 805*2^1445587-1 is not prime. Res64: D39823B7CAF0DB76 Time : 0.0 sec. user=mdettweiler [2016-11-12 06:11:01] 979*2^1445587-1 is not prime. Res64: AA690634C60E3DA0 Time : 0.0 sec. user=mdettweiler [2016-11-12 06:11:01] 999*2^1445587-1 is not prime. Res64: 3D59A1E5BDC7F04F Time : 0.0 sec. user=mdettweiler [2016-11-12 06:11:02] 615*2^1445588-1 is not prime. Res64: 23CE3BB8D40E4B0C Time : 0.0 sec. user=mdettweiler [2016-11-12 06:11:02] 617*2^1445588-1 is not prime. Res64: F3A9FC5F1454FC12 Time : 0.0 sec. user=mdettweiler [2016-11-12 07:05:06] 623*2^1445588-1 is not prime. Res64: CB1464108FEDD187 Time : 0.0 sec. user=mdettweiler [2016-11-12 07:05:09] 669*2^1445588-1 is not prime. Res64: 6AC66752AB499EB2 Time : 0.0 sec. user=mdettweiler [2016-11-12 07:05:11] 707*2^1445588-1 is not prime. Res64: E7DD2576E8257DCE Time : 0.0 sec. user=mdettweiler [2016-11-12 07:05:14] 759*2^1445588-1 is not prime. Res64: 87B0B3B07E7236BC Time : 0.0 sec. user=mdettweiler [2016-11-12 07:05:15] 855*2^1445588-1 is not prime. Res64: 5C50772112C3D908 Time : 0.0 sec. user=mdettweiler [2016-11-12 07:59:20] 869*2^1445588-1 is not prime. Res64: 9846950F78F9875E Time : 0.0 sec. user=mdettweiler [2016-11-12 07:59:21] 885*2^1445588-1 is not prime. Res64: B2B814AD8CCD84ED Time : 0.0 sec. user=mdettweiler [2016-11-12 07:59:21] 927*2^1445588-1 is not prime. Res64: 15687F0D3E7FE417 Time : 0.0 sec. user=mdettweiler [2016-11-12 07:59:22] 621*2^1445589-1 is not prime. Res64: ED9FB552A1FD4956 Time : 0.0 sec. user=mdettweiler [2016-11-12 07:59:22] 649*2^1445589-1 is not prime. Res64: BE8B56634725C608 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:00:13] 661*2^1445589-1 is not prime. Res64: 3B59E568A2DD6A73 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:00:14] 691*2^1445589-1 is not prime. Res64: 27DE053245B5E8BA Time : 0.0 sec. user=mdettweiler [2016-11-12 09:00:15] 787*2^1445589-1 is not prime. Res64: AD74452896741D8F Time : 0.0 sec. user=mdettweiler [2016-11-12 09:00:17] 951*2^1445589-1 is not prime. Res64: 1A90BC0723F20DD4 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:00:21] 969*2^1445589-1 is not prime. Res64: B29A215C07474CFF Time : 0.0 sec. user=mdettweiler [2016-11-12 09:00:53] 927*2^1445584-1 is not prime. Res64: DD3332C3689393B5 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:00:54] 995*2^1445584-1 is not prime. Res64: 42EB59611194F18C Time : 0.0 sec. user=mdettweiler [2016-11-12 09:00:55] 657*2^1445585-1 is not prime. Res64: EE8455FE895A1AA8 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:00:56] 775*2^1445585-1 is not prime. Res64: B446F346F6A4584E Time : 0.0 sec. user=mdettweiler [2016-11-12 09:52:14] 633*2^1445586-1 is not prime. Res64: 21483F2B3AC99C88 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:52:14] 635*2^1445586-1 is not prime. Res64: 42855FCBFB37934C Time : 0.0 sec. user=mdettweiler [2016-11-12 09:52:15] 653*2^1445586-1 is not prime. Res64: 549F7843D068A27C Time : 0.0 sec. user=mdettweiler [2016-11-12 09:52:15] 723*2^1445586-1 is not prime. Res64: DDCFEEB39EEF3F99 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:58:27] 811*2^1445585-1 is not prime. Res64: 932E2EA6CE777B08 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:58:27] 837*2^1445585-1 is not prime. Res64: D28288A47B014467 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:58:28] 847*2^1445585-1 is not prime. Res64: DBBA7A1DBBC0714C Time : 0.0 sec. user=mdettweiler [2016-11-12 09:58:28] 949*2^1445585-1 is not prime. Res64: 4E3ED198B057F39E Time : 0.0 sec. user=mdettweiler [2016-11-12 09:59:55] 665*2^1445590-1 is not prime. Res64: 92E2A95F7FE46138 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:59:55] 677*2^1445590-1 is not prime. Res64: C9115AE5C2963102 Time : 0.0 sec. user=mdettweiler [2016-11-12 09:59:55] 681*2^1445590-1 is not prime. Res64: 756B10AE277D8EDE Time : 0.0 sec. user=mdettweiler [2016-11-12 09:59:56] 713*2^1445590-1 is not prime. Res64: C1409ECA51AA50DA Time : 0.0 sec. user=mdettweiler [2016-11-12 09:59:56] 755*2^1445590-1 is not prime. Res64: EDB887425DCD93F6 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:01:45] 765*2^1445590-1 is not prime. Res64: ACE7C8A3157DAA11 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:01:47] 861*2^1445590-1 is not prime. Res64: 4785A8D9DAF8FDF9 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:01:48] 615*2^1445591-1 is not prime. Res64: 8DE899AE44286B71 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:01:49] 675*2^1445591-1 is not prime. Res64: FFDF58695897DBA2 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:01:50] 715*2^1445591-1 is not prime. Res64: F38CA5983E50DBF2 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:43:09] 783*2^1445591-1 is not prime. Res64: D68790752E165315 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:43:10] 855*2^1445591-1 is not prime. Res64: 652BF9762E820BB3 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:43:10] 895*2^1445591-1 is not prime. Res64: D6C7F37F2B1E9849 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:43:10] 759*2^1445592-1 is not prime. Res64: BCF8BF43F955D4B1 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:43:11] 903*2^1445592-1 is not prime. Res64: 26E5C996482C3E63 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:47:21] 705*2^1445593-1 is not prime. Res64: 448095E4BDBC3D1D Time : 0.0 sec. user=mdettweiler [2016-11-12 10:47:22] 801*2^1445593-1 is not prime. Res64: E7108571C03FA47A Time : 0.0 sec. user=mdettweiler [2016-11-12 10:47:22] 855*2^1445593-1 is not prime. Res64: 3264AE872EF6A49A Time : 0.0 sec. user=mdettweiler [2016-11-12 10:47:23] 897*2^1445593-1 is not prime. Res64: D722AE1D43167608 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:47:23] 671*2^1445594-1 is not prime. Res64: 378E05E315BE2C32 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:49:21] 677*2^1445594-1 is not prime. Res64: AAD39E0283D7F8AF Time : 0.0 sec. user=mdettweiler [2016-11-12 10:49:22] 701*2^1445594-1 is not prime. Res64: 4C17BB38223D9E4A Time : 0.0 sec. user=mdettweiler [2016-11-12 10:49:22] 797*2^1445594-1 is not prime. Res64: A0A507794343BAAB Time : 0.0 sec. user=mdettweiler [2016-11-12 10:49:23] 827*2^1445594-1 is not prime. Res64: F7F75053A26ADFA4 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:49:23] 837*2^1445594-1 is not prime. Res64: 41E5CF486C0A3425 Time : 0.0 sec. user=mdettweiler [2016-11-12 10:51:04] 923*2^1445594-1 is not prime. Res64: C6E3BFEE51D07EFE Time : 0.0 sec. user=mdettweiler [2016-11-12 10:51:05] 987*2^1445594-1 is not prime. Res64: 1E52E2E2401B907F Time : 0.0 sec. user=mdettweiler [2016-11-12 10:51:05] 663*2^1445595-1 is not prime. Res64: B4081961453C365A Time : 0.0 sec. user=mdettweiler [2016-11-12 10:51:05] 685*2^1445595-1 is not prime. Res64: 049CE284B8A1985C Time : 0.0 sec. user=mdettweiler [2016-11-12 10:51:06] 699*2^1445595-1 is not prime. Res64: EA3F9848BC40A371 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:28:14] 735*2^1445595-1 is not prime. Res64: 24F1130928735AE9 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:28:14] 741*2^1445595-1 is not prime. Res64: 0477D98746445C90 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:28:15] 751*2^1445595-1 is not prime. Res64: 7FB7154C8CFD82D7 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:28:15] 753*2^1445595-1 is not prime. Res64: 172ABF2A15AB7BF0 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:28:15] 765*2^1445595-1 is not prime. Res64: B394C65492067547 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:32:21] 849*2^1445595-1 is not prime. Res64: 69F493A9157EA076 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:32:21] 873*2^1445595-1 is not prime. Res64: BD5413826B01B94E Time : 0.0 sec. user=mdettweiler [2016-11-12 11:32:22] 743*2^1445596-1 is not prime. Res64: BF90F7501FDEEC02 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:32:22] 777*2^1445596-1 is not prime. Res64: D8362222752DCC47 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:32:22] 803*2^1445596-1 is not prime. Res64: 8FEAEDD8B7FFA088 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:34:15] 843*2^1445596-1 is not prime. Res64: 19D7F8C638228CD3 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:34:15] 845*2^1445596-1 is not prime. Res64: 9DF9E6057960FD96 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:34:16] 869*2^1445596-1 is not prime. Res64: 5E9C0F1FC7EC3674 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:34:16] 923*2^1445596-1 is not prime. Res64: E2CA0EAAE790B08C Time : 0.0 sec. user=mdettweiler [2016-11-12 11:34:17] 621*2^1445597-1 is not prime. Res64: 8C1255243AA979F3 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:35:52] 631*2^1445597-1 is not prime. Res64: 469399F7A2ADB0C0 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:35:52] 675*2^1445597-1 is not prime. Res64: 89A9C69AB95396EC Time : 0.0 sec. user=mdettweiler [2016-11-12 11:35:52] 859*2^1445597-1 is not prime. Res64: 9E8369B32AB7F0B4 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:35:53] 861*2^1445597-1 is not prime. Res64: 5BC31DBBA08B0A12 Time : 0.0 sec. user=mdettweiler [2016-11-12 11:35:53] 879*2^1445597-1 is not prime. Res64: 202B28E61C5D136D Time : 0.0 sec. user=mdettweiler [2016-11-12 12:13:07] 937*2^1445597-1 is not prime. Res64: 7039885938E27A57 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:13:07] 657*2^1445598-1 is not prime. Res64: BD8FD5FD5BFC0C41 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:13:08] 755*2^1445598-1 is not prime. Res64: 0B97CE103C437F30 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:13:08] 821*2^1445598-1 is not prime. Res64: 50DCF3B8F562006D Time : 0.0 sec. user=mdettweiler [2016-11-12 12:13:09] 625*2^1445599-1 is not prime. Res64: 1269B29383E6F8D1 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:17:09] 645*2^1445599-1 is not prime. Res64: AF7613A541429CD3 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:17:09] 705*2^1445599-1 is not prime. Res64: 0E0F40F845B4F28D Time : 0.0 sec. user=mdettweiler [2016-11-12 12:17:10] 969*2^1445599-1 is not prime. Res64: 071A22047F74E84E Time : 0.0 sec. user=mdettweiler [2016-11-12 12:17:10] 665*2^1445600-1 is not prime. Res64: 69407665C4B3AEB4 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:17:11] 669*2^1445600-1 is not prime. Res64: 6651828777486E57 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:19:14] 767*2^1445600-1 is not prime. Res64: F3F17D27E59005C8 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:19:14] 777*2^1445600-1 is not prime. Res64: 85C3C36A2F7A92FC Time : 0.0 sec. user=mdettweiler [2016-11-12 12:19:14] 915*2^1445600-1 is not prime. Res64: 963D6FB6A01C0F7A Time : 0.0 sec. user=mdettweiler [2016-11-12 12:19:15] 681*2^1445601-1 is not prime. Res64: 7D788C3BFA318CF1 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:19:15] 909*2^1445601-1 is not prime. Res64: 107D604AEE46B4D7 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:20:55] 955*2^1445601-1 is not prime. Res64: 27D2F8AE44C04EEC Time : 0.0 sec. user=mdettweiler [2016-11-12 12:20:56] 979*2^1445601-1 is not prime. Res64: 2C29DAB3BA09BAD9 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:20:56] 991*2^1445601-1 is not prime. Res64: E73851F53EFD66C9 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:20:56] 617*2^1445602-1 is not prime. Res64: 9A2EDBA2C0193AF1 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:20:57] 833*2^1445602-1 is not prime. Res64: 3FE54C0C38245953 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:58:00] 867*2^1445602-1 is not prime. Res64: 4B8C847C14A4FDC5 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:58:01] 917*2^1445602-1 is not prime. Res64: BCB93CFEE39430AD Time : 0.0 sec. user=mdettweiler [2016-11-12 12:58:01] 923*2^1445602-1 is not prime. Res64: BF54F358EB09A7BE Time : 0.0 sec. user=mdettweiler [2016-11-12 12:58:02] 621*2^1445603-1 is not prime. Res64: C1BA890B5FD1B5C0 Time : 0.0 sec. user=mdettweiler [2016-11-12 12:58:02] 631*2^1445603-1 is not prime. Res64: FE181AF68D07F8FE Time : 0.0 sec. user=mdettweiler [2016-11-12 13:01:54] 693*2^1445603-1 is not prime. Res64: 6BC0A3379FA39D3D Time : 0.0 sec. user=mdettweiler [2016-11-12 13:01:56] 783*2^1445603-1 is not prime. Res64: F7B6BAAE49F4A3B7 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:01:57] 853*2^1445603-1 is not prime. Res64: 4444D6902FDC33BE Time : 0.0 sec. user=mdettweiler [2016-11-12 13:01:58] 943*2^1445603-1 is not prime. Res64: AEDAD576C2ED114E Time : 0.0 sec. user=mdettweiler [2016-11-12 13:01:59] 981*2^1445603-1 is not prime. Res64: C3639242D0B31232 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:04:05] 689*2^1445604-1 is not prime. Res64: E027F1DEFDC5C3E4 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:04:06] 693*2^1445604-1 is not prime. Res64: B1C0894DDAF5DE22 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:04:07] 725*2^1445604-1 is not prime. Res64: B836C97FB4D47C19 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:04:08] 873*2^1445604-1 is not prime. Res64: 262052797AFC1800 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:04:09] 875*2^1445604-1 is not prime. Res64: 8EAB239973D2EDAF Time : 0.0 sec. user=mdettweiler [2016-11-12 13:05:40] 903*2^1445604-1 is not prime. Res64: 63922B7FE59F5881 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:05:42] 927*2^1445604-1 is not prime. Res64: D0FDCE8F379B3160 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:05:43] 759*2^1445605-1 is not prime. Res64: 4260DF9B34F79A05 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:05:44] 861*2^1445605-1 is not prime. Res64: BCFAE0CF69090B59 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:05:45] 885*2^1445605-1 is not prime. Res64: 4A2A025144F4CD66 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:42:52] 897*2^1445605-1 is not prime. Res64: D5CD6469CE7B4320 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:42:53] 999*2^1445605-1 is not prime. Res64: 45EC1EB2C050179B Time : 0.0 sec. user=mdettweiler [2016-11-12 13:42:56] 635*2^1445606-1 is not prime. Res64: DE43DF2FF7038B34 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:42:57] 683*2^1445606-1 is not prime. Res64: F2DE066EBD0D19D2 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:42:57] 707*2^1445606-1 is not prime. Res64: 2985770A3A8A71A1 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:47:10] 873*2^1445606-1 is not prime. Res64: 47EC915CCE31E07F Time : 0.0 sec. user=mdettweiler [2016-11-12 13:47:10] 893*2^1445606-1 is not prime. Res64: B15C326F9589CE54 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:47:11] 897*2^1445606-1 is not prime. Res64: C10EDF1525F9AD86 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:47:11] 739*2^1445607-1 is not prime. Res64: D3983DF17BE9B06C Time : 0.0 sec. user=mdettweiler [2016-11-12 13:47:12] 819*2^1445607-1 is not prime. Res64: 85F954703DBEBE0A Time : 0.0 sec. user=mdettweiler [2016-11-12 13:49:12] 843*2^1445607-1 is not prime. Res64: 31958B3D6E2F7C82 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:49:12] 859*2^1445607-1 is not prime. Res64: 67518CC10516FE6C Time : 0.0 sec. user=mdettweiler [2016-11-12 13:49:12] 885*2^1445607-1 is not prime. Res64: D8E3BEF38F1BF379 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:49:13] 955*2^1445607-1 is not prime. Res64: DFAC000A94F2366F Time : 0.0 sec. user=mdettweiler [2016-11-12 13:49:13] 961*2^1445607-1 is not prime. Res64: 4507C45E1FEDBC77 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:50:46] 979*2^1445607-1 is not prime. Res64: E3704D00AF937AA5 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:50:47] 665*2^1445608-1 is not prime. Res64: D1A4513A7545166E Time : 0.0 sec. user=mdettweiler [2016-11-12 13:50:47] 735*2^1445608-1 is not prime. Res64: F32486F45CF9F2CB Time : 0.0 sec. user=mdettweiler [2016-11-12 13:50:47] 825*2^1445608-1 is not prime. Res64: BAB4963D804CC484 Time : 0.0 sec. user=mdettweiler [2016-11-12 13:50:48] 827*2^1445608-1 is not prime. Res64: DB4AB53A5EAC0C9B Time : 0.0 sec. user=mdettweiler [2016-11-12 14:28:07] 869*2^1445608-1 is not prime. Res64: 78FCCC94F89E2A0D Time : 0.0 sec. user=mdettweiler [2016-11-12 14:28:07] 619*2^1445609-1 is not prime. Res64: CE60C2B03018F242 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:28:08] 735*2^1445609-1 is not prime. Res64: E7B86876F9166B86 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:28:08] 771*2^1445609-1 is not prime. Res64: 811AA6BF048033C4 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:28:09] 811*2^1445609-1 is not prime. Res64: AC9CABEC1B5A615A Time : 0.0 sec. user=mdettweiler [2016-11-12 14:32:03] 841*2^1445609-1 is not prime. Res64: 9E586A0B3692E0F0 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:32:04] 867*2^1445609-1 is not prime. Res64: 3EF93ABCDEB5AE4F Time : 0.0 sec. user=mdettweiler [2016-11-12 14:32:04] 939*2^1445609-1 is not prime. Res64: C37D342E58FC610B Time : 0.0 sec. user=mdettweiler [2016-11-12 14:32:05] 677*2^1445610-1 is not prime. Res64: 10D3090DBB162ACD Time : 0.0 sec. user=mdettweiler [2016-11-12 14:32:05] 933*2^1445610-1 is not prime. Res64: F0FBB05633A62545 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:34:25] 603*2^1445611-1 is not prime. Res64: 3D4758FFDC3FD07E Time : 0.0 sec. user=mdettweiler [2016-11-12 14:34:25] 619*2^1445611-1 is not prime. Res64: 1822C051F34925D0 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:34:25] 663*2^1445611-1 is not prime. Res64: 7729965ACCC4A864 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:34:26] 723*2^1445611-1 is not prime. Res64: D3CE5267966A5D1A Time : 0.0 sec. user=mdettweiler [2016-11-12 14:34:26] 745*2^1445611-1 is not prime. Res64: 4B956A255C29A08D Time : 0.0 sec. user=mdettweiler [2016-11-12 14:35:38] 615*2^1445612-1 is not prime. Res64: 8AC55FE190D76743 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:35:38] 675*2^1445612-1 is not prime. Res64: 3546C67B95223928 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:35:39] 777*2^1445612-1 is not prime. Res64: D67712C00A6D4125 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:35:40] 885*2^1445612-1 is not prime. Res64: 699C579400BCE086 Time : 0.0 sec. user=mdettweiler [2016-11-12 14:35:40] 899*2^1445612-1 is not prime. Res64: 30F79EB5F11DB7AB Time : 0.0 sec. user=mdettweiler [2016-11-12 15:13:09] 977*2^1445612-1 is not prime. Res64: 01916281141D717D Time : 0.0 sec. user=mdettweiler [2016-11-12 15:13:10] 625*2^1445613-1 is not prime. Res64: 23EFEFE3C82E92F0 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:13:10] 679*2^1445613-1 is not prime. Res64: C1204F014E9672B2 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:13:10] 861*2^1445613-1 is not prime. Res64: 9B3C5807B465C3B6 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:13:11] 927*2^1445613-1 is not prime. Res64: 31985FFCEFEBBDA8 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:16:55] 969*2^1445613-1 is not prime. Res64: 8701D3249C1856D8 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:16:55] 985*2^1445613-1 is not prime. Res64: 260BBEB013B43542 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:16:55] 611*2^1445614-1 is not prime. Res64: 2006D15A76E627A8 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:16:56] 723*2^1445614-1 is not prime. Res64: E7A04C3C2F80FC68 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:16:56] 773*2^1445614-1 is not prime. Res64: 3A3C74CD1CD72264 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:19:21] 861*2^1445614-1 is not prime. Res64: 35CC756B0569F034 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:19:22] 975*2^1445614-1 is not prime. Res64: B3B2DE9126653B24 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:19:22] 609*2^1445615-1 is not prime. Res64: 510E1BCC95C0590F Time : 0.0 sec. user=mdettweiler [2016-11-12 15:19:22] 619*2^1445615-1 is not prime. Res64: 1DE3AE00388C6029 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:19:23] 643*2^1445615-1 is not prime. Res64: AA824ABD2E24588B Time : 0.0 sec. user=mdettweiler [2016-11-12 15:20:32] 663*2^1445615-1 is not prime. Res64: D9863FD3C55CC3BF Time : 0.0 sec. user=mdettweiler [2016-11-12 15:20:32] 673*2^1445615-1 is not prime. Res64: 33831FD3C669B7F7 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:20:33] 735*2^1445615-1 is not prime. Res64: 7EAA7BA06DE71962 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:20:33] 741*2^1445615-1 is not prime. Res64: 3C6EAE5F0D016B7A Time : 0.0 sec. user=mdettweiler [2016-11-12 15:20:33] 783*2^1445615-1 is not prime. Res64: 60A6CA69CBA704EB Time : 0.0 sec. user=mdettweiler [2016-11-12 15:58:02] 831*2^1445615-1 is not prime. Res64: 6364FB2BABCF81B4 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:58:02] 859*2^1445615-1 is not prime. Res64: 8AFBF099A0219D48 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:58:03] 653*2^1445616-1 is not prime. Res64: 467BF61392F02A97 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:58:03] 657*2^1445616-1 is not prime. Res64: 3A76C5FCB0CA5327 Time : 0.0 sec. user=mdettweiler [2016-11-12 15:58:03] 707*2^1445616-1 is not prime. Res64: 5CAA3641E37A719B Time : 0.0 sec. user=mdettweiler [2016-11-12 16:01:47] 767*2^1445616-1 is not prime. Res64: 84DF5EAB14B2DE11 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:01:48] 825*2^1445616-1 is not prime. Res64: 8A89123E57B1C5A0 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:01:49] 969*2^1445616-1 is not prime. Res64: 4CB5803028F4BBC6 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:01:50] 983*2^1445616-1 is not prime. Res64: 365F1BBC0BDE9364 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:01:50] 999*2^1445616-1 is not prime. Res64: F6F3891E3AB36A7F Time : 0.0 sec. user=mdettweiler [2016-11-12 16:04:08] 661*2^1445617-1 is not prime. Res64: F656414A5A1244C7 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:04:10] 771*2^1445617-1 is not prime. Res64: E9D0A76AB86FEA88 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:04:15] 799*2^1445617-1 is not prime. Res64: C7A38207BBA52E44 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:04:17] 817*2^1445617-1 is not prime. Res64: 08D6436B7EC3662F Time : 0.0 sec. user=mdettweiler [2016-11-12 16:04:18] 633*2^1445618-1 is not prime. Res64: 5116D630D99F0ADD Time : 0.0 sec. user=mdettweiler [2016-11-12 16:05:22] 677*2^1445618-1 is not prime. Res64: 81CF5934DAB8947F Time : 0.0 sec. user=mdettweiler [2016-11-12 16:05:24] 683*2^1445618-1 is not prime. Res64: 2D8657DBA34A9C73 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:05:26] 705*2^1445618-1 is not prime. Res64: FEA57A2A6FB0BBAA Time : 0.0 sec. user=mdettweiler [2016-11-12 16:05:28] 893*2^1445618-1 is not prime. Res64: C45DA5A279072766 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:05:31] 935*2^1445618-1 is not prime. Res64: D41A7AE01C503254 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:43:06] 613*2^1445619-1 is not prime. Res64: 1FFE6C4BF751765F Time : 0.0 sec. user=mdettweiler [2016-11-12 16:43:07] 633*2^1445619-1 is not prime. Res64: 56F35D6192BE0AD8 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:43:08] 825*2^1445619-1 is not prime. Res64: E7488474687D61FB Time : 0.0 sec. user=mdettweiler [2016-11-12 16:43:09] 873*2^1445619-1 is not prime. Res64: 6F72CE3E1023AE38 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:43:09] 743*2^1445620-1 is not prime. Res64: 754512217D9684A9 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:46:42] 857*2^1445620-1 is not prime. Res64: D10BC9E1DF228F58 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:46:43] 863*2^1445620-1 is not prime. Res64: 3D2FA69F437E15A2 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:46:43] 959*2^1445620-1 is not prime. Res64: 1891BE73D9BB46AE Time : 0.0 sec. user=mdettweiler [2016-11-12 16:46:44] 995*2^1445620-1 is not prime. Res64: 0D2AFBF54DC4C896 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:46:44] 631*2^1445621-1 is not prime. Res64: 54831D42061CB27D Time : 0.0 sec. user=mdettweiler [2016-11-12 16:49:44] 727*2^1445621-1 is not prime. Res64: 07F2242F55AA7AF7 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:49:44] 747*2^1445621-1 is not prime. Res64: 98716A1B47998C83 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:49:45] 781*2^1445621-1 is not prime. Res64: 7B3D7CE2BE9E47BB Time : 0.0 sec. user=mdettweiler [2016-11-12 16:49:45] 865*2^1445621-1 is not prime. Res64: 3A808CA3A408EEA9 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:49:45] 907*2^1445621-1 is not prime. Res64: 9ADC667A271395BF Time : 0.0 sec. user=mdettweiler [2016-11-12 16:50:31] 997*2^1445621-1 is not prime. Res64: 93A09B91FC26A4A8 Time : 0.0 sec. user=mdettweiler [2016-11-12 16:50:32] 671*2^1445622-1 is not prime. Res64: 83244CE091DF6EEA Time : 0.0 sec. user=mdettweiler [2016-11-12 16:50:32] 683*2^1445622-1 is not prime. Res64: A4E623CAFD69584C Time : 0.0 sec. user=mdettweiler [2016-11-12 16:50:32] 693*2^1445622-1 is not prime. Res64: CA306E855498BBCA Time : 0.0 sec. user=mdettweiler [2016-11-12 16:50:33] 815*2^1445622-1 is not prime. Res64: E56D255433CE274B Time : 0.0 sec. user=mdettweiler [2016-11-12 17:28:14] 843*2^1445622-1 is not prime. Res64: A819465F358B5FD2 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:28:15] 915*2^1445622-1 is not prime. Res64: 58E57807073EBB37 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:28:15] 963*2^1445622-1 is not prime. Res64: DB64DBE1229CD069 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:28:15] 983*2^1445622-1 is not prime. Res64: D6AA62D1CD2F4C4D Time : 0.0 sec. user=mdettweiler [2016-11-12 17:28:16] 609*2^1445623-1 is not prime. Res64: EC34341C87EE8888 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:31:40] 633*2^1445623-1 is not prime. Res64: 95FB2773B4040957 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:31:40] 709*2^1445623-1 is not prime. Res64: 828B5B18F6415BCC Time : 0.0 sec. user=mdettweiler [2016-11-12 17:31:41] 723*2^1445623-1 is not prime. Res64: A90020CEE96357E6 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:31:41] 745*2^1445623-1 is not prime. Res64: D6BF69163A2A8462 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:31:41] 859*2^1445623-1 is not prime. Res64: 0921D6329D0BF7DF Time : 0.0 sec. user=mdettweiler [2016-11-12 17:34:36] 933*2^1445623-1 is not prime. Res64: 23CC401D5F12C81C Time : 0.0 sec. user=mdettweiler [2016-11-12 17:34:37] 819*2^1445624-1 is not prime. Res64: 7D31756B4FDA8B8E Time : 0.0 sec. user=mdettweiler [2016-11-12 17:34:37] 869*2^1445624-1 is not prime. Res64: 82E0B3C984EF3CB9 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:34:38] 917*2^1445624-1 is not prime. Res64: 9815458362E3E138 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:34:38] 945*2^1445624-1 is not prime. Res64: E3F45547EDA3C7E8 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:35:30] 691*2^1445625-1 is not prime. Res64: 02E8646B4D935DC8 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:35:30] 739*2^1445625-1 is not prime. Res64: EA9DED3EF29C169E Time : 0.0 sec. user=mdettweiler [2016-11-12 17:35:30] 787*2^1445625-1 is not prime. Res64: DDDB097DB13CD646 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:35:31] 817*2^1445625-1 is not prime. Res64: 7FD7CCC25E5FE643 Time : 0.0 sec. user=mdettweiler [2016-11-12 17:35:31] 979*2^1445625-1 is not prime. Res64: F2445518EC405788 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:13:13] 985*2^1445625-1 is not prime. Res64: F4947D2C8429C984 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:13:13] 633*2^1445626-1 is not prime. Res64: A7D2569AF6EA93E9 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:13:14] 765*2^1445626-1 is not prime. Res64: E183BA303C27937B Time : 0.0 sec. user=mdettweiler [2016-11-12 18:13:14] 783*2^1445626-1 is not prime. Res64: D1C7F0957A2E1B77 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:13:15] 815*2^1445626-1 is not prime. Res64: 46275A3D61F1825F Time : 0.0 sec. user=mdettweiler [2016-11-12 18:16:27] 857*2^1445626-1 is not prime. Res64: 474DCA1CA21D8C28 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:16:27] 945*2^1445626-1 is not prime. Res64: 0A121B92F9CB1EE9 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:16:28] 957*2^1445626-1 is not prime. Res64: 5622F00B48A196C3 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:16:28] 601*2^1445627-1 is not prime. Res64: 9D09D1E3AE6359C6 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:16:28] 633*2^1445627-1 is not prime. Res64: 475BE05DDF0A627A Time : 0.0 sec. user=mdettweiler [2016-11-12 18:19:42] 655*2^1445627-1 is not prime. Res64: BB9052267EECA758 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:19:43] 889*2^1445627-1 is not prime. Res64: C99E8543EB8B3199 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:19:43] 647*2^1445628-1 is not prime. Res64: 861FCB9177783FD3 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:19:43] 765*2^1445628-1 is not prime. Res64: 2243D849A0520885 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:19:44] 923*2^1445628-1 is not prime. Res64: ACA311B0ED53F068 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:20:19] 999*2^1445628-1 is not prime. Res64: F03F58EF80785497 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:20:19] 615*2^1445629-1 is not prime. Res64: 8FC5266B78546679 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:20:20] 757*2^1445629-1 is not prime. Res64: BAF2100555D6B79F Time : 0.0 sec. user=mdettweiler [2016-11-12 18:20:20] 759*2^1445629-1 is not prime. Res64: D402DAB2FF9F6501 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:20:20] 825*2^1445629-1 is not prime. Res64: ABC7C7B9AEA2F228 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:58:06] 897*2^1445629-1 is not prime. Res64: A4495C0C0FBA3AE2 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:58:07] 951*2^1445629-1 is not prime. Res64: 44A57AEEF1FB1D05 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:58:07] 957*2^1445629-1 is not prime. Res64: 9967397ED8D5F792 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:58:08] 615*2^1445630-1 is not prime. Res64: FDAA17F28649D9F3 Time : 0.0 sec. user=mdettweiler [2016-11-12 18:58:08] 663*2^1445630-1 is not prime. Res64: 6B8DE2DADFB714C6 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:01:23] 741*2^1445630-1 is not prime. Res64: 35FF379BF6EFBC31 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:01:24] 753*2^1445630-1 is not prime. Res64: F36ADC8A53663947 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:01:25] 755*2^1445630-1 is not prime. Res64: F8BF7BF1FB1574B6 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:01:26] 827*2^1445630-1 is not prime. Res64: 9C92C4C0E23D44E8 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:01:27] 831*2^1445630-1 is not prime. Res64: 739B64B2283A5FC3 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:04:39] 857*2^1445630-1 is not prime. Res64: 5576A33CFFE74F5B Time : 0.0 sec. user=mdettweiler [2016-11-12 19:04:42] 861*2^1445630-1 is not prime. Res64: 202C8E78D0F09A08 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:04:44] 893*2^1445630-1 is not prime. Res64: 090C6C4BC801511B Time : 0.0 sec. user=mdettweiler [2016-11-12 19:04:47] 921*2^1445630-1 is not prime. Res64: D01C72783DE3DC33 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:04:51] 935*2^1445630-1 is not prime. Res64: A06A78FD350E5649 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:05:14] 613*2^1445631-1 is not prime. Res64: 2A8764BF70FC9760 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:05:17] 615*2^1445631-1 is not prime. Res64: 684AE5D51FC068A4 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:05:19] 661*2^1445631-1 is not prime. Res64: 0CE9DEFB7159175B Time : 0.0 sec. user=mdettweiler [2016-11-12 19:05:21] 693*2^1445631-1 is not prime. Res64: E79B1F3CE6B7911F Time : 0.0 sec. user=mdettweiler [2016-11-12 19:05:27] 865*2^1445631-1 is not prime. Res64: 5F3E8FF1C26F7363 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:43:05] 879*2^1445631-1 is not prime. Res64: 1BD11911B8213DBE Time : 0.0 sec. user=mdettweiler [2016-11-12 19:43:06] 895*2^1445631-1 is not prime. Res64: 4708F014DFF93DA3 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:43:08] 615*2^1445632-1 is not prime. Res64: 8A63333E5646976D Time : 0.0 sec. user=mdettweiler [2016-11-12 19:43:09] 645*2^1445632-1 is not prime. Res64: 772E22F40998E216 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:43:10] 653*2^1445632-1 is not prime. Res64: E5B1AC52AE1EAE55 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:46:19] 689*2^1445632-1 is not prime. Res64: FC6F19E09CD4D4E4 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:46:20] 719*2^1445632-1 is not prime. Res64: 895F3FEC7F59DC3B Time : 0.0 sec. user=mdettweiler [2016-11-12 19:46:21] 755*2^1445632-1 is not prime. Res64: C0FFC56E629D3826 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:46:22] 777*2^1445632-1 is not prime. Res64: 67FFC31D8D1D3E9C Time : 0.0 sec. user=mdettweiler [2016-11-12 19:46:22] 797*2^1445632-1 is not prime. Res64: 07732829C63F6073 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:50:09] 825*2^1445632-1 is not prime. Res64: DF3CE86CFEE3C596 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:50:09] 827*2^1445632-1 is not prime. Res64: 7F13A6EFB24ED1A0 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:50:10] 857*2^1445632-1 is not prime. Res64: 14C86ED00A44A313 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:50:10] 869*2^1445632-1 is not prime. Res64: 58F8C79E623AEC4E Time : 0.0 sec. user=mdettweiler [2016-11-12 19:50:10] 619*2^1445633-1 is not prime. Res64: 01C72113923F81F8 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:50:35] 691*2^1445633-1 is not prime. Res64: F72FEA98C3CCD6B3 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:50:35] 721*2^1445633-1 is not prime. Res64: D52DC9BFB30EC421 Time : 0.0 sec. user=mdettweiler [2016-11-12 19:50:36] 829*2^1445633-1 is not prime. Res64: 2288C65E6BE1AF8C Time : 0.0 sec. user=mdettweiler [2016-11-12 19:50:36] 611*2^1445634-1 is not prime. Res64: 1C779DB032AD75CB Time : 0.0 sec. user=mdettweiler [2016-11-12 19:50:37] 657*2^1445634-1 is not prime. Res64: 84BA010E72CC6834 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:28:05] 671*2^1445634-1 is not prime. Res64: 895B16DBA41BE8CF Time : 0.0 sec. user=mdettweiler [2016-11-12 20:28:06] 825*2^1445634-1 is not prime. Res64: E52A9D9560CEC35E Time : 0.0 sec. user=mdettweiler [2016-11-12 20:28:06] 861*2^1445634-1 is not prime. Res64: B6D17A39F3F1E296 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:28:07] 921*2^1445634-1 is not prime. Res64: A4168751B3307084 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:28:07] 945*2^1445634-1 is not prime. Res64: B7C4B67477724658 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:31:26] 971*2^1445634-1 is not prime. Res64: 0F10C11E5A63E24D Time : 0.0 sec. user=mdettweiler [2016-11-12 20:31:26] 619*2^1445635-1 is not prime. Res64: 0394CBF811DB30E1 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:31:27] 775*2^1445635-1 is not prime. Res64: 3D69077385F319B5 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:31:27] 859*2^1445635-1 is not prime. Res64: B5FC6FD8C2775EDA Time : 0.0 sec. user=mdettweiler [2016-11-12 20:31:27] 861*2^1445635-1 is not prime. Res64: F93D1100CBD61DBB Time : 0.0 sec. user=mdettweiler [2016-11-12 20:35:20] 615*2^1445636-1 is not prime. Res64: 9DAB86AA853B0ADC Time : 0.0 sec. user=mdettweiler [2016-11-12 20:35:20] 629*2^1445636-1 is not prime. Res64: F34774B80D712FCB Time : 0.0 sec. user=mdettweiler [2016-11-12 20:35:21] 903*2^1445636-1 is not prime. Res64: 4F23A696C3E812E7 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:35:21] 999*2^1445636-1 is not prime. Res64: 2983017B7C6B55BD Time : 0.0 sec. user=mdettweiler [2016-11-12 20:35:21] 681*2^1445637-1 is not prime. Res64: BB038EB141518B76 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:35:42] 795*2^1445637-1 is not prime. Res64: B7FF69B13850784C Time : 0.0 sec. user=mdettweiler [2016-11-12 20:35:42] 955*2^1445637-1 is not prime. Res64: AAF49A76F1419159 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:35:43] 623*2^1445638-1 is not prime. Res64: D16B42C93F53FA38 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:35:43] 647*2^1445638-1 is not prime. Res64: 06431E66E2B06F49 Time : 0.0 sec. user=mdettweiler [2016-11-12 20:35:43] 657*2^1445638-1 is not prime. Res64: 5E57C407CCA1005B Time : 0.0 sec. user=mdettweiler [2016-11-12 21:16:07] 665*2^1445638-1 is not prime. Res64: E7C09F10570A344C Time : 0.0 sec. user=mdettweiler [2016-11-12 21:16:08] 687*2^1445638-1 is not prime. Res64: 93E8F8240800E4CE Time : 0.0 sec. user=mdettweiler [2016-11-12 21:16:08] 695*2^1445638-1 is not prime. Res64: 44C286BDADECB14D Time : 0.0 sec. user=mdettweiler [2016-11-12 21:16:09] 707*2^1445638-1 is not prime. Res64: 261CD43196D48D2E Time : 0.0 sec. user=mdettweiler [2016-11-12 21:16:09] 723*2^1445638-1 is not prime. Res64: 1835A66E8E1640B7 Time : 0.0 sec. user=mdettweiler [2016-11-12 21:19:19] 773*2^1445638-1 is not prime. Res64: 587E5840DC88730E Time : 0.0 sec. user=mdettweiler [2016-11-12 21:19:20] 825*2^1445638-1 is not prime. Res64: 0503C4FF993F416E Time : 0.0 sec. user=mdettweiler [2016-11-12 21:19:21] 915*2^1445638-1 is not prime. Res64: 042C6FDB11496049 Time : 0.0 sec. user=mdettweiler [2016-11-12 21:19:21] 601*2^1445639-1 is not prime. Res64: 646A8C1669D2CBC3 Time : 0.0 sec. user=mdettweiler [2016-11-12 21:19:21] 609*2^1445639-1 is not prime. Res64: C2A4A8958E12A20A Time : 0.0 sec. user=mdettweiler [2016-11-12 21:23:43] 729*2^1445639-1 is not prime. Res64: BFCDCA25638FD7E8 Time : 0.0 sec. user=mdettweiler [2016-11-12 21:23:43] 955*2^1445639-1 is not prime. Res64: B4B452A117DC9EF0 Time : 0.0 sec. user=mdettweiler [2016-11-12 21:23:43] 759*2^1445639-1 is not prime. Res64: AC70D30415F5D8EB Time : 0.0 sec. user=mdettweiler [2016-11-12 21:23:43] 719*2^1445640-1 is not prime. Res64: FE5BA86235662934 Time : 0.0 sec. user=mdettweiler [2016-11-12 21:23:44] 723*2^1445640-1 is not prime. Res64: C2AA66088DC8B3FD Time : 0.0 sec. user=mdettweiler [2016-11-12 21:23:44] 811*2^1445639-1 is not prime. Res64: 2F08FA9AA52AB9FD Time : 0.0 sec. user=mdettweiler [2016-11-12 21:23:44] 753*2^1445640-1 is not prime. Res64: 2B49781ED0DC862C Time : 0.0 sec. user=mdettweiler [2016-11-12 21:23:44] 865*2^1445639-1 is not prime. Res64: 5BE97A134F5AEA0B Time : 0.0 sec. user=mdettweiler [2016-11-12 21:23:44] 767*2^1445640-1 is not prime. Res64: 9F5CBA691C39EB5F Time : 0.0 sec. user=mdettweiler [2016-11-12 21:23:44] 909*2^1445639-1 is not prime. Res64: 055C558208C8CF12 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:01:43] 839*2^1445640-1 is not prime. Res64: E29F864C2AAF00DE Time : 0.0 sec. user=mdettweiler [2016-11-12 22:01:44] 893*2^1445640-1 is not prime. Res64: A7F40FCF42C69AFE Time : 0.0 sec. user=mdettweiler [2016-11-12 22:01:45] 899*2^1445640-1 is not prime. Res64: 77F801AFEDA72F88 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:01:45] 917*2^1445640-1 is not prime. Res64: E3155868F391FA15 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:01:46] 637*2^1445641-1 is not prime. Res64: 95292E56593BF61E Time : 0.0 sec. user=mdettweiler [2016-11-12 22:05:07] 937*2^1445641-1 is not prime. Res64: 3DD4E3C063F66BDF Time : 0.0 sec. user=mdettweiler [2016-11-12 22:05:08] 633*2^1445642-1 is not prime. Res64: 6EB3901F9BA9FC81 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:05:10] 677*2^1445642-1 is not prime. Res64: 2EF2DB9F50FD9AB3 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:05:11] 683*2^1445642-1 is not prime. Res64: 4E4F5D24C6F4DD20 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:05:12] 767*2^1445642-1 is not prime. Res64: F5C8C0E160AFDFC6 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:09:14] 775*2^1445643-1 is not prime. Res64: 3F290F59A307FBCE Time : 0.0 sec. user=mdettweiler [2016-11-12 22:09:19] 879*2^1445643-1 is not prime. Res64: 429B7FF143AE5F72 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:09:21] 831*2^1445642-1 is not prime. Res64: CDC1928AC11D17F4 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:09:23] 913*2^1445643-1 is not prime. Res64: BBC10F31FAC44A9C Time : 0.0 sec. user=mdettweiler [2016-11-12 22:09:24] 953*2^1445642-1 is not prime. Res64: E3F7C78CBA882D40 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:09:25] 749*2^1445644-1 is not prime. Res64: 8AFD32A29A487771 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:09:26] 619*2^1445643-1 is not prime. Res64: 1BE6E2C572E04AAC Time : 0.0 sec. user=mdettweiler [2016-11-12 22:09:29] 825*2^1445644-1 is not prime. Res64: 78736678D963081C Time : 0.0 sec. user=mdettweiler [2016-11-12 22:09:31] 735*2^1445643-1 is not prime. Res64: 4FC83D48E265D629 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:09:32] 745*2^1445643-1 is not prime. Res64: F368388DC0E99814 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:47:10] 909*2^1445644-1 is not prime. Res64: 3ED01CC9B45ABF20 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:47:11] 927*2^1445644-1 is not prime. Res64: E5AA2567903B4044 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:47:11] 947*2^1445644-1 is not prime. Res64: 2F23558C545302A7 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:47:11] 975*2^1445644-1 is not prime. Res64: 0C1B7487D75BECE1 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:47:12] 697*2^1445645-1 is not prime. Res64: AB66CA8AC2440768 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:50:22] 775*2^1445645-1 is not prime. Res64: C25CD4AFA7D93ACE Time : 0.0 sec. user=mdettweiler [2016-11-12 22:50:23] 825*2^1445645-1 is not prime. Res64: B0C60A70B757E941 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:50:23] 867*2^1445645-1 is not prime. Res64: 33CBBEC8A73064C9 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:50:23] 871*2^1445645-1 is not prime. Res64: D45590F124EE4026 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:50:24] 695*2^1445646-1 is not prime. Res64: B4308E42C2727C06 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:54:41] 737*2^1445646-1 is not prime. Res64: 8769FA7D0C5727C1 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:54:41] 673*2^1445647-1 is not prime. Res64: CF9F3005332E7510 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:54:41] 705*2^1445647-1 is not prime. Res64: CAA7CB3AD3EE4CE1 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:54:42] 729*2^1445647-1 is not prime. Res64: 34C61278F2070EC3 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:54:42] 765*2^1445647-1 is not prime. Res64: 0F5F3DB06A3673E4 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:54:46] 873*2^1445647-1 is not prime. Res64: A08B9E15587B1182 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:54:46] 919*2^1445647-1 is not prime. Res64: E4160E31B4A4D9CA Time : 0.0 sec. user=mdettweiler [2016-11-12 22:54:47] 663*2^1445648-1 is not prime. Res64: 13E3F793BF418149 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:54:47] 689*2^1445648-1 is not prime. Res64: 691E2098B62D2B73 Time : 0.0 sec. user=mdettweiler [2016-11-12 22:54:48] 753*2^1445648-1 is not prime. Res64: BD374D822191030A Time : 0.0 sec. user=mdettweiler [2016-11-12 23:33:46] 927*2^1445648-1 is not prime. Res64: 28DE873A5F957F63 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:33:47] 935*2^1445648-1 is not prime. Res64: DD198BC35F25F61E Time : 0.0 sec. user=mdettweiler [2016-11-12 23:33:47] 625*2^1445649-1 is not prime. Res64: 98E7F00305CAABDD Time : 0.0 sec. user=mdettweiler [2016-11-12 23:33:48] 657*2^1445649-1 is not prime. Res64: 30F3226FAFA8187D Time : 0.0 sec. user=mdettweiler [2016-11-12 23:33:48] 709*2^1445649-1 is not prime. Res64: FCEC91D933D60198 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:37:02] 795*2^1445649-1 is not prime. Res64: B841975188645D86 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:37:02] 949*2^1445649-1 is not prime. Res64: BF884DA2F73E7F11 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:37:03] 955*2^1445649-1 is not prime. Res64: B7A054C5FE3DA5CF Time : 0.0 sec. user=mdettweiler [2016-11-12 23:37:03] 997*2^1445649-1 is not prime. Res64: CD6FA67E2386F0D4 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:37:03] 999*2^1445649-1 is not prime. Res64: 937077247B4E5DF4 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:41:07] 651*2^1445651-1 is not prime. Res64: D0737ADCAB35AD17 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:41:08] 841*2^1445651-1 is not prime. Res64: CA98618BF124AD1D Time : 0.0 sec. user=mdettweiler [2016-11-12 23:41:08] 843*2^1445651-1 is not prime. Res64: 8921389D805F1F1B Time : 0.0 sec. user=mdettweiler [2016-11-12 23:41:09] 955*2^1445651-1 is not prime. Res64: 46ADCE2933B24E1D Time : 0.0 sec. user=mdettweiler [2016-11-12 23:41:09] 665*2^1445652-1 is not prime. Res64: 3AE1CAC8F2729A67 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:41:18] 623*2^1445650-1 is not prime. Res64: 74B1CCFA8C0F9EB9 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:41:18] 677*2^1445650-1 is not prime. Res64: 95D0D21F250D24DF Time : 0.0 sec. user=mdettweiler [2016-11-12 23:41:19] 785*2^1445650-1 is not prime. Res64: FEEC16842D83E0A0 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:41:19] 791*2^1445650-1 is not prime. Res64: 26983BA74F392E58 Time : 0.0 sec. user=mdettweiler [2016-11-12 23:41:20] 995*2^1445650-1 is not prime. Res64: 6BB9685D55311378 Time : 0.0 sec.