user=mdettweiler [2013-06-01 00:02:49] 623*2^1246448-1 is not prime. Res64: 9F15F647FE2103CA Time : 0.0 sec. user=mdettweiler [2013-06-01 00:16:18] 845*2^1246448-1 is not prime. Res64: 37E156D356CA47E5 Time : 0.0 sec. user=mdettweiler [2013-06-01 00:38:42] 665*2^1246448-1 is not prime. Res64: 064FF0B1BC68D977 Time : 0.0 sec. user=mdettweiler [2013-06-01 00:40:21] 855*2^1246448-1 is not prime. Res64: 4A7F34E2BEF9DDAE Time : 0.0 sec. user=mdettweiler [2013-06-01 01:29:34] 875*2^1246448-1 is not prime. Res64: 42A52EA0CE5C09D9 Time : 0.0 sec. user=mdettweiler [2013-06-01 01:29:35] 935*2^1246448-1 is not prime. Res64: B270E9A85CFFAABE Time : 0.0 sec. user=mdettweiler [2013-06-01 01:34:07] 963*2^1246448-1 is not prime. Res64: 0E79F0C04DFC9AC6 Time : 0.0 sec. user=mdettweiler [2013-06-01 01:34:08] 669*2^1246449-1 is not prime. Res64: 97558F064151EF67 Time : 0.0 sec. user=mdettweiler [2013-06-01 01:47:09] 675*2^1246449-1 is not prime. Res64: 77F3D99BB185BED5 Time : 0.0 sec. user=mdettweiler [2013-06-01 01:47:09] 685*2^1246449-1 is not prime. Res64: 729AE695FD723027 Time : 0.0 sec. user=mdettweiler [2013-06-01 01:51:48] 817*2^1246449-1 is not prime. Res64: 36EB5C6B8C73B8BF Time : 0.0 sec. user=mdettweiler [2013-06-01 02:05:11] 891*2^1246449-1 is not prime. Res64: 5DB52C97FD111D16 Time : 0.0 sec. user=mdettweiler [2013-06-01 02:24:19] 835*2^1246449-1 is not prime. Res64: C3AFF53677BE6BD3 Time : 0.0 sec. user=mdettweiler [2013-06-01 02:27:55] 653*2^1246450-1 is not prime. Res64: D26175E337C456BF Time : 0.0 sec. user=mdettweiler [2013-06-01 02:41:48] 833*2^1246450-1 is not prime. Res64: 84627CFD09F90BB6 Time : 0.0 sec. user=mdettweiler [2013-06-01 02:41:49] 603*2^1246451-1 is not prime. Res64: B4AAF2DF9340145C Time : 0.0 sec. user=mdettweiler [2013-06-01 02:59:41] 841*2^1246451-1 is not prime. Res64: 7AD74DE38881B9A2 Time : 0.0 sec. user=mdettweiler [2013-06-01 02:59:41] 871*2^1246451-1 is not prime. Res64: 7A3B3CCA9067C426 Time : 0.0 sec. user=mdettweiler [2013-06-01 03:10:08] 883*2^1246451-1 is not prime. Res64: 28176B3E2496A0DD Time : 0.0 sec. user=mdettweiler [2013-06-01 03:10:09] 699*2^1246452-1 is not prime. Res64: 646382BB5D6F20F1 Time : 0.0 sec. user=mdettweiler [2013-06-01 03:17:20] 867*2^1246452-1 is not prime. Res64: 55B411BAD8657C69 Time : 0.0 sec. user=mdettweiler [2013-06-01 03:27:40] 929*2^1246452-1 is not prime. Res64: E59AD4C96809A056 Time : 0.0 sec. user=mdettweiler [2013-06-01 03:27:41] 945*2^1246452-1 is not prime. Res64: 80F96078677B35FC Time : 0.0 sec. user=mdettweiler [2013-06-01 03:40:30] 899*2^1246452-1 is not prime. Res64: 5E4C92F212B39A29 Time : 0.0 sec. user=mdettweiler [2013-06-01 03:45:23] 691*2^1246453-1 is not prime. Res64: 492C749C38ACAC24 Time : 0.0 sec. user=mdettweiler [2013-06-01 03:45:24] 855*2^1246453-1 is not prime. Res64: 151A3C8897D068D6 Time : 0.0 sec. user=mdettweiler [2013-06-01 04:03:09] 925*2^1246453-1 is not prime. Res64: 578C0B35993867E6 Time : 0.0 sec. user=mdettweiler [2013-06-01 04:03:12] 635*2^1246454-1 is not prime. Res64: D1AFBFB0F57822E5 Time : 0.0 sec. user=mdettweiler [2013-06-01 04:20:52] 687*2^1246454-1 is not prime. Res64: 56B261A011749EB2 Time : 0.0 sec. user=mdettweiler [2013-06-01 04:20:52] 711*2^1246454-1 is not prime. Res64: 6ABEF0C9719867A9 Time : 0.0 sec. user=mdettweiler [2013-06-01 04:20:55] 731*2^1246454-1 is not prime. Res64: 385E341DD0D47487 Time : 0.0 sec. user=mdettweiler [2013-06-01 04:20:56] 747*2^1246454-1 is not prime. Res64: 17D9B61A9CEE74F7 Time : 0.0 sec. user=mdettweiler [2013-06-01 04:38:38] 827*2^1246454-1 is not prime. Res64: E5BFC69CC55CC382 Time : 0.0 sec. user=mdettweiler [2013-06-01 04:38:39] 625*2^1246455-1 is not prime. Res64: FBDE8CB46872613D Time : 0.0 sec. user=mdettweiler [2013-06-01 04:38:39] 885*2^1246454-1 is not prime. Res64: 3E25F323096DFDEB Time : 0.0 sec. user=mdettweiler [2013-06-01 04:38:39] 643*2^1246455-1 is not prime. Res64: 32F3700A1E270DF1 Time : 0.0 sec. user=mdettweiler [2013-06-01 04:56:20] 795*2^1246455-1 is not prime. Res64: C9505AC5EB6CC94A Time : 0.0 sec. user=mdettweiler [2013-06-01 04:56:20] 709*2^1246455-1 is not prime. Res64: 21E14B3F887572F8 Time : 0.0 sec. user=mdettweiler [2013-06-01 05:15:27] 969*2^1246455-1 is not prime. Res64: E2C5375668616854 Time : 0.0 sec. user=mdettweiler [2013-06-01 05:17:12] 723*2^1246455-1 is not prime. Res64: CA2149BE61A3BDCF Time : 0.0 sec. user=mdettweiler [2013-06-01 05:33:14] 639*2^1246456-1 is not prime. Res64: 0DE636E61F4AE1E6 Time : 0.0 sec. user=mdettweiler [2013-06-01 05:33:15] 653*2^1246456-1 is not prime. Res64: CC1ED732DCFDEF2E Time : 0.0 sec. user=mdettweiler [2013-06-01 05:51:16] 705*2^1246456-1 is not prime. Res64: 752FEF898C4D145E Time : 0.0 sec. user=mdettweiler [2013-06-01 05:58:19] 923*2^1246456-1 is not prime. Res64: F6318E84CCE6B7B0 Time : 0.0 sec. user=mdettweiler [2013-06-01 05:58:19] 933*2^1246456-1 is not prime. Res64: 2FCEA4C63467988F Time : 0.0 sec. user=mdettweiler [2013-06-01 06:17:44] 975*2^1246456-1 is not prime. Res64: FA9A1EE1AFA92152 Time : 0.0 sec. user=mdettweiler [2013-06-01 06:17:45] 989*2^1246456-1 is not prime. Res64: 6D528037D6956696 Time : 0.0 sec. user=mdettweiler [2013-06-01 06:27:47] 899*2^1246456-1 is not prime. Res64: 5445B69397CB36DE Time : 0.0 sec. user=mdettweiler [2013-06-01 06:35:26] 715*2^1246457-1 is not prime. Res64: 86FEC8CD1BEBD9E6 Time : 0.0 sec. user=mdettweiler [2013-06-01 06:45:15] 861*2^1246457-1 is not prime. Res64: 4A47DCC729D8AFC8 Time : 0.0 sec. user=mdettweiler [2013-06-01 06:45:16] 915*2^1246457-1 is not prime. Res64: F04A8F830CC7F42A Time : 0.0 sec. user=mdettweiler [2013-06-01 06:59:56] 837*2^1246457-1 is not prime. Res64: 7EF67D4AD3B753D7 Time : 0.0 sec. user=mdettweiler [2013-06-01 07:03:11] 867*2^1246357-1 is not prime. Res64: 3B668F2E0E586B75 Time : 0.0 sec. user=mdettweiler [2013-06-01 07:17:31] 889*2^1246357-1 is not prime. Res64: F364419E316DBE3E Time : 0.0 sec. user=mdettweiler [2013-06-01 07:17:32] 663*2^1246358-1 is not prime. Res64: 06A2E0779B6BD050 Time : 0.0 sec. user=mdettweiler [2013-06-01 07:35:17] 707*2^1246358-1 is not prime. Res64: 1BD874D34BC98045 Time : 0.0 sec. user=mdettweiler [2013-06-01 07:35:18] 773*2^1246358-1 is not prime. Res64: 9E16EB93D331EC1F Time : 0.0 sec. user=mdettweiler [2013-06-01 07:38:06] 871*2^1246357-1 is not prime. Res64: F262D1D1D4BCDFDB Time : 0.0 sec. user=mdettweiler [2013-06-01 07:53:02] 941*2^1246358-1 is not prime. Res64: 146B27536FB5D271 Time : 0.0 sec. user=mdettweiler [2013-06-01 07:53:03] 951*2^1246358-1 is not prime. Res64: C152738FF2C6961F Time : 0.0 sec. user=mdettweiler [2013-06-01 08:10:51] 735*2^1246359-1 is not prime. Res64: 0C6C2115FA19DAE5 Time : 0.0 sec. user=mdettweiler [2013-06-01 08:29:21] 843*2^1246359-1 is not prime. Res64: 8D5B91224BA82222 Time : 0.0 sec. user=mdettweiler [2013-06-01 08:33:41] 975*2^1246359-1 is not prime. Res64: 7A103CC7A3104544 Time : 0.0 sec. user=mdettweiler [2013-06-01 08:50:40] 623*2^1246360-1 is not prime. Res64: 224A38B9822E0E4C Time : 0.0 sec. user=mdettweiler [2013-06-01 09:09:35] 791*2^1246458-1 is not prime. Res64: C28706E1A0B4EB47 Time : 0.0 sec. user=mdettweiler [2013-06-01 09:09:36] 975*2^1246458-1 is not prime. Res64: 1BE7E66E9B75D1D1 Time : 0.0 sec. user=mdettweiler [2013-06-01 09:27:05] 675*2^1246459-1 is not prime. Res64: AFF9EEA2989DE12A Time : 0.0 sec. user=mdettweiler [2013-06-01 09:27:06] 745*2^1246459-1 is not prime. Res64: 15D07E8A06219095 Time : 0.0 sec. user=mdettweiler [2013-06-01 09:34:28] 751*2^1246459-1 is not prime. Res64: E90693FB5AFF2DD0 Time : 0.0 sec. user=mdettweiler [2013-06-01 09:34:29] 919*2^1246459-1 is not prime. Res64: 7CE585260A9CBC26 Time : 0.0 sec. user=mdettweiler [2013-06-01 09:45:37] 975*2^1246459-1 is not prime. Res64: EEF952E245B6F3CF Time : 0.0 sec. user=mdettweiler [2013-06-01 09:51:56] 677*2^1246460-1 is not prime. Res64: 62FE6933D9D82BFF Time : 0.0 sec. user=mdettweiler [2013-06-01 09:51:56] 813*2^1246460-1 is not prime. Res64: 6578E79FB70D158A Time : 0.0 sec. user=mdettweiler [2013-06-01 10:10:30] 963*2^1246460-1 is not prime. Res64: F68C63A7E466C05D Time : 0.0 sec. user=mdettweiler [2013-06-01 10:10:54] 987*2^1246460-1 is not prime. Res64: 2AF39095E3C7D271 Time : 0.0 sec. user=mdettweiler [2013-06-01 10:14:54] 635*2^1246460-1 is not prime. Res64: F8F41008DDA1D49F Time : 0.0 sec. user=mdettweiler [2013-06-01 10:32:48] 615*2^1246461-1 is not prime. Res64: D98449408C5C24FE Time : 0.0 sec. user=mdettweiler [2013-06-01 10:51:30] 691*2^1246461-1 is not prime. Res64: 28D5E610DC5ED1DF Time : 0.0 sec. user=mdettweiler [2013-06-01 11:06:42] 735*2^1246461-1 is not prime. Res64: 9A98145CCBAA3E81 Time : 0.0 sec. user=mdettweiler [2013-06-01 11:06:43] 999*2^1246461-1 is not prime. Res64: 2E465A9BD31EC660 Time : 0.0 sec. user=mdettweiler [2013-06-01 11:09:02] 617*2^1246462-1 is not prime. Res64: DC02B23F452DBE9E Time : 0.0 sec. user=mdettweiler [2013-06-01 11:09:03] 657*2^1246462-1 is not prime. Res64: 962546295D829A55 Time : 0.0 sec. user=mdettweiler [2013-06-01 11:24:18] 681*2^1246462-1 is not prime. Res64: 64EEA43A1E6B9E9D Time : 0.0 sec. user=mdettweiler [2013-06-01 11:24:18] 873*2^1246462-1 is not prime. Res64: D352AE11F68BEEAE Time : 0.0 sec. user=mdettweiler [2013-06-01 11:26:33] 891*2^1246462-1 is not prime. Res64: AE732761A022646F Time : 0.0 sec. user=mdettweiler [2013-06-01 11:26:33] 917*2^1246462-1 is not prime. Res64: E8827759EC0F57FD Time : 0.0 sec. user=mdettweiler [2013-06-01 11:42:54] 975*2^1246462-1 is not prime. Res64: 770C411A48F8B6C8 Time : 0.0 sec. user=mdettweiler [2013-06-01 11:42:54] 619*2^1246463-1 is not prime. Res64: 5FEEDDEC1CD9B093 Time : 0.0 sec. user=mdettweiler [2013-06-01 11:44:18] 693*2^1246463-1 is not prime. Res64: 9D728B0CDEAC56F8 Time : 0.0 sec. user=mdettweiler [2013-06-01 11:44:19] 715*2^1246463-1 is not prime. Res64: E13AB74C6B8E0755 Time : 0.0 sec. user=mdettweiler [2013-06-01 12:00:53] 741*2^1246463-1 is not prime. Res64: 447C1DE2F54F0546 Time : 0.0 sec. user=mdettweiler [2013-06-01 12:02:52] 879*2^1246463-1 is not prime. Res64: DC83691B7290CF78 Time : 0.0 sec. user=mdettweiler [2013-06-01 12:26:03] 759*2^1246463-1 is not prime. Res64: 5E10522C21A52FBE Time : 0.0 sec. user=mdettweiler [2013-06-01 12:27:28] 939*2^1246463-1 is not prime. Res64: 8A238B8ABECD3873 Time : 0.0 sec. user=mdettweiler [2013-06-01 13:16:50] 753*2^1246464-1 is not prime. Res64: 062B8B826D3911F7 Time : 0.0 sec. user=mdettweiler [2013-06-01 13:37:32] 627*2^1246464-1 is not prime. Res64: 3B83EF2DBC122DE9 Time : 0.0 sec. user=mdettweiler [2013-06-01 13:37:32] 657*2^1246464-1 is not prime. Res64: BA6A4B9F09255575 Time : 0.0 sec. user=mdettweiler [2013-06-01 13:47:04] 863*2^1246464-1 is not prime. Res64: 803BA1AA14F8E4CE Time : 0.0 sec. user=mdettweiler [2013-06-01 13:55:22] 625*2^1246465-1 is not prime. Res64: 0F8701C51EBF88B8 Time : 0.0 sec. user=mdettweiler [2013-06-01 13:55:23] 705*2^1246465-1 is not prime. Res64: DF09467A06244F04 Time : 0.0 sec. user=mdettweiler [2013-06-01 14:13:00] 777*2^1246465-1 is not prime. Res64: 0A71F688EAE79286 Time : 0.0 sec. user=mdettweiler [2013-06-01 14:13:01] 841*2^1246465-1 is not prime. Res64: 94F58C38D673DC9D Time : 0.0 sec. user=mdettweiler [2013-06-01 14:29:20] 885*2^1246465-1 is not prime. Res64: 6C1E5A3306788421 Time : 0.0 sec. user=mdettweiler [2013-06-01 14:29:20] 939*2^1246465-1 is not prime. Res64: 56A910F310663F43 Time : 0.0 sec. user=mdettweiler [2013-06-01 14:30:28] 677*2^1246466-1 is not prime. Res64: 60182C3645E588C4 Time : 0.0 sec. user=mdettweiler [2013-06-01 14:30:29] 833*2^1246466-1 is not prime. Res64: 0FA09B446ACDF531 Time : 0.0 sec. user=mdettweiler [2013-06-01 14:46:50] 837*2^1246466-1 is not prime. Res64: 55FC5957613CCE22 Time : 0.0 sec. user=mdettweiler [2013-06-01 14:46:51] 873*2^1246466-1 is not prime. Res64: 6F693DDDD24D112A Time : 0.0 sec. user=mdettweiler [2013-06-01 14:47:56] 893*2^1246466-1 is not prime. Res64: 90C2504332FEEE62 Time : 0.0 sec. user=mdettweiler [2013-06-01 14:47:57] 963*2^1246466-1 is not prime. Res64: C3F3AA3A7CCD601C Time : 0.0 sec. user=mdettweiler [2013-06-01 15:05:39] 615*2^1246467-1 is not prime. Res64: CF7240B934D4B733 Time : 0.0 sec. user=mdettweiler [2013-06-01 15:05:40] 685*2^1246467-1 is not prime. Res64: CC18196E4B37F8DF Time : 0.0 sec. user=mdettweiler [2013-06-01 15:06:19] 983*2^1246466-1 is not prime. Res64: 5A23B9331980F42A Time : 0.0 sec. user=mdettweiler [2013-06-01 15:06:20] 987*2^1246466-1 is not prime. Res64: DE05A5A1132077F3 Time : 0.0 sec. user=mdettweiler [2013-06-01 15:23:34] 919*2^1246467-1 is not prime. Res64: C25F95619E23BA68 Time : 0.0 sec. user=mdettweiler [2013-06-01 15:24:16] 777*2^1246468-1 is not prime. Res64: 6E2760898AC542CE Time : 0.0 sec. user=mdettweiler [2013-06-01 15:47:02] 885*2^1246468-1 is not prime. Res64: 4364CE50E67736D4 Time : 0.0 sec. user=mdettweiler [2013-06-01 15:48:30] 951*2^1246467-1 is not prime. Res64: F148651CB5BB496C Time : 0.0 sec. user=mdettweiler [2013-06-01 16:07:07] 887*2^1246468-1 is not prime. Res64: A1F93E7741042F7A Time : 0.0 sec. user=mdettweiler [2013-06-01 16:07:08] 989*2^1246468-1 is not prime. Res64: A78D8C9B9918A6A6 Time : 0.0 sec. user=mdettweiler [2013-06-01 16:23:26] 627*2^1246469-1 is not prime. Res64: 50F4ECE772E945BE Time : 0.0 sec. user=mdettweiler [2013-06-01 16:24:58] 685*2^1246469-1 is not prime. Res64: 8694555A0DBC710D Time : 0.0 sec. user=mdettweiler [2013-06-01 16:24:58] 847*2^1246469-1 is not prime. Res64: D19B4C19F86DC17A Time : 0.0 sec. user=mdettweiler [2013-06-01 16:42:56] 861*2^1246469-1 is not prime. Res64: 5D2C14C4DD9F08A5 Time : 0.0 sec. user=mdettweiler [2013-06-01 16:42:57] 651*2^1246470-1 is not prime. Res64: 783DE6C326F28FEE Time : 0.0 sec. user=mdettweiler [2013-06-01 16:54:21] 645*2^1246469-1 is not prime. Res64: 8D26B4B5CD78B808 Time : 0.0 sec. user=mdettweiler [2013-06-01 17:01:04] 765*2^1246470-1 is not prime. Res64: D302B22291737572 Time : 0.0 sec. user=mdettweiler [2013-06-01 17:01:04] 791*2^1246470-1 is not prime. Res64: 1E004E0AA70994DA Time : 0.0 sec. user=mdettweiler [2013-06-01 17:13:19] 933*2^1246470-1 is not prime. Res64: 92471C855F2541BC Time : 0.0 sec. user=mdettweiler [2013-06-01 17:18:53] 645*2^1246471-1 is not prime. Res64: 41D7406613AC0A1B Time : 0.0 sec. user=mdettweiler [2013-06-01 17:18:54] 723*2^1246471-1 is not prime. Res64: 183D466B80335B1B Time : 0.0 sec. user=mdettweiler [2013-06-01 17:31:35] 1001*2^1246470-1 is not prime. Res64: 531B5BA7312AFACE Time : 0.0 sec. user=mdettweiler [2013-06-01 17:36:42] 759*2^1246471-1 is not prime. Res64: 8BA3593CEEBE58C0 Time : 0.0 sec. user=mdettweiler [2013-06-01 17:36:43] 783*2^1246471-1 is not prime. Res64: 19CC0D6774067A61 Time : 0.0 sec. user=mdettweiler [2013-06-01 17:49:06] 855*2^1246471-1 is not prime. Res64: F42C7A35C7FD4565 Time : 0.0 sec. user=mdettweiler [2013-06-01 17:49:07] 859*2^1246471-1 is not prime. Res64: 39F9B75643467A2B Time : 0.0 sec. user=mdettweiler [2013-06-01 17:54:26] 677*2^1246472-1 is not prime. Res64: 7751DF6F3B1AF92A Time : 0.0 sec. user=mdettweiler [2013-06-01 18:07:08] 825*2^1246472-1 is not prime. Res64: 13576C27DC4B700B Time : 0.0 sec. user=mdettweiler [2013-06-01 18:32:13] 725*2^1246472-1 is not prime. Res64: E63BAE84654EA68B Time : 0.0 sec. user=mdettweiler [2013-06-01 18:39:23] 837*2^1246472-1 is not prime. Res64: 0860BB30B960D58B Time : 0.0 sec. user=mdettweiler [2013-06-01 19:10:52] 873*2^1246472-1 is not prime. Res64: 03D4AC0009897BD7 Time : 0.0 sec. user=mdettweiler [2013-06-01 19:10:53] 899*2^1246472-1 is not prime. Res64: 4967C93D8F94554B Time : 0.0 sec. user=mdettweiler [2013-06-01 19:26:43] 963*2^1246472-1 is not prime. Res64: D808FADF98FF9C3A Time : 0.0 sec. user=mdettweiler [2013-06-01 19:26:43] 781*2^1246473-1 is not prime. Res64: 0E4870826D9B0BA8 Time : 0.0 sec. user=mdettweiler [2013-06-01 19:29:30] 999*2^1246473-1 is not prime. Res64: 3199EC21784DD8F9 Time : 0.0 sec. user=mdettweiler [2013-06-01 19:44:39] 623*2^1246474-1 is not prime. Res64: 52BE4D8D882FFFF6 Time : 0.0 sec. user=mdettweiler [2013-06-01 19:44:39] 675*2^1246474-1 is not prime. Res64: E76C1A7DD3EE2C1C Time : 0.0 sec. user=mdettweiler [2013-06-01 19:52:32] 605*2^1246474-1 is not prime. Res64: 6E86E68D1A4744C5 Time : 0.0 sec. user=mdettweiler [2013-06-01 20:02:36] 681*2^1246474-1 is not prime. Res64: 580A273352505153 Time : 0.0 sec. user=mdettweiler [2013-06-01 20:02:37] 701*2^1246474-1 is not prime. Res64: 7B7EE87EF7BFB917 Time : 0.0 sec. user=mdettweiler [2013-06-01 20:10:16] 723*2^1246474-1 is not prime. Res64: A6F31473982F3CDD Time : 0.0 sec. user=mdettweiler [2013-06-01 20:20:28] 803*2^1246474-1 is not prime. Res64: 0B37BBE2F4F95EE9 Time : 0.0 sec. user=mdettweiler [2013-06-01 20:20:28] 815*2^1246474-1 is not prime. Res64: 5015CAC0FBDA04D2 Time : 0.0 sec. user=mdettweiler [2013-06-01 20:38:37] 825*2^1246474-1 is not prime. Res64: B05FBBF18A4A9FBB Time : 0.0 sec. user=mdettweiler [2013-06-01 20:47:14] 755*2^1246474-1 is not prime. Res64: 7C8049D3C02E71F2 Time : 0.0 sec. user=mdettweiler [2013-06-01 21:06:09] 951*2^1246474-1 is not prime. Res64: A29C30B5E93DAFDD Time : 0.0 sec. user=mdettweiler [2013-06-01 21:06:10] 975*2^1246474-1 is not prime. Res64: 562CCF5F1010AC09 Time : 0.0 sec. user=mdettweiler [2013-06-01 21:08:40] 831*2^1246474-1 is not prime. Res64: 6DB510693E8C07BD Time : 0.0 sec. user=mdettweiler [2013-06-01 21:25:09] 987*2^1246474-1 is not prime. Res64: AEE9FFAAA37B72AB Time : 0.0 sec. user=mdettweiler [2013-06-01 21:25:10] 651*2^1246475-1 is not prime. Res64: 5EBFE7953BBC719B Time : 0.0 sec. user=mdettweiler [2013-06-01 21:27:14] 705*2^1246475-1 is not prime. Res64: C287D493CE37A9C5 Time : 0.0 sec. user=mdettweiler [2013-06-01 21:43:33] 909*2^1246475-1 is not prime. Res64: A31520B32245786D Time : 0.0 sec. user=mdettweiler [2013-06-01 21:54:35] 801*2^1246475-1 is not prime. Res64: A567CF94489D91D6 Time : 0.0 sec. user=mdettweiler [2013-06-01 22:13:05] 915*2^1246475-1 is not prime. Res64: 4E4C4D0375ABD2E9 Time : 0.0 sec. user=mdettweiler [2013-06-01 22:29:39] 913*2^1246475-1 is not prime. Res64: 2E93BE61579D9874 Time : 0.0 sec. user=mdettweiler [2013-06-01 22:47:23] 669*2^1246476-1 is not prime. Res64: 113A9F8D21579128 Time : 0.0 sec. user=mdettweiler [2013-06-01 22:50:52] 999*2^1246475-1 is not prime. Res64: FD52C7C4C663470B Time : 0.0 sec. user=mdettweiler [2013-06-01 23:09:37] 809*2^1246476-1 is not prime. Res64: 5AD245B745EDE3D5 Time : 0.0 sec. user=mdettweiler [2013-06-01 23:27:31] 879*2^1246476-1 is not prime. Res64: 8D1B6EF451349DFF Time : 0.0 sec. user=mdettweiler [2013-06-01 23:27:32] 887*2^1246476-1 is not prime. Res64: 4D906C284EC4705A Time : 0.0 sec. user=mdettweiler [2013-06-01 23:35:35] 909*2^1246476-1 is not prime. Res64: E7C4B099A7E889B1 Time : 0.0 sec. user=mdettweiler [2013-06-01 23:45:37] 607*2^1246477-1 is not prime. Res64: 815F00FD285AF298 Time : 0.0 sec.