user=mdettweiler [2013-05-22 00:05:02] 607*2^1246137-1 is not prime. Res64: 69C3393C6111B0C0 Time : 0.0 sec. user=mdettweiler [2013-05-22 00:09:29] 611*2^1246138-1 is not prime. Res64: 0EC0CD2EA98C80E4 Time : 0.0 sec. user=mdettweiler [2013-05-22 00:09:31] 657*2^1246138-1 is not prime. Res64: 30C075A2D084EA10 Time : 0.0 sec. user=mdettweiler [2013-05-22 00:23:14] 663*2^1246138-1 is not prime. Res64: 3E9496F3F8724ADB Time : 0.0 sec. user=mdettweiler [2013-05-22 00:28:23] 887*2^1246138-1 is not prime. Res64: 17502D0969341532 Time : 0.0 sec. user=mdettweiler [2013-05-22 00:42:33] 773*2^1246138-1 is not prime. Res64: E0EAD6B5DF2DC347 Time : 0.0 sec. user=mdettweiler [2013-05-22 00:50:01] 987*2^1246138-1 is not prime. Res64: 8AEC29C775A0D19F Time : 0.0 sec. user=mdettweiler [2013-05-22 01:07:49] 609*2^1246139-1 is not prime. Res64: A31E59065FF13885 Time : 0.0 sec. user=mdettweiler [2013-05-22 01:23:16] 619*2^1246139-1 is not prime. Res64: D7020041A033C25F Time : 0.0 sec. user=mdettweiler [2013-05-22 01:23:16] 861*2^1246139-1 is not prime. Res64: A07986052361B74F Time : 0.0 sec. user=mdettweiler [2013-05-22 01:30:19] 615*2^1246139-1 is not prime. Res64: A6CEED426C43EBEE Time : 0.0 sec. user=mdettweiler [2013-05-22 01:41:16] 889*2^1246139-1 is not prime. Res64: 4B951B7A0CD43AE6 Time : 0.0 sec. user=mdettweiler [2013-05-22 01:49:50] 783*2^1246140-1 is not prime. Res64: 3E03018388945CAD Time : 0.0 sec. user=mdettweiler [2013-05-22 01:49:50] 809*2^1246140-1 is not prime. Res64: 164A46DC840630E3 Time : 0.0 sec. user=mdettweiler [2013-05-22 02:00:26] 665*2^1246140-1 is not prime. Res64: 871EE186AE5BD1B7 Time : 0.0 sec. user=mdettweiler [2013-05-22 02:07:46] 839*2^1246140-1 is not prime. Res64: 58585B97B3866329 Time : 0.0 sec. user=mdettweiler [2013-05-22 02:28:41] 867*2^1246140-1 is not prime. Res64: CB1C1789F00F1DCD Time : 0.0 sec. user=mdettweiler [2013-05-22 02:46:19] 681*2^1246141-1 is not prime. Res64: 27A0B85BF5268B5C Time : 0.0 sec. user=mdettweiler [2013-05-22 02:46:20] 727*2^1246141-1 is not prime. Res64: 91CD33AB9EC39ABB Time : 0.0 sec. user=mdettweiler [2013-05-22 02:46:21] 777*2^1246141-1 is not prime. Res64: C2369E5D07C9390A Time : 0.0 sec. user=mdettweiler [2013-05-22 03:23:42] 717*2^1246141-1 is not prime. Res64: 21753271971F6774 Time : 0.0 sec. user=mdettweiler [2013-05-22 03:39:26] 847*2^1246141-1 is not prime. Res64: 0267B85163F5F550 Time : 0.0 sec. user=mdettweiler [2013-05-22 04:06:06] 855*2^1246141-1 is not prime. Res64: C6580232E17F9AE1 Time : 0.0 sec. user=mdettweiler [2013-05-22 04:19:56] 877*2^1246141-1 is not prime. Res64: A186AADDE6CDAD1B Time : 0.0 sec. user=mdettweiler [2013-05-22 04:19:56] 931*2^1246141-1 is not prime. Res64: 2992902324F7AC82 Time : 0.0 sec. user=mdettweiler [2013-05-22 04:23:58] 945*2^1246141-1 is not prime. Res64: D0A2043155FEACAC Time : 0.0 sec. user=mdettweiler [2013-05-22 04:37:52] 801*2^1246142-1 is not prime. Res64: 119F1BE818B3757D Time : 0.0 sec. user=mdettweiler [2013-05-22 04:43:06] 603*2^1246142-1 is not prime. Res64: 035DC542AC2B9A2F Time : 0.0 sec. user=mdettweiler [2013-05-22 04:56:06] 915*2^1246142-1 is not prime. Res64: CA251CC5CC0136AF Time : 0.0 sec. user=mdettweiler [2013-05-22 05:00:43] 963*2^1246142-1 is not prime. Res64: 0D02D7CE4D548806 Time : 0.0 sec. user=mdettweiler [2013-05-22 05:00:44] 965*2^1246142-1 is not prime. Res64: 5B9D479BE31DCA4A Time : 0.0 sec. user=mdettweiler [2013-05-22 05:14:47] 987*2^1246142-1 is not prime. Res64: 4F76A686011214A7 Time : 0.0 sec. user=mdettweiler [2013-05-22 05:18:39] 661*2^1246143-1 is not prime. Res64: 581DF5EA40A9B659 Time : 0.0 sec. user=mdettweiler [2013-05-22 05:18:39] 685*2^1246143-1 is not prime. Res64: 413B33C31E6015C7 Time : 0.0 sec. user=mdettweiler [2013-05-22 05:36:31] 763*2^1246143-1 is not prime. Res64: 5E51452104BF9F75 Time : 0.0 sec. user=mdettweiler [2013-05-22 05:36:31] 849*2^1246143-1 is not prime. Res64: BE5493A8647FA602 Time : 0.0 sec. user=mdettweiler [2013-05-22 05:37:32] 625*2^1246143-1 is not prime. Res64: 831DFA5481BBC83D Time : 0.0 sec. user=mdettweiler [2013-05-22 05:54:23] 891*2^1246143-1 is not prime. Res64: 9D9220CBFD54AD5A Time : 0.0 sec. user=mdettweiler [2013-05-22 05:54:24] 895*2^1246143-1 is not prime. Res64: 44A0EF69A788BC9D Time : 0.0 sec. user=mdettweiler [2013-05-22 05:55:08] 945*2^1246143-1 is not prime. Res64: F1E3668DFCE45EEE Time : 0.0 sec. user=mdettweiler [2013-05-22 05:55:08] 827*2^1246144-1 is not prime. Res64: F5803E4E86634FF3 Time : 0.0 sec. user=mdettweiler [2013-05-22 06:12:15] 863*2^1246144-1 is not prime. Res64: 0D0E86A2266DA5B7 Time : 0.0 sec. user=mdettweiler [2013-05-22 06:12:58] 909*2^1246144-1 is not prime. Res64: A08DD01503E833CA Time : 0.0 sec. user=mdettweiler [2013-05-22 06:35:15] 903*2^1246144-1 is not prime. Res64: 3F05CE88515B2316 Time : 0.0 sec. user=mdettweiler [2013-05-22 06:43:24] 959*2^1246144-1 is not prime. Res64: AB1A4AE36FD08A95 Time : 0.0 sec. user=juhehe [2013-05-22 06:48:14] 705*2^1246145-1 is not prime. Res64: 4AB7AA1E65A19B76 Time : 0.0 sec. user=mdettweiler [2013-05-22 06:53:04] 811*2^1246145-1 is not prime. Res64: 2AA670E6597B0F19 Time : 0.0 sec. user=mdettweiler [2013-05-22 07:22:33] 885*2^1246145-1 is not prime. Res64: DFB797D1AE0B6FB6 Time : 0.0 sec. user=mdettweiler [2013-05-22 07:32:25] 889*2^1246145-1 is not prime. Res64: 9A00E7B3A23712B7 Time : 0.0 sec. user=mdettweiler [2013-05-22 07:32:25] 711*2^1246146-1 is not prime. Res64: F8DFBDD19270F2C1 Time : 0.0 sec. user=mdettweiler [2013-05-22 07:50:22] 723*2^1246146-1 is not prime. Res64: DC2F2D1165A5C812 Time : 0.0 sec. user=mdettweiler [2013-05-22 08:15:36] 777*2^1246146-1 is not prime. Res64: B71F3ED7C2698427 Time : 0.0 sec. user=juhehe [2013-05-22 08:18:03] 873*2^1246146-1 is not prime. Res64: 1DCAEFE8A566CE10 Time : 0.0 sec. user=mdettweiler [2013-05-22 08:18:27] 947*2^1246146-1 is not prime. Res64: 70D7545DD673B59C Time : 0.0 sec. user=mdettweiler [2013-05-22 08:18:28] 993*2^1246146-1 is not prime. Res64: 6D794EE17AE9B256 Time : 0.0 sec. user=mdettweiler [2013-05-22 08:36:21] 615*2^1246147-1 is not prime. Res64: 4AC3148D6DE07E24 Time : 0.0 sec. user=mdettweiler [2013-05-22 08:36:38] 691*2^1246147-1 is not prime. Res64: E8FD558A022E7F0F Time : 0.0 sec. user=mdettweiler [2013-05-22 09:03:50] 703*2^1246147-1 is not prime. Res64: 1EC2C18115C0A1F4 Time : 0.0 sec. user=mdettweiler [2013-05-22 09:03:51] 765*2^1246147-1 is not prime. Res64: 25BA2C334412356F Time : 0.0 sec. user=mdettweiler [2013-05-22 09:21:33] 819*2^1246147-1 is not prime. Res64: 92B47F12F699F678 Time : 0.0 sec. user=mdettweiler [2013-05-22 09:21:33] 885*2^1246147-1 is not prime. Res64: DFDACBC32401918F Time : 0.0 sec. user=mdettweiler [2013-05-22 09:30:17] 925*2^1246147-1 is not prime. Res64: C996B3F679AC6864 Time : 0.0 sec. user=mdettweiler [2013-05-22 09:40:06] 979*2^1246147-1 is not prime. Res64: 9AC222756521869C Time : 0.0 sec. user=mdettweiler [2013-05-22 09:40:06] 665*2^1246148-1 is not prime. Res64: 98C6C77D65E454AB Time : 0.0 sec. user=mdettweiler [2013-05-22 09:52:29] 961*2^1246147-1 is not prime. Res64: 7B898965AAFEF448 Time : 0.0 sec. user=juhehe [2013-05-22 09:53:28] 813*2^1246148-1 is not prime. Res64: F8E66A5CAEE43834 Time : 0.0 sec. user=mdettweiler [2013-05-22 09:57:42] 825*2^1246148-1 is not prime. Res64: 404BD1A0CEB7CC2E Time : 0.0 sec. user=mdettweiler [2013-05-22 09:57:42] 867*2^1246148-1 is not prime. Res64: 9CCB26D799811DCF Time : 0.0 sec. user=mdettweiler [2013-05-22 10:10:50] 885*2^1246148-1 is not prime. Res64: 3B52752AA5D93E0A Time : 0.0 sec. user=mdettweiler [2013-05-22 10:15:17] 745*2^1246149-1 is not prime. Res64: 99FCE6FADD708683 Time : 0.0 sec. user=mdettweiler [2013-05-22 10:15:18] 663*2^1246150-1 is not prime. Res64: 20BE51813262D454 Time : 0.0 sec. user=mdettweiler [2013-05-22 10:33:22] 671*2^1246150-1 is not prime. Res64: BEFBBC917FDDBBFC Time : 0.0 sec. user=mdettweiler [2013-05-22 10:36:55] 649*2^1246149-1 is not prime. Res64: 432D5755E9B39B6F Time : 0.0 sec. user=mdettweiler [2013-05-22 10:54:32] 863*2^1246150-1 is not prime. Res64: 15B89BC03605613F Time : 0.0 sec. user=mdettweiler [2013-05-22 10:54:32] 945*2^1246150-1 is not prime. Res64: 1D0A87224131C047 Time : 0.0 sec. user=mdettweiler [2013-05-22 10:58:23] 821*2^1246150-1 is not prime. Res64: BB441FC71AD6114B Time : 0.0 sec. user=mdettweiler [2013-05-22 11:12:38] 705*2^1246151-1 is not prime. Res64: 8D104B8180CE8D2B Time : 0.0 sec. user=mdettweiler [2013-05-22 11:43:19] 969*2^1246151-1 is not prime. Res64: 8E3FD26CD55539A7 Time : 0.0 sec. user=juhehe [2013-05-22 11:44:30] 889*2^1246151-1 is not prime. Res64: ED99DCBEC8FABA04 Time : 0.0 sec. user=mdettweiler [2013-05-22 11:51:11] 745*2^1246151-1 is not prime. Res64: 75039A1AD3D96342 Time : 0.0 sec. user=juhehe [2013-05-22 12:06:16] 737*2^1246152-1 is not prime. Res64: 189E664172EE1AD2 Time : 0.0 sec. user=mdettweiler [2013-05-22 12:08:49] 797*2^1246152-1 is not prime. Res64: E4663A066B1F34DB Time : 0.0 sec. user=mdettweiler [2013-05-22 12:08:49] 899*2^1246152-1 is not prime. Res64: 525621E164C55AD2 Time : 0.0 sec. user=mdettweiler [2013-05-22 12:09:38] 695*2^1246152-1 is not prime. Res64: 9E76683B5DEC2C30 Time : 0.0 sec. user=mdettweiler [2013-05-22 12:26:26] 945*2^1246152-1 is not prime. Res64: F8417C60555FC5BA Time : 0.0 sec. user=mdettweiler [2013-05-22 12:26:26] 691*2^1246153-1 is not prime. Res64: 463F164F80FF86E4 Time : 0.0 sec. user=mdettweiler [2013-05-22 12:27:15] 807*2^1246153-1 is not prime. Res64: 465C5D77F5235077 Time : 0.0 sec. user=mdettweiler [2013-05-22 12:27:15] 945*2^1246153-1 is not prime. Res64: D0C5D7560A49BC2B Time : 0.0 sec. user=mdettweiler [2013-05-22 12:44:20] 827*2^1246154-1 is not prime. Res64: 3C8CFE91E29E7999 Time : 0.0 sec. user=mdettweiler [2013-05-22 12:45:02] 923*2^1246154-1 is not prime. Res64: AD6979658A9ECBF4 Time : 0.0 sec. user=mdettweiler [2013-05-22 13:16:31] 601*2^1246155-1 is not prime. Res64: 649DA67E892E8909 Time : 0.0 sec. user=mdettweiler [2013-05-22 13:20:51] 921*2^1246154-1 is not prime. Res64: D831A0A56D8DB360 Time : 0.0 sec. user=juhehe [2013-05-22 13:35:42] 781*2^1246155-1 is not prime. Res64: FC13D0EBE06A0F85 Time : 0.0 sec. user=mdettweiler [2013-05-22 13:46:06] 793*2^1246155-1 is not prime. Res64: F864D0F59ACE1A76 Time : 0.0 sec. user=mdettweiler [2013-05-22 13:46:07] 823*2^1246155-1 is not prime. Res64: A1E02993AFA02B65 Time : 0.0 sec. user=mdettweiler [2013-05-22 14:00:02] 949*2^1246155-1 is not prime. Res64: 8FA96CF6DC35D4E5 Time : 0.0 sec. user=mdettweiler [2013-05-22 14:00:03] 689*2^1246156-1 is not prime. Res64: 21025BA1CB4E9A31 Time : 0.0 sec. user=mdettweiler [2013-05-22 14:03:59] 743*2^1246156-1 is not prime. Res64: 589BE1014FC916DD Time : 0.0 sec. user=mdettweiler [2013-05-22 14:04:00] 909*2^1246156-1 is not prime. Res64: 17C1954EA2F44C35 Time : 0.0 sec. user=mdettweiler [2013-05-22 14:18:05] 923*2^1246156-1 is not prime. Res64: 1FBB179E92B9C471 Time : 0.0 sec. user=mdettweiler [2013-05-22 14:21:41] 729*2^1246157-1 is not prime. Res64: 33D18FA5196705AD Time : 0.0 sec. user=mdettweiler [2013-05-22 14:21:42] 771*2^1246157-1 is not prime. Res64: B8E5B5C3275379AE Time : 0.0 sec. user=mdettweiler [2013-05-22 14:40:08] 837*2^1246157-1 is not prime. Res64: 7C33FAD1BD4DC0BE Time : 0.0 sec. user=mdettweiler [2013-05-22 14:40:08] 991*2^1246157-1 is not prime. Res64: 1F90FDB1F415E93F Time : 0.0 sec. user=mdettweiler [2013-05-22 14:53:52] 969*2^1246156-1 is not prime. Res64: 3D1507617C98C31D Time : 0.0 sec. user=mdettweiler [2013-05-22 14:58:17] 611*2^1246158-1 is not prime. Res64: 7BD27EF5B806C91A Time : 0.0 sec. user=mdettweiler [2013-05-22 15:37:38] 707*2^1246158-1 is not prime. Res64: 4C07E6FA544CEC80 Time : 0.0 sec. user=mdettweiler [2013-05-22 15:51:02] 711*2^1246158-1 is not prime. Res64: 7D507C4D759B3725 Time : 0.0 sec. user=mdettweiler [2013-05-22 15:51:02] 713*2^1246158-1 is not prime. Res64: 1E02CFA47893464F Time : 0.0 sec. user=mdettweiler [2013-05-22 15:55:18] 747*2^1246158-1 is not prime. Res64: 204DDD9C79CA60FD Time : 0.0 sec. user=mdettweiler [2013-05-22 15:55:18] 867*2^1246158-1 is not prime. Res64: BC4BA1F7F8D9BC8B Time : 0.0 sec. user=mdettweiler [2013-05-22 16:09:06] 921*2^1246158-1 is not prime. Res64: 8B9FDA0758379433 Time : 0.0 sec. user=mdettweiler [2013-05-22 16:13:08] 763*2^1246159-1 is not prime. Res64: 534ADAB68A99013E Time : 0.0 sec. user=mdettweiler [2013-05-22 16:13:08] 841*2^1246159-1 is not prime. Res64: 8628F8707FB7C51A Time : 0.0 sec. user=mdettweiler [2013-05-22 16:30:58] 853*2^1246159-1 is not prime. Res64: 55C2C759A3C5DC51 Time : 0.0 sec. user=mdettweiler [2013-05-22 16:30:59] 883*2^1246159-1 is not prime. Res64: 946CE59AAC64DA21 Time : 0.0 sec. user=mdettweiler [2013-05-22 16:32:49] 741*2^1246159-1 is not prime. Res64: 17F3CA78BF13D9F4 Time : 0.0 sec. user=mdettweiler [2013-05-22 16:48:54] 885*2^1246159-1 is not prime. Res64: B11CA9EC0F87FA6B Time : 0.0 sec. user=mdettweiler [2013-05-22 16:51:21] 951*2^1246159-1 is not prime. Res64: 78C8710ADC78294F Time : 0.0 sec. user=mdettweiler [2013-05-22 16:51:21] 999*2^1246159-1 is not prime. Res64: EBF97352141532E9 Time : 0.0 sec. user=mdettweiler [2013-05-22 17:09:22] 755*2^1246160-1 is not prime. Res64: C51C0B0DE94DFAAD Time : 0.0 sec. user=mdettweiler [2013-05-22 17:09:22] 789*2^1246160-1 is not prime. Res64: BB29391D7889B3A5 Time : 0.0 sec. user=mdettweiler [2013-05-22 17:17:47] 925*2^1246159-1 is not prime. Res64: 8947612E65375651 Time : 0.0 sec. user=mdettweiler [2013-05-22 17:27:30] 813*2^1246160-1 is not prime. Res64: 447B9992A5D4C2EA Time : 0.0 sec. user=mdettweiler [2013-05-22 17:35:44] 777*2^1246161-1 is not prime. Res64: ACC10D537F322556 Time : 0.0 sec. user=mdettweiler [2013-05-22 17:35:44] 895*2^1246161-1 is not prime. Res64: DAD4553EAF0AA6B9 Time : 0.0 sec. user=mdettweiler [2013-05-22 17:54:22] 909*2^1246161-1 is not prime. Res64: 52CFFBA5DBB205B0 Time : 0.0 sec. user=mdettweiler [2013-05-22 17:54:23] 999*2^1246161-1 is not prime. Res64: 1684A87B93F8F493 Time : 0.0 sec. user=mdettweiler [2013-05-22 17:57:00] 727*2^1246161-1 is not prime. Res64: FC8059B0BC5648E0 Time : 0.0 sec. user=mdettweiler [2013-05-22 18:12:19] 603*2^1246162-1 is not prime. Res64: 8E6D1C4E748734FC Time : 0.0 sec. user=mdettweiler [2013-05-22 18:12:19] 657*2^1246162-1 is not prime. Res64: 5639FA3DB59B54EF Time : 0.0 sec. user=mdettweiler [2013-05-22 18:30:33] 677*2^1246162-1 is not prime. Res64: FAC6F8470D03AB16 Time : 0.0 sec. user=mdettweiler [2013-05-22 18:30:34] 735*2^1246162-1 is not prime. Res64: F763C0DB1FF0B9AD Time : 0.0 sec. user=mdettweiler [2013-05-22 18:48:46] 791*2^1246162-1 is not prime. Res64: E4101D8253B8EB36 Time : 0.0 sec. user=mdettweiler [2013-05-22 18:48:46] 821*2^1246162-1 is not prime. Res64: 5F5AB7A3AB7F5814 Time : 0.0 sec. user=mdettweiler [2013-05-22 18:53:03] 941*2^1246162-1 is not prime. Res64: 3BD9F940D700931F Time : 0.0 sec. user=mdettweiler [2013-05-22 18:53:04] 663*2^1246163-1 is not prime. Res64: 6401D87DE371A815 Time : 0.0 sec. user=mdettweiler [2013-05-22 19:06:44] 735*2^1246163-1 is not prime. Res64: 40EA053D6B25D5CE Time : 0.0 sec. user=mdettweiler [2013-05-22 19:06:45] 811*2^1246163-1 is not prime. Res64: 6BFA664B99353494 Time : 0.0 sec. user=mdettweiler [2013-05-22 19:11:08] 871*2^1246163-1 is not prime. Res64: 2B6C8E64E630F945 Time : 0.0 sec. user=mdettweiler [2013-05-22 19:11:09] 973*2^1246163-1 is not prime. Res64: 34666B4CBADFA292 Time : 0.0 sec. user=mdettweiler [2013-05-22 19:25:07] 615*2^1246164-1 is not prime. Res64: 802576B3711D9C1C Time : 0.0 sec. user=mdettweiler [2013-05-22 19:25:08] 723*2^1246164-1 is not prime. Res64: 0916F66FB7FE0C51 Time : 0.0 sec. user=mdettweiler [2013-05-22 19:29:23] 887*2^1246164-1 is not prime. Res64: 727A5C8ED0E7D416 Time : 0.0 sec. user=mdettweiler [2013-05-22 19:29:23] 947*2^1246164-1 is not prime. Res64: FA143828CA804820 Time : 0.0 sec. user=mdettweiler [2013-05-22 19:43:29] 651*2^1246165-1 is not prime. Res64: FDA70DC6C96A3E4C Time : 0.0 sec. user=mdettweiler [2013-05-22 19:43:29] 741*2^1246165-1 is not prime. Res64: 7C6FF8E90B4D12FC Time : 0.0 sec. user=mdettweiler [2013-05-22 19:47:17] 877*2^1246165-1 is not prime. Res64: 31E5CF5D9AD16763 Time : 0.0 sec. user=mdettweiler [2013-05-22 19:47:18] 937*2^1246165-1 is not prime. Res64: 82996C23B6D27F61 Time : 0.0 sec. user=mdettweiler [2013-05-22 20:02:06] 675*2^1246166-1 is not prime. Res64: BF9DDCFAADA916B1 Time : 0.0 sec. user=mdettweiler [2013-05-22 20:05:19] 747*2^1246166-1 is not prime. Res64: C95D6B26573EB75B Time : 0.0 sec. user=mdettweiler [2013-05-22 20:05:19] 921*2^1246166-1 is not prime. Res64: E7567B966701429E Time : 0.0 sec. user=mdettweiler [2013-05-22 20:23:14] 971*2^1246166-1 is not prime. Res64: 06790253407F4A00 Time : 0.0 sec. user=mdettweiler [2013-05-22 20:23:14] 711*2^1246167-1 is not prime. Res64: 1E89ABCF2E3231D0 Time : 0.0 sec. user=mdettweiler [2013-05-22 20:32:08] 707*2^1246166-1 is not prime. Res64: 46EDB5AE01B20F07 Time : 0.0 sec. user=mdettweiler [2013-05-22 20:41:04] 741*2^1246167-1 is not prime. Res64: 0CF376D32F772531 Time : 0.0 sec. user=mdettweiler [2013-05-22 20:41:05] 871*2^1246167-1 is not prime. Res64: 0CE8809F957E193D Time : 0.0 sec. user=mdettweiler [2013-05-22 20:50:07] 885*2^1246167-1 is not prime. Res64: 7534BE0FB88769E0 Time : 0.0 sec. user=mdettweiler [2013-05-22 20:59:46] 979*2^1246167-1 is not prime. Res64: F76D153947D5FC4B Time : 0.0 sec. user=mdettweiler [2013-05-22 20:59:46] 665*2^1246168-1 is not prime. Res64: 0C99A058DDDCAD91 Time : 0.0 sec. user=mdettweiler [2013-05-22 21:12:45] 913*2^1246167-1 is not prime. Res64: C986F5D230739E06 Time : 0.0 sec. user=mdettweiler [2013-05-22 21:19:17] 819*2^1246168-1 is not prime. Res64: 9C689CE1A8F467A3 Time : 0.0 sec. user=mdettweiler [2013-05-22 21:41:07] 827*2^1246168-1 is not prime. Res64: 6B013CF756E97832 Time : 0.0 sec. user=mdettweiler [2013-05-22 21:55:58] 839*2^1246168-1 is not prime. Res64: E1465211CEA82A2A Time : 0.0 sec. user=mdettweiler [2013-05-22 21:55:58] 899*2^1246168-1 is not prime. Res64: 2EC9159F3C1FA285 Time : 0.0 sec. user=mdettweiler [2013-05-22 22:14:30] 993*2^1246168-1 is not prime. Res64: CBD18FAA8DB30EB9 Time : 0.0 sec. user=mdettweiler [2013-05-22 22:14:30] 727*2^1246169-1 is not prime. Res64: 9045670910BC38D9 Time : 0.0 sec. user=mdettweiler [2013-05-22 22:32:12] 745*2^1246169-1 is not prime. Res64: A78369598800607E Time : 0.0 sec. user=mdettweiler [2013-05-22 22:32:12] 787*2^1246169-1 is not prime. Res64: 355ADC7280F8B5A2 Time : 0.0 sec. user=mdettweiler [2013-05-22 22:37:06] 847*2^1246169-1 is not prime. Res64: C26866CF69469F68 Time : 0.0 sec. user=mdettweiler [2013-05-22 22:37:07] 861*2^1246169-1 is not prime. Res64: 716D2FCFBD321EEF Time : 0.0 sec. user=mdettweiler [2013-05-22 22:50:41] 997*2^1246169-1 is not prime. Res64: 12C1B0B7E80919D9 Time : 0.0 sec. user=mdettweiler [2013-05-22 22:50:41] 851*2^1246170-1 is not prime. Res64: 9BE73EE8916B0D92 Time : 0.0 sec. user=mdettweiler [2013-05-22 22:54:55] 875*2^1246170-1 is not prime. Res64: 04D64FA2CB66D6D5 Time : 0.0 sec. user=mdettweiler [2013-05-22 23:08:48] 927*2^1246170-1 is not prime. Res64: DA38967BB9BA9C54 Time : 0.0 sec. user=mdettweiler [2013-05-22 23:31:33] 885*2^1246170-1 is not prime. Res64: 7918F37D3226AA06 Time : 0.0 sec. user=mdettweiler [2013-05-22 23:34:22] 963*2^1246170-1 is not prime. Res64: 9B8E6F11E6DF60DD Time : 0.0 sec. user=mdettweiler [2013-05-22 23:50:04] 977*2^1246170-1 is not prime. Res64: 0B2265D5376A76BA Time : 0.0 sec. user=mdettweiler [2013-05-22 23:50:05] 681*2^1246171-1 is not prime. Res64: 8A73BD23506F663E Time : 0.0 sec. user=mdettweiler [2013-05-22 23:52:19] 723*2^1246171-1 is not prime. Res64: 57DA4B2B4C02DCB2 Time : 0.0 sec. user=mdettweiler [2013-05-22 23:52:19] 901*2^1246171-1 is not prime. Res64: 214C85F7B18F9A67 Time : 0.0 sec.