user=mdettweiler [2015-08-25 00:02:11] 673*2^1407223-1 is not prime. Res64: ABF553B591C663EE Time : 0.0 sec. user=mdettweiler [2015-08-25 00:02:11] 685*2^1407223-1 is not prime. Res64: 9B00DE8B67A1D72D Time : 0.0 sec. user=mdettweiler [2015-08-25 00:06:17] 723*2^1407223-1 is not prime. Res64: F103D76E631C0AFB Time : 0.0 sec. user=mdettweiler [2015-08-25 00:06:19] 871*2^1407223-1 is not prime. Res64: 613EE2E900E8E989 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:06:57] 985*2^1407223-1 is not prime. Res64: D64A1CCE1A20B933 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:06:59] 683*2^1407224-1 is not prime. Res64: A7080C4822BEFAB3 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:07:51] 717*2^1407224-1 is not prime. Res64: C5D4E407AE570495 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:07:52] 719*2^1407224-1 is not prime. Res64: B973A55602868FD9 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:20:01] 789*2^1407224-1 is not prime. Res64: 678BC2C58B70390E Time : 0.0 sec. user=mdettweiler [2015-08-25 00:20:01] 873*2^1407224-1 is not prime. Res64: 44B9F061BF2F497A Time : 0.0 sec. user=mdettweiler [2015-08-25 00:24:30] 995*2^1407224-1 is not prime. Res64: 5EC0747FA08CD3A6 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:24:31] 625*2^1407225-1 is not prime. Res64: 62115187FD07F1C3 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:24:40] 679*2^1407225-1 is not prime. Res64: 67A74E17B062734D Time : 0.0 sec. user=mdettweiler [2015-08-25 00:24:40] 685*2^1407225-1 is not prime. Res64: 62FA520CD6D3F69B Time : 0.0 sec. user=mdettweiler [2015-08-25 00:25:37] 741*2^1407225-1 is not prime. Res64: 4FFF68205944B872 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:25:38] 765*2^1407225-1 is not prime. Res64: 4F1C5560934E7650 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:37:44] 777*2^1407225-1 is not prime. Res64: 06A1FDC8D0BB7932 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:37:45] 781*2^1407225-1 is not prime. Res64: D8E449F88A422645 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:42:13] 795*2^1407225-1 is not prime. Res64: 702D41F90517EE58 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:42:13] 889*2^1407225-1 is not prime. Res64: F3BD37FBAE13577C Time : 0.0 sec. user=mdettweiler [2015-08-25 00:42:26] 895*2^1407225-1 is not prime. Res64: 763832A4FF79D1D7 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:42:27] 635*2^1407226-1 is not prime. Res64: 2B6E8A6BD77003FE Time : 0.0 sec. user=mdettweiler [2015-08-25 00:43:20] 735*2^1407226-1 is not prime. Res64: E80C6849E73104C9 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:43:21] 773*2^1407226-1 is not prime. Res64: 0035870BFC838266 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:55:18] 801*2^1407226-1 is not prime. Res64: AF7D781F69460E0B Time : 0.0 sec. user=mdettweiler [2015-08-25 00:55:18] 891*2^1407226-1 is not prime. Res64: 339125567F475799 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:59:54] 739*2^1407227-1 is not prime. Res64: C5A354C5331F2D84 Time : 0.0 sec. user=mdettweiler [2015-08-25 00:59:54] 741*2^1407227-1 is not prime. Res64: 1CAAE53579F9B69C Time : 0.0 sec. user=mdettweiler [2015-08-25 01:00:02] 895*2^1407227-1 is not prime. Res64: 09FB1899B53E8EDD Time : 0.0 sec. user=mdettweiler [2015-08-25 01:00:02] 635*2^1407228-1 is not prime. Res64: E405DEB4C4EA2553 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:01:02] 669*2^1407228-1 is not prime. Res64: 6FD28630310C8D65 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:01:03] 867*2^1407228-1 is not prime. Res64: 297A3134C37889C0 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:12:57] 621*2^1407229-1 is not prime. Res64: 0A53A3D4427BC336 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:12:58] 741*2^1407229-1 is not prime. Res64: 01C6833263FEC1FD Time : 0.0 sec. user=mdettweiler [2015-08-25 01:17:34] 751*2^1407229-1 is not prime. Res64: C354D91A2647B616 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:17:34] 799*2^1407229-1 is not prime. Res64: 5BCED1B76122A110 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:17:39] 867*2^1407229-1 is not prime. Res64: C33CA6CB7DA92B51 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:17:39] 895*2^1407229-1 is not prime. Res64: A71463A70606C3F7 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:18:51] 603*2^1407230-1 is not prime. Res64: A03E8C1A5D041D53 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:18:52] 623*2^1407230-1 is not prime. Res64: 0B4FBA22156ABB2A Time : 0.0 sec. user=mdettweiler [2015-08-25 01:30:51] 773*2^1407230-1 is not prime. Res64: 12F641FD19B0B3DC Time : 0.0 sec. user=mdettweiler [2015-08-25 01:30:53] 831*2^1407230-1 is not prime. Res64: B55FFBAE0CB9038A Time : 0.0 sec. user=mdettweiler [2015-08-25 01:31:17] 619*2^1407223-1 is not prime. Res64: 48D06D83BB816207 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:35:18] 649*2^1407231-1 is not prime. Res64: 0B27CADBA2781EA5 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:35:18] 739*2^1407231-1 is not prime. Res64: 087DFC3C684AEC3A Time : 0.0 sec. user=mdettweiler [2015-08-25 01:35:20] 833*2^1407230-1 is not prime. Res64: EEFDBF381C78F7F3 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:35:20] 953*2^1407230-1 is not prime. Res64: DA1FA35D3FBB03C2 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:36:35] 819*2^1407231-1 is not prime. Res64: D19BB29CC65D1F58 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:36:35] 825*2^1407231-1 is not prime. Res64: 583293A7823193A0 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:48:55] 871*2^1407231-1 is not prime. Res64: 0EFCE3790224697D Time : 0.0 sec. user=mdettweiler [2015-08-25 01:48:56] 951*2^1407231-1 is not prime. Res64: 706DBDFF07C376B2 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:52:58] 717*2^1407232-1 is not prime. Res64: 09385A0F113A08B4 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:52:58] 785*2^1407232-1 is not prime. Res64: A46A6B3324BDE716 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:53:13] 969*2^1407231-1 is not prime. Res64: C47BA4C50656C41E Time : 0.0 sec. user=mdettweiler [2015-08-25 01:53:13] 665*2^1407232-1 is not prime. Res64: 8A10C5879C244D68 Time : 0.0 sec. user=mdettweiler [2015-08-25 01:54:22] 863*2^1407232-1 is not prime. Res64: 7D4BCA98A10FC91A Time : 0.0 sec. user=mdettweiler [2015-08-25 01:54:22] 975*2^1407232-1 is not prime. Res64: C4222568F9038E44 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:07:20] 983*2^1407232-1 is not prime. Res64: 5D7002BE483E183C Time : 0.0 sec. user=mdettweiler [2015-08-25 02:07:21] 619*2^1407233-1 is not prime. Res64: 8CED88670E22EA5D Time : 0.0 sec. user=mdettweiler [2015-08-25 02:11:24] 781*2^1407233-1 is not prime. Res64: 5D8B14B8EFD1CF94 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:11:25] 871*2^1407233-1 is not prime. Res64: 3AF4E22A5C9E7FD2 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:11:41] 937*2^1407233-1 is not prime. Res64: 2F43C9BEA0994B6B Time : 0.0 sec. user=mdettweiler [2015-08-25 02:11:42] 967*2^1407233-1 is not prime. Res64: EF66373B6B44EB1D Time : 0.0 sec. user=mdettweiler [2015-08-25 02:12:51] 627*2^1407234-1 is not prime. Res64: 19840995B18677AD Time : 0.0 sec. user=mdettweiler [2015-08-25 02:12:51] 681*2^1407234-1 is not prime. Res64: 56B1B7AB9DA59301 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:25:36] 773*2^1407234-1 is not prime. Res64: ABB64D3FE828F422 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:25:36] 837*2^1407234-1 is not prime. Res64: 691316D1B3497FF7 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:29:15] 917*2^1407234-1 is not prime. Res64: 195D0AB5051842CB Time : 0.0 sec. user=mdettweiler [2015-08-25 02:29:16] 603*2^1407235-1 is not prime. Res64: AAC1FF00EB3C5178 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:29:38] 625*2^1407235-1 is not prime. Res64: C72D304146BEA3AE Time : 0.0 sec. user=mdettweiler [2015-08-25 02:29:39] 633*2^1407235-1 is not prime. Res64: F08DACC42780CE5A Time : 0.0 sec. user=mdettweiler [2015-08-25 02:30:35] 699*2^1407235-1 is not prime. Res64: 4D53C955E9FB64EF Time : 0.0 sec. user=mdettweiler [2015-08-25 02:30:36] 733*2^1407235-1 is not prime. Res64: EEAC64AFB98EC848 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:43:22] 741*2^1407235-1 is not prime. Res64: 3A5546912EF24C73 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:43:23] 913*2^1407235-1 is not prime. Res64: 3FE4A34539FF869D Time : 0.0 sec. user=mdettweiler [2015-08-25 02:47:03] 951*2^1407235-1 is not prime. Res64: CA4CECD8FE1785E3 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:47:03] 979*2^1407235-1 is not prime. Res64: 730E6E342160C644 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:47:18] 603*2^1407236-1 is not prime. Res64: 5BF9EAE9335168A7 Time : 0.0 sec. user=mdettweiler [2015-08-25 02:47:19] 689*2^1407236-1 is not prime. Res64: C21DC688BB0ECF0D Time : 0.0 sec. user=mdettweiler [2015-08-25 02:48:42] 759*2^1407236-1 is not prime. Res64: D10C013C593DCF1A Time : 0.0 sec. user=mdettweiler [2015-08-25 02:48:43] 773*2^1407236-1 is not prime. Res64: 41E843E4E62564DE Time : 0.0 sec. user=mdettweiler [2015-08-25 03:01:18] 873*2^1407236-1 is not prime. Res64: CD4B44E69AEE16CE Time : 0.0 sec. user=mdettweiler [2015-08-25 03:01:19] 927*2^1407236-1 is not prime. Res64: 7B1AAB7A18F7B86D Time : 0.0 sec. user=mdettweiler [2015-08-25 03:04:57] 999*2^1407236-1 is not prime. Res64: D4B91A5154D9A4B4 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:04:58] 615*2^1407237-1 is not prime. Res64: C0F5756F9118F744 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:05:05] 625*2^1407237-1 is not prime. Res64: 78648C638D18E4BF Time : 0.0 sec. user=mdettweiler [2015-08-25 03:05:07] 655*2^1407237-1 is not prime. Res64: B0D8498A9EFDBAF1 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:06:27] 805*2^1407237-1 is not prime. Res64: F71B24FB85D238D7 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:06:28] 927*2^1407237-1 is not prime. Res64: D87F15662DE8685E Time : 0.0 sec. user=mdettweiler [2015-08-25 03:19:05] 985*2^1407237-1 is not prime. Res64: 0CB5412A86C4DBD6 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:19:05] 611*2^1407238-1 is not prime. Res64: 1F0A1A9CC6E96EEF Time : 0.0 sec. user=mdettweiler [2015-08-25 03:23:04] 705*2^1407238-1 is not prime. Res64: 4E7A342152681C37 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:23:05] 731*2^1407238-1 is not prime. Res64: FEB96A8668840FD9 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:23:06] 765*2^1407238-1 is not prime. Res64: A97F9CC59D63A2FB Time : 0.0 sec. user=mdettweiler [2015-08-25 03:23:06] 863*2^1407238-1 is not prime. Res64: 26CC518BAC81E1F9 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:24:36] 1001*2^1407238-1 is not prime. Res64: 667E9F33993CA402 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:24:36] 669*2^1407239-1 is not prime. Res64: F16FBFB7403B96B9 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:37:50] 759*2^1407239-1 is not prime. Res64: 35A7B2F9EE5BC24C Time : 0.0 sec. user=mdettweiler [2015-08-25 03:37:51] 823*2^1407239-1 is not prime. Res64: D5CDD051E56A2366 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:41:43] 909*2^1407239-1 is not prime. Res64: 9508336610C9DC0C Time : 0.0 sec. user=mdettweiler [2015-08-25 03:41:44] 921*2^1407239-1 is not prime. Res64: F2B530B587807C0F Time : 0.0 sec. user=mdettweiler [2015-08-25 03:41:49] 629*2^1407240-1 is not prime. Res64: 5BD523CF90255C58 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:41:50] 635*2^1407240-1 is not prime. Res64: 1DE44EA591D1925C Time : 0.0 sec. user=mdettweiler [2015-08-25 03:42:42] 737*2^1407240-1 is not prime. Res64: 50F8EEF432F0A0E5 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:42:43] 777*2^1407240-1 is not prime. Res64: D7D40CDA3B78B03B Time : 0.0 sec. user=mdettweiler [2015-08-25 03:55:38] 825*2^1407240-1 is not prime. Res64: 21E23DA6186D77CC Time : 0.0 sec. user=mdettweiler [2015-08-25 03:55:38] 839*2^1407240-1 is not prime. Res64: 9161E0AE7644510D Time : 0.0 sec. user=mdettweiler [2015-08-25 03:59:32] 917*2^1407240-1 is not prime. Res64: EBC12C53B303BCAB Time : 0.0 sec. user=mdettweiler [2015-08-25 03:59:32] 923*2^1407240-1 is not prime. Res64: 27746D8784664DE6 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:59:36] 843*2^1407240-1 is not prime. Res64: C630A1819488B601 Time : 0.0 sec. user=mdettweiler [2015-08-25 03:59:37] 863*2^1407240-1 is not prime. Res64: A7AECA5F266AC1ED Time : 0.0 sec. user=mdettweiler [2015-08-25 04:00:24] 927*2^1407240-1 is not prime. Res64: 2DFAF53771E58C34 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:00:25] 933*2^1407240-1 is not prime. Res64: ED304344C1D8EEC3 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:13:26] 975*2^1407240-1 is not prime. Res64: 87FF65C69B997B86 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:13:27] 687*2^1407241-1 is not prime. Res64: 97B7FCBA5BD9E7AC Time : 0.0 sec. user=mdettweiler [2015-08-25 04:17:13] 745*2^1407241-1 is not prime. Res64: D55DD3AAEA1B947E Time : 0.0 sec. user=mdettweiler [2015-08-25 04:17:13] 769*2^1407241-1 is not prime. Res64: A3B7F9946B23FFC2 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:17:23] 777*2^1407241-1 is not prime. Res64: CA255F37302EEFF2 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:17:23] 877*2^1407241-1 is not prime. Res64: 02796214E9C79E55 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:18:10] 951*2^1407241-1 is not prime. Res64: 6693176C6E3209A3 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:18:10] 665*2^1407242-1 is not prime. Res64: 7CA2C989BFB716EE Time : 0.0 sec. user=mdettweiler [2015-08-25 04:31:14] 735*2^1407242-1 is not prime. Res64: D6809DD1A7B92B48 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:31:14] 755*2^1407242-1 is not prime. Res64: 6FD4EEB4BE138118 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:35:03] 893*2^1407242-1 is not prime. Res64: 63EB913F7E9CFBB6 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:35:03] 977*2^1407242-1 is not prime. Res64: 6777D995ADD87B03 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:35:06] 983*2^1407242-1 is not prime. Res64: F564B118F4B8AB93 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:35:07] 685*2^1407243-1 is not prime. Res64: 63FB7B1445AD6390 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:35:53] 699*2^1407243-1 is not prime. Res64: 82BCAB6FE9BD86B4 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:35:53] 775*2^1407243-1 is not prime. Res64: DDBDD6F7F7D38B10 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:48:57] 801*2^1407243-1 is not prime. Res64: D7329A5B9847A1B8 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:48:58] 961*2^1407243-1 is not prime. Res64: 46B24495CF069575 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:52:40] 963*2^1407243-1 is not prime. Res64: 1D540E0BA7C7A0CB Time : 0.0 sec. user=mdettweiler [2015-08-25 04:52:41] 623*2^1407244-1 is not prime. Res64: 39A6B4C07BA2E43D Time : 0.0 sec. user=mdettweiler [2015-08-25 04:52:48] 677*2^1407244-1 is not prime. Res64: 78A67602F903B608 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:52:48] 707*2^1407244-1 is not prime. Res64: 1ECDE74E63057972 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:53:39] 607*2^1407245-1 is not prime. Res64: 7AD79659C6F41235 Time : 0.0 sec. user=mdettweiler [2015-08-25 04:53:40] 619*2^1407245-1 is not prime. Res64: 57E0E4C6684C2F66 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:06:41] 669*2^1407245-1 is not prime. Res64: 8A93CF53A253D3F7 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:06:43] 781*2^1407245-1 is not prime. Res64: B24FA2E10960E770 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:10:19] 825*2^1407245-1 is not prime. Res64: AA7FA21E24F72624 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:10:20] 837*2^1407245-1 is not prime. Res64: ED41296A4ADDE3BC Time : 0.0 sec. user=mdettweiler [2015-08-25 05:10:27] 889*2^1407245-1 is not prime. Res64: 9A1118925F4B348E Time : 0.0 sec. user=mdettweiler [2015-08-25 05:10:28] 927*2^1407245-1 is not prime. Res64: D8D2F41262AACE6D Time : 0.0 sec. user=mdettweiler [2015-08-25 05:11:26] 955*2^1407245-1 is not prime. Res64: E4930A225AA3985B Time : 0.0 sec. user=mdettweiler [2015-08-25 05:11:26] 693*2^1407246-1 is not prime. Res64: 38AD7E996884274F Time : 0.0 sec. user=mdettweiler [2015-08-25 05:24:46] 725*2^1407246-1 is not prime. Res64: 24B67E90231150D0 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:24:46] 783*2^1407246-1 is not prime. Res64: B1E5077DA5F06EB6 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:28:05] 873*2^1407246-1 is not prime. Res64: 604FFABF02FC1D00 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:28:05] 633*2^1407247-1 is not prime. Res64: 140E2E3E52A88A69 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:28:15] 673*2^1407247-1 is not prime. Res64: 0909D4EDB4CE29C1 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:28:15] 705*2^1407247-1 is not prime. Res64: DACC1E802D98810E Time : 0.0 sec. user=mdettweiler [2015-08-25 05:29:21] 735*2^1407247-1 is not prime. Res64: 714DBB3A0265C8EA Time : 0.0 sec. user=mdettweiler [2015-08-25 05:29:21] 919*2^1407247-1 is not prime. Res64: 2512D65B06A371D2 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:42:37] 939*2^1407247-1 is not prime. Res64: 2433C208B85F22DB Time : 0.0 sec. user=mdettweiler [2015-08-25 05:42:38] 951*2^1407247-1 is not prime. Res64: 8FBA932E00254B3E Time : 0.0 sec. user=mdettweiler [2015-08-25 05:45:48] 979*2^1407247-1 is not prime. Res64: 5B8CD56F7D878274 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:45:48] 743*2^1407248-1 is not prime. Res64: 222B97140CAE9B8A Time : 0.0 sec. user=mdettweiler [2015-08-25 05:45:54] 825*2^1407248-1 is not prime. Res64: A14295C045B684C1 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:45:55] 977*2^1407248-1 is not prime. Res64: 8CE8B3F842701FEE Time : 0.0 sec. user=mdettweiler [2015-08-25 05:47:14] 685*2^1407249-1 is not prime. Res64: 06C3D5BFE6730678 Time : 0.0 sec. user=mdettweiler [2015-08-25 05:47:14] 811*2^1407249-1 is not prime. Res64: 13DAE71650AAA72E Time : 0.0 sec. user=mdettweiler [2015-08-25 06:00:18] 861*2^1407249-1 is not prime. Res64: 3CA888BD029837CB Time : 0.0 sec. user=mdettweiler [2015-08-25 06:00:18] 969*2^1407249-1 is not prime. Res64: 3AC8CF9AC0107415 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:03:31] 991*2^1407249-1 is not prime. Res64: 0C4D9DB519AFC6E3 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:03:32] 677*2^1407250-1 is not prime. Res64: 86F8BD1FB1103028 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:03:39] 695*2^1407250-1 is not prime. Res64: FA57488F7ADFCE74 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:03:40] 833*2^1407250-1 is not prime. Res64: 8245523E51DDFB88 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:05:01] 705*2^1407251-1 is not prime. Res64: FF07228FBF20CD81 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:05:02] 745*2^1407251-1 is not prime. Res64: 806E96BC3A65BAA6 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:17:54] 811*2^1407251-1 is not prime. Res64: B7E09DD1FAA62E95 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:17:55] 943*2^1407251-1 is not prime. Res64: C7DCC06C08221A14 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:21:07] 629*2^1407252-1 is not prime. Res64: 097829C6FDDE652E Time : 0.0 sec. user=mdettweiler [2015-08-25 06:21:07] 717*2^1407252-1 is not prime. Res64: 8ACBFB43655E481D Time : 0.0 sec. user=mdettweiler [2015-08-25 06:21:30] 777*2^1407252-1 is not prime. Res64: 9C12EF375043F42E Time : 0.0 sec. user=mdettweiler [2015-08-25 06:21:30] 837*2^1407252-1 is not prime. Res64: F98CAC35432FBA71 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:22:47] 765*2^1407253-1 is not prime. Res64: 598CD1461B700667 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:22:47] 789*2^1407253-1 is not prime. Res64: 6A07BA56B2009B06 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:35:34] 829*2^1407253-1 is not prime. Res64: 0FE8F9C247C686DB Time : 0.0 sec. user=mdettweiler [2015-08-25 06:35:34] 901*2^1407253-1 is not prime. Res64: 0ACB08F7605EA068 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:38:41] 927*2^1407253-1 is not prime. Res64: 0203D63AACCE4B13 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:38:41] 939*2^1407253-1 is not prime. Res64: 0D2C4C8A4FED0F65 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:39:06] 945*2^1407253-1 is not prime. Res64: 043DA11A8BAE33A4 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:39:07] 623*2^1407254-1 is not prime. Res64: D0A171A04DE0AB12 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:40:28] 683*2^1407254-1 is not prime. Res64: 125CA4682F7B7B1D Time : 0.0 sec. user=mdettweiler [2015-08-25 06:40:28] 705*2^1407254-1 is not prime. Res64: CBA8A89A950EC294 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:53:18] 711*2^1407254-1 is not prime. Res64: 72883B0FD7DEEFA6 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:53:18] 981*2^1407254-1 is not prime. Res64: 19DDDB0C551EDF1A Time : 0.0 sec. user=mdettweiler [2015-08-25 06:56:22] 619*2^1407255-1 is not prime. Res64: 2C820132405BE1E3 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:56:22] 663*2^1407255-1 is not prime. Res64: 0C5D6B8A19510FAC Time : 0.0 sec. user=mdettweiler [2015-08-25 06:56:50] 775*2^1407255-1 is not prime. Res64: 67D3CA36DD70428D Time : 0.0 sec. user=mdettweiler [2015-08-25 06:56:50] 963*2^1407255-1 is not prime. Res64: AA0101B32BC48427 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:58:07] 999*2^1407255-1 is not prime. Res64: 5997A63720019456 Time : 0.0 sec. user=mdettweiler [2015-08-25 06:58:07] 609*2^1407256-1 is not prime. Res64: 8C9FAEA7B08FF606 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:11:07] 617*2^1407256-1 is not prime. Res64: 47B30D4F0052CFD5 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:11:07] 717*2^1407256-1 is not prime. Res64: 395F3CF5B5FB89F4 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:14:09] 735*2^1407256-1 is not prime. Res64: 39CAC0648E7B7B29 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:14:09] 813*2^1407256-1 is not prime. Res64: FD39608B0685A882 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:14:36] 855*2^1407256-1 is not prime. Res64: FFBE2EB3F9683DE9 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:14:36] 875*2^1407256-1 is not prime. Res64: 605141EEC3D3219E Time : 0.0 sec. user=mdettweiler [2015-08-25 07:15:49] 939*2^1407256-1 is not prime. Res64: 929E0361B0632B4F Time : 0.0 sec. user=mdettweiler [2015-08-25 07:15:49] 983*2^1407256-1 is not prime. Res64: 114BA3D540373ECC Time : 0.0 sec. user=mdettweiler [2015-08-25 07:28:52] 741*2^1407257-1 is not prime. Res64: 2350C93489B3F474 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:28:52] 769*2^1407257-1 is not prime. Res64: 1BC52A1299653DAA Time : 0.0 sec. user=mdettweiler [2015-08-25 07:31:48] 837*2^1407257-1 is not prime. Res64: 8793F1A947B23CCD Time : 0.0 sec. user=mdettweiler [2015-08-25 07:31:48] 611*2^1407258-1 is not prime. Res64: 48EA9AA925CC0519 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:32:13] 615*2^1407258-1 is not prime. Res64: 99C9E309CA7B4AC9 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:32:13] 635*2^1407258-1 is not prime. Res64: E0A0D8C42DD6ED1D Time : 0.0 sec. user=mdettweiler [2015-08-25 07:33:26] 663*2^1407258-1 is not prime. Res64: 05FFBD0E7F3539C0 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:33:27] 677*2^1407258-1 is not prime. Res64: 5B789647A6E2E7BE Time : 0.0 sec. user=mdettweiler [2015-08-25 07:46:28] 767*2^1407258-1 is not prime. Res64: AE466A94B1B71CE7 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:46:29] 797*2^1407258-1 is not prime. Res64: 46F8740E839186A0 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:49:23] 803*2^1407258-1 is not prime. Res64: A4EB19E86CEB9092 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:49:23] 615*2^1407259-1 is not prime. Res64: 13E4F4FD2C00FB0C Time : 0.0 sec. user=mdettweiler [2015-08-25 07:49:42] 633*2^1407259-1 is not prime. Res64: AB463942513FC278 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:49:42] 759*2^1407259-1 is not prime. Res64: 4A3D66D16AB18655 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:51:02] 925*2^1407259-1 is not prime. Res64: 331E342B059891D7 Time : 0.0 sec. user=mdettweiler [2015-08-25 07:51:02] 931*2^1407259-1 is not prime. Res64: DA7B977EE63D9227 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:04:10] 975*2^1407259-1 is not prime. Res64: 40ED7FFE49A9E98C Time : 0.0 sec. user=mdettweiler [2015-08-25 08:04:11] 663*2^1407260-1 is not prime. Res64: 4EC6787D3FB623A0 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:07:06] 665*2^1407260-1 is not prime. Res64: 08D6B96FD4E48343 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:07:09] 995*2^1407260-1 is not prime. Res64: 572F8A49A1867E83 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:07:24] 649*2^1407261-1 is not prime. Res64: 47D66E04C5103BDD Time : 0.0 sec. user=mdettweiler [2015-08-25 08:07:27] 789*2^1407261-1 is not prime. Res64: 920318C7FF9A0F3A Time : 0.0 sec. user=mdettweiler [2015-08-25 08:08:44] 885*2^1407261-1 is not prime. Res64: 21DCA8133D10A7E7 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:08:44] 895*2^1407261-1 is not prime. Res64: 3A5EEB47F0A4E058 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:22:00] 997*2^1407261-1 is not prime. Res64: 022A60A4FEA19CD9 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:22:00] 635*2^1407262-1 is not prime. Res64: DC6DFACA46D88CB9 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:25:08] 645*2^1407262-1 is not prime. Res64: 92065A6C881F526D Time : 0.0 sec. user=mdettweiler [2015-08-25 08:25:09] 665*2^1407262-1 is not prime. Res64: BED7E6C230BD271B Time : 0.0 sec. user=mdettweiler [2015-08-25 08:25:09] 765*2^1407262-1 is not prime. Res64: F5D0299BC046D589 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:25:09] 857*2^1407262-1 is not prime. Res64: 834C6A04FD928326 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:26:19] 917*2^1407262-1 is not prime. Res64: F960B5DB70BEB86D Time : 0.0 sec. user=mdettweiler [2015-08-25 08:26:20] 965*2^1407262-1 is not prime. Res64: 4723E85FDF404E62 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:39:37] 871*2^1407263-1 is not prime. Res64: 6C08BD686DD5F701 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:39:37] 939*2^1407263-1 is not prime. Res64: D4D603485CFDF8BA Time : 0.0 sec. user=mdettweiler [2015-08-25 08:42:41] 945*2^1407263-1 is not prime. Res64: E269DD032436D6B9 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:42:42] 985*2^1407263-1 is not prime. Res64: 32751642D5DE7C59 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:42:44] 629*2^1407264-1 is not prime. Res64: 697E29335DFF666D Time : 0.0 sec. user=mdettweiler [2015-08-25 08:42:44] 927*2^1407264-1 is not prime. Res64: B020EED8295E0CDF Time : 0.0 sec. user=mdettweiler [2015-08-25 08:43:55] 983*2^1407264-1 is not prime. Res64: CF7906ADBEA41BEB Time : 0.0 sec. user=mdettweiler [2015-08-25 08:43:56] 609*2^1407265-1 is not prime. Res64: E0B8DAFC96AC7EB3 Time : 0.0 sec. user=mdettweiler [2015-08-25 08:57:15] 651*2^1407265-1 is not prime. Res64: 311193922415898D Time : 0.0 sec. user=mdettweiler [2015-08-25 08:57:15] 687*2^1407265-1 is not prime. Res64: A6EA5085975501B7 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:00:18] 741*2^1407266-1 is not prime. Res64: F3C9140B80B5A7A2 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:00:19] 615*2^1407267-1 is not prime. Res64: A3260067F3DEDDD9 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:00:20] 987*2^1407265-1 is not prime. Res64: 5BC075474356A123 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:00:20] 633*2^1407266-1 is not prime. Res64: 0221822BFC01B835 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:01:29] 735*2^1407267-1 is not prime. Res64: 20E56A095BEB3A67 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:01:30] 765*2^1407267-1 is not prime. Res64: 569694948CBB921E Time : 0.0 sec. user=mdettweiler [2015-08-25 09:14:50] 769*2^1407267-1 is not prime. Res64: B81A71D5EF01C0D0 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:14:51] 895*2^1407267-1 is not prime. Res64: 53F4B79A4FDAC5D1 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:18:01] 951*2^1407267-1 is not prime. Res64: FB3AC8280F6CA688 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:18:01] 963*2^1407267-1 is not prime. Res64: 83A7A68D9EAA2054 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:18:03] 605*2^1407268-1 is not prime. Res64: 8083E4C65F8116F7 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:18:03] 773*2^1407268-1 is not prime. Res64: 6B23EE1ED7B55AC6 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:19:04] 825*2^1407269-1 is not prime. Res64: 778C811247AE77EE Time : 0.0 sec. user=mdettweiler [2015-08-25 09:19:05] 847*2^1407269-1 is not prime. Res64: 5D8E1F28A63EE623 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:32:34] 897*2^1407269-1 is not prime. Res64: F1CFDF2CEFCD732D Time : 0.0 sec. user=mdettweiler [2015-08-25 09:32:34] 925*2^1407269-1 is not prime. Res64: 963F5A047CC45BA6 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:35:40] 657*2^1407270-1 is not prime. Res64: 34C7BAD746A89978 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:35:41] 791*2^1407270-1 is not prime. Res64: B059B31333565FB8 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:35:41] 949*2^1407269-1 is not prime. Res64: E0B4A425786DF907 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:35:41] 951*2^1407269-1 is not prime. Res64: 1536D4C4F0642AA8 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:36:44] 797*2^1407270-1 is not prime. Res64: 25D14C15D2BD2D37 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:36:44] 861*2^1407270-1 is not prime. Res64: 6ABEFADD629867D0 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:50:23] 875*2^1407270-1 is not prime. Res64: 71503D63D4A782F7 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:50:23] 923*2^1407270-1 is not prime. Res64: 930EED65D92E5701 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:53:18] 681*2^1407271-1 is not prime. Res64: E542D3EB39B1376E Time : 0.0 sec. user=mdettweiler [2015-08-25 09:53:18] 871*2^1407271-1 is not prime. Res64: A9C4B80E130EBCFD Time : 0.0 sec. user=mdettweiler [2015-08-25 09:53:35] 931*2^1407271-1 is not prime. Res64: 27EDDAF15F7161F6 Time : 0.0 sec. user=mdettweiler [2015-08-25 09:53:35] 759*2^1407272-1 is not prime. Res64: 76F927049897309C Time : 0.0 sec. user=mdettweiler [2015-08-25 09:54:36] 777*2^1407272-1 is not prime. Res64: 072F4B3CA1D5DDDA Time : 0.0 sec. user=mdettweiler [2015-08-25 09:54:36] 797*2^1407272-1 is not prime. Res64: D3617366079D044C Time : 0.0 sec. user=mdettweiler [2015-08-25 10:08:05] 873*2^1407272-1 is not prime. Res64: 8433D3AE143DF905 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:08:05] 899*2^1407272-1 is not prime. Res64: 4598827AA4AFFD14 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:10:57] 929*2^1407272-1 is not prime. Res64: 671C97266953D0D4 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:10:58] 995*2^1407272-1 is not prime. Res64: 414571CE79586F2D Time : 0.0 sec. user=mdettweiler [2015-08-25 10:11:17] 627*2^1407273-1 is not prime. Res64: 3C0B1F542D42DC9D Time : 0.0 sec. user=mdettweiler [2015-08-25 10:11:18] 639*2^1407273-1 is not prime. Res64: BA48400515B77428 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:12:28] 705*2^1407273-1 is not prime. Res64: 3173F3F7700BC564 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:12:29] 735*2^1407273-1 is not prime. Res64: D322C1D04B11935F Time : 0.0 sec. user=mdettweiler [2015-08-25 10:25:46] 745*2^1407273-1 is not prime. Res64: 009BB8490134286C Time : 0.0 sec. user=mdettweiler [2015-08-25 10:25:46] 759*2^1407273-1 is not prime. Res64: D974D130849C6901 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:28:33] 861*2^1407273-1 is not prime. Res64: 05740FD06BF3880B Time : 0.0 sec. user=mdettweiler [2015-08-25 10:28:33] 867*2^1407273-1 is not prime. Res64: 3CC270B67596ABA9 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:28:59] 675*2^1407274-1 is not prime. Res64: 80B220DD8B0E3AEB Time : 0.0 sec. user=mdettweiler [2015-08-25 10:28:59] 687*2^1407274-1 is not prime. Res64: DA33527D9A61B0B3 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:30:18] 791*2^1407274-1 is not prime. Res64: 131B602CD7C6B2BB Time : 0.0 sec. user=mdettweiler [2015-08-25 10:30:18] 983*2^1407274-1 is not prime. Res64: 2A3138FBA990DA96 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:43:25] 993*2^1407274-1 is not prime. Res64: 2915251E4FC9A95B Time : 0.0 sec. user=mdettweiler [2015-08-25 10:43:25] 601*2^1407275-1 is not prime. Res64: 91996E8591D7F3E9 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:46:07] 603*2^1407275-1 is not prime. Res64: C07D10D8BDAB063C Time : 0.0 sec. user=mdettweiler [2015-08-25 10:46:08] 663*2^1407275-1 is not prime. Res64: C6802742B2F53539 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:46:35] 855*2^1407275-1 is not prime. Res64: D02DC8563EF962FA Time : 0.0 sec. user=mdettweiler [2015-08-25 10:46:36] 913*2^1407275-1 is not prime. Res64: BF0E113D56990999 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:47:57] 669*2^1407276-1 is not prime. Res64: 0D5A2D081F03F7C4 Time : 0.0 sec. user=mdettweiler [2015-08-25 10:47:58] 749*2^1407276-1 is not prime. Res64: 520B4CB2E9FACB0F Time : 0.0 sec. user=mdettweiler [2015-08-25 11:01:02] 777*2^1407276-1 is not prime. Res64: 6FA86833AC6719FF Time : 0.0 sec. user=mdettweiler [2015-08-25 11:01:03] 839*2^1407276-1 is not prime. Res64: A92AB9BEA817353E Time : 0.0 sec. user=mdettweiler [2015-08-25 11:03:56] 909*2^1407276-1 is not prime. Res64: B55DFBC866979A95 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:03:57] 667*2^1407277-1 is not prime. Res64: 51667BA4B35EDE91 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:04:19] 729*2^1407277-1 is not prime. Res64: A799818FAAC9A2BF Time : 0.0 sec. user=mdettweiler [2015-08-25 11:04:20] 741*2^1407277-1 is not prime. Res64: E603C990521EAC9F Time : 0.0 sec. user=mdettweiler [2015-08-25 11:05:37] 775*2^1407277-1 is not prime. Res64: 959A84DAFDC615F0 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:05:39] 847*2^1407277-1 is not prime. Res64: 67DAAE2361C8A6CB Time : 0.0 sec. user=mdettweiler [2015-08-25 11:18:42] 871*2^1407277-1 is not prime. Res64: C81B475F096B7D9E Time : 0.0 sec. user=mdettweiler [2015-08-25 11:18:43] 915*2^1407277-1 is not prime. Res64: 943D50F8E5080671 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:21:34] 957*2^1407277-1 is not prime. Res64: 50789339156B5578 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:21:34] 967*2^1407277-1 is not prime. Res64: 91757F0F97EFB31D Time : 0.0 sec. user=mdettweiler [2015-08-25 11:21:58] 985*2^1407277-1 is not prime. Res64: A32E1E9F288201CF Time : 0.0 sec. user=mdettweiler [2015-08-25 11:21:59] 755*2^1407278-1 is not prime. Res64: AF307B6A447CA560 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:23:17] 773*2^1407278-1 is not prime. Res64: E53CD31CCB0E3C31 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:23:17] 831*2^1407278-1 is not prime. Res64: 58ACA2C71E520919 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:36:21] 911*2^1407278-1 is not prime. Res64: 3E5573BB0C9D4F32 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:36:21] 915*2^1407278-1 is not prime. Res64: 6F144932F96610DB Time : 0.0 sec. user=mdettweiler [2015-08-25 11:39:12] 693*2^1407279-1 is not prime. Res64: 3D3F15202CA3D9C2 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:39:12] 711*2^1407279-1 is not prime. Res64: 4D78BC4061F2E97F Time : 0.0 sec. user=mdettweiler [2015-08-25 11:39:33] 741*2^1407279-1 is not prime. Res64: 4F1F0271977D8C93 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:39:34] 831*2^1407279-1 is not prime. Res64: 9CC3D1E5502245E0 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:41:05] 861*2^1407279-1 is not prime. Res64: 24EB777173648487 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:41:05] 919*2^1407279-1 is not prime. Res64: 158A82F35580AC0A Time : 0.0 sec. user=mdettweiler [2015-08-25 11:54:09] 933*2^1407279-1 is not prime. Res64: 5EFB74CD846856DF Time : 0.0 sec. user=mdettweiler [2015-08-25 11:54:09] 951*2^1407279-1 is not prime. Res64: D436A481172ED873 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:56:58] 973*2^1407279-1 is not prime. Res64: 6BEAFCFBCACF46B9 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:56:59] 605*2^1407280-1 is not prime. Res64: 6D9C7FAF7BAF89E7 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:57:11] 713*2^1407280-1 is not prime. Res64: 92258131C688CAA7 Time : 0.0 sec. user=mdettweiler [2015-08-25 11:57:12] 797*2^1407280-1 is not prime. Res64: B1E8C52FE7A7E84F Time : 0.0 sec. user=mdettweiler [2015-08-25 11:58:47] 803*2^1407280-1 is not prime. Res64: FDE499F767F3100D Time : 0.0 sec. user=mdettweiler [2015-08-25 11:58:47] 873*2^1407280-1 is not prime. Res64: 8C903FB648E33F89 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:11:47] 959*2^1407280-1 is not prime. Res64: A270841C0EE5BEA4 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:11:47] 627*2^1407281-1 is not prime. Res64: 414F9A0EDB696064 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:14:45] 691*2^1407281-1 is not prime. Res64: C60889E8C173E135 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:14:45] 697*2^1407281-1 is not prime. Res64: 2856FEE210FC36BA Time : 0.0 sec. user=mdettweiler [2015-08-25 12:14:51] 705*2^1407281-1 is not prime. Res64: FEAFBFC354B1207E Time : 0.0 sec. user=mdettweiler [2015-08-25 12:14:51] 717*2^1407281-1 is not prime. Res64: F7855FC9B96C8E34 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:16:24] 811*2^1407281-1 is not prime. Res64: A2A676B54BE6E3D6 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:16:24] 829*2^1407281-1 is not prime. Res64: 9423DFF94A132615 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:29:49] 865*2^1407281-1 is not prime. Res64: 7DD9444DD18DCD15 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:29:49] 979*2^1407281-1 is not prime. Res64: AF1B88DD6A59669B Time : 0.0 sec. user=mdettweiler [2015-08-25 12:32:38] 627*2^1407282-1 is not prime. Res64: 2D7208141EF5FA36 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:32:38] 713*2^1407282-1 is not prime. Res64: F6A68B8F30978661 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:32:47] 741*2^1407282-1 is not prime. Res64: 5243A2A9EBD7B26A Time : 0.0 sec. user=mdettweiler [2015-08-25 12:32:47] 875*2^1407282-1 is not prime. Res64: 689060A2A84E9371 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:34:13] 893*2^1407282-1 is not prime. Res64: 3F270E83241CBD34 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:34:13] 609*2^1407283-1 is not prime. Res64: 92C5FD8DBA9BAA48 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:49:46] 621*2^1407283-1 is not prime. Res64: 4FD03E09D5B0D97F Time : 0.0 sec. user=mdettweiler [2015-08-25 12:49:46] 835*2^1407283-1 is not prime. Res64: 60EE1438F31E4AAC Time : 0.0 sec. user=mdettweiler [2015-08-25 12:53:18] 675*2^1407284-1 is not prime. Res64: 8AFC66D3F54C6300 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:53:18] 743*2^1407284-1 is not prime. Res64: 9CB8F6A78E9CA0C8 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:53:19] 953*2^1407284-1 is not prime. Res64: 07AC36BAC66C8CFA Time : 0.0 sec. user=mdettweiler [2015-08-25 12:53:19] 995*2^1407284-1 is not prime. Res64: B014D159E8824F90 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:55:00] 627*2^1407285-1 is not prime. Res64: 8D9C3948D1C8DC58 Time : 0.0 sec. user=mdettweiler [2015-08-25 12:55:01] 679*2^1407285-1 is not prime. Res64: 73E455C441CB0B48 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:09:58] 699*2^1407285-1 is not prime. Res64: 702E21DC2D705E53 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:09:59] 717*2^1407285-1 is not prime. Res64: 20AA6132241A05BF Time : 0.0 sec. user=mdettweiler [2015-08-25 13:12:28] 871*2^1407285-1 is not prime. Res64: D85DE156794FA26D Time : 0.0 sec. user=mdettweiler [2015-08-25 13:12:28] 969*2^1407285-1 is not prime. Res64: 28C241817418F44E Time : 0.0 sec. user=mdettweiler [2015-08-25 13:12:35] 781*2^1407285-1 is not prime. Res64: 161183CEB5B82691 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:12:36] 831*2^1407285-1 is not prime. Res64: FE693611741DA873 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:14:00] 975*2^1407285-1 is not prime. Res64: 2E8B718A6BF7C2F0 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:14:01] 801*2^1407286-1 is not prime. Res64: 7BA9E9089165419B Time : 0.0 sec. user=mdettweiler [2015-08-25 13:28:55] 887*2^1407286-1 is not prime. Res64: DDA6A81549EE0B0A Time : 0.0 sec. user=mdettweiler [2015-08-25 13:28:55] 911*2^1407286-1 is not prime. Res64: F4F909FE92E757A9 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:31:22] 923*2^1407286-1 is not prime. Res64: B92E6D889F11A163 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:31:22] 983*2^1407286-1 is not prime. Res64: 9B5707F0C782D1F8 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:31:37] 651*2^1407287-1 is not prime. Res64: AB27E6B28077C34C Time : 0.0 sec. user=mdettweiler [2015-08-25 13:31:37] 759*2^1407287-1 is not prime. Res64: 57A167EEA161AF67 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:32:54] 813*2^1407287-1 is not prime. Res64: 77FDE616E43E9F80 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:32:54] 843*2^1407287-1 is not prime. Res64: 807C8350E4F40918 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:46:39] 861*2^1407287-1 is not prime. Res64: 469614B8E47E69CB Time : 0.0 sec. user=mdettweiler [2015-08-25 13:46:39] 985*2^1407287-1 is not prime. Res64: DDCBF35BA7BD5416 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:49:06] 633*2^1407288-1 is not prime. Res64: 99E104BC83F9FEFB Time : 0.0 sec. user=mdettweiler [2015-08-25 13:49:06] 705*2^1407288-1 is not prime. Res64: 3455D630C07B6B68 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:49:23] 639*2^1407289-1 is not prime. Res64: 38386ABC15A8CFD9 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:49:23] 661*2^1407289-1 is not prime. Res64: B9B9031B47DAD6E6 Time : 0.0 sec. user=mdettweiler [2015-08-25 13:50:34] 699*2^1407289-1 is not prime. Res64: 9DEB4672AB63392E Time : 0.0 sec. user=mdettweiler [2015-08-25 13:50:35] 801*2^1407289-1 is not prime. Res64: 87B79BCAD70F9671 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:04:14] 817*2^1407289-1 is not prime. Res64: EC8F527077B7F041 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:04:16] 931*2^1407289-1 is not prime. Res64: AAA4778DEBAA4D87 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:06:42] 939*2^1407289-1 is not prime. Res64: AF142DA27AF65B29 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:06:43] 665*2^1407290-1 is not prime. Res64: 8EC444DB2BF52450 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:06:58] 711*2^1407290-1 is not prime. Res64: FB74ED46650C8CC2 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:06:59] 791*2^1407290-1 is not prime. Res64: 0BE010C7019335E4 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:08:11] 867*2^1407290-1 is not prime. Res64: 81D607D4057684D1 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:08:12] 951*2^1407290-1 is not prime. Res64: 87BB9B11CF033058 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:22:06] 957*2^1407290-1 is not prime. Res64: 15DDA3781B9EE0FA Time : 0.0 sec. user=mdettweiler [2015-08-25 14:22:06] 995*2^1407290-1 is not prime. Res64: 80914422E68B7FC8 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:24:38] 669*2^1407291-1 is not prime. Res64: 194B1D998303FF7E Time : 0.0 sec. user=mdettweiler [2015-08-25 14:24:39] 675*2^1407291-1 is not prime. Res64: A74EC89111178244 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:24:42] 793*2^1407291-1 is not prime. Res64: 06445F97D930A0BE Time : 0.0 sec. user=mdettweiler [2015-08-25 14:24:42] 805*2^1407291-1 is not prime. Res64: 6BFAE1A3EC8F2951 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:25:52] 829*2^1407291-1 is not prime. Res64: F6847A38B3793269 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:25:52] 979*2^1407291-1 is not prime. Res64: AD1DD81C2E0A3BFC Time : 0.0 sec. user=mdettweiler [2015-08-25 14:39:51] 635*2^1407292-1 is not prime. Res64: 9F136F609334FEB4 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:39:52] 843*2^1407292-1 is not prime. Res64: 2463561F410720C5 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:42:19] 933*2^1407292-1 is not prime. Res64: AFFCB56C5BE737A2 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:42:19] 987*2^1407292-1 is not prime. Res64: DC6DE29A87488A10 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:42:28] 669*2^1407293-1 is not prime. Res64: BEB5D9E180D017EB Time : 0.0 sec. user=mdettweiler [2015-08-25 14:42:29] 847*2^1407293-1 is not prime. Res64: 4947CE438EC172DB Time : 0.0 sec. user=mdettweiler [2015-08-25 14:43:38] 861*2^1407293-1 is not prime. Res64: 0D6B63BDA3302F70 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:43:39] 925*2^1407293-1 is not prime. Res64: 255B893497DD94D2 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:57:39] 981*2^1407293-1 is not prime. Res64: FABB7088DFD6BD71 Time : 0.0 sec. user=mdettweiler [2015-08-25 14:57:39] 621*2^1407294-1 is not prime. Res64: 18D67FB407EB0E1A Time : 0.0 sec. user=mdettweiler [2015-08-25 15:00:07] 773*2^1407294-1 is not prime. Res64: 641C1CB4FD84CE3C Time : 0.0 sec. user=mdettweiler [2015-08-25 15:00:07] 917*2^1407294-1 is not prime. Res64: 500168F98076B9A9 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:00:36] 971*2^1407294-1 is not prime. Res64: FF6537B6D05A0D4D Time : 0.0 sec. user=mdettweiler [2015-08-25 15:00:37] 679*2^1407295-1 is not prime. Res64: 01CD675196EABA80 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:01:37] 693*2^1407295-1 is not prime. Res64: 9B1867DA2576CFE4 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:01:37] 759*2^1407295-1 is not prime. Res64: 693BC857C4133773 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:15:27] 793*2^1407295-1 is not prime. Res64: 2F52AC2B463C3922 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:15:28] 819*2^1407295-1 is not prime. Res64: A8807F2B21F1B149 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:17:51] 909*2^1407295-1 is not prime. Res64: D1F248547F224065 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:17:51] 623*2^1407296-1 is not prime. Res64: 3B949A05321854AA Time : 0.0 sec. user=mdettweiler [2015-08-25 15:18:29] 789*2^1407296-1 is not prime. Res64: 1BA17A02FBFBE00B Time : 0.0 sec. user=mdettweiler [2015-08-25 15:18:29] 833*2^1407296-1 is not prime. Res64: 94A0B8BD101BEF8E Time : 0.0 sec. user=mdettweiler [2015-08-25 15:19:24] 857*2^1407296-1 is not prime. Res64: BAABDCEED858BC00 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:19:25] 867*2^1407296-1 is not prime. Res64: 7BCBC3E1B2144B25 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:34:26] 963*2^1407296-1 is not prime. Res64: 480BB5ABF70E4962 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:34:27] 709*2^1407297-1 is not prime. Res64: FBA67B4C2F1BAF05 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:36:54] 739*2^1407297-1 is not prime. Res64: BB2511F6215D46DE Time : 0.0 sec. user=mdettweiler [2015-08-25 15:36:55] 795*2^1407297-1 is not prime. Res64: 1207C62801DFF5E5 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:37:47] 889*2^1407297-1 is not prime. Res64: E48AF7FD23640048 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:37:47] 991*2^1407297-1 is not prime. Res64: D820BC6F5681751C Time : 0.0 sec. user=mdettweiler [2015-08-25 15:38:54] 737*2^1407298-1 is not prime. Res64: EA91C98EDD3760CB Time : 0.0 sec. user=mdettweiler [2015-08-25 15:38:54] 887*2^1407298-1 is not prime. Res64: 7FF963690EA2345F Time : 0.0 sec. user=mdettweiler [2015-08-25 15:53:36] 631*2^1407299-1 is not prime. Res64: F69EA9060E9411F3 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:53:36] 633*2^1407299-1 is not prime. Res64: C959F517FA97E551 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:56:03] 663*2^1407299-1 is not prime. Res64: 1F3A5210ECA86511 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:56:04] 669*2^1407299-1 is not prime. Res64: 06FF80EB5927742F Time : 0.0 sec. user=mdettweiler [2015-08-25 15:56:39] 741*2^1407299-1 is not prime. Res64: 35CAD706C5C9D731 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:56:39] 753*2^1407299-1 is not prime. Res64: E142196A58BA14D3 Time : 0.0 sec. user=mdettweiler [2015-08-25 15:57:46] 811*2^1407299-1 is not prime. Res64: 5979185770A7656C Time : 0.0 sec. user=mdettweiler [2015-08-25 15:57:47] 825*2^1407299-1 is not prime. Res64: 81E88955898724BD Time : 0.0 sec. user=mdettweiler [2015-08-25 16:12:40] 921*2^1407299-1 is not prime. Res64: 89DB40058BC1AF94 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:12:41] 955*2^1407299-1 is not prime. Res64: A3A3102B51F08B96 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:14:55] 653*2^1407300-1 is not prime. Res64: 2F66A5FC4099B3FD Time : 0.0 sec. user=mdettweiler [2015-08-25 16:14:56] 735*2^1407300-1 is not prime. Res64: 0A35C9DB45A70DA3 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:15:35] 839*2^1407300-1 is not prime. Res64: BBE83DF47BC4C044 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:15:36] 893*2^1407300-1 is not prime. Res64: 8D90D5F1C0BFEB97 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:16:38] 741*2^1407301-1 is not prime. Res64: B96AD211DBB03F28 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:16:38] 799*2^1407301-1 is not prime. Res64: F6D985EEB6B8E8CB Time : 0.0 sec. user=mdettweiler [2015-08-25 16:30:28] 871*2^1407301-1 is not prime. Res64: DC613CF0EBF27673 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:30:28] 603*2^1407302-1 is not prime. Res64: A0FE53C73209363A Time : 0.0 sec. user=mdettweiler [2015-08-25 16:32:37] 671*2^1407302-1 is not prime. Res64: 5735AA5C74B8B629 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:32:38] 683*2^1407302-1 is not prime. Res64: F48513C67105EFB5 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:33:22] 693*2^1407302-1 is not prime. Res64: 2995D5F263C277BE Time : 0.0 sec. user=mdettweiler [2015-08-25 16:33:22] 705*2^1407302-1 is not prime. Res64: 68DD0E13FB081AE5 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:34:28] 885*2^1407302-1 is not prime. Res64: C12E58691D6AA6E3 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:34:28] 893*2^1407302-1 is not prime. Res64: 82DDE0D762E07B8F Time : 0.0 sec. user=mdettweiler [2015-08-25 16:48:10] 977*2^1407302-1 is not prime. Res64: 74BC36BFF21BDB42 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:48:10] 981*2^1407302-1 is not prime. Res64: FC2139956417845E Time : 0.0 sec. user=mdettweiler [2015-08-25 16:50:14] 649*2^1407303-1 is not prime. Res64: 289B0E6DBD9EE12D Time : 0.0 sec. user=mdettweiler [2015-08-25 16:50:14] 663*2^1407303-1 is not prime. Res64: 36716D07BF9A6101 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:51:05] 703*2^1407303-1 is not prime. Res64: 5F9D138B81A471DB Time : 0.0 sec. user=mdettweiler [2015-08-25 16:51:05] 793*2^1407303-1 is not prime. Res64: 9658AE2FBD84E158 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:52:03] 805*2^1407303-1 is not prime. Res64: ACFB2289315600A3 Time : 0.0 sec. user=mdettweiler [2015-08-25 16:52:04] 657*2^1407304-1 is not prime. Res64: 16E568DD0DB988CE Time : 0.0 sec. user=mdettweiler [2015-08-25 17:05:50] 785*2^1407304-1 is not prime. Res64: E40C5B84299C4730 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:05:51] 819*2^1407304-1 is not prime. Res64: B35FBC8C6F6C5270 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:07:57] 855*2^1407304-1 is not prime. Res64: F579183440815AE7 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:07:57] 909*2^1407304-1 is not prime. Res64: A441A1BBF956E406 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:08:41] 619*2^1407305-1 is not prime. Res64: 3F39A2E971CCF3A9 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:08:41] 649*2^1407305-1 is not prime. Res64: 8CE2D1DE4E7DED38 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:09:40] 691*2^1407305-1 is not prime. Res64: 1C4EEAAF298ABFEB Time : 0.0 sec. user=mdettweiler [2015-08-25 17:09:40] 715*2^1407305-1 is not prime. Res64: 1EB22507DEACC20C Time : 0.0 sec. user=mdettweiler [2015-08-25 17:23:49] 795*2^1407305-1 is not prime. Res64: 0DDC842840BE201C Time : 0.0 sec. user=mdettweiler [2015-08-25 17:23:50] 937*2^1407305-1 is not prime. Res64: 21480A9B358DC1F2 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:25:31] 951*2^1407305-1 is not prime. Res64: B8B5142423DE41AF Time : 0.0 sec. user=mdettweiler [2015-08-25 17:25:32] 657*2^1407306-1 is not prime. Res64: 40ECAE90D204AC7A Time : 0.0 sec. user=mdettweiler [2015-08-25 17:26:23] 711*2^1407306-1 is not prime. Res64: 7EA7D34887D3DB17 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:26:23] 723*2^1407306-1 is not prime. Res64: 9C8A308BB838F3AA Time : 0.0 sec. user=mdettweiler [2015-08-25 17:27:18] 747*2^1407306-1 is not prime. Res64: 1FF0F14339FA6500 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:27:18] 837*2^1407306-1 is not prime. Res64: 8EF92148199E22E7 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:41:33] 875*2^1407306-1 is not prime. Res64: B4B40E04EE33EB19 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:41:34] 619*2^1407307-1 is not prime. Res64: 3F01D2359828C80E Time : 0.0 sec. user=mdettweiler [2015-08-25 17:43:22] 693*2^1407307-1 is not prime. Res64: 94FFD97B0BA177CD Time : 0.0 sec. user=mdettweiler [2015-08-25 17:43:22] 759*2^1407307-1 is not prime. Res64: 5880836502275220 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:44:07] 769*2^1407307-1 is not prime. Res64: 042AE134147B1FD4 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:44:08] 861*2^1407307-1 is not prime. Res64: C7992A55EA23A23B Time : 0.0 sec. user=mdettweiler [2015-08-25 17:44:58] 889*2^1407307-1 is not prime. Res64: E905D074BF500354 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:44:58] 657*2^1407308-1 is not prime. Res64: 9396AB342DE5FA07 Time : 0.0 sec. user=mdettweiler [2015-08-25 17:59:15] 669*2^1407308-1 is not prime. Res64: D03601C8C3A5AE1D Time : 0.0 sec. user=mdettweiler [2015-08-25 17:59:15] 699*2^1407308-1 is not prime. Res64: C9CD66D216DE065E Time : 0.0 sec. user=mdettweiler [2015-08-25 18:00:57] 749*2^1407308-1 is not prime. Res64: 0AC932DDA988F183 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:00:57] 777*2^1407308-1 is not prime. Res64: 0640EA67DCC7C2E4 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:01:56] 825*2^1407308-1 is not prime. Res64: 35440237D1BAEA9C Time : 0.0 sec. user=mdettweiler [2015-08-25 18:01:57] 953*2^1407308-1 is not prime. Res64: B7D9A9B35216976F Time : 0.0 sec. user=mdettweiler [2015-08-25 18:02:34] 969*2^1407308-1 is not prime. Res64: 841CA3E26AFDA675 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:02:35] 621*2^1407309-1 is not prime. Res64: FF2E9969422DAE23 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:16:49] 817*2^1407309-1 is not prime. Res64: 3D3F1B401FD724D4 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:16:50] 829*2^1407309-1 is not prime. Res64: F3A8B636B6D7EDAB Time : 0.0 sec. user=mdettweiler [2015-08-25 18:18:33] 867*2^1407309-1 is not prime. Res64: 9280048D5E41C80E Time : 0.0 sec. user=mdettweiler [2015-08-25 18:18:34] 891*2^1407309-1 is not prime. Res64: DC4745F93C477620 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:19:34] 921*2^1407309-1 is not prime. Res64: BF0DDB13C88A0317 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:19:35] 969*2^1407309-1 is not prime. Res64: E9E14E8674AD3C94 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:20:10] 997*2^1407309-1 is not prime. Res64: CF94ECF3EA1FE8B7 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:20:10] 999*2^1407309-1 is not prime. Res64: C6AB2A126EB38E3D Time : 0.0 sec. user=mdettweiler [2015-08-25 18:34:27] 603*2^1407310-1 is not prime. Res64: 12D3D0C95D6CDDE6 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:34:28] 687*2^1407310-1 is not prime. Res64: 0397F1ADC0DBA14B Time : 0.0 sec. user=mdettweiler [2015-08-25 18:36:19] 717*2^1407310-1 is not prime. Res64: D4A8508D749EF783 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:36:19] 833*2^1407310-1 is not prime. Res64: 21BDE81674010EA3 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:37:19] 981*2^1407310-1 is not prime. Res64: 83EEC7F1B55B163C Time : 0.0 sec. user=mdettweiler [2015-08-25 18:37:19] 711*2^1407311-1 is not prime. Res64: 6B76DD7DDC93BCF9 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:37:44] 741*2^1407311-1 is not prime. Res64: 01F626FCDAB2F5F7 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:37:44] 783*2^1407311-1 is not prime. Res64: D328BED5AB2A7878 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:52:17] 909*2^1407311-1 is not prime. Res64: 26D6946DC4DB28E7 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:52:17] 669*2^1407312-1 is not prime. Res64: 090B658880E9B46E Time : 0.0 sec. user=mdettweiler [2015-08-25 18:54:09] 713*2^1407312-1 is not prime. Res64: E8368428AC5298BC Time : 0.0 sec. user=mdettweiler [2015-08-25 18:54:09] 753*2^1407312-1 is not prime. Res64: 564ACEAE79D549E8 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:54:59] 835*2^1407313-1 is not prime. Res64: AB82DC042367DFA1 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:55:00] 925*2^1407313-1 is not prime. Res64: 05F43CD1D0ED6877 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:55:29] 987*2^1407313-1 is not prime. Res64: 38FFAFEF744DC7C6 Time : 0.0 sec. user=mdettweiler [2015-08-25 18:55:29] 741*2^1407314-1 is not prime. Res64: 85307F09D4525834 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:09:55] 755*2^1407314-1 is not prime. Res64: FC45AC1FB84F53ED Time : 0.0 sec. user=mdettweiler [2015-08-25 19:09:56] 927*2^1407314-1 is not prime. Res64: B0729B6064AA0060 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:11:47] 935*2^1407314-1 is not prime. Res64: EE4C28AAA3D62791 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:11:48] 957*2^1407314-1 is not prime. Res64: DA4ED75BFBF159BA Time : 0.0 sec. user=mdettweiler [2015-08-25 19:12:37] 609*2^1407315-1 is not prime. Res64: 0A21833ED8208BD4 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:12:37] 685*2^1407315-1 is not prime. Res64: 01A92E7964AEBB0E Time : 0.0 sec. user=mdettweiler [2015-08-25 19:13:12] 699*2^1407315-1 is not prime. Res64: 8632D710E71D7A6D Time : 0.0 sec. user=mdettweiler [2015-08-25 19:13:13] 775*2^1407315-1 is not prime. Res64: A2E09C72E8643FC5 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:27:37] 801*2^1407315-1 is not prime. Res64: 75506166E0376C20 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:27:37] 891*2^1407315-1 is not prime. Res64: D8104DBCC9502A0D Time : 0.0 sec. user=mdettweiler [2015-08-25 19:29:27] 629*2^1407316-1 is not prime. Res64: E2FC7E9B1547ADBF Time : 0.0 sec. user=mdettweiler [2015-08-25 19:29:28] 663*2^1407316-1 is not prime. Res64: 7D3F90436C6020CE Time : 0.0 sec. user=mdettweiler [2015-08-25 19:30:17] 783*2^1407316-1 is not prime. Res64: BEF94350D4E003E3 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:30:17] 825*2^1407316-1 is not prime. Res64: D621E92F0E7DF8DE Time : 0.0 sec. user=mdettweiler [2015-08-25 19:30:51] 857*2^1407316-1 is not prime. Res64: B7E0C790F48742D8 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:30:51] 987*2^1407316-1 is not prime. Res64: AAE436C15E5DD35C Time : 0.0 sec. user=mdettweiler [2015-08-25 19:45:16] 619*2^1407317-1 is not prime. Res64: 24F0860A3E1BB5A9 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:45:17] 621*2^1407317-1 is not prime. Res64: 737097653FF9BB49 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:46:59] 655*2^1407317-1 is not prime. Res64: 810625A98E89AFED Time : 0.0 sec. user=mdettweiler [2015-08-25 19:47:00] 729*2^1407317-1 is not prime. Res64: 77C9F52EA6E48A4F Time : 0.0 sec. user=mdettweiler [2015-08-25 19:47:58] 771*2^1407317-1 is not prime. Res64: 6A25C8E11749DE27 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:47:58] 837*2^1407317-1 is not prime. Res64: 8082ABA070E4B26D Time : 0.0 sec. user=mdettweiler [2015-08-25 19:48:25] 865*2^1407317-1 is not prime. Res64: 297558A43C3F36A8 Time : 0.0 sec. user=mdettweiler [2015-08-25 19:48:25] 885*2^1407317-1 is not prime. Res64: 81C918D8B9326926 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:02:53] 615*2^1407318-1 is not prime. Res64: BA5C81F5D49590A6 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:02:54] 621*2^1407318-1 is not prime. Res64: 8E898B4A625FDF78 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:04:36] 627*2^1407318-1 is not prime. Res64: 0945DA5017A141FB Time : 0.0 sec. user=mdettweiler [2015-08-25 20:04:37] 963*2^1407318-1 is not prime. Res64: 3CE94E6FB7E51572 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:05:32] 621*2^1407319-1 is not prime. Res64: DA3A5262C523B5FC Time : 0.0 sec. user=mdettweiler [2015-08-25 20:05:34] 625*2^1407319-1 is not prime. Res64: 27B785C44CDE46CF Time : 0.0 sec. user=mdettweiler [2015-08-25 20:06:12] 663*2^1407319-1 is not prime. Res64: 5353949D73AE11CA Time : 0.0 sec. user=mdettweiler [2015-08-25 20:06:13] 723*2^1407319-1 is not prime. Res64: F09DCD2D5C346396 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:21:47] 873*2^1407319-1 is not prime. Res64: E7D268627E9DFDEA Time : 0.0 sec. user=mdettweiler [2015-08-25 20:21:48] 951*2^1407319-1 is not prime. Res64: 2A2B7ED00F9B86FE Time : 0.0 sec. user=mdettweiler [2015-08-25 20:23:51] 603*2^1407320-1 is not prime. Res64: 9E8B851E8ABEF387 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:23:51] 797*2^1407320-1 is not prime. Res64: 78DEB612D114C32C Time : 0.0 sec. user=mdettweiler [2015-08-25 20:24:23] 897*2^1407320-1 is not prime. Res64: F358A4A5CF0F322E Time : 0.0 sec. user=mdettweiler [2015-08-25 20:24:23] 915*2^1407320-1 is not prime. Res64: DEDEBF2B934AEC64 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:25:09] 999*2^1407320-1 is not prime. Res64: ACF254A37DE890A6 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:25:09] 615*2^1407321-1 is not prime. Res64: 026A2D1B478DE1FA Time : 0.0 sec. user=mdettweiler [2015-08-25 20:40:47] 651*2^1407321-1 is not prime. Res64: 3C9D7B2F899658EB Time : 0.0 sec. user=mdettweiler [2015-08-25 20:40:47] 691*2^1407321-1 is not prime. Res64: DBAEA2A79BC90017 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:42:41] 777*2^1407321-1 is not prime. Res64: 5F410A24CBB120BC Time : 0.0 sec. user=mdettweiler [2015-08-25 20:42:42] 795*2^1407321-1 is not prime. Res64: 2E7694DF70AC9C04 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:43:14] 865*2^1407321-1 is not prime. Res64: B531F860583135C0 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:43:14] 889*2^1407321-1 is not prime. Res64: 056466A892F222E3 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:44:20] 653*2^1407322-1 is not prime. Res64: A134283E3A6C64C8 Time : 0.0 sec. user=mdettweiler [2015-08-25 20:44:21] 675*2^1407322-1 is not prime. Res64: 81CF594FE075EDC2 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:00:31] 681*2^1407322-1 is not prime. Res64: 6FB12FD7FF05E3B2 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:00:31] 705*2^1407322-1 is not prime. Res64: 84C150E18E225F36 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:02:19] 713*2^1407322-1 is not prime. Res64: 770F2D20648B1558 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:02:20] 777*2^1407322-1 is not prime. Res64: 18E6E7A8C4B64494 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:03:03] 813*2^1407322-1 is not prime. Res64: C3BE56CBCBE5328E Time : 0.0 sec. user=mdettweiler [2015-08-25 21:03:04] 881*2^1407322-1 is not prime. Res64: 58FF646CFB93F36B Time : 0.0 sec. user=mdettweiler [2015-08-25 21:03:57] 911*2^1407322-1 is not prime. Res64: A30C2F8249D85FA7 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:03:58] 923*2^1407322-1 is not prime. Res64: A99438D9C227805A Time : 0.0 sec. user=mdettweiler [2015-08-25 21:19:42] 951*2^1407322-1 is not prime. Res64: 876F43209E6EAE4C Time : 0.0 sec. user=mdettweiler [2015-08-25 21:19:43] 703*2^1407323-1 is not prime. Res64: EE45F21A3DF7CFD6 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:21:33] 715*2^1407323-1 is not prime. Res64: FA29286D9CCED37C Time : 0.0 sec. user=mdettweiler [2015-08-25 21:21:34] 813*2^1407323-1 is not prime. Res64: 3F0E2F7394F2276F Time : 0.0 sec. user=mdettweiler [2015-08-25 21:22:09] 627*2^1407324-1 is not prime. Res64: ACF3D74825F6FF14 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:22:09] 629*2^1407324-1 is not prime. Res64: 09841D680B47481C Time : 0.0 sec. user=mdettweiler [2015-08-25 21:23:12] 719*2^1407324-1 is not prime. Res64: F8AE2B75611CFA88 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:23:13] 737*2^1407324-1 is not prime. Res64: 16878E699D0B13B3 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:38:23] 789*2^1407324-1 is not prime. Res64: CF22F093634581A6 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:38:23] 795*2^1407324-1 is not prime. Res64: 17903D2D2CE40635 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:40:00] 809*2^1407324-1 is not prime. Res64: AC21E1FBA8E27945 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:40:01] 857*2^1407324-1 is not prime. Res64: DEDA81C2E6EB552C Time : 0.0 sec. user=mdettweiler [2015-08-25 21:40:27] 927*2^1407324-1 is not prime. Res64: FFBD5F5986AF2FE2 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:40:27] 983*2^1407324-1 is not prime. Res64: 54C0A7FA186428C9 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:41:34] 609*2^1407325-1 is not prime. Res64: 10EB2AEB8387A807 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:41:35] 751*2^1407325-1 is not prime. Res64: DA91341765B4D080 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:55:59] 861*2^1407325-1 is not prime. Res64: D7432AC324B35D01 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:55:59] 889*2^1407325-1 is not prime. Res64: 7355739CB5007954 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:57:39] 985*2^1407325-1 is not prime. Res64: 261B70C3D34B3E0A Time : 0.0 sec. user=mdettweiler [2015-08-25 21:57:40] 999*2^1407325-1 is not prime. Res64: F70EF356E271853B Time : 0.0 sec. user=mdettweiler [2015-08-25 21:58:03] 603*2^1407326-1 is not prime. Res64: 6E715A5B964338AB Time : 0.0 sec. user=mdettweiler [2015-08-25 21:58:03] 713*2^1407326-1 is not prime. Res64: EBB0C904D3D4CF31 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:59:12] 741*2^1407326-1 is not prime. Res64: 9C2CAA3BB1C36437 Time : 0.0 sec. user=mdettweiler [2015-08-25 21:59:12] 773*2^1407326-1 is not prime. Res64: 6C623C050E6BA951 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:13:38] 857*2^1407326-1 is not prime. Res64: B0DC2CA3EA508572 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:13:39] 705*2^1407327-1 is not prime. Res64: 891E7BC5C1463165 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:15:18] 751*2^1407327-1 is not prime. Res64: 6831EEBE78A18C96 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:15:18] 775*2^1407327-1 is not prime. Res64: B78F0BD6D42AC827 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:15:45] 819*2^1407327-1 is not prime. Res64: D9C9080D46FB062E Time : 0.0 sec. user=mdettweiler [2015-08-25 22:15:45] 891*2^1407327-1 is not prime. Res64: 6E32EDDFB1189E05 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:16:47] 605*2^1407328-1 is not prime. Res64: 843F6CAAF27B8D18 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:16:48] 645*2^1407328-1 is not prime. Res64: 86508FE6BEF30A11 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:31:13] 765*2^1407328-1 is not prime. Res64: 3D8558D90EEF7FB9 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:31:14] 839*2^1407328-1 is not prime. Res64: 928F6BFFEDBAA2A4 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:32:56] 855*2^1407328-1 is not prime. Res64: 1F5451217E5D500F Time : 0.0 sec. user=mdettweiler [2015-08-25 22:32:57] 909*2^1407328-1 is not prime. Res64: 87B0996CD3483B2C Time : 0.0 sec. user=mdettweiler [2015-08-25 22:33:17] 915*2^1407328-1 is not prime. Res64: AD9AA531F08660C0 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:33:17] 649*2^1407329-1 is not prime. Res64: BD025C8918A415B3 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:34:21] 727*2^1407329-1 is not prime. Res64: 4E122E4797F57A12 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:34:22] 831*2^1407329-1 is not prime. Res64: AE9C204C2A671C26 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:48:47] 847*2^1407329-1 is not prime. Res64: F2CD10499D344BC0 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:48:48] 865*2^1407329-1 is not prime. Res64: BE98143D01E053A1 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:50:36] 931*2^1407329-1 is not prime. Res64: 20CE43F29387A6BD Time : 0.0 sec. user=mdettweiler [2015-08-25 22:50:36] 641*2^1407330-1 is not prime. Res64: A003D6D4CD40238A Time : 0.0 sec. user=mdettweiler [2015-08-25 22:51:00] 773*2^1407330-1 is not prime. Res64: 425514C2573AE51D Time : 0.0 sec. user=mdettweiler [2015-08-25 22:51:01] 783*2^1407330-1 is not prime. Res64: 66D5F07BDE31C433 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:51:56] 867*2^1407330-1 is not prime. Res64: C45AAE90E30FB888 Time : 0.0 sec. user=mdettweiler [2015-08-25 22:51:57] 733*2^1407331-1 is not prime. Res64: 9FBF1427ACF7CB94 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:06:22] 741*2^1407331-1 is not prime. Res64: A781770FC02B7F01 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:06:24] 829*2^1407331-1 is not prime. Res64: 1E68D993A72ED2D8 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:08:19] 835*2^1407331-1 is not prime. Res64: 6C403633123E55FB Time : 0.0 sec. user=mdettweiler [2015-08-25 23:08:20] 871*2^1407331-1 is not prime. Res64: AD2544E49CF2D23B Time : 0.0 sec. user=mdettweiler [2015-08-25 23:08:33] 891*2^1407331-1 is not prime. Res64: EB9D4446489E80AB Time : 0.0 sec. user=mdettweiler [2015-08-25 23:08:34] 901*2^1407331-1 is not prime. Res64: E35F9AC5C06D4F51 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:09:30] 687*2^1407332-1 is not prime. Res64: 30D7AA45D97EEFF3 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:09:30] 725*2^1407332-1 is not prime. Res64: AC2CD38A6CD97722 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:24:31] 753*2^1407332-1 is not prime. Res64: 536797641A7814F4 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:24:31] 777*2^1407332-1 is not prime. Res64: 06488B169E7C74D4 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:26:07] 819*2^1407332-1 is not prime. Res64: A8F4447FFBD1F74A Time : 0.0 sec. user=mdettweiler [2015-08-25 23:26:08] 867*2^1407332-1 is not prime. Res64: A8621BED8268D9DB Time : 0.0 sec. user=mdettweiler [2015-08-25 23:26:26] 945*2^1407332-1 is not prime. Res64: D999C2CFFDB5BE92 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:26:26] 959*2^1407332-1 is not prime. Res64: 0B3FA88612BB6922 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:27:13] 607*2^1407333-1 is not prime. Res64: 66A581EC186C71C3 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:27:14] 621*2^1407333-1 is not prime. Res64: 7348C174ED65FB6A Time : 0.0 sec. user=mdettweiler [2015-08-25 23:42:14] 625*2^1407333-1 is not prime. Res64: C1918203189386EF Time : 0.0 sec. user=mdettweiler [2015-08-25 23:42:14] 649*2^1407333-1 is not prime. Res64: DE5CBD8340F78A46 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:43:38] 745*2^1407333-1 is not prime. Res64: 34C0D0583DB0C276 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:43:38] 835*2^1407333-1 is not prime. Res64: 5EE0108B0A82C2A4 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:44:05] 937*2^1407333-1 is not prime. Res64: D221D14E6D39A5A0 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:44:05] 863*2^1407334-1 is not prime. Res64: F6F11675E759410C Time : 0.0 sec. user=mdettweiler [2015-08-25 23:44:49] 891*2^1407334-1 is not prime. Res64: F518F1D917CDA717 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:44:50] 603*2^1407335-1 is not prime. Res64: 458A7E9DD06BAA4A Time : 0.0 sec. user=mdettweiler [2015-08-25 23:59:56] 685*2^1407335-1 is not prime. Res64: 5CAAA904E05893E7 Time : 0.0 sec. user=mdettweiler [2015-08-25 23:59:57] 753*2^1407335-1 is not prime. Res64: AD8CE9891E4C8CC9 Time : 0.0 sec.