user=mdettweiler [2015-11-19 00:04:33] 635*2^1415380-1 is not prime. Res64: 5B779D8D347E57E2 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:04:34] 675*2^1415380-1 is not prime. Res64: 67AEA9A0E857BACF Time : 0.0 sec. user=mdettweiler [2015-11-19 00:04:40] 827*2^1415380-1 is not prime. Res64: FAACB435FF34EF1C Time : 0.0 sec. user=mdettweiler [2015-11-19 00:04:41] 601*2^1415381-1 is not prime. Res64: 855AE46D458E7D9B Time : 0.0 sec. user=mdettweiler [2015-11-19 00:05:17] 631*2^1415381-1 is not prime. Res64: 6FC9C6179C42B986 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:05:18] 727*2^1415381-1 is not prime. Res64: B8CC67C959CFE1A7 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:15:31] 747*2^1415381-1 is not prime. Res64: C6BC2B2934A531EE Time : 0.0 sec. user=mdettweiler [2015-11-19 00:15:32] 769*2^1415381-1 is not prime. Res64: 66A288A9621B7262 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:22:48] 861*2^1415381-1 is not prime. Res64: 41C5127F58E987DD Time : 0.0 sec. user=mdettweiler [2015-11-19 00:22:48] 871*2^1415381-1 is not prime. Res64: A2F9BCF5B6EE9D04 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:22:58] 937*2^1415381-1 is not prime. Res64: 900267C1894E67D7 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:22:59] 683*2^1415382-1 is not prime. Res64: A0D29EA0281106B4 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:23:23] 713*2^1415382-1 is not prime. Res64: C493E9B2C1471F15 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:23:23] 755*2^1415382-1 is not prime. Res64: 8A9A29031EDCF812 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:33:39] 893*2^1415382-1 is not prime. Res64: B58C66F3FC2C3EA5 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:33:40] 921*2^1415382-1 is not prime. Res64: FEC3FC5272D62C9D Time : 0.0 sec. user=mdettweiler [2015-11-19 00:40:54] 633*2^1415383-1 is not prime. Res64: 3A8B19389DE7519F Time : 0.0 sec. user=mdettweiler [2015-11-19 00:40:54] 703*2^1415383-1 is not prime. Res64: D4814A828E8EB09A Time : 0.0 sec. user=mdettweiler [2015-11-19 00:41:05] 819*2^1415383-1 is not prime. Res64: F38169A0EC9CF529 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:41:05] 689*2^1415384-1 is not prime. Res64: F63E69CB191BDCBE Time : 0.0 sec. user=mdettweiler [2015-11-19 00:41:25] 803*2^1415384-1 is not prime. Res64: 9CE59264420D2679 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:41:25] 819*2^1415384-1 is not prime. Res64: 048F6489F9696004 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:51:49] 833*2^1415384-1 is not prime. Res64: E561A8AC355B58B6 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:51:50] 899*2^1415384-1 is not prime. Res64: 718CDA752927D898 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:58:57] 667*2^1415385-1 is not prime. Res64: C2EB446EB46D9446 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:58:57] 699*2^1415385-1 is not prime. Res64: 50F6C0B9EC3D5A62 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:59:23] 717*2^1415385-1 is not prime. Res64: BF6A0F2042E346CB Time : 0.0 sec. user=mdettweiler [2015-11-19 00:59:23] 735*2^1415385-1 is not prime. Res64: F733C85D3431E905 Time : 0.0 sec. user=mdettweiler [2015-11-19 00:59:31] 805*2^1415385-1 is not prime. Res64: 8D4C4AED33429FAF Time : 0.0 sec. user=mdettweiler [2015-11-19 00:59:32] 817*2^1415385-1 is not prime. Res64: 0F29251F6769EABD Time : 0.0 sec. user=mdettweiler [2015-11-19 01:10:01] 849*2^1415385-1 is not prime. Res64: 657113030FA408F1 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:10:01] 623*2^1415386-1 is not prime. Res64: E2FD3C2CBB4014F1 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:17:00] 653*2^1415386-1 is not prime. Res64: 01685856E8DCCAD5 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:17:00] 657*2^1415386-1 is not prime. Res64: 3478CD72AB13AD03 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:17:30] 803*2^1415386-1 is not prime. Res64: 96A6DFDC16941385 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:17:31] 735*2^1415386-1 is not prime. Res64: 6FD0BEA23CC1AF64 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:17:31] 857*2^1415386-1 is not prime. Res64: A38301E384F0ED48 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:17:31] 773*2^1415386-1 is not prime. Res64: EBE525F7D06D1E60 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:28:04] 631*2^1415387-1 is not prime. Res64: 95FD82E0D378BAC0 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:28:05] 781*2^1415387-1 is not prime. Res64: E8552975EDEA9F2D Time : 0.0 sec. user=mdettweiler [2015-11-19 01:35:02] 669*2^1415388-1 is not prime. Res64: 06E927CFF60CAD13 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:35:02] 795*2^1415388-1 is not prime. Res64: AB3ED6290E23942F Time : 0.0 sec. user=mdettweiler [2015-11-19 01:35:25] 837*2^1415388-1 is not prime. Res64: AD96C786B2574D8A Time : 0.0 sec. user=mdettweiler [2015-11-19 01:35:25] 905*2^1415388-1 is not prime. Res64: C4E6C3D6CDEE1DFE Time : 0.0 sec. user=mdettweiler [2015-11-19 01:35:34] 923*2^1415388-1 is not prime. Res64: 25ADC423CADEB377 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:35:34] 615*2^1415389-1 is not prime. Res64: F3277FDE1F78AD1F Time : 0.0 sec. user=mdettweiler [2015-11-19 01:46:21] 681*2^1415389-1 is not prime. Res64: 8BDE0DD4307482F5 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:46:22] 817*2^1415389-1 is not prime. Res64: 6A0763B722075E3F Time : 0.0 sec. user=mdettweiler [2015-11-19 01:52:59] 927*2^1415389-1 is not prime. Res64: 89469E454EFE550B Time : 0.0 sec. user=mdettweiler [2015-11-19 01:52:59] 979*2^1415389-1 is not prime. Res64: E30FAD4D3763AAE2 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:53:28] 657*2^1415390-1 is not prime. Res64: 708D737867FC266D Time : 0.0 sec. user=mdettweiler [2015-11-19 01:53:29] 791*2^1415390-1 is not prime. Res64: 1DB6135F8A4B4580 Time : 0.0 sec. user=mdettweiler [2015-11-19 01:53:32] 827*2^1415390-1 is not prime. Res64: 890DDAC06BC5002E Time : 0.0 sec. user=mdettweiler [2015-11-19 01:53:33] 935*2^1415390-1 is not prime. Res64: 435316BAF3A4A057 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:04:27] 609*2^1415391-1 is not prime. Res64: E605E5C1D5FD1152 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:04:29] 619*2^1415391-1 is not prime. Res64: AE4DFD76E8489F79 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:11:03] 691*2^1415391-1 is not prime. Res64: A883F7307C5C85A1 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:11:04] 871*2^1415391-1 is not prime. Res64: 989748388D216C8E Time : 0.0 sec. user=mdettweiler [2015-11-19 02:11:38] 999*2^1415391-1 is not prime. Res64: 9788A2A9FCC93B71 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:11:39] 603*2^1415392-1 is not prime. Res64: 1D6AEC24F78F7AC6 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:11:42] 891*2^1415391-1 is not prime. Res64: 547169396A764436 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:11:43] 895*2^1415391-1 is not prime. Res64: 4B4A1A374A2EE162 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:22:59] 665*2^1415392-1 is not prime. Res64: 649E76889D2C500C Time : 0.0 sec. user=mdettweiler [2015-11-19 02:23:00] 705*2^1415392-1 is not prime. Res64: 4C7F5BE81EF0D234 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:29:21] 747*2^1415392-1 is not prime. Res64: EA7598DF5FE3169E Time : 0.0 sec. user=mdettweiler [2015-11-19 02:29:23] 785*2^1415392-1 is not prime. Res64: 177E0F230A48203E Time : 0.0 sec. user=mdettweiler [2015-11-19 02:29:56] 803*2^1415392-1 is not prime. Res64: 3899893F549D5AE4 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:29:57] 825*2^1415392-1 is not prime. Res64: 1A5B8CF56328429A Time : 0.0 sec. user=mdettweiler [2015-11-19 02:30:01] 827*2^1415392-1 is not prime. Res64: 9D82AFE05EB0C068 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:30:02] 863*2^1415392-1 is not prime. Res64: 5FE072C8E0F2F87F Time : 0.0 sec. user=mdettweiler [2015-11-19 02:41:13] 899*2^1415392-1 is not prime. Res64: BD32C011381E5A2E Time : 0.0 sec. user=mdettweiler [2015-11-19 02:41:14] 909*2^1415392-1 is not prime. Res64: 5B480865E818D936 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:47:33] 947*2^1415392-1 is not prime. Res64: 8AC6F242E6EF90F3 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:47:34] 999*2^1415392-1 is not prime. Res64: 23706F710D1BE8C1 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:48:14] 615*2^1415393-1 is not prime. Res64: D6B8EE8A6765184C Time : 0.0 sec. user=mdettweiler [2015-11-19 02:48:15] 657*2^1415393-1 is not prime. Res64: ECDAA54A3B08A972 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:48:17] 727*2^1415393-1 is not prime. Res64: EEB4FC183B9CEB25 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:48:18] 801*2^1415393-1 is not prime. Res64: E8449C939D113E40 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:59:36] 855*2^1415393-1 is not prime. Res64: 17D213AD70B63967 Time : 0.0 sec. user=mdettweiler [2015-11-19 02:59:36] 861*2^1415393-1 is not prime. Res64: 8EC2C14EC1C99074 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:05:48] 879*2^1415393-1 is not prime. Res64: 2C033701E435C255 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:05:50] 991*2^1415393-1 is not prime. Res64: 3551E284C62CE125 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:06:22] 635*2^1415394-1 is not prime. Res64: 68C3D591C6FAF5E7 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:06:24] 657*2^1415394-1 is not prime. Res64: 26F4E2C6B877069A Time : 0.0 sec. user=mdettweiler [2015-11-19 03:06:27] 677*2^1415394-1 is not prime. Res64: A4CF772A366B493A Time : 0.0 sec. user=mdettweiler [2015-11-19 03:06:29] 737*2^1415394-1 is not prime. Res64: 027D83A77B92AD60 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:18:42] 767*2^1415394-1 is not prime. Res64: 9E405C4229206497 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:18:43] 773*2^1415394-1 is not prime. Res64: ABB5F411F7943FDA Time : 0.0 sec. user=mdettweiler [2015-11-19 03:25:05] 851*2^1415394-1 is not prime. Res64: 2275528CBC71215D Time : 0.0 sec. user=mdettweiler [2015-11-19 03:25:07] 915*2^1415394-1 is not prime. Res64: A09E00667C285748 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:25:18] 917*2^1415394-1 is not prime. Res64: 7FC65D21BAEDF896 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:25:19] 941*2^1415394-1 is not prime. Res64: 3198044C3B5BF29B Time : 0.0 sec. user=mdettweiler [2015-11-19 03:25:53] 945*2^1415394-1 is not prime. Res64: 2D61922CBF3200EC Time : 0.0 sec. user=mdettweiler [2015-11-19 03:25:54] 993*2^1415394-1 is not prime. Res64: E8B7E32CE2E917F4 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:36:57] 649*2^1415395-1 is not prime. Res64: 3891647B15DA06CC Time : 0.0 sec. user=mdettweiler [2015-11-19 03:36:58] 685*2^1415395-1 is not prime. Res64: FACDE4B2CAB82BCD Time : 0.0 sec. user=mdettweiler [2015-11-19 03:43:18] 759*2^1415395-1 is not prime. Res64: B42C2A56AE9FCA7D Time : 0.0 sec. user=mdettweiler [2015-11-19 03:43:20] 805*2^1415395-1 is not prime. Res64: 28962DBDA7B648E1 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:43:34] 819*2^1415395-1 is not prime. Res64: E598804B28709CCA Time : 0.0 sec. user=mdettweiler [2015-11-19 03:43:36] 885*2^1415395-1 is not prime. Res64: 56D75FB44E0F2F0F Time : 0.0 sec. user=mdettweiler [2015-11-19 03:44:03] 895*2^1415395-1 is not prime. Res64: BFC202921B02D712 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:44:05] 915*2^1415395-1 is not prime. Res64: 25DA9860B0B9FB06 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:55:09] 973*2^1415395-1 is not prime. Res64: C5B2AF3D17691494 Time : 0.0 sec. user=mdettweiler [2015-11-19 03:55:10] 629*2^1415396-1 is not prime. Res64: E1A80053DFB1234F Time : 0.0 sec. user=mdettweiler [2015-11-19 04:01:44] 633*2^1415396-1 is not prime. Res64: 7E7036141EA4E471 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:01:45] 669*2^1415396-1 is not prime. Res64: FE8FF89EF9147F64 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:01:52] 735*2^1415396-1 is not prime. Res64: 7EDF8F16EFF0B6CF Time : 0.0 sec. user=mdettweiler [2015-11-19 04:01:54] 759*2^1415396-1 is not prime. Res64: C0A4B60B6C9A1AD1 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:02:13] 873*2^1415396-1 is not prime. Res64: 07E97E852737F702 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:02:14] 953*2^1415396-1 is not prime. Res64: 4924F5EC32566F8E Time : 0.0 sec. user=mdettweiler [2015-11-19 04:13:19] 727*2^1415397-1 is not prime. Res64: 2AF89B371E07A20E Time : 0.0 sec. user=mdettweiler [2015-11-19 04:13:20] 765*2^1415397-1 is not prime. Res64: 754952C724518525 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:20:02] 949*2^1415397-1 is not prime. Res64: A3D741ECCF0CB172 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:20:03] 831*2^1415398-1 is not prime. Res64: A43266FF0C853926 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:20:14] 843*2^1415398-1 is not prime. Res64: B8B4EB60BEAB745F Time : 0.0 sec. user=mdettweiler [2015-11-19 04:20:15] 885*2^1415398-1 is not prime. Res64: D77D126AECABA114 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:20:31] 891*2^1415398-1 is not prime. Res64: 99A706B4767C6B25 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:20:32] 915*2^1415398-1 is not prime. Res64: A178EB7675475D44 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:31:32] 923*2^1415398-1 is not prime. Res64: AEEE1F2205F11BA5 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:31:33] 621*2^1415399-1 is not prime. Res64: 78BC6D9000EA64D2 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:38:11] 661*2^1415399-1 is not prime. Res64: 2B7DFFCC3BA69162 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:38:12] 693*2^1415399-1 is not prime. Res64: 9F6E3E081A793F34 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:38:22] 753*2^1415399-1 is not prime. Res64: E8E4D906E7655E05 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:38:22] 771*2^1415399-1 is not prime. Res64: 6477EB2BA0D815B3 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:38:41] 789*2^1415399-1 is not prime. Res64: 72648EC5AE9476DC Time : 0.0 sec. user=mdettweiler [2015-11-19 04:38:42] 831*2^1415399-1 is not prime. Res64: D55C34503792A062 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:49:37] 879*2^1415399-1 is not prime. Res64: 3C30EEB222B7AE58 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:49:38] 931*2^1415399-1 is not prime. Res64: C676526DB6B031AB Time : 0.0 sec. user=mdettweiler [2015-11-19 04:56:19] 955*2^1415399-1 is not prime. Res64: A70FA92D2CFAB9F4 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:56:20] 973*2^1415399-1 is not prime. Res64: 9FDFEE33B5503FB8 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:56:29] 615*2^1415400-1 is not prime. Res64: 52207908A8C32675 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:56:30] 627*2^1415400-1 is not prime. Res64: AE82505ED6BEFBB4 Time : 0.0 sec. user=mdettweiler [2015-11-19 04:56:48] 669*2^1415400-1 is not prime. Res64: 88CEA576EE4002CD Time : 0.0 sec. user=mdettweiler [2015-11-19 04:56:49] 737*2^1415400-1 is not prime. Res64: 0EBC1C50B8DA87B5 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:07:48] 753*2^1415400-1 is not prime. Res64: E5E062DA27DAAAF3 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:07:49] 773*2^1415400-1 is not prime. Res64: 0845D424CBFB4E1D Time : 0.0 sec. user=mdettweiler [2015-11-19 05:14:30] 795*2^1415400-1 is not prime. Res64: 780B4B93E5277F21 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:14:30] 839*2^1415400-1 is not prime. Res64: C513ECEB84A7239D Time : 0.0 sec. user=mdettweiler [2015-11-19 05:14:31] 825*2^1415400-1 is not prime. Res64: B6DA9D78AD54B64C Time : 0.0 sec. user=mdettweiler [2015-11-19 05:14:31] 771*2^1415401-1 is not prime. Res64: BE0E4E8350831FC8 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:15:01] 957*2^1415401-1 is not prime. Res64: D5303CEBACFA26D0 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:15:02] 967*2^1415401-1 is not prime. Res64: 73BD84D22A34825A Time : 0.0 sec. user=mdettweiler [2015-11-19 05:25:57] 603*2^1415402-1 is not prime. Res64: 36CEE4CAC6048600 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:25:58] 741*2^1415402-1 is not prime. Res64: 99B9E2B592961560 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:32:39] 923*2^1415402-1 is not prime. Res64: F9FB3AF1FA476648 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:32:40] 795*2^1415403-1 is not prime. Res64: 5D86A4FE2D47EE25 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:32:40] 887*2^1415402-1 is not prime. Res64: E4CA22E1B97F7699 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:32:41] 903*2^1415402-1 is not prime. Res64: 82BCA819AC41F1A7 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:33:09] 605*2^1415404-1 is not prime. Res64: CC1967E8D8F81DF5 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:33:10] 609*2^1415404-1 is not prime. Res64: C14E0B5E7656CD6A Time : 0.0 sec. user=mdettweiler [2015-11-19 05:44:07] 639*2^1415404-1 is not prime. Res64: 5AA0FA1E4AD99FDA Time : 0.0 sec. user=mdettweiler [2015-11-19 05:44:08] 695*2^1415404-1 is not prime. Res64: 8E4F9FFFC8B04C74 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:50:47] 813*2^1415404-1 is not prime. Res64: 30F183D4514A72C3 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:50:47] 657*2^1415405-1 is not prime. Res64: 19F0C5DE5809CB3E Time : 0.0 sec. user=mdettweiler [2015-11-19 05:50:49] 707*2^1415404-1 is not prime. Res64: D340A3C856C7885A Time : 0.0 sec. user=mdettweiler [2015-11-19 05:50:49] 765*2^1415404-1 is not prime. Res64: E01CF5D099577476 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:51:17] 715*2^1415405-1 is not prime. Res64: 64CAC41458BC6BD2 Time : 0.0 sec. user=mdettweiler [2015-11-19 05:51:18] 729*2^1415405-1 is not prime. Res64: 6B462F8B4E361BBE Time : 0.0 sec. user=mdettweiler [2015-11-19 06:02:26] 771*2^1415405-1 is not prime. Res64: FBA39DF26AE561CC Time : 0.0 sec. user=mdettweiler [2015-11-19 06:02:28] 925*2^1415405-1 is not prime. Res64: 90C87DE01FDD65C4 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:08:51] 627*2^1415406-1 is not prime. Res64: 8A208AC9C1F452A3 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:08:52] 705*2^1415406-1 is not prime. Res64: B2F4F9F2E81B1411 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:08:55] 713*2^1415406-1 is not prime. Res64: 417FA70864D03285 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:08:56] 717*2^1415406-1 is not prime. Res64: 112F1B9412944B3E Time : 0.0 sec. user=mdettweiler [2015-11-19 06:09:22] 777*2^1415406-1 is not prime. Res64: EA005AA4549004FF Time : 0.0 sec. user=mdettweiler [2015-11-19 06:09:24] 807*2^1415406-1 is not prime. Res64: CFDCD9B0EFBE3A10 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:20:42] 615*2^1415407-1 is not prime. Res64: C04C39BD0CA7229E Time : 0.0 sec. user=mdettweiler [2015-11-19 06:20:45] 645*2^1415407-1 is not prime. Res64: 30082DF572E382F3 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:26:59] 913*2^1415407-1 is not prime. Res64: 9E982D33CEC9BFDE Time : 0.0 sec. user=mdettweiler [2015-11-19 06:27:00] 919*2^1415407-1 is not prime. Res64: 405A6F060983F76F Time : 0.0 sec. user=mdettweiler [2015-11-19 06:27:00] 633*2^1415408-1 is not prime. Res64: 932192796BED5B73 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:27:01] 669*2^1415408-1 is not prime. Res64: 1EA7943E76EFDB2A Time : 0.0 sec. user=mdettweiler [2015-11-19 06:27:38] 713*2^1415408-1 is not prime. Res64: BCD12D0F83F8184F Time : 0.0 sec. user=mdettweiler [2015-11-19 06:27:39] 767*2^1415408-1 is not prime. Res64: 9A7E5E70A37CA52A Time : 0.0 sec. user=mdettweiler [2015-11-19 06:38:53] 789*2^1415408-1 is not prime. Res64: A531D975DAC756F3 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:38:55] 839*2^1415408-1 is not prime. Res64: BD912D30A88F4272 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:45:03] 899*2^1415408-1 is not prime. Res64: 96B1BA5D9B119667 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:45:04] 935*2^1415408-1 is not prime. Res64: 7351EFE425216B1F Time : 0.0 sec. user=mdettweiler [2015-11-19 06:45:10] 879*2^1415408-1 is not prime. Res64: A0D2AD4005BA0E51 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:45:11] 897*2^1415408-1 is not prime. Res64: 604A13AF9E6E073D Time : 0.0 sec. user=mdettweiler [2015-11-19 06:45:48] 995*2^1415408-1 is not prime. Res64: 6C1DB813B4FD25D0 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:45:49] 639*2^1415409-1 is not prime. Res64: CD48C64A3D3266B9 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:57:05] 877*2^1415409-1 is not prime. Res64: 5C961132296872E1 Time : 0.0 sec. user=mdettweiler [2015-11-19 06:57:06] 997*2^1415409-1 is not prime. Res64: 06503528FB46B675 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:03:09] 723*2^1415410-1 is not prime. Res64: 15DA3CA291EE5D87 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:03:11] 673*2^1415411-1 is not prime. Res64: DC5FF6B815B25502 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:03:30] 715*2^1415411-1 is not prime. Res64: 177B5811F37AC6E6 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:03:31] 889*2^1415411-1 is not prime. Res64: C286C153BE94B875 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:03:57] 909*2^1415411-1 is not prime. Res64: 8E7CD477DF0D08E8 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:03:58] 945*2^1415411-1 is not prime. Res64: 9F08E7FE49343B1C Time : 0.0 sec. user=mdettweiler [2015-11-19 07:15:06] 683*2^1415412-1 is not prime. Res64: 0B7E80E3CB9D8F49 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:15:07] 695*2^1415412-1 is not prime. Res64: 5F0474A66AD6E296 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:21:27] 719*2^1415412-1 is not prime. Res64: 901351B0929C6035 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:21:29] 797*2^1415412-1 is not prime. Res64: 6932EABEFC951A04 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:21:44] 879*2^1415412-1 is not prime. Res64: 718C68D35692683A Time : 0.0 sec. user=mdettweiler [2015-11-19 07:21:45] 935*2^1415412-1 is not prime. Res64: 1EE3E0571A996A98 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:22:10] 959*2^1415412-1 is not prime. Res64: A932113B4F2A4309 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:22:11] 639*2^1415413-1 is not prime. Res64: 2F4B69BC13FFDC55 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:33:27] 721*2^1415413-1 is not prime. Res64: E9547B6507DC602A Time : 0.0 sec. user=mdettweiler [2015-11-19 07:33:28] 741*2^1415413-1 is not prime. Res64: B28CCEA0EC926810 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:39:32] 801*2^1415413-1 is not prime. Res64: 86EAA44648A24307 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:39:33] 867*2^1415413-1 is not prime. Res64: 966F0BC0BEACDAE2 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:39:56] 925*2^1415413-1 is not prime. Res64: 44331F6C980305CF Time : 0.0 sec. user=mdettweiler [2015-11-19 07:39:57] 951*2^1415413-1 is not prime. Res64: 6863609612372217 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:40:28] 987*2^1415413-1 is not prime. Res64: AB522AA7D5C796F4 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:40:29] 999*2^1415413-1 is not prime. Res64: 30C934BAC3043645 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:51:39] 671*2^1415414-1 is not prime. Res64: 5F675C006D690D3A Time : 0.0 sec. user=mdettweiler [2015-11-19 07:51:39] 791*2^1415414-1 is not prime. Res64: 8650CC57ED33A84C Time : 0.0 sec. user=mdettweiler [2015-11-19 07:57:40] 857*2^1415414-1 is not prime. Res64: 79113DDA4B4A7C36 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:57:41] 885*2^1415414-1 is not prime. Res64: 5C0547EAE6DFDE5E Time : 0.0 sec. user=mdettweiler [2015-11-19 07:58:06] 887*2^1415414-1 is not prime. Res64: 6A0336DE6E0EBAFE Time : 0.0 sec. user=mdettweiler [2015-11-19 07:58:07] 783*2^1415415-1 is not prime. Res64: 66BE8D7733AC5647 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:58:37] 853*2^1415415-1 is not prime. Res64: 6FECEA0A492407F0 Time : 0.0 sec. user=mdettweiler [2015-11-19 07:58:39] 617*2^1415416-1 is not prime. Res64: F5D8D9BC0D1BD0C8 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:09:49] 639*2^1415416-1 is not prime. Res64: 6C972A39A8F4478B Time : 0.0 sec. user=mdettweiler [2015-11-19 08:09:50] 999*2^1415416-1 is not prime. Res64: 6A63A9783FA02D8F Time : 0.0 sec. user=mdettweiler [2015-11-19 08:15:56] 631*2^1415417-1 is not prime. Res64: E03DD695EC8B0EBF Time : 0.0 sec. user=mdettweiler [2015-11-19 08:15:57] 735*2^1415417-1 is not prime. Res64: 187632B94952E9F3 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:16:16] 871*2^1415417-1 is not prime. Res64: FFB856FA9DD36A62 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:16:17] 889*2^1415417-1 is not prime. Res64: DCBC5CEF9124C250 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:16:47] 979*2^1415417-1 is not prime. Res64: 8D79875A475EA073 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:16:48] 981*2^1415417-1 is not prime. Res64: E29101B035B0D6A0 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:28:21] 985*2^1415417-1 is not prime. Res64: D677A7403FE45350 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:28:23] 641*2^1415418-1 is not prime. Res64: 41B89EBD0A2F9C72 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:34:21] 683*2^1415418-1 is not prime. Res64: 781E5D760D55016B Time : 0.0 sec. user=mdettweiler [2015-11-19 08:34:22] 707*2^1415418-1 is not prime. Res64: 642E0AAECC19A491 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:34:27] 735*2^1415418-1 is not prime. Res64: CD69B699CF9CB95C Time : 0.0 sec. user=mdettweiler [2015-11-19 08:34:28] 881*2^1415418-1 is not prime. Res64: 88AD86DD3E12612D Time : 0.0 sec. user=mdettweiler [2015-11-19 08:35:08] 993*2^1415418-1 is not prime. Res64: 115823BBBC0C68C0 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:35:09] 645*2^1415419-1 is not prime. Res64: 654B7BCFC4B8267A Time : 0.0 sec. user=mdettweiler [2015-11-19 08:46:34] 649*2^1415419-1 is not prime. Res64: 8E4FBB67D66156A9 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:46:35] 769*2^1415419-1 is not prime. Res64: 186720AD75BE0BAF Time : 0.0 sec. user=mdettweiler [2015-11-19 08:52:30] 789*2^1415419-1 is not prime. Res64: 7B46ED42B5A62A81 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:52:31] 861*2^1415419-1 is not prime. Res64: 98FF84D293B52281 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:52:42] 979*2^1415419-1 is not prime. Res64: A71A900B10D44A90 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:52:43] 773*2^1415420-1 is not prime. Res64: A7E5CF5DF1246656 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:53:19] 875*2^1415420-1 is not prime. Res64: 6FD9D1C3A4190595 Time : 0.0 sec. user=mdettweiler [2015-11-19 08:53:21] 935*2^1415420-1 is not prime. Res64: 0C02CBD5BD40DBE1 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:04:46] 963*2^1415420-1 is not prime. Res64: 276CF5E2BD27A2C5 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:04:48] 657*2^1415421-1 is not prime. Res64: FD248CA2E641BCB5 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:10:52] 661*2^1415421-1 is not prime. Res64: 54386427EAA03BDF Time : 0.0 sec. user=mdettweiler [2015-11-19 09:10:53] 669*2^1415421-1 is not prime. Res64: B2B46E68FCF20AF1 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:10:57] 717*2^1415421-1 is not prime. Res64: 6D90D8DAC24A6636 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:10:58] 811*2^1415421-1 is not prime. Res64: C72A1FFBD351E794 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:11:33] 871*2^1415421-1 is not prime. Res64: 8DDECE73CA2C743C Time : 0.0 sec. user=mdettweiler [2015-11-19 09:11:35] 885*2^1415421-1 is not prime. Res64: A6F62FCC4BA932B6 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:23:14] 991*2^1415421-1 is not prime. Res64: 522582CDB120FE0F Time : 0.0 sec. user=mdettweiler [2015-11-19 09:23:15] 713*2^1415422-1 is not prime. Res64: E1644DC75C80B652 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:29:11] 897*2^1415422-1 is not prime. Res64: D31BC6D6868AA34A Time : 0.0 sec. user=mdettweiler [2015-11-19 09:29:12] 917*2^1415422-1 is not prime. Res64: F84DD87ABB48D184 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:29:20] 723*2^1415422-1 is not prime. Res64: 7BDA3FD05B365C1D Time : 0.0 sec. user=mdettweiler [2015-11-19 09:29:21] 747*2^1415422-1 is not prime. Res64: 113094D214859D8F Time : 0.0 sec. user=mdettweiler [2015-11-19 09:29:44] 673*2^1415423-1 is not prime. Res64: 64AB76DBFBC5B622 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:29:45] 735*2^1415423-1 is not prime. Res64: 255039784D34BAC8 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:41:21] 963*2^1415423-1 is not prime. Res64: 250BC51C9575D8DD Time : 0.0 sec. user=mdettweiler [2015-11-19 09:41:23] 981*2^1415423-1 is not prime. Res64: B1116C4EB99F21A2 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:47:22] 605*2^1415424-1 is not prime. Res64: 1097EDB8112691A2 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:47:23] 693*2^1415424-1 is not prime. Res64: 625399BB46E574FC Time : 0.0 sec. user=mdettweiler [2015-11-19 09:47:31] 737*2^1415424-1 is not prime. Res64: AFCBB2310B33516A Time : 0.0 sec. user=mdettweiler [2015-11-19 09:47:32] 789*2^1415424-1 is not prime. Res64: F1CE74162ADF75DC Time : 0.0 sec. user=mdettweiler [2015-11-19 09:47:59] 837*2^1415424-1 is not prime. Res64: 8BDE4D0222000F35 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:48:00] 975*2^1415424-1 is not prime. Res64: A556CDE64A3A089E Time : 0.0 sec. user=mdettweiler [2015-11-19 09:59:20] 649*2^1415425-1 is not prime. Res64: 9815CF0C590B3AF9 Time : 0.0 sec. user=mdettweiler [2015-11-19 09:59:21] 729*2^1415425-1 is not prime. Res64: 16FFEFCFAD415B77 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:05:37] 751*2^1415425-1 is not prime. Res64: ECF58CDC3CAB9756 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:05:39] 855*2^1415425-1 is not prime. Res64: 380BEBD30C9E3B97 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:05:44] 867*2^1415425-1 is not prime. Res64: 531DBE3CA1BCE1F5 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:05:46] 951*2^1415425-1 is not prime. Res64: AC082EF4E111B41F Time : 0.0 sec. user=mdettweiler [2015-11-19 10:06:15] 999*2^1415425-1 is not prime. Res64: 02F34F0AE2DB13C4 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:06:17] 617*2^1415426-1 is not prime. Res64: 4E99E1F200523E7B Time : 0.0 sec. user=mdettweiler [2015-11-19 10:17:20] 677*2^1415426-1 is not prime. Res64: E0AFD1C15007F279 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:17:21] 683*2^1415426-1 is not prime. Res64: 99CCB8E119C65D52 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:24:03] 859*2^1415427-1 is not prime. Res64: 064440C451636CE2 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:24:05] 951*2^1415427-1 is not prime. Res64: 9098990D78B01A96 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:24:12] 861*2^1415426-1 is not prime. Res64: E39DF074BA56906B Time : 0.0 sec. user=mdettweiler [2015-11-19 10:24:12] 691*2^1415427-1 is not prime. Res64: D30801B138C9AF7F Time : 0.0 sec. user=mdettweiler [2015-11-19 10:24:30] 963*2^1415427-1 is not prime. Res64: B567B57F6078E737 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:24:31] 979*2^1415427-1 is not prime. Res64: F8A3A57E9021C426 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:35:33] 617*2^1415428-1 is not prime. Res64: 3AE2422939D73168 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:35:34] 899*2^1415428-1 is not prime. Res64: FE8C6DDE3D0A4648 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:42:21] 957*2^1415428-1 is not prime. Res64: CD8E7150808BA844 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:42:23] 989*2^1415428-1 is not prime. Res64: 76F38A73C8087185 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:42:30] 721*2^1415429-1 is not prime. Res64: 18E3574C6275F01D Time : 0.0 sec. user=mdettweiler [2015-11-19 10:42:31] 727*2^1415429-1 is not prime. Res64: 8F77CD95E0A3CF6A Time : 0.0 sec. user=mdettweiler [2015-11-19 10:42:44] 741*2^1415429-1 is not prime. Res64: A006A22B5C5FD9BD Time : 0.0 sec. user=mdettweiler [2015-11-19 10:42:45] 693*2^1415430-1 is not prime. Res64: 9737B2EDD9CD89C3 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:53:48] 833*2^1415430-1 is not prime. Res64: 135929DC4E9904F8 Time : 0.0 sec. user=mdettweiler [2015-11-19 10:53:49] 965*2^1415430-1 is not prime. Res64: 7FA9DAFB7FD1D8EC Time : 0.0 sec. user=mdettweiler [2015-11-19 11:00:37] 639*2^1415431-1 is not prime. Res64: 3ADF8DE9CA64B4A6 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:00:38] 679*2^1415431-1 is not prime. Res64: A5B096BC6843C990 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:00:41] 771*2^1415431-1 is not prime. Res64: F5575E07653D2BC6 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:00:42] 819*2^1415431-1 is not prime. Res64: FA77B56010254128 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:01:07] 895*2^1415431-1 is not prime. Res64: 86C90B44668C52D4 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:01:08] 931*2^1415431-1 is not prime. Res64: 98247F9AF741ECBC Time : 0.0 sec. user=mdettweiler [2015-11-19 11:11:54] 603*2^1415432-1 is not prime. Res64: AC2ECA9A3ADBE5B8 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:11:55] 609*2^1415432-1 is not prime. Res64: B683FBC08C06E203 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:18:44] 767*2^1415432-1 is not prime. Res64: A34900AF1AE6958A Time : 0.0 sec. user=mdettweiler [2015-11-19 11:18:44] 983*2^1415432-1 is not prime. Res64: 57978E681E419D51 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:18:45] 637*2^1415433-1 is not prime. Res64: 9C89E1205FBEDEF0 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:18:45] 895*2^1415433-1 is not prime. Res64: F81904CFCCDD5307 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:19:15] 921*2^1415433-1 is not prime. Res64: DC87DA6902D15D85 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:19:15] 955*2^1415433-1 is not prime. Res64: ABA79F5A6075C372 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:29:55] 651*2^1415434-1 is not prime. Res64: 34B6E8AC2FEC9C8A Time : 0.0 sec. user=mdettweiler [2015-11-19 11:29:56] 675*2^1415434-1 is not prime. Res64: 24C4DF34DA84EE8D Time : 0.0 sec. user=mdettweiler [2015-11-19 11:36:46] 923*2^1415434-1 is not prime. Res64: E3789BE402BC011D Time : 0.0 sec. user=mdettweiler [2015-11-19 11:36:46] 619*2^1415435-1 is not prime. Res64: 43FE5A131EBD34B7 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:36:53] 783*2^1415435-1 is not prime. Res64: 4AD45ACCB38C083B Time : 0.0 sec. user=mdettweiler [2015-11-19 11:36:54] 825*2^1415435-1 is not prime. Res64: 3919BA95F1184FC8 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:37:18] 871*2^1415435-1 is not prime. Res64: FCB60B303050BF30 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:37:18] 939*2^1415435-1 is not prime. Res64: F33BAD14F55E759A Time : 0.0 sec. user=mdettweiler [2015-11-19 11:48:18] 693*2^1415436-1 is not prime. Res64: C2596187218761E7 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:48:19] 765*2^1415436-1 is not prime. Res64: 9322D19FB17AF8E4 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:55:46] 789*2^1415436-1 is not prime. Res64: 9E189A6BFF4133D0 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:55:46] 867*2^1415436-1 is not prime. Res64: 9AC30320645EC2FB Time : 0.0 sec. user=mdettweiler [2015-11-19 11:55:48] 969*2^1415436-1 is not prime. Res64: 8E5146C30814B435 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:55:49] 645*2^1415437-1 is not prime. Res64: EB9B0C2EACDEFAC2 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:56:11] 729*2^1415437-1 is not prime. Res64: 2C3DDB75AD4C8193 Time : 0.0 sec. user=mdettweiler [2015-11-19 11:56:11] 747*2^1415437-1 is not prime. Res64: 89218E2BC36367EB Time : 0.0 sec. user=mdettweiler [2015-11-19 12:07:16] 831*2^1415437-1 is not prime. Res64: 8B5559BA6BD47B86 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:07:17] 835*2^1415437-1 is not prime. Res64: EA07146B3620E682 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:14:53] 755*2^1415438-1 is not prime. Res64: A15524FA7FF42DF1 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:14:53] 609*2^1415439-1 is not prime. Res64: 875DBCFA938D2C71 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:15:10] 961*2^1415437-1 is not prime. Res64: 1364CB0BD26D6BBE Time : 0.0 sec. user=mdettweiler [2015-11-19 12:15:10] 979*2^1415437-1 is not prime. Res64: 594DD44AE03A3F42 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:15:38] 669*2^1415439-1 is not prime. Res64: 2B8D1D9A19340865 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:15:38] 829*2^1415439-1 is not prime. Res64: 3975AD885CCC215C Time : 0.0 sec. user=mdettweiler [2015-11-19 12:27:37] 861*2^1415439-1 is not prime. Res64: D89320FFB40EBDAB Time : 0.0 sec. user=mdettweiler [2015-11-19 12:27:37] 931*2^1415439-1 is not prime. Res64: 92333B3935C1AD9C Time : 0.0 sec. user=mdettweiler [2015-11-19 12:35:59] 951*2^1415439-1 is not prime. Res64: FDA59092F8627E31 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:36:00] 955*2^1415439-1 is not prime. Res64: 8CD86BC544B4426A Time : 0.0 sec. user=mdettweiler [2015-11-19 12:36:10] 695*2^1415440-1 is not prime. Res64: DA0B4F160E2CB461 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:36:10] 699*2^1415440-1 is not prime. Res64: 61CF8FB7D3A839DE Time : 0.0 sec. user=mdettweiler [2015-11-19 12:36:45] 961*2^1415439-1 is not prime. Res64: A5C2DEBAA48DACBD Time : 0.0 sec. user=mdettweiler [2015-11-19 12:36:46] 687*2^1415440-1 is not prime. Res64: AFE3F021E0E17B3E Time : 0.0 sec. user=mdettweiler [2015-11-19 12:49:26] 755*2^1415440-1 is not prime. Res64: 2FC841661889C006 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:49:26] 875*2^1415440-1 is not prime. Res64: C51734C6D64D1C0E Time : 0.0 sec. user=mdettweiler [2015-11-19 12:57:01] 975*2^1415440-1 is not prime. Res64: 59730115226D7829 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:57:01] 999*2^1415440-1 is not prime. Res64: 8D656B8949F8C21C Time : 0.0 sec. user=mdettweiler [2015-11-19 12:57:20] 621*2^1415442-1 is not prime. Res64: 79EEB235677DACB2 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:57:20] 713*2^1415442-1 is not prime. Res64: 457632248DE4B33F Time : 0.0 sec. user=mdettweiler [2015-11-19 12:57:52] 627*2^1415441-1 is not prime. Res64: 0DC69F2812DF2142 Time : 0.0 sec. user=mdettweiler [2015-11-19 12:57:53] 675*2^1415441-1 is not prime. Res64: 57DB030A9152B60D Time : 0.0 sec. user=mdettweiler [2015-11-19 13:08:52] 717*2^1415442-1 is not prime. Res64: 2B0C052CE1EE2D65 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:08:53] 723*2^1415442-1 is not prime. Res64: 96678D69360AADD3 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:15:38] 765*2^1415442-1 is not prime. Res64: 8D76774AFBFE5ACD Time : 0.0 sec. user=mdettweiler [2015-11-19 13:15:38] 885*2^1415442-1 is not prime. Res64: 0E3A5B7874258A50 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:15:38] 609*2^1415443-1 is not prime. Res64: 5D65B2E4E3DAE9DC Time : 0.0 sec. user=mdettweiler [2015-11-19 13:15:39] 619*2^1415443-1 is not prime. Res64: AA029DB0F4041C11 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:16:27] 633*2^1415443-1 is not prime. Res64: 2FEB403CC89DD15E Time : 0.0 sec. user=mdettweiler [2015-11-19 13:16:28] 649*2^1415443-1 is not prime. Res64: 4E9385369740B295 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:26:56] 675*2^1415443-1 is not prime. Res64: E13C8971A336B216 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:26:57] 771*2^1415443-1 is not prime. Res64: 1CB464D0BAC3A1C8 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:33:38] 945*2^1415443-1 is not prime. Res64: 22A1ACAEA7A1056F Time : 0.0 sec. user=mdettweiler [2015-11-19 13:33:38] 609*2^1415444-1 is not prime. Res64: 2680D6CEA7228F9F Time : 0.0 sec. user=mdettweiler [2015-11-19 13:33:41] 855*2^1415444-1 is not prime. Res64: 4456EFC18A562F6F Time : 0.0 sec. user=mdettweiler [2015-11-19 13:33:41] 969*2^1415444-1 is not prime. Res64: F8324ACA58CA01E0 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:34:30] 831*2^1415445-1 is not prime. Res64: 8E7996F0946D3BF5 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:34:31] 915*2^1415445-1 is not prime. Res64: 7954472D45AA7AD4 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:44:52] 919*2^1415445-1 is not prime. Res64: 32083A58E11FE4DF Time : 0.0 sec. user=mdettweiler [2015-11-19 13:44:53] 937*2^1415445-1 is not prime. Res64: 58A2B85B6C8CCA26 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:51:47] 825*2^1415446-1 is not prime. Res64: 766031B601168CDA Time : 0.0 sec. user=mdettweiler [2015-11-19 13:51:47] 881*2^1415446-1 is not prime. Res64: 96818993DAE7A78E Time : 0.0 sec. user=mdettweiler [2015-11-19 13:51:47] 777*2^1415446-1 is not prime. Res64: 6FB0428F343B5578 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:51:48] 801*2^1415446-1 is not prime. Res64: 66A56D78AB179238 Time : 0.0 sec. user=mdettweiler [2015-11-19 13:52:31] 917*2^1415446-1 is not prime. Res64: B3CF0F3FAE1FBB1F Time : 0.0 sec. user=mdettweiler [2015-11-19 13:52:31] 987*2^1415446-1 is not prime. Res64: 69E2F1F4F109FA4C Time : 0.0 sec. user=mdettweiler [2015-11-19 14:02:55] 663*2^1415447-1 is not prime. Res64: E3BC3CA12717A082 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:02:57] 753*2^1415447-1 is not prime. Res64: B3E5A027ECAFF999 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:09:44] 763*2^1415447-1 is not prime. Res64: 265E7E0B68ABC317 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:09:45] 843*2^1415447-1 is not prime. Res64: 40288A32B86D0709 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:10:20] 859*2^1415447-1 is not prime. Res64: 1805F1589BCD270E Time : 0.0 sec. user=mdettweiler [2015-11-19 14:10:21] 939*2^1415447-1 is not prime. Res64: 9ACBC4A411819EAB Time : 0.0 sec. user=mdettweiler [2015-11-19 14:10:28] 963*2^1415447-1 is not prime. Res64: C9DD39C0DD7A81A2 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:10:29] 979*2^1415447-1 is not prime. Res64: 656ED7C91094F7DC Time : 0.0 sec. user=mdettweiler [2015-11-19 14:21:13] 999*2^1415447-1 is not prime. Res64: 183A068C6AFD4716 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:21:13] 699*2^1415448-1 is not prime. Res64: 0B42636B28CE6B09 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:27:43] 737*2^1415448-1 is not prime. Res64: DFFF50DA40645E12 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:27:44] 893*2^1415448-1 is not prime. Res64: AAF45B1E73B6FC1B Time : 0.0 sec. user=mdettweiler [2015-11-19 14:28:18] 977*2^1415448-1 is not prime. Res64: AEFFE3CAF9CB55F2 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:28:19] 615*2^1415449-1 is not prime. Res64: DF5630F6939D9E19 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:28:26] 639*2^1415449-1 is not prime. Res64: BEA69CC4A3375574 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:28:26] 667*2^1415449-1 is not prime. Res64: 702818A1654E9590 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:39:17] 747*2^1415449-1 is not prime. Res64: 0006B7A863180BDC Time : 0.0 sec. user=mdettweiler [2015-11-19 14:39:17] 841*2^1415449-1 is not prime. Res64: 3B3334062C04E654 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:46:27] 925*2^1415449-1 is not prime. Res64: 210909CD4C76E319 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:46:27] 997*2^1415449-1 is not prime. Res64: 20D323616EE3D142 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:46:29] 641*2^1415450-1 is not prime. Res64: 78827F6C66B3BE20 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:46:30] 741*2^1415450-1 is not prime. Res64: 0DB48D41F7D41533 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:46:44] 885*2^1415449-1 is not prime. Res64: 68EDA28B7B7EFA22 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:46:44] 895*2^1415449-1 is not prime. Res64: 2074A80238C69FC0 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:57:24] 783*2^1415450-1 is not prime. Res64: 87BD16B5F7190791 Time : 0.0 sec. user=mdettweiler [2015-11-19 14:57:25] 861*2^1415450-1 is not prime. Res64: 134770C60DD77FB8 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:04:25] 619*2^1415451-1 is not prime. Res64: 3109C9EC15468A23 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:04:27] 705*2^1415451-1 is not prime. Res64: 17ECEDC51EF7C280 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:04:27] 793*2^1415451-1 is not prime. Res64: 9FC342D081CDE8F6 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:04:28] 973*2^1415451-1 is not prime. Res64: 154493F6D999D042 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:04:43] 693*2^1415452-1 is not prime. Res64: AB46741382411BE4 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:04:44] 749*2^1415452-1 is not prime. Res64: 5FE7784AADE117D8 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:15:16] 819*2^1415452-1 is not prime. Res64: B112943C852C4EDE Time : 0.0 sec. user=mdettweiler [2015-11-19 15:15:17] 781*2^1415453-1 is not prime. Res64: 3D92A57B7EE5CBD4 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:22:53] 901*2^1415453-1 is not prime. Res64: D91D3FBA3880B5BA Time : 0.0 sec. user=mdettweiler [2015-11-19 15:22:53] 939*2^1415453-1 is not prime. Res64: E0D17F0A534649AB Time : 0.0 sec. user=mdettweiler [2015-11-19 15:22:54] 945*2^1415453-1 is not prime. Res64: 32AA42FE88316998 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:22:55] 967*2^1415453-1 is not prime. Res64: C94524305673D200 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:22:55] 805*2^1415453-1 is not prime. Res64: 203144FFA137D3C8 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:22:56] 693*2^1415454-1 is not prime. Res64: 5F864932C3CF85E6 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:33:19] 717*2^1415454-1 is not prime. Res64: 8D8EC21E6B6464EB Time : 0.0 sec. user=mdettweiler [2015-11-19 15:33:19] 797*2^1415454-1 is not prime. Res64: 73A4F3E202BDD80E Time : 0.0 sec. user=mdettweiler [2015-11-19 15:41:01] 945*2^1415454-1 is not prime. Res64: D70748E0F1D64C79 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:41:01] 971*2^1415454-1 is not prime. Res64: 235DDDEEB80CEA39 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:41:02] 863*2^1415454-1 is not prime. Res64: C0870C32FDAA0C7F Time : 0.0 sec. user=mdettweiler [2015-11-19 15:41:03] 887*2^1415454-1 is not prime. Res64: ECFF5D92CB7A7CDF Time : 0.0 sec. user=mdettweiler [2015-11-19 15:41:05] 927*2^1415454-1 is not prime. Res64: 031A65E9BE4BA141 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:41:06] 941*2^1415454-1 is not prime. Res64: C48C0781A4598B6E Time : 0.0 sec. user=mdettweiler [2015-11-19 15:51:35] 679*2^1415455-1 is not prime. Res64: F7B1D7629AFDD02A Time : 0.0 sec. user=mdettweiler [2015-11-19 15:51:35] 883*2^1415455-1 is not prime. Res64: BC4D8DF899F09C54 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:58:59] 961*2^1415455-1 is not prime. Res64: 27DCA6F7CDC12008 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:58:59] 645*2^1415456-1 is not prime. Res64: BC204C83E48DA0DF Time : 0.0 sec. user=mdettweiler [2015-11-19 15:59:06] 669*2^1415456-1 is not prime. Res64: 2CC68D857C7FD454 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:59:07] 833*2^1415456-1 is not prime. Res64: 958129D534E5DF9E Time : 0.0 sec. user=mdettweiler [2015-11-19 15:59:29] 885*2^1415455-1 is not prime. Res64: 47E64C885E8EBCF6 Time : 0.0 sec. user=mdettweiler [2015-11-19 15:59:30] 919*2^1415455-1 is not prime. Res64: C04470E888AF4E5E Time : 0.0 sec. user=mdettweiler [2015-11-19 16:09:40] 867*2^1415456-1 is not prime. Res64: 5FD76D9CD1B369B3 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:09:41] 897*2^1415456-1 is not prime. Res64: A437215A34FB1B82 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:16:57] 739*2^1415457-1 is not prime. Res64: 31AA2C285C72FD06 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:16:58] 847*2^1415457-1 is not prime. Res64: F058283A5EACD65A Time : 0.0 sec. user=mdettweiler [2015-11-19 16:17:21] 849*2^1415457-1 is not prime. Res64: 8D9525D544CF4A3E Time : 0.0 sec. user=mdettweiler [2015-11-19 16:17:21] 867*2^1415457-1 is not prime. Res64: 10FD29FA5A14F8B8 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:17:30] 611*2^1415458-1 is not prime. Res64: E192AC717D341C9A Time : 0.0 sec. user=mdettweiler [2015-11-19 16:17:30] 623*2^1415458-1 is not prime. Res64: 04240479B3FD2562 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:27:54] 657*2^1415458-1 is not prime. Res64: FA2132D0250C5E2D Time : 0.0 sec. user=mdettweiler [2015-11-19 16:27:54] 687*2^1415458-1 is not prime. Res64: F0E72D1E5D2ED82B Time : 0.0 sec. user=mdettweiler [2015-11-19 16:34:59] 705*2^1415458-1 is not prime. Res64: C647781D9271D82B Time : 0.0 sec. user=mdettweiler [2015-11-19 16:34:59] 821*2^1415458-1 is not prime. Res64: BD02F4FB5F796F35 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:35:23] 825*2^1415458-1 is not prime. Res64: 135FC32F16A4DF75 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:35:23] 827*2^1415458-1 is not prime. Res64: 1132C062553F1815 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:35:31] 923*2^1415458-1 is not prime. Res64: B0E323F5C4E3D96C Time : 0.0 sec. user=mdettweiler [2015-11-19 16:35:32] 933*2^1415458-1 is not prime. Res64: 3ECA466A0862B9E5 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:45:58] 971*2^1415458-1 is not prime. Res64: 18DB036AFDE83710 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:45:59] 675*2^1415459-1 is not prime. Res64: DFD76BC188DD6401 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:53:07] 799*2^1415459-1 is not prime. Res64: 873AD9E37D476E2D Time : 0.0 sec. user=mdettweiler [2015-11-19 16:53:07] 859*2^1415459-1 is not prime. Res64: 09CD33E81A4584C9 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:53:32] 895*2^1415459-1 is not prime. Res64: 023294EE10E4E273 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:53:33] 991*2^1415459-1 is not prime. Res64: 0F89893671FFDB49 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:53:40] 633*2^1415460-1 is not prime. Res64: 05E157BF71713257 Time : 0.0 sec. user=mdettweiler [2015-11-19 16:53:41] 689*2^1415460-1 is not prime. Res64: 70D5A3F33798AFAA Time : 0.0 sec. user=mdettweiler [2015-11-19 17:04:03] 695*2^1415460-1 is not prime. Res64: 55121231D14C61E4 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:04:05] 707*2^1415460-1 is not prime. Res64: 6ED3155F653F5D75 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:11:10] 725*2^1415460-1 is not prime. Res64: F4CBAE5DCA52DC8F Time : 0.0 sec. user=mdettweiler [2015-11-19 17:11:11] 773*2^1415460-1 is not prime. Res64: 3E301E2D4BA8AB24 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:11:27] 839*2^1415460-1 is not prime. Res64: CA3A25455D87B460 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:11:28] 929*2^1415460-1 is not prime. Res64: DA6AF710E7D83AFA Time : 0.0 sec. user=mdettweiler [2015-11-19 17:11:44] 691*2^1415461-1 is not prime. Res64: 367206907DA43BF1 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:11:44] 715*2^1415461-1 is not prime. Res64: B299CA41B1989214 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:22:48] 717*2^1415461-1 is not prime. Res64: CE2BA488916274E6 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:22:49] 805*2^1415461-1 is not prime. Res64: 5882DD1992DFAB21 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:30:03] 871*2^1415461-1 is not prime. Res64: 529749E19477F54F Time : 0.0 sec. user=mdettweiler [2015-11-19 17:30:04] 889*2^1415461-1 is not prime. Res64: 85581A463C8F2AB8 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:30:46] 963*2^1415462-1 is not prime. Res64: C60351988F39C538 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:30:47] 981*2^1415462-1 is not prime. Res64: 1A8329E75EA520D1 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:30:47] 979*2^1415461-1 is not prime. Res64: A9597191A01E1EF9 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:30:47] 741*2^1415462-1 is not prime. Res64: 6878E996506983C6 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:42:11] 613*2^1415463-1 is not prime. Res64: F575D54154ADEC04 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:42:12] 669*2^1415463-1 is not prime. Res64: A51994E7B7478136 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:49:19] 679*2^1415463-1 is not prime. Res64: 95C6AD917D19A985 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:49:19] 691*2^1415463-1 is not prime. Res64: 2C5CFB258B1D0EB4 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:50:11] 871*2^1415463-1 is not prime. Res64: BFAAB356C54101C1 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:50:12] 919*2^1415463-1 is not prime. Res64: 92B2B14E74755157 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:50:12] 783*2^1415463-1 is not prime. Res64: 96DEDD0B05AAF6A3 Time : 0.0 sec. user=mdettweiler [2015-11-19 17:50:12] 789*2^1415463-1 is not prime. Res64: 1BAA6781CE60F29C Time : 0.0 sec. user=mdettweiler [2015-11-19 18:02:40] 605*2^1415464-1 is not prime. Res64: 98F7901C10685D8F Time : 0.0 sec. user=mdettweiler [2015-11-19 18:02:41] 687*2^1415464-1 is not prime. Res64: DF80FDD6A7AEFE5D Time : 0.0 sec. user=mdettweiler [2015-11-19 18:09:24] 607*2^1415465-1 is not prime. Res64: 9B76E8A40C9A3752 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:09:25] 711*2^1415465-1 is not prime. Res64: 40C34B1A3BD6A655 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:09:46] 905*2^1415464-1 is not prime. Res64: 8E7752B52AAC1A8F Time : 0.0 sec. user=mdettweiler [2015-11-19 18:09:47] 969*2^1415464-1 is not prime. Res64: 368C6FD1FDF02AFB Time : 0.0 sec. user=mdettweiler [2015-11-19 18:10:15] 727*2^1415465-1 is not prime. Res64: BF23EBD1314F67EE Time : 0.0 sec. user=mdettweiler [2015-11-19 18:10:16] 789*2^1415465-1 is not prime. Res64: D62CD396ED279E0C Time : 0.0 sec. user=mdettweiler [2015-11-19 18:21:51] 831*2^1415465-1 is not prime. Res64: E9C2E8CD298FA7F5 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:21:52] 957*2^1415465-1 is not prime. Res64: 2A42ECCC3CEDD883 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:28:28] 969*2^1415465-1 is not prime. Res64: 84D2270043DD8F5C Time : 0.0 sec. user=mdettweiler [2015-11-19 18:28:28] 991*2^1415465-1 is not prime. Res64: CED84AF97E4970A8 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:29:14] 765*2^1415466-1 is not prime. Res64: 56191ED44EA0E467 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:29:14] 803*2^1415466-1 is not prime. Res64: 921D80493B8F2C47 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:29:22] 807*2^1415466-1 is not prime. Res64: EFD8FE985CF881CD Time : 0.0 sec. user=mdettweiler [2015-11-19 18:29:22] 821*2^1415466-1 is not prime. Res64: B769DC557A9998FD Time : 0.0 sec. user=mdettweiler [2015-11-19 18:40:54] 945*2^1415466-1 is not prime. Res64: 94A2BBDF692951AF Time : 0.0 sec. user=mdettweiler [2015-11-19 18:40:54] 651*2^1415467-1 is not prime. Res64: A42F597667BD9428 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:47:37] 703*2^1415467-1 is not prime. Res64: EF5ABEE98586E779 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:47:38] 883*2^1415467-1 is not prime. Res64: DA3CAA4ED1DACB4A Time : 0.0 sec. user=mdettweiler [2015-11-19 18:48:28] 919*2^1415467-1 is not prime. Res64: 954DA18282A6D847 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:48:28] 633*2^1415468-1 is not prime. Res64: 452E48A474DD7807 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:48:32] 647*2^1415468-1 is not prime. Res64: DF8A8A81FC1CB93A Time : 0.0 sec. user=mdettweiler [2015-11-19 18:48:32] 659*2^1415468-1 is not prime. Res64: C8203EA56C1E1547 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:59:57] 707*2^1415468-1 is not prime. Res64: 23819FF2FA37E385 Time : 0.0 sec. user=mdettweiler [2015-11-19 18:59:57] 789*2^1415468-1 is not prime. Res64: 72932643AAFBE863 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:07:04] 795*2^1415468-1 is not prime. Res64: 6314BA310D54A319 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:07:05] 867*2^1415468-1 is not prime. Res64: 31FDC3A4FFB1DD41 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:07:32] 929*2^1415468-1 is not prime. Res64: 0B3A46378355304C Time : 0.0 sec. user=mdettweiler [2015-11-19 19:07:32] 995*2^1415468-1 is not prime. Res64: 0663355EE89C3EE3 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:08:06] 657*2^1415469-1 is not prime. Res64: FCBD6C5931A79A13 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:08:06] 667*2^1415469-1 is not prime. Res64: 8A0337C2B9E8539D Time : 0.0 sec. user=mdettweiler [2015-11-19 19:19:32] 709*2^1415469-1 is not prime. Res64: 84DDA483E63005C4 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:19:33] 835*2^1415469-1 is not prime. Res64: 291F339E43BD5258 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:26:40] 885*2^1415469-1 is not prime. Res64: 7EA3675E18CB6173 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:26:40] 907*2^1415469-1 is not prime. Res64: B1CB0532D6294BAB Time : 0.0 sec. user=mdettweiler [2015-11-19 19:26:43] 919*2^1415469-1 is not prime. Res64: E8FF011341902827 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:26:43] 975*2^1415469-1 is not prime. Res64: 0C8F3B114C278EB6 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:28:06] 999*2^1415469-1 is not prime. Res64: 42B015A114B44CFA Time : 0.0 sec. user=mdettweiler [2015-11-19 19:28:06] 651*2^1415470-1 is not prime. Res64: E5ABB1430B309399 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:38:46] 761*2^1415470-1 is not prime. Res64: FD81A06B9F5A7470 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:38:46] 821*2^1415470-1 is not prime. Res64: DE861CFBC49B49F1 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:46:26] 911*2^1415470-1 is not prime. Res64: 44B5FAFE5E9B9B9B Time : 0.0 sec. user=mdettweiler [2015-11-19 19:46:26] 917*2^1415470-1 is not prime. Res64: 24FFCFD99A7FF1D4 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:47:28] 827*2^1415470-1 is not prime. Res64: 4CB35D75EBA132AE Time : 0.0 sec. user=mdettweiler [2015-11-19 19:47:28] 873*2^1415470-1 is not prime. Res64: C46E87F1091436BB Time : 0.0 sec. user=mdettweiler [2015-11-19 19:48:45] 941*2^1415470-1 is not prime. Res64: 08CD7EA8DB5161C3 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:48:45] 945*2^1415470-1 is not prime. Res64: 39DB29A29C132D84 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:58:59] 669*2^1415471-1 is not prime. Res64: 1EF49DC4A0CB44A6 Time : 0.0 sec. user=mdettweiler [2015-11-19 19:59:00] 813*2^1415471-1 is not prime. Res64: 88159F6A8A2B2920 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:06:49] 669*2^1415472-1 is not prime. Res64: AF90E8ED28C907DE Time : 0.0 sec. user=mdettweiler [2015-11-19 20:06:50] 689*2^1415472-1 is not prime. Res64: 536CEC4FFCEF0204 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:07:05] 993*2^1415471-1 is not prime. Res64: AC59E6F612D45C3D Time : 0.0 sec. user=mdettweiler [2015-11-19 20:07:05] 635*2^1415472-1 is not prime. Res64: 746A4C702DEB050E Time : 0.0 sec. user=mdettweiler [2015-11-19 20:08:19] 723*2^1415472-1 is not prime. Res64: A91DE6C01D61D5FC Time : 0.0 sec. user=mdettweiler [2015-11-19 20:08:20] 725*2^1415472-1 is not prime. Res64: D6444672F6F9301C Time : 0.0 sec. user=mdettweiler [2015-11-19 20:20:50] 933*2^1415472-1 is not prime. Res64: 202975146B82CEC8 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:20:52] 977*2^1415472-1 is not prime. Res64: AF05B14DEBCB063C Time : 0.0 sec. user=mdettweiler [2015-11-19 20:29:00] 985*2^1415473-1 is not prime. Res64: 784D291EEF57D541 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:29:01] 671*2^1415474-1 is not prime. Res64: F175EFA3083C2563 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:29:16] 745*2^1415473-1 is not prime. Res64: 502EBAD04DB81106 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:29:16] 957*2^1415473-1 is not prime. Res64: C2F27D9C20C51448 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:30:24] 675*2^1415474-1 is not prime. Res64: 3DF355DFEFA45F2D Time : 0.0 sec. user=mdettweiler [2015-11-19 20:30:24] 683*2^1415474-1 is not prime. Res64: 3168893FA01122E8 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:41:58] 783*2^1415474-1 is not prime. Res64: 1BC6326057E5DA29 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:41:58] 825*2^1415474-1 is not prime. Res64: 5347D9102E33D04B Time : 0.0 sec. user=mdettweiler [2015-11-19 20:49:13] 709*2^1415475-1 is not prime. Res64: C6C384753DE8D8F8 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:49:13] 825*2^1415475-1 is not prime. Res64: 8DDB95E19F45A260 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:49:35] 917*2^1415474-1 is not prime. Res64: 2F824B06D3A8FC28 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:49:36] 609*2^1415475-1 is not prime. Res64: 8333BA44C82F4469 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:51:21] 829*2^1415475-1 is not prime. Res64: 85C0BBBED4F4F411 Time : 0.0 sec. user=mdettweiler [2015-11-19 20:51:21] 859*2^1415475-1 is not prime. Res64: 2DE737F83CFB54DE Time : 0.0 sec. user=mdettweiler [2015-11-19 21:02:14] 903*2^1415475-1 is not prime. Res64: 88C35960570DE08B Time : 0.0 sec. user=mdettweiler [2015-11-19 21:02:15] 961*2^1415475-1 is not prime. Res64: 718A8FAA93E3D11C Time : 0.0 sec. user=mdettweiler [2015-11-19 21:08:05] 657*2^1415476-1 is not prime. Res64: 144026445F73083A Time : 0.0 sec. user=mdettweiler [2015-11-19 21:08:06] 705*2^1415476-1 is not prime. Res64: 509CCC4B910B8316 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:08:36] 743*2^1415476-1 is not prime. Res64: A3C7B31FC4C07B16 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:08:36] 803*2^1415476-1 is not prime. Res64: 90215B63D5179071 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:09:45] 615*2^1415477-1 is not prime. Res64: 44EF0A4EC08AF98D Time : 0.0 sec. user=mdettweiler [2015-11-19 21:09:45] 619*2^1415477-1 is not prime. Res64: 797FD9F611E2D321 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:20:27] 651*2^1415477-1 is not prime. Res64: 2B9F53B1159262CA Time : 0.0 sec. user=mdettweiler [2015-11-19 21:20:28] 801*2^1415477-1 is not prime. Res64: 16AF712CAC64EE4A Time : 0.0 sec. user=mdettweiler [2015-11-19 21:26:12] 865*2^1415477-1 is not prime. Res64: 5CB9E04936062C44 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:26:12] 949*2^1415477-1 is not prime. Res64: D64E80E4A7276B73 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:26:52] 985*2^1415477-1 is not prime. Res64: 5D01B2036F0E5D74 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:26:52] 605*2^1415478-1 is not prime. Res64: D32C2DD8DA8A9E52 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:27:49] 665*2^1415478-1 is not prime. Res64: A1F0152A1560898F Time : 0.0 sec. user=mdettweiler [2015-11-19 21:27:50] 755*2^1415478-1 is not prime. Res64: E5279F9287E79A2E Time : 0.0 sec. user=mdettweiler [2015-11-19 21:38:30] 875*2^1415478-1 is not prime. Res64: A826FF5EF611D634 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:38:31] 893*2^1415478-1 is not prime. Res64: E5792C1D09F8B74A Time : 0.0 sec. user=mdettweiler [2015-11-19 21:44:11] 921*2^1415478-1 is not prime. Res64: 7B7FF16B4BE2DB4E Time : 0.0 sec. user=mdettweiler [2015-11-19 21:44:11] 927*2^1415478-1 is not prime. Res64: 46BAE53780AA2DF1 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:44:53] 933*2^1415478-1 is not prime. Res64: 94BB330B957A9566 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:44:54] 1001*2^1415478-1 is not prime. Res64: B667CDD655F38185 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:45:57] 603*2^1415479-1 is not prime. Res64: 48C4FD6C3BF3B6EF Time : 0.0 sec. user=mdettweiler [2015-11-19 21:45:58] 679*2^1415479-1 is not prime. Res64: B7DE5F6544EEF16C Time : 0.0 sec. user=mdettweiler [2015-11-19 21:57:10] 829*2^1415479-1 is not prime. Res64: 10DB78701F452030 Time : 0.0 sec. user=mdettweiler [2015-11-19 21:57:11] 831*2^1415479-1 is not prime. Res64: 82CC822BF81119BD Time : 0.0 sec. user=mdettweiler [2015-11-19 22:02:54] 659*2^1415480-1 is not prime. Res64: 155C901CE218096E Time : 0.0 sec. user=mdettweiler [2015-11-19 22:02:55] 665*2^1415480-1 is not prime. Res64: 34E28FCC7393C46C Time : 0.0 sec. user=mdettweiler [2015-11-19 22:04:00] 689*2^1415480-1 is not prime. Res64: AB5270385EF311CA Time : 0.0 sec. user=mdettweiler [2015-11-19 22:04:01] 699*2^1415480-1 is not prime. Res64: F10CF8D23B3331F4 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:04:25] 803*2^1415480-1 is not prime. Res64: 694D7E89A725021E Time : 0.0 sec. user=mdettweiler [2015-11-19 22:04:25] 893*2^1415480-1 is not prime. Res64: 9E9CA58BD5C22C8C Time : 0.0 sec. user=mdettweiler [2015-11-19 22:15:38] 995*2^1415480-1 is not prime. Res64: E748CD563D2207BF Time : 0.0 sec. user=mdettweiler [2015-11-19 22:15:38] 669*2^1415481-1 is not prime. Res64: E4CB077D5C65F60A Time : 0.0 sec. user=mdettweiler [2015-11-19 22:21:17] 681*2^1415481-1 is not prime. Res64: 3AE3FC026ACC9C9F Time : 0.0 sec. user=mdettweiler [2015-11-19 22:21:17] 781*2^1415481-1 is not prime. Res64: A17CA8B13B0E5AF1 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:22:12] 865*2^1415481-1 is not prime. Res64: 1844FBCA4F964E20 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:22:12] 889*2^1415481-1 is not prime. Res64: ECFDA9510448E11B Time : 0.0 sec. user=mdettweiler [2015-11-19 22:22:43] 937*2^1415481-1 is not prime. Res64: 6646F2A331CC8896 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:22:44] 603*2^1415482-1 is not prime. Res64: B298421EADA8B62D Time : 0.0 sec. user=mdettweiler [2015-11-19 22:33:46] 701*2^1415482-1 is not prime. Res64: 2CFE838236C4064F Time : 0.0 sec. user=mdettweiler [2015-11-19 22:33:46] 777*2^1415482-1 is not prime. Res64: 1B8D028F099267EF Time : 0.0 sec. user=mdettweiler [2015-11-19 22:39:21] 981*2^1415482-1 is not prime. Res64: BFE02EE167D66FED Time : 0.0 sec. user=mdettweiler [2015-11-19 22:39:21] 643*2^1415483-1 is not prime. Res64: EF3FDDD88C9EE76B Time : 0.0 sec. user=mdettweiler [2015-11-19 22:40:31] 775*2^1415483-1 is not prime. Res64: DD68C636A9BF3148 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:40:31] 789*2^1415483-1 is not prime. Res64: E608490A7AC920CF Time : 0.0 sec. user=mdettweiler [2015-11-19 22:40:53] 811*2^1415483-1 is not prime. Res64: 23BF49EC036F2DE0 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:40:53] 813*2^1415483-1 is not prime. Res64: 004CC1D6C1728BF0 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:51:53] 861*2^1415483-1 is not prime. Res64: 04D93894EBF222A6 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:51:54] 921*2^1415483-1 is not prime. Res64: 4C1525B17E39EC2F Time : 0.0 sec. user=mdettweiler [2015-11-19 22:57:25] 939*2^1415483-1 is not prime. Res64: B82983A4EEDE516B Time : 0.0 sec. user=mdettweiler [2015-11-19 22:57:25] 789*2^1415484-1 is not prime. Res64: C3A285FDC4AC64B5 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:58:38] 825*2^1415484-1 is not prime. Res64: B0B34FE9C279F0B0 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:58:38] 915*2^1415484-1 is not prime. Res64: C06BA081ABB5919D Time : 0.0 sec. user=mdettweiler [2015-11-19 22:58:57] 927*2^1415484-1 is not prime. Res64: BA0227F59D0AD456 Time : 0.0 sec. user=mdettweiler [2015-11-19 22:58:57] 993*2^1415484-1 is not prime. Res64: AD8F1EE4B91900FA Time : 0.0 sec. user=mdettweiler [2015-11-19 23:09:55] 801*2^1415485-1 is not prime. Res64: 8A0F47348051D3E4 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:09:56] 855*2^1415485-1 is not prime. Res64: F71EB0156BC600BA Time : 0.0 sec. user=mdettweiler [2015-11-19 23:15:20] 861*2^1415485-1 is not prime. Res64: 32C859428F640767 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:15:20] 889*2^1415485-1 is not prime. Res64: EC01B10FE941F042 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:16:44] 951*2^1415485-1 is not prime. Res64: 1EE34CDCB2D26926 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:16:45] 635*2^1415486-1 is not prime. Res64: 5F15F2B6C44CE30D Time : 0.0 sec. user=mdettweiler [2015-11-19 23:17:08] 641*2^1415486-1 is not prime. Res64: F28F9E4500B10F16 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:17:08] 683*2^1415486-1 is not prime. Res64: D957336255A55462 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:28:05] 707*2^1415486-1 is not prime. Res64: CF2792A3534540C7 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:28:05] 741*2^1415486-1 is not prime. Res64: BF2F95F1C866E184 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:33:24] 843*2^1415486-1 is not prime. Res64: 714FDF9AB9EC83BF Time : 0.0 sec. user=mdettweiler [2015-11-19 23:33:25] 897*2^1415486-1 is not prime. Res64: F59423AE84A17457 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:34:50] 941*2^1415486-1 is not prime. Res64: 51B7E90A79006E03 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:34:51] 983*2^1415486-1 is not prime. Res64: AD1EDCFD36738B9E Time : 0.0 sec. user=mdettweiler [2015-11-19 23:35:11] 625*2^1415487-1 is not prime. Res64: 10440E51AA05A0AF Time : 0.0 sec. user=mdettweiler [2015-11-19 23:35:12] 661*2^1415487-1 is not prime. Res64: 688690AD8310A5C5 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:46:04] 735*2^1415487-1 is not prime. Res64: 8ED47C1DEBEBA2A6 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:46:04] 677*2^1415488-1 is not prime. Res64: 6D3B94C11EA2B327 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:51:22] 735*2^1415488-1 is not prime. Res64: 211BC035FDA67356 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:51:23] 827*2^1415488-1 is not prime. Res64: 0C2C45BB16019C46 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:52:59] 863*2^1415488-1 is not prime. Res64: FA48B27319D768C8 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:53:00] 887*2^1415488-1 is not prime. Res64: AB54E9C0B2B284FE Time : 0.0 sec. user=mdettweiler [2015-11-19 23:53:13] 993*2^1415488-1 is not prime. Res64: DB1AD82810AAD500 Time : 0.0 sec. user=mdettweiler [2015-11-19 23:53:14] 995*2^1415488-1 is not prime. Res64: 0A751706C34EB86C Time : 0.0 sec.