user=mdettweiler [2015-08-09 00:09:36] 925*2^1405753-1 is not prime. Res64: 5F90ACE6B938119A Time : 0.0 sec. user=mdettweiler [2015-08-09 00:09:36] 731*2^1405754-1 is not prime. Res64: DE6A952C11C66806 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:09:43] 773*2^1405754-1 is not prime. Res64: 719A5B47FAAF7308 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:09:43] 785*2^1405754-1 is not prime. Res64: F96A991B78F3A813 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:10:14] 791*2^1405754-1 is not prime. Res64: 53CC6D05445903DE Time : 0.0 sec. user=mdettweiler [2015-08-09 00:10:14] 837*2^1405754-1 is not prime. Res64: E3D92099C348080A Time : 0.0 sec. user=mdettweiler [2015-08-09 00:10:54] 875*2^1405754-1 is not prime. Res64: E4C35A8EC6203824 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:10:55] 923*2^1405754-1 is not prime. Res64: 18B86F8BCD0215C7 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:27:43] 955*2^1405755-1 is not prime. Res64: A9F39E404471996D Time : 0.0 sec. user=mdettweiler [2015-08-09 00:27:43] 963*2^1405755-1 is not prime. Res64: 8244F199AFB86511 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:27:49] 679*2^1405755-1 is not prime. Res64: 2561B163625A4E9E Time : 0.0 sec. user=mdettweiler [2015-08-09 00:27:49] 861*2^1405755-1 is not prime. Res64: 6D5D409E0448ABA2 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:28:21] 973*2^1405755-1 is not prime. Res64: 5ECD36E50DFA5E5A Time : 0.0 sec. user=mdettweiler [2015-08-09 00:28:21] 615*2^1405756-1 is not prime. Res64: DB51372B35405DE2 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:29:11] 773*2^1405756-1 is not prime. Res64: DD29DDE12ECE1799 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:29:12] 887*2^1405756-1 is not prime. Res64: 946E06DABE4DC4C6 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:45:41] 975*2^1405756-1 is not prime. Res64: 1E624799130EFDAD Time : 0.0 sec. user=mdettweiler [2015-08-09 00:45:42] 645*2^1405757-1 is not prime. Res64: 5ADD3E93B5FD1432 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:45:48] 655*2^1405757-1 is not prime. Res64: 97BD4A82E743A8BB Time : 0.0 sec. user=mdettweiler [2015-08-09 00:45:48] 669*2^1405757-1 is not prime. Res64: 5291607A1D302B82 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:46:31] 847*2^1405757-1 is not prime. Res64: 0D5701994D345158 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:46:31] 861*2^1405757-1 is not prime. Res64: 9D904753F9F4DA8C Time : 0.0 sec. user=mdettweiler [2015-08-09 00:47:18] 867*2^1405757-1 is not prime. Res64: A550DE757FC96954 Time : 0.0 sec. user=mdettweiler [2015-08-09 00:47:19] 611*2^1405758-1 is not prime. Res64: 6B239791ADBB9389 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:03:39] 671*2^1405758-1 is not prime. Res64: 802730D051FCED82 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:03:42] 725*2^1405758-1 is not prime. Res64: 81DF0308C4EF1A0E Time : 0.0 sec. user=mdettweiler [2015-08-09 01:04:03] 635*2^1405758-1 is not prime. Res64: F3885AB06F159849 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:04:04] 651*2^1405758-1 is not prime. Res64: 9A6C1651CF746CDD Time : 0.0 sec. user=mdettweiler [2015-08-09 01:04:35] 815*2^1405758-1 is not prime. Res64: 63708623C360D93F Time : 0.0 sec. user=mdettweiler [2015-08-09 01:04:37] 861*2^1405758-1 is not prime. Res64: B88F5AD8B96E776C Time : 0.0 sec. user=mdettweiler [2015-08-09 01:05:16] 887*2^1405758-1 is not prime. Res64: A04A588283E199B1 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:05:18] 933*2^1405758-1 is not prime. Res64: D01F84F36D4D0FC3 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:22:34] 951*2^1405758-1 is not prime. Res64: 6F5E05F6CB14C2BA Time : 0.0 sec. user=mdettweiler [2015-08-09 01:22:35] 993*2^1405758-1 is not prime. Res64: 36726035A246A2B4 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:22:40] 675*2^1405759-1 is not prime. Res64: 19A0214BC9B39547 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:22:41] 685*2^1405759-1 is not prime. Res64: D469D77CACBA8CE1 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:23:32] 723*2^1405759-1 is not prime. Res64: D452B330197CFCCC Time : 0.0 sec. user=mdettweiler [2015-08-09 01:23:33] 841*2^1405759-1 is not prime. Res64: 82755092792617F2 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:23:55] 873*2^1405759-1 is not prime. Res64: 7C26F3EBF7656241 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:23:56] 885*2^1405759-1 is not prime. Res64: 39E229EF48C1B044 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:40:22] 665*2^1405760-1 is not prime. Res64: B295553435A52488 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:40:23] 677*2^1405760-1 is not prime. Res64: 6EC9BE14067DBC16 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:40:25] 919*2^1405759-1 is not prime. Res64: A77D8E59CC562B64 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:40:26] 999*2^1405759-1 is not prime. Res64: F209848BB5C14227 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:41:26] 725*2^1405760-1 is not prime. Res64: F55D1BA119E758CF Time : 0.0 sec. user=mdettweiler [2015-08-09 01:41:27] 773*2^1405760-1 is not prime. Res64: 7A771938EBDBBF73 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:41:47] 995*2^1405760-1 is not prime. Res64: AA1F41F46977442F Time : 0.0 sec. user=mdettweiler [2015-08-09 01:41:47] 999*2^1405760-1 is not prime. Res64: 6979BDE872324023 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:58:19] 627*2^1405761-1 is not prime. Res64: DA3F83E1D425AA15 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:58:19] 651*2^1405761-1 is not prime. Res64: BED78013B39081D1 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:58:21] 709*2^1405761-1 is not prime. Res64: FD1DDB952132DD0B Time : 0.0 sec. user=mdettweiler [2015-08-09 01:58:22] 805*2^1405761-1 is not prime. Res64: FE822348C639F87B Time : 0.0 sec. user=mdettweiler [2015-08-09 01:59:26] 909*2^1405761-1 is not prime. Res64: 0FD446BBAE8515F4 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:59:27] 937*2^1405761-1 is not prime. Res64: FC503F4DA90DFA7D Time : 0.0 sec. user=mdettweiler [2015-08-09 01:59:37] 611*2^1405762-1 is not prime. Res64: C383F576AEB038E5 Time : 0.0 sec. user=mdettweiler [2015-08-09 01:59:37] 657*2^1405762-1 is not prime. Res64: 529471AD76DA75C0 Time : 0.0 sec. user=mdettweiler [2015-08-09 02:16:01] 701*2^1405762-1 is not prime. Res64: 9C5C2CAACD445B7E Time : 0.0 sec. user=mdettweiler [2015-08-09 02:16:01] 743*2^1405762-1 is not prime. Res64: 111A2E0CC254BDBF Time : 0.0 sec. user=mdettweiler [2015-08-09 02:16:09] 831*2^1405762-1 is not prime. Res64: 626EAA4C29071A82 Time : 0.0 sec. user=mdettweiler [2015-08-09 02:16:09] 981*2^1405762-1 is not prime. Res64: 714EAB1EBAC0CA5E Time : 0.0 sec. user=mdettweiler [2015-08-09 02:17:13] 871*2^1405763-1 is not prime. Res64: B734026B1F86CB2D Time : 0.0 sec. user=mdettweiler [2015-08-09 02:17:13] 885*2^1405763-1 is not prime. Res64: 005EA6A0AE5B927A Time : 0.0 sec. user=mdettweiler [2015-08-09 02:17:17] 983*2^1405762-1 is not prime. Res64: 4535F9D5C6E42E3B Time : 0.0 sec. user=mdettweiler [2015-08-09 02:17:18] 643*2^1405763-1 is not prime. Res64: 52BA8F3456576B43 Time : 0.0 sec. user=mdettweiler [2015-08-09 02:33:55] 663*2^1405764-1 is not prime. Res64: 3BFF5EE64935C98E Time : 0.0 sec. user=mdettweiler [2015-08-09 02:33:56] 949*2^1405763-1 is not prime. Res64: F5177A14F753BFBD Time : 0.0 sec. user=mdettweiler [2015-08-09 02:35:00] 719*2^1405764-1 is not prime. Res64: 3D091509804CA5E6 Time : 0.0 sec. user=mdettweiler [2015-08-09 02:35:01] 909*2^1405764-1 is not prime. Res64: D1194ABBD29A5B1E Time : 0.0 sec. user=mdettweiler [2015-08-09 02:35:11] 929*2^1405764-1 is not prime. Res64: 11BBE88EEA30D16F Time : 0.0 sec. user=mdettweiler [2015-08-09 02:35:12] 729*2^1405765-1 is not prime. Res64: D0EC6003A963B715 Time : 0.0 sec. user=mdettweiler [2015-08-09 02:54:30] 775*2^1405765-1 is not prime. Res64: 4566AA1AD68C5E9D Time : 0.0 sec. user=mdettweiler [2015-08-09 02:54:31] 683*2^1405766-1 is not prime. Res64: 51F9BCB8D9001842 Time : 0.0 sec. user=mdettweiler [2015-08-09 02:54:34] 741*2^1405765-1 is not prime. Res64: ACE1268A80163948 Time : 0.0 sec. user=mdettweiler [2015-08-09 02:54:34] 757*2^1405765-1 is not prime. Res64: DBF88B97BE427754 Time : 0.0 sec. user=mdettweiler [2015-08-09 03:14:01] 957*2^1405766-1 is not prime. Res64: B00D4EDFCB0749FC Time : 0.0 sec. user=mdettweiler [2015-08-09 03:14:01] 621*2^1405767-1 is not prime. Res64: 9153796736659375 Time : 0.0 sec. user=mdettweiler [2015-08-09 03:14:03] 711*2^1405766-1 is not prime. Res64: 8ED5BDA85E914ED9 Time : 0.0 sec. user=mdettweiler [2015-08-09 03:14:03] 921*2^1405766-1 is not prime. Res64: AD143DD8A99F46E4 Time : 0.0 sec. user=mdettweiler [2015-08-09 03:33:14] 693*2^1405767-1 is not prime. Res64: CB98D06AF6862F6D Time : 0.0 sec. user=mdettweiler [2015-08-09 03:33:15] 765*2^1405767-1 is not prime. Res64: 9AE61FCB23AC4384 Time : 0.0 sec. user=mdettweiler [2015-08-09 03:33:27] 831*2^1405767-1 is not prime. Res64: E9E71FBE535FD801 Time : 0.0 sec. user=mdettweiler [2015-08-09 03:33:28] 861*2^1405767-1 is not prime. Res64: 8D0AEE63F078033A Time : 0.0 sec. user=mdettweiler [2015-08-09 03:44:46] 717*2^1405764-1 is not prime. Res64: 7E9A1ED105D0D221 Time : 0.0 sec. user=mdettweiler [2015-08-09 03:52:38] 687*2^1405768-1 is not prime. Res64: FED2DBB5D56B6161 Time : 0.0 sec. user=mdettweiler [2015-08-09 03:52:39] 773*2^1405768-1 is not prime. Res64: 7E4E300660F87FFA Time : 0.0 sec. user=mdettweiler [2015-08-09 03:52:47] 871*2^1405767-1 is not prime. Res64: EC4BBF623835B53D Time : 0.0 sec. user=mdettweiler [2015-08-09 03:52:48] 657*2^1405768-1 is not prime. Res64: 98C1BDDB952F9206 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:03:53] 933*2^1405768-1 is not prime. Res64: 081D8603ED623C90 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:03:54] 999*2^1405768-1 is not prime. Res64: C866F48E7214C07D Time : 0.0 sec. user=mdettweiler [2015-08-09 04:05:16] 627*2^1405764-1 is not prime. Res64: 65DA0B712DDEF6DB Time : 0.0 sec. user=mdettweiler [2015-08-09 04:11:11] 615*2^1405769-1 is not prime. Res64: E70A1165816E80DF Time : 0.0 sec. user=mdettweiler [2015-08-09 04:11:12] 721*2^1405769-1 is not prime. Res64: 2C082E5F0D139E1F Time : 0.0 sec. user=mdettweiler [2015-08-09 04:11:26] 727*2^1405769-1 is not prime. Res64: 53383E1D44C24B74 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:11:26] 759*2^1405769-1 is not prime. Res64: 9ACC823D4B9CEDFC Time : 0.0 sec. user=mdettweiler [2015-08-09 04:22:52] 831*2^1405769-1 is not prime. Res64: F436C6CA27EB9182 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:22:52] 861*2^1405769-1 is not prime. Res64: 66C60209F8A30D5E Time : 0.0 sec. user=mdettweiler [2015-08-09 04:24:04] 967*2^1405769-1 is not prime. Res64: C37B6D97B1B6E039 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:24:05] 985*2^1405769-1 is not prime. Res64: 277AE32304404CA7 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:29:32] 997*2^1405769-1 is not prime. Res64: 488937E677617BF8 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:29:32] 611*2^1405770-1 is not prime. Res64: 32F06E59D1DFBD8E Time : 0.0 sec. user=mdettweiler [2015-08-09 04:29:53] 725*2^1405770-1 is not prime. Res64: 4E41097164FA00EA Time : 0.0 sec. user=mdettweiler [2015-08-09 04:29:53] 791*2^1405770-1 is not prime. Res64: 5C3F4F4C56485C8F Time : 0.0 sec. user=mdettweiler [2015-08-09 04:40:50] 821*2^1405770-1 is not prime. Res64: 525085E55D9D2977 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:40:51] 875*2^1405770-1 is not prime. Res64: AB48EB977BA2A2A4 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:42:06] 951*2^1405770-1 is not prime. Res64: 9721E9B437950F14 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:42:06] 631*2^1405771-1 is not prime. Res64: F8A51AE7DE2224C1 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:47:33] 681*2^1405771-1 is not prime. Res64: 629156F1E9A2A9F4 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:47:34] 789*2^1405771-1 is not prime. Res64: 1D859C302F4E147B Time : 0.0 sec. user=mdettweiler [2015-08-09 04:47:43] 871*2^1405771-1 is not prime. Res64: 6005DD521D1F3D86 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:47:44] 943*2^1405771-1 is not prime. Res64: 5BB808C3F3F0078E Time : 0.0 sec. user=mdettweiler [2015-08-09 04:58:44] 961*2^1405771-1 is not prime. Res64: 8BBE878C0CF296B2 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:58:45] 623*2^1405772-1 is not prime. Res64: 81F008BFDFFE4579 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:59:52] 665*2^1405772-1 is not prime. Res64: F6350921A6A447C9 Time : 0.0 sec. user=mdettweiler [2015-08-09 04:59:53] 767*2^1405772-1 is not prime. Res64: 65266F1779422D0E Time : 0.0 sec. user=mdettweiler [2015-08-09 05:05:33] 875*2^1405772-1 is not prime. Res64: 4C79AF986981A673 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:05:34] 963*2^1405772-1 is not prime. Res64: BCCE66D083E7A7C1 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:05:37] 999*2^1405772-1 is not prime. Res64: 9AFFD1AF1CD0BA01 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:05:37] 621*2^1405773-1 is not prime. Res64: 839702238D626C47 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:16:34] 627*2^1405773-1 is not prime. Res64: E33E7454456075EE Time : 0.0 sec. user=mdettweiler [2015-08-09 05:16:35] 669*2^1405773-1 is not prime. Res64: 6F7A0C10827AA12C Time : 0.0 sec. user=mdettweiler [2015-08-09 05:17:43] 675*2^1405773-1 is not prime. Res64: F86E2B0A4BA7F4CA Time : 0.0 sec. user=mdettweiler [2015-08-09 05:17:43] 741*2^1405773-1 is not prime. Res64: 278AA8CBA3E22EFD Time : 0.0 sec. user=mdettweiler [2015-08-09 05:23:25] 751*2^1405773-1 is not prime. Res64: 37B453287659EB20 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:23:25] 787*2^1405773-1 is not prime. Res64: 30EF9399C6CC0482 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:23:25] 795*2^1405773-1 is not prime. Res64: 673FEC602C8BF19F Time : 0.0 sec. user=mdettweiler [2015-08-09 05:23:26] 861*2^1405773-1 is not prime. Res64: 523B642CACC4276D Time : 0.0 sec. user=mdettweiler [2015-08-09 05:34:21] 895*2^1405773-1 is not prime. Res64: 994B3A15FDEFF13B Time : 0.0 sec. user=mdettweiler [2015-08-09 05:34:22] 945*2^1405773-1 is not prime. Res64: 3A391BBC01AAAE4D Time : 0.0 sec. user=mdettweiler [2015-08-09 05:35:39] 705*2^1405774-1 is not prime. Res64: 8EA72DAF6F47D854 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:35:39] 861*2^1405774-1 is not prime. Res64: 80D1BEC1D84C7FA9 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:41:14] 881*2^1405774-1 is not prime. Res64: 331064422AA455CB Time : 0.0 sec. user=mdettweiler [2015-08-09 05:41:15] 945*2^1405774-1 is not prime. Res64: F5B3C232A92D1644 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:41:27] 643*2^1405775-1 is not prime. Res64: 00E0CCA6987D79C2 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:41:27] 669*2^1405775-1 is not prime. Res64: B76BF7DBD156C0C1 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:52:06] 705*2^1405775-1 is not prime. Res64: 92C74D6AD0DEC332 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:52:07] 741*2^1405775-1 is not prime. Res64: 36745608D60A4C89 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:53:30] 805*2^1405775-1 is not prime. Res64: 8D18A1343235357A Time : 0.0 sec. user=mdettweiler [2015-08-09 05:53:31] 735*2^1405776-1 is not prime. Res64: 33316B108A2E6AFD Time : 0.0 sec. user=mdettweiler [2015-08-09 05:59:01] 759*2^1405776-1 is not prime. Res64: 76DF2E8E5D53965A Time : 0.0 sec. user=mdettweiler [2015-08-09 05:59:01] 845*2^1405776-1 is not prime. Res64: A06219356BB5F377 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:59:10] 875*2^1405776-1 is not prime. Res64: F6CB020FAF146F78 Time : 0.0 sec. user=mdettweiler [2015-08-09 05:59:10] 933*2^1405776-1 is not prime. Res64: 9CBA2779816D1D2D Time : 0.0 sec. user=mdettweiler [2015-08-09 06:09:58] 687*2^1405777-1 is not prime. Res64: 952ADE459FE64990 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:10:02] 717*2^1405777-1 is not prime. Res64: 3EE57B65938B82DD Time : 0.0 sec. user=mdettweiler [2015-08-09 06:11:10] 777*2^1405777-1 is not prime. Res64: 65B8F9B0BF777527 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:11:10] 909*2^1405777-1 is not prime. Res64: 801E8211A5769BC6 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:16:52] 617*2^1405778-1 is not prime. Res64: A45D1720A6219ABE Time : 0.0 sec. user=mdettweiler [2015-08-09 06:16:52] 657*2^1405778-1 is not prime. Res64: 8999D206A325BAAF Time : 0.0 sec. user=mdettweiler [2015-08-09 06:17:04] 665*2^1405778-1 is not prime. Res64: 0286D3A1E5C75649 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:17:04] 843*2^1405778-1 is not prime. Res64: 93E4E26B02742ED2 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:28:01] 867*2^1405778-1 is not prime. Res64: 9724377FAFE4A192 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:28:02] 927*2^1405778-1 is not prime. Res64: 0B6657EFCC25665E Time : 0.0 sec. user=mdettweiler [2015-08-09 06:28:59] 963*2^1405778-1 is not prime. Res64: BF9E8FA20309AFDE Time : 0.0 sec. user=mdettweiler [2015-08-09 06:29:00] 619*2^1405779-1 is not prime. Res64: 806E4DDFF3E8C103 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:34:49] 639*2^1405779-1 is not prime. Res64: 0745FA7670F79F0F Time : 0.0 sec. user=mdettweiler [2015-08-09 06:34:50] 793*2^1405779-1 is not prime. Res64: 64F6C1EA92630D47 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:34:51] 859*2^1405779-1 is not prime. Res64: 91E577464095EC31 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:34:51] 921*2^1405779-1 is not prime. Res64: 220D350C06437527 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:45:43] 603*2^1405780-1 is not prime. Res64: 4161A2D9C0CBF416 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:45:44] 635*2^1405780-1 is not prime. Res64: 34DC191CF8921271 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:46:59] 803*2^1405780-1 is not prime. Res64: 2B4AFE54DF51D85A Time : 0.0 sec. user=mdettweiler [2015-08-09 06:47:00] 825*2^1405780-1 is not prime. Res64: 5C97050784C082AB Time : 0.0 sec. user=mdettweiler [2015-08-09 06:52:37] 855*2^1405780-1 is not prime. Res64: 9E236B76C30D462F Time : 0.0 sec. user=mdettweiler [2015-08-09 06:52:38] 873*2^1405780-1 is not prime. Res64: DF41982FEDC71349 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:52:50] 899*2^1405780-1 is not prime. Res64: D7A281F612A3FBF1 Time : 0.0 sec. user=mdettweiler [2015-08-09 06:52:51] 965*2^1405780-1 is not prime. Res64: 8E5934F82976E9AC Time : 0.0 sec. user=mdettweiler [2015-08-09 07:03:31] 619*2^1405781-1 is not prime. Res64: 8716A4A6FB4F1F4B Time : 0.0 sec. user=mdettweiler [2015-08-09 07:03:34] 715*2^1405781-1 is not prime. Res64: E4CB1CDA54ACDF99 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:04:42] 717*2^1405781-1 is not prime. Res64: 6758460AC6ACE110 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:04:43] 741*2^1405781-1 is not prime. Res64: 2E71D79A73400543 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:10:18] 745*2^1405781-1 is not prime. Res64: 859497019883D2A1 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:10:19] 889*2^1405781-1 is not prime. Res64: 8127B3617A8E18EC Time : 0.0 sec. user=mdettweiler [2015-08-09 07:10:37] 937*2^1405781-1 is not prime. Res64: B1B694B8BE9A2292 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:10:37] 711*2^1405782-1 is not prime. Res64: B3FFDBC469FA3AFA Time : 0.0 sec. user=mdettweiler [2015-08-09 07:21:51] 713*2^1405782-1 is not prime. Res64: D4D146470728B9DB Time : 0.0 sec. user=mdettweiler [2015-08-09 07:21:51] 825*2^1405782-1 is not prime. Res64: D0BB00C18D024BAE Time : 0.0 sec. user=mdettweiler [2015-08-09 07:22:38] 921*2^1405782-1 is not prime. Res64: 202F3B58416F77C0 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:22:38] 975*2^1405782-1 is not prime. Res64: DB27EDB525733C96 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:28:08] 983*2^1405782-1 is not prime. Res64: 45F31B97C7074AEC Time : 0.0 sec. user=mdettweiler [2015-08-09 07:28:08] 1001*2^1405782-1 is not prime. Res64: BC99EA3684CF016A Time : 0.0 sec. user=mdettweiler [2015-08-09 07:28:28] 663*2^1405783-1 is not prime. Res64: AE54C6FD5FD31DE2 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:28:28] 745*2^1405783-1 is not prime. Res64: 1C363A7E82D74B81 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:39:31] 763*2^1405783-1 is not prime. Res64: 802C5DEE7396F60A Time : 0.0 sec. user=mdettweiler [2015-08-09 07:39:32] 831*2^1405783-1 is not prime. Res64: 208F7B3C831F4F4F Time : 0.0 sec. user=mdettweiler [2015-08-09 07:40:29] 849*2^1405783-1 is not prime. Res64: F151D1DEEEC7E369 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:40:29] 853*2^1405783-1 is not prime. Res64: E61BDBE69CBFD80D Time : 0.0 sec. user=mdettweiler [2015-08-09 07:45:47] 885*2^1405783-1 is not prime. Res64: B937B0C50E1F5B4F Time : 0.0 sec. user=mdettweiler [2015-08-09 07:45:48] 951*2^1405783-1 is not prime. Res64: 1B4D8C58515BA561 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:46:06] 615*2^1405784-1 is not prime. Res64: FA3FED1C5AB7E0F1 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:46:06] 687*2^1405784-1 is not prime. Res64: 8934765C6D7B554C Time : 0.0 sec. user=mdettweiler [2015-08-09 07:57:19] 717*2^1405784-1 is not prime. Res64: 605EEC9A8D2C3325 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:57:19] 843*2^1405784-1 is not prime. Res64: 46DED06ACB445FD8 Time : 0.0 sec. user=mdettweiler [2015-08-09 07:58:11] 893*2^1405784-1 is not prime. Res64: 2F638A62AA2029FE Time : 0.0 sec. user=mdettweiler [2015-08-09 07:58:11] 903*2^1405784-1 is not prime. Res64: B29798814B415437 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:03:36] 657*2^1405785-1 is not prime. Res64: 0C1518D147304F46 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:03:38] 679*2^1405785-1 is not prime. Res64: 0E9782F6A78AAAF5 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:03:49] 699*2^1405785-1 is not prime. Res64: 1D27285FC5CCC7E9 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:03:50] 765*2^1405785-1 is not prime. Res64: EFDBAA5BE3BC93A3 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:15:03] 847*2^1405785-1 is not prime. Res64: E407216E8B7E41D1 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:15:04] 871*2^1405785-1 is not prime. Res64: B231F6CE75D00A4E Time : 0.0 sec. user=mdettweiler [2015-08-09 08:15:59] 949*2^1405785-1 is not prime. Res64: 48CCCC478AEF44DB Time : 0.0 sec. user=mdettweiler [2015-08-09 08:15:59] 955*2^1405785-1 is not prime. Res64: E44CDB0D284FF38D Time : 0.0 sec. user=mdettweiler [2015-08-09 08:21:26] 825*2^1405786-1 is not prime. Res64: 889C4AAF1AA5B767 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:21:26] 867*2^1405786-1 is not prime. Res64: A0A37EF18DC79643 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:21:37] 891*2^1405786-1 is not prime. Res64: 348D61A9148D32D8 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:21:38] 631*2^1405787-1 is not prime. Res64: A7AD6F831C90CA29 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:33:03] 663*2^1405787-1 is not prime. Res64: 96568734D4A96B1C Time : 0.0 sec. user=mdettweiler [2015-08-09 08:33:03] 735*2^1405787-1 is not prime. Res64: CC7FBCB020357F4B Time : 0.0 sec. user=mdettweiler [2015-08-09 08:33:45] 753*2^1405787-1 is not prime. Res64: BDE8B4BBAF7E03B8 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:33:46] 931*2^1405787-1 is not prime. Res64: 0E026E59BFA6242D Time : 0.0 sec. user=mdettweiler [2015-08-09 08:39:07] 945*2^1405787-1 is not prime. Res64: C85CF428291BAF08 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:39:07] 963*2^1405787-1 is not prime. Res64: E54C3B8BE294018B Time : 0.0 sec. user=mdettweiler [2015-08-09 08:39:30] 639*2^1405788-1 is not prime. Res64: C7768AE2473F2BBF Time : 0.0 sec. user=mdettweiler [2015-08-09 08:39:30] 839*2^1405788-1 is not prime. Res64: 9ED5800112F9BF1E Time : 0.0 sec. user=mdettweiler [2015-08-09 08:50:45] 845*2^1405788-1 is not prime. Res64: 775DBB32EE76BB3D Time : 0.0 sec. user=mdettweiler [2015-08-09 08:50:46] 649*2^1405789-1 is not prime. Res64: 08FD9D1FE1DE15DA Time : 0.0 sec. user=mdettweiler [2015-08-09 08:51:32] 667*2^1405789-1 is not prime. Res64: 7D849C182AF84B4E Time : 0.0 sec. user=mdettweiler [2015-08-09 08:51:33] 675*2^1405789-1 is not prime. Res64: 995C8E425D1DBF79 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:56:56] 757*2^1405789-1 is not prime. Res64: EA4E33D304FB1386 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:56:57] 771*2^1405789-1 is not prime. Res64: 9F4FE52A9B13CCA7 Time : 0.0 sec. user=mdettweiler [2015-08-09 08:57:11] 939*2^1405789-1 is not prime. Res64: 51612EC0A423BDCF Time : 0.0 sec. user=mdettweiler [2015-08-09 08:57:12] 987*2^1405789-1 is not prime. Res64: 514ADAD4C17D3810 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:08:32] 657*2^1405790-1 is not prime. Res64: 301AA267900B2AEE Time : 0.0 sec. user=mdettweiler [2015-08-09 09:08:32] 675*2^1405790-1 is not prime. Res64: E74DE447F7F670CB Time : 0.0 sec. user=mdettweiler [2015-08-09 09:09:18] 677*2^1405790-1 is not prime. Res64: 5ED68CA1E64DD74C Time : 0.0 sec. user=mdettweiler [2015-08-09 09:09:18] 827*2^1405790-1 is not prime. Res64: E3BC3B077A9EC999 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:14:35] 783*2^1405791-1 is not prime. Res64: 5A34ED67FE233D46 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:14:36] 973*2^1405791-1 is not prime. Res64: 652EF637F8B1EB93 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:14:55] 975*2^1405791-1 is not prime. Res64: 8296F4F0279D7FE7 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:14:56] 635*2^1405792-1 is not prime. Res64: E33BBD6EF7780AB6 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:26:21] 719*2^1405792-1 is not prime. Res64: 96C39CCDA01E88BB Time : 0.0 sec. user=mdettweiler [2015-08-09 09:26:22] 777*2^1405792-1 is not prime. Res64: 7AECE7E0EFEB19C2 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:27:06] 819*2^1405792-1 is not prime. Res64: D22A59D10ADC058E Time : 0.0 sec. user=mdettweiler [2015-08-09 09:27:07] 875*2^1405792-1 is not prime. Res64: BDB36038D5B0F8C0 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:32:33] 903*2^1405792-1 is not prime. Res64: B7B3379A27E946CA Time : 0.0 sec. user=mdettweiler [2015-08-09 09:32:33] 947*2^1405792-1 is not prime. Res64: 79BA8F77DA01361B Time : 0.0 sec. user=mdettweiler [2015-08-09 09:32:57] 607*2^1405793-1 is not prime. Res64: DB0F094C37B665E8 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:32:57] 715*2^1405793-1 is not prime. Res64: 0707075B91C500CB Time : 0.0 sec. user=mdettweiler [2015-08-09 09:44:24] 747*2^1405793-1 is not prime. Res64: 95D3FE697E59157F Time : 0.0 sec. user=mdettweiler [2015-08-09 09:44:25] 889*2^1405793-1 is not prime. Res64: 50413AF50D95B38D Time : 0.0 sec. user=mdettweiler [2015-08-09 09:44:58] 985*2^1405793-1 is not prime. Res64: 0F2366C441176509 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:44:59] 651*2^1405794-1 is not prime. Res64: DD15576D2DC1EE30 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:50:17] 737*2^1405794-1 is not prime. Res64: 847BC47C9D256508 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:50:18] 773*2^1405794-1 is not prime. Res64: 4F4AF354AE25F766 Time : 0.0 sec. user=mdettweiler [2015-08-09 09:50:45] 887*2^1405794-1 is not prime. Res64: 7D0FFB7E623AE41F Time : 0.0 sec. user=mdettweiler [2015-08-09 09:50:46] 891*2^1405794-1 is not prime. Res64: 91358A2248760C7C Time : 0.0 sec. user=mdettweiler [2015-08-09 10:02:08] 971*2^1405794-1 is not prime. Res64: EEA61A06E0393740 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:02:09] 983*2^1405794-1 is not prime. Res64: B4F77BF8EA3FB91E Time : 0.0 sec. user=mdettweiler [2015-08-09 10:02:42] 651*2^1405795-1 is not prime. Res64: 8033087E5DAF5469 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:02:43] 705*2^1405795-1 is not prime. Res64: C8F388A8318FB2CB Time : 0.0 sec. user=mdettweiler [2015-08-09 10:08:04] 775*2^1405795-1 is not prime. Res64: 3D50BE93FC62DE30 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:08:04] 789*2^1405795-1 is not prime. Res64: 1B9CB09B33F0FB67 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:08:33] 629*2^1405796-1 is not prime. Res64: 325D6A0CCF23FB64 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:08:33] 707*2^1405796-1 is not prime. Res64: 77AF6473CA05B55D Time : 0.0 sec. user=mdettweiler [2015-08-09 10:20:09] 717*2^1405796-1 is not prime. Res64: 58F2A00943851B32 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:20:09] 759*2^1405796-1 is not prime. Res64: D1D868EA1AAF3DFA Time : 0.0 sec. user=mdettweiler [2015-08-09 10:20:34] 903*2^1405796-1 is not prime. Res64: 34B19C6A2A46BCD8 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:20:35] 923*2^1405796-1 is not prime. Res64: 3D00CC5198F53A57 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:25:51] 607*2^1405797-1 is not prime. Res64: BB391F2E0D664022 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:25:51] 621*2^1405797-1 is not prime. Res64: 085D191AC249C451 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:26:21] 655*2^1405797-1 is not prime. Res64: 26D7746AD7E6672F Time : 0.0 sec. user=mdettweiler [2015-08-09 10:26:22] 709*2^1405797-1 is not prime. Res64: BC08F3E516C6682E Time : 0.0 sec. user=mdettweiler [2015-08-09 10:38:04] 741*2^1405797-1 is not prime. Res64: 11A08891E708631C Time : 0.0 sec. user=mdettweiler [2015-08-09 10:38:04] 759*2^1405797-1 is not prime. Res64: E5D4DF568D4403ED Time : 0.0 sec. user=mdettweiler [2015-08-09 10:38:23] 817*2^1405797-1 is not prime. Res64: 27603220AAF240BA Time : 0.0 sec. user=mdettweiler [2015-08-09 10:38:23] 819*2^1405797-1 is not prime. Res64: 4E15940B6492EA74 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:43:34] 919*2^1405797-1 is not prime. Res64: 642FA7F198F58573 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:43:35] 991*2^1405797-1 is not prime. Res64: 17BACBFD621C8FD0 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:44:09] 647*2^1405798-1 is not prime. Res64: 9C1E3178024BA354 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:44:09] 791*2^1405798-1 is not prime. Res64: ECD5DE37667286AE Time : 0.0 sec. user=mdettweiler [2015-08-09 10:55:44] 827*2^1405798-1 is not prime. Res64: A612878F737FB5B1 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:55:45] 911*2^1405798-1 is not prime. Res64: 4B53EDF0077BE0C5 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:56:15] 975*2^1405798-1 is not prime. Res64: 8DC2DC39F50FA472 Time : 0.0 sec. user=mdettweiler [2015-08-09 10:56:16] 987*2^1405798-1 is not prime. Res64: 9923DDAAD59C8859 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:01:23] 661*2^1405799-1 is not prime. Res64: 34254671C9BE2122 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:01:23] 693*2^1405799-1 is not prime. Res64: 319275E9117CEBEA Time : 0.0 sec. user=mdettweiler [2015-08-09 11:01:54] 829*2^1405799-1 is not prime. Res64: DDC06A9BCD947221 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:01:55] 865*2^1405799-1 is not prime. Res64: 0C45D26AE8D60F03 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:13:27] 909*2^1405799-1 is not prime. Res64: 2FDA48A36FCE31D9 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:13:28] 943*2^1405799-1 is not prime. Res64: 5D47E97926651688 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:14:04] 635*2^1405800-1 is not prime. Res64: 3A25701B504A9A63 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:14:05] 777*2^1405800-1 is not prime. Res64: D204CCD1BB3D1457 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:19:15] 917*2^1405800-1 is not prime. Res64: 9F62D317E71F6EAE Time : 0.0 sec. user=mdettweiler [2015-08-09 11:19:16] 717*2^1405801-1 is not prime. Res64: 3D97853B41B1AE5A Time : 0.0 sec. user=mdettweiler [2015-08-09 11:19:44] 769*2^1405801-1 is not prime. Res64: 3720C3FB97924B27 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:19:44] 805*2^1405801-1 is not prime. Res64: F9FD79BA16E3ABDE Time : 0.0 sec. user=mdettweiler [2015-08-09 11:31:16] 819*2^1405801-1 is not prime. Res64: 1D80DDBE553538BE Time : 0.0 sec. user=mdettweiler [2015-08-09 11:31:16] 889*2^1405801-1 is not prime. Res64: 3E5A15D4BA2619B0 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:31:51] 895*2^1405801-1 is not prime. Res64: 98163E6DB8912435 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:31:52] 937*2^1405801-1 is not prime. Res64: DF5545A8AC6C69D9 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:36:56] 945*2^1405801-1 is not prime. Res64: A260493FC3B4792F Time : 0.0 sec. user=mdettweiler [2015-08-09 11:36:56] 683*2^1405802-1 is not prime. Res64: D2A2FA352970F2E0 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:37:32] 741*2^1405802-1 is not prime. Res64: 687E7AAA27AD50D2 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:37:32] 827*2^1405802-1 is not prime. Res64: 96404E1731262E5C Time : 0.0 sec. user=mdettweiler [2015-08-09 11:49:11] 873*2^1405802-1 is not prime. Res64: 22B5C9E085BAC6BC Time : 0.0 sec. user=mdettweiler [2015-08-09 11:49:12] 923*2^1405802-1 is not prime. Res64: 208F4E19C809C3FF Time : 0.0 sec. user=mdettweiler [2015-08-09 11:49:41] 935*2^1405802-1 is not prime. Res64: 400EFD23032CDE6F Time : 0.0 sec. user=mdettweiler [2015-08-09 11:49:41] 1001*2^1405802-1 is not prime. Res64: 04881BD35437D07E Time : 0.0 sec. user=mdettweiler [2015-08-09 11:54:43] 735*2^1405803-1 is not prime. Res64: 51E7275447890BAE Time : 0.0 sec. user=mdettweiler [2015-08-09 11:54:44] 765*2^1405803-1 is not prime. Res64: D27A6E3A2E62719A Time : 0.0 sec. user=mdettweiler [2015-08-09 11:55:36] 789*2^1405803-1 is not prime. Res64: 4C86AF78EBA319A4 Time : 0.0 sec. user=mdettweiler [2015-08-09 11:55:36] 795*2^1405803-1 is not prime. Res64: BA73A5F700139E45 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:06:59] 891*2^1405803-1 is not prime. Res64: 57E36FEFAFFD2958 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:06:59] 955*2^1405803-1 is not prime. Res64: BA07EB3BA5FB9E83 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:07:33] 617*2^1405804-1 is not prime. Res64: 90D7662C612F5E2C Time : 0.0 sec. user=mdettweiler [2015-08-09 12:07:33] 663*2^1405804-1 is not prime. Res64: 06BA4915E9F5089C Time : 0.0 sec. user=mdettweiler [2015-08-09 12:12:25] 755*2^1405804-1 is not prime. Res64: 6766026C846FAA75 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:12:26] 855*2^1405804-1 is not prime. Res64: F706E741F2A2AF8E Time : 0.0 sec. user=mdettweiler [2015-08-09 12:13:25] 863*2^1405804-1 is not prime. Res64: 4516C916A1DC4995 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:13:26] 869*2^1405804-1 is not prime. Res64: EB995F9C87712506 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:24:50] 875*2^1405804-1 is not prime. Res64: F3AA4C55BF3E1C70 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:24:51] 717*2^1405805-1 is not prime. Res64: C2F43307DE8EB33B Time : 0.0 sec. user=mdettweiler [2015-08-09 12:25:26] 789*2^1405805-1 is not prime. Res64: 9E2FC9EA0C21A323 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:25:26] 805*2^1405805-1 is not prime. Res64: 1B0570C37732544D Time : 0.0 sec. user=mdettweiler [2015-08-09 12:30:16] 861*2^1405805-1 is not prime. Res64: 5C2162178EBEB74D Time : 0.0 sec. user=mdettweiler [2015-08-09 12:30:16] 937*2^1405805-1 is not prime. Res64: 03D85AA3E07930E1 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:31:23] 693*2^1405806-1 is not prime. Res64: 3F34B65E22B50F5B Time : 0.0 sec. user=mdettweiler [2015-08-09 12:31:23] 707*2^1405806-1 is not prime. Res64: 06B38E6CB1533EE2 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:42:38] 887*2^1405806-1 is not prime. Res64: 8411CD3834E7C48F Time : 0.0 sec. user=mdettweiler [2015-08-09 12:42:39] 963*2^1405806-1 is not prime. Res64: 8C17B59610B1A621 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:43:21] 625*2^1405807-1 is not prime. Res64: 50DB3886DEFF2844 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:43:22] 663*2^1405807-1 is not prime. Res64: 7310B2A4F27FC7C4 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:48:03] 673*2^1405807-1 is not prime. Res64: 0D3C055E68764B75 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:48:04] 763*2^1405807-1 is not prime. Res64: DBD89E8298D6F032 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:49:12] 819*2^1405807-1 is not prime. Res64: 5271E2705C1CD0F4 Time : 0.0 sec. user=mdettweiler [2015-08-09 12:49:13] 831*2^1405807-1 is not prime. Res64: C4BE5AFB4CD44C85 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:00:19] 939*2^1405807-1 is not prime. Res64: E7BDB186F3FC6496 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:00:20] 993*2^1405807-1 is not prime. Res64: FF1034BDAC5964B8 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:01:10] 635*2^1405808-1 is not prime. Res64: 328BC16562408938 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:01:11] 713*2^1405808-1 is not prime. Res64: 32AAEA03E764CB2E Time : 0.0 sec. user=mdettweiler [2015-08-09 13:05:50] 825*2^1405808-1 is not prime. Res64: 2BE923AD9D546C2E Time : 0.0 sec. user=mdettweiler [2015-08-09 13:05:50] 867*2^1405808-1 is not prime. Res64: 5C100469A56E249D Time : 0.0 sec. user=mdettweiler [2015-08-09 13:06:58] 899*2^1405808-1 is not prime. Res64: 9941EE4DE4F61AC4 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:06:58] 923*2^1405808-1 is not prime. Res64: 3D71B7AD0D3B3726 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:18:12] 957*2^1405808-1 is not prime. Res64: 26539A1094003279 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:18:13] 609*2^1405809-1 is not prime. Res64: BFA931E2F998496A Time : 0.0 sec. user=mdettweiler [2015-08-09 13:18:59] 765*2^1405809-1 is not prime. Res64: 54674680578E6317 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:19:00] 717*2^1405810-1 is not prime. Res64: 9404C8061ADBB3E6 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:23:33] 747*2^1405810-1 is not prime. Res64: 7CC99721A4E42FAA Time : 0.0 sec. user=mdettweiler [2015-08-09 13:23:33] 833*2^1405810-1 is not prime. Res64: 013AB9F489BFAE39 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:24:42] 933*2^1405810-1 is not prime. Res64: 70BA763D6097BA3D Time : 0.0 sec. user=mdettweiler [2015-08-09 13:24:42] 711*2^1405811-1 is not prime. Res64: F701C65970214C81 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:36:08] 811*2^1405811-1 is not prime. Res64: 16B1F5F80EBA668A Time : 0.0 sec. user=mdettweiler [2015-08-09 13:36:08] 909*2^1405811-1 is not prime. Res64: 32AFF0A730E78C59 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:36:46] 969*2^1405811-1 is not prime. Res64: 4E634E5F13D7F5DF Time : 0.0 sec. user=mdettweiler [2015-08-09 13:36:47] 981*2^1405811-1 is not prime. Res64: B5B2A5F1FF34831F Time : 0.0 sec. user=mdettweiler [2015-08-09 13:41:25] 669*2^1405812-1 is not prime. Res64: 2405A2A153D36F67 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:41:26] 683*2^1405812-1 is not prime. Res64: 7857B812631712F8 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:42:36] 693*2^1405812-1 is not prime. Res64: 8D2F28D86DE0B4E8 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:42:36] 695*2^1405812-1 is not prime. Res64: C143A59CC7EE976B Time : 0.0 sec. user=mdettweiler [2015-08-09 13:54:03] 803*2^1405812-1 is not prime. Res64: 5E9C856F73BDE41D Time : 0.0 sec. user=mdettweiler [2015-08-09 13:54:04] 923*2^1405812-1 is not prime. Res64: 0914F3FEF6801AA9 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:54:27] 607*2^1405813-1 is not prime. Res64: E9107A589B8B6253 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:54:27] 609*2^1405813-1 is not prime. Res64: 3A723EE6E696D2D5 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:59:17] 675*2^1405813-1 is not prime. Res64: 4E85E30B12A8DD00 Time : 0.0 sec. user=mdettweiler [2015-08-09 13:59:18] 721*2^1405813-1 is not prime. Res64: 6026EA8D2AD4C494 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:00:22] 831*2^1405813-1 is not prime. Res64: 93687FF538889C35 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:00:23] 951*2^1405813-1 is not prime. Res64: 969EABD1713BE2EA Time : 0.0 sec. user=mdettweiler [2015-08-09 14:11:44] 827*2^1405814-1 is not prime. Res64: A6FF0498B7263F3F Time : 0.0 sec. user=mdettweiler [2015-08-09 14:11:44] 857*2^1405814-1 is not prime. Res64: 6BCDC4A6D3F55B78 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:12:07] 875*2^1405814-1 is not prime. Res64: EF3F2E02EFBACF93 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:12:08] 987*2^1405814-1 is not prime. Res64: D7C08CBCE078FD9F Time : 0.0 sec. user=mdettweiler [2015-08-09 14:17:03] 993*2^1405814-1 is not prime. Res64: 1CEAE7AA266F045E Time : 0.0 sec. user=mdettweiler [2015-08-09 14:17:03] 633*2^1405815-1 is not prime. Res64: 7675B781F31EE67E Time : 0.0 sec. user=mdettweiler [2015-08-09 14:18:06] 663*2^1405815-1 is not prime. Res64: 24E6C2FEF95F9EEC Time : 0.0 sec. user=mdettweiler [2015-08-09 14:18:06] 679*2^1405815-1 is not prime. Res64: 270C25F5044A2002 Time : 0.0 sec. user=S_K_ [2015-08-09 14:25:18] 987*2^1405813-1 is not prime. Res64: A908FFB2AE47DC4C Time : 0.0 sec. user=mdettweiler [2015-08-09 14:29:43] 709*2^1405815-1 is not prime. Res64: 8BD9669C84D5CB0D Time : 0.0 sec. user=mdettweiler [2015-08-09 14:29:44] 781*2^1405815-1 is not prime. Res64: E9AFFD3884B940DC Time : 0.0 sec. user=mdettweiler [2015-08-09 14:30:14] 805*2^1405815-1 is not prime. Res64: 763B385AF91BD138 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:30:15] 913*2^1405815-1 is not prime. Res64: 7FBF0B7DEE87998A Time : 0.0 sec. user=mdettweiler [2015-08-09 14:34:56] 765*2^1405816-1 is not prime. Res64: 05DDF1490B66AEFD Time : 0.0 sec. user=mdettweiler [2015-08-09 14:34:56] 833*2^1405816-1 is not prime. Res64: 80E504C241B331E6 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:36:00] 849*2^1405816-1 is not prime. Res64: 1761B3C8D4DAC110 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:36:00] 927*2^1405816-1 is not prime. Res64: 31D71CA01620AA45 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:47:35] 631*2^1405817-1 is not prime. Res64: AFB972E940F8861E Time : 0.0 sec. user=mdettweiler [2015-08-09 14:47:35] 669*2^1405817-1 is not prime. Res64: 6F3168169BB494D9 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:48:06] 691*2^1405817-1 is not prime. Res64: 7990A5DA90039C2C Time : 0.0 sec. user=mdettweiler [2015-08-09 14:48:06] 717*2^1405817-1 is not prime. Res64: 31EC2E5FD9B6DD19 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:52:51] 771*2^1405817-1 is not prime. Res64: 50C389D2A7DF96F8 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:52:51] 799*2^1405817-1 is not prime. Res64: B6D1A741BF0A2505 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:53:48] 865*2^1405817-1 is not prime. Res64: 26D06A2EBC32DBA9 Time : 0.0 sec. user=mdettweiler [2015-08-09 14:53:49] 867*2^1405817-1 is not prime. Res64: E5DFE15E3EAA218F Time : 0.0 sec. user=S_K_ [2015-08-09 15:01:34] 983*2^1405816-1 is not prime. Res64: D86523ADC6743634 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:05:43] 885*2^1405817-1 is not prime. Res64: 5300BFC33C3AE26B Time : 0.0 sec. user=mdettweiler [2015-08-09 15:05:44] 901*2^1405817-1 is not prime. Res64: 439E1F69160A2739 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:05:55] 939*2^1405817-1 is not prime. Res64: 1F45DA1EF1219FAA Time : 0.0 sec. user=mdettweiler [2015-08-09 15:05:57] 985*2^1405817-1 is not prime. Res64: DDE521EE8CA634ED Time : 0.0 sec. user=mdettweiler [2015-08-09 15:10:52] 605*2^1405818-1 is not prime. Res64: 227A2D02D428694F Time : 0.0 sec. user=mdettweiler [2015-08-09 15:10:52] 641*2^1405818-1 is not prime. Res64: 587D3084B003A7EF Time : 0.0 sec. user=mdettweiler [2015-08-09 15:11:48] 651*2^1405818-1 is not prime. Res64: 376A86D03F788D00 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:11:48] 713*2^1405818-1 is not prime. Res64: 545D448A8071B946 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:23:58] 885*2^1405818-1 is not prime. Res64: 69C2DB98138279C0 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:23:59] 829*2^1405819-1 is not prime. Res64: A60AF5F338ACAE3B Time : 0.0 sec. user=mdettweiler [2015-08-09 15:24:15] 735*2^1405818-1 is not prime. Res64: 65EB78F40C0CBAB9 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:24:16] 801*2^1405818-1 is not prime. Res64: 60E6141AB55AB2EE Time : 0.0 sec. user=mdettweiler [2015-08-09 15:28:42] 861*2^1405819-1 is not prime. Res64: 8F80D67D13B5710B Time : 0.0 sec. user=mdettweiler [2015-08-09 15:28:43] 895*2^1405819-1 is not prime. Res64: AD53E0E372BCF20D Time : 0.0 sec. user=mdettweiler [2015-08-09 15:29:50] 999*2^1405819-1 is not prime. Res64: 68F78FF3AEB59364 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:29:51] 759*2^1405820-1 is not prime. Res64: 7B1BA8EF53CFBE53 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:42:04] 995*2^1405820-1 is not prime. Res64: A0F0FBB57C57E8EA Time : 0.0 sec. user=mdettweiler [2015-08-09 15:42:04] 727*2^1405821-1 is not prime. Res64: 918CB803A8FE6EDF Time : 0.0 sec. user=mdettweiler [2015-08-09 15:42:27] 745*2^1405821-1 is not prime. Res64: 1CBA1ADC96060CFE Time : 0.0 sec. user=mdettweiler [2015-08-09 15:42:27] 789*2^1405821-1 is not prime. Res64: BE2D26437D188B91 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:46:59] 877*2^1405821-1 is not prime. Res64: 3BEFD73BF94DEF18 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:47:00] 955*2^1405821-1 is not prime. Res64: 1238AE1B59219740 Time : 0.0 sec. user=mdettweiler [2015-08-09 15:48:11] 969*2^1405821-1 is not prime. Res64: 38AF3C847C1A404D Time : 0.0 sec. user=mdettweiler [2015-08-09 15:48:11] 777*2^1405822-1 is not prime. Res64: 106DD0CFA6B59BD7 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:01:22] 983*2^1405822-1 is not prime. Res64: B73930C0106CB27F Time : 0.0 sec. user=mdettweiler [2015-08-09 16:01:23] 663*2^1405823-1 is not prime. Res64: B123133115D39262 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:01:47] 735*2^1405823-1 is not prime. Res64: 2A57621F99F71EA2 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:01:47] 811*2^1405823-1 is not prime. Res64: ED4E250013840610 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:07:16] 949*2^1405823-1 is not prime. Res64: 4DAE9A49D4ABFF6E Time : 0.0 sec. user=mdettweiler [2015-08-09 16:07:18] 629*2^1405824-1 is not prime. Res64: DAE64A0B5ABEBA33 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:08:34] 693*2^1405824-1 is not prime. Res64: 8CD577C459B0D687 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:08:34] 753*2^1405824-1 is not prime. Res64: C99C3B5909B23D1A Time : 0.0 sec. user=S_K_ [2015-08-09 16:14:54] 791*2^1405822-1 is not prime. Res64: 47B5BB2F89312C20 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:23:07] 915*2^1405825-1 is not prime. Res64: 0269CFE2875011BD Time : 0.0 sec. user=mdettweiler [2015-08-09 16:23:07] 999*2^1405825-1 is not prime. Res64: AA7D7EBEEB2BC81D Time : 0.0 sec. user=mdettweiler [2015-08-09 16:23:09] 969*2^1405824-1 is not prime. Res64: 762B6E838F2E3C51 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:23:10] 619*2^1405825-1 is not prime. Res64: 645F07F424BBAB78 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:28:26] 711*2^1405826-1 is not prime. Res64: C8873ABC5B2E4477 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:28:26] 773*2^1405826-1 is not prime. Res64: 8E025E343ECAC3C8 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:29:20] 801*2^1405826-1 is not prime. Res64: 67E3DED390DB04C0 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:29:21] 843*2^1405826-1 is not prime. Res64: E154E43CA181DA15 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:42:18] 781*2^1405827-1 is not prime. Res64: E24D2553C08C3277 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:42:18] 819*2^1405827-1 is not prime. Res64: 6E9BF43D82C629AD Time : 0.0 sec. user=mdettweiler [2015-08-09 16:42:22] 963*2^1405826-1 is not prime. Res64: 5253DBDA7E0E8A6B Time : 0.0 sec. user=mdettweiler [2015-08-09 16:42:22] 735*2^1405827-1 is not prime. Res64: FC83C95504992411 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:46:51] 903*2^1405827-1 is not prime. Res64: 5C7AE5C5EA272125 Time : 0.0 sec. user=mdettweiler [2015-08-09 16:46:51] 945*2^1405827-1 is not prime. Res64: DD48CDAF0E45FA1E Time : 0.0 sec. user=mdettweiler [2015-08-09 16:48:01] 979*2^1405827-1 is not prime. Res64: 1F007E7F421F926A Time : 0.0 sec. user=mdettweiler [2015-08-09 16:48:02] 999*2^1405827-1 is not prime. Res64: 798B6D4B563C0716 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:02:12] 639*2^1405828-1 is not prime. Res64: E7FDD7ECC95C8D6F Time : 0.0 sec. user=mdettweiler [2015-08-09 17:02:13] 689*2^1405828-1 is not prime. Res64: 89DAB079D3FCDF6D Time : 0.0 sec. user=mdettweiler [2015-08-09 17:02:14] 695*2^1405828-1 is not prime. Res64: 6C890A2F7029C9EA Time : 0.0 sec. user=mdettweiler [2015-08-09 17:02:16] 777*2^1405828-1 is not prime. Res64: 29D76B3F1F120927 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:06:57] 645*2^1405829-1 is not prime. Res64: 6CF0E9AF01D0505A Time : 0.0 sec. user=mdettweiler [2015-08-09 17:06:57] 697*2^1405829-1 is not prime. Res64: 2EFBCF0D3D184045 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:08:47] 811*2^1405829-1 is not prime. Res64: DA32F0DF3410CD37 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:08:47] 825*2^1405829-1 is not prime. Res64: C6B1B8EF3236836B Time : 0.0 sec. user=mdettweiler [2015-08-09 17:23:29] 825*2^1405830-1 is not prime. Res64: 6DA46BE51E0CCB08 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:23:29] 603*2^1405831-1 is not prime. Res64: 81ACAA1CE36A5A38 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:24:30] 889*2^1405829-1 is not prime. Res64: 2E8F07B2D2EB9A11 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:24:31] 665*2^1405830-1 is not prime. Res64: 2BE5B4456AFF8D2A Time : 0.0 sec. user=mdettweiler [2015-08-09 17:28:09] 741*2^1405831-1 is not prime. Res64: 0E6BC2C65176EAE0 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:28:09] 843*2^1405831-1 is not prime. Res64: CAEE90D723E02270 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:30:09] 933*2^1405831-1 is not prime. Res64: ECE9F3A23E2F9539 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:30:10] 939*2^1405831-1 is not prime. Res64: 3EBE657A4F83F7EA Time : 0.0 sec. user=mdettweiler [2015-08-09 17:42:03] 973*2^1405831-1 is not prime. Res64: 4F108C0286CF4CF7 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:42:03] 615*2^1405832-1 is not prime. Res64: B6BAE8B786BAF107 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:42:58] 633*2^1405832-1 is not prime. Res64: 3F1D5A57CE237299 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:42:58] 657*2^1405832-1 is not prime. Res64: 8D2A03F5BBDB2352 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:46:34] 675*2^1405832-1 is not prime. Res64: E952078104D548E7 Time : 0.0 sec. user=mdettweiler [2015-08-09 17:46:34] 677*2^1405832-1 is not prime. Res64: 0CB41BBE1A88192E Time : 0.0 sec. user=mdettweiler [2015-08-09 17:48:39] 797*2^1405832-1 is not prime. Res64: 912D8D0723B1C07C Time : 0.0 sec. user=mdettweiler [2015-08-09 17:48:39] 843*2^1405832-1 is not prime. Res64: 0416EC65244154EC Time : 0.0 sec. user=mdettweiler [2015-08-09 18:01:04] 977*2^1405832-1 is not prime. Res64: 9B872912EA83F5FB Time : 0.0 sec. user=mdettweiler [2015-08-09 18:01:05] 625*2^1405833-1 is not prime. Res64: 56A52764FB0B2369 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:02:26] 675*2^1405833-1 is not prime. Res64: 98FB2C6AC51AC97C Time : 0.0 sec. user=mdettweiler [2015-08-09 18:02:27] 679*2^1405833-1 is not prime. Res64: 5144A12593692A32 Time : 0.0 sec. user=S_K_ [2015-08-09 18:05:32] 743*2^1405832-1 is not prime. Res64: F66EC8E71B5DE837 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:06:06] 705*2^1405833-1 is not prime. Res64: 1B6880C23FBFC720 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:06:07] 915*2^1405833-1 is not prime. Res64: 616C47BA1DCDA48A Time : 0.0 sec. user=mdettweiler [2015-08-09 18:08:22] 919*2^1405833-1 is not prime. Res64: 86619004231E9785 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:08:22] 605*2^1405834-1 is not prime. Res64: 5AB59ECEC2EE2C7E Time : 0.0 sec. user=mdettweiler [2015-08-09 18:21:55] 623*2^1405834-1 is not prime. Res64: 30033126DC0AA63F Time : 0.0 sec. user=mdettweiler [2015-08-09 18:21:56] 861*2^1405834-1 is not prime. Res64: 046283EECB33877A Time : 0.0 sec. user=mdettweiler [2015-08-09 18:22:21] 903*2^1405834-1 is not prime. Res64: 63A4AF502D221711 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:22:26] 915*2^1405834-1 is not prime. Res64: D723D99C3698608A Time : 0.0 sec. user=mdettweiler [2015-08-09 18:26:19] 993*2^1405834-1 is not prime. Res64: A336F3C86A4AA741 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:26:19] 801*2^1405835-1 is not prime. Res64: E8CC84C3EC295309 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:28:28] 823*2^1405835-1 is not prime. Res64: 8103CA833D2C2EB0 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:28:28] 969*2^1405835-1 is not prime. Res64: 775E635CBD04908A Time : 0.0 sec. user=mdettweiler [2015-08-09 18:40:48] 981*2^1405835-1 is not prime. Res64: 39CDA765F451392F Time : 0.0 sec. user=mdettweiler [2015-08-09 18:40:48] 683*2^1405836-1 is not prime. Res64: CBABB4EA29E5C229 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:40:50] 707*2^1405836-1 is not prime. Res64: D9DC8DF66E727085 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:40:50] 809*2^1405836-1 is not prime. Res64: B0546EFAE3333962 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:44:35] 843*2^1405836-1 is not prime. Res64: 9E5803D36C64DB7D Time : 0.0 sec. user=mdettweiler [2015-08-09 18:44:35] 857*2^1405836-1 is not prime. Res64: 7D943EE0B4DBBAEE Time : 0.0 sec. user=mdettweiler [2015-08-09 18:46:25] 909*2^1405836-1 is not prime. Res64: AEDF2AFB70C52367 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:46:25] 729*2^1405837-1 is not prime. Res64: FFA03FB1BD5B8F42 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:58:39] 871*2^1405837-1 is not prime. Res64: F6E82EE565E748B0 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:58:40] 957*2^1405837-1 is not prime. Res64: 2A2473F69A4C9866 Time : 0.0 sec. user=mdettweiler [2015-08-09 18:58:45] 747*2^1405837-1 is not prime. Res64: 031A7DF03C79057B Time : 0.0 sec. user=mdettweiler [2015-08-09 18:58:46] 835*2^1405837-1 is not prime. Res64: 762371C3844751B7 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:02:44] 641*2^1405838-1 is not prime. Res64: 0E056A95C36A77AB Time : 0.0 sec. user=mdettweiler [2015-08-09 19:02:46] 761*2^1405838-1 is not prime. Res64: 052CA2B5420762A5 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:04:38] 771*2^1405838-1 is not prime. Res64: 40DCA953822DB6DD Time : 0.0 sec. user=mdettweiler [2015-08-09 19:04:40] 797*2^1405838-1 is not prime. Res64: AAB020CEE5005D9F Time : 0.0 sec. user=mdettweiler [2015-08-09 19:16:47] 801*2^1405838-1 is not prime. Res64: A41D8DE0804DD9A5 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:16:48] 825*2^1405838-1 is not prime. Res64: DB783BD8E96AA428 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:17:12] 867*2^1405838-1 is not prime. Res64: 370FB5657F98647D Time : 0.0 sec. user=mdettweiler [2015-08-09 19:17:12] 987*2^1405838-1 is not prime. Res64: B25F21B593699035 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:20:43] 861*2^1405839-1 is not prime. Res64: 75FF0BCC76380747 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:20:44] 955*2^1405839-1 is not prime. Res64: 455CF8DA97CBCD06 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:22:37] 687*2^1405840-1 is not prime. Res64: 2B0C1D0F7348B34A Time : 0.0 sec. user=mdettweiler [2015-08-09 19:22:37] 707*2^1405840-1 is not prime. Res64: DA7FA5A6777F0C60 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:34:36] 719*2^1405840-1 is not prime. Res64: 173FA7F1948DC270 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:34:37] 765*2^1405840-1 is not prime. Res64: 8AD07BFFC3913D9F Time : 0.0 sec. user=mdettweiler [2015-08-09 19:34:55] 855*2^1405840-1 is not prime. Res64: 5BAD7002953D95EC Time : 0.0 sec. user=mdettweiler [2015-08-09 19:34:56] 929*2^1405840-1 is not prime. Res64: 07862E99F8C18937 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:38:27] 983*2^1405840-1 is not prime. Res64: E8064DDAAF304371 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:38:27] 989*2^1405840-1 is not prime. Res64: 18C68722B2836518 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:40:25] 669*2^1405841-1 is not prime. Res64: 12D3348E327B5B97 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:40:25] 789*2^1405841-1 is not prime. Res64: 4CBA429730178DA1 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:52:32] 937*2^1405841-1 is not prime. Res64: 31EE18FDE5C5FB88 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:52:33] 683*2^1405842-1 is not prime. Res64: EB6D35D5CBC82CA8 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:52:51] 735*2^1405842-1 is not prime. Res64: CC31871C41FC5B1F Time : 0.0 sec. user=mdettweiler [2015-08-09 19:52:52] 741*2^1405842-1 is not prime. Res64: BD09887E619EA040 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:56:17] 807*2^1405842-1 is not prime. Res64: 890ADF61F1700718 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:56:17] 867*2^1405842-1 is not prime. Res64: 25531AA04BBBD782 Time : 0.0 sec. user=mdettweiler [2015-08-09 19:58:24] 615*2^1405843-1 is not prime. Res64: F836D09B14D2513E Time : 0.0 sec. user=mdettweiler [2015-08-09 19:58:24] 693*2^1405843-1 is not prime. Res64: AFCDAA0C921CDA39 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:10:21] 703*2^1405843-1 is not prime. Res64: 6A13C3FC435C65EF Time : 0.0 sec. user=mdettweiler [2015-08-09 20:10:21] 891*2^1405843-1 is not prime. Res64: 2E493BBE767CE4CA Time : 0.0 sec. user=mdettweiler [2015-08-09 20:10:36] 689*2^1405844-1 is not prime. Res64: AF7FF325BC700712 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:10:37] 837*2^1405844-1 is not prime. Res64: B86B1B72C3442865 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:13:59] 855*2^1405844-1 is not prime. Res64: 116DF3F86A5BAF4C Time : 0.0 sec. user=mdettweiler [2015-08-09 20:14:00] 903*2^1405844-1 is not prime. Res64: 3E3FB02839F76DB5 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:16:07] 945*2^1405844-1 is not prime. Res64: FAE1CFC2CEB6D8CF Time : 0.0 sec. user=mdettweiler [2015-08-09 20:16:08] 953*2^1405844-1 is not prime. Res64: 075BD1A2A95D4AB8 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:28:16] 983*2^1405844-1 is not prime. Res64: F8B1327144011E32 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:28:16] 717*2^1405845-1 is not prime. Res64: E2769D3B1D9F391D Time : 0.0 sec. user=mdettweiler [2015-08-09 20:28:25] 765*2^1405845-1 is not prime. Res64: 72D3E9816E8E474C Time : 0.0 sec. user=mdettweiler [2015-08-09 20:28:26] 819*2^1405845-1 is not prime. Res64: 02DFA63D9F2B1F12 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:31:52] 831*2^1405845-1 is not prime. Res64: EA4D7F369C484DF5 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:31:53] 737*2^1405846-1 is not prime. Res64: A8D24758C6FAD3FE Time : 0.0 sec. user=mdettweiler [2015-08-09 20:34:06] 815*2^1405846-1 is not prime. Res64: 454713991B31634E Time : 0.0 sec. user=mdettweiler [2015-08-09 20:34:06] 1001*2^1405846-1 is not prime. Res64: 5FD612AEE826A156 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:47:14] 645*2^1405847-1 is not prime. Res64: AE4D799D45EEF7AA Time : 0.0 sec. user=mdettweiler [2015-08-09 20:47:14] 775*2^1405847-1 is not prime. Res64: 8C1F520EFF09F1CF Time : 0.0 sec. user=mdettweiler [2015-08-09 20:47:14] 673*2^1405847-1 is not prime. Res64: A750E8171DBE9229 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:47:14] 865*2^1405847-1 is not prime. Res64: 0B24209664B8A9E0 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:50:48] 949*2^1405847-1 is not prime. Res64: 17AE170AAEDCD750 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:50:48] 993*2^1405847-1 is not prime. Res64: 457C9D4BEEB1AED7 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:53:08] 669*2^1405848-1 is not prime. Res64: 2F7008F909BAB908 Time : 0.0 sec. user=mdettweiler [2015-08-09 20:53:09] 705*2^1405848-1 is not prime. Res64: C9394B0DE13361EE Time : 0.0 sec. user=mdettweiler [2015-08-09 21:06:43] 753*2^1405848-1 is not prime. Res64: AB058FD254292D10 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:06:43] 819*2^1405848-1 is not prime. Res64: CF2AB9DBFC81575F Time : 0.0 sec. user=mdettweiler [2015-08-09 21:06:45] 879*2^1405848-1 is not prime. Res64: 0FA6E06FEAB72200 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:06:45] 637*2^1405849-1 is not prime. Res64: 582A2B92FB776F30 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:10:20] 649*2^1405849-1 is not prime. Res64: 10BF0FA6547073C8 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:10:20] 661*2^1405849-1 is not prime. Res64: 8583A6FA72200BAB Time : 0.0 sec. user=mdettweiler [2015-08-09 21:12:49] 681*2^1405849-1 is not prime. Res64: 0EAED6908D8A9FF9 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:12:50] 729*2^1405849-1 is not prime. Res64: AE438C5FF0C093A0 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:25:50] 975*2^1405849-1 is not prime. Res64: BAF26B19F96ECC91 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:25:50] 985*2^1405849-1 is not prime. Res64: 85B884DB808D90FA Time : 0.0 sec. user=mdettweiler [2015-08-09 21:25:53] 769*2^1405849-1 is not prime. Res64: E1D207FBCEFBA374 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:25:54] 877*2^1405849-1 is not prime. Res64: 1AF65C89DDCAEC4A Time : 0.0 sec. user=mdettweiler [2015-08-09 21:29:25] 713*2^1405850-1 is not prime. Res64: 006000C3B2D3028B Time : 0.0 sec. user=mdettweiler [2015-08-09 21:29:25] 773*2^1405850-1 is not prime. Res64: 567805EB63917C85 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:31:41] 857*2^1405850-1 is not prime. Res64: 796AD4A117AD80E4 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:31:42] 911*2^1405850-1 is not prime. Res64: F680940E5F8B5751 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:44:38] 927*2^1405850-1 is not prime. Res64: DFC9DE8C368824F4 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:44:38] 971*2^1405850-1 is not prime. Res64: EA51384963AA79CA Time : 0.0 sec. user=mdettweiler [2015-08-09 21:44:40] 987*2^1405850-1 is not prime. Res64: D0505D1041084F82 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:44:40] 601*2^1405851-1 is not prime. Res64: 80725CBD31AD83EB Time : 0.0 sec. user=mdettweiler [2015-08-09 21:48:21] 739*2^1405851-1 is not prime. Res64: 50D838462F4FD107 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:48:21] 751*2^1405851-1 is not prime. Res64: D0FD85161057E786 Time : 0.0 sec. user=mdettweiler [2015-08-09 21:50:43] 823*2^1405851-1 is not prime. Res64: 5A33365349568EBD Time : 0.0 sec. user=mdettweiler [2015-08-09 21:50:43] 835*2^1405851-1 is not prime. Res64: A34D5154B37DE911 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:03:28] 979*2^1405851-1 is not prime. Res64: 5C91A8161BB6F915 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:03:29] 825*2^1405852-1 is not prime. Res64: 87ECBBFFDA10A056 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:03:31] 871*2^1405851-1 is not prime. Res64: A0C8CC6DE75F3EA1 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:03:32] 961*2^1405851-1 is not prime. Res64: 7B64AEC7C3A97470 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:07:04] 875*2^1405852-1 is not prime. Res64: B1DFCE69F7661411 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:07:04] 651*2^1405853-1 is not prime. Res64: B04BD61719B5062D Time : 0.0 sec. user=mdettweiler [2015-08-09 22:09:26] 691*2^1405853-1 is not prime. Res64: 227D3529C9677CD0 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:09:26] 747*2^1405853-1 is not prime. Res64: 2BFF995760A680C9 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:22:02] 771*2^1405853-1 is not prime. Res64: C2E93398AEB5B434 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:22:02] 955*2^1405853-1 is not prime. Res64: 1D03F26EB77B6234 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:22:12] 795*2^1405854-1 is not prime. Res64: 73F5B3670C184FE2 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:22:13] 885*2^1405854-1 is not prime. Res64: BE2ED1696873A4CD Time : 0.0 sec. user=mdettweiler [2015-08-09 22:25:54] 975*2^1405854-1 is not prime. Res64: 7E030E1F203147B6 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:25:54] 609*2^1405855-1 is not prime. Res64: 8EF372AC7C482A48 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:28:30] 693*2^1405855-1 is not prime. Res64: 27B75CBFF9C5967A Time : 0.0 sec. user=mdettweiler [2015-08-09 22:28:30] 741*2^1405855-1 is not prime. Res64: 27FCE52914FB4CBE Time : 0.0 sec. user=mdettweiler [2015-08-09 22:41:07] 819*2^1405855-1 is not prime. Res64: EB589F7232EF770C Time : 0.0 sec. user=mdettweiler [2015-08-09 22:41:07] 861*2^1405855-1 is not prime. Res64: 349C3EBB593E3EB4 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:41:09] 623*2^1405856-1 is not prime. Res64: B3A5960F37243859 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:41:10] 699*2^1405856-1 is not prime. Res64: 1BAC7EDA4FF31337 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:44:44] 747*2^1405856-1 is not prime. Res64: 7955C716672F0932 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:44:44] 815*2^1405856-1 is not prime. Res64: A7B04E1D71EAC7FD Time : 0.0 sec. user=mdettweiler [2015-08-09 22:47:22] 893*2^1405856-1 is not prime. Res64: 71831B523368DCA9 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:47:22] 903*2^1405856-1 is not prime. Res64: 1A5FD4FB676711B7 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:59:36] 651*2^1405857-1 is not prime. Res64: 9B75F9EC5105CE4D Time : 0.0 sec. user=mdettweiler [2015-08-09 22:59:36] 741*2^1405857-1 is not prime. Res64: A12545EB3FC4EFAF Time : 0.0 sec. user=mdettweiler [2015-08-09 22:59:37] 969*2^1405856-1 is not prime. Res64: 3CB3107E389E1C69 Time : 0.0 sec. user=mdettweiler [2015-08-09 22:59:38] 649*2^1405857-1 is not prime. Res64: FA233ED9AC15118E Time : 0.0 sec. user=mdettweiler [2015-08-09 23:03:02] 807*2^1405857-1 is not prime. Res64: 153384DD8EE0C349 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:03:03] 621*2^1405858-1 is not prime. Res64: B70A123B8AC25FFA Time : 0.0 sec. user=mdettweiler [2015-08-09 23:05:38] 731*2^1405858-1 is not prime. Res64: 699CBE1243848993 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:05:39] 857*2^1405858-1 is not prime. Res64: 117236D7481156E8 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:17:37] 603*2^1405859-1 is not prime. Res64: B1A70BCEF3CE3BDE Time : 0.0 sec. user=mdettweiler [2015-08-09 23:17:38] 669*2^1405859-1 is not prime. Res64: AF59A49461FDAB40 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:17:43] 685*2^1405859-1 is not prime. Res64: 4FEE57E76C2680C0 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:17:45] 693*2^1405859-1 is not prime. Res64: BBB0D8517A943A2B Time : 0.0 sec. user=mdettweiler [2015-08-09 23:21:17] 741*2^1405859-1 is not prime. Res64: 8B0BB0AAA04C2C40 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:21:17] 855*2^1405859-1 is not prime. Res64: 8DC8C5811F898B7E Time : 0.0 sec. user=mdettweiler [2015-08-09 23:24:16] 723*2^1405860-1 is not prime. Res64: D2A9F13DCD87BE6F Time : 0.0 sec. user=mdettweiler [2015-08-09 23:24:17] 725*2^1405860-1 is not prime. Res64: F3FDDAD897BD1FBB Time : 0.0 sec. user=mdettweiler [2015-08-09 23:36:52] 879*2^1405860-1 is not prime. Res64: 9328436DF985362F Time : 0.0 sec. user=mdettweiler [2015-08-09 23:36:52] 983*2^1405860-1 is not prime. Res64: F7912955FD787DB9 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:37:00] 819*2^1405860-1 is not prime. Res64: FF1CDD03FAE4987F Time : 0.0 sec. user=mdettweiler [2015-08-09 23:37:01] 867*2^1405860-1 is not prime. Res64: 711C3E79AC73F53D Time : 0.0 sec. user=mdettweiler [2015-08-09 23:40:13] 621*2^1405861-1 is not prime. Res64: A9BC0EDA1A3F14D4 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:40:13] 625*2^1405861-1 is not prime. Res64: F7B34B085D80D950 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:43:18] 777*2^1405861-1 is not prime. Res64: 565180D8ACF90510 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:43:18] 801*2^1405861-1 is not prime. Res64: 38C34885836260CD Time : 0.0 sec. user=mdettweiler [2015-08-09 23:56:07] 997*2^1405861-1 is not prime. Res64: BCEE904E16FB3968 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:56:07] 731*2^1405862-1 is not prime. Res64: 1B5BC6B51A1EFB44 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:56:09] 835*2^1405861-1 is not prime. Res64: E11398FF9057C433 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:56:09] 957*2^1405861-1 is not prime. Res64: 8EE4C09A069634F3 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:59:00] 755*2^1405862-1 is not prime. Res64: DC6D431D6C158070 Time : 0.0 sec. user=mdettweiler [2015-08-09 23:59:01] 831*2^1405862-1 is not prime. Res64: 3FF8CC2A95D5DF48 Time : 0.0 sec.