user=mdettweiler [2013-06-10 00:04:51] 867*2^1246716-1 is not prime. Res64: 58CACA9071043AE7 Time : 0.0 sec. user=mdettweiler [2013-06-10 00:10:09] 927*2^1246716-1 is not prime. Res64: 28B36186C0018FB4 Time : 0.0 sec. user=mdettweiler [2013-06-10 00:10:10] 687*2^1246717-1 is not prime. Res64: EFA78E60D9924945 Time : 0.0 sec. user=vaughan [2013-06-10 00:10:31] 629*2^1246716-1 is not prime. Res64: 717E321410C699E9 Time : 0.0 sec. user=mdettweiler [2013-06-10 00:27:57] 769*2^1246717-1 is not prime. Res64: 1C5FC00D5C2ADD30 Time : 0.0 sec. user=mdettweiler [2013-06-10 00:27:58] 835*2^1246717-1 is not prime. Res64: 30AE363DE06ED38B Time : 0.0 sec. user=mdettweiler [2013-06-10 00:28:40] 909*2^1246716-1 is not prime. Res64: 7DA7D3577293015B Time : 0.0 sec. user=mdettweiler [2013-06-10 00:46:00] 889*2^1246717-1 is not prime. Res64: 48DDE11B484A8ACC Time : 0.0 sec. user=mdettweiler [2013-06-10 00:46:21] 955*2^1246717-1 is not prime. Res64: 5F825F69B93B03FB Time : 0.0 sec. user=vaughan [2013-06-10 00:48:48] 871*2^1246717-1 is not prime. Res64: 76268053692943E5 Time : 0.0 sec. user=mdettweiler [2013-06-10 01:09:47] 957*2^1246717-1 is not prime. Res64: C1EAA6702E6A88D3 Time : 0.0 sec. user=mdettweiler [2013-06-10 01:14:03] 895*2^1246717-1 is not prime. Res64: FCFE03C703BBB6F6 Time : 0.0 sec. user=mdettweiler [2013-06-10 01:31:36] 767*2^1246718-1 is not prime. Res64: CA1EFFCBD8E25325 Time : 0.0 sec. user=mdettweiler [2013-06-10 01:31:36] 831*2^1246718-1 is not prime. Res64: 9A957767014E3A23 Time : 0.0 sec. user=vaughan [2013-06-10 01:32:19] 985*2^1246717-1 is not prime. Res64: 2C5E8C6F1A8A383F Time : 0.0 sec. user=mdettweiler [2013-06-10 01:46:42] 885*2^1246718-1 is not prime. Res64: 485268D3EF7C60B2 Time : 0.0 sec. user=mdettweiler [2013-06-10 01:46:43] 1001*2^1246718-1 is not prime. Res64: CA6C6271D9F815AB Time : 0.0 sec. user=mdettweiler [2013-06-10 01:49:09] 675*2^1246719-1 is not prime. Res64: 1A8B064895FDCE01 Time : 0.0 sec. user=mdettweiler [2013-06-10 01:49:09] 745*2^1246719-1 is not prime. Res64: BCB03B79B64B7CC1 Time : 0.0 sec. user=mdettweiler [2013-06-10 02:04:33] 763*2^1246719-1 is not prime. Res64: 08BBD057D322DB6F Time : 0.0 sec. user=mdettweiler [2013-06-10 02:04:34] 843*2^1246719-1 is not prime. Res64: 3CA1A23B75AE96BC Time : 0.0 sec. user=mdettweiler [2013-06-10 02:06:40] 609*2^1246720-1 is not prime. Res64: E4F248DE9D6557E1 Time : 0.0 sec. user=mdettweiler [2013-06-10 02:06:41] 653*2^1246720-1 is not prime. Res64: 88860A1686840581 Time : 0.0 sec. user=mdettweiler [2013-06-10 02:22:21] 665*2^1246720-1 is not prime. Res64: A91855694E8A3D5A Time : 0.0 sec. user=mdettweiler [2013-06-10 02:22:21] 755*2^1246720-1 is not prime. Res64: F8EEA5E4F21CC0EC Time : 0.0 sec. user=mdettweiler [2013-06-10 02:24:28] 939*2^1246720-1 is not prime. Res64: A9F32F7952F252EF Time : 0.0 sec. user=mdettweiler [2013-06-10 02:24:29] 669*2^1246721-1 is not prime. Res64: 1FB40A38F9C0956E Time : 0.0 sec. user=mdettweiler [2013-06-10 02:39:52] 727*2^1246721-1 is not prime. Res64: A72710117DD7F13F Time : 0.0 sec. user=mdettweiler [2013-06-10 02:39:53] 747*2^1246721-1 is not prime. Res64: 3E0667FBD2919A1B Time : 0.0 sec. user=mdettweiler [2013-06-10 02:42:00] 781*2^1246721-1 is not prime. Res64: 22859164552B4086 Time : 0.0 sec. user=mdettweiler [2013-06-10 02:42:02] 871*2^1246721-1 is not prime. Res64: CC7EB0D872C05919 Time : 0.0 sec. user=vaughan [2013-06-10 02:48:28] 711*2^1246721-1 is not prime. Res64: 71544D302921A8F4 Time : 0.0 sec. user=mdettweiler [2013-06-10 02:57:40] 957*2^1246721-1 is not prime. Res64: 3A644CE75F08ADAF Time : 0.0 sec. user=mdettweiler [2013-06-10 02:57:57] 735*2^1246722-1 is not prime. Res64: 938186B7FEEA344A Time : 0.0 sec. user=mdettweiler [2013-06-10 03:00:04] 755*2^1246722-1 is not prime. Res64: FC1BF2ADA95F1966 Time : 0.0 sec. user=mdettweiler [2013-06-10 03:39:29] 765*2^1246722-1 is not prime. Res64: 953127FFBFBBB24E Time : 0.0 sec. user=mdettweiler [2013-06-10 03:55:50] 891*2^1246722-1 is not prime. Res64: 2509CB1AA3DC9A36 Time : 0.0 sec. user=mdettweiler [2013-06-10 03:55:50] 983*2^1246722-1 is not prime. Res64: 40CE8D76BA7DD533 Time : 0.0 sec. user=mdettweiler [2013-06-10 03:56:59] 673*2^1246723-1 is not prime. Res64: 2406CE242721AD0A Time : 0.0 sec. user=mdettweiler [2013-06-10 03:57:00] 693*2^1246723-1 is not prime. Res64: 7FCFA4CA1604112F Time : 0.0 sec. user=vaughan [2013-06-10 04:04:51] 807*2^1246722-1 is not prime. Res64: 40D6A4CBD220EF9B Time : 0.0 sec. user=mdettweiler [2013-06-10 04:13:20] 783*2^1246723-1 is not prime. Res64: 691CF3758EBF1CC2 Time : 0.0 sec. user=mdettweiler [2013-06-10 04:13:21] 885*2^1246723-1 is not prime. Res64: A4F617D8FAFF0F11 Time : 0.0 sec. user=mdettweiler [2013-06-10 04:15:19] 993*2^1246723-1 is not prime. Res64: 825CA2F11E269B51 Time : 0.0 sec. user=mdettweiler [2013-06-10 04:15:20] 635*2^1246724-1 is not prime. Res64: B073F59B26A3BCF6 Time : 0.0 sec. user=mdettweiler [2013-06-10 04:31:13] 707*2^1246724-1 is not prime. Res64: 951346D8D1AD1ABD Time : 0.0 sec. user=mdettweiler [2013-06-10 04:33:23] 873*2^1246724-1 is not prime. Res64: 45BCD83B0FA74AD9 Time : 0.0 sec. user=vaughan [2013-06-10 04:43:05] 665*2^1246724-1 is not prime. Res64: 2E80B5820AE8F5BB Time : 0.0 sec. user=mdettweiler [2013-06-10 04:52:26] 957*2^1246724-1 is not prime. Res64: 75FAC12DD31B2376 Time : 0.0 sec. user=mdettweiler [2013-06-10 05:02:26] 795*2^1246724-1 is not prime. Res64: 451DFD46342F94CE Time : 0.0 sec. user=mdettweiler [2013-06-10 05:22:00] 987*2^1246724-1 is not prime. Res64: FDAB60876962CE4F Time : 0.0 sec. user=mdettweiler [2013-06-10 05:22:01] 993*2^1246724-1 is not prime. Res64: 63E8E816BB6B3870 Time : 0.0 sec. user=vaughan [2013-06-10 05:26:23] 969*2^1246724-1 is not prime. Res64: A6F98C5165B4A1CE Time : 0.0 sec. user=mdettweiler [2013-06-10 05:36:59] 691*2^1246725-1 is not prime. Res64: CDD30AB59F22E79F Time : 0.0 sec. user=mdettweiler [2013-06-10 05:37:00] 699*2^1246725-1 is not prime. Res64: 29C2164645ACA52F Time : 0.0 sec. user=mdettweiler [2013-06-10 05:39:47] 859*2^1246725-1 is not prime. Res64: E52D2A557F68E0C2 Time : 0.0 sec. user=mdettweiler [2013-06-10 05:39:48] 885*2^1246725-1 is not prime. Res64: 57A660149B464D95 Time : 0.0 sec. user=mdettweiler [2013-06-10 05:54:35] 951*2^1246725-1 is not prime. Res64: 404CA4A7120E9D8A Time : 0.0 sec. user=mdettweiler [2013-06-10 05:54:35] 713*2^1246726-1 is not prime. Res64: C02B62AC641F84EA Time : 0.0 sec. user=mdettweiler [2013-06-10 05:57:23] 761*2^1246726-1 is not prime. Res64: 3E4A0B8DC3CF2791 Time : 0.0 sec. user=mdettweiler [2013-06-10 05:57:23] 783*2^1246726-1 is not prime. Res64: 45FA81C689EC3978 Time : 0.0 sec. user=vaughan [2013-06-10 06:10:04] 919*2^1246725-1 is not prime. Res64: B80340ED78F1965A Time : 0.0 sec. user=mdettweiler [2013-06-10 06:12:35] 801*2^1246726-1 is not prime. Res64: BCD3B3C949DFA644 Time : 0.0 sec. user=mdettweiler [2013-06-10 06:16:11] 825*2^1246727-1 is not prime. Res64: 0C36C7C77C862376 Time : 0.0 sec. user=mdettweiler [2013-06-10 06:44:35] 985*2^1246727-1 is not prime. Res64: C4D7C1443EA67812 Time : 0.0 sec. user=vaughan [2013-06-10 06:48:46] 747*2^1246728-1 is not prime. Res64: 9D8D8EAFC6269BA9 Time : 0.0 sec. user=mdettweiler [2013-06-10 06:49:07] 857*2^1246726-1 is not prime. Res64: 076A8FC71E81FFED Time : 0.0 sec. user=mdettweiler [2013-06-10 07:02:05] 839*2^1246728-1 is not prime. Res64: 5ABDC9A0331EA18B Time : 0.0 sec. user=mdettweiler [2013-06-10 07:02:06] 845*2^1246728-1 is not prime. Res64: 18322DF3AF094F6F Time : 0.0 sec. user=mdettweiler [2013-06-10 07:19:53] 849*2^1246728-1 is not prime. Res64: 5CE1BA00B0B240E4 Time : 0.0 sec. user=mdettweiler [2013-06-10 07:33:36] 923*2^1246728-1 is not prime. Res64: 650B5D83F3A42028 Time : 0.0 sec. user=mdettweiler [2013-06-10 07:58:34] 893*2^1246728-1 is not prime. Res64: 51BA0628D0B40723 Time : 0.0 sec. user=vaughan [2013-06-10 08:05:13] 729*2^1246729-1 is not prime. Res64: D6BA2921AF7D2769 Time : 0.0 sec. user=mdettweiler [2013-06-10 08:13:08] 681*2^1246729-1 is not prime. Res64: 8433ED7DAAD716CD Time : 0.0 sec. user=vaughan [2013-06-10 08:43:44] 847*2^1246729-1 is not prime. Res64: 7497B6DC3DC91091 Time : 0.0 sec. user=mdettweiler [2013-06-10 08:44:09] 997*2^1246729-1 is not prime. Res64: FA246258D452680A Time : 0.0 sec. user=mdettweiler [2013-06-10 08:44:10] 641*2^1246730-1 is not prime. Res64: CF745677E7AD6133 Time : 0.0 sec. user=mdettweiler [2013-06-10 08:59:51] 743*2^1246730-1 is not prime. Res64: AD6A5A5BAC23A797 Time : 0.0 sec. user=mdettweiler [2013-06-10 09:02:45] 987*2^1246730-1 is not prime. Res64: 4C694370F7322AE5 Time : 0.0 sec. user=vaughan [2013-06-10 09:21:51] 875*2^1246730-1 is not prime. Res64: 37386AC7D3FC6D6F Time : 0.0 sec. user=mdettweiler [2013-06-10 09:25:17] 783*2^1246730-1 is not prime. Res64: FA7F517C492C3334 Time : 0.0 sec. user=mdettweiler [2013-06-10 09:31:48] 613*2^1246731-1 is not prime. Res64: 44228AD1ACF9962E Time : 0.0 sec. user=mdettweiler [2013-06-10 09:49:34] 679*2^1246731-1 is not prime. Res64: A2F79D54DAA67919 Time : 0.0 sec. user=vaughan [2013-06-10 10:00:15] 639*2^1246731-1 is not prime. Res64: 5B2D917FE7149E6F Time : 0.0 sec. user=mdettweiler [2013-06-10 10:09:53] 709*2^1246731-1 is not prime. Res64: 5C50BCA149E31578 Time : 0.0 sec. user=mdettweiler [2013-06-10 10:09:56] 753*2^1246731-1 is not prime. Res64: ACCBD75259DBD44A Time : 0.0 sec. user=mdettweiler [2013-06-10 10:09:57] 775*2^1246731-1 is not prime. Res64: 1AA724D8FE46EC2F Time : 0.0 sec. user=mdettweiler [2013-06-10 10:27:31] 861*2^1246731-1 is not prime. Res64: 176545BB6AD151AB Time : 0.0 sec. user=mdettweiler [2013-06-10 10:27:31] 921*2^1246731-1 is not prime. Res64: 5FF77898E9DBAEC6 Time : 0.0 sec. user=mdettweiler [2013-06-10 10:27:31] 873*2^1246731-1 is not prime. Res64: CF9A9CC268156D44 Time : 0.0 sec. user=mdettweiler [2013-06-10 10:27:31] 931*2^1246731-1 is not prime. Res64: 8638F02C6241A537 Time : 0.0 sec. user=vaughan [2013-06-10 10:38:45] 805*2^1246731-1 is not prime. Res64: 0CF9F988DF514726 Time : 0.0 sec. user=mdettweiler [2013-06-10 10:45:18] 635*2^1246732-1 is not prime. Res64: B2F7396CFE9E14D0 Time : 0.0 sec. user=mdettweiler [2013-06-10 10:45:19] 705*2^1246732-1 is not prime. Res64: 970E3B9A1834A457 Time : 0.0 sec. user=mdettweiler [2013-06-10 10:45:21] 825*2^1246732-1 is not prime. Res64: 26DDDE353A1E6022 Time : 0.0 sec. user=mdettweiler [2013-06-10 10:45:21] 833*2^1246732-1 is not prime. Res64: 20B36DBD4FD157AB Time : 0.0 sec. user=mdettweiler [2013-06-10 11:03:12] 621*2^1246733-1 is not prime. Res64: BB34A51796C5AF4C Time : 0.0 sec. user=mdettweiler [2013-06-10 11:03:13] 651*2^1246733-1 is not prime. Res64: 6B735C4619E77162 Time : 0.0 sec. user=mdettweiler [2013-06-10 11:03:55] 933*2^1246732-1 is not prime. Res64: 380761FDF094A245 Time : 0.0 sec. user=mdettweiler [2013-06-10 11:03:56] 987*2^1246732-1 is not prime. Res64: B9E54E4B8741EB18 Time : 0.0 sec. user=vaughan [2013-06-10 11:17:00] 869*2^1246732-1 is not prime. Res64: 8C2C583EEAB4A794 Time : 0.0 sec. user=mdettweiler [2013-06-10 11:21:16] 769*2^1246733-1 is not prime. Res64: 9D49618D09DC739D Time : 0.0 sec. user=mdettweiler [2013-06-10 11:21:58] 611*2^1246734-1 is not prime. Res64: 23635D95A26C09F8 Time : 0.0 sec. user=vaughan [2013-06-10 11:55:07] 791*2^1246734-1 is not prime. Res64: 1580DA09679B21C1 Time : 0.0 sec. user=mdettweiler [2013-06-10 12:04:03] 901*2^1246733-1 is not prime. Res64: 3F8BDA72B4A041F0 Time : 0.0 sec. user=mdettweiler [2013-06-10 12:05:44] 681*2^1246734-1 is not prime. Res64: 25FAE95D6DC0924A Time : 0.0 sec. user=mdettweiler [2013-06-10 12:25:20] 861*2^1246734-1 is not prime. Res64: E6321B312405D5D8 Time : 0.0 sec. user=mdettweiler [2013-06-10 12:25:21] 1001*2^1246734-1 is not prime. Res64: 34FA56007F325EE6 Time : 0.0 sec. user=vaughan [2013-06-10 12:33:14] 833*2^1246734-1 is not prime. Res64: DA46FF67B786F47F Time : 0.0 sec. user=mdettweiler [2013-06-10 12:45:24] 741*2^1246735-1 is not prime. Res64: DD28C3D19CDBED12 Time : 0.0 sec. user=mdettweiler [2013-06-10 12:53:45] 861*2^1246735-1 is not prime. Res64: 52E860AED50EA828 Time : 0.0 sec. user=mdettweiler [2013-06-10 12:53:46] 873*2^1246735-1 is not prime. Res64: 32EA80E50CC55FF5 Time : 0.0 sec. user=vaughan [2013-06-10 13:11:39] 831*2^1246735-1 is not prime. Res64: 53305009800C0305 Time : 0.0 sec. user=mdettweiler [2013-06-10 13:12:08] 909*2^1246735-1 is not prime. Res64: D16CECA456102497 Time : 0.0 sec. user=mdettweiler [2013-06-10 13:12:08] 951*2^1246735-1 is not prime. Res64: A4D7F65E10FE29AD Time : 0.0 sec. user=mdettweiler [2013-06-10 13:24:46] 759*2^1246735-1 is not prime. Res64: 362CD276C87DE6F4 Time : 0.0 sec. user=mdettweiler [2013-06-10 13:30:07] 663*2^1246736-1 is not prime. Res64: A899D98E37AA83FE Time : 0.0 sec. user=mdettweiler [2013-06-10 13:30:08] 747*2^1246736-1 is not prime. Res64: D5471CF92C7BE1E5 Time : 0.0 sec. user=mdettweiler [2013-06-10 13:43:00] 789*2^1246736-1 is not prime. Res64: 4B2D7427AAC26F62 Time : 0.0 sec. user=mdettweiler [2013-06-10 13:43:01] 875*2^1246736-1 is not prime. Res64: 37489D99E413B2FA Time : 0.0 sec. user=mdettweiler [2013-06-10 13:48:02] 609*2^1246737-1 is not prime. Res64: EF9F540922908F03 Time : 0.0 sec. user=mdettweiler [2013-06-10 13:48:02] 739*2^1246737-1 is not prime. Res64: C8A00F76BCA26C8F Time : 0.0 sec. user=vaughan [2013-06-10 13:55:00] 969*2^1246735-1 is not prime. Res64: 02A721B9A391E37B Time : 0.0 sec. user=mdettweiler [2013-06-10 14:01:11] 741*2^1246737-1 is not prime. Res64: B7C176A29304F22B Time : 0.0 sec. user=mdettweiler [2013-06-10 14:01:30] 871*2^1246737-1 is not prime. Res64: 24AD7FE8D8DB278B Time : 0.0 sec. user=mdettweiler [2013-06-10 14:06:19] 891*2^1246737-1 is not prime. Res64: 1985988D805BBAA9 Time : 0.0 sec. user=mdettweiler [2013-06-10 14:32:03] 713*2^1246738-1 is not prime. Res64: 0224ED00987AF10B Time : 0.0 sec. user=vaughan [2013-06-10 14:33:27] 735*2^1246738-1 is not prime. Res64: B0D26A110072ED9A Time : 0.0 sec. user=mdettweiler [2013-06-10 14:56:48] 815*2^1246738-1 is not prime. Res64: EE30A96ED25B675E Time : 0.0 sec. user=mdettweiler [2013-06-10 14:56:49] 827*2^1246738-1 is not prime. Res64: 346942A1C7432EE6 Time : 0.0 sec. user=vaughan [2013-06-10 15:11:39] 813*2^1246738-1 is not prime. Res64: 83C79FAD3AD42210 Time : 0.0 sec. user=mdettweiler [2013-06-10 15:15:02] 857*2^1246738-1 is not prime. Res64: F7702695FFD0D097 Time : 0.0 sec. user=mdettweiler [2013-06-10 15:15:03] 951*2^1246738-1 is not prime. Res64: D51126B44903D952 Time : 0.0 sec. user=mdettweiler [2013-06-10 15:28:49] 745*2^1246739-1 is not prime. Res64: 538ED1DCFAB7AB02 Time : 0.0 sec. user=mdettweiler [2013-06-10 15:28:49] 921*2^1246739-1 is not prime. Res64: E39C8CA07B9F3EA6 Time : 0.0 sec. user=mdettweiler [2013-06-10 15:33:28] 797*2^1246740-1 is not prime. Res64: F30367C30412AA95 Time : 0.0 sec. user=mdettweiler [2013-06-10 15:47:02] 915*2^1246740-1 is not prime. Res64: 542BF22081545007 Time : 0.0 sec. user=mdettweiler [2013-06-10 15:47:03] 933*2^1246740-1 is not prime. Res64: 05F6F50B85D6DFA8 Time : 0.0 sec. user=vaughan [2013-06-10 15:54:59] 955*2^1246739-1 is not prime. Res64: 2225F8F536CD4557 Time : 0.0 sec. user=mdettweiler [2013-06-10 15:56:04] 873*2^1246740-1 is not prime. Res64: 4DFBBA4AC0E7C068 Time : 0.0 sec. user=mdettweiler [2013-06-10 16:14:28] 645*2^1246741-1 is not prime. Res64: 724BA58606C408D9 Time : 0.0 sec. user=mdettweiler [2013-06-10 16:14:28] 687*2^1246741-1 is not prime. Res64: FFE89F47EAF8876A Time : 0.0 sec. user=mdettweiler [2013-06-10 16:32:35] 715*2^1246741-1 is not prime. Res64: 8566344FEB727C9B Time : 0.0 sec. user=vaughan [2013-06-10 16:33:17] 615*2^1246741-1 is not prime. Res64: 118622CD63695459 Time : 0.0 sec. user=mdettweiler [2013-06-10 16:34:42] 965*2^1246740-1 is not prime. Res64: 14CCF12015C36B36 Time : 0.0 sec. user=mdettweiler [2013-06-10 16:54:32] 741*2^1246741-1 is not prime. Res64: 9AE083F7C0CFE9E5 Time : 0.0 sec. user=mdettweiler [2013-06-10 17:07:36] 983*2^1246740-1 is not prime. Res64: 4DD7F58E37066601 Time : 0.0 sec. user=mdettweiler [2013-06-10 17:13:37] 997*2^1246741-1 is not prime. Res64: 333B0268A141F069 Time : 0.0 sec. user=vaughan [2013-06-10 17:16:34] 939*2^1246741-1 is not prime. Res64: 393257D632229750 Time : 0.0 sec. user=mdettweiler [2013-06-10 17:25:41] 693*2^1246742-1 is not prime. Res64: FAC5E424D0B238E8 Time : 0.0 sec. user=mdettweiler [2013-06-10 17:25:42] 791*2^1246742-1 is not prime. Res64: 22E8A2AA76C0C7FC Time : 0.0 sec. user=mdettweiler [2013-06-10 17:36:14] 675*2^1246742-1 is not prime. Res64: EC77C7236CF13887 Time : 0.0 sec. user=mdettweiler [2013-06-10 17:44:40] 963*2^1246742-1 is not prime. Res64: 461FD4441B16820C Time : 0.0 sec. user=mdettweiler [2013-06-10 17:44:40] 977*2^1246742-1 is not prime. Res64: A73DC00303E5B6E4 Time : 0.0 sec. user=mdettweiler [2013-06-10 17:54:05] 615*2^1246743-1 is not prime. Res64: 4142B05F35B6725E Time : 0.0 sec. user=mdettweiler [2013-06-10 17:54:05] 745*2^1246743-1 is not prime. Res64: 4A314329CEDCB099 Time : 0.0 sec. user=vaughan [2013-06-10 18:00:04] 893*2^1246742-1 is not prime. Res64: 8DCD90355A3EA520 Time : 0.0 sec. user=mdettweiler [2013-06-10 18:02:39] 765*2^1246743-1 is not prime. Res64: 12CFE705F2D432F0 Time : 0.0 sec. user=mdettweiler [2013-06-10 18:02:40] 921*2^1246743-1 is not prime. Res64: D415EF73550E7288 Time : 0.0 sec. user=mdettweiler [2013-06-10 18:12:40] 933*2^1246743-1 is not prime. Res64: 82A6B5735469B4E9 Time : 0.0 sec. user=mdettweiler [2013-06-10 18:12:41] 985*2^1246743-1 is not prime. Res64: D6A08A4108A52B73 Time : 0.0 sec. user=mdettweiler [2013-06-10 18:20:39] 609*2^1246744-1 is not prime. Res64: FF7D32AA11BADD05 Time : 0.0 sec. user=mdettweiler [2013-06-10 18:31:45] 723*2^1246744-1 is not prime. Res64: 90D991E220E41848 Time : 0.0 sec. user=mdettweiler [2013-06-10 18:31:46] 843*2^1246744-1 is not prime. Res64: 43BAF83D8F1910D4 Time : 0.0 sec. user=vaughan [2013-06-10 18:38:31] 605*2^1246744-1 is not prime. Res64: 2696507EA36DDC56 Time : 0.0 sec. user=mdettweiler [2013-06-10 18:49:36] 773*2^1246744-1 is not prime. Res64: E98F5EA9AD7D663B Time : 0.0 sec. user=mdettweiler [2013-06-10 18:49:36] 923*2^1246744-1 is not prime. Res64: 7377508500F00EF4 Time : 0.0 sec. user=mdettweiler [2013-06-10 18:51:29] 677*2^1246744-1 is not prime. Res64: DA93D670DABFCF0D Time : 0.0 sec. user=mdettweiler [2013-06-10 19:08:11] 969*2^1246744-1 is not prime. Res64: 2F3554BC9062C939 Time : 0.0 sec. user=mdettweiler [2013-06-10 19:08:12] 657*2^1246745-1 is not prime. Res64: 1673D43F4A64C424 Time : 0.0 sec. user=mdettweiler [2013-06-10 19:09:15] 837*2^1246745-1 is not prime. Res64: EDA4845B07584849 Time : 0.0 sec. user=mdettweiler [2013-06-10 19:09:16] 889*2^1246745-1 is not prime. Res64: 281A7C1452DE6D97 Time : 0.0 sec. user=mdettweiler [2013-06-10 19:26:06] 939*2^1246745-1 is not prime. Res64: 3FB59ACF7B0E3A3B Time : 0.0 sec. user=mdettweiler [2013-06-10 19:26:07] 635*2^1246746-1 is not prime. Res64: 3A447928B2A3B429 Time : 0.0 sec. user=mdettweiler [2013-06-10 19:27:13] 735*2^1246746-1 is not prime. Res64: 5DDCF88AF2801E2B Time : 0.0 sec. user=mdettweiler [2013-06-10 19:27:13] 801*2^1246746-1 is not prime. Res64: 6482E3B5E6699FDD Time : 0.0 sec. user=mdettweiler [2013-06-10 19:43:43] 875*2^1246746-1 is not prime. Res64: 458F563009C6A9E9 Time : 0.0 sec. user=mdettweiler [2013-06-10 19:44:00] 887*2^1246746-1 is not prime. Res64: 6C4791E346BB2ECA Time : 0.0 sec. user=mdettweiler [2013-06-10 19:45:04] 923*2^1246746-1 is not prime. Res64: AD45B2610E746796 Time : 0.0 sec. user=vaughan [2013-06-10 19:54:40] 861*2^1246746-1 is not prime. Res64: 84B828CFF06E0FC7 Time : 0.0 sec. user=mdettweiler [2013-06-10 20:12:22] 663*2^1246747-1 is not prime. Res64: 2BCF0425C8252E13 Time : 0.0 sec. user=mdettweiler [2013-06-10 20:21:49] 759*2^1246747-1 is not prime. Res64: 9A9CA7AA801C9703 Time : 0.0 sec. user=mdettweiler [2013-06-10 21:05:30] 841*2^1246747-1 is not prime. Res64: 4A9050964C2D2C19 Time : 0.0 sec. user=mdettweiler [2013-06-10 21:05:31] 873*2^1246747-1 is not prime. Res64: 1912F7FE87D906C5 Time : 0.0 sec. user=mdettweiler [2013-06-10 21:07:03] 769*2^1246747-1 is not prime. Res64: E235CDF331765094 Time : 0.0 sec. user=vaughan [2013-06-10 21:10:40] 819*2^1246747-1 is not prime. Res64: 44392CB4C5175509 Time : 0.0 sec. user=mdettweiler [2013-06-10 21:23:36] 915*2^1246747-1 is not prime. Res64: 5A06D1859BCE6A5F Time : 0.0 sec. user=mdettweiler [2013-06-10 21:23:37] 961*2^1246747-1 is not prime. Res64: CE3E3EBC010C9776 Time : 0.0 sec. user=mdettweiler [2013-06-10 21:25:47] 993*2^1246747-1 is not prime. Res64: 1C0D593D20F07B08 Time : 0.0 sec. user=mdettweiler [2013-06-10 21:41:06] 837*2^1246748-1 is not prime. Res64: F77307DDF06E511A Time : 0.0 sec. user=mdettweiler [2013-06-10 21:41:06] 899*2^1246748-1 is not prime. Res64: 8D04CF1EA4DCA664 Time : 0.0 sec. user=mdettweiler [2013-06-10 21:48:57] 603*2^1246748-1 is not prime. Res64: AB024DBCFB69A016 Time : 0.0 sec. user=vaughan [2013-06-10 21:49:18] 725*2^1246748-1 is not prime. Res64: 3089E9C3F1BE5A46 Time : 0.0 sec. user=mdettweiler [2013-06-10 21:58:37] 927*2^1246748-1 is not prime. Res64: 9592E72B17EEB9E9 Time : 0.0 sec. user=mdettweiler [2013-06-10 21:58:37] 741*2^1246749-1 is not prime. Res64: 3DD934B0353CCD94 Time : 0.0 sec. user=mdettweiler [2013-06-10 22:07:23] 865*2^1246749-1 is not prime. Res64: 1C615E59107BF868 Time : 0.0 sec. user=mdettweiler [2013-06-10 22:17:11] 979*2^1246749-1 is not prime. Res64: 36B639E98AC95D5F Time : 0.0 sec. user=mdettweiler [2013-06-10 22:17:12] 651*2^1246750-1 is not prime. Res64: 2970545F1989A826 Time : 0.0 sec. user=mdettweiler [2013-06-10 22:33:48] 975*2^1246749-1 is not prime. Res64: BE07B55C0CC1772B Time : 0.0 sec. user=mdettweiler [2013-06-10 22:34:56] 713*2^1246750-1 is not prime. Res64: 9BAAC45E5670E73C Time : 0.0 sec. user=mdettweiler [2013-06-10 22:34:56] 773*2^1246750-1 is not prime. Res64: E30E3270487126B2 Time : 0.0 sec. user=mdettweiler [2013-06-10 22:51:15] 857*2^1246750-1 is not prime. Res64: 985C8BAEBCE10BBA Time : 0.0 sec. user=mdettweiler [2013-06-10 22:51:16] 885*2^1246750-1 is not prime. Res64: 103AC0D8E64E4CC4 Time : 0.0 sec. user=mdettweiler [2013-06-10 22:52:39] 887*2^1246750-1 is not prime. Res64: CB5EE334BFAD60EA Time : 0.0 sec. user=vaughan [2013-06-10 23:05:22] 831*2^1246750-1 is not prime. Res64: DBFDF5E147F4C42B Time : 0.0 sec. user=mdettweiler [2013-06-10 23:09:12] 609*2^1246751-1 is not prime. Res64: 360EF9CD4146C95C Time : 0.0 sec. user=mdettweiler [2013-06-10 23:21:34] 923*2^1246750-1 is not prime. Res64: 230BC0DA7F43C269 Time : 0.0 sec. user=mdettweiler [2013-06-10 23:36:13] 621*2^1246751-1 is not prime. Res64: 0EEAE2157C8DD42D Time : 0.0 sec. user=mdettweiler [2013-06-10 23:39:28] 643*2^1246751-1 is not prime. Res64: 4E2A762F584ADC09 Time : 0.0 sec. user=mdettweiler [2013-06-10 23:39:29] 669*2^1246751-1 is not prime. Res64: A564BC4E83CE611C Time : 0.0 sec. user=mdettweiler [2013-06-10 23:53:41] 735*2^1246751-1 is not prime. Res64: 0426770219AECD0D Time : 0.0 sec. user=mdettweiler [2013-06-10 23:53:42] 943*2^1246751-1 is not prime. Res64: ED99052022D29800 Time : 0.0 sec. user=mdettweiler [2013-06-10 23:57:16] 639*2^1246752-1 is not prime. Res64: 46F61464B9E5B2CF Time : 0.0 sec. user=mdettweiler [2013-06-10 23:57:17] 797*2^1246752-1 is not prime. Res64: 72129299EED9FB1F Time : 0.0 sec.