user=mdettweiler [2013-01-16 00:10:31] 933*2^1239343-1 is not prime. Res64: FA5E2AD9B940DDD5 Time : 0.0 sec. user=mdettweiler [2013-01-16 00:10:34] 999*2^1239343-1 is not prime. Res64: 2BD838D3524CE678 Time : 0.0 sec. user=mdettweiler [2013-01-16 00:10:36] 609*2^1239344-1 is not prime. Res64: 95FADCA5BA0A7701 Time : 0.0 sec. user=mdettweiler [2013-01-16 00:10:37] 675*2^1239344-1 is not prime. Res64: F3A48943D7A0E034 Time : 0.0 sec. user=mdettweiler [2013-01-16 00:28:09] 725*2^1239344-1 is not prime. Res64: 3A9B0DE961366264 Time : 0.0 sec. user=mdettweiler [2013-01-16 00:28:11] 773*2^1239344-1 is not prime. Res64: AC3DEF12D4284FCF Time : 0.0 sec. user=mdettweiler [2013-01-16 00:28:15] 649*2^1239345-1 is not prime. Res64: CC1EF9338EF6967B Time : 0.0 sec. user=mdettweiler [2013-01-16 00:28:16] 699*2^1239345-1 is not prime. Res64: F47A7C75950A29AC Time : 0.0 sec. user=mdettweiler [2013-01-16 00:46:01] 727*2^1239345-1 is not prime. Res64: 345694386F41E154 Time : 0.0 sec. user=mdettweiler [2013-01-16 00:46:01] 819*2^1239345-1 is not prime. Res64: F0C415AA5309D61A Time : 0.0 sec. user=mdettweiler [2013-01-16 00:46:05] 847*2^1239345-1 is not prime. Res64: 91BE17FB657CA1F5 Time : 0.0 sec. user=mdettweiler [2013-01-16 00:46:05] 937*2^1239345-1 is not prime. Res64: A26B697D7C43E74C Time : 0.0 sec. user=mdettweiler [2013-01-16 01:03:42] 969*2^1239345-1 is not prime. Res64: 7758C8C1ECF722F9 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:03:43] 623*2^1239346-1 is not prime. Res64: 065E63710728B14C Time : 0.0 sec. user=mdettweiler [2013-01-16 01:03:46] 645*2^1239346-1 is not prime. Res64: D6AB725A0ED181B2 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:03:47] 987*2^1239346-1 is not prime. Res64: 675FF24EAF9158EB Time : 0.0 sec. user=mdettweiler [2013-01-16 01:21:12] 621*2^1239347-1 is not prime. Res64: 874AA714D47CE55F Time : 0.0 sec. user=mdettweiler [2013-01-16 01:21:12] 675*2^1239347-1 is not prime. Res64: E6CF58A034B2BCD2 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:21:15] 733*2^1239347-1 is not prime. Res64: 1962213862DC19C9 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:21:16] 735*2^1239347-1 is not prime. Res64: 4C8092D5987063A8 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:38:33] 799*2^1239347-1 is not prime. Res64: 0F77A502B4851969 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:38:34] 823*2^1239347-1 is not prime. Res64: DF60A3ACA5C38019 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:38:35] 657*2^1239348-1 is not prime. Res64: 7FA8F234BDB1BF66 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:38:36] 723*2^1239348-1 is not prime. Res64: F7087E9B31FA40F8 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:55:53] 753*2^1239348-1 is not prime. Res64: E376F519D8C72D04 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:55:53] 845*2^1239348-1 is not prime. Res64: 5B250426CA8ABCA7 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:55:55] 977*2^1239348-1 is not prime. Res64: 473470A577B318D3 Time : 0.0 sec. user=mdettweiler [2013-01-16 01:55:56] 721*2^1239349-1 is not prime. Res64: 651926E2457DE2E0 Time : 0.0 sec. user=mdettweiler [2013-01-16 02:13:10] 747*2^1239349-1 is not prime. Res64: FA6BB724EC582D12 Time : 0.0 sec. user=mdettweiler [2013-01-16 02:13:11] 867*2^1239349-1 is not prime. Res64: B49C21DD4B6DD985 Time : 0.0 sec. user=mdettweiler [2013-01-16 02:13:14] 945*2^1239349-1 is not prime. Res64: 703447A98DAFE144 Time : 0.0 sec. user=mdettweiler [2013-01-16 02:13:15] 645*2^1239350-1 is not prime. Res64: 6D7387C219262D94 Time : 0.0 sec. user=mdettweiler [2013-01-16 02:30:37] 671*2^1239350-1 is not prime. Res64: 26F2BA5E512D9898 Time : 0.0 sec. user=mdettweiler [2013-01-16 02:30:39] 923*2^1239350-1 is not prime. Res64: EDABDDDF9FD83D87 Time : 0.0 sec. user=mdettweiler [2013-01-16 02:30:40] 743*2^1239350-1 is not prime. Res64: E23BB16074173EF5 Time : 0.0 sec. user=mdettweiler [2013-01-16 02:30:41] 987*2^1239350-1 is not prime. Res64: F6E29E76E6B3E8D3 Time : 0.0 sec. user=mdettweiler [2013-01-16 02:48:04] 669*2^1239351-1 is not prime. Res64: 4B9A157E322D901C Time : 0.0 sec. user=mdettweiler [2013-01-16 02:48:08] 723*2^1239351-1 is not prime. Res64: 8C1F0D8B3FF38A27 Time : 0.0 sec. user=mdettweiler [2013-01-16 02:48:12] 781*2^1239351-1 is not prime. Res64: 86CED74FD1BFEDA7 Time : 0.0 sec. user=mdettweiler [2013-01-16 03:05:54] 873*2^1239351-1 is not prime. Res64: 292CFD0BC6EE0F8C Time : 0.0 sec. user=mdettweiler [2013-01-16 03:05:55] 931*2^1239351-1 is not prime. Res64: E4D334314C7B87AC Time : 0.0 sec. user=mdettweiler [2013-01-16 03:07:51] 783*2^1239351-1 is not prime. Res64: 2A13E3E8F414EE7B Time : 0.0 sec. user=mdettweiler [2013-01-16 03:23:22] 945*2^1239351-1 is not prime. Res64: FDB6FE34324AAF8D Time : 0.0 sec. user=mdettweiler [2013-01-16 03:23:23] 951*2^1239351-1 is not prime. Res64: 20EE5B1EBD3B0BD7 Time : 0.0 sec. user=mdettweiler [2013-01-16 03:25:09] 629*2^1239352-1 is not prime. Res64: 4EECB705A55B42E0 Time : 0.0 sec. user=mdettweiler [2013-01-16 03:25:09] 675*2^1239352-1 is not prime. Res64: B053A274D7463865 Time : 0.0 sec. user=mdettweiler [2013-01-16 03:40:44] 677*2^1239352-1 is not prime. Res64: BE0CC396138A1F7C Time : 0.0 sec. user=mdettweiler [2013-01-16 03:40:44] 765*2^1239352-1 is not prime. Res64: C7E37BEB9BA523C5 Time : 0.0 sec. user=mdettweiler [2013-01-16 03:42:29] 827*2^1239352-1 is not prime. Res64: B8065BA158CA6110 Time : 0.0 sec. user=mdettweiler [2013-01-16 03:42:30] 873*2^1239352-1 is not prime. Res64: 2A761CBB2C12F52D Time : 0.0 sec. user=mdettweiler [2013-01-16 03:58:05] 607*2^1239353-1 is not prime. Res64: 024358BB9DEF0964 Time : 0.0 sec. user=mdettweiler [2013-01-16 03:58:05] 675*2^1239353-1 is not prime. Res64: 7BBAA776ED796055 Time : 0.0 sec. user=mdettweiler [2013-01-16 03:59:49] 721*2^1239353-1 is not prime. Res64: 7953C3AA3A8704E2 Time : 0.0 sec. user=mdettweiler [2013-01-16 03:59:50] 727*2^1239353-1 is not prime. Res64: F108E242C6F3E4A3 Time : 0.0 sec. user=mdettweiler [2013-01-16 04:15:24] 831*2^1239353-1 is not prime. Res64: F63E6CAFC8BF8B72 Time : 0.0 sec. user=mdettweiler [2013-01-16 04:15:25] 855*2^1239353-1 is not prime. Res64: 26BFE97820219A76 Time : 0.0 sec. user=mdettweiler [2013-01-16 04:17:10] 867*2^1239353-1 is not prime. Res64: 2D3F790D68EFF030 Time : 0.0 sec. user=mdettweiler [2013-01-16 04:17:11] 985*2^1239353-1 is not prime. Res64: 283FCD01B2CC053C Time : 0.0 sec. user=mdettweiler [2013-01-16 04:32:44] 605*2^1239354-1 is not prime. Res64: EA200D2594A766F8 Time : 0.0 sec. user=mdettweiler [2013-01-16 04:32:46] 663*2^1239354-1 is not prime. Res64: 09DC24DAED46257E Time : 0.0 sec. user=mdettweiler [2013-01-16 04:34:28] 681*2^1239354-1 is not prime. Res64: 8E915B4B37BBAFE3 Time : 0.0 sec. user=mdettweiler [2013-01-16 04:34:31] 767*2^1239354-1 is not prime. Res64: AC95B0488EC20B41 Time : 0.0 sec. user=mdettweiler [2013-01-16 04:50:22] 923*2^1239354-1 is not prime. Res64: 548C6B1AACBF4DA9 Time : 0.0 sec. user=mdettweiler [2013-01-16 04:50:23] 993*2^1239354-1 is not prime. Res64: 518AA88E1B4E28B3 Time : 0.0 sec. user=mdettweiler [2013-01-16 04:51:55] 645*2^1239355-1 is not prime. Res64: 69F858878B225BF3 Time : 0.0 sec. user=mdettweiler [2013-01-16 04:51:56] 649*2^1239355-1 is not prime. Res64: 66D9AA35A3C93C5A Time : 0.0 sec. user=mdettweiler [2013-01-16 05:07:42] 663*2^1239355-1 is not prime. Res64: E59A8F9186535F5A Time : 0.0 sec. user=mdettweiler [2013-01-16 05:07:43] 741*2^1239355-1 is not prime. Res64: B454C46427870468 Time : 0.0 sec. user=mdettweiler [2013-01-16 05:09:15] 793*2^1239355-1 is not prime. Res64: 3047A3BDBF1AFC7B Time : 0.0 sec. user=mdettweiler [2013-01-16 05:09:15] 853*2^1239355-1 is not prime. Res64: F9AA1FA0F2CB1F96 Time : 0.0 sec. user=mdettweiler [2013-01-16 05:25:11] 915*2^1239355-1 is not prime. Res64: 7744F71DAF7D8BC9 Time : 0.0 sec. user=mdettweiler [2013-01-16 05:25:11] 617*2^1239356-1 is not prime. Res64: CCB11054D3509007 Time : 0.0 sec. user=mdettweiler [2013-01-16 05:26:35] 623*2^1239356-1 is not prime. Res64: 89AC45FA34111002 Time : 0.0 sec. user=mdettweiler [2013-01-16 05:26:36] 707*2^1239356-1 is not prime. Res64: 886AF753476BC4D1 Time : 0.0 sec. user=mdettweiler [2013-01-16 05:42:33] 725*2^1239356-1 is not prime. Res64: 2F4471E84DF4B086 Time : 0.0 sec. user=mdettweiler [2013-01-16 05:42:33] 743*2^1239356-1 is not prime. Res64: 1D4B73F64419F386 Time : 0.0 sec. user=mdettweiler [2013-01-16 05:43:56] 833*2^1239356-1 is not prime. Res64: 607BD062252E08B1 Time : 0.0 sec. user=mdettweiler [2013-01-16 05:43:57] 655*2^1239357-1 is not prime. Res64: C820679EF89C1A6A Time : 0.0 sec. user=mdettweiler [2013-01-16 05:59:53] 685*2^1239357-1 is not prime. Res64: 227E218BF5E9E903 Time : 0.0 sec. user=mdettweiler [2013-01-16 05:59:54] 741*2^1239357-1 is not prime. Res64: 59191960395A125F Time : 0.0 sec. user=mdettweiler [2013-01-16 06:01:16] 747*2^1239357-1 is not prime. Res64: 6315D5F9B4BDDA17 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:01:17] 781*2^1239357-1 is not prime. Res64: C383287FE6C69C73 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:17:13] 825*2^1239357-1 is not prime. Res64: 936A08DF039B4DC7 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:17:14] 885*2^1239357-1 is not prime. Res64: 22511C0B587E5D20 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:18:38] 815*2^1239358-1 is not prime. Res64: BAAF9CD62711AD79 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:18:38] 703*2^1239359-1 is not prime. Res64: 40EA4D87DCC05918 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:34:43] 831*2^1239359-1 is not prime. Res64: CADE50934F7F1863 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:34:43] 609*2^1239360-1 is not prime. Res64: 969894E24ACF6FC0 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:36:02] 629*2^1239360-1 is not prime. Res64: EA5C5307E41CC5F1 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:36:02] 779*2^1239360-1 is not prime. Res64: 3D9F4F0C3289A3F5 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:52:02] 797*2^1239360-1 is not prime. Res64: E532BF42AB4F90AD Time : 0.0 sec. user=mdettweiler [2013-01-16 06:52:02] 879*2^1239360-1 is not prime. Res64: 87D8F51FC5AB4C15 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:53:21] 927*2^1239360-1 is not prime. Res64: 8C3BE965EBD5C4E3 Time : 0.0 sec. user=mdettweiler [2013-01-16 06:53:22] 625*2^1239361-1 is not prime. Res64: CABF7085C25F0E9B Time : 0.0 sec. user=mdettweiler [2013-01-16 07:09:22] 681*2^1239361-1 is not prime. Res64: E0C6E3D7E9B60182 Time : 0.0 sec. user=mdettweiler [2013-01-16 07:09:23] 747*2^1239361-1 is not prime. Res64: 866DA86B2AC8B6DD Time : 0.0 sec. user=mdettweiler [2013-01-16 07:10:43] 751*2^1239361-1 is not prime. Res64: 2674E73455CA5B85 Time : 0.0 sec. user=mdettweiler [2013-01-16 07:10:45] 771*2^1239361-1 is not prime. Res64: 0A705258CC1FA7C7 Time : 0.0 sec. user=mdettweiler [2013-01-16 07:26:49] 955*2^1239361-1 is not prime. Res64: 9EC743D9622D909A Time : 0.0 sec. user=mdettweiler [2013-01-16 07:26:49] 645*2^1239362-1 is not prime. Res64: E03C50BB3C05F709 Time : 0.0 sec. user=mdettweiler [2013-01-16 07:28:06] 767*2^1239362-1 is not prime. Res64: 32DB33B1CAF414B1 Time : 0.0 sec. user=mdettweiler [2013-01-16 07:28:07] 827*2^1239362-1 is not prime. Res64: 2910395ED8930163 Time : 0.0 sec. user=mdettweiler [2013-01-16 07:44:11] 921*2^1239362-1 is not prime. Res64: 67671F130237E9D3 Time : 0.0 sec. user=mdettweiler [2013-01-16 07:44:11] 619*2^1239363-1 is not prime. Res64: 6DBA98BEABF1406A Time : 0.0 sec. user=mdettweiler [2013-01-16 07:45:27] 643*2^1239363-1 is not prime. Res64: EAE6B4FBE3269DEF Time : 0.0 sec. user=mdettweiler [2013-01-16 07:45:27] 649*2^1239363-1 is not prime. Res64: 7BC874709D047519 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:01:31] 685*2^1239363-1 is not prime. Res64: EA07FEA25F655B93 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:01:32] 735*2^1239363-1 is not prime. Res64: 71BDC1EAAB722AD8 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:02:48] 769*2^1239363-1 is not prime. Res64: 155F6F3CE6E47D42 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:02:49] 849*2^1239363-1 is not prime. Res64: F53280EBC5667DED Time : 0.0 sec. user=mdettweiler [2013-01-16 08:19:01] 951*2^1239363-1 is not prime. Res64: 4B0F71EC5EE724F7 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:19:02] 783*2^1239364-1 is not prime. Res64: 16E99A2623E1C077 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:20:12] 843*2^1239364-1 is not prime. Res64: 48B3177E80F89082 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:20:12] 899*2^1239364-1 is not prime. Res64: 0729170B3932B82A Time : 0.0 sec. user=mdettweiler [2013-01-16 08:36:23] 627*2^1239365-1 is not prime. Res64: 2E739AF911373F66 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:36:23] 685*2^1239365-1 is not prime. Res64: FE389B9FA4B79FCC Time : 0.0 sec. user=mdettweiler [2013-01-16 08:37:32] 741*2^1239365-1 is not prime. Res64: 7D935D328218AFCC Time : 0.0 sec. user=mdettweiler [2013-01-16 08:37:32] 811*2^1239365-1 is not prime. Res64: 69A3DD3089DBA106 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:53:46] 867*2^1239365-1 is not prime. Res64: 842F7EE233303F5C Time : 0.0 sec. user=mdettweiler [2013-01-16 08:53:47] 897*2^1239365-1 is not prime. Res64: 705018A11A7E8152 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:54:52] 915*2^1239365-1 is not prime. Res64: 609BE1C9BF879867 Time : 0.0 sec. user=mdettweiler [2013-01-16 08:54:53] 927*2^1239365-1 is not prime. Res64: B07C8AF80B55AEB4 Time : 0.0 sec. user=mdettweiler [2013-01-16 09:11:06] 991*2^1239365-1 is not prime. Res64: EE9F354795FCF43B Time : 0.0 sec. user=mdettweiler [2013-01-16 09:11:08] 741*2^1239366-1 is not prime. Res64: 56A321B49056DE6E Time : 0.0 sec. user=mdettweiler [2013-01-16 09:12:12] 815*2^1239366-1 is not prime. Res64: B3E290C0B376C599 Time : 0.0 sec. user=mdettweiler [2013-01-16 09:12:12] 851*2^1239366-1 is not prime. Res64: 3D58BD9D8F87B599 Time : 0.0 sec. user=mdettweiler [2013-01-16 09:28:30] 891*2^1239366-1 is not prime. Res64: 2D7CE85C9038DCDF Time : 0.0 sec. user=mdettweiler [2013-01-16 09:28:31] 983*2^1239366-1 is not prime. Res64: 9176E22C74E2AB71 Time : 0.0 sec. user=mdettweiler [2013-01-16 09:29:33] 615*2^1239367-1 is not prime. Res64: 335557F3FDD925D7 Time : 0.0 sec. user=mdettweiler [2013-01-16 09:29:34] 681*2^1239367-1 is not prime. Res64: 126F4C5F035D6192 Time : 0.0 sec. user=mdettweiler [2013-01-16 09:45:53] 693*2^1239367-1 is not prime. Res64: CE60229C9725816C Time : 0.0 sec. user=mdettweiler [2013-01-16 09:45:53] 985*2^1239367-1 is not prime. Res64: 0FAA75D7B616003F Time : 0.0 sec. user=mdettweiler [2013-01-16 09:46:53] 993*2^1239367-1 is not prime. Res64: 8F96DFCBC1BD4A9C Time : 0.0 sec. user=mdettweiler [2013-01-16 09:46:54] 899*2^1239368-1 is not prime. Res64: 69F489FF25EC375B Time : 0.0 sec. user=mdettweiler [2013-01-16 10:03:14] 923*2^1239368-1 is not prime. Res64: B616C33C4DACA599 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:03:17] 829*2^1239369-1 is not prime. Res64: C46EE8C32F5C5814 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:04:12] 861*2^1239369-1 is not prime. Res64: C23B8DD5D0D54B81 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:04:13] 865*2^1239369-1 is not prime. Res64: 2950D13D7D6DA6D4 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:20:45] 895*2^1239369-1 is not prime. Res64: 64CB3B8800D270E1 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:20:46] 919*2^1239369-1 is not prime. Res64: B17440E8F28E83DE Time : 0.0 sec. user=mdettweiler [2013-01-16 10:21:37] 951*2^1239369-1 is not prime. Res64: E32FF0A7E1529B94 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:21:38] 717*2^1239370-1 is not prime. Res64: E0D8768636F72FE2 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:38:09] 777*2^1239370-1 is not prime. Res64: DD29A8553C2F53DB Time : 0.0 sec. user=mdettweiler [2013-01-16 10:38:09] 861*2^1239370-1 is not prime. Res64: 6339670D105DB008 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:39:00] 905*2^1239370-1 is not prime. Res64: 404D33AA702BBE84 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:39:01] 615*2^1239371-1 is not prime. Res64: 4903FF47B1C4C8F2 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:55:30] 621*2^1239371-1 is not prime. Res64: 84A71A9C82E6725A Time : 0.0 sec. user=mdettweiler [2013-01-16 10:55:30] 643*2^1239371-1 is not prime. Res64: 489981C7FC448349 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:56:21] 949*2^1239371-1 is not prime. Res64: DDAF4340F221CA85 Time : 0.0 sec. user=mdettweiler [2013-01-16 10:56:22] 973*2^1239371-1 is not prime. Res64: D46D6D304C3E9321 Time : 0.0 sec. user=mdettweiler [2013-01-16 11:12:50] 635*2^1239372-1 is not prime. Res64: 26B6CFD279202C68 Time : 0.0 sec. user=mdettweiler [2013-01-16 11:12:52] 717*2^1239372-1 is not prime. Res64: 31927A95C17E8AAE Time : 0.0 sec. user=mdettweiler [2013-01-16 11:13:41] 887*2^1239372-1 is not prime. Res64: 4204E0E4D40FC691 Time : 0.0 sec. user=mdettweiler [2013-01-16 11:13:43] 899*2^1239372-1 is not prime. Res64: E595B1A9B6CB3E02 Time : 0.0 sec. user=mdettweiler [2013-01-16 11:30:19] 619*2^1239373-1 is not prime. Res64: 3EBC2BE2E78767D5 Time : 0.0 sec. user=mdettweiler [2013-01-16 11:30:20] 625*2^1239373-1 is not prime. Res64: A0B54E475F43D6FB Time : 0.0 sec. user=mdettweiler [2013-01-16 11:31:06] 741*2^1239373-1 is not prime. Res64: CDC5FB37FCEB532D Time : 0.0 sec. user=mdettweiler [2013-01-16 11:31:06] 769*2^1239373-1 is not prime. Res64: B419ECD8F3010A2F Time : 0.0 sec. user=mdettweiler [2013-01-16 11:47:46] 801*2^1239373-1 is not prime. Res64: E3B5A1C8349532AB Time : 0.0 sec. user=mdettweiler [2013-01-16 11:47:47] 805*2^1239373-1 is not prime. Res64: 21FBAB7A11F6F39C Time : 0.0 sec. user=mdettweiler [2013-01-16 11:48:36] 817*2^1239373-1 is not prime. Res64: CB4B0DB288FAE41A Time : 0.0 sec. user=mdettweiler [2013-01-16 11:48:36] 889*2^1239373-1 is not prime. Res64: D7E9ED977473584D Time : 0.0 sec. user=mdettweiler [2013-01-16 12:05:21] 945*2^1239373-1 is not prime. Res64: 3154C40E36CA1AFE Time : 0.0 sec. user=mdettweiler [2013-01-16 12:05:23] 951*2^1239373-1 is not prime. Res64: 78622FAC05FDF16B Time : 0.0 sec. user=mdettweiler [2013-01-16 12:06:12] 957*2^1239373-1 is not prime. Res64: A52C99CC218EDB9C Time : 0.0 sec. user=mdettweiler [2013-01-16 12:06:14] 671*2^1239374-1 is not prime. Res64: 926984BF39242AAC Time : 0.0 sec. user=mdettweiler [2013-01-16 12:24:11] 827*2^1239374-1 is not prime. Res64: DD9399E84556DC74 Time : 0.0 sec. user=mdettweiler [2013-01-16 12:24:11] 857*2^1239374-1 is not prime. Res64: F09021D5495BABEC Time : 0.0 sec. user=mdettweiler [2013-01-16 12:24:52] 885*2^1239374-1 is not prime. Res64: 249C64551DCFF6CD Time : 0.0 sec. user=mdettweiler [2013-01-16 12:24:52] 651*2^1239375-1 is not prime. Res64: BAA7BAABC898B987 Time : 0.0 sec. user=mdettweiler [2013-01-16 12:43:11] 709*2^1239375-1 is not prime. Res64: 29E0C6F1E34860F6 Time : 0.0 sec. user=mdettweiler [2013-01-16 12:43:12] 849*2^1239375-1 is not prime. Res64: AB49AC35C2E3758E Time : 0.0 sec. user=mdettweiler [2013-01-16 12:43:53] 895*2^1239375-1 is not prime. Res64: DF031CF1DF94D6D5 Time : 0.0 sec. user=mdettweiler [2013-01-16 12:43:53] 979*2^1239375-1 is not prime. Res64: 542DFA35D2FD930A Time : 0.0 sec. user=mdettweiler [2013-01-16 13:01:00] 623*2^1239376-1 is not prime. Res64: 6B18DDDCBCAD6A65 Time : 0.0 sec. user=mdettweiler [2013-01-16 13:01:01] 849*2^1239376-1 is not prime. Res64: E73D611FF9A8785E Time : 0.0 sec. user=mdettweiler [2013-01-16 13:01:39] 869*2^1239376-1 is not prime. Res64: 33E91D303388A83E Time : 0.0 sec. user=mdettweiler [2013-01-16 13:01:40] 873*2^1239376-1 is not prime. Res64: F4B13C77EB7B4DA0 Time : 0.0 sec. user=mdettweiler [2013-01-16 13:19:09] 905*2^1239376-1 is not prime. Res64: 258DBAF3CE8A0C44 Time : 0.0 sec. user=mdettweiler [2013-01-16 13:19:10] 909*2^1239376-1 is not prime. Res64: BD1ADFD46918CB8D Time : 0.0 sec. user=mdettweiler [2013-01-16 13:19:41] 933*2^1239376-1 is not prime. Res64: 1E9A2873F80A4195 Time : 0.0 sec. user=mdettweiler [2013-01-16 13:19:41] 685*2^1239377-1 is not prime. Res64: FB55BAB6374D9EEB Time : 0.0 sec. user=mdettweiler [2013-01-16 13:37:05] 715*2^1239377-1 is not prime. Res64: 461413CA09839FDB Time : 0.0 sec. user=mdettweiler [2013-01-16 13:37:06] 717*2^1239377-1 is not prime. Res64: AC5A8550E3F9554D Time : 0.0 sec. user=mdettweiler [2013-01-16 13:37:30] 957*2^1239377-1 is not prime. Res64: 837351AA215402D6 Time : 0.0 sec. user=mdettweiler [2013-01-16 13:37:30] 979*2^1239377-1 is not prime. Res64: 379F44376B24ED7D Time : 0.0 sec. user=mdettweiler [2013-01-16 13:54:55] 663*2^1239378-1 is not prime. Res64: FC4A0933D0407DF9 Time : 0.0 sec. user=mdettweiler [2013-01-16 13:54:56] 737*2^1239378-1 is not prime. Res64: 5B0DAB645F5C1EBD Time : 0.0 sec. user=mdettweiler [2013-01-16 13:55:22] 773*2^1239378-1 is not prime. Res64: 0E0CA14EDDA9A2C3 Time : 0.0 sec. user=mdettweiler [2013-01-16 13:55:23] 797*2^1239378-1 is not prime. Res64: 53E1D165C388656F Time : 0.0 sec. user=mdettweiler [2013-01-16 14:12:39] 821*2^1239378-1 is not prime. Res64: 3511ECB33B3EF944 Time : 0.0 sec. user=mdettweiler [2013-01-16 14:12:43] 843*2^1239378-1 is not prime. Res64: 189992679BD02BB6 Time : 0.0 sec. user=mdettweiler [2013-01-16 14:13:08] 1001*2^1239378-1 is not prime. Res64: 88EC4CFA9AC7FBEF Time : 0.0 sec. user=mdettweiler [2013-01-16 14:13:11] 609*2^1239379-1 is not prime. Res64: 1E774FB310F03030 Time : 0.0 sec. user=mdettweiler [2013-01-16 14:30:48] 723*2^1239379-1 is not prime. Res64: AD7E77574764DA85 Time : 0.0 sec. user=mdettweiler [2013-01-16 14:30:48] 759*2^1239379-1 is not prime. Res64: 1D6101D54E7DD461 Time : 0.0 sec. user=mdettweiler [2013-01-16 14:31:04] 789*2^1239379-1 is not prime. Res64: AC2DA64D45E762EC Time : 0.0 sec. user=mdettweiler [2013-01-16 14:31:04] 853*2^1239379-1 is not prime. Res64: 5A08FD69DB374ACA Time : 0.0 sec. user=mdettweiler [2013-01-16 14:48:32] 909*2^1239379-1 is not prime. Res64: 94B8A4A08A2A13A4 Time : 0.0 sec. user=mdettweiler [2013-01-16 14:48:32] 979*2^1239379-1 is not prime. Res64: 575AB45EA6EDBAA0 Time : 0.0 sec. user=mdettweiler [2013-01-16 14:48:43] 725*2^1239380-1 is not prime. Res64: 016FEF0D103502C4 Time : 0.0 sec. user=mdettweiler [2013-01-16 14:48:43] 795*2^1239380-1 is not prime. Res64: FECD8DF424F81C80 Time : 0.0 sec. user=mdettweiler [2013-01-16 15:06:14] 833*2^1239380-1 is not prime. Res64: 4B9B984A3DCA0A17 Time : 0.0 sec. user=mdettweiler [2013-01-16 15:06:15] 963*2^1239380-1 is not prime. Res64: AF1288FC70ABC835 Time : 0.0 sec. user=mdettweiler [2013-01-16 15:06:25] 977*2^1239380-1 is not prime. Res64: A7B48F938768A377 Time : 0.0 sec. user=mdettweiler [2013-01-16 15:06:26] 681*2^1239381-1 is not prime. Res64: 46FE11E67912039B Time : 0.0 sec. user=mdettweiler [2013-01-16 15:24:24] 741*2^1239381-1 is not prime. Res64: E40CD01C9F84017F Time : 0.0 sec. user=mdettweiler [2013-01-16 15:24:24] 777*2^1239381-1 is not prime. Res64: FB165B5D437F032C Time : 0.0 sec. user=mdettweiler [2013-01-16 15:24:31] 819*2^1239381-1 is not prime. Res64: 8F01DEEE95DBF124 Time : 0.0 sec. user=mdettweiler [2013-01-16 15:24:32] 837*2^1239381-1 is not prime. Res64: 58B8DF5D3728ECFB Time : 0.0 sec. user=mdettweiler [2013-01-16 15:42:35] 961*2^1239381-1 is not prime. Res64: EE5EA7445E109696 Time : 0.0 sec. user=mdettweiler [2013-01-16 15:42:35] 651*2^1239382-1 is not prime. Res64: E4882817EA757368 Time : 0.0 sec. user=mdettweiler [2013-01-16 15:42:42] 713*2^1239382-1 is not prime. Res64: 226DEDFFD8B66E8B Time : 0.0 sec. user=mdettweiler [2013-01-16 15:42:42] 717*2^1239382-1 is not prime. Res64: 816F71DEC2871F85 Time : 0.0 sec. user=mdettweiler [2013-01-16 16:00:24] 741*2^1239382-1 is not prime. Res64: 9B23644633FF2D6B Time : 0.0 sec. user=mdettweiler [2013-01-16 16:00:25] 815*2^1239382-1 is not prime. Res64: 0EAB598879355937 Time : 0.0 sec. user=mdettweiler [2013-01-16 16:00:31] 855*2^1239382-1 is not prime. Res64: 71E7155ED9494BFF Time : 0.0 sec. user=mdettweiler [2013-01-16 16:00:32] 975*2^1239382-1 is not prime. Res64: 5E9D96FEECEBA8D7 Time : 0.0 sec. user=mdettweiler [2013-01-16 16:18:17] 619*2^1239383-1 is not prime. Res64: 73C0630482D6CDF3 Time : 0.0 sec. user=mdettweiler [2013-01-16 16:18:17] 693*2^1239383-1 is not prime. Res64: 32F4173FD28A896C Time : 0.0 sec. user=mdettweiler [2013-01-16 16:18:18] 705*2^1239383-1 is not prime. Res64: 007B54E25598044D Time : 0.0 sec. user=mdettweiler [2013-01-16 16:18:18] 729*2^1239383-1 is not prime. Res64: 8A43CB5261207E7A Time : 0.0 sec. user=mdettweiler [2013-01-16 16:36:02] 825*2^1239383-1 is not prime. Res64: A950FDD9C48C70ED Time : 0.0 sec. user=mdettweiler [2013-01-16 16:36:03] 855*2^1239383-1 is not prime. Res64: D6E3DE834D3577DD Time : 0.0 sec. user=mdettweiler [2013-01-16 16:36:04] 683*2^1239384-1 is not prime. Res64: B6FE202FD6508104 Time : 0.0 sec. user=mdettweiler [2013-01-16 16:36:04] 723*2^1239384-1 is not prime. Res64: 86848472034AB843 Time : 0.0 sec. user=mdettweiler [2013-01-16 16:54:02] 773*2^1239384-1 is not prime. Res64: E7FCA672A4F681D3 Time : 0.0 sec. user=mdettweiler [2013-01-16 16:54:02] 927*2^1239384-1 is not prime. Res64: 9DFF985D0F3A3354 Time : 0.0 sec. user=mdettweiler [2013-01-16 16:54:02] 993*2^1239384-1 is not prime. Res64: 7B65361C2AEF8D3A Time : 0.0 sec. user=mdettweiler [2013-01-16 16:54:02] 607*2^1239385-1 is not prime. Res64: B69F8A041F87C909 Time : 0.0 sec. user=mdettweiler [2013-01-16 17:12:00] 885*2^1239385-1 is not prime. Res64: 9DA78626CFC2B2BE Time : 0.0 sec. user=mdettweiler [2013-01-16 17:12:00] 889*2^1239385-1 is not prime. Res64: 858363FDACDBC75A Time : 0.0 sec. user=mdettweiler [2013-01-16 17:12:20] 675*2^1239385-1 is not prime. Res64: E192BDCA3F2D33E2 Time : 0.0 sec. user=mdettweiler [2013-01-16 17:12:21] 771*2^1239385-1 is not prime. Res64: 698B82A273DBFADB Time : 0.0 sec. user=mdettweiler [2013-01-16 17:29:31] 633*2^1239386-1 is not prime. Res64: 9E33B1F2FD70EE36 Time : 0.0 sec. user=mdettweiler [2013-01-16 17:29:32] 735*2^1239386-1 is not prime. Res64: 680A9155EDA4167D Time : 0.0 sec. user=mdettweiler [2013-01-16 17:29:49] 741*2^1239386-1 is not prime. Res64: 314DD7033686EA3B Time : 0.0 sec. user=mdettweiler [2013-01-16 17:29:49] 767*2^1239386-1 is not prime. Res64: 422A2709BB6A7D1D Time : 0.0 sec. user=mdettweiler [2013-01-16 17:47:02] 887*2^1239386-1 is not prime. Res64: 23CAF22FF5FAE4DF Time : 0.0 sec. user=mdettweiler [2013-01-16 17:47:02] 643*2^1239387-1 is not prime. Res64: 3B9D9BA8A291B278 Time : 0.0 sec. user=mdettweiler [2013-01-16 17:47:16] 669*2^1239387-1 is not prime. Res64: E3D39713907F1204 Time : 0.0 sec. user=mdettweiler [2013-01-16 17:47:17] 705*2^1239387-1 is not prime. Res64: 5BB3195346E3901E Time : 0.0 sec. user=mdettweiler [2013-01-16 18:04:31] 739*2^1239387-1 is not prime. Res64: ABA7FE7785FD6401 Time : 0.0 sec. user=mdettweiler [2013-01-16 18:04:32] 765*2^1239387-1 is not prime. Res64: 5B5EE0EBA22A6857 Time : 0.0 sec. user=mdettweiler [2013-01-16 18:04:45] 955*2^1239387-1 is not prime. Res64: 72FBE81ACB8F3AB4 Time : 0.0 sec. user=mdettweiler [2013-01-16 18:04:46] 705*2^1239388-1 is not prime. Res64: A0073A091C32EF62 Time : 0.0 sec. user=mdettweiler [2013-01-16 18:22:16] 619*2^1239389-1 is not prime. Res64: 33DB7ED6BFCA7EED Time : 0.0 sec. user=mdettweiler [2013-01-16 18:22:17] 729*2^1239389-1 is not prime. Res64: A57B39CE7C589691 Time : 0.0 sec. user=mdettweiler [2013-01-16 18:22:22] 745*2^1239389-1 is not prime. Res64: 9DED7F51D5FE8387 Time : 0.0 sec. user=mdettweiler [2013-01-16 18:22:22] 747*2^1239389-1 is not prime. Res64: 4F205C2ACD109EAE Time : 0.0 sec. user=mdettweiler [2013-01-16 18:39:52] 681*2^1239390-1 is not prime. Res64: 7F3292D9F51E84D2 Time : 0.0 sec. user=mdettweiler [2013-01-16 18:39:53] 693*2^1239390-1 is not prime. Res64: 40E418372F03BC2F Time : 0.0 sec. user=mdettweiler [2013-01-16 18:39:56] 747*2^1239390-1 is not prime. Res64: 5DD2A2F50AF60899 Time : 0.0 sec. user=mdettweiler [2013-01-16 18:39:57] 833*2^1239390-1 is not prime. Res64: BE1FFAFD1866AB14 Time : 0.0 sec. user=mdettweiler [2013-01-16 18:57:29] 861*2^1239390-1 is not prime. Res64: 517CD2337D68AAAD Time : 0.0 sec. user=mdettweiler [2013-01-16 18:57:29] 891*2^1239390-1 is not prime. Res64: C6D041CA809857C5 Time : 0.0 sec. user=mdettweiler [2013-01-16 18:57:33] 933*2^1239390-1 is not prime. Res64: 10038CD5C6ADD08D Time : 0.0 sec. user=mdettweiler [2013-01-16 18:57:34] 603*2^1239391-1 is not prime. Res64: 4294216BE4475FBC Time : 0.0 sec. user=mdettweiler [2013-01-16 19:15:00] 703*2^1239391-1 is not prime. Res64: 17B98D5103D28008 Time : 0.0 sec. user=mdettweiler [2013-01-16 19:15:01] 705*2^1239391-1 is not prime. Res64: 8CBD962505165976 Time : 0.0 sec. user=mdettweiler [2013-01-16 19:15:06] 745*2^1239391-1 is not prime. Res64: D939178EE2BF649A Time : 0.0 sec. user=mdettweiler [2013-01-16 19:15:07] 859*2^1239391-1 is not prime. Res64: 0DAEB89B3FCAF37D Time : 0.0 sec. user=mdettweiler [2013-01-16 19:32:34] 615*2^1239392-1 is not prime. Res64: A9B55311E9D8C0B2 Time : 0.0 sec. user=mdettweiler [2013-01-16 19:32:35] 633*2^1239392-1 is not prime. Res64: 75E59B4B3EE76B6A Time : 0.0 sec. user=mdettweiler [2013-01-16 19:32:36] 759*2^1239392-1 is not prime. Res64: D0566B177C082C46 Time : 0.0 sec. user=mdettweiler [2013-01-16 19:32:37] 873*2^1239392-1 is not prime. Res64: 4B275B425FD355A2 Time : 0.0 sec. user=mdettweiler [2013-01-16 19:50:05] 909*2^1239392-1 is not prime. Res64: 24499950E910A07B Time : 0.0 sec. user=mdettweiler [2013-01-16 19:50:06] 945*2^1239392-1 is not prime. Res64: F5311433092A6720 Time : 0.0 sec. user=mdettweiler [2013-01-16 19:50:06] 957*2^1239392-1 is not prime. Res64: 3D6D50383EFDB799 Time : 0.0 sec. user=mdettweiler [2013-01-16 19:50:07] 995*2^1239392-1 is not prime. Res64: 81B7D2330C53A01E Time : 0.0 sec. user=mdettweiler [2013-01-16 20:07:34] 649*2^1239393-1 is not prime. Res64: AB2EEE25B57EFD18 Time : 0.0 sec. user=mdettweiler [2013-01-16 20:07:35] 657*2^1239393-1 is not prime. Res64: 36B04FBB67DAE1C9 Time : 0.0 sec. user=mdettweiler [2013-01-16 20:07:35] 765*2^1239393-1 is not prime. Res64: DC52D9765AE7380B Time : 0.0 sec. user=mdettweiler [2013-01-16 20:07:36] 795*2^1239393-1 is not prime. Res64: 061215455AFC3898 Time : 0.0 sec. user=mdettweiler [2013-01-16 20:25:13] 849*2^1239393-1 is not prime. Res64: 84EB863C28D03FCF Time : 0.0 sec. user=mdettweiler [2013-01-16 20:25:15] 605*2^1239394-1 is not prime. Res64: E697B027FF878530 Time : 0.0 sec. user=mdettweiler [2013-01-16 20:25:16] 979*2^1239393-1 is not prime. Res64: 6511116AF6D64126 Time : 0.0 sec. user=mdettweiler [2013-01-16 20:25:16] 681*2^1239394-1 is not prime. Res64: C0C681FA1686FFCF Time : 0.0 sec. user=mdettweiler [2013-01-16 20:42:57] 737*2^1239394-1 is not prime. Res64: 842A7F8968BB8A92 Time : 0.0 sec. user=mdettweiler [2013-01-16 20:42:57] 885*2^1239394-1 is not prime. Res64: D49FAF9E47C3815E Time : 0.0 sec. user=mdettweiler [2013-01-16 20:42:58] 891*2^1239394-1 is not prime. Res64: 8702939A1AD3C0C3 Time : 0.0 sec. user=mdettweiler [2013-01-16 20:42:59] 915*2^1239394-1 is not prime. Res64: 1A8B7FADAB27CC42 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:00:42] 645*2^1239395-1 is not prime. Res64: 32A4FFAB37F723CF Time : 0.0 sec. user=mdettweiler [2013-01-16 21:00:43] 871*2^1239395-1 is not prime. Res64: 54C0C4CA17058211 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:00:43] 627*2^1239396-1 is not prime. Res64: 9B1DDC4E2FDE0620 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:00:44] 705*2^1239396-1 is not prime. Res64: 2DE1AEBC67660DE3 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:18:43] 909*2^1239396-1 is not prime. Res64: 8475E009C671F497 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:18:43] 993*2^1239396-1 is not prime. Res64: 836EEF396B3ADE4B Time : 0.0 sec. user=mdettweiler [2013-01-16 21:18:44] 601*2^1239397-1 is not prime. Res64: B1513D30D7668A21 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:18:45] 651*2^1239397-1 is not prime. Res64: 0C9026DED5DE1F03 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:36:16] 691*2^1239397-1 is not prime. Res64: 56290406B01A97D9 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:36:16] 859*2^1239397-1 is not prime. Res64: A2E0DDC21CC6B456 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:36:16] 919*2^1239397-1 is not prime. Res64: 87A283069EF0E2AE Time : 0.0 sec. user=mdettweiler [2013-01-16 21:36:17] 603*2^1239398-1 is not prime. Res64: CFF1668AA96F3920 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:53:44] 657*2^1239398-1 is not prime. Res64: 29A7982347C1B717 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:53:44] 687*2^1239398-1 is not prime. Res64: D32C8FE071918A0A Time : 0.0 sec. user=mdettweiler [2013-01-16 21:53:45] 671*2^1239398-1 is not prime. Res64: 5F1A756376B7F9C4 Time : 0.0 sec. user=mdettweiler [2013-01-16 21:53:45] 705*2^1239398-1 is not prime. Res64: 5B04C7871861DF1C Time : 0.0 sec. user=mdettweiler [2013-01-16 22:11:12] 743*2^1239398-1 is not prime. Res64: 5B00A93E2A9CD908 Time : 0.0 sec. user=mdettweiler [2013-01-16 22:11:12] 755*2^1239398-1 is not prime. Res64: 610B8F464F437F8B Time : 0.0 sec. user=mdettweiler [2013-01-16 22:11:15] 771*2^1239398-1 is not prime. Res64: 66D8A90D407BC792 Time : 0.0 sec. user=mdettweiler [2013-01-16 22:11:16] 827*2^1239398-1 is not prime. Res64: 23B30EE4CC376E84 Time : 0.0 sec. user=mdettweiler [2013-01-16 22:28:44] 911*2^1239398-1 is not prime. Res64: E32824CE192AE3AE Time : 0.0 sec. user=mdettweiler [2013-01-16 22:28:44] 935*2^1239398-1 is not prime. Res64: DCB1EFF967D46814 Time : 0.0 sec. user=mdettweiler [2013-01-16 22:28:46] 625*2^1239399-1 is not prime. Res64: 7432F2FE91ECCCF6 Time : 0.0 sec. user=mdettweiler [2013-01-16 22:28:46] 703*2^1239399-1 is not prime. Res64: C34CC32F9B709DC6 Time : 0.0 sec. user=mdettweiler [2013-01-16 22:46:19] 751*2^1239399-1 is not prime. Res64: 212B5D57B3F1A67B Time : 0.0 sec. user=mdettweiler [2013-01-16 22:46:20] 861*2^1239399-1 is not prime. Res64: 07931D8F877DFBF5 Time : 0.0 sec. user=mdettweiler [2013-01-16 22:46:20] 879*2^1239399-1 is not prime. Res64: 3A5506F72BC23383 Time : 0.0 sec. user=mdettweiler [2013-01-16 22:46:22] 891*2^1239399-1 is not prime. Res64: 6D4D5F6D1BFBF0C8 Time : 0.0 sec. user=mdettweiler [2013-01-16 23:03:53] 933*2^1239399-1 is not prime. Res64: 0977EAD0AEA080B1 Time : 0.0 sec. user=mdettweiler [2013-01-16 23:03:55] 785*2^1239400-1 is not prime. Res64: 80D60B9099ED95DF Time : 0.0 sec. user=mdettweiler [2013-01-16 23:03:57] 899*2^1239400-1 is not prime. Res64: A09F1B0D603733B1 Time : 0.0 sec. user=mdettweiler [2013-01-16 23:03:58] 917*2^1239400-1 is not prime. Res64: 7C7B79F436502120 Time : 0.0 sec. user=mdettweiler [2013-01-16 23:22:14] 645*2^1239401-1 is not prime. Res64: FC2880BD856BDB59 Time : 0.0 sec. user=mdettweiler [2013-01-16 23:22:14] 631*2^1239401-1 is not prime. Res64: 371760C29BDEC248 Time : 0.0 sec. user=mdettweiler [2013-01-16 23:22:14] 669*2^1239401-1 is not prime. Res64: 0A3F325446C13E7A Time : 0.0 sec. user=mdettweiler [2013-01-16 23:22:14] 637*2^1239401-1 is not prime. Res64: 1B75E65D1FE894C7 Time : 0.0 sec. user=mdettweiler [2013-01-16 23:40:35] 865*2^1239401-1 is not prime. Res64: F70B5AB2CE3E6919 Time : 0.0 sec. user=mdettweiler [2013-01-16 23:40:35] 967*2^1239401-1 is not prime. Res64: E7237B65BF7EE707 Time : 0.0 sec. user=mdettweiler [2013-01-16 23:40:36] 697*2^1239401-1 is not prime. Res64: 8C298365F02831EC Time : 0.0 sec. user=mdettweiler [2013-01-16 23:40:36] 745*2^1239401-1 is not prime. Res64: EFD0F1B6D6567C31 Time : 0.0 sec. user=mdettweiler [2013-01-16 23:58:54] 677*2^1239402-1 is not prime. Res64: 4AF87E427BC7BADB Time : 0.0 sec. user=mdettweiler [2013-01-16 23:58:54] 713*2^1239402-1 is not prime. Res64: 02C5960757DDA45A Time : 0.0 sec. user=mdettweiler [2013-01-16 23:58:55] 755*2^1239402-1 is not prime. Res64: 9032446D0BB3F07B Time : 0.0 sec. user=mdettweiler [2013-01-16 23:58:55] 873*2^1239402-1 is not prime. Res64: 863C2373FE458E95 Time : 0.0 sec.