user=mdettweiler [2013-01-12 00:04:50] 617*2^1239104-1 is not prime. Res64: 4F25BA47D4C8D99B Time : 0.0 sec. user=mdettweiler [2013-01-12 00:04:52] 635*2^1239104-1 is not prime. Res64: A379273DF6A2C5EE Time : 0.0 sec. user=mdettweiler [2013-01-12 00:07:21] 657*2^1239104-1 is not prime. Res64: EA1FBEBE76FCB5ED Time : 0.0 sec. user=mdettweiler [2013-01-12 00:07:22] 759*2^1239104-1 is not prime. Res64: 1CE293FA4836C2A0 Time : 0.0 sec. user=mdettweiler [2013-01-12 00:22:24] 767*2^1239104-1 is not prime. Res64: 98596F2B7B92EB89 Time : 0.0 sec. user=mdettweiler [2013-01-12 00:22:24] 819*2^1239104-1 is not prime. Res64: 087888D80BA44E90 Time : 0.0 sec. user=mdettweiler [2013-01-12 00:24:43] 861*2^1239105-1 is not prime. Res64: 0140B06594023848 Time : 0.0 sec. user=mdettweiler [2013-01-12 00:24:43] 915*2^1239105-1 is not prime. Res64: A93150975D977E02 Time : 0.0 sec. user=mdettweiler [2013-01-12 00:39:46] 949*2^1239105-1 is not prime. Res64: 6464898684FE532F Time : 0.0 sec. user=mdettweiler [2013-01-12 00:39:47] 663*2^1239106-1 is not prime. Res64: F98BA595B77A6D43 Time : 0.0 sec. user=mdettweiler [2013-01-12 00:42:04] 677*2^1239106-1 is not prime. Res64: 2CA514B089D77301 Time : 0.0 sec. user=mdettweiler [2013-01-12 00:42:05] 741*2^1239106-1 is not prime. Res64: 0FC605D10136FD99 Time : 0.0 sec. user=mdettweiler [2013-01-12 00:57:07] 933*2^1239106-1 is not prime. Res64: CDA9145AAFD234E7 Time : 0.0 sec. user=mdettweiler [2013-01-12 00:57:07] 993*2^1239106-1 is not prime. Res64: A77242047B539E5D Time : 0.0 sec. user=mdettweiler [2013-01-12 00:59:27] 619*2^1239107-1 is not prime. Res64: DC25A0BAEABEA3C3 Time : 0.0 sec. user=mdettweiler [2013-01-12 00:59:28] 693*2^1239107-1 is not prime. Res64: E53C36A30F1DE494 Time : 0.0 sec. user=mdettweiler [2013-01-12 01:14:28] 715*2^1239107-1 is not prime. Res64: B6E5E36B2272F848 Time : 0.0 sec. user=mdettweiler [2013-01-12 01:14:28] 825*2^1239107-1 is not prime. Res64: EB3BF9B52213B5C9 Time : 0.0 sec. user=mdettweiler [2013-01-12 01:16:48] 841*2^1239107-1 is not prime. Res64: 0D8FB015FED6BBFA Time : 0.0 sec. user=mdettweiler [2013-01-12 01:16:48] 883*2^1239107-1 is not prime. Res64: 492E5AC7F6C6F8F9 Time : 0.0 sec. user=mdettweiler [2013-01-12 01:31:50] 901*2^1239107-1 is not prime. Res64: 25103C9122AB111A Time : 0.0 sec. user=mdettweiler [2013-01-12 01:31:51] 973*2^1239107-1 is not prime. Res64: 83EDD5292F31823C Time : 0.0 sec. user=mdettweiler [2013-01-12 01:34:09] 979*2^1239107-1 is not prime. Res64: 9D3CCF607E838301 Time : 0.0 sec. user=mdettweiler [2013-01-12 01:34:09] 605*2^1239108-1 is not prime. Res64: 9EE7A0BA2672B86B Time : 0.0 sec. user=mdettweiler [2013-01-12 01:49:14] 753*2^1239108-1 is not prime. Res64: 0C4769BDEAD73C17 Time : 0.0 sec. user=mdettweiler [2013-01-12 01:49:14] 767*2^1239108-1 is not prime. Res64: 94755B807DCA037E Time : 0.0 sec. user=mdettweiler [2013-01-12 01:51:31] 843*2^1239108-1 is not prime. Res64: 26EB33DA34527F6F Time : 0.0 sec. user=mdettweiler [2013-01-12 01:51:31] 875*2^1239108-1 is not prime. Res64: AC9438CF0D3023D0 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:06:35] 649*2^1239109-1 is not prime. Res64: 9D016038DBECC5B7 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:06:36] 685*2^1239109-1 is not prime. Res64: DDDE6F2E1B21AC16 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:08:51] 741*2^1239109-1 is not prime. Res64: FE776A098C205700 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:08:52] 801*2^1239109-1 is not prime. Res64: 1F924BF392901DF0 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:23:58] 855*2^1239109-1 is not prime. Res64: 88C9D12B3FC329F4 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:24:00] 985*2^1239109-1 is not prime. Res64: 16D63E925E07432A Time : 0.0 sec. user=mdettweiler [2013-01-12 02:26:13] 711*2^1239110-1 is not prime. Res64: 630D6901BA27CD42 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:26:14] 747*2^1239110-1 is not prime. Res64: 70DD7EB4CF5A23B9 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:41:32] 753*2^1239110-1 is not prime. Res64: 3F8E05FAE6B89BD6 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:41:33] 885*2^1239110-1 is not prime. Res64: D9C7FB59449A6086 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:43:34] 977*2^1239110-1 is not prime. Res64: 687F2440E7933E76 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:43:37] 601*2^1239111-1 is not prime. Res64: 634CB3544C6389F5 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:59:02] 625*2^1239111-1 is not prime. Res64: C2EC43BA65E344C1 Time : 0.0 sec. user=mdettweiler [2013-01-12 02:59:02] 691*2^1239111-1 is not prime. Res64: FBB149F9C96DD870 Time : 0.0 sec. user=mdettweiler [2013-01-12 03:00:59] 705*2^1239111-1 is not prime. Res64: BF81F5C60FCD33E3 Time : 0.0 sec. user=mdettweiler [2013-01-12 03:01:01] 751*2^1239111-1 is not prime. Res64: 1A5116339968049C Time : 0.0 sec. user=mdettweiler [2013-01-12 03:16:25] 781*2^1239111-1 is not prime. Res64: 6BC2CC585FF05688 Time : 0.0 sec. user=mdettweiler [2013-01-12 03:16:25] 859*2^1239111-1 is not prime. Res64: D3D0C37B941B9D52 Time : 0.0 sec. user=mdettweiler [2013-01-12 03:18:22] 861*2^1239111-1 is not prime. Res64: 64AEF965D75F5A38 Time : 0.0 sec. user=mdettweiler [2013-01-12 03:18:23] 871*2^1239111-1 is not prime. Res64: EC891D5E4B4BC6FD Time : 0.0 sec. user=mdettweiler [2013-01-12 03:33:46] 969*2^1239111-1 is not prime. Res64: DCDAC46D6035C1CF Time : 0.0 sec. user=mdettweiler [2013-01-12 03:33:49] 605*2^1239112-1 is not prime. Res64: AD1109FDD6698DE5 Time : 0.0 sec. user=mdettweiler [2013-01-12 03:35:43] 677*2^1239112-1 is not prime. Res64: 27DE7F1CA854F848 Time : 0.0 sec. user=mdettweiler [2013-01-12 03:35:44] 747*2^1239112-1 is not prime. Res64: 84C0A108FE90CDB5 Time : 0.0 sec. user=mdettweiler [2013-01-12 03:51:19] 849*2^1239112-1 is not prime. Res64: BEE321FF35460AF4 Time : 0.0 sec. user=mdettweiler [2013-01-12 03:51:20] 899*2^1239112-1 is not prime. Res64: 465E1573E600B6A0 Time : 0.0 sec. user=mdettweiler [2013-01-12 03:53:04] 715*2^1239113-1 is not prime. Res64: 435A9E09AE7C74EB Time : 0.0 sec. user=mdettweiler [2013-01-12 03:53:06] 787*2^1239113-1 is not prime. Res64: CD5EC54D0A46EFE6 Time : 0.0 sec. user=mdettweiler [2013-01-12 04:08:44] 829*2^1239113-1 is not prime. Res64: 3536119304FA4085 Time : 0.0 sec. user=mdettweiler [2013-01-12 04:08:46] 897*2^1239113-1 is not prime. Res64: F0383FD77C733626 Time : 0.0 sec. user=mdettweiler [2013-01-12 04:10:28] 949*2^1239113-1 is not prime. Res64: 8A1BE291A10C6EB6 Time : 0.0 sec. user=mdettweiler [2013-01-12 04:10:29] 957*2^1239113-1 is not prime. Res64: D1654EE936C536EB Time : 0.0 sec. user=mdettweiler [2013-01-12 04:26:11] 985*2^1239113-1 is not prime. Res64: D3045522FF1911C5 Time : 0.0 sec. user=mdettweiler [2013-01-12 04:26:12] 987*2^1239113-1 is not prime. Res64: 7803D5A112BED972 Time : 0.0 sec. user=mdettweiler [2013-01-12 04:27:49] 651*2^1239114-1 is not prime. Res64: F8D1A506F05CC95B Time : 0.0 sec. user=mdettweiler [2013-01-12 04:27:50] 731*2^1239114-1 is not prime. Res64: F9BAE9B085C0D1E9 Time : 0.0 sec. user=mdettweiler [2013-01-12 04:43:33] 741*2^1239114-1 is not prime. Res64: 284C487557466D7F Time : 0.0 sec. user=mdettweiler [2013-01-12 04:43:35] 851*2^1239114-1 is not prime. Res64: 99787E5889A9174A Time : 0.0 sec. user=mdettweiler [2013-01-12 04:45:10] 891*2^1239114-1 is not prime. Res64: 3E6C823548E1E404 Time : 0.0 sec. user=mdettweiler [2013-01-12 04:45:10] 927*2^1239114-1 is not prime. Res64: E3BB7A05118F0F5C Time : 0.0 sec. user=mdettweiler [2013-01-12 05:01:00] 993*2^1239114-1 is not prime. Res64: FCAB2029577AA0C2 Time : 0.0 sec. user=mdettweiler [2013-01-12 05:01:02] 645*2^1239115-1 is not prime. Res64: CD43C16BA062EF26 Time : 0.0 sec. user=mdettweiler [2013-01-12 05:02:30] 693*2^1239115-1 is not prime. Res64: EF3A8365510D385C Time : 0.0 sec. user=mdettweiler [2013-01-12 05:02:31] 793*2^1239115-1 is not prime. Res64: 3F93E5D585866574 Time : 0.0 sec. user=mdettweiler [2013-01-12 05:18:26] 815*2^1238938-1 is not prime. Res64: 25A92874FBF672C2 Time : 0.0 sec. user=mdettweiler [2013-01-12 05:18:27] 825*2^1238938-1 is not prime. Res64: 44DBDD6D54DBC49E Time : 0.0 sec. user=mdettweiler [2013-01-12 05:19:51] 829*2^1239115-1 is not prime. Res64: 9B877FA136361937 Time : 0.0 sec. user=mdettweiler [2013-01-12 05:19:52] 843*2^1239115-1 is not prime. Res64: 8C08D28427CADF2D Time : 0.0 sec. user=mdettweiler [2013-01-12 05:35:46] 891*2^1239115-1 is not prime. Res64: 2E5D6571F2F5426A Time : 0.0 sec. user=mdettweiler [2013-01-12 05:35:47] 915*2^1239115-1 is not prime. Res64: 4DA988F8AE665FCE Time : 0.0 sec. user=mdettweiler [2013-01-12 05:37:13] 999*2^1239116-1 is not prime. Res64: 3736D0152135B61E Time : 0.0 sec. user=mdettweiler [2013-01-12 05:37:13] 601*2^1239117-1 is not prime. Res64: A70EBCEB2728BE32 Time : 0.0 sec. user=juhehe [2013-01-12 05:46:16] 873*2^1239115-1 is not prime. Res64: CCBDA1306DD637E2 Time : 0.0 sec. user=mdettweiler [2013-01-12 05:53:07] 661*2^1239117-1 is not prime. Res64: AA0D5D07F569EB0B Time : 0.0 sec. user=mdettweiler [2013-01-12 05:53:07] 741*2^1239117-1 is not prime. Res64: FE7CFDFA707979E2 Time : 0.0 sec. user=mdettweiler [2013-01-12 05:54:34] 759*2^1239117-1 is not prime. Res64: FEB28E862C63A54F Time : 0.0 sec. user=mdettweiler [2013-01-12 05:54:34] 765*2^1239117-1 is not prime. Res64: B6649F194D713130 Time : 0.0 sec. user=mdettweiler [2013-01-12 06:10:27] 795*2^1239117-1 is not prime. Res64: F61664498A2ADC1E Time : 0.0 sec. user=mdettweiler [2013-01-12 06:10:29] 865*2^1239117-1 is not prime. Res64: 89F838797F090BBA Time : 0.0 sec. user=mdettweiler [2013-01-12 06:11:54] 885*2^1239117-1 is not prime. Res64: 35D04CEA93D2D61C Time : 0.0 sec. user=mdettweiler [2013-01-12 06:11:55] 927*2^1239117-1 is not prime. Res64: 7F0EFDF9467D7841 Time : 0.0 sec. user=juhehe [2013-01-12 06:19:57] 781*2^1239117-1 is not prime. Res64: 1623A90D01F0CC72 Time : 0.0 sec. user=mdettweiler [2013-01-12 06:28:01] 979*2^1239117-1 is not prime. Res64: D2914202BDBE5310 Time : 0.0 sec. user=mdettweiler [2013-01-12 06:28:02] 603*2^1239118-1 is not prime. Res64: A679792208505503 Time : 0.0 sec. user=mdettweiler [2013-01-12 06:29:19] 621*2^1239118-1 is not prime. Res64: E42F16D0795817BF Time : 0.0 sec. user=mdettweiler [2013-01-12 06:29:20] 981*2^1239118-1 is not prime. Res64: CC9B4C4B37E07FD7 Time : 0.0 sec. user=mdettweiler [2013-01-12 06:45:23] 643*2^1239119-1 is not prime. Res64: 68CEE0087A3E11E3 Time : 0.0 sec. user=mdettweiler [2013-01-12 06:45:23] 711*2^1239119-1 is not prime. Res64: 491E20F642F80DC7 Time : 0.0 sec. user=mdettweiler [2013-01-12 06:46:39] 635*2^1239120-1 is not prime. Res64: BBF84A3D308D73A2 Time : 0.0 sec. user=mdettweiler [2013-01-12 06:46:40] 665*2^1239120-1 is not prime. Res64: DF7C6101D941E466 Time : 0.0 sec. user=juhehe [2013-01-12 06:53:39] 993*2^1239118-1 is not prime. Res64: 805C747B4E04EDBC Time : 0.0 sec. user=mdettweiler [2013-01-12 07:02:45] 773*2^1239120-1 is not prime. Res64: 57D372968E7D60D0 Time : 0.0 sec. user=mdettweiler [2013-01-12 07:02:46] 863*2^1239120-1 is not prime. Res64: 3F691352899128E7 Time : 0.0 sec. user=mdettweiler [2013-01-12 07:04:02] 899*2^1239120-1 is not prime. Res64: 5F1ADCF8CCB4E6E5 Time : 0.0 sec. user=mdettweiler [2013-01-12 07:04:04] 933*2^1239120-1 is not prime. Res64: 7E4A6AA25E7F378A Time : 0.0 sec. user=mdettweiler [2013-01-12 07:20:20] 687*2^1239121-1 is not prime. Res64: 1392C9D85884CAF9 Time : 0.0 sec. user=mdettweiler [2013-01-12 07:20:21] 715*2^1239121-1 is not prime. Res64: 2432FE6B555BA851 Time : 0.0 sec. user=mdettweiler [2013-01-12 07:21:28] 817*2^1239121-1 is not prime. Res64: BB49E48AD567F578 Time : 0.0 sec. user=mdettweiler [2013-01-12 07:21:28] 855*2^1239121-1 is not prime. Res64: 8016F36E77AE3F3C Time : 0.0 sec. user=juhehe [2013-01-12 07:27:22] 619*2^1239121-1 is not prime. Res64: EF41B3F365594781 Time : 0.0 sec. user=mdettweiler [2013-01-12 07:37:41] 889*2^1239121-1 is not prime. Res64: 11CFC7CA46818829 Time : 0.0 sec. user=mdettweiler [2013-01-12 07:37:42] 937*2^1239121-1 is not prime. Res64: 9D38417055DF258E Time : 0.0 sec. user=mdettweiler [2013-01-12 07:38:48] 957*2^1239121-1 is not prime. Res64: D37A2AE03F639D27 Time : 0.0 sec. user=mdettweiler [2013-01-12 07:38:49] 645*2^1239122-1 is not prime. Res64: 622794E721A00227 Time : 0.0 sec. user=mdettweiler [2013-01-12 07:55:02] 675*2^1239122-1 is not prime. Res64: 16FDFED1C0F169FE Time : 0.0 sec. user=mdettweiler [2013-01-12 07:55:02] 677*2^1239122-1 is not prime. Res64: 5AC83064B6F3114F Time : 0.0 sec. user=mdettweiler [2013-01-12 07:56:08] 867*2^1239122-1 is not prime. Res64: C1A9FC4EB6F2351B Time : 0.0 sec. user=mdettweiler [2013-01-12 07:56:09] 945*2^1239122-1 is not prime. Res64: 92F0C54DD61F372D Time : 0.0 sec. user=juhehe [2013-01-12 08:01:01] 665*2^1239122-1 is not prime. Res64: 6F42B70B7984E420 Time : 0.0 sec. user=mdettweiler [2013-01-12 08:12:25] 609*2^1239123-1 is not prime. Res64: 63E3A6098D0FE990 Time : 0.0 sec. user=mdettweiler [2013-01-12 08:12:26] 685*2^1239123-1 is not prime. Res64: DCE917E795871081 Time : 0.0 sec. user=mdettweiler [2013-01-12 08:13:28] 769*2^1239123-1 is not prime. Res64: 5142A263D54A7242 Time : 0.0 sec. user=mdettweiler [2013-01-12 08:13:29] 781*2^1239123-1 is not prime. Res64: 64411E61ED6F9F08 Time : 0.0 sec. user=mdettweiler [2013-01-12 08:29:46] 789*2^1239123-1 is not prime. Res64: D1E27C13DA43B123 Time : 0.0 sec. user=mdettweiler [2013-01-12 08:29:47] 801*2^1239123-1 is not prime. Res64: 0E699CFADF1A90D5 Time : 0.0 sec. user=mdettweiler [2013-01-12 08:30:49] 835*2^1239123-1 is not prime. Res64: A1581EAE0161A011 Time : 0.0 sec. user=mdettweiler [2013-01-12 08:30:49] 919*2^1239123-1 is not prime. Res64: 4FB39CEE2158765C Time : 0.0 sec. user=mdettweiler [2013-01-12 08:47:06] 961*2^1239123-1 is not prime. Res64: 28AF98A5850038FD Time : 0.0 sec. user=mdettweiler [2013-01-12 08:47:07] 827*2^1239124-1 is not prime. Res64: DA4143DA880A3146 Time : 0.0 sec. user=mdettweiler [2013-01-12 08:48:09] 857*2^1239124-1 is not prime. Res64: 10584F361A1F6A2A Time : 0.0 sec. user=mdettweiler [2013-01-12 08:48:09] 669*2^1239125-1 is not prime. Res64: 368A33ECABF5F8D2 Time : 0.0 sec. user=mdettweiler [2013-01-12 09:04:28] 811*2^1239125-1 is not prime. Res64: CD7E5DA862E077C6 Time : 0.0 sec. user=mdettweiler [2013-01-12 09:04:30] 969*2^1239125-1 is not prime. Res64: 4EAA0DEB11846957 Time : 0.0 sec. user=mdettweiler [2013-01-12 09:05:33] 723*2^1239126-1 is not prime. Res64: 34A1F6BF55E5E6F5 Time : 0.0 sec. user=mdettweiler [2013-01-12 09:05:34] 601*2^1239127-1 is not prime. Res64: A3C546534D41EA16 Time : 0.0 sec. user=juhehe [2013-01-12 09:06:27] 679*2^1239125-1 is not prime. Res64: F9E334C790E61B37 Time : 0.0 sec. user=mdettweiler [2013-01-12 09:22:07] 741*2^1239127-1 is not prime. Res64: 1D1014CE3CA4D4FD Time : 0.0 sec. user=mdettweiler [2013-01-12 09:22:08] 819*2^1239127-1 is not prime. Res64: 256063B941084E02 Time : 0.0 sec. user=mdettweiler [2013-01-12 09:22:57] 841*2^1239127-1 is not prime. Res64: 468FA7B84F4E0040 Time : 0.0 sec. user=mdettweiler [2013-01-12 09:22:57] 939*2^1239127-1 is not prime. Res64: C4E133F82849ECFA Time : 0.0 sec. user=mdettweiler [2013-01-12 09:39:32] 993*2^1239127-1 is not prime. Res64: 08444494EA74AAEC Time : 0.0 sec. user=mdettweiler [2013-01-12 09:39:32] 603*2^1239128-1 is not prime. Res64: 8AF93AD3CC1C402D Time : 0.0 sec. user=mdettweiler [2013-01-12 09:40:17] 665*2^1239128-1 is not prime. Res64: 324D83EA0FE1FB47 Time : 0.0 sec. user=mdettweiler [2013-01-12 09:40:18] 669*2^1239128-1 is not prime. Res64: 9C2BED717B6939CA Time : 0.0 sec. user=mdettweiler [2013-01-12 09:56:54] 687*2^1239128-1 is not prime. Res64: C3A1954EF43E7F8C Time : 0.0 sec. user=mdettweiler [2013-01-12 09:56:55] 753*2^1239128-1 is not prime. Res64: 29BAD4111CB97BA5 Time : 0.0 sec. user=mdettweiler [2013-01-12 09:57:39] 843*2^1239128-1 is not prime. Res64: CB78C0B6B9C2B24E Time : 0.0 sec. user=mdettweiler [2013-01-12 09:57:39] 735*2^1239129-1 is not prime. Res64: A7A58AC9E51125C2 Time : 0.0 sec. user=mdettweiler [2013-01-12 10:14:15] 765*2^1239129-1 is not prime. Res64: 7FAE4EABBBEED854 Time : 0.0 sec. user=mdettweiler [2013-01-12 10:14:15] 795*2^1239129-1 is not prime. Res64: ACA3F694B2A0E839 Time : 0.0 sec. user=mdettweiler [2013-01-12 10:14:59] 837*2^1239129-1 is not prime. Res64: CFBDA386E54306DD Time : 0.0 sec. user=mdettweiler [2013-01-12 10:15:00] 865*2^1239129-1 is not prime. Res64: DA1E7E72D4DE2E22 Time : 0.0 sec. user=mdettweiler [2013-01-12 10:31:37] 605*2^1239130-1 is not prime. Res64: 421E1CB85567E76E Time : 0.0 sec. user=mdettweiler [2013-01-12 10:31:38] 687*2^1239130-1 is not prime. Res64: 8A8572189ECBA1BD Time : 0.0 sec. user=mdettweiler [2013-01-12 10:32:23] 783*2^1239130-1 is not prime. Res64: 4B468E005C1228C8 Time : 0.0 sec. user=mdettweiler [2013-01-12 10:32:23] 873*2^1239130-1 is not prime. Res64: CD9C1760A622ACD9 Time : 0.0 sec. user=juhehe [2013-01-12 10:43:50] 985*2^1239129-1 is not prime. Res64: 8D5CA0161F767CA6 Time : 0.0 sec. user=mdettweiler [2013-01-12 10:48:57] 1001*2^1239130-1 is not prime. Res64: A42E58523CBEAE75 Time : 0.0 sec. user=mdettweiler [2013-01-12 10:48:58] 643*2^1239131-1 is not prime. Res64: E8ACD04F1A6EA5E0 Time : 0.0 sec. user=mdettweiler [2013-01-12 10:49:43] 675*2^1239131-1 is not prime. Res64: F7E8FD79FEBE34F8 Time : 0.0 sec. user=mdettweiler [2013-01-12 10:49:44] 823*2^1239131-1 is not prime. Res64: BCF5904DBBFA0F0F Time : 0.0 sec. user=mdettweiler [2013-01-12 11:06:19] 689*2^1239132-1 is not prime. Res64: D8693692E5EBC271 Time : 0.0 sec. user=mdettweiler [2013-01-12 11:06:20] 779*2^1239132-1 is not prime. Res64: 6DAA97C470CD8593 Time : 0.0 sec. user=mdettweiler [2013-01-12 11:07:03] 873*2^1239132-1 is not prime. Res64: 28E48DA2EA58B840 Time : 0.0 sec. user=mdettweiler [2013-01-12 11:07:05] 903*2^1239132-1 is not prime. Res64: 7B8ECBA96BAB01B5 Time : 0.0 sec. user=mdettweiler [2013-01-12 11:23:53] 915*2^1239132-1 is not prime. Res64: 5891D8AAC645EAAA Time : 0.0 sec. user=mdettweiler [2013-01-12 11:23:54] 977*2^1239132-1 is not prime. Res64: 6E8FD78D24C993D0 Time : 0.0 sec. user=mdettweiler [2013-01-12 11:24:27] 607*2^1239133-1 is not prime. Res64: D80067310DEBC695 Time : 0.0 sec. user=mdettweiler [2013-01-12 11:24:27] 649*2^1239133-1 is not prime. Res64: AF115255AD50562B Time : 0.0 sec. user=mdettweiler [2013-01-12 11:41:17] 691*2^1239133-1 is not prime. Res64: 5846EBD896ABF45B Time : 0.0 sec. user=mdettweiler [2013-01-12 11:41:17] 727*2^1239133-1 is not prime. Res64: A00C5147CB8E4007 Time : 0.0 sec. user=mdettweiler [2013-01-12 11:41:47] 751*2^1239133-1 is not prime. Res64: 482E3DEA8A80A6CF Time : 0.0 sec. user=mdettweiler [2013-01-12 11:41:48] 829*2^1239133-1 is not prime. Res64: E6DB1024DEEA17C0 Time : 0.0 sec. user=mdettweiler [2013-01-12 11:58:40] 957*2^1239133-1 is not prime. Res64: 23B3D73E974D0081 Time : 0.0 sec. user=mdettweiler [2013-01-12 11:58:41] 999*2^1239133-1 is not prime. Res64: 00DBB530F3727187 Time : 0.0 sec. user=mdettweiler [2013-01-12 11:59:07] 641*2^1239134-1 is not prime. Res64: 2821BFC0BC3184BD Time : 0.0 sec. user=mdettweiler [2013-01-12 11:59:07] 785*2^1239134-1 is not prime. Res64: A3844623C2F0371D Time : 0.0 sec. user=mdettweiler [2013-01-12 12:16:01] 825*2^1239134-1 is not prime. Res64: DBC1B45B1004C5B1 Time : 0.0 sec. user=mdettweiler [2013-01-12 12:16:02] 633*2^1239135-1 is not prime. Res64: 853B9AD23D9F6FEE Time : 0.0 sec. user=mdettweiler [2013-01-12 12:16:28] 643*2^1239135-1 is not prime. Res64: B46FF5135E5F7922 Time : 0.0 sec. user=mdettweiler [2013-01-12 12:16:29] 723*2^1239135-1 is not prime. Res64: 22403D193ABA5809 Time : 0.0 sec. user=mdettweiler [2013-01-12 12:33:23] 831*2^1239135-1 is not prime. Res64: 697F46EF613602BD Time : 0.0 sec. user=mdettweiler [2013-01-12 12:33:23] 853*2^1239135-1 is not prime. Res64: 50EB25F56B046C64 Time : 0.0 sec. user=mdettweiler [2013-01-12 12:33:48] 961*2^1239135-1 is not prime. Res64: BD8F65FC42E21757 Time : 0.0 sec. user=mdettweiler [2013-01-12 12:33:49] 609*2^1239136-1 is not prime. Res64: 3FD9BAB0A90FF38A Time : 0.0 sec. user=mdettweiler [2013-01-12 12:50:52] 743*2^1239136-1 is not prime. Res64: C1803C5536CDCB2C Time : 0.0 sec. user=mdettweiler [2013-01-12 12:50:52] 969*2^1239136-1 is not prime. Res64: 64A3E8C3F65CA0AC Time : 0.0 sec. user=mdettweiler [2013-01-12 12:51:17] 649*2^1239137-1 is not prime. Res64: 1C4C9D7096E1766D Time : 0.0 sec. user=mdettweiler [2013-01-12 12:51:17] 651*2^1239137-1 is not prime. Res64: F47EE074C0EF0288 Time : 0.0 sec. user=juhehe [2013-01-12 12:52:50] 717*2^1239136-1 is not prime. Res64: 04EC7B066AB7FFDE Time : 0.0 sec. user=mdettweiler [2013-01-12 13:08:21] 727*2^1239137-1 is not prime. Res64: 03781CF9BBAB7C55 Time : 0.0 sec. user=mdettweiler [2013-01-12 13:08:22] 771*2^1239137-1 is not prime. Res64: 7C0797A4404AE68E Time : 0.0 sec. user=mdettweiler [2013-01-12 13:08:45] 949*2^1239137-1 is not prime. Res64: 01FC3668C895020A Time : 0.0 sec. user=mdettweiler [2013-01-12 13:08:46] 991*2^1239137-1 is not prime. Res64: 96770E3B291ED202 Time : 0.0 sec. user=mdettweiler [2013-01-12 13:25:45] 663*2^1239138-1 is not prime. Res64: B3AC01943FA1F011 Time : 0.0 sec. user=mdettweiler [2013-01-12 13:25:46] 791*2^1239138-1 is not prime. Res64: C40C02A2471AD320 Time : 0.0 sec. user=mdettweiler [2013-01-12 13:26:06] 797*2^1239138-1 is not prime. Res64: 473E362BFCD4D8BE Time : 0.0 sec. user=mdettweiler [2013-01-12 13:26:06] 941*2^1239138-1 is not prime. Res64: 7194686044AAA045 Time : 0.0 sec. user=mdettweiler [2013-01-12 13:43:06] 609*2^1239139-1 is not prime. Res64: 1C3D5C7FC4CA9A6B Time : 0.0 sec. user=mdettweiler [2013-01-12 13:43:07] 705*2^1239139-1 is not prime. Res64: BC2791D981ABBF35 Time : 0.0 sec. user=mdettweiler [2013-01-12 13:43:27] 723*2^1239139-1 is not prime. Res64: A25C89D9756783F6 Time : 0.0 sec. user=mdettweiler [2013-01-12 13:43:28] 811*2^1239139-1 is not prime. Res64: DB3E810C5AB87D9F Time : 0.0 sec. user=mdettweiler [2013-01-12 14:00:27] 813*2^1239139-1 is not prime. Res64: 34EDA1EF6F38FFAA Time : 0.0 sec. user=mdettweiler [2013-01-12 14:00:28] 861*2^1239139-1 is not prime. Res64: 01E20DCABC0EAFC4 Time : 0.0 sec. user=mdettweiler [2013-01-12 14:00:49] 885*2^1239139-1 is not prime. Res64: 29B92229AF5F770C Time : 0.0 sec. user=mdettweiler [2013-01-12 14:00:50] 931*2^1239139-1 is not prime. Res64: C10E2FFADA95EB1A Time : 0.0 sec. user=mdettweiler [2013-01-12 14:17:50] 893*2^1239140-1 is not prime. Res64: A01F384B8A730011 Time : 0.0 sec. user=mdettweiler [2013-01-12 14:17:51] 953*2^1239140-1 is not prime. Res64: 1FF489CF4A190954 Time : 0.0 sec. user=mdettweiler [2013-01-12 14:18:11] 963*2^1239140-1 is not prime. Res64: 95E6ACEFA2B2164D Time : 0.0 sec. user=mdettweiler [2013-01-12 14:18:13] 999*2^1239140-1 is not prime. Res64: 48334AA7EA2E07DF Time : 0.0 sec. user=juhehe [2013-01-12 14:29:59] 677*2^1239140-1 is not prime. Res64: BCD75F6D70CD0B1B Time : 0.0 sec. user=mdettweiler [2013-01-12 14:35:19] 621*2^1239141-1 is not prime. Res64: A4D0080C48BF3C17 Time : 0.0 sec. user=mdettweiler [2013-01-12 14:35:20] 669*2^1239141-1 is not prime. Res64: D12E9596DB66EA3A Time : 0.0 sec. user=mdettweiler [2013-01-12 14:35:33] 861*2^1239141-1 is not prime. Res64: BFB8926B7F822CA3 Time : 0.0 sec. user=mdettweiler [2013-01-12 14:35:33] 889*2^1239141-1 is not prime. Res64: EE4ACC807DA3CA7D Time : 0.0 sec. user=mdettweiler [2013-01-12 14:52:40] 987*2^1239141-1 is not prime. Res64: 31BF828D9E1FEC31 Time : 0.0 sec. user=mdettweiler [2013-01-12 14:52:41] 617*2^1239142-1 is not prime. Res64: 75E5E49089E2FC3F Time : 0.0 sec. user=mdettweiler [2013-01-12 14:52:53] 621*2^1239142-1 is not prime. Res64: 53541F04BBB3E845 Time : 0.0 sec. user=mdettweiler [2013-01-12 14:52:53] 623*2^1239142-1 is not prime. Res64: 3576E92025CA9BB7 Time : 0.0 sec. user=mdettweiler [2013-01-12 15:10:04] 681*2^1239142-1 is not prime. Res64: E3341DCDDCF7BF5A Time : 0.0 sec. user=mdettweiler [2013-01-12 15:10:05] 717*2^1239142-1 is not prime. Res64: 36D9817E36BE8FF1 Time : 0.0 sec. user=mdettweiler [2013-01-12 15:10:13] 761*2^1239142-1 is not prime. Res64: 838CB3E56C1260DB Time : 0.0 sec. user=mdettweiler [2013-01-12 15:10:15] 777*2^1239142-1 is not prime. Res64: 9CD86666E219DA5A Time : 0.0 sec. user=mdettweiler [2013-01-12 15:27:28] 1001*2^1239142-1 is not prime. Res64: AAC2012BDE53EE61 Time : 0.0 sec. user=mdettweiler [2013-01-12 15:27:29] 603*2^1239143-1 is not prime. Res64: 1B193B65ABA1A565 Time : 0.0 sec. user=mdettweiler [2013-01-12 15:27:36] 675*2^1239143-1 is not prime. Res64: A241FC3E754D3602 Time : 0.0 sec. user=mdettweiler [2013-01-12 15:27:36] 721*2^1239143-1 is not prime. Res64: D6DD92F767EAFA5E Time : 0.0 sec. user=mdettweiler [2013-01-12 15:44:49] 783*2^1239143-1 is not prime. Res64: EDE3B2E420A4C93C Time : 0.0 sec. user=mdettweiler [2013-01-12 15:44:49] 853*2^1239143-1 is not prime. Res64: BBF2B30811833F65 Time : 0.0 sec. user=mdettweiler [2013-01-12 15:44:58] 895*2^1239143-1 is not prime. Res64: EBBD004A8339911E Time : 0.0 sec. user=mdettweiler [2013-01-12 15:44:58] 955*2^1239143-1 is not prime. Res64: 45320D88B958C0DE Time : 0.0 sec. user=mdettweiler [2013-01-12 16:02:10] 993*2^1239143-1 is not prime. Res64: E6262A3F17FB0E97 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:02:11] 605*2^1239144-1 is not prime. Res64: DA8AC558B21CBAE4 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:02:21] 675*2^1239144-1 is not prime. Res64: 8D92E02E74FC3146 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:02:22] 759*2^1239144-1 is not prime. Res64: 7F6C25C3D32D8764 Time : 0.0 sec. user=juhehe [2013-01-12 16:07:17] 985*2^1239143-1 is not prime. Res64: FB0BAB055BCA6DE6 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:19:41] 849*2^1239144-1 is not prime. Res64: BC1B046DF08E9B13 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:19:41] 899*2^1239144-1 is not prime. Res64: D54010BBB203D4B8 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:19:44] 917*2^1239144-1 is not prime. Res64: 1E8CA8993D3DC4B6 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:19:45] 609*2^1239145-1 is not prime. Res64: 928F801ABD2FA54E Time : 0.0 sec. user=mdettweiler [2013-01-12 16:37:02] 625*2^1239145-1 is not prime. Res64: E463882D153B1A45 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:37:03] 691*2^1239145-1 is not prime. Res64: 6E4169D0CD93044A Time : 0.0 sec. user=mdettweiler [2013-01-12 16:37:04] 741*2^1239145-1 is not prime. Res64: 05FB98CCE9E8B478 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:37:05] 751*2^1239145-1 is not prime. Res64: FEE5DAF7C7867280 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:54:23] 759*2^1239145-1 is not prime. Res64: 1F8D0DB1E97EBF2E Time : 0.0 sec. user=mdettweiler [2013-01-12 16:54:24] 799*2^1239145-1 is not prime. Res64: 0D290B3882139FCF Time : 0.0 sec. user=mdettweiler [2013-01-12 16:54:28] 831*2^1239145-1 is not prime. Res64: 0CB7403014861B96 Time : 0.0 sec. user=mdettweiler [2013-01-12 16:54:29] 861*2^1239145-1 is not prime. Res64: 47CEB900A9E1EAC7 Time : 0.0 sec. user=mdettweiler [2013-01-12 17:11:43] 885*2^1239145-1 is not prime. Res64: 12FA2C65F77B3CF5 Time : 0.0 sec. user=mdettweiler [2013-01-12 17:11:45] 937*2^1239145-1 is not prime. Res64: 378058BD83AD6148 Time : 0.0 sec. user=mdettweiler [2013-01-12 17:11:49] 979*2^1239145-1 is not prime. Res64: 181DC513CFA978DA Time : 0.0 sec. user=mdettweiler [2013-01-12 17:11:51] 997*2^1239145-1 is not prime. Res64: F97270A24E4BA2EF Time : 0.0 sec. user=mdettweiler [2013-01-12 17:29:22] 651*2^1239146-1 is not prime. Res64: 1CAD17653A6ECD53 Time : 0.0 sec. user=mdettweiler [2013-01-12 17:29:23] 671*2^1239146-1 is not prime. Res64: 28DD3D7FE339029D Time : 0.0 sec. user=mdettweiler [2013-01-12 17:29:23] 677*2^1239146-1 is not prime. Res64: 24EDCC2802ECB998 Time : 0.0 sec. user=mdettweiler [2013-01-12 17:29:24] 785*2^1239146-1 is not prime. Res64: 8335E7C16C4339BF Time : 0.0 sec. user=mdettweiler [2013-01-12 17:47:03] 917*2^1239146-1 is not prime. Res64: B947117E438A1FFF Time : 0.0 sec. user=mdettweiler [2013-01-12 17:47:03] 935*2^1239146-1 is not prime. Res64: F5CF69F9D65C2052 Time : 0.0 sec. user=mdettweiler [2013-01-12 17:47:07] 639*2^1239147-1 is not prime. Res64: D3B11BECADB8C0FB Time : 0.0 sec. user=mdettweiler [2013-01-12 17:47:07] 649*2^1239147-1 is not prime. Res64: 91C851A1F8EEDFD1 Time : 0.0 sec. user=mdettweiler [2013-01-12 18:04:29] 703*2^1239147-1 is not prime. Res64: C8E408657B0C3DB0 Time : 0.0 sec. user=mdettweiler [2013-01-12 18:04:29] 709*2^1239147-1 is not prime. Res64: 5F3A6F46BAA729B0 Time : 0.0 sec. user=mdettweiler [2013-01-12 18:04:32] 775*2^1239147-1 is not prime. Res64: 60687025AB3E980F Time : 0.0 sec. user=mdettweiler [2013-01-12 18:04:33] 843*2^1239147-1 is not prime. Res64: FD520652DBB128AC Time : 0.0 sec. user=mdettweiler [2013-01-12 18:21:53] 849*2^1239147-1 is not prime. Res64: 37623909D8CE1B2D Time : 0.0 sec. user=mdettweiler [2013-01-12 18:21:54] 827*2^1239148-1 is not prime. Res64: D0F47D53CA530C27 Time : 0.0 sec. user=mdettweiler [2013-01-12 18:21:55] 915*2^1239148-1 is not prime. Res64: 1B97F2DF6D6ADEC0 Time : 0.0 sec. user=mdettweiler [2013-01-12 18:21:55] 927*2^1239148-1 is not prime. Res64: 35283C0661B80B13 Time : 0.0 sec. user=mdettweiler [2013-01-12 18:39:16] 645*2^1239149-1 is not prime. Res64: BDC33DF08DC05B46 Time : 0.0 sec. user=mdettweiler [2013-01-12 18:39:17] 811*2^1239149-1 is not prime. Res64: 94E61BB79FA3AE1B Time : 0.0 sec. user=mdettweiler [2013-01-12 18:39:19] 975*2^1239148-1 is not prime. Res64: 1D976C8557007E2B Time : 0.0 sec. user=mdettweiler [2013-01-12 18:39:19] 619*2^1239149-1 is not prime. Res64: 8CCE453DC311A52E Time : 0.0 sec. user=mdettweiler [2013-01-12 18:56:38] 825*2^1239149-1 is not prime. Res64: 5BEA1BC37968C0CC Time : 0.0 sec. user=mdettweiler [2013-01-12 18:56:38] 837*2^1239149-1 is not prime. Res64: F4445A933FDC267D Time : 0.0 sec. user=mdettweiler [2013-01-12 18:56:39] 627*2^1239150-1 is not prime. Res64: 3BA22B92A2138FFC Time : 0.0 sec. user=mdettweiler [2013-01-12 18:56:40] 777*2^1239150-1 is not prime. Res64: FA51797AA91D2448 Time : 0.0 sec. user=mdettweiler [2013-01-12 19:13:58] 797*2^1239150-1 is not prime. Res64: 0BA4E75454FFD40C Time : 0.0 sec. user=mdettweiler [2013-01-12 19:13:59] 801*2^1239150-1 is not prime. Res64: 8DC862B03FE59442 Time : 0.0 sec. user=mdettweiler [2013-01-12 19:13:59] 821*2^1239150-1 is not prime. Res64: 166F3084748DC229 Time : 0.0 sec. user=mdettweiler [2013-01-12 19:14:00] 977*2^1239150-1 is not prime. Res64: FAEAA73591E1CD5C Time : 0.0 sec. user=mdettweiler [2013-01-12 19:31:20] 615*2^1239151-1 is not prime. Res64: 8AA95B6892AFB011 Time : 0.0 sec. user=mdettweiler [2013-01-12 19:31:21] 645*2^1239151-1 is not prime. Res64: 43907A8BA1ED66A6 Time : 0.0 sec. user=mdettweiler [2013-01-12 19:31:22] 649*2^1239151-1 is not prime. Res64: E3ADA57374894BBE Time : 0.0 sec. user=mdettweiler [2013-01-12 19:31:22] 651*2^1239151-1 is not prime. Res64: 37E4BFE09924E516 Time : 0.0 sec. user=mdettweiler [2013-01-12 19:48:46] 789*2^1239151-1 is not prime. Res64: 7E8CE56BA973FC1A Time : 0.0 sec. user=mdettweiler [2013-01-12 19:48:46] 829*2^1239151-1 is not prime. Res64: 6C766FBEBAF716D1 Time : 0.0 sec. user=mdettweiler [2013-01-12 19:48:47] 709*2^1239151-1 is not prime. Res64: F1A002AB10B50952 Time : 0.0 sec. user=mdettweiler [2013-01-12 19:48:47] 741*2^1239151-1 is not prime. Res64: 0BAF82FFFFA04F15 Time : 0.0 sec. user=mdettweiler [2013-01-12 20:06:09] 629*2^1239152-1 is not prime. Res64: 29134604B3604AC5 Time : 0.0 sec. user=mdettweiler [2013-01-12 20:06:09] 767*2^1239152-1 is not prime. Res64: 8EC6D4CD11AC9F8C Time : 0.0 sec. user=mdettweiler [2013-01-12 20:06:10] 657*2^1239152-1 is not prime. Res64: C33B07AABCD8E7AB Time : 0.0 sec. user=mdettweiler [2013-01-12 20:06:10] 797*2^1239152-1 is not prime. Res64: 32FD84C1666A0CD4 Time : 0.0 sec. user=mdettweiler [2013-01-12 20:23:32] 803*2^1239152-1 is not prime. Res64: 299E7A6012E16E12 Time : 0.0 sec. user=mdettweiler [2013-01-12 20:23:33] 813*2^1239152-1 is not prime. Res64: 8A00F49F22F8868D Time : 0.0 sec. user=mdettweiler [2013-01-12 20:23:35] 929*2^1239152-1 is not prime. Res64: 90096358FCB6B513 Time : 0.0 sec. user=mdettweiler [2013-01-12 20:23:36] 639*2^1239153-1 is not prime. Res64: B5ECC380C8AAAE97 Time : 0.0 sec. user=mdettweiler [2013-01-12 20:40:56] 765*2^1239153-1 is not prime. Res64: C2BE3482D6E2735E Time : 0.0 sec. user=mdettweiler [2013-01-12 20:40:56] 835*2^1239153-1 is not prime. Res64: F18AE00D55CD2945 Time : 0.0 sec. user=mdettweiler [2013-01-12 20:40:56] 861*2^1239153-1 is not prime. Res64: 4EC3B2B418791667 Time : 0.0 sec. user=mdettweiler [2013-01-12 20:40:57] 915*2^1239153-1 is not prime. Res64: C110AD7C6DD0F891 Time : 0.0 sec. user=mdettweiler [2013-01-12 20:58:23] 687*2^1239154-1 is not prime. Res64: 82A7D47C81E50BBB Time : 0.0 sec. user=mdettweiler [2013-01-12 20:58:23] 705*2^1239154-1 is not prime. Res64: 3B45B00C1A8F981E Time : 0.0 sec. user=mdettweiler [2013-01-12 20:58:24] 885*2^1239154-1 is not prime. Res64: D8734AB275E8CECA Time : 0.0 sec. user=mdettweiler [2013-01-12 20:58:25] 915*2^1239154-1 is not prime. Res64: 93B375E5B6C558A6 Time : 0.0 sec. user=mdettweiler [2013-01-12 21:15:52] 609*2^1239155-1 is not prime. Res64: A20D74351AA79939 Time : 0.0 sec. user=mdettweiler [2013-01-12 21:15:52] 675*2^1239155-1 is not prime. Res64: DC255B75EFF9BDD9 Time : 0.0 sec. user=mdettweiler [2013-01-12 21:15:54] 859*2^1239155-1 is not prime. Res64: 2C1ED419D39AF410 Time : 0.0 sec. user=mdettweiler [2013-01-12 21:15:55] 675*2^1239156-1 is not prime. Res64: 27060922957CEEB5 Time : 0.0 sec. user=mdettweiler [2013-01-12 21:33:24] 719*2^1239156-1 is not prime. Res64: 2519CB124C06106E Time : 0.0 sec. user=mdettweiler [2013-01-12 21:33:24] 857*2^1239156-1 is not prime. Res64: F8F89DC5DFA3B053 Time : 0.0 sec. user=mdettweiler [2013-01-12 21:33:25] 625*2^1239157-1 is not prime. Res64: FB533843B04EAF4B Time : 0.0 sec. user=mdettweiler [2013-01-12 21:33:25] 819*2^1239157-1 is not prime. Res64: B3572FDD92D6AAFC Time : 0.0 sec. user=mdettweiler [2013-01-12 21:50:52] 861*2^1239157-1 is not prime. Res64: 771651CEA9BCEA6E Time : 0.0 sec. user=mdettweiler [2013-01-12 21:50:53] 671*2^1239158-1 is not prime. Res64: 5EE544021207EF3E Time : 0.0 sec. user=mdettweiler [2013-01-12 21:50:57] 747*2^1239158-1 is not prime. Res64: EB698817DC3DC7FE Time : 0.0 sec. user=mdettweiler [2013-01-12 21:50:57] 669*2^1239159-1 is not prime. Res64: 397BA53E6AB1B547 Time : 0.0 sec. user=mdettweiler [2013-01-12 22:08:23] 861*2^1239159-1 is not prime. Res64: C0D1EC573ED0D108 Time : 0.0 sec. user=mdettweiler [2013-01-12 22:08:24] 879*2^1239159-1 is not prime. Res64: 764759C2FE9FA9B2 Time : 0.0 sec. user=mdettweiler [2013-01-12 22:08:29] 885*2^1239159-1 is not prime. Res64: D49814111859AF8F Time : 0.0 sec. user=mdettweiler [2013-01-12 22:08:31] 891*2^1239159-1 is not prime. Res64: 1C4AEE5F59AD1537 Time : 0.0 sec. user=mdettweiler [2013-01-12 22:25:48] 973*2^1239159-1 is not prime. Res64: BE54901EC50AB845 Time : 0.0 sec. user=mdettweiler [2013-01-12 22:25:49] 653*2^1239160-1 is not prime. Res64: D449C32C121B9147 Time : 0.0 sec. user=mdettweiler [2013-01-12 22:25:54] 857*2^1239160-1 is not prime. Res64: 548AA39AFB33128A Time : 0.0 sec. user=mdettweiler [2013-01-12 22:25:55] 939*2^1239160-1 is not prime. Res64: EF5193CBB1E50116 Time : 0.0 sec. user=mdettweiler [2013-01-12 22:43:19] 983*2^1239160-1 is not prime. Res64: A666D07E693B1381 Time : 0.0 sec. user=mdettweiler [2013-01-12 22:43:20] 999*2^1239160-1 is not prime. Res64: AA8C40D16B57E3CC Time : 0.0 sec. user=mdettweiler [2013-01-12 22:43:20] 607*2^1239161-1 is not prime. Res64: 74D79393513B742D Time : 0.0 sec. user=mdettweiler [2013-01-12 22:43:20] 669*2^1239161-1 is not prime. Res64: 02B1EB844B74AF4D Time : 0.0 sec. user=mdettweiler [2013-01-12 23:00:41] 735*2^1239161-1 is not prime. Res64: 7C6A765C3BF988D9 Time : 0.0 sec. user=mdettweiler [2013-01-12 23:00:42] 867*2^1239161-1 is not prime. Res64: EE44E1F0F404D654 Time : 0.0 sec. user=mdettweiler [2013-01-12 23:00:43] 805*2^1239161-1 is not prime. Res64: C98BA2091A3F43A2 Time : 0.0 sec. user=mdettweiler [2013-01-12 23:00:44] 885*2^1239161-1 is not prime. Res64: BDB9BEAC37A4D99C Time : 0.0 sec. user=mdettweiler [2013-01-12 23:18:14] 937*2^1239161-1 is not prime. Res64: BE54B9C4EF77B872 Time : 0.0 sec. user=mdettweiler [2013-01-12 23:18:15] 939*2^1239161-1 is not prime. Res64: 44B629A3673159FE Time : 0.0 sec. user=mdettweiler [2013-01-12 23:18:15] 621*2^1239162-1 is not prime. Res64: A70F0512F7264BFC Time : 0.0 sec. user=mdettweiler [2013-01-12 23:18:16] 711*2^1239162-1 is not prime. Res64: EA3490814C26E6DC Time : 0.0 sec. user=mdettweiler [2013-01-12 23:35:47] 717*2^1239162-1 is not prime. Res64: DA7BE4C7BB50D7F1 Time : 0.0 sec. user=mdettweiler [2013-01-12 23:35:48] 765*2^1239162-1 is not prime. Res64: CC01F5859ECE0BD1 Time : 0.0 sec. user=mdettweiler [2013-01-12 23:35:48] 801*2^1239162-1 is not prime. Res64: 6B3AD88E2D7F8886 Time : 0.0 sec. user=mdettweiler [2013-01-12 23:35:49] 983*2^1239162-1 is not prime. Res64: 275FCFB877EF8329 Time : 0.0 sec. user=mdettweiler [2013-01-12 23:53:09] 853*2^1239163-1 is not prime. Res64: 1505271801CECF8A Time : 0.0 sec. user=mdettweiler [2013-01-12 23:53:09] 609*2^1239164-1 is not prime. Res64: 96ACB8E5B80BD362 Time : 0.0 sec. user=mdettweiler [2013-01-12 23:53:09] 919*2^1239163-1 is not prime. Res64: 58869F2F893181D8 Time : 0.0 sec. user=mdettweiler [2013-01-12 23:53:10] 707*2^1239164-1 is not prime. Res64: 20062DA0DC921183 Time : 0.0 sec.