user=mdettweiler [2015-10-31 00:07:45] 673*2^1413643-1 is not prime. Res64: AC24F58B56C4CF61 Time : 0.0 sec. user=mdettweiler [2015-10-31 00:07:45] 693*2^1413643-1 is not prime. Res64: CE09AC2F0188E9B6 Time : 0.0 sec. user=mdettweiler [2015-10-31 00:07:45] 731*2^1413642-1 is not prime. Res64: 36A1DA61073AE5A8 Time : 0.0 sec. user=mdettweiler [2015-10-31 00:07:46] 741*2^1413642-1 is not prime. Res64: 30173298BDCF3CAE Time : 0.0 sec. user=mdettweiler [2015-10-31 00:07:46] 821*2^1413642-1 is not prime. Res64: F101A456764B7F5B Time : 0.0 sec. user=mdettweiler [2015-10-31 00:07:47] 893*2^1413642-1 is not prime. Res64: 22A9EDE80D61FDD9 Time : 0.0 sec. user=mdettweiler [2015-10-31 00:25:26] 853*2^1413643-1 is not prime. Res64: 8E398D00A9FEF3E2 Time : 0.0 sec. user=mdettweiler [2015-10-31 00:25:26] 855*2^1413643-1 is not prime. Res64: 4830418118222D89 Time : 0.0 sec. user=mdettweiler [2015-10-31 00:25:27] 723*2^1413643-1 is not prime. Res64: 87D563F0C800AE6D Time : 0.0 sec. user=mdettweiler [2015-10-31 00:25:28] 765*2^1413643-1 is not prime. Res64: 366B49087F6FFA33 Time : 0.0 sec. user=mdettweiler [2015-10-31 00:25:28] 919*2^1413643-1 is not prime. Res64: FBBC0EF7C197D753 Time : 0.0 sec. user=mdettweiler [2015-10-31 00:25:28] 657*2^1413644-1 is not prime. Res64: C3C9A86052115D85 Time : 0.0 sec. user=mdettweiler [2015-10-31 00:43:21] 675*2^1413644-1 is not prime. Res64: E940EA90C1DADDDC Time : 0.0 sec. user=mdettweiler [2015-10-31 00:43:21] 683*2^1413644-1 is not prime. Res64: DCF1E2D5AD0D1F20 Time : 0.0 sec. user=mdettweiler [2015-10-31 00:43:22] 687*2^1413644-1 is not prime. Res64: 72B1D1661A839C7B Time : 0.0 sec. user=mdettweiler [2015-10-31 00:43:23] 755*2^1413644-1 is not prime. Res64: B3FF6D567FD4507E Time : 0.0 sec. user=mdettweiler [2015-10-31 00:43:23] 857*2^1413644-1 is not prime. Res64: 5A429B40118D8FAD Time : 0.0 sec. user=mdettweiler [2015-10-31 00:43:23] 869*2^1413644-1 is not prime. Res64: 114C1A6AE1FDC1E7 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:01:13] 705*2^1413646-1 is not prime. Res64: 41E1538C35C4A2D0 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:01:14] 609*2^1413645-1 is not prime. Res64: 4E0B924AB5F472FD Time : 0.0 sec. user=mdettweiler [2015-10-31 01:01:15] 861*2^1413646-1 is not prime. Res64: 3C10F7CBF14C641A Time : 0.0 sec. user=mdettweiler [2015-10-31 01:01:15] 639*2^1413645-1 is not prime. Res64: 856FE177295CE6F1 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:01:17] 789*2^1413645-1 is not prime. Res64: F9F3816FD34D6B04 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:01:18] 895*2^1413645-1 is not prime. Res64: 8DDB9877FB0F624E Time : 0.0 sec. user=mdettweiler [2015-10-31 01:19:49] 813*2^1413647-1 is not prime. Res64: 65DE527DC9F62B67 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:19:50] 867*2^1413646-1 is not prime. Res64: 32E6A6410BAF4249 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:19:50] 649*2^1413647-1 is not prime. Res64: FA326FB6106AE49F Time : 0.0 sec. user=mdettweiler [2015-10-31 01:19:50] 829*2^1413647-1 is not prime. Res64: FBAA8C15DD429122 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:19:50] 981*2^1413646-1 is not prime. Res64: 6EA0FB4E1438C9FB Time : 0.0 sec. user=mdettweiler [2015-10-31 01:19:51] 673*2^1413647-1 is not prime. Res64: E2D9F83B60A71CB5 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:37:36] 915*2^1413647-1 is not prime. Res64: BD1BFEA99BA4B969 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:37:37] 843*2^1413647-1 is not prime. Res64: 49B0CDD7F9C3C73B Time : 0.0 sec. user=mdettweiler [2015-10-31 01:37:38] 981*2^1413647-1 is not prime. Res64: 160CF7A21A3B6EE7 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:37:38] 945*2^1413647-1 is not prime. Res64: 9F1CF0BF5AE0E886 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:37:39] 883*2^1413647-1 is not prime. Res64: F63D51FD4C937D0D Time : 0.0 sec. user=mdettweiler [2015-10-31 01:37:39] 669*2^1413648-1 is not prime. Res64: 6B1C70E55F0D971C Time : 0.0 sec. user=mdettweiler [2015-10-31 01:57:02] 681*2^1413649-1 is not prime. Res64: 40E3030151DED862 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:57:03] 817*2^1413649-1 is not prime. Res64: 27903D0441D86AF8 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:57:03] 699*2^1413648-1 is not prime. Res64: C2427A63EA0803D0 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:57:04] 705*2^1413648-1 is not prime. Res64: ABE0AF28B24E6754 Time : 0.0 sec. user=mdettweiler [2015-10-31 01:57:07] 809*2^1413648-1 is not prime. Res64: C865F6D252B5233F Time : 0.0 sec. user=mdettweiler [2015-10-31 01:57:08] 899*2^1413648-1 is not prime. Res64: 089337B9A1C6B2C8 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:16:12] 713*2^1413650-1 is not prime. Res64: 0B1E77CB93FAFB84 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:16:12] 831*2^1413650-1 is not prime. Res64: F9E0B1711B0022B5 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:16:13] 939*2^1413649-1 is not prime. Res64: BE3D0ACDEBD8912A Time : 0.0 sec. user=mdettweiler [2015-10-31 02:16:13] 671*2^1413650-1 is not prime. Res64: 038AA896A736A46F Time : 0.0 sec. user=mdettweiler [2015-10-31 02:16:15] 833*2^1413650-1 is not prime. Res64: 8BE8D4D9DF8012C7 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:16:16] 935*2^1413650-1 is not prime. Res64: 10CE94928D9998FD Time : 0.0 sec. user=mdettweiler [2015-10-31 02:33:40] 981*2^1413650-1 is not prime. Res64: 07FF231D92D2E100 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:33:40] 903*2^1413651-1 is not prime. Res64: 55029BAD6AF4BD8C Time : 0.0 sec. user=mdettweiler [2015-10-31 02:33:41] 895*2^1413651-1 is not prime. Res64: 8655C83E2A2047C5 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:33:41] 909*2^1413651-1 is not prime. Res64: EA2F3A992EEBBF0B Time : 0.0 sec. user=mdettweiler [2015-10-31 02:33:43] 975*2^1413651-1 is not prime. Res64: 32257C6057C261D6 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:33:43] 675*2^1413652-1 is not prime. Res64: 36068E0C2EE30C49 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:51:16] 693*2^1413652-1 is not prime. Res64: 49284F1D3B1B6A89 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:51:17] 695*2^1413652-1 is not prime. Res64: 80DD94995645B936 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:51:19] 827*2^1413652-1 is not prime. Res64: DCE2DECD79C483EA Time : 0.0 sec. user=mdettweiler [2015-10-31 02:51:19] 887*2^1413652-1 is not prime. Res64: 0BD150D029B4A0EF Time : 0.0 sec. user=mdettweiler [2015-10-31 02:51:20] 909*2^1413652-1 is not prime. Res64: 2D09E044F4EA96A9 Time : 0.0 sec. user=mdettweiler [2015-10-31 02:51:20] 929*2^1413652-1 is not prime. Res64: 715C59DB564928C5 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:08:44] 721*2^1413653-1 is not prime. Res64: F53CA5D4859225AF Time : 0.0 sec. user=mdettweiler [2015-10-31 03:08:44] 727*2^1413653-1 is not prime. Res64: 7C0982CA269204FA Time : 0.0 sec. user=mdettweiler [2015-10-31 03:08:45] 781*2^1413653-1 is not prime. Res64: D64ED8A1DEAF1244 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:08:46] 789*2^1413653-1 is not prime. Res64: 0A4488C2765169A2 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:08:46] 901*2^1413653-1 is not prime. Res64: A2ACB7918B4D9484 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:08:47] 939*2^1413653-1 is not prime. Res64: D923792AA2D66215 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:26:18] 985*2^1413653-1 is not prime. Res64: 8B6FEC88266DD371 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:26:19] 903*2^1413654-1 is not prime. Res64: 3674AA43E2539456 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:26:19] 621*2^1413654-1 is not prime. Res64: AD9370DE553A3C6B Time : 0.0 sec. user=mdettweiler [2015-10-31 03:26:20] 917*2^1413654-1 is not prime. Res64: 86644D7E1AAAC269 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:26:20] 663*2^1413654-1 is not prime. Res64: 5A378C4AADE6E0F9 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:26:21] 863*2^1413654-1 is not prime. Res64: 2C8CA25C1B829C6A Time : 0.0 sec. user=mdettweiler [2015-10-31 03:43:58] 789*2^1413655-1 is not prime. Res64: 4746251534E40238 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:44:01] 913*2^1413655-1 is not prime. Res64: 2BBC149325F78713 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:44:02] 873*2^1413655-1 is not prime. Res64: B12F297195B8BA8A Time : 0.0 sec. user=mdettweiler [2015-10-31 03:44:02] 619*2^1413655-1 is not prime. Res64: 5AC7785B7F09B066 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:44:02] 767*2^1413656-1 is not prime. Res64: E5D5330C366EFA74 Time : 0.0 sec. user=mdettweiler [2015-10-31 03:44:03] 763*2^1413655-1 is not prime. Res64: A0A35DFAD343AA91 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:01:55] 803*2^1413656-1 is not prime. Res64: 4A2A8C1362CBC9E7 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:01:57] 825*2^1413656-1 is not prime. Res64: F776DC5C0998FFCC Time : 0.0 sec. user=mdettweiler [2015-10-31 04:01:58] 669*2^1413657-1 is not prime. Res64: BE06338F33C517DD Time : 0.0 sec. user=mdettweiler [2015-10-31 04:01:59] 829*2^1413657-1 is not prime. Res64: C7149C4B5B5B0854 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:02:00] 833*2^1413656-1 is not prime. Res64: 8D8D72E74C22298E Time : 0.0 sec. user=mdettweiler [2015-10-31 04:02:03] 639*2^1413657-1 is not prime. Res64: 8B08CFFC32AD21C5 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:19:48] 631*2^1413659-1 is not prime. Res64: F23FE78D555AB967 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:19:48] 711*2^1413659-1 is not prime. Res64: 5E7C6FCB297F7A97 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:19:49] 831*2^1413658-1 is not prime. Res64: E75E66758F764E65 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:19:49] 861*2^1413658-1 is not prime. Res64: 9A1121B7FF9C09F9 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:19:49] 861*2^1413657-1 is not prime. Res64: 25E5B61DE2E1317B Time : 0.0 sec. user=mdettweiler [2015-10-31 04:19:50] 901*2^1413657-1 is not prime. Res64: 5E8BFE88613166B4 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:37:14] 623*2^1413660-1 is not prime. Res64: 884A6B659FF42A61 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:37:15] 949*2^1413659-1 is not prime. Res64: AF510CFD8C8D5CC4 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:37:15] 627*2^1413660-1 is not prime. Res64: D10F23ADAB3562FB Time : 0.0 sec. user=mdettweiler [2015-10-31 04:37:15] 745*2^1413659-1 is not prime. Res64: 74864BE585F897E2 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:37:15] 609*2^1413660-1 is not prime. Res64: 8AB29BA07DD32A4C Time : 0.0 sec. user=mdettweiler [2015-10-31 04:37:16] 843*2^1413659-1 is not prime. Res64: FAC4D74F8ADE7626 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:54:42] 909*2^1413660-1 is not prime. Res64: 40E179247028F4EC Time : 0.0 sec. user=mdettweiler [2015-10-31 04:54:42] 959*2^1413660-1 is not prime. Res64: 58FDAC324A6DB3CB Time : 0.0 sec. user=mdettweiler [2015-10-31 04:54:42] 669*2^1413660-1 is not prime. Res64: D691431BDC0C7703 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:54:43] 693*2^1413660-1 is not prime. Res64: 71F39C69BD834C23 Time : 0.0 sec. user=mdettweiler [2015-10-31 04:54:45] 797*2^1413660-1 is not prime. Res64: FF26861D054A64EF Time : 0.0 sec. user=mdettweiler [2015-10-31 04:54:45] 809*2^1413660-1 is not prime. Res64: 42CFA3E55190E84C Time : 0.0 sec. user=mdettweiler [2015-10-31 05:12:09] 979*2^1413661-1 is not prime. Res64: 62B407E830B0032C Time : 0.0 sec. user=mdettweiler [2015-10-31 05:12:09] 785*2^1413662-1 is not prime. Res64: E7932A6F47E0D24E Time : 0.0 sec. user=mdettweiler [2015-10-31 05:12:09] 789*2^1413661-1 is not prime. Res64: F58394695E8F91AD Time : 0.0 sec. user=mdettweiler [2015-10-31 05:12:10] 877*2^1413661-1 is not prime. Res64: 14EF936E166EE34E Time : 0.0 sec. user=mdettweiler [2015-10-31 05:12:13] 791*2^1413662-1 is not prime. Res64: C2D2DDF13061A2FA Time : 0.0 sec. user=mdettweiler [2015-10-31 05:12:13] 957*2^1413662-1 is not prime. Res64: CA8F31F6A9B84D07 Time : 0.0 sec. user=mdettweiler [2015-10-31 05:29:37] 739*2^1413663-1 is not prime. Res64: 33B0065A51547AB8 Time : 0.0 sec. user=mdettweiler [2015-10-31 05:29:37] 981*2^1413662-1 is not prime. Res64: 93291934B25097D8 Time : 0.0 sec. user=mdettweiler [2015-10-31 05:29:37] 919*2^1413663-1 is not prime. Res64: 6D87BDC7D0B984CA Time : 0.0 sec. user=mdettweiler [2015-10-31 05:29:37] 609*2^1413663-1 is not prime. Res64: 81C62BA2A09171D9 Time : 0.0 sec. user=mdettweiler [2015-10-31 05:29:39] 949*2^1413663-1 is not prime. Res64: 006C75D02A695043 Time : 0.0 sec. user=mdettweiler [2015-10-31 05:29:40] 629*2^1413664-1 is not prime. Res64: F9103ACA3D5D5DA4 Time : 0.0 sec. user=mdettweiler [2015-10-31 05:47:04] 873*2^1413664-1 is not prime. Res64: 583F7527692A3A82 Time : 0.0 sec. user=mdettweiler [2015-10-31 05:47:05] 927*2^1413664-1 is not prime. Res64: 8FFBCBDE1EEE7017 Time : 0.0 sec. user=mdettweiler [2015-10-31 05:47:06] 975*2^1413664-1 is not prime. Res64: 168E419070636E6D Time : 0.0 sec. user=mdettweiler [2015-10-31 05:47:07] 675*2^1413665-1 is not prime. Res64: EC6A7D801C0FFEC7 Time : 0.0 sec. user=mdettweiler [2015-10-31 05:47:08] 765*2^1413664-1 is not prime. Res64: 9ED429A26B209F69 Time : 0.0 sec. user=mdettweiler [2015-10-31 05:47:09] 843*2^1413664-1 is not prime. Res64: 325B5066B3F40074 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:04:32] 697*2^1413665-1 is not prime. Res64: 9AFB3800C9B0F1DF Time : 0.0 sec. user=mdettweiler [2015-10-31 06:04:33] 867*2^1413665-1 is not prime. Res64: A8569C9424163FE7 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:04:34] 855*2^1413665-1 is not prime. Res64: AA82483FD00DC2D5 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:04:35] 871*2^1413665-1 is not prime. Res64: 41580D2D87E70455 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:04:36] 889*2^1413665-1 is not prime. Res64: 04E4B6D92CAE791D Time : 0.0 sec. user=mdettweiler [2015-10-31 06:04:37] 611*2^1413666-1 is not prime. Res64: 32F9D49B3380240B Time : 0.0 sec. user=mdettweiler [2015-10-31 06:22:12] 861*2^1413666-1 is not prime. Res64: 409277F5E6CEAD9F Time : 0.0 sec. user=mdettweiler [2015-10-31 06:22:13] 881*2^1413666-1 is not prime. Res64: B08867E4548AD382 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:22:13] 641*2^1413666-1 is not prime. Res64: 47EC49D73A173DAA Time : 0.0 sec. user=mdettweiler [2015-10-31 06:22:14] 821*2^1413666-1 is not prime. Res64: 8357D045B29E4AE5 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:22:15] 695*2^1413666-1 is not prime. Res64: 1547ABA937156DD1 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:22:16] 893*2^1413666-1 is not prime. Res64: 41B90F1ADF896BD1 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:39:46] 733*2^1413667-1 is not prime. Res64: DF251A0EFC7A2A9E Time : 0.0 sec. user=mdettweiler [2015-10-31 06:39:46] 735*2^1413667-1 is not prime. Res64: 41642839A9BF5487 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:39:49] 993*2^1413666-1 is not prime. Res64: 03EB2E89966AF6EC Time : 0.0 sec. user=mdettweiler [2015-10-31 06:39:49] 835*2^1413667-1 is not prime. Res64: FAA9102645AB3F1E Time : 0.0 sec. user=mdettweiler [2015-10-31 06:39:49] 619*2^1413667-1 is not prime. Res64: 8F3CEB44FA8D49E2 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:39:50] 889*2^1413667-1 is not prime. Res64: 121777F147907103 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:57:13] 891*2^1413667-1 is not prime. Res64: 3B58026FD462FA22 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:57:13] 895*2^1413667-1 is not prime. Res64: 356895AD38A3B1D7 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:57:15] 915*2^1413667-1 is not prime. Res64: E495C104B94746A1 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:57:15] 919*2^1413667-1 is not prime. Res64: E251854D29179826 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:57:16] 985*2^1413667-1 is not prime. Res64: 2A3CB52199BD1A78 Time : 0.0 sec. user=mdettweiler [2015-10-31 06:57:16] 623*2^1413668-1 is not prime. Res64: 4EE6649ADA62435C Time : 0.0 sec. user=mdettweiler [2015-10-31 07:14:38] 683*2^1413668-1 is not prime. Res64: 9EFA7395A826E074 Time : 0.0 sec. user=mdettweiler [2015-10-31 07:14:39] 777*2^1413668-1 is not prime. Res64: E84C8C19A087168E Time : 0.0 sec. user=mdettweiler [2015-10-31 07:14:40] 945*2^1413668-1 is not prime. Res64: A43CE8A48E8010FA Time : 0.0 sec. user=mdettweiler [2015-10-31 07:14:41] 789*2^1413668-1 is not prime. Res64: C7F3F63EEFB0ACA3 Time : 0.0 sec. user=mdettweiler [2015-10-31 07:14:41] 959*2^1413668-1 is not prime. Res64: 8F752394DDF23945 Time : 0.0 sec. user=mdettweiler [2015-10-31 07:14:41] 855*2^1413668-1 is not prime. Res64: 0B4C63DE522299CC Time : 0.0 sec. user=mdettweiler [2015-10-31 07:32:05] 625*2^1413669-1 is not prime. Res64: 901044A1D34A9849 Time : 0.0 sec. user=mdettweiler [2015-10-31 07:32:05] 649*2^1413669-1 is not prime. Res64: BDA5A6685E19D188 Time : 0.0 sec. user=mdettweiler [2015-10-31 07:32:07] 817*2^1413669-1 is not prime. Res64: BFF2E08B1AF8847D Time : 0.0 sec. user=mdettweiler [2015-10-31 07:32:07] 835*2^1413669-1 is not prime. Res64: C75E93577BBD820C Time : 0.0 sec. user=mdettweiler [2015-10-31 07:32:08] 765*2^1413669-1 is not prime. Res64: B13F35B3DB953E16 Time : 0.0 sec. user=mdettweiler [2015-10-31 07:32:08] 787*2^1413669-1 is not prime. Res64: 49716DDC2CF7C299 Time : 0.0 sec. user=mdettweiler [2015-10-31 07:49:31] 885*2^1413669-1 is not prime. Res64: D9AB1C42FF9C8642 Time : 0.0 sec. user=mdettweiler [2015-10-31 07:49:32] 845*2^1413670-1 is not prime. Res64: DE0466BEF05CDBD0 Time : 0.0 sec. user=mdettweiler [2015-10-31 07:49:33] 619*2^1413671-1 is not prime. Res64: A11ADEA10116E70B Time : 0.0 sec. user=mdettweiler [2015-10-31 07:49:34] 753*2^1413671-1 is not prime. Res64: A227D4E4D7C9F5FE Time : 0.0 sec. user=mdettweiler [2015-10-31 07:49:34] 685*2^1413671-1 is not prime. Res64: F25EB6690F370D76 Time : 0.0 sec. user=mdettweiler [2015-10-31 07:49:34] 747*2^1413672-1 is not prime. Res64: 76FC34D1B38C922E Time : 0.0 sec. user=mdettweiler [2015-10-31 08:06:59] 915*2^1413672-1 is not prime. Res64: 275D75DC935FB006 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:06:59] 767*2^1413672-1 is not prime. Res64: 614B72E4EF91DE1B Time : 0.0 sec. user=mdettweiler [2015-10-31 08:07:00] 651*2^1413673-1 is not prime. Res64: A1DF9D4A4DE75551 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:07:01] 609*2^1413673-1 is not prime. Res64: A5AB11E84AC55AB2 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:07:02] 909*2^1413672-1 is not prime. Res64: AFED61040508A5B9 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:07:03] 687*2^1413673-1 is not prime. Res64: B4743CF4298F1347 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:24:40] 801*2^1413673-1 is not prime. Res64: 0260233E76D90788 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:24:41] 877*2^1413673-1 is not prime. Res64: C0A87EA89DCEF3B0 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:24:42] 957*2^1413673-1 is not prime. Res64: D3E572B85FFE4CED Time : 0.0 sec. user=mdettweiler [2015-10-31 08:24:42] 967*2^1413673-1 is not prime. Res64: B2DCF7B5C8C25DC9 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:24:44] 915*2^1413673-1 is not prime. Res64: 56D01FE4D9D9E167 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:24:44] 919*2^1413673-1 is not prime. Res64: 743F499D2E1B645F Time : 0.0 sec. user=mdettweiler [2015-10-31 08:42:06] 743*2^1413674-1 is not prime. Res64: 25EA9EBFC5F87E79 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:42:07] 785*2^1413674-1 is not prime. Res64: FDEAC2740A00A4B8 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:42:08] 649*2^1413675-1 is not prime. Res64: 207D870B1FA310A7 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:42:09] 663*2^1413675-1 is not prime. Res64: BD3C74F812B6091C Time : 0.0 sec. user=mdettweiler [2015-10-31 08:42:10] 797*2^1413674-1 is not prime. Res64: 61872E9DB8D8309D Time : 0.0 sec. user=mdettweiler [2015-10-31 08:42:10] 923*2^1413674-1 is not prime. Res64: C8C2316DCFC74003 Time : 0.0 sec. user=mdettweiler [2015-10-31 08:59:32] 675*2^1413675-1 is not prime. Res64: 1190A20884C905CB Time : 0.0 sec. user=mdettweiler [2015-10-31 08:59:33] 765*2^1413675-1 is not prime. Res64: 748ECA204C26BADF Time : 0.0 sec. user=mdettweiler [2015-10-31 08:59:35] 955*2^1413675-1 is not prime. Res64: A4BE0860623651EF Time : 0.0 sec. user=mdettweiler [2015-10-31 08:59:35] 707*2^1413676-1 is not prime. Res64: 8CD959A0C161BFCE Time : 0.0 sec. user=mdettweiler [2015-10-31 08:59:36] 653*2^1413676-1 is not prime. Res64: 5C8B615FC26C8B6D Time : 0.0 sec. user=mdettweiler [2015-10-31 08:59:36] 723*2^1413676-1 is not prime. Res64: B464F3997ABE052D Time : 0.0 sec. user=mdettweiler [2015-10-31 09:17:03] 855*2^1413676-1 is not prime. Res64: 6E74A2DCDE49A84D Time : 0.0 sec. user=mdettweiler [2015-10-31 09:17:03] 615*2^1413677-1 is not prime. Res64: E58A68013EA9905B Time : 0.0 sec. user=mdettweiler [2015-10-31 09:17:03] 965*2^1413676-1 is not prime. Res64: ABCADBE35967FA35 Time : 0.0 sec. user=mdettweiler [2015-10-31 09:17:03] 619*2^1413677-1 is not prime. Res64: DF2F0D6C5661DCD4 Time : 0.0 sec. user=mdettweiler [2015-10-31 09:17:06] 785*2^1413676-1 is not prime. Res64: 29FE56C1E3D9A9E0 Time : 0.0 sec. user=mdettweiler [2015-10-31 09:17:06] 825*2^1413676-1 is not prime. Res64: 7D62093CDC91FD82 Time : 0.0 sec. user=mdettweiler [2015-10-31 09:34:31] 815*2^1413678-1 is not prime. Res64: 10FD59D397D848D1 Time : 0.0 sec. user=mdettweiler [2015-10-31 09:34:31] 801*2^1413677-1 is not prime. Res64: 51315FBFE2A9D883 Time : 0.0 sec. user=mdettweiler [2015-10-31 09:34:31] 821*2^1413678-1 is not prime. Res64: C7A1A41975E1263B Time : 0.0 sec. user=mdettweiler [2015-10-31 09:34:31] 791*2^1413678-1 is not prime. Res64: D0038A2831583E34 Time : 0.0 sec. user=mdettweiler [2015-10-31 09:34:32] 715*2^1413677-1 is not prime. Res64: 9736EB9A2801CFEA Time : 0.0 sec. user=mdettweiler [2015-10-31 09:34:32] 729*2^1413677-1 is not prime. Res64: 79153B807E76E509 Time : 0.0 sec. user=mdettweiler [2015-10-31 09:51:56] 887*2^1413678-1 is not prime. Res64: 0584521F98B08EA0 Time : 0.0 sec. user=mdettweiler [2015-10-31 09:51:56] 609*2^1413679-1 is not prime. Res64: F4E33576EF93C3F6 Time : 0.0 sec. user=mdettweiler [2015-10-31 09:51:57] 763*2^1413679-1 is not prime. Res64: AEAE47882D5438CA Time : 0.0 sec. user=mdettweiler [2015-10-31 09:51:57] 745*2^1413679-1 is not prime. Res64: B30BB489E34C7B7D Time : 0.0 sec. user=mdettweiler [2015-10-31 09:51:57] 771*2^1413679-1 is not prime. Res64: 594EE3B0E8E7E76E Time : 0.0 sec. user=mdettweiler [2015-10-31 09:51:58] 751*2^1413679-1 is not prime. Res64: B480B9A66449B60B Time : 0.0 sec. user=mdettweiler [2015-10-31 10:09:22] 829*2^1413679-1 is not prime. Res64: 2ABEF35B97A4A927 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:09:23] 895*2^1413679-1 is not prime. Res64: A089514542C6D31C Time : 0.0 sec. user=mdettweiler [2015-10-31 10:09:23] 859*2^1413679-1 is not prime. Res64: 17B029C01E8E4CE6 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:09:23] 873*2^1413679-1 is not prime. Res64: E36A5FF0530A2F53 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:09:23] 961*2^1413679-1 is not prime. Res64: D2C72ED8A6E45FA7 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:09:23] 891*2^1413679-1 is not prime. Res64: 52A8D029DB9B0267 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:26:53] 649*2^1413681-1 is not prime. Res64: 94C3061D8737FA2D Time : 0.0 sec. user=mdettweiler [2015-10-31 10:26:53] 713*2^1413680-1 is not prime. Res64: A5F2182276C5131B Time : 0.0 sec. user=mdettweiler [2015-10-31 10:26:53] 657*2^1413681-1 is not prime. Res64: 914A3E7E02ABE594 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:26:53] 615*2^1413681-1 is not prime. Res64: 911963D77E1411E8 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:26:59] 663*2^1413680-1 is not prime. Res64: ADE5B55970D97BB0 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:27:00] 917*2^1413680-1 is not prime. Res64: 976734D98E9AB33A Time : 0.0 sec. user=mdettweiler [2015-10-31 10:44:19] 705*2^1413681-1 is not prime. Res64: 69F8EC57BC3F8F8E Time : 0.0 sec. user=mdettweiler [2015-10-31 10:44:20] 747*2^1413681-1 is not prime. Res64: 16F4B428111CFFE2 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:44:23] 847*2^1413681-1 is not prime. Res64: 8152BCC07EEB55A6 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:44:23] 871*2^1413681-1 is not prime. Res64: 9CD51BB8188D8821 Time : 0.0 sec. user=mdettweiler [2015-10-31 10:44:26] 909*2^1413681-1 is not prime. Res64: A9BEB1FE74332B5F Time : 0.0 sec. user=mdettweiler [2015-10-31 10:44:26] 987*2^1413681-1 is not prime. Res64: 6B23B0A41748F21B Time : 0.0 sec. user=mdettweiler [2015-10-31 11:01:44] 665*2^1413682-1 is not prime. Res64: C8C82534DDD0284C Time : 0.0 sec. user=mdettweiler [2015-10-31 11:01:45] 867*2^1413682-1 is not prime. Res64: A738597F87C65F6C Time : 0.0 sec. user=mdettweiler [2015-10-31 11:01:49] 941*2^1413682-1 is not prime. Res64: 8F3E6AC8B73A20B3 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:01:50] 693*2^1413683-1 is not prime. Res64: B414C17D43B1154F Time : 0.0 sec. user=mdettweiler [2015-10-31 11:01:52] 753*2^1413683-1 is not prime. Res64: 975E27FC30013563 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:01:53] 861*2^1413683-1 is not prime. Res64: FEED0CBF33122E5C Time : 0.0 sec. user=mdettweiler [2015-10-31 11:19:30] 871*2^1413683-1 is not prime. Res64: 27EF0E974C609C57 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:19:30] 615*2^1413684-1 is not prime. Res64: 7DD440D49A35A783 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:19:31] 627*2^1413684-1 is not prime. Res64: 986683D4A4B37E1D Time : 0.0 sec. user=mdettweiler [2015-10-31 11:19:32] 663*2^1413684-1 is not prime. Res64: 297AD695B53AB1FA Time : 0.0 sec. user=mdettweiler [2015-10-31 11:19:32] 635*2^1413684-1 is not prime. Res64: 3DA35712583D6721 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:19:32] 803*2^1413684-1 is not prime. Res64: F06A1DFC3C583AB8 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:36:57] 825*2^1413684-1 is not prime. Res64: 8194A5659DD5FBB8 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:36:58] 957*2^1413684-1 is not prime. Res64: D751E8D25CDB0A8A Time : 0.0 sec. user=mdettweiler [2015-10-31 11:36:58] 645*2^1413685-1 is not prime. Res64: 23421C5563B042D7 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:36:58] 887*2^1413684-1 is not prime. Res64: 392C9ACD67E1CC8F Time : 0.0 sec. user=mdettweiler [2015-10-31 11:36:58] 965*2^1413684-1 is not prime. Res64: 86180FC1B7299F77 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:36:58] 699*2^1413685-1 is not prime. Res64: 9D0537E914FD82E7 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:54:26] 999*2^1413685-1 is not prime. Res64: B8021A37BA5B543E Time : 0.0 sec. user=mdettweiler [2015-10-31 11:54:26] 663*2^1413686-1 is not prime. Res64: D9CC3333D411E5DE Time : 0.0 sec. user=mdettweiler [2015-10-31 11:54:26] 641*2^1413686-1 is not prime. Res64: E7BBA29CA07D74E8 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:54:26] 693*2^1413686-1 is not prime. Res64: 53671B5189723426 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:54:27] 715*2^1413685-1 is not prime. Res64: 92C44318897D4E57 Time : 0.0 sec. user=mdettweiler [2015-10-31 11:54:27] 985*2^1413685-1 is not prime. Res64: 044B86897C71AE9F Time : 0.0 sec. user=mdettweiler [2015-10-31 12:11:53] 861*2^1413686-1 is not prime. Res64: 6CD60E634036E2F4 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:11:53] 741*2^1413686-1 is not prime. Res64: 4335E800B19D1DF5 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:11:53] 707*2^1413686-1 is not prime. Res64: 7BA83755349A6522 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:11:53] 867*2^1413686-1 is not prime. Res64: 5695CEDBAE56543F Time : 0.0 sec. user=mdettweiler [2015-10-31 12:11:53] 755*2^1413686-1 is not prime. Res64: 6EE6952A0AED1643 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:11:54] 717*2^1413686-1 is not prime. Res64: CAC828148B554A97 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:29:21] 619*2^1413687-1 is not prime. Res64: 91CB6C3FFF3F5E2E Time : 0.0 sec. user=mdettweiler [2015-10-31 12:29:21] 703*2^1413687-1 is not prime. Res64: 80B7266AC69CCA70 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:29:21] 873*2^1413686-1 is not prime. Res64: BCE1FA54552C6A4B Time : 0.0 sec. user=mdettweiler [2015-10-31 12:29:22] 685*2^1413687-1 is not prime. Res64: E0243A439B485B9B Time : 0.0 sec. user=mdettweiler [2015-10-31 12:29:22] 739*2^1413687-1 is not prime. Res64: FBE331D419F73C7D Time : 0.0 sec. user=mdettweiler [2015-10-31 12:29:22] 911*2^1413686-1 is not prime. Res64: CF906F117A7BE1C4 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:46:48] 741*2^1413687-1 is not prime. Res64: AC863D582E05A286 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:46:49] 765*2^1413687-1 is not prime. Res64: 36BCB68E0D3BAA64 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:46:49] 603*2^1413688-1 is not prime. Res64: F83BFE2C117D952D Time : 0.0 sec. user=mdettweiler [2015-10-31 12:46:49] 615*2^1413688-1 is not prime. Res64: 20629E35AFA1CC82 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:46:50] 945*2^1413687-1 is not prime. Res64: 620CA71C51ACF823 Time : 0.0 sec. user=mdettweiler [2015-10-31 12:46:50] 955*2^1413687-1 is not prime. Res64: 6B819ED77FF2069A Time : 0.0 sec. user=mdettweiler [2015-10-31 13:04:33] 635*2^1413688-1 is not prime. Res64: B6D00C6F5A6BD2D9 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:04:35] 699*2^1413688-1 is not prime. Res64: D4BCD453AED57BF8 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:04:39] 735*2^1413688-1 is not prime. Res64: 40FE544E134A665C Time : 0.0 sec. user=mdettweiler [2015-10-31 13:04:40] 743*2^1413688-1 is not prime. Res64: ACE7651440C916D1 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:04:40] 839*2^1413688-1 is not prime. Res64: 1B12446FA44E679E Time : 0.0 sec. user=mdettweiler [2015-10-31 13:04:41] 869*2^1413688-1 is not prime. Res64: 560737AA56924A7B Time : 0.0 sec. user=mdettweiler [2015-10-31 13:22:29] 875*2^1413688-1 is not prime. Res64: 1AB8E83FF0A9708A Time : 0.0 sec. user=mdettweiler [2015-10-31 13:22:29] 959*2^1413688-1 is not prime. Res64: 25D458117C6B1796 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:22:29] 989*2^1413688-1 is not prime. Res64: 7A215386E2A0E68C Time : 0.0 sec. user=mdettweiler [2015-10-31 13:22:30] 995*2^1413688-1 is not prime. Res64: 689E74D6D1137000 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:22:30] 685*2^1413689-1 is not prime. Res64: 2F5F73ABE8E7F464 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:22:30] 741*2^1413689-1 is not prime. Res64: 9C792EE0312D7225 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:39:56] 861*2^1413689-1 is not prime. Res64: 7F1B6B6AE3C8B77D Time : 0.0 sec. user=mdettweiler [2015-10-31 13:39:56] 725*2^1413690-1 is not prime. Res64: 66A2CE6A503A33AA Time : 0.0 sec. user=mdettweiler [2015-10-31 13:39:56] 909*2^1413689-1 is not prime. Res64: 4A94405DF0534456 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:39:57] 783*2^1413690-1 is not prime. Res64: 09DD80FC5F1EE58B Time : 0.0 sec. user=mdettweiler [2015-10-31 13:39:57] 611*2^1413690-1 is not prime. Res64: 17E6E61D845D7D14 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:39:57] 615*2^1413690-1 is not prime. Res64: 4B1D930BB820C975 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:57:23] 855*2^1413691-1 is not prime. Res64: 4AF8A20715FAAE8A Time : 0.0 sec. user=mdettweiler [2015-10-31 13:57:23] 861*2^1413691-1 is not prime. Res64: DD4EB4877367D492 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:57:24] 771*2^1413691-1 is not prime. Res64: B689D54F1A3C8E3E Time : 0.0 sec. user=mdettweiler [2015-10-31 13:57:24] 849*2^1413691-1 is not prime. Res64: C6801AB43697DD02 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:57:24] 601*2^1413691-1 is not prime. Res64: FA7E1E21880ADDD1 Time : 0.0 sec. user=mdettweiler [2015-10-31 13:57:25] 715*2^1413691-1 is not prime. Res64: 18B18E9A29E6B992 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:14:50] 871*2^1413691-1 is not prime. Res64: 87640F43A1D29F1C Time : 0.0 sec. user=mdettweiler [2015-10-31 14:14:51] 913*2^1413691-1 is not prime. Res64: 1A67F22A19C68C78 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:14:51] 961*2^1413691-1 is not prime. Res64: 6B3874E461E6DC73 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:14:51] 785*2^1413692-1 is not prime. Res64: DF19D50B759D8020 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:14:52] 669*2^1413692-1 is not prime. Res64: 0DA365BB576DABFA Time : 0.0 sec. user=mdettweiler [2015-10-31 14:14:52] 879*2^1413692-1 is not prime. Res64: 6EBCA0080B3D6179 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:32:32] 977*2^1413692-1 is not prime. Res64: 1E8563A9F264B6D8 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:32:33] 685*2^1413693-1 is not prime. Res64: 9B151A631F44061E Time : 0.0 sec. user=mdettweiler [2015-10-31 14:32:33] 817*2^1413693-1 is not prime. Res64: B2D5D42B03361DD6 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:32:33] 847*2^1413693-1 is not prime. Res64: 3E5C75D7944E0F59 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:33:46] 639*2^1413693-1 is not prime. Res64: 350C7AD06438E9D0 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:33:46] 727*2^1413693-1 is not prime. Res64: D2F95F64597CF5B2 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:50:00] 937*2^1413693-1 is not prime. Res64: 4879EC7D7460DBCE Time : 0.0 sec. user=mdettweiler [2015-10-31 14:50:01] 681*2^1413694-1 is not prime. Res64: 1CA22A120D44BA0A Time : 0.0 sec. user=mdettweiler [2015-10-31 14:50:03] 827*2^1413694-1 is not prime. Res64: C9FBE1E951EAA6D8 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:50:04] 833*2^1413694-1 is not prime. Res64: 8F2F6D7829851074 Time : 0.0 sec. user=mdettweiler [2015-10-31 14:51:12] 983*2^1413694-1 is not prime. Res64: CE9B9BF752FE401C Time : 0.0 sec. user=mdettweiler [2015-10-31 14:51:12] 987*2^1413694-1 is not prime. Res64: FF20AACC00017D33 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:07:27] 601*2^1413695-1 is not prime. Res64: 07FB5690083BAA8C Time : 0.0 sec. user=mdettweiler [2015-10-31 15:07:27] 619*2^1413695-1 is not prime. Res64: 52125C61E88AE40A Time : 0.0 sec. user=mdettweiler [2015-10-31 15:07:30] 693*2^1413695-1 is not prime. Res64: C851C91C5DFB5C25 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:07:31] 921*2^1413695-1 is not prime. Res64: 6A164BECFBD3A8D4 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:08:40] 943*2^1413695-1 is not prime. Res64: BF04D664E6A174F1 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:08:40] 689*2^1413696-1 is not prime. Res64: 3191B3A85096C66A Time : 0.0 sec. user=mdettweiler [2015-10-31 15:24:56] 857*2^1413696-1 is not prime. Res64: 6B75163222D06449 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:24:57] 905*2^1413696-1 is not prime. Res64: 1687EE6BD2DA697C Time : 0.0 sec. user=mdettweiler [2015-10-31 15:24:58] 825*2^1413696-1 is not prime. Res64: 4FB53FF2587C5AD8 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:24:58] 845*2^1413696-1 is not prime. Res64: 07182F7450F8A662 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:26:05] 945*2^1413696-1 is not prime. Res64: D99BFFE6B895C01E Time : 0.0 sec. user=mdettweiler [2015-10-31 15:26:06] 637*2^1413697-1 is not prime. Res64: F81560F3803349D8 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:42:23] 777*2^1413697-1 is not prime. Res64: 6EE06710D4890CA0 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:42:24] 847*2^1413697-1 is not prime. Res64: E1965EABDB03967B Time : 0.0 sec. user=mdettweiler [2015-10-31 15:42:27] 699*2^1413697-1 is not prime. Res64: AA4FDAF724393E9C Time : 0.0 sec. user=mdettweiler [2015-10-31 15:42:28] 741*2^1413697-1 is not prime. Res64: 7875A02BB345D80D Time : 0.0 sec. user=mdettweiler [2015-10-31 15:43:31] 867*2^1413697-1 is not prime. Res64: DA58CC17BEBFF368 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:43:32] 885*2^1413697-1 is not prime. Res64: 3E0C548C4E8868A6 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:59:48] 897*2^1413697-1 is not prime. Res64: 243B577B4981BEA7 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:59:48] 731*2^1413698-1 is not prime. Res64: B3CB1645C18555D4 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:59:52] 753*2^1413698-1 is not prime. Res64: 2DCF5A2E52A24798 Time : 0.0 sec. user=mdettweiler [2015-10-31 15:59:52] 755*2^1413698-1 is not prime. Res64: 0F6607BEF3256644 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:00:55] 773*2^1413698-1 is not prime. Res64: BF574500D153BF42 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:00:56] 797*2^1413698-1 is not prime. Res64: 5DF83D8BE2997A30 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:17:17] 911*2^1413698-1 is not prime. Res64: 0B80EBFA35DF593E Time : 0.0 sec. user=mdettweiler [2015-10-31 16:17:18] 923*2^1413698-1 is not prime. Res64: 8A06BDEE0D1D8AEC Time : 0.0 sec. user=mdettweiler [2015-10-31 16:17:20] 639*2^1413699-1 is not prime. Res64: E82BA42A2671B0EC Time : 0.0 sec. user=mdettweiler [2015-10-31 16:17:20] 691*2^1413699-1 is not prime. Res64: 9E546B2D9E5D2220 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:18:24] 885*2^1413699-1 is not prime. Res64: EB955824242CD927 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:18:24] 949*2^1413699-1 is not prime. Res64: B0A0B5375E5BE3BC Time : 0.0 sec. user=mdettweiler [2015-10-31 16:34:44] 875*2^1413700-1 is not prime. Res64: 2773EA4F29664FB1 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:34:44] 885*2^1413700-1 is not prime. Res64: 73E4ACD1F4FB5887 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:34:45] 635*2^1413700-1 is not prime. Res64: A8A7847AACB45C62 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:34:45] 803*2^1413700-1 is not prime. Res64: 3E049683F3F12357 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:35:48] 929*2^1413700-1 is not prime. Res64: 4740B5800026F961 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:35:49] 983*2^1413700-1 is not prime. Res64: 324F961FC47B2DF6 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:52:10] 631*2^1413701-1 is not prime. Res64: 9390AC6D619091EA Time : 0.0 sec. user=mdettweiler [2015-10-31 16:52:10] 777*2^1413701-1 is not prime. Res64: 845D1B1CB216919C Time : 0.0 sec. user=mdettweiler [2015-10-31 16:52:10] 747*2^1413701-1 is not prime. Res64: 39DD41673D5E0B7C Time : 0.0 sec. user=mdettweiler [2015-10-31 16:52:11] 837*2^1413701-1 is not prime. Res64: AAD77E5E422B90AE Time : 0.0 sec. user=mdettweiler [2015-10-31 16:53:13] 981*2^1413701-1 is not prime. Res64: 18650C4CB66BEC43 Time : 0.0 sec. user=mdettweiler [2015-10-31 16:53:14] 695*2^1413702-1 is not prime. Res64: 47C8E3C93D4FC841 Time : 0.0 sec. user=mdettweiler [2015-10-31 17:09:37] 807*2^1413702-1 is not prime. Res64: B256E93C258D1877 Time : 0.0 sec. user=mdettweiler [2015-10-31 17:09:37] 711*2^1413702-1 is not prime. Res64: C08F744686217718 Time : 0.0 sec. user=mdettweiler [2015-10-31 17:09:37] 815*2^1413702-1 is not prime. Res64: 8301C90790060739 Time : 0.0 sec. user=mdettweiler [2015-10-31 17:09:37] 801*2^1413702-1 is not prime. Res64: 9C601AEE7F19DE7E Time : 0.0 sec. user=mdettweiler [2015-10-31 17:10:41] 947*2^1413702-1 is not prime. Res64: C8F249E9F4DD3656 Time : 0.0 sec. user=mdettweiler [2015-10-31 17:10:41] 609*2^1413703-1 is not prime. Res64: 04625FD3594AFBB5 Time : 0.0 sec. user=mdettweiler [2015-10-31 17:27:06] 663*2^1413703-1 is not prime. Res64: EE99CD3E55701D5B Time : 0.0 sec. user=mdettweiler [2015-10-31 17:27:06] 625*2^1413703-1 is not prime. Res64: AD890F815F48916A Time : 0.0 sec. user=mdettweiler [2015-10-31 17:27:06] 693*2^1413703-1 is not prime. Res64: 7CAFC038C293026C Time : 0.0 sec. user=mdettweiler [2015-10-31 17:27:06] 649*2^1413703-1 is not prime. Res64: 87547BDF8999AC2B Time : 0.0 sec. user=mdettweiler [2015-10-31 17:28:06] 703*2^1413703-1 is not prime. Res64: A9416F4433706795 Time : 0.0 sec. user=mdettweiler [2015-10-31 17:28:07] 723*2^1413703-1 is not prime. Res64: 1C99FAEC7B1B51CA Time : 0.0 sec. user=mdettweiler [2015-10-31 17:44:32] 719*2^1413704-1 is not prime. Res64: 07DF0D6C60C7E9DC Time : 0.0 sec. user=mdettweiler [2015-10-31 17:44:33] 725*2^1413704-1 is not prime. Res64: AACF14B4FCB567E4 Time : 0.0 sec. user=mdettweiler [2015-10-31 17:44:36] 771*2^1413703-1 is not prime. Res64: 2C5FAFEE2B47597A Time : 0.0 sec. user=mdettweiler [2015-10-31 17:44:36] 687*2^1413704-1 is not prime. Res64: 7716911D658143AF Time : 0.0 sec. user=mdettweiler [2015-10-31 17:45:34] 813*2^1413704-1 is not prime. Res64: 0EDC754E297BB5EA Time : 0.0 sec. user=mdettweiler [2015-10-31 17:45:34] 679*2^1413705-1 is not prime. Res64: 86022D84ED23F699 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:02:00] 759*2^1413705-1 is not prime. Res64: BA64FD5206219001 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:02:01] 787*2^1413705-1 is not prime. Res64: 0DE83F333EE4D30B Time : 0.0 sec. user=mdettweiler [2015-10-31 18:02:03] 895*2^1413705-1 is not prime. Res64: 890ADEB1509CAEE6 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:02:04] 921*2^1413705-1 is not prime. Res64: 2DE5399AADAB17CF Time : 0.0 sec. user=mdettweiler [2015-10-31 18:03:00] 937*2^1413705-1 is not prime. Res64: CBBAB25ABA780A94 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:03:01] 979*2^1413705-1 is not prime. Res64: CBCD8B5B9C540BEE Time : 0.0 sec. user=mdettweiler [2015-10-31 18:19:40] 723*2^1413706-1 is not prime. Res64: 3DE0F8E47C9D54DD Time : 0.0 sec. user=mdettweiler [2015-10-31 18:19:40] 617*2^1413706-1 is not prime. Res64: 0AFC5D0EDCD48FD9 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:19:40] 657*2^1413706-1 is not prime. Res64: B9C6401241142763 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:19:40] 957*2^1413706-1 is not prime. Res64: 2957DA2193586CC6 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:20:28] 983*2^1413706-1 is not prime. Res64: 6A42353045B753DE Time : 0.0 sec. user=mdettweiler [2015-10-31 18:20:29] 601*2^1413707-1 is not prime. Res64: 621AED3EFA79BCE5 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:37:04] 741*2^1413707-1 is not prime. Res64: BE457BE3636ECCC2 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:37:05] 883*2^1413707-1 is not prime. Res64: 761988855FBB0538 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:37:05] 703*2^1413707-1 is not prime. Res64: 52F13248980CA24A Time : 0.0 sec. user=mdettweiler [2015-10-31 18:37:06] 733*2^1413707-1 is not prime. Res64: CD1D4A394C05192C Time : 0.0 sec. user=mdettweiler [2015-10-31 18:37:54] 605*2^1413708-1 is not prime. Res64: BB006030D4293854 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:37:54] 723*2^1413708-1 is not prime. Res64: C5B5C058F9FFD609 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:54:34] 725*2^1413708-1 is not prime. Res64: 248D51C3AF358A5C Time : 0.0 sec. user=mdettweiler [2015-10-31 18:54:34] 767*2^1413708-1 is not prime. Res64: EA4EB2B235EC9B52 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:54:34] 839*2^1413708-1 is not prime. Res64: 910C007F2871B0E1 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:54:35] 875*2^1413708-1 is not prime. Res64: 2224E8ADDFBA87E6 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:55:21] 887*2^1413708-1 is not prime. Res64: 7A217D729FDA7665 Time : 0.0 sec. user=mdettweiler [2015-10-31 18:55:21] 959*2^1413708-1 is not prime. Res64: A2D8CFB5C130C6A8 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:12:01] 729*2^1413709-1 is not prime. Res64: AA0828273F16C3D7 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:12:01] 621*2^1413709-1 is not prime. Res64: B2DD77A4869A1D60 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:12:01] 757*2^1413709-1 is not prime. Res64: 8AB6A43DF075D248 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:12:01] 649*2^1413709-1 is not prime. Res64: 85B627A5AF1977CB Time : 0.0 sec. user=mdettweiler [2015-10-31 19:12:47] 789*2^1413709-1 is not prime. Res64: F63749E9687AE2D9 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:12:47] 817*2^1413709-1 is not prime. Res64: 1A2388CA037988AB Time : 0.0 sec. user=mdettweiler [2015-10-31 19:29:27] 895*2^1413709-1 is not prime. Res64: 18B29ED78EB1700B Time : 0.0 sec. user=mdettweiler [2015-10-31 19:29:27] 999*2^1413709-1 is not prime. Res64: CF3857A08B95B5FC Time : 0.0 sec. user=mdettweiler [2015-10-31 19:29:28] 665*2^1413710-1 is not prime. Res64: 979AC375687B7895 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:29:29] 761*2^1413710-1 is not prime. Res64: 326B7E898A9EF9B9 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:30:12] 827*2^1413710-1 is not prime. Res64: 54DF1F67D6EFB642 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:30:12] 927*2^1413710-1 is not prime. Res64: E9866D9C5C7038C7 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:46:53] 941*2^1413710-1 is not prime. Res64: 74E44E4EA8A3FCC4 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:46:53] 823*2^1413711-1 is not prime. Res64: D9000BECE9659991 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:46:54] 977*2^1413710-1 is not prime. Res64: C73473C97826078A Time : 0.0 sec. user=mdettweiler [2015-10-31 19:46:54] 859*2^1413711-1 is not prime. Res64: F8A542BC75B80711 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:47:37] 951*2^1413711-1 is not prime. Res64: 6BF833F6ACF1C8D9 Time : 0.0 sec. user=mdettweiler [2015-10-31 19:47:38] 955*2^1413711-1 is not prime. Res64: 39D4030E853BDB5C Time : 0.0 sec. user=mdettweiler [2015-10-31 20:04:22] 645*2^1413712-1 is not prime. Res64: C385282953246423 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:04:23] 999*2^1413711-1 is not prime. Res64: 7DF7FE9E23B31F77 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:04:24] 687*2^1413712-1 is not prime. Res64: ACF5129E1ED97222 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:04:26] 615*2^1413712-1 is not prime. Res64: C145C3D3065A4134 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:05:05] 699*2^1413712-1 is not prime. Res64: 6E1944B8FAEEC994 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:05:06] 705*2^1413712-1 is not prime. Res64: CE7CEC7F51F6FC24 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:22:07] 743*2^1413712-1 is not prime. Res64: 19CE2771802B7B31 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:22:08] 755*2^1413712-1 is not prime. Res64: 18D50C89E0646CFB Time : 0.0 sec. user=mdettweiler [2015-10-31 20:22:08] 897*2^1413712-1 is not prime. Res64: 8D56F05F346F3537 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:22:08] 947*2^1413712-1 is not prime. Res64: 562CD86F89BC124A Time : 0.0 sec. user=mdettweiler [2015-10-31 20:22:33] 989*2^1413712-1 is not prime. Res64: F568B8D1D4FEE787 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:22:33] 607*2^1413713-1 is not prime. Res64: 6570610FCAD64E42 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:39:36] 631*2^1413713-1 is not prime. Res64: C7872C72F38C1DD0 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:39:36] 735*2^1413713-1 is not prime. Res64: D14FA048C0BE0921 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:39:37] 805*2^1413713-1 is not prime. Res64: A259D78D45713513 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:39:37] 897*2^1413713-1 is not prime. Res64: 70932BCBEA33A9EE Time : 0.0 sec. user=mdettweiler [2015-10-31 20:39:59] 937*2^1413713-1 is not prime. Res64: ED99F2E8375DB44B Time : 0.0 sec. user=mdettweiler [2015-10-31 20:40:00] 951*2^1413713-1 is not prime. Res64: DB4DEB2236EDCF47 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:57:02] 683*2^1413714-1 is not prime. Res64: CACDB8723A118709 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:57:02] 705*2^1413714-1 is not prime. Res64: 05CF5F081C1A7A4F Time : 0.0 sec. user=mdettweiler [2015-10-31 20:57:03] 635*2^1413714-1 is not prime. Res64: 2231CEBEBFD0FA50 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:57:04] 657*2^1413714-1 is not prime. Res64: A04554FE609920F5 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:57:25] 741*2^1413714-1 is not prime. Res64: 4966DB3CCE3364A8 Time : 0.0 sec. user=mdettweiler [2015-10-31 20:57:25] 783*2^1413714-1 is not prime. Res64: 967690D2FD882FD3 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:14:31] 825*2^1413714-1 is not prime. Res64: D5A927D744145CF9 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:14:31] 947*2^1413714-1 is not prime. Res64: 281B2B4C96E69428 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:14:33] 609*2^1413715-1 is not prime. Res64: 1140BAF97A3DC7FD Time : 0.0 sec. user=mdettweiler [2015-10-31 21:14:33] 625*2^1413715-1 is not prime. Res64: 08CD43C285B44CDF Time : 0.0 sec. user=mdettweiler [2015-10-31 21:14:51] 631*2^1413715-1 is not prime. Res64: EADD90B47A844C5D Time : 0.0 sec. user=mdettweiler [2015-10-31 21:14:52] 673*2^1413715-1 is not prime. Res64: B99ADEAA6CF81D35 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:31:57] 691*2^1413715-1 is not prime. Res64: DD0A130B32A02B33 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:31:58] 751*2^1413715-1 is not prime. Res64: 40CDF2D1A25CF0A8 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:31:59] 759*2^1413715-1 is not prime. Res64: 5A0CE5141377CF35 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:31:59] 853*2^1413715-1 is not prime. Res64: 8BC47A09125CF414 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:32:19] 973*2^1413715-1 is not prime. Res64: 1C2F37CDC4509A9A Time : 0.0 sec. user=mdettweiler [2015-10-31 21:32:19] 999*2^1413715-1 is not prime. Res64: 968471BBD25DEBF5 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:49:24] 669*2^1413716-1 is not prime. Res64: DC367A6973FA2186 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:49:24] 675*2^1413716-1 is not prime. Res64: 4611C661B3D96159 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:49:25] 725*2^1413716-1 is not prime. Res64: F4E20EEBF76817D4 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:49:26] 777*2^1413716-1 is not prime. Res64: A84E35D6C9334173 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:49:44] 825*2^1413716-1 is not prime. Res64: 65093095151C4B19 Time : 0.0 sec. user=mdettweiler [2015-10-31 21:49:45] 845*2^1413716-1 is not prime. Res64: 800507986AADDCAC Time : 0.0 sec. user=mdettweiler [2015-10-31 22:06:52] 873*2^1413716-1 is not prime. Res64: C71F6578BF0168A1 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:06:52] 879*2^1413716-1 is not prime. Res64: 78B10069DF50DE49 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:06:53] 893*2^1413716-1 is not prime. Res64: 2C5DE0EC5E4AA12C Time : 0.0 sec. user=mdettweiler [2015-10-31 22:06:54] 899*2^1413716-1 is not prime. Res64: 18A18DA1DB53DD97 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:07:11] 649*2^1413717-1 is not prime. Res64: 85FB2734933AD2BE Time : 0.0 sec. user=mdettweiler [2015-10-31 22:07:12] 741*2^1413717-1 is not prime. Res64: E52485EC6A50C015 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:24:34] 805*2^1413717-1 is not prime. Res64: AC1FE58735D1A042 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:24:34] 919*2^1413717-1 is not prime. Res64: C2D76996CF30B909 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:24:34] 837*2^1413717-1 is not prime. Res64: 4A385D04A3CB280D Time : 0.0 sec. user=mdettweiler [2015-10-31 22:24:34] 945*2^1413717-1 is not prime. Res64: A416B3CBE56A3402 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:24:49] 623*2^1413718-1 is not prime. Res64: 3E8E5251AA1B10DE Time : 0.0 sec. user=mdettweiler [2015-10-31 22:24:50] 651*2^1413718-1 is not prime. Res64: 526BC44DDD5830E6 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:42:46] 609*2^1413719-1 is not prime. Res64: 49E0C54B936FC127 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:42:47] 675*2^1413719-1 is not prime. Res64: 2A0DAC67A8038D2A Time : 0.0 sec. user=mdettweiler [2015-10-31 22:42:49] 747*2^1413718-1 is not prime. Res64: AEE025428E87F84B Time : 0.0 sec. user=mdettweiler [2015-10-31 22:42:50] 933*2^1413718-1 is not prime. Res64: 77512C31F2D438D0 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:43:00] 679*2^1413719-1 is not prime. Res64: 0B6F0C344FCE17F6 Time : 0.0 sec. user=mdettweiler [2015-10-31 22:43:01] 811*2^1413719-1 is not prime. Res64: 181BC6474C2660A3 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:00:21] 889*2^1413719-1 is not prime. Res64: EF631CFA22633131 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:00:22] 913*2^1413719-1 is not prime. Res64: 91E90F51C17EB9B9 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:00:23] 949*2^1413719-1 is not prime. Res64: E923990526C63AAE Time : 0.0 sec. user=mdettweiler [2015-10-31 23:00:25] 627*2^1413720-1 is not prime. Res64: 05D4B3AF826C961C Time : 0.0 sec. user=mdettweiler [2015-10-31 23:00:29] 635*2^1413720-1 is not prime. Res64: C3261FB07F630489 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:00:30] 719*2^1413720-1 is not prime. Res64: 9CCD104F3B6B47AB Time : 0.0 sec. user=mdettweiler [2015-10-31 23:17:57] 747*2^1413720-1 is not prime. Res64: 7599E8D02FBA3559 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:17:57] 779*2^1413720-1 is not prime. Res64: BDE44D5468099FB1 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:17:58] 935*2^1413720-1 is not prime. Res64: 9394E4E8122F0D8D Time : 0.0 sec. user=mdettweiler [2015-10-31 23:17:58] 609*2^1413721-1 is not prime. Res64: D108483EE2C158B4 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:17:59] 863*2^1413720-1 is not prime. Res64: 104D64DF887F1983 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:18:00] 915*2^1413720-1 is not prime. Res64: 8093E2C1AF743E11 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:35:27] 615*2^1413721-1 is not prime. Res64: 45F9C7B606144C80 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:35:28] 717*2^1413721-1 is not prime. Res64: 1CF4FF78928F30D4 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:35:29] 747*2^1413721-1 is not prime. Res64: D8A564F33C3E673D Time : 0.0 sec. user=mdettweiler [2015-10-31 23:35:29] 987*2^1413721-1 is not prime. Res64: A9AAD308DEBBA907 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:35:31] 665*2^1413722-1 is not prime. Res64: 8EC8336D3451CA17 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:35:32] 923*2^1413722-1 is not prime. Res64: B73DF62ED5E1DECB Time : 0.0 sec. user=mdettweiler [2015-10-31 23:52:54] 723*2^1413723-1 is not prime. Res64: 1A578C253A3A4AD7 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:52:55] 789*2^1413723-1 is not prime. Res64: 25427048BCA40FCF Time : 0.0 sec. user=mdettweiler [2015-10-31 23:52:55] 949*2^1413723-1 is not prime. Res64: 291A0A2B3DE8E21F Time : 0.0 sec. user=mdettweiler [2015-10-31 23:52:56] 961*2^1413723-1 is not prime. Res64: EF7C05376E6A9DEE Time : 0.0 sec. user=mdettweiler [2015-10-31 23:52:58] 963*2^1413723-1 is not prime. Res64: 80505B26A9785451 Time : 0.0 sec. user=mdettweiler [2015-10-31 23:52:59] 675*2^1413724-1 is not prime. Res64: 5CF810DE84553562 Time : 0.0 sec.