user=mdettweiler [2016-06-04 00:19:24] 771*2^1431319-1 is not prime. Res64: 807EB41D9ABF515A Time : 0.0 sec. user=mdettweiler [2016-06-04 00:19:25] 969*2^1431319-1 is not prime. Res64: A337D07A9E1597AC Time : 0.0 sec. user=mdettweiler [2016-06-04 00:19:25] 973*2^1431319-1 is not prime. Res64: 13ED6A32A2E6AA8D Time : 0.0 sec. user=mdettweiler [2016-06-04 00:19:26] 603*2^1431320-1 is not prime. Res64: A8FE217E772C2BEE Time : 0.0 sec. user=mdettweiler [2016-06-04 00:19:26] 615*2^1431320-1 is not prime. Res64: 03C3F8DE9B82B878 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:26:07] 675*2^1431320-1 is not prime. Res64: 35F00D006D791C99 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:26:08] 677*2^1431320-1 is not prime. Res64: A62FDFD05BC35032 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:26:08] 687*2^1431320-1 is not prime. Res64: 155FB6DCA8179D8D Time : 0.0 sec. user=mdettweiler [2016-06-04 00:26:08] 789*2^1431320-1 is not prime. Res64: AB817E9A6509407E Time : 0.0 sec. user=mdettweiler [2016-06-04 00:26:09] 803*2^1431320-1 is not prime. Res64: 944564714FD939A3 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:32:40] 827*2^1431320-1 is not prime. Res64: 08DC3069E2FDDCE3 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:32:40] 897*2^1431320-1 is not prime. Res64: 70C61ABCC46599B9 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:32:40] 923*2^1431320-1 is not prime. Res64: 93E637BC19B99553 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:32:41] 983*2^1431320-1 is not prime. Res64: 1229B372905556FA Time : 0.0 sec. user=mdettweiler [2016-06-04 00:32:41] 625*2^1431321-1 is not prime. Res64: 14801753AA0A5A94 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:33:23] 649*2^1431321-1 is not prime. Res64: DC684ECD702041A6 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:33:23] 691*2^1431321-1 is not prime. Res64: F0F376C374339240 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:33:24] 741*2^1431321-1 is not prime. Res64: CC6AB949618F50A3 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:33:24] 795*2^1431321-1 is not prime. Res64: 29E7EF2A5C406226 Time : 0.0 sec. user=mdettweiler [2016-06-04 00:33:25] 819*2^1431321-1 is not prime. Res64: 8979D6C1A85AC228 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:04:37] 829*2^1431321-1 is not prime. Res64: 7635455441415178 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:04:39] 865*2^1431321-1 is not prime. Res64: 6C93FD1832AB9FE2 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:04:42] 921*2^1431321-1 is not prime. Res64: DB11E7D67D74FD5D Time : 0.0 sec. user=mdettweiler [2016-06-04 01:04:45] 987*2^1431321-1 is not prime. Res64: 4459BD0B3D049FDD Time : 0.0 sec. user=mdettweiler [2016-06-04 01:04:50] 999*2^1431321-1 is not prime. Res64: 6CA715DC27695858 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:11:16] 603*2^1431322-1 is not prime. Res64: 1C19E6E52CEFBB4F Time : 0.0 sec. user=mdettweiler [2016-06-04 01:11:17] 621*2^1431322-1 is not prime. Res64: 2F6962E906E45C10 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:11:18] 717*2^1431322-1 is not prime. Res64: D40D393BFD439011 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:11:19] 741*2^1431322-1 is not prime. Res64: 4A879B5F93C915C9 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:11:20] 791*2^1431322-1 is not prime. Res64: FF7709131DEDADC6 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:17:40] 867*2^1431322-1 is not prime. Res64: 6790B85957B50914 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:17:41] 881*2^1431322-1 is not prime. Res64: 8C0DBC27606AC54F Time : 0.0 sec. user=mdettweiler [2016-06-04 01:17:41] 941*2^1431322-1 is not prime. Res64: 0E39E4E51B8CA467 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:17:42] 759*2^1431323-1 is not prime. Res64: 566B1D677E02AE1A Time : 0.0 sec. user=mdettweiler [2016-06-04 01:17:42] 801*2^1431323-1 is not prime. Res64: A085D2F8E2486CB5 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:18:30] 861*2^1431323-1 is not prime. Res64: 9540A8DD22AA8BE1 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:18:31] 871*2^1431323-1 is not prime. Res64: B3CB3273D0FC4E61 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:18:31] 963*2^1431323-1 is not prime. Res64: 33E81308C8A053FB Time : 0.0 sec. user=mdettweiler [2016-06-04 01:18:31] 635*2^1431324-1 is not prime. Res64: 3080BC9BF878D93F Time : 0.0 sec. user=mdettweiler [2016-06-04 01:18:32] 693*2^1431324-1 is not prime. Res64: 4FD8EFAED14E324F Time : 0.0 sec. user=mdettweiler [2016-06-04 01:50:17] 737*2^1431324-1 is not prime. Res64: 4851792B01E0049B Time : 0.0 sec. user=mdettweiler [2016-06-04 01:50:18] 767*2^1431324-1 is not prime. Res64: AF3D855AD0390DE2 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:50:20] 803*2^1431324-1 is not prime. Res64: 8343533AC0834D8E Time : 0.0 sec. user=mdettweiler [2016-06-04 01:50:21] 843*2^1431324-1 is not prime. Res64: 3F7645D465E55C75 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:50:22] 667*2^1431325-1 is not prime. Res64: 3D5FB3DCB3CE5D8A Time : 0.0 sec. user=mdettweiler [2016-06-04 01:56:23] 691*2^1431325-1 is not prime. Res64: CA6B674C73926FB2 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:56:23] 801*2^1431325-1 is not prime. Res64: 752BEDBBC1B2FDF5 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:56:24] 847*2^1431325-1 is not prime. Res64: F1291F72DEBCE0E1 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:56:24] 957*2^1431325-1 is not prime. Res64: DE329266D5668A49 Time : 0.0 sec. user=mdettweiler [2016-06-04 01:56:24] 683*2^1431326-1 is not prime. Res64: 56DAA92314C94ADB Time : 0.0 sec. user=mdettweiler [2016-06-04 02:02:31] 705*2^1431326-1 is not prime. Res64: EFE51A379807A16C Time : 0.0 sec. user=mdettweiler [2016-06-04 02:02:32] 707*2^1431326-1 is not prime. Res64: A7F6304BA49CE6F1 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:02:33] 755*2^1431326-1 is not prime. Res64: 7697CA82EABAB4C6 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:02:34] 867*2^1431326-1 is not prime. Res64: 9DEA0B7D679D485E Time : 0.0 sec. user=mdettweiler [2016-06-04 02:02:35] 957*2^1431326-1 is not prime. Res64: 2372B209F150A8DE Time : 0.0 sec. user=mdettweiler [2016-06-04 02:03:42] 619*2^1431327-1 is not prime. Res64: 6E6345C232B6AD94 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:03:43] 621*2^1431327-1 is not prime. Res64: B7D51414504D38B5 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:03:44] 661*2^1431327-1 is not prime. Res64: FF72DDCAE8428E24 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:03:45] 705*2^1431327-1 is not prime. Res64: C924D5FBC12FA220 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:03:46] 895*2^1431327-1 is not prime. Res64: BD7F72AFAA843019 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:35:35] 999*2^1431327-1 is not prime. Res64: 45136110AA61D869 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:35:36] 603*2^1431328-1 is not prime. Res64: B7A178669BED3346 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:35:36] 699*2^1431328-1 is not prime. Res64: 4CDEF0AF50736D6D Time : 0.0 sec. user=mdettweiler [2016-06-04 02:35:37] 707*2^1431328-1 is not prime. Res64: 86A73FADA44E9C02 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:35:37] 765*2^1431328-1 is not prime. Res64: B713363951B7D2DE Time : 0.0 sec. user=mdettweiler [2016-06-04 02:41:25] 855*2^1431328-1 is not prime. Res64: 56002E78B4C89350 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:41:25] 927*2^1431328-1 is not prime. Res64: 1F38C06724927DE6 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:41:26] 989*2^1431328-1 is not prime. Res64: 47A3EEA9D86F20D9 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:41:26] 993*2^1431328-1 is not prime. Res64: 286F7868E85815F0 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:41:26] 691*2^1431329-1 is not prime. Res64: C0200C6153604675 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:48:08] 699*2^1431329-1 is not prime. Res64: 22E03F461C9A1EA8 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:48:09] 717*2^1431330-1 is not prime. Res64: 26A94E22666323B0 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:48:09] 747*2^1431330-1 is not prime. Res64: 9144259DE809F284 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:48:09] 777*2^1431330-1 is not prime. Res64: B444F4E378BD2F6E Time : 0.0 sec. user=mdettweiler [2016-06-04 02:48:10] 783*2^1431330-1 is not prime. Res64: A9EC2181C02D4868 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:48:57] 797*2^1431330-1 is not prime. Res64: 787C48943EB62BF8 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:48:58] 851*2^1431330-1 is not prime. Res64: ED6E93E69013E08B Time : 0.0 sec. user=mdettweiler [2016-06-04 02:48:58] 873*2^1431330-1 is not prime. Res64: E3E6CBF81F2B56C1 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:48:59] 875*2^1431330-1 is not prime. Res64: 58E348A6445EB406 Time : 0.0 sec. user=mdettweiler [2016-06-04 02:48:59] 887*2^1431330-1 is not prime. Res64: 5DE50854A03647F8 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:21:13] 927*2^1431330-1 is not prime. Res64: D8473CC7D75AEF88 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:21:13] 941*2^1431330-1 is not prime. Res64: 58F53B115FFCBBE2 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:21:14] 1001*2^1431330-1 is not prime. Res64: 1559EE11B9991F72 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:21:14] 619*2^1431331-1 is not prime. Res64: DEF4F19CBDAC81E0 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:21:15] 693*2^1431331-1 is not prime. Res64: A778D6EFB4492C87 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:27:40] 705*2^1431331-1 is not prime. Res64: FA57B2DAC6E79DEB Time : 0.0 sec. user=mdettweiler [2016-06-04 03:27:42] 883*2^1431331-1 is not prime. Res64: E02FD8102FD71EB6 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:27:43] 875*2^1431332-1 is not prime. Res64: BF022725BD804AE1 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:27:44] 977*2^1431332-1 is not prime. Res64: 2F4220EEA5A6496E Time : 0.0 sec. user=mdettweiler [2016-06-04 03:27:45] 649*2^1431333-1 is not prime. Res64: 46A6029C0B4DA478 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:34:08] 795*2^1431333-1 is not prime. Res64: C0094184D38DD1B2 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:34:09] 805*2^1431333-1 is not prime. Res64: 1BB387953AFA3AA6 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:34:10] 867*2^1431333-1 is not prime. Res64: 228946077305F4EB Time : 0.0 sec. user=mdettweiler [2016-06-04 03:34:11] 671*2^1431334-1 is not prime. Res64: 0CE699B94D6B3A64 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:34:13] 773*2^1431334-1 is not prime. Res64: 68B42F4ACC0BAF9E Time : 0.0 sec. user=mdettweiler [2016-06-04 03:35:21] 813*2^1431334-1 is not prime. Res64: EDFED632840B6DBA Time : 0.0 sec. user=mdettweiler [2016-06-04 03:35:22] 945*2^1431334-1 is not prime. Res64: 59472BCF5FF3C5E3 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:35:23] 643*2^1431335-1 is not prime. Res64: D8498A656AA11646 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:35:24] 675*2^1431335-1 is not prime. Res64: 914F5178A38C12E6 Time : 0.0 sec. user=mdettweiler [2016-06-04 03:35:24] 685*2^1431335-1 is not prime. Res64: 974474A5BFFC3218 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:06:15] 693*2^1431335-1 is not prime. Res64: A19E31D0E3C5FE6E Time : 0.0 sec. user=mdettweiler [2016-06-04 04:06:16] 921*2^1431335-1 is not prime. Res64: 3FEFDB8EAFD894F9 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:06:17] 705*2^1431336-1 is not prime. Res64: 9C4F9C25DAE72547 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:06:18] 707*2^1431336-1 is not prime. Res64: 00440D2B4F585D92 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:06:19] 815*2^1431336-1 is not prime. Res64: 5DA70BAF1F0679E1 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:12:45] 849*2^1431336-1 is not prime. Res64: B113997DA846B960 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:12:45] 893*2^1431336-1 is not prime. Res64: 8C20A0F500255797 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:12:46] 947*2^1431336-1 is not prime. Res64: EAF29F75C6F3B69B Time : 0.0 sec. user=mdettweiler [2016-06-04 04:12:46] 609*2^1431337-1 is not prime. Res64: 6D5917F011E92227 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:12:47] 637*2^1431337-1 is not prime. Res64: 613DA007A19383E0 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:19:20] 667*2^1431337-1 is not prime. Res64: F03EE38FBC151A0D Time : 0.0 sec. user=mdettweiler [2016-06-04 04:19:21] 691*2^1431337-1 is not prime. Res64: 2C7489D188F0977B Time : 0.0 sec. user=mdettweiler [2016-06-04 04:19:21] 807*2^1431337-1 is not prime. Res64: CC72EEB6C4E7F528 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:19:22] 831*2^1431337-1 is not prime. Res64: CD5608424E999599 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:19:22] 861*2^1431337-1 is not prime. Res64: 1F594103CA438020 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:20:17] 889*2^1431337-1 is not prime. Res64: 88FF2F2FBB73B79B Time : 0.0 sec. user=mdettweiler [2016-06-04 04:20:18] 997*2^1431337-1 is not prime. Res64: 94B531A1DAACAC74 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:20:18] 633*2^1431338-1 is not prime. Res64: F8BAF13FC22A88FC Time : 0.0 sec. user=mdettweiler [2016-06-04 04:20:19] 657*2^1431338-1 is not prime. Res64: 67057E2DE57EC52B Time : 0.0 sec. user=mdettweiler [2016-06-04 04:20:19] 671*2^1431338-1 is not prime. Res64: 19C9DFCF532D0F63 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:51:30] 755*2^1431338-1 is not prime. Res64: 128396A03305B724 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:51:30] 885*2^1431338-1 is not prime. Res64: CC9024099FA29491 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:51:30] 911*2^1431338-1 is not prime. Res64: 451A7890C1BCFA8F Time : 0.0 sec. user=mdettweiler [2016-06-04 04:51:31] 977*2^1431338-1 is not prime. Res64: CC70F3F6FCD9B0B1 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:51:31] 609*2^1431339-1 is not prime. Res64: EF0E218856915F1B Time : 0.0 sec. user=mdettweiler [2016-06-04 04:57:47] 669*2^1431339-1 is not prime. Res64: 33E4A1E311434B5A Time : 0.0 sec. user=mdettweiler [2016-06-04 04:57:47] 775*2^1431339-1 is not prime. Res64: 29F3F3790B1CA228 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:57:47] 861*2^1431339-1 is not prime. Res64: AED1DD69AA2ED36A Time : 0.0 sec. user=mdettweiler [2016-06-04 04:57:48] 895*2^1431339-1 is not prime. Res64: 33584F605ADD1FF4 Time : 0.0 sec. user=mdettweiler [2016-06-04 04:57:48] 765*2^1431340-1 is not prime. Res64: 260483B9616E3B8F Time : 0.0 sec. user=mdettweiler [2016-06-04 05:04:18] 845*2^1431340-1 is not prime. Res64: 641E3942D2992F71 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:04:20] 887*2^1431340-1 is not prime. Res64: 921930E8BB5FD36E Time : 0.0 sec. user=mdettweiler [2016-06-04 05:04:22] 915*2^1431340-1 is not prime. Res64: 78661A60F7698E89 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:04:23] 939*2^1431340-1 is not prime. Res64: 0319E289941DAE1A Time : 0.0 sec. user=mdettweiler [2016-06-04 05:04:24] 621*2^1431341-1 is not prime. Res64: 30D226A7210AE077 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:05:19] 651*2^1431341-1 is not prime. Res64: 752E25E735BBC061 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:05:20] 675*2^1431341-1 is not prime. Res64: 4B3495F5B499CC67 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:05:21] 697*2^1431341-1 is not prime. Res64: 8823103DA5D94A05 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:05:22] 717*2^1431341-1 is not prime. Res64: 2865C984A3BF211F Time : 0.0 sec. user=mdettweiler [2016-06-04 05:05:23] 727*2^1431341-1 is not prime. Res64: 66AD4841F7693ADE Time : 0.0 sec. user=mdettweiler [2016-06-04 05:36:44] 741*2^1431341-1 is not prime. Res64: E0593CD1097370B6 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:36:45] 811*2^1431341-1 is not prime. Res64: 0877CC5C0E5A34D2 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:36:45] 837*2^1431341-1 is not prime. Res64: D3B7C610ED1217C9 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:36:46] 861*2^1431341-1 is not prime. Res64: 4A2929C596A9EA2C Time : 0.0 sec. user=mdettweiler [2016-06-04 05:36:46] 955*2^1431341-1 is not prime. Res64: BC40E4CE8B820553 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:43:10] 967*2^1431341-1 is not prime. Res64: CA0C02A79C5CE577 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:43:10] 611*2^1431342-1 is not prime. Res64: 2C26A228E685AA3B Time : 0.0 sec. user=mdettweiler [2016-06-04 05:43:11] 615*2^1431342-1 is not prime. Res64: 2C78957540ACC25C Time : 0.0 sec. user=mdettweiler [2016-06-04 05:43:11] 765*2^1431342-1 is not prime. Res64: B5C01218F9D388AE Time : 0.0 sec. user=mdettweiler [2016-06-04 05:43:12] 777*2^1431342-1 is not prime. Res64: 60DD8D21AD7843C6 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:49:55] 873*2^1431342-1 is not prime. Res64: 296506296CECEB5B Time : 0.0 sec. user=mdettweiler [2016-06-04 05:49:55] 903*2^1431342-1 is not prime. Res64: 24C4C7BB4CA64856 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:49:55] 965*2^1431342-1 is not prime. Res64: AF7885D6F80AA5BD Time : 0.0 sec. user=mdettweiler [2016-06-04 05:49:56] 663*2^1431343-1 is not prime. Res64: 79E2003B38CA6867 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:49:56] 685*2^1431343-1 is not prime. Res64: 67641880FA1722F0 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:50:28] 735*2^1431343-1 is not prime. Res64: E8148143656CCBA2 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:50:29] 849*2^1431343-1 is not prime. Res64: BCDA159BC92A914F Time : 0.0 sec. user=mdettweiler [2016-06-04 05:50:29] 873*2^1431343-1 is not prime. Res64: 65E22C5AB63D56CA Time : 0.0 sec. user=mdettweiler [2016-06-04 05:50:29] 915*2^1431343-1 is not prime. Res64: 473FE6EFF6A56AD7 Time : 0.0 sec. user=mdettweiler [2016-06-04 05:50:30] 925*2^1431343-1 is not prime. Res64: 56241B2FDEBBCD42 Time : 0.0 sec. user=mdettweiler [2016-06-04 06:21:44] 869*2^1431344-1 is not prime. Res64: 419C687BFAA92BE3 Time : 0.0 sec. user=mdettweiler [2016-06-04 06:21:44] 873*2^1431344-1 is not prime. Res64: 0EFB5D61363B98B1 Time : 0.0 sec. user=mdettweiler [2016-06-04 06:21:45] 959*2^1431344-1 is not prime. Res64: E3A73491360F72D0 Time : 0.0 sec. user=mdettweiler [2016-06-04 06:21:45] 627*2^1431345-1 is not prime. Res64: 438D35C6F5E1F2B1 Time : 0.0 sec. user=mdettweiler [2016-06-04 06:21:46] 667*2^1431345-1 is not prime. Res64: FD50629E91CBC69F Time : 0.0 sec. user=mdettweiler [2016-06-04 06:28:09] 741*2^1431345-1 is not prime. Res64: F3A04B68F397AF34 Time : 0.0 sec. user=mdettweiler [2016-06-04 06:28:09] 919*2^1431345-1 is not prime. Res64: FB4CC1739034D120 Time : 0.0 sec. user=mdettweiler [2016-06-04 06:28:09] 623*2^1431346-1 is not prime. Res64: 7AAFB379A8A0A11B Time : 0.0 sec. user=mdettweiler [2016-06-04 06:28:10] 717*2^1431346-1 is not prime. Res64: 2A52F7858D894AAD Time : 0.0 sec. user=mdettweiler [2016-06-04 06:28:10] 735*2^1431346-1 is not prime. Res64: 2B2CE7DF5E0A4E8C Time : 0.0 sec. user=mdettweiler [2016-06-04 06:34:53] 803*2^1431346-1 is not prime. Res64: 2D02D1D9D41EACA4 Time : 0.0 sec. user=mdettweiler [2016-06-04 06:34:53] 855*2^1431346-1 is not prime. Res64: CACBCC98E6CE6B1E Time : 0.0 sec. user=mdettweiler [2016-06-04 06:34:53] 911*2^1431346-1 is not prime. Res64: 47FD7CB2E239780F Time : 0.0 sec. user=mdettweiler [2016-06-04 06:34:54] 941*2^1431346-1 is not prime. Res64: C680C60398AD1F6D Time : 0.0 sec. user=mdettweiler [2016-06-04 06:34:54] 957*2^1431346-1 is not prime. Res64: 5A2AC9E334A2422C Time : 0.0 sec. user=mdettweiler [2016-06-04 06:35:34] 669*2^1431347-1 is not prime. Res64: EEBF8F39F28824F3 Time : 0.0 sec. user=mdettweiler [2016-06-04 06:35:35] 675*2^1431347-1 is not prime. Res64: 333D6526956ED1FA Time : 0.0 sec. user=mdettweiler [2016-06-04 06:35:35] 843*2^1431347-1 is not prime. Res64: C79142EC66DE53DC Time : 0.0 sec. user=mdettweiler [2016-06-04 06:35:36] 629*2^1431348-1 is not prime. Res64: 18C2B4368C6023FE Time : 0.0 sec. user=mdettweiler [2016-06-04 06:35:36] 783*2^1431348-1 is not prime. Res64: BD1EC1D310338403 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:06:53] 875*2^1431348-1 is not prime. Res64: 6E1C04EABACDFD89 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:06:53] 933*2^1431348-1 is not prime. Res64: 6C252EF5F7514CFB Time : 0.0 sec. user=mdettweiler [2016-06-04 07:06:54] 987*2^1431348-1 is not prime. Res64: 8EA189759F6AAA3E Time : 0.0 sec. user=mdettweiler [2016-06-04 07:06:54] 615*2^1431349-1 is not prime. Res64: 9BDE08B41EF386DA Time : 0.0 sec. user=mdettweiler [2016-06-04 07:06:55] 985*2^1431349-1 is not prime. Res64: 197F4E250DBD5E2E Time : 0.0 sec. user=mdettweiler [2016-06-04 07:13:04] 845*2^1431350-1 is not prime. Res64: AA7D022AA971ADBF Time : 0.0 sec. user=mdettweiler [2016-06-04 07:13:05] 917*2^1431350-1 is not prime. Res64: F72816331A2DA797 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:13:05] 965*2^1431350-1 is not prime. Res64: A1BE1EAAB8978690 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:13:06] 709*2^1431351-1 is not prime. Res64: 064B4755BEDEAAEA Time : 0.0 sec. user=mdettweiler [2016-06-04 07:13:06] 781*2^1431351-1 is not prime. Res64: 71D1F9BCAC1EEA4A Time : 0.0 sec. user=mdettweiler [2016-06-04 07:19:46] 825*2^1431351-1 is not prime. Res64: AB5A53A31DDE3DA6 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:19:47] 895*2^1431351-1 is not prime. Res64: 5FF47DC195ED3B26 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:19:47] 909*2^1431351-1 is not prime. Res64: EF131B8B45713B1D Time : 0.0 sec. user=mdettweiler [2016-06-04 07:19:47] 931*2^1431351-1 is not prime. Res64: A36F26A223594BE3 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:19:48] 973*2^1431351-1 is not prime. Res64: 2BB2D1785D216B4B Time : 0.0 sec. user=mdettweiler [2016-06-04 07:20:27] 975*2^1431351-1 is not prime. Res64: 4923EAF05DFB8E6E Time : 0.0 sec. user=mdettweiler [2016-06-04 07:20:28] 605*2^1431352-1 is not prime. Res64: A3BB2CA3C65D23DD Time : 0.0 sec. user=mdettweiler [2016-06-04 07:20:28] 777*2^1431352-1 is not prime. Res64: 4EDF90106A6C0F78 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:20:28] 827*2^1431352-1 is not prime. Res64: 9D691C73E17E5DD7 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:20:29] 857*2^1431352-1 is not prime. Res64: 1AB5164C0751B0F9 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:52:04] 957*2^1431352-1 is not prime. Res64: 292055FC55CF6189 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:52:04] 983*2^1431352-1 is not prime. Res64: 884CC9D5EFF4B7D7 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:52:04] 989*2^1431352-1 is not prime. Res64: EBAF338EAC2E1F5F Time : 0.0 sec. user=mdettweiler [2016-06-04 07:52:05] 995*2^1431352-1 is not prime. Res64: F69563C1444867EB Time : 0.0 sec. user=mdettweiler [2016-06-04 07:52:05] 637*2^1431353-1 is not prime. Res64: FCAC4C42CCAD5A8F Time : 0.0 sec. user=mdettweiler [2016-06-04 07:57:57] 771*2^1431353-1 is not prime. Res64: A0829C7DCFEF4056 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:57:57] 781*2^1431353-1 is not prime. Res64: 3DF200CB347D4189 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:57:57] 847*2^1431353-1 is not prime. Res64: 1C626C09CD75BE4A Time : 0.0 sec. user=mdettweiler [2016-06-04 07:57:58] 867*2^1431353-1 is not prime. Res64: 9E47BA34E4AAF543 Time : 0.0 sec. user=mdettweiler [2016-06-04 07:57:58] 925*2^1431353-1 is not prime. Res64: AF4E95D0F931168F Time : 0.0 sec. user=mdettweiler [2016-06-04 08:04:49] 723*2^1431354-1 is not prime. Res64: 407A385BC5BBE728 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:04:51] 893*2^1431354-1 is not prime. Res64: 9E43F49377570A23 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:04:53] 751*2^1431355-1 is not prime. Res64: A47C61AE9304480F Time : 0.0 sec. user=mdettweiler [2016-06-04 08:04:54] 843*2^1431355-1 is not prime. Res64: B229893B84770094 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:04:55] 603*2^1431356-1 is not prime. Res64: 720195F1E7BE59C9 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:05:37] 623*2^1431356-1 is not prime. Res64: 7070CB2FA61D9938 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:05:39] 725*2^1431356-1 is not prime. Res64: 948A8647B13E585F Time : 0.0 sec. user=mdettweiler [2016-06-04 08:05:41] 825*2^1431356-1 is not prime. Res64: 99C1B85BD7F4D319 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:05:42] 855*2^1431356-1 is not prime. Res64: 8064AAB5DD05ACFC Time : 0.0 sec. user=mdettweiler [2016-06-04 08:05:43] 667*2^1431357-1 is not prime. Res64: 2E3D7CD9D9FA2E3D Time : 0.0 sec. user=mdettweiler [2016-06-04 08:37:02] 691*2^1431357-1 is not prime. Res64: 7A9AD10EF36FDA96 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:37:03] 759*2^1431357-1 is not prime. Res64: 48DEB957A350A59F Time : 0.0 sec. user=mdettweiler [2016-06-04 08:37:03] 777*2^1431357-1 is not prime. Res64: BF0CFFD58C1D348A Time : 0.0 sec. user=mdettweiler [2016-06-04 08:37:03] 781*2^1431357-1 is not prime. Res64: DF58BC43B58A6546 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:37:05] 871*2^1431357-1 is not prime. Res64: A0105FEEB06D46B1 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:42:56] 949*2^1431357-1 is not prime. Res64: DA61783A47DC09A9 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:42:56] 961*2^1431357-1 is not prime. Res64: 0A03CFC951396719 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:42:57] 621*2^1431358-1 is not prime. Res64: 424FDC6864E2EB00 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:42:57] 647*2^1431358-1 is not prime. Res64: 66CA4401AB79C833 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:42:57] 791*2^1431358-1 is not prime. Res64: A4498BCC38021746 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:50:14] 815*2^1431358-1 is not prime. Res64: 6154A802C3382B7F Time : 0.0 sec. user=mdettweiler [2016-06-04 08:50:14] 867*2^1431358-1 is not prime. Res64: 025F070BC38A3A5E Time : 0.0 sec. user=mdettweiler [2016-06-04 08:50:14] 619*2^1431359-1 is not prime. Res64: F06227419EC535EE Time : 0.0 sec. user=mdettweiler [2016-06-04 08:50:15] 621*2^1431359-1 is not prime. Res64: 07BFC1D975FB7F0D Time : 0.0 sec. user=mdettweiler [2016-06-04 08:50:15] 663*2^1431359-1 is not prime. Res64: 0AC8CFE03E909664 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:50:51] 775*2^1431359-1 is not prime. Res64: DC59CDADD892DEB7 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:50:52] 789*2^1431359-1 is not prime. Res64: 6CE326E47A1100CE Time : 0.0 sec. user=mdettweiler [2016-06-04 08:50:52] 943*2^1431359-1 is not prime. Res64: 59A631FAE86AA54C Time : 0.0 sec. user=mdettweiler [2016-06-04 08:50:53] 653*2^1431360-1 is not prime. Res64: 1D0AECD730E78E75 Time : 0.0 sec. user=mdettweiler [2016-06-04 08:50:53] 669*2^1431360-1 is not prime. Res64: 86CD8F7370C5AAA1 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:22:04] 713*2^1431360-1 is not prime. Res64: 30B872D7AFFA7F7B Time : 0.0 sec. user=mdettweiler [2016-06-04 09:22:05] 735*2^1431360-1 is not prime. Res64: 288FB3C52ECB5E53 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:22:06] 795*2^1431360-1 is not prime. Res64: 3CF31A8DC63EDCF0 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:22:06] 809*2^1431360-1 is not prime. Res64: C8B3263778CC587D Time : 0.0 sec. user=mdettweiler [2016-06-04 09:22:07] 819*2^1431360-1 is not prime. Res64: 9570FC69B9407C04 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:27:57] 849*2^1431360-1 is not prime. Res64: DA2D637E51C81F5B Time : 0.0 sec. user=mdettweiler [2016-06-04 09:27:57] 863*2^1431360-1 is not prime. Res64: 9496E2455FC6DACC Time : 0.0 sec. user=mdettweiler [2016-06-04 09:27:58] 609*2^1431361-1 is not prime. Res64: C4E8E3B93282B498 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:27:58] 679*2^1431361-1 is not prime. Res64: 0C33001E4F8D8C89 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:27:58] 745*2^1431361-1 is not prime. Res64: 07671FCF7FAE441A Time : 0.0 sec. user=mdettweiler [2016-06-04 09:35:11] 747*2^1431361-1 is not prime. Res64: 68AFCA8607FD1B48 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:35:11] 889*2^1431361-1 is not prime. Res64: 835876093E5ACC32 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:35:12] 701*2^1431362-1 is not prime. Res64: B21034BA6E280775 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:35:12] 713*2^1431362-1 is not prime. Res64: B9F4F06E2F2B588B Time : 0.0 sec. user=mdettweiler [2016-06-04 09:35:12] 813*2^1431362-1 is not prime. Res64: 0D5437DB63EBE47C Time : 0.0 sec. user=mdettweiler [2016-06-04 09:35:48] 815*2^1431362-1 is not prime. Res64: 37D9BF239F19F21A Time : 0.0 sec. user=mdettweiler [2016-06-04 09:35:49] 837*2^1431362-1 is not prime. Res64: D168DACD8047F264 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:35:49] 703*2^1431363-1 is not prime. Res64: A97D729C06E09268 Time : 0.0 sec. user=mdettweiler [2016-06-04 09:35:50] 709*2^1431363-1 is not prime. Res64: A0266B8A0E40CCAB Time : 0.0 sec. user=mdettweiler [2016-06-04 09:35:50] 751*2^1431363-1 is not prime. Res64: 8084A46BD9E0C19E Time : 0.0 sec. user=mdettweiler [2016-06-04 10:07:13] 793*2^1431363-1 is not prime. Res64: 1E1E0A88FF6B829E Time : 0.0 sec. user=mdettweiler [2016-06-04 10:07:13] 891*2^1431363-1 is not prime. Res64: 638A3DC7D23FA4D1 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:07:14] 895*2^1431363-1 is not prime. Res64: 70DC3075230EF2CF Time : 0.0 sec. user=mdettweiler [2016-06-04 10:07:14] 901*2^1431363-1 is not prime. Res64: 6E7324EBB22A2CB2 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:07:14] 635*2^1431364-1 is not prime. Res64: FAE4957D493AED29 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:12:55] 657*2^1431364-1 is not prime. Res64: F8AE9CED8369FBDA Time : 0.0 sec. user=mdettweiler [2016-06-04 10:12:55] 765*2^1431364-1 is not prime. Res64: BC40081ECBE45561 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:12:56] 819*2^1431364-1 is not prime. Res64: E796119639A470F2 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:12:56] 825*2^1431364-1 is not prime. Res64: 0168D29E4CEE3787 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:12:57] 843*2^1431364-1 is not prime. Res64: 6AFBFE11E2E423FC Time : 0.0 sec. user=mdettweiler [2016-06-04 10:20:25] 855*2^1431364-1 is not prime. Res64: 500C0585F7F2D11A Time : 0.0 sec. user=mdettweiler [2016-06-04 10:20:26] 873*2^1431364-1 is not prime. Res64: 60BC6CC29A003DC6 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:20:26] 983*2^1431364-1 is not prime. Res64: 947F7B875BC804AA Time : 0.0 sec. user=mdettweiler [2016-06-04 10:20:26] 989*2^1431364-1 is not prime. Res64: AD85E0D20CC1E38B Time : 0.0 sec. user=mdettweiler [2016-06-04 10:20:27] 657*2^1431365-1 is not prime. Res64: 9D2FCE2FF275D42E Time : 0.0 sec. user=mdettweiler [2016-06-04 10:20:39] 691*2^1431365-1 is not prime. Res64: 964EB880B20502C2 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:20:40] 781*2^1431365-1 is not prime. Res64: AC92C3B362DEC3DC Time : 0.0 sec. user=mdettweiler [2016-06-04 10:20:40] 981*2^1431365-1 is not prime. Res64: F6BAC84E9F70686F Time : 0.0 sec. user=mdettweiler [2016-06-04 10:20:41] 987*2^1431365-1 is not prime. Res64: 8427794952CFD02A Time : 0.0 sec. user=mdettweiler [2016-06-04 10:20:41] 611*2^1431366-1 is not prime. Res64: 42E7F82BE2C7F48F Time : 0.0 sec. user=mdettweiler [2016-06-04 10:53:01] 693*2^1431366-1 is not prime. Res64: 64765894C572A025 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:53:02] 707*2^1431366-1 is not prime. Res64: C47ADCDA30FD53A4 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:53:02] 747*2^1431366-1 is not prime. Res64: 41DEA19A214EC44A Time : 0.0 sec. user=mdettweiler [2016-06-04 10:53:02] 917*2^1431366-1 is not prime. Res64: 529614131137E9BC Time : 0.0 sec. user=mdettweiler [2016-06-04 10:53:03] 921*2^1431366-1 is not prime. Res64: 37C6BF10B37525F2 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:58:30] 945*2^1431366-1 is not prime. Res64: 565D982F5653BCBF Time : 0.0 sec. user=mdettweiler [2016-06-04 10:58:30] 983*2^1431366-1 is not prime. Res64: 5E5780E87A791370 Time : 0.0 sec. user=mdettweiler [2016-06-04 10:58:30] 633*2^1431367-1 is not prime. Res64: B2D71C7C0A1BC4CC Time : 0.0 sec. user=mdettweiler [2016-06-04 10:58:31] 819*2^1431367-1 is not prime. Res64: 16CEDF7FCAEC58EB Time : 0.0 sec. user=mdettweiler [2016-06-04 10:58:31] 925*2^1431367-1 is not prime. Res64: 429AB19EF62CC10F Time : 0.0 sec. user=mdettweiler [2016-06-04 11:06:28] 975*2^1431367-1 is not prime. Res64: D0ADA7AE88DA477A Time : 0.0 sec. user=mdettweiler [2016-06-04 11:06:31] 665*2^1431368-1 is not prime. Res64: D9EFA6711BFF50F9 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:06:32] 767*2^1431368-1 is not prime. Res64: F479531117CC1098 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:06:34] 923*2^1431368-1 is not prime. Res64: F1A1281B3714FA12 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:06:35] 957*2^1431368-1 is not prime. Res64: 081E97F4715DB4F9 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:06:43] 969*2^1431368-1 is not prime. Res64: 36560E44FA492A1B Time : 0.0 sec. user=mdettweiler [2016-06-04 11:06:45] 999*2^1431368-1 is not prime. Res64: D4D32CABBC873A86 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:06:47] 679*2^1431369-1 is not prime. Res64: 6BBC1A51827F46D2 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:06:48] 705*2^1431369-1 is not prime. Res64: 4DF230F68408251B Time : 0.0 sec. user=mdettweiler [2016-06-04 11:06:50] 727*2^1431369-1 is not prime. Res64: 0169F4A6AFDD7B49 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:38:06] 811*2^1431369-1 is not prime. Res64: D72099413B11C94B Time : 0.0 sec. user=mdettweiler [2016-06-04 11:38:06] 951*2^1431369-1 is not prime. Res64: 039B70F92439AA12 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:38:07] 717*2^1431370-1 is not prime. Res64: 8E9737A3162DF9E4 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:38:07] 723*2^1431370-1 is not prime. Res64: B823F63197B55451 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:38:07] 777*2^1431370-1 is not prime. Res64: 49AF8F29F3C36C55 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:43:34] 873*2^1431370-1 is not prime. Res64: 8AA755B895AE58EE Time : 0.0 sec. user=mdettweiler [2016-06-04 11:43:34] 887*2^1431370-1 is not prime. Res64: F503AAA1347268DD Time : 0.0 sec. user=mdettweiler [2016-06-04 11:43:34] 917*2^1431370-1 is not prime. Res64: 66E96965CAD0C0CC Time : 0.0 sec. user=mdettweiler [2016-06-04 11:43:35] 651*2^1431371-1 is not prime. Res64: 76678F318F5E26D5 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:43:35] 673*2^1431371-1 is not prime. Res64: CA4C46E638EEC500 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:51:55] 703*2^1431371-1 is not prime. Res64: 741AB0DF430E2479 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:51:56] 715*2^1431371-1 is not prime. Res64: 53F519F4728C0204 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:51:56] 735*2^1431371-1 is not prime. Res64: A4A63029D14C9D0B Time : 0.0 sec. user=mdettweiler [2016-06-04 11:51:57] 895*2^1431371-1 is not prime. Res64: 3992877700639316 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:51:57] 943*2^1431371-1 is not prime. Res64: F3084CD8A252303A Time : 0.0 sec. user=mdettweiler [2016-06-04 11:51:58] 683*2^1431372-1 is not prime. Res64: D2CF6EA5E4FAE4DD Time : 0.0 sec. user=mdettweiler [2016-06-04 11:51:59] 749*2^1431372-1 is not prime. Res64: 6689D225D107EAB1 Time : 0.0 sec. user=mdettweiler [2016-06-04 11:51:59] 765*2^1431372-1 is not prime. Res64: C89E9996B8EFD1AE Time : 0.0 sec. user=mdettweiler [2016-06-04 11:52:00] 797*2^1431372-1 is not prime. Res64: 13C46549FD3C1C5A Time : 0.0 sec. user=mdettweiler [2016-06-04 11:52:00] 903*2^1431372-1 is not prime. Res64: 6DDAC14B6698F888 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:22:47] 619*2^1431373-1 is not prime. Res64: DAADDB8BA6BB5E06 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:22:48] 729*2^1431373-1 is not prime. Res64: 5975CF86037CD937 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:22:48] 769*2^1431373-1 is not prime. Res64: 74154E6E3D7F4B7C Time : 0.0 sec. user=mdettweiler [2016-06-04 12:22:49] 771*2^1431373-1 is not prime. Res64: AE224F6A029B1876 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:22:49] 671*2^1431374-1 is not prime. Res64: 0CA5E0CC6590FCA0 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:28:27] 827*2^1431374-1 is not prime. Res64: 7280053467C86440 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:28:27] 857*2^1431374-1 is not prime. Res64: E05484F9BF185329 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:28:28] 763*2^1431375-1 is not prime. Res64: 960BCB6F00DC00D2 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:28:28] 795*2^1431375-1 is not prime. Res64: 4A8FF5BC363BC332 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:28:29] 849*2^1431375-1 is not prime. Res64: CC2984A1AF27E3F5 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:36:44] 853*2^1431375-1 is not prime. Res64: 3273DE03077F5EF7 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:36:45] 859*2^1431375-1 is not prime. Res64: 8E068464A93F88DC Time : 0.0 sec. user=mdettweiler [2016-06-04 12:36:45] 963*2^1431375-1 is not prime. Res64: CF757BB1ADD8DF64 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:36:46] 765*2^1431376-1 is not prime. Res64: 45EA92B4C6883F12 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:36:46] 803*2^1431376-1 is not prime. Res64: BE71728B4F701686 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:36:52] 933*2^1431376-1 is not prime. Res64: 9BAA08C8B0E48848 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:36:52] 939*2^1431376-1 is not prime. Res64: 19F964354C737719 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:36:53] 631*2^1431377-1 is not prime. Res64: 32691C487F312667 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:36:53] 675*2^1431377-1 is not prime. Res64: 2B5EC935AD236475 Time : 0.0 sec. user=mdettweiler [2016-06-04 12:36:53] 729*2^1431377-1 is not prime. Res64: 9C6B576D2ADEE633 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:07:42] 741*2^1431377-1 is not prime. Res64: F1269CCFFD645187 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:07:44] 915*2^1431377-1 is not prime. Res64: 8EE1ED952A604360 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:07:45] 967*2^1431377-1 is not prime. Res64: 5C14B9C14C080005 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:07:46] 985*2^1431377-1 is not prime. Res64: C61C17CA1A6FE020 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:07:47] 735*2^1431378-1 is not prime. Res64: 9776CB612FC17E8F Time : 0.0 sec. user=mdettweiler [2016-06-04 13:13:37] 747*2^1431378-1 is not prime. Res64: BB0FDD76A894C132 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:13:37] 825*2^1431378-1 is not prime. Res64: D730DAE9398E7F8B Time : 0.0 sec. user=mdettweiler [2016-06-04 13:13:38] 891*2^1431378-1 is not prime. Res64: 692521A6E3920646 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:13:38] 945*2^1431378-1 is not prime. Res64: B5EEA96B78868B3D Time : 0.0 sec. user=mdettweiler [2016-06-04 13:13:39] 679*2^1431379-1 is not prime. Res64: 2C57668FDF84DDA2 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:21:43] 723*2^1431379-1 is not prime. Res64: 27257E52A658AB76 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:21:44] 741*2^1431379-1 is not prime. Res64: 16D4184F1C3E8C6C Time : 0.0 sec. user=mdettweiler [2016-06-04 13:21:44] 765*2^1431379-1 is not prime. Res64: 6E19AEE1FF7DF639 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:21:45] 859*2^1431379-1 is not prime. Res64: 417AC3493BA83277 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:21:45] 975*2^1431379-1 is not prime. Res64: 2E020704CAF4E4F7 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:21:52] 603*2^1431380-1 is not prime. Res64: 45649DD2928B7493 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:21:52] 629*2^1431380-1 is not prime. Res64: E97EFD4C0C0C3A92 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:21:52] 773*2^1431380-1 is not prime. Res64: 3BB28EA886F1F087 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:21:53] 819*2^1431380-1 is not prime. Res64: 69E3EF877BFF79B2 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:21:53] 843*2^1431380-1 is not prime. Res64: CAD079109D11E20E Time : 0.0 sec. user=mdettweiler [2016-06-04 13:52:59] 885*2^1431380-1 is not prime. Res64: CF93CF3568E5406B Time : 0.0 sec. user=mdettweiler [2016-06-04 13:53:00] 927*2^1431380-1 is not prime. Res64: 740BA707C966DA04 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:53:00] 957*2^1431380-1 is not prime. Res64: 84A45ED1AD31C926 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:53:01] 963*2^1431380-1 is not prime. Res64: 1BC101BC9125C06E Time : 0.0 sec. user=mdettweiler [2016-06-04 13:53:01] 983*2^1431380-1 is not prime. Res64: 0CBD0AC1D6BBE9FA Time : 0.0 sec. user=mdettweiler [2016-06-04 13:58:37] 691*2^1431381-1 is not prime. Res64: EB24C1225647981B Time : 0.0 sec. user=mdettweiler [2016-06-04 13:58:37] 711*2^1431381-1 is not prime. Res64: F91E3D2A0ECDC91D Time : 0.0 sec. user=mdettweiler [2016-06-04 13:58:38] 889*2^1431381-1 is not prime. Res64: 9321860B41714772 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:58:38] 927*2^1431381-1 is not prime. Res64: 07ABC55788776640 Time : 0.0 sec. user=mdettweiler [2016-06-04 13:58:38] 979*2^1431381-1 is not prime. Res64: BF0A4BAD342BE12B Time : 0.0 sec. user=mdettweiler [2016-06-04 14:06:45] 621*2^1431382-1 is not prime. Res64: 850FFFE01DECDBB9 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:06:46] 647*2^1431382-1 is not prime. Res64: 73666C5C1CEE7340 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:06:46] 665*2^1431382-1 is not prime. Res64: 9A348DFF6C5E0CE3 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:06:47] 713*2^1431382-1 is not prime. Res64: 94D09A05B601AFA3 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:06:47] 755*2^1431382-1 is not prime. Res64: 07422C32DB41538C Time : 0.0 sec. user=mdettweiler [2016-06-04 14:06:52] 761*2^1431382-1 is not prime. Res64: D1B9E58F06E20484 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:06:52] 777*2^1431382-1 is not prime. Res64: 89DB69BBE72BD3A9 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:06:52] 873*2^1431382-1 is not prime. Res64: 7398FF3177BD8459 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:06:53] 915*2^1431382-1 is not prime. Res64: BAF5242EF42530D8 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:06:53] 609*2^1431383-1 is not prime. Res64: 28A9F99F1D088E7D Time : 0.0 sec. user=mdettweiler [2016-06-04 14:38:13] 619*2^1431383-1 is not prime. Res64: C0A564DAB07E6F41 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:38:13] 621*2^1431383-1 is not prime. Res64: ABD3B9A884975B51 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:38:13] 825*2^1431383-1 is not prime. Res64: A6035C3DD0F0ED6E Time : 0.0 sec. user=mdettweiler [2016-06-04 14:38:14] 615*2^1431384-1 is not prime. Res64: BE5EE954675A1A3B Time : 0.0 sec. user=mdettweiler [2016-06-04 14:38:14] 705*2^1431384-1 is not prime. Res64: DC88D3252F32FA6D Time : 0.0 sec. user=mdettweiler [2016-06-04 14:43:52] 765*2^1431384-1 is not prime. Res64: C347EA67432706B9 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:43:52] 767*2^1431384-1 is not prime. Res64: 700ED0EA8650E285 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:43:53] 861*2^1431385-1 is not prime. Res64: 77E9BBD0E2A9A000 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:43:53] 867*2^1431385-1 is not prime. Res64: 9B38DD9556C82391 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:43:53] 871*2^1431385-1 is not prime. Res64: 59B29738581520C9 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:51:54] 623*2^1431386-1 is not prime. Res64: EBE04796F7CD5DF7 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:51:55] 635*2^1431386-1 is not prime. Res64: 8BDB91E577AA20AB Time : 0.0 sec. user=mdettweiler [2016-06-04 14:51:55] 705*2^1431386-1 is not prime. Res64: 72D789D6FCA047BA Time : 0.0 sec. user=mdettweiler [2016-06-04 14:51:55] 711*2^1431386-1 is not prime. Res64: 1C92DBC9698F61BD Time : 0.0 sec. user=mdettweiler [2016-06-04 14:51:56] 767*2^1431386-1 is not prime. Res64: EF1DBD9F450353F5 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:52:10] 813*2^1431386-1 is not prime. Res64: 6CBB39F300FD4E83 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:52:10] 857*2^1431386-1 is not prime. Res64: 251744E600E20D03 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:52:11] 957*2^1431386-1 is not prime. Res64: BE34A65291F012A4 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:52:11] 601*2^1431387-1 is not prime. Res64: 7A2303BC356E9E33 Time : 0.0 sec. user=mdettweiler [2016-06-04 14:52:11] 649*2^1431387-1 is not prime. Res64: DA90A884C111FB4F Time : 0.0 sec. user=mdettweiler [2016-06-04 15:23:13] 739*2^1431387-1 is not prime. Res64: 75E0053D6518F515 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:23:13] 751*2^1431387-1 is not prime. Res64: 46FE509024A040C6 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:23:13] 795*2^1431387-1 is not prime. Res64: 9830CE148DD9A758 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:23:14] 903*2^1431387-1 is not prime. Res64: 35B597D63570AC46 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:23:14] 961*2^1431387-1 is not prime. Res64: A7E8E5C018176310 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:29:03] 985*2^1431387-1 is not prime. Res64: 35C914896D1C79E7 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:29:04] 665*2^1431388-1 is not prime. Res64: 56426D1B19BBE602 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:29:04] 723*2^1431388-1 is not prime. Res64: 54900C3D7A1D7499 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:29:05] 989*2^1431388-1 is not prime. Res64: DC5E693AE11B87DD Time : 0.0 sec. user=mdettweiler [2016-06-04 15:29:05] 685*2^1431389-1 is not prime. Res64: 91BCD2411A0C4F6B Time : 0.0 sec. user=mdettweiler [2016-06-04 15:36:53] 729*2^1431389-1 is not prime. Res64: 0F2D3FB11DEAD9BA Time : 0.0 sec. user=mdettweiler [2016-06-04 15:36:54] 759*2^1431389-1 is not prime. Res64: 9E0802849B2393BD Time : 0.0 sec. user=mdettweiler [2016-06-04 15:36:54] 799*2^1431389-1 is not prime. Res64: 184032FDED451E44 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:36:54] 991*2^1431389-1 is not prime. Res64: 1025ACB81666CD65 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:36:55] 641*2^1431390-1 is not prime. Res64: DF89B55676F054B5 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:37:30] 695*2^1431390-1 is not prime. Res64: 6D54448D3D06E467 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:37:30] 951*2^1431390-1 is not prime. Res64: FF66C33C03D077A3 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:37:30] 965*2^1431390-1 is not prime. Res64: 335C6FA10B41F927 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:37:31] 601*2^1431391-1 is not prime. Res64: 086B1B73670703A0 Time : 0.0 sec. user=mdettweiler [2016-06-04 15:37:31] 625*2^1431391-1 is not prime. Res64: F0A014A8C62E3FD6 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:08:13] 673*2^1431391-1 is not prime. Res64: D01F5CACDABD3B2A Time : 0.0 sec. user=mdettweiler [2016-06-04 16:08:14] 771*2^1431391-1 is not prime. Res64: DF3EFD8FE57A2AA2 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:08:15] 841*2^1431391-1 is not prime. Res64: BBF254E11B2D307E Time : 0.0 sec. user=mdettweiler [2016-06-04 16:08:17] 895*2^1431391-1 is not prime. Res64: 6A99CB03E337473A Time : 0.0 sec. user=mdettweiler [2016-06-04 16:08:18] 951*2^1431391-1 is not prime. Res64: 5FA2301A0533DC85 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:14:09] 999*2^1431391-1 is not prime. Res64: 0071DAE90E2709CC Time : 0.0 sec. user=mdettweiler [2016-06-04 16:14:09] 675*2^1431392-1 is not prime. Res64: 36E693885AC5F558 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:14:10] 689*2^1431392-1 is not prime. Res64: 9449C9E381B5DF79 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:14:10] 735*2^1431392-1 is not prime. Res64: E794AE0CE3610E04 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:14:10] 759*2^1431392-1 is not prime. Res64: 57EACCA5F5A92DA9 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:22:08] 777*2^1431392-1 is not prime. Res64: B8312AD78D2B7C6B Time : 0.0 sec. user=mdettweiler [2016-06-04 16:22:08] 957*2^1431392-1 is not prime. Res64: 5C4B92AEFC16B5CD Time : 0.0 sec. user=mdettweiler [2016-06-04 16:22:08] 609*2^1431393-1 is not prime. Res64: 08316FC3DE926193 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:22:09] 627*2^1431393-1 is not prime. Res64: 4A47968E81BA368A Time : 0.0 sec. user=mdettweiler [2016-06-04 16:22:09] 651*2^1431393-1 is not prime. Res64: 8F5A5D3256900ED4 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:22:41] 705*2^1431393-1 is not prime. Res64: C2F3F6B0F28A92C5 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:22:42] 889*2^1431393-1 is not prime. Res64: 5E753877F8AA9D11 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:22:42] 987*2^1431393-1 is not prime. Res64: B3B447CF99058CE9 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:22:42] 611*2^1431394-1 is not prime. Res64: 800B3D1EEF083D63 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:22:43] 621*2^1431394-1 is not prime. Res64: 3D6772109E1C8F83 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:53:24] 623*2^1431394-1 is not prime. Res64: C524DBE9E37E2C2F Time : 0.0 sec. user=mdettweiler [2016-06-04 16:53:24] 717*2^1431394-1 is not prime. Res64: 2820E621B1FF9D47 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:53:25] 857*2^1431394-1 is not prime. Res64: 3BB3C38D5E5121B4 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:53:25] 983*2^1431394-1 is not prime. Res64: A0F46C32BC486878 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:53:25] 841*2^1431395-1 is not prime. Res64: 96AB7C524FB6F349 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:59:15] 949*2^1431395-1 is not prime. Res64: A91E76AF647DD0B7 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:59:15] 979*2^1431395-1 is not prime. Res64: 5E48DA55C4E2D7F0 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:59:15] 615*2^1431396-1 is not prime. Res64: 2754366A1CDAAB17 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:59:16] 737*2^1431396-1 is not prime. Res64: 29ADF43623107FD1 Time : 0.0 sec. user=mdettweiler [2016-06-04 16:59:16] 825*2^1431396-1 is not prime. Res64: AA0ED7B56356DE56 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:07:14] 845*2^1431396-1 is not prime. Res64: CB612207800C2DD2 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:07:15] 867*2^1431396-1 is not prime. Res64: D5024966BE3AABD0 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:07:15] 923*2^1431396-1 is not prime. Res64: 5F01D95D3FC43B24 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:07:16] 625*2^1431397-1 is not prime. Res64: 3ED55E48C2F0C531 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:07:16] 819*2^1431397-1 is not prime. Res64: 2DD4DE41A4CE3597 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:07:42] 915*2^1431397-1 is not prime. Res64: EE7E1A06482C26A8 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:07:43] 937*2^1431397-1 is not prime. Res64: B4BF127928B4C4DF Time : 0.0 sec. user=mdettweiler [2016-06-04 17:07:43] 975*2^1431397-1 is not prime. Res64: 8AC78FB4CD5EF9AD Time : 0.0 sec. user=mdettweiler [2016-06-04 17:07:44] 999*2^1431397-1 is not prime. Res64: A231BAC897ACD435 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:07:44] 635*2^1431398-1 is not prime. Res64: D8113D9D252A9F4A Time : 0.0 sec. user=mdettweiler [2016-06-04 17:38:33] 677*2^1431398-1 is not prime. Res64: EF16795944AD507B Time : 0.0 sec. user=mdettweiler [2016-06-04 17:38:34] 707*2^1431398-1 is not prime. Res64: F0C12C758AC66FC1 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:38:34] 773*2^1431398-1 is not prime. Res64: 960E55396E8929F6 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:38:34] 797*2^1431398-1 is not prime. Res64: 5CAA15B0D4E4E0CD Time : 0.0 sec. user=mdettweiler [2016-06-04 17:38:34] 831*2^1431398-1 is not prime. Res64: AB9F104143DAE525 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:44:49] 857*2^1431398-1 is not prime. Res64: 302A7851F0991BB5 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:44:49] 897*2^1431398-1 is not prime. Res64: 36F6E1EC555BF25C Time : 0.0 sec. user=mdettweiler [2016-06-04 17:44:50] 921*2^1431398-1 is not prime. Res64: BF18F6694FC87982 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:44:50] 987*2^1431398-1 is not prime. Res64: CB2A7D442853B1B1 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:44:50] 625*2^1431399-1 is not prime. Res64: CF250E3AA12866FA Time : 0.0 sec. user=mdettweiler [2016-06-04 17:52:45] 661*2^1431399-1 is not prime. Res64: 72096F91BE6951CD Time : 0.0 sec. user=mdettweiler [2016-06-04 17:52:45] 663*2^1431399-1 is not prime. Res64: 0CF9721E68E1CE5D Time : 0.0 sec. user=mdettweiler [2016-06-04 17:52:45] 789*2^1431399-1 is not prime. Res64: C35C251922C79E85 Time : 0.0 sec. user=mdettweiler [2016-06-04 17:52:45] 793*2^1431399-1 is not prime. Res64: F7FD681FE54D34FF Time : 0.0 sec. user=mdettweiler [2016-06-04 17:52:46] 831*2^1431399-1 is not prime. Res64: 8914A4313157DC5D Time : 0.0 sec. user=mdettweiler [2016-06-04 17:52:59] 873*2^1431399-1 is not prime. Res64: 2B45CC620517D3BD Time : 0.0 sec. user=mdettweiler [2016-06-04 17:52:59] 985*2^1431399-1 is not prime. Res64: 5448A8C7F014303E Time : 0.0 sec. user=mdettweiler [2016-06-04 17:52:59] 645*2^1431400-1 is not prime. Res64: 02F06382293856FF Time : 0.0 sec. user=mdettweiler [2016-06-04 17:52:59] 687*2^1431400-1 is not prime. Res64: B1C2F901FD208B0D Time : 0.0 sec. user=mdettweiler [2016-06-04 17:53:00] 719*2^1431400-1 is not prime. Res64: 1FB5114084673C4D Time : 0.0 sec. user=mdettweiler [2016-06-04 18:23:34] 743*2^1431400-1 is not prime. Res64: 94FA0633C8DC9801 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:23:34] 813*2^1431400-1 is not prime. Res64: C67AA5788EA02C4F Time : 0.0 sec. user=mdettweiler [2016-06-04 18:23:34] 827*2^1431400-1 is not prime. Res64: 6487F6FC529C83BF Time : 0.0 sec. user=mdettweiler [2016-06-04 18:23:35] 833*2^1431400-1 is not prime. Res64: 53CD24AE6C947911 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:23:35] 933*2^1431400-1 is not prime. Res64: 58876C6A554F377A Time : 0.0 sec. user=mdettweiler [2016-06-04 18:29:44] 601*2^1431401-1 is not prime. Res64: D16D24D4F9CEB4FD Time : 0.0 sec. user=mdettweiler [2016-06-04 18:29:45] 727*2^1431401-1 is not prime. Res64: 0CF4183F775C19B6 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:29:45] 861*2^1431401-1 is not prime. Res64: 09956C1E6C83F379 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:29:45] 945*2^1431401-1 is not prime. Res64: 9EFB4EDBA98C84CB Time : 0.0 sec. user=mdettweiler [2016-06-04 18:29:45] 921*2^1431402-1 is not prime. Res64: F1C2620BCF423827 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:37:47] 631*2^1431403-1 is not prime. Res64: E42850B07F24D720 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:37:47] 919*2^1431403-1 is not prime. Res64: 3FFE52D6B091D118 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:37:48] 717*2^1431404-1 is not prime. Res64: E24E7E665FE0ADDB Time : 0.0 sec. user=mdettweiler [2016-06-04 18:37:48] 767*2^1431404-1 is not prime. Res64: 3ADE9ABF7E565078 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:37:48] 773*2^1431404-1 is not prime. Res64: 3ADFBEEA8940C8E3 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:38:03] 837*2^1431404-1 is not prime. Res64: 6DFBC1602F504A32 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:38:03] 855*2^1431404-1 is not prime. Res64: 0AF2C9274E29EAD2 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:38:03] 873*2^1431404-1 is not prime. Res64: DE4BDBCEE9846E99 Time : 0.0 sec. user=mdettweiler [2016-06-04 18:38:04] 945*2^1431404-1 is not prime. Res64: BBB5EB5F4E68F30B Time : 0.0 sec. user=mdettweiler [2016-06-04 18:38:04] 983*2^1431404-1 is not prime. Res64: CC160CDCD4F58925 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:09:37] 667*2^1431405-1 is not prime. Res64: F117B2002CF427E8 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:09:37] 669*2^1431405-1 is not prime. Res64: AF880E6B54FC57C5 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:09:38] 795*2^1431405-1 is not prime. Res64: B8285FB8228210A7 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:09:38] 837*2^1431405-1 is not prime. Res64: E9F8581A55DC39D3 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:09:39] 849*2^1431405-1 is not prime. Res64: AA6AAA1E769B3D6D Time : 0.0 sec. user=mdettweiler [2016-06-04 19:16:06] 891*2^1431405-1 is not prime. Res64: D82F059C98E259C2 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:16:06] 961*2^1431405-1 is not prime. Res64: F4DA65EEDAC491C9 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:16:06] 991*2^1431405-1 is not prime. Res64: 79656F8BCEF68B00 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:16:07] 999*2^1431405-1 is not prime. Res64: 4A7706F1660096F3 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:16:07] 713*2^1431406-1 is not prime. Res64: 8BE409BE724AB72D Time : 0.0 sec. user=mdettweiler [2016-06-04 19:24:09] 783*2^1431406-1 is not prime. Res64: 148023EAA71DB71A Time : 0.0 sec. user=mdettweiler [2016-06-04 19:24:10] 705*2^1431407-1 is not prime. Res64: ED38ADC6B6B3505F Time : 0.0 sec. user=mdettweiler [2016-06-04 19:24:10] 605*2^1431408-1 is not prime. Res64: 7206BC6CC9F4E0D8 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:24:10] 657*2^1431408-1 is not prime. Res64: 969F925185B858B0 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:24:10] 669*2^1431408-1 is not prime. Res64: B6AF0A6DDCB30BF2 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:24:36] 735*2^1431408-1 is not prime. Res64: 7271ECB7CCE834A1 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:24:36] 797*2^1431408-1 is not prime. Res64: 0BFD42833917C2A0 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:24:36] 803*2^1431408-1 is not prime. Res64: 29853F6F28906C3C Time : 0.0 sec. user=mdettweiler [2016-06-04 19:24:37] 825*2^1431408-1 is not prime. Res64: 618885A8089892CB Time : 0.0 sec. user=mdettweiler [2016-06-04 19:24:37] 879*2^1431408-1 is not prime. Res64: DC9601F8FE9EAAF9 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:56:53] 975*2^1431408-1 is not prime. Res64: 39E72CFD14AFF522 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:56:53] 741*2^1431409-1 is not prime. Res64: 78287BFBC45907AF Time : 0.0 sec. user=mdettweiler [2016-06-04 19:56:53] 847*2^1431409-1 is not prime. Res64: 9A279169670CAC84 Time : 0.0 sec. user=mdettweiler [2016-06-04 19:56:54] 861*2^1431409-1 is not prime. Res64: 279505334103837D Time : 0.0 sec. user=mdettweiler [2016-06-04 19:56:54] 753*2^1431410-1 is not prime. Res64: 56E74624FE8608DF Time : 0.0 sec. user=mdettweiler [2016-06-04 20:02:38] 785*2^1431410-1 is not prime. Res64: 442AE413A33D521D Time : 0.0 sec. user=mdettweiler [2016-06-04 20:02:39] 851*2^1431410-1 is not prime. Res64: 6B9667ACFA9BC362 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:02:40] 893*2^1431410-1 is not prime. Res64: 8A26FF0335F775B7 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:02:40] 911*2^1431410-1 is not prime. Res64: 830462CC088646D2 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:02:41] 615*2^1431411-1 is not prime. Res64: 088E51C1569DE44A Time : 0.0 sec. user=mdettweiler [2016-06-04 20:10:56] 643*2^1431411-1 is not prime. Res64: C0C68DC5B707F4F0 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:10:56] 745*2^1431411-1 is not prime. Res64: 0AFCDBEC492DB892 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:10:56] 801*2^1431411-1 is not prime. Res64: FB26F669BCD4CACF Time : 0.0 sec. user=mdettweiler [2016-06-04 20:10:57] 961*2^1431411-1 is not prime. Res64: 268BB1498D6F9384 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:10:57] 765*2^1431412-1 is not prime. Res64: B929E50F3DFF9F97 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:11:16] 813*2^1431412-1 is not prime. Res64: E698C537B44530D5 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:11:16] 827*2^1431412-1 is not prime. Res64: D80C6F34570545A9 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:11:16] 863*2^1431412-1 is not prime. Res64: 95DB650F3E489A70 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:11:16] 869*2^1431412-1 is not prime. Res64: 273831F4EB1AD5E5 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:11:17] 903*2^1431412-1 is not prime. Res64: C8F01796EF3F48EA Time : 0.0 sec. user=mdettweiler [2016-06-04 20:43:49] 715*2^1431413-1 is not prime. Res64: 1EAF6B6787E373A1 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:43:49] 757*2^1431413-1 is not prime. Res64: 3AC2AFDE490C4432 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:43:50] 901*2^1431413-1 is not prime. Res64: 124F9141E80C4CB2 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:43:50] 991*2^1431413-1 is not prime. Res64: 072A31652E8153C1 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:43:50] 621*2^1431414-1 is not prime. Res64: 4A4A40A996DDDC50 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:50:13] 681*2^1431414-1 is not prime. Res64: AA972C2083F48C14 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:50:13] 741*2^1431414-1 is not prime. Res64: 5215863E67FED53A Time : 0.0 sec. user=mdettweiler [2016-06-04 20:50:13] 861*2^1431414-1 is not prime. Res64: 3D02406531938125 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:50:13] 863*2^1431414-1 is not prime. Res64: FAA4F41137127B2E Time : 0.0 sec. user=mdettweiler [2016-06-04 20:50:14] 915*2^1431414-1 is not prime. Res64: A8E4D233CCE59F46 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:57:43] 941*2^1431414-1 is not prime. Res64: 4708CBC90CE13491 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:57:43] 971*2^1431414-1 is not prime. Res64: EAC175418B302B0A Time : 0.0 sec. user=mdettweiler [2016-06-04 20:57:43] 983*2^1431414-1 is not prime. Res64: 713B6E08A61847C2 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:57:43] 679*2^1431415-1 is not prime. Res64: 079E9FE7AB4759B5 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:57:44] 723*2^1431415-1 is not prime. Res64: 1BBD7D3C98FB2EE4 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:58:16] 765*2^1431415-1 is not prime. Res64: 9FC86D2A8307CE0E Time : 0.0 sec. user=mdettweiler [2016-06-04 20:58:16] 805*2^1431415-1 is not prime. Res64: B028104C925E448B Time : 0.0 sec. user=mdettweiler [2016-06-04 20:58:16] 829*2^1431415-1 is not prime. Res64: 1607859D75D1B8C8 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:58:17] 919*2^1431415-1 is not prime. Res64: 6DB4F8C81C9EAF94 Time : 0.0 sec. user=mdettweiler [2016-06-04 20:58:17] 925*2^1431415-1 is not prime. Res64: 45496C23036BEA63 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:31:33] 939*2^1431415-1 is not prime. Res64: F4338BDA82C0C5DB Time : 0.0 sec. user=mdettweiler [2016-06-04 21:31:33] 951*2^1431415-1 is not prime. Res64: 1282195C4E53F6A2 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:31:39] 617*2^1431416-1 is not prime. Res64: 8F3F3E9C11B7757F Time : 0.0 sec. user=mdettweiler [2016-06-04 21:31:40] 663*2^1431416-1 is not prime. Res64: 48E65C33148D3A89 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:31:40] 699*2^1431416-1 is not prime. Res64: 053769D2CDE5ADAF Time : 0.0 sec. user=mdettweiler [2016-06-04 21:37:10] 717*2^1431416-1 is not prime. Res64: A955330D460C25F9 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:37:10] 827*2^1431416-1 is not prime. Res64: 2AD338BF6B500DBA Time : 0.0 sec. user=mdettweiler [2016-06-04 21:37:10] 867*2^1431416-1 is not prime. Res64: 4B1726A9A05223C6 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:37:10] 893*2^1431416-1 is not prime. Res64: 41E3AE5675DA8841 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:37:10] 607*2^1431417-1 is not prime. Res64: 84D1AB91A0EB8BF1 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:44:56] 741*2^1431417-1 is not prime. Res64: 3E0E07AAEE0BA20D Time : 0.0 sec. user=mdettweiler [2016-06-04 21:44:56] 847*2^1431417-1 is not prime. Res64: E183AA9A6771FB3C Time : 0.0 sec. user=mdettweiler [2016-06-04 21:44:56] 997*2^1431417-1 is not prime. Res64: 727AF1B805670FE6 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:44:57] 713*2^1431418-1 is not prime. Res64: B6C7D381389CFEB2 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:44:57] 723*2^1431418-1 is not prime. Res64: 49676B577A994BD4 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:45:33] 731*2^1431418-1 is not prime. Res64: 062CADAA59F07F29 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:45:33] 791*2^1431418-1 is not prime. Res64: 968A12A4702E3A34 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:45:34] 815*2^1431418-1 is not prime. Res64: A433A61D21C3F139 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:45:34] 951*2^1431418-1 is not prime. Res64: 0AA4B60C01D05095 Time : 0.0 sec. user=mdettweiler [2016-06-04 21:45:34] 971*2^1431418-1 is not prime. Res64: 3375B348A982C0E0 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:17:52] 987*2^1431418-1 is not prime. Res64: B9FD9C941C4A865A Time : 0.0 sec. user=mdettweiler [2016-06-04 22:17:52] 663*2^1431419-1 is not prime. Res64: 208CA933EB547940 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:17:52] 693*2^1431419-1 is not prime. Res64: 8136A83BE367CE50 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:17:53] 703*2^1431419-1 is not prime. Res64: 558E44D04BA372DC Time : 0.0 sec. user=mdettweiler [2016-06-04 22:17:53] 741*2^1431419-1 is not prime. Res64: D14F6CEEEEA8DEE0 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:23:14] 853*2^1431419-1 is not prime. Res64: 57090097BB45CBB5 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:23:14] 855*2^1431419-1 is not prime. Res64: D7ABADD73AF1DE1D Time : 0.0 sec. user=mdettweiler [2016-06-04 22:23:15] 779*2^1431420-1 is not prime. Res64: 1CB92B4ED801C4DD Time : 0.0 sec. user=mdettweiler [2016-06-04 22:23:15] 789*2^1431420-1 is not prime. Res64: 1F7B720093889FAA Time : 0.0 sec. user=mdettweiler [2016-06-04 22:23:15] 873*2^1431420-1 is not prime. Res64: 02EBEAAC1577A545 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:30:59] 855*2^1431421-1 is not prime. Res64: 45E9A4D382439842 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:30:59] 861*2^1431421-1 is not prime. Res64: 064BFDFE0D0FF398 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:30:59] 871*2^1431421-1 is not prime. Res64: D133C4A8D8FC0A2E Time : 0.0 sec. user=mdettweiler [2016-06-04 22:31:00] 945*2^1431421-1 is not prime. Res64: A25F102AC07FE873 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:31:00] 603*2^1431422-1 is not prime. Res64: C1A4F4F8B15D3745 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:31:45] 623*2^1431422-1 is not prime. Res64: 19090D2EA24C32C5 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:31:45] 731*2^1431422-1 is not prime. Res64: 21DE12A77569E6A1 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:31:45] 801*2^1431422-1 is not prime. Res64: 3F7CDBC885373DE5 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:31:45] 921*2^1431422-1 is not prime. Res64: 090A36F6AC26C463 Time : 0.0 sec. user=mdettweiler [2016-06-04 22:31:46] 965*2^1431422-1 is not prime. Res64: 5157C1B3A0CFECC4 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:03:51] 609*2^1431423-1 is not prime. Res64: DB7B777D3DB6485C Time : 0.0 sec. user=mdettweiler [2016-06-04 23:03:53] 661*2^1431423-1 is not prime. Res64: F6A7E4F66E29365D Time : 0.0 sec. user=mdettweiler [2016-06-04 23:03:54] 679*2^1431423-1 is not prime. Res64: 943AF73917268393 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:03:55] 723*2^1431423-1 is not prime. Res64: D498453A7DCDF377 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:03:55] 735*2^1431423-1 is not prime. Res64: AB524AA48D9E0FD8 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:09:40] 739*2^1431423-1 is not prime. Res64: 508F29C2831C6EE0 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:09:40] 789*2^1431423-1 is not prime. Res64: CAFDC7489BDE80D0 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:09:40] 605*2^1431424-1 is not prime. Res64: CA515D54C08740D2 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:09:41] 707*2^1431424-1 is not prime. Res64: 744043F8313585D1 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:09:41] 723*2^1431424-1 is not prime. Res64: F1F404F33EB9CE5E Time : 0.0 sec. user=mdettweiler [2016-06-04 23:17:04] 755*2^1431424-1 is not prime. Res64: 97F055F619C76FCD Time : 0.0 sec. user=mdettweiler [2016-06-04 23:17:04] 875*2^1431424-1 is not prime. Res64: 99D9CE35278A9631 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:17:05] 929*2^1431424-1 is not prime. Res64: 08DAD9E96AA8DDE1 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:17:05] 937*2^1431425-1 is not prime. Res64: 6FB229E198F79B37 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:17:06] 957*2^1431425-1 is not prime. Res64: 106487BAAB0C8D1B Time : 0.0 sec. user=mdettweiler [2016-06-04 23:18:10] 723*2^1431426-1 is not prime. Res64: EB55BBAFEA991414 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:18:11] 777*2^1431426-1 is not prime. Res64: 41F64DBAA44791A8 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:18:11] 783*2^1431426-1 is not prime. Res64: E497D72D8F31F3A3 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:18:11] 807*2^1431426-1 is not prime. Res64: 167C7F481848BDA0 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:18:11] 917*2^1431426-1 is not prime. Res64: DB9A4B783C99C979 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:51:06] 975*2^1431426-1 is not prime. Res64: 58721C3E632F83D9 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:51:06] 649*2^1431427-1 is not prime. Res64: DEEFF5CFCAE6E496 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:51:07] 829*2^1431427-1 is not prime. Res64: 2891B6079577AF3B Time : 0.0 sec. user=mdettweiler [2016-06-04 23:51:07] 603*2^1431428-1 is not prime. Res64: 7E17C3445A2CA3B1 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:51:07] 683*2^1431428-1 is not prime. Res64: 13BEE7B0AC5DC9A8 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:56:24] 773*2^1431428-1 is not prime. Res64: D7F758BED3C0601A Time : 0.0 sec. user=mdettweiler [2016-06-04 23:56:24] 813*2^1431428-1 is not prime. Res64: 41CD9ACFC3B67796 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:56:25] 899*2^1431428-1 is not prime. Res64: 19D258C82859EF39 Time : 0.0 sec. user=mdettweiler [2016-06-04 23:56:25] 923*2^1431428-1 is not prime. Res64: 0AD01880975EA4DA Time : 0.0 sec. user=mdettweiler [2016-06-04 23:56:25] 929*2^1431428-1 is not prime. Res64: 2FB7A43AAFF9101A Time : 0.0 sec.