user=mdettweiler [2013-03-16 00:11:14] 879*2^1242771-1 is not prime. Res64: 31E09786B1C2101B Time : 0.0 sec. user=mdettweiler [2013-03-16 00:11:15] 623*2^1242772-1 is not prime. Res64: 65FA7B15233A57B6 Time : 0.0 sec. user=mdettweiler [2013-03-16 00:11:42] 657*2^1242772-1 is not prime. Res64: 8078738261ADF19E Time : 0.0 sec. user=mdettweiler [2013-03-16 00:11:43] 797*2^1242772-1 is not prime. Res64: BC864466FC091081 Time : 0.0 sec. user=vaughan [2013-03-16 00:18:40] 679*2^1242771-1 is not prime. Res64: FEE2D2BA947FCFB5 Time : 0.0 sec. user=mdettweiler [2013-03-16 00:28:58] 827*2^1242772-1 is not prime. Res64: 6CAE3172E1A966F0 Time : 0.0 sec. user=mdettweiler [2013-03-16 00:28:58] 929*2^1242772-1 is not prime. Res64: E046A2C425CFE853 Time : 0.0 sec. user=mdettweiler [2013-03-16 00:29:19] 933*2^1242772-1 is not prime. Res64: 783493D9C9876B7B Time : 0.0 sec. user=mdettweiler [2013-03-16 00:29:20] 947*2^1242772-1 is not prime. Res64: B9BB79F1CEF1C147 Time : 0.0 sec. user=juhehe [2013-03-16 00:42:37] 951*2^1242770-1 is not prime. Res64: 1FD96D12172C0CF3 Time : 0.0 sec. user=mdettweiler [2013-03-16 00:46:57] 691*2^1242773-1 is not prime. Res64: 0083ED9187AAFDBE Time : 0.0 sec. user=mdettweiler [2013-03-16 00:46:57] 759*2^1242773-1 is not prime. Res64: 53A7C11588562F92 Time : 0.0 sec. user=mdettweiler [2013-03-16 00:47:19] 861*2^1242773-1 is not prime. Res64: FABC5B2E89A531A0 Time : 0.0 sec. user=mdettweiler [2013-03-16 00:47:19] 879*2^1242773-1 is not prime. Res64: A49AF3FF2243F8B3 Time : 0.0 sec. user=vaughan [2013-03-16 01:01:54] 999*2^1242772-1 is not prime. Res64: 15CADEBE6A30E872 Time : 0.0 sec. user=mdettweiler [2013-03-16 01:04:31] 657*2^1242774-1 is not prime. Res64: 1F5F2D1A47826BD8 Time : 0.0 sec. user=mdettweiler [2013-03-16 01:04:32] 663*2^1242774-1 is not prime. Res64: 5776B61A2C066114 Time : 0.0 sec. user=mdettweiler [2013-03-16 01:04:53] 717*2^1242774-1 is not prime. Res64: 8D323B302BC09C23 Time : 0.0 sec. user=mdettweiler [2013-03-16 01:04:53] 755*2^1242774-1 is not prime. Res64: 0F17B0E6E3CAED83 Time : 0.0 sec. user=mdettweiler [2013-03-16 01:22:13] 639*2^1242775-1 is not prime. Res64: D4F3DF9A8461AD4E Time : 0.0 sec. user=mdettweiler [2013-03-16 01:22:14] 685*2^1242775-1 is not prime. Res64: D91723168A991C65 Time : 0.0 sec. user=mdettweiler [2013-03-16 01:22:34] 705*2^1242775-1 is not prime. Res64: CB3F3E69D50C10BD Time : 0.0 sec. user=mdettweiler [2013-03-16 01:22:35] 783*2^1242775-1 is not prime. Res64: D512F46EC145AE4A Time : 0.0 sec. user=mdettweiler [2013-03-16 01:39:38] 829*2^1242775-1 is not prime. Res64: 0114076D4EF042DA Time : 0.0 sec. user=mdettweiler [2013-03-16 01:39:39] 841*2^1242775-1 is not prime. Res64: F5566574397D17DF Time : 0.0 sec. user=mdettweiler [2013-03-16 01:39:59] 859*2^1242775-1 is not prime. Res64: 1C47212863DE9F81 Time : 0.0 sec. user=mdettweiler [2013-03-16 01:40:00] 889*2^1242775-1 is not prime. Res64: 0BA13BD3D6FDFDD2 Time : 0.0 sec. user=vaughan [2013-03-16 01:45:07] 975*2^1242774-1 is not prime. Res64: 881CFBCAFC003FFE Time : 0.0 sec. user=juhehe [2013-03-16 01:56:43] 863*2^1242774-1 is not prime. Res64: F56BB2FBC66715CC Time : 0.0 sec. user=mdettweiler [2013-03-16 01:57:06] 615*2^1242776-1 is not prime. Res64: 52C80942C6E069EC Time : 0.0 sec. user=mdettweiler [2013-03-16 01:57:06] 669*2^1242776-1 is not prime. Res64: FFA4A5C2397C3E2E Time : 0.0 sec. user=mdettweiler [2013-03-16 01:57:27] 743*2^1242776-1 is not prime. Res64: CA05083BCC03B034 Time : 0.0 sec. user=mdettweiler [2013-03-16 01:57:27] 855*2^1242776-1 is not prime. Res64: F76B3334C1FD5744 Time : 0.0 sec. user=mdettweiler [2013-03-16 02:14:31] 935*2^1242776-1 is not prime. Res64: F7E30EC1BB3F2367 Time : 0.0 sec. user=mdettweiler [2013-03-16 02:14:32] 717*2^1242777-1 is not prime. Res64: B375B64D230F4B80 Time : 0.0 sec. user=mdettweiler [2013-03-16 02:14:52] 759*2^1242777-1 is not prime. Res64: 879A4BD29340956D Time : 0.0 sec. user=mdettweiler [2013-03-16 02:14:52] 835*2^1242777-1 is not prime. Res64: 8550989CAEAE52D1 Time : 0.0 sec. user=vaughan [2013-03-16 02:23:18] 923*2^1242776-1 is not prime. Res64: E919855283E13BED Time : 0.0 sec. user=mdettweiler [2013-03-16 02:31:59] 901*2^1242777-1 is not prime. Res64: 0CF44BFCBF6E4D85 Time : 0.0 sec. user=mdettweiler [2013-03-16 02:32:00] 915*2^1242777-1 is not prime. Res64: CE9C612C9A0C0ABE Time : 0.0 sec. user=mdettweiler [2013-03-16 02:32:17] 603*2^1242778-1 is not prime. Res64: BE09F2C12D833635 Time : 0.0 sec. user=mdettweiler [2013-03-16 02:32:18] 705*2^1242778-1 is not prime. Res64: 4D5AB303C319F10B Time : 0.0 sec. user=juhehe [2013-03-16 02:48:56] 873*2^1242776-1 is not prime. Res64: 14242300701467E4 Time : 0.0 sec. user=mdettweiler [2013-03-16 02:49:26] 987*2^1242778-1 is not prime. Res64: 255E9C501FB0B821 Time : 0.0 sec. user=mdettweiler [2013-03-16 02:49:26] 615*2^1242779-1 is not prime. Res64: 2CD8AD4E58A3F6E8 Time : 0.0 sec. user=mdettweiler [2013-03-16 02:49:43] 633*2^1242779-1 is not prime. Res64: D75EBB4AF0868353 Time : 0.0 sec. user=mdettweiler [2013-03-16 02:49:44] 655*2^1242779-1 is not prime. Res64: BA35EBB160C7A959 Time : 0.0 sec. user=vaughan [2013-03-16 03:01:26] 843*2^1242778-1 is not prime. Res64: 24BFA46572FD4B93 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:06:56] 679*2^1242779-1 is not prime. Res64: A21552D60FA746CE Time : 0.0 sec. user=mdettweiler [2013-03-16 03:06:57] 993*2^1242779-1 is not prime. Res64: 567BE24C03867BD3 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:07:08] 627*2^1242780-1 is not prime. Res64: 0106BC9B15366128 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:07:09] 699*2^1242780-1 is not prime. Res64: BE9B7F6C40D2B889 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:24:23] 607*2^1242781-1 is not prime. Res64: F1C9C0FFF8EF433A Time : 0.0 sec. user=mdettweiler [2013-03-16 03:24:23] 621*2^1242781-1 is not prime. Res64: BA19D7417FC997D7 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:24:33] 651*2^1242781-1 is not prime. Res64: FDDAA419775CEA0F Time : 0.0 sec. user=mdettweiler [2013-03-16 03:24:34] 861*2^1242781-1 is not prime. Res64: 30F4269DAFC58E77 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:41:49] 867*2^1242781-1 is not prime. Res64: 0F1CA4017034AE85 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:41:49] 945*2^1242781-1 is not prime. Res64: BFCFAFE1F8EE6EE7 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:41:59] 981*2^1242781-1 is not prime. Res64: 9A4021862C87C5BC Time : 0.0 sec. user=mdettweiler [2013-03-16 03:41:59] 635*2^1242782-1 is not prime. Res64: C152DA6E3B7404B3 Time : 0.0 sec. user=vaughan [2013-03-16 03:44:43] 975*2^1242780-1 is not prime. Res64: 790809D10E929364 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:59:17] 651*2^1242782-1 is not prime. Res64: BD3F8727FE70EE18 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:59:17] 705*2^1242782-1 is not prime. Res64: E1C61E5F8D9EA800 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:59:24] 711*2^1242782-1 is not prime. Res64: AFB354E3F73966E8 Time : 0.0 sec. user=mdettweiler [2013-03-16 03:59:24] 713*2^1242782-1 is not prime. Res64: 0B506495CBE4324C Time : 0.0 sec. user=juhehe [2013-03-16 04:02:06] 839*2^1242780-1 is not prime. Res64: 38FA3DC2773834D5 Time : 0.0 sec. user=mdettweiler [2013-03-16 04:16:42] 843*2^1242782-1 is not prime. Res64: A6F527B37E1A4991 Time : 0.0 sec. user=mdettweiler [2013-03-16 04:16:42] 873*2^1242782-1 is not prime. Res64: C815CAAF78D672DE Time : 0.0 sec. user=mdettweiler [2013-03-16 04:16:49] 875*2^1242782-1 is not prime. Res64: BC63CC129CB72129 Time : 0.0 sec. user=mdettweiler [2013-03-16 04:16:49] 935*2^1242782-1 is not prime. Res64: 34A640F479589BA1 Time : 0.0 sec. user=vaughan [2013-03-16 04:22:55] 767*2^1242782-1 is not prime. Res64: 509CAE2070BB2820 Time : 0.0 sec. user=mdettweiler [2013-03-16 04:34:09] 663*2^1242783-1 is not prime. Res64: ECBD4DB904CBCC09 Time : 0.0 sec. user=mdettweiler [2013-03-16 04:34:10] 675*2^1242783-1 is not prime. Res64: 0BF5E0851DB42DB1 Time : 0.0 sec. user=mdettweiler [2013-03-16 04:34:14] 691*2^1242783-1 is not prime. Res64: C5A496911345853B Time : 0.0 sec. user=mdettweiler [2013-03-16 04:34:15] 933*2^1242783-1 is not prime. Res64: CF9D41631B1EEE7A Time : 0.0 sec. user=mdettweiler [2013-03-16 04:51:51] 743*2^1242784-1 is not prime. Res64: 71ADB48BF9A2E278 Time : 0.0 sec. user=mdettweiler [2013-03-16 04:51:52] 869*2^1242784-1 is not prime. Res64: E2CB21B309A96122 Time : 0.0 sec. user=mdettweiler [2013-03-16 04:51:53] 983*2^1242784-1 is not prime. Res64: C34AE48DC06F7DF1 Time : 0.0 sec. user=mdettweiler [2013-03-16 04:51:54] 787*2^1242785-1 is not prime. Res64: 18A576EFED6E6E4E Time : 0.0 sec. user=juhehe [2013-03-16 04:55:05] 827*2^1242782-1 is not prime. Res64: 277E5D8CCD30B480 Time : 0.0 sec. user=vaughan [2013-03-16 05:01:05] 635*2^1242784-1 is not prime. Res64: 8E8A186DCBB69FF9 Time : 0.0 sec. user=mdettweiler [2013-03-16 05:09:18] 949*2^1242785-1 is not prime. Res64: CB094B08BB8DCF1F Time : 0.0 sec. user=mdettweiler [2013-03-16 05:09:18] 611*2^1242786-1 is not prime. Res64: 5E28603761BC931C Time : 0.0 sec. user=mdettweiler [2013-03-16 05:09:18] 981*2^1242785-1 is not prime. Res64: C7B6117340ED20EC Time : 0.0 sec. user=mdettweiler [2013-03-16 05:09:19] 717*2^1242786-1 is not prime. Res64: DF621939DB7211D9 Time : 0.0 sec. user=mdettweiler [2013-03-16 05:26:44] 741*2^1242786-1 is not prime. Res64: 120CE8AAB91CDCD6 Time : 0.0 sec. user=mdettweiler [2013-03-16 05:26:44] 873*2^1242786-1 is not prime. Res64: 8855D3759FDD3719 Time : 0.0 sec. user=mdettweiler [2013-03-16 05:26:45] 983*2^1242786-1 is not prime. Res64: AACC9A7233120287 Time : 0.0 sec. user=mdettweiler [2013-03-16 05:26:45] 615*2^1242787-1 is not prime. Res64: 90FC95CD8A60A838 Time : 0.0 sec. user=vaughan [2013-03-16 05:39:17] 735*2^1242786-1 is not prime. Res64: 34D1C521902D3AC3 Time : 0.0 sec. user=mdettweiler [2013-03-16 05:44:10] 619*2^1242787-1 is not prime. Res64: 9D56DA1C42644020 Time : 0.0 sec. user=mdettweiler [2013-03-16 05:44:10] 649*2^1242787-1 is not prime. Res64: 99FB47E8EAC8A71C Time : 0.0 sec. user=mdettweiler [2013-03-16 05:44:11] 765*2^1242787-1 is not prime. Res64: 786AC7D4B737B626 Time : 0.0 sec. user=mdettweiler [2013-03-16 05:44:11] 793*2^1242787-1 is not prime. Res64: 6088AB22FD937A9E Time : 0.0 sec. user=mdettweiler [2013-03-16 06:01:35] 915*2^1242787-1 is not prime. Res64: 1AED3D8A48D6BDB5 Time : 0.0 sec. user=mdettweiler [2013-03-16 06:01:37] 993*2^1242787-1 is not prime. Res64: 5EEB871E22A24781 Time : 0.0 sec. user=mdettweiler [2013-03-16 06:01:38] 961*2^1242787-1 is not prime. Res64: 43B97B965C5E9CF9 Time : 0.0 sec. user=mdettweiler [2013-03-16 06:01:39] 789*2^1242788-1 is not prime. Res64: B82523675D78FD37 Time : 0.0 sec. user=juhehe [2013-03-16 06:08:09] 737*2^1242786-1 is not prime. Res64: 8B9B3D59AD81071F Time : 0.0 sec. user=mdettweiler [2013-03-16 06:19:05] 839*2^1242788-1 is not prime. Res64: D8156185E020DCC3 Time : 0.0 sec. user=mdettweiler [2013-03-16 06:19:05] 855*2^1242788-1 is not prime. Res64: 053102F6228CDEFC Time : 0.0 sec. user=mdettweiler [2013-03-16 06:19:06] 897*2^1242788-1 is not prime. Res64: 020D1CC7B162F441 Time : 0.0 sec. user=mdettweiler [2013-03-16 06:19:07] 899*2^1242788-1 is not prime. Res64: 8582BC36E8EBE1E2 Time : 0.0 sec. user=vaughan [2013-03-16 06:21:04] 909*2^1242787-1 is not prime. Res64: E6814336FBCBB76D Time : 0.0 sec. user=mdettweiler [2013-03-16 06:36:31] 963*2^1242788-1 is not prime. Res64: 04CF0F4E9714C4E0 Time : 0.0 sec. user=mdettweiler [2013-03-16 06:36:31] 681*2^1242789-1 is not prime. Res64: 7B17C68707B33534 Time : 0.0 sec. user=mdettweiler [2013-03-16 06:36:31] 765*2^1242789-1 is not prime. Res64: 9149D54B4A5CFC1B Time : 0.0 sec. user=mdettweiler [2013-03-16 06:36:32] 847*2^1242789-1 is not prime. Res64: FE3684AC312FF4D0 Time : 0.0 sec. user=mdettweiler [2013-03-16 06:53:57] 979*2^1242789-1 is not prime. Res64: 45AF3E839CF6705C Time : 0.0 sec. user=mdettweiler [2013-03-16 06:53:57] 605*2^1242790-1 is not prime. Res64: 9AD44382823F3F44 Time : 0.0 sec. user=mdettweiler [2013-03-16 06:53:58] 933*2^1242790-1 is not prime. Res64: D250D0470EF1C4C6 Time : 0.0 sec. user=mdettweiler [2013-03-16 06:53:58] 603*2^1242791-1 is not prime. Res64: 3E1F509A9840C44F Time : 0.0 sec. user=vaughan [2013-03-16 06:59:15] 907*2^1242789-1 is not prime. Res64: A6509E4AFE481FE3 Time : 0.0 sec. user=juhehe [2013-03-16 07:00:29] 825*2^1242788-1 is not prime. Res64: 5C47B7FF2D03F525 Time : 0.0 sec. user=mdettweiler [2013-03-16 07:11:23] 663*2^1242791-1 is not prime. Res64: 34389973B7954C60 Time : 0.0 sec. user=mdettweiler [2013-03-16 07:11:23] 711*2^1242791-1 is not prime. Res64: 63898EACBC2F73E2 Time : 0.0 sec. user=mdettweiler [2013-03-16 07:11:23] 703*2^1242791-1 is not prime. Res64: E638BA6A3218302A Time : 0.0 sec. user=mdettweiler [2013-03-16 07:11:24] 889*2^1242791-1 is not prime. Res64: 9EB55DE7C0A07BA2 Time : 0.0 sec. user=mdettweiler [2013-03-16 07:28:48] 955*2^1242791-1 is not prime. Res64: F7881922F6ED7D30 Time : 0.0 sec. user=mdettweiler [2013-03-16 07:28:48] 979*2^1242791-1 is not prime. Res64: 5118D7EA30E09D05 Time : 0.0 sec. user=mdettweiler [2013-03-16 07:28:49] 999*2^1242791-1 is not prime. Res64: 29828FE2E478AD6B Time : 0.0 sec. user=mdettweiler [2013-03-16 07:28:49] 669*2^1242792-1 is not prime. Res64: C6C15D436B629D58 Time : 0.0 sec. user=vaughan [2013-03-16 07:37:25] 931*2^1242791-1 is not prime. Res64: A28A5F9B5079A158 Time : 0.0 sec. user=mdettweiler [2013-03-16 07:46:14] 903*2^1242792-1 is not prime. Res64: 689677B68EF044D1 Time : 0.0 sec. user=mdettweiler [2013-03-16 07:46:14] 929*2^1242792-1 is not prime. Res64: BC9D3E067A6C4BA8 Time : 0.0 sec. user=mdettweiler [2013-03-16 07:46:15] 609*2^1242793-1 is not prime. Res64: A8F534FF6CFF790B Time : 0.0 sec. user=mdettweiler [2013-03-16 07:46:15] 687*2^1242793-1 is not prime. Res64: 93D0E42746CD60C9 Time : 0.0 sec. user=mdettweiler [2013-03-16 08:03:39] 895*2^1242793-1 is not prime. Res64: 16FA4241F9148CDF Time : 0.0 sec. user=mdettweiler [2013-03-16 08:03:40] 623*2^1242794-1 is not prime. Res64: EB8976DEE3248174 Time : 0.0 sec. user=mdettweiler [2013-03-16 08:03:41] 925*2^1242793-1 is not prime. Res64: E5883DE7134C533C Time : 0.0 sec. user=mdettweiler [2013-03-16 08:03:41] 743*2^1242794-1 is not prime. Res64: 5C5A8DE8181246FF Time : 0.0 sec. user=juhehe [2013-03-16 08:13:29] 945*2^1242791-1 is not prime. Res64: 6F28890B55FCE015 Time : 0.0 sec. user=vaughan [2013-03-16 08:15:36] 867*2^1242793-1 is not prime. Res64: 457306F64E5EE45C Time : 0.0 sec. user=mdettweiler [2013-03-16 08:21:07] 825*2^1242794-1 is not prime. Res64: 4881CD29BC8E37C8 Time : 0.0 sec. user=mdettweiler [2013-03-16 08:21:08] 887*2^1242794-1 is not prime. Res64: F33452531593889B Time : 0.0 sec. user=mdettweiler [2013-03-16 08:21:08] 945*2^1242794-1 is not prime. Res64: A0A1F805B688DCCE Time : 0.0 sec. user=mdettweiler [2013-03-16 08:21:09] 783*2^1242795-1 is not prime. Res64: 3D674C0DB0BD08DF Time : 0.0 sec. user=mdettweiler [2013-03-16 08:38:32] 969*2^1242795-1 is not prime. Res64: D0D11927A28DA98C Time : 0.0 sec. user=mdettweiler [2013-03-16 08:38:33] 603*2^1242796-1 is not prime. Res64: 28DCF9034758B534 Time : 0.0 sec. user=mdettweiler [2013-03-16 08:38:34] 647*2^1242796-1 is not prime. Res64: ED0F99D31C18ABE2 Time : 0.0 sec. user=mdettweiler [2013-03-16 08:38:34] 735*2^1242796-1 is not prime. Res64: 6DE835501C06F15D Time : 0.0 sec. user=mdettweiler [2013-03-16 08:55:59] 923*2^1242796-1 is not prime. Res64: 686A95AB0C5CD65F Time : 0.0 sec. user=mdettweiler [2013-03-16 08:55:59] 755*2^1242796-1 is not prime. Res64: 0A8FD4C156741BD2 Time : 0.0 sec. user=mdettweiler [2013-03-16 08:55:59] 953*2^1242796-1 is not prime. Res64: 268E63FBFA3D55DC Time : 0.0 sec. user=mdettweiler [2013-03-16 08:56:00] 857*2^1242796-1 is not prime. Res64: 9E748D70FF350367 Time : 0.0 sec. user=vaughan [2013-03-16 08:58:55] 955*2^1242795-1 is not prime. Res64: 6D6B6CD77BD0398D Time : 0.0 sec. user=juhehe [2013-03-16 09:06:31] 773*2^1242794-1 is not prime. Res64: E862F6F4D09AE565 Time : 0.0 sec. user=mdettweiler [2013-03-16 09:13:25] 645*2^1242797-1 is not prime. Res64: D4E27EF003E213DF Time : 0.0 sec. user=mdettweiler [2013-03-16 09:13:26] 829*2^1242797-1 is not prime. Res64: FC44D148E5CC2220 Time : 0.0 sec. user=mdettweiler [2013-03-16 09:13:27] 871*2^1242797-1 is not prime. Res64: E965B3173148822F Time : 0.0 sec. user=mdettweiler [2013-03-16 09:13:27] 885*2^1242797-1 is not prime. Res64: 8FEE6B1B6C6EC848 Time : 0.0 sec. user=mdettweiler [2013-03-16 09:30:52] 663*2^1242798-1 is not prime. Res64: 6E18952C50266297 Time : 0.0 sec. user=mdettweiler [2013-03-16 09:30:53] 731*2^1242798-1 is not prime. Res64: FA842F63DA0FBCE9 Time : 0.0 sec. user=mdettweiler [2013-03-16 09:30:54] 737*2^1242798-1 is not prime. Res64: F0F6C1A5187E4E0F Time : 0.0 sec. user=mdettweiler [2013-03-16 09:30:54] 747*2^1242798-1 is not prime. Res64: 11DFD56094A5217D Time : 0.0 sec. user=vaughan [2013-03-16 09:37:05] 611*2^1242798-1 is not prime. Res64: 262473A85061C3AE Time : 0.0 sec. user=mdettweiler [2013-03-16 09:48:18] 815*2^1242798-1 is not prime. Res64: 488627BBB293A7CE Time : 0.0 sec. user=mdettweiler [2013-03-16 09:48:19] 875*2^1242798-1 is not prime. Res64: 36D10CF38EE6E706 Time : 0.0 sec. user=mdettweiler [2013-03-16 09:48:19] 881*2^1242798-1 is not prime. Res64: BF94668FEC49B519 Time : 0.0 sec. user=mdettweiler [2013-03-16 09:48:19] 609*2^1242799-1 is not prime. Res64: 557954A84DBB501A Time : 0.0 sec. user=mdettweiler [2013-03-16 10:05:44] 765*2^1242799-1 is not prime. Res64: 8872CEC3AC45BBF5 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:05:45] 811*2^1242799-1 is not prime. Res64: FD76101BDE085206 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:05:45] 943*2^1242799-1 is not prime. Res64: 46325EB4021F1F74 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:05:46] 999*2^1242799-1 is not prime. Res64: 2B34C06D03DDCAFD Time : 0.0 sec. user=vaughan [2013-03-16 10:15:16] 751*2^1242799-1 is not prime. Res64: 853C924C59339957 Time : 0.0 sec. user=juhehe [2013-03-16 10:18:55] 755*2^1242798-1 is not prime. Res64: 03E5B4275887BB08 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:23:14] 645*2^1242800-1 is not prime. Res64: 27714C712A20CEC3 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:23:15] 675*2^1242800-1 is not prime. Res64: 790C74CCE0E1A75D Time : 0.0 sec. user=mdettweiler [2013-03-16 10:23:15] 713*2^1242800-1 is not prime. Res64: 28CC1324551FF1E6 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:23:16] 767*2^1242800-1 is not prime. Res64: CC89B572F7672F09 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:40:54] 917*2^1242800-1 is not prime. Res64: C312535F94F82428 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:40:54] 977*2^1242800-1 is not prime. Res64: 7D113A81EF11FFBC Time : 0.0 sec. user=mdettweiler [2013-03-16 10:40:54] 963*2^1242800-1 is not prime. Res64: B24FCF5B30BFA6C8 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:40:54] 609*2^1242801-1 is not prime. Res64: 45D7C1725E7BB5E5 Time : 0.0 sec. user=vaughan [2013-03-16 10:53:34] 915*2^1242800-1 is not prime. Res64: E3581ACBB3612D89 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:58:27] 615*2^1242801-1 is not prime. Res64: F79B29281683C62A Time : 0.0 sec. user=mdettweiler [2013-03-16 10:58:28] 639*2^1242801-1 is not prime. Res64: BA201E17E0420B77 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:58:28] 751*2^1242801-1 is not prime. Res64: 7F4D3E199AADCF99 Time : 0.0 sec. user=mdettweiler [2013-03-16 10:58:29] 907*2^1242801-1 is not prime. Res64: D14389E05AD5AA3F Time : 0.0 sec. user=juhehe [2013-03-16 11:12:45] 797*2^1242800-1 is not prime. Res64: 2DFC62DE6DD8E0AE Time : 0.0 sec. user=mdettweiler [2013-03-16 11:15:59] 695*2^1242802-1 is not prime. Res64: A5473EDFEC218C55 Time : 0.0 sec. user=mdettweiler [2013-03-16 11:15:59] 755*2^1242802-1 is not prime. Res64: CA99DB7CDD53BD34 Time : 0.0 sec. user=mdettweiler [2013-03-16 11:15:59] 827*2^1242802-1 is not prime. Res64: 6A3B71CB70065F6C Time : 0.0 sec. user=mdettweiler [2013-03-16 11:16:00] 831*2^1242802-1 is not prime. Res64: CE01D7881A26CA7E Time : 0.0 sec. user=vaughan [2013-03-16 11:31:42] 671*2^1242802-1 is not prime. Res64: F846FF7E028579CA Time : 0.0 sec. user=mdettweiler [2013-03-16 11:33:33] 885*2^1242802-1 is not prime. Res64: 51D007E5BA6C7FBB Time : 0.0 sec. user=mdettweiler [2013-03-16 11:33:34] 923*2^1242802-1 is not prime. Res64: 54A451558A124026 Time : 0.0 sec. user=mdettweiler [2013-03-16 11:33:35] 987*2^1242802-1 is not prime. Res64: 668C2578ECD860E1 Time : 0.0 sec. user=mdettweiler [2013-03-16 11:33:36] 669*2^1242803-1 is not prime. Res64: E755886BE7CFFED6 Time : 0.0 sec. user=mdettweiler [2013-03-16 11:51:06] 879*2^1242803-1 is not prime. Res64: 55523E3F6D441083 Time : 0.0 sec. user=mdettweiler [2013-03-16 11:51:06] 609*2^1242804-1 is not prime. Res64: 3F87B6C4D1794498 Time : 0.0 sec. user=mdettweiler [2013-03-16 11:51:06] 943*2^1242803-1 is not prime. Res64: 61FB51848EAD36E1 Time : 0.0 sec. user=mdettweiler [2013-03-16 11:51:07] 629*2^1242804-1 is not prime. Res64: 706F928270F06DB7 Time : 0.0 sec. user=mdettweiler [2013-03-16 12:08:43] 657*2^1242804-1 is not prime. Res64: F8D6EFFE45483A1A Time : 0.0 sec. user=mdettweiler [2013-03-16 12:08:44] 663*2^1242804-1 is not prime. Res64: 52029B4579EACC9D Time : 0.0 sec. user=mdettweiler [2013-03-16 12:08:45] 693*2^1242804-1 is not prime. Res64: 2F871CC34C9BE9B0 Time : 0.0 sec. user=mdettweiler [2013-03-16 12:08:46] 753*2^1242804-1 is not prime. Res64: EB86B0AB0BF4E09C Time : 0.0 sec. user=vaughan [2013-03-16 12:09:49] 859*2^1242803-1 is not prime. Res64: CDABE32B81D4D16E Time : 0.0 sec. user=juhehe [2013-03-16 12:25:03] 741*2^1242803-1 is not prime. Res64: 9FAF2532DD1623A9 Time : 0.0 sec. user=mdettweiler [2013-03-16 12:26:16] 965*2^1242804-1 is not prime. Res64: E219D66226DDC9BE Time : 0.0 sec. user=mdettweiler [2013-03-16 12:26:17] 607*2^1242805-1 is not prime. Res64: E9520ADD39CE09B1 Time : 0.0 sec. user=mdettweiler [2013-03-16 12:26:22] 609*2^1242805-1 is not prime. Res64: F155496476898E58 Time : 0.0 sec. user=mdettweiler [2013-03-16 12:26:22] 619*2^1242805-1 is not prime. Res64: DAB2B5DADF372D42 Time : 0.0 sec. user=mdettweiler [2013-03-16 12:43:45] 721*2^1242805-1 is not prime. Res64: 15A84771759F2D2E Time : 0.0 sec. user=mdettweiler [2013-03-16 12:43:46] 729*2^1242805-1 is not prime. Res64: 30FFD01614090190 Time : 0.0 sec. user=mdettweiler [2013-03-16 12:43:50] 765*2^1242805-1 is not prime. Res64: 3401E40A3EF4C974 Time : 0.0 sec. user=mdettweiler [2013-03-16 12:43:50] 885*2^1242805-1 is not prime. Res64: BB9D6F86EFC91023 Time : 0.0 sec. user=vaughan [2013-03-16 12:47:59] 661*2^1242805-1 is not prime. Res64: 0C254558D72A9E16 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:01:29] 651*2^1242806-1 is not prime. Res64: B0454908DA37BF09 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:01:31] 663*2^1242806-1 is not prime. Res64: 5348AA410AED2978 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:01:31] 675*2^1242806-1 is not prime. Res64: 85122D46CDFE4E4D Time : 0.0 sec. user=mdettweiler [2013-03-16 13:01:32] 843*2^1242806-1 is not prime. Res64: 1700006D03AAE7C4 Time : 0.0 sec. user=juhehe [2013-03-16 13:18:29] 685*2^1242805-1 is not prime. Res64: 239A3D24278A2E38 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:20:20] 871*2^1242807-1 is not prime. Res64: 814A49C0755DFD80 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:20:20] 985*2^1242807-1 is not prime. Res64: F005B983CD63AB84 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:20:21] 605*2^1242808-1 is not prime. Res64: 312A77821030CD66 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:20:21] 623*2^1242808-1 is not prime. Res64: E736A1B1877BF405 Time : 0.0 sec. user=vaughan [2013-03-16 13:26:08] 781*2^1242807-1 is not prime. Res64: 771EAA0E74E5EE63 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:38:35] 869*2^1242808-1 is not prime. Res64: 4D049B6EACCF6CD6 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:38:36] 685*2^1242809-1 is not prime. Res64: F6E0AB06EBCBC2E3 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:38:37] 665*2^1242808-1 is not prime. Res64: B2E14668BE223B56 Time : 0.0 sec. user=mdettweiler [2013-03-16 13:38:37] 819*2^1242808-1 is not prime. Res64: D38B85506D28D3A1 Time : 0.0 sec. user=vaughan [2013-03-16 14:04:16] 691*2^1242809-1 is not prime. Res64: 573B24899AA2E9E8 Time : 0.0 sec. user=mdettweiler [2013-03-16 14:19:05] 879*2^1242809-1 is not prime. Res64: 1FCF842D0A027F88 Time : 0.0 sec. user=mdettweiler [2013-03-16 14:19:06] 897*2^1242809-1 is not prime. Res64: A770C54F7ACD33A6 Time : 0.0 sec. user=mdettweiler [2013-03-16 14:19:06] 969*2^1242809-1 is not prime. Res64: 69FAD7BBD31B89D8 Time : 0.0 sec. user=mdettweiler [2013-03-16 14:19:07] 677*2^1242810-1 is not prime. Res64: C66B2F476A3A7E0A Time : 0.0 sec. user=juhehe [2013-03-16 14:31:44] 787*2^1242809-1 is not prime. Res64: 9E7AB978DB0F9D22 Time : 0.0 sec. user=mdettweiler [2013-03-16 14:36:57] 713*2^1242810-1 is not prime. Res64: EAD81F5C92DE38C4 Time : 0.0 sec. user=mdettweiler [2013-03-16 14:36:58] 791*2^1242810-1 is not prime. Res64: 82659A3EC5F495D9 Time : 0.0 sec. user=mdettweiler [2013-03-16 14:36:58] 803*2^1242810-1 is not prime. Res64: 505B649543DBCDCF Time : 0.0 sec. user=mdettweiler [2013-03-16 14:36:59] 861*2^1242810-1 is not prime. Res64: 17E2EE3C734D2E3F Time : 0.0 sec. user=vaughan [2013-03-16 14:42:28] 681*2^1242810-1 is not prime. Res64: 7444724DB77F7A98 Time : 0.0 sec. user=mdettweiler [2013-03-16 14:55:03] 923*2^1242810-1 is not prime. Res64: 24CCE3D79250D611 Time : 0.0 sec. user=mdettweiler [2013-03-16 14:55:03] 759*2^1242811-1 is not prime. Res64: EFCE416F4E5E6510 Time : 0.0 sec. user=mdettweiler [2013-03-16 14:55:03] 971*2^1242810-1 is not prime. Res64: 8863FE15784FE14E Time : 0.0 sec. user=mdettweiler [2013-03-16 14:55:04] 841*2^1242811-1 is not prime. Res64: 18593500B71F1580 Time : 0.0 sec. user=mdettweiler [2013-03-16 15:13:39] 693*2^1242812-1 is not prime. Res64: B25DF76371BAB969 Time : 0.0 sec. user=mdettweiler [2013-03-16 15:13:39] 717*2^1242812-1 is not prime. Res64: F83CAFE9C8DB7CEA Time : 0.0 sec. user=mdettweiler [2013-03-16 15:13:49] 617*2^1242812-1 is not prime. Res64: 3893195AA3B76821 Time : 0.0 sec. user=mdettweiler [2013-03-16 15:13:49] 635*2^1242812-1 is not prime. Res64: 34483281F6BE5D0C Time : 0.0 sec. user=juhehe [2013-03-16 15:25:20] 893*2^1242810-1 is not prime. Res64: 1263000A3349CD07 Time : 0.0 sec. user=vaughan [2013-03-16 15:25:40] 961*2^1242811-1 is not prime. Res64: 088CCAEB84C6E6F2 Time : 0.0 sec. user=mdettweiler [2013-03-16 15:31:57] 725*2^1242812-1 is not prime. Res64: 8D45C3EC09E3E5CA Time : 0.0 sec. user=mdettweiler [2013-03-16 15:31:58] 767*2^1242812-1 is not prime. Res64: B761C234B8B62FA0 Time : 0.0 sec. user=mdettweiler [2013-03-16 15:32:02] 825*2^1242812-1 is not prime. Res64: ECD32146B071A0A9 Time : 0.0 sec. user=mdettweiler [2013-03-16 15:32:03] 837*2^1242812-1 is not prime. Res64: 630E83AB3347CF44 Time : 0.0 sec. user=mdettweiler [2013-03-16 15:49:35] 875*2^1242812-1 is not prime. Res64: 34B5771748A2FE79 Time : 0.0 sec. user=mdettweiler [2013-03-16 15:49:36] 679*2^1242813-1 is not prime. Res64: 656674E0989F6543 Time : 0.0 sec. user=mdettweiler [2013-03-16 15:49:41] 741*2^1242813-1 is not prime. Res64: 08D9EA31786FC27E Time : 0.0 sec. user=mdettweiler [2013-03-16 15:49:41] 781*2^1242813-1 is not prime. Res64: 28C31FABB90F6400 Time : 0.0 sec. user=vaughan [2013-03-16 16:03:49] 843*2^1242812-1 is not prime. Res64: 0C5E5D6BB4140712 Time : 0.0 sec. user=mdettweiler [2013-03-16 16:07:11] 811*2^1242813-1 is not prime. Res64: CFE32A113FFD4F02 Time : 0.0 sec. user=mdettweiler [2013-03-16 16:07:12] 819*2^1242813-1 is not prime. Res64: F01F13DE09F0AE09 Time : 0.0 sec. user=mdettweiler [2013-03-16 16:07:16] 901*2^1242813-1 is not prime. Res64: 6789B6C923348B17 Time : 0.0 sec. user=mdettweiler [2013-03-16 16:07:17] 999*2^1242813-1 is not prime. Res64: E1C108B42D50ECAF Time : 0.0 sec. user=mdettweiler [2013-03-16 16:24:49] 813*2^1242814-1 is not prime. Res64: 86714425A83B986A Time : 0.0 sec. user=mdettweiler [2013-03-16 16:24:49] 947*2^1242814-1 is not prime. Res64: A5CC961E86D38C59 Time : 0.0 sec. user=mdettweiler [2013-03-16 16:24:52] 957*2^1242814-1 is not prime. Res64: 0F6DDF5F655DA6BF Time : 0.0 sec. user=mdettweiler [2013-03-16 16:24:53] 669*2^1242815-1 is not prime. Res64: FA2213A3F075C014 Time : 0.0 sec. user=juhehe [2013-03-16 16:38:13] 795*2^1242813-1 is not prime. Res64: FB4BC3EF5B312CC8 Time : 0.0 sec. user=vaughan [2013-03-16 16:42:02] 705*2^1242814-1 is not prime. Res64: CB0DFA817762DC2D Time : 0.0 sec. user=mdettweiler [2013-03-16 16:42:25] 693*2^1242815-1 is not prime. Res64: 2FDA5CB7AFAF941F Time : 0.0 sec. user=mdettweiler [2013-03-16 16:42:25] 741*2^1242815-1 is not prime. Res64: 2BF650C96CA50E1F Time : 0.0 sec. user=mdettweiler [2013-03-16 16:42:28] 805*2^1242815-1 is not prime. Res64: 7B2B62D1E4D5DEFB Time : 0.0 sec. user=mdettweiler [2013-03-16 16:42:28] 831*2^1242815-1 is not prime. Res64: DA63507BF30F95F6 Time : 0.0 sec. user=mdettweiler [2013-03-16 16:59:57] 735*2^1242816-1 is not prime. Res64: 83946DE0A72D8F87 Time : 0.0 sec. user=mdettweiler [2013-03-16 16:59:58] 747*2^1242816-1 is not prime. Res64: E14DACDE8FDDA434 Time : 0.0 sec. user=mdettweiler [2013-03-16 17:00:00] 767*2^1242816-1 is not prime. Res64: AB40A1C5AD06B1B5 Time : 0.0 sec. user=mdettweiler [2013-03-16 17:00:01] 945*2^1242816-1 is not prime. Res64: 54BA06D2A8B80D9B Time : 0.0 sec. user=mdettweiler [2013-03-16 17:17:36] 687*2^1242817-1 is not prime. Res64: 4A7E9B28E56AAF3A Time : 0.0 sec. user=mdettweiler [2013-03-16 17:17:37] 729*2^1242817-1 is not prime. Res64: 299DF6E3C7479054 Time : 0.0 sec. user=mdettweiler [2013-03-16 17:17:37] 619*2^1242817-1 is not prime. Res64: B44CFAA21568852A Time : 0.0 sec. user=mdettweiler [2013-03-16 17:17:38] 651*2^1242817-1 is not prime. Res64: 63DD752A1E263E41 Time : 0.0 sec. user=vaughan [2013-03-16 17:20:10] 723*2^1242816-1 is not prime. Res64: FFA1D5400EC15415 Time : 0.0 sec. user=juhehe [2013-03-16 17:31:11] 627*2^1242816-1 is not prime. Res64: 45EEA5E92BCCB60C Time : 0.0 sec. user=mdettweiler [2013-03-16 17:35:12] 741*2^1242817-1 is not prime. Res64: 026B30B5398A61E5 Time : 0.0 sec. user=mdettweiler [2013-03-16 17:35:13] 747*2^1242817-1 is not prime. Res64: 155F704BC1F6C5FE Time : 0.0 sec. user=mdettweiler [2013-03-16 17:35:13] 871*2^1242817-1 is not prime. Res64: 31EAB1A49049CFE7 Time : 0.0 sec. user=mdettweiler [2013-03-16 17:35:13] 915*2^1242817-1 is not prime. Res64: 00A18A6834D3374E Time : 0.0 sec. user=mdettweiler [2013-03-16 17:52:51] 711*2^1242818-1 is not prime. Res64: 397313D9EBFFF139 Time : 0.0 sec. user=mdettweiler [2013-03-16 17:52:51] 633*2^1242818-1 is not prime. Res64: BC116730305DB6F5 Time : 0.0 sec. user=mdettweiler [2013-03-16 17:52:51] 887*2^1242818-1 is not prime. Res64: E729A698A3E64277 Time : 0.0 sec. user=mdettweiler [2013-03-16 17:52:51] 683*2^1242818-1 is not prime. Res64: 1C1DE323FAE30AD6 Time : 0.0 sec. user=vaughan [2013-03-16 18:03:23] 981*2^1242817-1 is not prime. Res64: 559AB04DD90EF40E Time : 0.0 sec. user=mdettweiler [2013-03-16 18:10:26] 685*2^1242819-1 is not prime. Res64: 6933D3B295E0F5E5 Time : 0.0 sec. user=mdettweiler [2013-03-16 18:10:27] 691*2^1242819-1 is not prime. Res64: F7873229ACE2ABC7 Time : 0.0 sec. user=mdettweiler [2013-03-16 18:10:29] 711*2^1242819-1 is not prime. Res64: 1B9F66B6098C7EBC Time : 0.0 sec. user=mdettweiler [2013-03-16 18:10:30] 801*2^1242819-1 is not prime. Res64: 0E38EC50EBD24754 Time : 0.0 sec. user=mdettweiler [2013-03-16 18:28:04] 913*2^1242819-1 is not prime. Res64: 3184299B927BFFF8 Time : 0.0 sec. user=mdettweiler [2013-03-16 18:28:05] 955*2^1242819-1 is not prime. Res64: 313D9E49D1D0EBBF Time : 0.0 sec. user=mdettweiler [2013-03-16 18:28:07] 899*2^1242820-1 is not prime. Res64: 7E03B054EFA036D9 Time : 0.0 sec. user=mdettweiler [2013-03-16 18:28:07] 923*2^1242820-1 is not prime. Res64: 7ED1D9841D5D7C99 Time : 0.0 sec. user=vaughan [2013-03-16 18:41:36] 823*2^1242819-1 is not prime. Res64: 22A3F2FA7274DF13 Time : 0.0 sec. user=mdettweiler [2013-03-16 18:45:41] 965*2^1242820-1 is not prime. Res64: 703851317CCF968C Time : 0.0 sec. user=mdettweiler [2013-03-16 18:45:42] 999*2^1242820-1 is not prime. Res64: 505F42C99E3EC868 Time : 0.0 sec. user=mdettweiler [2013-03-16 18:45:42] 601*2^1242821-1 is not prime. Res64: 910456C66A1201DA Time : 0.0 sec. user=mdettweiler [2013-03-16 18:45:43] 619*2^1242821-1 is not prime. Res64: 878A37824AFB27A7 Time : 0.0 sec. user=juhehe [2013-03-16 18:51:15] 995*2^1242818-1 is not prime. Res64: 1238A7A51E5FF91C Time : 0.0 sec. user=mdettweiler [2013-03-16 19:03:21] 825*2^1242821-1 is not prime. Res64: 050F4C25136EC970 Time : 0.0 sec. user=mdettweiler [2013-03-16 19:03:23] 861*2^1242821-1 is not prime. Res64: E69D405756404BA3 Time : 0.0 sec. user=mdettweiler [2013-03-16 19:03:23] 871*2^1242821-1 is not prime. Res64: B8990B6D2B04C4EB Time : 0.0 sec. user=mdettweiler [2013-03-16 19:03:23] 879*2^1242821-1 is not prime. Res64: DFAA51E53F89E2BF Time : 0.0 sec. user=vaughan [2013-03-16 19:19:44] 811*2^1242821-1 is not prime. Res64: 230638166E45D59D Time : 0.0 sec. user=mdettweiler [2013-03-16 19:21:09] 747*2^1242822-1 is not prime. Res64: 16FCCA766810B20B Time : 0.0 sec. user=mdettweiler [2013-03-16 19:21:09] 755*2^1242822-1 is not prime. Res64: 0C9B5F46878A0CE3 Time : 0.0 sec. user=mdettweiler [2013-03-16 19:21:11] 765*2^1242822-1 is not prime. Res64: 32C6A313C91BDC41 Time : 0.0 sec. user=mdettweiler [2013-03-16 19:21:11] 891*2^1242822-1 is not prime. Res64: 72CA29E2EA0F6300 Time : 0.0 sec. user=juhehe [2013-03-16 19:38:05] 745*2^1242821-1 is not prime. Res64: 3F427DACB31E5633 Time : 0.0 sec. user=mdettweiler [2013-03-16 19:38:55] 649*2^1242823-1 is not prime. Res64: D1D708B7E0A127E3 Time : 0.0 sec. user=mdettweiler [2013-03-16 19:38:55] 679*2^1242823-1 is not prime. Res64: FDE9644ABD400794 Time : 0.0 sec. user=mdettweiler [2013-03-16 19:38:57] 709*2^1242823-1 is not prime. Res64: C6D8904761016BB2 Time : 0.0 sec. user=mdettweiler [2013-03-16 19:38:57] 789*2^1242823-1 is not prime. Res64: BC9FAAE3EEF43D9B Time : 0.0 sec. user=vaughan [2013-03-16 19:57:52] 917*2^1242822-1 is not prime. Res64: 181E011FEDF5C678 Time : 0.0 sec. user=mdettweiler [2013-03-16 20:18:16] 813*2^1242823-1 is not prime. Res64: 4F3B159C4DE88250 Time : 0.0 sec. user=mdettweiler [2013-03-16 20:18:17] 871*2^1242823-1 is not prime. Res64: 1F1D0DB8B93C9964 Time : 0.0 sec. user=mdettweiler [2013-03-16 20:26:23] 973*2^1242823-1 is not prime. Res64: 5E3C8D838C1A3A94 Time : 0.0 sec. user=mdettweiler [2013-03-16 20:26:23] 609*2^1242824-1 is not prime. Res64: CC0BF58856BC385D Time : 0.0 sec. user=mdettweiler [2013-03-16 20:35:51] 699*2^1242825-1 is not prime. Res64: 51C6D81F14A14DCF Time : 0.0 sec. user=mdettweiler [2013-03-16 20:35:52] 709*2^1242825-1 is not prime. Res64: D177FCFD6B2BBE90 Time : 0.0 sec. user=vaughan [2013-03-16 20:36:03] 689*2^1242824-1 is not prime. Res64: FAAA06EDC5944132 Time : 0.0 sec. user=mdettweiler [2013-03-16 20:43:52] 781*2^1242825-1 is not prime. Res64: 474C55BC2F374622 Time : 0.0 sec. user=mdettweiler [2013-03-16 20:43:53] 867*2^1242825-1 is not prime. Res64: BF12837B01DEA52C Time : 0.0 sec. user=mdettweiler [2013-03-16 20:53:23] 951*2^1242825-1 is not prime. Res64: 3B2B6AD57D259869 Time : 0.0 sec. user=mdettweiler [2013-03-16 20:53:24] 617*2^1242826-1 is not prime. Res64: DD3D1E48529BAA4F Time : 0.0 sec. user=juhehe [2013-03-16 20:57:13] 617*2^1242824-1 is not prime. Res64: 76D57C27A75AE4AA Time : 0.0 sec. user=mdettweiler [2013-03-16 21:01:22] 825*2^1242826-1 is not prime. Res64: CDBC6AD6DC887634 Time : 0.0 sec. user=mdettweiler [2013-03-16 21:01:23] 861*2^1242826-1 is not prime. Res64: 257A382976B30036 Time : 0.0 sec. user=mdettweiler [2013-03-16 21:10:51] 873*2^1242826-1 is not prime. Res64: C615E2D1826B242B Time : 0.0 sec. user=mdettweiler [2013-03-16 21:10:52] 881*2^1242826-1 is not prime. Res64: 87C521BEA0387424 Time : 0.0 sec. user=vaughan [2013-03-16 21:14:11] 657*2^1242826-1 is not prime. Res64: 60349A73D2C275CB Time : 0.0 sec. user=mdettweiler [2013-03-16 21:18:54] 891*2^1242826-1 is not prime. Res64: BF8014EF9A246A1A Time : 0.0 sec. user=mdettweiler [2013-03-16 21:18:54] 711*2^1242827-1 is not prime. Res64: 442614B74FBAE68A Time : 0.0 sec. user=mdettweiler [2013-03-16 21:28:19] 735*2^1242827-1 is not prime. Res64: 5C8B5F40F5C30E84 Time : 0.0 sec. user=mdettweiler [2013-03-16 21:28:19] 759*2^1242827-1 is not prime. Res64: 0A6986B2D314DB09 Time : 0.0 sec. user=mdettweiler [2013-03-16 21:36:21] 695*2^1242828-1 is not prime. Res64: D032B7B02528A842 Time : 0.0 sec. user=mdettweiler [2013-03-16 21:36:22] 765*2^1242828-1 is not prime. Res64: DB87180D76F2AAD5 Time : 0.0 sec. user=juhehe [2013-03-16 21:44:18] 747*2^1242826-1 is not prime. Res64: D353199EE109A757 Time : 0.0 sec. user=mdettweiler [2013-03-16 21:45:46] 789*2^1242828-1 is not prime. Res64: 87574097A3F9B785 Time : 0.0 sec. user=mdettweiler [2013-03-16 21:45:47] 809*2^1242828-1 is not prime. Res64: 819212325662C52E Time : 0.0 sec. user=vaughan [2013-03-16 21:52:17] 945*2^1242827-1 is not prime. Res64: AD3CA75FFE959A45 Time : 0.0 sec. user=mdettweiler [2013-03-16 21:53:49] 945*2^1242828-1 is not prime. Res64: 492137B6DAE12012 Time : 0.0 sec. user=mdettweiler [2013-03-16 21:53:49] 699*2^1242829-1 is not prime. Res64: 870F2CF19857873B Time : 0.0 sec. user=mdettweiler [2013-03-16 22:03:14] 817*2^1242829-1 is not prime. Res64: D700403FF1EC71EA Time : 0.0 sec. user=mdettweiler [2013-03-16 22:03:15] 825*2^1242829-1 is not prime. Res64: E02B4AC2AD0E487E Time : 0.0 sec. user=mdettweiler [2013-03-16 22:11:17] 605*2^1242830-1 is not prime. Res64: 523BF93A6234F0E4 Time : 0.0 sec. user=mdettweiler [2013-03-16 22:11:18] 663*2^1242830-1 is not prime. Res64: 73608D5C01B311FE Time : 0.0 sec. user=mdettweiler [2013-03-16 22:20:43] 741*2^1242830-1 is not prime. Res64: C5A7923F4F193652 Time : 0.0 sec. user=mdettweiler [2013-03-16 22:20:44] 755*2^1242830-1 is not prime. Res64: FE13DF762FA54A21 Time : 0.0 sec. user=mdettweiler [2013-03-16 22:28:45] 801*2^1242830-1 is not prime. Res64: B5B00350240C564F Time : 0.0 sec. user=mdettweiler [2013-03-16 22:28:46] 885*2^1242830-1 is not prime. Res64: 1F024EF6EF0E5E65 Time : 0.0 sec. user=vaughan [2013-03-16 22:35:28] 967*2^1242829-1 is not prime. Res64: 5034D734AE418453 Time : 0.0 sec. user=mdettweiler [2013-03-16 22:38:11] 921*2^1242830-1 is not prime. Res64: 11AAD33B61C04C6F Time : 0.0 sec. user=mdettweiler [2013-03-16 22:38:12] 693*2^1242831-1 is not prime. Res64: E6B2B1F2513F8176 Time : 0.0 sec. user=mdettweiler [2013-03-16 22:46:14] 705*2^1242831-1 is not prime. Res64: 3BEB969254CDBD7B Time : 0.0 sec. user=mdettweiler [2013-03-16 22:46:14] 901*2^1242831-1 is not prime. Res64: 673559ADA3434820 Time : 0.0 sec. user=mdettweiler [2013-03-16 22:55:39] 979*2^1242831-1 is not prime. Res64: E3ECCC354C285EE1 Time : 0.0 sec. user=mdettweiler [2013-03-16 22:55:39] 999*2^1242831-1 is not prime. Res64: 2E67B636F89E713D Time : 0.0 sec. user=juhehe [2013-03-16 23:02:44] 671*2^1242830-1 is not prime. Res64: C187BAF6CD0EC8B2 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:03:42] 717*2^1242832-1 is not prime. Res64: 92846C6E15F19846 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:03:42] 797*2^1242832-1 is not prime. Res64: 4860CEC7A4BD0EB3 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:13:07] 803*2^1242832-1 is not prime. Res64: 9E3EEE6E59148067 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:13:07] 843*2^1242832-1 is not prime. Res64: 136EF8A861B54AF2 Time : 0.0 sec. user=vaughan [2013-03-16 23:18:43] 975*2^1242831-1 is not prime. Res64: 96DE2BC5666CBC62 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:21:10] 995*2^1242832-1 is not prime. Res64: 203E3C6408266DFF Time : 0.0 sec. user=mdettweiler [2013-03-16 23:21:11] 657*2^1242833-1 is not prime. Res64: 2D82AA7A5DF26FF6 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:30:34] 691*2^1242833-1 is not prime. Res64: 01ABB1F282C4C498 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:30:35] 741*2^1242833-1 is not prime. Res64: 2585885DF401F952 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:38:42] 611*2^1242834-1 is not prime. Res64: A68E2C9BA6C54A17 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:38:42] 725*2^1242834-1 is not prime. Res64: 77100FC3D20B49BB Time : 0.0 sec. user=mdettweiler [2013-03-16 23:48:05] 765*2^1242834-1 is not prime. Res64: 6C3C822D75924D5D Time : 0.0 sec. user=mdettweiler [2013-03-16 23:48:06] 791*2^1242834-1 is not prime. Res64: 1B009BA9ECA84130 Time : 0.0 sec. user=juhehe [2013-03-16 23:50:54] 705*2^1242832-1 is not prime. Res64: D403D7F1409A7876 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:56:10] 619*2^1242835-1 is not prime. Res64: E378F049A6549E80 Time : 0.0 sec. user=mdettweiler [2013-03-16 23:56:10] 715*2^1242835-1 is not prime. Res64: 3B2D784FF2394958 Time : 0.0 sec. user=vaughan [2013-03-16 23:56:54] 837*2^1242833-1 is not prime. Res64: 0E54B4772C6521DA Time : 0.0 sec.