user=mdettweiler [2017-04-27 00:37:03] 759*2^1452665-1 is not prime. Res64: 8F2541E512ACBB39 Time : 0.0 sec. user=mdettweiler [2017-04-27 00:37:04] 889*2^1452665-1 is not prime. Res64: 47FB8434293A7769 Time : 0.0 sec. user=mdettweiler [2017-04-27 00:37:04] 925*2^1452665-1 is not prime. Res64: FDD92BB4A5108B3A Time : 0.0 sec. user=mdettweiler [2017-04-27 00:37:05] 985*2^1452665-1 is not prime. Res64: BA9426F0898293B8 Time : 0.0 sec. user=mdettweiler [2017-04-27 00:37:05] 873*2^1452666-1 is not prime. Res64: C90C3A2C36106C28 Time : 0.0 sec. user=mdettweiler [2017-04-27 00:38:16] 963*2^1452666-1 is not prime. Res64: E6EA6EE9F50F058E Time : 0.0 sec. user=mdettweiler [2017-04-27 00:38:17] 633*2^1452667-1 is not prime. Res64: 421D8A6C34BAA934 Time : 0.0 sec. user=mdettweiler [2017-04-27 00:38:17] 703*2^1452667-1 is not prime. Res64: A07A9DBA10BB5A55 Time : 0.0 sec. user=mdettweiler [2017-04-27 00:38:17] 715*2^1452667-1 is not prime. Res64: B6D59E99343879CE Time : 0.0 sec. user=mdettweiler [2017-04-27 00:38:18] 931*2^1452667-1 is not prime. Res64: CD7DB1FADD36D6D1 Time : 0.0 sec. user=mdettweiler [2017-04-27 01:21:32] 939*2^1452667-1 is not prime. Res64: E577F30AA3B18F1F Time : 0.0 sec. user=mdettweiler [2017-04-27 01:21:32] 961*2^1452667-1 is not prime. Res64: B0126DFEB41EE194 Time : 0.0 sec. user=mdettweiler [2017-04-27 01:21:33] 975*2^1452667-1 is not prime. Res64: D23FE509D5115C8A Time : 0.0 sec. user=mdettweiler [2017-04-27 01:21:33] 659*2^1452668-1 is not prime. Res64: B74E351B692DBB1C Time : 0.0 sec. user=mdettweiler [2017-04-27 01:21:34] 777*2^1452668-1 is not prime. Res64: 86F09005351DDD08 Time : 0.0 sec. user=mdettweiler [2017-04-27 01:22:41] 855*2^1452668-1 is not prime. Res64: 1CFE6EA6E19EB26E Time : 0.0 sec. user=mdettweiler [2017-04-27 01:22:41] 915*2^1452668-1 is not prime. Res64: E53B193D1DA11C30 Time : 0.0 sec. user=mdettweiler [2017-04-27 01:22:42] 935*2^1452668-1 is not prime. Res64: B841FD5D62E30D64 Time : 0.0 sec. user=mdettweiler [2017-04-27 01:22:42] 995*2^1452668-1 is not prime. Res64: 3E0968038EA32C5F Time : 0.0 sec. user=mdettweiler [2017-04-27 01:22:43] 621*2^1452669-1 is not prime. Res64: 5641FB11AB303A02 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:06:00] 747*2^1452669-1 is not prime. Res64: 18780200F2D1EB84 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:06:02] 765*2^1452669-1 is not prime. Res64: 85EAFE7BC8EBB87A Time : 0.0 sec. user=mdettweiler [2017-04-27 02:06:04] 829*2^1452669-1 is not prime. Res64: 31E23152AC2F285C Time : 0.0 sec. user=mdettweiler [2017-04-27 02:06:05] 831*2^1452669-1 is not prime. Res64: 108B5589C8BB12A1 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:06:06] 835*2^1452669-1 is not prime. Res64: 5CA5188AC4E76C3E Time : 0.0 sec. user=mdettweiler [2017-04-27 02:07:05] 891*2^1452669-1 is not prime. Res64: 10A0D900ECBC3C19 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:07:05] 927*2^1452669-1 is not prime. Res64: 35722F8964D9AF46 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:07:06] 611*2^1452670-1 is not prime. Res64: 58495FF8C06A60EB Time : 0.0 sec. user=mdettweiler [2017-04-27 02:07:06] 651*2^1452670-1 is not prime. Res64: 44674D6A0BC7BB63 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:07:07] 713*2^1452670-1 is not prime. Res64: 48FE1423E405233B Time : 0.0 sec. user=mdettweiler [2017-04-27 02:50:48] 731*2^1452670-1 is not prime. Res64: AA878D7EE89ACCF8 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:50:48] 765*2^1452670-1 is not prime. Res64: 2A82320FDAD590E5 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:50:48] 845*2^1452670-1 is not prime. Res64: E71647468C55E919 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:50:49] 917*2^1452670-1 is not prime. Res64: 856ADF8F56AF8B08 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:50:49] 933*2^1452670-1 is not prime. Res64: 6D198244923DF462 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:51:36] 971*2^1452670-1 is not prime. Res64: DFDB0B51F53E27D2 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:51:36] 615*2^1452671-1 is not prime. Res64: D8638FF53EA2FCB5 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:51:37] 619*2^1452671-1 is not prime. Res64: 63E2FE49BB64E081 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:51:37] 741*2^1452671-1 is not prime. Res64: 4F69DDCFCB085836 Time : 0.0 sec. user=mdettweiler [2017-04-27 02:51:38] 753*2^1452671-1 is not prime. Res64: 6DFA1647F8413369 Time : 0.0 sec. user=mdettweiler [2017-04-27 03:35:13] 763*2^1452671-1 is not prime. Res64: 5BD36E05E2C84FF5 Time : 0.0 sec. user=mdettweiler [2017-04-27 03:35:14] 855*2^1452671-1 is not prime. Res64: 5E1F05A288C922EE Time : 0.0 sec. user=mdettweiler [2017-04-27 03:35:15] 991*2^1452671-1 is not prime. Res64: 8E15E692259C1511 Time : 0.0 sec. user=mdettweiler [2017-04-27 03:35:16] 999*2^1452671-1 is not prime. Res64: C604C0B1900B5832 Time : 0.0 sec. user=mdettweiler [2017-04-27 03:35:17] 693*2^1452672-1 is not prime. Res64: 39651B75DA305568 Time : 0.0 sec. user=mdettweiler [2017-04-27 03:36:00] 893*2^1452672-1 is not prime. Res64: C7EBF407CA697496 Time : 0.0 sec. user=mdettweiler [2017-04-27 03:36:01] 999*2^1452672-1 is not prime. Res64: A4753A166ECFBDA3 Time : 0.0 sec. user=mdettweiler [2017-04-27 03:36:01] 687*2^1452673-1 is not prime. Res64: 24C68C85D63240CA Time : 0.0 sec. user=mdettweiler [2017-04-27 03:36:02] 691*2^1452673-1 is not prime. Res64: B87EBC5CA682A6BD Time : 0.0 sec. user=mdettweiler [2017-04-27 03:36:03] 867*2^1452673-1 is not prime. Res64: 471DBF025DA59C93 Time : 0.0 sec. user=mdettweiler [2017-04-27 04:19:59] 897*2^1452673-1 is not prime. Res64: 0A161208D36470F4 Time : 0.0 sec. user=mdettweiler [2017-04-27 04:19:59] 951*2^1452673-1 is not prime. Res64: A890DF3C4C8E25EF Time : 0.0 sec. user=mdettweiler [2017-04-27 04:20:00] 955*2^1452673-1 is not prime. Res64: 313914C284A7F6F2 Time : 0.0 sec. user=mdettweiler [2017-04-27 04:20:00] 999*2^1452673-1 is not prime. Res64: C8B5CE577B050729 Time : 0.0 sec. user=mdettweiler [2017-04-27 04:20:00] 825*2^1452674-1 is not prime. Res64: 134018A6527BEC0D Time : 0.0 sec. user=mdettweiler [2017-04-27 04:20:26] 857*2^1452674-1 is not prime. Res64: FA332B5043322D9C Time : 0.0 sec. user=mdettweiler [2017-04-27 04:20:27] 885*2^1452674-1 is not prime. Res64: 70DAACEE726AE287 Time : 0.0 sec. user=mdettweiler [2017-04-27 04:20:27] 981*2^1452674-1 is not prime. Res64: 6EE603B26F959A8B Time : 0.0 sec. user=mdettweiler [2017-04-27 04:20:27] 705*2^1452675-1 is not prime. Res64: E75D446DEB597299 Time : 0.0 sec. user=mdettweiler [2017-04-27 04:20:28] 735*2^1452675-1 is not prime. Res64: 2746B9A9A55CA373 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:04:30] 741*2^1452675-1 is not prime. Res64: A108D478CCE1F014 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:04:32] 781*2^1452675-1 is not prime. Res64: 6635173AC5F240AC Time : 0.0 sec. user=mdettweiler [2017-04-27 05:04:33] 825*2^1452675-1 is not prime. Res64: 3D237E8F800D2F2E Time : 0.0 sec. user=mdettweiler [2017-04-27 05:04:34] 903*2^1452675-1 is not prime. Res64: 8A21AFE84EF2D533 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:04:35] 653*2^1452676-1 is not prime. Res64: 3C63AFE229B5ED8D Time : 0.0 sec. user=mdettweiler [2017-04-27 05:04:51] 693*2^1452676-1 is not prime. Res64: 6201557CD28D7A1B Time : 0.0 sec. user=mdettweiler [2017-04-27 05:04:53] 735*2^1452676-1 is not prime. Res64: C11DC45F3D62A6F5 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:04:56] 833*2^1452676-1 is not prime. Res64: 8B58FA2A06225BF3 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:04:57] 855*2^1452676-1 is not prime. Res64: 9951AF8F5205191F Time : 0.0 sec. user=mdettweiler [2017-04-27 05:04:58] 875*2^1452676-1 is not prime. Res64: 180059700163B7C1 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:49:16] 923*2^1452676-1 is not prime. Res64: 0F942007963CEBA0 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:49:17] 927*2^1452676-1 is not prime. Res64: 90D04982C8DBEB38 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:49:17] 957*2^1452676-1 is not prime. Res64: B09BF979DE8D92B4 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:49:18] 989*2^1452676-1 is not prime. Res64: FD458B7BD6371A3C Time : 0.0 sec. user=mdettweiler [2017-04-27 05:49:18] 691*2^1452677-1 is not prime. Res64: 511BD24F49B41EB6 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:49:24] 717*2^1452677-1 is not prime. Res64: F0D0D840A0B02015 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:49:24] 735*2^1452677-1 is not prime. Res64: 33240770BDBCA3DC Time : 0.0 sec. user=mdettweiler [2017-04-27 05:49:25] 771*2^1452677-1 is not prime. Res64: DAA46779DC5DA389 Time : 0.0 sec. user=mdettweiler [2017-04-27 05:49:25] 795*2^1452677-1 is not prime. Res64: 85B9DE2AEE8F343E Time : 0.0 sec. user=mdettweiler [2017-04-27 05:49:25] 805*2^1452677-1 is not prime. Res64: D17A61DAC9D46BB2 Time : 0.0 sec. user=mdettweiler [2017-04-27 06:33:47] 621*2^1452678-1 is not prime. Res64: 714D6D15FD88F8B8 Time : 0.0 sec. user=mdettweiler [2017-04-27 06:33:48] 641*2^1452678-1 is not prime. Res64: 3A342EE3A7C4DB5E Time : 0.0 sec. user=mdettweiler [2017-04-27 06:33:48] 663*2^1452678-1 is not prime. Res64: FAAE972FD9EBFD19 Time : 0.0 sec. user=mdettweiler [2017-04-27 06:33:49] 671*2^1452678-1 is not prime. Res64: 1CC94FB79BC0C171 Time : 0.0 sec. user=mdettweiler [2017-04-27 06:33:49] 681*2^1452678-1 is not prime. Res64: 95A71A9E562F4B52 Time : 0.0 sec. user=mdettweiler [2017-04-27 06:33:54] 705*2^1452678-1 is not prime. Res64: 414D67AD874AAF12 Time : 0.0 sec. user=mdettweiler [2017-04-27 06:33:54] 713*2^1452678-1 is not prime. Res64: 90ADA60236F92E1C Time : 0.0 sec. user=mdettweiler [2017-04-27 06:33:55] 765*2^1452678-1 is not prime. Res64: E19368AC2617A40C Time : 0.0 sec. user=mdettweiler [2017-04-27 06:33:55] 963*2^1452678-1 is not prime. Res64: 37AA86D17332F7D8 Time : 0.0 sec. user=mdettweiler [2017-04-27 06:33:56] 975*2^1452678-1 is not prime. Res64: B2D4C0AC387478AF Time : 0.0 sec. user=mdettweiler [2017-04-27 07:18:20] 649*2^1452679-1 is not prime. Res64: 7F933AAAFED0A6FF Time : 0.0 sec. user=mdettweiler [2017-04-27 07:18:21] 663*2^1452679-1 is not prime. Res64: 0737CCBE9999B515 Time : 0.0 sec. user=mdettweiler [2017-04-27 07:18:21] 759*2^1452679-1 is not prime. Res64: 0CA34391D23CEA7C Time : 0.0 sec. user=mdettweiler [2017-04-27 07:18:22] 843*2^1452679-1 is not prime. Res64: E8D6F7EA57E277C4 Time : 0.0 sec. user=mdettweiler [2017-04-27 07:18:22] 855*2^1452679-1 is not prime. Res64: 14A22B36A5704418 Time : 0.0 sec. user=mdettweiler [2017-04-27 07:18:46] 925*2^1452679-1 is not prime. Res64: F0C7DF172EB13A61 Time : 0.0 sec. user=mdettweiler [2017-04-27 07:18:47] 629*2^1452680-1 is not prime. Res64: 7BADBAC49783642B Time : 0.0 sec. user=mdettweiler [2017-04-27 07:18:47] 785*2^1452680-1 is not prime. Res64: E6D99A85A30ED44A Time : 0.0 sec. user=mdettweiler [2017-04-27 07:18:47] 819*2^1452680-1 is not prime. Res64: 8A08856B38273D5E Time : 0.0 sec. user=mdettweiler [2017-04-27 07:18:48] 833*2^1452680-1 is not prime. Res64: DAB48D49A4278E22 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:03:23] 745*2^1452681-1 is not prime. Res64: 0304A25E689A1F4F Time : 0.0 sec. user=mdettweiler [2017-04-27 08:03:24] 843*2^1452680-1 is not prime. Res64: 3D4ABD2B9A272CA8 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:03:24] 895*2^1452681-1 is not prime. Res64: B37C66C8A44226A7 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:03:25] 963*2^1452680-1 is not prime. Res64: 4CF620D733088EB6 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:03:26] 909*2^1452681-1 is not prime. Res64: BB2BC5CD4CE30AB0 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:03:26] 615*2^1452681-1 is not prime. Res64: 98327075BBAD0EB9 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:03:27] 937*2^1452681-1 is not prime. Res64: 0471EC854069AB88 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:03:30] 979*2^1452681-1 is not prime. Res64: 5200471F0EB2B6F8 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:03:30] 679*2^1452681-1 is not prime. Res64: F58899F5B3FAB7C6 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:03:33] 735*2^1452681-1 is not prime. Res64: C78CC977B3FDA930 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:48:13] 657*2^1452682-1 is not prime. Res64: F97D3FD9718B5EE3 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:48:13] 747*2^1452682-1 is not prime. Res64: 1768C206A8789A63 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:48:14] 881*2^1452682-1 is not prime. Res64: 5F5A005944911460 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:48:14] 983*2^1452682-1 is not prime. Res64: 526E996D9065D544 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:48:15] 631*2^1452683-1 is not prime. Res64: 1129BA40EA94A1D9 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:48:29] 735*2^1452683-1 is not prime. Res64: D27DD056883CD37E Time : 0.0 sec. user=mdettweiler [2017-04-27 08:48:29] 885*2^1452683-1 is not prime. Res64: 12EB73084F8AEAC9 Time : 0.0 sec. user=mdettweiler [2017-04-27 08:48:30] 901*2^1452683-1 is not prime. Res64: 07D8B3A6EA1076BF Time : 0.0 sec. user=mdettweiler [2017-04-27 08:48:30] 973*2^1452683-1 is not prime. Res64: BD69DD747701985C Time : 0.0 sec. user=mdettweiler [2017-04-27 08:48:30] 605*2^1452684-1 is not prime. Res64: 34B1B89AF5570611 Time : 0.0 sec. user=mdettweiler [2017-04-27 09:33:03] 663*2^1452684-1 is not prime. Res64: 581249C48A215507 Time : 0.0 sec. user=mdettweiler [2017-04-27 09:33:03] 693*2^1452684-1 is not prime. Res64: 4CB7F5219A716115 Time : 0.0 sec. user=mdettweiler [2017-04-27 09:33:04] 873*2^1452684-1 is not prime. Res64: 7AB4523E63141C62 Time : 0.0 sec. user=mdettweiler [2017-04-27 09:33:04] 899*2^1452684-1 is not prime. Res64: 3A2B5F9DF0D16306 Time : 0.0 sec. user=mdettweiler [2017-04-27 09:33:04] 675*2^1452685-1 is not prime. Res64: 162243F0617623B1 Time : 0.0 sec. user=mdettweiler [2017-04-27 09:33:16] 855*2^1452685-1 is not prime. Res64: EC3C84FD3C515AF5 Time : 0.0 sec. user=mdettweiler [2017-04-27 09:33:16] 861*2^1452685-1 is not prime. Res64: 128D8CF9D70BEA75 Time : 0.0 sec. user=mdettweiler [2017-04-27 09:33:17] 895*2^1452685-1 is not prime. Res64: 00148DE58F3BC56F Time : 0.0 sec. user=mdettweiler [2017-04-27 09:33:17] 985*2^1452685-1 is not prime. Res64: 89D9FE2A240457B4 Time : 0.0 sec. user=mdettweiler [2017-04-27 09:33:18] 603*2^1452686-1 is not prime. Res64: 758BC77E6F4F367B Time : 0.0 sec. user=mdettweiler [2017-04-27 10:17:44] 711*2^1452686-1 is not prime. Res64: 19BEE9CD4702481C Time : 0.0 sec. user=mdettweiler [2017-04-27 10:17:44] 713*2^1452686-1 is not prime. Res64: 46A149994404C77C Time : 0.0 sec. user=mdettweiler [2017-04-27 10:17:44] 785*2^1452686-1 is not prime. Res64: FF5E256ADBDBDCC8 Time : 0.0 sec. user=mdettweiler [2017-04-27 10:17:45] 903*2^1452686-1 is not prime. Res64: 4944B7543269AF5A Time : 0.0 sec. user=mdettweiler [2017-04-27 10:17:45] 935*2^1452686-1 is not prime. Res64: DD98965D12FF5523 Time : 0.0 sec. user=mdettweiler [2017-04-27 10:17:56] 963*2^1452686-1 is not prime. Res64: 3122728376141441 Time : 0.0 sec. user=mdettweiler [2017-04-27 10:17:56] 751*2^1452687-1 is not prime. Res64: C18D6C9FF89A366D Time : 0.0 sec. user=mdettweiler [2017-04-27 10:17:56] 861*2^1452687-1 is not prime. Res64: 087373D282A7DFCE Time : 0.0 sec. user=mdettweiler [2017-04-27 10:17:56] 871*2^1452687-1 is not prime. Res64: FC69668390E94388 Time : 0.0 sec. user=mdettweiler [2017-04-27 10:17:57] 891*2^1452687-1 is not prime. Res64: 70BF714798114779 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:02:37] 963*2^1452687-1 is not prime. Res64: F7044FACE69EA81A Time : 0.0 sec. user=mdettweiler [2017-04-27 11:02:38] 999*2^1452687-1 is not prime. Res64: 560B5028A97BCA90 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:02:39] 603*2^1452688-1 is not prime. Res64: 566BE13AEBFC07AC Time : 0.0 sec. user=mdettweiler [2017-04-27 11:02:40] 605*2^1452688-1 is not prime. Res64: 00864C565623D5CE Time : 0.0 sec. user=mdettweiler [2017-04-27 11:02:41] 629*2^1452688-1 is not prime. Res64: 2997FCE602276026 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:02:49] 723*2^1452688-1 is not prime. Res64: CB0574BCA4684700 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:02:50] 827*2^1452688-1 is not prime. Res64: 20045FBCE64604B1 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:02:52] 909*2^1452688-1 is not prime. Res64: E1FBE358431E39D5 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:02:54] 927*2^1452688-1 is not prime. Res64: F2D410C6E36DBD0D Time : 0.0 sec. user=mdettweiler [2017-04-27 11:02:55] 959*2^1452688-1 is not prime. Res64: EDF2A03B3C61939B Time : 0.0 sec. user=mdettweiler [2017-04-27 11:47:32] 999*2^1452688-1 is not prime. Res64: 5CE6597E8DE74AC8 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:47:33] 657*2^1452689-1 is not prime. Res64: 443B8B8476BE3862 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:47:33] 771*2^1452689-1 is not prime. Res64: 08719D16419FCB15 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:47:33] 837*2^1452689-1 is not prime. Res64: A03087BE424896D7 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:47:34] 907*2^1452689-1 is not prime. Res64: C22575B383C49CF6 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:47:35] 991*2^1452689-1 is not prime. Res64: 97A90EEA12BB9530 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:47:36] 651*2^1452690-1 is not prime. Res64: E900F5747BF8E929 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:47:36] 677*2^1452690-1 is not prime. Res64: E2C4103D37966542 Time : 0.0 sec. user=mdettweiler [2017-04-27 11:47:36] 681*2^1452690-1 is not prime. Res64: 13AC1578EB8636FD Time : 0.0 sec. user=mdettweiler [2017-04-27 11:47:37] 695*2^1452690-1 is not prime. Res64: CEFCA5D99C8655D9 Time : 0.0 sec. user=mdettweiler [2017-04-27 12:32:09] 861*2^1452690-1 is not prime. Res64: 8AA040F13C5B1828 Time : 0.0 sec. user=mdettweiler [2017-04-27 12:32:10] 867*2^1452690-1 is not prime. Res64: 24FD84DDFA786598 Time : 0.0 sec. user=mdettweiler [2017-04-27 12:32:10] 893*2^1452690-1 is not prime. Res64: 7005C4A7DBF54690 Time : 0.0 sec. user=mdettweiler [2017-04-27 12:32:11] 927*2^1452690-1 is not prime. Res64: 733750EEC9587561 Time : 0.0 sec. user=mdettweiler [2017-04-27 12:32:11] 631*2^1452691-1 is not prime. Res64: AB5888FD3C21BAB6 Time : 0.0 sec. user=mdettweiler [2017-04-27 12:32:12] 715*2^1452691-1 is not prime. Res64: 8CBB30C826BFE6DA Time : 0.0 sec. user=mdettweiler [2017-04-27 12:32:12] 769*2^1452691-1 is not prime. Res64: 0AB783749124FD1B Time : 0.0 sec. user=mdettweiler [2017-04-27 12:32:12] 801*2^1452691-1 is not prime. Res64: 93E89C592C69BF13 Time : 0.0 sec. user=mdettweiler [2017-04-27 12:32:13] 885*2^1452691-1 is not prime. Res64: 326FB68188A80DE9 Time : 0.0 sec. user=mdettweiler [2017-04-27 12:32:14] 633*2^1452692-1 is not prime. Res64: 6DC2CBA3AA95B4D5 Time : 0.0 sec. user=mdettweiler [2017-04-27 13:17:21] 647*2^1452692-1 is not prime. Res64: 896AE819B0235D63 Time : 0.0 sec. user=mdettweiler [2017-04-27 13:17:22] 693*2^1452692-1 is not prime. Res64: 9EA21753525B1436 Time : 0.0 sec. user=mdettweiler [2017-04-27 13:17:22] 649*2^1452693-1 is not prime. Res64: 86F29015044370BE Time : 0.0 sec. user=mdettweiler [2017-04-27 13:17:23] 699*2^1452693-1 is not prime. Res64: 44BD9511AA62F188 Time : 0.0 sec. user=mdettweiler [2017-04-27 13:17:23] 877*2^1452693-1 is not prime. Res64: 869CA2D761034A96 Time : 0.0 sec. user=mdettweiler [2017-04-27 13:17:23] 861*2^1452693-1 is not prime. Res64: D51501AA69AEEC7E Time : 0.0 sec. user=mdettweiler [2017-04-27 13:17:23] 885*2^1452693-1 is not prime. Res64: FEE6F3B4A426BDF9 Time : 0.0 sec. user=mdettweiler [2017-04-27 13:17:24] 889*2^1452693-1 is not prime. Res64: A0E6540C4BABE3D9 Time : 0.0 sec. user=mdettweiler [2017-04-27 13:17:24] 901*2^1452693-1 is not prime. Res64: 994375EEA6F9E75B Time : 0.0 sec. user=mdettweiler [2017-04-27 13:17:24] 945*2^1452693-1 is not prime. Res64: 54F1B46984A0CD08 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:01:50] 621*2^1452694-1 is not prime. Res64: C64006EEB8A7E0B0 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:01:50] 833*2^1452694-1 is not prime. Res64: 5EBD654DED0BD13E Time : 0.0 sec. user=mdettweiler [2017-04-27 14:01:51] 681*2^1452694-1 is not prime. Res64: BA046134543FC1A9 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:01:51] 947*2^1452694-1 is not prime. Res64: 14AD3DE40E7C2B0D Time : 0.0 sec. user=mdettweiler [2017-04-27 14:01:52] 773*2^1452694-1 is not prime. Res64: 34C2897488D8905A Time : 0.0 sec. user=mdettweiler [2017-04-27 14:01:52] 987*2^1452694-1 is not prime. Res64: F1B41736A9C8B877 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:01:53] 791*2^1452694-1 is not prime. Res64: A2BACA2B8C76F5DC Time : 0.0 sec. user=mdettweiler [2017-04-27 14:01:54] 603*2^1452695-1 is not prime. Res64: 8CB85ACEFEB23A73 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:01:55] 815*2^1452694-1 is not prime. Res64: D65A8C3F0D0824D5 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:01:56] 655*2^1452695-1 is not prime. Res64: F1AF6D5C7DBC60CE Time : 0.0 sec. user=mdettweiler [2017-04-27 14:46:49] 663*2^1452695-1 is not prime. Res64: 5B4170CACD69F4EC Time : 0.0 sec. user=mdettweiler [2017-04-27 14:46:50] 753*2^1452695-1 is not prime. Res64: 198A24C7AEDA9B68 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:46:50] 939*2^1452695-1 is not prime. Res64: 27F69810345AFE94 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:46:51] 943*2^1452695-1 is not prime. Res64: 3EF7E66AE0D0049F Time : 0.0 sec. user=mdettweiler [2017-04-27 14:46:51] 683*2^1452696-1 is not prime. Res64: 18F561A97B100889 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:46:53] 699*2^1452696-1 is not prime. Res64: F8587636841E2315 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:46:53] 705*2^1452696-1 is not prime. Res64: 4AE377B38164EFF3 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:46:54] 737*2^1452696-1 is not prime. Res64: 935F6C0B34C46280 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:46:54] 839*2^1452696-1 is not prime. Res64: E0D12BA0F1560081 Time : 0.0 sec. user=mdettweiler [2017-04-27 14:46:54] 873*2^1452696-1 is not prime. Res64: C3B0C6C26930016A Time : 0.0 sec. user=mdettweiler [2017-04-27 15:31:46] 903*2^1452696-1 is not prime. Res64: 2DD7B355F182678E Time : 0.0 sec. user=mdettweiler [2017-04-27 15:31:47] 615*2^1452697-1 is not prime. Res64: 4FB2BD67AC6FB44F Time : 0.0 sec. user=mdettweiler [2017-04-27 15:31:47] 685*2^1452697-1 is not prime. Res64: A97BFD38EDC178B8 Time : 0.0 sec. user=mdettweiler [2017-04-27 15:31:48] 871*2^1452697-1 is not prime. Res64: A95EE309B1A36682 Time : 0.0 sec. user=mdettweiler [2017-04-27 15:31:48] 895*2^1452697-1 is not prime. Res64: B82E2048B4DBA216 Time : 0.0 sec. user=mdettweiler [2017-04-27 15:31:49] 897*2^1452697-1 is not prime. Res64: 135FE93A0D91FA6F Time : 0.0 sec. user=mdettweiler [2017-04-27 15:31:49] 937*2^1452697-1 is not prime. Res64: 8EE5DD1F81351122 Time : 0.0 sec. user=mdettweiler [2017-04-27 15:31:50] 945*2^1452697-1 is not prime. Res64: 50832959674CCD24 Time : 0.0 sec. user=mdettweiler [2017-04-27 15:31:50] 985*2^1452697-1 is not prime. Res64: 764F2305358CDD42 Time : 0.0 sec. user=mdettweiler [2017-04-27 15:31:51] 999*2^1452697-1 is not prime. Res64: 69D147E530FFCCE9 Time : 0.0 sec. user=mdettweiler [2017-04-27 16:16:27] 887*2^1452698-1 is not prime. Res64: A6D76F0C7F50467D Time : 0.0 sec. user=mdettweiler [2017-04-27 16:16:27] 755*2^1452698-1 is not prime. Res64: BD2B879F817D9F70 Time : 0.0 sec. user=mdettweiler [2017-04-27 16:16:28] 767*2^1452698-1 is not prime. Res64: A30EFB425F8C4BB9 Time : 0.0 sec. user=mdettweiler [2017-04-27 16:16:28] 911*2^1452698-1 is not prime. Res64: 3ED1F017038DFBDD Time : 0.0 sec. user=mdettweiler [2017-04-27 16:16:28] 791*2^1452698-1 is not prime. Res64: 13182FD284819C5E Time : 0.0 sec. user=mdettweiler [2017-04-27 16:16:28] 963*2^1452698-1 is not prime. Res64: CBE18068A32BCA57 Time : 0.0 sec. user=mdettweiler [2017-04-27 16:16:28] 833*2^1452698-1 is not prime. Res64: BA92CC86BA72A980 Time : 0.0 sec. user=mdettweiler [2017-04-27 16:16:29] 995*2^1452698-1 is not prime. Res64: 8A0F8D5363853622 Time : 0.0 sec. user=mdettweiler [2017-04-27 16:16:29] 857*2^1452698-1 is not prime. Res64: 36C2E9412D010DBB Time : 0.0 sec. user=mdettweiler [2017-04-27 16:16:29] 663*2^1452699-1 is not prime. Res64: 986BCE42A33C622C Time : 0.0 sec. user=mdettweiler [2017-04-27 17:00:55] 735*2^1452699-1 is not prime. Res64: 80F166D57D212767 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:00:56] 921*2^1452699-1 is not prime. Res64: 5FD2D2A86DB05242 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:00:56] 943*2^1452699-1 is not prime. Res64: A5B4CEB470686EB7 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:00:57] 609*2^1452700-1 is not prime. Res64: A568F58F13BF9B08 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:00:58] 827*2^1452700-1 is not prime. Res64: B6D459DD89473B68 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:00:58] 689*2^1452700-1 is not prime. Res64: B597BCE681E649BF Time : 0.0 sec. user=mdettweiler [2017-04-27 17:00:58] 833*2^1452700-1 is not prime. Res64: 3A14BD65CEA14FDC Time : 0.0 sec. user=mdettweiler [2017-04-27 17:01:00] 909*2^1452700-1 is not prime. Res64: E816A5BBF7199704 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:01:02] 697*2^1452701-1 is not prime. Res64: 2B8D319EDD8961CD Time : 0.0 sec. user=mdettweiler [2017-04-27 17:01:04] 747*2^1452701-1 is not prime. Res64: B9A6F0C9117F4B48 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:45:47] 799*2^1452701-1 is not prime. Res64: B9161AEF06210477 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:45:47] 819*2^1452701-1 is not prime. Res64: 75DABB9F64B20B69 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:45:48] 647*2^1452702-1 is not prime. Res64: E055907341C066AF Time : 0.0 sec. user=mdettweiler [2017-04-27 17:45:48] 665*2^1452702-1 is not prime. Res64: 8610D94E39ED51E7 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:45:48] 725*2^1452702-1 is not prime. Res64: E36C7D350DBD6AD0 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:45:49] 695*2^1452702-1 is not prime. Res64: 7F1861FE5E2DAA84 Time : 0.0 sec. user=mdettweiler [2017-04-27 17:45:49] 917*2^1452702-1 is not prime. Res64: 56C05680D1542A7A Time : 0.0 sec. user=mdettweiler [2017-04-27 17:45:49] 619*2^1452703-1 is not prime. Res64: EF4B08B366A8502D Time : 0.0 sec. user=mdettweiler [2017-04-27 17:45:50] 793*2^1452703-1 is not prime. Res64: F57D270265E1739A Time : 0.0 sec. user=mdettweiler [2017-04-27 17:45:50] 675*2^1452704-1 is not prime. Res64: DD55C8462F8B3C74 Time : 0.0 sec. user=mdettweiler [2017-04-27 18:30:14] 855*2^1452704-1 is not prime. Res64: 3481545570EED613 Time : 0.0 sec. user=mdettweiler [2017-04-27 18:30:15] 903*2^1452704-1 is not prime. Res64: B3B8EFB93AFEF384 Time : 0.0 sec. user=mdettweiler [2017-04-27 18:30:15] 969*2^1452704-1 is not prime. Res64: 757E1B3DFC58C70E Time : 0.0 sec. user=mdettweiler [2017-04-27 18:30:16] 777*2^1452705-1 is not prime. Res64: 0DD6F9C7ECE0A935 Time : 0.0 sec. user=mdettweiler [2017-04-27 18:30:16] 691*2^1452705-1 is not prime. Res64: 5F992756E01C7D36 Time : 0.0 sec. user=mdettweiler [2017-04-27 18:30:16] 721*2^1452705-1 is not prime. Res64: E5DE66D452F75333 Time : 0.0 sec. user=mdettweiler [2017-04-27 18:30:16] 877*2^1452705-1 is not prime. Res64: AB6AC5D25DBF96F9 Time : 0.0 sec. user=mdettweiler [2017-04-27 18:30:17] 949*2^1452705-1 is not prime. Res64: 07734A6432AD1155 Time : 0.0 sec. user=mdettweiler [2017-04-27 18:30:17] 623*2^1452706-1 is not prime. Res64: 73142E0F2DA494EB Time : 0.0 sec. user=mdettweiler [2017-04-27 18:30:17] 981*2^1452706-1 is not prime. Res64: BA813E65CC3E554E Time : 0.0 sec. user=mdettweiler [2017-04-27 19:14:42] 603*2^1452707-1 is not prime. Res64: 95FEA378F07ABAEB Time : 0.0 sec. user=mdettweiler [2017-04-27 19:14:42] 651*2^1452707-1 is not prime. Res64: B09270AEA208311B Time : 0.0 sec. user=mdettweiler [2017-04-27 19:14:43] 699*2^1452708-1 is not prime. Res64: 21EA8119076EB181 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:14:43] 841*2^1452707-1 is not prime. Res64: 71F8DF29D6064156 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:14:43] 707*2^1452708-1 is not prime. Res64: B8D0C423117C0047 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:14:43] 843*2^1452707-1 is not prime. Res64: D00F795F2E4A77E2 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:14:44] 773*2^1452708-1 is not prime. Res64: F40E44898B0535CB Time : 0.0 sec. user=mdettweiler [2017-04-27 19:14:44] 627*2^1452708-1 is not prime. Res64: 04C20624CE4D1A58 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:14:44] 809*2^1452708-1 is not prime. Res64: 8828D8F6EF8454E8 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:14:44] 843*2^1452708-1 is not prime. Res64: F0995420FB9C0D86 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:59:12] 879*2^1452708-1 is not prime. Res64: 52662428DA6E219C Time : 0.0 sec. user=mdettweiler [2017-04-27 19:59:12] 945*2^1452708-1 is not prime. Res64: D51A3C203BADE8F5 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:59:13] 999*2^1452708-1 is not prime. Res64: 2F9D7B97F06DD5E1 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:59:13] 679*2^1452709-1 is not prime. Res64: CE21AA675EDC11CC Time : 0.0 sec. user=mdettweiler [2017-04-27 19:59:13] 601*2^1452709-1 is not prime. Res64: 09AA247F010DFB20 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:59:13] 691*2^1452709-1 is not prime. Res64: 185EC29050A10F4B Time : 0.0 sec. user=mdettweiler [2017-04-27 19:59:13] 625*2^1452709-1 is not prime. Res64: E18D267832A300FF Time : 0.0 sec. user=mdettweiler [2017-04-27 19:59:14] 775*2^1452709-1 is not prime. Res64: 6E46C213DB03CACF Time : 0.0 sec. user=mdettweiler [2017-04-27 19:59:14] 811*2^1452709-1 is not prime. Res64: A2F2C46CF438E618 Time : 0.0 sec. user=mdettweiler [2017-04-27 19:59:15] 817*2^1452709-1 is not prime. Res64: C8849F78DE1BBE86 Time : 0.0 sec. user=mdettweiler [2017-04-27 20:43:37] 999*2^1452709-1 is not prime. Res64: 90AFC8FF4C2C3EC2 Time : 0.0 sec. user=mdettweiler [2017-04-27 20:43:38] 675*2^1452710-1 is not prime. Res64: A1D1B4A2ACB2DE39 Time : 0.0 sec. user=mdettweiler [2017-04-27 20:43:38] 773*2^1452710-1 is not prime. Res64: 01F0BDF3889CFA49 Time : 0.0 sec. user=mdettweiler [2017-04-27 20:43:39] 797*2^1452710-1 is not prime. Res64: 24A65AB97EF95AAF Time : 0.0 sec. user=mdettweiler [2017-04-27 20:43:39] 893*2^1452710-1 is not prime. Res64: 0F4638DD702B82AF Time : 0.0 sec. user=mdettweiler [2017-04-27 20:43:39] 941*2^1452710-1 is not prime. Res64: 035FEAC9455D4322 Time : 0.0 sec. user=mdettweiler [2017-04-27 20:43:40] 965*2^1452710-1 is not prime. Res64: 6600C4940FE74C95 Time : 0.0 sec. user=mdettweiler [2017-04-27 20:43:40] 987*2^1452710-1 is not prime. Res64: 6E1B948C7DB2255D Time : 0.0 sec. user=mdettweiler [2017-04-27 20:43:41] 751*2^1452711-1 is not prime. Res64: E88B00D57076B98B Time : 0.0 sec. user=mdettweiler [2017-04-27 20:43:41] 873*2^1452711-1 is not prime. Res64: 6764A4A4A3B0BBD2 Time : 0.0 sec. user=mdettweiler [2017-04-27 21:28:05] 999*2^1452711-1 is not prime. Res64: CD6CF39B578EC4FA Time : 0.0 sec. user=mdettweiler [2017-04-27 21:28:06] 983*2^1452712-1 is not prime. Res64: 027A14A2294AE8E7 Time : 0.0 sec. user=mdettweiler [2017-04-27 21:28:06] 635*2^1452712-1 is not prime. Res64: 1F90A9EC6274C1FB Time : 0.0 sec. user=mdettweiler [2017-04-27 21:28:06] 619*2^1452713-1 is not prime. Res64: DB717AD80FE9FCAB Time : 0.0 sec. user=mdettweiler [2017-04-27 21:28:07] 723*2^1452712-1 is not prime. Res64: 7367DD67B9AC54CB Time : 0.0 sec. user=mdettweiler [2017-04-27 21:28:07] 705*2^1452713-1 is not prime. Res64: B81A0D76E55B6DC1 Time : 0.0 sec. user=mdettweiler [2017-04-27 21:28:07] 735*2^1452712-1 is not prime. Res64: CC23A80B08E53874 Time : 0.0 sec. user=mdettweiler [2017-04-27 21:28:07] 727*2^1452713-1 is not prime. Res64: A31EA6E1944A8DE9 Time : 0.0 sec. user=mdettweiler [2017-04-27 21:28:07] 933*2^1452712-1 is not prime. Res64: AB968D35ECBFF50B Time : 0.0 sec. user=mdettweiler [2017-04-27 21:28:08] 729*2^1452713-1 is not prime. Res64: 158B102E84D8712A Time : 0.0 sec. user=mdettweiler [2017-04-27 22:12:33] 969*2^1452715-1 is not prime. Res64: 8FA3846B45178AD0 Time : 0.0 sec. user=mdettweiler [2017-04-27 22:12:33] 651*2^1452714-1 is not prime. Res64: 9CA9DCEC1F55465A Time : 0.0 sec. user=mdettweiler [2017-04-27 22:12:33] 629*2^1452716-1 is not prime. Res64: 049DBFD228CAA804 Time : 0.0 sec. user=mdettweiler [2017-04-27 22:12:34] 711*2^1452714-1 is not prime. Res64: 65A13ED6B208AADF Time : 0.0 sec. user=mdettweiler [2017-04-27 22:12:34] 669*2^1452716-1 is not prime. Res64: BA211793D25BC9AA Time : 0.0 sec. user=mdettweiler [2017-04-27 22:12:34] 765*2^1452714-1 is not prime. Res64: BA74BCC9BF5BF5C6 Time : 0.0 sec. user=mdettweiler [2017-04-27 22:12:34] 755*2^1452716-1 is not prime. Res64: 4231267F4040EBCC Time : 0.0 sec. user=mdettweiler [2017-04-27 22:12:34] 789*2^1452715-1 is not prime. Res64: D49F936B24338E6F Time : 0.0 sec. user=mdettweiler [2017-04-27 22:12:35] 767*2^1452716-1 is not prime. Res64: FE4CC99170A38006 Time : 0.0 sec. user=mdettweiler [2017-04-27 22:12:35] 925*2^1452715-1 is not prime. Res64: 19B3A21F750ED786 Time : 0.0 sec. user=mdettweiler [2017-04-27 22:57:04] 803*2^1452716-1 is not prime. Res64: 748BD1AD2FF41477 Time : 0.0 sec. user=mdettweiler [2017-04-27 22:57:04] 685*2^1452717-1 is not prime. Res64: 3F605177D3F4C476 Time : 0.0 sec. user=mdettweiler [2017-04-27 22:57:04] 903*2^1452716-1 is not prime. Res64: 267D7778836B1F07 Time : 0.0 sec. user=mdettweiler [2017-04-27 22:57:04] 769*2^1452717-1 is not prime. Res64: 141AE7FB1D952224 Time : 0.0 sec. user=mdettweiler [2017-04-27 22:57:05] 953*2^1452716-1 is not prime. Res64: AEE057EE8AD7BDEE Time : 0.0 sec. user=mdettweiler [2017-04-27 22:57:05] 825*2^1452717-1 is not prime. Res64: 5669004E382F0D47 Time : 0.0 sec. user=mdettweiler [2017-04-27 22:57:05] 861*2^1452717-1 is not prime. Res64: B7BE78E1DE16BB1E Time : 0.0 sec. user=mdettweiler [2017-04-27 22:57:05] 969*2^1452716-1 is not prime. Res64: BA0BEC2BEF08586E Time : 0.0 sec. user=mdettweiler [2017-04-27 22:57:06] 867*2^1452717-1 is not prime. Res64: 722DD480F82BD03D Time : 0.0 sec. user=mdettweiler [2017-04-27 22:57:06] 667*2^1452717-1 is not prime. Res64: ECBB3DDDEF548C0A Time : 0.0 sec. user=mdettweiler [2017-04-27 23:41:32] 871*2^1452717-1 is not prime. Res64: C8CF4C348C065940 Time : 0.0 sec. user=mdettweiler [2017-04-27 23:41:32] 885*2^1452718-1 is not prime. Res64: F57AAF58B5926FA4 Time : 0.0 sec. user=mdettweiler [2017-04-27 23:41:32] 991*2^1452717-1 is not prime. Res64: F9440285DB74EB73 Time : 0.0 sec. user=mdettweiler [2017-04-27 23:41:32] 971*2^1452718-1 is not prime. Res64: E234989964BF0B60 Time : 0.0 sec. user=mdettweiler [2017-04-27 23:41:32] 665*2^1452718-1 is not prime. Res64: 2763A8A64AC46E5B Time : 0.0 sec. user=mdettweiler [2017-04-27 23:41:33] 1001*2^1452718-1 is not prime. Res64: AA2BC077A581EDF7 Time : 0.0 sec. user=mdettweiler [2017-04-27 23:41:33] 687*2^1452718-1 is not prime. Res64: 8953AF7AAA45D5B0 Time : 0.0 sec. user=mdettweiler [2017-04-27 23:41:33] 643*2^1452719-1 is not prime. Res64: 5F96C73FCA468B95 Time : 0.0 sec. user=mdettweiler [2017-04-27 23:41:33] 801*2^1452718-1 is not prime. Res64: 4FA559E7BAC67DFB Time : 0.0 sec. user=mdettweiler [2017-04-27 23:41:33] 685*2^1452719-1 is not prime. Res64: AA1B9917901010BC Time : 0.0 sec.