user=vaughan [2013-07-15 00:12:00] 999*2^1247709-1 is not prime. Res64: 3F4753263930ED69 Time : 0.0 sec. user=mdettweiler [2013-07-15 00:15:55] 681*2^1247710-1 is not prime. Res64: 52B541B6B992B62B Time : 0.0 sec. user=mdettweiler [2013-07-15 00:15:56] 713*2^1247710-1 is not prime. Res64: 0FBDBEFC86DAA165 Time : 0.0 sec. user=mdettweiler [2013-07-15 00:32:56] 821*2^1247710-1 is not prime. Res64: DBB9D21D0B3EE49E Time : 0.0 sec. user=mdettweiler [2013-07-15 00:32:58] 833*2^1247710-1 is not prime. Res64: C1A69AE955996E6D Time : 0.0 sec. user=vaughan [2013-07-15 00:50:03] 731*2^1247710-1 is not prime. Res64: BA63510179F89718 Time : 0.0 sec. user=mdettweiler [2013-07-15 00:51:36] 965*2^1247710-1 is not prime. Res64: 678B289FB2C7B3D8 Time : 0.0 sec. user=mdettweiler [2013-07-15 00:51:37] 971*2^1247710-1 is not prime. Res64: 5BD32603C8F705C1 Time : 0.0 sec. user=mdettweiler [2013-07-15 01:08:37] 609*2^1247711-1 is not prime. Res64: 3CFE0DCB03BEB033 Time : 0.0 sec. user=mdettweiler [2013-07-15 01:08:38] 621*2^1247711-1 is not prime. Res64: 1979EBA6BF4B1F58 Time : 0.0 sec. user=mdettweiler [2013-07-15 01:25:42] 643*2^1247711-1 is not prime. Res64: 77BB8CE834272276 Time : 0.0 sec. user=mdettweiler [2013-07-15 01:25:43] 645*2^1247711-1 is not prime. Res64: 4A889DED30D2F2BC Time : 0.0 sec. user=vaughan [2013-07-15 01:32:52] 987*2^1247710-1 is not prime. Res64: 1BF3E4305D2852E4 Time : 0.0 sec. user=mdettweiler [2013-07-15 01:42:46] 705*2^1247711-1 is not prime. Res64: C944E109751AE6A4 Time : 0.0 sec. user=mdettweiler [2013-07-15 01:42:47] 843*2^1247711-1 is not prime. Res64: 3DBCA038696E582B Time : 0.0 sec. user=mdettweiler [2013-07-15 02:00:37] 865*2^1247711-1 is not prime. Res64: D950860962D58120 Time : 0.0 sec. user=mdettweiler [2013-07-15 02:00:38] 981*2^1247711-1 is not prime. Res64: 1748622521BD6C39 Time : 0.0 sec. user=vaughan [2013-07-15 02:10:49] 855*2^1247711-1 is not prime. Res64: 04595E817509C8D7 Time : 0.0 sec. user=mdettweiler [2013-07-15 02:17:51] 625*2^1247713-1 is not prime. Res64: 979054BD4AC13D05 Time : 0.0 sec. user=mdettweiler [2013-07-15 02:17:51] 637*2^1247713-1 is not prime. Res64: 111E7CFED24F8162 Time : 0.0 sec. user=mdettweiler [2013-07-15 02:34:52] 741*2^1247713-1 is not prime. Res64: 9CB5FD7AA06AB187 Time : 0.0 sec. user=mdettweiler [2013-07-15 02:34:54] 765*2^1247713-1 is not prime. Res64: 1B247AAB307597C2 Time : 0.0 sec. user=vaughan [2013-07-15 02:48:49] 705*2^1247713-1 is not prime. Res64: 113AA52A24C4BBA4 Time : 0.0 sec. user=mdettweiler [2013-07-15 02:52:09] 847*2^1247713-1 is not prime. Res64: AB87004A0B2A7FC7 Time : 0.0 sec. user=mdettweiler [2013-07-15 02:52:10] 951*2^1247713-1 is not prime. Res64: EB187F2CDCE9BB15 Time : 0.0 sec. user=mdettweiler [2013-07-15 03:09:11] 753*2^1247714-1 is not prime. Res64: 718645774E8283E7 Time : 0.0 sec. user=mdettweiler [2013-07-15 03:09:12] 825*2^1247714-1 is not prime. Res64: 0F060F54D01E2716 Time : 0.0 sec. user=mdettweiler [2013-07-15 03:26:16] 873*2^1247714-1 is not prime. Res64: 4CD73A193ACF2812 Time : 0.0 sec. user=mdettweiler [2013-07-15 03:26:17] 903*2^1247714-1 is not prime. Res64: 84E766FDBB14B5B9 Time : 0.0 sec. user=vaughan [2013-07-15 03:26:50] 623*2^1247714-1 is not prime. Res64: 11909536FE527FFB Time : 0.0 sec. user=mdettweiler [2013-07-15 03:44:08] 983*2^1247714-1 is not prime. Res64: 4F13B8D41F9C639A Time : 0.0 sec. user=mdettweiler [2013-07-15 03:44:08] 685*2^1247715-1 is not prime. Res64: 02E1FA3EAA02499F Time : 0.0 sec. user=mdettweiler [2013-07-15 04:01:12] 903*2^1247715-1 is not prime. Res64: 27D32D6FE349BA59 Time : 0.0 sec. user=mdettweiler [2013-07-15 04:01:13] 951*2^1247715-1 is not prime. Res64: 35FC6FB2EF3B2619 Time : 0.0 sec. user=vaughan [2013-07-15 04:04:50] 709*2^1247715-1 is not prime. Res64: 34F33DC18F88B5F4 Time : 0.0 sec. user=mdettweiler [2013-07-15 04:20:11] 961*2^1247715-1 is not prime. Res64: B0D4B39C56105C66 Time : 0.0 sec. user=mdettweiler [2013-07-15 04:20:11] 963*2^1247715-1 is not prime. Res64: 2180D44113188096 Time : 0.0 sec. user=mdettweiler [2013-07-15 04:37:15] 653*2^1247716-1 is not prime. Res64: E21FF0DD680355FF Time : 0.0 sec. user=mdettweiler [2013-07-15 04:37:16] 677*2^1247716-1 is not prime. Res64: 9823AB84A2E0E229 Time : 0.0 sec. user=vaughan [2013-07-15 04:47:42] 999*2^1247715-1 is not prime. Res64: ACD7F9DF2B7B364B Time : 0.0 sec. user=mdettweiler [2013-07-15 04:54:20] 695*2^1247716-1 is not prime. Res64: 2A0C035F8875989B Time : 0.0 sec. user=mdettweiler [2013-07-15 04:54:20] 749*2^1247716-1 is not prime. Res64: A37E60FFF545CD7D Time : 0.0 sec. user=mdettweiler [2013-07-15 05:11:22] 655*2^1247717-1 is not prime. Res64: E116D7ECA6187B0A Time : 0.0 sec. user=mdettweiler [2013-07-15 05:11:23] 711*2^1247717-1 is not prime. Res64: B5F90D0103CBBD38 Time : 0.0 sec. user=vaughan [2013-07-15 05:25:39] 649*2^1247717-1 is not prime. Res64: A2C61A786F6244B0 Time : 0.0 sec. user=mdettweiler [2013-07-15 05:28:26] 715*2^1247717-1 is not prime. Res64: 07C9610E186E5524 Time : 0.0 sec. user=mdettweiler [2013-07-15 05:28:26] 735*2^1247717-1 is not prime. Res64: 3CD479DAEA3F89B1 Time : 0.0 sec. user=mdettweiler [2013-07-15 05:45:27] 795*2^1247717-1 is not prime. Res64: 719174A7E96EF87E Time : 0.0 sec. user=mdettweiler [2013-07-15 05:45:28] 801*2^1247717-1 is not prime. Res64: 38EC87FA14877753 Time : 0.0 sec. user=mdettweiler [2013-07-15 06:02:31] 621*2^1247718-1 is not prime. Res64: 6A04E6F77BBADDBB Time : 0.0 sec. user=mdettweiler [2013-07-15 06:02:32] 737*2^1247718-1 is not prime. Res64: F4169F38CECF7CFD Time : 0.0 sec. user=vaughan [2013-07-15 06:03:33] 771*2^1247717-1 is not prime. Res64: 18382343085D44A4 Time : 0.0 sec. user=mdettweiler [2013-07-15 06:19:54] 745*2^1247719-1 is not prime. Res64: E425E3EF87BC5418 Time : 0.0 sec. user=mdettweiler [2013-07-15 06:19:54] 943*2^1247719-1 is not prime. Res64: C5194503CB2E5BA0 Time : 0.0 sec. user=mdettweiler [2013-07-15 06:36:58] 609*2^1247720-1 is not prime. Res64: A76DF48E380C17FA Time : 0.0 sec. user=mdettweiler [2013-07-15 06:36:58] 669*2^1247720-1 is not prime. Res64: B3C2234F86DD2D36 Time : 0.0 sec. user=vaughan [2013-07-15 06:46:25] 973*2^1247719-1 is not prime. Res64: 7DE7D669A81DC546 Time : 0.0 sec. user=mdettweiler [2013-07-15 06:54:00] 717*2^1247720-1 is not prime. Res64: 0FCF6FDB64C75E0A Time : 0.0 sec. user=mdettweiler [2013-07-15 06:54:00] 855*2^1247720-1 is not prime. Res64: 2FD71662B3382B57 Time : 0.0 sec. user=mdettweiler [2013-07-15 07:11:02] 929*2^1247720-1 is not prime. Res64: 60C828D628DDC874 Time : 0.0 sec. user=mdettweiler [2013-07-15 07:11:03] 747*2^1247721-1 is not prime. Res64: 24426108CC0B42AC Time : 0.0 sec. user=mdettweiler [2013-07-15 07:28:05] 777*2^1247721-1 is not prime. Res64: 2BAAAF20BEC66F4D Time : 0.0 sec. user=mdettweiler [2013-07-15 07:28:06] 817*2^1247721-1 is not prime. Res64: 8C6E3A88394AEDA9 Time : 0.0 sec. user=vaughan [2013-07-15 07:29:18] 875*2^1247720-1 is not prime. Res64: 4CD66BB32AED1E91 Time : 0.0 sec. user=mdettweiler [2013-07-15 07:46:14] 937*2^1247721-1 is not prime. Res64: 69D4987138D6969C Time : 0.0 sec. user=mdettweiler [2013-07-15 07:46:15] 969*2^1247721-1 is not prime. Res64: DB4875AC0DAE7434 Time : 0.0 sec. user=mdettweiler [2013-07-15 08:03:30] 621*2^1247722-1 is not prime. Res64: 2080A669C54F37C0 Time : 0.0 sec. user=mdettweiler [2013-07-15 08:03:32] 653*2^1247722-1 is not prime. Res64: A7BE60FE2D6AC5AC Time : 0.0 sec. user=vaughan [2013-07-15 08:07:15] 617*2^1247722-1 is not prime. Res64: B9312D78E6715C41 Time : 0.0 sec. user=mdettweiler [2013-07-15 08:20:59] 881*2^1247722-1 is not prime. Res64: 6CDFD9318D3D1472 Time : 0.0 sec. user=mdettweiler [2013-07-15 08:20:59] 951*2^1247722-1 is not prime. Res64: 47309EAEC0C547B5 Time : 0.0 sec. user=mdettweiler [2013-07-15 08:39:36] 859*2^1247723-1 is not prime. Res64: 8B715EE7DEB35F31 Time : 0.0 sec. user=mdettweiler [2013-07-15 08:39:36] 955*2^1247723-1 is not prime. Res64: 8747B99B7B4F32B0 Time : 0.0 sec. user=vaughan [2013-07-15 08:50:07] 957*2^1247722-1 is not prime. Res64: B49DF211EA35DC38 Time : 0.0 sec. user=mdettweiler [2013-07-15 08:57:49] 973*2^1247723-1 is not prime. Res64: A2D78034FFDA7C78 Time : 0.0 sec. user=mdettweiler [2013-07-15 08:57:49] 803*2^1247724-1 is not prime. Res64: D8E6C70A35ED1B1F Time : 0.0 sec. user=mdettweiler [2013-07-15 09:15:09] 609*2^1247725-1 is not prime. Res64: 4697A26C91532DA7 Time : 0.0 sec. user=mdettweiler [2013-07-15 09:15:09] 687*2^1247725-1 is not prime. Res64: 95B7A365DAF70182 Time : 0.0 sec. user=vaughan [2013-07-15 09:28:04] 809*2^1247724-1 is not prime. Res64: 1F7BF9EDFDEFCDBF Time : 0.0 sec. user=mdettweiler [2013-07-15 09:32:20] 717*2^1247725-1 is not prime. Res64: DDC1D8BBE24C0094 Time : 0.0 sec. user=mdettweiler [2013-07-15 09:32:21] 811*2^1247725-1 is not prime. Res64: 69CB173535E6B629 Time : 0.0 sec. user=mdettweiler [2013-07-15 09:50:19] 997*2^1247725-1 is not prime. Res64: 3D59FE5005DE9C64 Time : 0.0 sec. user=mdettweiler [2013-07-15 09:50:20] 767*2^1247726-1 is not prime. Res64: CFCD700B0684F194 Time : 0.0 sec. user=vaughan [2013-07-15 10:06:03] 817*2^1247725-1 is not prime. Res64: 50F2C7B9285D688C Time : 0.0 sec. user=mdettweiler [2013-07-15 10:07:31] 833*2^1247726-1 is not prime. Res64: 411916F6EF16A8D8 Time : 0.0 sec. user=mdettweiler [2013-07-15 10:07:32] 923*2^1247726-1 is not prime. Res64: 07817D27AB6F58B3 Time : 0.0 sec. user=mdettweiler [2013-07-15 10:24:52] 711*2^1247727-1 is not prime. Res64: 21EFE2BDFB56E0AB Time : 0.0 sec. user=mdettweiler [2013-07-15 10:24:53] 805*2^1247727-1 is not prime. Res64: 2C3E4E03CAAB501A Time : 0.0 sec. user=mdettweiler [2013-07-15 10:42:25] 823*2^1247727-1 is not prime. Res64: D1E53639AEBA51E7 Time : 0.0 sec. user=mdettweiler [2013-07-15 10:42:25] 919*2^1247727-1 is not prime. Res64: 93E2EF2AA404176D Time : 0.0 sec. user=vaughan [2013-07-15 10:44:06] 651*2^1247727-1 is not prime. Res64: 228E6E774CE5FD3E Time : 0.0 sec. user=mdettweiler [2013-07-15 11:00:43] 933*2^1247727-1 is not prime. Res64: C857C423BC1FB707 Time : 0.0 sec. user=mdettweiler [2013-07-15 11:00:44] 979*2^1247727-1 is not prime. Res64: 2E8E7F3BED9A22CF Time : 0.0 sec. user=mdettweiler [2013-07-15 11:18:23] 629*2^1247728-1 is not prime. Res64: BCD9D2652DA0775B Time : 0.0 sec. user=mdettweiler [2013-07-15 11:18:23] 665*2^1247728-1 is not prime. Res64: 95FD49009E7E96D6 Time : 0.0 sec. user=vaughan [2013-07-15 11:26:59] 999*2^1247727-1 is not prime. Res64: 1B5AAC4A452A2109 Time : 0.0 sec. user=mdettweiler [2013-07-15 11:35:51] 825*2^1247728-1 is not prime. Res64: BE5740E13F2AE1BD Time : 0.0 sec. user=mdettweiler [2013-07-15 11:35:51] 827*2^1247728-1 is not prime. Res64: F26440B4987D4FA7 Time : 0.0 sec. user=mdettweiler [2013-07-15 11:53:19] 887*2^1247728-1 is not prime. Res64: BCDEF5E7FAB769C9 Time : 0.0 sec. user=mdettweiler [2013-07-15 11:53:19] 897*2^1247728-1 is not prime. Res64: 2CA3084C680A536C Time : 0.0 sec. user=vaughan [2013-07-15 12:04:56] 849*2^1247728-1 is not prime. Res64: 04816D0791FF5BEE Time : 0.0 sec. user=mdettweiler [2013-07-15 12:11:49] 927*2^1247728-1 is not prime. Res64: 892C2EB913B4360E Time : 0.0 sec. user=mdettweiler [2013-07-15 12:11:49] 957*2^1247728-1 is not prime. Res64: 1014CDFCD800A251 Time : 0.0 sec. user=mdettweiler [2013-07-15 12:39:19] 657*2^1247729-1 is not prime. Res64: C2887FA07393652E Time : 0.0 sec. user=mdettweiler [2013-07-15 12:39:20] 675*2^1247729-1 is not prime. Res64: 3F44B55786C37027 Time : 0.0 sec. user=vaughan [2013-07-15 12:42:58] 619*2^1247729-1 is not prime. Res64: D7002F2896A3DF69 Time : 0.0 sec. user=mdettweiler [2013-07-15 12:57:02] 697*2^1247729-1 is not prime. Res64: 2D0068D58B918BF6 Time : 0.0 sec. user=mdettweiler [2013-07-15 12:57:02] 699*2^1247729-1 is not prime. Res64: DDB740A3C5DA43A0 Time : 0.0 sec. user=mdettweiler [2013-07-15 13:14:41] 867*2^1247729-1 is not prime. Res64: 709F444EDECDE7D7 Time : 0.0 sec. user=mdettweiler [2013-07-15 13:14:42] 885*2^1247729-1 is not prime. Res64: BC6393BD288C37EB Time : 0.0 sec. user=vaughan [2013-07-15 13:20:56] 705*2^1247729-1 is not prime. Res64: CD304FFECAFFB4AC Time : 0.0 sec. user=mdettweiler [2013-07-15 13:33:54] 979*2^1247729-1 is not prime. Res64: 8D4BDE618ACA3A73 Time : 0.0 sec. user=mdettweiler [2013-07-15 13:33:54] 997*2^1247729-1 is not prime. Res64: 0F1CB78DF1FBBDFA Time : 0.0 sec. user=mdettweiler [2013-07-15 13:51:39] 833*2^1247730-1 is not prime. Res64: 6070314FEC067D5E Time : 0.0 sec. user=mdettweiler [2013-07-15 13:51:39] 843*2^1247730-1 is not prime. Res64: 1DD8C903B3F39EB4 Time : 0.0 sec. user=vaughan [2013-07-15 13:58:53] 797*2^1247730-1 is not prime. Res64: 618556241CD09617 Time : 0.0 sec. user=mdettweiler [2013-07-15 14:09:24] 873*2^1247730-1 is not prime. Res64: 6794B180D84024A2 Time : 0.0 sec. user=mdettweiler [2013-07-15 14:09:25] 945*2^1247730-1 is not prime. Res64: 9F14B6A90E0242F3 Time : 0.0 sec. user=mdettweiler [2013-07-15 14:27:13] 691*2^1247731-1 is not prime. Res64: FE654B8EE1FE2811 Time : 0.0 sec. user=mdettweiler [2013-07-15 14:27:13] 745*2^1247731-1 is not prime. Res64: 6C4C0ECE754B2C75 Time : 0.0 sec. user=vaughan [2013-07-15 14:36:50] 639*2^1247731-1 is not prime. Res64: 5AA2D002EE09E7A6 Time : 0.0 sec. user=mdettweiler [2013-07-15 14:44:57] 859*2^1247731-1 is not prime. Res64: 65673BD3D387BD2B Time : 0.0 sec. user=mdettweiler [2013-07-15 14:44:57] 939*2^1247731-1 is not prime. Res64: 9D37EE858BD5E5B2 Time : 0.0 sec. user=mdettweiler [2013-07-15 15:02:42] 615*2^1247732-1 is not prime. Res64: 48F9E05A1618981E Time : 0.0 sec. user=mdettweiler [2013-07-15 15:02:43] 689*2^1247732-1 is not prime. Res64: 2E86BAC043CD250E Time : 0.0 sec. user=vaughan [2013-07-15 15:14:48] 603*2^1247732-1 is not prime. Res64: C12A061F26EE3FCF Time : 0.0 sec. user=mdettweiler [2013-07-15 15:21:30] 983*2^1247732-1 is not prime. Res64: 395DD353C359FBE1 Time : 0.0 sec. user=mdettweiler [2013-07-15 15:21:30] 781*2^1247733-1 is not prime. Res64: C0DAAE7F808D3E81 Time : 0.0 sec. user=mdettweiler [2013-07-15 15:39:15] 837*2^1247733-1 is not prime. Res64: BB55E33D2A8F4DEA Time : 0.0 sec. user=mdettweiler [2013-07-15 15:39:15] 895*2^1247733-1 is not prime. Res64: ED853257A18F9200 Time : 0.0 sec. user=vaughan [2013-07-15 15:52:44] 829*2^1247733-1 is not prime. Res64: 09CFD67B037919AD Time : 0.0 sec. user=mdettweiler [2013-07-15 15:57:03] 901*2^1247733-1 is not prime. Res64: E54AF49899FB6E45 Time : 0.0 sec. user=mdettweiler [2013-07-15 15:57:03] 927*2^1247733-1 is not prime. Res64: BE617F8C0199D7DA Time : 0.0 sec. user=mdettweiler [2013-07-15 16:14:48] 951*2^1247733-1 is not prime. Res64: 6B42FA7CEEA31B62 Time : 0.0 sec. user=mdettweiler [2013-07-15 16:14:48] 665*2^1247734-1 is not prime. Res64: 6C2BD7570A18610C Time : 0.0 sec. user=mdettweiler [2013-07-15 16:32:36] 707*2^1247734-1 is not prime. Res64: C98E4C5CE8C71E35 Time : 0.0 sec. user=mdettweiler [2013-07-15 16:32:36] 765*2^1247734-1 is not prime. Res64: 7F6A7F06BF0B1B37 Time : 0.0 sec. user=vaughan [2013-07-15 16:35:35] 945*2^1247733-1 is not prime. Res64: E3D1EA530D937F7A Time : 0.0 sec. user=mdettweiler [2013-07-15 16:50:22] 831*2^1247734-1 is not prime. Res64: 66EF61F2B07EDFC2 Time : 0.0 sec. user=mdettweiler [2013-07-15 16:50:23] 857*2^1247734-1 is not prime. Res64: ECD1CD37C3157D5F Time : 0.0 sec. user=mdettweiler [2013-07-15 17:08:59] 987*2^1247734-1 is not prime. Res64: A26C1665C73B6B4B Time : 0.0 sec. user=mdettweiler [2013-07-15 17:08:59] 651*2^1247735-1 is not prime. Res64: 737A95B2841421A0 Time : 0.0 sec. user=vaughan [2013-07-15 17:18:24] 945*2^1247734-1 is not prime. Res64: AB7AFF67FAE1E51F Time : 0.0 sec. user=mdettweiler [2013-07-15 17:27:45] 715*2^1247735-1 is not prime. Res64: A8253DA9E7690F23 Time : 0.0 sec. user=mdettweiler [2013-07-15 17:27:46] 759*2^1247735-1 is not prime. Res64: C278AF87B56C8B06 Time : 0.0 sec. user=mdettweiler [2013-07-15 17:47:03] 981*2^1247735-1 is not prime. Res64: 4B94F552D0AE2CD3 Time : 0.0 sec. user=mdettweiler [2013-07-15 17:47:03] 669*2^1247736-1 is not prime. Res64: 5630B31EF0D81B12 Time : 0.0 sec. user=vaughan [2013-07-15 17:56:22] 775*2^1247735-1 is not prime. Res64: 89C6C8294DB54BAD Time : 0.0 sec. user=mdettweiler [2013-07-15 18:04:46] 765*2^1247736-1 is not prime. Res64: CE66AF420FAAE317 Time : 0.0 sec. user=mdettweiler [2013-07-15 18:04:47] 839*2^1247736-1 is not prime. Res64: 20E0EAAAEA53DBCE Time : 0.0 sec. user=mdettweiler [2013-07-15 18:22:34] 607*2^1247737-1 is not prime. Res64: 20EB4F8DCB627CF9 Time : 0.0 sec. user=mdettweiler [2013-07-15 18:22:34] 609*2^1247737-1 is not prime. Res64: 3099460D3672CB88 Time : 0.0 sec. user=vaughan [2013-07-15 18:34:20] 857*2^1247736-1 is not prime. Res64: 280A4B680731C653 Time : 0.0 sec. user=mdettweiler [2013-07-15 18:40:19] 777*2^1247737-1 is not prime. Res64: 3DB5162F460F99F2 Time : 0.0 sec. user=mdettweiler [2013-07-15 18:40:19] 805*2^1247737-1 is not prime. Res64: DB9941485F27D3BE Time : 0.0 sec. user=mdettweiler [2013-07-15 18:58:02] 847*2^1247737-1 is not prime. Res64: 669456EBAE4159F1 Time : 0.0 sec. user=mdettweiler [2013-07-15 18:58:02] 623*2^1247738-1 is not prime. Res64: A8AEDE1BA0E34017 Time : 0.0 sec. user=vaughan [2013-07-15 19:12:18] 807*2^1247737-1 is not prime. Res64: ED24962EDF2CCCAC Time : 0.0 sec. user=mdettweiler [2013-07-15 19:15:45] 683*2^1247738-1 is not prime. Res64: 45316FF452509DDC Time : 0.0 sec. user=mdettweiler [2013-07-15 19:15:45] 755*2^1247738-1 is not prime. Res64: A8EABF693EE5C359 Time : 0.0 sec. user=mdettweiler [2013-07-15 19:33:27] 773*2^1247738-1 is not prime. Res64: D60DC696B69BB6A7 Time : 0.0 sec. user=mdettweiler [2013-07-15 19:33:27] 815*2^1247738-1 is not prime. Res64: 8A683B368F65A90D Time : 0.0 sec. user=vaughan [2013-07-15 19:50:18] 771*2^1247738-1 is not prime. Res64: 89D4EB4A5692F54B Time : 0.0 sec. user=mdettweiler [2013-07-15 19:51:59] 893*2^1247738-1 is not prime. Res64: AAEC607E37A6C739 Time : 0.0 sec. user=mdettweiler [2013-07-15 19:52:00] 953*2^1247738-1 is not prime. Res64: 3A18E8688E52EDDD Time : 0.0 sec. user=mdettweiler [2013-07-15 20:10:23] 663*2^1247739-1 is not prime. Res64: 41841A7CC9E8C48E Time : 0.0 sec. user=mdettweiler [2013-07-15 20:10:24] 961*2^1247739-1 is not prime. Res64: 4324E74F35490DD4 Time : 0.0 sec. user=mdettweiler [2013-07-15 20:27:57] 719*2^1247740-1 is not prime. Res64: C4F5BCE5FC6CAD65 Time : 0.0 sec. user=mdettweiler [2013-07-15 20:27:57] 777*2^1247740-1 is not prime. Res64: 785C3483C469E7F9 Time : 0.0 sec. user=vaughan [2013-07-15 20:33:08] 993*2^1247738-1 is not prime. Res64: 677B4CD6716D321F Time : 0.0 sec. user=mdettweiler [2013-07-15 20:46:16] 845*2^1247740-1 is not prime. Res64: 6D7C679D8227A5E6 Time : 0.0 sec. user=mdettweiler [2013-07-15 20:46:16] 957*2^1247740-1 is not prime. Res64: B6687B1FDC5ADFAE Time : 0.0 sec. user=mdettweiler [2013-07-15 21:04:36] 999*2^1247740-1 is not prime. Res64: 6C7974A83C616793 Time : 0.0 sec. user=mdettweiler [2013-07-15 21:04:37] 675*2^1247741-1 is not prime. Res64: BA8E6BE0A6D58732 Time : 0.0 sec. user=vaughan [2013-07-15 21:15:59] 975*2^1247740-1 is not prime. Res64: 0BD75D3D1D88FA28 Time : 0.0 sec. user=mdettweiler [2013-07-15 21:22:11] 685*2^1247741-1 is not prime. Res64: F380FB392E527875 Time : 0.0 sec. user=mdettweiler [2013-07-15 21:22:11] 711*2^1247741-1 is not prime. Res64: 51AA1F979E3C27FD Time : 0.0 sec. user=mdettweiler [2013-07-15 21:39:39] 757*2^1247741-1 is not prime. Res64: 2DDBBDEFEC48713E Time : 0.0 sec. user=mdettweiler [2013-07-15 21:39:40] 837*2^1247741-1 is not prime. Res64: 1A996B90DDB02540 Time : 0.0 sec. user=vaughan [2013-07-15 21:53:59] 717*2^1247741-1 is not prime. Res64: D7B510024D483574 Time : 0.0 sec. user=mdettweiler [2013-07-15 21:57:09] 907*2^1247741-1 is not prime. Res64: F5C06748F7A39215 Time : 0.0 sec. user=mdettweiler [2013-07-15 21:57:10] 937*2^1247741-1 is not prime. Res64: DD4E9D07B48DC37C Time : 0.0 sec. user=mdettweiler [2013-07-15 22:14:40] 747*2^1247742-1 is not prime. Res64: 9632EF1C405A2C28 Time : 0.0 sec. user=mdettweiler [2013-07-15 22:14:41] 755*2^1247742-1 is not prime. Res64: 995BC10070918812 Time : 0.0 sec. user=vaughan [2013-07-15 22:31:58] 717*2^1247742-1 is not prime. Res64: 312F585FA909AA4C Time : 0.0 sec. user=mdettweiler [2013-07-15 22:32:13] 825*2^1247742-1 is not prime. Res64: 82E003D8E607A3FE Time : 0.0 sec. user=mdettweiler [2013-07-15 22:32:13] 843*2^1247742-1 is not prime. Res64: 2F3850BEE10AC184 Time : 0.0 sec. user=mdettweiler [2013-07-15 22:51:21] 963*2^1247742-1 is not prime. Res64: BE2FC6D3B2FE11A9 Time : 0.0 sec. user=mdettweiler [2013-07-15 22:51:21] 983*2^1247742-1 is not prime. Res64: D5BF2150441BBA05 Time : 0.0 sec. user=mdettweiler [2013-07-15 23:08:50] 619*2^1247743-1 is not prime. Res64: 6498DC7DE2651F26 Time : 0.0 sec. user=mdettweiler [2013-07-15 23:08:51] 775*2^1247743-1 is not prime. Res64: A4502BF582EB0D62 Time : 0.0 sec. user=vaughan [2013-07-15 23:09:56] 873*2^1247742-1 is not prime. Res64: AB62922AAB183E5B Time : 0.0 sec. user=mdettweiler [2013-07-15 23:27:12] 813*2^1247743-1 is not prime. Res64: D95D43F9160ADCB9 Time : 0.0 sec. user=mdettweiler [2013-07-15 23:27:12] 961*2^1247743-1 is not prime. Res64: 237A0B7DD406C6D3 Time : 0.0 sec. user=mdettweiler [2013-07-15 23:44:43] 843*2^1247744-1 is not prime. Res64: 14D4F52452A1D269 Time : 0.0 sec. user=mdettweiler [2013-07-15 23:44:43] 915*2^1247744-1 is not prime. Res64: 9861F13BE4B490C0 Time : 0.0 sec. user=vaughan [2013-07-15 23:47:54] 687*2^1247744-1 is not prime. Res64: AC006324C608310B Time : 0.0 sec.