user=mdettweiler [2015-12-12 00:02:48] 837*2^1417337-1 is not prime. Res64: C3E6105E5A3D639C Time : 0.0 sec. user=mdettweiler [2015-12-12 00:02:48] 879*2^1417337-1 is not prime. Res64: CB804F3356AD0D2A Time : 0.0 sec. user=mdettweiler [2015-12-12 00:09:45] 931*2^1417337-1 is not prime. Res64: 39ACD70DDC01CFDD Time : 0.0 sec. user=mdettweiler [2015-12-12 00:09:46] 621*2^1417338-1 is not prime. Res64: 80A9FCF77A0FEAB9 Time : 0.0 sec. user=mdettweiler [2015-12-12 00:20:53] 755*2^1417338-1 is not prime. Res64: D1AEC62AAB6EA5DB Time : 0.0 sec. user=mdettweiler [2015-12-12 00:20:54] 821*2^1417338-1 is not prime. Res64: 331E671589F6BA5C Time : 0.0 sec. user=mdettweiler [2015-12-12 00:27:27] 977*2^1417338-1 is not prime. Res64: D26A0B133EC1BD80 Time : 0.0 sec. user=mdettweiler [2015-12-12 00:27:28] 693*2^1417339-1 is not prime. Res64: C33EC2942F04619B Time : 0.0 sec. user=mdettweiler [2015-12-12 00:38:22] 709*2^1417339-1 is not prime. Res64: 9926A1282BE486F2 Time : 0.0 sec. user=mdettweiler [2015-12-12 00:38:22] 811*2^1417339-1 is not prime. Res64: 638BA24035A1A063 Time : 0.0 sec. user=mdettweiler [2015-12-12 00:44:55] 841*2^1417339-1 is not prime. Res64: 8F1DC90FCAB8FC5D Time : 0.0 sec. user=mdettweiler [2015-12-12 00:44:55] 925*2^1417339-1 is not prime. Res64: 3E2AEEFE2EBA33B8 Time : 0.0 sec. user=mdettweiler [2015-12-12 00:55:49] 969*2^1417339-1 is not prime. Res64: 154207A7F29C9E87 Time : 0.0 sec. user=mdettweiler [2015-12-12 00:55:49] 605*2^1417340-1 is not prime. Res64: 88A7CAD5A35C7EF0 Time : 0.0 sec. user=mdettweiler [2015-12-12 01:02:21] 629*2^1417340-1 is not prime. Res64: 1EAC800FBA958F97 Time : 0.0 sec. user=mdettweiler [2015-12-12 01:02:22] 635*2^1417340-1 is not prime. Res64: 3318033074C6F983 Time : 0.0 sec. user=mdettweiler [2015-12-12 01:13:15] 659*2^1417340-1 is not prime. Res64: 240FA04355A5656E Time : 0.0 sec. user=mdettweiler [2015-12-12 01:13:16] 663*2^1417340-1 is not prime. Res64: 812EB337258CAE59 Time : 0.0 sec. user=mdettweiler [2015-12-12 01:19:59] 669*2^1417340-1 is not prime. Res64: EA2CF4335A35BB6D Time : 0.0 sec. user=mdettweiler [2015-12-12 01:20:00] 825*2^1417340-1 is not prime. Res64: C3FA5E2C585C55F5 Time : 0.0 sec. user=mdettweiler [2015-12-12 01:30:41] 927*2^1417340-1 is not prime. Res64: 12AC05F8197D8944 Time : 0.0 sec. user=mdettweiler [2015-12-12 01:30:42] 945*2^1417340-1 is not prime. Res64: 30FF415274D1632A Time : 0.0 sec. user=mdettweiler [2015-12-12 01:37:26] 609*2^1417341-1 is not prime. Res64: 0D2FE0C7699CB833 Time : 0.0 sec. user=mdettweiler [2015-12-12 01:37:26] 735*2^1417341-1 is not prime. Res64: C325CFBB35451A8F Time : 0.0 sec. user=mdettweiler [2015-12-12 01:48:12] 927*2^1417341-1 is not prime. Res64: 3AD193F2B03A876A Time : 0.0 sec. user=mdettweiler [2015-12-12 01:48:12] 955*2^1417341-1 is not prime. Res64: B94C12BF9FD887C6 Time : 0.0 sec. user=mdettweiler [2015-12-12 01:54:54] 979*2^1417341-1 is not prime. Res64: AEB67390482F1F1D Time : 0.0 sec. user=mdettweiler [2015-12-12 01:54:54] 623*2^1417342-1 is not prime. Res64: 68B001A524FF9903 Time : 0.0 sec. user=mdettweiler [2015-12-12 02:05:38] 737*2^1417342-1 is not prime. Res64: F54AB2FE71B579BD Time : 0.0 sec. user=mdettweiler [2015-12-12 02:05:39] 743*2^1417342-1 is not prime. Res64: B5838ED28CE950D7 Time : 0.0 sec. user=mdettweiler [2015-12-12 02:12:20] 957*2^1417342-1 is not prime. Res64: 9865622FD82E01E3 Time : 0.0 sec. user=mdettweiler [2015-12-12 02:12:20] 965*2^1417342-1 is not prime. Res64: 93836EAD35161B9E Time : 0.0 sec. user=mdettweiler [2015-12-12 02:23:06] 705*2^1417343-1 is not prime. Res64: DB21FEA30FE65702 Time : 0.0 sec. user=mdettweiler [2015-12-12 02:23:07] 981*2^1417343-1 is not prime. Res64: D0D015ACED4FC880 Time : 0.0 sec. user=mdettweiler [2015-12-12 02:29:47] 993*2^1417343-1 is not prime. Res64: C86EECC1A91ECF7B Time : 0.0 sec. user=mdettweiler [2015-12-12 02:29:48] 675*2^1417344-1 is not prime. Res64: E785BB8BC3DC5D6D Time : 0.0 sec. user=mdettweiler [2015-12-12 02:40:32] 699*2^1417344-1 is not prime. Res64: 2B3816696439FD9A Time : 0.0 sec. user=mdettweiler [2015-12-12 02:40:33] 723*2^1417344-1 is not prime. Res64: 147A2D4F4D0220FC Time : 0.0 sec. user=mdettweiler [2015-12-12 02:47:19] 767*2^1417344-1 is not prime. Res64: DEA048A830294E0B Time : 0.0 sec. user=mdettweiler [2015-12-12 02:47:19] 857*2^1417344-1 is not prime. Res64: A984A5ACA0F3776F Time : 0.0 sec. user=mdettweiler [2015-12-12 02:57:59] 909*2^1417344-1 is not prime. Res64: EBFAE3B38F799CBE Time : 0.0 sec. user=mdettweiler [2015-12-12 02:57:59] 917*2^1417344-1 is not prime. Res64: 498E86754F34C6D0 Time : 0.0 sec. user=mdettweiler [2015-12-12 03:04:46] 947*2^1417344-1 is not prime. Res64: 5E9A7031F743E0FE Time : 0.0 sec. user=mdettweiler [2015-12-12 03:04:48] 937*2^1417345-1 is not prime. Res64: 482A70C1D1F88332 Time : 0.0 sec. user=mdettweiler [2015-12-12 03:15:25] 957*2^1417345-1 is not prime. Res64: 2AE4EAB020CEAB25 Time : 0.0 sec. user=mdettweiler [2015-12-12 03:15:26] 979*2^1417345-1 is not prime. Res64: 673EBE53ADCF70A7 Time : 0.0 sec. user=mdettweiler [2015-12-12 03:22:15] 999*2^1417345-1 is not prime. Res64: 339D3EB7E5542171 Time : 0.0 sec. user=mdettweiler [2015-12-12 03:22:15] 615*2^1417346-1 is not prime. Res64: FA738B4C603D0872 Time : 0.0 sec. user=mdettweiler [2015-12-12 03:32:52] 627*2^1417346-1 is not prime. Res64: 3A59CF92B680E7AD Time : 0.0 sec. user=mdettweiler [2015-12-12 03:32:54] 651*2^1417346-1 is not prime. Res64: D65D7CA57BA36389 Time : 0.0 sec. user=mdettweiler [2015-12-12 03:39:41] 711*2^1417346-1 is not prime. Res64: D4690D44DA00E98F Time : 0.0 sec. user=mdettweiler [2015-12-12 03:39:44] 767*2^1417346-1 is not prime. Res64: A3F9D9BB07D862ED Time : 0.0 sec. user=mdettweiler [2015-12-12 03:50:23] 935*2^1417346-1 is not prime. Res64: A9E39FA2323E0A9B Time : 0.0 sec. user=mdettweiler [2015-12-12 03:50:28] 981*2^1417346-1 is not prime. Res64: 4ABDE309B091A3A5 Time : 0.0 sec. user=mdettweiler [2015-12-12 03:57:25] 993*2^1417346-1 is not prime. Res64: 0461DBFAD9D815D2 Time : 0.0 sec. user=mdettweiler [2015-12-12 03:57:26] 669*2^1417347-1 is not prime. Res64: 2388008677D17C1F Time : 0.0 sec. user=mdettweiler [2015-12-12 04:08:19] 685*2^1417347-1 is not prime. Res64: 358F2C765F1F196D Time : 0.0 sec. user=mdettweiler [2015-12-12 04:08:19] 765*2^1417347-1 is not prime. Res64: 84F1E73E9AA93ED5 Time : 0.0 sec. user=mdettweiler [2015-12-12 04:14:53] 775*2^1417347-1 is not prime. Res64: 2F6351711C349625 Time : 0.0 sec. user=mdettweiler [2015-12-12 04:14:54] 801*2^1417347-1 is not prime. Res64: AEBDC14ED7E4C151 Time : 0.0 sec. user=mdettweiler [2015-12-12 04:25:52] 805*2^1417347-1 is not prime. Res64: 62174251E6A4908D Time : 0.0 sec. user=mdettweiler [2015-12-12 04:25:53] 843*2^1417347-1 is not prime. Res64: CD7D7CE6720FD602 Time : 0.0 sec. user=mdettweiler [2015-12-12 04:32:27] 891*2^1417347-1 is not prime. Res64: 4096CA0826FBA6D2 Time : 0.0 sec. user=mdettweiler [2015-12-12 04:32:28] 623*2^1417348-1 is not prime. Res64: 45FDC7B822577223 Time : 0.0 sec. user=mdettweiler [2015-12-12 04:43:20] 639*2^1417348-1 is not prime. Res64: 57D79E348BC8B514 Time : 0.0 sec. user=mdettweiler [2015-12-12 04:43:21] 665*2^1417348-1 is not prime. Res64: E11FBD567DEEC64F Time : 0.0 sec. user=mdettweiler [2015-12-12 04:49:54] 601*2^1417349-1 is not prime. Res64: 74F8638DFE504E2E Time : 0.0 sec. user=mdettweiler [2015-12-12 04:49:54] 615*2^1417349-1 is not prime. Res64: 755D64A00187F078 Time : 0.0 sec. user=mdettweiler [2015-12-12 05:00:48] 795*2^1417349-1 is not prime. Res64: 1E5A942393E46A71 Time : 0.0 sec. user=mdettweiler [2015-12-12 05:00:49] 837*2^1417349-1 is not prime. Res64: D21704C7A11A15DB Time : 0.0 sec. user=mdettweiler [2015-12-12 05:07:22] 861*2^1417349-1 is not prime. Res64: 5F5E8F59E506B716 Time : 0.0 sec. user=mdettweiler [2015-12-12 05:07:23] 777*2^1417350-1 is not prime. Res64: BAAEF40ECE75B7A7 Time : 0.0 sec. user=mdettweiler [2015-12-12 05:18:18] 797*2^1417350-1 is not prime. Res64: DED2D4EE002BA204 Time : 0.0 sec. user=mdettweiler [2015-12-12 05:18:18] 965*2^1417350-1 is not prime. Res64: 5FF21F61FDFBFF61 Time : 0.0 sec. user=mdettweiler [2015-12-12 05:24:48] 971*2^1417350-1 is not prime. Res64: D7D1D477C8BD3994 Time : 0.0 sec. user=mdettweiler [2015-12-12 05:24:48] 649*2^1417351-1 is not prime. Res64: DBD8A8CBB681A4A2 Time : 0.0 sec. user=mdettweiler [2015-12-12 05:35:45] 681*2^1417351-1 is not prime. Res64: 0C1951C72C6B9314 Time : 0.0 sec. user=mdettweiler [2015-12-12 05:35:46] 759*2^1417351-1 is not prime. Res64: E3A9EF581265748B Time : 0.0 sec. user=mdettweiler [2015-12-12 05:42:13] 775*2^1417351-1 is not prime. Res64: 11206F1878F3863E Time : 0.0 sec. user=mdettweiler [2015-12-12 05:42:14] 843*2^1417351-1 is not prime. Res64: A7D05DE4FDE61E82 Time : 0.0 sec. user=mdettweiler [2015-12-12 05:53:11] 913*2^1417351-1 is not prime. Res64: D70F076D89F1148B Time : 0.0 sec. user=mdettweiler [2015-12-12 05:53:11] 933*2^1417351-1 is not prime. Res64: 0B6F0378097B54CB Time : 0.0 sec. user=mdettweiler [2015-12-12 05:59:39] 615*2^1417352-1 is not prime. Res64: 0E492E0937A496DD Time : 0.0 sec. user=mdettweiler [2015-12-12 05:59:40] 803*2^1417352-1 is not prime. Res64: B3881F58CD5D4A73 Time : 0.0 sec. user=mdettweiler [2015-12-12 06:10:36] 917*2^1417352-1 is not prime. Res64: E3C83C82CEF0C44F Time : 0.0 sec. user=mdettweiler [2015-12-12 06:10:37] 929*2^1417352-1 is not prime. Res64: 9D543A0D5AB13B22 Time : 0.0 sec. user=mdettweiler [2015-12-12 06:17:05] 963*2^1417352-1 is not prime. Res64: 4025BC09C9BC7811 Time : 0.0 sec. user=mdettweiler [2015-12-12 06:17:06] 649*2^1417353-1 is not prime. Res64: A51F17114D5735D0 Time : 0.0 sec. user=mdettweiler [2015-12-12 06:28:03] 789*2^1417353-1 is not prime. Res64: A544F4A4A81F6B43 Time : 0.0 sec. user=mdettweiler [2015-12-12 06:28:03] 835*2^1417353-1 is not prime. Res64: 2D376AAE8E9ED8B4 Time : 0.0 sec. user=mdettweiler [2015-12-12 06:34:39] 951*2^1417353-1 is not prime. Res64: FE985B6E6C85599F Time : 0.0 sec. user=mdettweiler [2015-12-12 06:34:39] 617*2^1417354-1 is not prime. Res64: 53AC8215093A6482 Time : 0.0 sec. user=mdettweiler [2015-12-12 06:45:28] 665*2^1417354-1 is not prime. Res64: 1326DE5175A0BD5D Time : 0.0 sec. user=mdettweiler [2015-12-12 06:45:28] 891*2^1417354-1 is not prime. Res64: 3566A2B165C93266 Time : 0.0 sec. user=mdettweiler [2015-12-12 06:52:04] 903*2^1417354-1 is not prime. Res64: CE12DDCE711D3A5A Time : 0.0 sec. user=mdettweiler [2015-12-12 06:52:04] 981*2^1417354-1 is not prime. Res64: 73794194397A96D8 Time : 0.0 sec. user=mdettweiler [2015-12-12 07:02:54] 741*2^1417190-1 is not prime. Res64: 14347D9E409F6AFD Time : 0.0 sec. user=mdettweiler [2015-12-12 07:02:56] 785*2^1417190-1 is not prime. Res64: C71A4C06EBE902BC Time : 0.0 sec. user=mdettweiler [2015-12-12 07:09:30] 851*2^1417190-1 is not prime. Res64: E0B6CEFF2F163E75 Time : 0.0 sec. user=mdettweiler [2015-12-12 07:09:31] 857*2^1417190-1 is not prime. Res64: 2AB1E4694AD18DF7 Time : 0.0 sec. user=mdettweiler [2015-12-12 07:20:23] 601*2^1417355-1 is not prime. Res64: A25D630F4C81B5DA Time : 0.0 sec. user=mdettweiler [2015-12-12 07:20:23] 651*2^1417355-1 is not prime. Res64: 902613BA504D3C85 Time : 0.0 sec. user=mdettweiler [2015-12-12 07:27:00] 663*2^1417355-1 is not prime. Res64: AF3DB41C3E57B4B2 Time : 0.0 sec. user=mdettweiler [2015-12-12 07:27:00] 679*2^1417355-1 is not prime. Res64: DC1453771E391899 Time : 0.0 sec. user=mdettweiler [2015-12-12 07:37:49] 843*2^1417355-1 is not prime. Res64: 38D264C4150354ED Time : 0.0 sec. user=mdettweiler [2015-12-12 07:37:50] 735*2^1417356-1 is not prime. Res64: 7EB43CF78762B57B Time : 0.0 sec. user=mdettweiler [2015-12-12 07:44:26] 767*2^1417356-1 is not prime. Res64: 3B767542E44413DB Time : 0.0 sec. user=mdettweiler [2015-12-12 07:44:26] 845*2^1417356-1 is not prime. Res64: 2BB3DF9471747769 Time : 0.0 sec. user=mdettweiler [2015-12-12 07:55:14] 903*2^1417356-1 is not prime. Res64: B32B4B0B0CD18A9C Time : 0.0 sec. user=mdettweiler [2015-12-12 07:55:14] 615*2^1417357-1 is not prime. Res64: 2435968A67760EF4 Time : 0.0 sec. user=mdettweiler [2015-12-12 08:01:52] 625*2^1417357-1 is not prime. Res64: 3AC4725960A43FC4 Time : 0.0 sec. user=mdettweiler [2015-12-12 08:01:53] 861*2^1417357-1 is not prime. Res64: D50E8A90923C2360 Time : 0.0 sec. user=mdettweiler [2015-12-12 08:12:41] 967*2^1417357-1 is not prime. Res64: 00C9087450F38EA7 Time : 0.0 sec. user=mdettweiler [2015-12-12 08:12:41] 985*2^1417357-1 is not prime. Res64: 855ACA1F375604AC Time : 0.0 sec. user=mdettweiler [2015-12-12 08:19:31] 713*2^1417358-1 is not prime. Res64: C5106E9ACD815D75 Time : 0.0 sec. user=mdettweiler [2015-12-12 08:19:31] 773*2^1417358-1 is not prime. Res64: AA489F8843C3B14A Time : 0.0 sec. user=mdettweiler [2015-12-12 08:30:09] 875*2^1417358-1 is not prime. Res64: BEB744411106534A Time : 0.0 sec. user=mdettweiler [2015-12-12 08:30:10] 621*2^1417359-1 is not prime. Res64: 26DF5DDBD5871AC3 Time : 0.0 sec. user=mdettweiler [2015-12-12 08:36:57] 685*2^1417359-1 is not prime. Res64: 69D075C46E3080D3 Time : 0.0 sec. user=mdettweiler [2015-12-12 08:36:58] 775*2^1417359-1 is not prime. Res64: 586557D29E3ABDDE Time : 0.0 sec. user=mdettweiler [2015-12-12 08:47:35] 831*2^1417359-1 is not prime. Res64: 60C8D3E5AEEE8CA7 Time : 0.0 sec. user=mdettweiler [2015-12-12 08:47:35] 853*2^1417359-1 is not prime. Res64: 4929489620A38C0D Time : 0.0 sec. user=mdettweiler [2015-12-12 08:54:23] 879*2^1417359-1 is not prime. Res64: 72C1335BCE49691A Time : 0.0 sec. user=mdettweiler [2015-12-12 08:54:23] 921*2^1417359-1 is not prime. Res64: 51A3CBF985FEE436 Time : 0.0 sec. user=mdettweiler [2015-12-12 09:05:01] 999*2^1417360-1 is not prime. Res64: 33CB6CC29847385D Time : 0.0 sec. user=mdettweiler [2015-12-12 09:05:03] 607*2^1417361-1 is not prime. Res64: 62C5CC5E5E83C71D Time : 0.0 sec. user=mdettweiler [2015-12-12 09:11:49] 631*2^1417361-1 is not prime. Res64: 78146D93E51DBBBD Time : 0.0 sec. user=mdettweiler [2015-12-12 09:11:49] 705*2^1417361-1 is not prime. Res64: 79F2A19BC529AE3F Time : 0.0 sec. user=mdettweiler [2015-12-12 09:22:29] 889*2^1417361-1 is not prime. Res64: 6C87F4C70032FA6D Time : 0.0 sec. user=mdettweiler [2015-12-12 09:22:29] 937*2^1417361-1 is not prime. Res64: FFE9776FD778CA5B Time : 0.0 sec. user=mdettweiler [2015-12-12 09:29:18] 945*2^1417361-1 is not prime. Res64: A0C40F49C694704E Time : 0.0 sec. user=mdettweiler [2015-12-12 09:29:19] 611*2^1417362-1 is not prime. Res64: FA9F2E61F1A6A853 Time : 0.0 sec. user=mdettweiler [2015-12-12 09:39:54] 731*2^1417362-1 is not prime. Res64: 6B2041842182B2E5 Time : 0.0 sec. user=mdettweiler [2015-12-12 09:39:55] 797*2^1417362-1 is not prime. Res64: 664784DB4FFA0B3E Time : 0.0 sec. user=mdettweiler [2015-12-12 09:46:43] 891*2^1417362-1 is not prime. Res64: 2C09900A0AEB1F67 Time : 0.0 sec. user=mdettweiler [2015-12-12 09:46:44] 947*2^1417362-1 is not prime. Res64: B6567A422E9320F3 Time : 0.0 sec. user=mdettweiler [2015-12-12 09:57:20] 983*2^1417362-1 is not prime. Res64: 1C9023AFCCFA5348 Time : 0.0 sec. user=mdettweiler [2015-12-12 09:57:21] 603*2^1417363-1 is not prime. Res64: 4B7E6D54CD465DC5 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:04:10] 639*2^1417363-1 is not prime. Res64: F713E95B4F70D761 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:04:11] 703*2^1417363-1 is not prime. Res64: A88583281ECCB71C Time : 0.0 sec. user=mdettweiler [2015-12-12 10:14:46] 769*2^1417363-1 is not prime. Res64: 014EB1207052A085 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:14:46] 771*2^1417363-1 is not prime. Res64: F79C870D28930A11 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:21:39] 617*2^1417364-1 is not prime. Res64: 5951F33CF8A38828 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:21:39] 635*2^1417364-1 is not prime. Res64: BBEA2804669EEF02 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:32:13] 707*2^1417364-1 is not prime. Res64: CDB64A01DAF29F3D Time : 0.0 sec. user=mdettweiler [2015-12-12 10:32:14] 935*2^1417364-1 is not prime. Res64: 03047BE955ED43D8 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:39:04] 983*2^1417364-1 is not prime. Res64: FC30E288A14EFE18 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:39:04] 679*2^1417365-1 is not prime. Res64: BB99DD072F68EAE8 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:49:39] 685*2^1417365-1 is not prime. Res64: D40122CC93111365 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:49:40] 717*2^1417365-1 is not prime. Res64: DC824F9D3D605222 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:56:30] 781*2^1417365-1 is not prime. Res64: FEFE82EEAAFE65F2 Time : 0.0 sec. user=mdettweiler [2015-12-12 10:56:31] 787*2^1417365-1 is not prime. Res64: 8C009A6A6489851E Time : 0.0 sec. user=mdettweiler [2015-12-12 11:07:06] 861*2^1417365-1 is not prime. Res64: BF2C95C088EA6232 Time : 0.0 sec. user=mdettweiler [2015-12-12 11:07:07] 951*2^1417365-1 is not prime. Res64: F67ED77071F8AF02 Time : 0.0 sec. user=mdettweiler [2015-12-12 11:13:56] 955*2^1417365-1 is not prime. Res64: 8666BEB8B721968C Time : 0.0 sec. user=mdettweiler [2015-12-12 11:13:57] 961*2^1417365-1 is not prime. Res64: BA966C9AE42C6835 Time : 0.0 sec. user=mdettweiler [2015-12-12 11:24:45] 975*2^1417365-1 is not prime. Res64: 150FCC78A76BFF96 Time : 0.0 sec. user=mdettweiler [2015-12-12 11:24:45] 657*2^1417366-1 is not prime. Res64: 27E840E08D8872B8 Time : 0.0 sec. user=mdettweiler [2015-12-12 11:31:24] 785*2^1417366-1 is not prime. Res64: 558FE9588B1C0228 Time : 0.0 sec. user=mdettweiler [2015-12-12 11:31:25] 833*2^1417366-1 is not prime. Res64: 751A36CAC6D20433 Time : 0.0 sec. user=mdettweiler [2015-12-12 11:42:11] 855*2^1417366-1 is not prime. Res64: 961598010744597E Time : 0.0 sec. user=mdettweiler [2015-12-12 11:42:12] 897*2^1417366-1 is not prime. Res64: 889CB8D4F2537648 Time : 0.0 sec. user=mdettweiler [2015-12-12 11:48:51] 993*2^1417366-1 is not prime. Res64: 22ABFA917341420E Time : 0.0 sec. user=mdettweiler [2015-12-12 11:48:52] 615*2^1417367-1 is not prime. Res64: F4ACE11C5D69CC85 Time : 0.0 sec. user=mdettweiler [2015-12-12 11:59:41] 735*2^1417367-1 is not prime. Res64: 3E4C68159319F156 Time : 0.0 sec. user=mdettweiler [2015-12-12 11:59:42] 775*2^1417367-1 is not prime. Res64: 8113B47620A6A595 Time : 0.0 sec. user=mdettweiler [2015-12-12 12:06:22] 799*2^1417367-1 is not prime. Res64: 5D49BFC38F8345B1 Time : 0.0 sec. user=mdettweiler [2015-12-12 12:06:23] 825*2^1417367-1 is not prime. Res64: 790E5CC73DA14E2C Time : 0.0 sec. user=mdettweiler [2015-12-12 12:17:10] 963*2^1417367-1 is not prime. Res64: 957CBDC2422D88C2 Time : 0.0 sec. user=mdettweiler [2015-12-12 12:17:10] 979*2^1417367-1 is not prime. Res64: 68C7DAB968D03C79 Time : 0.0 sec. user=mdettweiler [2015-12-12 12:23:52] 981*2^1417367-1 is not prime. Res64: 034A4BE759194E84 Time : 0.0 sec. user=mdettweiler [2015-12-12 12:23:52] 991*2^1417367-1 is not prime. Res64: 4533A1FC3551A150 Time : 0.0 sec. user=mdettweiler [2015-12-12 12:34:42] 707*2^1417368-1 is not prime. Res64: 623A7915E5663A3B Time : 0.0 sec. user=mdettweiler [2015-12-12 12:34:43] 737*2^1417368-1 is not prime. Res64: 8107C11E822F444A Time : 0.0 sec. user=mdettweiler [2015-12-12 12:41:25] 759*2^1417368-1 is not prime. Res64: EDA4BEF79EFCDA25 Time : 0.0 sec. user=mdettweiler [2015-12-12 12:41:25] 773*2^1417368-1 is not prime. Res64: D73D6BCE50A135A4 Time : 0.0 sec. user=mdettweiler [2015-12-12 12:52:13] 839*2^1417368-1 is not prime. Res64: C66A0D80200315E5 Time : 0.0 sec. user=mdettweiler [2015-12-12 12:52:13] 975*2^1417368-1 is not prime. Res64: CF00A5EB2BE9E31F Time : 0.0 sec. user=mdettweiler [2015-12-12 12:58:55] 625*2^1417369-1 is not prime. Res64: 23AB9B1A426894E8 Time : 0.0 sec. user=mdettweiler [2015-12-12 12:58:56] 765*2^1417369-1 is not prime. Res64: C03572D2211D8177 Time : 0.0 sec. user=mdettweiler [2015-12-12 13:09:44] 817*2^1417369-1 is not prime. Res64: B140DC629FE326EF Time : 0.0 sec. user=mdettweiler [2015-12-12 13:09:45] 829*2^1417369-1 is not prime. Res64: 7C8F4203B69D7BDC Time : 0.0 sec. user=mdettweiler [2015-12-12 13:16:28] 931*2^1417369-1 is not prime. Res64: 8D88C95160B834CD Time : 0.0 sec. user=mdettweiler [2015-12-12 13:16:28] 677*2^1417370-1 is not prime. Res64: 39D8349E4E0C0BF1 Time : 0.0 sec. user=mdettweiler [2015-12-12 13:27:25] 713*2^1417370-1 is not prime. Res64: 880B7F2853DF61E3 Time : 0.0 sec. user=mdettweiler [2015-12-12 13:27:26] 743*2^1417370-1 is not prime. Res64: 898B109FDF597164 Time : 0.0 sec. user=mdettweiler [2015-12-12 13:33:57] 845*2^1417370-1 is not prime. Res64: 3C826C9200630903 Time : 0.0 sec. user=mdettweiler [2015-12-12 13:33:57] 893*2^1417370-1 is not prime. Res64: B634D03AF6682DC6 Time : 0.0 sec. user=mdettweiler [2015-12-12 13:44:51] 917*2^1417370-1 is not prime. Res64: D19F520DF50546B8 Time : 0.0 sec. user=mdettweiler [2015-12-12 13:44:51] 927*2^1417370-1 is not prime. Res64: 571641A8F6616A47 Time : 0.0 sec. user=mdettweiler [2015-12-12 13:51:24] 995*2^1417370-1 is not prime. Res64: 321A16E504BC04C7 Time : 0.0 sec. user=mdettweiler [2015-12-12 13:51:24] 613*2^1417371-1 is not prime. Res64: C23664728C28483F Time : 0.0 sec. user=mdettweiler [2015-12-12 14:02:18] 639*2^1417371-1 is not prime. Res64: C6B7ED77D289F824 Time : 0.0 sec. user=mdettweiler [2015-12-12 14:02:18] 723*2^1417371-1 is not prime. Res64: BB3BA834530460F1 Time : 0.0 sec. user=mdettweiler [2015-12-12 14:08:51] 741*2^1417371-1 is not prime. Res64: 4D0EB0A3228568C9 Time : 0.0 sec. user=mdettweiler [2015-12-12 14:08:54] 805*2^1417371-1 is not prime. Res64: C93238196438C5CF Time : 0.0 sec. user=mdettweiler [2015-12-12 14:19:47] 829*2^1417371-1 is not prime. Res64: EB3C8373E2535E0B Time : 0.0 sec. user=mdettweiler [2015-12-12 14:19:47] 835*2^1417371-1 is not prime. Res64: A6F446E6E24A4D67 Time : 0.0 sec. user=mdettweiler [2015-12-12 14:26:57] 623*2^1417372-1 is not prime. Res64: 74726319BB67FA2C Time : 0.0 sec. user=mdettweiler [2015-12-12 14:26:58] 635*2^1417372-1 is not prime. Res64: 9F1B56D24BC801F6 Time : 0.0 sec. user=mdettweiler [2015-12-12 14:37:13] 665*2^1417372-1 is not prime. Res64: 52F313948C4E3E5B Time : 0.0 sec. user=mdettweiler [2015-12-12 14:37:13] 687*2^1417372-1 is not prime. Res64: 82C1A03DB9A194DB Time : 0.0 sec. user=mdettweiler [2015-12-12 14:44:24] 777*2^1417372-1 is not prime. Res64: 50020F173E806C1C Time : 0.0 sec. user=mdettweiler [2015-12-12 14:44:24] 863*2^1417372-1 is not prime. Res64: 48ECF0FAEA956586 Time : 0.0 sec. user=mdettweiler [2015-12-12 14:54:39] 885*2^1417372-1 is not prime. Res64: A657819C33F5360F Time : 0.0 sec. user=mdettweiler [2015-12-12 14:54:39] 735*2^1417373-1 is not prime. Res64: 3A0DD46F6543D85D Time : 0.0 sec. user=mdettweiler [2015-12-12 15:01:50] 837*2^1417373-1 is not prime. Res64: 2E7C98E2C6430462 Time : 0.0 sec. user=mdettweiler [2015-12-12 15:01:51] 693*2^1417374-1 is not prime. Res64: C68E8DD2ACBB64A2 Time : 0.0 sec. user=mdettweiler [2015-12-12 15:12:05] 705*2^1417374-1 is not prime. Res64: 956DB918BF4F8C2B Time : 0.0 sec. user=mdettweiler [2015-12-12 15:12:06] 737*2^1417374-1 is not prime. Res64: 1E89F5CB66D3BE6E Time : 0.0 sec. user=mdettweiler [2015-12-12 15:19:18] 815*2^1417374-1 is not prime. Res64: C0DDC2AC9C946D7E Time : 0.0 sec. user=mdettweiler [2015-12-12 15:19:18] 983*2^1417374-1 is not prime. Res64: B31538D0660435C8 Time : 0.0 sec. user=mdettweiler [2015-12-12 15:29:39] 765*2^1417375-1 is not prime. Res64: B234DA310D1ACC93 Time : 0.0 sec. user=mdettweiler [2015-12-12 15:29:39] 775*2^1417375-1 is not prime. Res64: 53E9A718CCF6CB5A Time : 0.0 sec. user=mdettweiler [2015-12-12 15:36:44] 841*2^1417375-1 is not prime. Res64: 082518DE2DBB8E5E Time : 0.0 sec. user=mdettweiler [2015-12-12 15:36:45] 895*2^1417375-1 is not prime. Res64: 27BE5B7CB0BA2E72 Time : 0.0 sec. user=mdettweiler [2015-12-12 15:47:04] 909*2^1417375-1 is not prime. Res64: C58CE16B1BDC67BD Time : 0.0 sec. user=mdettweiler [2015-12-12 15:47:05] 999*2^1417375-1 is not prime. Res64: F0D83B1838952B75 Time : 0.0 sec. user=mdettweiler [2015-12-12 15:54:10] 617*2^1417376-1 is not prime. Res64: D7E80511A8703663 Time : 0.0 sec. user=mdettweiler [2015-12-12 15:54:10] 719*2^1417376-1 is not prime. Res64: 8E81CAD3C13EDA97 Time : 0.0 sec. user=mdettweiler [2015-12-12 16:04:31] 777*2^1417376-1 is not prime. Res64: E55A2219DF57EB7B Time : 0.0 sec. user=mdettweiler [2015-12-12 16:04:33] 833*2^1417376-1 is not prime. Res64: FD4A4E8AC99DDCAD Time : 0.0 sec. user=mdettweiler [2015-12-12 16:11:36] 889*2^1417377-1 is not prime. Res64: 128492E4C4B05BF4 Time : 0.0 sec. user=mdettweiler [2015-12-12 16:11:37] 657*2^1417378-1 is not prime. Res64: 5126EF323F9329A8 Time : 0.0 sec. user=mdettweiler [2015-12-12 16:22:01] 687*2^1417378-1 is not prime. Res64: 39A50368B3E2071E Time : 0.0 sec. user=mdettweiler [2015-12-12 16:22:01] 633*2^1417379-1 is not prime. Res64: 9A28EE3028A09F3E Time : 0.0 sec. user=mdettweiler [2015-12-12 16:29:09] 679*2^1417379-1 is not prime. Res64: A09065C0D9E887DA Time : 0.0 sec. user=mdettweiler [2015-12-12 16:29:10] 693*2^1417379-1 is not prime. Res64: 2BFFB3E3AB782967 Time : 0.0 sec. user=mdettweiler [2015-12-12 16:39:26] 825*2^1417379-1 is not prime. Res64: 57DC4E7CEB8E8D54 Time : 0.0 sec. user=mdettweiler [2015-12-12 16:39:27] 885*2^1417379-1 is not prime. Res64: 5F3240325CAD34CE Time : 0.0 sec. user=mdettweiler [2015-12-12 16:46:36] 999*2^1417379-1 is not prime. Res64: 9D01A5E67727D86A Time : 0.0 sec. user=mdettweiler [2015-12-12 16:46:36] 627*2^1417380-1 is not prime. Res64: C8A7AB0B375F0F08 Time : 0.0 sec. user=mdettweiler [2015-12-12 16:56:54] 669*2^1417380-1 is not prime. Res64: 3E645ADF36D0A06A Time : 0.0 sec. user=mdettweiler [2015-12-12 16:56:54] 735*2^1417380-1 is not prime. Res64: 525E27C26088A18A Time : 0.0 sec. user=mdettweiler [2015-12-12 17:04:03] 819*2^1417380-1 is not prime. Res64: A179ACB142B73E37 Time : 0.0 sec. user=mdettweiler [2015-12-12 17:04:05] 839*2^1417380-1 is not prime. Res64: 895A06EE062F5463 Time : 0.0 sec. user=mdettweiler [2015-12-12 17:14:20] 843*2^1417380-1 is not prime. Res64: B2C0087DA24B33D9 Time : 0.0 sec. user=mdettweiler [2015-12-12 17:14:20] 845*2^1417380-1 is not prime. Res64: 067829237BD1196D Time : 0.0 sec. user=mdettweiler [2015-12-12 17:21:57] 857*2^1417380-1 is not prime. Res64: B64CCF61DEADF7DD Time : 0.0 sec. user=mdettweiler [2015-12-12 17:21:57] 927*2^1417380-1 is not prime. Res64: EC30DCEA26636151 Time : 0.0 sec. user=mdettweiler [2015-12-12 17:31:48] 645*2^1417381-1 is not prime. Res64: 2A4C13CA5E22CCF6 Time : 0.0 sec. user=mdettweiler [2015-12-12 17:31:48] 715*2^1417381-1 is not prime. Res64: 67DCE31FF6D8016E Time : 0.0 sec. user=mdettweiler [2015-12-12 17:39:23] 751*2^1417381-1 is not prime. Res64: 09E6CDEDCE9D18A2 Time : 0.0 sec. user=mdettweiler [2015-12-12 17:39:24] 861*2^1417381-1 is not prime. Res64: C36A2E7C8DBE4F32 Time : 0.0 sec. user=mdettweiler [2015-12-12 17:49:14] 957*2^1417381-1 is not prime. Res64: 471F4BA971DC3C5A Time : 0.0 sec. user=mdettweiler [2015-12-12 17:49:15] 979*2^1417381-1 is not prime. Res64: 07A30505EBBB18E5 Time : 0.0 sec. user=mdettweiler [2015-12-12 17:56:50] 635*2^1417382-1 is not prime. Res64: B986F8567BD03C24 Time : 0.0 sec. user=mdettweiler [2015-12-12 17:56:50] 677*2^1417382-1 is not prime. Res64: 73B1B0B0079B4F65 Time : 0.0 sec. user=mdettweiler [2015-12-12 18:06:41] 785*2^1417382-1 is not prime. Res64: F57A338BF05DC02D Time : 0.0 sec. user=mdettweiler [2015-12-12 18:06:41] 827*2^1417382-1 is not prime. Res64: 0C47EB85995643E2 Time : 0.0 sec. user=mdettweiler [2015-12-12 18:14:17] 867*2^1417382-1 is not prime. Res64: 08DDF796E3CD3C0F Time : 0.0 sec. user=mdettweiler [2015-12-12 18:14:17] 935*2^1417382-1 is not prime. Res64: 09A0076B8F787325 Time : 0.0 sec. user=mdettweiler [2015-12-12 18:24:07] 613*2^1417383-1 is not prime. Res64: B884271BD31F6C6F Time : 0.0 sec. user=mdettweiler [2015-12-12 18:24:07] 703*2^1417383-1 is not prime. Res64: F6C8EEE8FBDF5485 Time : 0.0 sec. user=mdettweiler [2015-12-12 18:31:51] 723*2^1417383-1 is not prime. Res64: A660B6DFCDAFA82C Time : 0.0 sec. user=mdettweiler [2015-12-12 18:31:51] 745*2^1417383-1 is not prime. Res64: 322F67DA11630617 Time : 0.0 sec. user=mdettweiler [2015-12-12 18:41:33] 751*2^1417383-1 is not prime. Res64: B256FB90A1A047B7 Time : 0.0 sec. user=mdettweiler [2015-12-12 18:41:33] 781*2^1417383-1 is not prime. Res64: 6BE87F5979EE2332 Time : 0.0 sec. user=mdettweiler [2015-12-12 18:49:17] 913*2^1417383-1 is not prime. Res64: 8EBD21D60DCA763A Time : 0.0 sec. user=mdettweiler [2015-12-12 18:49:17] 961*2^1417383-1 is not prime. Res64: E6593CD7871AC3EB Time : 0.0 sec. user=mdettweiler [2015-12-12 18:58:59] 615*2^1417384-1 is not prime. Res64: 6AE5AD0A8A817A38 Time : 0.0 sec. user=mdettweiler [2015-12-12 18:59:00] 819*2^1417384-1 is not prime. Res64: 0999903FDB38839D Time : 0.0 sec. user=mdettweiler [2015-12-12 19:06:43] 995*2^1417384-1 is not prime. Res64: 46A4F5733AF42398 Time : 0.0 sec. user=mdettweiler [2015-12-12 19:06:45] 645*2^1417385-1 is not prime. Res64: 725C2F79687B7976 Time : 0.0 sec. user=mdettweiler [2015-12-12 19:16:25] 699*2^1417385-1 is not prime. Res64: 820E4F8F74BBFDB7 Time : 0.0 sec. user=mdettweiler [2015-12-12 19:16:26] 711*2^1417385-1 is not prime. Res64: 318389FCA3B3A1D8 Time : 0.0 sec. user=mdettweiler [2015-12-12 19:24:24] 819*2^1417385-1 is not prime. Res64: 4880F8434F2B3695 Time : 0.0 sec. user=mdettweiler [2015-12-12 19:24:25] 951*2^1417385-1 is not prime. Res64: CF0AA3D5F797BABF Time : 0.0 sec. user=mdettweiler [2015-12-12 19:33:53] 627*2^1417386-1 is not prime. Res64: 4CF4297459238880 Time : 0.0 sec. user=mdettweiler [2015-12-12 19:33:53] 747*2^1417386-1 is not prime. Res64: BEEE08CC48D32CB5 Time : 0.0 sec. user=mdettweiler [2015-12-12 19:41:51] 945*2^1417386-1 is not prime. Res64: 0A7DAB68165DA39B Time : 0.0 sec. user=mdettweiler [2015-12-12 19:41:52] 631*2^1417387-1 is not prime. Res64: 739A21A9FE69EA9A Time : 0.0 sec. user=mdettweiler [2015-12-12 19:51:19] 639*2^1417387-1 is not prime. Res64: B54C8DA079CDC847 Time : 0.0 sec. user=mdettweiler [2015-12-12 19:51:19] 693*2^1417387-1 is not prime. Res64: 31A89583CDFFE976 Time : 0.0 sec. user=mdettweiler [2015-12-12 19:59:20] 765*2^1417387-1 is not prime. Res64: 615FCB7CBCF36C9A Time : 0.0 sec. user=mdettweiler [2015-12-12 19:59:21] 769*2^1417387-1 is not prime. Res64: B9883F61E6B751E7 Time : 0.0 sec. user=mdettweiler [2015-12-12 20:08:47] 775*2^1417387-1 is not prime. Res64: 7618742EF0B2A6E0 Time : 0.0 sec. user=mdettweiler [2015-12-12 20:08:48] 829*2^1417387-1 is not prime. Res64: 2352CE4FED9747A1 Time : 0.0 sec. user=mdettweiler [2015-12-12 20:16:47] 871*2^1417387-1 is not prime. Res64: 3E4EB44547493833 Time : 0.0 sec. user=mdettweiler [2015-12-12 20:16:48] 909*2^1417387-1 is not prime. Res64: 04850F81436E9C46 Time : 0.0 sec. user=mdettweiler [2015-12-12 20:26:33] 635*2^1417388-1 is not prime. Res64: F66FF28CFBBC2819 Time : 0.0 sec. user=mdettweiler [2015-12-12 20:26:34] 663*2^1417388-1 is not prime. Res64: A29EB7C912311406 Time : 0.0 sec. user=mdettweiler [2015-12-12 20:34:14] 749*2^1417388-1 is not prime. Res64: 171355CA29B7E4A2 Time : 0.0 sec. user=mdettweiler [2015-12-12 20:34:15] 759*2^1417388-1 is not prime. Res64: 1889D9B59A3B9EE9 Time : 0.0 sec. user=mdettweiler [2015-12-12 20:43:59] 773*2^1417388-1 is not prime. Res64: C93CBFBFE39F988E Time : 0.0 sec. user=mdettweiler [2015-12-12 20:44:00] 837*2^1417388-1 is not prime. Res64: BD790B1B4C1373EA Time : 0.0 sec. user=mdettweiler [2015-12-12 20:51:41] 993*2^1417388-1 is not prime. Res64: 726D62FF0A62DC92 Time : 0.0 sec. user=mdettweiler [2015-12-12 20:51:41] 609*2^1417389-1 is not prime. Res64: E6F9FEFD04AB48A7 Time : 0.0 sec. user=mdettweiler [2015-12-12 21:01:27] 615*2^1417389-1 is not prime. Res64: 1B8A6803E7C72DF1 Time : 0.0 sec. user=mdettweiler [2015-12-12 21:01:28] 661*2^1417389-1 is not prime. Res64: 2570FE44F059F7A2 Time : 0.0 sec. user=mdettweiler [2015-12-12 21:09:08] 669*2^1417389-1 is not prime. Res64: 8BC7E7099BBC81F2 Time : 0.0 sec. user=mdettweiler [2015-12-12 21:09:09] 835*2^1417389-1 is not prime. Res64: 5E1898D5C56B13EE Time : 0.0 sec. user=mdettweiler [2015-12-12 21:18:53] 867*2^1417389-1 is not prime. Res64: 7CFAC4476BC8B410 Time : 0.0 sec. user=mdettweiler [2015-12-12 21:18:54] 891*2^1417389-1 is not prime. Res64: 997DAB421F968C35 Time : 0.0 sec. user=mdettweiler [2015-12-12 21:26:41] 895*2^1417389-1 is not prime. Res64: CB67433EBCD83D6B Time : 0.0 sec. user=mdettweiler [2015-12-12 21:26:42] 985*2^1417389-1 is not prime. Res64: F0FBAE8375D99D63 Time : 0.0 sec. user=mdettweiler [2015-12-12 21:36:20] 997*2^1417389-1 is not prime. Res64: FCF62EB8D4826963 Time : 0.0 sec. user=mdettweiler [2015-12-12 21:36:20] 645*2^1417390-1 is not prime. Res64: B1E74328658DEB20 Time : 0.0 sec. user=mdettweiler [2015-12-12 21:44:07] 647*2^1417390-1 is not prime. Res64: 5EF7CCCDEA966A93 Time : 0.0 sec. user=mdettweiler [2015-12-12 21:44:07] 675*2^1417390-1 is not prime. Res64: 6F7CCE48B79439DC Time : 0.0 sec. user=mdettweiler [2015-12-12 21:53:45] 687*2^1417390-1 is not prime. Res64: 0FFBE1C2574BFDFA Time : 0.0 sec. user=mdettweiler [2015-12-12 21:53:46] 713*2^1417390-1 is not prime. Res64: 1EF0D8E12BDBB050 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:01:34] 717*2^1417390-1 is not prime. Res64: 0F7A50E67B03B9D4 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:01:35] 843*2^1417390-1 is not prime. Res64: C86E82D8FFA3696E Time : 0.0 sec. user=mdettweiler [2015-12-12 22:11:12] 891*2^1417390-1 is not prime. Res64: B419E6E9F68F3A71 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:11:13] 911*2^1417390-1 is not prime. Res64: 05B591171BE31665 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:19:01] 917*2^1417390-1 is not prime. Res64: 84DE805946C092BD Time : 0.0 sec. user=mdettweiler [2015-12-12 22:19:01] 975*2^1417390-1 is not prime. Res64: BC2160BEAAC6AA33 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:28:49] 987*2^1417390-1 is not prime. Res64: CE5DFC4121FAA4E1 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:28:49] 1001*2^1417390-1 is not prime. Res64: F5CA1C685CC45754 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:36:27] 663*2^1417391-1 is not prime. Res64: ADEF821F5CB45A04 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:36:28] 745*2^1417391-1 is not prime. Res64: 9B80477651FB5AA0 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:46:15] 825*2^1417391-1 is not prime. Res64: BCBECAC5C2560192 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:46:15] 829*2^1417391-1 is not prime. Res64: A078849DBEB71640 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:53:53] 623*2^1417392-1 is not prime. Res64: 4E88E1111D0AF964 Time : 0.0 sec. user=mdettweiler [2015-12-12 22:53:53] 639*2^1417392-1 is not prime. Res64: D89D356B1E4F4697 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:03:42] 699*2^1417392-1 is not prime. Res64: 5D7B4E9FDBA6B125 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:03:43] 719*2^1417392-1 is not prime. Res64: 0F60E94FE83F7276 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:11:19] 737*2^1417392-1 is not prime. Res64: 8FDA279CC38584A3 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:11:21] 747*2^1417392-1 is not prime. Res64: 1DC2BE52F5EC7A16 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:21:10] 753*2^1417392-1 is not prime. Res64: 07A6F873A7945656 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:21:10] 903*2^1417392-1 is not prime. Res64: 5DE8232E509A8443 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:28:59] 747*2^1417393-1 is not prime. Res64: BE560112457B0469 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:29:00] 849*2^1417393-1 is not prime. Res64: F194D1C3A526B7BE Time : 0.0 sec. user=mdettweiler [2015-12-12 23:38:52] 915*2^1417393-1 is not prime. Res64: 3B0FFD4A00087343 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:38:52] 919*2^1417393-1 is not prime. Res64: 2DC3E60A991D7471 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:46:45] 939*2^1417393-1 is not prime. Res64: 8F41C8C3150CBFED Time : 0.0 sec. user=mdettweiler [2015-12-12 23:46:46] 615*2^1417394-1 is not prime. Res64: 2BB0040575B8CE3D Time : 0.0 sec. user=mdettweiler [2015-12-12 23:56:23] 773*2^1417394-1 is not prime. Res64: EB5523525DD75300 Time : 0.0 sec. user=mdettweiler [2015-12-12 23:56:23] 851*2^1417394-1 is not prime. Res64: 870D4F3E85DFE2E2 Time : 0.0 sec.