user=mdettweiler [2013-07-16 00:02:11] 929*2^1247744-1 is not prime. Res64: A5CF4870C025EBE1 Time : 0.0 sec. user=mdettweiler [2013-07-16 00:02:12] 607*2^1247745-1 is not prime. Res64: C415094F55C78B8E Time : 0.0 sec. user=mdettweiler [2013-07-16 00:19:43] 717*2^1247745-1 is not prime. Res64: FA50B0D7308FB5C4 Time : 0.0 sec. user=mdettweiler [2013-07-16 00:19:43] 765*2^1247745-1 is not prime. Res64: AEBBD83E4B32E324 Time : 0.0 sec. user=vaughan [2013-07-16 00:25:52] 691*2^1247745-1 is not prime. Res64: 524F7CF1F4F28542 Time : 0.0 sec. user=mdettweiler [2013-07-16 00:37:14] 787*2^1247745-1 is not prime. Res64: 0CE996144C647788 Time : 0.0 sec. user=mdettweiler [2013-07-16 00:37:14] 805*2^1247745-1 is not prime. Res64: C2066631EE6FA021 Time : 0.0 sec. user=mdettweiler [2013-07-16 00:54:43] 915*2^1247745-1 is not prime. Res64: 4699D7560F2E425F Time : 0.0 sec. user=mdettweiler [2013-07-16 00:54:44] 949*2^1247745-1 is not prime. Res64: C2FC0F04469F69ED Time : 0.0 sec. user=vaughan [2013-07-16 01:08:44] 891*2^1247745-1 is not prime. Res64: 8B4182A6E0BA0C72 Time : 0.0 sec. user=mdettweiler [2013-07-16 01:12:13] 951*2^1247745-1 is not prime. Res64: 4C39E70C0A904DD2 Time : 0.0 sec. user=mdettweiler [2013-07-16 01:12:14] 657*2^1247746-1 is not prime. Res64: 9A9F383FF1DB70F0 Time : 0.0 sec. user=mdettweiler [2013-07-16 01:29:44] 755*2^1247746-1 is not prime. Res64: 2284953D7E2A01F1 Time : 0.0 sec. user=mdettweiler [2013-07-16 01:29:44] 773*2^1247746-1 is not prime. Res64: BDB73D96197839C3 Time : 0.0 sec. user=vaughan [2013-07-16 01:46:46] 675*2^1247746-1 is not prime. Res64: 50192F5D8ED8D7CF Time : 0.0 sec. user=mdettweiler [2013-07-16 01:47:13] 615*2^1247747-1 is not prime. Res64: DA7F10CE1CAB8681 Time : 0.0 sec. user=mdettweiler [2013-07-16 01:47:13] 705*2^1247747-1 is not prime. Res64: C352D44E0FBA3C3A Time : 0.0 sec. user=mdettweiler [2013-07-16 02:06:20] 979*2^1247747-1 is not prime. Res64: 2360391A56219D0B Time : 0.0 sec. user=mdettweiler [2013-07-16 02:06:21] 993*2^1247747-1 is not prime. Res64: 5C9498325BFB58A3 Time : 0.0 sec. user=mdettweiler [2013-07-16 02:23:53] 749*2^1247748-1 is not prime. Res64: FBA32833A9CA517E Time : 0.0 sec. user=mdettweiler [2013-07-16 02:23:53] 753*2^1247748-1 is not prime. Res64: 0E38947C1BFCD35E Time : 0.0 sec. user=vaughan [2013-07-16 02:29:37] 955*2^1247747-1 is not prime. Res64: 0E36E6E2A730DCC3 Time : 0.0 sec. user=mdettweiler [2013-07-16 02:41:25] 819*2^1247748-1 is not prime. Res64: 2FCAC31B3792E383 Time : 0.0 sec. user=mdettweiler [2013-07-16 02:41:26] 839*2^1247748-1 is not prime. Res64: 5EE56F14E9E0A8C2 Time : 0.0 sec. user=mdettweiler [2013-07-16 03:00:07] 947*2^1247748-1 is not prime. Res64: 289C47B9C53F57E6 Time : 0.0 sec. user=mdettweiler [2013-07-16 03:00:07] 977*2^1247748-1 is not prime. Res64: 44DB7171754BAF08 Time : 0.0 sec. user=vaughan [2013-07-16 03:12:27] 875*2^1247748-1 is not prime. Res64: E7A59F0695DDCE4B Time : 0.0 sec. user=mdettweiler [2013-07-16 03:17:54] 741*2^1247749-1 is not prime. Res64: D98EFE753341D92F Time : 0.0 sec. user=mdettweiler [2013-07-16 03:17:55] 757*2^1247749-1 is not prime. Res64: F1E5EE94AA8CE4D0 Time : 0.0 sec. user=mdettweiler [2013-07-16 03:35:25] 765*2^1247749-1 is not prime. Res64: 8BB1F266C824D925 Time : 0.0 sec. user=mdettweiler [2013-07-16 03:35:25] 769*2^1247749-1 is not prime. Res64: 956B771B5634FD02 Time : 0.0 sec. user=vaughan [2013-07-16 03:50:25] 759*2^1247749-1 is not prime. Res64: 3522E29C79BCC177 Time : 0.0 sec. user=mdettweiler [2013-07-16 03:52:57] 811*2^1247749-1 is not prime. Res64: C9445AAD09BE121E Time : 0.0 sec. user=mdettweiler [2013-07-16 03:52:57] 885*2^1247749-1 is not prime. Res64: 8A2D6A785DB4A1BE Time : 0.0 sec. user=mdettweiler [2013-07-16 04:11:15] 945*2^1247749-1 is not prime. Res64: 2D542092CB0CC08A Time : 0.0 sec. user=mdettweiler [2013-07-16 04:11:16] 979*2^1247749-1 is not prime. Res64: 42717B038F22617E Time : 0.0 sec. user=mdettweiler [2013-07-16 04:28:49] 755*2^1247750-1 is not prime. Res64: AD66A6AB9BA5E1EE Time : 0.0 sec. user=mdettweiler [2013-07-16 04:28:49] 773*2^1247750-1 is not prime. Res64: B37BECE00B2793F2 Time : 0.0 sec. user=vaughan [2013-07-16 04:33:17] 919*2^1247749-1 is not prime. Res64: F21685170ABD6D30 Time : 0.0 sec. user=mdettweiler [2013-07-16 04:47:08] 845*2^1247750-1 is not prime. Res64: D0D1FFBDDC640CB7 Time : 0.0 sec. user=mdettweiler [2013-07-16 04:47:08] 957*2^1247750-1 is not prime. Res64: 681CF2D80DDB2BA2 Time : 0.0 sec. user=mdettweiler [2013-07-16 05:04:39] 705*2^1247751-1 is not prime. Res64: 6FEAD77FF2A251FC Time : 0.0 sec. user=mdettweiler [2013-07-16 05:04:40] 745*2^1247751-1 is not prime. Res64: 3E9611653784BB23 Time : 0.0 sec. user=vaughan [2013-07-16 05:11:19] 679*2^1247751-1 is not prime. Res64: 2D440B529ADE9B6F Time : 0.0 sec. user=mdettweiler [2013-07-16 05:22:14] 871*2^1247751-1 is not prime. Res64: E23E7CB4B2A564B0 Time : 0.0 sec. user=mdettweiler [2013-07-16 05:22:14] 895*2^1247751-1 is not prime. Res64: 929030A97123EA51 Time : 0.0 sec. user=mdettweiler [2013-07-16 05:39:43] 639*2^1247752-1 is not prime. Res64: 9089CFB9FB4EA384 Time : 0.0 sec. user=mdettweiler [2013-07-16 05:39:43] 665*2^1247752-1 is not prime. Res64: 89B300E264897ADE Time : 0.0 sec. user=vaughan [2013-07-16 05:54:12] 943*2^1247751-1 is not prime. Res64: EAA3DBD049D94D40 Time : 0.0 sec. user=mdettweiler [2013-07-16 05:57:12] 687*2^1247752-1 is not prime. Res64: D6AD256663C78174 Time : 0.0 sec. user=mdettweiler [2013-07-16 05:57:12] 755*2^1247752-1 is not prime. Res64: 07185A767E2D59BA Time : 0.0 sec. user=mdettweiler [2013-07-16 06:14:41] 863*2^1247752-1 is not prime. Res64: 8AE7368CC57F7FA2 Time : 0.0 sec. user=mdettweiler [2013-07-16 06:14:41] 909*2^1247752-1 is not prime. Res64: 89AC5FC86FDE8D2A Time : 0.0 sec. user=vaughan [2013-07-16 06:32:11] 827*2^1247752-1 is not prime. Res64: 8C659C037F7C2B34 Time : 0.0 sec. user=mdettweiler [2013-07-16 06:32:14] 939*2^1247752-1 is not prime. Res64: BCAE42CEB9FE111E Time : 0.0 sec. user=mdettweiler [2013-07-16 06:32:15] 649*2^1247753-1 is not prime. Res64: 40CFF470DDE75B28 Time : 0.0 sec. user=mdettweiler [2013-07-16 06:49:59] 699*2^1247753-1 is not prime. Res64: E6315C98F720EB85 Time : 0.0 sec. user=mdettweiler [2013-07-16 06:49:59] 721*2^1247753-1 is not prime. Res64: A2C45446162E8472 Time : 0.0 sec. user=mdettweiler [2013-07-16 07:07:55] 795*2^1247753-1 is not prime. Res64: A2BB751FAF975476 Time : 0.0 sec. user=mdettweiler [2013-07-16 07:07:56] 847*2^1247753-1 is not prime. Res64: D91FA7590A5DAB42 Time : 0.0 sec. user=vaughan [2013-07-16 07:10:07] 675*2^1247753-1 is not prime. Res64: 99793D45438E1BB0 Time : 0.0 sec. user=mdettweiler [2013-07-16 07:26:47] 967*2^1247753-1 is not prime. Res64: B0276D328F6C660A Time : 0.0 sec. user=mdettweiler [2013-07-16 07:26:48] 657*2^1247754-1 is not prime. Res64: 29AB7B2612DBF5B0 Time : 0.0 sec. user=mdettweiler [2013-07-16 07:44:22] 741*2^1247754-1 is not prime. Res64: 682814B5D84FEF72 Time : 0.0 sec. user=mdettweiler [2013-07-16 07:44:23] 747*2^1247754-1 is not prime. Res64: BE7F75AA978ACF5F Time : 0.0 sec. user=vaughan [2013-07-16 07:48:04] 731*2^1247754-1 is not prime. Res64: 5C700C74F0AC0121 Time : 0.0 sec. user=mdettweiler [2013-07-16 08:02:03] 791*2^1247754-1 is not prime. Res64: B0D84AB5DB7D1CAF Time : 0.0 sec. user=mdettweiler [2013-07-16 08:02:03] 807*2^1247754-1 is not prime. Res64: 06B2D153B29DED80 Time : 0.0 sec. user=mdettweiler [2013-07-16 08:20:58] 947*2^1247754-1 is not prime. Res64: C5988B35C2E0ADA5 Time : 0.0 sec. user=mdettweiler [2013-07-16 08:20:58] 983*2^1247754-1 is not prime. Res64: 3298731D37179044 Time : 0.0 sec. user=vaughan [2013-07-16 08:26:10] 851*2^1247754-1 is not prime. Res64: A88F0AF02A111312 Time : 0.0 sec. user=mdettweiler [2013-07-16 08:40:26] 993*2^1247754-1 is not prime. Res64: E893E396029C7314 Time : 0.0 sec. user=mdettweiler [2013-07-16 08:40:27] 1001*2^1247754-1 is not prime. Res64: A7E36EAE9AB42F9E Time : 0.0 sec. user=mdettweiler [2013-07-16 08:58:02] 619*2^1247755-1 is not prime. Res64: 20C638D00058343A Time : 0.0 sec. user=mdettweiler [2013-07-16 08:58:03] 685*2^1247755-1 is not prime. Res64: 113D901C98073FCF Time : 0.0 sec. user=vaughan [2013-07-16 09:04:08] 603*2^1247755-1 is not prime. Res64: 8003AE53F84512AE Time : 0.0 sec. user=mdettweiler [2013-07-16 09:15:34] 699*2^1247755-1 is not prime. Res64: BB119F41759CF5C4 Time : 0.0 sec. user=mdettweiler [2013-07-16 09:15:34] 751*2^1247755-1 is not prime. Res64: AE142CFAD2AD64C3 Time : 0.0 sec. user=mdettweiler [2013-07-16 09:33:06] 913*2^1247755-1 is not prime. Res64: 84791F4A9C874E0F Time : 0.0 sec. user=mdettweiler [2013-07-16 09:33:06] 603*2^1247756-1 is not prime. Res64: D4072438492087D2 Time : 0.0 sec. user=vaughan [2013-07-16 09:42:07] 789*2^1247755-1 is not prime. Res64: 18E27889C6B649A4 Time : 0.0 sec. user=mdettweiler [2013-07-16 09:50:39] 659*2^1247756-1 is not prime. Res64: 04F85393DD78E26C Time : 0.0 sec. user=mdettweiler [2013-07-16 09:50:39] 683*2^1247756-1 is not prime. Res64: 7FC6AE73AC36D3E4 Time : 0.0 sec. user=mdettweiler [2013-07-16 10:08:11] 843*2^1247756-1 is not prime. Res64: AB6889DF0403A993 Time : 0.0 sec. user=mdettweiler [2013-07-16 10:08:13] 855*2^1247756-1 is not prime. Res64: 78BA0BF136D36EB1 Time : 0.0 sec. user=vaughan [2013-07-16 10:20:07] 693*2^1247756-1 is not prime. Res64: 4319DF288914AF84 Time : 0.0 sec. user=mdettweiler [2013-07-16 10:25:47] 893*2^1247756-1 is not prime. Res64: 440207661A7C4CF4 Time : 0.0 sec. user=mdettweiler [2013-07-16 10:25:48] 649*2^1247757-1 is not prime. Res64: 853DACE8AA2FED24 Time : 0.0 sec. user=mdettweiler [2013-07-16 10:43:19] 765*2^1247757-1 is not prime. Res64: A53EFF4442B9F2DE Time : 0.0 sec. user=mdettweiler [2013-07-16 10:43:19] 837*2^1247757-1 is not prime. Res64: D8A59E4A94C4E772 Time : 0.0 sec. user=vaughan [2013-07-16 10:58:04] 655*2^1247757-1 is not prime. Res64: 4503E89F249A889C Time : 0.0 sec. user=mdettweiler [2013-07-16 11:00:55] 871*2^1247757-1 is not prime. Res64: 0A0AD5907E9A8680 Time : 0.0 sec. user=mdettweiler [2013-07-16 11:00:56] 773*2^1247758-1 is not prime. Res64: CFA9D17CBE0D7C7E Time : 0.0 sec. user=mdettweiler [2013-07-16 11:18:28] 923*2^1247758-1 is not prime. Res64: EEB59A547F9D8B96 Time : 0.0 sec. user=mdettweiler [2013-07-16 11:18:28] 941*2^1247758-1 is not prime. Res64: F9DD1987E5989206 Time : 0.0 sec. user=mdettweiler [2013-07-16 11:36:20] 945*2^1247758-1 is not prime. Res64: 9A4DC0E542BD979F Time : 0.0 sec. user=mdettweiler [2013-07-16 11:36:20] 957*2^1247758-1 is not prime. Res64: 7C7504D897EBCF32 Time : 0.0 sec. user=vaughan [2013-07-16 11:40:54] 891*2^1247758-1 is not prime. Res64: D8EC91202F48515E Time : 0.0 sec. user=mdettweiler [2013-07-16 11:54:58] 987*2^1247758-1 is not prime. Res64: 4FE80211BAEDF98C Time : 0.0 sec. user=mdettweiler [2013-07-16 11:54:59] 1001*2^1247758-1 is not prime. Res64: 3E0731CAE0C5C925 Time : 0.0 sec. user=mdettweiler [2013-07-16 12:12:01] 745*2^1247759-1 is not prime. Res64: 426CBD907ED7274E Time : 0.0 sec. user=mdettweiler [2013-07-16 12:12:01] 829*2^1247759-1 is not prime. Res64: AF9C4C9DCFDDEAC5 Time : 0.0 sec. user=vaughan [2013-07-16 12:18:52] 711*2^1247759-1 is not prime. Res64: 4B0A070094176A96 Time : 0.0 sec. user=mdettweiler [2013-07-16 12:29:04] 861*2^1247759-1 is not prime. Res64: 13B2AB407BEC9C6F Time : 0.0 sec. user=mdettweiler [2013-07-16 12:29:05] 885*2^1247759-1 is not prime. Res64: 2C47C6606AF821F7 Time : 0.0 sec. user=mdettweiler [2013-07-16 12:46:07] 695*2^1247760-1 is not prime. Res64: E8D49454E64867FC Time : 0.0 sec. user=mdettweiler [2013-07-16 12:46:07] 707*2^1247760-1 is not prime. Res64: 317A71C3CE69EFF6 Time : 0.0 sec. user=vaughan [2013-07-16 12:56:51] 689*2^1247760-1 is not prime. Res64: 18011029DEAEE8B5 Time : 0.0 sec. user=mdettweiler [2013-07-16 13:03:10] 917*2^1247760-1 is not prime. Res64: 76D07FF1B843B6F1 Time : 0.0 sec. user=mdettweiler [2013-07-16 13:03:12] 927*2^1247760-1 is not prime. Res64: 2CEBAC20542D334B Time : 0.0 sec. user=mdettweiler [2013-07-16 13:20:15] 619*2^1247761-1 is not prime. Res64: D326712C42F3F5BA Time : 0.0 sec. user=mdettweiler [2013-07-16 13:20:15] 835*2^1247761-1 is not prime. Res64: 4B709F38413A0E6A Time : 0.0 sec. user=mdettweiler [2013-07-16 13:37:25] 847*2^1247761-1 is not prime. Res64: C70004FB73EE6F5B Time : 0.0 sec. user=mdettweiler [2013-07-16 13:37:25] 945*2^1247761-1 is not prime. Res64: 4F8883DD414263D6 Time : 0.0 sec. user=vaughan [2013-07-16 13:39:42] 983*2^1247760-1 is not prime. Res64: AE7E4619ED1DF0EA Time : 0.0 sec. user=mdettweiler [2013-07-16 13:56:03] 955*2^1247761-1 is not prime. Res64: 1C7A4415E83126D7 Time : 0.0 sec. user=mdettweiler [2013-07-16 13:56:04] 957*2^1247761-1 is not prime. Res64: 73F8BC9B55442A8D Time : 0.0 sec. user=mdettweiler [2013-07-16 14:13:06] 703*2^1247763-1 is not prime. Res64: 3EBDDC5FB07EF6BF Time : 0.0 sec. user=mdettweiler [2013-07-16 14:13:06] 795*2^1247763-1 is not prime. Res64: 299FAC97A852239E Time : 0.0 sec. user=vaughan [2013-07-16 14:17:41] 613*2^1247763-1 is not prime. Res64: F13D1120EA877CC4 Time : 0.0 sec. user=mdettweiler [2013-07-16 14:30:09] 805*2^1247763-1 is not prime. Res64: F6087ADF6693B828 Time : 0.0 sec. user=mdettweiler [2013-07-16 14:30:10] 823*2^1247763-1 is not prime. Res64: 8AF006AC5DE72852 Time : 0.0 sec. user=mdettweiler [2013-07-16 14:47:59] 859*2^1247763-1 is not prime. Res64: 1737B6AD4235D49F Time : 0.0 sec. user=mdettweiler [2013-07-16 14:48:00] 985*2^1247763-1 is not prime. Res64: E0198E40AC776FA6 Time : 0.0 sec. user=vaughan [2013-07-16 14:55:37] 835*2^1247763-1 is not prime. Res64: 1699389C9DA1F589 Time : 0.0 sec. user=mdettweiler [2013-07-16 15:05:02] 657*2^1247764-1 is not prime. Res64: D8699D0D6352102A Time : 0.0 sec. user=mdettweiler [2013-07-16 15:05:03] 675*2^1247764-1 is not prime. Res64: F6E0437107FFAEE0 Time : 0.0 sec. user=mdettweiler [2013-07-16 15:22:06] 693*2^1247764-1 is not prime. Res64: 06AFA2FA0074E70A Time : 0.0 sec. user=mdettweiler [2013-07-16 15:22:07] 915*2^1247764-1 is not prime. Res64: 8EE10DB882C5391B Time : 0.0 sec. user=vaughan [2013-07-16 15:33:33] 677*2^1247764-1 is not prime. Res64: 8A7F7F71EA93BFF2 Time : 0.0 sec. user=mdettweiler [2013-07-16 15:39:57] 993*2^1247764-1 is not prime. Res64: 9A339DC28B033AE3 Time : 0.0 sec. user=mdettweiler [2013-07-16 15:39:57] 721*2^1247765-1 is not prime. Res64: 7739DDDB6FDF7965 Time : 0.0 sec. user=mdettweiler [2013-07-16 15:56:58] 611*2^1247766-1 is not prime. Res64: 53018518122236D5 Time : 0.0 sec. user=mdettweiler [2013-07-16 15:56:58] 641*2^1247766-1 is not prime. Res64: D121FC0B9E821D97 Time : 0.0 sec. user=vaughan [2013-07-16 16:11:29] 729*2^1247765-1 is not prime. Res64: 3A201ED106C456C4 Time : 0.0 sec. user=mdettweiler [2013-07-16 16:14:00] 713*2^1247766-1 is not prime. Res64: DEB6E672A4B5B247 Time : 0.0 sec. user=mdettweiler [2013-07-16 16:14:01] 795*2^1247766-1 is not prime. Res64: FE42DD7DA6EB527F Time : 0.0 sec. user=mdettweiler [2013-07-16 16:31:02] 843*2^1247766-1 is not prime. Res64: CF0EFBD6AAE36C34 Time : 0.0 sec. user=mdettweiler [2013-07-16 16:31:03] 891*2^1247766-1 is not prime. Res64: 326A9A7023745F42 Time : 0.0 sec. user=mdettweiler [2013-07-16 16:48:04] 917*2^1247766-1 is not prime. Res64: F528CFE43F890165 Time : 0.0 sec. user=mdettweiler [2013-07-16 16:48:05] 945*2^1247766-1 is not prime. Res64: D97394E771F508F7 Time : 0.0 sec. user=vaughan [2013-07-16 16:49:28] 801*2^1247766-1 is not prime. Res64: 9D511DBCFF0E78F8 Time : 0.0 sec. user=mdettweiler [2013-07-16 17:06:43] 971*2^1247766-1 is not prime. Res64: C0F0B554881015DB Time : 0.0 sec. user=mdettweiler [2013-07-16 17:06:44] 1001*2^1247766-1 is not prime. Res64: 70F28C498AC7FDD6 Time : 0.0 sec. user=mdettweiler [2013-07-16 17:23:50] 735*2^1247767-1 is not prime. Res64: E08BD11FA5C3BB84 Time : 0.0 sec. user=mdettweiler [2013-07-16 17:23:51] 873*2^1247767-1 is not prime. Res64: FDBCC3C2E2EFE81B Time : 0.0 sec. user=vaughan [2013-07-16 17:27:24] 639*2^1247767-1 is not prime. Res64: 0F41FA7D92C79359 Time : 0.0 sec. user=mdettweiler [2013-07-16 17:40:52] 617*2^1247768-1 is not prime. Res64: 130050308558F919 Time : 0.0 sec. user=mdettweiler [2013-07-16 17:40:53] 657*2^1247768-1 is not prime. Res64: EB25C691B2335BE5 Time : 0.0 sec. user=mdettweiler [2013-07-16 17:57:54] 743*2^1247768-1 is not prime. Res64: D5E30A27FB3C5099 Time : 0.0 sec. user=mdettweiler [2013-07-16 17:57:55] 795*2^1247768-1 is not prime. Res64: 0430AE6B34351608 Time : 0.0 sec. user=vaughan [2013-07-16 18:05:31] 725*2^1247768-1 is not prime. Res64: 46B1144E91E3FFAE Time : 0.0 sec. user=mdettweiler [2013-07-16 18:15:32] 813*2^1247768-1 is not prime. Res64: 0FEC7493B2B87A65 Time : 0.0 sec. user=mdettweiler [2013-07-16 18:15:32] 819*2^1247768-1 is not prime. Res64: B16FC24D0BB10AD1 Time : 0.0 sec. user=mdettweiler [2013-07-16 18:33:15] 879*2^1247768-1 is not prime. Res64: 1A66DE1CF3307A6C Time : 0.0 sec. user=mdettweiler [2013-07-16 18:33:15] 945*2^1247768-1 is not prime. Res64: 3CF908EE192A2088 Time : 0.0 sec. user=vaughan [2013-07-16 18:43:34] 837*2^1247768-1 is not prime. Res64: 1CAE29DA9CCBB5FC Time : 0.0 sec. user=mdettweiler [2013-07-16 18:51:45] 995*2^1247768-1 is not prime. Res64: 9DD0F8C052B878EA Time : 0.0 sec. user=mdettweiler [2013-07-16 18:51:45] 675*2^1247769-1 is not prime. Res64: C01E219F860E876D Time : 0.0 sec. user=mdettweiler [2013-07-16 19:09:33] 831*2^1247770-1 is not prime. Res64: 315E6855C969B777 Time : 0.0 sec. user=mdettweiler [2013-07-16 19:09:35] 833*2^1247770-1 is not prime. Res64: DF1112760BA53C2B Time : 0.0 sec. user=vaughan [2013-07-16 19:21:31] 787*2^1247769-1 is not prime. Res64: 9C4BEAF8BE6C8599 Time : 0.0 sec. user=mdettweiler [2013-07-16 19:27:44] 857*2^1247770-1 is not prime. Res64: 2CF294B1D375B767 Time : 0.0 sec. user=mdettweiler [2013-07-16 19:27:44] 887*2^1247770-1 is not prime. Res64: C36D3FEA87042C6F Time : 0.0 sec. user=mdettweiler [2013-07-16 19:46:41] 1001*2^1247770-1 is not prime. Res64: C0707DE698F767F6 Time : 0.0 sec. user=mdettweiler [2013-07-16 19:46:41] 619*2^1247771-1 is not prime. Res64: 3CBF184C7E38E5A8 Time : 0.0 sec. user=vaughan [2013-07-16 20:04:19] 981*2^1247770-1 is not prime. Res64: 13DB2ECAFE5A86E9 Time : 0.0 sec. user=mdettweiler [2013-07-16 20:04:47] 621*2^1247771-1 is not prime. Res64: F1F2D9F09629313A Time : 0.0 sec. user=mdettweiler [2013-07-16 20:04:48] 733*2^1247771-1 is not prime. Res64: 27DA816E2696B885 Time : 0.0 sec. user=mdettweiler [2013-07-16 20:22:44] 789*2^1247771-1 is not prime. Res64: 60D71E694ED69068 Time : 0.0 sec. user=mdettweiler [2013-07-16 20:22:44] 811*2^1247771-1 is not prime. Res64: B9A88DEBB4E746F6 Time : 0.0 sec. user=mdettweiler [2013-07-16 20:40:20] 855*2^1247771-1 is not prime. Res64: F1B7224F2D018E9B Time : 0.0 sec. user=mdettweiler [2013-07-16 20:40:21] 883*2^1247771-1 is not prime. Res64: 6FB2BDC670A568E1 Time : 0.0 sec. user=vaughan [2013-07-16 20:42:22] 781*2^1247771-1 is not prime. Res64: 51783CDAE2027D1C Time : 0.0 sec. user=mdettweiler [2013-07-16 20:57:29] 605*2^1247772-1 is not prime. Res64: 5CC52127C483886F Time : 0.0 sec. user=mdettweiler [2013-07-16 20:57:30] 629*2^1247772-1 is not prime. Res64: B775BEA663D0200A Time : 0.0 sec. user=mdettweiler [2013-07-16 21:14:31] 647*2^1247772-1 is not prime. Res64: 955F61063744C575 Time : 0.0 sec. user=mdettweiler [2013-07-16 21:14:32] 695*2^1247772-1 is not prime. Res64: FA18C12308E96DD4 Time : 0.0 sec. user=vaughan [2013-07-16 21:20:22] 633*2^1247772-1 is not prime. Res64: 7109D9AD60785EE4 Time : 0.0 sec. user=mdettweiler [2013-07-16 21:32:22] 825*2^1247772-1 is not prime. Res64: BF1AFB93B060B400 Time : 0.0 sec. user=mdettweiler [2013-07-16 21:32:23] 999*2^1247772-1 is not prime. Res64: 73D95D2FB558E4EA Time : 0.0 sec. user=mdettweiler [2013-07-16 21:49:25] 617*2^1247774-1 is not prime. Res64: 11D1F21F9AF71A69 Time : 0.0 sec. user=mdettweiler [2013-07-16 21:49:26] 623*2^1247774-1 is not prime. Res64: 4D3E1D8EDC1BA817 Time : 0.0 sec. user=vaughan [2013-07-16 21:58:19] 829*2^1247773-1 is not prime. Res64: C1FD0132FDADF45A Time : 0.0 sec. user=mdettweiler [2013-07-16 22:06:28] 753*2^1247774-1 is not prime. Res64: EF20A9B74BA56FAD Time : 0.0 sec. user=mdettweiler [2013-07-16 22:06:29] 831*2^1247774-1 is not prime. Res64: DD0C61D51D7787BB Time : 0.0 sec. user=mdettweiler [2013-07-16 22:23:35] 685*2^1247775-1 is not prime. Res64: 3334D8508BD6AA18 Time : 0.0 sec. user=mdettweiler [2013-07-16 22:23:36] 691*2^1247775-1 is not prime. Res64: 7ED4DAB9F0782BA2 Time : 0.0 sec. user=vaughan [2013-07-16 22:36:15] 861*2^1247774-1 is not prime. Res64: DA610A15954951B2 Time : 0.0 sec. user=mdettweiler [2013-07-16 22:40:38] 829*2^1247775-1 is not prime. Res64: B6A1A779F3A640A0 Time : 0.0 sec. user=mdettweiler [2013-07-16 22:40:39] 871*2^1247775-1 is not prime. Res64: 1FA51DD612B756A3 Time : 0.0 sec. user=mdettweiler [2013-07-16 22:57:40] 603*2^1247776-1 is not prime. Res64: 32398D3D31E9B58A Time : 0.0 sec. user=mdettweiler [2013-07-16 22:57:41] 645*2^1247776-1 is not prime. Res64: E1B5D082608F32C6 Time : 0.0 sec. user=mdettweiler [2013-07-16 23:14:43] 657*2^1247776-1 is not prime. Res64: AC6D102231655424 Time : 0.0 sec. user=mdettweiler [2013-07-16 23:14:44] 747*2^1247776-1 is not prime. Res64: 88DA6A6D94BBC042 Time : 0.0 sec. user=vaughan [2013-07-16 23:19:07] 895*2^1247775-1 is not prime. Res64: AA839D1819CA09F8 Time : 0.0 sec. user=mdettweiler [2013-07-16 23:31:46] 869*2^1247776-1 is not prime. Res64: EB8693AC0B9EE350 Time : 0.0 sec. user=mdettweiler [2013-07-16 23:31:47] 909*2^1247776-1 is not prime. Res64: E08D62465781FA07 Time : 0.0 sec. user=mdettweiler [2013-07-16 23:48:52] 651*2^1247777-1 is not prime. Res64: 3D992E87B54CEBC3 Time : 0.0 sec. user=mdettweiler [2013-07-16 23:48:52] 669*2^1247777-1 is not prime. Res64: D1BA8DCE6EF3B39B Time : 0.0 sec. user=vaughan [2013-07-16 23:57:10] 631*2^1247777-1 is not prime. Res64: F3CB6CFF0F1813C5 Time : 0.0 sec.