user=vaughan [2013-05-09 02:18:12] 633*2^1245719-1 is not prime. Res64: 67F48E2D0936959E Time : 0.0 sec. user=mdettweiler [2013-05-09 02:18:33] 655*2^1245719-1 is not prime. Res64: 1EC113276995C866 Time : 0.0 sec. user=mdettweiler [2013-05-09 02:18:33] 675*2^1245719-1 is not prime. Res64: A21809EA66ED9477 Time : 0.0 sec. user=mdettweiler [2013-05-09 02:30:30] 887*2^1245718-1 is not prime. Res64: 330C665EA79F4DF6 Time : 0.0 sec. user=mdettweiler [2013-05-09 02:30:31] 619*2^1245719-1 is not prime. Res64: FB2CD5D989A04CC0 Time : 0.0 sec. user=mdettweiler [2013-05-09 02:36:05] 707*2^1245720-1 is not prime. Res64: DE4BFE754043CEEB Time : 0.0 sec. user=mdettweiler [2013-05-09 02:36:08] 777*2^1245720-1 is not prime. Res64: 5F15E6FBDCD4C6F8 Time : 0.0 sec. user=mdettweiler [2013-05-09 02:48:05] 779*2^1245720-1 is not prime. Res64: F3CD87717BE060C1 Time : 0.0 sec. user=mdettweiler [2013-05-09 02:48:06] 819*2^1245720-1 is not prime. Res64: CF284FFE5EC69183 Time : 0.0 sec. user=mdettweiler [2013-05-09 02:53:59] 811*2^1245563-1 is not prime. Res64: AC029FDDAACA3E10 Time : 0.0 sec. user=mdettweiler [2013-05-09 02:54:00] 899*2^1245720-1 is not prime. Res64: 9D11D2EA9C1E0331 Time : 0.0 sec. user=vaughan [2013-05-09 02:56:48] 859*2^1245719-1 is not prime. Res64: 0FD4E8163491D083 Time : 0.0 sec. user=mdettweiler [2013-05-09 03:06:03] 717*2^1245721-1 is not prime. Res64: 34F481CC15812280 Time : 0.0 sec. user=mdettweiler [2013-05-09 03:11:46] 895*2^1245721-1 is not prime. Res64: 05F90F04AE243B0A Time : 0.0 sec. user=vaughan [2013-05-09 03:35:21] 701*2^1245722-1 is not prime. Res64: 67D2324EC15C038F Time : 0.0 sec. user=mdettweiler [2013-05-09 03:38:27] 789*2^1245721-1 is not prime. Res64: FA15C14CD948343C Time : 0.0 sec. user=mdettweiler [2013-05-09 03:47:22] 615*2^1245722-1 is not prime. Res64: B98E3773F910A012 Time : 0.0 sec. user=mdettweiler [2013-05-09 03:55:54] 791*2^1245722-1 is not prime. Res64: 5BB67A00EE974A4D Time : 0.0 sec. user=mdettweiler [2013-05-09 03:55:54] 857*2^1245722-1 is not prime. Res64: E2572A2B0238599D Time : 0.0 sec. user=mdettweiler [2013-05-09 04:13:20] 903*2^1245722-1 is not prime. Res64: D9068097834D1E20 Time : 0.0 sec. user=mdettweiler [2013-05-09 04:13:21] 945*2^1245722-1 is not prime. Res64: 57D6A57E150B2327 Time : 0.0 sec. user=vaughan [2013-05-09 04:14:22] 753*2^1245722-1 is not prime. Res64: 5EC69437B8F494A2 Time : 0.0 sec. user=mdettweiler [2013-05-09 04:24:39] 951*2^1245722-1 is not prime. Res64: 8B1E0ECD6068F477 Time : 0.0 sec. user=mdettweiler [2013-05-09 04:31:13] 859*2^1245723-1 is not prime. Res64: 88ABE6B34BDC9DE0 Time : 0.0 sec. user=mdettweiler [2013-05-09 04:31:14] 961*2^1245723-1 is not prime. Res64: 06F4878285DCE1E2 Time : 0.0 sec. user=mdettweiler [2013-05-09 04:49:15] 719*2^1245724-1 is not prime. Res64: 7C28FB82648CFCB4 Time : 0.0 sec. user=mdettweiler [2013-05-09 04:50:21] 1001*2^1245722-1 is not prime. Res64: 992C0E01C0100497 Time : 0.0 sec. user=vaughan [2013-05-09 04:58:14] 985*2^1245723-1 is not prime. Res64: AA1986C24469DF8B Time : 0.0 sec. user=mdettweiler [2013-05-09 05:08:05] 899*2^1245724-1 is not prime. Res64: FEFB62A365547B5D Time : 0.0 sec. user=mdettweiler [2013-05-09 05:08:06] 929*2^1245724-1 is not prime. Res64: 33C2950C18E19891 Time : 0.0 sec. user=mdettweiler [2013-05-09 05:20:32] 887*2^1245724-1 is not prime. Res64: 7BE9B5E2645A642B Time : 0.0 sec. user=mdettweiler [2013-05-09 05:26:40] 993*2^1245724-1 is not prime. Res64: 70BF3B4FA9610D9A Time : 0.0 sec. user=mdettweiler [2013-05-09 05:26:40] 645*2^1245725-1 is not prime. Res64: 8ECC6E7DCD0CDDB3 Time : 0.0 sec. user=vaughan [2013-05-09 05:41:59] 989*2^1245724-1 is not prime. Res64: CEC9759CDF46504D Time : 0.0 sec. user=mdettweiler [2013-05-09 05:44:07] 657*2^1245725-1 is not prime. Res64: 094A3265972749A3 Time : 0.0 sec. user=mdettweiler [2013-05-09 05:44:24] 669*2^1245725-1 is not prime. Res64: 9A069068DEFBE315 Time : 0.0 sec. user=mdettweiler [2013-05-09 06:14:41] 741*2^1245725-1 is not prime. Res64: E4A919CF00BD220F Time : 0.0 sec. user=vaughan [2013-05-09 06:20:52] 699*2^1245725-1 is not prime. Res64: 50BEBE23C4422841 Time : 0.0 sec. user=mdettweiler [2013-05-09 06:38:50] 939*2^1245725-1 is not prime. Res64: FA1FEA85EFFF403B Time : 0.0 sec. user=mdettweiler [2013-05-09 06:51:26] 799*2^1245725-1 is not prime. Res64: 521A70F65B5048F8 Time : 0.0 sec. user=vaughan [2013-05-09 06:59:44] 825*2^1245725-1 is not prime. Res64: 2BECB8E9B1500B91 Time : 0.0 sec. user=mdettweiler [2013-05-09 07:05:55] 683*2^1245726-1 is not prime. Res64: CE26436B612D57C6 Time : 0.0 sec. user=mdettweiler [2013-05-09 07:08:53] 693*2^1245726-1 is not prime. Res64: 37EF752F3ABEA7D8 Time : 0.0 sec. user=mdettweiler [2013-05-09 07:08:53] 707*2^1245726-1 is not prime. Res64: 9B5A8E8000FA21C5 Time : 0.0 sec. user=mdettweiler [2013-05-09 07:23:22] 703*2^1245727-1 is not prime. Res64: 7B6FB3CE10BB292B Time : 0.0 sec. user=mdettweiler [2013-05-09 07:23:22] 873*2^1245727-1 is not prime. Res64: F255728519AAEC35 Time : 0.0 sec. user=mdettweiler [2013-05-09 07:27:10] 891*2^1245727-1 is not prime. Res64: 75647C39ED9A95DC Time : 0.0 sec. user=mdettweiler [2013-05-09 07:27:10] 993*2^1245727-1 is not prime. Res64: 5686B83C6F901046 Time : 0.0 sec. user=vaughan [2013-05-09 07:38:27] 633*2^1245727-1 is not prime. Res64: C9E84DCE325EF8C9 Time : 0.0 sec. user=mdettweiler [2013-05-09 07:41:12] 633*2^1245728-1 is not prime. Res64: F3518AAFCED38E15 Time : 0.0 sec. user=mdettweiler [2013-05-09 07:41:12] 635*2^1245728-1 is not prime. Res64: 2877F68DED915B43 Time : 0.0 sec. user=mdettweiler [2013-05-09 07:45:02] 683*2^1245728-1 is not prime. Res64: 70F78396C1053933 Time : 0.0 sec. user=mdettweiler [2013-05-09 07:45:02] 729*2^1245728-1 is not prime. Res64: B7A299856E3A5A7A Time : 0.0 sec. user=mdettweiler [2013-05-09 07:58:39] 825*2^1245728-1 is not prime. Res64: E8B85715CCF607A8 Time : 0.0 sec. user=mdettweiler [2013-05-09 07:58:40] 845*2^1245728-1 is not prime. Res64: 1BEC71BA7B575882 Time : 0.0 sec. user=mdettweiler [2013-05-09 08:02:55] 915*2^1245728-1 is not prime. Res64: B2E52D4302BFFF49 Time : 0.0 sec. user=mdettweiler [2013-05-09 08:16:39] 959*2^1245728-1 is not prime. Res64: 692830E077AC859A Time : 0.0 sec. user=vaughan [2013-05-09 08:17:20] 767*2^1245728-1 is not prime. Res64: E2198C2792044C44 Time : 0.0 sec. user=mdettweiler [2013-05-09 08:28:30] 957*2^1245728-1 is not prime. Res64: 088E54F1721DC3B4 Time : 0.0 sec. user=mdettweiler [2013-05-09 08:44:33] 969*2^1245728-1 is not prime. Res64: EBCB9BCAA4DB8048 Time : 0.0 sec. user=mdettweiler [2013-05-09 08:46:19] 769*2^1245729-1 is not prime. Res64: A5A2D879DE440DC5 Time : 0.0 sec. user=mdettweiler [2013-05-09 08:46:19] 807*2^1245729-1 is not prime. Res64: 934744F321B8BCEB Time : 0.0 sec. user=vaughan [2013-05-09 08:55:58] 741*2^1245729-1 is not prime. Res64: 99E6B7273B6C3EBB Time : 0.0 sec. user=mdettweiler [2013-05-09 09:02:29] 877*2^1245729-1 is not prime. Res64: 67A6411DE89BDF54 Time : 0.0 sec. user=mdettweiler [2013-05-09 09:04:34] 603*2^1245730-1 is not prime. Res64: B06BCE601DA4EF73 Time : 0.0 sec. user=mdettweiler [2013-05-09 09:27:26] 623*2^1245730-1 is not prime. Res64: 60C7DA3A9B8F2DF8 Time : 0.0 sec. user=vaughan [2013-05-09 09:34:44] 743*2^1245730-1 is not prime. Res64: 980979FD7A5370CB Time : 0.0 sec. user=mdettweiler [2013-05-09 09:40:55] 891*2^1245729-1 is not prime. Res64: 06F363C20B3F20D1 Time : 0.0 sec. user=mdettweiler [2013-05-09 09:58:24] 783*2^1245730-1 is not prime. Res64: 3F28F7B1F30A8852 Time : 0.0 sec. user=mdettweiler [2013-05-09 09:58:24] 885*2^1245730-1 is not prime. Res64: 5928A6F18B172D39 Time : 0.0 sec. user=mdettweiler [2013-05-09 10:03:12] 923*2^1245730-1 is not prime. Res64: 03DE1FE517953C01 Time : 0.0 sec. user=mdettweiler [2013-05-09 10:03:13] 933*2^1245730-1 is not prime. Res64: A58BE6D6BF63B48E Time : 0.0 sec. user=vaughan [2013-05-09 10:13:24] 773*2^1245730-1 is not prime. Res64: BBEBA0F6FFF7A4E7 Time : 0.0 sec. user=mdettweiler [2013-05-09 10:15:52] 685*2^1245731-1 is not prime. Res64: 6AC2F90547349AB3 Time : 0.0 sec. user=mdettweiler [2013-05-09 10:15:52] 715*2^1245731-1 is not prime. Res64: 79DEA6F312A9DEED Time : 0.0 sec. user=mdettweiler [2013-05-09 10:20:42] 735*2^1245731-1 is not prime. Res64: 50EA31C43997B846 Time : 0.0 sec. user=mdettweiler [2013-05-09 10:20:43] 745*2^1245731-1 is not prime. Res64: B438D027E98094D6 Time : 0.0 sec. user=mdettweiler [2013-05-09 10:33:37] 855*2^1245731-1 is not prime. Res64: 52EF663D9B26C70A Time : 0.0 sec. user=mdettweiler [2013-05-09 10:33:38] 895*2^1245731-1 is not prime. Res64: 973293719AF717F6 Time : 0.0 sec. user=mdettweiler [2013-05-09 10:38:30] 901*2^1245731-1 is not prime. Res64: FDE132FDFC7A3A61 Time : 0.0 sec. user=mdettweiler [2013-05-09 10:38:31] 913*2^1245731-1 is not prime. Res64: 4647AD780C9A4274 Time : 0.0 sec. user=mdettweiler [2013-05-09 10:51:31] 931*2^1245731-1 is not prime. Res64: 745F5F0B7D659C70 Time : 0.0 sec. user=vaughan [2013-05-09 10:52:12] 781*2^1245731-1 is not prime. Res64: C5F0A64233162E2A Time : 0.0 sec. user=mdettweiler [2013-05-09 10:56:25] 653*2^1245732-1 is not prime. Res64: BBE96126E51CA5A0 Time : 0.0 sec. user=mdettweiler [2013-05-09 10:56:26] 675*2^1245732-1 is not prime. Res64: 04E96503F82ECC9F Time : 0.0 sec. user=mdettweiler [2013-05-09 11:13:16] 939*2^1245731-1 is not prime. Res64: 4FD72A810113CE18 Time : 0.0 sec. user=mdettweiler [2013-05-09 11:13:58] 867*2^1245732-1 is not prime. Res64: 0AC89D483943BC7F Time : 0.0 sec. user=mdettweiler [2013-05-09 11:13:59] 909*2^1245732-1 is not prime. Res64: EFE0CE8DCC31D3D5 Time : 0.0 sec. user=vaughan [2013-05-09 11:30:53] 737*2^1245732-1 is not prime. Res64: 0AE5BF4259C42CAA Time : 0.0 sec. user=mdettweiler [2013-05-09 11:30:58] 965*2^1245732-1 is not prime. Res64: 258E69BD246A7A94 Time : 0.0 sec. user=mdettweiler [2013-05-09 11:30:58] 675*2^1245733-1 is not prime. Res64: 4053FAB47462EB56 Time : 0.0 sec. user=mdettweiler [2013-05-09 11:31:58] 769*2^1245733-1 is not prime. Res64: 0F56BDC3FFE6F541 Time : 0.0 sec. user=mdettweiler [2013-05-09 11:31:58] 805*2^1245733-1 is not prime. Res64: 4E5CC2E62F74789A Time : 0.0 sec. user=mdettweiler [2013-05-09 11:49:09] 861*2^1245733-1 is not prime. Res64: 3E0BF5F9DB650D51 Time : 0.0 sec. user=mdettweiler [2013-05-09 11:49:10] 885*2^1245733-1 is not prime. Res64: 7BAD18CD297CF4ED Time : 0.0 sec. user=mdettweiler [2013-05-09 11:50:12] 957*2^1245733-1 is not prime. Res64: 82DB4140BE86A09E Time : 0.0 sec. user=mdettweiler [2013-05-09 12:06:49] 645*2^1245734-1 is not prime. Res64: 37EC2C19B92E9C19 Time : 0.0 sec. user=mdettweiler [2013-05-09 12:06:49] 665*2^1245734-1 is not prime. Res64: 648A8561DA4CBE4F Time : 0.0 sec. user=mdettweiler [2013-05-09 12:24:58] 831*2^1245734-1 is not prime. Res64: BF4C2B61AF59D130 Time : 0.0 sec. user=mdettweiler [2013-05-09 12:24:58] 945*2^1245734-1 is not prime. Res64: 79C84B06F924D020 Time : 0.0 sec. user=mdettweiler [2013-05-09 12:26:50] 967*2^1245733-1 is not prime. Res64: 61DDF7C386516680 Time : 0.0 sec. user=mdettweiler [2013-05-09 12:42:46] 711*2^1245735-1 is not prime. Res64: 684B67DA0B1F2535 Time : 0.0 sec. user=mdettweiler [2013-05-09 12:42:46] 763*2^1245735-1 is not prime. Res64: AFFAAFEBFC01459D Time : 0.0 sec. user=mdettweiler [2013-05-09 12:44:59] 789*2^1245735-1 is not prime. Res64: DF595B594D81D649 Time : 0.0 sec. user=vaughan [2013-05-09 12:47:09] 859*2^1245733-1 is not prime. Res64: 92D8E685831D307C Time : 0.0 sec. user=mdettweiler [2013-05-09 13:00:28] 933*2^1245735-1 is not prime. Res64: E4458832D2B84FBA Time : 0.0 sec. user=mdettweiler [2013-05-09 13:00:30] 777*2^1245736-1 is not prime. Res64: DE49F2959892A005 Time : 0.0 sec. user=mdettweiler [2013-05-09 13:11:20] 859*2^1245735-1 is not prime. Res64: 4222513D9EF02068 Time : 0.0 sec. user=mdettweiler [2013-05-09 13:18:20] 803*2^1245736-1 is not prime. Res64: FE219B7EADAE656C Time : 0.0 sec. user=mdettweiler [2013-05-09 13:18:20] 849*2^1245736-1 is not prime. Res64: 9088571C1CCFB5BD Time : 0.0 sec. user=mdettweiler [2013-05-09 13:36:15] 903*2^1245736-1 is not prime. Res64: E4A6D200B3DEA616 Time : 0.0 sec. user=mdettweiler [2013-05-09 13:57:46] 909*2^1245736-1 is not prime. Res64: 5CB4DF85DFB99840 Time : 0.0 sec. user=mdettweiler [2013-05-09 14:03:25] 607*2^1245737-1 is not prime. Res64: 23DF9FBBE0D4195B Time : 0.0 sec. user=mdettweiler [2013-05-09 14:03:26] 657*2^1245738-1 is not prime. Res64: 8D98FC5C2E810518 Time : 0.0 sec. user=vaughan [2013-05-09 14:08:09] 999*2^1245736-1 is not prime. Res64: 00ABE66004C864A7 Time : 0.0 sec. user=mdettweiler [2013-05-09 14:15:32] 671*2^1245738-1 is not prime. Res64: E5614689B0140D69 Time : 0.0 sec. user=mdettweiler [2013-05-09 14:15:32] 735*2^1245738-1 is not prime. Res64: 7EB08B7815EC70A1 Time : 0.0 sec. user=mdettweiler [2013-05-09 14:21:05] 765*2^1245738-1 is not prime. Res64: 3AEB2F3887BFF6B8 Time : 0.0 sec. user=mdettweiler [2013-05-09 14:21:06] 777*2^1245738-1 is not prime. Res64: 273D3FA540B0D616 Time : 0.0 sec. user=mdettweiler [2013-05-09 14:33:12] 893*2^1245738-1 is not prime. Res64: 8893074FBA93BAAD Time : 0.0 sec. user=mdettweiler [2013-05-09 14:33:12] 923*2^1245738-1 is not prime. Res64: CEFD9766B0663F7B Time : 0.0 sec. user=mdettweiler [2013-05-09 14:39:02] 927*2^1245738-1 is not prime. Res64: B6F9E5D6A0CDA7F6 Time : 0.0 sec. user=mdettweiler [2013-05-09 14:39:02] 913*2^1245739-1 is not prime. Res64: 9027E78CC88E2DB7 Time : 0.0 sec. user=vaughan [2013-05-09 14:46:56] 875*2^1245738-1 is not prime. Res64: 61E1A3E4546C5A61 Time : 0.0 sec. user=mdettweiler [2013-05-09 14:51:12] 919*2^1245739-1 is not prime. Res64: FC9241EFB6D7AB9E Time : 0.0 sec. user=mdettweiler [2013-05-09 14:56:45] 609*2^1245740-1 is not prime. Res64: F711064CCCD5CA17 Time : 0.0 sec. user=mdettweiler [2013-05-09 14:56:46] 635*2^1245740-1 is not prime. Res64: AC490231931D1148 Time : 0.0 sec. user=mdettweiler [2013-05-09 15:11:47] 979*2^1245739-1 is not prime. Res64: CE3919388D6507A9 Time : 0.0 sec. user=mdettweiler [2013-05-09 15:15:01] 845*2^1245740-1 is not prime. Res64: BD2DF3BF0B5FD7B6 Time : 0.0 sec. user=mdettweiler [2013-05-09 15:15:02] 899*2^1245740-1 is not prime. Res64: 98D5090FF0B4C290 Time : 0.0 sec. user=vaughan [2013-05-09 15:25:34] 665*2^1245740-1 is not prime. Res64: E0275ED5F07B344C Time : 0.0 sec. user=mdettweiler [2013-05-09 15:33:51] 727*2^1245741-1 is not prime. Res64: 803E67EC86E00B9B Time : 0.0 sec. user=mdettweiler [2013-05-09 15:54:54] 817*2^1245741-1 is not prime. Res64: 4C1EE0B7DA776612 Time : 0.0 sec. user=mdettweiler [2013-05-09 15:54:55] 849*2^1245741-1 is not prime. Res64: 352D2B616B074950 Time : 0.0 sec. user=vaughan [2013-05-09 16:04:10] 805*2^1245741-1 is not prime. Res64: 7EEE36E9AF2ECFC7 Time : 0.0 sec. user=mdettweiler [2013-05-09 16:04:32] 745*2^1245741-1 is not prime. Res64: 777C0C5328BACA3D Time : 0.0 sec. user=mdettweiler [2013-05-09 16:13:22] 895*2^1245741-1 is not prime. Res64: 3023ECDD5AFDE4FE Time : 0.0 sec. user=mdettweiler [2013-05-09 16:23:03] 665*2^1245742-1 is not prime. Res64: 5A621BEC4612DE5A Time : 0.0 sec. user=mdettweiler [2013-05-09 16:36:22] 975*2^1245741-1 is not prime. Res64: AC6E820B7E712FF5 Time : 0.0 sec. user=vaughan [2013-05-09 16:42:38] 617*2^1245742-1 is not prime. Res64: AB0635D662093531 Time : 0.0 sec. user=mdettweiler [2013-05-09 16:47:57] 741*2^1245742-1 is not prime. Res64: D8E70BD0472F17BF Time : 0.0 sec. user=mdettweiler [2013-05-09 16:54:15] 761*2^1245742-1 is not prime. Res64: 433772C41986A03B Time : 0.0 sec. user=mdettweiler [2013-05-09 16:54:16] 815*2^1245742-1 is not prime. Res64: 77BCEB9D4A408F5B Time : 0.0 sec. user=mdettweiler [2013-05-09 17:05:54] 673*2^1245743-1 is not prime. Res64: B57486CBEB5B0A1B Time : 0.0 sec. user=mdettweiler [2013-05-09 17:05:55] 825*2^1245743-1 is not prime. Res64: 7D38492619705BD8 Time : 0.0 sec. user=mdettweiler [2013-05-09 17:12:17] 955*2^1245743-1 is not prime. Res64: 023F2276D0971CFD Time : 0.0 sec. user=mdettweiler [2013-05-09 17:12:18] 657*2^1245744-1 is not prime. Res64: E97CFBD8EAFBF6B9 Time : 0.0 sec. user=vaughan [2013-05-09 17:21:54] 649*2^1245743-1 is not prime. Res64: F206C2FB25B1F8E3 Time : 0.0 sec. user=mdettweiler [2013-05-09 17:24:22] 695*2^1245744-1 is not prime. Res64: CC1A0DF21F481027 Time : 0.0 sec. user=mdettweiler [2013-05-09 17:30:08] 765*2^1245744-1 is not prime. Res64: 1B08C40A75F4ACC3 Time : 0.0 sec. user=mdettweiler [2013-05-09 17:30:09] 975*2^1245744-1 is not prime. Res64: 6626A95903E3850B Time : 0.0 sec. user=mdettweiler [2013-05-09 17:48:25] 667*2^1245745-1 is not prime. Res64: E7D058572C5C489C Time : 0.0 sec. user=mdettweiler [2013-05-09 17:48:25] 717*2^1245745-1 is not prime. Res64: 051AC03EF95764D8 Time : 0.0 sec. user=mdettweiler [2013-05-09 18:03:19] 759*2^1245744-1 is not prime. Res64: EC220E84DFB14C14 Time : 0.0 sec. user=mdettweiler [2013-05-09 18:06:56] 867*2^1245745-1 is not prime. Res64: E14B57EA6E9FE5E0 Time : 0.0 sec. user=mdettweiler [2013-05-09 18:32:08] 889*2^1245745-1 is not prime. Res64: 7C3E9EBA54559F47 Time : 0.0 sec. user=vaughan [2013-05-09 18:37:24] 895*2^1245745-1 is not prime. Res64: AEE85FFA8A0392A7 Time : 0.0 sec. user=mdettweiler [2013-05-09 18:50:06] 951*2^1245745-1 is not prime. Res64: 2C47C03DD68CC1E3 Time : 0.0 sec. user=mdettweiler [2013-05-09 18:50:23] 623*2^1245746-1 is not prime. Res64: 5A9F5E9F0DB78F05 Time : 0.0 sec. user=mdettweiler [2013-05-09 18:59:32] 941*2^1245746-1 is not prime. Res64: B17892D4C4F7DCA5 Time : 0.0 sec. user=mdettweiler [2013-05-09 18:59:33] 685*2^1245747-1 is not prime. Res64: CF49E9FEC6301E8A Time : 0.0 sec. user=vaughan [2013-05-09 19:16:02] 813*2^1245746-1 is not prime. Res64: F893A9C969F1AC44 Time : 0.0 sec. user=mdettweiler [2013-05-09 19:17:47] 765*2^1245747-1 is not prime. Res64: 843445B324BE325C Time : 0.0 sec. user=mdettweiler [2013-05-09 19:31:11] 963*2^1245747-1 is not prime. Res64: FF9A391C60E3727C Time : 0.0 sec. user=mdettweiler [2013-05-09 19:31:11] 749*2^1245748-1 is not prime. Res64: D7BD09EE33D46A56 Time : 0.0 sec. user=mdettweiler [2013-05-09 19:49:11] 887*2^1245748-1 is not prime. Res64: 3EE368B79D86616A Time : 0.0 sec. user=mdettweiler [2013-05-09 19:49:11] 601*2^1245749-1 is not prime. Res64: 002B309663B7749A Time : 0.0 sec. user=mdettweiler [2013-05-09 19:53:24] 781*2^1245747-1 is not prime. Res64: 8D4F484965346306 Time : 0.0 sec. user=vaughan [2013-05-09 19:54:48] 845*2^1245748-1 is not prime. Res64: E75255A753DA1177 Time : 0.0 sec. user=mdettweiler [2013-05-09 20:07:32] 615*2^1245749-1 is not prime. Res64: 0F28911D41784123 Time : 0.0 sec. user=mdettweiler [2013-05-09 20:07:33] 727*2^1245749-1 is not prime. Res64: 8206FC9F610A4398 Time : 0.0 sec. user=mdettweiler [2013-05-09 20:11:29] 831*2^1245749-1 is not prime. Res64: E73E8F8CD0FAAFC8 Time : 0.0 sec. user=mdettweiler [2013-05-09 20:26:18] 651*2^1245750-1 is not prime. Res64: 0D010C23AC8DF916 Time : 0.0 sec. user=mdettweiler [2013-05-09 20:26:19] 711*2^1245750-1 is not prime. Res64: E813504D8AC441F8 Time : 0.0 sec. user=vaughan [2013-05-09 20:38:36] 939*2^1245749-1 is not prime. Res64: 17856513DAED4CCF Time : 0.0 sec. user=mdettweiler [2013-05-09 20:44:39] 725*2^1245750-1 is not prime. Res64: 79A4297A6C8D14E2 Time : 0.0 sec. user=mdettweiler [2013-05-09 20:49:35] 867*2^1245749-1 is not prime. Res64: C98C96F8E9296BEF Time : 0.0 sec. user=vaughan [2013-05-09 21:17:02] 845*2^1245750-1 is not prime. Res64: 77A570445208CF90 Time : 0.0 sec. user=mdettweiler [2013-05-09 21:35:41] 625*2^1245751-1 is not prime. Res64: 6980F1DF071F2F63 Time : 0.0 sec. user=mdettweiler [2013-05-09 21:35:41] 705*2^1245751-1 is not prime. Res64: 4004950FB28C66A5 Time : 0.0 sec. user=mdettweiler [2013-05-09 21:45:51] 755*2^1245750-1 is not prime. Res64: 3230F8FDBFCCEFB3 Time : 0.0 sec. user=mdettweiler [2013-05-09 21:53:55] 723*2^1245751-1 is not prime. Res64: 3683A43B0427F9FC Time : 0.0 sec. user=vaughan [2013-05-09 21:55:38] 601*2^1245751-1 is not prime. Res64: 7E2E8BC526EFCF2A Time : 0.0 sec. user=mdettweiler [2013-05-09 22:15:18] 783*2^1245751-1 is not prime. Res64: E9335881E7E3B71A Time : 0.0 sec. user=mdettweiler [2013-05-09 22:33:15] 913*2^1245751-1 is not prime. Res64: F9DADEBA7087954C Time : 0.0 sec. user=mdettweiler [2013-05-09 22:33:15] 969*2^1245751-1 is not prime. Res64: 191E1A6769A072BB Time : 0.0 sec. user=vaughan [2013-05-09 22:34:22] 855*2^1245751-1 is not prime. Res64: 35FFF42F9934C1D8 Time : 0.0 sec. user=mdettweiler [2013-05-09 22:41:43] 665*2^1245752-1 is not prime. Res64: 79760FFB50FE589B Time : 0.0 sec. user=mdettweiler [2013-05-09 22:41:43] 693*2^1245752-1 is not prime. Res64: 006DD64EB5537197 Time : 0.0 sec. user=mdettweiler [2013-05-09 22:51:10] 983*2^1245752-1 is not prime. Res64: EE3EC545A71BD2AD Time : 0.0 sec. user=mdettweiler [2013-05-09 22:51:10] 627*2^1245753-1 is not prime. Res64: 0C3DA6F7EC10419B Time : 0.0 sec. user=mdettweiler [2013-05-09 22:59:34] 811*2^1245753-1 is not prime. Res64: B0B54EDDAA357BF1 Time : 0.0 sec. user=mdettweiler [2013-05-09 22:59:34] 817*2^1245753-1 is not prime. Res64: 28A14720F5DE03CB Time : 0.0 sec. user=mdettweiler [2013-05-09 23:09:06] 889*2^1245753-1 is not prime. Res64: 37228FAC45F15687 Time : 0.0 sec. user=mdettweiler [2013-05-09 23:09:07] 915*2^1245753-1 is not prime. Res64: DE36435462978024 Time : 0.0 sec. user=vaughan [2013-05-09 23:13:00] 705*2^1245753-1 is not prime. Res64: 030D0788BE6A9419 Time : 0.0 sec. user=mdettweiler [2013-05-09 23:17:32] 955*2^1245753-1 is not prime. Res64: B5A3E749988836C6 Time : 0.0 sec. user=mdettweiler [2013-05-09 23:17:32] 677*2^1245754-1 is not prime. Res64: 5BAFCE7700C6D713 Time : 0.0 sec. user=mdettweiler [2013-05-09 23:27:13] 741*2^1245754-1 is not prime. Res64: 8AC8BE27BE27C940 Time : 0.0 sec. user=mdettweiler [2013-05-09 23:27:13] 791*2^1245754-1 is not prime. Res64: 1881878D154FD5AA Time : 0.0 sec. user=mdettweiler [2013-05-09 23:36:19] 975*2^1245754-1 is not prime. Res64: BA2216798B02B2D7 Time : 0.0 sec. user=mdettweiler [2013-05-09 23:36:19] 993*2^1245754-1 is not prime. Res64: A41FCC15587122B3 Time : 0.0 sec. user=mdettweiler [2013-05-09 23:45:33] 715*2^1245755-1 is not prime. Res64: F0D391537A90C59B Time : 0.0 sec. user=mdettweiler [2013-05-09 23:45:33] 759*2^1245755-1 is not prime. Res64: 8A2C8C01FC4182A8 Time : 0.0 sec. user=vaughan [2013-05-09 23:51:49] 813*2^1245754-1 is not prime. Res64: DF21211BC303F79B Time : 0.0 sec. user=mdettweiler [2013-05-09 23:54:58] 841*2^1245755-1 is not prime. Res64: 3B5522D4A19AB6DA Time : 0.0 sec.