user=mdettweiler [2018-04-02 00:26:47] 705*2^1505882-1 is not prime. Res64: CD7BEF5A08D49914 Time : 0.0 sec. user=mdettweiler [2018-04-02 00:26:48] 713*2^1505882-1 is not prime. Res64: 35937EC8C8F6E1CC Time : 0.0 sec. user=mdettweiler [2018-04-02 00:26:48] 735*2^1505882-1 is not prime. Res64: 1B1F457A236C33BD Time : 0.0 sec. user=mdettweiler [2018-04-02 00:26:49] 875*2^1505882-1 is not prime. Res64: 9C012F7FDC2A647E Time : 0.0 sec. user=mdettweiler [2018-04-02 00:26:49] 893*2^1505882-1 is not prime. Res64: 5E904C1644EB7FBB Time : 0.0 sec. user=mdettweiler [2018-04-02 00:31:53] 963*2^1505882-1 is not prime. Res64: FD958174FE456DD0 Time : 0.0 sec. user=mdettweiler [2018-04-02 00:31:53] 669*2^1505883-1 is not prime. Res64: 83CBA65C4A28DD2C Time : 0.0 sec. user=mdettweiler [2018-04-02 00:31:54] 783*2^1505883-1 is not prime. Res64: D0C958C65DD5DA2E Time : 0.0 sec. user=mdettweiler [2018-04-02 00:31:54] 789*2^1505883-1 is not prime. Res64: CEFEB182B7964486 Time : 0.0 sec. user=mdettweiler [2018-04-02 00:31:54] 801*2^1505883-1 is not prime. Res64: 5861050832464A66 Time : 0.0 sec. user=mdettweiler [2018-04-02 00:36:11] 879*2^1505883-1 is not prime. Res64: 5A1D603EC90B3815 Time : 0.0 sec. user=mdettweiler [2018-04-02 00:36:11] 895*2^1505883-1 is not prime. Res64: 7321ABD88FB0C6E2 Time : 0.0 sec. user=mdettweiler [2018-04-02 00:36:12] 921*2^1505883-1 is not prime. Res64: BEA385BC22119916 Time : 0.0 sec. user=mdettweiler [2018-04-02 00:36:12] 945*2^1505883-1 is not prime. Res64: C0AA5DEF6CE8D2E9 Time : 0.0 sec. user=mdettweiler [2018-04-02 00:36:12] 609*2^1505884-1 is not prime. Res64: 0B8FC4CDE00F23CC Time : 0.0 sec. user=mdettweiler [2018-04-02 00:48:33] 695*2^1505884-1 is not prime. Res64: 35CBC4F788838DB2 Time : 0.0 sec. user=mdettweiler [2018-04-02 00:48:33] 803*2^1505884-1 is not prime. Res64: 9D4744DDEF0D5DBF Time : 0.0 sec. user=mdettweiler [2018-04-02 00:48:34] 863*2^1505884-1 is not prime. Res64: 2697D69D3B2B484F Time : 0.0 sec. user=mdettweiler [2018-04-02 00:48:34] 869*2^1505884-1 is not prime. Res64: CBE93BC568281E81 Time : 0.0 sec. user=mdettweiler [2018-04-02 00:48:34] 873*2^1505884-1 is not prime. Res64: 0B3520A640D3CA30 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:17:03] 885*2^1505884-1 is not prime. Res64: DC512DAB9AC7C106 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:17:03] 607*2^1505885-1 is not prime. Res64: 9EA581F6F49AAA25 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:17:04] 679*2^1505885-1 is not prime. Res64: DB8DFD4DC24BE790 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:17:04] 735*2^1505885-1 is not prime. Res64: 6CCEBA74E7BC5505 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:17:05] 927*2^1505885-1 is not prime. Res64: 0711F6A2EFEF8668 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:22:07] 939*2^1505885-1 is not prime. Res64: 852B5C84BD9F753D Time : 0.0 sec. user=mdettweiler [2018-04-02 01:22:08] 969*2^1505885-1 is not prime. Res64: 6C697E5DB49ED2F8 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:22:08] 627*2^1505886-1 is not prime. Res64: FB7FAE270C226CA1 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:22:08] 683*2^1505886-1 is not prime. Res64: 1333821114741666 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:22:09] 713*2^1505886-1 is not prime. Res64: A948DF0342EA7614 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:26:34] 833*2^1505886-1 is not prime. Res64: 2B8B74AF3D96CE34 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:26:35] 933*2^1505886-1 is not prime. Res64: DE3E4359711423EE Time : 0.0 sec. user=mdettweiler [2018-04-02 01:26:35] 609*2^1505887-1 is not prime. Res64: 4F7D9A085EB24728 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:26:36] 645*2^1505887-1 is not prime. Res64: 15DBC7E8831F7A3D Time : 0.0 sec. user=mdettweiler [2018-04-02 01:26:37] 673*2^1505887-1 is not prime. Res64: 0AEFD4F7AB749210 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:39:36] 685*2^1505887-1 is not prime. Res64: A280D9E6812D3324 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:39:37] 693*2^1505887-1 is not prime. Res64: 89EBBD68AA0AABD3 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:39:37] 885*2^1505887-1 is not prime. Res64: 2E93143AD710BF16 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:39:38] 919*2^1505887-1 is not prime. Res64: CE1BDE1A21B67957 Time : 0.0 sec. user=mdettweiler [2018-04-02 01:39:42] 973*2^1505887-1 is not prime. Res64: 9F3ED1F1BF7AB9D3 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:08:36] 759*2^1505888-1 is not prime. Res64: 92E564925813BD31 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:08:37] 767*2^1505888-1 is not prime. Res64: D7E60B4B57242CFA Time : 0.0 sec. user=mdettweiler [2018-04-02 02:08:37] 893*2^1505888-1 is not prime. Res64: 1B643170849F50AC Time : 0.0 sec. user=mdettweiler [2018-04-02 02:08:37] 897*2^1505888-1 is not prime. Res64: 7A011E5B30F1620E Time : 0.0 sec. user=mdettweiler [2018-04-02 02:08:38] 915*2^1505888-1 is not prime. Res64: 13BF8E764E3E9C16 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:11:38] 963*2^1505888-1 is not prime. Res64: F9EBFDFAC436B5F1 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:11:39] 615*2^1505889-1 is not prime. Res64: DE3963D9FD187149 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:11:39] 639*2^1505889-1 is not prime. Res64: F505AE3F173276AB Time : 0.0 sec. user=mdettweiler [2018-04-02 02:11:40] 667*2^1505889-1 is not prime. Res64: 23A5E2C0336EEC42 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:11:40] 685*2^1505889-1 is not prime. Res64: E3AD0BDB1A2F6C76 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:17:55] 769*2^1505889-1 is not prime. Res64: 44DDA3A2C46B33C1 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:17:55] 861*2^1505889-1 is not prime. Res64: BEC6A9724DCF974E Time : 0.0 sec. user=mdettweiler [2018-04-02 02:17:56] 885*2^1505889-1 is not prime. Res64: A9130C02264E0407 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:17:56] 895*2^1505889-1 is not prime. Res64: 47EA588FB6D5EFC7 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:17:56] 909*2^1505889-1 is not prime. Res64: 07560DF79934ED6E Time : 0.0 sec. user=mdettweiler [2018-04-02 02:31:42] 603*2^1505890-1 is not prime. Res64: 0C579E4D7D7B83B9 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:31:42] 803*2^1505890-1 is not prime. Res64: A7600D2BCF4434AB Time : 0.0 sec. user=mdettweiler [2018-04-02 02:31:43] 825*2^1505890-1 is not prime. Res64: F9A4E6EDA7165146 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:31:43] 833*2^1505890-1 is not prime. Res64: F85A27378958D2D6 Time : 0.0 sec. user=mdettweiler [2018-04-02 02:31:43] 987*2^1505890-1 is not prime. Res64: C9176448F20275DD Time : 0.0 sec. user=mdettweiler [2018-04-02 03:00:07] 651*2^1505891-1 is not prime. Res64: D3D14E8009C43506 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:00:08] 675*2^1505891-1 is not prime. Res64: 5B9EF348E1C7EC56 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:00:08] 819*2^1505892-1 is not prime. Res64: 75F9E1D49116F18D Time : 0.0 sec. user=mdettweiler [2018-04-02 03:00:09] 893*2^1505892-1 is not prime. Res64: 36BBEB519E5A588D Time : 0.0 sec. user=mdettweiler [2018-04-02 03:00:09] 909*2^1505892-1 is not prime. Res64: FE33BC7D2EBD4838 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:02:47] 959*2^1505892-1 is not prime. Res64: 48DFDCD67652A22A Time : 0.0 sec. user=mdettweiler [2018-04-02 03:02:49] 983*2^1505892-1 is not prime. Res64: D689185AA2DCEE23 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:02:49] 741*2^1505893-1 is not prime. Res64: B3C1C370AF8F888A Time : 0.0 sec. user=mdettweiler [2018-04-02 03:02:50] 985*2^1505893-1 is not prime. Res64: 4676F4D9D4A35389 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:02:50] 615*2^1505894-1 is not prime. Res64: A5D35EB4327DCB23 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:10:19] 743*2^1505894-1 is not prime. Res64: 5CC584F430EB475E Time : 0.0 sec. user=mdettweiler [2018-04-02 03:10:19] 813*2^1505894-1 is not prime. Res64: D4B83E26471A9F0D Time : 0.0 sec. user=mdettweiler [2018-04-02 03:10:19] 825*2^1505894-1 is not prime. Res64: B74E9E09014F1BA0 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:10:20] 851*2^1505894-1 is not prime. Res64: 778CFE7608910B80 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:10:20] 917*2^1505894-1 is not prime. Res64: A4F22F63E0823AC1 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:22:19] 679*2^1505895-1 is not prime. Res64: 1BDC66148D80EA0B Time : 0.0 sec. user=mdettweiler [2018-04-02 03:22:19] 709*2^1505895-1 is not prime. Res64: 7913C293FDC1AF1C Time : 0.0 sec. user=mdettweiler [2018-04-02 03:22:20] 765*2^1505895-1 is not prime. Res64: E6E22A0A838D7ACF Time : 0.0 sec. user=mdettweiler [2018-04-02 03:22:20] 783*2^1505895-1 is not prime. Res64: 6F281DCD4981D9F3 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:22:21] 663*2^1505896-1 is not prime. Res64: E5B55BE71A904FD1 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:51:24] 717*2^1505896-1 is not prime. Res64: 0C44E3ADB0A575CC Time : 0.0 sec. user=mdettweiler [2018-04-02 03:51:25] 743*2^1505896-1 is not prime. Res64: 731902BC02EB8394 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:51:26] 845*2^1505896-1 is not prime. Res64: 0FAD057C7026FB9E Time : 0.0 sec. user=mdettweiler [2018-04-02 03:51:27] 873*2^1505896-1 is not prime. Res64: 486D3AC2B53FE6C9 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:51:28] 965*2^1505896-1 is not prime. Res64: 56A2AEA9BD090964 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:53:16] 989*2^1505896-1 is not prime. Res64: 7CA6D45398B2F058 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:53:17] 615*2^1505897-1 is not prime. Res64: 198F0D2D1795DE2F Time : 0.0 sec. user=mdettweiler [2018-04-02 03:53:20] 651*2^1505897-1 is not prime. Res64: 6F8E59DD45CC6E17 Time : 0.0 sec. user=mdettweiler [2018-04-02 03:53:21] 717*2^1505897-1 is not prime. Res64: 954C90D1ECB37DEF Time : 0.0 sec. user=mdettweiler [2018-04-02 03:53:23] 795*2^1505897-1 is not prime. Res64: 35DABD963323AAF7 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:01:04] 865*2^1505897-1 is not prime. Res64: 6B066A7D37C6B3C7 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:01:07] 867*2^1505897-1 is not prime. Res64: 896E72B923E8A487 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:01:08] 985*2^1505897-1 is not prime. Res64: FE058F2D5780CBFB Time : 0.0 sec. user=mdettweiler [2018-04-02 04:01:11] 681*2^1505898-1 is not prime. Res64: 6468386961FE5480 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:01:13] 713*2^1505898-1 is not prime. Res64: B23E2AD416F206AE Time : 0.0 sec. user=mdettweiler [2018-04-02 04:13:23] 777*2^1505898-1 is not prime. Res64: A76983B1A151B13B Time : 0.0 sec. user=mdettweiler [2018-04-02 04:13:24] 821*2^1505898-1 is not prime. Res64: BB590A84FF7B037B Time : 0.0 sec. user=mdettweiler [2018-04-02 04:13:25] 825*2^1505898-1 is not prime. Res64: D4C9CEC008D05C94 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:13:26] 843*2^1505898-1 is not prime. Res64: C37C9646FE52F22D Time : 0.0 sec. user=mdettweiler [2018-04-02 04:13:27] 905*2^1505898-1 is not prime. Res64: 1BEDC199C05C1C4D Time : 0.0 sec. user=mdettweiler [2018-04-02 04:41:34] 923*2^1505898-1 is not prime. Res64: EBA58D8A9FF4DCFE Time : 0.0 sec. user=mdettweiler [2018-04-02 04:41:35] 945*2^1505898-1 is not prime. Res64: FE719E00E3904AA1 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:41:35] 633*2^1505899-1 is not prime. Res64: 64FFF8BC83FE07E7 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:41:36] 663*2^1505899-1 is not prime. Res64: 0CEF11BA5F8F9F1E Time : 0.0 sec. user=mdettweiler [2018-04-02 04:41:37] 723*2^1505899-1 is not prime. Res64: 85FB3CE1D9B7B100 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:44:47] 769*2^1505899-1 is not prime. Res64: B86EE2CEBD979300 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:44:48] 813*2^1505899-1 is not prime. Res64: 767A277CBCA02616 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:44:48] 951*2^1505899-1 is not prime. Res64: E927A0E433A05C78 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:44:49] 961*2^1505899-1 is not prime. Res64: 10BD9034EA7192B1 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:44:49] 985*2^1505899-1 is not prime. Res64: A2C31EF71949424C Time : 0.0 sec. user=mdettweiler [2018-04-02 04:51:16] 999*2^1505899-1 is not prime. Res64: 92DB993C34865D8D Time : 0.0 sec. user=mdettweiler [2018-04-02 04:51:16] 605*2^1505900-1 is not prime. Res64: B5D1AEEC006E548D Time : 0.0 sec. user=mdettweiler [2018-04-02 04:51:17] 609*2^1505900-1 is not prime. Res64: A0824C770E764984 Time : 0.0 sec. user=mdettweiler [2018-04-02 04:51:17] 633*2^1505900-1 is not prime. Res64: 0F6651E7BAA7CF4E Time : 0.0 sec. user=mdettweiler [2018-04-02 04:51:18] 725*2^1505900-1 is not prime. Res64: C59EC17F89B4CE31 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:03:26] 855*2^1505900-1 is not prime. Res64: AB66CE73CCDE7157 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:03:28] 927*2^1505900-1 is not prime. Res64: BC27E32FDBCE8286 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:03:29] 621*2^1505901-1 is not prime. Res64: 074DB3391852AB51 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:03:33] 625*2^1505901-1 is not prime. Res64: 7F3021A642B3C6DB Time : 0.0 sec. user=mdettweiler [2018-04-02 05:03:34] 717*2^1505901-1 is not prime. Res64: FDD1EF25AF8642EB Time : 0.0 sec. user=mdettweiler [2018-04-02 05:32:38] 777*2^1505901-1 is not prime. Res64: 6C5238D82F2F9FED Time : 0.0 sec. user=mdettweiler [2018-04-02 05:32:39] 795*2^1505901-1 is not prime. Res64: 527F20A3BE2384DB Time : 0.0 sec. user=mdettweiler [2018-04-02 05:32:39] 811*2^1505901-1 is not prime. Res64: 0A114D31A247894E Time : 0.0 sec. user=mdettweiler [2018-04-02 05:32:39] 861*2^1505901-1 is not prime. Res64: 2794E1B86B182A05 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:32:40] 865*2^1505901-1 is not prime. Res64: 7FF6958E363F0405 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:34:17] 877*2^1505901-1 is not prime. Res64: 360AA964489D10F3 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:34:18] 645*2^1505902-1 is not prime. Res64: CB4006E3D9C2A4E7 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:34:18] 653*2^1505902-1 is not prime. Res64: FCE66D80AF9F7CCC Time : 0.0 sec. user=mdettweiler [2018-04-02 05:34:19] 717*2^1505902-1 is not prime. Res64: 14C4EBE032FB8E7F Time : 0.0 sec. user=mdettweiler [2018-04-02 05:34:19] 643*2^1505903-1 is not prime. Res64: 25E1F9FE9AEEFE76 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:42:04] 705*2^1505903-1 is not prime. Res64: AB8E809003F06673 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:42:04] 759*2^1505903-1 is not prime. Res64: 8F29BB1D0B7B320A Time : 0.0 sec. user=mdettweiler [2018-04-02 05:42:05] 775*2^1505903-1 is not prime. Res64: E77EC1D48DF62F0F Time : 0.0 sec. user=mdettweiler [2018-04-02 05:42:05] 861*2^1505903-1 is not prime. Res64: CC37703628F5C5B1 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:42:05] 871*2^1505903-1 is not prime. Res64: 4BC6D348B260E2C0 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:54:27] 895*2^1505903-1 is not prime. Res64: F1E980E7AB7BDF27 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:54:27] 913*2^1505903-1 is not prime. Res64: E140D3C30DB4485E Time : 0.0 sec. user=mdettweiler [2018-04-02 05:54:28] 955*2^1505903-1 is not prime. Res64: 2EDD6C032D3D6134 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:54:28] 993*2^1505903-1 is not prime. Res64: 93FB054A61D4DF44 Time : 0.0 sec. user=mdettweiler [2018-04-02 05:54:29] 605*2^1505904-1 is not prime. Res64: 383F9D7BDD98C08C Time : 0.0 sec. user=mdettweiler [2018-04-02 06:22:22] 615*2^1505904-1 is not prime. Res64: 89CA3DED6982D9AB Time : 0.0 sec. user=mdettweiler [2018-04-02 06:22:22] 635*2^1505904-1 is not prime. Res64: DB8CBABAE087781E Time : 0.0 sec. user=mdettweiler [2018-04-02 06:22:22] 639*2^1505904-1 is not prime. Res64: 74C216423FD55518 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:22:23] 737*2^1505904-1 is not prime. Res64: 5CFF38510FD424F4 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:22:23] 873*2^1505904-1 is not prime. Res64: 2DD412CB9A4CF4B2 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:24:50] 899*2^1505904-1 is not prime. Res64: 69D764BE4D40306D Time : 0.0 sec. user=mdettweiler [2018-04-02 06:24:50] 959*2^1505904-1 is not prime. Res64: E1AD6113DC13D1C8 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:24:51] 969*2^1505904-1 is not prime. Res64: EA0CDD1CC0115B66 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:24:51] 625*2^1505905-1 is not prime. Res64: D763398E0BD97775 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:24:51] 645*2^1505905-1 is not prime. Res64: 53439184DD1E2FB4 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:32:29] 691*2^1505905-1 is not prime. Res64: 5DF204AE3FA844F7 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:32:29] 705*2^1505905-1 is not prime. Res64: 1558A8738AF133A4 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:32:29] 741*2^1505905-1 is not prime. Res64: E439DDDCB3078164 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:32:30] 831*2^1505905-1 is not prime. Res64: 9AE043F47464A733 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:32:30] 841*2^1505905-1 is not prime. Res64: 9444044EC4D2E22A Time : 0.0 sec. user=mdettweiler [2018-04-02 06:46:00] 909*2^1505905-1 is not prime. Res64: 174E6C0563A0F0F2 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:46:01] 919*2^1505905-1 is not prime. Res64: A63BAEAD4FDFD194 Time : 0.0 sec. user=mdettweiler [2018-04-02 06:46:01] 783*2^1505906-1 is not prime. Res64: 4A42859A2F8A684A Time : 0.0 sec. user=mdettweiler [2018-04-02 06:46:01] 801*2^1505906-1 is not prime. Res64: 30A54A721CFEBB4D Time : 0.0 sec. user=mdettweiler [2018-04-02 06:46:02] 923*2^1505906-1 is not prime. Res64: D6890993D0038A4B Time : 0.0 sec. user=mdettweiler [2018-04-02 07:13:21] 953*2^1505906-1 is not prime. Res64: 7B66C647BD3A5DB7 Time : 0.0 sec. user=mdettweiler [2018-04-02 07:13:22] 983*2^1505906-1 is not prime. Res64: A142667FDE72BE72 Time : 0.0 sec. user=mdettweiler [2018-04-02 07:13:22] 703*2^1505907-1 is not prime. Res64: B04FE936B3B93D2C Time : 0.0 sec. user=mdettweiler [2018-04-02 07:13:23] 885*2^1505907-1 is not prime. Res64: E774247B80FB8D6E Time : 0.0 sec. user=mdettweiler [2018-04-02 07:13:23] 909*2^1505907-1 is not prime. Res64: 014F148E1A844B4A Time : 0.0 sec. user=mdettweiler [2018-04-02 07:16:00] 975*2^1505907-1 is not prime. Res64: 463D209DAD59A547 Time : 0.0 sec. user=mdettweiler [2018-04-02 07:16:00] 705*2^1505908-1 is not prime. Res64: 9109E333BACB8EB5 Time : 0.0 sec. user=mdettweiler [2018-04-02 07:16:01] 819*2^1505908-1 is not prime. Res64: 0D13EC7C1A0E6FAA Time : 0.0 sec. user=mdettweiler [2018-04-02 07:16:01] 923*2^1505908-1 is not prime. Res64: 799B3B0A781C9DFB Time : 0.0 sec. user=mdettweiler [2018-04-02 07:16:02] 947*2^1505908-1 is not prime. Res64: 115CF113F4E73E7C Time : 0.0 sec. user=mdettweiler [2018-04-02 07:21:59] 601*2^1505909-1 is not prime. Res64: 49B0917D4DE9868D Time : 0.0 sec. user=mdettweiler [2018-04-02 07:22:00] 685*2^1505909-1 is not prime. Res64: A767B8A702895C21 Time : 0.0 sec. user=mdettweiler [2018-04-02 07:22:00] 721*2^1505909-1 is not prime. Res64: 89B9906813FE9855 Time : 0.0 sec. user=mdettweiler [2018-04-02 07:22:00] 727*2^1505909-1 is not prime. Res64: 7B3DBF95423C470A Time : 0.0 sec. user=mdettweiler [2018-04-02 07:22:01] 735*2^1505909-1 is not prime. Res64: 5D2D1476EC7EE5C5 Time : 0.0 sec. user=mdettweiler [2018-04-02 07:37:12] 771*2^1505909-1 is not prime. Res64: B3DCE3E956A58641 Time : 0.0 sec. user=mdettweiler [2018-04-02 07:37:12] 825*2^1505909-1 is not prime. Res64: C81D8488FF61A6B6 Time : 0.0 sec. user=mdettweiler [2018-04-02 07:37:13] 885*2^1505909-1 is not prime. Res64: 6248614D2ED1935F Time : 0.0 sec. user=mdettweiler [2018-04-02 07:37:13] 997*2^1505909-1 is not prime. Res64: 13321F6B67F516D3 Time : 0.0 sec. user=mdettweiler [2018-04-02 07:37:13] 725*2^1505910-1 is not prime. Res64: 60B2E21958246B75 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:04:59] 783*2^1505910-1 is not prime. Res64: 73DDFD4F4F646416 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:05:00] 821*2^1505910-1 is not prime. Res64: C706A87226A00792 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:05:02] 875*2^1505910-1 is not prime. Res64: 5DAC996A7736E5EB Time : 0.0 sec. user=mdettweiler [2018-04-02 08:05:07] 891*2^1505910-1 is not prime. Res64: 3BA9491A8DB9A175 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:05:09] 963*2^1505910-1 is not prime. Res64: B1959FC467404406 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:06:45] 673*2^1505911-1 is not prime. Res64: DC7602018AF6D7D3 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:06:46] 813*2^1505911-1 is not prime. Res64: 5C0C365C3DCCB6E7 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:06:47] 931*2^1505911-1 is not prime. Res64: DA4C2928E100C4BF Time : 0.0 sec. user=mdettweiler [2018-04-02 08:06:49] 939*2^1505911-1 is not prime. Res64: 12566B274BF8060E Time : 0.0 sec. user=mdettweiler [2018-04-02 08:06:50] 603*2^1505912-1 is not prime. Res64: C985AEFD83A3CDED Time : 0.0 sec. user=mdettweiler [2018-04-02 08:12:35] 675*2^1505912-1 is not prime. Res64: CC2FFB95AC69E315 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:12:36] 755*2^1505912-1 is not prime. Res64: 2E62FDC09BA67AC0 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:12:36] 815*2^1505912-1 is not prime. Res64: DFAD90987FD127C6 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:12:37] 857*2^1505912-1 is not prime. Res64: 4A92C249995F578B Time : 0.0 sec. user=mdettweiler [2018-04-02 08:12:37] 607*2^1505913-1 is not prime. Res64: 9F0FC0EBDF9A0BE3 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:27:30] 835*2^1505913-1 is not prime. Res64: AE5C7DE861BB12EB Time : 0.0 sec. user=mdettweiler [2018-04-02 08:27:30] 837*2^1505913-1 is not prime. Res64: 7758C26E386921D6 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:27:31] 885*2^1505913-1 is not prime. Res64: F7488AECB73E1F0E Time : 0.0 sec. user=mdettweiler [2018-04-02 08:27:31] 621*2^1505914-1 is not prime. Res64: 3547756D2BC2EC96 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:27:32] 623*2^1505914-1 is not prime. Res64: B0F8C813333C9F76 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:55:44] 675*2^1505914-1 is not prime. Res64: 7AEE5BB65D531425 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:55:45] 677*2^1505914-1 is not prime. Res64: 7AFBEAD48815F173 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:55:45] 681*2^1505914-1 is not prime. Res64: 6C6FB36FAD2A4AD3 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:55:46] 741*2^1505914-1 is not prime. Res64: 405DE1293202D2AE Time : 0.0 sec. user=mdettweiler [2018-04-02 08:55:46] 765*2^1505914-1 is not prime. Res64: 66CC5C031FEC1E05 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:58:25] 773*2^1505914-1 is not prime. Res64: FFD0158C9C6181BD Time : 0.0 sec. user=mdettweiler [2018-04-02 08:58:25] 861*2^1505914-1 is not prime. Res64: 34215D68E7420D6D Time : 0.0 sec. user=mdettweiler [2018-04-02 08:58:25] 885*2^1505914-1 is not prime. Res64: 56FA7B0EE9263809 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:58:26] 975*2^1505914-1 is not prime. Res64: BE8923F5EB542C20 Time : 0.0 sec. user=mdettweiler [2018-04-02 08:58:26] 871*2^1505915-1 is not prime. Res64: B0DCCEA9F7CFBCF6 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:03:16] 675*2^1505916-1 is not prime. Res64: 0AE2C679D7FD80B9 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:03:17] 695*2^1505916-1 is not prime. Res64: 5F2B12E74182530C Time : 0.0 sec. user=mdettweiler [2018-04-02 09:03:18] 725*2^1505916-1 is not prime. Res64: 7BD463B40F332B97 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:03:19] 789*2^1505916-1 is not prime. Res64: 750971B6BF03BC23 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:03:20] 809*2^1505916-1 is not prime. Res64: 78FAA2F3C1CC04C7 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:18:06] 867*2^1505916-1 is not prime. Res64: 484F77A9A0099946 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:18:06] 887*2^1505916-1 is not prime. Res64: B3026A2088128141 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:18:07] 983*2^1505916-1 is not prime. Res64: 83B89B818C22646A Time : 0.0 sec. user=mdettweiler [2018-04-02 09:18:07] 993*2^1505916-1 is not prime. Res64: 7391C7F488F1D65C Time : 0.0 sec. user=mdettweiler [2018-04-02 09:18:07] 619*2^1505917-1 is not prime. Res64: 96C2535D9E561B25 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:47:06] 775*2^1505917-1 is not prime. Res64: FD29DF57EC1D8E89 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:47:06] 831*2^1505917-1 is not prime. Res64: A4736DF70A92D4C2 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:47:07] 931*2^1505917-1 is not prime. Res64: 251F8D89A8FB0F79 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:47:07] 939*2^1505917-1 is not prime. Res64: CE2E50E267078FAC Time : 0.0 sec. user=mdettweiler [2018-04-02 09:47:07] 955*2^1505917-1 is not prime. Res64: 11DE9579706D389A Time : 0.0 sec. user=mdettweiler [2018-04-02 09:48:21] 617*2^1505918-1 is not prime. Res64: E629046CF0E521F0 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:48:21] 635*2^1505918-1 is not prime. Res64: A3B41DF00AAFC9BF Time : 0.0 sec. user=mdettweiler [2018-04-02 09:48:22] 755*2^1505918-1 is not prime. Res64: 30F1ED154CAAB77F Time : 0.0 sec. user=mdettweiler [2018-04-02 09:48:22] 797*2^1505918-1 is not prime. Res64: DE46BE0A7262B5CC Time : 0.0 sec. user=mdettweiler [2018-04-02 09:48:23] 625*2^1505919-1 is not prime. Res64: 22661B8C8A2740C9 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:53:50] 633*2^1505919-1 is not prime. Res64: 88FD1543CBC299A7 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:53:51] 661*2^1505919-1 is not prime. Res64: 03AFC2DFACB477E6 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:53:51] 669*2^1505919-1 is not prime. Res64: 2AD2FAE80EE7F08C Time : 0.0 sec. user=mdettweiler [2018-04-02 09:53:52] 831*2^1505919-1 is not prime. Res64: 534D425B67F0C2A7 Time : 0.0 sec. user=mdettweiler [2018-04-02 09:53:52] 999*2^1505919-1 is not prime. Res64: B12F465E3A3B2625 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:08:37] 605*2^1505920-1 is not prime. Res64: 1A8629CC65400611 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:08:38] 645*2^1505920-1 is not prime. Res64: 97E3F3651E16D678 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:08:38] 759*2^1505920-1 is not prime. Res64: 633FCD6CA8C08565 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:08:38] 825*2^1505920-1 is not prime. Res64: E88A17AE323605FC Time : 0.0 sec. user=mdettweiler [2018-04-02 10:08:39] 887*2^1505920-1 is not prime. Res64: DDED7A97498C041D Time : 0.0 sec. user=mdettweiler [2018-04-02 10:38:04] 917*2^1505920-1 is not prime. Res64: 39E6DF2350AA7208 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:38:04] 923*2^1505920-1 is not prime. Res64: 1F62B08369D8F82A Time : 0.0 sec. user=mdettweiler [2018-04-02 10:38:04] 619*2^1505921-1 is not prime. Res64: 9C2912043B3FC6B9 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:38:05] 711*2^1505921-1 is not prime. Res64: 0BBDA60C07589886 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:38:05] 811*2^1505921-1 is not prime. Res64: 876E491DE5A8D314 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:39:46] 867*2^1505921-1 is not prime. Res64: ACB8A69569CB3979 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:39:47] 871*2^1505921-1 is not prime. Res64: AF1793AE79F8EB2E Time : 0.0 sec. user=mdettweiler [2018-04-02 10:39:47] 885*2^1505921-1 is not prime. Res64: 583DDB1EEE7D957F Time : 0.0 sec. user=mdettweiler [2018-04-02 10:39:48] 925*2^1505921-1 is not prime. Res64: DFFF96385998BE2B Time : 0.0 sec. user=mdettweiler [2018-04-02 10:39:48] 937*2^1505921-1 is not prime. Res64: 4F62E6DAA000A9C9 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:45:08] 633*2^1505922-1 is not prime. Res64: E70D95EDE9647923 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:45:08] 777*2^1505922-1 is not prime. Res64: 4A3550BB520DCBCC Time : 0.0 sec. user=mdettweiler [2018-04-02 10:45:09] 791*2^1505922-1 is not prime. Res64: 1B2C8B273942A6A9 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:45:09] 801*2^1505922-1 is not prime. Res64: D715155447EC1E92 Time : 0.0 sec. user=mdettweiler [2018-04-02 10:45:09] 887*2^1505922-1 is not prime. Res64: A705DC1102F61527 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:00:13] 951*2^1505922-1 is not prime. Res64: E31309499B62D934 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:00:14] 975*2^1505922-1 is not prime. Res64: B820CD491D221DDC Time : 0.0 sec. user=mdettweiler [2018-04-02 11:00:15] 751*2^1505923-1 is not prime. Res64: 87C4F2F356D2041B Time : 0.0 sec. user=mdettweiler [2018-04-02 11:00:15] 769*2^1505923-1 is not prime. Res64: B2EA3E6DB88F34B4 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:00:16] 861*2^1505923-1 is not prime. Res64: 9F9967D828BDD120 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:27:33] 913*2^1505923-1 is not prime. Res64: 3725F34E79F742DA Time : 0.0 sec. user=mdettweiler [2018-04-02 11:27:33] 993*2^1505923-1 is not prime. Res64: 40C145712456F08A Time : 0.0 sec. user=mdettweiler [2018-04-02 11:27:33] 615*2^1505924-1 is not prime. Res64: A33426465A311A92 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:27:34] 617*2^1505924-1 is not prime. Res64: 2D0DED2EBF921990 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:27:34] 623*2^1505924-1 is not prime. Res64: 6F9528D512F310E1 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:31:08] 875*2^1505924-1 is not prime. Res64: 703284B4D135954B Time : 0.0 sec. user=mdettweiler [2018-04-02 11:31:08] 983*2^1505924-1 is not prime. Res64: 8453B20B8FF93E25 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:31:08] 651*2^1505925-1 is not prime. Res64: AAD65D4AB3CE066A Time : 0.0 sec. user=mdettweiler [2018-04-02 11:31:09] 655*2^1505925-1 is not prime. Res64: 3838DC1D766A6F5A Time : 0.0 sec. user=mdettweiler [2018-04-02 11:31:09] 765*2^1505925-1 is not prime. Res64: 85994C6CD9E753BF Time : 0.0 sec. user=mdettweiler [2018-04-02 11:36:57] 795*2^1505925-1 is not prime. Res64: EBEF02D3730CEDA3 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:36:58] 817*2^1505925-1 is not prime. Res64: EB9F11420DA432D4 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:36:58] 867*2^1505925-1 is not prime. Res64: E704D1E54DFAE8A9 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:36:59] 927*2^1505925-1 is not prime. Res64: 982B0E21C03880B0 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:36:59] 955*2^1505925-1 is not prime. Res64: 62332062AC0A8CD0 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:51:08] 975*2^1505925-1 is not prime. Res64: A8B9774845B9E871 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:51:08] 985*2^1505925-1 is not prime. Res64: 6394DDFC1696B14A Time : 0.0 sec. user=mdettweiler [2018-04-02 11:51:09] 695*2^1505926-1 is not prime. Res64: 9BB6EB6FDEADE0DE Time : 0.0 sec. user=mdettweiler [2018-04-02 11:51:09] 705*2^1505926-1 is not prime. Res64: 153443B80CC8AE42 Time : 0.0 sec. user=mdettweiler [2018-04-02 11:51:09] 833*2^1505926-1 is not prime. Res64: 76BAFEC2A473A20F Time : 0.0 sec. user=mdettweiler [2018-04-02 12:20:14] 857*2^1505926-1 is not prime. Res64: EDD0790A3C074AB6 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:20:14] 1001*2^1505926-1 is not prime. Res64: 84F95EAF8C3C35F6 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:20:15] 645*2^1505927-1 is not prime. Res64: BD76C9048C9E8192 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:20:15] 655*2^1505927-1 is not prime. Res64: D8F0E986754E379A Time : 0.0 sec. user=mdettweiler [2018-04-02 12:20:16] 703*2^1505927-1 is not prime. Res64: 903FFCBEADFA1C37 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:23:53] 735*2^1505927-1 is not prime. Res64: C29867ABEDE0285E Time : 0.0 sec. user=mdettweiler [2018-04-02 12:23:53] 981*2^1505927-1 is not prime. Res64: 4C79A3C8567E1BC1 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:23:53] 669*2^1505928-1 is not prime. Res64: F326502C5E5DC558 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:23:54] 737*2^1505928-1 is not prime. Res64: 2BAA33B6F447D9D1 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:23:54] 773*2^1505928-1 is not prime. Res64: 7C253B5B951BE5F7 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:29:54] 777*2^1505928-1 is not prime. Res64: 0D7F99C00892AB18 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:29:54] 797*2^1505928-1 is not prime. Res64: F3D987256B3390F9 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:29:55] 887*2^1505928-1 is not prime. Res64: E60A48EC3F0FBDAE Time : 0.0 sec. user=mdettweiler [2018-04-02 12:29:55] 999*2^1505928-1 is not prime. Res64: FCB98BD33EEC3DE6 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:29:56] 625*2^1505929-1 is not prime. Res64: 8ADEA1F8B8EFB29D Time : 0.0 sec. user=mdettweiler [2018-04-02 12:43:04] 765*2^1505929-1 is not prime. Res64: 5D377174E88E6DC3 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:43:05] 877*2^1505929-1 is not prime. Res64: D944C298652F30C6 Time : 0.0 sec. user=mdettweiler [2018-04-02 12:43:05] 955*2^1505929-1 is not prime. Res64: 201838C29CD81BCE Time : 0.0 sec. user=mdettweiler [2018-04-02 12:43:06] 623*2^1505930-1 is not prime. Res64: E112D57FD28F92AD Time : 0.0 sec. user=mdettweiler [2018-04-02 12:43:06] 633*2^1505930-1 is not prime. Res64: FD43E681455DF48B Time : 0.0 sec. user=mdettweiler [2018-04-02 13:10:56] 645*2^1505930-1 is not prime. Res64: 82C250658901F338 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:10:57] 707*2^1505930-1 is not prime. Res64: 8710355FA3435FCA Time : 0.0 sec. user=mdettweiler [2018-04-02 13:10:57] 717*2^1505930-1 is not prime. Res64: A85374C1B549780C Time : 0.0 sec. user=mdettweiler [2018-04-02 13:10:57] 743*2^1505930-1 is not prime. Res64: 6BBB4DDC59FF01A8 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:10:58] 791*2^1505930-1 is not prime. Res64: E43685CE01B4E784 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:16:32] 857*2^1505930-1 is not prime. Res64: 03AD39CA658A5671 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:16:32] 893*2^1505930-1 is not prime. Res64: FECB37C5172F60F8 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:16:32] 917*2^1505930-1 is not prime. Res64: 4A171B4555B7B13B Time : 0.0 sec. user=mdettweiler [2018-04-02 13:16:32] 927*2^1505930-1 is not prime. Res64: 58B4AC42859CA3CA Time : 0.0 sec. user=mdettweiler [2018-04-02 13:16:33] 935*2^1505930-1 is not prime. Res64: 501C30052B072194 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:21:40] 971*2^1505930-1 is not prime. Res64: 67A6E0EEE0A0FBF0 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:21:40] 995*2^1505930-1 is not prime. Res64: 2F550032498E4B6E Time : 0.0 sec. user=mdettweiler [2018-04-02 13:21:41] 639*2^1505931-1 is not prime. Res64: 1C4657999994BC0C Time : 0.0 sec. user=mdettweiler [2018-04-02 13:21:41] 651*2^1505931-1 is not prime. Res64: 6F6D563794858CF7 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:21:42] 753*2^1505931-1 is not prime. Res64: 67C26A5A3046DCF9 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:34:47] 913*2^1505931-1 is not prime. Res64: 5472B2C45FCB4ABC Time : 0.0 sec. user=mdettweiler [2018-04-02 13:34:47] 921*2^1505931-1 is not prime. Res64: 4B4EA406C9D290C8 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:34:48] 943*2^1505931-1 is not prime. Res64: 5D8D8880D92E2DD5 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:34:48] 693*2^1505932-1 is not prime. Res64: 277C82B180B05FF3 Time : 0.0 sec. user=mdettweiler [2018-04-02 13:34:48] 933*2^1505932-1 is not prime. Res64: 21CB4AA91D1E9EEF Time : 0.0 sec. user=mdettweiler [2018-04-02 14:01:19] 615*2^1505933-1 is not prime. Res64: 50074804F53D2040 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:01:20] 771*2^1505933-1 is not prime. Res64: C38113B507F0228E Time : 0.0 sec. user=mdettweiler [2018-04-02 14:01:21] 915*2^1505933-1 is not prime. Res64: 5AE1113B4F518A7B Time : 0.0 sec. user=mdettweiler [2018-04-02 14:01:22] 945*2^1505933-1 is not prime. Res64: A73E296D353602E8 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:01:22] 957*2^1505933-1 is not prime. Res64: BD5FA9819792610B Time : 0.0 sec. user=mdettweiler [2018-04-02 14:05:47] 981*2^1505933-1 is not prime. Res64: C699359CBF858D23 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:05:48] 605*2^1505934-1 is not prime. Res64: 2D655B891C2169FD Time : 0.0 sec. user=mdettweiler [2018-04-02 14:05:49] 707*2^1505934-1 is not prime. Res64: 0349499C1EC0BCA0 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:05:50] 807*2^1505934-1 is not prime. Res64: CC4F46D29BC45413 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:05:52] 873*2^1505934-1 is not prime. Res64: 19A3A0C0F1CEDAD3 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:10:38] 609*2^1505935-1 is not prime. Res64: 0C24CAA41460FD3F Time : 0.0 sec. user=mdettweiler [2018-04-02 14:10:38] 633*2^1505935-1 is not prime. Res64: 0FC8498F802FA94F Time : 0.0 sec. user=mdettweiler [2018-04-02 14:10:39] 709*2^1505935-1 is not prime. Res64: 86066B07BA6E8311 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:10:39] 819*2^1505935-1 is not prime. Res64: 40F111DBC3B47F88 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:10:39] 859*2^1505935-1 is not prime. Res64: AD45016B6BD93A90 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:24:43] 889*2^1505935-1 is not prime. Res64: 317C47AECD869C08 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:24:44] 925*2^1505935-1 is not prime. Res64: F3D1B984F29D84C9 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:24:44] 645*2^1505936-1 is not prime. Res64: 3216AAD6125B429C Time : 0.0 sec. user=mdettweiler [2018-04-02 14:24:45] 773*2^1505936-1 is not prime. Res64: DD933C2E80FF5443 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:24:45] 815*2^1505936-1 is not prime. Res64: C7BF2C902E88CAC9 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:51:30] 843*2^1505936-1 is not prime. Res64: 6C9A3B2142D61646 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:51:30] 627*2^1505937-1 is not prime. Res64: B0E135222348FB3F Time : 0.0 sec. user=mdettweiler [2018-04-02 14:51:31] 759*2^1505937-1 is not prime. Res64: 932C87EA7255DE3F Time : 0.0 sec. user=mdettweiler [2018-04-02 14:51:31] 765*2^1505937-1 is not prime. Res64: E9403301F9C28CB8 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:51:32] 847*2^1505937-1 is not prime. Res64: A94A69DEF13F8075 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:55:16] 861*2^1505937-1 is not prime. Res64: 5CB9BB6977949D18 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:55:16] 915*2^1505937-1 is not prime. Res64: 7659929271085355 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:55:17] 605*2^1505938-1 is not prime. Res64: 4D556E0BC2A73DDF Time : 0.0 sec. user=mdettweiler [2018-04-02 14:55:17] 681*2^1505938-1 is not prime. Res64: 29847633CC41C7D8 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:55:17] 743*2^1505938-1 is not prime. Res64: C213AB38DFFF77D6 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:59:30] 791*2^1505938-1 is not prime. Res64: 04EE661A439692AD Time : 0.0 sec. user=mdettweiler [2018-04-02 14:59:31] 815*2^1505938-1 is not prime. Res64: F84A57C70F41A423 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:59:31] 945*2^1505938-1 is not prime. Res64: 59EC4A857A71E00D Time : 0.0 sec. user=mdettweiler [2018-04-02 14:59:32] 609*2^1505939-1 is not prime. Res64: D4248F488410E138 Time : 0.0 sec. user=mdettweiler [2018-04-02 14:59:32] 615*2^1505939-1 is not prime. Res64: 809C4AEE5B6B1EA9 Time : 0.0 sec. user=mdettweiler [2018-04-02 15:14:56] 685*2^1505939-1 is not prime. Res64: 7E9A2C75BC7FBD40 Time : 0.0 sec. user=mdettweiler [2018-04-02 15:14:56] 843*2^1505939-1 is not prime. Res64: D65931216AACF50B Time : 0.0 sec. user=mdettweiler [2018-04-02 15:14:57] 853*2^1505939-1 is not prime. Res64: FD1D547CFBA61D96 Time : 0.0 sec. user=mdettweiler [2018-04-02 15:14:57] 859*2^1505939-1 is not prime. Res64: A91D2E5D1335143B Time : 0.0 sec. user=mdettweiler [2018-04-02 15:14:58] 969*2^1505939-1 is not prime. Res64: E7F0E6F2D53BA9BF Time : 0.0 sec. user=mdettweiler [2018-04-02 15:41:52] 973*2^1505939-1 is not prime. Res64: 699B39E824860B7E Time : 0.0 sec. user=mdettweiler [2018-04-02 15:41:52] 979*2^1505939-1 is not prime. Res64: 145F0EF2952D099D Time : 0.0 sec. user=mdettweiler [2018-04-02 15:41:53] 635*2^1505940-1 is not prime. Res64: 2390B37F0506DF19 Time : 0.0 sec. user=mdettweiler [2018-04-02 15:41:53] 707*2^1505940-1 is not prime. Res64: 6F94DA309E3CD95D Time : 0.0 sec. user=mdettweiler [2018-04-02 15:41:53] 767*2^1505940-1 is not prime. Res64: 690257605F48700F Time : 0.0 sec. user=mdettweiler [2018-04-02 15:45:06] 857*2^1505940-1 is not prime. Res64: 8AD05F8227C2208B Time : 0.0 sec. user=mdettweiler [2018-04-02 15:45:06] 601*2^1505941-1 is not prime. Res64: 6648FC1536CDE64A Time : 0.0 sec. user=mdettweiler [2018-04-02 15:45:06] 799*2^1505941-1 is not prime. Res64: 2D96E6B55865A551 Time : 0.0 sec. user=mdettweiler [2018-04-02 15:45:07] 811*2^1505941-1 is not prime. Res64: F677C6E159ECCE90 Time : 0.0 sec. user=mdettweiler [2018-04-02 15:45:07] 931*2^1505941-1 is not prime. Res64: CA33C6221177CA86 Time : 0.0 sec. user=mdettweiler [2018-04-02 15:49:33] 961*2^1505941-1 is not prime. Res64: 5F003D58D13AD39C Time : 0.0 sec. user=mdettweiler [2018-04-02 15:49:34] 935*2^1505942-1 is not prime. Res64: 76F73DA780FF114A Time : 0.0 sec. user=mdettweiler [2018-04-02 15:49:34] 763*2^1505943-1 is not prime. Res64: D013A9D6AB37B89B Time : 0.0 sec. user=mdettweiler [2018-04-02 15:49:34] 605*2^1505944-1 is not prime. Res64: D8F14642DA955350 Time : 0.0 sec. user=mdettweiler [2018-04-02 15:49:35] 623*2^1505944-1 is not prime. Res64: 6E4336900B5D350E Time : 0.0 sec. user=mdettweiler [2018-04-02 16:06:02] 723*2^1505944-1 is not prime. Res64: 2C2C565B58761C39 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:06:04] 773*2^1505944-1 is not prime. Res64: 84160A9C564C94FA Time : 0.0 sec. user=mdettweiler [2018-04-02 16:06:06] 819*2^1505944-1 is not prime. Res64: EEF234955A0A1495 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:06:07] 917*2^1505944-1 is not prime. Res64: 6B2384F52147DC9E Time : 0.0 sec. user=mdettweiler [2018-04-02 16:06:07] 975*2^1505944-1 is not prime. Res64: FC7768DFE83B380E Time : 0.0 sec. user=mdettweiler [2018-04-02 16:31:43] 649*2^1505945-1 is not prime. Res64: C1CB639ED2BFD87D Time : 0.0 sec. user=mdettweiler [2018-04-02 16:31:43] 691*2^1505945-1 is not prime. Res64: A4A2D4033CE2F57C Time : 0.0 sec. user=mdettweiler [2018-04-02 16:31:44] 715*2^1505945-1 is not prime. Res64: D752D87386139F21 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:31:44] 789*2^1505945-1 is not prime. Res64: B7A7F6070C4A1332 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:31:45] 799*2^1505945-1 is not prime. Res64: 6A287A94DC3F71AD Time : 0.0 sec. user=mdettweiler [2018-04-02 16:35:27] 861*2^1505945-1 is not prime. Res64: B9B636CA7B39874B Time : 0.0 sec. user=mdettweiler [2018-04-02 16:35:28] 915*2^1505945-1 is not prime. Res64: 920D510963CC00E1 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:35:28] 711*2^1505946-1 is not prime. Res64: EDD30B43F82069A0 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:35:29] 777*2^1505946-1 is not prime. Res64: 3A02A49C716BD8B5 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:35:29] 887*2^1505946-1 is not prime. Res64: 2B59BDF684B6AC4D Time : 0.0 sec. user=mdettweiler [2018-04-02 16:39:05] 917*2^1505946-1 is not prime. Res64: A9EE0B44D5AF3FEE Time : 0.0 sec. user=mdettweiler [2018-04-02 16:39:05] 923*2^1505946-1 is not prime. Res64: B2C2746B8EE7874A Time : 0.0 sec. user=mdettweiler [2018-04-02 16:39:05] 1001*2^1505946-1 is not prime. Res64: 25AA04A884A2D37A Time : 0.0 sec. user=mdettweiler [2018-04-02 16:39:06] 603*2^1505947-1 is not prime. Res64: 0B6DA0630FFD6AB4 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:39:06] 619*2^1505947-1 is not prime. Res64: 0E9F0D6A62AB0D44 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:55:18] 631*2^1505947-1 is not prime. Res64: 04EA28970F311528 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:55:18] 633*2^1505947-1 is not prime. Res64: DA50D2519A464E37 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:55:18] 663*2^1505947-1 is not prime. Res64: E1902C0EED4D114D Time : 0.0 sec. user=mdettweiler [2018-04-02 16:55:19] 673*2^1505947-1 is not prime. Res64: AB81C32C07DF9C77 Time : 0.0 sec. user=mdettweiler [2018-04-02 16:55:19] 675*2^1505947-1 is not prime. Res64: CF36FEC6DC245B4C Time : 0.0 sec. user=mdettweiler [2018-04-02 17:22:20] 805*2^1505947-1 is not prime. Res64: C716ADD3C21D6B83 Time : 0.0 sec. user=mdettweiler [2018-04-02 17:22:21] 975*2^1505947-1 is not prime. Res64: B5D17AEF5D632AE2 Time : 0.0 sec. user=mdettweiler [2018-04-02 17:22:21] 979*2^1505947-1 is not prime. Res64: CA30B754ED87FE1F Time : 0.0 sec. user=mdettweiler [2018-04-02 17:22:22] 999*2^1505947-1 is not prime. Res64: 5DD000A4A1F9303C Time : 0.0 sec. user=mdettweiler [2018-04-02 17:22:22] 603*2^1505948-1 is not prime. Res64: BF09968BDCA6A7B1 Time : 0.0 sec. user=mdettweiler [2018-04-02 17:25:21] 635*2^1505948-1 is not prime. Res64: 62510468C2D06EE1 Time : 0.0 sec. user=mdettweiler [2018-04-02 17:25:21] 665*2^1505948-1 is not prime. Res64: D4A684750A5CC8E6 Time : 0.0 sec. user=mdettweiler [2018-04-02 17:25:22] 777*2^1505948-1 is not prime. Res64: F3BE0587F4BC7964 Time : 0.0 sec. user=mdettweiler [2018-04-02 17:25:22] 789*2^1505948-1 is not prime. Res64: FBBC81E7AE7A4EF4 Time : 0.0 sec. user=mdettweiler [2018-04-02 17:25:22] 825*2^1505948-1 is not prime. Res64: F776B68A7C2F2764 Time : 0.0 sec. user=mdettweiler [2018-04-02 17:29:43] 843*2^1505948-1 is not prime. Res64: C418B600E96BFA8F Time : 0.0 sec. user=mdettweiler [2018-04-02 17:29:43] 899*2^1505948-1 is not prime. Res64: 694B1F862ABE8726 Time : 0.0 sec. user=mdettweiler [2018-04-02 17:29:43] 735*2^1505949-1 is not prime. Res64: E44EB05DA665F24E Time : 0.0 sec. user=mdettweiler [2018-04-02 17:29:44] 837*2^1505949-1 is not prime. Res64: F33FC2CF9525A16A Time : 0.0 sec. user=mdettweiler [2018-04-02 17:29:44] 867*2^1505949-1 is not prime. Res64: 553BACDD6B4ECEAF Time : 0.0 sec. user=mdettweiler [2018-04-02 17:44:32] 891*2^1505949-1 is not prime. Res64: 5D20C896264BA5FD Time : 0.0 sec. user=mdettweiler [2018-04-02 17:44:32] 603*2^1505950-1 is not prime. Res64: 902B54AD387400D3 Time : 0.0 sec. user=mdettweiler [2018-04-02 17:44:33] 635*2^1505950-1 is not prime. Res64: 3E79A11B2D36D82B Time : 0.0 sec. user=mdettweiler [2018-04-02 17:44:33] 645*2^1505950-1 is not prime. Res64: ED60485E29B4A3FE Time : 0.0 sec. user=mdettweiler [2018-04-02 17:44:34] 747*2^1505950-1 is not prime. Res64: D7C57EFBA5C3A002 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:12:15] 777*2^1505950-1 is not prime. Res64: EE44FC0C55FBE7CF Time : 0.0 sec. user=mdettweiler [2018-04-02 18:12:15] 861*2^1505950-1 is not prime. Res64: 98407FF7E96EA2A5 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:12:15] 873*2^1505950-1 is not prime. Res64: 94AEEB7D8BE86DDE Time : 0.0 sec. user=mdettweiler [2018-04-02 18:12:16] 965*2^1505950-1 is not prime. Res64: 61989408410EB462 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:12:16] 621*2^1505951-1 is not prime. Res64: 749B354D8EC14AA9 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:14:26] 693*2^1505951-1 is not prime. Res64: FAE24AC24A41CD88 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:14:27] 741*2^1505951-1 is not prime. Res64: C13DBECA02EEBBD8 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:14:27] 745*2^1505951-1 is not prime. Res64: 2F33367F645FB52F Time : 0.0 sec. user=mdettweiler [2018-04-02 18:14:28] 813*2^1505951-1 is not prime. Res64: 964469F817FEFDDF Time : 0.0 sec. user=mdettweiler [2018-04-02 18:14:28] 889*2^1505951-1 is not prime. Res64: 1A88EABB06F2CC3B Time : 0.0 sec. user=mdettweiler [2018-04-02 18:20:23] 945*2^1505951-1 is not prime. Res64: 771C90ECF6590346 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:20:24] 981*2^1505951-1 is not prime. Res64: 209EE5D7934D3BE4 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:20:24] 665*2^1505952-1 is not prime. Res64: 6D16995E18C72408 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:20:25] 917*2^1505952-1 is not prime. Res64: 2C88CA7BC58312D1 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:20:25] 975*2^1505952-1 is not prime. Res64: 3C80C5938208EB9D Time : 0.0 sec. user=mdettweiler [2018-04-02 18:34:13] 609*2^1505953-1 is not prime. Res64: C1C5C29F579BFEF9 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:34:13] 639*2^1505953-1 is not prime. Res64: 7573AFE5DD9532C8 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:34:14] 955*2^1505953-1 is not prime. Res64: 18187F53FCC0394F Time : 0.0 sec. user=mdettweiler [2018-04-02 18:34:14] 837*2^1505954-1 is not prime. Res64: A413AE6E77EF2B77 Time : 0.0 sec. user=mdettweiler [2018-04-02 18:34:14] 887*2^1505954-1 is not prime. Res64: C7690DE9B3843269 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:03:01] 663*2^1505955-1 is not prime. Res64: A14BA55965F3215E Time : 0.0 sec. user=mdettweiler [2018-04-02 19:03:02] 685*2^1505955-1 is not prime. Res64: 1D2A80F2924FE669 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:03:03] 793*2^1505955-1 is not prime. Res64: F5E49AC9935486BF Time : 0.0 sec. user=mdettweiler [2018-04-02 19:03:04] 859*2^1505955-1 is not prime. Res64: 11D412BB749D9300 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:03:04] 873*2^1505955-1 is not prime. Res64: 1E44407E266C4D7D Time : 0.0 sec. user=mdettweiler [2018-04-02 19:04:13] 903*2^1505955-1 is not prime. Res64: E714B5CB72AF0B36 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:04:15] 951*2^1505955-1 is not prime. Res64: 23340DD856F894B6 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:04:16] 955*2^1505955-1 is not prime. Res64: 30CD4E453C4CA594 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:04:17] 961*2^1505955-1 is not prime. Res64: 94612A15D17D309B Time : 0.0 sec. user=mdettweiler [2018-04-02 19:04:18] 603*2^1505956-1 is not prime. Res64: 9E0579E9761E4320 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:10:18] 699*2^1505956-1 is not prime. Res64: 0C859E2CE6737828 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:10:18] 825*2^1505956-1 is not prime. Res64: 299E9DC4703A359C Time : 0.0 sec. user=mdettweiler [2018-04-02 19:10:19] 833*2^1505956-1 is not prime. Res64: 6039D9C45451B6B2 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:10:20] 965*2^1505956-1 is not prime. Res64: A3C932E7DD3E08F2 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:10:20] 615*2^1505957-1 is not prime. Res64: A0C5396567A97FFF Time : 0.0 sec. user=mdettweiler [2018-04-02 19:25:13] 931*2^1505957-1 is not prime. Res64: 302861B01AD43C21 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:25:13] 945*2^1505957-1 is not prime. Res64: 8CE0B9EC38FC49D1 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:25:14] 621*2^1505958-1 is not prime. Res64: 2504595FC6DC9682 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:25:14] 765*2^1505958-1 is not prime. Res64: B44369BE5E7EFA22 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:25:15] 797*2^1505958-1 is not prime. Res64: 5208CC5B3A113FBE Time : 0.0 sec. user=mdettweiler [2018-04-02 19:57:33] 893*2^1505958-1 is not prime. Res64: AD1EB9A555542119 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:57:33] 993*2^1505958-1 is not prime. Res64: 76D29F2DE5B80646 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:57:34] 639*2^1505959-1 is not prime. Res64: 7EB0CA8EF599A746 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:57:34] 681*2^1505959-1 is not prime. Res64: 88CD8DB3BA923865 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:57:34] 765*2^1505959-1 is not prime. Res64: 8C4A06505B678473 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:59:00] 793*2^1505959-1 is not prime. Res64: 77441F480FE65110 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:59:01] 843*2^1505959-1 is not prime. Res64: 3E802307F0C84683 Time : 0.0 sec. user=mdettweiler [2018-04-02 19:59:01] 885*2^1505959-1 is not prime. Res64: B6EC54A1F3D4C50E Time : 0.0 sec. user=mdettweiler [2018-04-02 19:59:01] 909*2^1505959-1 is not prime. Res64: D259D7DC503208FF Time : 0.0 sec. user=mdettweiler [2018-04-02 19:59:02] 993*2^1505959-1 is not prime. Res64: 2F7929FC3B243D40 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:04:07] 609*2^1505960-1 is not prime. Res64: 69D06E9DA99D8A72 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:04:08] 677*2^1505960-1 is not prime. Res64: 503D1D1F87D4C2AC Time : 0.0 sec. user=mdettweiler [2018-04-02 20:04:09] 713*2^1505960-1 is not prime. Res64: 6CFF07444E112055 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:04:10] 803*2^1505960-1 is not prime. Res64: 15598F6C0ED63C5B Time : 0.0 sec. user=mdettweiler [2018-04-02 20:04:11] 875*2^1505960-1 is not prime. Res64: E7D4AFAEEAE759B1 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:18:48] 935*2^1505960-1 is not prime. Res64: FA426E4D8AD91B04 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:18:48] 669*2^1505961-1 is not prime. Res64: B9C411CC4AD9A783 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:18:49] 739*2^1505961-1 is not prime. Res64: 964B7A5F765E0456 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:18:49] 817*2^1505961-1 is not prime. Res64: E1D15ABEA2E84D74 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:18:49] 889*2^1505961-1 is not prime. Res64: 56D8E935EA1A644C Time : 0.0 sec. user=mdettweiler [2018-04-02 20:46:53] 907*2^1505961-1 is not prime. Res64: F73D375157BA88A0 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:46:53] 671*2^1505962-1 is not prime. Res64: D71447CB108DF93F Time : 0.0 sec. user=mdettweiler [2018-04-02 20:46:54] 677*2^1505962-1 is not prime. Res64: 5C0F7F83FE245D2E Time : 0.0 sec. user=mdettweiler [2018-04-02 20:46:54] 723*2^1505962-1 is not prime. Res64: 4B45D6D0FC2E3106 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:46:54] 827*2^1505962-1 is not prime. Res64: BB8D33CB85E500C7 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:48:53] 911*2^1505962-1 is not prime. Res64: C5DFF3C25175C88A Time : 0.0 sec. user=mdettweiler [2018-04-02 20:48:53] 957*2^1505962-1 is not prime. Res64: 46C8B70997C2DD79 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:48:54] 879*2^1505963-1 is not prime. Res64: 5657E08A8292F441 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:48:54] 963*2^1505963-1 is not prime. Res64: CCFC860898772841 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:48:54] 693*2^1505964-1 is not prime. Res64: B4933CEB3A636865 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:54:25] 759*2^1505964-1 is not prime. Res64: 9756792F7AD0D43B Time : 0.0 sec. user=mdettweiler [2018-04-02 20:54:25] 765*2^1505964-1 is not prime. Res64: 26B96CE4E7781F62 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:54:26] 803*2^1505964-1 is not prime. Res64: 16DDE22F88133703 Time : 0.0 sec. user=mdettweiler [2018-04-02 20:54:26] 875*2^1505964-1 is not prime. Res64: 9CD1957A0A862A3D Time : 0.0 sec. user=mdettweiler [2018-04-02 20:54:26] 905*2^1505964-1 is not prime. Res64: 48490585E8151ECF Time : 0.0 sec. user=mdettweiler [2018-04-02 21:08:25] 959*2^1505964-1 is not prime. Res64: 87C0B330C8F1898A Time : 0.0 sec. user=mdettweiler [2018-04-02 21:08:26] 969*2^1505964-1 is not prime. Res64: 66ACE84CFE88829E Time : 0.0 sec. user=mdettweiler [2018-04-02 21:08:27] 975*2^1505964-1 is not prime. Res64: 815D11976B0A2C3E Time : 0.0 sec. user=mdettweiler [2018-04-02 21:08:28] 651*2^1505965-1 is not prime. Res64: CA1A641ECD161BBB Time : 0.0 sec. user=mdettweiler [2018-04-02 21:08:29] 661*2^1505965-1 is not prime. Res64: 4E25F38F246B372B Time : 0.0 sec. user=mdettweiler [2018-04-02 21:36:08] 939*2^1505965-1 is not prime. Res64: 20157672FBFC3768 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:36:08] 785*2^1505966-1 is not prime. Res64: 45AAE09A4E524D6D Time : 0.0 sec. user=mdettweiler [2018-04-02 21:36:09] 993*2^1505966-1 is not prime. Res64: 737A1633910F4AF1 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:36:09] 601*2^1505967-1 is not prime. Res64: 052582160E09BBAA Time : 0.0 sec. user=mdettweiler [2018-04-02 21:36:09] 669*2^1505967-1 is not prime. Res64: E7DFEDE68F4F67AB Time : 0.0 sec. user=mdettweiler [2018-04-02 21:38:30] 685*2^1505967-1 is not prime. Res64: 2566AD3581708522 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:38:31] 693*2^1505967-1 is not prime. Res64: 1AB3F1D4D4495E54 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:38:31] 751*2^1505967-1 is not prime. Res64: AA92820E55B56965 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:38:31] 849*2^1505967-1 is not prime. Res64: B3B8EAB58C74A53C Time : 0.0 sec. user=mdettweiler [2018-04-02 21:38:32] 931*2^1505967-1 is not prime. Res64: 9FFE885ED70E5A8E Time : 0.0 sec. user=mdettweiler [2018-04-02 21:43:53] 985*2^1505967-1 is not prime. Res64: 48F36343CDE28E84 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:43:53] 665*2^1505968-1 is not prime. Res64: 93D6D70C8DEA6287 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:43:54] 723*2^1505968-1 is not prime. Res64: BA9122D2D9185602 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:43:54] 797*2^1505968-1 is not prime. Res64: BD453A8C89ADA7D6 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:43:54] 803*2^1505968-1 is not prime. Res64: 090FE7664136D9E1 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:58:39] 813*2^1505968-1 is not prime. Res64: B0481526C77C2203 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:58:40] 843*2^1505968-1 is not prime. Res64: B34BCB860FF38BA1 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:58:40] 855*2^1505968-1 is not prime. Res64: 4929991AADB04A10 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:58:40] 969*2^1505968-1 is not prime. Res64: 9AB69976A6776552 Time : 0.0 sec. user=mdettweiler [2018-04-02 21:58:41] 631*2^1505969-1 is not prime. Res64: D7FE47AD4AD803A0 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:26:04] 727*2^1505969-1 is not prime. Res64: 4E15196E786E1314 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:26:05] 789*2^1505969-1 is not prime. Res64: 6932155994A2E220 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:26:05] 847*2^1505969-1 is not prime. Res64: FBD1EE7381BA28FD Time : 0.0 sec. user=mdettweiler [2018-04-02 22:26:06] 925*2^1505969-1 is not prime. Res64: F516571BB8AFF781 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:26:06] 945*2^1505969-1 is not prime. Res64: C630B8DC5BDCB31E Time : 0.0 sec. user=mdettweiler [2018-04-02 22:28:06] 641*2^1505970-1 is not prime. Res64: 2853FF4F87A8B25A Time : 0.0 sec. user=mdettweiler [2018-04-02 22:28:06] 783*2^1505970-1 is not prime. Res64: 3765A0F5A476029F Time : 0.0 sec. user=mdettweiler [2018-04-02 22:28:06] 957*2^1505970-1 is not prime. Res64: 693BD7B0F40CE7CE Time : 0.0 sec. user=mdettweiler [2018-04-02 22:28:07] 977*2^1505970-1 is not prime. Res64: E36D79D5EAFC9C27 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:28:07] 601*2^1505971-1 is not prime. Res64: D3A7031B396F7B28 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:33:33] 651*2^1505971-1 is not prime. Res64: F9EB6C1F0911DEEC Time : 0.0 sec. user=mdettweiler [2018-04-02 22:33:34] 681*2^1505971-1 is not prime. Res64: 51E2E9C918F84541 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:33:34] 769*2^1505971-1 is not prime. Res64: 0F130546C81A1A03 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:33:34] 835*2^1505971-1 is not prime. Res64: F3F6CD2D2B671C24 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:33:35] 883*2^1505971-1 is not prime. Res64: 63D7CECA4AAC6BF6 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:48:21] 885*2^1505971-1 is not prime. Res64: 2B54C714202EF962 Time : 0.0 sec. user=mdettweiler [2018-04-02 22:48:22] 617*2^1505972-1 is not prime. Res64: 9406436272E5164A Time : 0.0 sec. user=mdettweiler [2018-04-02 22:48:22] 893*2^1505972-1 is not prime. Res64: A9D5BAE40763D72D Time : 0.0 sec. user=mdettweiler [2018-04-02 22:48:22] 903*2^1505972-1 is not prime. Res64: 3C2F95A435F08E5F Time : 0.0 sec. user=mdettweiler [2018-04-02 22:48:23] 915*2^1505972-1 is not prime. Res64: 1430B015A3548242 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:17:08] 963*2^1505972-1 is not prime. Res64: 7E86E8987AC39D5A Time : 0.0 sec. user=mdettweiler [2018-04-02 23:17:08] 977*2^1505972-1 is not prime. Res64: BF09E98C48314882 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:17:09] 649*2^1505973-1 is not prime. Res64: E81F903EECD2EBE1 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:17:09] 759*2^1505973-1 is not prime. Res64: B39971F17DC9E9DF Time : 0.0 sec. user=mdettweiler [2018-04-02 23:17:10] 781*2^1505973-1 is not prime. Res64: 37B0E2D7646A9A27 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:18:50] 789*2^1505973-1 is not prime. Res64: 636745EDF13825F3 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:18:50] 819*2^1505973-1 is not prime. Res64: E9C5B023A2994700 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:18:51] 871*2^1505973-1 is not prime. Res64: B545EFEE41755043 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:18:51] 895*2^1505973-1 is not prime. Res64: F9F7A01E54C9ADBC Time : 0.0 sec. user=mdettweiler [2018-04-02 23:18:51] 927*2^1505973-1 is not prime. Res64: 29AC21B786F33A26 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:23:26] 961*2^1505973-1 is not prime. Res64: 98D3AEEE58C88D52 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:23:26] 987*2^1505973-1 is not prime. Res64: 3C146D256D6B7943 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:23:26] 621*2^1505974-1 is not prime. Res64: 699BB0CE33BDFF2A Time : 0.0 sec. user=mdettweiler [2018-04-02 23:23:27] 645*2^1505974-1 is not prime. Res64: CD9AAE9900833D58 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:23:27] 657*2^1505974-1 is not prime. Res64: C8EB803548F9F504 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:38:22] 857*2^1505974-1 is not prime. Res64: 0B3E4E8BD39054F2 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:38:22] 923*2^1505974-1 is not prime. Res64: 411A7D7A4A31283A Time : 0.0 sec. user=mdettweiler [2018-04-02 23:38:23] 685*2^1505975-1 is not prime. Res64: 261DE13208B17964 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:38:23] 715*2^1505975-1 is not prime. Res64: 5A0CECCB666B2977 Time : 0.0 sec. user=mdettweiler [2018-04-02 23:38:24] 771*2^1505975-1 is not prime. Res64: 36AE63DA0407B23D Time : 0.0 sec.